0.00/0.00 c Parsing...
0.00/0.09 c ==============================================================================
0.00/0.09 c | | ORIGINAL | LEARNT | |
0.00/0.09 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.09 c ==============================================================================
0.00/0.09 c | 0 | 75600 226800 | 22679 0 0 nan | 0.000 % |
0.00/0.27 c | 0 | 75093 227966 | -- 0 -- -- | -- | -507/1166
0.00/0.27 c ==============================================================================
0.00/0.27 c Result : #vars: 17563 #clauses: 75093 #literals: 227966
0.00/0.27 c CPU time: 0.25996 s
0.00/0.27 c ==============================================================================
0.00/0.36 c This is MiniSat 2.0 beta
0.00/0.36 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.36 c ============================[ Problem Statistics ]=============================
0.00/0.36 c | |
0.00/0.36 c | Number of variables: 17563 |
0.00/0.36 c | Number of clauses: 75093 |
0.34/0.42 c | Parsing time: 0.05 s |
0.34/0.42 c ============================[ Search Statistics ]==============================
0.34/0.42 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.34/0.42 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.34/0.42 c ===============================================================================
0.34/0.42 c | 0 | 17563 75093 227966 | 25031 0 nan | 0.000 % |
0.34/0.48 c | 100 | 17563 75093 227966 | 25031 100 161 | 0.000 % |
0.34/0.54 c | 200 | 17563 75093 227966 | 25031 200 177 | 0.000 % |
0.34/0.60 c | 300 | 17563 75093 227966 | 25031 300 178 | 0.000 % |
0.34/0.67 c | 411 | 17563 75093 227966 | 25031 411 189 | 0.000 % |
0.34/0.73 c | 511 | 17563 75093 227966 | 25031 511 187 | 0.000 % |
0.34/0.80 c | 621 | 17563 75093 227966 | 25031 621 178 | 0.000 % |
0.34/0.88 c | 744 | 17563 75093 227966 | 25031 744 178 | 0.000 % |
0.34/0.94 c | 845 | 17563 75093 227966 | 25031 845 179 | 0.000 % |
0.97/1.01 c | 956 | 17563 75093 227966 | 25031 956 183 | 0.000 % |
0.97/1.09 c | 1077 | 17563 75093 227966 | 25031 1077 184 | 0.000 % |
1.07/1.17 c | 1210 | 17563 75093 227966 | 25031 1210 186 | 0.000 % |
1.17/1.23 c | 1311 | 17563 75093 227966 | 25031 1311 187 | 0.000 % |
1.27/1.30 c | 1421 | 17563 75093 227966 | 25031 1421 185 | 0.000 % |
1.27/1.38 c | 1543 | 17563 75093 227966 | 25031 1543 185 | 0.000 % |
1.37/1.46 c | 1676 | 17563 75093 227966 | 25031 1676 186 | 0.000 % |
1.47/1.55 c | 1822 | 17563 75093 227966 | 25031 1822 189 | 0.000 % |
1.57/1.61 c | 1923 | 17563 75093 227966 | 25031 1923 187 | 0.000 % |
1.57/1.68 c | 2034 | 17563 75093 227966 | 25031 2034 186 | 0.000 % |
1.67/1.76 c | 2156 | 17563 75093 227966 | 25031 2156 187 | 0.000 % |
1.77/1.84 c | 2289 | 17563 75093 227966 | 25031 2289 188 | 0.000 % |
1.86/1.94 c | 2437 | 17563 75093 227966 | 25031 2437 191 | 0.000 % |
1.96/2.04 c | 2597 | 17563 75093 227966 | 25031 2597 192 | 0.000 % |
2.07/2.11 c | 2697 | 17563 75093 227966 | 25031 2697 190 | 0.000 % |
2.07/2.18 c | 2807 | 17563 75093 227966 | 25031 2807 191 | 0.000 % |
2.17/2.26 c | 2928 | 17563 75093 227966 | 25031 2928 191 | 0.000 % |
2.26/2.34 c | 3062 | 17563 75093 227966 | 25031 3062 189 | 0.000 % |
2.36/2.43 c | 3209 | 17563 75093 227966 | 25031 3209 189 | 0.000 % |
2.46/2.53 c | 3370 | 17563 75093 227966 | 25031 3370 191 | 0.000 % |
2.57/2.65 c | 3546 | 17563 75093 227966 | 25031 3546 190 | 0.000 % |
2.67/2.72 c | 3646 | 17563 75093 227966 | 25031 3646 189 | 0.000 % |
2.67/2.79 c | 3757 | 17563 75093 227966 | 25031 3757 190 | 0.000 % |
2.77/2.88 c | 3879 | 17563 75093 227966 | 25031 3879 192 | 0.000 % |
2.87/2.96 c | 4013 | 17563 75093 227966 | 25031 4013 193 | 0.000 % |
2.96/3.07 c | 4160 | 17563 75093 227966 | 25031 4160 192 | 0.000 % |
3.06/3.17 c | 4323 | 17563 75093 227966 | 25031 4323 191 | 0.000 % |
3.17/3.29 c | 4500 | 17563 75093 227966 | 25031 4500 189 | 0.000 % |
3.37/3.41 c | 4694 | 17563 75093 227966 | 25031 4694 191 | 0.000 % |
3.37/3.47 c | 4795 | 17563 75093 227966 | 25031 4795 190 | 0.000 % |
3.46/3.54 c | 4906 | 17563 75093 227966 | 25031 4906 189 | 0.000 % |
3.56/3.61 c | 5028 | 17563 75093 227966 | 25031 5028 190 | 0.000 % |
3.66/3.71 c | 5163 | 17563 75093 227966 | 25031 5163 189 | 0.000 % |
3.76/3.80 c | 5309 | 17563 75093 227966 | 25031 5309 189 | 0.000 % |
3.86/3.90 c | 5469 | 17563 75093 227966 | 25031 5469 189 | 0.000 % |
3.96/4.02 c | 5645 | 17563 75093 227966 | 25031 5645 190 | 0.000 % |
4.06/4.14 c | 5838 | 17563 75093 227966 | 25031 5838 189 | 0.000 % |
4.16/4.28 c | 6051 | 17563 75093 227966 | 25031 6051 191 | 0.000 % |
4.27/4.35 c | 6151 | 17563 75093 227966 | 25031 6151 190 | 0.000 % |
4.36/4.41 c | 6262 | 17563 75093 227966 | 25031 6262 189 | 0.000 % |
4.36/4.49 c | 6383 | 17563 75093 227966 | 25031 6383 189 | 0.000 % |
4.46/4.58 c | 6516 | 17563 75093 227966 | 25031 6516 189 | 0.000 % |
4.56/4.68 c | 6662 | 17563 75093 227966 | 25031 6662 189 | 0.000 % |
4.67/4.79 c | 6824 | 17563 75093 227966 | 25031 6824 190 | 0.000 % |
4.87/4.93 c | 7002 | 17563 75093 227966 | 25031 7002 191 | 0.000 % |
4.97/5.05 c | 7195 | 17563 75093 227966 | 25031 7195 191 | 0.000 % |
5.07/5.19 c | 7407 | 17563 75093 227966 | 25031 7407 192 | 0.000 % |
5.27/5.34 c | 7642 | 17563 75093 227966 | 25031 7642 192 | 0.000 % |
5.37/5.41 c | 7746 | 17563 75093 227966 | 25031 7746 192 | 0.000 % |
5.37/5.49 c | 7857 | 17563 75093 227966 | 25031 7857 192 | 0.000 % |
5.47/5.57 c | 7978 | 17563 75093 227966 | 25031 7978 192 | 0.000 % |
5.56/5.66 c | 8111 | 17563 75093 227966 | 25031 8111 192 | 0.000 % |
5.66/5.75 c | 8258 | 17563 75093 227966 | 25031 8258 193 | 0.000 % |
5.76/5.87 c | 8419 | 17563 75093 227966 | 25031 8419 193 | 0.000 % |
5.86/5.99 c | 8596 | 17563 75093 227966 | 25031 8596 194 | 0.000 % |
6.06/6.12 c | 8789 | 17563 75093 227966 | 25031 8789 194 | 0.000 % |
6.16/6.27 c | 9003 | 17563 75093 227966 | 25031 9003 195 | 0.000 % |
6.36/6.42 c | 9237 | 17563 75093 227966 | 25031 9237 194 | 0.000 % |
6.46/6.59 c | 9493 | 17563 75093 227966 | 25031 9493 194 | 0.000 % |
6.57/6.66 c | 9594 | 17563 75093 227966 | 25031 9594 195 | 0.000 % |
6.67/6.74 c | 9706 | 17563 75093 227966 | 25031 9706 195 | 0.000 % |
6.77/6.83 c | 9827 | 17563 75093 227966 | 25031 9827 195 | 0.000 % |
6.87/6.94 c | 9960 | 17563 75093 227966 | 25031 9960 196 | 0.000 % |
6.97/7.04 c | 10106 | 17563 75093 227966 | 2147483647 10106 196 | 0.000 % |
7.07/7.14 c | 10268 | 17563 75093 227966 | 2147483647 10268 197 | 0.000 % |
7.17/7.26 c | 10444 | 17563 75093 227966 | 2147483647 10444 197 | 0.000 % |
7.27/7.38 c | 10637 | 17563 75093 227966 | 2147483647 10637 198 | 0.000 % |
7.46/7.53 c | 10850 | 17563 75093 227966 | 2147483647 10850 197 | 0.000 % |
7.57/7.68 c | 11083 | 17563 75093 227966 | 2147483647 11083 197 | 0.000 % |
7.76/7.85 c | 11342 | 17563 75093 227966 | 2147483647 11342 197 | 0.000 % |
7.96/8.04 c | 11625 | 17563 75093 227966 | 2147483647 11625 197 | 0.000 % |
8.06/8.11 c | 11728 | 17563 75093 227966 | 2147483647 11728 197 | 0.000 % |
8.16/8.20 c | 11839 | 17563 75093 227966 | 2147483647 11839 197 | 0.000 % |
8.16/8.30 c | 11960 | 17563 75093 227966 | 2147483647 11960 197 | 0.000 % |
8.26/8.39 c | 12093 | 17563 75093 227966 | 2147483647 12093 197 | 0.000 % |
8.36/8.49 c | 12239 | 17563 75093 227966 | 2147483647 12239 197 | 0.000 % |
8.56/8.61 c | 12403 | 17563 75093 227966 | 2147483647 12403 197 | 0.000 % |
8.67/8.74 c | 12579 | 17563 75093 227966 | 2147483647 12579 198 | 0.000 % |
8.77/8.88 c | 12772 | 17563 75093 227966 | 2147483647 12772 198 | 0.000 % |
8.97/9.03 c | 12984 | 17563 75093 227966 | 2147483647 12984 198 | 0.000 % |
9.16/9.20 c | 13218 | 17563 75093 227966 | 2147483647 13218 198 | 0.000 % |
9.26/9.38 c | 13474 | 17563 75093 227966 | 2147483647 13474 198 | 0.000 % |
9.46/9.58 c | 13756 | 17563 75093 227966 | 2147483647 13756 200 | 0.000 % |
9.76/9.80 c | 14065 | 17563 75093 227966 | 2147483647 14065 201 | 0.000 % |
9.76/9.88 c | 14165 | 17563 75093 227966 | 2147483647 14165 201 | 0.000 % |
9.86/9.96 c | 14276 | 17563 75093 227966 | 2147483647 14276 201 | 0.000 % |
9.96/10.04 c | 14398 | 17563 75093 227966 | 2147483647 14398 201 | 0.000 % |
10.06/10.14 c | 14531 | 17563 75093 227966 | 2147483647 14531 201 | 0.000 % |
10.16/10.25 c | 14677 | 17563 75093 227966 | 2147483647 14677 201 | 0.000 % |
10.26/10.36 c | 14840 | 17563 75093 227966 | 2147483647 14840 201 | 0.000 % |
10.46/10.50 c | 15016 | 17563 75093 227966 | 2147483647 15016 200 | 0.000 % |
10.56/10.65 c | 15209 | 17563 75093 227966 | 2147483647 15209 201 | 0.000 % |
10.77/10.81 c | 15421 | 17563 75093 227966 | 2147483647 15421 202 | 0.000 % |
10.87/10.96 c | 15654 | 17563 75093 227966 | 2147483647 15654 202 | 0.000 % |
11.07/11.15 c | 15910 | 17563 75093 227966 | 2147483647 15910 202 | 0.000 % |
11.27/11.35 c | 16192 | 17563 75093 227966 | 2147483647 16192 203 | 0.000 % |
11.46/11.58 c | 16501 | 17563 75093 227966 | 2147483647 16501 204 | 0.000 % |
11.76/11.82 c | 16840 | 17563 75093 227966 | 2147483647 16840 204 | 0.000 % |
11.86/11.90 c | 16940 | 17563 75093 227966 | 2147483647 16940 204 | 0.000 % |
11.86/11.99 c | 17050 | 17563 75093 227966 | 2147483647 17050 204 | 0.000 % |
11.97/12.10 c | 17172 | 17563 75093 227966 | 2147483647 17172 204 | 0.000 % |
12.07/12.18 c | 17306 | 17563 75093 227966 | 2147483647 17306 204 | 0.000 % |
12.16/12.30 c | 17452 | 17563 75093 227966 | 2147483647 17452 203 | 0.000 % |
12.36/12.43 c | 17614 | 17563 75093 227966 | 2147483647 17614 203 | 0.000 % |
12.46/12.57 c | 17793 | 17563 75093 227966 | 2147483647 17793 203 | 0.000 % |
12.66/12.72 c | 17986 | 17563 75093 227966 | 2147483647 17986 204 | 0.000 % |
12.76/12.88 c | 18199 | 17563 75093 227966 | 2147483647 18199 204 | 0.000 % |
12.96/13.06 c | 18433 | 17563 75093 227966 | 2147483647 18433 204 | 0.000 % |
13.16/13.23 c | 18689 | 17563 75093 227966 | 2147483647 18689 205 | 0.000 % |
13.36/13.44 c | 18970 | 17563 75093 227966 | 2147483647 18970 204 | 0.000 % |
13.56/13.64 c | 19279 | 17563 75093 227966 | 2147483647 19279 204 | 0.000 % |
13.77/13.88 c | 19619 | 17563 75093 227966 | 2147483647 19619 206 | 0.000 % |
14.06/14.16 c | 19991 | 17563 75093 227966 | 2147483647 19991 208 | 0.000 % |
14.17/14.23 c | 20092 | 17563 75093 227966 | 2147483647 20092 207 | 0.000 % |
14.27/14.33 c | 20202 | 17563 75093 227966 | 2147483647 20202 207 | 0.000 % |
14.36/14.44 c | 20323 | 17563 75093 227966 | 2147483647 20323 208 | 0.000 % |
14.46/14.53 c | 20456 | 17563 75093 227966 | 2147483647 20456 208 | 0.000 % |
14.56/14.65 c | 20602 | 17563 75093 227966 | 2147483647 20602 208 | 0.000 % |
14.66/14.76 c | 20764 | 17563 75093 227966 | 2147483647 20764 207 | 0.000 % |
14.86/14.90 c | 20940 | 17563 75093 227966 | 2147483647 20940 208 | 0.000 % |
14.96/15.05 c | 21133 | 17563 75093 227966 | 2147483647 21133 207 | 0.000 % |
15.16/15.20 c | 21345 | 17563 75093 227966 | 2147483647 21345 208 | 0.000 % |
15.26/15.38 c | 21578 | 17563 75093 227966 | 2147483647 21578 208 | 0.000 % |
15.46/15.59 c | 21835 | 17563 75093 227966 | 2147483647 21835 207 | 0.000 % |
15.76/15.82 c | 22116 | 17563 75093 227966 | 2147483647 22116 208 | 0.000 % |
15.96/16.05 c | 22426 | 17563 75093 227966 | 2147483647 22426 209 | 0.000 % |
16.26/16.32 c | 22768 | 17563 75093 227966 | 2147483647 22768 210 | 0.000 % |
16.46/16.58 c | 23140 | 17563 75093 227966 | 2147483647 23140 209 | 0.000 % |
16.86/16.90 c | 23549 | 17563 75093 227966 | 2147483647 23549 210 | 0.000 % |
16.86/16.99 c | 23649 | 17563 75093 227966 | 2147483647 23649 210 | 0.000 % |
16.96/17.08 c | 23760 | 17563 75093 227966 | 2147483647 23760 210 | 0.000 % |
17.06/17.17 c | 23882 | 17563 75093 227966 | 2147483647 23882 209 | 0.000 % |
17.16/17.27 c | 24017 | 17563 75093 227966 | 2147483647 24017 209 | 0.000 % |
17.36/17.40 c | 24164 | 17563 75093 227966 | 2147483647 24164 209 | 0.000 % |
17.46/17.53 c | 24324 | 17563 75093 227966 | 2147483647 24324 209 | 0.000 % |
17.57/17.67 c | 24500 | 17563 75093 227966 | 2147483647 24500 209 | 0.000 % |
17.76/17.82 c | 24693 | 17563 75093 227966 | 2147483647 24693 209 | 0.000 % |
17.86/17.98 c | 24906 | 17563 75093 227966 | 2147483647 24906 208 | 0.000 % |
18.06/18.16 c | 25139 | 17563 75093 227966 | 2147483647 25139 208 | 0.000 % |
18.26/18.36 c | 25396 | 17563 75093 227966 | 2147483647 25396 208 | 0.000 % |
18.46/18.58 c | 25677 | 17563 75093 227966 | 2147483647 25677 208 | 0.000 % |
18.76/18.80 c | 25986 | 17563 75093 227966 | 2147483647 25986 208 | 0.000 % |
18.96/19.08 c | 26325 | 17563 75093 227966 | 2147483647 26325 209 | 0.000 % |
19.26/19.38 c | 26697 | 17563 75093 227966 | 2147483647 26697 209 | 0.000 % |
19.67/19.70 c | 27106 | 17563 75093 227966 | 2147483647 27106 209 | 0.000 % |
19.96/20.08 c | 27557 | 17563 75093 227966 | 2147483647 27557 211 | 0.000 % |
20.06/20.17 c | 27657 | 17563 75093 227966 | 2147483647 27657 211 | 0.000 % |
20.16/20.25 c | 27767 | 17563 75093 227966 | 2147483647 27767 211 | 0.000 % |
20.26/20.36 c | 27888 | 17563 75093 227966 | 2147483647 27888 211 | 0.000 % |
20.36/20.47 c | 28021 | 17563 75093 227966 | 2147483647 28021 211 | 0.000 % |
20.46/20.59 c | 28167 | 17563 75093 227966 | 2147483647 28167 211 | 0.000 % |
20.66/20.71 c | 28327 | 17563 75093 227966 | 2147483647 28327 211 | 0.000 % |
20.76/20.86 c | 28504 | 17563 75093 227966 | 2147483647 28504 210 | 0.000 % |
20.96/21.01 c | 28699 | 17563 75093 227966 | 2147483647 28699 210 | 0.000 % |
21.06/21.16 c | 28911 | 17563 75093 227966 | 2147483647 28911 210 | 0.000 % |
21.26/21.34 c | 29145 | 17563 75093 227966 | 2147483647 29145 210 | 0.000 % |
21.46/21.56 c | 29402 | 17563 75093 227966 | 2147483647 29402 211 | 0.000 % |
21.66/21.78 c | 29683 | 17563 75093 227966 | 2147483647 29683 211 | 0.000 % |
21.96/22.04 c | 29994 | 17563 75093 227966 | 2147483647 29994 212 | 0.000 % |
22.26/22.32 c | 30333 | 17563 75093 227966 | 2147483647 30333 212 | 0.000 % |
22.56/22.62 c | 30705 | 17563 75093 227966 | 2147483647 30705 212 | 0.000 % |
22.85/22.93 c | 31115 | 17563 75093 227966 | 2147483647 31115 212 | 0.000 % |
23.25/23.30 c | 31566 | 17563 75093 227966 | 2147483647 31566 212 | 0.000 % |
23.55/23.68 c | 32059 | 17563 75093 227966 | 2147483647 32059 212 | 0.000 % |
23.66/23.79 c | 32160 | 17563 75093 227966 | 2147483647 32160 212 | 0.000 % |
23.76/23.87 c | 32270 | 17563 75093 227966 | 2147483647 32270 212 | 0.000 % |
23.86/23.98 c | 32391 | 17563 75093 227966 | 2147483647 32391 212 | 0.000 % |
23.96/24.09 c | 32524 | 17563 75093 227966 | 2147483647 32524 212 | 0.000 % |
24.17/24.22 c | 32670 | 17563 75093 227966 | 2147483647 32670 211 | 0.000 % |
24.26/24.35 c | 32831 | 17563 75093 227966 | 2147483647 32831 211 | 0.000 % |
24.46/24.51 c | 33008 | 17563 75093 227966 | 2147483647 33008 211 | 0.000 % |
24.56/24.68 c | 33201 | 17563 75093 227966 | 2147483647 33201 212 | 0.000 % |
24.76/24.84 c | 33413 | 17563 75093 227966 | 2147483647 33413 212 | 0.000 % |
24.96/25.03 c | 33651 | 17563 75093 227966 | 2147483647 33651 212 | 0.000 % |
25.16/25.24 c | 33907 | 17563 75093 227966 | 2147483647 33907 212 | 0.000 % |
25.36/25.46 c | 34188 | 17563 75093 227966 | 2147483647 34188 212 | 0.000 % |
25.66/25.74 c | 34500 | 17563 75093 227966 | 2147483647 34500 212 | 0.000 % |
25.96/26.02 c | 34839 | 17563 75093 227966 | 2147483647 34839 212 | 0.000 % |
26.26/26.31 c | 35212 | 17563 75093 227966 | 2147483647 35212 212 | 0.000 % |
26.56/26.65 c | 35621 | 17563 75093 227966 | 2147483647 35621 213 | 0.000 % |
26.86/27.00 c | 36072 | 17563 75093 227966 | 2147483647 36072 214 | 0.000 % |
27.25/27.35 c | 36565 | 17563 75093 227966 | 2147483647 36565 215 | 0.000 % |
27.65/27.78 c | 37107 | 17563 75093 227966 | 2147483647 37107 215 | 0.000 % |
27.75/27.88 c | 37207 | 17563 75093 227966 | 2147483647 37207 215 | 0.000 % |
27.85/27.98 c | 37317 | 17563 75093 227966 | 2147483647 37317 215 | 0.000 % |
28.05/28.10 c | 37438 | 17563 75093 227966 | 2147483647 37438 215 | 0.000 % |
28.15/28.22 c | 37571 | 17563 75093 227966 | 2147483647 37571 215 | 0.000 % |
28.25/28.35 c | 37717 | 17563 75093 227966 | 2147483647 37717 215 | 0.000 % |
28.35/28.49 c | 37878 | 17563 75093 227966 | 2147483647 37878 215 | 0.000 % |
28.56/28.63 c | 38054 | 17563 75093 227966 | 2147483647 38054 215 | 0.000 % |
28.76/28.82 c | 38248 | 17563 75093 227966 | 2147483647 38248 215 | 0.000 % |
28.96/29.01 c | 38460 | 17563 75093 227966 | 2147483647 38460 215 | 0.000 % |
29.16/29.23 c | 38693 | 17563 75093 227966 | 2147483647 38693 215 | 0.000 % |
29.36/29.46 c | 38951 | 17563 75093 227966 | 2147483647 38951 215 | 0.000 % |
29.66/29.72 c | 39234 | 17563 75093 227966 | 2147483647 39234 215 | 0.000 % |
29.86/30.00 c | 39544 | 17563 75093 227966 | 2147483647 39544 215 | 0.000 % |
30.26/30.30 c | 39887 | 17563 75093 227966 | 2147483647 39887 216 | 0.000 % |
30.56/30.62 c | 40259 | 17563 75093 227966 | 2147483647 40259 216 | 0.000 % |
30.96/31.02 c | 40668 | 17563 75093 227966 | 2147483647 40668 216 | 0.000 % |
31.35/31.40 c | 41117 | 17563 75093 227966 | 2147483647 41117 216 | 0.000 % |
31.76/31.83 c | 41611 | 17563 75093 227966 | 2147483647 41611 217 | 0.000 % |
32.15/32.28 c | 42153 | 17563 75093 227966 | 2147483647 42153 216 | 0.000 % |
32.76/32.84 c | 42749 | 17563 75093 227966 | 2147483647 42749 217 | 0.000 % |
32.86/32.93 c | 42849 | 17563 75093 227966 | 2147483647 42849 217 | 0.000 % |
32.96/33.02 c | 42959 | 17563 75093 227966 | 2147483647 42959 217 | 0.000 % |
33.06/33.13 c | 43082 | 17563 75093 227966 | 2147483647 43082 217 | 0.000 % |
33.16/33.25 c | 43215 | 17563 75093 227966 | 2147483647 43215 217 | 0.000 % |
33.26/33.39 c | 43361 | 17563 75093 227966 | 2147483647 43361 217 | 0.000 % |
33.45/33.54 c | 43523 | 17563 75093 227966 | 2147483647 43523 217 | 0.000 % |
33.65/33.71 c | 43701 | 17563 75093 227966 | 2147483647 43701 217 | 0.000 % |
33.85/33.90 c | 43900 | 17563 75093 227966 | 2147483647 43900 217 | 0.000 % |
33.96/34.10 c | 44113 | 17563 75093 227966 | 2147483647 44113 217 | 0.000 % |
34.25/34.33 c | 44347 | 17563 75093 227966 | 2147483647 44347 216 | 0.000 % |
34.45/34.57 c | 44606 | 17563 75093 227966 | 2147483647 44606 217 | 0.000 % |
34.75/34.84 c | 44887 | 17563 75093 227966 | 2147483647 44887 217 | 0.000 % |
35.05/35.13 c | 45196 | 17563 75093 227966 | 2147483647 45196 217 | 0.000 % |
35.36/35.42 c | 45536 | 17563 75093 227966 | 2147483647 45536 217 | 0.000 % |
35.66/35.75 c | 45911 | 17563 75093 227966 | 2147483647 45911 217 | 0.000 % |
36.06/36.13 c | 46321 | 17563 75093 227966 | 2147483647 46321 217 | 0.000 % |
36.45/36.53 c | 46770 | 17563 75093 227966 | 2147483647 46770 218 | 0.000 % |
36.85/36.98 c | 47264 | 17563 75093 227966 | 2147483647 47264 218 | 0.000 % |
37.45/37.52 c | 47806 | 17563 75093 227966 | 2147483647 47806 219 | 0.000 % |
37.95/38.02 c | 48402 | 17563 75093 227966 | 2147483647 48402 219 | 0.000 % |
38.55/38.63 c | 49059 | 17563 75093 227966 | 2147483647 49059 219 | 0.000 % |
38.65/38.73 c | 49159 | 17563 75093 227966 | 2147483647 49159 219 | 0.000 % |
38.75/38.84 c | 49270 | 17563 75093 227966 | 2147483647 49270 219 | 0.000 % |
38.85/38.97 c | 49393 | 17563 75093 227966 | 2147483647 49393 219 | 0.000 % |
39.05/39.12 c | 49526 | 17563 75093 227966 | 2147483647 49526 219 | 0.000 % |
39.15/39.28 c | 49672 | 17563 75093 227966 | 2147483647 49672 219 | 0.000 % |
39.35/39.43 c | 49832 | 17563 75093 227966 | 2147483647 49832 219 | 0.000 % |
39.45/39.60 c | 50009 | 17563 75093 227966 | 2147483647 50009 218 | 0.000 % |
39.66/39.79 c | 50202 | 17563 75093 227966 | 2147483647 50202 218 | 0.000 % |
39.95/40.00 c | 50414 | 17563 75093 227966 | 2147483647 50414 219 | 0.000 % |
40.15/40.22 c | 50647 | 17563 75093 227966 | 2147483647 50647 219 | 0.000 % |
40.35/40.46 c | 50903 | 17563 75093 227966 | 2147483647 50903 219 | 0.000 % |
40.66/40.71 c | 51184 | 17563 75093 227966 | 2147483647 51184 219 | 0.000 % |
40.95/41.00 c | 51495 | 17563 75093 227966 | 2147483647 51495 219 | 0.000 % |
41.15/41.27 c | 51836 | 17563 75093 227966 | 2147483647 51836 219 | 0.000 % |
41.55/41.60 c | 52208 | 17563 75093 227966 | 2147483647 52208 220 | 0.000 % |
41.85/41.97 c | 52617 | 17563 75093 227966 | 2147483647 52617 220 | 0.000 % |
42.36/42.40 c | 53066 | 17563 75093 227966 | 2147483647 53066 220 | 0.000 % |
42.76/42.87 c | 53560 | 17563 75093 227966 | 2147483647 53560 220 | 0.000 % |
43.25/43.37 c | 54102 | 17563 75093 227966 | 2147483647 54102 220 | 0.000 % |
43.75/43.89 c | 54698 | 17563 75093 227966 | 2147483647 54698 220 | 0.000 % |
44.45/44.50 c | 55353 | 17563 75093 227966 | 2147483647 55353 221 | 0.000 % |
45.06/45.19 c | 56073 | 17563 75093 227966 | 2147483647 56073 221 | 0.000 % |
45.25/45.30 c | 56175 | 17563 75093 227966 | 2147483647 56175 221 | 0.000 % |
45.35/45.41 c | 56287 | 17563 75093 227966 | 2147483647 56287 221 | 0.000 % |
45.45/45.54 c | 56409 | 17563 75093 227966 | 2147483647 56409 221 | 0.000 % |
45.55/45.67 c | 56542 | 17563 75093 227966 | 2147483647 56542 221 | 0.000 % |
45.75/45.84 c | 56691 | 17563 75093 227966 | 2147483647 56691 221 | 0.000 % |
45.85/45.99 c | 56851 | 17563 75093 227966 | 2147483647 56851 221 | 0.000 % |
46.05/46.16 c | 57028 | 17563 75093 227966 | 2147483647 57028 221 | 0.000 % |
46.25/46.37 c | 57223 | 17563 75093 227966 | 2147483647 57223 221 | 0.000 % |
46.45/46.59 c | 57435 | 17563 75093 227966 | 2147483647 57435 221 | 0.000 % |
46.75/46.82 c | 57669 | 17563 75093 227966 | 2147483647 57669 221 | 0.000 % |
46.95/47.07 c | 57925 | 17563 75093 227966 | 2147483647 57925 221 | 0.000 % |
47.25/47.36 c | 58209 | 17563 75093 227966 | 2147483647 58209 221 | 0.000 % |
47.55/47.68 c | 58519 | 17563 75093 227966 | 2147483647 58519 221 | 0.000 % |
47.95/48.00 c | 58858 | 17563 75093 227966 | 2147483647 58858 222 | 0.000 % |
48.25/48.37 c | 59234 | 17563 75093 227966 | 2147483647 59234 222 | 0.000 % |
48.75/48.80 c | 59645 | 17563 75093 227966 | 2147483647 59645 222 | 0.000 % |
49.15/49.27 c | 60095 | 17563 75093 227966 | 2147483647 60095 222 | 0.000 % |
49.65/49.74 c | 60588 | 17563 75093 227966 | 2147483647 60588 222 | 0.000 % |
50.15/50.28 c | 61132 | 17563 75093 227966 | 2147483647 61132 222 | 0.000 % |
50.75/50.82 c | 61728 | 17563 75093 227966 | 2147483647 61728 222 | 0.000 % |
51.35/51.45 c | 62384 | 17563 75093 227966 | 2147483647 62384 223 | 0.000 % |
52.05/52.20 c | 63106 | 17563 75093 227966 | 2147483647 63106 224 | 0.000 % |
52.85/52.98 c | 63899 | 17563 75093 227966 | 2147483647 63899 225 | 0.000 % |
52.95/53.09 c | 63999 | 17563 75093 227966 | 2147483647 63999 225 | 0.000 % |
53.15/53.21 c | 64112 | 17563 75093 227966 | 2147483647 64112 225 | 0.000 % |
53.25/53.34 c | 64235 | 17563 75093 227966 | 2147483647 64235 225 | 0.000 % |
53.35/53.49 c | 64370 | 17563 75093 227966 | 2147483647 64370 225 | 0.000 % |
53.55/53.65 c | 64518 | 17563 75093 227966 | 2147483647 64518 225 | 0.000 % |
53.75/53.81 c | 64679 | 17563 75093 227966 | 2147483647 64679 225 | 0.000 % |
53.95/54.00 c | 64858 | 17563 75093 227966 | 2147483647 64858 225 | 0.000 % |
54.15/54.21 c | 65052 | 17563 75093 227966 | 2147483647 65052 225 | 0.000 % |
54.34/54.45 c | 65264 | 17563 75093 227966 | 2147483647 65264 225 | 0.000 % |
54.54/54.67 c | 65497 | 17563 75093 227966 | 2147483647 65497 225 | 0.000 % |
54.85/54.95 c | 65753 | 17563 75093 227966 | 2147483647 65753 225 | 0.000 % |
55.15/55.25 c | 66034 | 17563 75093 227966 | 2147483647 66034 224 | 0.000 % |
55.45/55.56 c | 66344 | 17563 75093 227966 | 2147483647 66344 225 | 0.000 % |
55.75/55.89 c | 66683 | 17563 75093 227966 | 2147483647 66683 225 | 0.000 % |
56.14/56.27 c | 67055 | 17563 75093 227966 | 2147483647 67055 224 | 0.000 % |
56.64/56.70 c | 67465 | 17563 75093 227966 | 2147483647 67465 224 | 0.000 % |
57.06/57.17 c | 67914 | 17563 75093 227966 | 2147483647 67914 225 | 0.000 % |
57.55/57.67 c | 68409 | 17563 75093 227966 | 2147483647 68409 224 | 0.000 % |
58.15/58.20 c | 68952 | 17563 75093 227966 | 2147483647 68952 225 | 0.000 % |
58.75/58.85 c | 69548 | 17563 75093 227966 | 2147483647 69548 225 | 0.000 % |
59.45/59.56 c | 70203 | 17563 75093 227966 | 2147483647 70203 225 | 0.000 % |
60.24/60.31 c | 70923 | 17563 75093 227966 | 2147483647 70923 226 | 0.000 % |
61.05/61.12 c | 71715 | 17563 75093 227966 | 2147483647 71715 226 | 0.000 % |
61.95/62.02 c | 72586 | 17563 75093 227966 | 2147483647 72586 226 | 0.000 % |
62.05/62.15 c | 72686 | 17563 75093 227966 | 2147483647 72686 226 | 0.000 % |
62.15/62.28 c | 72796 | 17563 75093 227966 | 2147483647 72796 226 | 0.000 % |
62.35/62.41 c | 72917 | 17563 75093 227966 | 2147483647 72917 226 | 0.000 % |
62.45/62.58 c | 73050 | 17563 75093 227966 | 2147483647 73050 226 | 0.000 % |
62.65/62.76 c | 73198 | 17563 75093 227966 | 2147483647 73198 226 | 0.000 % |
62.85/62.94 c | 73359 | 17563 75093 227966 | 2147483647 73359 226 | 0.000 % |
63.05/63.14 c | 73537 | 17563 75093 227966 | 2147483647 73537 226 | 0.000 % |
63.25/63.35 c | 73733 | 17563 75093 227966 | 2147483647 73733 226 | 0.000 % |
63.45/63.59 c | 73945 | 17563 75093 227966 | 2147483647 73945 226 | 0.000 % |
63.75/63.87 c | 74180 | 17563 75093 227966 | 2147483647 74180 226 | 0.000 % |
64.05/64.15 c | 74437 | 17563 75093 227966 | 2147483647 74437 226 | 0.000 % |
64.34/64.46 c | 74718 | 17563 75093 227966 | 2147483647 74718 226 | 0.000 % |
64.64/64.79 c | 75027 | 17563 75093 227966 | 2147483647 75027 226 | 0.000 % |
65.04/65.15 c | 75366 | 17563 75093 227966 | 2147483647 75366 226 | 0.000 % |
65.45/65.54 c | 75740 | 17563 75093 227966 | 2147483647 75740 226 | 0.000 % |
65.85/65.97 c | 76151 | 17563 75093 227966 | 2147483647 76151 226 | 0.000 % |
66.34/66.44 c | 76601 | 17563 75093 227966 | 2147483647 76601 226 | 0.000 % |
66.84/66.98 c | 77097 | 17563 75093 227966 | 2147483647 77097 226 | 0.000 % |
67.44/67.54 c | 77639 | 17563 75093 227966 | 2147483647 77639 227 | 0.000 % |
68.05/68.16 c | 78236 | 17563 75093 227966 | 2147483647 78236 227 | 0.000 % |
68.74/68.85 c | 78891 | 17563 75093 227966 | 2147483647 78891 227 | 0.000 % |
69.54/69.63 c | 79611 | 17563 75093 227966 | 2147483647 79611 228 | 0.000 % |
70.35/70.41 c | 80405 | 17563 75093 227966 | 2147483647 80405 228 | 0.000 % |
71.34/71.45 c | 81276 | 17563 75093 227966 | 2147483647 81276 228 | 0.000 % |
72.34/72.48 c | 82234 | 17563 75093 227966 | 2147483647 82234 228 | 0.000 % |
72.55/72.62 c | 82335 | 17563 75093 227966 | 2147483647 82335 228 | 0.000 % |
72.64/72.76 c | 82445 | 17563 75093 227966 | 2147483647 82445 228 | 0.000 % |
72.84/72.90 c | 82569 | 17563 75093 227966 | 2147483647 82569 228 | 0.000 % |
72.94/73.08 c | 82702 | 17563 75093 227966 | 2147483647 82702 228 | 0.000 % |
73.14/73.24 c | 82849 | 17563 75093 227966 | 2147483647 82849 228 | 0.000 % |
73.34/73.44 c | 83011 | 17563 75093 227966 | 2147483647 83011 228 | 0.000 % |
73.55/73.65 c | 83187 | 17563 75093 227966 | 2147483647 83187 228 | 0.000 % |
73.85/73.90 c | 83381 | 17563 75093 227966 | 2147483647 83381 228 | 0.000 % |
74.05/74.15 c | 83594 | 17563 75093 227966 | 2147483647 83594 228 | 0.000 % |
74.35/74.43 c | 83827 | 17563 75093 227966 | 2147483647 83827 228 | 0.000 % |
74.65/74.76 c | 84084 | 17563 75093 227966 | 2147483647 84084 228 | 0.000 % |
75.04/75.10 c | 84365 | 17563 75093 227966 | 2147483647 84365 228 | 0.000 % |
75.34/75.48 c | 84675 | 17563 75093 227966 | 2147483647 84675 229 | 0.000 % |
75.75/75.88 c | 85015 | 17563 75093 227966 | 2147483647 85015 229 | 0.000 % |
76.24/76.30 c | 85388 | 17563 75093 227966 | 2147483647 85388 229 | 0.000 % |
76.64/76.79 c | 85798 | 17563 75093 227966 | 2147483647 85798 229 | 0.000 % |
77.24/77.30 c | 86248 | 17563 75093 227966 | 2147483647 86248 229 | 0.000 % |
77.74/77.85 c | 86741 | 17563 75093 227966 | 2147483647 86741 229 | 0.000 % |
78.34/78.46 c | 87283 | 17563 75093 227966 | 2147483647 87283 229 | 0.000 % |
79.05/79.11 c | 87879 | 17563 75093 227966 | 2147483647 87879 229 | 0.000 % |
79.74/79.88 c | 88534 | 17563 75093 227966 | 2147483647 88534 230 | 0.000 % |
80.64/80.72 c | 89254 | 17563 75093 227966 | 2147483647 89254 230 | 0.000 % |
81.54/81.67 c | 90047 | 17563 75093 227966 | 2147483647 90047 230 | 0.000 % |
82.53/82.65 c | 90919 | 17563 75093 227966 | 2147483647 90919 230 | 0.000 % |
83.55/83.70 c | 91877 | 17563 75093 227966 | 2147483647 91877 231 | 0.000 % |
84.84/84.90 c | 92930 | 17563 75093 227966 | 2147483647 92930 231 | 0.000 % |
84.94/85.05 c | 93032 | 17563 75093 227966 | 2147483647 93032 231 | 0.000 % |
85.04/85.19 c | 93142 | 17563 75093 227966 | 2147483647 93142 231 | 0.000 % |
85.23/85.37 c | 93263 | 17563 75093 227966 | 2147483647 93263 231 | 0.000 % |
85.43/85.55 c | 93396 | 17563 75093 227966 | 2147483647 93396 231 | 0.000 % |
85.64/85.73 c | 93543 | 17563 75093 227966 | 2147483647 93543 231 | 0.000 % |
85.83/85.94 c | 93704 | 17563 75093 227966 | 2147483647 93704 230 | 0.000 % |
86.03/86.16 c | 93882 | 17563 75093 227966 | 2147483647 93882 231 | 0.000 % |
86.33/86.41 c | 94075 | 17563 75093 227966 | 2147483647 94075 231 | 0.000 % |
86.63/86.70 c | 94288 | 17563 75093 227966 | 2147483647 94288 230 | 0.000 % |
86.85/86.99 c | 94522 | 17563 75093 227966 | 2147483647 94522 230 | 0.000 % |
87.24/87.32 c | 94778 | 17563 75093 227966 | 2147483647 94778 230 | 0.000 % |
87.54/87.65 c | 95060 | 17563 75093 227966 | 2147483647 95060 231 | 0.000 % |
87.94/88.03 c | 95372 | 17563 75093 227966 | 2147483647 95372 231 | 0.000 % |
88.34/88.42 c | 95711 | 17563 75093 227966 | 2147483647 95711 230 | 0.000 % |
88.74/88.86 c | 96083 | 17563 75093 227966 | 2147483647 96083 230 | 0.000 % |
89.23/89.37 c | 96493 | 17563 75093 227966 | 2147483647 96493 230 | 0.000 % |
89.83/89.91 c | 96942 | 17563 75093 227966 | 2147483647 96942 230 | 0.000 % |
90.34/90.48 c | 97438 | 17563 75093 227966 | 2147483647 97438 230 | 0.000 % |
91.04/91.16 c | 97981 | 17563 75093 227966 | 2147483647 97981 231 | 0.000 % |
91.74/91.84 c | 98577 | 17563 75093 227966 | 2147483647 98577 231 | 0.000 % |
92.53/92.62 c | 99235 | 17563 75093 227966 | 2147483647 99235 232 | 0.000 % |
93.34/93.45 c | 99955 | 17563 75093 227966 | 2147483647 99955 232 | 0.000 % |
94.23/94.36 c | 100747 | 17563 75093 227966 | 2147483647 100747 233 | 0.000 % |
95.33/95.46 c | 101619 | 17563 75093 227966 | 2147483647 101619 234 | 0.000 % |
96.54/96.62 c | 102577 | 17563 75093 227966 | 2147483647 102577 234 | 0.000 % |
97.74/97.86 c | 103631 | 17563 75093 227966 | 2147483647 103631 235 | 0.000 % |
99.14/99.20 c | 104789 | 17563 75093 227966 | 2147483647 104789 236 | 0.000 % |
99.24/99.34 c | 104890 | 17563 75093 227966 | 2147483647 104890 236 | 0.000 % |
99.33/99.50 c | 105000 | 17563 75093 227966 | 2147483647 105000 236 | 0.000 % |
99.53/99.68 c | 105122 | 17563 75093 227966 | 2147483647 105122 236 | 0.000 % |
99.74/99.85 c | 105256 | 17563 75093 227966 | 2147483647 105256 236 | 0.000 % |
99.94/100.04 c | 105404 | 17563 75093 227966 | 2147483647 105404 236 | 0.000 % |
100.13/100.28 c | 105564 | 17563 75093 227966 | 2147483647 105564 235 | 0.000 % |
100.43/100.52 c | 105741 | 17563 75093 227966 | 2147483647 105741 235 | 0.000 % |
100.63/100.79 c | 105934 | 17563 75093 227966 | 2147483647 105934 235 | 0.000 % |
100.93/101.06 c | 106146 | 17563 75093 227966 | 2147483647 106146 235 | 0.000 % |
101.23/101.36 c | 106379 | 17563 75093 227966 | 2147483647 106379 235 | 0.000 % |
101.63/101.71 c | 106637 | 17563 75093 227966 | 2147483647 106637 235 | 0.000 % |
102.03/102.10 c | 106919 | 17563 75093 227966 | 2147483647 106919 235 | 0.000 % |
102.43/102.53 c | 107228 | 17563 75093 227966 | 2147483647 107228 235 | 0.000 % |
102.83/102.97 c | 107568 | 17563 75093 227966 | 2147483647 107568 235 | 0.000 % |
103.34/103.45 c | 107940 | 17563 75093 227966 | 2147483647 107940 235 | 0.000 % |
103.84/103.98 c | 108349 | 17563 75093 227966 | 2147483647 108349 235 | 0.000 % |
104.44/104.57 c | 108799 | 17563 75093 227966 | 2147483647 108799 235 | 0.000 % |
105.04/105.18 c | 109292 | 17563 75093 227966 | 2147483647 109292 236 | 0.000 % |
105.73/105.87 c | 109834 | 17563 75093 227966 | 2147483647 109834 236 | 0.000 % |
106.53/106.62 c | 110431 | 17563 75093 227966 | 2147483647 110431 236 | 0.000 % |
107.33/107.45 c | 111089 | 17563 75093 227966 | 2147483647 111089 236 | 0.000 % |
108.23/108.31 c | 111810 | 17563 75093 227966 | 2147483647 111810 236 | 0.000 % |
109.13/109.27 c | 112603 | 17563 75093 227966 | 2147483647 112603 236 | 0.000 % |
110.24/110.36 c | 113474 | 17563 75093 227966 | 2147483647 113474 237 | 0.000 % |
111.43/111.53 c | 114432 | 17563 75093 227966 | 2147483647 114432 237 | 0.000 % |
112.63/112.75 c | 115486 | 17563 75093 227966 | 2147483647 115486 238 | 0.000 % |
114.13/114.29 c | 116644 | 17563 75093 227966 | 2147483647 116644 238 | 0.000 % |
115.83/115.94 c | 117917 | 17563 75093 227966 | 2147483647 117917 239 | 0.000 % |
115.93/116.07 c | 118017 | 17563 75093 227966 | 2147483647 118017 239 | 0.000 % |
116.13/116.26 c | 118128 | 17563 75093 227966 | 2147483647 118128 239 | 0.000 % |
116.33/116.44 c | 118249 | 17563 75093 227966 | 2147483647 118249 239 | 0.000 % |
116.53/116.64 c | 118383 | 17563 75093 227966 | 2147483647 118383 239 | 0.000 % |
116.73/116.87 c | 118529 | 17563 75093 227966 | 2147483647 118529 239 | 0.000 % |
117.03/117.12 c | 118690 | 17563 75093 227966 | 2147483647 118690 239 | 0.000 % |
117.23/117.39 c | 118866 | 17563 75093 227966 | 2147483647 118866 238 | 0.000 % |
117.53/117.68 c | 119060 | 17563 75093 227966 | 2147483647 119060 238 | 0.000 % |
117.93/118.03 c | 119272 | 17563 75093 227966 | 2147483647 119272 239 | 0.000 % |
118.23/118.37 c | 119507 | 17563 75093 227966 | 2147483647 119507 238 | 0.000 % |
118.63/118.77 c | 119765 | 17563 75093 227966 | 2147483647 119765 238 | 0.000 % |
119.03/119.17 c | 120047 | 17563 75093 227966 | 2147483647 120047 238 | 0.000 % |
119.52/119.64 c | 120359 | 17563 75093 227966 | 2147483647 120359 238 | 0.000 % |
120.02/120.15 c | 120698 | 17563 75093 227966 | 2147483647 120698 238 | 0.000 % |
120.53/120.63 c | 121071 | 17563 75093 227966 | 2147483647 121071 238 | 0.000 % |
121.03/121.18 c | 121481 | 17563 75093 227966 | 2147483647 121481 238 | 0.000 % |
121.63/121.77 c | 121930 | 17563 75093 227966 | 2147483647 121930 238 | 0.000 % |
122.33/122.41 c | 122424 | 17563 75093 227966 | 2147483647 122424 238 | 0.000 % |
122.92/123.09 c | 122966 | 17563 75093 227966 | 2147483647 122966 239 | 0.000 % |
123.72/123.87 c | 123563 | 17563 75093 227966 | 2147483647 123563 239 | 0.000 % |
124.63/124.79 c | 124219 | 17563 75093 227966 | 2147483647 124219 239 | 0.000 % |
125.63/125.71 c | 124940 | 17563 75093 227966 | 2147483647 124940 239 | 0.000 % |
126.62/126.72 c | 125734 | 17563 75093 227966 | 2147483647 125734 239 | 0.000 % |
127.82/127.90 c | 126605 | 17563 75093 227966 | 2147483647 126605 239 | 0.000 % |
129.03/129.12 c | 127566 | 17563 75093 227966 | 2147483647 127566 239 | 0.000 % |
130.43/130.58 c | 128619 | 17563 75093 227966 | 2147483647 128619 239 | 0.000 % |
132.02/132.11 c | 129778 | 17563 75093 227966 | 2147483647 129778 240 | 0.000 % |
133.62/133.77 c | 131054 | 17563 75093 227966 | 2147483647 131054 241 | 0.000 % |
135.53/135.66 c | 132454 | 17563 75093 227966 | 2147483647 132454 241 | 0.000 % |
135.73/135.84 c | 132554 | 17563 75093 227966 | 2147483647 132554 241 | 0.000 % |
135.92/136.04 c | 132666 | 17563 75093 227966 | 2147483647 132666 241 | 0.000 % |
136.12/136.21 c | 132788 | 17563 75093 227966 | 2147483647 132788 241 | 0.000 % |
136.33/136.43 c | 132922 | 17563 75093 227966 | 2147483647 132922 241 | 0.000 % |
136.52/136.68 c | 133068 | 17563 75093 227966 | 2147483647 133068 241 | 0.000 % |
136.82/136.94 c | 133228 | 17563 75093 227966 | 2147483647 133228 241 | 0.000 % |
137.12/137.22 c | 133407 | 17563 75093 227966 | 2147483647 133407 241 | 0.000 % |
137.43/137.52 c | 133600 | 17563 75093 227966 | 2147483647 133600 241 | 0.000 % |
137.72/137.85 c | 133813 | 17563 75093 227966 | 2147483647 133813 241 | 0.000 % |
138.02/138.19 c | 134046 | 17563 75093 227966 | 2147483647 134046 241 | 0.000 % |
138.43/138.60 c | 134302 | 17563 75093 227966 | 2147483647 134302 241 | 0.000 % |
138.92/139.02 c | 134584 | 17563 75093 227966 | 2147483647 134584 241 | 0.000 % |
139.32/139.47 c | 134893 | 17563 75093 227966 | 2147483647 134893 241 | 0.000 % |
139.82/139.98 c | 135236 | 17563 75093 227966 | 2147483647 135236 241 | 0.000 % |
140.42/140.52 c | 135609 | 17563 75093 227966 | 2147483647 135609 241 | 0.000 % |
141.02/141.10 c | 136018 | 17563 75093 227966 | 2147483647 136018 240 | 0.000 % |
141.72/141.81 c | 136467 | 17563 75093 227966 | 2147483647 136467 240 | 0.000 % |
142.42/142.52 c | 136961 | 17563 75093 227966 | 2147483647 136961 241 | 0.000 % |
143.12/143.28 c | 137507 | 17563 75093 227966 | 2147483647 137507 240 | 0.000 % |
144.03/144.13 c | 138104 | 17563 75093 227966 | 2147483647 138104 240 | 0.000 % |
144.92/145.04 c | 138764 | 17563 75093 227966 | 2147483647 138764 241 | 0.000 % |
145.92/146.00 c | 139484 | 17563 75093 227966 | 2147483647 139484 241 | 0.000 % |
146.92/147.03 c | 140276 | 17563 75093 227966 | 2147483647 140276 241 | 0.000 % |
148.02/148.17 c | 141151 | 17563 75093 227966 | 2147483647 141151 241 | 0.000 % |
149.32/149.49 c | 142111 | 17563 75093 227966 | 2147483647 142111 241 | 0.000 % |
150.92/151.03 c | 143164 | 17563 75093 227966 | 2147483647 143164 241 | 0.000 % |
152.62/152.72 c | 144324 | 17563 75093 227966 | 2147483647 144324 241 | 0.000 % |
154.32/154.49 c | 145597 | 17563 75093 227966 | 2147483647 145597 242 | 0.000 % |
156.32/156.41 c | 146998 | 17563 75093 227966 | 2147483647 146998 242 | 0.000 % |
158.51/158.62 c | 148539 | 17563 75093 227966 | 2147483647 148539 243 | 0.000 % |
158.71/158.80 c | 148639 | 17563 75093 227966 | 2147483647 148639 243 | 0.000 % |
158.81/158.97 c | 148749 | 17563 75093 227966 | 2147483647 148749 243 | 0.000 % |
159.01/159.18 c | 148872 | 17563 75093 227966 | 2147483647 148872 243 | 0.000 % |
159.21/159.39 c | 149005 | 17563 75093 227966 | 2147483647 149005 243 | 0.000 % |
159.51/159.63 c | 149151 | 17563 75093 227966 | 2147483647 149151 243 | 0.000 % |
159.71/159.89 c | 149311 | 17563 75093 227966 | 2147483647 149311 243 | 0.000 % |
160.01/160.20 c | 149487 | 17563 75093 227966 | 2147483647 149487 243 | 0.000 % |
160.42/160.51 c | 149680 | 17563 75093 227966 | 2147483647 149680 243 | 0.000 % |
160.72/160.87 c | 149893 | 17563 75093 227966 | 2147483647 149893 243 | 0.000 % |
161.12/161.24 c | 150126 | 17563 75093 227966 | 2147483647 150126 243 | 0.000 % |
161.52/161.68 c | 150382 | 17563 75093 227966 | 2147483647 150382 243 | 0.000 % |
162.01/162.10 c | 150664 | 17563 75093 227966 | 2147483647 150664 243 | 0.000 % |
162.41/162.57 c | 150973 | 17563 75093 227966 | 2147483647 150973 243 | 0.000 % |
163.01/163.13 c | 151315 | 17563 75093 227966 | 2147483647 151315 243 | 0.000 % |
163.61/163.71 c | 151687 | 17563 75093 227966 | 2147483647 151687 243 | 0.000 % |
164.21/164.33 c | 152096 | 17563 75093 227966 | 2147483647 152096 243 | 0.000 % |
164.81/164.99 c | 152545 | 17563 75093 227966 | 2147483647 152545 243 | 0.000 % |
165.61/165.77 c | 153038 | 17563 75093 227966 | 2147483647 153038 243 | 0.000 % |
166.51/166.60 c | 153581 | 17563 75093 227966 | 2147483647 153581 243 | 0.000 % |
167.41/167.55 c | 154178 | 17563 75093 227966 | 2147483647 154178 243 | 0.000 % |
168.41/168.50 c | 154833 | 17563 75093 227966 | 2147483647 154833 243 | 0.000 % |
169.51/169.61 c | 155553 | 17563 75093 227966 | 2147483647 155553 243 | 0.000 % |
170.71/170.82 c | 156345 | 17563 75093 227966 | 2147483647 156345 243 | 0.000 % |
172.01/172.19 c | 157216 | 17563 75093 227966 | 2147483647 157216 243 | 0.000 % |
173.41/173.57 c | 158174 | 17563 75093 227966 | 2147483647 158174 244 | 0.000 % |
174.90/175.09 c | 159227 | 17563 75093 227966 | 2147483647 159227 244 | 0.000 % |
176.61/176.78 c | 160385 | 17563 75093 227966 | 2147483647 160385 244 | 0.000 % |
178.41/178.59 c | 161658 | 17563 75093 227966 | 2147483647 161658 245 | 0.000 % |
180.60/180.74 c | 163058 | 17563 75093 227966 | 2147483647 163058 246 | 0.000 % |
182.91/183.05 c | 164598 | 17563 75093 227966 | 2147483647 164598 246 | 0.000 % |
185.40/185.60 c | 166293 | 17563 75093 227966 | 2147483647 166293 246 | 0.000 % |
185.71/185.80 c | 166396 | 17563 75093 227966 | 2147483647 166396 246 | 0.000 % |
185.90/186.02 c | 166506 | 17563 75093 227966 | 2147483647 166506 246 | 0.000 % |
186.10/186.25 c | 166631 | 17563 75093 227966 | 2147483647 166631 246 | 0.000 % |
186.31/186.46 c | 166764 | 17563 75093 227966 | 2147483647 166764 246 | 0.000 % |
186.61/186.74 c | 166910 | 17563 75093 227966 | 2147483647 166910 246 | 0.000 % |
186.91/187.01 c | 167072 | 17563 75093 227966 | 2147483647 167072 246 | 0.000 % |
187.21/187.35 c | 167248 | 17563 75093 227966 | 2147483647 167248 246 | 0.000 % |
187.51/187.66 c | 167441 | 17563 75093 227966 | 2147483647 167441 246 | 0.000 % |
187.91/188.06 c | 167654 | 17563 75093 227966 | 2147483647 167654 246 | 0.000 % |
188.30/188.45 c | 167887 | 17563 75093 227966 | 2147483647 167887 246 | 0.000 % |
188.80/188.91 c | 168143 | 17563 75093 227966 | 2147483647 168143 246 | 0.000 % |
189.20/189.38 c | 168424 | 17563 75093 227966 | 2147483647 168424 246 | 0.000 % |
189.71/189.89 c | 168734 | 17563 75093 227966 | 2147483647 168734 246 | 0.000 % |
190.31/190.44 c | 169073 | 17563 75093 227966 | 2147483647 169073 246 | 0.000 % |
190.91/191.08 c | 169445 | 17563 75093 227966 | 2147483647 169445 246 | 0.000 % |
191.61/191.71 c | 169858 | 17563 75093 227966 | 2147483647 169858 246 | 0.000 % |
192.31/192.47 c | 170309 | 17563 75093 227966 | 2147483647 170309 246 | 0.000 % |
193.20/193.32 c | 170803 | 17563 75093 227966 | 2147483647 170803 246 | 0.000 % |
194.00/194.18 c | 171347 | 17563 75093 227966 | 2147483647 171347 246 | 0.000 % |
195.00/195.10 c | 171944 | 17563 75093 227966 | 2147483647 171944 246 | 0.000 % |
195.90/196.06 c | 172600 | 17563 75093 227966 | 2147483647 172600 246 | 0.000 % |
197.10/197.20 c | 173320 | 17563 75093 227966 | 2147483647 173320 246 | 0.000 % |
198.20/198.34 c | 174113 | 17563 75093 227966 | 2147483647 174113 246 | 0.000 % |
199.60/199.71 c | 174984 | 17563 75093 227966 | 2147483647 174984 247 | 0.000 % |
201.00/201.20 c | 175945 | 17563 75093 227966 | 2147483647 175945 247 | 0.000 % |
202.60/202.72 c | 176999 | 17563 75093 227966 | 2147483647 176999 247 | 0.000 % |
204.40/204.59 c | 178157 | 17563 75093 227966 | 2147483647 178157 247 | 0.000 % |
206.50/206.67 c | 179430 | 17563 75093 227966 | 2147483647 179430 247 | 0.000 % |
208.81/208.94 c | 180831 | 17563 75093 227966 | 2147483647 180831 248 | 0.000 % |
211.20/211.32 c | 182371 | 17563 75093 227966 | 2147483647 182371 248 | 0.000 % |
213.89/214.04 c | 184065 | 17563 75093 227966 | 2147483647 184065 248 | 0.000 % |
217.00/217.15 c | 185929 | 17563 75093 227966 | 2147483647 185929 249 | 0.000 % |
217.20/217.34 c | 186029 | 17563 75093 227966 | 2147483647 186029 249 | 0.000 % |
217.50/217.60 c | 186140 | 17563 75093 227966 | 2147483647 186140 249 | 0.000 % |
217.70/217.85 c | 186261 | 17563 75093 227966 | 2147483647 186261 249 | 0.000 % |
217.99/218.11 c | 186394 | 17563 75093 227966 | 2147483647 186394 248 | 0.000 % |
218.29/218.41 c | 186540 | 17563 75093 227966 | 2147483647 186540 249 | 0.000 % |
218.59/218.72 c | 186703 | 17563 75093 227966 | 2147483647 186703 248 | 0.000 % |
218.89/219.05 c | 186879 | 17563 75093 227966 | 2147483647 186879 248 | 0.000 % |
219.29/219.43 c | 187072 | 17563 75093 227966 | 2147483647 187072 248 | 0.000 % |
219.69/219.82 c | 187285 | 17563 75093 227966 | 2147483647 187285 248 | 0.000 % |
220.09/220.22 c | 187518 | 17563 75093 227966 | 2147483647 187518 248 | 0.000 % |
220.59/220.70 c | 187774 | 17563 75093 227966 | 2147483647 187774 248 | 0.000 % |
221.00/221.15 c | 188057 | 17563 75093 227966 | 2147483647 188057 248 | 0.000 % |
221.60/221.70 c | 188367 | 17563 75093 227966 | 2147483647 188367 248 | 0.000 % |
222.10/222.28 c | 188706 | 17563 75093 227966 | 2147483647 188706 248 | 0.000 % |
222.80/222.93 c | 189079 | 17563 75093 227966 | 2147483647 189079 248 | 0.000 % |
223.50/223.63 c | 189489 | 17563 75093 227966 | 2147483647 189489 248 | 0.000 % |
224.20/224.38 c | 189938 | 17563 75093 227966 | 2147483647 189938 248 | 0.000 % |
225.09/225.20 c | 190433 | 17563 75093 227966 | 2147483647 190433 248 | 0.000 % |
226.00/226.14 c | 190975 | 17563 75093 227966 | 2147483647 190975 248 | 0.000 % |
226.90/227.09 c | 191572 | 17563 75093 227966 | 2147483647 191572 248 | 0.000 % |
228.09/228.24 c | 192227 | 17563 75093 227966 | 2147483647 192227 249 | 0.000 % |
229.29/229.47 c | 192949 | 17563 75093 227966 | 2147483647 192949 249 | 0.000 % |
230.69/230.84 c | 193742 | 17563 75093 227966 | 2147483647 193742 249 | 0.000 % |
232.10/232.26 c | 194615 | 17563 75093 227966 | 2147483647 194615 249 | 0.000 % |
233.69/233.81 c | 195573 | 17563 75093 227966 | 2147483647 195573 249 | 0.000 % |
235.49/235.63 c | 196628 | 17563 75093 227966 | 2147483647 196628 249 | 0.000 % |
237.39/237.53 c | 197788 | 17563 75093 227966 | 2147483647 197788 250 | 0.000 % |
239.39/239.55 c | 199061 | 17563 75093 227966 | 2147483647 199061 250 | 0.000 % |
241.59/241.78 c | 200462 | 17563 75093 227966 | 2147483647 200462 250 | 0.000 % |
244.19/244.38 c | 202004 | 17563 75093 227966 | 2147483647 202004 251 | 0.000 % |
247.09/247.21 c | 203699 | 17563 75093 227966 | 2147483647 203699 251 | 0.000 % |
250.18/250.35 c | 205562 | 17563 75093 227966 | 2147483647 205562 251 | 0.000 % |
253.59/253.71 c | 207611 | 17563 75093 227966 | 2147483647 207611 252 | 0.000 % |
253.79/253.90 c | 207712 | 17563 75093 227966 | 2147483647 207712 252 | 0.000 % |
253.99/254.15 c | 207823 | 17563 75093 227966 | 2147483647 207823 252 | 0.000 % |
254.19/254.40 c | 207945 | 17563 75093 227966 | 2147483647 207945 252 | 0.000 % |
254.48/254.67 c | 208078 | 17563 75093 227966 | 2147483647 208078 252 | 0.000 % |
254.78/254.99 c | 208224 | 17563 75093 227966 | 2147483647 208224 252 | 0.000 % |
255.18/255.30 c | 208388 | 17563 75093 227966 | 2147483647 208388 252 | 0.000 % |
255.48/255.68 c | 208564 | 17563 75093 227966 | 2147483647 208564 252 | 0.000 % |
255.98/256.11 c | 208759 | 17563 75093 227966 | 2147483647 208759 252 | 0.000 % |
256.38/256.52 c | 208971 | 17563 75093 227966 | 2147483647 208971 252 | 0.000 % |
256.78/256.97 c | 209205 | 17563 75093 227966 | 2147483647 209205 252 | 0.000 % |
257.28/257.43 c | 209462 | 17563 75093 227966 | 2147483647 209462 252 | 0.000 % |
257.79/257.94 c | 209744 | 17563 75093 227966 | 2147483647 209744 252 | 0.000 % |
258.39/258.52 c | 210054 | 17563 75093 227966 | 2147483647 210054 252 | 0.000 % |
259.09/259.23 c | 210393 | 17563 75093 227966 | 2147483647 210393 252 | 0.000 % |
259.78/259.91 c | 210767 | 17563 75093 227966 | 2147483647 210767 251 | 0.000 % |
260.38/260.59 c | 211178 | 17563 75093 227966 | 2147483647 211178 251 | 0.000 % |
261.28/261.42 c | 211627 | 17563 75093 227966 | 2147483647 211627 251 | 0.000 % |
262.19/262.35 c | 212126 | 17563 75093 227966 | 2147483647 212126 251 | 0.000 % |
263.19/263.33 c | 212669 | 17563 75093 227966 | 2147483647 212669 251 | 0.000 % |
264.18/264.36 c | 213266 | 17563 75093 227966 | 2147483647 213266 251 | 0.000 % |
265.38/265.53 c | 213921 | 17563 75093 227966 | 2147483647 213921 251 | 0.000 % |
266.68/266.88 c | 214642 | 17563 75093 227966 | 2147483647 214642 251 | 0.000 % |
268.19/268.32 c | 215434 | 17563 75093 227966 | 2147483647 215434 251 | 0.000 % |
269.78/269.98 c | 216307 | 17563 75093 227966 | 2147483647 216307 251 | 0.000 % |
271.58/271.72 c | 217265 | 17563 75093 227966 | 2147483647 217265 251 | 0.000 % |
273.48/273.67 c | 218318 | 17563 75093 227966 | 2147483647 218318 251 | 0.000 % |
275.57/275.72 c | 219476 | 17563 75093 227966 | 2147483647 219476 252 | 0.000 % |
277.88/278.04 c | 220749 | 17563 75093 227966 | 2147483647 220749 252 | 0.000 % |
280.38/280.53 c | 222151 | 17563 75093 227966 | 2147483647 222151 252 | 0.000 % |
283.08/283.26 c | 223693 | 17563 75093 227966 | 2147483647 223693 253 | 0.000 % |
285.97/286.18 c | 225387 | 17563 75093 227966 | 2147483647 225387 253 | 0.000 % |
289.38/289.60 c | 227251 | 17563 75093 227966 | 2147483647 227251 253 | 0.000 % |
293.27/293.48 c | 229300 | 17563 75093 227966 | 2147483647 229300 254 | 0.000 % |
297.37/297.54 c | 231553 | 17563 75093 227966 | 2147483647 231553 255 | 0.000 % |
297.67/297.83 c | 231653 | 17563 75093 227966 | 2147483647 231653 255 | 0.000 % |
297.87/298.09 c | 231766 | 17563 75093 227966 | 2147483647 231766 255 | 0.000 % |
298.17/298.37 c | 231887 | 17563 75093 227966 | 2147483647 231887 255 | 0.000 % |
298.47/298.68 c | 232020 | 17563 75093 227966 | 2147483647 232020 255 | 0.000 % |
298.87/299.05 c | 232166 | 17563 75093 227966 | 2147483647 232166 255 | 0.000 % |
299.27/299.40 c | 232327 | 17563 75093 227966 | 2147483647 232327 255 | 0.000 % |
299.57/299.80 c | 232503 | 17563 75093 227966 | 2147483647 232503 255 | 0.000 % |
300.08/300.23 c | 232697 | 17563 75093 227966 | 2147483647 232697 255 | 0.000 % |
300.47/300.66 c | 232909 | 17563 75093 227966 | 2147483647 232909 255 | 0.000 % |
300.97/301.16 c | 233142 | 17563 75093 227966 | 2147483647 233142 255 | 0.000 % |
301.47/301.70 c | 233398 | 17563 75093 227966 | 2147483647 233398 255 | 0.000 % |
302.07/302.24 c | 233681 | 17563 75093 227966 | 2147483647 233681 255 | 0.000 % |
302.67/302.85 c | 233991 | 17563 75093 227966 | 2147483647 233991 255 | 0.000 % |
303.27/303.49 c | 234330 | 17563 75093 227966 | 2147483647 234330 254 | 0.000 % |
304.07/304.25 c | 234702 | 17563 75093 227966 | 2147483647 234702 255 | 0.000 % |
304.87/305.03 c | 235111 | 17563 75093 227966 | 2147483647 235111 254 | 0.000 % |
305.77/305.94 c | 235561 | 17563 75093 227966 | 2147483647 235561 254 | 0.000 % |
306.77/306.94 c | 236055 | 17563 75093 227966 | 2147483647 236055 254 | 0.000 % |
307.87/308.05 c | 236598 | 17563 75093 227966 | 2147483647 236598 254 | 0.000 % |
309.07/309.22 c | 237195 | 17563 75093 227966 | 2147483647 237195 254 | 0.000 % |
310.37/310.56 c | 237852 | 17563 75093 227966 | 2147483647 237852 254 | 0.000 % |
311.86/312.00 c | 238572 | 17563 75093 227966 | 2147483647 238572 254 | 0.000 % |
313.47/313.66 c | 239364 | 17563 75093 227966 | 2147483647 239364 254 | 0.000 % |
315.17/315.35 c | 240235 | 17563 75093 227966 | 2147483647 240235 254 | 0.000 % |
317.16/317.31 c | 241193 | 17563 75093 227966 | 2147483647 241193 255 | 0.000 % |
319.16/319.31 c | 242247 | 17563 75093 227966 | 2147483647 242247 255 | 0.000 % |
321.26/321.42 c | 243405 | 17563 75093 227966 | 2147483647 243405 255 | 0.000 % |
323.56/323.75 c | 244679 | 17563 75093 227966 | 2147483647 244679 255 | 0.000 % |
325.96/326.17 c | 246081 | 17563 75093 227966 | 2147483647 246081 256 | 0.000 % |
328.96/329.13 c | 247622 | 17563 75093 227966 | 2147483647 247622 256 | 0.000 % |
331.96/332.17 c | 249317 | 17563 75093 227966 | 2147483647 249317 256 | 0.000 % |
335.46/335.64 c | 251181 | 17563 75093 227966 | 2147483647 251181 257 | 0.000 % |
339.25/339.41 c | 253232 | 17563 75093 227966 | 2147483647 253232 257 | 0.000 % |
343.46/343.67 c | 255487 | 17563 75093 227966 | 2147483647 255487 258 | 0.000 % |
348.05/348.29 c | 257965 | 17563 75093 227966 | 2147483647 257965 258 | 0.000 % |
348.35/348.51 c | 258065 | 17563 75093 227966 | 2147483647 258065 258 | 0.000 % |
348.65/348.85 c | 258176 | 17563 75093 227966 | 2147483647 258176 258 | 0.000 % |
348.95/349.15 c | 258297 | 17563 75093 227966 | 2147483647 258297 258 | 0.000 % |
349.25/349.47 c | 258432 | 17563 75093 227966 | 2147483647 258432 258 | 0.000 % |
349.65/349.81 c | 258578 | 17563 75093 227966 | 2147483647 258578 257 | 0.000 % |
350.05/350.24 c | 258739 | 17563 75093 227966 | 2147483647 258739 258 | 0.000 % |
350.45/350.67 c | 258915 | 17563 75093 227966 | 2147483647 258915 257 | 0.000 % |
350.96/351.11 c | 259108 | 17563 75093 227966 | 2147483647 259108 257 | 0.000 % |
351.36/351.54 c | 259320 | 17563 75093 227966 | 2147483647 259320 257 | 0.000 % |
351.96/352.10 c | 259554 | 17563 75093 227966 | 2147483647 259554 257 | 0.000 % |
352.55/352.73 c | 259811 | 17563 75093 227966 | 2147483647 259811 257 | 0.000 % |
353.15/353.35 c | 260092 | 17563 75093 227966 | 2147483647 260092 257 | 0.000 % |
353.85/354.06 c | 260402 | 17563 75093 227966 | 2147483647 260402 257 | 0.000 % |
354.65/354.85 c | 260741 | 17563 75093 227966 | 2147483647 260741 257 | 0.000 % |
355.45/355.62 c | 261113 | 17563 75093 227966 | 2147483647 261113 257 | 0.000 % |
356.26/356.44 c | 261522 | 17563 75093 227966 | 2147483647 261522 257 | 0.000 % |
357.26/357.43 c | 261971 | 17563 75093 227966 | 2147483647 261971 257 | 0.000 % |
358.25/358.42 c | 262466 | 17563 75093 227966 | 2147483647 262466 257 | 0.000 % |
359.35/359.54 c | 263009 | 17563 75093 227966 | 2147483647 263009 257 | 0.000 % |
360.55/360.74 c | 263606 | 17563 75093 227966 | 2147483647 263606 257 | 0.000 % |
361.85/362.06 c | 264261 | 17563 75093 227966 | 2147483647 264261 257 | 0.000 % |
363.34/363.54 c | 264981 | 17563 75093 227966 | 2147483647 264981 257 | 0.000 % |
364.85/365.04 c | 265773 | 17563 75093 227966 | 2147483647 265773 257 | 0.000 % |
366.65/366.82 c | 266644 | 17563 75093 227966 | 2147483647 266644 257 | 0.000 % |
368.55/368.78 c | 267602 | 17563 75093 227966 | 2147483647 267602 257 | 0.000 % |
370.65/370.81 c | 268656 | 17563 75093 227966 | 2147483647 268656 257 | 0.000 % |
372.95/373.15 c | 269814 | 17563 75093 227966 | 2147483647 269814 257 | 0.000 % |
375.44/375.62 c | 271087 | 17563 75093 227966 | 2147483647 271087 257 | 0.000 % |
378.35/378.57 c | 272487 | 17563 75093 227966 | 2147483647 272487 257 | 0.000 % |
381.45/381.68 c | 274027 | 17563 75093 227966 | 2147483647 274027 258 | 0.000 % |
385.04/385.26 c | 275723 | 17563 75093 227966 | 2147483647 275723 258 | 0.000 % |
388.64/388.81 c | 277587 | 17563 75093 227966 | 2147483647 277587 258 | 0.000 % |
392.84/393.06 c | 279636 | 17563 75093 227966 | 2147483647 279636 259 | 0.000 % |
397.34/397.55 c | 281889 | 17563 75093 227966 | 2147483647 281889 259 | 0.000 % |
402.24/402.45 c | 284367 | 17563 75093 227966 | 2147483647 284367 260 | 0.000 % |
407.73/407.99 c | 287093 | 17563 75093 227966 | 2147483647 287093 260 | 0.000 % |
408.03/408.29 c | 287193 | 17563 75093 227966 | 2147483647 287193 260 | 0.000 % |
408.33/408.58 c | 287303 | 17563 75093 227966 | 2147483647 287303 260 | 0.000 % |
408.73/408.94 c | 287425 | 17563 75093 227966 | 2147483647 287425 260 | 0.000 % |
409.03/409.24 c | 287558 | 17563 75093 227966 | 2147483647 287558 260 | 0.000 % |
409.44/409.65 c | 287704 | 17563 75093 227966 | 2147483647 287704 260 | 0.000 % |
409.84/410.04 c | 287865 | 17563 75093 227966 | 2147483647 287865 260 | 0.000 % |
410.24/410.49 c | 288042 | 17563 75093 227966 | 2147483647 288042 260 | 0.000 % |
410.83/411.05 c | 288237 | 17563 75093 227966 | 2147483647 288237 260 | 0.000 % |
411.43/411.62 c | 288450 | 17563 75093 227966 | 2147483647 288450 260 | 0.000 % |
412.03/412.21 c | 288686 | 17563 75093 227966 | 2147483647 288686 260 | 0.000 % |
412.63/412.80 c | 288942 | 17563 75093 227966 | 2147483647 288942 260 | 0.000 % |
413.23/413.49 c | 289223 | 17563 75093 227966 | 2147483647 289223 260 | 0.000 % |
413.93/414.19 c | 289532 | 17563 75093 227966 | 2147483647 289532 260 | 0.000 % |
414.83/415.00 c | 289872 | 17563 75093 227966 | 2147483647 289872 260 | 0.000 % |
415.73/415.91 c | 290244 | 17563 75093 227966 | 2147483647 290244 260 | 0.000 % |
416.73/416.94 c | 290655 | 17563 75093 227966 | 2147483647 290655 259 | 0.000 % |
417.83/418.01 c | 291104 | 17563 75093 227966 | 2147483647 291104 259 | 0.000 % |
418.94/419.15 c | 291597 | 17563 75093 227966 | 2147483647 291597 259 | 0.000 % |
420.23/420.49 c | 292139 | 17563 75093 227966 | 2147483647 292139 260 | 0.000 % |
421.63/421.82 c | 292735 | 17563 75093 227966 | 2147483647 292735 260 | 0.000 % |
423.03/423.29 c | 293392 | 17563 75093 227966 | 2147483647 293392 260 | 0.000 % |
424.53/424.77 c | 294114 | 17563 75093 227966 | 2147483647 294114 260 | 0.000 % |
426.33/426.53 c | 294908 | 17563 75093 227966 | 2147483647 294908 260 | 0.000 % |
428.23/428.44 c | 295780 | 17563 75093 227966 | 2147483647 295780 260 | 0.000 % |
430.33/430.54 c | 296738 | 17563 75093 227966 | 2147483647 296738 260 | 0.000 % |
432.42/432.66 c | 297791 | 17563 75093 227966 | 2147483647 297791 260 | 0.000 % |
435.13/435.32 c | 298949 | 17563 75093 227966 | 2147483647 298949 260 | 0.000 % |
437.62/437.89 c | 300222 | 17563 75093 227966 | 2147483647 300222 260 | 0.000 % |
440.53/440.80 c | 301625 | 17563 75093 227966 | 2147483647 301625 260 | 0.000 % |
443.73/443.97 c | 303165 | 17563 75093 227966 | 2147483647 303165 260 | 0.000 % |
447.32/447.56 c | 304860 | 17563 75093 227966 | 2147483647 304860 260 | 0.000 % |
451.22/451.46 c | 306723 | 17563 75093 227966 | 2147483647 306723 261 | 0.000 % |
455.62/455.83 c | 308772 | 17563 75093 227966 | 2147483647 308772 261 | 0.000 % |
460.41/460.66 c | 311027 | 17563 75093 227966 | 2147483647 311027 262 | 0.000 % |
466.01/466.23 c | 313505 | 17563 75093 227966 | 2147483647 313505 262 | 0.000 % |
471.91/472.17 c | 316232 | 17563 75093 227966 | 2147483647 316232 263 | 0.000 % |
478.61/478.87 c | 319229 | 17563 75093 227966 | 2147483647 319229 263 | 0.000 % |
478.91/479.12 c | 319331 | 17563 75093 227966 | 2147483647 319331 263 | 0.000 % |
479.21/479.44 c | 319442 | 17563 75093 227966 | 2147483647 319442 263 | 0.000 % |
479.51/479.75 c | 319564 | 17563 75093 227966 | 2147483647 319564 263 | 0.000 % |
479.91/480.13 c | 319697 | 17563 75093 227966 | 2147483647 319697 263 | 0.000 % |
480.32/480.55 c | 319843 | 17563 75093 227966 | 2147483647 319843 263 | 0.000 % |
480.72/481.00 c | 320003 | 17563 75093 227966 | 2147483647 320003 263 | 0.000 % |
481.31/481.57 c | 320180 | 17563 75093 227966 | 2147483647 320180 263 | 0.000 % |
481.81/482.06 c | 320373 | 17563 75093 227966 | 2147483647 320373 263 | 0.000 % |
482.41/482.64 c | 320585 | 17563 75093 227966 | 2147483647 320585 263 | 0.000 % |
483.01/483.26 c | 320821 | 17563 75093 227966 | 2147483647 320821 263 | 0.000 % |
483.72/483.93 c | 321077 | 17563 75093 227966 | 2147483647 321077 263 | 0.000 % |
484.51/484.79 c | 321359 | 17563 75093 227966 | 2147483647 321359 263 | 0.000 % |
485.31/485.53 c | 321668 | 17563 75093 227966 | 2147483647 321668 263 | 0.000 % |
486.11/486.33 c | 322009 | 17563 75093 227966 | 2147483647 322009 263 | 0.000 % |
487.11/487.34 c | 322382 | 17563 75093 227966 | 2147483647 322382 263 | 0.000 % |
488.11/488.34 c | 322792 | 17563 75093 227966 | 2147483647 322792 263 | 0.000 % |
489.21/489.44 c | 323244 | 17563 75093 227966 | 2147483647 323244 263 | 0.000 % |
490.51/490.72 c | 323738 | 17563 75093 227966 | 2147483647 323738 263 | 0.000 % |
491.81/492.03 c | 324280 | 17563 75093 227966 | 2147483647 324280 263 | 0.000 % |
493.31/493.58 c | 324876 | 17563 75093 227966 | 2147483647 324876 263 | 0.000 % |
494.91/495.12 c | 325531 | 17563 75093 227966 | 2147483647 325531 263 | 0.000 % |
496.61/496.88 c | 326253 | 17563 75093 227966 | 2147483647 326253 263 | 0.000 % |
498.60/498.82 c | 327045 | 17563 75093 227966 | 2147483647 327045 263 | 0.000 % |
500.61/500.88 c | 327916 | 17563 75093 227966 | 2147483647 327916 263 | 0.000 % |
502.80/503.07 c | 328875 | 17563 75093 227966 | 2147483647 328875 262 | 0.000 % |
505.20/505.44 c | 329930 | 17563 75093 227966 | 2147483647 329930 263 | 0.000 % |
507.91/508.18 c | 331089 | 17563 75093 227966 | 2147483647 331089 263 | 0.000 % |
511.00/511.22 c | 332364 | 17563 75093 227966 | 2147483647 332364 263 | 0.000 % |
514.00/514.23 c | 333766 | 17563 75093 227966 | 2147483647 333766 263 | 0.000 % |
517.50/517.78 c | 335308 | 17563 75093 227966 | 2147483647 335308 263 | 0.000 % |
521.40/521.68 c | 337002 | 17563 75093 227966 | 2147483647 337002 263 | 0.000 % |
525.80/526.02 c | 338866 | 17563 75093 227966 | 2147483647 338866 263 | 0.000 % |
530.39/530.66 c | 340915 | 17563 75093 227966 | 2147483647 340915 263 | 0.000 % |
535.70/535.92 c | 343171 | 17563 75093 227966 | 2147483647 343171 263 | 0.000 % |
541.29/541.58 c | 345652 | 17563 75093 227966 | 2147483647 345652 263 | 0.000 % |
547.09/547.34 c | 348379 | 17563 75093 227966 | 2147483647 348379 264 | 0.000 % |
553.88/554.13 c | 351376 | 17563 75093 227966 | 2147483647 351376 265 | 0.000 % |
561.19/561.40 c | 354672 | 17563 75093 227966 | 2147483647 354672 265 | 0.000 % |
561.39/561.66 c | 354774 | 17563 75093 227966 | 2147483647 354774 265 | 0.000 % |
561.69/561.97 c | 354884 | 17563 75093 227966 | 2147483647 354884 265 | 0.000 % |
562.09/562.35 c | 355005 | 17563 75093 227966 | 2147483647 355005 265 | 0.000 % |
562.69/562.90 c | 355139 | 17563 75093 227966 | 2147483647 355139 265 | 0.000 % |
563.09/563.35 c | 355286 | 17563 75093 227966 | 2147483647 355286 265 | 0.000 % |
563.49/563.79 c | 355446 | 17563 75093 227966 | 2147483647 355446 265 | 0.000 % |
564.19/564.41 c | 355623 | 17563 75093 227966 | 2147483647 355623 265 | 0.000 % |
564.79/565.01 c | 355817 | 17563 75093 227966 | 2147483647 355817 265 | 0.000 % |
565.29/565.53 c | 356029 | 17563 75093 227966 | 2147483647 356029 265 | 0.000 % |
565.98/566.23 c | 356263 | 17563 75093 227966 | 2147483647 356263 265 | 0.000 % |
566.58/566.89 c | 356519 | 17563 75093 227966 | 2147483647 356519 265 | 0.000 % |
567.48/567.77 c | 356802 | 17563 75093 227966 | 2147483647 356802 265 | 0.000 % |
568.39/568.62 c | 357111 | 17563 75093 227966 | 2147483647 357111 265 | 0.000 % |
569.29/569.60 c | 357452 | 17563 75093 227966 | 2147483647 357452 265 | 0.000 % |
570.29/570.51 c | 357826 | 17563 75093 227966 | 2147483647 357826 265 | 0.000 % |
571.39/571.61 c | 358237 | 17563 75093 227966 | 2147483647 358237 265 | 0.000 % |
572.58/572.87 c | 358686 | 17563 75093 227966 | 2147483647 358686 265 | 0.000 % |
573.98/574.21 c | 359179 | 17563 75093 227966 | 2147483647 359179 264 | 0.000 % |
575.38/575.64 c | 359721 | 17563 75093 227966 | 2147483647 359721 264 | 0.000 % |
576.88/577.19 c | 360317 | 17563 75093 227966 | 2147483647 360317 264 | 0.000 % |
578.58/578.84 c | 360972 | 17563 75093 227966 | 2147483647 360972 264 | 0.000 % |
580.38/580.61 c | 361694 | 17563 75093 227966 | 2147483647 361694 265 | 0.000 % |
582.48/582.73 c | 362487 | 17563 75093 227966 | 2147483647 362487 264 | 0.000 % |
584.78/585.00 c | 363358 | 17563 75093 227966 | 2147483647 363358 265 | 0.000 % |
587.09/587.31 c | 364316 | 17563 75093 227966 | 2147483647 364316 265 | 0.000 % |
589.58/589.84 c | 365370 | 17563 75093 227966 | 2147483647 365370 265 | 0.000 % |
592.48/592.79 c | 366528 | 17563 75093 227966 | 2147483647 366528 265 | 0.000 % |
595.78/596.02 c | 367801 | 17563 75093 227966 | 2147483647 367801 266 | 0.000 % |
599.18/599.47 c | 369202 | 17563 75093 227966 | 2147483647 369202 266 | 0.000 % |
602.87/603.17 c | 370742 | 17563 75093 227966 | 2147483647 370742 266 | 0.000 % |
607.37/607.64 c | 372440 | 17563 75093 227966 | 2147483647 372440 266 | 0.000 % |
611.87/612.16 c | 374303 | 17563 75093 227966 | 2147483647 374303 266 | 0.000 % |
616.87/617.14 c | 376352 | 17563 75093 227966 | 2147483647 376352 267 | 0.000 % |
622.67/622.93 c | 378606 | 17563 75093 227966 | 2147483647 378606 267 | 0.000 % |
628.76/629.02 c | 381086 | 17563 75093 227966 | 2147483647 381086 267 | 0.000 % |
635.57/635.86 c | 383811 | 17563 75093 227966 | 2147483647 383811 267 | 0.000 % |
643.36/643.60 c | 386808 | 17563 75093 227966 | 2147483647 386808 268 | 0.000 % |
651.66/651.97 c | 390104 | 17563 75093 227966 | 2147483647 390104 268 | 0.000 % |
660.26/660.58 c | 393731 | 17563 75093 227966 | 2147483647 393731 269 | 0.000 % |
660.56/660.87 c | 393833 | 17563 75093 227966 | 2147483647 393833 269 | 0.000 % |
660.96/661.24 c | 393944 | 17563 75093 227966 | 2147483647 393944 269 | 0.000 % |
661.36/661.68 c | 394065 | 17563 75093 227966 | 2147483647 394065 269 | 0.000 % |
661.86/662.18 c | 394198 | 17563 75093 227966 | 2147483647 394198 269 | 0.000 % |
662.36/662.70 c | 394346 | 17563 75093 227966 | 2147483647 394346 269 | 0.000 % |
662.86/663.20 c | 394507 | 17563 75093 227966 | 2147483647 394507 269 | 0.000 % |
663.56/663.84 c | 394685 | 17563 75093 227966 | 2147483647 394685 269 | 0.000 % |
664.16/664.45 c | 394883 | 17563 75093 227966 | 2147483647 394883 269 | 0.000 % |
664.85/665.19 c | 395095 | 17563 75093 227966 | 2147483647 395095 269 | 0.000 % |
665.65/665.93 c | 395328 | 17563 75093 227966 | 2147483647 395328 269 | 0.000 % |
666.35/666.69 c | 395584 | 17563 75093 227966 | 2147483647 395584 269 | 0.000 % |
667.25/667.54 c | 395866 | 17563 75093 227966 | 2147483647 395866 269 | 0.000 % |
668.15/668.45 c | 396178 | 17563 75093 227966 | 2147483647 396178 269 | 0.000 % |
669.05/669.36 c | 396519 | 17563 75093 227966 | 2147483647 396519 269 | 0.000 % |
670.26/670.50 c | 396891 | 17563 75093 227966 | 2147483647 396891 269 | 0.000 % |
671.36/671.66 c | 397300 | 17563 75093 227966 | 2147483647 397300 269 | 0.000 % |
672.75/673.02 c | 397751 | 17563 75093 227966 | 2147483647 397751 269 | 0.000 % |
674.06/674.36 c | 398244 | 17563 75093 227966 | 2147483647 398244 269 | 0.000 % |
675.75/676.04 c | 398786 | 17563 75093 227966 | 2147483647 398786 269 | 0.000 % |
677.45/677.73 c | 399383 | 17563 75093 227966 | 2147483647 399383 269 | 0.000 % |
679.35/679.61 c | 400038 | 17563 75093 227966 | 2147483647 400038 268 | 0.000 % |
681.35/681.61 c | 400758 | 17563 75093 227966 | 2147483647 400758 269 | 0.000 % |
683.45/683.70 c | 401550 | 17563 75093 227966 | 2147483647 401550 269 | 0.000 % |
685.85/686.16 c | 402423 | 17563 75093 227966 | 2147483647 402423 269 | 0.000 % |
688.55/688.80 c | 403383 | 17563 75093 227966 | 2147483647 403383 269 | 0.000 % |
691.44/691.72 c | 404437 | 17563 75093 227966 | 2147483647 404437 269 | 0.000 % |
694.55/694.87 c | 405595 | 17563 75093 227966 | 2147483647 405595 269 | 0.000 % |
698.25/698.56 c | 406871 | 17563 75093 227966 | 2147483647 406871 269 | 0.000 % |
701.94/702.26 c | 408271 | 17563 75093 227966 | 2147483647 408271 269 | 0.000 % |
706.14/706.49 c | 409813 | 17563 75093 227966 | 2147483647 409813 269 | 0.000 % |
710.53/710.86 c | 411509 | 17563 75093 227966 | 2147483647 411509 269 | 0.000 % |
715.74/716.06 c | 413372 | 17563 75093 227966 | 2147483647 413372 269 | 0.000 % |
721.24/721.56 c | 415422 | 17563 75093 227966 | 2147483647 415422 269 | 0.000 % |
727.44/727.72 c | 417676 | 17563 75093 227966 | 2147483647 417676 270 | 0.000 % |
733.93/734.20 c | 420154 | 17563 75093 227966 | 2147483647 420154 270 | 0.000 % |
741.13/741.42 c | 422880 | 17563 75093 227966 | 2147483647 422880 270 | 0.000 % |
748.83/749.18 c | 425878 | 17563 75093 227966 | 2147483647 425878 271 | 0.000 % |
757.92/758.21 c | 429174 | 17563 75093 227966 | 2147483647 429174 271 | 0.000 % |
766.82/767.19 c | 432802 | 17563 75093 227966 | 2147483647 432802 272 | 0.000 % |
777.32/777.63 c | 436790 | 17563 75093 227966 | 2147483647 436790 272 | 0.000 % |
777.61/777.95 c | 436890 | 17563 75093 227966 | 2147483647 436890 272 | 0.000 % |
778.01/778.35 c | 437001 | 17563 75093 227966 | 2147483647 437001 272 | 0.000 % |
778.61/778.90 c | 437122 | 17563 75093 227966 | 2147483647 437122 272 | 0.000 % |
779.01/779.39 c | 437257 | 17563 75093 227966 | 2147483647 437257 272 | 0.000 % |
779.62/779.91 c | 437403 | 17563 75093 227966 | 2147483647 437403 272 | 0.000 % |
780.22/780.53 c | 437564 | 17563 75093 227966 | 2147483647 437564 272 | 0.000 % |
780.92/781.25 c | 437741 | 17563 75093 227966 | 2147483647 437741 272 | 0.000 % |
781.62/781.96 c | 437936 | 17563 75093 227966 | 2147483647 437936 272 | 0.000 % |
782.32/782.65 c | 438148 | 17563 75093 227966 | 2147483647 438148 272 | 0.000 % |
783.12/783.47 c | 438382 | 17563 75093 227966 | 2147483647 438382 272 | 0.000 % |
784.02/784.31 c | 438638 | 17563 75093 227966 | 2147483647 438638 272 | 0.000 % |
784.81/785.15 c | 438920 | 17563 75093 227966 | 2147483647 438920 272 | 0.000 % |
785.91/786.23 c | 439229 | 17563 75093 227966 | 2147483647 439229 272 | 0.000 % |
787.01/787.33 c | 439568 | 17563 75093 227966 | 2147483647 439568 272 | 0.000 % |
788.22/788.53 c | 439941 | 17563 75093 227966 | 2147483647 439941 272 | 0.000 % |
789.52/789.83 c | 440350 | 17563 75093 227966 | 2147483647 440350 272 | 0.000 % |
790.91/791.24 c | 440802 | 17563 75093 227966 | 2147483647 440802 272 | 0.000 % |
792.51/792.81 c | 441297 | 17563 75093 227966 | 2147483647 441297 272 | 0.000 % |
794.11/794.44 c | 441840 | 17563 75093 227966 | 2147483647 441840 272 | 0.000 % |
795.91/796.29 c | 442436 | 17563 75093 227966 | 2147483647 442436 272 | 0.000 % |
797.71/798.06 c | 443091 | 17563 75093 227966 | 2147483647 443091 272 | 0.000 % |
800.01/800.30 c | 443812 | 17563 75093 227966 | 2147483647 443812 272 | 0.000 % |
802.41/802.75 c | 444604 | 17563 75093 227966 | 2147483647 444604 272 | 0.000 % |
804.81/805.13 c | 445475 | 17563 75093 227966 | 2147483647 445475 272 | 0.000 % |
807.51/807.88 c | 446436 | 17563 75093 227966 | 2147483647 446436 272 | 0.000 % |
810.61/810.95 c | 447490 | 17563 75093 227966 | 2147483647 447490 272 | 0.000 % |
813.91/814.25 c | 448651 | 17563 75093 227966 | 2147483647 448651 272 | 0.000 % |
817.40/817.77 c | 449924 | 17563 75093 227966 | 2147483647 449924 272 | 0.000 % |
821.40/821.73 c | 451324 | 17563 75093 227966 | 2147483647 451324 272 | 0.000 % |
825.80/826.13 c | 452864 | 17563 75093 227966 | 2147483647 452864 272 | 0.000 % |
830.60/830.99 c | 454558 | 17563 75093 227966 | 2147483647 454558 272 | 0.000 % |
836.00/836.40 c | 456421 | 17563 75093 227966 | 2147483647 456421 272 | 0.000 % |
842.10/842.47 c | 458470 | 17563 75093 227966 | 2147483647 458470 272 | 0.000 % |
848.59/848.90 c | 460723 | 17563 75093 227966 | 2147483647 460723 273 | 0.000 % |
855.40/855.79 c | 463203 | 17563 75093 227966 | 2147483647 463203 273 | 0.000 % |
862.69/863.04 c | 465931 | 17563 75093 227966 | 2147483647 465931 273 | 0.000 % |
870.49/870.86 c | 468929 | 17563 75093 227966 | 2147483647 468929 273 | 0.000 % |
879.47/879.87 c | 472229 | 17563 75093 227966 | 2147483647 472229 274 | 0.000 % |
890.17/890.51 c | 475854 | 17563 75093 227966 | 2147483647 475854 274 | 0.000 % |
901.27/901.62 c | 479841 | 17563 75093 227966 | 2147483647 479841 274 | 0.000 % |
913.67/914.02 c | 484226 | 17563 75093 227966 | 2147483647 484226 274 | 0.000 % |
913.96/914.35 c | 484326 | 17563 75093 227966 | 2147483647 484326 274 | 0.000 % |
914.36/914.75 c | 484436 | 17563 75093 227966 | 2147483647 484436 274 | 0.000 % |
914.87/915.24 c | 484557 | 17563 75093 227966 | 2147483647 484557 274 | 0.000 % |
915.47/915.86 c | 484690 | 17563 75093 227966 | 2147483647 484690 274 | 0.000 % |
916.17/916.53 c | 484836 | 17563 75093 227966 | 2147483647 484836 274 | 0.000 % |
916.77/917.13 c | 484996 | 17563 75093 227966 | 2147483647 484996 274 | 0.000 % |
917.47/917.81 c | 485172 | 17563 75093 227966 | 2147483647 485172 274 | 0.000 % |
918.17/918.52 c | 485365 | 17563 75093 227966 | 2147483647 485365 274 | 0.000 % |
918.87/919.21 c | 485577 | 17563 75093 227966 | 2147483647 485577 274 | 0.000 % |
919.77/920.14 c | 485810 | 17563 75093 227966 | 2147483647 485810 274 | 0.000 % |
920.67/921.07 c | 486067 | 17563 75093 227966 | 2147483647 486067 274 | 0.000 % |
921.76/922.12 c | 486349 | 17563 75093 227966 | 2147483647 486349 274 | 0.000 % |
922.86/923.22 c | 486661 | 17563 75093 227966 | 2147483647 486661 274 | 0.000 % |
924.06/924.41 c | 487000 | 17563 75093 227966 | 2147483647 487000 274 | 0.000 % |
925.46/925.81 c | 487372 | 17563 75093 227966 | 2147483647 487372 274 | 0.000 % |
926.76/927.19 c | 487782 | 17563 75093 227966 | 2147483647 487782 274 | 0.000 % |
928.16/928.55 c | 488233 | 17563 75093 227966 | 2147483647 488233 274 | 0.000 % |
929.86/930.22 c | 488727 | 17563 75093 227966 | 2147483647 488727 274 | 0.000 % |
931.66/932.04 c | 489269 | 17563 75093 227966 | 2147483647 489269 274 | 0.000 % |
933.76/934.12 c | 489865 | 17563 75093 227966 | 2147483647 489865 274 | 0.000 % |
935.76/936.14 c | 490521 | 17563 75093 227966 | 2147483647 490521 274 | 0.000 % |
938.26/938.61 c | 491241 | 17563 75093 227966 | 2147483647 491241 274 | 0.000 % |
940.75/941.11 c | 492034 | 17563 75093 227966 | 2147483647 492034 274 | 0.000 % |
943.75/944.11 c | 492905 | 17563 75093 227966 | 2147483647 492905 274 | 0.000 % |
946.65/947.04 c | 493865 | 17563 75093 227966 | 2147483647 493865 274 | 0.000 % |
949.96/950.34 c | 494918 | 17563 75093 227966 | 2147483647 494918 274 | 0.000 % |
953.75/954.19 c | 496077 | 17563 75093 227966 | 2147483647 496077 274 | 0.000 % |
958.05/958.43 c | 497350 | 17563 75093 227966 | 2147483647 497350 274 | 0.000 % |
962.15/962.59 c | 498752 | 17563 75093 227966 | 2147483647 498752 274 | 0.000 % |
966.65/967.05 c | 500292 | 17563 75093 227966 | 2147483647 500292 274 | 0.000 % |
971.85/972.21 c | 501986 | 17563 75093 227966 | 2147483647 501986 274 | 0.000 % |
977.64/978.00 c | 503850 | 17563 75093 227966 | 2147483647 503850 274 | 0.000 % |
983.85/984.26 c | 505899 | 17563 75093 227966 | 2147483647 505899 274 | 0.000 % |
990.54/990.96 c | 508153 | 17563 75093 227966 | 2147483647 508153 274 | 0.000 % |
998.34/998.77 c | 510631 | 17563 75093 227966 | 2147483647 510631 274 | 0.000 % |
1006.94/1007.37 c | 513356 | 17563 75093 227966 | 2147483647 513356 275 | 0.000 % |
1015.83/1016.27 c | 516356 | 17563 75093 227966 | 2147483647 516356 275 | 0.000 % |
1025.94/1026.31 c | 519654 | 17563 75093 227966 | 2147483647 519654 276 | 0.000 % |
1036.53/1036.92 c | 523280 | 17563 75093 227966 | 2147483647 523280 276 | 0.000 % |
1048.93/1049.32 c | 527268 | 17563 75093 227966 | 2147483647 527268 276 | 0.000 % |
1062.23/1062.62 c | 531655 | 17563 75093 227966 | 2147483647 531655 277 | 0.000 % |
1076.82/1077.30 c | 536479 | 17563 75093 227966 | 2147483647 536479 277 | 0.000 % |
1077.31/1077.72 c | 536580 | 17563 75093 227966 | 2147483647 536580 277 | 0.000 % |
1077.91/1078.31 c | 536693 | 17563 75093 227966 | 2147483647 536693 277 | 0.000 % |
1078.41/1078.84 c | 536815 | 17563 75093 227966 | 2147483647 536815 277 | 0.000 % |
1079.01/1079.46 c | 536948 | 17563 75093 227966 | 2147483647 536948 277 | 0.000 % |
1079.72/1080.11 c | 537096 | 17563 75093 227966 | 2147483647 537096 277 | 0.000 % |
1080.41/1080.86 c | 537256 | 17563 75093 227966 | 2147483647 537256 277 | 0.000 % |
1081.21/1081.60 c | 537433 | 17563 75093 227966 | 2147483647 537433 277 | 0.000 % |
1081.91/1082.39 c | 537628 | 17563 75093 227966 | 2147483647 537628 277 | 0.000 % |
1082.81/1083.26 c | 537842 | 17563 75093 227966 | 2147483647 537842 277 | 0.000 % |
1083.71/1084.19 c | 538079 | 17563 75093 227966 | 2147483647 538079 277 | 0.000 % |
1084.81/1085.22 c | 538335 | 17563 75093 227966 | 2147483647 538335 277 | 0.000 % |
1085.81/1086.27 c | 538619 | 17563 75093 227966 | 2147483647 538619 277 | 0.000 % |
1086.91/1087.38 c | 538932 | 17563 75093 227966 | 2147483647 538932 277 | 0.000 % |
1088.21/1088.63 c | 539271 | 17563 75093 227966 | 2147483647 539271 277 | 0.000 % |
1089.61/1090.02 c | 539643 | 17563 75093 227966 | 2147483647 539643 277 | 0.000 % |
1091.11/1091.55 c | 540053 | 17563 75093 227966 | 2147483647 540053 276 | 0.000 % |
1092.81/1093.23 c | 540503 | 17563 75093 227966 | 2147483647 540503 276 | 0.000 % |
1094.70/1095.18 c | 540996 | 17563 75093 227966 | 2147483647 540996 276 | 0.000 % |
1096.70/1097.17 c | 541539 | 17563 75093 227966 | 2147483647 541539 276 | 0.000 % |
1098.81/1099.25 c | 542136 | 17563 75093 227966 | 2147483647 542136 277 | 0.000 % |
1100.90/1101.36 c | 542791 | 17563 75093 227966 | 2147483647 542791 277 | 0.000 % |
1103.30/1103.76 c | 543511 | 17563 75093 227966 | 2147483647 543511 276 | 0.000 % |
1106.21/1106.62 c | 544303 | 17563 75093 227966 | 2147483647 544303 276 | 0.000 % |
1109.20/1109.69 c | 545175 | 17563 75093 227966 | 2147483647 545175 276 | 0.000 % |
1112.10/1112.50 c | 546135 | 17563 75093 227966 | 2147483647 546135 277 | 0.000 % |
1115.71/1116.13 c | 547190 | 17563 75093 227966 | 2147483647 547190 277 | 0.000 % |
1119.60/1120.02 c | 548349 | 17563 75093 227966 | 2147483647 548349 277 | 0.000 % |
1124.09/1124.57 c | 549623 | 17563 75093 227966 | 2147483647 549623 277 | 0.000 % |
1128.80/1129.29 c | 551024 | 17563 75093 227966 | 2147483647 551024 277 | 0.000 % |
1134.19/1134.60 c | 552567 | 17563 75093 227966 | 2147483647 552567 277 | 0.000 % |
1139.80/1140.28 c | 554261 | 17563 75093 227966 | 2147483647 554261 277 | 0.000 % |
1145.99/1146.42 c | 556126 | 17563 75093 227966 | 2147483647 556126 277 | 0.000 % |
1152.69/1153.10 c | 558176 | 17563 75093 227966 | 2147483647 558176 277 | 0.000 % |
1159.79/1160.28 c | 560431 | 17563 75093 227966 | 2147483647 560431 277 | 0.000 % |
1167.88/1168.35 c | 562912 | 17563 75093 227966 | 2147483647 562912 277 | 0.000 % |
1176.59/1177.03 c | 565637 | 17563 75093 227966 | 2147483647 565637 278 | 0.000 % |
1186.39/1186.87 c | 568634 | 17563 75093 227966 | 2147483647 568634 278 | 0.000 % |
1197.17/1197.69 c | 571931 | 17563 75093 227966 | 2147483647 571931 278 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832785-1242787583/watcher-1832785-1242787583 -o /tmp/evaluation-result-1832785-1242787583/solver-1832785-1242787583 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832785-1242787583.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.25 1.08 1.02 3/64 15242
/proc/meminfo: memFree=1698744/2055920 swapFree=4180332/4192956
[pid=15242] ppid=15240 vsize=5356 CPUtime=0
/proc/15242/stat : 15242 (SatELiteGTI) S 15240 15242 14597 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306785585 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15242/statm: 1339 237 197 169 0 50 0
[startup+0.0809849 s]
/proc/loadavg: 1.25 1.08 1.02 3/64 15242
/proc/meminfo: memFree=1698744/2055920 swapFree=4180332/4192956
[pid=15242] ppid=15240 vsize=5356 CPUtime=0
/proc/15242/stat : 15242 (SatELiteGTI) S 15240 15242 14597 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306785585 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15242/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101987 s]
/proc/loadavg: 1.25 1.08 1.02 3/64 15242
/proc/meminfo: memFree=1698744/2055920 swapFree=4180332/4192956
[pid=15242] ppid=15240 vsize=5356 CPUtime=0
/proc/15242/stat : 15242 (SatELiteGTI) S 15240 15242 14597 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306785585 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15242/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.30202 s]
/proc/loadavg: 1.25 1.08 1.02 3/64 15242
/proc/meminfo: memFree=1698744/2055920 swapFree=4180332/4192956
[pid=15242] ppid=15240 vsize=5356 CPUtime=0
/proc/15242/stat : 15242 (SatELiteGTI) S 15240 15242 14597 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306785585 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15242/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701099 s]
/proc/loadavg: 1.25 1.08 1.02 3/64 15242
/proc/meminfo: memFree=1698744/2055920 swapFree=4180332/4192956
[pid=15242] ppid=15240 vsize=5356 CPUtime=0.34
/proc/15242/stat : 15242 (SatELiteGTI) S 15240 15242 14597 0 -1 4194304 336 2599 0 0 0 0 33 1 16 0 1 0 306785585 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15242/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 5356
[startup+1.50122 s]
/proc/loadavg: 1.25 1.08 1.02 2/66 15248
/proc/meminfo: memFree=1690344/2055920 swapFree=4180332/4192956
[pid=15242] ppid=15240 vsize=5356 CPUtime=0.34
/proc/15242/stat : 15242 (SatELiteGTI) S 15240 15242 14597 0 -1 4194304 336 2599 0 0 0 0 33 1 16 0 1 0 306785585 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15242/statm: 1339 239 197 169 0 50 0
[pid=15248] ppid=15242 vsize=7852 CPUtime=1.13
/proc/15248/stat : 15248 (minisat_static) R 15242 15242 14597 0 -1 4194304 1837 0 0 0 112 1 0 0 25 0 1 0 306785622 8040448 1823 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15248/statm: 1963 1823 77 171 0 1790 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13208
[startup+3.10149 s]
/proc/loadavg: 1.25 1.08 1.02 2/66 15248
/proc/meminfo: memFree=1688808/2055920 swapFree=4180332/4192956
[pid=15242] ppid=15240 vsize=5356 CPUtime=0.34
/proc/15242/stat : 15242 (SatELiteGTI) S 15240 15242 14597 0 -1 4194304 336 2599 0 0 0 0 33 1 16 0 1 0 306785585 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15242/statm: 1339 239 197 169 0 50 0
[pid=15248] ppid=15242 vsize=9964 CPUtime=2.72
/proc/15248/stat : 15248 (minisat_static) R 15242 15242 14597 0 -1 4194304 2347 0 0 0 270 2 0 0 25 0 1 0 306785622 10203136 2333 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/15248/statm: 2491 2333 77 171 0 2318 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 15320
[startup+6.30202 s]
/proc/loadavg: 1.23 1.08 1.02 2/66 15248
/proc/meminfo: memFree=1684520/2055920 swapFree=4180332/4192956
[pid=15242] ppid=15240 vsize=5356 CPUtime=0.34
/proc/15242/stat : 15242 (SatELiteGTI) S 15240 15242 14597 0 -1 4194304 336 2599 0 0 0 0 33 1 16 0 1 0 306785585 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15242/statm: 1339 239 197 169 0 50 0
[pid=15248] ppid=15242 vsize=13924 CPUtime=5.92
/proc/15248/stat : 15248 (minisat_static) R 15242 15242 14597 0 -1 4194304 3341 0 0 0 589 3 0 0 25 0 1 0 306785622 14258176 3327 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/15248/statm: 3481 3327 77 171 0 3308 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 19280
[startup+12.7011 s]
/proc/loadavg: 1.21 1.08 1.02 2/66 15248
/proc/meminfo: memFree=1676272/2055920 swapFree=4180332/4192956
[pid=15242] ppid=15240 vsize=5356 CPUtime=0.34
/proc/15242/stat : 15242 (SatELiteGTI) S 15240 15242 14597 0 -1 4194304 336 2599 0 0 0 0 33 1 16 0 1 0 306785585 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15242/statm: 1339 239 197 169 0 50 0
[pid=15248] ppid=15242 vsize=21716 CPUtime=12.32
/proc/15248/stat : 15248 (minisat_static) R 15242 15242 14597 0 -1 4194304 5298 0 0 0 1226 6 0 0 25 0 1 0 306785622 22237184 5284 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/15248/statm: 5429 5284 77 171 0 5256 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 27072
[startup+25.5012 s]
/proc/loadavg: 1.16 1.08 1.02 2/66 15248
/proc/meminfo: memFree=1661040/2055920 swapFree=4180332/4192956
[pid=15242] ppid=15240 vsize=5356 CPUtime=0.34
/proc/15242/stat : 15242 (SatELiteGTI) S 15240 15242 14597 0 -1 4194304 336 2599 0 0 0 0 33 1 16 0 1 0 306785585 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15242/statm: 1339 239 197 169 0 50 0
[pid=15248] ppid=15242 vsize=36600 CPUtime=25.12
/proc/15248/stat : 15248 (minisat_static) R 15242 15242 14597 0 -1 4194304 9002 0 0 0 2502 10 0 0 25 0 1 0 306785622 37478400 8988 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/15248/statm: 9150 8988 77 171 0 8977 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 41956
[startup+51.1015 s]
/proc/loadavg: 1.11 1.07 1.02 2/66 15248
/proc/meminfo: memFree=1634608/2055920 swapFree=4180332/4192956
[pid=15242] ppid=15240 vsize=5356 CPUtime=0.34
/proc/15242/stat : 15242 (SatELiteGTI) S 15240 15242 14597 0 -1 4194304 336 2599 0 0 0 0 33 1 16 0 1 0 306785585 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15242/statm: 1339 239 197 169 0 50 0
[pid=15248] ppid=15242 vsize=63472 CPUtime=50.71
/proc/15248/stat : 15248 (minisat_static) R 15242 15242 14597 0 -1 4194304 15684 0 0 0 5054 17 0 0 25 0 1 0 306785622 64995328 15670 1992294400 134512640 135215339 4294956240 18446744073709551615 134721303 0 0 4096 3 0 0 0 17 1 0 0
/proc/15248/statm: 15868 15670 77 171 0 15695 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 68828
[startup+102.305 s]
/proc/loadavg: 1.04 1.05 1.01 2/66 15248
/proc/meminfo: memFree=1587504/2055920 swapFree=4180332/4192956
[pid=15242] ppid=15240 vsize=5356 CPUtime=0.34
/proc/15242/stat : 15242 (SatELiteGTI) S 15240 15242 14597 0 -1 4194304 336 2599 0 0 0 0 33 1 16 0 1 0 306785585 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15242/statm: 1339 239 197 169 0 50 0
[pid=15248] ppid=15242 vsize=109620 CPUtime=101.89
/proc/15248/stat : 15248 (minisat_static) R 15242 15242 14597 0 -1 4194304 27248 0 0 0 10159 30 0 0 25 0 1 0 306785622 112250880 27234 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/15248/statm: 27405 27234 77 171 0 27232 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 114976
[startup+162.301 s]
/proc/loadavg: 1.01 1.04 1.01 2/66 15248
/proc/meminfo: memFree=1541232/2055920 swapFree=4180332/4192956
[pid=15242] ppid=15240 vsize=5356 CPUtime=0.34
/proc/15242/stat : 15242 (SatELiteGTI) S 15240 15242 14597 0 -1 4194304 336 2599 0 0 0 0 33 1 16 0 1 0 306785585 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15242/statm: 1339 239 197 169 0 50 0
[pid=15248] ppid=15242 vsize=156256 CPUtime=161.87
/proc/15248/stat : 15248 (minisat_static) R 15242 15242 14597 0 -1 4194304 38857 0 0 0 16143 44 0 0 25 0 1 0 306785622 160006144 38843 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/15248/statm: 39064 38843 77 171 0 38891 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 161612
[startup+222.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 15248
/proc/meminfo: memFree=1499120/2055920 swapFree=4180332/4192956
[pid=15242] ppid=15240 vsize=5356 CPUtime=0.34
/proc/15242/stat : 15242 (SatELiteGTI) S 15240 15242 14597 0 -1 4194304 336 2599 0 0 0 0 33 1 16 0 1 0 306785585 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15242/statm: 1339 239 197 169 0 50 0
[pid=15248] ppid=15242 vsize=197752 CPUtime=221.86
/proc/15248/stat : 15248 (minisat_static) R 15242 15242 14597 0 -1 4194304 49276 0 0 0 22132 54 0 0 25 0 1 0 306785622 202498048 49262 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15248/statm: 49438 49262 77 171 0 49265 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 203108
[startup+282.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 15248
/proc/meminfo: memFree=1461168/2055920 swapFree=4180332/4192956
[pid=15242] ppid=15240 vsize=5356 CPUtime=0.34
/proc/15242/stat : 15242 (SatELiteGTI) S 15240 15242 14597 0 -1 4194304 336 2599 0 0 0 0 33 1 16 0 1 0 306785585 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15242/statm: 1339 239 197 169 0 50 0
[pid=15248] ppid=15242 vsize=236228 CPUtime=281.84
/proc/15248/stat : 15248 (minisat_static) R 15242 15242 14597 0 -1 4194304 58844 0 0 0 28120 64 0 0 25 0 1 0 306785622 241897472 58830 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/15248/statm: 59057 58830 77 171 0 58884 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 241584
[startup+342.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 15248
/proc/meminfo: memFree=1423152/2055920 swapFree=4180332/4192956
[pid=15242] ppid=15240 vsize=5356 CPUtime=0.34
/proc/15242/stat : 15242 (SatELiteGTI) S 15240 15242 14597 0 -1 4194304 336 2599 0 0 0 0 33 1 16 0 1 0 306785585 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15242/statm: 1339 239 197 169 0 50 0
[pid=15248] ppid=15242 vsize=273608 CPUtime=341.82
/proc/15248/stat : 15248 (minisat_static) R 15242 15242 14597 0 -1 4194304 68219 0 0 0 34108 74 0 0 25 0 1 0 306785622 280174592 68205 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15248/statm: 68402 68205 77 171 0 68229 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 278964
[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 15248
/proc/meminfo: memFree=1390128/2055920 swapFree=4180332/4192956
[pid=15242] ppid=15240 vsize=5356 CPUtime=0.34
/proc/15242/stat : 15242 (SatELiteGTI) S 15240 15242 14597 0 -1 4194304 336 2599 0 0 0 0 33 1 16 0 1 0 306785585 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15242/statm: 1339 239 197 169 0 50 0
[pid=15248] ppid=15242 vsize=306792 CPUtime=401.8
/proc/15248/stat : 15248 (minisat_static) R 15242 15242 14597 0 -1 4194304 76525 0 0 0 40095 85 0 0 25 0 1 0 306785622 314155008 76511 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/15248/statm: 76698 76511 77 171 0 76525 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 312148
[startup+462.301 s]
################
# More data... #
################
/proc/15248/statm: 99075 98826 77 171 0 98902 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 401656
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15248
/proc/meminfo: memFree=1269232/2055920 swapFree=4180332/4192956
[pid=15242] ppid=15240 vsize=5356 CPUtime=0.34
/proc/15242/stat : 15242 (SatELiteGTI) S 15240 15242 14597 0 -1 4194304 336 2599 0 0 0 0 33 1 16 0 1 0 306785585 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15242/statm: 1339 239 197 169 0 50 0
[pid=15248] ppid=15242 vsize=426708 CPUtime=641.73
/proc/15248/stat : 15248 (minisat_static) R 15242 15242 14597 0 -1 4194304 106445 0 0 0 64055 118 0 0 25 0 1 0 306785622 436948992 106431 1992294400 134512640 135215339 4294956240 18446744073709551615 134721303 0 0 4096 3 0 0 0 17 1 0 0
/proc/15248/statm: 106677 106431 77 171 0 106504 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 432064
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15248
/proc/meminfo: memFree=1242864/2055920 swapFree=4180332/4192956
[pid=15242] ppid=15240 vsize=5356 CPUtime=0.34
/proc/15242/stat : 15242 (SatELiteGTI) S 15240 15242 14597 0 -1 4194304 336 2599 0 0 0 0 33 1 16 0 1 0 306785585 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15242/statm: 1339 239 197 169 0 50 0
[pid=15248] ppid=15242 vsize=453024 CPUtime=701.7
/proc/15248/stat : 15248 (minisat_static) R 15242 15242 14597 0 -1 4194304 113057 0 0 0 70045 125 0 0 25 0 1 0 306785622 463896576 113043 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15248/statm: 113256 113043 77 171 0 113083 0
Current children cumulated CPU time (s) 702.04
Current children cumulated vsize (KiB) 458380
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15248
/proc/meminfo: memFree=1214384/2055920 swapFree=4180332/4192956
[pid=15242] ppid=15240 vsize=5356 CPUtime=0.34
/proc/15242/stat : 15242 (SatELiteGTI) S 15240 15242 14597 0 -1 4194304 336 2599 0 0 0 0 33 1 16 0 1 0 306785585 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15242/statm: 1339 239 197 169 0 50 0
[pid=15248] ppid=15242 vsize=481016 CPUtime=761.69
/proc/15248/stat : 15248 (minisat_static) R 15242 15242 14597 0 -1 4194304 120075 0 0 0 76035 134 0 0 25 0 1 0 306785622 492560384 120061 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15248/statm: 120254 120061 77 171 0 120081 0
Current children cumulated CPU time (s) 762.03
Current children cumulated vsize (KiB) 486372
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15248
/proc/meminfo: memFree=1190576/2055920 swapFree=4180332/4192956
[pid=15242] ppid=15240 vsize=5356 CPUtime=0.34
/proc/15242/stat : 15242 (SatELiteGTI) S 15240 15242 14597 0 -1 4194304 336 2599 0 0 0 0 33 1 16 0 1 0 306785585 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15242/statm: 1339 239 197 169 0 50 0
[pid=15248] ppid=15242 vsize=504788 CPUtime=821.66
/proc/15248/stat : 15248 (minisat_static) R 15242 15242 14597 0 -1 4194304 126042 0 0 0 82024 142 0 0 25 0 1 0 306785622 516902912 126028 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/15248/statm: 126197 126028 77 171 0 126024 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 510144
[startup+882.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15254
/proc/meminfo: memFree=1163312/2055920 swapFree=4180332/4192956
[pid=15242] ppid=15240 vsize=5356 CPUtime=0.34
/proc/15242/stat : 15242 (SatELiteGTI) S 15240 15242 14597 0 -1 4194304 336 2599 0 0 0 0 33 1 16 0 1 0 306785585 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15242/statm: 1339 239 197 169 0 50 0
[pid=15248] ppid=15242 vsize=532532 CPUtime=881.64
/proc/15248/stat : 15248 (minisat_static) R 15242 15242 14597 0 -1 4194304 132785 0 0 0 88015 149 0 0 25 0 1 0 306785622 545312768 132771 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/15248/statm: 133133 132771 77 171 0 132960 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 537888
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15254
/proc/meminfo: memFree=1141936/2055920 swapFree=4180332/4192956
[pid=15242] ppid=15240 vsize=5356 CPUtime=0.34
/proc/15242/stat : 15242 (SatELiteGTI) S 15240 15242 14597 0 -1 4194304 336 2599 0 0 0 0 33 1 16 0 1 0 306785585 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15242/statm: 1339 239 197 169 0 50 0
[pid=15248] ppid=15242 vsize=554072 CPUtime=941.62
/proc/15248/stat : 15248 (minisat_static) R 15242 15242 14597 0 -1 4194304 138163 0 0 0 94007 155 0 0 25 0 1 0 306785622 567369728 138149 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15248/statm: 138518 138149 77 171 0 138345 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 559428
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15254
/proc/meminfo: memFree=1119088/2055920 swapFree=4180332/4192956
[pid=15242] ppid=15240 vsize=5356 CPUtime=0.34
/proc/15242/stat : 15242 (SatELiteGTI) S 15240 15242 14597 0 -1 4194304 336 2599 0 0 0 0 33 1 16 0 1 0 306785585 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15242/statm: 1339 239 197 169 0 50 0
[pid=15248] ppid=15242 vsize=576404 CPUtime=1001.6
/proc/15248/stat : 15248 (minisat_static) R 15242 15242 14597 0 -1 4194304 143788 0 0 0 99999 161 0 0 25 0 1 0 306785622 590237696 143774 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15248/statm: 144101 143774 77 171 0 143928 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 581760
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15254
/proc/meminfo: memFree=1092272/2055920 swapFree=4180332/4192956
[pid=15242] ppid=15240 vsize=5356 CPUtime=0.34
/proc/15242/stat : 15242 (SatELiteGTI) S 15240 15242 14597 0 -1 4194304 336 2599 0 0 0 0 33 1 16 0 1 0 306785585 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15242/statm: 1339 239 197 169 0 50 0
[pid=15248] ppid=15242 vsize=603492 CPUtime=1061.58
/proc/15248/stat : 15248 (minisat_static) R 15242 15242 14597 0 -1 4194304 150567 0 0 0 105990 168 0 0 25 0 1 0 306785622 617975808 150553 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15248/statm: 150873 150553 77 171 0 150700 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 608848
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15254
/proc/meminfo: memFree=1072368/2055920 swapFree=4180332/4192956
[pid=15242] ppid=15240 vsize=5356 CPUtime=0.34
/proc/15242/stat : 15242 (SatELiteGTI) S 15240 15242 14597 0 -1 4194304 336 2599 0 0 0 0 33 1 16 0 1 0 306785585 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15242/statm: 1339 239 197 169 0 50 0
[pid=15248] ppid=15242 vsize=622780 CPUtime=1121.56
/proc/15248/stat : 15248 (minisat_static) R 15242 15242 14597 0 -1 4194304 155417 0 0 0 111982 174 0 0 25 0 1 0 306785622 637726720 155403 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15248/statm: 155695 155403 77 171 0 155522 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 628136
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15254
/proc/meminfo: memFree=1049456/2055920 swapFree=4180332/4192956
[pid=15242] ppid=15240 vsize=5356 CPUtime=0.34
/proc/15242/stat : 15242 (SatELiteGTI) S 15240 15242 14597 0 -1 4194304 336 2599 0 0 0 0 33 1 16 0 1 0 306785585 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15242/statm: 1339 239 197 169 0 50 0
[pid=15248] ppid=15242 vsize=645760 CPUtime=1181.54
/proc/15248/stat : 15248 (minisat_static) R 15242 15242 14597 0 -1 4194304 161162 0 0 0 117975 179 0 0 25 0 1 0 306785622 661258240 161148 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/15248/statm: 161440 161148 77 171 0 161267 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 651116
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15254
/proc/meminfo: memFree=1041776/2055920 swapFree=4180332/4192956
[pid=15242] ppid=15240 vsize=5356 CPUtime=0.34
/proc/15242/stat : 15242 (SatELiteGTI) S 15240 15242 14597 0 -1 4194304 336 2599 0 0 0 0 33 1 16 0 1 0 306785585 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15242/statm: 1339 239 197 169 0 50 0
[pid=15248] ppid=15242 vsize=653032 CPUtime=1199.74
/proc/15248/stat : 15248 (minisat_static) R 15242 15242 14597 0 -1 4194304 162993 0 0 0 119793 181 0 0 25 0 1 0 306785622 668704768 162979 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/15248/statm: 163258 162979 77 171 0 163085 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 658388
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15254
/proc/meminfo: memFree=1041776/2055920 swapFree=4180332/4192956
[pid=15242] ppid=15240 vsize=5356 CPUtime=0.34
/proc/15242/stat : 15242 (SatELiteGTI) S 15240 15242 14597 0 -1 4194304 336 2599 0 0 0 0 33 1 16 0 1 0 306785585 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15242/statm: 1339 239 197 169 0 50 0
[pid=15248] ppid=15242 vsize=653032 CPUtime=1199.74
/proc/15248/stat : 15248 (minisat_static) R 15242 15242 14597 0 -1 4194304 162993 0 0 0 119793 181 0 0 25 0 1 0 306785622 668704768 162979 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/15248/statm: 163258 162979 77 171 0 163085 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 658388
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15242 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=338948
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=23996
# CPU time returned by wait4() is 0.362944
# while last known CPU time is 1200.08
#
# 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.08
CPU user time (s): 1198.26
CPU system time (s): 1.82
CPU usage (%): 99.964
Max. virtual memory (cumulated for all children) (KiB): 658388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.338948
system time used= 0.023996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2935
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 7
runsolver used 1.43478 second user time and 2.98255 second system time
The end
Begin job on node57 at 2009-05-20 04:46:23
IDJOB=1832785
IDBENCH=70356
IDSOLVER=671
FILE ID=node57/1832785-1242787583
PBS_JOBID= 9322378
Free space on /tmp= 66032 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/18000/unif-k3-r4.2-v18000-c75600-S1141213963-005.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832785-1242787583/watcher-1832785-1242787583 -o /tmp/evaluation-result-1832785-1242787583/solver-1832785-1242787583 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832785-1242787583.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d14279a52e06a00270e4ece8a857fb4f
RANDOM SEED=275897835
node57.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.256
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.256
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: 1699224 kB
Buffers: 35348 kB
Cached: 253004 kB
SwapCached: 6972 kB
Active: 42668 kB
Inactive: 254192 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1699224 kB
SwapTotal: 4192956 kB
SwapFree: 4180332 kB
Dirty: 3032 kB
Writeback: 0 kB
Mapped: 13544 kB
Slab: 46000 kB
Committed_AS: 878824 kB
PageTables: 1392 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= 66028 MiB
End job on node57 at 2009-05-20 05:06:26