0.00/0.00 c Parsing...
0.00/0.81 c ==============================================================================
0.00/0.81 c | | ORIGINAL | LEARNT | |
0.00/0.81 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.81 c ==============================================================================
0.00/0.81 c | 0 | 1040931 2400826 | 312279 0 0 nan | 0.000 % |
7.78/7.84 c | 0 | 616982 1688498 | -- 0 -- -- | -- | -196875/-198394
7.78/7.84 c ==============================================================================
7.78/7.84 c Result : #vars: 113377 #clauses: 616982 #literals: 1688498
7.78/7.84 c CPU time: 7.57585 s
7.78/7.84 c ==============================================================================
8.37/8.47 c This is MiniSat 2.0 beta
8.37/8.47 c WARNING: for repeatability, setting FPU to use double precision
8.37/8.47 c ============================[ Problem Statistics ]=============================
8.37/8.47 c | |
8.37/8.47 c | Number of variables: 113377 |
8.37/8.47 c | Number of clauses: 616982 |
8.76/8.87 c | Parsing time: 0.34 s |
8.76/8.89 c ============================[ Search Statistics ]==============================
8.76/8.89 c | Conflicts | ORIGINAL | LEARNT | Progress |
8.76/8.89 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
8.76/8.89 c ===============================================================================
8.76/8.89 c | 0 | 113377 616982 1688498 | 205660 0 nan | 0.000 % |
9.06/9.11 c | 102 | 113377 616982 1688498 | 205660 102 231 | 0.000 % |
9.36/9.41 c | 202 | 113374 616982 1688498 | 205660 201 181 | 0.015 % |
9.46/9.56 c | 306 | 113374 616982 1688498 | 205660 305 139 | 0.015 % |
9.56/9.68 c | 417 | 113374 616982 1688498 | 205660 416 132 | 0.015 % |
9.76/9.86 c | 517 | 113374 616982 1688498 | 205660 515 126 | 0.287 % |
9.96/10.07 c | 630 | 113035 614941 1683264 | 205660 627 125 | 0.302 % |
10.15/10.24 c | 751 | 113035 614941 1683264 | 205660 748 113 | 0.302 % |
10.25/10.38 c | 851 | 113035 614941 1683264 | 205660 848 107 | 0.302 % |
10.45/10.52 c | 961 | 113035 614941 1683264 | 205660 958 102 | 0.302 % |
10.75/10.86 c | 1082 | 113022 614941 1683264 | 205660 1078 98 | 0.573 % |
10.86/10.98 c | 1215 | 113022 614941 1683264 | 205660 1211 102 | 0.573 % |
11.35/11.47 c | 1315 | 112727 613104 1678582 | 205660 1310 112 | 0.573 % |
11.75/11.88 c | 1428 | 112406 613104 1678582 | 205660 1422 125 | 1.738 % |
12.35/12.42 c | 1552 | 112406 613104 1678582 | 205660 1545 128 | 1.753 % |
12.85/12.92 c | 1687 | 111383 605169 1658315 | 205660 1676 137 | 1.783 % |
13.75/13.81 c | 1835 | 111383 605169 1658315 | 205660 1824 151 | 1.783 % |
14.05/14.20 c | 1937 | 111350 604957 1657747 | 205660 1925 175 | 1.798 % |
14.55/14.69 c | 2047 | 110960 604957 1657747 | 205660 2028 171 | 4.031 % |
14.85/14.94 c | 2169 | 110833 604957 1657747 | 205660 2146 166 | 4.856 % |
15.36/15.44 c | 2305 | 110833 604957 1657747 | 205660 2282 169 | 4.856 % |
15.56/15.67 c | 2451 | 107871 586993 1615816 | 205660 2424 164 | 4.856 % |
16.16/16.27 c | 2611 | 107837 586993 1615816 | 205660 2583 170 | 5.282 % |
16.65/16.73 c | 2711 | 107823 586993 1615816 | 205660 2681 174 | 6.112 % |
17.05/17.18 c | 2821 | 106165 577311 1591899 | 205660 2790 171 | 6.361 % |
17.75/17.82 c | 2944 | 106154 577311 1591899 | 205660 2910 173 | 7.688 % |
18.15/18.29 c | 3078 | 106145 577311 1591899 | 205660 3042 192 | 7.746 % |
18.95/19.10 c | 3224 | 106145 577311 1591899 | 205660 3188 196 | 7.746 % |
19.45/19.56 c | 3384 | 104595 567888 1567469 | 205660 3343 195 | 7.746 % |
20.55/20.69 c | 3561 | 104595 567888 1567469 | 205660 3520 222 | 7.746 % |
20.95/21.04 c | 3662 | 104594 567888 1567469 | 205660 3620 222 | 7.747 % |
21.05/21.19 c | 3772 | 104594 567884 1567461 | 205660 3730 219 | 7.747 % |
21.55/21.63 c | 3895 | 104594 567884 1567461 | 205660 3853 220 | 7.747 % |
21.75/21.86 c | 4028 | 104593 567884 1567461 | 205660 3985 216 | 7.762 % |
22.25/22.33 c | 4175 | 104593 567884 1567461 | 205660 4132 215 | 7.762 % |
22.84/22.97 c | 4335 | 104593 567884 1567461 | 205660 4292 235 | 7.762 % |
24.05/24.10 c | 4511 | 104558 567769 1567156 | 205660 4465 239 | 7.812 % |
24.55/24.64 c | 4707 | 104554 567769 1567156 | 205660 4660 239 | 7.826 % |
24.85/24.96 c | 4807 | 104002 564442 1558787 | 205660 4746 235 | 8.269 % |
25.26/25.35 c | 4917 | 104000 564442 1558787 | 205660 4855 234 | 8.520 % |
25.95/26.02 c | 5039 | 104000 564442 1558787 | 205660 4977 236 | 8.520 % |
26.55/26.66 c | 5172 | 104000 564442 1558787 | 205660 5110 242 | 8.520 % |
27.35/27.43 c | 5318 | 103676 562811 1554349 | 205660 5255 246 | 8.556 % |
27.75/27.88 c | 5480 | 103676 562811 1554349 | 205660 5417 244 | 8.556 % |
28.35/28.49 c | 5658 | 103676 562811 1554349 | 205660 5595 253 | 8.556 % |
29.35/29.49 c | 5855 | 103676 562811 1554349 | 205660 5792 256 | 8.556 % |
30.44/30.52 c | 6068 | 103659 562696 1554047 | 205660 6004 267 | 8.571 % |
30.84/30.92 c | 6168 | 103658 562696 1554047 | 205660 6103 265 | 8.586 % |
31.04/31.15 c | 6278 | 103658 562696 1554047 | 205660 6213 262 | 8.586 % |
31.34/31.40 c | 6400 | 103631 562696 1554047 | 205660 6332 261 | 9.057 % |
31.44/31.53 c | 6533 | 103631 562696 1554047 | 205660 6465 258 | 9.057 % |
31.54/31.68 c | 6683 | 103629 562696 1554047 | 205660 6614 254 | 9.071 % |
32.14/32.23 c | 6843 | 103558 562696 1554047 | 205660 6773 252 | 9.400 % |
32.94/33.08 c | 7021 | 102716 557279 1541182 | 205660 6927 260 | 9.415 % |
34.13/34.24 c | 7215 | 102716 557279 1541182 | 205660 7121 266 | 9.415 % |
35.04/35.18 c | 7428 | 102716 557279 1541182 | 205660 7334 277 | 9.415 % |
35.93/36.02 c | 7661 | 102703 557172 1540896 | 205660 7567 274 | 9.415 % |
36.03/36.17 c | 7763 | 102703 557172 1540896 | 205660 7669 272 | 9.415 % |
36.14/36.28 c | 7874 | 102703 557172 1540896 | 205660 7780 270 | 9.415 % |
36.24/36.39 c | 7995 | 102703 557172 1540896 | 205660 7901 267 | 9.415 % |
36.43/36.54 c | 8128 | 102703 557172 1540896 | 205660 8034 265 | 9.415 % |
37.24/37.35 c | 8274 | 102703 557172 1540896 | 205660 8180 266 | 9.415 % |
38.04/38.18 c | 8434 | 102687 557067 1540614 | 205660 8339 269 | 9.429 % |
39.04/39.18 c | 8611 | 102682 557067 1540614 | 205660 8515 273 | 9.444 % |
39.84/39.92 c | 8804 | 102682 557067 1540614 | 205660 8707 272 | 9.628 % |
40.93/41.01 c | 9017 | 102555 557067 1540614 | 205660 8920 277 | 9.628 % |
41.43/41.55 c | 9252 | 102555 557067 1540614 | 205660 9155 280 | 9.628 % |
42.03/42.15 c | 9508 | 102458 556007 1537582 | 205660 9409 279 | 9.642 % |
42.33/42.41 c | 9609 | 102453 556007 1537582 | 205660 9510 279 | 9.642 % |
42.73/42.87 c | 9723 | 102453 556007 1537582 | 205660 9624 281 | 9.642 % |
43.22/43.39 c | 9844 | 102453 556007 1537582 | 205660 9745 284 | 9.642 % |
43.93/44.03 c | 9978 | 102448 556007 1537582 | 205660 9878 285 | 9.656 % |
44.52/44.63 c | 10127 | 102448 556007 1537582 | 2147483647 10027 288 | 9.656 % |
45.32/45.45 c | 10288 | 102417 556007 1537582 | 2147483647 10186 289 | 9.684 % |
46.13/46.28 c | 10464 | 102398 555655 1536731 | 2147483647 10356 290 | 9.684 % |
46.63/46.76 c | 10657 | 102398 555655 1536731 | 2147483647 10549 288 | 9.684 % |
47.62/47.79 c | 10869 | 102398 555655 1536731 | 2147483647 10761 298 | 9.684 % |
48.92/49.06 c | 11102 | 102360 555655 1536731 | 2147483647 10993 308 | 9.729 % |
50.32/50.41 c | 11359 | 102345 555415 1536251 | 2147483647 11249 315 | 9.730 % |
51.82/51.92 c | 11644 | 102344 555415 1536251 | 2147483647 11533 323 | 9.731 % |
52.32/52.40 c | 11746 | 102344 555415 1536251 | 2147483647 11635 324 | 9.731 % |
52.42/52.52 c | 11858 | 102344 555415 1536251 | 2147483647 11747 322 | 9.731 % |
52.62/52.77 c | 11979 | 102344 555415 1536251 | 2147483647 11868 320 | 9.731 % |
52.92/53.09 c | 12113 | 102344 555415 1536251 | 2147483647 12002 318 | 9.731 % |
53.32/53.46 c | 12262 | 102338 555415 1536251 | 2147483647 12149 317 | 9.760 % |
53.52/53.64 c | 12423 | 102338 555415 1536251 | 2147483647 12310 315 | 9.760 % |
53.82/53.90 c | 12600 | 102338 555415 1536251 | 2147483647 12487 312 | 9.760 % |
54.01/54.19 c | 12793 | 102311 555197 1535670 | 2147483647 12680 309 | 9.760 % |
54.83/54.98 c | 13005 | 102311 555197 1535670 | 2147483647 12892 309 | 9.760 % |
55.62/55.72 c | 13239 | 102310 555197 1535670 | 2147483647 13125 313 | 9.761 % |
56.92/57.02 c | 13496 | 102309 555197 1535670 | 2147483647 13381 313 | 9.762 % |
57.92/58.03 c | 13777 | 102309 555197 1535670 | 2147483647 13662 319 | 9.762 % |
58.92/59.08 c | 14087 | 102309 555197 1535670 | 2147483647 13972 321 | 9.762 % |
59.32/59.41 c | 14188 | 102294 555090 1535382 | 2147483647 14071 320 | 9.775 % |
59.91/60.08 c | 14298 | 102294 555090 1535382 | 2147483647 14181 324 | 9.775 % |
60.51/60.60 c | 14422 | 102293 555090 1535382 | 2147483647 14304 323 | 9.789 % |
61.11/61.20 c | 14555 | 102293 555090 1535382 | 2147483647 14437 327 | 9.789 % |
61.31/61.46 c | 14702 | 102293 555090 1535382 | 2147483647 14584 325 | 9.789 % |
62.31/62.40 c | 14862 | 102293 555090 1535382 | 2147483647 14744 326 | 9.789 % |
62.91/63.04 c | 15038 | 102293 555090 1535382 | 2147483647 14920 325 | 9.789 % |
64.02/64.11 c | 15232 | 102293 555090 1535382 | 2147483647 15114 329 | 9.789 % |
64.92/65.09 c | 15447 | 102293 555090 1535382 | 2147483647 15329 337 | 9.789 % |
66.32/66.40 c | 15680 | 102279 554991 1535125 | 2147483647 15562 341 | 9.789 % |
67.31/67.49 c | 15936 | 102279 554991 1535125 | 2147483647 15818 344 | 9.789 % |
68.30/68.50 c | 16218 | 102279 554991 1535125 | 2147483647 16100 344 | 9.789 % |
69.50/69.63 c | 16527 | 102274 554991 1535125 | 2147483647 16408 344 | 9.993 % |
71.10/71.22 c | 16867 | 102274 554991 1535125 | 2147483647 16748 344 | 9.993 % |
71.60/71.71 c | 16967 | 102047 553634 1531613 | 2147483647 16846 344 | 9.993 % |
71.90/72.09 c | 17077 | 102022 553634 1531613 | 2147483647 16955 342 | 10.385 % |
72.10/72.29 c | 17198 | 102022 553634 1531613 | 2147483647 17076 341 | 10.385 % |
72.91/73.06 c | 17331 | 102022 553634 1531613 | 2147483647 17209 341 | 10.385 % |
73.61/73.74 c | 17477 | 102022 553634 1531613 | 2147483647 17355 344 | 10.385 % |
74.11/74.25 c | 17641 | 102021 553634 1531613 | 2147483647 17518 344 | 10.386 % |
75.10/75.23 c | 17822 | 102020 553634 1531613 | 2147483647 17698 348 | 10.387 % |
76.10/76.26 c | 18018 | 102019 553634 1531613 | 2147483647 17893 348 | 10.387 % |
76.90/77.04 c | 18231 | 102019 553634 1531613 | 2147483647 18106 350 | 10.387 % |
77.80/77.95 c | 18466 | 102019 553634 1531613 | 2147483647 18341 349 | 10.387 % |
78.39/78.54 c | 18723 | 101572 550978 1524855 | 2147483647 18573 347 | 10.479 % |
80.40/80.55 c | 19008 | 101569 550978 1524855 | 2147483647 18857 350 | 10.492 % |
82.10/82.25 c | 19317 | 101568 550978 1524855 | 2147483647 19165 357 | 10.493 % |
83.40/83.55 c | 19656 | 101568 550978 1524855 | 2147483647 19504 364 | 10.493 % |
84.09/84.29 c | 20028 | 101568 550978 1524855 | 2147483647 19876 362 | 10.493 % |
84.30/84.47 c | 20131 | 101568 550978 1524855 | 2147483647 19979 361 | 10.493 % |
84.50/84.68 c | 20241 | 101568 550978 1524855 | 2147483647 20089 360 | 10.493 % |
84.99/85.18 c | 20364 | 101568 550978 1524855 | 2147483647 20212 359 | 10.493 % |
85.39/85.54 c | 20497 | 101562 550978 1524855 | 2147483647 20344 358 | 10.517 % |
86.09/86.27 c | 20644 | 101562 550978 1524855 | 2147483647 20491 359 | 10.517 % |
87.09/87.29 c | 20804 | 101453 550134 1522931 | 2147483647 20639 361 | 10.517 % |
88.00/88.11 c | 20980 | 101453 550134 1522931 | 2147483647 20815 365 | 10.517 % |
89.00/89.14 c | 21173 | 101453 550134 1522931 | 2147483647 21008 368 | 10.517 % |
90.10/90.27 c | 21386 | 101438 550134 1522931 | 2147483647 21220 370 | 10.612 % |
90.69/90.81 c | 21619 | 101438 550134 1522931 | 2147483647 21453 368 | 10.612 % |
92.49/92.61 c | 21875 | 101438 550134 1522931 | 2147483647 21709 368 | 10.612 % |
93.49/93.66 c | 22156 | 101383 550134 1522931 | 2147483647 21989 367 | 10.811 % |
94.89/95.04 c | 22465 | 101379 550134 1522931 | 2147483647 22297 370 | 10.825 % |
96.39/96.52 c | 22804 | 101104 548422 1518531 | 2147483647 22626 375 | 10.825 % |
98.29/98.42 c | 23177 | 101102 548422 1518531 | 2147483647 22997 377 | 10.839 % |
100.19/100.39 c | 23588 | 101094 548422 1518531 | 2147483647 23405 378 | 10.867 % |
100.39/100.54 c | 23688 | 101094 548422 1518531 | 2147483647 23505 377 | 10.867 % |
100.69/100.83 c | 23801 | 101094 548422 1518531 | 2147483647 23618 376 | 10.867 % |
100.89/101.08 c | 23923 | 101094 548422 1518531 | 2147483647 23740 376 | 10.867 % |
101.09/101.24 c | 24058 | 101094 548422 1518531 | 2147483647 23875 375 | 10.867 % |
101.18/101.39 c | 24205 | 101094 548422 1518531 | 2147483647 24022 374 | 10.867 % |
102.09/102.23 c | 24372 | 101094 548422 1518531 | 2147483647 24189 373 | 10.867 % |
102.98/103.16 c | 24551 | 101093 548422 1518531 | 2147483647 24367 374 | 10.870 % |
103.58/103.74 c | 24744 | 101093 548422 1518531 | 2147483647 24560 373 | 10.870 % |
104.58/104.75 c | 24956 | 101093 548422 1518531 | 2147483647 24772 374 | 10.870 % |
106.19/106.34 c | 25190 | 101053 548084 1517623 | 2147483647 25003 378 | 10.870 % |
107.78/107.92 c | 25447 | 101053 548084 1517623 | 2147483647 25260 382 | 10.870 % |
109.38/109.54 c | 25731 | 101053 548084 1517623 | 2147483647 25544 387 | 10.870 % |
110.78/110.96 c | 26040 | 101053 548084 1517623 | 2147483647 25853 389 | 10.870 % |
112.48/112.62 c | 26379 | 101053 548084 1517623 | 2147483647 26192 391 | 10.870 % |
113.58/113.75 c | 26754 | 101053 548084 1517623 | 2147483647 26567 389 | 10.870 % |
115.57/115.70 c | 27166 | 101044 548084 1517623 | 2147483647 26978 393 | 10.895 % |
117.77/118.00 c | 27619 | 101044 548084 1517623 | 2147483647 27431 398 | 10.895 % |
118.37/118.59 c | 27724 | 101025 547923 1517229 | 2147483647 27536 399 | 10.895 % |
118.97/119.16 c | 27834 | 101025 547923 1517229 | 2147483647 27646 399 | 10.895 % |
119.68/119.82 c | 27956 | 101024 547923 1517229 | 2147483647 27767 400 | 10.896 % |
120.28/120.49 c | 28089 | 101023 547923 1517229 | 2147483647 27899 402 | 10.896 % |
121.08/121.27 c | 28235 | 101023 547923 1517229 | 2147483647 28045 402 | 10.896 % |
121.98/122.13 c | 28395 | 101020 547923 1517229 | 2147483647 28204 402 | 10.911 % |
122.37/122.56 c | 28571 | 101019 547923 1517229 | 2147483647 28379 401 | 10.911 % |
123.67/123.80 c | 28768 | 101019 547923 1517229 | 2147483647 28576 402 | 10.911 % |
124.58/124.72 c | 28980 | 101019 547923 1517229 | 2147483647 28788 404 | 10.911 % |
125.38/125.56 c | 29219 | 101019 547923 1517229 | 2147483647 29027 403 | 10.911 % |
126.58/126.70 c | 29475 | 101014 547923 1517229 | 2147483647 29282 402 | 10.931 % |
127.38/127.52 c | 29756 | 101013 547923 1517229 | 2147483647 29562 400 | 10.932 % |
129.77/129.92 c | 30065 | 101013 547923 1517229 | 2147483647 29871 403 | 10.932 % |
131.97/132.17 c | 30404 | 101008 547923 1517229 | 2147483647 30209 402 | 10.947 % |
134.67/134.81 c | 30778 | 100966 547553 1516264 | 2147483647 30574 405 | 10.947 % |
137.17/137.31 c | 31187 | 100966 547553 1516264 | 2147483647 30983 407 | 10.947 % |
139.57/139.80 c | 31636 | 100966 547553 1516264 | 2147483647 31432 410 | 10.947 % |
141.57/141.78 c | 32132 | 100966 547553 1516264 | 2147483647 31928 416 | 10.947 % |
142.07/142.22 c | 32232 | 100966 547553 1516264 | 2147483647 32028 416 | 10.947 % |
142.57/142.77 c | 32343 | 100966 547553 1516264 | 2147483647 32139 417 | 10.947 % |
143.37/143.53 c | 32465 | 100956 547553 1516264 | 2147483647 32260 417 | 11.064 % |
144.07/144.25 c | 32598 | 100955 547553 1516264 | 2147483647 32392 418 | 11.065 % |
144.56/144.78 c | 32744 | 100952 547553 1516264 | 2147483647 32535 417 | 11.105 % |
145.76/145.97 c | 32904 | 100952 547553 1516264 | 2147483647 32695 420 | 11.105 % |
146.66/146.84 c | 33080 | 100952 547553 1516264 | 2147483647 32871 420 | 11.105 % |
147.56/147.71 c | 33274 | 100786 546469 1513490 | 2147483647 33054 419 | 11.105 % |
147.76/147.96 c | 33488 | 100786 546469 1513490 | 2147483647 33268 418 | 11.105 % |
149.06/149.22 c | 33724 | 100786 546469 1513490 | 2147483647 33504 417 | 11.105 % |
150.06/150.29 c | 33980 | 100786 546469 1513490 | 2147483647 33760 419 | 11.105 % |
151.56/151.76 c | 34262 | 100786 546469 1513490 | 2147483647 34042 420 | 11.105 % |
153.16/153.30 c | 34571 | 100783 546469 1513490 | 2147483647 34350 422 | 11.109 % |
154.76/154.98 c | 34910 | 100783 546469 1513490 | 2147483647 34689 422 | 11.109 % |
156.46/156.63 c | 35283 | 100783 546469 1513490 | 2147483647 35062 425 | 11.109 % |
158.46/158.65 c | 35692 | 100781 546469 1513490 | 2147483647 35470 425 | 11.138 % |
160.65/160.89 c | 36141 | 100780 546469 1513490 | 2147483647 35918 426 | 11.141 % |
163.56/163.75 c | 36635 | 100780 546469 1513490 | 2147483647 36412 430 | 11.141 % |
166.16/166.35 c | 37178 | 100744 546260 1512926 | 2147483647 36953 434 | 11.142 % |
166.56/166.79 c | 37279 | 100744 546260 1512926 | 2147483647 37054 434 | 11.142 % |
167.06/167.23 c | 37389 | 100744 546260 1512926 | 2147483647 37164 434 | 11.142 % |
167.56/167.72 c | 37510 | 100744 546260 1512926 | 2147483647 37285 434 | 11.142 % |
168.06/168.26 c | 37646 | 100744 546260 1512926 | 2147483647 37421 433 | 11.142 % |
168.75/168.99 c | 37795 | 100744 546260 1512926 | 2147483647 37570 434 | 11.142 % |
169.26/169.47 c | 37956 | 100744 546260 1512926 | 2147483647 37731 435 | 11.142 % |
169.85/170.03 c | 38133 | 100744 546260 1512926 | 2147483647 37908 435 | 11.142 % |
171.05/171.20 c | 38326 | 100743 546260 1512926 | 2147483647 38100 436 | 11.143 % |
171.75/171.96 c | 38539 | 100743 546260 1512926 | 2147483647 38313 436 | 11.143 % |
172.75/172.91 c | 38773 | 100743 546260 1512926 | 2147483647 38547 436 | 11.143 % |
174.15/174.39 c | 39033 | 100743 546260 1512926 | 2147483647 38807 437 | 11.143 % |
175.15/175.39 c | 39317 | 100743 546260 1512926 | 2147483647 39091 438 | 11.143 % |
177.04/177.29 c | 39626 | 100740 546260 1512926 | 2147483647 39396 439 | 11.173 % |
178.85/179.00 c | 39965 | 100736 546260 1512926 | 2147483647 39734 439 | 11.187 % |
180.35/180.50 c | 40340 | 100736 546260 1512926 | 2147483647 40109 439 | 11.187 % |
182.74/182.92 c | 40749 | 100736 546260 1512926 | 2147483647 40518 441 | 11.187 % |
185.44/185.60 c | 41198 | 100693 545938 1512064 | 2147483647 40961 443 | 11.187 % |
188.65/188.84 c | 41694 | 100692 545938 1512064 | 2147483647 41456 448 | 11.188 % |
192.04/192.28 c | 42239 | 100690 545938 1512064 | 2147483647 41999 450 | 11.190 % |
195.24/195.43 c | 42836 | 100685 545938 1512064 | 2147483647 42595 451 | 11.207 % |
195.84/196.03 c | 42936 | 100685 545938 1512064 | 2147483647 42695 451 | 11.207 % |
196.44/196.70 c | 43046 | 100685 545938 1512064 | 2147483647 42805 451 | 11.207 % |
196.94/197.16 c | 43167 | 100685 545938 1512064 | 2147483647 42926 450 | 11.207 % |
197.54/197.72 c | 43304 | 100685 545938 1512064 | 2147483647 43063 450 | 11.207 % |
198.33/198.54 c | 43450 | 100684 545938 1512064 | 2147483647 43208 450 | 11.220 % |
199.03/199.29 c | 43613 | 100682 545938 1512064 | 2147483647 43370 450 | 11.238 % |
200.33/200.53 c | 43792 | 100682 545938 1512064 | 2147483647 43549 450 | 11.238 % |
201.53/201.74 c | 43985 | 100682 545938 1512064 | 2147483647 43742 451 | 11.238 % |
202.64/202.89 c | 44198 | 100682 545938 1512064 | 2147483647 43955 454 | 11.238 % |
203.84/204.01 c | 44432 | 100682 545938 1512064 | 2147483647 44189 455 | 11.238 % |
205.54/205.72 c | 44688 | 100682 545938 1512064 | 2147483647 44445 456 | 11.238 % |
207.53/207.73 c | 44971 | 100636 545592 1511150 | 2147483647 44727 459 | 11.238 % |
209.04/209.25 c | 45283 | 100636 545592 1511150 | 2147483647 45039 461 | 11.238 % |
210.73/210.94 c | 45622 | 100636 545592 1511150 | 2147483647 45378 463 | 11.238 % |
212.73/212.98 c | 45994 | 100586 545592 1511150 | 2147483647 45747 463 | 11.617 % |
214.83/215.05 c | 46405 | 100585 545592 1511150 | 2147483647 46157 463 | 11.683 % |
217.44/217.70 c | 46856 | 100583 545592 1511150 | 2147483647 46606 464 | 11.685 % |
220.13/220.30 c | 47349 | 100583 545592 1511150 | 2147483647 47099 468 | 11.685 % |
223.13/223.36 c | 47892 | 100579 545592 1511150 | 2147483647 47641 471 | 11.785 % |
226.13/226.30 c | 48488 | 100577 545592 1511150 | 2147483647 48236 476 | 11.796 % |
229.92/230.12 c | 49146 | 100576 545592 1511150 | 2147483647 48893 481 | 11.809 % |
230.42/230.62 c | 49247 | 100576 545592 1511150 | 2147483647 48994 481 | 11.809 % |
231.03/231.26 c | 49357 | 100576 545592 1511150 | 2147483647 49104 482 | 11.809 % |
231.63/231.89 c | 49479 | 100576 545592 1511150 | 2147483647 49226 481 | 11.809 % |
232.13/232.35 c | 49612 | 99988 541693 1502138 | 2147483647 49341 481 | 11.809 % |
233.03/233.26 c | 49760 | 99988 541693 1502138 | 2147483647 49489 481 | 11.809 % |
233.93/234.18 c | 49922 | 99988 541693 1502138 | 2147483647 49651 482 | 11.809 % |
234.93/235.15 c | 50099 | 99988 541693 1502138 | 2147483647 49828 482 | 11.809 % |
235.43/235.64 c | 50292 | 99988 541693 1502138 | 2147483647 50021 481 | 11.809 % |
236.62/236.82 c | 50505 | 99984 541693 1502138 | 2147483647 50233 482 | 11.826 % |
237.52/237.73 c | 50740 | 99983 541693 1502138 | 2147483647 50468 483 | 11.826 % |
239.22/239.45 c | 50996 | 99983 541693 1502138 | 2147483647 50724 484 | 11.826 % |
240.63/240.85 c | 51278 | 99983 541693 1502138 | 2147483647 51006 485 | 11.826 % |
242.22/242.46 c | 51589 | 99983 541693 1502138 | 2147483647 51317 487 | 11.826 % |
243.32/243.55 c | 51928 | 99983 541693 1502138 | 2147483647 51656 486 | 11.826 % |
245.32/245.53 c | 52301 | 99983 541693 1502138 | 2147483647 52029 487 | 11.826 % |
248.42/248.68 c | 52711 | 99983 541693 1502138 | 2147483647 52439 488 | 11.826 % |
251.02/251.25 c | 53160 | 99983 541693 1502138 | 2147483647 52888 490 | 11.826 % |
253.82/254.07 c | 53654 | 99982 541693 1502138 | 2147483647 53381 493 | 11.827 % |
256.71/256.90 c | 54197 | 99978 541693 1502138 | 2147483647 53923 493 | 11.831 % |
261.12/261.33 c | 54793 | 99978 541693 1502138 | 2147483647 54519 497 | 11.831 % |
265.81/266.07 c | 55448 | 99978 541693 1502138 | 2147483647 55174 501 | 11.831 % |
270.21/270.42 c | 56168 | 99962 541549 1501777 | 2147483647 55893 504 | 11.832 % |
271.01/271.26 c | 56269 | 99962 541549 1501777 | 2147483647 55994 505 | 11.832 % |
271.51/271.77 c | 56379 | 99962 541549 1501777 | 2147483647 56104 505 | 11.832 % |
272.41/272.70 c | 56500 | 99962 541549 1501777 | 2147483647 56225 505 | 11.832 % |
273.01/273.29 c | 56633 | 99962 541549 1501777 | 2147483647 56358 505 | 11.832 % |
274.11/274.30 c | 56780 | 99962 541549 1501777 | 2147483647 56505 506 | 11.832 % |
275.01/275.26 c | 56942 | 99962 541549 1501777 | 2147483647 56667 506 | 11.832 % |
275.81/276.10 c | 57118 | 99962 541549 1501777 | 2147483647 56843 507 | 11.832 % |
277.30/277.53 c | 57312 | 99962 541549 1501777 | 2147483647 57037 508 | 11.832 % |
277.80/278.06 c | 57529 | 99960 541549 1501777 | 2147483647 57253 506 | 11.849 % |
279.01/279.28 c | 57762 | 99960 541549 1501777 | 2147483647 57486 507 | 11.849 % |
280.41/280.66 c | 58018 | 99960 541549 1501777 | 2147483647 57742 507 | 11.849 % |
281.91/282.17 c | 58299 | 99960 541549 1501777 | 2147483647 58023 507 | 11.849 % |
283.61/283.83 c | 58608 | 99960 541549 1501777 | 2147483647 58332 509 | 11.849 % |
285.40/285.67 c | 58947 | 99960 541549 1501777 | 2147483647 58671 509 | 11.849 % |
287.10/287.33 c | 59320 | 99960 541549 1501777 | 2147483647 59044 509 | 11.849 % |
289.40/289.62 c | 59731 | 99960 541549 1501777 | 2147483647 59455 511 | 11.849 % |
292.50/292.72 c | 60181 | 99959 541549 1501777 | 2147483647 59904 512 | 11.850 % |
296.30/296.50 c | 60675 | 99958 541549 1501777 | 2147483647 60397 515 | 11.851 % |
299.09/299.31 c | 61218 | 99958 541549 1501777 | 2147483647 60940 516 | 11.851 % |
302.40/302.70 c | 61814 | 99957 541549 1501777 | 2147483647 61535 516 | 11.852 % |
306.49/306.75 c | 62470 | 99939 541421 1501462 | 2147483647 62190 519 | 11.853 % |
310.89/311.20 c | 63190 | 99939 541421 1501462 | 2147483647 62910 525 | 11.852 % |
314.69/314.94 c | 63984 | 99900 541421 1501462 | 2147483647 63701 523 | 12.729 % |
315.29/315.55 c | 64086 | 99900 541421 1501462 | 2147483647 63803 523 | 12.729 % |
315.60/315.82 c | 64196 | 99900 541421 1501462 | 2147483647 63913 522 | 12.729 % |
315.80/316.02 c | 64321 | 99900 541421 1501462 | 2147483647 64038 522 | 12.729 % |
316.10/316.32 c | 64454 | 99899 541421 1501462 | 2147483647 64170 521 | 12.933 % |
316.80/317.09 c | 64600 | 99802 541421 1501462 | 2147483647 64316 521 | 12.933 % |
317.70/317.95 c | 64760 | 99802 541421 1501462 | 2147483647 64476 522 | 12.933 % |
318.89/319.17 c | 64937 | 99802 541421 1501462 | 2147483647 64653 522 | 12.933 % |
319.99/320.23 c | 65131 | 99802 541421 1501462 | 2147483647 64847 522 | 12.933 % |
321.58/321.83 c | 65343 | 99802 541421 1501462 | 2147483647 65059 523 | 12.933 % |
322.79/323.05 c | 65577 | 99801 541421 1501462 | 2147483647 65292 523 | 12.934 % |
324.59/324.83 c | 65836 | 99801 541421 1501462 | 2147483647 65551 524 | 12.934 % |
326.39/326.66 c | 66120 | 99800 541421 1501462 | 2147483647 65834 525 | 12.935 % |
327.99/328.22 c | 66433 | 99800 541421 1501462 | 2147483647 66147 525 | 12.935 % |
330.58/330.80 c | 66774 | 99800 541421 1501462 | 2147483647 66488 527 | 12.935 % |
332.59/332.90 c | 67148 | 99800 541421 1501462 | 2147483647 66862 529 | 12.935 % |
335.48/335.73 c | 67558 | 99800 541421 1501462 | 2147483647 67272 529 | 12.935 % |
338.39/338.61 c | 68007 | 99800 541421 1501462 | 2147483647 67721 530 | 12.935 % |
340.58/340.81 c | 68504 | 99800 541421 1501462 | 2147483647 68218 531 | 12.935 % |
343.08/343.38 c | 69048 | 99800 541421 1501462 | 2147483647 68762 530 | 12.935 % |
346.37/346.63 c | 69647 | 98711 534215 1483899 | 2147483647 69138 532 | 12.936 % |
350.68/350.95 c | 70303 | 98711 534215 1483899 | 2147483647 69794 532 | 12.936 % |
354.98/355.23 c | 71023 | 98660 534215 1483899 | 2147483647 70512 532 | 13.190 % |
360.58/360.84 c | 71816 | 98660 534215 1483899 | 2147483647 71305 537 | 13.190 % |
365.97/366.21 c | 72688 | 98660 534215 1483899 | 2147483647 72177 538 | 13.190 % |
366.67/366.96 c | 72788 | 98660 534215 1483899 | 2147483647 72277 539 | 13.190 % |
367.57/367.81 c | 72899 | 98660 534215 1483899 | 2147483647 72388 539 | 13.190 % |
368.27/368.57 c | 73022 | 98660 534215 1483899 | 2147483647 72511 540 | 13.190 % |
368.77/369.02 c | 73157 | 98660 534215 1483899 | 2147483647 72646 539 | 13.190 % |
369.66/369.90 c | 73303 | 98660 534215 1483899 | 2147483647 72792 539 | 13.190 % |
370.87/371.14 c | 73463 | 98660 534215 1483899 | 2147483647 72952 540 | 13.190 % |
371.87/372.15 c | 73639 | 98660 534215 1483899 | 2147483647 73128 540 | 13.190 % |
373.07/373.34 c | 73832 | 98660 534215 1483899 | 2147483647 73321 540 | 13.190 % |
374.27/374.57 c | 74044 | 98658 534215 1483899 | 2147483647 73532 541 | 13.195 % |
375.36/375.65 c | 74277 | 98658 534215 1483899 | 2147483647 73765 541 | 13.195 % |
377.26/377.56 c | 74538 | 98658 534215 1483899 | 2147483647 74026 544 | 13.195 % |
378.96/379.28 c | 74819 | 98658 534215 1483899 | 2147483647 74307 545 | 13.195 % |
380.96/381.22 c | 75131 | 98658 534215 1483899 | 2147483647 74619 546 | 13.195 % |
383.06/383.32 c | 75470 | 98658 534215 1483899 | 2147483647 74958 548 | 13.195 % |
385.56/385.83 c | 75844 | 98658 534215 1483899 | 2147483647 75332 550 | 13.195 % |
388.07/388.39 c | 76253 | 98658 534215 1483899 | 2147483647 75741 551 | 13.195 % |
390.96/391.23 c | 76703 | 98658 534215 1483899 | 2147483647 76191 552 | 13.195 % |
394.46/394.70 c | 77196 | 98658 534215 1483899 | 2147483647 76684 556 | 13.195 % |
398.26/398.54 c | 77739 | 98657 534215 1483899 | 2147483647 77225 557 | 13.247 % |
401.76/402.04 c | 78336 | 98358 532590 1479490 | 2147483647 77808 557 | 13.247 % |
406.15/406.48 c | 78993 | 98357 532590 1479490 | 2147483647 78464 558 | 13.248 % |
410.55/410.86 c | 79716 | 98356 532590 1479490 | 2147483647 79186 560 | 13.249 % |
415.65/415.92 c | 80513 | 98297 532590 1479490 | 2147483647 79982 562 | 13.328 % |
420.15/420.47 c | 81385 | 98297 532590 1479490 | 2147483647 80854 564 | 13.328 % |
427.14/427.47 c | 82348 | 98296 532590 1479490 | 2147483647 81816 569 | 13.329 % |
427.75/428.09 c | 82449 | 98296 532590 1479490 | 2147483647 81917 569 | 13.329 % |
428.65/428.94 c | 82559 | 98296 532590 1479490 | 2147483647 82027 569 | 13.329 % |
429.35/429.61 c | 82683 | 98296 532590 1479490 | 2147483647 82151 569 | 13.329 % |
430.45/430.70 c | 82817 | 98296 532590 1479490 | 2147483647 82285 569 | 13.329 % |
431.45/431.75 c | 82966 | 98296 532590 1479490 | 2147483647 82434 569 | 13.329 % |
432.34/432.60 c | 83126 | 98296 532590 1479490 | 2147483647 82594 569 | 13.329 % |
433.24/433.56 c | 83302 | 98296 532590 1479490 | 2147483647 82770 568 | 13.329 % |
434.44/434.78 c | 83495 | 98296 532590 1479490 | 2147483647 82963 569 | 13.329 % |
435.74/436.00 c | 83707 | 98296 532590 1479490 | 2147483647 83175 570 | 13.329 % |
437.45/437.75 c | 83941 | 98295 532590 1479490 | 2147483647 83408 571 | 13.330 % |
438.94/439.28 c | 84198 | 98294 532590 1479490 | 2147483647 83664 571 | 13.331 % |
440.64/440.98 c | 84479 | 98294 532590 1479490 | 2147483647 83945 571 | 13.331 % |
442.64/442.96 c | 84795 | 98294 532590 1479490 | 2147483647 84261 571 | 13.331 % |
446.03/446.31 c | 85135 | 98294 532590 1479490 | 2147483647 84601 572 | 13.331 % |
448.63/448.99 c | 85508 | 98294 532590 1479490 | 2147483647 84974 573 | 13.331 % |
450.94/451.27 c | 85917 | 98294 532590 1479490 | 2147483647 85383 573 | 13.331 % |
453.34/453.67 c | 86366 | 98294 532590 1479490 | 2147483647 85832 573 | 13.331 % |
456.73/457.02 c | 86860 | 98294 532590 1479490 | 2147483647 86326 574 | 13.331 % |
460.34/460.68 c | 87402 | 98292 532590 1479490 | 2147483647 86866 575 | 13.347 % |
464.53/464.87 c | 87999 | 98244 532028 1478294 | 2147483647 87401 576 | 13.348 % |
469.03/469.38 c | 88654 | 98244 532028 1478294 | 2147483647 88056 578 | 13.348 % |
473.83/474.13 c | 89378 | 98243 532028 1478294 | 2147483647 88779 579 | 13.348 % |
478.73/479.01 c | 90170 | 98242 532028 1478294 | 2147483647 89570 581 | 13.349 % |
484.52/484.86 c | 91041 | 98242 532028 1478294 | 2147483647 90441 584 | 13.349 % |
492.52/492.86 c | 92000 | 98242 532028 1478294 | 2147483647 91400 588 | 13.349 % |
499.72/500.01 c | 93053 | 98240 532028 1478294 | 2147483647 92451 589 | 13.351 % |
500.02/500.39 c | 93155 | 98240 532028 1478294 | 2147483647 92553 588 | 13.351 % |
500.52/500.82 c | 93265 | 98240 532028 1478294 | 2147483647 92663 588 | 13.351 % |
501.32/501.69 c | 93389 | 98240 532028 1478294 | 2147483647 92787 588 | 13.351 % |
502.32/502.62 c | 93523 | 98236 532028 1478294 | 2147483647 92919 588 | 13.375 % |
502.81/503.14 c | 93674 | 98236 532028 1478294 | 2147483647 93070 587 | 13.375 % |
504.22/504.58 c | 93835 | 98236 532028 1478294 | 2147483647 93231 588 | 13.375 % |
505.82/506.16 c | 94012 | 98235 532028 1478294 | 2147483647 93407 588 | 13.376 % |
506.92/507.26 c | 94208 | 98235 532028 1478294 | 2147483647 93603 588 | 13.376 % |
508.22/508.60 c | 94420 | 98235 532028 1478294 | 2147483647 93815 589 | 13.376 % |
509.81/510.17 c | 94653 | 98233 532028 1478294 | 2147483647 94046 590 | 13.377 % |
511.01/511.38 c | 94909 | 98233 532028 1478294 | 2147483647 94302 589 | 13.377 % |
512.51/512.86 c | 95191 | 98233 532028 1478294 | 2147483647 94584 589 | 13.377 % |
514.72/515.07 c | 95503 | 98233 532028 1478294 | 2147483647 94896 588 | 13.377 % |
516.91/517.26 c | 95847 | 98233 532028 1478294 | 2147483647 95240 588 | 13.377 % |
520.31/520.64 c | 96224 | 98233 532028 1478294 | 2147483647 95617 589 | 13.377 % |
522.51/522.86 c | 96633 | 98233 532028 1478294 | 2147483647 96026 589 | 13.377 % |
526.00/526.32 c | 97082 | 98233 532028 1478294 | 2147483647 96475 590 | 13.378 % |
529.01/529.38 c | 97578 | 98233 532028 1478294 | 2147483647 96971 590 | 13.377 % |
532.91/533.23 c | 98124 | 98233 532028 1478294 | 2147483647 97517 590 | 13.377 % |
536.70/537.01 c | 98722 | 98233 532028 1478294 | 2147483647 98115 591 | 13.377 % |
540.60/540.90 c | 99379 | 98232 532028 1478294 | 2147483647 98771 591 | 13.378 % |
546.61/546.93 c | 100099 | 98232 532028 1478294 | 2147483647 99491 592 | 13.378 % |
551.20/551.54 c | 100891 | 98209 531846 1477858 | 2147483647 100278 591 | 13.378 % |
555.39/555.71 c | 101763 | 98206 531846 1477858 | 2147483647 101149 590 | 13.390 % |
561.40/561.71 c | 102723 | 98205 531846 1477858 | 2147483647 102108 590 | 13.391 % |
568.99/569.39 c | 103776 | 98205 531846 1477858 | 2147483647 103161 591 | 13.391 % |
575.49/575.81 c | 104934 | 98205 531846 1477858 | 2147483647 104319 592 | 13.391 % |
576.10/576.47 c | 105034 | 98205 531846 1477858 | 2147483647 104419 592 | 13.391 % |
576.79/577.18 c | 105144 | 98204 531846 1477858 | 2147483647 104528 592 | 13.471 % |
577.79/578.17 c | 105266 | 98204 531846 1477858 | 2147483647 104650 593 | 13.471 % |
578.99/579.32 c | 105399 | 98204 531846 1477858 | 2147483647 104783 593 | 13.471 % |
580.09/580.41 c | 105548 | 98204 531846 1477858 | 2147483647 104932 593 | 13.471 % |
581.29/581.60 c | 105708 | 98204 531846 1477858 | 2147483647 105092 593 | 13.471 % |
582.19/582.52 c | 105884 | 98204 531846 1477858 | 2147483647 105268 593 | 13.471 % |
583.29/583.60 c | 106077 | 98204 531846 1477858 | 2147483647 105461 593 | 13.471 % |
583.99/584.39 c | 106292 | 98202 531846 1477858 | 2147483647 105675 592 | 13.482 % |
586.19/586.57 c | 106528 | 98202 531846 1477858 | 2147483647 105911 592 | 13.482 % |
587.59/587.98 c | 106784 | 98202 531846 1477858 | 2147483647 106167 592 | 13.482 % |
589.99/590.31 c | 107065 | 98202 531846 1477858 | 2147483647 106448 593 | 13.482 % |
591.98/592.36 c | 107375 | 98202 531846 1477858 | 2147483647 106758 593 | 13.482 % |
595.18/595.60 c | 107714 | 98202 531846 1477858 | 2147483647 107097 593 | 13.482 % |
597.79/598.15 c | 108089 | 98201 531846 1477858 | 2147483647 107471 594 | 13.482 % |
600.38/600.78 c | 108502 | 98200 531846 1477858 | 2147483647 107883 594 | 13.483 % |
603.68/604.09 c | 108951 | 98200 531846 1477858 | 2147483647 108332 595 | 13.483 % |
606.78/607.16 c | 109446 | 98200 531846 1477858 | 2147483647 108827 594 | 13.483 % |
610.97/611.37 c | 109989 | 98200 531846 1477858 | 2147483647 109370 595 | 13.483 % |
614.78/615.18 c | 110586 | 98200 531846 1477858 | 2147483647 109967 597 | 13.483 % |
618.07/618.47 c | 111241 | 98199 531846 1477858 | 2147483647 110621 597 | 13.495 % |
623.18/623.56 c | 111961 | 98199 531846 1477858 | 2147483647 111341 599 | 13.495 % |
628.17/628.56 c | 112753 | 98199 531846 1477858 | 2147483647 112133 600 | 13.495 % |
632.98/633.34 c | 113626 | 98199 531846 1477858 | 2147483647 113006 602 | 13.495 % |
639.47/639.84 c | 114584 | 98075 531087 1475877 | 2147483647 113949 603 | 13.497 % |
643.26/643.61 c | 115638 | 98075 531087 1475877 | 2147483647 115003 600 | 13.497 % |
650.87/651.28 c | 116805 | 98075 531087 1475877 | 2147483647 116170 603 | 13.497 % |
660.77/661.11 c | 118079 | 98075 531087 1475877 | 2147483647 117444 608 | 13.497 % |
661.16/661.52 c | 118184 | 98075 531087 1475877 | 2147483647 117549 608 | 13.497 % |
662.06/662.42 c | 118294 | 98075 531087 1475877 | 2147483647 117659 608 | 13.497 % |
663.06/663.48 c | 118417 | 98073 531087 1475877 | 2147483647 117780 608 | 13.498 % |
663.96/664.31 c | 118552 | 98073 531087 1475877 | 2147483647 117915 608 | 13.498 % |
664.86/665.29 c | 118699 | 98073 531087 1475877 | 2147483647 118062 608 | 13.498 % |
666.06/666.49 c | 118859 | 98071 531087 1475877 | 2147483647 118221 608 | 13.516 % |
667.36/667.74 c | 119038 | 98071 531087 1475877 | 2147483647 118400 608 | 13.516 % |
667.85/668.29 c | 119235 | 98071 531087 1475877 | 2147483647 118597 607 | 13.516 % |
669.35/669.71 c | 119447 | 98071 531087 1475877 | 2147483647 118809 607 | 13.516 % |
670.76/671.18 c | 119680 | 98071 531087 1475877 | 2147483647 119042 607 | 13.516 % |
672.66/673.02 c | 119936 | 98071 531087 1475877 | 2147483647 119298 608 | 13.516 % |
674.25/674.64 c | 120217 | 98071 531087 1475877 | 2147483647 119579 608 | 13.516 % |
676.55/676.93 c | 120526 | 98071 531087 1475877 | 2147483647 119888 610 | 13.516 % |
678.76/679.14 c | 120868 | 98071 531087 1475877 | 2147483647 120230 609 | 13.516 % |
680.95/681.34 c | 121241 | 98069 531087 1475877 | 2147483647 120601 609 | 13.557 % |
683.65/684.05 c | 121650 | 98069 531087 1475877 | 2147483647 121010 609 | 13.557 % |
686.64/687.09 c | 122099 | 98067 531087 1475877 | 2147483647 121457 609 | 13.559 % |
689.85/690.26 c | 122593 | 98067 531087 1475877 | 2147483647 121951 609 | 13.559 % |
693.85/694.28 c | 123139 | 98067 531087 1475877 | 2147483647 122497 609 | 13.559 % |
699.74/700.18 c | 123736 | 98067 531087 1475877 | 2147483647 123094 610 | 13.559 % |
704.14/704.54 c | 124392 | 98067 531087 1475877 | 2147483647 123750 612 | 13.559 % |
709.94/710.32 c | 125112 | 98066 531087 1475877 | 2147483647 124469 613 | 13.560 % |
717.24/717.64 c | 125910 | 98065 531087 1475877 | 2147483647 125266 616 | 13.561 % |
722.23/722.69 c | 126787 | 98065 531087 1475877 | 2147483647 126143 615 | 13.561 % |
732.83/733.22 c | 127753 | 98065 531087 1475877 | 2147483647 127109 617 | 13.561 % |
740.82/741.29 c | 128807 | 98063 531087 1475877 | 2147483647 128160 619 | 13.566 % |
749.02/749.41 c | 129965 | 98063 531087 1475877 | 2147483647 129317 621 | 13.573 % |
759.22/759.63 c | 131239 | 98063 531087 1475877 | 2147483647 130591 623 | 13.573 % |
770.12/770.56 c | 132640 | 97988 530650 1474728 | 2147483647 131979 627 | 13.573 % |
771.02/771.47 c | 132741 | 97988 530650 1474728 | 2147483647 132080 627 | 13.573 % |
771.72/772.13 c | 132851 | 97988 530650 1474728 | 2147483647 132190 627 | 13.573 % |
772.72/773.16 c | 132978 | 97988 530650 1474728 | 2147483647 132317 627 | 13.573 % |
773.52/773.96 c | 133123 | 97988 530650 1474728 | 2147483647 132462 627 | 13.573 % |
773.92/774.38 c | 133271 | 97985 530650 1474728 | 2147483647 132608 627 | 13.585 % |
775.62/776.09 c | 133433 | 97985 530650 1474728 | 2147483647 132770 626 | 13.585 % |
777.11/777.50 c | 133611 | 97985 530650 1474728 | 2147483647 132948 627 | 13.585 % |
778.42/778.87 c | 133806 | 97984 530650 1474728 | 2147483647 133142 627 | 13.586 % |
779.61/780.08 c | 134019 | 97984 530650 1474728 | 2147483647 133355 627 | 13.586 % |
781.32/781.73 c | 134254 | 97984 530650 1474728 | 2147483647 133590 627 | 13.586 % |
783.12/783.54 c | 134510 | 97982 530650 1474728 | 2147483647 133845 628 | 13.601 % |
784.81/785.21 c | 134791 | 97982 530650 1474728 | 2147483647 134126 628 | 13.601 % |
786.81/787.28 c | 135101 | 97982 530650 1474728 | 2147483647 134436 628 | 13.601 % |
789.91/790.31 c | 135441 | 97982 530650 1474728 | 2147483647 134776 628 | 13.601 % |
792.21/792.66 c | 135813 | 97982 530650 1474728 | 2147483647 135148 629 | 13.601 % |
795.21/795.63 c | 136222 | 97982 530650 1474728 | 2147483647 135557 629 | 13.601 % |
798.51/798.97 c | 136671 | 97981 530650 1474728 | 2147483647 136005 630 | 13.602 % |
802.11/802.52 c | 137165 | 97981 530650 1474728 | 2147483647 136499 631 | 13.602 % |
805.81/806.24 c | 137710 | 97981 530650 1474728 | 2147483647 137044 632 | 13.602 % |
810.20/810.60 c | 138308 | 97981 530650 1474728 | 2147483647 137642 633 | 13.602 % |
815.00/815.44 c | 138963 | 97981 530650 1474728 | 2147483647 138297 635 | 13.602 % |
820.70/821.14 c | 139690 | 97981 530650 1474728 | 2147483647 139024 636 | 13.602 % |
826.90/827.39 c | 140484 | 97980 530650 1474728 | 2147483647 139817 637 | 13.602 % |
833.49/833.95 c | 141357 | 97945 530650 1474728 | 2147483647 140688 638 | 13.647 % |
841.19/841.60 c | 142316 | 97945 530650 1474728 | 2147483647 141647 639 | 13.647 % |
848.49/848.97 c | 143369 | 97945 530650 1474728 | 2147483647 142700 640 | 13.647 % |
858.29/858.79 c | 144528 | 97945 530650 1474728 | 2147483647 143859 642 | 13.647 % |
867.09/867.57 c | 145802 | 97945 530650 1474728 | 2147483647 145133 642 | 13.647 % |
877.88/878.31 c | 147202 | 97944 530650 1474728 | 2147483647 146532 647 | 13.648 % |
891.47/891.93 c | 148743 | 97944 530650 1474728 | 2147483647 148073 649 | 13.648 % |
892.37/892.84 c | 148844 | 97944 530650 1474728 | 2147483647 148174 649 | 13.648 % |
893.37/893.83 c | 148959 | 97944 530650 1474728 | 2147483647 148289 649 | 13.648 % |
894.17/894.61 c | 149080 | 97944 530650 1474728 | 2147483647 148410 649 | 13.648 % |
894.97/895.48 c | 149213 | 97944 530650 1474728 | 2147483647 148543 649 | 13.648 % |
896.68/897.11 c | 149360 | 97943 530650 1474728 | 2147483647 148689 649 | 13.649 % |
897.77/898.29 c | 149520 | 97943 530650 1474728 | 2147483647 148849 649 | 13.649 % |
899.07/899.56 c | 149697 | 97943 530650 1474728 | 2147483647 149026 649 | 13.649 % |
900.77/901.20 c | 149891 | 97943 530650 1474728 | 2147483647 149220 649 | 13.649 % |
902.07/902.56 c | 150107 | 97943 530650 1474728 | 2147483647 149436 649 | 13.649 % |
904.36/904.84 c | 150340 | 97902 530211 1473726 | 2147483647 149651 648 | 13.649 % |
905.98/906.49 c | 150597 | 97902 530211 1473726 | 2147483647 149908 649 | 13.649 % |
907.67/908.19 c | 150878 | 97902 530211 1473726 | 2147483647 150189 648 | 13.649 % |
909.77/910.25 c | 151187 | 97902 530211 1473726 | 2147483647 150498 649 | 13.649 % |
913.06/913.53 c | 151526 | 97902 530211 1473726 | 2147483647 150837 649 | 13.649 % |
915.56/916.04 c | 151898 | 97901 530211 1473726 | 2147483647 151208 649 | 13.650 % |
918.56/919.04 c | 152307 | 97901 530211 1473726 | 2147483647 151617 649 | 13.650 % |
922.47/922.95 c | 152758 | 97901 530211 1473726 | 2147483647 152068 650 | 13.650 % |
925.76/926.28 c | 153251 | 97901 530211 1473726 | 2147483647 152561 650 | 13.650 % |
932.76/933.23 c | 153797 | 97901 530211 1473726 | 2147483647 153107 650 | 13.650 % |
938.96/939.44 c | 154393 | 97895 530211 1473726 | 2147483647 153699 650 | 13.671 % |
945.05/945.52 c | 155050 | 97895 530211 1473726 | 2147483647 154356 651 | 13.671 % |
950.45/950.92 c | 155773 | 97894 530211 1473726 | 2147483647 155078 650 | 13.672 % |
956.65/957.13 c | 156566 | 97894 530211 1473726 | 2147483647 155871 651 | 13.672 % |
962.65/963.15 c | 157437 | 97893 530211 1473726 | 2147483647 156741 650 | 13.673 % |
971.14/971.68 c | 158398 | 97893 530211 1473726 | 2147483647 157702 651 | 13.673 % |
978.54/979.08 c | 159451 | 97893 530211 1473726 | 2147483647 158755 651 | 13.673 % |
986.53/987.06 c | 160609 | 97893 530211 1473726 | 2147483647 159913 652 | 13.673 % |
997.43/997.92 c | 161884 | 97892 530211 1473726 | 2147483647 161187 653 | 13.674 % |
1007.43/1007.92 c | 163284 | 97891 530211 1473726 | 2147483647 162586 656 | 13.675 % |
1021.22/1021.78 c | 164824 | 97891 530211 1473726 | 2147483647 164126 658 | 13.675 % |
1036.32/1036.83 c | 166518 | 97891 530211 1473726 | 2147483647 165820 663 | 13.675 % |
1037.42/1037.93 c | 166618 | 97891 530211 1473726 | 2147483647 165920 663 | 13.675 % |
1038.32/1038.82 c | 166728 | 97891 530211 1473726 | 2147483647 166030 663 | 13.675 % |
1039.32/1039.82 c | 166850 | 97891 530211 1473726 | 2147483647 166152 663 | 13.675 % |
1040.22/1040.78 c | 166983 | 97891 530211 1473726 | 2147483647 166285 663 | 13.675 % |
1041.52/1042.02 c | 167130 | 97891 530211 1473726 | 2147483647 166432 663 | 13.675 % |
1042.92/1043.40 c | 167293 | 97891 530211 1473726 | 2147483647 166595 663 | 13.675 % |
1043.32/1043.85 c | 167469 | 97891 530211 1473726 | 2147483647 166771 663 | 13.675 % |
1044.91/1045.42 c | 167664 | 97891 530211 1473726 | 2147483647 166966 663 | 13.675 % |
1046.02/1046.55 c | 167877 | 97891 530211 1473726 | 2147483647 167179 663 | 13.675 % |
1048.22/1048.77 c | 168110 | 97891 530211 1473726 | 2147483647 167412 663 | 13.675 % |
1050.52/1051.09 c | 168368 | 97890 530211 1473726 | 2147483647 167669 663 | 13.676 % |
1052.71/1053.26 c | 168649 | 97890 530211 1473726 | 2147483647 167950 664 | 13.676 % |
1055.82/1056.36 c | 168958 | 97890 530211 1473726 | 2147483647 168259 664 | 13.676 % |
1058.62/1059.11 c | 169297 | 97890 530211 1473726 | 2147483647 168598 665 | 13.676 % |
1061.42/1061.93 c | 169669 | 97890 530211 1473726 | 2147483647 168970 665 | 13.676 % |
1065.01/1065.56 c | 170082 | 97889 530211 1473726 | 2147483647 169382 666 | 13.676 % |
1067.71/1068.27 c | 170533 | 97889 530211 1473726 | 2147483647 169833 665 | 13.676 % |
1071.50/1072.06 c | 171029 | 97869 530211 1473726 | 2147483647 170325 664 | 13.796 % |
1073.41/1073.96 c | 171571 | 97869 530211 1473726 | 2147483647 170867 664 | 13.796 % |
1080.11/1080.65 c | 172167 | 97869 530211 1473726 | 2147483647 171463 665 | 13.796 % |
1086.91/1087.48 c | 172824 | 97734 529437 1472083 | 2147483647 172112 665 | 13.797 % |
1093.40/1093.94 c | 173544 | 97733 529437 1472083 | 2147483647 172831 666 | 13.798 % |
1099.51/1100.03 c | 174336 | 97733 529437 1472083 | 2147483647 173623 667 | 13.798 % |
1105.10/1105.64 c | 175207 | 97733 529437 1472083 | 2147483647 174494 666 | 13.798 % |
1112.09/1112.68 c | 176167 | 97732 529437 1472083 | 2147483647 175453 667 | 13.799 % |
1121.79/1122.30 c | 177221 | 97732 529437 1472083 | 2147483647 176507 669 | 13.799 % |
1132.19/1132.70 c | 178381 | 97732 529437 1472083 | 2147483647 177667 670 | 13.799 % |
1142.29/1142.87 c | 179654 | 97732 529437 1472083 | 2147483647 178940 672 | 13.799 % |
1154.08/1154.69 c | 181055 | 97732 529437 1472083 | 2147483647 180341 674 | 13.799 % |
1168.08/1168.69 c | 182595 | 97732 529437 1472083 | 2147483647 181881 675 | 13.799 % |
1182.87/1183.44 c | 184290 | 97732 529437 1472083 | 2147483647 183575 677 | 13.800 % |
1199.36/1199.99 c | 186153 | 97731 529437 1472083 | 2147483647 185437 678 | 13.801 % |
1200.26/1200.80 c | 186255 | 97731 529437 1472083 | 2147483647 185539 678 | 13.801 % |
1201.46/1202.04 c | 186365 | 97731 529437 1472083 | 2147483647 185649 678 | 13.801 % |
1202.56/1203.19 c | 186486 | 97731 529437 1472083 | 2147483647 185770 678 | 13.801 % |
1203.86/1204.41 c | 186619 | 97731 529437 1472083 | 2147483647 185903 678 | 13.801 % |
1204.96/1205.52 c | 186767 | 97731 529437 1472083 | 2147483647 186051 678 | 13.801 % |
1206.36/1206.97 c | 186928 | 97731 529437 1472083 | 2147483647 186212 678 | 13.801 % |
1207.36/1207.95 c | 187112 | 97730 529437 1472083 | 2147483647 186395 678 | 13.803 % |
1209.86/1210.48 c | 187308 | 97730 529437 1472083 | 2147483647 186591 679 | 13.803 % |
1211.67/1212.25 c | 187520 | 97730 529437 1472083 | 2147483647 186803 679 | 13.803 % |
1214.06/1214.66 c | 187755 | 97730 529437 1472083 | 2147483647 187038 679 | 13.803 % |
1216.36/1216.98 c | 188012 | 97730 529437 1472083 | 2147483647 187295 679 | 13.803 % |
1218.35/1218.93 c | 188295 | 97730 529437 1472083 | 2147483647 187578 679 | 13.803 % |
1220.76/1221.30 c | 188604 | 97730 529437 1472083 | 2147483647 187887 679 | 13.803 % |
1224.16/1224.79 c | 188944 | 97730 529437 1472083 | 2147483647 188227 679 | 13.803 % |
1226.96/1227.60 c | 189320 | 97730 529437 1472083 | 2147483647 188603 679 | 13.803 % |
1230.75/1231.30 c | 189733 | 97730 529437 1472083 | 2147483647 189016 679 | 13.803 % |
1234.76/1235.36 c | 190182 | 97730 529437 1472083 | 2147483647 189465 680 | 13.803 % |
1239.25/1239.85 c | 190675 | 97730 529437 1472083 | 2147483647 189958 680 | 13.803 % |
1244.55/1245.11 c | 191217 | 97729 529437 1472083 | 2147483647 190499 680 | 13.804 % |
1250.64/1251.21 c | 191814 | 97728 529437 1472083 | 2147483647 191095 681 | 13.806 % |
1257.44/1258.09 c | 192469 | 97728 529437 1472083 | 2147483647 191750 680 | 13.806 % |
1264.54/1265.10 c | 193192 | 97728 529437 1472083 | 2147483647 192473 681 | 13.806 % |
1270.74/1271.35 c | 193985 | 97728 529437 1472083 | 2147483647 193266 682 | 13.806 % |
1277.93/1278.58 c | 194858 | 97726 529437 1472083 | 2147483647 194138 682 | 13.809 % |
1286.73/1287.32 c | 195817 | 97726 529437 1472083 | 2147483647 195097 683 | 13.809 % |
1295.83/1296.47 c | 196873 | 97726 529437 1472083 | 2147483647 196153 683 | 13.809 % |
1304.42/1305.06 c | 198031 | 97720 529359 1471903 | 2147483647 197299 683 | 13.816 % |
1318.23/1318.89 c | 199304 | 97720 529359 1471903 | 2147483647 198572 685 | 13.816 % |
1332.11/1332.72 c | 200706 | 97719 529359 1471903 | 2147483647 199973 686 | 13.817 % |
1344.61/1345.23 c | 202250 | 97717 529359 1471903 | 2147483647 201515 687 | 13.818 % |
1359.40/1360.09 c | 203946 | 97713 529359 1471903 | 2147483647 203209 688 | 13.833 % |
1377.10/1377.76 c | 205809 | 97713 529359 1471903 | 2147483647 205071 690 | 13.833 % |
1397.49/1398.17 c | 207858 | 97711 529359 1471903 | 2147483647 207118 691 | 13.835 % |
1398.49/1399.10 c | 207960 | 97711 529359 1471903 | 2147483647 207220 691 | 13.835 % |
1399.59/1400.23 c | 208070 | 97711 529359 1471903 | 2147483647 207330 692 | 13.835 % |
1400.79/1401.41 c | 208193 | 97711 529359 1471903 | 2147483647 207453 691 | 13.835 % |
1401.59/1402.24 c | 208327 | 97711 529359 1471903 | 2147483647 207587 691 | 13.835 % |
1403.29/1403.97 c | 208475 | 97711 529359 1471903 | 2147483647 207735 691 | 13.835 % |
1404.89/1405.56 c | 208635 | 97711 529359 1471903 | 2147483647 207895 692 | 13.835 % |
1406.38/1407.06 c | 208811 | 97711 529359 1471903 | 2147483647 208071 691 | 13.835 % |
1408.08/1408.72 c | 209006 | 97711 529359 1471903 | 2147483647 208266 691 | 13.835 % |
1409.68/1410.34 c | 209218 | 97711 529359 1471903 | 2147483647 208478 691 | 13.835 % |
1411.88/1412.56 c | 209452 | 97711 529359 1471903 | 2147483647 208712 691 | 13.835 % |
1414.79/1415.40 c | 209710 | 97711 529359 1471903 | 2147483647 208970 691 | 13.835 % |
1417.58/1418.24 c | 209993 | 97711 529359 1471903 | 2147483647 209253 691 | 13.835 % |
1420.38/1421.10 c | 210306 | 97710 529359 1471903 | 2147483647 209565 691 | 13.836 % |
1423.08/1423.75 c | 210645 | 97710 529359 1471903 | 2147483647 209904 691 | 13.836 % |
1426.87/1427.55 c | 211018 | 97710 529359 1471903 | 2147483647 210277 691 | 13.836 % |
1430.08/1430.72 c | 211431 | 97710 529359 1471903 | 2147483647 210690 692 | 13.836 % |
1434.97/1435.67 c | 211880 | 97710 529359 1471903 | 2147483647 211139 692 | 13.836 % |
1439.37/1440.04 c | 212377 | 97710 529359 1471903 | 2147483647 211636 692 | 13.836 % |
1444.37/1445.09 c | 212920 | 97710 529359 1471903 | 2147483647 212179 693 | 13.836 % |
1450.07/1450.77 c | 213516 | 97710 529359 1471903 | 2147483647 212775 693 | 13.836 % |
1455.67/1456.30 c | 214171 | 97710 529359 1471903 | 2147483647 213430 694 | 13.836 % |
1462.07/1462.76 c | 214892 | 97707 529359 1471903 | 2147483647 214148 695 | 13.839 % |
1469.47/1470.15 c | 215684 | 97707 529359 1471903 | 2147483647 214940 695 | 13.839 % |
1479.36/1480.02 c | 216557 | 97707 529359 1471903 | 2147483647 215813 697 | 13.839 % |
1488.75/1489.45 c | 217517 | 97707 529359 1471903 | 2147483647 216773 697 | 13.839 % |
1497.45/1498.15 c | 218570 | 97706 529359 1471903 | 2147483647 217825 698 | 13.840 % |
1507.45/1508.17 c | 219728 | 97706 529359 1471903 | 2147483647 218983 698 | 13.840 % |
1517.84/1518.59 c | 221003 | 97699 529359 1471903 | 2147483647 220256 699 | 13.901 % |
1529.54/1530.27 c | 222403 | 97699 529359 1471903 | 2147483647 221656 699 | 13.901 % |
1542.24/1542.99 c | 223943 | 97699 529359 1471903 | 2147483647 223196 700 | 13.901 % |
1556.93/1557.64 c | 225638 | 97699 529359 1471903 | 2147483647 224891 701 | 13.901 % |
1572.42/1573.19 c | 227501 | 97617 528746 1470267 | 2147483647 226709 700 | 13.901 % |
1592.82/1593.55 c | 229553 | 97617 528746 1470267 | 2147483647 228761 701 | 13.901 % |
1610.22/1610.96 c | 231807 | 97617 528746 1470267 | 2147483647 231015 703 | 13.901 % |
1611.21/1611.91 c | 231907 | 97617 528746 1470267 | 2147483647 231115 703 | 13.901 % |
1612.31/1613.06 c | 232017 | 97617 528746 1470267 | 2147483647 231225 703 | 13.901 % |
1613.31/1614.01 c | 232139 | 97617 528746 1470267 | 2147483647 231347 702 | 13.901 % |
1614.61/1615.36 c | 232272 | 97617 528746 1470267 | 2147483647 231480 702 | 13.901 % |
1616.21/1616.97 c | 232420 | 97617 528746 1470267 | 2147483647 231628 702 | 13.901 % |
1617.41/1618.18 c | 232581 | 97617 528746 1470267 | 2147483647 231789 702 | 13.901 % |
1619.11/1619.84 c | 232760 | 97617 528746 1470267 | 2147483647 231968 702 | 13.901 % |
1621.01/1621.75 c | 232953 | 97617 528746 1470267 | 2147483647 232161 703 | 13.901 % |
1623.31/1624.10 c | 233168 | 97617 528746 1470267 | 2147483647 232376 703 | 13.901 % |
1625.70/1626.40 c | 233401 | 97617 528746 1470267 | 2147483647 232609 703 | 13.901 % |
1628.20/1628.92 c | 233657 | 97617 528746 1470267 | 2147483647 232865 703 | 13.901 % |
1630.60/1631.31 c | 233938 | 97617 528746 1470267 | 2147483647 233146 703 | 13.901 % |
1633.50/1634.24 c | 234249 | 97617 528746 1470267 | 2147483647 233457 703 | 13.901 % |
1636.90/1637.69 c | 234589 | 97617 528746 1470267 | 2147483647 233797 703 | 13.901 % |
1641.00/1641.77 c | 234962 | 97617 528746 1470267 | 2147483647 234170 703 | 13.901 % |
1644.80/1645.58 c | 235371 | 97617 528746 1470267 | 2147483647 234579 703 | 13.901 % |
1648.80/1649.51 c | 235821 | 97617 528746 1470267 | 2147483647 235029 703 | 13.901 % |
1652.99/1653.73 c | 236315 | 97617 528746 1470267 | 2147483647 235523 704 | 13.901 % |
1655.00/1655.78 c | 236857 | 97617 528746 1470267 | 2147483647 236065 703 | 13.901 % |
1660.89/1661.63 c | 237455 | 97616 528746 1470267 | 2147483647 236662 704 | 13.979 % |
1667.79/1668.56 c | 238115 | 97559 528746 1470267 | 2147483647 237320 704 | 14.055 % |
1674.98/1675.73 c | 238836 | 97559 528746 1470267 | 2147483647 238041 704 | 14.055 % |
1682.29/1683.00 c | 239629 | 97559 528746 1470267 | 2147483647 238834 705 | 14.055 % |
1690.88/1691.69 c | 240503 | 97559 528746 1470267 | 2147483647 239708 705 | 14.055 % |
1699.38/1700.10 c | 241463 | 97559 528746 1470267 | 2147483647 240668 705 | 14.055 % |
1709.17/1709.94 c | 242516 | 97558 528746 1470267 | 2147483647 241720 705 | 14.056 % |
1719.68/1720.42 c | 243674 | 97558 528746 1470267 | 2147483647 242878 706 | 14.056 % |
1732.67/1733.40 c | 244948 | 97558 528746 1470267 | 2147483647 244152 708 | 14.056 % |
1744.56/1745.33 c | 246352 | 97558 528746 1470267 | 2147483647 245556 710 | 14.056 % |
1758.66/1759.41 c | 247892 | 97555 528746 1470267 | 2147483647 247094 710 | 14.070 % |
1775.65/1776.43 c | 249589 | 97555 528746 1470267 | 2147483647 248790 712 | 14.071 % |
1795.45/1796.23 c | 251454 | 97550 528746 1470267 | 2147483647 250652 712 | 14.109 % |
1812.24/1813.00 c | 253503 | 97550 528746 1470267 | 2147483647 252701 713 | 14.109 % |
1829.93/1830.74 c | 255757 | 97550 528746 1470267 | 2147483647 254955 713 | 14.109 % |
1854.33/1855.12 c | 258235 | 97547 528746 1470267 | 2147483647 257430 714 | 14.111 % |
1855.43/1856.29 c | 258335 | 97547 528746 1470267 | 2147483647 257530 714 | 14.111 % |
1856.53/1857.39 c | 258449 | 97547 528746 1470267 | 2147483647 257644 714 | 14.111 % |
1857.83/1858.69 c | 258573 | 97547 528746 1470267 | 2147483647 257768 714 | 14.111 % |
1859.52/1860.37 c | 258706 | 97547 528746 1470267 | 2147483647 257901 714 | 14.111 % |
1860.32/1861.19 c | 258854 | 97547 528746 1470267 | 2147483647 258049 714 | 14.111 % |
1862.02/1862.87 c | 259014 | 97547 528746 1470267 | 2147483647 258209 714 | 14.111 % |
1863.92/1864.76 c | 259190 | 97546 528746 1470267 | 2147483647 258384 714 | 14.112 % |
1865.92/1866.77 c | 259383 | 97546 528746 1470267 | 2147483647 258577 714 | 14.112 % |
1867.92/1868.76 c | 259596 | 97546 528746 1470267 | 2147483647 258790 714 | 14.112 % |
1870.32/1871.14 c | 259830 | 97546 528746 1470267 | 2147483647 259024 714 | 14.112 % |
1872.42/1873.22 c | 260090 | 97546 528746 1470267 | 2147483647 259284 714 | 14.112 % |
1875.61/1876.49 c | 260371 | 97546 528746 1470267 | 2147483647 259565 714 | 14.112 % |
1878.71/1879.56 c | 260682 | 97546 528746 1470267 | 2147483647 259876 714 | 14.112 % |
1881.51/1882.32 c | 261023 | 97546 528746 1470267 | 2147483647 260217 714 | 14.112 % |
1884.61/1885.45 c | 261395 | 97546 528746 1470267 | 2147483647 260589 714 | 14.112 % |
1889.71/1890.54 c | 261807 | 97546 528746 1470267 | 2147483647 261001 714 | 14.112 % |
1893.61/1894.42 c | 262259 | 97546 528746 1470267 | 2147483647 261453 714 | 14.112 % |
1899.00/1899.81 c | 262752 | 97546 528746 1470267 | 2147483647 261946 714 | 14.112 % |
1904.00/1904.85 c | 263294 | 97361 527194 1466133 | 2147483647 262435 715 | 14.126 % |
1910.60/1911.40 c | 263891 | 97360 527194 1466133 | 2147483647 263031 716 | 14.127 % |
1916.90/1917.76 c | 264546 | 97359 527194 1466133 | 2147483647 263685 716 | 14.128 % |
1925.00/1925.82 c | 265266 | 97359 527194 1466133 | 2147483647 264405 717 | 14.128 % |
1933.89/1934.72 c | 266058 | 97359 527194 1466133 | 2147483647 265196 717 | 14.129 % |
1941.59/1942.40 c | 266929 | 97359 527194 1466133 | 2147483647 266067 718 | 14.129 % |
1952.59/1953.43 c | 267887 | 97358 527194 1466133 | 2147483647 267024 718 | 14.130 % |
1962.09/1962.97 c | 268941 | 97358 527194 1466133 | 2147483647 268078 719 | 14.130 % |
1974.98/1975.87 c | 270100 | 97358 527194 1466133 | 2147483647 269237 721 | 14.130 % |
1986.57/1987.49 c | 271373 | 97358 527194 1466133 | 2147483647 270510 722 | 14.130 % |
2000.57/2001.47 c | 272777 | 97358 527194 1466133 | 2147483647 271914 723 | 14.130 % |
2020.16/2021.07 c | 274317 | 97358 527194 1466133 | 2147483647 273454 724 | 14.130 % |
2035.05/2035.99 c | 276015 | 97358 527194 1466133 | 2147483647 275152 724 | 14.130 % |
2052.35/2053.22 c | 277879 | 97357 527194 1466133 | 2147483647 277015 725 | 14.131 % |
2070.65/2071.57 c | 279931 | 97354 527194 1466133 | 2147483647 279066 724 | 14.151 % |
2094.04/2094.93 c | 282192 | 97353 527194 1466133 | 2147483647 281326 726 | 14.152 % |
2119.52/2120.42 c | 284670 | 97353 527194 1466133 | 2147483647 283804 728 | 14.152 % |
2151.52/2152.47 c | 287395 | 97352 527194 1466133 | 2147483647 286528 729 | 14.153 % |
2152.62/2153.53 c | 287497 | 97352 527194 1466133 | 2147483647 286630 729 | 14.153 % |
2153.92/2154.83 c | 287607 | 97352 527194 1466133 | 2147483647 286740 729 | 14.153 % |
2155.12/2156.01 c | 287728 | 97352 527194 1466133 | 2147483647 286861 729 | 14.153 % |
2156.61/2157.51 c | 287861 | 97352 527194 1466133 | 2147483647 286994 729 | 14.153 % |
2158.11/2159.05 c | 288007 | 97351 527194 1466133 | 2147483647 287139 729 | 14.155 % |
2159.71/2160.68 c | 288169 | 97350 527194 1466133 | 2147483647 287300 729 | 14.156 % |
2161.71/2162.67 c | 288346 | 97350 527194 1466133 | 2147483647 287477 729 | 14.156 % |
2163.71/2164.60 c | 288539 | 97350 527194 1466133 | 2147483647 287670 729 | 14.156 % |
2165.61/2166.58 c | 288753 | 97350 527194 1466133 | 2147483647 287884 729 | 14.156 % |
2168.81/2169.75 c | 288986 | 97350 527194 1466133 | 2147483647 288117 729 | 14.156 % |
2170.71/2171.69 c | 289246 | 97350 527194 1466133 | 2147483647 288377 729 | 14.156 % |
2174.31/2175.24 c | 289528 | 97350 527194 1466133 | 2147483647 288659 729 | 14.156 % |
2177.01/2177.90 c | 289839 | 97350 527194 1466133 | 2147483647 288970 729 | 14.156 % |
2180.30/2181.25 c | 290178 | 97350 527194 1466133 | 2147483647 289309 730 | 14.156 % |
2184.70/2185.68 c | 290550 | 97350 527194 1466133 | 2147483647 289681 729 | 14.156 % |
2190.21/2191.15 c | 290959 | 97350 527194 1466133 | 2147483647 290090 729 | 14.156 % |
2195.10/2196.00 c | 291409 | 97350 527194 1466133 | 2147483647 290540 729 | 14.156 % |
2201.50/2202.44 c | 291903 | 97350 527194 1466133 | 2147483647 291034 730 | 14.156 % |
2209.49/2210.49 c | 292445 | 97350 527194 1466133 | 2147483647 291576 730 | 14.156 % |
2216.60/2217.52 c | 293041 | 97349 527194 1466133 | 2147483647 292171 730 | 14.157 % |
2222.78/2223.78 c | 293700 | 97349 527194 1466133 | 2147483647 292830 731 | 14.157 % |
2230.58/2231.59 c | 294422 | 97349 527194 1466133 | 2147483647 293552 731 | 14.157 % |
2239.28/2240.28 c | 295214 | 97348 527194 1466133 | 2147483647 294343 731 | 14.158 % |
2248.28/2249.27 c | 296085 | 97347 527194 1466133 | 2147483647 295213 732 | 14.159 % |
2257.28/2258.27 c | 297046 | 97347 527194 1466133 | 2147483647 296174 732 | 14.159 % |
2268.57/2269.59 c | 298099 | 97347 527194 1466133 | 2147483647 297227 733 | 14.159 % |
2280.57/2281.59 c | 299260 | 97347 527194 1466133 | 2147483647 298388 735 | 14.159 % |
2295.56/2296.58 c | 300535 | 97347 527194 1466133 | 2147483647 299663 735 | 14.159 % |
2308.96/2309.94 c | 301935 | 97347 527194 1466133 | 2147483647 301063 737 | 14.159 % |
2324.95/2325.91 c | 303475 | 97347 527194 1466133 | 2147483647 302603 738 | 14.159 % |
2342.85/2343.81 c | 305170 | 97345 527194 1466133 | 2147483647 304295 739 | 14.167 % |
2361.14/2362.13 c | 307033 | 97294 526785 1465098 | 2147483647 306119 739 | 14.185 % |
2381.23/2382.29 c | 309082 | 97294 526785 1465098 | 2147483647 308168 741 | 14.185 % |
2399.13/2400.16 c | 311335 | 97294 526785 1465098 | 2147483647 310421 743 | 14.185 % |
2422.41/2423.46 c | 313814 | 97294 526785 1465098 | 2147483647 312900 747 | 14.185 % |
2451.80/2452.82 c | 316539 | 97294 526785 1465098 | 2147483647 315625 747 | 14.185 % |
2485.09/2486.17 c | 319537 | 97294 526785 1465098 | 2147483647 318623 750 | 14.185 % |
2485.69/2486.76 c | 319637 | 97294 526785 1465098 | 2147483647 318723 750 | 14.185 % |
2486.29/2487.33 c | 319749 | 97293 526785 1465098 | 2147483647 318834 750 | 14.188 % |
2486.99/2488.05 c | 319871 | 97293 526785 1465098 | 2147483647 318956 750 | 14.188 % |
2488.99/2490.06 c | 320004 | 97293 526785 1465098 | 2147483647 319089 750 | 14.188 % |
2489.80/2490.83 c | 320153 | 97293 526785 1465098 | 2147483647 319238 749 | 14.188 % |
2492.19/2493.21 c | 320315 | 97293 526785 1465098 | 2147483647 319400 749 | 14.188 % |
2494.49/2495.54 c | 320492 | 97293 526785 1465098 | 2147483647 319577 749 | 14.188 % |
2497.00/2498.09 c | 320685 | 97293 526785 1465098 | 2147483647 319770 750 | 14.188 % |
2500.19/2501.21 c | 320897 | 97293 526785 1465098 | 2147483647 319982 750 | 14.188 % |
2502.89/2503.97 c | 321130 | 97293 526785 1465098 | 2147483647 320215 750 | 14.188 % |
2506.99/2508.03 c | 321388 | 97293 526785 1465098 | 2147483647 320473 750 | 14.188 % |
2509.69/2510.79 c | 321670 | 97293 526785 1465098 | 2147483647 320755 750 | 14.188 % |
2513.98/2515.01 c | 321979 | 97293 526785 1465098 | 2147483647 321064 750 | 14.188 % |
2517.18/2518.25 c | 322320 | 97293 526785 1465098 | 2147483647 321405 750 | 14.188 % |
2521.29/2522.37 c | 322693 | 97293 526785 1465098 | 2147483647 321778 750 | 14.188 % |
2525.48/2526.54 c | 323104 | 97293 526785 1465098 | 2147483647 322189 750 | 14.188 % |
2530.47/2531.53 c | 323557 | 97293 526785 1465098 | 2147483647 322642 750 | 14.188 % |
2536.08/2537.18 c | 324050 | 97293 526785 1465098 | 2147483647 323135 750 | 14.188 % |
2542.17/2543.22 c | 324592 | 97293 526785 1465098 | 2147483647 323677 750 | 14.188 % |
2548.57/2549.64 c | 325188 | 97293 526785 1465098 | 2147483647 324273 751 | 14.188 % |
2555.37/2556.41 c | 325843 | 97293 526785 1465098 | 2147483647 324928 751 | 14.188 % |
2563.46/2564.53 c | 326565 | 97293 526785 1465098 | 2147483647 325650 752 | 14.188 % |
2571.66/2572.78 c | 327360 | 97293 526785 1465098 | 2147483647 326445 752 | 14.188 % |
2580.25/2581.33 c | 328233 | 97293 526785 1465098 | 2147483647 327318 752 | 14.188 % |
2589.95/2591.05 c | 329191 | 97293 526785 1465098 | 2147483647 328276 752 | 14.188 % |
2600.75/2601.83 c | 330249 | 97293 526785 1465098 | 2147483647 329334 752 | 14.188 % |
2610.84/2611.92 c | 331408 | 97292 526785 1465098 | 2147483647 330492 751 | 14.189 % |
2626.84/2627.97 c | 332681 | 97292 526785 1465098 | 2147483647 331765 753 | 14.189 % |
2645.83/2646.96 c | 334081 | 97290 526785 1465098 | 2147483647 333163 754 | 14.191 % |
2660.93/2662.02 c | 335621 | 97290 526785 1465098 | 2147483647 334703 754 | 14.191 % |
2677.92/2679.08 c | 337315 | 97289 526785 1465098 | 2147483647 336396 754 | 14.192 % |
2699.62/2700.77 c | 339178 | 97289 526785 1465098 | 2147483647 338259 754 | 14.192 % |
2724.90/2726.01 c | 341230 | 97288 526785 1465098 | 2147483647 340310 755 | 14.192 % |
2745.70/2746.89 c | 343488 | 97287 526785 1465098 | 2147483647 342567 754 | 14.193 % |
2776.39/2777.57 c | 345966 | 97286 526785 1465098 | 2147483647 345044 756 | 14.194 % |
2807.28/2808.46 c | 348692 | 97286 526785 1465098 | 2147483647 347770 757 | 14.194 % |
2845.96/2847.17 c | 351692 | 97285 526785 1465098 | 2147483647 350769 759 | 14.195 % |
2884.65/2885.84 c | 354991 | 97283 526785 1465098 | 2147483647 354066 762 | 14.197 % |
2886.05/2887.24 c | 355093 | 97283 526785 1465098 | 2147483647 354168 762 | 14.197 % |
2887.25/2888.50 c | 355205 | 97283 526785 1465098 | 2147483647 354280 762 | 14.197 % |
2889.05/2890.27 c | 355327 | 97283 526785 1465098 | 2147483647 354402 762 | 14.197 % |
2890.75/2891.92 c | 355462 | 97283 526785 1465098 | 2147483647 354537 762 | 14.197 % |
2891.85/2893.07 c | 355608 | 97283 526785 1465098 | 2147483647 354683 762 | 14.197 % |
2893.95/2895.14 c | 355768 | 97283 526785 1465098 | 2147483647 354843 762 | 14.197 % |
2896.65/2897.80 c | 355945 | 97283 526785 1465098 | 2147483647 355020 762 | 14.197 % |
2899.04/2900.27 c | 356140 | 97283 526785 1465098 | 2147483647 355215 762 | 14.197 % |
2901.94/2903.14 c | 356355 | 97283 526785 1465098 | 2147483647 355430 762 | 14.197 % |
2904.65/2905.83 c | 356589 | 97283 526785 1465098 | 2147483647 355664 762 | 14.197 % |
2907.54/2908.73 c | 356845 | 97283 526785 1465098 | 2147483647 355920 762 | 14.197 % |
2910.94/2912.16 c | 357126 | 97283 526785 1465098 | 2147483647 356201 762 | 14.197 % |
2914.14/2915.37 c | 357436 | 97283 526785 1465098 | 2147483647 356511 762 | 14.197 % |
2918.03/2919.25 c | 357777 | 97283 526785 1465098 | 2147483647 356852 762 | 14.197 % |
2922.23/2923.48 c | 358149 | 97282 526785 1465098 | 2147483647 357223 762 | 14.198 % |
2927.13/2928.35 c | 358559 | 97282 526785 1465098 | 2147483647 357633 762 | 14.198 % |
2931.33/2932.58 c | 359009 | 97282 526785 1465098 | 2147483647 358083 762 | 14.198 % |
2936.33/2937.52 c | 359504 | 97282 526785 1465098 | 2147483647 358578 762 | 14.198 % |
2942.83/2944.05 c | 360046 | 97282 526785 1465098 | 2147483647 359120 763 | 14.198 % |
2949.52/2950.78 c | 360643 | 97280 526718 1464954 | 2147483647 359672 763 | 14.198 % |
2956.92/2958.12 c | 361299 | 97280 526718 1464954 | 2147483647 360328 763 | 14.198 % |
2967.02/2968.22 c | 362019 | 97280 526718 1464954 | 2147483647 361048 763 | 14.198 % |
2976.02/2977.20 c | 362811 | 97280 526718 1464954 | 2147483647 361840 763 | 14.198 % |
2986.21/2987.42 c | 363683 | 97280 526718 1464954 | 2147483647 362711 763 | 14.199 % |
2998.11/2999.33 c | 364641 | 97280 526718 1464954 | 2147483647 363669 763 | 14.199 % |
3007.70/3008.98 c | 365695 | 97280 526718 1464954 | 2147483647 364723 764 | 14.199 % |
3020.30/3021.55 c | 366853 | 97280 526718 1464954 | 2147483647 365881 765 | 14.199 % |
3036.99/3038.26 c | 368128 | 97279 526718 1464954 | 2147483647 367155 765 | 14.200 % |
3053.88/3055.14 c | 369528 | 97279 526718 1464954 | 2147483647 368555 767 | 14.200 % |
3070.48/3071.80 c | 371068 | 97279 526718 1464954 | 2147483647 370095 767 | 14.200 % |
3090.07/3091.30 c | 372762 | 97278 526718 1464954 | 2147483647 371788 767 | 14.200 % |
3109.57/3110.89 c | 374626 | 97278 526718 1464954 | 2147483647 373652 768 | 14.200 % |
3129.86/3131.18 c | 376677 | 97278 526718 1464954 | 2147483647 375703 769 | 14.200 % |
3157.35/3158.66 c | 378932 | 97278 526718 1464954 | 2147483647 377958 769 | 14.200 % |
3186.84/3188.14 c | 381411 | 97277 526718 1464954 | 2147483647 380436 769 | 14.201 % |
3219.63/3220.90 c | 384139 | 97274 526718 1464954 | 2147483647 383161 770 | 14.206 % |
3255.51/3256.86 c | 387139 | 97274 526718 1464954 | 2147483647 386161 770 | 14.206 % |
3298.20/3299.55 c | 390435 | 97273 526718 1464954 | 2147483647 389456 772 | 14.207 % |
3343.58/3344.90 c | 394061 | 97272 526718 1464954 | 2147483647 393081 773 | 14.207 % |
3344.98/3346.36 c | 394166 | 97272 526718 1464954 | 2147483647 393186 773 | 14.207 % |
3346.38/3347.77 c | 394278 | 97272 526718 1464954 | 2147483647 393298 773 | 14.207 % |
3347.68/3349.08 c | 394399 | 97272 526718 1464954 | 2147483647 393419 773 | 14.207 % |
3349.58/3350.96 c | 394535 | 97272 526718 1464954 | 2147483647 393555 773 | 14.207 % |
3352.08/3353.42 c | 394681 | 97272 526718 1464954 | 2147483647 393701 773 | 14.208 % |
3353.88/3355.29 c | 394842 | 97272 526718 1464954 | 2147483647 393862 773 | 14.207 % |
3356.88/3358.21 c | 395019 | 97272 526718 1464954 | 2147483647 394039 773 | 14.207 % |
3359.57/3360.91 c | 395212 | 97272 526718 1464954 | 2147483647 394232 773 | 14.207 % |
3362.17/3363.53 c | 395428 | 97272 526718 1464954 | 2147483647 394448 773 | 14.207 % |
3364.88/3366.25 c | 395662 | 97272 526718 1464954 | 2147483647 394682 773 | 14.207 % |
3368.67/3370.06 c | 395918 | 97271 526718 1464954 | 2147483647 394937 773 | 14.208 % |
3372.17/3373.51 c | 396202 | 97270 526718 1464954 | 2147483647 395220 773 | 14.209 % |
3375.17/3376.56 c | 396514 | 97270 526718 1464954 | 2147483647 395532 773 | 14.209 % |
3377.87/3379.24 c | 396855 | 97270 526718 1464954 | 2147483647 395873 773 | 14.209 % |
3382.17/3383.55 c | 397229 | 97269 526718 1464954 | 2147483647 396246 773 | 14.210 % |
3387.77/3389.12 c | 397639 | 97269 526718 1464954 | 2147483647 396656 773 | 14.210 % |
3393.46/3394.81 c | 398088 | 97269 526718 1464954 | 2147483647 397105 773 | 14.210 % |
3399.26/3400.61 c | 398582 | 97269 526718 1464954 | 2147483647 397599 773 | 14.210 % |
3403.46/3404.85 c | 399124 | 97269 526718 1464954 | 2147483647 398141 773 | 14.210 % |
3410.36/3411.77 c | 399723 | 97269 526718 1464954 | 2147483647 398740 773 | 14.210 % |
3417.46/3418.84 c | 400378 | 97269 526718 1464954 | 2147483647 399395 773 | 14.210 % |
3427.46/3428.89 c | 401098 | 97269 526718 1464954 | 2147483647 400115 773 | 14.210 % |
3437.05/3438.49 c | 401893 | 97269 526718 1464954 | 2147483647 400910 774 | 14.210 % |
3447.84/3449.30 c | 402765 | 97269 526718 1464954 | 2147483647 401782 773 | 14.210 % |
3457.44/3458.89 c | 403723 | 97269 526718 1464954 | 2147483647 402739 774 | 14.211 % |
3468.72/3470.13 c | 404776 | 97269 526718 1464954 | 2147483647 403792 774 | 14.211 % |
3479.72/3481.16 c | 405937 | 97268 526718 1464954 | 2147483647 404952 774 | 14.212 % |
3494.62/3496.03 c | 407210 | 97265 526718 1464954 | 2147483647 406224 775 | 14.215 % |
3512.91/3514.31 c | 408611 | 97265 526718 1464954 | 2147483647 407625 776 | 14.215 % |
3530.40/3531.85 c | 410151 | 97265 526718 1464954 | 2147483647 409165 776 | 14.215 % |
3549.20/3550.69 c | 411846 | 97265 526718 1464954 | 2147483647 410860 777 | 14.215 % |
3566.59/3568.04 c | 413709 | 97265 526718 1464954 | 2147483647 412723 777 | 14.215 % |
3591.48/3592.91 c | 415759 | 97265 526718 1464954 | 2147483647 414773 778 | 14.215 % |
3618.87/3620.38 c | 418013 | 97265 526718 1464954 | 2147483647 417027 778 | 14.215 % |
3645.46/3646.98 c | 420492 | 97264 526718 1464954 | 2147483647 419505 779 | 14.216 % |
3679.76/3681.20 c | 423219 | 97263 526718 1464954 | 2147483647 422231 782 | 14.217 % |
3718.64/3720.19 c | 426217 | 97263 526718 1464954 | 2147483647 425229 783 | 14.217 % |
3761.93/3763.46 c | 429514 | 97258 526615 1464736 | 2147483647 428504 783 | 14.217 % |
3804.01/3805.56 c | 433141 | 97257 526615 1464736 | 2147483647 432130 785 | 14.218 % |
3856.10/3857.62 c | 437129 | 97257 526615 1464736 | 2147483647 436118 787 | 14.218 % |
3857.59/3859.16 c | 437229 | 97257 526615 1464736 | 2147483647 436218 787 | 14.218 % |
3859.19/3860.71 c | 437340 | 97257 526615 1464736 | 2147483647 436329 787 | 14.218 % |
3860.59/3862.19 c | 437463 | 97257 526615 1464736 | 2147483647 436452 787 | 14.218 % |
3862.39/3863.97 c | 437596 | 97257 526615 1464736 | 2147483647 436585 787 | 14.218 % |
3864.89/3866.47 c | 437744 | 97257 526615 1464736 | 2147483647 436733 787 | 14.218 % |
3867.59/3869.12 c | 437904 | 97257 526615 1464736 | 2147483647 436893 787 | 14.218 % |
3870.39/3871.95 c | 438080 | 97257 526615 1464736 | 2147483647 437069 787 | 14.218 % |
3873.08/3874.63 c | 438275 | 97257 526615 1464736 | 2147483647 437264 787 | 14.218 % |
3875.69/3877.24 c | 438491 | 97257 526615 1464736 | 2147483647 437480 787 | 14.218 % |
3878.98/3880.53 c | 438724 | 97257 526615 1464736 | 2147483647 437713 787 | 14.218 % |
3882.78/3884.34 c | 438980 | 97256 526615 1464736 | 2147483647 437968 787 | 14.219 % |
3886.88/3888.44 c | 439261 | 97256 526615 1464736 | 2147483647 438249 787 | 14.219 % |
3890.58/3892.19 c | 439572 | 97256 526615 1464736 | 2147483647 438560 787 | 14.219 % |
3894.28/3895.88 c | 439912 | 97256 526615 1464736 | 2147483647 438900 788 | 14.219 % |
3900.47/3902.03 c | 440286 | 97256 526615 1464736 | 2147483647 439274 788 | 14.219 % |
3905.27/3906.88 c | 440695 | 97256 526615 1464736 | 2147483647 439683 788 | 14.219 % |
3911.76/3913.30 c | 441147 | 97256 526615 1464736 | 2147483647 440135 788 | 14.219 % |
3917.37/3918.94 c | 441643 | 97256 526615 1464736 | 2147483647 440631 788 | 14.219 % |
3925.07/3926.64 c | 442185 | 97256 526615 1464736 | 2147483647 441172 788 | 14.232 % |
3931.96/3933.59 c | 442781 | 97256 526615 1464736 | 2147483647 441768 788 | 14.232 % |
3940.45/3942.09 c | 443439 | 97256 526615 1464736 | 2147483647 442426 789 | 14.232 % |
3950.65/3952.26 c | 444159 | 97256 526615 1464736 | 2147483647 443146 789 | 14.232 % |
3960.25/3961.89 c | 444954 | 97255 526615 1464736 | 2147483647 443938 789 | 14.238 % |
3969.94/3971.51 c | 445825 | 97255 526615 1464736 | 2147483647 444809 789 | 14.238 % |
3982.74/3984.35 c | 446783 | 97255 526615 1464736 | 2147483647 445767 790 | 14.238 % |
3995.24/3996.84 c | 447839 | 97255 526615 1464736 | 2147483647 446823 791 | 14.238 % |
4010.34/4011.95 c | 448997 | 97255 526615 1464736 | 2147483647 447981 791 | 14.238 % |
4028.33/4029.96 c | 450271 | 97255 526615 1464736 | 2147483647 449255 792 | 14.238 % |
4046.52/4048.14 c | 451672 | 97251 526615 1464736 | 2147483647 450655 792 | 14.552 % |
4069.31/4070.90 c | 453213 | 97250 526615 1464736 | 2147483647 452195 792 | 14.553 % |
4087.60/4089.28 c | 454908 | 97250 526615 1464736 | 2147483647 453890 793 | 14.553 % |
4112.89/4114.50 c | 456774 | 97250 526615 1464736 | 2147483647 455754 794 | 14.561 % |
4138.48/4140.14 c | 458825 | 97249 526615 1464736 | 2147483647 457804 794 | 14.562 % |
4170.78/4172.49 c | 461079 | 97249 526615 1464736 | 2147483647 460058 795 | 14.562 % |
4204.06/4205.70 c | 463557 | 97249 526615 1464736 | 2147483647 462536 796 | 14.562 % |
4232.56/4234.29 c | 466283 | 97249 526615 1464736 | 2147483647 465262 798 | 14.562 % |
4270.54/4272.22 c | 469284 | 97248 526615 1464736 | 2147483647 468262 798 | 14.563 % |
4315.22/4316.90 c | 472581 | 97248 526615 1464736 | 2147483647 471559 800 | 14.563 % |
4365.21/4366.93 c | 476206 | 97248 526615 1464736 | 2147483647 475183 802 | 14.564 % |
4420.58/4422.38 c | 480193 | 97248 526615 1464736 | 2147483647 479170 803 | 14.564 % |
4479.67/4481.45 c | 484579 | 97247 526615 1464736 | 2147483647 483555 805 | 14.566 % |
4481.36/4483.18 c | 484680 | 97247 526615 1464736 | 2147483647 483656 805 | 14.566 % |
4483.16/4484.91 c | 484791 | 97247 526615 1464736 | 2147483647 483767 805 | 14.566 % |
4484.46/4486.20 c | 484912 | 97247 526615 1464736 | 2147483647 483888 805 | 14.566 % |
4486.27/4488.03 c | 485049 | 97247 526615 1464736 | 2147483647 484025 805 | 14.566 % |
4488.16/4489.92 c | 485199 | 97247 526615 1464736 | 2147483647 484175 805 | 14.566 % |
4490.76/4492.54 c | 485360 | 97247 526615 1464736 | 2147483647 484336 805 | 14.566 % |
4493.66/4495.46 c | 485536 | 97247 526615 1464736 | 2147483647 484512 805 | 14.566 % |
4495.96/4497.76 c | 485733 | 97247 526615 1464736 | 2147483647 484709 805 | 14.566 % |
4499.76/4501.51 c | 485945 | 97247 526615 1464736 | 2147483647 484921 805 | 14.566 % |
4503.46/4505.23 c | 486183 | 97247 526615 1464736 | 2147483647 485159 805 | 14.566 % |
4508.26/4510.04 c | 486441 | 97247 526615 1464736 | 2147483647 485417 805 | 14.566 % |
4512.45/4514.20 c | 486722 | 97247 526615 1464736 | 2147483647 485698 805 | 14.566 % |
4517.45/4519.24 c | 487033 | 97247 526615 1464736 | 2147483647 486009 805 | 14.566 % |
4523.55/4525.31 c | 487373 | 97247 526615 1464736 | 2147483647 486349 805 | 14.566 % |
4529.35/4531.12 c | 487750 | 97247 526615 1464736 | 2147483647 486726 805 | 14.566 % |
4534.15/4535.90 c | 488162 | 97247 526615 1464736 | 2147483647 487138 805 | 14.566 % |
4539.24/4541.09 c | 488611 | 97247 526615 1464736 | 2147483647 487587 805 | 14.566 % |
4545.74/4547.51 c | 489105 | 97247 526615 1464736 | 2147483647 488081 805 | 14.566 % |
4553.54/4555.36 c | 489647 | 97247 526615 1464736 | 2147483647 488623 806 | 14.566 % |
4560.83/4562.64 c | 490245 | 97247 526615 1464736 | 2147483647 489221 806 | 14.566 % |
4569.64/4571.44 c | 490900 | 97247 526615 1464736 | 2147483647 489876 805 | 14.566 % |
4576.73/4578.57 c | 491625 | 97247 526615 1464736 | 2147483647 490601 805 | 14.566 % |
4589.83/4591.68 c | 492417 | 97247 526615 1464736 | 2147483647 491393 806 | 14.566 % |
4601.63/4603.48 c | 493292 | 97247 526615 1464736 | 2147483647 492268 806 | 14.566 % |
4614.42/4616.25 c | 494251 | 97247 526615 1464736 | 2147483647 493227 806 | 14.566 % |
4629.92/4631.78 c | 495304 | 97247 526615 1464736 | 2147483647 494280 807 | 14.566 % |
4645.21/4647.05 c | 496463 | 97247 526615 1464736 | 2147483647 495439 807 | 14.566 % |
4660.50/4662.34 c | 497736 | 97247 526615 1464736 | 2147483647 496712 808 | 14.566 % |
4677.19/4679.08 c | 499137 | 97247 526615 1464736 | 2147483647 498113 808 | 14.566 % |
4700.89/4702.74 c | 500677 | 97247 526615 1464736 | 2147483647 499653 808 | 14.566 % |
4724.18/4726.07 c | 502372 | 97247 526615 1464736 | 2147483647 501348 808 | 14.566 % |
4750.77/4752.63 c | 504235 | 97247 526615 1464736 | 2147483647 503211 808 | 14.566 % |
4776.76/4778.69 c | 506288 | 97247 526615 1464736 | 2147483647 505264 809 | 14.566 % |
4809.35/4811.29 c | 508542 | 96862 524777 1460935 | 2147483647 507497 810 | 14.566 % |
4836.74/4838.65 c | 511022 | 96860 524777 1460935 | 2147483647 509976 809 | 14.588 % |
4864.33/4866.23 c | 513747 | 96860 524777 1460935 | 2147483647 512701 810 | 14.589 % |
4907.02/4908.98 c | 516745 | 96858 524777 1460935 | 2147483647 515697 811 | 14.590 % |
4953.10/4955.00 c | 520041 | 96856 524777 1460935 | 2147483647 518992 814 | 14.743 % |
5001.79/5003.78 c | 523670 | 96856 524777 1460935 | 2147483647 522621 815 | 14.743 % |
5060.66/5062.66 c | 527661 | 96855 524777 1460935 | 2147483647 526611 815 | 14.744 % |
5124.34/5126.40 c | 532046 | 96852 524777 1460935 | 2147483647 530994 816 | 14.747 % |
5201.82/5203.89 c | 536871 | 96852 524777 1460935 | 2147483647 535818 816 | 14.748 % |
5203.71/5205.74 c | 536974 | 96852 524777 1460935 | 2147483647 535921 816 | 14.748 % |
5205.71/5207.70 c | 537087 | 96852 524777 1460935 | 2147483647 536034 816 | 14.748 % |
5206.91/5208.98 c | 537211 | 96852 524777 1460935 | 2147483647 536158 816 | 14.748 % |
5209.82/5211.88 c | 537350 | 96852 524777 1460935 | 2147483647 536297 816 | 14.748 % |
5211.92/5213.96 c | 537497 | 96852 524777 1460935 | 2147483647 536444 816 | 14.748 % |
5213.31/5215.30 c | 537660 | 96852 524777 1460935 | 2147483647 536607 816 | 14.748 % |
5215.91/5217.92 c | 537836 | 96852 524777 1460935 | 2147483647 536783 816 | 14.748 % |
5218.71/5220.70 c | 538030 | 96852 524777 1460935 | 2147483647 536977 815 | 14.748 % |
5221.30/5223.37 c | 538242 | 96852 524777 1460935 | 2147483647 537189 815 | 14.748 % |
5225.21/5227.28 c | 538475 | 96852 524777 1460935 | 2147483647 537422 816 | 14.748 % |
5229.20/5231.27 c | 538731 | 96852 524777 1460935 | 2147483647 537678 815 | 14.748 % |
5233.91/5235.98 c | 539014 | 96852 524777 1460935 | 2147483647 537961 816 | 14.748 % |
5238.10/5240.20 c | 539324 | 96852 524777 1460935 | 2147483647 538271 816 | 14.748 % |
5243.40/5245.48 c | 539664 | 96852 524777 1460935 | 2147483647 538611 816 | 14.748 % |
5247.39/5249.43 c | 540036 | 96852 524777 1460935 | 2147483647 538983 816 | 14.748 % |
5250.60/5252.62 c | 540445 | 96852 524777 1460935 | 2147483647 539392 815 | 14.748 % |
5258.90/5260.92 c | 540894 | 96852 524777 1460935 | 2147483647 539841 815 | 14.748 % |
5267.69/5269.71 c | 541390 | 96852 524777 1460935 | 2147483647 540337 815 | 14.748 % |
5276.48/5278.55 c | 541936 | 96852 524777 1460935 | 2147483647 540883 816 | 14.748 % |
5284.89/5286.97 c | 542532 | 96852 524777 1460935 | 2147483647 541479 816 | 14.748 % |
5293.68/5295.74 c | 543187 | 96852 524777 1460935 | 2147483647 542134 815 | 14.748 % |
5303.98/5306.00 c | 543907 | 96851 524777 1460935 | 2147483647 542853 816 | 14.749 % |
5315.57/5317.67 c | 544701 | 96851 524777 1460935 | 2147483647 543647 816 | 14.749 % |
5325.57/5327.65 c | 545572 | 96851 524777 1460935 | 2147483647 544518 816 | 14.749 % |
5339.86/5341.96 c | 546531 | 96851 524777 1460935 | 2147483647 545477 816 | 14.749 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837058-1242857018/watcher-1837058-1242857018 -o /tmp/evaluation-result-1837058-1242857018/solver-1837058-1242857018 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837058-1242857018.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 16117
/proc/meminfo: memFree=1458808/2055920 swapFree=4179860/4192956
[pid=16117] ppid=16115 vsize=5356 CPUtime=0
/proc/16117/stat : 16117 (SatELiteGTI) S 16115 16117 16080 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 313728377 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 227607806034 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/16117/statm: 1339 235 195 169 0 50 0
[pid=16118] ppid=16117 vsize=0 CPUtime=0
/proc/16118/stat : 16118 (SatELiteGTI) R 16117 16117 16080 0 -1 4194372 61 188 0 0 0 0 0 0 20 0 1 0 313728378 0 0 1992294400 0 0 0 0 0 0 0 4096 65538 0 0 0 17 1 0 0
/proc/16118/statm: -- couldn't open statm file --
[startup+0.0911149 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 16117
/proc/meminfo: memFree=1458808/2055920 swapFree=4179860/4192956
[pid=16117] ppid=16115 vsize=5356 CPUtime=0
/proc/16117/stat : 16117 (SatELiteGTI) S 16115 16117 16080 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313728377 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16117/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101114 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 16117
/proc/meminfo: memFree=1458808/2055920 swapFree=4179860/4192956
[pid=16117] ppid=16115 vsize=5356 CPUtime=0
/proc/16117/stat : 16117 (SatELiteGTI) S 16115 16117 16080 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313728377 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16117/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301155 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 16117
/proc/meminfo: memFree=1458808/2055920 swapFree=4179860/4192956
[pid=16117] ppid=16115 vsize=5356 CPUtime=0
/proc/16117/stat : 16117 (SatELiteGTI) S 16115 16117 16080 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313728377 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16117/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701234 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 16117
/proc/meminfo: memFree=1458808/2055920 swapFree=4179860/4192956
[pid=16117] ppid=16115 vsize=5356 CPUtime=0
/proc/16117/stat : 16117 (SatELiteGTI) S 16115 16117 16080 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313728377 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16117/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50138 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 16122
/proc/meminfo: memFree=1358624/2055920 swapFree=4179860/4192956
[pid=16117] ppid=16115 vsize=5356 CPUtime=0
/proc/16117/stat : 16117 (SatELiteGTI) S 16115 16117 16080 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313728377 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16117/statm: 1339 237 197 169 0 50 0
[pid=16122] ppid=16117 vsize=113964 CPUtime=1.48
/proc/16122/stat : 16122 (SatELite_releas) R 16117 16117 16080 0 -1 4194304 29125 0 0 0 132 16 0 0 25 0 1 0 313728378 116699136 26492 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/16122/statm: 28491 26492 76 173 0 28316 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 119320
[startup+3.10169 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 16122
/proc/meminfo: memFree=1345632/2055920 swapFree=4179860/4192956
[pid=16117] ppid=16115 vsize=5356 CPUtime=0
/proc/16117/stat : 16117 (SatELiteGTI) S 16115 16117 16080 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313728377 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16117/statm: 1339 237 197 169 0 50 0
[pid=16122] ppid=16117 vsize=123704 CPUtime=3.08
/proc/16122/stat : 16122 (SatELite_releas) R 16117 16117 16080 0 -1 4194304 30997 0 0 0 290 18 0 0 25 0 1 0 313728378 126672896 28184 1992294400 134512640 135223648 4294956128 18446744073709551615 134599632 0 0 4096 3 0 0 0 17 1 0 0
/proc/16122/statm: 30926 28184 76 173 0 30751 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 129060
[startup+6.30131 s]
/proc/loadavg: 0.15 0.03 0.01 2/66 16122
/proc/meminfo: memFree=1337824/2055920 swapFree=4179860/4192956
[pid=16117] ppid=16115 vsize=5356 CPUtime=0
/proc/16117/stat : 16117 (SatELiteGTI) S 16115 16117 16080 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313728377 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16117/statm: 1339 237 197 169 0 50 0
[pid=16122] ppid=16117 vsize=126200 CPUtime=6.28
/proc/16122/stat : 16122 (SatELite_releas) R 16117 16117 16080 0 -1 4194304 34064 0 0 0 606 22 0 0 25 0 1 0 313728378 129228800 28875 1992294400 134512640 135223648 4294956128 18446744073709551615 134586759 0 0 4096 3 0 0 0 17 1 0 0
/proc/16122/statm: 31550 28875 76 173 0 31375 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 131556
[startup+12.7016 s]
/proc/loadavg: 0.22 0.05 0.02 2/66 16123
/proc/meminfo: memFree=1403304/2055920 swapFree=4179860/4192956
[pid=16117] ppid=16115 vsize=5356 CPUtime=8.45
/proc/16117/stat : 16117 (SatELiteGTI) S 16115 16117 16080 0 -1 4194304 336 44033 0 0 0 0 813 32 16 0 1 0 313728377 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16117/statm: 1339 239 197 169 0 50 0
[pid=16123] ppid=16117 vsize=38320 CPUtime=4.2
/proc/16123/stat : 16123 (minisat_static) R 16117 16117 16080 0 -1 4194304 8966 0 0 0 415 5 0 0 25 0 1 0 313729225 39239680 8915 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16123/statm: 9580 8915 77 171 0 9407 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 43676
[startup+25.501 s]
/proc/loadavg: 0.39 0.09 0.03 2/66 16123
/proc/meminfo: memFree=1400040/2055920 swapFree=4179860/4192956
[pid=16117] ppid=16115 vsize=5356 CPUtime=8.45
/proc/16117/stat : 16117 (SatELiteGTI) S 16115 16117 16080 0 -1 4194304 336 44033 0 0 0 0 813 32 16 0 1 0 313728377 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16117/statm: 1339 239 197 169 0 50 0
[pid=16123] ppid=16117 vsize=41756 CPUtime=17
/proc/16123/stat : 16123 (minisat_static) R 16117 16117 16080 0 -1 4194304 9828 0 0 0 1693 7 0 0 25 0 1 0 313729225 42758144 9777 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/16123/statm: 10439 9777 77 171 0 10266 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 47112
[startup+51.102 s]
/proc/loadavg: 0.60 0.17 0.05 2/66 16123
/proc/meminfo: memFree=1390248/2055920 swapFree=4179860/4192956
[pid=16117] ppid=16115 vsize=5356 CPUtime=8.45
/proc/16117/stat : 16117 (SatELiteGTI) S 16115 16117 16080 0 -1 4194304 336 44033 0 0 0 0 813 32 16 0 1 0 313728377 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16117/statm: 1339 239 197 169 0 50 0
[pid=16123] ppid=16117 vsize=51944 CPUtime=42.57
/proc/16123/stat : 16123 (minisat_static) R 16117 16117 16080 0 -1 4194304 12353 0 0 0 4247 10 0 0 25 0 1 0 313729225 53190656 12302 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/16123/statm: 12986 12302 77 171 0 12813 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 57300
[startup+102.306 s]
/proc/loadavg: 0.82 0.29 0.10 2/66 16123
/proc/meminfo: memFree=1367464/2055920 swapFree=4179860/4192956
[pid=16117] ppid=16115 vsize=5356 CPUtime=8.45
/proc/16117/stat : 16117 (SatELiteGTI) S 16115 16117 16080 0 -1 4194304 336 44033 0 0 0 0 813 32 16 0 1 0 313728377 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16117/statm: 1339 239 197 169 0 50 0
[pid=16123] ppid=16117 vsize=74368 CPUtime=93.74
/proc/16123/stat : 16123 (minisat_static) R 16117 16117 16080 0 -1 4194304 17956 0 0 0 9358 16 0 0 25 0 1 0 313729225 76152832 17905 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/16123/statm: 18592 17905 77 171 0 18419 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 79724
[startup+162.302 s]
/proc/loadavg: 0.93 0.42 0.15 2/66 16123
/proc/meminfo: memFree=1341096/2055920 swapFree=4179860/4192956
[pid=16117] ppid=16115 vsize=5356 CPUtime=8.45
/proc/16117/stat : 16117 (SatELiteGTI) S 16115 16117 16080 0 -1 4194304 336 44033 0 0 0 0 813 32 16 0 1 0 313728377 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16117/statm: 1339 239 197 169 0 50 0
[pid=16123] ppid=16117 vsize=100896 CPUtime=153.7
/proc/16123/stat : 16123 (minisat_static) R 16117 16117 16080 0 -1 4194304 24585 0 0 0 15348 22 0 0 25 0 1 0 313729225 103317504 24534 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/16123/statm: 25224 24534 77 171 0 25051 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 106252
[startup+222.301 s]
/proc/loadavg: 0.97 0.52 0.20 2/66 16123
/proc/meminfo: memFree=1313192/2055920 swapFree=4179860/4192956
[pid=16117] ppid=16115 vsize=5356 CPUtime=8.45
/proc/16117/stat : 16117 (SatELiteGTI) S 16115 16117 16080 0 -1 4194304 336 44033 0 0 0 0 813 32 16 0 1 0 313728377 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16117/statm: 1339 239 197 169 0 50 0
[pid=16123] ppid=16117 vsize=128716 CPUtime=213.68
/proc/16123/stat : 16123 (minisat_static) R 16117 16117 16080 0 -1 4194304 31537 0 0 0 21339 29 0 0 25 0 1 0 313729225 131805184 31486 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16123/statm: 32179 31486 77 171 0 32006 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 134072
[startup+282.301 s]
/proc/loadavg: 0.99 0.61 0.25 2/66 16123
/proc/meminfo: memFree=1284264/2055920 swapFree=4179860/4192956
[pid=16117] ppid=16115 vsize=5356 CPUtime=8.45
/proc/16117/stat : 16117 (SatELiteGTI) S 16115 16117 16080 0 -1 4194304 336 44033 0 0 0 0 813 32 16 0 1 0 313728377 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16117/statm: 1339 239 197 169 0 50 0
[pid=16123] ppid=16117 vsize=157772 CPUtime=273.66
/proc/16123/stat : 16123 (minisat_static) R 16117 16117 16080 0 -1 4194304 38816 0 0 0 27330 36 0 0 25 0 1 0 313729225 161558528 38765 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16123/statm: 39443 38765 77 171 0 39270 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 163128
[startup+342.302 s]
/proc/loadavg: 0.99 0.67 0.30 2/66 16123
/proc/meminfo: memFree=1255592/2055920 swapFree=4179860/4192956
[pid=16117] ppid=16115 vsize=5356 CPUtime=8.45
/proc/16117/stat : 16117 (SatELiteGTI) S 16115 16117 16080 0 -1 4194304 336 44033 0 0 0 0 813 32 16 0 1 0 313728377 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16117/statm: 1339 239 197 169 0 50 0
[pid=16123] ppid=16117 vsize=186160 CPUtime=333.63
/proc/16123/stat : 16123 (minisat_static) R 16117 16117 16080 0 -1 4194304 45876 0 0 0 33320 43 0 0 25 0 1 0 313729225 190627840 45825 1992294400 134512640 135215339 4294956240 18446744073709551615 134538050 0 0 4096 3 0 0 0 17 1 0 0
/proc/16123/statm: 46540 45825 77 171 0 46367 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 191516
[startup+402.302 s]
/proc/loadavg: 0.99 0.73 0.34 2/66 16123
/proc/meminfo: memFree=1227624/2055920 swapFree=4179860/4192956
[pid=16117] ppid=16115 vsize=5356 CPUtime=8.45
/proc/16117/stat : 16117 (SatELiteGTI) S 16115 16117 16080 0 -1 4194304 336 44033 0 0 0 0 813 32 16 0 1 0 313728377 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16117/statm: 1339 239 197 169 0 50 0
[pid=16123] ppid=16117 vsize=214356 CPUtime=393.61
/proc/16123/stat : 16123 (minisat_static) R 16117 16117 16080 0 -1 4194304 52950 0 0 0 39312 49 0 0 25 0 1 0 313729225 219500544 52899 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/16123/statm: 53589 52899 77 171 0 53416 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 219712
################
# More data... #
################
/proc/16123/statm: 418094 417072 77 171 0 417921 0
Current children cumulated CPU time (s) 4720.49
Current children cumulated vsize (KiB) 1677732
[startup+4782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 16131
/proc/meminfo: memFree=15016/2055920 swapFree=4179860/4192956
[pid=16117] ppid=16115 vsize=5356 CPUtime=8.45
/proc/16117/stat : 16117 (SatELiteGTI) S 16115 16117 16080 0 -1 4194304 336 44033 0 0 0 0 813 32 16 0 1 0 313728377 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16117/statm: 1339 239 197 169 0 50 0
[pid=16123] ppid=16117 vsize=1688240 CPUtime=4772.01
/proc/16123/stat : 16123 (minisat_static) R 16117 16117 16080 0 -1 4194304 421087 0 0 0 476825 376 0 0 25 0 1 0 313729225 1728757760 421036 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16123/statm: 422060 421036 77 171 0 421887 0
Current children cumulated CPU time (s) 4780.46
Current children cumulated vsize (KiB) 1693596
[startup+4842.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 16131
/proc/meminfo: memFree=15336/2055920 swapFree=4179860/4192956
[pid=16117] ppid=16115 vsize=5356 CPUtime=8.45
/proc/16117/stat : 16117 (SatELiteGTI) S 16115 16117 16080 0 -1 4194304 336 44033 0 0 0 0 813 32 16 0 1 0 313728377 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16117/statm: 1339 239 197 169 0 50 0
[pid=16123] ppid=16117 vsize=1704800 CPUtime=4831.99
/proc/16123/stat : 16123 (minisat_static) R 16117 16117 16080 0 -1 4194304 425235 0 0 0 482819 380 0 0 25 0 1 0 313729225 1745715200 425184 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/16123/statm: 426200 425184 77 171 0 426027 0
Current children cumulated CPU time (s) 4840.44
Current children cumulated vsize (KiB) 1710156
[startup+4902.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 16131
/proc/meminfo: memFree=14824/2055920 swapFree=4179860/4192956
[pid=16117] ppid=16115 vsize=5356 CPUtime=8.45
/proc/16117/stat : 16117 (SatELiteGTI) S 16115 16117 16080 0 -1 4194304 336 44033 0 0 0 0 813 32 16 0 1 0 313728377 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16117/statm: 1339 239 197 169 0 50 0
[pid=16123] ppid=16117 vsize=1724008 CPUtime=4891.97
/proc/16123/stat : 16123 (minisat_static) R 16117 16117 16080 0 -1 4194304 430008 0 0 0 488813 384 0 0 25 0 1 0 313729225 1765384192 429957 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16123/statm: 431002 429957 77 171 0 430829 0
Current children cumulated CPU time (s) 4900.42
Current children cumulated vsize (KiB) 1729364
[startup+4962.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 16131
/proc/meminfo: memFree=14952/2055920 swapFree=4179860/4192956
[pid=16117] ppid=16115 vsize=5356 CPUtime=8.45
/proc/16117/stat : 16117 (SatELiteGTI) S 16115 16117 16080 0 -1 4194304 336 44033 0 0 0 0 813 32 16 0 1 0 313728377 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16117/statm: 1339 239 197 169 0 50 0
[pid=16123] ppid=16117 vsize=1743640 CPUtime=4951.95
/proc/16123/stat : 16123 (minisat_static) R 16117 16117 16080 0 -1 4194304 434922 0 0 0 494806 389 0 0 25 0 1 0 313729225 1785487360 434871 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16123/statm: 435910 434871 77 171 0 435737 0
Current children cumulated CPU time (s) 4960.4
Current children cumulated vsize (KiB) 1748996
[startup+5022.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 16131
/proc/meminfo: memFree=14824/2055920 swapFree=4179860/4192956
[pid=16117] ppid=16115 vsize=5356 CPUtime=8.45
/proc/16117/stat : 16117 (SatELiteGTI) S 16115 16117 16080 0 -1 4194304 336 44033 0 0 0 0 813 32 16 0 1 0 313728377 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16117/statm: 1339 239 197 169 0 50 0
[pid=16123] ppid=16117 vsize=1759144 CPUtime=5011.93
/proc/16123/stat : 16123 (minisat_static) R 16117 16117 16080 0 -1 4194304 438788 0 0 0 500802 391 0 0 25 0 1 0 313729225 1801363456 438737 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/16123/statm: 439786 438737 77 171 0 439613 0
Current children cumulated CPU time (s) 5020.38
Current children cumulated vsize (KiB) 1764500
[startup+5082.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 16131
/proc/meminfo: memFree=15720/2055920 swapFree=4179860/4192956
[pid=16117] ppid=16115 vsize=5356 CPUtime=8.45
/proc/16117/stat : 16117 (SatELiteGTI) S 16115 16117 16080 0 -1 4194304 336 44033 0 0 0 0 813 32 16 0 1 0 313728377 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16117/statm: 1339 239 197 169 0 50 0
[pid=16123] ppid=16117 vsize=1774968 CPUtime=5071.9
/proc/16123/stat : 16123 (minisat_static) R 16117 16117 16080 0 -1 4194304 442760 0 0 0 506796 394 0 0 25 0 1 0 313729225 1817567232 442709 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16123/statm: 443742 442709 77 171 0 443569 0
Current children cumulated CPU time (s) 5080.35
Current children cumulated vsize (KiB) 1780324
[startup+5142.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 16131
/proc/meminfo: memFree=15464/2055920 swapFree=4179860/4192956
[pid=16117] ppid=16115 vsize=5356 CPUtime=8.45
/proc/16117/stat : 16117 (SatELiteGTI) S 16115 16117 16080 0 -1 4194304 336 44033 0 0 0 0 813 32 16 0 1 0 313728377 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16117/statm: 1339 239 197 169 0 50 0
[pid=16123] ppid=16117 vsize=1787744 CPUtime=5131.89
/proc/16123/stat : 16123 (minisat_static) R 16117 16117 16080 0 -1 4194304 445949 0 0 0 512791 398 0 0 25 0 1 0 313729225 1830649856 445898 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 1 0 0
/proc/16123/statm: 446936 445898 77 171 0 446763 0
Current children cumulated CPU time (s) 5140.34
Current children cumulated vsize (KiB) 1793100
[startup+5202.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 16131
/proc/meminfo: memFree=15720/2055920 swapFree=4179860/4192956
[pid=16117] ppid=16115 vsize=5356 CPUtime=8.45
/proc/16117/stat : 16117 (SatELiteGTI) S 16115 16117 16080 0 -1 4194304 336 44033 0 0 0 0 813 32 16 0 1 0 313728377 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16117/statm: 1339 239 197 169 0 50 0
[pid=16123] ppid=16117 vsize=1801204 CPUtime=5191.87
/proc/16123/stat : 16123 (minisat_static) R 16117 16117 16080 0 -1 4194304 449296 0 0 0 518786 401 0 0 25 0 1 0 313729225 1844432896 449245 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16123/statm: 450301 449245 77 171 0 450128 0
Current children cumulated CPU time (s) 5200.32
Current children cumulated vsize (KiB) 1806560
[startup+5262.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 16131
/proc/meminfo: memFree=15016/2055920 swapFree=4179860/4192956
[pid=16117] ppid=16115 vsize=5356 CPUtime=8.45
/proc/16117/stat : 16117 (SatELiteGTI) S 16115 16117 16080 0 -1 4194304 336 44033 0 0 0 0 813 32 16 0 1 0 313728377 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16117/statm: 1339 239 197 169 0 50 0
[pid=16123] ppid=16117 vsize=1814048 CPUtime=5251.85
/proc/16123/stat : 16123 (minisat_static) R 16117 16117 16080 0 -1 4194304 452509 0 0 0 524782 403 0 0 25 0 1 0 313729225 1857585152 452458 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16123/statm: 453512 452458 77 171 0 453339 0
Current children cumulated CPU time (s) 5260.3
Current children cumulated vsize (KiB) 1819404
[startup+5322.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 16131
/proc/meminfo: memFree=16232/2055920 swapFree=4179860/4192956
[pid=16117] ppid=16115 vsize=5356 CPUtime=8.45
/proc/16117/stat : 16117 (SatELiteGTI) S 16115 16117 16080 0 -1 4194304 336 44033 0 0 0 0 813 32 16 0 1 0 313728377 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16117/statm: 1339 239 197 169 0 50 0
[pid=16123] ppid=16117 vsize=1828320 CPUtime=5311.82
/proc/16123/stat : 16123 (minisat_static) R 16117 16117 16080 0 -1 4194304 456074 0 0 0 530776 406 0 0 25 0 1 0 313729225 1872199680 456023 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16123/statm: 457080 456023 77 171 0 456907 0
Current children cumulated CPU time (s) 5320.27
Current children cumulated vsize (KiB) 1833676
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+5358.7 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 16131
/proc/meminfo: memFree=15720/2055920 swapFree=4179860/4192956
[pid=16117] ppid=16115 vsize=5356 CPUtime=8.45
/proc/16117/stat : 16117 (SatELiteGTI) S 16115 16117 16080 0 -1 4194304 336 44033 0 0 0 0 813 32 16 0 1 0 313728377 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16117/statm: 1339 239 197 169 0 50 0
[pid=16123] ppid=16117 vsize=1837848 CPUtime=5348.21
/proc/16123/stat : 16123 (minisat_static) R 16117 16117 16080 0 -1 4194304 458452 0 0 0 534414 407 0 0 25 0 1 0 313729225 1881956352 458401 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/16123/statm: 459462 458401 77 171 0 459289 0
Current children cumulated CPU time (s) 5356.66
Current children cumulated vsize (KiB) 1843204
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5358.7 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 16131
/proc/meminfo: memFree=15720/2055920 swapFree=4179860/4192956
[pid=16117] ppid=16115 vsize=5356 CPUtime=8.45
/proc/16117/stat : 16117 (SatELiteGTI) S 16115 16117 16080 0 -1 4194304 336 44033 0 0 0 0 813 32 16 0 1 0 313728377 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16117/statm: 1339 239 197 169 0 50 0
[pid=16123] ppid=16117 vsize=1837848 CPUtime=5348.21
/proc/16123/stat : 16123 (minisat_static) R 16117 16117 16080 0 -1 4194304 458452 0 0 0 534414 407 0 0 25 0 1 0 313729225 1881956352 458401 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/16123/statm: 459462 458401 77 171 0 459289 0
Current children cumulated CPU time (s) 5356.66
Current children cumulated vsize (KiB) 1843204
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16117 and gives
# childrusage.ru_utime.tv_sec=8
# childrusage.ru_utime.tv_usec=134763
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=323950
# CPU time returned by wait4() is 8.45871
# while last known CPU time is 5356.66
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 5358.71
CPU time (s): 5356.66
CPU user time (s): 5352.27
CPU system time (s): 4.39
CPU usage (%): 99.9617
Max. virtual memory (cumulated for all children) (KiB): 1843204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.13476
system time used= 0.32395
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44369
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= 15
involuntary context switches= 50
runsolver used 6.01109 second user time and 13.5849 second system time
The end
Begin job on node66 at 2009-05-21 00:03:40
IDJOB=1837058
IDBENCH=20373
IDSOLVER=674
FILE ID=node66/1837058-1242857018
PBS_JOBID= 9328452
Free space on /tmp= 66392 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/partial-10-13-u.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837058-1242857018/watcher-1837058-1242857018 -o /tmp/evaluation-result-1837058-1242857018/solver-1837058-1242857018 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837058-1242857018.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ec1a03bc95c5b06907199f7ae65ad092
RANDOM SEED=639663243
node66.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.263
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.263
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1459288 kB
Buffers: 33384 kB
Cached: 517696 kB
SwapCached: 7336 kB
Active: 146632 kB
Inactive: 413200 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1459288 kB
SwapTotal: 4192956 kB
SwapFree: 4179860 kB
Dirty: 20672 kB
Writeback: 0 kB
Mapped: 13832 kB
Slab: 22884 kB
Committed_AS: 1145704 kB
PageTables: 1364 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66372 MiB
End job on node66 at 2009-05-21 01:33:01