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 | 66756 202671 | -- 0 -- -- | -- | -444/1071
0.00/0.24 c ==============================================================================
0.00/0.24 c Result : #vars: 15605 #clauses: 66756 #literals: 202671
0.00/0.24 c CPU time: 0.225965 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: 15605 |
0.00/0.32 c | Number of clauses: 66756 |
0.00/0.37 c | Parsing time: 0.04 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 | 15605 66756 202671 | 22252 0 nan | 0.000 % |
0.30/0.43 c | 101 | 15605 66756 202671 | 22252 101 183 | 0.000 % |
0.30/0.48 c | 201 | 15605 66756 202671 | 22252 201 180 | 0.000 % |
0.30/0.53 c | 301 | 15605 66756 202671 | 22252 301 171 | 0.000 % |
0.30/0.60 c | 411 | 15605 66756 202671 | 22252 411 176 | 0.000 % |
0.30/0.65 c | 511 | 15605 66756 202671 | 22252 511 174 | 0.000 % |
0.30/0.71 c | 622 | 15605 66756 202671 | 22252 622 173 | 0.000 % |
0.30/0.77 c | 743 | 15605 66756 202671 | 22252 743 175 | 0.000 % |
0.30/0.83 c | 843 | 15605 66756 202671 | 22252 843 173 | 0.000 % |
0.30/0.88 c | 956 | 15605 66756 202671 | 22252 956 176 | 0.000 % |
0.30/0.95 c | 1078 | 15605 66756 202671 | 22252 1078 177 | 0.000 % |
0.98/1.03 c | 1211 | 15605 66756 202671 | 22252 1211 183 | 0.000 % |
0.98/1.08 c | 1315 | 15605 66756 202671 | 22252 1315 182 | 0.000 % |
1.07/1.14 c | 1427 | 15605 66756 202671 | 22252 1427 181 | 0.000 % |
1.17/1.21 c | 1550 | 15605 66756 202671 | 22252 1550 180 | 0.000 % |
1.17/1.28 c | 1684 | 15605 66756 202671 | 22252 1684 181 | 0.000 % |
1.27/1.36 c | 1831 | 15605 66756 202671 | 22252 1831 181 | 0.000 % |
1.37/1.42 c | 1931 | 15605 66756 202671 | 22252 1931 182 | 0.000 % |
1.37/1.49 c | 2041 | 15605 66756 202671 | 22252 2041 184 | 0.000 % |
1.47/1.56 c | 2163 | 15605 66756 202671 | 22252 2163 184 | 0.000 % |
1.57/1.63 c | 2297 | 15605 66756 202671 | 22252 2297 184 | 0.000 % |
1.67/1.70 c | 2443 | 15605 66756 202671 | 22252 2443 184 | 0.000 % |
1.67/1.79 c | 2604 | 15605 66756 202671 | 22252 2604 182 | 0.000 % |
1.77/1.84 c | 2704 | 15605 66756 202671 | 22252 2704 180 | 0.000 % |
1.87/1.91 c | 2814 | 15605 66756 202671 | 22252 2814 180 | 0.000 % |
1.87/1.98 c | 2936 | 15605 66756 202671 | 22252 2936 184 | 0.000 % |
1.97/2.05 c | 3069 | 15605 66756 202671 | 22252 3069 183 | 0.000 % |
2.07/2.13 c | 3215 | 15605 66756 202671 | 22252 3215 184 | 0.000 % |
2.17/2.22 c | 3376 | 15605 66756 202671 | 22252 3376 183 | 0.000 % |
2.27/2.31 c | 3552 | 15605 66756 202671 | 22252 3552 186 | 0.000 % |
2.27/2.37 c | 3654 | 15605 66756 202671 | 22252 3654 186 | 0.000 % |
2.37/2.44 c | 3765 | 15605 66756 202671 | 22252 3765 186 | 0.000 % |
2.46/2.51 c | 3886 | 15605 66756 202671 | 22252 3886 185 | 0.000 % |
2.46/2.58 c | 4020 | 15605 66756 202671 | 22252 4020 186 | 0.000 % |
2.56/2.67 c | 4168 | 15605 66756 202671 | 22252 4168 185 | 0.000 % |
2.67/2.77 c | 4328 | 15605 66756 202671 | 22252 4328 185 | 0.000 % |
2.77/2.87 c | 4504 | 15605 66756 202671 | 22252 4504 185 | 0.000 % |
2.87/2.97 c | 4698 | 15605 66756 202671 | 22252 4698 184 | 0.000 % |
2.97/3.03 c | 4798 | 15605 66756 202671 | 22252 4798 184 | 0.000 % |
2.97/3.09 c | 4909 | 15605 66756 202671 | 22252 4909 184 | 0.000 % |
3.07/3.16 c | 5033 | 15605 66756 202671 | 22252 5033 182 | 0.000 % |
3.17/3.23 c | 5169 | 15605 66756 202671 | 22252 5169 183 | 0.000 % |
3.27/3.32 c | 5315 | 15605 66756 202671 | 22252 5315 184 | 0.000 % |
3.37/3.42 c | 5476 | 15605 66756 202671 | 22252 5476 184 | 0.000 % |
3.47/3.53 c | 5656 | 15605 66756 202671 | 22252 5656 184 | 0.000 % |
3.57/3.64 c | 5851 | 15605 66756 202671 | 22252 5851 184 | 0.000 % |
3.67/3.76 c | 6064 | 15605 66756 202671 | 22252 6064 183 | 0.000 % |
3.77/3.83 c | 6165 | 15605 66756 202671 | 22252 6165 183 | 0.000 % |
3.87/3.90 c | 6277 | 15605 66756 202671 | 22252 6277 183 | 0.000 % |
3.87/3.97 c | 6398 | 15605 66756 202671 | 22252 6398 183 | 0.000 % |
3.97/4.05 c | 6531 | 15605 66756 202671 | 22252 6531 183 | 0.000 % |
4.07/4.14 c | 6681 | 15605 66756 202671 | 22252 6681 183 | 0.000 % |
4.17/4.23 c | 6842 | 15605 66756 202671 | 22252 6842 182 | 0.000 % |
4.27/4.33 c | 7018 | 15605 66756 202671 | 22252 7018 182 | 0.000 % |
4.37/4.44 c | 7212 | 15605 66756 202671 | 22252 7212 181 | 0.000 % |
4.47/4.57 c | 7426 | 15605 66756 202671 | 22252 7426 182 | 0.000 % |
4.67/4.72 c | 7659 | 15605 66756 202671 | 22252 7659 184 | 0.000 % |
4.67/4.78 c | 7759 | 15605 66756 202671 | 22252 7759 184 | 0.000 % |
4.76/4.84 c | 7869 | 15605 66756 202671 | 22252 7869 184 | 0.000 % |
4.86/4.91 c | 7990 | 15605 66756 202671 | 22252 7990 184 | 0.000 % |
4.96/5.00 c | 8124 | 15605 66756 202671 | 22252 8124 184 | 0.000 % |
4.96/5.08 c | 8270 | 15605 66756 202671 | 22252 8270 183 | 0.000 % |
5.06/5.17 c | 8430 | 15605 66756 202671 | 22252 8430 183 | 0.000 % |
5.16/5.28 c | 8606 | 15605 66756 202671 | 22252 8606 181 | 0.000 % |
5.26/5.40 c | 8800 | 15605 66756 202671 | 22252 8800 182 | 0.000 % |
5.47/5.52 c | 9012 | 15605 66756 202671 | 22252 9012 182 | 0.000 % |
5.56/5.66 c | 9247 | 15605 66756 202671 | 22252 9247 184 | 0.000 % |
5.76/5.81 c | 9503 | 15605 66756 202671 | 22252 9503 184 | 0.000 % |
5.76/5.87 c | 9603 | 15605 66756 202671 | 22252 9603 184 | 0.000 % |
5.86/5.95 c | 9713 | 15605 66756 202671 | 22252 9713 184 | 0.000 % |
5.97/6.03 c | 9834 | 15605 66756 202671 | 22252 9834 184 | 0.000 % |
6.07/6.12 c | 9970 | 15605 66756 202671 | 22252 9970 184 | 0.000 % |
6.17/6.21 c | 10118 | 15605 66756 202671 | 2147483647 10118 185 | 0.000 % |
6.27/6.31 c | 10286 | 15605 66756 202671 | 2147483647 10286 185 | 0.000 % |
6.37/6.40 c | 10463 | 15605 66756 202671 | 2147483647 10463 186 | 0.000 % |
6.48/6.53 c | 10657 | 15605 66756 202671 | 2147483647 10657 186 | 0.000 % |
6.57/6.66 c | 10870 | 15605 66756 202671 | 2147483647 10870 186 | 0.000 % |
6.77/6.81 c | 11103 | 15605 66756 202671 | 2147483647 11103 187 | 0.000 % |
6.87/6.96 c | 11361 | 15605 66756 202671 | 2147483647 11361 187 | 0.000 % |
7.07/7.13 c | 11643 | 15605 66756 202671 | 2147483647 11643 187 | 0.000 % |
7.07/7.19 c | 11744 | 15605 66756 202671 | 2147483647 11744 187 | 0.000 % |
7.17/7.26 c | 11855 | 15605 66756 202671 | 2147483647 11855 187 | 0.000 % |
7.27/7.34 c | 11976 | 15605 66756 202671 | 2147483647 11976 188 | 0.000 % |
7.37/7.43 c | 12109 | 15605 66756 202671 | 2147483647 12109 188 | 0.000 % |
7.47/7.52 c | 12255 | 15605 66756 202671 | 2147483647 12255 187 | 0.000 % |
7.57/7.63 c | 12415 | 15605 66756 202671 | 2147483647 12415 188 | 0.000 % |
7.67/7.75 c | 12594 | 15605 66756 202671 | 2147483647 12594 189 | 0.000 % |
7.76/7.87 c | 12789 | 15605 66756 202671 | 2147483647 12789 189 | 0.000 % |
7.96/8.02 c | 13001 | 15605 66756 202671 | 2147483647 13001 190 | 0.000 % |
8.06/8.16 c | 13235 | 15605 66756 202671 | 2147483647 13235 190 | 0.000 % |
8.26/8.33 c | 13492 | 15605 66756 202671 | 2147483647 13492 190 | 0.000 % |
8.46/8.50 c | 13773 | 15605 66756 202671 | 2147483647 13773 191 | 0.000 % |
8.67/8.71 c | 14083 | 15605 66756 202671 | 2147483647 14083 193 | 0.000 % |
8.67/8.78 c | 14183 | 15605 66756 202671 | 2147483647 14183 193 | 0.000 % |
8.77/8.86 c | 14295 | 15605 66756 202671 | 2147483647 14295 193 | 0.000 % |
8.86/8.94 c | 14417 | 15605 66756 202671 | 2147483647 14417 193 | 0.000 % |
8.96/9.03 c | 14550 | 15605 66756 202671 | 2147483647 14550 193 | 0.000 % |
9.06/9.12 c | 14696 | 15605 66756 202671 | 2147483647 14696 193 | 0.000 % |
9.16/9.22 c | 14856 | 15605 66756 202671 | 2147483647 14856 193 | 0.000 % |
9.27/9.33 c | 15032 | 15605 66756 202671 | 2147483647 15032 194 | 0.000 % |
9.37/9.46 c | 15225 | 15605 66756 202671 | 2147483647 15225 194 | 0.000 % |
9.57/9.60 c | 15440 | 15605 66756 202671 | 2147483647 15440 194 | 0.000 % |
9.67/9.75 c | 15673 | 15605 66756 202671 | 2147483647 15673 194 | 0.000 % |
9.87/9.91 c | 15929 | 15605 66756 202671 | 2147483647 15929 195 | 0.000 % |
9.97/10.09 c | 16210 | 15605 66756 202671 | 2147483647 16210 196 | 0.000 % |
10.16/10.30 c | 16519 | 15605 66756 202671 | 2147483647 16519 197 | 0.000 % |
10.47/10.52 c | 16859 | 15605 66756 202671 | 2147483647 16859 198 | 0.000 % |
10.47/10.58 c | 16959 | 15605 66756 202671 | 2147483647 16959 197 | 0.000 % |
10.57/10.66 c | 17070 | 15605 66756 202671 | 2147483647 17070 197 | 0.000 % |
10.67/10.74 c | 17192 | 15605 66756 202671 | 2147483647 17192 197 | 0.000 % |
10.77/10.83 c | 17325 | 15605 66756 202671 | 2147483647 17325 197 | 0.000 % |
10.87/10.94 c | 17472 | 15605 66756 202671 | 2147483647 17472 197 | 0.000 % |
10.97/11.04 c | 17632 | 15605 66756 202671 | 2147483647 17632 196 | 0.000 % |
11.07/11.15 c | 17809 | 15605 66756 202671 | 2147483647 17809 196 | 0.000 % |
11.17/11.29 c | 18002 | 15605 66756 202671 | 2147483647 18002 196 | 0.000 % |
11.37/11.43 c | 18217 | 15605 66756 202671 | 2147483647 18217 196 | 0.000 % |
11.47/11.59 c | 18451 | 15605 66756 202671 | 2147483647 18451 196 | 0.000 % |
11.67/11.74 c | 18709 | 15605 66756 202671 | 2147483647 18709 196 | 0.000 % |
11.86/11.92 c | 18990 | 15605 66756 202671 | 2147483647 18990 197 | 0.000 % |
12.07/12.13 c | 19299 | 15605 66756 202671 | 2147483647 19299 197 | 0.000 % |
12.26/12.36 c | 19639 | 15605 66756 202671 | 2147483647 19639 198 | 0.000 % |
12.47/12.59 c | 20011 | 15605 66756 202671 | 2147483647 20011 198 | 0.000 % |
12.57/12.67 c | 20112 | 15605 66756 202671 | 2147483647 20112 198 | 0.000 % |
12.67/12.75 c | 20224 | 15605 66756 202671 | 2147483647 20224 198 | 0.000 % |
12.77/12.84 c | 20345 | 15605 66756 202671 | 2147483647 20345 198 | 0.000 % |
12.87/12.93 c | 20479 | 15605 66756 202671 | 2147483647 20479 198 | 0.000 % |
12.97/13.03 c | 20629 | 15605 66756 202671 | 2147483647 20629 197 | 0.000 % |
13.07/13.14 c | 20790 | 15605 66756 202671 | 2147483647 20790 197 | 0.000 % |
13.17/13.26 c | 20966 | 15605 66756 202671 | 2147483647 20966 197 | 0.000 % |
13.27/13.38 c | 21159 | 15605 66756 202671 | 2147483647 21159 197 | 0.000 % |
13.47/13.51 c | 21372 | 15605 66756 202671 | 2147483647 21372 197 | 0.000 % |
13.57/13.68 c | 21605 | 15605 66756 202671 | 2147483647 21605 197 | 0.000 % |
13.77/13.84 c | 21862 | 15605 66756 202671 | 2147483647 21862 198 | 0.000 % |
13.97/14.02 c | 22144 | 15605 66756 202671 | 2147483647 22144 197 | 0.000 % |
14.17/14.24 c | 22453 | 15605 66756 202671 | 2147483647 22453 198 | 0.000 % |
14.37/14.47 c | 22792 | 15605 66756 202671 | 2147483647 22792 198 | 0.000 % |
14.66/14.72 c | 23165 | 15605 66756 202671 | 2147483647 23165 198 | 0.000 % |
14.86/15.00 c | 23577 | 15605 66756 202671 | 2147483647 23577 199 | 0.000 % |
14.96/15.07 c | 23677 | 15605 66756 202671 | 2147483647 23677 199 | 0.000 % |
15.06/15.15 c | 23789 | 15605 66756 202671 | 2147483647 23789 199 | 0.000 % |
15.16/15.23 c | 23910 | 15605 66756 202671 | 2147483647 23910 198 | 0.000 % |
15.27/15.33 c | 24043 | 15605 66756 202671 | 2147483647 24043 199 | 0.000 % |
15.36/15.44 c | 24189 | 15605 66756 202671 | 2147483647 24189 198 | 0.000 % |
15.46/15.54 c | 24349 | 15605 66756 202671 | 2147483647 24349 198 | 0.000 % |
15.56/15.66 c | 24527 | 15605 66756 202671 | 2147483647 24527 198 | 0.000 % |
15.76/15.80 c | 24722 | 15605 66756 202671 | 2147483647 24722 198 | 0.000 % |
15.86/15.95 c | 24937 | 15605 66756 202671 | 2147483647 24937 198 | 0.000 % |
16.06/16.11 c | 25170 | 15605 66756 202671 | 2147483647 25170 198 | 0.000 % |
16.16/16.28 c | 25428 | 15605 66756 202671 | 2147483647 25428 198 | 0.000 % |
16.37/16.49 c | 25713 | 15605 66756 202671 | 2147483647 25713 198 | 0.000 % |
16.66/16.70 c | 26022 | 15605 66756 202671 | 2147483647 26022 198 | 0.000 % |
16.86/16.93 c | 26361 | 15605 66756 202671 | 2147483647 26361 199 | 0.000 % |
17.16/17.20 c | 26733 | 15605 66756 202671 | 2147483647 26733 200 | 0.000 % |
17.36/17.48 c | 27142 | 15605 66756 202671 | 2147483647 27142 201 | 0.000 % |
17.76/17.80 c | 27591 | 15605 66756 202671 | 2147483647 27591 201 | 0.000 % |
17.76/17.88 c | 27692 | 15605 66756 202671 | 2147483647 27692 201 | 0.000 % |
17.86/17.96 c | 27803 | 15605 66756 202671 | 2147483647 27803 201 | 0.000 % |
17.96/18.05 c | 27924 | 15605 66756 202671 | 2147483647 27924 200 | 0.000 % |
18.06/18.15 c | 28057 | 15605 66756 202671 | 2147483647 28057 200 | 0.000 % |
18.16/18.26 c | 28204 | 15605 66756 202671 | 2147483647 28204 201 | 0.000 % |
18.26/18.37 c | 28364 | 15605 66756 202671 | 2147483647 28364 201 | 0.000 % |
18.46/18.50 c | 28542 | 15605 66756 202671 | 2147483647 28542 200 | 0.000 % |
18.56/18.65 c | 28735 | 15605 66756 202671 | 2147483647 28735 200 | 0.000 % |
18.76/18.81 c | 28948 | 15605 66756 202671 | 2147483647 28948 200 | 0.000 % |
18.86/18.99 c | 29181 | 15605 66756 202671 | 2147483647 29181 200 | 0.000 % |
19.06/19.19 c | 29437 | 15605 66756 202671 | 2147483647 29437 200 | 0.000 % |
19.36/19.40 c | 29719 | 15605 66756 202671 | 2147483647 29719 200 | 0.000 % |
19.55/19.62 c | 30028 | 15605 66756 202671 | 2147483647 30028 201 | 0.000 % |
19.76/19.87 c | 30367 | 15605 66756 202671 | 2147483647 30367 202 | 0.000 % |
20.05/20.15 c | 30739 | 15605 66756 202671 | 2147483647 30739 202 | 0.000 % |
20.36/20.43 c | 31148 | 15605 66756 202671 | 2147483647 31148 203 | 0.000 % |
20.66/20.78 c | 31597 | 15605 66756 202671 | 2147483647 31597 203 | 0.000 % |
21.06/21.14 c | 32092 | 15605 66756 202671 | 2147483647 32092 204 | 0.000 % |
21.16/21.23 c | 32192 | 15605 66756 202671 | 2147483647 32192 204 | 0.000 % |
21.26/21.31 c | 32302 | 15605 66756 202671 | 2147483647 32302 204 | 0.000 % |
21.36/21.42 c | 32423 | 15605 66756 202671 | 2147483647 32423 204 | 0.000 % |
21.46/21.52 c | 32556 | 15605 66756 202671 | 2147483647 32556 203 | 0.000 % |
21.56/21.63 c | 32702 | 15605 66756 202671 | 2147483647 32702 203 | 0.000 % |
21.66/21.76 c | 32863 | 15605 66756 202671 | 2147483647 32863 203 | 0.000 % |
21.76/21.89 c | 33041 | 15605 66756 202671 | 2147483647 33041 203 | 0.000 % |
21.96/22.04 c | 33234 | 15605 66756 202671 | 2147483647 33234 203 | 0.000 % |
22.06/22.19 c | 33446 | 15605 66756 202671 | 2147483647 33446 203 | 0.000 % |
22.26/22.38 c | 33679 | 15605 66756 202671 | 2147483647 33679 202 | 0.000 % |
22.46/22.57 c | 33935 | 15605 66756 202671 | 2147483647 33935 202 | 0.000 % |
22.66/22.78 c | 34217 | 15605 66756 202671 | 2147483647 34217 202 | 0.000 % |
22.96/23.02 c | 34526 | 15605 66756 202671 | 2147483647 34526 202 | 0.000 % |
23.15/23.29 c | 34866 | 15605 66756 202671 | 2147483647 34866 202 | 0.000 % |
23.45/23.59 c | 35239 | 15605 66756 202671 | 2147483647 35239 202 | 0.000 % |
23.75/23.89 c | 35648 | 15605 66756 202671 | 2147483647 35648 202 | 0.000 % |
24.16/24.24 c | 36097 | 15605 66756 202671 | 2147483647 36097 202 | 0.000 % |
24.45/24.60 c | 36591 | 15605 66756 202671 | 2147483647 36591 203 | 0.000 % |
24.96/25.00 c | 37133 | 15605 66756 202671 | 2147483647 37133 203 | 0.000 % |
24.96/25.09 c | 37233 | 15605 66756 202671 | 2147483647 37233 202 | 0.000 % |
25.06/25.19 c | 37344 | 15605 66756 202671 | 2147483647 37344 202 | 0.000 % |
25.16/25.30 c | 37468 | 15605 66756 202671 | 2147483647 37468 202 | 0.000 % |
25.36/25.41 c | 37602 | 15605 66756 202671 | 2147483647 37602 202 | 0.000 % |
25.46/25.53 c | 37748 | 15605 66756 202671 | 2147483647 37748 202 | 0.000 % |
25.56/25.65 c | 37908 | 15605 66756 202671 | 2147483647 37908 202 | 0.000 % |
25.66/25.80 c | 38085 | 15605 66756 202671 | 2147483647 38085 202 | 0.000 % |
25.86/25.96 c | 38279 | 15605 66756 202671 | 2147483647 38279 202 | 0.000 % |
26.06/26.13 c | 38493 | 15605 66756 202671 | 2147483647 38493 202 | 0.000 % |
26.26/26.32 c | 38729 | 15605 66756 202671 | 2147483647 38729 202 | 0.000 % |
26.45/26.53 c | 38985 | 15605 66756 202671 | 2147483647 38985 202 | 0.000 % |
26.65/26.77 c | 39269 | 15605 66756 202671 | 2147483647 39269 202 | 0.000 % |
26.95/27.01 c | 39580 | 15605 66756 202671 | 2147483647 39580 202 | 0.000 % |
27.15/27.29 c | 39919 | 15605 66756 202671 | 2147483647 39919 202 | 0.000 % |
27.46/27.57 c | 40292 | 15605 66756 202671 | 2147483647 40292 202 | 0.000 % |
27.75/27.89 c | 40703 | 15605 66756 202671 | 2147483647 40703 202 | 0.000 % |
28.15/28.24 c | 41153 | 15605 66756 202671 | 2147483647 41153 202 | 0.000 % |
28.55/28.62 c | 41646 | 15605 66756 202671 | 2147483647 41646 203 | 0.000 % |
28.95/29.06 c | 42189 | 15605 66756 202671 | 2147483647 42189 204 | 0.000 % |
29.45/29.51 c | 42785 | 15605 66756 202671 | 2147483647 42785 204 | 0.000 % |
29.45/29.60 c | 42885 | 15605 66756 202671 | 2147483647 42885 204 | 0.000 % |
29.55/29.69 c | 42995 | 15605 66756 202671 | 2147483647 42995 204 | 0.000 % |
29.65/29.79 c | 43117 | 15605 66756 202671 | 2147483647 43117 204 | 0.000 % |
29.85/29.90 c | 43251 | 15605 66756 202671 | 2147483647 43251 204 | 0.000 % |
29.95/30.02 c | 43398 | 15605 66756 202671 | 2147483647 43398 204 | 0.000 % |
30.05/30.18 c | 43558 | 15605 66756 202671 | 2147483647 43558 204 | 0.000 % |
30.25/30.32 c | 43735 | 15605 66756 202671 | 2147483647 43735 204 | 0.000 % |
30.35/30.49 c | 43928 | 15605 66756 202671 | 2147483647 43928 204 | 0.000 % |
30.55/30.67 c | 44141 | 15605 66756 202671 | 2147483647 44141 204 | 0.000 % |
30.75/30.87 c | 44374 | 15605 66756 202671 | 2147483647 44374 204 | 0.000 % |
30.95/31.07 c | 44631 | 15605 66756 202671 | 2147483647 44631 204 | 0.000 % |
31.25/31.31 c | 44913 | 15605 66756 202671 | 2147483647 44913 204 | 0.000 % |
31.45/31.58 c | 45223 | 15605 66756 202671 | 2147483647 45223 204 | 0.000 % |
31.75/31.86 c | 45562 | 15605 66756 202671 | 2147483647 45562 204 | 0.000 % |
32.05/32.17 c | 45935 | 15605 66756 202671 | 2147483647 45935 204 | 0.000 % |
32.44/32.52 c | 46344 | 15605 66756 202671 | 2147483647 46344 204 | 0.000 % |
32.74/32.88 c | 46795 | 15605 66756 202671 | 2147483647 46795 205 | 0.000 % |
33.14/33.26 c | 47289 | 15605 66756 202671 | 2147483647 47289 205 | 0.000 % |
33.65/33.70 c | 47831 | 15605 66756 202671 | 2147483647 47831 206 | 0.000 % |
34.05/34.15 c | 48429 | 15605 66756 202671 | 2147483647 48429 207 | 0.000 % |
34.54/34.65 c | 49086 | 15605 66756 202671 | 2147483647 49086 207 | 0.000 % |
34.64/34.75 c | 49188 | 15605 66756 202671 | 2147483647 49188 207 | 0.000 % |
34.74/34.85 c | 49298 | 15605 66756 202671 | 2147483647 49298 207 | 0.000 % |
34.84/34.96 c | 49420 | 15605 66756 202671 | 2147483647 49420 207 | 0.000 % |
34.94/35.08 c | 49553 | 15605 66756 202671 | 2147483647 49553 207 | 0.000 % |
35.15/35.22 c | 49699 | 15605 66756 202671 | 2147483647 49699 207 | 0.000 % |
35.24/35.37 c | 49859 | 15605 66756 202671 | 2147483647 49859 207 | 0.000 % |
35.44/35.52 c | 50035 | 15605 66756 202671 | 2147483647 50035 207 | 0.000 % |
35.54/35.69 c | 50231 | 15605 66756 202671 | 2147483647 50231 207 | 0.000 % |
35.74/35.87 c | 50443 | 15605 66756 202671 | 2147483647 50443 207 | 0.000 % |
35.94/36.08 c | 50676 | 15605 66756 202671 | 2147483647 50676 207 | 0.000 % |
36.25/36.30 c | 50933 | 15605 66756 202671 | 2147483647 50933 206 | 0.000 % |
36.45/36.55 c | 51219 | 15605 66756 202671 | 2147483647 51219 206 | 0.000 % |
36.74/36.83 c | 51528 | 15605 66756 202671 | 2147483647 51528 206 | 0.000 % |
37.04/37.13 c | 51868 | 15605 66756 202671 | 2147483647 51868 206 | 0.000 % |
37.35/37.46 c | 52242 | 15605 66756 202671 | 2147483647 52242 206 | 0.000 % |
37.74/37.83 c | 52651 | 15605 66756 202671 | 2147483647 52651 206 | 0.000 % |
38.14/38.25 c | 53101 | 15605 66756 202671 | 2147483647 53101 206 | 0.000 % |
38.54/38.68 c | 53594 | 15605 66756 202671 | 2147483647 53594 206 | 0.000 % |
39.04/39.15 c | 54136 | 15605 66756 202671 | 2147483647 54136 206 | 0.000 % |
39.54/39.65 c | 54732 | 15605 66756 202671 | 2147483647 54732 207 | 0.000 % |
40.14/40.20 c | 55388 | 15605 66756 202671 | 2147483647 55388 207 | 0.000 % |
40.74/40.80 c | 56109 | 15605 66756 202671 | 2147483647 56109 208 | 0.000 % |
40.74/40.90 c | 56210 | 15605 66756 202671 | 2147483647 56210 208 | 0.000 % |
40.94/41.01 c | 56320 | 15605 66756 202671 | 2147483647 56320 208 | 0.000 % |
41.04/41.13 c | 56442 | 15605 66756 202671 | 2147483647 56442 208 | 0.000 % |
41.14/41.25 c | 56575 | 15605 66756 202671 | 2147483647 56575 208 | 0.000 % |
41.24/41.39 c | 56721 | 15605 66756 202671 | 2147483647 56721 208 | 0.000 % |
41.44/41.53 c | 56881 | 15605 66756 202671 | 2147483647 56881 208 | 0.000 % |
41.54/41.70 c | 57057 | 15605 66756 202671 | 2147483647 57057 208 | 0.000 % |
41.74/41.90 c | 57250 | 15605 66756 202671 | 2147483647 57250 208 | 0.000 % |
42.04/42.10 c | 57463 | 15605 66756 202671 | 2147483647 57463 208 | 0.000 % |
42.24/42.33 c | 57697 | 15605 66756 202671 | 2147483647 57697 208 | 0.000 % |
42.43/42.58 c | 57954 | 15605 66756 202671 | 2147483647 57954 208 | 0.000 % |
42.74/42.84 c | 58235 | 15605 66756 202671 | 2147483647 58235 207 | 0.000 % |
43.03/43.13 c | 58544 | 15605 66756 202671 | 2147483647 58544 207 | 0.000 % |
43.33/43.44 c | 58883 | 15605 66756 202671 | 2147483647 58883 207 | 0.000 % |
43.63/43.76 c | 59255 | 15605 66756 202671 | 2147483647 59255 207 | 0.000 % |
44.03/44.16 c | 59665 | 15605 66756 202671 | 2147483647 59665 208 | 0.000 % |
44.43/44.55 c | 60114 | 15605 66756 202671 | 2147483647 60114 208 | 0.000 % |
44.83/44.97 c | 60607 | 15605 66756 202671 | 2147483647 60607 208 | 0.000 % |
45.34/45.46 c | 61149 | 15605 66756 202671 | 2147483647 61149 208 | 0.000 % |
45.93/46.01 c | 61747 | 15605 66756 202671 | 2147483647 61747 208 | 0.000 % |
46.43/46.57 c | 62402 | 15605 66756 202671 | 2147483647 62402 209 | 0.000 % |
47.13/47.26 c | 63122 | 15605 66756 202671 | 2147483647 63122 209 | 0.000 % |
47.93/48.02 c | 63914 | 15605 66756 202671 | 2147483647 63914 212 | 0.000 % |
48.03/48.13 c | 64014 | 15605 66756 202671 | 2147483647 64014 211 | 0.000 % |
48.13/48.25 c | 64124 | 15605 66756 202671 | 2147483647 64124 211 | 0.000 % |
48.24/48.37 c | 64246 | 15605 66756 202671 | 2147483647 64246 211 | 0.000 % |
48.44/48.51 c | 64379 | 15605 66756 202671 | 2147483647 64379 211 | 0.000 % |
48.54/48.65 c | 64525 | 15605 66756 202671 | 2147483647 64525 211 | 0.000 % |
48.73/48.80 c | 64685 | 15605 66756 202671 | 2147483647 64685 211 | 0.000 % |
48.83/48.99 c | 64863 | 15605 66756 202671 | 2147483647 64863 211 | 0.000 % |
49.03/49.17 c | 65056 | 15605 66756 202671 | 2147483647 65056 211 | 0.000 % |
49.23/49.38 c | 65268 | 15605 66756 202671 | 2147483647 65268 211 | 0.000 % |
49.53/49.60 c | 65502 | 15605 66756 202671 | 2147483647 65502 211 | 0.000 % |
49.73/49.86 c | 65760 | 15605 66756 202671 | 2147483647 65760 211 | 0.000 % |
50.03/50.13 c | 66041 | 15605 66756 202671 | 2147483647 66041 211 | 0.000 % |
50.33/50.43 c | 66352 | 15605 66756 202671 | 2147483647 66352 211 | 0.000 % |
50.63/50.74 c | 66691 | 15605 66756 202671 | 2147483647 66691 211 | 0.000 % |
51.03/51.11 c | 67063 | 15605 66756 202671 | 2147483647 67063 212 | 0.000 % |
51.43/51.52 c | 67472 | 15605 66756 202671 | 2147483647 67472 212 | 0.000 % |
51.83/51.97 c | 67922 | 15605 66756 202671 | 2147483647 67922 212 | 0.000 % |
52.33/52.43 c | 68415 | 15605 66756 202671 | 2147483647 68415 212 | 0.000 % |
52.83/52.96 c | 68957 | 15605 66756 202671 | 2147483647 68957 212 | 0.000 % |
53.33/53.49 c | 69555 | 15605 66756 202671 | 2147483647 69555 212 | 0.000 % |
54.03/54.11 c | 70210 | 15605 66756 202671 | 2147483647 70210 213 | 0.000 % |
54.73/54.80 c | 70931 | 15605 66756 202671 | 2147483647 70931 213 | 0.000 % |
55.43/55.59 c | 71723 | 15605 66756 202671 | 2147483647 71723 214 | 0.000 % |
56.32/56.40 c | 72596 | 15605 66756 202671 | 2147483647 72596 214 | 0.000 % |
56.42/56.52 c | 72696 | 15605 66756 202671 | 2147483647 72696 214 | 0.000 % |
56.52/56.64 c | 72806 | 15605 66756 202671 | 2147483647 72806 214 | 0.000 % |
56.62/56.77 c | 72928 | 15605 66756 202671 | 2147483647 72928 214 | 0.000 % |
56.73/56.89 c | 73061 | 15605 66756 202671 | 2147483647 73061 214 | 0.000 % |
56.93/57.06 c | 73207 | 15605 66756 202671 | 2147483647 73207 214 | 0.000 % |
57.14/57.23 c | 73368 | 15605 66756 202671 | 2147483647 73368 214 | 0.000 % |
57.33/57.42 c | 73544 | 15605 66756 202671 | 2147483647 73544 214 | 0.000 % |
57.53/57.63 c | 73738 | 15605 66756 202671 | 2147483647 73738 214 | 0.000 % |
57.73/57.84 c | 73950 | 15605 66756 202671 | 2147483647 73950 214 | 0.000 % |
57.93/58.09 c | 74184 | 15605 66756 202671 | 2147483647 74184 214 | 0.000 % |
58.23/58.33 c | 74440 | 15605 66756 202671 | 2147483647 74440 214 | 0.000 % |
58.43/58.59 c | 74722 | 15605 66756 202671 | 2147483647 74722 214 | 0.000 % |
58.73/58.88 c | 75032 | 15605 66756 202671 | 2147483647 75032 214 | 0.000 % |
59.13/59.26 c | 75373 | 15605 66756 202671 | 2147483647 75373 214 | 0.000 % |
59.52/59.63 c | 75747 | 15605 66756 202671 | 2147483647 75747 214 | 0.000 % |
59.92/60.04 c | 76157 | 15605 66756 202671 | 2147483647 76157 214 | 0.000 % |
60.43/60.51 c | 76607 | 15605 66756 202671 | 2147483647 76607 214 | 0.000 % |
60.93/61.00 c | 77100 | 15605 66756 202671 | 2147483647 77100 214 | 0.000 % |
61.43/61.53 c | 77642 | 15605 66756 202671 | 2147483647 77642 214 | 0.000 % |
62.03/62.17 c | 78238 | 15605 66756 202671 | 2147483647 78238 215 | 0.000 % |
62.73/62.83 c | 78895 | 15605 66756 202671 | 2147483647 78895 215 | 0.000 % |
63.42/63.56 c | 79615 | 15605 66756 202671 | 2147483647 79615 215 | 0.000 % |
64.22/64.34 c | 80407 | 15605 66756 202671 | 2147483647 80407 215 | 0.000 % |
65.12/65.21 c | 81280 | 15605 66756 202671 | 2147483647 81280 216 | 0.000 % |
66.03/66.16 c | 82238 | 15605 66756 202671 | 2147483647 82238 216 | 0.000 % |
66.13/66.27 c | 82339 | 15605 66756 202671 | 2147483647 82339 216 | 0.000 % |
66.23/66.39 c | 82449 | 15605 66756 202671 | 2147483647 82449 216 | 0.000 % |
66.43/66.54 c | 82571 | 15605 66756 202671 | 2147483647 82571 216 | 0.000 % |
66.63/66.71 c | 82706 | 15605 66756 202671 | 2147483647 82706 216 | 0.000 % |
66.73/66.87 c | 82853 | 15605 66756 202671 | 2147483647 82853 216 | 0.000 % |
66.93/67.06 c | 83014 | 15605 66756 202671 | 2147483647 83014 216 | 0.000 % |
67.13/67.24 c | 83190 | 15605 66756 202671 | 2147483647 83190 216 | 0.000 % |
67.33/67.46 c | 83383 | 15605 66756 202671 | 2147483647 83383 216 | 0.000 % |
67.62/67.70 c | 83595 | 15605 66756 202671 | 2147483647 83595 216 | 0.000 % |
67.82/67.97 c | 83829 | 15605 66756 202671 | 2147483647 83829 216 | 0.000 % |
68.13/68.25 c | 84086 | 15605 66756 202671 | 2147483647 84086 215 | 0.000 % |
68.42/68.56 c | 84370 | 15605 66756 202671 | 2147483647 84370 216 | 0.000 % |
68.72/68.88 c | 84679 | 15605 66756 202671 | 2147483647 84679 216 | 0.000 % |
69.13/69.26 c | 85018 | 15605 66756 202671 | 2147483647 85018 216 | 0.000 % |
69.52/69.66 c | 85391 | 15605 66756 202671 | 2147483647 85391 216 | 0.000 % |
69.92/70.06 c | 85801 | 15605 66756 202671 | 2147483647 85801 216 | 0.000 % |
70.42/70.54 c | 86251 | 15605 66756 202671 | 2147483647 86251 216 | 0.000 % |
70.93/71.05 c | 86747 | 15605 66756 202671 | 2147483647 86747 216 | 0.000 % |
71.43/71.59 c | 87289 | 15605 66756 202671 | 2147483647 87289 216 | 0.000 % |
72.13/72.21 c | 87886 | 15605 66756 202671 | 2147483647 87886 216 | 0.000 % |
72.82/72.91 c | 88542 | 15605 66756 202671 | 2147483647 88542 216 | 0.000 % |
73.53/73.68 c | 89263 | 15605 66756 202671 | 2147483647 89263 217 | 0.000 % |
74.42/74.52 c | 90055 | 15605 66756 202671 | 2147483647 90055 217 | 0.000 % |
75.32/75.42 c | 90927 | 15605 66756 202671 | 2147483647 90927 217 | 0.000 % |
76.22/76.39 c | 91885 | 15605 66756 202671 | 2147483647 91885 217 | 0.000 % |
77.32/77.45 c | 92938 | 15605 66756 202671 | 2147483647 92938 218 | 0.000 % |
77.42/77.56 c | 93039 | 15605 66756 202671 | 2147483647 93039 218 | 0.000 % |
77.62/77.72 c | 93149 | 15605 66756 202671 | 2147483647 93149 218 | 0.000 % |
77.72/77.86 c | 93270 | 15605 66756 202671 | 2147483647 93270 218 | 0.000 % |
77.92/78.03 c | 93405 | 15605 66756 202671 | 2147483647 93405 218 | 0.000 % |
78.12/78.21 c | 93553 | 15605 66756 202671 | 2147483647 93553 218 | 0.000 % |
78.32/78.40 c | 93713 | 15605 66756 202671 | 2147483647 93713 218 | 0.000 % |
78.52/78.61 c | 93889 | 15605 66756 202671 | 2147483647 93889 218 | 0.000 % |
78.72/78.85 c | 94083 | 15605 66756 202671 | 2147483647 94083 218 | 0.000 % |
79.02/79.10 c | 94296 | 15605 66756 202671 | 2147483647 94296 218 | 0.000 % |
79.21/79.37 c | 94530 | 15605 66756 202671 | 2147483647 94530 218 | 0.000 % |
79.51/79.66 c | 94789 | 15605 66756 202671 | 2147483647 94789 218 | 0.000 % |
79.81/79.99 c | 95071 | 15605 66756 202671 | 2147483647 95071 218 | 0.000 % |
80.22/80.32 c | 95381 | 15605 66756 202671 | 2147483647 95381 218 | 0.000 % |
80.62/80.70 c | 95721 | 15605 66756 202671 | 2147483647 95721 218 | 0.000 % |
81.02/81.12 c | 96093 | 15605 66756 202671 | 2147483647 96093 218 | 0.000 % |
81.42/81.59 c | 96502 | 15605 66756 202671 | 2147483647 96502 218 | 0.000 % |
81.91/82.07 c | 96951 | 15605 66756 202671 | 2147483647 96951 218 | 0.000 % |
82.52/82.60 c | 97447 | 15605 66756 202671 | 2147483647 97447 218 | 0.000 % |
83.02/83.17 c | 97989 | 15605 66756 202671 | 2147483647 97989 219 | 0.000 % |
83.72/83.85 c | 98586 | 15605 66756 202671 | 2147483647 98586 219 | 0.000 % |
84.42/84.58 c | 99241 | 15605 66756 202671 | 2147483647 99241 219 | 0.000 % |
85.21/85.33 c | 99961 | 15605 66756 202671 | 2147483647 99961 219 | 0.000 % |
86.12/86.21 c | 100755 | 15605 66756 202671 | 2147483647 100755 220 | 0.000 % |
87.12/87.21 c | 101628 | 15605 66756 202671 | 2147483647 101628 221 | 0.000 % |
88.11/88.27 c | 102586 | 15605 66756 202671 | 2147483647 102586 221 | 0.000 % |
89.32/89.46 c | 103640 | 15605 66756 202671 | 2147483647 103640 221 | 0.000 % |
90.61/90.72 c | 104798 | 15605 66756 202671 | 2147483647 104798 221 | 0.000 % |
90.71/90.86 c | 104898 | 15605 66756 202671 | 2147483647 104898 221 | 0.000 % |
90.81/90.99 c | 105008 | 15605 66756 202671 | 2147483647 105008 221 | 0.000 % |
91.01/91.17 c | 105130 | 15605 66756 202671 | 2147483647 105130 221 | 0.000 % |
91.22/91.34 c | 105263 | 15605 66756 202671 | 2147483647 105263 221 | 0.000 % |
91.41/91.53 c | 105410 | 15605 66756 202671 | 2147483647 105410 221 | 0.000 % |
91.61/91.75 c | 105570 | 15605 66756 202671 | 2147483647 105570 221 | 0.000 % |
91.81/91.96 c | 105746 | 15605 66756 202671 | 2147483647 105746 221 | 0.000 % |
92.01/92.19 c | 105941 | 15605 66756 202671 | 2147483647 105941 221 | 0.000 % |
92.31/92.45 c | 106153 | 15605 66756 202671 | 2147483647 106153 221 | 0.000 % |
92.61/92.70 c | 106386 | 15605 66756 202671 | 2147483647 106386 221 | 0.000 % |
92.91/93.01 c | 106643 | 15605 66756 202671 | 2147483647 106643 221 | 0.000 % |
93.21/93.35 c | 106926 | 15605 66756 202671 | 2147483647 106926 221 | 0.000 % |
93.61/93.70 c | 107238 | 15605 66756 202671 | 2147483647 107238 221 | 0.000 % |
93.91/94.09 c | 107577 | 15605 66756 202671 | 2147483647 107577 221 | 0.000 % |
94.42/94.53 c | 107949 | 15605 66756 202671 | 2147483647 107949 221 | 0.000 % |
94.92/95.05 c | 108358 | 15605 66756 202671 | 2147483647 108358 221 | 0.000 % |
95.41/95.59 c | 108808 | 15605 66756 202671 | 2147483647 108808 221 | 0.000 % |
96.01/96.16 c | 109301 | 15605 66756 202671 | 2147483647 109301 221 | 0.000 % |
96.71/96.83 c | 109843 | 15605 66756 202671 | 2147483647 109843 221 | 0.000 % |
97.41/97.56 c | 110443 | 15605 66756 202671 | 2147483647 110443 221 | 0.000 % |
98.21/98.34 c | 111098 | 15605 66756 202671 | 2147483647 111098 221 | 0.000 % |
99.11/99.22 c | 111819 | 15605 66756 202671 | 2147483647 111819 221 | 0.000 % |
100.02/100.16 c | 112611 | 15605 66756 202671 | 2147483647 112611 222 | 0.000 % |
101.02/101.16 c | 113483 | 15605 66756 202671 | 2147483647 113483 222 | 0.000 % |
102.11/102.30 c | 114441 | 15605 66756 202671 | 2147483647 114441 222 | 0.000 % |
103.50/103.62 c | 115494 | 15605 66756 202671 | 2147483647 115494 222 | 0.000 % |
104.81/104.98 c | 116652 | 15605 66756 202671 | 2147483647 116652 224 | 0.000 % |
106.41/106.50 c | 117926 | 15605 66756 202671 | 2147483647 117926 225 | 0.000 % |
106.51/106.64 c | 118026 | 15605 66756 202671 | 2147483647 118026 225 | 0.000 % |
106.70/106.83 c | 118136 | 15605 66756 202671 | 2147483647 118136 225 | 0.000 % |
106.90/107.00 c | 118257 | 15605 66756 202671 | 2147483647 118257 224 | 0.000 % |
107.10/107.21 c | 118391 | 15605 66756 202671 | 2147483647 118391 224 | 0.000 % |
107.30/107.40 c | 118539 | 15605 66756 202671 | 2147483647 118539 224 | 0.000 % |
107.50/107.63 c | 118699 | 15605 66756 202671 | 2147483647 118699 224 | 0.000 % |
107.71/107.87 c | 118875 | 15605 66756 202671 | 2147483647 118875 224 | 0.000 % |
107.90/108.09 c | 119068 | 15605 66756 202671 | 2147483647 119068 224 | 0.000 % |
108.20/108.38 c | 119280 | 15605 66756 202671 | 2147483647 119280 224 | 0.000 % |
108.50/108.68 c | 119513 | 15605 66756 202671 | 2147483647 119513 224 | 0.000 % |
108.90/109.05 c | 119770 | 15605 66756 202671 | 2147483647 119770 224 | 0.000 % |
109.30/109.40 c | 120051 | 15605 66756 202671 | 2147483647 120051 224 | 0.000 % |
109.70/109.83 c | 120362 | 15605 66756 202671 | 2147483647 120362 224 | 0.000 % |
110.10/110.26 c | 120701 | 15605 66756 202671 | 2147483647 120701 224 | 0.000 % |
110.60/110.71 c | 121073 | 15605 66756 202671 | 2147483647 121073 224 | 0.000 % |
111.11/111.21 c | 121482 | 15605 66756 202671 | 2147483647 121482 224 | 0.000 % |
111.60/111.75 c | 121931 | 15605 66756 202671 | 2147483647 121931 224 | 0.000 % |
112.20/112.36 c | 122425 | 15605 66756 202671 | 2147483647 122425 224 | 0.000 % |
112.90/113.06 c | 122968 | 15605 66756 202671 | 2147483647 122968 224 | 0.000 % |
113.70/113.81 c | 123566 | 15605 66756 202671 | 2147483647 123566 224 | 0.000 % |
114.40/114.59 c | 124221 | 15605 66756 202671 | 2147483647 124221 225 | 0.000 % |
115.31/115.45 c | 124941 | 15605 66756 202671 | 2147483647 124941 225 | 0.000 % |
116.30/116.47 c | 125736 | 15605 66756 202671 | 2147483647 125736 225 | 0.000 % |
117.40/117.57 c | 126610 | 15605 66756 202671 | 2147483647 126610 225 | 0.000 % |
118.60/118.74 c | 127568 | 15605 66756 202671 | 2147483647 127568 226 | 0.000 % |
119.90/120.01 c | 128622 | 15605 66756 202671 | 2147483647 128622 226 | 0.000 % |
121.20/121.37 c | 129780 | 15605 66756 202671 | 2147483647 129780 227 | 0.000 % |
122.80/122.94 c | 131054 | 15605 66756 202671 | 2147483647 131054 227 | 0.000 % |
124.70/124.81 c | 132456 | 15605 66756 202671 | 2147483647 132456 227 | 0.000 % |
124.80/124.97 c | 132556 | 15605 66756 202671 | 2147483647 132556 227 | 0.000 % |
125.00/125.14 c | 132668 | 15605 66756 202671 | 2147483647 132668 227 | 0.000 % |
125.21/125.32 c | 132791 | 15605 66756 202671 | 2147483647 132791 227 | 0.000 % |
125.40/125.53 c | 132924 | 15605 66756 202671 | 2147483647 132924 227 | 0.000 % |
125.60/125.75 c | 133070 | 15605 66756 202671 | 2147483647 133070 227 | 0.000 % |
125.80/126.00 c | 133232 | 15605 66756 202671 | 2147483647 133232 227 | 0.000 % |
126.10/126.26 c | 133408 | 15605 66756 202671 | 2147483647 133408 227 | 0.000 % |
126.40/126.50 c | 133601 | 15605 66756 202671 | 2147483647 133601 227 | 0.000 % |
126.70/126.80 c | 133814 | 15605 66756 202671 | 2147483647 133814 227 | 0.000 % |
127.00/127.12 c | 134047 | 15605 66756 202671 | 2147483647 134047 227 | 0.000 % |
127.30/127.46 c | 134303 | 15605 66756 202671 | 2147483647 134303 227 | 0.000 % |
127.70/127.84 c | 134584 | 15605 66756 202671 | 2147483647 134584 227 | 0.000 % |
128.10/128.28 c | 134893 | 15605 66756 202671 | 2147483647 134893 227 | 0.000 % |
128.60/128.75 c | 135233 | 15605 66756 202671 | 2147483647 135233 227 | 0.000 % |
129.09/129.26 c | 135605 | 15605 66756 202671 | 2147483647 135605 227 | 0.000 % |
129.60/129.80 c | 136015 | 15605 66756 202671 | 2147483647 136015 227 | 0.000 % |
130.20/130.37 c | 136468 | 15605 66756 202671 | 2147483647 136468 227 | 0.000 % |
130.90/131.03 c | 136961 | 15605 66756 202671 | 2147483647 136961 227 | 0.000 % |
131.60/131.77 c | 137505 | 15605 66756 202671 | 2147483647 137505 227 | 0.000 % |
132.40/132.53 c | 138101 | 15605 66756 202671 | 2147483647 138101 228 | 0.000 % |
133.20/133.38 c | 138757 | 15605 66756 202671 | 2147483647 138757 228 | 0.000 % |
134.19/134.36 c | 139479 | 15605 66756 202671 | 2147483647 139479 228 | 0.000 % |
135.20/135.33 c | 140272 | 15605 66756 202671 | 2147483647 140272 228 | 0.000 % |
136.29/136.48 c | 141143 | 15605 66756 202671 | 2147483647 141143 228 | 0.000 % |
137.59/137.79 c | 142103 | 15605 66756 202671 | 2147483647 142103 228 | 0.000 % |
139.09/139.22 c | 143157 | 15605 66756 202671 | 2147483647 143157 228 | 0.000 % |
140.60/140.75 c | 144315 | 15605 66756 202671 | 2147483647 144315 229 | 0.000 % |
142.29/142.42 c | 145590 | 15605 66756 202671 | 2147483647 145590 229 | 0.000 % |
144.09/144.27 c | 146992 | 15605 66756 202671 | 2147483647 146992 229 | 0.000 % |
146.20/146.39 c | 148532 | 15605 66756 202671 | 2147483647 148532 229 | 0.000 % |
146.39/146.58 c | 148633 | 15605 66756 202671 | 2147483647 148633 229 | 0.000 % |
146.59/146.75 c | 148744 | 15605 66756 202671 | 2147483647 148744 229 | 0.000 % |
146.79/146.94 c | 148865 | 15605 66756 202671 | 2147483647 148865 229 | 0.000 % |
146.99/147.15 c | 148998 | 15605 66756 202671 | 2147483647 148998 229 | 0.000 % |
147.19/147.39 c | 149144 | 15605 66756 202671 | 2147483647 149144 229 | 0.000 % |
147.49/147.64 c | 149304 | 15605 66756 202671 | 2147483647 149304 229 | 0.000 % |
147.69/147.90 c | 149480 | 15605 66756 202671 | 2147483647 149480 229 | 0.000 % |
148.09/148.21 c | 149675 | 15605 66756 202671 | 2147483647 149675 229 | 0.000 % |
148.39/148.52 c | 149888 | 15605 66756 202671 | 2147483647 149888 229 | 0.000 % |
148.68/148.88 c | 150121 | 15605 66756 202671 | 2147483647 150121 229 | 0.000 % |
149.09/149.25 c | 150378 | 15605 66756 202671 | 2147483647 150378 229 | 0.000 % |
149.59/149.72 c | 150659 | 15605 66756 202671 | 2147483647 150659 229 | 0.000 % |
149.99/150.16 c | 150968 | 15605 66756 202671 | 2147483647 150968 229 | 0.000 % |
150.49/150.62 c | 151308 | 15605 66756 202671 | 2147483647 151308 229 | 0.000 % |
150.99/151.14 c | 151680 | 15605 66756 202671 | 2147483647 151680 229 | 0.000 % |
151.48/151.68 c | 152091 | 15605 66756 202671 | 2147483647 152091 229 | 0.000 % |
152.28/152.40 c | 152543 | 15605 66756 202671 | 2147483647 152543 229 | 0.000 % |
152.98/153.13 c | 153039 | 15605 66756 202671 | 2147483647 153039 229 | 0.000 % |
153.79/153.91 c | 153581 | 15605 66756 202671 | 2147483647 153581 229 | 0.000 % |
154.58/154.80 c | 154178 | 15605 66756 202671 | 2147483647 154178 229 | 0.000 % |
155.58/155.73 c | 154834 | 15605 66756 202671 | 2147483647 154834 229 | 0.000 % |
156.48/156.69 c | 155554 | 15605 66756 202671 | 2147483647 155554 229 | 0.000 % |
157.68/157.82 c | 156346 | 15605 66756 202671 | 2147483647 156346 229 | 0.000 % |
158.88/159.01 c | 157217 | 15605 66756 202671 | 2147483647 157217 230 | 0.000 % |
160.18/160.36 c | 158175 | 15605 66756 202671 | 2147483647 158175 230 | 0.000 % |
161.69/161.85 c | 159229 | 15605 66756 202671 | 2147483647 159229 230 | 0.000 % |
163.28/163.46 c | 160387 | 15605 66756 202671 | 2147483647 160387 230 | 0.000 % |
165.09/165.29 c | 161660 | 15605 66756 202671 | 2147483647 161660 230 | 0.000 % |
166.98/167.19 c | 163060 | 15605 66756 202671 | 2147483647 163060 231 | 0.000 % |
169.28/169.44 c | 164600 | 15605 66756 202671 | 2147483647 164600 231 | 0.000 % |
171.78/171.94 c | 166294 | 15605 66756 202671 | 2147483647 166294 232 | 0.000 % |
171.98/172.12 c | 166394 | 15605 66756 202671 | 2147483647 166394 232 | 0.000 % |
172.18/172.33 c | 166504 | 15605 66756 202671 | 2147483647 166504 232 | 0.000 % |
172.38/172.53 c | 166626 | 15605 66756 202671 | 2147483647 166626 232 | 0.000 % |
172.58/172.77 c | 166761 | 15605 66756 202671 | 2147483647 166761 232 | 0.000 % |
172.78/172.99 c | 166907 | 15605 66756 202671 | 2147483647 166907 232 | 0.000 % |
173.07/173.26 c | 167067 | 15605 66756 202671 | 2147483647 167067 232 | 0.000 % |
173.37/173.56 c | 167243 | 15605 66756 202671 | 2147483647 167243 232 | 0.000 % |
173.77/173.91 c | 167437 | 15605 66756 202671 | 2147483647 167437 232 | 0.000 % |
174.07/174.26 c | 167649 | 15605 66756 202671 | 2147483647 167649 232 | 0.000 % |
174.47/174.63 c | 167882 | 15605 66756 202671 | 2147483647 167882 232 | 0.000 % |
174.88/175.05 c | 168138 | 15605 66756 202671 | 2147483647 168138 232 | 0.000 % |
175.38/175.52 c | 168421 | 15605 66756 202671 | 2147483647 168421 232 | 0.000 % |
175.78/175.96 c | 168730 | 15605 66756 202671 | 2147483647 168730 232 | 0.000 % |
176.38/176.56 c | 169069 | 15605 66756 202671 | 2147483647 169069 232 | 0.000 % |
176.98/177.17 c | 169444 | 15605 66756 202671 | 2147483647 169444 232 | 0.000 % |
177.67/177.80 c | 169853 | 15605 66756 202671 | 2147483647 169853 232 | 0.000 % |
178.38/178.51 c | 170303 | 15605 66756 202671 | 2147483647 170303 232 | 0.000 % |
179.08/179.27 c | 170797 | 15605 66756 202671 | 2147483647 170797 232 | 0.000 % |
179.98/180.11 c | 171340 | 15605 66756 202671 | 2147483647 171340 232 | 0.000 % |
180.77/181.00 c | 171936 | 15605 66756 202671 | 2147483647 171936 232 | 0.000 % |
181.77/181.95 c | 172592 | 15605 66756 202671 | 2147483647 172592 232 | 0.000 % |
182.87/183.09 c | 173313 | 15605 66756 202671 | 2147483647 173313 232 | 0.000 % |
184.18/184.33 c | 174106 | 15605 66756 202671 | 2147483647 174106 233 | 0.000 % |
185.57/185.76 c | 174978 | 15605 66756 202671 | 2147483647 174978 232 | 0.000 % |
187.07/187.26 c | 175937 | 15605 66756 202671 | 2147483647 175937 233 | 0.000 % |
188.58/188.75 c | 176991 | 15605 66756 202671 | 2147483647 176991 233 | 0.000 % |
190.37/190.51 c | 178151 | 15605 66756 202671 | 2147483647 178151 233 | 0.000 % |
192.07/192.28 c | 179425 | 15605 66756 202671 | 2147483647 179425 233 | 0.000 % |
194.17/194.33 c | 180826 | 15605 66756 202671 | 2147483647 180826 233 | 0.000 % |
196.47/196.65 c | 182367 | 15605 66756 202671 | 2147483647 182367 234 | 0.000 % |
198.97/199.12 c | 184061 | 15605 66756 202671 | 2147483647 184061 234 | 0.000 % |
201.76/201.96 c | 185927 | 15605 66756 202671 | 2147483647 185927 235 | 0.000 % |
201.96/202.13 c | 186027 | 15605 66756 202671 | 2147483647 186027 235 | 0.000 % |
202.17/202.37 c | 186137 | 15605 66756 202671 | 2147483647 186137 235 | 0.000 % |
202.46/202.61 c | 186260 | 15605 66756 202671 | 2147483647 186260 235 | 0.000 % |
202.66/202.85 c | 186393 | 15605 66756 202671 | 2147483647 186393 235 | 0.000 % |
202.96/203.14 c | 186539 | 15605 66756 202671 | 2147483647 186539 235 | 0.000 % |
203.27/203.45 c | 186699 | 15605 66756 202671 | 2147483647 186699 235 | 0.000 % |
203.56/203.76 c | 186875 | 15605 66756 202671 | 2147483647 186875 235 | 0.000 % |
203.96/204.14 c | 187070 | 15605 66756 202671 | 2147483647 187070 235 | 0.000 % |
204.38/204.55 c | 187282 | 15605 66756 202671 | 2147483647 187282 235 | 0.000 % |
204.77/204.97 c | 187515 | 15605 66756 202671 | 2147483647 187515 235 | 0.000 % |
205.17/205.37 c | 187771 | 15605 66756 202671 | 2147483647 187771 234 | 0.000 % |
205.67/205.83 c | 188053 | 15605 66756 202671 | 2147483647 188053 234 | 0.000 % |
206.16/206.39 c | 188362 | 15605 66756 202671 | 2147483647 188362 234 | 0.000 % |
206.76/206.96 c | 188704 | 15605 66756 202671 | 2147483647 188704 234 | 0.000 % |
207.36/207.59 c | 189078 | 15605 66756 202671 | 2147483647 189078 234 | 0.000 % |
208.06/208.27 c | 189487 | 15605 66756 202671 | 2147483647 189487 234 | 0.000 % |
208.77/208.94 c | 189939 | 15605 66756 202671 | 2147483647 189939 235 | 0.000 % |
209.56/209.75 c | 190432 | 15605 66756 202671 | 2147483647 190432 234 | 0.000 % |
210.37/210.57 c | 190977 | 15605 66756 202671 | 2147483647 190977 234 | 0.000 % |
211.37/211.53 c | 191574 | 15605 66756 202671 | 2147483647 191574 234 | 0.000 % |
212.36/212.57 c | 192229 | 15605 66756 202671 | 2147483647 192229 234 | 0.000 % |
213.46/213.63 c | 192949 | 15605 66756 202671 | 2147483647 192949 234 | 0.000 % |
214.66/214.85 c | 193745 | 15605 66756 202671 | 2147483647 193745 234 | 0.000 % |
216.07/216.28 c | 194616 | 15605 66756 202671 | 2147483647 194616 235 | 0.000 % |
217.57/217.71 c | 195574 | 15605 66756 202671 | 2147483647 195574 234 | 0.000 % |
219.16/219.39 c | 196628 | 15605 66756 202671 | 2147483647 196628 235 | 0.000 % |
220.87/221.07 c | 197787 | 15605 66756 202671 | 2147483647 197787 235 | 0.000 % |
222.86/223.05 c | 199060 | 15605 66756 202671 | 2147483647 199060 236 | 0.000 % |
225.16/225.33 c | 200460 | 15605 66756 202671 | 2147483647 200460 236 | 0.000 % |
227.76/227.91 c | 202000 | 15605 66756 202671 | 2147483647 202000 236 | 0.000 % |
230.56/230.75 c | 203694 | 15605 66756 202671 | 2147483647 203694 236 | 0.000 % |
233.76/233.90 c | 205558 | 15605 66756 202671 | 2147483647 205558 236 | 0.000 % |
237.06/237.24 c | 207608 | 15605 66756 202671 | 2147483647 207608 237 | 0.000 % |
237.26/237.47 c | 207710 | 15605 66756 202671 | 2147483647 207710 237 | 0.000 % |
237.46/237.68 c | 207821 | 15605 66756 202671 | 2147483647 207821 237 | 0.000 % |
237.76/237.91 c | 207942 | 15605 66756 202671 | 2147483647 207942 237 | 0.000 % |
238.06/238.21 c | 208075 | 15605 66756 202671 | 2147483647 208075 237 | 0.000 % |
238.36/238.53 c | 208221 | 15605 66756 202671 | 2147483647 208221 237 | 0.000 % |
238.65/238.84 c | 208381 | 15605 66756 202671 | 2147483647 208381 237 | 0.000 % |
238.95/239.18 c | 208557 | 15605 66756 202671 | 2147483647 208557 237 | 0.000 % |
239.35/239.55 c | 208752 | 15605 66756 202671 | 2147483647 208752 237 | 0.000 % |
239.75/239.96 c | 208964 | 15605 66756 202671 | 2147483647 208964 237 | 0.000 % |
240.25/240.40 c | 209198 | 15605 66756 202671 | 2147483647 209198 237 | 0.000 % |
240.66/240.88 c | 209454 | 15605 66756 202671 | 2147483647 209454 237 | 0.000 % |
241.26/241.40 c | 209735 | 15605 66756 202671 | 2147483647 209735 237 | 0.000 % |
241.76/241.95 c | 210045 | 15605 66756 202671 | 2147483647 210045 237 | 0.000 % |
242.36/242.57 c | 210384 | 15605 66756 202671 | 2147483647 210384 236 | 0.000 % |
243.06/243.23 c | 210758 | 15605 66756 202671 | 2147483647 210758 236 | 0.000 % |
243.76/243.97 c | 211168 | 15605 66756 202671 | 2147483647 211168 236 | 0.000 % |
244.55/244.79 c | 211617 | 15605 66756 202671 | 2147483647 211617 236 | 0.000 % |
245.45/245.67 c | 212111 | 15605 66756 202671 | 2147483647 212111 237 | 0.000 % |
246.45/246.61 c | 212656 | 15605 66756 202671 | 2147483647 212656 236 | 0.000 % |
247.45/247.60 c | 213253 | 15605 66756 202671 | 2147483647 213253 236 | 0.000 % |
248.55/248.72 c | 213909 | 15605 66756 202671 | 2147483647 213909 236 | 0.000 % |
249.76/249.93 c | 214629 | 15605 66756 202671 | 2147483647 214629 236 | 0.000 % |
251.05/251.28 c | 215421 | 15605 66756 202671 | 2147483647 215421 236 | 0.000 % |
252.55/252.79 c | 216293 | 15605 66756 202671 | 2147483647 216293 236 | 0.000 % |
254.25/254.41 c | 217253 | 15605 66756 202671 | 2147483647 217253 237 | 0.000 % |
255.95/256.16 c | 218307 | 15605 66756 202671 | 2147483647 218307 237 | 0.000 % |
257.95/258.13 c | 219467 | 15605 66756 202671 | 2147483647 219467 237 | 0.000 % |
260.25/260.40 c | 220742 | 15605 66756 202671 | 2147483647 220742 238 | 0.000 % |
262.55/262.70 c | 222142 | 15605 66756 202671 | 2147483647 222142 238 | 0.000 % |
265.05/265.26 c | 223682 | 15605 66756 202671 | 2147483647 223682 238 | 0.000 % |
268.04/268.22 c | 225376 | 15605 66756 202671 | 2147483647 225376 238 | 0.000 % |
271.14/271.33 c | 227240 | 15605 66756 202671 | 2147483647 227240 238 | 0.000 % |
274.74/274.92 c | 229292 | 15605 66756 202671 | 2147483647 229292 238 | 0.000 % |
278.54/278.77 c | 231545 | 15605 66756 202671 | 2147483647 231545 239 | 0.000 % |
278.74/278.99 c | 231646 | 15605 66756 202671 | 2147483647 231646 239 | 0.000 % |
279.04/279.21 c | 231757 | 15605 66756 202671 | 2147483647 231757 239 | 0.000 % |
279.24/279.46 c | 231879 | 15605 66756 202671 | 2147483647 231879 239 | 0.000 % |
279.54/279.75 c | 232012 | 15605 66756 202671 | 2147483647 232012 239 | 0.000 % |
279.84/280.08 c | 232159 | 15605 66756 202671 | 2147483647 232159 238 | 0.000 % |
280.14/280.40 c | 232319 | 15605 66756 202671 | 2147483647 232319 239 | 0.000 % |
280.55/280.79 c | 232495 | 15605 66756 202671 | 2147483647 232495 239 | 0.000 % |
280.94/281.16 c | 232689 | 15605 66756 202671 | 2147483647 232689 238 | 0.000 % |
281.35/281.58 c | 232901 | 15605 66756 202671 | 2147483647 232901 238 | 0.000 % |
281.84/282.06 c | 233134 | 15605 66756 202671 | 2147483647 233134 238 | 0.000 % |
282.34/282.55 c | 233390 | 15605 66756 202671 | 2147483647 233390 238 | 0.000 % |
282.94/283.11 c | 233671 | 15605 66756 202671 | 2147483647 233671 238 | 0.000 % |
283.44/283.68 c | 233983 | 15605 66756 202671 | 2147483647 233983 238 | 0.000 % |
284.14/284.34 c | 234322 | 15605 66756 202671 | 2147483647 234322 238 | 0.000 % |
284.94/285.11 c | 234696 | 15605 66756 202671 | 2147483647 234696 238 | 0.000 % |
285.74/285.93 c | 235106 | 15605 66756 202671 | 2147483647 235106 238 | 0.000 % |
286.54/286.75 c | 235556 | 15605 66756 202671 | 2147483647 235556 238 | 0.000 % |
287.53/287.72 c | 236050 | 15605 66756 202671 | 2147483647 236050 238 | 0.000 % |
288.53/288.75 c | 236592 | 15605 66756 202671 | 2147483647 236592 238 | 0.000 % |
289.63/289.81 c | 237191 | 15605 66756 202671 | 2147483647 237191 238 | 0.000 % |
290.74/290.96 c | 237846 | 15605 66756 202671 | 2147483647 237846 238 | 0.000 % |
292.03/292.28 c | 238566 | 15605 66756 202671 | 2147483647 238566 238 | 0.000 % |
293.54/293.76 c | 239360 | 15605 66756 202671 | 2147483647 239360 238 | 0.000 % |
295.13/295.35 c | 240231 | 15605 66756 202671 | 2147483647 240231 238 | 0.000 % |
296.93/297.12 c | 241190 | 15605 66756 202671 | 2147483647 241190 238 | 0.000 % |
298.74/298.97 c | 242245 | 15605 66756 202671 | 2147483647 242245 238 | 0.000 % |
300.93/301.16 c | 243403 | 15605 66756 202671 | 2147483647 243403 239 | 0.000 % |
303.23/303.46 c | 244676 | 15605 66756 202671 | 2147483647 244676 239 | 0.000 % |
305.64/305.88 c | 246076 | 15605 66756 202671 | 2147483647 246076 239 | 0.000 % |
308.53/308.79 c | 247618 | 15605 66756 202671 | 2147483647 247618 239 | 0.000 % |
311.63/311.81 c | 249312 | 15605 66756 202671 | 2147483647 249312 239 | 0.000 % |
314.83/315.09 c | 251176 | 15605 66756 202671 | 2147483647 251176 239 | 0.000 % |
318.42/318.67 c | 253225 | 15605 66756 202671 | 2147483647 253225 240 | 0.000 % |
322.63/322.85 c | 255478 | 15605 66756 202671 | 2147483647 255478 240 | 0.000 % |
327.13/327.31 c | 257958 | 15605 66756 202671 | 2147483647 257958 240 | 0.000 % |
327.33/327.53 c | 258058 | 15605 66756 202671 | 2147483647 258058 240 | 0.000 % |
327.63/327.87 c | 258171 | 15605 66756 202671 | 2147483647 258171 240 | 0.000 % |
327.93/328.17 c | 258292 | 15605 66756 202671 | 2147483647 258292 240 | 0.000 % |
328.22/328.49 c | 258425 | 15605 66756 202671 | 2147483647 258425 240 | 0.000 % |
328.63/328.80 c | 258572 | 15605 66756 202671 | 2147483647 258572 240 | 0.000 % |
328.92/329.18 c | 258733 | 15605 66756 202671 | 2147483647 258733 240 | 0.000 % |
329.32/329.57 c | 258909 | 15605 66756 202671 | 2147483647 258909 240 | 0.000 % |
329.83/330.03 c | 259104 | 15605 66756 202671 | 2147483647 259104 240 | 0.000 % |
330.22/330.49 c | 259316 | 15605 66756 202671 | 2147483647 259316 240 | 0.000 % |
330.82/331.01 c | 259549 | 15605 66756 202671 | 2147483647 259549 240 | 0.000 % |
331.32/331.59 c | 259805 | 15605 66756 202671 | 2147483647 259805 240 | 0.000 % |
332.02/332.20 c | 260086 | 15605 66756 202671 | 2147483647 260086 240 | 0.000 % |
332.62/332.86 c | 260397 | 15605 66756 202671 | 2147483647 260397 240 | 0.000 % |
333.32/333.60 c | 260736 | 15605 66756 202671 | 2147483647 260736 240 | 0.000 % |
334.12/334.38 c | 261108 | 15605 66756 202671 | 2147483647 261108 240 | 0.000 % |
335.01/335.22 c | 261517 | 15605 66756 202671 | 2147483647 261517 240 | 0.000 % |
335.91/336.19 c | 261966 | 15605 66756 202671 | 2147483647 261966 240 | 0.000 % |
336.92/337.11 c | 262460 | 15605 66756 202671 | 2147483647 262460 240 | 0.000 % |
337.92/338.16 c | 263002 | 15605 66756 202671 | 2147483647 263002 240 | 0.000 % |
339.22/339.40 c | 263598 | 15605 66756 202671 | 2147483647 263598 240 | 0.000 % |
340.52/340.70 c | 264256 | 15605 66756 202671 | 2147483647 264256 240 | 0.000 % |
341.92/342.16 c | 264977 | 15605 66756 202671 | 2147483647 264977 240 | 0.000 % |
343.42/343.69 c | 265769 | 15605 66756 202671 | 2147483647 265769 240 | 0.000 % |
345.12/345.34 c | 266642 | 15605 66756 202671 | 2147483647 266642 240 | 0.000 % |
347.01/347.29 c | 267601 | 15605 66756 202671 | 2147483647 267601 240 | 0.000 % |
349.12/349.38 c | 268658 | 15605 66756 202671 | 2147483647 268658 240 | 0.000 % |
351.32/351.58 c | 269816 | 15605 66756 202671 | 2147483647 269816 241 | 0.000 % |
353.81/354.09 c | 271090 | 15605 66756 202671 | 2147483647 271090 241 | 0.000 % |
356.71/356.98 c | 272491 | 15605 66756 202671 | 2147483647 272491 241 | 0.000 % |
359.71/359.96 c | 274032 | 15605 66756 202671 | 2147483647 274032 241 | 0.000 % |
363.11/363.34 c | 275728 | 15605 66756 202671 | 2147483647 275728 241 | 0.000 % |
366.71/366.97 c | 277591 | 15605 66756 202671 | 2147483647 277591 241 | 0.000 % |
370.71/370.98 c | 279640 | 15605 66756 202671 | 2147483647 279640 241 | 0.000 % |
375.11/375.38 c | 281896 | 15605 66756 202671 | 2147483647 281896 242 | 0.000 % |
380.01/380.25 c | 284374 | 15605 66756 202671 | 2147483647 284374 242 | 0.000 % |
385.41/385.61 c | 287099 | 15605 66756 202671 | 2147483647 287099 242 | 0.000 % |
385.61/385.89 c | 287200 | 15605 66756 202671 | 2147483647 287200 242 | 0.000 % |
386.01/386.21 c | 287311 | 15605 66756 202671 | 2147483647 287311 242 | 0.000 % |
386.31/386.51 c | 287432 | 15605 66756 202671 | 2147483647 287432 242 | 0.000 % |
386.60/386.87 c | 287566 | 15605 66756 202671 | 2147483647 287566 242 | 0.000 % |
387.01/387.25 c | 287714 | 15605 66756 202671 | 2147483647 287714 242 | 0.000 % |
387.40/387.67 c | 287874 | 15605 66756 202671 | 2147483647 287874 242 | 0.000 % |
387.90/388.13 c | 288050 | 15605 66756 202671 | 2147483647 288050 242 | 0.000 % |
388.40/388.66 c | 288245 | 15605 66756 202671 | 2147483647 288245 242 | 0.000 % |
388.90/389.16 c | 288457 | 15605 66756 202671 | 2147483647 288457 242 | 0.000 % |
389.40/389.69 c | 288690 | 15605 66756 202671 | 2147483647 288690 242 | 0.000 % |
390.00/390.30 c | 288947 | 15605 66756 202671 | 2147483647 288947 242 | 0.000 % |
390.70/390.93 c | 289228 | 15605 66756 202671 | 2147483647 289228 242 | 0.000 % |
391.40/391.62 c | 289537 | 15605 66756 202671 | 2147483647 289537 242 | 0.000 % |
392.20/392.41 c | 289876 | 15605 66756 202671 | 2147483647 289876 242 | 0.000 % |
393.00/393.23 c | 290249 | 15605 66756 202671 | 2147483647 290249 242 | 0.000 % |
393.90/394.15 c | 290659 | 15605 66756 202671 | 2147483647 290659 242 | 0.000 % |
394.90/395.17 c | 291108 | 15605 66756 202671 | 2147483647 291108 242 | 0.000 % |
396.10/396.32 c | 291601 | 15605 66756 202671 | 2147483647 291601 242 | 0.000 % |
397.30/397.55 c | 292145 | 15605 66756 202671 | 2147483647 292145 242 | 0.000 % |
398.49/398.74 c | 292742 | 15605 66756 202671 | 2147483647 292742 242 | 0.000 % |
399.90/400.11 c | 293397 | 15605 66756 202671 | 2147483647 293397 242 | 0.000 % |
401.50/401.70 c | 294117 | 15605 66756 202671 | 2147483647 294117 242 | 0.000 % |
403.19/403.45 c | 294909 | 15605 66756 202671 | 2147483647 294909 242 | 0.000 % |
405.09/405.32 c | 295780 | 15605 66756 202671 | 2147483647 295780 242 | 0.000 % |
407.00/407.26 c | 296739 | 15605 66756 202671 | 2147483647 296739 242 | 0.000 % |
409.20/409.48 c | 297792 | 15605 66756 202671 | 2147483647 297792 242 | 0.000 % |
411.59/411.86 c | 298951 | 15605 66756 202671 | 2147483647 298951 242 | 0.000 % |
414.29/414.55 c | 300225 | 15605 66756 202671 | 2147483647 300225 242 | 0.000 % |
417.29/417.52 c | 301625 | 15605 66756 202671 | 2147483647 301625 242 | 0.000 % |
420.49/420.78 c | 303166 | 15605 66756 202671 | 2147483647 303166 243 | 0.000 % |
424.19/424.41 c | 304862 | 15605 66756 202671 | 2147483647 304862 243 | 0.000 % |
427.89/428.18 c | 306725 | 15605 66756 202671 | 2147483647 306725 243 | 0.000 % |
432.09/432.35 c | 308774 | 15605 66756 202671 | 2147483647 308774 243 | 0.000 % |
436.39/436.67 c | 311029 | 15605 66756 202671 | 2147483647 311029 243 | 0.000 % |
441.78/442.04 c | 313508 | 15605 66756 202671 | 2147483647 313508 244 | 0.000 % |
447.68/447.96 c | 316233 | 15605 66756 202671 | 2147483647 316233 244 | 0.000 % |
454.08/454.36 c | 319230 | 15605 66756 202671 | 2147483647 319230 245 | 0.000 % |
454.38/454.62 c | 319331 | 15605 66756 202671 | 2147483647 319331 245 | 0.000 % |
454.58/454.90 c | 319441 | 15605 66756 202671 | 2147483647 319441 245 | 0.000 % |
454.98/455.20 c | 319563 | 15605 66756 202671 | 2147483647 319563 245 | 0.000 % |
455.38/455.61 c | 319697 | 15605 66756 202671 | 2147483647 319697 245 | 0.000 % |
455.78/456.00 c | 319843 | 15605 66756 202671 | 2147483647 319843 245 | 0.000 % |
456.18/456.43 c | 320004 | 15605 66756 202671 | 2147483647 320004 245 | 0.000 % |
456.68/456.94 c | 320181 | 15605 66756 202671 | 2147483647 320181 245 | 0.000 % |
457.07/457.38 c | 320374 | 15605 66756 202671 | 2147483647 320374 245 | 0.000 % |
457.67/457.97 c | 320588 | 15605 66756 202671 | 2147483647 320588 245 | 0.000 % |
458.27/458.60 c | 320821 | 15605 66756 202671 | 2147483647 320821 245 | 0.000 % |
458.97/459.23 c | 321077 | 15605 66756 202671 | 2147483647 321077 245 | 0.000 % |
459.68/459.99 c | 321358 | 15605 66756 202671 | 2147483647 321358 245 | 0.000 % |
460.58/460.82 c | 321668 | 15605 66756 202671 | 2147483647 321668 245 | 0.000 % |
461.48/461.70 c | 322008 | 15605 66756 202671 | 2147483647 322008 245 | 0.000 % |
462.37/462.61 c | 322380 | 15605 66756 202671 | 2147483647 322380 245 | 0.000 % |
463.27/463.55 c | 322790 | 15605 66756 202671 | 2147483647 322790 245 | 0.000 % |
464.27/464.57 c | 323239 | 15605 66756 202671 | 2147483647 323239 245 | 0.000 % |
465.48/465.75 c | 323733 | 15605 66756 202671 | 2147483647 323733 245 | 0.000 % |
466.78/467.00 c | 324277 | 15605 66756 202671 | 2147483647 324277 245 | 0.000 % |
468.17/468.44 c | 324873 | 15605 66756 202671 | 2147483647 324873 245 | 0.000 % |
469.67/469.91 c | 325529 | 15605 66756 202671 | 2147483647 325529 245 | 0.000 % |
471.38/471.69 c | 326249 | 15605 66756 202671 | 2147483647 326249 245 | 0.000 % |
473.28/473.50 c | 327042 | 15605 66756 202671 | 2147483647 327042 245 | 0.000 % |
475.18/475.42 c | 327913 | 15605 66756 202671 | 2147483647 327913 245 | 0.000 % |
477.27/477.57 c | 328873 | 15605 66756 202671 | 2147483647 328873 245 | 0.000 % |
479.67/479.94 c | 329927 | 15605 66756 202671 | 2147483647 329927 245 | 0.000 % |
482.27/482.51 c | 331088 | 15605 66756 202671 | 2147483647 331088 245 | 0.000 % |
485.17/485.48 c | 332361 | 15605 66756 202671 | 2147483647 332361 245 | 0.000 % |
488.46/488.77 c | 333763 | 15605 66756 202671 | 2147483647 333763 245 | 0.000 % |
492.07/492.34 c | 335303 | 15605 66756 202671 | 2147483647 335303 245 | 0.000 % |
495.87/496.15 c | 336997 | 15605 66756 202671 | 2147483647 336997 245 | 0.000 % |
500.06/500.34 c | 338860 | 15605 66756 202671 | 2147483647 338860 245 | 0.000 % |
504.67/504.94 c | 340911 | 15605 66756 202671 | 2147483647 340911 245 | 0.000 % |
509.56/509.81 c | 343168 | 15605 66756 202671 | 2147483647 343168 245 | 0.000 % |
515.15/515.42 c | 345648 | 15605 66756 202671 | 2147483647 345648 246 | 0.000 % |
520.95/521.23 c | 348373 | 15605 66756 202671 | 2147483647 348373 246 | 0.000 % |
527.46/527.71 c | 351370 | 15605 66756 202671 | 2147483647 351370 247 | 0.000 % |
534.85/535.13 c | 354667 | 15605 66756 202671 | 2147483647 354667 247 | 0.000 % |
535.15/535.44 c | 354767 | 15605 66756 202671 | 2147483647 354767 247 | 0.000 % |
535.45/535.75 c | 354878 | 15605 66756 202671 | 2147483647 354878 247 | 0.000 % |
535.85/536.13 c | 354999 | 15605 66756 202671 | 2147483647 354999 247 | 0.000 % |
536.26/536.52 c | 355133 | 15605 66756 202671 | 2147483647 355133 247 | 0.000 % |
536.66/536.95 c | 355280 | 15605 66756 202671 | 2147483647 355280 247 | 0.000 % |
537.16/537.41 c | 355441 | 15605 66756 202671 | 2147483647 355441 247 | 0.000 % |
537.56/537.86 c | 355617 | 15605 66756 202671 | 2147483647 355617 247 | 0.000 % |
538.16/538.46 c | 355811 | 15605 66756 202671 | 2147483647 355811 247 | 0.000 % |
538.76/539.05 c | 356023 | 15605 66756 202671 | 2147483647 356023 247 | 0.000 % |
539.46/539.73 c | 356258 | 15605 66756 202671 | 2147483647 356258 247 | 0.000 % |
540.15/540.47 c | 356515 | 15605 66756 202671 | 2147483647 356515 247 | 0.000 % |
541.05/541.31 c | 356797 | 15605 66756 202671 | 2147483647 356797 247 | 0.000 % |
541.85/542.16 c | 357107 | 15605 66756 202671 | 2147483647 357107 247 | 0.000 % |
542.85/543.12 c | 357446 | 15605 66756 202671 | 2147483647 357446 247 | 0.000 % |
543.75/544.09 c | 357819 | 15605 66756 202671 | 2147483647 357819 247 | 0.000 % |
544.75/545.07 c | 358231 | 15605 66756 202671 | 2147483647 358231 247 | 0.000 % |
545.85/546.19 c | 358682 | 15605 66756 202671 | 2147483647 358682 247 | 0.000 % |
547.05/547.35 c | 359175 | 15605 66756 202671 | 2147483647 359175 247 | 0.000 % |
548.45/548.71 c | 359717 | 15605 66756 202671 | 2147483647 359717 247 | 0.000 % |
549.94/550.23 c | 360314 | 15605 66756 202671 | 2147483647 360314 247 | 0.000 % |
551.55/551.86 c | 360972 | 15605 66756 202671 | 2147483647 360972 247 | 0.000 % |
553.45/553.74 c | 361692 | 15605 66756 202671 | 2147483647 361692 247 | 0.000 % |
555.44/555.79 c | 362485 | 15605 66756 202671 | 2147483647 362485 247 | 0.000 % |
557.74/558.04 c | 363359 | 15605 66756 202671 | 2147483647 363359 247 | 0.000 % |
559.85/560.19 c | 364317 | 15605 66756 202671 | 2147483647 364317 247 | 0.000 % |
562.65/562.98 c | 365372 | 15605 66756 202671 | 2147483647 365372 247 | 0.000 % |
565.54/565.82 c | 366530 | 15605 66756 202671 | 2147483647 366530 247 | 0.000 % |
568.55/568.89 c | 367803 | 15605 66756 202671 | 2147483647 367803 247 | 0.000 % |
572.14/572.41 c | 369203 | 15605 66756 202671 | 2147483647 369203 247 | 0.000 % |
575.84/576.12 c | 370744 | 15605 66756 202671 | 2147483647 370744 247 | 0.000 % |
579.74/580.08 c | 372439 | 15605 66756 202671 | 2147483647 372439 247 | 0.000 % |
584.44/584.78 c | 374302 | 15605 66756 202671 | 2147483647 374302 247 | 0.000 % |
589.24/589.55 c | 376351 | 15605 66756 202671 | 2147483647 376351 248 | 0.000 % |
594.84/595.17 c | 378606 | 15605 66756 202671 | 2147483647 378606 248 | 0.000 % |
600.43/600.74 c | 381087 | 15605 66756 202671 | 2147483647 381087 248 | 0.000 % |
606.83/607.17 c | 383812 | 15605 66756 202671 | 2147483647 383812 249 | 0.000 % |
613.63/613.98 c | 386810 | 15605 66756 202671 | 2147483647 386810 249 | 0.000 % |
621.83/622.13 c | 390107 | 15605 66756 202671 | 2147483647 390107 249 | 0.000 % |
630.42/630.70 c | 393733 | 15605 66756 202671 | 2147483647 393733 250 | 0.000 % |
630.62/630.99 c | 393833 | 15605 66756 202671 | 2147483647 393833 250 | 0.000 % |
631.03/631.38 c | 393943 | 15605 66756 202671 | 2147483647 393943 250 | 0.000 % |
631.42/631.75 c | 394064 | 15605 66756 202671 | 2147483647 394064 250 | 0.000 % |
631.92/632.21 c | 394197 | 15605 66756 202671 | 2147483647 394197 250 | 0.000 % |
632.42/632.71 c | 394343 | 15605 66756 202671 | 2147483647 394343 250 | 0.000 % |
632.93/633.22 c | 394504 | 15605 66756 202671 | 2147483647 394504 250 | 0.000 % |
633.53/633.82 c | 394680 | 15605 66756 202671 | 2147483647 394680 250 | 0.000 % |
634.03/634.39 c | 394874 | 15605 66756 202671 | 2147483647 394874 250 | 0.000 % |
634.73/635.07 c | 395086 | 15605 66756 202671 | 2147483647 395086 250 | 0.000 % |
635.53/635.84 c | 395320 | 15605 66756 202671 | 2147483647 395320 250 | 0.000 % |
636.22/636.57 c | 395576 | 15605 66756 202671 | 2147483647 395576 250 | 0.000 % |
637.12/637.48 c | 395859 | 15605 66756 202671 | 2147483647 395859 250 | 0.000 % |
638.12/638.41 c | 396169 | 15605 66756 202671 | 2147483647 396169 250 | 0.000 % |
639.12/639.41 c | 396509 | 15605 66756 202671 | 2147483647 396509 250 | 0.000 % |
640.22/640.58 c | 396884 | 15605 66756 202671 | 2147483647 396884 250 | 0.000 % |
641.42/641.76 c | 397296 | 15605 66756 202671 | 2147483647 397296 250 | 0.000 % |
642.72/643.05 c | 397745 | 15605 66756 202671 | 2147483647 397745 250 | 0.000 % |
644.02/644.37 c | 398238 | 15605 66756 202671 | 2147483647 398238 250 | 0.000 % |
645.52/645.89 c | 398780 | 15605 66756 202671 | 2147483647 398780 250 | 0.000 % |
647.22/647.51 c | 399378 | 15605 66756 202671 | 2147483647 399378 249 | 0.000 % |
649.02/649.39 c | 400033 | 15605 66756 202671 | 2147483647 400033 249 | 0.000 % |
650.92/651.27 c | 400753 | 15605 66756 202671 | 2147483647 400753 250 | 0.000 % |
653.12/653.46 c | 401545 | 15605 66756 202671 | 2147483647 401545 250 | 0.000 % |
655.52/655.85 c | 402417 | 15605 66756 202671 | 2147483647 402417 250 | 0.000 % |
657.82/658.17 c | 403375 | 15605 66756 202671 | 2147483647 403375 250 | 0.000 % |
660.52/660.87 c | 404428 | 15605 66756 202671 | 2147483647 404428 250 | 0.000 % |
663.51/663.89 c | 405586 | 15605 66756 202671 | 2147483647 405586 250 | 0.000 % |
667.01/667.32 c | 406862 | 15605 66756 202671 | 2147483647 406862 250 | 0.000 % |
670.82/671.13 c | 408262 | 15605 66756 202671 | 2147483647 408262 250 | 0.000 % |
674.91/675.21 c | 409802 | 15605 66756 202671 | 2147483647 409802 250 | 0.000 % |
679.01/679.38 c | 411497 | 15605 66756 202671 | 2147483647 411497 250 | 0.000 % |
683.92/684.25 c | 413361 | 15605 66756 202671 | 2147483647 413361 250 | 0.000 % |
689.32/689.66 c | 415410 | 15605 66756 202671 | 2147483647 415410 250 | 0.000 % |
695.01/695.37 c | 417663 | 15605 66756 202671 | 2147483647 417663 250 | 0.000 % |
701.51/701.81 c | 420141 | 15605 66756 202671 | 2147483647 420141 251 | 0.000 % |
707.81/708.13 c | 422867 | 15605 66756 202671 | 2147483647 422867 252 | 0.000 % |
715.40/715.72 c | 425865 | 15605 66756 202671 | 2147483647 425865 252 | 0.000 % |
724.00/724.33 c | 429162 | 15605 66756 202671 | 2147483647 429162 252 | 0.000 % |
733.90/734.26 c | 432789 | 15605 66756 202671 | 2147483647 432789 252 | 0.000 % |
744.50/744.80 c | 436776 | 15605 66756 202671 | 2147483647 436776 253 | 0.000 % |
744.80/745.17 c | 436876 | 15605 66756 202671 | 2147483647 436876 253 | 0.000 % |
745.19/745.55 c | 436986 | 15605 66756 202671 | 2147483647 436986 253 | 0.000 % |
745.59/745.99 c | 437108 | 15605 66756 202671 | 2147483647 437108 253 | 0.000 % |
746.09/746.43 c | 437242 | 15605 66756 202671 | 2147483647 437242 253 | 0.000 % |
746.69/747.01 c | 437388 | 15605 66756 202671 | 2147483647 437388 253 | 0.000 % |
747.19/747.54 c | 437548 | 15605 66756 202671 | 2147483647 437548 253 | 0.000 % |
747.89/748.23 c | 437724 | 15605 66756 202671 | 2147483647 437724 253 | 0.000 % |
748.49/748.87 c | 437918 | 15605 66756 202671 | 2147483647 437918 253 | 0.000 % |
749.19/749.58 c | 438133 | 15605 66756 202671 | 2147483647 438133 253 | 0.000 % |
749.99/750.33 c | 438371 | 15605 66756 202671 | 2147483647 438371 253 | 0.000 % |
750.90/751.29 c | 438627 | 15605 66756 202671 | 2147483647 438627 253 | 0.000 % |
751.79/752.17 c | 438908 | 15605 66756 202671 | 2147483647 438908 253 | 0.000 % |
752.79/753.15 c | 439219 | 15605 66756 202671 | 2147483647 439219 253 | 0.000 % |
753.79/754.16 c | 439559 | 15605 66756 202671 | 2147483647 439559 253 | 0.000 % |
754.99/755.37 c | 439931 | 15605 66756 202671 | 2147483647 439931 253 | 0.000 % |
756.29/756.63 c | 440340 | 15605 66756 202671 | 2147483647 440340 253 | 0.000 % |
757.68/758.08 c | 440789 | 15605 66756 202671 | 2147483647 440789 253 | 0.000 % |
759.19/759.55 c | 441283 | 15605 66756 202671 | 2147483647 441283 253 | 0.000 % |
760.80/761.15 c | 441825 | 15605 66756 202671 | 2147483647 441825 253 | 0.000 % |
762.49/762.88 c | 442421 | 15605 66756 202671 | 2147483647 442421 253 | 0.000 % |
764.59/764.93 c | 443076 | 15605 66756 202671 | 2147483647 443076 252 | 0.000 % |
766.58/766.91 c | 443796 | 15605 66756 202671 | 2147483647 443796 253 | 0.000 % |
768.79/769.16 c | 444589 | 15605 66756 202671 | 2147483647 444589 253 | 0.000 % |
771.39/771.76 c | 445462 | 15605 66756 202671 | 2147483647 445462 253 | 0.000 % |
774.09/774.42 c | 446421 | 15605 66756 202671 | 2147483647 446421 253 | 0.000 % |
776.99/777.38 c | 447474 | 15605 66756 202671 | 2147483647 447474 253 | 0.000 % |
780.28/780.60 c | 448633 | 15605 66756 202671 | 2147483647 448633 253 | 0.000 % |
783.99/784.30 c | 449906 | 15605 66756 202671 | 2147483647 449906 253 | 0.000 % |
787.78/788.19 c | 451307 | 15605 66756 202671 | 2147483647 451307 253 | 0.000 % |
791.98/792.31 c | 452847 | 15605 66756 202671 | 2147483647 452847 253 | 0.000 % |
796.47/796.83 c | 454541 | 15605 66756 202671 | 2147483647 454541 253 | 0.000 % |
801.68/802.02 c | 456404 | 15605 66756 202671 | 2147483647 456404 253 | 0.000 % |
807.48/807.82 c | 458453 | 15605 66756 202671 | 2147483647 458453 253 | 0.000 % |
813.47/813.89 c | 460708 | 15605 66756 202671 | 2147483647 460708 253 | 0.000 % |
820.47/820.82 c | 463186 | 15605 66756 202671 | 2147483647 463186 253 | 0.000 % |
828.06/828.42 c | 465912 | 15605 66756 202671 | 2147483647 465912 253 | 0.000 % |
836.17/836.56 c | 468911 | 15605 66756 202671 | 2147483647 468911 254 | 0.000 % |
845.36/845.79 c | 472211 | 15605 66756 202671 | 2147483647 472211 254 | 0.000 % |
855.76/856.16 c | 475836 | 15605 66756 202671 | 2147483647 475836 254 | 0.000 % |
867.05/867.44 c | 479825 | 15605 66756 202671 | 2147483647 479825 255 | 0.000 % |
879.26/879.66 c | 484211 | 15605 66756 202671 | 2147483647 484211 255 | 0.000 % |
879.66/880.00 c | 484311 | 15605 66756 202671 | 2147483647 484311 255 | 0.000 % |
880.06/880.47 c | 484424 | 15605 66756 202671 | 2147483647 484424 255 | 0.000 % |
880.56/880.94 c | 484548 | 15605 66756 202671 | 2147483647 484548 255 | 0.000 % |
881.06/881.44 c | 484682 | 15605 66756 202671 | 2147483647 484682 255 | 0.000 % |
881.66/882.02 c | 484830 | 15605 66756 202671 | 2147483647 484830 255 | 0.000 % |
882.26/882.66 c | 484990 | 15605 66756 202671 | 2147483647 484990 255 | 0.000 % |
882.86/883.27 c | 485167 | 15605 66756 202671 | 2147483647 485167 255 | 0.000 % |
883.55/883.91 c | 485361 | 15605 66756 202671 | 2147483647 485361 255 | 0.000 % |
884.25/884.67 c | 485575 | 15605 66756 202671 | 2147483647 485575 255 | 0.000 % |
885.16/885.52 c | 485808 | 15605 66756 202671 | 2147483647 485808 255 | 0.000 % |
885.95/886.37 c | 486064 | 15605 66756 202671 | 2147483647 486064 255 | 0.000 % |
887.05/887.42 c | 486345 | 15605 66756 202671 | 2147483647 486345 255 | 0.000 % |
887.95/888.39 c | 486657 | 15605 66756 202671 | 2147483647 486657 255 | 0.000 % |
889.15/889.56 c | 486996 | 15605 66756 202671 | 2147483647 486996 255 | 0.000 % |
890.55/890.91 c | 487368 | 15605 66756 202671 | 2147483647 487368 255 | 0.000 % |
891.85/892.28 c | 487778 | 15605 66756 202671 | 2147483647 487778 255 | 0.000 % |
893.45/893.80 c | 488228 | 15605 66756 202671 | 2147483647 488228 255 | 0.000 % |
895.05/895.43 c | 488722 | 15605 66756 202671 | 2147483647 488722 255 | 0.000 % |
896.74/897.13 c | 489264 | 15605 66756 202671 | 2147483647 489264 255 | 0.000 % |
898.64/899.05 c | 489862 | 15605 66756 202671 | 2147483647 489862 255 | 0.000 % |
900.74/901.19 c | 490517 | 15605 66756 202671 | 2147483647 490517 254 | 0.000 % |
903.14/903.50 c | 491238 | 15605 66756 202671 | 2147483647 491238 254 | 0.000 % |
905.54/905.95 c | 492030 | 15605 66756 202671 | 2147483647 492030 254 | 0.000 % |
908.44/908.86 c | 492901 | 15605 66756 202671 | 2147483647 492901 254 | 0.000 % |
911.64/912.00 c | 493863 | 15605 66756 202671 | 2147483647 493863 254 | 0.000 % |
914.94/915.37 c | 494916 | 15605 66756 202671 | 2147483647 494916 254 | 0.000 % |
918.73/919.17 c | 496074 | 15605 66756 202671 | 2147483647 496074 254 | 0.000 % |
922.84/923.27 c | 497347 | 15605 66756 202671 | 2147483647 497347 254 | 0.000 % |
927.23/927.66 c | 498748 | 15605 66756 202671 | 2147483647 498748 254 | 0.000 % |
931.83/932.30 c | 500288 | 15605 66756 202671 | 2147483647 500288 255 | 0.000 % |
936.83/937.29 c | 501986 | 15605 66756 202671 | 2147483647 501986 255 | 0.000 % |
941.53/942.00 c | 503854 | 15605 66756 202671 | 2147483647 503854 255 | 0.000 % |
947.23/947.67 c | 505903 | 15605 66756 202671 | 2147483647 505903 256 | 0.000 % |
953.92/954.37 c | 508157 | 15605 66756 202671 | 2147483647 508157 256 | 0.000 % |
960.62/961.05 c | 510638 | 15605 66756 202671 | 2147483647 510638 256 | 0.000 % |
968.73/969.10 c | 513363 | 15605 66756 202671 | 2147483647 513363 256 | 0.000 % |
977.43/977.82 c | 516360 | 15605 66756 202671 | 2147483647 516360 256 | 0.000 % |
987.42/987.87 c | 519656 | 15605 66756 202671 | 2147483647 519656 257 | 0.000 % |
998.11/998.57 c | 523283 | 15605 66756 202671 | 2147483647 523283 257 | 0.000 % |
1011.12/1011.56 c | 527271 | 15605 66756 202671 | 2147483647 527271 257 | 0.000 % |
1024.51/1024.91 c | 531658 | 15605 66756 202671 | 2147483647 531658 258 | 0.000 % |
1038.90/1039.38 c | 536481 | 15605 66756 202671 | 2147483647 536481 258 | 0.000 % |
1039.40/1039.86 c | 536581 | 15605 66756 202671 | 2147483647 536581 258 | 0.000 % |
1040.00/1040.42 c | 536692 | 15605 66756 202671 | 2147483647 536692 258 | 0.000 % |
1040.50/1040.90 c | 536814 | 15605 66756 202671 | 2147483647 536814 258 | 0.000 % |
1041.10/1041.51 c | 536948 | 15605 66756 202671 | 2147483647 536948 258 | 0.000 % |
1041.70/1042.12 c | 537096 | 15605 66756 202671 | 2147483647 537096 258 | 0.000 % |
1042.40/1042.85 c | 537256 | 15605 66756 202671 | 2147483647 537256 258 | 0.000 % |
1043.11/1043.59 c | 537434 | 15605 66756 202671 | 2147483647 537434 258 | 0.000 % |
1043.91/1044.32 c | 537627 | 15605 66756 202671 | 2147483647 537627 258 | 0.000 % |
1044.71/1045.12 c | 537839 | 15605 66756 202671 | 2147483647 537839 258 | 0.000 % |
1045.61/1046.06 c | 538072 | 15605 66756 202671 | 2147483647 538072 258 | 0.000 % |
1046.71/1047.10 c | 538328 | 15605 66756 202671 | 2147483647 538328 258 | 0.000 % |
1047.70/1048.16 c | 538610 | 15605 66756 202671 | 2147483647 538610 258 | 0.000 % |
1048.80/1049.27 c | 538920 | 15605 66756 202671 | 2147483647 538920 258 | 0.000 % |
1050.11/1050.59 c | 539261 | 15605 66756 202671 | 2147483647 539261 258 | 0.000 % |
1051.50/1052.00 c | 539634 | 15605 66756 202671 | 2147483647 539634 258 | 0.000 % |
1053.10/1053.52 c | 540043 | 15605 66756 202671 | 2147483647 540043 258 | 0.000 % |
1054.90/1055.31 c | 540492 | 15605 66756 202671 | 2147483647 540492 258 | 0.000 % |
1056.60/1057.02 c | 540986 | 15605 66756 202671 | 2147483647 540986 258 | 0.000 % |
1058.60/1059.04 c | 541529 | 15605 66756 202671 | 2147483647 541529 258 | 0.000 % |
1060.80/1061.25 c | 542126 | 15605 66756 202671 | 2147483647 542126 258 | 0.000 % |
1063.10/1063.51 c | 542781 | 15605 66756 202671 | 2147483647 542781 258 | 0.000 % |
1065.50/1065.97 c | 543506 | 15605 66756 202671 | 2147483647 543506 258 | 0.000 % |
1068.29/1068.78 c | 544298 | 15605 66756 202671 | 2147483647 544298 258 | 0.000 % |
1071.30/1071.70 c | 545171 | 15605 66756 202671 | 2147483647 545171 258 | 0.000 % |
1074.39/1074.83 c | 546129 | 15605 66756 202671 | 2147483647 546129 258 | 0.000 % |
1077.89/1078.32 c | 547182 | 15605 66756 202671 | 2147483647 547182 258 | 0.000 % |
1081.59/1082.00 c | 548341 | 15605 66756 202671 | 2147483647 548341 258 | 0.000 % |
1085.39/1085.90 c | 549614 | 15605 66756 202671 | 2147483647 549614 258 | 0.000 % |
1089.89/1090.37 c | 551015 | 15605 66756 202671 | 2147483647 551015 258 | 0.000 % |
1094.89/1095.31 c | 552555 | 15605 66756 202671 | 2147483647 552555 258 | 0.000 % |
1100.60/1101.10 c | 554251 | 15605 66756 202671 | 2147483647 554251 258 | 0.000 % |
1106.48/1106.97 c | 556114 | 15605 66756 202671 | 2147483647 556114 258 | 0.000 % |
1113.19/1113.61 c | 558164 | 15605 66756 202671 | 2147483647 558164 258 | 0.000 % |
1120.28/1120.73 c | 560417 | 15605 66756 202671 | 2147483647 560417 258 | 0.000 % |
1128.28/1128.78 c | 562897 | 15605 66756 202671 | 2147483647 562897 259 | 0.000 % |
1137.08/1137.59 c | 565622 | 15605 66756 202671 | 2147483647 565622 259 | 0.000 % |
1146.98/1147.45 c | 568619 | 15605 66756 202671 | 2147483647 568619 259 | 0.000 % |
1157.28/1157.76 c | 571915 | 15605 66756 202671 | 2147483647 571915 259 | 0.000 % |
1168.37/1168.89 c | 575542 | 15605 66756 202671 | 2147483647 575542 259 | 0.000 % |
1181.16/1181.62 c | 579530 | 15605 66756 202671 | 2147483647 579530 260 | 0.000 % |
1195.56/1196.01 c | 583915 | 15605 66756 202671 | 2147483647 583915 260 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832777-1242787565/watcher-1832777-1242787565 -o /tmp/evaluation-result-1832777-1242787565/solver-1832777-1242787565 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832777-1242787565.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 1584
/proc/meminfo: memFree=1862488/2055920 swapFree=4179272/4192956
[pid=1584] ppid=1582 vsize=5356 CPUtime=0
/proc/1584/stat : 1584 (SatELiteGTI) S 1582 1584 936 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306789949 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 240472784978 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/1584/statm: 1339 235 195 169 0 50 0
[pid=1585] ppid=1584 vsize=5356 CPUtime=0
/proc/1585/stat : 1585 (SatELiteGTI) S 1584 1584 936 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 306789949 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/1585/statm: 1339 238 198 169 0 50 0
[pid=1587] ppid=1585 vsize=2604 CPUtime=0
/proc/1587/stat : 1587 (sed) R 1585 1584 936 0 -1 4194304 146 0 0 0 0 0 0 0 18 0 1 0 306789949 2666496 119 1992294400 4194304 4240196 548682069056 18446744073709551615 4216523 0 0 4096 0 0 0 0 17 0 0 0
/proc/1587/statm: 652 129 103 11 0 56 0
[startup+0.0284221 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 1584
/proc/meminfo: memFree=1862488/2055920 swapFree=4179272/4192956
[pid=1584] ppid=1582 vsize=5356 CPUtime=0
/proc/1584/stat : 1584 (SatELiteGTI) S 1582 1584 936 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306789949 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1584/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101425 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 1584
/proc/meminfo: memFree=1862488/2055920 swapFree=4179272/4192956
[pid=1584] ppid=1582 vsize=5356 CPUtime=0
/proc/1584/stat : 1584 (SatELiteGTI) S 1582 1584 936 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306789949 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1584/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301442 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 1584
/proc/meminfo: memFree=1862488/2055920 swapFree=4179272/4192956
[pid=1584] ppid=1582 vsize=5356 CPUtime=0
/proc/1584/stat : 1584 (SatELiteGTI) S 1582 1584 936 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306789949 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1584/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.70149 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 1584
/proc/meminfo: memFree=1862488/2055920 swapFree=4179272/4192956
[pid=1584] ppid=1582 vsize=5356 CPUtime=0.3
/proc/1584/stat : 1584 (SatELiteGTI) S 1582 1584 936 0 -1 4194304 336 2293 0 0 0 0 29 1 16 0 1 0 306789949 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1584/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 5356
[startup+1.50155 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 1590
/proc/meminfo: memFree=1854600/2055920 swapFree=4179272/4192956
[pid=1584] ppid=1582 vsize=5356 CPUtime=0.3
/proc/1584/stat : 1584 (SatELiteGTI) S 1582 1584 936 0 -1 4194304 336 2293 0 0 0 0 29 1 16 0 1 0 306789949 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1584/statm: 1339 239 197 169 0 50 0
[pid=1590] ppid=1584 vsize=7708 CPUtime=1.17
/proc/1590/stat : 1590 (minisat_static) R 1584 1584 936 0 -1 4194304 1773 0 0 0 116 1 0 0 25 0 1 0 306789981 7892992 1759 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/1590/statm: 1927 1759 77 171 0 1754 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13064
[startup+3.10168 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 1590
/proc/meminfo: memFree=1852936/2055920 swapFree=4179272/4192956
[pid=1584] ppid=1582 vsize=5356 CPUtime=0.3
/proc/1584/stat : 1584 (SatELiteGTI) S 1582 1584 936 0 -1 4194304 336 2293 0 0 0 0 29 1 16 0 1 0 306789949 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1584/statm: 1339 239 197 169 0 50 0
[pid=1590] ppid=1584 vsize=9956 CPUtime=2.77
/proc/1590/stat : 1590 (minisat_static) R 1584 1584 936 0 -1 4194304 2328 0 0 0 275 2 0 0 25 0 1 0 306789981 10194944 2314 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/1590/statm: 2489 2314 77 171 0 2316 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15312
[startup+6.30196 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 1590
/proc/meminfo: memFree=1848456/2055920 swapFree=4179272/4192956
[pid=1584] ppid=1582 vsize=5356 CPUtime=0.3
/proc/1584/stat : 1584 (SatELiteGTI) S 1582 1584 936 0 -1 4194304 336 2293 0 0 0 0 29 1 16 0 1 0 306789949 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1584/statm: 1339 239 197 169 0 50 0
[pid=1590] ppid=1584 vsize=14180 CPUtime=5.97
/proc/1590/stat : 1590 (minisat_static) R 1584 1584 936 0 -1 4194304 3376 0 0 0 594 3 0 0 25 0 1 0 306789981 14520320 3362 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 1 0 0
/proc/1590/statm: 3545 3362 77 171 0 3372 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 19536
[startup+12.7015 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 1590
/proc/meminfo: memFree=1839432/2055920 swapFree=4179272/4192956
[pid=1584] ppid=1582 vsize=5356 CPUtime=0.3
/proc/1584/stat : 1584 (SatELiteGTI) S 1582 1584 936 0 -1 4194304 336 2293 0 0 0 0 29 1 16 0 1 0 306789949 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1584/statm: 1339 239 197 169 0 50 0
[pid=1590] ppid=1584 vsize=22816 CPUtime=12.37
/proc/1590/stat : 1590 (minisat_static) R 1584 1584 936 0 -1 4194304 5535 0 0 0 1231 6 0 0 25 0 1 0 306789981 23363584 5521 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/1590/statm: 5704 5521 77 171 0 5531 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 28172
[startup+25.5016 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 1590
/proc/meminfo: memFree=1823752/2055920 swapFree=4179272/4192956
[pid=1584] ppid=1582 vsize=5356 CPUtime=0.3
/proc/1584/stat : 1584 (SatELiteGTI) S 1582 1584 936 0 -1 4194304 336 2293 0 0 0 0 29 1 16 0 1 0 306789949 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1584/statm: 1339 239 197 169 0 50 0
[pid=1590] ppid=1584 vsize=37768 CPUtime=25.16
/proc/1590/stat : 1590 (minisat_static) R 1584 1584 936 0 -1 4194304 9269 0 0 0 2507 9 0 0 25 0 1 0 306789981 38674432 9255 1992294400 134512640 135215339 4294956240 18446744073709551615 134527372 0 0 4096 3 0 0 0 17 1 0 0
/proc/1590/statm: 9442 9255 77 171 0 9269 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 43124
[startup+51.1018 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 1590
/proc/meminfo: memFree=1797256/2055920 swapFree=4179272/4192956
[pid=1584] ppid=1582 vsize=5356 CPUtime=0.3
/proc/1584/stat : 1584 (SatELiteGTI) S 1582 1584 936 0 -1 4194304 336 2293 0 0 0 0 29 1 16 0 1 0 306789949 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1584/statm: 1339 239 197 169 0 50 0
[pid=1590] ppid=1584 vsize=64764 CPUtime=50.73
/proc/1590/stat : 1590 (minisat_static) R 1584 1584 936 0 -1 4194304 15994 0 0 0 5058 15 0 0 25 0 1 0 306789981 66318336 15980 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/1590/statm: 16191 15980 77 171 0 16018 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 70120
[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 1590
/proc/meminfo: memFree=1750664/2055920 swapFree=4179272/4192956
[pid=1584] ppid=1582 vsize=5356 CPUtime=0.3
/proc/1584/stat : 1584 (SatELiteGTI) S 1582 1584 936 0 -1 4194304 336 2293 0 0 0 0 29 1 16 0 1 0 306789949 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1584/statm: 1339 239 197 169 0 50 0
[pid=1590] ppid=1584 vsize=110640 CPUtime=101.91
/proc/1590/stat : 1590 (minisat_static) R 1584 1584 936 0 -1 4194304 27465 0 0 0 10164 27 0 0 25 0 1 0 306789981 113295360 27451 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/1590/statm: 27660 27451 77 171 0 27487 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 115996
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 1590
/proc/meminfo: memFree=1705160/2055920 swapFree=4179272/4192956
[pid=1584] ppid=1582 vsize=5356 CPUtime=0.3
/proc/1584/stat : 1584 (SatELiteGTI) S 1582 1584 936 0 -1 4194304 336 2293 0 0 0 0 29 1 16 0 1 0 306789949 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1584/statm: 1339 239 197 169 0 50 0
[pid=1590] ppid=1584 vsize=156356 CPUtime=161.89
/proc/1590/stat : 1590 (minisat_static) R 1584 1584 936 0 -1 4194304 38881 0 0 0 16151 38 0 0 25 0 1 0 306789981 160108544 38867 1992294400 134512640 135215339 4294956240 18446744073709551615 134525027 0 0 4096 3 0 0 0 17 1 0 0
/proc/1590/statm: 39089 38867 77 171 0 38916 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 161712
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 1590
/proc/meminfo: memFree=1663624/2055920 swapFree=4179272/4192956
[pid=1584] ppid=1582 vsize=5356 CPUtime=0.3
/proc/1584/stat : 1584 (SatELiteGTI) S 1582 1584 936 0 -1 4194304 336 2293 0 0 0 0 29 1 16 0 1 0 306789949 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1584/statm: 1339 239 197 169 0 50 0
[pid=1590] ppid=1584 vsize=197288 CPUtime=221.86
/proc/1590/stat : 1590 (minisat_static) R 1584 1584 936 0 -1 4194304 49139 0 0 0 22136 50 0 0 25 0 1 0 306789981 202022912 49125 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/1590/statm: 49322 49125 77 171 0 49149 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 202644
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 1590
/proc/meminfo: memFree=1627656/2055920 swapFree=4179272/4192956
[pid=1584] ppid=1582 vsize=5356 CPUtime=0.3
/proc/1584/stat : 1584 (SatELiteGTI) S 1582 1584 936 0 -1 4194304 336 2293 0 0 0 0 29 1 16 0 1 0 306789949 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1584/statm: 1339 239 197 169 0 50 0
[pid=1590] ppid=1584 vsize=233472 CPUtime=281.84
/proc/1590/stat : 1590 (minisat_static) R 1584 1584 936 0 -1 4194304 58115 0 0 0 28124 60 0 0 25 0 1 0 306789981 239075328 58101 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 1 0 0
/proc/1590/statm: 58368 58101 77 171 0 58195 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 238828
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 1590
/proc/meminfo: memFree=1595080/2055920 swapFree=4179272/4192956
[pid=1584] ppid=1582 vsize=5356 CPUtime=0.3
/proc/1584/stat : 1584 (SatELiteGTI) S 1582 1584 936 0 -1 4194304 336 2293 0 0 0 0 29 1 16 0 1 0 306789949 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1584/statm: 1339 239 197 169 0 50 0
[pid=1590] ppid=1584 vsize=265568 CPUtime=341.82
/proc/1590/stat : 1590 (minisat_static) R 1584 1584 936 0 -1 4194304 66176 0 0 0 34112 70 0 0 25 0 1 0 306789981 271941632 66162 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/1590/statm: 66392 66162 77 171 0 66219 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 270924
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 1590
/proc/meminfo: memFree=1563912/2055920 swapFree=4179272/4192956
[pid=1584] ppid=1582 vsize=5356 CPUtime=0.3
/proc/1584/stat : 1584 (SatELiteGTI) S 1582 1584 936 0 -1 4194304 336 2293 0 0 0 0 29 1 16 0 1 0 306789949 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1584/statm: 1339 239 197 169 0 50 0
[pid=1590] ppid=1584 vsize=296728 CPUtime=401.8
################
# More data... #
################
/proc/1590/statm: 95659 95398 77 171 0 95486 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 387992
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 1590
/proc/meminfo: memFree=1449608/2055920 swapFree=4179272/4192956
[pid=1584] ppid=1582 vsize=5356 CPUtime=0.3
/proc/1584/stat : 1584 (SatELiteGTI) S 1582 1584 936 0 -1 4194304 336 2293 0 0 0 0 29 1 16 0 1 0 306789949 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1584/statm: 1339 239 197 169 0 50 0
[pid=1590] ppid=1584 vsize=410236 CPUtime=641.72
/proc/1590/stat : 1590 (minisat_static) R 1584 1584 936 0 -1 4194304 102339 0 0 0 64062 110 0 0 25 0 1 0 306789981 420081664 102325 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/1590/statm: 102559 102325 77 171 0 102386 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 415592
[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 1590
/proc/meminfo: memFree=1424584/2055920 swapFree=4179272/4192956
[pid=1584] ppid=1582 vsize=5356 CPUtime=0.3
/proc/1584/stat : 1584 (SatELiteGTI) S 1582 1584 936 0 -1 4194304 336 2293 0 0 0 0 29 1 16 0 1 0 306789949 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1584/statm: 1339 239 197 169 0 50 0
[pid=1590] ppid=1584 vsize=435324 CPUtime=701.7
/proc/1590/stat : 1590 (minisat_static) R 1584 1584 936 0 -1 4194304 108616 0 0 0 70054 116 0 0 25 0 1 0 306789981 445771776 108602 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/1590/statm: 108831 108602 77 171 0 108658 0
Current children cumulated CPU time (s) 702
Current children cumulated vsize (KiB) 440680
[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 1590
/proc/meminfo: memFree=1398792/2055920 swapFree=4179272/4192956
[pid=1584] ppid=1582 vsize=5356 CPUtime=0.3
/proc/1584/stat : 1584 (SatELiteGTI) S 1582 1584 936 0 -1 4194304 336 2293 0 0 0 0 29 1 16 0 1 0 306789949 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1584/statm: 1339 239 197 169 0 50 0
[pid=1590] ppid=1584 vsize=460668 CPUtime=761.69
/proc/1590/stat : 1590 (minisat_static) R 1584 1584 936 0 -1 4194304 114984 0 0 0 76044 125 0 0 25 0 1 0 306789981 471724032 114970 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/1590/statm: 115167 114970 77 171 0 114994 0
Current children cumulated CPU time (s) 761.99
Current children cumulated vsize (KiB) 466024
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 1590
/proc/meminfo: memFree=1375752/2055920 swapFree=4179272/4192956
[pid=1584] ppid=1582 vsize=5356 CPUtime=0.3
/proc/1584/stat : 1584 (SatELiteGTI) S 1582 1584 936 0 -1 4194304 336 2293 0 0 0 0 29 1 16 0 1 0 306789949 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1584/statm: 1339 239 197 169 0 50 0
[pid=1590] ppid=1584 vsize=483648 CPUtime=821.68
/proc/1590/stat : 1590 (minisat_static) R 1584 1584 936 0 -1 4194304 120755 0 0 0 82036 132 0 0 25 0 1 0 306789981 495255552 120741 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/1590/statm: 120912 120741 77 171 0 120739 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 489004
[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 1590
/proc/meminfo: memFree=1350408/2055920 swapFree=4179272/4192956
[pid=1584] ppid=1582 vsize=5356 CPUtime=0.3
/proc/1584/stat : 1584 (SatELiteGTI) S 1582 1584 936 0 -1 4194304 336 2293 0 0 0 0 29 1 16 0 1 0 306789949 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1584/statm: 1339 239 197 169 0 50 0
[pid=1590] ppid=1584 vsize=509528 CPUtime=881.66
/proc/1590/stat : 1590 (minisat_static) R 1584 1584 936 0 -1 4194304 127008 0 0 0 88027 139 0 0 25 0 1 0 306789981 521756672 126994 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/1590/statm: 127382 126994 77 171 0 127209 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 514884
[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 1596
/proc/meminfo: memFree=1329736/2055920 swapFree=4179272/4192956
[pid=1584] ppid=1582 vsize=5356 CPUtime=0.3
/proc/1584/stat : 1584 (SatELiteGTI) S 1582 1584 936 0 -1 4194304 336 2293 0 0 0 0 29 1 16 0 1 0 306789949 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1584/statm: 1339 239 197 169 0 50 0
[pid=1590] ppid=1584 vsize=530520 CPUtime=941.63
/proc/1590/stat : 1590 (minisat_static) R 1584 1584 936 0 -1 4194304 132276 0 0 0 94017 146 0 0 25 0 1 0 306789981 543252480 132262 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/1590/statm: 132630 132262 77 171 0 132457 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 535876
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 1596
/proc/meminfo: memFree=1304584/2055920 swapFree=4179272/4192956
[pid=1584] ppid=1582 vsize=5356 CPUtime=0.3
/proc/1584/stat : 1584 (SatELiteGTI) S 1582 1584 936 0 -1 4194304 336 2293 0 0 0 0 29 1 16 0 1 0 306789949 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1584/statm: 1339 239 197 169 0 50 0
[pid=1590] ppid=1584 vsize=554948 CPUtime=1001.62
/proc/1590/stat : 1590 (minisat_static) R 1584 1584 936 0 -1 4194304 138417 0 0 0 100009 153 0 0 25 0 1 0 306789981 568266752 138403 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/1590/statm: 138737 138403 77 171 0 138564 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 560304
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 1596
/proc/meminfo: memFree=1284232/2055920 swapFree=4179272/4192956
[pid=1584] ppid=1582 vsize=5356 CPUtime=0.3
/proc/1584/stat : 1584 (SatELiteGTI) S 1582 1584 936 0 -1 4194304 336 2293 0 0 0 0 29 1 16 0 1 0 306789949 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1584/statm: 1339 239 197 169 0 50 0
[pid=1590] ppid=1584 vsize=575280 CPUtime=1061.6
/proc/1590/stat : 1590 (minisat_static) R 1584 1584 936 0 -1 4194304 143512 0 0 0 106001 159 0 0 25 0 1 0 306789981 589086720 143498 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/1590/statm: 143820 143498 77 171 0 143647 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 580636
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 1596
/proc/meminfo: memFree=1263368/2055920 swapFree=4179272/4192956
[pid=1584] ppid=1582 vsize=5356 CPUtime=0.3
/proc/1584/stat : 1584 (SatELiteGTI) S 1582 1584 936 0 -1 4194304 336 2293 0 0 0 0 29 1 16 0 1 0 306789949 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1584/statm: 1339 239 197 169 0 50 0
[pid=1590] ppid=1584 vsize=595892 CPUtime=1121.58
/proc/1590/stat : 1590 (minisat_static) R 1584 1584 936 0 -1 4194304 148665 0 0 0 111993 165 0 0 25 0 1 0 306789981 610193408 148651 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/1590/statm: 148973 148651 77 171 0 148800 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 601248
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 1596
/proc/meminfo: memFree=1240840/2055920 swapFree=4179272/4192956
[pid=1584] ppid=1582 vsize=5356 CPUtime=0.3
/proc/1584/stat : 1584 (SatELiteGTI) S 1582 1584 936 0 -1 4194304 336 2293 0 0 0 0 29 1 16 0 1 0 306789949 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1584/statm: 1339 239 197 169 0 50 0
[pid=1590] ppid=1584 vsize=618340 CPUtime=1181.57
/proc/1590/stat : 1590 (minisat_static) R 1584 1584 936 0 -1 4194304 154307 0 0 0 117985 172 0 0 25 0 1 0 306789981 633180160 154293 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/1590/statm: 154585 154293 77 171 0 154412 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 623696
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 1596
/proc/meminfo: memFree=1234120/2055920 swapFree=4179272/4192956
[pid=1584] ppid=1582 vsize=5356 CPUtime=0.3
/proc/1584/stat : 1584 (SatELiteGTI) S 1582 1584 936 0 -1 4194304 336 2293 0 0 0 0 29 1 16 0 1 0 306789949 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1584/statm: 1339 239 197 169 0 50 0
[pid=1590] ppid=1584 vsize=624680 CPUtime=1199.77
/proc/1590/stat : 1590 (minisat_static) R 1584 1584 936 0 -1 4194304 155907 0 0 0 119803 174 0 0 25 0 1 0 306789981 639672320 155893 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/1590/statm: 156170 155893 77 171 0 155997 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 630036
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 1596
/proc/meminfo: memFree=1234120/2055920 swapFree=4179272/4192956
[pid=1584] ppid=1582 vsize=5356 CPUtime=0.3
/proc/1584/stat : 1584 (SatELiteGTI) S 1582 1584 936 0 -1 4194304 336 2293 0 0 0 0 29 1 16 0 1 0 306789949 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1584/statm: 1339 239 197 169 0 50 0
[pid=1590] ppid=1584 vsize=624680 CPUtime=1199.77
/proc/1590/stat : 1590 (minisat_static) R 1584 1584 936 0 -1 4194304 155907 0 0 0 119803 174 0 0 25 0 1 0 306789981 639672320 155893 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/1590/statm: 156170 155893 77 171 0 155997 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 630036
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1584 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=297954
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=18997
# CPU time returned by wait4() is 0.316951
# while last known CPU time is 1200.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.07
CPU user time (s): 1198.32
CPU system time (s): 1.75
CPU usage (%): 99.9632
Max. virtual memory (cumulated for all children) (KiB): 630036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.297954
system time used= 0.018997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2629
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 6
runsolver used 1.42578 second user time and 3.01254 second system time
The end
Begin job on node15 at 2009-05-20 04:46:05
IDJOB=1832777
IDBENCH=70352
IDSOLVER=671
FILE ID=node15/1832777-1242787565
PBS_JOBID= 9322372
Free space on /tmp= 66436 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/16000/unif-k3-r4.2-v16000-c67200-S339800239-026.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832777-1242787565/watcher-1832777-1242787565 -o /tmp/evaluation-result-1832777-1242787565/solver-1832777-1242787565 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832777-1242787565.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 487133af0320f59d52bd31546508fd57
RANDOM SEED=400840266
node15.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.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.220
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: 1862968 kB
Buffers: 32216 kB
Cached: 92168 kB
SwapCached: 7876 kB
Active: 42812 kB
Inactive: 91004 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1862968 kB
SwapTotal: 4192956 kB
SwapFree: 4179272 kB
Dirty: 2856 kB
Writeback: 0 kB
Mapped: 14604 kB
Slab: 45152 kB
Committed_AS: 1009596 kB
PageTables: 1464 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= 66432 MiB
End job on node15 at 2009-05-20 05:06:08