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 | 20000 100000 | 5999 0 0 nan | 0.000 % |
0.00/0.02 c ==============================================================================
0.00/0.02 c Result : #vars: 1000 #clauses: 20000 #literals: 100000
0.00/0.02 c CPU time: 0.020996 s
0.00/0.02 c ==============================================================================
0.00/0.06 c This is MiniSat 2.0 beta
0.00/0.06 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06 c ============================[ Problem Statistics ]=============================
0.00/0.06 c | |
0.00/0.06 c | Number of variables: 1000 |
0.00/0.06 c | Number of clauses: 20000 |
0.00/0.07 c | Parsing time: 0.01 s |
0.00/0.07 c ============================[ Search Statistics ]==============================
0.00/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.07 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.07 c ===============================================================================
0.00/0.07 c | 0 | 1000 20000 100000 | 6666 0 nan | 0.000 % |
0.00/0.09 c | 103 | 1000 20000 100000 | 6666 103 108 | 0.000 % |
0.05/0.10 c | 203 | 1000 20000 100000 | 6666 203 118 | 0.000 % |
0.05/0.11 c | 303 | 1000 20000 100000 | 6666 303 122 | 0.000 % |
0.05/0.12 c | 414 | 1000 20000 100000 | 6666 414 124 | 0.000 % |
0.05/0.14 c | 514 | 1000 20000 100000 | 6666 514 124 | 0.000 % |
0.05/0.15 c | 625 | 1000 20000 100000 | 6666 625 125 | 0.000 % |
0.05/0.16 c | 746 | 1000 20000 100000 | 6666 746 124 | 0.000 % |
0.05/0.17 c | 847 | 1000 20000 100000 | 6666 847 123 | 0.000 % |
0.05/0.19 c | 958 | 1000 20000 100000 | 6666 958 123 | 0.000 % |
0.05/0.20 c | 1080 | 1000 20000 100000 | 6666 1080 122 | 0.000 % |
0.05/0.21 c | 1213 | 1000 20000 100000 | 6666 1213 122 | 0.000 % |
0.05/0.23 c | 1316 | 1000 20000 100000 | 6666 1316 121 | 0.000 % |
0.05/0.24 c | 1426 | 1000 20000 100000 | 6666 1426 123 | 0.000 % |
0.05/0.25 c | 1547 | 1000 20000 100000 | 6666 1547 124 | 0.000 % |
0.05/0.27 c | 1681 | 1000 20000 100000 | 6666 1681 125 | 0.000 % |
0.05/0.29 c | 1828 | 1000 20000 100000 | 6666 1828 124 | 0.000 % |
0.05/0.30 c | 1929 | 1000 20000 100000 | 6666 1929 123 | 0.000 % |
0.05/0.31 c | 2039 | 1000 20000 100000 | 6666 2039 123 | 0.000 % |
0.05/0.32 c | 2160 | 1000 20000 100000 | 6666 2160 122 | 0.000 % |
0.05/0.34 c | 2293 | 1000 20000 100000 | 6666 2293 122 | 0.000 % |
0.05/0.36 c | 2440 | 1000 20000 100000 | 6666 2440 122 | 0.000 % |
0.05/0.38 c | 2601 | 1000 20000 100000 | 6666 2601 122 | 0.000 % |
0.05/0.39 c | 2701 | 1000 20000 100000 | 6666 2701 122 | 0.000 % |
0.05/0.40 c | 2811 | 1000 20000 100000 | 6666 2811 122 | 0.000 % |
0.05/0.42 c | 2933 | 1000 20000 100000 | 6666 2933 122 | 0.000 % |
0.05/0.43 c | 3066 | 1000 20000 100000 | 6666 3066 122 | 0.000 % |
0.05/0.45 c | 3212 | 1000 20000 100000 | 6666 3212 122 | 0.000 % |
0.05/0.47 c | 3373 | 1000 20000 100000 | 6666 3373 122 | 0.000 % |
0.05/0.49 c | 3550 | 1000 20000 100000 | 6666 3550 123 | 0.000 % |
0.05/0.51 c | 3650 | 1000 20000 100000 | 6666 3650 122 | 0.000 % |
0.05/0.52 c | 3760 | 1000 20000 100000 | 6666 3760 122 | 0.000 % |
0.05/0.53 c | 3882 | 1000 20000 100000 | 6666 3882 122 | 0.000 % |
0.05/0.55 c | 4016 | 1000 20000 100000 | 6666 4016 122 | 0.000 % |
0.05/0.57 c | 4164 | 1000 20000 100000 | 6666 4164 122 | 0.000 % |
0.05/0.59 c | 4326 | 1000 20000 100000 | 6666 4326 122 | 0.000 % |
0.05/0.62 c | 4502 | 1000 20000 100000 | 6666 4502 122 | 0.000 % |
0.05/0.64 c | 4695 | 1000 20000 100000 | 6666 4695 122 | 0.000 % |
0.05/0.65 c | 4796 | 1000 20000 100000 | 6666 4796 122 | 0.000 % |
0.05/0.67 c | 4907 | 1000 20000 100000 | 6666 4907 122 | 0.000 % |
0.05/0.69 c | 5028 | 1000 20000 100000 | 6666 5028 122 | 0.000 % |
0.05/0.71 c | 5161 | 1000 20000 100000 | 6666 5161 123 | 0.000 % |
0.05/0.72 c | 5307 | 1000 20000 100000 | 6666 5307 122 | 0.000 % |
0.05/0.75 c | 5468 | 1000 20000 100000 | 6666 5468 122 | 0.000 % |
0.05/0.77 c | 5644 | 1000 20000 100000 | 6666 5644 122 | 0.000 % |
0.05/0.79 c | 5839 | 1000 20000 100000 | 6666 5839 122 | 0.000 % |
0.05/0.83 c | 6051 | 1000 20000 100000 | 6666 6051 122 | 0.000 % |
0.05/0.84 c | 6151 | 1000 20000 100000 | 6666 6151 122 | 0.000 % |
0.05/0.86 c | 6264 | 1000 20000 100000 | 6666 6264 122 | 0.000 % |
0.05/0.87 c | 6387 | 1000 20000 100000 | 6666 6387 122 | 0.000 % |
0.05/0.89 c | 6522 | 1000 20000 100000 | 6666 6522 122 | 0.000 % |
0.05/0.92 c | 6668 | 1000 20000 100000 | 6666 6668 122 | 0.000 % |
0.05/0.94 c | 6832 | 1000 20000 100000 | 6666 6166 120 | 0.000 % |
0.05/0.96 c | 7009 | 1000 20000 100000 | 6666 6343 120 | 0.000 % |
0.05/0.99 c | 7202 | 1000 20000 100000 | 6666 6536 120 | 0.000 % |
0.98/1.03 c | 7414 | 1000 20000 100000 | 6666 6748 120 | 0.000 % |
0.98/1.06 c | 7647 | 1000 20000 100000 | 6666 6307 120 | 0.000 % |
0.98/1.08 c | 7748 | 1000 20000 100000 | 6666 6408 120 | 0.000 % |
0.98/1.09 c | 7859 | 1000 20000 100000 | 6666 6519 120 | 0.000 % |
1.08/1.11 c | 7981 | 1000 20000 100000 | 6666 6641 120 | 0.000 % |
1.08/1.13 c | 8116 | 1000 20000 100000 | 6666 6776 120 | 0.000 % |
1.08/1.16 c | 8262 | 1000 20000 100000 | 6666 6245 120 | 0.000 % |
1.08/1.18 c | 8423 | 1000 20000 100000 | 6666 6406 120 | 0.000 % |
1.17/1.21 c | 8600 | 1000 20000 100000 | 6666 6583 120 | 0.000 % |
1.17/1.24 c | 8794 | 1000 20000 100000 | 6666 6777 120 | 0.000 % |
1.17/1.27 c | 9006 | 1000 20000 100000 | 6666 6312 121 | 0.000 % |
1.27/1.31 c | 9239 | 1000 20000 100000 | 6666 6545 121 | 0.000 % |
1.27/1.34 c | 9496 | 1000 20000 100000 | 6666 6802 121 | 0.000 % |
1.27/1.36 c | 9599 | 1000 20000 100000 | 6666 6225 120 | 0.000 % |
1.27/1.38 c | 9712 | 1000 20000 100000 | 6666 6338 120 | 0.000 % |
1.37/1.40 c | 9833 | 1000 20000 100000 | 6666 6459 120 | 0.000 % |
1.37/1.42 c | 9967 | 1000 20000 100000 | 6666 6593 120 | 0.000 % |
1.37/1.44 c | 10113 | 1000 20000 100000 | 2147483647 6739 120 | 0.000 % |
1.37/1.47 c | 10273 | 1000 20000 100000 | 2147483647 6899 120 | 0.000 % |
1.37/1.50 c | 10450 | 1000 20000 100000 | 2147483647 7076 119 | 0.000 % |
1.47/1.53 c | 10644 | 1000 20000 100000 | 2147483647 7270 119 | 0.000 % |
1.47/1.56 c | 10856 | 1000 20000 100000 | 2147483647 7482 120 | 0.000 % |
1.57/1.60 c | 11090 | 1000 20000 100000 | 2147483647 7716 120 | 0.000 % |
1.57/1.64 c | 11346 | 1000 20000 100000 | 2147483647 7972 120 | 0.000 % |
1.57/1.68 c | 11629 | 1000 20000 100000 | 2147483647 8255 120 | 0.000 % |
1.67/1.70 c | 11730 | 1000 20000 100000 | 2147483647 8356 119 | 0.000 % |
1.67/1.72 c | 11840 | 1000 20000 100000 | 2147483647 8466 120 | 0.000 % |
1.67/1.74 c | 11961 | 1000 20000 100000 | 2147483647 8587 120 | 0.000 % |
1.67/1.76 c | 12094 | 1000 20000 100000 | 2147483647 8720 120 | 0.000 % |
1.67/1.78 c | 12241 | 1000 20000 100000 | 2147483647 8867 120 | 0.000 % |
1.77/1.81 c | 12401 | 1000 20000 100000 | 2147483647 9027 120 | 0.000 % |
1.77/1.84 c | 12579 | 1000 20000 100000 | 2147483647 9205 120 | 0.000 % |
1.77/1.87 c | 12772 | 1000 20000 100000 | 2147483647 9398 120 | 0.000 % |
1.88/1.91 c | 12984 | 1000 20000 100000 | 2147483647 9610 120 | 0.000 % |
1.88/1.95 c | 13217 | 1000 20000 100000 | 2147483647 9843 120 | 0.000 % |
1.88/1.99 c | 13476 | 1000 20000 100000 | 2147483647 10102 120 | 0.000 % |
1.98/2.04 c | 13758 | 1000 20000 100000 | 2147483647 10384 121 | 0.000 % |
1.98/2.10 c | 14067 | 1000 20000 100000 | 2147483647 10693 121 | 0.000 % |
2.08/2.12 c | 14167 | 1000 20000 100000 | 2147483647 10793 121 | 0.000 % |
2.08/2.14 c | 14277 | 1000 20000 100000 | 2147483647 10903 121 | 0.000 % |
2.08/2.17 c | 14398 | 1000 20000 100000 | 2147483647 11024 121 | 0.000 % |
2.08/2.19 c | 14531 | 1000 20000 100000 | 2147483647 11157 121 | 0.000 % |
2.18/2.22 c | 14677 | 1000 20000 100000 | 2147483647 11303 121 | 0.000 % |
2.18/2.25 c | 14837 | 1000 20000 100000 | 2147483647 11463 121 | 0.000 % |
2.18/2.28 c | 15013 | 1000 20000 100000 | 2147483647 11639 121 | 0.000 % |
2.27/2.32 c | 15206 | 1000 20000 100000 | 2147483647 11832 121 | 0.000 % |
2.27/2.36 c | 15421 | 1000 20000 100000 | 2147483647 12047 121 | 0.000 % |
2.37/2.41 c | 15654 | 1000 20000 100000 | 2147483647 12280 122 | 0.000 % |
2.37/2.46 c | 15910 | 1000 20000 100000 | 2147483647 12536 122 | 0.000 % |
2.47/2.51 c | 16191 | 1000 20000 100000 | 2147483647 12817 122 | 0.000 % |
2.47/2.57 c | 16500 | 1000 20000 100000 | 2147483647 13126 122 | 0.000 % |
2.57/2.65 c | 16840 | 1000 20000 100000 | 2147483647 13466 123 | 0.000 % |
2.57/2.67 c | 16940 | 1000 20000 100000 | 2147483647 13566 123 | 0.000 % |
2.57/2.69 c | 17050 | 1000 20000 100000 | 2147483647 13676 123 | 0.000 % |
2.67/2.72 c | 17171 | 1000 20000 100000 | 2147483647 13797 123 | 0.000 % |
2.67/2.75 c | 17306 | 1000 20000 100000 | 2147483647 13932 123 | 0.000 % |
2.67/2.77 c | 17452 | 1000 20000 100000 | 2147483647 14078 123 | 0.000 % |
2.77/2.81 c | 17613 | 1000 20000 100000 | 2147483647 14239 123 | 0.000 % |
2.77/2.84 c | 17789 | 1000 20000 100000 | 2147483647 14415 123 | 0.000 % |
2.77/2.88 c | 17983 | 1000 20000 100000 | 2147483647 14609 123 | 0.000 % |
2.87/2.93 c | 18197 | 1000 20000 100000 | 2147483647 14823 122 | 0.000 % |
2.87/2.98 c | 18430 | 1000 20000 100000 | 2147483647 15056 122 | 0.000 % |
2.97/3.03 c | 18686 | 1000 20000 100000 | 2147483647 15312 123 | 0.000 % |
2.97/3.09 c | 18967 | 1000 20000 100000 | 2147483647 15593 123 | 0.000 % |
3.07/3.15 c | 19276 | 1000 20000 100000 | 2147483647 15902 122 | 0.000 % |
3.17/3.22 c | 19615 | 1000 20000 100000 | 2147483647 16241 122 | 0.000 % |
3.27/3.31 c | 19987 | 1000 20000 100000 | 2147483647 16613 123 | 0.000 % |
3.27/3.33 c | 20087 | 1000 20000 100000 | 2147483647 16713 123 | 0.000 % |
3.27/3.36 c | 20197 | 1000 20000 100000 | 2147483647 16823 123 | 0.000 % |
3.27/3.39 c | 20318 | 1000 20000 100000 | 2147483647 16944 123 | 0.000 % |
3.37/3.42 c | 20454 | 1000 20000 100000 | 2147483647 17080 123 | 0.000 % |
3.37/3.46 c | 20603 | 1000 20000 100000 | 2147483647 17229 123 | 0.000 % |
3.37/3.50 c | 20764 | 1000 20000 100000 | 2147483647 17390 123 | 0.000 % |
3.47/3.53 c | 20940 | 1000 20000 100000 | 2147483647 17566 123 | 0.000 % |
3.47/3.58 c | 21133 | 1000 20000 100000 | 2147483647 17759 123 | 0.000 % |
3.57/3.63 c | 21345 | 1000 20000 100000 | 2147483647 17971 123 | 0.000 % |
3.57/3.67 c | 21580 | 1000 20000 100000 | 2147483647 18206 123 | 0.000 % |
3.67/3.74 c | 21836 | 1000 20000 100000 | 2147483647 18462 123 | 0.000 % |
3.77/3.81 c | 22117 | 1000 20000 100000 | 2147483647 18743 123 | 0.000 % |
3.77/3.89 c | 22426 | 1000 20000 100000 | 2147483647 19052 124 | 0.000 % |
3.87/3.97 c | 22766 | 1000 20000 100000 | 2147483647 19392 124 | 0.000 % |
3.97/4.06 c | 23139 | 1000 20000 100000 | 2147483647 19765 124 | 0.000 % |
4.07/4.16 c | 23548 | 1000 20000 100000 | 2147483647 20174 124 | 0.000 % |
4.07/4.19 c | 23649 | 1000 20000 100000 | 2147483647 20275 124 | 0.000 % |
4.17/4.22 c | 23759 | 1000 20000 100000 | 2147483647 20385 124 | 0.000 % |
4.17/4.26 c | 23880 | 1000 20000 100000 | 2147483647 20506 124 | 0.000 % |
4.17/4.29 c | 24013 | 1000 20000 100000 | 2147483647 20639 124 | 0.000 % |
4.28/4.34 c | 24160 | 1000 20000 100000 | 2147483647 20786 124 | 0.000 % |
4.28/4.38 c | 24320 | 1000 20000 100000 | 2147483647 20946 124 | 0.000 % |
4.37/4.43 c | 24498 | 1000 20000 100000 | 2147483647 21124 124 | 0.000 % |
4.37/4.48 c | 24692 | 1000 20000 100000 | 2147483647 21318 124 | 0.000 % |
4.47/4.54 c | 24905 | 1000 20000 100000 | 2147483647 21531 124 | 0.000 % |
4.57/4.60 c | 25139 | 1000 20000 100000 | 2147483647 21765 124 | 0.000 % |
4.57/4.67 c | 25395 | 1000 20000 100000 | 2147483647 22021 124 | 0.000 % |
4.67/4.74 c | 25676 | 1000 20000 100000 | 2147483647 22302 124 | 0.000 % |
4.77/4.82 c | 25986 | 1000 20000 100000 | 2147483647 22612 124 | 0.000 % |
4.87/4.91 c | 26327 | 1000 20000 100000 | 2147483647 22953 124 | 0.000 % |
4.97/5.01 c | 26700 | 1000 20000 100000 | 2147483647 23326 124 | 0.000 % |
5.07/5.12 c | 27110 | 1000 20000 100000 | 2147483647 23736 124 | 0.000 % |
5.17/5.24 c | 27559 | 1000 20000 100000 | 2147483647 24185 124 | 0.000 % |
5.17/5.28 c | 27659 | 1000 20000 100000 | 2147483647 24285 124 | 0.000 % |
5.27/5.32 c | 27770 | 1000 20000 100000 | 2147483647 24396 124 | 0.000 % |
5.27/5.35 c | 27893 | 1000 20000 100000 | 2147483647 24519 124 | 0.000 % |
5.27/5.39 c | 28031 | 1000 20000 100000 | 2147483647 24657 124 | 0.000 % |
5.37/5.44 c | 28179 | 1000 20000 100000 | 2147483647 24805 124 | 0.000 % |
5.37/5.49 c | 28340 | 1000 20000 100000 | 2147483647 24966 124 | 0.000 % |
5.47/5.54 c | 28516 | 1000 20000 100000 | 2147483647 25142 124 | 0.000 % |
5.57/5.61 c | 28710 | 1000 20000 100000 | 2147483647 25336 124 | 0.000 % |
5.57/5.67 c | 28922 | 1000 20000 100000 | 2147483647 25548 124 | 0.000 % |
5.67/5.74 c | 29155 | 1000 20000 100000 | 2147483647 25781 124 | 0.000 % |
5.76/5.82 c | 29412 | 1000 20000 100000 | 2147483647 26038 124 | 0.000 % |
5.86/5.90 c | 29693 | 1000 20000 100000 | 2147483647 26319 124 | 0.000 % |
5.86/5.99 c | 30002 | 1000 20000 100000 | 2147483647 26628 124 | 0.000 % |
6.06/6.10 c | 30341 | 1000 20000 100000 | 2147483647 26967 124 | 0.000 % |
6.16/6.21 c | 30714 | 1000 20000 100000 | 2147483647 27340 124 | 0.000 % |
6.27/6.34 c | 31124 | 1000 20000 100000 | 2147483647 27750 124 | 0.000 % |
6.37/6.48 c | 31575 | 1000 20000 100000 | 2147483647 28201 124 | 0.000 % |
6.58/6.63 c | 32068 | 1000 20000 100000 | 2147483647 28694 124 | 0.000 % |
6.58/6.67 c | 32168 | 1000 20000 100000 | 2147483647 28794 124 | 0.000 % |
6.67/6.70 c | 32279 | 1000 20000 100000 | 2147483647 28905 124 | 0.000 % |
6.67/6.75 c | 32401 | 1000 20000 100000 | 2147483647 29027 124 | 0.000 % |
6.67/6.79 c | 32534 | 1000 20000 100000 | 2147483647 29160 124 | 0.000 % |
6.77/6.84 c | 32681 | 1000 20000 100000 | 2147483647 29307 124 | 0.000 % |
6.77/6.89 c | 32842 | 1000 20000 100000 | 2147483647 29468 124 | 0.000 % |
6.87/6.95 c | 33019 | 1000 20000 100000 | 2147483647 29645 124 | 0.000 % |
6.97/7.01 c | 33215 | 1000 20000 100000 | 2147483647 29841 124 | 0.000 % |
6.97/7.08 c | 33427 | 1000 20000 100000 | 2147483647 30053 124 | 0.000 % |
7.07/7.16 c | 33660 | 1000 20000 100000 | 2147483647 30286 124 | 0.000 % |
7.17/7.24 c | 33916 | 1000 20000 100000 | 2147483647 30542 124 | 0.000 % |
7.27/7.34 c | 34197 | 1000 20000 100000 | 2147483647 30823 124 | 0.000 % |
7.37/7.44 c | 34508 | 1000 20000 100000 | 2147483647 31134 124 | 0.000 % |
7.47/7.55 c | 34847 | 1000 20000 100000 | 2147483647 31473 124 | 0.000 % |
7.57/7.67 c | 35220 | 1000 20000 100000 | 2147483647 31846 125 | 0.000 % |
7.76/7.80 c | 35631 | 1000 20000 100000 | 2147483647 32257 125 | 0.000 % |
7.86/7.96 c | 36080 | 1000 20000 100000 | 2147483647 32706 125 | 0.000 % |
8.06/8.13 c | 36574 | 1000 20000 100000 | 2147483647 33200 125 | 0.000 % |
8.26/8.32 c | 37116 | 1000 20000 100000 | 2147483647 33742 125 | 0.000 % |
8.26/8.36 c | 37216 | 1000 20000 100000 | 2147483647 33842 125 | 0.000 % |
8.36/8.40 c | 37326 | 1000 20000 100000 | 2147483647 33952 125 | 0.000 % |
8.36/8.44 c | 37449 | 1000 20000 100000 | 2147483647 34075 125 | 0.000 % |
8.36/8.49 c | 37582 | 1000 20000 100000 | 2147483647 34208 125 | 0.000 % |
8.46/8.55 c | 37731 | 1000 20000 100000 | 2147483647 34357 125 | 0.000 % |
8.56/8.61 c | 37892 | 1000 20000 100000 | 2147483647 34518 125 | 0.000 % |
8.56/8.67 c | 38071 | 1000 20000 100000 | 2147483647 34697 125 | 0.000 % |
8.66/8.76 c | 38264 | 1000 20000 100000 | 2147483647 34890 125 | 0.000 % |
8.76/8.83 c | 38477 | 1000 20000 100000 | 2147483647 35103 125 | 0.000 % |
8.86/8.92 c | 38710 | 1000 20000 100000 | 2147483647 35336 125 | 0.000 % |
8.97/9.01 c | 38966 | 1000 20000 100000 | 2147483647 35592 125 | 0.000 % |
9.07/9.12 c | 39249 | 1000 20000 100000 | 2147483647 35875 124 | 0.000 % |
9.17/9.25 c | 39560 | 1000 20000 100000 | 2147483647 36186 125 | 0.000 % |
9.27/9.38 c | 39899 | 1000 20000 100000 | 2147483647 36525 125 | 0.000 % |
9.47/9.51 c | 40272 | 1000 20000 100000 | 2147483647 36898 125 | 0.000 % |
9.57/9.66 c | 40681 | 1000 20000 100000 | 2147483647 37307 125 | 0.000 % |
9.77/9.83 c | 41130 | 1000 20000 100000 | 2147483647 37756 125 | 0.000 % |
9.97/10.01 c | 41626 | 1000 20000 100000 | 2147483647 38252 125 | 0.000 % |
10.16/10.22 c | 42169 | 1000 20000 100000 | 2147483647 38795 125 | 0.000 % |
10.36/10.43 c | 42765 | 1000 20000 100000 | 2147483647 39391 125 | 0.000 % |
10.36/10.47 c | 42865 | 1000 20000 100000 | 2147483647 39491 125 | 0.000 % |
10.46/10.52 c | 42976 | 1000 20000 100000 | 2147483647 39602 125 | 0.000 % |
10.46/10.57 c | 43097 | 1000 20000 100000 | 2147483647 39723 125 | 0.000 % |
10.56/10.64 c | 43231 | 1000 20000 100000 | 2147483647 39857 125 | 0.000 % |
10.66/10.70 c | 43377 | 1000 20000 100000 | 2147483647 40003 125 | 0.000 % |
10.66/10.76 c | 43538 | 1000 20000 100000 | 2147483647 40164 125 | 0.000 % |
10.76/10.85 c | 43714 | 1000 20000 100000 | 2147483647 40340 125 | 0.000 % |
10.87/10.93 c | 43908 | 1000 20000 100000 | 2147483647 40534 125 | 0.000 % |
10.97/11.02 c | 44120 | 1000 20000 100000 | 2147483647 40746 125 | 0.000 % |
10.97/11.09 c | 44353 | 1000 20000 100000 | 2147483647 40979 125 | 0.000 % |
11.16/11.20 c | 44609 | 1000 20000 100000 | 2147483647 41235 125 | 0.000 % |
11.26/11.32 c | 44891 | 1000 20000 100000 | 2147483647 41517 125 | 0.000 % |
11.36/11.45 c | 45201 | 1000 20000 100000 | 2147483647 41827 125 | 0.000 % |
11.46/11.59 c | 45541 | 1000 20000 100000 | 2147483647 42167 125 | 0.000 % |
11.66/11.75 c | 45914 | 1000 20000 100000 | 2147483647 42540 125 | 0.000 % |
11.86/11.92 c | 46325 | 1000 20000 100000 | 2147483647 42951 125 | 0.000 % |
12.06/12.10 c | 46774 | 1000 20000 100000 | 2147483647 43400 125 | 0.000 % |
12.26/12.30 c | 47268 | 1000 20000 100000 | 2147483647 43894 125 | 0.000 % |
12.47/12.53 c | 47812 | 1000 20000 100000 | 2147483647 44438 126 | 0.000 % |
12.67/12.79 c | 48408 | 1000 20000 100000 | 2147483647 45034 126 | 0.000 % |
12.97/13.10 c | 49064 | 1000 20000 100000 | 2147483647 45690 126 | 0.000 % |
13.07/13.15 c | 49165 | 1000 20000 100000 | 2147483647 45791 126 | 0.000 % |
13.17/13.21 c | 49277 | 1000 20000 100000 | 2147483647 45903 126 | 0.000 % |
13.17/13.26 c | 49399 | 1000 20000 100000 | 2147483647 46025 126 | 0.000 % |
13.27/13.33 c | 49532 | 1000 20000 100000 | 2147483647 46158 126 | 0.000 % |
13.37/13.41 c | 49678 | 1000 20000 100000 | 2147483647 46304 126 | 0.000 % |
13.37/13.49 c | 49838 | 1000 20000 100000 | 2147483647 46464 126 | 0.000 % |
13.46/13.58 c | 50014 | 1000 20000 100000 | 2147483647 46640 126 | 0.000 % |
13.56/13.67 c | 50208 | 1000 20000 100000 | 2147483647 46834 126 | 0.000 % |
13.66/13.76 c | 50421 | 1000 20000 100000 | 2147483647 47047 126 | 0.000 % |
13.76/13.87 c | 50654 | 1000 20000 100000 | 2147483647 47280 126 | 0.000 % |
13.86/13.99 c | 50914 | 1000 20000 100000 | 2147483647 47540 126 | 0.000 % |
14.06/14.12 c | 51199 | 1000 20000 100000 | 2147483647 47825 126 | 0.000 % |
14.17/14.27 c | 51509 | 1000 20000 100000 | 2147483647 48135 126 | 0.000 % |
14.36/14.43 c | 51849 | 1000 20000 100000 | 2147483647 48475 126 | 0.000 % |
14.56/14.61 c | 52221 | 1000 20000 100000 | 2147483647 48847 126 | 0.000 % |
14.76/14.80 c | 52630 | 1000 20000 100000 | 2147483647 49256 126 | 0.000 % |
14.96/15.00 c | 53081 | 1000 20000 100000 | 2147483647 49707 126 | 0.000 % |
15.16/15.23 c | 53574 | 1000 20000 100000 | 2147483647 50200 126 | 0.000 % |
15.46/15.50 c | 54118 | 1000 20000 100000 | 2147483647 50744 126 | 0.000 % |
15.66/15.79 c | 54715 | 1000 20000 100000 | 2147483647 51341 126 | 0.000 % |
16.06/16.11 c | 55371 | 1000 20000 100000 | 2147483647 51997 126 | 0.000 % |
16.36/16.44 c | 56091 | 1000 20000 100000 | 2147483647 52717 126 | 0.000 % |
16.46/16.51 c | 56191 | 1000 20000 100000 | 2147483647 52817 126 | 0.000 % |
16.46/16.56 c | 56301 | 1000 20000 100000 | 2147483647 52927 126 | 0.000 % |
16.56/16.63 c | 56424 | 1000 20000 100000 | 2147483647 53050 126 | 0.000 % |
16.66/16.70 c | 56559 | 1000 20000 100000 | 2147483647 53185 126 | 0.000 % |
16.76/16.80 c | 56705 | 1000 20000 100000 | 2147483647 53331 126 | 0.000 % |
16.76/16.89 c | 56865 | 1000 20000 100000 | 2147483647 53491 126 | 0.000 % |
16.86/16.98 c | 57041 | 1000 20000 100000 | 2147483647 53667 126 | 0.000 % |
17.05/17.10 c | 57235 | 1000 20000 100000 | 2147483647 53861 126 | 0.000 % |
17.15/17.23 c | 57447 | 1000 20000 100000 | 2147483647 54073 126 | 0.000 % |
17.26/17.35 c | 57680 | 1000 20000 100000 | 2147483647 54306 126 | 0.000 % |
17.36/17.48 c | 57936 | 1000 20000 100000 | 2147483647 54562 126 | 0.000 % |
17.57/17.62 c | 58217 | 1000 20000 100000 | 2147483647 54843 126 | 0.000 % |
17.66/17.77 c | 58529 | 1000 20000 100000 | 2147483647 55155 126 | 0.000 % |
17.86/17.96 c | 58871 | 1000 20000 100000 | 2147483647 55497 126 | 0.000 % |
18.06/18.15 c | 59244 | 1000 20000 100000 | 2147483647 55870 126 | 0.000 % |
18.26/18.35 c | 59653 | 1000 20000 100000 | 2147483647 56279 126 | 0.000 % |
18.46/18.58 c | 60102 | 1000 20000 100000 | 2147483647 56728 126 | 0.000 % |
18.76/18.84 c | 60595 | 1000 20000 100000 | 2147483647 57221 126 | 0.000 % |
19.06/19.15 c | 61137 | 1000 20000 100000 | 2147483647 57763 126 | 0.000 % |
19.36/19.45 c | 61735 | 1000 20000 100000 | 2147483647 58361 126 | 0.000 % |
19.66/19.79 c | 62390 | 1000 20000 100000 | 2147483647 59016 126 | 0.000 % |
20.06/20.16 c | 63110 | 1000 20000 100000 | 2147483647 59736 126 | 0.000 % |
20.46/20.57 c | 63904 | 1000 20000 100000 | 2147483647 60530 127 | 0.000 % |
20.56/20.63 c | 64004 | 1000 20000 100000 | 2147483647 60630 127 | 0.000 % |
20.66/20.72 c | 64115 | 1000 20000 100000 | 2147483647 60741 127 | 0.000 % |
20.66/20.80 c | 64236 | 1000 20000 100000 | 2147483647 60862 127 | 0.000 % |
20.76/20.87 c | 64369 | 1000 20000 100000 | 2147483647 60995 126 | 0.000 % |
20.86/20.96 c | 64515 | 1000 20000 100000 | 2147483647 61141 126 | 0.000 % |
20.95/21.07 c | 64675 | 1000 20000 100000 | 2147483647 61301 126 | 0.000 % |
21.05/21.18 c | 64852 | 1000 20000 100000 | 2147483647 61478 126 | 0.000 % |
21.15/21.29 c | 65047 | 1000 20000 100000 | 2147483647 61673 126 | 0.000 % |
21.35/21.44 c | 65260 | 1000 20000 100000 | 2147483647 61886 126 | 0.000 % |
21.45/21.57 c | 65493 | 1000 20000 100000 | 2147483647 62119 126 | 0.000 % |
21.65/21.72 c | 65749 | 1000 20000 100000 | 2147483647 62375 126 | 0.000 % |
21.75/21.88 c | 66030 | 1000 20000 100000 | 2147483647 62656 126 | 0.000 % |
21.96/22.07 c | 66341 | 1000 20000 100000 | 2147483647 62967 126 | 0.000 % |
22.15/22.26 c | 66680 | 1000 20000 100000 | 2147483647 63306 126 | 0.000 % |
22.35/22.46 c | 67052 | 1000 20000 100000 | 2147483647 63678 126 | 0.000 % |
22.66/22.72 c | 67461 | 1000 20000 100000 | 2147483647 64087 126 | 0.000 % |
22.86/22.98 c | 67912 | 1000 20000 100000 | 2147483647 64538 126 | 0.000 % |
23.16/23.28 c | 68405 | 1000 20000 100000 | 2147483647 65031 127 | 0.000 % |
23.56/23.62 c | 68947 | 1000 20000 100000 | 2147483647 65573 127 | 0.000 % |
23.86/23.96 c | 69543 | 1000 20000 100000 | 2147483647 66169 127 | 0.000 % |
24.26/24.35 c | 70200 | 1000 20000 100000 | 2147483647 66826 127 | 0.000 % |
24.66/24.76 c | 70920 | 1000 20000 100000 | 2147483647 67546 127 | 0.000 % |
25.16/25.21 c | 71713 | 1000 20000 100000 | 2147483647 68339 127 | 0.000 % |
25.65/25.75 c | 72585 | 1000 20000 100000 | 2147483647 69211 127 | 0.000 % |
25.75/25.83 c | 72687 | 1000 20000 100000 | 2147483647 69313 127 | 0.000 % |
25.85/25.91 c | 72798 | 1000 20000 100000 | 2147483647 69424 127 | 0.000 % |
25.85/25.99 c | 72919 | 1000 20000 100000 | 2147483647 69545 127 | 0.000 % |
25.95/26.08 c | 73052 | 1000 20000 100000 | 2147483647 69678 127 | 0.000 % |
26.15/26.20 c | 73198 | 1000 20000 100000 | 2147483647 69824 127 | 0.000 % |
26.25/26.32 c | 73358 | 1000 20000 100000 | 2147483647 69984 127 | 0.000 % |
26.35/26.44 c | 73535 | 1000 20000 100000 | 2147483647 70161 127 | 0.000 % |
26.44/26.59 c | 73729 | 1000 20000 100000 | 2147483647 70355 127 | 0.000 % |
26.64/26.75 c | 73944 | 1000 20000 100000 | 2147483647 70570 127 | 0.000 % |
26.84/26.91 c | 74177 | 1000 20000 100000 | 2147483647 70803 127 | 0.000 % |
26.94/27.08 c | 74434 | 1000 20000 100000 | 2147483647 71060 127 | 0.000 % |
27.15/27.25 c | 74716 | 1000 20000 100000 | 2147483647 71342 127 | 0.000 % |
27.36/27.47 c | 75026 | 1000 20000 100000 | 2147483647 71652 127 | 0.000 % |
27.65/27.72 c | 75368 | 1000 20000 100000 | 2147483647 71994 127 | 0.000 % |
27.85/27.96 c | 75744 | 1000 20000 100000 | 2147483647 72370 127 | 0.000 % |
28.15/28.22 c | 76154 | 1000 20000 100000 | 2147483647 72780 127 | 0.000 % |
28.45/28.53 c | 76603 | 1000 20000 100000 | 2147483647 73229 127 | 0.000 % |
28.75/28.84 c | 77097 | 1000 20000 100000 | 2147483647 73723 127 | 0.000 % |
29.15/29.23 c | 77639 | 1000 20000 100000 | 2147483647 74265 127 | 0.000 % |
29.55/29.63 c | 78235 | 1000 20000 100000 | 2147483647 74861 127 | 0.000 % |
29.94/30.07 c | 78892 | 1000 20000 100000 | 2147483647 75518 127 | 0.000 % |
30.45/30.52 c | 79612 | 1000 20000 100000 | 2147483647 76238 127 | 0.000 % |
30.95/31.03 c | 80404 | 1000 20000 100000 | 2147483647 77030 127 | 0.000 % |
31.45/31.59 c | 81277 | 1000 20000 100000 | 2147483647 77903 127 | 0.000 % |
32.15/32.20 c | 82238 | 1000 20000 100000 | 2147483647 78864 127 | 0.000 % |
32.15/32.28 c | 82340 | 1000 20000 100000 | 2147483647 78966 127 | 0.000 % |
32.25/32.36 c | 82450 | 1000 20000 100000 | 2147483647 79076 127 | 0.000 % |
32.35/32.46 c | 82572 | 1000 20000 100000 | 2147483647 79198 127 | 0.000 % |
32.44/32.59 c | 82706 | 1000 20000 100000 | 2147483647 79332 127 | 0.000 % |
32.64/32.72 c | 82852 | 1000 20000 100000 | 2147483647 79478 127 | 0.000 % |
32.74/32.85 c | 83013 | 1000 20000 100000 | 2147483647 79639 127 | 0.000 % |
32.85/33.00 c | 83189 | 1000 20000 100000 | 2147483647 79815 127 | 0.000 % |
33.05/33.13 c | 83382 | 1000 20000 100000 | 2147483647 80008 127 | 0.000 % |
33.25/33.31 c | 83594 | 1000 20000 100000 | 2147483647 80220 127 | 0.000 % |
33.45/33.51 c | 83831 | 1000 20000 100000 | 2147483647 80457 127 | 0.000 % |
33.65/33.72 c | 84087 | 1000 20000 100000 | 2147483647 80713 127 | 0.000 % |
33.85/33.95 c | 84368 | 1000 20000 100000 | 2147483647 80994 127 | 0.000 % |
34.05/34.17 c | 84677 | 1000 20000 100000 | 2147483647 81303 127 | 0.000 % |
34.34/34.41 c | 85018 | 1000 20000 100000 | 2147483647 81644 127 | 0.000 % |
34.64/34.70 c | 85391 | 1000 20000 100000 | 2147483647 82017 127 | 0.000 % |
34.94/35.02 c | 85800 | 1000 20000 100000 | 2147483647 82426 127 | 0.000 % |
35.24/35.36 c | 86249 | 1000 20000 100000 | 2147483647 82875 127 | 0.000 % |
35.64/35.73 c | 86742 | 1000 20000 100000 | 2147483647 83368 127 | 0.000 % |
36.04/36.13 c | 87284 | 1000 20000 100000 | 2147483647 83910 127 | 0.000 % |
36.44/36.58 c | 87882 | 1000 20000 100000 | 2147483647 84508 127 | 0.000 % |
36.94/37.06 c | 88538 | 1000 20000 100000 | 2147483647 85164 127 | 0.000 % |
37.55/37.63 c | 89258 | 1000 20000 100000 | 2147483647 85884 128 | 0.000 % |
38.15/38.20 c | 90051 | 1000 20000 100000 | 2147483647 86677 128 | 0.000 % |
38.74/38.89 c | 90923 | 1000 20000 100000 | 2147483647 87549 128 | 0.000 % |
39.45/39.60 c | 91883 | 1000 20000 100000 | 2147483647 88509 128 | 0.000 % |
40.24/40.36 c | 92938 | 1000 20000 100000 | 2147483647 89564 128 | 0.000 % |
40.34/40.44 c | 93039 | 1000 20000 100000 | 2147483647 89665 128 | 0.000 % |
40.44/40.55 c | 93149 | 1000 20000 100000 | 2147483647 89775 128 | 0.000 % |
40.54/40.67 c | 93273 | 1000 20000 100000 | 2147483647 89899 128 | 0.000 % |
40.64/40.79 c | 93406 | 1000 20000 100000 | 2147483647 90032 128 | 0.000 % |
40.84/40.90 c | 93552 | 1000 20000 100000 | 2147483647 90178 128 | 0.000 % |
40.94/41.07 c | 93712 | 1000 20000 100000 | 2147483647 90338 128 | 0.000 % |
41.14/41.23 c | 93888 | 1000 20000 100000 | 2147483647 90514 128 | 0.000 % |
41.34/41.40 c | 94081 | 1000 20000 100000 | 2147483647 90707 128 | 0.000 % |
41.54/41.61 c | 94294 | 1000 20000 100000 | 2147483647 90920 128 | 0.000 % |
41.74/41.81 c | 94527 | 1000 20000 100000 | 2147483647 91153 128 | 0.000 % |
41.93/42.06 c | 94786 | 1000 20000 100000 | 2147483647 91412 128 | 0.000 % |
42.24/42.32 c | 95069 | 1000 20000 100000 | 2147483647 91695 128 | 0.000 % |
42.44/42.59 c | 95379 | 1000 20000 100000 | 2147483647 92005 128 | 0.000 % |
42.75/42.87 c | 95719 | 1000 20000 100000 | 2147483647 92345 127 | 0.000 % |
43.04/43.19 c | 96091 | 1000 20000 100000 | 2147483647 92717 128 | 0.000 % |
43.44/43.57 c | 96502 | 1000 20000 100000 | 2147483647 93128 128 | 0.000 % |
43.85/43.99 c | 96951 | 1000 20000 100000 | 2147483647 93577 128 | 0.000 % |
44.34/44.41 c | 97444 | 1000 20000 100000 | 2147483647 94070 128 | 0.000 % |
44.74/44.87 c | 97986 | 1000 20000 100000 | 2147483647 94612 128 | 0.000 % |
45.24/45.33 c | 98582 | 1000 20000 100000 | 2147483647 95208 128 | 0.000 % |
45.84/45.91 c | 99237 | 1000 20000 100000 | 2147483647 95863 128 | 0.000 % |
46.43/46.50 c | 99958 | 1000 20000 100000 | 2147483647 96584 128 | 0.000 % |
47.03/47.18 c | 100751 | 1000 20000 100000 | 96626 83998 128 | 0.000 % |
47.63/47.80 c | 101622 | 1000 20000 100000 | 96626 84869 128 | 0.000 % |
48.43/48.50 c | 102581 | 1000 20000 100000 | 96626 85828 128 | 0.000 % |
49.23/49.36 c | 103634 | 1000 20000 100000 | 96626 86881 128 | 0.000 % |
50.13/50.23 c | 104794 | 1000 20000 100000 | 96626 88041 128 | 0.000 % |
50.23/50.32 c | 104896 | 1000 20000 100000 | 96626 88143 128 | 0.000 % |
50.33/50.41 c | 105006 | 1000 20000 100000 | 96626 88253 128 | 0.000 % |
50.44/50.53 c | 105128 | 1000 20000 100000 | 96626 88375 128 | 0.000 % |
50.53/50.66 c | 105262 | 1000 20000 100000 | 96626 88509 128 | 0.000 % |
50.63/50.79 c | 105408 | 1000 20000 100000 | 96626 88655 128 | 0.000 % |
50.83/50.93 c | 105568 | 1000 20000 100000 | 96626 88815 128 | 0.000 % |
50.93/51.09 c | 105745 | 1000 20000 100000 | 96626 88992 128 | 0.000 % |
51.13/51.26 c | 105939 | 1000 20000 100000 | 96626 89186 128 | 0.000 % |
51.33/51.44 c | 106152 | 1000 20000 100000 | 96626 89399 128 | 0.000 % |
51.53/51.64 c | 106385 | 1000 20000 100000 | 96626 89632 128 | 0.000 % |
51.73/51.85 c | 106642 | 1000 20000 100000 | 96626 89889 128 | 0.000 % |
51.93/52.08 c | 106923 | 1000 20000 100000 | 96626 90170 128 | 0.000 % |
52.23/52.34 c | 107233 | 1000 20000 100000 | 96626 90480 128 | 0.000 % |
52.53/52.60 c | 107572 | 1000 20000 100000 | 96626 90819 128 | 0.000 % |
52.83/52.97 c | 107945 | 1000 20000 100000 | 96626 91192 128 | 0.000 % |
53.23/53.32 c | 108354 | 1000 20000 100000 | 96626 91601 128 | 0.000 % |
53.63/53.70 c | 108803 | 1000 20000 100000 | 96626 92050 128 | 0.000 % |
53.93/54.09 c | 109297 | 1000 20000 100000 | 96626 92544 128 | 0.000 % |
54.43/54.55 c | 109839 | 1000 20000 100000 | 96626 93086 128 | 0.000 % |
54.93/55.08 c | 110436 | 1000 20000 100000 | 93248 81141 128 | 0.000 % |
55.43/55.53 c | 111096 | 1000 20000 100000 | 93248 81801 128 | 0.000 % |
56.03/56.10 c | 111817 | 1000 20000 100000 | 93248 82522 128 | 0.000 % |
56.63/56.73 c | 112611 | 1000 20000 100000 | 93248 83316 129 | 0.000 % |
57.32/57.40 c | 113482 | 1000 20000 100000 | 93248 84187 129 | 0.000 % |
58.02/58.12 c | 114442 | 1000 20000 100000 | 93248 85147 129 | 0.000 % |
58.72/58.86 c | 115495 | 1000 20000 100000 | 93248 86200 129 | 0.000 % |
59.62/59.80 c | 116655 | 1000 20000 100000 | 93248 87360 129 | 0.000 % |
60.72/60.81 c | 117929 | 1000 20000 100000 | 93248 88634 129 | 0.000 % |
60.72/60.89 c | 118029 | 1000 20000 100000 | 93248 88734 129 | 0.000 % |
60.92/61.01 c | 118140 | 1000 20000 100000 | 93248 88845 129 | 0.000 % |
61.02/61.13 c | 118261 | 1000 20000 100000 | 93248 88966 129 | 0.000 % |
61.12/61.25 c | 118394 | 1000 20000 100000 | 93248 89099 129 | 0.000 % |
61.22/61.37 c | 118540 | 1000 20000 100000 | 93248 89245 129 | 0.000 % |
61.43/61.54 c | 118701 | 1000 20000 100000 | 93248 89406 129 | 0.000 % |
61.62/61.70 c | 118877 | 1000 20000 100000 | 93248 89582 129 | 0.000 % |
61.72/61.89 c | 119070 | 1000 20000 100000 | 93248 89775 129 | 0.000 % |
62.02/62.11 c | 119283 | 1000 20000 100000 | 93248 89988 129 | 0.000 % |
62.22/62.30 c | 119516 | 1000 20000 100000 | 93248 90221 129 | 0.000 % |
62.42/62.55 c | 119773 | 1000 20000 100000 | 93248 90478 129 | 0.000 % |
62.72/62.81 c | 120054 | 1000 20000 100000 | 90705 90759 129 | 0.000 % |
63.02/63.13 c | 120363 | 1000 20000 100000 | 90705 79631 129 | 0.000 % |
63.32/63.40 c | 120705 | 1000 20000 100000 | 90705 79973 129 | 0.000 % |
63.52/63.68 c | 121077 | 1000 20000 100000 | 90705 80345 129 | 0.000 % |
63.92/64.00 c | 121486 | 1000 20000 100000 | 90705 80754 129 | 0.000 % |
64.22/64.34 c | 121935 | 1000 20000 100000 | 90705 81203 129 | 0.000 % |
64.62/64.71 c | 122429 | 1000 20000 100000 | 90705 81697 129 | 0.000 % |
64.92/65.08 c | 122971 | 1000 20000 100000 | 90705 82239 129 | 0.000 % |
65.32/65.49 c | 123567 | 1000 20000 100000 | 90705 82835 129 | 0.000 % |
65.93/66.03 c | 124224 | 1000 20000 100000 | 90705 83492 129 | 0.000 % |
66.42/66.55 c | 124944 | 1000 20000 100000 | 90705 84212 129 | 0.000 % |
67.02/67.17 c | 125737 | 1000 20000 100000 | 90705 85005 129 | 0.000 % |
67.72/67.84 c | 126608 | 1000 20000 100000 | 90705 85876 129 | 0.000 % |
68.42/68.57 c | 127567 | 1000 20000 100000 | 90705 86835 129 | 0.000 % |
69.32/69.44 c | 128620 | 1000 20000 100000 | 90705 87888 129 | 0.000 % |
70.22/70.34 c | 129778 | 1000 20000 100000 | 90705 89046 129 | 0.000 % |
71.12/71.27 c | 131051 | 1000 20000 100000 | 89268 79852 129 | 0.000 % |
72.22/72.33 c | 132453 | 1000 20000 100000 | 89268 81254 129 | 0.000 % |
72.32/72.40 c | 132553 | 1000 20000 100000 | 89268 81354 129 | 0.000 % |
72.42/72.50 c | 132665 | 1000 20000 100000 | 89268 81466 129 | 0.000 % |
72.52/72.60 c | 132787 | 1000 20000 100000 | 89268 81588 129 | 0.000 % |
72.62/72.70 c | 132920 | 1000 20000 100000 | 89268 81721 129 | 0.000 % |
72.72/72.82 c | 133067 | 1000 20000 100000 | 89268 81868 129 | 0.000 % |
72.82/72.97 c | 133228 | 1000 20000 100000 | 89268 82029 129 | 0.000 % |
73.02/73.11 c | 133407 | 1000 20000 100000 | 89268 82208 129 | 0.000 % |
73.12/73.26 c | 133600 | 1000 20000 100000 | 89268 82401 129 | 0.000 % |
73.32/73.42 c | 133815 | 1000 20000 100000 | 89268 82616 129 | 0.000 % |
73.52/73.62 c | 134049 | 1000 20000 100000 | 89268 82850 129 | 0.000 % |
73.72/73.84 c | 134306 | 1000 20000 100000 | 89268 83107 129 | 0.000 % |
73.92/74.08 c | 134587 | 1000 20000 100000 | 89268 83388 129 | 0.000 % |
74.22/74.35 c | 134896 | 1000 20000 100000 | 89268 83697 129 | 0.000 % |
74.52/74.62 c | 135238 | 1000 20000 100000 | 89268 84039 129 | 0.000 % |
74.72/74.88 c | 135611 | 1000 20000 100000 | 89268 84412 129 | 0.000 % |
75.02/75.19 c | 136020 | 1000 20000 100000 | 89268 84821 129 | 0.000 % |
75.42/75.57 c | 136469 | 1000 20000 100000 | 89268 85270 129 | 0.000 % |
75.82/75.96 c | 136963 | 1000 20000 100000 | 89268 85764 129 | 0.000 % |
76.22/76.38 c | 137506 | 1000 20000 100000 | 89268 86307 129 | 0.000 % |
76.72/76.88 c | 138103 | 1000 20000 100000 | 89268 86904 129 | 0.000 % |
77.32/77.41 c | 138758 | 1000 20000 100000 | 89268 87559 129 | 0.000 % |
77.82/77.94 c | 139480 | 1000 20000 100000 | 89268 88281 129 | 0.000 % |
78.42/78.53 c | 140273 | 1000 20000 100000 | 88801 89074 129 | 0.000 % |
79.02/79.16 c | 141144 | 1000 20000 100000 | 88801 79462 129 | 0.000 % |
79.62/79.78 c | 142102 | 1000 20000 100000 | 88801 80420 129 | 0.000 % |
80.42/80.52 c | 143155 | 1000 20000 100000 | 88801 81473 129 | 0.000 % |
81.22/81.36 c | 144313 | 1000 20000 100000 | 88801 82631 129 | 0.000 % |
82.12/82.24 c | 145586 | 1000 20000 100000 | 88801 83904 129 | 0.000 % |
83.22/83.30 c | 146986 | 1000 20000 100000 | 88801 85304 129 | 0.000 % |
84.32/84.41 c | 148527 | 1000 20000 100000 | 88801 86845 129 | 0.000 % |
84.42/84.52 c | 148629 | 1000 20000 100000 | 88801 86947 129 | 0.000 % |
84.53/84.62 c | 148739 | 1000 20000 100000 | 88801 87057 129 | 0.000 % |
84.63/84.72 c | 148860 | 1000 20000 100000 | 88801 87178 129 | 0.000 % |
84.72/84.84 c | 148993 | 1000 20000 100000 | 88801 87311 129 | 0.000 % |
84.82/84.96 c | 149139 | 1000 20000 100000 | 88801 87457 129 | 0.000 % |
84.92/85.09 c | 149299 | 1000 20000 100000 | 88801 87617 129 | 0.000 % |
85.12/85.24 c | 149476 | 1000 20000 100000 | 88801 87794 129 | 0.000 % |
85.22/85.39 c | 149671 | 1000 20000 100000 | 88801 87989 129 | 0.000 % |
85.42/85.55 c | 149883 | 1000 20000 100000 | 88801 88201 129 | 0.000 % |
85.63/85.73 c | 150119 | 1000 20000 100000 | 88319 88437 129 | 0.000 % |
85.82/85.97 c | 150379 | 1000 20000 100000 | 88319 79510 129 | 0.000 % |
86.02/86.19 c | 150660 | 1000 20000 100000 | 88319 79791 129 | 0.000 % |
86.32/86.45 c | 150970 | 1000 20000 100000 | 88319 80101 129 | 0.000 % |
86.62/86.70 c | 151309 | 1000 20000 100000 | 88319 80440 129 | 0.000 % |
86.82/86.98 c | 151681 | 1000 20000 100000 | 88319 80812 129 | 0.000 % |
87.12/87.27 c | 152090 | 1000 20000 100000 | 88319 81221 129 | 0.000 % |
87.52/87.64 c | 152540 | 1000 20000 100000 | 88319 81671 129 | 0.000 % |
87.92/88.06 c | 153035 | 1000 20000 100000 | 88319 82166 129 | 0.000 % |
88.32/88.49 c | 153577 | 1000 20000 100000 | 88319 82708 129 | 0.000 % |
88.82/88.99 c | 154173 | 1000 20000 100000 | 88319 83304 129 | 0.000 % |
89.42/89.51 c | 154828 | 1000 20000 100000 | 88319 83959 129 | 0.000 % |
89.92/90.00 c | 155548 | 1000 20000 100000 | 88319 84679 129 | 0.000 % |
90.52/90.63 c | 156342 | 1000 20000 100000 | 88319 85473 129 | 0.000 % |
91.12/91.30 c | 157217 | 1000 20000 100000 | 88319 86348 129 | 0.000 % |
91.92/92.04 c | 158175 | 1000 20000 100000 | 88319 87306 129 | 0.000 % |
92.72/92.80 c | 159228 | 1000 20000 100000 | 88319 88359 129 | 0.000 % |
93.52/93.66 c | 160387 | 1000 20000 100000 | 79229 71185 129 | 0.000 % |
94.32/94.44 c | 161660 | 1000 20000 100000 | 79229 72458 129 | 0.000 % |
95.22/95.32 c | 163060 | 1000 20000 100000 | 79229 73858 129 | 0.000 % |
96.22/96.36 c | 164601 | 1000 20000 100000 | 79229 75399 129 | 0.000 % |
97.32/97.47 c | 166298 | 1000 20000 100000 | 79229 77096 129 | 0.000 % |
97.42/97.54 c | 166398 | 1000 20000 100000 | 79229 77196 129 | 0.000 % |
97.52/97.61 c | 166510 | 1000 20000 100000 | 79229 77308 129 | 0.000 % |
97.62/97.73 c | 166631 | 1000 20000 100000 | 79229 77429 129 | 0.000 % |
97.72/97.83 c | 166764 | 1000 20000 100000 | 79229 77562 129 | 0.000 % |
97.82/97.95 c | 166911 | 1000 20000 100000 | 79229 77709 129 | 0.000 % |
97.92/98.07 c | 167073 | 1000 20000 100000 | 79229 77871 129 | 0.000 % |
98.12/98.23 c | 167249 | 1000 20000 100000 | 79229 78047 129 | 0.000 % |
98.22/98.37 c | 167442 | 1000 20000 100000 | 79229 78240 129 | 0.000 % |
98.42/98.53 c | 167654 | 1000 20000 100000 | 79229 78452 129 | 0.000 % |
98.62/98.70 c | 167887 | 1000 20000 100000 | 79229 78685 129 | 0.000 % |
98.72/98.89 c | 168144 | 1000 20000 100000 | 79229 78942 129 | 0.000 % |
98.92/99.09 c | 168425 | 1000 20000 100000 | 79229 79223 129 | 0.000 % |
99.22/99.32 c | 168735 | 1000 20000 100000 | 79229 79533 129 | 0.000 % |
99.41/99.58 c | 169074 | 1000 20000 100000 | 79229 71919 129 | 0.000 % |
99.71/99.86 c | 169447 | 1000 20000 100000 | 79229 72292 129 | 0.000 % |
100.02/100.14 c | 169856 | 1000 20000 100000 | 79229 72701 129 | 0.000 % |
100.31/100.41 c | 170306 | 1000 20000 100000 | 2147483647 73151 129 | 0.000 % |
100.61/100.73 c | 170800 | 1000 20000 100000 | 2147483647 73645 129 | 0.000 % |
101.02/101.10 c | 171342 | 1000 20000 100000 | 2147483647 74187 129 | 0.000 % |
101.31/101.49 c | 171938 | 1000 20000 100000 | 2147483647 74783 129 | 0.000 % |
101.71/101.90 c | 172593 | 1000 20000 100000 | 2147483647 75438 129 | 0.000 % |
102.31/102.45 c | 173314 | 1000 20000 100000 | 2147483647 76159 129 | 0.000 % |
102.91/103.00 c | 174106 | 1000 20000 100000 | 2147483647 76951 129 | 0.000 % |
103.51/103.63 c | 174977 | 1000 20000 100000 | 2147483647 77822 129 | 0.000 % |
104.11/104.23 c | 175936 | 1000 20000 100000 | 2147483647 78781 130 | 0.000 % |
104.81/104.93 c | 176989 | 1000 20000 100000 | 2147483647 79834 130 | 0.000 % |
105.61/105.73 c | 178149 | 1000 20000 100000 | 2147483647 80994 130 | 0.000 % |
106.51/106.68 c | 179422 | 1000 20000 100000 | 2147483647 82267 130 | 0.000 % |
107.51/107.60 c | 180823 | 1000 20000 100000 | 2147483647 83668 130 | 0.000 % |
108.61/108.70 c | 182364 | 1000 20000 100000 | 2147483647 85209 130 | 0.000 % |
109.81/109.95 c | 184059 | 1000 20000 100000 | 2147483647 86904 130 | 0.000 % |
111.21/111.37 c | 185922 | 1000 20000 100000 | 2147483647 88767 131 | 0.000 % |
111.31/111.46 c | 186025 | 1000 20000 100000 | 2147483647 88870 131 | 0.000 % |
111.41/111.58 c | 186137 | 1000 20000 100000 | 2147483647 88982 131 | 0.000 % |
111.51/111.68 c | 186259 | 1000 20000 100000 | 2147483647 89104 130 | 0.000 % |
111.61/111.80 c | 186395 | 1000 20000 100000 | 2147483647 89240 130 | 0.000 % |
111.81/111.92 c | 186541 | 1000 20000 100000 | 2147483647 89386 130 | 0.000 % |
111.91/112.08 c | 186701 | 1000 20000 100000 | 2147483647 89546 130 | 0.000 % |
112.11/112.25 c | 186879 | 1000 20000 100000 | 2147483647 89724 130 | 0.000 % |
112.31/112.43 c | 187074 | 1000 20000 100000 | 2147483647 89919 130 | 0.000 % |
112.51/112.64 c | 187287 | 1000 20000 100000 | 2147483647 90132 130 | 0.000 % |
112.71/112.85 c | 187521 | 1000 20000 100000 | 2147483647 90366 130 | 0.000 % |
113.01/113.10 c | 187777 | 1000 20000 100000 | 2147483647 90622 130 | 0.000 % |
113.21/113.34 c | 188059 | 1000 20000 100000 | 2147483647 90904 130 | 0.000 % |
113.51/113.64 c | 188369 | 1000 20000 100000 | 2147483647 91214 130 | 0.000 % |
113.80/113.93 c | 188709 | 1000 20000 100000 | 2147483647 91554 130 | 0.000 % |
114.10/114.25 c | 189081 | 1000 20000 100000 | 2147483647 91926 130 | 0.000 % |
114.50/114.60 c | 189490 | 1000 20000 100000 | 2147483647 92335 130 | 0.000 % |
114.90/115.00 c | 189939 | 1000 20000 100000 | 2147483647 92784 130 | 0.000 % |
115.31/115.46 c | 190433 | 1000 20000 100000 | 92845 82121 130 | 0.000 % |
115.70/115.89 c | 190976 | 1000 20000 100000 | 92845 82664 130 | 0.000 % |
116.20/116.34 c | 191572 | 1000 20000 100000 | 92845 83260 130 | 0.000 % |
116.70/116.84 c | 192228 | 1000 20000 100000 | 92845 83916 130 | 0.000 % |
117.20/117.35 c | 192948 | 1000 20000 100000 | 92845 84636 130 | 0.000 % |
117.80/117.98 c | 193740 | 1000 20000 100000 | 92845 85428 130 | 0.000 % |
118.50/118.61 c | 194612 | 1000 20000 100000 | 92845 86300 130 | 0.000 % |
119.20/119.36 c | 195570 | 1000 20000 100000 | 92845 87258 131 | 0.000 % |
120.10/120.24 c | 196623 | 1000 20000 100000 | 92845 88311 131 | 0.000 % |
121.00/121.11 c | 197781 | 1000 20000 100000 | 92845 89469 131 | 0.000 % |
122.00/122.13 c | 199054 | 1000 20000 100000 | 92845 90742 131 | 0.000 % |
123.20/123.30 c | 200455 | 1000 20000 100000 | 91689 80910 131 | 0.000 % |
124.30/124.46 c | 201997 | 1000 20000 100000 | 91689 82452 131 | 0.000 % |
125.50/125.65 c | 203691 | 1000 20000 100000 | 91689 84146 131 | 0.000 % |
126.80/126.95 c | 205555 | 1000 20000 100000 | 91689 86010 131 | 0.000 % |
128.30/128.49 c | 207605 | 1000 20000 100000 | 91689 88060 132 | 0.000 % |
128.40/128.57 c | 207706 | 1000 20000 100000 | 91689 88161 132 | 0.000 % |
128.50/128.66 c | 207816 | 1000 20000 100000 | 91689 88271 132 | 0.000 % |
128.60/128.77 c | 207939 | 1000 20000 100000 | 91689 88394 132 | 0.000 % |
128.70/128.88 c | 208073 | 1000 20000 100000 | 91689 88528 132 | 0.000 % |
128.90/129.02 c | 208219 | 1000 20000 100000 | 91689 88674 131 | 0.000 % |
129.00/129.16 c | 208381 | 1000 20000 100000 | 91689 88836 131 | 0.000 % |
129.20/129.31 c | 208557 | 1000 20000 100000 | 91689 89012 131 | 0.000 % |
129.30/129.49 c | 208752 | 1000 20000 100000 | 91689 89207 131 | 0.000 % |
129.50/129.69 c | 208964 | 1000 20000 100000 | 91689 89419 131 | 0.000 % |
129.80/129.90 c | 209198 | 1000 20000 100000 | 91689 89653 131 | 0.000 % |
130.00/130.13 c | 209455 | 1000 20000 100000 | 91689 89910 131 | 0.000 % |
130.20/130.37 c | 209737 | 1000 20000 100000 | 91689 90192 131 | 0.000 % |
130.50/130.61 c | 210047 | 1000 20000 100000 | 90456 90502 131 | 0.000 % |
130.80/130.95 c | 210386 | 1000 20000 100000 | 90456 80578 131 | 0.000 % |
131.10/131.22 c | 210758 | 1000 20000 100000 | 90456 80950 131 | 0.000 % |
131.40/131.57 c | 211168 | 1000 20000 100000 | 90456 81360 131 | 0.000 % |
131.70/131.88 c | 211618 | 1000 20000 100000 | 90456 81810 131 | 0.000 % |
132.10/132.21 c | 212111 | 1000 20000 100000 | 90456 82303 131 | 0.000 % |
132.50/132.61 c | 212654 | 1000 20000 100000 | 90456 82846 131 | 0.000 % |
132.90/133.05 c | 213251 | 1000 20000 100000 | 90456 83443 131 | 0.000 % |
133.40/133.51 c | 213909 | 1000 20000 100000 | 90456 84101 131 | 0.000 % |
133.90/134.05 c | 214629 | 1000 20000 100000 | 90456 84821 132 | 0.000 % |
134.50/134.62 c | 215421 | 1000 20000 100000 | 90456 85613 132 | 0.000 % |
135.10/135.21 c | 216292 | 1000 20000 100000 | 90456 86484 131 | 0.000 % |
135.80/135.91 c | 217250 | 1000 20000 100000 | 90456 87442 132 | 0.000 % |
136.60/136.73 c | 218304 | 1000 20000 100000 | 90456 88496 132 | 0.000 % |
137.49/137.61 c | 219463 | 1000 20000 100000 | 90456 89655 132 | 0.000 % |
138.50/138.63 c | 220738 | 1000 20000 100000 | 90192 81325 132 | 0.000 % |
139.50/139.63 c | 222138 | 1000 20000 100000 | 90192 82725 132 | 0.000 % |
140.49/140.69 c | 223679 | 1000 20000 100000 | 90192 84266 132 | 0.000 % |
141.70/141.85 c | 225374 | 1000 20000 100000 | 90192 85961 132 | 0.000 % |
143.09/143.27 c | 227237 | 1000 20000 100000 | 90192 87824 133 | 0.000 % |
144.69/144.86 c | 229286 | 1000 20000 100000 | 90192 89873 133 | 0.000 % |
146.29/146.47 c | 231539 | 1000 20000 100000 | 81274 74622 134 | 0.000 % |
146.39/146.57 c | 231642 | 1000 20000 100000 | 81274 74725 134 | 0.000 % |
146.49/146.65 c | 231753 | 1000 20000 100000 | 81274 74836 134 | 0.000 % |
146.59/146.74 c | 231874 | 1000 20000 100000 | 81274 74957 134 | 0.000 % |
146.69/146.84 c | 232007 | 1000 20000 100000 | 81274 75090 134 | 0.000 % |
146.79/146.97 c | 232153 | 1000 20000 100000 | 81274 75236 134 | 0.000 % |
146.89/147.08 c | 232313 | 1000 20000 100000 | 81274 75396 134 | 0.000 % |
147.09/147.22 c | 232492 | 1000 20000 100000 | 81274 75575 134 | 0.000 % |
147.19/147.36 c | 232685 | 1000 20000 100000 | 81274 75768 134 | 0.000 % |
147.39/147.53 c | 232897 | 1000 20000 100000 | 81274 75980 134 | 0.000 % |
147.59/147.70 c | 233130 | 1000 20000 100000 | 81274 76213 134 | 0.000 % |
147.69/147.88 c | 233387 | 1000 20000 100000 | 81274 76470 134 | 0.000 % |
147.99/148.11 c | 233669 | 1000 20000 100000 | 81274 76752 134 | 0.000 % |
148.19/148.33 c | 233980 | 1000 20000 100000 | 81274 77063 134 | 0.000 % |
148.49/148.60 c | 234320 | 1000 20000 100000 | 81274 77403 134 | 0.000 % |
148.69/148.86 c | 234692 | 1000 20000 100000 | 81274 77775 134 | 0.000 % |
148.99/149.15 c | 235102 | 1000 20000 100000 | 81274 78185 133 | 0.000 % |
149.29/149.47 c | 235551 | 1000 20000 100000 | 81274 78634 133 | 0.000 % |
149.69/149.85 c | 236044 | 1000 20000 100000 | 81274 79127 133 | 0.000 % |
150.09/150.27 c | 236586 | 1000 20000 100000 | 81274 79669 133 | 0.000 % |
150.59/150.72 c | 237183 | 1000 20000 100000 | 81274 80266 133 | 0.000 % |
150.99/151.16 c | 237842 | 1000 20000 100000 | 81274 80925 133 | 0.000 % |
151.59/151.72 c | 238562 | 1000 20000 100000 | 81274 73483 133 | 0.000 % |
152.09/152.26 c | 239355 | 1000 20000 100000 | 81274 74276 133 | 0.000 % |
152.69/152.84 c | 240226 | 1000 20000 100000 | 2147483647 75147 133 | 0.000 % |
153.29/153.47 c | 241184 | 1000 20000 100000 | 2147483647 76105 133 | 0.000 % |
153.99/154.13 c | 242238 | 1000 20000 100000 | 2147483647 77159 133 | 0.000 % |
154.69/154.89 c | 243396 | 1000 20000 100000 | 2147483647 78317 133 | 0.000 % |
155.49/155.69 c | 244669 | 1000 20000 100000 | 2147483647 79590 133 | 0.000 % |
156.49/156.66 c | 246070 | 1000 20000 100000 | 2147483647 80991 133 | 0.000 % |
157.59/157.78 c | 247610 | 1000 20000 100000 | 2147483647 82531 133 | 0.000 % |
158.89/159.09 c | 249305 | 1000 20000 100000 | 2147483647 84226 133 | 0.000 % |
160.19/160.38 c | 251168 | 1000 20000 100000 | 2147483647 86089 134 | 0.000 % |
161.69/161.84 c | 253217 | 1000 20000 100000 | 2147483647 88138 134 | 0.000 % |
163.39/163.51 c | 255471 | 1000 20000 100000 | 2147483647 90392 134 | 0.000 % |
165.29/165.45 c | 257950 | 1000 20000 100000 | 2147483647 92871 134 | 0.000 % |
165.39/165.54 c | 258051 | 1000 20000 100000 | 2147483647 92972 134 | 0.000 % |
165.49/165.68 c | 258162 | 1000 20000 100000 | 2147483647 93083 134 | 0.000 % |
165.59/165.79 c | 258283 | 1000 20000 100000 | 2147483647 93204 134 | 0.000 % |
165.79/165.90 c | 258419 | 1000 20000 100000 | 2147483647 93340 134 | 0.000 % |
165.89/166.04 c | 258566 | 1000 20000 100000 | 2147483647 93487 134 | 0.000 % |
166.09/166.20 c | 258727 | 1000 20000 100000 | 2147483647 93648 134 | 0.000 % |
166.19/166.36 c | 258903 | 1000 20000 100000 | 2147483647 93824 134 | 0.000 % |
166.39/166.55 c | 259097 | 1000 20000 100000 | 2147483647 94018 134 | 0.000 % |
166.59/166.75 c | 259309 | 1000 20000 100000 | 2147483647 94230 134 | 0.000 % |
166.79/166.95 c | 259543 | 1000 20000 100000 | 2147483647 94464 134 | 0.000 % |
167.09/167.22 c | 259799 | 1000 20000 100000 | 2147483647 94720 133 | 0.000 % |
167.29/167.49 c | 260080 | 1000 20000 100000 | 94922 95001 133 | 0.000 % |
167.69/167.82 c | 260389 | 1000 20000 100000 | 94922 83717 134 | 0.000 % |
167.89/168.09 c | 260729 | 1000 20000 100000 | 94922 84057 134 | 0.000 % |
168.19/168.37 c | 261104 | 1000 20000 100000 | 94922 84432 134 | 0.000 % |
168.48/168.68 c | 261514 | 1000 20000 100000 | 94922 84842 134 | 0.000 % |
168.88/169.05 c | 261963 | 1000 20000 100000 | 94922 85291 134 | 0.000 % |
169.29/169.41 c | 262456 | 1000 20000 100000 | 94922 85784 134 | 0.000 % |
169.68/169.83 c | 263000 | 1000 20000 100000 | 94922 86328 134 | 0.000 % |
170.08/170.29 c | 263597 | 1000 20000 100000 | 94922 86925 134 | 0.000 % |
170.68/170.83 c | 264252 | 1000 20000 100000 | 94922 87580 134 | 0.000 % |
171.18/171.39 c | 264972 | 1000 20000 100000 | 94922 88300 134 | 0.000 % |
171.78/171.98 c | 265765 | 1000 20000 100000 | 94922 89093 134 | 0.000 % |
172.49/172.65 c | 266636 | 1000 20000 100000 | 94922 89964 134 | 0.000 % |
173.18/173.39 c | 267594 | 1000 20000 100000 | 94922 90922 134 | 0.000 % |
174.08/174.20 c | 268648 | 1000 20000 100000 | 94922 91976 134 | 0.000 % |
174.98/175.18 c | 269807 | 1000 20000 100000 | 94922 93135 134 | 0.000 % |
175.98/176.17 c | 271082 | 1000 20000 100000 | 93328 82309 133 | 0.000 % |
177.08/177.23 c | 272482 | 1000 20000 100000 | 93328 83709 133 | 0.000 % |
178.18/178.36 c | 274023 | 1000 20000 100000 | 93328 85250 133 | 0.000 % |
179.48/179.63 c | 275717 | 1000 20000 100000 | 93328 86944 133 | 0.000 % |
180.88/181.03 c | 277581 | 1000 20000 100000 | 93328 88808 133 | 0.000 % |
182.48/182.64 c | 279631 | 1000 20000 100000 | 93328 90858 133 | 0.000 % |
184.28/184.44 c | 281884 | 1000 20000 100000 | 91230 81685 133 | 0.000 % |
186.28/186.43 c | 284365 | 1000 20000 100000 | 91230 84166 134 | 0.000 % |
188.38/188.51 c | 287091 | 1000 20000 100000 | 91230 86892 134 | 0.000 % |
188.48/188.61 c | 287191 | 1000 20000 100000 | 91230 86992 134 | 0.000 % |
188.48/188.70 c | 287302 | 1000 20000 100000 | 91230 87103 134 | 0.000 % |
188.58/188.79 c | 287423 | 1000 20000 100000 | 91230 87224 134 | 0.000 % |
188.78/188.90 c | 287556 | 1000 20000 100000 | 91230 87357 134 | 0.000 % |
188.87/189.04 c | 287704 | 1000 20000 100000 | 91230 87505 134 | 0.000 % |
188.98/189.19 c | 287866 | 1000 20000 100000 | 91230 87667 134 | 0.000 % |
189.17/189.33 c | 288042 | 1000 20000 100000 | 91230 87843 134 | 0.000 % |
189.37/189.50 c | 288237 | 1000 20000 100000 | 91230 88038 134 | 0.000 % |
189.47/189.67 c | 288449 | 1000 20000 100000 | 91230 88250 134 | 0.000 % |
189.67/189.85 c | 288682 | 1000 20000 100000 | 91230 88483 134 | 0.000 % |
189.87/190.04 c | 288938 | 1000 20000 100000 | 91230 88739 134 | 0.000 % |
190.08/190.26 c | 289219 | 1000 20000 100000 | 91230 89020 134 | 0.000 % |
190.37/190.50 c | 289528 | 1000 20000 100000 | 91230 89329 134 | 0.000 % |
190.67/190.81 c | 289870 | 1000 20000 100000 | 91230 89671 134 | 0.000 % |
190.97/191.13 c | 290242 | 1000 20000 100000 | 89801 90043 134 | 0.000 % |
191.28/191.49 c | 290653 | 1000 20000 100000 | 89801 79739 133 | 0.000 % |
191.67/191.83 c | 291102 | 1000 20000 100000 | 89801 80188 133 | 0.000 % |
191.97/192.17 c | 291595 | 1000 20000 100000 | 89801 80681 133 | 0.000 % |
192.37/192.57 c | 292138 | 1000 20000 100000 | 89801 81224 133 | 0.000 % |
192.87/193.04 c | 292736 | 1000 20000 100000 | 89801 81822 133 | 0.000 % |
193.37/193.50 c | 293391 | 1000 20000 100000 | 89801 82477 133 | 0.000 % |
193.87/194.04 c | 294114 | 1000 20000 100000 | 89801 83200 133 | 0.000 % |
194.47/194.66 c | 294906 | 1000 20000 100000 | 89801 83992 133 | 0.000 % |
195.07/195.30 c | 295778 | 1000 20000 100000 | 89801 84864 133 | 0.000 % |
195.77/195.96 c | 296737 | 1000 20000 100000 | 89801 85823 133 | 0.000 % |
196.57/196.72 c | 297790 | 1000 20000 100000 | 89801 86876 133 | 0.000 % |
197.37/197.53 c | 298948 | 1000 20000 100000 | 89801 88034 133 | 0.000 % |
198.27/198.45 c | 300221 | 1000 20000 100000 | 89087 89307 133 | 0.000 % |
199.27/199.42 c | 301622 | 1000 20000 100000 | 89087 81041 133 | 0.000 % |
200.27/200.44 c | 303163 | 1000 20000 100000 | 89087 82582 133 | 0.000 % |
201.47/201.64 c | 304857 | 1000 20000 100000 | 89087 84276 133 | 0.000 % |
202.86/203.08 c | 306722 | 1000 20000 100000 | 89087 86141 133 | 0.000 % |
204.47/204.62 c | 308771 | 1000 20000 100000 | 89087 88190 134 | 0.000 % |
206.16/206.32 c | 311024 | 1000 20000 100000 | 2147483647 90443 134 | 0.000 % |
208.06/208.24 c | 313503 | 1000 20000 100000 | 2147483647 92922 134 | 0.000 % |
210.17/210.38 c | 316228 | 1000 20000 100000 | 2147483647 95647 134 | 0.000 % |
212.56/212.72 c | 319226 | 1000 20000 100000 | 2147483647 98645 134 | 0.000 % |
212.66/212.81 c | 319327 | 1000 20000 100000 | 2147483647 98746 134 | 0.000 % |
212.76/212.93 c | 319439 | 1000 20000 100000 | 2147483647 98858 134 | 0.000 % |
212.86/213.05 c | 319561 | 1000 20000 100000 | 2147483647 98980 134 | 0.000 % |
213.06/213.21 c | 319694 | 1000 20000 100000 | 2147483647 99113 134 | 0.000 % |
213.17/213.35 c | 319840 | 1000 20000 100000 | 2147483647 99259 134 | 0.000 % |
213.27/213.49 c | 320003 | 1000 20000 100000 | 2147483647 99422 134 | 0.000 % |
213.56/213.78 c | 320180 | 1000 20000 100000 | 99422 85741 133 | 0.000 % |
213.76/213.95 c | 320376 | 1000 20000 100000 | 99422 85937 133 | 0.000 % |
213.96/214.14 c | 320589 | 1000 20000 100000 | 99422 86150 133 | 0.000 % |
214.16/214.34 c | 320822 | 1000 20000 100000 | 99422 86383 133 | 0.000 % |
214.37/214.55 c | 321078 | 1000 20000 100000 | 99422 86639 133 | 0.000 % |
214.56/214.79 c | 321360 | 1000 20000 100000 | 99422 86921 133 | 0.000 % |
214.86/215.06 c | 321669 | 1000 20000 100000 | 99422 87230 133 | 0.000 % |
215.16/215.34 c | 322008 | 1000 20000 100000 | 99422 87569 133 | 0.000 % |
215.47/215.69 c | 322382 | 1000 20000 100000 | 99422 87943 133 | 0.000 % |
215.86/216.02 c | 322791 | 1000 20000 100000 | 99422 88352 133 | 0.000 % |
216.16/216.39 c | 323240 | 1000 20000 100000 | 99422 88801 133 | 0.000 % |
216.57/216.79 c | 323734 | 1000 20000 100000 | 99422 89295 133 | 0.000 % |
217.06/217.23 c | 324276 | 1000 20000 100000 | 99422 89837 133 | 0.000 % |
217.46/217.67 c | 324872 | 1000 20000 100000 | 99422 90433 133 | 0.000 % |
218.06/218.24 c | 325528 | 1000 20000 100000 | 99422 91089 133 | 0.000 % |
218.66/218.87 c | 326249 | 1000 20000 100000 | 99422 91810 133 | 0.000 % |
219.36/219.52 c | 327041 | 1000 20000 100000 | 99422 92602 133 | 0.000 % |
220.06/220.27 c | 327912 | 1000 20000 100000 | 99422 93473 133 | 0.000 % |
220.86/221.05 c | 328872 | 1000 20000 100000 | 99422 94433 133 | 0.000 % |
221.76/221.96 c | 329925 | 1000 20000 100000 | 99422 95486 133 | 0.000 % |
222.76/222.91 c | 331084 | 1000 20000 100000 | 95561 82879 132 | 0.000 % |
223.76/223.95 c | 332358 | 1000 20000 100000 | 95561 84153 133 | 0.000 % |
224.76/224.99 c | 333758 | 1000 20000 100000 | 95561 85553 133 | 0.000 % |
225.86/226.09 c | 335298 | 1000 20000 100000 | 95561 87093 133 | 0.000 % |
227.06/227.29 c | 336992 | 1000 20000 100000 | 95561 88787 133 | 0.000 % |
228.45/228.68 c | 338855 | 1000 20000 100000 | 95561 90650 133 | 0.000 % |
230.05/230.21 c | 340904 | 1000 20000 100000 | 91798 81817 132 | 0.000 % |
231.66/231.82 c | 343158 | 1000 20000 100000 | 91798 84071 133 | 0.000 % |
233.36/233.57 c | 345637 | 1000 20000 100000 | 91798 86550 133 | 0.000 % |
235.27/235.40 c | 348364 | 1000 20000 100000 | 91798 89277 133 | 0.000 % |
237.46/237.66 c | 351362 | 1000 20000 100000 | 90913 82774 133 | 0.000 % |
239.96/240.14 c | 354658 | 1000 20000 100000 | 90913 86070 134 | 0.000 % |
240.06/240.21 c | 354759 | 1000 20000 100000 | 90913 86171 134 | 0.000 % |
240.16/240.31 c | 354869 | 1000 20000 100000 | 90913 86281 134 | 0.000 % |
240.26/240.41 c | 354991 | 1000 20000 100000 | 90913 86403 134 | 0.000 % |
240.36/240.53 c | 355124 | 1000 20000 100000 | 90913 86536 134 | 0.000 % |
240.46/240.64 c | 355272 | 1000 20000 100000 | 90913 86684 134 | 0.000 % |
240.56/240.75 c | 355433 | 1000 20000 100000 | 90913 86845 134 | 0.000 % |
240.76/240.90 c | 355609 | 1000 20000 100000 | 90913 87021 134 | 0.000 % |
240.86/241.06 c | 355803 | 1000 20000 100000 | 90913 87215 134 | 0.000 % |
241.06/241.24 c | 356015 | 1000 20000 100000 | 90913 87427 134 | 0.000 % |
241.26/241.46 c | 356249 | 1000 20000 100000 | 90913 87661 134 | 0.000 % |
241.46/241.68 c | 356505 | 1000 20000 100000 | 90913 87917 134 | 0.000 % |
241.76/241.93 c | 356788 | 1000 20000 100000 | 90913 88200 134 | 0.000 % |
241.96/242.19 c | 357099 | 1000 20000 100000 | 90913 88511 134 | 0.000 % |
242.26/242.49 c | 357439 | 1000 20000 100000 | 90913 88851 133 | 0.000 % |
242.66/242.80 c | 357813 | 1000 20000 100000 | 90913 89225 133 | 0.000 % |
242.96/243.13 c | 358223 | 1000 20000 100000 | 90913 89635 133 | 0.000 % |
243.36/243.55 c | 358673 | 1000 20000 100000 | 90913 90085 133 | 0.000 % |
243.76/243.95 c | 359166 | 1000 20000 100000 | 90913 90578 133 | 0.000 % |
244.16/244.35 c | 359708 | 1000 20000 100000 | 90913 91120 133 | 0.000 % |
244.66/244.82 c | 360305 | 1000 20000 100000 | 81025 81330 133 | 0.000 % |
245.16/245.31 c | 360960 | 1000 20000 100000 | 81025 73021 133 | 0.000 % |
245.56/245.79 c | 361680 | 1000 20000 100000 | 81025 73741 133 | 0.000 % |
246.06/246.27 c | 362472 | 1000 20000 100000 | 81025 74533 133 | 0.000 % |
246.66/246.84 c | 363343 | 1000 20000 100000 | 81025 75404 133 | 0.000 % |
247.26/247.46 c | 364302 | 1000 20000 100000 | 81025 76363 133 | 0.000 % |
247.95/248.16 c | 365356 | 1000 20000 100000 | 81025 77417 132 | 0.000 % |
248.75/248.94 c | 366514 | 1000 20000 100000 | 81025 78575 132 | 0.000 % |
249.65/249.89 c | 367787 | 1000 20000 100000 | 81025 79848 132 | 0.000 % |
250.66/250.86 c | 369189 | 1000 20000 100000 | 81025 81250 132 | 0.000 % |
251.76/251.95 c | 370731 | 1000 20000 100000 | 2147483647 74667 133 | 0.000 % |
252.95/253.10 c | 372428 | 1000 20000 100000 | 2147483647 76364 133 | 0.000 % |
254.15/254.36 c | 374292 | 1000 20000 100000 | 2147483647 78228 133 | 0.000 % |
255.55/255.77 c | 376343 | 1000 20000 100000 | 2147483647 80279 133 | 0.000 % |
257.05/257.30 c | 378597 | 1000 20000 100000 | 2147483647 82533 133 | 0.000 % |
258.85/259.05 c | 381076 | 1000 20000 100000 | 2147483647 85012 133 | 0.000 % |
260.85/261.07 c | 383801 | 1000 20000 100000 | 2147483647 87737 133 | 0.000 % |
263.25/263.48 c | 386798 | 1000 20000 100000 | 2147483647 90734 134 | 0.000 % |
265.75/265.96 c | 390094 | 1000 20000 100000 | 93936 94030 134 | 0.000 % |
268.45/268.65 c | 393722 | 1000 20000 100000 | 93936 87293 134 | 0.000 % |
268.55/268.74 c | 393824 | 1000 20000 100000 | 93936 87395 134 | 0.000 % |
268.65/268.82 c | 393934 | 1000 20000 100000 | 93936 87505 134 | 0.000 % |
268.75/268.93 c | 394055 | 1000 20000 100000 | 93936 87626 134 | 0.000 % |
268.85/269.07 c | 394188 | 1000 20000 100000 | 93936 87759 134 | 0.000 % |
269.05/269.20 c | 394334 | 1000 20000 100000 | 93936 87905 134 | 0.000 % |
269.15/269.35 c | 394494 | 1000 20000 100000 | 93936 88065 134 | 0.000 % |
269.35/269.51 c | 394671 | 1000 20000 100000 | 93936 88242 134 | 0.000 % |
269.45/269.66 c | 394864 | 1000 20000 100000 | 93936 88435 134 | 0.000 % |
269.65/269.84 c | 395076 | 1000 20000 100000 | 93936 88647 134 | 0.000 % |
269.85/270.07 c | 395309 | 1000 20000 100000 | 93936 88880 134 | 0.000 % |
270.05/270.27 c | 395565 | 1000 20000 100000 | 93936 89136 134 | 0.000 % |
270.35/270.53 c | 395846 | 1000 20000 100000 | 93936 89417 134 | 0.000 % |
270.55/270.79 c | 396155 | 1000 20000 100000 | 93936 89726 134 | 0.000 % |
270.84/271.07 c | 396494 | 1000 20000 100000 | 93936 90065 134 | 0.000 % |
271.14/271.35 c | 396866 | 1000 20000 100000 | 93936 90437 134 | 0.000 % |
271.45/271.67 c | 397280 | 1000 20000 100000 | 93936 90851 133 | 0.000 % |
271.84/272.01 c | 397729 | 1000 20000 100000 | 93936 91300 133 | 0.000 % |
272.14/272.39 c | 398223 | 1000 20000 100000 | 93936 91794 133 | 0.000 % |
272.55/272.80 c | 398766 | 1000 20000 100000 | 93936 92337 133 | 0.000 % |
273.04/273.25 c | 399363 | 1000 20000 100000 | 93936 92934 133 | 0.000 % |
273.54/273.75 c | 400018 | 1000 20000 100000 | 93572 93589 133 | 0.000 % |
274.14/274.39 c | 400741 | 1000 20000 100000 | 93572 82363 133 | 0.000 % |
274.74/274.97 c | 401535 | 1000 20000 100000 | 93572 83157 133 | 0.000 % |
275.44/275.67 c | 402406 | 1000 20000 100000 | 93572 84028 133 | 0.000 % |
276.14/276.35 c | 403364 | 1000 20000 100000 | 93572 84986 133 | 0.000 % |
276.94/277.15 c | 404417 | 1000 20000 100000 | 93572 86039 133 | 0.000 % |
277.74/277.97 c | 405575 | 1000 20000 100000 | 93572 87197 133 | 0.000 % |
278.74/278.99 c | 406848 | 1000 20000 100000 | 93572 88470 133 | 0.000 % |
279.94/280.10 c | 408248 | 1000 20000 100000 | 93572 89870 133 | 0.000 % |
281.04/281.26 c | 409788 | 1000 20000 100000 | 93572 91410 133 | 0.000 % |
282.34/282.56 c | 411483 | 1000 20000 100000 | 91622 82253 134 | 0.000 % |
283.64/283.89 c | 413349 | 1000 20000 100000 | 91622 84119 134 | 0.000 % |
285.24/285.46 c | 415402 | 1000 20000 100000 | 91622 86172 134 | 0.000 % |
286.94/287.17 c | 417656 | 1000 20000 100000 | 91622 88426 134 | 0.000 % |
288.93/289.16 c | 420138 | 1000 20000 100000 | 90770 90908 134 | 0.000 % |
290.93/291.17 c | 422864 | 1000 20000 100000 | 90770 84231 134 | 0.000 % |
293.33/293.53 c | 425862 | 1000 20000 100000 | 90770 87229 134 | 0.000 % |
295.74/295.93 c | 429160 | 1000 20000 100000 | 90770 90527 134 | 0.000 % |
298.23/298.49 c | 432785 | 1000 20000 100000 | 81974 76288 134 | 0.000 % |
300.83/301.09 c | 436773 | 1000 20000 100000 | 81974 80276 134 | 0.000 % |
300.93/301.19 c | 436873 | 1000 20000 100000 | 81974 80376 134 | 0.000 % |
301.03/301.29 c | 436983 | 1000 20000 100000 | 81974 80486 134 | 0.000 % |
301.13/301.37 c | 437105 | 1000 20000 100000 | 81974 80608 134 | 0.000 % |
301.23/301.49 c | 437239 | 1000 20000 100000 | 81974 80742 134 | 0.000 % |
301.43/301.60 c | 437385 | 1000 20000 100000 | 81974 80888 134 | 0.000 % |
301.53/301.73 c | 437548 | 1000 20000 100000 | 81974 81051 134 | 0.000 % |
301.63/301.89 c | 437724 | 1000 20000 100000 | 81974 81227 134 | 0.000 % |
301.83/302.05 c | 437917 | 1000 20000 100000 | 81974 81420 134 | 0.000 % |
302.03/302.24 c | 438129 | 1000 20000 100000 | 81974 81632 134 | 0.000 % |
302.23/302.41 c | 438364 | 1000 20000 100000 | 81974 81867 134 | 0.000 % |
302.43/302.62 c | 438620 | 1000 20000 100000 | 81974 82123 134 | 0.000 % |
302.63/302.88 c | 438901 | 1000 20000 100000 | 81974 74192 135 | 0.000 % |
302.93/303.10 c | 439211 | 1000 20000 100000 | 81974 74502 135 | 0.000 % |
303.13/303.33 c | 439551 | 1000 20000 100000 | 81974 74842 135 | 0.000 % |
303.43/303.63 c | 439924 | 1000 20000 100000 | 81974 75215 134 | 0.000 % |
303.73/303.94 c | 440333 | 1000 20000 100000 | 2147483647 75624 134 | 0.000 % |
304.03/304.26 c | 440783 | 1000 20000 100000 | 2147483647 76074 134 | 0.000 % |
304.43/304.63 c | 441276 | 1000 20000 100000 | 2147483647 76567 134 | 0.000 % |
304.73/304.99 c | 441819 | 1000 20000 100000 | 2147483647 77110 134 | 0.000 % |
305.22/305.40 c | 442417 | 1000 20000 100000 | 2147483647 77708 134 | 0.000 % |
305.63/305.83 c | 443076 | 1000 20000 100000 | 2147483647 78367 134 | 0.000 % |
306.22/306.41 c | 443797 | 1000 20000 100000 | 2147483647 79088 134 | 0.000 % |
306.82/307.01 c | 444589 | 1000 20000 100000 | 2147483647 79880 134 | 0.000 % |
307.42/307.68 c | 445461 | 1000 20000 100000 | 2147483647 80752 134 | 0.000 % |
308.12/308.34 c | 446420 | 1000 20000 100000 | 2147483647 81711 134 | 0.000 % |
308.83/309.06 c | 447473 | 1000 20000 100000 | 2147483647 82764 134 | 0.000 % |
309.72/309.92 c | 448631 | 1000 20000 100000 | 2147483647 83922 134 | 0.000 % |
310.62/310.88 c | 449906 | 1000 20000 100000 | 2147483647 85197 134 | 0.000 % |
311.62/311.86 c | 451306 | 1000 20000 100000 | 2147483647 86597 134 | 0.000 % |
312.62/312.85 c | 452846 | 1000 20000 100000 | 2147483647 88137 134 | 0.000 % |
313.82/314.08 c | 454540 | 1000 20000 100000 | 2147483647 89831 134 | 0.000 % |
315.32/315.57 c | 456404 | 1000 20000 100000 | 2147483647 91695 134 | 0.000 % |
316.92/317.19 c | 458453 | 1000 20000 100000 | 2147483647 93744 135 | 0.000 % |
318.82/319.10 c | 460708 | 1000 20000 100000 | 95293 84949 134 | 0.000 % |
320.62/320.89 c | 463186 | 1000 20000 100000 | 95293 87427 134 | 0.000 % |
322.82/323.02 c | 465911 | 1000 20000 100000 | 95293 90152 135 | 0.000 % |
325.22/325.47 c | 468909 | 1000 20000 100000 | 95293 93150 135 | 0.000 % |
327.72/327.94 c | 472207 | 1000 20000 100000 | 94242 85238 135 | 0.000 % |
330.42/330.68 c | 475833 | 1000 20000 100000 | 94242 88864 134 | 0.000 % |
333.82/334.00 c | 479820 | 1000 20000 100000 | 94242 92851 134 | 0.000 % |
337.11/337.34 c | 484205 | 1000 20000 100000 | 93031 86184 135 | 0.000 % |
337.21/337.42 c | 484307 | 1000 20000 100000 | 93031 86286 135 | 0.000 % |
337.31/337.50 c | 484417 | 1000 20000 100000 | 93031 86396 135 | 0.000 % |
337.42/337.60 c | 484538 | 1000 20000 100000 | 93031 86517 135 | 0.000 % |
337.52/337.73 c | 484671 | 1000 20000 100000 | 93031 86650 135 | 0.000 % |
337.61/337.84 c | 484817 | 1000 20000 100000 | 93031 86796 134 | 0.000 % |
337.71/337.97 c | 484982 | 1000 20000 100000 | 93031 86961 134 | 0.000 % |
337.91/338.12 c | 485158 | 1000 20000 100000 | 93031 87137 134 | 0.000 % |
338.01/338.27 c | 485351 | 1000 20000 100000 | 93031 87330 134 | 0.000 % |
338.21/338.43 c | 485564 | 1000 20000 100000 | 93031 87543 134 | 0.000 % |
338.41/338.64 c | 485797 | 1000 20000 100000 | 93031 87776 134 | 0.000 % |
338.62/338.86 c | 486053 | 1000 20000 100000 | 93031 88032 134 | 0.000 % |
338.91/339.13 c | 486335 | 1000 20000 100000 | 93031 88314 134 | 0.000 % |
339.11/339.39 c | 486647 | 1000 20000 100000 | 93031 88626 134 | 0.000 % |
339.41/339.67 c | 486987 | 1000 20000 100000 | 93031 88966 134 | 0.000 % |
339.72/339.98 c | 487359 | 1000 20000 100000 | 93031 89338 134 | 0.000 % |
340.11/340.32 c | 487770 | 1000 20000 100000 | 93031 89749 134 | 0.000 % |
340.41/340.66 c | 488219 | 1000 20000 100000 | 93031 90198 134 | 0.000 % |
340.81/341.04 c | 488713 | 1000 20000 100000 | 93031 90692 134 | 0.000 % |
341.21/341.47 c | 489256 | 1000 20000 100000 | 93031 91235 134 | 0.000 % |
341.71/341.94 c | 489852 | 1000 20000 100000 | 93031 91831 134 | 0.000 % |
342.31/342.55 c | 490508 | 1000 20000 100000 | 91979 81523 135 | 0.000 % |
342.81/343.08 c | 491228 | 1000 20000 100000 | 91979 82243 135 | 0.000 % |
343.41/343.67 c | 492020 | 1000 20000 100000 | 91979 83035 135 | 0.000 % |
344.11/344.34 c | 492895 | 1000 20000 100000 | 91979 83910 135 | 0.000 % |
344.81/345.04 c | 493853 | 1000 20000 100000 | 91979 84868 135 | 0.000 % |
345.51/345.79 c | 494906 | 1000 20000 100000 | 91979 85921 135 | 0.000 % |
346.41/346.64 c | 496067 | 1000 20000 100000 | 91979 87082 135 | 0.000 % |
347.41/347.66 c | 497341 | 1000 20000 100000 | 91979 88356 135 | 0.000 % |
348.51/348.77 c | 498741 | 1000 20000 100000 | 91979 89756 134 | 0.000 % |
349.71/349.97 c | 500281 | 1000 20000 100000 | 91015 91296 134 | 0.000 % |
351.00/351.24 c | 501976 | 1000 20000 100000 | 91015 82225 134 | 0.000 % |
352.30/352.53 c | 503841 | 1000 20000 100000 | 91015 84090 134 | 0.000 % |
353.70/353.98 c | 505891 | 1000 20000 100000 | 91015 86140 134 | 0.000 % |
355.41/355.64 c | 508144 | 1000 20000 100000 | 91015 88393 135 | 0.000 % |
357.31/357.55 c | 510623 | 1000 20000 100000 | 2147483647 90872 135 | 0.000 % |
359.41/359.64 c | 513349 | 1000 20000 100000 | 2147483647 93598 135 | 0.000 % |
361.80/362.06 c | 516347 | 1000 20000 100000 | 2147483647 96596 135 | 0.000 % |
364.51/364.77 c | 519644 | 1000 20000 100000 | 2147483647 99893 135 | 0.000 % |
367.40/367.61 c | 523271 | 1000 20000 100000 | 100251 90089 134 | 0.000 % |
370.40/370.65 c | 527258 | 1000 20000 100000 | 100251 94076 135 | 0.000 % |
373.70/373.99 c | 531645 | 1000 20000 100000 | 96818 85963 136 | 0.000 % |
377.30/377.59 c | 536469 | 1000 20000 100000 | 96818 90787 136 | 0.000 % |
377.40/377.68 c | 536569 | 1000 20000 100000 | 96818 90887 136 | 0.000 % |
377.60/377.80 c | 536679 | 1000 20000 100000 | 96818 90997 136 | 0.000 % |
377.70/377.92 c | 536802 | 1000 20000 100000 | 96818 91120 136 | 0.000 % |
377.80/378.03 c | 536935 | 1000 20000 100000 | 96818 91253 136 | 0.000 % |
377.90/378.15 c | 537081 | 1000 20000 100000 | 96818 91399 136 | 0.000 % |
378.00/378.29 c | 537243 | 1000 20000 100000 | 96818 91561 136 | 0.000 % |
378.20/378.44 c | 537422 | 1000 20000 100000 | 96818 91740 136 | 0.000 % |
378.40/378.61 c | 537616 | 1000 20000 100000 | 96818 91934 136 | 0.000 % |
378.60/378.80 c | 537829 | 1000 20000 100000 | 96818 92147 136 | 0.000 % |
378.80/379.01 c | 538062 | 1000 20000 100000 | 96818 92380 136 | 0.000 % |
379.00/379.25 c | 538320 | 1000 20000 100000 | 96818 92638 136 | 0.000 % |
379.20/379.48 c | 538602 | 1000 20000 100000 | 96818 92920 136 | 0.000 % |
379.50/379.76 c | 538912 | 1000 20000 100000 | 96818 93230 136 | 0.000 % |
379.80/380.04 c | 539251 | 1000 20000 100000 | 96818 93569 136 | 0.000 % |
380.10/380.32 c | 539623 | 1000 20000 100000 | 96818 93941 136 | 0.000 % |
380.40/380.64 c | 540034 | 1000 20000 100000 | 94319 94352 136 | 0.000 % |
380.80/381.07 c | 540483 | 1000 20000 100000 | 94319 82720 136 | 0.000 % |
381.20/381.43 c | 540976 | 1000 20000 100000 | 94319 83213 136 | 0.000 % |
381.60/381.84 c | 541519 | 1000 20000 100000 | 94319 83756 135 | 0.000 % |
382.10/382.34 c | 542116 | 1000 20000 100000 | 94319 84353 135 | 0.000 % |
382.60/382.84 c | 542772 | 1000 20000 100000 | 94319 85009 135 | 0.000 % |
383.10/383.37 c | 543494 | 1000 20000 100000 | 94319 85731 135 | 0.000 % |
383.70/383.91 c | 544287 | 1000 20000 100000 | 94319 86524 135 | 0.000 % |
384.30/384.55 c | 545158 | 1000 20000 100000 | 94319 87395 135 | 0.000 % |
385.00/385.25 c | 546117 | 1000 20000 100000 | 94319 88354 135 | 0.000 % |
385.80/386.07 c | 547172 | 1000 20000 100000 | 94319 89409 135 | 0.000 % |
386.70/386.98 c | 548330 | 1000 20000 100000 | 94319 90567 136 | 0.000 % |
387.80/388.01 c | 549605 | 1000 20000 100000 | 94319 91842 136 | 0.000 % |
389.00/389.20 c | 551006 | 1000 20000 100000 | 92238 82053 135 | 0.000 % |
390.10/390.36 c | 552546 | 1000 20000 100000 | 92238 83593 135 | 0.000 % |
391.40/391.61 c | 554240 | 1000 20000 100000 | 92238 85287 135 | 0.000 % |
392.70/392.98 c | 556103 | 1000 20000 100000 | 92238 87150 135 | 0.000 % |
394.20/394.49 c | 558152 | 1000 20000 100000 | 92238 89199 135 | 0.000 % |
395.89/396.18 c | 560407 | 1000 20000 100000 | 91048 81231 135 | 0.000 % |
397.69/397.92 c | 562885 | 1000 20000 100000 | 91048 83709 136 | 0.000 % |
399.69/399.98 c | 565611 | 1000 20000 100000 | 91048 86435 136 | 0.000 % |
401.89/402.17 c | 568608 | 1000 20000 100000 | 91048 89432 136 | 0.000 % |
404.39/404.68 c | 571904 | 1000 20000 100000 | 90825 83118 136 | 0.000 % |
406.99/407.28 c | 575529 | 1000 20000 100000 | 90825 86743 136 | 0.000 % |
409.99/410.29 c | 579516 | 1000 20000 100000 | 90825 90730 137 | 0.000 % |
412.79/413.03 c | 583901 | 1000 20000 100000 | 80764 75550 138 | 0.000 % |
415.89/416.15 c | 588727 | 1000 20000 100000 | 80764 80376 138 | 0.000 % |
419.79/420.02 c | 594032 | 1000 20000 100000 | 2147483647 77573 139 | 0.000 % |
419.89/420.11 c | 594135 | 1000 20000 100000 | 2147483647 77676 139 | 0.000 % |
419.89/420.19 c | 594245 | 1000 20000 100000 | 2147483647 77786 139 | 0.000 % |
420.09/420.30 c | 594369 | 1000 20000 100000 | 2147483647 77910 139 | 0.000 % |
420.19/420.40 c | 594502 | 1000 20000 100000 | 2147483647 78043 139 | 0.000 % |
420.29/420.53 c | 594648 | 1000 20000 100000 | 2147483647 78189 139 | 0.000 % |
420.39/420.66 c | 594808 | 1000 20000 100000 | 2147483647 78349 139 | 0.000 % |
420.58/420.80 c | 594987 | 1000 20000 100000 | 2147483647 78528 139 | 0.000 % |
420.68/420.94 c | 595181 | 1000 20000 100000 | 2147483647 78722 138 | 0.000 % |
420.88/421.10 c | 595394 | 1000 20000 100000 | 2147483647 78935 138 | 0.000 % |
420.99/421.27 c | 595628 | 1000 20000 100000 | 2147483647 79169 138 | 0.000 % |
421.18/421.44 c | 595886 | 1000 20000 100000 | 2147483647 79427 138 | 0.000 % |
421.38/421.68 c | 596172 | 1000 20000 100000 | 2147483647 79713 138 | 0.000 % |
421.58/421.89 c | 596482 | 1000 20000 100000 | 2147483647 80023 138 | 0.000 % |
421.88/422.11 c | 596821 | 1000 20000 100000 | 2147483647 80362 138 | 0.000 % |
422.09/422.38 c | 597193 | 1000 20000 100000 | 2147483647 80734 138 | 0.000 % |
422.38/422.68 c | 597602 | 1000 20000 100000 | 2147483647 81143 138 | 0.000 % |
422.68/422.98 c | 598051 | 1000 20000 100000 | 2147483647 81592 138 | 0.000 % |
423.08/423.39 c | 598545 | 1000 20000 100000 | 2147483647 82086 138 | 0.000 % |
423.58/423.80 c | 599087 | 1000 20000 100000 | 2147483647 82628 138 | 0.000 % |
423.98/424.27 c | 599684 | 1000 20000 100000 | 2147483647 83225 138 | 0.000 % |
424.48/424.79 c | 600341 | 1000 20000 100000 | 2147483647 83882 138 | 0.000 % |
425.08/425.36 c | 601062 | 1000 20000 100000 | 2147483647 84603 138 | 0.000 % |
425.68/425.99 c | 601854 | 1000 20000 100000 | 2147483647 85395 138 | 0.000 % |
426.38/426.69 c | 602725 | 1000 20000 100000 | 2147483647 86266 138 | 0.000 % |
427.18/427.40 c | 603683 | 1000 20000 100000 | 2147483647 87224 138 | 0.000 % |
427.98/428.21 c | 604737 | 1000 20000 100000 | 2147483647 88278 138 | 0.000 % |
428.88/429.11 c | 605897 | 1000 20000 100000 | 2147483647 89438 137 | 0.000 % |
429.88/430.10 c | 607171 | 1000 20000 100000 | 2147483647 90712 137 | 0.000 % |
430.88/431.16 c | 608571 | 1000 20000 100000 | 2147483647 92112 137 | 0.000 % |
432.18/432.42 c | 610112 | 1000 20000 100000 | 93541 93653 137 | 0.000 % |
433.38/433.69 c | 611806 | 1000 20000 100000 | 93541 84642 137 | 0.000 % |
434.78/435.08 c | 613669 | 1000 20000 100000 | 93541 86505 137 | 0.000 % |
436.38/436.61 c | 615720 | 1000 20000 100000 | 93541 88556 137 | 0.000 % |
437.97/438.27 c | 617975 | 1000 20000 100000 | 93541 90811 137 | 0.000 % |
439.97/440.24 c | 620453 | 1000 20000 100000 | 92836 82959 136 | 0.000 % |
441.98/442.20 c | 623178 | 1000 20000 100000 | 92836 85684 136 | 0.000 % |
444.08/444.31 c | 626176 | 1000 20000 100000 | 92836 88682 136 | 0.000 % |
446.57/446.82 c | 629474 | 1000 20000 100000 | 92836 91980 136 | 0.000 % |
449.27/449.56 c | 633099 | 1000 20000 100000 | 92508 85726 137 | 0.000 % |
452.17/452.48 c | 637087 | 1000 20000 100000 | 92508 89714 137 | 0.000 % |
455.67/455.96 c | 641472 | 1000 20000 100000 | 92627 82862 138 | 0.000 % |
459.27/459.59 c | 646295 | 1000 20000 100000 | 92627 87685 138 | 0.000 % |
463.47/463.72 c | 651600 | 1000 20000 100000 | 91391 81652 138 | 0.000 % |
467.67/467.96 c | 657436 | 1000 20000 100000 | 91391 87488 138 | 0.000 % |
467.77/468.05 c | 657537 | 1000 20000 100000 | 91391 87589 138 | 0.000 % |
467.87/468.17 c | 657647 | 1000 20000 100000 | 91391 87699 138 | 0.000 % |
467.97/468.28 c | 657770 | 1000 20000 100000 | 91391 87822 138 | 0.000 % |
468.07/468.39 c | 657907 | 1000 20000 100000 | 91391 87959 138 | 0.000 % |
468.27/468.50 c | 658054 | 1000 20000 100000 | 91391 88106 138 | 0.000 % |
468.37/468.66 c | 658217 | 1000 20000 100000 | 91391 88269 138 | 0.000 % |
468.57/468.80 c | 658394 | 1000 20000 100000 | 91391 88446 138 | 0.000 % |
468.67/468.97 c | 658589 | 1000 20000 100000 | 91391 88641 138 | 0.000 % |
468.97/469.20 c | 658801 | 1000 20000 100000 | 91391 88853 138 | 0.000 % |
469.07/469.38 c | 659036 | 1000 20000 100000 | 91391 89088 138 | 0.000 % |
469.37/469.61 c | 659292 | 1000 20000 100000 | 91391 89344 138 | 0.000 % |
469.56/469.88 c | 659573 | 1000 20000 100000 | 91391 89625 138 | 0.000 % |
469.86/470.17 c | 659883 | 1000 20000 100000 | 91391 89935 138 | 0.000 % |
470.16/470.47 c | 660222 | 1000 20000 100000 | 90053 90274 138 | 0.000 % |
470.57/470.80 c | 660595 | 1000 20000 100000 | 90053 79414 137 | 0.000 % |
470.86/471.15 c | 661004 | 1000 20000 100000 | 90053 79823 137 | 0.000 % |
471.16/471.49 c | 661455 | 1000 20000 100000 | 90053 80274 137 | 0.000 % |
471.57/471.86 c | 661950 | 1000 20000 100000 | 90053 80769 137 | 0.000 % |
471.96/472.23 c | 662492 | 1000 20000 100000 | 90053 81311 137 | 0.000 % |
472.36/472.69 c | 663088 | 1000 20000 100000 | 90053 81907 137 | 0.000 % |
472.96/473.21 c | 663743 | 1000 20000 100000 | 90053 82562 137 | 0.000 % |
473.46/473.73 c | 664463 | 1000 20000 100000 | 90053 83282 137 | 0.000 % |
474.06/474.31 c | 665255 | 1000 20000 100000 | 90053 84074 137 | 0.000 % |
474.66/475.00 c | 666129 | 1000 20000 100000 | 90053 84948 137 | 0.000 % |
475.36/475.68 c | 667091 | 1000 20000 100000 | 90053 85910 137 | 0.000 % |
476.26/476.51 c | 668146 | 1000 20000 100000 | 90053 86965 137 | 0.000 % |
477.17/477.45 c | 669304 | 1000 20000 100000 | 90053 88123 137 | 0.000 % |
478.26/478.52 c | 670578 | 1000 20000 100000 | 88820 78877 135 | 0.000 % |
479.26/479.57 c | 671978 | 1000 20000 100000 | 88820 80277 135 | 0.000 % |
480.46/480.79 c | 673520 | 1000 20000 100000 | 88820 81819 135 | 0.000 % |
481.86/482.11 c | 675217 | 1000 20000 100000 | 88820 83516 136 | 0.000 % |
483.26/483.51 c | 677080 | 1000 20000 100000 | 88820 85379 135 | 0.000 % |
484.86/485.19 c | 679129 | 1000 20000 100000 | 88820 87428 136 | 0.000 % |
486.56/486.88 c | 681385 | 1000 20000 100000 | 88299 79331 136 | 0.000 % |
488.36/488.68 c | 683863 | 1000 20000 100000 | 88299 81809 136 | 0.000 % |
490.36/490.66 c | 686588 | 1000 20000 100000 | 88299 84534 136 | 0.000 % |
492.66/492.99 c | 689587 | 1000 20000 100000 | 88299 87533 136 | 0.000 % |
495.15/495.50 c | 692883 | 1000 20000 100000 | 87948 80978 137 | 0.000 % |
497.75/498.03 c | 696508 | 1000 20000 100000 | 87948 84603 137 | 0.000 % |
500.75/501.05 c | 700495 | 1000 20000 100000 | 88095 79516 137 | 0.000 % |
503.85/504.13 c | 704880 | 1000 20000 100000 | 88095 83901 138 | 0.000 % |
507.65/507.94 c | 709707 | 1000 20000 100000 | 88095 79882 138 | 0.000 % |
511.65/511.92 c | 715012 | 1000 20000 100000 | 2147483647 85187 138 | 0.000 % |
516.15/516.43 c | 720847 | 1000 20000 100000 | 90177 80689 138 | 0.000 % |
520.85/521.14 c | 727265 | 1000 20000 100000 | 90177 87107 138 | 0.000 % |
520.95/521.22 c | 727367 | 1000 20000 100000 | 90177 87209 138 | 0.000 % |
521.05/521.32 c | 727479 | 1000 20000 100000 | 90177 87321 138 | 0.000 % |
521.15/521.41 c | 727600 | 1000 20000 100000 | 90177 87442 138 | 0.000 % |
521.25/521.52 c | 727733 | 1000 20000 100000 | 90177 87575 138 | 0.000 % |
521.35/521.64 c | 727881 | 1000 20000 100000 | 90177 87723 138 | 0.000 % |
521.45/521.79 c | 728042 | 1000 20000 100000 | 90177 87884 138 | 0.000 % |
521.65/521.97 c | 728218 | 1000 20000 100000 | 90177 88060 138 | 0.000 % |
521.85/522.15 c | 728411 | 1000 20000 100000 | 90177 88253 138 | 0.000 % |
522.05/522.32 c | 728623 | 1000 20000 100000 | 90177 88465 137 | 0.000 % |
522.15/522.49 c | 728857 | 1000 20000 100000 | 90177 88699 137 | 0.000 % |
522.45/522.71 c | 729113 | 1000 20000 100000 | 90177 88955 137 | 0.000 % |
522.65/522.93 c | 729394 | 1000 20000 100000 | 90177 89236 137 | 0.000 % |
522.85/523.16 c | 729704 | 1000 20000 100000 | 90177 89546 137 | 0.000 % |
523.14/523.45 c | 730044 | 1000 20000 100000 | 89842 89886 137 | 0.000 % |
523.54/523.84 c | 730416 | 1000 20000 100000 | 89842 80216 136 | 0.000 % |
523.84/524.13 c | 730825 | 1000 20000 100000 | 89842 80625 136 | 0.000 % |
524.14/524.44 c | 731274 | 1000 20000 100000 | 89842 81074 136 | 0.000 % |
524.45/524.79 c | 731767 | 1000 20000 100000 | 89842 81567 136 | 0.000 % |
524.84/525.19 c | 732309 | 1000 20000 100000 | 89842 82109 136 | 0.000 % |
525.34/525.62 c | 732905 | 1000 20000 100000 | 89842 82705 136 | 0.000 % |
525.84/526.10 c | 733561 | 1000 20000 100000 | 89842 83361 136 | 0.000 % |
526.44/526.70 c | 734281 | 1000 20000 100000 | 89842 84081 136 | 0.000 % |
526.94/527.27 c | 735073 | 1000 20000 100000 | 89842 84873 136 | 0.000 % |
527.65/527.98 c | 735944 | 1000 20000 100000 | 89842 85744 136 | 0.000 % |
528.44/528.73 c | 736904 | 1000 20000 100000 | 89842 86704 136 | 0.000 % |
529.34/529.61 c | 737959 | 1000 20000 100000 | 89842 87759 136 | 0.000 % |
530.14/530.50 c | 739117 | 1000 20000 100000 | 89842 88917 136 | 0.000 % |
531.25/531.52 c | 740391 | 1000 20000 100000 | 89800 80011 136 | 0.000 % |
532.25/532.53 c | 741794 | 1000 20000 100000 | 89800 81414 136 | 0.000 % |
533.25/533.57 c | 743336 | 1000 20000 100000 | 89800 82956 136 | 0.000 % |
534.45/534.70 c | 745030 | 1000 20000 100000 | 89800 84650 136 | 0.000 % |
536.05/536.30 c | 746894 | 1000 20000 100000 | 89800 86514 136 | 0.000 % |
537.55/537.89 c | 748944 | 1000 20000 100000 | 89800 88564 136 | 0.000 % |
539.25/539.58 c | 751198 | 1000 20000 100000 | 89620 81022 137 | 0.000 % |
540.95/541.27 c | 753676 | 1000 20000 100000 | 89620 83500 137 | 0.000 % |
542.95/543.21 c | 756401 | 1000 20000 100000 | 89620 86225 137 | 0.000 % |
545.14/545.47 c | 759398 | 1000 20000 100000 | 89620 89222 137 | 0.000 % |
547.74/548.08 c | 762695 | 1000 20000 100000 | 2147483647 92519 137 | 0.000 % |
550.75/551.02 c | 766320 | 1000 20000 100000 | 2147483647 96144 137 | 0.000 % |
554.04/554.37 c | 770307 | 1000 20000 100000 | 99828 100131 137 | 0.000 % |
557.44/557.74 c | 774693 | 1000 20000 100000 | 99828 91464 138 | 0.000 % |
561.53/561.85 c | 779516 | 1000 20000 100000 | 99828 96287 138 | 0.000 % |
565.73/566.02 c | 784821 | 1000 20000 100000 | 96776 88287 138 | 0.000 % |
570.13/570.45 c | 790656 | 1000 20000 100000 | 93466 82160 137 | 0.000 % |
574.93/575.21 c | 797078 | 1000 20000 100000 | 93466 88582 137 | 0.000 % |
580.23/580.50 c | 804138 | 1000 20000 100000 | 91505 84767 137 | 0.000 % |
580.23/580.58 c | 804240 | 1000 20000 100000 | 91505 84869 137 | 0.000 % |
580.33/580.67 c | 804351 | 1000 20000 100000 | 91505 84980 137 | 0.000 % |
580.43/580.78 c | 804477 | 1000 20000 100000 | 91505 85106 137 | 0.000 % |
580.63/580.91 c | 804611 | 1000 20000 100000 | 91505 85240 137 | 0.000 % |
580.73/581.04 c | 804758 | 1000 20000 100000 | 91505 85387 137 | 0.000 % |
580.83/581.17 c | 804919 | 1000 20000 100000 | 91505 85548 137 | 0.000 % |
581.03/581.30 c | 805095 | 1000 20000 100000 | 91505 85724 137 | 0.000 % |
581.13/581.48 c | 805291 | 1000 20000 100000 | 91505 85920 137 | 0.000 % |
581.33/581.66 c | 805503 | 1000 20000 100000 | 91505 86132 137 | 0.000 % |
581.53/581.87 c | 805737 | 1000 20000 100000 | 91505 86366 137 | 0.000 % |
581.83/582.10 c | 805994 | 1000 20000 100000 | 91505 86623 137 | 0.000 % |
582.03/582.33 c | 806275 | 1000 20000 100000 | 91505 86904 137 | 0.000 % |
582.23/582.57 c | 806587 | 1000 20000 100000 | 91505 87216 137 | 0.000 % |
582.53/582.87 c | 806927 | 1000 20000 100000 | 91505 87556 137 | 0.000 % |
582.83/583.15 c | 807299 | 1000 20000 100000 | 91505 87928 137 | 0.000 % |
583.13/583.48 c | 807708 | 1000 20000 100000 | 91505 88337 137 | 0.000 % |
583.53/583.85 c | 808157 | 1000 20000 100000 | 91505 88786 137 | 0.000 % |
583.93/584.24 c | 808650 | 1000 20000 100000 | 91505 89279 137 | 0.000 % |
584.33/584.65 c | 809193 | 1000 20000 100000 | 91505 89822 136 | 0.000 % |
584.83/585.13 c | 809791 | 1000 20000 100000 | 91505 90420 136 | 0.000 % |
585.43/585.70 c | 810448 | 1000 20000 100000 | 90629 80170 137 | 0.000 % |
585.93/586.25 c | 811169 | 1000 20000 100000 | 90629 80891 137 | 0.000 % |
586.53/586.82 c | 811961 | 1000 20000 100000 | 90629 81683 137 | 0.000 % |
587.23/587.50 c | 812832 | 1000 20000 100000 | 90629 82554 137 | 0.000 % |
587.92/588.20 c | 813791 | 1000 20000 100000 | 90629 83513 137 | 0.000 % |
588.72/589.02 c | 814845 | 1000 20000 100000 | 90629 84567 137 | 0.000 % |
589.52/589.84 c | 816004 | 1000 20000 100000 | 90629 85726 137 | 0.000 % |
590.52/590.83 c | 817279 | 1000 20000 100000 | 90629 87001 137 | 0.000 % |
591.62/591.96 c | 818680 | 1000 20000 100000 | 90629 88402 136 | 0.000 % |
592.82/593.14 c | 820220 | 1000 20000 100000 | 89722 89942 136 | 0.000 % |
594.12/594.44 c | 821916 | 1000 20000 100000 | 89722 81085 137 | 0.000 % |
595.42/595.72 c | 823779 | 1000 20000 100000 | 89722 82948 137 | 0.000 % |
596.82/597.17 c | 825828 | 1000 20000 100000 | 89722 84997 137 | 0.000 % |
598.32/598.69 c | 828082 | 1000 20000 100000 | 89722 87251 137 | 0.000 % |
600.32/600.69 c | 830560 | 1000 20000 100000 | 89170 79863 137 | 0.000 % |
602.32/602.66 c | 833285 | 1000 20000 100000 | 89170 82588 137 | 0.000 % |
604.62/605.00 c | 836282 | 1000 20000 100000 | 89170 85585 137 | 0.000 % |
607.12/607.47 c | 839579 | 1000 20000 100000 | 89170 88882 137 | 0.000 % |
609.82/610.13 c | 843207 | 1000 20000 100000 | 89308 82207 137 | 0.000 % |
612.82/613.17 c | 847194 | 1000 20000 100000 | 89308 86194 137 | 0.000 % |
616.21/616.55 c | 851579 | 1000 20000 100000 | 89001 81094 137 | 0.000 % |
619.61/619.94 c | 856402 | 1000 20000 100000 | 89001 85917 137 | 0.000 % |
623.71/624.02 c | 861709 | 1000 20000 100000 | 80340 73910 137 | 0.000 % |
627.81/628.11 c | 867544 | 1000 20000 100000 | 80340 79745 137 | 0.000 % |
632.31/632.63 c | 873962 | 1000 20000 100000 | 2147483647 78094 137 | 0.000 % |
637.21/637.51 c | 881022 | 1000 20000 100000 | 2147483647 85154 137 | 0.000 % |
643.21/643.59 c | 888788 | 1000 20000 100000 | 2147483647 92920 137 | 0.000 % |
643.31/643.68 c | 888888 | 1000 20000 100000 | 2147483647 93020 137 | 0.000 % |
643.41/643.77 c | 888998 | 1000 20000 100000 | 2147483647 93130 137 | 0.000 % |
643.51/643.87 c | 889119 | 1000 20000 100000 | 2147483647 93251 137 | 0.000 % |
643.61/643.98 c | 889252 | 1000 20000 100000 | 2147483647 93384 137 | 0.000 % |
643.81/644.11 c | 889399 | 1000 20000 100000 | 2147483647 93531 137 | 0.000 % |
643.91/644.27 c | 889560 | 1000 20000 100000 | 2147483647 93692 137 | 0.000 % |
644.11/644.46 c | 889736 | 1000 20000 100000 | 2147483647 93868 137 | 0.000 % |
644.31/644.64 c | 889931 | 1000 20000 100000 | 2147483647 94063 137 | 0.000 % |
644.51/644.87 c | 890144 | 1000 20000 100000 | 94132 94276 137 | 0.000 % |
644.81/645.16 c | 890378 | 1000 20000 100000 | 94132 83100 137 | 0.000 % |
645.00/645.37 c | 890634 | 1000 20000 100000 | 94132 83356 137 | 0.000 % |
645.31/645.61 c | 890916 | 1000 20000 100000 | 94132 83638 137 | 0.000 % |
645.50/645.85 c | 891225 | 1000 20000 100000 | 94132 83947 137 | 0.000 % |
645.80/646.13 c | 891565 | 1000 20000 100000 | 94132 84287 137 | 0.000 % |
646.10/646.45 c | 891937 | 1000 20000 100000 | 94132 84659 137 | 0.000 % |
646.41/646.80 c | 892346 | 1000 20000 100000 | 94132 85068 137 | 0.000 % |
646.80/647.15 c | 892796 | 1000 20000 100000 | 94132 85518 137 | 0.000 % |
647.20/647.52 c | 893289 | 1000 20000 100000 | 94132 86011 137 | 0.000 % |
647.61/647.91 c | 893831 | 1000 20000 100000 | 94132 86553 137 | 0.000 % |
648.00/648.37 c | 894427 | 1000 20000 100000 | 94132 87149 137 | 0.000 % |
648.61/648.93 c | 895084 | 1000 20000 100000 | 94132 87806 137 | 0.000 % |
649.20/649.55 c | 895804 | 1000 20000 100000 | 94132 88526 137 | 0.000 % |
649.90/650.20 c | 896597 | 1000 20000 100000 | 94132 89319 137 | 0.000 % |
650.71/651.03 c | 897469 | 1000 20000 100000 | 94132 90191 137 | 0.000 % |
651.51/651.85 c | 898428 | 1000 20000 100000 | 94132 91150 136 | 0.000 % |
652.41/652.71 c | 899481 | 1000 20000 100000 | 94132 92203 136 | 0.000 % |
653.31/653.64 c | 900639 | 1000 20000 100000 | 92722 81361 137 | 0.000 % |
654.21/654.57 c | 901914 | 1000 20000 100000 | 92722 82636 137 | 0.000 % |
655.21/655.54 c | 903316 | 1000 20000 100000 | 92722 84038 137 | 0.000 % |
656.31/656.65 c | 904857 | 1000 20000 100000 | 92722 85579 137 | 0.000 % |
657.51/657.87 c | 906552 | 1000 20000 100000 | 92722 87274 137 | 0.000 % |
659.11/659.47 c | 908419 | 1000 20000 100000 | 92722 89141 137 | 0.000 % |
660.71/661.05 c | 910468 | 1000 20000 100000 | 90723 80507 137 | 0.000 % |
662.31/662.69 c | 912722 | 1000 20000 100000 | 90723 82761 137 | 0.000 % |
664.11/664.46 c | 915200 | 1000 20000 100000 | 90723 85239 137 | 0.000 % |
666.10/666.48 c | 917927 | 1000 20000 100000 | 90723 87966 137 | 0.000 % |
668.60/668.95 c | 920925 | 1000 20000 100000 | 90043 81505 137 | 0.000 % |
671.10/671.48 c | 924223 | 1000 20000 100000 | 90043 84803 137 | 0.000 % |
673.91/674.20 c | 927848 | 1000 20000 100000 | 90043 88428 138 | 0.000 % |
676.80/677.11 c | 931836 | 1000 20000 100000 | 81293 74824 136 | 0.000 % |
679.90/680.22 c | 936222 | 1000 20000 100000 | 81293 79210 137 | 0.000 % |
683.30/683.69 c | 941048 | 1000 20000 100000 | 2147483647 75870 137 | 0.000 % |
687.00/687.35 c | 946353 | 1000 20000 100000 | 2147483647 81175 136 | 0.000 % |
691.40/691.79 c | 952190 | 1000 20000 100000 | 2147483647 87012 137 | 0.000 % |
696.60/696.98 c | 958609 | 1000 20000 100000 | 2147483647 93431 137 | 0.000 % |
702.29/702.61 c | 965669 | 1000 20000 100000 | 94822 88111 138 | 0.000 % |
708.59/708.92 c | 973433 | 1000 20000 100000 | 92442 84176 140 | 0.000 % |
715.59/715.92 c | 981974 | 1000 20000 100000 | 90745 81574 142 | 0.000 % |
715.69/716.01 c | 982075 | 1000 20000 100000 | 90745 81675 142 | 0.000 % |
715.79/716.13 c | 982186 | 1000 20000 100000 | 90745 81786 142 | 0.000 % |
715.89/716.23 c | 982308 | 1000 20000 100000 | 90745 81908 142 | 0.000 % |
715.99/716.34 c | 982441 | 1000 20000 100000 | 90745 82041 142 | 0.000 % |
716.09/716.45 c | 982590 | 1000 20000 100000 | 90745 82190 142 | 0.000 % |
716.29/716.61 c | 982751 | 1000 20000 100000 | 90745 82351 142 | 0.000 % |
716.39/716.76 c | 982928 | 1000 20000 100000 | 90745 82528 142 | 0.000 % |
716.59/716.90 c | 983122 | 1000 20000 100000 | 90745 82722 142 | 0.000 % |
716.69/717.05 c | 983336 | 1000 20000 100000 | 90745 82936 142 | 0.000 % |
716.89/717.22 c | 983571 | 1000 20000 100000 | 90745 83171 142 | 0.000 % |
717.09/717.44 c | 983827 | 1000 20000 100000 | 90745 83427 142 | 0.000 % |
717.29/717.64 c | 984112 | 1000 20000 100000 | 90745 83712 142 | 0.000 % |
717.49/717.87 c | 984421 | 1000 20000 100000 | 90745 84021 142 | 0.000 % |
717.79/718.18 c | 984762 | 1000 20000 100000 | 90745 84362 142 | 0.000 % |
718.09/718.44 c | 985134 | 1000 20000 100000 | 90745 84734 142 | 0.000 % |
718.39/718.75 c | 985543 | 1000 20000 100000 | 90745 85143 142 | 0.000 % |
718.79/719.14 c | 985992 | 1000 20000 100000 | 90745 85592 142 | 0.000 % |
719.19/719.52 c | 986486 | 1000 20000 100000 | 90745 86086 142 | 0.000 % |
719.59/719.93 c | 987030 | 1000 20000 100000 | 90745 86630 142 | 0.000 % |
719.99/720.39 c | 987629 | 1000 20000 100000 | 90745 87229 141 | 0.000 % |
720.59/720.93 c | 988286 | 1000 20000 100000 | 90745 87886 141 | 0.000 % |
721.09/721.48 c | 989006 | 1000 20000 100000 | 90745 88606 141 | 0.000 % |
721.79/722.15 c | 989798 | 1000 20000 100000 | 90745 89398 141 | 0.000 % |
722.48/722.87 c | 990671 | 1000 20000 100000 | 89600 78903 142 | 0.000 % |
723.08/723.49 c | 991631 | 1000 20000 100000 | 89600 79863 142 | 0.000 % |
723.88/724.25 c | 992684 | 1000 20000 100000 | 89600 80916 142 | 0.000 % |
724.78/725.10 c | 993844 | 1000 20000 100000 | 89600 82076 142 | 0.000 % |
725.69/726.03 c | 995117 | 1000 20000 100000 | 89600 83349 141 | 0.000 % |
726.69/727.03 c | 996519 | 1000 20000 100000 | 89600 84751 141 | 0.000 % |
727.89/728.27 c | 998060 | 1000 20000 100000 | 89600 86292 141 | 0.000 % |
729.18/729.59 c | 999756 | 1000 20000 100000 | 89600 87988 141 | 0.000 % |
730.58/731.00 c | 1001620 | 1000 20000 100000 | 88234 80239 141 | 0.000 % |
732.08/732.46 c | 1003671 | 1000 20000 100000 | 88234 82290 141 | 0.000 % |
733.68/734.09 c | 1005924 | 1000 20000 100000 | 88234 84543 141 | 0.000 % |
735.48/735.89 c | 1008404 | 1000 20000 100000 | 88234 87023 141 | 0.000 % |
737.57/737.94 c | 1011130 | 1000 20000 100000 | 79537 72680 140 | 0.000 % |
739.57/739.90 c | 1014129 | 1000 20000 100000 | 79537 75679 140 | 0.000 % |
741.77/742.12 c | 1017427 | 1000 20000 100000 | 79537 78977 140 | 0.000 % |
744.17/744.56 c | 1021053 | 1000 20000 100000 | 2147483647 74612 140 | 0.000 % |
746.77/747.13 c | 1025041 | 1000 20000 100000 | 2147483647 78600 140 | 0.000 % |
749.88/750.28 c | 1029428 | 1000 20000 100000 | 2147483647 82987 140 | 0.000 % |
753.47/753.83 c | 1034251 | 1000 20000 100000 | 2147483647 87810 140 | 0.000 % |
757.57/757.95 c | 1039559 | 1000 20000 100000 | 2147483647 93118 140 | 0.000 % |
761.87/762.29 c | 1045395 | 1000 20000 100000 | 93560 89039 139 | 0.000 % |
766.87/767.28 c | 1051813 | 1000 20000 100000 | 93644 84533 139 | 0.000 % |
772.66/773.03 c | 1058872 | 1000 20000 100000 | 93644 91592 139 | 0.000 % |
778.76/779.18 c | 1066640 | 1000 20000 100000 | 92720 87910 138 | 0.000 % |
785.46/785.80 c | 1075180 | 1000 20000 100000 | 91271 85470 139 | 0.000 % |
792.96/793.30 c | 1084575 | 1000 20000 100000 | 90291 84340 139 | 0.000 % |
792.96/793.39 c | 1084675 | 1000 20000 100000 | 90291 84440 139 | 0.000 % |
793.06/793.48 c | 1084785 | 1000 20000 100000 | 90291 84550 139 | 0.000 % |
793.16/793.58 c | 1084907 | 1000 20000 100000 | 90291 84672 139 | 0.000 % |
793.26/793.68 c | 1085040 | 1000 20000 100000 | 90291 84805 139 | 0.000 % |
793.45/793.82 c | 1085186 | 1000 20000 100000 | 90291 84951 139 | 0.000 % |
793.55/793.95 c | 1085346 | 1000 20000 100000 | 90291 85111 139 | 0.000 % |
793.65/794.09 c | 1085522 | 1000 20000 100000 | 90291 85287 139 | 0.000 % |
793.86/794.27 c | 1085715 | 1000 20000 100000 | 90291 85480 139 | 0.000 % |
794.05/794.45 c | 1085928 | 1000 20000 100000 | 90291 85693 139 | 0.000 % |
794.25/794.63 c | 1086165 | 1000 20000 100000 | 90291 85930 139 | 0.000 % |
794.45/794.84 c | 1086421 | 1000 20000 100000 | 90291 86186 139 | 0.000 % |
794.65/795.04 c | 1086702 | 1000 20000 100000 | 90291 86467 139 | 0.000 % |
794.86/795.27 c | 1087011 | 1000 20000 100000 | 90291 86776 139 | 0.000 % |
795.15/795.59 c | 1087351 | 1000 20000 100000 | 90291 87116 139 | 0.000 % |
795.55/795.92 c | 1087724 | 1000 20000 100000 | 90291 87489 139 | 0.000 % |
795.85/796.23 c | 1088134 | 1000 20000 100000 | 90291 87899 139 | 0.000 % |
796.15/796.59 c | 1088584 | 1000 20000 100000 | 90291 88349 139 | 0.000 % |
796.65/797.03 c | 1089078 | 1000 20000 100000 | 90291 88843 139 | 0.000 % |
797.05/797.49 c | 1089624 | 1000 20000 100000 | 90291 89389 139 | 0.000 % |
797.55/797.98 c | 1090220 | 1000 20000 100000 | 89765 89985 138 | 0.000 % |
798.15/798.51 c | 1090877 | 1000 20000 100000 | 89765 79733 138 | 0.000 % |
798.65/799.01 c | 1091599 | 1000 20000 100000 | 89765 80455 138 | 0.000 % |
799.25/799.64 c | 1092393 | 1000 20000 100000 | 89765 81249 138 | 0.000 % |
799.95/800.30 c | 1093267 | 1000 20000 100000 | 89765 82123 138 | 0.000 % |
800.55/800.99 c | 1094226 | 1000 20000 100000 | 89765 83082 138 | 0.000 % |
801.35/801.76 c | 1095284 | 1000 20000 100000 | 89765 84140 138 | 0.000 % |
802.25/802.62 c | 1096444 | 1000 20000 100000 | 89765 85300 137 | 0.000 % |
803.15/803.57 c | 1097718 | 1000 20000 100000 | 89765 86574 137 | 0.000 % |
804.15/804.57 c | 1099118 | 1000 20000 100000 | 89765 87974 137 | 0.000 % |
805.35/805.79 c | 1100660 | 1000 20000 100000 | 88857 80546 137 | 0.000 % |
806.55/806.96 c | 1102355 | 1000 20000 100000 | 88857 82241 137 | 0.000 % |
807.85/808.27 c | 1104218 | 1000 20000 100000 | 88857 84104 137 | 0.000 % |
809.45/809.80 c | 1106267 | 1000 20000 100000 | 88857 86153 137 | 0.000 % |
811.05/811.46 c | 1108520 | 1000 20000 100000 | 88857 88406 137 | 0.000 % |
812.94/813.35 c | 1110998 | 1000 20000 100000 | 2147483647 81963 137 | 0.000 % |
814.84/815.26 c | 1113723 | 1000 20000 100000 | 2147483647 84688 137 | 0.000 % |
816.95/817.38 c | 1116723 | 1000 20000 100000 | 2147483647 87688 138 | 0.000 % |
819.54/819.91 c | 1120019 | 1000 20000 100000 | 90965 90984 138 | 0.000 % |
822.04/822.44 c | 1123644 | 1000 20000 100000 | 90965 84132 138 | 0.000 % |
824.94/825.32 c | 1127632 | 1000 20000 100000 | 90965 88120 138 | 0.000 % |
828.14/828.51 c | 1132018 | 1000 20000 100000 | 90488 82728 138 | 0.000 % |
831.64/832.08 c | 1136842 | 1000 20000 100000 | 90488 87552 138 | 0.000 % |
835.84/836.26 c | 1142147 | 1000 20000 100000 | 90710 82219 138 | 0.000 % |
840.43/840.87 c | 1147982 | 1000 20000 100000 | 90710 88054 139 | 0.000 % |
845.54/845.92 c | 1154400 | 1000 20000 100000 | 90075 83894 138 | 0.000 % |
850.93/851.40 c | 1161460 | 1000 20000 100000 | 89494 80707 139 | 0.000 % |
856.92/857.38 c | 1169225 | 1000 20000 100000 | 89494 88472 139 | 0.000 % |
864.02/864.44 c | 1177765 | 1000 20000 100000 | 89247 87601 141 | 0.000 % |
871.22/871.61 c | 1187160 | 1000 20000 100000 | 80016 78492 142 | 0.000 % |
878.82/879.21 c | 1197493 | 1000 20000 100000 | 2147483647 80788 142 | 0.000 % |
878.82/879.29 c | 1197593 | 1000 20000 100000 | 2147483647 80888 142 | 0.000 % |
878.92/879.40 c | 1197703 | 1000 20000 100000 | 2147483647 80998 142 | 0.000 % |
879.12/879.51 c | 1197824 | 1000 20000 100000 | 2147483647 81119 142 | 0.000 % |
879.22/879.61 c | 1197957 | 1000 20000 100000 | 2147483647 81252 142 | 0.000 % |
879.32/879.73 c | 1198104 | 1000 20000 100000 | 2147483647 81399 142 | 0.000 % |
879.42/879.86 c | 1198267 | 1000 20000 100000 | 2147483647 81562 142 | 0.000 % |
879.62/880.02 c | 1198443 | 1000 20000 100000 | 2147483647 81738 142 | 0.000 % |
879.72/880.18 c | 1198637 | 1000 20000 100000 | 2147483647 81932 142 | 0.000 % |
879.92/880.35 c | 1198851 | 1000 20000 100000 | 2147483647 82146 142 | 0.000 % |
880.12/880.57 c | 1199085 | 1000 20000 100000 | 2147483647 82380 142 | 0.000 % |
880.32/880.79 c | 1199341 | 1000 20000 100000 | 2147483647 82636 142 | 0.000 % |
880.62/881.05 c | 1199624 | 1000 20000 100000 | 2147483647 82919 142 | 0.000 % |
880.92/881.31 c | 1199933 | 1000 20000 100000 | 2147483647 83228 142 | 0.000 % |
881.12/881.57 c | 1200277 | 1000 20000 100000 | 2147483647 83572 142 | 0.000 % |
881.42/881.87 c | 1200649 | 1000 20000 100000 | 2147483647 83944 142 | 0.000 % |
881.72/882.18 c | 1201062 | 1000 20000 100000 | 2147483647 84357 142 | 0.000 % |
882.11/882.56 c | 1201512 | 1000 20000 100000 | 2147483647 84807 141 | 0.000 % |
882.51/882.92 c | 1202008 | 1000 20000 100000 | 2147483647 85303 141 | 0.000 % |
882.92/883.36 c | 1202552 | 1000 20000 100000 | 2147483647 85847 141 | 0.000 % |
883.41/883.80 c | 1203152 | 1000 20000 100000 | 2147483647 86447 141 | 0.000 % |
883.81/884.26 c | 1203807 | 1000 20000 100000 | 2147483647 87102 141 | 0.000 % |
884.41/884.82 c | 1204527 | 1000 20000 100000 | 2147483647 87822 141 | 0.000 % |
885.02/885.45 c | 1205319 | 1000 20000 100000 | 2147483647 88614 141 | 0.000 % |
885.71/886.14 c | 1206193 | 1000 20000 100000 | 2147483647 89488 141 | 0.000 % |
886.41/886.89 c | 1207151 | 1000 20000 100000 | 2147483647 90446 141 | 0.000 % |
887.22/887.69 c | 1208204 | 1000 20000 100000 | 2147483647 91499 141 | 0.000 % |
888.21/888.62 c | 1209362 | 1000 20000 100000 | 2147483647 92657 141 | 0.000 % |
889.21/889.62 c | 1210636 | 1000 20000 100000 | 93298 83221 140 | 0.000 % |
890.01/890.49 c | 1212037 | 1000 20000 100000 | 93298 84622 140 | 0.000 % |
891.11/891.59 c | 1213577 | 1000 20000 100000 | 93298 86162 140 | 0.000 % |
892.41/892.84 c | 1215271 | 1000 20000 100000 | 93298 87856 140 | 0.000 % |
893.71/894.15 c | 1217134 | 1000 20000 100000 | 93298 89719 140 | 0.000 % |
895.21/895.65 c | 1219183 | 1000 20000 100000 | 93298 91768 140 | 0.000 % |
896.91/897.36 c | 1221436 | 1000 20000 100000 | 92586 83766 139 | 0.000 % |
898.71/899.14 c | 1223915 | 1000 20000 100000 | 92586 86245 139 | 0.000 % |
900.81/901.23 c | 1226642 | 1000 20000 100000 | 92586 88972 139 | 0.000 % |
903.21/903.62 c | 1229641 | 1000 20000 100000 | 92586 91971 139 | 0.000 % |
905.71/906.12 c | 1232937 | 1000 20000 100000 | 92330 85218 138 | 0.000 % |
908.41/908.82 c | 1236562 | 1000 20000 100000 | 92330 88843 138 | 0.000 % |
911.41/911.84 c | 1240549 | 1000 20000 100000 | 92281 81998 138 | 0.000 % |
914.51/914.97 c | 1244937 | 1000 20000 100000 | 92281 86386 138 | 0.000 % |
918.11/918.53 c | 1249760 | 1000 20000 100000 | 92281 91209 138 | 0.000 % |
921.90/922.34 c | 1255066 | 1000 20000 100000 | 91452 85512 139 | 0.000 % |
926.10/926.53 c | 1260901 | 1000 20000 100000 | 90447 80979 138 | 0.000 % |
930.60/931.09 c | 1267319 | 1000 20000 100000 | 90447 87397 138 | 0.000 % |
936.30/936.71 c | 1274380 | 1000 20000 100000 | 90078 84136 139 | 0.000 % |
942.00/942.42 c | 1282145 | 1000 20000 100000 | 89756 82279 139 | 0.000 % |
948.69/949.16 c | 1290685 | 1000 20000 100000 | 80460 72527 141 | 0.000 % |
955.69/956.12 c | 1300079 | 1000 20000 100000 | 2147483647 73840 140 | 0.000 % |
962.69/963.18 c | 1310412 | 1000 20000 100000 | 83762 75203 142 | 0.000 % |
970.99/971.44 c | 1321778 | 1000 20000 100000 | 2147483647 78131 142 | 0.000 % |
971.09/971.51 c | 1321879 | 1000 20000 100000 | 2147483647 78232 142 | 0.000 % |
971.09/971.59 c | 1321989 | 1000 20000 100000 | 2147483647 78342 142 | 0.000 % |
971.19/971.69 c | 1322111 | 1000 20000 100000 | 2147483647 78464 142 | 0.000 % |
971.29/971.79 c | 1322244 | 1000 20000 100000 | 2147483647 78597 142 | 0.000 % |
971.49/971.91 c | 1322390 | 1000 20000 100000 | 2147483647 78743 142 | 0.000 % |
971.59/972.03 c | 1322550 | 1000 20000 100000 | 2147483647 78903 142 | 0.000 % |
971.79/972.20 c | 1322726 | 1000 20000 100000 | 2147483647 79079 142 | 0.000 % |
971.89/972.35 c | 1322919 | 1000 20000 100000 | 2147483647 79272 142 | 0.000 % |
972.09/972.51 c | 1323134 | 1000 20000 100000 | 2147483647 79487 142 | 0.000 % |
972.19/972.67 c | 1323368 | 1000 20000 100000 | 2147483647 79721 142 | 0.000 % |
972.39/972.85 c | 1323625 | 1000 20000 100000 | 2147483647 79978 142 | 0.000 % |
972.59/973.06 c | 1323908 | 1000 20000 100000 | 2147483647 80261 142 | 0.000 % |
972.79/973.27 c | 1324219 | 1000 20000 100000 | 2147483647 80572 142 | 0.000 % |
973.09/973.54 c | 1324558 | 1000 20000 100000 | 2147483647 80911 142 | 0.000 % |
973.39/973.87 c | 1324930 | 1000 20000 100000 | 2147483647 81283 142 | 0.000 % |
973.69/974.16 c | 1325339 | 1000 20000 100000 | 2147483647 81692 141 | 0.000 % |
974.09/974.51 c | 1325788 | 1000 20000 100000 | 2147483647 82141 141 | 0.000 % |
974.39/974.83 c | 1326282 | 1000 20000 100000 | 2147483647 82635 141 | 0.000 % |
974.79/975.21 c | 1326825 | 1000 20000 100000 | 2147483647 83178 141 | 0.000 % |
975.19/975.64 c | 1327421 | 1000 20000 100000 | 2147483647 83774 141 | 0.000 % |
975.69/976.12 c | 1328077 | 1000 20000 100000 | 2147483647 84430 141 | 0.000 % |
976.19/976.69 c | 1328797 | 1000 20000 100000 | 2147483647 85150 141 | 0.000 % |
976.79/977.27 c | 1329591 | 1000 20000 100000 | 2147483647 85944 141 | 0.000 % |
977.49/977.97 c | 1330463 | 1000 20000 100000 | 86353 77646 140 | 0.000 % |
978.18/978.62 c | 1331421 | 1000 20000 100000 | 86353 78604 140 | 0.000 % |
978.78/979.27 c | 1332476 | 1000 20000 100000 | 86353 79659 140 | 0.000 % |
979.59/980.07 c | 1333634 | 1000 20000 100000 | 86353 80817 140 | 0.000 % |
980.48/980.91 c | 1334908 | 1000 20000 100000 | 86353 82091 140 | 0.000 % |
981.48/981.93 c | 1336309 | 1000 20000 100000 | 86353 83492 140 | 0.000 % |
982.58/983.05 c | 1337849 | 1000 20000 100000 | 86353 85032 140 | 0.000 % |
983.88/984.33 c | 1339543 | 1000 20000 100000 | 86353 78056 140 | 0.000 % |
985.28/985.70 c | 1341406 | 1000 20000 100000 | 2147483647 79919 140 | 0.000 % |
986.68/987.15 c | 1343457 | 1000 20000 100000 | 2147483647 81970 139 | 0.000 % |
988.18/988.65 c | 1345711 | 1000 20000 100000 | 2147483647 84224 139 | 0.000 % |
989.98/990.45 c | 1348189 | 1000 20000 100000 | 2147483647 86702 139 | 0.000 % |
991.98/992.43 c | 1350914 | 1000 20000 100000 | 2147483647 89427 139 | 0.000 % |
994.18/994.69 c | 1353913 | 1000 20000 100000 | 2147483647 92426 139 | 0.000 % |
996.88/997.34 c | 1357210 | 1000 20000 100000 | 2147483647 95723 139 | 0.000 % |
999.98/1000.44 c | 1360835 | 1000 20000 100000 | 98514 87785 139 | 0.000 % |
1003.08/1003.55 c | 1364822 | 1000 20000 100000 | 98514 91772 139 | 0.000 % |
1006.68/1007.15 c | 1369208 | 1000 20000 100000 | 98514 96158 139 | 0.000 % |
1010.48/1010.92 c | 1374031 | 1000 20000 100000 | 96952 89217 139 | 0.000 % |
1014.68/1015.18 c | 1379337 | 1000 20000 100000 | 96952 94523 139 | 0.000 % |
1019.08/1019.53 c | 1385173 | 1000 20000 100000 | 95187 87641 139 | 0.000 % |
1023.87/1024.38 c | 1391595 | 1000 20000 100000 | 92468 82724 138 | 0.000 % |
1028.97/1029.41 c | 1398654 | 1000 20000 100000 | 92468 89783 138 | 0.000 % |
1034.77/1035.20 c | 1406418 | 1000 20000 100000 | 91130 86252 137 | 0.000 % |
1041.77/1042.23 c | 1414960 | 1000 20000 100000 | 89834 83387 139 | 0.000 % |
1049.37/1049.82 c | 1424355 | 1000 20000 100000 | 88428 81068 140 | 0.000 % |
1057.27/1057.73 c | 1434690 | 1000 20000 100000 | 86716 81646 141 | 0.000 % |
1065.96/1066.43 c | 1446056 | 1000 20000 100000 | 86956 83909 141 | 0.000 % |
1074.26/1074.74 c | 1458560 | 1000 20000 100000 | 78560 71169 142 | 0.000 % |
1074.36/1074.82 c | 1458662 | 1000 20000 100000 | 78560 71271 142 | 0.000 % |
1074.46/1074.90 c | 1458772 | 1000 20000 100000 | 78560 71381 142 | 0.000 % |
1074.46/1074.99 c | 1458894 | 1000 20000 100000 | 78560 71503 142 | 0.000 % |
1074.56/1075.09 c | 1459027 | 1000 20000 100000 | 78560 71636 142 | 0.000 % |
1074.76/1075.22 c | 1459173 | 1000 20000 100000 | 78560 71782 142 | 0.000 % |
1074.86/1075.34 c | 1459334 | 1000 20000 100000 | 78560 71943 142 | 0.000 % |
1074.96/1075.49 c | 1459511 | 1000 20000 100000 | 78560 72120 142 | 0.000 % |
1075.16/1075.64 c | 1459704 | 1000 20000 100000 | 78560 72313 142 | 0.000 % |
1075.26/1075.80 c | 1459916 | 1000 20000 100000 | 78560 72525 142 | 0.000 % |
1075.46/1075.97 c | 1460152 | 1000 20000 100000 | 2147483647 72761 142 | 0.000 % |
1075.66/1076.16 c | 1460408 | 1000 20000 100000 | 2147483647 73017 142 | 0.000 % |
1075.86/1076.33 c | 1460689 | 1000 20000 100000 | 2147483647 73298 142 | 0.000 % |
1076.06/1076.54 c | 1460998 | 1000 20000 100000 | 2147483647 73607 142 | 0.000 % |
1076.26/1076.79 c | 1461339 | 1000 20000 100000 | 2147483647 73948 142 | 0.000 % |
1076.56/1077.04 c | 1461711 | 1000 20000 100000 | 2147483647 74320 142 | 0.000 % |
1076.86/1077.33 c | 1462121 | 1000 20000 100000 | 2147483647 74730 142 | 0.000 % |
1077.16/1077.61 c | 1462570 | 1000 20000 100000 | 2147483647 75179 142 | 0.000 % |
1077.56/1078.03 c | 1463064 | 1000 20000 100000 | 2147483647 75673 142 | 0.000 % |
1077.96/1078.44 c | 1463607 | 1000 20000 100000 | 2147483647 76216 141 | 0.000 % |
1078.36/1078.85 c | 1464203 | 1000 20000 100000 | 2147483647 76812 141 | 0.000 % |
1078.76/1079.28 c | 1464858 | 1000 20000 100000 | 2147483647 77467 141 | 0.000 % |
1079.26/1079.79 c | 1465580 | 1000 20000 100000 | 2147483647 78189 141 | 0.000 % |
1079.96/1080.41 c | 1466373 | 1000 20000 100000 | 2147483647 78982 141 | 0.000 % |
1080.56/1081.05 c | 1467246 | 1000 20000 100000 | 2147483647 79855 141 | 0.000 % |
1081.26/1081.77 c | 1468204 | 1000 20000 100000 | 2147483647 80813 141 | 0.000 % |
1081.96/1082.49 c | 1469261 | 1000 20000 100000 | 2147483647 81870 141 | 0.000 % |
1082.86/1083.32 c | 1470421 | 1000 20000 100000 | 2147483647 83030 141 | 0.000 % |
1083.75/1084.23 c | 1471694 | 1000 20000 100000 | 2147483647 84303 141 | 0.000 % |
1084.75/1085.26 c | 1473095 | 1000 20000 100000 | 2147483647 85704 141 | 0.000 % |
1085.95/1086.44 c | 1474635 | 1000 20000 100000 | 2147483647 87244 140 | 0.000 % |
1087.25/1087.70 c | 1476329 | 1000 20000 100000 | 2147483647 88938 140 | 0.000 % |
1088.56/1089.10 c | 1478192 | 1000 20000 100000 | 2147483647 90801 140 | 0.000 % |
1090.15/1090.65 c | 1480242 | 1000 20000 100000 | 92610 92851 140 | 0.000 % |
1091.95/1092.43 c | 1482495 | 1000 20000 100000 | 92610 85397 140 | 0.000 % |
1093.85/1094.30 c | 1484973 | 1000 20000 100000 | 92610 87875 140 | 0.000 % |
1095.85/1096.32 c | 1487698 | 1000 20000 100000 | 92610 90600 140 | 0.000 % |
1098.15/1098.68 c | 1490697 | 1000 20000 100000 | 92904 82819 140 | 0.000 % |
1100.65/1101.14 c | 1493993 | 1000 20000 100000 | 92904 86115 140 | 0.000 % |
1103.45/1103.99 c | 1497619 | 1000 20000 100000 | 92904 89741 140 | 0.000 % |
1106.64/1107.14 c | 1501607 | 1000 20000 100000 | 92127 83246 139 | 0.000 % |
1109.74/1110.29 c | 1505993 | 1000 20000 100000 | 92127 87632 139 | 0.000 % |
1113.44/1113.91 c | 1510816 | 1000 20000 100000 | 91640 82864 138 | 0.000 % |
1117.15/1117.62 c | 1516121 | 1000 20000 100000 | 91640 88169 138 | 0.000 % |
1121.64/1122.11 c | 1521957 | 1000 20000 100000 | 82626 76283 138 | 0.000 % |
1126.34/1126.84 c | 1528375 | 1000 20000 100000 | 82626 82701 138 | 0.000 % |
1131.44/1131.95 c | 1535434 | 1000 20000 100000 | 2147483647 81490 137 | 0.000 % |
1137.14/1137.69 c | 1543199 | 1000 20000 100000 | 2147483647 89255 137 | 0.000 % |
1144.64/1145.12 c | 1551739 | 1000 20000 100000 | 96057 85745 139 | 0.000 % |
1152.63/1153.17 c | 1561133 | 1000 20000 100000 | 94007 83636 140 | 0.000 % |
1161.83/1162.30 c | 1571469 | 1000 20000 100000 | 92504 82132 141 | 0.000 % |
1171.03/1171.59 c | 1582839 | 1000 20000 100000 | 90663 81899 141 | 0.000 % |
1181.02/1181.50 c | 1595343 | 1000 20000 100000 | 89063 84672 142 | 0.000 % |
1192.72/1193.24 c | 1609095 | 1000 20000 100000 | 89329 89095 143 | 0.000 % |
1192.82/1193.33 c | 1609195 | 1000 20000 100000 | 89329 89195 143 | 0.000 % |
1192.92/1193.40 c | 1609305 | 1000 20000 100000 | 89329 89305 143 | 0.000 % |
1193.02/1193.51 c | 1609429 | 1000 20000 100000 | 89329 89429 143 | 0.000 % |
1193.12/1193.68 c | 1609562 | 1000 20000 100000 | 89329 79204 143 | 0.000 % |
1193.22/1193.79 c | 1609709 | 1000 20000 100000 | 89329 79351 143 | 0.000 % |
1193.42/1193.92 c | 1609870 | 1000 20000 100000 | 89329 79512 143 | 0.000 % |
1193.52/1194.04 c | 1610046 | 1000 20000 100000 | 79642 79688 143 | 0.000 % |
1193.72/1194.24 c | 1610241 | 1000 20000 100000 | 79642 70740 143 | 0.000 % |
1193.82/1194.37 c | 1610453 | 1000 20000 100000 | 79642 70952 143 | 0.000 % |
1194.02/1194.53 c | 1610686 | 1000 20000 100000 | 79642 71185 143 | 0.000 % |
1194.12/1194.69 c | 1610944 | 1000 20000 100000 | 79642 71443 143 | 0.000 % |
1194.32/1194.86 c | 1611226 | 1000 20000 100000 | 79642 71725 143 | 0.000 % |
1194.52/1195.04 c | 1611536 | 1000 20000 100000 | 79642 72035 143 | 0.000 % |
1194.72/1195.27 c | 1611875 | 1000 20000 100000 | 79642 72374 143 | 0.000 % |
1195.02/1195.52 c | 1612249 | 1000 20000 100000 | 79642 72748 143 | 0.000 % |
1195.32/1195.81 c | 1612658 | 1000 20000 100000 | 79642 73157 143 | 0.000 % |
1195.62/1196.13 c | 1613108 | 1000 20000 100000 | 79642 73607 143 | 0.000 % |
1195.92/1196.43 c | 1613602 | 1000 20000 100000 | 79642 74101 143 | 0.000 % |
1196.32/1196.82 c | 1614144 | 1000 20000 100000 | 79642 74643 143 | 0.000 % |
1196.72/1197.26 c | 1614740 | 1000 20000 100000 | 79642 75239 143 | 0.000 % |
1197.21/1197.75 c | 1615397 | 1000 20000 100000 | 79642 75896 142 | 0.000 % |
1197.71/1198.25 c | 1616117 | 1000 20000 100000 | 79642 76616 142 | 0.000 % |
1198.21/1198.73 c | 1616909 | 1000 20000 100000 | 79642 77408 143 | 0.000 % |
1198.81/1199.32 c | 1617781 | 1000 20000 100000 | 79642 78280 142 | 0.000 % |
1199.52/1200.00 c | 1618739 | 1000 20000 100000 | 79642 79238 142 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832443-1242773209/watcher-1832443-1242773209 -o /tmp/evaluation-result-1832443-1242773209/solver-1832443-1242773209 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832443-1242773209.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: 1.00 1.00 0.96 3/64 16036
/proc/meminfo: memFree=1859952/2055920 swapFree=4178720/4192956
[pid=16036] ppid=16034 vsize=5356 CPUtime=0
/proc/16036/stat : 16036 (SatELiteGTI) S 16034 16036 15739 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305354065 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16036/statm: 1339 237 197 169 0 50 0
[startup+0.0202021 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 16036
/proc/meminfo: memFree=1859952/2055920 swapFree=4178720/4192956
[pid=16036] ppid=16034 vsize=5356 CPUtime=0
/proc/16036/stat : 16036 (SatELiteGTI) S 16034 16036 15739 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305354065 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16036/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101214 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 16036
/proc/meminfo: memFree=1859952/2055920 swapFree=4178720/4192956
[pid=16036] ppid=16034 vsize=5356 CPUtime=0.05
/proc/16036/stat : 16036 (SatELiteGTI) S 16034 16036 15739 0 -1 4194304 336 770 0 0 0 0 5 0 16 0 1 0 305354065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16036/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356
[startup+0.301236 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 16036
/proc/meminfo: memFree=1859952/2055920 swapFree=4178720/4192956
[pid=16036] ppid=16034 vsize=5356 CPUtime=0.05
/proc/16036/stat : 16036 (SatELiteGTI) S 16034 16036 15739 0 -1 4194304 336 770 0 0 0 0 5 0 16 0 1 0 305354065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16036/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356
[startup+0.701282 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 16036
/proc/meminfo: memFree=1859952/2055920 swapFree=4178720/4192956
[pid=16036] ppid=16034 vsize=5356 CPUtime=0.05
/proc/16036/stat : 16036 (SatELiteGTI) S 16034 16036 15739 0 -1 4194304 336 770 0 0 0 0 5 0 16 0 1 0 305354065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16036/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356
[startup+1.50136 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 16042
/proc/meminfo: memFree=1853920/2055920 swapFree=4178720/4192956
[pid=16036] ppid=16034 vsize=5356 CPUtime=0.05
/proc/16036/stat : 16036 (SatELiteGTI) S 16034 16036 15739 0 -1 4194304 336 770 0 0 0 0 5 0 16 0 1 0 305354065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16036/statm: 1339 239 197 169 0 50 0
[pid=16042] ppid=16036 vsize=6772 CPUtime=1.42
/proc/16042/stat : 16042 (minisat_static) R 16036 16036 15739 0 -1 4194304 1438 0 0 0 142 0 0 0 25 0 1 0 305354071 6934528 1424 1992294400 134512640 135215339 4294956240 18446744073709551615 134743406 0 0 4096 3 0 0 0 17 1 0 0
/proc/16042/statm: 1693 1424 77 171 0 1520 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12128
[startup+3.10153 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 16042
/proc/meminfo: memFree=1851808/2055920 swapFree=4178720/4192956
[pid=16036] ppid=16034 vsize=5356 CPUtime=0.05
/proc/16036/stat : 16036 (SatELiteGTI) S 16034 16036 15739 0 -1 4194304 336 770 0 0 0 0 5 0 16 0 1 0 305354065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16036/statm: 1339 239 197 169 0 50 0
[pid=16042] ppid=16036 vsize=11180 CPUtime=3.02
/proc/16042/stat : 16042 (minisat_static) R 16036 16036 15739 0 -1 4194304 2553 0 0 0 301 1 0 0 25 0 1 0 305354071 11448320 2539 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/16042/statm: 2795 2539 77 171 0 2622 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 16536
[startup+6.30188 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 16042
/proc/meminfo: memFree=1844128/2055920 swapFree=4178720/4192956
[pid=16036] ppid=16034 vsize=5356 CPUtime=0.05
/proc/16036/stat : 16036 (SatELiteGTI) S 16034 16036 15739 0 -1 4194304 336 770 0 0 0 0 5 0 16 0 1 0 305354065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16036/statm: 1339 239 197 169 0 50 0
[pid=16042] ppid=16036 vsize=17680 CPUtime=6.22
/proc/16042/stat : 16042 (minisat_static) R 16036 16036 15739 0 -1 4194304 4150 0 0 0 619 3 0 0 25 0 1 0 305354071 18104320 4136 1992294400 134512640 135215339 4294956240 18446744073709551615 134538059 0 0 4096 3 0 0 0 17 1 0 0
/proc/16042/statm: 4420 4136 77 171 0 4247 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 23036
[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 16042
/proc/meminfo: memFree=1834144/2055920 swapFree=4178720/4192956
[pid=16036] ppid=16034 vsize=5356 CPUtime=0.05
/proc/16036/stat : 16036 (SatELiteGTI) S 16034 16036 15739 0 -1 4194304 336 770 0 0 0 0 5 0 16 0 1 0 305354065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16036/statm: 1339 239 197 169 0 50 0
[pid=16042] ppid=16036 vsize=27000 CPUtime=12.62
/proc/16042/stat : 16042 (minisat_static) R 16036 16036 15739 0 -1 4194304 6481 0 0 0 1257 5 0 0 25 0 1 0 305354071 27648000 6467 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/16042/statm: 6750 6467 77 171 0 6577 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 32356
[startup+25.502 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 16042
/proc/meminfo: memFree=1820320/2055920 swapFree=4178720/4192956
[pid=16036] ppid=16034 vsize=5356 CPUtime=0.05
/proc/16036/stat : 16036 (SatELiteGTI) S 16034 16036 15739 0 -1 4194304 336 770 0 0 0 0 5 0 16 0 1 0 305354065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16036/statm: 1339 239 197 169 0 50 0
[pid=16042] ppid=16036 vsize=40056 CPUtime=25.4
/proc/16042/stat : 16042 (minisat_static) R 16036 16036 15739 0 -1 4194304 9750 0 0 0 2532 8 0 0 25 0 1 0 305354071 41017344 9736 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16042/statm: 10014 9736 77 171 0 9841 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 45412
[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 16042
/proc/meminfo: memFree=1804512/2055920 swapFree=4178720/4192956
[pid=16036] ppid=16034 vsize=5356 CPUtime=0.05
/proc/16036/stat : 16036 (SatELiteGTI) S 16034 16036 15739 0 -1 4194304 336 770 0 0 0 0 5 0 16 0 1 0 305354065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16036/statm: 1339 239 197 169 0 50 0
[pid=16042] ppid=16036 vsize=55548 CPUtime=50.98
/proc/16042/stat : 16042 (minisat_static) R 16036 16036 15739 0 -1 4194304 13611 0 0 0 5085 13 0 0 25 0 1 0 305354071 56881152 13597 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/16042/statm: 13887 13597 77 171 0 13714 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 60904
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 16042
/proc/meminfo: memFree=1804512/2055920 swapFree=4178720/4192956
[pid=16036] ppid=16034 vsize=5356 CPUtime=0.05
/proc/16036/stat : 16036 (SatELiteGTI) S 16034 16036 15739 0 -1 4194304 336 770 0 0 0 0 5 0 16 0 1 0 305354065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16036/statm: 1339 239 197 169 0 50 0
[pid=16042] ppid=16036 vsize=55548 CPUtime=102.17
/proc/16042/stat : 16042 (minisat_static) R 16036 16036 15739 0 -1 4194304 13611 0 0 0 10203 14 0 0 25 0 1 0 305354071 56881152 13597 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16042/statm: 13887 13597 77 171 0 13714 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 60904
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 16042
/proc/meminfo: memFree=1804384/2055920 swapFree=4178720/4192956
[pid=16036] ppid=16034 vsize=5356 CPUtime=0.05
/proc/16036/stat : 16036 (SatELiteGTI) S 16034 16036 15739 0 -1 4194304 336 770 0 0 0 0 5 0 16 0 1 0 305354065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16036/statm: 1339 239 197 169 0 50 0
[pid=16042] ppid=16036 vsize=55548 CPUtime=162.14
/proc/16042/stat : 16042 (minisat_static) R 16036 16036 15739 0 -1 4194304 13611 0 0 0 16199 15 0 0 25 0 1 0 305354071 56881152 13597 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16042/statm: 13887 13597 77 171 0 13714 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 60904
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 16042
/proc/meminfo: memFree=1799712/2055920 swapFree=4178720/4192956
[pid=16036] ppid=16034 vsize=5356 CPUtime=0.05
/proc/16036/stat : 16036 (SatELiteGTI) S 16034 16036 15739 0 -1 4194304 336 770 0 0 0 0 5 0 16 0 1 0 305354065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16036/statm: 1339 239 197 169 0 50 0
[pid=16042] ppid=16036 vsize=60168 CPUtime=222.11
/proc/16042/stat : 16042 (minisat_static) R 16036 16036 15739 0 -1 4194304 14761 0 0 0 22195 16 0 0 25 0 1 0 305354071 61612032 14747 1992294400 134512640 135215339 4294956240 18446744073709551615 134545713 0 0 4096 3 0 0 0 17 1 0 0
/proc/16042/statm: 15042 14747 77 171 0 14869 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 65524
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 16042
/proc/meminfo: memFree=1799520/2055920 swapFree=4178720/4192956
[pid=16036] ppid=16034 vsize=5356 CPUtime=0.05
/proc/16036/stat : 16036 (SatELiteGTI) S 16034 16036 15739 0 -1 4194304 336 770 0 0 0 0 5 0 16 0 1 0 305354065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16036/statm: 1339 239 197 169 0 50 0
[pid=16042] ppid=16036 vsize=60152 CPUtime=282.09
/proc/16042/stat : 16042 (minisat_static) R 16036 16036 15739 0 -1 4194304 14761 0 0 0 28192 17 0 0 25 0 1 0 305354071 61595648 14747 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16042/statm: 15038 14747 77 171 0 14865 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 65508
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 16042
/proc/meminfo: memFree=1799456/2055920 swapFree=4178720/4192956
[pid=16036] ppid=16034 vsize=5356 CPUtime=0.05
/proc/16036/stat : 16036 (SatELiteGTI) S 16034 16036 15739 0 -1 4194304 336 770 0 0 0 0 5 0 16 0 1 0 305354065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16036/statm: 1339 239 197 169 0 50 0
[pid=16042] ppid=16036 vsize=60152 CPUtime=342.06
/proc/16042/stat : 16042 (minisat_static) R 16036 16036 15739 0 -1 4194304 14761 0 0 0 34189 17 0 0 25 0 1 0 305354071 61595648 14747 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16042/statm: 15038 14747 77 171 0 14865 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 65508
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 16042
/proc/meminfo: memFree=1797728/2055920 swapFree=4178720/4192956
[pid=16036] ppid=16034 vsize=5356 CPUtime=0.05
/proc/16036/stat : 16036 (SatELiteGTI) S 16034 16036 15739 0 -1 4194304 336 770 0 0 0 0 5 0 16 0 1 0 305354065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16036/statm: 1339 239 197 169 0 50 0
[pid=16042] ppid=16036 vsize=61736 CPUtime=402.04
/proc/16042/stat : 16042 (minisat_static) R 16036 16036 15739 0 -1 4194304 15155 0 0 0 40186 18 0 0 25 0 1 0 305354071 63217664 15141 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16042/statm: 15434 15141 77 171 0 15261 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 67092
[startup+462.301 s]
################
# More data... #
################
/proc/16042/statm: 15776 15479 77 171 0 15603 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 68460
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 16042
/proc/meminfo: memFree=1796000/2055920 swapFree=4178720/4192956
[pid=16036] ppid=16034 vsize=5356 CPUtime=0.05
/proc/16036/stat : 16036 (SatELiteGTI) S 16034 16036 15739 0 -1 4194304 336 770 0 0 0 0 5 0 16 0 1 0 305354065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16036/statm: 1339 239 197 169 0 50 0
[pid=16042] ppid=16036 vsize=63092 CPUtime=641.96
/proc/16042/stat : 16042 (minisat_static) R 16036 16036 15739 0 -1 4194304 15499 0 0 0 64177 19 0 0 25 0 1 0 305354071 64606208 15479 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/16042/statm: 15773 15479 77 171 0 15600 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 68448
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 16042
/proc/meminfo: memFree=1795872/2055920 swapFree=4178720/4192956
[pid=16036] ppid=16034 vsize=5356 CPUtime=0.05
/proc/16036/stat : 16036 (SatELiteGTI) S 16034 16036 15739 0 -1 4194304 336 770 0 0 0 0 5 0 16 0 1 0 305354065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16036/statm: 1339 239 197 169 0 50 0
[pid=16042] ppid=16036 vsize=63088 CPUtime=701.94
/proc/16042/stat : 16042 (minisat_static) R 16036 16036 15739 0 -1 4194304 15499 0 0 0 70174 20 0 0 25 0 1 0 305354071 64602112 15479 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16042/statm: 15772 15479 77 171 0 15599 0
Current children cumulated CPU time (s) 701.99
Current children cumulated vsize (KiB) 68444
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 16042
/proc/meminfo: memFree=1795808/2055920 swapFree=4178720/4192956
[pid=16036] ppid=16034 vsize=5356 CPUtime=0.05
/proc/16036/stat : 16036 (SatELiteGTI) S 16034 16036 15739 0 -1 4194304 336 770 0 0 0 0 5 0 16 0 1 0 305354065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16036/statm: 1339 239 197 169 0 50 0
[pid=16042] ppid=16036 vsize=63084 CPUtime=761.92
/proc/16042/stat : 16042 (minisat_static) R 16036 16036 15739 0 -1 4194304 15499 0 0 0 76172 20 0 0 25 0 1 0 305354071 64598016 15479 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16042/statm: 15771 15479 77 171 0 15598 0
Current children cumulated CPU time (s) 761.97
Current children cumulated vsize (KiB) 68440
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 16042
/proc/meminfo: memFree=1795744/2055920 swapFree=4178720/4192956
[pid=16036] ppid=16034 vsize=5356 CPUtime=0.05
/proc/16036/stat : 16036 (SatELiteGTI) S 16034 16036 15739 0 -1 4194304 336 770 0 0 0 0 5 0 16 0 1 0 305354065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16036/statm: 1339 239 197 169 0 50 0
[pid=16042] ppid=16036 vsize=63080 CPUtime=821.89
/proc/16042/stat : 16042 (minisat_static) R 16036 16036 15739 0 -1 4194304 15499 0 0 0 82169 20 0 0 25 0 1 0 305354071 64593920 15479 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16042/statm: 15770 15479 77 171 0 15597 0
Current children cumulated CPU time (s) 821.94
Current children cumulated vsize (KiB) 68436
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 16048
/proc/meminfo: memFree=1795360/2055920 swapFree=4178720/4192956
[pid=16036] ppid=16034 vsize=5356 CPUtime=0.05
/proc/16036/stat : 16036 (SatELiteGTI) S 16034 16036 15739 0 -1 4194304 336 770 0 0 0 0 5 0 16 0 1 0 305354065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16036/statm: 1339 239 197 169 0 50 0
[pid=16042] ppid=16036 vsize=63068 CPUtime=881.86
/proc/16042/stat : 16042 (minisat_static) R 16036 16036 15739 0 -1 4194304 15499 0 0 0 88166 20 0 0 25 0 1 0 305354071 64581632 15479 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16042/statm: 15767 15479 77 171 0 15594 0
Current children cumulated CPU time (s) 881.91
Current children cumulated vsize (KiB) 68424
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 16048
/proc/meminfo: memFree=1795296/2055920 swapFree=4178720/4192956
[pid=16036] ppid=16034 vsize=5356 CPUtime=0.05
/proc/16036/stat : 16036 (SatELiteGTI) S 16034 16036 15739 0 -1 4194304 336 770 0 0 0 0 5 0 16 0 1 0 305354065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16036/statm: 1339 239 197 169 0 50 0
[pid=16042] ppid=16036 vsize=63068 CPUtime=941.85
/proc/16042/stat : 16042 (minisat_static) R 16036 16036 15739 0 -1 4194304 15499 0 0 0 94165 20 0 0 25 0 1 0 305354071 64581632 15479 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/16042/statm: 15767 15479 77 171 0 15594 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 68424
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 16048
/proc/meminfo: memFree=1793952/2055920 swapFree=4178720/4192956
[pid=16036] ppid=16034 vsize=5356 CPUtime=0.05
/proc/16036/stat : 16036 (SatELiteGTI) S 16034 16036 15739 0 -1 4194304 336 770 0 0 0 0 5 0 16 0 1 0 305354065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16036/statm: 1339 239 197 169 0 50 0
[pid=16042] ppid=16036 vsize=64520 CPUtime=1001.83
/proc/16042/stat : 16042 (minisat_static) R 16036 16036 15739 0 -1 4194304 15865 0 0 0 100162 21 0 0 25 0 1 0 305354071 66068480 15845 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16042/statm: 16130 15845 77 171 0 15957 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 69876
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 16048
/proc/meminfo: memFree=1793888/2055920 swapFree=4178720/4192956
[pid=16036] ppid=16034 vsize=5356 CPUtime=0.05
/proc/16036/stat : 16036 (SatELiteGTI) S 16034 16036 15739 0 -1 4194304 336 770 0 0 0 0 5 0 16 0 1 0 305354065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16036/statm: 1339 239 197 169 0 50 0
[pid=16042] ppid=16036 vsize=64472 CPUtime=1061.81
/proc/16042/stat : 16042 (minisat_static) R 16036 16036 15739 0 -1 4194304 15865 0 0 0 106160 21 0 0 25 0 1 0 305354071 66019328 15840 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16042/statm: 16118 15840 77 171 0 15945 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 69828
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 16048
/proc/meminfo: memFree=1793760/2055920 swapFree=4178720/4192956
[pid=16036] ppid=16034 vsize=5356 CPUtime=0.05
/proc/16036/stat : 16036 (SatELiteGTI) S 16034 16036 15739 0 -1 4194304 336 770 0 0 0 0 5 0 16 0 1 0 305354065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16036/statm: 1339 239 197 169 0 50 0
[pid=16042] ppid=16036 vsize=64288 CPUtime=1121.79
/proc/16042/stat : 16042 (minisat_static) R 16036 16036 15739 0 -1 4194304 15865 0 0 0 112158 21 0 0 25 0 1 0 305354071 65830912 15794 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16042/statm: 16072 15794 77 171 0 15899 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 69644
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 16048
/proc/meminfo: memFree=1793696/2055920 swapFree=4178720/4192956
[pid=16036] ppid=16034 vsize=5356 CPUtime=0.05
/proc/16036/stat : 16036 (SatELiteGTI) S 16034 16036 15739 0 -1 4194304 336 770 0 0 0 0 5 0 16 0 1 0 305354065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16036/statm: 1339 239 197 169 0 50 0
[pid=16042] ppid=16036 vsize=64288 CPUtime=1181.77
/proc/16042/stat : 16042 (minisat_static) R 16036 16036 15739 0 -1 4194304 15865 0 0 0 118156 21 0 0 25 0 1 0 305354071 65830912 15794 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16042/statm: 16072 15794 77 171 0 15899 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 69644
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 16048
/proc/meminfo: memFree=1793696/2055920 swapFree=4178720/4192956
[pid=16036] ppid=16034 vsize=5356 CPUtime=0.05
/proc/16036/stat : 16036 (SatELiteGTI) S 16034 16036 15739 0 -1 4194304 336 770 0 0 0 0 5 0 16 0 1 0 305354065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16036/statm: 1339 239 197 169 0 50 0
[pid=16042] ppid=16036 vsize=64284 CPUtime=1199.97
/proc/16042/stat : 16042 (minisat_static) R 16036 16036 15739 0 -1 4194304 15865 0 0 0 119976 21 0 0 25 0 1 0 305354071 65826816 15793 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16042/statm: 16071 15793 77 171 0 15898 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 69640
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 16048
/proc/meminfo: memFree=1793696/2055920 swapFree=4178720/4192956
[pid=16036] ppid=16034 vsize=5356 CPUtime=0.05
/proc/16036/stat : 16036 (SatELiteGTI) S 16034 16036 15739 0 -1 4194304 336 770 0 0 0 0 5 0 16 0 1 0 305354065 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16036/statm: 1339 239 197 169 0 50 0
[pid=16042] ppid=16036 vsize=64284 CPUtime=1199.97
/proc/16042/stat : 16042 (minisat_static) R 16036 16036 15739 0 -1 4194304 15865 0 0 0 119976 21 0 0 25 0 1 0 305354071 65826816 15793 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16042/statm: 16071 15793 77 171 0 15898 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 69640
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16036 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=51992
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=7998
# CPU time returned by wait4() is 0.05999
# while last known CPU time is 1200.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.02
CPU user time (s): 1199.81
CPU system time (s): 0.21
CPU usage (%): 99.9591
Max. virtual memory (cumulated for all children) (KiB): 69876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.051992
system time used= 0.007998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1106
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= 13
involuntary context switches= 6
runsolver used 1.37779 second user time and 3.11952 second system time
The end
Begin job on node21 at 2009-05-20 00:46:49
IDJOB=1832443
IDBENCH=70185
IDSOLVER=671
FILE ID=node21/1832443-1242773209
PBS_JOBID= 9322277
Free space on /tmp= 66144 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/1000/unif-k5-r20-v1000-c20000-S2015297474-031.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832443-1242773209/watcher-1832443-1242773209 -o /tmp/evaluation-result-1832443-1242773209/solver-1832443-1242773209 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832443-1242773209.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 3b614b06e2532ea8a6491816cc6dd7a8
RANDOM SEED=935613170
node21.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.233
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.233
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1860432 kB
Buffers: 15556 kB
Cached: 141172 kB
SwapCached: 8376 kB
Active: 89072 kB
Inactive: 77464 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1860432 kB
SwapTotal: 4192956 kB
SwapFree: 4178720 kB
Dirty: 2056 kB
Writeback: 0 kB
Mapped: 14984 kB
Slab: 15000 kB
Committed_AS: 1093180 kB
PageTables: 1408 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= 66144 MiB
End job on node21 at 2009-05-20 01:06:52