0.00/0.00 c Parsing...
0.12/0.12 c ==============================================================================
0.12/0.12 c | | ORIGINAL | LEARNT | |
0.12/0.12 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.12/0.12 c ==============================================================================
0.12/0.12 c | 0 | 194072 507926 | 58221 0 0 nan | 0.000 % |
0.12/0.12 c ==============================================================================
0.12/0.12 c Result : #vars: 1156 #clauses: 194072 #literals: 507926
0.12/0.12 c CPU time: 0.1 s
0.12/0.12 c ==============================================================================
0.23/0.29 c This is MiniSat 2.0 beta
0.23/0.29 c WARNING: for repeatability, setting FPU to use double precision
0.23/0.29 c ============================[ Problem Statistics ]=============================
0.23/0.29 c | |
0.23/0.29 c | Number of variables: 1156 |
0.23/0.29 c | Number of clauses: 194072 |
0.30/0.39 c | Parsing time: 0.10 s |
0.30/0.39 c ============================[ Search Statistics ]==============================
0.30/0.39 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.30/0.39 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.30/0.39 c ===============================================================================
0.30/0.39 c | 0 | 1156 194072 507926 | 64690 0 nan | 0.000 % |
0.30/0.44 c | 103 | 1156 194072 507926 | 64690 103 73 | 0.000 % |
0.30/0.47 c | 204 | 1156 194072 507926 | 64690 204 74 | 0.000 % |
0.30/0.50 c | 304 | 1156 194072 507926 | 64690 304 65 | 0.000 % |
0.30/0.52 c | 416 | 1156 194072 507926 | 64690 416 56 | 0.006 % |
0.30/0.54 c | 519 | 1156 194072 507926 | 64690 519 51 | 0.006 % |
0.30/0.56 c | 629 | 1156 194072 507926 | 64690 629 61 | 0.000 % |
0.30/0.59 c | 750 | 1156 194072 507926 | 64690 750 59 | 0.006 % |
0.30/0.61 c | 851 | 1156 194072 507926 | 64690 851 56 | 0.006 % |
0.30/0.62 c | 966 | 1156 194072 507926 | 64690 966 54 | 0.006 % |
0.30/0.65 c | 1088 | 1156 194072 507926 | 64690 1088 52 | 0.006 % |
0.30/0.67 c | 1223 | 1156 194072 507926 | 64690 1223 56 | 0.000 % |
0.30/0.69 c | 1326 | 1156 194072 507926 | 64690 1326 54 | 0.006 % |
0.30/0.71 c | 1436 | 1156 194072 507926 | 64690 1436 52 | 0.006 % |
0.30/0.73 c | 1558 | 1156 194072 507926 | 64690 1558 51 | 0.006 % |
0.30/0.76 c | 1691 | 1156 194072 507926 | 64690 1691 54 | 0.000 % |
0.30/0.79 c | 1838 | 1156 194072 507926 | 64690 1838 54 | 0.006 % |
0.30/0.80 c | 1938 | 1156 194072 507926 | 64690 1938 53 | 0.006 % |
0.30/0.82 c | 2049 | 1156 194072 507926 | 64690 2049 52 | 0.006 % |
0.30/0.85 c | 2170 | 1156 194072 507926 | 64690 2170 54 | 0.000 % |
0.30/0.88 c | 2305 | 1156 194072 507926 | 64690 2305 53 | 0.000 % |
0.30/0.91 c | 2454 | 1156 194072 507926 | 64690 2454 51 | 0.006 % |
0.30/0.95 c | 2615 | 1156 194072 507926 | 64690 2615 50 | 0.006 % |
0.30/0.97 c | 2715 | 1156 194072 507926 | 64690 2715 49 | 0.006 % |
0.30/0.99 c | 2827 | 1156 194072 507926 | 64690 2827 49 | 0.006 % |
0.30/1.01 c | 2950 | 1156 194072 507926 | 64690 2950 48 | 0.006 % |
0.30/1.03 c | 3084 | 1156 194072 507926 | 64690 3084 48 | 0.006 % |
0.30/1.05 c | 3233 | 1156 194072 507926 | 64690 3233 50 | 0.000 % |
0.30/1.09 c | 3393 | 1156 194072 507926 | 64690 3393 51 | 0.000 % |
1.13/1.12 c | 3569 | 1156 194072 507926 | 64690 3569 50 | 0.006 % |
1.13/1.14 c | 3671 | 1156 194072 507926 | 64690 3671 51 | 0.000 % |
1.13/1.17 c | 3783 | 1156 194072 507926 | 64690 3783 50 | 0.006 % |
1.13/1.19 c | 3904 | 1156 194072 507926 | 64690 3904 50 | 0.006 % |
1.13/1.21 c | 4037 | 1156 194072 507926 | 64690 4037 49 | 0.006 % |
1.23/1.24 c | 4183 | 1156 194072 507926 | 64690 4183 51 | 0.000 % |
1.23/1.27 c | 4344 | 1156 194072 507926 | 64690 4344 50 | 0.006 % |
1.23/1.30 c | 4521 | 1156 194072 507926 | 64690 4521 50 | 0.006 % |
1.33/1.34 c | 4715 | 1156 194072 507926 | 64690 4715 54 | 0.000 % |
1.33/1.36 c | 4815 | 1156 194072 507926 | 64690 4815 54 | 0.006 % |
1.33/1.38 c | 4926 | 1156 194072 507926 | 64690 4926 53 | 0.000 % |
1.33/1.41 c | 5048 | 1156 194072 507926 | 64690 5048 53 | 0.006 % |
1.43/1.43 c | 5183 | 1156 194072 507926 | 64690 5183 54 | 0.000 % |
1.43/1.46 c | 5329 | 1156 194072 507926 | 64690 5329 54 | 0.006 % |
1.43/1.49 c | 5489 | 1156 194072 507926 | 64690 5489 54 | 0.006 % |
1.53/1.53 c | 5666 | 1156 194072 507926 | 64690 5666 53 | 0.006 % |
1.53/1.57 c | 5860 | 1156 194072 507926 | 64690 5860 53 | 0.006 % |
1.53/1.61 c | 6073 | 1156 194072 507926 | 64690 6073 52 | 0.006 % |
1.63/1.63 c | 6173 | 1156 194072 507926 | 64690 6173 53 | 0.000 % |
1.63/1.66 c | 6284 | 1156 194072 507926 | 64690 6284 52 | 0.006 % |
1.63/1.69 c | 6408 | 1156 194072 507926 | 64690 6408 52 | 0.006 % |
1.63/1.71 c | 6541 | 1156 194072 507926 | 64690 6541 52 | 0.006 % |
1.73/1.74 c | 6687 | 1156 194072 507926 | 64690 6687 55 | 0.000 % |
1.73/1.77 c | 6847 | 1156 194072 507926 | 64690 6847 56 | 0.000 % |
1.73/1.80 c | 7023 | 1156 194072 507926 | 64690 7023 58 | 0.000 % |
1.83/1.84 c | 7219 | 1156 194072 507926 | 64690 7219 60 | 0.000 % |
1.83/1.89 c | 7435 | 1156 194072 507926 | 64690 7435 60 | 0.000 % |
1.93/1.94 c | 7668 | 1156 194072 507926 | 64690 7668 60 | 0.006 % |
1.93/1.96 c | 7769 | 1156 194072 507926 | 64690 7769 59 | 0.006 % |
1.93/1.99 c | 7881 | 1156 194072 507926 | 64690 7881 59 | 0.006 % |
2.03/2.02 c | 8002 | 1156 194072 507926 | 64690 8002 58 | 0.006 % |
2.03/2.05 c | 8138 | 1156 194072 507926 | 64690 8138 59 | 0.000 % |
2.03/2.08 c | 8285 | 1156 194072 507926 | 64690 8285 59 | 0.000 % |
2.03/2.11 c | 8445 | 1156 194072 507926 | 64690 8445 59 | 0.006 % |
2.13/2.15 c | 8621 | 1156 194072 507926 | 64690 8621 59 | 0.006 % |
2.13/2.20 c | 8819 | 1156 194072 507926 | 64690 8819 59 | 0.000 % |
2.23/2.24 c | 9033 | 1156 194072 507926 | 64690 9033 59 | 0.006 % |
2.23/2.29 c | 9266 | 1156 194072 507926 | 64690 9266 60 | 0.000 % |
2.33/2.35 c | 9522 | 1156 194072 507926 | 64690 9522 59 | 0.006 % |
2.33/2.37 c | 9622 | 1156 194072 507926 | 64690 9622 59 | 0.000 % |
2.33/2.40 c | 9732 | 1156 194072 507926 | 64690 9732 59 | 0.006 % |
2.43/2.43 c | 9853 | 1156 194072 507926 | 64690 9853 59 | 0.006 % |
2.43/2.46 c | 9987 | 1156 194072 507926 | 64690 9987 59 | 0.006 % |
2.43/2.50 c | 10136 | 1156 194072 507926 | 2147483647 10136 59 | 0.006 % |
2.53/2.53 c | 10298 | 1156 194072 507926 | 2147483647 10298 58 | 0.000 % |
2.53/2.58 c | 10475 | 1156 194072 507926 | 2147483647 10475 58 | 0.006 % |
2.63/2.62 c | 10670 | 1156 194072 507926 | 2147483647 10670 58 | 0.006 % |
2.63/2.67 c | 10884 | 1156 194072 507926 | 2147483647 10884 57 | 0.006 % |
2.73/2.72 c | 11119 | 1156 194072 507926 | 2147483647 11119 57 | 0.006 % |
2.73/2.78 c | 11375 | 1156 194072 507926 | 2147483647 11375 56 | 0.006 % |
2.83/2.85 c | 11660 | 1156 194072 507926 | 2147483647 11660 56 | 0.006 % |
2.83/2.88 c | 11763 | 1156 194072 507926 | 2147483647 11763 55 | 0.006 % |
2.83/2.90 c | 11874 | 1156 194072 507926 | 2147483647 11874 55 | 0.006 % |
2.93/2.93 c | 11996 | 1156 194072 507926 | 2147483647 11996 55 | 0.006 % |
2.93/2.97 c | 12129 | 1156 194072 507926 | 2147483647 12129 55 | 0.006 % |
2.93/3.01 c | 12275 | 1156 194072 507926 | 2147483647 12275 54 | 0.006 % |
3.03/3.05 c | 12436 | 1156 194072 507926 | 2147483647 12436 54 | 0.006 % |
3.03/3.08 c | 12613 | 1156 194072 507926 | 2147483647 12613 54 | 0.006 % |
3.13/3.13 c | 12807 | 1156 194072 507926 | 2147483647 12807 54 | 0.006 % |
3.13/3.19 c | 13021 | 1156 194072 507926 | 2147483647 13021 54 | 0.006 % |
3.23/3.25 c | 13255 | 1156 194072 507926 | 2147483647 13255 54 | 0.000 % |
3.33/3.32 c | 13512 | 1156 194072 507926 | 2147483647 13512 54 | 0.000 % |
3.33/3.38 c | 13793 | 1156 194072 507926 | 2147483647 13793 55 | 0.000 % |
3.43/3.45 c | 14105 | 1156 194072 507926 | 2147483647 14105 54 | 0.006 % |
3.43/3.48 c | 14207 | 1156 194072 507926 | 2147483647 14207 54 | 0.006 % |
3.43/3.50 c | 14318 | 1156 194072 507926 | 2147483647 14318 54 | 0.006 % |
3.53/3.53 c | 14439 | 1156 194072 507926 | 2147483647 14439 54 | 0.006 % |
3.53/3.57 c | 14573 | 1156 194072 507926 | 2147483647 14573 54 | 0.006 % |
3.53/3.61 c | 14720 | 1156 194072 507926 | 2147483647 14720 54 | 0.000 % |
3.63/3.65 c | 14882 | 1156 194072 507926 | 2147483647 14882 54 | 0.006 % |
3.63/3.69 c | 15059 | 1156 194072 507926 | 2147483647 15059 54 | 0.006 % |
3.73/3.74 c | 15253 | 1156 194072 507926 | 2147483647 15253 54 | 0.000 % |
3.73/3.79 c | 15466 | 1156 194072 507926 | 2147483647 15466 54 | 0.006 % |
3.83/3.84 c | 15699 | 1156 194072 507926 | 2147483647 15699 54 | 0.005 % |
3.83/3.90 c | 15955 | 1156 194072 507926 | 2147483647 15955 53 | 0.006 % |
3.93/3.97 c | 16236 | 1156 194072 507926 | 2147483647 16236 53 | 0.006 % |
4.03/4.06 c | 16546 | 1156 194072 507926 | 2147483647 16546 52 | 0.006 % |
4.13/4.14 c | 16889 | 1156 194072 507926 | 2147483647 16889 54 | 0.000 % |
4.13/4.17 c | 16993 | 1156 194072 507926 | 2147483647 16993 54 | 0.006 % |
4.13/4.20 c | 17103 | 1156 194072 507926 | 2147483647 17103 53 | 0.006 % |
4.23/4.23 c | 17225 | 1156 194072 507926 | 2147483647 17225 53 | 0.006 % |
4.23/4.26 c | 17358 | 1156 194072 507926 | 2147483647 17358 53 | 0.006 % |
4.23/4.30 c | 17505 | 1156 194072 507926 | 2147483647 17505 53 | 0.006 % |
4.33/4.33 c | 17665 | 1156 194072 507926 | 2147483647 17665 53 | 0.000 % |
4.33/4.37 c | 17841 | 1156 194072 507926 | 2147483647 17841 53 | 0.011 % |
4.43/4.43 c | 18034 | 1156 194072 507926 | 2147483647 18034 53 | 0.006 % |
4.43/4.48 c | 18249 | 1156 194072 507926 | 2147483647 18249 54 | 0.000 % |
4.53/4.55 c | 18482 | 1156 194072 507926 | 2147483647 18482 54 | 0.000 % |
4.53/4.61 c | 18741 | 1156 194072 507926 | 2147483647 18741 54 | 0.006 % |
4.63/4.68 c | 19023 | 1156 194072 507926 | 2147483647 19023 54 | 0.006 % |
4.73/4.75 c | 19332 | 1156 194072 507926 | 2147483647 19332 54 | 0.000 % |
4.83/4.84 c | 19676 | 1156 194072 507926 | 2147483647 19676 55 | 0.000 % |
4.93/4.93 c | 20052 | 1156 194072 507926 | 2147483647 20052 54 | 0.006 % |
4.93/4.96 c | 20152 | 1156 194072 507926 | 2147483647 20152 55 | 0.000 % |
4.93/4.99 c | 20262 | 1156 194072 507926 | 2147483647 20262 55 | 0.006 % |
5.03/5.02 c | 20384 | 1156 194072 507926 | 2147483647 20384 55 | 0.006 % |
5.03/5.05 c | 20519 | 1156 194072 507926 | 2147483647 20519 55 | 0.006 % |
5.03/5.09 c | 20665 | 1156 194072 507926 | 2147483647 20665 55 | 0.000 % |
5.13/5.13 c | 20827 | 1156 194072 507926 | 2147483647 20827 55 | 0.006 % |
5.13/5.19 c | 21004 | 1156 194072 507926 | 2147483647 21004 55 | 0.006 % |
5.23/5.24 c | 21197 | 1156 194072 507926 | 2147483647 21197 55 | 0.000 % |
5.23/5.30 c | 21414 | 1156 194072 507926 | 2147483647 21414 56 | 0.006 % |
5.33/5.36 c | 21647 | 1156 194072 507926 | 2147483647 21647 55 | 0.006 % |
5.43/5.43 c | 21904 | 1156 194072 507926 | 2147483647 21904 55 | 0.006 % |
5.43/5.50 c | 22186 | 1156 194072 507926 | 2147483647 22186 55 | 0.006 % |
5.53/5.59 c | 22495 | 1156 194072 507926 | 2147483647 22495 55 | 0.006 % |
5.63/5.67 c | 22835 | 1156 194072 507926 | 2147483647 22835 54 | 0.006 % |
5.73/5.77 c | 23212 | 1156 194072 507926 | 2147483647 23212 54 | 0.006 % |
5.83/5.88 c | 23623 | 1156 194072 507926 | 2147483647 23623 54 | 0.000 % |
5.83/5.90 c | 23723 | 1156 194072 507926 | 2147483647 23723 54 | 0.006 % |
5.93/5.93 c | 23833 | 1156 194072 507926 | 2147483647 23833 54 | 0.006 % |
5.93/5.96 c | 23955 | 1156 194072 507926 | 2147483647 23955 54 | 0.006 % |
5.93/6.00 c | 24090 | 1156 194072 507926 | 2147483647 24090 54 | 0.000 % |
6.03/6.04 c | 24238 | 1156 194072 507926 | 2147483647 24238 54 | 0.000 % |
6.03/6.08 c | 24398 | 1156 194072 507926 | 2147483647 24398 54 | 0.006 % |
6.13/6.13 c | 24579 | 1156 194072 507926 | 2147483647 24579 54 | 0.000 % |
6.13/6.18 c | 24772 | 1156 194072 507926 | 2147483647 24772 54 | 0.000 % |
6.23/6.23 c | 24984 | 1156 194072 507926 | 2147483647 24984 54 | 0.006 % |
6.23/6.31 c | 25220 | 1156 194072 507926 | 2147483647 25220 54 | 0.006 % |
6.33/6.39 c | 25477 | 1156 194072 507926 | 2147483647 25477 54 | 0.000 % |
6.43/6.46 c | 25758 | 1156 194072 507926 | 2147483647 25758 54 | 0.006 % |
6.53/6.55 c | 26069 | 1156 194072 507926 | 2147483647 26069 54 | 0.006 % |
6.63/6.63 c | 26408 | 1156 194072 507926 | 2147483647 26408 55 | 0.000 % |
6.73/6.73 c | 26780 | 1156 194072 507926 | 2147483647 26780 55 | 0.000 % |
6.83/6.86 c | 27189 | 1156 194072 507926 | 2147483647 27189 54 | 0.006 % |
6.93/6.97 c | 27638 | 1156 194072 507926 | 2147483647 27638 54 | 0.006 % |
6.93/6.99 c | 27738 | 1156 194072 507926 | 2147483647 27738 54 | 0.006 % |
7.03/7.02 c | 27848 | 1156 194072 507926 | 2147483647 27848 54 | 0.006 % |
7.03/7.05 c | 27971 | 1156 194072 507926 | 2147483647 27971 54 | 0.006 % |
7.03/7.09 c | 28105 | 1156 194072 507926 | 2147483647 28105 54 | 0.006 % |
7.13/7.14 c | 28251 | 1156 194072 507926 | 2147483647 28251 54 | 0.006 % |
7.13/7.20 c | 28414 | 1156 194072 507926 | 2147483647 28414 54 | 0.006 % |
7.23/7.27 c | 28591 | 1156 194072 507926 | 2147483647 28591 54 | 0.006 % |
7.33/7.33 c | 28785 | 1156 194072 507926 | 2147483647 28785 54 | 0.000 % |
7.33/7.40 c | 28997 | 1156 194072 507926 | 2147483647 28997 54 | 0.006 % |
7.43/7.47 c | 29231 | 1156 194072 507926 | 2147483647 29231 54 | 0.006 % |
7.53/7.54 c | 29487 | 1156 194072 507926 | 2147483647 29487 53 | 0.006 % |
7.63/7.63 c | 29774 | 1156 194072 507926 | 2147483647 29774 53 | 0.006 % |
7.73/7.72 c | 30083 | 1156 194072 507926 | 2147483647 30083 53 | 0.006 % |
7.73/7.81 c | 30422 | 1156 194072 507926 | 2147483647 30422 54 | 0.000 % |
7.93/7.92 c | 30794 | 1156 194072 507926 | 2147483647 30794 54 | 0.006 % |
8.03/8.04 c | 31203 | 1156 194072 507926 | 2147483647 31203 53 | 0.006 % |
8.13/8.17 c | 31652 | 1156 194072 507926 | 2147483647 31652 53 | 0.000 % |
8.33/8.33 c | 32145 | 1156 194072 507926 | 2147483647 32145 53 | 0.006 % |
8.33/8.36 c | 32246 | 1156 194072 507926 | 2147483647 32246 53 | 0.006 % |
8.33/8.39 c | 32356 | 1156 194072 507926 | 2147483647 32356 53 | 0.006 % |
8.43/8.42 c | 32477 | 1156 194072 507926 | 2147483647 32477 53 | 0.006 % |
8.43/8.46 c | 32612 | 1156 194072 507926 | 2147483647 32612 53 | 0.006 % |
8.43/8.50 c | 32760 | 1156 194072 507926 | 2147483647 32760 53 | 0.006 % |
8.53/8.56 c | 32922 | 1156 194072 507926 | 2147483647 32922 53 | 0.006 % |
8.63/8.62 c | 33099 | 1156 194072 507926 | 2147483647 33099 53 | 0.006 % |
8.63/8.68 c | 33292 | 1156 194072 507926 | 2147483647 33292 53 | 0.000 % |
8.73/8.74 c | 33504 | 1156 194072 507926 | 2147483647 33504 53 | 0.000 % |
8.83/8.82 c | 33737 | 1156 194072 507926 | 2147483647 33737 54 | 0.000 % |
8.83/8.91 c | 33995 | 1156 194072 507926 | 2147483647 33995 54 | 0.000 % |
8.93/9.00 c | 34276 | 1156 194072 507926 | 2147483647 34276 54 | 0.006 % |
9.03/9.09 c | 34587 | 1156 194072 507926 | 2147483647 34587 54 | 0.006 % |
9.13/9.19 c | 34926 | 1156 194072 507926 | 2147483647 34926 54 | 0.000 % |
9.23/9.30 c | 35298 | 1156 194072 507926 | 2147483647 35298 54 | 0.006 % |
9.43/9.44 c | 35709 | 1156 194072 507926 | 2147483647 35709 54 | 0.006 % |
9.53/9.59 c | 36158 | 1156 194072 507926 | 2147483647 36158 54 | 0.006 % |
9.73/9.76 c | 36651 | 1156 194072 507926 | 2147483647 36651 54 | 0.006 % |
9.93/9.96 c | 37195 | 1156 194072 507926 | 2147483647 37195 53 | 0.006 % |
9.93/10.01 c | 37295 | 1156 194072 507926 | 2147483647 37295 53 | 0.006 % |
10.03/10.05 c | 37407 | 1156 194072 507926 | 2147483647 37407 53 | 0.006 % |
10.03/10.09 c | 37528 | 1156 194072 507926 | 2147483647 37528 53 | 0.006 % |
10.13/10.14 c | 37662 | 1156 194072 507926 | 2147483647 37662 53 | 0.000 % |
10.13/10.19 c | 37810 | 1156 194072 507926 | 2147483647 37810 53 | 0.000 % |
10.23/10.23 c | 37970 | 1156 194072 507926 | 2147483647 37970 53 | 0.006 % |
10.23/10.28 c | 38147 | 1156 194072 507926 | 2147483647 38147 53 | 0.000 % |
10.33/10.34 c | 38340 | 1156 194072 507926 | 2147483647 38340 53 | 0.006 % |
10.43/10.42 c | 38552 | 1156 194072 507926 | 2147483647 38552 53 | 0.006 % |
10.43/10.47 c | 38786 | 1156 194072 507926 | 2147483647 38786 53 | 0.000 % |
10.53/10.55 c | 39045 | 1156 194072 507926 | 2147483647 39045 53 | 0.000 % |
10.63/10.63 c | 39327 | 1156 194072 507926 | 2147483647 39327 54 | 0.000 % |
10.63/10.70 c | 39637 | 1156 194072 507926 | 2147483647 39637 54 | 0.006 % |
10.73/10.79 c | 39977 | 1156 194072 507926 | 2147483647 39977 54 | 0.006 % |
10.93/10.92 c | 40350 | 1156 194072 507926 | 2147483647 40350 54 | 0.006 % |
11.03/11.08 c | 40760 | 1156 194072 507926 | 2147483647 40760 54 | 0.006 % |
11.23/11.24 c | 41210 | 1156 194072 507926 | 2147483647 41210 54 | 0.006 % |
11.33/11.40 c | 41703 | 1156 194072 507926 | 2147483647 41703 53 | 0.006 % |
11.53/11.59 c | 42245 | 1156 194072 507926 | 2147483647 42245 53 | 0.006 % |
11.83/11.82 c | 42843 | 1156 194072 507926 | 2147483647 42843 53 | 0.006 % |
11.83/11.87 c | 42947 | 1156 194072 507926 | 2147483647 42947 53 | 0.006 % |
11.83/11.91 c | 43057 | 1156 194072 507926 | 2147483647 43057 53 | 0.006 % |
11.93/11.95 c | 43178 | 1156 194072 507926 | 2147483647 43178 53 | 0.000 % |
11.93/11.99 c | 43312 | 1156 194072 507926 | 2147483647 43312 53 | 0.006 % |
12.03/12.04 c | 43460 | 1156 194072 507926 | 2147483647 43460 53 | 0.006 % |
12.03/12.10 c | 43620 | 1156 194072 507926 | 2147483647 43620 53 | 0.006 % |
12.13/12.16 c | 43796 | 1156 194072 507926 | 2147483647 43796 53 | 0.006 % |
12.23/12.23 c | 43990 | 1156 194072 507926 | 2147483647 43990 53 | 0.006 % |
12.23/12.30 c | 44202 | 1156 194072 507926 | 2147483647 44202 53 | 0.006 % |
12.33/12.38 c | 44437 | 1156 194072 507926 | 2147483647 44437 53 | 0.006 % |
12.43/12.47 c | 44693 | 1156 194072 507926 | 2147483647 44693 53 | 0.006 % |
12.53/12.57 c | 44974 | 1156 194072 507926 | 2147483647 44974 53 | 0.006 % |
12.63/12.67 c | 45284 | 1156 194072 507926 | 2147483647 45284 53 | 0.006 % |
12.73/12.79 c | 45623 | 1156 194072 507926 | 2147483647 45623 53 | 0.006 % |
12.93/12.93 c | 45996 | 1156 194072 507926 | 2147483647 45996 52 | 0.006 % |
13.03/13.09 c | 46405 | 1156 194072 507926 | 2147483647 46405 52 | 0.006 % |
13.23/13.27 c | 46859 | 1156 194072 507926 | 2147483647 46859 52 | 0.006 % |
13.43/13.48 c | 47353 | 1156 194072 507926 | 2147483647 47353 52 | 0.006 % |
13.63/13.71 c | 47896 | 1156 194072 507926 | 2147483647 47896 52 | 0.006 % |
13.93/13.94 c | 48494 | 1156 194072 507926 | 2147483647 48494 52 | 0.006 % |
14.23/14.23 c | 49153 | 1156 194072 507926 | 2147483647 49153 51 | 0.006 % |
14.23/14.26 c | 49253 | 1156 194072 507926 | 2147483647 49253 51 | 0.006 % |
14.33/14.32 c | 49363 | 1156 194072 507926 | 2147483647 49363 51 | 0.006 % |
14.33/14.36 c | 49484 | 1156 194072 507926 | 2147483647 49484 51 | 0.006 % |
14.33/14.40 c | 49617 | 1156 194072 507926 | 2147483647 49617 51 | 0.006 % |
14.43/14.44 c | 49763 | 1156 194072 507926 | 2147483647 49763 51 | 0.000 % |
14.43/14.49 c | 49923 | 1156 194072 507926 | 2147483647 49923 51 | 0.006 % |
14.53/14.55 c | 50099 | 1156 194072 507926 | 2147483647 50099 51 | 0.006 % |
14.63/14.62 c | 50293 | 1156 194072 507926 | 2147483647 50293 51 | 0.000 % |
14.63/14.70 c | 50506 | 1156 194072 507926 | 2147483647 50506 51 | 0.006 % |
14.73/14.79 c | 50741 | 1156 194072 507926 | 2147483647 50741 52 | 0.000 % |
14.83/14.91 c | 50997 | 1156 194072 507926 | 2147483647 50997 52 | 0.006 % |
15.03/15.04 c | 51278 | 1156 194072 507926 | 2147483647 51278 52 | 0.006 % |
15.13/15.15 c | 51587 | 1156 194072 507926 | 2147483647 51587 52 | 0.006 % |
15.23/15.28 c | 51926 | 1156 194072 507926 | 2147483647 51926 52 | 0.000 % |
15.43/15.43 c | 52302 | 1156 194072 507926 | 2147483647 52302 52 | 0.000 % |
15.53/15.60 c | 52714 | 1156 194072 507926 | 2147483647 52714 52 | 0.006 % |
15.73/15.79 c | 53164 | 1156 194072 507926 | 2147483647 53164 52 | 0.006 % |
15.93/15.99 c | 53662 | 1156 194072 507926 | 2147483647 53662 52 | 0.006 % |
16.13/16.17 c | 54205 | 1156 194072 507926 | 2147483647 54205 52 | 0.006 % |
16.43/16.42 c | 54801 | 1156 194072 507926 | 2147483647 54801 51 | 0.006 % |
16.63/16.67 c | 55457 | 1156 194072 507926 | 2147483647 55457 51 | 0.006 % |
16.93/16.94 c | 56178 | 1156 194072 507926 | 2147483647 56178 51 | 0.006 % |
16.93/16.98 c | 56279 | 1156 194072 507926 | 2147483647 56279 51 | 0.006 % |
17.03/17.03 c | 56390 | 1156 194072 507926 | 2147483647 56390 51 | 0.006 % |
17.03/17.09 c | 56511 | 1156 194072 507926 | 2147483647 56511 51 | 0.006 % |
17.13/17.16 c | 56646 | 1156 194072 507926 | 2147483647 56646 51 | 0.000 % |
17.23/17.23 c | 56794 | 1156 194072 507926 | 2147483647 56794 51 | 0.000 % |
17.23/17.31 c | 56958 | 1156 194072 507926 | 2147483647 56958 51 | 0.000 % |
17.33/17.37 c | 57135 | 1156 194072 507926 | 2147483647 57135 51 | 0.006 % |
17.43/17.45 c | 57328 | 1156 194072 507926 | 2147483647 57328 51 | 0.000 % |
17.53/17.53 c | 57540 | 1156 194072 507926 | 2147483647 57540 51 | 0.006 % |
17.53/17.61 c | 57777 | 1156 194072 507926 | 2147483647 57777 51 | 0.000 % |
17.63/17.70 c | 58035 | 1156 194072 507926 | 2147483647 58035 52 | 0.006 % |
17.73/17.79 c | 58316 | 1156 194072 507926 | 2147483647 58316 52 | 0.000 % |
17.93/17.92 c | 58629 | 1156 194072 507926 | 2147483647 58629 52 | 0.000 % |
18.03/18.05 c | 58970 | 1156 194072 507926 | 2147483647 58970 52 | 0.006 % |
18.13/18.21 c | 59343 | 1156 194072 507926 | 2147483647 59343 52 | 0.006 % |
18.33/18.36 c | 59752 | 1156 194072 507926 | 2147483647 59752 52 | 0.006 % |
18.53/18.53 c | 60201 | 1156 194072 507926 | 2147483647 60201 51 | 0.006 % |
18.73/18.73 c | 60694 | 1156 194072 507926 | 2147483647 60694 51 | 0.006 % |
18.93/18.93 c | 61236 | 1156 194072 507926 | 2147483647 61236 51 | 0.006 % |
19.13/19.17 c | 61833 | 1156 194072 507926 | 2147483647 61833 51 | 0.006 % |
19.43/19.44 c | 62490 | 1156 194072 507926 | 2147483647 62490 51 | 0.006 % |
19.73/19.71 c | 63211 | 1156 194072 507926 | 2147483647 63211 51 | 0.006 % |
20.03/20.05 c | 64004 | 1156 194072 507926 | 2147483647 64004 51 | 0.006 % |
20.03/20.09 c | 64105 | 1156 194072 507926 | 2147483647 64105 51 | 0.000 % |
20.13/20.15 c | 64215 | 1156 194072 507926 | 2147483647 64215 51 | 0.006 % |
20.13/20.20 c | 64338 | 1156 194072 507926 | 2147483647 64338 51 | 0.006 % |
20.23/20.26 c | 64471 | 1156 194072 507926 | 2147483647 64471 51 | 0.006 % |
20.33/20.33 c | 64617 | 1156 194072 507926 | 2147483647 64617 51 | 0.006 % |
20.33/20.40 c | 64777 | 1156 194072 507926 | 2147483647 64777 51 | 0.006 % |
20.43/20.48 c | 64953 | 1156 194072 507926 | 2147483647 64953 51 | 0.006 % |
20.53/20.57 c | 65148 | 1156 194072 507926 | 2147483647 65148 50 | 0.006 % |
20.63/20.68 c | 65360 | 1156 194072 507926 | 2147483647 65360 50 | 0.006 % |
20.73/20.78 c | 65593 | 1156 194072 507926 | 2147483647 65593 50 | 0.006 % |
20.83/20.87 c | 65853 | 1156 194072 507926 | 2147483647 65853 51 | 0.000 % |
20.93/20.99 c | 66134 | 1156 194072 507926 | 2147483647 66134 51 | 0.000 % |
21.03/21.11 c | 66444 | 1156 194072 507926 | 2147483647 66444 51 | 0.006 % |
21.23/21.25 c | 66783 | 1156 194072 507926 | 2147483647 66783 51 | 0.006 % |
21.43/21.43 c | 67158 | 1156 194072 507926 | 2147483647 67158 51 | 0.006 % |
21.53/21.60 c | 67567 | 1156 194072 507926 | 2147483647 67567 50 | 0.006 % |
21.73/21.77 c | 68017 | 1156 194072 507926 | 2147483647 68017 51 | 0.000 % |
21.93/21.97 c | 68510 | 1156 194072 507926 | 2147483647 68510 52 | 0.000 % |
22.13/22.18 c | 69054 | 1156 194072 507926 | 2147483647 69054 52 | 0.000 % |
22.43/22.45 c | 69650 | 1156 194072 507926 | 2147483647 69650 53 | 0.000 % |
22.83/22.83 c | 70306 | 1156 194072 507926 | 2147483647 70306 53 | 0.006 % |
23.23/23.24 c | 71027 | 1156 194072 507926 | 2147483647 71027 52 | 0.006 % |
23.63/23.63 c | 71821 | 1156 194072 507926 | 2147483647 71821 53 | 0.000 % |
24.03/24.09 c | 72692 | 1156 194072 507926 | 2147483647 72692 53 | 0.006 % |
24.13/24.15 c | 72796 | 1156 194072 507926 | 2147483647 72796 53 | 0.006 % |
24.23/24.22 c | 72907 | 1156 194072 507926 | 2147483647 72907 53 | 0.006 % |
24.23/24.27 c | 73028 | 1156 194072 507926 | 2147483647 73028 53 | 0.006 % |
24.33/24.34 c | 73161 | 1156 194072 507926 | 2147483647 73161 53 | 0.000 % |
24.33/24.40 c | 73308 | 1156 194072 507926 | 2147483647 73308 53 | 0.006 % |
24.43/24.47 c | 73468 | 1156 194072 507926 | 2147483647 73468 53 | 0.000 % |
24.53/24.55 c | 73646 | 1156 194072 507926 | 2147483647 73646 53 | 0.006 % |
24.63/24.65 c | 73839 | 1156 194072 507926 | 2147483647 73839 53 | 0.006 % |
24.73/24.76 c | 74051 | 1156 194072 507926 | 2147483647 74051 53 | 0.006 % |
24.83/24.87 c | 74285 | 1156 194072 507926 | 2147483647 74285 53 | 0.000 % |
24.93/25.01 c | 74542 | 1156 194072 507926 | 2147483647 74542 53 | 0.006 % |
25.03/25.11 c | 74823 | 1156 194072 507926 | 2147483647 74823 53 | 0.000 % |
25.23/25.26 c | 75132 | 1156 194072 507926 | 2147483647 75132 54 | 0.006 % |
25.43/25.42 c | 75475 | 1156 194072 507926 | 2147483647 75475 53 | 0.000 % |
25.53/25.57 c | 75851 | 1156 194072 507926 | 2147483647 75851 53 | 0.006 % |
25.73/25.81 c | 76260 | 1156 194072 507926 | 2147483647 76260 53 | 0.006 % |
26.03/26.09 c | 76711 | 1156 194072 507926 | 2147483647 76711 53 | 0.006 % |
26.33/26.39 c | 77210 | 1156 194072 507926 | 2147483647 77210 53 | 0.006 % |
26.63/26.65 c | 77753 | 1156 194072 507926 | 2147483647 77753 53 | 0.006 % |
26.83/26.91 c | 78351 | 1156 194072 507926 | 2147483647 78351 53 | 0.006 % |
27.23/27.25 c | 79006 | 1156 194072 507926 | 2147483647 79006 53 | 0.006 % |
27.53/27.58 c | 79727 | 1156 194072 507926 | 2147483647 79727 54 | 0.000 % |
27.93/28.00 c | 80522 | 1156 194072 507926 | 2147483647 80522 53 | 0.006 % |
28.43/28.49 c | 81394 | 1156 194072 507926 | 2147483647 81394 54 | 0.000 % |
29.03/29.09 c | 82357 | 1156 194072 507926 | 2147483647 82357 54 | 0.006 % |
29.13/29.15 c | 82459 | 1156 194072 507926 | 2147483647 82459 54 | 0.006 % |
29.23/29.22 c | 82571 | 1156 194072 507926 | 2147483647 82571 54 | 0.006 % |
29.23/29.29 c | 82692 | 1156 194072 507926 | 2147483647 82692 54 | 0.000 % |
29.33/29.37 c | 82825 | 1156 194072 507926 | 2147483647 82825 54 | 0.006 % |
29.43/29.46 c | 82972 | 1156 194072 507926 | 2147483647 82972 54 | 0.006 % |
29.53/29.55 c | 83132 | 1156 194072 507926 | 2147483647 83132 54 | 0.006 % |
29.63/29.66 c | 83310 | 1156 194072 507926 | 2147483647 83310 54 | 0.006 % |
29.73/29.76 c | 83505 | 1156 194072 507926 | 2147483647 83505 54 | 0.006 % |
29.83/29.87 c | 83717 | 1156 194072 507926 | 2147483647 83717 54 | 0.000 % |
29.93/29.99 c | 83951 | 1156 194072 507926 | 2147483647 83951 54 | 0.006 % |
30.13/30.12 c | 84207 | 1156 194072 507926 | 2147483647 84207 54 | 0.006 % |
30.23/30.26 c | 84491 | 1156 194072 507926 | 2147483647 84491 54 | 0.006 % |
30.43/30.44 c | 84800 | 1156 194072 507926 | 2147483647 84800 54 | 0.006 % |
30.63/30.63 c | 85142 | 1156 194072 507926 | 2147483647 85142 54 | 0.006 % |
30.83/30.86 c | 85515 | 1156 194072 507926 | 2147483647 85515 54 | 0.006 % |
31.03/31.09 c | 85925 | 1156 194072 507926 | 2147483647 85925 54 | 0.000 % |
31.23/31.31 c | 86374 | 1156 194072 507926 | 2147483647 86374 54 | 0.006 % |
31.53/31.61 c | 86868 | 1156 194072 507926 | 2147483647 86868 54 | 0.006 % |
31.93/31.93 c | 87413 | 1156 194072 507926 | 2147483647 87413 54 | 0.006 % |
32.13/32.21 c | 88010 | 1156 194072 507926 | 2147483647 88010 53 | 0.006 % |
32.53/32.55 c | 88665 | 1156 194072 507926 | 2147483647 88665 54 | 0.000 % |
32.83/32.90 c | 89385 | 1156 194072 507926 | 2147483647 89385 54 | 0.006 % |
33.23/33.27 c | 90177 | 1156 194072 507926 | 2147483647 90177 54 | 0.006 % |
33.73/33.75 c | 91049 | 1156 194072 507926 | 2147483647 91049 54 | 0.006 % |
34.23/34.27 c | 92007 | 1156 194072 507926 | 2147483647 92007 54 | 0.000 % |
34.83/34.87 c | 93061 | 1156 194072 507926 | 2147483647 93061 55 | 0.000 % |
34.93/34.92 c | 93164 | 1156 194072 507926 | 2147483647 93164 55 | 0.000 % |
34.93/34.98 c | 93274 | 1156 194072 507926 | 2147483647 93274 55 | 0.000 % |
35.03/35.06 c | 93401 | 1156 194072 507926 | 2147483647 93401 55 | 0.006 % |
35.13/35.14 c | 93535 | 1156 194072 507926 | 2147483647 93535 55 | 0.006 % |
35.23/35.26 c | 93682 | 1156 194072 507926 | 2147483647 93682 55 | 0.000 % |
35.33/35.36 c | 93845 | 1156 194072 507926 | 2147483647 93845 55 | 0.006 % |
35.43/35.47 c | 94021 | 1156 194072 507926 | 2147483647 94021 55 | 0.006 % |
35.53/35.58 c | 94214 | 1156 194072 507926 | 2147483647 94214 55 | 0.000 % |
35.73/35.73 c | 94426 | 1156 194072 507926 | 2147483647 94426 55 | 0.000 % |
35.83/35.90 c | 94660 | 1156 194072 507926 | 2147483647 94660 55 | 0.006 % |
36.03/36.10 c | 94916 | 1156 194072 507926 | 2147483647 94916 55 | 0.006 % |
36.23/36.28 c | 95197 | 1156 194072 507926 | 2147483647 95197 55 | 0.006 % |
36.43/36.45 c | 95507 | 1156 194072 507926 | 2147483647 95507 55 | 0.006 % |
36.53/36.61 c | 95846 | 1156 194072 507926 | 2147483647 95846 55 | 0.000 % |
36.73/36.80 c | 96218 | 1156 194072 507926 | 2147483647 96218 55 | 0.006 % |
37.03/37.06 c | 96627 | 1156 194072 507926 | 2147483647 96627 55 | 0.006 % |
37.33/37.33 c | 97081 | 1156 194072 507926 | 2147483647 97081 55 | 0.006 % |
37.63/37.62 c | 97575 | 1156 194072 507926 | 2147483647 97575 55 | 0.000 % |
37.93/37.92 c | 98118 | 1156 194072 507926 | 2147483647 98118 56 | 0.000 % |
38.23/38.26 c | 98716 | 1156 194072 507926 | 2147483647 98716 56 | 0.006 % |
38.63/38.64 c | 99374 | 1156 194072 507926 | 2147483647 99374 56 | 0.006 % |
39.13/39.11 c | 100094 | 1156 194072 507926 | 2147483647 100094 56 | 0.000 % |
39.53/39.58 c | 100886 | 1156 194072 507926 | 2147483647 100886 56 | 0.000 % |
40.13/40.16 c | 101758 | 1156 194072 507926 | 2147483647 101758 56 | 0.006 % |
40.73/40.76 c | 102716 | 1156 194072 507926 | 2147483647 102716 56 | 0.006 % |
41.43/41.46 c | 103769 | 1156 194072 507926 | 2147483647 103769 56 | 0.006 % |
42.33/42.36 c | 104930 | 1156 194072 507926 | 2147483647 104930 56 | 0.006 % |
42.43/42.44 c | 105031 | 1156 194072 507926 | 2147483647 105031 56 | 0.006 % |
42.43/42.51 c | 105144 | 1156 194072 507926 | 2147483647 105144 56 | 0.000 % |
42.53/42.58 c | 105267 | 1156 194072 507926 | 2147483647 105267 56 | 0.000 % |
42.62/42.65 c | 105400 | 1156 194072 507926 | 2147483647 105400 56 | 0.000 % |
42.72/42.72 c | 105548 | 1156 194072 507926 | 2147483647 105548 56 | 0.006 % |
42.82/42.84 c | 105711 | 1156 194072 507926 | 2147483647 105711 56 | 0.000 % |
42.92/42.95 c | 105888 | 1156 194072 507926 | 2147483647 105888 56 | 0.006 % |
43.02/43.07 c | 106082 | 1156 194072 507926 | 2147483647 106082 56 | 0.006 % |
43.12/43.20 c | 106298 | 1156 194072 507926 | 2147483647 106298 56 | 0.000 % |
43.32/43.33 c | 106534 | 1156 194072 507926 | 2147483647 106534 56 | 0.000 % |
43.42/43.47 c | 106790 | 1156 194072 507926 | 2147483647 106790 56 | 0.000 % |
43.62/43.66 c | 107072 | 1156 194072 507926 | 2147483647 107072 56 | 0.000 % |
43.82/43.83 c | 107381 | 1156 194072 507926 | 2147483647 107381 56 | 0.000 % |
44.02/44.03 c | 107721 | 1156 194072 507926 | 2147483647 107721 56 | 0.006 % |
44.22/44.22 c | 108096 | 1156 194072 507926 | 2147483647 108096 56 | 0.006 % |
44.42/44.44 c | 108505 | 1156 194072 507926 | 2147483647 108505 57 | 0.000 % |
44.72/44.73 c | 108955 | 1156 194072 507926 | 2147483647 108955 57 | 0.000 % |
45.02/45.06 c | 109448 | 1156 194072 507926 | 2147483647 109448 57 | 0.006 % |
45.42/45.43 c | 109992 | 1156 194072 507926 | 2147483647 109992 57 | 0.006 % |
45.82/45.84 c | 110588 | 1156 194072 507926 | 2147483647 110588 57 | 0.006 % |
46.22/46.27 c | 111248 | 1156 194072 507926 | 2147483647 111248 57 | 0.000 % |
46.72/46.74 c | 111969 | 1156 194072 507926 | 2147483647 111969 57 | 0.000 % |
47.12/47.20 c | 112761 | 1156 194072 507926 | 2147483647 112761 57 | 0.006 % |
47.82/47.84 c | 113632 | 1156 194072 507926 | 2147483647 113632 57 | 0.006 % |
48.42/48.49 c | 114591 | 1156 194072 507926 | 2147483647 114591 57 | 0.006 % |
49.22/49.22 c | 115645 | 1156 194072 507926 | 2147483647 115645 57 | 0.000 % |
49.92/49.99 c | 116803 | 1156 194072 507926 | 2147483647 116803 57 | 0.006 % |
50.92/50.93 c | 118076 | 1156 194072 507926 | 2147483647 118076 57 | 0.006 % |
50.92/51.00 c | 118177 | 1156 194072 507926 | 2147483647 118177 57 | 0.000 % |
51.02/51.08 c | 118287 | 1156 194072 507926 | 2147483647 118287 57 | 0.006 % |
51.12/51.20 c | 118408 | 1156 194072 507926 | 2147483647 118408 57 | 0.006 % |
51.22/51.30 c | 118541 | 1156 194072 507926 | 2147483647 118541 57 | 0.006 % |
51.32/51.37 c | 118687 | 1156 194072 507926 | 2147483647 118687 57 | 0.000 % |
51.42/51.49 c | 118847 | 1156 194072 507926 | 2147483647 118847 57 | 0.006 % |
51.62/51.62 c | 119025 | 1156 194072 507926 | 2147483647 119025 57 | 0.006 % |
51.72/51.75 c | 119218 | 1156 194072 507926 | 2147483647 119218 57 | 0.000 % |
51.82/51.89 c | 119431 | 1156 194072 507926 | 2147483647 119431 57 | 0.000 % |
52.02/52.04 c | 119666 | 1156 194072 507926 | 2147483647 119666 57 | 0.006 % |
52.22/52.23 c | 119922 | 1156 194072 507926 | 2147483647 119922 57 | 0.006 % |
52.42/52.45 c | 120203 | 1156 194072 507926 | 2147483647 120203 57 | 0.000 % |
52.72/52.71 c | 120512 | 1156 194072 507926 | 2147483647 120512 57 | 0.006 % |
52.92/52.97 c | 120852 | 1156 194072 507926 | 2147483647 120852 57 | 0.000 % |
53.22/53.26 c | 121225 | 1156 194072 507926 | 2147483647 121225 58 | 0.000 % |
53.52/53.57 c | 121635 | 1156 194072 507926 | 2147483647 121635 57 | 0.006 % |
53.82/53.90 c | 122087 | 1156 194072 507926 | 2147483647 122087 57 | 0.006 % |
54.22/54.28 c | 122582 | 1156 194072 507926 | 2147483647 122582 58 | 0.000 % |
54.62/54.65 c | 123126 | 1156 194072 507926 | 2147483647 123126 58 | 0.000 % |
55.02/55.08 c | 123723 | 1156 194072 507926 | 2147483647 123723 58 | 0.000 % |
55.52/55.53 c | 124378 | 1156 194072 507926 | 2147483647 124378 58 | 0.006 % |
56.02/56.05 c | 125098 | 1156 194072 507926 | 2147483647 125098 58 | 0.006 % |
56.62/56.62 c | 125890 | 1156 194072 507926 | 2147483647 125890 58 | 0.000 % |
57.22/57.23 c | 126761 | 1156 194072 507926 | 2147483647 126761 58 | 0.000 % |
57.92/57.98 c | 127719 | 1156 194072 507926 | 2147483647 127719 58 | 0.006 % |
58.82/58.81 c | 128774 | 1156 194072 507926 | 2147483647 128774 58 | 0.006 % |
59.72/59.79 c | 129935 | 1156 194072 507926 | 2147483647 129935 58 | 0.006 % |
60.72/60.76 c | 131208 | 1156 194072 507926 | 2147483647 131208 58 | 0.000 % |
61.82/61.81 c | 132609 | 1156 194072 507926 | 2147483647 132609 58 | 0.006 % |
61.82/61.89 c | 132709 | 1156 194072 507926 | 2147483647 132709 58 | 0.006 % |
61.92/61.97 c | 132822 | 1156 194072 507926 | 2147483647 132822 58 | 0.006 % |
62.02/62.07 c | 132943 | 1156 194072 507926 | 2147483647 132943 58 | 0.006 % |
62.12/62.18 c | 133077 | 1156 194072 507926 | 2147483647 133077 58 | 0.006 % |
62.22/62.28 c | 133223 | 1156 194072 507926 | 2147483647 133223 58 | 0.000 % |
62.42/62.42 c | 133385 | 1156 194072 507926 | 2147483647 133385 58 | 0.000 % |
62.52/62.59 c | 133562 | 1156 194072 507926 | 2147483647 133562 58 | 0.006 % |
62.72/62.73 c | 133758 | 1156 194072 507926 | 2147483647 133758 58 | 0.000 % |
62.92/62.91 c | 133971 | 1156 194072 507926 | 2147483647 133971 58 | 0.006 % |
63.02/63.10 c | 134205 | 1156 194072 507926 | 2147483647 134205 58 | 0.006 % |
63.32/63.32 c | 134461 | 1156 194072 507926 | 2147483647 134461 58 | 0.006 % |
63.52/63.57 c | 134743 | 1156 194072 507926 | 2147483647 134743 58 | 0.006 % |
63.82/63.85 c | 135052 | 1156 194072 507926 | 2147483647 135052 58 | 0.006 % |
64.12/64.13 c | 135393 | 1156 194072 507926 | 2147483647 135393 58 | 0.000 % |
64.42/64.44 c | 135767 | 1156 194072 507926 | 2147483647 135767 58 | 0.006 % |
64.72/64.79 c | 136176 | 1156 194072 507926 | 2147483647 136176 58 | 0.006 % |
65.12/65.19 c | 136626 | 1156 194072 507926 | 2147483647 136626 58 | 0.006 % |
65.62/65.66 c | 137119 | 1156 194072 507926 | 2147483647 137119 57 | 0.006 % |
66.12/66.11 c | 137664 | 1156 194072 507926 | 2147483647 137664 57 | 0.006 % |
66.62/66.62 c | 138260 | 1156 194072 507926 | 2147483647 138260 57 | 0.006 % |
67.12/67.19 c | 138917 | 1156 194072 507926 | 2147483647 138917 57 | 0.006 % |
67.72/67.73 c | 139638 | 1156 194072 507926 | 2147483647 139638 57 | 0.006 % |
68.42/68.49 c | 140431 | 1156 194072 507926 | 2147483647 140431 57 | 0.006 % |
69.32/69.34 c | 141303 | 1156 194072 507926 | 2147483647 141303 57 | 0.006 % |
70.02/70.08 c | 142261 | 1156 194072 507926 | 2147483647 142261 57 | 0.006 % |
71.02/71.05 c | 143317 | 1156 194072 507926 | 2147483647 143317 57 | 0.006 % |
72.12/72.15 c | 144478 | 1156 194072 507926 | 2147483647 144478 57 | 0.006 % |
73.12/73.18 c | 145752 | 1156 194072 507926 | 2147483647 145752 57 | 0.006 % |
74.42/74.47 c | 147155 | 1156 194072 507926 | 2147483647 147155 57 | 0.006 % |
75.82/75.89 c | 148696 | 1156 194072 507926 | 2147483647 148696 57 | 0.006 % |
75.92/75.98 c | 148796 | 1156 194072 507926 | 2147483647 148796 57 | 0.006 % |
76.03/76.08 c | 148907 | 1156 194072 507926 | 2147483647 148907 57 | 0.006 % |
76.12/76.19 c | 149028 | 1156 194072 507926 | 2147483647 149028 57 | 0.006 % |
76.32/76.33 c | 149164 | 1156 194072 507926 | 2147483647 149164 57 | 0.000 % |
76.42/76.46 c | 149310 | 1156 194072 507926 | 2147483647 149310 57 | 0.000 % |
76.52/76.60 c | 149477 | 1156 194072 507926 | 2147483647 149477 57 | 0.006 % |
76.72/76.74 c | 149653 | 1156 194072 507926 | 2147483647 149653 57 | 0.006 % |
76.92/76.91 c | 149847 | 1156 194072 507926 | 2147483647 149847 57 | 0.006 % |
77.02/77.07 c | 150060 | 1156 194072 507926 | 2147483647 150060 57 | 0.006 % |
77.22/77.24 c | 150296 | 1156 194072 507926 | 2147483647 150296 57 | 0.000 % |
77.42/77.44 c | 150556 | 1156 194072 507926 | 2147483647 150556 57 | 0.000 % |
77.62/77.67 c | 150838 | 1156 194072 507926 | 2147483647 150838 57 | 0.000 % |
77.92/77.95 c | 151147 | 1156 194072 507926 | 2147483647 151147 57 | 0.006 % |
78.23/78.24 c | 151488 | 1156 194072 507926 | 2147483647 151488 57 | 0.006 % |
78.52/78.55 c | 151863 | 1156 194072 507926 | 2147483647 151863 57 | 0.006 % |
78.82/78.90 c | 152274 | 1156 194072 507926 | 2147483647 152274 57 | 0.006 % |
79.22/79.28 c | 152723 | 1156 194072 507926 | 2147483647 152723 57 | 0.006 % |
79.62/79.69 c | 153218 | 1156 194072 507926 | 2147483647 153218 57 | 0.006 % |
80.12/80.17 c | 153761 | 1156 194072 507926 | 2147483647 153761 57 | 0.006 % |
80.62/80.63 c | 154357 | 1156 194072 507926 | 2147483647 154357 57 | 0.006 % |
81.22/81.20 c | 155013 | 1156 194072 507926 | 2147483647 155013 57 | 0.006 % |
81.82/81.88 c | 155737 | 1156 194072 507926 | 2147483647 155737 57 | 0.000 % |
82.52/82.57 c | 156530 | 1156 194072 507926 | 2147483647 156530 57 | 0.006 % |
83.42/83.41 c | 157403 | 1156 194072 507926 | 2147483647 157403 57 | 0.000 % |
84.22/84.23 c | 158361 | 1156 194072 507926 | 2147483647 158361 57 | 0.006 % |
85.12/85.18 c | 159420 | 1156 194072 507926 | 2147483647 159420 57 | 0.006 % |
86.42/86.42 c | 160579 | 1156 194072 507926 | 2147483647 160579 57 | 0.006 % |
87.52/87.58 c | 161854 | 1156 194072 507926 | 2147483647 161854 57 | 0.000 % |
88.82/88.88 c | 163254 | 1156 194072 507926 | 2147483647 163254 58 | 0.006 % |
90.33/90.38 c | 164796 | 1156 194072 507926 | 2147483647 164796 57 | 0.006 % |
91.92/91.91 c | 166494 | 1156 194072 507926 | 2147483647 166494 57 | 0.006 % |
92.02/92.02 c | 166594 | 1156 194072 507926 | 2147483647 166594 57 | 0.006 % |
92.12/92.12 c | 166705 | 1156 194072 507926 | 2147483647 166705 57 | 0.000 % |
92.22/92.22 c | 166826 | 1156 194072 507926 | 2147483647 166826 57 | 0.006 % |
92.32/92.32 c | 166959 | 1156 194072 507926 | 2147483647 166959 57 | 0.006 % |
92.42/92.46 c | 167106 | 1156 194072 507926 | 2147483647 167106 57 | 0.006 % |
92.62/92.62 c | 167271 | 1156 194072 507926 | 2147483647 167271 57 | 0.006 % |
92.72/92.79 c | 167447 | 1156 194072 507926 | 2147483647 167447 57 | 0.006 % |
92.92/92.99 c | 167643 | 1156 194072 507926 | 2147483647 167643 57 | 0.006 % |
93.22/93.22 c | 167855 | 1156 194072 507926 | 2147483647 167855 57 | 0.006 % |
93.42/93.47 c | 168092 | 1156 194072 507926 | 2147483647 168092 57 | 0.006 % |
93.72/93.73 c | 168349 | 1156 194072 507926 | 2147483647 168349 57 | 0.000 % |
94.02/94.04 c | 168631 | 1156 194072 507926 | 2147483647 168631 57 | 0.006 % |
94.32/94.36 c | 168945 | 1156 194072 507926 | 2147483647 168945 57 | 0.006 % |
94.62/94.71 c | 169287 | 1156 194072 507926 | 2147483647 169287 57 | 0.006 % |
95.02/95.08 c | 169661 | 1156 194072 507926 | 2147483647 169661 57 | 0.006 % |
95.52/95.53 c | 170072 | 1156 194072 507926 | 2147483647 170072 57 | 0.006 % |
95.92/95.97 c | 170521 | 1156 194072 507926 | 2147483647 170521 57 | 0.000 % |
96.42/96.40 c | 171015 | 1156 194072 507926 | 2147483647 171015 57 | 0.000 % |
96.82/96.87 c | 171557 | 1156 194072 507926 | 2147483647 171557 58 | 0.000 % |
97.52/97.52 c | 172154 | 1156 194072 507926 | 2147483647 172154 58 | 0.000 % |
98.12/98.13 c | 172810 | 1156 194072 507926 | 2147483647 172810 58 | 0.000 % |
98.72/98.78 c | 173533 | 1156 194072 507926 | 2147483647 173533 58 | 0.006 % |
99.52/99.59 c | 174325 | 1156 194072 507926 | 2147483647 174325 58 | 0.000 % |
100.52/100.59 c | 175197 | 1156 194072 507926 | 2147483647 175197 58 | 0.006 % |
101.52/101.57 c | 176155 | 1156 194072 507926 | 2147483647 176155 58 | 0.000 % |
102.52/102.56 c | 177208 | 1156 194072 507926 | 2147483647 177208 58 | 0.000 % |
103.72/103.76 c | 178368 | 1156 194072 507926 | 2147483647 178368 58 | 0.006 % |
105.02/105.06 c | 179641 | 1156 194072 507926 | 2147483647 179641 58 | 0.006 % |
106.32/106.39 c | 181042 | 1156 194072 507926 | 2147483647 181042 58 | 0.006 % |
107.82/107.89 c | 182582 | 1156 194072 507926 | 2147483647 182582 58 | 0.000 % |
109.72/109.74 c | 184276 | 1156 194072 507926 | 2147483647 184276 59 | 0.000 % |
111.92/111.95 c | 186140 | 1156 194072 507926 | 2147483647 186140 59 | 0.000 % |
112.02/112.06 c | 186241 | 1156 194072 507926 | 2147483647 186241 59 | 0.006 % |
112.12/112.19 c | 186351 | 1156 194072 507926 | 2147483647 186351 59 | 0.006 % |
112.33/112.33 c | 186472 | 1156 194072 507926 | 2147483647 186472 59 | 0.006 % |
112.42/112.47 c | 186607 | 1156 194072 507926 | 2147483647 186607 59 | 0.006 % |
112.62/112.65 c | 186753 | 1156 194072 507926 | 2147483647 186753 59 | 0.006 % |
112.82/112.85 c | 186913 | 1156 194072 507926 | 2147483647 186913 59 | 0.006 % |
113.02/113.05 c | 187089 | 1156 194072 507926 | 2147483647 187089 59 | 0.006 % |
113.22/113.25 c | 187283 | 1156 194072 507926 | 2147483647 187283 59 | 0.000 % |
113.43/113.45 c | 187497 | 1156 194072 507926 | 2147483647 187497 59 | 0.000 % |
113.72/113.76 c | 187731 | 1156 194072 507926 | 2147483647 187731 59 | 0.000 % |
114.02/114.04 c | 187989 | 1156 194072 507926 | 2147483647 187989 59 | 0.006 % |
114.32/114.33 c | 188275 | 1156 194072 507926 | 2147483647 188275 59 | 0.006 % |
114.62/114.68 c | 188585 | 1156 194072 507926 | 2147483647 188585 59 | 0.006 % |
115.02/115.05 c | 188925 | 1156 194072 507926 | 2147483647 188925 59 | 0.000 % |
115.42/115.49 c | 189299 | 1156 194072 507926 | 2147483647 189299 59 | 0.006 % |
115.92/115.93 c | 189708 | 1156 194072 507926 | 2147483647 189708 59 | 0.006 % |
116.32/116.34 c | 190159 | 1156 194072 507926 | 2147483647 190159 59 | 0.006 % |
116.82/116.85 c | 190652 | 1156 194072 507926 | 2147483647 190652 59 | 0.006 % |
117.32/117.39 c | 191194 | 1156 194072 507926 | 2147483647 191194 59 | 0.006 % |
117.92/117.93 c | 191792 | 1156 194072 507926 | 2147483647 191792 59 | 0.006 % |
118.52/118.56 c | 192447 | 1156 194072 507926 | 2147483647 192447 59 | 0.006 % |
119.22/119.28 c | 193167 | 1156 194072 507926 | 2147483647 193167 59 | 0.006 % |
120.03/120.06 c | 193960 | 1156 194072 507926 | 2147483647 193960 59 | 0.006 % |
121.13/121.11 c | 194831 | 1156 194072 507926 | 2147483647 194831 59 | 0.006 % |
122.32/122.38 c | 195791 | 1156 194072 507926 | 2147483647 195791 58 | 0.006 % |
123.42/123.49 c | 196844 | 1156 194072 507926 | 2147483647 196844 58 | 0.006 % |
124.93/124.94 c | 198003 | 1156 194072 507926 | 2147483647 198003 58 | 0.006 % |
126.33/126.32 c | 199276 | 1156 194072 507926 | 2147483647 199276 59 | 0.000 % |
128.03/128.06 c | 200678 | 1156 194072 507926 | 2147483647 200678 59 | 0.006 % |
129.63/129.70 c | 202224 | 1156 194072 507926 | 2147483647 202224 59 | 0.006 % |
131.63/131.69 c | 203918 | 1156 194072 507926 | 2147483647 203918 58 | 0.006 % |
134.03/134.07 c | 205781 | 1156 194072 507926 | 2147483647 205781 58 | 0.006 % |
136.53/136.61 c | 207830 | 1156 194072 507926 | 2147483647 207830 58 | 0.006 % |
136.73/136.75 c | 207931 | 1156 194072 507926 | 2147483647 207931 58 | 0.006 % |
136.83/136.86 c | 208042 | 1156 194072 507926 | 2147483647 208042 58 | 0.006 % |
136.93/136.99 c | 208163 | 1156 194072 507926 | 2147483647 208163 58 | 0.000 % |
137.13/137.14 c | 208297 | 1156 194072 507926 | 2147483647 208297 58 | 0.000 % |
137.33/137.31 c | 208443 | 1156 194072 507926 | 2147483647 208443 58 | 0.000 % |
137.43/137.50 c | 208605 | 1156 194072 507926 | 2147483647 208605 58 | 0.006 % |
137.63/137.71 c | 208782 | 1156 194072 507926 | 2147483647 208782 58 | 0.006 % |
137.93/137.95 c | 208977 | 1156 194072 507926 | 2147483647 208977 58 | 0.006 % |
138.23/138.22 c | 209190 | 1156 194072 507926 | 2147483647 209190 58 | 0.006 % |
138.43/138.50 c | 209425 | 1156 194072 507926 | 2147483647 209425 58 | 0.006 % |
138.73/138.79 c | 209682 | 1156 194072 507926 | 2147483647 209682 58 | 0.006 % |
139.13/139.14 c | 209964 | 1156 194072 507926 | 2147483647 209964 58 | 0.006 % |
139.43/139.43 c | 210273 | 1156 194072 507926 | 2147483647 210273 58 | 0.006 % |
139.73/139.76 c | 210612 | 1156 194072 507926 | 2147483647 210612 58 | 0.006 % |
140.13/140.17 c | 210984 | 1156 194072 507926 | 2147483647 210984 58 | 0.006 % |
140.63/140.70 c | 211394 | 1156 194072 507926 | 2147483647 211394 58 | 0.006 % |
141.23/141.30 c | 211847 | 1156 194072 507926 | 2147483647 211847 58 | 0.006 % |
141.93/141.93 c | 212342 | 1156 194072 507926 | 2147483647 212342 58 | 0.006 % |
142.43/142.51 c | 212884 | 1156 194072 507926 | 2147483647 212884 58 | 0.006 % |
143.23/143.23 c | 213481 | 1156 194072 507926 | 2147483647 213481 58 | 0.006 % |
143.93/143.91 c | 214137 | 1156 194072 507926 | 2147483647 214137 58 | 0.006 % |
144.63/144.71 c | 214858 | 1156 194072 507926 | 2147483647 214858 58 | 0.006 % |
145.53/145.59 c | 215652 | 1156 194072 507926 | 2147483647 215652 58 | 0.000 % |
146.73/146.74 c | 216524 | 1156 194072 507926 | 2147483647 216524 58 | 0.006 % |
147.83/147.90 c | 217487 | 1156 194072 507926 | 2147483647 217487 58 | 0.000 % |
149.03/149.08 c | 218542 | 1156 194072 507926 | 2147483647 218542 58 | 0.000 % |
150.33/150.35 c | 219702 | 1156 194072 507926 | 2147483647 219702 59 | 0.000 % |
151.63/151.69 c | 220975 | 1156 194072 507926 | 2147483647 220975 59 | 0.006 % |
153.33/153.39 c | 222376 | 1156 194072 507926 | 2147483647 222376 59 | 0.006 % |
155.23/155.26 c | 223916 | 1156 194072 507926 | 2147483647 223916 59 | 0.006 % |
157.23/157.22 c | 225610 | 1156 194072 507926 | 2147483647 225610 59 | 0.006 % |
159.43/159.46 c | 227476 | 1156 194072 507926 | 2147483647 227476 58 | 0.006 % |
162.03/162.02 c | 229525 | 1156 194072 507926 | 2147483647 229525 58 | 0.006 % |
164.73/164.77 c | 231778 | 1156 194072 507926 | 2147483647 231778 59 | 0.000 % |
164.83/164.88 c | 231880 | 1156 194072 507926 | 2147483647 231880 59 | 0.006 % |
165.03/165.01 c | 231991 | 1156 194072 507926 | 2147483647 231991 59 | 0.006 % |
165.13/165.18 c | 232113 | 1156 194072 507926 | 2147483647 232113 59 | 0.006 % |
165.33/165.37 c | 232248 | 1156 194072 507926 | 2147483647 232248 59 | 0.000 % |
165.53/165.56 c | 232396 | 1156 194072 507926 | 2147483647 232396 59 | 0.006 % |
165.73/165.79 c | 232557 | 1156 194072 507926 | 2147483647 232557 59 | 0.006 % |
165.93/165.99 c | 232733 | 1156 194072 507926 | 2147483647 232733 59 | 0.000 % |
166.13/166.17 c | 232928 | 1156 194072 507926 | 2147483647 232928 59 | 0.006 % |
166.43/166.44 c | 233140 | 1156 194072 507926 | 2147483647 233140 59 | 0.006 % |
166.73/166.76 c | 233373 | 1156 194072 507926 | 2147483647 233373 59 | 0.006 % |
167.13/167.11 c | 233629 | 1156 194072 507926 | 2147483647 233629 59 | 0.006 % |
167.43/167.47 c | 233912 | 1156 194072 507926 | 2147483647 233912 59 | 0.006 % |
167.83/167.89 c | 234222 | 1156 194072 507926 | 2147483647 234222 59 | 0.006 % |
168.33/168.37 c | 234561 | 1156 194072 507926 | 2147483647 234561 59 | 0.006 % |
168.93/168.93 c | 234936 | 1156 194072 507926 | 2147483647 234936 59 | 0.000 % |
169.33/169.35 c | 235349 | 1156 194072 507926 | 2147483647 235349 59 | 0.006 % |
169.83/169.81 c | 235800 | 1156 194072 507926 | 2147483647 235800 59 | 0.006 % |
170.43/170.42 c | 236295 | 1156 194072 507926 | 2147483647 236295 59 | 0.000 % |
171.03/171.10 c | 236837 | 1156 194072 507926 | 2147483647 236837 59 | 0.006 % |
171.83/171.86 c | 237433 | 1156 194072 507926 | 2147483647 237433 59 | 0.006 % |
172.63/172.69 c | 238088 | 1156 194072 507926 | 2147483647 238088 59 | 0.006 % |
173.33/173.36 c | 238809 | 1156 194072 507926 | 2147483647 238809 59 | 0.000 % |
174.63/174.63 c | 239602 | 1156 194072 507926 | 2147483647 239602 59 | 0.006 % |
175.73/175.74 c | 240478 | 1156 194072 507926 | 2147483647 240478 59 | 0.000 % |
177.13/177.17 c | 241439 | 1156 194072 507926 | 2147483647 241439 59 | 0.006 % |
178.83/178.83 c | 242497 | 1156 194072 507926 | 2147483647 242497 59 | 0.006 % |
180.33/180.39 c | 243656 | 1156 194072 507926 | 2147483647 243656 59 | 0.006 % |
182.03/182.11 c | 244934 | 1156 194072 507926 | 2147483647 244934 59 | 0.006 % |
184.03/184.03 c | 246336 | 1156 194072 507926 | 2147483647 246336 59 | 0.006 % |
185.93/185.98 c | 247878 | 1156 194072 507926 | 2147483647 247878 59 | 0.000 % |
188.33/188.31 c | 249573 | 1156 194072 507926 | 2147483647 249573 59 | 0.006 % |
191.03/191.06 c | 251436 | 1156 194072 507926 | 250000 221334 58 | 0.000 % |
193.63/193.70 c | 253485 | 1156 194072 507926 | 250000 223383 58 | 0.006 % |
196.33/196.33 c | 255739 | 1156 194072 507926 | 250000 225637 58 | 0.006 % |
199.43/199.41 c | 258217 | 1156 194072 507926 | 250000 228115 58 | 0.006 % |
199.53/199.56 c | 258320 | 1156 194072 507926 | 250000 228218 58 | 0.006 % |
199.73/199.72 c | 258431 | 1156 194072 507926 | 250000 228329 58 | 0.006 % |
199.93/199.94 c | 258555 | 1156 194072 507926 | 250000 228453 58 | 0.006 % |
200.13/200.13 c | 258688 | 1156 194072 507926 | 250000 228586 58 | 0.000 % |
200.34/200.33 c | 258834 | 1156 194072 507926 | 250000 228732 58 | 0.006 % |
200.43/200.48 c | 258994 | 1156 194072 507926 | 250000 228892 58 | 0.000 % |
200.73/200.75 c | 259170 | 1156 194072 507926 | 250000 229068 58 | 0.006 % |
201.03/201.04 c | 259368 | 1156 194072 507926 | 250000 229266 58 | 0.006 % |
201.33/201.37 c | 259581 | 1156 194072 507926 | 250000 229479 58 | 0.006 % |
201.63/201.65 c | 259814 | 1156 194072 507926 | 250000 229712 58 | 0.000 % |
202.03/202.02 c | 260072 | 1156 194072 507926 | 229898 229970 58 | 0.006 % |
202.63/202.68 c | 260356 | 1156 194072 507926 | 229898 206706 58 | 0.000 % |
203.03/203.05 c | 260666 | 1156 194072 507926 | 229898 207016 58 | 0.006 % |
203.53/203.52 c | 261005 | 1156 194072 507926 | 229898 207355 58 | 0.000 % |
203.93/203.94 c | 261377 | 1156 194072 507926 | 229898 207727 58 | 0.000 % |
204.43/204.42 c | 261788 | 1156 194072 507926 | 229898 208138 58 | 0.006 % |
204.93/204.96 c | 262238 | 1156 194072 507926 | 229898 208588 58 | 0.006 % |
205.63/205.66 c | 262733 | 1156 194072 507926 | 229898 209083 58 | 0.006 % |
206.33/206.36 c | 263280 | 1156 194072 507926 | 229898 209630 58 | 0.006 % |
207.23/207.26 c | 263878 | 1156 194072 507926 | 229898 210228 58 | 0.006 % |
208.13/208.16 c | 264537 | 1156 194072 507926 | 229898 210887 58 | 0.006 % |
208.93/208.96 c | 265259 | 1156 194072 507926 | 229898 211609 58 | 0.000 % |
209.93/209.95 c | 266055 | 1156 194072 507926 | 229898 212405 58 | 0.006 % |
211.03/211.09 c | 266927 | 1156 194072 507926 | 229898 213277 58 | 0.000 % |
212.23/212.29 c | 267886 | 1156 194072 507926 | 229898 214236 58 | 0.000 % |
213.63/213.68 c | 268940 | 1156 194072 507926 | 229898 215290 58 | 0.006 % |
215.23/215.22 c | 270099 | 1156 194072 507926 | 2147483647 216449 58 | 0.006 % |
216.84/216.90 c | 271372 | 1156 194072 507926 | 2147483647 217722 59 | 0.000 % |
218.83/218.90 c | 272773 | 1156 194072 507926 | 2147483647 219123 58 | 0.000 % |
220.93/220.91 c | 274318 | 1156 194072 507926 | 2147483647 220668 58 | 0.006 % |
223.33/223.41 c | 276016 | 1156 194072 507926 | 2147483647 222366 58 | 0.006 % |
225.43/225.49 c | 277879 | 1156 194072 507926 | 2147483647 224229 59 | 0.000 % |
227.93/227.92 c | 279932 | 1156 194072 507926 | 2147483647 226282 59 | 0.000 % |
230.73/230.75 c | 282185 | 1156 194072 507926 | 2147483647 228535 59 | 0.006 % |
234.13/234.15 c | 284665 | 1156 194072 507926 | 2147483647 231015 59 | 0.006 % |
237.74/237.72 c | 287394 | 1156 194072 507926 | 2147483647 233744 59 | 0.006 % |
237.83/237.89 c | 287495 | 1156 194072 507926 | 2147483647 233845 59 | 0.006 % |
238.03/238.08 c | 287606 | 1156 194072 507926 | 2147483647 233956 59 | 0.006 % |
238.23/238.29 c | 287727 | 1156 194072 507926 | 2147483647 234077 59 | 0.006 % |
238.43/238.47 c | 287861 | 1156 194072 507926 | 2147483647 234211 59 | 0.006 % |
238.73/238.72 c | 288010 | 1156 194072 507926 | 2147483647 234360 59 | 0.006 % |
238.93/238.92 c | 288171 | 1156 194072 507926 | 2147483647 234521 59 | 0.000 % |
239.13/239.18 c | 288348 | 1156 194072 507926 | 2147483647 234698 59 | 0.006 % |
239.43/239.43 c | 288543 | 1156 194072 507926 | 2147483647 234893 59 | 0.006 % |
239.63/239.69 c | 288755 | 1156 194072 507926 | 2147483647 235105 59 | 0.000 % |
239.94/239.98 c | 288988 | 1156 194072 507926 | 2147483647 235338 59 | 0.000 % |
240.33/240.33 c | 289244 | 1156 194072 507926 | 2147483647 235594 59 | 0.006 % |
240.73/240.73 c | 289527 | 1156 194072 507926 | 2147483647 235877 59 | 0.006 % |
241.13/241.15 c | 289837 | 1156 194072 507926 | 2147483647 236187 59 | 0.000 % |
241.53/241.55 c | 290176 | 1156 194072 507926 | 236352 236526 59 | 0.000 % |
242.33/242.36 c | 290555 | 1156 194072 507926 | 236352 208358 60 | 0.006 % |
242.83/242.84 c | 290964 | 1156 194072 507926 | 236352 208767 60 | 0.000 % |
243.33/243.39 c | 291413 | 1156 194072 507926 | 236352 209216 60 | 0.006 % |
243.93/243.95 c | 291907 | 1156 194072 507926 | 236352 209710 60 | 0.006 % |
244.73/244.73 c | 292449 | 1156 194072 507926 | 236352 210252 60 | 0.006 % |
245.53/245.57 c | 293047 | 1156 194072 507926 | 236352 210850 60 | 0.006 % |
246.23/246.26 c | 293703 | 1156 194072 507926 | 236352 211506 60 | 0.000 % |
247.33/247.38 c | 294424 | 1156 194072 507926 | 236352 212227 60 | 0.006 % |
248.43/248.47 c | 295216 | 1156 194072 507926 | 236352 213019 60 | 0.006 % |
249.63/249.67 c | 296088 | 1156 194072 507926 | 236352 213891 60 | 0.006 % |
250.74/250.81 c | 297048 | 1156 194072 507926 | 236352 214851 60 | 0.000 % |
252.04/252.07 c | 298102 | 1156 194072 507926 | 236352 215905 60 | 0.000 % |
253.54/253.53 c | 299262 | 1156 194072 507926 | 236352 217065 60 | 0.006 % |
255.64/255.62 c | 300535 | 1156 194072 507926 | 217803 194543 61 | 0.006 % |
257.44/257.46 c | 301935 | 1156 194072 507926 | 217803 195943 61 | 0.000 % |
259.34/259.40 c | 303476 | 1156 194072 507926 | 217803 197484 62 | 0.000 % |
261.74/261.80 c | 305171 | 1156 194072 507926 | 217803 199179 62 | 0.006 % |
264.34/264.37 c | 307035 | 1156 194072 507926 | 217803 201043 61 | 0.006 % |
267.44/267.43 c | 309084 | 1156 194072 507926 | 217803 203092 62 | 0.000 % |
270.74/270.79 c | 311339 | 1156 194072 507926 | 204009 184018 63 | 0.000 % |
274.14/274.21 c | 313818 | 1156 194072 507926 | 204009 186497 63 | 0.000 % |
278.14/278.19 c | 316543 | 1156 194072 507926 | 204009 189222 63 | 0.006 % |
282.24/282.21 c | 319540 | 1156 194072 507926 | 204009 192219 64 | 0.000 % |
282.34/282.37 c | 319641 | 1156 194072 507926 | 204009 192320 64 | 0.000 % |
282.54/282.54 c | 319751 | 1156 194072 507926 | 204009 192430 64 | 0.006 % |
282.74/282.72 c | 319872 | 1156 194072 507926 | 204009 192551 64 | 0.006 % |
282.84/282.91 c | 320005 | 1156 194072 507926 | 192681 192684 64 | 0.006 % |
283.34/283.36 c | 320151 | 1156 194072 507926 | 192681 170185 64 | 0.000 % |
283.54/283.58 c | 320315 | 1156 194072 507926 | 192681 170349 64 | 0.006 % |
283.84/283.83 c | 320493 | 1156 194072 507926 | 192681 170527 64 | 0.006 % |
284.04/284.08 c | 320686 | 1156 194072 507926 | 192681 170720 64 | 0.006 % |
284.44/284.43 c | 320900 | 1156 194072 507926 | 192681 170934 64 | 0.006 % |
284.84/284.83 c | 321133 | 1156 194072 507926 | 192681 171167 64 | 0.006 % |
285.14/285.16 c | 321391 | 1156 194072 507926 | 192681 171425 64 | 0.006 % |
285.54/285.57 c | 321672 | 1156 194072 507926 | 192681 171706 64 | 0.006 % |
285.94/285.98 c | 321983 | 1156 194072 507926 | 192681 172017 64 | 0.006 % |
286.44/286.48 c | 322323 | 1156 194072 507926 | 192681 172357 64 | 0.006 % |
286.94/287.01 c | 322706 | 1156 194072 507926 | 192681 172740 64 | 0.006 % |
287.54/287.56 c | 323118 | 1156 194072 507926 | 192681 173152 64 | 0.006 % |
288.14/288.13 c | 323568 | 1156 194072 507926 | 192681 173602 64 | 0.006 % |
288.74/288.74 c | 324062 | 1156 194072 507926 | 192681 174096 64 | 0.000 % |
289.34/289.39 c | 324605 | 1156 194072 507926 | 192681 174639 65 | 0.000 % |
290.34/290.34 c | 325204 | 1156 194072 507926 | 192681 175238 65 | 0.000 % |
291.34/291.37 c | 325861 | 1156 194072 507926 | 192681 175895 65 | 0.006 % |
292.34/292.38 c | 326582 | 1156 194072 507926 | 192681 176616 64 | 0.006 % |
293.34/293.34 c | 327374 | 1156 194072 507926 | 192681 177408 65 | 0.000 % |
294.64/294.67 c | 328245 | 1156 194072 507926 | 192681 178279 65 | 0.006 % |
295.94/295.99 c | 329204 | 1156 194072 507926 | 192681 179238 65 | 0.006 % |
297.44/297.44 c | 330257 | 1156 194072 507926 | 180034 180291 65 | 0.006 % |
299.24/299.23 c | 331415 | 1156 194072 507926 | 180034 160593 64 | 0.006 % |
301.14/301.17 c | 332690 | 1156 194072 507926 | 180034 161868 64 | 0.006 % |
303.14/303.20 c | 334090 | 1156 194072 507926 | 180034 163268 64 | 0.006 % |
305.04/305.05 c | 335630 | 1156 194072 507926 | 180034 164808 65 | 0.000 % |
307.14/307.18 c | 337327 | 1156 194072 507926 | 180034 166505 65 | 0.000 % |
309.74/309.73 c | 339190 | 1156 194072 507926 | 180034 168368 65 | 0.006 % |
312.84/312.86 c | 341239 | 1156 194072 507926 | 169178 150940 65 | 0.006 % |
315.94/315.91 c | 343492 | 1156 194072 507926 | 169178 153193 65 | 0.006 % |
319.14/319.15 c | 345971 | 1156 194072 507926 | 169178 155672 64 | 0.006 % |
322.84/322.88 c | 348699 | 1156 194072 507926 | 169178 158400 64 | 0.006 % |
327.34/327.36 c | 351698 | 1156 194072 507926 | 159703 141937 64 | 0.000 % |
332.14/332.13 c | 354994 | 1156 194072 507926 | 159703 145233 63 | 0.006 % |
332.24/332.28 c | 355094 | 1156 194072 507926 | 159703 145333 63 | 0.006 % |
332.44/332.42 c | 355207 | 1156 194072 507926 | 159703 145446 63 | 0.000 % |
332.54/332.59 c | 355328 | 1156 194072 507926 | 159703 145567 63 | 0.006 % |
332.74/332.79 c | 355463 | 1156 194072 507926 | 159703 145702 63 | 0.000 % |
333.04/333.03 c | 355609 | 1156 194072 507926 | 159703 145848 63 | 0.006 % |
333.24/333.25 c | 355771 | 1156 194072 507926 | 159703 146010 63 | 0.006 % |
333.54/333.51 c | 355947 | 1156 194072 507926 | 159703 146186 63 | 0.006 % |
333.74/333.75 c | 356143 | 1156 194072 507926 | 159703 146382 63 | 0.006 % |
333.94/334.01 c | 356357 | 1156 194072 507926 | 159703 146596 63 | 0.006 % |
334.34/334.31 c | 356590 | 1156 194072 507926 | 159703 146829 63 | 0.006 % |
334.64/334.66 c | 356847 | 1156 194072 507926 | 159703 147086 63 | 0.000 % |
335.04/335.10 c | 357134 | 1156 194072 507926 | 159703 147373 63 | 0.006 % |
335.54/335.55 c | 357444 | 1156 194072 507926 | 159703 147683 63 | 0.006 % |
335.94/335.97 c | 357785 | 1156 194072 507926 | 159703 148024 63 | 0.006 % |
336.54/336.56 c | 358161 | 1156 194072 507926 | 159703 148400 63 | 0.006 % |
337.14/337.17 c | 358571 | 1156 194072 507926 | 159703 148810 63 | 0.006 % |
337.64/337.65 c | 359021 | 1156 194072 507926 | 159703 149260 63 | 0.000 % |
338.24/338.27 c | 359514 | 1156 194072 507926 | 159703 149753 63 | 0.000 % |
338.84/338.91 c | 360058 | 1156 194072 507926 | 150242 150297 64 | 0.000 % |
339.84/339.85 c | 360655 | 1156 194072 507926 | 150242 134597 64 | 0.000 % |
340.64/340.62 c | 361310 | 1156 194072 507926 | 150242 135252 64 | 0.006 % |
341.64/341.61 c | 362032 | 1156 194072 507926 | 150242 135974 64 | 0.006 % |
342.44/342.47 c | 362826 | 1156 194072 507926 | 150242 136768 65 | 0.000 % |
343.64/343.69 c | 363698 | 1156 194072 507926 | 150242 137640 65 | 0.000 % |
344.84/344.86 c | 364659 | 1156 194072 507926 | 150242 138601 64 | 0.006 % |
346.34/346.36 c | 365712 | 1156 194072 507926 | 150242 139654 64 | 0.006 % |
347.75/347.72 c | 366871 | 1156 194072 507926 | 150242 140813 64 | 0.006 % |
349.64/349.61 c | 368146 | 1156 194072 507926 | 150242 142088 64 | 0.006 % |
351.74/351.81 c | 369548 | 1156 194072 507926 | 150242 143490 64 | 0.006 % |
353.74/353.76 c | 371090 | 1156 194072 507926 | 2147483647 145032 65 | 0.000 % |
355.94/355.94 c | 372785 | 1156 194072 507926 | 2147483647 146727 65 | 0.000 % |
358.44/358.45 c | 374651 | 1156 194072 507926 | 2147483647 148593 65 | 0.000 % |
361.44/361.49 c | 376703 | 1156 194072 507926 | 2147483647 150645 65 | 0.006 % |
365.04/365.07 c | 378960 | 1156 194072 507926 | 2147483647 152902 65 | 0.006 % |
369.54/369.52 c | 381438 | 1156 194072 507926 | 153944 137400 66 | 0.006 % |
373.54/373.56 c | 384165 | 1156 194072 507926 | 153944 140127 65 | 0.006 % |
377.65/377.66 c | 387164 | 1156 194072 507926 | 153944 143126 65 | 0.006 % |
382.15/382.14 c | 390461 | 1156 194072 507926 | 145963 146423 65 | 0.006 % |
387.75/387.81 c | 394086 | 1156 194072 507926 | 145963 131513 64 | 0.006 % |
387.95/387.96 c | 394186 | 1156 194072 507926 | 145963 131613 64 | 0.000 % |
388.05/388.11 c | 394301 | 1156 194072 507926 | 145963 131728 64 | 0.006 % |
388.25/388.30 c | 394422 | 1156 194072 507926 | 145963 131849 64 | 0.006 % |
388.45/388.51 c | 394555 | 1156 194072 507926 | 145963 131982 64 | 0.006 % |
388.65/388.71 c | 394701 | 1156 194072 507926 | 145963 132128 64 | 0.000 % |
388.95/388.97 c | 394863 | 1156 194072 507926 | 145963 132290 64 | 0.006 % |
389.15/389.18 c | 395042 | 1156 194072 507926 | 145963 132469 64 | 0.006 % |
389.35/389.40 c | 395236 | 1156 194072 507926 | 145963 132663 64 | 0.000 % |
389.65/389.67 c | 395449 | 1156 194072 507926 | 145963 132876 64 | 0.006 % |
389.95/389.93 c | 395682 | 1156 194072 507926 | 145963 133109 64 | 0.006 % |
390.35/390.33 c | 395939 | 1156 194072 507926 | 145963 133366 64 | 0.006 % |
390.65/390.71 c | 396221 | 1156 194072 507926 | 145963 133648 64 | 0.006 % |
391.05/391.09 c | 396530 | 1156 194072 507926 | 145963 133957 64 | 0.006 % |
391.55/391.57 c | 396872 | 1156 194072 507926 | 145963 134299 64 | 0.000 % |
392.15/392.14 c | 397244 | 1156 194072 507926 | 145963 134671 64 | 0.006 % |
392.65/392.69 c | 397656 | 1156 194072 507926 | 145963 135083 64 | 0.006 % |
393.25/393.27 c | 398105 | 1156 194072 507926 | 145963 135532 64 | 0.006 % |
393.75/393.76 c | 398598 | 1156 194072 507926 | 145963 136025 64 | 0.006 % |
394.35/394.33 c | 399145 | 1156 194072 507926 | 145963 136572 64 | 0.000 % |
395.05/395.09 c | 399742 | 1156 194072 507926 | 145963 137169 64 | 0.006 % |
396.05/396.07 c | 400400 | 1156 194072 507926 | 137428 137827 64 | 0.006 % |
397.25/397.30 c | 401120 | 1156 194072 507926 | 137428 122774 64 | 0.006 % |
398.25/398.31 c | 401915 | 1156 194072 507926 | 137428 123569 64 | 0.006 % |
399.35/399.40 c | 402787 | 1156 194072 507926 | 137428 124441 63 | 0.006 % |
400.64/400.68 c | 403746 | 1156 194072 507926 | 137428 125400 63 | 0.006 % |
401.94/401.99 c | 404799 | 1156 194072 507926 | 137428 126453 63 | 0.006 % |
403.54/403.57 c | 405957 | 1156 194072 507926 | 137428 127611 63 | 0.006 % |
405.24/405.30 c | 407231 | 1156 194072 507926 | 137428 128885 63 | 0.006 % |
407.34/407.38 c | 408633 | 1156 194072 507926 | 137428 130287 63 | 0.006 % |
409.44/409.43 c | 410174 | 1156 194072 507926 | 2147483647 131828 62 | 0.006 % |
412.14/412.12 c | 411868 | 1156 194072 507926 | 2147483647 133522 62 | 0.006 % |
414.84/414.86 c | 413732 | 1156 194072 507926 | 2147483647 135386 62 | 0.006 % |
417.74/417.75 c | 415785 | 1156 194072 507926 | 2147483647 137439 61 | 0.006 % |
420.94/420.94 c | 418039 | 1156 194072 507926 | 2147483647 139693 61 | 0.006 % |
423.64/423.61 c | 420518 | 1156 194072 507926 | 141656 142172 63 | 0.000 % |
426.84/426.81 c | 423245 | 1156 194072 507926 | 141656 129845 60 | 0.000 % |
430.74/430.78 c | 426243 | 1156 194072 507926 | 141656 132843 60 | 0.006 % |
435.04/435.02 c | 429540 | 1156 194072 507926 | 141656 136140 59 | 0.006 % |
439.54/439.59 c | 433168 | 1156 194072 507926 | 136603 125190 58 | 0.000 % |
444.74/444.79 c | 437158 | 1156 194072 507926 | 136603 129180 58 | 0.006 % |
444.94/444.92 c | 437258 | 1156 194072 507926 | 136603 129280 58 | 0.006 % |
445.04/445.04 c | 437371 | 1156 194072 507926 | 136603 129393 58 | 0.006 % |
445.14/445.20 c | 437492 | 1156 194072 507926 | 136603 129514 58 | 0.006 % |
445.34/445.37 c | 437625 | 1156 194072 507926 | 136603 129647 58 | 0.006 % |
445.54/445.56 c | 437771 | 1156 194072 507926 | 136603 129793 58 | 0.006 % |
445.74/445.79 c | 437931 | 1156 194072 507926 | 136603 129953 58 | 0.006 % |
445.94/445.97 c | 438108 | 1156 194072 507926 | 136603 130130 58 | 0.006 % |
446.24/446.26 c | 438303 | 1156 194072 507926 | 136603 130325 57 | 0.006 % |
446.54/446.50 c | 438518 | 1156 194072 507926 | 136603 130540 57 | 0.006 % |
446.84/446.82 c | 438751 | 1156 194072 507926 | 136603 130773 58 | 0.000 % |
447.14/447.11 c | 439008 | 1156 194072 507926 | 136603 131030 58 | 0.006 % |
447.44/447.43 c | 439290 | 1156 194072 507926 | 136603 131312 58 | 0.000 % |
447.84/447.81 c | 439604 | 1156 194072 507926 | 136603 131626 58 | 0.000 % |
448.24/448.22 c | 439944 | 1156 194072 507926 | 136603 131966 58 | 0.006 % |
448.64/448.69 c | 440317 | 1156 194072 507926 | 2147483647 132339 58 | 0.006 % |
449.24/449.20 c | 440726 | 1156 194072 507926 | 2147483647 132748 58 | 0.006 % |
449.74/449.76 c | 441176 | 1156 194072 507926 | 2147483647 133198 58 | 0.006 % |
450.34/450.35 c | 441669 | 1156 194072 507926 | 2147483647 133691 58 | 0.006 % |
451.04/451.03 c | 442213 | 1156 194072 507926 | 2147483647 134235 58 | 0.006 % |
451.74/451.74 c | 442812 | 1156 194072 507926 | 2147483647 134834 58 | 0.006 % |
452.54/452.52 c | 443467 | 1156 194072 507926 | 2147483647 135489 58 | 0.000 % |
453.35/453.36 c | 444189 | 1156 194072 507926 | 2147483647 136211 58 | 0.006 % |
454.34/454.32 c | 444981 | 1156 194072 507926 | 2147483647 137003 58 | 0.006 % |
455.44/455.50 c | 445853 | 1156 194072 507926 | 2147483647 137875 57 | 0.006 % |
456.84/456.84 c | 446815 | 1156 194072 507926 | 2147483647 138837 57 | 0.006 % |
458.14/458.12 c | 447868 | 1156 194072 507926 | 2147483647 139890 57 | 0.006 % |
459.54/459.52 c | 449031 | 1156 194072 507926 | 2147483647 141053 57 | 0.006 % |
460.94/460.97 c | 450305 | 1156 194072 507926 | 2147483647 142327 58 | 0.000 % |
462.54/462.58 c | 451705 | 1156 194072 507926 | 2147483647 143727 59 | 0.000 % |
464.64/464.64 c | 453246 | 1156 194072 507926 | 2147483647 145268 58 | 0.006 % |
467.04/467.09 c | 454942 | 1156 194072 507926 | 2147483647 146964 58 | 0.006 % |
469.74/469.73 c | 456807 | 1156 194072 507926 | 2147483647 148829 58 | 0.006 % |
472.85/472.87 c | 458858 | 1156 194072 507926 | 2147483647 150880 58 | 0.006 % |
476.75/476.78 c | 461111 | 1156 194072 507926 | 152022 137302 59 | 0.006 % |
480.15/480.17 c | 463589 | 1156 194072 507926 | 152022 139780 59 | 0.006 % |
483.95/483.95 c | 466317 | 1156 194072 507926 | 152022 142508 61 | 0.000 % |
487.85/487.86 c | 469314 | 1156 194072 507926 | 152022 145505 61 | 0.006 % |
492.15/492.20 c | 472613 | 1156 194072 507926 | 146191 130566 58 | 0.000 % |
496.95/496.97 c | 476239 | 1156 194072 507926 | 146191 134192 58 | 0.006 % |
502.75/502.74 c | 480226 | 1156 194072 507926 | 137954 138179 58 | 0.006 % |
509.26/509.30 c | 484613 | 1156 194072 507926 | 137954 125512 56 | 0.006 % |
509.46/509.45 c | 484713 | 1156 194072 507926 | 137954 125612 56 | 0.006 % |
509.56/509.60 c | 484824 | 1156 194072 507926 | 137954 125723 56 | 0.006 % |
509.76/509.74 c | 484948 | 1156 194072 507926 | 137954 125847 56 | 0.006 % |
509.96/509.92 c | 485082 | 1156 194072 507926 | 137954 125981 56 | 0.006 % |
510.06/510.09 c | 485228 | 1156 194072 507926 | 137954 126127 56 | 0.000 % |
510.26/510.29 c | 485388 | 1156 194072 507926 | 137954 126287 56 | 0.000 % |
510.46/510.49 c | 485567 | 1156 194072 507926 | 137954 126466 56 | 0.000 % |
510.66/510.70 c | 485760 | 1156 194072 507926 | 137954 126659 56 | 0.000 % |
510.96/510.97 c | 485972 | 1156 194072 507926 | 137954 126871 56 | 0.000 % |
511.26/511.26 c | 486206 | 1156 194072 507926 | 137954 127105 56 | 0.006 % |
511.56/511.55 c | 486462 | 1156 194072 507926 | 137954 127361 56 | 0.006 % |
511.86/511.91 c | 486743 | 1156 194072 507926 | 137954 127642 56 | 0.006 % |
512.26/512.26 c | 487054 | 1156 194072 507926 | 137954 127953 56 | 0.006 % |
512.66/512.66 c | 487398 | 1156 194072 507926 | 137954 128297 56 | 0.000 % |
513.06/513.05 c | 487770 | 1156 194072 507926 | 137954 128669 56 | 0.000 % |
513.46/513.52 c | 488180 | 1156 194072 507926 | 137954 129079 56 | 0.000 % |
514.06/514.10 c | 488630 | 1156 194072 507926 | 137954 129529 56 | 0.006 % |
514.66/514.71 c | 489124 | 1156 194072 507926 | 137954 130023 56 | 0.006 % |
515.36/515.39 c | 489667 | 1156 194072 507926 | 137954 130566 56 | 0.006 % |
516.06/516.05 c | 490263 | 1156 194072 507926 | 130902 131162 56 | 0.006 % |
516.86/516.87 c | 490920 | 1156 194072 507926 | 130902 118078 57 | 0.000 % |
517.86/517.85 c | 491643 | 1156 194072 507926 | 130902 118801 57 | 0.000 % |
518.96/518.93 c | 492442 | 1156 194072 507926 | 130902 119600 57 | 0.000 % |
520.16/520.20 c | 493314 | 1156 194072 507926 | 130902 120472 57 | 0.006 % |
521.36/521.41 c | 494274 | 1156 194072 507926 | 130902 121432 57 | 0.006 % |
522.66/522.69 c | 495329 | 1156 194072 507926 | 130902 122487 57 | 0.006 % |
524.26/524.26 c | 496488 | 1156 194072 507926 | 130902 123646 57 | 0.006 % |
525.96/525.96 c | 497762 | 1156 194072 507926 | 130902 124920 57 | 0.006 % |
527.66/527.67 c | 499165 | 1156 194072 507926 | 130902 126323 57 | 0.006 % |
529.76/529.78 c | 500707 | 1156 194072 507926 | 2147483647 127865 57 | 0.006 % |
532.36/532.36 c | 502403 | 1156 194072 507926 | 2147483647 129561 56 | 0.006 % |
534.86/534.88 c | 504267 | 1156 194072 507926 | 2147483647 131425 56 | 0.006 % |
537.36/537.39 c | 506318 | 1156 194072 507926 | 2147483647 133476 57 | 0.006 % |
539.86/539.88 c | 508571 | 1156 194072 507926 | 2147483647 135729 57 | 0.000 % |
543.06/543.02 c | 511049 | 1156 194072 507926 | 137159 124443 59 | 0.000 % |
547.26/547.30 c | 513774 | 1156 194072 507926 | 137159 127168 60 | 0.000 % |
550.86/550.91 c | 516777 | 1156 194072 507926 | 137159 130171 60 | 0.000 % |
555.56/555.55 c | 520073 | 1156 194072 507926 | 133394 133467 60 | 0.006 % |
559.96/559.92 c | 523698 | 1156 194072 507926 | 133394 123593 61 | 0.000 % |
565.46/565.47 c | 527687 | 1156 194072 507926 | 133394 127582 61 | 0.000 % |
572.26/572.28 c | 532073 | 1156 194072 507926 | 129895 116166 59 | 0.006 % |
579.06/579.08 c | 536896 | 1156 194072 507926 | 129895 120989 61 | 0.000 % |
579.26/579.22 c | 536997 | 1156 194072 507926 | 129895 121090 61 | 0.000 % |
579.36/579.37 c | 537109 | 1156 194072 507926 | 129895 121202 61 | 0.006 % |
579.56/579.52 c | 537232 | 1156 194072 507926 | 129895 121325 61 | 0.006 % |
579.66/579.71 c | 537365 | 1156 194072 507926 | 129895 121458 61 | 0.006 % |
579.87/579.89 c | 537515 | 1156 194072 507926 | 129895 121608 61 | 0.006 % |
580.06/580.10 c | 537676 | 1156 194072 507926 | 129895 121769 61 | 0.000 % |
580.36/580.32 c | 537852 | 1156 194072 507926 | 129895 121945 61 | 0.000 % |
580.66/580.65 c | 538045 | 1156 194072 507926 | 129895 122138 61 | 0.006 % |
580.97/580.94 c | 538257 | 1156 194072 507926 | 129895 122350 61 | 0.000 % |
581.26/581.27 c | 538492 | 1156 194072 507926 | 129895 122585 61 | 0.006 % |
581.66/581.68 c | 538751 | 1156 194072 507926 | 129895 122844 61 | 0.006 % |
582.07/582.10 c | 539035 | 1156 194072 507926 | 129895 123128 61 | 0.006 % |
582.56/582.60 c | 539346 | 1156 194072 507926 | 129895 123439 61 | 0.000 % |
582.96/582.99 c | 539686 | 1156 194072 507926 | 129895 123779 61 | 0.006 % |
583.46/583.47 c | 540059 | 1156 194072 507926 | 124098 124152 61 | 0.006 % |
584.16/584.13 c | 540470 | 1156 194072 507926 | 124098 108176 60 | 0.000 % |
584.76/584.74 c | 540924 | 1156 194072 507926 | 124098 108630 61 | 0.000 % |
585.37/585.39 c | 541418 | 1156 194072 507926 | 124098 109124 61 | 0.006 % |
586.16/586.14 c | 541960 | 1156 194072 507926 | 124098 109666 60 | 0.006 % |
586.96/587.00 c | 542558 | 1156 194072 507926 | 124098 110264 60 | 0.006 % |
587.76/587.78 c | 543214 | 1156 194072 507926 | 124098 110920 61 | 0.000 % |
588.76/588.77 c | 543934 | 1156 194072 507926 | 124098 111640 61 | 0.006 % |
589.66/589.70 c | 544727 | 1156 194072 507926 | 124098 112433 61 | 0.006 % |
590.76/590.78 c | 545599 | 1156 194072 507926 | 124098 113305 61 | 0.006 % |
591.86/591.86 c | 546559 | 1156 194072 507926 | 124098 114265 61 | 0.000 % |
592.86/592.89 c | 547612 | 1156 194072 507926 | 124098 115318 62 | 0.000 % |
594.46/594.45 c | 548772 | 1156 194072 507926 | 124098 116478 62 | 0.006 % |
596.16/596.14 c | 550046 | 1156 194072 507926 | 117706 117752 62 | 0.000 % |
597.96/597.94 c | 551447 | 1156 194072 507926 | 117706 106323 62 | 0.000 % |
599.86/599.81 c | 552988 | 1156 194072 507926 | 117706 107864 62 | 0.006 % |
601.87/601.85 c | 554682 | 1156 194072 507926 | 117706 109558 62 | 0.000 % |
604.26/604.27 c | 556546 | 1156 194072 507926 | 117706 111422 62 | 0.006 % |
606.76/606.75 c | 558597 | 1156 194072 507926 | 117706 113473 63 | 0.000 % |
609.66/609.70 c | 560855 | 1156 194072 507926 | 114880 104056 66 | 0.000 % |
613.06/613.02 c | 563333 | 1156 194072 507926 | 114880 106534 67 | 0.006 % |
617.06/617.01 c | 566061 | 1156 194072 507926 | 114880 109262 66 | 0.006 % |
620.86/620.90 c | 569060 | 1156 194072 507926 | 114880 112261 69 | 0.000 % |
626.07/626.04 c | 572356 | 1156 194072 507926 | 113202 102476 74 | 0.000 % |
631.07/631.07 c | 575981 | 1156 194072 507926 | 113202 106101 73 | 0.000 % |
636.87/636.82 c | 579969 | 1156 194072 507926 | 113202 110089 72 | 0.000 % |
643.67/643.65 c | 584355 | 1156 194072 507926 | 110124 99921 75 | 0.006 % |
650.87/650.84 c | 589181 | 1156 194072 507926 | 110124 104747 73 | 0.000 % |
658.47/658.42 c | 594486 | 1156 194072 507926 | 105566 95353 70 | 0.006 % |
658.57/658.58 c | 594588 | 1156 194072 507926 | 105566 95455 70 | 0.006 % |
658.67/658.70 c | 594699 | 1156 194072 507926 | 105566 95566 70 | 0.000 % |
658.87/658.85 c | 594822 | 1156 194072 507926 | 105566 95689 70 | 0.000 % |
659.07/659.06 c | 594962 | 1156 194072 507926 | 105566 95829 70 | 0.006 % |
659.27/659.27 c | 595108 | 1156 194072 507926 | 105566 95975 70 | 0.006 % |
659.47/659.49 c | 595269 | 1156 194072 507926 | 105566 96136 70 | 0.006 % |
659.67/659.71 c | 595445 | 1156 194072 507926 | 105566 96312 70 | 0.006 % |
659.97/659.92 c | 595638 | 1156 194072 507926 | 105566 96505 70 | 0.006 % |
660.17/660.19 c | 595853 | 1156 194072 507926 | 105566 96720 70 | 0.006 % |
660.57/660.52 c | 596088 | 1156 194072 507926 | 105566 96955 70 | 0.006 % |
660.87/660.88 c | 596344 | 1156 194072 507926 | 105566 97211 70 | 0.000 % |
661.27/661.28 c | 596625 | 1156 194072 507926 | 105566 97492 70 | 0.000 % |
661.67/661.63 c | 596936 | 1156 194072 507926 | 105566 97803 70 | 0.000 % |
662.17/662.12 c | 597278 | 1156 194072 507926 | 105566 98145 70 | 0.006 % |
662.57/662.54 c | 597650 | 1156 194072 507926 | 105566 98517 70 | 0.006 % |
663.07/663.08 c | 598059 | 1156 194072 507926 | 105566 98926 70 | 0.006 % |
663.77/663.74 c | 598508 | 1156 194072 507926 | 105566 99375 70 | 0.000 % |
664.37/664.39 c | 599003 | 1156 194072 507926 | 105566 99870 70 | 0.000 % |
664.97/664.97 c | 599548 | 1156 194072 507926 | 105566 100415 71 | 0.000 % |
665.77/665.78 c | 600145 | 1156 194072 507926 | 100867 101012 71 | 0.000 % |
666.67/666.64 c | 600800 | 1156 194072 507926 | 100867 89750 71 | 0.006 % |
667.57/667.56 c | 601523 | 1156 194072 507926 | 100867 90473 71 | 0.006 % |
668.67/668.65 c | 602315 | 1156 194072 507926 | 100867 91265 72 | 0.000 % |
669.87/669.86 c | 603189 | 1156 194072 507926 | 100867 92139 71 | 0.006 % |
671.27/671.23 c | 604150 | 1156 194072 507926 | 100867 93100 71 | 0.006 % |
672.67/672.72 c | 605206 | 1156 194072 507926 | 100867 94156 71 | 0.000 % |
674.57/674.60 c | 606366 | 1156 194072 507926 | 100867 95316 70 | 0.006 % |
676.57/676.56 c | 607641 | 1156 194072 507926 | 100867 96591 70 | 0.006 % |
678.87/678.87 c | 609041 | 1156 194072 507926 | 100867 97991 70 | 0.006 % |
681.07/681.11 c | 610583 | 1156 194072 507926 | 98951 88441 70 | 0.000 % |
683.37/683.35 c | 612278 | 1156 194072 507926 | 98951 90136 71 | 0.000 % |
685.97/685.92 c | 614141 | 1156 194072 507926 | 98951 91999 71 | 0.000 % |
688.47/688.44 c | 616190 | 1156 194072 507926 | 98951 94048 71 | 0.006 % |
691.67/691.65 c | 618443 | 1156 194072 507926 | 98951 96301 71 | 0.006 % |
695.47/695.45 c | 620921 | 1156 194072 507926 | 97860 87808 69 | 0.006 % |
699.17/699.13 c | 623646 | 1156 194072 507926 | 97860 90533 68 | 0.006 % |
703.17/703.18 c | 626643 | 1156 194072 507926 | 97860 93530 68 | 0.006 % |
708.27/708.28 c | 629943 | 1156 194072 507926 | 97860 96830 67 | 0.006 % |
712.77/712.78 c | 633569 | 1156 194072 507926 | 96892 88674 61 | 0.006 % |
717.17/717.12 c | 637559 | 1156 194072 507926 | 96892 92664 63 | 0.000 % |
722.57/722.60 c | 641944 | 1155 193742 507070 | 95105 86173 60 | 0.087 % |
728.17/728.14 c | 646768 | 1155 193742 507070 | 95105 90997 60 | 0.092 % |
734.98/735.00 c | 652074 | 1155 193742 507070 | 2147483647 96303 59 | 0.092 % |
742.47/742.51 c | 657913 | 1155 193742 507070 | 2147483647 102142 62 | 0.087 % |
742.68/742.68 c | 658014 | 1155 193742 507070 | 2147483647 102243 62 | 0.093 % |
742.87/742.83 c | 658125 | 1155 193742 507070 | 2147483647 102354 62 | 0.087 % |
742.97/742.99 c | 658249 | 1155 193742 507070 | 2147483647 102478 62 | 0.087 % |
743.17/743.18 c | 658383 | 1155 193742 507070 | 2147483647 102612 62 | 0.093 % |
743.37/743.39 c | 658531 | 1155 193742 507070 | 2147483647 102760 62 | 0.092 % |
743.57/743.58 c | 658691 | 1155 193742 507070 | 2147483647 102920 62 | 0.087 % |
743.78/743.78 c | 658867 | 1155 193742 507070 | 2147483647 103096 62 | 0.093 % |
743.97/744.00 c | 659060 | 1155 193742 507070 | 2147483647 103289 62 | 0.087 % |
744.27/744.25 c | 659275 | 1155 193742 507070 | 2147483647 103504 62 | 0.087 % |
744.57/744.59 c | 659510 | 1155 193742 507070 | 2147483647 103739 62 | 0.087 % |
744.97/744.95 c | 659766 | 1155 193742 507070 | 2147483647 103995 63 | 0.087 % |
745.37/745.35 c | 660050 | 1155 193742 507070 | 104229 104279 63 | 0.092 % |
745.87/745.85 c | 660359 | 1155 193742 507070 | 104229 93064 64 | 0.087 % |
746.27/746.26 c | 660701 | 1155 193742 507070 | 104229 93406 64 | 0.092 % |
746.67/746.65 c | 661073 | 1155 193742 507070 | 104229 93778 64 | 0.092 % |
747.08/747.11 c | 661482 | 1155 193742 507070 | 104229 94187 65 | 0.087 % |
747.67/747.69 c | 661932 | 1155 193742 507070 | 104229 94637 65 | 0.092 % |
748.37/748.32 c | 662425 | 1155 193742 507070 | 104229 95130 65 | 0.092 % |
748.97/748.95 c | 662967 | 1155 193742 507070 | 104229 95672 65 | 0.092 % |
749.57/749.58 c | 663563 | 1155 193742 507070 | 104229 96268 64 | 0.092 % |
750.38/750.40 c | 664219 | 1155 193742 507070 | 104229 96924 65 | 0.087 % |
751.27/751.23 c | 664939 | 1155 193742 507070 | 104229 97644 65 | 0.092 % |
752.17/752.21 c | 665735 | 1155 193742 507070 | 104229 98440 65 | 0.092 % |
753.17/753.18 c | 666609 | 1155 193742 507070 | 104229 99314 65 | 0.092 % |
754.47/754.51 c | 667569 | 1155 193742 507070 | 104229 100274 65 | 0.092 % |
756.07/756.08 c | 668622 | 1155 193742 507070 | 104229 101327 66 | 0.087 % |
757.68/757.69 c | 669781 | 1155 193742 507070 | 104229 102486 65 | 0.092 % |
759.47/759.51 c | 671054 | 1155 193742 507070 | 2147483647 103759 65 | 0.092 % |
761.37/761.38 c | 672454 | 1155 193742 507070 | 2147483647 105159 66 | 0.087 % |
763.37/763.41 c | 673994 | 1155 193742 507070 | 2147483647 106699 66 | 0.092 % |
766.07/766.11 c | 675689 | 1155 193742 507070 | 2147483647 108394 66 | 0.092 % |
768.97/769.01 c | 677554 | 1155 193742 507070 | 2147483647 110259 65 | 0.093 % |
771.47/771.45 c | 679606 | 1155 193742 507070 | 2147483647 112311 67 | 0.087 % |
774.77/774.81 c | 681861 | 1155 193742 507070 | 112710 99683 65 | 0.087 % |
778.27/778.25 c | 684339 | 1155 193742 507070 | 112710 102161 64 | 0.093 % |
782.07/782.02 c | 687064 | 1155 193742 507070 | 112710 104886 64 | 0.093 % |
785.77/785.72 c | 690062 | 1155 193742 507070 | 107822 107884 65 | 0.087 % |
789.47/789.47 c | 693358 | 1155 193742 507070 | 107822 97423 67 | 0.087 % |
794.47/794.42 c | 696984 | 1155 193742 507070 | 107822 101049 67 | 0.092 % |
800.37/800.37 c | 700971 | 1155 193742 507070 | 104065 92927 68 | 0.092 % |
806.27/806.28 c | 705357 | 1155 193742 507070 | 104065 97313 68 | 0.093 % |
812.77/812.73 c | 710180 | 1155 193742 507070 | 101956 102136 67 | 0.092 % |
820.47/820.42 c | 715486 | 1155 193742 507070 | 101956 95659 63 | 0.092 % |
828.77/828.73 c | 721321 | 1155 193742 507070 | 100175 88913 60 | 0.092 % |
837.97/838.00 c | 727739 | 1155 193742 507070 | 100175 95331 59 | 0.092 % |
838.17/838.17 c | 727842 | 1155 193742 507070 | 100175 95434 59 | 0.092 % |
838.38/838.34 c | 727954 | 1155 193742 507070 | 100175 95546 59 | 0.092 % |
838.47/838.45 c | 728076 | 1155 193742 507070 | 100175 95668 59 | 0.092 % |
838.67/838.63 c | 728211 | 1155 193742 507070 | 100175 95803 59 | 0.087 % |
838.77/838.80 c | 728357 | 1155 193742 507070 | 100175 95949 59 | 0.093 % |
839.07/839.01 c | 728521 | 1155 193742 507070 | 100175 96113 59 | 0.092 % |
839.27/839.24 c | 728701 | 1155 193742 507070 | 100175 96293 60 | 0.087 % |
839.48/839.46 c | 728895 | 1155 193742 507070 | 100175 96487 60 | 0.092 % |
839.67/839.70 c | 729107 | 1155 193742 507070 | 100175 96699 60 | 0.092 % |
840.07/840.05 c | 729341 | 1155 193742 507070 | 100175 96933 60 | 0.092 % |
840.47/840.41 c | 729598 | 1155 193742 507070 | 100175 97190 59 | 0.092 % |
840.77/840.74 c | 729881 | 1155 193742 507070 | 100175 97473 60 | 0.087 % |
841.07/841.07 c | 730195 | 1155 193742 507070 | 97593 97787 60 | 0.087 % |
841.57/841.55 c | 730538 | 1155 193742 507070 | 97593 86590 57 | 0.092 % |
842.07/842.03 c | 730911 | 1155 193742 507070 | 97593 86963 57 | 0.087 % |
842.47/842.45 c | 731320 | 1155 193742 507070 | 97593 87372 57 | 0.092 % |
842.97/842.97 c | 731770 | 1155 193742 507070 | 97593 87822 57 | 0.093 % |
843.47/843.49 c | 732266 | 1155 193742 507070 | 97593 88318 57 | 0.093 % |
844.07/844.06 c | 732809 | 1155 193742 507070 | 97593 88861 57 | 0.093 % |
844.77/844.77 c | 733406 | 1155 193742 507070 | 97593 89458 57 | 0.092 % |
845.77/845.72 c | 734062 | 1155 193742 507070 | 97593 90114 57 | 0.093 % |
846.57/846.54 c | 734782 | 1155 193742 507070 | 97593 90834 57 | 0.087 % |
847.47/847.50 c | 735575 | 1155 193742 507070 | 97593 91627 57 | 0.092 % |
848.57/848.56 c | 736446 | 1155 193742 507070 | 97593 92498 58 | 0.087 % |
849.77/849.77 c | 737405 | 1155 193742 507070 | 97593 93457 58 | 0.092 % |
851.07/851.09 c | 738458 | 1155 193742 507070 | 97593 94510 58 | 0.092 % |
852.68/852.70 c | 739616 | 1155 193742 507070 | 97593 95668 58 | 0.092 % |
854.57/854.52 c | 740889 | 1155 193742 507070 | 2147483647 96941 58 | 0.092 % |
856.57/856.59 c | 742292 | 1155 193742 507070 | 2147483647 98344 58 | 0.092 % |
858.47/858.50 c | 743833 | 1155 193742 507070 | 2147483647 99885 58 | 0.092 % |
860.77/860.74 c | 745528 | 1155 193742 507070 | 2147483647 101580 58 | 0.092 % |
863.07/863.05 c | 747391 | 1155 193742 507070 | 2147483647 103443 59 | 0.087 % |
865.67/865.66 c | 749443 | 1155 193742 507070 | 2147483647 105495 59 | 0.092 % |
868.37/868.37 c | 751698 | 1155 193742 507070 | 2147483647 107750 59 | 0.092 % |
871.38/871.35 c | 754176 | 1155 193742 507070 | 2147483647 110228 59 | 0.092 % |
875.07/875.06 c | 756904 | 1155 193742 507070 | 2147483647 112956 58 | 0.092 % |
878.97/878.95 c | 759901 | 1155 193742 507070 | 2147483647 115953 58 | 0.092 % |
883.68/883.71 c | 763197 | 1155 193742 507070 | 116053 106586 55 | 0.092 % |
888.98/888.99 c | 766822 | 1155 193742 507070 | 116053 110211 56 | 0.092 % |
895.18/895.16 c | 770809 | 1155 193742 507070 | 113390 100382 50 | 0.092 % |
901.88/901.82 c | 775195 | 1155 193742 507070 | 113390 104768 50 | 0.092 % |
909.18/909.14 c | 780019 | 1155 193742 507070 | 109573 109592 50 | 0.092 % |
915.58/915.55 c | 785324 | 1155 193742 507070 | 109573 100528 53 | 0.087 % |
922.68/922.65 c | 791159 | 1155 193742 507070 | 105206 94626 56 | 0.092 % |
931.08/931.02 c | 797579 | 1155 193742 507070 | 105206 101046 57 | 0.092 % |
940.28/940.22 c | 804640 | 1155 193742 507070 | 103467 96705 61 | 0.087 % |
940.38/940.34 c | 804740 | 1155 193742 507070 | 103467 96805 61 | 0.092 % |
940.48/940.48 c | 804851 | 1155 193742 507070 | 103467 96916 61 | 0.092 % |
940.68/940.65 c | 804973 | 1155 193742 507070 | 103467 97038 61 | 0.092 % |
940.88/940.87 c | 805106 | 1155 193742 507070 | 103467 97171 61 | 0.092 % |
941.08/941.10 c | 805253 | 1155 193742 507070 | 103467 97318 61 | 0.092 % |
941.38/941.36 c | 805415 | 1155 193742 507070 | 103467 97480 61 | 0.092 % |
941.58/941.59 c | 805593 | 1155 193742 507070 | 103467 97658 61 | 0.092 % |
941.88/941.82 c | 805788 | 1155 193742 507070 | 103467 97853 61 | 0.087 % |
942.08/942.09 c | 806001 | 1155 193742 507070 | 103467 98066 62 | 0.087 % |
942.38/942.37 c | 806234 | 1155 193742 507070 | 103467 98299 62 | 0.087 % |
942.68/942.70 c | 806492 | 1155 193742 507070 | 103467 98557 62 | 0.092 % |
943.08/943.05 c | 806775 | 1155 193742 507070 | 103467 98840 62 | 0.092 % |
943.48/943.47 c | 807084 | 1155 193742 507070 | 103467 99149 62 | 0.093 % |
943.88/943.84 c | 807423 | 1155 193742 507070 | 103467 99488 62 | 0.087 % |
944.38/944.35 c | 807798 | 1155 193742 507070 | 103467 99863 62 | 0.087 % |
944.88/944.85 c | 808209 | 1155 193742 507070 | 103467 100274 62 | 0.092 % |
945.38/945.40 c | 808659 | 1155 193742 507070 | 103467 100724 62 | 0.087 % |
946.18/946.13 c | 809153 | 1155 193742 507070 | 103467 101218 62 | 0.092 % |
946.78/946.74 c | 809695 | 1155 193742 507070 | 103467 101760 61 | 0.092 % |
947.48/947.42 c | 810291 | 1155 193742 507070 | 102067 102356 61 | 0.092 % |
948.28/948.27 c | 810946 | 1155 193742 507070 | 102067 91608 61 | 0.093 % |
949.18/949.11 c | 811666 | 1155 193742 507070 | 102067 92328 61 | 0.092 % |
950.18/950.15 c | 812459 | 1155 193742 507070 | 102067 93121 61 | 0.092 % |
951.28/951.27 c | 813330 | 1155 193742 507070 | 102067 93992 61 | 0.092 % |
952.58/952.56 c | 814288 | 1155 193742 507070 | 102067 94950 61 | 0.092 % |
953.88/953.87 c | 815341 | 1155 193742 507070 | 102067 96003 61 | 0.092 % |
955.38/955.34 c | 816501 | 1155 193742 507070 | 102067 97163 61 | 0.092 % |
956.68/956.62 c | 817774 | 1155 193742 507070 | 102067 98436 63 | 0.087 % |
958.29/958.30 c | 819174 | 1155 193742 507070 | 102067 99836 63 | 0.087 % |
960.28/960.27 c | 820715 | 1155 193742 507070 | 2147483647 101377 63 | 0.087 % |
962.48/962.48 c | 822409 | 1155 193742 507070 | 2147483647 103071 62 | 0.092 % |
965.28/965.30 c | 824274 | 1155 193742 507070 | 2147483647 104936 62 | 0.092 % |
967.98/967.92 c | 826324 | 1155 193742 507070 | 2147483647 106986 62 | 0.093 % |
971.08/971.08 c | 828577 | 1155 193742 507070 | 2147483647 109239 62 | 0.092 % |
974.18/974.19 c | 831055 | 1155 193742 507070 | 110663 98462 64 | 0.087 % |
977.68/977.70 c | 833782 | 1155 193742 507070 | 110663 101189 66 | 0.087 % |
981.98/981.93 c | 836782 | 1155 193742 507070 | 110663 104189 66 | 0.092 % |
986.38/986.41 c | 840078 | 1155 193742 507070 | 107407 107485 66 | 0.093 % |
991.48/991.43 c | 843703 | 1155 193742 507070 | 107407 96682 69 | 0.087 % |
996.98/996.95 c | 847690 | 1155 193742 507070 | 107407 100669 69 | 0.093 % |
1002.98/1002.98 c | 852076 | 1155 193742 507070 | 102981 91315 68 | 0.093 % |
1009.59/1009.59 c | 856899 | 1155 193742 507070 | 102981 96138 71 | 0.087 % |
1018.79/1018.72 c | 862204 | 1155 193742 507070 | 99249 87670 68 | 0.092 % |
1028.99/1028.95 c | 868041 | 1155 193742 507070 | 99249 93507 66 | 0.092 % |
1037.19/1037.14 c | 874459 | 1155 193742 507070 | 95468 86315 69 | 0.087 % |
1047.59/1047.57 c | 881518 | 1155 193742 507070 | 91856 80478 69 | 0.087 % |
1058.19/1058.16 c | 889283 | 1155 193742 507070 | 91856 88243 72 | 0.087 % |
1058.29/1058.30 c | 889383 | 1155 193742 507070 | 91856 88343 72 | 0.092 % |
1058.49/1058.46 c | 889496 | 1155 193742 507070 | 91856 88456 72 | 0.092 % |
1058.59/1058.61 c | 889618 | 1155 193742 507070 | 91856 88578 72 | 0.092 % |
1058.79/1058.79 c | 889751 | 1155 193742 507070 | 91856 88711 72 | 0.092 % |
1058.99/1059.00 c | 889897 | 1155 193742 507070 | 91856 88857 72 | 0.093 % |
1059.29/1059.23 c | 890057 | 1155 193742 507070 | 88963 89017 72 | 0.092 % |
1059.49/1059.49 c | 890233 | 1155 193742 507070 | 88963 76832 68 | 0.087 % |
1059.69/1059.70 c | 890426 | 1155 193742 507070 | 88963 77025 68 | 0.087 % |
1059.99/1060.00 c | 890643 | 1155 193742 507070 | 88963 77242 68 | 0.087 % |
1060.39/1060.34 c | 890877 | 1155 193742 507070 | 88963 77476 68 | 0.092 % |
1060.69/1060.70 c | 891138 | 1155 193742 507070 | 88963 77737 68 | 0.092 % |
1061.19/1061.12 c | 891419 | 1155 193742 507070 | 88963 78018 68 | 0.087 % |
1061.49/1061.51 c | 891728 | 1155 193742 507070 | 88963 78327 68 | 0.092 % |
1061.99/1061.96 c | 892069 | 1155 193742 507070 | 88963 78668 67 | 0.092 % |
1062.39/1062.41 c | 892441 | 1155 193742 507070 | 88963 79040 68 | 0.087 % |
1062.99/1062.95 c | 892850 | 1155 193742 507070 | 88963 79449 68 | 0.093 % |
1063.59/1063.55 c | 893300 | 1155 193742 507070 | 88963 79899 68 | 0.093 % |
1064.19/1064.20 c | 893793 | 1155 193742 507070 | 88963 80392 67 | 0.093 % |
1064.99/1064.95 c | 894339 | 1155 193742 507070 | 88963 80938 67 | 0.093 % |
1065.69/1065.67 c | 894935 | 1155 193742 507070 | 88963 81534 67 | 0.093 % |
1066.59/1066.53 c | 895591 | 1155 193742 507070 | 88963 82190 67 | 0.093 % |
1067.39/1067.34 c | 896313 | 1155 193742 507070 | 88963 82912 67 | 0.087 % |
1068.39/1068.38 c | 897105 | 1155 193742 507070 | 88963 83704 67 | 0.087 % |
1069.59/1069.61 c | 897976 | 1155 193742 507070 | 88963 84575 67 | 0.092 % |
1070.79/1070.77 c | 898934 | 1155 193742 507070 | 88963 85533 67 | 0.092 % |
1071.99/1071.93 c | 899988 | 1155 193742 507070 | 88963 86587 67 | 0.087 % |
1073.49/1073.46 c | 901146 | 1155 193742 507070 | 86600 79033 65 | 0.093 % |
1074.79/1074.81 c | 902420 | 1155 193742 507070 | 86600 80307 65 | 0.093 % |
1076.49/1076.46 c | 903820 | 1155 193742 507070 | 86600 81707 65 | 0.093 % |
1078.39/1078.39 c | 905361 | 1155 193742 507070 | 86600 83248 64 | 0.092 % |
1080.59/1080.53 c | 907056 | 1155 193742 507070 | 86600 84943 64 | 0.087 % |
1082.79/1082.76 c | 908921 | 1155 193742 507070 | 86600 86808 66 | 0.087 % |
1085.19/1085.18 c | 910971 | 1155 193742 507070 | 2147483647 80178 63 | 0.092 % |
1087.69/1087.64 c | 913225 | 1155 193742 507070 | 2147483647 82432 63 | 0.092 % |
1090.69/1090.65 c | 915703 | 1155 193742 507070 | 2147483647 84910 63 | 0.092 % |
1093.89/1093.82 c | 918429 | 1155 193742 507070 | 2147483647 87636 63 | 0.093 % |
1097.39/1097.35 c | 921426 | 1155 193742 507070 | 2147483647 90633 62 | 0.092 % |
1101.89/1101.83 c | 924722 | 1155 193742 507070 | 2147483647 93929 62 | 0.092 % |
1106.49/1106.45 c | 928349 | 1155 193742 507070 | 2147483647 97556 62 | 0.092 % |
1111.89/1111.83 c | 932344 | 1155 193742 507070 | 2147483647 101551 61 | 0.092 % |
1117.58/1117.56 c | 936735 | 1155 193742 507070 | 2147483647 105942 61 | 0.092 % |
1124.39/1124.36 c | 941560 | 1155 193742 507070 | 109209 98073 59 | 0.092 % |
1131.48/1131.43 c | 946865 | 1155 193742 507070 | 109209 103378 64 | 0.087 % |
1140.09/1140.10 c | 952701 | 1155 193742 507070 | 106514 96593 60 | 0.092 % |
1148.99/1148.99 c | 959121 | 1155 193742 507070 | 106514 103013 59 | 0.092 % |
1158.09/1158.08 c | 966180 | 1155 193742 507070 | 103892 97856 56 | 0.092 % |
1168.19/1168.18 c | 973944 | 1155 193742 507070 | 101681 93207 56 | 0.087 % |
1179.89/1179.85 c | 982485 | 1155 193742 507070 | 99264 89675 54 | 0.093 % |
1180.09/1180.01 c | 982585 | 1155 193742 507070 | 99264 89775 54 | 0.087 % |
1180.19/1180.15 c | 982695 | 1155 193742 507070 | 99264 89885 54 | 0.087 % |
1180.29/1180.29 c | 982816 | 1155 193742 507070 | 99264 90006 54 | 0.087 % |
1180.49/1180.50 c | 982949 | 1155 193742 507070 | 99264 90139 54 | 0.092 % |
1180.79/1180.76 c | 983095 | 1155 193742 507070 | 99264 90285 54 | 0.092 % |
1180.89/1180.89 c | 983257 | 1155 193742 507070 | 99264 90447 54 | 0.087 % |
1181.09/1181.05 c | 983435 | 1155 193742 507070 | 99264 90625 54 | 0.087 % |
1181.39/1181.31 c | 983628 | 1155 193742 507070 | 99264 90818 54 | 0.092 % |
1181.69/1181.62 c | 983844 | 1155 193742 507070 | 99264 91034 54 | 0.092 % |
1181.89/1181.89 c | 984078 | 1155 193742 507070 | 99264 91268 54 | 0.092 % |
1182.19/1182.17 c | 984335 | 1155 193742 507070 | 99264 91525 55 | 0.087 % |
1182.49/1182.49 c | 984616 | 1155 193742 507070 | 99264 91806 55 | 0.087 % |
1182.89/1182.84 c | 984928 | 1155 193742 507070 | 99264 92118 55 | 0.087 % |
1183.29/1183.22 c | 985267 | 1155 193742 507070 | 99264 92457 55 | 0.093 % |
1183.69/1183.68 c | 985640 | 1155 193742 507070 | 99264 92830 55 | 0.092 % |
1184.19/1184.15 c | 986049 | 1155 193742 507070 | 99264 93239 54 | 0.092 % |
1184.59/1184.59 c | 986499 | 1155 193742 507070 | 99264 93689 55 | 0.087 % |
1185.29/1185.27 c | 986994 | 1155 193742 507070 | 99264 94184 55 | 0.092 % |
1185.99/1185.99 c | 987536 | 1155 193742 507070 | 99264 94726 55 | 0.092 % |
1186.69/1186.70 c | 988132 | 1155 193742 507070 | 99264 95322 55 | 0.087 % |
1187.39/1187.40 c | 988788 | 1155 193742 507070 | 99264 95978 56 | 0.093 % |
1188.39/1188.32 c | 989509 | 1155 193742 507070 | 99264 96699 55 | 0.092 % |
1189.29/1189.26 c | 990302 | 1155 193742 507070 | 2147483647 97492 56 | 0.087 % |
1190.19/1190.18 c | 991173 | 1155 193742 507070 | 2147483647 98363 57 | 0.087 % |
1191.49/1191.41 c | 992132 | 1155 193742 507070 | 2147483647 99322 56 | 0.093 % |
1192.59/1192.60 c | 993187 | 1155 193742 507070 | 2147483647 100377 56 | 0.092 % |
1194.09/1194.09 c | 994346 | 1155 193742 507070 | 2147483647 101536 56 | 0.092 % |
1195.49/1195.44 c | 995619 | 1155 193742 507070 | 2147483647 102809 56 | 0.093 % |
1197.39/1197.33 c | 997021 | 1155 193742 507070 | 2147483647 104211 56 | 0.093 % |
1199.29/1199.30 c | 998563 | 1155 193742 507070 | 2147483647 105753 58 | 0.087 % |
1200.09/1200.02 HOME/SatELiteGTI: line 36: 2493 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820614-1242458676/watcher-1820614-1242458676 -o /tmp/evaluation-result-1820614-1242458676/solver-1820614-1242458676 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820614-1242458676.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 2487
/proc/meminfo: memFree=1296144/2074464 swapFree=1950760/1959888
[pid=2487] ppid=2485 vsize=2416 CPUtime=0.01
/proc/2487/stat : 2487 (SatELiteGTI) S 2485 2487 11066 0 -1 4194304 365 647 0 0 0 1 0 0 18 0 1 0 1010365963 2473984 276 4294967295 134512640 135169312 3217858592 3217857128 3085057774 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/2487/statm: 604 276 235 161 0 43 0
[pid=2491] ppid=2487 vsize=952 CPUtime=0
/proc/2491/stat : 2491 (SatELite_releas) R 2487 2487 11066 0 -1 4202496 126 0 0 0 0 0 0 0 20 0 1 0 1010365963 974848 62 4294967295 134512640 135223648 3216553680 3216552276 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/2491/statm: 238 63 46 174 0 63 0
[startup+0.110748 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 2487
/proc/meminfo: memFree=1296144/2074464 swapFree=1950760/1959888
[pid=2487] ppid=2485 vsize=2416 CPUtime=0.01
/proc/2487/stat : 2487 (SatELiteGTI) S 2485 2487 11066 0 -1 4194304 365 647 0 0 0 1 0 0 18 0 1 0 1010365963 2473984 276 4294967295 134512640 135169312 3217858592 3217857128 3085057774 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/2487/statm: 604 276 235 161 0 43 0
[pid=2491] ppid=2487 vsize=10188 CPUtime=0.11
/proc/2491/stat : 2491 (SatELite_releas) R 2487 2487 11066 0 -1 4202496 2354 0 0 0 9 2 0 0 20 0 1 0 1010365963 10432512 2290 4294967295 134512640 135223648 3216553680 3216552520 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/2491/statm: 2547 2295 47 174 0 2372 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 12604
[startup+0.220741 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 2487
/proc/meminfo: memFree=1296144/2074464 swapFree=1950760/1959888
[pid=2487] ppid=2485 vsize=2416 CPUtime=0.01
/proc/2487/stat : 2487 (SatELiteGTI) S 2485 2487 11066 0 -1 4194304 365 647 0 0 0 1 0 0 18 0 1 0 1010365963 2473984 276 4294967295 134512640 135169312 3217858592 3217857128 3085057774 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/2487/statm: 604 276 235 161 0 43 0
[pid=2491] ppid=2487 vsize=11512 CPUtime=0.22
/proc/2491/stat : 2491 (SatELite_releas) R 2487 2487 11066 0 -1 4202496 2734 0 0 0 20 2 0 0 21 0 1 0 1010365963 11788288 2670 4294967295 134512640 135223648 3216553680 3216550300 134737406 0 0 0 3 0 0 0 17 2 0 0 0
/proc/2491/statm: 2878 2670 72 174 0 2703 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 13928
[startup+0.320736 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 2487
/proc/meminfo: memFree=1296144/2074464 swapFree=1950760/1959888
[pid=2487] ppid=2485 vsize=2420 CPUtime=0.3
/proc/2487/stat : 2487 (SatELiteGTI) S 2485 2487 11066 0 -1 4194304 385 3383 0 0 0 1 27 2 17 0 1 0 1010365963 2478080 278 4294967295 134512640 135169312 3217858592 3217854808 3085057774 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2487/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 2420
[startup+0.720714 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 2487
/proc/meminfo: memFree=1296144/2074464 swapFree=1950760/1959888
[pid=2487] ppid=2485 vsize=2420 CPUtime=0.3
/proc/2487/stat : 2487 (SatELiteGTI) S 2485 2487 11066 0 -1 4194304 385 3383 0 0 0 1 27 2 17 0 1 0 1010365963 2478080 278 4294967295 134512640 135169312 3217858592 3217854808 3085057774 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2487/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 2420
[startup+1.52067 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 2493
/proc/meminfo: memFree=1283340/2074464 swapFree=1950760/1959888
[pid=2487] ppid=2485 vsize=2420 CPUtime=0.3
/proc/2487/stat : 2487 (SatELiteGTI) S 2485 2487 11066 0 -1 4194304 385 3383 0 0 0 1 27 2 17 0 1 0 1010365963 2478080 278 4294967295 134512640 135169312 3217858592 3217854808 3085057774 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2487/statm: 605 278 235 161 0 44 0
[pid=2493] ppid=2487 vsize=11328 CPUtime=1.23
/proc/2493/stat : 2493 (minisat_static) R 2487 2487 11066 0 -1 4202496 2753 0 0 0 123 0 0 0 23 0 1 0 1010365992 11599872 2687 4294967295 134512640 135215339 3215392272 3215390308 134721382 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2493/statm: 2832 2687 73 172 0 2659 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 13748
[startup+3.12058 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 2493
/proc/meminfo: memFree=1281852/2074464 swapFree=1950760/1959888
[pid=2487] ppid=2485 vsize=2420 CPUtime=0.3
/proc/2487/stat : 2487 (SatELiteGTI) S 2485 2487 11066 0 -1 4194304 385 3383 0 0 0 1 27 2 17 0 1 0 1010365963 2478080 278 4294967295 134512640 135169312 3217858592 3217854808 3085057774 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2487/statm: 605 278 235 161 0 44 0
[pid=2493] ppid=2487 vsize=13000 CPUtime=2.83
/proc/2493/stat : 2493 (minisat_static) R 2487 2487 11066 0 -1 4202496 3177 0 0 0 283 0 0 0 25 0 1 0 1010365992 13312000 3111 4294967295 134512640 135215339 3215392272 3215390272 134532687 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2493/statm: 3250 3111 73 172 0 3077 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 15420
[startup+6.3204 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 2493
/proc/meminfo: memFree=1278784/2074464 swapFree=1950760/1959888
[pid=2487] ppid=2485 vsize=2420 CPUtime=0.3
/proc/2487/stat : 2487 (SatELiteGTI) S 2485 2487 11066 0 -1 4194304 385 3383 0 0 0 1 27 2 17 0 1 0 1010365963 2478080 278 4294967295 134512640 135169312 3217858592 3217854808 3085057774 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2487/statm: 605 278 235 161 0 44 0
[pid=2493] ppid=2487 vsize=16000 CPUtime=6.03
/proc/2493/stat : 2493 (minisat_static) R 2487 2487 11066 0 -1 4202496 3935 0 0 0 601 2 0 0 25 0 1 0 1010365992 16384000 3869 4294967295 134512640 135215339 3215392272 3215390560 134528814 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2493/statm: 4000 3869 73 172 0 3827 0
Current children cumulated CPU time (s) 6.33
Current children cumulated vsize (KiB) 18420
[startup+12.72 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 2676
/proc/meminfo: memFree=1273340/2074464 swapFree=1950760/1959888
[pid=2487] ppid=2485 vsize=2420 CPUtime=0.3
/proc/2487/stat : 2487 (SatELiteGTI) S 2485 2487 11066 0 -1 4194304 385 3383 0 0 0 1 27 2 17 0 1 0 1010365963 2478080 278 4294967295 134512640 135169312 3217858592 3217854808 3085057774 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2487/statm: 605 278 235 161 0 44 0
[pid=2493] ppid=2487 vsize=20736 CPUtime=12.43
/proc/2493/stat : 2493 (minisat_static) R 2487 2487 11066 0 -1 4202496 5095 0 0 0 1240 3 0 0 25 0 1 0 1010365992 21233664 5029 4294967295 134512640 135215339 3215392272 3215390560 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2493/statm: 5184 5029 73 172 0 5011 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 23156
[startup+25.5193 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 2676
/proc/meminfo: memFree=1265876/2074464 swapFree=1950760/1959888
[pid=2487] ppid=2485 vsize=2420 CPUtime=0.3
/proc/2487/stat : 2487 (SatELiteGTI) S 2485 2487 11066 0 -1 4194304 385 3383 0 0 0 1 27 2 17 0 1 0 1010365963 2478080 278 4294967295 134512640 135169312 3217858592 3217854808 3085057774 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2487/statm: 605 278 235 161 0 44 0
[pid=2493] ppid=2487 vsize=28248 CPUtime=25.23
/proc/2493/stat : 2493 (minisat_static) R 2487 2487 11066 0 -1 4202496 6976 0 0 0 2519 4 0 0 25 0 1 0 1010365992 28925952 6910 4294967295 134512640 135215339 3215392272 3215390560 134529148 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2493/statm: 7062 6910 73 172 0 6889 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 30668
[startup+51.1079 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 2680
/proc/meminfo: memFree=1253772/2074464 swapFree=1950760/1959888
[pid=2487] ppid=2485 vsize=2420 CPUtime=0.3
/proc/2487/stat : 2487 (SatELiteGTI) S 2485 2487 11066 0 -1 4194304 385 3383 0 0 0 1 27 2 17 0 1 0 1010365963 2478080 278 4294967295 134512640 135169312 3217858592 3217854808 3085057774 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2487/statm: 605 278 235 161 0 44 0
[pid=2493] ppid=2487 vsize=40576 CPUtime=50.82
/proc/2493/stat : 2493 (minisat_static) R 2487 2487 11066 0 -1 4202496 10054 0 0 0 5078 4 0 0 25 0 1 0 1010365992 41549824 9988 4294967295 134512640 135215339 3215392272 3215390560 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2493/statm: 10144 9988 73 172 0 9971 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 42996
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 2876
/proc/meminfo: memFree=1236916/2074464 swapFree=1950760/1959888
[pid=2487] ppid=2485 vsize=2420 CPUtime=0.3
/proc/2487/stat : 2487 (SatELiteGTI) S 2485 2487 11066 0 -1 4194304 385 3383 0 0 0 1 27 2 17 0 1 0 1010365963 2478080 278 4294967295 134512640 135169312 3217858592 3217854808 3085057774 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2487/statm: 605 278 235 161 0 44 0
[pid=2493] ppid=2487 vsize=56696 CPUtime=102.02
/proc/2493/stat : 2493 (minisat_static) R 2487 2487 11066 0 -1 4202496 14091 0 0 0 10193 9 0 0 25 0 1 0 1010365992 58056704 14025 4294967295 134512640 135215339 3215392272 3215390560 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2493/statm: 14174 14025 73 172 0 14001 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 59116
[startup+162.312 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 3072
/proc/meminfo: memFree=1222532/2074464 swapFree=1950760/1959888
[pid=2487] ppid=2485 vsize=2420 CPUtime=0.3
/proc/2487/stat : 2487 (SatELiteGTI) S 2485 2487 11066 0 -1 4194304 385 3383 0 0 0 1 27 2 17 0 1 0 1010365963 2478080 278 4294967295 134512640 135169312 3217858592 3217854808 3085057774 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2487/statm: 605 278 235 161 0 44 0
[pid=2493] ppid=2487 vsize=71520 CPUtime=162.03
/proc/2493/stat : 2493 (minisat_static) R 2487 2487 11066 0 -1 4202496 17735 0 0 0 16189 14 0 0 25 0 1 0 1010365992 73236480 17669 4294967295 134512640 135215339 3215392272 3215390560 134528814 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2493/statm: 17880 17669 73 172 0 17707 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 73940
[startup+222.318 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 3263
/proc/meminfo: memFree=1216084/2074464 swapFree=1950760/1959888
[pid=2487] ppid=2485 vsize=2420 CPUtime=0.3
/proc/2487/stat : 2487 (SatELiteGTI) S 2485 2487 11066 0 -1 4194304 385 3383 0 0 0 1 27 2 17 0 1 0 1010365963 2478080 278 4294967295 134512640 135169312 3217858592 3217854808 3085057774 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2487/statm: 605 278 235 161 0 44 0
[pid=2493] ppid=2487 vsize=77336 CPUtime=222.04
/proc/2493/stat : 2493 (minisat_static) R 2487 2487 11066 0 -1 4202496 19214 0 0 0 22185 19 0 0 25 0 1 0 1010365992 79192064 19148 4294967295 134512640 135215339 3215392272 3215390560 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2493/statm: 19334 19148 73 172 0 19161 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 79756
[startup+282.315 s]
/proc/loadavg: 1.00 1.00 1.00 4/98 3452
/proc/meminfo: memFree=1216192/2074464 swapFree=1950760/1959888
[pid=2487] ppid=2485 vsize=2420 CPUtime=0.3
/proc/2487/stat : 2487 (SatELiteGTI) S 2485 2487 11066 0 -1 4194304 385 3383 0 0 0 1 27 2 17 0 1 0 1010365963 2478080 278 4294967295 134512640 135169312 3217858592 3217854808 3085057774 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2487/statm: 605 278 235 161 0 44 0
[pid=2493] ppid=2487 vsize=77336 CPUtime=282.04
/proc/2493/stat : 2493 (minisat_static) R 2487 2487 11066 0 -1 4202496 19214 0 0 0 28185 19 0 0 25 0 1 0 1010365992 79192064 19148 4294967295 134512640 135215339 3215392272 3215390560 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2493/statm: 19334 19148 73 172 0 19161 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 79756
[startup+342.312 s]
/proc/loadavg: 1.00 1.00 1.00 4/98 3641
/proc/meminfo: memFree=1216192/2074464 swapFree=1950760/1959888
[pid=2487] ppid=2485 vsize=2420 CPUtime=0.3
/proc/2487/stat : 2487 (SatELiteGTI) S 2485 2487 11066 0 -1 4194304 385 3383 0 0 0 1 27 2 17 0 1 0 1010365963 2478080 278 4294967295 134512640 135169312 3217858592 3217854808 3085057774 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2487/statm: 605 278 235 161 0 44 0
[pid=2493] ppid=2487 vsize=77336 CPUtime=342.04
/proc/2493/stat : 2493 (minisat_static) R 2487 2487 11066 0 -1 4202496 19214 0 0 0 34185 19 0 0 25 0 1 0 1010365992 79192064 19148 4294967295 134512640 135215339 3215392272 3215390560 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2493/statm: 19334 19148 73 172 0 19161 0
Current children cumulated CPU time (s) 342.34
Current children cumulated vsize (KiB) 79756
[startup+402.308 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 3855
/proc/meminfo: memFree=1216208/2074464 swapFree=1950760/1959888
[pid=2487] ppid=2485 vsize=2420 CPUtime=0.3
################
# More data... #
################
[pid=2493] ppid=2487 vsize=77336 CPUtime=522.06
/proc/2493/stat : 2493 (minisat_static) R 2487 2487 11066 0 -1 4202496 19214 0 0 0 52184 22 0 0 25 0 1 0 1010365992 79192064 19148 4294967295 134512640 135215339 3215392272 3215390560 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2493/statm: 19334 19148 73 172 0 19161 0
Current children cumulated CPU time (s) 522.36
Current children cumulated vsize (KiB) 79756
[startup+582.318 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 4425
/proc/meminfo: memFree=1216144/2074464 swapFree=1950760/1959888
[pid=2487] ppid=2485 vsize=2420 CPUtime=0.3
/proc/2487/stat : 2487 (SatELiteGTI) S 2485 2487 11066 0 -1 4194304 385 3383 0 0 0 1 27 2 17 0 1 0 1010365963 2478080 278 4294967295 134512640 135169312 3217858592 3217854808 3085057774 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2487/statm: 605 278 235 161 0 44 0
[pid=2493] ppid=2487 vsize=77336 CPUtime=582.06
/proc/2493/stat : 2493 (minisat_static) R 2487 2487 11066 0 -1 4202496 19214 0 0 0 58181 25 0 0 25 0 1 0 1010365992 79192064 19148 4294967295 134512640 135215339 3215392272 3215390560 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2493/statm: 19334 19148 73 172 0 19161 0
Current children cumulated CPU time (s) 582.36
Current children cumulated vsize (KiB) 79756
[startup+642.325 s]
/proc/loadavg: 1.07 1.03 1.01 3/98 4611
/proc/meminfo: memFree=1216168/2074464 swapFree=1950760/1959888
[pid=2487] ppid=2485 vsize=2420 CPUtime=0.3
/proc/2487/stat : 2487 (SatELiteGTI) S 2485 2487 11066 0 -1 4194304 385 3383 0 0 0 1 27 2 17 0 1 0 1010365963 2478080 278 4294967295 134512640 135169312 3217858592 3217854808 3085057774 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2487/statm: 605 278 235 161 0 44 0
[pid=2493] ppid=2487 vsize=77336 CPUtime=642.07
/proc/2493/stat : 2493 (minisat_static) R 2487 2487 11066 0 -1 4202496 19214 0 0 0 64181 26 0 0 25 0 1 0 1010365992 79192064 19148 4294967295 134512640 135215339 3215392272 3215390560 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2493/statm: 19334 19148 73 172 0 19161 0
Current children cumulated CPU time (s) 642.37
Current children cumulated vsize (KiB) 79756
[startup+702.322 s]
/proc/loadavg: 1.02 1.02 1.00 3/98 4798
/proc/meminfo: memFree=1216160/2074464 swapFree=1950760/1959888
[pid=2487] ppid=2485 vsize=2420 CPUtime=0.3
/proc/2487/stat : 2487 (SatELiteGTI) S 2485 2487 11066 0 -1 4194304 385 3383 0 0 0 1 27 2 17 0 1 0 1010365963 2478080 278 4294967295 134512640 135169312 3217858592 3217854808 3085057774 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2487/statm: 605 278 235 161 0 44 0
[pid=2493] ppid=2487 vsize=77336 CPUtime=702.07
/proc/2493/stat : 2493 (minisat_static) R 2487 2487 11066 0 -1 4202496 19214 0 0 0 70181 26 0 0 25 0 1 0 1010365992 79192064 19148 4294967295 134512640 135215339 3215392272 3215390560 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2493/statm: 19334 19148 73 172 0 19161 0
Current children cumulated CPU time (s) 702.37
Current children cumulated vsize (KiB) 79756
[startup+762.318 s]
/proc/loadavg: 1.01 1.02 1.00 3/98 4987
/proc/meminfo: memFree=1216516/2074464 swapFree=1950760/1959888
[pid=2487] ppid=2485 vsize=2420 CPUtime=0.3
/proc/2487/stat : 2487 (SatELiteGTI) S 2485 2487 11066 0 -1 4194304 385 3383 0 0 0 1 27 2 17 0 1 0 1010365963 2478080 278 4294967295 134512640 135169312 3217858592 3217854808 3085057774 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2487/statm: 605 278 235 161 0 44 0
[pid=2493] ppid=2487 vsize=77336 CPUtime=762.07
/proc/2493/stat : 2493 (minisat_static) R 2487 2487 11066 0 -1 4202496 19214 0 0 0 76180 27 0 0 25 0 1 0 1010365992 79192064 19148 4294967295 134512640 135215339 3215392272 3215390560 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2493/statm: 19334 19148 73 172 0 19161 0
Current children cumulated CPU time (s) 762.37
Current children cumulated vsize (KiB) 79756
[startup+822.315 s]
/proc/loadavg: 1.00 1.01 1.00 3/98 5180
/proc/meminfo: memFree=1216648/2074464 swapFree=1950760/1959888
[pid=2487] ppid=2485 vsize=2420 CPUtime=0.3
/proc/2487/stat : 2487 (SatELiteGTI) S 2485 2487 11066 0 -1 4194304 385 3383 0 0 0 1 27 2 17 0 1 0 1010365963 2478080 278 4294967295 134512640 135169312 3217858592 3217854808 3085057774 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2487/statm: 605 278 235 161 0 44 0
[pid=2493] ppid=2487 vsize=77336 CPUtime=822.07
/proc/2493/stat : 2493 (minisat_static) R 2487 2487 11066 0 -1 4202496 19214 0 0 0 82180 27 0 0 25 0 1 0 1010365992 79192064 19148 4294967295 134512640 135215339 3215392272 3215390560 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2493/statm: 19334 19148 73 172 0 19161 0
Current children cumulated CPU time (s) 822.37
Current children cumulated vsize (KiB) 79756
[startup+882.322 s]
/proc/loadavg: 1.07 1.02 1.00 3/98 5368
/proc/meminfo: memFree=1216516/2074464 swapFree=1950760/1959888
[pid=2487] ppid=2485 vsize=2420 CPUtime=0.3
/proc/2487/stat : 2487 (SatELiteGTI) S 2485 2487 11066 0 -1 4194304 385 3383 0 0 0 1 27 2 17 0 1 0 1010365963 2478080 278 4294967295 134512640 135169312 3217858592 3217854808 3085057774 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2487/statm: 605 278 235 161 0 44 0
[pid=2493] ppid=2487 vsize=77336 CPUtime=882.08
/proc/2493/stat : 2493 (minisat_static) R 2487 2487 11066 0 -1 4202496 19214 0 0 0 88181 27 0 0 25 0 1 0 1010365992 79192064 19148 4294967295 134512640 135215339 3215392272 3215390560 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2493/statm: 19334 19148 73 172 0 19161 0
Current children cumulated CPU time (s) 882.38
Current children cumulated vsize (KiB) 79756
[startup+942.318 s]
/proc/loadavg: 1.02 1.01 1.00 3/98 5554
/proc/meminfo: memFree=1216540/2074464 swapFree=1950760/1959888
[pid=2487] ppid=2485 vsize=2420 CPUtime=0.3
/proc/2487/stat : 2487 (SatELiteGTI) S 2485 2487 11066 0 -1 4194304 385 3383 0 0 0 1 27 2 17 0 1 0 1010365963 2478080 278 4294967295 134512640 135169312 3217858592 3217854808 3085057774 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2487/statm: 605 278 235 161 0 44 0
[pid=2493] ppid=2487 vsize=77336 CPUtime=942.08
/proc/2493/stat : 2493 (minisat_static) R 2487 2487 11066 0 -1 4202496 19214 0 0 0 94181 27 0 0 25 0 1 0 1010365992 79192064 19148 4294967295 134512640 135215339 3215392272 3215390560 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2493/statm: 19334 19148 73 172 0 19161 0
Current children cumulated CPU time (s) 942.38
Current children cumulated vsize (KiB) 79756
[startup+1002.32 s]
/proc/loadavg: 1.01 1.01 1.00 2/98 5741
/proc/meminfo: memFree=1216532/2074464 swapFree=1950760/1959888
[pid=2487] ppid=2485 vsize=2420 CPUtime=0.3
/proc/2487/stat : 2487 (SatELiteGTI) S 2485 2487 11066 0 -1 4194304 385 3383 0 0 0 1 27 2 17 0 1 0 1010365963 2478080 278 4294967295 134512640 135169312 3217858592 3217854808 3085057774 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2487/statm: 605 278 235 161 0 44 0
[pid=2493] ppid=2487 vsize=77336 CPUtime=1002.08
/proc/2493/stat : 2493 (minisat_static) R 2487 2487 11066 0 -1 4202496 19214 0 0 0 100181 27 0 0 25 0 1 0 1010365992 79192064 19148 4294967295 134512640 135215339 3215392272 3215390560 134528728 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2493/statm: 19334 19148 73 172 0 19161 0
Current children cumulated CPU time (s) 1002.38
Current children cumulated vsize (KiB) 79756
[startup+1062.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 5930
/proc/meminfo: memFree=1216648/2074464 swapFree=1950760/1959888
[pid=2487] ppid=2485 vsize=2420 CPUtime=0.3
/proc/2487/stat : 2487 (SatELiteGTI) S 2485 2487 11066 0 -1 4194304 385 3383 0 0 0 1 27 2 17 0 1 0 1010365963 2478080 278 4294967295 134512640 135169312 3217858592 3217854808 3085057774 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2487/statm: 605 278 235 161 0 44 0
[pid=2493] ppid=2487 vsize=77336 CPUtime=1062.09
/proc/2493/stat : 2493 (minisat_static) R 2487 2487 11066 0 -1 4202496 19214 0 0 0 106182 27 0 0 25 0 1 0 1010365992 79192064 19148 4294967295 134512640 135215339 3215392272 3215390560 134528691 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2493/statm: 19334 19148 73 172 0 19161 0
Current children cumulated CPU time (s) 1062.39
Current children cumulated vsize (KiB) 79756
[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 4/98 6119
/proc/meminfo: memFree=1216664/2074464 swapFree=1950760/1959888
[pid=2487] ppid=2485 vsize=2420 CPUtime=0.3
/proc/2487/stat : 2487 (SatELiteGTI) S 2485 2487 11066 0 -1 4194304 385 3383 0 0 0 1 27 2 17 0 1 0 1010365963 2478080 278 4294967295 134512640 135169312 3217858592 3217854808 3085057774 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2487/statm: 605 278 235 161 0 44 0
[pid=2493] ppid=2487 vsize=77336 CPUtime=1122.08
/proc/2493/stat : 2493 (minisat_static) R 2487 2487 11066 0 -1 4202496 19214 0 0 0 112181 27 0 0 25 0 1 0 1010365992 79192064 19148 4294967295 134512640 135215339 3215392272 3215390560 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2493/statm: 19334 19148 73 172 0 19161 0
Current children cumulated CPU time (s) 1122.38
Current children cumulated vsize (KiB) 79756
[startup+1182.32 s]
/proc/loadavg: 1.08 1.02 1.01 2/98 6311
/proc/meminfo: memFree=1216524/2074464 swapFree=1950760/1959888
[pid=2487] ppid=2485 vsize=2420 CPUtime=0.3
/proc/2487/stat : 2487 (SatELiteGTI) S 2485 2487 11066 0 -1 4194304 385 3383 0 0 0 1 27 2 17 0 1 0 1010365963 2478080 278 4294967295 134512640 135169312 3217858592 3217854808 3085057774 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2487/statm: 605 278 235 161 0 44 0
[pid=2493] ppid=2487 vsize=77336 CPUtime=1182.09
/proc/2493/stat : 2493 (minisat_static) R 2487 2487 11066 0 -1 4202496 19214 0 0 0 118177 32 0 0 25 0 1 0 1010365992 79192064 19148 4294967295 134512640 135215339 3215392272 3215390560 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2493/statm: 19334 19148 73 172 0 19161 0
Current children cumulated CPU time (s) 1182.39
Current children cumulated vsize (KiB) 79756
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.01 s]
/proc/loadavg: 1.06 1.01 1.00 2/98 6312
/proc/meminfo: memFree=1216532/2074464 swapFree=1950760/1959888
[pid=2487] ppid=2485 vsize=2420 CPUtime=0.3
/proc/2487/stat : 2487 (SatELiteGTI) S 2485 2487 11066 0 -1 4194304 385 3383 0 0 0 1 27 2 17 0 1 0 1010365963 2478080 278 4294967295 134512640 135169312 3217858592 3217854808 3085057774 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2487/statm: 605 278 235 161 0 44 0
[pid=2493] ppid=2487 vsize=77336 CPUtime=1199.79
/proc/2493/stat : 2493 (minisat_static) R 2487 2487 11066 0 -1 4202496 19214 0 0 0 119946 33 0 0 25 0 1 0 1010365992 79192064 19148 4294967295 134512640 135215339 3215392272 3215390560 134528742 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2493/statm: 19334 19148 73 172 0 19161 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 79756
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.01 s]
/proc/loadavg: 1.06 1.01 1.00 2/98 6312
/proc/meminfo: memFree=1216532/2074464 swapFree=1950760/1959888
[pid=2487] ppid=2485 vsize=2420 CPUtime=0.3
/proc/2487/stat : 2487 (SatELiteGTI) S 2485 2487 11066 0 -1 4194304 385 3383 0 0 0 1 27 2 17 0 1 0 1010365963 2478080 278 4294967295 134512640 135169312 3217858592 3217854808 3085057774 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2487/statm: 605 278 235 161 0 44 0
[pid=2493] ppid=2487 vsize=77336 CPUtime=1199.79
/proc/2493/stat : 2493 (minisat_static) R 2487 2487 11066 0 -1 4202496 19214 0 0 0 119946 33 0 0 25 0 1 0 1010365992 79192064 19148 4294967295 134512640 135215339 3215392272 3215390560 134528742 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2493/statm: 19334 19148 73 172 0 19161 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 79756
Child status: 143
Real time (s): 1200.03
CPU time (s): 1200.1
CPU user time (s): 1199.73
CPU system time (s): 0.37
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 79756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.73
system time used= 0.37
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23257
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22
involuntary context switches= 1229
runsolver used 0.01 second user time and 0.07 second system time
The end
Begin job on tipi23 at 2009-05-16 09:24:36
IDJOB=1820614
IDBENCH=20493
IDSOLVER=657
FILE ID=tipi23/1820614-1242458676
PBS_JOBID=
Free space on /tmp= 9773 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/grieu/vmpc_34.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820614-1242458676/watcher-1820614-1242458676 -o /tmp/evaluation-result-1820614-1242458676/solver-1820614-1242458676 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820614-1242458676.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a27d41b3e10d867544cd2bff7d005be2
RANDOM SEED= 61289026
Linux tipi23 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.38
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.79
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1296152 kB
Buffers: 39920 kB
Cached: 638652 kB
SwapCached: 3700 kB
Active: 316424 kB
Inactive: 373952 kB
HighTotal: 1178688 kB
HighFree: 534112 kB
LowTotal: 895776 kB
LowFree: 762040 kB
SwapTotal: 1959888 kB
SwapFree: 1950760 kB
Dirty: 4528 kB
Writeback: 0 kB
AnonPages: 10992 kB
Mapped: 4248 kB
Slab: 79144 kB
PageTables: 528 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 96896 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9773 MiB
End job on tipi23 at 2009-05-16 09:44:37