0.00/0.00 c Parsing...
0.00/0.11 c ==============================================================================
0.00/0.11 c | | ORIGINAL | LEARNT | |
0.00/0.11 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.11 c ==============================================================================
0.00/0.11 c | 0 | 194072 507926 | 58221 0 0 nan | 0.000 % |
0.00/0.11 c ==============================================================================
0.00/0.11 c Result : #vars: 1156 #clauses: 194072 #literals: 507926
0.00/0.11 c CPU time: 0.098984 s
0.00/0.11 c ==============================================================================
0.00/0.26 c This is MiniSat 2.0 beta
0.00/0.26 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.26 c ============================[ Problem Statistics ]=============================
0.00/0.26 c | |
0.00/0.26 c | Number of variables: 1156 |
0.00/0.26 c | Number of clauses: 194072 |
0.25/0.36 c | Parsing time: 0.09 s |
0.25/0.37 c ============================[ Search Statistics ]==============================
0.25/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.25/0.37 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.25/0.37 c ===============================================================================
0.25/0.37 c | 0 | 1156 194072 507926 | 64690 0 nan | 0.000 % |
0.25/0.41 c | 103 | 1156 194072 507926 | 64690 103 73 | 0.000 % |
0.25/0.44 c | 204 | 1156 194072 507926 | 64690 204 74 | 0.000 % |
0.25/0.46 c | 304 | 1156 194072 507926 | 64690 304 65 | 0.000 % |
0.25/0.49 c | 416 | 1156 194072 507926 | 64690 416 56 | 0.006 % |
0.25/0.51 c | 519 | 1156 194072 507926 | 64690 519 51 | 0.006 % |
0.25/0.53 c | 629 | 1156 194072 507926 | 64690 629 61 | 0.000 % |
0.25/0.55 c | 750 | 1156 194072 507926 | 64690 750 59 | 0.006 % |
0.25/0.57 c | 851 | 1156 194072 507926 | 64690 851 56 | 0.006 % |
0.25/0.59 c | 966 | 1156 194072 507926 | 64690 966 54 | 0.006 % |
0.25/0.61 c | 1088 | 1156 194072 507926 | 64690 1088 52 | 0.006 % |
0.25/0.63 c | 1223 | 1156 194072 507926 | 64690 1223 56 | 0.000 % |
0.25/0.65 c | 1326 | 1156 194072 507926 | 64690 1326 54 | 0.006 % |
0.25/0.67 c | 1436 | 1156 194072 507926 | 64690 1436 52 | 0.006 % |
0.25/0.69 c | 1558 | 1156 194072 507926 | 64690 1558 51 | 0.006 % |
0.25/0.72 c | 1691 | 1156 194072 507926 | 64690 1691 54 | 0.000 % |
0.25/0.75 c | 1838 | 1156 194072 507926 | 64690 1838 54 | 0.006 % |
0.25/0.76 c | 1938 | 1156 194072 507926 | 64690 1938 53 | 0.006 % |
0.25/0.78 c | 2049 | 1156 194072 507926 | 64690 2049 52 | 0.006 % |
0.25/0.81 c | 2170 | 1156 194072 507926 | 64690 2170 54 | 0.000 % |
0.25/0.84 c | 2305 | 1156 194072 507926 | 64690 2305 53 | 0.000 % |
0.25/0.87 c | 2454 | 1156 194072 507926 | 64690 2454 51 | 0.006 % |
0.25/0.91 c | 2615 | 1156 194072 507926 | 64690 2615 50 | 0.006 % |
0.25/0.93 c | 2715 | 1156 194072 507926 | 64690 2715 49 | 0.006 % |
0.25/0.94 c | 2827 | 1156 194072 507926 | 64690 2827 49 | 0.006 % |
0.25/0.96 c | 2950 | 1156 194072 507926 | 64690 2950 48 | 0.006 % |
0.25/0.99 c | 3084 | 1156 194072 507926 | 64690 3084 48 | 0.006 % |
0.98/1.01 c | 3233 | 1156 194072 507926 | 64690 3233 50 | 0.000 % |
0.98/1.04 c | 3393 | 1156 194072 507926 | 64690 3393 51 | 0.000 % |
0.98/1.07 c | 3569 | 1156 194072 507926 | 64690 3569 50 | 0.006 % |
0.98/1.09 c | 3671 | 1156 194072 507926 | 64690 3671 51 | 0.000 % |
1.08/1.12 c | 3783 | 1156 194072 507926 | 64690 3783 50 | 0.006 % |
1.08/1.14 c | 3904 | 1156 194072 507926 | 64690 3904 50 | 0.006 % |
1.08/1.16 c | 4037 | 1156 194072 507926 | 64690 4037 49 | 0.006 % |
1.08/1.19 c | 4183 | 1156 194072 507926 | 64690 4183 51 | 0.000 % |
1.17/1.22 c | 4344 | 1156 194072 507926 | 64690 4344 50 | 0.006 % |
1.17/1.26 c | 4521 | 1156 194072 507926 | 64690 4521 50 | 0.006 % |
1.17/1.29 c | 4715 | 1156 194072 507926 | 64690 4715 54 | 0.000 % |
1.27/1.31 c | 4815 | 1156 194072 507926 | 64690 4815 54 | 0.006 % |
1.27/1.33 c | 4926 | 1156 194072 507926 | 64690 4926 53 | 0.000 % |
1.27/1.36 c | 5048 | 1156 194072 507926 | 64690 5048 53 | 0.006 % |
1.27/1.38 c | 5183 | 1156 194072 507926 | 64690 5183 54 | 0.000 % |
1.37/1.41 c | 5329 | 1156 194072 507926 | 64690 5329 54 | 0.006 % |
1.37/1.44 c | 5489 | 1156 194072 507926 | 64690 5489 54 | 0.006 % |
1.37/1.48 c | 5666 | 1156 194072 507926 | 64690 5666 53 | 0.006 % |
1.47/1.52 c | 5860 | 1156 194072 507926 | 64690 5860 53 | 0.006 % |
1.47/1.56 c | 6073 | 1156 194072 507926 | 64690 6073 52 | 0.006 % |
1.47/1.58 c | 6173 | 1156 194072 507926 | 64690 6173 53 | 0.000 % |
1.57/1.61 c | 6284 | 1156 194072 507926 | 64690 6284 52 | 0.006 % |
1.57/1.64 c | 6408 | 1156 194072 507926 | 64690 6408 52 | 0.006 % |
1.57/1.66 c | 6541 | 1156 194072 507926 | 64690 6541 52 | 0.006 % |
1.57/1.68 c | 6687 | 1156 194072 507926 | 64690 6687 55 | 0.000 % |
1.67/1.71 c | 6847 | 1156 194072 507926 | 64690 6847 56 | 0.000 % |
1.67/1.75 c | 7023 | 1156 194072 507926 | 64690 7023 58 | 0.000 % |
1.67/1.79 c | 7219 | 1156 194072 507926 | 64690 7219 60 | 0.000 % |
1.77/1.83 c | 7435 | 1156 194072 507926 | 64690 7435 60 | 0.000 % |
1.77/1.88 c | 7668 | 1156 194072 507926 | 64690 7668 60 | 0.006 % |
1.87/1.90 c | 7769 | 1156 194072 507926 | 64690 7769 59 | 0.006 % |
1.87/1.93 c | 7881 | 1156 194072 507926 | 64690 7881 59 | 0.006 % |
1.87/1.96 c | 8002 | 1156 194072 507926 | 64690 8002 58 | 0.006 % |
1.87/1.99 c | 8138 | 1156 194072 507926 | 64690 8138 59 | 0.000 % |
1.97/2.02 c | 8285 | 1156 194072 507926 | 64690 8285 59 | 0.000 % |
1.97/2.05 c | 8445 | 1156 194072 507926 | 64690 8445 59 | 0.006 % |
1.97/2.09 c | 8621 | 1156 194072 507926 | 64690 8621 59 | 0.006 % |
2.07/2.14 c | 8819 | 1156 194072 507926 | 64690 8819 59 | 0.000 % |
2.07/2.17 c | 9033 | 1156 194072 507926 | 64690 9033 59 | 0.006 % |
2.17/2.23 c | 9266 | 1156 194072 507926 | 64690 9266 60 | 0.000 % |
2.17/2.28 c | 9522 | 1156 194072 507926 | 64690 9522 59 | 0.006 % |
2.27/2.30 c | 9622 | 1156 194072 507926 | 64690 9622 59 | 0.000 % |
2.27/2.33 c | 9732 | 1156 194072 507926 | 64690 9732 59 | 0.006 % |
2.27/2.36 c | 9853 | 1156 194072 507926 | 64690 9853 59 | 0.006 % |
2.27/2.39 c | 9987 | 1156 194072 507926 | 64690 9987 59 | 0.006 % |
2.37/2.42 c | 10136 | 1156 194072 507926 | 2147483647 10136 59 | 0.006 % |
2.37/2.46 c | 10298 | 1156 194072 507926 | 2147483647 10298 58 | 0.000 % |
2.46/2.50 c | 10475 | 1156 194072 507926 | 2147483647 10475 58 | 0.006 % |
2.46/2.54 c | 10670 | 1156 194072 507926 | 2147483647 10670 58 | 0.006 % |
2.46/2.59 c | 10884 | 1156 194072 507926 | 2147483647 10884 57 | 0.006 % |
2.56/2.65 c | 11119 | 1156 194072 507926 | 2147483647 11119 57 | 0.006 % |
2.66/2.70 c | 11375 | 1156 194072 507926 | 2147483647 11375 56 | 0.006 % |
2.66/2.77 c | 11660 | 1156 194072 507926 | 2147483647 11660 56 | 0.006 % |
2.66/2.80 c | 11763 | 1156 194072 507926 | 2147483647 11763 55 | 0.006 % |
2.76/2.82 c | 11874 | 1156 194072 507926 | 2147483647 11874 55 | 0.006 % |
2.76/2.85 c | 11996 | 1156 194072 507926 | 2147483647 11996 55 | 0.006 % |
2.76/2.89 c | 12129 | 1156 194072 507926 | 2147483647 12129 55 | 0.006 % |
2.86/2.93 c | 12275 | 1156 194072 507926 | 2147483647 12275 54 | 0.006 % |
2.86/2.96 c | 12436 | 1156 194072 507926 | 2147483647 12436 54 | 0.006 % |
2.96/3.00 c | 12613 | 1156 194072 507926 | 2147483647 12613 54 | 0.006 % |
2.96/3.04 c | 12807 | 1156 194072 507926 | 2147483647 12807 54 | 0.006 % |
3.06/3.10 c | 13021 | 1156 194072 507926 | 2147483647 13021 54 | 0.006 % |
3.06/3.16 c | 13255 | 1156 194072 507926 | 2147483647 13255 54 | 0.000 % |
3.18/3.23 c | 13512 | 1156 194072 507926 | 2147483647 13512 54 | 0.000 % |
3.18/3.29 c | 13793 | 1156 194072 507926 | 2147483647 13793 55 | 0.000 % |
3.28/3.36 c | 14105 | 1156 194072 507926 | 2147483647 14105 54 | 0.006 % |
3.28/3.38 c | 14207 | 1156 194072 507926 | 2147483647 14207 54 | 0.006 % |
3.37/3.41 c | 14318 | 1156 194072 507926 | 2147483647 14318 54 | 0.006 % |
3.37/3.44 c | 14439 | 1156 194072 507926 | 2147483647 14439 54 | 0.006 % |
3.37/3.48 c | 14573 | 1156 194072 507926 | 2147483647 14573 54 | 0.006 % |
3.47/3.51 c | 14720 | 1156 194072 507926 | 2147483647 14720 54 | 0.000 % |
3.47/3.55 c | 14882 | 1156 194072 507926 | 2147483647 14882 54 | 0.006 % |
3.47/3.59 c | 15059 | 1156 194072 507926 | 2147483647 15059 54 | 0.006 % |
3.57/3.64 c | 15253 | 1156 194072 507926 | 2147483647 15253 54 | 0.000 % |
3.57/3.68 c | 15466 | 1156 194072 507926 | 2147483647 15466 54 | 0.006 % |
3.67/3.74 c | 15699 | 1156 194072 507926 | 2147483647 15699 54 | 0.005 % |
3.67/3.80 c | 15955 | 1156 194072 507926 | 2147483647 15955 53 | 0.006 % |
3.77/3.86 c | 16236 | 1156 194072 507926 | 2147483647 16236 53 | 0.006 % |
3.87/3.95 c | 16546 | 1156 194072 507926 | 2147483647 16546 52 | 0.006 % |
3.97/4.03 c | 16889 | 1156 194072 507926 | 2147483647 16889 54 | 0.000 % |
3.97/4.06 c | 16993 | 1156 194072 507926 | 2147483647 16993 54 | 0.006 % |
3.97/4.09 c | 17103 | 1156 194072 507926 | 2147483647 17103 53 | 0.006 % |
4.07/4.11 c | 17225 | 1156 194072 507926 | 2147483647 17225 53 | 0.006 % |
4.07/4.15 c | 17358 | 1156 194072 507926 | 2147483647 17358 53 | 0.006 % |
4.07/4.18 c | 17505 | 1156 194072 507926 | 2147483647 17505 53 | 0.006 % |
4.17/4.22 c | 17665 | 1156 194072 507926 | 2147483647 17665 53 | 0.000 % |
4.17/4.26 c | 17841 | 1156 194072 507926 | 2147483647 17841 53 | 0.011 % |
4.27/4.31 c | 18034 | 1156 194072 507926 | 2147483647 18034 53 | 0.006 % |
4.27/4.36 c | 18249 | 1156 194072 507926 | 2147483647 18249 54 | 0.000 % |
4.37/4.42 c | 18482 | 1156 194072 507926 | 2147483647 18482 54 | 0.000 % |
4.37/4.48 c | 18741 | 1156 194072 507926 | 2147483647 18741 54 | 0.006 % |
4.47/4.55 c | 19023 | 1156 194072 507926 | 2147483647 19023 54 | 0.006 % |
4.57/4.62 c | 19332 | 1156 194072 507926 | 2147483647 19332 54 | 0.000 % |
4.67/4.70 c | 19676 | 1156 194072 507926 | 2147483647 19676 55 | 0.000 % |
4.67/4.79 c | 20052 | 1156 194072 507926 | 2147483647 20052 54 | 0.006 % |
4.77/4.82 c | 20152 | 1156 194072 507926 | 2147483647 20152 55 | 0.000 % |
4.77/4.85 c | 20262 | 1156 194072 507926 | 2147483647 20262 55 | 0.006 % |
4.77/4.87 c | 20384 | 1156 194072 507926 | 2147483647 20384 55 | 0.006 % |
4.87/4.91 c | 20519 | 1156 194072 507926 | 2147483647 20519 55 | 0.006 % |
4.87/4.94 c | 20665 | 1156 194072 507926 | 2147483647 20665 55 | 0.000 % |
4.87/4.99 c | 20827 | 1156 194072 507926 | 2147483647 20827 55 | 0.006 % |
4.97/5.04 c | 21004 | 1156 194072 507926 | 2147483647 21004 55 | 0.006 % |
4.97/5.09 c | 21197 | 1156 194072 507926 | 2147483647 21197 55 | 0.000 % |
5.07/5.15 c | 21414 | 1156 194072 507926 | 2147483647 21414 56 | 0.006 % |
5.17/5.21 c | 21647 | 1156 194072 507926 | 2147483647 21647 55 | 0.006 % |
5.17/5.27 c | 21904 | 1156 194072 507926 | 2147483647 21904 55 | 0.006 % |
5.27/5.35 c | 22186 | 1156 194072 507926 | 2147483647 22186 55 | 0.006 % |
5.37/5.43 c | 22495 | 1156 194072 507926 | 2147483647 22495 55 | 0.006 % |
5.47/5.52 c | 22835 | 1156 194072 507926 | 2147483647 22835 54 | 0.006 % |
5.57/5.61 c | 23212 | 1156 194072 507926 | 2147483647 23212 54 | 0.006 % |
5.67/5.72 c | 23623 | 1156 194072 507926 | 2147483647 23623 54 | 0.000 % |
5.67/5.74 c | 23723 | 1156 194072 507926 | 2147483647 23723 54 | 0.006 % |
5.67/5.77 c | 23833 | 1156 194072 507926 | 2147483647 23833 54 | 0.006 % |
5.77/5.81 c | 23955 | 1156 194072 507926 | 2147483647 23955 54 | 0.006 % |
5.77/5.84 c | 24090 | 1156 194072 507926 | 2147483647 24090 54 | 0.000 % |
5.77/5.88 c | 24238 | 1156 194072 507926 | 2147483647 24238 54 | 0.000 % |
5.86/5.92 c | 24398 | 1156 194072 507926 | 2147483647 24398 54 | 0.006 % |
5.86/5.97 c | 24579 | 1156 194072 507926 | 2147483647 24579 54 | 0.000 % |
5.96/6.02 c | 24772 | 1156 194072 507926 | 2147483647 24772 54 | 0.000 % |
5.96/6.07 c | 24984 | 1156 194072 507926 | 2147483647 24984 54 | 0.006 % |
6.06/6.14 c | 25220 | 1156 194072 507926 | 2147483647 25220 54 | 0.006 % |
6.16/6.23 c | 25477 | 1156 194072 507926 | 2147483647 25477 54 | 0.000 % |
6.16/6.30 c | 25758 | 1156 194072 507926 | 2147483647 25758 54 | 0.006 % |
6.26/6.38 c | 26069 | 1156 194072 507926 | 2147483647 26069 54 | 0.006 % |
6.36/6.46 c | 26408 | 1156 194072 507926 | 2147483647 26408 55 | 0.000 % |
6.47/6.55 c | 26780 | 1156 194072 507926 | 2147483647 26780 55 | 0.000 % |
6.57/6.68 c | 27189 | 1156 194072 507926 | 2147483647 27189 54 | 0.006 % |
6.66/6.79 c | 27638 | 1156 194072 507926 | 2147483647 27638 54 | 0.006 % |
6.76/6.81 c | 27738 | 1156 194072 507926 | 2147483647 27738 54 | 0.006 % |
6.76/6.84 c | 27848 | 1156 194072 507926 | 2147483647 27848 54 | 0.006 % |
6.76/6.87 c | 27971 | 1156 194072 507926 | 2147483647 27971 54 | 0.006 % |
6.86/6.91 c | 28105 | 1156 194072 507926 | 2147483647 28105 54 | 0.006 % |
6.86/6.96 c | 28251 | 1156 194072 507926 | 2147483647 28251 54 | 0.006 % |
6.96/7.02 c | 28414 | 1156 194072 507926 | 2147483647 28414 54 | 0.006 % |
6.96/7.09 c | 28591 | 1156 194072 507926 | 2147483647 28591 54 | 0.006 % |
7.06/7.14 c | 28785 | 1156 194072 507926 | 2147483647 28785 54 | 0.000 % |
7.16/7.21 c | 28997 | 1156 194072 507926 | 2147483647 28997 54 | 0.006 % |
7.16/7.28 c | 29231 | 1156 194072 507926 | 2147483647 29231 54 | 0.006 % |
7.26/7.35 c | 29487 | 1156 194072 507926 | 2147483647 29487 53 | 0.006 % |
7.36/7.44 c | 29774 | 1156 194072 507926 | 2147483647 29774 53 | 0.006 % |
7.46/7.53 c | 30083 | 1156 194072 507926 | 2147483647 30083 53 | 0.006 % |
7.56/7.62 c | 30422 | 1156 194072 507926 | 2147483647 30422 54 | 0.000 % |
7.66/7.72 c | 30794 | 1156 194072 507926 | 2147483647 30794 54 | 0.006 % |
7.76/7.84 c | 31203 | 1156 194072 507926 | 2147483647 31203 53 | 0.006 % |
7.86/7.97 c | 31652 | 1156 194072 507926 | 2147483647 31652 53 | 0.000 % |
8.06/8.13 c | 32145 | 1156 194072 507926 | 2147483647 32145 53 | 0.006 % |
8.06/8.16 c | 32246 | 1156 194072 507926 | 2147483647 32246 53 | 0.006 % |
8.06/8.19 c | 32356 | 1156 194072 507926 | 2147483647 32356 53 | 0.006 % |
8.16/8.22 c | 32477 | 1156 194072 507926 | 2147483647 32477 53 | 0.006 % |
8.16/8.26 c | 32612 | 1156 194072 507926 | 2147483647 32612 53 | 0.006 % |
8.26/8.30 c | 32760 | 1156 194072 507926 | 2147483647 32760 53 | 0.006 % |
8.26/8.35 c | 32922 | 1156 194072 507926 | 2147483647 32922 53 | 0.006 % |
8.36/8.41 c | 33099 | 1156 194072 507926 | 2147483647 33099 53 | 0.006 % |
8.36/8.47 c | 33292 | 1156 194072 507926 | 2147483647 33292 53 | 0.000 % |
8.45/8.54 c | 33504 | 1156 194072 507926 | 2147483647 33504 53 | 0.000 % |
8.55/8.61 c | 33737 | 1156 194072 507926 | 2147483647 33737 54 | 0.000 % |
8.55/8.70 c | 33995 | 1156 194072 507926 | 2147483647 33995 54 | 0.000 % |
8.66/8.79 c | 34276 | 1156 194072 507926 | 2147483647 34276 54 | 0.006 % |
8.77/8.88 c | 34587 | 1156 194072 507926 | 2147483647 34587 54 | 0.006 % |
8.86/8.98 c | 34926 | 1156 194072 507926 | 2147483647 34926 54 | 0.000 % |
8.96/9.09 c | 35298 | 1156 194072 507926 | 2147483647 35298 54 | 0.006 % |
9.16/9.22 c | 35709 | 1156 194072 507926 | 2147483647 35709 54 | 0.006 % |
9.26/9.37 c | 36158 | 1156 194072 507926 | 2147483647 36158 54 | 0.006 % |
9.46/9.54 c | 36651 | 1156 194072 507926 | 2147483647 36651 54 | 0.006 % |
9.66/9.74 c | 37195 | 1156 194072 507926 | 2147483647 37195 53 | 0.006 % |
9.66/9.78 c | 37295 | 1156 194072 507926 | 2147483647 37295 53 | 0.006 % |
9.76/9.83 c | 37407 | 1156 194072 507926 | 2147483647 37407 53 | 0.006 % |
9.76/9.87 c | 37528 | 1156 194072 507926 | 2147483647 37528 53 | 0.006 % |
9.86/9.91 c | 37662 | 1156 194072 507926 | 2147483647 37662 53 | 0.000 % |
9.86/9.96 c | 37810 | 1156 194072 507926 | 2147483647 37810 53 | 0.000 % |
9.96/10.01 c | 37970 | 1156 194072 507926 | 2147483647 37970 53 | 0.006 % |
9.96/10.06 c | 38147 | 1156 194072 507926 | 2147483647 38147 53 | 0.000 % |
10.06/10.12 c | 38340 | 1156 194072 507926 | 2147483647 38340 53 | 0.006 % |
10.06/10.19 c | 38552 | 1156 194072 507926 | 2147483647 38552 53 | 0.006 % |
10.16/10.25 c | 38786 | 1156 194072 507926 | 2147483647 38786 53 | 0.000 % |
10.26/10.32 c | 39045 | 1156 194072 507926 | 2147483647 39045 53 | 0.000 % |
10.36/10.40 c | 39327 | 1156 194072 507926 | 2147483647 39327 54 | 0.000 % |
10.36/10.48 c | 39637 | 1156 194072 507926 | 2147483647 39637 54 | 0.006 % |
10.46/10.56 c | 39977 | 1156 194072 507926 | 2147483647 39977 54 | 0.006 % |
10.56/10.68 c | 40350 | 1156 194072 507926 | 2147483647 40350 54 | 0.006 % |
10.75/10.84 c | 40760 | 1156 194072 507926 | 2147483647 40760 54 | 0.006 % |
10.96/11.00 c | 41210 | 1156 194072 507926 | 2147483647 41210 54 | 0.006 % |
11.05/11.16 c | 41703 | 1156 194072 507926 | 2147483647 41703 53 | 0.006 % |
11.25/11.35 c | 42245 | 1156 194072 507926 | 2147483647 42245 53 | 0.006 % |
11.46/11.59 c | 42843 | 1156 194072 507926 | 2147483647 42843 53 | 0.006 % |
11.56/11.63 c | 42947 | 1156 194072 507926 | 2147483647 42947 53 | 0.006 % |
11.56/11.68 c | 43057 | 1156 194072 507926 | 2147483647 43057 53 | 0.006 % |
11.66/11.72 c | 43178 | 1156 194072 507926 | 2147483647 43178 53 | 0.000 % |
11.66/11.76 c | 43312 | 1156 194072 507926 | 2147483647 43312 53 | 0.006 % |
11.76/11.81 c | 43460 | 1156 194072 507926 | 2147483647 43460 53 | 0.006 % |
11.76/11.86 c | 43620 | 1156 194072 507926 | 2147483647 43620 53 | 0.006 % |
11.86/11.93 c | 43796 | 1156 194072 507926 | 2147483647 43796 53 | 0.006 % |
11.86/12.00 c | 43990 | 1156 194072 507926 | 2147483647 43990 53 | 0.006 % |
11.97/12.06 c | 44202 | 1156 194072 507926 | 2147483647 44202 53 | 0.006 % |
12.06/12.15 c | 44437 | 1156 194072 507926 | 2147483647 44437 53 | 0.006 % |
12.16/12.23 c | 44693 | 1156 194072 507926 | 2147483647 44693 53 | 0.006 % |
12.26/12.33 c | 44974 | 1156 194072 507926 | 2147483647 44974 53 | 0.006 % |
12.36/12.44 c | 45284 | 1156 194072 507926 | 2147483647 45284 53 | 0.006 % |
12.46/12.56 c | 45623 | 1156 194072 507926 | 2147483647 45623 53 | 0.006 % |
12.56/12.69 c | 45996 | 1156 194072 507926 | 2147483647 45996 52 | 0.006 % |
12.76/12.86 c | 46405 | 1156 194072 507926 | 2147483647 46405 52 | 0.006 % |
12.96/13.03 c | 46859 | 1156 194072 507926 | 2147483647 46859 52 | 0.006 % |
13.16/13.24 c | 47353 | 1156 194072 507926 | 2147483647 47353 52 | 0.006 % |
13.36/13.48 c | 47896 | 1156 194072 507926 | 2147483647 47896 52 | 0.006 % |
13.65/13.70 c | 48494 | 1156 194072 507926 | 2147483647 48494 52 | 0.006 % |
13.85/13.99 c | 49153 | 1156 194072 507926 | 2147483647 49153 51 | 0.006 % |
13.95/14.02 c | 49253 | 1156 194072 507926 | 2147483647 49253 51 | 0.006 % |
13.95/14.08 c | 49363 | 1156 194072 507926 | 2147483647 49363 51 | 0.006 % |
14.05/14.12 c | 49484 | 1156 194072 507926 | 2147483647 49484 51 | 0.006 % |
14.05/14.16 c | 49617 | 1156 194072 507926 | 2147483647 49617 51 | 0.006 % |
14.16/14.20 c | 49763 | 1156 194072 507926 | 2147483647 49763 51 | 0.000 % |
14.16/14.24 c | 49923 | 1156 194072 507926 | 2147483647 49923 51 | 0.006 % |
14.26/14.31 c | 50099 | 1156 194072 507926 | 2147483647 50099 51 | 0.006 % |
14.26/14.38 c | 50293 | 1156 194072 507926 | 2147483647 50293 51 | 0.000 % |
14.35/14.46 c | 50506 | 1156 194072 507926 | 2147483647 50506 51 | 0.006 % |
14.45/14.55 c | 50741 | 1156 194072 507926 | 2147483647 50741 52 | 0.000 % |
14.55/14.66 c | 50997 | 1156 194072 507926 | 2147483647 50997 52 | 0.006 % |
14.75/14.80 c | 51278 | 1156 194072 507926 | 2147483647 51278 52 | 0.006 % |
14.85/14.91 c | 51587 | 1156 194072 507926 | 2147483647 51587 52 | 0.006 % |
14.95/15.04 c | 51926 | 1156 194072 507926 | 2147483647 51926 52 | 0.000 % |
15.05/15.18 c | 52302 | 1156 194072 507926 | 2147483647 52302 52 | 0.000 % |
15.25/15.35 c | 52714 | 1156 194072 507926 | 2147483647 52714 52 | 0.006 % |
15.45/15.54 c | 53164 | 1156 194072 507926 | 2147483647 53164 52 | 0.006 % |
15.65/15.74 c | 53662 | 1156 194072 507926 | 2147483647 53662 52 | 0.006 % |
15.85/15.93 c | 54205 | 1156 194072 507926 | 2147483647 54205 52 | 0.006 % |
16.05/16.17 c | 54801 | 1156 194072 507926 | 2147483647 54801 51 | 0.006 % |
16.35/16.43 c | 55457 | 1156 194072 507926 | 2147483647 55457 51 | 0.006 % |
16.55/16.69 c | 56178 | 1156 194072 507926 | 2147483647 56178 51 | 0.006 % |
16.65/16.73 c | 56279 | 1156 194072 507926 | 2147483647 56279 51 | 0.006 % |
16.65/16.78 c | 56390 | 1156 194072 507926 | 2147483647 56390 51 | 0.006 % |
16.75/16.84 c | 56511 | 1156 194072 507926 | 2147483647 56511 51 | 0.006 % |
16.85/16.91 c | 56646 | 1156 194072 507926 | 2147483647 56646 51 | 0.000 % |
16.85/16.98 c | 56794 | 1156 194072 507926 | 2147483647 56794 51 | 0.000 % |
16.95/17.06 c | 56958 | 1156 194072 507926 | 2147483647 56958 51 | 0.000 % |
17.05/17.12 c | 57135 | 1156 194072 507926 | 2147483647 57135 51 | 0.006 % |
17.05/17.19 c | 57328 | 1156 194072 507926 | 2147483647 57328 51 | 0.000 % |
17.15/17.28 c | 57540 | 1156 194072 507926 | 2147483647 57540 51 | 0.006 % |
17.25/17.36 c | 57777 | 1156 194072 507926 | 2147483647 57777 51 | 0.000 % |
17.34/17.45 c | 58035 | 1156 194072 507926 | 2147483647 58035 52 | 0.006 % |
17.45/17.54 c | 58316 | 1156 194072 507926 | 2147483647 58316 52 | 0.000 % |
17.56/17.67 c | 58629 | 1156 194072 507926 | 2147483647 58629 52 | 0.000 % |
17.65/17.79 c | 58970 | 1156 194072 507926 | 2147483647 58970 52 | 0.006 % |
17.85/17.95 c | 59343 | 1156 194072 507926 | 2147483647 59343 52 | 0.006 % |
18.05/18.11 c | 59752 | 1156 194072 507926 | 2147483647 59752 52 | 0.006 % |
18.15/18.27 c | 60201 | 1156 194072 507926 | 2147483647 60201 51 | 0.006 % |
18.35/18.48 c | 60694 | 1156 194072 507926 | 2147483647 60694 51 | 0.006 % |
18.55/18.67 c | 61236 | 1156 194072 507926 | 2147483647 61236 51 | 0.006 % |
18.85/18.91 c | 61833 | 1156 194072 507926 | 2147483647 61833 51 | 0.006 % |
19.05/19.18 c | 62490 | 1156 194072 507926 | 2147483647 62490 51 | 0.006 % |
19.35/19.46 c | 63211 | 1156 194072 507926 | 2147483647 63211 51 | 0.006 % |
19.65/19.79 c | 64004 | 1156 194072 507926 | 2147483647 64004 51 | 0.006 % |
19.75/19.83 c | 64105 | 1156 194072 507926 | 2147483647 64105 51 | 0.000 % |
19.75/19.88 c | 64215 | 1156 194072 507926 | 2147483647 64215 51 | 0.006 % |
19.85/19.93 c | 64338 | 1156 194072 507926 | 2147483647 64338 51 | 0.006 % |
19.95/20.00 c | 64471 | 1156 194072 507926 | 2147483647 64471 51 | 0.006 % |
19.95/20.07 c | 64617 | 1156 194072 507926 | 2147483647 64617 51 | 0.006 % |
20.04/20.14 c | 64777 | 1156 194072 507926 | 2147483647 64777 51 | 0.006 % |
20.14/20.21 c | 64953 | 1156 194072 507926 | 2147483647 64953 51 | 0.006 % |
20.24/20.31 c | 65148 | 1156 194072 507926 | 2147483647 65148 50 | 0.006 % |
20.34/20.42 c | 65360 | 1156 194072 507926 | 2147483647 65360 50 | 0.006 % |
20.44/20.51 c | 65593 | 1156 194072 507926 | 2147483647 65593 50 | 0.006 % |
20.54/20.60 c | 65853 | 1156 194072 507926 | 2147483647 65853 51 | 0.000 % |
20.64/20.71 c | 66134 | 1156 194072 507926 | 2147483647 66134 51 | 0.000 % |
20.75/20.83 c | 66444 | 1156 194072 507926 | 2147483647 66444 51 | 0.006 % |
20.85/20.97 c | 66783 | 1156 194072 507926 | 2147483647 66783 51 | 0.006 % |
21.04/21.15 c | 67158 | 1156 194072 507926 | 2147483647 67158 51 | 0.006 % |
21.24/21.32 c | 67567 | 1156 194072 507926 | 2147483647 67567 50 | 0.006 % |
21.34/21.48 c | 68017 | 1156 194072 507926 | 2147483647 68017 51 | 0.000 % |
21.54/21.67 c | 68510 | 1156 194072 507926 | 2147483647 68510 52 | 0.000 % |
21.74/21.88 c | 69054 | 1156 194072 507926 | 2147483647 69054 52 | 0.000 % |
22.05/22.15 c | 69650 | 1156 194072 507926 | 2147483647 69650 53 | 0.000 % |
22.45/22.53 c | 70306 | 1156 194072 507926 | 2147483647 70306 53 | 0.006 % |
22.85/22.93 c | 71027 | 1156 194072 507926 | 2147483647 71027 52 | 0.006 % |
23.25/23.31 c | 71821 | 1156 194072 507926 | 2147483647 71821 53 | 0.000 % |
23.65/23.77 c | 72692 | 1156 194072 507926 | 2147483647 72692 53 | 0.006 % |
23.75/23.83 c | 72796 | 1156 194072 507926 | 2147483647 72796 53 | 0.006 % |
23.75/23.90 c | 72907 | 1156 194072 507926 | 2147483647 72907 53 | 0.006 % |
23.85/23.95 c | 73028 | 1156 194072 507926 | 2147483647 73028 53 | 0.006 % |
23.95/24.01 c | 73161 | 1156 194072 507926 | 2147483647 73161 53 | 0.000 % |
23.95/24.07 c | 73308 | 1156 194072 507926 | 2147483647 73308 53 | 0.006 % |
24.05/24.14 c | 73468 | 1156 194072 507926 | 2147483647 73468 53 | 0.000 % |
24.15/24.23 c | 73646 | 1156 194072 507926 | 2147483647 73646 53 | 0.006 % |
24.24/24.32 c | 73839 | 1156 194072 507926 | 2147483647 73839 53 | 0.006 % |
24.34/24.43 c | 74051 | 1156 194072 507926 | 2147483647 74051 53 | 0.006 % |
24.44/24.55 c | 74285 | 1156 194072 507926 | 2147483647 74285 53 | 0.000 % |
24.54/24.68 c | 74542 | 1156 194072 507926 | 2147483647 74542 53 | 0.006 % |
24.64/24.78 c | 74823 | 1156 194072 507926 | 2147483647 74823 53 | 0.000 % |
24.84/24.92 c | 75132 | 1156 194072 507926 | 2147483647 75132 54 | 0.006 % |
24.94/25.08 c | 75475 | 1156 194072 507926 | 2147483647 75475 53 | 0.000 % |
25.14/25.23 c | 75851 | 1156 194072 507926 | 2147483647 75851 53 | 0.006 % |
25.34/25.47 c | 76260 | 1156 194072 507926 | 2147483647 76260 53 | 0.006 % |
25.64/25.75 c | 76711 | 1156 194072 507926 | 2147483647 76711 53 | 0.006 % |
25.94/26.04 c | 77210 | 1156 194072 507926 | 2147483647 77210 53 | 0.006 % |
26.14/26.29 c | 77753 | 1156 194072 507926 | 2147483647 77753 53 | 0.006 % |
26.44/26.55 c | 78351 | 1156 194072 507926 | 2147483647 78351 53 | 0.006 % |
26.73/26.89 c | 79006 | 1156 194072 507926 | 2147483647 79006 53 | 0.006 % |
27.13/27.21 c | 79727 | 1156 194072 507926 | 2147483647 79727 54 | 0.000 % |
27.53/27.62 c | 80522 | 1156 194072 507926 | 2147483647 80522 53 | 0.006 % |
28.03/28.10 c | 81394 | 1156 194072 507926 | 2147483647 81394 54 | 0.000 % |
28.55/28.69 c | 82357 | 1156 194072 507926 | 2147483647 82357 54 | 0.006 % |
28.64/28.76 c | 82459 | 1156 194072 507926 | 2147483647 82459 54 | 0.006 % |
28.74/28.82 c | 82571 | 1156 194072 507926 | 2147483647 82571 54 | 0.006 % |
28.74/28.89 c | 82692 | 1156 194072 507926 | 2147483647 82692 54 | 0.000 % |
28.84/28.97 c | 82825 | 1156 194072 507926 | 2147483647 82825 54 | 0.006 % |
28.94/29.06 c | 82972 | 1156 194072 507926 | 2147483647 82972 54 | 0.006 % |
29.04/29.16 c | 83132 | 1156 194072 507926 | 2147483647 83132 54 | 0.006 % |
29.14/29.26 c | 83310 | 1156 194072 507926 | 2147483647 83310 54 | 0.006 % |
29.24/29.36 c | 83505 | 1156 194072 507926 | 2147483647 83505 54 | 0.006 % |
29.34/29.47 c | 83717 | 1156 194072 507926 | 2147483647 83717 54 | 0.000 % |
29.44/29.59 c | 83951 | 1156 194072 507926 | 2147483647 83951 54 | 0.006 % |
29.64/29.72 c | 84207 | 1156 194072 507926 | 2147483647 84207 54 | 0.006 % |
29.74/29.85 c | 84491 | 1156 194072 507926 | 2147483647 84491 54 | 0.006 % |
29.94/30.03 c | 84800 | 1156 194072 507926 | 2147483647 84800 54 | 0.006 % |
30.14/30.23 c | 85142 | 1156 194072 507926 | 2147483647 85142 54 | 0.006 % |
30.34/30.46 c | 85515 | 1156 194072 507926 | 2147483647 85515 54 | 0.006 % |
30.53/30.69 c | 85925 | 1156 194072 507926 | 2147483647 85925 54 | 0.000 % |
30.83/30.91 c | 86374 | 1156 194072 507926 | 2147483647 86374 54 | 0.006 % |
31.13/31.20 c | 86868 | 1156 194072 507926 | 2147483647 86868 54 | 0.006 % |
31.43/31.51 c | 87413 | 1156 194072 507926 | 2147483647 87413 54 | 0.006 % |
31.63/31.79 c | 88010 | 1156 194072 507926 | 2147483647 88010 53 | 0.006 % |
32.03/32.13 c | 88665 | 1156 194072 507926 | 2147483647 88665 54 | 0.000 % |
32.33/32.48 c | 89385 | 1156 194072 507926 | 2147483647 89385 54 | 0.006 % |
32.73/32.84 c | 90177 | 1156 194072 507926 | 2147483647 90177 54 | 0.006 % |
33.23/33.33 c | 91049 | 1156 194072 507926 | 2147483647 91049 54 | 0.006 % |
33.73/33.85 c | 92007 | 1156 194072 507926 | 2147483647 92007 54 | 0.000 % |
34.33/34.45 c | 93061 | 1156 194072 507926 | 2147483647 93061 55 | 0.000 % |
34.43/34.50 c | 93164 | 1156 194072 507926 | 2147483647 93164 55 | 0.000 % |
34.43/34.56 c | 93274 | 1156 194072 507926 | 2147483647 93274 55 | 0.000 % |
34.54/34.64 c | 93401 | 1156 194072 507926 | 2147483647 93401 55 | 0.006 % |
34.64/34.72 c | 93535 | 1156 194072 507926 | 2147483647 93535 55 | 0.006 % |
34.74/34.83 c | 93682 | 1156 194072 507926 | 2147483647 93682 55 | 0.000 % |
34.84/34.94 c | 93845 | 1156 194072 507926 | 2147483647 93845 55 | 0.006 % |
34.94/35.05 c | 94021 | 1156 194072 507926 | 2147483647 94021 55 | 0.006 % |
35.04/35.16 c | 94214 | 1156 194072 507926 | 2147483647 94214 55 | 0.000 % |
35.24/35.31 c | 94426 | 1156 194072 507926 | 2147483647 94426 55 | 0.000 % |
35.34/35.48 c | 94660 | 1156 194072 507926 | 2147483647 94660 55 | 0.006 % |
35.54/35.68 c | 94916 | 1156 194072 507926 | 2147483647 94916 55 | 0.006 % |
35.74/35.86 c | 95197 | 1156 194072 507926 | 2147483647 95197 55 | 0.006 % |
35.94/36.03 c | 95507 | 1156 194072 507926 | 2147483647 95507 55 | 0.006 % |
36.04/36.19 c | 95846 | 1156 194072 507926 | 2147483647 95846 55 | 0.000 % |
36.24/36.38 c | 96218 | 1156 194072 507926 | 2147483647 96218 55 | 0.006 % |
36.54/36.64 c | 96627 | 1156 194072 507926 | 2147483647 96627 55 | 0.006 % |
36.84/36.90 c | 97081 | 1156 194072 507926 | 2147483647 97081 55 | 0.006 % |
37.04/37.19 c | 97575 | 1156 194072 507926 | 2147483647 97575 55 | 0.000 % |
37.44/37.50 c | 98118 | 1156 194072 507926 | 2147483647 98118 56 | 0.000 % |
37.74/37.84 c | 98716 | 1156 194072 507926 | 2147483647 98716 56 | 0.006 % |
38.13/38.21 c | 99374 | 1156 194072 507926 | 2147483647 99374 56 | 0.006 % |
38.53/38.69 c | 100094 | 1156 194072 507926 | 2147483647 100094 56 | 0.000 % |
39.03/39.16 c | 100886 | 1156 194072 507926 | 2147483647 100886 56 | 0.000 % |
39.63/39.74 c | 101758 | 1156 194072 507926 | 2147483647 101758 56 | 0.006 % |
40.24/40.33 c | 102716 | 1156 194072 507926 | 2147483647 102716 56 | 0.006 % |
40.94/41.02 c | 103769 | 1156 194072 507926 | 2147483647 103769 56 | 0.006 % |
41.84/41.92 c | 104930 | 1156 194072 507926 | 2147483647 104930 56 | 0.006 % |
41.94/42.01 c | 105031 | 1156 194072 507926 | 2147483647 105031 56 | 0.006 % |
41.94/42.08 c | 105144 | 1156 194072 507926 | 2147483647 105144 56 | 0.000 % |
42.04/42.15 c | 105267 | 1156 194072 507926 | 2147483647 105267 56 | 0.000 % |
42.14/42.21 c | 105400 | 1156 194072 507926 | 2147483647 105400 56 | 0.000 % |
42.14/42.29 c | 105548 | 1156 194072 507926 | 2147483647 105548 56 | 0.006 % |
42.24/42.40 c | 105711 | 1156 194072 507926 | 2147483647 105711 56 | 0.000 % |
42.43/42.51 c | 105888 | 1156 194072 507926 | 2147483647 105888 56 | 0.006 % |
42.53/42.63 c | 106082 | 1156 194072 507926 | 2147483647 106082 56 | 0.006 % |
42.63/42.76 c | 106298 | 1156 194072 507926 | 2147483647 106298 56 | 0.000 % |
42.74/42.89 c | 106534 | 1156 194072 507926 | 2147483647 106534 56 | 0.000 % |
42.93/43.02 c | 106790 | 1156 194072 507926 | 2147483647 106790 56 | 0.000 % |
43.13/43.21 c | 107072 | 1156 194072 507926 | 2147483647 107072 56 | 0.000 % |
43.23/43.39 c | 107381 | 1156 194072 507926 | 2147483647 107381 56 | 0.000 % |
43.43/43.59 c | 107721 | 1156 194072 507926 | 2147483647 107721 56 | 0.006 % |
43.63/43.78 c | 108096 | 1156 194072 507926 | 2147483647 108096 56 | 0.006 % |
43.83/43.99 c | 108505 | 1156 194072 507926 | 2147483647 108505 57 | 0.000 % |
44.13/44.28 c | 108955 | 1156 194072 507926 | 2147483647 108955 57 | 0.000 % |
44.53/44.61 c | 109448 | 1156 194072 507926 | 2147483647 109448 57 | 0.006 % |
44.83/44.99 c | 109992 | 1156 194072 507926 | 2147483647 109992 57 | 0.006 % |
45.33/45.41 c | 110588 | 1156 194072 507926 | 2147483647 110588 57 | 0.006 % |
45.73/45.83 c | 111248 | 1156 194072 507926 | 2147483647 111248 57 | 0.000 % |
46.24/46.30 c | 111969 | 1156 194072 507926 | 2147483647 111969 57 | 0.000 % |
46.64/46.76 c | 112761 | 1156 194072 507926 | 2147483647 112761 57 | 0.006 % |
47.34/47.41 c | 113632 | 1156 194072 507926 | 2147483647 113632 57 | 0.006 % |
47.94/48.06 c | 114591 | 1156 194072 507926 | 2147483647 114591 57 | 0.006 % |
48.63/48.79 c | 115645 | 1156 194072 507926 | 2147483647 115645 57 | 0.000 % |
49.44/49.57 c | 116803 | 1156 194072 507926 | 2147483647 116803 57 | 0.006 % |
50.44/50.52 c | 118076 | 1156 194072 507926 | 2147483647 118076 57 | 0.006 % |
50.44/50.59 c | 118177 | 1156 194072 507926 | 2147483647 118177 57 | 0.000 % |
50.54/50.68 c | 118287 | 1156 194072 507926 | 2147483647 118287 57 | 0.006 % |
50.73/50.80 c | 118408 | 1156 194072 507926 | 2147483647 118408 57 | 0.006 % |
50.83/50.90 c | 118541 | 1156 194072 507926 | 2147483647 118541 57 | 0.006 % |
50.83/50.98 c | 118687 | 1156 194072 507926 | 2147483647 118687 57 | 0.000 % |
50.93/51.10 c | 118847 | 1156 194072 507926 | 2147483647 118847 57 | 0.006 % |
51.13/51.24 c | 119025 | 1156 194072 507926 | 2147483647 119025 57 | 0.006 % |
51.23/51.36 c | 119218 | 1156 194072 507926 | 2147483647 119218 57 | 0.000 % |
51.43/51.51 c | 119431 | 1156 194072 507926 | 2147483647 119431 57 | 0.000 % |
51.54/51.67 c | 119666 | 1156 194072 507926 | 2147483647 119666 57 | 0.006 % |
51.73/51.86 c | 119922 | 1156 194072 507926 | 2147483647 119922 57 | 0.006 % |
51.93/52.08 c | 120203 | 1156 194072 507926 | 2147483647 120203 57 | 0.000 % |
52.23/52.36 c | 120512 | 1156 194072 507926 | 2147483647 120512 57 | 0.006 % |
52.53/52.62 c | 120852 | 1156 194072 507926 | 2147483647 120852 57 | 0.000 % |
52.83/52.92 c | 121225 | 1156 194072 507926 | 2147483647 121225 58 | 0.000 % |
53.13/53.24 c | 121635 | 1156 194072 507926 | 2147483647 121635 57 | 0.006 % |
53.43/53.57 c | 122087 | 1156 194072 507926 | 2147483647 122087 57 | 0.006 % |
53.83/53.97 c | 122582 | 1156 194072 507926 | 2147483647 122582 58 | 0.000 % |
54.23/54.35 c | 123126 | 1156 194072 507926 | 2147483647 123126 58 | 0.000 % |
54.63/54.80 c | 123723 | 1156 194072 507926 | 2147483647 123723 58 | 0.000 % |
55.13/55.25 c | 124378 | 1156 194072 507926 | 2147483647 124378 58 | 0.006 % |
55.63/55.80 c | 125098 | 1156 194072 507926 | 2147483647 125098 58 | 0.006 % |
56.23/56.38 c | 125890 | 1156 194072 507926 | 2147483647 125890 58 | 0.000 % |
56.93/57.01 c | 126761 | 1156 194072 507926 | 2147483647 126761 58 | 0.000 % |
57.63/57.79 c | 127719 | 1156 194072 507926 | 2147483647 127719 58 | 0.006 % |
58.53/58.64 c | 128774 | 1156 194072 507926 | 2147483647 128774 58 | 0.006 % |
59.53/59.65 c | 129935 | 1156 194072 507926 | 2147483647 129935 58 | 0.006 % |
60.53/60.63 c | 131208 | 1156 194072 507926 | 2147483647 131208 58 | 0.000 % |
61.63/61.70 c | 132609 | 1156 194072 507926 | 2147483647 132609 58 | 0.006 % |
61.63/61.78 c | 132709 | 1156 194072 507926 | 2147483647 132709 58 | 0.006 % |
61.73/61.87 c | 132822 | 1156 194072 507926 | 2147483647 132822 58 | 0.006 % |
61.83/61.97 c | 132943 | 1156 194072 507926 | 2147483647 132943 58 | 0.006 % |
61.93/62.08 c | 133077 | 1156 194072 507926 | 2147483647 133077 58 | 0.006 % |
62.03/62.19 c | 133223 | 1156 194072 507926 | 2147483647 133223 58 | 0.000 % |
62.23/62.32 c | 133385 | 1156 194072 507926 | 2147483647 133385 58 | 0.000 % |
62.33/62.50 c | 133562 | 1156 194072 507926 | 2147483647 133562 58 | 0.006 % |
62.53/62.64 c | 133758 | 1156 194072 507926 | 2147483647 133758 58 | 0.000 % |
62.73/62.82 c | 133971 | 1156 194072 507926 | 2147483647 133971 58 | 0.006 % |
62.92/63.01 c | 134205 | 1156 194072 507926 | 2147483647 134205 58 | 0.006 % |
63.12/63.24 c | 134461 | 1156 194072 507926 | 2147483647 134461 58 | 0.006 % |
63.42/63.50 c | 134743 | 1156 194072 507926 | 2147483647 134743 58 | 0.006 % |
63.63/63.80 c | 135052 | 1156 194072 507926 | 2147483647 135052 58 | 0.006 % |
63.92/64.09 c | 135393 | 1156 194072 507926 | 2147483647 135393 58 | 0.000 % |
64.32/64.40 c | 135767 | 1156 194072 507926 | 2147483647 135767 58 | 0.006 % |
64.62/64.77 c | 136176 | 1156 194072 507926 | 2147483647 136176 58 | 0.006 % |
65.02/65.18 c | 136626 | 1156 194072 507926 | 2147483647 136626 58 | 0.006 % |
65.52/65.67 c | 137119 | 1156 194072 507926 | 2147483647 137119 57 | 0.006 % |
66.02/66.12 c | 137664 | 1156 194072 507926 | 2147483647 137664 57 | 0.006 % |
66.52/66.63 c | 138260 | 1156 194072 507926 | 2147483647 138260 57 | 0.006 % |
67.12/67.22 c | 138917 | 1156 194072 507926 | 2147483647 138917 57 | 0.006 % |
67.62/67.77 c | 139638 | 1156 194072 507926 | 2147483647 139638 57 | 0.006 % |
68.42/68.53 c | 140431 | 1156 194072 507926 | 2147483647 140431 57 | 0.006 % |
69.32/69.40 c | 141303 | 1156 194072 507926 | 2147483647 141303 57 | 0.006 % |
70.02/70.16 c | 142261 | 1156 194072 507926 | 2147483647 142261 57 | 0.006 % |
71.02/71.16 c | 143317 | 1156 194072 507926 | 2147483647 143317 57 | 0.006 % |
72.21/72.31 c | 144478 | 1156 194072 507926 | 2147483647 144478 57 | 0.006 % |
73.22/73.37 c | 145752 | 1156 194072 507926 | 2147483647 145752 57 | 0.006 % |
74.52/74.69 c | 147155 | 1156 194072 507926 | 2147483647 147155 57 | 0.006 % |
76.02/76.16 c | 148696 | 1156 194072 507926 | 2147483647 148696 57 | 0.006 % |
76.12/76.25 c | 148796 | 1156 194072 507926 | 2147483647 148796 57 | 0.006 % |
76.22/76.35 c | 148907 | 1156 194072 507926 | 2147483647 148907 57 | 0.006 % |
76.32/76.46 c | 149028 | 1156 194072 507926 | 2147483647 149028 57 | 0.006 % |
76.52/76.60 c | 149164 | 1156 194072 507926 | 2147483647 149164 57 | 0.000 % |
76.62/76.74 c | 149310 | 1156 194072 507926 | 2147483647 149310 57 | 0.000 % |
76.72/76.88 c | 149477 | 1156 194072 507926 | 2147483647 149477 57 | 0.006 % |
76.92/77.03 c | 149653 | 1156 194072 507926 | 2147483647 149653 57 | 0.006 % |
77.12/77.20 c | 149847 | 1156 194072 507926 | 2147483647 149847 57 | 0.006 % |
77.21/77.38 c | 150060 | 1156 194072 507926 | 2147483647 150060 57 | 0.006 % |
77.42/77.55 c | 150296 | 1156 194072 507926 | 2147483647 150296 57 | 0.000 % |
77.62/77.76 c | 150556 | 1156 194072 507926 | 2147483647 150556 57 | 0.000 % |
77.92/78.00 c | 150838 | 1156 194072 507926 | 2147483647 150838 57 | 0.000 % |
78.11/78.30 c | 151147 | 1156 194072 507926 | 2147483647 151147 57 | 0.006 % |
78.41/78.59 c | 151488 | 1156 194072 507926 | 2147483647 151488 57 | 0.006 % |
78.81/78.92 c | 151863 | 1156 194072 507926 | 2147483647 151863 57 | 0.006 % |
79.12/79.28 c | 152274 | 1156 194072 507926 | 2147483647 152274 57 | 0.006 % |
79.51/79.67 c | 152723 | 1156 194072 507926 | 2147483647 152723 57 | 0.006 % |
80.01/80.10 c | 153218 | 1156 194072 507926 | 2147483647 153218 57 | 0.006 % |
80.51/80.60 c | 153761 | 1156 194072 507926 | 2147483647 153761 57 | 0.006 % |
80.91/81.07 c | 154357 | 1156 194072 507926 | 2147483647 154357 57 | 0.006 % |
81.51/81.66 c | 155013 | 1156 194072 507926 | 2147483647 155013 57 | 0.006 % |
82.21/82.36 c | 155737 | 1156 194072 507926 | 2147483647 155737 57 | 0.000 % |
82.92/83.09 c | 156530 | 1156 194072 507926 | 2147483647 156530 57 | 0.006 % |
83.82/83.95 c | 157403 | 1156 194072 507926 | 2147483647 157403 57 | 0.000 % |
84.62/84.79 c | 158361 | 1156 194072 507926 | 2147483647 158361 57 | 0.006 % |
85.62/85.77 c | 159420 | 1156 194072 507926 | 2147483647 159420 57 | 0.006 % |
86.91/87.06 c | 160579 | 1156 194072 507926 | 2147483647 160579 57 | 0.006 % |
88.11/88.26 c | 161854 | 1156 194072 507926 | 2147483647 161854 57 | 0.000 % |
89.51/89.60 c | 163254 | 1156 194072 507926 | 2147483647 163254 58 | 0.006 % |
91.01/91.15 c | 164796 | 1156 194072 507926 | 2147483647 164796 57 | 0.006 % |
92.60/92.74 c | 166494 | 1156 194072 507926 | 2147483647 166494 57 | 0.006 % |
92.71/92.84 c | 166594 | 1156 194072 507926 | 2147483647 166594 57 | 0.006 % |
92.81/92.95 c | 166705 | 1156 194072 507926 | 2147483647 166705 57 | 0.000 % |
92.91/93.05 c | 166826 | 1156 194072 507926 | 2147483647 166826 57 | 0.006 % |
93.01/93.16 c | 166959 | 1156 194072 507926 | 2147483647 166959 57 | 0.006 % |
93.21/93.30 c | 167106 | 1156 194072 507926 | 2147483647 167106 57 | 0.006 % |
93.32/93.46 c | 167271 | 1156 194072 507926 | 2147483647 167271 57 | 0.006 % |
93.51/93.65 c | 167447 | 1156 194072 507926 | 2147483647 167447 57 | 0.006 % |
93.71/93.85 c | 167643 | 1156 194072 507926 | 2147483647 167643 57 | 0.006 % |
93.91/94.09 c | 167855 | 1156 194072 507926 | 2147483647 167855 57 | 0.006 % |
94.21/94.35 c | 168092 | 1156 194072 507926 | 2147483647 168092 57 | 0.006 % |
94.52/94.64 c | 168349 | 1156 194072 507926 | 2147483647 168349 57 | 0.000 % |
94.81/94.96 c | 168631 | 1156 194072 507926 | 2147483647 168631 57 | 0.006 % |
95.21/95.30 c | 168945 | 1156 194072 507926 | 2147483647 168945 57 | 0.006 % |
95.51/95.67 c | 169287 | 1156 194072 507926 | 2147483647 169287 57 | 0.006 % |
95.91/96.06 c | 169661 | 1156 194072 507926 | 2147483647 169661 57 | 0.006 % |
96.41/96.53 c | 170072 | 1156 194072 507926 | 2147483647 170072 57 | 0.006 % |
96.81/96.99 c | 170521 | 1156 194072 507926 | 2147483647 170521 57 | 0.000 % |
97.31/97.45 c | 171015 | 1156 194072 507926 | 2147483647 171015 57 | 0.000 % |
97.81/97.93 c | 171557 | 1156 194072 507926 | 2147483647 171557 58 | 0.000 % |
98.51/98.62 c | 172154 | 1156 194072 507926 | 2147483647 172154 58 | 0.000 % |
99.10/99.25 c | 172810 | 1156 194072 507926 | 2147483647 172810 58 | 0.000 % |
99.80/99.93 c | 173533 | 1156 194072 507926 | 2147483647 173533 58 | 0.006 % |
100.60/100.78 c | 174325 | 1156 194072 507926 | 2147483647 174325 58 | 0.000 % |
101.70/101.81 c | 175197 | 1156 194072 507926 | 2147483647 175197 58 | 0.006 % |
102.70/102.83 c | 176155 | 1156 194072 507926 | 2147483647 176155 58 | 0.000 % |
103.70/103.86 c | 177208 | 1156 194072 507926 | 2147483647 177208 58 | 0.000 % |
105.01/105.10 c | 178368 | 1156 194072 507926 | 2147483647 178368 58 | 0.006 % |
106.31/106.44 c | 179641 | 1156 194072 507926 | 2147483647 179641 58 | 0.006 % |
107.71/107.81 c | 181042 | 1156 194072 507926 | 2147483647 181042 58 | 0.006 % |
109.20/109.38 c | 182582 | 1156 194072 507926 | 2147483647 182582 58 | 0.000 % |
111.20/111.33 c | 184276 | 1156 194072 507926 | 2147483647 184276 59 | 0.000 % |
113.50/113.63 c | 186140 | 1156 194072 507926 | 2147483647 186140 59 | 0.000 % |
113.60/113.75 c | 186241 | 1156 194072 507926 | 2147483647 186241 59 | 0.006 % |
113.70/113.88 c | 186351 | 1156 194072 507926 | 2147483647 186351 59 | 0.006 % |
113.90/114.03 c | 186472 | 1156 194072 507926 | 2147483647 186472 59 | 0.006 % |
114.00/114.18 c | 186607 | 1156 194072 507926 | 2147483647 186607 59 | 0.006 % |
114.20/114.37 c | 186753 | 1156 194072 507926 | 2147483647 186753 59 | 0.006 % |
114.40/114.58 c | 186913 | 1156 194072 507926 | 2147483647 186913 59 | 0.006 % |
114.60/114.80 c | 187089 | 1156 194072 507926 | 2147483647 187089 59 | 0.006 % |
114.80/115.00 c | 187283 | 1156 194072 507926 | 2147483647 187283 59 | 0.000 % |
115.09/115.22 c | 187497 | 1156 194072 507926 | 2147483647 187497 59 | 0.000 % |
115.40/115.55 c | 187731 | 1156 194072 507926 | 2147483647 187731 59 | 0.000 % |
115.69/115.84 c | 187989 | 1156 194072 507926 | 2147483647 187989 59 | 0.006 % |
115.99/116.15 c | 188275 | 1156 194072 507926 | 2147483647 188275 59 | 0.006 % |
116.40/116.51 c | 188585 | 1156 194072 507926 | 2147483647 188585 59 | 0.006 % |
116.69/116.89 c | 188925 | 1156 194072 507926 | 2147483647 188925 59 | 0.000 % |
117.19/117.36 c | 189299 | 1156 194072 507926 | 2147483647 189299 59 | 0.006 % |
117.69/117.84 c | 189708 | 1156 194072 507926 | 2147483647 189708 59 | 0.006 % |
118.10/118.25 c | 190159 | 1156 194072 507926 | 2147483647 190159 59 | 0.006 % |
118.61/118.78 c | 190652 | 1156 194072 507926 | 2147483647 190652 59 | 0.006 % |
119.20/119.34 c | 191194 | 1156 194072 507926 | 2147483647 191194 59 | 0.006 % |
119.70/119.89 c | 191792 | 1156 194072 507926 | 2147483647 191792 59 | 0.006 % |
120.40/120.55 c | 192447 | 1156 194072 507926 | 2147483647 192447 59 | 0.006 % |
121.10/121.29 c | 193167 | 1156 194072 507926 | 2147483647 193167 59 | 0.006 % |
122.00/122.10 c | 193960 | 1156 194072 507926 | 2147483647 193960 59 | 0.006 % |
123.00/123.19 c | 194831 | 1156 194072 507926 | 2147483647 194831 59 | 0.006 % |
124.39/124.50 c | 195791 | 1156 194072 507926 | 2147483647 195791 58 | 0.006 % |
125.49/125.65 c | 196844 | 1156 194072 507926 | 2147483647 196844 58 | 0.006 % |
126.99/127.16 c | 198003 | 1156 194072 507926 | 2147483647 198003 58 | 0.006 % |
128.49/128.61 c | 199276 | 1156 194072 507926 | 2147483647 199276 59 | 0.000 % |
130.29/130.44 c | 200678 | 1156 194072 507926 | 2147483647 200678 59 | 0.006 % |
131.99/132.17 c | 202224 | 1156 194072 507926 | 2147483647 202224 59 | 0.006 % |
134.10/134.26 c | 203918 | 1156 194072 507926 | 2147483647 203918 58 | 0.006 % |
136.59/136.78 c | 205781 | 1156 194072 507926 | 2147483647 205781 58 | 0.006 % |
139.29/139.45 c | 207830 | 1156 194072 507926 | 2147483647 207830 58 | 0.006 % |
139.49/139.60 c | 207931 | 1156 194072 507926 | 2147483647 207931 58 | 0.006 % |
139.59/139.72 c | 208042 | 1156 194072 507926 | 2147483647 208042 58 | 0.006 % |
139.69/139.85 c | 208163 | 1156 194072 507926 | 2147483647 208163 58 | 0.000 % |
139.89/140.01 c | 208297 | 1156 194072 507926 | 2147483647 208297 58 | 0.000 % |
139.99/140.19 c | 208443 | 1156 194072 507926 | 2147483647 208443 58 | 0.000 % |
140.19/140.38 c | 208605 | 1156 194072 507926 | 2147483647 208605 58 | 0.006 % |
140.49/140.60 c | 208782 | 1156 194072 507926 | 2147483647 208782 58 | 0.006 % |
140.69/140.85 c | 208977 | 1156 194072 507926 | 2147483647 208977 58 | 0.006 % |
140.99/141.14 c | 209190 | 1156 194072 507926 | 2147483647 209190 58 | 0.006 % |
141.29/141.43 c | 209425 | 1156 194072 507926 | 2147483647 209425 58 | 0.006 % |
141.59/141.73 c | 209682 | 1156 194072 507926 | 2147483647 209682 58 | 0.006 % |
141.99/142.10 c | 209964 | 1156 194072 507926 | 2147483647 209964 58 | 0.006 % |
142.28/142.40 c | 210273 | 1156 194072 507926 | 2147483647 210273 58 | 0.006 % |
142.58/142.75 c | 210612 | 1156 194072 507926 | 2147483647 210612 58 | 0.006 % |
142.98/143.18 c | 210984 | 1156 194072 507926 | 2147483647 210984 58 | 0.006 % |
143.58/143.73 c | 211394 | 1156 194072 507926 | 2147483647 211394 58 | 0.006 % |
144.18/144.38 c | 211847 | 1156 194072 507926 | 2147483647 211847 58 | 0.006 % |
144.88/145.04 c | 212342 | 1156 194072 507926 | 2147483647 212342 58 | 0.006 % |
145.48/145.65 c | 212884 | 1156 194072 507926 | 2147483647 212884 58 | 0.006 % |
146.28/146.41 c | 213481 | 1156 194072 507926 | 2147483647 213481 58 | 0.006 % |
146.98/147.11 c | 214137 | 1156 194072 507926 | 2147483647 214137 58 | 0.006 % |
147.78/147.93 c | 214858 | 1156 194072 507926 | 2147483647 214858 58 | 0.006 % |
148.68/148.86 c | 215652 | 1156 194072 507926 | 2147483647 215652 58 | 0.000 % |
149.88/150.08 c | 216524 | 1156 194072 507926 | 2147483647 216524 58 | 0.006 % |
151.18/151.30 c | 217487 | 1156 194072 507926 | 2147483647 217487 58 | 0.000 % |
152.38/152.53 c | 218542 | 1156 194072 507926 | 2147483647 218542 58 | 0.000 % |
153.68/153.88 c | 219702 | 1156 194072 507926 | 2147483647 219702 59 | 0.000 % |
155.07/155.27 c | 220975 | 1156 194072 507926 | 2147483647 220975 59 | 0.006 % |
156.88/157.05 c | 222376 | 1156 194072 507926 | 2147483647 222376 59 | 0.006 % |
158.88/159.01 c | 223916 | 1156 194072 507926 | 2147483647 223916 59 | 0.006 % |
160.88/161.05 c | 225610 | 1156 194072 507926 | 2147483647 225610 59 | 0.006 % |
163.17/163.39 c | 227476 | 1156 194072 507926 | 2147483647 227476 58 | 0.006 % |
165.88/166.10 c | 229525 | 1156 194072 507926 | 2147483647 229525 58 | 0.006 % |
168.77/168.93 c | 231778 | 1156 194072 507926 | 2147483647 231778 59 | 0.000 % |
168.87/169.06 c | 231880 | 1156 194072 507926 | 2147483647 231880 59 | 0.006 % |
168.97/169.20 c | 231991 | 1156 194072 507926 | 2147483647 231991 59 | 0.006 % |
169.18/169.38 c | 232113 | 1156 194072 507926 | 2147483647 232113 59 | 0.006 % |
169.37/169.57 c | 232248 | 1156 194072 507926 | 2147483647 232248 59 | 0.000 % |
169.57/169.79 c | 232396 | 1156 194072 507926 | 2147483647 232396 59 | 0.006 % |
169.87/170.03 c | 232557 | 1156 194072 507926 | 2147483647 232557 59 | 0.006 % |
170.07/170.24 c | 232733 | 1156 194072 507926 | 2147483647 232733 59 | 0.000 % |
170.28/170.43 c | 232928 | 1156 194072 507926 | 2147483647 232928 59 | 0.006 % |
170.57/170.72 c | 233140 | 1156 194072 507926 | 2147483647 233140 59 | 0.006 % |
170.87/171.06 c | 233373 | 1156 194072 507926 | 2147483647 233373 59 | 0.006 % |
171.27/171.44 c | 233629 | 1156 194072 507926 | 2147483647 233629 59 | 0.006 % |
171.67/171.82 c | 233912 | 1156 194072 507926 | 2147483647 233912 59 | 0.006 % |
172.07/172.26 c | 234222 | 1156 194072 507926 | 2147483647 234222 59 | 0.006 % |
172.58/172.77 c | 234561 | 1156 194072 507926 | 2147483647 234561 59 | 0.006 % |
173.17/173.37 c | 234936 | 1156 194072 507926 | 2147483647 234936 59 | 0.000 % |
173.68/173.81 c | 235349 | 1156 194072 507926 | 2147483647 235349 59 | 0.006 % |
174.07/174.30 c | 235800 | 1156 194072 507926 | 2147483647 235800 59 | 0.006 % |
174.78/174.94 c | 236295 | 1156 194072 507926 | 2147483647 236295 59 | 0.000 % |
175.47/175.68 c | 236837 | 1156 194072 507926 | 2147483647 236837 59 | 0.006 % |
176.27/176.48 c | 237433 | 1156 194072 507926 | 2147483647 237433 59 | 0.006 % |
177.17/177.38 c | 238088 | 1156 194072 507926 | 2147483647 238088 59 | 0.006 % |
177.97/178.11 c | 238809 | 1156 194072 507926 | 2147483647 238809 59 | 0.000 % |
179.27/179.47 c | 239602 | 1156 194072 507926 | 2147483647 239602 59 | 0.006 % |
180.47/180.65 c | 240478 | 1156 194072 507926 | 2147483647 240478 59 | 0.000 % |
181.97/182.13 c | 241439 | 1156 194072 507926 | 2147483647 241439 59 | 0.006 % |
183.67/183.88 c | 242497 | 1156 194072 507926 | 2147483647 242497 59 | 0.006 % |
185.37/185.51 c | 243656 | 1156 194072 507926 | 2147483647 243656 59 | 0.006 % |
187.07/187.28 c | 244934 | 1156 194072 507926 | 2147483647 244934 59 | 0.006 % |
189.07/189.30 c | 246336 | 1156 194072 507926 | 2147483647 246336 59 | 0.006 % |
191.17/191.34 c | 247878 | 1156 194072 507926 | 2147483647 247878 59 | 0.000 % |
193.56/193.78 c | 249573 | 1156 194072 507926 | 2147483647 249573 59 | 0.006 % |
196.56/196.71 c | 251436 | 1156 194072 507926 | 250000 221334 58 | 0.000 % |
199.36/199.52 c | 253485 | 1156 194072 507926 | 250000 223383 58 | 0.006 % |
202.06/202.26 c | 255739 | 1156 194072 507926 | 250000 225637 58 | 0.006 % |
205.26/205.48 c | 258217 | 1156 194072 507926 | 250000 228115 58 | 0.006 % |
205.46/205.63 c | 258320 | 1156 194072 507926 | 250000 228218 58 | 0.006 % |
205.65/205.80 c | 258431 | 1156 194072 507926 | 250000 228329 58 | 0.006 % |
205.85/206.04 c | 258555 | 1156 194072 507926 | 250000 228453 58 | 0.006 % |
206.05/206.24 c | 258688 | 1156 194072 507926 | 250000 228586 58 | 0.000 % |
206.25/206.45 c | 258834 | 1156 194072 507926 | 250000 228732 58 | 0.006 % |
206.45/206.61 c | 258994 | 1156 194072 507926 | 250000 228892 58 | 0.000 % |
206.66/206.89 c | 259170 | 1156 194072 507926 | 250000 229068 58 | 0.006 % |
207.05/207.20 c | 259368 | 1156 194072 507926 | 250000 229266 58 | 0.006 % |
207.35/207.56 c | 259581 | 1156 194072 507926 | 250000 229479 58 | 0.006 % |
207.66/207.87 c | 259814 | 1156 194072 507926 | 250000 229712 58 | 0.000 % |
208.05/208.26 c | 260072 | 1156 194072 507926 | 229898 229970 58 | 0.006 % |
208.76/208.99 c | 260356 | 1156 194072 507926 | 229898 206706 58 | 0.000 % |
209.15/209.37 c | 260666 | 1156 194072 507926 | 229898 207016 58 | 0.006 % |
209.65/209.87 c | 261005 | 1156 194072 507926 | 229898 207355 58 | 0.000 % |
210.15/210.32 c | 261377 | 1156 194072 507926 | 229898 207727 58 | 0.000 % |
210.65/210.84 c | 261788 | 1156 194072 507926 | 229898 208138 58 | 0.006 % |
211.25/211.42 c | 262238 | 1156 194072 507926 | 229898 208588 58 | 0.006 % |
211.95/212.17 c | 262733 | 1156 194072 507926 | 229898 209083 58 | 0.006 % |
212.75/212.90 c | 263280 | 1156 194072 507926 | 229898 209630 58 | 0.006 % |
213.65/213.86 c | 263878 | 1156 194072 507926 | 229898 210228 58 | 0.006 % |
214.65/214.83 c | 264537 | 1156 194072 507926 | 229898 210887 58 | 0.006 % |
215.45/215.66 c | 265259 | 1156 194072 507926 | 229898 211609 58 | 0.000 % |
216.45/216.69 c | 266055 | 1156 194072 507926 | 229898 212405 58 | 0.006 % |
217.75/217.94 c | 266927 | 1156 194072 507926 | 229898 213277 58 | 0.000 % |
219.05/219.23 c | 267886 | 1156 194072 507926 | 229898 214236 58 | 0.000 % |
220.55/220.72 c | 268940 | 1156 194072 507926 | 229898 215290 58 | 0.006 % |
222.15/222.35 c | 270099 | 1156 194072 507926 | 2147483647 216449 58 | 0.006 % |
223.95/224.11 c | 271372 | 1156 194072 507926 | 2147483647 217722 59 | 0.000 % |
226.04/226.22 c | 272773 | 1156 194072 507926 | 2147483647 219123 58 | 0.000 % |
228.14/228.35 c | 274318 | 1156 194072 507926 | 2147483647 220668 58 | 0.006 % |
230.75/230.98 c | 276016 | 1156 194072 507926 | 2147483647 222366 58 | 0.006 % |
232.95/233.19 c | 277879 | 1156 194072 507926 | 2147483647 224229 59 | 0.000 % |
235.54/235.77 c | 279932 | 1156 194072 507926 | 2147483647 226282 59 | 0.000 % |
238.54/238.72 c | 282185 | 1156 194072 507926 | 2147483647 228535 59 | 0.006 % |
242.04/242.27 c | 284665 | 1156 194072 507926 | 2147483647 231015 59 | 0.006 % |
245.84/246.02 c | 287394 | 1156 194072 507926 | 2147483647 233744 59 | 0.006 % |
245.94/246.19 c | 287495 | 1156 194072 507926 | 2147483647 233845 59 | 0.006 % |
246.14/246.40 c | 287606 | 1156 194072 507926 | 2147483647 233956 59 | 0.006 % |
246.44/246.62 c | 287727 | 1156 194072 507926 | 2147483647 234077 59 | 0.006 % |
246.63/246.82 c | 287861 | 1156 194072 507926 | 2147483647 234211 59 | 0.006 % |
246.83/247.07 c | 288010 | 1156 194072 507926 | 2147483647 234360 59 | 0.006 % |
247.03/247.29 c | 288171 | 1156 194072 507926 | 2147483647 234521 59 | 0.000 % |
247.34/247.56 c | 288348 | 1156 194072 507926 | 2147483647 234698 59 | 0.006 % |
247.63/247.83 c | 288543 | 1156 194072 507926 | 2147483647 234893 59 | 0.006 % |
247.93/248.10 c | 288755 | 1156 194072 507926 | 2147483647 235105 59 | 0.000 % |
248.23/248.43 c | 288988 | 1156 194072 507926 | 2147483647 235338 59 | 0.000 % |
248.64/248.80 c | 289244 | 1156 194072 507926 | 2147483647 235594 59 | 0.006 % |
249.04/249.22 c | 289527 | 1156 194072 507926 | 2147483647 235877 59 | 0.006 % |
249.45/249.69 c | 289837 | 1156 194072 507926 | 2147483647 236187 59 | 0.000 % |
249.94/250.12 c | 290176 | 1156 194072 507926 | 236352 236526 59 | 0.000 % |
250.84/251.00 c | 290555 | 1156 194072 507926 | 236352 208358 60 | 0.006 % |
251.34/251.53 c | 290964 | 1156 194072 507926 | 236352 208767 60 | 0.000 % |
251.94/252.12 c | 291413 | 1156 194072 507926 | 236352 209216 60 | 0.006 % |
252.54/252.71 c | 291907 | 1156 194072 507926 | 236352 209710 60 | 0.006 % |
253.34/253.55 c | 292449 | 1156 194072 507926 | 236352 210252 60 | 0.006 % |
254.24/254.45 c | 293047 | 1156 194072 507926 | 236352 210850 60 | 0.006 % |
254.94/255.20 c | 293703 | 1156 194072 507926 | 236352 211506 60 | 0.000 % |
256.24/256.40 c | 294424 | 1156 194072 507926 | 236352 212227 60 | 0.006 % |
257.34/257.57 c | 295216 | 1156 194072 507926 | 236352 213019 60 | 0.006 % |
258.64/258.85 c | 296088 | 1156 194072 507926 | 236352 213891 60 | 0.006 % |
259.84/260.04 c | 297048 | 1156 194072 507926 | 236352 214851 60 | 0.000 % |
261.14/261.39 c | 298102 | 1156 194072 507926 | 236352 215905 60 | 0.000 % |
262.74/262.93 c | 299262 | 1156 194072 507926 | 236352 217065 60 | 0.006 % |
265.03/265.20 c | 300535 | 1156 194072 507926 | 217803 194543 61 | 0.006 % |
266.93/267.17 c | 301935 | 1156 194072 507926 | 217803 195943 61 | 0.000 % |
269.03/269.23 c | 303476 | 1156 194072 507926 | 217803 197484 62 | 0.000 % |
271.54/271.79 c | 305171 | 1156 194072 507926 | 217803 199179 62 | 0.006 % |
274.33/274.55 c | 307035 | 1156 194072 507926 | 217803 201043 61 | 0.006 % |
277.63/277.84 c | 309084 | 1156 194072 507926 | 217803 203092 62 | 0.000 % |
281.23/281.45 c | 311339 | 1156 194072 507926 | 204009 184018 63 | 0.000 % |
284.83/285.07 c | 313818 | 1156 194072 507926 | 204009 186497 63 | 0.000 % |
289.03/289.28 c | 316543 | 1156 194072 507926 | 204009 189222 63 | 0.006 % |
293.32/293.57 c | 319540 | 1156 194072 507926 | 204009 192219 64 | 0.000 % |
293.53/293.74 c | 319641 | 1156 194072 507926 | 204009 192320 64 | 0.000 % |
293.72/293.93 c | 319751 | 1156 194072 507926 | 204009 192430 64 | 0.006 % |
293.92/294.12 c | 319872 | 1156 194072 507926 | 204009 192551 64 | 0.006 % |
294.12/294.33 c | 320005 | 1156 194072 507926 | 192681 192684 64 | 0.006 % |
294.63/294.86 c | 320151 | 1156 194072 507926 | 192681 170185 64 | 0.000 % |
294.92/295.11 c | 320315 | 1156 194072 507926 | 192681 170349 64 | 0.006 % |
295.12/295.39 c | 320493 | 1156 194072 507926 | 192681 170527 64 | 0.006 % |
295.42/295.65 c | 320686 | 1156 194072 507926 | 192681 170720 64 | 0.006 % |
295.82/296.03 c | 320900 | 1156 194072 507926 | 192681 170934 64 | 0.006 % |
296.22/296.47 c | 321133 | 1156 194072 507926 | 192681 171167 64 | 0.006 % |
296.62/296.83 c | 321391 | 1156 194072 507926 | 192681 171425 64 | 0.006 % |
297.02/297.28 c | 321672 | 1156 194072 507926 | 192681 171706 64 | 0.006 % |
297.52/297.73 c | 321983 | 1156 194072 507926 | 192681 172017 64 | 0.006 % |
298.02/298.27 c | 322323 | 1156 194072 507926 | 192681 172357 64 | 0.006 % |
298.62/298.85 c | 322706 | 1156 194072 507926 | 192681 172740 64 | 0.006 % |
299.22/299.44 c | 323118 | 1156 194072 507926 | 192681 173152 64 | 0.006 % |
299.82/300.05 c | 323568 | 1156 194072 507926 | 192681 173602 64 | 0.006 % |
300.52/300.70 c | 324062 | 1156 194072 507926 | 192681 174096 64 | 0.000 % |
301.22/301.40 c | 324605 | 1156 194072 507926 | 192681 174639 65 | 0.000 % |
302.22/302.42 c | 325204 | 1156 194072 507926 | 192681 175238 65 | 0.000 % |
303.32/303.53 c | 325861 | 1156 194072 507926 | 192681 175895 65 | 0.006 % |
304.32/304.60 c | 326582 | 1156 194072 507926 | 192681 176616 64 | 0.006 % |
305.42/305.62 c | 327374 | 1156 194072 507926 | 192681 177408 65 | 0.000 % |
306.82/307.02 c | 328245 | 1156 194072 507926 | 192681 178279 65 | 0.006 % |
308.22/308.40 c | 329204 | 1156 194072 507926 | 192681 179238 65 | 0.006 % |
309.72/309.94 c | 330257 | 1156 194072 507926 | 180034 180291 65 | 0.006 % |
311.71/311.92 c | 331415 | 1156 194072 507926 | 180034 160593 64 | 0.006 % |
313.81/314.05 c | 332690 | 1156 194072 507926 | 180034 161868 64 | 0.006 % |
316.01/316.21 c | 334090 | 1156 194072 507926 | 180034 163268 64 | 0.006 % |
318.01/318.24 c | 335630 | 1156 194072 507926 | 180034 164808 65 | 0.000 % |
320.31/320.51 c | 337327 | 1156 194072 507926 | 180034 166505 65 | 0.000 % |
323.01/323.25 c | 339190 | 1156 194072 507926 | 180034 168368 65 | 0.006 % |
326.41/326.63 c | 341239 | 1156 194072 507926 | 169178 150940 65 | 0.006 % |
329.60/329.88 c | 343492 | 1156 194072 507926 | 169178 153193 65 | 0.006 % |
333.11/333.33 c | 345971 | 1156 194072 507926 | 169178 155672 64 | 0.006 % |
337.00/337.28 c | 348699 | 1156 194072 507926 | 169178 158400 64 | 0.006 % |
341.81/342.08 c | 351698 | 1156 194072 507926 | 159703 141937 64 | 0.000 % |
346.90/347.19 c | 354994 | 1156 194072 507926 | 159703 145233 63 | 0.006 % |
347.10/347.35 c | 355094 | 1156 194072 507926 | 159703 145333 63 | 0.006 % |
347.30/347.51 c | 355207 | 1156 194072 507926 | 159703 145446 63 | 0.000 % |
347.40/347.69 c | 355328 | 1156 194072 507926 | 159703 145567 63 | 0.006 % |
347.70/347.90 c | 355463 | 1156 194072 507926 | 159703 145702 63 | 0.000 % |
347.90/348.15 c | 355609 | 1156 194072 507926 | 159703 145848 63 | 0.006 % |
348.10/348.38 c | 355771 | 1156 194072 507926 | 159703 146010 63 | 0.006 % |
348.40/348.66 c | 355947 | 1156 194072 507926 | 159703 146186 63 | 0.006 % |
348.70/348.91 c | 356143 | 1156 194072 507926 | 159703 146382 63 | 0.006 % |
348.90/349.19 c | 356357 | 1156 194072 507926 | 159703 146596 63 | 0.006 % |
349.30/349.52 c | 356590 | 1156 194072 507926 | 159703 146829 63 | 0.006 % |
349.70/349.90 c | 356847 | 1156 194072 507926 | 159703 147086 63 | 0.000 % |
350.10/350.38 c | 357134 | 1156 194072 507926 | 159703 147373 63 | 0.006 % |
350.60/350.86 c | 357444 | 1156 194072 507926 | 159703 147683 63 | 0.006 % |
351.10/351.32 c | 357785 | 1156 194072 507926 | 159703 148024 63 | 0.006 % |
351.70/351.96 c | 358161 | 1156 194072 507926 | 159703 148400 63 | 0.006 % |
352.40/352.62 c | 358571 | 1156 194072 507926 | 159703 148810 63 | 0.006 % |
352.90/353.13 c | 359021 | 1156 194072 507926 | 159703 149260 63 | 0.000 % |
353.59/353.81 c | 359514 | 1156 194072 507926 | 159703 149753 63 | 0.000 % |
354.19/354.50 c | 360058 | 1156 194072 507926 | 150242 150297 64 | 0.000 % |
355.29/355.52 c | 360655 | 1156 194072 507926 | 150242 134597 64 | 0.000 % |
356.10/356.36 c | 361310 | 1156 194072 507926 | 150242 135252 64 | 0.006 % |
357.20/357.41 c | 362032 | 1156 194072 507926 | 150242 135974 64 | 0.006 % |
358.09/358.33 c | 362826 | 1156 194072 507926 | 150242 136768 65 | 0.000 % |
359.39/359.65 c | 363698 | 1156 194072 507926 | 150242 137640 65 | 0.000 % |
360.60/360.90 c | 364659 | 1156 194072 507926 | 150242 138601 64 | 0.006 % |
362.20/362.49 c | 365712 | 1156 194072 507926 | 150242 139654 64 | 0.006 % |
363.70/363.92 c | 366871 | 1156 194072 507926 | 150242 140813 64 | 0.006 % |
365.70/365.94 c | 368146 | 1156 194072 507926 | 150242 142088 64 | 0.006 % |
368.00/368.30 c | 369548 | 1156 194072 507926 | 150242 143490 64 | 0.006 % |
370.20/370.41 c | 371090 | 1156 194072 507926 | 2147483647 145032 65 | 0.000 % |
372.50/372.76 c | 372785 | 1156 194072 507926 | 2147483647 146727 65 | 0.000 % |
375.19/375.46 c | 374651 | 1156 194072 507926 | 2147483647 148593 65 | 0.000 % |
378.49/378.72 c | 376703 | 1156 194072 507926 | 2147483647 150645 65 | 0.006 % |
382.29/382.53 c | 378960 | 1156 194072 507926 | 2147483647 152902 65 | 0.006 % |
387.09/387.31 c | 381438 | 1156 194072 507926 | 153944 137400 66 | 0.006 % |
391.39/391.64 c | 384165 | 1156 194072 507926 | 153944 140127 65 | 0.006 % |
395.79/396.00 c | 387164 | 1156 194072 507926 | 153944 143126 65 | 0.006 % |
400.48/400.74 c | 390461 | 1156 194072 507926 | 145963 146423 65 | 0.006 % |
406.48/406.79 c | 394086 | 1156 194072 507926 | 145963 131513 64 | 0.006 % |
406.69/406.96 c | 394186 | 1156 194072 507926 | 145963 131613 64 | 0.000 % |
406.88/407.12 c | 394301 | 1156 194072 507926 | 145963 131728 64 | 0.006 % |
407.08/407.32 c | 394422 | 1156 194072 507926 | 145963 131849 64 | 0.006 % |
407.28/407.54 c | 394555 | 1156 194072 507926 | 145963 131982 64 | 0.006 % |
407.48/407.76 c | 394701 | 1156 194072 507926 | 145963 132128 64 | 0.000 % |
407.79/408.04 c | 394863 | 1156 194072 507926 | 145963 132290 64 | 0.006 % |
407.98/408.27 c | 395042 | 1156 194072 507926 | 145963 132469 64 | 0.006 % |
408.28/408.51 c | 395236 | 1156 194072 507926 | 145963 132663 64 | 0.000 % |
408.48/408.79 c | 395449 | 1156 194072 507926 | 145963 132876 64 | 0.006 % |
408.78/409.07 c | 395682 | 1156 194072 507926 | 145963 133109 64 | 0.006 % |
409.28/409.50 c | 395939 | 1156 194072 507926 | 145963 133366 64 | 0.006 % |
409.68/409.91 c | 396221 | 1156 194072 507926 | 145963 133648 64 | 0.006 % |
410.08/410.32 c | 396530 | 1156 194072 507926 | 145963 133957 64 | 0.006 % |
410.58/410.85 c | 396872 | 1156 194072 507926 | 145963 134299 64 | 0.000 % |
411.18/411.48 c | 397244 | 1156 194072 507926 | 145963 134671 64 | 0.006 % |
411.78/412.07 c | 397656 | 1156 194072 507926 | 145963 135083 64 | 0.006 % |
412.38/412.69 c | 398105 | 1156 194072 507926 | 145963 135532 64 | 0.006 % |
412.98/413.21 c | 398598 | 1156 194072 507926 | 145963 136025 64 | 0.006 % |
413.58/413.84 c | 399145 | 1156 194072 507926 | 145963 136572 64 | 0.000 % |
414.38/414.66 c | 399742 | 1156 194072 507926 | 145963 137169 64 | 0.006 % |
415.48/415.72 c | 400400 | 1156 194072 507926 | 137428 137827 64 | 0.006 % |
416.78/417.03 c | 401120 | 1156 194072 507926 | 137428 122774 64 | 0.006 % |
417.88/418.11 c | 401915 | 1156 194072 507926 | 137428 123569 64 | 0.006 % |
418.97/419.28 c | 402787 | 1156 194072 507926 | 137428 124441 63 | 0.006 % |
420.37/420.64 c | 403746 | 1156 194072 507926 | 137428 125400 63 | 0.006 % |
421.77/422.02 c | 404799 | 1156 194072 507926 | 137428 126453 63 | 0.006 % |
423.47/423.72 c | 405957 | 1156 194072 507926 | 137428 127611 63 | 0.006 % |
425.27/425.57 c | 407231 | 1156 194072 507926 | 137428 128885 63 | 0.006 % |
427.58/427.81 c | 408633 | 1156 194072 507926 | 137428 130287 63 | 0.006 % |
429.77/430.01 c | 410174 | 1156 194072 507926 | 2147483647 131828 62 | 0.006 % |
432.67/432.92 c | 411868 | 1156 194072 507926 | 2147483647 133522 62 | 0.006 % |
435.67/435.92 c | 413732 | 1156 194072 507926 | 2147483647 135386 62 | 0.006 % |
438.77/439.03 c | 415785 | 1156 194072 507926 | 2147483647 137439 61 | 0.006 % |
442.16/442.43 c | 418039 | 1156 194072 507926 | 2147483647 139693 61 | 0.006 % |
444.96/445.25 c | 420518 | 1156 194072 507926 | 141656 142172 63 | 0.000 % |
448.47/448.70 c | 423245 | 1156 194072 507926 | 141656 129845 60 | 0.000 % |
452.66/452.98 c | 426243 | 1156 194072 507926 | 141656 132843 60 | 0.006 % |
457.16/457.49 c | 429540 | 1156 194072 507926 | 141656 136140 59 | 0.006 % |
462.15/462.43 c | 433168 | 1156 194072 507926 | 136603 125190 58 | 0.000 % |
467.65/467.96 c | 437158 | 1156 194072 507926 | 136603 129180 58 | 0.006 % |
467.85/468.10 c | 437258 | 1156 194072 507926 | 136603 129280 58 | 0.006 % |
467.95/468.22 c | 437371 | 1156 194072 507926 | 136603 129393 58 | 0.006 % |
468.05/468.40 c | 437492 | 1156 194072 507926 | 136603 129514 58 | 0.006 % |
468.25/468.58 c | 437625 | 1156 194072 507926 | 136603 129647 58 | 0.006 % |
468.45/468.78 c | 437771 | 1156 194072 507926 | 136603 129793 58 | 0.006 % |
468.75/469.02 c | 437931 | 1156 194072 507926 | 136603 129953 58 | 0.006 % |
468.95/469.21 c | 438108 | 1156 194072 507926 | 136603 130130 58 | 0.006 % |
469.25/469.53 c | 438303 | 1156 194072 507926 | 136603 130325 57 | 0.006 % |
469.45/469.79 c | 438518 | 1156 194072 507926 | 136603 130540 57 | 0.006 % |
469.85/470.13 c | 438751 | 1156 194072 507926 | 136603 130773 58 | 0.000 % |
470.15/470.43 c | 439008 | 1156 194072 507926 | 136603 131030 58 | 0.006 % |
470.45/470.79 c | 439290 | 1156 194072 507926 | 136603 131312 58 | 0.000 % |
470.95/471.20 c | 439604 | 1156 194072 507926 | 136603 131626 58 | 0.000 % |
471.35/471.65 c | 439944 | 1156 194072 507926 | 136603 131966 58 | 0.006 % |
471.85/472.16 c | 440317 | 1156 194072 507926 | 2147483647 132339 58 | 0.006 % |
472.45/472.71 c | 440726 | 1156 194072 507926 | 2147483647 132748 58 | 0.006 % |
473.05/473.31 c | 441176 | 1156 194072 507926 | 2147483647 133198 58 | 0.006 % |
473.65/473.94 c | 441669 | 1156 194072 507926 | 2147483647 133691 58 | 0.006 % |
474.35/474.66 c | 442213 | 1156 194072 507926 | 2147483647 134235 58 | 0.006 % |
475.15/475.42 c | 442812 | 1156 194072 507926 | 2147483647 134834 58 | 0.006 % |
475.95/476.26 c | 443467 | 1156 194072 507926 | 2147483647 135489 58 | 0.000 % |
476.85/477.16 c | 444189 | 1156 194072 507926 | 2147483647 136211 58 | 0.006 % |
477.95/478.20 c | 444981 | 1156 194072 507926 | 2147483647 137003 58 | 0.006 % |
479.15/479.48 c | 445853 | 1156 194072 507926 | 2147483647 137875 57 | 0.006 % |
480.65/480.93 c | 446815 | 1156 194072 507926 | 2147483647 138837 57 | 0.006 % |
481.95/482.28 c | 447868 | 1156 194072 507926 | 2147483647 139890 57 | 0.006 % |
483.45/483.76 c | 449031 | 1156 194072 507926 | 2147483647 141053 57 | 0.006 % |
485.05/485.32 c | 450305 | 1156 194072 507926 | 2147483647 142327 58 | 0.000 % |
486.74/487.03 c | 451705 | 1156 194072 507926 | 2147483647 143727 59 | 0.000 % |
488.94/489.26 c | 453246 | 1156 194072 507926 | 2147483647 145268 58 | 0.006 % |
491.64/491.94 c | 454942 | 1156 194072 507926 | 2147483647 146964 58 | 0.006 % |
494.54/494.82 c | 456807 | 1156 194072 507926 | 2147483647 148829 58 | 0.006 % |
497.94/498.26 c | 458858 | 1156 194072 507926 | 2147483647 150880 58 | 0.006 % |
502.24/502.50 c | 461111 | 1156 194072 507926 | 152022 137302 59 | 0.006 % |
505.74/506.07 c | 463589 | 1156 194072 507926 | 152022 139780 59 | 0.006 % |
509.83/510.15 c | 466317 | 1156 194072 507926 | 152022 142508 61 | 0.000 % |
514.03/514.32 c | 469314 | 1156 194072 507926 | 152022 145505 61 | 0.006 % |
518.63/518.95 c | 472613 | 1156 194072 507926 | 146191 130566 58 | 0.000 % |
523.63/523.93 c | 476239 | 1156 194072 507926 | 146191 134192 58 | 0.006 % |
529.74/530.07 c | 480226 | 1156 194072 507926 | 137954 138179 58 | 0.006 % |
536.83/537.12 c | 484613 | 1156 194072 507926 | 137954 125512 56 | 0.006 % |
536.93/537.28 c | 484713 | 1156 194072 507926 | 137954 125612 56 | 0.006 % |
537.13/537.44 c | 484824 | 1156 194072 507926 | 137954 125723 56 | 0.006 % |
537.23/537.59 c | 484948 | 1156 194072 507926 | 137954 125847 56 | 0.006 % |
537.43/537.78 c | 485082 | 1156 194072 507926 | 137954 125981 56 | 0.006 % |
537.64/537.97 c | 485228 | 1156 194072 507926 | 137954 126127 56 | 0.000 % |
537.83/538.18 c | 485388 | 1156 194072 507926 | 137954 126287 56 | 0.000 % |
538.03/538.38 c | 485567 | 1156 194072 507926 | 137954 126466 56 | 0.000 % |
538.33/538.61 c | 485760 | 1156 194072 507926 | 137954 126659 56 | 0.000 % |
538.53/538.89 c | 485972 | 1156 194072 507926 | 137954 126871 56 | 0.000 % |
538.93/539.21 c | 486206 | 1156 194072 507926 | 137954 127105 56 | 0.006 % |
539.23/539.53 c | 486462 | 1156 194072 507926 | 137954 127361 56 | 0.006 % |
539.63/539.92 c | 486743 | 1156 194072 507926 | 137954 127642 56 | 0.006 % |
539.93/540.29 c | 487054 | 1156 194072 507926 | 137954 127953 56 | 0.006 % |
540.43/540.73 c | 487398 | 1156 194072 507926 | 137954 128297 56 | 0.000 % |
540.83/541.16 c | 487770 | 1156 194072 507926 | 137954 128669 56 | 0.000 % |
541.33/541.65 c | 488180 | 1156 194072 507926 | 137954 129079 56 | 0.000 % |
541.93/542.27 c | 488630 | 1156 194072 507926 | 137954 129529 56 | 0.006 % |
542.63/542.95 c | 489124 | 1156 194072 507926 | 137954 130023 56 | 0.006 % |
543.33/543.65 c | 489667 | 1156 194072 507926 | 137954 130566 56 | 0.006 % |
544.03/544.36 c | 490263 | 1156 194072 507926 | 130902 131162 56 | 0.006 % |
544.93/545.22 c | 490920 | 1156 194072 507926 | 130902 118078 57 | 0.000 % |
545.93/546.29 c | 491643 | 1156 194072 507926 | 130902 118801 57 | 0.000 % |
547.13/547.44 c | 492442 | 1156 194072 507926 | 130902 119600 57 | 0.000 % |
548.53/548.81 c | 493314 | 1156 194072 507926 | 130902 120472 57 | 0.006 % |
549.83/550.10 c | 494274 | 1156 194072 507926 | 130902 121432 57 | 0.006 % |
551.13/551.48 c | 495329 | 1156 194072 507926 | 130902 122487 57 | 0.006 % |
552.83/553.17 c | 496488 | 1156 194072 507926 | 130902 123646 57 | 0.006 % |
554.62/554.98 c | 497762 | 1156 194072 507926 | 130902 124920 57 | 0.006 % |
556.42/556.79 c | 499165 | 1156 194072 507926 | 130902 126323 57 | 0.006 % |
558.72/559.05 c | 500707 | 1156 194072 507926 | 2147483647 127865 57 | 0.006 % |
561.52/561.81 c | 502403 | 1156 194072 507926 | 2147483647 129561 56 | 0.006 % |
564.12/564.44 c | 504267 | 1156 194072 507926 | 2147483647 131425 56 | 0.006 % |
566.72/567.09 c | 506318 | 1156 194072 507926 | 2147483647 133476 57 | 0.006 % |
569.42/569.70 c | 508571 | 1156 194072 507926 | 2147483647 135729 57 | 0.000 % |
572.82/573.19 c | 511049 | 1156 194072 507926 | 137159 124443 59 | 0.000 % |
577.61/577.92 c | 513774 | 1156 194072 507926 | 137159 127168 60 | 0.000 % |
581.41/581.75 c | 516777 | 1156 194072 507926 | 137159 130171 60 | 0.000 % |
586.41/586.70 c | 520073 | 1156 194072 507926 | 133394 133467 60 | 0.006 % |
591.01/591.36 c | 523698 | 1156 194072 507926 | 133394 123593 61 | 0.000 % |
597.01/597.31 c | 527687 | 1156 194072 507926 | 133394 127582 61 | 0.000 % |
604.21/604.58 c | 532073 | 1156 194072 507926 | 129895 116166 59 | 0.006 % |
611.40/611.75 c | 536896 | 1156 194072 507926 | 129895 120989 61 | 0.000 % |
611.50/611.89 c | 536997 | 1156 194072 507926 | 129895 121090 61 | 0.000 % |
611.70/612.06 c | 537109 | 1156 194072 507926 | 129895 121202 61 | 0.006 % |
611.90/612.21 c | 537232 | 1156 194072 507926 | 129895 121325 61 | 0.006 % |
612.10/612.41 c | 537365 | 1156 194072 507926 | 129895 121458 61 | 0.006 % |
612.31/612.60 c | 537515 | 1156 194072 507926 | 129895 121608 61 | 0.006 % |
612.50/612.83 c | 537676 | 1156 194072 507926 | 129895 121769 61 | 0.000 % |
612.70/613.06 c | 537852 | 1156 194072 507926 | 129895 121945 61 | 0.000 % |
613.10/613.43 c | 538045 | 1156 194072 507926 | 129895 122138 61 | 0.006 % |
613.41/613.74 c | 538257 | 1156 194072 507926 | 129895 122350 61 | 0.000 % |
613.70/614.08 c | 538492 | 1156 194072 507926 | 129895 122585 61 | 0.006 % |
614.20/614.53 c | 538751 | 1156 194072 507926 | 129895 122844 61 | 0.006 % |
614.61/614.99 c | 539035 | 1156 194072 507926 | 129895 123128 61 | 0.006 % |
615.20/615.52 c | 539346 | 1156 194072 507926 | 129895 123439 61 | 0.000 % |
615.60/615.95 c | 539686 | 1156 194072 507926 | 129895 123779 61 | 0.006 % |
616.10/616.47 c | 540059 | 1156 194072 507926 | 124098 124152 61 | 0.006 % |
616.80/617.19 c | 540470 | 1156 194072 507926 | 124098 108176 60 | 0.000 % |
617.50/617.85 c | 540924 | 1156 194072 507926 | 124098 108630 61 | 0.000 % |
618.20/618.54 c | 541418 | 1156 194072 507926 | 124098 109124 61 | 0.006 % |
619.00/619.35 c | 541960 | 1156 194072 507926 | 124098 109666 60 | 0.006 % |
619.90/620.29 c | 542558 | 1156 194072 507926 | 124098 110264 60 | 0.006 % |
620.80/621.13 c | 543214 | 1156 194072 507926 | 124098 110920 61 | 0.000 % |
621.80/622.18 c | 543934 | 1156 194072 507926 | 124098 111640 61 | 0.006 % |
622.80/623.17 c | 544727 | 1156 194072 507926 | 124098 112433 61 | 0.006 % |
624.00/624.32 c | 545599 | 1156 194072 507926 | 124098 113305 61 | 0.006 % |
625.09/625.45 c | 546559 | 1156 194072 507926 | 124098 114265 61 | 0.000 % |
626.19/626.53 c | 547612 | 1156 194072 507926 | 124098 115318 62 | 0.000 % |
627.80/628.19 c | 548772 | 1156 194072 507926 | 124098 116478 62 | 0.006 % |
629.59/629.99 c | 550046 | 1156 194072 507926 | 117706 117752 62 | 0.000 % |
631.59/631.95 c | 551447 | 1156 194072 507926 | 117706 106323 62 | 0.000 % |
633.59/633.96 c | 552988 | 1156 194072 507926 | 117706 107864 62 | 0.006 % |
635.79/636.13 c | 554682 | 1156 194072 507926 | 117706 109558 62 | 0.000 % |
638.39/638.73 c | 556546 | 1156 194072 507926 | 117706 111422 62 | 0.006 % |
640.99/641.36 c | 558597 | 1156 194072 507926 | 117706 113473 63 | 0.000 % |
644.19/644.51 c | 560855 | 1156 194072 507926 | 114880 104056 66 | 0.000 % |
647.68/648.05 c | 563333 | 1156 194072 507926 | 114880 106534 67 | 0.006 % |
651.99/652.36 c | 566061 | 1156 194072 507926 | 114880 109262 66 | 0.006 % |
656.18/656.54 c | 569060 | 1156 194072 507926 | 114880 112261 69 | 0.000 % |
661.68/662.08 c | 572356 | 1156 194072 507926 | 113202 102476 74 | 0.000 % |
666.98/667.36 c | 575981 | 1156 194072 507926 | 113202 106101 73 | 0.000 % |
673.17/673.51 c | 579969 | 1156 194072 507926 | 113202 110089 72 | 0.000 % |
680.47/680.81 c | 584355 | 1156 194072 507926 | 110124 99921 75 | 0.006 % |
688.07/688.46 c | 589181 | 1156 194072 507926 | 110124 104747 73 | 0.000 % |
696.26/696.60 c | 594486 | 1156 194072 507926 | 105566 95353 70 | 0.006 % |
696.36/696.77 c | 594588 | 1156 194072 507926 | 105566 95455 70 | 0.006 % |
696.56/696.90 c | 594699 | 1156 194072 507926 | 105566 95566 70 | 0.000 % |
696.66/697.07 c | 594822 | 1156 194072 507926 | 105566 95689 70 | 0.000 % |
696.86/697.29 c | 594962 | 1156 194072 507926 | 105566 95829 70 | 0.006 % |
697.16/697.51 c | 595108 | 1156 194072 507926 | 105566 95975 70 | 0.006 % |
697.36/697.74 c | 595269 | 1156 194072 507926 | 105566 96136 70 | 0.006 % |
697.56/697.97 c | 595445 | 1156 194072 507926 | 105566 96312 70 | 0.006 % |
697.86/698.21 c | 595638 | 1156 194072 507926 | 105566 96505 70 | 0.006 % |
698.07/698.49 c | 595853 | 1156 194072 507926 | 105566 96720 70 | 0.006 % |
698.46/698.85 c | 596088 | 1156 194072 507926 | 105566 96955 70 | 0.006 % |
698.86/699.24 c | 596344 | 1156 194072 507926 | 105566 97211 70 | 0.000 % |
699.27/699.66 c | 596625 | 1156 194072 507926 | 105566 97492 70 | 0.000 % |
699.66/700.03 c | 596936 | 1156 194072 507926 | 105566 97803 70 | 0.000 % |
700.16/700.56 c | 597278 | 1156 194072 507926 | 105566 98145 70 | 0.006 % |
700.66/701.00 c | 597650 | 1156 194072 507926 | 105566 98517 70 | 0.006 % |
701.16/701.58 c | 598059 | 1156 194072 507926 | 105566 98926 70 | 0.006 % |
701.86/702.29 c | 598508 | 1156 194072 507926 | 105566 99375 70 | 0.000 % |
702.66/703.02 c | 599003 | 1156 194072 507926 | 105566 99870 70 | 0.000 % |
703.26/703.64 c | 599548 | 1156 194072 507926 | 105566 100415 71 | 0.000 % |
704.16/704.51 c | 600145 | 1156 194072 507926 | 100867 101012 71 | 0.000 % |
705.06/705.42 c | 600800 | 1156 194072 507926 | 100867 89750 71 | 0.006 % |
706.06/706.41 c | 601523 | 1156 194072 507926 | 100867 90473 71 | 0.006 % |
707.16/707.58 c | 602315 | 1156 194072 507926 | 100867 91265 72 | 0.000 % |
708.56/708.90 c | 603189 | 1156 194072 507926 | 100867 92139 71 | 0.006 % |
709.96/710.39 c | 604150 | 1156 194072 507926 | 100867 93100 71 | 0.006 % |
711.66/712.01 c | 605206 | 1156 194072 507926 | 100867 94156 71 | 0.000 % |
713.66/714.06 c | 606366 | 1156 194072 507926 | 100867 95316 70 | 0.006 % |
715.76/716.20 c | 607641 | 1156 194072 507926 | 100867 96591 70 | 0.006 % |
718.35/718.73 c | 609041 | 1156 194072 507926 | 100867 97991 70 | 0.006 % |
720.75/721.13 c | 610583 | 1156 194072 507926 | 98951 88441 70 | 0.000 % |
723.15/723.58 c | 612278 | 1156 194072 507926 | 98951 90136 71 | 0.000 % |
725.95/726.33 c | 614141 | 1156 194072 507926 | 98951 91999 71 | 0.000 % |
728.65/729.01 c | 616190 | 1156 194072 507926 | 98951 94048 71 | 0.006 % |
732.05/732.45 c | 618443 | 1156 194072 507926 | 98951 96301 71 | 0.006 % |
736.15/736.54 c | 620921 | 1156 194072 507926 | 97860 87808 69 | 0.006 % |
740.04/740.47 c | 623646 | 1156 194072 507926 | 97860 90533 68 | 0.006 % |
744.36/744.78 c | 626643 | 1156 194072 507926 | 97860 93530 68 | 0.006 % |
749.85/750.22 c | 629943 | 1156 194072 507926 | 97860 96830 67 | 0.006 % |
754.55/754.99 c | 633569 | 1156 194072 507926 | 96892 88674 61 | 0.006 % |
759.15/759.54 c | 637559 | 1156 194072 507926 | 96892 92664 63 | 0.000 % |
764.84/765.26 c | 641944 | 1155 193742 507070 | 95105 86173 60 | 0.087 % |
770.75/771.16 c | 646768 | 1155 193742 507070 | 95105 90997 60 | 0.092 % |
778.04/778.44 c | 652074 | 1155 193742 507070 | 2147483647 96303 59 | 0.092 % |
786.04/786.41 c | 657913 | 1155 193742 507070 | 2147483647 102142 62 | 0.087 % |
786.14/786.59 c | 658014 | 1155 193742 507070 | 2147483647 102243 62 | 0.093 % |
786.33/786.76 c | 658125 | 1155 193742 507070 | 2147483647 102354 62 | 0.087 % |
786.53/786.93 c | 658249 | 1155 193742 507070 | 2147483647 102478 62 | 0.087 % |
786.73/787.14 c | 658383 | 1155 193742 507070 | 2147483647 102612 62 | 0.093 % |
786.93/787.36 c | 658531 | 1155 193742 507070 | 2147483647 102760 62 | 0.092 % |
787.14/787.57 c | 658691 | 1155 193742 507070 | 2147483647 102920 62 | 0.087 % |
787.33/787.78 c | 658867 | 1155 193742 507070 | 2147483647 103096 62 | 0.093 % |
787.63/788.02 c | 659060 | 1155 193742 507070 | 2147483647 103289 62 | 0.087 % |
787.83/788.30 c | 659275 | 1155 193742 507070 | 2147483647 103504 62 | 0.087 % |
788.24/788.66 c | 659510 | 1155 193742 507070 | 2147483647 103739 62 | 0.087 % |
788.63/789.04 c | 659766 | 1155 193742 507070 | 2147483647 103995 63 | 0.087 % |
789.03/789.48 c | 660050 | 1155 193742 507070 | 104229 104279 63 | 0.092 % |
789.63/790.01 c | 660359 | 1155 193742 507070 | 104229 93064 64 | 0.087 % |
790.03/790.46 c | 660701 | 1155 193742 507070 | 104229 93406 64 | 0.092 % |
790.43/790.87 c | 661073 | 1155 193742 507070 | 104229 93778 64 | 0.092 % |
790.93/791.36 c | 661482 | 1155 193742 507070 | 104229 94187 65 | 0.087 % |
791.53/791.99 c | 661932 | 1155 193742 507070 | 104229 94637 65 | 0.092 % |
792.23/792.66 c | 662425 | 1155 193742 507070 | 104229 95130 65 | 0.092 % |
792.93/793.33 c | 662967 | 1155 193742 507070 | 104229 95672 65 | 0.092 % |
793.63/794.00 c | 663563 | 1155 193742 507070 | 104229 96268 64 | 0.092 % |
794.43/794.88 c | 664219 | 1155 193742 507070 | 104229 96924 65 | 0.087 % |
795.33/795.77 c | 664939 | 1155 193742 507070 | 104229 97644 65 | 0.092 % |
796.33/796.79 c | 665735 | 1155 193742 507070 | 104229 98440 65 | 0.092 % |
797.42/797.83 c | 666609 | 1155 193742 507070 | 104229 99314 65 | 0.092 % |
798.83/799.28 c | 667569 | 1155 193742 507070 | 104229 100274 65 | 0.092 % |
800.52/800.99 c | 668622 | 1155 193742 507070 | 104229 101327 66 | 0.087 % |
802.32/802.71 c | 669781 | 1155 193742 507070 | 104229 102486 65 | 0.092 % |
804.22/804.64 c | 671054 | 1155 193742 507070 | 2147483647 103759 65 | 0.092 % |
806.22/806.63 c | 672454 | 1155 193742 507070 | 2147483647 105159 66 | 0.087 % |
808.32/808.80 c | 673994 | 1155 193742 507070 | 2147483647 106699 66 | 0.092 % |
811.32/811.72 c | 675689 | 1155 193742 507070 | 2147483647 108394 66 | 0.092 % |
814.42/814.90 c | 677554 | 1155 193742 507070 | 2147483647 110259 65 | 0.093 % |
817.12/817.56 c | 679606 | 1155 193742 507070 | 2147483647 112311 67 | 0.087 % |
820.71/821.19 c | 681861 | 1155 193742 507070 | 112710 99683 65 | 0.087 % |
824.41/824.88 c | 684339 | 1155 193742 507070 | 112710 102161 64 | 0.093 % |
828.51/828.90 c | 687064 | 1155 193742 507070 | 112710 104886 64 | 0.093 % |
832.41/832.89 c | 690062 | 1155 193742 507070 | 107822 107884 65 | 0.087 % |
836.51/836.94 c | 693358 | 1155 193742 507070 | 107822 97423 67 | 0.087 % |
841.81/842.25 c | 696984 | 1155 193742 507070 | 107822 101049 67 | 0.092 % |
848.21/848.65 c | 700971 | 1155 193742 507070 | 104065 92927 68 | 0.092 % |
854.60/855.02 c | 705357 | 1155 193742 507070 | 104065 97313 68 | 0.093 % |
861.50/861.93 c | 710180 | 1155 193742 507070 | 101956 102136 67 | 0.092 % |
869.80/870.24 c | 715486 | 1155 193742 507070 | 101956 95659 63 | 0.092 % |
878.69/879.14 c | 721321 | 1155 193742 507070 | 100175 88913 60 | 0.092 % |
888.59/889.07 c | 727739 | 1155 193742 507070 | 100175 95331 59 | 0.092 % |
888.79/889.24 c | 727842 | 1155 193742 507070 | 100175 95434 59 | 0.092 % |
888.99/889.43 c | 727954 | 1155 193742 507070 | 100175 95546 59 | 0.092 % |
889.09/889.55 c | 728076 | 1155 193742 507070 | 100175 95668 59 | 0.092 % |
889.29/889.75 c | 728211 | 1155 193742 507070 | 100175 95803 59 | 0.087 % |
889.49/889.93 c | 728357 | 1155 193742 507070 | 100175 95949 59 | 0.093 % |
889.69/890.16 c | 728521 | 1155 193742 507070 | 100175 96113 59 | 0.092 % |
889.99/890.42 c | 728701 | 1155 193742 507070 | 100175 96293 60 | 0.087 % |
890.19/890.65 c | 728895 | 1155 193742 507070 | 100175 96487 60 | 0.092 % |
890.49/890.91 c | 729107 | 1155 193742 507070 | 100175 96699 60 | 0.092 % |
890.79/891.27 c | 729341 | 1155 193742 507070 | 100175 96933 60 | 0.092 % |
891.19/891.66 c | 729598 | 1155 193742 507070 | 100175 97190 59 | 0.092 % |
891.59/892.02 c | 729881 | 1155 193742 507070 | 100175 97473 60 | 0.087 % |
891.89/892.37 c | 730195 | 1155 193742 507070 | 97593 97787 60 | 0.087 % |
892.49/892.90 c | 730538 | 1155 193742 507070 | 97593 86590 57 | 0.092 % |
892.99/893.42 c | 730911 | 1155 193742 507070 | 97593 86963 57 | 0.087 % |
893.39/893.88 c | 731320 | 1155 193742 507070 | 97593 87372 57 | 0.092 % |
893.99/894.44 c | 731770 | 1155 193742 507070 | 97593 87822 57 | 0.093 % |
894.49/894.99 c | 732266 | 1155 193742 507070 | 97593 88318 57 | 0.093 % |
895.18/895.61 c | 732809 | 1155 193742 507070 | 97593 88861 57 | 0.093 % |
895.88/896.38 c | 733406 | 1155 193742 507070 | 97593 89458 57 | 0.092 % |
896.98/897.42 c | 734062 | 1155 193742 507070 | 97593 90114 57 | 0.093 % |
897.88/898.30 c | 734782 | 1155 193742 507070 | 97593 90834 57 | 0.087 % |
898.88/899.33 c | 735575 | 1155 193742 507070 | 97593 91627 57 | 0.092 % |
899.98/900.49 c | 736446 | 1155 193742 507070 | 97593 92498 58 | 0.087 % |
901.28/901.78 c | 737405 | 1155 193742 507070 | 97593 93457 58 | 0.092 % |
902.68/903.18 c | 738458 | 1155 193742 507070 | 97593 94510 58 | 0.092 % |
904.48/904.90 c | 739616 | 1155 193742 507070 | 97593 95668 58 | 0.092 % |
906.38/906.85 c | 740889 | 1155 193742 507070 | 2147483647 96941 58 | 0.092 % |
908.58/909.04 c | 742292 | 1155 193742 507070 | 2147483647 98344 58 | 0.092 % |
910.58/911.06 c | 743833 | 1155 193742 507070 | 2147483647 99885 58 | 0.092 % |
912.98/913.46 c | 745528 | 1155 193742 507070 | 2147483647 101580 58 | 0.092 % |
915.47/915.93 c | 747391 | 1155 193742 507070 | 2147483647 103443 59 | 0.087 % |
918.27/918.73 c | 749443 | 1155 193742 507070 | 2147483647 105495 59 | 0.092 % |
921.18/921.64 c | 751698 | 1155 193742 507070 | 2147483647 107750 59 | 0.092 % |
924.38/924.81 c | 754176 | 1155 193742 507070 | 2147483647 110228 59 | 0.092 % |
928.28/928.78 c | 756904 | 1155 193742 507070 | 2147483647 112956 58 | 0.092 % |
932.57/933.00 c | 759901 | 1155 193742 507070 | 2147483647 115953 58 | 0.092 % |
937.67/938.16 c | 763197 | 1155 193742 507070 | 116053 106586 55 | 0.092 % |
943.37/943.84 c | 766822 | 1155 193742 507070 | 116053 110211 56 | 0.092 % |
949.97/950.42 c | 770809 | 1155 193742 507070 | 113390 100382 50 | 0.092 % |
957.07/957.58 c | 775195 | 1155 193742 507070 | 113390 104768 50 | 0.092 % |
964.96/965.41 c | 780019 | 1155 193742 507070 | 109573 109592 50 | 0.092 % |
971.76/972.24 c | 785324 | 1155 193742 507070 | 109573 100528 53 | 0.087 % |
979.26/979.77 c | 791159 | 1155 193742 507070 | 105206 94626 56 | 0.092 % |
988.15/988.67 c | 797579 | 1155 193742 507070 | 105206 101046 57 | 0.092 % |
998.05/998.50 c | 804640 | 1155 193742 507070 | 103467 96705 61 | 0.087 % |
998.15/998.63 c | 804740 | 1155 193742 507070 | 103467 96805 61 | 0.092 % |
998.25/998.77 c | 804851 | 1155 193742 507070 | 103467 96916 61 | 0.092 % |
998.45/998.96 c | 804973 | 1155 193742 507070 | 103467 97038 61 | 0.092 % |
998.65/999.19 c | 805106 | 1155 193742 507070 | 103467 97171 61 | 0.092 % |
998.95/999.44 c | 805253 | 1155 193742 507070 | 103467 97318 61 | 0.092 % |
999.25/999.72 c | 805415 | 1155 193742 507070 | 103467 97480 61 | 0.092 % |
999.45/999.98 c | 805593 | 1155 193742 507070 | 103467 97658 61 | 0.092 % |
999.75/1000.23 c | 805788 | 1155 193742 507070 | 103467 97853 61 | 0.087 % |
1000.05/1000.52 c | 806001 | 1155 193742 507070 | 103467 98066 62 | 0.087 % |
1000.35/1000.81 c | 806234 | 1155 193742 507070 | 103467 98299 62 | 0.087 % |
1000.65/1001.16 c | 806492 | 1155 193742 507070 | 103467 98557 62 | 0.092 % |
1001.05/1001.52 c | 806775 | 1155 193742 507070 | 103467 98840 62 | 0.092 % |
1001.45/1001.98 c | 807084 | 1155 193742 507070 | 103467 99149 62 | 0.093 % |
1001.85/1002.38 c | 807423 | 1155 193742 507070 | 103467 99488 62 | 0.087 % |
1002.45/1002.93 c | 807798 | 1155 193742 507070 | 103467 99863 62 | 0.087 % |
1002.95/1003.45 c | 808209 | 1155 193742 507070 | 103467 100274 62 | 0.092 % |
1003.55/1004.06 c | 808659 | 1155 193742 507070 | 103467 100724 62 | 0.087 % |
1004.35/1004.83 c | 809153 | 1155 193742 507070 | 103467 101218 62 | 0.092 % |
1004.95/1005.48 c | 809695 | 1155 193742 507070 | 103467 101760 61 | 0.092 % |
1005.74/1006.20 c | 810291 | 1155 193742 507070 | 102067 102356 61 | 0.092 % |
1006.64/1007.11 c | 810946 | 1155 193742 507070 | 102067 91608 61 | 0.093 % |
1007.54/1008.02 c | 811666 | 1155 193742 507070 | 102067 92328 61 | 0.092 % |
1008.64/1009.12 c | 812459 | 1155 193742 507070 | 102067 93121 61 | 0.092 % |
1009.84/1010.33 c | 813330 | 1155 193742 507070 | 102067 93992 61 | 0.092 % |
1011.24/1011.73 c | 814288 | 1155 193742 507070 | 102067 94950 61 | 0.092 % |
1012.64/1013.16 c | 815341 | 1155 193742 507070 | 102067 96003 61 | 0.092 % |
1014.24/1014.75 c | 816501 | 1155 193742 507070 | 102067 97163 61 | 0.092 % |
1015.64/1016.16 c | 817774 | 1155 193742 507070 | 102067 98436 63 | 0.087 % |
1017.44/1017.97 c | 819174 | 1155 193742 507070 | 102067 99836 63 | 0.087 % |
1019.53/1020.06 c | 820715 | 1155 193742 507070 | 2147483647 101377 63 | 0.087 % |
1021.83/1022.40 c | 822409 | 1155 193742 507070 | 2147483647 103071 62 | 0.092 % |
1024.93/1025.42 c | 824274 | 1155 193742 507070 | 2147483647 104936 62 | 0.092 % |
1027.73/1028.20 c | 826324 | 1155 193742 507070 | 2147483647 106986 62 | 0.093 % |
1031.03/1031.58 c | 828577 | 1155 193742 507070 | 2147483647 109239 62 | 0.092 % |
1034.33/1034.89 c | 831055 | 1155 193742 507070 | 110663 98462 64 | 0.087 % |
1038.13/1038.66 c | 833782 | 1155 193742 507070 | 110663 101189 66 | 0.087 % |
1042.72/1043.20 c | 836782 | 1155 193742 507070 | 110663 104189 66 | 0.092 % |
1047.43/1047.98 c | 840078 | 1155 193742 507070 | 107407 107485 66 | 0.093 % |
1052.93/1053.43 c | 843703 | 1155 193742 507070 | 107407 96682 69 | 0.087 % |
1058.83/1059.36 c | 847690 | 1155 193742 507070 | 107407 100669 69 | 0.093 % |
1065.33/1065.81 c | 852076 | 1155 193742 507070 | 102981 91315 68 | 0.093 % |
1072.42/1072.97 c | 856899 | 1155 193742 507070 | 102981 96138 71 | 0.087 % |
1082.32/1082.82 c | 862204 | 1155 193742 507070 | 99249 87670 68 | 0.092 % |
1093.41/1093.91 c | 868041 | 1155 193742 507070 | 99249 93507 66 | 0.092 % |
1102.21/1102.71 c | 874459 | 1155 193742 507070 | 95468 86315 69 | 0.087 % |
1113.40/1113.92 c | 881518 | 1155 193742 507070 | 91856 80478 69 | 0.087 % |
1124.60/1125.10 c | 889283 | 1155 193742 507070 | 91856 88243 72 | 0.087 % |
1124.70/1125.24 c | 889383 | 1155 193742 507070 | 91856 88343 72 | 0.092 % |
1124.90/1125.41 c | 889496 | 1155 193742 507070 | 91856 88456 72 | 0.092 % |
1125.00/1125.57 c | 889618 | 1155 193742 507070 | 91856 88578 72 | 0.092 % |
1125.20/1125.76 c | 889751 | 1155 193742 507070 | 91856 88711 72 | 0.092 % |
1125.40/1125.98 c | 889897 | 1155 193742 507070 | 91856 88857 72 | 0.093 % |
1125.70/1126.23 c | 890057 | 1155 193742 507070 | 88963 89017 72 | 0.092 % |
1126.00/1126.53 c | 890233 | 1155 193742 507070 | 88963 76832 68 | 0.087 % |
1126.20/1126.75 c | 890426 | 1155 193742 507070 | 88963 77025 68 | 0.087 % |
1126.50/1127.08 c | 890643 | 1155 193742 507070 | 88963 77242 68 | 0.087 % |
1126.90/1127.45 c | 890877 | 1155 193742 507070 | 88963 77476 68 | 0.092 % |
1127.30/1127.85 c | 891138 | 1155 193742 507070 | 88963 77737 68 | 0.092 % |
1127.80/1128.30 c | 891419 | 1155 193742 507070 | 88963 78018 68 | 0.087 % |
1128.20/1128.72 c | 891728 | 1155 193742 507070 | 88963 78327 68 | 0.092 % |
1128.70/1129.22 c | 892069 | 1155 193742 507070 | 88963 78668 67 | 0.092 % |
1129.20/1129.70 c | 892441 | 1155 193742 507070 | 88963 79040 68 | 0.087 % |
1129.69/1130.28 c | 892850 | 1155 193742 507070 | 88963 79449 68 | 0.093 % |
1130.39/1130.94 c | 893300 | 1155 193742 507070 | 88963 79899 68 | 0.093 % |
1131.09/1131.63 c | 893793 | 1155 193742 507070 | 88963 80392 67 | 0.093 % |
1131.89/1132.44 c | 894339 | 1155 193742 507070 | 88963 80938 67 | 0.093 % |
1132.69/1133.21 c | 894935 | 1155 193742 507070 | 88963 81534 67 | 0.093 % |
1133.60/1134.14 c | 895591 | 1155 193742 507070 | 88963 82190 67 | 0.093 % |
1134.49/1135.00 c | 896313 | 1155 193742 507070 | 88963 82912 67 | 0.087 % |
1135.59/1136.13 c | 897105 | 1155 193742 507070 | 88963 83704 67 | 0.087 % |
1136.89/1137.46 c | 897976 | 1155 193742 507070 | 88963 84575 67 | 0.092 % |
1138.19/1138.71 c | 898934 | 1155 193742 507070 | 88963 85533 67 | 0.092 % |
1139.39/1139.93 c | 899988 | 1155 193742 507070 | 88963 86587 67 | 0.087 % |
1140.99/1141.54 c | 901146 | 1155 193742 507070 | 86600 79033 65 | 0.093 % |
1142.39/1142.95 c | 902420 | 1155 193742 507070 | 86600 80307 65 | 0.093 % |
1144.09/1144.69 c | 903820 | 1155 193742 507070 | 86600 81707 65 | 0.093 % |
1146.18/1146.72 c | 905361 | 1155 193742 507070 | 86600 83248 64 | 0.092 % |
1148.38/1148.99 c | 907056 | 1155 193742 507070 | 86600 84943 64 | 0.087 % |
1150.78/1151.35 c | 908921 | 1155 193742 507070 | 86600 86808 66 | 0.087 % |
1153.39/1153.94 c | 910971 | 1155 193742 507070 | 2147483647 80178 63 | 0.092 % |
1155.98/1156.57 c | 913225 | 1155 193742 507070 | 2147483647 82432 63 | 0.092 % |
1159.28/1159.81 c | 915703 | 1155 193742 507070 | 2147483647 84910 63 | 0.092 % |
1162.58/1163.15 c | 918429 | 1155 193742 507070 | 2147483647 87636 63 | 0.093 % |
1166.27/1166.85 c | 921426 | 1155 193742 507070 | 2147483647 90633 62 | 0.092 % |
1171.07/1171.65 c | 924722 | 1155 193742 507070 | 2147483647 93929 62 | 0.092 % |
1175.97/1176.60 c | 928349 | 1155 193742 507070 | 2147483647 97556 62 | 0.092 % |
1181.77/1182.32 c | 932344 | 1155 193742 507070 | 2147483647 101551 61 | 0.092 % |
1187.77/1188.33 c | 936735 | 1155 193742 507070 | 2147483647 105942 61 | 0.092 % |
1195.07/1195.67 c | 941560 | 1155 193742 507070 | 109209 98073 59 | 0.092 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832113-1242769185/watcher-1832113-1242769185 -o /tmp/evaluation-result-1832113-1242769185/solver-1832113-1242769185 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832113-1242769185.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 14190
/proc/meminfo: memFree=1982880/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 304951532 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 253307355218 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/14190/statm: 1339 235 195 169 0 50 0
[pid=14191] ppid=14190 vsize=5356 CPUtime=0
/proc/14191/stat : 14191 (SatELiteGTI) S 14190 14190 14076 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 304951532 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4096 65538 18446744071563356171 0 0 17 1 0 0
/proc/14191/statm: 1339 238 198 169 0 50 0
[pid=14193] ppid=14191 vsize=240 CPUtime=0
/proc/14193/stat : 14193 (sed) R 14191 14190 14076 0 -1 4194304 48 0 0 0 0 0 0 0 21 0 1 0 304951533 245760 29 1992294400 4194304 4240196 548682069056 18446744073709551615 253304567273 0 0 4096 0 0 0 0 17 1 0 0
/proc/14193/statm: 623 36 28 11 0 15 0
[startup+0.0728229 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 14190
/proc/meminfo: memFree=1982880/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304951532 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14190/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102828 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 14190
/proc/meminfo: memFree=1982880/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304951532 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14190/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301857 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 14190
/proc/meminfo: memFree=1982880/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 5356
[startup+0.701919 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 14190
/proc/meminfo: memFree=1982880/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 5356
[startup+1.50206 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14196
/proc/meminfo: memFree=1969800/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=11320 CPUtime=1.22
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 2711 0 0 0 121 1 0 0 25 0 1 0 304951559 11591680 2697 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 2830 2697 77 171 0 2657 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 16676
[startup+3.10133 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14196
/proc/meminfo: memFree=1968072/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=12992 CPUtime=2.81
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 3141 0 0 0 280 1 0 0 25 0 1 0 304951559 13303808 3127 1992294400 134512640 135215339 4294956240 18446744073709551615 134529091 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 3248 3127 77 171 0 3075 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 18348
[startup+6.30288 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14196
/proc/meminfo: memFree=1964872/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=16124 CPUtime=6.01
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 3915 0 0 0 599 2 0 0 25 0 1 0 304951559 16510976 3901 1992294400 134512640 135215339 4294956240 18446744073709551615 134544549 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 4031 3901 77 171 0 3858 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 21480
[startup+12.702 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14196
/proc/meminfo: memFree=1959880/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=20860 CPUtime=12.41
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 5070 0 0 0 1237 4 0 0 25 0 1 0 304951559 21360640 5056 1992294400 134512640 135215339 4294956240 18446744073709551615 134528745 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 5215 5056 77 171 0 5042 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 26216
[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14196
/proc/meminfo: memFree=1952008/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=28372 CPUtime=25.19
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 6961 0 0 0 2513 6 0 0 25 0 1 0 304951559 29052928 6947 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 7093 6947 77 171 0 6920 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 33728
[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14196
/proc/meminfo: memFree=1939848/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=40700 CPUtime=50.78
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 10050 0 0 0 5068 10 0 0 25 0 1 0 304951559 41676800 10036 1992294400 134512640 135215339 4294956240 18446744073709551615 134544549 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 10175 10036 77 171 0 10002 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 46056
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14196
/proc/meminfo: memFree=1923848/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=56424 CPUtime=101.96
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 13964 0 0 0 10182 14 0 0 25 0 1 0 304951559 57778176 13950 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 14106 13950 77 171 0 13933 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 61780
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14198
/proc/meminfo: memFree=1909512/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=70848 CPUtime=161.92
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 17501 0 0 0 16173 19 0 0 25 0 1 0 304951559 72548352 17487 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 17712 17487 77 171 0 17539 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 76204
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14198
/proc/meminfo: memFree=1902600/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=77328 CPUtime=221.9
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 19166 0 0 0 22169 21 0 0 25 0 1 0 304951559 79183872 19152 1992294400 134512640 135215339 4294956240 18446744073709551615 134528821 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 19332 19152 77 171 0 19159 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 82684
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14198
/proc/meminfo: memFree=1902600/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=77328 CPUtime=281.88
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 19166 0 0 0 28166 22 0 0 25 0 1 0 304951559 79183872 19152 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 19332 19152 77 171 0 19159 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 82684
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14198
/proc/meminfo: memFree=1902536/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=77328 CPUtime=341.85
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 19166 0 0 0 34163 22 0 0 25 0 1 0 304951559 79183872 19152 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 19332 19152 77 171 0 19159 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 82684
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14198
/proc/meminfo: memFree=1902408/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=77328 CPUtime=401.83
################
# More data... #
################
/proc/14196/statm: 19332 19152 77 171 0 19159 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 82684
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14198
/proc/meminfo: memFree=1902152/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=77328 CPUtime=581.76
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 19166 0 0 0 58152 24 0 0 25 0 1 0 304951559 79183872 19152 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 19332 19152 77 171 0 19159 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 82684
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14198
/proc/meminfo: memFree=1902024/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=77328 CPUtime=641.74
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 19166 0 0 0 64150 24 0 0 25 0 1 0 304951559 79183872 19152 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 19332 19152 77 171 0 19159 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 82684
[startup+702.303 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14198
/proc/meminfo: memFree=1901896/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=77328 CPUtime=701.71
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 19166 0 0 0 70147 24 0 0 25 0 1 0 304951559 79183872 19152 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 19332 19152 77 171 0 19159 0
Current children cumulated CPU time (s) 701.96
Current children cumulated vsize (KiB) 82684
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14198
/proc/meminfo: memFree=1901832/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=77328 CPUtime=761.7
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 19166 0 0 0 76145 25 0 0 25 0 1 0 304951559 79183872 19152 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 19332 19152 77 171 0 19159 0
Current children cumulated CPU time (s) 761.95
Current children cumulated vsize (KiB) 82684
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14198
/proc/meminfo: memFree=1901768/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=77328 CPUtime=821.66
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 19166 0 0 0 82141 25 0 0 25 0 1 0 304951559 79183872 19152 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 19332 19152 77 171 0 19159 0
Current children cumulated CPU time (s) 821.91
Current children cumulated vsize (KiB) 82684
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14198
/proc/meminfo: memFree=1901704/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=77328 CPUtime=881.64
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 19166 0 0 0 88139 25 0 0 25 0 1 0 304951559 79183872 19152 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 19332 19152 77 171 0 19159 0
Current children cumulated CPU time (s) 881.89
Current children cumulated vsize (KiB) 82684
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14198
/proc/meminfo: memFree=1901640/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=77328 CPUtime=941.62
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 19166 0 0 0 94136 26 0 0 25 0 1 0 304951559 79183872 19152 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 19332 19152 77 171 0 19159 0
Current children cumulated CPU time (s) 941.87
Current children cumulated vsize (KiB) 82684
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14198
/proc/meminfo: memFree=1901576/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=77328 CPUtime=1001.6
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 19166 0 0 0 100134 26 0 0 25 0 1 0 304951559 79183872 19152 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 19332 19152 77 171 0 19159 0
Current children cumulated CPU time (s) 1001.85
Current children cumulated vsize (KiB) 82684
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14198
/proc/meminfo: memFree=1901512/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=77328 CPUtime=1061.57
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 19166 0 0 0 106130 27 0 0 25 0 1 0 304951559 79183872 19152 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 19332 19152 77 171 0 19159 0
Current children cumulated CPU time (s) 1061.82
Current children cumulated vsize (KiB) 82684
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14198
/proc/meminfo: memFree=1901384/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=77328 CPUtime=1121.55
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 19166 0 0 0 112128 27 0 0 25 0 1 0 304951559 79183872 19152 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 19332 19152 77 171 0 19159 0
Current children cumulated CPU time (s) 1121.8
Current children cumulated vsize (KiB) 82684
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14198
/proc/meminfo: memFree=1901256/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=77328 CPUtime=1181.52
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 19166 0 0 0 118125 27 0 0 25 0 1 0 304951559 79183872 19152 1992294400 134512640 135215339 4294956240 18446744073709551615 134538130 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 19332 19152 77 171 0 19159 0
Current children cumulated CPU time (s) 1181.77
Current children cumulated vsize (KiB) 82684
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 14198
/proc/meminfo: memFree=1901256/2055920 swapFree=4179676/4192956
[pid=14190] ppid=14188 vsize=5356 CPUtime=0.25
/proc/14190/stat : 14190 (SatELiteGTI) S 14188 14190 14076 0 -1 4194304 336 2940 0 0 0 0 22 3 16 0 1 0 304951532 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14190/statm: 1339 239 197 169 0 50 0
[pid=14196] ppid=14190 vsize=77328 CPUtime=1199.82
/proc/14196/stat : 14196 (minisat_static) R 14190 14190 14076 0 -1 4194304 19166 0 0 0 119955 27 0 0 25 0 1 0 304951559 79183872 19152 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14196/statm: 19332 19152 77 171 0 19159 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 82684
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14190 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=228965
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=37994
# CPU time returned by wait4() is 0.266959
# while last known CPU time is 1200.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.61
CPU time (s): 1200.07
CPU user time (s): 1199.77
CPU system time (s): 0.3
CPU usage (%): 99.9548
Max. virtual memory (cumulated for all children) (KiB): 82684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.228965
system time used= 0.037994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3276
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= 16
involuntary context switches= 11
runsolver used 1.46878 second user time and 2.6546 second system time
The end
Begin job on node25 at 2009-05-19 23:39:45
IDJOB=1832113
IDBENCH=20493
IDSOLVER=671
FILE ID=node25/1832113-1242769185
PBS_JOBID= 9322273
Free space on /tmp= 66416 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/grieu/vmpc_34.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832113-1242769185/watcher-1832113-1242769185 -o /tmp/evaluation-result-1832113-1242769185/solver-1832113-1242769185 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832113-1242769185.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a27d41b3e10d867544cd2bff7d005be2
RANDOM SEED=484181363
node25.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1983360 kB
Buffers: 7104 kB
Cached: 30732 kB
SwapCached: 7792 kB
Active: 14872 kB
Inactive: 32116 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1983360 kB
SwapTotal: 4192956 kB
SwapFree: 4179676 kB
Dirty: 4336 kB
Writeback: 0 kB
Mapped: 13960 kB
Slab: 11608 kB
Committed_AS: 993424 kB
PageTables: 1476 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66412 MiB
End job on node25 at 2009-05-19 23:59:48