0.00/0.00 c Parsing...
0.00/0.07 c ==============================================================================
0.00/0.07 c | | ORIGINAL | LEARNT | |
0.00/0.07 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.07 c ==============================================================================
0.00/0.07 c | 0 | 67200 201600 | 20159 0 0 nan | 0.000 % |
0.00/0.24 c | 0 | 66758 202691 | -- 0 -- -- | -- | -442/1091
0.00/0.24 c ==============================================================================
0.00/0.24 c Result : #vars: 15603 #clauses: 66758 #literals: 202691
0.00/0.24 c CPU time: 0.228965 s
0.00/0.24 c ==============================================================================
0.00/0.31 c This is MiniSat 2.0 beta
0.00/0.31 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.31 c ============================[ Problem Statistics ]=============================
0.00/0.31 c | |
0.00/0.32 c | Number of variables: 15603 |
0.00/0.32 c | Number of clauses: 66758 |
0.00/0.37 c | Parsing time: 0.05 s |
0.00/0.37 c ============================[ Search Statistics ]==============================
0.00/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.37 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.37 c ===============================================================================
0.00/0.37 c | 0 | 15603 66758 202691 | 22252 0 nan | 0.000 % |
0.30/0.43 c | 102 | 15603 66758 202691 | 22252 102 138 | 0.000 % |
0.30/0.49 c | 202 | 15603 66758 202691 | 22252 202 154 | 0.000 % |
0.30/0.55 c | 302 | 15603 66758 202691 | 22252 302 173 | 0.000 % |
0.30/0.61 c | 412 | 15603 66758 202691 | 22252 412 183 | 0.000 % |
0.30/0.66 c | 513 | 15603 66758 202691 | 22252 513 179 | 0.000 % |
0.30/0.72 c | 623 | 15603 66758 202691 | 22252 623 183 | 0.000 % |
0.30/0.80 c | 745 | 15603 66758 202691 | 22252 745 186 | 0.000 % |
0.30/0.85 c | 845 | 15603 66758 202691 | 22252 845 181 | 0.000 % |
0.30/0.91 c | 955 | 15603 66758 202691 | 22252 955 182 | 0.000 % |
0.30/0.97 c | 1078 | 15603 66758 202691 | 22252 1078 180 | 0.000 % |
0.30/1.04 c | 1212 | 15603 66758 202691 | 22252 1212 177 | 0.000 % |
0.30/1.10 c | 1313 | 15603 66758 202691 | 22252 1313 176 | 0.000 % |
1.07/1.16 c | 1423 | 15603 66758 202691 | 22252 1423 179 | 0.000 % |
1.17/1.23 c | 1544 | 15603 66758 202691 | 22252 1544 176 | 0.000 % |
1.27/1.30 c | 1678 | 15603 66758 202691 | 22252 1678 177 | 0.000 % |
1.27/1.38 c | 1824 | 15603 66758 202691 | 22252 1824 177 | 0.000 % |
1.37/1.43 c | 1924 | 15603 66758 202691 | 22252 1924 175 | 0.000 % |
1.37/1.49 c | 2035 | 15603 66758 202691 | 22252 2035 174 | 0.000 % |
1.47/1.56 c | 2157 | 15603 66758 202691 | 22252 2157 175 | 0.000 % |
1.57/1.63 c | 2292 | 15603 66758 202691 | 22252 2292 177 | 0.000 % |
1.67/1.71 c | 2440 | 15603 66758 202691 | 22252 2440 177 | 0.000 % |
1.67/1.79 c | 2600 | 15603 66758 202691 | 22252 2600 174 | 0.000 % |
1.77/1.86 c | 2700 | 15603 66758 202691 | 22252 2700 174 | 0.000 % |
1.87/1.92 c | 2812 | 15603 66758 202691 | 22252 2812 174 | 0.000 % |
1.87/1.99 c | 2933 | 15603 66758 202691 | 22252 2933 173 | 0.000 % |
1.97/2.06 c | 3068 | 15603 66758 202691 | 22252 3068 172 | 0.000 % |
2.07/2.14 c | 3214 | 15603 66758 202691 | 22252 3214 174 | 0.000 % |
2.17/2.22 c | 3375 | 15603 66758 202691 | 22252 3375 175 | 0.000 % |
2.27/2.32 c | 3552 | 15603 66758 202691 | 22252 3552 177 | 0.000 % |
2.27/2.38 c | 3654 | 15603 66758 202691 | 22252 3654 177 | 0.000 % |
2.37/2.44 c | 3764 | 15603 66758 202691 | 22252 3764 176 | 0.000 % |
2.47/2.50 c | 3886 | 15603 66758 202691 | 22252 3886 176 | 0.000 % |
2.47/2.58 c | 4021 | 15603 66758 202691 | 22252 4021 178 | 0.000 % |
2.56/2.66 c | 4169 | 15603 66758 202691 | 22252 4169 177 | 0.000 % |
2.66/2.75 c | 4329 | 15603 66758 202691 | 22252 4329 177 | 0.000 % |
2.76/2.84 c | 4506 | 15603 66758 202691 | 22252 4506 177 | 0.000 % |
2.86/2.95 c | 4699 | 15603 66758 202691 | 22252 4699 178 | 0.000 % |
2.96/3.01 c | 4799 | 15603 66758 202691 | 22252 4799 177 | 0.000 % |
2.96/3.07 c | 4911 | 15603 66758 202691 | 22252 4911 178 | 0.000 % |
3.06/3.14 c | 5032 | 15603 66758 202691 | 22252 5032 178 | 0.000 % |
3.16/3.22 c | 5165 | 15603 66758 202691 | 22252 5165 179 | 0.000 % |
3.16/3.30 c | 5311 | 15603 66758 202691 | 22252 5311 180 | 0.000 % |
3.27/3.39 c | 5473 | 15603 66758 202691 | 22252 5473 180 | 0.000 % |
3.37/3.49 c | 5649 | 15603 66758 202691 | 22252 5649 178 | 0.000 % |
3.46/3.59 c | 5842 | 15603 66758 202691 | 22252 5842 178 | 0.000 % |
3.66/3.71 c | 6055 | 15603 66758 202691 | 22252 6055 179 | 0.000 % |
3.66/3.76 c | 6155 | 15603 66758 202691 | 22252 6155 178 | 0.000 % |
3.76/3.82 c | 6268 | 15603 66758 202691 | 22252 6268 178 | 0.000 % |
3.76/3.90 c | 6392 | 15603 66758 202691 | 22252 6392 179 | 0.000 % |
3.86/3.98 c | 6526 | 15603 66758 202691 | 22252 6526 179 | 0.000 % |
3.96/4.06 c | 6672 | 15603 66758 202691 | 22252 6672 178 | 0.000 % |
4.06/4.14 c | 6832 | 15603 66758 202691 | 22252 6832 178 | 0.000 % |
4.16/4.25 c | 7010 | 15603 66758 202691 | 22252 7010 178 | 0.000 % |
4.27/4.37 c | 7203 | 15603 66758 202691 | 22252 7203 180 | 0.000 % |
4.37/4.49 c | 7417 | 15603 66758 202691 | 22252 7417 181 | 0.000 % |
4.57/4.63 c | 7653 | 15603 66758 202691 | 22252 7653 181 | 0.000 % |
4.57/4.69 c | 7753 | 15603 66758 202691 | 22252 7753 180 | 0.000 % |
4.67/4.76 c | 7863 | 15603 66758 202691 | 22252 7863 180 | 0.000 % |
4.77/4.83 c | 7984 | 15603 66758 202691 | 22252 7984 180 | 0.000 % |
4.86/4.90 c | 8117 | 15603 66758 202691 | 22252 8117 179 | 0.000 % |
4.86/4.99 c | 8267 | 15603 66758 202691 | 22252 8267 179 | 0.000 % |
4.96/5.09 c | 8428 | 15603 66758 202691 | 22252 8428 179 | 0.000 % |
5.06/5.19 c | 8605 | 15603 66758 202691 | 22252 8605 179 | 0.000 % |
5.26/5.30 c | 8798 | 15603 66758 202691 | 22252 8798 178 | 0.000 % |
5.36/5.42 c | 9010 | 15603 66758 202691 | 22252 9010 181 | 0.000 % |
5.47/5.56 c | 9243 | 15603 66758 202691 | 22252 9243 181 | 0.000 % |
5.66/5.71 c | 9499 | 15603 66758 202691 | 22252 9499 182 | 0.000 % |
5.66/5.77 c | 9600 | 15603 66758 202691 | 22252 9600 182 | 0.000 % |
5.76/5.84 c | 9712 | 15603 66758 202691 | 22252 9712 183 | 0.000 % |
5.86/5.91 c | 9833 | 15603 66758 202691 | 22252 9833 183 | 0.000 % |
5.96/6.00 c | 9966 | 15603 66758 202691 | 22252 9966 183 | 0.000 % |
5.96/6.09 c | 10112 | 15603 66758 202691 | 2147483647 10112 183 | 0.000 % |
6.06/6.18 c | 10272 | 15603 66758 202691 | 2147483647 10272 183 | 0.000 % |
6.16/6.29 c | 10448 | 15603 66758 202691 | 2147483647 10448 183 | 0.000 % |
6.36/6.40 c | 10641 | 15603 66758 202691 | 2147483647 10641 183 | 0.000 % |
6.46/6.52 c | 10853 | 15603 66758 202691 | 2147483647 10853 183 | 0.000 % |
6.56/6.66 c | 11088 | 15603 66758 202691 | 2147483647 11088 182 | 0.000 % |
6.76/6.81 c | 11344 | 15603 66758 202691 | 2147483647 11344 183 | 0.000 % |
6.86/6.98 c | 11625 | 15603 66758 202691 | 2147483647 11625 183 | 0.000 % |
6.96/7.04 c | 11725 | 15603 66758 202691 | 2147483647 11725 183 | 0.000 % |
7.07/7.11 c | 11835 | 15603 66758 202691 | 2147483647 11835 183 | 0.000 % |
7.07/7.19 c | 11958 | 15603 66758 202691 | 2147483647 11958 183 | 0.000 % |
7.17/7.27 c | 12092 | 15603 66758 202691 | 2147483647 12092 183 | 0.000 % |
7.27/7.36 c | 12240 | 15603 66758 202691 | 2147483647 12240 183 | 0.000 % |
7.37/7.46 c | 12400 | 15603 66758 202691 | 2147483647 12400 184 | 0.000 % |
7.47/7.57 c | 12576 | 15603 66758 202691 | 2147483647 12576 184 | 0.000 % |
7.56/7.69 c | 12770 | 15603 66758 202691 | 2147483647 12770 184 | 0.000 % |
7.77/7.81 c | 12983 | 15603 66758 202691 | 2147483647 12983 184 | 0.000 % |
7.86/7.97 c | 13217 | 15603 66758 202691 | 2147483647 13217 183 | 0.000 % |
8.06/8.12 c | 13473 | 15603 66758 202691 | 2147483647 13473 183 | 0.000 % |
8.16/8.29 c | 13755 | 15603 66758 202691 | 2147483647 13755 183 | 0.000 % |
8.36/8.49 c | 14066 | 15603 66758 202691 | 2147483647 14066 184 | 0.000 % |
8.46/8.55 c | 14169 | 15603 66758 202691 | 2147483647 14169 184 | 0.000 % |
8.56/8.62 c | 14279 | 15603 66758 202691 | 2147483647 14279 184 | 0.000 % |
8.56/8.70 c | 14401 | 15603 66758 202691 | 2147483647 14401 184 | 0.000 % |
8.66/8.77 c | 14534 | 15603 66758 202691 | 2147483647 14534 184 | 0.000 % |
8.77/8.86 c | 14681 | 15603 66758 202691 | 2147483647 14681 184 | 0.000 % |
8.86/8.96 c | 14841 | 15603 66758 202691 | 2147483647 14841 183 | 0.000 % |
8.96/9.07 c | 15018 | 15603 66758 202691 | 2147483647 15018 183 | 0.000 % |
9.06/9.20 c | 15212 | 15603 66758 202691 | 2147483647 15212 183 | 0.000 % |
9.26/9.32 c | 15424 | 15603 66758 202691 | 2147483647 15424 184 | 0.000 % |
9.36/9.47 c | 15658 | 15603 66758 202691 | 2147483647 15658 184 | 0.000 % |
9.56/9.64 c | 15917 | 15603 66758 202691 | 2147483647 15917 185 | 0.000 % |
9.75/9.83 c | 16201 | 15603 66758 202691 | 2147483647 16201 185 | 0.000 % |
9.96/10.02 c | 16511 | 15603 66758 202691 | 2147483647 16511 185 | 0.000 % |
10.15/10.24 c | 16855 | 15603 66758 202691 | 2147483647 16855 186 | 0.000 % |
10.26/10.30 c | 16955 | 15603 66758 202691 | 2147483647 16955 185 | 0.000 % |
10.26/10.38 c | 17065 | 15603 66758 202691 | 2147483647 17065 185 | 0.000 % |
10.36/10.47 c | 17187 | 15603 66758 202691 | 2147483647 17187 185 | 0.000 % |
10.46/10.55 c | 17320 | 15603 66758 202691 | 2147483647 17320 185 | 0.000 % |
10.56/10.65 c | 17467 | 15603 66758 202691 | 2147483647 17467 185 | 0.000 % |
10.66/10.75 c | 17627 | 15603 66758 202691 | 2147483647 17627 185 | 0.000 % |
10.76/10.85 c | 17803 | 15603 66758 202691 | 2147483647 17803 185 | 0.000 % |
10.86/10.98 c | 17997 | 15603 66758 202691 | 2147483647 17997 186 | 0.000 % |
11.06/11.13 c | 18209 | 15603 66758 202691 | 2147483647 18209 186 | 0.000 % |
11.16/11.27 c | 18442 | 15603 66758 202691 | 2147483647 18442 187 | 0.000 % |
11.36/11.43 c | 18701 | 15603 66758 202691 | 2147483647 18701 188 | 0.000 % |
11.56/11.61 c | 18982 | 15603 66758 202691 | 2147483647 18982 188 | 0.000 % |
11.76/11.82 c | 19292 | 15603 66758 202691 | 2147483647 19292 188 | 0.000 % |
11.96/12.05 c | 19631 | 15603 66758 202691 | 2147483647 19631 190 | 0.000 % |
12.16/12.29 c | 20004 | 15603 66758 202691 | 2147483647 20004 191 | 0.000 % |
12.26/12.37 c | 20104 | 15603 66758 202691 | 2147483647 20104 192 | 0.000 % |
12.36/12.45 c | 20214 | 15603 66758 202691 | 2147483647 20214 192 | 0.000 % |
12.46/12.54 c | 20336 | 15603 66758 202691 | 2147483647 20336 192 | 0.000 % |
12.56/12.63 c | 20469 | 15603 66758 202691 | 2147483647 20469 192 | 0.000 % |
12.66/12.74 c | 20616 | 15603 66758 202691 | 2147483647 20616 192 | 0.000 % |
12.75/12.84 c | 20777 | 15603 66758 202691 | 2147483647 20777 192 | 0.000 % |
12.85/12.96 c | 20954 | 15603 66758 202691 | 2147483647 20954 192 | 0.000 % |
12.95/13.08 c | 21147 | 15603 66758 202691 | 2147483647 21147 192 | 0.000 % |
13.16/13.23 c | 21363 | 15603 66758 202691 | 2147483647 21363 192 | 0.000 % |
13.26/13.39 c | 21596 | 15603 66758 202691 | 2147483647 21596 192 | 0.000 % |
13.45/13.57 c | 21853 | 15603 66758 202691 | 2147483647 21853 193 | 0.000 % |
13.65/13.76 c | 22134 | 15603 66758 202691 | 2147483647 22134 193 | 0.000 % |
13.85/13.97 c | 22443 | 15603 66758 202691 | 2147483647 22443 193 | 0.000 % |
14.15/14.20 c | 22784 | 15603 66758 202691 | 2147483647 22784 193 | 0.000 % |
14.35/14.46 c | 23156 | 15603 66758 202691 | 2147483647 23156 194 | 0.000 % |
14.64/14.73 c | 23565 | 15603 66758 202691 | 2147483647 23565 194 | 0.000 % |
14.74/14.80 c | 23667 | 15603 66758 202691 | 2147483647 23667 194 | 0.000 % |
14.74/14.89 c | 23779 | 15603 66758 202691 | 2147483647 23779 194 | 0.000 % |
14.84/14.97 c | 23903 | 15603 66758 202691 | 2147483647 23903 194 | 0.000 % |
14.94/15.06 c | 24036 | 15603 66758 202691 | 2147483647 24036 194 | 0.000 % |
15.04/15.18 c | 24184 | 15603 66758 202691 | 2147483647 24184 194 | 0.000 % |
15.14/15.29 c | 24344 | 15603 66758 202691 | 2147483647 24344 194 | 0.000 % |
15.36/15.42 c | 24521 | 15603 66758 202691 | 2147483647 24521 194 | 0.000 % |
15.46/15.56 c | 24714 | 15603 66758 202691 | 2147483647 24714 194 | 0.000 % |
15.65/15.71 c | 24926 | 15603 66758 202691 | 2147483647 24926 194 | 0.000 % |
15.75/15.88 c | 25159 | 15603 66758 202691 | 2147483647 25159 194 | 0.000 % |
15.95/16.06 c | 25417 | 15603 66758 202691 | 2147483647 25417 195 | 0.000 % |
16.15/16.27 c | 25700 | 15603 66758 202691 | 2147483647 25700 195 | 0.000 % |
16.35/16.49 c | 26009 | 15603 66758 202691 | 2147483647 26009 195 | 0.000 % |
16.65/16.74 c | 26350 | 15603 66758 202691 | 2147483647 26350 195 | 0.000 % |
16.95/17.00 c | 26722 | 15603 66758 202691 | 2147483647 26722 196 | 0.000 % |
17.14/17.28 c | 27134 | 15603 66758 202691 | 2147483647 27134 196 | 0.000 % |
17.55/17.61 c | 27584 | 15603 66758 202691 | 2147483647 27584 196 | 0.000 % |
17.55/17.69 c | 27684 | 15603 66758 202691 | 2147483647 27684 196 | 0.000 % |
17.65/17.78 c | 27795 | 15603 66758 202691 | 2147483647 27795 196 | 0.000 % |
17.74/17.86 c | 27917 | 15603 66758 202691 | 2147483647 27917 196 | 0.000 % |
17.84/17.95 c | 28050 | 15603 66758 202691 | 2147483647 28050 196 | 0.000 % |
17.94/18.07 c | 28198 | 15603 66758 202691 | 2147483647 28198 196 | 0.000 % |
18.04/18.19 c | 28358 | 15603 66758 202691 | 2147483647 28358 196 | 0.000 % |
18.24/18.32 c | 28534 | 15603 66758 202691 | 2147483647 28534 196 | 0.000 % |
18.34/18.48 c | 28729 | 15603 66758 202691 | 2147483647 28729 197 | 0.000 % |
18.54/18.63 c | 28943 | 15603 66758 202691 | 2147483647 28943 197 | 0.000 % |
18.65/18.80 c | 29178 | 15603 66758 202691 | 2147483647 29178 197 | 0.000 % |
18.84/18.97 c | 29434 | 15603 66758 202691 | 2147483647 29434 196 | 0.000 % |
19.04/19.18 c | 29715 | 15603 66758 202691 | 2147483647 29715 196 | 0.000 % |
19.24/19.39 c | 30024 | 15603 66758 202691 | 2147483647 30024 197 | 0.000 % |
19.55/19.63 c | 30363 | 15603 66758 202691 | 2147483647 30363 197 | 0.000 % |
19.75/19.88 c | 30736 | 15603 66758 202691 | 2147483647 30736 198 | 0.000 % |
20.05/20.18 c | 31145 | 15603 66758 202691 | 2147483647 31145 198 | 0.000 % |
20.44/20.50 c | 31594 | 15603 66758 202691 | 2147483647 31594 199 | 0.000 % |
20.74/20.84 c | 32088 | 15603 66758 202691 | 2147483647 32088 200 | 0.000 % |
20.85/20.93 c | 32188 | 15603 66758 202691 | 2147483647 32188 199 | 0.000 % |
20.95/21.02 c | 32298 | 15603 66758 202691 | 2147483647 32298 200 | 0.000 % |
21.05/21.10 c | 32419 | 15603 66758 202691 | 2147483647 32419 200 | 0.000 % |
21.15/21.21 c | 32554 | 15603 66758 202691 | 2147483647 32554 200 | 0.000 % |
21.25/21.32 c | 32700 | 15603 66758 202691 | 2147483647 32700 200 | 0.000 % |
21.35/21.44 c | 32860 | 15603 66758 202691 | 2147483647 32860 200 | 0.000 % |
21.44/21.58 c | 33037 | 15603 66758 202691 | 2147483647 33037 200 | 0.000 % |
21.64/21.73 c | 33230 | 15603 66758 202691 | 2147483647 33230 200 | 0.000 % |
21.74/21.89 c | 33443 | 15603 66758 202691 | 2147483647 33443 200 | 0.000 % |
21.95/22.05 c | 33677 | 15603 66758 202691 | 2147483647 33677 200 | 0.000 % |
22.14/22.23 c | 33936 | 15603 66758 202691 | 2147483647 33936 200 | 0.000 % |
22.34/22.44 c | 34217 | 15603 66758 202691 | 2147483647 34217 200 | 0.000 % |
22.54/22.67 c | 34526 | 15603 66758 202691 | 2147483647 34526 200 | 0.000 % |
22.84/22.92 c | 34865 | 15603 66758 202691 | 2147483647 34865 200 | 0.000 % |
23.04/23.20 c | 35237 | 15603 66758 202691 | 2147483647 35237 201 | 0.000 % |
23.33/23.49 c | 35646 | 15603 66758 202691 | 2147483647 35646 201 | 0.000 % |
23.74/23.83 c | 36095 | 15603 66758 202691 | 2147483647 36095 202 | 0.000 % |
24.04/24.19 c | 36588 | 15603 66758 202691 | 2147483647 36588 202 | 0.000 % |
24.54/24.62 c | 37130 | 15603 66758 202691 | 2147483647 37130 202 | 0.000 % |
24.64/24.71 c | 37232 | 15603 66758 202691 | 2147483647 37232 202 | 0.000 % |
24.64/24.79 c | 37342 | 15603 66758 202691 | 2147483647 37342 202 | 0.000 % |
24.74/24.88 c | 37464 | 15603 66758 202691 | 2147483647 37464 202 | 0.000 % |
24.84/24.99 c | 37599 | 15603 66758 202691 | 2147483647 37599 202 | 0.000 % |
25.04/25.11 c | 37745 | 15603 66758 202691 | 2147483647 37745 202 | 0.000 % |
25.14/25.23 c | 37907 | 15603 66758 202691 | 2147483647 37907 202 | 0.000 % |
25.24/25.36 c | 38083 | 15603 66758 202691 | 2147483647 38083 202 | 0.000 % |
25.44/25.53 c | 38276 | 15603 66758 202691 | 2147483647 38276 202 | 0.000 % |
25.54/25.70 c | 38489 | 15603 66758 202691 | 2147483647 38489 202 | 0.000 % |
25.74/25.89 c | 38723 | 15603 66758 202691 | 2147483647 38723 202 | 0.000 % |
25.93/26.06 c | 38981 | 15603 66758 202691 | 2147483647 38981 202 | 0.000 % |
26.13/26.28 c | 39262 | 15603 66758 202691 | 2147483647 39262 203 | 0.000 % |
26.44/26.52 c | 39571 | 15603 66758 202691 | 2147483647 39571 202 | 0.000 % |
26.63/26.78 c | 39910 | 15603 66758 202691 | 2147483647 39910 203 | 0.000 % |
26.94/27.08 c | 40282 | 15603 66758 202691 | 2147483647 40282 203 | 0.000 % |
27.24/27.39 c | 40692 | 15603 66758 202691 | 2147483647 40692 203 | 0.000 % |
27.64/27.74 c | 41143 | 15603 66758 202691 | 2147483647 41143 204 | 0.000 % |
28.04/28.13 c | 41636 | 15603 66758 202691 | 2147483647 41636 204 | 0.000 % |
28.44/28.56 c | 42179 | 15603 66758 202691 | 2147483647 42179 205 | 0.000 % |
28.94/29.04 c | 42775 | 15603 66758 202691 | 2147483647 42775 207 | 0.000 % |
29.04/29.14 c | 42876 | 15603 66758 202691 | 2147483647 42876 207 | 0.000 % |
29.13/29.24 c | 42986 | 15603 66758 202691 | 2147483647 42986 207 | 0.000 % |
29.23/29.34 c | 43107 | 15603 66758 202691 | 2147483647 43107 206 | 0.000 % |
29.33/29.44 c | 43241 | 15603 66758 202691 | 2147483647 43241 206 | 0.000 % |
29.43/29.58 c | 43389 | 15603 66758 202691 | 2147483647 43389 207 | 0.000 % |
29.64/29.70 c | 43550 | 15603 66758 202691 | 2147483647 43550 207 | 0.000 % |
29.73/29.85 c | 43731 | 15603 66758 202691 | 2147483647 43731 207 | 0.000 % |
29.93/30.01 c | 43924 | 15603 66758 202691 | 2147483647 43924 207 | 0.000 % |
30.03/30.17 c | 44136 | 15603 66758 202691 | 2147483647 44136 207 | 0.000 % |
30.23/30.37 c | 44372 | 15603 66758 202691 | 2147483647 44372 207 | 0.000 % |
30.44/30.58 c | 44628 | 15603 66758 202691 | 2147483647 44628 207 | 0.000 % |
30.74/30.81 c | 44910 | 15603 66758 202691 | 2147483647 44910 207 | 0.000 % |
30.93/31.05 c | 45219 | 15603 66758 202691 | 2147483647 45219 207 | 0.000 % |
31.23/31.30 c | 45559 | 15603 66758 202691 | 2147483647 45559 207 | 0.000 % |
31.53/31.63 c | 45931 | 15603 66758 202691 | 2147483647 45931 207 | 0.000 % |
31.83/31.99 c | 46342 | 15603 66758 202691 | 2147483647 46342 207 | 0.000 % |
32.23/32.35 c | 46793 | 15603 66758 202691 | 2147483647 46793 207 | 0.000 % |
32.63/32.75 c | 47286 | 15603 66758 202691 | 2147483647 47286 208 | 0.000 % |
33.03/33.18 c | 47828 | 15603 66758 202691 | 2147483647 47828 209 | 0.000 % |
33.52/33.63 c | 48426 | 15603 66758 202691 | 2147483647 48426 209 | 0.000 % |
34.13/34.21 c | 49083 | 15603 66758 202691 | 2147483647 49083 211 | 0.000 % |
34.13/34.29 c | 49183 | 15603 66758 202691 | 2147483647 49183 211 | 0.000 % |
34.32/34.40 c | 49293 | 15603 66758 202691 | 2147483647 49293 211 | 0.000 % |
34.42/34.50 c | 49414 | 15603 66758 202691 | 2147483647 49414 210 | 0.000 % |
34.52/34.62 c | 49548 | 15603 66758 202691 | 2147483647 49548 210 | 0.000 % |
34.62/34.75 c | 49694 | 15603 66758 202691 | 2147483647 49694 210 | 0.000 % |
34.72/34.88 c | 49854 | 15603 66758 202691 | 2147483647 49854 210 | 0.000 % |
34.92/35.05 c | 50030 | 15603 66758 202691 | 2147483647 50030 210 | 0.000 % |
35.13/35.22 c | 50223 | 15603 66758 202691 | 2147483647 50223 210 | 0.000 % |
35.33/35.41 c | 50435 | 15603 66758 202691 | 2147483647 50435 210 | 0.000 % |
35.53/35.62 c | 50670 | 15603 66758 202691 | 2147483647 50670 210 | 0.000 % |
35.73/35.84 c | 50928 | 15603 66758 202691 | 2147483647 50928 210 | 0.000 % |
35.93/36.10 c | 51209 | 15603 66758 202691 | 2147483647 51209 210 | 0.000 % |
36.23/36.37 c | 51520 | 15603 66758 202691 | 2147483647 51520 210 | 0.000 % |
36.53/36.65 c | 51860 | 15603 66758 202691 | 2147483647 51860 210 | 0.000 % |
36.82/36.97 c | 52233 | 15603 66758 202691 | 2147483647 52233 210 | 0.000 % |
37.22/37.31 c | 52642 | 15603 66758 202691 | 2147483647 52642 210 | 0.000 % |
37.52/37.68 c | 53092 | 15603 66758 202691 | 2147483647 53092 210 | 0.000 % |
38.02/38.12 c | 53585 | 15603 66758 202691 | 2147483647 53585 210 | 0.000 % |
38.42/38.58 c | 54128 | 15603 66758 202691 | 2147483647 54128 210 | 0.000 % |
38.92/39.06 c | 54726 | 15603 66758 202691 | 2147483647 54726 211 | 0.000 % |
39.42/39.60 c | 55383 | 15603 66758 202691 | 2147483647 55383 211 | 0.000 % |
40.01/40.18 c | 56103 | 15603 66758 202691 | 2147483647 56103 211 | 0.000 % |
40.11/40.27 c | 56206 | 15603 66758 202691 | 2147483647 56206 211 | 0.000 % |
40.22/40.39 c | 56318 | 15603 66758 202691 | 2147483647 56318 211 | 0.000 % |
40.42/40.50 c | 56442 | 15603 66758 202691 | 2147483647 56442 211 | 0.000 % |
40.52/40.63 c | 56577 | 15603 66758 202691 | 2147483647 56577 210 | 0.000 % |
40.63/40.77 c | 56723 | 15603 66758 202691 | 2147483647 56723 211 | 0.000 % |
40.82/40.93 c | 56883 | 15603 66758 202691 | 2147483647 56883 211 | 0.000 % |
40.92/41.09 c | 57060 | 15603 66758 202691 | 2147483647 57060 211 | 0.000 % |
41.12/41.27 c | 57254 | 15603 66758 202691 | 2147483647 57254 210 | 0.000 % |
41.32/41.48 c | 57467 | 15603 66758 202691 | 2147483647 57467 210 | 0.000 % |
41.62/41.71 c | 57701 | 15603 66758 202691 | 2147483647 57701 210 | 0.000 % |
41.82/41.91 c | 57959 | 15603 66758 202691 | 2147483647 57959 210 | 0.000 % |
42.02/42.18 c | 58240 | 15603 66758 202691 | 2147483647 58240 210 | 0.000 % |
42.32/42.44 c | 58549 | 15603 66758 202691 | 2147483647 58549 210 | 0.000 % |
42.61/42.76 c | 58890 | 15603 66758 202691 | 2147483647 58890 210 | 0.000 % |
42.92/43.08 c | 59262 | 15603 66758 202691 | 2147483647 59262 210 | 0.000 % |
43.32/43.43 c | 59673 | 15603 66758 202691 | 2147483647 59673 210 | 0.000 % |
43.72/43.87 c | 60123 | 15603 66758 202691 | 2147483647 60123 211 | 0.000 % |
44.22/44.31 c | 60618 | 15603 66758 202691 | 2147483647 60618 211 | 0.000 % |
44.72/44.81 c | 61162 | 15603 66758 202691 | 2147483647 61162 211 | 0.000 % |
45.21/45.34 c | 61761 | 15603 66758 202691 | 2147483647 61761 212 | 0.000 % |
45.81/45.95 c | 62417 | 15603 66758 202691 | 2147483647 62417 213 | 0.000 % |
46.41/46.57 c | 63138 | 15603 66758 202691 | 2147483647 63138 214 | 0.000 % |
47.12/47.27 c | 63931 | 15603 66758 202691 | 2147483647 63931 214 | 0.000 % |
47.22/47.37 c | 64034 | 15603 66758 202691 | 2147483647 64034 214 | 0.000 % |
47.32/47.48 c | 64144 | 15603 66758 202691 | 2147483647 64144 214 | 0.000 % |
47.52/47.61 c | 64266 | 15603 66758 202691 | 2147483647 64266 214 | 0.000 % |
47.62/47.75 c | 64400 | 15603 66758 202691 | 2147483647 64400 214 | 0.000 % |
47.72/47.88 c | 64549 | 15603 66758 202691 | 2147483647 64549 214 | 0.000 % |
47.92/48.06 c | 64710 | 15603 66758 202691 | 2147483647 64710 214 | 0.000 % |
48.11/48.23 c | 64888 | 15603 66758 202691 | 2147483647 64888 214 | 0.000 % |
48.32/48.41 c | 65081 | 15603 66758 202691 | 2147483647 65081 214 | 0.000 % |
48.51/48.64 c | 65293 | 15603 66758 202691 | 2147483647 65293 214 | 0.000 % |
48.71/48.86 c | 65526 | 15603 66758 202691 | 2147483647 65526 214 | 0.000 % |
48.91/49.10 c | 65783 | 15603 66758 202691 | 2147483647 65783 214 | 0.000 % |
49.21/49.37 c | 66064 | 15603 66758 202691 | 2147483647 66064 214 | 0.000 % |
49.52/49.64 c | 66373 | 15603 66758 202691 | 2147483647 66373 214 | 0.000 % |
49.81/49.96 c | 66713 | 15603 66758 202691 | 2147483647 66713 214 | 0.000 % |
50.11/50.27 c | 67085 | 15603 66758 202691 | 2147483647 67085 214 | 0.000 % |
50.51/50.65 c | 67495 | 15603 66758 202691 | 2147483647 67495 214 | 0.000 % |
50.91/51.06 c | 67944 | 15603 66758 202691 | 2147483647 67944 214 | 0.000 % |
51.41/51.51 c | 68437 | 15603 66758 202691 | 2147483647 68437 214 | 0.000 % |
51.90/52.02 c | 68979 | 15603 66758 202691 | 2147483647 68979 214 | 0.000 % |
52.51/52.60 c | 69578 | 15603 66758 202691 | 2147483647 69578 214 | 0.000 % |
53.11/53.20 c | 70233 | 15603 66758 202691 | 2147483647 70233 215 | 0.000 % |
53.70/53.89 c | 70956 | 15603 66758 202691 | 2147483647 70956 215 | 0.000 % |
54.50/54.63 c | 71749 | 15603 66758 202691 | 2147483647 71749 216 | 0.000 % |
55.31/55.46 c | 72620 | 15603 66758 202691 | 2147483647 72620 216 | 0.000 % |
55.41/55.56 c | 72721 | 15603 66758 202691 | 2147483647 72721 216 | 0.000 % |
55.51/55.69 c | 72832 | 15603 66758 202691 | 2147483647 72832 216 | 0.000 % |
55.71/55.82 c | 72953 | 15603 66758 202691 | 2147483647 72953 216 | 0.000 % |
55.81/55.96 c | 73087 | 15603 66758 202691 | 2147483647 73087 216 | 0.000 % |
56.01/56.12 c | 73233 | 15603 66758 202691 | 2147483647 73233 216 | 0.000 % |
56.11/56.27 c | 73393 | 15603 66758 202691 | 2147483647 73393 215 | 0.000 % |
56.31/56.45 c | 73570 | 15603 66758 202691 | 2147483647 73570 216 | 0.000 % |
56.51/56.66 c | 73765 | 15603 66758 202691 | 2147483647 73765 215 | 0.000 % |
56.71/56.87 c | 73978 | 15603 66758 202691 | 2147483647 73978 215 | 0.000 % |
57.01/57.11 c | 74212 | 15603 66758 202691 | 2147483647 74212 215 | 0.000 % |
57.21/57.38 c | 74468 | 15603 66758 202691 | 2147483647 74468 216 | 0.000 % |
57.51/57.65 c | 74749 | 15603 66758 202691 | 2147483647 74749 216 | 0.000 % |
57.80/57.97 c | 75058 | 15603 66758 202691 | 2147483647 75058 215 | 0.000 % |
58.21/58.31 c | 75399 | 15603 66758 202691 | 2147483647 75399 215 | 0.000 % |
58.50/58.69 c | 75772 | 15603 66758 202691 | 2147483647 75772 215 | 0.000 % |
59.00/59.12 c | 76181 | 15603 66758 202691 | 2147483647 76181 216 | 0.000 % |
59.40/59.59 c | 76630 | 15603 66758 202691 | 2147483647 76630 216 | 0.000 % |
59.90/60.08 c | 77124 | 15603 66758 202691 | 2147483647 77124 216 | 0.000 % |
60.50/60.62 c | 77668 | 15603 66758 202691 | 2147483647 77668 216 | 0.000 % |
61.00/61.20 c | 78265 | 15603 66758 202691 | 2147483647 78265 216 | 0.000 % |
61.70/61.87 c | 78920 | 15603 66758 202691 | 2147483647 78920 216 | 0.000 % |
62.39/62.57 c | 79642 | 15603 66758 202691 | 2147483647 79642 217 | 0.000 % |
63.19/63.31 c | 80434 | 15603 66758 202691 | 2147483647 80434 217 | 0.000 % |
64.00/64.15 c | 81305 | 15603 66758 202691 | 2147483647 81305 217 | 0.000 % |
64.90/65.10 c | 82263 | 15603 66758 202691 | 2147483647 82263 219 | 0.000 % |
65.09/65.21 c | 82364 | 15603 66758 202691 | 2147483647 82364 219 | 0.000 % |
65.19/65.33 c | 82475 | 15603 66758 202691 | 2147483647 82475 219 | 0.000 % |
65.29/65.46 c | 82596 | 15603 66758 202691 | 2147483647 82596 218 | 0.000 % |
65.49/65.62 c | 82729 | 15603 66758 202691 | 2147483647 82729 218 | 0.000 % |
65.59/65.79 c | 82877 | 15603 66758 202691 | 2147483647 82877 218 | 0.000 % |
65.79/65.96 c | 83038 | 15603 66758 202691 | 2147483647 83038 218 | 0.000 % |
66.00/66.16 c | 83214 | 15603 66758 202691 | 2147483647 83214 218 | 0.000 % |
66.19/66.35 c | 83409 | 15603 66758 202691 | 2147483647 83409 218 | 0.000 % |
66.39/66.58 c | 83622 | 15603 66758 202691 | 2147483647 83622 218 | 0.000 % |
66.70/66.84 c | 83855 | 15603 66758 202691 | 2147483647 83855 218 | 0.000 % |
67.00/67.10 c | 84111 | 15603 66758 202691 | 2147483647 84111 218 | 0.000 % |
67.30/67.40 c | 84393 | 15603 66758 202691 | 2147483647 84393 218 | 0.000 % |
67.60/67.71 c | 84702 | 15603 66758 202691 | 2147483647 84702 218 | 0.000 % |
67.90/68.05 c | 85042 | 15603 66758 202691 | 2147483647 85042 218 | 0.000 % |
68.30/68.46 c | 85414 | 15603 66758 202691 | 2147483647 85414 218 | 0.000 % |
68.69/68.85 c | 85823 | 15603 66758 202691 | 2147483647 85823 218 | 0.000 % |
69.20/69.30 c | 86273 | 15603 66758 202691 | 2147483647 86273 218 | 0.000 % |
69.69/69.81 c | 86766 | 15603 66758 202691 | 2147483647 86766 218 | 0.000 % |
70.19/70.37 c | 87309 | 15603 66758 202691 | 2147483647 87309 219 | 0.000 % |
70.80/70.97 c | 87905 | 15603 66758 202691 | 2147483647 87905 218 | 0.000 % |
71.50/71.63 c | 88560 | 15603 66758 202691 | 2147483647 88560 219 | 0.000 % |
72.19/72.33 c | 89281 | 15603 66758 202691 | 2147483647 89281 219 | 0.000 % |
72.89/73.09 c | 90073 | 15603 66758 202691 | 2147483647 90073 219 | 0.000 % |
73.79/73.97 c | 90945 | 15603 66758 202691 | 2147483647 90945 219 | 0.000 % |
74.79/74.98 c | 91903 | 15603 66758 202691 | 2147483647 91903 219 | 0.000 % |
75.90/76.04 c | 92956 | 15603 66758 202691 | 2147483647 92956 219 | 0.000 % |
75.99/76.17 c | 93057 | 15603 66758 202691 | 2147483647 93057 219 | 0.000 % |
76.19/76.30 c | 93167 | 15603 66758 202691 | 2147483647 93167 219 | 0.000 % |
76.29/76.43 c | 93289 | 15603 66758 202691 | 2147483647 93289 219 | 0.000 % |
76.39/76.57 c | 93423 | 15603 66758 202691 | 2147483647 93423 219 | 0.000 % |
76.59/76.76 c | 93570 | 15603 66758 202691 | 2147483647 93570 219 | 0.000 % |
76.79/76.97 c | 93730 | 15603 66758 202691 | 2147483647 93730 219 | 0.000 % |
77.00/77.16 c | 93908 | 15603 66758 202691 | 2147483647 93908 219 | 0.000 % |
77.29/77.40 c | 94102 | 15603 66758 202691 | 2147483647 94102 219 | 0.000 % |
77.49/77.64 c | 94314 | 15603 66758 202691 | 2147483647 94314 219 | 0.000 % |
77.79/77.92 c | 94548 | 15603 66758 202691 | 2147483647 94548 218 | 0.000 % |
78.09/78.25 c | 94805 | 15603 66758 202691 | 2147483647 94805 218 | 0.000 % |
78.39/78.56 c | 95086 | 15603 66758 202691 | 2147483647 95086 218 | 0.000 % |
78.79/78.90 c | 95395 | 15603 66758 202691 | 2147483647 95395 218 | 0.000 % |
79.09/79.26 c | 95735 | 15603 66758 202691 | 2147483647 95735 218 | 0.000 % |
79.58/79.71 c | 96108 | 15603 66758 202691 | 2147483647 96108 218 | 0.000 % |
79.98/80.10 c | 96519 | 15603 66758 202691 | 2147483647 96519 218 | 0.000 % |
80.48/80.63 c | 96968 | 15603 66758 202691 | 2147483647 96968 219 | 0.000 % |
80.98/81.18 c | 97461 | 15603 66758 202691 | 2147483647 97461 219 | 0.000 % |
81.69/81.82 c | 98003 | 15603 66758 202691 | 2147483647 98003 219 | 0.000 % |
82.29/82.46 c | 98599 | 15603 66758 202691 | 2147483647 98599 219 | 0.000 % |
82.99/83.18 c | 99256 | 15603 66758 202691 | 2147483647 99256 219 | 0.000 % |
83.88/84.01 c | 99976 | 15603 66758 202691 | 2147483647 99976 219 | 0.000 % |
84.69/84.87 c | 100768 | 15603 66758 202691 | 2147483647 100768 219 | 0.000 % |
85.69/85.81 c | 101642 | 15603 66758 202691 | 2147483647 101642 219 | 0.000 % |
86.68/86.83 c | 102600 | 15603 66758 202691 | 2147483647 102600 220 | 0.000 % |
87.78/87.98 c | 103653 | 15603 66758 202691 | 2147483647 103653 220 | 0.000 % |
89.08/89.26 c | 104814 | 15603 66758 202691 | 2147483647 104814 220 | 0.000 % |
89.18/89.39 c | 104914 | 15603 66758 202691 | 2147483647 104914 220 | 0.000 % |
89.38/89.55 c | 105024 | 15603 66758 202691 | 2147483647 105024 220 | 0.000 % |
89.58/89.73 c | 105147 | 15603 66758 202691 | 2147483647 105147 220 | 0.000 % |
89.68/89.90 c | 105283 | 15603 66758 202691 | 2147483647 105283 220 | 0.000 % |
89.88/90.08 c | 105429 | 15603 66758 202691 | 2147483647 105429 220 | 0.000 % |
90.08/90.27 c | 105590 | 15603 66758 202691 | 2147483647 105590 220 | 0.000 % |
90.28/90.49 c | 105766 | 15603 66758 202691 | 2147483647 105766 220 | 0.000 % |
90.58/90.72 c | 105959 | 15603 66758 202691 | 2147483647 105959 220 | 0.000 % |
90.78/90.99 c | 106173 | 15603 66758 202691 | 2147483647 106173 220 | 0.000 % |
91.08/91.28 c | 106410 | 15603 66758 202691 | 2147483647 106410 220 | 0.000 % |
91.38/91.59 c | 106666 | 15603 66758 202691 | 2147483647 106666 220 | 0.000 % |
91.78/91.96 c | 106951 | 15603 66758 202691 | 2147483647 106951 220 | 0.000 % |
92.08/92.29 c | 107261 | 15603 66758 202691 | 2147483647 107261 220 | 0.000 % |
92.48/92.69 c | 107601 | 15603 66758 202691 | 2147483647 107601 220 | 0.000 % |
93.08/93.21 c | 107974 | 15603 66758 202691 | 2147483647 107974 220 | 0.000 % |
93.49/93.65 c | 108383 | 15603 66758 202691 | 2147483647 108383 220 | 0.000 % |
93.98/94.17 c | 108833 | 15603 66758 202691 | 2147483647 108833 220 | 0.000 % |
94.59/94.76 c | 109327 | 15603 66758 202691 | 2147483647 109327 220 | 0.000 % |
95.18/95.35 c | 109871 | 15603 66758 202691 | 2147483647 109871 220 | 0.000 % |
95.88/96.06 c | 110469 | 15603 66758 202691 | 2147483647 110469 221 | 0.000 % |
96.68/96.81 c | 111124 | 15603 66758 202691 | 2147483647 111124 221 | 0.000 % |
97.57/97.70 c | 111845 | 15603 66758 202691 | 2147483647 111845 221 | 0.000 % |
98.48/98.64 c | 112638 | 15603 66758 202691 | 2147483647 112638 221 | 0.000 % |
99.48/99.61 c | 113510 | 15603 66758 202691 | 2147483647 113510 221 | 0.000 % |
100.58/100.73 c | 114468 | 15603 66758 202691 | 2147483647 114468 221 | 0.000 % |
101.77/101.95 c | 115522 | 15603 66758 202691 | 2147483647 115522 221 | 0.000 % |
103.18/103.32 c | 116680 | 15603 66758 202691 | 2147483647 116680 222 | 0.000 % |
104.57/104.80 c | 117954 | 15603 66758 202691 | 2147483647 117954 222 | 0.000 % |
104.77/104.95 c | 118054 | 15603 66758 202691 | 2147483647 118054 222 | 0.000 % |
104.97/105.11 c | 118164 | 15603 66758 202691 | 2147483647 118164 222 | 0.000 % |
105.07/105.28 c | 118285 | 15603 66758 202691 | 2147483647 118285 222 | 0.000 % |
105.27/105.46 c | 118418 | 15603 66758 202691 | 2147483647 118418 222 | 0.000 % |
105.47/105.66 c | 118568 | 15603 66758 202691 | 2147483647 118568 222 | 0.000 % |
105.66/105.88 c | 118728 | 15603 66758 202691 | 2147483647 118728 222 | 0.000 % |
105.96/106.13 c | 118908 | 15603 66758 202691 | 2147483647 118908 222 | 0.000 % |
106.16/106.35 c | 119101 | 15603 66758 202691 | 2147483647 119101 222 | 0.000 % |
106.46/106.64 c | 119313 | 15603 66758 202691 | 2147483647 119313 222 | 0.000 % |
106.67/106.89 c | 119546 | 15603 66758 202691 | 2147483647 119546 222 | 0.000 % |
107.06/107.23 c | 119804 | 15603 66758 202691 | 2147483647 119804 222 | 0.000 % |
107.36/107.56 c | 120085 | 15603 66758 202691 | 2147483647 120085 222 | 0.000 % |
107.77/107.96 c | 120396 | 15603 66758 202691 | 2147483647 120396 222 | 0.000 % |
108.17/108.38 c | 120735 | 15603 66758 202691 | 2147483647 120735 222 | 0.000 % |
108.66/108.81 c | 121107 | 15603 66758 202691 | 2147483647 121107 222 | 0.000 % |
109.16/109.31 c | 121517 | 15603 66758 202691 | 2147483647 121517 222 | 0.000 % |
109.76/109.90 c | 121966 | 15603 66758 202691 | 2147483647 121966 222 | 0.000 % |
110.36/110.51 c | 122459 | 15603 66758 202691 | 2147483647 122459 222 | 0.000 % |
110.97/111.15 c | 123001 | 15603 66758 202691 | 2147483647 123001 222 | 0.000 % |
111.67/111.89 c | 123597 | 15603 66758 202691 | 2147483647 123597 222 | 0.000 % |
112.46/112.68 c | 124255 | 15603 66758 202691 | 2147483647 124255 222 | 0.000 % |
113.36/113.56 c | 124976 | 15603 66758 202691 | 2147483647 124976 222 | 0.000 % |
114.37/114.52 c | 125768 | 15603 66758 202691 | 2147483647 125768 222 | 0.000 % |
115.37/115.60 c | 126639 | 15603 66758 202691 | 2147483647 126639 223 | 0.000 % |
116.47/116.64 c | 127598 | 15603 66758 202691 | 2147483647 127598 223 | 0.000 % |
117.76/117.93 c | 128652 | 15603 66758 202691 | 2147483647 128652 224 | 0.000 % |
119.16/119.39 c | 129811 | 15603 66758 202691 | 2147483647 129811 224 | 0.000 % |
120.76/120.95 c | 131087 | 15603 66758 202691 | 2147483647 131087 224 | 0.000 % |
122.46/122.68 c | 132489 | 15603 66758 202691 | 2147483647 132489 224 | 0.000 % |
122.66/122.83 c | 132589 | 15603 66758 202691 | 2147483647 132589 224 | 0.000 % |
122.76/122.99 c | 132699 | 15603 66758 202691 | 2147483647 132699 224 | 0.000 % |
122.95/123.18 c | 132821 | 15603 66758 202691 | 2147483647 132821 224 | 0.000 % |
123.17/123.39 c | 132954 | 15603 66758 202691 | 2147483647 132954 224 | 0.000 % |
123.36/123.59 c | 133101 | 15603 66758 202691 | 2147483647 133101 224 | 0.000 % |
123.66/123.82 c | 133263 | 15603 66758 202691 | 2147483647 133263 224 | 0.000 % |
123.86/124.06 c | 133440 | 15603 66758 202691 | 2147483647 133440 224 | 0.000 % |
124.17/124.32 c | 133637 | 15603 66758 202691 | 2147483647 133637 224 | 0.000 % |
124.46/124.61 c | 133849 | 15603 66758 202691 | 2147483647 133849 224 | 0.000 % |
124.76/124.95 c | 134082 | 15603 66758 202691 | 2147483647 134082 224 | 0.000 % |
125.16/125.32 c | 134339 | 15603 66758 202691 | 2147483647 134339 224 | 0.000 % |
125.56/125.71 c | 134620 | 15603 66758 202691 | 2147483647 134620 224 | 0.000 % |
125.96/126.13 c | 134930 | 15603 66758 202691 | 2147483647 134930 224 | 0.000 % |
126.36/126.59 c | 135269 | 15603 66758 202691 | 2147483647 135269 224 | 0.000 % |
126.86/127.05 c | 135641 | 15603 66758 202691 | 2147483647 135641 223 | 0.000 % |
127.35/127.60 c | 136051 | 15603 66758 202691 | 2147483647 136051 224 | 0.000 % |
128.06/128.20 c | 136500 | 15603 66758 202691 | 2147483647 136500 224 | 0.000 % |
128.67/128.84 c | 136998 | 15603 66758 202691 | 2147483647 136998 224 | 0.000 % |
129.36/129.53 c | 137540 | 15603 66758 202691 | 2147483647 137540 224 | 0.000 % |
130.05/130.29 c | 138137 | 15603 66758 202691 | 2147483647 138137 224 | 0.000 % |
130.95/131.11 c | 138793 | 15603 66758 202691 | 2147483647 138793 225 | 0.000 % |
131.85/132.03 c | 139514 | 15603 66758 202691 | 2147483647 139514 225 | 0.000 % |
132.85/133.08 c | 140307 | 15603 66758 202691 | 2147483647 140307 225 | 0.000 % |
134.05/134.21 c | 141180 | 15603 66758 202691 | 2147483647 141180 225 | 0.000 % |
135.26/135.45 c | 142139 | 15603 66758 202691 | 2147483647 142139 225 | 0.000 % |
136.65/136.80 c | 143192 | 15603 66758 202691 | 2147483647 143192 225 | 0.000 % |
138.05/138.26 c | 144350 | 15603 66758 202691 | 2147483647 144350 225 | 0.000 % |
139.75/139.96 c | 145626 | 15603 66758 202691 | 2147483647 145626 225 | 0.000 % |
141.55/141.78 c | 147027 | 15603 66758 202691 | 2147483647 147027 226 | 0.000 % |
143.65/143.83 c | 148567 | 15603 66758 202691 | 2147483647 148567 226 | 0.000 % |
143.85/144.01 c | 148667 | 15603 66758 202691 | 2147483647 148667 226 | 0.000 % |
143.95/144.18 c | 148778 | 15603 66758 202691 | 2147483647 148778 226 | 0.000 % |
144.15/144.38 c | 148903 | 15603 66758 202691 | 2147483647 148903 226 | 0.000 % |
144.35/144.57 c | 149039 | 15603 66758 202691 | 2147483647 149039 226 | 0.000 % |
144.55/144.79 c | 149185 | 15603 66758 202691 | 2147483647 149185 226 | 0.000 % |
144.85/145.04 c | 149347 | 15603 66758 202691 | 2147483647 149347 226 | 0.000 % |
145.16/145.31 c | 149524 | 15603 66758 202691 | 2147483647 149524 226 | 0.000 % |
145.45/145.62 c | 149718 | 15603 66758 202691 | 2147483647 149718 226 | 0.000 % |
145.75/145.92 c | 149930 | 15603 66758 202691 | 2147483647 149930 226 | 0.000 % |
146.05/146.29 c | 150165 | 15603 66758 202691 | 2147483647 150165 226 | 0.000 % |
146.45/146.68 c | 150421 | 15603 66758 202691 | 2147483647 150421 226 | 0.000 % |
146.85/147.08 c | 150702 | 15603 66758 202691 | 2147483647 150702 226 | 0.000 % |
147.35/147.51 c | 151011 | 15603 66758 202691 | 2147483647 151011 226 | 0.000 % |
147.85/148.05 c | 151353 | 15603 66758 202691 | 2147483647 151353 226 | 0.000 % |
148.35/148.51 c | 151725 | 15603 66758 202691 | 2147483647 151725 226 | 0.000 % |
148.94/149.11 c | 152134 | 15603 66758 202691 | 2147483647 152134 226 | 0.000 % |
149.54/149.77 c | 152586 | 15603 66758 202691 | 2147483647 152586 225 | 0.000 % |
150.24/150.47 c | 153079 | 15603 66758 202691 | 2147483647 153079 225 | 0.000 % |
150.95/151.19 c | 153622 | 15603 66758 202691 | 2147483647 153622 225 | 0.000 % |
151.75/151.99 c | 154219 | 15603 66758 202691 | 2147483647 154219 225 | 0.000 % |
152.74/152.97 c | 154876 | 15603 66758 202691 | 2147483647 154876 226 | 0.000 % |
153.74/153.92 c | 155599 | 15603 66758 202691 | 2147483647 155599 226 | 0.000 % |
154.84/155.05 c | 156391 | 15603 66758 202691 | 2147483647 156391 226 | 0.000 % |
156.04/156.30 c | 157262 | 15603 66758 202691 | 2147483647 157262 226 | 0.000 % |
157.54/157.70 c | 158221 | 15603 66758 202691 | 2147483647 158221 226 | 0.000 % |
158.84/159.08 c | 159275 | 15603 66758 202691 | 2147483647 159275 226 | 0.000 % |
160.44/160.61 c | 160433 | 15603 66758 202691 | 2147483647 160433 226 | 0.000 % |
162.23/162.44 c | 161707 | 15603 66758 202691 | 2147483647 161707 226 | 0.000 % |
164.14/164.36 c | 163108 | 15603 66758 202691 | 2147483647 163108 227 | 0.000 % |
166.33/166.54 c | 164648 | 15603 66758 202691 | 2147483647 164648 227 | 0.000 % |
168.73/168.91 c | 166344 | 15603 66758 202691 | 2147483647 166344 227 | 0.000 % |
168.83/169.06 c | 166446 | 15603 66758 202691 | 2147483647 166446 227 | 0.000 % |
169.03/169.25 c | 166557 | 15603 66758 202691 | 2147483647 166557 227 | 0.000 % |
169.24/169.47 c | 166678 | 15603 66758 202691 | 2147483647 166678 227 | 0.000 % |
169.53/169.72 c | 166813 | 15603 66758 202691 | 2147483647 166813 227 | 0.000 % |
169.73/169.96 c | 166965 | 15603 66758 202691 | 2147483647 166965 227 | 0.000 % |
170.03/170.23 c | 167125 | 15603 66758 202691 | 2147483647 167125 227 | 0.000 % |
170.34/170.52 c | 167303 | 15603 66758 202691 | 2147483647 167303 227 | 0.000 % |
170.63/170.82 c | 167497 | 15603 66758 202691 | 2147483647 167497 227 | 0.000 % |
170.93/171.18 c | 167709 | 15603 66758 202691 | 2147483647 167709 227 | 0.000 % |
171.33/171.57 c | 167942 | 15603 66758 202691 | 2147483647 167942 227 | 0.000 % |
171.73/171.96 c | 168200 | 15603 66758 202691 | 2147483647 168200 227 | 0.000 % |
172.13/172.38 c | 168482 | 15603 66758 202691 | 2147483647 168482 227 | 0.000 % |
172.73/172.92 c | 168792 | 15603 66758 202691 | 2147483647 168792 227 | 0.000 % |
173.23/173.47 c | 169131 | 15603 66758 202691 | 2147483647 169131 227 | 0.000 % |
173.83/174.04 c | 169503 | 15603 66758 202691 | 2147483647 169503 227 | 0.000 % |
174.42/174.68 c | 169913 | 15603 66758 202691 | 2147483647 169913 227 | 0.000 % |
175.13/175.33 c | 170362 | 15603 66758 202691 | 2147483647 170362 227 | 0.000 % |
175.83/176.02 c | 170855 | 15603 66758 202691 | 2147483647 170855 227 | 0.000 % |
176.53/176.78 c | 171398 | 15603 66758 202691 | 2147483647 171398 227 | 0.000 % |
177.43/177.64 c | 171998 | 15603 66758 202691 | 2147483647 171998 227 | 0.000 % |
178.33/178.57 c | 172655 | 15603 66758 202691 | 2147483647 172655 227 | 0.000 % |
179.42/179.64 c | 173376 | 15603 66758 202691 | 2147483647 173376 227 | 0.000 % |
180.62/180.86 c | 174170 | 15603 66758 202691 | 2147483647 174170 227 | 0.000 % |
181.83/182.09 c | 175041 | 15603 66758 202691 | 2147483647 175041 227 | 0.000 % |
183.22/183.46 c | 175999 | 15603 66758 202691 | 2147483647 175999 227 | 0.000 % |
184.82/185.07 c | 177052 | 15603 66758 202691 | 2147483647 177052 227 | 0.000 % |
186.53/186.76 c | 178210 | 15603 66758 202691 | 2147483647 178210 227 | 0.000 % |
188.32/188.56 c | 179484 | 15603 66758 202691 | 2147483647 179484 227 | 0.000 % |
190.33/190.51 c | 180884 | 15603 66758 202691 | 2147483647 180884 227 | 0.000 % |
192.52/192.74 c | 182425 | 15603 66758 202691 | 2147483647 182425 228 | 0.000 % |
195.01/195.24 c | 184119 | 15603 66758 202691 | 2147483647 184119 228 | 0.000 % |
197.72/197.94 c | 185982 | 15603 66758 202691 | 2147483647 185982 229 | 0.000 % |
197.92/198.11 c | 186082 | 15603 66758 202691 | 2147483647 186082 229 | 0.000 % |
198.12/198.31 c | 186193 | 15603 66758 202691 | 2147483647 186193 229 | 0.000 % |
198.32/198.53 c | 186314 | 15603 66758 202691 | 2147483647 186314 229 | 0.000 % |
198.52/198.76 c | 186447 | 15603 66758 202691 | 2147483647 186447 229 | 0.000 % |
198.82/199.05 c | 186594 | 15603 66758 202691 | 2147483647 186594 229 | 0.000 % |
199.12/199.36 c | 186754 | 15603 66758 202691 | 2147483647 186754 229 | 0.000 % |
199.42/199.65 c | 186930 | 15603 66758 202691 | 2147483647 186930 229 | 0.000 % |
199.72/199.99 c | 187125 | 15603 66758 202691 | 2147483647 187125 228 | 0.000 % |
200.12/200.34 c | 187337 | 15603 66758 202691 | 2147483647 187337 228 | 0.000 % |
200.51/200.74 c | 187570 | 15603 66758 202691 | 2147483647 187570 228 | 0.000 % |
201.01/201.21 c | 187826 | 15603 66758 202691 | 2147483647 187826 228 | 0.000 % |
201.41/201.67 c | 188110 | 15603 66758 202691 | 2147483647 188110 228 | 0.000 % |
202.01/202.20 c | 188419 | 15603 66758 202691 | 2147483647 188419 228 | 0.000 % |
202.51/202.74 c | 188759 | 15603 66758 202691 | 2147483647 188759 228 | 0.000 % |
203.11/203.35 c | 189131 | 15603 66758 202691 | 2147483647 189131 228 | 0.000 % |
203.72/203.93 c | 189540 | 15603 66758 202691 | 2147483647 189540 229 | 0.000 % |
204.42/204.67 c | 189990 | 15603 66758 202691 | 2147483647 189990 229 | 0.000 % |
205.21/205.47 c | 190486 | 15603 66758 202691 | 2147483647 190486 229 | 0.000 % |
206.11/206.33 c | 191030 | 15603 66758 202691 | 2147483647 191030 228 | 0.000 % |
207.11/207.33 c | 191626 | 15603 66758 202691 | 2147483647 191626 228 | 0.000 % |
208.11/208.36 c | 192282 | 15603 66758 202691 | 2147483647 192282 229 | 0.000 % |
209.21/209.49 c | 193003 | 15603 66758 202691 | 2147483647 193003 229 | 0.000 % |
210.51/210.79 c | 193797 | 15603 66758 202691 | 2147483647 193797 229 | 0.000 % |
212.00/212.20 c | 194668 | 15603 66758 202691 | 2147483647 194668 229 | 0.000 % |
213.51/213.71 c | 195626 | 15603 66758 202691 | 2147483647 195626 229 | 0.000 % |
215.21/215.42 c | 196679 | 15603 66758 202691 | 2147483647 196679 229 | 0.000 % |
217.11/217.31 c | 197837 | 15603 66758 202691 | 2147483647 197837 229 | 0.000 % |
219.21/219.45 c | 199110 | 15603 66758 202691 | 2147483647 199110 229 | 0.000 % |
221.20/221.47 c | 200512 | 15603 66758 202691 | 2147483647 200512 230 | 0.000 % |
223.70/223.93 c | 202052 | 15603 66758 202691 | 2147483647 202052 230 | 0.000 % |
226.30/226.52 c | 203748 | 15603 66758 202691 | 2147483647 203748 230 | 0.000 % |
229.20/229.43 c | 205612 | 15603 66758 202691 | 2147483647 205612 230 | 0.000 % |
232.30/232.50 c | 207661 | 15603 66758 202691 | 2147483647 207661 230 | 0.000 % |
232.40/232.69 c | 207761 | 15603 66758 202691 | 2147483647 207761 230 | 0.000 % |
232.70/232.91 c | 207872 | 15603 66758 202691 | 2147483647 207872 230 | 0.000 % |
232.90/233.11 c | 207993 | 15603 66758 202691 | 2147483647 207993 230 | 0.000 % |
233.10/233.40 c | 208126 | 15603 66758 202691 | 2147483647 208126 230 | 0.000 % |
233.40/233.67 c | 208273 | 15603 66758 202691 | 2147483647 208273 230 | 0.000 % |
233.69/233.94 c | 208435 | 15603 66758 202691 | 2147483647 208435 230 | 0.000 % |
234.10/234.32 c | 208612 | 15603 66758 202691 | 2147483647 208612 230 | 0.000 % |
234.39/234.68 c | 208805 | 15603 66758 202691 | 2147483647 208805 230 | 0.000 % |
234.89/235.12 c | 209018 | 15603 66758 202691 | 2147483647 209018 230 | 0.000 % |
235.29/235.57 c | 209251 | 15603 66758 202691 | 2147483647 209251 230 | 0.000 % |
235.79/236.05 c | 209507 | 15603 66758 202691 | 2147483647 209507 230 | 0.000 % |
236.29/236.57 c | 209788 | 15603 66758 202691 | 2147483647 209788 230 | 0.000 % |
236.89/237.12 c | 210098 | 15603 66758 202691 | 2147483647 210098 230 | 0.000 % |
237.50/237.75 c | 210438 | 15603 66758 202691 | 2147483647 210438 230 | 0.000 % |
238.10/238.39 c | 210811 | 15603 66758 202691 | 2147483647 210811 230 | 0.000 % |
238.80/239.08 c | 211220 | 15603 66758 202691 | 2147483647 211220 230 | 0.000 % |
239.69/239.91 c | 211669 | 15603 66758 202691 | 2147483647 211669 230 | 0.000 % |
240.49/240.77 c | 212163 | 15603 66758 202691 | 2147483647 212163 230 | 0.000 % |
241.29/241.59 c | 212706 | 15603 66758 202691 | 2147483647 212706 230 | 0.000 % |
242.28/242.55 c | 213305 | 15603 66758 202691 | 2147483647 213305 230 | 0.000 % |
243.39/243.63 c | 213960 | 15603 66758 202691 | 2147483647 213960 230 | 0.000 % |
244.49/244.75 c | 214680 | 15603 66758 202691 | 2147483647 214680 231 | 0.000 % |
245.78/246.05 c | 215473 | 15603 66758 202691 | 2147483647 215473 231 | 0.000 % |
247.29/247.54 c | 216344 | 15603 66758 202691 | 2147483647 216344 231 | 0.000 % |
248.79/249.04 c | 217303 | 15603 66758 202691 | 2147483647 217303 231 | 0.000 % |
250.49/250.79 c | 218356 | 15603 66758 202691 | 2147483647 218356 231 | 0.000 % |
252.48/252.71 c | 219514 | 15603 66758 202691 | 2147483647 219514 231 | 0.000 % |
254.69/254.97 c | 220787 | 15603 66758 202691 | 2147483647 220787 231 | 0.000 % |
257.18/257.43 c | 222187 | 15603 66758 202691 | 2147483647 222187 231 | 0.000 % |
259.68/259.96 c | 223727 | 15603 66758 202691 | 2147483647 223727 232 | 0.000 % |
262.58/262.85 c | 225423 | 15603 66758 202691 | 2147483647 225423 232 | 0.000 % |
265.58/265.83 c | 227287 | 15603 66758 202691 | 2147483647 227287 232 | 0.000 % |
268.87/269.16 c | 229337 | 15603 66758 202691 | 2147483647 229337 232 | 0.000 % |
272.47/272.80 c | 231592 | 15603 66758 202691 | 2147483647 231592 233 | 0.000 % |
272.77/273.02 c | 231692 | 15603 66758 202691 | 2147483647 231692 233 | 0.000 % |
272.97/273.26 c | 231803 | 15603 66758 202691 | 2147483647 231803 233 | 0.000 % |
273.27/273.54 c | 231925 | 15603 66758 202691 | 2147483647 231925 233 | 0.000 % |
273.57/273.82 c | 232058 | 15603 66758 202691 | 2147483647 232058 233 | 0.000 % |
273.87/274.15 c | 232204 | 15603 66758 202691 | 2147483647 232204 233 | 0.000 % |
274.18/274.46 c | 232364 | 15603 66758 202691 | 2147483647 232364 233 | 0.000 % |
274.58/274.84 c | 232540 | 15603 66758 202691 | 2147483647 232540 233 | 0.000 % |
274.98/275.23 c | 232733 | 15603 66758 202691 | 2147483647 232733 233 | 0.000 % |
275.38/275.68 c | 232945 | 15603 66758 202691 | 2147483647 232945 233 | 0.000 % |
275.88/276.14 c | 233179 | 15603 66758 202691 | 2147483647 233179 233 | 0.000 % |
276.38/276.63 c | 233435 | 15603 66758 202691 | 2147483647 233435 233 | 0.000 % |
276.88/277.20 c | 233716 | 15603 66758 202691 | 2147483647 233716 233 | 0.000 % |
277.47/277.75 c | 234026 | 15603 66758 202691 | 2147483647 234026 233 | 0.000 % |
278.18/278.42 c | 234366 | 15603 66758 202691 | 2147483647 234366 233 | 0.000 % |
278.87/279.11 c | 234738 | 15603 66758 202691 | 2147483647 234738 233 | 0.000 % |
279.57/279.81 c | 235148 | 15603 66758 202691 | 2147483647 235148 233 | 0.000 % |
280.37/280.67 c | 235597 | 15603 66758 202691 | 2147483647 235597 233 | 0.000 % |
281.27/281.58 c | 236090 | 15603 66758 202691 | 2147483647 236090 233 | 0.000 % |
282.37/282.63 c | 236633 | 15603 66758 202691 | 2147483647 236633 233 | 0.000 % |
283.37/283.66 c | 237230 | 15603 66758 202691 | 2147483647 237230 233 | 0.000 % |
284.67/284.95 c | 237886 | 15603 66758 202691 | 2147483647 237886 233 | 0.000 % |
286.06/286.34 c | 238606 | 15603 66758 202691 | 2147483647 238606 233 | 0.000 % |
287.46/287.74 c | 239398 | 15603 66758 202691 | 2147483647 239398 233 | 0.000 % |
288.97/289.28 c | 240269 | 15603 66758 202691 | 2147483647 240269 233 | 0.000 % |
290.76/291.02 c | 241228 | 15603 66758 202691 | 2147483647 241228 233 | 0.000 % |
292.56/292.82 c | 242281 | 15603 66758 202691 | 2147483647 242281 233 | 0.000 % |
294.46/294.80 c | 243439 | 15603 66758 202691 | 2147483647 243439 234 | 0.000 % |
296.77/297.05 c | 244713 | 15603 66758 202691 | 2147483647 244713 234 | 0.000 % |
299.35/299.69 c | 246114 | 15603 66758 202691 | 2147483647 246114 234 | 0.000 % |
302.06/302.34 c | 247655 | 15603 66758 202691 | 2147483647 247655 234 | 0.000 % |
304.95/305.26 c | 249353 | 15603 66758 202691 | 2147483647 249353 234 | 0.000 % |
308.36/308.60 c | 251218 | 15603 66758 202691 | 2147483647 251218 235 | 0.000 % |
311.96/312.23 c | 253271 | 15603 66758 202691 | 2147483647 253271 236 | 0.000 % |
316.05/316.38 c | 255525 | 15603 66758 202691 | 2147483647 255525 236 | 0.000 % |
320.55/320.82 c | 258003 | 15603 66758 202691 | 2147483647 258003 237 | 0.000 % |
320.75/321.08 c | 258103 | 15603 66758 202691 | 2147483647 258103 237 | 0.000 % |
321.05/321.34 c | 258216 | 15603 66758 202691 | 2147483647 258216 237 | 0.000 % |
321.35/321.61 c | 258339 | 15603 66758 202691 | 2147483647 258339 237 | 0.000 % |
321.65/321.92 c | 258472 | 15603 66758 202691 | 2147483647 258472 237 | 0.000 % |
321.95/322.25 c | 258619 | 15603 66758 202691 | 2147483647 258619 237 | 0.000 % |
322.35/322.62 c | 258780 | 15603 66758 202691 | 2147483647 258780 237 | 0.000 % |
322.75/323.01 c | 258957 | 15603 66758 202691 | 2147483647 258957 237 | 0.000 % |
323.15/323.42 c | 259150 | 15603 66758 202691 | 2147483647 259150 237 | 0.000 % |
323.55/323.88 c | 259362 | 15603 66758 202691 | 2147483647 259362 237 | 0.000 % |
324.05/324.37 c | 259595 | 15603 66758 202691 | 2147483647 259595 237 | 0.000 % |
324.65/324.91 c | 259857 | 15603 66758 202691 | 2147483647 259857 237 | 0.000 % |
325.15/325.43 c | 260138 | 15603 66758 202691 | 2147483647 260138 237 | 0.000 % |
325.75/326.03 c | 260447 | 15603 66758 202691 | 2147483647 260447 237 | 0.000 % |
326.46/326.74 c | 260786 | 15603 66758 202691 | 2147483647 260786 237 | 0.000 % |
327.25/327.51 c | 261160 | 15603 66758 202691 | 2147483647 261160 237 | 0.000 % |
328.05/328.35 c | 261569 | 15603 66758 202691 | 2147483647 261569 237 | 0.000 % |
328.95/329.24 c | 262019 | 15603 66758 202691 | 2147483647 262019 237 | 0.000 % |
330.04/330.36 c | 262512 | 15603 66758 202691 | 2147483647 262512 237 | 0.000 % |
331.14/331.49 c | 263054 | 15603 66758 202691 | 2147483647 263054 237 | 0.000 % |
332.34/332.69 c | 263650 | 15603 66758 202691 | 2147483647 263650 237 | 0.000 % |
333.64/333.97 c | 264305 | 15603 66758 202691 | 2147483647 264305 237 | 0.000 % |
335.04/335.33 c | 265025 | 15603 66758 202691 | 2147483647 265025 237 | 0.000 % |
336.73/337.05 c | 265817 | 15603 66758 202691 | 2147483647 265817 237 | 0.000 % |
338.34/338.69 c | 266692 | 15603 66758 202691 | 2147483647 266692 237 | 0.000 % |
340.14/340.48 c | 267650 | 15603 66758 202691 | 2147483647 267650 237 | 0.000 % |
342.14/342.41 c | 268703 | 15603 66758 202691 | 2147483647 268703 237 | 0.000 % |
344.43/344.73 c | 269862 | 15603 66758 202691 | 2147483647 269862 237 | 0.000 % |
346.84/347.19 c | 271135 | 15603 66758 202691 | 2147483647 271135 238 | 0.000 % |
349.64/349.95 c | 272536 | 15603 66758 202691 | 2147483647 272536 238 | 0.000 % |
352.43/352.79 c | 274076 | 15603 66758 202691 | 2147483647 274076 238 | 0.000 % |
355.73/356.09 c | 275770 | 15603 66758 202691 | 2147483647 275770 238 | 0.000 % |
359.44/359.73 c | 277634 | 15603 66758 202691 | 2147483647 277634 238 | 0.000 % |
363.23/363.52 c | 279683 | 15603 66758 202691 | 2147483647 279683 239 | 0.000 % |
367.73/368.02 c | 281936 | 15603 66758 202691 | 2147483647 281936 240 | 0.000 % |
372.53/372.87 c | 284414 | 15603 66758 202691 | 2147483647 284414 241 | 0.000 % |
377.52/377.86 c | 287139 | 15603 66758 202691 | 2147483647 287139 241 | 0.000 % |
377.82/378.15 c | 287240 | 15603 66758 202691 | 2147483647 287240 241 | 0.000 % |
378.12/378.43 c | 287350 | 15603 66758 202691 | 2147483647 287350 241 | 0.000 % |
378.42/378.75 c | 287472 | 15603 66758 202691 | 2147483647 287472 241 | 0.000 % |
378.72/379.08 c | 287605 | 15603 66758 202691 | 2147483647 287605 241 | 0.000 % |
379.12/379.43 c | 287754 | 15603 66758 202691 | 2147483647 287754 241 | 0.000 % |
379.52/379.82 c | 287914 | 15603 66758 202691 | 2147483647 287914 241 | 0.000 % |
379.92/380.21 c | 288090 | 15603 66758 202691 | 2147483647 288090 241 | 0.000 % |
380.32/380.67 c | 288283 | 15603 66758 202691 | 2147483647 288283 241 | 0.000 % |
380.82/381.20 c | 288496 | 15603 66758 202691 | 2147483647 288496 241 | 0.000 % |
381.32/381.70 c | 288730 | 15603 66758 202691 | 2147483647 288730 241 | 0.000 % |
381.92/382.23 c | 288986 | 15603 66758 202691 | 2147483647 288986 241 | 0.000 % |
382.52/382.83 c | 289268 | 15603 66758 202691 | 2147483647 289268 241 | 0.000 % |
383.21/383.51 c | 289577 | 15603 66758 202691 | 2147483647 289577 241 | 0.000 % |
384.01/384.31 c | 289916 | 15603 66758 202691 | 2147483647 289916 241 | 0.000 % |
384.72/385.08 c | 290288 | 15603 66758 202691 | 2147483647 290288 241 | 0.000 % |
385.61/385.98 c | 290697 | 15603 66758 202691 | 2147483647 290697 241 | 0.000 % |
386.61/386.93 c | 291146 | 15603 66758 202691 | 2147483647 291146 241 | 0.000 % |
387.61/387.98 c | 291642 | 15603 66758 202691 | 2147483647 291642 241 | 0.000 % |
388.81/389.16 c | 292184 | 15603 66758 202691 | 2147483647 292184 241 | 0.000 % |
390.11/390.41 c | 292781 | 15603 66758 202691 | 2147483647 292781 241 | 0.000 % |
391.51/391.83 c | 293436 | 15603 66758 202691 | 2147483647 293436 241 | 0.000 % |
393.01/393.38 c | 294158 | 15603 66758 202691 | 2147483647 294158 241 | 0.000 % |
394.72/395.08 c | 294950 | 15603 66758 202691 | 2147483647 294950 241 | 0.000 % |
396.61/396.95 c | 295822 | 15603 66758 202691 | 2147483647 295822 241 | 0.000 % |
398.61/398.98 c | 296780 | 15603 66758 202691 | 2147483647 296780 241 | 0.000 % |
400.80/401.11 c | 297833 | 15603 66758 202691 | 2147483647 297833 241 | 0.000 % |
403.11/403.42 c | 298992 | 15603 66758 202691 | 2147483647 298992 241 | 0.000 % |
405.71/406.07 c | 300265 | 15603 66758 202691 | 2147483647 300265 241 | 0.000 % |
408.60/409.00 c | 301665 | 15603 66758 202691 | 2147483647 301665 241 | 0.000 % |
412.00/412.38 c | 303205 | 15603 66758 202691 | 2147483647 303205 242 | 0.000 % |
415.40/415.76 c | 304903 | 15603 66758 202691 | 2147483647 304903 242 | 0.000 % |
419.10/419.46 c | 306768 | 15603 66758 202691 | 2147483647 306768 242 | 0.000 % |
423.38/423.71 c | 308818 | 15603 66758 202691 | 2147483647 308818 242 | 0.000 % |
427.88/428.26 c | 311072 | 15603 66758 202691 | 2147483647 311072 242 | 0.000 % |
433.18/433.54 c | 313550 | 15603 66758 202691 | 2147483647 313550 243 | 0.000 % |
438.78/439.19 c | 316275 | 15603 66758 202691 | 2147483647 316275 243 | 0.000 % |
445.18/445.55 c | 319272 | 15603 66758 202691 | 2147483647 319272 244 | 0.000 % |
445.48/445.80 c | 319372 | 15603 66758 202691 | 2147483647 319372 244 | 0.000 % |
445.68/446.08 c | 319482 | 15603 66758 202691 | 2147483647 319482 244 | 0.000 % |
446.08/446.42 c | 319604 | 15603 66758 202691 | 2147483647 319604 243 | 0.000 % |
446.39/446.77 c | 319737 | 15603 66758 202691 | 2147483647 319737 243 | 0.000 % |
446.78/447.18 c | 319883 | 15603 66758 202691 | 2147483647 319883 243 | 0.000 % |
447.28/447.60 c | 320043 | 15603 66758 202691 | 2147483647 320043 243 | 0.000 % |
447.78/448.12 c | 320224 | 15603 66758 202691 | 2147483647 320224 243 | 0.000 % |
448.18/448.55 c | 320417 | 15603 66758 202691 | 2147483647 320417 243 | 0.000 % |
448.68/449.06 c | 320629 | 15603 66758 202691 | 2147483647 320629 243 | 0.000 % |
449.28/449.62 c | 320863 | 15603 66758 202691 | 2147483647 320863 243 | 0.000 % |
449.88/450.25 c | 321119 | 15603 66758 202691 | 2147483647 321119 243 | 0.000 % |
450.48/450.89 c | 321402 | 15603 66758 202691 | 2147483647 321402 243 | 0.000 % |
451.28/451.65 c | 321711 | 15603 66758 202691 | 2147483647 321711 243 | 0.000 % |
452.08/452.43 c | 322051 | 15603 66758 202691 | 2147483647 322051 243 | 0.000 % |
452.98/453.34 c | 322424 | 15603 66758 202691 | 2147483647 322424 243 | 0.000 % |
453.98/454.33 c | 322835 | 15603 66758 202691 | 2147483647 322835 243 | 0.000 % |
455.08/455.44 c | 323284 | 15603 66758 202691 | 2147483647 323284 243 | 0.000 % |
456.28/456.61 c | 323777 | 15603 66758 202691 | 2147483647 323777 243 | 0.000 % |
457.47/457.88 c | 324319 | 15603 66758 202691 | 2147483647 324319 243 | 0.000 % |
458.98/459.32 c | 324915 | 15603 66758 202691 | 2147483647 324915 243 | 0.000 % |
460.48/460.84 c | 325571 | 15603 66758 202691 | 2147483647 325571 243 | 0.000 % |
462.17/462.54 c | 326292 | 15603 66758 202691 | 2147483647 326292 243 | 0.000 % |
463.97/464.33 c | 327084 | 15603 66758 202691 | 2147483647 327084 243 | 0.000 % |
465.96/466.37 c | 327955 | 15603 66758 202691 | 2147483647 327955 243 | 0.000 % |
468.06/468.44 c | 328913 | 15603 66758 202691 | 2147483647 328913 243 | 0.000 % |
470.26/470.69 c | 329967 | 15603 66758 202691 | 2147483647 329967 243 | 0.000 % |
472.86/473.27 c | 331125 | 15603 66758 202691 | 2147483647 331125 243 | 0.000 % |
475.66/476.07 c | 332399 | 15603 66758 202691 | 2147483647 332399 243 | 0.000 % |
478.66/479.06 c | 333800 | 15603 66758 202691 | 2147483647 333800 243 | 0.000 % |
482.05/482.47 c | 335340 | 15603 66758 202691 | 2147483647 335340 243 | 0.000 % |
485.76/486.16 c | 337034 | 15603 66758 202691 | 2147483647 337034 244 | 0.000 % |
489.86/490.24 c | 338900 | 15603 66758 202691 | 2147483647 338900 244 | 0.000 % |
494.25/494.61 c | 340949 | 15603 66758 202691 | 2147483647 340949 244 | 0.000 % |
499.35/499.74 c | 343202 | 15603 66758 202691 | 2147483647 343202 245 | 0.000 % |
504.74/505.10 c | 345681 | 15603 66758 202691 | 2147483647 345681 245 | 0.000 % |
510.64/511.07 c | 348407 | 15603 66758 202691 | 2147483647 348407 245 | 0.000 % |
517.04/517.43 c | 351404 | 15603 66758 202691 | 2147483647 351404 245 | 0.000 % |
524.14/524.55 c | 354700 | 15603 66758 202691 | 2147483647 354700 246 | 0.000 % |
524.44/524.85 c | 354801 | 15603 66758 202691 | 2147483647 354801 246 | 0.000 % |
524.73/525.18 c | 354912 | 15603 66758 202691 | 2147483647 354912 246 | 0.000 % |
525.13/525.54 c | 355034 | 15603 66758 202691 | 2147483647 355034 246 | 0.000 % |
525.63/526.00 c | 355167 | 15603 66758 202691 | 2147483647 355167 246 | 0.000 % |
526.03/526.44 c | 355314 | 15603 66758 202691 | 2147483647 355314 246 | 0.000 % |
526.54/526.93 c | 355474 | 15603 66758 202691 | 2147483647 355474 246 | 0.000 % |
527.03/527.43 c | 355652 | 15603 66758 202691 | 2147483647 355652 246 | 0.000 % |
527.54/527.96 c | 355846 | 15603 66758 202691 | 2147483647 355846 246 | 0.000 % |
528.04/528.49 c | 356058 | 15603 66758 202691 | 2147483647 356058 246 | 0.000 % |
528.74/529.12 c | 356291 | 15603 66758 202691 | 2147483647 356291 246 | 0.000 % |
529.44/529.85 c | 356548 | 15603 66758 202691 | 2147483647 356548 246 | 0.000 % |
530.23/530.60 c | 356829 | 15603 66758 202691 | 2147483647 356829 246 | 0.000 % |
530.94/531.40 c | 357138 | 15603 66758 202691 | 2147483647 357138 246 | 0.000 % |
531.83/532.25 c | 357479 | 15603 66758 202691 | 2147483647 357479 246 | 0.000 % |
532.73/533.12 c | 357852 | 15603 66758 202691 | 2147483647 357852 246 | 0.000 % |
533.63/534.09 c | 358261 | 15603 66758 202691 | 2147483647 358261 246 | 0.000 % |
534.73/535.17 c | 358710 | 15603 66758 202691 | 2147483647 358710 246 | 0.000 % |
536.03/536.43 c | 359203 | 15603 66758 202691 | 2147483647 359203 246 | 0.000 % |
537.33/537.78 c | 359746 | 15603 66758 202691 | 2147483647 359746 246 | 0.000 % |
538.92/539.30 c | 360342 | 15603 66758 202691 | 2147483647 360342 246 | 0.000 % |
540.53/540.92 c | 360999 | 15603 66758 202691 | 2147483647 360999 246 | 0.000 % |
542.33/542.73 c | 361720 | 15603 66758 202691 | 2147483647 361720 246 | 0.000 % |
544.23/544.67 c | 362512 | 15603 66758 202691 | 2147483647 362512 246 | 0.000 % |
546.33/546.77 c | 363385 | 15603 66758 202691 | 2147483647 363385 246 | 0.000 % |
548.73/549.11 c | 364343 | 15603 66758 202691 | 2147483647 364343 246 | 0.000 % |
551.33/551.72 c | 365398 | 15603 66758 202691 | 2147483647 365398 246 | 0.000 % |
554.12/554.59 c | 366557 | 15603 66758 202691 | 2147483647 366557 247 | 0.000 % |
557.32/557.79 c | 367832 | 15603 66758 202691 | 2147483647 367832 247 | 0.000 % |
560.52/560.90 c | 369232 | 15603 66758 202691 | 2147483647 369232 247 | 0.000 % |
564.32/564.78 c | 370772 | 15603 66758 202691 | 2147483647 370772 247 | 0.000 % |
568.12/568.58 c | 372467 | 15603 66758 202691 | 2147483647 372467 247 | 0.000 % |
572.51/573.00 c | 374330 | 15603 66758 202691 | 2147483647 374330 248 | 0.000 % |
577.42/577.89 c | 376380 | 15603 66758 202691 | 2147483647 376380 248 | 0.000 % |
582.91/583.31 c | 378635 | 15603 66758 202691 | 2147483647 378635 248 | 0.000 % |
588.71/589.15 c | 381114 | 15603 66758 202691 | 2147483647 381114 248 | 0.000 % |
595.20/595.66 c | 383839 | 15603 66758 202691 | 2147483647 383839 249 | 0.000 % |
602.29/602.79 c | 386838 | 15603 66758 202691 | 2147483647 386838 249 | 0.000 % |
609.59/610.05 c | 390134 | 15603 66758 202691 | 2147483647 390134 250 | 0.000 % |
618.49/618.95 c | 393762 | 15603 66758 202691 | 2147483647 393762 250 | 0.000 % |
618.79/619.24 c | 393862 | 15603 66758 202691 | 2147483647 393862 250 | 0.000 % |
619.19/619.62 c | 393972 | 15603 66758 202691 | 2147483647 393972 250 | 0.000 % |
619.59/620.00 c | 394095 | 15603 66758 202691 | 2147483647 394095 250 | 0.000 % |
619.99/620.46 c | 394228 | 15603 66758 202691 | 2147483647 394228 250 | 0.000 % |
620.48/620.90 c | 394374 | 15603 66758 202691 | 2147483647 394374 250 | 0.000 % |
620.98/621.43 c | 394534 | 15603 66758 202691 | 2147483647 394534 250 | 0.000 % |
621.58/622.04 c | 394711 | 15603 66758 202691 | 2147483647 394711 250 | 0.000 % |
622.19/622.63 c | 394904 | 15603 66758 202691 | 2147483647 394904 250 | 0.000 % |
622.79/623.27 c | 395117 | 15603 66758 202691 | 2147483647 395117 250 | 0.000 % |
623.59/624.00 c | 395351 | 15603 66758 202691 | 2147483647 395351 250 | 0.000 % |
624.29/624.71 c | 395608 | 15603 66758 202691 | 2147483647 395608 250 | 0.000 % |
625.09/625.58 c | 395892 | 15603 66758 202691 | 2147483647 395892 250 | 0.000 % |
625.99/626.47 c | 396201 | 15603 66758 202691 | 2147483647 396201 250 | 0.000 % |
626.99/627.42 c | 396540 | 15603 66758 202691 | 2147483647 396540 250 | 0.000 % |
628.08/628.56 c | 396912 | 15603 66758 202691 | 2147483647 396912 250 | 0.000 % |
629.28/629.76 c | 397321 | 15603 66758 202691 | 2147483647 397321 250 | 0.000 % |
630.58/631.01 c | 397770 | 15603 66758 202691 | 2147483647 397770 250 | 0.000 % |
631.98/632.45 c | 398265 | 15603 66758 202691 | 2147483647 398265 250 | 0.000 % |
633.38/633.87 c | 398809 | 15603 66758 202691 | 2147483647 398809 250 | 0.000 % |
634.99/635.46 c | 399409 | 15603 66758 202691 | 2147483647 399409 250 | 0.000 % |
636.69/637.15 c | 400064 | 15603 66758 202691 | 2147483647 400064 250 | 0.000 % |
638.69/639.14 c | 400784 | 15603 66758 202691 | 2147483647 400784 250 | 0.000 % |
640.58/641.08 c | 401576 | 15603 66758 202691 | 2147483647 401576 250 | 0.000 % |
642.98/643.46 c | 402447 | 15603 66758 202691 | 2147483647 402447 250 | 0.000 % |
645.38/645.83 c | 403406 | 15603 66758 202691 | 2147483647 403406 250 | 0.000 % |
647.97/648.48 c | 404459 | 15603 66758 202691 | 2147483647 404459 250 | 0.000 % |
650.87/651.36 c | 405617 | 15603 66758 202691 | 2147483647 405617 250 | 0.000 % |
654.27/654.72 c | 406890 | 15603 66758 202691 | 2147483647 406890 250 | 0.000 % |
657.67/658.10 c | 408291 | 15603 66758 202691 | 2147483647 408291 250 | 0.000 % |
661.77/662.25 c | 409831 | 15603 66758 202691 | 2147483647 409831 250 | 0.000 % |
665.86/666.35 c | 411527 | 15603 66758 202691 | 2147483647 411527 250 | 0.000 % |
670.76/671.29 c | 413390 | 15603 66758 202691 | 2147483647 413390 251 | 0.000 % |
676.26/676.70 c | 415440 | 15603 66758 202691 | 2147483647 415440 251 | 0.000 % |
682.06/682.53 c | 417693 | 15603 66758 202691 | 2147483647 417693 251 | 0.000 % |
688.46/688.93 c | 420171 | 15603 66758 202691 | 2147483647 420171 251 | 0.000 % |
695.85/696.40 c | 422897 | 15603 66758 202691 | 2147483647 422897 251 | 0.000 % |
703.45/703.92 c | 425895 | 15603 66758 202691 | 2147483647 425895 251 | 0.000 % |
712.04/712.56 c | 429193 | 15603 66758 202691 | 2147483647 429193 251 | 0.000 % |
721.15/721.68 c | 432818 | 15603 66758 202691 | 2147483647 432818 251 | 0.000 % |
731.63/732.13 c | 436805 | 15603 66758 202691 | 2147483647 436805 251 | 0.000 % |
731.93/732.45 c | 436905 | 15603 66758 202691 | 2147483647 436905 251 | 0.000 % |
732.33/732.80 c | 437016 | 15603 66758 202691 | 2147483647 437016 251 | 0.000 % |
732.83/733.36 c | 437138 | 15603 66758 202691 | 2147483647 437138 251 | 0.000 % |
733.34/733.84 c | 437271 | 15603 66758 202691 | 2147483647 437271 251 | 0.000 % |
733.83/734.37 c | 437417 | 15603 66758 202691 | 2147483647 437417 251 | 0.000 % |
734.43/734.99 c | 437578 | 15603 66758 202691 | 2147483647 437578 251 | 0.000 % |
735.13/735.66 c | 437754 | 15603 66758 202691 | 2147483647 437754 251 | 0.000 % |
735.73/736.27 c | 437950 | 15603 66758 202691 | 2147483647 437950 251 | 0.000 % |
736.43/736.97 c | 438162 | 15603 66758 202691 | 2147483647 438162 251 | 0.000 % |
737.23/737.75 c | 438396 | 15603 66758 202691 | 2147483647 438396 251 | 0.000 % |
738.03/738.56 c | 438652 | 15603 66758 202691 | 2147483647 438652 251 | 0.000 % |
738.93/739.48 c | 438934 | 15603 66758 202691 | 2147483647 438934 251 | 0.000 % |
739.93/740.43 c | 439243 | 15603 66758 202691 | 2147483647 439243 251 | 0.000 % |
740.93/741.43 c | 439582 | 15603 66758 202691 | 2147483647 439582 251 | 0.000 % |
742.22/742.73 c | 439955 | 15603 66758 202691 | 2147483647 439955 251 | 0.000 % |
743.52/744.03 c | 440367 | 15603 66758 202691 | 2147483647 440367 251 | 0.000 % |
744.82/745.36 c | 440816 | 15603 66758 202691 | 2147483647 440816 251 | 0.000 % |
746.22/746.78 c | 441309 | 15603 66758 202691 | 2147483647 441309 251 | 0.000 % |
747.82/748.37 c | 441852 | 15603 66758 202691 | 2147483647 441852 251 | 0.000 % |
749.52/750.06 c | 442448 | 15603 66758 202691 | 2147483647 442448 251 | 0.000 % |
751.52/752.02 c | 443103 | 15603 66758 202691 | 2147483647 443103 251 | 0.000 % |
753.62/754.16 c | 443823 | 15603 66758 202691 | 2147483647 443823 251 | 0.000 % |
755.92/756.49 c | 444615 | 15603 66758 202691 | 2147483647 444615 251 | 0.000 % |
758.32/758.86 c | 445486 | 15603 66758 202691 | 2147483647 445486 251 | 0.000 % |
761.02/761.57 c | 446446 | 15603 66758 202691 | 2147483647 446446 251 | 0.000 % |
764.02/764.53 c | 447499 | 15603 66758 202691 | 2147483647 447499 251 | 0.000 % |
767.22/767.75 c | 448657 | 15603 66758 202691 | 2147483647 448657 251 | 0.000 % |
770.81/771.37 c | 449935 | 15603 66758 202691 | 2147483647 449935 251 | 0.000 % |
774.41/774.94 c | 451336 | 15603 66758 202691 | 2147483647 451336 251 | 0.000 % |
778.81/779.33 c | 452878 | 15603 66758 202691 | 2147483647 452878 251 | 0.000 % |
783.40/783.97 c | 454574 | 15603 66758 202691 | 2147483647 454574 251 | 0.000 % |
788.70/789.21 c | 456437 | 15603 66758 202691 | 2147483647 456437 251 | 0.000 % |
794.40/794.95 c | 458486 | 15603 66758 202691 | 2147483647 458486 252 | 0.000 % |
800.59/801.11 c | 460740 | 15603 66758 202691 | 2147483647 460740 252 | 0.000 % |
807.39/807.98 c | 463218 | 15603 66758 202691 | 2147483647 463218 252 | 0.000 % |
815.08/815.67 c | 465943 | 15603 66758 202691 | 2147483647 465943 252 | 0.000 % |
823.68/824.24 c | 468940 | 15603 66758 202691 | 2147483647 468940 252 | 0.000 % |
832.77/833.32 c | 472238 | 15603 66758 202691 | 2147483647 472238 252 | 0.000 % |
842.77/843.34 c | 475864 | 15603 66758 202691 | 2147483647 475864 253 | 0.000 % |
853.17/853.79 c | 479852 | 15603 66758 202691 | 2147483647 479852 253 | 0.000 % |
864.27/864.88 c | 484237 | 15603 66758 202691 | 2147483647 484237 254 | 0.000 % |
864.67/865.20 c | 484338 | 15603 66758 202691 | 2147483647 484338 254 | 0.000 % |
865.07/865.68 c | 484450 | 15603 66758 202691 | 2147483647 484450 254 | 0.000 % |
865.57/866.13 c | 484573 | 15603 66758 202691 | 2147483647 484573 254 | 0.000 % |
866.07/866.70 c | 484706 | 15603 66758 202691 | 2147483647 484706 254 | 0.000 % |
866.67/867.26 c | 484854 | 15603 66758 202691 | 2147483647 484854 254 | 0.000 % |
867.37/867.91 c | 485015 | 15603 66758 202691 | 2147483647 485015 254 | 0.000 % |
868.06/868.64 c | 485191 | 15603 66758 202691 | 2147483647 485191 254 | 0.000 % |
868.76/869.31 c | 485386 | 15603 66758 202691 | 2147483647 485386 254 | 0.000 % |
869.46/870.08 c | 485598 | 15603 66758 202691 | 2147483647 485598 254 | 0.000 % |
870.36/870.94 c | 485832 | 15603 66758 202691 | 2147483647 485832 254 | 0.000 % |
871.15/871.72 c | 486089 | 15603 66758 202691 | 2147483647 486089 254 | 0.000 % |
872.06/872.68 c | 486370 | 15603 66758 202691 | 2147483647 486370 254 | 0.000 % |
873.05/873.68 c | 486680 | 15603 66758 202691 | 2147483647 486680 254 | 0.000 % |
874.25/874.85 c | 487020 | 15603 66758 202691 | 2147483647 487020 254 | 0.000 % |
875.65/876.21 c | 487393 | 15603 66758 202691 | 2147483647 487393 254 | 0.000 % |
876.95/877.58 c | 487802 | 15603 66758 202691 | 2147483647 487802 254 | 0.000 % |
878.55/879.14 c | 488253 | 15603 66758 202691 | 2147483647 488253 254 | 0.000 % |
880.06/880.68 c | 488747 | 15603 66758 202691 | 2147483647 488747 254 | 0.000 % |
881.66/882.26 c | 489289 | 15603 66758 202691 | 2147483647 489289 254 | 0.000 % |
883.55/884.18 c | 489885 | 15603 66758 202691 | 2147483647 489885 254 | 0.000 % |
885.55/886.15 c | 490542 | 15603 66758 202691 | 2147483647 490542 254 | 0.000 % |
887.74/888.39 c | 491263 | 15603 66758 202691 | 2147483647 491263 254 | 0.000 % |
890.45/891.05 c | 492056 | 15603 66758 202691 | 2147483647 492056 254 | 0.000 % |
893.25/893.90 c | 492929 | 15603 66758 202691 | 2147483647 492929 254 | 0.000 % |
896.24/896.85 c | 493887 | 15603 66758 202691 | 2147483647 493887 254 | 0.000 % |
899.34/899.95 c | 494942 | 15603 66758 202691 | 2147483647 494942 254 | 0.000 % |
902.94/903.53 c | 496100 | 15603 66758 202691 | 2147483647 496100 254 | 0.000 % |
906.74/907.37 c | 497373 | 15603 66758 202691 | 2147483647 497373 254 | 0.000 % |
910.84/911.45 c | 498773 | 15603 66758 202691 | 2147483647 498773 254 | 0.000 % |
915.33/915.96 c | 500313 | 15603 66758 202691 | 2147483647 500313 254 | 0.000 % |
920.53/921.10 c | 502008 | 15603 66758 202691 | 2147483647 502008 254 | 0.000 % |
926.23/926.89 c | 503872 | 15603 66758 202691 | 2147483647 503872 254 | 0.000 % |
932.12/932.76 c | 505923 | 15603 66758 202691 | 2147483647 505923 254 | 0.000 % |
938.72/939.35 c | 508181 | 15603 66758 202691 | 2147483647 508181 254 | 0.000 % |
946.12/946.70 c | 510662 | 15603 66758 202691 | 2147483647 510662 255 | 0.000 % |
953.91/954.50 c | 513389 | 15603 66758 202691 | 2147483647 513389 255 | 0.000 % |
962.61/963.24 c | 516386 | 15603 66758 202691 | 2147483647 516386 255 | 0.000 % |
972.31/972.97 c | 519684 | 15603 66758 202691 | 2147483647 519684 255 | 0.000 % |
983.30/983.95 c | 523312 | 15603 66758 202691 | 2147483647 523312 255 | 0.000 % |
995.10/995.74 c | 527300 | 15603 66758 202691 | 2147483647 527300 256 | 0.000 % |
1007.99/1008.62 c | 531686 | 15603 66758 202691 | 2147483647 531686 256 | 0.000 % |
1022.09/1022.73 c | 536509 | 15603 66758 202691 | 2147483647 536509 257 | 0.000 % |
1022.59/1023.23 c | 536610 | 15603 66758 202691 | 2147483647 536610 257 | 0.000 % |
1022.98/1023.67 c | 536722 | 15603 66758 202691 | 2147483647 536722 257 | 0.000 % |
1023.49/1024.17 c | 536846 | 15603 66758 202691 | 2147483647 536846 257 | 0.000 % |
1024.08/1024.78 c | 536980 | 15603 66758 202691 | 2147483647 536980 257 | 0.000 % |
1024.78/1025.44 c | 537126 | 15603 66758 202691 | 2147483647 537126 257 | 0.000 % |
1025.38/1026.10 c | 537286 | 15603 66758 202691 | 2147483647 537286 257 | 0.000 % |
1026.18/1026.82 c | 537462 | 15603 66758 202691 | 2147483647 537462 257 | 0.000 % |
1026.98/1027.61 c | 537656 | 15603 66758 202691 | 2147483647 537656 257 | 0.000 % |
1027.68/1028.38 c | 537869 | 15603 66758 202691 | 2147483647 537869 257 | 0.000 % |
1028.68/1029.30 c | 538102 | 15603 66758 202691 | 2147483647 538102 257 | 0.000 % |
1029.58/1030.24 c | 538358 | 15603 66758 202691 | 2147483647 538358 257 | 0.000 % |
1030.58/1031.27 c | 538640 | 15603 66758 202691 | 2147483647 538640 257 | 0.000 % |
1031.78/1032.41 c | 538950 | 15603 66758 202691 | 2147483647 538950 257 | 0.000 % |
1033.08/1033.70 c | 539289 | 15603 66758 202691 | 2147483647 539289 257 | 0.000 % |
1034.28/1034.92 c | 539663 | 15603 66758 202691 | 2147483647 539663 257 | 0.000 % |
1035.68/1036.33 c | 540072 | 15603 66758 202691 | 2147483647 540072 257 | 0.000 % |
1037.38/1038.07 c | 540521 | 15603 66758 202691 | 2147483647 540521 256 | 0.000 % |
1039.17/1039.87 c | 541017 | 15603 66758 202691 | 2147483647 541017 256 | 0.000 % |
1041.28/1041.94 c | 541561 | 15603 66758 202691 | 2147483647 541561 256 | 0.000 % |
1043.28/1043.97 c | 542160 | 15603 66758 202691 | 2147483647 542160 256 | 0.000 % |
1045.58/1046.24 c | 542818 | 15603 66758 202691 | 2147483647 542818 256 | 0.000 % |
1047.97/1048.66 c | 543538 | 15603 66758 202691 | 2147483647 543538 256 | 0.000 % |
1050.77/1051.43 c | 544330 | 15603 66758 202691 | 2147483647 544330 256 | 0.000 % |
1053.67/1054.37 c | 545202 | 15603 66758 202691 | 2147483647 545202 256 | 0.000 % |
1056.87/1057.57 c | 546160 | 15603 66758 202691 | 2147483647 546160 256 | 0.000 % |
1060.46/1061.11 c | 547213 | 15603 66758 202691 | 2147483647 547213 256 | 0.000 % |
1064.27/1064.91 c | 548371 | 15603 66758 202691 | 2147483647 548371 256 | 0.000 % |
1068.46/1069.11 c | 549644 | 15603 66758 202691 | 2147483647 549644 256 | 0.000 % |
1072.86/1073.51 c | 551044 | 15603 66758 202691 | 2147483647 551044 257 | 0.000 % |
1077.85/1078.57 c | 552584 | 15603 66758 202691 | 2147483647 552584 257 | 0.000 % |
1083.55/1084.25 c | 554280 | 15603 66758 202691 | 2147483647 554280 257 | 0.000 % |
1089.56/1090.23 c | 556143 | 15603 66758 202691 | 2147483647 556143 257 | 0.000 % |
1096.04/1096.79 c | 558192 | 15603 66758 202691 | 2147483647 558192 257 | 0.000 % |
1103.43/1104.18 c | 560446 | 15603 66758 202691 | 2147483647 560446 257 | 0.000 % |
1111.33/1112.06 c | 562924 | 15603 66758 202691 | 2147483647 562924 257 | 0.000 % |
1119.72/1120.48 c | 565650 | 15603 66758 202691 | 2147483647 565650 257 | 0.000 % |
1129.52/1130.22 c | 568648 | 15603 66758 202691 | 2147483647 568648 257 | 0.000 % |
1140.31/1141.07 c | 571944 | 15603 66758 202691 | 2147483647 571944 257 | 0.000 % |
1151.71/1152.43 c | 575569 | 15603 66758 202691 | 2147483647 575569 257 | 0.000 % |
1164.51/1165.26 c | 579556 | 15603 66758 202691 | 2147483647 579556 258 | 0.000 % |
1178.40/1179.12 c | 583943 | 15603 66758 202691 | 2147483647 583943 258 | 0.000 % |
1193.89/1194.62 c | 588767 | 15603 66758 202691 | 2147483647 588767 259 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832771-1242787478/watcher-1832771-1242787478 -o /tmp/evaluation-result-1832771-1242787478/solver-1832771-1242787478 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832771-1242787478.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 11196
/proc/meminfo: memFree=1653952/2055920 swapFree=4180152/4192956
[pid=11196] ppid=11194 vsize=5356 CPUtime=0
/proc/11196/stat : 11196 (SatELiteGTI) R 11194 11196 10551 0 -1 4194304 290 249 0 0 0 0 0 0 18 0 1 0 306781807 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259912821235 0 0 4100 65536 0 0 0 17 0 0 0
/proc/11196/statm: 1339 237 197 169 0 50 0
[startup+0.106059 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 11196
/proc/meminfo: memFree=1653952/2055920 swapFree=4180152/4192956
[pid=11196] ppid=11194 vsize=5356 CPUtime=0
/proc/11196/stat : 11196 (SatELiteGTI) S 11194 11196 10551 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306781807 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11196/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.201074 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 11196
/proc/meminfo: memFree=1653952/2055920 swapFree=4180152/4192956
[pid=11196] ppid=11194 vsize=5356 CPUtime=0
/proc/11196/stat : 11196 (SatELiteGTI) S 11194 11196 10551 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306781807 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11196/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301093 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 11196
/proc/meminfo: memFree=1653952/2055920 swapFree=4180152/4192956
[pid=11196] ppid=11194 vsize=5356 CPUtime=0
/proc/11196/stat : 11196 (SatELiteGTI) S 11194 11196 10551 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306781807 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11196/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701152 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 11196
/proc/meminfo: memFree=1653952/2055920 swapFree=4180152/4192956
[pid=11196] ppid=11194 vsize=5356 CPUtime=0.3
/proc/11196/stat : 11196 (SatELiteGTI) S 11194 11196 10551 0 -1 4194304 336 2295 0 0 0 0 29 1 16 0 1 0 306781807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11196/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 5356
[startup+1.50129 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11202
/proc/meminfo: memFree=1646000/2055920 swapFree=4180152/4192956
[pid=11196] ppid=11194 vsize=5356 CPUtime=0.3
/proc/11196/stat : 11196 (SatELiteGTI) S 11194 11196 10551 0 -1 4194304 336 2295 0 0 0 0 29 1 16 0 1 0 306781807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11196/statm: 1339 239 197 169 0 50 0
[pid=11202] ppid=11196 vsize=7712 CPUtime=1.17
/proc/11202/stat : 11202 (minisat_static) R 11196 11196 10551 0 -1 4194304 1755 0 0 0 117 0 0 0 25 0 1 0 306781839 7897088 1741 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11202/statm: 1928 1741 77 171 0 1755 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13068
[startup+3.10157 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11202
/proc/meminfo: memFree=1644464/2055920 swapFree=4180152/4192956
[pid=11196] ppid=11194 vsize=5356 CPUtime=0.3
/proc/11196/stat : 11196 (SatELiteGTI) S 11194 11196 10551 0 -1 4194304 336 2295 0 0 0 0 29 1 16 0 1 0 306781807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11196/statm: 1339 239 197 169 0 50 0
[pid=11202] ppid=11196 vsize=9956 CPUtime=2.76
/proc/11202/stat : 11202 (minisat_static) R 11196 11196 10551 0 -1 4194304 2313 0 0 0 275 1 0 0 25 0 1 0 306781839 10194944 2299 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11202/statm: 2489 2299 77 171 0 2316 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 15312
[startup+6.30113 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11202
/proc/meminfo: memFree=1639728/2055920 swapFree=4180152/4192956
[pid=11196] ppid=11194 vsize=5356 CPUtime=0.3
/proc/11196/stat : 11196 (SatELiteGTI) S 11194 11196 10551 0 -1 4194304 336 2295 0 0 0 0 29 1 16 0 1 0 306781807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11196/statm: 1339 239 197 169 0 50 0
[pid=11202] ppid=11196 vsize=14180 CPUtime=5.96
/proc/11202/stat : 11202 (minisat_static) R 11196 11196 10551 0 -1 4194304 3397 0 0 0 594 2 0 0 25 0 1 0 306781839 14520320 3383 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11202/statm: 3545 3383 77 171 0 3372 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 19536
[startup+12.7013 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11202
/proc/meminfo: memFree=1631152/2055920 swapFree=4180152/4192956
[pid=11196] ppid=11194 vsize=5356 CPUtime=0.3
/proc/11196/stat : 11196 (SatELiteGTI) S 11194 11196 10551 0 -1 4194304 336 2295 0 0 0 0 29 1 16 0 1 0 306781807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11196/statm: 1339 239 197 169 0 50 0
[pid=11202] ppid=11196 vsize=22648 CPUtime=12.36
/proc/11202/stat : 11202 (minisat_static) R 11196 11196 10551 0 -1 4194304 5500 0 0 0 1232 4 0 0 25 0 1 0 306781839 23191552 5486 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11202/statm: 5662 5486 77 171 0 5489 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 28004
[startup+25.5015 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11202
/proc/meminfo: memFree=1615024/2055920 swapFree=4180152/4192956
[pid=11196] ppid=11194 vsize=5356 CPUtime=0.3
/proc/11196/stat : 11196 (SatELiteGTI) S 11194 11196 10551 0 -1 4194304 336 2295 0 0 0 0 29 1 16 0 1 0 306781807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11196/statm: 1339 239 197 169 0 50 0
[pid=11202] ppid=11196 vsize=38252 CPUtime=25.14
/proc/11202/stat : 11202 (minisat_static) R 11196 11196 10551 0 -1 4194304 9382 0 0 0 2506 8 0 0 25 0 1 0 306781839 39170048 9368 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/11202/statm: 9563 9368 77 171 0 9390 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 43608
[startup+51.102 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11202
/proc/meminfo: memFree=1587504/2055920 swapFree=4180152/4192956
[pid=11196] ppid=11194 vsize=5356 CPUtime=0.3
/proc/11196/stat : 11196 (SatELiteGTI) S 11194 11196 10551 0 -1 4194304 336 2295 0 0 0 0 29 1 16 0 1 0 306781807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11196/statm: 1339 239 197 169 0 50 0
[pid=11202] ppid=11196 vsize=66044 CPUtime=50.71
/proc/11202/stat : 11202 (minisat_static) R 11196 11196 10551 0 -1 4194304 16327 0 0 0 5057 14 0 0 25 0 1 0 306781839 67629056 16313 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 0 0 0
/proc/11202/statm: 16511 16313 77 171 0 16338 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 71400
[startup+102.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11202
/proc/meminfo: memFree=1541424/2055920 swapFree=4180152/4192956
[pid=11196] ppid=11194 vsize=5356 CPUtime=0.3
/proc/11196/stat : 11196 (SatELiteGTI) S 11194 11196 10551 0 -1 4194304 336 2295 0 0 0 0 29 1 16 0 1 0 306781807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11196/statm: 1339 239 197 169 0 50 0
[pid=11202] ppid=11196 vsize=111396 CPUtime=101.88
/proc/11202/stat : 11202 (minisat_static) R 11196 11196 10551 0 -1 4194304 27665 0 0 0 10162 26 0 0 25 0 1 0 306781839 114069504 27651 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 0 0 0
/proc/11202/statm: 27849 27651 77 171 0 27676 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 116752
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11202
/proc/meminfo: memFree=1496880/2055920 swapFree=4180152/4192956
[pid=11196] ppid=11194 vsize=5356 CPUtime=0.3
/proc/11196/stat : 11196 (SatELiteGTI) S 11194 11196 10551 0 -1 4194304 336 2295 0 0 0 0 29 1 16 0 1 0 306781807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11196/statm: 1339 239 197 169 0 50 0
[pid=11202] ppid=11196 vsize=156172 CPUtime=161.83
/proc/11202/stat : 11202 (minisat_static) R 11196 11196 10551 0 -1 4194304 38839 0 0 0 16146 37 0 0 25 0 1 0 306781839 159920128 38825 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/11202/statm: 39043 38825 77 171 0 38870 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 161528
[startup+222.307 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11202
/proc/meminfo: memFree=1457456/2055920 swapFree=4180152/4192956
[pid=11196] ppid=11194 vsize=5356 CPUtime=0.3
/proc/11196/stat : 11196 (SatELiteGTI) S 11194 11196 10551 0 -1 4194304 336 2295 0 0 0 0 29 1 16 0 1 0 306781807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11196/statm: 1339 239 197 169 0 50 0
[pid=11202] ppid=11196 vsize=195000 CPUtime=221.81
/proc/11202/stat : 11202 (minisat_static) R 11196 11196 10551 0 -1 4194304 48582 0 0 0 22133 48 0 0 25 0 1 0 306781839 199680000 48568 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/11202/statm: 48750 48568 77 171 0 48577 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 200356
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11202
/proc/meminfo: memFree=1421488/2055920 swapFree=4180152/4192956
[pid=11196] ppid=11194 vsize=5356 CPUtime=0.3
/proc/11196/stat : 11196 (SatELiteGTI) S 11194 11196 10551 0 -1 4194304 336 2295 0 0 0 0 29 1 16 0 1 0 306781807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11196/statm: 1339 239 197 169 0 50 0
[pid=11202] ppid=11196 vsize=231328 CPUtime=281.78
/proc/11202/stat : 11202 (minisat_static) R 11196 11196 10551 0 -1 4194304 57608 0 0 0 28119 59 0 0 25 0 1 0 306781839 236879872 57594 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/11202/statm: 57832 57594 77 171 0 57659 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 236684
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11202
/proc/meminfo: memFree=1385648/2055920 swapFree=4180152/4192956
[pid=11196] ppid=11194 vsize=5356 CPUtime=0.3
/proc/11196/stat : 11196 (SatELiteGTI) S 11194 11196 10551 0 -1 4194304 336 2295 0 0 0 0 29 1 16 0 1 0 306781807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11196/statm: 1339 239 197 169 0 50 0
[pid=11202] ppid=11196 vsize=266724 CPUtime=341.74
/proc/11202/stat : 11202 (minisat_static) R 11196 11196 10551 0 -1 4194304 66464 0 0 0 34106 68 0 0 25 0 1 0 306781839 273125376 66450 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/11202/statm: 66681 66450 77 171 0 66508 0
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (KiB) 272080
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11202
/proc/meminfo: memFree=1352624/2055920 swapFree=4180152/4192956
[pid=11196] ppid=11194 vsize=5356 CPUtime=0.3
/proc/11196/stat : 11196 (SatELiteGTI) S 11194 11196 10551 0 -1 4194304 336 2295 0 0 0 0 29 1 16 0 1 0 306781807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11196/statm: 1339 239 197 169 0 50 0
[pid=11202] ppid=11196 vsize=299740 CPUtime=401.71
/proc/11202/stat : 11202 (minisat_static) R 11196 11196 10551 0 -1 4194304 74755 0 0 0 40095 76 0 0 25 0 1 0 306781839 306933760 74741 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/11202/statm: 74935 74741 77 171 0 74762 0
Current children cumulated CPU time (s) 402.01
Current children cumulated vsize (KiB) 305096
[startup+462.301 s]
################
# More data... #
################
/proc/11202/statm: 97042 96779 77 171 0 96869 0
Current children cumulated CPU time (s) 581.91
Current children cumulated vsize (KiB) 393524
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11202
/proc/meminfo: memFree=1236720/2055920 swapFree=4180152/4192956
[pid=11196] ppid=11194 vsize=5356 CPUtime=0.3
/proc/11196/stat : 11196 (SatELiteGTI) S 11194 11196 10551 0 -1 4194304 336 2295 0 0 0 0 29 1 16 0 1 0 306781807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11196/statm: 1339 239 197 169 0 50 0
[pid=11202] ppid=11196 vsize=415108 CPUtime=641.58
/proc/11202/stat : 11202 (minisat_static) R 11196 11196 10551 0 -1 4194304 103563 0 0 0 64053 105 0 0 25 0 1 0 306781839 425070592 103549 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/11202/statm: 103777 103549 77 171 0 103604 0
Current children cumulated CPU time (s) 641.88
Current children cumulated vsize (KiB) 420464
[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11202
/proc/meminfo: memFree=1211120/2055920 swapFree=4180152/4192956
[pid=11196] ppid=11194 vsize=5356 CPUtime=0.3
/proc/11196/stat : 11196 (SatELiteGTI) S 11194 11196 10551 0 -1 4194304 336 2295 0 0 0 0 29 1 16 0 1 0 306781807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11196/statm: 1339 239 197 169 0 50 0
[pid=11202] ppid=11196 vsize=440324 CPUtime=701.54
/proc/11202/stat : 11202 (minisat_static) R 11196 11196 10551 0 -1 4194304 109880 0 0 0 70041 113 0 0 25 0 1 0 306781839 450891776 109866 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11202/statm: 110081 109866 77 171 0 109908 0
Current children cumulated CPU time (s) 701.84
Current children cumulated vsize (KiB) 445680
[startup+762.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11202
/proc/meminfo: memFree=1189040/2055920 swapFree=4180152/4192956
[pid=11196] ppid=11194 vsize=5356 CPUtime=0.3
/proc/11196/stat : 11196 (SatELiteGTI) S 11194 11196 10551 0 -1 4194304 336 2295 0 0 0 0 29 1 16 0 1 0 306781807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11196/statm: 1339 239 197 169 0 50 0
[pid=11202] ppid=11196 vsize=461984 CPUtime=761.52
/proc/11202/stat : 11202 (minisat_static) R 11196 11196 10551 0 -1 4194304 115324 0 0 0 76032 120 0 0 25 0 1 0 306781839 473071616 115310 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/11202/statm: 115496 115310 77 171 0 115323 0
Current children cumulated CPU time (s) 761.82
Current children cumulated vsize (KiB) 467340
[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11202
/proc/meminfo: memFree=1164656/2055920 swapFree=4180152/4192956
[pid=11196] ppid=11194 vsize=5356 CPUtime=0.3
/proc/11196/stat : 11196 (SatELiteGTI) S 11194 11196 10551 0 -1 4194304 336 2295 0 0 0 0 29 1 16 0 1 0 306781807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11196/statm: 1339 239 197 169 0 50 0
[pid=11202] ppid=11196 vsize=487324 CPUtime=821.48
/proc/11202/stat : 11202 (minisat_static) R 11196 11196 10551 0 -1 4194304 121458 0 0 0 82020 128 0 0 25 0 1 0 306781839 499019776 121444 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/11202/statm: 121831 121444 77 171 0 121658 0
Current children cumulated CPU time (s) 821.78
Current children cumulated vsize (KiB) 492680
[startup+882.307 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11202
/proc/meminfo: memFree=1139696/2055920 swapFree=4180152/4192956
[pid=11196] ppid=11194 vsize=5356 CPUtime=0.3
/proc/11196/stat : 11196 (SatELiteGTI) S 11194 11196 10551 0 -1 4194304 336 2295 0 0 0 0 29 1 16 0 1 0 306781807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11196/statm: 1339 239 197 169 0 50 0
[pid=11202] ppid=11196 vsize=511900 CPUtime=881.46
/proc/11202/stat : 11202 (minisat_static) R 11196 11196 10551 0 -1 4194304 127608 0 0 0 88011 135 0 0 25 0 1 0 306781839 524185600 127594 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11202/statm: 127975 127594 77 171 0 127802 0
Current children cumulated CPU time (s) 881.76
Current children cumulated vsize (KiB) 517256
[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11202
/proc/meminfo: memFree=1118000/2055920 swapFree=4180152/4192956
[pid=11196] ppid=11194 vsize=5356 CPUtime=0.3
/proc/11196/stat : 11196 (SatELiteGTI) S 11194 11196 10551 0 -1 4194304 336 2295 0 0 0 0 29 1 16 0 1 0 306781807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11196/statm: 1339 239 197 169 0 50 0
[pid=11202] ppid=11196 vsize=533688 CPUtime=941.42
/proc/11202/stat : 11202 (minisat_static) R 11196 11196 10551 0 -1 4194304 133058 0 0 0 94001 141 0 0 25 0 1 0 306781839 546496512 133044 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11202/statm: 133422 133044 77 171 0 133249 0
Current children cumulated CPU time (s) 941.72
Current children cumulated vsize (KiB) 539044
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11208
/proc/meminfo: memFree=1093616/2055920 swapFree=4180152/4192956
[pid=11196] ppid=11194 vsize=5356 CPUtime=0.3
/proc/11196/stat : 11196 (SatELiteGTI) S 11194 11196 10551 0 -1 4194304 336 2295 0 0 0 0 29 1 16 0 1 0 306781807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11196/statm: 1339 239 197 169 0 50 0
[pid=11202] ppid=11196 vsize=557452 CPUtime=1001.39
/proc/11202/stat : 11202 (minisat_static) R 11196 11196 10551 0 -1 4194304 139044 0 0 0 99992 147 0 0 25 0 1 0 306781839 570830848 139030 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11202/statm: 139363 139030 77 171 0 139190 0
Current children cumulated CPU time (s) 1001.69
Current children cumulated vsize (KiB) 562808
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11208
/proc/meminfo: memFree=1073584/2055920 swapFree=4180152/4192956
[pid=11196] ppid=11194 vsize=5356 CPUtime=0.3
/proc/11196/stat : 11196 (SatELiteGTI) S 11194 11196 10551 0 -1 4194304 336 2295 0 0 0 0 29 1 16 0 1 0 306781807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11196/statm: 1339 239 197 169 0 50 0
[pid=11202] ppid=11196 vsize=577660 CPUtime=1061.36
/proc/11202/stat : 11202 (minisat_static) R 11196 11196 10551 0 -1 4194304 144097 0 0 0 105983 153 0 0 25 0 1 0 306781839 591523840 144083 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/11202/statm: 144415 144083 77 171 0 144242 0
Current children cumulated CPU time (s) 1061.66
Current children cumulated vsize (KiB) 583016
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11208
/proc/meminfo: memFree=1052272/2055920 swapFree=4180152/4192956
[pid=11196] ppid=11194 vsize=5356 CPUtime=0.3
/proc/11196/stat : 11196 (SatELiteGTI) S 11194 11196 10551 0 -1 4194304 336 2295 0 0 0 0 29 1 16 0 1 0 306781807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11196/statm: 1339 239 197 169 0 50 0
[pid=11202] ppid=11196 vsize=598520 CPUtime=1121.32
/proc/11202/stat : 11202 (minisat_static) R 11196 11196 10551 0 -1 4194304 149351 0 0 0 111973 159 0 0 25 0 1 0 306781839 612884480 149337 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11202/statm: 149630 149337 77 171 0 149457 0
Current children cumulated CPU time (s) 1121.62
Current children cumulated vsize (KiB) 603876
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11208
/proc/meminfo: memFree=1030704/2055920 swapFree=4180152/4192956
[pid=11196] ppid=11194 vsize=5356 CPUtime=0.3
/proc/11196/stat : 11196 (SatELiteGTI) S 11194 11196 10551 0 -1 4194304 336 2295 0 0 0 0 29 1 16 0 1 0 306781807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11196/statm: 1339 239 197 169 0 50 0
[pid=11202] ppid=11196 vsize=620176 CPUtime=1181.3
/proc/11202/stat : 11202 (minisat_static) R 11196 11196 10551 0 -1 4194304 154755 0 0 0 117965 165 0 0 25 0 1 0 306781839 635060224 154741 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11202/statm: 155044 154741 77 171 0 154871 0
Current children cumulated CPU time (s) 1181.6
Current children cumulated vsize (KiB) 625532
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11208
/proc/meminfo: memFree=1022640/2055920 swapFree=4180152/4192956
[pid=11196] ppid=11194 vsize=5356 CPUtime=0.3
/proc/11196/stat : 11196 (SatELiteGTI) S 11194 11196 10551 0 -1 4194304 336 2295 0 0 0 0 29 1 16 0 1 0 306781807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11196/statm: 1339 239 197 169 0 50 0
[pid=11202] ppid=11196 vsize=627832 CPUtime=1199.79
/proc/11202/stat : 11202 (minisat_static) R 11196 11196 10551 0 -1 4194304 156698 0 0 0 119812 167 0 0 25 0 1 0 306781839 642899968 156684 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/11202/statm: 156958 156684 77 171 0 156785 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 633188
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 11208
/proc/meminfo: memFree=1022640/2055920 swapFree=4180152/4192956
[pid=11196] ppid=11194 vsize=5356 CPUtime=0.3
/proc/11196/stat : 11196 (SatELiteGTI) S 11194 11196 10551 0 -1 4194304 336 2295 0 0 0 0 29 1 16 0 1 0 306781807 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11196/statm: 1339 239 197 169 0 50 0
[pid=11202] ppid=11196 vsize=627832 CPUtime=1199.79
/proc/11202/stat : 11202 (minisat_static) R 11196 11196 10551 0 -1 4194304 156698 0 0 0 119812 167 0 0 25 0 1 0 306781839 642899968 156684 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/11202/statm: 156958 156684 77 171 0 156785 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 633188
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11196 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=299954
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=17997
# CPU time returned by wait4() is 0.317951
# while last known CPU time is 1200.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.81
CPU time (s): 1200.09
CPU user time (s): 1198.41
CPU system time (s): 1.68
CPU usage (%): 99.9398
Max. virtual memory (cumulated for all children) (KiB): 633188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.299954
system time used= 0.017997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2631
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 11
runsolver used 0.994848 second user time and 3.46747 second system time
The end
Begin job on node4 at 2009-05-20 04:44:38
IDJOB=1832771
IDBENCH=70349
IDSOLVER=671
FILE ID=node4/1832771-1242787478
PBS_JOBID= 9322354
Free space on /tmp= 66096 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/16000/unif-k3-r4.2-v16000-c67200-S1726986756-053.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832771-1242787478/watcher-1832771-1242787478 -o /tmp/evaluation-result-1832771-1242787478/solver-1832771-1242787478 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832771-1242787478.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 5a6b74e0cbac6cfafc017348bf701f4b
RANDOM SEED=1116805164
node4.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1654496 kB
Buffers: 33016 kB
Cached: 296248 kB
SwapCached: 7132 kB
Active: 198708 kB
Inactive: 139064 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1654496 kB
SwapTotal: 4192956 kB
SwapFree: 4180152 kB
Dirty: 2856 kB
Writeback: 0 kB
Mapped: 13552 kB
Slab: 49656 kB
Committed_AS: 1182332 kB
PageTables: 1472 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= 66092 MiB
End job on node4 at 2009-05-20 05:04:41