0.00/0.00 c Parsing...
0.00/0.06 c ==============================================================================
0.00/0.06 c | | ORIGINAL | LEARNT | |
0.00/0.06 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.06 c ==============================================================================
0.00/0.06 c | 0 | 58800 176400 | 17639 0 0 nan | 0.000 % |
0.00/0.20 c | 0 | 58463 177332 | -- 0 -- -- | -- | -337/932
0.00/0.20 c ==============================================================================
0.00/0.20 c Result : #vars: 13673 #clauses: 58463 #literals: 177332
0.00/0.20 c CPU time: 0.188971 s
0.00/0.20 c ==============================================================================
0.00/0.26 c This is MiniSat 2.0 beta
0.00/0.26 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.27 c ============================[ Problem Statistics ]=============================
0.00/0.27 c | |
0.00/0.27 c | Number of variables: 13673 |
0.00/0.27 c | Number of clauses: 58463 |
0.25/0.31 c | Parsing time: 0.04 s |
0.25/0.31 c ============================[ Search Statistics ]==============================
0.25/0.31 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.25/0.31 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.25/0.31 c ===============================================================================
0.25/0.31 c | 0 | 13673 58463 177332 | 19487 0 nan | 0.000 % |
0.25/0.36 c | 100 | 13673 58463 177332 | 19487 100 169 | 0.000 % |
0.25/0.41 c | 202 | 13673 58463 177332 | 19487 202 153 | 0.000 % |
0.25/0.45 c | 302 | 13673 58463 177332 | 19487 302 154 | 0.000 % |
0.25/0.50 c | 413 | 13673 58463 177332 | 19487 413 155 | 0.000 % |
0.25/0.55 c | 514 | 13673 58463 177332 | 19487 514 159 | 0.000 % |
0.25/0.59 c | 624 | 13673 58463 177332 | 19487 624 155 | 0.000 % |
0.25/0.65 c | 745 | 13673 58463 177332 | 19487 745 157 | 0.000 % |
0.25/0.69 c | 846 | 13673 58463 177332 | 19487 846 158 | 0.000 % |
0.25/0.74 c | 957 | 13673 58463 177332 | 19487 957 156 | 0.000 % |
0.25/0.80 c | 1078 | 13673 58463 177332 | 19487 1078 156 | 0.000 % |
0.25/0.86 c | 1211 | 13673 58463 177332 | 19487 1211 155 | 0.000 % |
0.25/0.90 c | 1311 | 13673 58463 177332 | 19487 1311 153 | 0.000 % |
0.25/0.95 c | 1421 | 13673 58463 177332 | 19487 1421 154 | 0.000 % |
0.25/1.01 c | 1544 | 13673 58463 177332 | 19487 1544 153 | 0.000 % |
0.25/1.06 c | 1677 | 13673 58463 177332 | 19487 1677 152 | 0.000 % |
1.07/1.13 c | 1823 | 13673 58463 177332 | 19487 1823 152 | 0.000 % |
1.07/1.18 c | 1925 | 13673 58463 177332 | 19487 1925 153 | 0.000 % |
1.17/1.23 c | 2036 | 13673 58463 177332 | 19487 2036 154 | 0.000 % |
1.17/1.28 c | 2157 | 13673 58463 177332 | 19487 2157 155 | 0.000 % |
1.27/1.34 c | 2294 | 13673 58463 177332 | 19487 2294 156 | 0.000 % |
1.37/1.40 c | 2444 | 13673 58463 177332 | 19487 2444 157 | 0.000 % |
1.37/1.47 c | 2605 | 13673 58463 177332 | 19487 2605 155 | 0.000 % |
1.47/1.52 c | 2706 | 13673 58463 177332 | 19487 2706 155 | 0.000 % |
1.47/1.56 c | 2816 | 13673 58463 177332 | 19487 2816 155 | 0.000 % |
1.57/1.62 c | 2937 | 13673 58463 177332 | 19487 2937 155 | 0.000 % |
1.57/1.68 c | 3071 | 13673 58463 177332 | 19487 3071 156 | 0.000 % |
1.67/1.75 c | 3219 | 13673 58463 177332 | 19487 3219 157 | 0.000 % |
1.76/1.83 c | 3380 | 13673 58463 177332 | 19487 3380 160 | 0.000 % |
1.86/1.91 c | 3557 | 13673 58463 177332 | 19487 3557 165 | 0.000 % |
1.86/1.96 c | 3659 | 13673 58463 177332 | 19487 3659 166 | 0.000 % |
1.96/2.01 c | 3771 | 13673 58463 177332 | 19487 3771 165 | 0.000 % |
1.96/2.07 c | 3893 | 13673 58463 177332 | 19487 3893 165 | 0.000 % |
2.06/2.13 c | 4027 | 13673 58463 177332 | 19487 4027 165 | 0.000 % |
2.06/2.20 c | 4175 | 13673 58463 177332 | 19487 4175 164 | 0.000 % |
2.16/2.27 c | 4339 | 13673 58463 177332 | 19487 4339 168 | 0.000 % |
2.26/2.35 c | 4518 | 13673 58463 177332 | 19487 4518 169 | 0.000 % |
2.37/2.44 c | 4711 | 13673 58463 177332 | 19487 4711 169 | 0.000 % |
2.37/2.48 c | 4812 | 13673 58463 177332 | 19487 4812 170 | 0.000 % |
2.47/2.54 c | 4924 | 13673 58463 177332 | 19487 4924 168 | 0.000 % |
2.47/2.59 c | 5046 | 13673 58463 177332 | 19487 5046 167 | 0.000 % |
2.57/2.66 c | 5180 | 13673 58463 177332 | 19487 5180 167 | 0.000 % |
2.67/2.73 c | 5326 | 13673 58463 177332 | 19487 5326 169 | 0.000 % |
2.76/2.80 c | 5486 | 13673 58463 177332 | 19487 5486 168 | 0.000 % |
2.76/2.88 c | 5664 | 13673 58463 177332 | 19487 5664 168 | 0.000 % |
2.86/2.96 c | 5857 | 13673 58463 177332 | 19487 5857 167 | 0.000 % |
2.96/3.05 c | 6069 | 13673 58463 177332 | 19487 6069 168 | 0.000 % |
3.06/3.10 c | 6171 | 13673 58463 177332 | 19487 6171 167 | 0.000 % |
3.06/3.16 c | 6282 | 13673 58463 177332 | 19487 6282 167 | 0.000 % |
3.16/3.22 c | 6405 | 13673 58463 177332 | 19487 6405 167 | 0.000 % |
3.16/3.28 c | 6538 | 13673 58463 177332 | 19487 6538 168 | 0.000 % |
3.26/3.35 c | 6684 | 13673 58463 177332 | 19487 6684 169 | 0.000 % |
3.36/3.43 c | 6845 | 13673 58463 177332 | 19487 6845 170 | 0.000 % |
3.46/3.51 c | 7021 | 13673 58463 177332 | 19487 7021 170 | 0.000 % |
3.56/3.60 c | 7216 | 13673 58463 177332 | 19487 7216 170 | 0.000 % |
3.56/3.70 c | 7429 | 13673 58463 177332 | 19487 7429 171 | 0.000 % |
3.76/3.81 c | 7663 | 13673 58463 177332 | 19487 7663 171 | 0.000 % |
3.76/3.86 c | 7763 | 13673 58463 177332 | 19487 7763 172 | 0.000 % |
3.86/3.91 c | 7875 | 13673 58463 177332 | 19487 7875 172 | 0.000 % |
3.86/3.97 c | 7996 | 13673 58463 177332 | 19487 7996 171 | 0.000 % |
3.96/4.04 c | 8130 | 13673 58463 177332 | 19487 8130 171 | 0.000 % |
4.06/4.11 c | 8276 | 13673 58463 177332 | 19487 8276 171 | 0.000 % |
4.06/4.18 c | 8438 | 13673 58463 177332 | 19487 8438 171 | 0.000 % |
4.15/4.27 c | 8616 | 13673 58463 177332 | 19487 8616 172 | 0.000 % |
4.25/4.36 c | 8810 | 13673 58463 177332 | 19487 8810 173 | 0.000 % |
4.36/4.47 c | 9022 | 13673 58463 177332 | 19487 9022 174 | 0.000 % |
4.46/4.58 c | 9256 | 13673 58463 177332 | 19487 9256 175 | 0.000 % |
4.65/4.70 c | 9512 | 13673 58463 177332 | 19487 9512 176 | 0.000 % |
4.65/4.76 c | 9612 | 13673 58463 177332 | 19487 9612 176 | 0.000 % |
4.75/4.81 c | 9722 | 13673 58463 177332 | 19487 9722 175 | 0.000 % |
4.75/4.88 c | 9843 | 13673 58463 177332 | 19487 9843 175 | 0.000 % |
4.85/4.95 c | 9978 | 13673 58463 177332 | 19487 9978 175 | 0.000 % |
4.95/5.03 c | 10125 | 13673 58463 177332 | 2147483647 10125 175 | 0.000 % |
5.05/5.11 c | 10285 | 13673 58463 177332 | 2147483647 10285 176 | 0.000 % |
5.05/5.20 c | 10462 | 13673 58463 177332 | 2147483647 10462 177 | 0.000 % |
5.15/5.29 c | 10656 | 13673 58463 177332 | 2147483647 10656 177 | 0.000 % |
5.25/5.39 c | 10868 | 13673 58463 177332 | 2147483647 10868 177 | 0.000 % |
5.46/5.51 c | 11101 | 13673 58463 177332 | 2147483647 11101 177 | 0.000 % |
5.57/5.64 c | 11358 | 13673 58463 177332 | 2147483647 11358 179 | 0.000 % |
5.66/5.79 c | 11639 | 13673 58463 177332 | 2147483647 11639 179 | 0.000 % |
5.76/5.84 c | 11739 | 13673 58463 177332 | 2147483647 11739 179 | 0.000 % |
5.86/5.90 c | 11849 | 13673 58463 177332 | 2147483647 11849 179 | 0.000 % |
5.86/5.97 c | 11970 | 13673 58463 177332 | 2147483647 11970 179 | 0.000 % |
5.96/6.04 c | 12103 | 13673 58463 177332 | 2147483647 12103 178 | 0.000 % |
6.06/6.11 c | 12249 | 13673 58463 177332 | 2147483647 12249 179 | 0.000 % |
6.06/6.20 c | 12409 | 13673 58463 177332 | 2147483647 12409 179 | 0.000 % |
6.16/6.29 c | 12585 | 13673 58463 177332 | 2147483647 12585 179 | 0.000 % |
6.36/6.40 c | 12779 | 13673 58463 177332 | 2147483647 12779 179 | 0.000 % |
6.46/6.51 c | 12992 | 13673 58463 177332 | 2147483647 12992 179 | 0.000 % |
6.56/6.63 c | 13225 | 13673 58463 177332 | 2147483647 13225 180 | 0.000 % |
6.66/6.76 c | 13481 | 13673 58463 177332 | 2147483647 13481 181 | 0.000 % |
6.85/6.92 c | 13762 | 13673 58463 177332 | 2147483647 13762 181 | 0.000 % |
6.95/7.08 c | 14074 | 13673 58463 177332 | 2147483647 14074 182 | 0.000 % |
7.05/7.14 c | 14175 | 13673 58463 177332 | 2147483647 14175 181 | 0.000 % |
7.15/7.20 c | 14285 | 13673 58463 177332 | 2147483647 14285 181 | 0.000 % |
7.15/7.27 c | 14410 | 13673 58463 177332 | 2147483647 14410 182 | 0.000 % |
7.25/7.35 c | 14547 | 13673 58463 177332 | 2147483647 14547 182 | 0.000 % |
7.35/7.43 c | 14693 | 13673 58463 177332 | 2147483647 14693 182 | 0.000 % |
7.45/7.51 c | 14853 | 13673 58463 177332 | 2147483647 14853 182 | 0.000 % |
7.56/7.61 c | 15030 | 13673 58463 177332 | 2147483647 15030 182 | 0.000 % |
7.66/7.71 c | 15224 | 13673 58463 177332 | 2147483647 15224 181 | 0.000 % |
7.76/7.83 c | 15438 | 13673 58463 177332 | 2147483647 15438 181 | 0.000 % |
7.86/7.96 c | 15673 | 13673 58463 177332 | 2147483647 15673 181 | 0.000 % |
8.05/8.10 c | 15930 | 13673 58463 177332 | 2147483647 15930 181 | 0.000 % |
8.15/8.25 c | 16211 | 13673 58463 177332 | 2147483647 16211 182 | 0.000 % |
8.35/8.42 c | 16521 | 13673 58463 177332 | 2147483647 16521 182 | 0.000 % |
8.45/8.59 c | 16861 | 13673 58463 177332 | 2147483647 16861 183 | 0.000 % |
8.55/8.65 c | 16964 | 13673 58463 177332 | 2147483647 16964 182 | 0.000 % |
8.65/8.72 c | 17074 | 13673 58463 177332 | 2147483647 17074 182 | 0.000 % |
8.65/8.79 c | 17195 | 13673 58463 177332 | 2147483647 17195 182 | 0.000 % |
8.76/8.86 c | 17329 | 13673 58463 177332 | 2147483647 17329 182 | 0.000 % |
8.86/8.95 c | 17475 | 13673 58463 177332 | 2147483647 17475 182 | 0.000 % |
8.95/9.04 c | 17635 | 13673 58463 177332 | 2147483647 17635 182 | 0.000 % |
9.05/9.14 c | 17811 | 13673 58463 177332 | 2147483647 17811 182 | 0.000 % |
9.15/9.25 c | 18004 | 13673 58463 177332 | 2147483647 18004 182 | 0.000 % |
9.25/9.37 c | 18216 | 13673 58463 177332 | 2147483647 18216 182 | 0.000 % |
9.45/9.51 c | 18450 | 13673 58463 177332 | 2147483647 18450 183 | 0.000 % |
9.55/9.64 c | 18707 | 13673 58463 177332 | 2147483647 18707 183 | 0.000 % |
9.65/9.79 c | 18989 | 13673 58463 177332 | 2147483647 18989 183 | 0.000 % |
9.86/9.95 c | 19299 | 13673 58463 177332 | 2147483647 19299 183 | 0.000 % |
10.05/10.14 c | 19638 | 13673 58463 177332 | 2147483647 19638 183 | 0.000 % |
10.25/10.33 c | 20010 | 13673 58463 177332 | 2147483647 20010 183 | 0.000 % |
10.25/10.39 c | 20110 | 13673 58463 177332 | 2147483647 20110 183 | 0.000 % |
10.35/10.46 c | 20222 | 13673 58463 177332 | 2147483647 20222 183 | 0.000 % |
10.45/10.53 c | 20344 | 13673 58463 177332 | 2147483647 20344 182 | 0.000 % |
10.55/10.61 c | 20477 | 13673 58463 177332 | 2147483647 20477 182 | 0.000 % |
10.65/10.70 c | 20625 | 13673 58463 177332 | 2147483647 20625 183 | 0.000 % |
10.65/10.79 c | 20785 | 13673 58463 177332 | 2147483647 20785 183 | 0.000 % |
10.75/10.90 c | 20962 | 13673 58463 177332 | 2147483647 20962 183 | 0.000 % |
10.95/11.01 c | 21155 | 13673 58463 177332 | 2147483647 21155 183 | 0.000 % |
11.05/11.13 c | 21369 | 13673 58463 177332 | 2147483647 21369 183 | 0.000 % |
11.15/11.26 c | 21602 | 13673 58463 177332 | 2147483647 21602 184 | 0.000 % |
11.25/11.39 c | 21858 | 13673 58463 177332 | 2147483647 21858 184 | 0.000 % |
11.45/11.55 c | 22141 | 13673 58463 177332 | 2147483647 22141 184 | 0.000 % |
11.65/11.73 c | 22450 | 13673 58463 177332 | 2147483647 22450 184 | 0.000 % |
11.85/11.93 c | 22790 | 13673 58463 177332 | 2147483647 22790 183 | 0.000 % |
12.05/12.16 c | 23163 | 13673 58463 177332 | 2147483647 23163 184 | 0.000 % |
12.34/12.40 c | 23572 | 13673 58463 177332 | 2147483647 23572 184 | 0.000 % |
12.34/12.47 c | 23672 | 13673 58463 177332 | 2147483647 23672 184 | 0.000 % |
12.44/12.54 c | 23782 | 13673 58463 177332 | 2147483647 23782 184 | 0.000 % |
12.54/12.61 c | 23903 | 13673 58463 177332 | 2147483647 23903 184 | 0.000 % |
12.64/12.71 c | 24037 | 13673 58463 177332 | 2147483647 24037 184 | 0.000 % |
12.74/12.80 c | 24183 | 13673 58463 177332 | 2147483647 24183 184 | 0.000 % |
12.74/12.89 c | 24344 | 13673 58463 177332 | 2147483647 24344 184 | 0.000 % |
12.94/13.01 c | 24521 | 13673 58463 177332 | 2147483647 24521 185 | 0.000 % |
13.04/13.13 c | 24715 | 13673 58463 177332 | 2147483647 24715 184 | 0.000 % |
13.14/13.26 c | 24928 | 13673 58463 177332 | 2147483647 24928 185 | 0.000 % |
13.34/13.41 c | 25162 | 13673 58463 177332 | 2147483647 25162 185 | 0.000 % |
13.44/13.56 c | 25419 | 13673 58463 177332 | 2147483647 25419 185 | 0.000 % |
13.64/13.72 c | 25701 | 13673 58463 177332 | 2147483647 25701 185 | 0.000 % |
13.85/13.91 c | 26010 | 13673 58463 177332 | 2147483647 26010 185 | 0.000 % |
14.05/14.12 c | 26349 | 13673 58463 177332 | 2147483647 26349 185 | 0.000 % |
14.25/14.35 c | 26721 | 13673 58463 177332 | 2147483647 26721 185 | 0.000 % |
14.44/14.59 c | 27132 | 13673 58463 177332 | 2147483647 27132 185 | 0.000 % |
14.74/14.84 c | 27583 | 13673 58463 177332 | 2147483647 27583 185 | 0.000 % |
14.84/14.92 c | 27683 | 13673 58463 177332 | 2147483647 27683 185 | 0.000 % |
14.84/14.99 c | 27795 | 13673 58463 177332 | 2147483647 27795 185 | 0.000 % |
14.94/15.07 c | 27919 | 13673 58463 177332 | 2147483647 27919 185 | 0.000 % |
15.04/15.16 c | 28054 | 13673 58463 177332 | 2147483647 28054 185 | 0.000 % |
15.14/15.26 c | 28200 | 13673 58463 177332 | 2147483647 28200 185 | 0.000 % |
15.24/15.35 c | 28360 | 13673 58463 177332 | 2147483647 28360 185 | 0.000 % |
15.34/15.47 c | 28536 | 13673 58463 177332 | 2147483647 28536 185 | 0.000 % |
15.44/15.59 c | 28731 | 13673 58463 177332 | 2147483647 28731 185 | 0.000 % |
15.64/15.73 c | 28943 | 13673 58463 177332 | 2147483647 28943 186 | 0.000 % |
15.74/15.87 c | 29176 | 13673 58463 177332 | 2147483647 29176 186 | 0.000 % |
15.94/16.03 c | 29432 | 13673 58463 177332 | 2147483647 29432 186 | 0.000 % |
16.14/16.21 c | 29713 | 13673 58463 177332 | 2147483647 29713 186 | 0.000 % |
16.24/16.38 c | 30024 | 13673 58463 177332 | 2147483647 30024 186 | 0.000 % |
16.44/16.59 c | 30363 | 13673 58463 177332 | 2147483647 30363 186 | 0.000 % |
16.74/16.82 c | 30736 | 13673 58463 177332 | 2147483647 30736 186 | 0.000 % |
16.94/17.10 c | 31145 | 13673 58463 177332 | 2147483647 31145 186 | 0.000 % |
17.24/17.38 c | 31594 | 13673 58463 177332 | 2147483647 31594 186 | 0.000 % |
17.54/17.68 c | 32088 | 13673 58463 177332 | 2147483647 32088 187 | 0.000 % |
17.64/17.75 c | 32189 | 13673 58463 177332 | 2147483647 32189 187 | 0.000 % |
17.74/17.83 c | 32299 | 13673 58463 177332 | 2147483647 32299 187 | 0.000 % |
17.84/17.91 c | 32420 | 13673 58463 177332 | 2147483647 32420 187 | 0.000 % |
17.94/18.00 c | 32553 | 13673 58463 177332 | 2147483647 32553 187 | 0.000 % |
18.04/18.11 c | 32699 | 13673 58463 177332 | 2147483647 32699 187 | 0.000 % |
18.14/18.21 c | 32859 | 13673 58463 177332 | 2147483647 32859 187 | 0.000 % |
18.24/18.34 c | 33039 | 13673 58463 177332 | 2147483647 33039 187 | 0.000 % |
18.34/18.46 c | 33232 | 13673 58463 177332 | 2147483647 33232 187 | 0.000 % |
18.54/18.61 c | 33444 | 13673 58463 177332 | 2147483647 33444 187 | 0.000 % |
18.64/18.76 c | 33677 | 13673 58463 177332 | 2147483647 33677 187 | 0.000 % |
18.84/18.92 c | 33934 | 13673 58463 177332 | 2147483647 33934 187 | 0.000 % |
19.04/19.11 c | 34215 | 13673 58463 177332 | 2147483647 34215 187 | 0.000 % |
19.24/19.30 c | 34526 | 13673 58463 177332 | 2147483647 34526 187 | 0.000 % |
19.43/19.53 c | 34865 | 13673 58463 177332 | 2147483647 34865 187 | 0.000 % |
19.63/19.79 c | 35238 | 13673 58463 177332 | 2147483647 35238 187 | 0.000 % |
19.94/20.04 c | 35647 | 13673 58463 177332 | 2147483647 35647 187 | 0.000 % |
20.24/20.34 c | 36096 | 13673 58463 177332 | 2147483647 36096 188 | 0.000 % |
20.54/20.68 c | 36590 | 13673 58463 177332 | 2147483647 36590 188 | 0.000 % |
20.94/21.02 c | 37133 | 13673 58463 177332 | 2147483647 37133 188 | 0.000 % |
21.03/21.11 c | 37234 | 13673 58463 177332 | 2147483647 37234 188 | 0.000 % |
21.03/21.19 c | 37344 | 13673 58463 177332 | 2147483647 37344 188 | 0.000 % |
21.13/21.28 c | 37467 | 13673 58463 177332 | 2147483647 37467 188 | 0.000 % |
21.23/21.39 c | 37600 | 13673 58463 177332 | 2147483647 37600 188 | 0.000 % |
21.43/21.50 c | 37748 | 13673 58463 177332 | 2147483647 37748 188 | 0.000 % |
21.53/21.61 c | 37908 | 13673 58463 177332 | 2147483647 37908 188 | 0.000 % |
21.63/21.73 c | 38084 | 13673 58463 177332 | 2147483647 38084 188 | 0.000 % |
21.73/21.88 c | 38280 | 13673 58463 177332 | 2147483647 38280 188 | 0.000 % |
21.95/22.02 c | 38492 | 13673 58463 177332 | 2147483647 38492 188 | 0.000 % |
22.05/22.17 c | 38725 | 13673 58463 177332 | 2147483647 38725 188 | 0.000 % |
22.24/22.33 c | 38981 | 13673 58463 177332 | 2147483647 38981 188 | 0.000 % |
22.44/22.53 c | 39262 | 13673 58463 177332 | 2147483647 39262 189 | 0.000 % |
22.64/22.75 c | 39572 | 13673 58463 177332 | 2147483647 39572 189 | 0.000 % |
22.84/22.98 c | 39911 | 13673 58463 177332 | 2147483647 39911 190 | 0.000 % |
23.14/23.24 c | 40285 | 13673 58463 177332 | 2147483647 40285 190 | 0.000 % |
23.44/23.53 c | 40695 | 13673 58463 177332 | 2147483647 40695 190 | 0.000 % |
23.74/23.84 c | 41147 | 13673 58463 177332 | 2147483647 41147 190 | 0.000 % |
24.04/24.20 c | 41640 | 13673 58463 177332 | 2147483647 41640 191 | 0.000 % |
24.43/24.58 c | 42183 | 13673 58463 177332 | 2147483647 42183 191 | 0.000 % |
24.94/25.01 c | 42781 | 13673 58463 177332 | 2147483647 42781 192 | 0.000 % |
24.94/25.09 c | 42881 | 13673 58463 177332 | 2147483647 42881 193 | 0.000 % |
25.04/25.17 c | 42992 | 13673 58463 177332 | 2147483647 42992 192 | 0.000 % |
25.14/25.26 c | 43114 | 13673 58463 177332 | 2147483647 43114 193 | 0.000 % |
25.24/25.37 c | 43248 | 13673 58463 177332 | 2147483647 43248 193 | 0.000 % |
25.34/25.47 c | 43395 | 13673 58463 177332 | 2147483647 43395 192 | 0.000 % |
25.54/25.60 c | 43555 | 13673 58463 177332 | 2147483647 43555 192 | 0.000 % |
25.64/25.72 c | 43732 | 13673 58463 177332 | 2147483647 43732 192 | 0.000 % |
25.74/25.86 c | 43925 | 13673 58463 177332 | 2147483647 43925 192 | 0.000 % |
25.94/26.03 c | 44137 | 13673 58463 177332 | 2147483647 44137 192 | 0.000 % |
26.04/26.19 c | 44370 | 13673 58463 177332 | 2147483647 44370 192 | 0.000 % |
26.24/26.37 c | 44626 | 13673 58463 177332 | 2147483647 44626 192 | 0.000 % |
26.44/26.58 c | 44909 | 13673 58463 177332 | 2147483647 44909 192 | 0.000 % |
26.73/26.81 c | 45221 | 13673 58463 177332 | 2147483647 45221 192 | 0.000 % |
26.93/27.07 c | 45561 | 13673 58463 177332 | 2147483647 45561 193 | 0.000 % |
27.23/27.34 c | 45933 | 13673 58463 177332 | 2147483647 45933 193 | 0.000 % |
27.53/27.65 c | 46342 | 13673 58463 177332 | 2147483647 46342 193 | 0.000 % |
27.82/27.98 c | 46793 | 13673 58463 177332 | 2147483647 46793 193 | 0.000 % |
28.22/28.32 c | 47286 | 13673 58463 177332 | 2147483647 47286 194 | 0.000 % |
28.63/28.71 c | 47830 | 13673 58463 177332 | 2147483647 47830 194 | 0.000 % |
29.03/29.15 c | 48426 | 13673 58463 177332 | 2147483647 48426 195 | 0.000 % |
29.52/29.61 c | 49081 | 13673 58463 177332 | 2147483647 49081 196 | 0.000 % |
29.52/29.70 c | 49181 | 13673 58463 177332 | 2147483647 49181 196 | 0.000 % |
29.63/29.80 c | 49292 | 13673 58463 177332 | 2147483647 49292 196 | 0.000 % |
29.73/29.89 c | 49413 | 13673 58463 177332 | 2147483647 49413 196 | 0.000 % |
29.82/29.99 c | 49547 | 13673 58463 177332 | 2147483647 49547 196 | 0.000 % |
30.02/30.11 c | 49694 | 13673 58463 177332 | 2147483647 49694 196 | 0.000 % |
30.12/30.24 c | 49854 | 13673 58463 177332 | 2147483647 49854 196 | 0.000 % |
30.22/30.37 c | 50030 | 13673 58463 177332 | 2147483647 50030 196 | 0.000 % |
30.42/30.52 c | 50228 | 13673 58463 177332 | 2147483647 50228 196 | 0.000 % |
30.52/30.70 c | 50441 | 13673 58463 177332 | 2147483647 50441 196 | 0.000 % |
30.73/30.88 c | 50674 | 13673 58463 177332 | 2147483647 50674 196 | 0.000 % |
30.92/31.09 c | 50930 | 13673 58463 177332 | 2147483647 50930 196 | 0.000 % |
31.22/31.30 c | 51211 | 13673 58463 177332 | 2147483647 51211 196 | 0.000 % |
31.42/31.53 c | 51521 | 13673 58463 177332 | 2147483647 51521 195 | 0.000 % |
31.62/31.79 c | 51860 | 13673 58463 177332 | 2147483647 51860 195 | 0.000 % |
31.92/32.06 c | 52235 | 13673 58463 177332 | 2147483647 52235 195 | 0.000 % |
32.22/32.34 c | 52644 | 13673 58463 177332 | 2147483647 52644 196 | 0.000 % |
32.52/32.69 c | 53097 | 13673 58463 177332 | 2147483647 53097 196 | 0.000 % |
32.93/33.08 c | 53590 | 13673 58463 177332 | 2147483647 53590 196 | 0.000 % |
33.32/33.45 c | 54132 | 13673 58463 177332 | 2147483647 54132 196 | 0.000 % |
33.82/33.93 c | 54728 | 13673 58463 177332 | 2147483647 54728 196 | 0.000 % |
34.32/34.44 c | 55383 | 13673 58463 177332 | 2147483647 55383 197 | 0.000 % |
34.82/34.97 c | 56106 | 13673 58463 177332 | 2147483647 56106 197 | 0.000 % |
34.92/35.05 c | 56208 | 13673 58463 177332 | 2147483647 56208 197 | 0.000 % |
35.02/35.14 c | 56318 | 13673 58463 177332 | 2147483647 56318 197 | 0.000 % |
35.13/35.23 c | 56441 | 13673 58463 177332 | 2147483647 56441 197 | 0.000 % |
35.23/35.34 c | 56575 | 13673 58463 177332 | 2147483647 56575 197 | 0.000 % |
35.32/35.47 c | 56722 | 13673 58463 177332 | 2147483647 56722 197 | 0.000 % |
35.52/35.61 c | 56882 | 13673 58463 177332 | 2147483647 56882 197 | 0.000 % |
35.62/35.75 c | 57058 | 13673 58463 177332 | 2147483647 57058 197 | 0.000 % |
35.82/35.92 c | 57251 | 13673 58463 177332 | 2147483647 57251 197 | 0.000 % |
35.92/36.08 c | 57463 | 13673 58463 177332 | 2147483647 57463 197 | 0.000 % |
36.12/36.29 c | 57696 | 13673 58463 177332 | 2147483647 57696 197 | 0.000 % |
36.32/36.49 c | 57952 | 13673 58463 177332 | 2147483647 57952 197 | 0.000 % |
36.62/36.74 c | 58233 | 13673 58463 177332 | 2147483647 58233 197 | 0.000 % |
36.82/36.97 c | 58542 | 13673 58463 177332 | 2147483647 58542 197 | 0.000 % |
37.12/37.26 c | 58882 | 13673 58463 177332 | 2147483647 58882 197 | 0.000 % |
37.42/37.55 c | 59254 | 13673 58463 177332 | 2147483647 59254 197 | 0.000 % |
37.72/37.89 c | 59663 | 13673 58463 177332 | 2147483647 59663 197 | 0.000 % |
38.12/38.26 c | 60112 | 13673 58463 177332 | 2147483647 60112 197 | 0.000 % |
38.52/38.65 c | 60605 | 13673 58463 177332 | 2147483647 60605 197 | 0.000 % |
38.92/39.10 c | 61149 | 13673 58463 177332 | 2147483647 61149 197 | 0.000 % |
39.41/39.58 c | 61745 | 13673 58463 177332 | 2147483647 61745 197 | 0.000 % |
39.92/40.09 c | 62400 | 13673 58463 177332 | 2147483647 62400 198 | 0.000 % |
40.51/40.65 c | 63122 | 13673 58463 177332 | 2147483647 63122 198 | 0.000 % |
41.11/41.29 c | 63914 | 13673 58463 177332 | 2147483647 63914 198 | 0.000 % |
41.21/41.37 c | 64014 | 13673 58463 177332 | 2147483647 64014 198 | 0.000 % |
41.31/41.48 c | 64125 | 13673 58463 177332 | 2147483647 64125 198 | 0.000 % |
41.51/41.60 c | 64249 | 13673 58463 177332 | 2147483647 64249 198 | 0.000 % |
41.61/41.72 c | 64384 | 13673 58463 177332 | 2147483647 64384 198 | 0.000 % |
41.72/41.85 c | 64531 | 13673 58463 177332 | 2147483647 64531 198 | 0.000 % |
41.82/41.98 c | 64693 | 13673 58463 177332 | 2147483647 64693 198 | 0.000 % |
42.01/42.12 c | 64870 | 13673 58463 177332 | 2147483647 64870 198 | 0.000 % |
42.11/42.28 c | 65065 | 13673 58463 177332 | 2147483647 65065 198 | 0.000 % |
42.31/42.46 c | 65279 | 13673 58463 177332 | 2147483647 65279 198 | 0.000 % |
42.51/42.65 c | 65512 | 13673 58463 177332 | 2147483647 65512 198 | 0.000 % |
42.72/42.89 c | 65768 | 13673 58463 177332 | 2147483647 65768 198 | 0.000 % |
43.02/43.13 c | 66050 | 13673 58463 177332 | 2147483647 66050 198 | 0.000 % |
43.22/43.38 c | 66359 | 13673 58463 177332 | 2147483647 66359 198 | 0.000 % |
43.51/43.68 c | 66699 | 13673 58463 177332 | 2147483647 66699 198 | 0.000 % |
43.81/43.98 c | 67073 | 13673 58463 177332 | 2147483647 67073 198 | 0.000 % |
44.21/44.32 c | 67483 | 13673 58463 177332 | 2147483647 67483 199 | 0.000 % |
44.61/44.71 c | 67934 | 13673 58463 177332 | 2147483647 67934 199 | 0.000 % |
45.01/45.13 c | 68430 | 13673 58463 177332 | 2147483647 68430 199 | 0.000 % |
45.42/45.60 c | 68974 | 13673 58463 177332 | 2147483647 68974 199 | 0.000 % |
46.01/46.12 c | 69572 | 13673 58463 177332 | 2147483647 69572 199 | 0.000 % |
46.51/46.65 c | 70231 | 13673 58463 177332 | 2147483647 70231 200 | 0.000 % |
47.11/47.26 c | 70953 | 13673 58463 177332 | 2147483647 70953 200 | 0.000 % |
47.81/47.90 c | 71746 | 13673 58463 177332 | 2147483647 71746 201 | 0.000 % |
48.51/48.64 c | 72617 | 13673 58463 177332 | 2147483647 72617 201 | 0.000 % |
48.61/48.74 c | 72717 | 13673 58463 177332 | 2147483647 72717 201 | 0.000 % |
48.71/48.84 c | 72827 | 13673 58463 177332 | 2147483647 72827 201 | 0.000 % |
48.81/48.96 c | 72948 | 13673 58463 177332 | 2147483647 72948 201 | 0.000 % |
48.91/49.08 c | 73081 | 13673 58463 177332 | 2147483647 73081 201 | 0.000 % |
49.11/49.22 c | 73227 | 13673 58463 177332 | 2147483647 73227 201 | 0.000 % |
49.21/49.37 c | 73387 | 13673 58463 177332 | 2147483647 73387 201 | 0.000 % |
49.42/49.55 c | 73563 | 13673 58463 177332 | 2147483647 73563 201 | 0.000 % |
49.61/49.74 c | 73757 | 13673 58463 177332 | 2147483647 73757 201 | 0.000 % |
49.81/49.93 c | 73970 | 13673 58463 177332 | 2147483647 73970 201 | 0.000 % |
50.01/50.15 c | 74203 | 13673 58463 177332 | 2147483647 74203 201 | 0.000 % |
50.21/50.37 c | 74460 | 13673 58463 177332 | 2147483647 74460 201 | 0.000 % |
50.51/50.63 c | 74742 | 13673 58463 177332 | 2147483647 74742 201 | 0.000 % |
50.81/50.91 c | 75051 | 13673 58463 177332 | 2147483647 75051 201 | 0.000 % |
51.11/51.22 c | 75393 | 13673 58463 177332 | 2147483647 75393 201 | 0.000 % |
51.41/51.52 c | 75765 | 13673 58463 177332 | 2147483647 75765 201 | 0.000 % |
51.71/51.88 c | 76175 | 13673 58463 177332 | 2147483647 76175 201 | 0.000 % |
52.21/52.31 c | 76624 | 13673 58463 177332 | 2147483647 76624 201 | 0.000 % |
52.61/52.73 c | 77119 | 13673 58463 177332 | 2147483647 77119 201 | 0.000 % |
53.01/53.18 c | 77662 | 13673 58463 177332 | 2147483647 77662 201 | 0.000 % |
53.60/53.74 c | 78258 | 13673 58463 177332 | 2147483647 78258 202 | 0.000 % |
54.21/54.32 c | 78913 | 13673 58463 177332 | 2147483647 78913 202 | 0.000 % |
54.81/54.98 c | 79634 | 13673 58463 177332 | 2147483647 79634 202 | 0.000 % |
55.51/55.67 c | 80426 | 13673 58463 177332 | 2147483647 80426 202 | 0.000 % |
56.31/56.45 c | 81299 | 13673 58463 177332 | 2147483647 81299 202 | 0.000 % |
57.21/57.31 c | 82257 | 13673 58463 177332 | 2147483647 82257 203 | 0.000 % |
57.31/57.41 c | 82358 | 13673 58463 177332 | 2147483647 82358 203 | 0.000 % |
57.41/57.52 c | 82468 | 13673 58463 177332 | 2147483647 82468 203 | 0.000 % |
57.51/57.66 c | 82589 | 13673 58463 177332 | 2147483647 82589 203 | 0.000 % |
57.71/57.80 c | 82723 | 13673 58463 177332 | 2147483647 82723 203 | 0.000 % |
57.81/57.96 c | 82869 | 13673 58463 177332 | 2147483647 82869 202 | 0.000 % |
58.01/58.15 c | 83029 | 13673 58463 177332 | 2147483647 83029 202 | 0.000 % |
58.21/58.33 c | 83206 | 13673 58463 177332 | 2147483647 83206 202 | 0.000 % |
58.40/58.52 c | 83400 | 13673 58463 177332 | 2147483647 83400 202 | 0.000 % |
58.60/58.72 c | 83612 | 13673 58463 177332 | 2147483647 83612 202 | 0.000 % |
58.80/58.97 c | 83845 | 13673 58463 177332 | 2147483647 83845 202 | 0.000 % |
59.10/59.22 c | 84102 | 13673 58463 177332 | 2147483647 84102 202 | 0.000 % |
59.41/59.51 c | 84384 | 13673 58463 177332 | 2147483647 84384 202 | 0.000 % |
59.70/59.82 c | 84694 | 13673 58463 177332 | 2147483647 84694 202 | 0.000 % |
60.00/60.19 c | 85033 | 13673 58463 177332 | 2147483647 85033 202 | 0.000 % |
60.40/60.57 c | 85406 | 13673 58463 177332 | 2147483647 85406 202 | 0.000 % |
60.81/60.96 c | 85815 | 13673 58463 177332 | 2147483647 85815 202 | 0.000 % |
61.30/61.40 c | 86266 | 13673 58463 177332 | 2147483647 86266 202 | 0.000 % |
61.70/61.86 c | 86760 | 13673 58463 177332 | 2147483647 86760 202 | 0.000 % |
62.20/62.37 c | 87302 | 13673 58463 177332 | 2147483647 87302 203 | 0.000 % |
62.80/62.93 c | 87900 | 13673 58463 177332 | 2147483647 87900 203 | 0.000 % |
63.40/63.55 c | 88555 | 13673 58463 177332 | 2147483647 88555 203 | 0.000 % |
64.10/64.23 c | 89275 | 13673 58463 177332 | 2147483647 89275 203 | 0.000 % |
64.80/65.00 c | 90067 | 13673 58463 177332 | 2147483647 90067 203 | 0.000 % |
65.60/65.79 c | 90938 | 13673 58463 177332 | 2147483647 90938 203 | 0.000 % |
66.60/66.72 c | 91896 | 13673 58463 177332 | 2147483647 91896 203 | 0.000 % |
67.60/67.74 c | 92949 | 13673 58463 177332 | 2147483647 92949 204 | 0.000 % |
67.70/67.84 c | 93050 | 13673 58463 177332 | 2147483647 93050 204 | 0.000 % |
67.80/67.97 c | 93160 | 13673 58463 177332 | 2147483647 93160 204 | 0.000 % |
67.99/68.12 c | 93283 | 13673 58463 177332 | 2147483647 93283 204 | 0.000 % |
68.10/68.26 c | 93416 | 13673 58463 177332 | 2147483647 93416 203 | 0.000 % |
68.29/68.41 c | 93563 | 13673 58463 177332 | 2147483647 93563 203 | 0.000 % |
68.49/68.61 c | 93723 | 13673 58463 177332 | 2147483647 93723 203 | 0.000 % |
68.69/68.82 c | 93899 | 13673 58463 177332 | 2147483647 93899 204 | 0.000 % |
68.89/69.02 c | 94095 | 13673 58463 177332 | 2147483647 94095 204 | 0.000 % |
69.09/69.26 c | 94308 | 13673 58463 177332 | 2147483647 94308 204 | 0.000 % |
69.31/69.49 c | 94542 | 13673 58463 177332 | 2147483647 94542 204 | 0.000 % |
69.60/69.78 c | 94799 | 13673 58463 177332 | 2147483647 94799 204 | 0.000 % |
69.90/70.06 c | 95080 | 13673 58463 177332 | 2147483647 95080 204 | 0.000 % |
70.20/70.39 c | 95391 | 13673 58463 177332 | 2147483647 95391 204 | 0.000 % |
70.60/70.73 c | 95731 | 13673 58463 177332 | 2147483647 95731 204 | 0.000 % |
71.00/71.10 c | 96104 | 13673 58463 177332 | 2147483647 96104 204 | 0.000 % |
71.30/71.50 c | 96514 | 13673 58463 177332 | 2147483647 96514 204 | 0.000 % |
71.80/71.95 c | 96964 | 13673 58463 177332 | 2147483647 96964 204 | 0.000 % |
72.40/72.54 c | 97458 | 13673 58463 177332 | 2147483647 97458 204 | 0.000 % |
72.89/73.04 c | 98000 | 13673 58463 177332 | 2147483647 98000 204 | 0.000 % |
73.49/73.64 c | 98596 | 13673 58463 177332 | 2147483647 98596 205 | 0.000 % |
74.19/74.31 c | 99251 | 13673 58463 177332 | 2147483647 99251 205 | 0.000 % |
74.89/75.07 c | 99972 | 13673 58463 177332 | 2147483647 99972 205 | 0.000 % |
75.69/75.89 c | 100767 | 13673 58463 177332 | 2147483647 100767 205 | 0.000 % |
76.59/76.75 c | 101640 | 13673 58463 177332 | 2147483647 101640 205 | 0.000 % |
77.59/77.76 c | 102599 | 13673 58463 177332 | 2147483647 102599 205 | 0.000 % |
78.69/78.80 c | 103653 | 13673 58463 177332 | 2147483647 103653 205 | 0.000 % |
79.89/80.01 c | 104811 | 13673 58463 177332 | 2147483647 104811 206 | 0.000 % |
79.99/80.12 c | 104912 | 13673 58463 177332 | 2147483647 104912 206 | 0.000 % |
80.09/80.25 c | 105024 | 13673 58463 177332 | 2147483647 105024 206 | 0.000 % |
80.29/80.42 c | 105148 | 13673 58463 177332 | 2147483647 105148 206 | 0.000 % |
80.39/80.58 c | 105284 | 13673 58463 177332 | 2147483647 105284 206 | 0.000 % |
80.59/80.75 c | 105430 | 13673 58463 177332 | 2147483647 105430 206 | 0.000 % |
80.79/80.94 c | 105590 | 13673 58463 177332 | 2147483647 105590 206 | 0.000 % |
80.98/81.16 c | 105767 | 13673 58463 177332 | 2147483647 105767 206 | 0.000 % |
81.18/81.38 c | 105962 | 13673 58463 177332 | 2147483647 105962 205 | 0.000 % |
81.48/81.63 c | 106174 | 13673 58463 177332 | 2147483647 106174 205 | 0.000 % |
81.68/81.89 c | 106411 | 13673 58463 177332 | 2147483647 106411 205 | 0.000 % |
81.98/82.17 c | 106668 | 13673 58463 177332 | 2147483647 106668 205 | 0.000 % |
82.28/82.48 c | 106950 | 13673 58463 177332 | 2147483647 106950 205 | 0.000 % |
82.69/82.81 c | 107259 | 13673 58463 177332 | 2147483647 107259 206 | 0.000 % |
82.99/83.18 c | 107598 | 13673 58463 177332 | 2147483647 107598 206 | 0.000 % |
83.49/83.61 c | 107974 | 13673 58463 177332 | 2147483647 107974 206 | 0.000 % |
83.79/83.99 c | 108383 | 13673 58463 177332 | 2147483647 108383 206 | 0.000 % |
84.28/84.47 c | 108833 | 13673 58463 177332 | 2147483647 108833 207 | 0.000 % |
84.88/85.01 c | 109328 | 13673 58463 177332 | 2147483647 109328 207 | 0.000 % |
85.38/85.58 c | 109871 | 13673 58463 177332 | 2147483647 109871 207 | 0.000 % |
86.08/86.22 c | 110469 | 13673 58463 177332 | 2147483647 110469 207 | 0.000 % |
86.79/86.96 c | 111125 | 13673 58463 177332 | 2147483647 111125 207 | 0.000 % |
87.58/87.73 c | 111845 | 13673 58463 177332 | 2147483647 111845 207 | 0.000 % |
88.38/88.56 c | 112638 | 13673 58463 177332 | 2147483647 112638 207 | 0.000 % |
89.38/89.53 c | 113513 | 13673 58463 177332 | 2147483647 113513 207 | 0.000 % |
90.38/90.55 c | 114471 | 13673 58463 177332 | 2147483647 114471 207 | 0.000 % |
91.38/91.60 c | 115524 | 13673 58463 177332 | 2147483647 115524 208 | 0.000 % |
92.78/92.90 c | 116682 | 13673 58463 177332 | 2147483647 116682 209 | 0.000 % |
94.18/94.34 c | 117955 | 13673 58463 177332 | 2147483647 117955 209 | 0.000 % |
94.28/94.46 c | 118057 | 13673 58463 177332 | 2147483647 118057 209 | 0.000 % |
94.48/94.63 c | 118167 | 13673 58463 177332 | 2147483647 118167 209 | 0.000 % |
94.58/94.77 c | 118288 | 13673 58463 177332 | 2147483647 118288 209 | 0.000 % |
94.78/94.93 c | 118421 | 13673 58463 177332 | 2147483647 118421 209 | 0.000 % |
94.88/95.10 c | 118567 | 13673 58463 177332 | 2147483647 118567 209 | 0.000 % |
95.18/95.33 c | 118727 | 13673 58463 177332 | 2147483647 118727 209 | 0.000 % |
95.38/95.54 c | 118905 | 13673 58463 177332 | 2147483647 118905 208 | 0.000 % |
95.58/95.79 c | 119099 | 13673 58463 177332 | 2147483647 119099 209 | 0.000 % |
95.88/96.05 c | 119311 | 13673 58463 177332 | 2147483647 119311 209 | 0.000 % |
96.18/96.35 c | 119544 | 13673 58463 177332 | 2147483647 119544 208 | 0.000 % |
96.48/96.66 c | 119801 | 13673 58463 177332 | 2147483647 119801 208 | 0.000 % |
96.88/97.00 c | 120082 | 13673 58463 177332 | 2147483647 120082 208 | 0.000 % |
97.18/97.38 c | 120391 | 13673 58463 177332 | 2147483647 120391 208 | 0.000 % |
97.58/97.77 c | 120730 | 13673 58463 177332 | 2147483647 120730 208 | 0.000 % |
98.08/98.21 c | 121103 | 13673 58463 177332 | 2147483647 121103 208 | 0.000 % |
98.48/98.69 c | 121513 | 13673 58463 177332 | 2147483647 121513 208 | 0.000 % |
98.98/99.19 c | 121963 | 13673 58463 177332 | 2147483647 121963 208 | 0.000 % |
99.57/99.77 c | 122456 | 13673 58463 177332 | 2147483647 122456 209 | 0.000 % |
100.28/100.42 c | 122998 | 13673 58463 177332 | 2147483647 122998 209 | 0.000 % |
100.98/101.13 c | 123594 | 13673 58463 177332 | 2147483647 123594 209 | 0.000 % |
101.78/101.93 c | 124250 | 13673 58463 177332 | 2147483647 124250 209 | 0.000 % |
102.58/102.79 c | 124970 | 13673 58463 177332 | 2147483647 124970 209 | 0.000 % |
103.57/103.72 c | 125764 | 13673 58463 177332 | 2147483647 125764 209 | 0.000 % |
104.48/104.65 c | 126635 | 13673 58463 177332 | 2147483647 126635 209 | 0.000 % |
105.58/105.73 c | 127593 | 13673 58463 177332 | 2147483647 127593 209 | 0.000 % |
106.77/106.96 c | 128647 | 13673 58463 177332 | 2147483647 128647 209 | 0.000 % |
108.07/108.29 c | 129807 | 13673 58463 177332 | 2147483647 129807 210 | 0.000 % |
109.58/109.71 c | 131081 | 13673 58463 177332 | 2147483647 131081 211 | 0.000 % |
111.17/111.35 c | 132481 | 13673 58463 177332 | 2147483647 132481 211 | 0.000 % |
111.27/111.49 c | 132583 | 13673 58463 177332 | 2147483647 132583 211 | 0.000 % |
111.47/111.66 c | 132693 | 13673 58463 177332 | 2147483647 132693 211 | 0.000 % |
111.67/111.84 c | 132814 | 13673 58463 177332 | 2147483647 132814 211 | 0.000 % |
111.87/112.02 c | 132948 | 13673 58463 177332 | 2147483647 132948 211 | 0.000 % |
112.08/112.24 c | 133094 | 13673 58463 177332 | 2147483647 133094 211 | 0.000 % |
112.27/112.49 c | 133254 | 13673 58463 177332 | 2147483647 133254 211 | 0.000 % |
112.57/112.72 c | 133430 | 13673 58463 177332 | 2147483647 133430 211 | 0.000 % |
112.77/112.96 c | 133623 | 13673 58463 177332 | 2147483647 133623 211 | 0.000 % |
113.07/113.23 c | 133835 | 13673 58463 177332 | 2147483647 133835 211 | 0.000 % |
113.37/113.54 c | 134070 | 13673 58463 177332 | 2147483647 134070 211 | 0.000 % |
113.77/113.91 c | 134328 | 13673 58463 177332 | 2147483647 134328 211 | 0.000 % |
114.07/114.28 c | 134610 | 13673 58463 177332 | 2147483647 134610 211 | 0.000 % |
114.47/114.67 c | 134919 | 13673 58463 177332 | 2147483647 134919 211 | 0.000 % |
114.98/115.12 c | 135261 | 13673 58463 177332 | 2147483647 135261 211 | 0.000 % |
115.38/115.59 c | 135635 | 13673 58463 177332 | 2147483647 135635 211 | 0.000 % |
115.87/116.08 c | 136044 | 13673 58463 177332 | 2147483647 136044 210 | 0.000 % |
116.48/116.69 c | 136493 | 13673 58463 177332 | 2147483647 136493 210 | 0.000 % |
117.17/117.33 c | 136987 | 13673 58463 177332 | 2147483647 136987 210 | 0.000 % |
117.77/117.98 c | 137529 | 13673 58463 177332 | 2147483647 137529 210 | 0.000 % |
118.46/118.67 c | 138125 | 13673 58463 177332 | 2147483647 138125 210 | 0.000 % |
119.26/119.46 c | 138780 | 13673 58463 177332 | 2147483647 138780 210 | 0.000 % |
120.16/120.31 c | 139500 | 13673 58463 177332 | 2147483647 139500 210 | 0.000 % |
121.06/121.30 c | 140293 | 13673 58463 177332 | 2147483647 140293 211 | 0.000 % |
122.26/122.42 c | 141166 | 13673 58463 177332 | 2147483647 141166 211 | 0.000 % |
123.46/123.60 c | 142124 | 13673 58463 177332 | 2147483647 142124 211 | 0.000 % |
124.66/124.87 c | 143177 | 13673 58463 177332 | 2147483647 143177 211 | 0.000 % |
126.06/126.27 c | 144335 | 13673 58463 177332 | 2147483647 144335 212 | 0.000 % |
127.56/127.71 c | 145608 | 13673 58463 177332 | 2147483647 145608 212 | 0.000 % |
129.16/129.30 c | 147009 | 13673 58463 177332 | 2147483647 147009 212 | 0.000 % |
131.05/131.27 c | 148550 | 13673 58463 177332 | 2147483647 148550 213 | 0.000 % |
131.25/131.43 c | 148650 | 13673 58463 177332 | 2147483647 148650 213 | 0.000 % |
131.45/131.62 c | 148761 | 13673 58463 177332 | 2147483647 148761 213 | 0.000 % |
131.65/131.81 c | 148883 | 13673 58463 177332 | 2147483647 148883 213 | 0.000 % |
131.76/131.99 c | 149018 | 13673 58463 177332 | 2147483647 149018 213 | 0.000 % |
132.06/132.23 c | 149167 | 13673 58463 177332 | 2147483647 149167 213 | 0.000 % |
132.26/132.49 c | 149327 | 13673 58463 177332 | 2147483647 149327 213 | 0.000 % |
132.56/132.74 c | 149504 | 13673 58463 177332 | 2147483647 149504 213 | 0.000 % |
132.86/133.06 c | 149698 | 13673 58463 177332 | 2147483647 149698 213 | 0.000 % |
133.16/133.36 c | 149910 | 13673 58463 177332 | 2147483647 149910 213 | 0.000 % |
133.46/133.69 c | 150143 | 13673 58463 177332 | 2147483647 150143 213 | 0.000 % |
133.86/134.01 c | 150399 | 13673 58463 177332 | 2147483647 150399 213 | 0.000 % |
134.16/134.39 c | 150681 | 13673 58463 177332 | 2147483647 150681 213 | 0.000 % |
134.66/134.82 c | 150992 | 13673 58463 177332 | 2147483647 150992 213 | 0.000 % |
135.05/135.28 c | 151331 | 13673 58463 177332 | 2147483647 151331 213 | 0.000 % |
135.56/135.77 c | 151704 | 13673 58463 177332 | 2147483647 151704 213 | 0.000 % |
136.15/136.31 c | 152113 | 13673 58463 177332 | 2147483647 152113 213 | 0.000 % |
136.65/136.86 c | 152562 | 13673 58463 177332 | 2147483647 152562 213 | 0.000 % |
137.36/137.54 c | 153055 | 13673 58463 177332 | 2147483647 153055 213 | 0.000 % |
138.16/138.30 c | 153598 | 13673 58463 177332 | 2147483647 153598 213 | 0.000 % |
138.96/139.11 c | 154195 | 13673 58463 177332 | 2147483647 154195 213 | 0.000 % |
139.76/139.97 c | 154851 | 13673 58463 177332 | 2147483647 154851 213 | 0.000 % |
140.76/140.90 c | 155572 | 13673 58463 177332 | 2147483647 155572 213 | 0.000 % |
141.65/141.90 c | 156367 | 13673 58463 177332 | 2147483647 156367 213 | 0.000 % |
142.85/143.01 c | 157239 | 13673 58463 177332 | 2147483647 157239 213 | 0.000 % |
144.05/144.27 c | 158198 | 13673 58463 177332 | 2147483647 158198 213 | 0.000 % |
145.35/145.57 c | 159253 | 13673 58463 177332 | 2147483647 159253 213 | 0.000 % |
146.95/147.10 c | 160412 | 13673 58463 177332 | 2147483647 160412 213 | 0.000 % |
148.46/148.64 c | 161685 | 13673 58463 177332 | 2147483647 161685 214 | 0.000 % |
150.15/150.35 c | 163087 | 13673 58463 177332 | 2147483647 163087 215 | 0.000 % |
152.14/152.33 c | 164627 | 13673 58463 177332 | 2147483647 164627 215 | 0.000 % |
154.35/154.55 c | 166322 | 13673 58463 177332 | 2147483647 166322 215 | 0.000 % |
154.55/154.70 c | 166423 | 13673 58463 177332 | 2147483647 166423 215 | 0.000 % |
154.65/154.89 c | 166533 | 13673 58463 177332 | 2147483647 166533 215 | 0.000 % |
154.96/155.12 c | 166657 | 13673 58463 177332 | 2147483647 166657 215 | 0.000 % |
155.15/155.32 c | 166791 | 13673 58463 177332 | 2147483647 166791 215 | 0.000 % |
155.35/155.55 c | 166937 | 13673 58463 177332 | 2147483647 166937 215 | 0.000 % |
155.55/155.77 c | 167097 | 13673 58463 177332 | 2147483647 167097 215 | 0.000 % |
155.85/156.05 c | 167274 | 13673 58463 177332 | 2147483647 167274 215 | 0.000 % |
156.15/156.34 c | 167467 | 13673 58463 177332 | 2147483647 167467 215 | 0.000 % |
156.45/156.70 c | 167680 | 13673 58463 177332 | 2147483647 167680 215 | 0.000 % |
156.85/157.04 c | 167914 | 13673 58463 177332 | 2147483647 167914 215 | 0.000 % |
157.25/157.46 c | 168172 | 13673 58463 177332 | 2147483647 168172 215 | 0.000 % |
157.75/157.91 c | 168453 | 13673 58463 177332 | 2147483647 168453 215 | 0.000 % |
158.25/158.43 c | 168762 | 13673 58463 177332 | 2147483647 168762 215 | 0.000 % |
158.74/158.97 c | 169104 | 13673 58463 177332 | 2147483647 169104 215 | 0.000 % |
159.36/159.50 c | 169478 | 13673 58463 177332 | 2147483647 169478 214 | 0.000 % |
159.95/160.13 c | 169887 | 13673 58463 177332 | 2147483647 169887 214 | 0.000 % |
160.55/160.78 c | 170340 | 13673 58463 177332 | 2147483647 170340 214 | 0.000 % |
161.25/161.44 c | 170834 | 13673 58463 177332 | 2147483647 170834 214 | 0.000 % |
161.94/162.17 c | 171377 | 13673 58463 177332 | 2147483647 171377 214 | 0.000 % |
162.75/162.99 c | 171975 | 13673 58463 177332 | 2147483647 171975 214 | 0.000 % |
163.64/163.87 c | 172630 | 13673 58463 177332 | 2147483647 172630 214 | 0.000 % |
164.64/164.87 c | 173350 | 13673 58463 177332 | 2147483647 173350 214 | 0.000 % |
165.64/165.88 c | 174142 | 13673 58463 177332 | 2147483647 174142 214 | 0.000 % |
166.84/167.09 c | 175014 | 13673 58463 177332 | 2147483647 175014 215 | 0.000 % |
168.34/168.56 c | 175972 | 13673 58463 177332 | 2147483647 175972 215 | 0.000 % |
169.84/170.02 c | 177027 | 13673 58463 177332 | 2147483647 177027 215 | 0.000 % |
171.45/171.70 c | 178188 | 13673 58463 177332 | 2147483647 178188 215 | 0.000 % |
173.24/173.49 c | 179461 | 13673 58463 177332 | 2147483647 179461 215 | 0.000 % |
175.24/175.46 c | 180861 | 13673 58463 177332 | 2147483647 180861 216 | 0.000 % |
177.34/177.58 c | 182402 | 13673 58463 177332 | 2147483647 182402 216 | 0.000 % |
179.83/180.01 c | 184099 | 13673 58463 177332 | 2147483647 184099 216 | 0.000 % |
182.53/182.75 c | 185966 | 13673 58463 177332 | 2147483647 185966 216 | 0.000 % |
182.73/182.90 c | 186066 | 13673 58463 177332 | 2147483647 186066 216 | 0.000 % |
182.94/183.11 c | 186176 | 13673 58463 177332 | 2147483647 186176 216 | 0.000 % |
183.14/183.36 c | 186297 | 13673 58463 177332 | 2147483647 186297 216 | 0.000 % |
183.44/183.60 c | 186434 | 13673 58463 177332 | 2147483647 186434 216 | 0.000 % |
183.64/183.87 c | 186580 | 13673 58463 177332 | 2147483647 186580 216 | 0.000 % |
183.94/184.18 c | 186740 | 13673 58463 177332 | 2147483647 186740 216 | 0.000 % |
184.24/184.47 c | 186918 | 13673 58463 177332 | 2147483647 186918 216 | 0.000 % |
184.54/184.80 c | 187111 | 13673 58463 177332 | 2147483647 187111 216 | 0.000 % |
184.93/185.13 c | 187323 | 13673 58463 177332 | 2147483647 187323 216 | 0.000 % |
185.33/185.50 c | 187558 | 13673 58463 177332 | 2147483647 187558 216 | 0.000 % |
185.73/185.97 c | 187816 | 13673 58463 177332 | 2147483647 187816 216 | 0.000 % |
186.23/186.41 c | 188098 | 13673 58463 177332 | 2147483647 188098 216 | 0.000 % |
186.63/186.87 c | 188407 | 13673 58463 177332 | 2147483647 188407 216 | 0.000 % |
187.23/187.41 c | 188746 | 13673 58463 177332 | 2147483647 188746 216 | 0.000 % |
187.73/187.97 c | 189119 | 13673 58463 177332 | 2147483647 189119 216 | 0.000 % |
188.33/188.59 c | 189528 | 13673 58463 177332 | 2147483647 189528 216 | 0.000 % |
189.14/189.30 c | 189977 | 13673 58463 177332 | 2147483647 189977 216 | 0.000 % |
189.83/190.07 c | 190470 | 13673 58463 177332 | 2147483647 190470 216 | 0.000 % |
190.63/190.86 c | 191013 | 13673 58463 177332 | 2147483647 191013 216 | 0.000 % |
191.53/191.78 c | 191609 | 13673 58463 177332 | 2147483647 191609 216 | 0.000 % |
192.53/192.72 c | 192264 | 13673 58463 177332 | 2147483647 192264 216 | 0.000 % |
193.63/193.84 c | 192984 | 13673 58463 177332 | 2147483647 192984 216 | 0.000 % |
194.73/194.99 c | 193778 | 13673 58463 177332 | 2147483647 193778 217 | 0.000 % |
196.12/196.35 c | 194649 | 13673 58463 177332 | 2147483647 194649 217 | 0.000 % |
197.63/197.85 c | 195607 | 13673 58463 177332 | 2147483647 195607 217 | 0.000 % |
199.23/199.41 c | 196660 | 13673 58463 177332 | 2147483647 196660 217 | 0.000 % |
200.93/201.13 c | 197818 | 13673 58463 177332 | 2147483647 197818 217 | 0.000 % |
202.82/203.06 c | 199091 | 13673 58463 177332 | 2147483647 199091 217 | 0.000 % |
205.02/205.22 c | 200492 | 13673 58463 177332 | 2147483647 200492 218 | 0.000 % |
207.22/207.48 c | 202035 | 13673 58463 177332 | 2147483647 202035 218 | 0.000 % |
209.71/209.96 c | 203731 | 13673 58463 177332 | 2147483647 203731 218 | 0.000 % |
212.51/212.79 c | 205594 | 13673 58463 177332 | 2147483647 205594 219 | 0.000 % |
215.71/215.99 c | 207643 | 13673 58463 177332 | 2147483647 207643 219 | 0.000 % |
215.91/216.16 c | 207745 | 13673 58463 177332 | 2147483647 207745 219 | 0.000 % |
216.11/216.37 c | 207855 | 13673 58463 177332 | 2147483647 207855 219 | 0.000 % |
216.41/216.63 c | 207976 | 13673 58463 177332 | 2147483647 207976 219 | 0.000 % |
216.61/216.89 c | 208109 | 13673 58463 177332 | 2147483647 208109 219 | 0.000 % |
216.90/217.18 c | 208258 | 13673 58463 177332 | 2147483647 208258 219 | 0.000 % |
217.20/217.45 c | 208420 | 13673 58463 177332 | 2147483647 208420 219 | 0.000 % |
217.50/217.73 c | 208597 | 13673 58463 177332 | 2147483647 208597 219 | 0.000 % |
217.90/218.10 c | 208791 | 13673 58463 177332 | 2147483647 208791 219 | 0.000 % |
218.30/218.51 c | 209003 | 13673 58463 177332 | 2147483647 209003 219 | 0.000 % |
218.71/218.93 c | 209236 | 13673 58463 177332 | 2147483647 209236 218 | 0.000 % |
219.10/219.37 c | 209493 | 13673 58463 177332 | 2147483647 209493 219 | 0.000 % |
219.60/219.86 c | 209776 | 13673 58463 177332 | 2147483647 209776 219 | 0.000 % |
220.10/220.39 c | 210086 | 13673 58463 177332 | 2147483647 210086 219 | 0.000 % |
220.70/220.99 c | 210425 | 13673 58463 177332 | 2147483647 210425 219 | 0.000 % |
221.41/221.63 c | 210797 | 13673 58463 177332 | 2147483647 210797 219 | 0.000 % |
222.11/222.34 c | 211207 | 13673 58463 177332 | 2147483647 211207 218 | 0.000 % |
222.81/223.03 c | 211657 | 13673 58463 177332 | 2147483647 211657 219 | 0.000 % |
223.61/223.82 c | 212152 | 13673 58463 177332 | 2147483647 212152 219 | 0.000 % |
224.50/224.72 c | 212694 | 13673 58463 177332 | 2147483647 212694 219 | 0.000 % |
225.41/225.64 c | 213290 | 13673 58463 177332 | 2147483647 213290 218 | 0.000 % |
226.51/226.72 c | 213945 | 13673 58463 177332 | 2147483647 213945 218 | 0.000 % |
227.60/227.84 c | 214668 | 13673 58463 177332 | 2147483647 214668 219 | 0.000 % |
228.80/229.09 c | 215460 | 13673 58463 177332 | 2147483647 215460 219 | 0.000 % |
230.20/230.47 c | 216331 | 13673 58463 177332 | 2147483647 216331 219 | 0.000 % |
231.80/232.00 c | 217290 | 13673 58463 177332 | 2147483647 217290 219 | 0.000 % |
233.41/233.68 c | 218346 | 13673 58463 177332 | 2147483647 218346 219 | 0.000 % |
235.31/235.52 c | 219505 | 13673 58463 177332 | 2147483647 219505 219 | 0.000 % |
237.40/237.68 c | 220783 | 13673 58463 177332 | 2147483647 220783 219 | 0.000 % |
239.60/239.87 c | 222183 | 13673 58463 177332 | 2147483647 222183 220 | 0.000 % |
241.99/242.28 c | 223723 | 13673 58463 177332 | 2147483647 223723 220 | 0.000 % |
244.59/244.88 c | 225417 | 13673 58463 177332 | 2147483647 225417 220 | 0.000 % |
247.69/247.97 c | 227280 | 13673 58463 177332 | 2147483647 227280 221 | 0.000 % |
250.79/251.05 c | 229329 | 13673 58463 177332 | 2147483647 229329 221 | 0.000 % |
254.28/254.56 c | 231582 | 13673 58463 177332 | 2147483647 231582 222 | 0.000 % |
254.48/254.78 c | 231682 | 13673 58463 177332 | 2147483647 231682 222 | 0.000 % |
254.78/255.00 c | 231793 | 13673 58463 177332 | 2147483647 231793 222 | 0.000 % |
254.98/255.23 c | 231915 | 13673 58463 177332 | 2147483647 231915 222 | 0.000 % |
255.18/255.49 c | 232048 | 13673 58463 177332 | 2147483647 232048 222 | 0.000 % |
255.58/255.82 c | 232196 | 13673 58463 177332 | 2147483647 232196 222 | 0.000 % |
255.88/256.15 c | 232356 | 13673 58463 177332 | 2147483647 232356 222 | 0.000 % |
256.28/256.51 c | 232534 | 13673 58463 177332 | 2147483647 232534 222 | 0.000 % |
256.68/256.94 c | 232728 | 13673 58463 177332 | 2147483647 232728 222 | 0.000 % |
257.08/257.34 c | 232940 | 13673 58463 177332 | 2147483647 232940 221 | 0.000 % |
257.48/257.75 c | 233175 | 13673 58463 177332 | 2147483647 233175 221 | 0.000 % |
257.98/258.25 c | 233432 | 13673 58463 177332 | 2147483647 233432 221 | 0.000 % |
258.48/258.75 c | 233713 | 13673 58463 177332 | 2147483647 233713 221 | 0.000 % |
259.07/259.34 c | 234022 | 13673 58463 177332 | 2147483647 234022 221 | 0.000 % |
259.78/260.01 c | 234361 | 13673 58463 177332 | 2147483647 234361 221 | 0.000 % |
260.38/260.62 c | 234733 | 13673 58463 177332 | 2147483647 234733 221 | 0.000 % |
261.08/261.37 c | 235142 | 13673 58463 177332 | 2147483647 235142 221 | 0.000 % |
261.98/262.22 c | 235592 | 13673 58463 177332 | 2147483647 235592 221 | 0.000 % |
262.88/263.11 c | 236086 | 13673 58463 177332 | 2147483647 236086 221 | 0.000 % |
263.88/264.15 c | 236628 | 13673 58463 177332 | 2147483647 236628 221 | 0.000 % |
264.88/265.19 c | 237226 | 13673 58463 177332 | 2147483647 237226 222 | 0.000 % |
266.08/266.32 c | 237881 | 13673 58463 177332 | 2147483647 237881 222 | 0.000 % |
267.28/267.59 c | 238601 | 13673 58463 177332 | 2147483647 238601 222 | 0.000 % |
268.68/268.94 c | 239393 | 13673 58463 177332 | 2147483647 239393 222 | 0.000 % |
270.17/270.40 c | 240264 | 13673 58463 177332 | 2147483647 240264 222 | 0.000 % |
271.77/272.02 c | 241222 | 13673 58463 177332 | 2147483647 241222 222 | 0.000 % |
273.58/273.83 c | 242276 | 13673 58463 177332 | 2147483647 242276 222 | 0.000 % |
275.47/275.73 c | 243435 | 13673 58463 177332 | 2147483647 243435 222 | 0.000 % |
277.57/277.82 c | 244708 | 13673 58463 177332 | 2147483647 244708 222 | 0.000 % |
279.87/280.19 c | 246110 | 13673 58463 177332 | 2147483647 246110 222 | 0.000 % |
282.57/282.89 c | 247650 | 13673 58463 177332 | 2147483647 247650 223 | 0.000 % |
285.47/285.71 c | 249346 | 13673 58463 177332 | 2147483647 249346 223 | 0.000 % |
288.67/288.94 c | 251209 | 13673 58463 177332 | 2147483647 251209 223 | 0.000 % |
292.16/292.42 c | 253258 | 13673 58463 177332 | 2147483647 253258 223 | 0.000 % |
295.96/296.22 c | 255511 | 13673 58463 177332 | 2147483647 255511 224 | 0.000 % |
300.46/300.76 c | 257989 | 13673 58463 177332 | 2147483647 257989 224 | 0.000 % |
300.65/300.98 c | 258089 | 13673 58463 177332 | 2147483647 258089 224 | 0.000 % |
300.95/301.27 c | 258199 | 13673 58463 177332 | 2147483647 258199 224 | 0.000 % |
301.26/301.55 c | 258320 | 13673 58463 177332 | 2147483647 258320 224 | 0.000 % |
301.55/301.85 c | 258454 | 13673 58463 177332 | 2147483647 258454 224 | 0.000 % |
301.85/302.17 c | 258600 | 13673 58463 177332 | 2147483647 258600 224 | 0.000 % |
302.25/302.52 c | 258761 | 13673 58463 177332 | 2147483647 258761 224 | 0.000 % |
302.55/302.88 c | 258937 | 13673 58463 177332 | 2147483647 258937 224 | 0.000 % |
303.05/303.30 c | 259132 | 13673 58463 177332 | 2147483647 259132 224 | 0.000 % |
303.46/303.76 c | 259346 | 13673 58463 177332 | 2147483647 259346 224 | 0.000 % |
303.96/304.20 c | 259580 | 13673 58463 177332 | 2147483647 259580 224 | 0.000 % |
304.46/304.74 c | 259836 | 13673 58463 177332 | 2147483647 259836 224 | 0.000 % |
305.05/305.32 c | 260121 | 13673 58463 177332 | 2147483647 260121 224 | 0.000 % |
305.66/305.96 c | 260431 | 13673 58463 177332 | 2147483647 260431 224 | 0.000 % |
306.35/306.62 c | 260771 | 13673 58463 177332 | 2147483647 260771 224 | 0.000 % |
307.05/307.32 c | 261143 | 13673 58463 177332 | 2147483647 261143 224 | 0.000 % |
307.76/308.06 c | 261552 | 13673 58463 177332 | 2147483647 261552 224 | 0.000 % |
308.65/308.98 c | 262002 | 13673 58463 177332 | 2147483647 262002 224 | 0.000 % |
309.65/309.92 c | 262497 | 13673 58463 177332 | 2147483647 262497 224 | 0.000 % |
310.65/310.92 c | 263039 | 13673 58463 177332 | 2147483647 263039 224 | 0.000 % |
311.75/312.07 c | 263636 | 13673 58463 177332 | 2147483647 263636 224 | 0.000 % |
313.05/313.35 c | 264291 | 13673 58463 177332 | 2147483647 264291 224 | 0.000 % |
314.35/314.63 c | 265014 | 13673 58463 177332 | 2147483647 265014 224 | 0.000 % |
315.75/316.09 c | 265806 | 13673 58463 177332 | 2147483647 265806 224 | 0.000 % |
317.35/317.65 c | 266677 | 13673 58463 177332 | 2147483647 266677 224 | 0.000 % |
319.15/319.42 c | 267635 | 13673 58463 177332 | 2147483647 267635 224 | 0.000 % |
320.95/321.29 c | 268690 | 13673 58463 177332 | 2147483647 268690 224 | 0.000 % |
323.05/323.36 c | 269851 | 13673 58463 177332 | 2147483647 269851 224 | 0.000 % |
325.45/325.79 c | 271124 | 13673 58463 177332 | 2147483647 271124 224 | 0.000 % |
328.05/328.36 c | 272524 | 13673 58463 177332 | 2147483647 272524 225 | 0.000 % |
330.85/331.20 c | 274064 | 13673 58463 177332 | 2147483647 274064 225 | 0.000 % |
334.04/334.38 c | 275760 | 13673 58463 177332 | 2147483647 275760 225 | 0.000 % |
337.64/337.94 c | 277623 | 13673 58463 177332 | 2147483647 277623 225 | 0.000 % |
341.24/341.58 c | 279675 | 13673 58463 177332 | 2147483647 279675 226 | 0.000 % |
345.62/345.97 c | 281928 | 13673 58463 177332 | 2147483647 281928 226 | 0.000 % |
350.12/350.40 c | 284407 | 13673 58463 177332 | 2147483647 284407 226 | 0.000 % |
355.03/355.31 c | 287132 | 13673 58463 177332 | 2147483647 287132 227 | 0.000 % |
355.23/355.57 c | 287232 | 13673 58463 177332 | 2147483647 287232 227 | 0.000 % |
355.52/355.84 c | 287343 | 13673 58463 177332 | 2147483647 287343 227 | 0.000 % |
355.82/356.13 c | 287464 | 13673 58463 177332 | 2147483647 287464 227 | 0.000 % |
356.13/356.44 c | 287598 | 13673 58463 177332 | 2147483647 287598 227 | 0.000 % |
356.52/356.81 c | 287745 | 13673 58463 177332 | 2147483647 287745 227 | 0.000 % |
356.82/357.19 c | 287906 | 13673 58463 177332 | 2147483647 287906 226 | 0.000 % |
357.33/357.60 c | 288082 | 13673 58463 177332 | 2147483647 288082 226 | 0.000 % |
357.82/358.11 c | 288275 | 13673 58463 177332 | 2147483647 288275 226 | 0.000 % |
358.22/358.56 c | 288487 | 13673 58463 177332 | 2147483647 288487 226 | 0.000 % |
358.82/359.11 c | 288721 | 13673 58463 177332 | 2147483647 288721 226 | 0.000 % |
359.32/359.65 c | 288978 | 13673 58463 177332 | 2147483647 288978 226 | 0.000 % |
359.92/360.29 c | 289259 | 13673 58463 177332 | 2147483647 289259 226 | 0.000 % |
360.62/360.97 c | 289569 | 13673 58463 177332 | 2147483647 289569 226 | 0.000 % |
361.43/361.71 c | 289908 | 13673 58463 177332 | 2147483647 289908 226 | 0.000 % |
362.22/362.50 c | 290281 | 13673 58463 177332 | 2147483647 290281 226 | 0.000 % |
363.02/363.34 c | 290690 | 13673 58463 177332 | 2147483647 290690 226 | 0.000 % |
363.92/364.25 c | 291139 | 13673 58463 177332 | 2147483647 291139 226 | 0.000 % |
364.82/365.19 c | 291632 | 13673 58463 177332 | 2147483647 291632 226 | 0.000 % |
365.81/366.19 c | 292175 | 13673 58463 177332 | 2147483647 292175 226 | 0.000 % |
367.02/367.36 c | 292772 | 13673 58463 177332 | 2147483647 292772 226 | 0.000 % |
368.32/368.69 c | 293427 | 13673 58463 177332 | 2147483647 293427 226 | 0.000 % |
369.81/370.14 c | 294148 | 13673 58463 177332 | 2147483647 294148 226 | 0.000 % |
371.42/371.72 c | 294940 | 13673 58463 177332 | 2147483647 294940 226 | 0.000 % |
373.02/373.38 c | 295811 | 13673 58463 177332 | 2147483647 295811 226 | 0.000 % |
374.82/375.20 c | 296769 | 13673 58463 177332 | 2147483647 296769 226 | 0.000 % |
377.01/377.40 c | 297824 | 13673 58463 177332 | 2147483647 297824 226 | 0.000 % |
379.21/379.59 c | 298983 | 13673 58463 177332 | 2147483647 298983 226 | 0.000 % |
381.71/382.08 c | 300257 | 13673 58463 177332 | 2147483647 300257 226 | 0.000 % |
384.41/384.74 c | 301657 | 13673 58463 177332 | 2147483647 301657 226 | 0.000 % |
387.30/387.69 c | 303197 | 13673 58463 177332 | 2147483647 303197 226 | 0.000 % |
390.50/390.88 c | 304893 | 13673 58463 177332 | 2147483647 304893 226 | 0.000 % |
394.00/394.37 c | 306757 | 13673 58463 177332 | 2147483647 306757 226 | 0.000 % |
398.00/398.38 c | 308806 | 13673 58463 177332 | 2147483647 308806 226 | 0.000 % |
402.50/402.82 c | 311059 | 13673 58463 177332 | 2147483647 311059 226 | 0.000 % |
407.59/407.94 c | 313538 | 13673 58463 177332 | 2147483647 313538 227 | 0.000 % |
413.09/413.40 c | 316263 | 13673 58463 177332 | 2147483647 316263 227 | 0.000 % |
418.99/419.35 c | 319262 | 13673 58463 177332 | 2147483647 319262 227 | 0.000 % |
419.29/419.60 c | 319363 | 13673 58463 177332 | 2147483647 319363 227 | 0.000 % |
419.59/419.93 c | 319476 | 13673 58463 177332 | 2147483647 319476 227 | 0.000 % |
419.89/420.27 c | 319597 | 13673 58463 177332 | 2147483647 319597 227 | 0.000 % |
420.29/420.65 c | 319730 | 13673 58463 177332 | 2147483647 319730 227 | 0.000 % |
420.69/421.01 c | 319877 | 13673 58463 177332 | 2147483647 319877 227 | 0.000 % |
421.09/421.43 c | 320037 | 13673 58463 177332 | 2147483647 320037 227 | 0.000 % |
421.58/421.92 c | 320213 | 13673 58463 177332 | 2147483647 320213 227 | 0.000 % |
421.98/422.36 c | 320406 | 13673 58463 177332 | 2147483647 320406 227 | 0.000 % |
422.58/422.91 c | 320620 | 13673 58463 177332 | 2147483647 320620 227 | 0.000 % |
423.08/423.40 c | 320854 | 13673 58463 177332 | 2147483647 320854 227 | 0.000 % |
423.68/424.00 c | 321110 | 13673 58463 177332 | 2147483647 321110 227 | 0.000 % |
424.29/424.63 c | 321392 | 13673 58463 177332 | 2147483647 321392 227 | 0.000 % |
424.98/425.36 c | 321704 | 13673 58463 177332 | 2147483647 321704 227 | 0.000 % |
425.78/426.11 c | 322044 | 13673 58463 177332 | 2147483647 322044 227 | 0.000 % |
426.59/426.96 c | 322416 | 13673 58463 177332 | 2147483647 322416 227 | 0.000 % |
427.49/427.87 c | 322825 | 13673 58463 177332 | 2147483647 322825 227 | 0.000 % |
428.49/428.88 c | 323274 | 13673 58463 177332 | 2147483647 323274 226 | 0.000 % |
429.68/430.02 c | 323767 | 13673 58463 177332 | 2147483647 323767 226 | 0.000 % |
430.89/431.20 c | 324310 | 13673 58463 177332 | 2147483647 324310 226 | 0.000 % |
432.08/432.46 c | 324907 | 13673 58463 177332 | 2147483647 324907 227 | 0.000 % |
433.57/433.93 c | 325563 | 13673 58463 177332 | 2147483647 325563 226 | 0.000 % |
435.17/435.54 c | 326285 | 13673 58463 177332 | 2147483647 326285 227 | 0.000 % |
436.87/437.29 c | 327077 | 13673 58463 177332 | 2147483647 327077 227 | 0.000 % |
438.88/439.23 c | 327949 | 13673 58463 177332 | 2147483647 327949 227 | 0.000 % |
440.87/441.21 c | 328910 | 13673 58463 177332 | 2147483647 328910 227 | 0.000 % |
442.97/443.39 c | 329965 | 13673 58463 177332 | 2147483647 329965 227 | 0.000 % |
445.37/445.79 c | 331123 | 13673 58463 177332 | 2147483647 331123 227 | 0.000 % |
448.07/448.44 c | 332399 | 13673 58463 177332 | 2147483647 332399 227 | 0.000 % |
451.06/451.40 c | 333799 | 13673 58463 177332 | 2147483647 333799 227 | 0.000 % |
454.26/454.64 c | 335339 | 13673 58463 177332 | 2147483647 335339 227 | 0.000 % |
457.86/458.22 c | 337036 | 13673 58463 177332 | 2147483647 337036 227 | 0.000 % |
461.76/462.18 c | 338899 | 13673 58463 177332 | 2147483647 338899 227 | 0.000 % |
466.06/466.49 c | 340948 | 13673 58463 177332 | 2147483647 340948 227 | 0.000 % |
470.96/471.37 c | 343201 | 13673 58463 177332 | 2147483647 343201 227 | 0.000 % |
476.16/476.52 c | 345682 | 13673 58463 177332 | 2147483647 345682 228 | 0.000 % |
481.64/482.07 c | 348407 | 13673 58463 177332 | 2147483647 348407 228 | 0.000 % |
487.84/488.29 c | 351404 | 13673 58463 177332 | 2147483647 351404 228 | 0.000 % |
494.93/495.33 c | 354700 | 13673 58463 177332 | 2147483647 354700 228 | 0.000 % |
495.23/495.63 c | 354801 | 13673 58463 177332 | 2147483647 354801 228 | 0.000 % |
495.53/495.98 c | 354911 | 13673 58463 177332 | 2147483647 354911 228 | 0.000 % |
495.84/496.29 c | 355032 | 13673 58463 177332 | 2147483647 355032 228 | 0.000 % |
496.33/496.72 c | 355165 | 13673 58463 177332 | 2147483647 355165 228 | 0.000 % |
496.63/497.07 c | 355311 | 13673 58463 177332 | 2147483647 355311 228 | 0.000 % |
497.13/497.52 c | 355471 | 13673 58463 177332 | 2147483647 355471 228 | 0.000 % |
497.53/497.99 c | 355647 | 13673 58463 177332 | 2147483647 355647 228 | 0.000 % |
498.14/498.52 c | 355842 | 13673 58463 177332 | 2147483647 355842 228 | 0.000 % |
498.64/499.03 c | 356054 | 13673 58463 177332 | 2147483647 356054 228 | 0.000 % |
499.24/499.63 c | 356287 | 13673 58463 177332 | 2147483647 356287 228 | 0.000 % |
499.84/500.27 c | 356543 | 13673 58463 177332 | 2147483647 356543 228 | 0.000 % |
500.63/501.07 c | 356824 | 13673 58463 177332 | 2147483647 356824 228 | 0.000 % |
501.43/501.87 c | 357133 | 13673 58463 177332 | 2147483647 357133 228 | 0.000 % |
502.13/502.59 c | 357476 | 13673 58463 177332 | 2147483647 357476 228 | 0.000 % |
503.03/503.48 c | 357849 | 13673 58463 177332 | 2147483647 357849 228 | 0.000 % |
504.13/504.53 c | 358258 | 13673 58463 177332 | 2147483647 358258 228 | 0.000 % |
505.24/505.63 c | 358708 | 13673 58463 177332 | 2147483647 358708 228 | 0.000 % |
506.33/506.79 c | 359201 | 13673 58463 177332 | 2147483647 359201 228 | 0.000 % |
507.63/508.09 c | 359746 | 13673 58463 177332 | 2147483647 359746 228 | 0.000 % |
509.13/509.58 c | 360342 | 13673 58463 177332 | 2147483647 360342 228 | 0.000 % |
510.83/511.21 c | 360998 | 13673 58463 177332 | 2147483647 360998 228 | 0.000 % |
512.43/512.84 c | 361718 | 13673 58463 177332 | 2147483647 361718 228 | 0.000 % |
514.12/514.59 c | 362510 | 13673 58463 177332 | 2147483647 362510 228 | 0.000 % |
516.23/516.68 c | 363381 | 13673 58463 177332 | 2147483647 363381 228 | 0.000 % |
518.53/518.95 c | 364339 | 13673 58463 177332 | 2147483647 364339 228 | 0.000 % |
521.03/521.48 c | 365392 | 13673 58463 177332 | 2147483647 365392 228 | 0.000 % |
523.81/524.20 c | 366550 | 13673 58463 177332 | 2147483647 366550 228 | 0.000 % |
526.92/527.33 c | 367823 | 13673 58463 177332 | 2147483647 367823 229 | 0.000 % |
530.21/530.69 c | 369227 | 13673 58463 177332 | 2147483647 369227 229 | 0.000 % |
533.72/534.11 c | 370768 | 13673 58463 177332 | 2147483647 370768 229 | 0.000 % |
537.71/538.13 c | 372463 | 13673 58463 177332 | 2147483647 372463 229 | 0.000 % |
542.11/542.55 c | 374328 | 13673 58463 177332 | 2147483647 374328 229 | 0.000 % |
546.81/547.21 c | 376377 | 13673 58463 177332 | 2147483647 376377 229 | 0.000 % |
552.11/552.53 c | 378630 | 13673 58463 177332 | 2147483647 378630 229 | 0.000 % |
557.70/558.11 c | 381110 | 13673 58463 177332 | 2147483647 381110 229 | 0.000 % |
563.80/564.24 c | 383836 | 13673 58463 177332 | 2147483647 383836 230 | 0.000 % |
570.79/571.23 c | 386834 | 13673 58463 177332 | 2147483647 386834 231 | 0.000 % |
578.20/578.68 c | 390130 | 13673 58463 177332 | 2147483647 390130 231 | 0.000 % |
586.49/586.99 c | 393756 | 13673 58463 177332 | 2147483647 393756 231 | 0.000 % |
586.88/587.31 c | 393857 | 13673 58463 177332 | 2147483647 393857 231 | 0.000 % |
587.18/587.64 c | 393967 | 13673 58463 177332 | 2147483647 393967 231 | 0.000 % |
587.58/588.03 c | 394089 | 13673 58463 177332 | 2147483647 394089 231 | 0.000 % |
587.98/588.49 c | 394223 | 13673 58463 177332 | 2147483647 394223 231 | 0.000 % |
588.48/588.95 c | 394369 | 13673 58463 177332 | 2147483647 394369 231 | 0.000 % |
588.98/589.42 c | 394530 | 13673 58463 177332 | 2147483647 394530 231 | 0.000 % |
589.49/589.96 c | 394707 | 13673 58463 177332 | 2147483647 394707 231 | 0.000 % |
589.99/590.49 c | 394902 | 13673 58463 177332 | 2147483647 394902 231 | 0.000 % |
590.69/591.15 c | 395115 | 13673 58463 177332 | 2147483647 395115 231 | 0.000 % |
591.40/591.83 c | 395348 | 13673 58463 177332 | 2147483647 395348 231 | 0.000 % |
592.09/592.59 c | 395607 | 13673 58463 177332 | 2147483647 395607 231 | 0.000 % |
592.89/593.38 c | 395889 | 13673 58463 177332 | 2147483647 395889 231 | 0.000 % |
593.79/594.20 c | 396198 | 13673 58463 177332 | 2147483647 396198 231 | 0.000 % |
594.59/595.09 c | 396537 | 13673 58463 177332 | 2147483647 396537 231 | 0.000 % |
595.68/596.12 c | 396909 | 13673 58463 177332 | 2147483647 396909 231 | 0.000 % |
596.78/597.28 c | 397318 | 13673 58463 177332 | 2147483647 397318 231 | 0.000 % |
597.99/598.45 c | 397769 | 13673 58463 177332 | 2147483647 397769 231 | 0.000 % |
599.28/599.79 c | 398264 | 13673 58463 177332 | 2147483647 398264 231 | 0.000 % |
600.79/601.26 c | 398807 | 13673 58463 177332 | 2147483647 398807 231 | 0.000 % |
602.29/602.74 c | 399405 | 13673 58463 177332 | 2147483647 399405 231 | 0.000 % |
603.88/604.34 c | 400060 | 13673 58463 177332 | 2147483647 400060 231 | 0.000 % |
605.88/606.33 c | 400780 | 13673 58463 177332 | 2147483647 400780 231 | 0.000 % |
607.98/608.42 c | 401572 | 13673 58463 177332 | 2147483647 401572 231 | 0.000 % |
610.19/610.60 c | 402444 | 13673 58463 177332 | 2147483647 402444 231 | 0.000 % |
612.58/613.01 c | 403406 | 13673 58463 177332 | 2147483647 403406 231 | 0.000 % |
615.27/615.72 c | 404459 | 13673 58463 177332 | 2147483647 404459 231 | 0.000 % |
618.37/618.89 c | 405617 | 13673 58463 177332 | 2147483647 405617 231 | 0.000 % |
621.57/622.04 c | 406891 | 13673 58463 177332 | 2147483647 406891 231 | 0.000 % |
625.06/625.53 c | 408291 | 13673 58463 177332 | 2147483647 408291 231 | 0.000 % |
628.67/629.20 c | 409831 | 13673 58463 177332 | 2147483647 409831 231 | 0.000 % |
632.86/633.30 c | 411526 | 13673 58463 177332 | 2147483647 411526 231 | 0.000 % |
637.76/638.28 c | 413389 | 13673 58463 177332 | 2147483647 413389 231 | 0.000 % |
642.66/643.10 c | 415438 | 13673 58463 177332 | 2147483647 415438 231 | 0.000 % |
648.26/648.73 c | 417692 | 13673 58463 177332 | 2147483647 417692 231 | 0.000 % |
654.56/655.00 c | 420170 | 13673 58463 177332 | 2147483647 420170 232 | 0.000 % |
661.45/661.95 c | 422897 | 13673 58463 177332 | 2147483647 422897 231 | 0.000 % |
668.64/669.17 c | 425894 | 13673 58463 177332 | 2147483647 425894 232 | 0.000 % |
676.54/677.00 c | 429190 | 13673 58463 177332 | 2147483647 429190 232 | 0.000 % |
685.34/685.89 c | 432815 | 13673 58463 177332 | 2147483647 432815 233 | 0.000 % |
695.33/695.86 c | 436802 | 13673 58463 177332 | 2147483647 436802 233 | 0.000 % |
695.73/696.22 c | 436904 | 13673 58463 177332 | 2147483647 436904 233 | 0.000 % |
696.03/696.54 c | 437016 | 13673 58463 177332 | 2147483647 437016 233 | 0.000 % |
696.53/697.04 c | 437137 | 13673 58463 177332 | 2147483647 437137 233 | 0.000 % |
696.93/697.49 c | 437270 | 13673 58463 177332 | 2147483647 437270 233 | 0.000 % |
697.43/697.98 c | 437416 | 13673 58463 177332 | 2147483647 437416 233 | 0.000 % |
698.03/698.51 c | 437576 | 13673 58463 177332 | 2147483647 437576 233 | 0.000 % |
698.64/699.17 c | 437755 | 13673 58463 177332 | 2147483647 437755 233 | 0.000 % |
699.24/699.74 c | 437949 | 13673 58463 177332 | 2147483647 437949 233 | 0.000 % |
699.93/700.44 c | 438161 | 13673 58463 177332 | 2147483647 438161 233 | 0.000 % |
700.63/701.11 c | 438394 | 13673 58463 177332 | 2147483647 438394 233 | 0.000 % |
701.34/701.88 c | 438651 | 13673 58463 177332 | 2147483647 438651 233 | 0.000 % |
702.33/702.81 c | 438933 | 13673 58463 177332 | 2147483647 438933 233 | 0.000 % |
703.23/703.75 c | 439242 | 13673 58463 177332 | 2147483647 439242 233 | 0.000 % |
704.23/704.73 c | 439582 | 13673 58463 177332 | 2147483647 439582 233 | 0.000 % |
705.33/705.88 c | 439955 | 13673 58463 177332 | 2147483647 439955 233 | 0.000 % |
706.52/707.05 c | 440364 | 13673 58463 177332 | 2147483647 440364 233 | 0.000 % |
707.82/708.33 c | 440813 | 13673 58463 177332 | 2147483647 440813 233 | 0.000 % |
709.23/709.78 c | 441306 | 13673 58463 177332 | 2147483647 441306 233 | 0.000 % |
710.83/711.35 c | 441848 | 13673 58463 177332 | 2147483647 441848 233 | 0.000 % |
712.52/713.09 c | 442444 | 13673 58463 177332 | 2147483647 442444 233 | 0.000 % |
714.42/714.99 c | 443099 | 13673 58463 177332 | 2147483647 443099 233 | 0.000 % |
716.43/716.99 c | 443821 | 13673 58463 177332 | 2147483647 443821 233 | 0.000 % |
718.72/719.21 c | 444617 | 13673 58463 177332 | 2147483647 444617 233 | 0.000 % |
721.23/721.72 c | 445488 | 13673 58463 177332 | 2147483647 445488 233 | 0.000 % |
723.82/724.31 c | 446446 | 13673 58463 177332 | 2147483647 446446 233 | 0.000 % |
726.62/727.19 c | 447500 | 13673 58463 177332 | 2147483647 447500 233 | 0.000 % |
730.12/730.68 c | 448658 | 13673 58463 177332 | 2147483647 448658 233 | 0.000 % |
733.51/734.05 c | 449932 | 13673 58463 177332 | 2147483647 449932 233 | 0.000 % |
737.42/737.93 c | 451333 | 13673 58463 177332 | 2147483647 451333 233 | 0.000 % |
741.41/741.97 c | 452874 | 13673 58463 177332 | 2147483647 452874 233 | 0.000 % |
746.01/746.59 c | 454568 | 13673 58463 177332 | 2147483647 454568 233 | 0.000 % |
751.41/751.98 c | 456431 | 13673 58463 177332 | 2147483647 456431 233 | 0.000 % |
756.70/757.24 c | 458482 | 13673 58463 177332 | 2147483647 458482 233 | 0.000 % |
762.70/763.26 c | 460735 | 13673 58463 177332 | 2147483647 460735 233 | 0.000 % |
769.30/769.84 c | 463213 | 13673 58463 177332 | 2147483647 463213 234 | 0.000 % |
776.50/777.08 c | 465939 | 13673 58463 177332 | 2147483647 465939 234 | 0.000 % |
784.69/785.28 c | 468940 | 13673 58463 177332 | 2147483647 468940 234 | 0.000 % |
793.48/794.04 c | 472239 | 13673 58463 177332 | 2147483647 472239 234 | 0.000 % |
803.58/804.20 c | 475864 | 13673 58463 177332 | 2147483647 475864 235 | 0.000 % |
814.28/814.87 c | 479851 | 13673 58463 177332 | 2147483647 479851 235 | 0.000 % |
825.87/826.43 c | 484236 | 13673 58463 177332 | 2147483647 484236 236 | 0.000 % |
826.17/826.78 c | 484337 | 13673 58463 177332 | 2147483647 484337 236 | 0.000 % |
826.57/827.17 c | 484447 | 13673 58463 177332 | 2147483647 484447 236 | 0.000 % |
827.07/827.64 c | 484568 | 13673 58463 177332 | 2147483647 484568 236 | 0.000 % |
827.57/828.18 c | 484702 | 13673 58463 177332 | 2147483647 484702 236 | 0.000 % |
828.17/828.78 c | 484848 | 13673 58463 177332 | 2147483647 484848 236 | 0.000 % |
828.77/829.32 c | 485009 | 13673 58463 177332 | 2147483647 485009 236 | 0.000 % |
829.46/830.00 c | 485186 | 13673 58463 177332 | 2147483647 485186 236 | 0.000 % |
830.07/830.70 c | 485381 | 13673 58463 177332 | 2147483647 485381 236 | 0.000 % |
830.86/831.43 c | 485594 | 13673 58463 177332 | 2147483647 485594 236 | 0.000 % |
831.76/832.33 c | 485828 | 13673 58463 177332 | 2147483647 485828 236 | 0.000 % |
832.66/833.27 c | 486085 | 13673 58463 177332 | 2147483647 486085 236 | 0.000 % |
833.66/834.28 c | 486366 | 13673 58463 177332 | 2147483647 486366 236 | 0.000 % |
834.76/835.34 c | 486676 | 13673 58463 177332 | 2147483647 486676 236 | 0.000 % |
835.86/836.47 c | 487015 | 13673 58463 177332 | 2147483647 487015 236 | 0.000 % |
837.26/837.85 c | 487391 | 13673 58463 177332 | 2147483647 487391 236 | 0.000 % |
838.56/839.19 c | 487802 | 13673 58463 177332 | 2147483647 487802 236 | 0.000 % |
840.16/840.75 c | 488253 | 13673 58463 177332 | 2147483647 488253 236 | 0.000 % |
841.86/842.44 c | 488746 | 13673 58463 177332 | 2147483647 488746 236 | 0.000 % |
843.45/844.07 c | 489292 | 13673 58463 177332 | 2147483647 489292 236 | 0.000 % |
845.15/845.78 c | 489888 | 13673 58463 177332 | 2147483647 489888 236 | 0.000 % |
847.15/847.75 c | 490544 | 13673 58463 177332 | 2147483647 490544 236 | 0.000 % |
849.65/850.29 c | 491267 | 13673 58463 177332 | 2147483647 491267 236 | 0.000 % |
852.25/852.86 c | 492059 | 13673 58463 177332 | 2147483647 492059 236 | 0.000 % |
855.15/855.70 c | 492934 | 13673 58463 177332 | 2147483647 492934 236 | 0.000 % |
858.25/858.80 c | 493893 | 13673 58463 177332 | 2147483647 493893 236 | 0.000 % |
861.15/861.78 c | 494946 | 13673 58463 177332 | 2147483647 494946 236 | 0.000 % |
864.65/865.25 c | 496105 | 13673 58463 177332 | 2147483647 496105 235 | 0.000 % |
868.14/868.80 c | 497379 | 13673 58463 177332 | 2147483647 497379 236 | 0.000 % |
872.45/873.04 c | 498779 | 13673 58463 177332 | 2147483647 498779 236 | 0.000 % |
876.84/877.46 c | 500320 | 13673 58463 177332 | 2147483647 500320 236 | 0.000 % |
881.93/882.50 c | 502015 | 13673 58463 177332 | 2147483647 502015 236 | 0.000 % |
887.53/888.19 c | 503878 | 13673 58463 177332 | 2147483647 503878 236 | 0.000 % |
893.43/894.08 c | 505927 | 13673 58463 177332 | 2147483647 505927 236 | 0.000 % |
900.13/900.72 c | 508182 | 13673 58463 177332 | 2147483647 508182 236 | 0.000 % |
906.93/907.55 c | 510661 | 13673 58463 177332 | 2147483647 510661 237 | 0.000 % |
914.62/915.28 c | 513386 | 13673 58463 177332 | 2147483647 513386 237 | 0.000 % |
923.31/923.93 c | 516383 | 13673 58463 177332 | 2147483647 516383 237 | 0.000 % |
933.01/933.68 c | 519680 | 13673 58463 177332 | 2147483647 519680 237 | 0.000 % |
943.50/944.18 c | 523307 | 13673 58463 177332 | 2147483647 523307 238 | 0.000 % |
954.90/955.58 c | 527294 | 13673 58463 177332 | 2147483647 527294 238 | 0.000 % |
967.40/968.00 c | 531682 | 13673 58463 177332 | 2147483647 531682 239 | 0.000 % |
981.69/982.36 c | 536505 | 13673 58463 177332 | 2147483647 536505 239 | 0.000 % |
982.18/982.84 c | 536605 | 13673 58463 177332 | 2147483647 536605 239 | 0.000 % |
982.68/983.35 c | 536716 | 13673 58463 177332 | 2147483647 536716 239 | 0.000 % |
983.18/983.84 c | 536839 | 13673 58463 177332 | 2147483647 536839 239 | 0.000 % |
983.78/984.45 c | 536974 | 13673 58463 177332 | 2147483647 536974 239 | 0.000 % |
984.38/985.05 c | 537120 | 13673 58463 177332 | 2147483647 537120 239 | 0.000 % |
984.98/985.68 c | 537281 | 13673 58463 177332 | 2147483647 537281 239 | 0.000 % |
985.78/986.44 c | 537459 | 13673 58463 177332 | 2147483647 537459 239 | 0.000 % |
986.58/987.22 c | 537654 | 13673 58463 177332 | 2147483647 537654 239 | 0.000 % |
987.29/987.99 c | 537866 | 13673 58463 177332 | 2147483647 537866 239 | 0.000 % |
988.19/988.83 c | 538100 | 13673 58463 177332 | 2147483647 538100 239 | 0.000 % |
989.08/989.71 c | 538356 | 13673 58463 177332 | 2147483647 538356 239 | 0.000 % |
989.98/990.69 c | 538639 | 13673 58463 177332 | 2147483647 538639 239 | 0.000 % |
991.18/991.81 c | 538950 | 13673 58463 177332 | 2147483647 538950 239 | 0.000 % |
992.38/993.00 c | 539290 | 13673 58463 177332 | 2147483647 539290 239 | 0.000 % |
993.68/994.33 c | 539662 | 13673 58463 177332 | 2147483647 539662 239 | 0.000 % |
995.07/995.79 c | 540071 | 13673 58463 177332 | 2147483647 540071 239 | 0.000 % |
996.77/997.42 c | 540520 | 13673 58463 177332 | 2147483647 540520 239 | 0.000 % |
998.37/999.06 c | 541013 | 13673 58463 177332 | 2147483647 541013 239 | 0.000 % |
1000.48/1001.14 c | 541555 | 13673 58463 177332 | 2147483647 541555 239 | 0.000 % |
1002.67/1003.38 c | 542153 | 13673 58463 177332 | 2147483647 542153 239 | 0.000 % |
1004.78/1005.50 c | 542808 | 13673 58463 177332 | 2147483647 542808 239 | 0.000 % |
1007.17/1007.89 c | 543529 | 13673 58463 177332 | 2147483647 543529 239 | 0.000 % |
1009.97/1010.68 c | 544321 | 13673 58463 177332 | 2147483647 544321 239 | 0.000 % |
1012.87/1013.51 c | 545193 | 13673 58463 177332 | 2147483647 545193 239 | 0.000 % |
1015.97/1016.67 c | 546151 | 13673 58463 177332 | 2147483647 546151 239 | 0.000 % |
1019.36/1020.08 c | 547205 | 13673 58463 177332 | 2147483647 547205 239 | 0.000 % |
1022.97/1023.68 c | 548363 | 13673 58463 177332 | 2147483647 548363 239 | 0.000 % |
1026.66/1027.37 c | 549636 | 13673 58463 177332 | 2147483647 549636 239 | 0.000 % |
1031.16/1031.90 c | 551037 | 13673 58463 177332 | 2147483647 551037 239 | 0.000 % |
1036.35/1037.07 c | 552577 | 13673 58463 177332 | 2147483647 552577 239 | 0.000 % |
1041.75/1042.40 c | 554272 | 13673 58463 177332 | 2147483647 554272 239 | 0.000 % |
1047.65/1048.30 c | 556135 | 13673 58463 177332 | 2147483647 556135 239 | 0.000 % |
1053.85/1054.56 c | 558184 | 13673 58463 177332 | 2147483647 558184 239 | 0.000 % |
1060.95/1061.62 c | 560439 | 13673 58463 177332 | 2147483647 560439 239 | 0.000 % |
1068.94/1069.66 c | 562917 | 13673 58463 177332 | 2147483647 562917 239 | 0.000 % |
1077.53/1078.27 c | 565644 | 13673 58463 177332 | 2147483647 565644 239 | 0.000 % |
1086.33/1087.06 c | 568643 | 13673 58463 177332 | 2147483647 568643 239 | 0.000 % |
1095.83/1096.59 c | 571939 | 13673 58463 177332 | 2147483647 571939 240 | 0.000 % |
1105.63/1106.36 c | 575564 | 13673 58463 177332 | 2147483647 575564 240 | 0.000 % |
1118.72/1119.49 c | 579551 | 13673 58463 177332 | 2147483647 579551 240 | 0.000 % |
1132.90/1133.69 c | 583936 | 13673 58463 177332 | 2147483647 583936 241 | 0.000 % |
1148.60/1149.35 c | 588762 | 13673 58463 177332 | 2147483647 588762 241 | 0.000 % |
1165.18/1165.94 c | 594067 | 13673 58463 177332 | 2147483647 594067 242 | 0.000 % |
1165.69/1166.47 c | 594169 | 13673 58463 177332 | 2147483647 594169 242 | 0.000 % |
1166.19/1166.98 c | 594279 | 13673 58463 177332 | 2147483647 594279 241 | 0.000 % |
1166.69/1167.46 c | 594400 | 13673 58463 177332 | 2147483647 594400 241 | 0.000 % |
1167.29/1168.05 c | 594533 | 13673 58463 177332 | 2147483647 594533 241 | 0.000 % |
1167.99/1168.78 c | 594680 | 13673 58463 177332 | 2147483647 594680 241 | 0.000 % |
1168.79/1169.50 c | 594843 | 13673 58463 177332 | 2147483647 594843 241 | 0.000 % |
1169.59/1170.30 c | 595020 | 13673 58463 177332 | 2147483647 595020 241 | 0.000 % |
1170.49/1171.22 c | 595213 | 13673 58463 177332 | 2147483647 595213 241 | 0.000 % |
1171.39/1172.14 c | 595425 | 13673 58463 177332 | 2147483647 595425 241 | 0.000 % |
1172.29/1173.06 c | 595658 | 13673 58463 177332 | 2147483647 595658 241 | 0.000 % |
1173.29/1174.04 c | 595914 | 13673 58463 177332 | 2147483647 595914 241 | 0.000 % |
1174.39/1175.13 c | 596197 | 13673 58463 177332 | 2147483647 596197 241 | 0.000 % |
1175.68/1176.43 c | 596506 | 13673 58463 177332 | 2147483647 596506 241 | 0.000 % |
1177.18/1177.96 c | 596846 | 13673 58463 177332 | 2147483647 596846 241 | 0.000 % |
1178.78/1179.51 c | 597221 | 13673 58463 177332 | 2147483647 597221 241 | 0.000 % |
1180.28/1181.06 c | 597636 | 13673 58463 177332 | 2147483647 597636 241 | 0.000 % |
1181.88/1182.67 c | 598086 | 13673 58463 177332 | 2147483647 598086 241 | 0.000 % |
1183.87/1184.67 c | 598580 | 13673 58463 177332 | 2147483647 598580 241 | 0.000 % |
1186.08/1186.83 c | 599122 | 13673 58463 177332 | 2147483647 599122 241 | 0.000 % |
1188.08/1188.88 c | 599718 | 13673 58463 177332 | 2147483647 599718 241 | 0.000 % |
1190.48/1191.25 c | 600375 | 13673 58463 177332 | 2147483647 600375 241 | 0.000 % |
1193.18/1193.95 c | 601096 | 13673 58463 177332 | 2147483647 601096 241 | 0.000 % |
1196.08/1196.89 c | 601889 | 13673 58463 177332 | 2147483647 601889 241 | 0.000 % |
1199.26/1200.09 c | 602760 | 13673 58463 177332 | 2147483647 602760 241 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832739-1242787183/watcher-1832739-1242787183 -o /tmp/evaluation-result-1832739-1242787183/solver-1832739-1242787183 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832739-1242787183.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13090
/proc/meminfo: memFree=1878864/2055920 swapFree=4180048/4192956
[pid=13090] ppid=13088 vsize=5356 CPUtime=0
/proc/13090/stat : 13090 (SatELiteGTI) R 13088 13090 12432 0 -1 4194304 290 249 0 0 0 0 0 0 18 0 1 0 306746370 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 264840079859 0 0 4100 65536 0 0 0 17 0 0 0
/proc/13090/statm: 1339 237 197 169 0 50 0
[startup+0.102701 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13090
/proc/meminfo: memFree=1878864/2055920 swapFree=4180048/4192956
[pid=13090] ppid=13088 vsize=5356 CPUtime=0
/proc/13090/stat : 13090 (SatELiteGTI) S 13088 13090 12432 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306746370 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13090/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.201722 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13090
/proc/meminfo: memFree=1878864/2055920 swapFree=4180048/4192956
[pid=13090] ppid=13088 vsize=5356 CPUtime=0
/proc/13090/stat : 13090 (SatELiteGTI) S 13088 13090 12432 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306746370 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13090/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301733 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13090
/proc/meminfo: memFree=1878864/2055920 swapFree=4180048/4192956
[pid=13090] ppid=13088 vsize=5356 CPUtime=0.25
/proc/13090/stat : 13090 (SatELiteGTI) S 13088 13090 12432 0 -1 4194304 336 2063 0 0 0 0 24 1 16 0 1 0 306746370 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13090/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 5356
[startup+0.7018 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13090
/proc/meminfo: memFree=1878864/2055920 swapFree=4180048/4192956
[pid=13090] ppid=13088 vsize=5356 CPUtime=0.25
/proc/13090/stat : 13090 (SatELiteGTI) S 13088 13090 12432 0 -1 4194304 336 2063 0 0 0 0 24 1 16 0 1 0 306746370 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13090/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 5356
[startup+1.50195 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13096
/proc/meminfo: memFree=1871480/2055920 swapFree=4180048/4192956
[pid=13090] ppid=13088 vsize=5356 CPUtime=0.25
/proc/13090/stat : 13090 (SatELiteGTI) S 13088 13090 12432 0 -1 4194304 336 2063 0 0 0 0 24 1 16 0 1 0 306746370 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13090/statm: 1339 239 197 169 0 50 0
[pid=13096] ppid=13090 vsize=7428 CPUtime=1.22
/proc/13096/stat : 13096 (minisat_static) R 13090 13090 12432 0 -1 4194304 1699 0 0 0 121 1 0 0 25 0 1 0 306746397 7606272 1685 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/13096/statm: 1857 1685 77 171 0 1684 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12784
[startup+3.10124 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13096
/proc/meminfo: memFree=1869496/2055920 swapFree=4180048/4192956
[pid=13090] ppid=13088 vsize=5356 CPUtime=0.25
/proc/13090/stat : 13090 (SatELiteGTI) S 13088 13090 12432 0 -1 4194304 336 2063 0 0 0 0 24 1 16 0 1 0 306746370 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13090/statm: 1339 239 197 169 0 50 0
[pid=13096] ppid=13090 vsize=10068 CPUtime=2.81
/proc/13096/stat : 13096 (minisat_static) R 13090 13090 12432 0 -1 4194304 2352 0 0 0 279 2 0 0 25 0 1 0 306746397 10309632 2338 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/13096/statm: 2517 2338 77 171 0 2344 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 15424
[startup+6.30183 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13096
/proc/meminfo: memFree=1864056/2055920 swapFree=4180048/4192956
[pid=13090] ppid=13088 vsize=5356 CPUtime=0.25
/proc/13090/stat : 13090 (SatELiteGTI) S 13088 13090 12432 0 -1 4194304 336 2063 0 0 0 0 24 1 16 0 1 0 306746370 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13090/statm: 1339 239 197 169 0 50 0
[pid=13096] ppid=13090 vsize=15216 CPUtime=6.01
/proc/13096/stat : 13096 (minisat_static) R 13090 13090 12432 0 -1 4194304 3632 0 0 0 598 3 0 0 25 0 1 0 306746397 15581184 3618 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13096/statm: 3804 3618 77 171 0 3631 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 20572
[startup+12.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13096
/proc/meminfo: memFree=1854656/2055920 swapFree=4180048/4192956
[pid=13090] ppid=13088 vsize=5356 CPUtime=0.25
/proc/13090/stat : 13090 (SatELiteGTI) S 13088 13090 12432 0 -1 4194304 336 2063 0 0 0 0 24 1 16 0 1 0 306746370 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13090/statm: 1339 239 197 169 0 50 0
[pid=13096] ppid=13090 vsize=24088 CPUtime=12.39
/proc/13096/stat : 13096 (minisat_static) R 13090 13090 12432 0 -1 4194304 5871 0 0 0 1234 5 0 0 25 0 1 0 306746397 24666112 5857 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/13096/statm: 6022 5858 77 171 0 5849 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 29444
[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13096
/proc/meminfo: memFree=1837952/2055920 swapFree=4180048/4192956
[pid=13090] ppid=13088 vsize=5356 CPUtime=0.25
/proc/13090/stat : 13090 (SatELiteGTI) S 13088 13090 12432 0 -1 4194304 336 2063 0 0 0 0 24 1 16 0 1 0 306746370 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13090/statm: 1339 239 197 169 0 50 0
[pid=13096] ppid=13090 vsize=40448 CPUtime=25.19
/proc/13096/stat : 13096 (minisat_static) R 13090 13090 12432 0 -1 4194304 9919 0 0 0 2509 10 0 0 25 0 1 0 306746397 41418752 9905 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/13096/statm: 10112 9905 77 171 0 9939 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 45804
[startup+51.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13096
/proc/meminfo: memFree=1810432/2055920 swapFree=4180048/4192956
[pid=13090] ppid=13088 vsize=5356 CPUtime=0.25
/proc/13090/stat : 13090 (SatELiteGTI) S 13088 13090 12432 0 -1 4194304 336 2063 0 0 0 0 24 1 16 0 1 0 306746370 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13090/statm: 1339 239 197 169 0 50 0
[pid=13096] ppid=13090 vsize=68164 CPUtime=50.76
/proc/13096/stat : 13096 (minisat_static) R 13090 13090 12432 0 -1 4194304 16847 0 0 0 5059 17 0 0 25 0 1 0 306746397 69799936 16833 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/13096/statm: 17041 16833 77 171 0 16868 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 73520
[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13096
/proc/meminfo: memFree=1765184/2055920 swapFree=4180048/4192956
[pid=13090] ppid=13088 vsize=5356 CPUtime=0.25
/proc/13090/stat : 13090 (SatELiteGTI) S 13088 13090 12432 0 -1 4194304 336 2063 0 0 0 0 24 1 16 0 1 0 306746370 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13090/statm: 1339 239 197 169 0 50 0
[pid=13096] ppid=13090 vsize=112564 CPUtime=101.93
/proc/13096/stat : 13096 (minisat_static) R 13090 13090 12432 0 -1 4194304 27980 0 0 0 10165 28 0 0 25 0 1 0 306746397 115265536 27966 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13096/statm: 28141 27966 77 171 0 27968 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 117920
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13096
/proc/meminfo: memFree=1721408/2055920 swapFree=4180048/4192956
[pid=13090] ppid=13088 vsize=5356 CPUtime=0.25
/proc/13090/stat : 13090 (SatELiteGTI) S 13088 13090 12432 0 -1 4194304 336 2063 0 0 0 0 24 1 16 0 1 0 306746370 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13090/statm: 1339 239 197 169 0 50 0
[pid=13096] ppid=13090 vsize=156660 CPUtime=161.89
/proc/13096/stat : 13096 (minisat_static) R 13090 13090 12432 0 -1 4194304 38962 0 0 0 16150 39 0 0 25 0 1 0 306746397 160419840 38948 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13096/statm: 39165 38948 77 171 0 38992 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 162016
[startup+222.306 s]
/proc/loadavg: 1.09 1.03 1.01 2/66 13098
/proc/meminfo: memFree=1682560/2055920 swapFree=4180048/4192956
[pid=13090] ppid=13088 vsize=5356 CPUtime=0.25
/proc/13090/stat : 13090 (SatELiteGTI) S 13088 13090 12432 0 -1 4194304 336 2063 0 0 0 0 24 1 16 0 1 0 306746370 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13090/statm: 1339 239 197 169 0 50 0
[pid=13096] ppid=13090 vsize=195080 CPUtime=221.86
/proc/13096/stat : 13096 (minisat_static) R 13090 13090 12432 0 -1 4194304 48517 0 0 0 22137 49 0 0 25 0 1 0 306746397 199761920 48503 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13096/statm: 48770 48503 77 171 0 48597 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 200436
[startup+282.301 s]
/proc/loadavg: 1.07 1.03 1.01 2/66 13098
/proc/meminfo: memFree=1646720/2055920 swapFree=4180048/4192956
[pid=13090] ppid=13088 vsize=5356 CPUtime=0.25
/proc/13090/stat : 13090 (SatELiteGTI) S 13088 13090 12432 0 -1 4194304 336 2063 0 0 0 0 24 1 16 0 1 0 306746370 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13090/statm: 1339 239 197 169 0 50 0
[pid=13096] ppid=13090 vsize=231256 CPUtime=281.82
/proc/13096/stat : 13096 (minisat_static) R 13090 13090 12432 0 -1 4194304 57585 0 0 0 28124 58 0 0 25 0 1 0 306746397 236806144 57571 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13096/statm: 57814 57571 77 171 0 57641 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 236612
[startup+342.301 s]
/proc/loadavg: 1.02 1.03 1.00 2/66 13098
/proc/meminfo: memFree=1613184/2055920 swapFree=4180048/4192956
[pid=13090] ppid=13088 vsize=5356 CPUtime=0.25
/proc/13090/stat : 13090 (SatELiteGTI) S 13088 13090 12432 0 -1 4194304 336 2063 0 0 0 0 24 1 16 0 1 0 306746370 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13090/statm: 1339 239 197 169 0 50 0
[pid=13096] ppid=13090 vsize=264128 CPUtime=341.78
/proc/13096/stat : 13096 (minisat_static) R 13090 13090 12432 0 -1 4194304 65831 0 0 0 34111 67 0 0 25 0 1 0 306746397 270467072 65817 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13096/statm: 66032 65817 77 171 0 65859 0
Current children cumulated CPU time (s) 342.03
Current children cumulated vsize (KiB) 269484
[startup+402.301 s]
/proc/loadavg: 1.04 1.03 1.00 2/66 13098
/proc/meminfo: memFree=1584192/2055920 swapFree=4180048/4192956
[pid=13090] ppid=13088 vsize=5356 CPUtime=0.25
/proc/13090/stat : 13090 (SatELiteGTI) S 13088 13090 12432 0 -1 4194304 336 2063 0 0 0 0 24 1 16 0 1 0 306746370 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13090/statm: 1339 239 197 169 0 50 0
[pid=13096] ppid=13090 vsize=293036 CPUtime=401.74
/proc/13096/stat : 13096 (minisat_static) R 13090 13090 12432 0 -1 4194304 73105 0 0 0 40098 76 0 0 25 0 1 0 306746397 300068864 73091 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13096/statm: 73259 73091 77 171 0 73086 0
Current children cumulated CPU time (s) 401.99
Current children cumulated vsize (KiB) 298392
[startup+462.301 s]
################
# More data... #
################
/proc/13096/statm: 93743 93489 77 171 0 93570 0
Current children cumulated CPU time (s) 581.89
Current children cumulated vsize (KiB) 380328
[startup+642.301 s]
/proc/loadavg: 1.11 1.13 1.04 2/66 13098
/proc/meminfo: memFree=1479296/2055920 swapFree=4180048/4192956
[pid=13090] ppid=13088 vsize=5356 CPUtime=0.25
/proc/13090/stat : 13090 (SatELiteGTI) S 13088 13090 12432 0 -1 4194304 336 2063 0 0 0 0 24 1 16 0 1 0 306746370 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13090/statm: 1339 239 197 169 0 50 0
[pid=13096] ppid=13090 vsize=397684 CPUtime=641.61
/proc/13096/stat : 13096 (minisat_static) R 13090 13090 12432 0 -1 4194304 99222 0 0 0 64054 107 0 0 25 0 1 0 306746397 407228416 99208 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13096/statm: 99421 99208 77 171 0 99248 0
Current children cumulated CPU time (s) 641.86
Current children cumulated vsize (KiB) 403040
[startup+702.301 s]
/proc/loadavg: 1.03 1.10 1.04 2/66 13098
/proc/meminfo: memFree=1453632/2055920 swapFree=4180048/4192956
[pid=13090] ppid=13088 vsize=5356 CPUtime=0.25
/proc/13090/stat : 13090 (SatELiteGTI) S 13088 13090 12432 0 -1 4194304 336 2063 0 0 0 0 24 1 16 0 1 0 306746370 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13090/statm: 1339 239 197 169 0 50 0
[pid=13096] ppid=13090 vsize=422764 CPUtime=701.58
/proc/13096/stat : 13096 (minisat_static) R 13090 13090 12432 0 -1 4194304 105504 0 0 0 70043 115 0 0 25 0 1 0 306746397 432910336 105490 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/13096/statm: 105691 105490 77 171 0 105518 0
Current children cumulated CPU time (s) 701.83
Current children cumulated vsize (KiB) 428120
[startup+762.301 s]
/proc/loadavg: 1.01 1.08 1.03 2/66 13098
/proc/meminfo: memFree=1431872/2055920 swapFree=4180048/4192956
[pid=13090] ppid=13088 vsize=5356 CPUtime=0.25
/proc/13090/stat : 13090 (SatELiteGTI) S 13088 13090 12432 0 -1 4194304 336 2063 0 0 0 0 24 1 16 0 1 0 306746370 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13090/statm: 1339 239 197 169 0 50 0
[pid=13096] ppid=13090 vsize=444152 CPUtime=761.55
/proc/13096/stat : 13096 (minisat_static) R 13090 13090 12432 0 -1 4194304 110879 0 0 0 76034 121 0 0 25 0 1 0 306746397 454811648 110865 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/13096/statm: 111038 110865 77 171 0 110865 0
Current children cumulated CPU time (s) 761.8
Current children cumulated vsize (KiB) 449508
[startup+822.301 s]
/proc/loadavg: 1.00 1.06 1.02 2/66 13098
/proc/meminfo: memFree=1406464/2055920 swapFree=4180048/4192956
[pid=13090] ppid=13088 vsize=5356 CPUtime=0.25
/proc/13090/stat : 13090 (SatELiteGTI) S 13088 13090 12432 0 -1 4194304 336 2063 0 0 0 0 24 1 16 0 1 0 306746370 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13090/statm: 1339 239 197 169 0 50 0
[pid=13096] ppid=13090 vsize=470540 CPUtime=821.52
/proc/13096/stat : 13096 (minisat_static) R 13090 13090 12432 0 -1 4194304 117269 0 0 0 82025 127 0 0 25 0 1 0 306746397 481832960 117255 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 0 0 0
/proc/13096/statm: 117635 117255 77 171 0 117462 0
Current children cumulated CPU time (s) 821.77
Current children cumulated vsize (KiB) 475896
[startup+882.306 s]
/proc/loadavg: 1.00 1.05 1.02 2/66 13098
/proc/meminfo: memFree=1387264/2055920 swapFree=4180048/4192956
[pid=13090] ppid=13088 vsize=5356 CPUtime=0.25
/proc/13090/stat : 13090 (SatELiteGTI) S 13088 13090 12432 0 -1 4194304 336 2063 0 0 0 0 24 1 16 0 1 0 306746370 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13090/statm: 1339 239 197 169 0 50 0
[pid=13096] ppid=13090 vsize=489284 CPUtime=881.49
/proc/13096/stat : 13096 (minisat_static) R 13090 13090 12432 0 -1 4194304 121982 0 0 0 88015 134 0 0 25 0 1 0 306746397 501026816 121968 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/13096/statm: 122321 121968 77 171 0 122148 0
Current children cumulated CPU time (s) 881.74
Current children cumulated vsize (KiB) 494640
[startup+942.302 s]
/proc/loadavg: 1.00 1.04 1.01 2/66 13098
/proc/meminfo: memFree=1364032/2055920 swapFree=4180048/4192956
[pid=13090] ppid=13088 vsize=5356 CPUtime=0.25
/proc/13090/stat : 13090 (SatELiteGTI) S 13088 13090 12432 0 -1 4194304 336 2063 0 0 0 0 24 1 16 0 1 0 306746370 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13090/statm: 1339 239 197 169 0 50 0
[pid=13096] ppid=13090 vsize=512652 CPUtime=941.45
/proc/13096/stat : 13096 (minisat_static) R 13090 13090 12432 0 -1 4194304 127818 0 0 0 94005 140 0 0 25 0 1 0 306746397 524955648 127804 1992294400 134512640 135215339 4294956240 18446744073709551615 134528791 0 0 4096 3 0 0 0 17 0 0 0
/proc/13096/statm: 128163 127804 77 171 0 127990 0
Current children cumulated CPU time (s) 941.7
Current children cumulated vsize (KiB) 518008
[startup+1002.3 s]
/proc/loadavg: 1.00 1.03 1.01 2/66 13098
/proc/meminfo: memFree=1342592/2055920 swapFree=4180048/4192956
[pid=13090] ppid=13088 vsize=5356 CPUtime=0.25
/proc/13090/stat : 13090 (SatELiteGTI) S 13088 13090 12432 0 -1 4194304 336 2063 0 0 0 0 24 1 16 0 1 0 306746370 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13090/statm: 1339 239 197 169 0 50 0
[pid=13096] ppid=13090 vsize=533640 CPUtime=1001.42
/proc/13096/stat : 13096 (minisat_static) R 13090 13090 12432 0 -1 4194304 133083 0 0 0 99997 145 0 0 25 0 1 0 306746397 546447360 133069 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/13096/statm: 133410 133069 77 171 0 133237 0
Current children cumulated CPU time (s) 1001.67
Current children cumulated vsize (KiB) 538996
[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 13098
/proc/meminfo: memFree=1323840/2055920 swapFree=4180048/4192956
[pid=13090] ppid=13088 vsize=5356 CPUtime=0.25
/proc/13090/stat : 13090 (SatELiteGTI) S 13088 13090 12432 0 -1 4194304 336 2063 0 0 0 0 24 1 16 0 1 0 306746370 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13090/statm: 1339 239 197 169 0 50 0
[pid=13096] ppid=13090 vsize=552388 CPUtime=1061.4
/proc/13096/stat : 13096 (minisat_static) R 13090 13090 12432 0 -1 4194304 137785 0 0 0 105989 151 0 0 25 0 1 0 306746397 565645312 137771 1992294400 134512640 135215339 4294956240 18446744073709551615 134538076 0 0 4096 3 0 0 0 17 1 0 0
/proc/13096/statm: 138097 137771 77 171 0 137924 0
Current children cumulated CPU time (s) 1061.65
Current children cumulated vsize (KiB) 557744
[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 13098
/proc/meminfo: memFree=1301440/2055920 swapFree=4180048/4192956
[pid=13090] ppid=13088 vsize=5356 CPUtime=0.25
/proc/13090/stat : 13090 (SatELiteGTI) S 13088 13090 12432 0 -1 4194304 336 2063 0 0 0 0 24 1 16 0 1 0 306746370 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13090/statm: 1339 239 197 169 0 50 0
[pid=13096] ppid=13090 vsize=574432 CPUtime=1121.36
/proc/13096/stat : 13096 (minisat_static) R 13090 13090 12432 0 -1 4194304 143340 0 0 0 111979 157 0 0 25 0 1 0 306746397 588218368 143326 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13096/statm: 143608 143326 77 171 0 143435 0
Current children cumulated CPU time (s) 1121.61
Current children cumulated vsize (KiB) 579788
[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 13098
/proc/meminfo: memFree=1281792/2055920 swapFree=4180048/4192956
[pid=13090] ppid=13088 vsize=5356 CPUtime=0.25
/proc/13090/stat : 13090 (SatELiteGTI) S 13088 13090 12432 0 -1 4194304 336 2063 0 0 0 0 24 1 16 0 1 0 306746370 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13090/statm: 1339 239 197 169 0 50 0
[pid=13096] ppid=13090 vsize=594100 CPUtime=1181.33
/proc/13096/stat : 13096 (minisat_static) R 13090 13090 12432 0 -1 4194304 148264 0 0 0 117971 162 0 0 25 0 1 0 306746397 608358400 148250 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13096/statm: 148525 148250 77 171 0 148352 0
Current children cumulated CPU time (s) 1181.58
Current children cumulated vsize (KiB) 599456
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.8 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 13098
/proc/meminfo: memFree=1276800/2055920 swapFree=4180048/4192956
[pid=13090] ppid=13088 vsize=5356 CPUtime=0.25
/proc/13090/stat : 13090 (SatELiteGTI) S 13088 13090 12432 0 -1 4194304 336 2063 0 0 0 0 24 1 16 0 1 0 306746370 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13090/statm: 1339 239 197 169 0 50 0
[pid=13096] ppid=13090 vsize=598720 CPUtime=1199.82
/proc/13096/stat : 13096 (minisat_static) R 13090 13090 12432 0 -1 4194304 149435 0 0 0 119819 163 0 0 25 0 1 0 306746397 613089280 149421 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13096/statm: 149680 149421 77 171 0 149507 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 604076
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.8 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 13098
/proc/meminfo: memFree=1276800/2055920 swapFree=4180048/4192956
[pid=13090] ppid=13088 vsize=5356 CPUtime=0.25
/proc/13090/stat : 13090 (SatELiteGTI) S 13088 13090 12432 0 -1 4194304 336 2063 0 0 0 0 24 1 16 0 1 0 306746370 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13090/statm: 1339 239 197 169 0 50 0
[pid=13096] ppid=13090 vsize=598720 CPUtime=1199.82
/proc/13096/stat : 13096 (minisat_static) R 13090 13090 12432 0 -1 4194304 149435 0 0 0 119819 163 0 0 25 0 1 0 306746397 613089280 149421 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13096/statm: 149680 149421 77 171 0 149507 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 604076
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13090 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=247962
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=21996
# CPU time returned by wait4() is 0.269958
# while last known CPU time is 1200.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.81
CPU time (s): 1200.07
CPU user time (s): 1198.43
CPU system time (s): 1.64
CPU usage (%): 99.9382
Max. virtual memory (cumulated for all children) (KiB): 604076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.247962
system time used= 0.021996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2399
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= 12
involuntary context switches= 10
runsolver used 1.09983 second user time and 3.36249 second system time
The end
Begin job on node44 at 2009-05-20 04:39:44
IDJOB=1832739
IDBENCH=70333
IDSOLVER=671
FILE ID=node44/1832739-1242787183
PBS_JOBID= 9322317
Free space on /tmp= 66372 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/14000/unif-k3-r4.2-v14000-c58800-S1839094140-055.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832739-1242787183/watcher-1832739-1242787183 -o /tmp/evaluation-result-1832739-1242787183/solver-1832739-1242787183 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832739-1242787183.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 09c56b8f22055d8047e518985ef77900
RANDOM SEED=1796893038
node44.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.267
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 : 5931.00
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.267
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: 1879344 kB
Buffers: 24868 kB
Cached: 104864 kB
SwapCached: 7220 kB
Active: 39736 kB
Inactive: 98896 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1879344 kB
SwapTotal: 4192956 kB
SwapFree: 4180048 kB
Dirty: 2680 kB
Writeback: 0 kB
Mapped: 14060 kB
Slab: 23980 kB
Committed_AS: 1010580 kB
PageTables: 1384 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66368 MiB
End job on node44 at 2009-05-20 04:59:46