0.00/0.00 c Parsing...
0.81/0.87 c ==============================================================================
0.81/0.87 c | | ORIGINAL | LEARNT | |
0.81/0.87 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.81/0.87 c ==============================================================================
0.81/0.87 c | 0 | 904890 2111410 | 271466 0 0 nan | 0.000 % |
11.68/11.73 c | 0 | 561543 1734504 | -- 0 -- -- | -- | -343345/-376901
11.68/11.74 c ==============================================================================
11.68/11.74 c Result : #vars: 110076 #clauses: 561543 #literals: 1734504
11.68/11.74 c CPU time: 11.43 s
11.68/11.74 c ==============================================================================
12.27/12.38 c This is MiniSat 2.0 beta
12.27/12.38 c WARNING: for repeatability, setting FPU to use double precision
12.27/12.38 c ============================[ Problem Statistics ]=============================
12.27/12.38 c | |
12.27/12.39 c | Number of variables: 110076 |
12.27/12.39 c | Number of clauses: 561543 |
12.34/12.77 c | Parsing time: 0.35 s |
12.34/12.79 c ============================[ Search Statistics ]==============================
12.34/12.79 c | Conflicts | ORIGINAL | LEARNT | Progress |
12.34/12.79 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
12.34/12.79 c ===============================================================================
12.34/12.79 c | 0 | 110076 561543 1734504 | 187181 0 nan | 0.000 % |
12.34/13.02 c | 100 | 110076 561543 1734504 | 187181 100 48 | 0.000 % |
12.34/13.06 c | 200 | 110076 561543 1734504 | 187181 200 38 | 0.000 % |
13.07/13.14 c | 300 | 110076 561543 1734504 | 187181 300 34 | 0.000 % |
13.07/13.19 c | 412 | 110076 561543 1734504 | 187181 412 29 | 0.000 % |
13.17/13.23 c | 513 | 110076 561543 1734504 | 187181 513 27 | 0.000 % |
13.17/13.30 c | 624 | 110076 561543 1734504 | 187181 624 27 | 0.000 % |
13.27/13.38 c | 745 | 110076 561543 1734504 | 187181 745 29 | 0.000 % |
13.57/13.68 c | 846 | 110076 561543 1734504 | 187181 846 38 | 0.000 % |
13.67/13.73 c | 956 | 110076 561543 1734504 | 187181 956 35 | 0.000 % |
13.67/13.77 c | 1078 | 110076 561543 1734504 | 187181 1078 34 | 0.000 % |
13.67/13.79 c | 1212 | 110076 561543 1734504 | 187181 1212 33 | 0.000 % |
13.67/13.81 c | 1314 | 110076 561543 1734504 | 187181 1314 32 | 0.000 % |
13.77/13.83 c | 1425 | 110076 561543 1734504 | 187181 1425 30 | 0.000 % |
13.77/13.87 c | 1546 | 110076 561543 1734504 | 187181 1546 29 | 0.000 % |
13.77/13.90 c | 1681 | 110076 561543 1734504 | 187181 1681 29 | 0.000 % |
13.87/13.94 c | 1827 | 110076 561543 1734504 | 187181 1827 28 | 0.000 % |
13.87/13.97 c | 1928 | 110076 561543 1734504 | 187181 1928 27 | 0.000 % |
13.87/14.00 c | 2039 | 110076 561543 1734504 | 187181 2039 27 | 0.000 % |
13.97/14.03 c | 2160 | 110076 561543 1734504 | 187181 2160 26 | 0.000 % |
13.97/14.06 c | 2293 | 110076 561543 1734504 | 187181 2293 26 | 0.000 % |
14.77/14.82 c | 2439 | 110076 561543 1734504 | 187181 2439 31 | 0.000 % |
14.77/14.88 c | 2600 | 110076 561543 1734504 | 187181 2600 31 | 0.000 % |
14.87/14.98 c | 2700 | 110076 561543 1734504 | 187181 2700 32 | 0.000 % |
14.87/15.01 c | 2811 | 110076 561543 1734504 | 187181 2811 32 | 0.000 % |
14.97/15.03 c | 2933 | 110076 561543 1734504 | 187181 2933 31 | 0.000 % |
15.07/15.14 c | 3066 | 110076 561543 1734504 | 187181 3066 33 | 0.000 % |
15.07/15.16 c | 3212 | 110076 561543 1734504 | 187181 3212 32 | 0.000 % |
15.07/15.19 c | 3374 | 110076 561543 1734504 | 187181 3374 31 | 0.000 % |
15.47/15.57 c | 3552 | 110076 561543 1734504 | 187181 3552 35 | 0.000 % |
15.47/15.60 c | 3654 | 110076 561543 1734504 | 187181 3654 35 | 0.000 % |
15.57/15.69 c | 3764 | 110076 561543 1734504 | 187181 3764 35 | 0.000 % |
15.67/15.76 c | 3885 | 110076 561543 1734504 | 187181 3885 34 | 0.000 % |
15.77/15.89 c | 4018 | 110076 561543 1734504 | 187181 4018 34 | 0.000 % |
15.87/15.94 c | 4165 | 110076 561543 1734504 | 187181 4165 33 | 0.000 % |
15.87/16.00 c | 4325 | 110076 561543 1734504 | 187181 4325 33 | 0.000 % |
15.97/16.05 c | 4501 | 110076 561543 1734504 | 187181 4501 33 | 0.000 % |
16.07/16.14 c | 4695 | 110076 561543 1734504 | 187181 4695 34 | 0.000 % |
16.07/16.15 c | 4795 | 110076 561543 1734504 | 187181 4795 33 | 0.000 % |
16.07/16.18 c | 4905 | 110076 561543 1734504 | 187181 4905 33 | 0.000 % |
16.07/16.21 c | 5027 | 110076 561543 1734504 | 187181 5027 33 | 0.000 % |
16.17/16.23 c | 5160 | 110076 561543 1734504 | 187181 5160 32 | 0.000 % |
16.17/16.27 c | 5307 | 110076 561543 1734504 | 187181 5307 32 | 0.000 % |
16.47/16.52 c | 5467 | 110076 561543 1734504 | 187181 5467 33 | 0.000 % |
16.67/16.72 c | 5644 | 110076 561543 1734504 | 187181 5644 33 | 0.000 % |
16.77/16.84 c | 5838 | 110076 561543 1734504 | 187181 5838 33 | 0.000 % |
16.97/17.06 c | 6051 | 110076 561543 1734504 | 187181 6051 34 | 0.000 % |
16.97/17.11 c | 6154 | 110076 561543 1734504 | 187181 6154 34 | 0.000 % |
17.07/17.15 c | 6264 | 110076 561543 1734504 | 187181 6264 34 | 0.000 % |
17.07/17.17 c | 6385 | 110076 561543 1734504 | 187181 6385 33 | 0.000 % |
18.27/18.39 c | 6518 | 110076 561543 1734504 | 187181 6518 36 | 0.000 % |
18.47/18.57 c | 6664 | 110076 561543 1734504 | 187181 6664 36 | 0.000 % |
18.57/18.64 c | 6824 | 110076 561543 1734504 | 187181 6824 36 | 0.000 % |
18.67/18.75 c | 7000 | 110076 561543 1734504 | 187181 7000 35 | 0.000 % |
18.67/18.80 c | 7196 | 110076 561543 1734504 | 187181 7196 35 | 0.000 % |
18.77/18.86 c | 7408 | 110076 561543 1734504 | 187181 7408 35 | 0.000 % |
18.97/19.07 c | 7641 | 110076 561543 1734504 | 187181 7641 36 | 0.000 % |
20.27/20.37 c | 7741 | 110076 561543 1734504 | 187181 7741 39 | 0.000 % |
20.47/20.61 c | 7852 | 110076 561543 1734504 | 187181 7852 39 | 0.000 % |
20.57/20.67 c | 7974 | 110076 561543 1734504 | 187181 7974 39 | 0.000 % |
20.67/20.73 c | 8107 | 110076 561543 1734504 | 187181 8107 39 | 0.000 % |
20.77/20.83 c | 8257 | 110076 561543 1734504 | 187181 8257 39 | 0.000 % |
20.87/20.92 c | 8418 | 110076 561543 1734504 | 187181 8418 38 | 0.000 % |
22.77/22.86 c | 8595 | 110076 561543 1734504 | 187181 8595 41 | 0.000 % |
22.87/22.96 c | 8788 | 110076 561543 1734504 | 187181 8788 41 | 0.000 % |
22.97/23.07 c | 9000 | 105890 531968 1662068 | 187181 8999 40 | 3.803 % |
23.07/23.13 c | 9233 | 105890 531968 1662068 | 187181 9232 39 | 3.803 % |
23.07/23.21 c | 9491 | 105890 531968 1662068 | 187181 9490 39 | 3.803 % |
23.17/23.27 c | 9591 | 105890 531968 1662068 | 187181 9590 38 | 3.803 % |
23.37/23.47 c | 9702 | 105890 531968 1662068 | 187181 9701 39 | 3.803 % |
23.37/23.50 c | 9824 | 105890 531968 1662068 | 187181 9823 39 | 3.803 % |
23.47/23.53 c | 9957 | 105890 531968 1662068 | 187181 9956 39 | 3.803 % |
23.47/23.59 c | 10104 | 105890 531968 1662068 | 2147483647 10103 39 | 3.803 % |
23.57/23.66 c | 10267 | 105890 531968 1662068 | 2147483647 10266 39 | 3.803 % |
23.67/23.73 c | 10443 | 105890 531968 1662068 | 2147483647 10442 39 | 3.803 % |
23.67/23.81 c | 10636 | 105890 531968 1662068 | 2147483647 10635 38 | 3.803 % |
23.77/23.85 c | 10849 | 105890 531968 1662068 | 2147483647 10848 38 | 3.803 % |
23.87/23.92 c | 11086 | 105890 531968 1662068 | 2147483647 11085 38 | 3.803 % |
23.97/24.02 c | 11343 | 105890 531968 1662068 | 2147483647 11342 38 | 3.803 % |
23.97/24.08 c | 11625 | 105890 531968 1662068 | 2147483647 11624 38 | 3.803 % |
23.97/24.11 c | 11727 | 105890 531968 1662068 | 2147483647 11726 38 | 3.803 % |
24.07/24.13 c | 11838 | 105890 531968 1662068 | 2147483647 11837 38 | 3.803 % |
24.07/24.16 c | 11961 | 105890 531968 1662068 | 2147483647 11960 37 | 3.803 % |
24.07/24.20 c | 12095 | 105890 531968 1662068 | 2147483647 12094 37 | 3.803 % |
24.17/24.22 c | 12241 | 105890 531968 1662068 | 2147483647 12240 37 | 3.803 % |
25.47/25.54 c | 12402 | 105890 531968 1662068 | 2147483647 12401 40 | 3.803 % |
25.57/25.68 c | 12579 | 105890 531968 1662068 | 2147483647 12578 40 | 3.803 % |
25.87/25.99 c | 12774 | 103646 517698 1627278 | 2147483647 12768 40 | 7.729 % |
27.67/27.72 c | 12986 | 103415 517698 1627278 | 2147483647 12980 43 | 7.729 % |
27.77/27.86 c | 13219 | 101568 501987 1587719 | 2147483647 13213 43 | 7.729 % |
27.87/27.93 c | 13476 | 101568 501987 1587719 | 2147483647 13470 42 | 7.729 % |
28.07/28.16 c | 13758 | 101568 501987 1587719 | 2147483647 13752 42 | 7.729 % |
28.17/28.25 c | 14068 | 101568 501987 1587719 | 2147483647 14062 41 | 7.729 % |
28.17/28.28 c | 14169 | 101568 501987 1587719 | 2147483647 14163 41 | 7.729 % |
28.17/28.29 c | 14280 | 101568 501987 1587719 | 2147483647 14274 41 | 7.729 % |
28.27/28.38 c | 14402 | 101568 501987 1587719 | 2147483647 14396 41 | 7.729 % |
28.47/28.52 c | 14535 | 101566 501987 1587719 | 2147483647 14527 41 | 7.843 % |
28.57/28.63 c | 14683 | 101563 501987 1587719 | 2147483647 14674 40 | 7.845 % |
28.57/28.67 c | 14844 | 101561 501987 1587719 | 2147483647 14834 40 | 7.956 % |
28.67/28.81 c | 15021 | 101558 501987 1587719 | 2147483647 15011 40 | 7.956 % |
28.77/28.83 c | 15214 | 101558 501987 1587719 | 2147483647 15204 40 | 7.956 % |
28.87/28.95 c | 15428 | 101558 501987 1587719 | 2147483647 15418 39 | 7.956 % |
29.07/29.19 c | 15661 | 101073 499515 1580254 | 2147483647 15648 39 | 8.179 % |
29.27/29.37 c | 15917 | 101073 499515 1580254 | 2147483647 15904 39 | 8.179 % |
29.37/29.46 c | 16198 | 101073 499515 1580254 | 2147483647 16185 38 | 8.179 % |
29.47/29.53 c | 16507 | 101073 499515 1580254 | 2147483647 16494 38 | 8.179 % |
29.57/29.67 c | 16846 | 101073 499515 1580254 | 2147483647 16833 38 | 8.179 % |
29.57/29.69 c | 16947 | 101073 499515 1580254 | 2147483647 16934 38 | 8.179 % |
29.67/29.73 c | 17057 | 101073 499515 1580254 | 2147483647 17044 38 | 8.179 % |
29.67/29.76 c | 17179 | 101073 499515 1580254 | 2147483647 17166 38 | 8.179 % |
29.77/29.83 c | 17312 | 101071 499515 1580254 | 2147483647 17297 38 | 8.181 % |
29.77/29.89 c | 17458 | 101071 499515 1580254 | 2147483647 17443 38 | 8.181 % |
29.77/29.91 c | 17620 | 101071 499515 1580254 | 2147483647 17605 38 | 8.181 % |
29.87/29.97 c | 17797 | 101071 499515 1580254 | 2147483647 17782 38 | 8.181 % |
29.97/30.03 c | 17991 | 101071 499515 1580254 | 2147483647 17976 37 | 8.181 % |
29.97/30.08 c | 18203 | 101071 499515 1580254 | 2147483647 18188 37 | 8.181 % |
30.07/30.13 c | 18436 | 101071 499515 1580254 | 2147483647 18421 37 | 8.181 % |
30.07/30.18 c | 18692 | 101071 499515 1580254 | 2147483647 18677 37 | 8.181 % |
30.17/30.22 c | 18974 | 101071 499515 1580254 | 2147483647 18959 37 | 8.181 % |
30.27/30.31 c | 19284 | 101071 499515 1580254 | 2147483647 19269 36 | 8.181 % |
30.37/30.45 c | 19624 | 101071 499515 1580254 | 2147483647 19609 36 | 8.181 % |
30.47/30.60 c | 19996 | 101071 499500 1580218 | 2147483647 19981 36 | 8.181 % |
30.57/30.63 c | 20097 | 101071 499500 1580218 | 2147483647 20082 36 | 8.181 % |
30.57/30.69 c | 20208 | 101071 499500 1580218 | 2147483647 20193 36 | 8.181 % |
30.67/30.72 c | 20329 | 101071 499500 1580218 | 2147483647 20314 36 | 8.181 % |
30.67/30.75 c | 20462 | 101071 499500 1580218 | 2147483647 20447 36 | 8.181 % |
30.67/30.81 c | 20608 | 101071 499500 1580218 | 2147483647 20593 36 | 8.181 % |
30.97/31.02 c | 20769 | 101071 499500 1580218 | 2147483647 20754 36 | 8.181 % |
30.97/31.06 c | 20947 | 101071 499500 1580218 | 2147483647 20932 36 | 8.181 % |
30.97/31.10 c | 21140 | 101071 499500 1580218 | 2147483647 21125 36 | 8.181 % |
31.07/31.14 c | 21353 | 101071 499500 1580218 | 2147483647 21338 36 | 8.181 % |
31.07/31.19 c | 21588 | 101071 499500 1580218 | 2147483647 21573 36 | 8.181 % |
31.17/31.24 c | 21844 | 101071 499500 1580218 | 2147483647 21829 35 | 8.181 % |
31.17/31.29 c | 22126 | 101071 499500 1580218 | 2147483647 22111 35 | 8.181 % |
31.27/31.33 c | 22437 | 101071 499500 1580218 | 2147483647 22422 35 | 8.181 % |
31.37/31.43 c | 22776 | 101071 499500 1580218 | 2147483647 22761 35 | 8.181 % |
31.47/31.53 c | 23149 | 101071 499500 1580218 | 2147483647 23134 35 | 8.181 % |
31.57/31.62 c | 23558 | 101071 499500 1580218 | 2147483647 23543 35 | 8.181 % |
31.57/31.66 c | 23658 | 101071 499500 1580218 | 2147483647 23643 35 | 8.181 % |
31.67/31.74 c | 23768 | 101071 499500 1580218 | 2147483647 23753 35 | 8.181 % |
31.77/31.82 c | 23889 | 101071 499500 1580218 | 2147483647 23874 35 | 8.181 % |
31.77/31.88 c | 24023 | 101071 499500 1580218 | 2147483647 24008 35 | 8.181 % |
31.77/31.90 c | 24171 | 101071 499500 1580218 | 2147483647 24156 35 | 8.181 % |
31.87/31.97 c | 24331 | 101071 499500 1580218 | 2147483647 24316 34 | 8.181 % |
31.87/32.00 c | 24509 | 101071 499500 1580218 | 2147483647 24494 34 | 8.181 % |
31.97/32.07 c | 24703 | 101071 499500 1580218 | 2147483647 24688 34 | 8.181 % |
32.07/32.13 c | 24915 | 101071 499500 1580218 | 2147483647 24900 34 | 8.181 % |
32.07/32.21 c | 25148 | 101071 499500 1580218 | 2147483647 25133 34 | 8.181 % |
32.17/32.30 c | 25404 | 101071 499500 1580218 | 2147483647 25389 34 | 8.181 % |
32.27/32.39 c | 25685 | 101071 499500 1580218 | 2147483647 25670 34 | 8.181 % |
32.37/32.51 c | 25994 | 101071 499500 1580218 | 2147483647 25979 34 | 8.181 % |
32.57/32.61 c | 26333 | 101071 499500 1580218 | 2147483647 26318 34 | 8.181 % |
32.67/32.71 c | 26706 | 101071 499500 1580218 | 2147483647 26691 34 | 8.181 % |
32.87/32.98 c | 27117 | 101071 499500 1580218 | 2147483647 27102 34 | 8.181 % |
33.07/33.18 c | 27566 | 101071 499500 1580218 | 2147483647 27551 34 | 8.181 % |
33.17/33.22 c | 27666 | 101071 499500 1580218 | 2147483647 27651 34 | 8.181 % |
33.17/33.25 c | 27777 | 101071 499500 1580218 | 2147483647 27762 34 | 8.181 % |
33.17/33.29 c | 27898 | 101071 499500 1580218 | 2147483647 27883 34 | 8.181 % |
33.27/33.33 c | 28032 | 101071 499500 1580218 | 2147483647 28017 34 | 8.181 % |
33.27/33.39 c | 28179 | 101071 499500 1580218 | 2147483647 28164 34 | 8.181 % |
33.37/33.44 c | 28340 | 101071 499500 1580218 | 2147483647 28325 34 | 8.181 % |
33.47/33.52 c | 28516 | 101071 499500 1580218 | 2147483647 28501 34 | 8.181 % |
33.57/33.62 c | 28710 | 101071 499500 1580218 | 2147483647 28695 34 | 8.181 % |
33.57/33.64 c | 28923 | 101071 499500 1580218 | 2147483647 28908 34 | 8.181 % |
33.57/33.70 c | 29158 | 101071 499500 1580218 | 2147483647 29143 34 | 8.181 % |
33.67/33.77 c | 29414 | 101071 499500 1580218 | 2147483647 29399 34 | 8.181 % |
36.77/36.84 c | 29697 | 101071 499500 1580218 | 2147483647 29682 36 | 8.181 % |
36.97/37.05 c | 30006 | 101071 499500 1580218 | 2147483647 29991 36 | 8.181 % |
37.37/37.46 c | 30345 | 101071 499500 1580218 | 2147483647 30330 36 | 8.181 % |
37.47/37.58 c | 30717 | 101071 499500 1580218 | 2147483647 30702 36 | 8.181 % |
37.67/37.77 c | 31127 | 101071 499500 1580218 | 2147483647 31112 36 | 8.181 % |
38.47/38.57 c | 31576 | 101071 499500 1580218 | 2147483647 31561 36 | 8.181 % |
38.77/38.84 c | 32069 | 101071 499500 1580218 | 2147483647 32054 36 | 8.181 % |
38.77/38.88 c | 32169 | 101071 499500 1580218 | 2147483647 32154 36 | 8.181 % |
38.87/38.93 c | 32279 | 101071 499500 1580218 | 2147483647 32264 36 | 8.181 % |
38.97/39.06 c | 32401 | 101071 499500 1580218 | 2147483647 32386 36 | 8.181 % |
39.07/39.11 c | 32534 | 101071 499500 1580218 | 2147483647 32519 36 | 8.181 % |
39.17/39.27 c | 32680 | 101071 499500 1580218 | 2147483647 32665 36 | 8.181 % |
39.57/39.63 c | 32842 | 101071 499500 1580218 | 2147483647 32827 36 | 8.181 % |
39.67/39.81 c | 33018 | 101071 499500 1580218 | 2147483647 33003 36 | 8.181 % |
39.77/39.90 c | 33211 | 101071 499500 1580218 | 2147483647 33196 36 | 8.181 % |
39.97/40.07 c | 33426 | 101071 499500 1580218 | 2147483647 33411 36 | 8.181 % |
40.17/40.22 c | 33659 | 101071 499500 1580218 | 2147483647 33644 36 | 8.181 % |
40.47/40.56 c | 33916 | 101071 499500 1580218 | 2147483647 33901 35 | 8.181 % |
40.57/40.70 c | 34197 | 101071 499500 1580218 | 2147483647 34182 35 | 8.181 % |
40.67/40.79 c | 34506 | 101071 499500 1580218 | 2147483647 34491 35 | 8.181 % |
40.87/40.98 c | 34845 | 101071 499500 1580218 | 2147483647 34830 35 | 8.181 % |
41.07/41.11 c | 35217 | 101071 499500 1580218 | 2147483647 35202 35 | 8.181 % |
41.17/41.29 c | 35628 | 101071 499500 1580218 | 2147483647 35613 35 | 8.181 % |
41.37/41.44 c | 36077 | 101071 499500 1580218 | 2147483647 36062 35 | 8.181 % |
41.47/41.58 c | 36573 | 101071 499500 1580218 | 2147483647 36558 35 | 8.181 % |
41.57/41.67 c | 37115 | 101071 499500 1580218 | 2147483647 37100 35 | 8.181 % |
41.57/41.69 c | 37215 | 101071 499500 1580218 | 2147483647 37200 35 | 8.181 % |
41.67/41.72 c | 37325 | 101071 499500 1580218 | 2147483647 37310 35 | 8.181 % |
41.67/41.76 c | 37447 | 101071 499500 1580218 | 2147483647 37432 35 | 8.181 % |
41.77/41.85 c | 37582 | 101071 499500 1580218 | 2147483647 37567 35 | 8.181 % |
41.87/41.96 c | 37729 | 101071 499500 1580218 | 2147483647 37714 35 | 8.181 % |
41.97/42.06 c | 37890 | 101071 499500 1580218 | 2147483647 37875 35 | 8.181 % |
42.07/42.16 c | 38066 | 101071 499500 1580218 | 2147483647 38051 35 | 8.181 % |
42.17/42.23 c | 38261 | 101071 499500 1580218 | 2147483647 38246 35 | 8.181 % |
42.27/42.34 c | 38474 | 101071 499500 1580218 | 2147483647 38459 35 | 8.181 % |
42.27/42.41 c | 38708 | 101071 499500 1580218 | 2147483647 38693 35 | 8.181 % |
47.17/47.27 c | 38966 | 101071 499500 1580218 | 2147483647 38951 37 | 8.181 % |
47.37/47.42 c | 39248 | 101071 499500 1580218 | 2147483647 39233 37 | 8.181 % |
47.47/47.52 c | 39557 | 101071 499500 1580218 | 2147483647 39542 36 | 8.181 % |
47.57/47.67 c | 39897 | 101071 499500 1580218 | 2147483647 39882 36 | 8.181 % |
47.77/47.82 c | 40269 | 101071 499500 1580218 | 2147483647 40254 36 | 8.181 % |
48.27/48.40 c | 40678 | 101071 499500 1580218 | 2147483647 40663 36 | 8.181 % |
48.57/48.64 c | 41127 | 101071 499500 1580218 | 2147483647 41112 36 | 8.181 % |
48.77/48.84 c | 41620 | 101071 499500 1580218 | 2147483647 41605 36 | 8.181 % |
49.27/49.32 c | 42163 | 100941 498950 1578568 | 2147483647 42140 36 | 8.491 % |
49.57/49.63 c | 42759 | 100941 498950 1578568 | 2147483647 42736 35 | 8.491 % |
49.97/50.10 c | 42862 | 100941 498950 1578568 | 2147483647 42839 36 | 8.491 % |
50.07/50.21 c | 42972 | 100941 498950 1578568 | 2147483647 42949 36 | 8.491 % |
50.17/50.26 c | 43094 | 100941 498950 1578568 | 2147483647 43071 36 | 8.491 % |
50.37/50.41 c | 43227 | 100941 498950 1578568 | 2147483647 43204 35 | 8.491 % |
50.87/50.96 c | 43373 | 100941 498950 1578568 | 2147483647 43350 36 | 8.491 % |
51.07/51.12 c | 43533 | 100941 498950 1578568 | 2147483647 43510 36 | 8.491 % |
51.07/51.19 c | 43709 | 100941 498950 1578568 | 2147483647 43686 36 | 8.491 % |
51.37/51.50 c | 43903 | 100941 498950 1578568 | 2147483647 43880 36 | 8.491 % |
51.47/51.61 c | 44117 | 100729 497887 1575389 | 2147483647 44093 35 | 8.491 % |
51.67/51.74 c | 44350 | 100729 497887 1575389 | 2147483647 44326 35 | 8.491 % |
51.87/52.01 c | 44607 | 100729 497887 1575389 | 2147483647 44583 35 | 8.491 % |
54.17/54.29 c | 44888 | 100729 497887 1575389 | 2147483647 44864 36 | 8.491 % |
54.47/54.56 c | 45197 | 100729 497887 1575389 | 2147483647 45173 36 | 8.491 % |
54.67/54.72 c | 45536 | 100729 497887 1575389 | 2147483647 45512 36 | 8.491 % |
54.87/54.91 c | 45908 | 100729 497887 1575389 | 2147483647 45884 36 | 8.491 % |
54.97/55.05 c | 46319 | 100729 497887 1575389 | 2147483647 46295 36 | 8.491 % |
55.07/55.13 c | 46768 | 100729 497887 1575389 | 2147483647 46744 36 | 8.491 % |
55.67/55.75 c | 47261 | 100729 497887 1575389 | 2147483647 47237 36 | 8.491 % |
55.87/56.01 c | 47803 | 100729 497887 1575389 | 2147483647 47779 36 | 8.491 % |
56.17/56.30 c | 48399 | 100729 497887 1575389 | 2147483647 48375 36 | 8.491 % |
56.87/56.96 c | 49054 | 100729 497887 1575389 | 2147483647 49030 36 | 8.491 % |
56.97/57.01 c | 49155 | 100729 497887 1575389 | 2147483647 49131 36 | 8.491 % |
56.97/57.03 c | 49265 | 100729 497887 1575389 | 2147483647 49241 36 | 8.491 % |
56.97/57.06 c | 49386 | 100729 497887 1575389 | 2147483647 49362 36 | 8.491 % |
57.07/57.14 c | 49520 | 100729 497887 1575389 | 2147483647 49496 36 | 8.491 % |
57.07/57.20 c | 49666 | 100729 497887 1575389 | 2147483647 49642 36 | 8.491 % |
57.47/57.60 c | 49826 | 100729 497887 1575389 | 2147483647 49802 36 | 8.491 % |
57.57/57.70 c | 50002 | 100729 497887 1575389 | 2147483647 49978 36 | 8.491 % |
57.67/57.77 c | 50195 | 100729 497887 1575389 | 2147483647 50171 36 | 8.491 % |
57.97/58.03 c | 50408 | 100729 497887 1575389 | 2147483647 50384 36 | 8.491 % |
58.17/58.25 c | 50641 | 100729 497887 1575389 | 2147483647 50617 36 | 8.491 % |
58.27/58.35 c | 50897 | 100729 497887 1575389 | 2147483647 50873 36 | 8.491 % |
58.37/58.42 c | 51180 | 100729 497887 1575389 | 2147483647 51156 36 | 8.491 % |
58.37/58.49 c | 51489 | 100729 497887 1575389 | 2147483647 51465 36 | 8.491 % |
58.47/58.55 c | 51828 | 100729 497887 1575389 | 2147483647 51804 36 | 8.491 % |
58.47/58.61 c | 52200 | 100729 497887 1575389 | 2147483647 52176 36 | 8.491 % |
58.67/58.79 c | 52611 | 100729 497887 1575389 | 2147483647 52587 35 | 8.491 % |
58.87/58.96 c | 53061 | 100729 497887 1575389 | 2147483647 53037 35 | 8.491 % |
59.17/59.23 c | 53554 | 100729 497887 1575389 | 2147483647 53530 35 | 8.491 % |
62.07/62.20 c | 54096 | 100729 497887 1575389 | 2147483647 54072 37 | 8.491 % |
62.57/62.65 c | 54693 | 100729 497887 1575389 | 2147483647 54669 36 | 8.491 % |
64.07/64.17 c | 55348 | 100729 497887 1575389 | 2147483647 55324 37 | 8.491 % |
64.97/65.08 c | 56068 | 100729 497887 1575389 | 2147483647 56044 37 | 8.491 % |
65.17/65.26 c | 56170 | 100729 497887 1575389 | 2147483647 56146 37 | 8.491 % |
65.47/65.51 c | 56280 | 100729 497887 1575389 | 2147483647 56256 37 | 8.491 % |
65.57/65.63 c | 56401 | 100729 497887 1575389 | 2147483647 56377 37 | 8.491 % |
65.57/65.70 c | 56535 | 100729 497887 1575389 | 2147483647 56511 37 | 8.491 % |
65.67/65.76 c | 56682 | 100729 497887 1575389 | 2147483647 56658 37 | 8.491 % |
65.77/65.88 c | 56842 | 100729 497887 1575389 | 2147483647 56818 37 | 8.491 % |
66.17/66.23 c | 57020 | 100729 497887 1575389 | 2147483647 56996 37 | 8.491 % |
66.47/66.55 c | 57214 | 100729 497887 1575389 | 2147483647 57190 37 | 8.491 % |
66.67/66.79 c | 57426 | 100729 497887 1575389 | 2147483647 57402 37 | 8.491 % |
66.97/67.07 c | 57660 | 100729 497887 1575389 | 2147483647 57636 37 | 8.491 % |
67.27/67.37 c | 57916 | 100729 497887 1575389 | 2147483647 57892 37 | 8.491 % |
67.57/67.61 c | 58198 | 100729 497887 1575389 | 2147483647 58174 37 | 8.491 % |
67.87/67.95 c | 58507 | 100729 497887 1575389 | 2147483647 58483 37 | 8.491 % |
67.97/68.11 c | 58846 | 100729 497887 1575389 | 2147483647 58822 37 | 8.491 % |
68.18/68.29 c | 59219 | 100729 497887 1575389 | 2147483647 59195 37 | 8.491 % |
68.57/68.63 c | 59628 | 100729 497887 1575389 | 2147483647 59604 37 | 8.491 % |
71.07/71.21 c | 60081 | 100729 497887 1575389 | 2147483647 60057 39 | 8.491 % |
73.87/73.96 c | 60574 | 100729 497887 1575389 | 2147483647 60550 40 | 8.491 % |
74.67/74.79 c | 61116 | 100729 497887 1575389 | 2147483647 61092 40 | 8.491 % |
75.17/75.31 c | 61713 | 100729 497887 1575389 | 2147483647 61689 41 | 8.491 % |
75.47/75.58 c | 62370 | 100729 497887 1575389 | 2147483647 62346 41 | 8.491 % |
75.88/75.96 c | 63091 | 100729 497887 1575389 | 2147483647 63067 40 | 8.491 % |
77.07/77.20 c | 63884 | 100729 497887 1575389 | 2147483647 63860 41 | 8.491 % |
77.17/77.25 c | 63986 | 100729 497887 1575389 | 2147483647 63962 41 | 8.491 % |
77.27/77.38 c | 64099 | 100729 497887 1575389 | 2147483647 64075 41 | 8.491 % |
77.37/77.46 c | 64221 | 100729 497887 1575389 | 2147483647 64197 41 | 8.491 % |
77.67/77.72 c | 64355 | 100729 497887 1575389 | 2147483647 64331 41 | 8.491 % |
77.87/77.95 c | 64502 | 100729 497887 1575389 | 2147483647 64478 41 | 8.491 % |
78.08/78.16 c | 64663 | 100729 497887 1575389 | 2147483647 64639 41 | 8.491 % |
78.27/78.31 c | 64839 | 100729 497887 1575389 | 2147483647 64815 41 | 8.491 % |
78.37/78.51 c | 65034 | 100729 497887 1575389 | 2147483647 65010 41 | 8.491 % |
78.57/78.65 c | 65247 | 100729 497887 1575389 | 2147483647 65223 41 | 8.491 % |
80.37/80.49 c | 65481 | 100729 497887 1575389 | 2147483647 65457 42 | 8.491 % |
80.67/80.76 c | 65737 | 100729 497887 1575389 | 2147483647 65713 42 | 8.491 % |
80.77/80.83 c | 66018 | 100729 497887 1575389 | 2147483647 65994 42 | 8.491 % |
81.07/81.19 c | 66328 | 100729 497887 1575389 | 2147483647 66304 42 | 8.491 % |
81.47/81.55 c | 66667 | 100729 497887 1575389 | 2147483647 66643 42 | 8.491 % |
81.57/81.67 c | 67040 | 100729 497887 1575389 | 2147483647 67016 42 | 8.491 % |
81.67/81.77 c | 67449 | 100729 497887 1575389 | 2147483647 67425 42 | 8.491 % |
81.77/81.88 c | 67901 | 100729 497887 1575389 | 2147483647 67877 42 | 8.491 % |
81.97/82.01 c | 68395 | 100729 497887 1575389 | 2147483647 68371 42 | 8.491 % |
82.07/82.15 c | 68938 | 100729 497887 1575389 | 2147483647 68914 42 | 8.491 % |
83.77/83.84 c | 69534 | 100729 497887 1575389 | 2147483647 69510 42 | 8.491 % |
84.68/84.78 c | 70189 | 100729 497887 1575389 | 2147483647 70165 42 | 8.491 % |
85.07/85.15 c | 70910 | 100729 497887 1575389 | 2147483647 70886 42 | 8.491 % |
94.97/95.03 c | 71702 | 100729 497887 1575389 | 2147483647 71678 45 | 8.491 % |
95.17/95.22 c | 72573 | 100729 497887 1575389 | 2147483647 72549 45 | 8.491 % |
95.27/95.40 c | 72673 | 100729 497887 1575389 | 2147483647 72649 45 | 8.491 % |
95.37/95.47 c | 72784 | 100729 497887 1575389 | 2147483647 72760 45 | 8.491 % |
95.47/95.52 c | 72906 | 100729 497887 1575389 | 2147483647 72882 45 | 8.491 % |
95.57/95.62 c | 73039 | 100729 497887 1575389 | 2147483647 73015 45 | 8.491 % |
95.97/96.06 c | 73186 | 100729 497887 1575389 | 2147483647 73162 45 | 8.491 % |
96.07/96.13 c | 73349 | 100729 497887 1575389 | 2147483647 73325 45 | 8.491 % |
96.07/96.19 c | 73526 | 100729 497887 1575389 | 2147483647 73502 45 | 8.491 % |
96.27/96.33 c | 73720 | 100729 497887 1575389 | 2147483647 73696 45 | 8.491 % |
96.47/96.57 c | 73934 | 100729 497887 1575389 | 2147483647 73910 45 | 8.491 % |
96.57/96.67 c | 74170 | 100729 497887 1575389 | 2147483647 74146 45 | 8.491 % |
96.87/96.97 c | 74427 | 100729 497887 1575389 | 2147483647 74403 45 | 8.491 % |
97.57/97.69 c | 74708 | 100729 497887 1575389 | 2147483647 74684 45 | 8.491 % |
97.88/97.92 c | 75018 | 100729 497887 1575389 | 2147483647 74994 45 | 8.491 % |
98.17/98.28 c | 75358 | 100729 497887 1575389 | 2147483647 75334 45 | 8.491 % |
98.57/98.62 c | 75732 | 100729 497887 1575389 | 2147483647 75708 45 | 8.491 % |
98.87/98.99 c | 76141 | 100729 497887 1575389 | 2147483647 76117 45 | 8.491 % |
99.27/99.38 c | 76591 | 100729 497887 1575389 | 2147483647 76567 45 | 8.491 % |
99.47/99.56 c | 77084 | 100729 497887 1575389 | 2147483647 77060 45 | 8.491 % |
99.57/99.70 c | 77626 | 100729 497887 1575389 | 2147483647 77602 45 | 8.491 % |
102.67/102.75 c | 78222 | 100729 497887 1575389 | 2147483647 78198 46 | 8.491 % |
103.47/103.54 c | 78877 | 100729 497887 1575389 | 2147483647 78853 46 | 8.491 % |
104.07/104.18 c | 79597 | 100729 497887 1575389 | 2147483647 79573 46 | 8.491 % |
104.48/104.56 c | 80390 | 100729 497887 1575389 | 2147483647 80366 46 | 8.491 % |
104.67/104.73 c | 81261 | 100729 497887 1575389 | 2147483647 81237 46 | 8.491 % |
115.28/115.35 c | 82219 | 100729 497887 1575389 | 2147483647 82195 49 | 8.491 % |
115.48/115.61 c | 82319 | 100729 497887 1575389 | 2147483647 82295 49 | 8.491 % |
115.58/115.67 c | 82430 | 100729 497887 1575389 | 2147483647 82406 49 | 8.491 % |
115.78/115.82 c | 82551 | 100729 497887 1575389 | 2147483647 82527 49 | 8.491 % |
115.98/116.04 c | 82685 | 100729 497887 1575389 | 2147483647 82661 49 | 8.491 % |
115.98/116.09 c | 82832 | 100729 497887 1575389 | 2147483647 82808 49 | 8.491 % |
116.08/116.12 c | 82992 | 100729 497887 1575389 | 2147483647 82968 49 | 8.491 % |
116.28/116.32 c | 83169 | 100729 497887 1575389 | 2147483647 83145 49 | 8.491 % |
117.08/117.19 c | 83362 | 100729 497887 1575389 | 2147483647 83338 49 | 8.491 % |
117.18/117.31 c | 83574 | 100729 497887 1575389 | 2147483647 83550 49 | 8.491 % |
117.28/117.39 c | 83807 | 100729 497887 1575389 | 2147483647 83783 49 | 8.491 % |
117.38/117.47 c | 84064 | 100729 497887 1575389 | 2147483647 84040 49 | 8.491 % |
117.48/117.53 c | 84345 | 100729 497887 1575389 | 2147483647 84321 49 | 8.491 % |
117.48/117.60 c | 84654 | 100729 497887 1575389 | 2147483647 84630 49 | 8.491 % |
117.68/117.71 c | 84993 | 100729 497887 1575389 | 2147483647 84969 49 | 8.491 % |
117.78/117.90 c | 85365 | 100729 497887 1575389 | 2147483647 85341 49 | 8.491 % |
117.98/118.04 c | 85774 | 100729 497887 1575389 | 2147483647 85750 49 | 8.491 % |
118.08/118.12 c | 86225 | 100729 497887 1575389 | 2147483647 86201 49 | 8.491 % |
118.48/118.58 c | 86718 | 100729 497887 1575389 | 2147483647 86694 49 | 8.491 % |
118.78/118.87 c | 87261 | 100729 497887 1575389 | 2147483647 87237 49 | 8.491 % |
118.98/119.07 c | 87858 | 100729 497887 1575389 | 2147483647 87834 48 | 8.491 % |
119.28/119.36 c | 88514 | 100729 497887 1575389 | 2147483647 88490 48 | 8.491 % |
119.68/119.74 c | 89235 | 100729 497887 1575389 | 2147483647 89211 48 | 8.491 % |
120.08/120.18 c | 90028 | 100729 497887 1575389 | 2147483647 90004 48 | 8.491 % |
120.28/120.40 c | 90901 | 100729 497887 1575389 | 2147483647 90877 48 | 8.491 % |
120.58/120.68 c | 91859 | 100729 497887 1575389 | 2147483647 91835 48 | 8.491 % |
128.48/128.60 c | 92912 | 100729 497887 1575389 | 2147483647 92888 50 | 8.491 % |
128.58/128.67 c | 93012 | 100729 497887 1575389 | 2147483647 92988 50 | 8.491 % |
129.08/129.17 c | 93123 | 100729 497887 1575389 | 2147483647 93099 50 | 8.491 % |
129.08/129.21 c | 93244 | 100729 497887 1575389 | 2147483647 93220 50 | 8.491 % |
129.18/129.29 c | 93378 | 100729 497887 1575389 | 2147483647 93354 50 | 8.491 % |
129.28/129.34 c | 93524 | 100729 497887 1575389 | 2147483647 93500 50 | 8.491 % |
129.38/129.48 c | 93684 | 100729 497887 1575389 | 2147483647 93660 50 | 8.491 % |
129.48/129.60 c | 93860 | 100729 497887 1575389 | 2147483647 93836 50 | 8.491 % |
129.68/129.74 c | 94053 | 100729 497887 1575389 | 2147483647 94029 50 | 8.491 % |
129.78/129.89 c | 94266 | 100729 497887 1575389 | 2147483647 94242 50 | 8.491 % |
129.88/129.96 c | 94500 | 100729 497887 1575389 | 2147483647 94476 50 | 8.491 % |
130.08/130.16 c | 94757 | 100729 497887 1575389 | 2147483647 94733 50 | 8.491 % |
130.18/130.24 c | 95040 | 100729 497887 1575389 | 2147483647 95016 50 | 8.491 % |
131.08/131.16 c | 95350 | 100729 497887 1575389 | 2147483647 95326 50 | 8.491 % |
131.18/131.24 c | 95689 | 100729 497887 1575389 | 2147483647 95665 50 | 8.491 % |
131.38/131.41 c | 96063 | 100729 497887 1575389 | 2147483647 96039 50 | 8.491 % |
131.58/131.67 c | 96474 | 100729 497887 1575389 | 2147483647 96450 50 | 8.491 % |
131.78/131.85 c | 96923 | 100729 497887 1575389 | 2147483647 96899 50 | 8.491 % |
131.98/132.09 c | 97418 | 100729 497887 1575389 | 2147483647 97394 50 | 8.491 % |
132.18/132.25 c | 97960 | 100729 497887 1575389 | 2147483647 97936 49 | 8.491 % |
132.48/132.56 c | 98556 | 100729 497887 1575389 | 2147483647 98532 49 | 8.491 % |
133.08/133.13 c | 99213 | 100729 497887 1575389 | 2147483647 99189 49 | 8.491 % |
133.68/133.75 c | 99933 | 100729 497887 1575389 | 2147483647 99909 49 | 8.491 % |
134.08/134.20 c | 100725 | 100729 497887 1575389 | 2147483647 100701 49 | 8.491 % |
141.58/141.66 c | 101596 | 100729 497887 1575389 | 2147483647 101572 51 | 8.491 % |
142.28/142.33 c | 102554 | 100729 497887 1575389 | 2147483647 102530 51 | 8.491 % |
142.48/142.61 c | 103607 | 100729 497887 1575389 | 2147483647 103583 51 | 8.491 % |
143.08/143.16 c | 104766 | 100729 497887 1575389 | 2147483647 104742 50 | 8.491 % |
143.58/143.62 c | 104866 | 100729 497887 1575389 | 2147483647 104842 50 | 8.491 % |
143.58/143.69 c | 104977 | 100729 497887 1575389 | 2147483647 104953 50 | 8.491 % |
143.68/143.79 c | 105099 | 100729 497887 1575389 | 2147483647 105075 50 | 8.491 % |
143.78/143.87 c | 105234 | 100729 497887 1575389 | 2147483647 105210 50 | 8.491 % |
143.98/144.02 c | 105380 | 100729 497887 1575389 | 2147483647 105356 50 | 8.491 % |
144.08/144.18 c | 105541 | 100729 497887 1575389 | 2147483647 105517 50 | 8.491 % |
144.18/144.31 c | 105718 | 100729 497887 1575389 | 2147483647 105694 50 | 8.491 % |
146.58/146.65 c | 105912 | 100729 497887 1575389 | 2147483647 105888 51 | 8.491 % |
146.78/146.83 c | 106125 | 100729 497887 1575389 | 2147483647 106101 51 | 8.491 % |
146.88/146.91 c | 106361 | 100729 497887 1575389 | 2147483647 106337 51 | 8.491 % |
147.08/147.14 c | 106617 | 100729 497887 1575389 | 2147483647 106593 51 | 8.491 % |
147.28/147.39 c | 106898 | 100729 497887 1575389 | 2147483647 106874 51 | 8.491 % |
147.58/147.66 c | 107207 | 100729 497887 1575389 | 2147483647 107183 51 | 8.491 % |
152.88/152.96 c | 107547 | 100729 497887 1575389 | 2147483647 107523 51 | 8.491 % |
152.98/153.08 c | 107919 | 100729 497887 1575389 | 2147483647 107895 51 | 8.491 % |
153.18/153.26 c | 108328 | 100729 497887 1575389 | 2147483647 108304 51 | 8.491 % |
153.28/153.38 c | 108778 | 100729 497887 1575389 | 2147483647 108754 51 | 8.491 % |
153.48/153.57 c | 109271 | 100729 497887 1575389 | 2147483647 109247 51 | 8.491 % |
153.78/153.86 c | 109813 | 100729 497887 1575389 | 2147483647 109789 51 | 8.491 % |
153.98/154.04 c | 110409 | 100729 497887 1575389 | 2147483647 110385 51 | 8.491 % |
154.18/154.30 c | 111066 | 100729 497887 1575389 | 2147483647 111042 51 | 8.491 % |
162.47/162.53 c | 111786 | 100729 497887 1575389 | 2147483647 111762 53 | 8.491 % |
163.27/163.32 c | 112579 | 100729 497887 1575389 | 2147483647 112555 52 | 8.491 % |
163.37/163.49 c | 113450 | 100729 497887 1575389 | 2147483647 113426 52 | 8.491 % |
164.17/164.23 c | 114408 | 100729 497887 1575389 | 2147483647 114384 52 | 8.491 % |
164.77/164.85 c | 115461 | 100729 497887 1575389 | 2147483647 115437 52 | 8.491 % |
167.97/168.05 c | 116620 | 100729 497887 1575389 | 2147483647 116596 52 | 8.491 % |
168.67/168.72 c | 117895 | 100729 497887 1575389 | 2147483647 117871 52 | 8.491 % |
168.87/168.95 c | 117997 | 100729 497887 1575389 | 2147483647 117973 52 | 8.491 % |
168.97/169.07 c | 118107 | 100729 497887 1575389 | 2147483647 118083 52 | 8.491 % |
169.07/169.14 c | 118229 | 100729 497887 1575389 | 2147483647 118205 52 | 8.491 % |
169.17/169.21 c | 118363 | 100729 497887 1575389 | 2147483647 118339 52 | 8.491 % |
169.27/169.35 c | 118509 | 100729 497887 1575389 | 2147483647 118485 52 | 8.491 % |
169.57/169.69 c | 118670 | 100729 497887 1575389 | 2147483647 118646 52 | 8.491 % |
169.77/169.82 c | 118847 | 100729 497887 1575389 | 2147483647 118823 52 | 8.491 % |
169.77/169.87 c | 119042 | 100729 497887 1575389 | 2147483647 119018 52 | 8.491 % |
169.97/170.05 c | 119254 | 100729 497887 1575389 | 2147483647 119230 52 | 8.491 % |
170.17/170.23 c | 119487 | 100729 497887 1575389 | 2147483647 119463 52 | 8.491 % |
170.27/170.32 c | 119743 | 100729 497887 1575389 | 2147483647 119719 52 | 8.491 % |
170.37/170.41 c | 120025 | 100729 497887 1575389 | 2147483647 120001 52 | 8.491 % |
170.48/170.54 c | 120334 | 100729 497887 1575389 | 2147483647 120310 52 | 8.491 % |
170.57/170.67 c | 120674 | 100729 497887 1575389 | 2147483647 120650 52 | 8.491 % |
170.77/170.81 c | 121046 | 100729 497887 1575389 | 2147483647 121022 52 | 8.491 % |
170.97/171.04 c | 121457 | 100729 497887 1575389 | 2147483647 121433 52 | 8.491 % |
173.17/173.24 c | 121908 | 100729 497887 1575389 | 2147483647 121884 52 | 8.491 % |
173.57/173.69 c | 122402 | 100729 497887 1575389 | 2147483647 122378 52 | 8.491 % |
174.47/174.51 c | 122947 | 100719 497839 1575243 | 2147483647 122920 52 | 8.500 % |
174.77/174.87 c | 123543 | 100717 497839 1575243 | 2147483647 123515 52 | 8.502 % |
175.17/175.22 c | 124198 | 100717 497839 1575243 | 2147483647 124170 52 | 8.502 % |
175.57/175.63 c | 124920 | 100717 497839 1575243 | 2147483647 124892 52 | 8.502 % |
175.87/175.95 c | 125715 | 100717 497839 1575243 | 2147483647 125687 52 | 8.502 % |
176.07/176.17 c | 126586 | 100717 497839 1575243 | 2147483647 126558 52 | 8.502 % |
176.57/176.65 c | 127544 | 100717 497839 1575243 | 2147483647 127516 51 | 8.502 % |
177.87/177.96 c | 128597 | 100717 497839 1575243 | 2147483647 128569 52 | 8.502 % |
178.37/178.43 c | 129755 | 100717 497839 1575243 | 2147483647 129727 51 | 8.502 % |
178.87/178.97 c | 131028 | 100717 497839 1575243 | 2147483647 131000 51 | 8.502 % |
179.87/179.93 c | 132430 | 100717 497839 1575243 | 2147483647 132402 51 | 8.502 % |
179.87/179.98 c | 132530 | 100717 497839 1575243 | 2147483647 132502 51 | 8.502 % |
179.97/180.02 c | 132641 | 100717 497839 1575243 | 2147483647 132613 51 | 8.502 % |
180.07/180.11 c | 132762 | 100717 497839 1575243 | 2147483647 132734 51 | 8.502 % |
180.07/180.19 c | 132897 | 100717 497839 1575243 | 2147483647 132869 51 | 8.502 % |
180.27/180.39 c | 133043 | 100717 497839 1575243 | 2147483647 133015 51 | 8.502 % |
180.38/180.44 c | 133203 | 100717 497839 1575243 | 2147483647 133175 51 | 8.502 % |
180.47/180.56 c | 133379 | 100717 497839 1575243 | 2147483647 133351 51 | 8.502 % |
180.57/180.64 c | 133572 | 100717 497839 1575243 | 2147483647 133544 51 | 8.502 % |
180.67/180.73 c | 133785 | 100717 497839 1575243 | 2147483647 133757 51 | 8.502 % |
180.77/180.84 c | 134018 | 100717 497839 1575243 | 2147483647 133990 51 | 8.502 % |
180.87/180.95 c | 134274 | 100717 497839 1575243 | 2147483647 134246 51 | 8.502 % |
182.47/182.54 c | 134555 | 100717 497839 1575243 | 2147483647 134527 51 | 8.502 % |
182.77/182.86 c | 134869 | 100717 497832 1575221 | 2147483647 134840 51 | 8.502 % |
182.87/183.00 c | 135210 | 100717 497832 1575221 | 2147483647 135181 51 | 8.502 % |
183.07/183.18 c | 135582 | 100717 497832 1575221 | 2147483647 135553 51 | 8.502 % |
183.47/183.59 c | 135991 | 100717 497832 1575221 | 2147483647 135962 51 | 8.502 % |
183.68/183.73 c | 136440 | 100717 497832 1575221 | 2147483647 136411 51 | 8.502 % |
184.27/184.30 c | 136933 | 100717 497832 1575221 | 2147483647 136904 51 | 8.502 % |
185.07/185.15 c | 137475 | 100717 497832 1575221 | 2147483647 137446 51 | 8.502 % |
185.37/185.40 c | 138071 | 100717 497832 1575221 | 2147483647 138042 51 | 8.502 % |
186.07/186.12 c | 138726 | 100717 497832 1575221 | 2147483647 138697 51 | 8.502 % |
186.67/186.71 c | 139448 | 100717 497832 1575221 | 2147483647 139419 51 | 8.502 % |
187.07/187.10 c | 140241 | 100717 497832 1575221 | 2147483647 140212 51 | 8.502 % |
188.47/188.55 c | 141113 | 100717 497832 1575221 | 2147483647 141084 51 | 8.502 % |
189.47/189.59 c | 142071 | 100717 497832 1575221 | 2147483647 142042 51 | 8.502 % |
189.87/189.94 c | 143124 | 100717 497832 1575221 | 2147483647 143095 51 | 8.502 % |
190.67/190.71 c | 144282 | 100717 497832 1575221 | 2147483647 144253 50 | 8.502 % |
191.27/191.38 c | 145555 | 100717 497832 1575221 | 2147483647 145526 50 | 8.502 % |
193.58/193.63 c | 146959 | 100717 497832 1575221 | 2147483647 146930 51 | 8.502 % |
195.37/195.45 c | 148499 | 100717 497832 1575221 | 2147483647 148470 51 | 8.502 % |
195.47/195.54 c | 148599 | 100717 497832 1575221 | 2147483647 148570 51 | 8.502 % |
195.57/195.68 c | 148709 | 100717 497832 1575221 | 2147483647 148680 51 | 8.502 % |
195.78/195.88 c | 148832 | 100717 497832 1575221 | 2147483647 148803 51 | 8.502 % |
196.27/196.32 c | 148966 | 100717 497832 1575221 | 2147483647 148937 51 | 8.502 % |
196.27/196.39 c | 149112 | 100717 497832 1575221 | 2147483647 149083 51 | 8.502 % |
196.57/196.62 c | 149272 | 100717 497832 1575221 | 2147483647 149243 51 | 8.502 % |
196.67/196.74 c | 149448 | 100717 497832 1575221 | 2147483647 149419 51 | 8.502 % |
196.77/196.86 c | 149641 | 100717 497832 1575221 | 2147483647 149612 51 | 8.502 % |
196.97/197.02 c | 149856 | 100717 497832 1575221 | 2147483647 149827 50 | 8.502 % |
197.17/197.26 c | 150091 | 100717 497832 1575221 | 2147483647 150062 50 | 8.502 % |
197.57/197.60 c | 150348 | 100717 497832 1575221 | 2147483647 150319 50 | 8.502 % |
197.67/197.76 c | 150629 | 100717 497832 1575221 | 2147483647 150600 50 | 8.502 % |
197.98/198.05 c | 150939 | 100717 497832 1575221 | 2147483647 150910 50 | 8.502 % |
198.47/198.51 c | 151278 | 100717 497832 1575221 | 2147483647 151249 50 | 8.502 % |
198.57/198.63 c | 151650 | 100717 497832 1575221 | 2147483647 151621 50 | 8.502 % |
198.87/198.97 c | 152059 | 100717 497832 1575221 | 2147483647 152030 50 | 8.502 % |
199.08/199.12 c | 152508 | 100717 497832 1575221 | 2147483647 152479 50 | 8.502 % |
199.47/199.59 c | 153001 | 100717 497832 1575221 | 2147483647 152972 50 | 8.502 % |
199.87/199.95 c | 153544 | 100717 497832 1575221 | 2147483647 153515 50 | 8.502 % |
199.97/200.10 c | 154140 | 100717 497832 1575221 | 2147483647 154111 50 | 8.502 % |
200.27/200.30 c | 154796 | 100717 497832 1575221 | 2147483647 154767 50 | 8.502 % |
205.69/205.77 c | 155517 | 100717 497832 1575221 | 2147483647 155488 51 | 8.502 % |
206.19/206.30 c | 156309 | 100717 497832 1575221 | 2147483647 156280 51 | 8.502 % |
206.49/206.55 c | 157180 | 100717 497832 1575221 | 2147483647 157151 51 | 8.502 % |
207.19/207.25 c | 158138 | 100717 497832 1575221 | 2147483647 158109 51 | 8.502 % |
208.09/208.20 c | 159195 | 100717 497832 1575221 | 2147483647 159166 50 | 8.502 % |
208.69/208.78 c | 160353 | 100717 497832 1575221 | 2147483647 160324 50 | 8.502 % |
209.09/209.19 c | 161627 | 100717 497832 1575221 | 2147483647 161598 50 | 8.502 % |
209.49/209.57 c | 163029 | 100717 497832 1575221 | 2147483647 163000 50 | 8.502 % |
210.19/210.25 c | 164569 | 100717 497832 1575221 | 2147483647 164540 50 | 8.502 % |
211.69/211.76 c | 166264 | 100717 497832 1575221 | 2147483647 166235 50 | 8.502 % |
211.69/211.80 c | 166365 | 100717 497832 1575221 | 2147483647 166336 50 | 8.502 % |
212.69/212.76 c | 166475 | 100717 497832 1575221 | 2147483647 166446 50 | 8.502 % |
213.09/213.16 c | 166598 | 100717 497832 1575221 | 2147483647 166569 50 | 8.502 % |
213.19/213.24 c | 166731 | 100717 497832 1575221 | 2147483647 166702 50 | 8.502 % |
213.29/213.34 c | 166877 | 100717 497832 1575221 | 2147483647 166848 50 | 8.502 % |
213.39/213.46 c | 167039 | 100717 497832 1575221 | 2147483647 167010 50 | 8.502 % |
213.59/213.62 c | 167216 | 100717 497832 1575221 | 2147483647 167187 50 | 8.502 % |
213.99/214.02 c | 167411 | 100717 497832 1575221 | 2147483647 167382 50 | 8.502 % |
214.19/214.30 c | 167623 | 100717 497832 1575221 | 2147483647 167594 50 | 8.502 % |
214.39/214.47 c | 167857 | 100717 497832 1575221 | 2147483647 167828 50 | 8.502 % |
214.99/215.05 c | 168114 | 100717 497832 1575221 | 2147483647 168085 50 | 8.502 % |
215.09/215.17 c | 168396 | 100717 497832 1575221 | 2147483647 168367 50 | 8.502 % |
215.19/215.31 c | 168705 | 100717 497832 1575221 | 2147483647 168676 50 | 8.502 % |
215.39/215.47 c | 169044 | 100717 497832 1575221 | 2147483647 169015 50 | 8.502 % |
215.59/215.68 c | 169416 | 100717 497832 1575221 | 2147483647 169387 50 | 8.502 % |
215.89/215.98 c | 169826 | 100717 497832 1575221 | 2147483647 169797 50 | 8.502 % |
216.79/216.82 c | 170275 | 100717 497832 1575221 | 2147483647 170246 50 | 8.502 % |
216.99/217.03 c | 170768 | 100717 497832 1575221 | 2147483647 170739 50 | 8.502 % |
217.19/217.29 c | 171310 | 100717 497832 1575221 | 2147483647 171281 50 | 8.502 % |
217.59/217.67 c | 171907 | 100717 497832 1575221 | 2147483647 171878 49 | 8.502 % |
218.09/218.12 c | 172563 | 100717 497832 1575221 | 2147483647 172534 49 | 8.502 % |
218.69/218.73 c | 173283 | 100717 497832 1575221 | 2147483647 173254 49 | 8.502 % |
218.99/219.09 c | 174075 | 100717 497832 1575221 | 2147483647 174046 49 | 8.502 % |
219.29/219.36 c | 174946 | 100717 497832 1575221 | 2147483647 174917 49 | 8.502 % |
219.69/219.81 c | 175906 | 100717 497832 1575221 | 2147483647 175877 49 | 8.502 % |
220.09/220.12 c | 176960 | 100717 497832 1575221 | 2147483647 176931 49 | 8.502 % |
221.79/221.91 c | 178119 | 100717 497832 1575221 | 2147483647 178090 49 | 8.502 % |
222.49/222.55 c | 179394 | 100717 497832 1575221 | 2147483647 179365 49 | 8.502 % |
223.19/223.26 c | 180797 | 100717 497832 1575221 | 2147483647 180768 49 | 8.502 % |
224.29/224.32 c | 182337 | 100717 497832 1575221 | 2147483647 182308 49 | 8.502 % |
225.59/225.63 c | 184032 | 100717 497832 1575221 | 2147483647 184003 49 | 8.502 % |
226.49/226.61 c | 185895 | 100717 497832 1575221 | 2147483647 185866 49 | 8.502 % |
226.59/226.69 c | 185995 | 100717 497832 1575221 | 2147483647 185966 49 | 8.502 % |
226.69/226.75 c | 186106 | 100717 497832 1575221 | 2147483647 186077 49 | 8.502 % |
226.69/226.80 c | 186229 | 100717 497832 1575221 | 2147483647 186200 49 | 8.502 % |
226.79/226.90 c | 186363 | 100717 497832 1575221 | 2147483647 186334 49 | 8.502 % |
226.99/227.05 c | 186509 | 100717 497832 1575221 | 2147483647 186480 49 | 8.502 % |
227.09/227.20 c | 186669 | 100717 497832 1575221 | 2147483647 186640 49 | 8.502 % |
227.29/227.39 c | 186845 | 100717 497832 1575221 | 2147483647 186816 49 | 8.502 % |
227.49/227.60 c | 187040 | 100717 497832 1575221 | 2147483647 187011 49 | 8.502 % |
229.99/230.05 c | 187252 | 100717 497832 1575221 | 2147483647 187223 49 | 8.502 % |
230.19/230.28 c | 187487 | 100717 497832 1575221 | 2147483647 187458 49 | 8.502 % |
230.49/230.59 c | 187743 | 100717 497832 1575221 | 2147483647 187714 49 | 8.502 % |
230.89/230.96 c | 188024 | 100717 497832 1575221 | 2147483647 187995 49 | 8.502 % |
230.99/231.11 c | 188334 | 100717 497832 1575221 | 2147483647 188305 49 | 8.502 % |
231.39/231.42 c | 188673 | 100717 497832 1575221 | 2147483647 188644 49 | 8.502 % |
232.19/232.24 c | 189046 | 100717 497832 1575221 | 2147483647 189017 49 | 8.502 % |
232.49/232.61 c | 189458 | 100717 497832 1575221 | 2147483647 189429 49 | 8.502 % |
232.89/232.97 c | 189907 | 100717 497832 1575221 | 2147483647 189878 49 | 8.502 % |
233.29/233.38 c | 190400 | 100717 497832 1575221 | 2147483647 190371 49 | 8.502 % |
233.79/233.87 c | 190942 | 100717 497832 1575221 | 2147483647 190913 49 | 8.502 % |
234.29/234.36 c | 191539 | 100717 497832 1575221 | 2147483647 191510 49 | 8.502 % |
234.59/234.71 c | 192194 | 100717 497832 1575221 | 2147483647 192165 49 | 8.502 % |
235.19/235.22 c | 192916 | 100717 497832 1575221 | 2147483647 192887 49 | 8.502 % |
235.99/236.11 c | 193708 | 100717 497832 1575221 | 2147483647 193679 49 | 8.502 % |
236.69/236.76 c | 194579 | 100717 497832 1575221 | 2147483647 194550 49 | 8.502 % |
237.19/237.29 c | 195537 | 100717 497832 1575221 | 2147483647 195508 49 | 8.502 % |
237.69/237.77 c | 196591 | 100717 497832 1575221 | 2147483647 196562 49 | 8.502 % |
238.19/238.29 c | 197749 | 100717 497832 1575221 | 2147483647 197720 48 | 8.502 % |
239.09/239.19 c | 199022 | 100717 497832 1575221 | 2147483647 198993 49 | 8.502 % |
252.19/252.24 c | 200422 | 100717 497832 1575221 | 2147483647 200393 50 | 8.502 % |
253.09/253.20 c | 201962 | 100717 497832 1575221 | 2147483647 201933 51 | 8.502 % |
254.39/254.49 c | 203657 | 100717 497832 1575221 | 2147483647 203628 50 | 8.502 % |
255.39/255.43 c | 205521 | 100717 497832 1575221 | 2147483647 205492 50 | 8.502 % |
256.99/257.07 c | 207570 | 100717 497832 1575221 | 2147483647 207541 50 | 8.502 % |
257.09/257.13 c | 207671 | 100717 497832 1575221 | 2147483647 207642 50 | 8.502 % |
257.09/257.21 c | 207781 | 100717 497832 1575221 | 2147483647 207752 50 | 8.502 % |
257.19/257.28 c | 207902 | 100717 497832 1575221 | 2147483647 207873 50 | 8.502 % |
257.29/257.36 c | 208035 | 100717 497832 1575221 | 2147483647 208006 50 | 8.502 % |
257.89/257.92 c | 208181 | 100717 497832 1575221 | 2147483647 208152 50 | 8.502 % |
258.29/258.33 c | 208342 | 100717 497832 1575221 | 2147483647 208313 50 | 8.502 % |
260.19/260.24 c | 208519 | 100717 497832 1575221 | 2147483647 208490 51 | 8.502 % |
260.19/260.31 c | 208713 | 100717 497832 1575221 | 2147483647 208684 51 | 8.502 % |
260.39/260.43 c | 208925 | 100717 497832 1575221 | 2147483647 208896 50 | 8.502 % |
260.49/260.53 c | 209158 | 100717 497832 1575221 | 2147483647 209129 50 | 8.502 % |
260.69/260.74 c | 209414 | 100717 497832 1575221 | 2147483647 209385 50 | 8.502 % |
260.89/260.99 c | 209697 | 100717 497832 1575221 | 2147483647 209668 50 | 8.502 % |
261.19/261.24 c | 210007 | 100717 497832 1575221 | 2147483647 209978 50 | 8.502 % |
261.69/261.80 c | 210347 | 100717 497832 1575221 | 2147483647 210318 50 | 8.502 % |
262.19/262.28 c | 210720 | 100717 497832 1575221 | 2147483647 210691 50 | 8.502 % |
265.49/265.61 c | 211129 | 100717 497832 1575221 | 2147483647 211100 51 | 8.502 % |
266.29/266.41 c | 211581 | 100717 497832 1575221 | 2147483647 211552 51 | 8.502 % |
266.99/267.04 c | 212075 | 100717 497832 1575221 | 2147483647 212046 51 | 8.502 % |
267.30/267.33 c | 212618 | 100717 497832 1575221 | 2147483647 212589 51 | 8.502 % |
267.69/267.76 c | 213214 | 100717 497832 1575221 | 2147483647 213185 51 | 8.502 % |
268.19/268.22 c | 213869 | 100717 497832 1575221 | 2147483647 213840 51 | 8.502 % |
269.69/269.80 c | 214589 | 100717 497832 1575221 | 2147483647 214560 51 | 8.502 % |
270.79/270.85 c | 215383 | 100717 497832 1575221 | 2147483647 215354 51 | 8.502 % |
271.70/271.79 c | 216254 | 100717 497832 1575221 | 2147483647 216225 51 | 8.502 % |
272.39/272.48 c | 217212 | 100717 497832 1575221 | 2147483647 217183 51 | 8.502 % |
272.99/273.07 c | 218266 | 100717 497832 1575221 | 2147483647 218237 51 | 8.502 % |
273.29/273.40 c | 219424 | 100717 497832 1575221 | 2147483647 219395 50 | 8.502 % |
281.99/282.10 c | 220697 | 100717 497832 1575221 | 2147483647 220668 52 | 8.502 % |
284.49/284.56 c | 222097 | 100717 497832 1575221 | 2147483647 222068 52 | 8.502 % |
296.09/296.16 c | 223637 | 100717 497832 1575221 | 2147483647 223608 53 | 8.502 % |
297.59/297.66 c | 225334 | 100332 497312 1573661 | 2147483647 225260 53 | 10.167 % |
299.09/299.14 c | 227198 | 100332 497312 1573661 | 2147483647 227124 53 | 10.167 % |
300.69/300.74 c | 229247 | 100332 497312 1573661 | 2147483647 229173 53 | 10.167 % |
302.29/302.40 c | 231500 | 100332 497312 1573661 | 2147483647 231426 53 | 10.167 % |
302.39/302.50 c | 231600 | 100332 497312 1573661 | 2147483647 231526 53 | 10.167 % |
302.59/302.67 c | 231710 | 100332 497312 1573661 | 2147483647 231636 53 | 10.167 % |
302.79/302.86 c | 231832 | 100332 497312 1573661 | 2147483647 231758 53 | 10.167 % |
302.99/303.04 c | 231965 | 100332 497312 1573661 | 2147483647 231891 53 | 10.167 % |
303.09/303.15 c | 232114 | 100332 497312 1573661 | 2147483647 232040 53 | 10.167 % |
305.80/305.90 c | 232275 | 100332 497312 1573661 | 2147483647 232201 53 | 10.167 % |
305.90/306.01 c | 232452 | 100332 497312 1573661 | 2147483647 232378 53 | 10.167 % |
306.10/306.15 c | 232645 | 100332 497312 1573661 | 2147483647 232571 53 | 10.167 % |
306.40/306.44 c | 232858 | 100332 497312 1573661 | 2147483647 232784 53 | 10.167 % |
306.50/306.56 c | 233092 | 100332 497312 1573661 | 2147483647 233018 53 | 10.167 % |
306.60/306.70 c | 233351 | 100332 497312 1573661 | 2147483647 233277 53 | 10.167 % |
306.90/307.01 c | 233633 | 100332 497312 1573661 | 2147483647 233559 53 | 10.167 % |
307.30/307.32 c | 233942 | 100332 497312 1573661 | 2147483647 233868 53 | 10.167 % |
307.50/307.54 c | 234282 | 100332 497312 1573661 | 2147483647 234208 53 | 10.167 % |
307.80/307.83 c | 234654 | 100332 497312 1573661 | 2147483647 234580 53 | 10.167 % |
308.00/308.04 c | 235063 | 100332 497312 1573661 | 2147483647 234989 53 | 10.167 % |
308.20/308.30 c | 235514 | 100332 497312 1573661 | 2147483647 235440 53 | 10.167 % |
309.10/309.19 c | 236007 | 100332 497312 1573661 | 2147483647 235933 53 | 10.167 % |
309.50/309.61 c | 236549 | 100332 497312 1573661 | 2147483647 236475 53 | 10.167 % |
310.00/310.08 c | 237145 | 100332 497312 1573661 | 2147483647 237071 53 | 10.167 % |
310.50/310.59 c | 237800 | 100332 497312 1573661 | 2147483647 237726 53 | 10.167 % |
311.10/311.21 c | 238521 | 98885 489274 1549557 | 2147483647 238376 52 | 10.167 % |
313.10/313.15 c | 239313 | 98885 489274 1549557 | 2147483647 239168 53 | 10.167 % |
314.20/314.26 c | 240184 | 98885 489274 1549557 | 2147483647 240039 53 | 10.167 % |
317.60/317.67 c | 241144 | 98885 489274 1549557 | 2147483647 240999 53 | 10.167 % |
319.20/319.25 c | 242199 | 98885 489274 1549557 | 2147483647 242054 53 | 10.167 % |
320.00/320.09 c | 243357 | 98885 489274 1549557 | 2147483647 243212 53 | 10.167 % |
321.20/321.27 c | 244630 | 98885 489274 1549557 | 2147483647 244485 53 | 10.167 % |
322.70/322.75 c | 246032 | 98885 489274 1549557 | 2147483647 245887 53 | 10.167 % |
323.20/323.29 c | 247572 | 98885 489274 1549557 | 2147483647 247427 53 | 10.167 % |
325.20/325.23 c | 249267 | 98885 489274 1549557 | 2147483647 249122 53 | 10.167 % |
334.90/334.93 c | 251130 | 98885 489274 1549557 | 2147483647 250985 54 | 10.167 % |
335.80/335.91 c | 253181 | 98885 489274 1549557 | 2147483647 253036 54 | 10.167 % |
339.40/339.43 c | 255435 | 98885 489274 1549557 | 2147483647 255290 54 | 10.167 % |
340.70/340.77 c | 257913 | 98885 489274 1549557 | 2147483647 257768 54 | 10.167 % |
341.50/341.53 c | 258013 | 98885 489274 1549557 | 2147483647 257868 54 | 10.167 % |
341.80/341.87 c | 258124 | 98885 489274 1549557 | 2147483647 257979 54 | 10.167 % |
343.60/343.68 c | 258246 | 98882 489270 1549549 | 2147483647 258098 54 | 10.169 % |
345.60/345.66 c | 258379 | 98882 489270 1549549 | 2147483647 258231 54 | 10.169 % |
348.20/348.26 c | 258526 | 98882 489270 1549549 | 2147483647 258378 54 | 10.169 % |
348.40/348.48 c | 258688 | 98882 489270 1549549 | 2147483647 258540 54 | 10.169 % |
348.70/348.77 c | 258865 | 98882 489270 1549549 | 2147483647 258717 54 | 10.169 % |
348.80/348.86 c | 259058 | 98882 489270 1549549 | 2147483647 258910 54 | 10.169 % |
349.00/349.06 c | 259272 | 98882 489270 1549549 | 2147483647 259124 54 | 10.169 % |
349.20/349.23 c | 259508 | 98882 489270 1549549 | 2147483647 259360 54 | 10.169 % |
349.30/349.40 c | 259764 | 98882 489270 1549549 | 2147483647 259616 54 | 10.169 % |
349.60/349.68 c | 260046 | 98882 489270 1549549 | 2147483647 259898 54 | 10.169 % |
349.80/349.83 c | 260357 | 98882 489270 1549549 | 2147483647 260209 54 | 10.169 % |
349.80/349.91 c | 260699 | 98882 489270 1549549 | 2147483647 260551 54 | 10.169 % |
350.10/350.17 c | 261073 | 98882 489270 1549549 | 2147483647 260925 54 | 10.169 % |
350.80/350.84 c | 261483 | 98882 489270 1549549 | 2147483647 261335 54 | 10.169 % |
350.90/350.99 c | 261935 | 98882 489270 1549549 | 2147483647 261787 54 | 10.169 % |
351.20/351.31 c | 262429 | 98882 489270 1549549 | 2147483647 262281 54 | 10.169 % |
351.70/351.74 c | 262972 | 98882 489270 1549549 | 2147483647 262824 54 | 10.169 % |
352.20/352.21 c | 263568 | 98882 489270 1549549 | 2147483647 263420 54 | 10.169 % |
352.60/352.62 c | 264223 | 98882 489270 1549549 | 2147483647 264075 54 | 10.169 % |
359.60/359.66 c | 264943 | 98882 489270 1549549 | 2147483647 264795 54 | 10.169 % |
360.10/360.12 c | 265735 | 98882 489270 1549549 | 2147483647 265587 54 | 10.169 % |
361.00/361.03 c | 266606 | 98882 489262 1549533 | 2147483647 266458 54 | 10.169 % |
361.91/361.96 c | 267564 | 98882 489262 1549533 | 2147483647 267416 54 | 10.169 % |
362.40/362.43 c | 268617 | 98882 489262 1549533 | 2147483647 268469 54 | 10.169 % |
362.90/362.98 c | 269776 | 98882 489262 1549533 | 2147483647 269628 54 | 10.169 % |
363.40/363.46 c | 271050 | 98882 489262 1549533 | 2147483647 270902 54 | 10.169 % |
365.21/365.30 c | 272451 | 98882 489262 1549533 | 2147483647 272303 54 | 10.169 % |
366.31/366.35 c | 273993 | 98882 489262 1549533 | 2147483647 273845 54 | 10.169 % |
369.20/369.22 c | 275687 | 98882 489262 1549533 | 2147483647 275539 54 | 10.169 % |
387.70/387.80 c | 277550 | 98882 489262 1549533 | 2147483647 277402 56 | 10.169 % |
395.10/395.17 c | 279600 | 98882 489262 1549533 | 2147483647 279452 56 | 10.169 % |
398.00/398.03 c | 281853 | 98882 489262 1549533 | 2147483647 281705 56 | 10.169 % |
399.20/399.26 c | 284331 | 98882 489262 1549533 | 2147483647 284183 56 | 10.169 % |
400.90/400.92 c | 287056 | 98882 489262 1549533 | 2147483647 286908 56 | 10.169 % |
400.90/400.99 c | 287156 | 98882 489262 1549533 | 2147483647 287008 56 | 10.169 % |
401.00/401.04 c | 287266 | 98882 489262 1549533 | 2147483647 287118 56 | 10.169 % |
401.10/401.19 c | 287388 | 98882 489262 1549533 | 2147483647 287240 56 | 10.169 % |
401.31/401.35 c | 287521 | 98882 489262 1549533 | 2147483647 287373 56 | 10.169 % |
401.51/401.61 c | 287668 | 98882 489262 1549533 | 2147483647 287520 55 | 10.169 % |
402.01/402.06 c | 287829 | 98882 489262 1549533 | 2147483647 287681 55 | 10.169 % |
402.11/402.13 c | 288008 | 98882 489262 1549533 | 2147483647 287860 55 | 10.169 % |
402.51/402.62 c | 288201 | 98882 489262 1549533 | 2147483647 288053 55 | 10.169 % |
402.71/402.80 c | 288414 | 98882 489262 1549533 | 2147483647 288266 55 | 10.169 % |
403.01/403.04 c | 288648 | 98882 489262 1549533 | 2147483647 288500 55 | 10.169 % |
403.31/403.35 c | 288905 | 98882 489262 1549533 | 2147483647 288757 55 | 10.169 % |
403.61/403.62 c | 289186 | 98882 489262 1549533 | 2147483647 289038 55 | 10.169 % |
403.91/403.97 c | 289495 | 98882 489262 1549533 | 2147483647 289347 55 | 10.169 % |
406.91/406.93 c | 289835 | 98882 489262 1549533 | 2147483647 289687 55 | 10.169 % |
409.81/409.89 c | 290207 | 98882 489262 1549533 | 2147483647 290059 56 | 10.169 % |
410.71/410.79 c | 290616 | 98882 489262 1549533 | 2147483647 290468 56 | 10.169 % |
411.41/411.51 c | 291065 | 98882 489262 1549533 | 2147483647 290917 56 | 10.169 % |
411.81/411.84 c | 291559 | 98882 489262 1549533 | 2147483647 291411 55 | 10.169 % |
413.31/413.42 c | 292101 | 98882 489262 1549533 | 2147483647 291953 56 | 10.169 % |
414.21/414.29 c | 292697 | 98882 489262 1549533 | 2147483647 292549 56 | 10.169 % |
414.71/414.75 c | 293353 | 98882 489262 1549533 | 2147483647 293205 56 | 10.169 % |
415.41/415.51 c | 294075 | 98882 489262 1549533 | 2147483647 293927 56 | 10.169 % |
415.91/415.95 c | 294867 | 98882 489262 1549533 | 2147483647 294719 56 | 10.169 % |
417.41/417.44 c | 295738 | 98882 489262 1549533 | 2147483647 295590 55 | 10.169 % |
417.81/417.83 c | 296699 | 98882 489262 1549533 | 2147483647 296551 55 | 10.169 % |
420.21/420.26 c | 297752 | 98882 489262 1549533 | 2147483647 297604 55 | 10.169 % |
432.71/432.80 c | 298910 | 98882 489262 1549533 | 2147483647 298762 56 | 10.169 % |
434.01/434.03 c | 300183 | 98882 489262 1549533 | 2147483647 300035 56 | 10.169 % |
444.81/444.87 c | 301583 | 98882 489262 1549533 | 2147483647 301435 58 | 10.169 % |
446.91/447.00 c | 303123 | 98882 489262 1549533 | 2147483647 302975 58 | 10.169 % |
447.81/447.85 c | 304818 | 98882 489262 1549533 | 2147483647 304670 57 | 10.169 % |
465.71/465.76 c | 306681 | 98882 489262 1549533 | 2147483647 306533 59 | 10.169 % |
466.61/466.68 c | 308730 | 98882 489262 1549533 | 2147483647 308582 59 | 10.169 % |
470.41/470.44 c | 310983 | 98882 489262 1549533 | 2147483647 310835 59 | 10.169 % |
476.81/476.88 c | 313461 | 98882 489262 1549533 | 2147483647 313313 60 | 10.169 % |
478.11/478.15 c | 316186 | 98882 489262 1549533 | 2147483647 316038 60 | 10.169 % |
483.41/483.51 c | 319183 | 98882 489262 1549533 | 2147483647 319035 60 | 10.169 % |
483.61/483.61 c | 319285 | 98882 489262 1549533 | 2147483647 319137 60 | 10.169 % |
483.61/483.64 c | 319396 | 98882 489262 1549533 | 2147483647 319248 60 | 10.169 % |
483.91/483.99 c | 319518 | 98882 489262 1549533 | 2147483647 319370 60 | 10.169 % |
484.02/484.08 c | 319653 | 98882 489262 1549533 | 2147483647 319505 60 | 10.169 % |
484.11/484.18 c | 319799 | 98882 489262 1549533 | 2147483647 319651 59 | 10.169 % |
484.41/484.51 c | 319959 | 98882 489262 1549533 | 2147483647 319811 59 | 10.169 % |
484.61/484.67 c | 320135 | 98882 489262 1549533 | 2147483647 319987 59 | 10.169 % |
484.71/484.79 c | 320329 | 98882 489262 1549533 | 2147483647 320181 59 | 10.169 % |
485.12/485.15 c | 320542 | 98882 489262 1549533 | 2147483647 320394 59 | 10.169 % |
485.91/485.96 c | 320776 | 98882 489262 1549533 | 2147483647 320628 59 | 10.169 % |
486.11/486.13 c | 321032 | 98882 489262 1549533 | 2147483647 320884 59 | 10.169 % |
488.42/488.46 c | 321314 | 98882 489262 1549533 | 2147483647 321166 60 | 10.169 % |
489.01/489.04 c | 321624 | 98882 489262 1549533 | 2147483647 321476 60 | 10.169 % |
489.21/489.26 c | 321963 | 98882 489262 1549533 | 2147483647 321815 60 | 10.169 % |
489.41/489.51 c | 322337 | 98882 489262 1549533 | 2147483647 322189 60 | 10.169 % |
489.91/489.94 c | 322746 | 98882 489262 1549533 | 2147483647 322598 60 | 10.169 % |
490.31/490.38 c | 323195 | 98882 489262 1549533 | 2147483647 323047 60 | 10.169 % |
491.72/491.75 c | 323688 | 98882 489262 1549533 | 2147483647 323540 60 | 10.169 % |
491.91/492.00 c | 324230 | 98882 489262 1549533 | 2147483647 324082 59 | 10.169 % |
492.21/492.26 c | 324826 | 98882 489262 1549533 | 2147483647 324678 59 | 10.169 % |
493.41/493.43 c | 325483 | 98807 489225 1549422 | 2147483647 325324 59 | 10.257 % |
493.92/493.96 c | 326206 | 98807 489225 1549422 | 2147483647 326047 59 | 10.257 % |
494.31/494.36 c | 326998 | 98807 489225 1549422 | 2147483647 326839 59 | 10.257 % |
499.42/499.46 c | 327869 | 98807 489225 1549422 | 2147483647 327710 60 | 10.257 % |
500.42/500.47 c | 328828 | 98807 489225 1549422 | 2147483647 328669 60 | 10.257 % |
502.22/502.23 c | 329882 | 98807 489225 1549422 | 2147483647 329723 60 | 10.257 % |
503.42/503.47 c | 331041 | 98807 489225 1549422 | 2147483647 330882 60 | 10.257 % |
504.12/504.19 c | 332315 | 98807 489225 1549422 | 2147483647 332156 60 | 10.257 % |
519.61/519.71 c | 333717 | 98807 489225 1549422 | 2147483647 333558 61 | 10.258 % |
521.31/521.33 c | 335261 | 98785 488807 1548168 | 2147483647 335084 61 | 10.257 % |
522.31/522.37 c | 336955 | 98785 488807 1548168 | 2147483647 336778 61 | 10.257 % |
523.71/523.79 c | 338819 | 98785 488807 1548168 | 2147483647 338642 61 | 10.257 % |
525.41/525.41 c | 340869 | 98785 488807 1548168 | 2147483647 340692 61 | 10.257 % |
526.61/526.69 c | 343123 | 98785 488807 1548168 | 2147483647 342946 61 | 10.257 % |
528.61/528.68 c | 345601 | 98785 488807 1548168 | 2147483647 345424 61 | 10.257 % |
538.31/538.34 c | 348327 | 98785 488807 1548168 | 2147483647 348150 62 | 10.257 % |
541.61/541.68 c | 351324 | 98785 488807 1548168 | 2147483647 351147 62 | 10.257 % |
546.21/546.25 c | 354620 | 98785 488807 1548168 | 2147483647 354443 61 | 10.257 % |
546.31/546.31 c | 354720 | 98785 488807 1548168 | 2147483647 354543 61 | 10.257 % |
546.41/546.42 c | 354832 | 98785 488807 1548168 | 2147483647 354655 61 | 10.257 % |
546.51/546.56 c | 354953 | 98785 488807 1548168 | 2147483647 354776 61 | 10.257 % |
547.81/547.82 c | 355086 | 98785 488807 1548168 | 2147483647 354909 61 | 10.257 % |
547.91/547.92 c | 355233 | 98785 488807 1548168 | 2147483647 355056 61 | 10.257 % |
547.91/548.00 c | 355393 | 98785 488807 1548168 | 2147483647 355216 61 | 10.257 % |
548.41/548.44 c | 355569 | 98785 488807 1548168 | 2147483647 355392 61 | 10.257 % |
548.61/548.68 c | 355763 | 98785 488807 1548168 | 2147483647 355586 61 | 10.257 % |
549.41/549.41 c | 355975 | 98785 488807 1548168 | 2147483647 355798 61 | 10.257 % |
549.61/549.62 c | 356210 | 98785 488807 1548168 | 2147483647 356033 61 | 10.257 % |
549.81/549.85 c | 356467 | 98785 488807 1548168 | 2147483647 356290 61 | 10.257 % |
550.11/550.12 c | 356749 | 98785 488807 1548168 | 2147483647 356572 61 | 10.257 % |
553.41/553.48 c | 357059 | 98785 488807 1548168 | 2147483647 356882 62 | 10.257 % |
554.31/554.32 c | 357398 | 98785 488807 1548168 | 2147483647 357221 62 | 10.257 % |
554.81/554.87 c | 357770 | 98785 488807 1548168 | 2147483647 357593 62 | 10.257 % |
555.21/555.21 c | 358179 | 98785 488807 1548168 | 2147483647 358002 62 | 10.257 % |
555.91/555.92 c | 358630 | 98785 488807 1548168 | 2147483647 358453 62 | 10.257 % |
556.41/556.46 c | 359124 | 98785 488807 1548168 | 2147483647 358947 62 | 10.257 % |
557.81/557.81 c | 359666 | 98785 488807 1548168 | 2147483647 359489 62 | 10.257 % |
558.21/558.26 c | 360264 | 98785 488807 1548168 | 2147483647 360087 62 | 10.257 % |
558.71/558.73 c | 360920 | 98785 488807 1548168 | 2147483647 360743 62 | 10.257 % |
559.01/559.07 c | 361641 | 98785 488807 1548168 | 2147483647 361464 61 | 10.257 % |
559.51/559.53 c | 362435 | 98785 488807 1548168 | 2147483647 362258 61 | 10.257 % |
560.01/560.10 c | 363307 | 98785 488807 1548168 | 2147483647 363130 61 | 10.257 % |
560.71/560.77 c | 364265 | 98785 488807 1548168 | 2147483647 364088 61 | 10.257 % |
561.11/561.17 c | 365318 | 98785 488807 1548168 | 2147483647 365141 61 | 10.257 % |
562.61/562.68 c | 366476 | 98785 488807 1548168 | 2147483647 366299 61 | 10.257 % |
564.11/564.17 c | 367749 | 98785 488807 1548168 | 2147483647 367572 61 | 10.257 % |
565.11/565.12 c | 369150 | 98785 488807 1548168 | 2147483647 368973 61 | 10.257 % |
566.21/566.30 c | 370690 | 98785 488807 1548168 | 2147483647 370513 61 | 10.257 % |
586.21/586.21 c | 372384 | 98785 488807 1548168 | 2147483647 372207 62 | 10.257 % |
589.21/589.29 c | 374249 | 98785 488807 1548168 | 2147483647 374072 62 | 10.257 % |
590.91/590.98 c | 376298 | 98785 488807 1548168 | 2147483647 376121 62 | 10.257 % |
593.71/593.77 c | 378552 | 98785 488807 1548168 | 2147483647 378375 62 | 10.257 % |
594.91/594.98 c | 381031 | 98785 488807 1548168 | 2147483647 380854 62 | 10.257 % |
619.52/619.60 c | 383758 | 98785 488807 1548168 | 2147483647 383581 64 | 10.257 % |
622.32/622.40 c | 386757 | 98785 488807 1548168 | 2147483647 386580 64 | 10.257 % |
626.22/626.27 c | 390055 | 98785 488807 1548168 | 2147483647 389878 64 | 10.257 % |
630.12/630.15 c | 393680 | 98785 488807 1548168 | 2147483647 393503 63 | 10.257 % |
630.42/630.50 c | 393781 | 98785 488807 1548168 | 2147483647 393604 63 | 10.257 % |
630.72/630.77 c | 393891 | 98785 488807 1548168 | 2147483647 393714 63 | 10.257 % |
630.82/630.86 c | 394012 | 98785 488807 1548168 | 2147483647 393835 63 | 10.257 % |
630.92/631.00 c | 394147 | 98785 488807 1548168 | 2147483647 393970 63 | 10.257 % |
631.12/631.20 c | 394293 | 98785 488807 1548168 | 2147483647 394116 63 | 10.257 % |
631.42/631.46 c | 394455 | 98785 488807 1548168 | 2147483647 394278 63 | 10.257 % |
632.22/632.23 c | 394632 | 98785 488807 1548168 | 2147483647 394455 63 | 10.257 % |
632.72/632.78 c | 394826 | 98785 488807 1548168 | 2147483647 394649 63 | 10.257 % |
633.72/633.79 c | 395038 | 98783 488800 1548146 | 2147483647 394858 63 | 10.259 % |
634.42/634.47 c | 395273 | 98783 488800 1548146 | 2147483647 395093 63 | 10.259 % |
634.72/634.72 c | 395529 | 98783 488800 1548146 | 2147483647 395349 63 | 10.259 % |
634.92/635.00 c | 395810 | 98783 488800 1548146 | 2147483647 395630 63 | 10.259 % |
635.42/635.44 c | 396119 | 98783 488800 1548146 | 2147483647 395939 63 | 10.259 % |
636.12/636.11 c | 396460 | 98783 488800 1548146 | 2147483647 396280 63 | 10.259 % |
637.12/637.20 c | 396832 | 98783 488800 1548146 | 2147483647 396652 63 | 10.259 % |
642.42/642.47 c | 397241 | 98783 488800 1548146 | 2147483647 397061 64 | 10.259 % |
643.12/643.12 c | 397690 | 98783 488800 1548146 | 2147483647 397510 64 | 10.259 % |
649.02/649.03 c | 398184 | 98783 488800 1548146 | 2147483647 398004 64 | 10.259 % |
649.62/649.67 c | 398726 | 98783 488800 1548146 | 2147483647 398546 64 | 10.259 % |
651.52/651.57 c | 399322 | 98783 488800 1548146 | 2147483647 399142 64 | 10.259 % |
652.22/652.22 c | 399979 | 98783 488800 1548146 | 2147483647 399799 64 | 10.259 % |
652.52/652.51 c | 400699 | 98783 488800 1548146 | 2147483647 400519 64 | 10.259 % |
653.22/653.31 c | 401491 | 98783 488800 1548146 | 2147483647 401311 64 | 10.259 % |
654.72/654.78 c | 402364 | 98783 488800 1548146 | 2147483647 402184 64 | 10.259 % |
655.72/655.81 c | 403322 | 98783 488800 1548146 | 2147483647 403142 64 | 10.259 % |
657.02/657.06 c | 404376 | 98783 488800 1548146 | 2147483647 404196 64 | 10.259 % |
658.32/658.33 c | 405536 | 98783 488800 1548146 | 2147483647 405356 64 | 10.259 % |
659.82/659.81 c | 406810 | 98783 488800 1548146 | 2147483647 406630 64 | 10.259 % |
662.92/662.91 c | 408210 | 98783 488800 1548146 | 2147483647 408030 64 | 10.259 % |
664.32/664.40 c | 409751 | 98783 488800 1548146 | 2147483647 409571 64 | 10.259 % |
665.53/665.52 c | 411446 | 98783 488800 1548146 | 2147483647 411266 64 | 10.259 % |
666.82/666.85 c | 413311 | 98783 488800 1548146 | 2147483647 413131 64 | 10.259 % |
669.02/669.07 c | 415360 | 98783 488800 1548146 | 2147483647 415180 63 | 10.259 % |
670.12/670.19 c | 417613 | 98783 488800 1548146 | 2147483647 417433 63 | 10.259 % |
671.42/671.49 c | 420091 | 98783 488800 1548146 | 2147483647 419911 63 | 10.259 % |
673.62/673.62 c | 422817 | 98783 488800 1548146 | 2147483647 422637 63 | 10.259 % |
700.63/700.64 c | 425814 | 98783 488800 1548146 | 2147483647 425634 65 | 10.259 % |
702.83/702.89 c | 429110 | 98783 488800 1548146 | 2147483647 428930 65 | 10.259 % |
708.03/708.05 c | 432735 | 98783 488800 1548146 | 2147483647 432555 65 | 10.259 % |
746.33/746.40 c | 436723 | 98783 488800 1548146 | 2147483647 436543 67 | 10.259 % |
746.43/746.48 c | 436823 | 98783 488800 1548146 | 2147483647 436643 67 | 10.259 % |
746.63/746.66 c | 436937 | 98783 488800 1548146 | 2147483647 436757 67 | 10.259 % |
746.73/746.78 c | 437059 | 98783 488800 1548146 | 2147483647 436879 67 | 10.259 % |
746.93/746.92 c | 437193 | 98783 488800 1548146 | 2147483647 437013 67 | 10.259 % |
748.63/748.61 c | 437339 | 98783 488800 1548146 | 2147483647 437159 67 | 10.259 % |
748.63/748.64 c | 437499 | 98783 488800 1548146 | 2147483647 437319 67 | 10.259 % |
748.73/748.78 c | 437675 | 98783 488800 1548146 | 2147483647 437495 67 | 10.259 % |
749.73/749.73 c | 437869 | 98783 488800 1548146 | 2147483647 437689 67 | 10.259 % |
749.93/750.00 c | 438081 | 98783 488800 1548146 | 2147483647 437901 67 | 10.259 % |
750.23/750.24 c | 438314 | 98783 488800 1548146 | 2147483647 438134 67 | 10.259 % |
750.83/750.89 c | 438571 | 98783 488800 1548146 | 2147483647 438391 67 | 10.259 % |
751.13/751.18 c | 438855 | 98783 488800 1548146 | 2147483647 438675 67 | 10.259 % |
751.63/751.64 c | 439164 | 98783 488800 1548146 | 2147483647 438984 67 | 10.259 % |
752.03/752.05 c | 439505 | 98783 488800 1548146 | 2147483647 439325 67 | 10.259 % |
756.63/756.62 c | 439879 | 98783 488800 1548146 | 2147483647 439699 68 | 10.259 % |
757.23/757.23 c | 440290 | 98783 488800 1548146 | 2147483647 440110 68 | 10.259 % |
758.03/758.09 c | 440741 | 98783 488800 1548146 | 2147483647 440561 68 | 10.259 % |
758.63/758.67 c | 441235 | 98783 488800 1548146 | 2147483647 441055 68 | 10.259 % |
759.04/759.09 c | 441779 | 98783 488800 1548146 | 2147483647 441599 68 | 10.259 % |
759.63/759.70 c | 442375 | 98783 488800 1548146 | 2147483647 442195 67 | 10.259 % |
760.14/760.13 c | 443030 | 98783 488800 1548146 | 2147483647 442850 67 | 10.259 % |
760.83/760.90 c | 443751 | 98783 488800 1548146 | 2147483647 443571 67 | 10.259 % |
761.93/761.97 c | 444543 | 98783 488800 1548146 | 2147483647 444363 67 | 10.259 % |
762.73/762.71 c | 445414 | 98783 488800 1548146 | 2147483647 445234 67 | 10.259 % |
763.33/763.41 c | 446374 | 98783 488800 1548146 | 2147483647 446194 67 | 10.259 % |
764.54/764.56 c | 447427 | 98783 488800 1548146 | 2147483647 447247 67 | 10.259 % |
765.13/765.19 c | 448585 | 98783 488800 1548146 | 2147483647 448405 67 | 10.259 % |
766.03/766.02 c | 449858 | 98783 488800 1548146 | 2147483647 449678 67 | 10.259 % |
767.93/767.91 c | 451258 | 98783 488800 1548146 | 2147483647 451078 67 | 10.259 % |
768.94/769.01 c | 452798 | 98783 488800 1548146 | 2147483647 452618 67 | 10.259 % |
771.33/771.37 c | 454493 | 98783 488800 1548146 | 2147483647 454313 67 | 10.259 % |
776.53/776.55 c | 456357 | 98783 488800 1548146 | 2147483647 456177 67 | 10.259 % |
778.33/778.39 c | 458406 | 98783 488800 1548146 | 2147483647 458226 67 | 10.259 % |
781.13/781.11 c | 460660 | 98783 488800 1548146 | 2147483647 460480 67 | 10.259 % |
785.73/785.80 c | 463138 | 98783 488800 1548146 | 2147483647 462958 67 | 10.259 % |
788.23/788.22 c | 465863 | 98783 488800 1548146 | 2147483647 465683 67 | 10.259 % |
802.04/802.10 c | 468863 | 98783 488800 1548146 | 2147483647 468683 68 | 10.259 % |
806.74/806.77 c | 472161 | 98783 488800 1548146 | 2147483647 471981 68 | 10.259 % |
828.34/828.31 c | 475786 | 98783 488800 1548146 | 2147483647 475606 69 | 10.259 % |
832.14/832.20 c | 479775 | 98783 488800 1548146 | 2147483647 479595 69 | 10.259 % |
866.74/866.74 c | 484160 | 98783 488800 1548146 | 2147483647 483980 70 | 10.259 % |
867.14/867.15 c | 484260 | 98783 488800 1548146 | 2147483647 484080 70 | 10.259 % |
867.24/867.27 c | 484371 | 98783 488800 1548146 | 2147483647 484191 70 | 10.259 % |
867.44/867.46 c | 484493 | 98783 488800 1548146 | 2147483647 484313 70 | 10.259 % |
867.64/867.61 c | 484627 | 98783 488800 1548146 | 2147483647 484447 70 | 10.259 % |
867.74/867.75 c | 484773 | 98783 488800 1548146 | 2147483647 484593 70 | 10.259 % |
868.04/868.02 c | 484934 | 98783 488800 1548146 | 2147483647 484754 70 | 10.259 % |
868.84/868.85 c | 485111 | 98783 488800 1548146 | 2147483647 484931 70 | 10.259 % |
868.94/869.00 c | 485304 | 98783 488800 1548146 | 2147483647 485124 70 | 10.259 % |
869.14/869.12 c | 485517 | 98783 488800 1548146 | 2147483647 485337 70 | 10.259 % |
869.44/869.45 c | 485750 | 98783 488800 1548146 | 2147483647 485570 70 | 10.259 % |
869.84/869.89 c | 486006 | 98783 488800 1548146 | 2147483647 485826 70 | 10.259 % |
870.24/870.29 c | 486287 | 98783 488800 1548146 | 2147483647 486107 70 | 10.259 % |
870.54/870.58 c | 486597 | 98783 488800 1548146 | 2147483647 486417 70 | 10.259 % |
870.84/870.87 c | 486936 | 98783 488800 1548146 | 2147483647 486756 70 | 10.259 % |
871.34/871.39 c | 487308 | 98783 488800 1548146 | 2147483647 487128 70 | 10.259 % |
871.74/871.79 c | 487720 | 98783 488800 1548146 | 2147483647 487540 70 | 10.259 % |
872.54/872.53 c | 488169 | 98783 488800 1548146 | 2147483647 487989 70 | 10.259 % |
872.94/872.92 c | 488663 | 98783 488800 1548146 | 2147483647 488483 70 | 10.259 % |
873.94/873.91 c | 489206 | 98783 488800 1548146 | 2147483647 489026 70 | 10.259 % |
877.03/877.01 c | 489802 | 98783 488800 1548146 | 2147483647 489622 70 | 10.259 % |
877.93/877.95 c | 490458 | 98783 488800 1548146 | 2147483647 490278 70 | 10.259 % |
880.93/880.90 c | 491179 | 98783 488800 1548146 | 2147483647 490999 70 | 10.259 % |
882.13/882.12 c | 491973 | 98783 488800 1548146 | 2147483647 491793 70 | 10.259 % |
883.34/883.32 c | 492844 | 98783 488800 1548146 | 2147483647 492664 70 | 10.259 % |
887.83/887.88 c | 493803 | 98783 488800 1548146 | 2147483647 493623 70 | 10.259 % |
888.43/888.42 c | 494856 | 98783 488800 1548146 | 2147483647 494676 70 | 10.259 % |
891.64/891.71 c | 496015 | 98783 488800 1548146 | 2147483647 495835 70 | 10.259 % |
892.54/892.55 c | 497288 | 98783 488800 1548146 | 2147483647 497108 70 | 10.259 % |
893.74/893.72 c | 498688 | 98783 488800 1548146 | 2147483647 498508 70 | 10.259 % |
895.64/895.63 c | 500229 | 98783 488800 1548146 | 2147483647 500049 70 | 10.259 % |
897.44/897.44 c | 501923 | 98783 488800 1548146 | 2147483647 501743 70 | 10.259 % |
899.74/899.72 c | 503786 | 98783 488800 1548146 | 2147483647 503606 70 | 10.259 % |
902.04/902.09 c | 505835 | 98783 488800 1548146 | 2147483647 505655 70 | 10.259 % |
903.54/903.60 c | 508089 | 98783 488800 1548146 | 2147483647 507909 69 | 10.259 % |
908.94/908.94 c | 510568 | 98783 488800 1548146 | 2147483647 510388 69 | 10.259 % |
912.34/912.40 c | 513293 | 98783 488800 1548146 | 2147483647 513113 69 | 10.259 % |
917.94/917.98 c | 516291 | 98783 488800 1548146 | 2147483647 516111 69 | 10.259 % |
922.04/922.09 c | 519588 | 98783 488800 1548146 | 2147483647 519408 69 | 10.259 % |
925.84/925.90 c | 523215 | 98783 488800 1548146 | 2147483647 523035 69 | 10.259 % |
931.74/931.79 c | 527203 | 98783 488800 1548146 | 2147483647 527023 69 | 10.259 % |
936.34/936.36 c | 531588 | 98783 488800 1548146 | 2147483647 531408 69 | 10.259 % |
957.64/957.68 c | 536412 | 98783 488800 1548146 | 2147483647 536232 70 | 10.259 % |
957.94/957.93 c | 536513 | 98783 488800 1548146 | 2147483647 536333 70 | 10.259 % |
958.15/958.16 c | 536623 | 98783 488800 1548146 | 2147483647 536443 70 | 10.259 % |
958.24/958.24 c | 536744 | 98783 488800 1548146 | 2147483647 536564 70 | 10.259 % |
958.24/958.30 c | 536877 | 98783 488800 1548146 | 2147483647 536697 70 | 10.259 % |
958.44/958.46 c | 537023 | 98783 488800 1548146 | 2147483647 536843 70 | 10.259 % |
959.34/959.34 c | 537183 | 98783 488800 1548146 | 2147483647 537003 70 | 10.259 % |
960.04/960.05 c | 537359 | 98783 488800 1548146 | 2147483647 537179 70 | 10.259 % |
960.35/960.40 c | 537554 | 98783 488800 1548146 | 2147483647 537374 70 | 10.259 % |
960.54/960.59 c | 537767 | 98783 488800 1548146 | 2147483647 537587 70 | 10.259 % |
960.74/960.71 c | 538000 | 98783 488800 1548146 | 2147483647 537820 70 | 10.259 % |
961.14/961.11 c | 538256 | 98783 488800 1548146 | 2147483647 538076 70 | 10.259 % |
961.45/961.42 c | 538539 | 98783 488800 1548146 | 2147483647 538359 70 | 10.259 % |
961.94/961.94 c | 538852 | 98783 488800 1548146 | 2147483647 538672 70 | 10.259 % |
962.24/962.25 c | 539192 | 98783 488800 1548146 | 2147483647 539012 70 | 10.259 % |
962.55/962.53 c | 539564 | 98783 488800 1548146 | 2147483647 539384 70 | 10.259 % |
962.94/962.94 c | 539975 | 98783 488800 1548146 | 2147483647 539795 70 | 10.259 % |
963.54/963.59 c | 540426 | 98783 488800 1548146 | 2147483647 540246 70 | 10.259 % |
967.44/967.48 c | 540922 | 98783 488800 1548146 | 2147483647 540742 70 | 10.259 % |
967.74/967.79 c | 541465 | 98783 488800 1548146 | 2147483647 541285 70 | 10.259 % |
968.24/968.27 c | 542061 | 98783 488800 1548146 | 2147483647 541881 70 | 10.259 % |
969.04/969.11 c | 542721 | 98783 488800 1548146 | 2147483647 542541 70 | 10.259 % |
970.34/970.32 c | 543443 | 98783 488800 1548146 | 2147483647 543263 70 | 10.259 % |
972.74/972.76 c | 544235 | 98783 488800 1548146 | 2147483647 544055 70 | 10.259 % |
973.84/973.80 c | 545106 | 98493 488408 1546969 | 2147483647 544879 70 | 11.338 % |
975.24/975.22 c | 546064 | 98493 488408 1546969 | 2147483647 545837 70 | 11.338 % |
976.54/976.56 c | 547117 | 98493 488408 1546969 | 2147483647 546890 70 | 11.338 % |
979.14/979.12 c | 548276 | 98493 488408 1546969 | 2147483647 548049 70 | 11.338 % |
988.35/988.34 c | 549550 | 98493 488408 1546969 | 2147483647 549323 70 | 11.338 % |
989.75/989.72 c | 550950 | 98493 488408 1546969 | 2147483647 550723 70 | 11.338 % |
990.75/990.72 c | 552490 | 98493 488408 1546969 | 2147483647 552263 70 | 11.338 % |
991.95/991.99 c | 554186 | 98493 488408 1546969 | 2147483647 553959 70 | 11.338 % |
993.25/993.26 c | 556050 | 98493 488408 1546969 | 2147483647 555823 70 | 11.338 % |
994.55/994.60 c | 558101 | 98493 488408 1546969 | 2147483647 557874 70 | 11.338 % |
997.85/997.88 c | 560355 | 98493 488408 1546969 | 2147483647 560128 70 | 11.338 % |
999.75/999.79 c | 562834 | 98493 488408 1546969 | 2147483647 562607 70 | 11.338 % |
1002.75/1002.79 c | 565559 | 98493 488408 1546969 | 2147483647 565332 70 | 11.338 % |
1009.46/1009.43 c | 568556 | 98493 488408 1546969 | 2147483647 568329 70 | 11.338 % |
1018.66/1018.65 c | 571852 | 98493 488408 1546969 | 2147483647 571625 70 | 11.338 % |
1030.16/1030.15 c | 575480 | 98493 488408 1546969 | 2147483647 575253 70 | 11.338 % |
1033.66/1033.64 c | 579468 | 98493 488408 1546969 | 2147483647 579241 70 | 11.338 % |
1036.46/1036.45 c | 583853 | 98493 488408 1546969 | 2147483647 583626 70 | 11.338 % |
1041.16/1041.21 c | 588679 | 98493 488408 1546969 | 2147483647 588452 70 | 11.338 % |
1045.56/1045.52 c | 593985 | 98493 488408 1546969 | 2147483647 593758 70 | 11.338 % |
1046.26/1046.24 c | 594085 | 97596 483227 1531439 | 2147483647 593744 70 | 11.338 % |
1046.36/1046.35 c | 594196 | 97596 483227 1531439 | 2147483647 593855 70 | 11.338 % |
1046.66/1046.71 c | 594319 | 97596 483227 1531439 | 2147483647 593978 70 | 11.338 % |
1046.76/1046.81 c | 594452 | 97596 483227 1531439 | 2147483647 594111 70 | 11.338 % |
1046.96/1046.92 c | 594598 | 97596 483227 1531439 | 2147483647 594257 70 | 11.338 % |
1047.27/1047.29 c | 594759 | 97596 483227 1531439 | 2147483647 594418 70 | 11.338 % |
1048.96/1048.96 c | 594936 | 97596 483227 1531439 | 2147483647 594595 70 | 11.338 % |
1049.16/1049.17 c | 595129 | 97596 483227 1531439 | 2147483647 594788 70 | 11.338 % |
1049.26/1049.30 c | 595341 | 97596 483227 1531439 | 2147483647 595000 70 | 11.338 % |
1049.56/1049.52 c | 595574 | 97596 483227 1531439 | 2147483647 595233 70 | 11.338 % |
1050.76/1050.78 c | 595830 | 97596 483227 1531439 | 2147483647 595489 70 | 11.338 % |
1052.46/1052.46 c | 596111 | 97596 483227 1531439 | 2147483647 595770 70 | 11.338 % |
1057.86/1057.82 c | 596421 | 97596 483227 1531439 | 2147483647 596080 70 | 11.338 % |
1058.36/1058.34 c | 596760 | 97596 483227 1531439 | 2147483647 596419 70 | 11.338 % |
1059.46/1059.51 c | 597132 | 97596 483227 1531439 | 2147483647 596791 70 | 11.338 % |
1059.66/1059.64 c | 597541 | 97596 483227 1531439 | 2147483647 597200 70 | 11.338 % |
1060.26/1060.24 c | 597990 | 97596 483227 1531439 | 2147483647 597649 70 | 11.338 % |
1061.46/1061.49 c | 598483 | 97596 483227 1531439 | 2147483647 598142 70 | 11.338 % |
1062.46/1062.41 c | 599025 | 97596 483227 1531439 | 2147483647 598684 70 | 11.338 % |
1062.86/1062.88 c | 599622 | 97596 483227 1531439 | 2147483647 599281 70 | 11.338 % |
1066.06/1066.05 c | 600277 | 97596 483227 1531439 | 2147483647 599936 70 | 11.338 % |
1067.36/1067.40 c | 600997 | 97596 483227 1531439 | 2147483647 600656 70 | 11.338 % |
1069.46/1069.45 c | 601789 | 97596 483227 1531439 | 2147483647 601448 70 | 11.338 % |
1070.26/1070.26 c | 602660 | 97596 483227 1531439 | 2147483647 602319 70 | 11.338 % |
1080.76/1080.79 c | 603619 | 97596 483227 1531439 | 2147483647 603278 70 | 11.338 % |
1083.76/1083.77 c | 604675 | 97596 483227 1531439 | 2147483647 604334 70 | 11.338 % |
1084.46/1084.47 c | 605833 | 97596 483227 1531439 | 2147483647 605492 70 | 11.338 % |
1086.17/1086.16 c | 607106 | 97596 483227 1531439 | 2147483647 606765 70 | 11.338 % |
1087.87/1087.86 c | 608506 | 97596 483227 1531439 | 2147483647 608165 70 | 11.338 % |
1089.77/1089.72 c | 610050 | 97596 483227 1531439 | 2147483647 609709 70 | 11.338 % |
1097.67/1097.64 c | 611744 | 97596 483227 1531439 | 2147483647 611403 70 | 11.338 % |
1101.57/1101.52 c | 613607 | 97596 483227 1531439 | 2147483647 613266 70 | 11.338 % |
1107.87/1107.84 c | 615657 | 97596 483227 1531439 | 2147483647 615316 71 | 11.338 % |
1110.47/1110.44 c | 617910 | 97596 483227 1531439 | 2147483647 617569 70 | 11.338 % |
1118.47/1118.48 c | 620388 | 97596 483227 1531439 | 2147483647 620047 70 | 11.338 % |
1124.77/1124.78 c | 623113 | 97596 483227 1531439 | 2147483647 622772 70 | 11.338 % |
1128.07/1128.05 c | 626110 | 97596 483227 1531439 | 2147483647 625769 70 | 11.338 % |
1166.27/1166.28 c | 629406 | 97596 483227 1531439 | 2147483647 629065 72 | 11.338 % |
1169.67/1169.67 c | 633033 | 97596 483227 1531439 | 2147483647 632692 72 | 11.338 % |
1178.47/1178.43 c | 637020 | 97596 483227 1531439 | 2147483647 636679 72 | 11.338 % |
1188.28/1188.29 c | 641406 | 97596 483227 1531439 | 2147483647 641065 72 | 11.338 % |
1195.08/1195.11 c | 646230 | 97596 483227 1531439 | 2147483647 645889 72 | 11.338 % |
1200.08/1200.05 HOME/SatELiteGTI: line 36: 8835 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820944-1242489834/watcher-1820944-1242489834 -o /tmp/evaluation-result-1820944-1242489834/solver-1820944-1242489834 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820944-1242489834.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 8829
/proc/meminfo: memFree=576500/2074464 swapFree=1949056/1959888
[pid=8829] ppid=8827 vsize=2412 CPUtime=0
/proc/8829/stat : 8829 (SatELiteGTI) S 8827 8829 14060 0 -1 4194304 367 648 0 0 0 0 0 0 25 0 1 0 1013480750 2469888 277 4294967295 134512640 135169312 3215125888 3215124424 3085725422 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8829/statm: 603 277 235 161 0 42 0
[pid=8833] ppid=8829 vsize=956 CPUtime=0
/proc/8833/stat : 8833 (SatELite_releas) R 8829 8829 14060 0 -1 4202496 128 0 0 0 0 0 0 0 25 0 1 0 1013480751 978944 64 4294967295 134512640 135223648 3219808736 3219807692 134563184 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8833/statm: 239 65 46 174 0 64 0
[startup+0.089168 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 8829
/proc/meminfo: memFree=576500/2074464 swapFree=1949056/1959888
[pid=8829] ppid=8827 vsize=2412 CPUtime=0
/proc/8829/stat : 8829 (SatELiteGTI) S 8827 8829 14060 0 -1 4194304 367 648 0 0 0 0 0 0 25 0 1 0 1013480750 2469888 277 4294967295 134512640 135169312 3215125888 3215124424 3085725422 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8829/statm: 603 277 235 161 0 42 0
[pid=8833] ppid=8829 vsize=15588 CPUtime=0.09
/proc/8833/stat : 8833 (SatELite_releas) R 8829 8829 14060 0 -1 4202496 3195 0 0 0 7 2 0 0 25 0 1 0 1013480751 15962112 3131 4294967295 134512640 135223648 3219808736 3219807320 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8833/statm: 3897 3132 46 174 0 3722 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18000
[startup+0.109166 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 8829
/proc/meminfo: memFree=576500/2074464 swapFree=1949056/1959888
[pid=8829] ppid=8827 vsize=2412 CPUtime=0
/proc/8829/stat : 8829 (SatELiteGTI) S 8827 8829 14060 0 -1 4194304 367 648 0 0 0 0 0 0 25 0 1 0 1013480750 2469888 277 4294967295 134512640 135169312 3215125888 3215124424 3085725422 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8829/statm: 603 277 235 161 0 42 0
[pid=8833] ppid=8829 vsize=18080 CPUtime=0.11
/proc/8833/stat : 8833 (SatELite_releas) R 8829 8829 14060 0 -1 4202496 3890 0 0 0 8 3 0 0 25 0 1 0 1013480751 18513920 3826 4294967295 134512640 135223648 3219808736 3219807688 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8833/statm: 4520 3828 46 174 0 4345 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 20492
[startup+0.309148 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 8829
/proc/meminfo: memFree=576500/2074464 swapFree=1949056/1959888
[pid=8829] ppid=8827 vsize=2412 CPUtime=0
/proc/8829/stat : 8829 (SatELiteGTI) S 8827 8829 14060 0 -1 4194304 367 648 0 0 0 0 0 0 25 0 1 0 1013480750 2469888 277 4294967295 134512640 135169312 3215125888 3215124424 3085725422 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8829/statm: 603 277 235 161 0 42 0
[pid=8833] ppid=8829 vsize=43384 CPUtime=0.31
/proc/8833/stat : 8833 (SatELite_releas) R 8829 8829 14060 0 -1 4202496 10550 0 0 0 24 7 0 0 25 0 1 0 1013480751 44425216 10487 4294967295 134512640 135223648 3219808736 3219807616 134543236 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8833/statm: 10846 10488 46 174 0 10671 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 45796
[startup+0.709113 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 8829
/proc/meminfo: memFree=576500/2074464 swapFree=1949056/1959888
[pid=8829] ppid=8827 vsize=2412 CPUtime=0
/proc/8829/stat : 8829 (SatELiteGTI) S 8827 8829 14060 0 -1 4194304 367 648 0 0 0 0 0 0 25 0 1 0 1013480750 2469888 277 4294967295 134512640 135169312 3215125888 3215124424 3085725422 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8829/statm: 603 277 235 161 0 42 0
[pid=8833] ppid=8829 vsize=115436 CPUtime=0.71
/proc/8833/stat : 8833 (SatELite_releas) R 8829 8829 14060 0 -1 4202496 23043 0 0 0 57 14 0 0 25 0 1 0 1013480751 118206464 22979 4294967295 134512640 135223648 3219808736 3219807616 134543108 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8833/statm: 28859 22980 46 174 0 28684 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 117848
[startup+1.50904 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 8834
/proc/meminfo: memFree=457824/2074464 swapFree=1949056/1959888
[pid=8829] ppid=8827 vsize=2412 CPUtime=0
/proc/8829/stat : 8829 (SatELiteGTI) S 8827 8829 14060 0 -1 4194304 367 648 0 0 0 0 0 0 25 0 1 0 1013480750 2469888 277 4294967295 134512640 135169312 3215125888 3215124424 3085725422 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8829/statm: 603 277 235 161 0 42 0
[pid=8833] ppid=8829 vsize=145836 CPUtime=1.51
/proc/8833/stat : 8833 (SatELite_releas) R 8829 8829 14060 0 -1 4202496 32567 0 0 0 135 16 0 0 25 0 1 0 1013480751 149336064 29965 4294967295 134512640 135223648 3219808736 3219806504 134737406 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8833/statm: 36459 29966 73 174 0 36284 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 148248
[startup+3.10891 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 8834
/proc/meminfo: memFree=451500/2074464 swapFree=1949056/1959888
[pid=8829] ppid=8827 vsize=2412 CPUtime=0
/proc/8829/stat : 8829 (SatELiteGTI) S 8827 8829 14060 0 -1 4194304 367 648 0 0 0 0 0 0 25 0 1 0 1013480750 2469888 277 4294967295 134512640 135169312 3215125888 3215124424 3085725422 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8829/statm: 603 277 235 161 0 42 0
[pid=8833] ppid=8829 vsize=148708 CPUtime=3.1
/proc/8833/stat : 8833 (SatELite_releas) R 8829 8829 14060 0 -1 4202496 33265 0 0 0 294 16 0 0 25 0 1 0 1013480751 152276992 30663 4294967295 134512640 135223648 3219808736 3219806736 134548993 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8833/statm: 37177 30663 73 174 0 37002 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 151120
[startup+6.30863 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 8834
/proc/meminfo: memFree=433272/2074464 swapFree=1949056/1959888
[pid=8829] ppid=8827 vsize=2412 CPUtime=0
/proc/8829/stat : 8829 (SatELiteGTI) S 8827 8829 14060 0 -1 4194304 367 648 0 0 0 0 0 0 25 0 1 0 1013480750 2469888 277 4294967295 134512640 135169312 3215125888 3215124424 3085725422 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8829/statm: 603 277 235 161 0 42 0
[pid=8833] ppid=8829 vsize=154836 CPUtime=6.29
/proc/8833/stat : 8833 (SatELite_releas) R 8829 8829 14060 0 -1 4202496 34804 0 0 0 608 21 0 0 25 0 1 0 1013480751 158552064 32202 4294967295 134512640 135223648 3219808736 3219806404 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8833/statm: 38709 32202 73 174 0 38534 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 157248
[startup+12.7181 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 8834
/proc/meminfo: memFree=388820/2074464 swapFree=1949056/1959888
[pid=8829] ppid=8827 vsize=2416 CPUtime=12.34
/proc/8829/stat : 8829 (SatELiteGTI) S 8827 8829 14060 0 -1 4194304 387 43872 0 0 0 0 1200 34 20 0 1 0 1013480750 2473984 278 4294967295 134512640 135169312 3215125888 3215122104 3085725422 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8829/statm: 604 278 235 161 0 43 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 2416
[startup+25.517 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 8835
/proc/meminfo: memFree=491680/2074464 swapFree=1949056/1959888
[pid=8829] ppid=8827 vsize=2416 CPUtime=12.34
/proc/8829/stat : 8829 (SatELiteGTI) S 8827 8829 14060 0 -1 4194304 387 43872 0 0 0 0 1200 34 20 0 1 0 1013480750 2473984 278 4294967295 134512640 135169312 3215125888 3215122104 3085725422 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8829/statm: 604 278 235 161 0 43 0
[pid=8835] ppid=8829 vsize=40912 CPUtime=13.13
/proc/8835/stat : 8835 (minisat_static) R 8829 8829 14060 0 -1 4202496 9536 0 0 0 1309 4 0 0 25 0 1 0 1013481989 41893888 9470 4294967295 134512640 135215339 3220191904 3220189968 134537869 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8835/statm: 10228 9470 73 172 0 10055 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 43328
[startup+51.1147 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 9019
/proc/meminfo: memFree=486816/2074464 swapFree=1949056/1959888
[pid=8829] ppid=8827 vsize=2416 CPUtime=12.34
/proc/8829/stat : 8829 (SatELiteGTI) S 8827 8829 14060 0 -1 4194304 387 43872 0 0 0 0 1200 34 20 0 1 0 1013480750 2473984 278 4294967295 134512640 135169312 3215125888 3215122104 3085725422 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8829/statm: 604 278 235 161 0 43 0
[pid=8835] ppid=8829 vsize=45684 CPUtime=38.73
/proc/8835/stat : 8835 (minisat_static) R 8829 8829 14060 0 -1 4202496 10694 0 0 0 3868 5 0 0 25 0 1 0 1013481989 46780416 10628 4294967295 134512640 135215339 3220191904 3220190192 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8835/statm: 11421 10628 73 172 0 11248 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 48100
[startup+102.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 9024
/proc/meminfo: memFree=477188/2074464 swapFree=1949056/1959888
[pid=8829] ppid=8827 vsize=2416 CPUtime=12.34
/proc/8829/stat : 8829 (SatELiteGTI) S 8827 8829 14060 0 -1 4194304 387 43872 0 0 0 0 1200 34 20 0 1 0 1013480750 2473984 278 4294967295 134512640 135169312 3215125888 3215122104 3085725422 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8829/statm: 604 278 235 161 0 43 0
[pid=8835] ppid=8829 vsize=55400 CPUtime=89.94
/proc/8835/stat : 8835 (minisat_static) R 8829 8829 14060 0 -1 4202496 13124 0 0 0 8986 8 0 0 25 0 1 0 1013481989 56729600 13058 4294967295 134512640 135215339 3220191904 3220190192 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8835/statm: 13850 13058 73 172 0 13677 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 57816
[startup+162.305 s]
/proc/loadavg: 1.15 1.03 1.01 3/95 9213
/proc/meminfo: memFree=466616/2074464 swapFree=1949056/1959888
[pid=8829] ppid=8827 vsize=2416 CPUtime=12.34
/proc/8829/stat : 8829 (SatELiteGTI) S 8827 8829 14060 0 -1 4194304 387 43872 0 0 0 0 1200 34 20 0 1 0 1013480750 2473984 278 4294967295 134512640 135169312 3215125888 3215122104 3085725422 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8829/statm: 604 278 235 161 0 43 0
[pid=8835] ppid=8829 vsize=66168 CPUtime=149.93
/proc/8835/stat : 8835 (minisat_static) R 8829 8829 14060 0 -1 4202496 15788 0 0 0 14984 9 0 0 25 0 1 0 1013481989 67756032 15722 4294967295 134512640 135215339 3220191904 3220189904 134532778 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8835/statm: 16542 15722 73 172 0 16369 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 68584
[startup+222.32 s]
/proc/loadavg: 1.05 1.02 1.00 3/95 9401
/proc/meminfo: memFree=452000/2074464 swapFree=1949056/1959888
[pid=8829] ppid=8827 vsize=2416 CPUtime=12.34
/proc/8829/stat : 8829 (SatELiteGTI) S 8827 8829 14060 0 -1 4194304 387 43872 0 0 0 0 1200 34 20 0 1 0 1013480750 2473984 278 4294967295 134512640 135169312 3215125888 3215122104 3085725422 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8829/statm: 604 278 235 161 0 43 0
[pid=8835] ppid=8829 vsize=80740 CPUtime=209.95
/proc/8835/stat : 8835 (minisat_static) R 8829 8829 14060 0 -1 4202496 19430 0 0 0 20980 15 0 0 25 0 1 0 1013481989 82677760 19364 4294967295 134512640 135215339 3220191904 3220190192 134528849 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8835/statm: 20185 19364 73 172 0 20012 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 83156
[startup+282.315 s]
/proc/loadavg: 1.02 1.02 1.00 3/95 9587
/proc/meminfo: memFree=439732/2074464 swapFree=1949056/1959888
[pid=8829] ppid=8827 vsize=2416 CPUtime=12.34
/proc/8829/stat : 8829 (SatELiteGTI) S 8827 8829 14060 0 -1 4194304 387 43872 0 0 0 0 1200 34 20 0 1 0 1013480750 2473984 278 4294967295 134512640 135169312 3215125888 3215122104 3085725422 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8829/statm: 604 278 235 161 0 43 0
[pid=8835] ppid=8829 vsize=92912 CPUtime=269.95
/proc/8835/stat : 8835 (minisat_static) R 8829 8829 14060 0 -1 4202496 22415 0 0 0 26976 19 0 0 25 0 1 0 1013481989 95141888 22349 4294967295 134512640 135215339 3220191904 3220190192 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8835/statm: 23228 22349 73 172 0 23055 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 95328
[startup+342.319 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 9774
/proc/meminfo: memFree=428704/2074464 swapFree=1949056/1959888
[pid=8829] ppid=8827 vsize=2416 CPUtime=12.34
/proc/8829/stat : 8829 (SatELiteGTI) S 8827 8829 14060 0 -1 4194304 387 43872 0 0 0 0 1200 34 20 0 1 0 1013480750 2473984 278 4294967295 134512640 135169312 3215125888 3215122104 3085725422 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8829/statm: 604 278 235 161 0 43 0
[pid=8835] ppid=8829 vsize=103904 CPUtime=329.96
/proc/8835/stat : 8835 (minisat_static) R 8829 8829 14060 0 -1 4202496 25205 0 0 0 32975 21 0 0 25 0 1 0 1013481989 106397696 25139 4294967295 134512640 135215339 3220191904 3220190192 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8835/statm: 25976 25139 73 172 0 25803 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 106320
[startup+402.324 s]
################
# More data... #
################
[pid=8835] ppid=8829 vsize=121892 CPUtime=449.97
/proc/8835/stat : 8835 (minisat_static) R 8829 8829 14060 0 -1 4202496 29744 0 0 0 44971 26 0 0 25 0 1 0 1013481989 124817408 29678 4294967295 134512640 135215339 3220191904 3220190192 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8835/statm: 30473 29678 73 172 0 30300 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 124308
[startup+522.314 s]
/proc/loadavg: 1.02 1.01 1.00 3/95 10344
/proc/meminfo: memFree=399680/2074464 swapFree=1949056/1959888
[pid=8829] ppid=8827 vsize=2416 CPUtime=12.34
/proc/8829/stat : 8829 (SatELiteGTI) S 8827 8829 14060 0 -1 4194304 387 43872 0 0 0 0 1200 34 20 0 1 0 1013480750 2473984 278 4294967295 134512640 135169312 3215125888 3215122104 3085725422 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8829/statm: 604 278 235 161 0 43 0
[pid=8835] ppid=8829 vsize=133724 CPUtime=509.97
/proc/8835/stat : 8835 (minisat_static) R 8829 8829 14060 0 -1 4202496 32594 0 0 0 50971 26 0 0 25 0 1 0 1013481989 136933376 32528 4294967295 134512640 135215339 3220191904 3220190192 134528779 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8835/statm: 33431 32528 73 172 0 33258 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 136140
[startup+582.309 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 10532
/proc/meminfo: memFree=388032/2074464 swapFree=1949056/1959888
[pid=8829] ppid=8827 vsize=2416 CPUtime=12.34
/proc/8829/stat : 8829 (SatELiteGTI) S 8827 8829 14060 0 -1 4194304 387 43872 0 0 0 0 1200 34 20 0 1 0 1013480750 2473984 278 4294967295 134512640 135169312 3215125888 3215122104 3085725422 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8829/statm: 604 278 235 161 0 43 0
[pid=8835] ppid=8829 vsize=144956 CPUtime=569.97
/proc/8835/stat : 8835 (minisat_static) R 8829 8829 14060 0 -1 4202496 35454 0 0 0 56971 26 0 0 25 0 1 0 1013481989 148434944 35388 4294967295 134512640 135215339 3220191904 3220189904 134532900 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8835/statm: 36239 35388 73 172 0 36066 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 147372
[startup+642.313 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 10719
/proc/meminfo: memFree=378236/2074464 swapFree=1949056/1959888
[pid=8829] ppid=8827 vsize=2416 CPUtime=12.34
/proc/8829/stat : 8829 (SatELiteGTI) S 8827 8829 14060 0 -1 4194304 387 43872 0 0 0 0 1200 34 20 0 1 0 1013480750 2473984 278 4294967295 134512640 135169312 3215125888 3215122104 3085725422 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8829/statm: 604 278 235 161 0 43 0
[pid=8835] ppid=8829 vsize=154600 CPUtime=629.98
/proc/8835/stat : 8835 (minisat_static) R 8829 8829 14060 0 -1 4202496 37888 0 0 0 62968 30 0 0 25 0 1 0 1013481989 158310400 37822 4294967295 134512640 135215339 3220191904 3220190120 134721382 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8835/statm: 38650 37822 73 172 0 38477 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 157016
[startup+702.318 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 10908
/proc/meminfo: memFree=366952/2074464 swapFree=1949056/1959888
[pid=8829] ppid=8827 vsize=2416 CPUtime=12.34
/proc/8829/stat : 8829 (SatELiteGTI) S 8827 8829 14060 0 -1 4194304 387 43872 0 0 0 0 1200 34 20 0 1 0 1013480750 2473984 278 4294967295 134512640 135169312 3215125888 3215122104 3085725422 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8829/statm: 604 278 235 161 0 43 0
[pid=8835] ppid=8829 vsize=165436 CPUtime=689.99
/proc/8835/stat : 8835 (minisat_static) R 8829 8829 14060 0 -1 4202496 40605 0 0 0 68966 33 0 0 25 0 1 0 1013481989 169406464 40539 4294967295 134512640 135215339 3220191904 3220190176 134525090 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8835/statm: 41359 40539 73 172 0 41186 0
Current children cumulated CPU time (s) 702.33
Current children cumulated vsize (KiB) 167852
[startup+762.323 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 11101
/proc/meminfo: memFree=357280/2074464 swapFree=1949056/1959888
[pid=8829] ppid=8827 vsize=2416 CPUtime=12.34
/proc/8829/stat : 8829 (SatELiteGTI) S 8827 8829 14060 0 -1 4194304 387 43872 0 0 0 0 1200 34 20 0 1 0 1013480750 2473984 278 4294967295 134512640 135169312 3215125888 3215122104 3085725422 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8829/statm: 604 278 235 161 0 43 0
[pid=8835] ppid=8829 vsize=174568 CPUtime=750
/proc/8835/stat : 8835 (minisat_static) R 8829 8829 14060 0 -1 4202496 42924 0 0 0 74965 35 0 0 25 0 1 0 1013481989 178757632 42858 4294967295 134512640 135215339 3220191904 3220190192 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8835/statm: 43642 42858 73 172 0 43469 0
Current children cumulated CPU time (s) 762.34
Current children cumulated vsize (KiB) 176984
[startup+822.318 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 11290
/proc/meminfo: memFree=346228/2074464 swapFree=1949056/1959888
[pid=8829] ppid=8827 vsize=2416 CPUtime=12.34
/proc/8829/stat : 8829 (SatELiteGTI) S 8827 8829 14060 0 -1 4194304 387 43872 0 0 0 0 1200 34 20 0 1 0 1013480750 2473984 278 4294967295 134512640 135169312 3215125888 3215122104 3085725422 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8829/statm: 604 278 235 161 0 43 0
[pid=8835] ppid=8829 vsize=186472 CPUtime=810
/proc/8835/stat : 8835 (minisat_static) R 8829 8829 14060 0 -1 4202496 45701 0 0 0 80964 36 0 0 25 0 1 0 1013481989 190947328 45635 4294967295 134512640 135215339 3220191904 3220189904 134532915 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8835/statm: 46618 45635 73 172 0 46445 0
Current children cumulated CPU time (s) 822.34
Current children cumulated vsize (KiB) 188888
[startup+882.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 11478
/proc/meminfo: memFree=337548/2074464 swapFree=1949056/1959888
[pid=8829] ppid=8827 vsize=2416 CPUtime=12.34
/proc/8829/stat : 8829 (SatELiteGTI) S 8827 8829 14060 0 -1 4194304 387 43872 0 0 0 0 1200 34 20 0 1 0 1013480750 2473984 278 4294967295 134512640 135169312 3215125888 3215122104 3085725422 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8829/statm: 604 278 235 161 0 43 0
[pid=8835] ppid=8829 vsize=195192 CPUtime=869.99
/proc/8835/stat : 8835 (minisat_static) R 8829 8829 14060 0 -1 4202496 47887 0 0 0 86963 36 0 0 25 0 1 0 1013481989 199876608 47821 4294967295 134512640 135215339 3220191904 3220190192 134528691 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8835/statm: 48798 47821 73 172 0 48625 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 197608
[startup+942.307 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 11665
/proc/meminfo: memFree=326140/2074464 swapFree=1949056/1959888
[pid=8829] ppid=8827 vsize=2416 CPUtime=12.34
/proc/8829/stat : 8829 (SatELiteGTI) S 8827 8829 14060 0 -1 4194304 387 43872 0 0 0 0 1200 34 20 0 1 0 1013480750 2473984 278 4294967295 134512640 135169312 3215125888 3215122104 3085725422 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8829/statm: 604 278 235 161 0 43 0
[pid=8835] ppid=8829 vsize=206412 CPUtime=930
/proc/8835/stat : 8835 (minisat_static) R 8829 8829 14060 0 -1 4202496 50717 0 0 0 92962 38 0 0 25 0 1 0 1013481989 211365888 50651 4294967295 134512640 135215339 3220191904 3220190176 134525713 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8835/statm: 51603 50651 73 172 0 51430 0
Current children cumulated CPU time (s) 942.34
Current children cumulated vsize (KiB) 208828
[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 11854
/proc/meminfo: memFree=314864/2074464 swapFree=1949056/1959888
[pid=8829] ppid=8827 vsize=2416 CPUtime=12.34
/proc/8829/stat : 8829 (SatELiteGTI) S 8827 8829 14060 0 -1 4194304 387 43872 0 0 0 0 1200 34 20 0 1 0 1013480750 2473984 278 4294967295 134512640 135169312 3215125888 3215122104 3085725422 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8829/statm: 604 278 235 161 0 43 0
[pid=8835] ppid=8829 vsize=217536 CPUtime=990.01
/proc/8835/stat : 8835 (minisat_static) R 8829 8829 14060 0 -1 4202496 53531 0 0 0 98961 40 0 0 25 0 1 0 1013481989 222756864 53465 4294967295 134512640 135215339 3220191904 3220190192 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8835/statm: 54384 53465 73 172 0 54211 0
Current children cumulated CPU time (s) 1002.35
Current children cumulated vsize (KiB) 219952
[startup+1062.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 12043
/proc/meminfo: memFree=303952/2074464 swapFree=1949056/1959888
[pid=8829] ppid=8827 vsize=2416 CPUtime=12.34
/proc/8829/stat : 8829 (SatELiteGTI) S 8827 8829 14060 0 -1 4194304 387 43872 0 0 0 0 1200 34 20 0 1 0 1013480750 2473984 278 4294967295 134512640 135169312 3215125888 3215122104 3085725422 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8829/statm: 604 278 235 161 0 43 0
[pid=8835] ppid=8829 vsize=228444 CPUtime=1050.02
/proc/8835/stat : 8835 (minisat_static) R 8829 8829 14060 0 -1 4202496 56305 0 0 0 104961 41 0 0 25 0 1 0 1013481989 233926656 56239 4294967295 134512640 135215339 3220191904 3220190192 134528852 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8835/statm: 57111 56239 73 172 0 56938 0
Current children cumulated CPU time (s) 1062.36
Current children cumulated vsize (KiB) 230860
[startup+1122.32 s]
/proc/loadavg: 1.03 1.01 1.00 3/95 12233
/proc/meminfo: memFree=295652/2074464 swapFree=1949056/1959888
[pid=8829] ppid=8827 vsize=2416 CPUtime=12.34
/proc/8829/stat : 8829 (SatELiteGTI) S 8827 8829 14060 0 -1 4194304 387 43872 0 0 0 0 1200 34 20 0 1 0 1013480750 2473984 278 4294967295 134512640 135169312 3215125888 3215122104 3085725422 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8829/statm: 604 278 235 161 0 43 0
[pid=8835] ppid=8829 vsize=236648 CPUtime=1110.03
/proc/8835/stat : 8835 (minisat_static) R 8829 8829 14060 0 -1 4202496 58358 0 0 0 110961 42 0 0 25 0 1 0 1013481989 242327552 58292 4294967295 134512640 135215339 3220191904 3220190192 134529157 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8835/statm: 59162 58292 73 172 0 58989 0
Current children cumulated CPU time (s) 1122.37
Current children cumulated vsize (KiB) 239064
[startup+1182.32 s]
/proc/loadavg: 1.01 1.01 1.00 2/95 12421
/proc/meminfo: memFree=286328/2074464 swapFree=1949056/1959888
[pid=8829] ppid=8827 vsize=2416 CPUtime=12.34
/proc/8829/stat : 8829 (SatELiteGTI) S 8827 8829 14060 0 -1 4194304 387 43872 0 0 0 0 1200 34 20 0 1 0 1013480750 2473984 278 4294967295 134512640 135169312 3215125888 3215122104 3085725422 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8829/statm: 604 278 235 161 0 43 0
[pid=8835] ppid=8829 vsize=245776 CPUtime=1170.03
/proc/8835/stat : 8835 (minisat_static) R 8829 8829 14060 0 -1 4202496 60677 0 0 0 116959 44 0 0 25 0 1 0 1013481989 251674624 60611 4294967295 134512640 135215339 3220191904 3220190192 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8835/statm: 61444 60611 73 172 0 61271 0
Current children cumulated CPU time (s) 1182.37
Current children cumulated vsize (KiB) 248192
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.03 s]
/proc/loadavg: 1.01 1.00 1.00 3/95 12608
/proc/meminfo: memFree=281800/2074464 swapFree=1949056/1959888
[pid=8829] ppid=8827 vsize=2416 CPUtime=12.34
/proc/8829/stat : 8829 (SatELiteGTI) S 8827 8829 14060 0 -1 4194304 387 43872 0 0 0 0 1200 34 20 0 1 0 1013480750 2473984 278 4294967295 134512640 135169312 3215125888 3215122104 3085725422 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8829/statm: 604 278 235 161 0 43 0
[pid=8835] ppid=8829 vsize=250004 CPUtime=1187.74
/proc/8835/stat : 8835 (minisat_static) R 8829 8829 14060 0 -1 4202496 61729 0 0 0 118728 46 0 0 25 0 1 0 1013481989 256004096 61663 4294967295 134512640 135215339 3220191904 3220190120 134721382 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8835/statm: 62501 61663 73 172 0 62328 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 252420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.06
CPU time (s): 1200.1
CPU user time (s): 1199.28
CPU system time (s): 0.82
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 252420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.28
system time used= 0.82
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106078
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= 22
involuntary context switches= 4204
runsolver used 0 second user time and 0.01 second system time
The end
Begin job on tipi27 at 2009-05-16 18:03:54
IDJOB=1820944
IDBENCH=70782
IDSOLVER=657
FILE ID=tipi27/1820944-1242489834
PBS_JOBID=
Free space on /tmp= 9176 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitssrl/countbitssrl128.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820944-1242489834/watcher-1820944-1242489834 -o /tmp/evaluation-result-1820944-1242489834/solver-1820944-1242489834 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820944-1242489834.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d464f22dd212ad9afa317dae82dd7350
RANDOM SEED= 1584660938
Linux tipi27 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.79
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 576888 kB
Buffers: 61800 kB
Cached: 1309684 kB
SwapCached: 5508 kB
Active: 677936 kB
Inactive: 703248 kB
HighTotal: 1178688 kB
HighFree: 294632 kB
LowTotal: 895776 kB
LowFree: 282256 kB
SwapTotal: 1959888 kB
SwapFree: 1949056 kB
Dirty: 18624 kB
Writeback: 0 kB
AnonPages: 9092 kB
Mapped: 3424 kB
Slab: 107904 kB
PageTables: 576 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90628 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9144 MiB
End job on tipi27 at 2009-05-16 18:23:58