0.00/0.00 c Parsing...
0.00/0.09 c ==============================================================================
0.00/0.09 c | | ORIGINAL | LEARNT | |
0.00/0.09 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.09 c ==============================================================================
0.00/0.09 c | 0 | 75600 226800 | 22679 0 0 nan | 0.000 % |
0.00/0.28 c | 0 | 75053 227864 | -- 0 -- -- | -- | -547/1064
0.00/0.28 c ==============================================================================
0.00/0.28 c Result : #vars: 17540 #clauses: 75053 #literals: 227864
0.00/0.28 c CPU time: 0.26196 s
0.00/0.28 c ==============================================================================
0.00/0.36 c This is MiniSat 2.0 beta
0.00/0.36 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.36 c ============================[ Problem Statistics ]=============================
0.00/0.36 c | |
0.00/0.36 c | Number of variables: 17540 |
0.00/0.36 c | Number of clauses: 75053 |
0.35/0.42 c | Parsing time: 0.05 s |
0.35/0.43 c ============================[ Search Statistics ]==============================
0.35/0.43 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.35/0.43 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.35/0.43 c ===============================================================================
0.35/0.43 c | 0 | 17540 75053 227864 | 25017 0 nan | 0.000 % |
0.35/0.50 c | 100 | 17540 75053 227864 | 25017 100 233 | 0.000 % |
0.35/0.56 c | 201 | 17540 75053 227864 | 25017 201 257 | 0.000 % |
0.35/0.62 c | 301 | 17540 75053 227864 | 25017 301 210 | 0.000 % |
0.35/0.69 c | 412 | 17540 75053 227864 | 25017 412 217 | 0.000 % |
0.35/0.75 c | 512 | 17540 75053 227864 | 25017 512 210 | 0.000 % |
0.35/0.82 c | 623 | 17540 75053 227864 | 25017 623 204 | 0.000 % |
0.35/0.89 c | 745 | 17540 75053 227864 | 25017 745 200 | 0.000 % |
0.35/0.96 c | 845 | 17540 75053 227864 | 25017 845 212 | 0.000 % |
0.97/1.03 c | 955 | 17540 75053 227864 | 25017 955 209 | 0.000 % |
1.07/1.10 c | 1076 | 17540 75053 227864 | 25017 1076 207 | 0.000 % |
1.07/1.19 c | 1209 | 17540 75053 227864 | 25017 1209 204 | 0.000 % |
1.17/1.26 c | 1309 | 17540 75053 227864 | 25017 1309 204 | 0.000 % |
1.27/1.32 c | 1420 | 17540 75053 227864 | 25017 1420 202 | 0.000 % |
1.27/1.39 c | 1541 | 17540 75053 227864 | 25017 1541 199 | 0.000 % |
1.37/1.47 c | 1676 | 17540 75053 227864 | 25017 1676 198 | 0.000 % |
1.47/1.56 c | 1823 | 17540 75053 227864 | 25017 1823 200 | 0.000 % |
1.57/1.63 c | 1923 | 17540 75053 227864 | 25017 1923 200 | 0.000 % |
1.67/1.70 c | 2038 | 17540 75053 227864 | 25017 2038 199 | 0.000 % |
1.67/1.77 c | 2159 | 17540 75053 227864 | 25017 2159 202 | 0.000 % |
1.77/1.85 c | 2292 | 17540 75053 227864 | 25017 2292 202 | 0.000 % |
1.86/1.96 c | 2440 | 17540 75053 227864 | 25017 2440 203 | 0.000 % |
1.96/2.06 c | 2600 | 17540 75053 227864 | 25017 2600 200 | 0.000 % |
2.07/2.12 c | 2700 | 17540 75053 227864 | 25017 2700 200 | 0.000 % |
2.07/2.19 c | 2811 | 17540 75053 227864 | 25017 2811 199 | 0.000 % |
2.17/2.27 c | 2932 | 17540 75053 227864 | 25017 2932 200 | 0.000 % |
2.27/2.35 c | 3066 | 17540 75053 227864 | 25017 3066 200 | 0.000 % |
2.37/2.46 c | 3212 | 17540 75053 227864 | 25017 3212 201 | 0.000 % |
2.47/2.56 c | 3374 | 17540 75053 227864 | 25017 3374 201 | 0.000 % |
2.57/2.67 c | 3552 | 17540 75053 227864 | 25017 3552 204 | 0.000 % |
2.67/2.74 c | 3652 | 17540 75053 227864 | 25017 3652 204 | 0.000 % |
2.77/2.82 c | 3763 | 17540 75053 227864 | 25017 3763 206 | 0.000 % |
2.87/2.90 c | 3884 | 17540 75053 227864 | 25017 3884 204 | 0.000 % |
2.97/3.00 c | 4020 | 17540 75053 227864 | 25017 4020 204 | 0.000 % |
2.97/3.10 c | 4166 | 17540 75053 227864 | 25017 4166 203 | 0.000 % |
3.17/3.20 c | 4327 | 17540 75053 227864 | 25017 4327 204 | 0.000 % |
3.27/3.31 c | 4503 | 17540 75053 227864 | 25017 4503 206 | 0.000 % |
3.36/3.43 c | 4697 | 17540 75053 227864 | 25017 4697 208 | 0.000 % |
3.36/3.50 c | 4798 | 17540 75053 227864 | 25017 4798 206 | 0.000 % |
3.46/3.57 c | 4908 | 17540 75053 227864 | 25017 4908 206 | 0.000 % |
3.56/3.66 c | 5029 | 17540 75053 227864 | 25017 5029 206 | 0.000 % |
3.66/3.75 c | 5162 | 17540 75053 227864 | 25017 5162 206 | 0.000 % |
3.76/3.85 c | 5308 | 17540 75053 227864 | 25017 5308 208 | 0.000 % |
3.86/3.96 c | 5468 | 17540 75053 227864 | 25017 5468 209 | 0.000 % |
3.96/4.07 c | 5644 | 17540 75053 227864 | 25017 5644 208 | 0.000 % |
4.16/4.22 c | 5837 | 17540 75053 227864 | 25017 5837 211 | 0.000 % |
4.27/4.35 c | 6050 | 17540 75053 227864 | 25017 6050 212 | 0.000 % |
4.37/4.42 c | 6151 | 17540 75053 227864 | 25017 6151 211 | 0.000 % |
4.37/4.50 c | 6261 | 17540 75053 227864 | 25017 6261 211 | 0.000 % |
4.46/4.57 c | 6384 | 17540 75053 227864 | 25017 6384 211 | 0.000 % |
4.56/4.66 c | 6518 | 17540 75053 227864 | 25017 6518 209 | 0.000 % |
4.66/4.76 c | 6665 | 17540 75053 227864 | 25017 6665 209 | 0.000 % |
4.76/4.85 c | 6825 | 17540 75053 227864 | 25017 6825 209 | 0.000 % |
4.86/4.95 c | 7002 | 17540 75053 227864 | 25017 7002 208 | 0.000 % |
4.96/5.08 c | 7195 | 17540 75053 227864 | 25017 7195 209 | 0.000 % |
5.17/5.22 c | 7410 | 17540 75053 227864 | 25017 7410 208 | 0.000 % |
5.27/5.39 c | 7644 | 17540 75053 227864 | 25017 7644 209 | 0.000 % |
5.37/5.46 c | 7746 | 17540 75053 227864 | 25017 7746 209 | 0.000 % |
5.47/5.53 c | 7857 | 17540 75053 227864 | 25017 7857 209 | 0.000 % |
5.57/5.61 c | 7979 | 17540 75053 227864 | 25017 7979 208 | 0.000 % |
5.67/5.70 c | 8113 | 17540 75053 227864 | 25017 8113 208 | 0.000 % |
5.77/5.80 c | 8260 | 17540 75053 227864 | 25017 8260 208 | 0.000 % |
5.87/5.91 c | 8421 | 17540 75053 227864 | 25017 8421 208 | 0.000 % |
5.97/6.04 c | 8599 | 17540 75053 227864 | 25017 8599 210 | 0.000 % |
6.07/6.16 c | 8793 | 17540 75053 227864 | 25017 8793 210 | 0.000 % |
6.27/6.31 c | 9007 | 17540 75053 227864 | 25017 9007 211 | 0.000 % |
6.37/6.47 c | 9240 | 17540 75053 227864 | 25017 9240 212 | 0.000 % |
6.57/6.64 c | 9497 | 17540 75053 227864 | 25017 9497 212 | 0.000 % |
6.67/6.73 c | 9597 | 17540 75053 227864 | 25017 9597 212 | 0.000 % |
6.77/6.81 c | 9707 | 17540 75053 227864 | 25017 9707 211 | 0.000 % |
6.86/6.90 c | 9828 | 17540 75053 227864 | 25017 9828 212 | 0.000 % |
6.86/6.99 c | 9963 | 17540 75053 227864 | 25017 9963 212 | 0.000 % |
6.96/7.09 c | 10109 | 17540 75053 227864 | 2147483647 10109 211 | 0.000 % |
7.16/7.20 c | 10271 | 17540 75053 227864 | 2147483647 10271 212 | 0.000 % |
7.26/7.33 c | 10448 | 17540 75053 227864 | 2147483647 10448 212 | 0.000 % |
7.36/7.48 c | 10643 | 17540 75053 227864 | 2147483647 10643 212 | 0.000 % |
7.56/7.63 c | 10857 | 17540 75053 227864 | 2147483647 10857 212 | 0.000 % |
7.66/7.77 c | 11090 | 17540 75053 227864 | 2147483647 11090 212 | 0.000 % |
7.86/7.94 c | 11346 | 17540 75053 227864 | 2147483647 11346 212 | 0.000 % |
8.06/8.13 c | 11628 | 17540 75053 227864 | 2147483647 11628 212 | 0.000 % |
8.17/8.20 c | 11729 | 17540 75053 227864 | 2147483647 11729 212 | 0.000 % |
8.17/8.28 c | 11840 | 17540 75053 227864 | 2147483647 11840 212 | 0.000 % |
8.27/8.36 c | 11962 | 17540 75053 227864 | 2147483647 11962 211 | 0.000 % |
8.37/8.45 c | 12096 | 17540 75053 227864 | 2147483647 12096 211 | 0.000 % |
8.47/8.56 c | 12244 | 17540 75053 227864 | 2147483647 12244 211 | 0.000 % |
8.57/8.68 c | 12405 | 17540 75053 227864 | 2147483647 12405 211 | 0.000 % |
8.67/8.79 c | 12582 | 17540 75053 227864 | 2147483647 12582 211 | 0.000 % |
8.87/8.93 c | 12775 | 17540 75053 227864 | 2147483647 12775 212 | 0.000 % |
8.97/9.06 c | 12988 | 17540 75053 227864 | 2147483647 12988 213 | 0.000 % |
9.17/9.23 c | 13221 | 17540 75053 227864 | 2147483647 13221 214 | 0.000 % |
9.37/9.41 c | 13477 | 17540 75053 227864 | 2147483647 13477 213 | 0.000 % |
9.47/9.58 c | 13760 | 17540 75053 227864 | 2147483647 13760 213 | 0.000 % |
9.77/9.80 c | 14070 | 17540 75053 227864 | 2147483647 14070 213 | 0.000 % |
9.77/9.87 c | 14171 | 17540 75053 227864 | 2147483647 14171 213 | 0.000 % |
9.87/9.95 c | 14282 | 17540 75053 227864 | 2147483647 14282 213 | 0.000 % |
9.96/10.04 c | 14403 | 17540 75053 227864 | 2147483647 14403 212 | 0.000 % |
10.06/10.12 c | 14536 | 17540 75053 227864 | 2147483647 14536 212 | 0.000 % |
10.16/10.23 c | 14682 | 17540 75053 227864 | 2147483647 14682 211 | 0.000 % |
10.26/10.35 c | 14844 | 17540 75053 227864 | 2147483647 14844 211 | 0.000 % |
10.36/10.46 c | 15021 | 17540 75053 227864 | 2147483647 15021 211 | 0.000 % |
10.56/10.60 c | 15214 | 17540 75053 227864 | 2147483647 15214 211 | 0.000 % |
10.66/10.75 c | 15426 | 17540 75053 227864 | 2147483647 15426 211 | 0.000 % |
10.87/10.93 c | 15663 | 17540 75053 227864 | 2147483647 15663 211 | 0.000 % |
11.06/11.11 c | 15920 | 17540 75053 227864 | 2147483647 15920 211 | 0.000 % |
11.16/11.29 c | 16201 | 17540 75053 227864 | 2147483647 16201 211 | 0.000 % |
11.46/11.51 c | 16512 | 17540 75053 227864 | 2147483647 16512 213 | 0.000 % |
11.66/11.76 c | 16851 | 17540 75053 227864 | 2147483647 16851 214 | 0.000 % |
11.76/11.85 c | 16951 | 17540 75053 227864 | 2147483647 16951 214 | 0.000 % |
11.86/11.93 c | 17061 | 17540 75053 227864 | 2147483647 17061 214 | 0.000 % |
11.96/12.02 c | 17183 | 17540 75053 227864 | 2147483647 17183 213 | 0.000 % |
12.06/12.11 c | 17316 | 17540 75053 227864 | 2147483647 17316 213 | 0.000 % |
12.17/12.22 c | 17463 | 17540 75053 227864 | 2147483647 17463 213 | 0.000 % |
12.27/12.34 c | 17623 | 17540 75053 227864 | 2147483647 17623 213 | 0.000 % |
12.37/12.45 c | 17801 | 17540 75053 227864 | 2147483647 17801 212 | 0.000 % |
12.47/12.58 c | 17994 | 17540 75053 227864 | 2147483647 17994 212 | 0.000 % |
12.66/12.74 c | 18207 | 17540 75053 227864 | 2147483647 18207 212 | 0.000 % |
12.86/12.91 c | 18442 | 17540 75053 227864 | 2147483647 18442 212 | 0.000 % |
13.07/13.10 c | 18698 | 17540 75053 227864 | 2147483647 18698 212 | 0.000 % |
13.26/13.31 c | 18981 | 17540 75053 227864 | 2147483647 18981 213 | 0.000 % |
13.47/13.53 c | 19291 | 17540 75053 227864 | 2147483647 19291 213 | 0.000 % |
13.67/13.79 c | 19633 | 17540 75053 227864 | 2147483647 19633 212 | 0.000 % |
13.96/14.06 c | 20005 | 17540 75053 227864 | 2147483647 20005 213 | 0.000 % |
14.06/14.15 c | 20105 | 17540 75053 227864 | 2147483647 20105 213 | 0.000 % |
14.17/14.24 c | 20215 | 17540 75053 227864 | 2147483647 20215 213 | 0.000 % |
14.27/14.33 c | 20338 | 17540 75053 227864 | 2147483647 20338 213 | 0.000 % |
14.36/14.43 c | 20471 | 17540 75053 227864 | 2147483647 20471 213 | 0.000 % |
14.46/14.55 c | 20617 | 17540 75053 227864 | 2147483647 20617 213 | 0.000 % |
14.56/14.67 c | 20777 | 17540 75053 227864 | 2147483647 20777 213 | 0.000 % |
14.66/14.79 c | 20954 | 17540 75053 227864 | 2147483647 20954 213 | 0.000 % |
14.86/14.93 c | 21148 | 17540 75053 227864 | 2147483647 21148 213 | 0.000 % |
14.96/15.09 c | 21361 | 17540 75053 227864 | 2147483647 21361 213 | 0.000 % |
15.16/15.26 c | 21594 | 17540 75053 227864 | 2147483647 21594 213 | 0.000 % |
15.37/15.47 c | 21851 | 17540 75053 227864 | 2147483647 21851 213 | 0.000 % |
15.56/15.68 c | 22132 | 17540 75053 227864 | 2147483647 22132 213 | 0.000 % |
15.86/15.93 c | 22442 | 17540 75053 227864 | 2147483647 22442 214 | 0.000 % |
16.06/16.18 c | 22782 | 17540 75053 227864 | 2147483647 22782 214 | 0.000 % |
16.36/16.48 c | 23154 | 17540 75053 227864 | 2147483647 23154 215 | 0.000 % |
16.66/16.79 c | 23564 | 17540 75053 227864 | 2147483647 23564 216 | 0.000 % |
16.76/16.89 c | 23665 | 17540 75053 227864 | 2147483647 23665 216 | 0.000 % |
16.86/16.97 c | 23777 | 17540 75053 227864 | 2147483647 23777 216 | 0.000 % |
16.96/17.06 c | 23898 | 17540 75053 227864 | 2147483647 23898 217 | 0.000 % |
17.06/17.18 c | 24031 | 17540 75053 227864 | 2147483647 24031 216 | 0.000 % |
17.26/17.30 c | 24177 | 17540 75053 227864 | 2147483647 24177 216 | 0.000 % |
17.36/17.42 c | 24338 | 17540 75053 227864 | 2147483647 24338 216 | 0.000 % |
17.46/17.56 c | 24516 | 17540 75053 227864 | 2147483647 24516 215 | 0.000 % |
17.67/17.71 c | 24709 | 17540 75053 227864 | 2147483647 24709 216 | 0.000 % |
17.77/17.86 c | 24922 | 17540 75053 227864 | 2147483647 24922 215 | 0.000 % |
17.96/18.05 c | 25155 | 17540 75053 227864 | 2147483647 25155 215 | 0.000 % |
18.16/18.24 c | 25413 | 17540 75053 227864 | 2147483647 25413 216 | 0.000 % |
18.36/18.47 c | 25694 | 17540 75053 227864 | 2147483647 25694 215 | 0.000 % |
18.57/18.69 c | 26003 | 17540 75053 227864 | 2147483647 26003 216 | 0.000 % |
18.86/18.95 c | 26343 | 17540 75053 227864 | 2147483647 26343 216 | 0.000 % |
19.16/19.24 c | 26715 | 17540 75053 227864 | 2147483647 26715 216 | 0.000 % |
19.46/19.55 c | 27125 | 17540 75053 227864 | 2147483647 27125 217 | 0.000 % |
19.77/19.89 c | 27577 | 17540 75053 227864 | 2147483647 27577 218 | 0.000 % |
19.87/19.99 c | 27678 | 17540 75053 227864 | 2147483647 27678 218 | 0.000 % |
19.97/20.10 c | 27788 | 17540 75053 227864 | 2147483647 27788 218 | 0.000 % |
20.07/20.19 c | 27911 | 17540 75053 227864 | 2147483647 27911 217 | 0.000 % |
20.27/20.31 c | 28045 | 17540 75053 227864 | 2147483647 28045 217 | 0.000 % |
20.37/20.42 c | 28193 | 17540 75053 227864 | 2147483647 28193 217 | 0.000 % |
20.47/20.55 c | 28354 | 17540 75053 227864 | 2147483647 28354 217 | 0.000 % |
20.57/20.68 c | 28530 | 17540 75053 227864 | 2147483647 28530 217 | 0.000 % |
20.77/20.84 c | 28723 | 17540 75053 227864 | 2147483647 28723 217 | 0.000 % |
20.96/21.02 c | 28941 | 17540 75053 227864 | 2147483647 28941 218 | 0.000 % |
21.16/21.21 c | 29176 | 17540 75053 227864 | 2147483647 29176 217 | 0.000 % |
21.36/21.43 c | 29432 | 17540 75053 227864 | 2147483647 29432 217 | 0.000 % |
21.56/21.65 c | 29715 | 17540 75053 227864 | 2147483647 29715 218 | 0.000 % |
21.76/21.89 c | 30025 | 17540 75053 227864 | 2147483647 30025 217 | 0.000 % |
22.06/22.18 c | 30364 | 17540 75053 227864 | 2147483647 30364 217 | 0.000 % |
22.36/22.48 c | 30736 | 17540 75053 227864 | 2147483647 30736 217 | 0.000 % |
22.76/22.83 c | 31145 | 17540 75053 227864 | 2147483647 31145 217 | 0.000 % |
23.16/23.20 c | 31596 | 17540 75053 227864 | 2147483647 31596 218 | 0.000 % |
23.46/23.57 c | 32091 | 17540 75053 227864 | 2147483647 32091 218 | 0.000 % |
23.56/23.68 c | 32194 | 17540 75053 227864 | 2147483647 32194 218 | 0.000 % |
23.66/23.76 c | 32304 | 17540 75053 227864 | 2147483647 32304 218 | 0.000 % |
23.76/23.86 c | 32425 | 17540 75053 227864 | 2147483647 32425 218 | 0.000 % |
23.86/23.98 c | 32558 | 17540 75053 227864 | 2147483647 32558 217 | 0.000 % |
24.06/24.11 c | 32704 | 17540 75053 227864 | 2147483647 32704 217 | 0.000 % |
24.16/24.27 c | 32864 | 17540 75053 227864 | 2147483647 32864 217 | 0.000 % |
24.36/24.43 c | 33040 | 17540 75053 227864 | 2147483647 33040 218 | 0.000 % |
24.56/24.60 c | 33233 | 17540 75053 227864 | 2147483647 33233 218 | 0.000 % |
24.66/24.77 c | 33445 | 17540 75053 227864 | 2147483647 33445 218 | 0.000 % |
24.86/24.97 c | 33678 | 17540 75053 227864 | 2147483647 33678 218 | 0.000 % |
25.06/25.19 c | 33934 | 17540 75053 227864 | 2147483647 33934 218 | 0.000 % |
25.36/25.42 c | 34215 | 17540 75053 227864 | 2147483647 34215 218 | 0.000 % |
25.56/25.67 c | 34524 | 17540 75053 227864 | 2147483647 34524 218 | 0.000 % |
25.86/25.97 c | 34863 | 17540 75053 227864 | 2147483647 34863 218 | 0.000 % |
26.16/26.30 c | 35236 | 17540 75053 227864 | 2147483647 35236 218 | 0.000 % |
26.56/26.61 c | 35645 | 17540 75053 227864 | 2147483647 35645 219 | 0.000 % |
26.96/27.00 c | 36096 | 17540 75053 227864 | 2147483647 36096 219 | 0.000 % |
27.36/27.43 c | 36589 | 17540 75053 227864 | 2147483647 36589 220 | 0.000 % |
27.76/27.88 c | 37131 | 17540 75053 227864 | 2147483647 37131 220 | 0.000 % |
27.86/27.98 c | 37232 | 17540 75053 227864 | 2147483647 37232 220 | 0.000 % |
27.96/28.09 c | 37342 | 17540 75053 227864 | 2147483647 37342 220 | 0.000 % |
28.16/28.21 c | 37464 | 17540 75053 227864 | 2147483647 37464 220 | 0.000 % |
28.26/28.33 c | 37598 | 17540 75053 227864 | 2147483647 37598 220 | 0.000 % |
28.36/28.46 c | 37744 | 17540 75053 227864 | 2147483647 37744 220 | 0.000 % |
28.56/28.61 c | 37905 | 17540 75053 227864 | 2147483647 37905 220 | 0.000 % |
28.66/28.76 c | 38082 | 17540 75053 227864 | 2147483647 38082 220 | 0.000 % |
28.86/28.94 c | 38276 | 17540 75053 227864 | 2147483647 38276 220 | 0.000 % |
29.05/29.15 c | 38489 | 17540 75053 227864 | 2147483647 38489 220 | 0.000 % |
29.25/29.36 c | 38724 | 17540 75053 227864 | 2147483647 38724 219 | 0.000 % |
29.45/29.59 c | 38982 | 17540 75053 227864 | 2147483647 38982 219 | 0.000 % |
29.75/29.84 c | 39263 | 17540 75053 227864 | 2147483647 39263 220 | 0.000 % |
30.06/30.10 c | 39573 | 17540 75053 227864 | 2147483647 39573 220 | 0.000 % |
30.36/30.41 c | 39912 | 17540 75053 227864 | 2147483647 39912 221 | 0.000 % |
30.66/30.73 c | 40287 | 17540 75053 227864 | 2147483647 40287 221 | 0.000 % |
30.96/31.09 c | 40698 | 17540 75053 227864 | 2147483647 40698 222 | 0.000 % |
31.36/31.47 c | 41147 | 17540 75053 227864 | 2147483647 41147 222 | 0.000 % |
31.76/31.88 c | 41640 | 17540 75053 227864 | 2147483647 41640 222 | 0.000 % |
32.25/32.33 c | 42183 | 17540 75053 227864 | 2147483647 42183 223 | 0.000 % |
32.76/32.84 c | 42780 | 17540 75053 227864 | 2147483647 42780 223 | 0.000 % |
32.86/32.94 c | 42883 | 17540 75053 227864 | 2147483647 42883 223 | 0.000 % |
32.96/33.04 c | 42993 | 17540 75053 227864 | 2147483647 42993 223 | 0.000 % |
33.06/33.17 c | 43115 | 17540 75053 227864 | 2147483647 43115 223 | 0.000 % |
33.26/33.31 c | 43248 | 17540 75053 227864 | 2147483647 43248 222 | 0.000 % |
33.36/33.45 c | 43395 | 17540 75053 227864 | 2147483647 43395 222 | 0.000 % |
33.46/33.59 c | 43555 | 17540 75053 227864 | 2147483647 43555 223 | 0.000 % |
33.66/33.77 c | 43732 | 17540 75053 227864 | 2147483647 43732 222 | 0.000 % |
33.86/33.93 c | 43926 | 17540 75053 227864 | 2147483647 43926 223 | 0.000 % |
34.06/34.14 c | 44138 | 17540 75053 227864 | 2147483647 44138 222 | 0.000 % |
34.26/34.35 c | 44375 | 17540 75053 227864 | 2147483647 44375 222 | 0.000 % |
34.55/34.60 c | 44632 | 17540 75053 227864 | 2147483647 44632 222 | 0.000 % |
34.75/34.82 c | 44913 | 17540 75053 227864 | 2147483647 44913 222 | 0.000 % |
34.96/35.09 c | 45223 | 17540 75053 227864 | 2147483647 45223 222 | 0.000 % |
35.26/35.40 c | 45563 | 17540 75053 227864 | 2147483647 45563 223 | 0.000 % |
35.66/35.71 c | 45935 | 17540 75053 227864 | 2147483647 45935 223 | 0.000 % |
35.96/36.07 c | 46344 | 17540 75053 227864 | 2147483647 46344 223 | 0.000 % |
36.36/36.49 c | 46796 | 17540 75053 227864 | 2147483647 46796 223 | 0.000 % |
36.85/36.95 c | 47291 | 17540 75053 227864 | 2147483647 47291 223 | 0.000 % |
37.36/37.44 c | 47833 | 17540 75053 227864 | 2147483647 47833 223 | 0.000 % |
37.86/37.95 c | 48429 | 17540 75053 227864 | 2147483647 48429 225 | 0.000 % |
38.46/38.55 c | 49084 | 17540 75053 227864 | 2147483647 49084 225 | 0.000 % |
38.56/38.67 c | 49187 | 17540 75053 227864 | 2147483647 49187 225 | 0.000 % |
38.66/38.78 c | 49298 | 17540 75053 227864 | 2147483647 49298 225 | 0.000 % |
38.76/38.88 c | 49419 | 17540 75053 227864 | 2147483647 49419 225 | 0.000 % |
38.96/39.02 c | 49554 | 17540 75053 227864 | 2147483647 49554 225 | 0.000 % |
39.06/39.18 c | 49701 | 17540 75053 227864 | 2147483647 49701 224 | 0.000 % |
39.26/39.34 c | 49863 | 17540 75053 227864 | 2147483647 49863 224 | 0.000 % |
39.46/39.53 c | 50040 | 17540 75053 227864 | 2147483647 50040 224 | 0.000 % |
39.66/39.72 c | 50235 | 17540 75053 227864 | 2147483647 50235 224 | 0.000 % |
39.86/39.93 c | 50447 | 17540 75053 227864 | 2147483647 50447 224 | 0.000 % |
40.05/40.14 c | 50680 | 17540 75053 227864 | 2147483647 50680 224 | 0.000 % |
40.25/40.39 c | 50939 | 17540 75053 227864 | 2147483647 50939 224 | 0.000 % |
40.56/40.66 c | 51220 | 17540 75053 227864 | 2147483647 51220 224 | 0.000 % |
40.85/40.96 c | 51530 | 17540 75053 227864 | 2147483647 51530 224 | 0.000 % |
41.15/41.28 c | 51869 | 17540 75053 227864 | 2147483647 51869 224 | 0.000 % |
41.55/41.65 c | 52241 | 17540 75053 227864 | 2147483647 52241 225 | 0.000 % |
41.95/42.05 c | 52652 | 17540 75053 227864 | 2147483647 52652 225 | 0.000 % |
42.35/42.48 c | 53102 | 17540 75053 227864 | 2147483647 53102 225 | 0.000 % |
42.85/42.93 c | 53596 | 17540 75053 227864 | 2147483647 53596 225 | 0.000 % |
43.36/43.44 c | 54138 | 17540 75053 227864 | 2147483647 54138 225 | 0.000 % |
43.96/44.02 c | 54735 | 17540 75053 227864 | 2147483647 54735 225 | 0.000 % |
44.56/44.64 c | 55390 | 17540 75053 227864 | 2147483647 55390 225 | 0.000 % |
45.25/45.32 c | 56110 | 17540 75053 227864 | 2147483647 56110 225 | 0.000 % |
45.35/45.43 c | 56211 | 17540 75053 227864 | 2147483647 56211 225 | 0.000 % |
45.45/45.57 c | 56325 | 17540 75053 227864 | 2147483647 56325 225 | 0.000 % |
45.65/45.70 c | 56447 | 17540 75053 227864 | 2147483647 56447 225 | 0.000 % |
45.75/45.84 c | 56580 | 17540 75053 227864 | 2147483647 56580 225 | 0.000 % |
45.85/45.99 c | 56726 | 17540 75053 227864 | 2147483647 56726 225 | 0.000 % |
46.05/46.14 c | 56886 | 17540 75053 227864 | 2147483647 56886 225 | 0.000 % |
46.25/46.33 c | 57062 | 17540 75053 227864 | 2147483647 57062 225 | 0.000 % |
46.45/46.51 c | 57256 | 17540 75053 227864 | 2147483647 57256 225 | 0.000 % |
46.65/46.73 c | 57469 | 17540 75053 227864 | 2147483647 57469 225 | 0.000 % |
46.85/46.96 c | 57703 | 17540 75053 227864 | 2147483647 57703 225 | 0.000 % |
47.15/47.22 c | 57961 | 17540 75053 227864 | 2147483647 57961 225 | 0.000 % |
47.45/47.50 c | 58242 | 17540 75053 227864 | 2147483647 58242 225 | 0.000 % |
47.75/47.82 c | 58551 | 17540 75053 227864 | 2147483647 58551 225 | 0.000 % |
48.05/48.15 c | 58892 | 17540 75053 227864 | 2147483647 58892 225 | 0.000 % |
48.46/48.53 c | 59264 | 17540 75053 227864 | 2147483647 59264 225 | 0.000 % |
48.86/48.95 c | 59673 | 17540 75053 227864 | 2147483647 59673 225 | 0.000 % |
49.25/49.40 c | 60122 | 17540 75053 227864 | 2147483647 60122 225 | 0.000 % |
49.85/49.91 c | 60616 | 17540 75053 227864 | 2147483647 60616 226 | 0.000 % |
50.35/50.45 c | 61158 | 17540 75053 227864 | 2147483647 61158 226 | 0.000 % |
50.95/51.04 c | 61756 | 17540 75053 227864 | 2147483647 61756 226 | 0.000 % |
51.56/51.67 c | 62412 | 17540 75053 227864 | 2147483647 62412 226 | 0.000 % |
52.26/52.37 c | 63133 | 17540 75053 227864 | 2147483647 63133 227 | 0.000 % |
53.05/53.16 c | 63927 | 17540 75053 227864 | 2147483647 63927 226 | 0.000 % |
53.15/53.27 c | 64029 | 17540 75053 227864 | 2147483647 64029 227 | 0.000 % |
53.35/53.41 c | 64140 | 17540 75053 227864 | 2147483647 64140 226 | 0.000 % |
53.45/53.54 c | 64262 | 17540 75053 227864 | 2147483647 64262 226 | 0.000 % |
53.55/53.69 c | 64397 | 17540 75053 227864 | 2147483647 64397 226 | 0.000 % |
53.75/53.85 c | 64544 | 17540 75053 227864 | 2147483647 64544 226 | 0.000 % |
53.95/54.04 c | 64705 | 17540 75053 227864 | 2147483647 64705 226 | 0.000 % |
54.15/54.23 c | 64883 | 17540 75053 227864 | 2147483647 64883 226 | 0.000 % |
54.35/54.43 c | 65078 | 17540 75053 227864 | 2147483647 65078 226 | 0.000 % |
54.55/54.64 c | 65290 | 17540 75053 227864 | 2147483647 65290 226 | 0.000 % |
54.75/54.89 c | 65526 | 17540 75053 227864 | 2147483647 65526 226 | 0.000 % |
55.04/55.15 c | 65782 | 17540 75053 227864 | 2147483647 65782 226 | 0.000 % |
55.34/55.43 c | 66064 | 17540 75053 227864 | 2147483647 66064 227 | 0.000 % |
55.64/55.77 c | 66377 | 17540 75053 227864 | 2147483647 66377 226 | 0.000 % |
56.05/56.12 c | 66716 | 17540 75053 227864 | 2147483647 66716 226 | 0.000 % |
56.34/56.49 c | 67088 | 17540 75053 227864 | 2147483647 67088 227 | 0.000 % |
56.84/56.90 c | 67498 | 17540 75053 227864 | 2147483647 67498 227 | 0.000 % |
57.24/57.36 c | 67948 | 17540 75053 227864 | 2147483647 67948 227 | 0.000 % |
57.75/57.87 c | 68442 | 17540 75053 227864 | 2147483647 68442 227 | 0.000 % |
58.35/58.43 c | 68984 | 17540 75053 227864 | 2147483647 68984 227 | 0.000 % |
58.95/59.06 c | 69581 | 17540 75053 227864 | 2147483647 69581 227 | 0.000 % |
59.64/59.72 c | 70236 | 17540 75053 227864 | 2147483647 70236 228 | 0.000 % |
60.35/60.45 c | 70960 | 17540 75053 227864 | 2147483647 70960 228 | 0.000 % |
61.25/61.36 c | 71752 | 17540 75053 227864 | 2147483647 71752 229 | 0.000 % |
62.25/62.30 c | 72623 | 17540 75053 227864 | 2147483647 72623 229 | 0.000 % |
62.35/62.44 c | 72726 | 17540 75053 227864 | 2147483647 72726 229 | 0.000 % |
62.45/62.57 c | 72837 | 17540 75053 227864 | 2147483647 72837 229 | 0.000 % |
62.65/62.73 c | 72960 | 17540 75053 227864 | 2147483647 72960 229 | 0.000 % |
62.75/62.88 c | 73093 | 17540 75053 227864 | 2147483647 73093 229 | 0.000 % |
62.95/63.04 c | 73241 | 17540 75053 227864 | 2147483647 73241 229 | 0.000 % |
63.14/63.22 c | 73402 | 17540 75053 227864 | 2147483647 73402 229 | 0.000 % |
63.34/63.41 c | 73578 | 17540 75053 227864 | 2147483647 73578 229 | 0.000 % |
63.54/63.62 c | 73771 | 17540 75053 227864 | 2147483647 73771 229 | 0.000 % |
63.75/63.84 c | 73983 | 17540 75053 227864 | 2147483647 73983 229 | 0.000 % |
63.94/64.07 c | 74216 | 17540 75053 227864 | 2147483647 74216 229 | 0.000 % |
64.34/64.40 c | 74474 | 17540 75053 227864 | 2147483647 74474 229 | 0.000 % |
64.64/64.72 c | 74755 | 17540 75053 227864 | 2147483647 74755 229 | 0.000 % |
64.94/65.09 c | 75064 | 17540 75053 227864 | 2147483647 75064 229 | 0.000 % |
65.34/65.43 c | 75403 | 17540 75053 227864 | 2147483647 75403 230 | 0.000 % |
65.74/65.86 c | 75775 | 17540 75053 227864 | 2147483647 75775 230 | 0.000 % |
66.25/66.30 c | 76186 | 17540 75053 227864 | 2147483647 76186 230 | 0.000 % |
66.64/66.79 c | 76636 | 17540 75053 227864 | 2147483647 76636 229 | 0.000 % |
67.24/67.30 c | 77130 | 17540 75053 227864 | 2147483647 77130 230 | 0.000 % |
67.74/67.88 c | 77673 | 17540 75053 227864 | 2147483647 77673 230 | 0.000 % |
68.34/68.47 c | 78270 | 17540 75053 227864 | 2147483647 78270 230 | 0.000 % |
69.04/69.15 c | 78927 | 17540 75053 227864 | 2147483647 78927 230 | 0.000 % |
69.84/69.92 c | 79647 | 17540 75053 227864 | 2147483647 79647 230 | 0.000 % |
70.64/70.78 c | 80442 | 17540 75053 227864 | 2147483647 80442 230 | 0.000 % |
71.63/71.71 c | 81313 | 17540 75053 227864 | 2147483647 81313 231 | 0.000 % |
72.55/72.69 c | 82272 | 17540 75053 227864 | 2147483647 82272 232 | 0.000 % |
72.74/72.81 c | 82375 | 17540 75053 227864 | 2147483647 82375 232 | 0.000 % |
72.84/72.94 c | 82488 | 17540 75053 227864 | 2147483647 82488 232 | 0.000 % |
73.04/73.10 c | 82611 | 17540 75053 227864 | 2147483647 82611 232 | 0.000 % |
73.14/73.26 c | 82744 | 17540 75053 227864 | 2147483647 82744 232 | 0.000 % |
73.34/73.45 c | 82890 | 17540 75053 227864 | 2147483647 82890 232 | 0.000 % |
73.54/73.65 c | 83051 | 17540 75053 227864 | 2147483647 83051 231 | 0.000 % |
73.74/73.86 c | 83227 | 17540 75053 227864 | 2147483647 83227 231 | 0.000 % |
73.94/74.10 c | 83422 | 17540 75053 227864 | 2147483647 83422 231 | 0.000 % |
74.24/74.36 c | 83634 | 17540 75053 227864 | 2147483647 83634 231 | 0.000 % |
74.54/74.62 c | 83867 | 17540 75053 227864 | 2147483647 83867 231 | 0.000 % |
74.84/74.93 c | 84123 | 17540 75053 227864 | 2147483647 84123 231 | 0.000 % |
75.14/75.23 c | 84406 | 17540 75053 227864 | 2147483647 84406 231 | 0.000 % |
75.44/75.55 c | 84715 | 17540 75053 227864 | 2147483647 84715 231 | 0.000 % |
75.84/75.97 c | 85054 | 17540 75053 227864 | 2147483647 85054 231 | 0.000 % |
76.24/76.38 c | 85426 | 17540 75053 227864 | 2147483647 85426 231 | 0.000 % |
76.73/76.81 c | 85835 | 17540 75053 227864 | 2147483647 85835 231 | 0.000 % |
77.23/77.34 c | 86285 | 17540 75053 227864 | 2147483647 86285 231 | 0.000 % |
77.73/77.88 c | 86778 | 17540 75053 227864 | 2147483647 86778 230 | 0.000 % |
78.33/78.45 c | 87322 | 17540 75053 227864 | 2147483647 87322 230 | 0.000 % |
78.94/79.08 c | 87918 | 17540 75053 227864 | 2147483647 87918 230 | 0.000 % |
79.74/79.87 c | 88573 | 17540 75053 227864 | 2147483647 88573 230 | 0.000 % |
80.63/80.73 c | 89293 | 17540 75053 227864 | 2147483647 89293 231 | 0.000 % |
81.43/81.59 c | 90085 | 17540 75053 227864 | 2147483647 90085 231 | 0.000 % |
82.43/82.57 c | 90957 | 17540 75053 227864 | 2147483647 90957 232 | 0.000 % |
83.54/83.69 c | 91915 | 17540 75053 227864 | 2147483647 91915 232 | 0.000 % |
84.73/84.87 c | 92968 | 17540 75053 227864 | 2147483647 92968 232 | 0.000 % |
84.93/85.01 c | 93071 | 17540 75053 227864 | 2147483647 93071 232 | 0.000 % |
85.03/85.17 c | 93182 | 17540 75053 227864 | 2147483647 93182 232 | 0.000 % |
85.23/85.32 c | 93303 | 17540 75053 227864 | 2147483647 93303 232 | 0.000 % |
85.43/85.51 c | 93437 | 17540 75053 227864 | 2147483647 93437 232 | 0.000 % |
85.53/85.68 c | 93583 | 17540 75053 227864 | 2147483647 93583 232 | 0.000 % |
85.73/85.89 c | 93743 | 17540 75053 227864 | 2147483647 93743 232 | 0.000 % |
86.03/86.11 c | 93919 | 17540 75053 227864 | 2147483647 93919 232 | 0.000 % |
86.23/86.36 c | 94112 | 17540 75053 227864 | 2147483647 94112 232 | 0.000 % |
86.53/86.63 c | 94325 | 17540 75053 227864 | 2147483647 94325 232 | 0.000 % |
86.83/86.92 c | 94561 | 17540 75053 227864 | 2147483647 94561 232 | 0.000 % |
87.13/87.24 c | 94818 | 17540 75053 227864 | 2147483647 94818 232 | 0.000 % |
87.53/87.60 c | 95100 | 17540 75053 227864 | 2147483647 95100 232 | 0.000 % |
87.83/87.96 c | 95411 | 17540 75053 227864 | 2147483647 95411 232 | 0.000 % |
88.33/88.40 c | 95751 | 17540 75053 227864 | 2147483647 95751 232 | 0.000 % |
88.73/88.84 c | 96123 | 17540 75053 227864 | 2147483647 96123 232 | 0.000 % |
89.13/89.28 c | 96532 | 17540 75053 227864 | 2147483647 96532 232 | 0.000 % |
89.72/89.83 c | 96982 | 17540 75053 227864 | 2147483647 96982 232 | 0.000 % |
90.23/90.39 c | 97476 | 17540 75053 227864 | 2147483647 97476 232 | 0.000 % |
90.93/91.04 c | 98018 | 17540 75053 227864 | 2147483647 98018 232 | 0.000 % |
91.63/91.77 c | 98614 | 17540 75053 227864 | 2147483647 98614 232 | 0.000 % |
92.43/92.55 c | 99269 | 17540 75053 227864 | 2147483647 99269 232 | 0.000 % |
93.33/93.41 c | 99990 | 17540 75053 227864 | 2147483647 99990 233 | 0.000 % |
94.22/94.35 c | 100782 | 17540 75053 227864 | 2147483647 100782 233 | 0.000 % |
95.33/95.40 c | 101654 | 17540 75053 227864 | 2147483647 101654 233 | 0.000 % |
96.33/96.47 c | 102613 | 17540 75053 227864 | 2147483647 102613 233 | 0.000 % |
97.53/97.65 c | 103666 | 17540 75053 227864 | 2147483647 103666 233 | 0.000 % |
98.82/98.99 c | 104824 | 17540 75053 227864 | 2147483647 104824 234 | 0.000 % |
99.02/99.13 c | 104924 | 17540 75053 227864 | 2147483647 104924 234 | 0.000 % |
99.12/99.29 c | 105035 | 17540 75053 227864 | 2147483647 105035 234 | 0.000 % |
99.32/99.47 c | 105156 | 17540 75053 227864 | 2147483647 105156 234 | 0.000 % |
99.52/99.64 c | 105289 | 17540 75053 227864 | 2147483647 105289 234 | 0.000 % |
99.72/99.85 c | 105435 | 17540 75053 227864 | 2147483647 105435 234 | 0.000 % |
99.92/100.07 c | 105595 | 17540 75053 227864 | 2147483647 105595 234 | 0.000 % |
100.23/100.30 c | 105772 | 17540 75053 227864 | 2147483647 105772 234 | 0.000 % |
100.43/100.55 c | 105966 | 17540 75053 227864 | 2147483647 105966 234 | 0.000 % |
100.73/100.83 c | 106179 | 17540 75053 227864 | 2147483647 106179 234 | 0.000 % |
101.03/101.14 c | 106412 | 17540 75053 227864 | 2147483647 106412 233 | 0.000 % |
101.33/101.50 c | 106669 | 17540 75053 227864 | 2147483647 106669 233 | 0.000 % |
101.72/101.86 c | 106951 | 17540 75053 227864 | 2147483647 106951 233 | 0.000 % |
102.13/102.25 c | 107260 | 17540 75053 227864 | 2147483647 107260 233 | 0.000 % |
102.52/102.67 c | 107601 | 17540 75053 227864 | 2147483647 107601 234 | 0.000 % |
103.02/103.12 c | 107975 | 17540 75053 227864 | 2147483647 107975 233 | 0.000 % |
103.52/103.63 c | 108384 | 17540 75053 227864 | 2147483647 108384 234 | 0.000 % |
104.12/104.20 c | 108833 | 17540 75053 227864 | 2147483647 108833 233 | 0.000 % |
104.73/104.83 c | 109328 | 17540 75053 227864 | 2147483647 109328 234 | 0.000 % |
105.43/105.52 c | 109871 | 17540 75053 227864 | 2147483647 109871 234 | 0.000 % |
106.22/106.31 c | 110467 | 17540 75053 227864 | 2147483647 110467 234 | 0.000 % |
107.02/107.14 c | 111123 | 17540 75053 227864 | 2147483647 111123 234 | 0.000 % |
107.92/108.01 c | 111843 | 17540 75053 227864 | 2147483647 111843 234 | 0.000 % |
108.83/108.97 c | 112635 | 17540 75053 227864 | 2147483647 112635 234 | 0.000 % |
109.82/109.94 c | 113507 | 17540 75053 227864 | 2147483647 113507 235 | 0.000 % |
110.93/111.10 c | 114466 | 17540 75053 227864 | 2147483647 114466 235 | 0.000 % |
112.32/112.44 c | 115519 | 17540 75053 227864 | 2147483647 115519 235 | 0.000 % |
113.71/113.89 c | 116677 | 17540 75053 227864 | 2147483647 116677 236 | 0.000 % |
115.32/115.47 c | 117950 | 17540 75053 227864 | 2147483647 117950 237 | 0.000 % |
115.52/115.63 c | 118050 | 17540 75053 227864 | 2147483647 118050 237 | 0.000 % |
115.62/115.79 c | 118160 | 17540 75053 227864 | 2147483647 118160 237 | 0.000 % |
115.82/115.97 c | 118282 | 17540 75053 227864 | 2147483647 118282 237 | 0.000 % |
116.02/116.15 c | 118417 | 17540 75053 227864 | 2147483647 118417 237 | 0.000 % |
116.22/116.36 c | 118565 | 17540 75053 227864 | 2147483647 118565 237 | 0.000 % |
116.52/116.61 c | 118726 | 17540 75053 227864 | 2147483647 118726 237 | 0.000 % |
116.72/116.85 c | 118903 | 17540 75053 227864 | 2147483647 118903 237 | 0.000 % |
117.01/117.13 c | 119096 | 17540 75053 227864 | 2147483647 119096 237 | 0.000 % |
117.31/117.44 c | 119313 | 17540 75053 227864 | 2147483647 119313 237 | 0.000 % |
117.61/117.79 c | 119547 | 17540 75053 227864 | 2147483647 119547 237 | 0.000 % |
118.02/118.13 c | 119803 | 17540 75053 227864 | 2147483647 119803 237 | 0.000 % |
118.42/118.53 c | 120084 | 17540 75053 227864 | 2147483647 120084 237 | 0.000 % |
118.82/118.97 c | 120395 | 17540 75053 227864 | 2147483647 120395 237 | 0.000 % |
119.32/119.45 c | 120736 | 17540 75053 227864 | 2147483647 120736 237 | 0.000 % |
119.82/119.97 c | 121109 | 17540 75053 227864 | 2147483647 121109 237 | 0.000 % |
120.41/120.53 c | 121518 | 17540 75053 227864 | 2147483647 121518 237 | 0.000 % |
121.01/121.13 c | 121967 | 17540 75053 227864 | 2147483647 121967 237 | 0.000 % |
121.71/121.81 c | 122460 | 17540 75053 227864 | 2147483647 122460 237 | 0.000 % |
122.41/122.50 c | 123002 | 17540 75053 227864 | 2147483647 123002 237 | 0.000 % |
123.22/123.31 c | 123598 | 17540 75053 227864 | 2147483647 123598 237 | 0.000 % |
124.12/124.23 c | 124256 | 17540 75053 227864 | 2147483647 124256 237 | 0.000 % |
125.01/125.18 c | 124977 | 17540 75053 227864 | 2147483647 124977 237 | 0.000 % |
126.11/126.28 c | 125769 | 17540 75053 227864 | 2147483647 125769 237 | 0.000 % |
127.31/127.47 c | 126640 | 17540 75053 227864 | 2147483647 126640 237 | 0.000 % |
128.61/128.78 c | 127599 | 17540 75053 227864 | 2147483647 127599 238 | 0.000 % |
129.90/130.09 c | 128653 | 17540 75053 227864 | 2147483647 128653 238 | 0.000 % |
131.40/131.58 c | 129812 | 17540 75053 227864 | 2147483647 129812 238 | 0.000 % |
133.11/133.25 c | 131085 | 17540 75053 227864 | 2147483647 131085 238 | 0.000 % |
135.00/135.10 c | 132486 | 17540 75053 227864 | 2147483647 132486 239 | 0.000 % |
135.10/135.29 c | 132588 | 17540 75053 227864 | 2147483647 132588 239 | 0.000 % |
135.30/135.48 c | 132698 | 17540 75053 227864 | 2147483647 132698 239 | 0.000 % |
135.50/135.66 c | 132819 | 17540 75053 227864 | 2147483647 132819 239 | 0.000 % |
135.70/135.83 c | 132952 | 17540 75053 227864 | 2147483647 132952 239 | 0.000 % |
135.90/136.09 c | 133099 | 17540 75053 227864 | 2147483647 133099 239 | 0.000 % |
136.20/136.37 c | 133259 | 17540 75053 227864 | 2147483647 133259 239 | 0.000 % |
136.50/136.63 c | 133435 | 17540 75053 227864 | 2147483647 133435 239 | 0.000 % |
136.80/136.92 c | 133628 | 17540 75053 227864 | 2147483647 133628 239 | 0.000 % |
137.10/137.22 c | 133840 | 17540 75053 227864 | 2147483647 133840 239 | 0.000 % |
137.41/137.53 c | 134074 | 17540 75053 227864 | 2147483647 134074 239 | 0.000 % |
137.80/137.91 c | 134331 | 17540 75053 227864 | 2147483647 134331 239 | 0.000 % |
138.20/138.32 c | 134612 | 17540 75053 227864 | 2147483647 134612 239 | 0.000 % |
138.60/138.77 c | 134921 | 17540 75053 227864 | 2147483647 134921 239 | 0.000 % |
139.20/139.32 c | 135265 | 17540 75053 227864 | 2147483647 135265 239 | 0.000 % |
139.70/139.84 c | 135639 | 17540 75053 227864 | 2147483647 135639 239 | 0.000 % |
140.20/140.38 c | 136051 | 17540 75053 227864 | 2147483647 136051 239 | 0.000 % |
140.90/141.06 c | 136501 | 17540 75053 227864 | 2147483647 136501 239 | 0.000 % |
141.60/141.79 c | 136995 | 17540 75053 227864 | 2147483647 136995 239 | 0.000 % |
142.40/142.59 c | 137537 | 17540 75053 227864 | 2147483647 137537 239 | 0.000 % |
143.30/143.44 c | 138135 | 17540 75053 227864 | 2147483647 138135 239 | 0.000 % |
144.20/144.35 c | 138790 | 17540 75053 227864 | 2147483647 138790 239 | 0.000 % |
145.20/145.37 c | 139510 | 17540 75053 227864 | 2147483647 139510 239 | 0.000 % |
146.30/146.46 c | 140305 | 17540 75053 227864 | 2147483647 140305 240 | 0.000 % |
147.49/147.64 c | 141176 | 17540 75053 227864 | 2147483647 141176 240 | 0.000 % |
148.80/148.96 c | 142140 | 17540 75053 227864 | 2147483647 142140 240 | 0.000 % |
150.30/150.44 c | 143193 | 17540 75053 227864 | 2147483647 143193 241 | 0.000 % |
151.90/152.02 c | 144351 | 17540 75053 227864 | 2147483647 144351 241 | 0.000 % |
153.69/153.82 c | 145626 | 17540 75053 227864 | 2147483647 145626 241 | 0.000 % |
155.69/155.82 c | 147027 | 17540 75053 227864 | 2147483647 147027 242 | 0.000 % |
157.90/158.09 c | 148567 | 17540 75053 227864 | 2147483647 148567 243 | 0.000 % |
158.10/158.28 c | 148668 | 17540 75053 227864 | 2147483647 148668 242 | 0.000 % |
158.30/158.46 c | 148778 | 17540 75053 227864 | 2147483647 148778 242 | 0.000 % |
158.50/158.67 c | 148901 | 17540 75053 227864 | 2147483647 148901 242 | 0.000 % |
158.70/158.89 c | 149035 | 17540 75053 227864 | 2147483647 149035 242 | 0.000 % |
159.00/159.16 c | 149181 | 17540 75053 227864 | 2147483647 149181 242 | 0.000 % |
159.30/159.42 c | 149342 | 17540 75053 227864 | 2147483647 149342 242 | 0.000 % |
159.59/159.73 c | 149518 | 17540 75053 227864 | 2147483647 149518 242 | 0.000 % |
159.89/160.07 c | 149712 | 17540 75053 227864 | 2147483647 149712 242 | 0.000 % |
160.19/160.39 c | 149924 | 17540 75053 227864 | 2147483647 149924 242 | 0.000 % |
160.59/160.75 c | 150157 | 17540 75053 227864 | 2147483647 150157 242 | 0.000 % |
160.99/161.16 c | 150413 | 17540 75053 227864 | 2147483647 150413 242 | 0.000 % |
161.49/161.60 c | 150694 | 17540 75053 227864 | 2147483647 150694 242 | 0.000 % |
161.89/162.09 c | 151003 | 17540 75053 227864 | 2147483647 151003 242 | 0.000 % |
162.50/162.63 c | 151342 | 17540 75053 227864 | 2147483647 151342 242 | 0.000 % |
163.10/163.23 c | 151714 | 17540 75053 227864 | 2147483647 151714 242 | 0.000 % |
163.70/163.87 c | 152123 | 17540 75053 227864 | 2147483647 152123 242 | 0.000 % |
164.40/164.55 c | 152572 | 17540 75053 227864 | 2147483647 152572 242 | 0.000 % |
165.19/165.35 c | 153065 | 17540 75053 227864 | 2147483647 153065 242 | 0.000 % |
165.99/166.16 c | 153607 | 17540 75053 227864 | 2147483647 153607 242 | 0.000 % |
166.89/167.10 c | 154204 | 17540 75053 227864 | 2147483647 154204 242 | 0.000 % |
167.79/167.99 c | 154860 | 17540 75053 227864 | 2147483647 154860 242 | 0.000 % |
168.79/168.93 c | 155580 | 17540 75053 227864 | 2147483647 155580 243 | 0.000 % |
169.89/170.09 c | 156373 | 17540 75053 227864 | 2147483647 156373 243 | 0.000 % |
171.19/171.37 c | 157245 | 17540 75053 227864 | 2147483647 157245 243 | 0.000 % |
172.69/172.83 c | 158203 | 17540 75053 227864 | 2147483647 158203 243 | 0.000 % |
174.29/174.43 c | 159256 | 17540 75053 227864 | 2147483647 159256 243 | 0.000 % |
175.99/176.12 c | 160414 | 17540 75053 227864 | 2147483647 160414 244 | 0.000 % |
177.78/177.98 c | 161687 | 17540 75053 227864 | 2147483647 161687 245 | 0.000 % |
179.89/180.06 c | 163089 | 17540 75053 227864 | 2147483647 163089 246 | 0.000 % |
182.28/182.45 c | 164630 | 17540 75053 227864 | 2147483647 164630 246 | 0.000 % |
184.79/184.98 c | 166324 | 17540 75053 227864 | 2147483647 166324 246 | 0.000 % |
184.99/185.16 c | 166425 | 17540 75053 227864 | 2147483647 166425 246 | 0.000 % |
185.19/185.35 c | 166536 | 17540 75053 227864 | 2147483647 166536 246 | 0.000 % |
185.39/185.59 c | 166660 | 17540 75053 227864 | 2147483647 166660 246 | 0.000 % |
185.69/185.83 c | 166793 | 17540 75053 227864 | 2147483647 166793 246 | 0.000 % |
185.89/186.09 c | 166941 | 17540 75053 227864 | 2147483647 166941 246 | 0.000 % |
186.19/186.38 c | 167101 | 17540 75053 227864 | 2147483647 167101 246 | 0.000 % |
186.49/186.69 c | 167278 | 17540 75053 227864 | 2147483647 167278 246 | 0.000 % |
186.79/186.99 c | 167473 | 17540 75053 227864 | 2147483647 167473 246 | 0.000 % |
187.18/187.35 c | 167686 | 17540 75053 227864 | 2147483647 167686 246 | 0.000 % |
187.58/187.75 c | 167919 | 17540 75053 227864 | 2147483647 167919 246 | 0.000 % |
187.99/188.20 c | 168176 | 17540 75053 227864 | 2147483647 168176 246 | 0.000 % |
188.48/188.69 c | 168457 | 17540 75053 227864 | 2147483647 168457 246 | 0.000 % |
189.08/189.23 c | 168767 | 17540 75053 227864 | 2147483647 168767 246 | 0.000 % |
189.68/189.82 c | 169106 | 17540 75053 227864 | 2147483647 169106 246 | 0.000 % |
190.18/190.38 c | 169478 | 17540 75053 227864 | 2147483647 169478 246 | 0.000 % |
190.88/191.02 c | 169887 | 17540 75053 227864 | 2147483647 169887 246 | 0.000 % |
191.68/191.82 c | 170336 | 17540 75053 227864 | 2147483647 170336 246 | 0.000 % |
192.38/192.54 c | 170830 | 17540 75053 227864 | 2147483647 170830 246 | 0.000 % |
193.28/193.48 c | 171373 | 17540 75053 227864 | 2147483647 171373 246 | 0.000 % |
194.28/194.41 c | 171969 | 17540 75053 227864 | 2147483647 171969 246 | 0.000 % |
195.28/195.42 c | 172625 | 17540 75053 227864 | 2147483647 172625 246 | 0.000 % |
196.38/196.52 c | 173347 | 17540 75053 227864 | 2147483647 173347 246 | 0.000 % |
197.67/197.84 c | 174139 | 17540 75053 227864 | 2147483647 174139 246 | 0.000 % |
198.98/199.15 c | 175012 | 17540 75053 227864 | 2147483647 175012 246 | 0.000 % |
200.48/200.64 c | 175970 | 17540 75053 227864 | 2147483647 175970 246 | 0.000 % |
201.98/202.18 c | 177024 | 17540 75053 227864 | 2147483647 177024 247 | 0.000 % |
203.88/204.09 c | 178182 | 17540 75053 227864 | 2147483647 178182 247 | 0.000 % |
205.97/206.10 c | 179457 | 17540 75053 227864 | 2147483647 179457 248 | 0.000 % |
208.18/208.33 c | 180859 | 17540 75053 227864 | 2147483647 180859 248 | 0.000 % |
210.47/210.62 c | 182401 | 17540 75053 227864 | 2147483647 182401 249 | 0.000 % |
213.08/213.23 c | 184095 | 17540 75053 227864 | 2147483647 184095 249 | 0.000 % |
215.97/216.19 c | 185959 | 17540 75053 227864 | 2147483647 185959 250 | 0.000 % |
216.27/216.41 c | 186060 | 17540 75053 227864 | 2147483647 186060 250 | 0.000 % |
216.48/216.63 c | 186170 | 17540 75053 227864 | 2147483647 186170 250 | 0.000 % |
216.67/216.86 c | 186291 | 17540 75053 227864 | 2147483647 186291 250 | 0.000 % |
216.97/217.12 c | 186424 | 17540 75053 227864 | 2147483647 186424 250 | 0.000 % |
217.17/217.38 c | 186571 | 17540 75053 227864 | 2147483647 186571 250 | 0.000 % |
217.57/217.73 c | 186731 | 17540 75053 227864 | 2147483647 186731 249 | 0.000 % |
217.87/218.04 c | 186908 | 17540 75053 227864 | 2147483647 186908 249 | 0.000 % |
218.17/218.39 c | 187103 | 17540 75053 227864 | 2147483647 187103 249 | 0.000 % |
218.57/218.76 c | 187318 | 17540 75053 227864 | 2147483647 187318 249 | 0.000 % |
218.97/219.14 c | 187552 | 17540 75053 227864 | 2147483647 187552 249 | 0.000 % |
219.47/219.60 c | 187809 | 17540 75053 227864 | 2147483647 187809 249 | 0.000 % |
219.97/220.12 c | 188093 | 17540 75053 227864 | 2147483647 188093 249 | 0.000 % |
220.57/220.71 c | 188403 | 17540 75053 227864 | 2147483647 188403 249 | 0.000 % |
221.17/221.36 c | 188743 | 17540 75053 227864 | 2147483647 188743 249 | 0.000 % |
221.77/221.98 c | 189116 | 17540 75053 227864 | 2147483647 189116 249 | 0.000 % |
222.56/222.71 c | 189526 | 17540 75053 227864 | 2147483647 189526 249 | 0.000 % |
223.26/223.47 c | 189975 | 17540 75053 227864 | 2147483647 189975 250 | 0.000 % |
224.17/224.34 c | 190468 | 17540 75053 227864 | 2147483647 190468 249 | 0.000 % |
225.17/225.32 c | 191011 | 17540 75053 227864 | 2147483647 191011 249 | 0.000 % |
226.17/226.31 c | 191607 | 17540 75053 227864 | 2147483647 191607 249 | 0.000 % |
227.17/227.39 c | 192262 | 17540 75053 227864 | 2147483647 192262 249 | 0.000 % |
228.46/228.62 c | 192985 | 17540 75053 227864 | 2147483647 192985 249 | 0.000 % |
229.77/229.95 c | 193778 | 17540 75053 227864 | 2147483647 193778 250 | 0.000 % |
231.16/231.35 c | 194651 | 17540 75053 227864 | 2147483647 194651 250 | 0.000 % |
232.76/232.94 c | 195609 | 17540 75053 227864 | 2147483647 195609 250 | 0.000 % |
234.47/234.69 c | 196664 | 17540 75053 227864 | 2147483647 196664 250 | 0.000 % |
236.37/236.55 c | 197822 | 17540 75053 227864 | 2147483647 197822 250 | 0.000 % |
238.47/238.64 c | 199095 | 17540 75053 227864 | 2147483647 199095 250 | 0.000 % |
240.77/240.97 c | 200496 | 17540 75053 227864 | 2147483647 200496 251 | 0.000 % |
243.26/243.45 c | 202036 | 17540 75053 227864 | 2147483647 202036 251 | 0.000 % |
246.06/246.20 c | 203730 | 17540 75053 227864 | 2147483647 203730 251 | 0.000 % |
249.26/249.43 c | 205593 | 17540 75053 227864 | 2147483647 205593 252 | 0.000 % |
252.76/252.93 c | 207642 | 17540 75053 227864 | 2147483647 207642 252 | 0.000 % |
252.95/253.15 c | 207742 | 17540 75053 227864 | 2147483647 207742 252 | 0.000 % |
253.25/253.40 c | 207852 | 17540 75053 227864 | 2147483647 207852 252 | 0.000 % |
253.45/253.67 c | 207974 | 17540 75053 227864 | 2147483647 207974 252 | 0.000 % |
253.75/253.95 c | 208107 | 17540 75053 227864 | 2147483647 208107 252 | 0.000 % |
254.05/254.25 c | 208254 | 17540 75053 227864 | 2147483647 208254 252 | 0.000 % |
254.35/254.54 c | 208414 | 17540 75053 227864 | 2147483647 208414 252 | 0.000 % |
254.65/254.88 c | 208590 | 17540 75053 227864 | 2147483647 208590 252 | 0.000 % |
255.15/255.31 c | 208784 | 17540 75053 227864 | 2147483647 208784 252 | 0.000 % |
255.55/255.73 c | 208996 | 17540 75053 227864 | 2147483647 208996 252 | 0.000 % |
255.96/256.17 c | 209229 | 17540 75053 227864 | 2147483647 209229 252 | 0.000 % |
256.46/256.65 c | 209485 | 17540 75053 227864 | 2147483647 209485 252 | 0.000 % |
257.06/257.20 c | 209767 | 17540 75053 227864 | 2147483647 209767 252 | 0.000 % |
257.56/257.78 c | 210076 | 17540 75053 227864 | 2147483647 210076 252 | 0.000 % |
258.26/258.42 c | 210415 | 17540 75053 227864 | 2147483647 210415 252 | 0.000 % |
258.96/259.14 c | 210788 | 17540 75053 227864 | 2147483647 210788 252 | 0.000 % |
259.75/259.90 c | 211198 | 17540 75053 227864 | 2147483647 211198 251 | 0.000 % |
260.56/260.74 c | 211649 | 17540 75053 227864 | 2147483647 211649 252 | 0.000 % |
261.45/261.64 c | 212142 | 17540 75053 227864 | 2147483647 212142 252 | 0.000 % |
262.45/262.64 c | 212685 | 17540 75053 227864 | 2147483647 212685 251 | 0.000 % |
263.55/263.74 c | 213282 | 17540 75053 227864 | 2147483647 213282 252 | 0.000 % |
264.75/264.92 c | 213940 | 17540 75053 227864 | 2147483647 213940 252 | 0.000 % |
265.96/266.14 c | 214660 | 17540 75053 227864 | 2147483647 214660 252 | 0.000 % |
267.35/267.56 c | 215453 | 17540 75053 227864 | 2147483647 215453 252 | 0.000 % |
268.95/269.15 c | 216324 | 17540 75053 227864 | 2147483647 216324 252 | 0.000 % |
270.75/270.93 c | 217284 | 17540 75053 227864 | 2147483647 217284 252 | 0.000 % |
272.56/272.76 c | 218337 | 17540 75053 227864 | 2147483647 218337 252 | 0.000 % |
274.55/274.77 c | 219497 | 17540 75053 227864 | 2147483647 219497 252 | 0.000 % |
276.75/276.96 c | 220770 | 17540 75053 227864 | 2147483647 220770 252 | 0.000 % |
279.35/279.55 c | 222170 | 17540 75053 227864 | 2147483647 222170 252 | 0.000 % |
282.04/282.21 c | 223710 | 17540 75053 227864 | 2147483647 223710 253 | 0.000 % |
285.04/285.23 c | 225406 | 17540 75053 227864 | 2147483647 225406 253 | 0.000 % |
288.45/288.65 c | 227269 | 17540 75053 227864 | 2147483647 227269 253 | 0.000 % |
292.14/292.30 c | 229318 | 17540 75053 227864 | 2147483647 229318 254 | 0.000 % |
296.14/296.30 c | 231572 | 17540 75053 227864 | 2147483647 231572 255 | 0.000 % |
296.34/296.53 c | 231674 | 17540 75053 227864 | 2147483647 231674 255 | 0.000 % |
296.54/296.79 c | 231785 | 17540 75053 227864 | 2147483647 231785 255 | 0.000 % |
296.85/297.06 c | 231907 | 17540 75053 227864 | 2147483647 231907 255 | 0.000 % |
297.14/297.36 c | 232040 | 17540 75053 227864 | 2147483647 232040 255 | 0.000 % |
297.54/297.75 c | 232186 | 17540 75053 227864 | 2147483647 232186 255 | 0.000 % |
297.84/298.07 c | 232346 | 17540 75053 227864 | 2147483647 232346 255 | 0.000 % |
298.24/298.43 c | 232522 | 17540 75053 227864 | 2147483647 232522 255 | 0.000 % |
298.65/298.89 c | 232717 | 17540 75053 227864 | 2147483647 232717 255 | 0.000 % |
299.15/299.37 c | 232929 | 17540 75053 227864 | 2147483647 232929 255 | 0.000 % |
299.64/299.87 c | 233166 | 17540 75053 227864 | 2147483647 233166 254 | 0.000 % |
300.15/300.40 c | 233424 | 17540 75053 227864 | 2147483647 233424 254 | 0.000 % |
300.74/300.99 c | 233708 | 17540 75053 227864 | 2147483647 233708 254 | 0.000 % |
301.44/301.63 c | 234017 | 17540 75053 227864 | 2147483647 234017 254 | 0.000 % |
302.04/302.30 c | 234356 | 17540 75053 227864 | 2147483647 234356 254 | 0.000 % |
302.84/303.07 c | 234729 | 17540 75053 227864 | 2147483647 234729 254 | 0.000 % |
303.54/303.77 c | 235138 | 17540 75053 227864 | 2147483647 235138 254 | 0.000 % |
304.44/304.62 c | 235587 | 17540 75053 227864 | 2147483647 235587 254 | 0.000 % |
305.44/305.65 c | 236080 | 17540 75053 227864 | 2147483647 236080 254 | 0.000 % |
306.54/306.80 c | 236623 | 17540 75053 227864 | 2147483647 236623 254 | 0.000 % |
307.75/308.00 c | 237219 | 17540 75053 227864 | 2147483647 237219 254 | 0.000 % |
309.04/309.29 c | 237877 | 17540 75053 227864 | 2147483647 237877 254 | 0.000 % |
310.44/310.62 c | 238597 | 17540 75053 227864 | 2147483647 238597 255 | 0.000 % |
311.93/312.19 c | 239389 | 17540 75053 227864 | 2147483647 239389 254 | 0.000 % |
313.74/313.90 c | 240261 | 17540 75053 227864 | 2147483647 240261 254 | 0.000 % |
315.34/315.57 c | 241219 | 17540 75053 227864 | 2147483647 241219 255 | 0.000 % |
317.33/317.57 c | 242272 | 17540 75053 227864 | 2147483647 242272 255 | 0.000 % |
319.53/319.74 c | 243431 | 17540 75053 227864 | 2147483647 243431 255 | 0.000 % |
321.94/322.20 c | 244704 | 17540 75053 227864 | 2147483647 244704 255 | 0.000 % |
324.63/324.89 c | 246106 | 17540 75053 227864 | 2147483647 246106 255 | 0.000 % |
327.64/327.86 c | 247647 | 17540 75053 227864 | 2147483647 247647 255 | 0.000 % |
330.94/331.12 c | 249342 | 17540 75053 227864 | 2147483647 249342 256 | 0.000 % |
334.53/334.71 c | 251205 | 17540 75053 227864 | 2147483647 251205 256 | 0.000 % |
338.33/338.59 c | 253254 | 17540 75053 227864 | 2147483647 253254 256 | 0.000 % |
342.63/342.84 c | 255508 | 17540 75053 227864 | 2147483647 255508 257 | 0.000 % |
347.33/347.55 c | 257987 | 17540 75053 227864 | 2147483647 257987 257 | 0.000 % |
347.63/347.82 c | 258087 | 17540 75053 227864 | 2147483647 258087 257 | 0.000 % |
347.93/348.13 c | 258197 | 17540 75053 227864 | 2147483647 258197 257 | 0.000 % |
348.23/348.42 c | 258318 | 17540 75053 227864 | 2147483647 258318 257 | 0.000 % |
348.53/348.72 c | 258451 | 17540 75053 227864 | 2147483647 258451 257 | 0.000 % |
348.83/349.09 c | 258597 | 17540 75053 227864 | 2147483647 258597 257 | 0.000 % |
349.23/349.50 c | 258757 | 17540 75053 227864 | 2147483647 258757 257 | 0.000 % |
349.63/349.88 c | 258933 | 17540 75053 227864 | 2147483647 258933 257 | 0.000 % |
350.02/350.29 c | 259130 | 17540 75053 227864 | 2147483647 259130 257 | 0.000 % |
350.52/350.77 c | 259344 | 17540 75053 227864 | 2147483647 259344 257 | 0.000 % |
351.12/351.30 c | 259577 | 17540 75053 227864 | 2147483647 259577 257 | 0.000 % |
351.62/351.85 c | 259834 | 17540 75053 227864 | 2147483647 259834 257 | 0.000 % |
352.32/352.51 c | 260115 | 17540 75053 227864 | 2147483647 260115 257 | 0.000 % |
352.92/353.20 c | 260424 | 17540 75053 227864 | 2147483647 260424 257 | 0.000 % |
353.73/353.97 c | 260765 | 17540 75053 227864 | 2147483647 260765 257 | 0.000 % |
354.53/354.76 c | 261139 | 17540 75053 227864 | 2147483647 261139 257 | 0.000 % |
355.42/355.64 c | 261549 | 17540 75053 227864 | 2147483647 261549 257 | 0.000 % |
356.42/356.64 c | 261999 | 17540 75053 227864 | 2147483647 261999 257 | 0.000 % |
357.52/357.73 c | 262492 | 17540 75053 227864 | 2147483647 262492 257 | 0.000 % |
358.52/358.80 c | 263034 | 17540 75053 227864 | 2147483647 263034 257 | 0.000 % |
359.91/360.10 c | 263630 | 17540 75053 227864 | 2147483647 263630 257 | 0.000 % |
361.32/361.54 c | 264285 | 17540 75053 227864 | 2147483647 264285 257 | 0.000 % |
362.82/363.07 c | 265005 | 17540 75053 227864 | 2147483647 265005 257 | 0.000 % |
364.51/364.79 c | 265798 | 17540 75053 227864 | 2147483647 265798 257 | 0.000 % |
366.32/366.58 c | 266670 | 17540 75053 227864 | 2147483647 266670 257 | 0.000 % |
368.32/368.52 c | 267628 | 17540 75053 227864 | 2147483647 267628 257 | 0.000 % |
370.42/370.65 c | 268683 | 17540 75053 227864 | 2147483647 268683 257 | 0.000 % |
372.81/373.04 c | 269841 | 17540 75053 227864 | 2147483647 269841 257 | 0.000 % |
375.51/375.76 c | 271114 | 17540 75053 227864 | 2147483647 271114 257 | 0.000 % |
378.41/378.67 c | 272514 | 17540 75053 227864 | 2147483647 272514 258 | 0.000 % |
381.71/381.93 c | 274055 | 17540 75053 227864 | 2147483647 274055 258 | 0.000 % |
385.21/385.44 c | 275749 | 17540 75053 227864 | 2147483647 275749 258 | 0.000 % |
388.71/388.95 c | 277612 | 17540 75053 227864 | 2147483647 277612 258 | 0.000 % |
392.90/393.11 c | 279662 | 17540 75053 227864 | 2147483647 279662 259 | 0.000 % |
397.41/397.60 c | 281915 | 17540 75053 227864 | 2147483647 281915 259 | 0.000 % |
402.21/402.44 c | 284393 | 17540 75053 227864 | 2147483647 284393 260 | 0.000 % |
407.91/408.17 c | 287118 | 17540 75053 227864 | 2147483647 287118 260 | 0.000 % |
408.20/408.46 c | 287218 | 17540 75053 227864 | 2147483647 287218 260 | 0.000 % |
408.50/408.76 c | 287329 | 17540 75053 227864 | 2147483647 287329 260 | 0.000 % |
408.80/409.07 c | 287450 | 17540 75053 227864 | 2147483647 287450 260 | 0.000 % |
409.20/409.46 c | 287583 | 17540 75053 227864 | 2147483647 287583 260 | 0.000 % |
409.60/409.89 c | 287729 | 17540 75053 227864 | 2147483647 287729 260 | 0.000 % |
410.00/410.26 c | 287889 | 17540 75053 227864 | 2147483647 287889 260 | 0.000 % |
410.50/410.73 c | 288066 | 17540 75053 227864 | 2147483647 288066 260 | 0.000 % |
411.00/411.22 c | 288261 | 17540 75053 227864 | 2147483647 288261 260 | 0.000 % |
411.50/411.70 c | 288473 | 17540 75053 227864 | 2147483647 288473 260 | 0.000 % |
412.00/412.26 c | 288707 | 17540 75053 227864 | 2147483647 288707 260 | 0.000 % |
412.70/412.90 c | 288964 | 17540 75053 227864 | 2147483647 288964 260 | 0.000 % |
413.31/413.57 c | 289245 | 17540 75053 227864 | 2147483647 289245 260 | 0.000 % |
414.10/414.35 c | 289554 | 17540 75053 227864 | 2147483647 289554 259 | 0.000 % |
414.90/415.18 c | 289894 | 17540 75053 227864 | 2147483647 289894 259 | 0.000 % |
415.70/415.98 c | 290266 | 17540 75053 227864 | 2147483647 290266 259 | 0.000 % |
416.70/416.92 c | 290675 | 17540 75053 227864 | 2147483647 290675 259 | 0.000 % |
417.60/417.89 c | 291131 | 17540 75053 227864 | 2147483647 291131 259 | 0.000 % |
418.80/419.03 c | 291625 | 17540 75053 227864 | 2147483647 291625 259 | 0.000 % |
420.01/420.28 c | 292168 | 17540 75053 227864 | 2147483647 292168 259 | 0.000 % |
421.40/421.64 c | 292768 | 17540 75053 227864 | 2147483647 292768 259 | 0.000 % |
422.70/422.98 c | 293423 | 17540 75053 227864 | 2147483647 293423 259 | 0.000 % |
424.30/424.53 c | 294146 | 17540 75053 227864 | 2147483647 294146 260 | 0.000 % |
425.99/426.22 c | 294938 | 17540 75053 227864 | 2147483647 294938 260 | 0.000 % |
427.90/428.14 c | 295809 | 17540 75053 227864 | 2147483647 295809 260 | 0.000 % |
430.00/430.22 c | 296767 | 17540 75053 227864 | 2147483647 296767 260 | 0.000 % |
432.29/432.58 c | 297822 | 17540 75053 227864 | 2147483647 297822 260 | 0.000 % |
434.79/435.02 c | 298981 | 17540 75053 227864 | 2147483647 298981 260 | 0.000 % |
437.39/437.64 c | 300254 | 17540 75053 227864 | 2147483647 300254 260 | 0.000 % |
440.39/440.66 c | 301655 | 17540 75053 227864 | 2147483647 301655 260 | 0.000 % |
443.79/444.01 c | 303196 | 17540 75053 227864 | 2147483647 303196 260 | 0.000 % |
447.19/447.49 c | 304890 | 17540 75053 227864 | 2147483647 304890 260 | 0.000 % |
451.09/451.37 c | 306753 | 17540 75053 227864 | 2147483647 306753 260 | 0.000 % |
455.59/455.85 c | 308802 | 17540 75053 227864 | 2147483647 308802 260 | 0.000 % |
460.29/460.55 c | 311057 | 17540 75053 227864 | 2147483647 311057 261 | 0.000 % |
465.78/466.08 c | 313535 | 17540 75053 227864 | 2147483647 313535 261 | 0.000 % |
471.88/472.14 c | 316260 | 17540 75053 227864 | 2147483647 316260 261 | 0.000 % |
478.28/478.58 c | 319258 | 17540 75053 227864 | 2147483647 319258 261 | 0.000 % |
478.57/478.85 c | 319362 | 17540 75053 227864 | 2147483647 319362 261 | 0.000 % |
478.88/479.19 c | 319473 | 17540 75053 227864 | 2147483647 319473 261 | 0.000 % |
479.28/479.55 c | 319594 | 17540 75053 227864 | 2147483647 319594 261 | 0.000 % |
479.68/479.92 c | 319728 | 17540 75053 227864 | 2147483647 319728 261 | 0.000 % |
480.08/480.33 c | 319875 | 17540 75053 227864 | 2147483647 319875 261 | 0.000 % |
480.48/480.71 c | 320035 | 17540 75053 227864 | 2147483647 320035 261 | 0.000 % |
480.98/481.29 c | 320211 | 17540 75053 227864 | 2147483647 320211 261 | 0.000 % |
481.58/481.84 c | 320404 | 17540 75053 227864 | 2147483647 320404 260 | 0.000 % |
482.08/482.38 c | 320616 | 17540 75053 227864 | 2147483647 320616 260 | 0.000 % |
482.77/483.05 c | 320851 | 17540 75053 227864 | 2147483647 320851 260 | 0.000 % |
483.47/483.70 c | 321108 | 17540 75053 227864 | 2147483647 321108 260 | 0.000 % |
484.17/484.43 c | 321389 | 17540 75053 227864 | 2147483647 321389 260 | 0.000 % |
484.97/485.20 c | 321700 | 17540 75053 227864 | 2147483647 321700 260 | 0.000 % |
485.78/486.08 c | 322040 | 17540 75053 227864 | 2147483647 322040 260 | 0.000 % |
486.88/487.13 c | 322414 | 17540 75053 227864 | 2147483647 322414 260 | 0.000 % |
487.88/488.17 c | 322823 | 17540 75053 227864 | 2147483647 322823 260 | 0.000 % |
488.97/489.22 c | 323272 | 17540 75053 227864 | 2147483647 323272 260 | 0.000 % |
490.17/490.42 c | 323768 | 17540 75053 227864 | 2147483647 323768 260 | 0.000 % |
491.38/491.70 c | 324310 | 17540 75053 227864 | 2147483647 324310 260 | 0.000 % |
492.87/493.12 c | 324906 | 17540 75053 227864 | 2147483647 324906 260 | 0.000 % |
494.38/494.60 c | 325562 | 17540 75053 227864 | 2147483647 325562 260 | 0.000 % |
496.07/496.33 c | 326282 | 17540 75053 227864 | 2147483647 326282 260 | 0.000 % |
498.08/498.33 c | 327074 | 17540 75053 227864 | 2147483647 327074 260 | 0.000 % |
499.97/500.22 c | 327946 | 17540 75053 227864 | 2147483647 327946 260 | 0.000 % |
502.16/502.46 c | 328904 | 17540 75053 227864 | 2147483647 328904 260 | 0.000 % |
504.27/504.60 c | 329957 | 17540 75053 227864 | 2147483647 329957 260 | 0.000 % |
507.17/507.42 c | 331117 | 17540 75053 227864 | 2147483647 331117 260 | 0.000 % |
510.17/510.49 c | 332392 | 17540 75053 227864 | 2147483647 332392 260 | 0.000 % |
513.56/513.85 c | 333792 | 17540 75053 227864 | 2147483647 333792 260 | 0.000 % |
517.06/517.30 c | 335333 | 17540 75053 227864 | 2147483647 335333 260 | 0.000 % |
520.96/521.27 c | 337028 | 17540 75053 227864 | 2147483647 337028 260 | 0.000 % |
525.36/525.67 c | 338892 | 17540 75053 227864 | 2147483647 338892 260 | 0.000 % |
530.16/530.48 c | 340941 | 17540 75053 227864 | 2147483647 340941 261 | 0.000 % |
535.16/535.41 c | 343194 | 17540 75053 227864 | 2147483647 343194 261 | 0.000 % |
540.65/540.96 c | 345672 | 17540 75053 227864 | 2147483647 345672 261 | 0.000 % |
547.36/547.67 c | 348398 | 17540 75053 227864 | 2147483647 348398 262 | 0.000 % |
554.25/554.59 c | 351395 | 17540 75053 227864 | 2147483647 351395 262 | 0.000 % |
561.55/561.88 c | 354691 | 17540 75053 227864 | 2147483647 354691 263 | 0.000 % |
561.85/562.17 c | 354794 | 17540 75053 227864 | 2147483647 354794 263 | 0.000 % |
562.25/562.51 c | 354906 | 17540 75053 227864 | 2147483647 354906 263 | 0.000 % |
562.55/562.89 c | 355027 | 17540 75053 227864 | 2147483647 355027 263 | 0.000 % |
563.05/563.34 c | 355162 | 17540 75053 227864 | 2147483647 355162 263 | 0.000 % |
563.45/563.76 c | 355310 | 17540 75053 227864 | 2147483647 355310 263 | 0.000 % |
563.95/564.28 c | 355472 | 17540 75053 227864 | 2147483647 355472 263 | 0.000 % |
564.54/564.84 c | 355648 | 17540 75053 227864 | 2147483647 355648 263 | 0.000 % |
565.06/565.39 c | 355841 | 17540 75053 227864 | 2147483647 355841 263 | 0.000 % |
565.75/566.05 c | 356054 | 17540 75053 227864 | 2147483647 356054 262 | 0.000 % |
566.45/566.70 c | 356288 | 17540 75053 227864 | 2147483647 356288 262 | 0.000 % |
567.05/567.38 c | 356545 | 17540 75053 227864 | 2147483647 356545 262 | 0.000 % |
567.85/568.14 c | 356827 | 17540 75053 227864 | 2147483647 356827 262 | 0.000 % |
568.85/569.13 c | 357136 | 17540 75053 227864 | 2147483647 357136 262 | 0.000 % |
569.74/570.03 c | 357477 | 17540 75053 227864 | 2147483647 357477 262 | 0.000 % |
570.65/570.99 c | 357851 | 17540 75053 227864 | 2147483647 357851 262 | 0.000 % |
571.84/572.11 c | 358260 | 17540 75053 227864 | 2147483647 358260 262 | 0.000 % |
573.04/573.34 c | 358709 | 17540 75053 227864 | 2147483647 358709 262 | 0.000 % |
574.25/574.59 c | 359207 | 17540 75053 227864 | 2147483647 359207 262 | 0.000 % |
575.75/576.00 c | 359752 | 17540 75053 227864 | 2147483647 359752 262 | 0.000 % |
577.04/577.35 c | 360349 | 17540 75053 227864 | 2147483647 360349 262 | 0.000 % |
578.74/579.01 c | 361004 | 17540 75053 227864 | 2147483647 361004 262 | 0.000 % |
580.74/581.08 c | 361724 | 17540 75053 227864 | 2147483647 361724 262 | 0.000 % |
582.64/582.97 c | 362517 | 17540 75053 227864 | 2147483647 362517 262 | 0.000 % |
584.95/585.24 c | 363390 | 17540 75053 227864 | 2147483647 363390 262 | 0.000 % |
587.34/587.60 c | 364348 | 17540 75053 227864 | 2147483647 364348 262 | 0.000 % |
589.94/590.20 c | 365402 | 17540 75053 227864 | 2147483647 365402 262 | 0.000 % |
592.84/593.17 c | 366560 | 17540 75053 227864 | 2147483647 366560 262 | 0.000 % |
595.94/596.26 c | 367835 | 17540 75053 227864 | 2147483647 367835 263 | 0.000 % |
599.43/599.70 c | 369237 | 17540 75053 227864 | 2147483647 369237 262 | 0.000 % |
603.43/603.71 c | 370779 | 17540 75053 227864 | 2147483647 370779 262 | 0.000 % |
607.53/607.83 c | 372474 | 17540 75053 227864 | 2147483647 372474 262 | 0.000 % |
612.03/612.37 c | 374337 | 17540 75053 227864 | 2147483647 374337 263 | 0.000 % |
617.13/617.46 c | 376386 | 17540 75053 227864 | 2147483647 376386 263 | 0.000 % |
622.42/622.73 c | 378639 | 17540 75053 227864 | 2147483647 378639 263 | 0.000 % |
628.62/628.98 c | 381118 | 17540 75053 227864 | 2147483647 381118 264 | 0.000 % |
635.02/635.32 c | 383843 | 17540 75053 227864 | 2147483647 383843 264 | 0.000 % |
642.62/642.93 c | 386840 | 17540 75053 227864 | 2147483647 386840 265 | 0.000 % |
650.71/651.09 c | 390136 | 17540 75053 227864 | 2147483647 390136 265 | 0.000 % |
659.31/659.63 c | 393761 | 17540 75053 227864 | 2147483647 393761 266 | 0.000 % |
659.62/659.94 c | 393861 | 17540 75053 227864 | 2147483647 393861 266 | 0.000 % |
660.01/660.31 c | 393971 | 17540 75053 227864 | 2147483647 393971 266 | 0.000 % |
660.31/660.70 c | 394092 | 17540 75053 227864 | 2147483647 394092 266 | 0.000 % |
660.91/661.21 c | 394226 | 17540 75053 227864 | 2147483647 394226 266 | 0.000 % |
661.41/661.72 c | 394372 | 17540 75053 227864 | 2147483647 394372 266 | 0.000 % |
661.91/662.25 c | 394533 | 17540 75053 227864 | 2147483647 394533 266 | 0.000 % |
662.51/662.87 c | 394709 | 17540 75053 227864 | 2147483647 394709 266 | 0.000 % |
663.21/663.52 c | 394903 | 17540 75053 227864 | 2147483647 394903 266 | 0.000 % |
663.81/664.18 c | 395117 | 17540 75053 227864 | 2147483647 395117 266 | 0.000 % |
664.61/664.90 c | 395351 | 17540 75053 227864 | 2147483647 395351 266 | 0.000 % |
665.31/665.66 c | 395608 | 17540 75053 227864 | 2147483647 395608 266 | 0.000 % |
666.21/666.52 c | 395890 | 17540 75053 227864 | 2147483647 395890 266 | 0.000 % |
667.01/667.39 c | 396199 | 17540 75053 227864 | 2147483647 396199 266 | 0.000 % |
668.10/668.43 c | 396538 | 17540 75053 227864 | 2147483647 396538 266 | 0.000 % |
669.20/669.57 c | 396911 | 17540 75053 227864 | 2147483647 396911 266 | 0.000 % |
670.41/670.76 c | 397320 | 17540 75053 227864 | 2147483647 397320 266 | 0.000 % |
671.72/672.02 c | 397769 | 17540 75053 227864 | 2147483647 397769 266 | 0.000 % |
673.01/673.35 c | 398263 | 17540 75053 227864 | 2147483647 398263 266 | 0.000 % |
674.51/674.82 c | 398805 | 17540 75053 227864 | 2147483647 398805 266 | 0.000 % |
676.21/676.56 c | 399404 | 17540 75053 227864 | 2147483647 399404 266 | 0.000 % |
678.00/678.31 c | 400059 | 17540 75053 227864 | 2147483647 400059 266 | 0.000 % |
680.00/680.39 c | 400779 | 17540 75053 227864 | 2147483647 400779 266 | 0.000 % |
682.21/682.56 c | 401571 | 17540 75053 227864 | 2147483647 401571 266 | 0.000 % |
684.60/684.98 c | 402444 | 17540 75053 227864 | 2147483647 402444 266 | 0.000 % |
687.21/687.57 c | 403402 | 17540 75053 227864 | 2147483647 403402 266 | 0.000 % |
690.10/690.44 c | 404459 | 17540 75053 227864 | 2147483647 404459 266 | 0.000 % |
693.30/693.69 c | 405617 | 17540 75053 227864 | 2147483647 405617 266 | 0.000 % |
696.80/697.15 c | 406890 | 17540 75053 227864 | 2147483647 406890 266 | 0.000 % |
700.60/700.94 c | 408291 | 17540 75053 227864 | 2147483647 408291 266 | 0.000 % |
704.70/705.02 c | 409833 | 17540 75053 227864 | 2147483647 409833 266 | 0.000 % |
709.39/709.70 c | 411527 | 17540 75053 227864 | 2147483647 411527 266 | 0.000 % |
714.49/714.84 c | 413392 | 17540 75053 227864 | 2147483647 413392 266 | 0.000 % |
719.79/720.12 c | 415443 | 17540 75053 227864 | 2147483647 415443 267 | 0.000 % |
725.59/725.94 c | 417696 | 17540 75053 227864 | 2147483647 417696 267 | 0.000 % |
732.08/732.41 c | 420174 | 17540 75053 227864 | 2147483647 420174 267 | 0.000 % |
738.79/739.16 c | 422900 | 17540 75053 227864 | 2147483647 422900 267 | 0.000 % |
746.58/746.99 c | 425898 | 17540 75053 227864 | 2147483647 425898 267 | 0.000 % |
755.18/755.58 c | 429194 | 17540 75053 227864 | 2147483647 429194 268 | 0.000 % |
764.67/765.07 c | 432819 | 17540 75053 227864 | 2147483647 432819 268 | 0.000 % |
775.18/775.58 c | 436806 | 17540 75053 227864 | 2147483647 436806 270 | 0.000 % |
775.58/775.92 c | 436906 | 17540 75053 227864 | 2147483647 436906 270 | 0.000 % |
775.97/776.33 c | 437016 | 17540 75053 227864 | 2147483647 437016 270 | 0.000 % |
776.47/776.89 c | 437137 | 17540 75053 227864 | 2147483647 437137 270 | 0.000 % |
776.97/777.36 c | 437270 | 17540 75053 227864 | 2147483647 437270 270 | 0.000 % |
777.47/777.87 c | 437416 | 17540 75053 227864 | 2147483647 437416 270 | 0.000 % |
778.07/778.43 c | 437576 | 17540 75053 227864 | 2147483647 437576 270 | 0.000 % |
778.77/779.15 c | 437752 | 17540 75053 227864 | 2147483647 437752 270 | 0.000 % |
779.48/779.86 c | 437945 | 17540 75053 227864 | 2147483647 437945 270 | 0.000 % |
780.17/780.58 c | 438157 | 17540 75053 227864 | 2147483647 438157 270 | 0.000 % |
780.97/781.36 c | 438391 | 17540 75053 227864 | 2147483647 438391 270 | 0.000 % |
781.77/782.17 c | 438649 | 17540 75053 227864 | 2147483647 438649 270 | 0.000 % |
782.67/783.09 c | 438930 | 17540 75053 227864 | 2147483647 438930 270 | 0.000 % |
783.77/784.12 c | 439239 | 17540 75053 227864 | 2147483647 439239 270 | 0.000 % |
784.76/785.18 c | 439578 | 17540 75053 227864 | 2147483647 439578 270 | 0.000 % |
785.96/786.36 c | 439950 | 17540 75053 227864 | 2147483647 439950 269 | 0.000 % |
787.27/787.65 c | 440360 | 17540 75053 227864 | 2147483647 440360 269 | 0.000 % |
788.67/789.04 c | 440812 | 17540 75053 227864 | 2147483647 440812 269 | 0.000 % |
790.06/790.46 c | 441305 | 17540 75053 227864 | 2147483647 441305 269 | 0.000 % |
791.67/792.04 c | 441850 | 17540 75053 227864 | 2147483647 441850 269 | 0.000 % |
793.67/794.02 c | 442447 | 17540 75053 227864 | 2147483647 442447 269 | 0.000 % |
795.57/795.99 c | 443102 | 17540 75053 227864 | 2147483647 443102 269 | 0.000 % |
797.76/798.19 c | 443823 | 17540 75053 227864 | 2147483647 443823 269 | 0.000 % |
800.16/800.53 c | 444615 | 17540 75053 227864 | 2147483647 444615 269 | 0.000 % |
802.86/803.23 c | 445486 | 17540 75053 227864 | 2147483647 445486 269 | 0.000 % |
805.46/805.89 c | 446446 | 17540 75053 227864 | 2147483647 446446 269 | 0.000 % |
808.66/809.00 c | 447500 | 17540 75053 227864 | 2147483647 447500 269 | 0.000 % |
812.26/812.68 c | 448659 | 17540 75053 227864 | 2147483647 448659 269 | 0.000 % |
816.06/816.44 c | 449932 | 17540 75053 227864 | 2147483647 449932 269 | 0.000 % |
820.26/820.62 c | 451336 | 17540 75053 227864 | 2147483647 451336 269 | 0.000 % |
824.56/825.00 c | 452876 | 17540 75053 227864 | 2147483647 452876 269 | 0.000 % |
829.55/829.99 c | 454571 | 17540 75053 227864 | 2147483647 454571 270 | 0.000 % |
835.15/835.54 c | 456435 | 17540 75053 227864 | 2147483647 456435 270 | 0.000 % |
840.75/841.18 c | 458484 | 17540 75053 227864 | 2147483647 458484 270 | 0.000 % |
847.45/847.83 c | 460738 | 17540 75053 227864 | 2147483647 460738 270 | 0.000 % |
854.35/854.78 c | 463216 | 17540 75053 227864 | 2147483647 463216 270 | 0.000 % |
862.34/862.76 c | 465943 | 17540 75053 227864 | 2147483647 465943 270 | 0.000 % |
870.64/871.05 c | 468940 | 17540 75053 227864 | 2147483647 468940 271 | 0.000 % |
879.73/880.16 c | 472236 | 17540 75053 227864 | 2147483647 472236 271 | 0.000 % |
889.83/890.22 c | 475861 | 17540 75053 227864 | 2147483647 475861 272 | 0.000 % |
901.02/901.40 c | 479848 | 17540 75053 227864 | 2147483647 479848 272 | 0.000 % |
913.02/913.40 c | 484233 | 17540 75053 227864 | 2147483647 484233 272 | 0.000 % |
913.42/913.81 c | 484333 | 17540 75053 227864 | 2147483647 484333 272 | 0.000 % |
913.82/914.22 c | 484444 | 17540 75053 227864 | 2147483647 484444 272 | 0.000 % |
914.32/914.76 c | 484566 | 17540 75053 227864 | 2147483647 484566 272 | 0.000 % |
914.92/915.36 c | 484701 | 17540 75053 227864 | 2147483647 484701 272 | 0.000 % |
915.41/915.88 c | 484847 | 17540 75053 227864 | 2147483647 484847 272 | 0.000 % |
916.01/916.49 c | 485007 | 17540 75053 227864 | 2147483647 485007 272 | 0.000 % |
916.61/917.09 c | 485183 | 17540 75053 227864 | 2147483647 485183 272 | 0.000 % |
917.41/917.88 c | 485376 | 17540 75053 227864 | 2147483647 485376 272 | 0.000 % |
918.21/918.65 c | 485588 | 17540 75053 227864 | 2147483647 485588 272 | 0.000 % |
919.01/919.49 c | 485821 | 17540 75053 227864 | 2147483647 485821 272 | 0.000 % |
919.91/920.36 c | 486078 | 17540 75053 227864 | 2147483647 486078 272 | 0.000 % |
920.91/921.36 c | 486360 | 17540 75053 227864 | 2147483647 486360 272 | 0.000 % |
922.11/922.55 c | 486669 | 17540 75053 227864 | 2147483647 486669 272 | 0.000 % |
923.31/923.79 c | 487008 | 17540 75053 227864 | 2147483647 487008 272 | 0.000 % |
924.71/925.18 c | 487380 | 17540 75053 227864 | 2147483647 487380 272 | 0.000 % |
926.11/926.56 c | 487789 | 17540 75053 227864 | 2147483647 487789 272 | 0.000 % |
927.61/928.06 c | 488238 | 17540 75053 227864 | 2147483647 488238 272 | 0.000 % |
929.21/929.69 c | 488733 | 17540 75053 227864 | 2147483647 488733 272 | 0.000 % |
931.01/931.42 c | 489275 | 17540 75053 227864 | 2147483647 489275 272 | 0.000 % |
932.90/933.35 c | 489871 | 17540 75053 227864 | 2147483647 489871 272 | 0.000 % |
935.01/935.47 c | 490526 | 17540 75053 227864 | 2147483647 490526 272 | 0.000 % |
937.41/937.81 c | 491248 | 17540 75053 227864 | 2147483647 491248 272 | 0.000 % |
939.81/940.28 c | 492040 | 17540 75053 227864 | 2147483647 492040 272 | 0.000 % |
942.80/943.25 c | 492912 | 17540 75053 227864 | 2147483647 492912 272 | 0.000 % |
945.90/946.31 c | 493872 | 17540 75053 227864 | 2147483647 493872 272 | 0.000 % |
948.99/949.47 c | 494925 | 17540 75053 227864 | 2147483647 494925 272 | 0.000 % |
952.10/952.57 c | 496083 | 17540 75053 227864 | 2147483647 496083 272 | 0.000 % |
956.19/956.65 c | 497356 | 17540 75053 227864 | 2147483647 497356 272 | 0.000 % |
960.29/960.77 c | 498757 | 17540 75053 227864 | 2147483647 498757 272 | 0.000 % |
965.19/965.63 c | 500297 | 17540 75053 227864 | 2147483647 500297 272 | 0.000 % |
970.69/971.16 c | 501991 | 17540 75053 227864 | 2147483647 501991 272 | 0.000 % |
976.49/976.93 c | 503854 | 17540 75053 227864 | 2147483647 503854 272 | 0.000 % |
982.48/982.91 c | 505903 | 17540 75053 227864 | 2147483647 505903 272 | 0.000 % |
989.08/989.56 c | 508158 | 17540 75053 227864 | 2147483647 508158 272 | 0.000 % |
996.38/996.88 c | 510638 | 17540 75053 227864 | 2147483647 510638 273 | 0.000 % |
1004.78/1005.28 c | 513364 | 17540 75053 227864 | 2147483647 513364 273 | 0.000 % |
1014.08/1014.52 c | 516361 | 17540 75053 227864 | 2147483647 516361 274 | 0.000 % |
1024.38/1024.80 c | 519657 | 17540 75053 227864 | 2147483647 519657 274 | 0.000 % |
1035.67/1036.13 c | 523283 | 17540 75053 227864 | 2147483647 523283 274 | 0.000 % |
1047.37/1047.89 c | 527270 | 17540 75053 227864 | 2147483647 527270 274 | 0.000 % |
1061.26/1061.75 c | 531655 | 17540 75053 227864 | 2147483647 531655 275 | 0.000 % |
1076.46/1076.90 c | 536478 | 17540 75053 227864 | 2147483647 536478 275 | 0.000 % |
1076.86/1077.30 c | 536581 | 17540 75053 227864 | 2147483647 536581 275 | 0.000 % |
1077.46/1077.91 c | 536694 | 17540 75053 227864 | 2147483647 536694 275 | 0.000 % |
1077.96/1078.44 c | 536815 | 17540 75053 227864 | 2147483647 536815 275 | 0.000 % |
1078.46/1078.99 c | 536948 | 17540 75053 227864 | 2147483647 536948 275 | 0.000 % |
1079.16/1079.63 c | 537095 | 17540 75053 227864 | 2147483647 537095 275 | 0.000 % |
1079.85/1080.38 c | 537255 | 17540 75053 227864 | 2147483647 537255 275 | 0.000 % |
1080.65/1081.10 c | 537431 | 17540 75053 227864 | 2147483647 537431 275 | 0.000 % |
1081.35/1081.86 c | 537624 | 17540 75053 227864 | 2147483647 537624 275 | 0.000 % |
1082.25/1082.76 c | 537836 | 17540 75053 227864 | 2147483647 537836 275 | 0.000 % |
1083.25/1083.73 c | 538070 | 17540 75053 227864 | 2147483647 538070 275 | 0.000 % |
1084.25/1084.73 c | 538328 | 17540 75053 227864 | 2147483647 538328 275 | 0.000 % |
1085.25/1085.79 c | 538612 | 17540 75053 227864 | 2147483647 538612 275 | 0.000 % |
1086.56/1087.03 c | 538921 | 17540 75053 227864 | 2147483647 538921 275 | 0.000 % |
1087.75/1088.28 c | 539261 | 17540 75053 227864 | 2147483647 539261 275 | 0.000 % |
1089.15/1089.64 c | 539634 | 17540 75053 227864 | 2147483647 539634 275 | 0.000 % |
1090.66/1091.14 c | 540043 | 17540 75053 227864 | 2147483647 540043 275 | 0.000 % |
1092.35/1092.88 c | 540493 | 17540 75053 227864 | 2147483647 540493 275 | 0.000 % |
1094.05/1094.54 c | 540988 | 17540 75053 227864 | 2147483647 540988 275 | 0.000 % |
1095.65/1096.12 c | 541531 | 17540 75053 227864 | 2147483647 541531 275 | 0.000 % |
1097.85/1098.35 c | 542129 | 17540 75053 227864 | 2147483647 542129 275 | 0.000 % |
1100.15/1100.68 c | 542784 | 17540 75053 227864 | 2147483647 542784 275 | 0.000 % |
1102.64/1103.12 c | 543504 | 17540 75053 227864 | 2147483647 543504 275 | 0.000 % |
1105.55/1106.02 c | 544297 | 17540 75053 227864 | 2147483647 544297 275 | 0.000 % |
1108.65/1109.15 c | 545168 | 17540 75053 227864 | 2147483647 545168 275 | 0.000 % |
1111.84/1112.33 c | 546128 | 17540 75053 227864 | 2147483647 546128 275 | 0.000 % |
1115.25/1115.76 c | 547181 | 17540 75053 227864 | 2147483647 547181 275 | 0.000 % |
1119.25/1119.72 c | 548339 | 17540 75053 227864 | 2147483647 548339 275 | 0.000 % |
1123.65/1124.19 c | 549612 | 17540 75053 227864 | 2147483647 549612 275 | 0.000 % |
1128.34/1128.82 c | 551013 | 17540 75053 227864 | 2147483647 551013 275 | 0.000 % |
1133.64/1134.12 c | 552553 | 17540 75053 227864 | 2147483647 552553 275 | 0.000 % |
1139.24/1139.75 c | 554247 | 17540 75053 227864 | 2147483647 554247 275 | 0.000 % |
1145.44/1145.94 c | 556110 | 17540 75053 227864 | 2147483647 556110 275 | 0.000 % |
1152.03/1152.51 c | 558160 | 17540 75053 227864 | 2147483647 558160 275 | 0.000 % |
1159.33/1159.84 c | 560414 | 17540 75053 227864 | 2147483647 560414 275 | 0.000 % |
1167.12/1167.62 c | 562892 | 17540 75053 227864 | 2147483647 562892 276 | 0.000 % |
1175.93/1176.44 c | 565618 | 17540 75053 227864 | 2147483647 565618 276 | 0.000 % |
1185.42/1185.97 c | 568619 | 17540 75053 227864 | 2147483647 568619 276 | 0.000 % |
1195.72/1196.20 c | 571915 | 17540 75053 227864 | 2147483647 571915 277 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832783-1242787575/watcher-1832783-1242787575 -o /tmp/evaluation-result-1832783-1242787575/solver-1832783-1242787575 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832783-1242787575.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13701
/proc/meminfo: memFree=1788432/2055920 swapFree=4180836/4192956
[pid=13701] ppid=13699 vsize=5356 CPUtime=0
/proc/13701/stat : 13701 (SatELiteGTI) S 13699 13701 13068 0 -1 4194304 276 0 0 0 0 0 0 0 16 0 1 0 306790541 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 269028655186 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/13701/statm: 1339 235 195 169 0 50 0
[pid=13702] ppid=13701 vsize=5356 CPUtime=0
/proc/13702/stat : 13702 (SatELiteGTI) R 13701 13701 13068 0 -1 4194368 51 25 0 0 0 0 0 0 21 0 1 0 306790541 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/13702/statm: 1339 238 198 169 0 50 0
[pid=13704] ppid=13702 vsize=0 CPUtime=0
/proc/13704/stat : 13704 (sed) Z 13702 13701 13068 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 306790541 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/13704/statm: 0 0 0 0 0 0 0
[startup+0.0377509 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13701
/proc/meminfo: memFree=1788432/2055920 swapFree=4180836/4192956
[pid=13701] ppid=13699 vsize=5356 CPUtime=0
/proc/13701/stat : 13701 (SatELiteGTI) S 13699 13701 13068 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306790541 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13701/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101744 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13701
/proc/meminfo: memFree=1788432/2055920 swapFree=4180836/4192956
[pid=13701] ppid=13699 vsize=5356 CPUtime=0
/proc/13701/stat : 13701 (SatELiteGTI) S 13699 13701 13068 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306790541 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13701/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301774 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13701
/proc/meminfo: memFree=1788432/2055920 swapFree=4180836/4192956
[pid=13701] ppid=13699 vsize=5356 CPUtime=0
/proc/13701/stat : 13701 (SatELiteGTI) S 13699 13701 13068 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306790541 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13701/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701852 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13701
/proc/meminfo: memFree=1788432/2055920 swapFree=4180836/4192956
[pid=13701] ppid=13699 vsize=5356 CPUtime=0.35
/proc/13701/stat : 13701 (SatELiteGTI) S 13699 13701 13068 0 -1 4194304 336 2601 0 0 0 0 33 2 16 0 1 0 306790541 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13701/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 5356
[startup+1.50297 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13707
/proc/meminfo: memFree=1780032/2055920 swapFree=4180836/4192956
[pid=13701] ppid=13699 vsize=5356 CPUtime=0.35
/proc/13701/stat : 13701 (SatELiteGTI) S 13699 13701 13068 0 -1 4194304 336 2601 0 0 0 0 33 2 16 0 1 0 306790541 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13701/statm: 1339 239 197 169 0 50 0
[pid=13707] ppid=13701 vsize=7988 CPUtime=1.12
/proc/13707/stat : 13707 (minisat_static) R 13701 13701 13068 0 -1 4194304 1851 0 0 0 112 0 0 0 25 0 1 0 306790578 8179712 1837 1992294400 134512640 135215339 4294956240 18446744073709551615 134529116 0 0 4096 3 0 0 0 17 1 0 0
/proc/13707/statm: 1997 1837 77 171 0 1824 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13344
[startup+3.10122 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13707
/proc/meminfo: memFree=1778496/2055920 swapFree=4180836/4192956
[pid=13701] ppid=13699 vsize=5356 CPUtime=0.35
/proc/13701/stat : 13701 (SatELiteGTI) S 13699 13701 13068 0 -1 4194304 336 2601 0 0 0 0 33 2 16 0 1 0 306790541 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13701/statm: 1339 239 197 169 0 50 0
[pid=13707] ppid=13701 vsize=10104 CPUtime=2.72
/proc/13707/stat : 13707 (minisat_static) R 13701 13701 13068 0 -1 4194304 2385 0 0 0 271 1 0 0 25 0 1 0 306790578 10346496 2371 1992294400 134512640 135215339 4294956240 18446744073709551615 134527353 0 0 4096 3 0 0 0 17 1 0 0
/proc/13707/statm: 2526 2371 77 171 0 2353 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15460
[startup+6.30173 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13707
/proc/meminfo: memFree=1773888/2055920 swapFree=4180836/4192956
[pid=13701] ppid=13699 vsize=5356 CPUtime=0.35
/proc/13701/stat : 13701 (SatELiteGTI) S 13699 13701 13068 0 -1 4194304 336 2601 0 0 0 0 33 2 16 0 1 0 306790541 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13701/statm: 1339 239 197 169 0 50 0
[pid=13707] ppid=13701 vsize=14476 CPUtime=5.92
/proc/13707/stat : 13707 (minisat_static) R 13701 13701 13068 0 -1 4194304 3473 0 0 0 590 2 0 0 25 0 1 0 306790578 14823424 3459 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13707/statm: 3619 3459 77 171 0 3446 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 19832
[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13707
/proc/meminfo: memFree=1765312/2055920 swapFree=4180836/4192956
[pid=13701] ppid=13699 vsize=5356 CPUtime=0.35
/proc/13701/stat : 13701 (SatELiteGTI) S 13699 13701 13068 0 -1 4194304 336 2601 0 0 0 0 33 2 16 0 1 0 306790541 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13701/statm: 1339 239 197 169 0 50 0
[pid=13707] ppid=13701 vsize=22528 CPUtime=12.31
/proc/13707/stat : 13707 (minisat_static) R 13701 13701 13068 0 -1 4194304 5499 0 0 0 1227 4 0 0 25 0 1 0 306790578 23068672 5485 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/13707/statm: 5632 5485 77 171 0 5459 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 27884
[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13707
/proc/meminfo: memFree=1750016/2055920 swapFree=4180836/4192956
[pid=13701] ppid=13699 vsize=5356 CPUtime=0.35
/proc/13701/stat : 13701 (SatELiteGTI) S 13699 13701 13068 0 -1 4194304 336 2601 0 0 0 0 33 2 16 0 1 0 306790541 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13701/statm: 1339 239 197 169 0 50 0
[pid=13707] ppid=13701 vsize=37484 CPUtime=25.11
/proc/13707/stat : 13707 (minisat_static) R 13701 13701 13068 0 -1 4194304 9213 0 0 0 2503 8 0 0 25 0 1 0 306790578 38383616 9199 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13707/statm: 9371 9199 77 171 0 9198 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 42840
[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13707
/proc/meminfo: memFree=1723648/2055920 swapFree=4180836/4192956
[pid=13701] ppid=13699 vsize=5356 CPUtime=0.35
/proc/13701/stat : 13701 (SatELiteGTI) S 13699 13701 13068 0 -1 4194304 336 2601 0 0 0 0 33 2 16 0 1 0 306790541 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13701/statm: 1339 239 197 169 0 50 0
[pid=13707] ppid=13701 vsize=64092 CPUtime=50.7
/proc/13707/stat : 13707 (minisat_static) R 13701 13701 13068 0 -1 4194304 15865 0 0 0 5056 14 0 0 25 0 1 0 306790578 65630208 15851 1992294400 134512640 135215339 4294956240 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 1 0 0
/proc/13707/statm: 16023 15851 77 171 0 15850 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 69448
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13707
/proc/meminfo: memFree=1677824/2055920 swapFree=4180836/4192956
[pid=13701] ppid=13699 vsize=5356 CPUtime=0.35
/proc/13701/stat : 13701 (SatELiteGTI) S 13699 13701 13068 0 -1 4194304 336 2601 0 0 0 0 33 2 16 0 1 0 306790541 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13701/statm: 1339 239 197 169 0 50 0
[pid=13707] ppid=13701 vsize=109172 CPUtime=101.88
/proc/13707/stat : 13707 (minisat_static) R 13701 13701 13068 0 -1 4194304 27128 0 0 0 10164 24 0 0 25 0 1 0 306790578 111792128 27114 1992294400 134512640 135215339 4294956240 18446744073709551615 134529157 0 0 4096 3 0 0 0 17 1 0 0
/proc/13707/statm: 27293 27114 77 171 0 27120 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 114528
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13707
/proc/meminfo: memFree=1631168/2055920 swapFree=4180836/4192956
[pid=13701] ppid=13699 vsize=5356 CPUtime=0.35
/proc/13701/stat : 13701 (SatELiteGTI) S 13699 13701 13068 0 -1 4194304 336 2601 0 0 0 0 33 2 16 0 1 0 306790541 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13701/statm: 1339 239 197 169 0 50 0
[pid=13707] ppid=13701 vsize=156084 CPUtime=161.84
/proc/13707/stat : 13707 (minisat_static) R 13701 13701 13068 0 -1 4194304 38832 0 0 0 16148 36 0 0 25 0 1 0 306790578 159830016 38818 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/13707/statm: 39021 38818 77 171 0 38848 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 161440
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13707
/proc/meminfo: memFree=1587584/2055920 swapFree=4180836/4192956
[pid=13701] ppid=13699 vsize=5356 CPUtime=0.35
/proc/13701/stat : 13701 (SatELiteGTI) S 13699 13701 13068 0 -1 4194304 336 2601 0 0 0 0 33 2 16 0 1 0 306790541 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13701/statm: 1339 239 197 169 0 50 0
[pid=13707] ppid=13701 vsize=199016 CPUtime=221.82
/proc/13707/stat : 13707 (minisat_static) R 13701 13701 13068 0 -1 4194304 49591 0 0 0 22135 47 0 0 25 0 1 0 306790578 203792384 49577 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/13707/statm: 49754 49577 77 171 0 49581 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 204372
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13707
/proc/meminfo: memFree=1549888/2055920 swapFree=4180836/4192956
[pid=13701] ppid=13699 vsize=5356 CPUtime=0.35
/proc/13701/stat : 13701 (SatELiteGTI) S 13699 13701 13068 0 -1 4194304 336 2601 0 0 0 0 33 2 16 0 1 0 306790541 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13701/statm: 1339 239 197 169 0 50 0
[pid=13707] ppid=13701 vsize=237228 CPUtime=281.79
/proc/13707/stat : 13707 (minisat_static) R 13701 13701 13068 0 -1 4194304 59096 0 0 0 28121 58 0 0 25 0 1 0 306790578 242921472 59082 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13707/statm: 59307 59082 77 171 0 59134 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 242584
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13707
/proc/meminfo: memFree=1513352/2055920 swapFree=4180836/4192956
[pid=13701] ppid=13699 vsize=5356 CPUtime=0.35
/proc/13701/stat : 13701 (SatELiteGTI) S 13699 13701 13068 0 -1 4194304 336 2601 0 0 0 0 33 2 16 0 1 0 306790541 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13701/statm: 1339 239 197 169 0 50 0
[pid=13707] ppid=13701 vsize=273172 CPUtime=341.78
/proc/13707/stat : 13707 (minisat_static) R 13701 13701 13068 0 -1 4194304 68113 0 0 0 34110 68 0 0 25 0 1 0 306790578 279728128 68099 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13707/statm: 68293 68099 77 171 0 68120 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 278528
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13707
/proc/meminfo: memFree=1479624/2055920 swapFree=4180836/4192956
[pid=13701] ppid=13699 vsize=5356 CPUtime=0.35
/proc/13701/stat : 13701 (SatELiteGTI) S 13699 13701 13068 0 -1 4194304 336 2601 0 0 0 0 33 2 16 0 1 0 306790541 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13701/statm: 1339 239 197 169 0 50 0
[pid=13707] ppid=13701 vsize=307124 CPUtime=401.76
################
# More data... #
################
/proc/13707/statm: 98236 97992 77 171 0 98063 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 398300
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13707
/proc/meminfo: memFree=1363528/2055920 swapFree=4180836/4192956
[pid=13701] ppid=13699 vsize=5356 CPUtime=0.35
/proc/13701/stat : 13701 (SatELiteGTI) S 13699 13701 13068 0 -1 4194304 336 2601 0 0 0 0 33 2 16 0 1 0 306790541 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13701/statm: 1339 239 197 169 0 50 0
[pid=13707] ppid=13701 vsize=422276 CPUtime=641.68
/proc/13707/stat : 13707 (minisat_static) R 13701 13701 13068 0 -1 4194304 105343 0 0 0 64058 110 0 0 25 0 1 0 306790578 432410624 105329 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/13707/statm: 105569 105329 77 171 0 105396 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 427632
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13707
/proc/meminfo: memFree=1337416/2055920 swapFree=4180836/4192956
[pid=13701] ppid=13699 vsize=5356 CPUtime=0.35
/proc/13701/stat : 13701 (SatELiteGTI) S 13699 13701 13068 0 -1 4194304 336 2601 0 0 0 0 33 2 16 0 1 0 306790541 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13701/statm: 1339 239 197 169 0 50 0
[pid=13707] ppid=13701 vsize=448304 CPUtime=701.64
/proc/13707/stat : 13707 (minisat_static) R 13701 13701 13068 0 -1 4194304 111895 0 0 0 70048 116 0 0 25 0 1 0 306790578 459063296 111881 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13707/statm: 112076 111881 77 171 0 111903 0
Current children cumulated CPU time (s) 701.99
Current children cumulated vsize (KiB) 453660
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13707
/proc/meminfo: memFree=1308872/2055920 swapFree=4180836/4192956
[pid=13701] ppid=13699 vsize=5356 CPUtime=0.35
/proc/13701/stat : 13701 (SatELiteGTI) S 13699 13701 13068 0 -1 4194304 336 2601 0 0 0 0 33 2 16 0 1 0 306790541 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13701/statm: 1339 239 197 169 0 50 0
[pid=13707] ppid=13701 vsize=476440 CPUtime=761.63
/proc/13707/stat : 13707 (minisat_static) R 13701 13701 13068 0 -1 4194304 118935 0 0 0 76037 126 0 0 25 0 1 0 306790578 487874560 118921 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/13707/statm: 119110 118921 77 171 0 118937 0
Current children cumulated CPU time (s) 761.98
Current children cumulated vsize (KiB) 481796
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13707
/proc/meminfo: memFree=1284424/2055920 swapFree=4180836/4192956
[pid=13701] ppid=13699 vsize=5356 CPUtime=0.35
/proc/13701/stat : 13701 (SatELiteGTI) S 13699 13701 13068 0 -1 4194304 336 2601 0 0 0 0 33 2 16 0 1 0 306790541 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13701/statm: 1339 239 197 169 0 50 0
[pid=13707] ppid=13701 vsize=500888 CPUtime=821.6
/proc/13707/stat : 13707 (minisat_static) R 13701 13701 13068 0 -1 4194304 125065 0 0 0 82027 133 0 0 25 0 1 0 306790578 512909312 125051 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13707/statm: 125222 125051 77 171 0 125049 0
Current children cumulated CPU time (s) 821.95
Current children cumulated vsize (KiB) 506244
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13707
/proc/meminfo: memFree=1257672/2055920 swapFree=4180836/4192956
[pid=13701] ppid=13699 vsize=5356 CPUtime=0.35
/proc/13701/stat : 13701 (SatELiteGTI) S 13699 13701 13068 0 -1 4194304 336 2601 0 0 0 0 33 2 16 0 1 0 306790541 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13701/statm: 1339 239 197 169 0 50 0
[pid=13707] ppid=13701 vsize=528104 CPUtime=881.58
/proc/13707/stat : 13707 (minisat_static) R 13701 13701 13068 0 -1 4194304 131680 0 0 0 88017 141 0 0 25 0 1 0 306790578 540778496 131666 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/13707/statm: 132026 131666 77 171 0 131853 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 533460
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13713
/proc/meminfo: memFree=1235080/2055920 swapFree=4180836/4192956
[pid=13701] ppid=13699 vsize=5356 CPUtime=0.35
/proc/13701/stat : 13701 (SatELiteGTI) S 13699 13701 13068 0 -1 4194304 336 2601 0 0 0 0 33 2 16 0 1 0 306790541 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13701/statm: 1339 239 197 169 0 50 0
[pid=13707] ppid=13701 vsize=550684 CPUtime=941.55
/proc/13707/stat : 13707 (minisat_static) R 13701 13701 13068 0 -1 4194304 137344 0 0 0 94007 148 0 0 25 0 1 0 306790578 563900416 137330 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13707/statm: 137671 137330 77 171 0 137498 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 556040
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13713
/proc/meminfo: memFree=1210696/2055920 swapFree=4180836/4192956
[pid=13701] ppid=13699 vsize=5356 CPUtime=0.35
/proc/13701/stat : 13701 (SatELiteGTI) S 13699 13701 13068 0 -1 4194304 336 2601 0 0 0 0 33 2 16 0 1 0 306790541 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13701/statm: 1339 239 197 169 0 50 0
[pid=13707] ppid=13701 vsize=574868 CPUtime=1001.53
/proc/13707/stat : 13707 (minisat_static) R 13701 13701 13068 0 -1 4194304 143387 0 0 0 99999 154 0 0 25 0 1 0 306790578 588664832 143373 1992294400 134512640 135215339 4294956240 18446744073709551615 134529426 0 0 4096 3 0 0 0 17 1 0 0
/proc/13707/statm: 143717 143373 77 171 0 143544 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 580224
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13713
/proc/meminfo: memFree=1185800/2055920 swapFree=4180836/4192956
[pid=13701] ppid=13699 vsize=5356 CPUtime=0.35
/proc/13701/stat : 13701 (SatELiteGTI) S 13699 13701 13068 0 -1 4194304 336 2601 0 0 0 0 33 2 16 0 1 0 306790541 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13701/statm: 1339 239 197 169 0 50 0
[pid=13707] ppid=13701 vsize=599576 CPUtime=1061.51
/proc/13707/stat : 13707 (minisat_static) R 13701 13701 13068 0 -1 4194304 149603 0 0 0 105989 162 0 0 25 0 1 0 306790578 613965824 149589 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/13707/statm: 149894 149589 77 171 0 149721 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 604932
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13713
/proc/meminfo: memFree=1165768/2055920 swapFree=4180836/4192956
[pid=13701] ppid=13699 vsize=5356 CPUtime=0.35
/proc/13701/stat : 13701 (SatELiteGTI) S 13699 13701 13068 0 -1 4194304 336 2601 0 0 0 0 33 2 16 0 1 0 306790541 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13701/statm: 1339 239 197 169 0 50 0
[pid=13707] ppid=13701 vsize=619388 CPUtime=1121.49
/proc/13707/stat : 13707 (minisat_static) R 13701 13701 13068 0 -1 4194304 154567 0 0 0 111981 168 0 0 25 0 1 0 306790578 634253312 154553 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13707/statm: 154847 154553 77 171 0 154674 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 624744
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13713
/proc/meminfo: memFree=1142536/2055920 swapFree=4180836/4192956
[pid=13701] ppid=13699 vsize=5356 CPUtime=0.35
/proc/13701/stat : 13701 (SatELiteGTI) S 13699 13701 13068 0 -1 4194304 336 2601 0 0 0 0 33 2 16 0 1 0 306790541 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13701/statm: 1339 239 197 169 0 50 0
[pid=13707] ppid=13701 vsize=642652 CPUtime=1181.47
/proc/13707/stat : 13707 (minisat_static) R 13701 13701 13068 0 -1 4194304 160400 0 0 0 117973 174 0 0 25 0 1 0 306790578 658075648 160386 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13707/statm: 160663 160386 77 171 0 160490 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 648008
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13713
/proc/meminfo: memFree=1134472/2055920 swapFree=4180836/4192956
[pid=13701] ppid=13699 vsize=5356 CPUtime=0.35
/proc/13701/stat : 13701 (SatELiteGTI) S 13699 13701 13068 0 -1 4194304 336 2601 0 0 0 0 33 2 16 0 1 0 306790541 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13701/statm: 1339 239 197 169 0 50 0
[pid=13707] ppid=13701 vsize=650196 CPUtime=1199.67
/proc/13707/stat : 13707 (minisat_static) R 13701 13701 13068 0 -1 4194304 162296 0 0 0 119790 177 0 0 25 0 1 0 306790578 665800704 162282 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13707/statm: 162549 162282 77 171 0 162376 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 655552
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13713
/proc/meminfo: memFree=1134472/2055920 swapFree=4180836/4192956
[pid=13701] ppid=13699 vsize=5356 CPUtime=0.35
/proc/13701/stat : 13701 (SatELiteGTI) S 13699 13701 13068 0 -1 4194304 336 2601 0 0 0 0 33 2 16 0 1 0 306790541 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13701/statm: 1339 239 197 169 0 50 0
[pid=13707] ppid=13701 vsize=650196 CPUtime=1199.67
/proc/13707/stat : 13707 (minisat_static) R 13701 13701 13068 0 -1 4194304 162296 0 0 0 119790 177 0 0 25 0 1 0 306790578 665800704 162282 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13707/statm: 162549 162282 77 171 0 162376 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 655552
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13701 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=339948
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=23996
# CPU time returned by wait4() is 0.363944
# while last known CPU time is 1200.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.02
CPU user time (s): 1198.23
CPU system time (s): 1.79
CPU usage (%): 99.9589
Max. virtual memory (cumulated for all children) (KiB): 655552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.339948
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= 2937
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 7
runsolver used 1.53077 second user time and 2.92056 second system time
The end
Begin job on node26 at 2009-05-20 04:46:16
IDJOB=1832783
IDBENCH=70355
IDSOLVER=671
FILE ID=node26/1832783-1242787575
PBS_JOBID= 9322377
Free space on /tmp= 66136 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/18000/unif-k3-r4.2-v18000-c75600-S1279315365-067.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832783-1242787575/watcher-1832783-1242787575 -o /tmp/evaluation-result-1832783-1242787575/solver-1832783-1242787575 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832783-1242787575.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a31d778f02686a6129c52bf8a3bcbfa2
RANDOM SEED=833917422
node26.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.261
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.261
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: 1788912 kB
Buffers: 25008 kB
Cached: 193872 kB
SwapCached: 6404 kB
Active: 104160 kB
Inactive: 123176 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1788912 kB
SwapTotal: 4192956 kB
SwapFree: 4180836 kB
Dirty: 3028 kB
Writeback: 0 kB
Mapped: 13568 kB
Slab: 25728 kB
Committed_AS: 1035928 kB
PageTables: 1372 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= 66132 MiB
End job on node26 at 2009-05-20 05:06:18