0.00/0.00 c Parsing...
0.00/0.09 c ==============================================================================
0.00/0.09 c | | ORIGINAL | LEARNT | |
0.00/0.09 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.09 c ==============================================================================
0.00/0.09 c | 0 | 171155 344000 | 51346 0 0 nan | 0.000 % |
0.00/0.96 c | 0 | 169335 570873 | -- 0 -- -- | -- | -1820/226873
0.00/0.96 c ==============================================================================
0.00/0.96 c Result : #vars: 1755 #clauses: 169335 #literals: 570873
0.00/0.96 c CPU time: 0.927858 s
0.00/0.96 c ==============================================================================
1.09/1.13 c This is MiniSat 2.0 beta
1.09/1.13 c WARNING: for repeatability, setting FPU to use double precision
1.09/1.13 c ============================[ Problem Statistics ]=============================
1.09/1.13 c | |
1.09/1.13 c | Number of variables: 1755 |
1.09/1.13 c | Number of clauses: 169335 |
1.11/1.21 c | Parsing time: 0.08 s |
1.11/1.22 c ============================[ Search Statistics ]==============================
1.11/1.22 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.11/1.22 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.11/1.22 c ===============================================================================
1.11/1.22 c | 0 | 1755 169335 570873 | 56445 0 nan | 0.000 % |
1.11/1.25 c | 102 | 1755 169335 570873 | 56445 102 177 | 0.000 % |
1.11/1.28 c | 202 | 1755 169335 570873 | 56445 202 173 | 0.000 % |
1.11/1.30 c | 302 | 1755 169335 570873 | 56445 302 158 | 0.000 % |
1.11/1.33 c | 412 | 1755 169335 570873 | 56445 412 145 | 0.000 % |
1.11/1.35 c | 512 | 1755 169335 570873 | 56445 512 135 | 0.000 % |
1.11/1.38 c | 623 | 1755 169335 570873 | 56445 623 154 | 0.000 % |
1.11/1.41 c | 744 | 1755 169335 570873 | 56445 744 155 | 0.007 % |
1.11/1.43 c | 844 | 1755 169335 570873 | 56445 844 149 | 0.000 % |
1.11/1.45 c | 954 | 1755 169335 570873 | 56445 954 143 | 0.007 % |
1.11/1.48 c | 1075 | 1755 169335 570873 | 56445 1075 136 | 0.007 % |
1.11/1.50 c | 1209 | 1755 169335 570873 | 56445 1209 141 | 0.000 % |
1.11/1.53 c | 1311 | 1755 169335 570873 | 56445 1311 141 | 0.005 % |
1.11/1.55 c | 1422 | 1755 169335 570873 | 56445 1422 140 | 0.000 % |
1.11/1.57 c | 1543 | 1755 169335 570873 | 56445 1543 137 | 0.000 % |
1.11/1.60 c | 1677 | 1755 169335 570873 | 56445 1677 139 | 0.000 % |
1.11/1.63 c | 1825 | 1755 169335 570873 | 56445 1825 138 | 0.000 % |
1.11/1.65 c | 1926 | 1755 169335 570873 | 56445 1926 136 | 0.000 % |
1.11/1.67 c | 2037 | 1755 169335 570873 | 56445 2037 135 | 0.005 % |
1.11/1.70 c | 2158 | 1755 169335 570873 | 56445 2158 137 | 0.000 % |
1.11/1.73 c | 2291 | 1755 169335 570873 | 56445 2291 138 | 0.000 % |
1.11/1.76 c | 2439 | 1755 169335 570873 | 56445 2439 140 | 0.000 % |
1.11/1.80 c | 2599 | 1755 169335 570873 | 56445 2599 142 | 0.000 % |
1.11/1.82 c | 2699 | 1755 169335 570873 | 56445 2699 144 | 0.000 % |
1.11/1.85 c | 2812 | 1755 169335 570873 | 56445 2812 143 | 0.000 % |
1.11/1.88 c | 2933 | 1755 169335 570873 | 56445 2933 142 | 0.007 % |
1.11/1.91 c | 3067 | 1755 169335 570873 | 56445 3067 142 | 0.006 % |
1.11/1.94 c | 3215 | 1755 169335 570873 | 56445 3215 144 | 0.000 % |
1.11/1.97 c | 3376 | 1755 169335 570873 | 56445 3376 142 | 0.005 % |
1.11/2.01 c | 3552 | 1755 169335 570873 | 56445 3552 141 | 0.006 % |
1.11/2.04 c | 3652 | 1755 169335 570873 | 56445 3652 142 | 0.000 % |
1.11/2.06 c | 3762 | 1755 169335 570873 | 56445 3762 142 | 0.000 % |
1.11/2.09 c | 3885 | 1755 169335 570873 | 56445 3885 140 | 0.006 % |
2.08/2.12 c | 4019 | 1755 169335 570873 | 56445 4019 139 | 0.007 % |
2.08/2.16 c | 4167 | 1755 169335 570873 | 56445 4167 140 | 0.000 % |
2.08/2.20 c | 4328 | 1755 169335 570873 | 56445 4328 139 | 0.000 % |
2.18/2.23 c | 4507 | 1755 169335 570873 | 56445 4507 138 | 0.000 % |
2.18/2.28 c | 4700 | 1755 169335 570873 | 56445 4700 141 | 0.000 % |
2.27/2.31 c | 4800 | 1755 169335 570873 | 56445 4800 140 | 0.006 % |
2.27/2.33 c | 4911 | 1755 169335 570873 | 56445 4911 139 | 0.006 % |
2.27/2.36 c | 5032 | 1755 169335 570873 | 56445 5032 138 | 0.008 % |
2.37/2.40 c | 5166 | 1755 169335 570873 | 56445 5166 139 | 0.000 % |
2.37/2.43 c | 5316 | 1755 169335 570873 | 56445 5316 140 | 0.000 % |
2.37/2.47 c | 5476 | 1755 169335 570873 | 56445 5476 139 | 0.007 % |
2.47/2.52 c | 5654 | 1755 169335 570873 | 56445 5654 138 | 0.006 % |
2.47/2.57 c | 5849 | 1755 169335 570873 | 56445 5849 137 | 0.005 % |
2.57/2.62 c | 6062 | 1755 169335 570873 | 56445 6062 136 | 0.007 % |
2.57/2.64 c | 6162 | 1755 169335 570873 | 56445 6162 136 | 0.000 % |
2.57/2.67 c | 6272 | 1755 169335 570873 | 56445 6272 136 | 0.000 % |
2.67/2.71 c | 6393 | 1755 169335 570873 | 56445 6393 135 | 0.000 % |
2.67/2.74 c | 6526 | 1755 169335 570873 | 56445 6526 134 | 0.006 % |
2.67/2.79 c | 6672 | 1755 169335 570873 | 56445 6672 135 | 0.000 % |
2.77/2.83 c | 6833 | 1755 169335 570873 | 56445 6833 135 | 0.000 % |
2.77/2.87 c | 7009 | 1755 169335 570873 | 56445 7009 134 | 0.006 % |
2.87/2.93 c | 7203 | 1755 169335 570873 | 56445 7203 135 | 0.000 % |
2.87/2.98 c | 7416 | 1755 169335 570873 | 56445 7416 134 | 0.000 % |
2.97/3.04 c | 7650 | 1755 169335 570873 | 56445 7650 133 | 0.006 % |
2.97/3.07 c | 7751 | 1755 169335 570873 | 56445 7751 133 | 0.007 % |
2.97/3.09 c | 7861 | 1755 169335 570873 | 56445 7861 133 | 0.006 % |
3.07/3.12 c | 7982 | 1755 169335 570873 | 56445 7982 132 | 0.006 % |
3.07/3.15 c | 8116 | 1755 169335 570873 | 56445 8116 132 | 0.007 % |
3.07/3.19 c | 8262 | 1755 169335 570873 | 56445 8262 131 | 0.000 % |
3.17/3.23 c | 8422 | 1755 169335 570873 | 56445 8422 130 | 0.005 % |
3.17/3.27 c | 8598 | 1755 169335 570873 | 56445 8598 129 | 0.007 % |
3.27/3.31 c | 8791 | 1755 169335 570873 | 56445 8791 130 | 0.000 % |
3.27/3.38 c | 9003 | 1755 169335 570873 | 56445 9003 130 | 0.000 % |
3.37/3.44 c | 9236 | 1755 169335 570873 | 56445 9236 130 | 0.000 % |
3.47/3.50 c | 9492 | 1755 169335 570873 | 56445 9492 129 | 0.000 % |
3.47/3.53 c | 9593 | 1755 169335 570873 | 56445 9593 128 | 0.006 % |
3.47/3.57 c | 9704 | 1755 169335 570873 | 56445 9704 129 | 0.000 % |
3.57/3.60 c | 9825 | 1755 169335 570873 | 56445 9825 129 | 0.000 % |
3.57/3.64 c | 9960 | 1755 169335 570873 | 56445 9960 128 | 0.000 % |
3.57/3.68 c | 10106 | 1755 169335 570873 | 2147483647 10106 128 | 0.004 % |
3.67/3.73 c | 10266 | 1755 169335 570873 | 2147483647 10266 128 | 0.000 % |
3.67/3.78 c | 10442 | 1755 169335 570873 | 2147483647 10442 127 | 0.000 % |
3.77/3.83 c | 10635 | 1755 169335 570873 | 2147483647 10635 127 | 0.000 % |
3.77/3.89 c | 10847 | 1755 169335 570873 | 2147483647 10847 126 | 0.006 % |
3.87/3.95 c | 11081 | 1755 169335 570873 | 2147483647 11081 125 | 0.006 % |
3.97/4.04 c | 11337 | 1755 169335 570873 | 2147483647 11337 127 | 0.000 % |
4.07/4.11 c | 11618 | 1755 169335 570873 | 2147483647 11618 126 | 0.007 % |
4.07/4.14 c | 11718 | 1755 169335 570873 | 2147483647 11718 126 | 0.000 % |
4.07/4.17 c | 11828 | 1755 169335 570873 | 2147483647 11828 126 | 0.007 % |
4.16/4.20 c | 11949 | 1755 169335 570873 | 2147483647 11949 125 | 0.007 % |
4.16/4.24 c | 12082 | 1755 169335 570873 | 2147483647 12082 125 | 0.008 % |
4.16/4.29 c | 12228 | 1755 169335 570873 | 2147483647 12228 125 | 0.000 % |
4.27/4.33 c | 12388 | 1755 169335 570873 | 2147483647 12388 125 | 0.000 % |
4.27/4.38 c | 12566 | 1755 169335 570873 | 2147483647 12566 126 | 0.000 % |
4.37/4.44 c | 12760 | 1755 169335 570873 | 2147483647 12760 126 | 0.000 % |
4.37/4.49 c | 12973 | 1755 169335 570873 | 2147483647 12973 125 | 0.007 % |
4.47/4.55 c | 13206 | 1755 169335 570873 | 2147483647 13206 125 | 0.007 % |
4.57/4.62 c | 13463 | 1755 169335 570873 | 2147483647 13463 124 | 0.000 % |
4.67/4.70 c | 13744 | 1755 169335 570873 | 2147483647 13744 123 | 0.007 % |
4.77/4.80 c | 14054 | 1755 169335 570873 | 2147483647 14054 122 | 0.007 % |
4.77/4.83 c | 14154 | 1755 169335 570873 | 2147483647 14154 122 | 0.000 % |
4.77/4.86 c | 14264 | 1755 169335 570873 | 2147483647 14264 122 | 0.000 % |
4.87/4.90 c | 14387 | 1755 169335 570873 | 2147483647 14387 122 | 0.006 % |
4.87/4.93 c | 14522 | 1755 169335 570873 | 2147483647 14522 122 | 0.008 % |
4.87/4.98 c | 14668 | 1755 169335 570873 | 2147483647 14668 122 | 0.000 % |
4.97/5.02 c | 14828 | 1755 169335 570873 | 2147483647 14828 121 | 0.000 % |
4.97/5.07 c | 15005 | 1755 169335 570873 | 2147483647 15005 121 | 0.007 % |
5.07/5.14 c | 15198 | 1755 169335 570873 | 2147483647 15198 122 | 0.000 % |
5.17/5.22 c | 15413 | 1755 169335 570873 | 2147483647 15413 123 | 0.000 % |
5.17/5.29 c | 15646 | 1755 169335 570873 | 2147483647 15646 122 | 0.000 % |
5.27/5.36 c | 15903 | 1755 169335 570873 | 2147483647 15903 122 | 0.006 % |
5.37/5.45 c | 16186 | 1755 169335 570873 | 2147483647 16186 121 | 0.000 % |
5.47/5.53 c | 16495 | 1755 169335 570873 | 2147483647 16495 121 | 0.000 % |
5.57/5.63 c | 16834 | 1755 169335 570873 | 2147483647 16834 120 | 0.008 % |
5.57/5.67 c | 16935 | 1755 169335 570873 | 2147483647 16935 120 | 0.000 % |
5.67/5.71 c | 17045 | 1755 169335 570873 | 2147483647 17045 120 | 0.006 % |
5.67/5.75 c | 17169 | 1755 169335 570873 | 2147483647 17169 120 | 0.000 % |
5.67/5.79 c | 17304 | 1755 169335 570873 | 2147483647 17304 120 | 0.000 % |
5.77/5.83 c | 17450 | 1755 169335 570873 | 2147483647 17450 120 | 0.007 % |
5.77/5.89 c | 17612 | 1755 169335 570873 | 2147483647 17612 120 | 0.000 % |
5.87/5.95 c | 17788 | 1755 169335 570873 | 2147483647 17788 120 | 0.000 % |
5.87/5.99 c | 17983 | 1755 169335 570873 | 2147483647 17983 120 | 0.000 % |
5.97/6.07 c | 18196 | 1755 169335 570873 | 2147483647 18196 120 | 0.000 % |
6.07/6.16 c | 18429 | 1755 169335 570873 | 2147483647 18429 120 | 0.000 % |
6.17/6.23 c | 18685 | 1755 169335 570873 | 2147483647 18685 119 | 0.006 % |
6.27/6.32 c | 18966 | 1755 169335 570873 | 2147483647 18966 119 | 0.007 % |
6.36/6.42 c | 19275 | 1755 169335 570873 | 2147483647 19275 119 | 0.007 % |
6.47/6.52 c | 19616 | 1755 169335 570873 | 2147483647 19616 119 | 0.007 % |
6.57/6.63 c | 19988 | 1755 169335 570873 | 2147483647 19988 118 | 0.000 % |
6.57/6.67 c | 20088 | 1755 169335 570873 | 2147483647 20088 118 | 0.006 % |
6.66/6.70 c | 20198 | 1755 169335 570873 | 2147483647 20198 118 | 0.000 % |
6.66/6.74 c | 20321 | 1755 169335 570873 | 2147483647 20321 118 | 0.006 % |
6.66/6.79 c | 20454 | 1755 169335 570873 | 2147483647 20454 118 | 0.006 % |
6.76/6.84 c | 20602 | 1755 169335 570873 | 2147483647 20602 118 | 0.000 % |
6.76/6.90 c | 20763 | 1755 169335 570873 | 2147483647 20763 118 | 0.000 % |
6.86/6.96 c | 20939 | 1755 169335 570873 | 2147483647 20939 118 | 0.007 % |
6.96/7.03 c | 21132 | 1755 169335 570873 | 2147483647 21132 118 | 0.006 % |
6.96/7.09 c | 21346 | 1755 169335 570873 | 2147483647 21346 117 | 0.000 % |
7.06/7.17 c | 21580 | 1755 169335 570873 | 2147483647 21580 117 | 0.006 % |
7.17/7.26 c | 21836 | 1755 169335 570873 | 2147483647 21836 118 | 0.000 % |
7.27/7.34 c | 22117 | 1755 169335 570873 | 2147483647 22117 118 | 0.000 % |
7.37/7.44 c | 22426 | 1755 169335 570873 | 2147483647 22426 118 | 0.000 % |
7.47/7.55 c | 22765 | 1755 169335 570873 | 2147483647 22765 118 | 0.000 % |
7.57/7.68 c | 23137 | 1755 169335 570873 | 2147483647 23137 117 | 0.000 % |
7.77/7.81 c | 23547 | 1755 169335 570873 | 2147483647 23547 118 | 0.007 % |
7.77/7.85 c | 23650 | 1755 169335 570873 | 2147483647 23650 118 | 0.000 % |
7.77/7.89 c | 23761 | 1755 169335 570873 | 2147483647 23761 118 | 0.007 % |
7.87/7.93 c | 23882 | 1755 169335 570873 | 2147483647 23882 118 | 0.006 % |
7.87/7.97 c | 24015 | 1755 169335 570873 | 2147483647 24015 118 | 0.008 % |
7.96/8.03 c | 24162 | 1755 169335 570873 | 2147483647 24162 118 | 0.000 % |
7.96/8.08 c | 24322 | 1755 169335 570873 | 2147483647 24322 119 | 0.000 % |
8.06/8.15 c | 24498 | 1755 169335 570873 | 2147483647 24498 119 | 0.000 % |
8.16/8.23 c | 24691 | 1755 169335 570873 | 2147483647 24691 119 | 0.007 % |
8.16/8.29 c | 24904 | 1755 169335 570873 | 2147483647 24904 119 | 0.007 % |
8.26/8.38 c | 25140 | 1755 169335 570873 | 2147483647 25140 119 | 0.006 % |
8.36/8.46 c | 25396 | 1755 169335 570873 | 2147483647 25396 119 | 0.000 % |
8.46/8.56 c | 25677 | 1755 169335 570873 | 2147483647 25677 118 | 0.006 % |
8.56/8.66 c | 25990 | 1755 169335 570873 | 2147483647 25990 118 | 0.008 % |
8.66/8.78 c | 26329 | 1755 169335 570873 | 2147483647 26329 118 | 0.007 % |
8.87/8.91 c | 26702 | 1755 169335 570873 | 2147483647 26702 119 | 0.007 % |
8.97/9.08 c | 27111 | 1755 169335 570873 | 2147483647 27111 118 | 0.007 % |
9.17/9.23 c | 27560 | 1755 169335 570873 | 2147483647 27560 118 | 0.007 % |
9.17/9.28 c | 27660 | 1755 169335 570873 | 2147483647 27660 119 | 0.000 % |
9.27/9.32 c | 27772 | 1755 169335 570873 | 2147483647 27772 119 | 0.000 % |
9.27/9.36 c | 27894 | 1755 169335 570873 | 2147483647 27894 119 | 0.000 % |
9.37/9.41 c | 28028 | 1755 169335 570873 | 2147483647 28028 118 | 0.005 % |
9.37/9.46 c | 28174 | 1755 169335 570873 | 2147483647 28174 119 | 0.000 % |
9.47/9.53 c | 28335 | 1755 169335 570873 | 2147483647 28335 119 | 0.005 % |
9.57/9.60 c | 28511 | 1755 169335 570873 | 2147483647 28511 119 | 0.006 % |
9.57/9.69 c | 28705 | 1755 169335 570873 | 2147483647 28705 119 | 0.000 % |
9.67/9.78 c | 28917 | 1755 169335 570873 | 2147483647 28917 119 | 0.000 % |
9.77/9.86 c | 29150 | 1755 169335 570873 | 2147483647 29150 119 | 0.000 % |
9.87/9.95 c | 29407 | 1755 169335 570873 | 2147483647 29407 118 | 0.006 % |
9.97/10.03 c | 29688 | 1755 169335 570873 | 2147483647 29688 118 | 0.007 % |
10.07/10.14 c | 29997 | 1755 169335 570873 | 2147483647 29997 118 | 0.000 % |
10.17/10.28 c | 30336 | 1755 169335 570873 | 2147483647 30336 117 | 0.007 % |
10.37/10.40 c | 30713 | 1755 169335 570873 | 2147483647 30713 117 | 0.007 % |
10.47/10.54 c | 31124 | 1755 169335 570873 | 2147483647 31124 117 | 0.007 % |
10.67/10.71 c | 31573 | 1755 169335 570873 | 2147483647 31573 117 | 0.007 % |
10.87/10.91 c | 32070 | 1755 169335 570873 | 2147483647 32070 117 | 0.000 % |
10.87/10.95 c | 32170 | 1755 169335 570873 | 2147483647 32170 117 | 0.000 % |
10.87/11.00 c | 32280 | 1755 169335 570873 | 2147483647 32280 117 | 0.000 % |
10.97/11.04 c | 32402 | 1755 169335 570873 | 2147483647 32402 117 | 0.000 % |
10.97/11.09 c | 32536 | 1755 169335 570873 | 2147483647 32536 117 | 0.000 % |
11.07/11.15 c | 32682 | 1755 169335 570873 | 2147483647 32682 118 | 0.000 % |
11.17/11.21 c | 32842 | 1755 169335 570873 | 2147483647 32842 118 | 0.000 % |
11.17/11.28 c | 33020 | 1755 169335 570873 | 2147483647 33020 118 | 0.000 % |
11.26/11.36 c | 33213 | 1755 169335 570873 | 2147483647 33213 119 | 0.000 % |
11.36/11.46 c | 33429 | 1755 169335 570873 | 2147483647 33429 119 | 0.007 % |
11.46/11.55 c | 33662 | 1755 169335 570873 | 2147483647 33662 119 | 0.007 % |
11.56/11.65 c | 33920 | 1755 169335 570873 | 2147483647 33920 119 | 0.000 % |
11.66/11.74 c | 34201 | 1755 169335 570873 | 2147483647 34201 119 | 0.007 % |
11.76/11.86 c | 34510 | 1755 169335 570873 | 2147483647 34510 118 | 0.007 % |
11.86/12.00 c | 34850 | 1755 169335 570873 | 2147483647 34850 119 | 0.000 % |
12.07/12.14 c | 35224 | 1755 169335 570873 | 2147483647 35224 119 | 0.000 % |
12.26/12.32 c | 35635 | 1755 169335 570873 | 2147483647 35635 119 | 0.006 % |
12.46/12.50 c | 36086 | 1755 169335 570873 | 2147483647 36086 119 | 0.006 % |
12.57/12.68 c | 36581 | 1755 169335 570873 | 2147483647 36581 120 | 0.000 % |
12.87/12.95 c | 37125 | 1755 169335 570873 | 2147483647 37125 121 | 0.000 % |
12.87/12.99 c | 37226 | 1755 169335 570873 | 2147483647 37226 121 | 0.000 % |
12.97/13.04 c | 37336 | 1755 169335 570873 | 2147483647 37336 121 | 0.000 % |
12.97/13.08 c | 37459 | 1755 169335 570873 | 2147483647 37459 122 | 0.000 % |
13.07/13.12 c | 37592 | 1755 169335 570873 | 2147483647 37592 122 | 0.000 % |
13.17/13.20 c | 37738 | 1755 169335 570873 | 2147483647 37738 122 | 0.000 % |
13.17/13.28 c | 37898 | 1755 169335 570873 | 2147483647 37898 122 | 0.000 % |
13.27/13.36 c | 38074 | 1755 169335 570873 | 2147483647 38074 122 | 0.000 % |
13.36/13.48 c | 38267 | 1755 169335 570873 | 2147483647 38267 122 | 0.000 % |
13.46/13.57 c | 38479 | 1755 169335 570873 | 2147483647 38479 122 | 0.000 % |
13.56/13.65 c | 38712 | 1755 169335 570873 | 2147483647 38712 122 | 0.000 % |
13.66/13.76 c | 38969 | 1755 169335 570873 | 2147483647 38969 122 | 0.007 % |
13.76/13.88 c | 39253 | 1755 169335 570873 | 2147483647 39253 122 | 0.007 % |
13.96/14.00 c | 39562 | 1755 169335 570873 | 2147483647 39562 122 | 0.000 % |
14.06/14.14 c | 39901 | 1755 169335 570873 | 2147483647 39901 122 | 0.000 % |
14.27/14.33 c | 40276 | 1755 169335 570873 | 2147483647 40276 122 | 0.007 % |
14.36/14.49 c | 40685 | 1755 169335 570873 | 2147483647 40685 122 | 0.000 % |
14.56/14.67 c | 41136 | 1755 169335 570873 | 2147483647 41136 122 | 0.000 % |
14.76/14.84 c | 41632 | 1755 169335 570873 | 2147483647 41632 122 | 0.000 % |
14.96/15.08 c | 42174 | 1755 169335 570873 | 2147483647 42174 122 | 0.000 % |
15.26/15.34 c | 42772 | 1755 169335 570873 | 2147483647 42772 121 | 0.000 % |
15.26/15.38 c | 42875 | 1755 169335 570873 | 2147483647 42875 121 | 0.007 % |
15.37/15.44 c | 42985 | 1755 169335 570873 | 2147483647 42985 121 | 0.007 % |
15.47/15.51 c | 43107 | 1755 169335 570873 | 2147483647 43107 121 | 0.007 % |
15.47/15.56 c | 43241 | 1755 169335 570873 | 2147483647 43241 121 | 0.006 % |
15.57/15.63 c | 43388 | 1755 169335 570873 | 2147483647 43388 121 | 0.000 % |
15.67/15.70 c | 43548 | 1755 169335 570873 | 2147483647 43548 121 | 0.006 % |
15.77/15.80 c | 43724 | 1755 169335 570873 | 2147483647 43724 121 | 0.000 % |
15.77/15.88 c | 43917 | 1755 169335 570873 | 2147483647 43917 121 | 0.005 % |
15.87/15.97 c | 44129 | 1755 169335 570873 | 2147483647 44129 121 | 0.000 % |
15.96/16.09 c | 44363 | 1755 169335 570873 | 2147483647 44363 121 | 0.000 % |
16.16/16.21 c | 44620 | 1755 169335 570873 | 2147483647 44620 121 | 0.007 % |
16.26/16.34 c | 44901 | 1755 169335 570873 | 2147483647 44901 120 | 0.007 % |
16.37/16.49 c | 45211 | 1755 169335 570873 | 2147483647 45211 120 | 0.006 % |
16.56/16.66 c | 45550 | 1755 169335 570873 | 2147483647 45550 120 | 0.007 % |
16.76/16.86 c | 45924 | 1755 169335 570873 | 2147483647 45924 121 | 0.000 % |
16.96/17.08 c | 46335 | 1755 169335 570873 | 2147483647 46335 121 | 0.007 % |
17.16/17.28 c | 46784 | 1755 169335 570873 | 2147483647 46784 120 | 0.007 % |
17.36/17.47 c | 47277 | 1755 169335 570873 | 2147483647 47277 120 | 0.000 % |
17.66/17.73 c | 47819 | 1755 169335 570873 | 2147483647 47819 120 | 0.000 % |
17.86/17.99 c | 48416 | 1755 169335 570873 | 2147483647 48416 120 | 0.000 % |
18.16/18.29 c | 49072 | 1755 169335 570873 | 2147483647 49072 119 | 0.007 % |
18.26/18.36 c | 49173 | 1755 169335 570873 | 2147483647 49173 120 | 0.000 % |
18.36/18.41 c | 49284 | 1755 169335 570873 | 2147483647 49284 120 | 0.000 % |
18.36/18.48 c | 49407 | 1755 169335 570873 | 2147483647 49407 120 | 0.006 % |
18.46/18.54 c | 49542 | 1755 169335 570873 | 2147483647 49542 120 | 0.000 % |
18.57/18.62 c | 49689 | 1755 169335 570873 | 2147483647 49689 120 | 0.000 % |
18.57/18.70 c | 49850 | 1755 169335 570873 | 2147483647 49850 120 | 0.006 % |
18.67/18.79 c | 50027 | 1755 169335 570873 | 2147483647 50027 120 | 0.007 % |
18.86/18.92 c | 50221 | 1755 169335 570873 | 2147483647 50221 120 | 0.000 % |
18.96/19.03 c | 50433 | 1755 169335 570873 | 2147483647 50433 120 | 0.000 % |
19.06/19.12 c | 50666 | 1755 169335 570873 | 2147483647 50666 120 | 0.007 % |
19.16/19.24 c | 50922 | 1755 169335 570873 | 2147483647 50922 120 | 0.000 % |
19.26/19.39 c | 51203 | 1755 169335 570873 | 2147483647 51203 120 | 0.000 % |
19.46/19.53 c | 51512 | 1755 169335 570873 | 2147483647 51512 119 | 0.000 % |
19.66/19.71 c | 51851 | 1755 169335 570873 | 2147483647 51851 120 | 0.000 % |
19.76/19.89 c | 52224 | 1755 169335 570873 | 2147483647 52224 120 | 0.007 % |
20.06/20.10 c | 52633 | 1755 169335 570873 | 2147483647 52633 120 | 0.000 % |
20.26/20.33 c | 53084 | 1755 169335 570873 | 2147483647 53084 120 | 0.000 % |
20.56/20.63 c | 53577 | 1755 169335 570873 | 2147483647 53577 120 | 0.000 % |
20.86/20.97 c | 54119 | 1755 169335 570873 | 2147483647 54119 121 | 0.000 % |
21.26/21.31 c | 54715 | 1755 169335 570873 | 2147483647 54715 121 | 0.005 % |
21.56/21.62 c | 55370 | 1755 169335 570873 | 2147483647 55370 121 | 0.005 % |
21.96/22.01 c | 56090 | 1755 169335 570873 | 2147483647 56090 120 | 0.005 % |
21.96/22.07 c | 56193 | 1755 169335 570873 | 2147483647 56193 121 | 0.000 % |
22.05/22.15 c | 56304 | 1755 169335 570873 | 2147483647 56304 121 | 0.000 % |
22.15/22.23 c | 56428 | 1755 169335 570873 | 2147483647 56428 121 | 0.000 % |
22.15/22.29 c | 56561 | 1755 169335 570873 | 2147483647 56561 121 | 0.006 % |
22.35/22.40 c | 56707 | 1755 169335 570873 | 2147483647 56707 121 | 0.000 % |
22.35/22.48 c | 56867 | 1755 169335 570873 | 2147483647 56867 121 | 0.000 % |
22.45/22.58 c | 57043 | 1755 169335 570873 | 2147483647 57043 121 | 0.000 % |
22.55/22.69 c | 57237 | 1755 169335 570873 | 2147483647 57237 121 | 0.000 % |
22.65/22.79 c | 57449 | 1755 169335 570873 | 2147483647 57449 121 | 0.000 % |
22.85/22.92 c | 57682 | 1755 169335 570873 | 2147483647 57682 121 | 0.007 % |
22.96/23.04 c | 57940 | 1755 169335 570873 | 2147483647 57940 121 | 0.006 % |
23.05/23.18 c | 58222 | 1755 169335 570873 | 2147483647 58222 121 | 0.000 % |
23.26/23.37 c | 58531 | 1755 169335 570873 | 2147483647 58531 121 | 0.000 % |
23.46/23.57 c | 58872 | 1755 169335 570873 | 2147483647 58872 121 | 0.000 % |
23.66/23.77 c | 59246 | 1755 169335 570873 | 2147483647 59246 121 | 0.007 % |
23.86/23.97 c | 59655 | 1755 169335 570873 | 2147483647 59655 121 | 0.000 % |
24.16/24.21 c | 60105 | 1755 169335 570873 | 2147483647 60105 121 | 0.007 % |
24.36/24.46 c | 60602 | 1755 169335 570873 | 2147483647 60602 120 | 0.000 % |
24.66/24.76 c | 61144 | 1755 169335 570873 | 2147483647 61144 120 | 0.006 % |
24.96/25.07 c | 61741 | 1755 169335 570873 | 2147483647 61741 120 | 0.000 % |
25.35/25.41 c | 62398 | 1755 169335 570873 | 2147483647 62398 119 | 0.006 % |
25.75/25.83 c | 63118 | 1755 169335 570873 | 2147483647 63118 119 | 0.007 % |
26.15/26.29 c | 63911 | 1755 169335 570873 | 2147483647 63911 119 | 0.006 % |
26.26/26.36 c | 64012 | 1755 169335 570873 | 2147483647 64012 119 | 0.006 % |
26.35/26.44 c | 64122 | 1755 169335 570873 | 2147483647 64122 119 | 0.000 % |
26.45/26.51 c | 64243 | 1755 169335 570873 | 2147483647 64243 119 | 0.000 % |
26.45/26.58 c | 64378 | 1755 169335 570873 | 2147483647 64378 119 | 0.000 % |
26.55/26.67 c | 64524 | 1755 169335 570873 | 2147483647 64524 119 | 0.000 % |
26.65/26.79 c | 64685 | 1755 169335 570873 | 2147483647 64685 119 | 0.000 % |
26.85/26.90 c | 64863 | 1755 169335 570873 | 2147483647 64863 119 | 0.000 % |
26.95/27.03 c | 65056 | 1755 169335 570873 | 2147483647 65056 119 | 0.000 % |
27.05/27.18 c | 65268 | 1755 169335 570873 | 2147483647 65268 119 | 0.000 % |
27.25/27.31 c | 65503 | 1755 169335 570873 | 2147483647 65503 119 | 0.000 % |
27.36/27.48 c | 65759 | 1755 169335 570873 | 2147483647 65759 120 | 0.000 % |
27.56/27.65 c | 66040 | 1755 169335 570873 | 2147483647 66040 120 | 0.000 % |
27.75/27.83 c | 66349 | 1755 169335 570873 | 2147483647 66349 120 | 0.000 % |
27.95/28.01 c | 66688 | 1755 169335 570873 | 2147483647 66688 120 | 0.006 % |
28.15/28.26 c | 67060 | 1755 169335 570873 | 2147483647 67060 120 | 0.000 % |
28.46/28.52 c | 67472 | 1755 169335 570873 | 2147483647 67472 120 | 0.000 % |
28.75/28.83 c | 67921 | 1755 169335 570873 | 2147483647 67921 120 | 0.007 % |
29.05/29.13 c | 68414 | 1755 169335 570873 | 2147483647 68414 120 | 0.000 % |
29.35/29.45 c | 68956 | 1755 169335 570873 | 2147483647 68956 120 | 0.007 % |
29.75/29.83 c | 69554 | 1755 169335 570873 | 2147483647 69554 120 | 0.007 % |
30.15/30.26 c | 70209 | 1755 169335 570873 | 2147483647 70209 120 | 0.000 % |
30.55/30.65 c | 70930 | 1755 169335 570873 | 2147483647 70930 120 | 0.007 % |
31.05/31.17 c | 71724 | 1755 169335 570873 | 2147483647 71724 120 | 0.006 % |
31.55/31.69 c | 72596 | 1755 169335 570873 | 2147483647 72596 120 | 0.006 % |
31.65/31.78 c | 72698 | 1755 169335 570873 | 2147483647 72698 120 | 0.000 % |
31.75/31.87 c | 72808 | 1755 169335 570873 | 2147483647 72808 120 | 0.006 % |
31.85/31.95 c | 72932 | 1755 169335 570873 | 2147483647 72932 120 | 0.007 % |
31.95/32.05 c | 73065 | 1755 169335 570873 | 2147483647 73065 120 | 0.006 % |
32.05/32.16 c | 73211 | 1755 169335 570873 | 2147483647 73211 120 | 0.000 % |
32.15/32.27 c | 73371 | 1755 169335 570873 | 2147483647 73371 120 | 0.006 % |
32.25/32.38 c | 73547 | 1755 169335 570873 | 2147483647 73547 120 | 0.007 % |
32.45/32.52 c | 73741 | 1755 169335 570873 | 2147483647 73741 120 | 0.000 % |
32.55/32.64 c | 73954 | 1755 169335 570873 | 2147483647 73954 120 | 0.007 % |
32.75/32.80 c | 74190 | 1755 169335 570873 | 2147483647 74190 120 | 0.000 % |
32.85/32.94 c | 74447 | 1755 169335 570873 | 2147483647 74447 119 | 0.007 % |
32.95/33.09 c | 74730 | 1755 169335 570873 | 2147483647 74730 119 | 0.007 % |
33.15/33.30 c | 75039 | 1755 169335 570873 | 2147483647 75039 119 | 0.008 % |
33.45/33.55 c | 75381 | 1755 169335 570873 | 2147483647 75381 119 | 0.000 % |
33.74/33.81 c | 75754 | 1755 169335 570873 | 2147483647 75754 120 | 0.006 % |
33.95/34.04 c | 76163 | 1755 169335 570873 | 2147483647 76163 119 | 0.006 % |
34.25/34.36 c | 76613 | 1755 169335 570873 | 2147483647 76613 119 | 0.006 % |
34.55/34.69 c | 77109 | 1755 169335 570873 | 2147483647 77109 119 | 0.007 % |
34.95/35.04 c | 77655 | 1755 169335 570873 | 2147483647 77655 119 | 0.006 % |
35.34/35.42 c | 78251 | 1755 169335 570873 | 2147483647 78251 119 | 0.006 % |
35.74/35.88 c | 78906 | 1755 169335 570873 | 2147483647 78906 119 | 0.006 % |
36.25/36.36 c | 79626 | 1755 169335 570873 | 2147483647 79626 118 | 0.000 % |
36.74/36.88 c | 80420 | 1755 169335 570873 | 2147483647 80420 118 | 0.000 % |
37.34/37.47 c | 81293 | 1755 169335 570873 | 2147483647 81293 118 | 0.007 % |
38.04/38.16 c | 82252 | 1755 169335 570873 | 2147483647 82252 117 | 0.000 % |
38.14/38.23 c | 82353 | 1755 169335 570873 | 2147483647 82353 117 | 0.007 % |
38.24/38.31 c | 82463 | 1755 169335 570873 | 2147483647 82463 117 | 0.000 % |
38.24/38.39 c | 82584 | 1755 169335 570873 | 2147483647 82584 117 | 0.007 % |
38.44/38.51 c | 82719 | 1755 169335 570873 | 2147483647 82719 117 | 0.000 % |
38.54/38.62 c | 82867 | 1755 169335 570873 | 2147483647 82867 117 | 0.006 % |
38.64/38.73 c | 83030 | 1755 169335 570873 | 2147483647 83030 117 | 0.000 % |
38.84/38.91 c | 83208 | 1755 169335 570873 | 2147483647 83208 118 | 0.000 % |
38.94/39.07 c | 83404 | 1755 169335 570873 | 2147483647 83404 118 | 0.000 % |
39.14/39.20 c | 83616 | 1755 169335 570873 | 2147483647 83616 118 | 0.000 % |
39.24/39.36 c | 83849 | 1755 169335 570873 | 2147483647 83849 117 | 0.006 % |
39.44/39.57 c | 84105 | 1755 169335 570873 | 2147483647 84105 117 | 0.006 % |
39.74/39.83 c | 84387 | 1755 169335 570873 | 2147483647 84387 117 | 0.006 % |
39.94/40.05 c | 84696 | 1755 169335 570873 | 2147483647 84696 117 | 0.006 % |
40.14/40.24 c | 85035 | 1755 169335 570873 | 2147483647 85035 117 | 0.000 % |
40.44/40.54 c | 85407 | 1755 169335 570873 | 2147483647 85407 117 | 0.000 % |
40.73/40.85 c | 85819 | 1755 169335 570873 | 2147483647 85819 118 | 0.007 % |
41.03/41.15 c | 86270 | 1755 169335 570873 | 2147483647 86270 117 | 0.007 % |
41.33/41.47 c | 86763 | 1755 169335 570873 | 2147483647 86763 117 | 0.006 % |
41.74/41.89 c | 87306 | 1755 169335 570873 | 2147483647 87306 117 | 0.007 % |
42.13/42.27 c | 87903 | 1755 169335 570873 | 2147483647 87903 117 | 0.006 % |
42.53/42.68 c | 88559 | 1755 169335 570873 | 2147483647 88559 117 | 0.007 % |
43.24/43.32 c | 89279 | 1755 169335 570873 | 2147483647 89279 118 | 0.000 % |
43.74/43.89 c | 90072 | 1755 169335 570873 | 2147483647 90072 118 | 0.006 % |
44.43/44.56 c | 90944 | 1755 169335 570873 | 2147483647 90944 119 | 0.000 % |
45.13/45.20 c | 91903 | 1755 169335 570873 | 2147483647 91903 118 | 0.007 % |
45.83/45.97 c | 92956 | 1755 169335 570873 | 2147483647 92956 118 | 0.007 % |
45.93/46.04 c | 93057 | 1755 169335 570873 | 2147483647 93057 118 | 0.000 % |
46.03/46.14 c | 93167 | 1755 169335 570873 | 2147483647 93167 118 | 0.000 % |
46.13/46.22 c | 93289 | 1755 169335 570873 | 2147483647 93289 118 | 0.006 % |
46.23/46.30 c | 93423 | 1755 169335 570873 | 2147483647 93423 118 | 0.000 % |
46.33/46.41 c | 93569 | 1755 169335 570873 | 2147483647 93569 118 | 0.000 % |
46.43/46.53 c | 93732 | 1755 169335 570873 | 2147483647 93732 118 | 0.000 % |
46.53/46.68 c | 93908 | 1755 169335 570873 | 2147483647 93908 118 | 0.007 % |
46.73/46.81 c | 94102 | 1755 169335 570873 | 2147483647 94102 118 | 0.000 % |
46.83/46.96 c | 94315 | 1755 169335 570873 | 2147483647 94315 118 | 0.006 % |
47.03/47.13 c | 94550 | 1755 169335 570873 | 2147483647 94550 118 | 0.007 % |
47.23/47.34 c | 94808 | 1755 169335 570873 | 2147483647 94808 118 | 0.000 % |
47.43/47.52 c | 95089 | 1755 169335 570873 | 2147483647 95089 118 | 0.007 % |
47.63/47.78 c | 95401 | 1755 169335 570873 | 2147483647 95401 118 | 0.000 % |
47.93/48.04 c | 95742 | 1755 169335 570873 | 2147483647 95742 118 | 0.006 % |
48.23/48.36 c | 96114 | 1755 169335 570873 | 2147483647 96114 118 | 0.006 % |
48.53/48.67 c | 96523 | 1755 169335 570873 | 2147483647 96523 118 | 0.006 % |
48.83/48.98 c | 96974 | 1755 169335 570873 | 2147483647 96974 119 | 0.000 % |
49.23/49.34 c | 97469 | 1755 169335 570873 | 2147483647 97469 119 | 0.000 % |
49.63/49.76 c | 98011 | 1755 169335 570873 | 2147483647 98011 119 | 0.006 % |
50.13/50.24 c | 98612 | 1755 169335 570873 | 2147483647 98612 119 | 0.000 % |
50.63/50.70 c | 99270 | 1755 169335 570873 | 2147483647 99270 119 | 0.000 % |
51.13/51.23 c | 99992 | 1755 169335 570873 | 2147483647 99992 120 | 0.000 % |
51.73/51.86 c | 100784 | 1755 169335 570873 | 2147483647 100784 120 | 0.007 % |
52.42/52.56 c | 101655 | 1755 169335 570873 | 2147483647 101655 120 | 0.000 % |
53.23/53.33 c | 102614 | 1755 169335 570873 | 2147483647 102614 120 | 0.007 % |
53.93/54.09 c | 103669 | 1755 169335 570873 | 2147483647 103669 120 | 0.000 % |
54.83/54.96 c | 104828 | 1755 169335 570873 | 2147483647 104828 120 | 0.000 % |
54.93/55.04 c | 104928 | 1755 169335 570873 | 2147483647 104928 120 | 0.000 % |
55.03/55.12 c | 105038 | 1755 169335 570873 | 2147483647 105038 120 | 0.007 % |
55.13/55.24 c | 105159 | 1755 169335 570873 | 2147483647 105159 120 | 0.000 % |
55.23/55.34 c | 105292 | 1755 169335 570873 | 2147483647 105292 120 | 0.000 % |
55.33/55.47 c | 105438 | 1755 169335 570873 | 2147483647 105438 120 | 0.007 % |
55.53/55.60 c | 105598 | 1755 169335 570873 | 2147483647 105598 120 | 0.007 % |
55.63/55.76 c | 105774 | 1755 169335 570873 | 2147483647 105774 120 | 0.000 % |
55.82/55.91 c | 105971 | 1755 169335 570873 | 2147483647 105971 120 | 0.000 % |
55.93/56.05 c | 106184 | 1755 169335 570873 | 2147483647 106184 120 | 0.006 % |
56.12/56.25 c | 106417 | 1755 169335 570873 | 2147483647 106417 120 | 0.005 % |
56.32/56.48 c | 106674 | 1755 169335 570873 | 2147483647 106674 120 | 0.000 % |
56.52/56.67 c | 106955 | 1755 169335 570873 | 2147483647 106955 120 | 0.008 % |
56.82/56.92 c | 107265 | 1755 169335 570873 | 2147483647 107265 120 | 0.000 % |
57.13/57.21 c | 107604 | 1755 169335 570873 | 2147483647 107604 120 | 0.006 % |
57.42/57.51 c | 107976 | 1755 169335 570873 | 2147483647 107976 119 | 0.006 % |
57.72/57.83 c | 108385 | 1755 169335 570873 | 2147483647 108385 119 | 0.000 % |
58.02/58.18 c | 108835 | 1755 169335 570873 | 2147483647 108835 119 | 0.000 % |
58.42/58.55 c | 109329 | 1755 169335 570873 | 2147483647 109329 119 | 0.000 % |
58.82/58.92 c | 109875 | 1755 169335 570873 | 2147483647 109875 119 | 0.006 % |
59.32/59.47 c | 110471 | 1755 169335 570873 | 2147483647 110471 119 | 0.000 % |
60.02/60.13 c | 111126 | 1755 169335 570873 | 2147483647 111126 119 | 0.006 % |
60.52/60.68 c | 111846 | 1755 169335 570873 | 2147483647 111846 119 | 0.000 % |
61.22/61.33 c | 112638 | 1755 169335 570873 | 2147483647 112638 119 | 0.000 % |
62.01/62.13 c | 113509 | 1755 169335 570873 | 2147483647 113509 119 | 0.000 % |
62.92/63.03 c | 114467 | 1755 169335 570873 | 2147483647 114467 120 | 0.000 % |
63.92/64.02 c | 115522 | 1755 169335 570873 | 2147483647 115522 120 | 0.007 % |
65.12/65.24 c | 116680 | 1755 169335 570873 | 2147483647 116680 121 | 0.000 % |
66.22/66.31 c | 117953 | 1755 169335 570873 | 2147483647 117953 122 | 0.000 % |
66.32/66.41 c | 118054 | 1755 169335 570873 | 2147483647 118054 122 | 0.007 % |
66.42/66.54 c | 118164 | 1755 169335 570873 | 2147483647 118164 122 | 0.000 % |
66.52/66.66 c | 118286 | 1755 169335 570873 | 2147483647 118286 122 | 0.006 % |
66.62/66.77 c | 118420 | 1755 169335 570873 | 2147483647 118420 122 | 0.000 % |
66.81/66.94 c | 118566 | 1755 169335 570873 | 2147483647 118566 122 | 0.007 % |
67.02/67.11 c | 118727 | 1755 169335 570873 | 2147483647 118727 122 | 0.000 % |
67.11/67.28 c | 118903 | 1755 169335 570873 | 2147483647 118903 122 | 0.000 % |
67.31/67.48 c | 119096 | 1755 169335 570873 | 2147483647 119096 122 | 0.005 % |
67.51/67.67 c | 119309 | 1755 169335 570873 | 2147483647 119309 122 | 0.000 % |
67.72/67.87 c | 119542 | 1755 169335 570873 | 2147483647 119542 122 | 0.007 % |
68.02/68.14 c | 119800 | 1755 169335 570873 | 2147483647 119800 122 | 0.000 % |
68.22/68.39 c | 120082 | 1755 169335 570873 | 2147483647 120082 122 | 0.007 % |
68.52/68.67 c | 120391 | 1755 169335 570873 | 2147483647 120391 122 | 0.000 % |
68.92/69.03 c | 120734 | 1755 169335 570873 | 2147483647 120734 122 | 0.000 % |
69.22/69.35 c | 121106 | 1755 169335 570873 | 2147483647 121106 122 | 0.000 % |
69.62/69.73 c | 121517 | 1755 169335 570873 | 2147483647 121517 122 | 0.006 % |
70.11/70.21 c | 121967 | 1755 169335 570873 | 2147483647 121967 122 | 0.000 % |
70.41/70.59 c | 122461 | 1755 169335 570873 | 2147483647 122461 122 | 0.000 % |
70.91/71.06 c | 123004 | 1755 169335 570873 | 2147483647 123004 122 | 0.000 % |
71.62/71.73 c | 123600 | 1755 169335 570873 | 2147483647 123600 123 | 0.000 % |
72.22/72.37 c | 124255 | 1755 169335 570873 | 2147483647 124255 123 | 0.000 % |
73.02/73.10 c | 124975 | 1755 169335 570873 | 2147483647 124975 123 | 0.000 % |
73.72/73.88 c | 125767 | 1755 169335 570873 | 2147483647 125767 123 | 0.000 % |
74.72/74.84 c | 126638 | 1755 169335 570873 | 2147483647 126638 123 | 0.000 % |
75.72/75.81 c | 127596 | 1755 169335 570873 | 2147483647 127596 122 | 0.000 % |
77.01/77.15 c | 128649 | 1755 169335 570873 | 2147483647 128649 123 | 0.000 % |
78.02/78.18 c | 129808 | 1755 169335 570873 | 2147483647 129808 123 | 0.006 % |
79.21/79.35 c | 131081 | 1755 169335 570873 | 2147483647 131081 122 | 0.000 % |
80.91/81.00 c | 132481 | 1755 169335 570873 | 2147483647 132481 123 | 0.000 % |
81.01/81.14 c | 132581 | 1755 169335 570873 | 2147483647 132581 123 | 0.000 % |
81.11/81.25 c | 132691 | 1755 169335 570873 | 2147483647 132691 123 | 0.000 % |
81.31/81.40 c | 132812 | 1755 169335 570873 | 2147483647 132812 123 | 0.000 % |
81.41/81.53 c | 132945 | 1755 169335 570873 | 2147483647 132945 123 | 0.007 % |
81.51/81.66 c | 133091 | 1755 169335 570873 | 2147483647 133091 123 | 0.007 % |
81.71/81.85 c | 133251 | 1755 169335 570873 | 2147483647 133251 123 | 0.000 % |
81.91/82.04 c | 133427 | 1755 169335 570873 | 2147483647 133427 123 | 0.000 % |
82.11/82.24 c | 133620 | 1755 169335 570873 | 2147483647 133620 123 | 0.007 % |
82.31/82.45 c | 133833 | 1755 169335 570873 | 2147483647 133833 123 | 0.006 % |
82.61/82.71 c | 134070 | 1755 169335 570873 | 2147483647 134070 123 | 0.007 % |
82.91/83.03 c | 134327 | 1755 169335 570873 | 2147483647 134327 123 | 0.000 % |
83.20/83.33 c | 134608 | 1755 169335 570873 | 2147483647 134608 123 | 0.007 % |
83.51/83.61 c | 134918 | 1755 169335 570873 | 2147483647 134918 123 | 0.000 % |
83.70/83.88 c | 135260 | 1755 169335 570873 | 2147483647 135260 123 | 0.008 % |
84.11/84.24 c | 135632 | 1755 169335 570873 | 2147483647 135632 123 | 0.006 % |
84.51/84.69 c | 136041 | 1755 169335 570873 | 2147483647 136041 123 | 0.006 % |
85.11/85.28 c | 136491 | 1755 169335 570873 | 2147483647 136491 123 | 0.000 % |
85.71/85.81 c | 136984 | 1755 169335 570873 | 2147483647 136984 124 | 0.000 % |
86.31/86.44 c | 137526 | 1755 169335 570873 | 2147483647 137526 124 | 0.000 % |
87.00/87.18 c | 138123 | 1755 169335 570873 | 2147483647 138123 124 | 0.000 % |
87.70/87.83 c | 138778 | 1755 169335 570873 | 2147483647 138778 124 | 0.000 % |
88.40/88.57 c | 139498 | 1755 169335 570873 | 2147483647 139498 124 | 0.000 % |
89.30/89.40 c | 140291 | 1755 169335 570873 | 2147483647 140291 124 | 0.007 % |
89.90/90.10 c | 141163 | 1755 169335 570873 | 2147483647 141163 124 | 0.006 % |
91.00/91.15 c | 142121 | 1755 169335 570873 | 2147483647 142121 124 | 0.007 % |
92.10/92.21 c | 143175 | 1755 169335 570873 | 2147483647 143175 124 | 0.006 % |
93.41/93.52 c | 144333 | 1755 169335 570873 | 2147483647 144333 124 | 0.006 % |
94.90/95.07 c | 145606 | 1755 169335 570873 | 2147483647 145606 123 | 0.006 % |
96.50/96.64 c | 147008 | 1755 169335 570873 | 2147483647 147008 123 | 0.007 % |
97.90/98.05 c | 148549 | 1755 169335 570873 | 2147483647 148549 124 | 0.000 % |
98.00/98.15 c | 148649 | 1755 169335 570873 | 2147483647 148649 124 | 0.000 % |
98.10/98.28 c | 148760 | 1755 169335 570873 | 2147483647 148760 124 | 0.000 % |
98.30/98.42 c | 148882 | 1755 169335 570873 | 2147483647 148882 124 | 0.007 % |
98.40/98.55 c | 149015 | 1755 169335 570873 | 2147483647 149015 124 | 0.007 % |
98.70/98.80 c | 149163 | 1755 169335 570873 | 2147483647 149163 124 | 0.000 % |
98.80/98.99 c | 149323 | 1755 169335 570873 | 2147483647 149323 124 | 0.000 % |
99.00/99.16 c | 149499 | 1755 169335 570873 | 2147483647 149499 124 | 0.006 % |
99.30/99.43 c | 149696 | 1755 169335 570873 | 2147483647 149696 124 | 0.000 % |
99.50/99.66 c | 149908 | 1755 169335 570873 | 2147483647 149908 124 | 0.007 % |
99.80/99.92 c | 150142 | 1755 169335 570873 | 2147483647 150142 124 | 0.006 % |
100.01/100.16 c | 150399 | 1755 169335 570873 | 2147483647 150399 124 | 0.006 % |
100.30/100.49 c | 150680 | 1755 169335 570873 | 2147483647 150680 124 | 0.007 % |
100.70/100.82 c | 150989 | 1755 169335 570873 | 2147483647 150989 123 | 0.000 % |
101.01/101.17 c | 151328 | 1755 169335 570873 | 2147483647 151328 123 | 0.000 % |
101.40/101.57 c | 151701 | 1755 169335 570873 | 2147483647 151701 123 | 0.006 % |
101.90/102.06 c | 152110 | 1755 169335 570873 | 2147483647 152110 123 | 0.000 % |
102.60/102.73 c | 152559 | 1755 169335 570873 | 2147483647 152559 123 | 0.000 % |
103.10/103.30 c | 153052 | 1755 169335 570873 | 2147483647 153052 123 | 0.000 % |
104.00/104.15 c | 153594 | 1755 169335 570873 | 2147483647 153594 124 | 0.000 % |
104.80/104.97 c | 154191 | 1755 169335 570873 | 2147483647 154191 124 | 0.000 % |
105.50/105.61 c | 154846 | 1755 169335 570873 | 2147483647 154846 124 | 0.007 % |
106.19/106.32 c | 155566 | 1755 169335 570873 | 2147483647 155566 124 | 0.000 % |
107.30/107.49 c | 156362 | 1755 169335 570873 | 2147483647 156362 125 | 0.000 % |
108.40/108.53 c | 157234 | 1755 169335 570873 | 2147483647 157234 125 | 0.006 % |
109.20/109.35 c | 158192 | 1755 169335 570873 | 2147483647 158192 125 | 0.000 % |
110.50/110.65 c | 159245 | 1755 169335 570873 | 2147483647 159245 125 | 0.007 % |
111.79/111.99 c | 160403 | 1755 169335 570873 | 2147483647 160403 125 | 0.007 % |
113.20/113.34 c | 161676 | 1755 169335 570873 | 2147483647 161676 124 | 0.006 % |
114.69/114.84 c | 163077 | 1755 169335 570873 | 2147483647 163077 124 | 0.007 % |
116.49/116.63 c | 164618 | 1755 169335 570873 | 2147483647 164618 125 | 0.000 % |
118.59/118.76 c | 166312 | 1755 169335 570873 | 2147483647 166312 125 | 0.000 % |
118.79/118.90 c | 166414 | 1755 169335 570873 | 2147483647 166414 125 | 0.000 % |
118.89/119.05 c | 166524 | 1755 169335 570873 | 2147483647 166524 125 | 0.000 % |
119.09/119.21 c | 166647 | 1755 169335 570873 | 2147483647 166647 125 | 0.000 % |
119.19/119.35 c | 166781 | 1755 169335 570873 | 2147483647 166781 125 | 0.000 % |
119.40/119.55 c | 166927 | 1755 169335 570873 | 2147483647 166927 125 | 0.000 % |
119.60/119.76 c | 167087 | 1755 169335 570873 | 2147483647 167087 125 | 0.005 % |
119.89/120.01 c | 167263 | 1755 169335 570873 | 2147483647 167263 125 | 0.000 % |
120.09/120.26 c | 167458 | 1755 169335 570873 | 2147483647 167458 125 | 0.000 % |
120.39/120.54 c | 167670 | 1755 169335 570873 | 2147483647 167670 125 | 0.007 % |
120.69/120.80 c | 167903 | 1755 169335 570873 | 2147483647 167903 125 | 0.007 % |
120.99/121.13 c | 168159 | 1755 169335 570873 | 2147483647 168159 125 | 0.007 % |
121.29/121.46 c | 168441 | 1755 169335 570873 | 2147483647 168441 125 | 0.007 % |
121.79/121.93 c | 168752 | 1755 169335 570873 | 2147483647 168752 125 | 0.000 % |
122.29/122.41 c | 169092 | 1755 169335 570873 | 2147483647 169092 125 | 0.007 % |
122.69/122.86 c | 169465 | 1755 169335 570873 | 2147483647 169465 125 | 0.000 % |
123.29/123.41 c | 169874 | 1755 169335 570873 | 2147483647 169874 125 | 0.006 % |
123.89/124.00 c | 170323 | 1755 169335 570873 | 2147483647 170323 125 | 0.006 % |
124.39/124.51 c | 170816 | 1755 169335 570873 | 2147483647 170816 124 | 0.006 % |
124.89/125.05 c | 171358 | 1755 169335 570873 | 2147483647 171358 124 | 0.006 % |
125.59/125.74 c | 171956 | 1755 169335 570873 | 2147483647 171956 124 | 0.007 % |
126.29/126.49 c | 172611 | 1755 169335 570873 | 2147483647 172611 124 | 0.006 % |
127.19/127.38 c | 173332 | 1755 169335 570873 | 2147483647 173332 124 | 0.006 % |
128.08/128.26 c | 174124 | 1755 169335 570873 | 2147483647 174124 124 | 0.007 % |
129.28/129.42 c | 174996 | 1755 169335 570873 | 2147483647 174996 124 | 0.007 % |
130.48/130.63 c | 175956 | 1755 169335 570873 | 2147483647 175956 123 | 0.006 % |
131.68/131.90 c | 177012 | 1755 169335 570873 | 2147483647 177012 123 | 0.006 % |
133.49/133.60 c | 178172 | 1755 169335 570873 | 2147483647 178172 124 | 0.000 % |
135.19/135.36 c | 179445 | 1755 169335 570873 | 2147483647 179445 124 | 0.007 % |
137.08/137.26 c | 180845 | 1755 169335 570873 | 2147483647 180845 124 | 0.006 % |
139.08/139.21 c | 182386 | 1755 169335 570873 | 2147483647 182386 123 | 0.006 % |
141.28/141.46 c | 184081 | 1755 169335 570873 | 2147483647 184081 123 | 0.000 % |
143.78/143.98 c | 185945 | 1755 169335 570873 | 2147483647 185945 123 | 0.000 % |
143.99/144.11 c | 186045 | 1755 169335 570873 | 2147483647 186045 123 | 0.005 % |
144.08/144.28 c | 186155 | 1755 169335 570873 | 2147483647 186155 123 | 0.000 % |
144.28/144.46 c | 186277 | 1755 169335 570873 | 2147483647 186277 123 | 0.000 % |
144.48/144.66 c | 186412 | 1755 169335 570873 | 2147483647 186412 123 | 0.000 % |
144.68/144.89 c | 186559 | 1755 169335 570873 | 2147483647 186559 123 | 0.000 % |
144.99/145.12 c | 186722 | 1755 169335 570873 | 2147483647 186722 124 | 0.000 % |
145.18/145.37 c | 186900 | 1755 169335 570873 | 2147483647 186900 124 | 0.000 % |
145.48/145.61 c | 187094 | 1755 169335 570873 | 2147483647 187094 124 | 0.008 % |
145.78/145.95 c | 187306 | 1755 169335 570873 | 2147483647 187306 124 | 0.000 % |
146.08/146.25 c | 187540 | 1755 169335 570873 | 2147483647 187540 124 | 0.008 % |
146.38/146.57 c | 187798 | 1755 169335 570873 | 2147483647 187798 124 | 0.000 % |
146.78/146.98 c | 188080 | 1755 169335 570873 | 2147483647 188080 124 | 0.000 % |
147.18/147.37 c | 188390 | 1755 169335 570873 | 2147483647 188390 124 | 0.000 % |
147.68/147.85 c | 188730 | 1755 169335 570873 | 2147483647 188730 124 | 0.000 % |
148.18/148.35 c | 189102 | 1755 169335 570873 | 2147483647 189102 124 | 0.000 % |
148.78/148.90 c | 189514 | 1755 169335 570873 | 2147483647 189514 124 | 0.000 % |
149.48/149.66 c | 189964 | 1755 169335 570873 | 2147483647 189964 125 | 0.000 % |
150.18/150.34 c | 190458 | 1755 169335 570873 | 2147483647 190458 125 | 0.000 % |
150.77/150.97 c | 191002 | 1755 169335 570873 | 2147483647 191002 125 | 0.000 % |
151.77/151.99 c | 191599 | 1755 169335 570873 | 2147483647 191599 125 | 0.000 % |
152.88/153.04 c | 192255 | 1755 169335 570873 | 2147483647 192255 125 | 0.000 % |
153.78/153.95 c | 192975 | 1755 169335 570873 | 2147483647 192975 125 | 0.007 % |
154.88/155.09 c | 193767 | 1755 169335 570873 | 2147483647 193767 125 | 0.007 % |
156.08/156.27 c | 194639 | 1755 169335 570873 | 2147483647 194639 125 | 0.006 % |
157.37/157.53 c | 195601 | 1755 169335 570873 | 2147483647 195601 125 | 0.000 % |
158.77/158.97 c | 196655 | 1755 169335 570873 | 2147483647 196655 124 | 0.007 % |
160.27/160.43 c | 197813 | 1755 169335 570873 | 2147483647 197813 124 | 0.007 % |
161.87/162.03 c | 199086 | 1755 169335 570873 | 2147483647 199086 124 | 0.000 % |
163.87/164.04 c | 200486 | 1755 169335 570873 | 2147483647 200486 125 | 0.000 % |
166.36/166.53 c | 202027 | 1755 169335 570873 | 2147483647 202027 125 | 0.008 % |
169.18/169.33 c | 203723 | 1755 169335 570873 | 2147483647 203723 126 | 0.000 % |
172.07/172.21 c | 205586 | 1755 169335 570873 | 2147483647 205586 126 | 0.000 % |
175.57/175.72 c | 207640 | 1755 169335 570873 | 2147483647 207640 127 | 0.000 % |
175.77/175.91 c | 207740 | 1755 169335 570873 | 2147483647 207740 127 | 0.000 % |
175.96/176.12 c | 207850 | 1755 169335 570873 | 2147483647 207850 127 | 0.000 % |
176.16/176.32 c | 207971 | 1755 169335 570873 | 2147483647 207971 127 | 0.006 % |
176.36/176.54 c | 208106 | 1755 169335 570873 | 2147483647 208106 127 | 0.000 % |
176.56/176.79 c | 208253 | 1755 169335 570873 | 2147483647 208253 127 | 0.000 % |
176.87/177.08 c | 208414 | 1755 169335 570873 | 2147483647 208414 127 | 0.000 % |
177.16/177.37 c | 208593 | 1755 169335 570873 | 2147483647 208593 127 | 0.007 % |
177.56/177.76 c | 208786 | 1755 169335 570873 | 2147483647 208786 127 | 0.000 % |
177.97/178.10 c | 209001 | 1755 169335 570873 | 2147483647 209001 127 | 0.006 % |
178.36/178.51 c | 209238 | 1755 169335 570873 | 2147483647 209238 127 | 0.000 % |
178.66/178.88 c | 209496 | 1755 169335 570873 | 2147483647 209496 127 | 0.000 % |
179.07/179.20 c | 209778 | 1755 169335 570873 | 2147483647 209778 127 | 0.007 % |
179.46/179.61 c | 210089 | 1755 169335 570873 | 210000 210089 127 | 0.007 % |
180.26/180.46 c | 210428 | 1755 169335 570873 | 210000 184762 127 | 0.000 % |
180.76/180.92 c | 210800 | 1755 169335 570873 | 210000 185134 127 | 0.007 % |
181.36/181.57 c | 211210 | 1755 169335 570873 | 210000 185544 127 | 0.000 % |
182.06/182.29 c | 211659 | 1755 169335 570873 | 210000 185993 127 | 0.008 % |
182.96/183.11 c | 212155 | 1755 169335 570873 | 210000 186489 127 | 0.007 % |
183.66/183.88 c | 212697 | 1755 169335 570873 | 210000 187031 127 | 0.000 % |
184.46/184.64 c | 213296 | 1755 169335 570873 | 210000 187630 127 | 0.007 % |
185.36/185.58 c | 213956 | 1755 169335 570873 | 210000 188290 127 | 0.006 % |
186.46/186.62 c | 214676 | 1755 169335 570873 | 210000 189010 127 | 0.000 % |
187.36/187.58 c | 215468 | 1755 169335 570873 | 210000 189802 127 | 0.000 % |
188.56/188.78 c | 216339 | 1755 169335 570873 | 210000 190673 127 | 0.000 % |
190.06/190.21 c | 217297 | 1755 169335 570873 | 210000 191631 127 | 0.007 % |
191.36/191.58 c | 218350 | 1755 169335 570873 | 210000 192684 126 | 0.007 % |
192.96/193.17 c | 219509 | 1755 169335 570873 | 210000 193843 126 | 0.005 % |
195.85/196.03 c | 220782 | 1755 169335 570873 | 194334 168621 125 | 0.000 % |
197.95/198.14 c | 222183 | 1755 169335 570873 | 194334 170022 125 | 0.000 % |
199.96/200.16 c | 223723 | 1755 169335 570873 | 194334 171562 125 | 0.000 % |
202.16/202.37 c | 225417 | 1755 169335 570873 | 194334 173256 124 | 0.007 % |
204.55/204.70 c | 227281 | 1755 169335 570873 | 194334 175120 124 | 0.007 % |
207.25/207.44 c | 229330 | 1755 169335 570873 | 194334 177169 124 | 0.007 % |
210.55/210.74 c | 231587 | 1755 169335 570873 | 177840 160202 121 | 0.008 % |
210.75/210.91 c | 231688 | 1755 169335 570873 | 177840 160303 122 | 0.000 % |
210.85/211.07 c | 231799 | 1755 169335 570873 | 177840 160414 122 | 0.000 % |
211.05/211.23 c | 231921 | 1755 169335 570873 | 177840 160536 122 | 0.007 % |
211.25/211.42 c | 232054 | 1755 169335 570873 | 177840 160669 122 | 0.000 % |
211.45/211.69 c | 232200 | 1755 169335 570873 | 177840 160815 122 | 0.000 % |
211.75/211.98 c | 232360 | 1755 169335 570873 | 177840 160975 122 | 0.000 % |
211.95/212.16 c | 232538 | 1755 169335 570873 | 177840 161153 122 | 0.007 % |
212.25/212.40 c | 232731 | 1755 169335 570873 | 177840 161346 122 | 0.000 % |
212.55/212.74 c | 232945 | 1755 169335 570873 | 177840 161560 122 | 0.000 % |
212.85/213.04 c | 233179 | 1755 169335 570873 | 177840 161794 122 | 0.000 % |
213.25/213.43 c | 233435 | 1755 169335 570873 | 177840 162050 122 | 0.000 % |
213.64/213.86 c | 233716 | 1755 169335 570873 | 177840 162331 122 | 0.000 % |
214.04/214.24 c | 234025 | 1755 169335 570873 | 177840 162640 122 | 0.005 % |
214.54/214.78 c | 234365 | 1755 169335 570873 | 177840 162980 122 | 0.000 % |
215.04/215.28 c | 234737 | 1755 169335 570873 | 177840 163352 122 | 0.006 % |
215.54/215.79 c | 235146 | 1755 169335 570873 | 177840 163761 122 | 0.000 % |
216.14/216.38 c | 235595 | 1755 169335 570873 | 177840 164210 122 | 0.000 % |
216.84/217.04 c | 236090 | 1755 169335 570873 | 177840 164705 122 | 0.000 % |
217.74/217.93 c | 236632 | 1755 169335 570873 | 177840 165247 123 | 0.000 % |
218.54/218.76 c | 237229 | 1755 169335 570873 | 177840 165844 123 | 0.000 % |
219.44/219.66 c | 237884 | 1755 169335 570873 | 177840 166499 123 | 0.000 % |
220.54/220.74 c | 238604 | 1755 169335 570873 | 177840 167219 123 | 0.000 % |
221.54/221.75 c | 239396 | 1755 169335 570873 | 177840 168011 122 | 0.000 % |
222.84/223.04 c | 240268 | 1755 169335 570873 | 168615 168883 122 | 0.000 % |
224.24/224.47 c | 241227 | 1755 169335 570873 | 168615 150392 122 | 0.006 % |
225.64/225.82 c | 242282 | 1755 169335 570873 | 168615 151447 122 | 0.000 % |
227.04/227.28 c | 243443 | 1755 169335 570873 | 168615 152608 122 | 0.000 % |
228.94/229.14 c | 244720 | 1755 169335 570873 | 168615 153885 121 | 0.007 % |
230.54/230.75 c | 246120 | 1755 169335 570873 | 168615 155285 121 | 0.000 % |
232.64/232.80 c | 247660 | 1755 169335 570873 | 168615 156825 121 | 0.008 % |
235.24/235.43 c | 249355 | 1755 169335 570873 | 168615 158520 121 | 0.000 % |
238.03/238.28 c | 251219 | 1755 169335 570873 | 2147483647 160384 120 | 0.007 % |
241.23/241.42 c | 253268 | 1755 169335 570873 | 2147483647 162433 120 | 0.000 % |
244.23/244.46 c | 255522 | 1755 169335 570873 | 2147483647 164687 119 | 0.007 % |
247.73/247.98 c | 258000 | 1755 169335 570873 | 2147483647 167165 120 | 0.000 % |
248.03/248.20 c | 258100 | 1755 169335 570873 | 2147483647 167265 120 | 0.000 % |
248.13/248.38 c | 258210 | 1755 169335 570873 | 2147483647 167375 120 | 0.000 % |
248.33/248.56 c | 258331 | 1755 169335 570873 | 2147483647 167496 120 | 0.000 % |
248.53/248.72 c | 258464 | 1755 169335 570873 | 2147483647 167629 120 | 0.000 % |
248.73/248.91 c | 258612 | 1755 169335 570873 | 2147483647 167777 120 | 0.000 % |
248.93/249.19 c | 258772 | 1755 169335 570873 | 2147483647 167937 120 | 0.000 % |
249.13/249.40 c | 258948 | 1755 169335 570873 | 2147483647 168113 120 | 0.006 % |
249.53/249.71 c | 259141 | 1755 169335 570873 | 2147483647 168306 120 | 0.006 % |
249.73/249.98 c | 259353 | 1755 169335 570873 | 2147483647 168518 120 | 0.006 % |
250.03/250.29 c | 259589 | 1755 169335 570873 | 2147483647 168754 120 | 0.006 % |
250.53/250.72 c | 259845 | 1755 169335 570873 | 2147483647 169010 120 | 0.000 % |
250.83/251.07 c | 260126 | 1755 169335 570873 | 169165 169291 121 | 0.000 % |
251.53/251.71 c | 260435 | 1755 169335 570873 | 169165 151304 118 | 0.000 % |
252.03/252.21 c | 260775 | 1755 169335 570873 | 169165 151644 118 | 0.006 % |
252.53/252.77 c | 261147 | 1755 169335 570873 | 169165 152016 118 | 0.000 % |
253.03/253.27 c | 261557 | 1755 169335 570873 | 169165 152426 118 | 0.007 % |
253.72/253.90 c | 262007 | 1755 169335 570873 | 169165 152876 118 | 0.000 % |
254.32/254.51 c | 262500 | 1755 169335 570873 | 169165 153369 118 | 0.000 % |
254.93/255.15 c | 263042 | 1755 169335 570873 | 169165 153911 119 | 0.000 % |
255.72/255.97 c | 263638 | 1755 169335 570873 | 169165 154507 119 | 0.000 % |
256.62/256.85 c | 264294 | 1755 169335 570873 | 169165 155163 119 | 0.000 % |
257.42/257.64 c | 265018 | 1755 169335 570873 | 169165 155887 119 | 0.000 % |
258.42/258.66 c | 265810 | 1755 169335 570873 | 169165 156679 120 | 0.000 % |
259.52/259.77 c | 266681 | 1755 169335 570873 | 169165 157550 120 | 0.000 % |
260.62/260.82 c | 267639 | 1755 169335 570873 | 169165 158508 120 | 0.006 % |
262.02/262.24 c | 268692 | 1755 169335 570873 | 169165 159561 120 | 0.007 % |
263.52/263.76 c | 269850 | 1755 169335 570873 | 169165 160719 120 | 0.006 % |
265.22/265.43 c | 271123 | 1755 169335 570873 | 2147483647 161992 120 | 0.007 % |
267.12/267.33 c | 272523 | 1755 169335 570873 | 2147483647 163392 120 | 0.000 % |
269.32/269.54 c | 274066 | 1755 169335 570873 | 2147483647 164935 121 | 0.000 % |
271.72/271.98 c | 275760 | 1755 169335 570873 | 2147483647 166629 121 | 0.000 % |
274.41/274.69 c | 277624 | 1755 169335 570873 | 2147483647 168493 122 | 0.000 % |
276.82/277.07 c | 279673 | 1755 169335 570873 | 2147483647 170542 122 | 0.000 % |
280.61/280.85 c | 281926 | 1755 169335 570873 | 170869 154668 121 | 0.006 % |
284.11/284.35 c | 284406 | 1755 169335 570873 | 170869 157148 121 | 0.006 % |
287.91/288.14 c | 287133 | 1755 169335 570873 | 170869 159875 120 | 0.005 % |
288.01/288.29 c | 287235 | 1755 169335 570873 | 170869 159977 120 | 0.006 % |
288.21/288.43 c | 287345 | 1755 169335 570873 | 170869 160087 120 | 0.005 % |
288.31/288.58 c | 287466 | 1755 169335 570873 | 170869 160208 120 | 0.007 % |
288.51/288.77 c | 287600 | 1755 169335 570873 | 170869 160342 120 | 0.000 % |
288.81/289.00 c | 287748 | 1755 169335 570873 | 170869 160490 120 | 0.005 % |
289.01/289.25 c | 287909 | 1755 169335 570873 | 170869 160651 120 | 0.006 % |
289.21/289.47 c | 288085 | 1755 169335 570873 | 170869 160827 120 | 0.006 % |
289.61/289.80 c | 288278 | 1755 169335 570873 | 170869 161020 120 | 0.000 % |
289.91/290.11 c | 288490 | 1755 169335 570873 | 170869 161232 120 | 0.005 % |
290.21/290.41 c | 288725 | 1755 169335 570873 | 170869 161467 120 | 0.000 % |
290.51/290.77 c | 288982 | 1755 169335 570873 | 170869 161724 120 | 0.000 % |
291.01/291.25 c | 289264 | 1755 169335 570873 | 170869 162006 121 | 0.000 % |
291.41/291.64 c | 289575 | 1755 169335 570873 | 170869 162317 121 | 0.000 % |
292.01/292.24 c | 289914 | 1755 169335 570873 | 170869 162656 121 | 0.000 % |
292.61/292.82 c | 290286 | 1755 169335 570873 | 2147483647 163028 121 | 0.008 % |
293.11/293.36 c | 290697 | 1755 169335 570873 | 2147483647 163439 121 | 0.006 % |
293.61/293.89 c | 291147 | 1755 169335 570873 | 2147483647 163889 121 | 0.006 % |
294.31/294.53 c | 291640 | 1755 169335 570873 | 2147483647 164382 120 | 0.007 % |
295.01/295.21 c | 292182 | 1755 169335 570873 | 2147483647 164924 120 | 0.000 % |
295.81/296.09 c | 292778 | 1755 169335 570873 | 2147483647 165520 120 | 0.005 % |
296.71/296.94 c | 293434 | 1755 169335 570873 | 2147483647 166176 120 | 0.007 % |
297.61/297.86 c | 294154 | 1755 169335 570873 | 2147483647 166896 120 | 0.007 % |
298.61/298.86 c | 294946 | 1755 169335 570873 | 2147483647 167688 120 | 0.007 % |
299.80/300.03 c | 295817 | 1755 169335 570873 | 2147483647 168559 120 | 0.006 % |
301.11/301.38 c | 296776 | 1755 169335 570873 | 2147483647 169518 120 | 0.000 % |
302.40/302.67 c | 297829 | 1755 169335 570873 | 2147483647 170571 120 | 0.007 % |
303.80/304.09 c | 298987 | 1755 169335 570873 | 2147483647 171729 120 | 0.007 % |
305.50/305.71 c | 300264 | 1755 169335 570873 | 172742 173006 119 | 0.006 % |
307.60/307.84 c | 301665 | 1755 169335 570873 | 172742 152680 117 | 0.007 % |
309.60/309.88 c | 303205 | 1755 169335 570873 | 172742 154220 116 | 0.007 % |
312.01/312.20 c | 304901 | 1755 169335 570873 | 172742 155916 116 | 0.007 % |
314.21/314.48 c | 306766 | 1755 169335 570873 | 172742 157781 116 | 0.006 % |
317.01/317.27 c | 308815 | 1755 169335 570873 | 172742 159830 116 | 0.007 % |
319.70/319.93 c | 311068 | 1755 169335 570873 | 161015 162083 115 | 0.007 % |
323.90/324.13 c | 313547 | 1755 169335 570873 | 161015 147132 116 | 0.000 % |
327.40/327.66 c | 316273 | 1755 169335 570873 | 161015 149858 118 | 0.000 % |
332.00/332.27 c | 319270 | 1755 169335 570873 | 161015 152855 118 | 0.000 % |
332.20/332.43 c | 319370 | 1755 169335 570873 | 161015 152955 118 | 0.008 % |
332.40/332.60 c | 319483 | 1755 169335 570873 | 161015 153068 118 | 0.007 % |
332.50/332.79 c | 319605 | 1755 169335 570873 | 161015 153190 118 | 0.000 % |
332.80/333.00 c | 319739 | 1755 169335 570873 | 161015 153324 118 | 0.008 % |
333.00/333.21 c | 319885 | 1755 169335 570873 | 161015 153470 118 | 0.000 % |
333.20/333.44 c | 320048 | 1755 169335 570873 | 2147483647 153633 118 | 0.000 % |
333.50/333.72 c | 320224 | 1755 169335 570873 | 2147483647 153809 118 | 0.000 % |
333.70/333.99 c | 320417 | 1755 169335 570873 | 2147483647 154002 118 | 0.000 % |
334.10/334.33 c | 320631 | 1755 169335 570873 | 2147483647 154216 118 | 0.006 % |
334.40/334.66 c | 320866 | 1755 169335 570873 | 2147483647 154451 118 | 0.007 % |
334.80/335.02 c | 321122 | 1755 169335 570873 | 2147483647 154707 118 | 0.007 % |
335.10/335.35 c | 321409 | 1755 169335 570873 | 2147483647 154994 118 | 0.000 % |
335.50/335.77 c | 321720 | 1755 169335 570873 | 2147483647 155305 118 | 0.000 % |
335.90/336.18 c | 322059 | 1755 169335 570873 | 2147483647 155644 118 | 0.006 % |
336.60/336.81 c | 322432 | 1755 169335 570873 | 2147483647 156017 118 | 0.000 % |
337.10/337.32 c | 322843 | 1755 169335 570873 | 2147483647 156428 118 | 0.005 % |
337.60/337.86 c | 323292 | 1755 169335 570873 | 2147483647 156877 118 | 0.007 % |
338.30/338.58 c | 323785 | 1755 169335 570873 | 2147483647 157370 118 | 0.006 % |
339.09/339.32 c | 324327 | 1755 169335 570873 | 2147483647 157912 118 | 0.000 % |
339.79/340.05 c | 324925 | 1755 169335 570873 | 2147483647 158510 118 | 0.008 % |
340.89/341.14 c | 325584 | 1755 169335 570873 | 2147483647 159169 118 | 0.007 % |
341.99/342.22 c | 326306 | 1755 169335 570873 | 2147483647 159891 119 | 0.000 % |
343.00/343.23 c | 327099 | 1755 169335 570873 | 2147483647 160684 119 | 0.000 % |
344.10/344.31 c | 327970 | 1755 169335 570873 | 2147483647 161555 119 | 0.000 % |
345.20/345.47 c | 328931 | 1755 169335 570873 | 2147483647 162516 119 | 0.000 % |
346.59/346.88 c | 329984 | 1755 169335 570873 | 2147483647 163569 119 | 0.005 % |
348.40/348.66 c | 331142 | 1755 169335 570873 | 163585 146381 114 | 0.000 % |
349.89/350.10 c | 332417 | 1755 169335 570873 | 163585 147656 114 | 0.006 % |
351.79/352.03 c | 333817 | 1755 169335 570873 | 163585 149056 114 | 0.000 % |
353.79/354.02 c | 335358 | 1755 169335 570873 | 163585 150597 114 | 0.000 % |
355.89/356.13 c | 337053 | 1755 169335 570873 | 163585 152292 114 | 0.008 % |
358.59/358.84 c | 338917 | 1755 169335 570873 | 163585 154156 115 | 0.000 % |
361.49/361.72 c | 340966 | 1755 169335 570873 | 155240 156205 117 | 0.000 % |
364.38/364.65 c | 343219 | 1755 169335 570873 | 155240 142838 116 | 0.000 % |
367.98/368.29 c | 345698 | 1755 169335 570873 | 155240 145317 117 | 0.000 % |
371.78/372.09 c | 348423 | 1755 169335 570873 | 155240 148042 117 | 0.000 % |
375.98/376.26 c | 351420 | 1755 169335 570873 | 2147483647 151039 117 | 0.006 % |
380.68/380.93 c | 354717 | 1755 169335 570873 | 2147483647 154336 116 | 0.006 % |
380.78/381.05 c | 354817 | 1755 169335 570873 | 2147483647 154436 116 | 0.006 % |
380.98/381.20 c | 354928 | 1755 169335 570873 | 2147483647 154547 116 | 0.008 % |
381.08/381.35 c | 355050 | 1755 169335 570873 | 2147483647 154669 116 | 0.000 % |
381.38/381.61 c | 355183 | 1755 169335 570873 | 2147483647 154802 116 | 0.000 % |
381.58/381.84 c | 355329 | 1755 169335 570873 | 2147483647 154948 116 | 0.007 % |
381.78/382.05 c | 355491 | 1755 169335 570873 | 2147483647 155110 116 | 0.005 % |
382.08/382.32 c | 355668 | 1755 169335 570873 | 2147483647 155287 116 | 0.005 % |
382.38/382.60 c | 355862 | 1755 169335 570873 | 2147483647 155481 116 | 0.000 % |
382.58/382.87 c | 356074 | 1755 169335 570873 | 2147483647 155693 116 | 0.000 % |
383.07/383.32 c | 356307 | 1755 169335 570873 | 2147483647 155926 116 | 0.000 % |
383.58/383.83 c | 356563 | 1755 169335 570873 | 2147483647 156182 116 | 0.000 % |
383.97/384.24 c | 356845 | 1755 169335 570873 | 2147483647 156464 116 | 0.000 % |
384.37/384.65 c | 357154 | 1755 169335 570873 | 2147483647 156773 117 | 0.000 % |
384.87/385.13 c | 357494 | 1755 169335 570873 | 2147483647 157113 117 | 0.007 % |
385.27/385.59 c | 357866 | 1755 169335 570873 | 2147483647 157485 117 | 0.007 % |
385.97/386.20 c | 358277 | 1755 169335 570873 | 2147483647 157896 117 | 0.007 % |
386.67/386.95 c | 358727 | 1755 169335 570873 | 2147483647 158346 117 | 0.000 % |
387.37/387.67 c | 359220 | 1755 169335 570873 | 2147483647 158839 117 | 0.000 % |
388.17/388.40 c | 359762 | 1755 169335 570873 | 2147483647 159381 117 | 0.005 % |
388.87/389.17 c | 360360 | 1755 169335 570873 | 159619 159979 117 | 0.006 % |
389.97/390.27 c | 361015 | 1755 169335 570873 | 159619 144497 116 | 0.000 % |
391.27/391.57 c | 361735 | 1755 169335 570873 | 159619 145217 116 | 0.000 % |
392.27/392.60 c | 362528 | 1755 169335 570873 | 159619 146010 117 | 0.000 % |
393.67/393.99 c | 363402 | 1755 169335 570873 | 159619 146884 117 | 0.000 % |
394.97/395.29 c | 364360 | 1755 169335 570873 | 159619 147842 117 | 0.000 % |
396.37/396.68 c | 365414 | 1755 169335 570873 | 159619 148896 118 | 0.000 % |
398.07/398.31 c | 366573 | 1755 169335 570873 | 159619 150055 118 | 0.007 % |
400.37/400.68 c | 367847 | 1755 169335 570873 | 159619 151329 119 | 0.000 % |
402.47/402.72 c | 369247 | 1755 169335 570873 | 159619 152729 120 | 0.000 % |
404.47/404.76 c | 370788 | 1755 169335 570873 | 2147483647 154270 120 | 0.006 % |
406.86/407.12 c | 372485 | 1755 169335 570873 | 2147483647 155967 120 | 0.006 % |
409.36/409.61 c | 374348 | 1755 169335 570873 | 2147483647 157830 120 | 0.006 % |
412.36/412.69 c | 376398 | 1755 169335 570873 | 2147483647 159880 120 | 0.006 % |
415.76/416.07 c | 378653 | 1755 169335 570873 | 2147483647 162135 120 | 0.006 % |
419.46/419.74 c | 381132 | 1755 169335 570873 | 163483 164614 120 | 0.000 % |
423.86/424.16 c | 383857 | 1755 169335 570873 | 163483 145335 118 | 0.006 % |
428.45/428.77 c | 386854 | 1755 169335 570873 | 163483 148332 117 | 0.000 % |
433.55/433.89 c | 390150 | 1755 169335 570873 | 151478 151628 117 | 0.000 % |
438.95/439.24 c | 393777 | 1755 169335 570873 | 151478 129288 113 | 0.007 % |
439.15/439.40 c | 393877 | 1755 169335 570873 | 151478 129388 113 | 0.007 % |
439.25/439.55 c | 393990 | 1755 169335 570873 | 151478 129501 113 | 0.006 % |
439.45/439.70 c | 394111 | 1755 169335 570873 | 151478 129622 113 | 0.007 % |
439.55/439.86 c | 394245 | 1755 169335 570873 | 151478 129756 113 | 0.007 % |
439.75/440.05 c | 394393 | 1755 169335 570873 | 151478 129904 113 | 0.007 % |
439.95/440.23 c | 394553 | 1755 169335 570873 | 151478 130064 113 | 0.005 % |
440.25/440.53 c | 394732 | 1755 169335 570873 | 151478 130243 113 | 0.000 % |
440.45/440.77 c | 394927 | 1755 169335 570873 | 151478 130438 113 | 0.007 % |
440.75/441.04 c | 395139 | 1755 169335 570873 | 151478 130650 113 | 0.000 % |
441.05/441.33 c | 395372 | 1755 169335 570873 | 151478 130883 113 | 0.000 % |
441.35/441.64 c | 395628 | 1755 169335 570873 | 151478 131139 113 | 0.007 % |
441.65/441.93 c | 395909 | 1755 169335 570873 | 151478 131420 113 | 0.007 % |
442.05/442.39 c | 396219 | 1755 169335 570873 | 151478 131730 113 | 0.007 % |
442.55/442.80 c | 396558 | 1755 169335 570873 | 151478 132069 113 | 0.007 % |
443.15/443.41 c | 396930 | 1755 169335 570873 | 151478 132441 114 | 0.000 % |
443.65/443.99 c | 397339 | 1755 169335 570873 | 151478 132850 114 | 0.000 % |
444.25/444.54 c | 397788 | 1755 169335 570873 | 151478 133299 114 | 0.005 % |
444.75/445.05 c | 398281 | 1755 169335 570873 | 151478 133792 114 | 0.007 % |
445.44/445.70 c | 398824 | 1755 169335 570873 | 151478 134335 114 | 0.007 % |
446.04/446.33 c | 399421 | 1755 169335 570873 | 151478 134932 113 | 0.000 % |
446.84/447.14 c | 400076 | 1755 169335 570873 | 135514 135587 113 | 0.006 % |
447.94/448.21 c | 400796 | 1755 169335 570873 | 135514 119209 115 | 0.000 % |
448.94/449.25 c | 401588 | 1755 169335 570873 | 135514 120001 116 | 0.005 % |
450.04/450.32 c | 402462 | 1755 169335 570873 | 135514 120875 116 | 0.000 % |
451.24/451.53 c | 403420 | 1755 169335 570873 | 135514 121833 116 | 0.007 % |
452.44/452.76 c | 404473 | 1755 169335 570873 | 135514 122886 116 | 0.000 % |
453.95/454.21 c | 405632 | 1755 169335 570873 | 135514 124045 116 | 0.005 % |
455.54/455.80 c | 406905 | 1755 169335 570873 | 135514 125318 116 | 0.008 % |
457.34/457.67 c | 408305 | 1755 169335 570873 | 135514 126718 116 | 0.007 % |
459.44/459.78 c | 409845 | 1755 169335 570873 | 135514 128258 116 | 0.007 % |
461.64/461.97 c | 411540 | 1755 169335 570873 | 2147483647 129953 115 | 0.007 % |
464.24/464.54 c | 413403 | 1755 169335 570873 | 2147483647 131816 117 | 0.000 % |
467.04/467.31 c | 415452 | 1755 169335 570873 | 2147483647 133865 118 | 0.006 % |
470.24/470.53 c | 417706 | 1755 169335 570873 | 2147483647 136119 118 | 0.000 % |
473.63/473.99 c | 420184 | 1755 169335 570873 | 2147483647 138597 118 | 0.000 % |
477.23/477.55 c | 422910 | 1755 169335 570873 | 2147483647 141323 117 | 0.006 % |
481.44/481.77 c | 425907 | 1755 169335 570873 | 2147483647 144320 117 | 0.006 % |
485.83/486.17 c | 429204 | 1755 169335 570873 | 2147483647 147617 116 | 0.007 % |
490.83/491.17 c | 432830 | 1755 169335 570873 | 148413 134661 114 | 0.006 % |
496.22/496.58 c | 436820 | 1755 169335 570873 | 148413 138651 113 | 0.000 % |
496.42/496.71 c | 436921 | 1755 169335 570873 | 148413 138752 113 | 0.006 % |
496.52/496.85 c | 437031 | 1755 169335 570873 | 148413 138862 113 | 0.006 % |
496.83/497.13 c | 437152 | 1755 169335 570873 | 148413 138983 113 | 0.000 % |
497.02/497.31 c | 437285 | 1755 169335 570873 | 148413 139116 113 | 0.000 % |
497.22/497.53 c | 437434 | 1755 169335 570873 | 148413 139265 113 | 0.006 % |
497.42/497.77 c | 437595 | 1755 169335 570873 | 148413 139426 113 | 0.000 % |
497.72/498.05 c | 437771 | 1755 169335 570873 | 148413 139602 113 | 0.000 % |
498.03/498.38 c | 437967 | 1755 169335 570873 | 148413 139798 113 | 0.007 % |
498.32/498.68 c | 438179 | 1755 169335 570873 | 148413 140010 113 | 0.000 % |
498.72/499.06 c | 438412 | 1755 169335 570873 | 148413 140243 113 | 0.007 % |
499.12/499.40 c | 438668 | 1755 169335 570873 | 148413 140499 113 | 0.000 % |
499.42/499.77 c | 438949 | 1755 169335 570873 | 148413 140780 113 | 0.000 % |
499.92/500.21 c | 439261 | 1755 169335 570873 | 148413 141092 113 | 0.000 % |
500.32/500.69 c | 439600 | 1755 169335 570873 | 148413 141431 113 | 0.006 % |
500.82/501.12 c | 439973 | 1755 169335 570873 | 148413 141804 113 | 0.006 % |
501.32/501.68 c | 440384 | 1755 169335 570873 | 141831 142215 113 | 0.006 % |
502.02/502.30 c | 440833 | 1755 169335 570873 | 141831 127465 112 | 0.006 % |
502.62/502.92 c | 441326 | 1755 169335 570873 | 141831 127958 111 | 0.007 % |
503.22/503.58 c | 441868 | 1755 169335 570873 | 141831 128500 111 | 0.007 % |
504.12/504.42 c | 442465 | 1755 169335 570873 | 141831 129097 111 | 0.004 % |
504.92/505.27 c | 443121 | 1755 169335 570873 | 141831 129753 111 | 0.000 % |
505.72/506.05 c | 443842 | 1755 169335 570873 | 141831 130474 111 | 0.007 % |
506.72/507.01 c | 444635 | 1755 169335 570873 | 141831 131267 111 | 0.000 % |
507.82/508.14 c | 445506 | 1755 169335 570873 | 141831 132138 111 | 0.007 % |
509.11/509.47 c | 446466 | 1755 169335 570873 | 141831 133098 112 | 0.000 % |
510.51/510.82 c | 447520 | 1755 169335 570873 | 141831 134152 112 | 0.000 % |
512.11/512.43 c | 448678 | 1755 169335 570873 | 141831 135310 113 | 0.000 % |
513.91/514.21 c | 449953 | 1755 169335 570873 | 141831 136585 114 | 0.000 % |
515.81/516.11 c | 451353 | 1755 169335 570873 | 2147483647 137985 114 | 0.000 % |
517.91/518.27 c | 452896 | 1755 169335 570873 | 2147483647 139528 115 | 0.000 % |
520.11/520.40 c | 454590 | 1755 169335 570873 | 2147483647 141222 115 | 0.007 % |
522.91/523.26 c | 456453 | 1755 169335 570873 | 2147483647 143085 116 | 0.000 % |
526.11/526.49 c | 458502 | 1755 169335 570873 | 2147483647 145134 117 | 0.000 % |
529.71/530.04 c | 460759 | 1755 169335 570873 | 2147483647 147391 119 | 0.000 % |
533.41/533.76 c | 463237 | 1755 169335 570873 | 2147483647 149869 119 | 0.000 % |
537.00/537.34 c | 465963 | 1755 169335 570873 | 2147483647 152595 120 | 0.000 % |
541.40/541.73 c | 468961 | 1755 169335 570873 | 2147483647 155593 120 | 0.000 % |
546.70/547.03 c | 472258 | 1755 169335 570873 | 156635 138727 117 | 0.007 % |
552.00/552.31 c | 475884 | 1755 169335 570873 | 156635 142353 117 | 0.000 % |
557.40/557.75 c | 479871 | 1755 169335 570873 | 156635 146340 117 | 0.007 % |
564.00/564.38 c | 484256 | 1755 169335 570873 | 146469 130172 109 | 0.006 % |
564.19/564.58 c | 484356 | 1755 169335 570873 | 146469 130272 109 | 0.006 % |
564.39/564.74 c | 484466 | 1755 169335 570873 | 146469 130382 109 | 0.006 % |
564.59/564.94 c | 484589 | 1755 169335 570873 | 146469 130505 109 | 0.000 % |
564.79/565.12 c | 484723 | 1755 169335 570873 | 146469 130639 109 | 0.000 % |
565.00/565.37 c | 484869 | 1755 169335 570873 | 146469 130785 109 | 0.007 % |
565.19/565.56 c | 485029 | 1755 169335 570873 | 146469 130945 109 | 0.000 % |
565.49/565.83 c | 485205 | 1755 169335 570873 | 146469 131121 109 | 0.000 % |
565.69/566.06 c | 485399 | 1755 169335 570873 | 146469 131315 109 | 0.000 % |
565.89/566.28 c | 485611 | 1755 169335 570873 | 146469 131527 109 | 0.007 % |
566.29/566.61 c | 485846 | 1755 169335 570873 | 146469 131762 109 | 0.008 % |
566.59/566.96 c | 486102 | 1755 169335 570873 | 146469 132018 109 | 0.005 % |
566.89/567.26 c | 486383 | 1755 169335 570873 | 146469 132299 109 | 0.007 % |
567.29/567.62 c | 486692 | 1755 169335 570873 | 146469 132608 109 | 0.007 % |
567.69/568.09 c | 487031 | 1755 169335 570873 | 146469 132947 109 | 0.007 % |
568.39/568.76 c | 487404 | 1755 169335 570873 | 146469 133320 110 | 0.000 % |
568.99/569.33 c | 487816 | 1755 169335 570873 | 146469 133732 110 | 0.000 % |
569.59/569.91 c | 488266 | 1755 169335 570873 | 146469 134182 110 | 0.000 % |
570.09/570.46 c | 488759 | 1755 169335 570873 | 146469 134675 110 | 0.008 % |
570.69/571.08 c | 489301 | 1755 169335 570873 | 146469 135217 110 | 0.008 % |
571.39/571.76 c | 489899 | 1755 169335 570873 | 146469 135815 110 | 0.005 % |
572.19/572.51 c | 490555 | 1755 169335 570873 | 2147483647 136471 110 | 0.005 % |
573.29/573.61 c | 491275 | 1755 169335 570873 | 2147483647 137191 110 | 0.000 % |
574.29/574.61 c | 492067 | 1755 169335 570873 | 2147483647 137983 110 | 0.000 % |
575.59/575.91 c | 492938 | 1755 169335 570873 | 2147483647 138854 111 | 0.000 % |
577.09/577.43 c | 493898 | 1755 169335 570873 | 2147483647 139814 111 | 0.000 % |
578.39/578.73 c | 494951 | 1755 169335 570873 | 2147483647 140867 112 | 0.000 % |
579.99/580.30 c | 496109 | 1755 169335 570873 | 2147483647 142025 112 | 0.000 % |
581.69/582.05 c | 497382 | 1755 169335 570873 | 2147483647 143298 112 | 0.000 % |
583.69/584.04 c | 498782 | 1755 169335 570873 | 2147483647 144698 112 | 0.000 % |
585.89/586.22 c | 500322 | 1755 169335 570873 | 2147483647 146238 112 | 0.000 % |
588.18/588.59 c | 502017 | 1755 169335 570873 | 2147483647 147933 111 | 0.005 % |
591.38/591.74 c | 503880 | 1755 169335 570873 | 2147483647 149796 113 | 0.000 % |
594.38/594.76 c | 505929 | 1755 169335 570873 | 2147483647 151845 113 | 0.000 % |
597.38/597.72 c | 508183 | 1755 169335 570873 | 2147483647 154099 114 | 0.000 % |
600.88/601.30 c | 510661 | 1755 169335 570873 | 2147483647 156577 114 | 0.008 % |
604.37/604.77 c | 513387 | 1755 169335 570873 | 2147483647 159303 114 | 0.007 % |
608.87/609.27 c | 516384 | 1755 169335 570873 | 2147483647 162300 113 | 0.007 % |
613.37/613.75 c | 519681 | 1755 169335 570873 | 2147483647 165597 113 | 0.008 % |
618.77/619.15 c | 523306 | 1755 169335 570873 | 165919 146122 112 | 0.008 % |
623.47/623.85 c | 527293 | 1755 169335 570873 | 165919 150109 111 | 0.006 % |
629.56/629.98 c | 531678 | 1755 169335 570873 | 152823 132824 107 | 0.007 % |
636.06/636.49 c | 536501 | 1755 169335 570873 | 152823 137647 106 | 0.007 % |
636.36/636.71 c | 536602 | 1755 169335 570873 | 152823 137748 106 | 0.000 % |
636.47/636.89 c | 536713 | 1755 169335 570873 | 152823 137859 106 | 0.000 % |
636.66/637.06 c | 536838 | 1755 169335 570873 | 152823 137984 106 | 0.000 % |
636.86/637.23 c | 536971 | 1755 169335 570873 | 152823 138117 106 | 0.000 % |
637.06/637.45 c | 537118 | 1755 169335 570873 | 152823 138264 107 | 0.007 % |
637.36/637.70 c | 537278 | 1755 169335 570873 | 152823 138424 107 | 0.008 % |
637.46/637.89 c | 537455 | 1755 169335 570873 | 152823 138601 107 | 0.000 % |
637.76/638.13 c | 537648 | 1755 169335 570873 | 152823 138794 107 | 0.007 % |
638.06/638.43 c | 537860 | 1755 169335 570873 | 152823 139006 107 | 0.007 % |
638.26/638.67 c | 538093 | 1755 169335 570873 | 152823 139239 107 | 0.007 % |
638.67/639.06 c | 538352 | 1755 169335 570873 | 152823 139498 107 | 0.000 % |
639.06/639.42 c | 538633 | 1755 169335 570873 | 152823 139779 107 | 0.000 % |
639.46/639.82 c | 538943 | 1755 169335 570873 | 152823 140089 107 | 0.008 % |
639.86/640.26 c | 539283 | 1755 169335 570873 | 152823 140429 107 | 0.000 % |
640.36/640.78 c | 539655 | 1755 169335 570873 | 152823 140801 107 | 0.000 % |
640.86/641.30 c | 540065 | 1755 169335 570873 | 141148 141211 107 | 0.007 % |
641.66/642.09 c | 540516 | 1755 169335 570873 | 141148 122525 109 | 0.000 % |
642.36/642.74 c | 541011 | 1755 169335 570873 | 141148 123020 110 | 0.000 % |
643.06/643.40 c | 541553 | 1755 169335 570873 | 141148 123562 110 | 0.000 % |
643.76/644.16 c | 542149 | 1755 169335 570873 | 141148 124158 110 | 0.000 % |
644.56/644.97 c | 542804 | 1755 169335 570873 | 141148 124813 111 | 0.000 % |
645.56/645.92 c | 543524 | 1755 169335 570873 | 141148 125533 111 | 0.000 % |
646.46/646.85 c | 544316 | 1755 169335 570873 | 141148 126325 112 | 0.000 % |
647.46/647.85 c | 545187 | 1755 169335 570873 | 141148 127196 112 | 0.007 % |
648.56/648.99 c | 546145 | 1755 169335 570873 | 141148 128154 112 | 0.000 % |
650.05/650.46 c | 547199 | 1755 169335 570873 | 141148 129208 113 | 0.000 % |
651.65/652.02 c | 548357 | 1755 169335 570873 | 141148 130366 113 | 0.000 % |
653.15/653.51 c | 549631 | 1755 169335 570873 | 141148 131640 113 | 0.000 % |
654.85/655.25 c | 551033 | 1755 169335 570873 | 132010 133042 113 | 0.006 % |
657.36/657.71 c | 552573 | 1755 169335 570873 | 132010 121278 111 | 0.000 % |
659.75/660.11 c | 554267 | 1755 169335 570873 | 132010 122972 113 | 0.000 % |
661.95/662.32 c | 556130 | 1755 169335 570873 | 132010 124835 113 | 0.006 % |
664.65/665.07 c | 558179 | 1755 169335 570873 | 132010 126884 113 | 0.000 % |
667.55/667.90 c | 560433 | 1755 169335 570873 | 2147483647 129138 113 | 0.007 % |
670.55/671.00 c | 562911 | 1755 169335 570873 | 2147483647 131616 112 | 0.007 % |
673.65/674.04 c | 565639 | 1755 169335 570873 | 2147483647 134344 112 | 0.006 % |
677.95/678.37 c | 568637 | 1755 169335 570873 | 2147483647 137342 111 | 0.000 % |
682.35/682.78 c | 571935 | 1755 169335 570873 | 2147483647 140640 111 | 0.008 % |
687.35/687.70 c | 575561 | 1755 169335 570873 | 2147483647 144266 111 | 0.007 % |
693.55/693.97 c | 579551 | 1755 169335 570873 | 2147483647 148256 113 | 0.000 % |
700.44/700.84 c | 583939 | 1755 169335 570873 | 2147483647 152644 116 | 0.000 % |
708.54/708.90 c | 588765 | 1755 169335 570873 | 2147483647 157470 118 | 0.000 % |
717.94/718.32 c | 594070 | 1755 169335 570873 | 158707 144530 114 | 0.000 % |
718.14/718.55 c | 594171 | 1755 169335 570873 | 158707 144631 114 | 0.000 % |
718.34/718.79 c | 594281 | 1755 169335 570873 | 158707 144741 114 | 0.000 % |
718.54/718.98 c | 594403 | 1755 169335 570873 | 158707 144863 114 | 0.000 % |
718.84/719.25 c | 594539 | 1755 169335 570873 | 158707 144999 114 | 0.007 % |
719.04/719.49 c | 594685 | 1755 169335 570873 | 158707 145145 114 | 0.000 % |
719.34/719.71 c | 594845 | 1755 169335 570873 | 158707 145305 114 | 0.000 % |
719.54/719.95 c | 595021 | 1755 169335 570873 | 158707 145481 114 | 0.000 % |
719.94/720.32 c | 595214 | 1755 169335 570873 | 158707 145674 115 | 0.000 % |
720.24/720.66 c | 595426 | 1755 169335 570873 | 158707 145886 115 | 0.007 % |
720.64/721.02 c | 595659 | 1755 169335 570873 | 158707 146119 115 | 0.000 % |
721.04/721.43 c | 595916 | 1755 169335 570873 | 158707 146376 115 | 0.000 % |
721.43/721.89 c | 596198 | 1755 169335 570873 | 158707 146658 115 | 0.000 % |
722.03/722.41 c | 596508 | 1755 169335 570873 | 158707 146968 115 | 0.007 % |
722.53/722.97 c | 596847 | 1755 169335 570873 | 158707 147307 115 | 0.000 % |
723.03/723.43 c | 597219 | 1755 169335 570873 | 158707 147679 115 | 0.000 % |
723.63/724.00 c | 597630 | 1755 169335 570873 | 158707 148090 115 | 0.000 % |
724.13/724.54 c | 598080 | 1755 169335 570873 | 158707 148540 115 | 0.000 % |
724.83/725.29 c | 598573 | 1755 169335 570873 | 158707 149033 115 | 0.000 % |
725.73/726.13 c | 599116 | 1755 169335 570873 | 158707 149576 116 | 0.000 % |
726.53/726.96 c | 599714 | 1755 169335 570873 | 158707 150174 116 | 0.008 % |
727.43/727.81 c | 600369 | 1755 169335 570873 | 150460 150829 116 | 0.007 % |
728.63/729.09 c | 601091 | 1755 169335 570873 | 150460 135633 115 | 0.000 % |
730.03/730.49 c | 601884 | 1755 169335 570873 | 150460 136426 115 | 0.000 % |
731.33/731.77 c | 602756 | 1755 169335 570873 | 150460 137298 115 | 0.000 % |
732.63/733.09 c | 603717 | 1755 169335 570873 | 150460 138259 116 | 0.000 % |
734.03/734.41 c | 604770 | 1755 169335 570873 | 150460 139312 116 | 0.000 % |
735.43/735.82 c | 605928 | 1755 169335 570873 | 150460 140470 116 | 0.000 % |
737.23/737.67 c | 607201 | 1755 169335 570873 | 150460 141743 116 | 0.007 % |
739.42/739.84 c | 608602 | 1755 169335 570873 | 150460 143144 116 | 0.000 % |
741.52/741.97 c | 610143 | 1755 169335 570873 | 144542 144685 116 | 0.007 % |
744.33/744.70 c | 611839 | 1755 169335 570873 | 144542 129042 115 | 0.007 % |
746.72/747.10 c | 613704 | 1755 169335 570873 | 144542 130907 115 | 0.007 % |
749.52/749.98 c | 615754 | 1755 169335 570873 | 144542 132957 115 | 0.000 % |
752.52/752.92 c | 618008 | 1755 169335 570873 | 144542 135211 115 | 0.006 % |
756.42/756.81 c | 620486 | 1755 169335 570873 | 137204 137689 117 | 0.000 % |
760.42/760.87 c | 623212 | 1755 169335 570873 | 137204 123666 119 | 0.007 % |
764.42/764.90 c | 626209 | 1755 169335 570873 | 137204 126663 119 | 0.000 % |
768.62/769.02 c | 629508 | 1755 169335 570873 | 137204 129962 119 | 0.006 % |
774.41/774.88 c | 633133 | 1755 169335 570873 | 2147483647 133587 121 | 0.000 % |
780.71/781.17 c | 637120 | 1755 169335 570873 | 2147483647 137574 122 | 0.000 % |
787.51/788.00 c | 641505 | 1755 169335 570873 | 140457 127782 125 | 0.000 % |
795.40/795.83 c | 646328 | 1755 169335 570873 | 140457 132605 130 | 0.000 % |
803.71/804.14 c | 651643 | 1755 169335 570873 | 136280 122252 128 | 0.000 % |
810.90/811.39 c | 657478 | 1755 169335 570873 | 136280 128087 127 | 0.007 % |
811.10/811.52 c | 657579 | 1755 169335 570873 | 136280 128188 127 | 0.007 % |
811.30/811.72 c | 657691 | 1755 169335 570873 | 136280 128300 127 | 0.000 % |
811.40/811.88 c | 657813 | 1755 169335 570873 | 136280 128422 127 | 0.000 % |
811.60/812.08 c | 657947 | 1755 169335 570873 | 136280 128556 127 | 0.000 % |
811.90/812.32 c | 658094 | 1755 169335 570873 | 136280 128703 127 | 0.000 % |
812.20/812.61 c | 658254 | 1755 169335 570873 | 136280 128863 127 | 0.000 % |
812.40/812.83 c | 658431 | 1755 169335 570873 | 136280 129040 128 | 0.000 % |
812.70/813.14 c | 658624 | 1755 169335 570873 | 136280 129233 128 | 0.006 % |
813.00/813.43 c | 658837 | 1755 169335 570873 | 136280 129446 128 | 0.000 % |
813.29/813.73 c | 659070 | 1755 169335 570873 | 136280 129679 128 | 0.006 % |
813.79/814.20 c | 659326 | 1755 169335 570873 | 136280 129935 128 | 0.000 % |
814.19/814.64 c | 659608 | 1755 169335 570873 | 136280 130217 128 | 0.000 % |
814.60/815.10 c | 659917 | 1755 169335 570873 | 136280 130526 128 | 0.000 % |
815.19/815.68 c | 660259 | 1755 169335 570873 | 130609 130868 128 | 0.000 % |
815.99/816.43 c | 660634 | 1755 169335 570873 | 130609 115554 128 | 0.000 % |
816.49/816.92 c | 661044 | 1755 169335 570873 | 130609 115964 129 | 0.000 % |
817.09/817.56 c | 661493 | 1755 169335 570873 | 130609 116413 129 | 0.000 % |
817.89/818.38 c | 661986 | 1755 169335 570873 | 130609 116906 129 | 0.000 % |
818.69/819.18 c | 662528 | 1755 169335 570873 | 130609 117448 129 | 0.000 % |
819.59/820.05 c | 663126 | 1755 169335 570873 | 130609 118046 129 | 0.000 % |
820.49/820.99 c | 663783 | 1755 169335 570873 | 130609 118703 129 | 0.000 % |
821.59/822.01 c | 664503 | 1755 169335 570873 | 130609 119423 130 | 0.000 % |
822.89/823.31 c | 665295 | 1755 169335 570873 | 130609 120215 130 | 0.000 % |
823.99/824.47 c | 666167 | 1755 169335 570873 | 130609 121087 131 | 0.000 % |
825.39/825.86 c | 667126 | 1755 169335 570873 | 130609 122046 131 | 0.006 % |
826.79/827.25 c | 668179 | 1755 169335 570873 | 130609 123099 130 | 0.007 % |
828.59/829.02 c | 669338 | 1755 169335 570873 | 130609 124258 130 | 0.000 % |
830.49/830.96 c | 670612 | 1755 169335 570873 | 124921 125532 130 | 0.000 % |
832.29/832.79 c | 672012 | 1755 169335 570873 | 124921 111554 129 | 0.007 % |
834.49/834.99 c | 673552 | 1755 169335 570873 | 124921 113094 129 | 0.000 % |
837.69/838.11 c | 675247 | 1755 169335 570873 | 124921 114789 131 | 0.000 % |
840.38/840.80 c | 677110 | 1755 169335 570873 | 124921 116652 131 | 0.000 % |
843.38/843.81 c | 679159 | 1755 169335 570873 | 124921 118701 130 | 0.007 % |
846.38/846.83 c | 681412 | 1755 169335 570873 | 2147483647 120954 130 | 0.000 % |
850.18/850.62 c | 683890 | 1755 169335 570873 | 2147483647 123432 130 | 0.007 % |
854.28/854.72 c | 686617 | 1755 169335 570873 | 2147483647 126159 130 | 0.000 % |
859.47/859.98 c | 689615 | 1755 169335 570873 | 2147483647 129157 129 | 0.007 % |
864.27/864.75 c | 692913 | 1755 169335 570873 | 129542 115230 124 | 0.000 % |
869.27/869.78 c | 696538 | 1755 169335 570873 | 129542 118855 123 | 0.000 % |
876.07/876.55 c | 700526 | 1755 169335 570873 | 122318 122843 127 | 0.000 % |
883.97/884.46 c | 704915 | 1755 169335 570873 | 122318 112869 130 | 0.000 % |
892.16/892.66 c | 709738 | 1755 169335 570873 | 122318 117692 133 | 0.000 % |
899.96/900.42 c | 715044 | 1755 169335 570873 | 117954 105203 134 | 0.000 % |
911.05/911.59 c | 720879 | 1755 169335 570873 | 110162 111038 138 | 0.000 % |
922.85/923.36 c | 727297 | 1755 169335 570873 | 110162 101079 138 | 0.000 % |
923.05/923.53 c | 727399 | 1755 169335 570873 | 110162 101181 138 | 0.000 % |
923.25/923.78 c | 727512 | 1755 169335 570873 | 110162 101294 138 | 0.000 % |
923.55/924.03 c | 727633 | 1755 169335 570873 | 110162 101415 138 | 0.000 % |
923.85/924.39 c | 727768 | 1755 169335 570873 | 110162 101550 138 | 0.000 % |
924.15/924.64 c | 727914 | 1755 169335 570873 | 110162 101696 138 | 0.000 % |
924.35/924.88 c | 728074 | 1755 169335 570873 | 110162 101856 138 | 0.000 % |
924.65/925.18 c | 728250 | 1755 169335 570873 | 110162 102032 138 | 0.000 % |
924.95/925.47 c | 728443 | 1755 169335 570873 | 110162 102225 138 | 0.000 % |
925.25/925.77 c | 728656 | 1755 169335 570873 | 110162 102438 138 | 0.007 % |
925.65/926.13 c | 728889 | 1755 169335 570873 | 110162 102671 138 | 0.000 % |
926.15/926.60 c | 729145 | 1755 169335 570873 | 110162 102927 138 | 0.007 % |
926.45/926.96 c | 729428 | 1755 169335 570873 | 110162 103210 138 | 0.007 % |
926.85/927.38 c | 729737 | 1755 169335 570873 | 110162 103519 138 | 0.000 % |
927.45/927.94 c | 730076 | 1755 169335 570873 | 103783 103858 138 | 0.000 % |
928.15/928.65 c | 730448 | 1755 169335 570873 | 103783 90756 141 | 0.000 % |
928.75/929.20 c | 730858 | 1755 169335 570873 | 103783 91166 142 | 0.007 % |
929.34/929.85 c | 731307 | 1755 169335 570873 | 103783 91615 141 | 0.000 % |
930.05/930.58 c | 731800 | 1755 169335 570873 | 103783 92108 141 | 0.007 % |
930.74/931.28 c | 732342 | 1755 169335 570873 | 103783 92650 141 | 0.007 % |
931.64/932.15 c | 732938 | 1755 169335 570873 | 103783 93246 141 | 0.006 % |
932.64/933.19 c | 733593 | 1755 169335 570873 | 103783 93901 141 | 0.007 % |
933.74/934.28 c | 734313 | 1755 169335 570873 | 103783 94621 141 | 0.000 % |
934.84/935.37 c | 735107 | 1755 169335 570873 | 103783 95415 141 | 0.005 % |
936.14/936.64 c | 735978 | 1755 169335 570873 | 103783 96286 141 | 0.007 % |
937.34/937.84 c | 736936 | 1755 169335 570873 | 103783 97244 141 | 0.000 % |
938.74/939.22 c | 737989 | 1755 169335 570873 | 103783 98297 141 | 0.007 % |
940.34/940.80 c | 739148 | 1755 169335 570873 | 103783 99456 140 | 0.007 % |
941.74/942.23 c | 740422 | 1755 169335 570873 | 100308 100730 140 | 0.007 % |
943.54/944.08 c | 741824 | 1755 169335 570873 | 100308 92059 138 | 0.000 % |
945.34/945.85 c | 743364 | 1755 169335 570873 | 100308 93599 137 | 0.000 % |
947.34/947.84 c | 745059 | 1755 169335 570873 | 100308 95294 136 | 0.006 % |
950.94/951.42 c | 746923 | 1755 169335 570873 | 100308 97158 138 | 0.000 % |
954.13/954.66 c | 748973 | 1755 169335 570873 | 100308 99208 138 | 0.006 % |
957.54/958.00 c | 751229 | 1755 169335 570873 | 2147483647 101464 138 | 0.006 % |
960.93/961.45 c | 753707 | 1755 169335 570873 | 2147483647 103942 137 | 0.000 % |
964.63/965.15 c | 756433 | 1755 169335 570873 | 2147483647 106668 136 | 0.000 % |
968.53/969.01 c | 759433 | 1755 169335 570873 | 2147483647 109668 136 | 0.006 % |
972.43/972.97 c | 762731 | 1755 169335 570873 | 2147483647 112966 136 | 0.000 % |
978.02/978.56 c | 766357 | 1755 169335 570873 | 2147483647 116592 135 | 0.000 % |
983.22/983.80 c | 770344 | 1755 169335 570873 | 2147483647 120579 133 | 0.000 % |
989.42/989.91 c | 774729 | 1755 169335 570873 | 2147483647 124964 132 | 0.007 % |
995.42/995.97 c | 779552 | 1755 169335 570873 | 2147483647 129787 130 | 0.007 % |
1004.92/1005.48 c | 784857 | 1755 169335 570873 | 130236 119653 133 | 0.000 % |
1013.11/1013.66 c | 790692 | 1755 169335 570873 | 124796 125488 132 | 0.000 % |
1022.91/1023.45 c | 797110 | 1755 169335 570873 | 124796 118999 132 | 0.000 % |
1034.52/1035.09 c | 804169 | 1755 169335 570873 | 121895 107866 119 | 0.000 % |
1034.71/1035.21 c | 804270 | 1755 169335 570873 | 121895 107967 119 | 0.007 % |
1034.91/1035.40 c | 804380 | 1755 169335 570873 | 121895 108077 119 | 0.000 % |
1035.01/1035.56 c | 804501 | 1755 169335 570873 | 121895 108198 119 | 0.008 % |
1035.31/1035.80 c | 804634 | 1755 169335 570873 | 121895 108331 119 | 0.000 % |
1035.51/1036.04 c | 804781 | 1755 169335 570873 | 121895 108478 119 | 0.000 % |
1035.72/1036.26 c | 804944 | 1755 169335 570873 | 121895 108641 119 | 0.000 % |
1036.01/1036.53 c | 805120 | 1755 169335 570873 | 121895 108817 119 | 0.000 % |
1036.21/1036.79 c | 805313 | 1755 169335 570873 | 121895 109010 119 | 0.000 % |
1036.51/1037.06 c | 805529 | 1755 169335 570873 | 121895 109226 119 | 0.006 % |
1036.82/1037.39 c | 805764 | 1755 169335 570873 | 121895 109461 119 | 0.000 % |
1037.21/1037.75 c | 806022 | 1755 169335 570873 | 121895 109719 119 | 0.000 % |
1037.61/1038.11 c | 806303 | 1755 169335 570873 | 121895 110000 119 | 0.000 % |
1038.01/1038.53 c | 806614 | 1755 169335 570873 | 121895 110311 120 | 0.000 % |
1038.51/1039.07 c | 806954 | 1755 169335 570873 | 121895 110651 120 | 0.000 % |
1039.01/1039.56 c | 807327 | 1755 169335 570873 | 121895 111024 120 | 0.006 % |
1039.61/1040.10 c | 807739 | 1755 169335 570873 | 121895 111436 120 | 0.000 % |
1040.11/1040.63 c | 808188 | 1755 169335 570873 | 121895 111885 120 | 0.000 % |
1040.71/1041.23 c | 808685 | 1755 169335 570873 | 121895 112382 120 | 0.006 % |
1041.41/1041.93 c | 809227 | 1755 169335 570873 | 121895 112924 120 | 0.000 % |
1042.31/1042.81 c | 809825 | 1755 169335 570873 | 121895 113522 120 | 0.006 % |
1043.31/1043.81 c | 810480 | 1755 169335 570873 | 113697 114177 119 | 0.007 % |
1044.31/1044.89 c | 811200 | 1755 169335 570873 | 113697 103480 110 | 0.000 % |
1045.21/1045.74 c | 811992 | 1755 169335 570873 | 113697 104272 110 | 0.000 % |
1046.11/1046.66 c | 812863 | 1755 169335 570873 | 113697 105143 110 | 0.000 % |
1047.11/1047.70 c | 813821 | 1755 169335 570873 | 113697 106101 110 | 0.006 % |
1048.40/1048.91 c | 814875 | 1755 169335 570873 | 113697 107155 110 | 0.000 % |
1049.91/1050.42 c | 816033 | 1755 169335 570873 | 113697 108313 110 | 0.008 % |
1051.50/1052.03 c | 817306 | 1755 169335 570873 | 113697 109586 111 | 0.000 % |
1053.10/1053.65 c | 818706 | 1755 169335 570873 | 113697 110986 112 | 0.000 % |
1054.80/1055.31 c | 820248 | 1755 169335 570873 | 2147483647 112528 112 | 0.000 % |
1056.40/1056.97 c | 821943 | 1755 169335 570873 | 2147483647 114223 113 | 0.000 % |
1058.71/1059.21 c | 823807 | 1755 169335 570873 | 2147483647 116087 113 | 0.000 % |
1061.00/1061.55 c | 825856 | 1755 169335 570873 | 2147483647 118136 113 | 0.000 % |
1063.80/1064.33 c | 828109 | 1755 169335 570873 | 2147483647 120389 114 | 0.000 % |
1066.70/1067.23 c | 830590 | 1755 169335 570873 | 2147483647 122870 114 | 0.000 % |
1070.20/1070.78 c | 833315 | 1755 169335 570873 | 2147483647 125595 116 | 0.000 % |
1074.10/1074.63 c | 836314 | 1755 169335 570873 | 2147483647 128594 117 | 0.000 % |
1078.79/1079.39 c | 839611 | 1755 169335 570873 | 2147483647 131891 118 | 0.000 % |
1084.19/1084.73 c | 843239 | 1755 169335 570873 | 2147483647 135519 118 | 0.000 % |
1089.39/1089.95 c | 847227 | 1755 169335 570873 | 2147483647 139507 119 | 0.000 % |
1095.89/1096.49 c | 851612 | 1755 169335 570873 | 142280 128756 115 | 0.000 % |
1101.69/1102.26 c | 856435 | 1755 169335 570873 | 142280 133579 115 | 0.000 % |
1108.88/1109.45 c | 861742 | 1755 169335 570873 | 2147483647 138886 114 | 0.006 % |
1115.88/1116.48 c | 867577 | 1755 169335 570873 | 2147483647 144721 114 | 0.007 % |
1125.68/1126.26 c | 873995 | 1755 169335 570873 | 2147483647 151139 120 | 0.000 % |
1137.17/1137.79 c | 881055 | 1755 169335 570873 | 157144 158199 122 | 0.000 % |
1150.27/1150.85 c | 888820 | 1755 169335 570873 | 157144 147868 129 | 0.000 % |
1150.47/1151.01 c | 888922 | 1755 169335 570873 | 157144 147970 129 | 0.006 % |
1150.67/1151.21 c | 889034 | 1755 169335 570873 | 157144 148082 129 | 0.006 % |
1150.77/1151.39 c | 889155 | 1755 169335 570873 | 157144 148203 129 | 0.000 % |
1150.97/1151.59 c | 889293 | 1755 169335 570873 | 157144 148341 129 | 0.000 % |
1151.27/1151.80 c | 889439 | 1755 169335 570873 | 157144 148487 129 | 0.000 % |
1151.47/1152.04 c | 889599 | 1755 169335 570873 | 157144 148647 129 | 0.000 % |
1151.77/1152.33 c | 889776 | 1755 169335 570873 | 157144 148824 129 | 0.000 % |
1152.06/1152.65 c | 889969 | 1755 169335 570873 | 157144 149017 129 | 0.000 % |
1152.36/1152.94 c | 890181 | 1755 169335 570873 | 149049 149229 129 | 0.007 % |
1153.06/1153.66 c | 890414 | 1755 169335 570873 | 149049 129389 132 | 0.000 % |
1153.46/1154.02 c | 890670 | 1755 169335 570873 | 149049 129645 132 | 0.000 % |
1153.86/1154.44 c | 890952 | 1755 169335 570873 | 149049 129927 132 | 0.007 % |
1154.37/1154.91 c | 891261 | 1755 169335 570873 | 149049 130236 132 | 0.000 % |
1154.76/1155.36 c | 891602 | 1755 169335 570873 | 149049 130577 132 | 0.007 % |
1155.26/1155.87 c | 891974 | 1755 169335 570873 | 149049 130949 132 | 0.000 % |
1155.86/1156.48 c | 892384 | 1755 169335 570873 | 149049 131359 132 | 0.005 % |
1156.46/1157.09 c | 892833 | 1755 169335 570873 | 149049 131808 132 | 0.000 % |
1157.16/1157.75 c | 893329 | 1755 169335 570873 | 149049 132304 131 | 0.000 % |
1157.77/1158.40 c | 893872 | 1755 169335 570873 | 149049 132847 131 | 0.007 % |
1158.56/1159.16 c | 894468 | 1755 169335 570873 | 149049 133443 131 | 0.007 % |
1159.26/1159.88 c | 895124 | 1755 169335 570873 | 149049 134099 131 | 0.007 % |
1160.16/1160.70 c | 895846 | 1755 169335 570873 | 149049 134821 131 | 0.007 % |
1161.06/1161.68 c | 896639 | 1755 169335 570873 | 149049 135614 131 | 0.008 % |
1162.16/1162.77 c | 897511 | 1755 169335 570873 | 149049 136486 130 | 0.005 % |
1163.76/1164.30 c | 898469 | 1755 169335 570873 | 149049 137444 131 | 0.000 % |
1165.46/1166.06 c | 899527 | 1755 169335 570873 | 149049 138502 131 | 0.000 % |
1167.46/1168.07 c | 900686 | 1755 169335 570873 | 138975 139661 131 | 0.000 % |
1169.46/1170.04 c | 901960 | 1755 169335 570873 | 138975 124235 130 | 0.000 % |
1171.36/1171.91 c | 903360 | 1755 169335 570873 | 138975 125635 130 | 0.007 % |
1173.46/1174.05 c | 904902 | 1755 169335 570873 | 138975 127177 130 | 0.000 % |
1175.96/1176.56 c | 906596 | 1755 169335 570873 | 138975 128871 130 | 0.000 % |
1179.35/1179.91 c | 908460 | 1755 169335 570873 | 138975 130735 131 | 0.000 % |
1182.55/1183.14 c | 910509 | 1755 169335 570873 | 2147483647 132784 132 | 0.006 % |
1185.85/1186.41 c | 912765 | 1755 169335 570873 | 2147483647 135040 133 | 0.000 % |
1189.55/1190.14 c | 915244 | 1755 169335 570873 | 2147483647 137519 133 | 0.000 % |
1194.05/1194.62 c | 917969 | 1755 169335 570873 | 2147483647 140244 133 | 0.000 % |
1198.35/1198.94 c | 920966 | 1755 169335 570873 | 142275 143241 133 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834129-1242828261/watcher-1834129-1242828261 -o /tmp/evaluation-result-1834129-1242828261/solver-1834129-1242828261 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834129-1242828261.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 23307
/proc/meminfo: memFree=1889832/2055920 swapFree=4143664/4192956
[pid=23307] ppid=23305 vsize=5356 CPUtime=0
/proc/23307/stat : 23307 (SatELiteGTI) R 23305 23307 23055 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310854568 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 266890608722 0 0 4100 65536 0 0 0 17 0 0 0
/proc/23307/statm: 1339 235 195 169 0 50 0
[pid=23308] ppid=23307 vsize=5356 CPUtime=0
/proc/23308/stat : 23308 (SatELiteGTI) R 23307 23307 23055 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 310854568 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/23308/statm: 1339 238 198 169 0 50 0
[pid=23310] ppid=23308 vsize=0 CPUtime=0
/proc/23310/stat : 23310 (sed) Z 23308 23307 23055 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 310854568 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/23310/statm: 0 0 0 0 0 0 0
[startup+0.068696 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 23307
/proc/meminfo: memFree=1889832/2055920 swapFree=4143664/4192956
[pid=23307] ppid=23305 vsize=5356 CPUtime=0
/proc/23307/stat : 23307 (SatELiteGTI) S 23305 23307 23055 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310854568 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23307/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101701 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 23307
/proc/meminfo: memFree=1889832/2055920 swapFree=4143664/4192956
[pid=23307] ppid=23305 vsize=5356 CPUtime=0
/proc/23307/stat : 23307 (SatELiteGTI) S 23305 23307 23055 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310854568 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23307/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301738 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 23307
/proc/meminfo: memFree=1889832/2055920 swapFree=4143664/4192956
[pid=23307] ppid=23305 vsize=5356 CPUtime=0
/proc/23307/stat : 23307 (SatELiteGTI) S 23305 23307 23055 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310854568 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23307/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701815 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 23307
/proc/meminfo: memFree=1889832/2055920 swapFree=4143664/4192956
[pid=23307] ppid=23305 vsize=5356 CPUtime=0
/proc/23307/stat : 23307 (SatELiteGTI) S 23305 23307 23055 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310854568 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23307/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50198 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23312
/proc/meminfo: memFree=1876184/2055920 swapFree=4143664/4192956
[pid=23307] ppid=23305 vsize=5356 CPUtime=1.11
/proc/23307/stat : 23307 (SatELiteGTI) S 23305 23307 23055 0 -1 4194304 336 3781 0 0 0 0 108 3 16 0 1 0 310854568 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23307/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 5356
[startup+3.10227 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23313
/proc/meminfo: memFree=1874648/2055920 swapFree=4143664/4192956
[pid=23307] ppid=23305 vsize=5356 CPUtime=1.11
/proc/23307/stat : 23307 (SatELiteGTI) S 23305 23307 23055 0 -1 4194304 336 3781 0 0 0 0 108 3 16 0 1 0 310854568 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23307/statm: 1339 239 197 169 0 50 0
[pid=23313] ppid=23307 vsize=14452 CPUtime=1.96
/proc/23313/stat : 23313 (minisat_static) R 23307 23307 23055 0 -1 4194304 3463 0 0 0 194 2 0 0 25 0 1 0 310854681 14798848 3449 1992294400 134512640 135215339 4294956240 18446744073709551615 134539410 0 0 4096 3 0 0 0 17 1 0 0
/proc/23313/statm: 3613 3449 77 171 0 3440 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 19808
[startup+6.30188 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23313
/proc/meminfo: memFree=1868504/2055920 swapFree=4143664/4192956
[pid=23307] ppid=23305 vsize=5356 CPUtime=1.11
/proc/23307/stat : 23307 (SatELiteGTI) S 23305 23307 23055 0 -1 4194304 336 3781 0 0 0 0 108 3 16 0 1 0 310854568 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23307/statm: 1339 239 197 169 0 50 0
[pid=23313] ppid=23307 vsize=19628 CPUtime=5.16
/proc/23313/stat : 23313 (minisat_static) R 23307 23307 23055 0 -1 4194304 4776 0 0 0 513 3 0 0 25 0 1 0 310854681 20099072 4762 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/23313/statm: 4907 4762 77 171 0 4734 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 24984
[startup+12.7011 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23313
/proc/meminfo: memFree=1859032/2055920 swapFree=4143664/4192956
[pid=23307] ppid=23305 vsize=5356 CPUtime=1.11
/proc/23307/stat : 23307 (SatELiteGTI) S 23305 23307 23055 0 -1 4194304 336 3781 0 0 0 0 108 3 16 0 1 0 310854568 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23307/statm: 1339 239 197 169 0 50 0
[pid=23313] ppid=23307 vsize=28768 CPUtime=11.56
/proc/23313/stat : 23313 (minisat_static) R 23307 23307 23055 0 -1 4194304 7050 0 0 0 1150 6 0 0 25 0 1 0 310854681 29458432 7036 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/23313/statm: 7192 7036 77 171 0 7019 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 34124
[startup+25.5016 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23313
/proc/meminfo: memFree=1845080/2055920 swapFree=4143664/4192956
[pid=23307] ppid=23305 vsize=5356 CPUtime=1.11
/proc/23307/stat : 23307 (SatELiteGTI) S 23305 23307 23055 0 -1 4194304 336 3781 0 0 0 0 108 3 16 0 1 0 310854568 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23307/statm: 1339 239 197 169 0 50 0
[pid=23313] ppid=23307 vsize=42036 CPUtime=24.34
/proc/23313/stat : 23313 (minisat_static) R 23307 23307 23055 0 -1 4194304 10328 0 0 0 2425 9 0 0 25 0 1 0 310854681 43044864 10314 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/23313/statm: 10509 10314 77 171 0 10336 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 47392
[startup+51.1014 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23313
/proc/meminfo: memFree=1826264/2055920 swapFree=4143664/4192956
[pid=23307] ppid=23305 vsize=5356 CPUtime=1.11
/proc/23307/stat : 23307 (SatELiteGTI) S 23305 23307 23055 0 -1 4194304 336 3781 0 0 0 0 108 3 16 0 1 0 310854568 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23307/statm: 1339 239 197 169 0 50 0
[pid=23313] ppid=23307 vsize=61092 CPUtime=49.92
/proc/23313/stat : 23313 (minisat_static) R 23307 23307 23055 0 -1 4194304 15110 0 0 0 4978 14 0 0 25 0 1 0 310854681 62558208 15096 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/23313/statm: 15273 15096 77 171 0 15100 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 66448
[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23313
/proc/meminfo: memFree=1796504/2055920 swapFree=4143664/4192956
[pid=23307] ppid=23305 vsize=5356 CPUtime=1.11
/proc/23307/stat : 23307 (SatELiteGTI) S 23305 23307 23055 0 -1 4194304 336 3781 0 0 0 0 108 3 16 0 1 0 310854568 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23307/statm: 1339 239 197 169 0 50 0
[pid=23313] ppid=23307 vsize=90408 CPUtime=101.09
/proc/23313/stat : 23313 (minisat_static) R 23307 23307 23055 0 -1 4194304 22394 0 0 0 10087 22 0 0 25 0 1 0 310854681 92577792 22380 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23313/statm: 22602 22380 77 171 0 22429 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 95764
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23313
/proc/meminfo: memFree=1771032/2055920 swapFree=4143664/4192956
[pid=23307] ppid=23305 vsize=5356 CPUtime=1.11
/proc/23307/stat : 23307 (SatELiteGTI) S 23305 23307 23055 0 -1 4194304 336 3781 0 0 0 0 108 3 16 0 1 0 310854568 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23307/statm: 1339 239 197 169 0 50 0
[pid=23313] ppid=23307 vsize=115636 CPUtime=161.06
/proc/23313/stat : 23313 (minisat_static) R 23307 23307 23055 0 -1 4194304 28770 0 0 0 16078 28 0 0 25 0 1 0 310854681 118411264 28756 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23313/statm: 28909 28756 77 171 0 28736 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 120992
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23313
/proc/meminfo: memFree=1762520/2055920 swapFree=4143664/4192956
[pid=23307] ppid=23305 vsize=5356 CPUtime=1.11
/proc/23307/stat : 23307 (SatELiteGTI) S 23305 23307 23055 0 -1 4194304 336 3781 0 0 0 0 108 3 16 0 1 0 310854568 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23307/statm: 1339 239 197 169 0 50 0
[pid=23313] ppid=23307 vsize=124224 CPUtime=221.03
/proc/23313/stat : 23313 (minisat_static) R 23307 23307 23055 0 -1 4194304 30815 0 0 0 22073 30 0 0 25 0 1 0 310854681 127205376 30801 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23313/statm: 31056 30801 77 171 0 30883 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 129580
[startup+282.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23313
/proc/meminfo: memFree=1762392/2055920 swapFree=4143664/4192956
[pid=23307] ppid=23305 vsize=5356 CPUtime=1.11
/proc/23307/stat : 23307 (SatELiteGTI) S 23305 23307 23055 0 -1 4194304 336 3781 0 0 0 0 108 3 16 0 1 0 310854568 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23307/statm: 1339 239 197 169 0 50 0
[pid=23313] ppid=23307 vsize=124224 CPUtime=281
/proc/23313/stat : 23313 (minisat_static) R 23307 23307 23055 0 -1 4194304 30815 0 0 0 28070 30 0 0 25 0 1 0 310854681 127205376 30801 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23313/statm: 31056 30801 77 171 0 30883 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 129580
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23313
/proc/meminfo: memFree=1762264/2055920 swapFree=4143664/4192956
[pid=23307] ppid=23305 vsize=5356 CPUtime=1.11
/proc/23307/stat : 23307 (SatELiteGTI) S 23305 23307 23055 0 -1 4194304 336 3781 0 0 0 0 108 3 16 0 1 0 310854568 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23307/statm: 1339 239 197 169 0 50 0
[pid=23313] ppid=23307 vsize=124224 CPUtime=340.98
/proc/23313/stat : 23313 (minisat_static) R 23307 23307 23055 0 -1 4194304 30815 0 0 0 34067 31 0 0 25 0 1 0 310854681 127205376 30801 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23313/statm: 31056 30801 77 171 0 30883 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 129580
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23313
/proc/meminfo: memFree=1762136/2055920 swapFree=4143664/4192956
[pid=23307] ppid=23305 vsize=5356 CPUtime=1.11
/proc/23307/stat : 23307 (SatELiteGTI) S 23305 23307 23055 0 -1 4194304 336 3781 0 0 0 0 108 3 16 0 1 0 310854568 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23307/statm: 1339 239 197 169 0 50 0
[pid=23313] ppid=23307 vsize=124224 CPUtime=400.96
/proc/23313/stat : 23313 (minisat_static) R 23307 23307 23055 0 -1 4194304 30815 0 0 0 40065 31 0 0 25 0 1 0 310854681 127205376 30801 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23313/statm: 31056 30801 77 171 0 30883 0
Current children cumulated CPU time (s) 402.07
################
# More data... #
################
/proc/23313/statm: 31056 30801 77 171 0 30883 0
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (KiB) 129580
[startup+582.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23313
/proc/meminfo: memFree=1761880/2055920 swapFree=4143664/4192956
[pid=23307] ppid=23305 vsize=5356 CPUtime=1.11
/proc/23307/stat : 23307 (SatELiteGTI) S 23305 23307 23055 0 -1 4194304 336 3781 0 0 0 0 108 3 16 0 1 0 310854568 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23307/statm: 1339 239 197 169 0 50 0
[pid=23313] ppid=23307 vsize=124224 CPUtime=580.88
/proc/23313/stat : 23313 (minisat_static) R 23307 23307 23055 0 -1 4194304 30815 0 0 0 58057 31 0 0 25 0 1 0 310854681 127205376 30801 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23313/statm: 31056 30801 77 171 0 30883 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 129580
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23313
/proc/meminfo: memFree=1761816/2055920 swapFree=4143664/4192956
[pid=23307] ppid=23305 vsize=5356 CPUtime=1.11
/proc/23307/stat : 23307 (SatELiteGTI) S 23305 23307 23055 0 -1 4194304 336 3781 0 0 0 0 108 3 16 0 1 0 310854568 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23307/statm: 1339 239 197 169 0 50 0
[pid=23313] ppid=23307 vsize=124224 CPUtime=640.85
/proc/23313/stat : 23313 (minisat_static) R 23307 23307 23055 0 -1 4194304 30815 0 0 0 64054 31 0 0 25 0 1 0 310854681 127205376 30801 1992294400 134512640 135215339 4294956240 18446744073709551615 134538821 0 0 4096 3 0 0 0 17 1 0 0
/proc/23313/statm: 31056 30801 77 171 0 30883 0
Current children cumulated CPU time (s) 641.96
Current children cumulated vsize (KiB) 129580
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23313
/proc/meminfo: memFree=1761688/2055920 swapFree=4143664/4192956
[pid=23307] ppid=23305 vsize=5356 CPUtime=1.11
/proc/23307/stat : 23307 (SatELiteGTI) S 23305 23307 23055 0 -1 4194304 336 3781 0 0 0 0 108 3 16 0 1 0 310854568 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23307/statm: 1339 239 197 169 0 50 0
[pid=23313] ppid=23307 vsize=124224 CPUtime=700.83
/proc/23313/stat : 23313 (minisat_static) R 23307 23307 23055 0 -1 4194304 30815 0 0 0 70051 32 0 0 25 0 1 0 310854681 127205376 30801 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23313/statm: 31056 30801 77 171 0 30883 0
Current children cumulated CPU time (s) 701.94
Current children cumulated vsize (KiB) 129580
[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23313
/proc/meminfo: memFree=1761560/2055920 swapFree=4143664/4192956
[pid=23307] ppid=23305 vsize=5356 CPUtime=1.11
/proc/23307/stat : 23307 (SatELiteGTI) S 23305 23307 23055 0 -1 4194304 336 3781 0 0 0 0 108 3 16 0 1 0 310854568 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23307/statm: 1339 239 197 169 0 50 0
[pid=23313] ppid=23307 vsize=124224 CPUtime=760.81
/proc/23313/stat : 23313 (minisat_static) R 23307 23307 23055 0 -1 4194304 30815 0 0 0 76049 32 0 0 25 0 1 0 310854681 127205376 30801 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23313/statm: 31056 30801 77 171 0 30883 0
Current children cumulated CPU time (s) 761.92
Current children cumulated vsize (KiB) 129580
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23313
/proc/meminfo: memFree=1761496/2055920 swapFree=4143664/4192956
[pid=23307] ppid=23305 vsize=5356 CPUtime=1.11
/proc/23307/stat : 23307 (SatELiteGTI) S 23305 23307 23055 0 -1 4194304 336 3781 0 0 0 0 108 3 16 0 1 0 310854568 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23307/statm: 1339 239 197 169 0 50 0
[pid=23313] ppid=23307 vsize=124224 CPUtime=820.78
/proc/23313/stat : 23313 (minisat_static) R 23307 23307 23055 0 -1 4194304 30815 0 0 0 82046 32 0 0 25 0 1 0 310854681 127205376 30801 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23313/statm: 31056 30801 77 171 0 30883 0
Current children cumulated CPU time (s) 821.89
Current children cumulated vsize (KiB) 129580
[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23313
/proc/meminfo: memFree=1761432/2055920 swapFree=4143664/4192956
[pid=23307] ppid=23305 vsize=5356 CPUtime=1.11
/proc/23307/stat : 23307 (SatELiteGTI) S 23305 23307 23055 0 -1 4194304 336 3781 0 0 0 0 108 3 16 0 1 0 310854568 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23307/statm: 1339 239 197 169 0 50 0
[pid=23313] ppid=23307 vsize=124224 CPUtime=880.76
/proc/23313/stat : 23313 (minisat_static) R 23307 23307 23055 0 -1 4194304 30815 0 0 0 88044 32 0 0 25 0 1 0 310854681 127205376 30801 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/23313/statm: 31056 30801 77 171 0 30883 0
Current children cumulated CPU time (s) 881.87
Current children cumulated vsize (KiB) 129580
[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23313
/proc/meminfo: memFree=1761304/2055920 swapFree=4143664/4192956
[pid=23307] ppid=23305 vsize=5356 CPUtime=1.11
/proc/23307/stat : 23307 (SatELiteGTI) S 23305 23307 23055 0 -1 4194304 336 3781 0 0 0 0 108 3 16 0 1 0 310854568 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23307/statm: 1339 239 197 169 0 50 0
[pid=23313] ppid=23307 vsize=124224 CPUtime=940.73
/proc/23313/stat : 23313 (minisat_static) R 23307 23307 23055 0 -1 4194304 30815 0 0 0 94041 32 0 0 25 0 1 0 310854681 127205376 30801 1992294400 134512640 135215339 4294956240 18446744073709551615 134545671 0 0 4096 3 0 0 0 17 1 0 0
/proc/23313/statm: 31056 30801 77 171 0 30883 0
Current children cumulated CPU time (s) 941.84
Current children cumulated vsize (KiB) 129580
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23313
/proc/meminfo: memFree=1761240/2055920 swapFree=4143664/4192956
[pid=23307] ppid=23305 vsize=5356 CPUtime=1.11
/proc/23307/stat : 23307 (SatELiteGTI) S 23305 23307 23055 0 -1 4194304 336 3781 0 0 0 0 108 3 16 0 1 0 310854568 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23307/statm: 1339 239 197 169 0 50 0
[pid=23313] ppid=23307 vsize=124224 CPUtime=1000.7
/proc/23313/stat : 23313 (minisat_static) R 23307 23307 23055 0 -1 4194304 30815 0 0 0 100038 32 0 0 25 0 1 0 310854681 127205376 30801 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 1 0 0
/proc/23313/statm: 31056 30801 77 171 0 30883 0
Current children cumulated CPU time (s) 1001.81
Current children cumulated vsize (KiB) 129580
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23313
/proc/meminfo: memFree=1761176/2055920 swapFree=4143664/4192956
[pid=23307] ppid=23305 vsize=5356 CPUtime=1.11
/proc/23307/stat : 23307 (SatELiteGTI) S 23305 23307 23055 0 -1 4194304 336 3781 0 0 0 0 108 3 16 0 1 0 310854568 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23307/statm: 1339 239 197 169 0 50 0
[pid=23313] ppid=23307 vsize=124224 CPUtime=1060.69
/proc/23313/stat : 23313 (minisat_static) R 23307 23307 23055 0 -1 4194304 30815 0 0 0 106036 33 0 0 25 0 1 0 310854681 127205376 30801 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23313/statm: 31056 30801 77 171 0 30883 0
Current children cumulated CPU time (s) 1061.8
Current children cumulated vsize (KiB) 129580
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23313
/proc/meminfo: memFree=1761048/2055920 swapFree=4143664/4192956
[pid=23307] ppid=23305 vsize=5356 CPUtime=1.11
/proc/23307/stat : 23307 (SatELiteGTI) S 23305 23307 23055 0 -1 4194304 336 3781 0 0 0 0 108 3 16 0 1 0 310854568 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23307/statm: 1339 239 197 169 0 50 0
[pid=23313] ppid=23307 vsize=124224 CPUtime=1120.67
/proc/23313/stat : 23313 (minisat_static) R 23307 23307 23055 0 -1 4194304 30815 0 0 0 112034 33 0 0 25 0 1 0 310854681 127205376 30801 1992294400 134512640 135215339 4294956240 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 1 0 0
/proc/23313/statm: 31056 30801 77 171 0 30883 0
Current children cumulated CPU time (s) 1121.78
Current children cumulated vsize (KiB) 129580
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23313
/proc/meminfo: memFree=1760984/2055920 swapFree=4143664/4192956
[pid=23307] ppid=23305 vsize=5356 CPUtime=1.11
/proc/23307/stat : 23307 (SatELiteGTI) S 23305 23307 23055 0 -1 4194304 336 3781 0 0 0 0 108 3 16 0 1 0 310854568 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23307/statm: 1339 239 197 169 0 50 0
[pid=23313] ppid=23307 vsize=124224 CPUtime=1180.64
/proc/23313/stat : 23313 (minisat_static) R 23307 23307 23055 0 -1 4194304 30815 0 0 0 118031 33 0 0 25 0 1 0 310854681 127205376 30801 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23313/statm: 31056 30801 77 171 0 30883 0
Current children cumulated CPU time (s) 1181.75
Current children cumulated vsize (KiB) 129580
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23313
/proc/meminfo: memFree=1760984/2055920 swapFree=4143664/4192956
[pid=23307] ppid=23305 vsize=5356 CPUtime=1.11
/proc/23307/stat : 23307 (SatELiteGTI) S 23305 23307 23055 0 -1 4194304 336 3781 0 0 0 0 108 3 16 0 1 0 310854568 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23307/statm: 1339 239 197 169 0 50 0
[pid=23313] ppid=23307 vsize=124224 CPUtime=1198.94
/proc/23313/stat : 23313 (minisat_static) R 23307 23307 23055 0 -1 4194304 30815 0 0 0 119861 33 0 0 25 0 1 0 310854681 127205376 30801 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/23313/statm: 31056 30801 77 171 0 30883 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 129580
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23307 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=87834
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=40993
# CPU time returned by wait4() is 1.12883
# while last known CPU time is 1200.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.61
CPU time (s): 1200.05
CPU user time (s): 1199.69
CPU system time (s): 0.36
CPU usage (%): 99.9531
Max. virtual memory (cumulated for all children) (KiB): 129580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.08783
system time used= 0.040993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4117
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= 9
runsolver used 1.50977 second user time and 2.96255 second system time
The end
Begin job on node38 at 2009-05-20 16:04:21
IDJOB=1834129
IDBENCH=71529
IDSOLVER=671
FILE ID=node38/1834129-1242828261
PBS_JOBID= 9322512
Free space on /tmp= 66164 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v1820c171155gyes6.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834129-1242828261/watcher-1834129-1242828261 -o /tmp/evaluation-result-1834129-1242828261/solver-1834129-1242828261 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834129-1242828261.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 6a5fbd61e49d3642ce9fdb6efadb5a97
RANDOM SEED=474842304
node38.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.265
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.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1890312 kB
Buffers: 18024 kB
Cached: 68484 kB
SwapCached: 43372 kB
Active: 62964 kB
Inactive: 69344 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1890312 kB
SwapTotal: 4192956 kB
SwapFree: 4143664 kB
Dirty: 3744 kB
Writeback: 0 kB
Mapped: 13932 kB
Slab: 19284 kB
Committed_AS: 1102232 kB
PageTables: 1456 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= 66160 MiB
End job on node38 at 2009-05-20 16:24:24