0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 13600 95200 | 4079 0 0 nan | 0.000 % |
0.00/0.02 c ==============================================================================
0.00/0.02 c Result : #vars: 160 #clauses: 13600 #literals: 95200
0.00/0.02 c CPU time: 0.017997 s
0.00/0.02 c ==============================================================================
0.00/0.05 c This is MiniSat 2.0 beta
0.00/0.05 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05 c ============================[ Problem Statistics ]=============================
0.00/0.05 c | |
0.00/0.05 c | Number of variables: 160 |
0.00/0.05 c | Number of clauses: 13600 |
0.00/0.06 c | Parsing time: 0.01 s |
0.00/0.06 c ============================[ Search Statistics ]==============================
0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.06 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.06 c ===============================================================================
0.00/0.06 c | 0 | 160 13600 95200 | 4533 0 nan | 0.000 % |
0.00/0.07 c | 102 | 160 13600 95200 | 4533 102 47 | 0.004 % |
0.00/0.08 c | 203 | 160 13600 95200 | 4533 203 46 | 0.004 % |
0.00/0.09 c | 303 | 160 13600 95200 | 4533 303 46 | 0.004 % |
0.00/0.09 c | 413 | 160 13600 95200 | 4533 413 47 | 0.004 % |
0.04/0.10 c | 514 | 160 13600 95200 | 4533 514 47 | 0.004 % |
0.04/0.11 c | 624 | 160 13600 95200 | 4533 624 46 | 0.004 % |
0.04/0.12 c | 745 | 160 13600 95200 | 4533 745 47 | 0.004 % |
0.04/0.13 c | 845 | 160 13600 95200 | 4533 845 47 | 0.004 % |
0.04/0.14 c | 958 | 160 13600 95200 | 4533 958 47 | 0.004 % |
0.04/0.14 c | 1081 | 160 13600 95200 | 4533 1081 48 | 0.004 % |
0.04/0.15 c | 1215 | 160 13600 95200 | 4533 1215 48 | 0.004 % |
0.04/0.16 c | 1315 | 160 13600 95200 | 4533 1315 48 | 0.004 % |
0.04/0.17 c | 1425 | 160 13600 95200 | 4533 1425 48 | 0.004 % |
0.04/0.18 c | 1547 | 160 13600 95200 | 4533 1547 48 | 0.004 % |
0.04/0.19 c | 1682 | 160 13600 95200 | 4533 1682 48 | 0.004 % |
0.04/0.20 c | 1832 | 160 13600 95200 | 4533 1832 48 | 0.004 % |
0.04/0.21 c | 1935 | 160 13600 95200 | 4533 1935 48 | 0.004 % |
0.04/0.22 c | 2045 | 160 13600 95200 | 4533 2045 48 | 0.004 % |
0.04/0.23 c | 2166 | 160 13600 95200 | 4533 2166 48 | 0.004 % |
0.04/0.24 c | 2299 | 160 13600 95200 | 4533 2299 48 | 0.004 % |
0.04/0.25 c | 2445 | 160 13600 95200 | 4533 2445 48 | 0.004 % |
0.04/0.27 c | 2605 | 160 13600 95200 | 4533 2605 48 | 0.004 % |
0.04/0.27 c | 2706 | 160 13600 95200 | 4533 2706 48 | 0.004 % |
0.04/0.28 c | 2816 | 160 13600 95200 | 4533 2816 48 | 0.004 % |
0.04/0.30 c | 2938 | 160 13600 95200 | 4533 2938 48 | 0.004 % |
0.04/0.31 c | 3071 | 160 13600 95200 | 4533 3071 48 | 0.004 % |
0.04/0.32 c | 3219 | 160 13600 95200 | 4533 3219 48 | 0.004 % |
0.04/0.34 c | 3380 | 160 13600 95200 | 4533 3380 48 | 0.004 % |
0.04/0.35 c | 3556 | 160 13600 95200 | 4533 3556 48 | 0.004 % |
0.04/0.36 c | 3656 | 160 13600 95200 | 4533 3656 48 | 0.004 % |
0.04/0.37 c | 3769 | 160 13600 95200 | 4533 3769 48 | 0.004 % |
0.04/0.38 c | 3890 | 160 13600 95200 | 4533 3890 48 | 0.004 % |
0.04/0.39 c | 4023 | 160 13600 95200 | 4533 4023 48 | 0.004 % |
0.04/0.41 c | 4170 | 160 13600 95200 | 4533 4170 48 | 0.004 % |
0.04/0.42 c | 4330 | 160 13600 95200 | 4533 4330 48 | 0.004 % |
0.04/0.44 c | 4506 | 160 13600 95200 | 4533 4506 48 | 0.004 % |
0.04/0.46 c | 4699 | 160 13600 95200 | 4533 4238 47 | 0.004 % |
0.04/0.46 c | 4800 | 160 13600 95200 | 4533 4339 47 | 0.004 % |
0.04/0.48 c | 4911 | 160 13600 95200 | 4533 4450 47 | 0.004 % |
0.04/0.49 c | 5032 | 160 13600 95200 | 4533 4571 47 | 0.004 % |
0.04/0.50 c | 5165 | 160 13600 95200 | 4533 4247 47 | 0.004 % |
0.04/0.51 c | 5311 | 160 13600 95200 | 4533 4393 47 | 0.004 % |
0.04/0.53 c | 5472 | 160 13600 95200 | 4533 4554 47 | 0.004 % |
0.04/0.55 c | 5650 | 160 13600 95200 | 4533 4277 47 | 0.004 % |
0.04/0.57 c | 5843 | 160 13600 95200 | 4533 4470 47 | 0.004 % |
0.04/0.59 c | 6057 | 160 13600 95200 | 4533 4224 47 | 0.004 % |
0.04/0.60 c | 6159 | 160 13600 95200 | 4533 4326 47 | 0.004 % |
0.04/0.61 c | 6272 | 160 13600 95200 | 4533 4439 47 | 0.004 % |
0.04/0.62 c | 6393 | 160 13600 95200 | 4533 4560 47 | 0.004 % |
0.04/0.63 c | 6526 | 160 13600 95200 | 4533 4237 47 | 0.004 % |
0.04/0.65 c | 6672 | 160 13600 95200 | 4533 4383 47 | 0.004 % |
0.04/0.66 c | 6834 | 160 13600 95200 | 4533 4545 47 | 0.004 % |
0.04/0.68 c | 7010 | 160 13600 95200 | 4533 4267 47 | 0.004 % |
0.04/0.70 c | 7205 | 160 13600 95200 | 4533 4462 47 | 0.004 % |
0.04/0.72 c | 7417 | 160 13600 95200 | 4533 4213 47 | 0.004 % |
0.04/0.74 c | 7651 | 160 13600 95200 | 4533 4447 47 | 0.004 % |
0.04/0.75 c | 7752 | 160 13600 95200 | 4533 4548 47 | 0.004 % |
0.04/0.76 c | 7862 | 160 13600 95200 | 4533 4204 47 | 0.004 % |
0.04/0.77 c | 7983 | 160 13600 95200 | 4533 4325 47 | 0.004 % |
0.04/0.78 c | 8116 | 160 13600 95200 | 4533 4458 47 | 0.004 % |
0.04/0.80 c | 8262 | 160 13600 95200 | 4533 4604 47 | 0.004 % |
0.04/0.81 c | 8422 | 160 13600 95200 | 4533 4304 47 | 0.004 % |
0.04/0.83 c | 8598 | 160 13600 95200 | 4533 4480 47 | 0.004 % |
0.04/0.85 c | 8792 | 160 13600 95200 | 4533 4213 47 | 0.004 % |
0.04/0.87 c | 9006 | 160 13600 95200 | 4533 4427 47 | 0.004 % |
0.04/0.90 c | 9239 | 160 13600 95200 | 4533 4200 47 | 0.004 % |
0.04/0.92 c | 9496 | 160 13600 95200 | 4533 4457 47 | 0.004 % |
0.04/0.93 c | 9596 | 160 13600 95200 | 4533 4557 47 | 0.004 % |
0.04/0.94 c | 9709 | 160 13600 95200 | 4533 4215 47 | 0.004 % |
0.04/0.95 c | 9832 | 160 13600 95200 | 4533 4338 47 | 0.004 % |
0.04/0.97 c | 9965 | 160 13600 95200 | 4533 4471 47 | 0.004 % |
0.04/0.98 c | 10112 | 160 13600 95200 | 2147483647 4618 47 | 0.004 % |
0.99/1.00 c | 10273 | 160 13600 95200 | 2147483647 4779 47 | 0.004 % |
0.99/1.01 c | 10451 | 160 13600 95200 | 2147483647 4957 47 | 0.004 % |
0.99/1.03 c | 10644 | 160 13600 95200 | 2147483647 5150 47 | 0.004 % |
0.99/1.06 c | 10856 | 160 13600 95200 | 2147483647 5362 47 | 0.004 % |
0.99/1.08 c | 11089 | 160 13600 95200 | 2147483647 5595 47 | 0.004 % |
1.09/1.11 c | 11345 | 160 13600 95200 | 2147483647 5851 47 | 0.004 % |
1.09/1.13 c | 11628 | 160 13600 95200 | 2147483647 6134 47 | 0.004 % |
1.09/1.14 c | 11729 | 160 13600 95200 | 2147483647 6235 47 | 0.004 % |
1.09/1.16 c | 11839 | 160 13600 95200 | 2147483647 6345 47 | 0.004 % |
1.09/1.17 c | 11960 | 160 13600 95200 | 2147483647 6466 47 | 0.004 % |
1.09/1.18 c | 12093 | 160 13600 95200 | 2147483647 6599 47 | 0.004 % |
1.18/1.20 c | 12241 | 160 13600 95200 | 2147483647 6747 47 | 0.004 % |
1.18/1.22 c | 12402 | 160 13600 95200 | 2147483647 6908 47 | 0.004 % |
1.18/1.24 c | 12579 | 160 13600 95200 | 2147483647 7085 47 | 0.004 % |
1.18/1.26 c | 12773 | 160 13600 95200 | 2147483647 7279 47 | 0.004 % |
1.18/1.28 c | 12986 | 160 13600 95200 | 2147483647 7492 47 | 0.004 % |
1.28/1.31 c | 13219 | 160 13600 95200 | 2147483647 7725 47 | 0.004 % |
1.28/1.34 c | 13475 | 160 13600 95200 | 2147483647 7981 47 | 0.004 % |
1.28/1.37 c | 13757 | 160 13600 95200 | 2147483647 8263 47 | 0.004 % |
1.38/1.41 c | 14066 | 160 13600 95200 | 2147483647 8572 47 | 0.004 % |
1.38/1.42 c | 14166 | 160 13600 95200 | 2147483647 8672 47 | 0.004 % |
1.38/1.44 c | 14276 | 160 13600 95200 | 2147483647 8782 47 | 0.004 % |
1.38/1.45 c | 14397 | 160 13600 95200 | 2147483647 8903 47 | 0.004 % |
1.38/1.47 c | 14531 | 160 13600 95200 | 2147483647 9037 47 | 0.004 % |
1.38/1.49 c | 14677 | 160 13600 95200 | 2147483647 9183 47 | 0.004 % |
1.48/1.51 c | 14839 | 160 13600 95200 | 2147483647 9345 47 | 0.004 % |
1.48/1.53 c | 15015 | 160 13600 95200 | 2147483647 9521 47 | 0.004 % |
1.48/1.56 c | 15208 | 160 13600 95200 | 2147483647 9714 47 | 0.004 % |
1.48/1.58 c | 15420 | 160 13600 95200 | 2147483647 9926 47 | 0.004 % |
1.58/1.62 c | 15654 | 160 13600 95200 | 2147483647 10160 47 | 0.004 % |
1.58/1.65 c | 15910 | 160 13600 95200 | 2147483647 10416 47 | 0.004 % |
1.58/1.69 c | 16192 | 160 13600 95200 | 2147483647 10698 47 | 0.004 % |
1.68/1.73 c | 16502 | 160 13600 95200 | 2147483647 11008 47 | 0.004 % |
1.68/1.77 c | 16841 | 160 13600 95200 | 2147483647 11347 47 | 0.004 % |
1.68/1.79 c | 16941 | 160 13600 95200 | 2147483647 11447 47 | 0.004 % |
1.78/1.81 c | 17053 | 160 13600 95200 | 2147483647 11559 47 | 0.004 % |
1.78/1.83 c | 17174 | 160 13600 95200 | 2147483647 11680 47 | 0.004 % |
1.78/1.85 c | 17307 | 160 13600 95200 | 2147483647 11813 47 | 0.004 % |
1.78/1.87 c | 17453 | 160 13600 95200 | 2147483647 11959 47 | 0.004 % |
1.78/1.89 c | 17613 | 160 13600 95200 | 2147483647 12119 47 | 0.004 % |
1.88/1.92 c | 17790 | 160 13600 95200 | 2147483647 12296 47 | 0.004 % |
1.88/1.94 c | 17984 | 160 13600 95200 | 2147483647 12490 47 | 0.004 % |
1.88/1.98 c | 18196 | 160 13600 95200 | 2147483647 12702 48 | 0.004 % |
1.98/2.02 c | 18431 | 160 13600 95200 | 2147483647 12937 48 | 0.004 % |
1.98/2.06 c | 18688 | 160 13600 95200 | 2147483647 13194 48 | 0.004 % |
2.08/2.10 c | 18969 | 160 13600 95200 | 2147483647 13475 48 | 0.004 % |
2.08/2.15 c | 19278 | 160 13600 95200 | 2147483647 13784 48 | 0.004 % |
2.18/2.21 c | 19618 | 160 13600 95200 | 2147483647 14124 48 | 0.004 % |
2.18/2.27 c | 19990 | 160 13600 95200 | 2147483647 14496 48 | 0.004 % |
2.18/2.28 c | 20090 | 160 13600 95200 | 2147483647 14596 48 | 0.004 % |
2.28/2.31 c | 20203 | 160 13600 95200 | 2147483647 14709 48 | 0.004 % |
2.28/2.34 c | 20326 | 160 13600 95200 | 2147483647 14832 48 | 0.004 % |
2.28/2.36 c | 20460 | 160 13600 95200 | 2147483647 14966 48 | 0.004 % |
2.28/2.39 c | 20607 | 160 13600 95200 | 2147483647 15113 48 | 0.004 % |
2.38/2.42 c | 20768 | 160 13600 95200 | 2147483647 15274 48 | 0.004 % |
2.38/2.45 c | 20944 | 160 13600 95200 | 2147483647 15450 48 | 0.004 % |
2.38/2.49 c | 21140 | 160 13600 95200 | 2147483647 15646 48 | 0.004 % |
2.48/2.53 c | 21353 | 160 13600 95200 | 2147483647 15859 48 | 0.004 % |
2.48/2.57 c | 21587 | 160 13600 95200 | 2147483647 16093 48 | 0.004 % |
2.58/2.62 c | 21846 | 160 13600 95200 | 2147483647 16352 48 | 0.004 % |
2.58/2.68 c | 22127 | 160 13600 95200 | 2147483647 16633 48 | 0.004 % |
2.68/2.74 c | 22438 | 160 13600 95200 | 2147483647 16944 48 | 0.004 % |
2.77/2.81 c | 22777 | 160 13600 95200 | 2147483647 17283 48 | 0.004 % |
2.77/2.88 c | 23149 | 160 13600 95200 | 2147483647 17655 48 | 0.004 % |
2.87/2.97 c | 23559 | 160 13600 95200 | 2147483647 18065 48 | 0.004 % |
2.97/3.00 c | 23659 | 160 13600 95200 | 2147483647 18165 48 | 0.004 % |
2.97/3.02 c | 23770 | 160 13600 95200 | 2147483647 18276 48 | 0.004 % |
2.97/3.05 c | 23892 | 160 13600 95200 | 2147483647 18398 48 | 0.004 % |
2.97/3.09 c | 24026 | 160 13600 95200 | 2147483647 18532 48 | 0.004 % |
3.07/3.12 c | 24172 | 160 13600 95200 | 2147483647 18678 48 | 0.004 % |
3.07/3.16 c | 24333 | 160 13600 95200 | 2147483647 18839 48 | 0.004 % |
3.18/3.20 c | 24509 | 160 13600 95200 | 2147483647 19015 48 | 0.004 % |
3.18/3.25 c | 24702 | 160 13600 95200 | 2147483647 19208 48 | 0.004 % |
3.18/3.29 c | 24915 | 160 13600 95200 | 2147483647 19421 48 | 0.004 % |
3.28/3.34 c | 25148 | 160 13600 95200 | 2147483647 19654 48 | 0.004 % |
3.37/3.40 c | 25405 | 160 13600 95200 | 2147483647 19911 48 | 0.004 % |
3.37/3.46 c | 25687 | 160 13600 95200 | 2147483647 20193 48 | 0.004 % |
3.48/3.53 c | 25996 | 160 13600 95200 | 2147483647 20502 48 | 0.004 % |
3.58/3.61 c | 26336 | 160 13600 95200 | 2147483647 20842 48 | 0.004 % |
3.68/3.70 c | 26712 | 160 13600 95200 | 2147483647 21218 48 | 0.004 % |
3.78/3.80 c | 27122 | 160 13600 95200 | 2147483647 21628 48 | 0.004 % |
3.88/3.90 c | 27571 | 160 13600 95200 | 2147483647 22077 48 | 0.004 % |
3.88/3.94 c | 27671 | 160 13600 95200 | 2147483647 22177 48 | 0.004 % |
3.88/3.97 c | 27781 | 160 13600 95200 | 2147483647 22287 48 | 0.004 % |
3.98/4.00 c | 27902 | 160 13600 95200 | 2147483647 22408 48 | 0.004 % |
3.98/4.03 c | 28035 | 160 13600 95200 | 2147483647 22541 48 | 0.004 % |
3.98/4.08 c | 28181 | 160 13600 95200 | 2147483647 22687 48 | 0.004 % |
4.08/4.12 c | 28343 | 160 13600 95200 | 2147483647 22849 48 | 0.004 % |
4.08/4.16 c | 28520 | 160 13600 95200 | 2147483647 23026 48 | 0.004 % |
4.18/4.23 c | 28716 | 160 13600 95200 | 2147483647 23222 48 | 0.004 % |
4.18/4.29 c | 28929 | 160 13600 95200 | 2147483647 23435 48 | 0.004 % |
4.28/4.36 c | 29163 | 160 13600 95200 | 2147483647 23669 48 | 0.004 % |
4.38/4.43 c | 29420 | 160 13600 95200 | 2147483647 23926 48 | 0.004 % |
4.48/4.51 c | 29702 | 160 13600 95200 | 2147483647 24208 48 | 0.004 % |
4.48/4.59 c | 30012 | 160 13600 95200 | 2147483647 24518 48 | 0.004 % |
4.58/4.70 c | 30351 | 160 13600 95200 | 2147483647 24857 48 | 0.004 % |
4.78/4.81 c | 30725 | 160 13600 95200 | 2147483647 25231 48 | 0.004 % |
4.88/4.92 c | 31134 | 160 13600 95200 | 2147483647 25640 48 | 0.004 % |
4.98/5.05 c | 31587 | 160 13600 95200 | 2147483647 26093 48 | 0.004 % |
5.18/5.21 c | 32080 | 160 13600 95200 | 2147483647 26586 48 | 0.004 % |
5.18/5.25 c | 32180 | 160 13600 95200 | 2147483647 26686 48 | 0.004 % |
5.18/5.29 c | 32292 | 160 13600 95200 | 2147483647 26798 48 | 0.004 % |
5.28/5.33 c | 32413 | 160 13600 95200 | 2147483647 26919 48 | 0.004 % |
5.28/5.37 c | 32549 | 160 13600 95200 | 2147483647 27055 48 | 0.004 % |
5.38/5.42 c | 32695 | 160 13600 95200 | 2147483647 27201 48 | 0.004 % |
5.38/5.47 c | 32855 | 160 13600 95200 | 2147483647 27361 48 | 0.004 % |
5.48/5.54 c | 33031 | 160 13600 95200 | 2147483647 27537 48 | 0.004 % |
5.57/5.60 c | 33224 | 160 13600 95200 | 2147483647 27730 48 | 0.004 % |
5.57/5.68 c | 33436 | 160 13600 95200 | 2147483647 27942 48 | 0.004 % |
5.67/5.75 c | 33670 | 160 13600 95200 | 2147483647 28176 48 | 0.004 % |
5.77/5.83 c | 33926 | 160 13600 95200 | 2147483647 28432 48 | 0.004 % |
5.87/5.93 c | 34208 | 160 13600 95200 | 2147483647 28714 48 | 0.004 % |
5.97/6.03 c | 34519 | 160 13600 95200 | 2147483647 29025 48 | 0.004 % |
6.07/6.15 c | 34859 | 160 13600 95200 | 2147483647 29365 48 | 0.004 % |
6.17/6.27 c | 35232 | 160 13600 95200 | 2147483647 29738 48 | 0.004 % |
6.37/6.41 c | 35642 | 160 13600 95200 | 2147483647 30148 48 | 0.004 % |
6.48/6.55 c | 36091 | 160 13600 95200 | 2147483647 30597 48 | 0.004 % |
6.68/6.73 c | 36584 | 160 13600 95200 | 2147483647 31090 48 | 0.004 % |
6.88/6.93 c | 37127 | 160 13600 95200 | 2147483647 31633 48 | 0.004 % |
6.88/6.97 c | 37228 | 160 13600 95200 | 2147483647 31734 48 | 0.004 % |
6.98/7.01 c | 37338 | 160 13600 95200 | 2147483647 31844 48 | 0.004 % |
6.98/7.05 c | 37461 | 160 13600 95200 | 2147483647 31967 48 | 0.004 % |
7.08/7.10 c | 37596 | 160 13600 95200 | 2147483647 32102 48 | 0.004 % |
7.08/7.17 c | 37743 | 160 13600 95200 | 2147483647 32249 48 | 0.004 % |
7.18/7.23 c | 37904 | 160 13600 95200 | 2147483647 32410 48 | 0.004 % |
7.28/7.30 c | 38082 | 160 13600 95200 | 2147483647 32588 48 | 0.004 % |
7.28/7.38 c | 38275 | 160 13600 95200 | 2147483647 32781 48 | 0.004 % |
7.38/7.46 c | 38489 | 160 13600 95200 | 2147483647 32995 48 | 0.004 % |
7.48/7.56 c | 38722 | 160 13600 95200 | 2147483647 33228 48 | 0.004 % |
7.58/7.65 c | 38978 | 160 13600 95200 | 2147483647 33484 48 | 0.004 % |
7.68/7.75 c | 39259 | 160 13600 95200 | 2147483647 33765 48 | 0.004 % |
7.78/7.86 c | 39570 | 160 13600 95200 | 2147483647 34076 48 | 0.004 % |
7.98/8.03 c | 39911 | 160 13600 95200 | 2147483647 34417 48 | 0.004 % |
8.08/8.17 c | 40284 | 160 13600 95200 | 2147483647 34790 48 | 0.004 % |
8.28/8.33 c | 40693 | 160 13600 95200 | 2147483647 35199 48 | 0.004 % |
8.48/8.52 c | 41143 | 160 13600 95200 | 2147483647 35649 48 | 0.004 % |
8.68/8.71 c | 41637 | 160 13600 95200 | 2147483647 36143 48 | 0.004 % |
8.88/8.92 c | 42179 | 160 13600 95200 | 2147483647 36685 48 | 0.004 % |
9.08/9.15 c | 42776 | 160 13600 95200 | 2147483647 37282 48 | 0.004 % |
9.18/9.20 c | 42877 | 160 13600 95200 | 2147483647 37383 48 | 0.004 % |
9.18/9.24 c | 42987 | 160 13600 95200 | 2147483647 37493 48 | 0.004 % |
9.18/9.29 c | 43110 | 160 13600 95200 | 2147483647 37616 48 | 0.004 % |
9.28/9.35 c | 43244 | 160 13600 95200 | 2147483647 37750 48 | 0.004 % |
9.38/9.41 c | 43390 | 160 13600 95200 | 2147483647 37896 48 | 0.004 % |
9.38/9.48 c | 43552 | 160 13600 95200 | 2147483647 38058 48 | 0.004 % |
9.48/9.58 c | 43728 | 160 13600 95200 | 2147483647 38234 48 | 0.004 % |
9.58/9.67 c | 43921 | 160 13600 95200 | 2147483647 38427 48 | 0.004 % |
9.68/9.78 c | 44135 | 160 13600 95200 | 2147483647 38641 48 | 0.004 % |
9.78/9.88 c | 44369 | 160 13600 95200 | 2147483647 38875 48 | 0.004 % |
9.88/9.98 c | 44626 | 160 13600 95200 | 2147483647 39132 48 | 0.004 % |
10.08/10.11 c | 44908 | 160 13600 95200 | 2147483647 39414 48 | 0.004 % |
10.18/10.24 c | 45218 | 160 13600 95200 | 2147483647 39724 48 | 0.004 % |
10.28/10.37 c | 45558 | 160 13600 95200 | 2147483647 40064 48 | 0.004 % |
10.48/10.57 c | 45930 | 160 13600 95200 | 2147483647 40436 48 | 0.004 % |
10.68/10.76 c | 46339 | 160 13600 95200 | 2147483647 40845 48 | 0.004 % |
10.88/10.99 c | 46788 | 160 13600 95200 | 2147483647 41294 48 | 0.004 % |
11.18/11.22 c | 47282 | 160 13600 95200 | 2147483647 41788 48 | 0.004 % |
11.38/11.47 c | 47824 | 160 13600 95200 | 2147483647 42330 48 | 0.004 % |
11.67/11.75 c | 48420 | 160 13600 95200 | 2147483647 42926 48 | 0.004 % |
11.98/12.03 c | 49075 | 160 13600 95200 | 2147483647 43581 48 | 0.004 % |
11.98/12.09 c | 49176 | 160 13600 95200 | 2147483647 43682 48 | 0.004 % |
12.08/12.15 c | 49286 | 160 13600 95200 | 2147483647 43792 48 | 0.004 % |
12.17/12.21 c | 49408 | 160 13600 95200 | 2147483647 43914 48 | 0.004 % |
12.17/12.28 c | 49543 | 160 13600 95200 | 2147483647 44049 48 | 0.004 % |
12.27/12.37 c | 49689 | 160 13600 95200 | 2147483647 44195 48 | 0.004 % |
12.37/12.45 c | 49850 | 160 13600 95200 | 2147483647 44356 48 | 0.004 % |
12.47/12.55 c | 50026 | 160 13600 95200 | 2147483647 44532 48 | 0.004 % |
12.57/12.66 c | 50219 | 160 13600 95200 | 2147483647 44725 48 | 0.004 % |
12.67/12.78 c | 50431 | 160 13600 95200 | 2147483647 44937 48 | 0.004 % |
12.87/12.90 c | 50665 | 160 13600 95200 | 2147483647 45171 48 | 0.004 % |
12.97/13.04 c | 50922 | 160 13600 95200 | 2147483647 45428 48 | 0.004 % |
13.08/13.19 c | 51203 | 160 13600 95200 | 2147483647 45709 48 | 0.004 % |
13.27/13.34 c | 51512 | 160 13600 95200 | 2147483647 46018 48 | 0.004 % |
13.47/13.54 c | 51852 | 160 13600 95200 | 2147483647 46358 48 | 0.004 % |
13.67/13.75 c | 52224 | 160 13600 95200 | 2147483647 46730 48 | 0.004 % |
13.87/13.95 c | 52634 | 160 13600 95200 | 2147483647 47140 48 | 0.004 % |
14.07/14.18 c | 53084 | 160 13600 95200 | 2147483647 47590 48 | 0.004 % |
14.37/14.45 c | 53580 | 160 13600 95200 | 2147483647 48086 48 | 0.004 % |
14.67/14.79 c | 54123 | 160 13600 95200 | 2147483647 48629 48 | 0.004 % |
15.07/15.15 c | 54719 | 160 13600 95200 | 2147483647 49225 48 | 0.004 % |
15.47/15.54 c | 55374 | 160 13600 95200 | 2147483647 49880 48 | 0.004 % |
15.87/15.94 c | 56094 | 160 13600 95200 | 2147483647 50600 48 | 0.004 % |
15.97/16.02 c | 56195 | 160 13600 95200 | 2147483647 50701 48 | 0.004 % |
15.97/16.08 c | 56306 | 160 13600 95200 | 2147483647 50812 48 | 0.004 % |
16.07/16.16 c | 56429 | 160 13600 95200 | 2147483647 50935 48 | 0.004 % |
16.17/16.25 c | 56564 | 160 13600 95200 | 2147483647 51070 48 | 0.004 % |
16.27/16.36 c | 56710 | 160 13600 95200 | 2147483647 51216 48 | 0.004 % |
16.37/16.49 c | 56872 | 160 13600 95200 | 2147483647 51378 48 | 0.004 % |
16.47/16.59 c | 57048 | 160 13600 95200 | 2147483647 51554 48 | 0.004 % |
16.67/16.72 c | 57242 | 160 13600 95200 | 2147483647 51748 48 | 0.004 % |
16.78/16.85 c | 57455 | 160 13600 95200 | 2147483647 51961 48 | 0.004 % |
16.98/17.01 c | 57688 | 160 13600 95200 | 2147483647 52194 48 | 0.004 % |
17.08/17.19 c | 57944 | 160 13600 95200 | 2147483647 52450 48 | 0.004 % |
17.28/17.37 c | 58225 | 160 13600 95200 | 2147483647 52731 48 | 0.004 % |
17.48/17.58 c | 58534 | 160 13600 95200 | 2147483647 53040 48 | 0.004 % |
17.78/17.83 c | 58873 | 160 13600 95200 | 2147483647 53379 48 | 0.004 % |
17.98/18.05 c | 59247 | 160 13600 95200 | 2147483647 53753 48 | 0.004 % |
18.28/18.30 c | 59657 | 160 13600 95200 | 2147483647 54163 48 | 0.004 % |
18.48/18.58 c | 60106 | 160 13600 95200 | 2147483647 54612 48 | 0.004 % |
18.78/18.89 c | 60599 | 160 13600 95200 | 2147483647 55105 48 | 0.004 % |
19.17/19.29 c | 61142 | 160 13600 95200 | 2147483647 55648 48 | 0.004 % |
19.58/19.68 c | 61739 | 160 13600 95200 | 2147483647 56245 48 | 0.004 % |
19.97/20.09 c | 62394 | 160 13600 95200 | 2147483647 56900 48 | 0.004 % |
20.47/20.53 c | 63114 | 160 13600 95200 | 2147483647 57620 48 | 0.004 % |
20.97/21.00 c | 63906 | 160 13600 95200 | 2147483647 58412 48 | 0.004 % |
20.97/21.07 c | 64007 | 160 13600 95200 | 2147483647 58513 48 | 0.004 % |
21.07/21.18 c | 64117 | 160 13600 95200 | 2147483647 58623 48 | 0.004 % |
21.17/21.26 c | 64239 | 160 13600 95200 | 2147483647 58745 48 | 0.004 % |
21.27/21.37 c | 64373 | 160 13600 95200 | 2147483647 58879 48 | 0.004 % |
21.37/21.47 c | 64519 | 160 13600 95200 | 2147483647 59025 48 | 0.004 % |
21.57/21.62 c | 64679 | 160 13600 95200 | 2147483647 59185 48 | 0.004 % |
21.67/21.77 c | 64857 | 160 13600 95200 | 2147483647 59363 48 | 0.004 % |
21.87/21.92 c | 65050 | 160 13600 95200 | 2147483647 59556 48 | 0.004 % |
21.97/22.09 c | 65262 | 160 13600 95200 | 2147483647 59768 48 | 0.004 % |
22.17/22.28 c | 65497 | 160 13600 95200 | 2147483647 60003 48 | 0.004 % |
22.37/22.47 c | 65753 | 160 13600 95200 | 2147483647 60259 48 | 0.004 % |
22.57/22.64 c | 66034 | 160 13600 95200 | 2147483647 60540 48 | 0.004 % |
22.77/22.87 c | 66344 | 160 13600 95200 | 2147483647 60850 48 | 0.004 % |
23.07/23.12 c | 66686 | 160 13600 95200 | 2147483647 61192 48 | 0.004 % |
23.27/23.38 c | 67059 | 160 13600 95200 | 2147483647 61565 48 | 0.004 % |
23.67/23.71 c | 67468 | 160 13600 95200 | 2147483647 61974 48 | 0.004 % |
23.97/24.03 c | 67917 | 160 13600 95200 | 2147483647 62423 48 | 0.004 % |
24.37/24.40 c | 68411 | 160 13600 95200 | 2147483647 62917 48 | 0.004 % |
24.67/24.78 c | 68954 | 160 13600 95200 | 2147483647 63460 48 | 0.004 % |
25.07/25.17 c | 69551 | 160 13600 95200 | 2147483647 64057 48 | 0.004 % |
25.66/25.73 c | 70206 | 160 13600 95200 | 64508 57382 48 | 0.004 % |
26.06/26.18 c | 70926 | 160 13600 95200 | 64508 58102 48 | 0.004 % |
26.56/26.69 c | 71720 | 160 13600 95200 | 64508 58896 48 | 0.004 % |
27.16/27.21 c | 72593 | 160 13600 95200 | 64508 59769 48 | 0.004 % |
27.26/27.30 c | 72693 | 160 13600 95200 | 64508 59869 48 | 0.004 % |
27.26/27.38 c | 72804 | 160 13600 95200 | 64508 59980 48 | 0.004 % |
27.37/27.48 c | 72927 | 160 13600 95200 | 64508 60103 48 | 0.004 % |
27.47/27.58 c | 73062 | 160 13600 95200 | 64508 60238 48 | 0.004 % |
27.66/27.72 c | 73209 | 160 13600 95200 | 64508 60385 48 | 0.004 % |
27.76/27.85 c | 73369 | 160 13600 95200 | 64508 60545 48 | 0.004 % |
27.86/27.97 c | 73546 | 160 13600 95200 | 64508 60722 48 | 0.004 % |
28.06/28.15 c | 73741 | 160 13600 95200 | 64508 60917 48 | 0.004 % |
28.26/28.32 c | 73953 | 160 13600 95200 | 64508 61129 48 | 0.004 % |
28.47/28.50 c | 74186 | 160 13600 95200 | 64508 61362 48 | 0.004 % |
28.57/28.68 c | 74443 | 160 13600 95200 | 64508 61619 48 | 0.004 % |
28.86/28.90 c | 74727 | 160 13600 95200 | 64508 61903 48 | 0.004 % |
29.06/29.10 c | 75037 | 160 13600 95200 | 64508 62213 48 | 0.004 % |
29.26/29.38 c | 75377 | 160 13600 95200 | 64508 62553 48 | 0.004 % |
29.57/29.69 c | 75749 | 160 13600 95200 | 64508 62925 48 | 0.004 % |
29.86/29.97 c | 76158 | 160 13600 95200 | 64508 63334 48 | 0.004 % |
30.16/30.27 c | 76609 | 160 13600 95200 | 64508 63785 48 | 0.004 % |
30.56/30.62 c | 77102 | 160 13600 95200 | 64508 64278 48 | 0.004 % |
30.96/31.00 c | 77644 | 160 13600 95200 | 64508 56070 49 | 0.004 % |
31.26/31.36 c | 78243 | 160 13600 95200 | 64508 56669 49 | 0.004 % |
31.66/31.78 c | 78898 | 160 13600 95200 | 64508 57324 49 | 0.004 % |
32.16/32.24 c | 79619 | 160 13600 95200 | 64508 58045 48 | 0.004 % |
32.66/32.73 c | 80411 | 160 13600 95200 | 58427 51363 49 | 0.004 % |
33.06/33.19 c | 81282 | 160 13600 95200 | 58427 52234 49 | 0.004 % |
33.66/33.72 c | 82240 | 160 13600 95200 | 58427 53192 49 | 0.004 % |
33.66/33.78 c | 82342 | 160 13600 95200 | 58427 53294 49 | 0.004 % |
33.76/33.84 c | 82453 | 160 13600 95200 | 58427 53405 49 | 0.004 % |
33.86/33.91 c | 82574 | 160 13600 95200 | 58427 53526 49 | 0.004 % |
33.96/34.04 c | 82707 | 160 13600 95200 | 58427 53659 49 | 0.004 % |
34.06/34.15 c | 82853 | 160 13600 95200 | 58427 53805 49 | 0.004 % |
34.16/34.25 c | 83013 | 160 13600 95200 | 58427 53965 49 | 0.004 % |
34.26/34.38 c | 83189 | 160 13600 95200 | 58427 54141 49 | 0.004 % |
34.46/34.52 c | 83382 | 160 13600 95200 | 58427 54334 49 | 0.004 % |
34.56/34.65 c | 83594 | 160 13600 95200 | 58427 54546 49 | 0.004 % |
34.76/34.84 c | 83827 | 160 13600 95200 | 58427 54779 49 | 0.004 % |
34.96/35.03 c | 84084 | 160 13600 95200 | 58427 55036 49 | 0.004 % |
35.17/35.23 c | 84366 | 160 13600 95200 | 58427 55318 49 | 0.004 % |
35.36/35.44 c | 84677 | 160 13600 95200 | 58427 55629 49 | 0.004 % |
35.56/35.66 c | 85017 | 160 13600 95200 | 58427 55969 49 | 0.004 % |
35.86/35.91 c | 85391 | 160 13600 95200 | 58427 56343 49 | 0.004 % |
36.06/36.19 c | 85800 | 160 13600 95200 | 58427 56752 49 | 0.004 % |
36.36/36.49 c | 86251 | 160 13600 95200 | 58427 57203 49 | 0.004 % |
36.76/36.80 c | 86745 | 160 13600 95200 | 58427 57697 49 | 0.004 % |
37.06/37.12 c | 87287 | 160 13600 95200 | 58427 58239 49 | 0.004 % |
37.36/37.47 c | 87883 | 160 13600 95200 | 58427 52270 49 | 0.004 % |
37.75/37.84 c | 88538 | 160 13600 95200 | 58427 52925 49 | 0.004 % |
38.25/38.33 c | 89258 | 160 13600 95200 | 58427 53645 49 | 0.004 % |
38.75/38.80 c | 90052 | 160 13600 95200 | 54387 54439 49 | 0.004 % |
39.25/39.36 c | 90924 | 160 13600 95200 | 54387 49519 49 | 0.004 % |
39.85/39.93 c | 91884 | 160 13600 95200 | 54387 50479 49 | 0.004 % |
40.45/40.54 c | 92939 | 160 13600 95200 | 54387 51534 49 | 0.004 % |
40.55/40.61 c | 93039 | 160 13600 95200 | 54387 51634 49 | 0.004 % |
40.65/40.70 c | 93149 | 160 13600 95200 | 54387 51744 49 | 0.004 % |
40.65/40.78 c | 93270 | 160 13600 95200 | 54387 51865 49 | 0.004 % |
40.75/40.86 c | 93403 | 160 13600 95200 | 54387 51998 49 | 0.004 % |
40.85/40.96 c | 93551 | 160 13600 95200 | 54387 52146 49 | 0.004 % |
40.95/41.08 c | 93711 | 160 13600 95200 | 54387 52306 49 | 0.004 % |
41.05/41.19 c | 93888 | 160 13600 95200 | 54387 52483 49 | 0.004 % |
41.25/41.30 c | 94083 | 160 13600 95200 | 54387 52678 49 | 0.004 % |
41.35/41.45 c | 94296 | 160 13600 95200 | 54387 52891 49 | 0.004 % |
41.45/41.59 c | 94529 | 160 13600 95200 | 54387 53124 49 | 0.004 % |
41.65/41.77 c | 94786 | 160 13600 95200 | 54387 53381 49 | 0.004 % |
41.85/41.97 c | 95068 | 160 13600 95200 | 54387 53663 49 | 0.004 % |
42.05/42.18 c | 95382 | 160 13600 95200 | 54387 53977 49 | 0.004 % |
42.35/42.40 c | 95721 | 160 13600 95200 | 54387 54316 49 | 0.004 % |
42.55/42.66 c | 96095 | 160 13600 95200 | 54387 49245 49 | 0.004 % |
42.85/42.91 c | 96504 | 160 13600 95200 | 54387 49654 49 | 0.004 % |
43.05/43.19 c | 96953 | 160 13600 95200 | 54387 50103 49 | 0.004 % |
43.35/43.47 c | 97446 | 160 13600 95200 | 54387 50596 49 | 0.004 % |
43.65/43.77 c | 97991 | 160 13600 95200 | 54387 51141 49 | 0.004 % |
44.05/44.13 c | 98587 | 160 13600 95200 | 54387 51737 48 | 0.004 % |
44.45/44.58 c | 99242 | 160 13600 95200 | 54387 52392 48 | 0.004 % |
44.85/45.00 c | 99963 | 160 13600 95200 | 54387 53113 49 | 0.004 % |
45.35/45.45 c | 100757 | 160 13600 95200 | 2147483647 53907 49 | 0.004 % |
45.85/45.97 c | 101629 | 160 13600 95200 | 2147483647 54779 49 | 0.004 % |
46.35/46.47 c | 102588 | 160 13600 95200 | 2147483647 55738 49 | 0.004 % |
47.15/47.27 c | 103641 | 160 13600 95200 | 2147483647 56791 49 | 0.004 % |
48.05/48.10 c | 104802 | 160 13600 95200 | 2147483647 57952 49 | 0.004 % |
48.05/48.18 c | 104903 | 160 13600 95200 | 2147483647 58053 49 | 0.004 % |
48.15/48.25 c | 105014 | 160 13600 95200 | 2147483647 58164 49 | 0.004 % |
48.25/48.36 c | 105137 | 160 13600 95200 | 2147483647 58287 49 | 0.004 % |
48.35/48.47 c | 105270 | 160 13600 95200 | 2147483647 58420 49 | 0.004 % |
48.45/48.58 c | 105418 | 160 13600 95200 | 2147483647 58568 49 | 0.004 % |
48.65/48.70 c | 105579 | 160 13600 95200 | 2147483647 58729 49 | 0.004 % |
48.75/48.85 c | 105755 | 160 13600 95200 | 2147483647 58905 49 | 0.004 % |
48.85/48.99 c | 105949 | 160 13600 95200 | 2147483647 59099 49 | 0.004 % |
49.05/49.14 c | 106161 | 160 13600 95200 | 2147483647 59311 49 | 0.004 % |
49.15/49.30 c | 106394 | 160 13600 95200 | 2147483647 59544 49 | 0.004 % |
49.35/49.46 c | 106651 | 160 13600 95200 | 2147483647 59801 49 | 0.004 % |
49.55/49.67 c | 106932 | 160 13600 95200 | 2147483647 60082 49 | 0.004 % |
49.75/49.88 c | 107242 | 160 13600 95200 | 2147483647 60392 49 | 0.004 % |
50.05/50.11 c | 107581 | 160 13600 95200 | 2147483647 60731 49 | 0.004 % |
50.35/50.41 c | 107954 | 160 13600 95200 | 2147483647 61104 49 | 0.004 % |
50.65/50.71 c | 108364 | 160 13600 95200 | 2147483647 61514 49 | 0.004 % |
50.95/51.05 c | 108815 | 160 13600 95200 | 2147483647 61965 49 | 0.004 % |
51.25/51.39 c | 109309 | 160 13600 95200 | 2147483647 62459 49 | 0.004 % |
51.65/51.74 c | 109851 | 160 13600 95200 | 2147483647 63001 49 | 0.004 % |
52.05/52.14 c | 110447 | 160 13600 95200 | 63150 56273 48 | 0.004 % |
52.35/52.49 c | 111103 | 160 13600 95200 | 63150 56929 48 | 0.004 % |
52.85/52.93 c | 111823 | 160 13600 95200 | 63150 57649 48 | 0.004 % |
53.35/53.40 c | 112618 | 160 13600 95200 | 63150 58444 48 | 0.004 % |
53.85/53.92 c | 113489 | 160 13600 95200 | 63150 59315 48 | 0.004 % |
54.45/54.50 c | 114449 | 160 13600 95200 | 63150 60275 48 | 0.004 % |
55.05/55.15 c | 115504 | 160 13600 95200 | 63150 61330 48 | 0.004 % |
55.95/56.06 c | 116663 | 160 13600 95200 | 63150 62489 48 | 0.004 % |
56.94/57.01 c | 117937 | 160 13600 95200 | 63150 56628 48 | 0.004 % |
56.94/57.08 c | 118040 | 160 13600 95200 | 63150 56731 48 | 0.004 % |
57.05/57.18 c | 118150 | 160 13600 95200 | 63150 56841 48 | 0.004 % |
57.15/57.26 c | 118272 | 160 13600 95200 | 63150 56963 48 | 0.004 % |
57.24/57.36 c | 118408 | 160 13600 95200 | 63150 57099 48 | 0.004 % |
57.34/57.48 c | 118555 | 160 13600 95200 | 63150 57246 48 | 0.004 % |
57.44/57.59 c | 118715 | 160 13600 95200 | 63150 57406 48 | 0.004 % |
57.64/57.73 c | 118892 | 160 13600 95200 | 63150 57583 48 | 0.004 % |
57.74/57.86 c | 119087 | 160 13600 95200 | 63150 57778 48 | 0.004 % |
57.94/58.02 c | 119302 | 160 13600 95200 | 63150 57993 48 | 0.004 % |
58.04/58.16 c | 119537 | 160 13600 95200 | 63150 58228 48 | 0.004 % |
58.25/58.36 c | 119796 | 160 13600 95200 | 63150 58487 48 | 0.004 % |
58.54/58.60 c | 120077 | 160 13600 95200 | 58692 51841 48 | 0.004 % |
58.74/58.81 c | 120386 | 160 13600 95200 | 58692 52150 48 | 0.004 % |
58.94/59.03 c | 120725 | 160 13600 95200 | 58692 52489 48 | 0.004 % |
59.14/59.25 c | 121097 | 160 13600 95200 | 58692 52861 48 | 0.004 % |
59.44/59.52 c | 121506 | 160 13600 95200 | 58692 53270 48 | 0.004 % |
59.74/59.85 c | 121955 | 160 13600 95200 | 58692 53719 48 | 0.004 % |
60.04/60.13 c | 122448 | 160 13600 95200 | 58692 54212 48 | 0.004 % |
60.35/60.46 c | 122991 | 160 13600 95200 | 58692 54755 48 | 0.004 % |
60.74/60.80 c | 123588 | 160 13600 95200 | 58692 55352 48 | 0.004 % |
61.14/61.25 c | 124243 | 160 13600 95200 | 58692 56007 48 | 0.004 % |
61.64/61.71 c | 124963 | 160 13600 95200 | 58692 56727 48 | 0.004 % |
62.04/62.19 c | 125756 | 160 13600 95200 | 58692 57520 48 | 0.004 % |
62.66/62.75 c | 126627 | 160 13600 95200 | 58692 58391 48 | 0.004 % |
63.35/63.40 c | 127585 | 160 13600 95200 | 58692 53034 48 | 0.004 % |
64.05/64.11 c | 128640 | 160 13600 95200 | 58692 54089 48 | 0.004 % |
64.75/64.86 c | 129798 | 160 13600 95200 | 58692 55247 48 | 0.004 % |
65.65/65.72 c | 131071 | 160 13600 95200 | 55449 50640 48 | 0.004 % |
66.55/66.62 c | 132473 | 160 13600 95200 | 55449 52042 48 | 0.004 % |
66.55/66.70 c | 132575 | 160 13600 95200 | 55449 52144 48 | 0.004 % |
66.65/66.78 c | 132686 | 160 13600 95200 | 55449 52255 48 | 0.004 % |
66.75/66.86 c | 132808 | 160 13600 95200 | 55449 52377 48 | 0.004 % |
66.85/66.94 c | 132942 | 160 13600 95200 | 55449 52511 48 | 0.004 % |
66.95/67.02 c | 133090 | 160 13600 95200 | 55449 52659 48 | 0.004 % |
67.05/67.15 c | 133251 | 160 13600 95200 | 55449 52820 48 | 0.004 % |
67.15/67.28 c | 133427 | 160 13600 95200 | 55449 52996 48 | 0.004 % |
67.35/67.42 c | 133620 | 160 13600 95200 | 55449 53189 48 | 0.004 % |
67.45/67.54 c | 133832 | 160 13600 95200 | 55449 53401 48 | 0.004 % |
67.55/67.68 c | 134065 | 160 13600 95200 | 55449 53634 48 | 0.004 % |
67.75/67.86 c | 134322 | 160 13600 95200 | 55449 53891 48 | 0.004 % |
67.95/68.05 c | 134604 | 160 13600 95200 | 55449 54173 48 | 0.004 % |
68.15/68.26 c | 134914 | 160 13600 95200 | 55449 54483 48 | 0.004 % |
68.35/68.46 c | 135254 | 160 13600 95200 | 55449 54823 48 | 0.004 % |
68.55/68.66 c | 135627 | 160 13600 95200 | 55449 55196 48 | 0.004 % |
68.85/68.92 c | 136039 | 160 13600 95200 | 55449 50056 48 | 0.004 % |
69.15/69.22 c | 136489 | 160 13600 95200 | 55449 50506 48 | 0.004 % |
69.45/69.51 c | 136983 | 160 13600 95200 | 55449 51000 48 | 0.004 % |
69.75/69.82 c | 137526 | 160 13600 95200 | 55449 51543 48 | 0.004 % |
70.05/70.19 c | 138122 | 160 13600 95200 | 55449 52139 48 | 0.004 % |
70.45/70.57 c | 138777 | 160 13600 95200 | 55449 52794 48 | 0.004 % |
70.85/70.99 c | 139497 | 160 13600 95200 | 55449 53514 48 | 0.004 % |
71.35/71.45 c | 140289 | 160 13600 95200 | 2147483647 54306 48 | 0.004 % |
71.85/71.94 c | 141161 | 160 13600 95200 | 2147483647 55178 48 | 0.004 % |
72.45/72.55 c | 142119 | 160 13600 95200 | 2147483647 56136 48 | 0.004 % |
73.05/73.19 c | 143172 | 160 13600 95200 | 2147483647 57189 48 | 0.004 % |
73.75/73.84 c | 144330 | 160 13600 95200 | 2147483647 58347 48 | 0.004 % |
74.55/74.61 c | 145603 | 160 13600 95200 | 2147483647 59620 48 | 0.004 % |
75.35/75.46 c | 147004 | 160 13600 95200 | 2147483647 61021 48 | 0.004 % |
76.55/76.68 c | 148544 | 160 13600 95200 | 2147483647 62561 48 | 0.004 % |
76.65/76.77 c | 148644 | 160 13600 95200 | 2147483647 62661 48 | 0.004 % |
76.75/76.86 c | 148754 | 160 13600 95200 | 2147483647 62771 48 | 0.004 % |
76.85/76.96 c | 148875 | 160 13600 95200 | 2147483647 62892 48 | 0.004 % |
76.95/77.06 c | 149008 | 160 13600 95200 | 2147483647 63025 48 | 0.004 % |
77.05/77.19 c | 149155 | 160 13600 95200 | 2147483647 63172 48 | 0.004 % |
77.25/77.32 c | 149315 | 160 13600 95200 | 2147483647 63332 48 | 0.004 % |
77.35/77.45 c | 149493 | 160 13600 95200 | 2147483647 63510 48 | 0.004 % |
77.55/77.60 c | 149687 | 160 13600 95200 | 2147483647 63704 48 | 0.004 % |
77.65/77.76 c | 149899 | 160 13600 95200 | 2147483647 63916 48 | 0.004 % |
77.85/77.99 c | 150132 | 160 13600 95200 | 64017 56777 48 | 0.004 % |
78.05/78.17 c | 150389 | 160 13600 95200 | 64017 57034 48 | 0.004 % |
78.25/78.37 c | 150673 | 160 13600 95200 | 64017 57318 48 | 0.004 % |
78.45/78.59 c | 150982 | 160 13600 95200 | 64017 57627 48 | 0.004 % |
78.75/78.81 c | 151321 | 160 13600 95200 | 64017 57966 48 | 0.004 % |
78.95/79.07 c | 151693 | 160 13600 95200 | 64017 58338 48 | 0.004 % |
79.24/79.35 c | 152103 | 160 13600 95200 | 64017 58748 48 | 0.004 % |
79.54/79.68 c | 152552 | 160 13600 95200 | 64017 59197 48 | 0.004 % |
79.94/80.06 c | 153047 | 160 13600 95200 | 64017 59692 48 | 0.004 % |
80.34/80.48 c | 153590 | 160 13600 95200 | 64017 60235 48 | 0.004 % |
80.84/80.92 c | 154186 | 160 13600 95200 | 64017 60831 48 | 0.004 % |
81.35/81.43 c | 154842 | 160 13600 95200 | 64017 61487 48 | 0.004 % |
81.84/81.95 c | 155563 | 160 13600 95200 | 64017 62208 48 | 0.004 % |
82.44/82.58 c | 156357 | 160 13600 95200 | 64017 63002 48 | 0.004 % |
83.04/83.18 c | 157228 | 160 13600 95200 | 64017 63873 48 | 0.004 % |
83.74/83.83 c | 158186 | 160 13600 95200 | 64017 56175 48 | 0.004 % |
84.24/84.38 c | 159239 | 160 13600 95200 | 64017 57228 48 | 0.004 % |
84.93/85.02 c | 160397 | 160 13600 95200 | 57989 51114 48 | 0.004 % |
85.54/85.69 c | 161671 | 160 13600 95200 | 57989 52388 48 | 0.004 % |
86.33/86.43 c | 163072 | 160 13600 95200 | 57989 53789 48 | 0.004 % |
87.33/87.47 c | 164616 | 160 13600 95200 | 57989 55333 48 | 0.004 % |
88.43/88.50 c | 166310 | 160 13600 95200 | 57989 57027 48 | 0.004 % |
88.43/88.56 c | 166410 | 160 13600 95200 | 57989 57127 48 | 0.004 % |
88.53/88.63 c | 166521 | 160 13600 95200 | 57989 57238 48 | 0.004 % |
88.63/88.74 c | 166642 | 160 13600 95200 | 57989 57359 48 | 0.004 % |
88.73/88.84 c | 166776 | 160 13600 95200 | 57989 57493 48 | 0.004 % |
88.83/88.96 c | 166923 | 160 13600 95200 | 57989 57640 48 | 0.004 % |
88.94/89.08 c | 167083 | 160 13600 95200 | 57989 57800 48 | 0.004 % |
89.13/89.21 c | 167261 | 160 13600 95200 | 57989 57978 48 | 0.004 % |
89.23/89.38 c | 167454 | 160 13600 95200 | 57989 52049 48 | 0.004 % |
89.43/89.52 c | 167666 | 160 13600 95200 | 57989 52261 48 | 0.004 % |
89.53/89.66 c | 167900 | 160 13600 95200 | 57989 52495 48 | 0.004 % |
89.73/89.82 c | 168156 | 160 13600 95200 | 57989 52751 48 | 0.004 % |
89.83/89.98 c | 168438 | 160 13600 95200 | 57989 53033 48 | 0.004 % |
90.04/90.16 c | 168747 | 160 13600 95200 | 57989 53342 48 | 0.004 % |
90.23/90.34 c | 169086 | 160 13600 95200 | 57989 53681 48 | 0.004 % |
90.53/90.60 c | 169458 | 160 13600 95200 | 57989 54053 48 | 0.004 % |
90.73/90.87 c | 169867 | 160 13600 95200 | 57989 54462 48 | 0.004 % |
91.03/91.18 c | 170316 | 160 13600 95200 | 54595 49300 48 | 0.004 % |
91.33/91.44 c | 170809 | 160 13600 95200 | 54595 49793 48 | 0.004 % |
91.63/91.71 c | 171352 | 160 13600 95200 | 54595 50336 48 | 0.004 % |
91.93/92.06 c | 171949 | 160 13600 95200 | 54595 50933 48 | 0.004 % |
92.34/92.43 c | 172604 | 160 13600 95200 | 54595 51588 48 | 0.004 % |
92.73/92.80 c | 173324 | 160 13600 95200 | 54595 52308 48 | 0.004 % |
93.13/93.23 c | 174117 | 160 13600 95200 | 54595 53101 48 | 0.004 % |
93.63/93.70 c | 174989 | 160 13600 95200 | 54595 53973 48 | 0.004 % |
94.13/94.27 c | 175947 | 160 13600 95200 | 54595 49464 48 | 0.004 % |
94.73/94.80 c | 177002 | 160 13600 95200 | 54595 50519 48 | 0.004 % |
95.33/95.44 c | 178160 | 160 13600 95200 | 54595 51677 49 | 0.004 % |
96.03/96.13 c | 179433 | 160 13600 95200 | 54595 52950 49 | 0.004 % |
96.73/96.89 c | 180833 | 160 13600 95200 | 2147483647 54350 49 | 0.004 % |
97.63/97.72 c | 182373 | 160 13600 95200 | 2147483647 55890 49 | 0.004 % |
98.53/98.66 c | 184067 | 160 13600 95200 | 2147483647 57584 49 | 0.004 % |
99.83/99.97 c | 185930 | 160 13600 95200 | 2147483647 59447 49 | 0.004 % |
99.93/100.03 c | 186030 | 160 13600 95200 | 2147483647 59547 49 | 0.004 % |
100.03/100.13 c | 186140 | 160 13600 95200 | 2147483647 59657 49 | 0.004 % |
100.13/100.23 c | 186263 | 160 13600 95200 | 2147483647 59780 49 | 0.004 % |
100.23/100.32 c | 186396 | 160 13600 95200 | 2147483647 59913 49 | 0.004 % |
100.33/100.43 c | 186542 | 160 13600 95200 | 2147483647 60059 49 | 0.004 % |
100.43/100.56 c | 186702 | 160 13600 95200 | 2147483647 60219 49 | 0.004 % |
100.53/100.68 c | 186878 | 160 13600 95200 | 2147483647 60395 49 | 0.004 % |
100.73/100.82 c | 187072 | 160 13600 95200 | 2147483647 60589 49 | 0.004 % |
100.93/101.00 c | 187284 | 160 13600 95200 | 2147483647 60801 49 | 0.004 % |
101.03/101.19 c | 187518 | 160 13600 95200 | 2147483647 61035 49 | 0.004 % |
101.23/101.37 c | 187774 | 160 13600 95200 | 2147483647 61291 49 | 0.004 % |
101.43/101.55 c | 188055 | 160 13600 95200 | 2147483647 61572 49 | 0.004 % |
101.63/101.78 c | 188364 | 160 13600 95200 | 2147483647 61881 49 | 0.004 % |
101.93/102.04 c | 188707 | 160 13600 95200 | 2147483647 62224 49 | 0.004 % |
102.23/102.31 c | 189080 | 160 13600 95200 | 2147483647 62597 49 | 0.004 % |
102.53/102.62 c | 189490 | 160 13600 95200 | 2147483647 63007 49 | 0.004 % |
102.83/102.95 c | 189939 | 160 13600 95200 | 2147483647 63456 49 | 0.004 % |
103.23/103.34 c | 190432 | 160 13600 95200 | 63521 56954 49 | 0.004 % |
103.53/103.69 c | 190974 | 160 13600 95200 | 63521 57496 49 | 0.004 % |
103.93/104.06 c | 191570 | 160 13600 95200 | 63521 58092 49 | 0.004 % |
104.43/104.52 c | 192225 | 160 13600 95200 | 63521 58747 49 | 0.004 % |
104.93/105.01 c | 192945 | 160 13600 95200 | 63521 59467 49 | 0.004 % |
105.43/105.56 c | 193739 | 160 13600 95200 | 63521 60261 49 | 0.004 % |
106.03/106.13 c | 194611 | 160 13600 95200 | 63521 61133 49 | 0.004 % |
106.63/106.74 c | 195570 | 160 13600 95200 | 63521 62092 48 | 0.004 % |
107.43/107.52 c | 196623 | 160 13600 95200 | 63521 63145 48 | 0.004 % |
108.33/108.40 c | 197781 | 160 13600 95200 | 63521 56442 48 | 0.004 % |
109.03/109.20 c | 199054 | 160 13600 95200 | 63521 57715 49 | 0.004 % |
110.03/110.12 c | 200454 | 160 13600 95200 | 58661 51974 48 | 0.004 % |
110.83/110.98 c | 201994 | 160 13600 95200 | 58661 53514 48 | 0.004 % |
111.83/111.90 c | 203688 | 160 13600 95200 | 58661 55208 49 | 0.004 % |
112.82/112.99 c | 205551 | 160 13600 95200 | 58661 57071 49 | 0.004 % |
114.33/114.42 c | 207602 | 160 13600 95200 | 58661 53128 49 | 0.004 % |
114.33/114.48 c | 207702 | 160 13600 95200 | 58661 53228 49 | 0.004 % |
114.42/114.54 c | 207813 | 160 13600 95200 | 58661 53339 49 | 0.004 % |
114.52/114.63 c | 207934 | 160 13600 95200 | 58661 53460 49 | 0.004 % |
114.62/114.71 c | 208068 | 160 13600 95200 | 58661 53594 49 | 0.004 % |
114.72/114.84 c | 208216 | 160 13600 95200 | 58661 53742 49 | 0.004 % |
114.82/114.94 c | 208376 | 160 13600 95200 | 58661 53902 49 | 0.004 % |
114.92/115.05 c | 208554 | 160 13600 95200 | 58661 54080 49 | 0.004 % |
115.12/115.20 c | 208747 | 160 13600 95200 | 58661 54273 49 | 0.004 % |
115.22/115.32 c | 208960 | 160 13600 95200 | 58661 54486 49 | 0.004 % |
115.33/115.48 c | 209196 | 160 13600 95200 | 58661 54722 49 | 0.004 % |
115.52/115.65 c | 209452 | 160 13600 95200 | 58661 54978 49 | 0.004 % |
115.72/115.84 c | 209733 | 160 13600 95200 | 58661 55259 49 | 0.004 % |
115.92/116.02 c | 210044 | 160 13600 95200 | 55526 55570 49 | 0.004 % |
116.12/116.29 c | 210383 | 160 13600 95200 | 55526 50179 49 | 0.004 % |
116.43/116.50 c | 210756 | 160 13600 95200 | 55526 50552 49 | 0.004 % |
116.62/116.73 c | 211167 | 160 13600 95200 | 55526 50963 49 | 0.004 % |
116.82/116.99 c | 211617 | 160 13600 95200 | 55526 51413 49 | 0.004 % |
117.12/117.25 c | 212110 | 160 13600 95200 | 55526 51906 49 | 0.004 % |
117.42/117.55 c | 212652 | 160 13600 95200 | 55526 52448 49 | 0.004 % |
117.72/117.88 c | 213248 | 160 13600 95200 | 55526 53044 49 | 0.004 % |
118.12/118.25 c | 213904 | 160 13600 95200 | 55526 53700 49 | 0.004 % |
118.52/118.64 c | 214624 | 160 13600 95200 | 55526 54420 49 | 0.004 % |
119.02/119.10 c | 215416 | 160 13600 95200 | 55526 55212 49 | 0.004 % |
119.52/119.61 c | 216287 | 160 13600 95200 | 55526 50523 48 | 0.004 % |
120.02/120.12 c | 217247 | 160 13600 95200 | 55526 51483 48 | 0.004 % |
120.62/120.71 c | 218300 | 160 13600 95200 | 55526 52536 48 | 0.004 % |
121.22/121.34 c | 219461 | 160 13600 95200 | 55526 53697 48 | 0.004 % |
121.92/122.06 c | 220737 | 160 13600 95200 | 2147483647 54973 48 | 0.004 % |
122.72/122.83 c | 222137 | 160 13600 95200 | 2147483647 56373 48 | 0.004 % |
123.52/123.62 c | 223680 | 160 13600 95200 | 2147483647 57916 49 | 0.004 % |
124.42/124.56 c | 225375 | 160 13600 95200 | 2147483647 59611 49 | 0.004 % |
125.52/125.66 c | 227240 | 160 13600 95200 | 2147483647 61476 49 | 0.004 % |
126.82/126.91 c | 229289 | 160 13600 95200 | 2147483647 63525 49 | 0.004 % |
128.31/128.42 c | 231542 | 160 13600 95200 | 2147483647 65778 49 | 0.004 % |
128.41/128.55 c | 231643 | 160 13600 95200 | 2147483647 65879 49 | 0.004 % |
128.51/128.64 c | 231753 | 160 13600 95200 | 2147483647 65989 49 | 0.004 % |
128.61/128.74 c | 231874 | 160 13600 95200 | 2147483647 66110 49 | 0.004 % |
128.71/128.86 c | 232008 | 160 13600 95200 | 2147483647 66244 49 | 0.004 % |
128.81/128.99 c | 232154 | 160 13600 95200 | 2147483647 66390 49 | 0.004 % |
129.01/129.13 c | 232314 | 160 13600 95200 | 2147483647 66550 49 | 0.004 % |
129.11/129.28 c | 232492 | 160 13600 95200 | 2147483647 66728 49 | 0.004 % |
129.31/129.46 c | 232688 | 160 13600 95200 | 2147483647 66924 49 | 0.004 % |
129.51/129.65 c | 232903 | 160 13600 95200 | 2147483647 67139 49 | 0.004 % |
129.71/129.83 c | 233139 | 160 13600 95200 | 2147483647 67375 49 | 0.004 % |
129.91/130.02 c | 233395 | 160 13600 95200 | 2147483647 67631 49 | 0.004 % |
130.11/130.22 c | 233676 | 160 13600 95200 | 2147483647 67912 49 | 0.004 % |
130.31/130.45 c | 233986 | 160 13600 95200 | 2147483647 68222 49 | 0.004 % |
130.61/130.71 c | 234325 | 160 13600 95200 | 2147483647 68561 49 | 0.004 % |
130.91/131.03 c | 234697 | 160 13600 95200 | 2147483647 68933 49 | 0.004 % |
131.21/131.36 c | 235106 | 160 13600 95200 | 2147483647 69342 49 | 0.004 % |
131.61/131.71 c | 235558 | 160 13600 95200 | 2147483647 69794 49 | 0.004 % |
132.00/132.19 c | 236051 | 160 13600 95200 | 2147483647 70287 49 | 0.004 % |
132.50/132.64 c | 236593 | 160 13600 95200 | 2147483647 70829 49 | 0.004 % |
133.01/133.15 c | 237190 | 160 13600 95200 | 2147483647 71426 49 | 0.004 % |
133.51/133.66 c | 237847 | 160 13600 95200 | 2147483647 72083 49 | 0.004 % |
134.12/134.29 c | 238568 | 160 13600 95200 | 2147483647 72804 49 | 0.004 % |
134.81/134.96 c | 239362 | 160 13600 95200 | 2147483647 73598 49 | 0.004 % |
135.71/135.87 c | 240233 | 160 13600 95200 | 74239 61931 49 | 0.004 % |
136.41/136.56 c | 241192 | 160 13600 95200 | 74239 62890 49 | 0.004 % |
137.11/137.24 c | 242245 | 160 13600 95200 | 74239 63943 49 | 0.004 % |
137.91/138.01 c | 243404 | 160 13600 95200 | 74239 65102 49 | 0.004 % |
138.71/138.87 c | 244679 | 160 13600 95200 | 74239 66377 49 | 0.004 % |
139.71/139.81 c | 246079 | 160 13600 95200 | 74239 67777 49 | 0.004 % |
140.81/140.96 c | 247620 | 160 13600 95200 | 74239 69318 49 | 0.004 % |
142.11/142.20 c | 249315 | 160 13600 95200 | 74239 71013 49 | 0.004 % |
143.31/143.46 c | 251178 | 160 13600 95200 | 71699 61226 49 | 0.004 % |
144.61/144.72 c | 253230 | 160 13600 95200 | 71699 63278 49 | 0.004 % |
145.90/146.03 c | 255483 | 160 13600 95200 | 71699 65531 49 | 0.004 % |
147.50/147.62 c | 257962 | 160 13600 95200 | 71699 68010 49 | 0.004 % |
147.50/147.69 c | 258063 | 160 13600 95200 | 71699 68111 49 | 0.004 % |
147.60/147.79 c | 258175 | 160 13600 95200 | 71699 68223 49 | 0.004 % |
147.80/147.90 c | 258296 | 160 13600 95200 | 71699 68344 49 | 0.004 % |
147.90/148.01 c | 258430 | 160 13600 95200 | 71699 68478 49 | 0.004 % |
148.00/148.14 c | 258577 | 160 13600 95200 | 71699 68625 49 | 0.004 % |
148.10/148.27 c | 258737 | 160 13600 95200 | 71699 68785 49 | 0.004 % |
148.31/148.41 c | 258914 | 160 13600 95200 | 71699 68962 49 | 0.004 % |
148.41/148.55 c | 259108 | 160 13600 95200 | 71699 69156 49 | 0.004 % |
148.60/148.71 c | 259321 | 160 13600 95200 | 71699 69369 49 | 0.004 % |
148.70/148.89 c | 259554 | 160 13600 95200 | 71699 69602 49 | 0.004 % |
149.00/149.15 c | 259810 | 160 13600 95200 | 71699 69858 49 | 0.004 % |
149.30/149.45 c | 260091 | 160 13600 95200 | 70048 59976 49 | 0.004 % |
149.51/149.69 c | 260402 | 160 13600 95200 | 70048 60287 49 | 0.004 % |
149.80/149.94 c | 260741 | 160 13600 95200 | 70048 60626 49 | 0.004 % |
150.10/150.22 c | 261114 | 160 13600 95200 | 70048 60999 49 | 0.004 % |
150.30/150.47 c | 261523 | 160 13600 95200 | 70048 61408 49 | 0.004 % |
150.70/150.82 c | 261974 | 160 13600 95200 | 70048 61859 49 | 0.004 % |
151.00/151.13 c | 262467 | 160 13600 95200 | 70048 62352 49 | 0.004 % |
151.30/151.49 c | 263009 | 160 13600 95200 | 70048 62894 49 | 0.004 % |
151.80/151.93 c | 263606 | 160 13600 95200 | 70048 63491 49 | 0.004 % |
152.20/152.37 c | 264263 | 160 13600 95200 | 70048 64148 49 | 0.004 % |
152.71/152.84 c | 264983 | 160 13600 95200 | 70048 64868 49 | 0.004 % |
153.20/153.38 c | 265776 | 160 13600 95200 | 70048 65661 49 | 0.004 % |
153.90/154.00 c | 266647 | 160 13600 95200 | 70048 66532 49 | 0.004 % |
154.50/154.68 c | 267607 | 160 13600 95200 | 70048 67492 49 | 0.004 % |
155.30/155.45 c | 268660 | 160 13600 95200 | 70048 68545 49 | 0.004 % |
156.20/156.31 c | 269818 | 160 13600 95200 | 70048 69703 49 | 0.004 % |
157.11/157.26 c | 271092 | 160 13600 95200 | 69886 60350 49 | 0.004 % |
158.10/158.21 c | 272492 | 160 13600 95200 | 69886 61750 49 | 0.004 % |
159.10/159.21 c | 274032 | 160 13600 95200 | 69886 63290 49 | 0.004 % |
160.30/160.42 c | 275726 | 160 13600 95200 | 69886 64984 49 | 0.004 % |
161.50/161.70 c | 277590 | 160 13600 95200 | 69886 66848 49 | 0.004 % |
162.90/163.09 c | 279640 | 160 13600 95200 | 69886 68898 49 | 0.004 % |
164.50/164.62 c | 281893 | 160 13600 95200 | 69258 60352 49 | 0.004 % |
166.09/166.26 c | 284371 | 160 13600 95200 | 69258 62830 49 | 0.004 % |
167.99/168.15 c | 287098 | 160 13600 95200 | 69258 65557 49 | 0.004 % |
168.10/168.23 c | 287198 | 160 13600 95200 | 69258 65657 49 | 0.004 % |
168.20/168.32 c | 287308 | 160 13600 95200 | 69258 65767 49 | 0.004 % |
168.29/168.42 c | 287430 | 160 13600 95200 | 69258 65889 49 | 0.004 % |
168.39/168.52 c | 287564 | 160 13600 95200 | 69258 66023 49 | 0.004 % |
168.49/168.65 c | 287714 | 160 13600 95200 | 69258 66173 49 | 0.004 % |
168.59/168.78 c | 287875 | 160 13600 95200 | 69258 66334 49 | 0.004 % |
168.79/168.91 c | 288051 | 160 13600 95200 | 69258 66510 49 | 0.004 % |
168.89/169.06 c | 288244 | 160 13600 95200 | 69258 66703 49 | 0.004 % |
169.09/169.22 c | 288456 | 160 13600 95200 | 69258 66915 49 | 0.004 % |
169.20/169.40 c | 288689 | 160 13600 95200 | 69258 67148 49 | 0.004 % |
169.39/169.59 c | 288946 | 160 13600 95200 | 69258 67405 49 | 0.004 % |
169.59/169.79 c | 289227 | 160 13600 95200 | 69258 67686 49 | 0.004 % |
169.89/170.04 c | 289536 | 160 13600 95200 | 69258 67995 49 | 0.004 % |
170.19/170.32 c | 289875 | 160 13600 95200 | 69258 68334 49 | 0.004 % |
170.49/170.68 c | 290248 | 160 13600 95200 | 68459 58463 49 | 0.004 % |
170.79/170.95 c | 290657 | 160 13600 95200 | 68459 58872 49 | 0.004 % |
171.09/171.23 c | 291107 | 160 13600 95200 | 68459 59322 49 | 0.004 % |
171.40/171.54 c | 291601 | 160 13600 95200 | 68459 59816 49 | 0.004 % |
171.79/171.90 c | 292143 | 160 13600 95200 | 68459 60358 49 | 0.004 % |
172.09/172.29 c | 292740 | 160 13600 95200 | 68459 60955 49 | 0.004 % |
172.59/172.75 c | 293395 | 160 13600 95200 | 68459 61610 49 | 0.004 % |
173.08/173.23 c | 294116 | 160 13600 95200 | 68459 62331 49 | 0.004 % |
173.58/173.77 c | 294908 | 160 13600 95200 | 68459 63123 49 | 0.004 % |
174.18/174.36 c | 295779 | 160 13600 95200 | 68459 63994 49 | 0.004 % |
174.78/174.98 c | 296738 | 160 13600 95200 | 68459 64953 49 | 0.004 % |
175.48/175.64 c | 297792 | 160 13600 95200 | 68459 66007 49 | 0.004 % |
176.27/176.44 c | 298952 | 160 13600 95200 | 68459 67167 49 | 0.004 % |
177.27/177.44 c | 300226 | 160 13600 95200 | 68215 58590 49 | 0.004 % |
178.26/178.42 c | 301629 | 160 13600 95200 | 68215 59993 49 | 0.004 % |
179.26/179.42 c | 303171 | 160 13600 95200 | 68215 61535 49 | 0.004 % |
180.46/180.61 c | 304867 | 160 13600 95200 | 68215 63231 49 | 0.004 % |
181.76/181.94 c | 306731 | 160 13600 95200 | 68215 65095 49 | 0.004 % |
183.06/183.26 c | 308780 | 160 13600 95200 | 68215 67144 49 | 0.004 % |
184.57/184.74 c | 311034 | 160 13600 95200 | 58771 51563 49 | 0.004 % |
185.96/186.19 c | 313513 | 160 13600 95200 | 58771 54042 49 | 0.004 % |
187.56/187.76 c | 316239 | 160 13600 95200 | 58771 56768 49 | 0.004 % |
189.26/189.46 c | 319238 | 160 13600 95200 | 58771 53619 49 | 0.004 % |
189.36/189.51 c | 319338 | 160 13600 95200 | 58771 53719 49 | 0.004 % |
189.36/189.57 c | 319451 | 160 13600 95200 | 58771 53832 49 | 0.004 % |
189.46/189.64 c | 319572 | 160 13600 95200 | 58771 53953 49 | 0.004 % |
189.56/189.75 c | 319706 | 160 13600 95200 | 58771 54087 49 | 0.004 % |
189.66/189.84 c | 319853 | 160 13600 95200 | 58771 54234 49 | 0.004 % |
189.76/189.93 c | 320014 | 160 13600 95200 | 54382 54395 49 | 0.004 % |
189.86/190.09 c | 320193 | 160 13600 95200 | 54382 49071 49 | 0.004 % |
190.06/190.21 c | 320390 | 160 13600 95200 | 54382 49268 49 | 0.004 % |
190.16/190.34 c | 320603 | 160 13600 95200 | 54382 49481 49 | 0.004 % |
190.26/190.47 c | 320838 | 160 13600 95200 | 54382 49716 49 | 0.004 % |
190.46/190.63 c | 321094 | 160 13600 95200 | 54382 49972 49 | 0.004 % |
190.66/190.82 c | 321376 | 160 13600 95200 | 54382 50254 49 | 0.004 % |
190.86/191.01 c | 321686 | 160 13600 95200 | 54382 50564 49 | 0.004 % |
191.06/191.21 c | 322025 | 160 13600 95200 | 54382 50903 49 | 0.004 % |
191.26/191.48 c | 322398 | 160 13600 95200 | 54382 51276 49 | 0.004 % |
191.56/191.74 c | 322807 | 160 13600 95200 | 54382 51685 49 | 0.004 % |
191.86/192.01 c | 323259 | 160 13600 95200 | 54382 52137 49 | 0.004 % |
192.06/192.27 c | 323754 | 160 13600 95200 | 54382 52632 49 | 0.004 % |
192.36/192.55 c | 324297 | 160 13600 95200 | 54382 53175 49 | 0.004 % |
192.66/192.85 c | 324893 | 160 13600 95200 | 54382 53771 49 | 0.004 % |
193.06/193.22 c | 325548 | 160 13600 95200 | 54382 54426 49 | 0.004 % |
193.56/193.71 c | 326269 | 160 13600 95200 | 54382 49705 49 | 0.004 % |
193.96/194.18 c | 327061 | 160 13600 95200 | 54382 50497 49 | 0.004 % |
194.56/194.76 c | 327934 | 160 13600 95200 | 54382 51370 49 | 0.004 % |
195.16/195.36 c | 328894 | 160 13600 95200 | 54382 52330 49 | 0.004 % |
195.86/196.04 c | 329949 | 160 13600 95200 | 54382 53385 49 | 0.004 % |
196.66/196.80 c | 331107 | 160 13600 95200 | 2147483647 54543 49 | 0.004 % |
197.36/197.59 c | 332381 | 160 13600 95200 | 2147483647 55817 49 | 0.004 % |
198.26/198.47 c | 333781 | 160 13600 95200 | 2147483647 57217 49 | 0.004 % |
199.16/199.39 c | 335321 | 160 13600 95200 | 2147483647 58757 49 | 0.004 % |
200.26/200.41 c | 337015 | 160 13600 95200 | 2147483647 60451 49 | 0.004 % |
201.46/201.67 c | 338878 | 160 13600 95200 | 2147483647 62314 49 | 0.004 % |
202.75/202.95 c | 340927 | 160 13600 95200 | 63436 57903 49 | 0.004 % |
204.05/204.25 c | 343180 | 160 13600 95200 | 63436 60156 49 | 0.004 % |
205.56/205.70 c | 345659 | 160 13600 95200 | 63436 62635 49 | 0.004 % |
207.15/207.33 c | 348385 | 160 13600 95200 | 63436 58211 49 | 0.004 % |
208.86/209.02 c | 351382 | 160 13600 95200 | 59826 54720 49 | 0.004 % |
210.65/210.87 c | 354678 | 160 13600 95200 | 59826 58016 49 | 0.004 % |
210.75/210.93 c | 354778 | 160 13600 95200 | 59826 58116 49 | 0.004 % |
210.85/211.01 c | 354889 | 160 13600 95200 | 59826 58227 49 | 0.004 % |
210.85/211.09 c | 355011 | 160 13600 95200 | 59826 58349 49 | 0.004 % |
211.06/211.20 c | 355147 | 160 13600 95200 | 59826 58485 49 | 0.004 % |
211.15/211.31 c | 355294 | 160 13600 95200 | 59826 58632 49 | 0.004 % |
211.25/211.42 c | 355455 | 160 13600 95200 | 59826 58793 49 | 0.004 % |
211.35/211.54 c | 355631 | 160 13600 95200 | 59826 58969 49 | 0.004 % |
211.45/211.67 c | 355824 | 160 13600 95200 | 59826 59162 49 | 0.004 % |
211.65/211.81 c | 356037 | 160 13600 95200 | 59826 59375 49 | 0.004 % |
211.85/212.01 c | 356271 | 160 13600 95200 | 59826 59609 49 | 0.004 % |
212.05/212.21 c | 356528 | 160 13600 95200 | 59826 59866 49 | 0.004 % |
212.25/212.44 c | 356812 | 160 13600 95200 | 59826 54123 49 | 0.004 % |
212.45/212.64 c | 357121 | 160 13600 95200 | 59826 54432 49 | 0.004 % |
212.65/212.83 c | 357460 | 160 13600 95200 | 59826 54771 49 | 0.004 % |
212.85/213.07 c | 357832 | 160 13600 95200 | 59826 55143 49 | 0.004 % |
213.15/213.32 c | 358241 | 160 13600 95200 | 59826 55552 49 | 0.004 % |
213.35/213.59 c | 358692 | 160 13600 95200 | 59826 56003 49 | 0.004 % |
213.65/213.89 c | 359187 | 160 13600 95200 | 59826 56498 49 | 0.004 % |
214.05/214.23 c | 359732 | 160 13600 95200 | 59826 57043 49 | 0.004 % |
214.45/214.63 c | 360328 | 160 13600 95200 | 57311 51826 49 | 0.004 % |
214.75/214.98 c | 360983 | 160 13600 95200 | 57311 52481 49 | 0.004 % |
215.15/215.36 c | 361704 | 160 13600 95200 | 57311 53202 49 | 0.004 % |
215.65/215.84 c | 362497 | 160 13600 95200 | 57311 53995 49 | 0.004 % |
216.15/216.34 c | 363369 | 160 13600 95200 | 57311 54867 49 | 0.004 % |
216.65/216.86 c | 364327 | 160 13600 95200 | 57311 55825 49 | 0.004 % |
217.25/217.44 c | 365380 | 160 13600 95200 | 57311 56878 49 | 0.004 % |
217.94/218.12 c | 366538 | 160 13600 95200 | 57311 52298 49 | 0.004 % |
218.64/218.88 c | 367811 | 160 13600 95200 | 57311 53571 49 | 0.004 % |
219.54/219.71 c | 369211 | 160 13600 95200 | 57311 54971 49 | 0.004 % |
220.34/220.56 c | 370753 | 160 13600 95200 | 2147483647 56513 49 | 0.004 % |
221.34/221.52 c | 372448 | 160 13600 95200 | 2147483647 58208 49 | 0.004 % |
222.34/222.60 c | 374311 | 160 13600 95200 | 2147483647 60071 49 | 0.004 % |
223.74/223.90 c | 376361 | 160 13600 95200 | 2147483647 62121 49 | 0.004 % |
225.24/225.45 c | 378614 | 160 13600 95200 | 2147483647 64374 49 | 0.004 % |
226.83/227.09 c | 381093 | 160 13600 95200 | 65764 59803 49 | 0.004 % |
228.54/228.74 c | 383820 | 160 13600 95200 | 65764 62530 49 | 0.004 % |
230.43/230.64 c | 386819 | 160 13600 95200 | 65764 65529 49 | 0.004 % |
232.43/232.62 c | 390115 | 160 13600 95200 | 60398 53329 49 | 0.004 % |
234.53/234.75 c | 393740 | 160 13600 95200 | 60398 56954 49 | 0.004 % |
234.63/234.82 c | 393840 | 160 13600 95200 | 60398 57054 49 | 0.004 % |
234.73/234.90 c | 393950 | 160 13600 95200 | 60398 57164 49 | 0.004 % |
234.73/234.98 c | 394071 | 160 13600 95200 | 60398 57285 49 | 0.004 % |
234.83/235.10 c | 394206 | 160 13600 95200 | 60398 57420 49 | 0.004 % |
234.93/235.19 c | 394352 | 160 13600 95200 | 60398 57566 49 | 0.004 % |
235.03/235.29 c | 394512 | 160 13600 95200 | 60398 57726 49 | 0.004 % |
235.24/235.42 c | 394689 | 160 13600 95200 | 60398 57903 49 | 0.004 % |
235.33/235.54 c | 394882 | 160 13600 95200 | 60398 58096 49 | 0.004 % |
235.53/235.70 c | 395094 | 160 13600 95200 | 60398 58308 49 | 0.004 % |
235.63/235.86 c | 395329 | 160 13600 95200 | 60398 58543 49 | 0.004 % |
235.83/236.01 c | 395585 | 160 13600 95200 | 60398 58799 49 | 0.004 % |
236.03/236.22 c | 395866 | 160 13600 95200 | 60398 59080 49 | 0.004 % |
236.24/236.41 c | 396175 | 160 13600 95200 | 60398 59389 49 | 0.004 % |
236.43/236.63 c | 396516 | 160 13600 95200 | 60398 59730 49 | 0.004 % |
236.73/236.90 c | 396889 | 160 13600 95200 | 60398 60103 49 | 0.004 % |
237.03/237.21 c | 397300 | 160 13600 95200 | 60398 53855 49 | 0.004 % |
237.23/237.48 c | 397749 | 160 13600 95200 | 60398 54304 49 | 0.004 % |
237.53/237.76 c | 398242 | 160 13600 95200 | 60398 54797 49 | 0.004 % |
237.83/238.09 c | 398785 | 160 13600 95200 | 60398 55340 49 | 0.004 % |
238.23/238.44 c | 399381 | 160 13600 95200 | 60398 55936 49 | 0.004 % |
238.63/238.84 c | 400037 | 160 13600 95200 | 56555 56592 49 | 0.004 % |
239.13/239.34 c | 400758 | 160 13600 95200 | 56555 51193 49 | 0.004 % |
239.63/239.85 c | 401550 | 160 13600 95200 | 56555 51985 49 | 0.004 % |
240.23/240.47 c | 402421 | 160 13600 95200 | 56555 52856 49 | 0.004 % |
240.83/241.03 c | 403379 | 160 13600 95200 | 56555 53814 49 | 0.004 % |
241.33/241.59 c | 404432 | 160 13600 95200 | 56555 54867 49 | 0.004 % |
242.03/242.25 c | 405591 | 160 13600 95200 | 56555 56026 49 | 0.004 % |
242.83/243.06 c | 406864 | 160 13600 95200 | 56555 51636 49 | 0.004 % |
243.63/243.87 c | 408265 | 160 13600 95200 | 56555 53037 49 | 0.004 % |
244.43/244.68 c | 409806 | 160 13600 95200 | 56555 54578 49 | 0.004 % |
245.43/245.60 c | 411501 | 160 13600 95200 | 2147483647 56273 49 | 0.004 % |
246.54/246.73 c | 413365 | 160 13600 95200 | 2147483647 58137 49 | 0.004 % |
247.74/247.96 c | 415415 | 160 13600 95200 | 2147483647 60187 49 | 0.004 % |
249.14/249.32 c | 417670 | 160 13600 95200 | 2147483647 62442 49 | 0.004 % |
250.64/250.89 c | 420149 | 160 13600 95200 | 64772 58001 49 | 0.004 % |
252.33/252.57 c | 422874 | 160 13600 95200 | 64772 60726 49 | 0.004 % |
254.23/254.41 c | 425871 | 160 13600 95200 | 64772 63723 49 | 0.004 % |
256.14/256.38 c | 429168 | 160 13600 95200 | 64772 59776 49 | 0.004 % |
258.24/258.41 c | 432793 | 160 13600 95200 | 60608 57002 49 | 0.004 % |
260.63/260.88 c | 436782 | 160 13600 95200 | 60608 54922 49 | 0.004 % |
260.73/260.94 c | 436883 | 160 13600 95200 | 60608 55023 49 | 0.004 % |
260.83/261.02 c | 436994 | 160 13600 95200 | 60608 55134 49 | 0.004 % |
260.83/261.10 c | 437115 | 160 13600 95200 | 60608 55255 49 | 0.004 % |
260.93/261.18 c | 437248 | 160 13600 95200 | 60608 55388 49 | 0.004 % |
261.03/261.28 c | 437394 | 160 13600 95200 | 60608 55534 49 | 0.004 % |
261.13/261.39 c | 437556 | 160 13600 95200 | 60608 55696 49 | 0.004 % |
261.33/261.53 c | 437732 | 160 13600 95200 | 60608 55872 49 | 0.004 % |
261.43/261.67 c | 437925 | 160 13600 95200 | 60608 56065 49 | 0.004 % |
261.63/261.84 c | 438137 | 160 13600 95200 | 60608 56277 49 | 0.004 % |
261.83/262.02 c | 438371 | 160 13600 95200 | 60608 56511 49 | 0.004 % |
262.03/262.24 c | 438630 | 160 13600 95200 | 60608 56770 49 | 0.004 % |
262.23/262.45 c | 438912 | 160 13600 95200 | 60608 57052 49 | 0.004 % |
262.43/262.64 c | 439222 | 160 13600 95200 | 60608 57362 49 | 0.004 % |
262.63/262.84 c | 439562 | 160 13600 95200 | 60608 57702 49 | 0.004 % |
262.92/263.14 c | 439934 | 160 13600 95200 | 60608 58074 49 | 0.004 % |
263.22/263.46 c | 440343 | 160 13600 95200 | 58142 52438 49 | 0.004 % |
263.52/263.72 c | 440793 | 160 13600 95200 | 58142 52888 49 | 0.004 % |
263.83/264.00 c | 441286 | 160 13600 95200 | 58142 53381 49 | 0.004 % |
264.12/264.32 c | 441828 | 160 13600 95200 | 58142 53923 49 | 0.004 % |
264.42/264.64 c | 442424 | 160 13600 95200 | 58142 54519 49 | 0.004 % |
264.83/265.01 c | 443079 | 160 13600 95200 | 58142 55174 49 | 0.004 % |
265.32/265.50 c | 443799 | 160 13600 95200 | 58142 55894 49 | 0.004 % |
265.82/266.01 c | 444592 | 160 13600 95200 | 58142 56687 49 | 0.004 % |
266.32/266.57 c | 445465 | 160 13600 95200 | 58142 57560 49 | 0.004 % |
267.03/267.23 c | 446424 | 160 13600 95200 | 58142 52539 49 | 0.004 % |
267.62/267.82 c | 447478 | 160 13600 95200 | 58142 53593 49 | 0.004 % |
268.23/268.48 c | 448636 | 160 13600 95200 | 58142 54751 49 | 0.004 % |
268.92/269.19 c | 449911 | 160 13600 95200 | 58142 56026 49 | 0.004 % |
269.82/270.01 c | 451311 | 160 13600 95200 | 2147483647 57426 49 | 0.004 % |
270.72/271.00 c | 452851 | 160 13600 95200 | 2147483647 58966 49 | 0.004 % |
271.82/272.09 c | 454547 | 160 13600 95200 | 2147483647 60662 49 | 0.004 % |
273.22/273.48 c | 456410 | 160 13600 95200 | 2147483647 62525 49 | 0.004 % |
274.62/274.86 c | 458461 | 160 13600 95200 | 2147483647 64576 49 | 0.004 % |
276.22/276.43 c | 460715 | 160 13600 95200 | 66118 58891 49 | 0.004 % |
277.72/277.93 c | 463194 | 160 13600 95200 | 66118 61370 49 | 0.004 % |
279.42/279.61 c | 465919 | 160 13600 95200 | 66118 64095 49 | 0.004 % |
281.22/281.47 c | 468919 | 160 13600 95200 | 66118 58954 49 | 0.004 % |
283.12/283.32 c | 472215 | 160 13600 95200 | 60036 55056 49 | 0.004 % |
285.21/285.43 c | 475841 | 160 13600 95200 | 60036 58682 49 | 0.004 % |
287.81/288.01 c | 479829 | 160 13600 95200 | 60036 56659 49 | 0.004 % |
290.41/290.68 c | 484216 | 160 13600 95200 | 2147483647 61046 49 | 0.004 % |
290.51/290.74 c | 484317 | 160 13600 95200 | 2147483647 61147 49 | 0.004 % |
290.61/290.82 c | 484432 | 160 13600 95200 | 2147483647 61262 49 | 0.004 % |
290.71/290.90 c | 484556 | 160 13600 95200 | 2147483647 61386 49 | 0.004 % |
290.81/291.01 c | 484690 | 160 13600 95200 | 2147483647 61520 49 | 0.004 % |
290.91/291.12 c | 484837 | 160 13600 95200 | 2147483647 61667 49 | 0.004 % |
291.01/291.24 c | 484998 | 160 13600 95200 | 2147483647 61828 49 | 0.004 % |
291.11/291.37 c | 485175 | 160 13600 95200 | 2147483647 62005 49 | 0.004 % |
291.32/291.53 c | 485369 | 160 13600 95200 | 2147483647 62199 49 | 0.004 % |
291.41/291.69 c | 485582 | 160 13600 95200 | 2147483647 62412 49 | 0.004 % |
291.61/291.88 c | 485815 | 160 13600 95200 | 2147483647 62645 49 | 0.004 % |
291.81/292.06 c | 486071 | 160 13600 95200 | 2147483647 62901 49 | 0.004 % |
292.01/292.27 c | 486353 | 160 13600 95200 | 2147483647 63183 49 | 0.004 % |
292.21/292.49 c | 486663 | 160 13600 95200 | 2147483647 63493 49 | 0.004 % |
292.51/292.74 c | 487002 | 160 13600 95200 | 2147483647 63832 49 | 0.004 % |
292.81/293.01 c | 487375 | 160 13600 95200 | 2147483647 64205 49 | 0.004 % |
293.11/293.33 c | 487785 | 160 13600 95200 | 2147483647 64615 49 | 0.004 % |
293.52/293.70 c | 488234 | 160 13600 95200 | 2147483647 65064 49 | 0.004 % |
293.81/294.04 c | 488727 | 160 13600 95200 | 2147483647 65557 49 | 0.004 % |
294.21/294.42 c | 489273 | 160 13600 95200 | 2147483647 66103 49 | 0.004 % |
294.62/294.87 c | 489870 | 160 13600 95200 | 2147483647 66700 49 | 0.004 % |
295.11/295.34 c | 490525 | 160 13600 95200 | 66832 58799 48 | 0.004 % |
295.61/295.85 c | 491246 | 160 13600 95200 | 66832 59520 48 | 0.004 % |
296.11/296.32 c | 492039 | 160 13600 95200 | 66832 60313 48 | 0.004 % |
296.71/296.91 c | 492911 | 160 13600 95200 | 66832 61185 48 | 0.004 % |
297.21/297.48 c | 493869 | 160 13600 95200 | 66832 62143 48 | 0.004 % |
297.81/298.09 c | 494922 | 160 13600 95200 | 66832 63196 48 | 0.004 % |
298.61/298.84 c | 496080 | 160 13600 95200 | 66832 64354 48 | 0.004 % |
299.51/299.73 c | 497354 | 160 13600 95200 | 66832 65628 48 | 0.004 % |
300.61/300.86 c | 498756 | 160 13600 95200 | 66832 58172 48 | 0.004 % |
301.61/301.87 c | 500296 | 160 13600 95200 | 59418 52032 48 | 0.004 % |
302.71/302.93 c | 501991 | 160 13600 95200 | 59418 53727 48 | 0.004 % |
303.71/303.90 c | 503855 | 160 13600 95200 | 59418 55591 48 | 0.004 % |
304.81/305.06 c | 505905 | 160 13600 95200 | 59418 57641 48 | 0.004 % |
306.21/306.40 c | 508160 | 160 13600 95200 | 59418 53946 48 | 0.004 % |
307.50/307.74 c | 510639 | 160 13600 95200 | 2147483647 56425 48 | 0.004 % |
308.91/309.17 c | 513365 | 160 13600 95200 | 2147483647 59151 48 | 0.004 % |
310.70/310.94 c | 516363 | 160 13600 95200 | 2147483647 62149 48 | 0.004 % |
312.70/312.99 c | 519660 | 160 13600 95200 | 2147483647 65446 48 | 0.004 % |
315.10/315.37 c | 523287 | 160 13600 95200 | 65786 62083 48 | 0.004 % |
317.80/318.01 c | 527276 | 160 13600 95200 | 65786 58464 48 | 0.004 % |
320.30/320.53 c | 531663 | 160 13600 95200 | 61189 56137 48 | 0.004 % |
322.80/323.01 c | 536486 | 160 13600 95200 | 61189 60960 48 | 0.004 % |
322.80/323.07 c | 536586 | 160 13600 95200 | 61189 61060 48 | 0.004 % |
322.90/323.17 c | 536696 | 160 13600 95200 | 61189 61170 48 | 0.004 % |
323.10/323.31 c | 536819 | 160 13600 95200 | 61189 55167 48 | 0.004 % |
323.10/323.40 c | 536953 | 160 13600 95200 | 61189 55301 48 | 0.004 % |
323.20/323.49 c | 537101 | 160 13600 95200 | 61189 55449 48 | 0.004 % |
323.40/323.60 c | 537262 | 160 13600 95200 | 61189 55610 48 | 0.004 % |
323.50/323.72 c | 537439 | 160 13600 95200 | 61189 55787 48 | 0.004 % |
323.60/323.85 c | 537632 | 160 13600 95200 | 61189 55980 48 | 0.004 % |
323.70/323.98 c | 537844 | 160 13600 95200 | 61189 56192 48 | 0.004 % |
323.90/324.13 c | 538079 | 160 13600 95200 | 61189 56427 48 | 0.004 % |
324.10/324.31 c | 538336 | 160 13600 95200 | 61189 56684 48 | 0.004 % |
324.20/324.48 c | 538617 | 160 13600 95200 | 61189 56965 48 | 0.004 % |
324.40/324.67 c | 538926 | 160 13600 95200 | 61189 57274 48 | 0.004 % |
324.70/324.93 c | 539265 | 160 13600 95200 | 61189 57613 48 | 0.004 % |
324.90/325.19 c | 539637 | 160 13600 95200 | 61189 57985 48 | 0.004 % |
325.20/325.46 c | 540046 | 160 13600 95200 | 2147483647 58394 48 | 0.004 % |
325.50/325.74 c | 540497 | 160 13600 95200 | 2147483647 58845 48 | 0.004 % |
325.80/326.08 c | 540991 | 160 13600 95200 | 2147483647 59339 48 | 0.004 % |
326.20/326.44 c | 541534 | 160 13600 95200 | 2147483647 59882 48 | 0.004 % |
326.60/326.84 c | 542130 | 160 13600 95200 | 2147483647 60478 48 | 0.004 % |
327.00/327.26 c | 542785 | 160 13600 95200 | 2147483647 61133 48 | 0.004 % |
327.50/327.74 c | 543507 | 160 13600 95200 | 2147483647 61855 48 | 0.004 % |
328.10/328.38 c | 544299 | 160 13600 95200 | 2147483647 62647 48 | 0.004 % |
328.70/328.99 c | 545172 | 160 13600 95200 | 2147483647 63520 48 | 0.004 % |
329.30/329.58 c | 546131 | 160 13600 95200 | 2147483647 64479 48 | 0.004 % |
330.09/330.37 c | 547186 | 160 13600 95200 | 2147483647 65534 48 | 0.004 % |
330.90/331.16 c | 548344 | 160 13600 95200 | 2147483647 66692 48 | 0.004 % |
331.79/332.01 c | 549617 | 160 13600 95200 | 2147483647 67965 48 | 0.004 % |
332.79/333.03 c | 551018 | 160 13600 95200 | 68348 60469 49 | 0.004 % |
333.79/334.07 c | 552558 | 160 13600 95200 | 68348 62009 49 | 0.004 % |
334.99/335.22 c | 554252 | 160 13600 95200 | 68348 63703 49 | 0.004 % |
336.19/336.43 c | 556116 | 160 13600 95200 | 68348 65567 49 | 0.004 % |
337.50/337.72 c | 558166 | 160 13600 95200 | 68348 67617 49 | 0.004 % |
338.99/339.27 c | 560419 | 160 13600 95200 | 59819 51931 49 | 0.004 % |
340.49/340.70 c | 562898 | 160 13600 95200 | 59819 54410 49 | 0.004 % |
342.09/342.32 c | 565624 | 160 13600 95200 | 59819 57136 49 | 0.004 % |
343.79/344.08 c | 568621 | 160 13600 95200 | 59819 54048 49 | 0.004 % |
345.69/345.91 c | 571919 | 160 13600 95200 | 2147483647 57346 49 | 0.004 % |
347.79/348.07 c | 575545 | 160 13600 95200 | 2147483647 60972 49 | 0.004 % |
350.29/350.50 c | 579532 | 160 13600 95200 | 2147483647 64959 49 | 0.004 % |
352.88/353.11 c | 583917 | 160 13600 95200 | 65428 62013 49 | 0.004 % |
355.78/356.08 c | 588742 | 160 13600 95200 | 65428 58940 49 | 0.004 % |
358.78/359.04 c | 594047 | 160 13600 95200 | 60199 57239 49 | 0.004 % |
358.88/359.12 c | 594148 | 160 13600 95200 | 60199 57340 49 | 0.004 % |
358.88/359.19 c | 594258 | 160 13600 95200 | 60199 57450 49 | 0.004 % |
358.98/359.27 c | 594380 | 160 13600 95200 | 60199 57572 49 | 0.004 % |
359.08/359.34 c | 594514 | 160 13600 95200 | 60199 57706 49 | 0.004 % |
359.18/359.45 c | 594660 | 160 13600 95200 | 60199 57852 49 | 0.004 % |
359.28/359.57 c | 594821 | 160 13600 95200 | 60199 58013 49 | 0.004 % |
359.38/359.69 c | 594998 | 160 13600 95200 | 60199 58190 49 | 0.004 % |
359.58/359.83 c | 595193 | 160 13600 95200 | 60199 58385 49 | 0.004 % |
359.68/359.98 c | 595405 | 160 13600 95200 | 60199 58597 49 | 0.004 % |
359.88/360.17 c | 595639 | 160 13600 95200 | 60199 58831 49 | 0.004 % |
360.08/360.34 c | 595895 | 160 13600 95200 | 60199 59087 49 | 0.004 % |
360.28/360.53 c | 596178 | 160 13600 95200 | 60199 59370 49 | 0.004 % |
360.48/360.73 c | 596487 | 160 13600 95200 | 60199 59679 49 | 0.004 % |
360.68/360.98 c | 596826 | 160 13600 95200 | 60199 60018 49 | 0.004 % |
360.98/361.26 c | 597201 | 160 13600 95200 | 60199 54310 49 | 0.004 % |
361.28/361.51 c | 597611 | 160 13600 95200 | 60199 54720 49 | 0.004 % |
361.48/361.75 c | 598060 | 160 13600 95200 | 60199 55169 49 | 0.004 % |
361.78/362.09 c | 598554 | 160 13600 95200 | 60199 55663 49 | 0.004 % |
362.18/362.46 c | 599097 | 160 13600 95200 | 60199 56206 49 | 0.004 % |
362.58/362.85 c | 599693 | 160 13600 95200 | 60199 56802 49 | 0.004 % |
362.98/363.29 c | 600349 | 160 13600 95200 | 57109 51440 49 | 0.004 % |
363.48/363.71 c | 601069 | 160 13600 95200 | 57109 52160 49 | 0.004 % |
363.98/364.28 c | 601861 | 160 13600 95200 | 57109 52952 49 | 0.004 % |
364.57/364.82 c | 602733 | 160 13600 95200 | 57109 53824 49 | 0.004 % |
365.08/365.40 c | 603692 | 160 13600 95200 | 57109 54783 49 | 0.004 % |
365.67/365.99 c | 604745 | 160 13600 95200 | 57109 55836 49 | 0.004 % |
366.37/366.66 c | 605905 | 160 13600 95200 | 57109 56996 49 | 0.004 % |
367.08/367.37 c | 607180 | 160 13600 95200 | 57109 52553 49 | 0.004 % |
367.87/368.12 c | 608580 | 160 13600 95200 | 57109 53953 49 | 0.004 % |
368.97/369.20 c | 610120 | 160 13600 95200 | 2147483647 55493 49 | 0.004 % |
369.97/370.27 c | 611815 | 160 13600 95200 | 2147483647 57188 49 | 0.004 % |
371.27/371.55 c | 613679 | 160 13600 95200 | 2147483647 59052 49 | 0.004 % |
372.68/372.93 c | 615729 | 160 13600 95200 | 2147483647 61102 49 | 0.004 % |
374.07/374.31 c | 617982 | 160 13600 95200 | 2147483647 63355 49 | 0.004 % |
375.57/375.89 c | 620460 | 160 13600 95200 | 65374 58482 49 | 0.004 % |
377.27/377.55 c | 623186 | 160 13600 95200 | 65374 61208 49 | 0.004 % |
379.17/379.43 c | 626184 | 160 13600 95200 | 65374 64206 49 | 0.004 % |
381.27/381.57 c | 629481 | 160 13600 95200 | 65374 59922 49 | 0.004 % |
383.47/383.71 c | 633107 | 160 13600 95200 | 60442 56750 49 | 0.004 % |
385.77/386.02 c | 637095 | 160 13600 95200 | 60442 54686 49 | 0.004 % |
388.37/388.65 c | 641481 | 160 13600 95200 | 2147483647 59072 49 | 0.004 % |
391.37/391.63 c | 646304 | 160 13600 95200 | 2147483647 63895 49 | 0.004 % |
394.76/395.09 c | 651611 | 160 13600 95200 | 67591 61009 49 | 0.004 % |
398.46/398.78 c | 657447 | 160 13600 95200 | 67591 66845 49 | 0.004 % |
398.56/398.85 c | 657547 | 160 13600 95200 | 67591 66945 49 | 0.004 % |
398.66/398.96 c | 657657 | 160 13600 95200 | 67591 67055 49 | 0.004 % |
398.76/399.06 c | 657778 | 160 13600 95200 | 67591 67176 49 | 0.004 % |
398.86/399.17 c | 657913 | 160 13600 95200 | 67591 67311 49 | 0.004 % |
398.96/399.30 c | 658059 | 160 13600 95200 | 67591 67457 49 | 0.004 % |
399.16/399.45 c | 658220 | 160 13600 95200 | 67591 67618 49 | 0.004 % |
399.36/399.62 c | 658396 | 160 13600 95200 | 67591 59183 49 | 0.004 % |
399.46/399.75 c | 658589 | 160 13600 95200 | 67591 59376 49 | 0.004 % |
399.66/399.91 c | 658802 | 160 13600 95200 | 67591 59589 49 | 0.004 % |
399.76/400.07 c | 659035 | 160 13600 95200 | 67591 59822 49 | 0.004 % |
399.96/400.26 c | 659293 | 160 13600 95200 | 67591 60080 49 | 0.004 % |
400.16/400.47 c | 659574 | 160 13600 95200 | 67591 60361 49 | 0.004 % |
400.46/400.72 c | 659883 | 160 13600 95200 | 67591 60670 49 | 0.004 % |
400.66/400.98 c | 660222 | 160 13600 95200 | 60787 53035 49 | 0.004 % |
400.86/401.18 c | 660595 | 160 13600 95200 | 60787 53408 49 | 0.004 % |
401.16/401.47 c | 661004 | 160 13600 95200 | 60787 53817 49 | 0.004 % |
401.56/401.81 c | 661453 | 160 13600 95200 | 60787 54266 49 | 0.004 % |
401.86/402.15 c | 661949 | 160 13600 95200 | 60787 54762 49 | 0.004 % |
402.16/402.50 c | 662491 | 160 13600 95200 | 60787 55304 49 | 0.004 % |
402.56/402.88 c | 663087 | 160 13600 95200 | 60787 55900 49 | 0.004 % |
403.06/403.30 c | 663743 | 160 13600 95200 | 60787 56556 49 | 0.004 % |
403.46/403.72 c | 664466 | 160 13600 95200 | 60787 57279 49 | 0.004 % |
403.95/404.21 c | 665258 | 160 13600 95200 | 60787 58071 49 | 0.004 % |
404.46/404.77 c | 666130 | 160 13600 95200 | 60787 58943 49 | 0.004 % |
405.05/405.37 c | 667088 | 160 13600 95200 | 60787 59901 49 | 0.004 % |
405.85/406.10 c | 668141 | 160 13600 95200 | 60787 53794 49 | 0.004 % |
406.45/406.78 c | 669302 | 160 13600 95200 | 60787 54955 49 | 0.004 % |
407.25/407.54 c | 670575 | 160 13600 95200 | 55654 49982 49 | 0.004 % |
407.95/408.25 c | 671975 | 160 13600 95200 | 55654 51382 49 | 0.004 % |
408.75/409.02 c | 673517 | 160 13600 95200 | 55654 52924 49 | 0.004 % |
409.75/410.03 c | 675212 | 160 13600 95200 | 55654 54619 49 | 0.004 % |
410.75/411.09 c | 677075 | 160 13600 95200 | 55654 50909 49 | 0.004 % |
412.05/412.30 c | 679124 | 160 13600 95200 | 55654 52958 49 | 0.004 % |
413.35/413.62 c | 681379 | 160 13600 95200 | 2147483647 55213 49 | 0.004 % |
414.75/415.05 c | 683857 | 160 13600 95200 | 2147483647 57691 49 | 0.004 % |
416.35/416.69 c | 686582 | 160 13600 95200 | 2147483647 60416 49 | 0.004 % |
418.35/418.69 c | 689580 | 160 13600 95200 | 2147483647 63414 49 | 0.004 % |
420.55/420.89 c | 692876 | 160 13600 95200 | 63838 60152 49 | 0.004 % |
422.94/423.29 c | 696501 | 160 13600 95200 | 63838 63777 49 | 0.004 % |
425.54/425.82 c | 700488 | 160 13600 95200 | 59308 52523 49 | 0.004 % |
427.94/428.22 c | 704875 | 160 13600 95200 | 59308 56910 49 | 0.004 % |
430.74/431.01 c | 709701 | 160 13600 95200 | 59308 55798 49 | 0.004 % |
433.74/434.05 c | 715009 | 160 13600 95200 | 2147483647 61106 49 | 0.004 % |
437.74/438.06 c | 720846 | 160 13600 95200 | 66098 58999 49 | 0.004 % |
441.64/441.95 c | 727264 | 160 13600 95200 | 66098 65417 49 | 0.004 % |
441.74/442.03 c | 727365 | 160 13600 95200 | 66098 65518 49 | 0.004 % |
441.84/442.11 c | 727476 | 160 13600 95200 | 66098 65629 49 | 0.004 % |
441.84/442.19 c | 727597 | 160 13600 95200 | 66098 65750 49 | 0.004 % |
442.03/442.31 c | 727733 | 160 13600 95200 | 66098 65886 49 | 0.004 % |
442.13/442.44 c | 727879 | 160 13600 95200 | 66098 66032 49 | 0.004 % |
442.33/442.63 c | 728039 | 160 13600 95200 | 66098 58161 49 | 0.004 % |
442.43/442.79 c | 728215 | 160 13600 95200 | 66098 58337 49 | 0.004 % |
442.63/442.92 c | 728410 | 160 13600 95200 | 66098 58532 49 | 0.004 % |
442.73/443.06 c | 728622 | 160 13600 95200 | 66098 58744 49 | 0.004 % |
442.93/443.20 c | 728855 | 160 13600 95200 | 66098 58977 49 | 0.004 % |
443.03/443.38 c | 729111 | 160 13600 95200 | 66098 59233 49 | 0.004 % |
443.23/443.54 c | 729392 | 160 13600 95200 | 66098 59514 49 | 0.004 % |
443.43/443.73 c | 729701 | 160 13600 95200 | 66098 59823 49 | 0.004 % |
443.63/443.94 c | 730041 | 160 13600 95200 | 60122 60163 49 | 0.004 % |
443.93/444.27 c | 730413 | 160 13600 95200 | 60122 53322 49 | 0.004 % |
444.23/444.56 c | 730822 | 160 13600 95200 | 60122 53731 49 | 0.004 % |
444.53/444.82 c | 731271 | 160 13600 95200 | 60122 54180 49 | 0.004 % |
444.83/445.11 c | 731764 | 160 13600 95200 | 60122 54673 49 | 0.004 % |
445.13/445.45 c | 732309 | 160 13600 95200 | 60122 55218 49 | 0.004 % |
445.53/445.83 c | 732906 | 160 13600 95200 | 60122 55815 49 | 0.004 % |
445.83/446.20 c | 733562 | 160 13600 95200 | 60122 56471 49 | 0.004 % |
446.43/446.71 c | 734282 | 160 13600 95200 | 60122 57191 49 | 0.004 % |
446.93/447.20 c | 735074 | 160 13600 95200 | 60122 57983 49 | 0.004 % |
447.53/447.81 c | 735946 | 160 13600 95200 | 60122 58855 49 | 0.004 % |
448.12/448.43 c | 736905 | 160 13600 95200 | 60122 59814 49 | 0.004 % |
448.72/449.08 c | 737959 | 160 13600 95200 | 60122 53649 49 | 0.004 % |
449.42/449.77 c | 739117 | 160 13600 95200 | 60122 54807 49 | 0.004 % |
450.22/450.60 c | 740391 | 160 13600 95200 | 55690 49615 49 | 0.004 % |
451.03/451.32 c | 741792 | 160 13600 95200 | 55690 51016 49 | 0.004 % |
451.73/452.09 c | 743334 | 160 13600 95200 | 55690 52558 49 | 0.004 % |
452.72/453.05 c | 745028 | 160 13600 95200 | 55690 54252 49 | 0.004 % |
453.93/454.26 c | 746892 | 160 13600 95200 | 55690 50540 49 | 0.004 % |
455.13/455.46 c | 748941 | 160 13600 95200 | 55690 52589 49 | 0.004 % |
456.32/456.66 c | 751194 | 160 13600 95200 | 2147483647 54842 49 | 0.004 % |
457.52/457.87 c | 753672 | 160 13600 95200 | 2147483647 57320 49 | 0.004 % |
459.02/459.36 c | 756398 | 160 13600 95200 | 2147483647 60046 49 | 0.004 % |
460.72/461.07 c | 759396 | 160 13600 95200 | 2147483647 63044 49 | 0.004 % |
462.72/463.00 c | 762693 | 160 13600 95200 | 2147483647 66341 49 | 0.004 % |
465.02/465.36 c | 766320 | 160 13600 95200 | 2147483647 69968 49 | 0.004 % |
467.72/468.04 c | 770307 | 160 13600 95200 | 73651 64304 49 | 0.004 % |
470.52/470.82 c | 774692 | 160 13600 95200 | 73651 68689 49 | 0.004 % |
474.02/474.31 c | 779517 | 160 13600 95200 | 73651 73514 49 | 0.004 % |
477.22/477.60 c | 784822 | 160 13600 95200 | 62861 58102 49 | 0.004 % |
480.92/481.26 c | 790659 | 160 13600 95200 | 55404 49189 49 | 0.004 % |
484.31/484.60 c | 797077 | 160 13600 95200 | 55404 50060 49 | 0.004 % |
487.61/487.95 c | 804136 | 160 13600 95200 | 2147483647 57119 49 | 0.004 % |
487.71/488.00 c | 804238 | 160 13600 95200 | 2147483647 57221 49 | 0.004 % |
487.71/488.06 c | 804349 | 160 13600 95200 | 2147483647 57332 49 | 0.004 % |
487.81/488.14 c | 804474 | 160 13600 95200 | 2147483647 57457 49 | 0.004 % |
487.91/488.23 c | 804608 | 160 13600 95200 | 2147483647 57591 49 | 0.004 % |
488.01/488.32 c | 804754 | 160 13600 95200 | 2147483647 57737 49 | 0.004 % |
488.11/488.42 c | 804915 | 160 13600 95200 | 2147483647 57898 49 | 0.004 % |
488.21/488.56 c | 805092 | 160 13600 95200 | 2147483647 58075 49 | 0.004 % |
488.41/488.73 c | 805287 | 160 13600 95200 | 2147483647 58270 49 | 0.004 % |
488.51/488.88 c | 805502 | 160 13600 95200 | 2147483647 58485 49 | 0.004 % |
488.71/489.07 c | 805735 | 160 13600 95200 | 2147483647 58718 49 | 0.004 % |
488.91/489.24 c | 805991 | 160 13600 95200 | 2147483647 58974 49 | 0.004 % |
489.11/489.44 c | 806273 | 160 13600 95200 | 2147483647 59256 49 | 0.004 % |
489.31/489.63 c | 806584 | 160 13600 95200 | 2147483647 59567 49 | 0.004 % |
489.51/489.89 c | 806923 | 160 13600 95200 | 2147483647 59906 49 | 0.004 % |
489.81/490.16 c | 807295 | 160 13600 95200 | 2147483647 60278 49 | 0.004 % |
490.11/490.45 c | 807704 | 160 13600 95200 | 2147483647 60687 49 | 0.004 % |
490.41/490.74 c | 808153 | 160 13600 95200 | 2147483647 61136 49 | 0.004 % |
490.71/491.09 c | 808646 | 160 13600 95200 | 2147483647 61629 49 | 0.004 % |
491.11/491.46 c | 809188 | 160 13600 95200 | 2147483647 62171 49 | 0.004 % |
491.61/491.92 c | 809785 | 160 13600 95200 | 2147483647 62768 49 | 0.004 % |
492.01/492.39 c | 810445 | 160 13600 95200 | 62983 56949 49 | 0.004 % |
492.51/492.80 c | 811168 | 160 13600 95200 | 62983 57672 49 | 0.004 % |
492.90/493.25 c | 811960 | 160 13600 95200 | 62983 58464 49 | 0.004 % |
493.51/493.80 c | 812832 | 160 13600 95200 | 62983 59336 49 | 0.004 % |
494.00/494.35 c | 813790 | 160 13600 95200 | 62983 60294 49 | 0.004 % |
494.61/494.99 c | 814843 | 160 13600 95200 | 62983 61347 49 | 0.004 % |
495.30/495.65 c | 816001 | 160 13600 95200 | 62983 62505 49 | 0.004 % |
496.30/496.64 c | 817274 | 160 13600 95200 | 62983 57153 49 | 0.004 % |
497.20/497.58 c | 818674 | 160 13600 95200 | 62983 58553 49 | 0.004 % |
498.30/498.66 c | 820214 | 160 13600 95200 | 59880 53398 49 | 0.004 % |
499.40/499.74 c | 821910 | 160 13600 95200 | 59880 55094 49 | 0.004 % |
500.40/500.78 c | 823775 | 160 13600 95200 | 59880 56959 49 | 0.004 % |
501.70/502.03 c | 825825 | 160 13600 95200 | 59880 59009 49 | 0.004 % |
503.00/503.39 c | 828079 | 160 13600 95200 | 59880 55188 49 | 0.004 % |
504.70/505.04 c | 830557 | 160 13600 95200 | 2147483647 57666 49 | 0.004 % |
506.50/506.81 c | 833282 | 160 13600 95200 | 2147483647 60391 49 | 0.004 % |
508.40/508.74 c | 836281 | 160 13600 95200 | 2147483647 63390 49 | 0.004 % |
510.60/510.96 c | 839579 | 160 13600 95200 | 2147483647 66688 49 | 0.004 % |
513.20/513.53 c | 843205 | 160 13600 95200 | 67111 61471 49 | 0.004 % |
515.79/516.11 c | 847192 | 160 13600 95200 | 67111 65458 49 | 0.004 % |
518.49/518.83 c | 851577 | 160 13600 95200 | 59121 52892 49 | 0.004 % |
521.29/521.67 c | 856402 | 160 13600 95200 | 59121 57717 49 | 0.004 % |
524.39/524.71 c | 861707 | 160 13600 95200 | 54859 50941 49 | 0.004 % |
527.39/527.74 c | 867543 | 160 13600 95200 | 54859 51284 49 | 0.004 % |
530.89/531.24 c | 873962 | 160 13600 95200 | 2147483647 57703 49 | 0.004 % |
535.28/535.65 c | 881021 | 160 13600 95200 | 2147483647 64762 49 | 0.004 % |
540.58/540.99 c | 888785 | 160 13600 95200 | 2147483647 72526 49 | 0.004 % |
540.68/541.08 c | 888886 | 160 13600 95200 | 2147483647 72627 49 | 0.004 % |
540.78/541.16 c | 888997 | 160 13600 95200 | 2147483647 72738 49 | 0.004 % |
540.88/541.25 c | 889118 | 160 13600 95200 | 2147483647 72859 49 | 0.004 % |
540.98/541.34 c | 889251 | 160 13600 95200 | 2147483647 72992 49 | 0.004 % |
541.08/541.47 c | 889397 | 160 13600 95200 | 2147483647 73138 49 | 0.004 % |
541.28/541.60 c | 889557 | 160 13600 95200 | 2147483647 73298 49 | 0.004 % |
541.48/541.81 c | 889735 | 160 13600 95200 | 2147483647 73476 49 | 0.004 % |
541.68/542.00 c | 889930 | 160 13600 95200 | 2147483647 73671 49 | 0.004 % |
541.88/542.29 c | 890142 | 160 13600 95200 | 73741 62106 50 | 0.004 % |
542.08/542.47 c | 890376 | 160 13600 95200 | 73741 62340 50 | 0.004 % |
542.28/542.65 c | 890634 | 160 13600 95200 | 73741 62598 50 | 0.004 % |
542.48/542.82 c | 890918 | 160 13600 95200 | 73741 62882 50 | 0.004 % |
542.68/543.01 c | 891227 | 160 13600 95200 | 73741 63191 50 | 0.004 % |
542.88/543.22 c | 891566 | 160 13600 95200 | 73741 63530 50 | 0.004 % |
543.18/543.56 c | 891939 | 160 13600 95200 | 73741 63903 50 | 0.004 % |
543.48/543.88 c | 892350 | 160 13600 95200 | 73741 64314 50 | 0.004 % |
543.88/544.25 c | 892799 | 160 13600 95200 | 73741 64763 50 | 0.004 % |
544.28/544.60 c | 893292 | 160 13600 95200 | 73741 65256 50 | 0.004 % |
544.58/544.99 c | 893834 | 160 13600 95200 | 73741 65798 50 | 0.004 % |
545.18/545.52 c | 894433 | 160 13600 95200 | 73741 66397 50 | 0.004 % |
545.68/546.02 c | 895090 | 160 13600 95200 | 73741 67054 50 | 0.004 % |
546.38/546.72 c | 895811 | 160 13600 95200 | 73741 67775 50 | 0.004 % |
546.98/547.36 c | 896604 | 160 13600 95200 | 73741 68568 50 | 0.004 % |
547.58/547.98 c | 897476 | 160 13600 95200 | 73741 69440 50 | 0.004 % |
548.38/548.71 c | 898434 | 160 13600 95200 | 73741 70398 50 | 0.004 % |
549.08/549.48 c | 899487 | 160 13600 95200 | 73741 71451 50 | 0.004 % |
550.18/550.57 c | 900645 | 160 13600 95200 | 71964 60055 50 | 0.004 % |
551.07/551.40 c | 901918 | 160 13600 95200 | 71964 61328 50 | 0.004 % |
551.78/552.20 c | 903320 | 160 13600 95200 | 71964 62730 49 | 0.004 % |
552.77/553.13 c | 904862 | 160 13600 95200 | 71964 64272 49 | 0.004 % |
553.87/554.28 c | 906558 | 160 13600 95200 | 71964 65968 49 | 0.004 % |
555.67/556.02 c | 908421 | 160 13600 95200 | 71964 67831 49 | 0.004 % |
557.17/557.50 c | 910470 | 160 13600 95200 | 69410 58729 49 | 0.004 % |
558.48/558.85 c | 912723 | 160 13600 95200 | 69410 60982 49 | 0.004 % |
560.07/560.41 c | 915202 | 160 13600 95200 | 69410 63461 49 | 0.004 % |
561.77/562.11 c | 917927 | 160 13600 95200 | 69410 66186 49 | 0.004 % |
563.77/564.17 c | 920925 | 160 13600 95200 | 68260 59451 49 | 0.004 % |
565.67/566.06 c | 924223 | 160 13600 95200 | 68260 62749 49 | 0.004 % |
567.97/568.38 c | 927848 | 160 13600 95200 | 68260 66374 49 | 0.004 % |
570.47/570.84 c | 931835 | 160 13600 95200 | 59589 53679 49 | 0.004 % |
572.97/573.39 c | 936221 | 160 13600 95200 | 59589 58065 49 | 0.004 % |
575.76/576.16 c | 941045 | 160 13600 95200 | 2147483647 56923 49 | 0.004 % |
578.86/579.22 c | 946351 | 160 13600 95200 | 2147483647 62229 49 | 0.004 % |
582.56/582.93 c | 952188 | 160 13600 95200 | 65878 60402 49 | 0.004 % |
586.45/586.88 c | 958606 | 160 13600 95200 | 65878 59157 49 | 0.004 % |
590.55/590.92 c | 965666 | 160 13600 95200 | 60551 59446 49 | 0.004 % |
594.95/595.32 c | 973431 | 160 13600 95200 | 2147483647 61149 49 | 0.004 % |
600.15/600.53 c | 981971 | 160 13600 95200 | 67718 62061 49 | 0.004 % |
600.25/600.61 c | 982071 | 160 13600 95200 | 67718 62161 49 | 0.004 % |
600.34/600.71 c | 982184 | 160 13600 95200 | 67718 62274 49 | 0.004 % |
600.34/600.79 c | 982305 | 160 13600 95200 | 67718 62395 49 | 0.004 % |
600.54/600.90 c | 982442 | 160 13600 95200 | 67718 62532 49 | 0.004 % |
600.64/601.01 c | 982589 | 160 13600 95200 | 67718 62679 49 | 0.004 % |
600.74/601.13 c | 982749 | 160 13600 95200 | 67718 62839 49 | 0.004 % |
600.84/601.27 c | 982925 | 160 13600 95200 | 67718 63015 49 | 0.004 % |
601.04/601.46 c | 983119 | 160 13600 95200 | 67718 63209 49 | 0.004 % |
601.25/601.63 c | 983332 | 160 13600 95200 | 67718 63422 49 | 0.004 % |
601.44/601.80 c | 983565 | 160 13600 95200 | 67718 63655 49 | 0.004 % |
601.64/602.01 c | 983821 | 160 13600 95200 | 67718 63911 49 | 0.004 % |
601.84/602.25 c | 984103 | 160 13600 95200 | 67718 64193 49 | 0.004 % |
602.04/602.48 c | 984412 | 160 13600 95200 | 67718 64502 49 | 0.004 % |
602.35/602.73 c | 984751 | 160 13600 95200 | 67718 64841 49 | 0.004 % |
602.54/602.98 c | 985123 | 160 13600 95200 | 67718 65213 49 | 0.004 % |
602.84/603.29 c | 985534 | 160 13600 95200 | 67718 65624 49 | 0.004 % |
603.24/603.61 c | 985983 | 160 13600 95200 | 67718 66073 49 | 0.004 % |
603.55/603.96 c | 986476 | 160 13600 95200 | 67718 66566 49 | 0.004 % |
603.94/604.33 c | 987018 | 160 13600 95200 | 67718 67108 49 | 0.004 % |
604.34/604.78 c | 987615 | 160 13600 95200 | 67718 67705 49 | 0.004 % |
604.84/605.23 c | 988273 | 160 13600 95200 | 67718 58631 49 | 0.004 % |
605.24/605.65 c | 988993 | 160 13600 95200 | 67718 59351 49 | 0.004 % |
605.64/606.10 c | 989786 | 160 13600 95200 | 67718 60144 49 | 0.004 % |
606.14/606.59 c | 990657 | 160 13600 95200 | 60358 52854 49 | 0.004 % |
606.64/607.08 c | 991615 | 160 13600 95200 | 60358 53812 49 | 0.004 % |
607.24/607.64 c | 992668 | 160 13600 95200 | 60358 54865 49 | 0.004 % |
607.94/608.32 c | 993827 | 160 13600 95200 | 60358 56024 49 | 0.004 % |
608.64/609.02 c | 995100 | 160 13600 95200 | 60358 57297 49 | 0.004 % |
609.34/609.74 c | 996500 | 160 13600 95200 | 60358 58697 49 | 0.004 % |
610.34/610.74 c | 998040 | 160 13600 95200 | 60358 60237 49 | 0.004 % |
611.44/611.83 c | 999737 | 160 13600 95200 | 60358 55892 49 | 0.004 % |
612.44/612.88 c | 1001602 | 160 13600 95200 | 2147483647 57757 49 | 0.004 % |
613.74/614.13 c | 1003651 | 160 13600 95200 | 2147483647 59806 49 | 0.004 % |
615.03/615.45 c | 1005904 | 160 13600 95200 | 2147483647 62059 49 | 0.004 % |
616.53/616.99 c | 1008384 | 160 13600 95200 | 2147483647 64539 49 | 0.004 % |
618.33/618.77 c | 1011109 | 160 13600 95200 | 66155 60427 49 | 0.004 % |
620.13/620.56 c | 1014106 | 160 13600 95200 | 66155 63424 49 | 0.004 % |
622.13/622.58 c | 1017402 | 160 13600 95200 | 66155 58679 49 | 0.004 % |
624.22/624.61 c | 1021027 | 160 13600 95200 | 61277 55139 49 | 0.004 % |
626.53/626.98 c | 1025015 | 160 13600 95200 | 61277 59127 49 | 0.004 % |
629.02/629.49 c | 1029400 | 160 13600 95200 | 61277 56531 49 | 0.004 % |
631.82/632.23 c | 1034223 | 160 13600 95200 | 57134 55117 49 | 0.004 % |
635.02/635.44 c | 1039528 | 160 13600 95200 | 57134 54702 49 | 0.004 % |
638.62/639.07 c | 1045364 | 160 13600 95200 | 2147483647 60538 49 | 0.004 % |
643.02/643.43 c | 1051782 | 160 13600 95200 | 65174 59253 49 | 0.004 % |
647.81/648.22 c | 1058842 | 160 13600 95200 | 65174 58363 49 | 0.004 % |
652.51/652.92 c | 1066606 | 160 13600 95200 | 59521 58885 50 | 0.004 % |
657.31/657.76 c | 1075149 | 160 13600 95200 | 2147483647 61314 50 | 0.004 % |
663.21/663.65 c | 1084545 | 160 13600 95200 | 66167 63661 50 | 0.004 % |
663.31/663.75 c | 1084645 | 160 13600 95200 | 66167 63761 50 | 0.004 % |
663.41/663.83 c | 1084757 | 160 13600 95200 | 66167 63873 50 | 0.004 % |
663.51/663.92 c | 1084878 | 160 13600 95200 | 66167 63994 50 | 0.004 % |
663.61/664.01 c | 1085011 | 160 13600 95200 | 66167 64127 50 | 0.004 % |
663.71/664.15 c | 1085157 | 160 13600 95200 | 66167 64273 50 | 0.004 % |
663.81/664.26 c | 1085318 | 160 13600 95200 | 66167 64434 50 | 0.004 % |
663.91/664.39 c | 1085494 | 160 13600 95200 | 66167 64610 50 | 0.004 % |
664.11/664.52 c | 1085688 | 160 13600 95200 | 66167 64804 50 | 0.004 % |
664.21/664.66 c | 1085901 | 160 13600 95200 | 66167 65017 50 | 0.004 % |
664.41/664.83 c | 1086136 | 160 13600 95200 | 66167 65252 50 | 0.004 % |
664.61/665.03 c | 1086392 | 160 13600 95200 | 66167 65508 50 | 0.004 % |
664.81/665.21 c | 1086675 | 160 13600 95200 | 66167 65791 50 | 0.004 % |
665.01/665.43 c | 1086984 | 160 13600 95200 | 66167 66100 50 | 0.004 % |
665.31/665.71 c | 1087323 | 160 13600 95200 | 66167 58429 49 | 0.004 % |
665.51/665.93 c | 1087695 | 160 13600 95200 | 66167 58801 49 | 0.004 % |
665.81/666.22 c | 1088105 | 160 13600 95200 | 66167 59211 49 | 0.004 % |
666.11/666.50 c | 1088554 | 160 13600 95200 | 66167 59660 49 | 0.004 % |
666.41/666.83 c | 1089047 | 160 13600 95200 | 66167 60153 49 | 0.004 % |
666.80/667.20 c | 1089589 | 160 13600 95200 | 66167 60695 49 | 0.004 % |
667.20/667.63 c | 1090185 | 160 13600 95200 | 61106 53932 49 | 0.004 % |
667.50/667.99 c | 1090842 | 160 13600 95200 | 61106 54589 49 | 0.004 % |
668.00/668.41 c | 1091563 | 160 13600 95200 | 61106 55310 49 | 0.004 % |
668.50/668.99 c | 1092355 | 160 13600 95200 | 61106 56102 49 | 0.004 % |
669.10/669.54 c | 1093229 | 160 13600 95200 | 61106 56976 49 | 0.004 % |
669.60/670.06 c | 1094189 | 160 13600 95200 | 61106 57936 49 | 0.004 % |
670.20/670.64 c | 1095242 | 160 13600 95200 | 61106 58989 49 | 0.004 % |
670.90/671.34 c | 1096402 | 160 13600 95200 | 61106 60149 49 | 0.004 % |
671.70/672.14 c | 1097675 | 160 13600 95200 | 61106 54706 49 | 0.004 % |
672.40/672.86 c | 1099076 | 160 13600 95200 | 61106 56107 49 | 0.004 % |
673.40/673.84 c | 1100617 | 160 13600 95200 | 57034 51627 49 | 0.004 % |
674.30/674.75 c | 1102312 | 160 13600 95200 | 57034 53322 49 | 0.004 % |
675.20/675.68 c | 1104177 | 160 13600 95200 | 57034 55187 49 | 0.004 % |
676.40/676.87 c | 1106228 | 160 13600 95200 | 57034 51529 49 | 0.004 % |
677.60/678.06 c | 1108481 | 160 13600 95200 | 57034 53782 49 | 0.004 % |
679.10/679.50 c | 1110961 | 160 13600 95200 | 2147483647 56262 49 | 0.004 % |
680.69/681.12 c | 1113691 | 160 13600 95200 | 2147483647 58992 49 | 0.004 % |
682.60/683.09 c | 1116689 | 160 13600 95200 | 2147483647 61990 49 | 0.004 % |
684.69/685.11 c | 1119986 | 160 13600 95200 | 2147483647 65287 49 | 0.004 % |
687.19/687.62 c | 1123611 | 160 13600 95200 | 2147483647 68912 49 | 0.004 % |
689.99/690.48 c | 1127600 | 160 13600 95200 | 2147483647 72901 49 | 0.004 % |
693.10/693.58 c | 1131988 | 160 13600 95200 | 75302 66129 49 | 0.004 % |
696.20/696.65 c | 1136811 | 160 13600 95200 | 75302 70952 49 | 0.004 % |
699.69/700.14 c | 1142116 | 160 13600 95200 | 74142 64946 49 | 0.004 % |
703.29/703.70 c | 1147951 | 160 13600 95200 | 74142 70781 49 | 0.004 % |
707.19/707.62 c | 1154371 | 160 13600 95200 | 72830 66872 49 | 0.004 % |
711.89/712.31 c | 1161432 | 160 13600 95200 | 72501 63228 49 | 0.004 % |
716.88/717.35 c | 1169198 | 160 13600 95200 | 72501 70994 49 | 0.004 % |
722.58/723.08 c | 1177738 | 160 13600 95200 | 71797 68704 49 | 0.004 % |
728.88/729.30 c | 1187136 | 160 13600 95200 | 70968 68335 50 | 0.004 % |
735.77/736.21 c | 1197469 | 160 13600 95200 | 61253 60127 50 | 0.004 % |
735.77/736.28 c | 1197569 | 160 13600 95200 | 61253 60227 50 | 0.004 % |
735.87/736.37 c | 1197679 | 160 13600 95200 | 61253 60337 50 | 0.004 % |
735.97/736.46 c | 1197800 | 160 13600 95200 | 61253 60458 50 | 0.004 % |
736.07/736.54 c | 1197933 | 160 13600 95200 | 61253 60591 50 | 0.004 % |
736.17/736.62 c | 1198079 | 160 13600 95200 | 61253 60737 50 | 0.004 % |
736.27/736.71 c | 1198240 | 160 13600 95200 | 61253 60898 50 | 0.004 % |
736.37/736.81 c | 1198416 | 160 13600 95200 | 61253 61074 50 | 0.004 % |
736.48/736.94 c | 1198609 | 160 13600 95200 | 61253 61267 50 | 0.004 % |
736.67/737.12 c | 1198821 | 160 13600 95200 | 61253 54693 50 | 0.004 % |
736.77/737.26 c | 1199054 | 160 13600 95200 | 61253 54926 50 | 0.004 % |
736.97/737.40 c | 1199310 | 160 13600 95200 | 61253 55182 50 | 0.004 % |
737.07/737.56 c | 1199592 | 160 13600 95200 | 61253 55464 50 | 0.004 % |
737.27/737.74 c | 1199901 | 160 13600 95200 | 61253 55773 50 | 0.004 % |
737.47/738.00 c | 1200240 | 160 13600 95200 | 55873 50000 49 | 0.004 % |
737.77/738.20 c | 1200613 | 160 13600 95200 | 55873 50373 49 | 0.004 % |
737.97/738.43 c | 1201022 | 160 13600 95200 | 55873 50782 49 | 0.004 % |
738.27/738.72 c | 1201472 | 160 13600 95200 | 55873 51232 49 | 0.004 % |
738.57/739.06 c | 1201965 | 160 13600 95200 | 55873 51725 49 | 0.004 % |
738.97/739.40 c | 1202507 | 160 13600 95200 | 55873 52267 49 | 0.004 % |
739.27/739.77 c | 1203103 | 160 13600 95200 | 55873 52863 49 | 0.004 % |
739.77/740.22 c | 1203759 | 160 13600 95200 | 55873 53519 49 | 0.004 % |
740.27/740.71 c | 1204479 | 160 13600 95200 | 55873 54239 49 | 0.004 % |
740.67/741.18 c | 1205272 | 160 13600 95200 | 55873 55032 49 | 0.004 % |
741.17/741.66 c | 1206143 | 160 13600 95200 | 55873 55903 49 | 0.004 % |
741.67/742.17 c | 1207101 | 160 13600 95200 | 55873 51271 49 | 0.004 % |
742.17/742.66 c | 1208154 | 160 13600 95200 | 55873 52324 49 | 0.004 % |
742.77/743.20 c | 1209312 | 160 13600 95200 | 55873 53482 49 | 0.004 % |
743.37/743.83 c | 1210585 | 160 13600 95200 | 2147483647 54755 49 | 0.004 % |
744.07/744.53 c | 1211985 | 160 13600 95200 | 2147483647 56155 49 | 0.004 % |
744.87/745.35 c | 1213526 | 160 13600 95200 | 2147483647 57696 49 | 0.004 % |
745.87/746.30 c | 1215220 | 160 13600 95200 | 2147483647 59390 49 | 0.004 % |
746.97/747.45 c | 1217083 | 160 13600 95200 | 2147483647 61253 49 | 0.004 % |
748.27/748.74 c | 1219133 | 160 13600 95200 | 2147483647 63303 49 | 0.004 % |
749.77/750.23 c | 1221386 | 160 13600 95200 | 64170 58805 49 | 0.004 % |
751.17/751.63 c | 1223866 | 160 13600 95200 | 64170 61285 49 | 0.004 % |
752.87/753.30 c | 1226592 | 160 13600 95200 | 64170 64011 49 | 0.004 % |
754.67/755.16 c | 1229589 | 160 13600 95200 | 64170 59793 49 | 0.004 % |
756.76/757.21 c | 1232885 | 160 13600 95200 | 60205 55914 49 | 0.004 % |
758.85/759.39 c | 1236510 | 160 13600 95200 | 60205 59539 49 | 0.004 % |
761.44/761.91 c | 1240498 | 160 13600 95200 | 56627 51353 49 | 0.004 % |
763.95/764.46 c | 1244883 | 160 13600 95200 | 56627 55738 49 | 0.004 % |
766.54/767.01 c | 1249707 | 160 13600 95200 | 56627 54893 49 | 0.004 % |
769.55/770.01 c | 1255012 | 160 13600 95200 | 2147483647 60198 49 | 0.004 % |
773.24/773.73 c | 1260848 | 160 13600 95200 | 65187 58719 49 | 0.004 % |
777.44/777.94 c | 1267267 | 160 13600 95200 | 65187 65138 49 | 0.004 % |
781.84/782.34 c | 1274326 | 160 13600 95200 | 59999 57222 49 | 0.004 % |
786.44/786.95 c | 1282090 | 160 13600 95200 | 56552 52979 49 | 0.004 % |
790.93/791.47 c | 1290631 | 160 13600 95200 | 2147483647 55858 49 | 0.004 % |
796.53/797.10 c | 1300025 | 160 13600 95200 | 2147483647 65252 49 | 0.004 % |
804.22/804.70 c | 1310358 | 160 13600 95200 | 75229 63121 49 | 0.004 % |
811.12/811.66 c | 1321725 | 160 13600 95200 | 72765 63341 50 | 0.004 % |
811.22/811.72 c | 1321825 | 160 13600 95200 | 72765 63441 50 | 0.004 % |
811.32/811.80 c | 1321935 | 160 13600 95200 | 72765 63551 50 | 0.004 % |
811.42/811.90 c | 1322056 | 160 13600 95200 | 72765 63672 50 | 0.004 % |
811.52/812.03 c | 1322189 | 160 13600 95200 | 72765 63805 50 | 0.004 % |
811.62/812.13 c | 1322335 | 160 13600 95200 | 72765 63951 50 | 0.004 % |
811.72/812.25 c | 1322495 | 160 13600 95200 | 72765 64111 50 | 0.004 % |
811.82/812.38 c | 1322671 | 160 13600 95200 | 72765 64287 50 | 0.004 % |
812.02/812.53 c | 1322864 | 160 13600 95200 | 72765 64480 50 | 0.004 % |
812.12/812.68 c | 1323076 | 160 13600 95200 | 72765 64692 50 | 0.004 % |
812.42/812.91 c | 1323314 | 160 13600 95200 | 72765 64930 50 | 0.004 % |
812.62/813.15 c | 1323573 | 160 13600 95200 | 72765 65189 50 | 0.004 % |
812.92/813.43 c | 1323854 | 160 13600 95200 | 72765 65470 50 | 0.004 % |
813.21/813.72 c | 1324163 | 160 13600 95200 | 72765 65779 50 | 0.004 % |
813.52/814.01 c | 1324504 | 160 13600 95200 | 72765 66120 50 | 0.004 % |
813.81/814.32 c | 1324877 | 160 13600 95200 | 72765 66493 50 | 0.004 % |
814.11/814.60 c | 1325287 | 160 13600 95200 | 72765 66903 50 | 0.004 % |
814.41/814.91 c | 1325736 | 160 13600 95200 | 72765 67352 50 | 0.004 % |
814.71/815.25 c | 1326231 | 160 13600 95200 | 72765 67847 50 | 0.004 % |
815.11/815.61 c | 1326774 | 160 13600 95200 | 72765 68390 50 | 0.004 % |
815.51/816.04 c | 1327371 | 160 13600 95200 | 72765 68987 50 | 0.004 % |
816.01/816.52 c | 1328026 | 160 13600 95200 | 72765 69642 50 | 0.004 % |
816.61/817.16 c | 1328746 | 160 13600 95200 | 72765 70362 50 | 0.004 % |
817.31/817.86 c | 1329538 | 160 13600 95200 | 72765 71154 50 | 0.004 % |
818.21/818.72 c | 1330410 | 160 13600 95200 | 71616 59935 50 | 0.004 % |
818.92/819.44 c | 1331369 | 160 13600 95200 | 71616 60894 50 | 0.004 % |
819.71/820.27 c | 1332422 | 160 13600 95200 | 71616 61947 50 | 0.004 % |
820.61/821.15 c | 1333582 | 160 13600 95200 | 71616 63107 50 | 0.004 % |
821.61/822.18 c | 1334855 | 160 13600 95200 | 71616 64380 50 | 0.004 % |
822.81/823.34 c | 1336255 | 160 13600 95200 | 71616 65780 50 | 0.004 % |
823.91/824.44 c | 1337795 | 160 13600 95200 | 71616 67320 50 | 0.004 % |
825.11/825.69 c | 1339489 | 160 13600 95200 | 71616 69014 50 | 0.004 % |
826.41/826.93 c | 1341353 | 160 13600 95200 | 69525 59366 49 | 0.004 % |
827.61/828.11 c | 1343402 | 160 13600 95200 | 69525 61415 49 | 0.004 % |
828.81/829.32 c | 1345656 | 160 13600 95200 | 69525 63669 50 | 0.004 % |
830.31/830.82 c | 1348134 | 160 13600 95200 | 69525 66147 49 | 0.004 % |
832.01/832.52 c | 1350859 | 160 13600 95200 | 68015 60244 49 | 0.004 % |
833.81/834.34 c | 1353856 | 160 13600 95200 | 68015 63241 49 | 0.004 % |
835.90/836.44 c | 1357154 | 160 13600 95200 | 68015 66539 49 | 0.004 % |
838.20/838.72 c | 1360779 | 160 13600 95200 | 60735 54013 49 | 0.004 % |
840.30/840.83 c | 1364768 | 160 13600 95200 | 60735 58002 49 | 0.004 % |
842.80/843.35 c | 1369153 | 160 13600 95200 | 60735 56307 49 | 0.004 % |
845.50/846.08 c | 1373980 | 160 13600 95200 | 2147483647 61134 49 | 0.004 % |
849.09/849.65 c | 1379286 | 160 13600 95200 | 2147483647 66440 49 | 0.004 % |
852.98/853.56 c | 1385121 | 160 13600 95200 | 67155 64987 49 | 0.004 % |
856.88/857.47 c | 1391540 | 160 13600 95200 | 61718 55879 49 | 0.004 % |
860.48/861.05 c | 1398600 | 160 13600 95200 | 61718 56760 49 | 0.004 % |
864.57/865.12 c | 1406365 | 160 13600 95200 | 2147483647 64525 49 | 0.004 % |
869.48/870.05 c | 1414905 | 160 13600 95200 | 68161 65941 49 | 0.004 % |
875.67/876.21 c | 1424300 | 160 13600 95200 | 63129 59896 49 | 0.004 % |
882.07/882.66 c | 1434634 | 160 13600 95200 | 58040 55864 49 | 0.004 % |
888.66/889.27 c | 1446000 | 160 13600 95200 | 2147483647 61419 49 | 0.004 % |
895.96/896.58 c | 1458503 | 160 13600 95200 | 65422 57798 49 | 0.004 % |
896.05/896.67 c | 1458603 | 160 13600 95200 | 65422 57898 49 | 0.004 % |
896.15/896.73 c | 1458714 | 160 13600 95200 | 65422 58009 49 | 0.004 % |
896.25/896.81 c | 1458835 | 160 13600 95200 | 65422 58130 49 | 0.004 % |
896.25/896.89 c | 1458969 | 160 13600 95200 | 65422 58264 49 | 0.004 % |
896.35/896.99 c | 1459115 | 160 13600 95200 | 65422 58410 49 | 0.004 % |
896.45/897.08 c | 1459277 | 160 13600 95200 | 65422 58572 49 | 0.004 % |
896.55/897.19 c | 1459453 | 160 13600 95200 | 65422 58748 49 | 0.004 % |
896.75/897.32 c | 1459646 | 160 13600 95200 | 65422 58941 49 | 0.004 % |
896.85/897.44 c | 1459858 | 160 13600 95200 | 65422 59153 49 | 0.004 % |
897.06/897.66 c | 1460091 | 160 13600 95200 | 59297 51964 49 | 0.004 % |
897.25/897.83 c | 1460347 | 160 13600 95200 | 59297 52220 49 | 0.004 % |
897.35/898.00 c | 1460628 | 160 13600 95200 | 59297 52501 49 | 0.004 % |
897.55/898.17 c | 1460937 | 160 13600 95200 | 59297 52810 49 | 0.004 % |
897.75/898.37 c | 1461277 | 160 13600 95200 | 59297 53150 49 | 0.004 % |
897.95/898.60 c | 1461651 | 160 13600 95200 | 59297 53524 49 | 0.004 % |
898.25/898.84 c | 1462060 | 160 13600 95200 | 59297 53933 49 | 0.004 % |
898.55/899.19 c | 1462510 | 160 13600 95200 | 59297 54383 49 | 0.004 % |
898.95/899.52 c | 1463003 | 160 13600 95200 | 59297 54876 49 | 0.004 % |
899.25/899.87 c | 1463545 | 160 13600 95200 | 59297 55418 49 | 0.004 % |
899.65/900.25 c | 1464141 | 160 13600 95200 | 59297 56014 49 | 0.004 % |
900.05/900.69 c | 1464796 | 160 13600 95200 | 59297 56669 49 | 0.004 % |
900.55/901.12 c | 1465517 | 160 13600 95200 | 59297 57390 49 | 0.004 % |
901.05/901.60 c | 1466309 | 160 13600 95200 | 59297 58182 49 | 0.004 % |
901.55/902.15 c | 1467180 | 160 13600 95200 | 59297 59053 49 | 0.004 % |
902.15/902.78 c | 1468139 | 160 13600 95200 | 59297 53427 49 | 0.004 % |
902.85/903.41 c | 1469193 | 160 13600 95200 | 59297 54481 49 | 0.004 % |
903.55/904.12 c | 1470351 | 160 13600 95200 | 55291 49692 49 | 0.004 % |
904.25/904.87 c | 1471624 | 160 13600 95200 | 55291 50965 49 | 0.004 % |
905.05/905.64 c | 1473024 | 160 13600 95200 | 55291 52365 49 | 0.004 % |
905.95/906.56 c | 1474564 | 160 13600 95200 | 55291 53905 49 | 0.004 % |
907.05/907.65 c | 1476259 | 160 13600 95200 | 55291 50063 49 | 0.004 % |
908.05/908.68 c | 1478124 | 160 13600 95200 | 55291 51928 49 | 0.004 % |
909.15/909.71 c | 1480173 | 160 13600 95200 | 2147483647 53977 49 | 0.004 % |
910.25/910.89 c | 1482426 | 160 13600 95200 | 2147483647 56230 49 | 0.004 % |
911.74/912.32 c | 1484904 | 160 13600 95200 | 2147483647 58708 49 | 0.004 % |
913.34/913.96 c | 1487630 | 160 13600 95200 | 2147483647 61434 49 | 0.004 % |
915.24/915.88 c | 1490629 | 160 13600 95200 | 63805 58031 49 | 0.004 % |
917.24/917.86 c | 1493925 | 160 13600 95200 | 63805 61327 49 | 0.004 % |
919.44/920.00 c | 1497552 | 160 13600 95200 | 63805 58331 49 | 0.004 % |
922.04/922.61 c | 1501539 | 160 13600 95200 | 60779 55642 49 | 0.004 % |
924.84/925.40 c | 1505924 | 160 13600 95200 | 60779 60027 49 | 0.004 % |
927.44/928.09 c | 1510747 | 160 13600 95200 | 56967 51654 49 | 0.004 % |
930.53/931.14 c | 1516052 | 160 13600 95200 | 56967 56959 49 | 0.004 % |
933.83/934.45 c | 1521889 | 160 13600 95200 | 2147483647 57091 49 | 0.004 % |
937.73/938.35 c | 1528308 | 160 13600 95200 | 2147483647 63510 49 | 0.004 % |
941.92/942.50 c | 1535367 | 160 13600 95200 | 65202 63398 49 | 0.004 % |
946.32/946.95 c | 1543132 | 160 13600 95200 | 60816 57431 49 | 0.004 % |
951.42/952.07 c | 1551674 | 160 13600 95200 | 2147483647 59885 49 | 0.004 % |
958.52/959.15 c | 1561068 | 160 13600 95200 | 68211 60166 50 | 0.004 % |
965.01/965.68 c | 1571401 | 160 13600 95200 | 59440 52601 50 | 0.004 % |
971.31/971.93 c | 1582767 | 160 13600 95200 | 2147483647 58017 50 | 0.004 % |
979.41/980.09 c | 1595269 | 160 13600 95200 | 65251 63006 50 | 0.004 % |
987.79/988.45 c | 1609021 | 160 13600 95200 | 59761 55832 49 | 0.004 % |
987.89/988.52 c | 1609122 | 160 13600 95200 | 59761 55933 49 | 0.004 % |
987.89/988.59 c | 1609233 | 160 13600 95200 | 59761 56044 49 | 0.004 % |
987.99/988.65 c | 1609355 | 160 13600 95200 | 59761 56166 49 | 0.004 % |
988.09/988.75 c | 1609489 | 160 13600 95200 | 59761 56300 49 | 0.004 % |
988.19/988.84 c | 1609636 | 160 13600 95200 | 59761 56447 49 | 0.004 % |
988.29/988.93 c | 1609796 | 160 13600 95200 | 59761 56607 49 | 0.004 % |
988.39/989.03 c | 1609972 | 160 13600 95200 | 59761 56783 49 | 0.004 % |
988.49/989.14 c | 1610165 | 160 13600 95200 | 2147483647 56976 49 | 0.004 % |
988.59/989.27 c | 1610377 | 160 13600 95200 | 2147483647 57188 49 | 0.004 % |
988.79/989.42 c | 1610611 | 160 13600 95200 | 2147483647 57422 49 | 0.004 % |
988.99/989.60 c | 1610868 | 160 13600 95200 | 2147483647 57679 49 | 0.004 % |
989.09/989.79 c | 1611149 | 160 13600 95200 | 2147483647 57960 49 | 0.004 % |
989.29/990.00 c | 1611460 | 160 13600 95200 | 2147483647 58271 49 | 0.004 % |
989.59/990.20 c | 1611799 | 160 13600 95200 | 2147483647 58610 49 | 0.004 % |
989.69/990.39 c | 1612171 | 160 13600 95200 | 2147483647 58982 49 | 0.004 % |
989.99/990.65 c | 1612580 | 160 13600 95200 | 2147483647 59391 49 | 0.004 % |
990.39/991.02 c | 1613030 | 160 13600 95200 | 2147483647 59841 49 | 0.004 % |
990.69/991.38 c | 1613525 | 160 13600 95200 | 2147483647 60336 49 | 0.004 % |
991.19/991.84 c | 1614067 | 160 13600 95200 | 2147483647 60878 49 | 0.004 % |
991.59/992.28 c | 1614663 | 160 13600 95200 | 2147483647 61474 49 | 0.004 % |
991.99/992.68 c | 1615318 | 160 13600 95200 | 2147483647 62129 49 | 0.004 % |
992.49/993.16 c | 1616039 | 160 13600 95200 | 2147483647 62850 49 | 0.004 % |
993.09/993.79 c | 1616833 | 160 13600 95200 | 2147483647 63644 49 | 0.004 % |
993.69/994.39 c | 1617704 | 160 13600 95200 | 2147483647 64515 49 | 0.004 % |
994.29/994.99 c | 1618662 | 160 13600 95200 | 2147483647 65473 49 | 0.004 % |
995.08/995.75 c | 1619716 | 160 13600 95200 | 2147483647 66527 49 | 0.004 % |
995.89/996.53 c | 1620874 | 160 13600 95200 | 66811 59467 49 | 0.004 % |
996.69/997.39 c | 1622148 | 160 13600 95200 | 66811 60741 49 | 0.004 % |
997.49/998.19 c | 1623548 | 160 13600 95200 | 66811 62141 49 | 0.004 % |
998.69/999.31 c | 1625089 | 160 13600 95200 | 66811 63682 49 | 0.004 % |
999.79/1000.45 c | 1626784 | 160 13600 95200 | 66811 65377 49 | 0.004 % |
1001.09/1001.77 c | 1628647 | 160 13600 95200 | 66811 58348 49 | 0.004 % |
1002.39/1003.09 c | 1630697 | 160 13600 95200 | 59701 52476 49 | 0.004 % |
1003.69/1004.35 c | 1632950 | 160 13600 95200 | 59701 54729 49 | 0.004 % |
1004.99/1005.68 c | 1635428 | 160 13600 95200 | 59701 57207 49 | 0.004 % |
1006.69/1007.36 c | 1638154 | 160 13600 95200 | 59701 53554 49 | 0.004 % |
1008.49/1009.10 c | 1641152 | 160 13600 95200 | 55400 50859 49 | 0.004 % |
1010.09/1010.74 c | 1644449 | 160 13600 95200 | 55400 54156 49 | 0.004 % |
1012.09/1012.71 c | 1648074 | 160 13600 95200 | 55400 52233 49 | 0.004 % |
1014.38/1015.07 c | 1652062 | 160 13600 95200 | 2147483647 56221 49 | 0.004 % |
1017.18/1017.85 c | 1656448 | 160 13600 95200 | 2147483647 60607 49 | 0.004 % |
1020.19/1020.84 c | 1661272 | 160 13600 95200 | 64161 58599 49 | 0.004 % |
1023.38/1024.03 c | 1666578 | 160 13600 95200 | 64161 63905 49 | 0.004 % |
1026.97/1027.68 c | 1672414 | 160 13600 95200 | 60331 56096 49 | 0.004 % |
1030.77/1031.41 c | 1678833 | 160 13600 95200 | 60331 56474 49 | 0.004 % |
1034.97/1035.66 c | 1685895 | 160 13600 95200 | 2147483647 63536 49 | 0.004 % |
1040.47/1041.10 c | 1693660 | 160 13600 95200 | 67641 63429 49 | 0.004 % |
1045.77/1046.42 c | 1702201 | 160 13600 95200 | 61151 55632 49 | 0.004 % |
1051.86/1052.55 c | 1711596 | 160 13600 95200 | 56505 51797 49 | 0.004 % |
1057.36/1058.00 c | 1721929 | 160 13600 95200 | 2147483647 56472 49 | 0.004 % |
1063.96/1064.69 c | 1733295 | 160 13600 95200 | 64545 60968 49 | 0.004 % |
1071.26/1071.96 c | 1745797 | 160 13600 95200 | 60722 60195 49 | 0.004 % |
1079.65/1080.34 c | 1759549 | 160 13600 95200 | 2147483647 67868 49 | 0.004 % |
1088.65/1089.30 c | 1774677 | 160 13600 95200 | 61067 57863 49 | 0.004 % |
1088.65/1089.36 c | 1774781 | 160 13600 95200 | 61067 57967 49 | 0.004 % |
1088.75/1089.43 c | 1774891 | 160 13600 95200 | 61067 58077 49 | 0.004 % |
1088.85/1089.50 c | 1775014 | 160 13600 95200 | 61067 58200 49 | 0.004 % |
1088.95/1089.61 c | 1775148 | 160 13600 95200 | 61067 58334 49 | 0.004 % |
1089.05/1089.72 c | 1775295 | 160 13600 95200 | 61067 58481 49 | 0.004 % |
1089.15/1089.83 c | 1775457 | 160 13600 95200 | 61067 58643 49 | 0.004 % |
1089.25/1089.96 c | 1775634 | 160 13600 95200 | 61067 58820 49 | 0.004 % |
1089.35/1090.08 c | 1775829 | 160 13600 95200 | 61067 59015 49 | 0.004 % |
1089.55/1090.22 c | 1776042 | 160 13600 95200 | 61067 59228 49 | 0.004 % |
1089.75/1090.41 c | 1776275 | 160 13600 95200 | 61067 59461 49 | 0.004 % |
1089.85/1090.57 c | 1776531 | 160 13600 95200 | 61067 59717 49 | 0.004 % |
1090.05/1090.77 c | 1776812 | 160 13600 95200 | 61067 59998 49 | 0.004 % |
1090.35/1091.00 c | 1777124 | 160 13600 95200 | 61067 60310 49 | 0.004 % |
1090.55/1091.27 c | 1777463 | 160 13600 95200 | 61067 60649 49 | 0.004 % |
1090.75/1091.49 c | 1777836 | 160 13600 95200 | 61067 61022 49 | 0.004 % |
1091.05/1091.78 c | 1778246 | 160 13600 95200 | 61067 54351 49 | 0.004 % |
1091.34/1092.03 c | 1778696 | 160 13600 95200 | 61067 54801 49 | 0.004 % |
1091.65/1092.32 c | 1779189 | 160 13600 95200 | 61067 55294 49 | 0.004 % |
1091.94/1092.60 c | 1779731 | 160 13600 95200 | 61067 55836 49 | 0.004 % |
1092.34/1093.00 c | 1780330 | 160 13600 95200 | 56106 50172 49 | 0.004 % |
1092.65/1093.34 c | 1780985 | 160 13600 95200 | 56106 50827 49 | 0.004 % |
1092.94/1093.70 c | 1781705 | 160 13600 95200 | 56106 51547 49 | 0.004 % |
1093.34/1094.05 c | 1782500 | 160 13600 95200 | 56106 52342 49 | 0.004 % |
1093.85/1094.59 c | 1783371 | 160 13600 95200 | 56106 53213 49 | 0.004 % |
1094.44/1095.15 c | 1784329 | 160 13600 95200 | 56106 54171 49 | 0.004 % |
1095.04/1095.77 c | 1785383 | 160 13600 95200 | 56106 55225 49 | 0.004 % |
1095.74/1096.48 c | 1786541 | 160 13600 95200 | 56106 50766 49 | 0.004 % |
1096.44/1097.15 c | 1787815 | 160 13600 95200 | 56106 52040 49 | 0.004 % |
1097.15/1097.85 c | 1789217 | 160 13600 95200 | 56106 53442 49 | 0.004 % |
1098.04/1098.75 c | 1790758 | 160 13600 95200 | 2147483647 54983 49 | 0.004 % |
1098.94/1099.69 c | 1792453 | 160 13600 95200 | 2147483647 56678 49 | 0.004 % |
1099.94/1100.69 c | 1794316 | 160 13600 95200 | 2147483647 58541 49 | 0.004 % |
1101.04/1101.78 c | 1796366 | 160 13600 95200 | 2147483647 60591 49 | 0.004 % |
1102.44/1103.12 c | 1798620 | 160 13600 95200 | 2147483647 62845 49 | 0.004 % |
1104.14/1104.86 c | 1801098 | 160 13600 95200 | 2147483647 65323 49 | 0.004 % |
1106.34/1107.04 c | 1803823 | 160 13600 95200 | 2147483647 68048 49 | 0.004 % |
1108.34/1109.08 c | 1806821 | 160 13600 95200 | 2147483647 71046 49 | 0.004 % |
1110.84/1111.58 c | 1810117 | 160 13600 95200 | 74225 62141 49 | 0.004 % |
1113.44/1114.15 c | 1813742 | 160 13600 95200 | 74225 65766 49 | 0.004 % |
1116.34/1117.03 c | 1817731 | 160 13600 95200 | 74225 69755 49 | 0.004 % |
1119.32/1120.07 c | 1822116 | 160 13600 95200 | 72024 62676 49 | 0.004 % |
1122.52/1123.20 c | 1826939 | 160 13600 95200 | 72024 67499 49 | 0.004 % |
1126.02/1126.74 c | 1832244 | 160 13600 95200 | 70563 63319 49 | 0.004 % |
1129.82/1130.55 c | 1838081 | 160 13600 95200 | 70563 69156 49 | 0.004 % |
1133.52/1134.27 c | 1844499 | 160 13600 95200 | 61493 57717 49 | 0.004 % |
1137.42/1138.11 c | 1851558 | 160 13600 95200 | 56708 52498 49 | 0.004 % |
1141.81/1142.52 c | 1859326 | 160 13600 95200 | 56708 54589 49 | 0.004 % |
1146.81/1147.55 c | 1867867 | 160 13600 95200 | 2147483647 63130 49 | 0.004 % |
1152.71/1153.47 c | 1877261 | 160 13600 95200 | 65264 65241 49 | 0.004 % |
1159.01/1159.74 c | 1887594 | 160 13600 95200 | 60237 54973 50 | 0.004 % |
1165.80/1166.56 c | 1898960 | 160 13600 95200 | 2147483647 66339 50 | 0.004 % |
1173.10/1173.85 c | 1911462 | 160 13600 95200 | 61241 55571 50 | 0.004 % |
1181.10/1181.86 c | 1925215 | 160 13600 95200 | 2147483647 63193 50 | 0.004 % |
1190.79/1191.52 c | 1940343 | 160 13600 95200 | 62932 56301 50 | 0.004 % |
1200.09/1200.80 HOME/SatELiteGTI: line 36: 16867 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832601-1242785040/watcher-1832601-1242785040 -o /tmp/evaluation-result-1832601-1242785040/solver-1832601-1242785040 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832601-1242785040.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.94 0.99 0.99 3/65 16861
/proc/meminfo: memFree=1743624/2055920 swapFree=4180512/4192956
[pid=16861] ppid=16859 vsize=5356 CPUtime=0
/proc/16861/stat : 16861 (SatELiteGTI) S 16859 16861 16296 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306532976 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 226687156306 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/16861/statm: 1339 235 195 169 0 50 0
[pid=16862] ppid=16861 vsize=0 CPUtime=0
/proc/16862/stat : 16862 (SatELiteGTI) R 16861 16861 16296 0 -1 4194372 61 188 0 0 0 0 0 0 20 0 1 0 306532976 0 0 1992294400 0 0 0 0 0 0 0 4096 65538 0 0 0 17 0 0 0
/proc/16862/statm: 0 0 0 0 0 0 0
[startup+0.043868 s]
/proc/loadavg: 0.94 0.99 0.99 3/65 16861
/proc/meminfo: memFree=1743624/2055920 swapFree=4180512/4192956
[pid=16861] ppid=16859 vsize=5356 CPUtime=0
/proc/16861/stat : 16861 (SatELiteGTI) S 16859 16861 16296 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306532976 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16861/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101875 s]
/proc/loadavg: 0.94 0.99 0.99 3/65 16861
/proc/meminfo: memFree=1743624/2055920 swapFree=4180512/4192956
[pid=16861] ppid=16859 vsize=5356 CPUtime=0.04
/proc/16861/stat : 16861 (SatELiteGTI) S 16859 16861 16296 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306532976 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16861/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.301916 s]
/proc/loadavg: 0.94 0.99 0.99 3/65 16861
/proc/meminfo: memFree=1743624/2055920 swapFree=4180512/4192956
[pid=16861] ppid=16859 vsize=5356 CPUtime=0.04
/proc/16861/stat : 16861 (SatELiteGTI) S 16859 16861 16296 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306532976 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16861/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.701997 s]
/proc/loadavg: 0.94 0.99 0.99 3/65 16861
/proc/meminfo: memFree=1743624/2055920 swapFree=4180512/4192956
[pid=16861] ppid=16859 vsize=5356 CPUtime=0.04
/proc/16861/stat : 16861 (SatELiteGTI) S 16859 16861 16296 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306532976 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16861/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+1.50116 s]
/proc/loadavg: 0.94 0.99 0.99 2/67 16867
/proc/meminfo: memFree=1740408/2055920 swapFree=4180512/4192956
[pid=16861] ppid=16859 vsize=5356 CPUtime=0.04
/proc/16861/stat : 16861 (SatELiteGTI) S 16859 16861 16296 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306532976 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16861/statm: 1339 239 197 169 0 50 0
[pid=16867] ppid=16861 vsize=4820 CPUtime=1.44
/proc/16867/stat : 16867 (minisat_static) R 16861 16861 16296 0 -1 4194304 943 0 0 0 144 0 0 0 25 0 1 0 306532981 4935680 929 1992294400 134512640 135215339 4294956240 18446744073709551615 134528903 0 0 4096 3 0 0 0 17 0 0 0
/proc/16867/statm: 1205 929 76 171 0 1032 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10176
[startup+3.10149 s]
/proc/loadavg: 0.94 0.99 0.99 2/67 16867
/proc/meminfo: memFree=1738360/2055920 swapFree=4180512/4192956
[pid=16861] ppid=16859 vsize=5356 CPUtime=0.04
/proc/16861/stat : 16861 (SatELiteGTI) S 16859 16861 16296 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306532976 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16861/statm: 1339 239 197 169 0 50 0
[pid=16867] ppid=16861 vsize=7036 CPUtime=3.03
/proc/16867/stat : 16867 (minisat_static) R 16861 16861 16296 0 -1 4194304 1474 0 0 0 303 0 0 0 25 0 1 0 306532981 7204864 1460 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16867/statm: 1759 1460 76 171 0 1586 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 12392
[startup+6.30114 s]
/proc/loadavg: 0.95 0.99 0.99 2/67 16867
/proc/meminfo: memFree=1735160/2055920 swapFree=4180512/4192956
[pid=16861] ppid=16859 vsize=5356 CPUtime=0.04
/proc/16861/stat : 16861 (SatELiteGTI) S 16859 16861 16296 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306532976 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16861/statm: 1339 239 197 169 0 50 0
[pid=16867] ppid=16861 vsize=9576 CPUtime=6.23
/proc/16867/stat : 16867 (minisat_static) R 16861 16861 16296 0 -1 4194304 2123 0 0 0 622 1 0 0 25 0 1 0 306532981 9805824 2109 1992294400 134512640 135215339 4294956240 18446744073709551615 134528858 0 0 4096 3 0 0 0 17 0 0 0
/proc/16867/statm: 2394 2109 76 171 0 2221 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 14932
[startup+12.7014 s]
/proc/loadavg: 0.95 0.99 0.99 2/67 16867
/proc/meminfo: memFree=1731256/2055920 swapFree=4180512/4192956
[pid=16861] ppid=16859 vsize=5356 CPUtime=0.04
/proc/16861/stat : 16861 (SatELiteGTI) S 16859 16861 16296 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306532976 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16861/statm: 1339 239 197 169 0 50 0
[pid=16867] ppid=16861 vsize=13096 CPUtime=12.63
/proc/16867/stat : 16867 (minisat_static) R 16861 16861 16296 0 -1 4194304 3003 0 0 0 1261 2 0 0 25 0 1 0 306532981 13410304 2989 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16867/statm: 3274 2989 76 171 0 3101 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 18452
[startup+25.501 s]
/proc/loadavg: 0.96 0.99 0.99 2/67 16867
/proc/meminfo: memFree=1726520/2055920 swapFree=4180512/4192956
[pid=16861] ppid=16859 vsize=5356 CPUtime=0.04
/proc/16861/stat : 16861 (SatELiteGTI) S 16859 16861 16296 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306532976 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16861/statm: 1339 239 197 169 0 50 0
[pid=16867] ppid=16861 vsize=17724 CPUtime=25.42
/proc/16867/stat : 16867 (minisat_static) R 16861 16861 16296 0 -1 4194304 4150 0 0 0 2539 3 0 0 25 0 1 0 306532981 18149376 4136 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16867/statm: 4431 4136 76 171 0 4258 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 23080
[startup+51.1013 s]
/proc/loadavg: 0.97 0.99 0.99 2/67 16867
/proc/meminfo: memFree=1726200/2055920 swapFree=4180512/4192956
[pid=16861] ppid=16859 vsize=5356 CPUtime=0.04
/proc/16861/stat : 16861 (SatELiteGTI) S 16859 16861 16296 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306532976 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16861/statm: 1339 239 197 169 0 50 0
[pid=16867] ppid=16861 vsize=17988 CPUtime=51.01
/proc/16867/stat : 16867 (minisat_static) R 16861 16861 16296 0 -1 4194304 4195 0 0 0 5098 3 0 0 25 0 1 0 306532981 18419712 4181 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16867/statm: 4497 4181 76 171 0 4324 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 23344
[startup+102.306 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 16867
/proc/meminfo: memFree=1725816/2055920 swapFree=4180512/4192956
[pid=16861] ppid=16859 vsize=5356 CPUtime=0.04
/proc/16861/stat : 16861 (SatELiteGTI) S 16859 16861 16296 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306532976 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16861/statm: 1339 239 197 169 0 50 0
[pid=16867] ppid=16861 vsize=18256 CPUtime=102.19
/proc/16867/stat : 16867 (minisat_static) R 16861 16861 16296 0 -1 4194304 4258 0 0 0 10215 4 0 0 25 0 1 0 306532981 18694144 4244 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/16867/statm: 4564 4244 76 171 0 4391 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 23612
[startup+162.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 16867
/proc/meminfo: memFree=1723192/2055920 swapFree=4180512/4192956
[pid=16861] ppid=16859 vsize=5356 CPUtime=0.04
/proc/16861/stat : 16861 (SatELiteGTI) S 16859 16861 16296 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306532976 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16861/statm: 1339 239 197 169 0 50 0
[pid=16867] ppid=16861 vsize=20636 CPUtime=162.16
/proc/16867/stat : 16867 (minisat_static) R 16861 16861 16296 0 -1 4194304 4872 0 0 0 16211 5 0 0 25 0 1 0 306532981 21131264 4858 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16867/statm: 5159 4858 76 171 0 4986 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 25992
[startup+222.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 16867
/proc/meminfo: memFree=1723064/2055920 swapFree=4180512/4192956
[pid=16861] ppid=16859 vsize=5356 CPUtime=0.04
/proc/16861/stat : 16861 (SatELiteGTI) S 16859 16861 16296 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306532976 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16861/statm: 1339 239 197 169 0 50 0
[pid=16867] ppid=16861 vsize=20636 CPUtime=222.1
/proc/16867/stat : 16867 (minisat_static) R 16861 16861 16296 0 -1 4194304 4872 0 0 0 22205 5 0 0 25 0 1 0 306532981 21131264 4858 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16867/statm: 5159 4858 76 171 0 4986 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 25992
[startup+282.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 16867
/proc/meminfo: memFree=1722936/2055920 swapFree=4180512/4192956
[pid=16861] ppid=16859 vsize=5356 CPUtime=0.04
/proc/16861/stat : 16861 (SatELiteGTI) S 16859 16861 16296 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306532976 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16861/statm: 1339 239 197 169 0 50 0
[pid=16867] ppid=16861 vsize=20636 CPUtime=282.08
/proc/16867/stat : 16867 (minisat_static) R 16861 16861 16296 0 -1 4194304 4872 0 0 0 28202 6 0 0 25 0 1 0 306532981 21131264 4858 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/16867/statm: 5159 4858 76 171 0 4986 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 25992
[startup+342.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 16867
/proc/meminfo: memFree=1722808/2055920 swapFree=4180512/4192956
[pid=16861] ppid=16859 vsize=5356 CPUtime=0.04
/proc/16861/stat : 16861 (SatELiteGTI) S 16859 16861 16296 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306532976 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16861/statm: 1339 239 197 169 0 50 0
[pid=16867] ppid=16861 vsize=20636 CPUtime=342.05
/proc/16867/stat : 16867 (minisat_static) R 16861 16861 16296 0 -1 4194304 4872 0 0 0 34199 6 0 0 25 0 1 0 306532981 21131264 4858 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16867/statm: 5159 4858 76 171 0 4986 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 25992
[startup+402.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 16867
/proc/meminfo: memFree=1722680/2055920 swapFree=4180512/4192956
[pid=16861] ppid=16859 vsize=5356 CPUtime=0.04
/proc/16861/stat : 16861 (SatELiteGTI) S 16859 16861 16296 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306532976 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16861/statm: 1339 239 197 169 0 50 0
[pid=16867] ppid=16861 vsize=20636 CPUtime=402.02
/proc/16867/stat : 16867 (minisat_static) R 16861 16861 16296 0 -1 4194304 4872 0 0 0 40196 6 0 0 25 0 1 0 306532981 21131264 4858 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/16867/statm: 5159 4858 76 171 0 4986 0
Current children cumulated CPU time (s) 402.06
################
# More data... #
################
[pid=16867] ppid=16861 vsize=20636 CPUtime=461.98
/proc/16867/stat : 16867 (minisat_static) R 16861 16861 16296 0 -1 4194304 4872 0 0 0 46192 6 0 0 25 0 1 0 306532981 21131264 4858 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16867/statm: 5159 4858 76 171 0 4986 0
Current children cumulated CPU time (s) 462.02
Current children cumulated vsize (KiB) 25992
[startup+522.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 16867
/proc/meminfo: memFree=1721528/2055920 swapFree=4180512/4192956
[pid=16861] ppid=16859 vsize=5356 CPUtime=0.04
/proc/16861/stat : 16861 (SatELiteGTI) S 16859 16861 16296 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306532976 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16861/statm: 1339 239 197 169 0 50 0
[pid=16867] ppid=16861 vsize=21828 CPUtime=521.95
/proc/16867/stat : 16867 (minisat_static) R 16861 16861 16296 0 -1 4194304 5165 0 0 0 52188 7 0 0 25 0 1 0 306532981 22351872 5151 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16867/statm: 5457 5151 76 171 0 5284 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 27184
[startup+582.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 16867
/proc/meminfo: memFree=1721016/2055920 swapFree=4180512/4192956
[pid=16861] ppid=16859 vsize=5356 CPUtime=0.04
/proc/16861/stat : 16861 (SatELiteGTI) S 16859 16861 16296 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306532976 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16861/statm: 1339 239 197 169 0 50 0
[pid=16867] ppid=16861 vsize=22232 CPUtime=581.91
/proc/16867/stat : 16867 (minisat_static) R 16861 16861 16296 0 -1 4194304 5272 0 0 0 58184 7 0 0 25 0 1 0 306532981 22765568 5258 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16867/statm: 5558 5258 76 171 0 5385 0
Current children cumulated CPU time (s) 581.95
Current children cumulated vsize (KiB) 27588
[startup+642.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 16867
/proc/meminfo: memFree=1720888/2055920 swapFree=4180512/4192956
[pid=16861] ppid=16859 vsize=5356 CPUtime=0.04
/proc/16861/stat : 16861 (SatELiteGTI) S 16859 16861 16296 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306532976 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16861/statm: 1339 239 197 169 0 50 0
[pid=16867] ppid=16861 vsize=22232 CPUtime=641.88
/proc/16867/stat : 16867 (minisat_static) R 16861 16861 16296 0 -1 4194304 5272 0 0 0 64181 7 0 0 25 0 1 0 306532981 22765568 5258 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/16867/statm: 5558 5258 76 171 0 5385 0
Current children cumulated CPU time (s) 641.92
Current children cumulated vsize (KiB) 27588
[startup+702.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 16867
/proc/meminfo: memFree=1720440/2055920 swapFree=4180512/4192956
[pid=16861] ppid=16859 vsize=5356 CPUtime=0.04
/proc/16861/stat : 16861 (SatELiteGTI) S 16859 16861 16296 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306532976 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16861/statm: 1339 239 197 169 0 50 0
[pid=16867] ppid=16861 vsize=22628 CPUtime=701.85
/proc/16867/stat : 16867 (minisat_static) R 16861 16861 16296 0 -1 4194304 5360 0 0 0 70177 8 0 0 25 0 1 0 306532981 23171072 5346 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/16867/statm: 5657 5346 76 171 0 5484 0
Current children cumulated CPU time (s) 701.89
Current children cumulated vsize (KiB) 27984
[startup+762.306 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 16867
/proc/meminfo: memFree=1720184/2055920 swapFree=4180512/4192956
[pid=16861] ppid=16859 vsize=5356 CPUtime=0.04
/proc/16861/stat : 16861 (SatELiteGTI) S 16859 16861 16296 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306532976 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16861/statm: 1339 239 197 169 0 50 0
[pid=16867] ppid=16861 vsize=22628 CPUtime=761.81
/proc/16867/stat : 16867 (minisat_static) R 16861 16861 16296 0 -1 4194304 5381 0 0 0 76173 8 0 0 25 0 1 0 306532981 23171072 5367 1992294400 134512640 135215339 4294956240 18446744073709551615 134528697 0 0 4096 3 0 0 0 17 0 0 0
/proc/16867/statm: 5657 5367 76 171 0 5484 0
Current children cumulated CPU time (s) 761.85
Current children cumulated vsize (KiB) 27984
[startup+822.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 16867
/proc/meminfo: memFree=1719608/2055920 swapFree=4180512/4192956
[pid=16861] ppid=16859 vsize=5356 CPUtime=0.04
/proc/16861/stat : 16861 (SatELiteGTI) S 16859 16861 16296 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306532976 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16861/statm: 1339 239 197 169 0 50 0
[pid=16867] ppid=16861 vsize=23156 CPUtime=821.77
/proc/16867/stat : 16867 (minisat_static) R 16861 16861 16296 0 -1 4194304 5490 0 0 0 82169 8 0 0 25 0 1 0 306532981 23711744 5476 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16867/statm: 5789 5476 76 171 0 5616 0
Current children cumulated CPU time (s) 821.81
Current children cumulated vsize (KiB) 28512
[startup+882.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 16867
/proc/meminfo: memFree=1719544/2055920 swapFree=4180512/4192956
[pid=16861] ppid=16859 vsize=5356 CPUtime=0.04
/proc/16861/stat : 16861 (SatELiteGTI) S 16859 16861 16296 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306532976 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16861/statm: 1339 239 197 169 0 50 0
[pid=16867] ppid=16861 vsize=23156 CPUtime=881.73
/proc/16867/stat : 16867 (minisat_static) R 16861 16861 16296 0 -1 4194304 5501 0 0 0 88165 8 0 0 25 0 1 0 306532981 23711744 5487 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/16867/statm: 5789 5487 76 171 0 5616 0
Current children cumulated CPU time (s) 881.77
Current children cumulated vsize (KiB) 28512
[startup+942.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 16867
/proc/meminfo: memFree=1719416/2055920 swapFree=4180512/4192956
[pid=16861] ppid=16859 vsize=5356 CPUtime=0.04
/proc/16861/stat : 16861 (SatELiteGTI) S 16859 16861 16296 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306532976 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16861/statm: 1339 239 197 169 0 50 0
[pid=16867] ppid=16861 vsize=23156 CPUtime=941.68
/proc/16867/stat : 16867 (minisat_static) R 16861 16861 16296 0 -1 4194304 5501 0 0 0 94160 8 0 0 25 0 1 0 306532981 23711744 5487 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16867/statm: 5789 5487 76 171 0 5616 0
Current children cumulated CPU time (s) 941.72
Current children cumulated vsize (KiB) 28512
[startup+1002.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 16867
/proc/meminfo: memFree=1719352/2055920 swapFree=4180512/4192956
[pid=16861] ppid=16859 vsize=5356 CPUtime=0.04
/proc/16861/stat : 16861 (SatELiteGTI) S 16859 16861 16296 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306532976 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16861/statm: 1339 239 197 169 0 50 0
[pid=16867] ppid=16861 vsize=23156 CPUtime=1001.65
/proc/16867/stat : 16867 (minisat_static) R 16861 16861 16296 0 -1 4194304 5502 0 0 0 100156 9 0 0 25 0 1 0 306532981 23711744 5488 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16867/statm: 5789 5488 76 171 0 5616 0
Current children cumulated CPU time (s) 1001.69
Current children cumulated vsize (KiB) 28512
[startup+1062.3 s]
/proc/loadavg: 1.03 1.00 1.00 2/67 16867
/proc/meminfo: memFree=1719352/2055920 swapFree=4180512/4192956
[pid=16861] ppid=16859 vsize=5356 CPUtime=0.04
/proc/16861/stat : 16861 (SatELiteGTI) S 16859 16861 16296 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306532976 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16861/statm: 1339 239 197 169 0 50 0
[pid=16867] ppid=16861 vsize=23156 CPUtime=1061.62
/proc/16867/stat : 16867 (minisat_static) R 16861 16861 16296 0 -1 4194304 5504 0 0 0 106153 9 0 0 25 0 1 0 306532981 23711744 5490 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16867/statm: 5789 5490 76 171 0 5616 0
Current children cumulated CPU time (s) 1061.66
Current children cumulated vsize (KiB) 28512
[startup+1122.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/67 16867
/proc/meminfo: memFree=1719288/2055920 swapFree=4180512/4192956
[pid=16861] ppid=16859 vsize=5356 CPUtime=0.04
/proc/16861/stat : 16861 (SatELiteGTI) S 16859 16861 16296 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306532976 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16861/statm: 1339 239 197 169 0 50 0
[pid=16867] ppid=16861 vsize=23156 CPUtime=1121.58
/proc/16867/stat : 16867 (minisat_static) R 16861 16861 16296 0 -1 4194304 5504 0 0 0 112149 9 0 0 25 0 1 0 306532981 23711744 5490 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16867/statm: 5789 5490 76 171 0 5616 0
Current children cumulated CPU time (s) 1121.62
Current children cumulated vsize (KiB) 28512
[startup+1182.3 s]
/proc/loadavg: 1.13 1.04 1.01 2/67 16867
/proc/meminfo: memFree=1719096/2055920 swapFree=4180512/4192956
[pid=16861] ppid=16859 vsize=5356 CPUtime=0.04
/proc/16861/stat : 16861 (SatELiteGTI) S 16859 16861 16296 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306532976 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16861/statm: 1339 239 197 169 0 50 0
[pid=16867] ppid=16861 vsize=23156 CPUtime=1181.56
/proc/16867/stat : 16867 (minisat_static) R 16861 16861 16296 0 -1 4194304 5505 0 0 0 118147 9 0 0 25 0 1 0 306532981 23711744 5491 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16867/statm: 5789 5491 76 171 0 5616 0
Current children cumulated CPU time (s) 1181.6
Current children cumulated vsize (KiB) 28512
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.8 s]
/proc/loadavg: 1.09 1.04 1.00 2/67 16867
/proc/meminfo: memFree=1719096/2055920 swapFree=4180512/4192956
[pid=16861] ppid=16859 vsize=5356 CPUtime=0.04
/proc/16861/stat : 16861 (SatELiteGTI) S 16859 16861 16296 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306532976 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16861/statm: 1339 239 197 169 0 50 0
[pid=16867] ppid=16861 vsize=23156 CPUtime=1200.05
/proc/16867/stat : 16867 (minisat_static) R 16861 16861 16296 0 -1 4194304 5505 0 0 0 119996 9 0 0 25 0 1 0 306532981 23711744 5491 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16867/statm: 5789 5491 76 171 0 5616 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 28512
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.81
CPU time (s): 1200.12
CPU user time (s): 1200.01
CPU system time (s): 0.101984
CPU usage (%): 99.9421
Max. virtual memory (cumulated for all children) (KiB): 28512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1200.01
system time used= 0.101984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6518
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= 26
involuntary context switches= 5596
runsolver used 1.15382 second user time and 3.3095 second system time
The end
Begin job on node80 at 2009-05-20 04:04:00
IDJOB=1832601
IDBENCH=70264
IDSOLVER=671
FILE ID=node80/1832601-1242785040
PBS_JOBID= 9322346
Free space on /tmp= 66192 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/160/unif-k7-r85-v160-c13600-S1543261951-042.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832601-1242785040/watcher-1832601-1242785040 -o /tmp/evaluation-result-1832601-1242785040/solver-1832601-1242785040 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832601-1242785040.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f53260962d7c8afd7ae82ca459f22f43
RANDOM SEED=882793722
node80.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.270
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.270
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1744104 kB
Buffers: 27208 kB
Cached: 235456 kB
SwapCached: 7160 kB
Active: 95544 kB
Inactive: 175844 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1744104 kB
SwapTotal: 4192956 kB
SwapFree: 4180512 kB
Dirty: 1960 kB
Writeback: 0 kB
Mapped: 13500 kB
Slab: 26348 kB
Committed_AS: 1106144 kB
PageTables: 1388 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66192 MiB
End job on node80 at 2009-05-20 04:24:03