0.00/0.00 c Parsing...
0.00/0.08 c ==============================================================================
0.00/0.08 c | | ORIGINAL | LEARNT | |
0.00/0.08 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.08 c ==============================================================================
0.00/0.08 c | 0 | 171155 344000 | 51346 0 0 nan | 0.000 % |
0.00/0.91 c | 0 | 169335 573755 | -- 0 -- -- | -- | -1820/229755
0.00/0.91 c ==============================================================================
0.00/0.91 c Result : #vars: 1755 #clauses: 169335 #literals: 573755
0.00/0.91 c CPU time: 0.892864 s
0.00/0.91 c ==============================================================================
0.98/1.08 c This is MiniSat 2.0 beta
0.98/1.08 c WARNING: for repeatability, setting FPU to use double precision
0.98/1.08 c ============================[ Problem Statistics ]=============================
0.98/1.08 c | |
0.98/1.08 c | Number of variables: 1755 |
0.98/1.08 c | Number of clauses: 169335 |
1.06/1.16 c | Parsing time: 0.08 s |
1.06/1.17 c ============================[ Search Statistics ]==============================
1.06/1.17 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.06/1.17 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.06/1.17 c ===============================================================================
1.06/1.17 c | 0 | 1755 169335 573755 | 56445 0 nan | 0.000 % |
1.06/1.20 c | 100 | 1755 169335 573755 | 56445 100 157 | 0.000 % |
1.06/1.23 c | 201 | 1755 169335 573755 | 56445 201 149 | 0.000 % |
1.06/1.25 c | 302 | 1755 169335 573755 | 56445 302 138 | 0.000 % |
1.06/1.28 c | 414 | 1755 169335 573755 | 56445 414 132 | 0.000 % |
1.06/1.30 c | 514 | 1755 169335 573755 | 56445 514 127 | 0.006 % |
1.06/1.33 c | 624 | 1755 169335 573755 | 56445 624 138 | 0.000 % |
1.06/1.35 c | 745 | 1755 169335 573755 | 56445 745 136 | 0.000 % |
1.06/1.37 c | 845 | 1755 169335 573755 | 56445 845 136 | 0.006 % |
1.06/1.39 c | 955 | 1755 169335 573755 | 56445 955 132 | 0.007 % |
1.06/1.41 c | 1077 | 1755 169335 573755 | 56445 1077 131 | 0.000 % |
1.06/1.44 c | 1210 | 1755 169335 573755 | 56445 1210 132 | 0.000 % |
1.06/1.46 c | 1310 | 1755 169335 573755 | 56445 1310 133 | 0.006 % |
1.06/1.49 c | 1423 | 1755 169335 573755 | 56445 1423 132 | 0.000 % |
1.06/1.51 c | 1545 | 1755 169335 573755 | 56445 1545 129 | 0.006 % |
1.06/1.54 c | 1678 | 1755 169335 573755 | 56445 1678 131 | 0.000 % |
1.06/1.57 c | 1825 | 1755 169335 573755 | 56445 1825 130 | 0.006 % |
1.06/1.59 c | 1925 | 1755 169335 573755 | 56445 1925 129 | 0.000 % |
1.06/1.61 c | 2036 | 1755 169335 573755 | 56445 2036 129 | 0.000 % |
1.06/1.64 c | 2157 | 1755 169335 573755 | 56445 2157 131 | 0.000 % |
1.06/1.66 c | 2290 | 1755 169335 573755 | 56445 2290 130 | 0.000 % |
1.06/1.69 c | 2437 | 1755 169335 573755 | 56445 2437 130 | 0.006 % |
1.06/1.73 c | 2599 | 1755 169335 573755 | 56445 2599 129 | 0.000 % |
1.06/1.75 c | 2699 | 1755 169335 573755 | 56445 2699 130 | 0.000 % |
1.06/1.77 c | 2810 | 1755 169335 573755 | 56445 2810 130 | 0.000 % |
1.06/1.79 c | 2931 | 1755 169335 573755 | 56445 2931 130 | 0.007 % |
1.06/1.82 c | 3067 | 1755 169335 573755 | 56445 3067 130 | 0.000 % |
1.06/1.85 c | 3213 | 1755 169335 573755 | 56445 3213 132 | 0.000 % |
1.06/1.88 c | 3377 | 1755 169335 573755 | 56445 3377 130 | 0.000 % |
1.06/1.92 c | 3554 | 1755 169335 573755 | 56445 3554 129 | 0.006 % |
1.06/1.94 c | 3654 | 1755 169335 573755 | 56445 3654 130 | 0.000 % |
1.06/1.96 c | 3766 | 1755 169335 573755 | 56445 3766 130 | 0.007 % |
1.06/1.99 c | 3887 | 1755 169335 573755 | 56445 3887 129 | 0.000 % |
1.06/2.01 c | 4021 | 1755 169335 573755 | 56445 4021 129 | 0.000 % |
1.06/2.06 c | 4167 | 1755 169335 573755 | 56445 4167 132 | 0.000 % |
1.06/2.10 c | 4327 | 1755 169335 573755 | 56445 4327 131 | 0.005 % |
2.07/2.13 c | 4503 | 1755 169335 573755 | 56445 4503 130 | 0.006 % |
2.07/2.18 c | 4696 | 1755 169335 573755 | 56445 4696 133 | 0.000 % |
2.07/2.20 c | 4799 | 1755 169335 573755 | 56445 4799 133 | 0.000 % |
2.17/2.23 c | 4909 | 1755 169335 573755 | 56445 4909 134 | 0.000 % |
2.17/2.27 c | 5030 | 1755 169335 573755 | 56445 5030 133 | 0.000 % |
2.27/2.30 c | 5163 | 1755 169335 573755 | 56445 5163 134 | 0.000 % |
2.27/2.33 c | 5309 | 1755 169335 573755 | 56445 5309 132 | 0.006 % |
2.27/2.37 c | 5469 | 1755 169335 573755 | 56445 5469 131 | 0.000 % |
2.37/2.41 c | 5645 | 1755 169335 573755 | 56445 5645 131 | 0.000 % |
2.37/2.45 c | 5838 | 1755 169335 573755 | 56445 5838 131 | 0.007 % |
2.47/2.50 c | 6051 | 1755 169335 573755 | 56445 6051 129 | 0.000 % |
2.47/2.53 c | 6152 | 1755 169335 573755 | 56445 6152 130 | 0.000 % |
2.47/2.56 c | 6265 | 1755 169335 573755 | 56445 6265 130 | 0.000 % |
2.47/2.59 c | 6386 | 1755 169335 573755 | 56445 6386 130 | 0.007 % |
2.57/2.62 c | 6520 | 1755 169335 573755 | 56445 6520 129 | 0.000 % |
2.57/2.66 c | 6666 | 1755 169335 573755 | 56445 6666 130 | 0.000 % |
2.57/2.69 c | 6827 | 1755 169335 573755 | 56445 6827 129 | 0.000 % |
2.66/2.73 c | 7003 | 1755 169335 573755 | 56445 7003 128 | 0.000 % |
2.66/2.78 c | 7196 | 1755 169335 573755 | 56445 7196 131 | 0.000 % |
2.76/2.83 c | 7409 | 1755 169335 573755 | 56445 7409 131 | 0.007 % |
2.76/2.88 c | 7642 | 1755 169335 573755 | 56445 7642 130 | 0.000 % |
2.86/2.90 c | 7742 | 1755 169335 573755 | 56445 7742 130 | 0.007 % |
2.86/2.92 c | 7852 | 1755 169335 573755 | 56445 7852 129 | 0.005 % |
2.86/2.95 c | 7973 | 1755 169335 573755 | 56445 7973 129 | 0.000 % |
2.86/2.99 c | 8109 | 1755 169335 573755 | 56445 8109 128 | 0.007 % |
2.96/3.02 c | 8255 | 1755 169335 573755 | 56445 8255 127 | 0.007 % |
2.96/3.05 c | 8415 | 1755 169335 573755 | 56445 8415 126 | 0.007 % |
2.96/3.09 c | 8591 | 1755 169335 573755 | 56445 8591 125 | 0.007 % |
3.06/3.13 c | 8784 | 1755 169335 573755 | 56445 8784 126 | 0.000 % |
3.06/3.18 c | 8996 | 1755 169335 573755 | 56445 8996 126 | 0.005 % |
3.16/3.24 c | 9229 | 1755 169335 573755 | 56445 9229 126 | 0.006 % |
3.27/3.31 c | 9485 | 1755 169335 573755 | 56445 9485 126 | 0.000 % |
3.27/3.34 c | 9587 | 1755 169335 573755 | 56445 9587 126 | 0.000 % |
3.27/3.37 c | 9698 | 1755 169335 573755 | 56445 9698 127 | 0.000 % |
3.36/3.40 c | 9819 | 1755 169335 573755 | 56445 9819 127 | 0.000 % |
3.36/3.43 c | 9952 | 1755 169335 573755 | 56445 9952 127 | 0.007 % |
3.36/3.47 c | 10098 | 1755 169335 573755 | 2147483647 10098 126 | 0.007 % |
3.46/3.51 c | 10258 | 1755 169335 573755 | 2147483647 10258 127 | 0.000 % |
3.46/3.55 c | 10435 | 1755 169335 573755 | 2147483647 10435 127 | 0.000 % |
3.56/3.60 c | 10629 | 1755 169335 573755 | 2147483647 10629 126 | 0.007 % |
3.56/3.65 c | 10842 | 1755 169335 573755 | 2147483647 10842 126 | 0.007 % |
3.66/3.71 c | 11075 | 1755 169335 573755 | 2147483647 11075 125 | 0.006 % |
3.66/3.77 c | 11333 | 1755 169335 573755 | 2147483647 11333 127 | 0.000 % |
3.76/3.85 c | 11615 | 1755 169335 573755 | 2147483647 11615 127 | 0.000 % |
3.76/3.88 c | 11715 | 1755 169335 573755 | 2147483647 11715 127 | 0.006 % |
3.86/3.90 c | 11825 | 1755 169335 573755 | 2147483647 11825 127 | 0.006 % |
3.86/3.93 c | 11947 | 1755 169335 573755 | 2147483647 11947 127 | 0.000 % |
3.86/3.97 c | 12080 | 1755 169335 573755 | 2147483647 12080 127 | 0.000 % |
3.96/4.01 c | 12226 | 1755 169335 573755 | 2147483647 12226 127 | 0.000 % |
3.96/4.05 c | 12387 | 1755 169335 573755 | 2147483647 12387 128 | 0.000 % |
3.96/4.09 c | 12563 | 1755 169335 573755 | 2147483647 12563 128 | 0.000 % |
4.06/4.15 c | 12756 | 1755 169335 573755 | 2147483647 12756 129 | 0.000 % |
4.16/4.20 c | 12968 | 1755 169335 573755 | 2147483647 12968 128 | 0.000 % |
4.16/4.27 c | 13201 | 1755 169335 573755 | 2147483647 13201 128 | 0.005 % |
4.26/4.32 c | 13457 | 1755 169335 573755 | 2147483647 13457 127 | 0.005 % |
4.26/4.39 c | 13738 | 1755 169335 573755 | 2147483647 13738 126 | 0.005 % |
4.36/4.47 c | 14047 | 1755 169335 573755 | 2147483647 14047 126 | 0.000 % |
4.46/4.50 c | 14147 | 1755 169335 573755 | 2147483647 14147 126 | 0.000 % |
4.46/4.53 c | 14259 | 1755 169335 573755 | 2147483647 14259 126 | 0.000 % |
4.46/4.56 c | 14382 | 1755 169335 573755 | 2147483647 14382 126 | 0.000 % |
4.56/4.60 c | 14516 | 1755 169335 573755 | 2147483647 14516 125 | 0.000 % |
4.56/4.64 c | 14662 | 1755 169335 573755 | 2147483647 14662 126 | 0.000 % |
4.56/4.69 c | 14823 | 1755 169335 573755 | 2147483647 14823 126 | 0.007 % |
4.66/4.73 c | 14999 | 1755 169335 573755 | 2147483647 14999 126 | 0.006 % |
4.66/4.79 c | 15195 | 1755 169335 573755 | 2147483647 15195 126 | 0.006 % |
4.76/4.85 c | 15410 | 1755 169335 573755 | 2147483647 15410 125 | 0.006 % |
4.86/4.92 c | 15645 | 1755 169335 573755 | 2147483647 15645 124 | 0.006 % |
4.86/4.99 c | 15902 | 1755 169335 573755 | 2147483647 15902 124 | 0.006 % |
4.96/5.07 c | 16183 | 1755 169335 573755 | 2147483647 16183 123 | 0.006 % |
5.05/5.16 c | 16492 | 1755 169335 573755 | 2147483647 16492 122 | 0.006 % |
5.15/5.25 c | 16832 | 1755 169335 573755 | 2147483647 16832 121 | 0.006 % |
5.15/5.28 c | 16932 | 1755 169335 573755 | 2147483647 16932 121 | 0.006 % |
5.25/5.31 c | 17042 | 1755 169335 573755 | 2147483647 17042 121 | 0.008 % |
5.25/5.35 c | 17163 | 1755 169335 573755 | 2147483647 17163 121 | 0.000 % |
5.25/5.39 c | 17296 | 1755 169335 573755 | 2147483647 17296 121 | 0.000 % |
5.36/5.44 c | 17444 | 1755 169335 573755 | 2147483647 17444 121 | 0.007 % |
5.36/5.47 c | 17604 | 1755 169335 573755 | 2147483647 17604 121 | 0.000 % |
5.46/5.52 c | 17781 | 1755 169335 573755 | 2147483647 17781 120 | 0.000 % |
5.46/5.59 c | 17975 | 1755 169335 573755 | 2147483647 17975 120 | 0.006 % |
5.56/5.65 c | 18187 | 1755 169335 573755 | 2147483647 18187 120 | 0.006 % |
5.66/5.71 c | 18420 | 1755 169335 573755 | 2147483647 18420 119 | 0.007 % |
5.66/5.78 c | 18677 | 1755 169335 573755 | 2147483647 18677 119 | 0.000 % |
5.76/5.85 c | 18958 | 1755 169335 573755 | 2147483647 18958 118 | 0.007 % |
5.86/5.93 c | 19268 | 1755 169335 573755 | 2147483647 19268 118 | 0.006 % |
5.96/6.03 c | 19607 | 1755 169335 573755 | 2147483647 19607 117 | 0.007 % |
6.06/6.13 c | 19980 | 1755 169335 573755 | 2147483647 19980 117 | 0.007 % |
6.06/6.17 c | 20080 | 1755 169335 573755 | 2147483647 20080 117 | 0.007 % |
6.16/6.20 c | 20191 | 1755 169335 573755 | 2147483647 20191 117 | 0.000 % |
6.16/6.24 c | 20313 | 1755 169335 573755 | 2147483647 20313 117 | 0.000 % |
6.16/6.28 c | 20446 | 1755 169335 573755 | 2147483647 20446 117 | 0.000 % |
6.26/6.33 c | 20593 | 1755 169335 573755 | 2147483647 20593 117 | 0.006 % |
6.26/6.39 c | 20753 | 1755 169335 573755 | 2147483647 20753 118 | 0.000 % |
6.36/6.45 c | 20931 | 1755 169335 573755 | 2147483647 20931 118 | 0.000 % |
6.46/6.51 c | 21126 | 1755 169335 573755 | 2147483647 21126 118 | 0.000 % |
6.46/6.58 c | 21338 | 1755 169335 573755 | 2147483647 21338 118 | 0.000 % |
6.55/6.65 c | 21571 | 1755 169335 573755 | 2147483647 21571 118 | 0.000 % |
6.65/6.73 c | 21827 | 1755 169335 573755 | 2147483647 21827 118 | 0.000 % |
6.75/6.81 c | 22109 | 1755 169335 573755 | 2147483647 22109 118 | 0.000 % |
6.75/6.89 c | 22418 | 1755 169335 573755 | 2147483647 22418 118 | 0.006 % |
6.95/7.00 c | 22758 | 1755 169335 573755 | 2147483647 22758 118 | 0.000 % |
6.95/7.09 c | 23132 | 1755 169335 573755 | 2147483647 23132 117 | 0.005 % |
7.15/7.23 c | 23546 | 1755 169335 573755 | 2147483647 23546 117 | 0.000 % |
7.15/7.26 c | 23648 | 1755 169335 573755 | 2147483647 23648 117 | 0.000 % |
7.15/7.30 c | 23759 | 1755 169335 573755 | 2147483647 23759 117 | 0.000 % |
7.25/7.33 c | 23882 | 1755 169335 573755 | 2147483647 23882 117 | 0.000 % |
7.25/7.37 c | 24016 | 1755 169335 573755 | 2147483647 24016 117 | 0.000 % |
7.35/7.42 c | 24162 | 1755 169335 573755 | 2147483647 24162 117 | 0.000 % |
7.35/7.47 c | 24322 | 1755 169335 573755 | 2147483647 24322 117 | 0.007 % |
7.45/7.52 c | 24500 | 1755 169335 573755 | 2147483647 24500 117 | 0.000 % |
7.45/7.59 c | 24694 | 1755 169335 573755 | 2147483647 24694 117 | 0.000 % |
7.55/7.67 c | 24906 | 1755 169335 573755 | 2147483647 24906 117 | 0.006 % |
7.65/7.75 c | 25139 | 1755 169335 573755 | 2147483647 25139 118 | 0.000 % |
7.74/7.82 c | 25396 | 1755 169335 573755 | 2147483647 25396 117 | 0.006 % |
7.84/7.93 c | 25678 | 1755 169335 573755 | 2147483647 25678 117 | 0.000 % |
7.94/8.03 c | 25988 | 1755 169335 573755 | 2147483647 25988 117 | 0.006 % |
8.04/8.14 c | 26327 | 1755 169335 573755 | 2147483647 26327 116 | 0.000 % |
8.14/8.26 c | 26699 | 1755 169335 573755 | 2147483647 26699 116 | 0.007 % |
8.24/8.38 c | 27108 | 1755 169335 573755 | 2147483647 27108 116 | 0.007 % |
8.44/8.52 c | 27557 | 1755 169335 573755 | 2147483647 27557 115 | 0.007 % |
8.44/8.56 c | 27657 | 1755 169335 573755 | 2147483647 27657 115 | 0.000 % |
8.44/8.59 c | 27768 | 1755 169335 573755 | 2147483647 27768 115 | 0.007 % |
8.54/8.64 c | 27890 | 1755 169335 573755 | 2147483647 27890 115 | 0.000 % |
8.54/8.68 c | 28024 | 1755 169335 573755 | 2147483647 28024 115 | 0.007 % |
8.64/8.74 c | 28170 | 1755 169335 573755 | 2147483647 28170 116 | 0.000 % |
8.64/8.80 c | 28330 | 1755 169335 573755 | 2147483647 28330 116 | 0.000 % |
8.74/8.85 c | 28507 | 1755 169335 573755 | 2147483647 28507 116 | 0.005 % |
8.84/8.91 c | 28702 | 1755 169335 573755 | 2147483647 28702 116 | 0.000 % |
8.84/8.99 c | 28914 | 1755 169335 573755 | 2147483647 28914 117 | 0.000 % |
8.94/9.07 c | 29148 | 1755 169335 573755 | 2147483647 29148 117 | 0.000 % |
9.04/9.17 c | 29404 | 1755 169335 573755 | 2147483647 29404 117 | 0.006 % |
9.14/9.26 c | 29685 | 1755 169335 573755 | 2147483647 29685 117 | 0.005 % |
9.24/9.35 c | 29994 | 1755 169335 573755 | 2147483647 29994 117 | 0.005 % |
9.34/9.48 c | 30333 | 1755 169335 573755 | 2147483647 30333 116 | 0.006 % |
9.54/9.63 c | 30705 | 1755 169335 573755 | 2147483647 30705 116 | 0.007 % |
9.63/9.78 c | 31114 | 1755 169335 573755 | 2147483647 31114 116 | 0.007 % |
9.84/9.94 c | 31566 | 1755 169335 573755 | 2147483647 31566 115 | 0.007 % |
10.04/10.12 c | 32061 | 1755 169335 573755 | 2147483647 32061 117 | 0.000 % |
10.04/10.16 c | 32161 | 1755 169335 573755 | 2147483647 32161 117 | 0.000 % |
10.14/10.20 c | 32274 | 1755 169335 573755 | 2147483647 32274 117 | 0.000 % |
10.14/10.24 c | 32395 | 1755 169335 573755 | 2147483647 32395 117 | 0.007 % |
10.14/10.29 c | 32528 | 1755 169335 573755 | 2147483647 32528 117 | 0.005 % |
10.24/10.35 c | 32674 | 1755 169335 573755 | 2147483647 32674 117 | 0.000 % |
10.34/10.42 c | 32834 | 1755 169335 573755 | 2147483647 32834 117 | 0.000 % |
10.44/10.50 c | 33010 | 1755 169335 573755 | 2147483647 33010 117 | 0.008 % |
10.44/10.58 c | 33203 | 1755 169335 573755 | 2147483647 33203 118 | 0.000 % |
10.54/10.67 c | 33415 | 1755 169335 573755 | 2147483647 33415 118 | 0.000 % |
10.64/10.76 c | 33648 | 1755 169335 573755 | 2147483647 33648 119 | 0.000 % |
10.74/10.86 c | 33905 | 1755 169335 573755 | 2147483647 33905 119 | 0.000 % |
10.84/10.95 c | 34186 | 1755 169335 573755 | 2147483647 34186 119 | 0.006 % |
10.94/11.06 c | 34495 | 1755 169335 573755 | 2147483647 34495 118 | 0.006 % |
11.04/11.19 c | 34835 | 1755 169335 573755 | 2147483647 34835 118 | 0.006 % |
11.24/11.32 c | 35208 | 1755 169335 573755 | 2147483647 35208 118 | 0.000 % |
11.34/11.47 c | 35621 | 1755 169335 573755 | 2147483647 35621 118 | 0.000 % |
11.54/11.62 c | 36070 | 1755 169335 573755 | 2147483647 36070 118 | 0.000 % |
11.73/11.82 c | 36563 | 1755 169335 573755 | 2147483647 36563 119 | 0.000 % |
11.94/12.08 c | 37107 | 1755 169335 573755 | 2147483647 37107 120 | 0.000 % |
12.04/12.13 c | 37211 | 1755 169335 573755 | 2147483647 37211 120 | 0.000 % |
12.04/12.17 c | 37321 | 1755 169335 573755 | 2147483647 37321 120 | 0.008 % |
12.13/12.21 c | 37442 | 1755 169335 573755 | 2147483647 37442 120 | 0.000 % |
12.13/12.27 c | 37577 | 1755 169335 573755 | 2147483647 37577 120 | 0.007 % |
12.23/12.33 c | 37724 | 1755 169335 573755 | 2147483647 37724 120 | 0.000 % |
12.23/12.39 c | 37884 | 1755 169335 573755 | 2147483647 37884 120 | 0.000 % |
12.33/12.47 c | 38060 | 1755 169335 573755 | 2147483647 38060 120 | 0.006 % |
12.43/12.56 c | 38253 | 1755 169335 573755 | 2147483647 38253 120 | 0.000 % |
12.54/12.64 c | 38465 | 1755 169335 573755 | 2147483647 38465 120 | 0.000 % |
12.64/12.73 c | 38698 | 1755 169335 573755 | 2147483647 38698 120 | 0.000 % |
12.74/12.82 c | 38954 | 1755 169335 573755 | 2147483647 38954 120 | 0.000 % |
12.84/12.93 c | 39235 | 1755 169335 573755 | 2147483647 39235 120 | 0.006 % |
12.94/13.05 c | 39547 | 1755 169335 573755 | 2147483647 39547 120 | 0.006 % |
13.14/13.21 c | 39886 | 1755 169335 573755 | 2147483647 39886 120 | 0.000 % |
13.24/13.37 c | 40258 | 1755 169335 573755 | 2147483647 40258 120 | 0.000 % |
13.43/13.53 c | 40667 | 1755 169335 573755 | 2147483647 40667 120 | 0.000 % |
13.63/13.71 c | 41117 | 1755 169335 573755 | 2147483647 41117 120 | 0.006 % |
13.83/13.91 c | 41610 | 1755 169335 573755 | 2147483647 41610 119 | 0.007 % |
14.03/14.10 c | 42154 | 1755 169335 573755 | 2147483647 42154 119 | 0.007 % |
14.24/14.35 c | 42750 | 1755 169335 573755 | 2147483647 42750 119 | 0.007 % |
14.24/14.40 c | 42851 | 1755 169335 573755 | 2147483647 42851 119 | 0.006 % |
14.33/14.45 c | 42961 | 1755 169335 573755 | 2147483647 42961 119 | 0.000 % |
14.33/14.50 c | 43083 | 1755 169335 573755 | 2147483647 43083 119 | 0.006 % |
14.43/14.56 c | 43217 | 1755 169335 573755 | 2147483647 43217 119 | 0.000 % |
14.53/14.63 c | 43364 | 1755 169335 573755 | 2147483647 43364 119 | 0.000 % |
14.53/14.69 c | 43525 | 1755 169335 573755 | 2147483647 43525 119 | 0.006 % |
14.63/14.79 c | 43702 | 1755 169335 573755 | 2147483647 43702 119 | 0.000 % |
14.73/14.88 c | 43896 | 1755 169335 573755 | 2147483647 43896 119 | 0.000 % |
14.83/14.96 c | 44108 | 1755 169335 573755 | 2147483647 44108 119 | 0.006 % |
14.92/15.06 c | 44341 | 1755 169335 573755 | 2147483647 44341 119 | 0.000 % |
15.02/15.17 c | 44599 | 1755 169335 573755 | 2147483647 44599 119 | 0.006 % |
15.12/15.30 c | 44882 | 1755 169335 573755 | 2147483647 44882 119 | 0.000 % |
15.34/15.43 c | 45192 | 1755 169335 573755 | 2147483647 45192 119 | 0.007 % |
15.43/15.55 c | 45531 | 1755 169335 573755 | 2147483647 45531 119 | 0.005 % |
15.63/15.71 c | 45905 | 1755 169335 573755 | 2147483647 45905 120 | 0.000 % |
15.73/15.89 c | 46314 | 1755 169335 573755 | 2147483647 46314 120 | 0.006 % |
15.93/16.09 c | 46763 | 1755 169335 573755 | 2147483647 46763 120 | 0.007 % |
16.23/16.30 c | 47256 | 1755 169335 573755 | 2147483647 47256 119 | 0.007 % |
16.43/16.56 c | 47798 | 1755 169335 573755 | 2147483647 47798 119 | 0.000 % |
16.73/16.81 c | 48394 | 1755 169335 573755 | 2147483647 48394 119 | 0.007 % |
16.93/17.08 c | 49049 | 1755 169335 573755 | 2147483647 49049 119 | 0.005 % |
17.03/17.13 c | 49150 | 1755 169335 573755 | 2147483647 49150 119 | 0.000 % |
17.13/17.20 c | 49263 | 1755 169335 573755 | 2147483647 49263 119 | 0.000 % |
17.13/17.25 c | 49384 | 1755 169335 573755 | 2147483647 49384 119 | 0.000 % |
17.23/17.30 c | 49518 | 1755 169335 573755 | 2147483647 49518 119 | 0.000 % |
17.23/17.38 c | 49665 | 1755 169335 573755 | 2147483647 49665 119 | 0.000 % |
17.33/17.46 c | 49825 | 1755 169335 573755 | 2147483647 49825 119 | 0.007 % |
17.43/17.55 c | 50003 | 1755 169335 573755 | 2147483647 50003 119 | 0.000 % |
17.53/17.64 c | 50199 | 1755 169335 573755 | 2147483647 50199 119 | 0.000 % |
17.63/17.74 c | 50412 | 1755 169335 573755 | 2147483647 50412 119 | 0.005 % |
17.72/17.84 c | 50645 | 1755 169335 573755 | 2147483647 50645 119 | 0.005 % |
17.82/17.98 c | 50904 | 1755 169335 573755 | 2147483647 50904 119 | 0.008 % |
18.02/18.10 c | 51186 | 1755 169335 573755 | 2147483647 51186 119 | 0.000 % |
18.12/18.22 c | 51496 | 1755 169335 573755 | 2147483647 51496 119 | 0.006 % |
18.22/18.38 c | 51838 | 1755 169335 573755 | 2147483647 51838 119 | 0.007 % |
18.43/18.57 c | 52210 | 1755 169335 573755 | 2147483647 52210 118 | 0.005 % |
18.63/18.76 c | 52620 | 1755 169335 573755 | 2147483647 52620 118 | 0.007 % |
18.83/18.93 c | 53071 | 1755 169335 573755 | 2147483647 53071 118 | 0.000 % |
19.03/19.19 c | 53565 | 1755 169335 573755 | 2147483647 53565 119 | 0.000 % |
19.32/19.46 c | 54108 | 1755 169335 573755 | 2147483647 54108 120 | 0.000 % |
19.62/19.72 c | 54704 | 1755 169335 573755 | 2147483647 54704 120 | 0.000 % |
19.92/20.02 c | 55359 | 1755 169335 573755 | 2147483647 55359 119 | 0.000 % |
20.22/20.33 c | 56080 | 1755 169335 573755 | 2147483647 56080 119 | 0.006 % |
20.22/20.40 c | 56181 | 1755 169335 573755 | 2147483647 56181 119 | 0.000 % |
20.32/20.46 c | 56293 | 1755 169335 573755 | 2147483647 56293 119 | 0.000 % |
20.42/20.52 c | 56414 | 1755 169335 573755 | 2147483647 56414 119 | 0.007 % |
20.42/20.58 c | 56549 | 1755 169335 573755 | 2147483647 56549 119 | 0.000 % |
20.52/20.68 c | 56698 | 1755 169335 573755 | 2147483647 56698 120 | 0.000 % |
20.62/20.76 c | 56858 | 1755 169335 573755 | 2147483647 56858 120 | 0.000 % |
20.72/20.86 c | 57034 | 1755 169335 573755 | 2147483647 57034 120 | 0.008 % |
20.82/20.99 c | 57227 | 1755 169335 573755 | 2147483647 57227 120 | 0.000 % |
20.92/21.08 c | 57439 | 1755 169335 573755 | 2147483647 57439 120 | 0.006 % |
21.12/21.22 c | 57673 | 1755 169335 573755 | 2147483647 57673 120 | 0.007 % |
21.22/21.35 c | 57929 | 1755 169335 573755 | 2147483647 57929 119 | 0.000 % |
21.32/21.48 c | 58211 | 1755 169335 573755 | 2147483647 58211 119 | 0.007 % |
21.52/21.63 c | 58520 | 1755 169335 573755 | 2147483647 58520 119 | 0.007 % |
21.72/21.81 c | 58860 | 1755 169335 573755 | 2147483647 58860 119 | 0.000 % |
21.92/22.03 c | 59233 | 1755 169335 573755 | 2147483647 59233 119 | 0.000 % |
22.12/22.24 c | 59643 | 1755 169335 573755 | 2147483647 59643 119 | 0.006 % |
22.32/22.46 c | 60092 | 1755 169335 573755 | 2147483647 60092 119 | 0.000 % |
22.62/22.76 c | 60585 | 1755 169335 573755 | 2147483647 60585 120 | 0.000 % |
22.92/23.09 c | 61128 | 1755 169335 573755 | 2147483647 61128 120 | 0.000 % |
23.31/23.42 c | 61724 | 1755 169335 573755 | 2147483647 61724 120 | 0.000 % |
23.62/23.76 c | 62379 | 1755 169335 573755 | 2147483647 62379 120 | 0.000 % |
24.02/24.17 c | 63099 | 1755 169335 573755 | 2147483647 63099 120 | 0.005 % |
24.52/24.64 c | 63891 | 1755 169335 573755 | 2147483647 63891 121 | 0.000 % |
24.62/24.71 c | 63992 | 1755 169335 573755 | 2147483647 63992 121 | 0.000 % |
24.62/24.76 c | 64102 | 1755 169335 573755 | 2147483647 64102 121 | 0.000 % |
24.72/24.84 c | 64224 | 1755 169335 573755 | 2147483647 64224 121 | 0.000 % |
24.82/24.90 c | 64359 | 1755 169335 573755 | 2147483647 64359 121 | 0.007 % |
24.82/24.99 c | 64506 | 1755 169335 573755 | 2147483647 64506 121 | 0.006 % |
25.01/25.10 c | 64666 | 1755 169335 573755 | 2147483647 64666 121 | 0.000 % |
25.12/25.21 c | 64846 | 1755 169335 573755 | 2147483647 64846 121 | 0.000 % |
25.22/25.31 c | 65039 | 1755 169335 573755 | 2147483647 65039 121 | 0.000 % |
25.31/25.45 c | 65252 | 1755 169335 573755 | 2147483647 65252 121 | 0.000 % |
25.41/25.58 c | 65485 | 1755 169335 573755 | 2147483647 65485 121 | 0.000 % |
25.61/25.74 c | 65741 | 1755 169335 573755 | 2147483647 65741 121 | 0.000 % |
25.81/25.90 c | 66023 | 1755 169335 573755 | 2147483647 66023 121 | 0.000 % |
25.91/26.06 c | 66333 | 1755 169335 573755 | 2147483647 66333 121 | 0.000 % |
26.11/26.23 c | 66672 | 1755 169335 573755 | 2147483647 66672 122 | 0.000 % |
26.32/26.44 c | 67046 | 1755 169335 573755 | 2147483647 67046 122 | 0.000 % |
26.52/26.64 c | 67458 | 1755 169335 573755 | 2147483647 67458 122 | 0.000 % |
26.82/26.91 c | 67910 | 1755 169335 573755 | 2147483647 67910 122 | 0.005 % |
27.02/27.14 c | 68404 | 1755 169335 573755 | 2147483647 68404 122 | 0.005 % |
27.32/27.46 c | 68946 | 1755 169335 573755 | 2147483647 68946 122 | 0.000 % |
27.71/27.85 c | 69542 | 1755 169335 573755 | 2147483647 69542 121 | 0.005 % |
28.11/28.21 c | 70197 | 1755 169335 573755 | 2147483647 70197 122 | 0.000 % |
28.52/28.63 c | 70918 | 1755 169335 573755 | 2147483647 70918 122 | 0.006 % |
28.91/29.07 c | 71710 | 1755 169335 573755 | 2147483647 71710 121 | 0.000 % |
29.51/29.63 c | 72583 | 1755 169335 573755 | 2147483647 72583 121 | 0.006 % |
29.61/29.71 c | 72685 | 1755 169335 573755 | 2147483647 72685 121 | 0.000 % |
29.61/29.79 c | 72797 | 1755 169335 573755 | 2147483647 72797 121 | 0.006 % |
29.71/29.85 c | 72918 | 1755 169335 573755 | 2147483647 72918 121 | 0.006 % |
29.81/29.93 c | 73051 | 1755 169335 573755 | 2147483647 73051 121 | 0.008 % |
29.91/30.02 c | 73199 | 1755 169335 573755 | 2147483647 73199 121 | 0.000 % |
30.01/30.13 c | 73360 | 1755 169335 573755 | 2147483647 73360 121 | 0.000 % |
30.11/30.24 c | 73536 | 1755 169335 573755 | 2147483647 73536 121 | 0.000 % |
30.21/30.38 c | 73731 | 1755 169335 573755 | 2147483647 73731 121 | 0.000 % |
30.41/30.52 c | 73944 | 1755 169335 573755 | 2147483647 73944 121 | 0.000 % |
30.51/30.67 c | 74177 | 1755 169335 573755 | 2147483647 74177 121 | 0.000 % |
30.71/30.81 c | 74433 | 1755 169335 573755 | 2147483647 74433 121 | 0.000 % |
30.81/30.98 c | 74716 | 1755 169335 573755 | 2147483647 74716 121 | 0.000 % |
31.00/31.15 c | 75029 | 1755 169335 573755 | 2147483647 75029 121 | 0.000 % |
31.20/31.37 c | 75371 | 1755 169335 573755 | 2147483647 75371 121 | 0.000 % |
31.40/31.57 c | 75743 | 1755 169335 573755 | 2147483647 75743 121 | 0.000 % |
31.71/31.82 c | 76153 | 1755 169335 573755 | 2147483647 76153 121 | 0.000 % |
31.91/32.08 c | 76602 | 1755 169335 573755 | 2147483647 76602 121 | 0.000 % |
32.21/32.35 c | 77095 | 1755 169335 573755 | 2147483647 77095 121 | 0.000 % |
32.61/32.70 c | 77637 | 1755 169335 573755 | 2147483647 77637 121 | 0.000 % |
32.91/33.07 c | 78236 | 1755 169335 573755 | 2147483647 78236 121 | 0.006 % |
33.31/33.47 c | 78896 | 1755 169335 573755 | 2147483647 78896 121 | 0.006 % |
33.81/33.93 c | 79617 | 1755 169335 573755 | 2147483647 79617 121 | 0.006 % |
34.21/34.39 c | 80410 | 1755 169335 573755 | 2147483647 80410 120 | 0.008 % |
34.81/34.94 c | 81281 | 1755 169335 573755 | 2147483647 81281 120 | 0.008 % |
35.41/35.55 c | 82242 | 1755 169335 573755 | 2147483647 82242 120 | 0.005 % |
35.51/35.61 c | 82343 | 1755 169335 573755 | 2147483647 82343 120 | 0.007 % |
35.51/35.69 c | 82453 | 1755 169335 573755 | 2147483647 82453 120 | 0.000 % |
35.60/35.78 c | 82575 | 1755 169335 573755 | 2147483647 82575 120 | 0.006 % |
35.70/35.88 c | 82708 | 1755 169335 573755 | 2147483647 82708 120 | 0.000 % |
35.80/35.98 c | 82854 | 1755 169335 573755 | 2147483647 82854 120 | 0.000 % |
35.90/36.09 c | 83014 | 1755 169335 573755 | 2147483647 83014 120 | 0.000 % |
36.11/36.23 c | 83191 | 1755 169335 573755 | 2147483647 83191 120 | 0.000 % |
36.21/36.37 c | 83385 | 1755 169335 573755 | 2147483647 83385 120 | 0.000 % |
36.30/36.48 c | 83598 | 1755 169335 573755 | 2147483647 83598 120 | 0.000 % |
36.50/36.66 c | 83834 | 1755 169335 573755 | 2147483647 83834 120 | 0.000 % |
36.70/36.85 c | 84092 | 1755 169335 573755 | 2147483647 84092 120 | 0.000 % |
36.90/37.03 c | 84374 | 1755 169335 573755 | 2147483647 84374 120 | 0.000 % |
37.10/37.25 c | 84685 | 1755 169335 573755 | 2147483647 84685 120 | 0.005 % |
37.30/37.49 c | 85024 | 1755 169335 573755 | 2147483647 85024 120 | 0.007 % |
37.60/37.74 c | 85396 | 1755 169335 573755 | 2147483647 85396 121 | 0.000 % |
37.80/37.99 c | 85805 | 1755 169335 573755 | 2147483647 85805 121 | 0.000 % |
38.20/38.32 c | 86254 | 1755 169335 573755 | 2147483647 86254 121 | 0.006 % |
38.50/38.65 c | 86749 | 1755 169335 573755 | 2147483647 86749 121 | 0.006 % |
38.80/38.95 c | 87292 | 1755 169335 573755 | 2147483647 87292 121 | 0.000 % |
39.10/39.28 c | 87889 | 1755 169335 573755 | 2147483647 87889 121 | 0.000 % |
39.60/39.74 c | 88544 | 1755 169335 573755 | 2147483647 88544 120 | 0.000 % |
40.20/40.33 c | 89266 | 1755 169335 573755 | 2147483647 89266 121 | 0.000 % |
40.70/40.81 c | 90058 | 1755 169335 573755 | 2147483647 90058 121 | 0.007 % |
41.40/41.50 c | 90930 | 1755 169335 573755 | 2147483647 90930 121 | 0.000 % |
42.10/42.22 c | 91888 | 1755 169335 573755 | 2147483647 91888 121 | 0.000 % |
42.80/42.96 c | 92942 | 1755 169335 573755 | 2147483647 92942 121 | 0.008 % |
42.90/43.04 c | 93047 | 1755 169335 573755 | 2147483647 93047 121 | 0.007 % |
43.00/43.16 c | 93157 | 1755 169335 573755 | 2147483647 93157 121 | 0.000 % |
43.10/43.25 c | 93278 | 1755 169335 573755 | 2147483647 93278 121 | 0.000 % |
43.20/43.35 c | 93412 | 1755 169335 573755 | 2147483647 93412 121 | 0.000 % |
43.30/43.45 c | 93558 | 1755 169335 573755 | 2147483647 93558 121 | 0.005 % |
43.40/43.58 c | 93718 | 1755 169335 573755 | 2147483647 93718 121 | 0.000 % |
43.60/43.72 c | 93894 | 1755 169335 573755 | 2147483647 93894 121 | 0.000 % |
43.70/43.87 c | 94087 | 1755 169335 573755 | 2147483647 94087 121 | 0.008 % |
43.90/44.03 c | 94302 | 1755 169335 573755 | 2147483647 94302 121 | 0.000 % |
44.10/44.20 c | 94536 | 1755 169335 573755 | 2147483647 94536 121 | 0.000 % |
44.29/44.42 c | 94792 | 1755 169335 573755 | 2147483647 94792 121 | 0.000 % |
44.49/44.66 c | 95074 | 1755 169335 573755 | 2147483647 95074 121 | 0.000 % |
44.79/44.92 c | 95383 | 1755 169335 573755 | 2147483647 95383 122 | 0.000 % |
45.00/45.18 c | 95724 | 1755 169335 573755 | 2147483647 95724 122 | 0.000 % |
45.29/45.44 c | 96096 | 1755 169335 573755 | 2147483647 96096 122 | 0.000 % |
45.59/45.76 c | 96505 | 1755 169335 573755 | 2147483647 96505 122 | 0.000 % |
46.00/46.17 c | 96956 | 1755 169335 573755 | 2147483647 96956 122 | 0.000 % |
46.39/46.57 c | 97450 | 1755 169335 573755 | 2147483647 97450 123 | 0.000 % |
46.79/46.96 c | 97993 | 1755 169335 573755 | 2147483647 97993 122 | 0.007 % |
47.20/47.33 c | 98589 | 1755 169335 573755 | 2147483647 98589 122 | 0.007 % |
47.69/47.88 c | 99246 | 1755 169335 573755 | 2147483647 99246 123 | 0.000 % |
48.29/48.48 c | 99967 | 1755 169335 573755 | 2147483647 99967 123 | 0.000 % |
48.90/49.07 c | 100761 | 1755 169335 573755 | 2147483647 100761 123 | 0.000 % |
49.60/49.74 c | 101633 | 1755 169335 573755 | 2147483647 101633 123 | 0.005 % |
50.40/50.52 c | 102592 | 1755 169335 573755 | 2147483647 102592 123 | 0.000 % |
51.39/51.52 c | 103645 | 1755 169335 573755 | 2147483647 103645 123 | 0.000 % |
52.29/52.45 c | 104803 | 1755 169335 573755 | 2147483647 104803 123 | 0.006 % |
52.39/52.52 c | 104904 | 1755 169335 573755 | 2147483647 104904 123 | 0.007 % |
52.49/52.61 c | 105014 | 1755 169335 573755 | 2147483647 105014 123 | 0.006 % |
52.59/52.72 c | 105135 | 1755 169335 573755 | 2147483647 105135 123 | 0.000 % |
52.69/52.82 c | 105269 | 1755 169335 573755 | 2147483647 105269 123 | 0.000 % |
52.79/52.94 c | 105416 | 1755 169335 573755 | 2147483647 105416 123 | 0.000 % |
52.89/53.06 c | 105577 | 1755 169335 573755 | 2147483647 105577 123 | 0.000 % |
53.08/53.21 c | 105753 | 1755 169335 573755 | 2147483647 105753 123 | 0.000 % |
53.18/53.39 c | 105946 | 1755 169335 573755 | 2147483647 105946 123 | 0.000 % |
53.39/53.57 c | 106158 | 1755 169335 573755 | 2147483647 106158 123 | 0.000 % |
53.59/53.73 c | 106391 | 1755 169335 573755 | 2147483647 106391 123 | 0.000 % |
53.79/53.93 c | 106647 | 1755 169335 573755 | 2147483647 106647 123 | 0.000 % |
53.99/54.17 c | 106928 | 1755 169335 573755 | 2147483647 106928 123 | 0.000 % |
54.29/54.40 c | 107237 | 1755 169335 573755 | 2147483647 107237 123 | 0.000 % |
54.49/54.67 c | 107576 | 1755 169335 573755 | 2147483647 107576 123 | 0.000 % |
54.79/54.98 c | 107949 | 1755 169335 573755 | 2147483647 107949 123 | 0.000 % |
55.18/55.31 c | 108359 | 1755 169335 573755 | 2147483647 108359 123 | 0.005 % |
55.48/55.66 c | 108808 | 1755 169335 573755 | 2147483647 108808 123 | 0.007 % |
55.88/56.05 c | 109306 | 1755 169335 573755 | 2147483647 109306 123 | 0.007 % |
56.28/56.44 c | 109849 | 1755 169335 573755 | 2147483647 109849 123 | 0.000 % |
56.79/56.90 c | 110445 | 1755 169335 573755 | 2147483647 110445 122 | 0.007 % |
57.39/57.53 c | 111100 | 1755 169335 573755 | 2147483647 111100 122 | 0.006 % |
57.98/58.14 c | 111821 | 1755 169335 573755 | 2147483647 111821 122 | 0.007 % |
58.68/58.85 c | 112613 | 1755 169335 573755 | 2147483647 112613 122 | 0.006 % |
59.38/59.50 c | 113485 | 1755 169335 573755 | 2147483647 113485 121 | 0.007 % |
60.29/60.42 c | 114445 | 1755 169335 573755 | 2147483647 114445 121 | 0.000 % |
61.08/61.23 c | 115498 | 1755 169335 573755 | 2147483647 115498 121 | 0.007 % |
62.08/62.20 c | 116659 | 1755 169335 573755 | 2147483647 116659 120 | 0.008 % |
63.18/63.37 c | 117936 | 1755 169335 573755 | 2147483647 117936 120 | 0.007 % |
63.28/63.47 c | 118037 | 1755 169335 573755 | 2147483647 118037 120 | 0.007 % |
63.48/63.61 c | 118150 | 1755 169335 573755 | 2147483647 118150 120 | 0.000 % |
63.59/63.75 c | 118271 | 1755 169335 573755 | 2147483647 118271 120 | 0.006 % |
63.69/63.87 c | 118404 | 1755 169335 573755 | 2147483647 118404 120 | 0.000 % |
63.88/64.06 c | 118550 | 1755 169335 573755 | 2147483647 118550 120 | 0.006 % |
64.08/64.21 c | 118711 | 1755 169335 573755 | 2147483647 118711 120 | 0.000 % |
64.18/64.35 c | 118888 | 1755 169335 573755 | 2147483647 118888 120 | 0.007 % |
64.38/64.52 c | 119081 | 1755 169335 573755 | 2147483647 119081 120 | 0.007 % |
64.58/64.75 c | 119293 | 1755 169335 573755 | 2147483647 119293 120 | 0.000 % |
64.79/64.98 c | 119526 | 1755 169335 573755 | 2147483647 119526 120 | 0.007 % |
65.08/65.22 c | 119783 | 1755 169335 573755 | 2147483647 119783 120 | 0.000 % |
65.28/65.46 c | 120064 | 1755 169335 573755 | 2147483647 120064 120 | 0.000 % |
65.58/65.79 c | 120376 | 1755 169335 573755 | 2147483647 120376 121 | 0.000 % |
65.88/66.09 c | 120715 | 1755 169335 573755 | 2147483647 120715 121 | 0.007 % |
66.28/66.48 c | 121089 | 1755 169335 573755 | 2147483647 121089 121 | 0.000 % |
66.68/66.81 c | 121502 | 1755 169335 573755 | 2147483647 121502 121 | 0.000 % |
67.08/67.24 c | 121951 | 1755 169335 573755 | 2147483647 121951 121 | 0.000 % |
67.57/67.71 c | 122445 | 1755 169335 573755 | 2147483647 122445 121 | 0.000 % |
67.98/68.14 c | 122989 | 1755 169335 573755 | 2147483647 122989 121 | 0.007 % |
68.58/68.70 c | 123585 | 1755 169335 573755 | 2147483647 123585 121 | 0.000 % |
69.18/69.31 c | 124240 | 1755 169335 573755 | 2147483647 124240 121 | 0.000 % |
69.78/69.99 c | 124960 | 1755 169335 573755 | 2147483647 124960 121 | 0.007 % |
70.48/70.68 c | 125753 | 1755 169335 573755 | 2147483647 125753 121 | 0.000 % |
71.28/71.43 c | 126624 | 1755 169335 573755 | 2147483647 126624 121 | 0.006 % |
72.07/72.20 c | 127583 | 1755 169335 573755 | 2147483647 127583 121 | 0.006 % |
73.18/73.35 c | 128639 | 1755 169335 573755 | 2147483647 128639 122 | 0.000 % |
74.18/74.30 c | 129797 | 1755 169335 573755 | 2147483647 129797 122 | 0.000 % |
75.37/75.55 c | 131072 | 1755 169335 573755 | 2147483647 131072 122 | 0.006 % |
77.18/77.34 c | 132472 | 1755 169335 573755 | 2147483647 132472 122 | 0.000 % |
77.28/77.46 c | 132573 | 1755 169335 573755 | 2147483647 132573 122 | 0.000 % |
77.48/77.61 c | 132683 | 1755 169335 573755 | 2147483647 132683 122 | 0.000 % |
77.58/77.74 c | 132804 | 1755 169335 573755 | 2147483647 132804 122 | 0.000 % |
77.68/77.86 c | 132938 | 1755 169335 573755 | 2147483647 132938 122 | 0.005 % |
77.88/78.01 c | 133084 | 1755 169335 573755 | 2147483647 133084 122 | 0.000 % |
78.08/78.23 c | 133244 | 1755 169335 573755 | 2147483647 133244 122 | 0.000 % |
78.27/78.40 c | 133420 | 1755 169335 573755 | 2147483647 133420 122 | 0.000 % |
78.47/78.62 c | 133613 | 1755 169335 573755 | 2147483647 133613 122 | 0.000 % |
78.67/78.84 c | 133826 | 1755 169335 573755 | 2147483647 133826 122 | 0.007 % |
78.98/79.14 c | 134060 | 1755 169335 573755 | 2147483647 134060 122 | 0.005 % |
79.27/79.42 c | 134317 | 1755 169335 573755 | 2147483647 134317 122 | 0.000 % |
79.47/79.66 c | 134598 | 1755 169335 573755 | 2147483647 134598 123 | 0.000 % |
79.77/79.98 c | 134907 | 1755 169335 573755 | 2147483647 134907 123 | 0.000 % |
80.18/80.33 c | 135246 | 1755 169335 573755 | 2147483647 135246 123 | 0.007 % |
80.47/80.69 c | 135618 | 1755 169335 573755 | 2147483647 135618 123 | 0.007 % |
80.87/81.07 c | 136027 | 1755 169335 573755 | 2147483647 136027 123 | 0.007 % |
81.37/81.54 c | 136477 | 1755 169335 573755 | 2147483647 136477 123 | 0.000 % |
81.78/81.99 c | 136971 | 1755 169335 573755 | 2147483647 136971 123 | 0.007 % |
82.38/82.53 c | 137514 | 1755 169335 573755 | 2147483647 137514 123 | 0.006 % |
82.98/83.17 c | 138110 | 1755 169335 573755 | 2147483647 138110 123 | 0.000 % |
83.68/83.81 c | 138766 | 1755 169335 573755 | 2147483647 138766 123 | 0.000 % |
84.38/84.50 c | 139486 | 1755 169335 573755 | 2147483647 139486 123 | 0.005 % |
85.17/85.31 c | 140280 | 1755 169335 573755 | 2147483647 140280 123 | 0.005 % |
86.07/86.29 c | 141151 | 1755 169335 573755 | 2147483647 141151 123 | 0.007 % |
87.07/87.28 c | 142110 | 1755 169335 573755 | 2147483647 142110 123 | 0.007 % |
88.07/88.29 c | 143164 | 1755 169335 573755 | 2147483647 143164 123 | 0.000 % |
89.27/89.44 c | 144323 | 1755 169335 573755 | 2147483647 144323 123 | 0.000 % |
90.57/90.73 c | 145597 | 1755 169335 573755 | 2147483647 145597 122 | 0.000 % |
91.97/92.11 c | 146997 | 1755 169335 573755 | 2147483647 146997 123 | 0.000 % |
93.56/93.70 c | 148539 | 1755 169335 573755 | 2147483647 148539 123 | 0.000 % |
93.66/93.81 c | 148639 | 1755 169335 573755 | 2147483647 148639 123 | 0.000 % |
93.76/93.93 c | 148749 | 1755 169335 573755 | 2147483647 148749 123 | 0.000 % |
93.86/94.07 c | 148871 | 1755 169335 573755 | 2147483647 148871 123 | 0.000 % |
93.96/94.19 c | 149005 | 1755 169335 573755 | 2147483647 149005 123 | 0.000 % |
94.27/94.42 c | 149155 | 1755 169335 573755 | 2147483647 149155 123 | 0.000 % |
94.48/94.60 c | 149315 | 1755 169335 573755 | 2147483647 149315 123 | 0.000 % |
94.57/94.78 c | 149491 | 1755 169335 573755 | 2147483647 149491 123 | 0.000 % |
94.77/94.97 c | 149685 | 1755 169335 573755 | 2147483647 149685 123 | 0.007 % |
94.97/95.20 c | 149897 | 1755 169335 573755 | 2147483647 149897 123 | 0.000 % |
95.27/95.44 c | 150130 | 1755 169335 573755 | 2147483647 150130 123 | 0.007 % |
95.57/95.71 c | 150386 | 1755 169335 573755 | 2147483647 150386 123 | 0.000 % |
95.77/95.97 c | 150667 | 1755 169335 573755 | 2147483647 150667 123 | 0.007 % |
96.07/96.28 c | 150976 | 1755 169335 573755 | 2147483647 150976 123 | 0.007 % |
96.47/96.62 c | 151316 | 1755 169335 573755 | 2147483647 151316 123 | 0.006 % |
96.86/97.02 c | 151690 | 1755 169335 573755 | 2147483647 151690 123 | 0.000 % |
97.16/97.37 c | 152099 | 1755 169335 573755 | 2147483647 152099 123 | 0.007 % |
97.76/97.91 c | 152548 | 1755 169335 573755 | 2147483647 152548 123 | 0.000 % |
98.26/98.48 c | 153045 | 1755 169335 573755 | 2147483647 153045 123 | 0.000 % |
98.96/99.16 c | 153587 | 1755 169335 573755 | 2147483647 153587 123 | 0.000 % |
99.96/100.16 c | 154183 | 1755 169335 573755 | 2147483647 154183 124 | 0.000 % |
100.76/100.91 c | 154838 | 1755 169335 573755 | 2147483647 154838 124 | 0.000 % |
101.66/101.80 c | 155561 | 1755 169335 573755 | 2147483647 155561 124 | 0.007 % |
102.56/102.74 c | 156353 | 1755 169335 573755 | 2147483647 156353 124 | 0.000 % |
103.55/103.78 c | 157224 | 1755 169335 573755 | 2147483647 157224 125 | 0.000 % |
104.75/104.91 c | 158183 | 1755 169335 573755 | 2147483647 158183 125 | 0.000 % |
105.96/106.17 c | 159236 | 1755 169335 573755 | 2147483647 159236 125 | 0.007 % |
107.16/107.37 c | 160394 | 1755 169335 573755 | 2147483647 160394 125 | 0.007 % |
108.55/108.78 c | 161667 | 1755 169335 573755 | 2147483647 161667 125 | 0.000 % |
110.15/110.39 c | 163068 | 1755 169335 573755 | 2147483647 163068 125 | 0.006 % |
112.16/112.38 c | 164610 | 1755 169335 573755 | 2147483647 164610 125 | 0.000 % |
114.16/114.35 c | 166304 | 1755 169335 573755 | 2147483647 166304 125 | 0.006 % |
114.26/114.49 c | 166407 | 1755 169335 573755 | 2147483647 166407 125 | 0.005 % |
114.45/114.63 c | 166517 | 1755 169335 573755 | 2147483647 166517 125 | 0.006 % |
114.65/114.81 c | 166638 | 1755 169335 573755 | 2147483647 166638 125 | 0.000 % |
114.75/114.97 c | 166772 | 1755 169335 573755 | 2147483647 166772 125 | 0.007 % |
114.95/115.16 c | 166918 | 1755 169335 573755 | 2147483647 166918 125 | 0.007 % |
115.15/115.33 c | 167078 | 1755 169335 573755 | 2147483647 167078 125 | 0.007 % |
115.35/115.59 c | 167256 | 1755 169335 573755 | 2147483647 167256 125 | 0.000 % |
115.65/115.83 c | 167449 | 1755 169335 573755 | 2147483647 167449 125 | 0.000 % |
115.95/116.10 c | 167661 | 1755 169335 573755 | 2147483647 167661 125 | 0.000 % |
116.15/116.35 c | 167896 | 1755 169335 573755 | 2147483647 167896 125 | 0.007 % |
116.45/116.67 c | 168152 | 1755 169335 573755 | 2147483647 168152 125 | 0.006 % |
116.75/116.98 c | 168434 | 1755 169335 573755 | 2147483647 168434 125 | 0.000 % |
117.15/117.32 c | 168743 | 1755 169335 573755 | 2147483647 168743 125 | 0.000 % |
117.55/117.71 c | 169083 | 1755 169335 573755 | 2147483647 169083 125 | 0.006 % |
118.05/118.23 c | 169455 | 1755 169335 573755 | 2147483647 169455 125 | 0.000 % |
118.45/118.65 c | 169865 | 1755 169335 573755 | 2147483647 169865 125 | 0.000 % |
119.05/119.23 c | 170315 | 1755 169335 573755 | 2147483647 170315 125 | 0.006 % |
119.54/119.76 c | 170809 | 1755 169335 573755 | 2147483647 170809 125 | 0.006 % |
120.14/120.35 c | 171352 | 1755 169335 573755 | 2147483647 171352 125 | 0.006 % |
120.85/121.05 c | 171948 | 1755 169335 573755 | 2147483647 171948 125 | 0.007 % |
121.74/121.90 c | 172603 | 1755 169335 573755 | 2147483647 172603 125 | 0.007 % |
122.54/122.71 c | 173323 | 1755 169335 573755 | 2147483647 173323 125 | 0.006 % |
123.34/123.59 c | 174115 | 1755 169335 573755 | 2147483647 174115 124 | 0.007 % |
124.25/124.47 c | 174986 | 1755 169335 573755 | 2147483647 174986 124 | 0.006 % |
125.35/125.50 c | 175946 | 1755 169335 573755 | 2147483647 175946 124 | 0.000 % |
126.65/126.88 c | 177000 | 1755 169335 573755 | 2147483647 177000 124 | 0.007 % |
128.65/128.83 c | 178160 | 1755 169335 573755 | 2147483647 178160 124 | 0.000 % |
130.14/130.38 c | 179434 | 1755 169335 573755 | 2147483647 179434 124 | 0.006 % |
131.85/132.06 c | 180836 | 1755 169335 573755 | 2147483647 180836 124 | 0.006 % |
133.54/133.72 c | 182376 | 1755 169335 573755 | 2147483647 182376 124 | 0.000 % |
135.14/135.34 c | 184074 | 1755 169335 573755 | 2147483647 184074 124 | 0.006 % |
137.74/137.91 c | 185938 | 1755 169335 573755 | 2147483647 185938 125 | 0.000 % |
137.84/138.06 c | 186039 | 1755 169335 573755 | 2147483647 186039 125 | 0.007 % |
138.04/138.21 c | 186149 | 1755 169335 573755 | 2147483647 186149 125 | 0.000 % |
138.24/138.40 c | 186271 | 1755 169335 573755 | 2147483647 186271 125 | 0.000 % |
138.35/138.59 c | 186405 | 1755 169335 573755 | 2147483647 186405 125 | 0.005 % |
138.64/138.83 c | 186551 | 1755 169335 573755 | 2147483647 186551 125 | 0.000 % |
138.84/139.07 c | 186712 | 1755 169335 573755 | 2147483647 186712 125 | 0.000 % |
139.14/139.32 c | 186889 | 1755 169335 573755 | 2147483647 186889 125 | 0.007 % |
139.44/139.62 c | 187084 | 1755 169335 573755 | 2147483647 187084 125 | 0.000 % |
139.74/139.99 c | 187296 | 1755 169335 573755 | 2147483647 187296 125 | 0.000 % |
140.14/140.30 c | 187531 | 1755 169335 573755 | 2147483647 187531 125 | 0.000 % |
140.34/140.60 c | 187787 | 1755 169335 573755 | 2147483647 187787 125 | 0.000 % |
140.74/140.96 c | 188069 | 1755 169335 573755 | 2147483647 188069 125 | 0.005 % |
141.14/141.36 c | 188383 | 1755 169335 573755 | 2147483647 188383 125 | 0.000 % |
141.64/141.83 c | 188722 | 1755 169335 573755 | 2147483647 188722 125 | 0.000 % |
142.13/142.35 c | 189094 | 1755 169335 573755 | 2147483647 189094 125 | 0.007 % |
142.63/142.83 c | 189503 | 1755 169335 573755 | 2147483647 189503 125 | 0.000 % |
143.33/143.57 c | 189953 | 1755 169335 573755 | 2147483647 189953 125 | 0.000 % |
144.14/144.31 c | 190446 | 1755 169335 573755 | 190000 190446 125 | 0.007 % |
145.04/145.29 c | 190990 | 1755 169335 573755 | 190000 171595 125 | 0.007 % |
145.74/145.98 c | 191587 | 1755 169335 573755 | 190000 172192 125 | 0.000 % |
146.53/146.80 c | 192242 | 1755 169335 573755 | 190000 172847 125 | 0.000 % |
147.63/147.83 c | 192962 | 1755 169335 573755 | 190000 173567 125 | 0.000 % |
148.53/148.77 c | 193754 | 1755 169335 573755 | 190000 174359 125 | 0.000 % |
149.73/149.91 c | 194628 | 1755 169335 573755 | 190000 175233 125 | 0.000 % |
151.03/151.22 c | 195590 | 1755 169335 573755 | 190000 176195 125 | 0.000 % |
152.33/152.53 c | 196644 | 1755 169335 573755 | 190000 177249 126 | 0.000 % |
153.83/154.02 c | 197804 | 1755 169335 573755 | 190000 178409 126 | 0.000 % |
155.53/155.72 c | 199077 | 1755 169335 573755 | 190000 179682 126 | 0.000 % |
157.53/157.77 c | 200479 | 1755 169335 573755 | 180605 181084 126 | 0.000 % |
159.83/160.01 c | 202019 | 1755 169335 573755 | 180605 164060 125 | 0.000 % |
162.23/162.47 c | 203714 | 1755 169335 573755 | 180605 165755 126 | 0.000 % |
164.83/165.07 c | 205577 | 1755 169335 573755 | 180605 167618 126 | 0.000 % |
167.83/168.04 c | 207626 | 1755 169335 573755 | 180605 169667 127 | 0.000 % |
167.92/168.15 c | 207726 | 1755 169335 573755 | 180605 169767 127 | 0.000 % |
168.03/168.29 c | 207837 | 1755 169335 573755 | 180605 169878 127 | 0.000 % |
168.23/168.45 c | 207958 | 1755 169335 573755 | 180605 169999 127 | 0.007 % |
168.43/168.61 c | 208094 | 1755 169335 573755 | 180605 170135 127 | 0.006 % |
168.72/168.90 c | 208241 | 1755 169335 573755 | 180605 170282 127 | 0.000 % |
168.92/169.14 c | 208402 | 1755 169335 573755 | 180605 170443 127 | 0.000 % |
169.13/169.38 c | 208579 | 1755 169335 573755 | 180605 170620 127 | 0.007 % |
169.42/169.67 c | 208776 | 1755 169335 573755 | 180605 170817 127 | 0.000 % |
169.72/169.98 c | 208988 | 1755 169335 573755 | 180605 171029 127 | 0.000 % |
170.02/170.27 c | 209222 | 1755 169335 573755 | 180605 171263 127 | 0.007 % |
170.33/170.57 c | 209478 | 1755 169335 573755 | 180605 171519 127 | 0.000 % |
170.62/170.88 c | 209759 | 1755 169335 573755 | 180605 171800 127 | 0.006 % |
171.02/171.29 c | 210068 | 1755 169335 573755 | 2147483647 172109 127 | 0.000 % |
171.52/171.76 c | 210407 | 1755 169335 573755 | 2147483647 172448 127 | 0.000 % |
171.92/172.17 c | 210779 | 1755 169335 573755 | 2147483647 172820 127 | 0.000 % |
172.53/172.72 c | 211189 | 1755 169335 573755 | 2147483647 173230 127 | 0.000 % |
173.12/173.38 c | 211641 | 1755 169335 573755 | 2147483647 173682 127 | 0.007 % |
173.82/174.00 c | 212135 | 1755 169335 573755 | 2147483647 174176 127 | 0.000 % |
174.42/174.67 c | 212677 | 1755 169335 573755 | 2147483647 174718 127 | 0.000 % |
175.12/175.35 c | 213273 | 1755 169335 573755 | 2147483647 175314 127 | 0.008 % |
175.92/176.18 c | 213929 | 1755 169335 573755 | 2147483647 175970 127 | 0.000 % |
176.82/177.01 c | 214649 | 1755 169335 573755 | 2147483647 176690 127 | 0.007 % |
177.72/177.98 c | 215442 | 1755 169335 573755 | 2147483647 177483 127 | 0.007 % |
178.82/179.06 c | 216313 | 1755 169335 573755 | 2147483647 178354 127 | 0.007 % |
180.12/180.39 c | 217272 | 1755 169335 573755 | 2147483647 179313 127 | 0.007 % |
181.42/181.64 c | 218330 | 1755 169335 573755 | 2147483647 180371 127 | 0.007 % |
182.72/182.99 c | 219488 | 1755 169335 573755 | 2147483647 181529 126 | 0.006 % |
184.22/184.49 c | 220763 | 1755 169335 573755 | 182041 182804 126 | 0.006 % |
186.21/186.50 c | 222163 | 1755 169335 573755 | 182041 163054 124 | 0.007 % |
188.21/188.40 c | 223706 | 1755 169335 573755 | 182041 164597 124 | 0.007 % |
190.21/190.45 c | 225401 | 1755 169335 573755 | 182041 166292 124 | 0.006 % |
192.31/192.59 c | 227264 | 1755 169335 573755 | 182041 168155 124 | 0.006 % |
194.70/194.94 c | 229313 | 1755 169335 573755 | 182041 170204 123 | 0.006 % |
197.30/197.51 c | 231566 | 1755 169335 573755 | 170892 152474 121 | 0.008 % |
197.50/197.70 c | 231668 | 1755 169335 573755 | 170892 152576 121 | 0.000 % |
197.71/197.91 c | 231779 | 1755 169335 573755 | 170892 152687 121 | 0.000 % |
197.81/198.07 c | 231900 | 1755 169335 573755 | 170892 152808 122 | 0.000 % |
198.00/198.23 c | 232033 | 1755 169335 573755 | 170892 152941 122 | 0.000 % |
198.20/198.46 c | 232179 | 1755 169335 573755 | 170892 153087 122 | 0.000 % |
198.40/198.63 c | 232339 | 1755 169335 573755 | 170892 153247 122 | 0.000 % |
198.60/198.90 c | 232515 | 1755 169335 573755 | 170892 153423 122 | 0.000 % |
198.91/199.17 c | 232709 | 1755 169335 573755 | 170892 153617 122 | 0.000 % |
199.20/199.45 c | 232922 | 1755 169335 573755 | 170892 153830 122 | 0.000 % |
199.50/199.74 c | 233155 | 1755 169335 573755 | 170892 154063 122 | 0.000 % |
199.80/200.02 c | 233411 | 1755 169335 573755 | 170892 154319 122 | 0.007 % |
200.10/200.34 c | 233694 | 1755 169335 573755 | 170892 154602 122 | 0.007 % |
200.40/200.69 c | 234003 | 1755 169335 573755 | 170892 154911 122 | 0.007 % |
200.90/201.18 c | 234342 | 1755 169335 573755 | 170892 155250 122 | 0.000 % |
201.50/201.71 c | 234715 | 1755 169335 573755 | 170892 155623 122 | 0.000 % |
201.90/202.19 c | 235125 | 1755 169335 573755 | 170892 156033 122 | 0.000 % |
202.50/202.73 c | 235574 | 1755 169335 573755 | 170892 156482 122 | 0.000 % |
203.20/203.48 c | 236070 | 1755 169335 573755 | 170892 156978 122 | 0.000 % |
203.90/204.19 c | 236612 | 1755 169335 573755 | 170892 157520 122 | 0.000 % |
204.60/204.89 c | 237209 | 1755 169335 573755 | 170892 158117 122 | 0.000 % |
205.50/205.73 c | 237864 | 1755 169335 573755 | 170892 158772 122 | 0.007 % |
206.40/206.65 c | 238585 | 1755 169335 573755 | 170892 159493 122 | 0.007 % |
207.40/207.69 c | 239380 | 1755 169335 573755 | 170892 160288 122 | 0.000 % |
208.70/208.91 c | 240251 | 1755 169335 573755 | 2147483647 161159 123 | 0.000 % |
209.80/210.08 c | 241209 | 1755 169335 573755 | 2147483647 162117 122 | 0.000 % |
211.00/211.27 c | 242263 | 1755 169335 573755 | 2147483647 163171 122 | 0.007 % |
212.40/212.68 c | 243423 | 1755 169335 573755 | 2147483647 164331 122 | 0.000 % |
214.10/214.31 c | 244696 | 1755 169335 573755 | 2147483647 165604 122 | 0.000 % |
215.89/216.13 c | 246097 | 1755 169335 573755 | 2147483647 167005 122 | 0.000 % |
218.29/218.52 c | 247637 | 1755 169335 573755 | 2147483647 168545 123 | 0.000 % |
220.69/220.95 c | 249332 | 1755 169335 573755 | 2147483647 170240 123 | 0.000 % |
223.29/223.56 c | 251195 | 1755 169335 573755 | 2147483647 172103 123 | 0.000 % |
225.89/226.12 c | 253245 | 1755 169335 573755 | 2147483647 174153 123 | 0.000 % |
229.19/229.41 c | 255499 | 1755 169335 573755 | 2147483647 176407 123 | 0.000 % |
233.08/233.37 c | 257978 | 1755 169335 573755 | 2147483647 178886 123 | 0.000 % |
233.28/233.56 c | 258078 | 1755 169335 573755 | 2147483647 178986 123 | 0.000 % |
233.48/233.78 c | 258188 | 1755 169335 573755 | 2147483647 179096 123 | 0.000 % |
233.68/233.95 c | 258310 | 1755 169335 573755 | 2147483647 179218 123 | 0.000 % |
233.88/234.16 c | 258444 | 1755 169335 573755 | 2147483647 179352 123 | 0.000 % |
234.18/234.40 c | 258593 | 1755 169335 573755 | 2147483647 179501 123 | 0.006 % |
234.38/234.67 c | 258753 | 1755 169335 573755 | 2147483647 179661 123 | 0.000 % |
234.68/234.91 c | 258929 | 1755 169335 573755 | 2147483647 179837 123 | 0.000 % |
234.88/235.16 c | 259123 | 1755 169335 573755 | 2147483647 180031 123 | 0.007 % |
235.18/235.47 c | 259337 | 1755 169335 573755 | 2147483647 180245 123 | 0.000 % |
235.58/235.80 c | 259570 | 1755 169335 573755 | 2147483647 180478 123 | 0.000 % |
235.98/236.22 c | 259826 | 1755 169335 573755 | 2147483647 180734 124 | 0.000 % |
236.38/236.62 c | 260108 | 1755 169335 573755 | 180908 181016 124 | 0.000 % |
236.98/237.28 c | 260418 | 1755 169335 573755 | 180908 157600 122 | 0.000 % |
237.38/237.66 c | 260759 | 1755 169335 573755 | 180908 157941 122 | 0.006 % |
237.88/238.11 c | 261131 | 1755 169335 573755 | 180908 158313 122 | 0.006 % |
238.38/238.70 c | 261540 | 1755 169335 573755 | 180908 158722 122 | 0.000 % |
239.08/239.34 c | 261989 | 1755 169335 573755 | 180908 159171 122 | 0.000 % |
239.68/239.90 c | 262483 | 1755 169335 573755 | 180908 159665 122 | 0.000 % |
240.28/240.53 c | 263026 | 1755 169335 573755 | 180908 160208 122 | 0.007 % |
241.07/241.39 c | 263624 | 1755 169335 573755 | 180908 160806 122 | 0.000 % |
242.07/242.33 c | 264279 | 1755 169335 573755 | 180908 161461 122 | 0.000 % |
243.07/243.38 c | 265000 | 1755 169335 573755 | 180908 162182 122 | 0.007 % |
244.37/244.66 c | 265792 | 1755 169335 573755 | 180908 162974 123 | 0.000 % |
245.37/245.69 c | 266664 | 1755 169335 573755 | 180908 163846 123 | 0.000 % |
246.57/246.89 c | 267623 | 1755 169335 573755 | 180908 164805 123 | 0.006 % |
248.07/248.30 c | 268676 | 1755 169335 573755 | 180908 165858 123 | 0.000 % |
249.67/249.90 c | 269835 | 1755 169335 573755 | 180908 167017 123 | 0.006 % |
251.37/251.67 c | 271108 | 1755 169335 573755 | 167182 150284 121 | 0.000 % |
252.97/253.21 c | 272511 | 1755 169335 573755 | 167182 151687 121 | 0.008 % |
254.97/255.26 c | 274052 | 1755 169335 573755 | 167182 153228 122 | 0.000 % |
257.17/257.40 c | 275750 | 1755 169335 573755 | 167182 154926 123 | 0.000 % |
259.37/259.64 c | 277615 | 1755 169335 573755 | 167182 156791 123 | 0.000 % |
262.06/262.33 c | 279664 | 1755 169335 573755 | 167182 158840 123 | 0.000 % |
265.06/265.34 c | 281917 | 1755 169335 573755 | 159177 144092 122 | 0.000 % |
268.46/268.73 c | 284396 | 1755 169335 573755 | 159177 146571 122 | 0.006 % |
272.06/272.38 c | 287122 | 1755 169335 573755 | 159177 149297 122 | 0.000 % |
272.26/272.52 c | 287222 | 1755 169335 573755 | 159177 149397 122 | 0.000 % |
272.36/272.69 c | 287335 | 1755 169335 573755 | 159177 149510 122 | 0.000 % |
272.56/272.84 c | 287456 | 1755 169335 573755 | 159177 149631 122 | 0.007 % |
272.66/272.99 c | 287590 | 1755 169335 573755 | 159177 149765 122 | 0.000 % |
272.86/273.17 c | 287736 | 1755 169335 573755 | 159177 149911 122 | 0.000 % |
273.06/273.38 c | 287898 | 1755 169335 573755 | 159177 150073 122 | 0.000 % |
273.36/273.62 c | 288074 | 1755 169335 573755 | 159177 150249 122 | 0.006 % |
273.66/273.91 c | 288267 | 1755 169335 573755 | 159177 150442 122 | 0.000 % |
273.86/274.19 c | 288479 | 1755 169335 573755 | 159177 150654 122 | 0.000 % |
274.16/274.49 c | 288712 | 1755 169335 573755 | 159177 150887 122 | 0.000 % |
274.56/274.81 c | 288970 | 1755 169335 573755 | 159177 151145 122 | 0.000 % |
274.96/275.27 c | 289253 | 1755 169335 573755 | 159177 151428 122 | 0.006 % |
275.35/275.63 c | 289564 | 1755 169335 573755 | 159177 151739 122 | 0.000 % |
275.95/276.21 c | 289903 | 1755 169335 573755 | 159177 152078 122 | 0.000 % |
276.45/276.73 c | 290275 | 1755 169335 573755 | 2147483647 152450 122 | 0.000 % |
276.95/277.21 c | 290685 | 1755 169335 573755 | 2147483647 152860 122 | 0.007 % |
277.45/277.71 c | 291134 | 1755 169335 573755 | 2147483647 153309 122 | 0.000 % |
278.05/278.31 c | 291627 | 1755 169335 573755 | 2147483647 153802 122 | 0.007 % |
278.65/278.98 c | 292170 | 1755 169335 573755 | 2147483647 154345 122 | 0.005 % |
279.35/279.64 c | 292767 | 1755 169335 573755 | 2147483647 154942 122 | 0.007 % |
280.25/280.54 c | 293422 | 1755 169335 573755 | 2147483647 155597 122 | 0.000 % |
281.14/281.48 c | 294142 | 1755 169335 573755 | 2147483647 156317 122 | 0.000 % |
282.14/282.43 c | 294935 | 1755 169335 573755 | 2147483647 157110 122 | 0.007 % |
283.34/283.63 c | 295807 | 1755 169335 573755 | 2147483647 157982 122 | 0.000 % |
284.55/284.87 c | 296767 | 1755 169335 573755 | 2147483647 158942 121 | 0.007 % |
285.94/286.23 c | 297820 | 1755 169335 573755 | 2147483647 159995 121 | 0.006 % |
287.24/287.59 c | 298978 | 1755 169335 573755 | 2147483647 161153 121 | 0.007 % |
288.95/289.20 c | 300251 | 1755 169335 573755 | 2147483647 162426 121 | 0.008 % |
290.74/291.09 c | 301652 | 1755 169335 573755 | 2147483647 163827 121 | 0.005 % |
292.54/292.85 c | 303193 | 1755 169335 573755 | 2147483647 165368 121 | 0.006 % |
294.54/294.88 c | 304888 | 1755 169335 573755 | 2147483647 167063 121 | 0.000 % |
297.14/297.48 c | 306752 | 1755 169335 573755 | 2147483647 168927 121 | 0.000 % |
300.04/300.32 c | 308802 | 1755 169335 573755 | 2147483647 170977 121 | 0.007 % |
303.63/303.91 c | 311055 | 1755 169335 573755 | 172178 173230 121 | 0.000 % |
307.74/308.01 c | 313534 | 1755 169335 573755 | 172178 153301 120 | 0.000 % |
311.13/311.43 c | 316261 | 1755 169335 573755 | 172178 156028 121 | 0.000 % |
314.83/315.12 c | 319259 | 1755 169335 573755 | 172178 159026 121 | 0.007 % |
314.93/315.23 c | 319360 | 1755 169335 573755 | 172178 159127 121 | 0.007 % |
315.03/315.38 c | 319471 | 1755 169335 573755 | 172178 159238 121 | 0.007 % |
315.23/315.53 c | 319592 | 1755 169335 573755 | 172178 159359 121 | 0.007 % |
315.44/315.74 c | 319725 | 1755 169335 573755 | 172178 159492 121 | 0.000 % |
315.63/315.96 c | 319871 | 1755 169335 573755 | 172178 159638 121 | 0.006 % |
315.83/316.16 c | 320032 | 1755 169335 573755 | 2147483647 159799 121 | 0.000 % |
316.13/316.46 c | 320208 | 1755 169335 573755 | 2147483647 159975 121 | 0.000 % |
316.43/316.77 c | 320404 | 1755 169335 573755 | 2147483647 160171 121 | 0.006 % |
316.73/317.02 c | 320616 | 1755 169335 573755 | 2147483647 160383 121 | 0.000 % |
316.93/317.29 c | 320852 | 1755 169335 573755 | 2147483647 160619 121 | 0.007 % |
317.33/317.64 c | 321108 | 1755 169335 573755 | 2147483647 160875 121 | 0.006 % |
317.73/318.03 c | 321391 | 1755 169335 573755 | 2147483647 161158 121 | 0.000 % |
318.13/318.42 c | 321700 | 1755 169335 573755 | 2147483647 161467 121 | 0.000 % |
318.63/318.92 c | 322040 | 1755 169335 573755 | 2147483647 161807 121 | 0.000 % |
319.13/319.46 c | 322413 | 1755 169335 573755 | 2147483647 162180 122 | 0.000 % |
319.63/320.00 c | 322825 | 1755 169335 573755 | 2147483647 162592 122 | 0.000 % |
320.33/320.61 c | 323275 | 1755 169335 573755 | 2147483647 163042 122 | 0.000 % |
320.93/321.26 c | 323769 | 1755 169335 573755 | 2147483647 163536 122 | 0.000 % |
321.62/321.95 c | 324313 | 1755 169335 573755 | 2147483647 164080 122 | 0.000 % |
322.42/322.76 c | 324910 | 1755 169335 573755 | 2147483647 164677 122 | 0.007 % |
323.22/323.52 c | 325569 | 1755 169335 573755 | 2147483647 165336 122 | 0.006 % |
324.42/324.75 c | 326289 | 1755 169335 573755 | 2147483647 166056 122 | 0.000 % |
325.52/325.81 c | 327081 | 1755 169335 573755 | 2147483647 166848 122 | 0.000 % |
327.02/327.32 c | 327952 | 1755 169335 573755 | 2147483647 167719 122 | 0.000 % |
328.42/328.78 c | 328910 | 1755 169335 573755 | 2147483647 168677 122 | 0.008 % |
329.82/330.17 c | 329964 | 1755 169335 573755 | 2147483647 169731 122 | 0.000 % |
331.31/331.67 c | 331124 | 1755 169335 573755 | 169769 170891 122 | 0.000 % |
333.21/333.54 c | 332397 | 1755 169335 573755 | 169769 151166 118 | 0.000 % |
334.91/335.27 c | 333798 | 1755 169335 573755 | 169769 152567 118 | 0.000 % |
337.21/337.51 c | 335338 | 1755 169335 573755 | 169769 154107 118 | 0.000 % |
339.31/339.68 c | 337032 | 1755 169335 573755 | 169769 155801 118 | 0.000 % |
341.81/342.16 c | 338895 | 1755 169335 573755 | 169769 157664 119 | 0.000 % |
344.11/344.49 c | 340946 | 1755 169335 573755 | 158769 159715 119 | 0.007 % |
346.81/347.16 c | 343199 | 1755 169335 573755 | 158769 143181 115 | 0.000 % |
349.61/349.93 c | 345679 | 1755 169335 573755 | 158769 145661 115 | 0.000 % |
352.60/352.97 c | 348405 | 1755 169335 573755 | 158769 148387 114 | 0.000 % |
356.90/357.22 c | 351402 | 1755 169335 573755 | 149982 134366 114 | 0.007 % |
360.80/361.18 c | 354700 | 1755 169335 573755 | 149982 137664 113 | 0.000 % |
361.00/361.31 c | 354802 | 1755 169335 573755 | 149982 137766 113 | 0.007 % |
361.10/361.47 c | 354912 | 1755 169335 573755 | 149982 137876 113 | 0.000 % |
361.30/361.64 c | 355036 | 1755 169335 573755 | 149982 138000 113 | 0.006 % |
361.51/361.87 c | 355170 | 1755 169335 573755 | 149982 138134 113 | 0.000 % |
361.70/362.07 c | 355319 | 1755 169335 573755 | 149982 138283 113 | 0.000 % |
361.90/362.25 c | 355479 | 1755 169335 573755 | 149982 138443 114 | 0.005 % |
362.20/362.52 c | 355657 | 1755 169335 573755 | 149982 138621 114 | 0.000 % |
362.40/362.79 c | 355851 | 1755 169335 573755 | 149982 138815 114 | 0.007 % |
362.70/363.02 c | 356063 | 1755 169335 573755 | 149982 139027 114 | 0.007 % |
363.00/363.34 c | 356297 | 1755 169335 573755 | 149982 139261 114 | 0.000 % |
363.40/363.75 c | 356553 | 1755 169335 573755 | 149982 139517 114 | 0.000 % |
363.90/364.23 c | 356835 | 1755 169335 573755 | 149982 139799 114 | 0.000 % |
364.30/364.63 c | 357144 | 1755 169335 573755 | 149982 140108 114 | 0.000 % |
364.70/365.03 c | 357483 | 1755 169335 573755 | 149982 140447 114 | 0.000 % |
365.20/365.53 c | 357855 | 1755 169335 573755 | 149982 140819 114 | 0.000 % |
365.70/366.08 c | 358265 | 1755 169335 573755 | 149982 141229 114 | 0.006 % |
366.30/366.68 c | 358714 | 1755 169335 573755 | 149982 141678 114 | 0.007 % |
366.79/367.19 c | 359208 | 1755 169335 573755 | 149982 142172 114 | 0.007 % |
367.59/367.90 c | 359750 | 1755 169335 573755 | 149982 142714 114 | 0.007 % |
368.19/368.59 c | 360346 | 1755 169335 573755 | 2147483647 143310 114 | 0.007 % |
368.89/369.27 c | 361003 | 1755 169335 573755 | 2147483647 143967 114 | 0.007 % |
369.88/370.27 c | 361725 | 1755 169335 573755 | 2147483647 144689 114 | 0.000 % |
370.88/371.28 c | 362519 | 1755 169335 573755 | 2147483647 145483 115 | 0.008 % |
372.08/372.47 c | 363390 | 1755 169335 573755 | 2147483647 146354 115 | 0.000 % |
373.38/373.78 c | 364348 | 1755 169335 573755 | 2147483647 147312 116 | 0.000 % |
374.79/375.15 c | 365401 | 1755 169335 573755 | 2147483647 148365 116 | 0.008 % |
376.18/376.59 c | 366560 | 1755 169335 573755 | 2147483647 149524 116 | 0.007 % |
377.78/378.15 c | 367833 | 1755 169335 573755 | 2147483647 150797 117 | 0.000 % |
379.78/380.11 c | 369237 | 1755 169335 573755 | 2147483647 152201 118 | 0.000 % |
381.98/382.35 c | 370777 | 1755 169335 573755 | 2147483647 153741 119 | 0.000 % |
384.38/384.70 c | 372472 | 1755 169335 573755 | 2147483647 155436 119 | 0.006 % |
386.78/387.12 c | 374335 | 1755 169335 573755 | 2147483647 157299 120 | 0.007 % |
389.28/389.62 c | 376386 | 1755 169335 573755 | 2147483647 159350 120 | 0.000 % |
392.28/392.66 c | 378639 | 1755 169335 573755 | 2147483647 161603 120 | 0.000 % |
395.58/395.93 c | 381117 | 1755 169335 573755 | 162967 164081 120 | 0.000 % |
399.17/399.58 c | 383843 | 1755 169335 573755 | 162967 147115 117 | 0.000 % |
402.97/403.32 c | 386842 | 1755 169335 573755 | 162967 150114 117 | 0.000 % |
407.97/408.34 c | 390138 | 1755 169335 573755 | 153273 153410 116 | 0.000 % |
412.56/412.97 c | 393764 | 1755 169335 573755 | 153273 137640 111 | 0.006 % |
412.76/413.10 c | 393864 | 1755 169335 573755 | 153273 137740 111 | 0.007 % |
412.86/413.23 c | 393975 | 1755 169335 573755 | 153273 137851 111 | 0.007 % |
412.96/413.39 c | 394098 | 1755 169335 573755 | 153273 137974 111 | 0.000 % |
413.26/413.62 c | 394231 | 1755 169335 573755 | 153273 138107 111 | 0.000 % |
413.36/413.79 c | 394378 | 1755 169335 573755 | 153273 138254 111 | 0.005 % |
413.56/413.98 c | 394540 | 1755 169335 573755 | 153273 138416 111 | 0.000 % |
413.86/414.26 c | 394718 | 1755 169335 573755 | 153273 138594 112 | 0.000 % |
414.16/414.55 c | 394912 | 1755 169335 573755 | 153273 138788 112 | 0.000 % |
414.36/414.79 c | 395125 | 1755 169335 573755 | 153273 139001 112 | 0.007 % |
414.66/415.07 c | 395359 | 1755 169335 573755 | 153273 139235 112 | 0.007 % |
414.96/415.37 c | 395617 | 1755 169335 573755 | 153273 139493 112 | 0.007 % |
415.36/415.71 c | 395900 | 1755 169335 573755 | 153273 139776 112 | 0.007 % |
415.66/416.05 c | 396209 | 1755 169335 573755 | 153273 140085 112 | 0.006 % |
416.06/416.44 c | 396548 | 1755 169335 573755 | 153273 140424 112 | 0.000 % |
416.46/416.90 c | 396920 | 1755 169335 573755 | 153273 140796 112 | 0.000 % |
417.06/417.45 c | 397331 | 1755 169335 573755 | 153273 141207 112 | 0.000 % |
417.66/418.01 c | 397780 | 1755 169335 573755 | 153273 141656 112 | 0.000 % |
418.16/418.53 c | 398275 | 1755 169335 573755 | 153273 142151 112 | 0.000 % |
418.76/419.19 c | 398818 | 1755 169335 573755 | 153273 142694 112 | 0.007 % |
419.56/419.99 c | 399414 | 1755 169335 573755 | 153273 143290 112 | 0.000 % |
420.46/420.81 c | 400069 | 1755 169335 573755 | 143876 143945 112 | 0.000 % |
421.56/421.96 c | 400789 | 1755 169335 573755 | 143876 129300 110 | 0.000 % |
422.55/422.95 c | 401581 | 1755 169335 573755 | 143876 130092 110 | 0.000 % |
423.55/423.97 c | 402452 | 1755 169335 573755 | 143876 130963 110 | 0.000 % |
424.55/424.99 c | 403410 | 1755 169335 573755 | 143876 131921 111 | 0.000 % |
425.85/426.29 c | 404463 | 1755 169335 573755 | 143876 132974 111 | 0.000 % |
427.46/427.88 c | 405624 | 1755 169335 573755 | 143876 134135 111 | 0.000 % |
429.15/429.52 c | 406897 | 1755 169335 573755 | 143876 135408 111 | 0.000 % |
430.76/431.17 c | 408302 | 1755 169335 573755 | 143876 136813 111 | 0.000 % |
432.55/432.97 c | 409846 | 1755 169335 573755 | 143876 138357 111 | 0.007 % |
434.35/434.72 c | 411540 | 1755 169335 573755 | 2147483647 140051 111 | 0.006 % |
436.75/437.18 c | 413403 | 1755 169335 573755 | 2147483647 141914 112 | 0.000 % |
439.05/439.44 c | 415452 | 1755 169335 573755 | 2147483647 143963 113 | 0.007 % |
441.95/442.39 c | 417705 | 1755 169335 573755 | 2147483647 146216 113 | 0.000 % |
445.54/445.98 c | 420184 | 1755 169335 573755 | 148511 148695 113 | 0.000 % |
449.14/449.53 c | 422912 | 1755 169335 573755 | 148511 134505 114 | 0.000 % |
453.45/453.80 c | 425909 | 1755 169335 573755 | 148511 137502 114 | 0.000 % |
457.44/457.86 c | 429206 | 1755 169335 573755 | 148511 140799 113 | 0.007 % |
462.54/462.93 c | 432834 | 1755 169335 573755 | 141593 125423 108 | 0.007 % |
467.74/468.16 c | 436821 | 1755 169335 573755 | 141593 129410 107 | 0.007 % |
467.83/468.29 c | 436922 | 1755 169335 573755 | 141593 129511 107 | 0.000 % |
468.03/468.44 c | 437033 | 1755 169335 573755 | 141593 129622 107 | 0.000 % |
468.24/468.61 c | 437155 | 1755 169335 573755 | 141593 129744 107 | 0.000 % |
468.43/468.80 c | 437288 | 1755 169335 573755 | 141593 129877 107 | 0.000 % |
468.53/468.99 c | 437435 | 1755 169335 573755 | 141593 130024 108 | 0.000 % |
468.73/469.16 c | 437596 | 1755 169335 573755 | 141593 130185 107 | 0.006 % |
469.03/469.43 c | 437772 | 1755 169335 573755 | 141593 130361 108 | 0.000 % |
469.34/469.71 c | 437965 | 1755 169335 573755 | 141593 130554 108 | 0.000 % |
469.63/470.00 c | 438178 | 1755 169335 573755 | 141593 130767 108 | 0.000 % |
469.83/470.26 c | 438413 | 1755 169335 573755 | 141593 131002 108 | 0.000 % |
470.13/470.58 c | 438671 | 1755 169335 573755 | 141593 131260 108 | 0.000 % |
470.53/470.90 c | 438955 | 1755 169335 573755 | 141593 131544 108 | 0.000 % |
470.83/471.28 c | 439264 | 1755 169335 573755 | 141593 131853 108 | 0.006 % |
471.23/471.68 c | 439604 | 1755 169335 573755 | 141593 132193 108 | 0.006 % |
471.73/472.10 c | 439978 | 1755 169335 573755 | 141593 132567 108 | 0.006 % |
472.13/472.57 c | 440391 | 1755 169335 573755 | 132589 132980 108 | 0.007 % |
472.73/473.13 c | 440840 | 1755 169335 573755 | 132589 116927 106 | 0.000 % |
473.23/473.62 c | 441334 | 1755 169335 573755 | 132589 117421 106 | 0.000 % |
473.83/474.22 c | 441876 | 1755 169335 573755 | 132589 117963 106 | 0.000 % |
474.43/474.81 c | 442472 | 1755 169335 573755 | 132589 118559 106 | 0.000 % |
475.03/475.47 c | 443127 | 1755 169335 573755 | 132589 119214 106 | 0.007 % |
475.93/476.38 c | 443847 | 1755 169335 573755 | 132589 119934 106 | 0.000 % |
476.83/477.26 c | 444639 | 1755 169335 573755 | 132589 120726 106 | 0.000 % |
477.93/478.36 c | 445510 | 1755 169335 573755 | 132589 121597 107 | 0.000 % |
479.13/479.56 c | 446468 | 1755 169335 573755 | 132589 122555 107 | 0.000 % |
480.23/480.63 c | 447523 | 1755 169335 573755 | 132589 123610 108 | 0.000 % |
481.62/482.00 c | 448684 | 1755 169335 573755 | 132589 124771 109 | 0.000 % |
483.22/483.68 c | 449957 | 1755 169335 573755 | 132589 126044 109 | 0.000 % |
485.02/485.46 c | 451357 | 1755 169335 573755 | 2147483647 127444 110 | 0.000 % |
486.72/487.13 c | 452897 | 1755 169335 573755 | 2147483647 128984 111 | 0.000 % |
488.72/489.18 c | 454596 | 1755 169335 573755 | 2147483647 130683 111 | 0.000 % |
491.52/491.93 c | 456459 | 1755 169335 573755 | 2147483647 132546 112 | 0.000 % |
493.92/494.30 c | 458512 | 1755 169335 573755 | 2147483647 134599 113 | 0.000 % |
497.02/497.46 c | 460765 | 1755 169335 573755 | 2147483647 136852 115 | 0.000 % |
500.22/500.61 c | 463243 | 1755 169335 573755 | 2147483647 139330 115 | 0.008 % |
503.60/504.08 c | 465968 | 1755 169335 573755 | 2147483647 142055 116 | 0.000 % |
507.40/507.83 c | 468966 | 1755 169335 573755 | 2147483647 145053 116 | 0.000 % |
511.80/512.23 c | 472262 | 1755 169335 573755 | 2147483647 148349 116 | 0.005 % |
516.50/516.94 c | 475887 | 1755 169335 573755 | 2147483647 151974 116 | 0.007 % |
522.39/522.81 c | 479875 | 1755 169335 573755 | 2147483647 155962 117 | 0.000 % |
528.39/528.83 c | 484261 | 1755 169335 573755 | 156087 142127 120 | 0.000 % |
528.49/528.98 c | 484361 | 1755 169335 573755 | 156087 142227 120 | 0.007 % |
528.70/529.12 c | 484472 | 1755 169335 573755 | 156087 142338 120 | 0.000 % |
528.79/529.29 c | 484593 | 1755 169335 573755 | 156087 142459 120 | 0.007 % |
529.09/529.54 c | 484726 | 1755 169335 573755 | 156087 142592 120 | 0.000 % |
529.29/529.73 c | 484873 | 1755 169335 573755 | 156087 142739 120 | 0.000 % |
529.49/529.97 c | 485033 | 1755 169335 573755 | 156087 142899 120 | 0.005 % |
529.80/530.25 c | 485209 | 1755 169335 573755 | 156087 143075 120 | 0.000 % |
530.09/530.53 c | 485402 | 1755 169335 573755 | 156087 143268 120 | 0.000 % |
530.39/530.86 c | 485614 | 1755 169335 573755 | 156087 143480 120 | 0.000 % |
530.69/531.18 c | 485848 | 1755 169335 573755 | 156087 143714 120 | 0.000 % |
530.99/531.49 c | 486104 | 1755 169335 573755 | 156087 143970 120 | 0.000 % |
531.39/531.86 c | 486385 | 1755 169335 573755 | 156087 144251 120 | 0.000 % |
531.89/532.33 c | 486694 | 1755 169335 573755 | 156087 144560 120 | 0.006 % |
532.29/532.71 c | 487035 | 1755 169335 573755 | 156087 144901 120 | 0.000 % |
532.79/533.27 c | 487407 | 1755 169335 573755 | 156087 145273 121 | 0.000 % |
533.39/533.87 c | 487817 | 1755 169335 573755 | 156087 145683 121 | 0.000 % |
533.99/534.44 c | 488267 | 1755 169335 573755 | 156087 146133 121 | 0.000 % |
534.69/535.16 c | 488760 | 1755 169335 573755 | 156087 146626 121 | 0.000 % |
535.39/535.87 c | 489302 | 1755 169335 573755 | 156087 147168 121 | 0.000 % |
536.19/536.63 c | 489898 | 1755 169335 573755 | 156087 147764 121 | 0.000 % |
536.89/537.34 c | 490554 | 1755 169335 573755 | 147868 148420 121 | 0.007 % |
537.99/538.46 c | 491274 | 1755 169335 573755 | 147868 131971 115 | 0.000 % |
538.99/539.42 c | 492067 | 1755 169335 573755 | 147868 132764 116 | 0.000 % |
540.09/540.58 c | 492938 | 1755 169335 573755 | 147868 133635 116 | 0.000 % |
541.28/541.79 c | 493896 | 1755 169335 573755 | 147868 134593 117 | 0.000 % |
542.48/542.96 c | 494951 | 1755 169335 573755 | 147868 135648 117 | 0.000 % |
544.18/544.66 c | 496110 | 1755 169335 573755 | 147868 136807 117 | 0.000 % |
545.78/546.24 c | 497385 | 1755 169335 573755 | 147868 138082 117 | 0.000 % |
547.57/548.04 c | 498785 | 1755 169335 573755 | 147868 139482 117 | 0.000 % |
549.47/549.98 c | 500325 | 1755 169335 573755 | 2147483647 141022 117 | 0.007 % |
551.67/552.16 c | 502019 | 1755 169335 573755 | 2147483647 142716 117 | 0.006 % |
554.77/555.21 c | 503885 | 1755 169335 573755 | 2147483647 144582 119 | 0.000 % |
557.56/558.06 c | 505935 | 1755 169335 573755 | 2147483647 146632 119 | 0.000 % |
560.16/560.69 c | 508188 | 1755 169335 573755 | 2147483647 148885 119 | 0.007 % |
563.66/564.15 c | 510667 | 1755 169335 573755 | 2147483647 151364 119 | 0.007 % |
567.46/567.90 c | 513392 | 1755 169335 573755 | 2147483647 154089 119 | 0.006 % |
571.36/571.87 c | 516391 | 1755 169335 573755 | 2147483647 157088 119 | 0.000 % |
575.66/576.17 c | 519688 | 1755 169335 573755 | 2147483647 160385 119 | 0.006 % |
580.86/581.32 c | 523314 | 1755 169335 573755 | 160698 144765 118 | 0.007 % |
586.35/586.87 c | 527302 | 1755 169335 573755 | 160698 148753 118 | 0.007 % |
593.34/593.85 c | 531689 | 1755 169335 573755 | 151451 132707 116 | 0.000 % |
600.53/601.08 c | 536512 | 1755 169335 573755 | 151451 137530 117 | 0.000 % |
600.73/601.30 c | 536612 | 1755 169335 573755 | 151451 137630 117 | 0.000 % |
600.93/601.48 c | 536723 | 1755 169335 573755 | 151451 137741 117 | 0.000 % |
601.13/601.63 c | 536845 | 1755 169335 573755 | 151451 137863 117 | 0.000 % |
601.33/601.83 c | 536978 | 1755 169335 573755 | 151451 137996 117 | 0.000 % |
601.53/602.04 c | 537124 | 1755 169335 573755 | 151451 138142 117 | 0.000 % |
601.83/602.32 c | 537286 | 1755 169335 573755 | 151451 138304 117 | 0.000 % |
602.13/602.61 c | 537462 | 1755 169335 573755 | 151451 138480 117 | 0.007 % |
602.33/602.85 c | 537656 | 1755 169335 573755 | 151451 138674 117 | 0.000 % |
602.63/603.16 c | 537868 | 1755 169335 573755 | 151451 138886 117 | 0.007 % |
602.93/603.47 c | 538101 | 1755 169335 573755 | 151451 139119 117 | 0.000 % |
603.33/603.86 c | 538357 | 1755 169335 573755 | 151451 139375 117 | 0.000 % |
603.73/604.26 c | 538639 | 1755 169335 573755 | 151451 139657 117 | 0.000 % |
604.13/604.68 c | 538949 | 1755 169335 573755 | 151451 139967 117 | 0.000 % |
604.63/605.12 c | 539288 | 1755 169335 573755 | 151451 140306 117 | 0.006 % |
605.13/605.67 c | 539660 | 1755 169335 573755 | 151451 140678 117 | 0.000 % |
605.73/606.20 c | 540070 | 1755 169335 573755 | 141018 141088 117 | 0.006 % |
606.53/607.05 c | 540519 | 1755 169335 573755 | 141018 122556 120 | 0.000 % |
607.22/607.73 c | 541012 | 1755 169335 573755 | 141018 123049 120 | 0.000 % |
608.02/608.57 c | 541554 | 1755 169335 573755 | 141018 123591 121 | 0.000 % |
609.02/609.50 c | 542151 | 1755 169335 573755 | 141018 124188 121 | 0.000 % |
609.73/610.29 c | 542809 | 1755 169335 573755 | 141018 124846 121 | 0.000 % |
610.62/611.17 c | 543530 | 1755 169335 573755 | 141018 125567 121 | 0.000 % |
611.92/612.44 c | 544322 | 1755 169335 573755 | 141018 126359 122 | 0.000 % |
613.02/613.55 c | 545195 | 1755 169335 573755 | 141018 127232 122 | 0.000 % |
614.33/614.90 c | 546153 | 1755 169335 573755 | 141018 128190 122 | 0.006 % |
615.82/616.32 c | 547206 | 1755 169335 573755 | 141018 129243 122 | 0.000 % |
617.32/617.85 c | 548364 | 1755 169335 573755 | 141018 130401 122 | 0.006 % |
619.02/619.54 c | 549639 | 1755 169335 573755 | 141018 131676 122 | 0.007 % |
620.82/621.33 c | 551041 | 1755 169335 573755 | 132039 133078 122 | 0.000 % |
623.02/623.59 c | 552581 | 1755 169335 573755 | 132039 119379 121 | 0.000 % |
625.62/626.19 c | 554275 | 1755 169335 573755 | 132039 121073 122 | 0.000 % |
628.31/628.84 c | 556138 | 1755 169335 573755 | 132039 122936 123 | 0.000 % |
631.41/631.92 c | 558187 | 1755 169335 573755 | 132039 124985 123 | 0.000 % |
634.41/634.95 c | 560440 | 1755 169335 573755 | 2147483647 127238 124 | 0.000 % |
637.60/638.13 c | 562918 | 1755 169335 573755 | 2147483647 129716 124 | 0.007 % |
641.29/641.84 c | 565643 | 1755 169335 573755 | 2147483647 132441 124 | 0.000 % |
645.59/646.11 c | 568640 | 1755 169335 573755 | 2147483647 135438 125 | 0.006 % |
649.99/650.56 c | 571936 | 1755 169335 573755 | 136799 118570 120 | 0.006 % |
654.38/654.92 c | 575563 | 1755 169335 573755 | 136799 122197 120 | 0.007 % |
660.08/660.62 c | 579553 | 1755 169335 573755 | 136799 126187 122 | 0.000 % |
667.58/668.17 c | 583939 | 1755 169335 573755 | 126634 117796 124 | 0.000 % |
675.88/676.44 c | 588762 | 1755 169335 573755 | 126634 122619 126 | 0.000 % |
684.86/685.40 c | 594067 | 1755 169335 573755 | 2147483647 127924 126 | 0.000 % |
684.96/685.56 c | 594172 | 1755 169335 573755 | 2147483647 128029 126 | 0.000 % |
685.16/685.72 c | 594283 | 1755 169335 573755 | 2147483647 128140 126 | 0.000 % |
685.36/685.90 c | 594404 | 1755 169335 573755 | 2147483647 128261 126 | 0.007 % |
685.56/686.10 c | 594537 | 1755 169335 573755 | 2147483647 128394 126 | 0.007 % |
685.77/686.38 c | 594683 | 1755 169335 573755 | 2147483647 128540 126 | 0.000 % |
686.06/686.64 c | 594844 | 1755 169335 573755 | 2147483647 128701 126 | 0.000 % |
686.36/686.93 c | 595021 | 1755 169335 573755 | 2147483647 128878 126 | 0.000 % |
686.66/687.29 c | 595215 | 1755 169335 573755 | 2147483647 129072 126 | 0.000 % |
687.06/687.61 c | 595427 | 1755 169335 573755 | 2147483647 129284 126 | 0.000 % |
687.36/687.96 c | 595661 | 1755 169335 573755 | 2147483647 129518 126 | 0.000 % |
687.76/688.38 c | 595917 | 1755 169335 573755 | 2147483647 129774 126 | 0.000 % |
688.26/688.83 c | 596198 | 1755 169335 573755 | 2147483647 130055 126 | 0.000 % |
688.66/689.29 c | 596507 | 1755 169335 573755 | 2147483647 130364 126 | 0.000 % |
689.26/689.80 c | 596846 | 1755 169335 573755 | 2147483647 130703 126 | 0.000 % |
689.86/690.46 c | 597218 | 1755 169335 573755 | 2147483647 131075 127 | 0.000 % |
690.46/691.06 c | 597627 | 1755 169335 573755 | 2147483647 131484 127 | 0.000 % |
690.96/691.51 c | 598077 | 1755 169335 573755 | 2147483647 131934 127 | 0.007 % |
691.76/692.30 c | 598572 | 1755 169335 573755 | 2147483647 132429 127 | 0.000 % |
692.56/693.19 c | 599115 | 1755 169335 573755 | 2147483647 132972 127 | 0.000 % |
693.26/693.86 c | 599712 | 1755 169335 573755 | 2147483647 133569 128 | 0.000 % |
694.26/694.86 c | 600371 | 1755 169335 573755 | 133857 134228 128 | 0.000 % |
695.46/696.09 c | 601091 | 1755 169335 573755 | 133857 117509 125 | 0.000 % |
696.66/697.23 c | 601883 | 1755 169335 573755 | 133857 118301 125 | 0.000 % |
697.56/698.11 c | 602754 | 1755 169335 573755 | 133857 119172 126 | 0.000 % |
698.75/699.36 c | 603713 | 1755 169335 573755 | 133857 120131 126 | 0.000 % |
700.16/700.71 c | 604766 | 1755 169335 573755 | 133857 121184 126 | 0.000 % |
701.75/702.36 c | 605924 | 1755 169335 573755 | 133857 122342 126 | 0.000 % |
703.55/704.10 c | 607198 | 1755 169335 573755 | 133857 123616 126 | 0.000 % |
705.55/706.14 c | 608600 | 1755 169335 573755 | 133857 125018 126 | 0.000 % |
707.75/708.36 c | 610141 | 1755 169335 573755 | 126419 126559 126 | 0.000 % |
710.15/710.74 c | 611835 | 1755 169335 573755 | 126419 113213 127 | 0.000 % |
712.65/713.29 c | 613702 | 1755 169335 573755 | 126419 115080 128 | 0.000 % |
715.35/715.95 c | 615751 | 1755 169335 573755 | 126419 117129 127 | 0.000 % |
718.15/718.70 c | 618007 | 1755 169335 573755 | 126419 119385 127 | 0.000 % |
722.05/722.68 c | 620486 | 1755 169335 573755 | 121380 121864 129 | 0.000 % |
726.84/727.42 c | 623213 | 1755 169335 573755 | 121380 111415 134 | 0.000 % |
730.94/731.55 c | 626210 | 1755 169335 573755 | 121380 114412 134 | 0.000 % |
735.83/736.44 c | 629506 | 1755 169335 573755 | 121380 117708 133 | 0.007 % |
742.33/742.99 c | 633131 | 1755 169335 573755 | 2147483647 121333 136 | 0.000 % |
747.73/748.36 c | 637118 | 1755 169335 573755 | 2147483647 125320 136 | 0.000 % |
755.32/755.95 c | 641508 | 1755 169335 573755 | 128203 111476 135 | 0.000 % |
762.62/763.23 c | 646331 | 1755 169335 573755 | 128203 116299 138 | 0.000 % |
771.11/771.78 c | 651639 | 1755 169335 573755 | 119969 103434 135 | 0.000 % |
780.61/781.22 c | 657475 | 1755 169335 573755 | 119969 109270 134 | 0.006 % |
780.71/781.36 c | 657575 | 1755 169335 573755 | 119969 109370 134 | 0.000 % |
780.91/781.54 c | 657685 | 1755 169335 573755 | 119969 109480 134 | 0.000 % |
781.11/781.74 c | 657807 | 1755 169335 573755 | 119969 109602 134 | 0.000 % |
781.31/781.96 c | 657942 | 1755 169335 573755 | 119969 109737 134 | 0.000 % |
781.61/782.21 c | 658088 | 1755 169335 573755 | 119969 109883 134 | 0.000 % |
782.01/782.61 c | 658248 | 1755 169335 573755 | 119969 110043 135 | 0.000 % |
782.21/782.82 c | 658425 | 1755 169335 573755 | 119969 110220 135 | 0.000 % |
782.52/783.12 c | 658620 | 1755 169335 573755 | 119969 110415 135 | 0.000 % |
782.71/783.40 c | 658832 | 1755 169335 573755 | 119969 110627 135 | 0.000 % |
783.11/783.77 c | 659070 | 1755 169335 573755 | 119969 110865 135 | 0.000 % |
783.51/784.19 c | 659327 | 1755 169335 573755 | 119969 111122 135 | 0.000 % |
784.01/784.64 c | 659608 | 1755 169335 573755 | 119969 111403 135 | 0.000 % |
784.51/785.13 c | 659917 | 1755 169335 573755 | 119969 111712 135 | 0.000 % |
785.01/785.61 c | 660256 | 1755 169335 573755 | 111795 112051 135 | 0.000 % |
785.50/786.12 c | 660628 | 1755 169335 573755 | 111795 95965 130 | 0.000 % |
785.91/786.56 c | 661039 | 1755 169335 573755 | 111795 96376 130 | 0.000 % |
786.60/787.24 c | 661489 | 1755 169335 573755 | 111795 96826 130 | 0.000 % |
787.30/787.95 c | 661983 | 1755 169335 573755 | 111795 97320 131 | 0.000 % |
787.91/788.53 c | 662525 | 1755 169335 573755 | 111795 97862 131 | 0.000 % |
788.80/789.41 c | 663121 | 1755 169335 573755 | 111795 98458 131 | 0.000 % |
789.70/790.31 c | 663778 | 1755 169335 573755 | 111795 99115 132 | 0.000 % |
790.60/791.25 c | 664500 | 1755 169335 573755 | 111795 99837 132 | 0.007 % |
791.80/792.45 c | 665293 | 1755 169335 573755 | 111795 100630 132 | 0.000 % |
793.10/793.72 c | 666165 | 1755 169335 573755 | 111795 101502 133 | 0.000 % |
794.40/795.08 c | 667123 | 1755 169335 573755 | 111795 102460 133 | 0.000 % |
795.90/796.58 c | 668177 | 1755 169335 573755 | 111795 103514 133 | 0.000 % |
797.50/798.20 c | 669336 | 1755 169335 573755 | 111795 104673 133 | 0.000 % |
799.10/799.71 c | 670610 | 1755 169335 573755 | 2147483647 105947 133 | 0.000 % |
801.20/801.83 c | 672010 | 1755 169335 573755 | 2147483647 107347 133 | 0.000 % |
803.80/804.49 c | 673550 | 1755 169335 573755 | 2147483647 108887 135 | 0.000 % |
806.20/806.84 c | 675244 | 1755 169335 573755 | 2147483647 110581 135 | 0.000 % |
808.70/809.36 c | 677108 | 1755 169335 573755 | 2147483647 112445 136 | 0.000 % |
811.69/812.33 c | 679157 | 1755 169335 573755 | 2147483647 114494 136 | 0.000 % |
814.79/815.46 c | 681410 | 1755 169335 573755 | 115338 105066 135 | 0.000 % |
817.79/818.43 c | 683889 | 1755 169335 573755 | 115338 107545 135 | 0.000 % |
820.99/821.64 c | 686616 | 1755 169335 573755 | 115338 110272 135 | 0.000 % |
825.58/826.21 c | 689615 | 1755 169335 573755 | 115338 113271 135 | 0.006 % |
830.48/831.13 c | 692911 | 1755 169335 573755 | 113656 102295 133 | 0.000 % |
835.78/836.45 c | 696537 | 1755 169335 573755 | 113656 105921 134 | 0.000 % |
842.47/843.14 c | 700525 | 1755 169335 573755 | 109384 109909 137 | 0.000 % |
849.27/849.97 c | 704910 | 1755 169335 573755 | 109384 102487 138 | 0.000 % |
855.67/856.37 c | 709733 | 1755 169335 573755 | 109384 107310 138 | 0.007 % |
862.96/863.60 c | 715038 | 1755 169335 573755 | 107577 99391 137 | 0.000 % |
872.55/873.25 c | 720873 | 1755 169335 573755 | 104356 93245 138 | 0.000 % |
882.55/883.24 c | 727291 | 1755 169335 573755 | 104356 99663 140 | 0.000 % |
882.74/883.42 c | 727391 | 1755 169335 573755 | 104356 99763 140 | 0.006 % |
882.94/883.62 c | 727505 | 1755 169335 573755 | 104356 99877 140 | 0.000 % |
883.14/883.83 c | 727628 | 1755 169335 573755 | 104356 100000 140 | 0.000 % |
883.34/884.00 c | 727761 | 1755 169335 573755 | 104356 100133 140 | 0.000 % |
883.54/884.20 c | 727907 | 1755 169335 573755 | 104356 100279 140 | 0.000 % |
883.75/884.45 c | 728067 | 1755 169335 573755 | 104356 100439 140 | 0.000 % |
884.14/884.83 c | 728243 | 1755 169335 573755 | 104356 100615 140 | 0.000 % |
884.44/885.12 c | 728437 | 1755 169335 573755 | 104356 100809 140 | 0.000 % |
884.64/885.37 c | 728649 | 1755 169335 573755 | 104356 101021 140 | 0.000 % |
884.94/885.67 c | 728884 | 1755 169335 573755 | 104356 101256 140 | 0.006 % |
885.34/886.01 c | 729141 | 1755 169335 573755 | 104356 101513 140 | 0.007 % |
885.64/886.38 c | 729423 | 1755 169335 573755 | 104356 101795 140 | 0.006 % |
886.04/886.74 c | 729732 | 1755 169335 573755 | 104356 102104 140 | 0.006 % |
886.54/887.20 c | 730071 | 1755 169335 573755 | 102372 102443 140 | 0.000 % |
887.24/887.90 c | 730443 | 1755 169335 573755 | 102372 91572 141 | 0.000 % |
887.84/888.55 c | 730853 | 1755 169335 573755 | 102372 91982 142 | 0.000 % |
888.44/889.19 c | 731302 | 1755 169335 573755 | 102372 92431 142 | 0.000 % |
889.04/889.73 c | 731795 | 1755 169335 573755 | 102372 92924 141 | 0.007 % |
889.74/890.42 c | 732340 | 1755 169335 573755 | 102372 93469 141 | 0.000 % |
890.54/891.29 c | 732936 | 1755 169335 573755 | 102372 94065 141 | 0.000 % |
891.44/892.18 c | 733593 | 1755 169335 573755 | 102372 94722 141 | 0.000 % |
892.44/893.15 c | 734315 | 1755 169335 573755 | 102372 95444 142 | 0.000 % |
893.34/894.06 c | 735109 | 1755 169335 573755 | 102372 96238 142 | 0.000 % |
894.74/895.44 c | 735980 | 1755 169335 573755 | 102372 97109 142 | 0.000 % |
895.94/896.70 c | 736940 | 1755 169335 573755 | 102372 98069 142 | 0.006 % |
897.14/897.88 c | 737993 | 1755 169335 573755 | 102372 99122 141 | 0.000 % |
898.44/899.18 c | 739151 | 1755 169335 573755 | 102372 100280 141 | 0.008 % |
900.03/900.72 c | 740424 | 1755 169335 573755 | 2147483647 101553 141 | 0.000 % |
901.63/902.39 c | 741826 | 1755 169335 573755 | 2147483647 102955 140 | 0.007 % |
903.83/904.50 c | 743367 | 1755 169335 573755 | 2147483647 104496 140 | 0.000 % |
905.83/906.59 c | 745062 | 1755 169335 573755 | 2147483647 106191 139 | 0.006 % |
909.03/909.79 c | 746927 | 1755 169335 573755 | 2147483647 108056 140 | 0.000 % |
911.52/912.21 c | 748976 | 1755 169335 573755 | 2147483647 110105 141 | 0.000 % |
914.82/915.50 c | 751230 | 1755 169335 573755 | 2147483647 112359 142 | 0.000 % |
918.22/918.95 c | 753709 | 1755 169335 573755 | 2147483647 114838 142 | 0.000 % |
922.62/923.33 c | 756434 | 1755 169335 573755 | 2147483647 117563 143 | 0.000 % |
926.82/927.59 c | 759434 | 1755 169335 573755 | 2147483647 120563 144 | 0.000 % |
932.32/933.07 c | 762732 | 1755 169335 573755 | 121130 105846 139 | 0.000 % |
937.22/937.90 c | 766358 | 1755 169335 573755 | 121130 109472 139 | 0.000 % |
942.51/943.26 c | 770345 | 1755 169335 573755 | 113114 113459 139 | 0.000 % |
948.41/949.13 c | 774730 | 1755 169335 573755 | 113114 102692 138 | 0.000 % |
954.80/955.51 c | 779553 | 1755 169335 573755 | 113114 107515 137 | 0.000 % |
962.50/963.21 c | 784859 | 1755 169335 573755 | 107962 99602 135 | 0.000 % |
971.50/972.27 c | 790694 | 1755 169335 573755 | 104743 105437 137 | 0.000 % |
980.60/981.36 c | 797114 | 1755 169335 573755 | 104743 97156 132 | 0.000 % |
990.69/991.46 c | 804174 | 1755 169335 573755 | 100042 93877 127 | 0.000 % |
990.89/991.62 c | 804276 | 1755 169335 573755 | 100042 93979 127 | 0.000 % |
990.99/991.76 c | 804387 | 1755 169335 573755 | 100042 94090 127 | 0.005 % |
991.19/991.93 c | 804508 | 1755 169335 573755 | 100042 94211 127 | 0.005 % |
991.39/992.17 c | 804641 | 1755 169335 573755 | 100042 94344 127 | 0.000 % |
991.69/992.41 c | 804787 | 1755 169335 573755 | 100042 94490 127 | 0.000 % |
991.89/992.62 c | 804949 | 1755 169335 573755 | 100042 94652 127 | 0.000 % |
992.09/992.84 c | 805126 | 1755 169335 573755 | 100042 94829 127 | 0.000 % |
992.29/993.09 c | 805320 | 1755 169335 573755 | 100042 95023 128 | 0.000 % |
992.69/993.42 c | 805533 | 1755 169335 573755 | 100042 95236 128 | 0.000 % |
993.09/993.81 c | 805766 | 1755 169335 573755 | 100042 95469 128 | 0.000 % |
993.39/994.18 c | 806024 | 1755 169335 573755 | 100042 95727 128 | 0.000 % |
993.89/994.65 c | 806307 | 1755 169335 573755 | 100042 96010 128 | 0.000 % |
994.19/994.99 c | 806618 | 1755 169335 573755 | 100042 96321 128 | 0.000 % |
994.69/995.45 c | 806958 | 1755 169335 573755 | 100042 96661 129 | 0.000 % |
995.18/995.94 c | 807330 | 1755 169335 573755 | 100042 97033 129 | 0.000 % |
995.68/996.49 c | 807740 | 1755 169335 573755 | 100042 97443 129 | 0.000 % |
996.38/997.11 c | 808189 | 1755 169335 573755 | 100042 97892 129 | 0.000 % |
996.98/997.74 c | 808684 | 1755 169335 573755 | 100042 98387 129 | 0.007 % |
997.68/998.40 c | 809227 | 1755 169335 573755 | 100042 98930 129 | 0.000 % |
998.38/999.14 c | 809823 | 1755 169335 573755 | 100042 99526 128 | 0.000 % |
999.19/999.95 c | 810479 | 1755 169335 573755 | 2147483647 100182 128 | 0.000 % |
1000.08/1000.80 c | 811200 | 1755 169335 573755 | 2147483647 100903 128 | 0.000 % |
1000.98/1001.73 c | 811993 | 1755 169335 573755 | 2147483647 101696 128 | 0.007 % |
1001.98/1002.76 c | 812865 | 1755 169335 573755 | 2147483647 102568 128 | 0.000 % |
1003.28/1004.01 c | 813824 | 1755 169335 573755 | 2147483647 103527 128 | 0.000 % |
1004.38/1005.19 c | 814877 | 1755 169335 573755 | 2147483647 104580 128 | 0.000 % |
1005.78/1006.58 c | 816040 | 1755 169335 573755 | 2147483647 105743 128 | 0.000 % |
1007.58/1008.39 c | 817313 | 1755 169335 573755 | 2147483647 107016 129 | 0.000 % |
1009.58/1010.34 c | 818715 | 1755 169335 573755 | 2147483647 108418 130 | 0.000 % |
1011.68/1012.40 c | 820255 | 1755 169335 573755 | 2147483647 109958 130 | 0.000 % |
1013.78/1014.51 c | 821951 | 1755 169335 573755 | 2147483647 111654 131 | 0.000 % |
1016.68/1017.44 c | 823814 | 1755 169335 573755 | 2147483647 113517 131 | 0.006 % |
1020.08/1020.85 c | 825863 | 1755 169335 573755 | 2147483647 115566 131 | 0.000 % |
1023.17/1023.97 c | 828116 | 1755 169335 573755 | 2147483647 117819 131 | 0.000 % |
1026.47/1027.24 c | 830596 | 1755 169335 573755 | 119704 120299 130 | 0.000 % |
1030.57/1031.40 c | 833321 | 1755 169335 573755 | 119704 110823 131 | 0.000 % |
1034.37/1035.18 c | 836321 | 1755 169335 573755 | 119704 113823 132 | 0.000 % |
1039.26/1040.07 c | 839617 | 1755 169335 573755 | 119704 117119 132 | 0.000 % |
1044.55/1045.37 c | 843243 | 1755 169335 573755 | 117504 107705 129 | 0.007 % |
1049.85/1050.65 c | 847230 | 1755 169335 573755 | 117504 111692 129 | 0.000 % |
1055.55/1056.30 c | 851616 | 1755 169335 573755 | 2147483647 116078 129 | 0.000 % |
1062.54/1063.32 c | 856439 | 1755 169335 573755 | 2147483647 120901 129 | 0.000 % |
1071.75/1072.58 c | 861744 | 1755 169335 573755 | 2147483647 126206 129 | 0.000 % |
1082.54/1083.32 c | 867580 | 1755 169335 573755 | 2147483647 132042 128 | 0.000 % |
1094.23/1095.08 c | 873998 | 1755 169335 573755 | 134463 122651 131 | 0.000 % |
1106.22/1107.01 c | 881058 | 1755 169335 573755 | 128654 114633 131 | 0.000 % |
1118.92/1119.76 c | 888822 | 1755 169335 573755 | 128654 122397 137 | 0.000 % |
1119.12/1119.99 c | 888922 | 1755 169335 573755 | 128654 122497 137 | 0.000 % |
1119.32/1120.18 c | 889032 | 1755 169335 573755 | 128654 122607 137 | 0.000 % |
1119.62/1120.40 c | 889154 | 1755 169335 573755 | 128654 122729 137 | 0.000 % |
1119.82/1120.64 c | 889289 | 1755 169335 573755 | 128654 122864 137 | 0.000 % |
1120.02/1120.83 c | 889436 | 1755 169335 573755 | 128654 123011 137 | 0.000 % |
1120.32/1121.11 c | 889598 | 1755 169335 573755 | 128654 123173 137 | 0.000 % |
1120.62/1121.40 c | 889775 | 1755 169335 573755 | 128654 123350 137 | 0.000 % |
1120.92/1121.71 c | 889968 | 1755 169335 573755 | 128654 123543 137 | 0.000 % |
1121.22/1122.06 c | 890181 | 1755 169335 573755 | 123577 123756 137 | 0.000 % |
1121.72/1122.59 c | 890414 | 1755 169335 573755 | 123577 109676 135 | 0.000 % |
1122.12/1122.98 c | 890670 | 1755 169335 573755 | 123577 109932 135 | 0.000 % |
1122.52/1123.36 c | 890951 | 1755 169335 573755 | 123577 110213 135 | 0.000 % |
1122.92/1123.79 c | 891262 | 1755 169335 573755 | 123577 110524 135 | 0.000 % |
1123.42/1124.29 c | 891602 | 1755 169335 573755 | 123577 110864 135 | 0.000 % |
1123.92/1124.79 c | 891975 | 1755 169335 573755 | 123577 111237 135 | 0.000 % |
1124.62/1125.40 c | 892385 | 1755 169335 573755 | 123577 111647 135 | 0.000 % |
1125.22/1126.02 c | 892834 | 1755 169335 573755 | 123577 112096 134 | 0.000 % |
1125.92/1126.70 c | 893327 | 1755 169335 573755 | 123577 112589 134 | 0.006 % |
1126.51/1127.39 c | 893869 | 1755 169335 573755 | 123577 113131 134 | 0.000 % |
1127.51/1128.37 c | 894465 | 1755 169335 573755 | 123577 113727 134 | 0.006 % |
1128.41/1129.23 c | 895121 | 1755 169335 573755 | 123577 114383 134 | 0.007 % |
1129.31/1130.11 c | 895841 | 1755 169335 573755 | 123577 115103 134 | 0.000 % |
1130.31/1131.15 c | 896633 | 1755 169335 573755 | 123577 115895 134 | 0.000 % |
1131.51/1132.35 c | 897507 | 1755 169335 573755 | 123577 116769 134 | 0.007 % |
1133.21/1134.04 c | 898466 | 1755 169335 573755 | 123577 117728 134 | 0.000 % |
1134.70/1135.57 c | 899519 | 1755 169335 573755 | 123577 118781 135 | 0.000 % |
1136.51/1137.34 c | 900677 | 1755 169335 573755 | 119265 119939 136 | 0.000 % |
1138.30/1139.13 c | 901950 | 1755 169335 573755 | 119265 109130 136 | 0.000 % |
1140.10/1140.99 c | 903351 | 1755 169335 573755 | 119265 110531 136 | 0.000 % |
1142.20/1143.01 c | 904894 | 1755 169335 573755 | 119265 112074 136 | 0.007 % |
1144.60/1145.47 c | 906590 | 1755 169335 573755 | 119265 113770 136 | 0.000 % |
1147.50/1148.37 c | 908453 | 1755 169335 573755 | 119265 115633 137 | 0.000 % |
1150.29/1151.17 c | 910502 | 1755 169335 573755 | 2147483647 117682 138 | 0.000 % |
1153.79/1154.67 c | 912755 | 1755 169335 573755 | 2147483647 119935 138 | 0.000 % |
1157.40/1158.23 c | 915233 | 1755 169335 573755 | 2147483647 122413 139 | 0.000 % |
1161.69/1162.53 c | 917958 | 1755 169335 573755 | 2147483647 125138 139 | 0.000 % |
1166.59/1167.43 c | 920955 | 1755 169335 573755 | 127180 128135 139 | 0.000 % |
1171.59/1172.41 c | 924251 | 1755 169335 573755 | 127180 114996 138 | 0.000 % |
1177.38/1178.22 c | 927879 | 1755 169335 573755 | 127180 118624 138 | 0.007 % |
1183.18/1184.05 c | 931866 | 1755 169335 573755 | 2147483647 122611 137 | 0.000 % |
1190.08/1190.92 c | 936251 | 1755 169335 573755 | 2147483647 126996 137 | 0.000 % |
1196.77/1197.60 c | 941074 | 1755 169335 573755 | 130745 131819 136 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834121-1242828151/watcher-1834121-1242828151 -o /tmp/evaluation-result-1834121-1242828151/solver-1834121-1242828151 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834121-1242828151.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 1.00 3/65 31847
/proc/meminfo: memFree=1766016/2055920 swapFree=4177024/4192956
[pid=31847] ppid=31845 vsize=5356 CPUtime=0
/proc/31847/stat : 31847 (SatELiteGTI) S 31845 31847 31568 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310845485 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 228044013650 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/31847/statm: 1339 235 195 169 0 50 0
[pid=31848] ppid=31847 vsize=5356 CPUtime=0
/proc/31848/stat : 31848 (SatELiteGTI) S 31847 31847 31568 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310845485 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/31848/statm: 1339 238 198 169 0 50 0
[pid=31850] ppid=31848 vsize=0 CPUtime=0
/proc/31850/stat : 31850 (SatELiteGTI) R 31848 31847 31568 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 310845485 0 0 1992294400 0 0 0 18446744073709551615 228043844903 0 0 4096 0 0 0 0 17 0 0 0
/proc/31850/statm: 0 0 0 0 0 0 0
[startup+0.070171 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 31847
/proc/meminfo: memFree=1766016/2055920 swapFree=4177024/4192956
[pid=31847] ppid=31845 vsize=5356 CPUtime=0
/proc/31847/stat : 31847 (SatELiteGTI) S 31845 31847 31568 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310845485 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31847/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102175 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 31847
/proc/meminfo: memFree=1766016/2055920 swapFree=4177024/4192956
[pid=31847] ppid=31845 vsize=5356 CPUtime=0
/proc/31847/stat : 31847 (SatELiteGTI) S 31845 31847 31568 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310845485 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31847/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301212 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 31847
/proc/meminfo: memFree=1766016/2055920 swapFree=4177024/4192956
[pid=31847] ppid=31845 vsize=5356 CPUtime=0
/proc/31847/stat : 31847 (SatELiteGTI) S 31845 31847 31568 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310845485 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31847/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.70229 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 31847
/proc/meminfo: memFree=1766016/2055920 swapFree=4177024/4192956
[pid=31847] ppid=31845 vsize=5356 CPUtime=0
/proc/31847/stat : 31847 (SatELiteGTI) S 31845 31847 31568 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310845485 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31847/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50145 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31852
/proc/meminfo: memFree=1751344/2055920 swapFree=4177024/4192956
[pid=31847] ppid=31845 vsize=5356 CPUtime=1.06
/proc/31847/stat : 31847 (SatELiteGTI) S 31845 31847 31568 0 -1 4194304 336 3782 0 0 0 0 103 3 20 0 1 0 310845485 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31847/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 5356
[startup+3.10177 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31853
/proc/meminfo: memFree=1750704/2055920 swapFree=4177024/4192956
[pid=31847] ppid=31845 vsize=5356 CPUtime=1.06
/proc/31847/stat : 31847 (SatELiteGTI) S 31845 31847 31568 0 -1 4194304 336 3782 0 0 0 0 103 3 20 0 1 0 310845485 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31847/statm: 1339 239 197 169 0 50 0
[pid=31853] ppid=31847 vsize=14620 CPUtime=2
/proc/31853/stat : 31853 (minisat_static) R 31847 31847 31568 0 -1 4194304 3503 0 0 0 198 2 0 0 25 0 1 0 310845593 14970880 3489 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31853/statm: 3655 3489 77 171 0 3482 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 19976
[startup+6.30238 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31853
/proc/meminfo: memFree=1743856/2055920 swapFree=4177024/4192956
[pid=31847] ppid=31845 vsize=5356 CPUtime=1.06
/proc/31847/stat : 31847 (SatELiteGTI) S 31845 31847 31568 0 -1 4194304 336 3782 0 0 0 0 103 3 20 0 1 0 310845485 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31847/statm: 1339 239 197 169 0 50 0
[pid=31853] ppid=31847 vsize=20264 CPUtime=5.2
/proc/31853/stat : 31853 (minisat_static) R 31847 31847 31568 0 -1 4194304 4932 0 0 0 516 4 0 0 25 0 1 0 310845593 20750336 4918 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31853/statm: 5066 4918 77 171 0 4893 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 25620
[startup+12.7016 s]
/proc/loadavg: 1.15 1.03 1.01 2/67 31853
/proc/meminfo: memFree=1734000/2055920 swapFree=4177024/4192956
[pid=31847] ppid=31845 vsize=5356 CPUtime=1.06
/proc/31847/stat : 31847 (SatELiteGTI) S 31845 31847 31568 0 -1 4194304 336 3782 0 0 0 0 103 3 20 0 1 0 310845485 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31847/statm: 1339 239 197 169 0 50 0
[pid=31853] ppid=31847 vsize=29800 CPUtime=11.58
/proc/31853/stat : 31853 (minisat_static) R 31847 31847 31568 0 -1 4194304 7324 0 0 0 1152 6 0 0 25 0 1 0 310845593 30515200 7310 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31853/statm: 7450 7310 77 171 0 7277 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 35156
[startup+25.5012 s]
/proc/loadavg: 1.13 1.03 1.01 2/67 31853
/proc/meminfo: memFree=1719472/2055920 swapFree=4177024/4192956
[pid=31847] ppid=31845 vsize=5356 CPUtime=1.06
/proc/31847/stat : 31847 (SatELiteGTI) S 31845 31847 31568 0 -1 4194304 336 3782 0 0 0 0 103 3 20 0 1 0 310845485 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31847/statm: 1339 239 197 169 0 50 0
[pid=31853] ppid=31847 vsize=43860 CPUtime=24.35
/proc/31853/stat : 31853 (minisat_static) R 31847 31847 31568 0 -1 4194304 10813 0 0 0 2425 10 0 0 25 0 1 0 310845593 44912640 10799 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31853/statm: 10965 10799 77 171 0 10792 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 49216
[startup+51.1012 s]
/proc/loadavg: 1.08 1.03 1.01 2/67 31853
/proc/meminfo: memFree=1699312/2055920 swapFree=4177024/4192956
[pid=31847] ppid=31845 vsize=5356 CPUtime=1.06
/proc/31847/stat : 31847 (SatELiteGTI) S 31845 31847 31568 0 -1 4194304 336 3782 0 0 0 0 103 3 20 0 1 0 310845485 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31847/statm: 1339 239 197 169 0 50 0
[pid=31853] ppid=31847 vsize=64236 CPUtime=49.94
/proc/31853/stat : 31853 (minisat_static) R 31847 31847 31568 0 -1 4194304 15873 0 0 0 4979 15 0 0 25 0 1 0 310845593 65777664 15859 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31853/statm: 16059 15859 77 171 0 15886 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 69592
[startup+102.305 s]
/proc/loadavg: 1.03 1.02 1.00 2/67 31853
/proc/meminfo: memFree=1670384/2055920 swapFree=4177024/4192956
[pid=31847] ppid=31845 vsize=5356 CPUtime=1.06
/proc/31847/stat : 31847 (SatELiteGTI) S 31845 31847 31568 0 -1 4194304 336 3782 0 0 0 0 103 3 20 0 1 0 310845485 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31847/statm: 1339 239 197 169 0 50 0
[pid=31853] ppid=31847 vsize=92752 CPUtime=101.1
/proc/31853/stat : 31853 (minisat_static) R 31847 31847 31568 0 -1 4194304 23004 0 0 0 10086 24 0 0 25 0 1 0 310845593 94978048 22990 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/31853/statm: 23188 22990 77 171 0 23015 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 98108
[startup+162.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/67 31853
/proc/meminfo: memFree=1650736/2055920 swapFree=4177024/4192956
[pid=31847] ppid=31845 vsize=5356 CPUtime=1.06
/proc/31847/stat : 31847 (SatELiteGTI) S 31845 31847 31568 0 -1 4194304 336 3782 0 0 0 0 103 3 20 0 1 0 310845485 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31847/statm: 1339 239 197 169 0 50 0
[pid=31853] ppid=31847 vsize=112028 CPUtime=161.07
/proc/31853/stat : 31853 (minisat_static) R 31847 31847 31568 0 -1 4194304 27847 0 0 0 16078 29 0 0 25 0 1 0 310845593 114716672 27833 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/31853/statm: 28007 27833 77 171 0 27834 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 117384
[startup+222.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 31853
/proc/meminfo: memFree=1650608/2055920 swapFree=4177024/4192956
[pid=31847] ppid=31845 vsize=5356 CPUtime=1.06
/proc/31847/stat : 31847 (SatELiteGTI) S 31845 31847 31568 0 -1 4194304 336 3782 0 0 0 0 103 3 20 0 1 0 310845485 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31847/statm: 1339 239 197 169 0 50 0
[pid=31853] ppid=31847 vsize=112028 CPUtime=221.03
/proc/31853/stat : 31853 (minisat_static) R 31847 31847 31568 0 -1 4194304 27847 0 0 0 22074 29 0 0 25 0 1 0 310845593 114716672 27833 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 0 0 0
/proc/31853/statm: 28007 27833 77 171 0 27834 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 117384
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31853
/proc/meminfo: memFree=1650608/2055920 swapFree=4177024/4192956
[pid=31847] ppid=31845 vsize=5356 CPUtime=1.06
/proc/31847/stat : 31847 (SatELiteGTI) S 31845 31847 31568 0 -1 4194304 336 3782 0 0 0 0 103 3 20 0 1 0 310845485 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31847/statm: 1339 239 197 169 0 50 0
[pid=31853] ppid=31847 vsize=112028 CPUtime=280.98
/proc/31853/stat : 31853 (minisat_static) R 31847 31847 31568 0 -1 4194304 27847 0 0 0 28069 29 0 0 25 0 1 0 310845593 114716672 27833 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31853/statm: 28007 27833 77 171 0 27834 0
Current children cumulated CPU time (s) 282.04
Current children cumulated vsize (KiB) 117384
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31853
/proc/meminfo: memFree=1650544/2055920 swapFree=4177024/4192956
[pid=31847] ppid=31845 vsize=5356 CPUtime=1.06
/proc/31847/stat : 31847 (SatELiteGTI) S 31845 31847 31568 0 -1 4194304 336 3782 0 0 0 0 103 3 20 0 1 0 310845485 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31847/statm: 1339 239 197 169 0 50 0
[pid=31853] ppid=31847 vsize=112028 CPUtime=340.95
/proc/31853/stat : 31853 (minisat_static) R 31847 31847 31568 0 -1 4194304 27847 0 0 0 34066 29 0 0 25 0 1 0 310845593 114716672 27833 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31853/statm: 28007 27833 77 171 0 27834 0
Current children cumulated CPU time (s) 342.01
Current children cumulated vsize (KiB) 117384
[startup+402.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31853
/proc/meminfo: memFree=1650544/2055920 swapFree=4177024/4192956
[pid=31847] ppid=31845 vsize=5356 CPUtime=1.06
/proc/31847/stat : 31847 (SatELiteGTI) S 31845 31847 31568 0 -1 4194304 336 3782 0 0 0 0 103 3 20 0 1 0 310845485 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31847/statm: 1339 239 197 169 0 50 0
[pid=31853] ppid=31847 vsize=112028 CPUtime=400.91
/proc/31853/stat : 31853 (minisat_static) R 31847 31847 31568 0 -1 4194304 27847 0 0 0 40062 29 0 0 25 0 1 0 310845593 114716672 27833 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/31853/statm: 28007 27833 77 171 0 27834 0
Current children cumulated CPU time (s) 401.97
################
# More data... #
################
/proc/31853/statm: 28007 27833 77 171 0 27834 0
Current children cumulated CPU time (s) 581.85
Current children cumulated vsize (KiB) 117384
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31853
/proc/meminfo: memFree=1650416/2055920 swapFree=4177024/4192956
[pid=31847] ppid=31845 vsize=5356 CPUtime=1.06
/proc/31847/stat : 31847 (SatELiteGTI) S 31845 31847 31568 0 -1 4194304 336 3782 0 0 0 0 103 3 20 0 1 0 310845485 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31847/statm: 1339 239 197 169 0 50 0
[pid=31853] ppid=31847 vsize=112028 CPUtime=640.73
/proc/31853/stat : 31853 (minisat_static) R 31847 31847 31568 0 -1 4194304 27848 0 0 0 64043 30 0 0 25 0 1 0 310845593 114716672 27834 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31853/statm: 28007 27834 77 171 0 27834 0
Current children cumulated CPU time (s) 641.79
Current children cumulated vsize (KiB) 117384
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31853
/proc/meminfo: memFree=1650352/2055920 swapFree=4177024/4192956
[pid=31847] ppid=31845 vsize=5356 CPUtime=1.06
/proc/31847/stat : 31847 (SatELiteGTI) S 31845 31847 31568 0 -1 4194304 336 3782 0 0 0 0 103 3 20 0 1 0 310845485 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31847/statm: 1339 239 197 169 0 50 0
[pid=31853] ppid=31847 vsize=112028 CPUtime=700.69
/proc/31853/stat : 31853 (minisat_static) R 31847 31847 31568 0 -1 4194304 27848 0 0 0 70039 30 0 0 25 0 1 0 310845593 114716672 27834 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31853/statm: 28007 27834 77 171 0 27834 0
Current children cumulated CPU time (s) 701.75
Current children cumulated vsize (KiB) 117384
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31853
/proc/meminfo: memFree=1650352/2055920 swapFree=4177024/4192956
[pid=31847] ppid=31845 vsize=5356 CPUtime=1.06
/proc/31847/stat : 31847 (SatELiteGTI) S 31845 31847 31568 0 -1 4194304 336 3782 0 0 0 0 103 3 20 0 1 0 310845485 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31847/statm: 1339 239 197 169 0 50 0
[pid=31853] ppid=31847 vsize=112028 CPUtime=760.67
/proc/31853/stat : 31853 (minisat_static) R 31847 31847 31568 0 -1 4194304 27848 0 0 0 76037 30 0 0 25 0 1 0 310845593 114716672 27834 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31853/statm: 28007 27834 77 171 0 27834 0
Current children cumulated CPU time (s) 761.73
Current children cumulated vsize (KiB) 117384
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31853
/proc/meminfo: memFree=1650288/2055920 swapFree=4177024/4192956
[pid=31847] ppid=31845 vsize=5356 CPUtime=1.06
/proc/31847/stat : 31847 (SatELiteGTI) S 31845 31847 31568 0 -1 4194304 336 3782 0 0 0 0 103 3 20 0 1 0 310845485 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31847/statm: 1339 239 197 169 0 50 0
[pid=31853] ppid=31847 vsize=112028 CPUtime=820.62
/proc/31853/stat : 31853 (minisat_static) R 31847 31847 31568 0 -1 4194304 27848 0 0 0 82032 30 0 0 25 0 1 0 310845593 114716672 27834 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31853/statm: 28007 27834 77 171 0 27834 0
Current children cumulated CPU time (s) 821.68
Current children cumulated vsize (KiB) 117384
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31853
/proc/meminfo: memFree=1650288/2055920 swapFree=4177024/4192956
[pid=31847] ppid=31845 vsize=5356 CPUtime=1.06
/proc/31847/stat : 31847 (SatELiteGTI) S 31845 31847 31568 0 -1 4194304 336 3782 0 0 0 0 103 3 20 0 1 0 310845485 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31847/statm: 1339 239 197 169 0 50 0
[pid=31853] ppid=31847 vsize=112028 CPUtime=880.58
/proc/31853/stat : 31853 (minisat_static) R 31847 31847 31568 0 -1 4194304 27848 0 0 0 88028 30 0 0 25 0 1 0 310845593 114716672 27834 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31853/statm: 28007 27834 77 171 0 27834 0
Current children cumulated CPU time (s) 881.64
Current children cumulated vsize (KiB) 117384
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31853
/proc/meminfo: memFree=1650288/2055920 swapFree=4177024/4192956
[pid=31847] ppid=31845 vsize=5356 CPUtime=1.06
/proc/31847/stat : 31847 (SatELiteGTI) S 31845 31847 31568 0 -1 4194304 336 3782 0 0 0 0 103 3 20 0 1 0 310845485 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31847/statm: 1339 239 197 169 0 50 0
[pid=31853] ppid=31847 vsize=112028 CPUtime=940.55
/proc/31853/stat : 31853 (minisat_static) R 31847 31847 31568 0 -1 4194304 27848 0 0 0 94025 30 0 0 25 0 1 0 310845593 114716672 27834 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31853/statm: 28007 27834 77 171 0 27834 0
Current children cumulated CPU time (s) 941.61
Current children cumulated vsize (KiB) 117384
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31853
/proc/meminfo: memFree=1650288/2055920 swapFree=4177024/4192956
[pid=31847] ppid=31845 vsize=5356 CPUtime=1.06
/proc/31847/stat : 31847 (SatELiteGTI) S 31845 31847 31568 0 -1 4194304 336 3782 0 0 0 0 103 3 20 0 1 0 310845485 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31847/statm: 1339 239 197 169 0 50 0
[pid=31853] ppid=31847 vsize=112028 CPUtime=1000.52
/proc/31853/stat : 31853 (minisat_static) R 31847 31847 31568 0 -1 4194304 27848 0 0 0 100021 31 0 0 25 0 1 0 310845593 114716672 27834 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31853/statm: 28007 27834 77 171 0 27834 0
Current children cumulated CPU time (s) 1001.58
Current children cumulated vsize (KiB) 117384
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31853
/proc/meminfo: memFree=1650224/2055920 swapFree=4177024/4192956
[pid=31847] ppid=31845 vsize=5356 CPUtime=1.06
/proc/31847/stat : 31847 (SatELiteGTI) S 31845 31847 31568 0 -1 4194304 336 3782 0 0 0 0 103 3 20 0 1 0 310845485 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31847/statm: 1339 239 197 169 0 50 0
[pid=31853] ppid=31847 vsize=112028 CPUtime=1060.49
/proc/31853/stat : 31853 (minisat_static) R 31847 31847 31568 0 -1 4194304 27848 0 0 0 106018 31 0 0 25 0 1 0 310845593 114716672 27834 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31853/statm: 28007 27834 77 171 0 27834 0
Current children cumulated CPU time (s) 1061.55
Current children cumulated vsize (KiB) 117384
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31853
/proc/meminfo: memFree=1650224/2055920 swapFree=4177024/4192956
[pid=31847] ppid=31845 vsize=5356 CPUtime=1.06
/proc/31847/stat : 31847 (SatELiteGTI) S 31845 31847 31568 0 -1 4194304 336 3782 0 0 0 0 103 3 20 0 1 0 310845485 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31847/statm: 1339 239 197 169 0 50 0
[pid=31853] ppid=31847 vsize=112028 CPUtime=1120.46
/proc/31853/stat : 31853 (minisat_static) R 31847 31847 31568 0 -1 4194304 27848 0 0 0 112015 31 0 0 25 0 1 0 310845593 114716672 27834 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31853/statm: 28007 27834 77 171 0 27834 0
Current children cumulated CPU time (s) 1121.52
Current children cumulated vsize (KiB) 117384
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31853
/proc/meminfo: memFree=1650160/2055920 swapFree=4177024/4192956
[pid=31847] ppid=31845 vsize=5356 CPUtime=1.06
/proc/31847/stat : 31847 (SatELiteGTI) S 31845 31847 31568 0 -1 4194304 336 3782 0 0 0 0 103 3 20 0 1 0 310845485 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31847/statm: 1339 239 197 169 0 50 0
[pid=31853] ppid=31847 vsize=112028 CPUtime=1180.42
/proc/31853/stat : 31853 (minisat_static) R 31847 31847 31568 0 -1 4194304 27849 0 0 0 118011 31 0 0 25 0 1 0 310845593 114716672 27835 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 0 0 0
/proc/31853/statm: 28007 27835 77 171 0 27834 0
Current children cumulated CPU time (s) 1181.48
Current children cumulated vsize (KiB) 117384
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31853
/proc/meminfo: memFree=1650160/2055920 swapFree=4177024/4192956
[pid=31847] ppid=31845 vsize=5356 CPUtime=1.06
/proc/31847/stat : 31847 (SatELiteGTI) S 31845 31847 31568 0 -1 4194304 336 3782 0 0 0 0 103 3 20 0 1 0 310845485 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31847/statm: 1339 239 197 169 0 50 0
[pid=31853] ppid=31847 vsize=112028 CPUtime=1199.01
/proc/31853/stat : 31853 (minisat_static) R 31847 31847 31568 0 -1 4194304 27849 0 0 0 119870 31 0 0 25 0 1 0 310845593 114716672 27835 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31853/statm: 28007 27835 77 171 0 27834 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 117384
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31853
/proc/meminfo: memFree=1650160/2055920 swapFree=4177024/4192956
[pid=31847] ppid=31845 vsize=5356 CPUtime=1.06
/proc/31847/stat : 31847 (SatELiteGTI) S 31845 31847 31568 0 -1 4194304 336 3782 0 0 0 0 103 3 20 0 1 0 310845485 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31847/statm: 1339 239 197 169 0 50 0
[pid=31853] ppid=31847 vsize=112028 CPUtime=1199.01
/proc/31853/stat : 31853 (minisat_static) R 31847 31847 31568 0 -1 4194304 27849 0 0 0 119870 31 0 0 25 0 1 0 310845593 114716672 27835 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31853/statm: 28007 27835 77 171 0 27834 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 117384
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31847 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=33842
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=41993
# CPU time returned by wait4() is 1.07583
# 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.91
CPU time (s): 1200.07
CPU user time (s): 1199.73
CPU system time (s): 0.34
CPU usage (%): 99.9299
Max. virtual memory (cumulated for all children) (KiB): 117384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.03384
system time used= 0.041993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4118
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= 14
involuntary context switches= 19
runsolver used 1.06284 second user time and 3.41748 second system time
The end
Begin job on node77 at 2009-05-20 16:02:31
IDJOB=1834121
IDBENCH=71501
IDSOLVER=671
FILE ID=node77/1834121-1242828151
PBS_JOBID= 9322480
Free space on /tmp= 66180 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/rbsat/crafted/unforced/rbsat-v1820c171155g4.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834121-1242828151/watcher-1834121-1242828151 -o /tmp/evaluation-result-1834121-1242828151/solver-1834121-1242828151 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834121-1242828151.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 58e1c9baf379890f8f9e3891acb41fa1
RANDOM SEED=1550352722
node77.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.270
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.270
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1766504 kB
Buffers: 51292 kB
Cached: 185884 kB
SwapCached: 10344 kB
Active: 77988 kB
Inactive: 171192 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1766504 kB
SwapTotal: 4192956 kB
SwapFree: 4177024 kB
Dirty: 3724 kB
Writeback: 0 kB
Mapped: 17052 kB
Slab: 26292 kB
Committed_AS: 1091336 kB
PageTables: 1384 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= 66176 MiB
End job on node77 at 2009-05-20 16:22:34