0.00/0.00 c Parsing...
0.00/0.01 c ==============================================================================
0.00/0.01 c | | ORIGINAL | LEARNT | |
0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.01 c ==============================================================================
0.00/0.01 c | 0 | 16192 42927 | 4857 0 0 nan | 0.000 % |
0.08/0.11 c | 0 | 12797 40460 | -- 0 -- -- | -- | -3395/-2467
0.08/0.11 c ==============================================================================
0.08/0.11 c Result : #vars: 2513 #clauses: 12797 #literals: 40460
0.08/0.11 c CPU time: 0.11 s
0.08/0.11 c ==============================================================================
0.12/0.12 c This is MiniSat 2.0 beta
0.12/0.12 c WARNING: for repeatability, setting FPU to use double precision
0.12/0.12 c ============================[ Problem Statistics ]=============================
0.12/0.12 c | |
0.12/0.13 c | Number of variables: 2513 |
0.12/0.13 c | Number of clauses: 12797 |
0.12/0.13 c | Parsing time: 0.00 s |
0.12/0.13 c ============================[ Search Statistics ]==============================
0.12/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.12/0.13 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.12/0.13 c ===============================================================================
0.12/0.13 c | 0 | 2513 12797 40460 | 4265 0 nan | 0.000 % |
0.12/0.17 c | 512 | 2513 12797 40460 | 4265 512 16 | 0.003 % |
0.13/0.22 c | 1024 | 2513 12797 40460 | 4265 1024 30 | 0.004 % |
0.13/0.26 c | 1536 | 2513 12797 40460 | 4265 1536 33 | 0.002 % |
0.13/0.35 c | 2560 | 2513 12797 40460 | 4265 2560 35 | 0.002 % |
0.13/0.40 c | 3073 | 2513 12797 40460 | 4265 3073 36 | 0.003 % |
0.13/0.46 c | 3585 | 2513 12797 40460 | 4265 3585 39 | 0.002 % |
0.13/0.56 c | 4612 | 2513 12797 40460 | 4265 4161 34 | 0.003 % |
0.13/0.79 c | 6661 | 2513 12797 40460 | 4265 4745 43 | 0.000 % |
0.13/0.86 c | 7174 | 2513 12797 40460 | 4265 4357 43 | 0.000 % |
0.13/0.92 c | 7687 | 2513 12797 40460 | 4265 4435 44 | 0.000 % |
1.02/1.06 c | 8712 | 2513 12797 40460 | 4265 4553 47 | 0.000 % |
1.12/1.12 c | 9226 | 2513 12797 40460 | 4265 4612 44 | 0.000 % |
1.12/1.19 c | 9738 | 2513 12797 40460 | 4265 4209 41 | 0.000 % |
1.32/1.36 c | 10762 | 2513 12797 40460 | 2147483647 5233 45 | 0.000 % |
1.72/1.75 c | 12810 | 2513 12797 40460 | 2147483647 7281 49 | 0.000 % |
2.60/2.62 c | 16906 | 2513 12797 40460 | 2147483647 11377 52 | 0.000 % |
2.60/2.68 c | 17418 | 2513 12797 40460 | 2147483647 11889 51 | 0.000 % |
2.80/2.85 c | 17931 | 2513 12797 40460 | 2147483647 12402 50 | 0.000 % |
3.10/3.13 c | 18956 | 2513 12797 40460 | 2147483647 13427 49 | 0.000 % |
3.20/3.27 c | 19469 | 2513 12797 40460 | 2147483647 13940 50 | 0.000 % |
3.30/3.36 c | 19983 | 2513 12797 40460 | 2147483647 14454 49 | 0.000 % |
3.60/3.69 c | 21007 | 2513 12797 40460 | 2147483647 15478 50 | 0.000 % |
4.00/4.07 c | 23055 | 2513 12797 40460 | 2147483647 17526 50 | 0.004 % |
4.10/4.15 c | 23568 | 2513 12797 40460 | 2147483647 18039 50 | 0.002 % |
4.20/4.26 c | 24080 | 2513 12797 40460 | 2147483647 18551 49 | 0.001 % |
4.40/4.47 c | 25105 | 2513 12797 40460 | 2147483647 19576 49 | 0.000 % |
4.60/4.65 c | 25619 | 2513 12797 40460 | 2147483647 20090 49 | 0.000 % |
4.80/4.89 c | 26132 | 2513 12797 40460 | 2147483647 20603 50 | 0.000 % |
5.30/5.41 c | 27157 | 2513 12797 40460 | 2147483647 21628 50 | 0.000 % |
6.20/6.31 c | 29205 | 2513 12797 40460 | 2147483647 23676 50 | 0.000 % |
8.00/8.08 c | 33301 | 2513 12797 40460 | 2147483647 27772 49 | 0.000 % |
11.40/11.42 c | 41494 | 2513 12797 40460 | 34471 29167 48 | 0.000 % |
11.50/11.56 c | 42007 | 2513 12797 40460 | 34471 29680 48 | 0.000 % |
11.70/11.72 c | 42519 | 2513 12797 40460 | 34471 30192 48 | 0.003 % |
11.90/11.99 c | 43544 | 2513 12797 40460 | 34471 31217 48 | 0.002 % |
12.10/12.12 c | 44056 | 2513 12797 40460 | 34471 31729 48 | 0.003 % |
12.20/12.27 c | 44568 | 2513 12797 40460 | 34471 32241 48 | 0.004 % |
12.50/12.52 c | 45593 | 2513 12797 40460 | 34471 33266 48 | 0.003 % |
13.20/13.30 c | 47643 | 2513 12797 40460 | 34471 27724 47 | 0.000 % |
13.40/13.47 c | 48156 | 2513 12797 40460 | 34471 28237 47 | 0.000 % |
13.60/13.65 c | 48669 | 2513 12797 40460 | 34471 28750 47 | 0.000 % |
13.90/13.94 c | 49696 | 2513 12797 40460 | 34471 29777 46 | 0.000 % |
14.00/14.09 c | 50209 | 2513 12797 40460 | 30082 30290 46 | 0.000 % |
14.30/14.35 c | 50721 | 2513 12797 40460 | 30082 24627 44 | 0.000 % |
14.80/14.82 c | 51746 | 2513 12797 40460 | 30082 25652 45 | 0.000 % |
15.60/15.70 c | 53794 | 2513 12797 40460 | 30082 27700 46 | 0.000 % |
17.80/17.90 c | 57890 | 2513 12797 40460 | 30082 25661 43 | 0.000 % |
18.00/18.08 c | 58403 | 2513 12797 40460 | 30082 26174 43 | 0.000 % |
18.30/18.33 c | 58915 | 2513 12797 40460 | 30082 26686 43 | 0.000 % |
18.70/18.73 c | 59941 | 2513 12797 40460 | 30082 27712 44 | 0.000 % |
18.90/18.96 c | 60453 | 2513 12797 40460 | 27772 22823 41 | 0.000 % |
19.10/19.21 c | 60966 | 2513 12797 40460 | 27772 23336 42 | 0.000 % |
19.50/19.59 c | 61992 | 2513 12797 40460 | 27772 24362 42 | 0.000 % |
20.40/20.44 c | 64041 | 2513 12797 40460 | 27772 26411 43 | 0.000 % |
20.50/20.57 c | 64553 | 2513 12797 40460 | 27772 26923 43 | 0.004 % |
20.60/20.67 c | 65065 | 2513 12797 40460 | 27772 27435 42 | 0.002 % |
20.90/21.00 c | 66089 | 2513 12797 40460 | 27772 28459 42 | 0.004 % |
21.10/21.17 c | 66601 | 2513 12797 40460 | 27772 24178 41 | 0.002 % |
21.30/21.32 c | 67113 | 2513 12797 40460 | 27772 24690 42 | 0.000 % |
21.70/21.73 c | 68138 | 2513 12797 40460 | 27772 25715 41 | 0.000 % |
22.30/22.32 c | 70186 | 2513 12797 40460 | 27577 23929 38 | 0.000 % |
24.20/24.24 c | 74283 | 2513 12797 40460 | 27577 28026 42 | 0.000 % |
27.90/27.99 c | 82476 | 2513 12797 40460 | 24405 22527 42 | 0.000 % |
33.30/33.33 c | 98861 | 2513 12797 40460 | 23501 22046 25 | 0.000 % |
33.40/33.48 c | 99373 | 2513 12797 40460 | 23501 22558 25 | 0.000 % |
33.60/33.68 c | 99886 | 2513 12797 40460 | 23501 23071 26 | 0.000 % |
34.00/34.06 c | 100913 | 2513 12797 40460 | 23185 21531 25 | 0.000 % |
34.20/34.25 c | 101429 | 2513 12797 40460 | 23185 22047 26 | 0.000 % |
34.30/34.36 c | 101944 | 2513 12797 40460 | 23185 22562 26 | 0.000 % |
34.60/34.71 c | 102969 | 2513 12797 40460 | 23185 21093 27 | 0.000 % |
35.50/35.54 c | 105017 | 2513 12797 40460 | 23185 23141 30 | 0.000 % |
35.60/35.65 c | 105531 | 2513 12797 40460 | 23185 23655 30 | 0.004 % |
35.70/35.79 c | 106043 | 2513 12797 40460 | 23185 21446 31 | 0.000 % |
35.90/35.97 c | 107067 | 2513 12797 40460 | 23185 22470 32 | 0.003 % |
36.00/36.09 c | 107579 | 2513 12797 40460 | 23185 22982 32 | 0.004 % |
36.10/36.18 c | 108091 | 2513 12797 40460 | 23185 23494 33 | 0.001 % |
36.40/36.42 c | 109116 | 2513 12797 40460 | 23185 21807 34 | 0.002 % |
36.80/36.84 c | 111164 | 2513 12797 40460 | 22691 21571 36 | 0.000 % |
38.20/38.24 c | 115262 | 2513 12797 40460 | 22691 22968 42 | 0.000 % |
38.40/38.43 c | 115774 | 2513 12797 40460 | 22691 20496 45 | 0.000 % |
38.51/38.60 c | 116288 | 2513 12797 40460 | 22691 21010 44 | 0.000 % |
39.10/39.15 c | 117314 | 2513 12797 40460 | 22691 22036 45 | 0.000 % |
39.30/39.34 c | 117826 | 2513 12797 40460 | 22691 22548 45 | 0.000 % |
39.50/39.60 c | 118338 | 2513 12797 40460 | 22691 20174 45 | 0.000 % |
39.90/39.94 c | 119362 | 2513 12797 40460 | 22691 21198 45 | 0.000 % |
40.71/40.79 c | 121410 | 2513 12797 40460 | 21836 20132 44 | 0.000 % |
40.90/40.97 c | 121925 | 2513 12797 40460 | 21836 20647 44 | 0.000 % |
41.10/41.12 c | 122437 | 2513 12797 40460 | 21836 21159 44 | 0.000 % |
41.50/41.55 c | 123461 | 2513 12797 40460 | 21836 22183 44 | 0.000 % |
41.70/41.74 c | 123973 | 2513 12797 40460 | 21836 19902 43 | 0.000 % |
41.90/41.93 c | 124486 | 2513 12797 40460 | 21836 20415 42 | 0.000 % |
42.30/42.31 c | 125510 | 2513 12797 40460 | 21836 21439 44 | 0.000 % |
42.70/42.72 c | 127558 | 2513 12797 40460 | 21836 20701 43 | 0.004 % |
43.50/43.58 c | 131654 | 2513 12797 40460 | 20434 19670 40 | 0.002 % |
45.90/45.93 c | 139849 | 2513 12797 40460 | 20434 18894 44 | 0.000 % |
46.00/46.07 c | 140362 | 2513 12797 40460 | 19046 17458 44 | 0.000 % |
46.10/46.19 c | 140875 | 2513 12797 40460 | 19046 17971 44 | 0.000 % |
46.40/46.44 c | 141899 | 2513 12797 40460 | 19046 18995 44 | 0.000 % |
46.50/46.59 c | 142413 | 2513 12797 40460 | 19046 17553 44 | 0.000 % |
46.70/46.71 c | 142925 | 2513 12797 40460 | 19046 18065 43 | 0.000 % |
46.90/46.98 c | 143951 | 2513 12797 40460 | 19046 19091 45 | 0.000 % |
47.40/47.47 c | 145999 | 2513 12797 40460 | 19046 19230 47 | 0.000 % |
47.50/47.59 c | 146512 | 2513 12797 40460 | 19046 17810 47 | 0.000 % |
47.60/47.68 c | 147025 | 2513 12797 40460 | 19046 18323 48 | 0.003 % |
47.80/47.87 c | 148049 | 2513 12797 40460 | 19046 19347 47 | 0.002 % |
47.90/47.96 c | 148562 | 2513 12797 40460 | 19046 17926 44 | 0.004 % |
48.00/48.02 c | 149078 | 2513 12797 40460 | 19046 18442 44 | 0.000 % |
48.20/48.23 c | 150103 | 2513 12797 40460 | 2147483647 19467 44 | 0.000 % |
49.00/49.01 c | 152152 | 2513 12797 40460 | 2147483647 21516 45 | 0.000 % |
50.50/50.52 c | 156252 | 2513 12797 40460 | 2147483647 25616 47 | 0.000 % |
50.70/50.74 c | 156765 | 2513 12797 40460 | 2147483647 26129 47 | 0.000 % |
51.00/51.02 c | 157279 | 2513 12797 40460 | 2147483647 26643 47 | 0.000 % |
51.40/51.42 c | 158303 | 2513 12797 40460 | 2147483647 27667 47 | 0.000 % |
51.60/51.63 c | 158815 | 2513 12797 40460 | 2147483647 28179 47 | 0.000 % |
51.80/51.83 c | 159327 | 2513 12797 40460 | 2147483647 28691 48 | 0.000 % |
52.20/52.28 c | 160352 | 2513 12797 40460 | 29365 25459 45 | 0.000 % |
53.10/53.12 c | 162400 | 2513 12797 40460 | 29365 27507 44 | 0.000 % |
53.20/53.24 c | 162912 | 2513 12797 40460 | 29365 28019 43 | 0.000 % |
53.40/53.43 c | 163424 | 2513 12797 40460 | 29365 28531 44 | 0.000 % |
53.80/53.88 c | 164448 | 2513 12797 40460 | 29365 29555 44 | 0.000 % |
54.00/54.09 c | 164960 | 2513 12797 40460 | 29365 25557 42 | 0.000 % |
54.20/54.24 c | 165474 | 2513 12797 40460 | 29365 26071 42 | 0.000 % |
54.70/54.74 c | 166499 | 2513 12797 40460 | 29365 27096 42 | 0.000 % |
55.60/55.67 c | 168548 | 2513 12797 40460 | 29365 29145 43 | 0.000 % |
56.60/56.69 c | 172645 | 2513 12797 40460 | 25839 24273 39 | 0.004 % |
59.10/59.20 c | 180837 | 2513 12797 40460 | 23797 21394 42 | 0.000 % |
63.20/63.28 c | 197221 | 2513 12797 40460 | 2147483647 30563 42 | 0.000 % |
78.53/78.68 c | 229989 | 2513 12797 40460 | 27213 24575 34 | 0.000 % |
78.63/78.79 c | 230502 | 2513 12797 40460 | 24586 20680 31 | 0.000 % |
78.83/78.93 c | 231016 | 2513 12797 40460 | 24586 21194 31 | 0.004 % |
79.03/79.22 c | 232040 | 2513 12797 40460 | 24586 22218 31 | 0.000 % |
79.22/79.36 c | 232554 | 2513 12797 40460 | 24586 22732 32 | 0.000 % |
79.32/79.46 c | 233066 | 2513 12797 40460 | 24586 23244 32 | 0.003 % |
79.52/79.71 c | 234091 | 2513 12797 40460 | 24586 24269 32 | 0.004 % |
80.01/80.19 c | 236140 | 2513 12797 40460 | 24586 22777 31 | 0.003 % |
80.21/80.36 c | 236652 | 2513 12797 40460 | 24586 23289 32 | 0.000 % |
80.41/80.60 c | 237164 | 2513 12797 40460 | 24586 23801 32 | 0.000 % |
80.81/80.96 c | 238188 | 2513 12797 40460 | 24586 21742 32 | 0.000 % |
81.01/81.17 c | 238700 | 2513 12797 40460 | 24586 22254 33 | 0.000 % |
81.21/81.34 c | 239213 | 2513 12797 40460 | 24586 22767 33 | 0.000 % |
81.61/81.75 c | 240237 | 2513 12797 40460 | 23555 23791 34 | 0.000 % |
82.21/82.39 c | 242287 | 2513 12797 40460 | 23555 23023 36 | 0.000 % |
83.81/83.93 c | 246385 | 2513 12797 40460 | 23555 22033 42 | 0.000 % |
84.11/84.23 c | 246899 | 2513 12797 40460 | 23555 22547 42 | 0.000 % |
84.31/84.42 c | 247415 | 2513 12797 40460 | 23555 23063 42 | 0.000 % |
84.71/84.86 c | 248440 | 2513 12797 40460 | 23555 21127 45 | 0.000 % |
84.81/84.98 c | 248952 | 2513 12797 40460 | 23555 21639 44 | 0.000 % |
85.01/85.18 c | 249464 | 2513 12797 40460 | 23555 22151 45 | 0.000 % |
85.51/85.70 c | 250489 | 2513 12797 40460 | 22687 20468 45 | 0.000 % |
86.51/86.66 c | 252537 | 2513 12797 40460 | 22687 22516 46 | 0.000 % |
86.61/86.79 c | 253050 | 2513 12797 40460 | 22687 23029 46 | 0.003 % |
86.81/86.94 c | 253562 | 2513 12797 40460 | 22687 20899 45 | 0.002 % |
87.01/87.15 c | 254587 | 2513 12797 40460 | 22687 21924 45 | 0.003 % |
87.11/87.27 c | 255099 | 2513 12797 40460 | 22687 22436 45 | 0.004 % |
87.21/87.35 c | 255613 | 2513 12797 40460 | 22687 22950 44 | 0.003 % |
87.61/87.76 c | 256638 | 2513 12797 40460 | 22687 21388 43 | 0.000 % |
88.51/88.67 c | 258687 | 2513 12797 40460 | 22687 20543 43 | 0.000 % |
90.81/90.94 c | 262783 | 2513 12797 40460 | 21856 21469 42 | 0.000 % |
94.41/94.58 c | 270975 | 2513 12797 40460 | 21995 19372 41 | 0.000 % |
94.71/94.82 c | 271487 | 2513 12797 40460 | 21995 19884 41 | 0.000 % |
94.81/94.99 c | 271999 | 2513 12797 40460 | 21995 20396 41 | 0.000 % |
95.31/95.49 c | 273023 | 2513 12797 40460 | 21995 21420 41 | 0.000 % |
95.41/95.61 c | 273535 | 2513 12797 40460 | 21995 21932 41 | 0.004 % |
95.61/95.74 c | 274047 | 2513 12797 40460 | 21995 22444 41 | 0.002 % |
95.81/95.99 c | 275072 | 2513 12797 40460 | 21995 20321 39 | 0.002 % |
96.41/96.61 c | 277120 | 2513 12797 40460 | 21995 19403 41 | 0.000 % |
96.61/96.76 c | 277633 | 2513 12797 40460 | 21995 19916 42 | 0.000 % |
96.71/96.89 c | 278145 | 2513 12797 40460 | 21995 20428 42 | 0.000 % |
97.21/97.34 c | 279170 | 2513 12797 40460 | 21995 21453 43 | 0.000 % |
97.51/97.64 c | 279683 | 2513 12797 40460 | 21995 21966 44 | 0.000 % |
97.91/98.06 c | 280195 | 2513 12797 40460 | 22284 22478 45 | 0.000 % |
98.41/98.56 c | 281219 | 2513 12797 40460 | 22284 20341 42 | 0.000 % |
99.31/99.46 c | 283268 | 2513 12797 40460 | 22284 20155 39 | 0.000 % |
101.01/101.14 c | 287364 | 2513 12797 40460 | 22284 22000 42 | 0.000 % |
101.11/101.30 c | 287877 | 2513 12797 40460 | 22284 20269 41 | 0.000 % |
101.41/101.52 c | 288390 | 2513 12797 40460 | 22284 20782 42 | 0.000 % |
101.81/102.00 c | 289416 | 2513 12797 40460 | 22284 21808 43 | 0.000 % |
102.01/102.20 c | 289928 | 2513 12797 40460 | 22284 22320 44 | 0.000 % |
102.11/102.29 c | 290442 | 2513 12797 40460 | 20048 18421 38 | 0.000 % |
102.31/102.49 c | 291468 | 2513 12797 40460 | 20048 19447 39 | 0.000 % |
103.11/103.22 c | 293517 | 2513 12797 40460 | 20048 19445 39 | 0.000 % |
103.21/103.33 c | 294030 | 2513 12797 40460 | 20048 19958 39 | 0.004 % |
103.31/103.42 c | 294544 | 2513 12797 40460 | 20048 20472 40 | 0.003 % |
103.51/103.64 c | 295568 | 2513 12797 40460 | 20048 19178 41 | 0.002 % |
103.61/103.73 c | 296081 | 2513 12797 40460 | 20048 19691 41 | 0.003 % |
103.71/103.84 c | 296593 | 2513 12797 40460 | 20048 20203 41 | 0.004 % |
103.91/104.05 c | 297617 | 2513 12797 40460 | 20048 19064 42 | 0.003 % |
104.81/104.92 c | 299667 | 2513 12797 40460 | 20048 18942 43 | 0.000 % |
106.51/106.63 c | 303763 | 2513 12797 40460 | 19276 18936 45 | 0.000 % |
110.11/110.25 c | 311956 | 2513 12797 40460 | 18678 18577 43 | 0.000 % |
117.91/118.10 c | 328340 | 2513 12797 40460 | 18930 17946 39 | 0.000 % |
118.21/118.32 c | 328854 | 2513 12797 40460 | 18930 18460 39 | 0.000 % |
118.41/118.52 c | 329367 | 2513 12797 40460 | 18930 18973 39 | 0.000 % |
118.72/118.91 c | 330391 | 2513 12797 40460 | 17255 17644 39 | 0.000 % |
118.81/118.97 c | 330905 | 2513 12797 40460 | 17255 15942 37 | 0.000 % |
118.91/119.07 c | 331417 | 2513 12797 40460 | 17255 16454 37 | 0.000 % |
119.21/119.39 c | 332441 | 2513 12797 40460 | 17255 17478 39 | 0.000 % |
119.82/120.00 c | 334490 | 2513 12797 40460 | 17255 17550 40 | 0.000 % |
120.01/120.18 c | 335004 | 2513 12797 40460 | 17255 16244 39 | 0.000 % |
120.11/120.27 c | 335516 | 2513 12797 40460 | 17255 16756 39 | 0.003 % |
120.31/120.43 c | 336540 | 2513 12797 40460 | 17255 16029 38 | 0.000 % |
120.41/120.51 c | 337054 | 2513 12797 40460 | 17255 16543 38 | 0.004 % |
120.41/120.57 c | 337569 | 2513 12797 40460 | 17255 17058 37 | 0.000 % |
120.71/120.83 c | 338594 | 2513 12797 40460 | 17255 16276 37 | 0.004 % |
121.01/121.19 c | 340647 | 2513 12797 40460 | 2147483647 18329 39 | 0.002 % |
122.21/122.35 c | 344743 | 2513 12797 40460 | 2147483647 22425 40 | 0.000 % |
122.41/122.57 c | 345256 | 2513 12797 40460 | 2147483647 22938 40 | 0.000 % |
122.71/122.86 c | 345768 | 2513 12797 40460 | 2147483647 23450 41 | 0.000 % |
123.21/123.38 c | 346792 | 2513 12797 40460 | 2147483647 24474 41 | 0.000 % |
123.51/123.63 c | 347304 | 2513 12797 40460 | 2147483647 24986 41 | 0.000 % |
123.71/123.82 c | 347816 | 2513 12797 40460 | 2147483647 25498 41 | 0.000 % |
124.11/124.31 c | 348843 | 2513 12797 40460 | 2147483647 26525 42 | 0.000 % |
124.91/125.08 c | 350891 | 2513 12797 40460 | 27682 25344 39 | 0.000 % |
125.21/125.35 c | 351403 | 2513 12797 40460 | 27682 25856 39 | 0.000 % |
125.41/125.56 c | 351916 | 2513 12797 40460 | 27682 26369 40 | 0.000 % |
126.21/126.34 c | 352940 | 2513 12797 40460 | 27682 27393 41 | 0.000 % |
126.42/126.52 c | 353453 | 2513 12797 40460 | 27682 27906 41 | 0.000 % |
126.51/126.69 c | 353965 | 2513 12797 40460 | 27682 24621 38 | 0.000 % |
127.01/127.14 c | 354991 | 2513 12797 40460 | 27682 25647 37 | 0.000 % |
127.81/127.93 c | 357043 | 2513 12797 40460 | 27682 27699 36 | 0.000 % |
129.11/129.22 c | 361139 | 2513 12797 40460 | 27255 24352 36 | 0.004 % |
131.92/132.10 c | 369332 | 2513 12797 40460 | 27255 24240 36 | 0.000 % |
132.21/132.33 c | 369846 | 2513 12797 40460 | 27255 24754 36 | 0.000 % |
132.41/132.55 c | 370358 | 2513 12797 40460 | 24909 21606 35 | 0.000 % |
132.71/132.87 c | 371382 | 2513 12797 40460 | 24909 22630 36 | 0.000 % |
133.11/133.25 c | 371894 | 2513 12797 40460 | 24909 23142 37 | 0.000 % |
133.41/133.52 c | 372407 | 2513 12797 40460 | 24909 23655 37 | 0.000 % |
133.81/133.95 c | 373432 | 2513 12797 40460 | 24909 24680 38 | 0.000 % |
135.11/135.28 c | 375480 | 2513 12797 40460 | 24909 23302 41 | 0.000 % |
135.41/135.52 c | 375993 | 2513 12797 40460 | 24909 23815 42 | 0.000 % |
135.51/135.70 c | 376506 | 2513 12797 40460 | 24909 24328 42 | 0.000 % |
135.91/136.10 c | 377530 | 2513 12797 40460 | 24909 25352 43 | 0.003 % |
136.11/136.28 c | 378043 | 2513 12797 40460 | 24909 22475 41 | 0.002 % |
136.32/136.44 c | 378555 | 2513 12797 40460 | 24909 22987 41 | 0.001 % |
136.51/136.65 c | 379579 | 2513 12797 40460 | 24909 24011 42 | 0.004 % |
137.11/137.22 c | 381628 | 2513 12797 40460 | 24433 22569 42 | 0.002 % |
138.21/138.40 c | 385724 | 2513 12797 40460 | 24433 23255 42 | 0.000 % |
138.41/138.52 c | 386237 | 2513 12797 40460 | 24433 23768 42 | 0.000 % |
138.61/138.71 c | 386749 | 2513 12797 40460 | 24433 24280 43 | 0.000 % |
138.91/139.03 c | 387774 | 2513 12797 40460 | 24433 21888 40 | 0.000 % |
139.11/139.23 c | 388288 | 2513 12797 40460 | 24433 22402 41 | 0.000 % |
139.21/139.39 c | 388800 | 2513 12797 40460 | 24433 22914 40 | 0.000 % |
139.81/139.97 c | 389825 | 2513 12797 40460 | 24433 23939 41 | 0.000 % |
141.21/141.38 c | 391876 | 2513 12797 40460 | 24115 22840 39 | 0.000 % |
141.41/141.58 c | 392390 | 2513 12797 40460 | 24115 23354 39 | 0.000 % |
141.71/141.82 c | 392903 | 2513 12797 40460 | 24115 23867 40 | 0.000 % |
142.11/142.28 c | 393927 | 2513 12797 40460 | 24115 21980 37 | 0.000 % |
142.41/142.51 c | 394440 | 2513 12797 40460 | 24115 22493 37 | 0.000 % |
142.61/142.75 c | 394953 | 2513 12797 40460 | 24115 23006 37 | 0.000 % |
143.01/143.18 c | 395977 | 2513 12797 40460 | 24115 24030 37 | 0.000 % |
143.91/144.05 c | 398025 | 2513 12797 40460 | 24115 23341 37 | 0.000 % |
145.21/145.34 c | 402122 | 2513 12797 40460 | 22373 21759 37 | 0.004 % |
147.92/148.04 c | 410314 | 2513 12797 40460 | 21565 21877 43 | 0.000 % |
155.12/155.26 c | 426699 | 2513 12797 40460 | 2147483647 28140 43 | 0.000 % |
174.62/174.75 c | 459468 | 2513 12797 40460 | 24852 22978 45 | 0.000 % |
201.62/201.74 c | 525004 | 2513 12797 40460 | 18786 18962 45 | 0.000 % |
201.72/201.86 c | 525517 | 2513 12797 40460 | 18786 17374 44 | 0.004 % |
201.82/201.94 c | 526029 | 2513 12797 40460 | 18786 17886 44 | 0.003 % |
202.02/202.12 c | 527054 | 2513 12797 40460 | 18786 18911 44 | 0.000 % |
202.12/202.24 c | 527566 | 2513 12797 40460 | 18786 17482 43 | 0.003 % |
202.22/202.34 c | 528079 | 2513 12797 40460 | 18786 17995 44 | 0.002 % |
202.42/202.54 c | 529103 | 2513 12797 40460 | 18786 19019 44 | 0.000 % |
203.02/203.17 c | 531151 | 2513 12797 40460 | 2147483647 19166 44 | 0.000 % |
203.22/203.36 c | 531663 | 2513 12797 40460 | 2147483647 19678 45 | 0.000 % |
203.52/203.65 c | 532178 | 2513 12797 40460 | 2147483647 20193 44 | 0.000 % |
204.02/204.16 c | 533202 | 2513 12797 40460 | 2147483647 21217 45 | 0.000 % |
204.22/204.38 c | 533715 | 2513 12797 40460 | 2147483647 21730 45 | 0.000 % |
204.42/204.61 c | 534227 | 2513 12797 40460 | 2147483647 22242 45 | 0.000 % |
205.02/205.16 c | 535252 | 2513 12797 40460 | 2147483647 23267 46 | 0.000 % |
205.92/206.02 c | 537301 | 2513 12797 40460 | 2147483647 25316 47 | 0.000 % |
208.02/208.17 c | 541399 | 2513 12797 40460 | 28015 25217 48 | 0.000 % |
208.12/208.25 c | 541912 | 2513 12797 40460 | 28015 25730 47 | 0.000 % |
208.22/208.34 c | 542425 | 2513 12797 40460 | 28015 26243 46 | 0.000 % |
208.62/208.78 c | 543450 | 2513 12797 40460 | 28015 27268 47 | 0.000 % |
208.93/209.04 c | 543964 | 2513 12797 40460 | 28015 27782 47 | 0.000 % |
209.12/209.26 c | 544476 | 2513 12797 40460 | 28015 28294 48 | 0.000 % |
209.52/209.67 c | 545500 | 2513 12797 40460 | 28015 24891 45 | 0.000 % |
210.12/210.25 c | 547548 | 2513 12797 40460 | 28015 26939 46 | 0.004 % |
210.22/210.40 c | 548062 | 2513 12797 40460 | 28015 27453 46 | 0.002 % |
210.42/210.56 c | 548576 | 2513 12797 40460 | 28015 27967 46 | 0.004 % |
210.72/210.88 c | 549601 | 2513 12797 40460 | 28015 24262 43 | 0.002 % |
210.92/211.03 c | 550113 | 2513 12797 40460 | 24661 24774 43 | 0.000 % |
211.02/211.21 c | 550626 | 2513 12797 40460 | 24661 21202 42 | 0.000 % |
211.52/211.64 c | 551651 | 2513 12797 40460 | 24661 22227 43 | 0.000 % |
212.62/212.72 c | 553700 | 2513 12797 40460 | 24661 24276 43 | 0.000 % |
213.72/213.89 c | 557797 | 2513 12797 40460 | 24661 22222 36 | 0.000 % |
217.42/217.57 c | 565989 | 2513 12797 40460 | 24426 24400 39 | 0.000 % |
217.73/217.85 c | 566502 | 2513 12797 40460 | 24426 24913 39 | 0.000 % |
217.82/218.01 c | 567014 | 2513 12797 40460 | 24426 21990 39 | 0.004 % |
218.12/218.28 c | 568038 | 2513 12797 40460 | 24426 23014 39 | 0.002 % |
218.22/218.39 c | 568551 | 2513 12797 40460 | 24426 23527 39 | 0.004 % |
218.32/218.48 c | 569065 | 2513 12797 40460 | 24426 24041 39 | 0.000 % |
218.72/218.83 c | 570090 | 2513 12797 40460 | 21605 21695 38 | 0.004 % |
219.32/219.44 c | 572138 | 2513 12797 40460 | 21605 20860 43 | 0.003 % |
219.52/219.66 c | 572652 | 2513 12797 40460 | 21605 21374 44 | 0.000 % |
219.82/219.94 c | 573164 | 2513 12797 40460 | 21605 19312 43 | 0.000 % |
220.12/220.30 c | 574189 | 2513 12797 40460 | 21605 20337 44 | 0.000 % |
220.32/220.46 c | 574701 | 2513 12797 40460 | 21605 20849 43 | 0.000 % |
220.62/220.71 c | 575215 | 2513 12797 40460 | 21605 21363 44 | 0.000 % |
220.92/221.12 c | 576241 | 2513 12797 40460 | 21605 19707 42 | 0.000 % |
221.92/222.08 c | 578291 | 2513 12797 40460 | 21605 21757 43 | 0.000 % |
223.52/223.64 c | 582388 | 2513 12797 40460 | 20817 20864 39 | 0.000 % |
223.72/223.85 c | 582900 | 2513 12797 40460 | 20817 19290 38 | 0.000 % |
223.92/224.02 c | 583412 | 2513 12797 40460 | 20817 19802 39 | 0.000 % |
224.22/224.41 c | 584439 | 2513 12797 40460 | 20817 20829 40 | 0.000 % |
224.52/224.61 c | 584952 | 2513 12797 40460 | 20817 19257 38 | 0.000 % |
224.72/224.88 c | 585466 | 2513 12797 40460 | 20817 19771 39 | 0.000 % |
225.12/225.29 c | 586490 | 2513 12797 40460 | 20817 20795 39 | 0.000 % |
225.92/226.08 c | 588538 | 2513 12797 40460 | 20817 20532 39 | 0.000 % |
226.02/226.18 c | 589051 | 2513 12797 40460 | 20817 21045 40 | 0.004 % |
226.12/226.27 c | 589563 | 2513 12797 40460 | 20817 19289 37 | 0.000 % |
226.32/226.49 c | 590587 | 2513 12797 40460 | 19727 20313 38 | 0.000 % |
226.42/226.60 c | 591100 | 2513 12797 40460 | 19727 18647 36 | 0.002 % |
226.62/226.76 c | 591614 | 2513 12797 40460 | 19727 19161 37 | 0.000 % |
226.92/227.06 c | 592639 | 2513 12797 40460 | 19727 18179 38 | 0.000 % |
227.52/227.70 c | 594689 | 2513 12797 40460 | 19727 18210 39 | 0.000 % |
228.92/229.04 c | 598785 | 2513 12797 40460 | 19727 20200 41 | 0.000 % |
231.82/231.97 c | 606977 | 2513 12797 40460 | 19282 18278 41 | 0.000 % |
241.02/241.14 c | 623361 | 2513 12797 40460 | 29342 27368 41 | 0.000 % |
241.32/241.42 c | 623873 | 2513 12797 40460 | 29342 27880 41 | 0.000 % |
241.52/241.64 c | 624389 | 2513 12797 40460 | 29342 28396 41 | 0.000 % |
241.92/242.11 c | 625413 | 2513 12797 40460 | 29342 29420 42 | 0.000 % |
242.22/242.40 c | 625927 | 2513 12797 40460 | 29342 24149 40 | 0.000 % |
242.52/242.62 c | 626439 | 2513 12797 40460 | 29342 24661 40 | 0.000 % |
243.02/243.13 c | 627464 | 2513 12797 40460 | 29342 25686 41 | 0.000 % |
244.12/244.30 c | 629512 | 2513 12797 40460 | 29342 27734 42 | 0.000 % |
244.32/244.46 c | 630025 | 2513 12797 40460 | 28222 28247 42 | 0.004 % |
244.42/244.60 c | 630537 | 2513 12797 40460 | 28222 23364 40 | 0.000 % |
244.72/244.84 c | 631561 | 2513 12797 40460 | 28222 24388 40 | 0.002 % |
244.82/244.96 c | 632074 | 2513 12797 40460 | 28222 24901 40 | 0.002 % |
244.92/245.11 c | 632586 | 2513 12797 40460 | 28222 25413 41 | 0.004 % |
245.22/245.32 c | 633610 | 2513 12797 40460 | 28222 26437 41 | 0.000 % |
245.62/245.80 c | 635658 | 2513 12797 40460 | 28222 28485 41 | 0.000 % |
247.32/247.43 c | 639754 | 2513 12797 40460 | 28222 27708 44 | 0.000 % |
247.52/247.66 c | 640266 | 2513 12797 40460 | 27955 28220 44 | 0.000 % |
247.72/247.83 c | 640778 | 2513 12797 40460 | 27955 23547 43 | 0.000 % |
248.22/248.32 c | 641802 | 2513 12797 40460 | 27955 24571 44 | 0.000 % |
248.42/248.59 c | 642314 | 2513 12797 40460 | 27955 25083 45 | 0.000 % |
248.72/248.90 c | 642826 | 2513 12797 40460 | 27955 25595 45 | 0.000 % |
249.42/249.53 c | 643852 | 2513 12797 40460 | 27955 26621 45 | 0.000 % |
250.72/250.82 c | 645902 | 2513 12797 40460 | 27955 23727 44 | 0.000 % |
250.82/250.98 c | 646416 | 2513 12797 40460 | 27955 24241 44 | 0.000 % |
251.02/251.20 c | 646928 | 2513 12797 40460 | 27955 24753 44 | 0.000 % |
251.72/251.84 c | 647952 | 2513 12797 40460 | 27955 25777 44 | 0.000 % |
252.02/252.20 c | 648464 | 2513 12797 40460 | 27955 26289 45 | 0.000 % |
252.32/252.42 c | 648977 | 2513 12797 40460 | 27955 26802 45 | 0.000 % |
252.82/252.99 c | 650003 | 2513 12797 40460 | 27825 27828 45 | 0.000 % |
253.42/253.54 c | 652052 | 2513 12797 40460 | 27825 25166 43 | 0.004 % |
254.72/254.87 c | 656148 | 2513 12797 40460 | 27825 24318 40 | 0.002 % |
258.32/258.47 c | 664342 | 2513 12797 40460 | 28172 27390 40 | 0.000 % |
258.62/258.73 c | 664854 | 2513 12797 40460 | 28172 27902 40 | 0.000 % |
258.82/258.96 c | 665367 | 2513 12797 40460 | 28172 28415 41 | 0.000 % |
259.22/259.40 c | 666391 | 2513 12797 40460 | 28172 24236 40 | 0.000 % |
259.42/259.53 c | 666903 | 2513 12797 40460 | 28172 24748 40 | 0.000 % |
259.62/259.73 c | 667417 | 2513 12797 40460 | 28172 25262 40 | 0.000 % |
260.12/260.26 c | 668441 | 2513 12797 40460 | 28172 26286 40 | 0.000 % |
261.42/261.56 c | 670489 | 2513 12797 40460 | 27846 23512 40 | 0.000 % |
261.82/261.96 c | 671001 | 2513 12797 40460 | 27846 24024 41 | 0.000 % |
261.92/262.08 c | 671513 | 2513 12797 40460 | 27846 24536 41 | 0.004 % |
262.22/262.37 c | 672537 | 2513 12797 40460 | 27846 25560 42 | 0.002 % |
262.32/262.51 c | 673049 | 2513 12797 40460 | 27846 26072 42 | 0.004 % |
262.52/262.65 c | 673561 | 2513 12797 40460 | 27846 26584 42 | 0.002 % |
262.82/262.93 c | 674586 | 2513 12797 40460 | 27846 27609 42 | 0.003 % |
263.42/263.57 c | 676638 | 2513 12797 40460 | 27846 24921 39 | 0.000 % |
265.12/265.31 c | 680734 | 2513 12797 40460 | 28285 29017 43 | 0.000 % |
265.42/265.54 c | 681246 | 2513 12797 40460 | 28285 24258 41 | 0.000 % |
265.62/265.78 c | 681759 | 2513 12797 40460 | 28285 24771 42 | 0.000 % |
266.22/266.33 c | 682785 | 2513 12797 40460 | 28285 25797 43 | 0.000 % |
266.52/266.63 c | 683297 | 2513 12797 40460 | 28285 26309 43 | 0.000 % |
266.72/266.89 c | 683809 | 2513 12797 40460 | 28285 26821 43 | 0.000 % |
267.22/267.38 c | 684833 | 2513 12797 40460 | 28285 27845 44 | 0.000 % |
268.62/268.74 c | 686884 | 2513 12797 40460 | 28285 24538 44 | 0.000 % |
268.92/269.08 c | 687396 | 2513 12797 40460 | 28285 25050 45 | 0.000 % |
269.22/269.31 c | 687910 | 2513 12797 40460 | 28285 25564 45 | 0.000 % |
269.72/269.86 c | 688936 | 2513 12797 40460 | 28285 26590 44 | 0.000 % |
270.02/270.12 c | 689449 | 2513 12797 40460 | 28285 27103 44 | 0.000 % |
270.22/270.32 c | 689961 | 2513 12797 40460 | 28285 27615 44 | 0.000 % |
270.72/270.84 c | 690986 | 2513 12797 40460 | 27655 23758 43 | 0.000 % |
271.92/272.03 c | 693035 | 2513 12797 40460 | 27655 25807 44 | 0.000 % |
273.22/273.31 c | 697131 | 2513 12797 40460 | 27655 25271 43 | 0.004 % |
277.02/277.17 c | 705323 | 2513 12797 40460 | 28141 28521 44 | 0.000 % |
286.12/286.24 c | 721707 | 2513 12797 40460 | 27095 23637 43 | 0.000 % |
303.53/303.68 c | 754475 | 2513 12797 40460 | 24659 23494 44 | 0.000 % |
303.92/304.02 c | 754987 | 2513 12797 40460 | 24659 24006 44 | 0.000 % |
304.12/304.30 c | 755499 | 2513 12797 40460 | 24659 24518 44 | 0.000 % |
304.63/304.79 c | 756526 | 2513 12797 40460 | 24659 20045 40 | 0.000 % |
304.82/304.92 c | 757038 | 2513 12797 40460 | 24659 20557 41 | 0.004 % |
304.92/305.04 c | 757550 | 2513 12797 40460 | 24659 21069 41 | 0.003 % |
305.12/305.27 c | 758576 | 2513 12797 40460 | 24659 22095 41 | 0.004 % |
305.73/305.88 c | 760624 | 2513 12797 40460 | 23520 24143 43 | 0.003 % |
305.82/306.00 c | 761136 | 2513 12797 40460 | 23520 20200 39 | 0.000 % |
306.02/306.12 c | 761649 | 2513 12797 40460 | 23520 20713 40 | 0.000 % |
306.32/306.47 c | 762674 | 2513 12797 40460 | 23520 21738 41 | 0.000 % |
306.52/306.69 c | 763188 | 2513 12797 40460 | 23520 22252 41 | 0.000 % |
306.72/306.90 c | 763701 | 2513 12797 40460 | 23520 22765 42 | 0.000 % |
307.32/307.47 c | 764727 | 2513 12797 40460 | 23520 19965 41 | 0.000 % |
307.72/307.89 c | 766779 | 2513 12797 40460 | 23520 22017 40 | 0.000 % |
309.12/309.23 c | 770876 | 2513 12797 40460 | 22218 20417 36 | 0.000 % |
309.32/309.45 c | 771388 | 2513 12797 40460 | 22218 20929 36 | 0.000 % |
309.52/309.64 c | 771901 | 2513 12797 40460 | 22218 21442 36 | 0.000 % |
309.92/310.08 c | 772926 | 2513 12797 40460 | 22218 20179 35 | 0.000 % |
310.13/310.27 c | 773439 | 2513 12797 40460 | 22218 20692 36 | 0.000 % |
310.32/310.46 c | 773954 | 2513 12797 40460 | 22218 21207 36 | 0.000 % |
310.72/310.89 c | 774978 | 2513 12797 40460 | 22218 22231 37 | 0.000 % |
311.53/311.67 c | 777027 | 2513 12797 40460 | 22218 21929 37 | 0.000 % |
311.63/311.80 c | 777539 | 2513 12797 40460 | 22218 22441 37 | 0.004 % |
311.83/311.93 c | 778051 | 2513 12797 40460 | 22218 20526 35 | 0.002 % |
312.03/312.12 c | 779075 | 2513 12797 40460 | 22218 21550 36 | 0.004 % |
312.13/312.23 c | 779588 | 2513 12797 40460 | 22218 22063 36 | 0.002 % |
312.23/312.35 c | 780100 | 2513 12797 40460 | 22475 22575 36 | 0.004 % |
312.53/312.62 c | 781124 | 2513 12797 40460 | 22475 21232 35 | 0.000 % |
313.13/313.29 c | 783172 | 2513 12797 40460 | 22475 20951 36 | 0.000 % |
314.53/314.66 c | 787268 | 2513 12797 40460 | 22475 22576 40 | 0.000 % |
317.53/317.65 c | 795461 | 2513 12797 40460 | 22745 22455 42 | 0.000 % |
317.73/317.85 c | 795974 | 2513 12797 40460 | 22745 22968 42 | 0.000 % |
317.93/318.03 c | 796486 | 2513 12797 40460 | 22745 20490 41 | 0.000 % |
318.33/318.42 c | 797510 | 2513 12797 40460 | 22745 21514 41 | 0.000 % |
318.43/318.57 c | 798023 | 2513 12797 40460 | 22745 22027 42 | 0.004 % |
318.63/318.71 c | 798535 | 2513 12797 40460 | 22745 22539 42 | 0.003 % |
318.83/318.99 c | 799559 | 2513 12797 40460 | 22745 23563 43 | 0.004 % |
319.53/319.65 c | 801608 | 2513 12797 40460 | 20972 19768 42 | 0.002 % |
319.63/319.79 c | 802120 | 2513 12797 40460 | 20972 20280 43 | 0.000 % |
319.83/320.00 c | 802632 | 2513 12797 40460 | 20972 20792 43 | 0.000 % |
320.33/320.47 c | 803657 | 2513 12797 40460 | 20972 19110 45 | 0.000 % |
320.43/320.61 c | 804169 | 2513 12797 40460 | 20972 19622 45 | 0.000 % |
320.63/320.74 c | 804681 | 2513 12797 40460 | 20972 20134 45 | 0.000 % |
320.93/321.08 c | 805705 | 2513 12797 40460 | 20972 21158 45 | 0.000 % |
321.73/321.89 c | 807754 | 2513 12797 40460 | 20972 20848 45 | 0.000 % |
323.43/323.60 c | 811854 | 2513 12797 40460 | 2147483647 22719 42 | 0.000 % |
323.63/323.77 c | 812367 | 2513 12797 40460 | 2147483647 23232 43 | 0.000 % |
323.83/323.98 c | 812879 | 2513 12797 40460 | 2147483647 23744 42 | 0.000 % |
324.13/324.31 c | 813903 | 2513 12797 40460 | 2147483647 24768 42 | 0.000 % |
324.43/324.56 c | 814415 | 2513 12797 40460 | 2147483647 25280 42 | 0.000 % |
324.63/324.79 c | 814927 | 2513 12797 40460 | 2147483647 25792 42 | 0.000 % |
325.13/325.25 c | 815952 | 2513 12797 40460 | 2147483647 26817 43 | 0.000 % |
326.23/326.33 c | 818004 | 2513 12797 40460 | 2147483647 28869 44 | 0.000 % |
326.33/326.48 c | 818516 | 2513 12797 40460 | 2147483647 29381 44 | 0.004 % |
326.53/326.67 c | 819029 | 2513 12797 40460 | 2147483647 29894 44 | 0.002 % |
326.83/326.94 c | 820053 | 2513 12797 40460 | 30865 30918 44 | 0.003 % |
327.03/327.15 c | 820565 | 2513 12797 40460 | 30865 27274 43 | 0.002 % |
327.13/327.29 c | 821078 | 2513 12797 40460 | 30865 27787 43 | 0.004 % |
327.53/327.66 c | 822103 | 2513 12797 40460 | 30865 28812 44 | 0.002 % |
328.33/328.44 c | 824152 | 2513 12797 40460 | 30865 30861 45 | 0.000 % |
330.13/330.21 c | 828249 | 2513 12797 40460 | 30865 29161 43 | 0.000 % |
334.13/334.28 c | 836443 | 2513 12797 40460 | 30914 31386 42 | 0.000 % |
341.93/342.04 c | 852829 | 2513 12797 40460 | 29227 27050 40 | 0.000 % |
342.23/342.37 c | 853342 | 2513 12797 40460 | 29227 27563 41 | 0.000 % |
342.63/342.76 c | 853855 | 2513 12797 40460 | 29227 28076 41 | 0.000 % |
343.23/343.32 c | 854879 | 2513 12797 40460 | 29227 29100 42 | 0.000 % |
343.53/343.68 c | 855391 | 2513 12797 40460 | 29227 24093 42 | 0.000 % |
343.83/343.92 c | 855904 | 2513 12797 40460 | 29227 24606 42 | 0.000 % |
344.23/344.39 c | 856928 | 2513 12797 40460 | 29227 25630 43 | 0.000 % |
346.03/346.11 c | 858976 | 2513 12797 40460 | 29227 27678 44 | 0.000 % |
346.23/346.36 c | 859489 | 2513 12797 40460 | 29227 28191 44 | 0.000 % |
346.53/346.68 c | 860002 | 2513 12797 40460 | 28702 28704 45 | 0.000 % |
346.83/346.95 c | 861028 | 2513 12797 40460 | 28702 24302 45 | 0.004 % |
346.93/347.06 c | 861542 | 2513 12797 40460 | 28702 24816 45 | 0.002 % |
347.03/347.21 c | 862054 | 2513 12797 40460 | 28702 25328 45 | 0.000 % |
347.33/347.44 c | 863078 | 2513 12797 40460 | 28702 26352 45 | 0.003 % |
348.03/348.14 c | 865127 | 2513 12797 40460 | 28702 28401 46 | 0.002 % |
349.93/350.10 c | 869224 | 2513 12797 40460 | 28702 27096 44 | 0.000 % |
350.13/350.29 c | 869737 | 2513 12797 40460 | 28702 27609 45 | 0.000 % |
350.43/350.53 c | 870250 | 2513 12797 40460 | 27872 28122 45 | 0.000 % |
350.93/351.06 c | 871275 | 2513 12797 40460 | 27872 24211 44 | 0.000 % |
351.23/351.33 c | 871788 | 2513 12797 40460 | 27872 24724 44 | 0.000 % |
351.33/351.51 c | 872300 | 2513 12797 40460 | 27872 25236 45 | 0.000 % |
351.53/351.70 c | 873324 | 2513 12797 40460 | 27872 26260 44 | 0.000 % |
352.53/352.67 c | 875373 | 2513 12797 40460 | 27872 28309 45 | 0.000 % |
352.73/352.91 c | 875885 | 2513 12797 40460 | 27872 24218 43 | 0.000 % |
353.03/353.14 c | 876398 | 2513 12797 40460 | 27872 24731 44 | 0.000 % |
353.53/353.63 c | 877422 | 2513 12797 40460 | 27872 25755 44 | 0.000 % |
353.73/353.86 c | 877935 | 2513 12797 40460 | 27872 26268 44 | 0.000 % |
353.93/354.08 c | 878451 | 2513 12797 40460 | 27872 26784 45 | 0.000 % |
354.53/354.66 c | 879475 | 2513 12797 40460 | 27872 27808 45 | 0.000 % |
356.03/356.11 c | 881523 | 2513 12797 40460 | 28333 24768 44 | 0.000 % |
357.13/357.22 c | 885622 | 2513 12797 40460 | 28333 28867 45 | 0.000 % |
361.03/361.17 c | 893814 | 2513 12797 40460 | 27789 26467 42 | 0.000 % |
361.23/361.41 c | 894328 | 2513 12797 40460 | 27789 26981 43 | 0.000 % |
361.63/361.76 c | 894841 | 2513 12797 40460 | 27789 27494 43 | 0.000 % |
362.33/362.51 c | 895867 | 2513 12797 40460 | 27789 23195 42 | 0.000 % |
362.63/362.80 c | 896382 | 2513 12797 40460 | 27789 23710 43 | 0.000 % |
362.94/363.07 c | 896895 | 2513 12797 40460 | 27789 24223 43 | 0.000 % |
363.43/363.56 c | 897921 | 2513 12797 40460 | 27789 25249 44 | 0.000 % |
364.33/364.41 c | 899970 | 2513 12797 40460 | 27789 27298 44 | 0.000 % |
364.53/364.70 c | 900483 | 2513 12797 40460 | 27328 22801 41 | 0.000 % |
364.83/364.97 c | 900996 | 2513 12797 40460 | 27328 23314 41 | 0.000 % |
365.23/365.37 c | 902023 | 2513 12797 40460 | 27328 24341 40 | 0.000 % |
365.43/365.54 c | 902536 | 2513 12797 40460 | 27328 24854 40 | 0.002 % |
365.53/365.67 c | 903049 | 2513 12797 40460 | 27328 25367 41 | 0.000 % |
365.83/365.99 c | 904073 | 2513 12797 40460 | 27328 26391 42 | 0.004 % |
366.33/366.42 c | 906121 | 2513 12797 40460 | 27328 23959 39 | 0.003 % |
367.43/367.55 c | 910220 | 2513 12797 40460 | 23556 23775 38 | 0.000 % |
367.63/367.77 c | 910733 | 2513 12797 40460 | 23556 20613 36 | 0.000 % |
367.73/367.88 c | 911245 | 2513 12797 40460 | 23556 21125 36 | 0.000 % |
368.13/368.22 c | 912270 | 2513 12797 40460 | 23556 22150 38 | 0.000 % |
368.23/368.38 c | 912783 | 2513 12797 40460 | 23556 22663 39 | 0.000 % |
368.44/368.58 c | 913295 | 2513 12797 40460 | 23556 23175 39 | 0.000 % |
368.83/368.96 c | 914320 | 2513 12797 40460 | 23556 20871 38 | 0.000 % |
369.73/369.89 c | 916369 | 2513 12797 40460 | 23556 22920 40 | 0.000 % |
370.03/370.14 c | 916881 | 2513 12797 40460 | 23556 23432 41 | 0.000 % |
370.23/370.37 c | 917394 | 2513 12797 40460 | 23556 20804 42 | 0.000 % |
370.73/370.87 c | 918418 | 2513 12797 40460 | 23556 21828 42 | 0.000 % |
370.93/371.07 c | 918931 | 2513 12797 40460 | 23556 22341 42 | 0.000 % |
371.13/371.22 c | 919443 | 2513 12797 40460 | 23556 22853 42 | 0.000 % |
371.53/371.69 c | 920467 | 2513 12797 40460 | 23410 20737 42 | 0.000 % |
372.63/372.74 c | 922515 | 2513 12797 40460 | 23410 22785 42 | 0.000 % |
373.83/373.97 c | 926613 | 2513 12797 40460 | 23410 20878 40 | 0.004 % |
377.33/377.45 c | 934809 | 2513 12797 40460 | 21297 20364 40 | 0.000 % |
384.83/384.94 c | 951194 | 2513 12797 40460 | 19672 18808 43 | 0.000 % |
401.44/401.56 c | 983962 | 2513 12797 40460 | 26667 24741 52 | 0.000 % |
430.74/430.90 c | 1049499 | 2513 12797 40460 | 20350 19119 58 | 0.000 % |
486.45/486.57 c | 1180573 | 2513 12797 40460 | 18838 16823 53 | 0.000 % |
486.55/486.67 c | 1181085 | 2513 12797 40460 | 18838 17335 52 | 0.004 % |
486.65/486.75 c | 1181597 | 2513 12797 40460 | 18838 17847 52 | 0.000 % |
486.85/486.95 c | 1182621 | 2513 12797 40460 | 18838 18871 52 | 0.002 % |
486.95/487.08 c | 1183133 | 2513 12797 40460 | 18838 17156 50 | 0.000 % |
487.05/487.19 c | 1183646 | 2513 12797 40460 | 18838 17669 50 | 0.000 % |
487.35/487.48 c | 1184670 | 2513 12797 40460 | 18838 18693 49 | 0.000 % |
487.85/487.92 c | 1186719 | 2513 12797 40460 | 18838 18850 46 | 0.000 % |
487.95/488.06 c | 1187232 | 2513 12797 40460 | 18838 17478 44 | 0.000 % |
488.05/488.17 c | 1187744 | 2513 12797 40460 | 18838 17990 44 | 0.000 % |
488.25/488.41 c | 1188770 | 2513 12797 40460 | 18838 19016 45 | 0.000 % |
488.45/488.54 c | 1189285 | 2513 12797 40460 | 18838 17630 43 | 0.000 % |
488.55/488.67 c | 1189797 | 2513 12797 40460 | 18838 18142 44 | 0.000 % |
488.85/488.92 c | 1190821 | 2513 12797 40460 | 2147483647 19166 44 | 0.000 % |
489.45/489.56 c | 1192869 | 2513 12797 40460 | 2147483647 21214 46 | 0.000 % |
490.85/490.95 c | 1196967 | 2513 12797 40460 | 2147483647 25312 47 | 0.000 % |
490.95/491.04 c | 1197479 | 2513 12797 40460 | 2147483647 25824 47 | 0.000 % |
491.15/491.31 c | 1197991 | 2513 12797 40460 | 2147483647 26336 47 | 0.000 % |
491.65/491.72 c | 1199015 | 2513 12797 40460 | 2147483647 27360 48 | 0.000 % |
491.75/491.88 c | 1199527 | 2513 12797 40460 | 2147483647 27872 48 | 0.004 % |
491.85/492.01 c | 1200039 | 2513 12797 40460 | 28346 28384 48 | 0.000 % |
492.15/492.29 c | 1201064 | 2513 12797 40460 | 28346 25637 47 | 0.002 % |
492.65/492.74 c | 1203114 | 2513 12797 40460 | 28346 27687 47 | 0.003 % |
492.75/492.88 c | 1203626 | 2513 12797 40460 | 28346 28199 47 | 0.000 % |
492.95/493.03 c | 1204139 | 2513 12797 40460 | 28346 28712 47 | 0.000 % |
493.35/493.44 c | 1205164 | 2513 12797 40460 | 28346 25144 46 | 0.000 % |
493.65/493.76 c | 1205678 | 2513 12797 40460 | 28346 25658 46 | 0.000 % |
493.85/493.99 c | 1206190 | 2513 12797 40460 | 28346 26170 46 | 0.000 % |
494.55/494.65 c | 1207214 | 2513 12797 40460 | 28346 27194 46 | 0.000 % |
495.65/495.77 c | 1209263 | 2513 12797 40460 | 28346 24051 47 | 0.000 % |
497.55/497.66 c | 1213360 | 2513 12797 40460 | 24788 23712 44 | 0.000 % |
501.05/501.20 c | 1221552 | 2513 12797 40460 | 23230 21172 43 | 0.000 % |
501.15/501.30 c | 1222065 | 2513 12797 40460 | 23230 21685 43 | 0.002 % |
501.25/501.41 c | 1222577 | 2513 12797 40460 | 23230 22197 43 | 0.000 % |
501.45/501.61 c | 1223602 | 2513 12797 40460 | 23230 23222 43 | 0.000 % |
501.65/501.72 c | 1224115 | 2513 12797 40460 | 23230 23735 43 | 0.000 % |
501.75/501.85 c | 1224627 | 2513 12797 40460 | 23230 20842 42 | 0.000 % |
502.05/502.14 c | 1225653 | 2513 12797 40460 | 23230 21868 43 | 0.000 % |
502.55/502.69 c | 1227701 | 2513 12797 40460 | 23230 23916 43 | 0.000 % |
502.75/502.85 c | 1228213 | 2513 12797 40460 | 23230 21050 42 | 0.000 % |
502.85/502.96 c | 1228726 | 2513 12797 40460 | 23230 21563 42 | 0.000 % |
503.25/503.33 c | 1229752 | 2513 12797 40460 | 23230 22589 43 | 0.000 % |
503.35/503.47 c | 1230265 | 2513 12797 40460 | 22838 23102 43 | 0.000 % |
503.55/503.64 c | 1230778 | 2513 12797 40460 | 22838 20374 42 | 0.000 % |
503.75/503.90 c | 1231802 | 2513 12797 40460 | 22838 21398 43 | 0.000 % |
504.45/504.55 c | 1233851 | 2513 12797 40460 | 22838 20803 40 | 0.000 % |
505.55/505.68 c | 1237949 | 2513 12797 40460 | 22838 22388 40 | 0.000 % |
505.65/505.78 c | 1238461 | 2513 12797 40460 | 22838 22900 39 | 0.000 % |
505.85/505.98 c | 1238975 | 2513 12797 40460 | 22838 20960 39 | 0.000 % |
506.25/506.34 c | 1240000 | 2513 12797 40460 | 22838 21985 39 | 0.000 % |
506.35/506.46 c | 1240513 | 2513 12797 40460 | 21985 20165 38 | 0.004 % |
506.45/506.56 c | 1241025 | 2513 12797 40460 | 21985 20677 38 | 0.003 % |
506.65/506.78 c | 1242050 | 2513 12797 40460 | 21985 21702 39 | 0.004 % |
507.15/507.22 c | 1244099 | 2513 12797 40460 | 21985 21313 38 | 0.003 % |
507.25/507.34 c | 1244611 | 2513 12797 40460 | 21985 21825 38 | 0.002 % |
507.35/507.44 c | 1245124 | 2513 12797 40460 | 21985 22338 38 | 0.000 % |
507.55/507.68 c | 1246149 | 2513 12797 40460 | 21985 20915 37 | 0.000 % |
507.65/507.81 c | 1246662 | 2513 12797 40460 | 21985 21428 38 | 0.000 % |
507.75/507.89 c | 1247177 | 2513 12797 40460 | 21985 21943 37 | 0.000 % |
508.05/508.16 c | 1248202 | 2513 12797 40460 | 21985 20489 37 | 0.000 % |
508.55/508.66 c | 1250250 | 2513 12797 40460 | 22289 22537 37 | 0.000 % |
509.85/509.93 c | 1254346 | 2513 12797 40460 | 22289 21305 41 | 0.000 % |
512.65/512.79 c | 1262538 | 2513 12797 40460 | 21582 21581 45 | 0.000 % |
517.15/517.29 c | 1278922 | 2513 12797 40460 | 20770 18291 41 | 0.004 % |
517.25/517.39 c | 1279436 | 2513 12797 40460 | 20770 18805 41 | 0.000 % |
517.45/517.52 c | 1279951 | 2513 12797 40460 | 20770 19320 41 | 0.000 % |
517.65/517.79 c | 1280975 | 2513 12797 40460 | 19369 17885 40 | 0.000 % |
517.75/517.90 c | 1281487 | 2513 12797 40460 | 19369 18397 40 | 0.000 % |
517.85/518.01 c | 1282000 | 2513 12797 40460 | 19369 18910 40 | 0.000 % |
518.15/518.27 c | 1283025 | 2513 12797 40460 | 19369 17963 40 | 0.002 % |
518.65/518.72 c | 1285073 | 2513 12797 40460 | 19369 20011 40 | 0.003 % |
518.75/518.84 c | 1285585 | 2513 12797 40460 | 19369 18428 40 | 0.002 % |
518.85/518.96 c | 1286098 | 2513 12797 40460 | 19369 18941 40 | 0.004 % |
519.05/519.17 c | 1287122 | 2513 12797 40460 | 19369 19965 40 | 0.002 % |
519.15/519.28 c | 1287634 | 2513 12797 40460 | 19369 18364 40 | 0.000 % |
519.25/519.37 c | 1288146 | 2513 12797 40460 | 19369 18876 40 | 0.000 % |
519.45/519.59 c | 1289170 | 2513 12797 40460 | 19369 19900 40 | 0.000 % |
519.85/519.95 c | 1291219 | 2513 12797 40460 | 2147483647 19959 37 | 0.000 % |
520.95/521.10 c | 1295316 | 2513 12797 40460 | 2147483647 24056 40 | 0.000 % |
521.15/521.30 c | 1295829 | 2513 12797 40460 | 2147483647 24569 40 | 0.000 % |
521.35/521.51 c | 1296341 | 2513 12797 40460 | 2147483647 25081 40 | 0.000 % |
521.75/521.87 c | 1297367 | 2513 12797 40460 | 2147483647 26107 42 | 0.000 % |
521.95/522.04 c | 1297881 | 2513 12797 40460 | 2147483647 26621 42 | 0.000 % |
522.15/522.28 c | 1298393 | 2513 12797 40460 | 2147483647 27133 43 | 0.000 % |
522.65/522.72 c | 1299417 | 2513 12797 40460 | 2147483647 28157 44 | 0.000 % |
523.55/523.68 c | 1301465 | 2513 12797 40460 | 28740 26720 41 | 0.000 % |
523.75/523.86 c | 1301978 | 2513 12797 40460 | 28740 27233 42 | 0.000 % |
523.95/524.10 c | 1302491 | 2513 12797 40460 | 28740 27746 42 | 0.000 % |
524.35/524.48 c | 1303516 | 2513 12797 40460 | 28740 28771 44 | 0.000 % |
524.55/524.65 c | 1304029 | 2513 12797 40460 | 28740 25158 43 | 0.004 % |
524.66/524.76 c | 1304542 | 2513 12797 40460 | 28740 25671 43 | 0.003 % |
524.95/525.07 c | 1305566 | 2513 12797 40460 | 28740 26695 44 | 0.004 % |
525.45/525.58 c | 1307614 | 2513 12797 40460 | 28740 28743 45 | 0.003 % |
527.55/527.62 c | 1311710 | 2513 12797 40460 | 26516 23620 48 | 0.000 % |
531.55/531.69 c | 1319902 | 2513 12797 40460 | 26516 26890 51 | 0.000 % |
531.85/531.92 c | 1320415 | 2513 12797 40460 | 21735 22149 51 | 0.000 % |
531.95/532.09 c | 1320927 | 2513 12797 40460 | 21735 18254 50 | 0.000 % |
532.36/532.47 c | 1321952 | 2513 12797 40460 | 21735 19279 52 | 0.000 % |
532.55/532.67 c | 1322467 | 2513 12797 40460 | 21735 19794 52 | 0.000 % |
532.75/532.85 c | 1322980 | 2513 12797 40460 | 21735 20307 52 | 0.000 % |
533.05/533.17 c | 1324004 | 2513 12797 40460 | 21735 21331 53 | 0.000 % |
533.65/533.76 c | 1326053 | 2513 12797 40460 | 21735 19357 49 | 0.004 % |
533.75/533.90 c | 1326566 | 2513 12797 40460 | 21735 19870 49 | 0.000 % |
533.95/534.04 c | 1327079 | 2513 12797 40460 | 21735 20383 49 | 0.004 % |
534.15/534.24 c | 1328103 | 2513 12797 40460 | 21735 21407 48 | 0.002 % |
534.25/534.35 c | 1328615 | 2513 12797 40460 | 21735 21919 48 | 0.000 % |
534.35/534.51 c | 1329127 | 2513 12797 40460 | 21735 19023 45 | 0.000 % |
534.65/534.78 c | 1330151 | 2513 12797 40460 | 19896 20047 46 | 0.000 % |
535.25/535.37 c | 1332200 | 2513 12797 40460 | 19896 19121 43 | 0.000 % |
536.65/536.80 c | 1336296 | 2513 12797 40460 | 19896 17986 43 | 0.000 % |
536.95/537.02 c | 1336809 | 2513 12797 40460 | 19896 18499 44 | 0.000 % |
537.15/537.28 c | 1337322 | 2513 12797 40460 | 19896 19012 45 | 0.000 % |
537.86/537.98 c | 1338346 | 2513 12797 40460 | 19896 20036 46 | 0.000 % |
538.15/538.27 c | 1338860 | 2513 12797 40460 | 19896 17929 46 | 0.000 % |
538.45/538.57 c | 1339372 | 2513 12797 40460 | 19896 18441 47 | 0.000 % |
538.85/538.95 c | 1340397 | 2513 12797 40460 | 19069 19466 48 | 0.000 % |
539.45/539.58 c | 1342446 | 2513 12797 40460 | 19069 19062 49 | 0.000 % |
539.65/539.80 c | 1342958 | 2513 12797 40460 | 19069 17469 48 | 0.000 % |
539.85/539.99 c | 1343471 | 2513 12797 40460 | 19069 17982 49 | 0.000 % |
540.15/540.26 c | 1344499 | 2513 12797 40460 | 19069 19010 47 | 0.000 % |
540.25/540.41 c | 1345011 | 2513 12797 40460 | 19069 19522 48 | 0.000 % |
540.45/540.57 c | 1345524 | 2513 12797 40460 | 19069 18083 47 | 0.002 % |
540.65/540.79 c | 1346548 | 2513 12797 40460 | 19069 19107 48 | 0.004 % |
541.16/541.22 c | 1348596 | 2513 12797 40460 | 19069 19245 48 | 0.003 % |
542.05/542.16 c | 1352695 | 2513 12797 40460 | 2147483647 21420 44 | 0.002 % |
545.56/545.64 c | 1360889 | 2513 12797 40460 | 28727 24767 48 | 0.000 % |
554.05/554.12 c | 1377274 | 2513 12797 40460 | 28812 23948 48 | 0.000 % |
570.86/570.93 c | 1410042 | 2513 12797 40460 | 23977 24019 59 | 0.000 % |
570.96/571.08 c | 1410555 | 2513 12797 40460 | 23977 19654 57 | 0.003 % |
571.06/571.14 c | 1411069 | 2513 12797 40460 | 23977 20168 56 | 0.000 % |
571.26/571.41 c | 1412093 | 2513 12797 40460 | 23977 21192 56 | 0.004 % |
571.36/571.51 c | 1412606 | 2513 12797 40460 | 23977 21705 56 | 0.002 % |
571.56/571.72 c | 1413118 | 2513 12797 40460 | 23977 22217 56 | 0.000 % |
572.26/572.34 c | 1414142 | 2513 12797 40460 | 23977 23241 57 | 0.000 % |
572.96/573.06 c | 1416193 | 2513 12797 40460 | 23977 21019 52 | 0.000 % |
573.06/573.21 c | 1416707 | 2513 12797 40460 | 23977 21533 51 | 0.000 % |
573.26/573.32 c | 1417219 | 2513 12797 40460 | 23977 22045 51 | 0.000 % |
573.76/573.84 c | 1418245 | 2513 12797 40460 | 23977 23071 51 | 0.000 % |
573.96/574.05 c | 1418757 | 2513 12797 40460 | 23977 23583 52 | 0.000 % |
574.06/574.16 c | 1419273 | 2513 12797 40460 | 23977 20222 47 | 0.000 % |
574.46/574.56 c | 1420297 | 2513 12797 40460 | 20950 21246 48 | 0.000 % |
575.26/575.39 c | 1422346 | 2513 12797 40460 | 20950 19797 44 | 0.000 % |
576.76/576.91 c | 1426442 | 2513 12797 40460 | 20950 20725 45 | 0.000 % |
577.06/577.14 c | 1426954 | 2513 12797 40460 | 20950 21237 45 | 0.000 % |
577.16/577.30 c | 1427466 | 2513 12797 40460 | 20950 18689 43 | 0.000 % |
577.56/577.65 c | 1428491 | 2513 12797 40460 | 20950 19714 45 | 0.000 % |
577.66/577.78 c | 1429003 | 2513 12797 40460 | 20950 20226 45 | 0.000 % |
577.86/577.95 c | 1429517 | 2513 12797 40460 | 20950 20740 45 | 0.004 % |
578.06/578.14 c | 1430541 | 2513 12797 40460 | 21223 21764 46 | 0.003 % |
578.46/578.58 c | 1432589 | 2513 12797 40460 | 21223 20747 45 | 0.002 % |
578.56/578.66 c | 1433101 | 2513 12797 40460 | 21223 21259 45 | 0.003 % |
578.66/578.77 c | 1433613 | 2513 12797 40460 | 21223 19106 44 | 0.000 % |
578.86/579.01 c | 1434637 | 2513 12797 40460 | 21223 20130 45 | 0.000 % |
579.06/579.16 c | 1435150 | 2513 12797 40460 | 21223 20643 45 | 0.000 % |
579.26/579.33 c | 1435662 | 2513 12797 40460 | 21223 21155 46 | 0.000 % |
579.66/579.74 c | 1436686 | 2513 12797 40460 | 21223 19356 46 | 0.000 % |
580.46/580.60 c | 1438736 | 2513 12797 40460 | 21223 21406 48 | 0.000 % |
581.86/582.01 c | 1442833 | 2513 12797 40460 | 19891 17684 44 | 0.000 % |
585.66/585.75 c | 1451025 | 2513 12797 40460 | 18082 16996 41 | 0.000 % |
585.76/585.85 c | 1451537 | 2513 12797 40460 | 18082 17508 42 | 0.003 % |
585.76/585.91 c | 1452051 | 2513 12797 40460 | 18082 18022 41 | 0.000 % |
586.05/586.18 c | 1453076 | 2513 12797 40460 | 18082 17151 40 | 0.004 % |
586.15/586.26 c | 1453589 | 2513 12797 40460 | 18082 17664 40 | 0.003 % |
586.25/586.37 c | 1454101 | 2513 12797 40460 | 18082 18176 40 | 0.004 % |
586.55/586.63 c | 1455126 | 2513 12797 40460 | 18082 17384 38 | 0.000 % |
587.15/587.29 c | 1457175 | 2513 12797 40460 | 18082 17548 39 | 0.000 % |
587.35/587.49 c | 1457687 | 2513 12797 40460 | 18082 18060 40 | 0.000 % |
587.55/587.67 c | 1458201 | 2513 12797 40460 | 18082 16722 38 | 0.000 % |
587.85/588.00 c | 1459226 | 2513 12797 40460 | 18082 17747 40 | 0.000 % |
588.05/588.15 c | 1459740 | 2513 12797 40460 | 18082 18261 40 | 0.000 % |
588.15/588.26 c | 1460253 | 2513 12797 40460 | 2147483647 16948 38 | 0.000 % |
588.45/588.57 c | 1461279 | 2513 12797 40460 | 2147483647 17974 40 | 0.000 % |
588.95/589.07 c | 1463327 | 2513 12797 40460 | 2147483647 20022 40 | 0.000 % |
590.45/590.52 c | 1467423 | 2513 12797 40460 | 2147483647 24118 44 | 0.000 % |
590.65/590.75 c | 1467936 | 2513 12797 40460 | 2147483647 24631 45 | 0.000 % |
590.95/591.04 c | 1468448 | 2513 12797 40460 | 2147483647 25143 45 | 0.000 % |
591.55/591.63 c | 1469472 | 2513 12797 40460 | 2147483647 26167 45 | 0.000 % |
591.65/591.72 c | 1469985 | 2513 12797 40460 | 2147483647 26680 45 | 0.000 % |
591.85/591.93 c | 1470497 | 2513 12797 40460 | 26697 23559 44 | 0.000 % |
592.35/592.47 c | 1471522 | 2513 12797 40460 | 26697 24584 45 | 0.000 % |
593.05/593.11 c | 1473570 | 2513 12797 40460 | 26697 26632 45 | 0.004 % |
593.15/593.26 c | 1474083 | 2513 12797 40460 | 26697 27145 46 | 0.002 % |
593.35/593.41 c | 1474597 | 2513 12797 40460 | 26697 23203 43 | 0.000 % |
593.55/593.70 c | 1475622 | 2513 12797 40460 | 26697 24228 44 | 0.002 % |
593.75/593.85 c | 1476134 | 2513 12797 40460 | 26697 24740 45 | 0.000 % |
593.85/593.99 c | 1476646 | 2513 12797 40460 | 26697 25252 44 | 0.000 % |
594.15/594.27 c | 1477670 | 2513 12797 40460 | 26697 26276 45 | 0.000 % |
594.85/595.00 c | 1479720 | 2513 12797 40460 | 26697 24148 44 | 0.000 % |
596.25/596.35 c | 1483816 | 2513 12797 40460 | 24429 24553 43 | 0.000 % |
599.35/599.41 c | 1492008 | 2513 12797 40460 | 23933 22321 45 | 0.000 % |
604.35/604.45 c | 1508394 | 2513 12797 40460 | 22865 20667 44 | 0.004 % |
604.55/604.65 c | 1508908 | 2513 12797 40460 | 22865 21181 45 | 0.000 % |
604.75/604.83 c | 1509421 | 2513 12797 40460 | 22865 21694 45 | 0.000 % |
605.15/605.21 c | 1510446 | 2513 12797 40460 | 22273 19310 45 | 0.000 % |
605.25/605.38 c | 1510958 | 2513 12797 40460 | 22273 19822 45 | 0.000 % |
605.45/605.55 c | 1511470 | 2513 12797 40460 | 22273 20334 46 | 0.000 % |
605.85/605.91 c | 1512494 | 2513 12797 40460 | 22273 21358 47 | 0.000 % |
606.55/606.68 c | 1514543 | 2513 12797 40460 | 22273 20167 47 | 0.000 % |
606.75/606.81 c | 1515055 | 2513 12797 40460 | 22273 20679 47 | 0.002 % |
606.85/606.99 c | 1515569 | 2513 12797 40460 | 22273 21193 47 | 0.004 % |
607.16/607.22 c | 1516593 | 2513 12797 40460 | 22273 22217 48 | 0.002 % |
607.35/607.44 c | 1517106 | 2513 12797 40460 | 22273 22730 48 | 0.004 % |
607.65/607.71 c | 1517620 | 2513 12797 40460 | 22273 20003 46 | 0.000 % |
607.95/608.10 c | 1518645 | 2513 12797 40460 | 22273 21028 46 | 0.000 % |
608.85/608.93 c | 1520694 | 2513 12797 40460 | 22383 23077 47 | 0.000 % |
610.46/610.59 c | 1524791 | 2513 12797 40460 | 22383 20929 48 | 0.000 % |
610.65/610.74 c | 1525304 | 2513 12797 40460 | 22383 21442 48 | 0.000 % |
610.75/610.81 c | 1525816 | 2513 12797 40460 | 22383 21954 48 | 0.000 % |
611.05/611.12 c | 1526842 | 2513 12797 40460 | 22383 20167 45 | 0.000 % |
611.15/611.25 c | 1527355 | 2513 12797 40460 | 22383 20680 45 | 0.000 % |
611.35/611.42 c | 1527870 | 2513 12797 40460 | 22383 21195 46 | 0.000 % |
611.65/611.75 c | 1528895 | 2513 12797 40460 | 22383 22220 47 | 0.000 % |
612.45/612.56 c | 1530944 | 2513 12797 40460 | 20309 18595 43 | 0.000 % |
612.66/612.77 c | 1531456 | 2513 12797 40460 | 20309 19107 44 | 0.000 % |
612.75/612.89 c | 1531968 | 2513 12797 40460 | 20309 19619 44 | 0.000 % |
613.15/613.27 c | 1532992 | 2513 12797 40460 | 20309 20643 44 | 0.000 % |
613.25/613.36 c | 1533504 | 2513 12797 40460 | 20309 18814 44 | 0.000 % |
613.35/613.50 c | 1534017 | 2513 12797 40460 | 20309 19327 44 | 0.004 % |
613.65/613.72 c | 1535044 | 2513 12797 40460 | 20309 20354 45 | 0.002 % |
614.35/614.42 c | 1537092 | 2513 12797 40460 | 20309 20175 45 | 0.004 % |
615.75/615.89 c | 1541188 | 2513 12797 40460 | 20710 19035 47 | 0.002 % |
618.16/618.26 c | 1549381 | 2513 12797 40460 | 20710 19585 51 | 0.000 % |
618.35/618.46 c | 1549893 | 2513 12797 40460 | 20710 20097 51 | 0.000 % |
618.55/618.64 c | 1550405 | 2513 12797 40460 | 20205 18115 51 | 0.000 % |
618.85/618.96 c | 1551429 | 2513 12797 40460 | 20205 19139 52 | 0.000 % |
618.95/619.09 c | 1551941 | 2513 12797 40460 | 20205 19651 52 | 0.000 % |
619.15/619.27 c | 1552453 | 2513 12797 40460 | 20205 20163 52 | 0.000 % |
619.45/619.59 c | 1553480 | 2513 12797 40460 | 20205 18819 50 | 0.000 % |
620.25/620.39 c | 1555529 | 2513 12797 40460 | 20205 18496 49 | 0.000 % |
620.45/620.57 c | 1556041 | 2513 12797 40460 | 20205 19008 49 | 0.004 % |
620.55/620.68 c | 1556553 | 2513 12797 40460 | 20205 19520 49 | 0.002 % |
620.85/620.96 c | 1557577 | 2513 12797 40460 | 20205 20544 49 | 0.004 % |
621.05/621.12 c | 1558089 | 2513 12797 40460 | 20205 18652 47 | 0.003 % |
621.15/621.29 c | 1558603 | 2513 12797 40460 | 20205 19166 47 | 0.004 % |
621.55/621.62 c | 1559629 | 2513 12797 40460 | 20205 20192 47 | 0.000 % |
622.35/622.43 c | 1561677 | 2513 12797 40460 | 18188 17906 41 | 0.000 % |
623.45/623.59 c | 1565775 | 2513 12797 40460 | 18188 18269 42 | 0.000 % |
623.66/623.74 c | 1566289 | 2513 12797 40460 | 18188 16957 41 | 0.000 % |
623.75/623.89 c | 1566802 | 2513 12797 40460 | 18188 17470 42 | 0.000 % |
623.95/624.02 c | 1567826 | 2513 12797 40460 | 18188 16656 39 | 0.000 % |
624.05/624.16 c | 1568339 | 2513 12797 40460 | 18188 17169 40 | 0.000 % |
624.25/624.35 c | 1568852 | 2513 12797 40460 | 18188 17682 41 | 0.000 % |
624.65/624.76 c | 1569877 | 2513 12797 40460 | 18188 16853 40 | 0.000 % |
625.25/625.36 c | 1571925 | 2513 12797 40460 | 2147483647 18901 42 | 0.000 % |
625.35/625.49 c | 1572437 | 2513 12797 40460 | 2147483647 19413 42 | 0.000 % |
625.55/625.67 c | 1572951 | 2513 12797 40460 | 2147483647 19927 42 | 0.000 % |
625.86/625.99 c | 1573975 | 2513 12797 40460 | 2147483647 20951 43 | 0.000 % |
625.95/626.06 c | 1574488 | 2513 12797 40460 | 2147483647 21464 42 | 0.000 % |
626.05/626.17 c | 1575002 | 2513 12797 40460 | 2147483647 21978 43 | 0.000 % |
626.35/626.48 c | 1576026 | 2513 12797 40460 | 2147483647 23002 43 | 0.004 % |
626.75/626.89 c | 1578075 | 2513 12797 40460 | 2147483647 25051 44 | 0.001 % |
628.35/628.46 c | 1582171 | 2513 12797 40460 | 26977 25649 44 | 0.004 % |
632.15/632.29 c | 1590364 | 2513 12797 40460 | 24688 20974 45 | 0.000 % |
638.95/639.09 c | 1606749 | 2513 12797 40460 | 22712 22051 47 | 0.000 % |
653.86/653.95 c | 1639522 | 2513 12797 40460 | 18794 17374 43 | 0.000 % |
673.66/673.73 c | 1705058 | 2513 12797 40460 | 23010 21553 35 | 0.002 % |
673.76/673.89 c | 1705571 | 2513 12797 40460 | 23010 22066 35 | 0.004 % |
673.96/674.05 c | 1706084 | 2513 12797 40460 | 23010 22579 36 | 0.002 % |
674.26/674.31 c | 1707108 | 2513 12797 40460 | 23010 20390 34 | 0.003 % |
674.36/674.48 c | 1707622 | 2513 12797 40460 | 23010 20904 35 | 0.000 % |
674.56/674.65 c | 1708134 | 2513 12797 40460 | 23010 21416 35 | 0.000 % |
674.76/674.85 c | 1709158 | 2513 12797 40460 | 23010 22440 35 | 0.000 % |
675.56/675.67 c | 1711208 | 2513 12797 40460 | 20388 19087 36 | 0.000 % |
675.76/675.84 c | 1711721 | 2513 12797 40460 | 20388 19600 36 | 0.000 % |
675.96/676.04 c | 1712234 | 2513 12797 40460 | 20388 20113 37 | 0.000 % |
676.36/676.43 c | 1713259 | 2513 12797 40460 | 20388 18929 38 | 0.000 % |
676.56/676.66 c | 1713772 | 2513 12797 40460 | 20388 19442 38 | 0.000 % |
676.66/676.80 c | 1714285 | 2513 12797 40460 | 20388 19955 39 | 0.000 % |
676.96/677.09 c | 1715310 | 2513 12797 40460 | 20388 18926 39 | 0.000 % |
677.76/677.91 c | 1717359 | 2513 12797 40460 | 20388 18904 40 | 0.000 % |
679.76/679.90 c | 1721457 | 2513 12797 40460 | 19167 18201 46 | 0.000 % |
679.86/679.99 c | 1721970 | 2513 12797 40460 | 19167 18714 45 | 0.000 % |
680.06/680.16 c | 1722482 | 2513 12797 40460 | 19167 19226 45 | 0.000 % |
680.46/680.59 c | 1723510 | 2513 12797 40460 | 19167 17900 46 | 0.000 % |
680.66/680.73 c | 1724023 | 2513 12797 40460 | 19167 18413 47 | 0.002 % |
680.76/680.89 c | 1724536 | 2513 12797 40460 | 19167 18926 48 | 0.004 % |
681.06/681.19 c | 1725560 | 2513 12797 40460 | 19167 19950 49 | 0.004 % |
681.76/681.82 c | 1727609 | 2513 12797 40460 | 19167 19378 49 | 0.004 % |
681.86/681.94 c | 1728121 | 2513 12797 40460 | 19167 17289 48 | 0.000 % |
682.06/682.15 c | 1728635 | 2513 12797 40460 | 19167 17803 49 | 0.000 % |
682.26/682.41 c | 1729660 | 2513 12797 40460 | 19167 18828 50 | 0.000 % |
682.46/682.53 c | 1730172 | 2513 12797 40460 | 19169 19340 50 | 0.000 % |
682.56/682.61 c | 1730684 | 2513 12797 40460 | 19169 17408 47 | 0.000 % |
682.86/682.92 c | 1731708 | 2513 12797 40460 | 19169 18432 48 | 0.000 % |
683.46/683.57 c | 1733758 | 2513 12797 40460 | 19169 18408 47 | 0.000 % |
685.06/685.17 c | 1737856 | 2513 12797 40460 | 19169 18594 46 | 0.000 % |
687.96/688.05 c | 1746050 | 2513 12797 40460 | 2147483647 24862 48 | 0.000 % |
688.06/688.20 c | 1746565 | 2513 12797 40460 | 2147483647 25377 48 | 0.004 % |
688.26/688.38 c | 1747081 | 2513 12797 40460 | 2147483647 25893 48 | 0.000 % |
688.57/688.68 c | 1748105 | 2513 12797 40460 | 2147483647 26917 48 | 0.004 % |
688.76/688.90 c | 1748623 | 2513 12797 40460 | 2147483647 27435 48 | 0.000 % |
689.06/689.13 c | 1749137 | 2513 12797 40460 | 2147483647 27949 48 | 0.000 % |
689.46/689.52 c | 1750161 | 2513 12797 40460 | 28812 28973 47 | 0.000 % |
690.16/690.29 c | 1752210 | 2513 12797 40460 | 28812 26534 42 | 0.000 % |
690.46/690.58 c | 1752724 | 2513 12797 40460 | 28812 27048 42 | 0.000 % |
690.66/690.79 c | 1753236 | 2513 12797 40460 | 28812 27560 43 | 0.000 % |
691.16/691.29 c | 1754260 | 2513 12797 40460 | 28812 28584 43 | 0.000 % |
691.36/691.46 c | 1754775 | 2513 12797 40460 | 28812 29099 43 | 0.000 % |
691.56/691.61 c | 1755287 | 2513 12797 40460 | 28812 25195 39 | 0.000 % |
691.96/692.02 c | 1756311 | 2513 12797 40460 | 28812 26219 40 | 0.000 % |
692.56/692.63 c | 1758359 | 2513 12797 40460 | 28812 28267 40 | 0.001 % |
694.07/694.13 c | 1762455 | 2513 12797 40460 | 25163 23514 36 | 0.000 % |
694.16/694.28 c | 1762967 | 2513 12797 40460 | 25163 24026 37 | 0.000 % |
694.46/694.51 c | 1763479 | 2513 12797 40460 | 25163 24538 36 | 0.000 % |
694.76/694.87 c | 1764503 | 2513 12797 40460 | 25163 25562 37 | 0.000 % |
694.96/695.03 c | 1765017 | 2513 12797 40460 | 25163 21914 36 | 0.004 % |
695.06/695.15 c | 1765529 | 2513 12797 40460 | 25163 22426 37 | 0.002 % |
695.36/695.48 c | 1766554 | 2513 12797 40460 | 25163 23451 37 | 0.004 % |
695.96/696.10 c | 1768602 | 2513 12797 40460 | 25163 21709 36 | 0.002 % |
696.16/696.28 c | 1769115 | 2513 12797 40460 | 25163 22222 36 | 0.000 % |
696.36/696.48 c | 1769627 | 2513 12797 40460 | 25163 22734 36 | 0.000 % |
696.86/696.95 c | 1770653 | 2513 12797 40460 | 23112 23760 37 | 0.000 % |
696.96/697.09 c | 1771167 | 2513 12797 40460 | 23112 20640 36 | 0.000 % |
697.26/697.31 c | 1771679 | 2513 12797 40460 | 23112 21152 37 | 0.000 % |
697.66/697.73 c | 1772704 | 2513 12797 40460 | 23112 22177 38 | 0.000 % |
698.66/698.76 c | 1774752 | 2513 12797 40460 | 23112 20635 37 | 0.000 % |
700.26/700.37 c | 1778848 | 2513 12797 40460 | 23112 21149 38 | 0.000 % |
703.86/703.92 c | 1787042 | 2513 12797 40460 | 22301 22403 44 | 0.000 % |
709.76/709.86 c | 1803426 | 2513 12797 40460 | 21683 21604 43 | 0.004 % |
709.96/710.08 c | 1803938 | 2513 12797 40460 | 21683 22116 43 | 0.000 % |
710.26/710.31 c | 1804450 | 2513 12797 40460 | 21683 19155 44 | 0.000 % |
710.66/710.77 c | 1805476 | 2513 12797 40460 | 21683 20181 44 | 0.000 % |
710.86/710.91 c | 1805989 | 2513 12797 40460 | 21683 20694 44 | 0.000 % |
711.06/711.11 c | 1806501 | 2513 12797 40460 | 21683 21206 45 | 0.000 % |
711.26/711.31 c | 1807525 | 2513 12797 40460 | 21683 22230 46 | 0.003 % |
711.76/711.87 c | 1809573 | 2513 12797 40460 | 21683 20903 45 | 0.002 % |
712.06/712.12 c | 1810085 | 2513 12797 40460 | 21332 21415 45 | 0.004 % |
712.16/712.25 c | 1810601 | 2513 12797 40460 | 21332 18544 43 | 0.003 % |
712.46/712.51 c | 1811626 | 2513 12797 40460 | 21332 19569 44 | 0.000 % |
712.56/712.64 c | 1812138 | 2513 12797 40460 | 21332 20081 44 | 0.000 % |
712.66/712.80 c | 1812650 | 2513 12797 40460 | 21332 20593 44 | 0.000 % |
712.96/713.09 c | 1813675 | 2513 12797 40460 | 21332 21618 45 | 0.000 % |
713.66/713.77 c | 1815724 | 2513 12797 40460 | 21332 20677 46 | 0.000 % |
714.66/714.79 c | 1819821 | 2513 12797 40460 | 21332 20086 40 | 0.000 % |
714.86/714.95 c | 1820335 | 2513 12797 40460 | 2147483647 20600 40 | 0.000 % |
714.97/715.09 c | 1820850 | 2513 12797 40460 | 2147483647 21115 40 | 0.000 % |
715.36/715.46 c | 1821874 | 2513 12797 40460 | 2147483647 22139 41 | 0.000 % |
715.56/715.69 c | 1822386 | 2513 12797 40460 | 2147483647 22651 41 | 0.000 % |
715.76/715.88 c | 1822898 | 2513 12797 40460 | 2147483647 23163 42 | 0.000 % |
716.26/716.31 c | 1823925 | 2513 12797 40460 | 2147483647 24190 43 | 0.000 % |
716.76/716.82 c | 1825974 | 2513 12797 40460 | 2147483647 26239 41 | 0.000 % |
716.96/717.03 c | 1826486 | 2513 12797 40460 | 2147483647 26751 42 | 0.000 % |
717.17/717.24 c | 1826998 | 2513 12797 40460 | 2147483647 27263 42 | 0.000 % |
717.46/717.57 c | 1828023 | 2513 12797 40460 | 2147483647 28288 41 | 0.000 % |
717.76/717.82 c | 1828536 | 2513 12797 40460 | 2147483647 28801 41 | 0.004 % |
717.86/717.99 c | 1829048 | 2513 12797 40460 | 2147483647 29313 42 | 0.003 % |
718.36/718.45 c | 1830072 | 2513 12797 40460 | 30267 30337 42 | 0.004 % |
719.06/719.11 c | 1832122 | 2513 12797 40460 | 30267 28612 40 | 0.003 % |
720.56/720.62 c | 1836218 | 2513 12797 40460 | 30267 27694 38 | 0.000 % |
724.57/724.68 c | 1844410 | 2513 12797 40460 | 25533 25024 41 | 0.000 % |
724.87/724.94 c | 1844923 | 2513 12797 40460 | 25533 25537 41 | 0.000 % |
725.07/725.13 c | 1845435 | 2513 12797 40460 | 25533 21400 40 | 0.000 % |
725.37/725.43 c | 1846460 | 2513 12797 40460 | 25533 22425 40 | 0.000 % |
725.57/725.66 c | 1846975 | 2513 12797 40460 | 25533 22940 40 | 0.000 % |
725.77/725.86 c | 1847488 | 2513 12797 40460 | 25533 23453 40 | 0.000 % |
726.27/726.32 c | 1848512 | 2513 12797 40460 | 25533 24477 41 | 0.000 % |
727.07/727.16 c | 1850560 | 2513 12797 40460 | 25965 26525 41 | 0.004 % |
727.27/727.34 c | 1851072 | 2513 12797 40460 | 25965 22612 39 | 0.003 % |
727.37/727.50 c | 1851585 | 2513 12797 40460 | 25965 23125 40 | 0.004 % |
727.67/727.76 c | 1852610 | 2513 12797 40460 | 25965 24150 40 | 0.002 % |
727.77/727.90 c | 1853122 | 2513 12797 40460 | 25965 24662 40 | 0.000 % |
727.97/728.04 c | 1853634 | 2513 12797 40460 | 25965 25174 41 | 0.000 % |
728.37/728.46 c | 1854660 | 2513 12797 40460 | 25965 21851 37 | 0.000 % |
729.27/729.37 c | 1856708 | 2513 12797 40460 | 25965 23899 40 | 0.000 % |
730.97/731.07 c | 1860804 | 2513 12797 40460 | 23071 20513 37 | 0.000 % |
731.07/731.21 c | 1861316 | 2513 12797 40460 | 23071 21025 37 | 0.000 % |
731.27/731.40 c | 1861831 | 2513 12797 40460 | 23071 21540 37 | 0.000 % |
731.67/731.80 c | 1862855 | 2513 12797 40460 | 23071 22564 37 | 0.000 % |
731.97/732.04 c | 1863369 | 2513 12797 40460 | 23071 23078 37 | 0.000 % |
732.17/732.27 c | 1863881 | 2513 12797 40460 | 23071 21010 36 | 0.000 % |
732.47/732.54 c | 1864907 | 2513 12797 40460 | 23071 22036 36 | 0.000 % |
733.37/733.47 c | 1866955 | 2513 12797 40460 | 23071 21423 37 | 0.000 % |
733.57/733.62 c | 1867468 | 2513 12797 40460 | 23071 21936 38 | 0.000 % |
733.77/733.88 c | 1867980 | 2513 12797 40460 | 23071 22448 38 | 0.000 % |
734.17/734.24 c | 1869005 | 2513 12797 40460 | 23071 23473 39 | 0.000 % |
734.37/734.42 c | 1869517 | 2513 12797 40460 | 23071 21294 39 | 0.004 % |
734.47/734.58 c | 1870029 | 2513 12797 40460 | 21777 21806 39 | 0.000 % |
734.67/734.79 c | 1871053 | 2513 12797 40460 | 21777 20342 37 | 0.000 % |
735.37/735.46 c | 1873102 | 2513 12797 40460 | 21777 22391 39 | 0.004 % |
736.97/737.07 c | 1877199 | 2513 12797 40460 | 21777 21141 45 | 0.000 % |
739.87/739.92 c | 1885395 | 2513 12797 40460 | 20955 20935 46 | 0.000 % |
745.37/745.43 c | 1901780 | 2513 12797 40460 | 18760 17801 42 | 0.000 % |
755.97/756.02 c | 1934548 | 2513 12797 40460 | 18361 17233 42 | 0.000 % |
756.07/756.11 c | 1935062 | 2513 12797 40460 | 18361 17747 43 | 0.003 % |
756.17/756.28 c | 1935574 | 2513 12797 40460 | 18361 18259 43 | 0.004 % |
756.37/756.49 c | 1936598 | 2513 12797 40460 | 18361 17373 42 | 0.002 % |
756.47/756.59 c | 1937110 | 2513 12797 40460 | 18361 17885 42 | 0.004 % |
756.57/756.71 c | 1937622 | 2513 12797 40460 | 18361 18397 41 | 0.000 % |
756.87/756.97 c | 1938647 | 2513 12797 40460 | 18361 17583 40 | 0.000 % |
757.47/757.56 c | 1940695 | 2513 12797 40460 | 2147483647 19631 40 | 0.000 % |
757.57/757.70 c | 1941208 | 2513 12797 40460 | 2147483647 20144 40 | 0.000 % |
757.87/757.91 c | 1941721 | 2513 12797 40460 | 2147483647 20657 39 | 0.000 % |
758.17/758.30 c | 1942746 | 2513 12797 40460 | 2147483647 21682 40 | 0.000 % |
758.47/758.52 c | 1943260 | 2513 12797 40460 | 2147483647 22196 40 | 0.000 % |
758.67/758.71 c | 1943772 | 2513 12797 40460 | 2147483647 22708 41 | 0.000 % |
758.97/759.09 c | 1944798 | 2513 12797 40460 | 2147483647 23734 41 | 0.000 % |
759.87/759.95 c | 1946846 | 2513 12797 40460 | 2147483647 25782 40 | 0.000 % |
761.47/761.55 c | 1950943 | 2513 12797 40460 | 28938 26345 40 | 0.000 % |
761.67/761.76 c | 1951455 | 2513 12797 40460 | 28938 26857 41 | 0.000 % |
761.87/762.00 c | 1951967 | 2513 12797 40460 | 28938 27369 41 | 0.000 % |
762.27/762.40 c | 1952992 | 2513 12797 40460 | 28938 28394 42 | 0.000 % |
762.57/762.64 c | 1953504 | 2513 12797 40460 | 28938 28906 42 | 0.000 % |
762.77/762.82 c | 1954017 | 2513 12797 40460 | 28938 29419 42 | 0.003 % |
763.17/763.24 c | 1955041 | 2513 12797 40460 | 28938 25793 41 | 0.004 % |
763.57/763.69 c | 1957089 | 2513 12797 40460 | 28938 27841 42 | 0.003 % |
763.77/763.90 c | 1957601 | 2513 12797 40460 | 28938 28353 42 | 0.004 % |
763.97/764.03 c | 1958114 | 2513 12797 40460 | 28938 28866 42 | 0.000 % |
764.47/764.55 c | 1959138 | 2513 12797 40460 | 28938 24831 42 | 0.000 % |
764.67/764.77 c | 1959652 | 2513 12797 40460 | 28938 25345 42 | 0.000 % |
764.87/764.96 c | 1960164 | 2513 12797 40460 | 25695 25857 42 | 0.000 % |
765.37/765.46 c | 1961188 | 2513 12797 40460 | 25695 22255 41 | 0.000 % |
766.27/766.39 c | 1963239 | 2513 12797 40460 | 25695 24306 42 | 0.000 % |
767.97/768.04 c | 1967335 | 2513 12797 40460 | 25695 23868 43 | 0.000 % |
772.18/772.25 c | 1975527 | 2513 12797 40460 | 21936 20045 41 | 0.000 % |
772.27/772.37 c | 1976039 | 2513 12797 40460 | 21936 20557 41 | 0.002 % |
772.37/772.50 c | 1976552 | 2513 12797 40460 | 21936 21070 41 | 0.003 % |
772.77/772.85 c | 1977576 | 2513 12797 40460 | 21936 22094 42 | 0.004 % |
772.87/772.99 c | 1978088 | 2513 12797 40460 | 21936 19199 40 | 0.003 % |
773.07/773.18 c | 1978600 | 2513 12797 40460 | 21936 19711 40 | 0.004 % |
773.47/773.58 c | 1979624 | 2513 12797 40460 | 21936 20735 41 | 0.000 % |
774.17/774.24 c | 1981674 | 2513 12797 40460 | 21111 19465 41 | 0.000 % |
774.38/774.47 c | 1982187 | 2513 12797 40460 | 21111 19978 41 | 0.000 % |
774.57/774.69 c | 1982701 | 2513 12797 40460 | 21111 20492 41 | 0.000 % |
775.07/775.12 c | 1983726 | 2513 12797 40460 | 21111 18545 40 | 0.000 % |
775.17/775.24 c | 1984239 | 2513 12797 40460 | 21111 19058 40 | 0.000 % |
775.37/775.44 c | 1984751 | 2513 12797 40460 | 21111 19570 41 | 0.000 % |
775.77/775.87 c | 1985775 | 2513 12797 40460 | 21111 20594 41 | 0.000 % |
776.47/776.58 c | 1987824 | 2513 12797 40460 | 21111 19821 41 | 0.000 % |
777.77/777.86 c | 1991920 | 2513 12797 40460 | 19205 18494 41 | 0.000 % |
777.97/778.10 c | 1992433 | 2513 12797 40460 | 19205 19007 41 | 0.000 % |
778.17/778.29 c | 1992946 | 2513 12797 40460 | 19205 19520 42 | 0.000 % |
778.57/778.63 c | 1993970 | 2513 12797 40460 | 19205 18052 39 | 0.000 % |
778.67/778.79 c | 1994482 | 2513 12797 40460 | 19205 18564 40 | 0.000 % |
778.97/779.02 c | 1994995 | 2513 12797 40460 | 19205 19077 41 | 0.000 % |
779.27/779.37 c | 1996020 | 2513 12797 40460 | 19205 17700 40 | 0.000 % |
779.88/779.96 c | 1998068 | 2513 12797 40460 | 19205 17468 40 | 0.004 % |
779.97/780.05 c | 1998581 | 2513 12797 40460 | 19205 17981 40 | 0.002 % |
780.07/780.19 c | 1999093 | 2513 12797 40460 | 19205 18493 41 | 0.000 % |
780.27/780.38 c | 2000117 | 2513 12797 40460 | 19400 19517 42 | 0.003 % |
780.37/780.49 c | 2000629 | 2513 12797 40460 | 19400 17808 41 | 0.000 % |
780.57/780.69 c | 2001141 | 2513 12797 40460 | 19400 18320 42 | 0.000 % |
781.07/781.11 c | 2002165 | 2513 12797 40460 | 19400 19344 43 | 0.000 % |
781.77/781.85 c | 2004213 | 2513 12797 40460 | 19400 19288 42 | 0.000 % |
783.27/783.36 c | 2008310 | 2513 12797 40460 | 19400 19160 42 | 0.000 % |
786.77/786.84 c | 2016504 | 2513 12797 40460 | 18692 18842 42 | 0.000 % |
790.37/790.41 c | 2032889 | 2513 12797 40460 | 16735 15861 43 | 0.004 % |
790.47/790.53 c | 2033403 | 2513 12797 40460 | 16735 16375 44 | 0.000 % |
790.57/790.67 c | 2033915 | 2513 12797 40460 | 16735 16887 45 | 0.000 % |
790.97/791.01 c | 2034939 | 2513 12797 40460 | 16735 16139 44 | 0.000 % |
791.07/791.17 c | 2035451 | 2513 12797 40460 | 16735 16651 45 | 0.000 % |
791.27/791.37 c | 2035964 | 2513 12797 40460 | 16735 15461 44 | 0.000 % |
791.57/791.68 c | 2036988 | 2513 12797 40460 | 16735 16485 45 | 0.000 % |
792.27/792.34 c | 2039036 | 2513 12797 40460 | 16735 16822 45 | 0.000 % |
792.47/792.52 c | 2039548 | 2513 12797 40460 | 16735 15652 45 | 0.004 % |
792.47/792.58 c | 2040063 | 2513 12797 40460 | 2147483647 16167 44 | 0.000 % |
792.77/792.87 c | 2041088 | 2513 12797 40460 | 2147483647 17192 44 | 0.004 % |
792.87/793.00 c | 2041600 | 2513 12797 40460 | 2147483647 17704 44 | 0.002 % |
792.97/793.11 c | 2042112 | 2513 12797 40460 | 2147483647 18216 44 | 0.000 % |
793.37/793.43 c | 2043136 | 2513 12797 40460 | 2147483647 19240 45 | 0.000 % |
793.87/793.96 c | 2045184 | 2513 12797 40460 | 2147483647 21288 43 | 0.000 % |
795.28/795.40 c | 2049283 | 2513 12797 40460 | 2147483647 25387 45 | 0.000 % |
795.57/795.61 c | 2049795 | 2513 12797 40460 | 2147483647 25899 45 | 0.000 % |
795.77/795.88 c | 2050308 | 2513 12797 40460 | 26104 23707 45 | 0.000 % |
796.27/796.33 c | 2051332 | 2513 12797 40460 | 26104 24731 45 | 0.000 % |
796.47/796.60 c | 2051844 | 2513 12797 40460 | 26104 25243 45 | 0.000 % |
796.77/796.84 c | 2052357 | 2513 12797 40460 | 26104 25756 46 | 0.000 % |
797.27/797.36 c | 2053382 | 2513 12797 40460 | 26104 26781 47 | 0.000 % |
798.07/798.19 c | 2055431 | 2513 12797 40460 | 26104 24757 45 | 0.000 % |
798.27/798.39 c | 2055944 | 2513 12797 40460 | 26104 25270 45 | 0.000 % |
798.58/798.68 c | 2056457 | 2513 12797 40460 | 26104 25783 45 | 0.000 % |
798.77/798.85 c | 2057482 | 2513 12797 40460 | 26104 22646 41 | 0.000 % |
798.97/799.06 c | 2057996 | 2513 12797 40460 | 26104 23160 42 | 0.000 % |
799.27/799.36 c | 2058509 | 2513 12797 40460 | 26104 23673 42 | 0.000 % |
799.47/799.59 c | 2059535 | 2513 12797 40460 | 26104 24699 42 | 0.003 % |
800.27/800.39 c | 2061583 | 2513 12797 40460 | 25166 22705 43 | 0.004 % |
801.88/801.95 c | 2065680 | 2513 12797 40460 | 25166 22607 45 | 0.002 % |
804.28/804.38 c | 2073873 | 2513 12797 40460 | 22657 22861 48 | 0.000 % |
804.48/804.56 c | 2074385 | 2513 12797 40460 | 22657 20187 48 | 0.000 % |
804.68/804.73 c | 2074898 | 2513 12797 40460 | 22657 20700 47 | 0.000 % |
805.08/805.15 c | 2075923 | 2513 12797 40460 | 22657 21725 47 | 0.000 % |
805.18/805.31 c | 2076437 | 2513 12797 40460 | 22657 22239 48 | 0.000 % |
805.38/805.48 c | 2076949 | 2513 12797 40460 | 22657 22751 48 | 0.000 % |
805.98/806.04 c | 2077973 | 2513 12797 40460 | 22657 20751 46 | 0.000 % |
806.68/806.75 c | 2080021 | 2513 12797 40460 | 19852 19872 44 | 0.000 % |
806.88/806.92 c | 2080533 | 2513 12797 40460 | 19852 17828 42 | 0.004 % |
806.88/807.01 c | 2081045 | 2513 12797 40460 | 19852 18340 43 | 0.003 % |
807.18/807.32 c | 2082069 | 2513 12797 40460 | 19852 19364 43 | 0.004 % |
807.38/807.46 c | 2082582 | 2513 12797 40460 | 19852 19877 44 | 0.003 % |
807.58/807.63 c | 2083095 | 2513 12797 40460 | 19852 18030 43 | 0.004 % |
807.68/807.81 c | 2084123 | 2513 12797 40460 | 19852 19058 43 | 0.002 % |
808.38/808.50 c | 2086174 | 2513 12797 40460 | 19852 18844 42 | 0.000 % |
809.88/809.92 c | 2090272 | 2513 12797 40460 | 18276 18547 45 | 0.000 % |
809.98/810.11 c | 2090785 | 2513 12797 40460 | 18276 17100 44 | 0.000 % |
810.18/810.29 c | 2091297 | 2513 12797 40460 | 18276 17612 45 | 0.000 % |
810.58/810.66 c | 2092321 | 2513 12797 40460 | 18276 18636 46 | 0.000 % |
810.68/810.81 c | 2092833 | 2513 12797 40460 | 18276 17135 45 | 0.000 % |
810.88/810.94 c | 2093345 | 2513 12797 40460 | 18276 17647 46 | 0.000 % |
811.18/811.29 c | 2094369 | 2513 12797 40460 | 18276 16816 46 | 0.000 % |
811.88/811.92 c | 2096418 | 2513 12797 40460 | 18276 16983 48 | 0.000 % |
811.98/812.10 c | 2096931 | 2513 12797 40460 | 18276 17496 48 | 0.000 % |
812.18/812.24 c | 2097444 | 2513 12797 40460 | 18276 18009 48 | 0.000 % |
812.48/812.59 c | 2098468 | 2513 12797 40460 | 18276 17115 48 | 0.000 % |
812.68/812.74 c | 2098980 | 2513 12797 40460 | 18276 17627 48 | 0.000 % |
812.88/812.92 c | 2099492 | 2513 12797 40460 | 18276 18139 48 | 0.000 % |
813.18/813.24 c | 2100516 | 2513 12797 40460 | 18648 19163 49 | 0.000 % |
813.78/813.91 c | 2102564 | 2513 12797 40460 | 18648 17234 45 | 0.000 % |
814.68/814.80 c | 2106660 | 2513 12797 40460 | 18648 17468 48 | 0.004 % |
817.68/817.77 c | 2114852 | 2513 12797 40460 | 2147483647 23740 50 | 0.000 % |
825.38/825.51 c | 2131237 | 2513 12797 40460 | 27118 22149 51 | 0.000 % |
840.38/840.42 c | 2164005 | 2513 12797 40460 | 23719 21315 42 | 0.000 % |
865.18/865.23 c | 2229543 | 2512 12617 40064 | 24891 24480 45 | 0.040 % |
908.09/908.13 c | 2360617 | 2512 12617 40064 | 17772 18389 32 | 0.042 % |
984.79/984.84 c | 2622762 | 2512 12617 40064 | 16738 15190 32 | 0.040 % |
984.89/984.97 c | 2623276 | 2512 12617 40064 | 16738 15704 33 | 0.040 % |
984.99/985.08 c | 2623789 | 2512 12617 40064 | 16738 16217 33 | 0.040 % |
985.29/985.34 c | 2624814 | 2512 12617 40064 | 16738 15281 35 | 0.040 % |
985.39/985.43 c | 2625326 | 2512 12617 40064 | 16738 15793 34 | 0.040 % |
985.49/985.59 c | 2625840 | 2512 12617 40064 | 16738 16307 35 | 0.040 % |
985.79/985.85 c | 2626864 | 2512 12617 40064 | 16738 15646 36 | 0.040 % |
986.29/986.33 c | 2628912 | 2512 12617 40064 | 16738 15961 38 | 0.040 % |
986.39/986.46 c | 2629425 | 2512 12617 40064 | 16738 16474 39 | 0.040 % |
986.49/986.60 c | 2629937 | 2512 12617 40064 | 16738 15304 39 | 0.040 % |
986.79/986.88 c | 2630962 | 2512 12617 40064 | 2147483647 16329 41 | 0.040 % |
986.99/987.07 c | 2631474 | 2512 12617 40064 | 2147483647 16841 41 | 0.040 % |
987.19/987.27 c | 2631986 | 2512 12617 40064 | 2147483647 17353 42 | 0.040 % |
987.49/987.56 c | 2633010 | 2512 12617 40064 | 2147483647 18377 42 | 0.040 % |
987.89/987.99 c | 2635058 | 2512 12617 40064 | 2147483647 20425 44 | 0.041 % |
988.89/988.96 c | 2639154 | 2512 12617 40064 | 2147483647 24521 45 | 0.042 % |
989.09/989.18 c | 2639666 | 2512 12617 40064 | 2147483647 25033 45 | 0.040 % |
989.39/989.43 c | 2640178 | 2512 12617 40064 | 2147483647 25545 45 | 0.040 % |
989.79/989.87 c | 2641203 | 2512 12617 40064 | 2147483647 26570 46 | 0.040 % |
989.99/990.06 c | 2641715 | 2512 12617 40064 | 2147483647 27082 46 | 0.040 % |
990.19/990.26 c | 2642227 | 2512 12617 40064 | 2147483647 27594 46 | 0.040 % |
990.59/990.68 c | 2643251 | 2512 12617 40064 | 2147483647 28618 46 | 0.040 % |
991.49/991.52 c | 2645299 | 2512 12617 40064 | 2147483647 30666 46 | 0.040 % |
991.69/991.78 c | 2645811 | 2512 12617 40064 | 2147483647 31178 47 | 0.040 % |
991.89/991.99 c | 2646327 | 2512 12617 40064 | 2147483647 31694 47 | 0.040 % |
992.39/992.48 c | 2647352 | 2512 12617 40064 | 2147483647 32719 47 | 0.040 % |
992.59/992.69 c | 2647865 | 2512 12617 40064 | 2147483647 33232 48 | 0.040 % |
992.89/992.93 c | 2648378 | 2512 12617 40064 | 2147483647 33745 47 | 0.040 % |
993.29/993.37 c | 2649402 | 2512 12617 40064 | 2147483647 34769 48 | 0.040 % |
994.49/994.57 c | 2651450 | 2512 12617 40064 | 35367 30493 49 | 0.040 % |
996.39/996.43 c | 2655546 | 2512 12617 40064 | 35367 34589 50 | 0.040 % |
998.99/999.07 c | 2663739 | 2512 12617 40064 | 31907 29078 40 | 0.042 % |
999.09/999.17 c | 2664253 | 2512 12617 40064 | 31907 29592 40 | 0.040 % |
999.39/999.43 c | 2664765 | 2512 12617 40064 | 31907 30104 40 | 0.040 % |
999.79/999.85 c | 2665789 | 2512 12617 40064 | 31907 31128 40 | 0.040 % |
999.99/1000.03 c | 2666301 | 2512 12617 40064 | 31907 31640 40 | 0.040 % |
1000.29/1000.36 c | 2666813 | 2512 12617 40064 | 31907 26149 37 | 0.040 % |
1000.69/1000.75 c | 2667838 | 2512 12617 40064 | 31907 27174 38 | 0.040 % |
1001.59/1001.67 c | 2669886 | 2512 12617 40064 | 31907 29222 40 | 0.040 % |
1001.79/1001.90 c | 2670400 | 2512 12617 40064 | 29339 29736 40 | 0.040 % |
1002.09/1002.13 c | 2670913 | 2512 12617 40064 | 29339 24437 38 | 0.040 % |
1002.39/1002.48 c | 2671937 | 2512 12617 40064 | 29339 25461 39 | 0.040 % |
1002.69/1002.74 c | 2672450 | 2512 12617 40064 | 29339 25974 40 | 0.040 % |
1003.09/1003.11 c | 2672964 | 2512 12617 40064 | 29339 26488 40 | 0.040 % |
1003.39/1003.45 c | 2673989 | 2512 12617 40064 | 29339 27513 41 | 0.040 % |
1004.19/1004.28 c | 2676037 | 2512 12617 40064 | 29339 29561 42 | 0.040 % |
1005.39/1005.46 c | 2680134 | 2512 12617 40064 | 28396 28528 40 | 0.041 % |
1005.59/1005.64 c | 2680646 | 2512 12617 40064 | 28396 23914 41 | 0.040 % |
1005.69/1005.79 c | 2681158 | 2512 12617 40064 | 28396 24426 42 | 0.040 % |
1006.19/1006.27 c | 2682183 | 2512 12617 40064 | 28396 25451 43 | 0.040 % |
1006.49/1006.51 c | 2682695 | 2512 12617 40064 | 28396 25963 43 | 0.040 % |
1006.69/1006.76 c | 2683207 | 2512 12617 40064 | 28396 26475 44 | 0.040 % |
1007.29/1007.40 c | 2684231 | 2512 12617 40064 | 28396 27499 44 | 0.040 % |
1008.19/1008.22 c | 2686279 | 2512 12617 40064 | 28396 23876 43 | 0.040 % |
1008.49/1008.51 c | 2686791 | 2512 12617 40064 | 28396 24388 43 | 0.040 % |
1008.59/1008.69 c | 2687305 | 2512 12617 40064 | 28396 24902 44 | 0.040 % |
1008.99/1009.02 c | 2688330 | 2512 12617 40064 | 28396 25927 45 | 0.040 % |
1009.19/1009.26 c | 2688842 | 2512 12617 40064 | 28396 26439 45 | 0.040 % |
1009.39/1009.48 c | 2689355 | 2512 12617 40064 | 28396 26952 45 | 0.040 % |
1010.09/1010.12 c | 2690379 | 2512 12617 40064 | 27597 22788 40 | 0.040 % |
1010.79/1010.83 c | 2692427 | 2512 12617 40064 | 27597 24836 43 | 0.040 % |
1012.49/1012.52 c | 2696523 | 2512 12617 40064 | 27597 24172 44 | 0.040 % |
1014.49/1014.58 c | 2704715 | 2512 12617 40064 | 27649 27488 45 | 0.043 % |
1021.29/1021.37 c | 2721099 | 2512 12617 40064 | 26774 22258 44 | 0.040 % |
1021.39/1021.49 c | 2721611 | 2512 12617 40064 | 26774 22770 44 | 0.041 % |
1021.59/1021.66 c | 2722125 | 2512 12617 40064 | 26774 23284 44 | 0.040 % |
1022.09/1022.14 c | 2723149 | 2512 12617 40064 | 26774 24308 45 | 0.040 % |
1022.29/1022.31 c | 2723661 | 2512 12617 40064 | 26774 24820 46 | 0.040 % |
1022.49/1022.59 c | 2724173 | 2512 12617 40064 | 26774 25332 45 | 0.040 % |
1023.09/1023.13 c | 2725197 | 2512 12617 40064 | 26774 26356 45 | 0.040 % |
1023.99/1024.05 c | 2727245 | 2512 12617 40064 | 26774 23423 44 | 0.040 % |
1024.19/1024.24 c | 2727757 | 2512 12617 40064 | 26774 23935 44 | 0.040 % |
1024.39/1024.42 c | 2728270 | 2512 12617 40064 | 26774 24448 44 | 0.040 % |
1024.79/1024.86 c | 2729295 | 2512 12617 40064 | 26774 25473 44 | 0.040 % |
1024.99/1025.06 c | 2729807 | 2512 12617 40064 | 26774 25985 44 | 0.040 % |
1025.20/1025.24 c | 2730320 | 2512 12617 40064 | 26179 26498 44 | 0.040 % |
1025.49/1025.60 c | 2731345 | 2512 12617 40064 | 26179 22831 42 | 0.040 % |
1026.09/1026.18 c | 2733394 | 2512 12617 40064 | 26179 24880 43 | 0.040 % |
1027.49/1027.57 c | 2737490 | 2512 12617 40064 | 26179 24478 43 | 0.040 % |
1027.69/1027.72 c | 2738002 | 2512 12617 40064 | 26179 24990 43 | 0.040 % |
1027.89/1027.92 c | 2738516 | 2512 12617 40064 | 26179 25504 44 | 0.042 % |
1028.09/1028.12 c | 2739540 | 2512 12617 40064 | 26179 26528 44 | 0.040 % |
1028.19/1028.23 c | 2740054 | 2512 12617 40064 | 22367 22421 42 | 0.043 % |
1028.29/1028.37 c | 2740566 | 2512 12617 40064 | 22367 19076 40 | 0.042 % |
1028.50/1028.55 c | 2741590 | 2512 12617 40064 | 22367 20100 40 | 0.043 % |
1028.89/1028.98 c | 2743638 | 2512 12617 40064 | 22367 22148 40 | 0.042 % |
1028.99/1029.10 c | 2744151 | 2512 12617 40064 | 22367 22661 41 | 0.040 % |
1029.19/1029.26 c | 2744663 | 2512 12617 40064 | 22367 20006 40 | 0.040 % |
1029.49/1029.53 c | 2745688 | 2512 12617 40064 | 22367 21031 40 | 0.040 % |
1029.60/1029.68 c | 2746200 | 2512 12617 40064 | 22367 21543 41 | 0.040 % |
1029.89/1029.94 c | 2746712 | 2512 12617 40064 | 22367 22055 40 | 0.040 % |
1030.29/1030.36 c | 2747737 | 2512 12617 40064 | 22367 20143 39 | 0.040 % |
1030.99/1031.10 c | 2749786 | 2512 12617 40064 | 22367 22192 42 | 0.040 % |
1032.39/1032.41 c | 2753882 | 2512 12617 40064 | 22406 20360 41 | 0.040 % |
1035.89/1035.92 c | 2762074 | 2512 12617 40064 | 20201 19223 47 | 0.040 % |
1035.99/1036.03 c | 2762586 | 2512 12617 40064 | 20201 19735 47 | 0.042 % |
1036.09/1036.15 c | 2763098 | 2512 12617 40064 | 20201 20247 47 | 0.042 % |
1036.29/1036.38 c | 2764122 | 2512 12617 40064 | 20201 18652 47 | 0.040 % |
1036.39/1036.50 c | 2764634 | 2512 12617 40064 | 20201 19164 47 | 0.040 % |
1036.49/1036.57 c | 2765147 | 2512 12617 40064 | 20201 19677 46 | 0.040 % |
1036.89/1036.92 c | 2766173 | 2512 12617 40064 | 20201 20703 47 | 0.040 % |
1037.69/1037.72 c | 2768221 | 2512 12617 40064 | 20201 20295 46 | 0.040 % |
1037.79/1037.87 c | 2768734 | 2512 12617 40064 | 20201 18447 44 | 0.040 % |
1038.09/1038.11 c | 2769248 | 2512 12617 40064 | 20201 18961 44 | 0.040 % |
1038.40/1038.44 c | 2770272 | 2512 12617 40064 | 19713 19985 45 | 0.040 % |
1038.49/1038.59 c | 2770785 | 2512 12617 40064 | 19713 18278 43 | 0.040 % |
1038.59/1038.70 c | 2771298 | 2512 12617 40064 | 19713 18791 44 | 0.040 % |
1039.09/1039.11 c | 2772324 | 2512 12617 40064 | 19713 19817 43 | 0.040 % |
1039.69/1039.76 c | 2774372 | 2512 12617 40064 | 19713 19767 43 | 0.040 % |
1041.19/1041.24 c | 2778468 | 2512 12617 40064 | 19713 19596 42 | 0.040 % |
1041.29/1041.36 c | 2778980 | 2512 12617 40064 | 19713 18014 41 | 0.040 % |
1041.49/1041.51 c | 2779492 | 2512 12617 40064 | 19713 18526 42 | 0.040 % |
1041.89/1041.95 c | 2780516 | 2512 12617 40064 | 19038 17603 40 | 0.040 % |
1041.99/1042.04 c | 2781028 | 2512 12617 40064 | 19038 18115 40 | 0.042 % |
1042.09/1042.13 c | 2781540 | 2512 12617 40064 | 19038 18627 40 | 0.041 % |
1042.19/1042.29 c | 2782564 | 2512 12617 40064 | 19038 19651 40 | 0.043 % |
1042.69/1042.76 c | 2784612 | 2512 12617 40064 | 19038 17783 37 | 0.042 % |
1042.80/1042.87 c | 2785124 | 2512 12617 40064 | 19038 18295 37 | 0.040 % |
1042.99/1043.02 c | 2785636 | 2512 12617 40064 | 19038 18807 37 | 0.040 % |
1043.29/1043.31 c | 2786661 | 2512 12617 40064 | 19038 17881 36 | 0.040 % |
1043.39/1043.48 c | 2787173 | 2512 12617 40064 | 19038 18393 36 | 0.040 % |
1043.59/1043.63 c | 2787686 | 2512 12617 40064 | 19038 18906 37 | 0.040 % |
1043.90/1043.96 c | 2788712 | 2512 12617 40064 | 19038 17961 36 | 0.040 % |
1044.49/1044.56 c | 2790762 | 2512 12617 40064 | 2147483647 20011 39 | 0.040 % |
1045.99/1046.08 c | 2794858 | 2512 12617 40064 | 2147483647 24107 42 | 0.040 % |
1049.29/1049.39 c | 2803051 | 2512 12617 40064 | 29250 27952 43 | 0.040 % |
1054.00/1054.08 c | 2819435 | 2512 12617 40064 | 25060 21281 42 | 0.043 % |
1064.90/1064.99 c | 2852203 | 2512 12617 40064 | 19787 19310 45 | 0.040 % |
1065.10/1065.16 c | 2852719 | 2512 12617 40064 | 19787 19826 46 | 0.040 % |
1065.30/1065.32 c | 2853231 | 2512 12617 40064 | 19787 17696 43 | 0.040 % |
1065.60/1065.68 c | 2854257 | 2512 12617 40064 | 19787 18722 43 | 0.040 % |
1065.80/1065.83 c | 2854769 | 2512 12617 40064 | 19787 19234 44 | 0.040 % |
1065.90/1065.94 c | 2855282 | 2512 12617 40064 | 19787 19747 44 | 0.040 % |
1066.20/1066.23 c | 2856306 | 2512 12617 40064 | 19787 18353 42 | 0.040 % |
1066.70/1066.71 c | 2858355 | 2512 12617 40064 | 19787 18349 39 | 0.040 % |
1066.80/1066.84 c | 2858868 | 2512 12617 40064 | 19787 18862 39 | 0.040 % |
1066.90/1066.96 c | 2859381 | 2512 12617 40064 | 19787 19375 39 | 0.040 % |
1067.30/1067.31 c | 2860407 | 2512 12617 40064 | 2147483647 18409 37 | 0.040 % |
1067.40/1067.49 c | 2860919 | 2512 12617 40064 | 2147483647 18921 39 | 0.040 % |
1067.60/1067.65 c | 2861431 | 2512 12617 40064 | 2147483647 19433 39 | 0.040 % |
1068.00/1068.03 c | 2862456 | 2512 12617 40064 | 2147483647 20458 40 | 0.040 % |
1068.70/1068.80 c | 2864505 | 2512 12617 40064 | 2147483647 22507 42 | 0.040 % |
1069.90/1069.96 c | 2868602 | 2512 12617 40064 | 2147483647 26604 42 | 0.042 % |
1070.00/1070.09 c | 2869115 | 2512 12617 40064 | 2147483647 27117 42 | 0.040 % |
1070.10/1070.21 c | 2869628 | 2512 12617 40064 | 2147483647 27630 42 | 0.040 % |
1070.60/1070.63 c | 2870653 | 2512 12617 40064 | 28004 24901 40 | 0.040 % |
1070.80/1070.82 c | 2871166 | 2512 12617 40064 | 28004 25414 41 | 0.040 % |
1071.00/1071.03 c | 2871679 | 2512 12617 40064 | 28004 25927 41 | 0.040 % |
1071.30/1071.40 c | 2872706 | 2512 12617 40064 | 28004 26954 42 | 0.040 % |
1072.70/1072.72 c | 2874757 | 2512 12617 40064 | 28004 23892 42 | 0.040 % |
1072.80/1072.87 c | 2875269 | 2512 12617 40064 | 28004 24404 42 | 0.040 % |
1072.90/1072.92 c | 2875782 | 2512 12617 40064 | 28004 24917 42 | 0.040 % |
1073.20/1073.26 c | 2876806 | 2512 12617 40064 | 28004 25941 43 | 0.040 % |
1073.30/1073.40 c | 2877320 | 2512 12617 40064 | 28004 26455 42 | 0.040 % |
1073.40/1073.47 c | 2877832 | 2512 12617 40064 | 28004 26967 42 | 0.040 % |
1073.70/1073.73 c | 2878858 | 2512 12617 40064 | 28004 27993 42 | 0.040 % |
1074.40/1074.48 c | 2880907 | 2512 12617 40064 | 24290 21062 36 | 0.040 % |
1075.60/1075.70 c | 2885003 | 2512 12617 40064 | 24290 21727 39 | 0.040 % |
1077.70/1077.75 c | 2893197 | 2512 12617 40064 | 23163 23038 35 | 0.042 % |
1077.80/1077.90 c | 2893710 | 2512 12617 40064 | 23163 23551 36 | 0.040 % |
1078.00/1078.07 c | 2894223 | 2512 12617 40064 | 23163 20792 36 | 0.040 % |
1078.40/1078.51 c | 2895247 | 2512 12617 40064 | 23163 21816 37 | 0.040 % |
1078.60/1078.69 c | 2895759 | 2512 12617 40064 | 23163 22328 37 | 0.040 % |
1078.90/1078.98 c | 2896271 | 2512 12617 40064 | 23163 22840 38 | 0.040 % |
1079.20/1079.29 c | 2897295 | 2512 12617 40064 | 23163 20549 37 | 0.040 % |
1080.00/1080.07 c | 2899343 | 2512 12617 40064 | 23163 22597 39 | 0.040 % |
1080.20/1080.29 c | 2899855 | 2512 12617 40064 | 23163 23109 40 | 0.040 % |
1080.40/1080.42 c | 2900367 | 2512 12617 40064 | 23254 20612 38 | 0.040 % |
1080.80/1080.81 c | 2901391 | 2512 12617 40064 | 23254 21636 40 | 0.040 % |
1080.90/1081.00 c | 2901905 | 2512 12617 40064 | 23254 22150 41 | 0.040 % |
1081.10/1081.16 c | 2902418 | 2512 12617 40064 | 23254 22663 41 | 0.040 % |
1081.50/1081.60 c | 2903442 | 2512 12617 40064 | 23254 20455 40 | 0.040 % |
1082.40/1082.42 c | 2905493 | 2512 12617 40064 | 23254 22506 41 | 0.040 % |
1083.70/1083.78 c | 2909591 | 2512 12617 40064 | 23254 23485 45 | 0.040 % |
1083.90/1083.95 c | 2910104 | 2512 12617 40064 | 20646 20750 45 | 0.043 % |
1084.10/1084.11 c | 2910616 | 2512 12617 40064 | 20646 18376 43 | 0.040 % |
1084.60/1084.67 c | 2911641 | 2512 12617 40064 | 20646 19401 44 | 0.040 % |
1084.80/1084.84 c | 2912155 | 2512 12617 40064 | 20646 19915 44 | 0.040 % |
1085.00/1085.03 c | 2912669 | 2512 12617 40064 | 20646 20429 44 | 0.040 % |
1085.40/1085.49 c | 2913694 | 2512 12617 40064 | 20646 18657 41 | 0.040 % |
1086.10/1086.20 c | 2915742 | 2512 12617 40064 | 20646 20705 42 | 0.040 % |
1086.30/1086.39 c | 2916255 | 2512 12617 40064 | 20646 18859 41 | 0.040 % |
1086.50/1086.58 c | 2916768 | 2512 12617 40064 | 20646 19372 41 | 0.040 % |
1086.80/1086.89 c | 2917792 | 2512 12617 40064 | 20646 20396 42 | 0.040 % |
1087.00/1087.03 c | 2918304 | 2512 12617 40064 | 20646 20908 41 | 0.040 % |
1087.10/1087.19 c | 2918818 | 2512 12617 40064 | 20646 19200 41 | 0.040 % |
1087.50/1087.56 c | 2919847 | 2512 12617 40064 | 20646 20229 41 | 0.040 % |
1088.40/1088.43 c | 2921896 | 2512 12617 40064 | 20383 19817 41 | 0.040 % |
1090.00/1090.08 c | 2925993 | 2512 12617 40064 | 20383 18044 37 | 0.040 % |
1093.10/1093.21 c | 2934185 | 2512 12617 40064 | 19152 18032 39 | 0.040 % |
1099.10/1099.17 c | 2950569 | 2512 12617 40064 | 17669 16092 40 | 0.040 % |
1099.20/1099.28 c | 2951081 | 2512 12617 40064 | 17669 16604 41 | 0.043 % |
1099.30/1099.40 c | 2951594 | 2512 12617 40064 | 17669 17117 42 | 0.042 % |
1099.60/1099.63 c | 2952619 | 2512 12617 40064 | 17669 18142 41 | 0.043 % |
1099.70/1099.73 c | 2953132 | 2512 12617 40064 | 17669 16735 39 | 0.040 % |
1099.80/1099.88 c | 2953644 | 2512 12617 40064 | 17669 17247 40 | 0.040 % |
1100.30/1100.35 c | 2954671 | 2512 12617 40064 | 17669 16368 39 | 0.040 % |
1101.00/1101.02 c | 2956720 | 2512 12617 40064 | 17669 16624 39 | 0.040 % |
1101.11/1101.16 c | 2957236 | 2512 12617 40064 | 17669 17140 39 | 0.040 % |
1101.30/1101.31 c | 2957748 | 2512 12617 40064 | 17669 17652 40 | 0.040 % |
1101.80/1101.81 c | 2958772 | 2512 12617 40064 | 17669 16880 38 | 0.040 % |
1101.90/1101.98 c | 2959284 | 2512 12617 40064 | 17669 17392 39 | 0.040 % |
1102.10/1102.12 c | 2959796 | 2512 12617 40064 | 17669 17904 39 | 0.040 % |
1102.30/1102.40 c | 2960820 | 2512 12617 40064 | 2147483647 17138 39 | 0.040 % |
1103.10/1103.14 c | 2962868 | 2512 12617 40064 | 2147483647 19186 43 | 0.040 % |
1104.80/1104.81 c | 2966967 | 2512 12617 40064 | 2147483647 23285 46 | 0.040 % |
1105.00/1105.01 c | 2967479 | 2512 12617 40064 | 2147483647 23797 45 | 0.040 % |
1105.20/1105.25 c | 2967993 | 2512 12617 40064 | 2147483647 24311 46 | 0.040 % |
1105.60/1105.69 c | 2969018 | 2512 12617 40064 | 2147483647 25336 46 | 0.040 % |
1105.80/1105.82 c | 2969530 | 2512 12617 40064 | 2147483647 25848 46 | 0.043 % |
1105.90/1105.95 c | 2970042 | 2512 12617 40064 | 26318 26360 46 | 0.042 % |
1106.10/1106.18 c | 2971067 | 2512 12617 40064 | 26318 24297 46 | 0.042 % |
1106.70/1106.71 c | 2973117 | 2512 12617 40064 | 26318 26347 46 | 0.042 % |
1106.80/1106.88 c | 2973629 | 2512 12617 40064 | 26318 23282 44 | 0.040 % |
1107.00/1107.09 c | 2974141 | 2512 12617 40064 | 26318 23794 44 | 0.040 % |
1107.50/1107.52 c | 2975166 | 2512 12617 40064 | 26318 24819 43 | 0.040 % |
1107.80/1107.85 c | 2975678 | 2512 12617 40064 | 26318 25331 43 | 0.040 % |
1108.00/1108.03 c | 2976190 | 2512 12617 40064 | 26318 25843 44 | 0.040 % |
1108.40/1108.50 c | 2977214 | 2512 12617 40064 | 26318 23374 42 | 0.040 % |
1109.30/1109.35 c | 2979262 | 2512 12617 40064 | 26318 25422 44 | 0.040 % |
1111.20/1111.25 c | 2983358 | 2512 12617 40064 | 26162 25293 41 | 0.040 % |
1114.60/1114.62 c | 2991551 | 2512 12617 40064 | 22927 20611 42 | 0.040 % |
1114.70/1114.76 c | 2992063 | 2512 12617 40064 | 22927 21123 43 | 0.043 % |
1114.80/1114.86 c | 2992581 | 2512 12617 40064 | 22927 21641 43 | 0.042 % |
1115.00/1115.07 c | 2993606 | 2512 12617 40064 | 22927 22666 42 | 0.042 % |
1115.20/1115.30 c | 2994119 | 2512 12617 40064 | 22927 19644 40 | 0.040 % |
1115.41/1115.45 c | 2994631 | 2512 12617 40064 | 22927 20156 41 | 0.040 % |
1115.80/1115.81 c | 2995656 | 2512 12617 40064 | 22927 21181 41 | 0.040 % |
1116.51/1116.56 c | 2997704 | 2512 12617 40064 | 22927 23229 42 | 0.040 % |
1116.80/1116.85 c | 2998217 | 2512 12617 40064 | 22927 20288 40 | 0.040 % |
1117.00/1117.09 c | 2998729 | 2512 12617 40064 | 22927 20800 40 | 0.040 % |
1117.50/1117.55 c | 2999753 | 2512 12617 40064 | 22927 21824 41 | 0.040 % |
1117.70/1117.77 c | 3000265 | 2512 12617 40064 | 22071 22336 41 | 0.040 % |
1117.90/1117.98 c | 3000778 | 2512 12617 40064 | 22071 19612 40 | 0.040 % |
1118.30/1118.37 c | 3001802 | 2512 12617 40064 | 22071 20636 41 | 0.040 % |
1119.00/1119.06 c | 3003851 | 2512 12617 40064 | 22071 20152 37 | 0.040 % |
1121.00/1121.09 c | 3007947 | 2512 12617 40064 | 22071 21811 38 | 0.040 % |
1121.30/1121.33 c | 3008462 | 2512 12617 40064 | 22071 22326 38 | 0.040 % |
1121.50/1121.51 c | 3008975 | 2512 12617 40064 | 22071 20205 37 | 0.040 % |
1122.01/1122.06 c | 3010000 | 2512 12617 40064 | 22071 21230 38 | 0.040 % |
1122.10/1122.17 c | 3010512 | 2512 12617 40064 | 21230 21742 39 | 0.042 % |
1122.20/1122.27 c | 3011024 | 2512 12617 40064 | 21230 19571 37 | 0.043 % |
1122.40/1122.47 c | 3012051 | 2512 12617 40064 | 21230 20598 37 | 0.042 % |
1122.80/1122.86 c | 3014099 | 2512 12617 40064 | 21230 20023 39 | 0.043 % |
1122.90/1122.97 c | 3014611 | 2512 12617 40064 | 21230 20535 39 | 0.042 % |
1123.00/1123.10 c | 3015124 | 2512 12617 40064 | 21230 21048 40 | 0.040 % |
1123.40/1123.45 c | 3016150 | 2512 12617 40064 | 21230 19373 39 | 0.040 % |
1123.50/1123.58 c | 3016663 | 2512 12617 40064 | 21230 19886 40 | 0.040 % |
1123.60/1123.69 c | 3017176 | 2512 12617 40064 | 21230 20399 40 | 0.040 % |
1123.90/1123.95 c | 3018202 | 2512 12617 40064 | 21230 21425 41 | 0.040 % |
1124.80/1124.84 c | 3020250 | 2512 12617 40064 | 20578 20828 44 | 0.040 % |
1126.20/1126.22 c | 3024346 | 2512 12617 40064 | 20578 19943 42 | 0.040 % |
1129.20/1129.24 c | 3032539 | 2512 12617 40064 | 20859 20623 43 | 0.040 % |
1133.11/1133.19 c | 3048924 | 2512 12617 40064 | 20190 19576 39 | 0.042 % |
1144.91/1144.94 c | 3081694 | 2512 12617 40064 | 27114 23016 41 | 0.040 % |
1171.41/1171.49 c | 3147232 | 2512 12617 40064 | 21533 19306 40 | 0.040 % |
1171.71/1171.74 c | 3147744 | 2512 12617 40064 | 21533 19818 40 | 0.040 % |
1171.91/1171.95 c | 3148256 | 2512 12617 40064 | 21533 20330 40 | 0.040 % |
1172.21/1172.27 c | 3149280 | 2512 12617 40064 | 21533 21354 40 | 0.040 % |
1172.41/1172.48 c | 3149793 | 2512 12617 40064 | 21533 18964 40 | 0.040 % |
1172.51/1172.59 c | 3150308 | 2512 12617 40064 | 19171 17024 39 | 0.040 % |
1172.81/1172.85 c | 3151333 | 2512 12617 40064 | 19171 18049 41 | 0.040 % |
1173.51/1173.58 c | 3153381 | 2512 12617 40064 | 19171 17754 44 | 0.040 % |
1173.71/1173.75 c | 3153893 | 2512 12617 40064 | 19171 18266 44 | 0.040 % |
1173.91/1173.95 c | 3154406 | 2512 12617 40064 | 19171 18779 45 | 0.040 % |
1174.31/1174.35 c | 3155431 | 2512 12617 40064 | 19171 17660 42 | 0.040 % |
1174.41/1174.49 c | 3155947 | 2512 12617 40064 | 19171 18176 43 | 0.040 % |
1174.61/1174.70 c | 3156461 | 2512 12617 40064 | 19171 18690 44 | 0.040 % |
1175.01/1175.06 c | 3157485 | 2512 12617 40064 | 19171 17565 42 | 0.040 % |
1175.71/1175.79 c | 3159533 | 2512 12617 40064 | 19171 19613 43 | 0.040 % |
1176.91/1176.99 c | 3163631 | 2512 12617 40064 | 17887 17463 47 | 0.043 % |
1177.01/1177.10 c | 3164145 | 2512 12617 40064 | 17887 17977 46 | 0.040 % |
1177.21/1177.26 c | 3164657 | 2512 12617 40064 | 17887 16582 43 | 0.040 % |
1177.61/1177.66 c | 3165681 | 2512 12617 40064 | 17887 17606 44 | 0.040 % |
1177.81/1177.85 c | 3166194 | 2512 12617 40064 | 17887 18119 44 | 0.040 % |
1177.91/1178.01 c | 3166706 | 2512 12617 40064 | 17887 16804 44 | 0.040 % |
1178.31/1178.33 c | 3167732 | 2512 12617 40064 | 17887 17830 45 | 0.040 % |
1178.91/1178.97 c | 3169780 | 2512 12617 40064 | 17887 18042 46 | 0.040 % |
1179.11/1179.16 c | 3170292 | 2512 12617 40064 | 2147483647 16750 45 | 0.040 % |
1179.31/1179.38 c | 3170804 | 2512 12617 40064 | 2147483647 17262 45 | 0.040 % |
1179.61/1179.70 c | 3171828 | 2512 12617 40064 | 2147483647 18286 46 | 0.040 % |
1179.81/1179.90 c | 3172340 | 2512 12617 40064 | 2147483647 18798 46 | 0.040 % |
1180.01/1180.06 c | 3172853 | 2512 12617 40064 | 2147483647 19311 46 | 0.040 % |
1180.41/1180.46 c | 3173877 | 2512 12617 40064 | 2147483647 20335 46 | 0.040 % |
1181.21/1181.23 c | 3175926 | 2512 12617 40064 | 2147483647 22384 47 | 0.040 % |
1183.11/1183.13 c | 3180023 | 2512 12617 40064 | 26458 26481 45 | 0.040 % |
1185.01/1185.09 c | 3188218 | 2512 12617 40064 | 26458 24006 40 | 0.043 % |
1185.21/1185.23 c | 3188730 | 2512 12617 40064 | 26458 24518 41 | 0.040 % |
1185.41/1185.43 c | 3189242 | 2512 12617 40064 | 26458 25030 41 | 0.040 % |
1185.82/1185.82 c | 3190267 | 2512 12617 40064 | 25789 21933 40 | 0.040 % |
1186.01/1186.02 c | 3190779 | 2512 12617 40064 | 25789 22445 40 | 0.040 % |
1186.31/1186.33 c | 3191294 | 2512 12617 40064 | 25789 22960 40 | 0.040 % |
1186.51/1186.51 c | 3192318 | 2512 12617 40064 | 25789 23984 41 | 0.040 % |
1187.21/1187.24 c | 3194366 | 2512 12617 40064 | 25789 26032 43 | 0.040 % |
1187.41/1187.49 c | 3194878 | 2512 12617 40064 | 25789 21981 43 | 0.040 % |
1187.61/1187.66 c | 3195390 | 2512 12617 40064 | 25789 22493 44 | 0.040 % |
1188.11/1188.13 c | 3196414 | 2512 12617 40064 | 25789 23517 45 | 0.040 % |
1188.31/1188.33 c | 3196926 | 2512 12617 40064 | 25789 24029 45 | 0.040 % |
1188.51/1188.56 c | 3197439 | 2512 12617 40064 | 25789 24542 45 | 0.040 % |
1188.81/1188.89 c | 3198463 | 2512 12617 40064 | 25789 25566 44 | 0.040 % |
1189.51/1189.57 c | 3200511 | 2512 12617 40064 | 23029 19906 41 | 0.040 % |
1190.51/1190.57 c | 3204608 | 2512 12617 40064 | 23029 21278 35 | 0.044 % |
1190.61/1190.65 c | 3205120 | 2512 12617 40064 | 23029 21790 36 | 0.040 % |
1190.71/1190.78 c | 3205632 | 2512 12617 40064 | 23029 22302 36 | 0.040 % |
1191.01/1191.04 c | 3206656 | 2512 12617 40064 | 23029 20769 32 | 0.040 % |
1191.11/1191.19 c | 3207168 | 2512 12617 40064 | 23029 21281 33 | 0.040 % |
1191.32/1191.37 c | 3207682 | 2512 12617 40064 | 23029 21795 34 | 0.040 % |
1191.71/1191.72 c | 3208707 | 2512 12617 40064 | 23029 22820 35 | 0.040 % |
1192.51/1192.58 c | 3210755 | 2512 12617 40064 | 21365 19615 29 | 0.040 % |
1192.71/1192.75 c | 3211267 | 2512 12617 40064 | 21365 20127 30 | 0.040 % |
1192.81/1192.90 c | 3211783 | 2512 12617 40064 | 21365 20643 30 | 0.040 % |
1193.31/1193.38 c | 3212808 | 2512 12617 40064 | 21365 21668 31 | 0.040 % |
1193.52/1193.54 c | 3213320 | 2512 12617 40064 | 21365 19597 31 | 0.040 % |
1193.71/1193.74 c | 3213833 | 2512 12617 40064 | 21365 20110 31 | 0.040 % |
1194.01/1194.02 c | 3214857 | 2512 12617 40064 | 21365 21134 33 | 0.040 % |
1194.71/1194.74 c | 3216905 | 2512 12617 40064 | 21365 20605 36 | 0.040 % |
1196.11/1196.11 c | 3221001 | 2512 12617 40064 | 21190 19504 41 | 0.040 % |
1198.01/1198.02 c | 3229194 | 2512 12617 40064 | 21190 19909 41 | 0.043 % |
1200.01/1200.02 HOME/SatELiteGTI: line 36: 21149 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820417-1242441213/watcher-1820417-1242441213 -o /tmp/evaluation-result-1820417-1242441213/solver-1820417-1242441213 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820417-1242441213.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.02 1.00 3/93 21143
/proc/meminfo: memFree=1473720/2074464 swapFree=1951868/1959888
[pid=21143] ppid=21141 vsize=2412 CPUtime=0
/proc/21143/stat : 21143 (SatELiteGTI) S 21141 21143 20977 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1008622371 2469888 276 4294967295 134512640 135169312 3216987968 3216986504 3085881070 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21143/statm: 603 276 235 161 0 42 0
[pid=21147] ppid=21143 vsize=952 CPUtime=0
/proc/21147/stat : 21147 (SatELite_releas) R 21143 21143 20977 0 -1 4202496 135 0 0 0 0 0 0 0 18 0 1 0 1008622371 974848 70 4294967295 134512640 135223648 3218481312 3218480032 134734703 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21147/statm: 238 70 45 174 0 63 0
[startup+0.078805 s]
/proc/loadavg: 1.00 1.02 1.00 3/93 21143
/proc/meminfo: memFree=1473720/2074464 swapFree=1951868/1959888
[pid=21143] ppid=21141 vsize=2412 CPUtime=0
/proc/21143/stat : 21143 (SatELiteGTI) S 21141 21143 20977 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1008622371 2469888 276 4294967295 134512640 135169312 3216987968 3216986504 3085881070 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21143/statm: 603 276 235 161 0 42 0
[pid=21147] ppid=21143 vsize=4024 CPUtime=0.08
/proc/21147/stat : 21147 (SatELite_releas) R 21143 21143 20977 0 -1 4202496 846 0 0 0 8 0 0 0 18 0 1 0 1008622371 4120576 781 4294967295 134512640 135223648 3218481312 3218479664 134602383 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21147/statm: 1006 781 73 174 0 831 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6436
[startup+0.11879 s]
/proc/loadavg: 1.00 1.02 1.00 3/93 21143
/proc/meminfo: memFree=1473720/2074464 swapFree=1951868/1959888
[pid=21143] ppid=21141 vsize=2412 CPUtime=0
/proc/21143/stat : 21143 (SatELiteGTI) S 21141 21143 20977 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1008622371 2469888 276 4294967295 134512640 135169312 3216987968 3216986504 3085881070 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21143/statm: 603 276 235 161 0 42 0
[pid=21147] ppid=21143 vsize=3892 CPUtime=0.12
/proc/21147/stat : 21147 (SatELite_releas) R 21143 21143 20977 0 -1 4202496 878 0 0 0 12 0 0 0 18 0 1 0 1008622371 3985408 781 4294967295 134512640 135223648 3218481312 3218478112 134687968 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21147/statm: 973 781 75 174 0 798 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 6304
[startup+0.318771 s]
/proc/loadavg: 1.00 1.02 1.00 3/93 21143
/proc/meminfo: memFree=1473720/2074464 swapFree=1951868/1959888
[pid=21143] ppid=21141 vsize=2416 CPUtime=0.13
/proc/21143/stat : 21143 (SatELiteGTI) S 21141 21143 20977 0 -1 4194304 385 1524 0 0 1 0 12 0 24 0 1 0 1008622371 2473984 277 4294967295 134512640 135169312 3216987968 3216984184 3085881070 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21143/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 2416
[startup+0.718731 s]
/proc/loadavg: 1.00 1.02 1.00 3/93 21143
/proc/meminfo: memFree=1473720/2074464 swapFree=1951868/1959888
[pid=21143] ppid=21141 vsize=2416 CPUtime=0.13
/proc/21143/stat : 21143 (SatELiteGTI) S 21141 21143 20977 0 -1 4194304 385 1524 0 0 1 0 12 0 24 0 1 0 1008622371 2473984 277 4294967295 134512640 135169312 3216987968 3216984184 3085881070 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21143/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 2416
[startup+1.51865 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 21149
/proc/meminfo: memFree=1471332/2074464 swapFree=1951868/1959888
[pid=21143] ppid=21141 vsize=2416 CPUtime=0.13
/proc/21143/stat : 21143 (SatELiteGTI) S 21141 21143 20977 0 -1 4194304 385 1524 0 0 1 0 12 0 24 0 1 0 1008622371 2473984 277 4294967295 134512640 135169312 3216987968 3216984184 3085881070 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21143/statm: 604 277 235 161 0 43 0
[pid=21149] ppid=21143 vsize=4144 CPUtime=1.39
/proc/21149/stat : 21149 (minisat_static) R 21143 21143 20977 0 -1 4202496 760 0 0 0 138 1 0 0 25 0 1 0 1008622384 4243456 695 4294967295 134512640 135216591 3217592368 3217590336 134539442 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21149/statm: 1036 695 75 172 0 863 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 6560
[startup+3.1185 s]
/proc/loadavg: 1.00 1.02 1.00 2/95 21149
/proc/meminfo: memFree=1470464/2074464 swapFree=1951868/1959888
[pid=21143] ppid=21141 vsize=2416 CPUtime=0.13
/proc/21143/stat : 21143 (SatELiteGTI) S 21141 21143 20977 0 -1 4194304 385 1524 0 0 1 0 12 0 24 0 1 0 1008622371 2473984 277 4294967295 134512640 135169312 3216987968 3216984184 3085881070 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21143/statm: 604 277 235 161 0 43 0
[pid=21149] ppid=21143 vsize=5904 CPUtime=2.97
/proc/21149/stat : 21149 (minisat_static) R 21143 21143 20977 0 -1 4202496 1206 0 0 0 296 1 0 0 25 0 1 0 1008622384 6045696 1141 4294967295 134512640 135216591 3217592368 3217590544 134525192 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21149/statm: 1476 1141 75 172 0 1303 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 8320
[startup+6.31819 s]
/proc/loadavg: 1.00 1.02 1.00 2/95 21149
/proc/meminfo: memFree=1467488/2074464 swapFree=1951868/1959888
[pid=21143] ppid=21141 vsize=2416 CPUtime=0.13
/proc/21143/stat : 21143 (SatELiteGTI) S 21141 21143 20977 0 -1 4194304 385 1524 0 0 1 0 12 0 24 0 1 0 1008622371 2473984 277 4294967295 134512640 135169312 3216987968 3216984184 3085881070 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21143/statm: 604 277 235 161 0 43 0
[pid=21149] ppid=21143 vsize=8340 CPUtime=6.17
/proc/21149/stat : 21149 (minisat_static) R 21143 21143 20977 0 -1 4202496 1821 0 0 0 615 2 0 0 25 0 1 0 1008622384 8540160 1756 4294967295 134512640 135216591 3217592368 3217590560 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21149/statm: 2085 1756 75 172 0 1912 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 10756
[startup+12.7176 s]
/proc/loadavg: 1.00 1.02 1.00 2/95 21149
/proc/meminfo: memFree=1463980/2074464 swapFree=1951868/1959888
[pid=21143] ppid=21141 vsize=2416 CPUtime=0.13
/proc/21143/stat : 21143 (SatELiteGTI) S 21141 21143 20977 0 -1 4194304 385 1524 0 0 1 0 12 0 24 0 1 0 1008622371 2473984 277 4294967295 134512640 135169312 3216987968 3216984184 3085881070 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21143/statm: 604 277 235 161 0 43 0
[pid=21149] ppid=21143 vsize=11408 CPUtime=12.57
/proc/21149/stat : 21149 (minisat_static) R 21143 21143 20977 0 -1 4202496 2580 0 0 0 1254 3 0 0 25 0 1 0 1008622384 11681792 2515 4294967295 134512640 135216591 3217592368 3217590272 134532984 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21149/statm: 2852 2515 75 172 0 2679 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 13824
[startup+25.5163 s]
/proc/loadavg: 1.15 1.05 1.01 2/95 21334
/proc/meminfo: memFree=1463304/2074464 swapFree=1951868/1959888
[pid=21143] ppid=21141 vsize=2416 CPUtime=0.13
/proc/21143/stat : 21143 (SatELiteGTI) S 21141 21143 20977 0 -1 4194304 385 1524 0 0 1 0 12 0 24 0 1 0 1008622371 2473984 277 4294967295 134512640 135169312 3216987968 3216984184 3085881070 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21143/statm: 604 277 235 161 0 43 0
[pid=21149] ppid=21143 vsize=11408 CPUtime=25.37
/proc/21149/stat : 21149 (minisat_static) R 21143 21143 20977 0 -1 4202496 2596 0 0 0 2534 3 0 0 25 0 1 0 1008622384 11681792 2531 4294967295 134512640 135216591 3217592368 3217590560 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21149/statm: 2852 2531 75 172 0 2679 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 13824
[startup+51.1138 s]
/proc/loadavg: 1.10 1.04 1.01 2/95 21336
/proc/meminfo: memFree=1463572/2074464 swapFree=1951868/1959888
[pid=21143] ppid=21141 vsize=2416 CPUtime=0.13
/proc/21143/stat : 21143 (SatELiteGTI) S 21141 21143 20977 0 -1 4194304 385 1524 0 0 1 0 12 0 24 0 1 0 1008622371 2473984 277 4294967295 134512640 135169312 3216987968 3216984184 3085881070 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21143/statm: 604 277 235 161 0 43 0
[pid=21149] ppid=21143 vsize=11560 CPUtime=50.97
/proc/21149/stat : 21149 (minisat_static) R 21143 21143 20977 0 -1 4202496 2603 0 0 0 5092 5 0 0 25 0 1 0 1008622384 11837440 2538 4294967295 134512640 135216591 3217592368 3217590560 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21149/statm: 2890 2538 75 172 0 2717 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 13976
[startup+102.319 s]
/proc/loadavg: 1.04 1.03 1.00 2/95 21524
/proc/meminfo: memFree=1463300/2074464 swapFree=1951868/1959888
[pid=21143] ppid=21141 vsize=2416 CPUtime=0.13
/proc/21143/stat : 21143 (SatELiteGTI) S 21141 21143 20977 0 -1 4194304 385 1524 0 0 1 0 12 0 24 0 1 0 1008622371 2473984 277 4294967295 134512640 135169312 3216987968 3216984184 3085881070 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21143/statm: 604 277 235 161 0 43 0
[pid=21149] ppid=21143 vsize=11560 CPUtime=102.08
/proc/21149/stat : 21149 (minisat_static) R 21143 21143 20977 0 -1 4202496 2605 0 0 0 10191 17 0 0 25 0 1 0 1008622384 11837440 2540 4294967295 134512640 135216591 3217592368 3217590488 134720129 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21149/statm: 2890 2540 75 172 0 2717 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 13976
[startup+162.323 s]
/proc/loadavg: 1.01 1.02 1.00 3/95 21711
/proc/meminfo: memFree=1463556/2074464 swapFree=1951868/1959888
[pid=21143] ppid=21141 vsize=2416 CPUtime=0.13
/proc/21143/stat : 21143 (SatELiteGTI) S 21141 21143 20977 0 -1 4194304 385 1524 0 0 1 0 12 0 24 0 1 0 1008622371 2473984 277 4294967295 134512640 135169312 3216987968 3216984184 3085881070 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21143/statm: 604 277 235 161 0 43 0
[pid=21149] ppid=21143 vsize=11560 CPUtime=162.09
/proc/21149/stat : 21149 (minisat_static) R 21143 21143 20977 0 -1 4202496 2618 0 0 0 16192 17 0 0 25 0 1 0 1008622384 11837440 2553 4294967295 134512640 135216591 3217592368 3217590560 134528962 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21149/statm: 2890 2553 75 172 0 2717 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 13976
[startup+222.317 s]
/proc/loadavg: 1.15 1.05 1.01 3/95 21900
/proc/meminfo: memFree=1463268/2074464 swapFree=1951868/1959888
[pid=21143] ppid=21141 vsize=2416 CPUtime=0.13
/proc/21143/stat : 21143 (SatELiteGTI) S 21141 21143 20977 0 -1 4194304 385 1524 0 0 1 0 12 0 24 0 1 0 1008622371 2473984 277 4294967295 134512640 135169312 3216987968 3216984184 3085881070 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21143/statm: 604 277 235 161 0 43 0
[pid=21149] ppid=21143 vsize=11560 CPUtime=222.09
/proc/21149/stat : 21149 (minisat_static) R 21143 21143 20977 0 -1 4202496 2618 0 0 0 22192 17 0 0 25 0 1 0 1008622384 11837440 2553 4294967295 134512640 135216591 3217592368 3217590560 134528969 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21149/statm: 2890 2553 75 172 0 2717 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 13976
[startup+282.311 s]
/proc/loadavg: 1.05 1.04 1.00 2/95 22086
/proc/meminfo: memFree=1463068/2074464 swapFree=1951868/1959888
[pid=21143] ppid=21141 vsize=2416 CPUtime=0.13
/proc/21143/stat : 21143 (SatELiteGTI) S 21141 21143 20977 0 -1 4194304 385 1524 0 0 1 0 12 0 24 0 1 0 1008622371 2473984 277 4294967295 134512640 135169312 3216987968 3216984184 3085881070 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21143/statm: 604 277 235 161 0 43 0
[pid=21149] ppid=21143 vsize=11560 CPUtime=282.09
/proc/21149/stat : 21149 (minisat_static) R 21143 21143 20977 0 -1 4202496 2619 0 0 0 28192 17 0 0 25 0 1 0 1008622384 11837440 2554 4294967295 134512640 135216591 3217592368 3217590560 134529240 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21149/statm: 2890 2554 75 172 0 2717 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 13976
[startup+342.315 s]
/proc/loadavg: 1.02 1.03 1.00 3/95 22277
/proc/meminfo: memFree=1462896/2074464 swapFree=1951868/1959888
[pid=21143] ppid=21141 vsize=2416 CPUtime=0.13
/proc/21143/stat : 21143 (SatELiteGTI) S 21141 21143 20977 0 -1 4194304 385 1524 0 0 1 0 12 0 24 0 1 0 1008622371 2473984 277 4294967295 134512640 135169312 3216987968 3216984184 3085881070 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21143/statm: 604 277 235 161 0 43 0
[pid=21149] ppid=21143 vsize=11964 CPUtime=342.1
/proc/21149/stat : 21149 (minisat_static) R 21143 21143 20977 0 -1 4202496 2721 0 0 0 34191 19 0 0 25 0 1 0 1008622384 12251136 2656 4294967295 134512640 135216591 3217592368 3217590560 134529245 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21149/statm: 2991 2656 75 172 0 2818 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 14380
[startup+402.319 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 22469
/proc/meminfo: memFree=1461796/2074464 swapFree=1951868/1959888
[pid=21143] ppid=21141 vsize=2416 CPUtime=0.13
################
# More data... #
################
/proc/21143/stat : 21143 (SatELiteGTI) S 21141 21143 20977 0 -1 4194304 385 1524 0 0 1 0 12 0 24 0 1 0 1008622371 2473984 277 4294967295 134512640 135169312 3216987968 3216984184 3085881070 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21143/statm: 604 277 235 161 0 43 0
[pid=21149] ppid=21143 vsize=13136 CPUtime=462.11
/proc/21149/stat : 21149 (minisat_static) R 21143 21143 20977 0 -1 4202496 3050 0 0 0 46190 21 0 0 25 0 1 0 1008622384 13451264 2963 4294967295 134512640 135216591 3217592368 3217590560 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21149/statm: 3284 2963 75 172 0 3111 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 15552
[startup+522.318 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 22845
/proc/meminfo: memFree=1460944/2074464 swapFree=1951868/1959888
[pid=21143] ppid=21141 vsize=2416 CPUtime=0.13
/proc/21143/stat : 21143 (SatELiteGTI) S 21141 21143 20977 0 -1 4194304 385 1524 0 0 1 0 12 0 24 0 1 0 1008622371 2473984 277 4294967295 134512640 135169312 3216987968 3216984184 3085881070 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21143/statm: 604 277 235 161 0 43 0
[pid=21149] ppid=21143 vsize=13136 CPUtime=522.12
/proc/21149/stat : 21149 (minisat_static) R 21143 21143 20977 0 -1 4202496 3050 0 0 0 52191 21 0 0 25 0 1 0 1008622384 13451264 2963 4294967295 134512640 135216591 3217592368 3217590560 134528939 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21149/statm: 3284 2963 75 172 0 3111 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 15552
[startup+582.322 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 23031
/proc/meminfo: memFree=1460868/2074464 swapFree=1951868/1959888
[pid=21143] ppid=21141 vsize=2416 CPUtime=0.13
/proc/21143/stat : 21143 (SatELiteGTI) S 21141 21143 20977 0 -1 4194304 385 1524 0 0 1 0 12 0 24 0 1 0 1008622371 2473984 277 4294967295 134512640 135169312 3216987968 3216984184 3085881070 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21143/statm: 604 277 235 161 0 43 0
[pid=21149] ppid=21143 vsize=13136 CPUtime=582.13
/proc/21149/stat : 21149 (minisat_static) R 21143 21143 20977 0 -1 4202496 3050 0 0 0 58192 21 0 0 25 0 1 0 1008622384 13451264 2963 4294967295 134512640 135216591 3217592368 3217590560 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21149/statm: 3284 2963 75 172 0 3111 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 15552
[startup+642.316 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 23220
/proc/meminfo: memFree=1461100/2074464 swapFree=1951868/1959888
[pid=21143] ppid=21141 vsize=2416 CPUtime=0.13
/proc/21143/stat : 21143 (SatELiteGTI) S 21141 21143 20977 0 -1 4194304 385 1524 0 0 1 0 12 0 24 0 1 0 1008622371 2473984 277 4294967295 134512640 135169312 3216987968 3216984184 3085881070 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21143/statm: 604 277 235 161 0 43 0
[pid=21149] ppid=21143 vsize=13136 CPUtime=642.13
/proc/21149/stat : 21149 (minisat_static) R 21143 21143 20977 0 -1 4202496 3050 0 0 0 64192 21 0 0 25 0 1 0 1008622384 13451264 2963 4294967295 134512640 135216591 3217592368 3217590272 134532729 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21149/statm: 3284 2963 75 172 0 3111 0
Current children cumulated CPU time (s) 642.26
Current children cumulated vsize (KiB) 15552
[startup+702.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 23412
/proc/meminfo: memFree=1461256/2074464 swapFree=1951868/1959888
[pid=21143] ppid=21141 vsize=2416 CPUtime=0.13
/proc/21143/stat : 21143 (SatELiteGTI) S 21141 21143 20977 0 -1 4194304 385 1524 0 0 1 0 12 0 24 0 1 0 1008622371 2473984 277 4294967295 134512640 135169312 3216987968 3216984184 3085881070 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21143/statm: 604 277 235 161 0 43 0
[pid=21149] ppid=21143 vsize=13136 CPUtime=702.13
/proc/21149/stat : 21149 (minisat_static) R 21143 21143 20977 0 -1 4202496 3052 0 0 0 70192 21 0 0 25 0 1 0 1008622384 13451264 2965 4294967295 134512640 135216591 3217592368 3217590560 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21149/statm: 3284 2965 75 172 0 3111 0
Current children cumulated CPU time (s) 702.26
Current children cumulated vsize (KiB) 15552
[startup+762.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 23599
/proc/meminfo: memFree=1461248/2074464 swapFree=1951868/1959888
[pid=21143] ppid=21141 vsize=2416 CPUtime=0.13
/proc/21143/stat : 21143 (SatELiteGTI) S 21141 21143 20977 0 -1 4194304 385 1524 0 0 1 0 12 0 24 0 1 0 1008622371 2473984 277 4294967295 134512640 135169312 3216987968 3216984184 3085881070 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21143/statm: 604 277 235 161 0 43 0
[pid=21149] ppid=21143 vsize=13136 CPUtime=762.14
/proc/21149/stat : 21149 (minisat_static) R 21143 21143 20977 0 -1 4202496 3052 0 0 0 76193 21 0 0 25 0 1 0 1008622384 13451264 2965 4294967295 134512640 135216591 3217592368 3217590560 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21149/statm: 3284 2965 75 172 0 3111 0
Current children cumulated CPU time (s) 762.27
Current children cumulated vsize (KiB) 15552
[startup+822.318 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 23788
/proc/meminfo: memFree=1461068/2074464 swapFree=1951868/1959888
[pid=21143] ppid=21141 vsize=2416 CPUtime=0.13
/proc/21143/stat : 21143 (SatELiteGTI) S 21141 21143 20977 0 -1 4194304 385 1524 0 0 1 0 12 0 24 0 1 0 1008622371 2473984 277 4294967295 134512640 135169312 3216987968 3216984184 3085881070 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21143/statm: 604 277 235 161 0 43 0
[pid=21149] ppid=21143 vsize=13664 CPUtime=822.15
/proc/21149/stat : 21149 (minisat_static) R 21143 21143 20977 0 -1 4202496 3154 0 0 0 82194 21 0 0 25 0 1 0 1008622384 13991936 3067 4294967295 134512640 135216591 3217592368 3217590560 134528894 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21149/statm: 3416 3067 75 172 0 3243 0
Current children cumulated CPU time (s) 822.28
Current children cumulated vsize (KiB) 16080
[startup+882.312 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 23974
/proc/meminfo: memFree=1461132/2074464 swapFree=1951868/1959888
[pid=21143] ppid=21141 vsize=2416 CPUtime=0.13
/proc/21143/stat : 21143 (SatELiteGTI) S 21141 21143 20977 0 -1 4194304 385 1524 0 0 1 0 12 0 24 0 1 0 1008622371 2473984 277 4294967295 134512640 135169312 3216987968 3216984184 3085881070 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21143/statm: 604 277 235 161 0 43 0
[pid=21149] ppid=21143 vsize=13664 CPUtime=882.15
/proc/21149/stat : 21149 (minisat_static) R 21143 21143 20977 0 -1 4202496 3155 0 0 0 88193 22 0 0 25 0 1 0 1008622384 13991936 3068 4294967295 134512640 135216591 3217592368 3217590560 134529009 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21149/statm: 3416 3068 75 172 0 3243 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 16080
[startup+942.316 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 24163
/proc/meminfo: memFree=1461348/2074464 swapFree=1951868/1959888
[pid=21143] ppid=21141 vsize=2416 CPUtime=0.13
/proc/21143/stat : 21143 (SatELiteGTI) S 21141 21143 20977 0 -1 4194304 385 1524 0 0 1 0 12 0 24 0 1 0 1008622371 2473984 277 4294967295 134512640 135169312 3216987968 3216984184 3085881070 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21143/statm: 604 277 235 161 0 43 0
[pid=21149] ppid=21143 vsize=13664 CPUtime=942.16
/proc/21149/stat : 21149 (minisat_static) R 21143 21143 20977 0 -1 4202496 3155 0 0 0 94194 22 0 0 25 0 1 0 1008622384 13991936 3068 4294967295 134512640 135216591 3217592368 3217590560 134528826 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21149/statm: 3416 3068 75 172 0 3243 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 16080
[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 24351
/proc/meminfo: memFree=1460140/2074464 swapFree=1951868/1959888
[pid=21143] ppid=21141 vsize=2416 CPUtime=0.13
/proc/21143/stat : 21143 (SatELiteGTI) S 21141 21143 20977 0 -1 4194304 385 1524 0 0 1 0 12 0 24 0 1 0 1008622371 2473984 277 4294967295 134512640 135169312 3216987968 3216984184 3085881070 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21143/statm: 604 277 235 161 0 43 0
[pid=21149] ppid=21143 vsize=14984 CPUtime=1002.16
/proc/21149/stat : 21149 (minisat_static) R 21143 21143 20977 0 -1 4202496 3486 0 0 0 100194 22 0 0 25 0 1 0 1008622384 15343616 3399 4294967295 134512640 135216591 3217592368 3217590272 134533136 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21149/statm: 3746 3399 75 172 0 3573 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 17400
[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 24542
/proc/meminfo: memFree=1460108/2074464 swapFree=1951868/1959888
[pid=21143] ppid=21141 vsize=2416 CPUtime=0.13
/proc/21143/stat : 21143 (SatELiteGTI) S 21141 21143 20977 0 -1 4194304 385 1524 0 0 1 0 12 0 24 0 1 0 1008622371 2473984 277 4294967295 134512640 135169312 3216987968 3216984184 3085881070 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21143/statm: 604 277 235 161 0 43 0
[pid=21149] ppid=21143 vsize=14984 CPUtime=1062.17
/proc/21149/stat : 21149 (minisat_static) R 21143 21143 20977 0 -1 4202496 3486 0 0 0 106195 22 0 0 25 0 1 0 1008622384 15343616 3399 4294967295 134512640 135216591 3217592368 3217590560 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21149/statm: 3746 3399 75 172 0 3573 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 17400
[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 24731
/proc/meminfo: memFree=1459696/2074464 swapFree=1951868/1959888
[pid=21143] ppid=21141 vsize=2416 CPUtime=0.13
/proc/21143/stat : 21143 (SatELiteGTI) S 21141 21143 20977 0 -1 4194304 385 1524 0 0 1 0 12 0 24 0 1 0 1008622371 2473984 277 4294967295 134512640 135169312 3216987968 3216984184 3085881070 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21143/statm: 604 277 235 161 0 43 0
[pid=21149] ppid=21143 vsize=14976 CPUtime=1122.17
/proc/21149/stat : 21149 (minisat_static) R 21143 21143 20977 0 -1 4202496 3486 0 0 0 112195 22 0 0 25 0 1 0 1008622384 15335424 3399 4294967295 134512640 135216591 3217592368 3217590560 134528948 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21149/statm: 3744 3399 75 172 0 3571 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 17392
[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 24917
/proc/meminfo: memFree=1460008/2074464 swapFree=1951868/1959888
[pid=21143] ppid=21141 vsize=2416 CPUtime=0.13
/proc/21143/stat : 21143 (SatELiteGTI) S 21141 21143 20977 0 -1 4194304 385 1524 0 0 1 0 12 0 24 0 1 0 1008622371 2473984 277 4294967295 134512640 135169312 3216987968 3216984184 3085881070 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21143/statm: 604 277 235 161 0 43 0
[pid=21149] ppid=21143 vsize=14972 CPUtime=1182.18
/proc/21149/stat : 21149 (minisat_static) R 21143 21143 20977 0 -1 4202496 3486 0 0 0 118196 22 0 0 25 0 1 0 1008622384 15331328 3399 4294967295 134512640 135216591 3217592368 3217590560 134528948 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21149/statm: 3743 3399 75 172 0 3570 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 17388
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 24920
/proc/meminfo: memFree=1460148/2074464 swapFree=1951868/1959888
[pid=21143] ppid=21141 vsize=2416 CPUtime=0.13
/proc/21143/stat : 21143 (SatELiteGTI) S 21141 21143 20977 0 -1 4194304 385 1524 0 0 1 0 12 0 24 0 1 0 1008622371 2473984 277 4294967295 134512640 135169312 3216987968 3216984184 3085881070 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/21143/statm: 604 277 235 161 0 43 0
[pid=21149] ppid=21143 vsize=14972 CPUtime=1199.88
/proc/21149/stat : 21149 (minisat_static) R 21143 21143 20977 0 -1 4202496 3486 0 0 0 119966 22 0 0 25 0 1 0 1008622384 15331328 3399 4294967295 134512640 135216591 3217592368 3217590560 134528894 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21149/statm: 3743 3399 75 172 0 3570 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 17388
Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1200.02
CPU time (s): 1200.02
CPU user time (s): 1199.79
CPU system time (s): 0.23
CPU usage (%): 99.9998
Max. virtual memory (cumulated for all children) (KiB): 17400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.79
system time used= 0.23
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5670
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= 32
involuntary context switches= 3236
runsolver used 0.01 second user time and 0 second system time
The end
Begin job on tipi10 at 2009-05-16 04:33:33
IDJOB=1820417
IDBENCH=20400
IDSOLVER=658
FILE ID=tipi10/1820417-1242441213
PBS_JOBID=
Free space on /tmp= 5621 MiB
SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT07/industrial/fuhs/hard/AProVE07-08.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820417-1242441213/watcher-1820417-1242441213 -o /tmp/evaluation-result-1820417-1242441213/solver-1820417-1242441213 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820417-1242441213.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 81ed5ec4a2e7c208a4184383f9e53838
RANDOM SEED= 1727084028
Linux tipi10 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1473992 kB
Buffers: 27592 kB
Cached: 484856 kB
SwapCached: 2896 kB
Active: 364028 kB
Inactive: 158540 kB
HighTotal: 1178688 kB
HighFree: 684916 kB
LowTotal: 895776 kB
LowFree: 789076 kB
SwapTotal: 1959888 kB
SwapFree: 1951868 kB
Dirty: 1836 kB
Writeback: 0 kB
AnonPages: 9412 kB
Mapped: 3216 kB
Slab: 68612 kB
PageTables: 472 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90592 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 5621 MiB
End job on tipi10 at 2009-05-16 04:53:33