0.00/0.00 c Parsing...
0.00/0.08 c ==============================================================================
0.00/0.08 c | | ORIGINAL | LEARNT | |
0.00/0.08 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.08 c ==============================================================================
0.00/0.08 c | 0 | 75600 226800 | 22679 0 0 nan | 0.000 % |
0.00/0.25 c | 0 | 75112 228015 | -- 0 -- -- | -- | -488/1215
0.00/0.25 c ==============================================================================
0.00/0.25 c Result : #vars: 17560 #clauses: 75112 #literals: 228015
0.00/0.25 c CPU time: 0.240963 s
0.00/0.25 c ==============================================================================
0.00/0.33 c This is MiniSat 2.0 beta
0.00/0.33 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.33 c ============================[ Problem Statistics ]=============================
0.00/0.33 c | |
0.00/0.33 c | Number of variables: 17560 |
0.00/0.33 c | Number of clauses: 75112 |
0.00/0.40 c | Parsing time: 0.06 s |
0.32/0.40 c ============================[ Search Statistics ]==============================
0.32/0.40 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.32/0.40 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.32/0.40 c ===============================================================================
0.32/0.40 c | 0 | 17560 75112 228015 | 25037 0 nan | 0.000 % |
0.32/0.48 c | 100 | 17560 75112 228015 | 25037 100 160 | 0.000 % |
0.32/0.55 c | 204 | 17560 75112 228015 | 25037 204 202 | 0.000 % |
0.32/0.61 c | 304 | 17560 75112 228015 | 25037 304 192 | 0.000 % |
0.32/0.68 c | 414 | 17560 75112 228015 | 25037 414 197 | 0.000 % |
0.32/0.74 c | 514 | 17560 75112 228015 | 25037 514 185 | 0.000 % |
0.32/0.82 c | 624 | 17560 75112 228015 | 25037 624 185 | 0.000 % |
0.32/0.89 c | 745 | 17560 75112 228015 | 25037 745 182 | 0.000 % |
0.32/0.95 c | 845 | 17560 75112 228015 | 25037 845 179 | 0.000 % |
0.97/1.02 c | 955 | 17560 75112 228015 | 25037 955 180 | 0.000 % |
0.97/1.10 c | 1076 | 17560 75112 228015 | 25037 1076 185 | 0.000 % |
1.07/1.18 c | 1214 | 17560 75112 228015 | 25037 1214 186 | 0.000 % |
1.16/1.24 c | 1317 | 17560 75112 228015 | 25037 1317 187 | 0.000 % |
1.26/1.31 c | 1427 | 17560 75112 228015 | 25037 1427 187 | 0.000 % |
1.26/1.39 c | 1549 | 17560 75112 228015 | 25037 1549 188 | 0.000 % |
1.36/1.47 c | 1682 | 17560 75112 228015 | 25037 1682 185 | 0.000 % |
1.46/1.56 c | 1829 | 17560 75112 228015 | 25037 1829 189 | 0.000 % |
1.56/1.62 c | 1929 | 17560 75112 228015 | 25037 1929 187 | 0.000 % |
1.66/1.70 c | 2044 | 17560 75112 228015 | 25037 2044 186 | 0.000 % |
1.66/1.77 c | 2166 | 17560 75112 228015 | 25037 2166 190 | 0.000 % |
1.76/1.85 c | 2300 | 17560 75112 228015 | 25037 2300 189 | 0.000 % |
1.86/1.93 c | 2448 | 17560 75112 228015 | 25037 2448 187 | 0.000 % |
1.96/2.04 c | 2608 | 17560 75112 228015 | 25037 2608 186 | 0.000 % |
2.08/2.10 c | 2710 | 17560 75112 228015 | 25037 2710 185 | 0.000 % |
2.08/2.17 c | 2821 | 17560 75112 228015 | 25037 2821 187 | 0.000 % |
2.18/2.25 c | 2942 | 17560 75112 228015 | 25037 2942 187 | 0.000 % |
2.27/2.32 c | 3077 | 17560 75112 228015 | 25037 3077 185 | 0.000 % |
2.37/2.42 c | 3223 | 17560 75112 228015 | 25037 3223 184 | 0.000 % |
2.47/2.52 c | 3386 | 17560 75112 228015 | 25037 3386 185 | 0.000 % |
2.57/2.62 c | 3563 | 17560 75112 228015 | 25037 3563 184 | 0.000 % |
2.57/2.69 c | 3663 | 17560 75112 228015 | 25037 3663 184 | 0.000 % |
2.66/2.76 c | 3774 | 17560 75112 228015 | 25037 3774 183 | 0.000 % |
2.76/2.83 c | 3896 | 17560 75112 228015 | 25037 3896 183 | 0.000 % |
2.86/2.91 c | 4030 | 17560 75112 228015 | 25037 4030 184 | 0.000 % |
2.96/3.00 c | 4176 | 17560 75112 228015 | 25037 4176 184 | 0.000 % |
3.06/3.11 c | 4336 | 17560 75112 228015 | 25037 4336 185 | 0.000 % |
3.17/3.21 c | 4512 | 17560 75112 228015 | 25037 4512 185 | 0.000 % |
3.27/3.33 c | 4705 | 17560 75112 228015 | 25037 4705 184 | 0.000 % |
3.36/3.40 c | 4805 | 17560 75112 228015 | 25037 4805 183 | 0.000 % |
3.36/3.48 c | 4915 | 17560 75112 228015 | 25037 4915 183 | 0.000 % |
3.46/3.55 c | 5036 | 17560 75112 228015 | 25037 5036 182 | 0.000 % |
3.56/3.63 c | 5169 | 17560 75112 228015 | 25037 5169 182 | 0.000 % |
3.67/3.73 c | 5316 | 17560 75112 228015 | 25037 5316 182 | 0.000 % |
3.77/3.84 c | 5477 | 17560 75112 228015 | 25037 5477 182 | 0.000 % |
3.87/3.95 c | 5653 | 17560 75112 228015 | 25037 5653 184 | 0.000 % |
3.97/4.07 c | 5847 | 17560 75112 228015 | 25037 5847 185 | 0.000 % |
4.17/4.20 c | 6060 | 17560 75112 228015 | 25037 6060 186 | 0.000 % |
4.17/4.26 c | 6161 | 17560 75112 228015 | 25037 6161 186 | 0.000 % |
4.27/4.35 c | 6271 | 17560 75112 228015 | 25037 6271 185 | 0.000 % |
4.37/4.42 c | 6393 | 17560 75112 228015 | 25037 6393 185 | 0.000 % |
4.47/4.51 c | 6526 | 17560 75112 228015 | 25037 6526 185 | 0.000 % |
4.57/4.61 c | 6673 | 17560 75112 228015 | 25037 6673 185 | 0.000 % |
4.67/4.71 c | 6833 | 17560 75112 228015 | 25037 6833 186 | 0.000 % |
4.77/4.83 c | 7012 | 17560 75112 228015 | 25037 7012 187 | 0.000 % |
4.86/4.96 c | 7205 | 17560 75112 228015 | 25037 7205 188 | 0.000 % |
5.06/5.10 c | 7417 | 17560 75112 228015 | 25037 7417 189 | 0.000 % |
5.16/5.24 c | 7651 | 17560 75112 228015 | 25037 7651 189 | 0.000 % |
5.26/5.31 c | 7751 | 17560 75112 228015 | 25037 7751 189 | 0.000 % |
5.26/5.38 c | 7861 | 17560 75112 228015 | 25037 7861 189 | 0.000 % |
5.37/5.46 c | 7982 | 17560 75112 228015 | 25037 7982 190 | 0.000 % |
5.47/5.55 c | 8116 | 17560 75112 228015 | 25037 8116 190 | 0.000 % |
5.56/5.65 c | 8265 | 17560 75112 228015 | 25037 8265 189 | 0.000 % |
5.66/5.75 c | 8425 | 17560 75112 228015 | 25037 8425 189 | 0.000 % |
5.76/5.88 c | 8602 | 17560 75112 228015 | 25037 8602 189 | 0.000 % |
5.96/6.01 c | 8795 | 17560 75112 228015 | 25037 8795 190 | 0.000 % |
6.06/6.15 c | 9007 | 17560 75112 228015 | 25037 9007 189 | 0.000 % |
6.27/6.33 c | 9240 | 17560 75112 228015 | 25037 9240 189 | 0.000 % |
6.37/6.49 c | 9496 | 17560 75112 228015 | 25037 9496 189 | 0.000 % |
6.47/6.58 c | 9597 | 17560 75112 228015 | 25037 9597 189 | 0.000 % |
6.57/6.65 c | 9707 | 17560 75112 228015 | 25037 9707 189 | 0.000 % |
6.66/6.74 c | 9828 | 17560 75112 228015 | 25037 9828 189 | 0.000 % |
6.76/6.83 c | 9961 | 17560 75112 228015 | 25037 9961 189 | 0.000 % |
6.86/6.93 c | 10107 | 17560 75112 228015 | 2147483647 10107 189 | 0.000 % |
6.96/7.04 c | 10267 | 17560 75112 228015 | 2147483647 10267 189 | 0.000 % |
7.06/7.15 c | 10443 | 17560 75112 228015 | 2147483647 10443 189 | 0.000 % |
7.16/7.29 c | 10636 | 17560 75112 228015 | 2147483647 10636 189 | 0.000 % |
7.36/7.44 c | 10851 | 17560 75112 228015 | 2147483647 10851 189 | 0.000 % |
7.46/7.60 c | 11084 | 17560 75112 228015 | 2147483647 11084 189 | 0.000 % |
7.66/7.78 c | 11340 | 17560 75112 228015 | 2147483647 11340 190 | 0.000 % |
7.85/7.97 c | 11622 | 17560 75112 228015 | 2147483647 11622 190 | 0.000 % |
7.95/8.04 c | 11722 | 17560 75112 228015 | 2147483647 11722 190 | 0.000 % |
8.05/8.12 c | 11833 | 17560 75112 228015 | 2147483647 11833 190 | 0.000 % |
8.15/8.21 c | 11954 | 17560 75112 228015 | 2147483647 11954 190 | 0.000 % |
8.26/8.30 c | 12087 | 17560 75112 228015 | 2147483647 12087 190 | 0.000 % |
8.26/8.39 c | 12233 | 17560 75112 228015 | 2147483647 12233 190 | 0.000 % |
8.46/8.50 c | 12393 | 17560 75112 228015 | 2147483647 12393 191 | 0.000 % |
8.56/8.63 c | 12570 | 17560 75112 228015 | 2147483647 12570 191 | 0.000 % |
8.67/8.76 c | 12764 | 17560 75112 228015 | 2147483647 12764 192 | 0.000 % |
8.86/8.92 c | 12977 | 17560 75112 228015 | 2147483647 12977 191 | 0.000 % |
8.96/9.09 c | 13211 | 17560 75112 228015 | 2147483647 13211 193 | 0.000 % |
9.16/9.27 c | 13469 | 17560 75112 228015 | 2147483647 13469 195 | 0.000 % |
9.36/9.48 c | 13752 | 17560 75112 228015 | 2147483647 13752 194 | 0.000 % |
9.56/9.70 c | 14062 | 17560 75112 228015 | 2147483647 14062 195 | 0.000 % |
9.66/9.78 c | 14163 | 17560 75112 228015 | 2147483647 14163 195 | 0.000 % |
9.76/9.86 c | 14273 | 17560 75112 228015 | 2147483647 14273 195 | 0.000 % |
9.86/9.95 c | 14395 | 17560 75112 228015 | 2147483647 14395 195 | 0.000 % |
9.96/10.05 c | 14528 | 17560 75112 228015 | 2147483647 14528 196 | 0.000 % |
10.06/10.16 c | 14675 | 17560 75112 228015 | 2147483647 14675 195 | 0.000 % |
10.16/10.28 c | 14835 | 17560 75112 228015 | 2147483647 14835 195 | 0.000 % |
10.36/10.41 c | 15014 | 17560 75112 228015 | 2147483647 15014 195 | 0.000 % |
10.45/10.54 c | 15207 | 17560 75112 228015 | 2147483647 15207 195 | 0.000 % |
10.55/10.69 c | 15419 | 17560 75112 228015 | 2147483647 15419 195 | 0.000 % |
10.75/10.86 c | 15652 | 17560 75112 228015 | 2147483647 15652 196 | 0.000 % |
10.96/11.04 c | 15908 | 17560 75112 228015 | 2147483647 15908 195 | 0.000 % |
11.15/11.23 c | 16190 | 17560 75112 228015 | 2147483647 16190 196 | 0.000 % |
11.36/11.44 c | 16500 | 17560 75112 228015 | 2147483647 16500 196 | 0.000 % |
11.56/11.69 c | 16839 | 17560 75112 228015 | 2147483647 16839 197 | 0.000 % |
11.66/11.77 c | 16939 | 17560 75112 228015 | 2147483647 16939 197 | 0.000 % |
11.76/11.85 c | 17049 | 17560 75112 228015 | 2147483647 17049 197 | 0.000 % |
11.86/11.94 c | 17170 | 17560 75112 228015 | 2147483647 17170 197 | 0.000 % |
11.96/12.04 c | 17304 | 17560 75112 228015 | 2147483647 17304 197 | 0.000 % |
12.06/12.14 c | 17450 | 17560 75112 228015 | 2147483647 17450 197 | 0.000 % |
12.16/12.26 c | 17610 | 17560 75112 228015 | 2147483647 17610 196 | 0.000 % |
12.26/12.39 c | 17788 | 17560 75112 228015 | 2147483647 17788 196 | 0.000 % |
12.45/12.54 c | 17981 | 17560 75112 228015 | 2147483647 17981 197 | 0.000 % |
12.65/12.70 c | 18195 | 17560 75112 228015 | 2147483647 18195 198 | 0.000 % |
12.75/12.87 c | 18428 | 17560 75112 228015 | 2147483647 18428 198 | 0.000 % |
12.95/13.07 c | 18686 | 17560 75112 228015 | 2147483647 18686 199 | 0.000 % |
13.15/13.29 c | 18968 | 17560 75112 228015 | 2147483647 18968 199 | 0.000 % |
13.45/13.53 c | 19277 | 17560 75112 228015 | 2147483647 19277 199 | 0.000 % |
13.65/13.79 c | 19616 | 17560 75112 228015 | 2147483647 19616 200 | 0.000 % |
13.95/14.05 c | 19990 | 17560 75112 228015 | 2147483647 19990 200 | 0.000 % |
14.05/14.14 c | 20091 | 17560 75112 228015 | 2147483647 20091 200 | 0.000 % |
14.15/14.24 c | 20203 | 17560 75112 228015 | 2147483647 20203 200 | 0.000 % |
14.25/14.34 c | 20324 | 17560 75112 228015 | 2147483647 20324 200 | 0.000 % |
14.35/14.44 c | 20457 | 17560 75112 228015 | 2147483647 20457 200 | 0.000 % |
14.45/14.55 c | 20603 | 17560 75112 228015 | 2147483647 20603 200 | 0.000 % |
14.55/14.69 c | 20763 | 17560 75112 228015 | 2147483647 20763 199 | 0.000 % |
14.75/14.82 c | 20939 | 17560 75112 228015 | 2147483647 20939 199 | 0.000 % |
14.85/14.96 c | 21134 | 17560 75112 228015 | 2147483647 21134 199 | 0.000 % |
15.05/15.12 c | 21346 | 17560 75112 228015 | 2147483647 21346 200 | 0.000 % |
15.15/15.29 c | 21579 | 17560 75112 228015 | 2147483647 21579 200 | 0.000 % |
15.36/15.46 c | 21835 | 17560 75112 228015 | 2147483647 21835 201 | 0.000 % |
15.55/15.67 c | 22117 | 17560 75112 228015 | 2147483647 22117 201 | 0.000 % |
15.85/15.90 c | 22426 | 17560 75112 228015 | 2147483647 22426 203 | 0.000 % |
16.05/16.13 c | 22766 | 17560 75112 228015 | 2147483647 22766 203 | 0.000 % |
16.35/16.41 c | 23141 | 17560 75112 228015 | 2147483647 23141 204 | 0.000 % |
16.65/16.70 c | 23552 | 17560 75112 228015 | 2147483647 23552 205 | 0.000 % |
16.65/16.79 c | 23652 | 17560 75112 228015 | 2147483647 23652 205 | 0.000 % |
16.75/16.87 c | 23763 | 17560 75112 228015 | 2147483647 23763 205 | 0.000 % |
16.85/16.96 c | 23884 | 17560 75112 228015 | 2147483647 23884 205 | 0.000 % |
16.95/17.07 c | 24018 | 17560 75112 228015 | 2147483647 24018 205 | 0.000 % |
17.05/17.19 c | 24165 | 17560 75112 228015 | 2147483647 24165 204 | 0.000 % |
17.25/17.31 c | 24325 | 17560 75112 228015 | 2147483647 24325 205 | 0.000 % |
17.35/17.43 c | 24501 | 17560 75112 228015 | 2147483647 24501 204 | 0.000 % |
17.45/17.59 c | 24695 | 17560 75112 228015 | 2147483647 24695 204 | 0.000 % |
17.65/17.76 c | 24908 | 17560 75112 228015 | 2147483647 24908 205 | 0.000 % |
17.85/17.93 c | 25142 | 17560 75112 228015 | 2147483647 25142 204 | 0.000 % |
18.05/18.13 c | 25399 | 17560 75112 228015 | 2147483647 25399 205 | 0.000 % |
18.24/18.34 c | 25680 | 17560 75112 228015 | 2147483647 25680 205 | 0.000 % |
18.44/18.58 c | 25992 | 17560 75112 228015 | 2147483647 25992 206 | 0.000 % |
18.74/18.85 c | 26332 | 17560 75112 228015 | 2147483647 26332 206 | 0.000 % |
19.04/19.11 c | 26705 | 17560 75112 228015 | 2147483647 26705 206 | 0.000 % |
19.34/19.40 c | 27115 | 17560 75112 228015 | 2147483647 27115 206 | 0.000 % |
19.65/19.73 c | 27566 | 17560 75112 228015 | 2147483647 27566 206 | 0.000 % |
19.75/19.83 c | 27669 | 17560 75112 228015 | 2147483647 27669 206 | 0.000 % |
19.84/19.91 c | 27780 | 17560 75112 228015 | 2147483647 27780 206 | 0.000 % |
19.95/20.01 c | 27901 | 17560 75112 228015 | 2147483647 27901 206 | 0.000 % |
20.05/20.12 c | 28034 | 17560 75112 228015 | 2147483647 28034 205 | 0.000 % |
20.15/20.24 c | 28181 | 17560 75112 228015 | 2147483647 28181 205 | 0.000 % |
20.25/20.38 c | 28344 | 17560 75112 228015 | 2147483647 28344 206 | 0.000 % |
20.45/20.53 c | 28521 | 17560 75112 228015 | 2147483647 28521 205 | 0.000 % |
20.55/20.68 c | 28714 | 17560 75112 228015 | 2147483647 28714 205 | 0.000 % |
20.75/20.85 c | 28926 | 17560 75112 228015 | 2147483647 28926 205 | 0.000 % |
20.95/21.03 c | 29159 | 17560 75112 228015 | 2147483647 29159 206 | 0.000 % |
21.15/21.21 c | 29416 | 17560 75112 228015 | 2147483647 29416 207 | 0.000 % |
21.35/21.43 c | 29697 | 17560 75112 228015 | 2147483647 29697 206 | 0.000 % |
21.55/21.67 c | 30010 | 17560 75112 228015 | 2147483647 30010 207 | 0.000 % |
21.85/21.94 c | 30351 | 17560 75112 228015 | 2147483647 30351 207 | 0.000 % |
22.15/22.23 c | 30725 | 17560 75112 228015 | 2147483647 30725 208 | 0.000 % |
22.44/22.54 c | 31135 | 17560 75112 228015 | 2147483647 31135 208 | 0.000 % |
22.84/22.91 c | 31585 | 17560 75112 228015 | 2147483647 31585 209 | 0.000 % |
23.24/23.31 c | 32078 | 17560 75112 228015 | 2147483647 32078 210 | 0.000 % |
23.24/23.39 c | 32178 | 17560 75112 228015 | 2147483647 32178 210 | 0.000 % |
23.45/23.50 c | 32289 | 17560 75112 228015 | 2147483647 32289 210 | 0.000 % |
23.45/23.59 c | 32410 | 17560 75112 228015 | 2147483647 32410 210 | 0.000 % |
23.55/23.68 c | 32543 | 17560 75112 228015 | 2147483647 32543 210 | 0.000 % |
23.75/23.81 c | 32690 | 17560 75112 228015 | 2147483647 32690 210 | 0.000 % |
23.85/23.94 c | 32850 | 17560 75112 228015 | 2147483647 32850 210 | 0.000 % |
23.95/24.08 c | 33027 | 17560 75112 228015 | 2147483647 33027 210 | 0.000 % |
24.15/24.25 c | 33220 | 17560 75112 228015 | 2147483647 33220 210 | 0.000 % |
24.35/24.41 c | 33434 | 17560 75112 228015 | 2147483647 33434 210 | 0.000 % |
24.54/24.60 c | 33668 | 17560 75112 228015 | 2147483647 33668 210 | 0.000 % |
24.74/24.81 c | 33925 | 17560 75112 228015 | 2147483647 33925 210 | 0.000 % |
24.94/25.06 c | 34206 | 17560 75112 228015 | 2147483647 34206 210 | 0.000 % |
25.15/25.29 c | 34515 | 17560 75112 228015 | 2147483647 34515 210 | 0.000 % |
25.45/25.57 c | 34854 | 17560 75112 228015 | 2147483647 34854 211 | 0.000 % |
25.75/25.87 c | 35226 | 17560 75112 228015 | 2147483647 35226 211 | 0.000 % |
26.15/26.22 c | 35635 | 17560 75112 228015 | 2147483647 35635 211 | 0.000 % |
26.45/26.56 c | 36084 | 17560 75112 228015 | 2147483647 36084 212 | 0.000 % |
26.94/27.00 c | 36577 | 17560 75112 228015 | 2147483647 36577 212 | 0.000 % |
27.35/27.45 c | 37122 | 17560 75112 228015 | 2147483647 37122 212 | 0.000 % |
27.45/27.55 c | 37223 | 17560 75112 228015 | 2147483647 37223 212 | 0.000 % |
27.54/27.66 c | 37333 | 17560 75112 228015 | 2147483647 37333 212 | 0.000 % |
27.64/27.77 c | 37454 | 17560 75112 228015 | 2147483647 37454 212 | 0.000 % |
27.74/27.89 c | 37588 | 17560 75112 228015 | 2147483647 37588 212 | 0.000 % |
27.94/28.01 c | 37734 | 17560 75112 228015 | 2147483647 37734 212 | 0.000 % |
28.04/28.14 c | 37894 | 17560 75112 228015 | 2147483647 37894 212 | 0.000 % |
28.14/28.29 c | 38070 | 17560 75112 228015 | 2147483647 38070 212 | 0.000 % |
28.34/28.46 c | 38264 | 17560 75112 228015 | 2147483647 38264 212 | 0.000 % |
28.54/28.63 c | 38476 | 17560 75112 228015 | 2147483647 38476 212 | 0.000 % |
28.74/28.83 c | 38710 | 17560 75112 228015 | 2147483647 38710 212 | 0.000 % |
28.94/29.05 c | 38968 | 17560 75112 228015 | 2147483647 38968 212 | 0.000 % |
29.15/29.29 c | 39251 | 17560 75112 228015 | 2147483647 39251 212 | 0.000 % |
29.45/29.56 c | 39563 | 17560 75112 228015 | 2147483647 39563 212 | 0.000 % |
29.75/29.84 c | 39902 | 17560 75112 228015 | 2147483647 39902 213 | 0.000 % |
30.04/30.14 c | 40274 | 17560 75112 228015 | 2147483647 40274 213 | 0.000 % |
30.44/30.51 c | 40684 | 17560 75112 228015 | 2147483647 40684 214 | 0.000 % |
30.74/30.87 c | 41133 | 17560 75112 228015 | 2147483647 41133 214 | 0.000 % |
31.24/31.32 c | 41627 | 17560 75112 228015 | 2147483647 41627 214 | 0.000 % |
31.64/31.77 c | 42169 | 17560 75112 228015 | 2147483647 42169 215 | 0.000 % |
32.24/32.30 c | 42766 | 17560 75112 228015 | 2147483647 42766 215 | 0.000 % |
32.24/32.40 c | 42867 | 17560 75112 228015 | 2147483647 42867 215 | 0.000 % |
32.44/32.50 c | 42979 | 17560 75112 228015 | 2147483647 42979 215 | 0.000 % |
32.54/32.61 c | 43100 | 17560 75112 228015 | 2147483647 43100 215 | 0.000 % |
32.64/32.74 c | 43233 | 17560 75112 228015 | 2147483647 43233 215 | 0.000 % |
32.74/32.86 c | 43379 | 17560 75112 228015 | 2147483647 43379 215 | 0.000 % |
32.94/33.01 c | 43539 | 17560 75112 228015 | 2147483647 43539 215 | 0.000 % |
33.03/33.17 c | 43718 | 17560 75112 228015 | 2147483647 43718 215 | 0.000 % |
33.23/33.33 c | 43911 | 17560 75112 228015 | 2147483647 43911 215 | 0.000 % |
33.43/33.52 c | 44123 | 17560 75112 228015 | 2147483647 44123 215 | 0.000 % |
33.63/33.73 c | 44359 | 17560 75112 228015 | 2147483647 44359 215 | 0.000 % |
33.83/33.96 c | 44615 | 17560 75112 228015 | 2147483647 44615 215 | 0.000 % |
34.13/34.23 c | 44897 | 17560 75112 228015 | 2147483647 44897 215 | 0.000 % |
34.34/34.49 c | 45207 | 17560 75112 228015 | 2147483647 45207 216 | 0.000 % |
34.74/34.80 c | 45546 | 17560 75112 228015 | 2147483647 45546 216 | 0.000 % |
35.04/35.13 c | 45919 | 17560 75112 228015 | 2147483647 45919 216 | 0.000 % |
35.43/35.50 c | 46328 | 17560 75112 228015 | 2147483647 46328 216 | 0.000 % |
35.73/35.88 c | 46778 | 17560 75112 228015 | 2147483647 46778 217 | 0.000 % |
36.14/36.29 c | 47271 | 17560 75112 228015 | 2147483647 47271 217 | 0.000 % |
36.63/36.78 c | 47813 | 17560 75112 228015 | 2147483647 47813 217 | 0.000 % |
37.24/37.30 c | 48409 | 17560 75112 228015 | 2147483647 48409 218 | 0.000 % |
37.74/37.84 c | 49064 | 17560 75112 228015 | 2147483647 49064 218 | 0.000 % |
37.84/37.95 c | 49164 | 17560 75112 228015 | 2147483647 49164 218 | 0.000 % |
37.94/38.05 c | 49276 | 17560 75112 228015 | 2147483647 49276 218 | 0.000 % |
38.03/38.17 c | 49398 | 17560 75112 228015 | 2147483647 49398 218 | 0.000 % |
38.23/38.30 c | 49533 | 17560 75112 228015 | 2147483647 49533 218 | 0.000 % |
38.34/38.45 c | 49680 | 17560 75112 228015 | 2147483647 49680 218 | 0.000 % |
38.44/38.59 c | 49842 | 17560 75112 228015 | 2147483647 49842 218 | 0.000 % |
38.63/38.77 c | 50018 | 17560 75112 228015 | 2147483647 50018 218 | 0.000 % |
38.83/38.95 c | 50212 | 17560 75112 228015 | 2147483647 50212 218 | 0.000 % |
39.03/39.14 c | 50424 | 17560 75112 228015 | 2147483647 50424 218 | 0.000 % |
39.23/39.36 c | 50657 | 17560 75112 228015 | 2147483647 50657 218 | 0.000 % |
39.43/39.60 c | 50913 | 17560 75112 228015 | 2147483647 50913 218 | 0.000 % |
39.73/39.85 c | 51196 | 17560 75112 228015 | 2147483647 51196 218 | 0.000 % |
40.02/40.12 c | 51505 | 17560 75112 228015 | 2147483647 51505 218 | 0.000 % |
40.33/40.44 c | 51844 | 17560 75112 228015 | 2147483647 51844 218 | 0.000 % |
40.64/40.77 c | 52217 | 17560 75112 228015 | 2147483647 52217 218 | 0.000 % |
41.03/41.14 c | 52629 | 17560 75112 228015 | 2147483647 52629 218 | 0.000 % |
41.43/41.57 c | 53078 | 17560 75112 228015 | 2147483647 53078 218 | 0.000 % |
41.93/42.03 c | 53571 | 17560 75112 228015 | 2147483647 53571 219 | 0.000 % |
42.43/42.54 c | 54113 | 17560 75112 228015 | 2147483647 54113 219 | 0.000 % |
42.92/43.08 c | 54709 | 17560 75112 228015 | 2147483647 54709 219 | 0.000 % |
43.63/43.71 c | 55369 | 17560 75112 228015 | 2147483647 55369 220 | 0.000 % |
44.23/44.38 c | 56091 | 17560 75112 228015 | 2147483647 56091 220 | 0.000 % |
44.33/44.49 c | 56192 | 17560 75112 228015 | 2147483647 56192 220 | 0.000 % |
44.53/44.61 c | 56305 | 17560 75112 228015 | 2147483647 56305 220 | 0.000 % |
44.63/44.73 c | 56426 | 17560 75112 228015 | 2147483647 56426 220 | 0.000 % |
44.73/44.87 c | 56559 | 17560 75112 228015 | 2147483647 56559 220 | 0.000 % |
44.93/45.02 c | 56706 | 17560 75112 228015 | 2147483647 56706 220 | 0.000 % |
45.03/45.19 c | 56866 | 17560 75112 228015 | 2147483647 56866 220 | 0.000 % |
45.22/45.37 c | 57042 | 17560 75112 228015 | 2147483647 57042 220 | 0.000 % |
45.42/45.57 c | 57236 | 17560 75112 228015 | 2147483647 57236 220 | 0.000 % |
45.63/45.78 c | 57448 | 17560 75112 228015 | 2147483647 57448 221 | 0.000 % |
45.93/46.03 c | 57681 | 17560 75112 228015 | 2147483647 57681 220 | 0.000 % |
46.13/46.27 c | 57937 | 17560 75112 228015 | 2147483647 57937 220 | 0.000 % |
46.43/46.55 c | 58219 | 17560 75112 228015 | 2147483647 58219 220 | 0.000 % |
46.72/46.86 c | 58528 | 17560 75112 228015 | 2147483647 58528 220 | 0.000 % |
47.02/47.18 c | 58868 | 17560 75112 228015 | 2147483647 58868 220 | 0.000 % |
47.42/47.52 c | 59240 | 17560 75112 228015 | 2147483647 59240 220 | 0.000 % |
47.82/47.91 c | 59649 | 17560 75112 228015 | 2147483647 59649 220 | 0.000 % |
48.22/48.34 c | 60098 | 17560 75112 228015 | 2147483647 60098 220 | 0.000 % |
48.73/48.82 c | 60592 | 17560 75112 228015 | 2147483647 60592 221 | 0.000 % |
49.23/49.35 c | 61136 | 17560 75112 228015 | 2147483647 61136 221 | 0.000 % |
49.83/49.93 c | 61734 | 17560 75112 228015 | 2147483647 61734 221 | 0.000 % |
50.43/50.59 c | 62390 | 17560 75112 228015 | 2147483647 62390 222 | 0.000 % |
51.22/51.31 c | 63112 | 17560 75112 228015 | 2147483647 63112 224 | 0.000 % |
51.91/52.09 c | 63904 | 17560 75112 228015 | 2147483647 63904 224 | 0.000 % |
52.01/52.19 c | 64004 | 17560 75112 228015 | 2147483647 64004 224 | 0.000 % |
52.21/52.34 c | 64114 | 17560 75112 228015 | 2147483647 64114 224 | 0.000 % |
52.31/52.46 c | 64235 | 17560 75112 228015 | 2147483647 64235 224 | 0.000 % |
52.41/52.59 c | 64368 | 17560 75112 228015 | 2147483647 64368 224 | 0.000 % |
52.62/52.76 c | 64514 | 17560 75112 228015 | 2147483647 64514 224 | 0.000 % |
52.81/52.95 c | 64674 | 17560 75112 228015 | 2147483647 64674 223 | 0.000 % |
53.01/53.14 c | 64851 | 17560 75112 228015 | 2147483647 64851 223 | 0.000 % |
53.21/53.33 c | 65045 | 17560 75112 228015 | 2147483647 65045 223 | 0.000 % |
53.41/53.57 c | 65258 | 17560 75112 228015 | 2147483647 65258 223 | 0.000 % |
53.72/53.82 c | 65492 | 17560 75112 228015 | 2147483647 65492 223 | 0.000 % |
53.92/54.07 c | 65750 | 17560 75112 228015 | 2147483647 65750 223 | 0.000 % |
54.21/54.36 c | 66033 | 17560 75112 228015 | 2147483647 66033 224 | 0.000 % |
54.51/54.66 c | 66343 | 17560 75112 228015 | 2147483647 66343 224 | 0.000 % |
54.92/55.02 c | 66682 | 17560 75112 228015 | 2147483647 66682 224 | 0.000 % |
55.31/55.40 c | 67054 | 17560 75112 228015 | 2147483647 67054 224 | 0.000 % |
55.71/55.81 c | 67463 | 17560 75112 228015 | 2147483647 67463 224 | 0.000 % |
56.11/56.24 c | 67914 | 17560 75112 228015 | 2147483647 67914 224 | 0.000 % |
56.61/56.74 c | 68407 | 17560 75112 228015 | 2147483647 68407 224 | 0.000 % |
57.12/57.28 c | 68949 | 17560 75112 228015 | 2147483647 68949 224 | 0.000 % |
57.71/57.86 c | 69545 | 17560 75112 228015 | 2147483647 69545 225 | 0.000 % |
58.41/58.51 c | 70202 | 17560 75112 228015 | 2147483647 70202 226 | 0.000 % |
59.11/59.25 c | 70922 | 17560 75112 228015 | 2147483647 70922 226 | 0.000 % |
59.91/60.06 c | 71714 | 17560 75112 228015 | 2147483647 71714 227 | 0.000 % |
60.81/60.91 c | 72585 | 17560 75112 228015 | 2147483647 72585 227 | 0.000 % |
60.91/61.04 c | 72685 | 17560 75112 228015 | 2147483647 72685 227 | 0.000 % |
61.01/61.18 c | 72795 | 17560 75112 228015 | 2147483647 72795 227 | 0.000 % |
61.21/61.33 c | 72916 | 17560 75112 228015 | 2147483647 72916 227 | 0.000 % |
61.31/61.47 c | 73049 | 17560 75112 228015 | 2147483647 73049 227 | 0.000 % |
61.51/61.64 c | 73196 | 17560 75112 228015 | 2147483647 73196 227 | 0.000 % |
61.71/61.83 c | 73356 | 17560 75112 228015 | 2147483647 73356 227 | 0.000 % |
61.91/62.02 c | 73532 | 17560 75112 228015 | 2147483647 73532 227 | 0.000 % |
62.11/62.24 c | 73725 | 17560 75112 228015 | 2147483647 73725 227 | 0.000 % |
62.31/62.47 c | 73937 | 17560 75112 228015 | 2147483647 73937 227 | 0.000 % |
62.61/62.74 c | 74171 | 17560 75112 228015 | 2147483647 74171 227 | 0.000 % |
62.90/63.02 c | 74428 | 17560 75112 228015 | 2147483647 74428 227 | 0.000 % |
63.20/63.34 c | 74710 | 17560 75112 228015 | 2147483647 74710 227 | 0.000 % |
63.51/63.64 c | 75019 | 17560 75112 228015 | 2147483647 75019 227 | 0.000 % |
63.91/64.01 c | 75360 | 17560 75112 228015 | 2147483647 75360 227 | 0.000 % |
64.31/64.41 c | 75732 | 17560 75112 228015 | 2147483647 75732 227 | 0.000 % |
64.71/64.86 c | 76141 | 17560 75112 228015 | 2147483647 76141 227 | 0.000 % |
65.21/65.34 c | 76590 | 17560 75112 228015 | 2147483647 76590 227 | 0.000 % |
65.71/65.83 c | 77084 | 17560 75112 228015 | 2147483647 77084 227 | 0.000 % |
66.30/66.41 c | 77628 | 17560 75112 228015 | 2147483647 77628 228 | 0.000 % |
66.90/67.02 c | 78224 | 17560 75112 228015 | 2147483647 78224 228 | 0.000 % |
67.60/67.71 c | 78881 | 17560 75112 228015 | 2147483647 78881 228 | 0.000 % |
68.31/68.48 c | 79603 | 17560 75112 228015 | 2147483647 79603 229 | 0.000 % |
69.11/69.29 c | 80395 | 17560 75112 228015 | 2147483647 80395 229 | 0.000 % |
70.10/70.21 c | 81268 | 17560 75112 228015 | 2147483647 81268 229 | 0.000 % |
71.10/71.26 c | 82227 | 17560 75112 228015 | 2147483647 82227 229 | 0.000 % |
71.20/71.38 c | 82330 | 17560 75112 228015 | 2147483647 82330 229 | 0.000 % |
71.30/71.49 c | 82440 | 17560 75112 228015 | 2147483647 82440 229 | 0.000 % |
71.50/71.63 c | 82561 | 17560 75112 228015 | 2147483647 82561 229 | 0.000 % |
71.70/71.81 c | 82695 | 17560 75112 228015 | 2147483647 82695 229 | 0.000 % |
71.80/71.99 c | 82841 | 17560 75112 228015 | 2147483647 82841 229 | 0.000 % |
72.10/72.20 c | 83001 | 17560 75112 228015 | 2147483647 83001 229 | 0.000 % |
72.30/72.43 c | 83177 | 17560 75112 228015 | 2147483647 83177 229 | 0.000 % |
72.51/72.66 c | 83371 | 17560 75112 228015 | 2147483647 83371 229 | 0.000 % |
72.80/72.91 c | 83584 | 17560 75112 228015 | 2147483647 83584 229 | 0.000 % |
73.00/73.17 c | 83817 | 17560 75112 228015 | 2147483647 83817 229 | 0.000 % |
73.30/73.45 c | 84075 | 17560 75112 228015 | 2147483647 84075 228 | 0.000 % |
73.60/73.77 c | 84359 | 17560 75112 228015 | 2147483647 84359 229 | 0.000 % |
74.00/74.12 c | 84668 | 17560 75112 228015 | 2147483647 84668 229 | 0.000 % |
74.40/74.53 c | 85007 | 17560 75112 228015 | 2147483647 85007 229 | 0.000 % |
74.80/74.94 c | 85379 | 17560 75112 228015 | 2147483647 85379 228 | 0.000 % |
75.30/75.40 c | 85789 | 17560 75112 228015 | 2147483647 85789 229 | 0.000 % |
75.81/75.91 c | 86239 | 17560 75112 228015 | 2147483647 86239 229 | 0.000 % |
76.30/76.41 c | 86732 | 17560 75112 228015 | 2147483647 86732 229 | 0.000 % |
76.81/77.00 c | 87275 | 17560 75112 228015 | 2147483647 87275 229 | 0.000 % |
77.50/77.63 c | 87871 | 17560 75112 228015 | 2147483647 87871 229 | 0.000 % |
78.20/78.35 c | 88526 | 17560 75112 228015 | 2147483647 88526 229 | 0.000 % |
79.10/79.25 c | 89249 | 17560 75112 228015 | 2147483647 89249 230 | 0.000 % |
79.99/80.12 c | 90042 | 17560 75112 228015 | 2147483647 90042 230 | 0.000 % |
80.90/81.09 c | 90913 | 17560 75112 228015 | 2147483647 90913 230 | 0.000 % |
81.90/82.09 c | 91871 | 17560 75112 228015 | 2147483647 91871 231 | 0.000 % |
83.10/83.29 c | 92924 | 17560 75112 228015 | 2147483647 92924 231 | 0.000 % |
83.30/83.41 c | 93025 | 17560 75112 228015 | 2147483647 93025 231 | 0.000 % |
83.40/83.57 c | 93136 | 17560 75112 228015 | 2147483647 93136 231 | 0.000 % |
83.59/83.73 c | 93257 | 17560 75112 228015 | 2147483647 93257 231 | 0.000 % |
83.79/83.90 c | 93391 | 17560 75112 228015 | 2147483647 93391 231 | 0.000 % |
83.99/84.10 c | 93539 | 17560 75112 228015 | 2147483647 93539 231 | 0.000 % |
84.19/84.32 c | 93699 | 17560 75112 228015 | 2147483647 93699 231 | 0.000 % |
84.39/84.54 c | 93875 | 17560 75112 228015 | 2147483647 93875 231 | 0.000 % |
84.59/84.77 c | 94068 | 17560 75112 228015 | 2147483647 94068 231 | 0.000 % |
84.89/85.04 c | 94280 | 17560 75112 228015 | 2147483647 94280 231 | 0.000 % |
85.19/85.33 c | 94514 | 17560 75112 228015 | 2147483647 94514 231 | 0.000 % |
85.49/85.67 c | 94770 | 17560 75112 228015 | 2147483647 94770 231 | 0.000 % |
85.89/86.03 c | 95052 | 17560 75112 228015 | 2147483647 95052 231 | 0.000 % |
86.29/86.40 c | 95362 | 17560 75112 228015 | 2147483647 95362 231 | 0.000 % |
86.59/86.75 c | 95704 | 17560 75112 228015 | 2147483647 95704 231 | 0.000 % |
86.99/87.14 c | 96077 | 17560 75112 228015 | 2147483647 96077 231 | 0.000 % |
87.49/87.64 c | 96487 | 17560 75112 228015 | 2147483647 96487 232 | 0.000 % |
87.99/88.16 c | 96937 | 17560 75112 228015 | 2147483647 96937 232 | 0.000 % |
88.59/88.76 c | 97432 | 17560 75112 228015 | 2147483647 97432 232 | 0.000 % |
89.29/89.46 c | 97977 | 17560 75112 228015 | 2147483647 97977 232 | 0.000 % |
89.99/90.15 c | 98573 | 17560 75112 228015 | 2147483647 98573 232 | 0.000 % |
90.78/90.91 c | 99228 | 17560 75112 228015 | 2147483647 99228 232 | 0.000 % |
91.59/91.74 c | 99948 | 17560 75112 228015 | 2147483647 99948 233 | 0.000 % |
92.49/92.68 c | 100740 | 17560 75112 228015 | 2147483647 100740 233 | 0.000 % |
93.48/93.65 c | 101611 | 17560 75112 228015 | 2147483647 101611 233 | 0.000 % |
94.58/94.74 c | 102570 | 17560 75112 228015 | 2147483647 102570 233 | 0.000 % |
95.99/96.10 c | 103623 | 17560 75112 228015 | 2147483647 103623 235 | 0.000 % |
97.38/97.54 c | 104783 | 17560 75112 228015 | 2147483647 104783 235 | 0.000 % |
97.48/97.66 c | 104883 | 17560 75112 228015 | 2147483647 104883 235 | 0.000 % |
97.68/97.84 c | 104994 | 17560 75112 228015 | 2147483647 104994 235 | 0.000 % |
97.88/98.03 c | 105115 | 17560 75112 228015 | 2147483647 105115 235 | 0.000 % |
97.97/98.20 c | 105250 | 17560 75112 228015 | 2147483647 105250 235 | 0.000 % |
98.17/98.37 c | 105396 | 17560 75112 228015 | 2147483647 105396 235 | 0.000 % |
98.37/98.57 c | 105556 | 17560 75112 228015 | 2147483647 105556 235 | 0.000 % |
98.57/98.77 c | 105732 | 17560 75112 228015 | 2147483647 105732 235 | 0.000 % |
98.87/99.03 c | 105925 | 17560 75112 228015 | 2147483647 105925 235 | 0.000 % |
99.07/99.29 c | 106138 | 17560 75112 228015 | 2147483647 106138 235 | 0.000 % |
99.37/99.58 c | 106371 | 17560 75112 228015 | 2147483647 106371 235 | 0.000 % |
99.77/99.92 c | 106628 | 17560 75112 228015 | 2147483647 106628 235 | 0.000 % |
100.07/100.25 c | 106910 | 17560 75112 228015 | 2147483647 106910 235 | 0.000 % |
100.47/100.65 c | 107219 | 17560 75112 228015 | 2147483647 107219 235 | 0.000 % |
100.87/101.09 c | 107560 | 17560 75112 228015 | 2147483647 107560 235 | 0.000 % |
101.37/101.57 c | 107933 | 17560 75112 228015 | 2147483647 107933 234 | 0.000 % |
101.87/102.07 c | 108342 | 17560 75112 228015 | 2147483647 108342 235 | 0.000 % |
102.37/102.59 c | 108792 | 17560 75112 228015 | 2147483647 108792 235 | 0.000 % |
102.97/103.19 c | 109286 | 17560 75112 228015 | 2147483647 109286 235 | 0.000 % |
103.67/103.82 c | 109830 | 17560 75112 228015 | 2147483647 109830 235 | 0.000 % |
104.28/104.47 c | 110426 | 17560 75112 228015 | 2147483647 110426 235 | 0.000 % |
105.07/105.27 c | 111083 | 17560 75112 228015 | 2147483647 111083 235 | 0.000 % |
105.97/106.18 c | 111806 | 17560 75112 228015 | 2147483647 111806 236 | 0.000 % |
107.06/107.20 c | 112598 | 17560 75112 228015 | 2147483647 112598 236 | 0.000 % |
108.07/108.22 c | 113470 | 17560 75112 228015 | 2147483647 113470 236 | 0.000 % |
109.26/109.42 c | 114430 | 17560 75112 228015 | 2147483647 114430 236 | 0.000 % |
110.57/110.78 c | 115483 | 17560 75112 228015 | 2147483647 115483 237 | 0.000 % |
112.16/112.32 c | 116642 | 17560 75112 228015 | 2147483647 116642 237 | 0.000 % |
113.67/113.89 c | 117915 | 17560 75112 228015 | 2147483647 117915 237 | 0.000 % |
113.87/114.03 c | 118017 | 17560 75112 228015 | 2147483647 118017 237 | 0.000 % |
114.07/114.21 c | 118127 | 17560 75112 228015 | 2147483647 118127 237 | 0.000 % |
114.17/114.39 c | 118249 | 17560 75112 228015 | 2147483647 118249 237 | 0.000 % |
114.36/114.57 c | 118382 | 17560 75112 228015 | 2147483647 118382 237 | 0.000 % |
114.56/114.78 c | 118530 | 17560 75112 228015 | 2147483647 118530 237 | 0.000 % |
114.86/115.00 c | 118690 | 17560 75112 228015 | 2147483647 118690 237 | 0.000 % |
115.06/115.24 c | 118867 | 17560 75112 228015 | 2147483647 118867 237 | 0.000 % |
115.37/115.51 c | 119061 | 17560 75112 228015 | 2147483647 119061 237 | 0.000 % |
115.66/115.82 c | 119273 | 17560 75112 228015 | 2147483647 119273 237 | 0.000 % |
115.96/116.14 c | 119506 | 17560 75112 228015 | 2147483647 119506 237 | 0.000 % |
116.26/116.49 c | 119762 | 17560 75112 228015 | 2147483647 119762 237 | 0.000 % |
116.66/116.88 c | 120043 | 17560 75112 228015 | 2147483647 120043 237 | 0.000 % |
117.17/117.33 c | 120354 | 17560 75112 228015 | 2147483647 120354 237 | 0.000 % |
117.57/117.79 c | 120693 | 17560 75112 228015 | 2147483647 120693 237 | 0.000 % |
118.06/118.28 c | 121065 | 17560 75112 228015 | 2147483647 121065 237 | 0.000 % |
118.67/118.85 c | 121474 | 17560 75112 228015 | 2147483647 121474 237 | 0.000 % |
119.26/119.47 c | 121924 | 17560 75112 228015 | 2147483647 121924 237 | 0.000 % |
119.96/120.10 c | 122417 | 17560 75112 228015 | 2147483647 122417 237 | 0.000 % |
120.56/120.76 c | 122960 | 17560 75112 228015 | 2147483647 122960 236 | 0.000 % |
121.36/121.53 c | 123556 | 17560 75112 228015 | 2147483647 123556 237 | 0.000 % |
122.25/122.42 c | 124214 | 17560 75112 228015 | 2147483647 124214 237 | 0.000 % |
123.07/123.28 c | 124936 | 17560 75112 228015 | 2147483647 124936 237 | 0.000 % |
124.16/124.32 c | 125729 | 17560 75112 228015 | 2147483647 125729 237 | 0.000 % |
125.26/125.42 c | 126600 | 17560 75112 228015 | 2147483647 126600 237 | 0.000 % |
126.45/126.63 c | 127560 | 17560 75112 228015 | 2147483647 127560 237 | 0.000 % |
127.76/127.98 c | 128613 | 17560 75112 228015 | 2147483647 128613 237 | 0.000 % |
129.25/129.49 c | 129773 | 17560 75112 228015 | 2147483647 129773 238 | 0.000 % |
130.96/131.16 c | 131046 | 17560 75112 228015 | 2147483647 131046 238 | 0.000 % |
132.86/133.00 c | 132450 | 17560 75112 228015 | 2147483647 132450 238 | 0.000 % |
132.96/133.17 c | 132550 | 17560 75112 228015 | 2147483647 132550 238 | 0.000 % |
133.16/133.35 c | 132662 | 17560 75112 228015 | 2147483647 132662 238 | 0.000 % |
133.35/133.55 c | 132784 | 17560 75112 228015 | 2147483647 132784 238 | 0.000 % |
133.55/133.74 c | 132918 | 17560 75112 228015 | 2147483647 132918 238 | 0.000 % |
133.75/133.98 c | 133065 | 17560 75112 228015 | 2147483647 133065 238 | 0.000 % |
134.05/134.22 c | 133225 | 17560 75112 228015 | 2147483647 133225 238 | 0.000 % |
134.25/134.49 c | 133401 | 17560 75112 228015 | 2147483647 133401 238 | 0.000 % |
134.55/134.77 c | 133594 | 17560 75112 228015 | 2147483647 133594 238 | 0.000 % |
134.95/135.10 c | 133806 | 17560 75112 228015 | 2147483647 133806 238 | 0.000 % |
135.25/135.45 c | 134039 | 17560 75112 228015 | 2147483647 134039 238 | 0.000 % |
135.65/135.80 c | 134295 | 17560 75112 228015 | 2147483647 134295 238 | 0.000 % |
136.05/136.21 c | 134577 | 17560 75112 228015 | 2147483647 134577 238 | 0.000 % |
136.45/136.66 c | 134886 | 17560 75112 228015 | 2147483647 134886 238 | 0.000 % |
136.95/137.16 c | 135227 | 17560 75112 228015 | 2147483647 135227 238 | 0.000 % |
137.45/137.70 c | 135599 | 17560 75112 228015 | 2147483647 135599 238 | 0.000 % |
138.05/138.26 c | 136009 | 17560 75112 228015 | 2147483647 136009 238 | 0.000 % |
138.75/138.90 c | 136458 | 17560 75112 228015 | 2147483647 136458 238 | 0.000 % |
139.35/139.57 c | 136952 | 17560 75112 228015 | 2147483647 136952 238 | 0.000 % |
140.05/140.29 c | 137495 | 17560 75112 228015 | 2147483647 137495 238 | 0.000 % |
140.84/141.09 c | 138091 | 17560 75112 228015 | 2147483647 138091 238 | 0.000 % |
141.84/142.09 c | 138746 | 17560 75112 228015 | 2147483647 138746 239 | 0.000 % |
142.84/143.07 c | 139467 | 17560 75112 228015 | 2147483647 139467 239 | 0.000 % |
144.04/144.20 c | 140262 | 17560 75112 228015 | 2147483647 140262 239 | 0.000 % |
145.15/145.39 c | 141133 | 17560 75112 228015 | 2147483647 141133 239 | 0.000 % |
146.44/146.66 c | 142091 | 17560 75112 228015 | 2147483647 142091 239 | 0.000 % |
147.94/148.11 c | 143145 | 17560 75112 228015 | 2147483647 143145 240 | 0.000 % |
149.54/149.74 c | 144305 | 17560 75112 228015 | 2147483647 144305 240 | 0.000 % |
151.23/151.44 c | 145580 | 17560 75112 228015 | 2147483647 145580 240 | 0.000 % |
153.14/153.37 c | 146981 | 17560 75112 228015 | 2147483647 146981 241 | 0.000 % |
155.43/155.61 c | 148521 | 17560 75112 228015 | 2147483647 148521 241 | 0.000 % |
155.63/155.80 c | 148623 | 17560 75112 228015 | 2147483647 148623 241 | 0.000 % |
155.73/155.99 c | 148734 | 17560 75112 228015 | 2147483647 148734 241 | 0.000 % |
155.94/156.20 c | 148856 | 17560 75112 228015 | 2147483647 148856 241 | 0.000 % |
156.23/156.42 c | 148989 | 17560 75112 228015 | 2147483647 148989 241 | 0.000 % |
156.43/156.67 c | 149136 | 17560 75112 228015 | 2147483647 149136 241 | 0.000 % |
156.74/156.91 c | 149296 | 17560 75112 228015 | 2147483647 149296 241 | 0.000 % |
157.04/157.21 c | 149473 | 17560 75112 228015 | 2147483647 149473 241 | 0.000 % |
157.34/157.50 c | 149667 | 17560 75112 228015 | 2147483647 149667 241 | 0.000 % |
157.64/157.84 c | 149879 | 17560 75112 228015 | 2147483647 149879 241 | 0.000 % |
158.04/158.20 c | 150113 | 17560 75112 228015 | 2147483647 150113 241 | 0.000 % |
158.33/158.58 c | 150370 | 17560 75112 228015 | 2147483647 150370 241 | 0.000 % |
158.73/158.99 c | 150651 | 17560 75112 228015 | 2147483647 150651 241 | 0.000 % |
159.23/159.46 c | 150960 | 17560 75112 228015 | 2147483647 150960 241 | 0.000 % |
159.73/159.95 c | 151299 | 17560 75112 228015 | 2147483647 151299 241 | 0.000 % |
160.33/160.53 c | 151673 | 17560 75112 228015 | 2147483647 151673 241 | 0.000 % |
160.83/161.09 c | 152083 | 17560 75112 228015 | 2147483647 152083 241 | 0.000 % |
161.54/161.77 c | 152533 | 17560 75112 228015 | 2147483647 152533 241 | 0.000 % |
162.33/162.59 c | 153027 | 17560 75112 228015 | 2147483647 153027 241 | 0.000 % |
163.13/163.39 c | 153569 | 17560 75112 228015 | 2147483647 153569 241 | 0.000 % |
164.03/164.29 c | 154165 | 17560 75112 228015 | 2147483647 154165 241 | 0.000 % |
164.93/165.19 c | 154820 | 17560 75112 228015 | 2147483647 154820 241 | 0.000 % |
166.03/166.21 c | 155541 | 17560 75112 228015 | 2147483647 155541 241 | 0.000 % |
167.23/167.42 c | 156333 | 17560 75112 228015 | 2147483647 156333 241 | 0.000 % |
168.43/168.68 c | 157204 | 17560 75112 228015 | 2147483647 157204 241 | 0.000 % |
169.83/170.09 c | 158164 | 17560 75112 228015 | 2147483647 158164 241 | 0.000 % |
171.53/171.71 c | 159218 | 17560 75112 228015 | 2147483647 159218 242 | 0.000 % |
173.02/173.27 c | 160377 | 17560 75112 228015 | 2147483647 160377 242 | 0.000 % |
174.83/175.02 c | 161650 | 17560 75112 228015 | 2147483647 161650 242 | 0.000 % |
176.72/176.93 c | 163050 | 17560 75112 228015 | 2147483647 163050 242 | 0.000 % |
179.13/179.33 c | 164591 | 17560 75112 228015 | 2147483647 164591 242 | 0.000 % |
181.52/181.73 c | 166285 | 17560 75112 228015 | 2147483647 166285 243 | 0.000 % |
181.63/181.88 c | 166385 | 17560 75112 228015 | 2147483647 166385 243 | 0.000 % |
181.83/182.08 c | 166496 | 17560 75112 228015 | 2147483647 166496 243 | 0.000 % |
182.13/182.30 c | 166618 | 17560 75112 228015 | 2147483647 166618 243 | 0.000 % |
182.33/182.50 c | 166753 | 17560 75112 228015 | 2147483647 166753 243 | 0.000 % |
182.53/182.77 c | 166900 | 17560 75112 228015 | 2147483647 166900 243 | 0.000 % |
182.83/183.03 c | 167060 | 17560 75112 228015 | 2147483647 167060 243 | 0.000 % |
183.13/183.36 c | 167238 | 17560 75112 228015 | 2147483647 167238 243 | 0.000 % |
183.43/183.67 c | 167433 | 17560 75112 228015 | 2147483647 167433 243 | 0.000 % |
183.82/184.06 c | 167645 | 17560 75112 228015 | 2147483647 167645 243 | 0.000 % |
184.22/184.43 c | 167883 | 17560 75112 228015 | 2147483647 167883 243 | 0.000 % |
184.63/184.90 c | 168140 | 17560 75112 228015 | 2147483647 168140 243 | 0.000 % |
185.12/185.34 c | 168421 | 17560 75112 228015 | 2147483647 168421 243 | 0.000 % |
185.63/185.86 c | 168731 | 17560 75112 228015 | 2147483647 168731 243 | 0.000 % |
186.12/186.39 c | 169072 | 17560 75112 228015 | 2147483647 169072 243 | 0.000 % |
186.82/187.08 c | 169444 | 17560 75112 228015 | 2147483647 169444 243 | 0.000 % |
187.42/187.69 c | 169853 | 17560 75112 228015 | 2147483647 169853 243 | 0.000 % |
188.21/188.40 c | 170302 | 17560 75112 228015 | 2147483647 170302 243 | 0.000 % |
188.92/189.18 c | 170795 | 17560 75112 228015 | 2147483647 170795 243 | 0.000 % |
189.81/190.03 c | 171338 | 17560 75112 228015 | 2147483647 171338 243 | 0.000 % |
190.71/190.99 c | 171934 | 17560 75112 228015 | 2147483647 171934 243 | 0.000 % |
191.70/191.98 c | 172589 | 17560 75112 228015 | 2147483647 172589 243 | 0.000 % |
192.91/193.12 c | 173310 | 17560 75112 228015 | 2147483647 173310 243 | 0.000 % |
194.11/194.31 c | 174104 | 17560 75112 228015 | 2147483647 174104 243 | 0.000 % |
195.40/195.63 c | 174976 | 17560 75112 228015 | 2147483647 174976 243 | 0.000 % |
196.91/197.18 c | 175934 | 17560 75112 228015 | 2147483647 175934 243 | 0.000 % |
198.50/198.75 c | 176992 | 17560 75112 228015 | 2147483647 176992 243 | 0.000 % |
200.50/200.70 c | 178152 | 17560 75112 228015 | 2147483647 178152 244 | 0.000 % |
202.31/202.58 c | 179428 | 17560 75112 228015 | 2147483647 179428 244 | 0.000 % |
204.50/204.72 c | 180830 | 17560 75112 228015 | 2147483647 180830 244 | 0.000 % |
206.81/207.09 c | 182371 | 17560 75112 228015 | 2147483647 182371 244 | 0.000 % |
209.50/209.75 c | 184065 | 17560 75112 228015 | 2147483647 184065 246 | 0.000 % |
212.40/212.61 c | 185928 | 17560 75112 228015 | 2147483647 185928 247 | 0.000 % |
212.60/212.82 c | 186029 | 17560 75112 228015 | 2147483647 186029 247 | 0.000 % |
212.80/213.06 c | 186139 | 17560 75112 228015 | 2147483647 186139 247 | 0.000 % |
213.00/213.29 c | 186260 | 17560 75112 228015 | 2147483647 186260 247 | 0.000 % |
213.30/213.53 c | 186394 | 17560 75112 228015 | 2147483647 186394 247 | 0.000 % |
213.60/213.81 c | 186540 | 17560 75112 228015 | 2147483647 186540 247 | 0.000 % |
213.90/214.14 c | 186700 | 17560 75112 228015 | 2147483647 186700 247 | 0.000 % |
214.20/214.47 c | 186877 | 17560 75112 228015 | 2147483647 186877 247 | 0.000 % |
214.60/214.84 c | 187071 | 17560 75112 228015 | 2147483647 187071 246 | 0.000 % |
215.00/215.23 c | 187284 | 17560 75112 228015 | 2147483647 187284 246 | 0.000 % |
215.40/215.63 c | 187519 | 17560 75112 228015 | 2147483647 187519 246 | 0.000 % |
215.90/216.12 c | 187775 | 17560 75112 228015 | 2147483647 187775 246 | 0.000 % |
216.30/216.58 c | 188056 | 17560 75112 228015 | 2147483647 188056 246 | 0.000 % |
216.90/217.16 c | 188368 | 17560 75112 228015 | 2147483647 188368 246 | 0.000 % |
217.50/217.78 c | 188711 | 17560 75112 228015 | 2147483647 188711 246 | 0.000 % |
218.09/218.36 c | 189084 | 17560 75112 228015 | 2147483647 189084 246 | 0.000 % |
218.89/219.10 c | 189493 | 17560 75112 228015 | 2147483647 189493 246 | 0.000 % |
219.60/219.88 c | 189944 | 17560 75112 228015 | 2147483647 189944 246 | 0.000 % |
220.40/220.65 c | 190437 | 17560 75112 228015 | 2147483647 190437 246 | 0.000 % |
221.29/221.51 c | 190979 | 17560 75112 228015 | 2147483647 190979 246 | 0.000 % |
222.30/222.50 c | 191577 | 17560 75112 228015 | 2147483647 191577 246 | 0.000 % |
223.39/223.61 c | 192232 | 17560 75112 228015 | 2147483647 192232 247 | 0.000 % |
224.59/224.82 c | 192952 | 17560 75112 228015 | 2147483647 192952 247 | 0.000 % |
225.89/226.12 c | 193746 | 17560 75112 228015 | 2147483647 193746 247 | 0.000 % |
227.20/227.47 c | 194617 | 17560 75112 228015 | 2147483647 194617 247 | 0.000 % |
228.79/229.04 c | 195575 | 17560 75112 228015 | 2147483647 195575 247 | 0.000 % |
230.59/230.87 c | 196628 | 17560 75112 228015 | 2147483647 196628 247 | 0.000 % |
232.48/232.78 c | 197788 | 17560 75112 228015 | 2147483647 197788 247 | 0.000 % |
234.48/234.79 c | 199061 | 17560 75112 228015 | 2147483647 199061 247 | 0.000 % |
236.78/237.09 c | 200462 | 17560 75112 228015 | 2147483647 200462 247 | 0.000 % |
239.27/239.55 c | 202004 | 17560 75112 228015 | 2147483647 202004 247 | 0.000 % |
241.88/242.18 c | 203699 | 17560 75112 228015 | 2147483647 203699 248 | 0.000 % |
244.97/245.25 c | 205562 | 17560 75112 228015 | 2147483647 205562 248 | 0.000 % |
248.28/248.58 c | 207611 | 17560 75112 228015 | 2147483647 207611 249 | 0.000 % |
248.48/248.75 c | 207711 | 17560 75112 228015 | 2147483647 207711 249 | 0.000 % |
248.68/248.98 c | 207821 | 17560 75112 228015 | 2147483647 207821 249 | 0.000 % |
248.98/249.23 c | 207943 | 17560 75112 228015 | 2147483647 207943 249 | 0.000 % |
249.27/249.51 c | 208076 | 17560 75112 228015 | 2147483647 208076 249 | 0.000 % |
249.57/249.84 c | 208222 | 17560 75112 228015 | 2147483647 208222 249 | 0.000 % |
249.87/250.16 c | 208384 | 17560 75112 228015 | 2147483647 208384 249 | 0.000 % |
250.27/250.54 c | 208562 | 17560 75112 228015 | 2147483647 208562 248 | 0.000 % |
250.67/250.98 c | 208756 | 17560 75112 228015 | 2147483647 208756 248 | 0.000 % |
251.07/251.38 c | 208969 | 17560 75112 228015 | 2147483647 208969 248 | 0.000 % |
251.57/251.84 c | 209203 | 17560 75112 228015 | 2147483647 209203 248 | 0.000 % |
252.07/252.30 c | 209461 | 17560 75112 228015 | 2147483647 209461 248 | 0.000 % |
252.57/252.84 c | 209743 | 17560 75112 228015 | 2147483647 209743 248 | 0.000 % |
253.17/253.44 c | 210052 | 17560 75112 228015 | 2147483647 210052 248 | 0.000 % |
253.77/254.09 c | 210392 | 17560 75112 228015 | 2147483647 210392 248 | 0.000 % |
254.46/254.78 c | 210765 | 17560 75112 228015 | 2147483647 210765 248 | 0.000 % |
255.17/255.45 c | 211174 | 17560 75112 228015 | 2147483647 211174 248 | 0.000 % |
256.07/256.30 c | 211625 | 17560 75112 228015 | 2147483647 211625 248 | 0.000 % |
256.87/257.14 c | 212119 | 17560 75112 228015 | 2147483647 212119 248 | 0.000 % |
257.77/258.00 c | 212661 | 17560 75112 228015 | 2147483647 212661 248 | 0.000 % |
258.76/259.09 c | 213257 | 17560 75112 228015 | 2147483647 213257 248 | 0.000 % |
259.86/260.15 c | 213916 | 17560 75112 228015 | 2147483647 213916 248 | 0.000 % |
261.07/261.38 c | 214638 | 17560 75112 228015 | 2147483647 214638 248 | 0.000 % |
262.36/262.66 c | 215432 | 17560 75112 228015 | 2147483647 215432 249 | 0.000 % |
263.96/264.23 c | 216303 | 17560 75112 228015 | 2147483647 216303 249 | 0.000 % |
265.56/265.84 c | 217262 | 17560 75112 228015 | 2147483647 217262 249 | 0.000 % |
267.36/267.69 c | 218315 | 17560 75112 228015 | 2147483647 218315 249 | 0.000 % |
269.36/269.65 c | 219474 | 17560 75112 228015 | 2147483647 219474 249 | 0.000 % |
271.56/271.85 c | 220748 | 17560 75112 228015 | 2147483647 220748 249 | 0.000 % |
274.06/274.31 c | 222148 | 17560 75112 228015 | 2147483647 222148 249 | 0.000 % |
276.75/277.07 c | 223688 | 17560 75112 228015 | 2147483647 223688 250 | 0.000 % |
279.65/279.98 c | 225382 | 17560 75112 228015 | 2147483647 225382 250 | 0.000 % |
283.15/283.40 c | 227247 | 17560 75112 228015 | 2147483647 227247 250 | 0.000 % |
286.55/286.86 c | 229296 | 17560 75112 228015 | 2147483647 229296 251 | 0.000 % |
290.44/290.75 c | 231550 | 17560 75112 228015 | 2147483647 231550 252 | 0.000 % |
290.74/291.01 c | 231650 | 17560 75112 228015 | 2147483647 231650 252 | 0.000 % |
290.94/291.24 c | 231761 | 17560 75112 228015 | 2147483647 231761 252 | 0.000 % |
291.25/291.52 c | 231882 | 17560 75112 228015 | 2147483647 231882 252 | 0.000 % |
291.44/291.77 c | 232015 | 17560 75112 228015 | 2147483647 232015 252 | 0.000 % |
291.74/292.10 c | 232161 | 17560 75112 228015 | 2147483647 232161 252 | 0.000 % |
292.14/292.44 c | 232321 | 17560 75112 228015 | 2147483647 232321 252 | 0.000 % |
292.45/292.77 c | 232498 | 17560 75112 228015 | 2147483647 232498 252 | 0.000 % |
292.85/293.18 c | 232695 | 17560 75112 228015 | 2147483647 232695 252 | 0.000 % |
293.35/293.63 c | 232911 | 17560 75112 228015 | 2147483647 232911 252 | 0.000 % |
293.85/294.15 c | 233145 | 17560 75112 228015 | 2147483647 233145 252 | 0.000 % |
294.35/294.70 c | 233403 | 17560 75112 228015 | 2147483647 233403 252 | 0.000 % |
294.95/295.29 c | 233684 | 17560 75112 228015 | 2147483647 233684 252 | 0.000 % |
295.55/295.86 c | 233994 | 17560 75112 228015 | 2147483647 233994 252 | 0.000 % |
296.14/296.49 c | 234333 | 17560 75112 228015 | 2147483647 234333 252 | 0.000 % |
296.84/297.19 c | 234706 | 17560 75112 228015 | 2147483647 234706 252 | 0.000 % |
297.64/297.94 c | 235115 | 17560 75112 228015 | 2147483647 235115 252 | 0.000 % |
298.44/298.75 c | 235564 | 17560 75112 228015 | 2147483647 235564 252 | 0.000 % |
299.44/299.73 c | 236057 | 17560 75112 228015 | 2147483647 236057 252 | 0.000 % |
300.44/300.76 c | 236600 | 17560 75112 228015 | 2147483647 236600 252 | 0.000 % |
301.65/301.91 c | 237196 | 17560 75112 228015 | 2147483647 237196 252 | 0.000 % |
302.84/303.14 c | 237853 | 17560 75112 228015 | 2147483647 237853 252 | 0.000 % |
304.14/304.48 c | 238573 | 17560 75112 228015 | 2147483647 238573 252 | 0.000 % |
305.64/305.95 c | 239366 | 17560 75112 228015 | 2147483647 239366 252 | 0.000 % |
307.24/307.51 c | 240237 | 17560 75112 228015 | 2147483647 240237 252 | 0.000 % |
309.04/309.30 c | 241195 | 17560 75112 228015 | 2147483647 241195 252 | 0.000 % |
310.94/311.30 c | 242248 | 17560 75112 228015 | 2147483647 242248 252 | 0.000 % |
313.14/313.50 c | 243406 | 17560 75112 228015 | 2147483647 243406 252 | 0.000 % |
315.54/315.86 c | 244680 | 17560 75112 228015 | 2147483647 244680 252 | 0.000 % |
317.93/318.21 c | 246080 | 17560 75112 228015 | 2147483647 246080 252 | 0.000 % |
320.94/321.23 c | 247620 | 17560 75112 228015 | 2147483647 247620 252 | 0.000 % |
324.12/324.44 c | 249318 | 17560 75112 228015 | 2147483647 249318 252 | 0.000 % |
327.32/327.60 c | 251181 | 17560 75112 228015 | 2147483647 251181 253 | 0.000 % |
331.02/331.35 c | 253230 | 17560 75112 228015 | 2147483647 253230 254 | 0.000 % |
335.23/335.51 c | 255484 | 17560 75112 228015 | 2147483647 255484 254 | 0.000 % |
339.82/340.20 c | 257964 | 17560 75112 228015 | 2147483647 257964 254 | 0.000 % |
340.11/340.41 c | 258064 | 17560 75112 228015 | 2147483647 258064 254 | 0.000 % |
340.41/340.73 c | 258174 | 17560 75112 228015 | 2147483647 258174 254 | 0.000 % |
340.72/341.01 c | 258295 | 17560 75112 228015 | 2147483647 258295 254 | 0.000 % |
341.01/341.31 c | 258428 | 17560 75112 228015 | 2147483647 258428 254 | 0.000 % |
341.32/341.67 c | 258574 | 17560 75112 228015 | 2147483647 258574 254 | 0.000 % |
341.73/342.03 c | 258734 | 17560 75112 228015 | 2147483647 258734 254 | 0.000 % |
342.12/342.43 c | 258910 | 17560 75112 228015 | 2147483647 258910 254 | 0.000 % |
342.52/342.85 c | 259104 | 17560 75112 228015 | 2147483647 259104 254 | 0.000 % |
343.02/343.31 c | 259316 | 17560 75112 228015 | 2147483647 259316 254 | 0.000 % |
343.52/343.80 c | 259549 | 17560 75112 228015 | 2147483647 259549 254 | 0.000 % |
344.12/344.40 c | 259807 | 17560 75112 228015 | 2147483647 259807 254 | 0.000 % |
344.62/345.00 c | 260088 | 17560 75112 228015 | 2147483647 260088 254 | 0.000 % |
345.32/345.68 c | 260397 | 17560 75112 228015 | 2147483647 260397 254 | 0.000 % |
346.12/346.41 c | 260738 | 17560 75112 228015 | 2147483647 260738 254 | 0.000 % |
346.92/347.25 c | 261111 | 17560 75112 228015 | 2147483647 261111 254 | 0.000 % |
347.81/348.18 c | 261521 | 17560 75112 228015 | 2147483647 261521 254 | 0.000 % |
348.91/349.20 c | 261972 | 17560 75112 228015 | 2147483647 261972 254 | 0.000 % |
349.92/350.20 c | 262465 | 17560 75112 228015 | 2147483647 262465 254 | 0.000 % |
351.02/351.30 c | 263008 | 17560 75112 228015 | 2147483647 263008 254 | 0.000 % |
352.21/352.51 c | 263605 | 17560 75112 228015 | 2147483647 263605 254 | 0.000 % |
353.51/353.81 c | 264260 | 17560 75112 228015 | 2147483647 264260 254 | 0.000 % |
354.92/355.23 c | 264981 | 17560 75112 228015 | 2147483647 264981 254 | 0.000 % |
356.41/356.77 c | 265773 | 17560 75112 228015 | 2147483647 265773 254 | 0.000 % |
358.21/358.59 c | 266646 | 17560 75112 228015 | 2147483647 266646 254 | 0.000 % |
360.21/360.57 c | 267604 | 17560 75112 228015 | 2147483647 267604 254 | 0.000 % |
362.31/362.60 c | 268658 | 17560 75112 228015 | 2147483647 268658 254 | 0.000 % |
364.61/364.92 c | 269816 | 17560 75112 228015 | 2147483647 269816 254 | 0.000 % |
367.01/367.34 c | 271090 | 17560 75112 228015 | 2147483647 271090 254 | 0.000 % |
369.90/370.27 c | 272490 | 17560 75112 228015 | 2147483647 272490 255 | 0.000 % |
373.01/373.34 c | 274030 | 17560 75112 228015 | 2147483647 274030 255 | 0.000 % |
376.30/376.60 c | 275726 | 17560 75112 228015 | 2147483647 275726 255 | 0.000 % |
380.00/380.34 c | 277590 | 17560 75112 228015 | 2147483647 277590 256 | 0.000 % |
384.20/384.53 c | 279640 | 17560 75112 228015 | 2147483647 279640 256 | 0.000 % |
388.50/388.84 c | 281893 | 17560 75112 228015 | 2147483647 281893 257 | 0.000 % |
393.50/393.87 c | 284372 | 17560 75112 228015 | 2147483647 284372 257 | 0.000 % |
399.09/399.47 c | 287098 | 17560 75112 228015 | 2147483647 287098 257 | 0.000 % |
399.39/399.77 c | 287199 | 17560 75112 228015 | 2147483647 287199 257 | 0.000 % |
399.69/400.07 c | 287310 | 17560 75112 228015 | 2147483647 287310 257 | 0.000 % |
400.00/400.34 c | 287432 | 17560 75112 228015 | 2147483647 287432 257 | 0.000 % |
400.39/400.70 c | 287565 | 17560 75112 228015 | 2147483647 287565 257 | 0.000 % |
400.69/401.08 c | 287711 | 17560 75112 228015 | 2147483647 287711 257 | 0.000 % |
401.10/401.49 c | 287872 | 17560 75112 228015 | 2147483647 287872 257 | 0.000 % |
401.59/401.93 c | 288049 | 17560 75112 228015 | 2147483647 288049 257 | 0.000 % |
402.09/402.41 c | 288244 | 17560 75112 228015 | 2147483647 288244 257 | 0.000 % |
402.49/402.89 c | 288458 | 17560 75112 228015 | 2147483647 288458 257 | 0.000 % |
403.09/403.48 c | 288695 | 17560 75112 228015 | 2147483647 288695 257 | 0.000 % |
403.69/404.07 c | 288952 | 17560 75112 228015 | 2147483647 288952 257 | 0.000 % |
404.29/404.67 c | 289233 | 17560 75112 228015 | 2147483647 289233 257 | 0.000 % |
404.99/405.39 c | 289543 | 17560 75112 228015 | 2147483647 289543 257 | 0.000 % |
405.89/406.24 c | 289883 | 17560 75112 228015 | 2147483647 289883 257 | 0.000 % |
406.70/407.08 c | 290255 | 17560 75112 228015 | 2147483647 290255 257 | 0.000 % |
407.59/407.96 c | 290664 | 17560 75112 228015 | 2147483647 290664 257 | 0.000 % |
408.59/408.95 c | 291113 | 17560 75112 228015 | 2147483647 291113 257 | 0.000 % |
409.59/409.94 c | 291606 | 17560 75112 228015 | 2147483647 291606 257 | 0.000 % |
410.78/411.12 c | 292148 | 17560 75112 228015 | 2147483647 292148 257 | 0.000 % |
412.09/412.43 c | 292745 | 17560 75112 228015 | 2147483647 292745 257 | 0.000 % |
413.49/413.82 c | 293400 | 17560 75112 228015 | 2147483647 293400 257 | 0.000 % |
414.98/415.37 c | 294120 | 17560 75112 228015 | 2147483647 294120 257 | 0.000 % |
416.69/417.05 c | 294913 | 17560 75112 228015 | 2147483647 294913 257 | 0.000 % |
418.39/418.80 c | 295785 | 17560 75112 228015 | 2147483647 295785 257 | 0.000 % |
420.38/420.71 c | 296743 | 17560 75112 228015 | 2147483647 296743 257 | 0.000 % |
422.48/422.82 c | 297796 | 17560 75112 228015 | 2147483647 297796 257 | 0.000 % |
424.77/425.19 c | 298954 | 17560 75112 228015 | 2147483647 298954 257 | 0.000 % |
427.37/427.80 c | 300228 | 17560 75112 228015 | 2147483647 300228 257 | 0.000 % |
430.38/430.75 c | 301630 | 17560 75112 228015 | 2147483647 301630 258 | 0.000 % |
433.77/434.12 c | 303173 | 17560 75112 228015 | 2147483647 303173 258 | 0.000 % |
437.37/437.72 c | 304868 | 17560 75112 228015 | 2147483647 304868 259 | 0.000 % |
441.27/441.61 c | 306731 | 17560 75112 228015 | 2147483647 306731 259 | 0.000 % |
445.17/445.56 c | 308780 | 17560 75112 228015 | 2147483647 308780 259 | 0.000 % |
449.86/450.25 c | 311033 | 17560 75112 228015 | 2147483647 311033 260 | 0.000 % |
455.26/455.63 c | 313511 | 17560 75112 228015 | 2147483647 313511 260 | 0.000 % |
461.06/461.41 c | 316236 | 17560 75112 228015 | 2147483647 316236 260 | 0.000 % |
467.45/467.87 c | 319233 | 17560 75112 228015 | 2147483647 319233 260 | 0.000 % |
467.76/468.15 c | 319335 | 17560 75112 228015 | 2147483647 319335 260 | 0.000 % |
468.06/468.46 c | 319445 | 17560 75112 228015 | 2147483647 319445 260 | 0.000 % |
468.35/468.77 c | 319567 | 17560 75112 228015 | 2147483647 319567 260 | 0.000 % |
468.86/469.22 c | 319700 | 17560 75112 228015 | 2147483647 319700 260 | 0.000 % |
469.26/469.63 c | 319846 | 17560 75112 228015 | 2147483647 319846 260 | 0.000 % |
469.65/470.06 c | 320007 | 17560 75112 228015 | 2147483647 320007 260 | 0.000 % |
470.15/470.55 c | 320183 | 17560 75112 228015 | 2147483647 320183 260 | 0.000 % |
470.65/471.04 c | 320376 | 17560 75112 228015 | 2147483647 320376 260 | 0.000 % |
471.25/471.61 c | 320589 | 17560 75112 228015 | 2147483647 320589 260 | 0.000 % |
471.85/472.24 c | 320822 | 17560 75112 228015 | 2147483647 320822 260 | 0.000 % |
472.45/472.85 c | 321079 | 17560 75112 228015 | 2147483647 321079 260 | 0.000 % |
473.26/473.61 c | 321361 | 17560 75112 228015 | 2147483647 321361 260 | 0.000 % |
473.85/474.28 c | 321671 | 17560 75112 228015 | 2147483647 321671 260 | 0.000 % |
474.75/475.15 c | 322011 | 17560 75112 228015 | 2147483647 322011 260 | 0.000 % |
475.75/476.18 c | 322383 | 17560 75112 228015 | 2147483647 322383 260 | 0.000 % |
476.75/477.17 c | 322793 | 17560 75112 228015 | 2147483647 322793 260 | 0.000 % |
477.85/478.21 c | 323242 | 17560 75112 228015 | 2147483647 323242 260 | 0.000 % |
478.95/479.36 c | 323735 | 17560 75112 228015 | 2147483647 323735 260 | 0.000 % |
480.15/480.52 c | 324278 | 17560 75112 228015 | 2147483647 324278 260 | 0.000 % |
481.45/481.88 c | 324877 | 17560 75112 228015 | 2147483647 324877 260 | 0.000 % |
483.05/483.40 c | 325533 | 17560 75112 228015 | 2147483647 325533 260 | 0.000 % |
484.75/485.15 c | 326254 | 17560 75112 228015 | 2147483647 326254 260 | 0.000 % |
486.65/487.00 c | 327047 | 17560 75112 228015 | 2147483647 327047 260 | 0.000 % |
488.64/489.04 c | 327918 | 17560 75112 228015 | 2147483647 327918 260 | 0.000 % |
490.74/491.15 c | 328876 | 17560 75112 228015 | 2147483647 328876 260 | 0.000 % |
493.25/493.60 c | 329930 | 17560 75112 228015 | 2147483647 329930 260 | 0.000 % |
495.84/496.24 c | 331090 | 17560 75112 228015 | 2147483647 331090 260 | 0.000 % |
498.64/499.09 c | 332363 | 17560 75112 228015 | 2147483647 332363 260 | 0.000 % |
501.63/502.06 c | 333765 | 17560 75112 228015 | 2147483647 333765 260 | 0.000 % |
505.14/505.51 c | 335305 | 17560 75112 228015 | 2147483647 335305 261 | 0.000 % |
508.63/509.03 c | 337001 | 17560 75112 228015 | 2147483647 337001 261 | 0.000 % |
512.83/513.28 c | 338868 | 17560 75112 228015 | 2147483647 338868 261 | 0.000 % |
517.43/517.86 c | 340918 | 17560 75112 228015 | 2147483647 340918 262 | 0.000 % |
522.33/522.74 c | 343173 | 17560 75112 228015 | 2147483647 343173 262 | 0.000 % |
528.02/528.41 c | 345651 | 17560 75112 228015 | 2147483647 345651 262 | 0.000 % |
534.32/534.70 c | 348377 | 17560 75112 228015 | 2147483647 348377 263 | 0.000 % |
540.92/541.36 c | 351375 | 17560 75112 228015 | 2147483647 351375 263 | 0.000 % |
548.11/548.59 c | 354671 | 17560 75112 228015 | 2147483647 354671 263 | 0.000 % |
548.41/548.88 c | 354773 | 17560 75112 228015 | 2147483647 354773 263 | 0.000 % |
548.81/549.21 c | 354883 | 17560 75112 228015 | 2147483647 354883 263 | 0.000 % |
549.11/549.59 c | 355005 | 17560 75112 228015 | 2147483647 355005 263 | 0.000 % |
549.61/550.07 c | 355138 | 17560 75112 228015 | 2147483647 355138 263 | 0.000 % |
550.11/550.53 c | 355284 | 17560 75112 228015 | 2147483647 355284 263 | 0.000 % |
550.61/551.00 c | 355444 | 17560 75112 228015 | 2147483647 355444 263 | 0.000 % |
551.00/551.47 c | 355620 | 17560 75112 228015 | 2147483647 355620 263 | 0.000 % |
551.50/551.97 c | 355816 | 17560 75112 228015 | 2147483647 355816 263 | 0.000 % |
552.10/552.52 c | 356028 | 17560 75112 228015 | 2147483647 356028 263 | 0.000 % |
552.80/553.21 c | 356262 | 17560 75112 228015 | 2147483647 356262 263 | 0.000 % |
553.50/553.95 c | 356519 | 17560 75112 228015 | 2147483647 356519 263 | 0.000 % |
554.20/554.63 c | 356800 | 17560 75112 228015 | 2147483647 356800 263 | 0.000 % |
555.10/555.59 c | 357112 | 17560 75112 228015 | 2147483647 357112 263 | 0.000 % |
556.00/556.42 c | 357452 | 17560 75112 228015 | 2147483647 357452 263 | 0.000 % |
557.00/557.40 c | 357825 | 17560 75112 228015 | 2147483647 357825 263 | 0.000 % |
558.00/558.44 c | 358235 | 17560 75112 228015 | 2147483647 358235 263 | 0.000 % |
559.20/559.63 c | 358684 | 17560 75112 228015 | 2147483647 358684 263 | 0.000 % |
560.51/560.95 c | 359177 | 17560 75112 228015 | 2147483647 359177 263 | 0.000 % |
561.90/562.35 c | 359722 | 17560 75112 228015 | 2147483647 359722 263 | 0.000 % |
563.30/563.78 c | 360319 | 17560 75112 228015 | 2147483647 360319 263 | 0.000 % |
564.80/565.23 c | 360974 | 17560 75112 228015 | 2147483647 360974 263 | 0.000 % |
566.49/566.91 c | 361694 | 17560 75112 228015 | 2147483647 361694 263 | 0.000 % |
568.29/568.73 c | 362487 | 17560 75112 228015 | 2147483647 362487 263 | 0.000 % |
570.59/571.07 c | 363360 | 17560 75112 228015 | 2147483647 363360 263 | 0.000 % |
573.19/573.65 c | 364318 | 17560 75112 228015 | 2147483647 364318 263 | 0.000 % |
575.79/576.28 c | 365371 | 17560 75112 228015 | 2147483647 365371 263 | 0.000 % |
578.49/578.95 c | 366529 | 17560 75112 228015 | 2147483647 366529 264 | 0.000 % |
581.59/582.08 c | 367802 | 17560 75112 228015 | 2147483647 367802 264 | 0.000 % |
584.79/585.29 c | 369205 | 17560 75112 228015 | 2147483647 369205 264 | 0.000 % |
588.38/588.85 c | 370745 | 17560 75112 228015 | 2147483647 370745 264 | 0.000 % |
592.58/593.04 c | 372440 | 17560 75112 228015 | 2147483647 372440 264 | 0.000 % |
596.98/597.49 c | 374303 | 17560 75112 228015 | 2147483647 374303 264 | 0.000 % |
601.88/602.38 c | 376353 | 17560 75112 228015 | 2147483647 376353 264 | 0.000 % |
607.18/607.67 c | 378606 | 17560 75112 228015 | 2147483647 378606 264 | 0.000 % |
613.08/613.59 c | 381086 | 17560 75112 228015 | 2147483647 381086 264 | 0.000 % |
619.68/620.17 c | 383811 | 17560 75112 228015 | 2147483647 383811 264 | 0.000 % |
626.57/627.08 c | 386808 | 17560 75112 228015 | 2147483647 386808 265 | 0.000 % |
634.27/634.78 c | 390104 | 17560 75112 228015 | 2147483647 390104 266 | 0.000 % |
642.96/643.46 c | 393729 | 17560 75112 228015 | 2147483647 393729 266 | 0.000 % |
643.25/643.77 c | 393831 | 17560 75112 228015 | 2147483647 393831 266 | 0.000 % |
643.65/644.14 c | 393941 | 17560 75112 228015 | 2147483647 393941 266 | 0.000 % |
644.06/644.54 c | 394063 | 17560 75112 228015 | 2147483647 394063 266 | 0.000 % |
644.45/644.99 c | 394197 | 17560 75112 228015 | 2147483647 394197 266 | 0.000 % |
644.95/645.49 c | 394344 | 17560 75112 228015 | 2147483647 394344 266 | 0.000 % |
645.55/646.00 c | 394506 | 17560 75112 228015 | 2147483647 394506 266 | 0.000 % |
646.15/646.62 c | 394682 | 17560 75112 228015 | 2147483647 394682 266 | 0.000 % |
646.75/647.21 c | 394875 | 17560 75112 228015 | 2147483647 394875 266 | 0.000 % |
647.36/647.90 c | 395087 | 17560 75112 228015 | 2147483647 395087 266 | 0.000 % |
648.06/648.54 c | 395322 | 17560 75112 228015 | 2147483647 395322 266 | 0.000 % |
648.85/649.32 c | 395579 | 17560 75112 228015 | 2147483647 395579 266 | 0.000 % |
649.75/650.20 c | 395860 | 17560 75112 228015 | 2147483647 395860 266 | 0.000 % |
650.66/651.11 c | 396169 | 17560 75112 228015 | 2147483647 396169 266 | 0.000 % |
651.55/652.08 c | 396509 | 17560 75112 228015 | 2147483647 396509 266 | 0.000 % |
652.65/653.19 c | 396882 | 17560 75112 228015 | 2147483647 396882 266 | 0.000 % |
653.95/654.44 c | 397292 | 17560 75112 228015 | 2147483647 397292 266 | 0.000 % |
655.15/655.60 c | 397741 | 17560 75112 228015 | 2147483647 397741 266 | 0.000 % |
656.46/656.98 c | 398234 | 17560 75112 228015 | 2147483647 398234 266 | 0.000 % |
657.95/658.48 c | 398778 | 17560 75112 228015 | 2147483647 398778 266 | 0.000 % |
659.55/660.09 c | 399376 | 17560 75112 228015 | 2147483647 399376 266 | 0.000 % |
661.45/661.96 c | 400032 | 17560 75112 228015 | 2147483647 400032 266 | 0.000 % |
663.64/664.13 c | 400753 | 17560 75112 228015 | 2147483647 400753 266 | 0.000 % |
665.75/666.28 c | 401546 | 17560 75112 228015 | 2147483647 401546 266 | 0.000 % |
668.04/668.58 c | 402417 | 17560 75112 228015 | 2147483647 402417 266 | 0.000 % |
670.55/671.01 c | 403375 | 17560 75112 228015 | 2147483647 403375 266 | 0.000 % |
673.15/673.61 c | 404430 | 17560 75112 228015 | 2147483647 404430 265 | 0.000 % |
676.14/676.68 c | 405589 | 17560 75112 228015 | 2147483647 405589 266 | 0.000 % |
679.64/680.19 c | 406863 | 17560 75112 228015 | 2147483647 406863 266 | 0.000 % |
683.43/683.92 c | 408265 | 17560 75112 228015 | 2147483647 408265 266 | 0.000 % |
687.54/688.09 c | 409806 | 17560 75112 228015 | 2147483647 409806 266 | 0.000 % |
692.03/692.59 c | 411502 | 17560 75112 228015 | 2147483647 411502 266 | 0.000 % |
697.33/697.84 c | 413365 | 17560 75112 228015 | 2147483647 413365 266 | 0.000 % |
702.53/703.00 c | 415414 | 17560 75112 228015 | 2147483647 415414 266 | 0.000 % |
708.13/708.64 c | 417669 | 17560 75112 228015 | 2147483647 417669 267 | 0.000 % |
714.32/714.82 c | 420148 | 17560 75112 228015 | 2147483647 420148 267 | 0.000 % |
721.32/721.80 c | 422874 | 17560 75112 228015 | 2147483647 422874 267 | 0.000 % |
729.52/730.06 c | 425871 | 17560 75112 228015 | 2147483647 425871 267 | 0.000 % |
738.12/738.62 c | 429169 | 17560 75112 228015 | 2147483647 429169 267 | 0.000 % |
747.31/747.89 c | 432796 | 17560 75112 228015 | 2147483647 432796 268 | 0.000 % |
757.60/758.15 c | 436784 | 17560 75112 228015 | 2147483647 436784 268 | 0.000 % |
757.91/758.48 c | 436884 | 17560 75112 228015 | 2147483647 436884 268 | 0.000 % |
758.31/758.88 c | 436994 | 17560 75112 228015 | 2147483647 436994 268 | 0.000 % |
758.81/759.33 c | 437116 | 17560 75112 228015 | 2147483647 437116 268 | 0.000 % |
759.31/759.81 c | 437249 | 17560 75112 228015 | 2147483647 437249 268 | 0.000 % |
759.81/760.33 c | 437396 | 17560 75112 228015 | 2147483647 437396 268 | 0.000 % |
760.41/760.91 c | 437557 | 17560 75112 228015 | 2147483647 437557 268 | 0.000 % |
760.91/761.47 c | 437733 | 17560 75112 228015 | 2147483647 437733 268 | 0.000 % |
761.51/762.09 c | 437926 | 17560 75112 228015 | 2147483647 437926 268 | 0.000 % |
762.31/762.82 c | 438139 | 17560 75112 228015 | 2147483647 438139 268 | 0.000 % |
763.11/763.63 c | 438372 | 17560 75112 228015 | 2147483647 438372 268 | 0.000 % |
763.91/764.44 c | 438628 | 17560 75112 228015 | 2147483647 438628 268 | 0.000 % |
764.80/765.33 c | 438909 | 17560 75112 228015 | 2147483647 438909 268 | 0.000 % |
765.80/766.37 c | 439218 | 17560 75112 228015 | 2147483647 439218 268 | 0.000 % |
766.90/767.45 c | 439558 | 17560 75112 228015 | 2147483647 439558 268 | 0.000 % |
768.20/768.78 c | 439934 | 17560 75112 228015 | 2147483647 439934 268 | 0.000 % |
769.50/770.03 c | 440346 | 17560 75112 228015 | 2147483647 440346 268 | 0.000 % |
770.90/771.47 c | 440795 | 17560 75112 228015 | 2147483647 440795 268 | 0.000 % |
772.40/772.93 c | 441288 | 17560 75112 228015 | 2147483647 441288 268 | 0.000 % |
773.99/774.54 c | 441831 | 17560 75112 228015 | 2147483647 441831 268 | 0.000 % |
775.69/776.20 c | 442428 | 17560 75112 228015 | 2147483647 442428 268 | 0.000 % |
777.40/777.95 c | 443084 | 17560 75112 228015 | 2147483647 443084 268 | 0.000 % |
779.49/780.04 c | 443804 | 17560 75112 228015 | 2147483647 443804 268 | 0.000 % |
781.79/782.36 c | 444597 | 17560 75112 228015 | 2147483647 444597 268 | 0.000 % |
784.29/784.83 c | 445468 | 17560 75112 228015 | 2147483647 445468 268 | 0.000 % |
787.10/787.61 c | 446427 | 17560 75112 228015 | 2147483647 446427 268 | 0.000 % |
789.99/790.57 c | 447480 | 17560 75112 228015 | 2147483647 447480 268 | 0.000 % |
793.29/793.89 c | 448638 | 17560 75112 228015 | 2147483647 448638 268 | 0.000 % |
796.89/797.50 c | 449913 | 17560 75112 228015 | 2147483647 449913 268 | 0.000 % |
800.69/801.28 c | 451313 | 17560 75112 228015 | 2147483647 451313 268 | 0.000 % |
805.08/805.60 c | 452857 | 17560 75112 228015 | 2147483647 452857 268 | 0.000 % |
808.98/809.57 c | 454551 | 17560 75112 228015 | 2147483647 454551 269 | 0.000 % |
814.59/815.14 c | 456416 | 17560 75112 228015 | 2147483647 456416 269 | 0.000 % |
820.17/820.74 c | 458466 | 17560 75112 228015 | 2147483647 458466 269 | 0.000 % |
826.17/826.73 c | 460720 | 17560 75112 228015 | 2147483647 460720 269 | 0.000 % |
833.06/833.62 c | 463199 | 17560 75112 228015 | 2147483647 463199 269 | 0.000 % |
840.66/841.20 c | 465925 | 17560 75112 228015 | 2147483647 465925 269 | 0.000 % |
848.87/849.47 c | 468924 | 17560 75112 228015 | 2147483647 468924 270 | 0.000 % |
858.06/858.62 c | 472221 | 17560 75112 228015 | 2147483647 472221 270 | 0.000 % |
868.46/869.09 c | 475846 | 17560 75112 228015 | 2147483647 475846 270 | 0.000 % |
879.45/880.06 c | 479833 | 17560 75112 228015 | 2147483647 479833 271 | 0.000 % |
890.74/891.35 c | 484218 | 17560 75112 228015 | 2147483647 484218 271 | 0.000 % |
891.14/891.76 c | 484318 | 17560 75112 228015 | 2147483647 484318 271 | 0.000 % |
891.54/892.16 c | 484430 | 17560 75112 228015 | 2147483647 484430 271 | 0.000 % |
892.04/892.69 c | 484551 | 17560 75112 228015 | 2147483647 484551 271 | 0.000 % |
892.64/893.27 c | 484684 | 17560 75112 228015 | 2147483647 484684 271 | 0.000 % |
893.24/893.84 c | 484830 | 17560 75112 228015 | 2147483647 484830 271 | 0.000 % |
893.84/894.49 c | 484991 | 17560 75112 228015 | 2147483647 484991 271 | 0.000 % |
894.44/895.10 c | 485167 | 17560 75112 228015 | 2147483647 485167 271 | 0.000 % |
895.24/895.83 c | 485360 | 17560 75112 228015 | 2147483647 485360 271 | 0.000 % |
896.04/896.64 c | 485573 | 17560 75112 228015 | 2147483647 485573 271 | 0.000 % |
896.94/897.53 c | 485807 | 17560 75112 228015 | 2147483647 485807 271 | 0.000 % |
897.84/898.42 c | 486066 | 17560 75112 228015 | 2147483647 486066 271 | 0.000 % |
898.83/899.48 c | 486347 | 17560 75112 228015 | 2147483647 486347 271 | 0.000 % |
899.83/900.46 c | 486657 | 17560 75112 228015 | 2147483647 486657 271 | 0.000 % |
901.03/901.61 c | 486996 | 17560 75112 228015 | 2147483647 486996 271 | 0.000 % |
902.23/902.89 c | 487368 | 17560 75112 228015 | 2147483647 487368 271 | 0.000 % |
903.64/904.23 c | 487778 | 17560 75112 228015 | 2147483647 487778 271 | 0.000 % |
905.03/905.66 c | 488227 | 17560 75112 228015 | 2147483647 488227 271 | 0.000 % |
906.63/907.22 c | 488721 | 17560 75112 228015 | 2147483647 488721 271 | 0.000 % |
908.32/908.93 c | 489264 | 17560 75112 228015 | 2147483647 489264 271 | 0.000 % |
910.22/910.85 c | 489860 | 17560 75112 228015 | 2147483647 489860 271 | 0.000 % |
912.13/912.72 c | 490515 | 17560 75112 228015 | 2147483647 490515 271 | 0.000 % |
914.53/915.12 c | 491235 | 17560 75112 228015 | 2147483647 491235 271 | 0.000 % |
916.92/917.56 c | 492028 | 17560 75112 228015 | 2147483647 492028 271 | 0.000 % |
919.82/920.40 c | 492899 | 17560 75112 228015 | 2147483647 492899 271 | 0.000 % |
922.72/923.31 c | 493859 | 17560 75112 228015 | 2147483647 493859 271 | 0.000 % |
925.92/926.58 c | 494913 | 17560 75112 228015 | 2147483647 494913 271 | 0.000 % |
929.61/930.28 c | 496071 | 17560 75112 228015 | 2147483647 496071 271 | 0.000 % |
933.82/934.46 c | 497345 | 17560 75112 228015 | 2147483647 497345 272 | 0.000 % |
938.01/938.65 c | 498747 | 17560 75112 228015 | 2147483647 498747 271 | 0.000 % |
942.51/943.15 c | 500287 | 17560 75112 228015 | 2147483647 500287 272 | 0.000 % |
947.31/947.99 c | 501983 | 17560 75112 228015 | 2147483647 501983 272 | 0.000 % |
952.80/953.42 c | 503846 | 17560 75112 228015 | 2147483647 503846 272 | 0.000 % |
958.70/959.37 c | 505895 | 17560 75112 228015 | 2147483647 505895 272 | 0.000 % |
965.20/965.82 c | 508148 | 17560 75112 228015 | 2147483647 508148 273 | 0.000 % |
972.10/972.79 c | 510628 | 17560 75112 228015 | 2147483647 510628 273 | 0.000 % |
980.30/980.94 c | 513356 | 17560 75112 228015 | 2147483647 513356 273 | 0.000 % |
988.59/989.24 c | 516353 | 17560 75112 228015 | 2147483647 516353 274 | 0.000 % |
998.38/999.08 c | 519649 | 17560 75112 228015 | 2147483647 519649 275 | 0.000 % |
1009.18/1009.84 c | 523275 | 17560 75112 228015 | 2147483647 523275 275 | 0.000 % |
1020.77/1021.47 c | 527263 | 17560 75112 228015 | 2147483647 527263 275 | 0.000 % |
1032.77/1033.43 c | 531648 | 17560 75112 228015 | 2147483647 531648 276 | 0.000 % |
1047.87/1048.59 c | 536471 | 17560 75112 228015 | 2147483647 536471 277 | 0.000 % |
1048.36/1049.04 c | 536571 | 17560 75112 228015 | 2147483647 536571 277 | 0.000 % |
1048.96/1049.64 c | 536684 | 17560 75112 228015 | 2147483647 536684 277 | 0.000 % |
1049.56/1050.20 c | 536805 | 17560 75112 228015 | 2147483647 536805 277 | 0.000 % |
1050.06/1050.74 c | 536938 | 17560 75112 228015 | 2147483647 536938 277 | 0.000 % |
1050.76/1051.42 c | 537084 | 17560 75112 228015 | 2147483647 537084 277 | 0.000 % |
1051.46/1052.10 c | 537244 | 17560 75112 228015 | 2147483647 537244 277 | 0.000 % |
1052.06/1052.78 c | 537420 | 17560 75112 228015 | 2147483647 537420 277 | 0.000 % |
1052.86/1053.51 c | 537613 | 17560 75112 228015 | 2147483647 537613 277 | 0.000 % |
1053.66/1054.31 c | 537825 | 17560 75112 228015 | 2147483647 537825 277 | 0.000 % |
1054.46/1055.13 c | 538059 | 17560 75112 228015 | 2147483647 538059 277 | 0.000 % |
1055.46/1056.16 c | 538316 | 17560 75112 228015 | 2147483647 538316 277 | 0.000 % |
1056.66/1057.31 c | 538597 | 17560 75112 228015 | 2147483647 538597 277 | 0.000 % |
1057.76/1058.49 c | 538906 | 17560 75112 228015 | 2147483647 538906 277 | 0.000 % |
1059.16/1059.81 c | 539246 | 17560 75112 228015 | 2147483647 539246 277 | 0.000 % |
1060.36/1061.00 c | 539618 | 17560 75112 228015 | 2147483647 539618 277 | 0.000 % |
1061.75/1062.45 c | 540028 | 17560 75112 228015 | 2147483647 540028 277 | 0.000 % |
1063.35/1064.08 c | 540477 | 17560 75112 228015 | 2147483647 540477 277 | 0.000 % |
1064.96/1065.63 c | 540972 | 17560 75112 228015 | 2147483647 540972 277 | 0.000 % |
1066.76/1067.44 c | 541514 | 17560 75112 228015 | 2147483647 541514 277 | 0.000 % |
1068.96/1069.61 c | 542111 | 17560 75112 228015 | 2147483647 542111 277 | 0.000 % |
1071.16/1071.81 c | 542766 | 17560 75112 228015 | 2147483647 542766 277 | 0.000 % |
1073.76/1074.47 c | 543487 | 17560 75112 228015 | 2147483647 543487 277 | 0.000 % |
1076.65/1077.32 c | 544279 | 17560 75112 228015 | 2147483647 544279 277 | 0.000 % |
1079.65/1080.34 c | 545154 | 17560 75112 228015 | 2147483647 545154 277 | 0.000 % |
1082.75/1083.48 c | 546113 | 17560 75112 228015 | 2147483647 546113 277 | 0.000 % |
1086.44/1087.11 c | 547169 | 17560 75112 228015 | 2147483647 547169 277 | 0.000 % |
1090.34/1091.09 c | 548327 | 17560 75112 228015 | 2147483647 548327 277 | 0.000 % |
1094.74/1095.44 c | 549603 | 17560 75112 228015 | 2147483647 549603 277 | 0.000 % |
1099.24/1099.97 c | 551004 | 17560 75112 228015 | 2147483647 551004 277 | 0.000 % |
1104.64/1105.31 c | 552544 | 17560 75112 228015 | 2147483647 552544 277 | 0.000 % |
1109.94/1110.69 c | 554238 | 17560 75112 228015 | 2147483647 554238 277 | 0.000 % |
1116.03/1116.75 c | 556102 | 17560 75112 228015 | 2147483647 556102 277 | 0.000 % |
1123.03/1123.75 c | 558151 | 17560 75112 228015 | 2147483647 558151 277 | 0.000 % |
1130.23/1130.99 c | 560404 | 17560 75112 228015 | 2147483647 560404 277 | 0.000 % |
1138.42/1139.18 c | 562882 | 17560 75112 228015 | 2147483647 562882 277 | 0.000 % |
1147.01/1147.77 c | 565609 | 17560 75112 228015 | 2147483647 565609 277 | 0.000 % |
1156.81/1157.60 c | 568607 | 17560 75112 228015 | 2147483647 568607 277 | 0.000 % |
1167.11/1167.90 c | 571906 | 17560 75112 228015 | 2147483647 571906 277 | 0.000 % |
1179.40/1180.10 c | 575533 | 17560 75112 228015 | 2147483647 575533 278 | 0.000 % |
1192.38/1193.13 c | 579521 | 17560 75112 228015 | 2147483647 579521 278 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832795-1242787833/watcher-1832795-1242787833 -o /tmp/evaluation-result-1832795-1242787833/solver-1832795-1242787833 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832795-1242787833.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 17566
/proc/meminfo: memFree=1901560/2055920 swapFree=4179288/4192956
[pid=17566] ppid=17564 vsize=5356 CPUtime=0
/proc/17566/stat : 17566 (SatELiteGTI) R 17564 17566 16900 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 306811771 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272836520435 0 0 4100 65536 0 0 0 17 0 0 0
/proc/17566/statm: 1339 237 197 169 0 50 0
[startup+0.0994639 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 17566
/proc/meminfo: memFree=1901560/2055920 swapFree=4179288/4192956
[pid=17566] ppid=17564 vsize=5356 CPUtime=0
/proc/17566/stat : 17566 (SatELiteGTI) S 17564 17566 16900 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306811771 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17566/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101464 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 17566
/proc/meminfo: memFree=1901560/2055920 swapFree=4179288/4192956
[pid=17566] ppid=17564 vsize=5356 CPUtime=0
/proc/17566/stat : 17566 (SatELiteGTI) S 17564 17566 16900 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306811771 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17566/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301493 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 17566
/proc/meminfo: memFree=1901560/2055920 swapFree=4179288/4192956
[pid=17566] ppid=17564 vsize=5356 CPUtime=0
/proc/17566/stat : 17566 (SatELiteGTI) S 17564 17566 16900 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306811771 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17566/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701563 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 17566
/proc/meminfo: memFree=1901560/2055920 swapFree=4179288/4192956
[pid=17566] ppid=17564 vsize=5356 CPUtime=0.32
/proc/17566/stat : 17566 (SatELiteGTI) S 17564 17566 16900 0 -1 4194304 336 2599 0 0 0 0 30 2 18 0 1 0 306811771 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17566/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 5356
[startup+1.50167 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 17572
/proc/meminfo: memFree=1893288/2055920 swapFree=4179288/4192956
[pid=17566] ppid=17564 vsize=5356 CPUtime=0.32
/proc/17566/stat : 17566 (SatELiteGTI) S 17564 17566 16900 0 -1 4194304 336 2599 0 0 0 0 30 2 18 0 1 0 306811771 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17566/statm: 1339 239 197 169 0 50 0
[pid=17572] ppid=17566 vsize=7848 CPUtime=1.14
/proc/17572/stat : 17572 (minisat_static) R 17566 17566 16900 0 -1 4194304 1830 0 0 0 114 0 0 0 25 0 1 0 306811804 8036352 1816 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17572/statm: 1962 1816 77 171 0 1789 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 13204
[startup+3.1019 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 17572
/proc/meminfo: memFree=1891752/2055920 swapFree=4179288/4192956
[pid=17566] ppid=17564 vsize=5356 CPUtime=0.32
/proc/17566/stat : 17566 (SatELiteGTI) S 17564 17566 16900 0 -1 4194304 336 2599 0 0 0 0 30 2 18 0 1 0 306811771 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17566/statm: 1339 239 197 169 0 50 0
[pid=17572] ppid=17566 vsize=9960 CPUtime=2.74
/proc/17572/stat : 17572 (minisat_static) R 17566 17566 16900 0 -1 4194304 2342 0 0 0 273 1 0 0 25 0 1 0 306811804 10199040 2328 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17572/statm: 2490 2328 77 171 0 2317 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 15316
[startup+6.30138 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 17572
/proc/meminfo: memFree=1887400/2055920 swapFree=4179288/4192956
[pid=17566] ppid=17564 vsize=5356 CPUtime=0.32
/proc/17566/stat : 17566 (SatELiteGTI) S 17564 17566 16900 0 -1 4194304 336 2599 0 0 0 0 30 2 18 0 1 0 306811771 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17566/statm: 1339 239 197 169 0 50 0
[pid=17572] ppid=17566 vsize=13808 CPUtime=5.95
/proc/17572/stat : 17572 (minisat_static) R 17566 17566 16900 0 -1 4194304 3323 0 0 0 592 3 0 0 25 0 1 0 306811804 14139392 3309 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17572/statm: 3452 3309 77 171 0 3279 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 19164
[startup+12.7023 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 17572
/proc/meminfo: memFree=1879464/2055920 swapFree=4179288/4192956
[pid=17566] ppid=17564 vsize=5356 CPUtime=0.32
/proc/17566/stat : 17566 (SatELiteGTI) S 17564 17566 16900 0 -1 4194304 336 2599 0 0 0 0 30 2 18 0 1 0 306811771 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17566/statm: 1339 239 197 169 0 50 0
[pid=17572] ppid=17566 vsize=21472 CPUtime=12.33
/proc/17572/stat : 17572 (minisat_static) R 17566 17566 16900 0 -1 4194304 5246 0 0 0 1228 5 0 0 25 0 1 0 306811804 21987328 5232 1992294400 134512640 135215339 4294956240 18446744073709551615 134528630 0 0 4096 3 0 0 0 17 0 0 0
/proc/17572/statm: 5368 5232 77 171 0 5195 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 26828
[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 17572
/proc/meminfo: memFree=1863848/2055920 swapFree=4179288/4192956
[pid=17566] ppid=17564 vsize=5356 CPUtime=0.32
/proc/17566/stat : 17566 (SatELiteGTI) S 17564 17566 16900 0 -1 4194304 336 2599 0 0 0 0 30 2 18 0 1 0 306811771 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17566/statm: 1339 239 197 169 0 50 0
[pid=17572] ppid=17566 vsize=36832 CPUtime=25.13
/proc/17572/stat : 17572 (minisat_static) R 17566 17566 16900 0 -1 4194304 9076 0 0 0 2504 9 0 0 25 0 1 0 306811804 37715968 9062 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17572/statm: 9208 9062 77 171 0 9035 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 42188
[startup+51.102 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 17572
/proc/meminfo: memFree=1836840/2055920 swapFree=4179288/4192956
[pid=17566] ppid=17564 vsize=5356 CPUtime=0.32
/proc/17566/stat : 17566 (SatELiteGTI) S 17564 17566 16900 0 -1 4194304 336 2599 0 0 0 0 30 2 18 0 1 0 306811771 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17566/statm: 1339 239 197 169 0 50 0
[pid=17572] ppid=17566 vsize=64388 CPUtime=50.7
/proc/17572/stat : 17572 (minisat_static) R 17566 17566 16900 0 -1 4194304 15927 0 0 0 5053 17 0 0 25 0 1 0 306811804 65933312 15913 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17572/statm: 16097 15913 77 171 0 15924 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 69744
[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 17572
/proc/meminfo: memFree=1789224/2055920 swapFree=4179288/4192956
[pid=17566] ppid=17564 vsize=5356 CPUtime=0.32
/proc/17566/stat : 17566 (SatELiteGTI) S 17564 17566 16900 0 -1 4194304 336 2599 0 0 0 0 30 2 18 0 1 0 306811771 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17566/statm: 1339 239 197 169 0 50 0
[pid=17572] ppid=17566 vsize=110932 CPUtime=101.85
/proc/17572/stat : 17572 (minisat_static) R 17566 17566 16900 0 -1 4194304 27557 0 0 0 10156 29 0 0 25 0 1 0 306811804 113594368 27543 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/17572/statm: 27733 27543 77 171 0 27560 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 116288
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 17572
/proc/meminfo: memFree=1743272/2055920 swapFree=4179288/4192956
[pid=17566] ppid=17564 vsize=5356 CPUtime=0.32
/proc/17566/stat : 17566 (SatELiteGTI) S 17564 17566 16900 0 -1 4194304 336 2599 0 0 0 0 30 2 18 0 1 0 306811771 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17566/statm: 1339 239 197 169 0 50 0
[pid=17572] ppid=17566 vsize=157160 CPUtime=161.81
/proc/17572/stat : 17572 (minisat_static) R 17566 17566 16900 0 -1 4194304 39108 0 0 0 16138 43 0 0 25 0 1 0 306811804 160931840 39094 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17572/statm: 39290 39094 77 171 0 39117 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 162516
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 17572
/proc/meminfo: memFree=1700840/2055920 swapFree=4179288/4192956
[pid=17566] ppid=17564 vsize=5356 CPUtime=0.32
/proc/17566/stat : 17566 (SatELiteGTI) S 17564 17566 16900 0 -1 4194304 336 2599 0 0 0 0 30 2 18 0 1 0 306811771 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17566/statm: 1339 239 197 169 0 50 0
[pid=17572] ppid=17566 vsize=199040 CPUtime=221.77
/proc/17572/stat : 17572 (minisat_static) R 17566 17566 16900 0 -1 4194304 49597 0 0 0 22122 55 0 0 25 0 1 0 306811804 203816960 49583 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/17572/statm: 49760 49583 77 171 0 49587 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 204396
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 17572
/proc/meminfo: memFree=1662632/2055920 swapFree=4179288/4192956
[pid=17566] ppid=17564 vsize=5356 CPUtime=0.32
/proc/17566/stat : 17566 (SatELiteGTI) S 17564 17566 16900 0 -1 4194304 336 2599 0 0 0 0 30 2 18 0 1 0 306811771 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17566/statm: 1339 239 197 169 0 50 0
[pid=17572] ppid=17566 vsize=237648 CPUtime=281.73
/proc/17572/stat : 17572 (minisat_static) R 17566 17566 16900 0 -1 4194304 59206 0 0 0 28108 65 0 0 25 0 1 0 306811804 243351552 59192 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17572/statm: 59412 59192 77 171 0 59239 0
Current children cumulated CPU time (s) 282.05
Current children cumulated vsize (KiB) 243004
[startup+342.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 17572
/proc/meminfo: memFree=1625128/2055920 swapFree=4179288/4192956
[pid=17566] ppid=17564 vsize=5356 CPUtime=0.32
/proc/17566/stat : 17566 (SatELiteGTI) S 17564 17566 16900 0 -1 4194304 336 2599 0 0 0 0 30 2 18 0 1 0 306811771 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17566/statm: 1339 239 197 169 0 50 0
[pid=17572] ppid=17566 vsize=274504 CPUtime=341.7
/proc/17572/stat : 17572 (minisat_static) R 17566 17566 16900 0 -1 4194304 68443 0 0 0 34095 75 0 0 25 0 1 0 306811804 281092096 68429 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/17572/statm: 68626 68429 77 171 0 68453 0
Current children cumulated CPU time (s) 342.02
Current children cumulated vsize (KiB) 279860
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 17572
/proc/meminfo: memFree=1591272/2055920 swapFree=4179288/4192956
[pid=17566] ppid=17564 vsize=5356 CPUtime=0.32
/proc/17566/stat : 17566 (SatELiteGTI) S 17564 17566 16900 0 -1 4194304 336 2599 0 0 0 0 30 2 18 0 1 0 306811771 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17566/statm: 1339 239 197 169 0 50 0
[pid=17572] ppid=17566 vsize=308192 CPUtime=401.67
/proc/17572/stat : 17572 (minisat_static) R 17566 17566 16900 0 -1 4194304 76904 0 0 0 40083 84 0 0 25 0 1 0 306811804 315588608 76890 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17572/statm: 77048 76890 77 171 0 76875 0
Current children cumulated CPU time (s) 401.99
Current children cumulated vsize (KiB) 313548
[startup+462.301 s]
################
# More data... #
################
/proc/17572/statm: 93092 92817 77 171 0 92919 0
Current children cumulated CPU time (s) 521.92
Current children cumulated vsize (KiB) 377724
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 17572
/proc/meminfo: memFree=1498344/2055920 swapFree=4179288/4192956
[pid=17566] ppid=17564 vsize=5356 CPUtime=0.32
/proc/17566/stat : 17566 (SatELiteGTI) S 17564 17566 16900 0 -1 4194304 336 2599 0 0 0 0 30 2 18 0 1 0 306811771 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17566/statm: 1339 239 197 169 0 50 0
[pid=17572] ppid=17566 vsize=401024 CPUtime=581.57
/proc/17572/stat : 17572 (minisat_static) R 17566 17566 16900 0 -1 4194304 100010 0 0 0 58047 110 0 0 25 0 1 0 306811804 410648576 99996 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17572/statm: 100256 99996 77 171 0 100083 0
Current children cumulated CPU time (s) 581.89
Current children cumulated vsize (KiB) 406380
[startup+642.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 17578
/proc/meminfo: memFree=1467240/2055920 swapFree=4179288/4192956
[pid=17566] ppid=17564 vsize=5356 CPUtime=0.32
/proc/17566/stat : 17566 (SatELiteGTI) S 17564 17566 16900 0 -1 4194304 336 2599 0 0 0 0 30 2 18 0 1 0 306811771 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17566/statm: 1339 239 197 169 0 50 0
[pid=17572] ppid=17566 vsize=431420 CPUtime=641.54
/proc/17572/stat : 17572 (minisat_static) R 17566 17566 16900 0 -1 4194304 107657 0 0 0 64036 118 0 0 25 0 1 0 306811804 441774080 107643 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/17572/statm: 107855 107643 77 171 0 107682 0
Current children cumulated CPU time (s) 641.86
Current children cumulated vsize (KiB) 436776
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 17578
/proc/meminfo: memFree=1442984/2055920 swapFree=4179288/4192956
[pid=17566] ppid=17564 vsize=5356 CPUtime=0.32
/proc/17566/stat : 17566 (SatELiteGTI) S 17564 17566 16900 0 -1 4194304 336 2599 0 0 0 0 30 2 18 0 1 0 306811771 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17566/statm: 1339 239 197 169 0 50 0
[pid=17572] ppid=17566 vsize=455732 CPUtime=701.51
/proc/17572/stat : 17572 (minisat_static) R 17566 17566 16900 0 -1 4194304 113734 0 0 0 70026 125 0 0 25 0 1 0 306811804 466669568 113720 1992294400 134512640 135215339 4294956240 18446744073709551615 134538545 0 0 4096 3 0 0 0 17 0 0 0
/proc/17572/statm: 113933 113720 77 171 0 113760 0
Current children cumulated CPU time (s) 701.83
Current children cumulated vsize (KiB) 461088
[startup+762.305 s]
/proc/loadavg: 1.03 1.00 1.00 2/66 17578
/proc/meminfo: memFree=1414376/2055920 swapFree=4179288/4192956
[pid=17566] ppid=17564 vsize=5356 CPUtime=0.32
/proc/17566/stat : 17566 (SatELiteGTI) S 17564 17566 16900 0 -1 4194304 336 2599 0 0 0 0 30 2 18 0 1 0 306811771 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17566/statm: 1339 239 197 169 0 50 0
[pid=17572] ppid=17566 vsize=483744 CPUtime=761.49
/proc/17572/stat : 17572 (minisat_static) R 17566 17566 16900 0 -1 4194304 120781 0 0 0 76015 134 0 0 25 0 1 0 306811804 495353856 120767 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17572/statm: 120936 120767 77 171 0 120763 0
Current children cumulated CPU time (s) 761.81
Current children cumulated vsize (KiB) 489100
[startup+822.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 17578
/proc/meminfo: memFree=1390760/2055920 swapFree=4179288/4192956
[pid=17566] ppid=17564 vsize=5356 CPUtime=0.32
/proc/17566/stat : 17566 (SatELiteGTI) S 17564 17566 16900 0 -1 4194304 336 2599 0 0 0 0 30 2 18 0 1 0 306811771 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17566/statm: 1339 239 197 169 0 50 0
[pid=17572] ppid=17566 vsize=507524 CPUtime=821.46
/proc/17572/stat : 17572 (minisat_static) R 17566 17566 16900 0 -1 4194304 126748 0 0 0 82005 141 0 0 25 0 1 0 306811804 519704576 126734 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17572/statm: 126881 126734 77 171 0 126708 0
Current children cumulated CPU time (s) 821.78
Current children cumulated vsize (KiB) 512880
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17578
/proc/meminfo: memFree=1363560/2055920 swapFree=4179288/4192956
[pid=17566] ppid=17564 vsize=5356 CPUtime=0.32
/proc/17566/stat : 17566 (SatELiteGTI) S 17564 17566 16900 0 -1 4194304 336 2599 0 0 0 0 30 2 18 0 1 0 306811771 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17566/statm: 1339 239 197 169 0 50 0
[pid=17572] ppid=17566 vsize=535376 CPUtime=881.42
/proc/17572/stat : 17572 (minisat_static) R 17566 17566 16900 0 -1 4194304 133483 0 0 0 87993 149 0 0 25 0 1 0 306811804 548225024 133469 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/17572/statm: 133844 133469 77 171 0 133671 0
Current children cumulated CPU time (s) 881.74
Current children cumulated vsize (KiB) 540732
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17578
/proc/meminfo: memFree=1340776/2055920 swapFree=4179288/4192956
[pid=17566] ppid=17564 vsize=5356 CPUtime=0.32
/proc/17566/stat : 17566 (SatELiteGTI) S 17564 17566 16900 0 -1 4194304 336 2599 0 0 0 0 30 2 18 0 1 0 306811771 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17566/statm: 1339 239 197 169 0 50 0
[pid=17572] ppid=17566 vsize=558248 CPUtime=941.4
/proc/17572/stat : 17572 (minisat_static) R 17566 17566 16900 0 -1 4194304 139236 0 0 0 93984 156 0 0 25 0 1 0 306811804 571645952 139222 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/17572/statm: 139562 139222 77 171 0 139389 0
Current children cumulated CPU time (s) 941.72
Current children cumulated vsize (KiB) 563604
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17578
/proc/meminfo: memFree=1311080/2055920 swapFree=4179288/4192956
[pid=17566] ppid=17564 vsize=5356 CPUtime=0.32
/proc/17566/stat : 17566 (SatELiteGTI) S 17564 17566 16900 0 -1 4194304 336 2599 0 0 0 0 30 2 18 0 1 0 306811771 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17566/statm: 1339 239 197 169 0 50 0
[pid=17572] ppid=17566 vsize=587348 CPUtime=1001.36
/proc/17572/stat : 17572 (minisat_static) R 17566 17566 16900 0 -1 4194304 146521 0 0 0 99973 163 0 0 25 0 1 0 306811804 601444352 146507 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/17572/statm: 146837 146507 77 171 0 146664 0
Current children cumulated CPU time (s) 1001.68
Current children cumulated vsize (KiB) 592704
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17578
/proc/meminfo: memFree=1285096/2055920 swapFree=4179288/4192956
[pid=17566] ppid=17564 vsize=5356 CPUtime=0.32
/proc/17566/stat : 17566 (SatELiteGTI) S 17564 17566 16900 0 -1 4194304 336 2599 0 0 0 0 30 2 18 0 1 0 306811771 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17566/statm: 1339 239 197 169 0 50 0
[pid=17572] ppid=17566 vsize=613372 CPUtime=1061.33
/proc/17572/stat : 17572 (minisat_static) R 17566 17566 16900 0 -1 4194304 153038 0 0 0 105964 169 0 0 25 0 1 0 306811804 628092928 153024 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/17572/statm: 153343 153024 77 171 0 153170 0
Current children cumulated CPU time (s) 1061.65
Current children cumulated vsize (KiB) 618728
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17578
/proc/meminfo: memFree=1265000/2055920 swapFree=4179288/4192956
[pid=17566] ppid=17564 vsize=5356 CPUtime=0.32
/proc/17566/stat : 17566 (SatELiteGTI) S 17564 17566 16900 0 -1 4194304 336 2599 0 0 0 0 30 2 18 0 1 0 306811771 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17566/statm: 1339 239 197 169 0 50 0
[pid=17572] ppid=17566 vsize=633076 CPUtime=1121.31
/proc/17572/stat : 17572 (minisat_static) R 17566 17566 16900 0 -1 4194304 157996 0 0 0 111956 175 0 0 25 0 1 0 306811804 648269824 157982 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/17572/statm: 158269 157982 77 171 0 158096 0
Current children cumulated CPU time (s) 1121.63
Current children cumulated vsize (KiB) 638432
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17578
/proc/meminfo: memFree=1242344/2055920 swapFree=4179288/4192956
[pid=17566] ppid=17564 vsize=5356 CPUtime=0.32
/proc/17566/stat : 17566 (SatELiteGTI) S 17564 17566 16900 0 -1 4194304 336 2599 0 0 0 0 30 2 18 0 1 0 306811771 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17566/statm: 1339 239 197 169 0 50 0
[pid=17572] ppid=17566 vsize=655796 CPUtime=1181.27
/proc/17572/stat : 17572 (minisat_static) R 17566 17566 16900 0 -1 4194304 163686 0 0 0 117944 183 0 0 25 0 1 0 306811804 671535104 163672 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/17572/statm: 163949 163672 77 171 0 163776 0
Current children cumulated CPU time (s) 1181.59
Current children cumulated vsize (KiB) 661152
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17578
/proc/meminfo: memFree=1234664/2055920 swapFree=4179288/4192956
[pid=17566] ppid=17564 vsize=5356 CPUtime=0.32
/proc/17566/stat : 17566 (SatELiteGTI) S 17564 17566 16900 0 -1 4194304 336 2599 0 0 0 0 30 2 18 0 1 0 306811771 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17566/statm: 1339 239 197 169 0 50 0
[pid=17572] ppid=17566 vsize=663060 CPUtime=1199.77
/proc/17572/stat : 17572 (minisat_static) R 17566 17566 16900 0 -1 4194304 165502 0 0 0 119791 186 0 0 25 0 1 0 306811804 678973440 165488 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/17572/statm: 165765 165488 77 171 0 165592 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 668416
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17566 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=311952
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=23996
# CPU time returned by wait4() is 0.335948
# while last known CPU time is 1200.09
#
# 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.09
CPU user time (s): 1198.21
CPU system time (s): 1.88
CPU usage (%): 99.9397
Max. virtual memory (cumulated for all children) (KiB): 668416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.311952
system time used= 0.023996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2935
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.13683 second user time and 3.33849 second system time
The end
Begin job on node39 at 2009-05-20 04:50:34
IDJOB=1832795
IDBENCH=70361
IDSOLVER=671
FILE ID=node39/1832795-1242787833
PBS_JOBID= 9322305
Free space on /tmp= 66464 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/18000/unif-k3-r4.2-v18000-c75600-S914323646-060.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832795-1242787833/watcher-1832795-1242787833 -o /tmp/evaluation-result-1832795-1242787833/solver-1832795-1242787833 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832795-1242787833.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f485347639f83ec94bb8d93787135581
RANDOM SEED=990878531
node39.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.281
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.281
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: 1902104 kB
Buffers: 24724 kB
Cached: 82788 kB
SwapCached: 7952 kB
Active: 59684 kB
Inactive: 57316 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1902104 kB
SwapTotal: 4192956 kB
SwapFree: 4179288 kB
Dirty: 3028 kB
Writeback: 0 kB
Mapped: 14588 kB
Slab: 22948 kB
Committed_AS: 1105360 kB
PageTables: 1388 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= 66460 MiB
End job on node39 at 2009-05-20 05:10:36