0.00/0.00 c Parsing...
0.00/0.05 c ==============================================================================
0.00/0.05 c | | ORIGINAL | LEARNT | |
0.00/0.05 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.05 c ==============================================================================
0.00/0.05 c | 0 | 50400 151200 | 15119 0 0 nan | 0.000 % |
0.00/0.16 c | 0 | 50083 151979 | -- 0 -- -- | -- | -317/779
0.00/0.16 c ==============================================================================
0.00/0.16 c Result : #vars: 11711 #clauses: 50083 #literals: 151979
0.00/0.16 c CPU time: 0.159975 s
0.00/0.16 c ==============================================================================
0.00/0.22 c This is MiniSat 2.0 beta
0.00/0.22 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.22 c ============================[ Problem Statistics ]=============================
0.00/0.22 c | |
0.00/0.22 c | Number of variables: 11711 |
0.00/0.22 c | Number of clauses: 50083 |
0.00/0.25 c | Parsing time: 0.04 s |
0.00/0.26 c ============================[ Search Statistics ]==============================
0.00/0.26 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.26 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.26 c ===============================================================================
0.00/0.26 c | 0 | 11711 50083 151979 | 16694 0 nan | 0.000 % |
0.21/0.30 c | 102 | 11711 50083 151979 | 16694 102 165 | 0.000 % |
0.21/0.34 c | 202 | 11711 50083 151979 | 16694 202 154 | 0.000 % |
0.21/0.37 c | 302 | 11711 50083 151979 | 16694 302 156 | 0.000 % |
0.21/0.42 c | 412 | 11711 50083 151979 | 16694 412 170 | 0.000 % |
0.21/0.45 c | 513 | 11711 50083 151979 | 16694 513 169 | 0.000 % |
0.21/0.50 c | 623 | 11711 50083 151979 | 16694 623 167 | 0.000 % |
0.21/0.54 c | 746 | 11711 50083 151979 | 16694 746 165 | 0.000 % |
0.21/0.58 c | 847 | 11711 50083 151979 | 16694 847 162 | 0.000 % |
0.21/0.62 c | 957 | 11711 50083 151979 | 16694 957 159 | 0.000 % |
0.21/0.67 c | 1080 | 11711 50083 151979 | 16694 1080 161 | 0.000 % |
0.21/0.72 c | 1213 | 11711 50083 151979 | 16694 1213 157 | 0.000 % |
0.21/0.76 c | 1315 | 11711 50083 151979 | 16694 1315 157 | 0.000 % |
0.21/0.80 c | 1426 | 11711 50083 151979 | 16694 1426 157 | 0.000 % |
0.21/0.85 c | 1547 | 11711 50083 151979 | 16694 1547 157 | 0.000 % |
0.21/0.89 c | 1680 | 11711 50083 151979 | 16694 1680 158 | 0.000 % |
0.21/0.95 c | 1826 | 11711 50083 151979 | 16694 1826 158 | 0.000 % |
0.21/0.98 c | 1926 | 11711 50083 151979 | 16694 1926 156 | 0.000 % |
0.98/1.03 c | 2037 | 11711 50083 151979 | 16694 2037 158 | 0.000 % |
0.98/1.08 c | 2159 | 11711 50083 151979 | 16694 2159 158 | 0.000 % |
1.08/1.13 c | 2292 | 11711 50083 151979 | 16694 2292 157 | 0.000 % |
1.08/1.19 c | 2438 | 11711 50083 151979 | 16694 2438 160 | 0.000 % |
1.18/1.26 c | 2599 | 11711 50083 151979 | 16694 2599 159 | 0.000 % |
1.18/1.30 c | 2699 | 11711 50083 151979 | 16694 2699 158 | 0.000 % |
1.28/1.34 c | 2809 | 11711 50083 151979 | 16694 2809 158 | 0.000 % |
1.28/1.39 c | 2933 | 11711 50083 151979 | 16694 2933 158 | 0.000 % |
1.38/1.44 c | 3067 | 11711 50083 151979 | 16694 3067 159 | 0.000 % |
1.48/1.50 c | 3214 | 11711 50083 151979 | 16694 3214 158 | 0.000 % |
1.48/1.56 c | 3374 | 11711 50083 151979 | 16694 3374 158 | 0.000 % |
1.58/1.63 c | 3550 | 11711 50083 151979 | 16694 3550 159 | 0.000 % |
1.58/1.67 c | 3651 | 11711 50083 151979 | 16694 3651 158 | 0.000 % |
1.68/1.72 c | 3762 | 11711 50083 151979 | 16694 3762 159 | 0.000 % |
1.68/1.77 c | 3883 | 11711 50083 151979 | 16694 3883 159 | 0.000 % |
1.78/1.82 c | 4016 | 11711 50083 151979 | 16694 4016 160 | 0.000 % |
1.78/1.87 c | 4162 | 11711 50083 151979 | 16694 4162 160 | 0.000 % |
1.87/1.95 c | 4322 | 11711 50083 151979 | 16694 4322 160 | 0.000 % |
1.97/2.02 c | 4498 | 11711 50083 151979 | 16694 4498 161 | 0.000 % |
2.08/2.11 c | 4692 | 11711 50083 151979 | 16694 4692 162 | 0.000 % |
2.08/2.15 c | 4793 | 11711 50083 151979 | 16694 4793 161 | 0.000 % |
2.08/2.19 c | 4903 | 11711 50083 151979 | 16694 4903 160 | 0.000 % |
2.18/2.25 c | 5024 | 11711 50083 151979 | 16694 5024 160 | 0.000 % |
2.27/2.30 c | 5157 | 11711 50083 151979 | 16694 5157 161 | 0.000 % |
2.27/2.36 c | 5305 | 11711 50083 151979 | 16694 5305 160 | 0.000 % |
2.37/2.43 c | 5465 | 11711 50083 151979 | 16694 5465 161 | 0.000 % |
2.47/2.50 c | 5644 | 11711 50083 151979 | 16694 5644 160 | 0.000 % |
2.47/2.58 c | 5837 | 11711 50083 151979 | 16694 5837 161 | 0.000 % |
2.57/2.67 c | 6050 | 11711 50083 151979 | 16694 6050 162 | 0.000 % |
2.67/2.72 c | 6150 | 11711 50083 151979 | 16694 6150 162 | 0.000 % |
2.67/2.76 c | 6260 | 11711 50083 151979 | 16694 6260 161 | 0.000 % |
2.77/2.81 c | 6381 | 11711 50083 151979 | 16694 6381 162 | 0.000 % |
2.77/2.87 c | 6514 | 11711 50083 151979 | 16694 6514 162 | 0.000 % |
2.87/2.94 c | 6661 | 11711 50083 151979 | 16694 6661 162 | 0.000 % |
2.98/3.01 c | 6821 | 11711 50083 151979 | 16694 6821 162 | 0.000 % |
2.98/3.08 c | 6998 | 11711 50083 151979 | 16694 6998 162 | 0.000 % |
3.08/3.16 c | 7194 | 11711 50083 151979 | 16694 7194 162 | 0.000 % |
3.18/3.26 c | 7407 | 11711 50083 151979 | 16694 7407 163 | 0.000 % |
3.28/3.37 c | 7641 | 11711 50083 151979 | 16694 7641 163 | 0.000 % |
3.37/3.41 c | 7743 | 11711 50083 151979 | 16694 7743 163 | 0.000 % |
3.37/3.46 c | 7853 | 11711 50083 151979 | 16694 7853 164 | 0.000 % |
3.47/3.51 c | 7976 | 11711 50083 151979 | 16694 7976 163 | 0.000 % |
3.47/3.57 c | 8110 | 11711 50083 151979 | 16694 8110 164 | 0.000 % |
3.57/3.64 c | 8257 | 11711 50083 151979 | 16694 8257 164 | 0.000 % |
3.67/3.72 c | 8418 | 11711 50083 151979 | 16694 8418 164 | 0.000 % |
3.77/3.80 c | 8594 | 11711 50083 151979 | 16694 8594 165 | 0.000 % |
3.77/3.88 c | 8788 | 11711 50083 151979 | 16694 8788 165 | 0.000 % |
3.87/3.98 c | 9000 | 11711 50083 151979 | 16694 9000 167 | 0.000 % |
3.97/4.08 c | 9233 | 11711 50083 151979 | 16694 9233 166 | 0.000 % |
4.07/4.20 c | 9490 | 11711 50083 151979 | 16694 9490 167 | 0.000 % |
4.17/4.24 c | 9593 | 11711 50083 151979 | 16694 9593 167 | 0.000 % |
4.17/4.29 c | 9703 | 11711 50083 151979 | 16694 9703 167 | 0.000 % |
4.27/4.35 c | 9824 | 11711 50083 151979 | 16694 9824 167 | 0.000 % |
4.38/4.41 c | 9958 | 11711 50083 151979 | 16694 9958 166 | 0.000 % |
4.38/4.48 c | 10105 | 11711 50083 151979 | 2147483647 10105 167 | 0.000 % |
4.48/4.56 c | 10268 | 11711 50083 151979 | 2147483647 10268 167 | 0.000 % |
4.58/4.64 c | 10444 | 11711 50083 151979 | 2147483647 10444 167 | 0.000 % |
4.68/4.73 c | 10637 | 11711 50083 151979 | 2147483647 10637 167 | 0.000 % |
4.78/4.82 c | 10850 | 11711 50083 151979 | 2147483647 10850 166 | 0.000 % |
4.87/4.93 c | 11083 | 11711 50083 151979 | 2147483647 11083 167 | 0.000 % |
4.97/5.04 c | 11341 | 11711 50083 151979 | 2147483647 11341 168 | 0.000 % |
5.07/5.17 c | 11623 | 11711 50083 151979 | 2147483647 11623 170 | 0.000 % |
5.17/5.22 c | 11725 | 11711 50083 151979 | 2147483647 11725 170 | 0.000 % |
5.17/5.28 c | 11835 | 11711 50083 151979 | 2147483647 11835 169 | 0.000 % |
5.27/5.34 c | 11957 | 11711 50083 151979 | 2147483647 11957 169 | 0.000 % |
5.38/5.40 c | 12090 | 11711 50083 151979 | 2147483647 12090 169 | 0.000 % |
5.38/5.48 c | 12236 | 11711 50083 151979 | 2147483647 12236 169 | 0.000 % |
5.47/5.56 c | 12397 | 11711 50083 151979 | 2147483647 12397 169 | 0.000 % |
5.57/5.64 c | 12574 | 11711 50083 151979 | 2147483647 12574 169 | 0.000 % |
5.67/5.74 c | 12768 | 11711 50083 151979 | 2147483647 12768 169 | 0.000 % |
5.77/5.83 c | 12980 | 11711 50083 151979 | 2147483647 12980 170 | 0.000 % |
5.87/5.95 c | 13213 | 11711 50083 151979 | 2147483647 13213 171 | 0.000 % |
5.97/6.07 c | 13469 | 11711 50083 151979 | 2147483647 13469 171 | 0.000 % |
6.17/6.20 c | 13753 | 11711 50083 151979 | 2147483647 13753 172 | 0.000 % |
6.28/6.35 c | 14065 | 11711 50083 151979 | 2147483647 14065 172 | 0.000 % |
6.38/6.40 c | 14166 | 11711 50083 151979 | 2147483647 14166 172 | 0.000 % |
6.38/6.47 c | 14276 | 11711 50083 151979 | 2147483647 14276 172 | 0.000 % |
6.48/6.52 c | 14399 | 11711 50083 151979 | 2147483647 14399 172 | 0.000 % |
6.48/6.59 c | 14535 | 11711 50083 151979 | 2147483647 14535 172 | 0.000 % |
6.58/6.67 c | 14682 | 11711 50083 151979 | 2147483647 14682 172 | 0.000 % |
6.67/6.75 c | 14843 | 11711 50083 151979 | 2147483647 14843 171 | 0.000 % |
6.77/6.84 c | 15021 | 11711 50083 151979 | 2147483647 15021 172 | 0.000 % |
6.87/6.94 c | 15217 | 11711 50083 151979 | 2147483647 15217 172 | 0.000 % |
6.97/7.05 c | 15431 | 11711 50083 151979 | 2147483647 15431 172 | 0.000 % |
7.07/7.16 c | 15664 | 11711 50083 151979 | 2147483647 15664 172 | 0.000 % |
7.17/7.29 c | 15924 | 11711 50083 151979 | 2147483647 15924 172 | 0.000 % |
7.37/7.42 c | 16206 | 11711 50083 151979 | 2147483647 16206 172 | 0.000 % |
7.47/7.57 c | 16517 | 11711 50083 151979 | 2147483647 16517 172 | 0.000 % |
7.67/7.73 c | 16856 | 11711 50083 151979 | 2147483647 16856 172 | 0.000 % |
7.67/7.79 c | 16956 | 11711 50083 151979 | 2147483647 16956 172 | 0.000 % |
7.76/7.84 c | 17068 | 11711 50083 151979 | 2147483647 17068 172 | 0.000 % |
7.86/7.91 c | 17189 | 11711 50083 151979 | 2147483647 17189 172 | 0.000 % |
7.86/7.97 c | 17323 | 11711 50083 151979 | 2147483647 17323 173 | 0.000 % |
7.96/8.05 c | 17471 | 11711 50083 151979 | 2147483647 17471 172 | 0.000 % |
8.06/8.14 c | 17631 | 11711 50083 151979 | 2147483647 17631 173 | 0.000 % |
8.17/8.23 c | 17807 | 11711 50083 151979 | 2147483647 17807 173 | 0.000 % |
8.26/8.34 c | 18002 | 11711 50083 151979 | 2147483647 18002 173 | 0.000 % |
8.36/8.45 c | 18216 | 11711 50083 151979 | 2147483647 18216 173 | 0.000 % |
8.46/8.57 c | 18450 | 11711 50083 151979 | 2147483647 18450 172 | 0.000 % |
8.56/8.70 c | 18707 | 11711 50083 151979 | 2147483647 18707 172 | 0.000 % |
8.77/8.85 c | 18988 | 11711 50083 151979 | 2147483647 18988 172 | 0.000 % |
8.97/9.00 c | 19297 | 11711 50083 151979 | 2147483647 19297 172 | 0.000 % |
9.07/9.17 c | 19636 | 11711 50083 151979 | 2147483647 19636 172 | 0.000 % |
9.27/9.36 c | 20008 | 11711 50083 151979 | 2147483647 20008 172 | 0.000 % |
9.37/9.42 c | 20108 | 11711 50083 151979 | 2147483647 20108 172 | 0.000 % |
9.37/9.48 c | 20219 | 11711 50083 151979 | 2147483647 20219 172 | 0.000 % |
9.47/9.55 c | 20340 | 11711 50083 151979 | 2147483647 20340 172 | 0.000 % |
9.57/9.63 c | 20479 | 11711 50083 151979 | 2147483647 20479 172 | 0.000 % |
9.67/9.71 c | 20626 | 11711 50083 151979 | 2147483647 20626 172 | 0.000 % |
9.77/9.80 c | 20789 | 11711 50083 151979 | 2147483647 20789 172 | 0.000 % |
9.77/9.90 c | 20966 | 11711 50083 151979 | 2147483647 20966 172 | 0.000 % |
9.97/10.01 c | 21159 | 11711 50083 151979 | 2147483647 21159 172 | 0.000 % |
10.07/10.13 c | 21371 | 11711 50083 151979 | 2147483647 21371 172 | 0.000 % |
10.16/10.25 c | 21605 | 11711 50083 151979 | 2147483647 21605 172 | 0.000 % |
10.26/10.38 c | 21865 | 11711 50083 151979 | 2147483647 21865 173 | 0.000 % |
10.46/10.53 c | 22147 | 11711 50083 151979 | 2147483647 22147 173 | 0.000 % |
10.56/10.69 c | 22456 | 11711 50083 151979 | 2147483647 22456 173 | 0.000 % |
10.76/10.88 c | 22795 | 11711 50083 151979 | 2147483647 22795 173 | 0.000 % |
10.96/11.07 c | 23169 | 11711 50083 151979 | 2147483647 23169 173 | 0.000 % |
11.17/11.29 c | 23579 | 11711 50083 151979 | 2147483647 23579 173 | 0.000 % |
11.27/11.36 c | 23679 | 11711 50083 151979 | 2147483647 23679 173 | 0.000 % |
11.37/11.42 c | 23790 | 11711 50083 151979 | 2147483647 23790 173 | 0.000 % |
11.37/11.50 c | 23912 | 11711 50083 151979 | 2147483647 23912 173 | 0.000 % |
11.47/11.57 c | 24047 | 11711 50083 151979 | 2147483647 24047 173 | 0.000 % |
11.57/11.66 c | 24193 | 11711 50083 151979 | 2147483647 24193 173 | 0.000 % |
11.67/11.75 c | 24354 | 11711 50083 151979 | 2147483647 24354 173 | 0.000 % |
11.77/11.85 c | 24530 | 11711 50083 151979 | 2147483647 24530 173 | 0.000 % |
11.86/11.95 c | 24723 | 11711 50083 151979 | 2147483647 24723 173 | 0.000 % |
11.97/12.07 c | 24936 | 11711 50083 151979 | 2147483647 24936 173 | 0.000 % |
12.16/12.20 c | 25169 | 11711 50083 151979 | 2147483647 25169 173 | 0.000 % |
12.26/12.34 c | 25425 | 11711 50083 151979 | 2147483647 25425 173 | 0.000 % |
12.36/12.48 c | 25706 | 11711 50083 151979 | 2147483647 25706 173 | 0.000 % |
12.56/12.65 c | 26016 | 11711 50083 151979 | 2147483647 26016 173 | 0.000 % |
12.76/12.83 c | 26357 | 11711 50083 151979 | 2147483647 26357 174 | 0.000 % |
12.96/13.05 c | 26729 | 11711 50083 151979 | 2147483647 26729 174 | 0.000 % |
13.16/13.27 c | 27143 | 11711 50083 151979 | 2147483647 27143 175 | 0.000 % |
13.46/13.54 c | 27594 | 11711 50083 151979 | 2147483647 27594 176 | 0.000 % |
13.56/13.61 c | 27694 | 11711 50083 151979 | 2147483647 27694 176 | 0.000 % |
13.56/13.67 c | 27805 | 11711 50083 151979 | 2147483647 27805 176 | 0.000 % |
13.66/13.75 c | 27929 | 11711 50083 151979 | 2147483647 27929 176 | 0.000 % |
13.76/13.82 c | 28063 | 11711 50083 151979 | 2147483647 28063 176 | 0.000 % |
13.86/13.92 c | 28209 | 11711 50083 151979 | 2147483647 28209 176 | 0.000 % |
13.96/14.01 c | 28369 | 11711 50083 151979 | 2147483647 28369 176 | 0.000 % |
14.06/14.11 c | 28548 | 11711 50083 151979 | 2147483647 28548 176 | 0.000 % |
14.17/14.23 c | 28743 | 11711 50083 151979 | 2147483647 28743 176 | 0.000 % |
14.27/14.35 c | 28955 | 11711 50083 151979 | 2147483647 28955 176 | 0.000 % |
14.36/14.50 c | 29188 | 11711 50083 151979 | 2147483647 29188 176 | 0.000 % |
14.56/14.63 c | 29445 | 11711 50083 151979 | 2147483647 29445 176 | 0.000 % |
14.76/14.80 c | 29726 | 11711 50083 151979 | 2147483647 29726 176 | 0.000 % |
14.86/14.97 c | 30035 | 11711 50083 151979 | 2147483647 30035 177 | 0.000 % |
15.06/15.16 c | 30375 | 11711 50083 151979 | 2147483647 30375 177 | 0.000 % |
15.26/15.36 c | 30747 | 11711 50083 151979 | 2147483647 30747 177 | 0.000 % |
15.56/15.61 c | 31159 | 11711 50083 151979 | 2147483647 31159 177 | 0.000 % |
15.75/15.88 c | 31608 | 11711 50083 151979 | 2147483647 31608 178 | 0.000 % |
16.05/16.16 c | 32101 | 11711 50083 151979 | 2147483647 32101 178 | 0.000 % |
16.15/16.22 c | 32201 | 11711 50083 151979 | 2147483647 32201 178 | 0.000 % |
16.15/16.29 c | 32312 | 11711 50083 151979 | 2147483647 32312 178 | 0.000 % |
16.25/16.38 c | 32434 | 11711 50083 151979 | 2147483647 32434 178 | 0.000 % |
16.36/16.47 c | 32567 | 11711 50083 151979 | 2147483647 32567 178 | 0.000 % |
16.46/16.56 c | 32714 | 11711 50083 151979 | 2147483647 32714 178 | 0.000 % |
16.56/16.67 c | 32874 | 11711 50083 151979 | 2147483647 32874 178 | 0.000 % |
16.66/16.78 c | 33052 | 11711 50083 151979 | 2147483647 33052 178 | 0.000 % |
16.76/16.90 c | 33246 | 11711 50083 151979 | 2147483647 33246 177 | 0.000 % |
16.96/17.02 c | 33458 | 11711 50083 151979 | 2147483647 33458 177 | 0.000 % |
17.06/17.16 c | 33691 | 11711 50083 151979 | 2147483647 33691 178 | 0.000 % |
17.26/17.32 c | 33949 | 11711 50083 151979 | 2147483647 33949 178 | 0.000 % |
17.36/17.48 c | 34230 | 11711 50083 151979 | 2147483647 34230 178 | 0.000 % |
17.57/17.67 c | 34540 | 11711 50083 151979 | 2147483647 34540 178 | 0.000 % |
17.76/17.88 c | 34881 | 11711 50083 151979 | 2147483647 34881 178 | 0.000 % |
17.96/18.09 c | 35257 | 11711 50083 151979 | 2147483647 35257 178 | 0.000 % |
18.26/18.33 c | 35667 | 11711 50083 151979 | 2147483647 35667 178 | 0.000 % |
18.56/18.62 c | 36116 | 11711 50083 151979 | 2147483647 36116 178 | 0.000 % |
18.86/18.95 c | 36610 | 11711 50083 151979 | 2147483647 36610 178 | 0.000 % |
19.16/19.29 c | 37153 | 11711 50083 151979 | 2147483647 37153 179 | 0.000 % |
19.26/19.35 c | 37254 | 11711 50083 151979 | 2147483647 37254 179 | 0.000 % |
19.36/19.42 c | 37366 | 11711 50083 151979 | 2147483647 37366 179 | 0.000 % |
19.36/19.50 c | 37489 | 11711 50083 151979 | 2147483647 37489 179 | 0.000 % |
19.46/19.59 c | 37622 | 11711 50083 151979 | 2147483647 37622 179 | 0.000 % |
19.56/19.69 c | 37768 | 11711 50083 151979 | 2147483647 37768 179 | 0.000 % |
19.66/19.80 c | 37933 | 11711 50083 151979 | 2147483647 37933 179 | 0.000 % |
19.86/19.91 c | 38111 | 11711 50083 151979 | 2147483647 38111 179 | 0.000 % |
19.95/20.03 c | 38305 | 11711 50083 151979 | 2147483647 38305 179 | 0.000 % |
20.05/20.15 c | 38520 | 11711 50083 151979 | 2147483647 38520 179 | 0.000 % |
20.25/20.32 c | 38753 | 11711 50083 151979 | 2147483647 38753 179 | 0.000 % |
20.35/20.47 c | 39009 | 11711 50083 151979 | 2147483647 39009 179 | 0.000 % |
20.55/20.67 c | 39290 | 11711 50083 151979 | 2147483647 39290 179 | 0.000 % |
20.76/20.88 c | 39599 | 11711 50083 151979 | 2147483647 39599 179 | 0.000 % |
21.06/21.11 c | 39939 | 11711 50083 151979 | 2147483647 39939 179 | 0.000 % |
21.26/21.35 c | 40311 | 11711 50083 151979 | 2147483647 40311 179 | 0.000 % |
21.56/21.62 c | 40725 | 11711 50083 151979 | 2147483647 40725 180 | 0.000 % |
21.86/21.92 c | 41174 | 11711 50083 151979 | 2147483647 41174 180 | 0.000 % |
22.16/22.24 c | 41667 | 11711 50083 151979 | 2147483647 41667 180 | 0.000 % |
22.45/22.59 c | 42209 | 11711 50083 151979 | 2147483647 42209 180 | 0.000 % |
22.85/22.98 c | 42805 | 11711 50083 151979 | 2147483647 42805 180 | 0.000 % |
22.96/23.06 c | 42905 | 11711 50083 151979 | 2147483647 42905 180 | 0.000 % |
23.06/23.14 c | 43016 | 11711 50083 151979 | 2147483647 43016 180 | 0.000 % |
23.15/23.24 c | 43138 | 11711 50083 151979 | 2147483647 43138 180 | 0.000 % |
23.25/23.34 c | 43272 | 11711 50083 151979 | 2147483647 43272 180 | 0.000 % |
23.35/23.44 c | 43420 | 11711 50083 151979 | 2147483647 43420 180 | 0.000 % |
23.45/23.56 c | 43580 | 11711 50083 151979 | 2147483647 43580 180 | 0.000 % |
23.55/23.69 c | 43758 | 11711 50083 151979 | 2147483647 43758 180 | 0.000 % |
23.75/23.82 c | 43951 | 11711 50083 151979 | 2147483647 43951 180 | 0.000 % |
23.85/23.96 c | 44163 | 11711 50083 151979 | 2147483647 44163 180 | 0.000 % |
24.06/24.13 c | 44396 | 11711 50083 151979 | 2147483647 44396 180 | 0.000 % |
24.26/24.31 c | 44652 | 11711 50083 151979 | 2147483647 44652 180 | 0.000 % |
24.36/24.49 c | 44934 | 11711 50083 151979 | 2147483647 44934 180 | 0.000 % |
24.66/24.72 c | 45243 | 11711 50083 151979 | 2147483647 45243 180 | 0.000 % |
24.85/24.94 c | 45582 | 11711 50083 151979 | 2147483647 45582 180 | 0.000 % |
25.05/25.20 c | 45954 | 11711 50083 151979 | 2147483647 45954 180 | 0.000 % |
25.36/25.46 c | 46363 | 11711 50083 151979 | 2147483647 46363 180 | 0.000 % |
25.65/25.79 c | 46813 | 11711 50083 151979 | 2147483647 46813 180 | 0.000 % |
26.05/26.11 c | 47307 | 11711 50083 151979 | 2147483647 47307 181 | 0.000 % |
26.36/26.48 c | 47849 | 11711 50083 151979 | 2147483647 47849 181 | 0.000 % |
26.75/26.89 c | 48446 | 11711 50083 151979 | 2147483647 48446 181 | 0.000 % |
27.25/27.34 c | 49102 | 11711 50083 151979 | 2147483647 49102 180 | 0.000 % |
27.35/27.42 c | 49203 | 11711 50083 151979 | 2147483647 49203 180 | 0.000 % |
27.45/27.50 c | 49313 | 11711 50083 151979 | 2147483647 49313 180 | 0.000 % |
27.55/27.60 c | 49437 | 11711 50083 151979 | 2147483647 49437 180 | 0.000 % |
27.55/27.69 c | 49570 | 11711 50083 151979 | 2147483647 49570 180 | 0.000 % |
27.75/27.81 c | 49717 | 11711 50083 151979 | 2147483647 49717 180 | 0.000 % |
27.85/27.93 c | 49877 | 11711 50083 151979 | 2147483647 49877 180 | 0.000 % |
27.95/28.06 c | 50054 | 11711 50083 151979 | 2147483647 50054 180 | 0.000 % |
28.14/28.22 c | 50250 | 11711 50083 151979 | 2147483647 50250 180 | 0.000 % |
28.24/28.37 c | 50462 | 11711 50083 151979 | 2147483647 50462 180 | 0.000 % |
28.45/28.54 c | 50695 | 11711 50083 151979 | 2147483647 50695 180 | 0.000 % |
28.64/28.73 c | 50951 | 11711 50083 151979 | 2147483647 50951 180 | 0.000 % |
28.85/28.92 c | 51233 | 11711 50083 151979 | 2147483647 51233 180 | 0.000 % |
29.05/29.14 c | 51542 | 11711 50083 151979 | 2147483647 51542 181 | 0.000 % |
29.25/29.37 c | 51882 | 11711 50083 151979 | 2147483647 51882 181 | 0.000 % |
29.55/29.64 c | 52262 | 11711 50083 151979 | 2147483647 52262 181 | 0.000 % |
29.85/29.93 c | 52672 | 11711 50083 151979 | 2147483647 52672 181 | 0.000 % |
30.15/30.22 c | 53121 | 11711 50083 151979 | 2147483647 53121 181 | 0.000 % |
30.45/30.58 c | 53615 | 11711 50083 151979 | 2147483647 53615 181 | 0.000 % |
30.85/30.97 c | 54157 | 11711 50083 151979 | 2147483647 54157 182 | 0.000 % |
31.35/31.43 c | 54753 | 11711 50083 151979 | 2147483647 54753 182 | 0.000 % |
31.75/31.89 c | 55409 | 11711 50083 151979 | 2147483647 55409 182 | 0.000 % |
32.34/32.42 c | 56130 | 11711 50083 151979 | 2147483647 56130 182 | 0.000 % |
32.34/32.49 c | 56230 | 11711 50083 151979 | 2147483647 56230 182 | 0.000 % |
32.44/32.59 c | 56340 | 11711 50083 151979 | 2147483647 56340 182 | 0.000 % |
32.54/32.70 c | 56461 | 11711 50083 151979 | 2147483647 56461 182 | 0.000 % |
32.74/32.81 c | 56594 | 11711 50083 151979 | 2147483647 56594 182 | 0.000 % |
32.84/32.94 c | 56741 | 11711 50083 151979 | 2147483647 56741 182 | 0.000 % |
32.94/33.06 c | 56901 | 11711 50083 151979 | 2147483647 56901 182 | 0.000 % |
33.05/33.19 c | 57078 | 11711 50083 151979 | 2147483647 57078 182 | 0.000 % |
33.25/33.34 c | 57271 | 11711 50083 151979 | 2147483647 57271 182 | 0.000 % |
33.45/33.50 c | 57483 | 11711 50083 151979 | 2147483647 57483 182 | 0.000 % |
33.55/33.69 c | 57718 | 11711 50083 151979 | 2147483647 57718 182 | 0.000 % |
33.74/33.88 c | 57975 | 11711 50083 151979 | 2147483647 57975 182 | 0.000 % |
33.95/34.10 c | 58256 | 11711 50083 151979 | 2147483647 58256 182 | 0.000 % |
34.24/34.31 c | 58565 | 11711 50083 151979 | 2147483647 58565 182 | 0.000 % |
34.54/34.60 c | 58906 | 11711 50083 151979 | 2147483647 58906 182 | 0.000 % |
34.74/34.89 c | 59278 | 11711 50083 151979 | 2147483647 59278 182 | 0.000 % |
35.15/35.21 c | 59689 | 11711 50083 151979 | 2147483647 59689 182 | 0.000 % |
35.44/35.54 c | 60141 | 11711 50083 151979 | 2147483647 60141 183 | 0.000 % |
35.84/35.91 c | 60637 | 11711 50083 151979 | 2147483647 60637 183 | 0.000 % |
36.14/36.29 c | 61181 | 11711 50083 151979 | 2147483647 61181 183 | 0.000 % |
36.64/36.72 c | 61781 | 11711 50083 151979 | 2147483647 61781 183 | 0.000 % |
37.15/37.21 c | 62436 | 11711 50083 151979 | 2147483647 62436 183 | 0.000 % |
37.65/37.70 c | 63157 | 11711 50083 151979 | 2147483647 63157 184 | 0.000 % |
38.24/38.30 c | 63952 | 11711 50083 151979 | 2147483647 63952 185 | 0.000 % |
38.24/38.39 c | 64053 | 11711 50083 151979 | 2147483647 64053 184 | 0.000 % |
38.35/38.49 c | 64163 | 11711 50083 151979 | 2147483647 64163 184 | 0.000 % |
38.45/38.59 c | 64285 | 11711 50083 151979 | 2147483647 64285 184 | 0.000 % |
38.64/38.70 c | 64418 | 11711 50083 151979 | 2147483647 64418 184 | 0.000 % |
38.74/38.83 c | 64565 | 11711 50083 151979 | 2147483647 64565 184 | 0.000 % |
38.84/38.96 c | 64725 | 11711 50083 151979 | 2147483647 64725 184 | 0.000 % |
39.04/39.10 c | 64901 | 11711 50083 151979 | 2147483647 64901 184 | 0.000 % |
39.14/39.26 c | 65095 | 11711 50083 151979 | 2147483647 65095 184 | 0.000 % |
39.34/39.43 c | 65307 | 11711 50083 151979 | 2147483647 65307 184 | 0.000 % |
39.54/39.61 c | 65540 | 11711 50083 151979 | 2147483647 65540 184 | 0.000 % |
39.74/39.83 c | 65796 | 11711 50083 151979 | 2147483647 65796 184 | 0.000 % |
39.94/40.05 c | 66077 | 11711 50083 151979 | 2147483647 66077 184 | 0.000 % |
40.14/40.29 c | 66386 | 11711 50083 151979 | 2147483647 66386 184 | 0.000 % |
40.44/40.58 c | 66725 | 11711 50083 151979 | 2147483647 66725 184 | 0.000 % |
40.84/40.90 c | 67100 | 11711 50083 151979 | 2147483647 67100 184 | 0.000 % |
41.14/41.24 c | 67509 | 11711 50083 151979 | 2147483647 67509 184 | 0.000 % |
41.54/41.61 c | 67958 | 11711 50083 151979 | 2147483647 67958 185 | 0.000 % |
41.94/42.02 c | 68453 | 11711 50083 151979 | 2147483647 68453 185 | 0.000 % |
42.34/42.46 c | 68997 | 11711 50083 151979 | 2147483647 68997 185 | 0.000 % |
42.74/42.90 c | 69593 | 11711 50083 151979 | 2147483647 69593 185 | 0.000 % |
43.34/43.43 c | 70248 | 11711 50083 151979 | 2147483647 70248 185 | 0.000 % |
43.94/44.03 c | 70968 | 11711 50083 151979 | 2147483647 70968 186 | 0.000 % |
44.64/44.71 c | 71761 | 11711 50083 151979 | 2147483647 71761 186 | 0.000 % |
45.34/45.42 c | 72632 | 11711 50083 151979 | 2147483647 72632 186 | 0.000 % |
45.34/45.50 c | 72732 | 11711 50083 151979 | 2147483647 72732 186 | 0.000 % |
45.54/45.60 c | 72843 | 11711 50083 151979 | 2147483647 72843 186 | 0.000 % |
45.64/45.71 c | 72965 | 11711 50083 151979 | 2147483647 72965 186 | 0.000 % |
45.74/45.83 c | 73098 | 11711 50083 151979 | 2147483647 73098 186 | 0.000 % |
45.84/45.98 c | 73245 | 11711 50083 151979 | 2147483647 73245 186 | 0.000 % |
46.04/46.12 c | 73406 | 11711 50083 151979 | 2147483647 73406 186 | 0.000 % |
46.14/46.29 c | 73584 | 11711 50083 151979 | 2147483647 73584 186 | 0.000 % |
46.33/46.47 c | 73777 | 11711 50083 151979 | 2147483647 73777 186 | 0.000 % |
46.53/46.66 c | 73989 | 11711 50083 151979 | 2147483647 73989 186 | 0.000 % |
46.73/46.86 c | 74225 | 11711 50083 151979 | 2147483647 74225 186 | 0.000 % |
46.94/47.08 c | 74481 | 11711 50083 151979 | 2147483647 74481 186 | 0.000 % |
47.24/47.33 c | 74762 | 11711 50083 151979 | 2147483647 74762 186 | 0.000 % |
47.44/47.58 c | 75072 | 11711 50083 151979 | 2147483647 75072 186 | 0.000 % |
47.74/47.86 c | 75412 | 11711 50083 151979 | 2147483647 75412 186 | 0.000 % |
48.14/48.20 c | 75785 | 11711 50083 151979 | 2147483647 75785 186 | 0.000 % |
48.44/48.57 c | 76196 | 11711 50083 151979 | 2147483647 76196 186 | 0.000 % |
48.84/48.98 c | 76645 | 11711 50083 151979 | 2147483647 76645 186 | 0.000 % |
49.23/49.36 c | 77139 | 11711 50083 151979 | 2147483647 77139 186 | 0.000 % |
49.73/49.85 c | 77681 | 11711 50083 151979 | 2147483647 77681 186 | 0.000 % |
50.23/50.36 c | 78278 | 11711 50083 151979 | 2147483647 78278 186 | 0.000 % |
50.83/50.92 c | 78933 | 11711 50083 151979 | 2147483647 78933 186 | 0.000 % |
51.44/51.57 c | 79654 | 11711 50083 151979 | 2147483647 79654 186 | 0.000 % |
52.14/52.27 c | 80447 | 11711 50083 151979 | 2147483647 80447 186 | 0.000 % |
52.94/53.04 c | 81319 | 11711 50083 151979 | 2147483647 81319 186 | 0.000 % |
53.73/53.89 c | 82278 | 11711 50083 151979 | 2147483647 82278 186 | 0.000 % |
53.83/53.99 c | 82379 | 11711 50083 151979 | 2147483647 82379 186 | 0.000 % |
54.03/54.10 c | 82489 | 11711 50083 151979 | 2147483647 82489 186 | 0.000 % |
54.14/54.22 c | 82611 | 11711 50083 151979 | 2147483647 82611 186 | 0.000 % |
54.24/54.36 c | 82746 | 11711 50083 151979 | 2147483647 82746 186 | 0.000 % |
54.43/54.50 c | 82893 | 11711 50083 151979 | 2147483647 82893 186 | 0.000 % |
54.53/54.66 c | 83054 | 11711 50083 151979 | 2147483647 83054 186 | 0.000 % |
54.73/54.84 c | 83230 | 11711 50083 151979 | 2147483647 83230 186 | 0.000 % |
54.94/55.03 c | 83423 | 11711 50083 151979 | 2147483647 83423 186 | 0.000 % |
55.13/55.24 c | 83635 | 11711 50083 151979 | 2147483647 83635 186 | 0.000 % |
55.33/55.45 c | 83871 | 11711 50083 151979 | 2147483647 83871 186 | 0.000 % |
55.53/55.69 c | 84130 | 11711 50083 151979 | 2147483647 84130 186 | 0.000 % |
55.83/55.97 c | 84412 | 11711 50083 151979 | 2147483647 84412 186 | 0.000 % |
56.13/56.23 c | 84723 | 11711 50083 151979 | 2147483647 84723 186 | 0.000 % |
56.43/56.55 c | 85062 | 11711 50083 151979 | 2147483647 85062 186 | 0.000 % |
56.73/56.89 c | 85435 | 11711 50083 151979 | 2147483647 85435 186 | 0.000 % |
57.13/57.25 c | 85845 | 11711 50083 151979 | 2147483647 85845 186 | 0.000 % |
57.54/57.67 c | 86294 | 11711 50083 151979 | 2147483647 86294 187 | 0.000 % |
58.04/58.15 c | 86791 | 11711 50083 151979 | 2147483647 86791 187 | 0.000 % |
58.54/58.66 c | 87334 | 11711 50083 151979 | 2147483647 87334 187 | 0.000 % |
59.03/59.16 c | 87932 | 11711 50083 151979 | 2147483647 87932 187 | 0.000 % |
59.73/59.80 c | 88591 | 11711 50083 151979 | 2147483647 88591 187 | 0.000 % |
60.34/60.45 c | 89311 | 11711 50083 151979 | 2147483647 89311 188 | 0.000 % |
61.03/61.13 c | 90104 | 11711 50083 151979 | 2147483647 90104 188 | 0.000 % |
61.83/61.91 c | 90977 | 11711 50083 151979 | 2147483647 90977 188 | 0.000 % |
62.63/62.78 c | 91937 | 11711 50083 151979 | 2147483647 91937 189 | 0.000 % |
63.63/63.75 c | 92991 | 11711 50083 151979 | 2147483647 92991 189 | 0.000 % |
63.73/63.85 c | 93091 | 11711 50083 151979 | 2147483647 93091 189 | 0.000 % |
63.83/63.98 c | 93201 | 11711 50083 151979 | 2147483647 93201 189 | 0.000 % |
64.02/64.11 c | 93324 | 11711 50083 151979 | 2147483647 93324 189 | 0.000 % |
64.13/64.27 c | 93457 | 11711 50083 151979 | 2147483647 93457 189 | 0.000 % |
64.33/64.43 c | 93604 | 11711 50083 151979 | 2147483647 93604 189 | 0.000 % |
64.53/64.60 c | 93764 | 11711 50083 151979 | 2147483647 93764 189 | 0.000 % |
64.63/64.80 c | 93940 | 11711 50083 151979 | 2147483647 93940 189 | 0.000 % |
64.93/65.00 c | 94134 | 11711 50083 151979 | 2147483647 94134 189 | 0.000 % |
65.13/65.23 c | 94351 | 11711 50083 151979 | 2147483647 94351 189 | 0.000 % |
65.33/65.45 c | 94585 | 11711 50083 151979 | 2147483647 94585 189 | 0.000 % |
65.63/65.73 c | 94841 | 11711 50083 151979 | 2147483647 94841 189 | 0.000 % |
65.93/66.02 c | 95123 | 11711 50083 151979 | 2147483647 95123 189 | 0.000 % |
66.23/66.31 c | 95432 | 11711 50083 151979 | 2147483647 95432 189 | 0.000 % |
66.52/66.65 c | 95772 | 11711 50083 151979 | 2147483647 95772 189 | 0.000 % |
66.93/67.03 c | 96144 | 11711 50083 151979 | 2147483647 96144 189 | 0.000 % |
67.32/67.45 c | 96553 | 11711 50083 151979 | 2147483647 96553 188 | 0.000 % |
67.83/67.90 c | 97002 | 11711 50083 151979 | 2147483647 97002 189 | 0.000 % |
68.23/68.38 c | 97495 | 11711 50083 151979 | 2147483647 97495 189 | 0.000 % |
68.73/68.89 c | 98037 | 11711 50083 151979 | 2147483647 98037 189 | 0.000 % |
69.43/69.50 c | 98633 | 11711 50083 151979 | 2147483647 98633 189 | 0.000 % |
70.03/70.11 c | 99291 | 11711 50083 151979 | 2147483647 99291 189 | 0.000 % |
70.73/70.83 c | 100011 | 11711 50083 151979 | 2147483647 100011 189 | 0.000 % |
71.53/71.60 c | 100803 | 11711 50083 151979 | 2147483647 100803 189 | 0.000 % |
72.32/72.43 c | 101675 | 11711 50083 151979 | 2147483647 101675 190 | 0.000 % |
73.23/73.36 c | 102635 | 11711 50083 151979 | 2147483647 102635 190 | 0.000 % |
74.32/74.40 c | 103689 | 11711 50083 151979 | 2147483647 103689 190 | 0.000 % |
75.42/75.56 c | 104850 | 11711 50083 151979 | 2147483647 104850 191 | 0.000 % |
75.52/75.68 c | 104951 | 11711 50083 151979 | 2147483647 104951 191 | 0.000 % |
75.72/75.83 c | 105061 | 11711 50083 151979 | 2147483647 105061 191 | 0.000 % |
75.82/75.98 c | 105183 | 11711 50083 151979 | 2147483647 105183 191 | 0.000 % |
76.02/76.14 c | 105317 | 11711 50083 151979 | 2147483647 105317 191 | 0.000 % |
76.22/76.32 c | 105463 | 11711 50083 151979 | 2147483647 105463 191 | 0.000 % |
76.32/76.48 c | 105623 | 11711 50083 151979 | 2147483647 105623 190 | 0.000 % |
76.53/76.67 c | 105799 | 11711 50083 151979 | 2147483647 105799 190 | 0.000 % |
76.73/76.87 c | 105992 | 11711 50083 151979 | 2147483647 105992 190 | 0.000 % |
76.93/77.07 c | 106204 | 11711 50083 151979 | 2147483647 106204 191 | 0.000 % |
77.23/77.30 c | 106439 | 11711 50083 151979 | 2147483647 106439 191 | 0.000 % |
77.43/77.56 c | 106696 | 11711 50083 151979 | 2147483647 106696 191 | 0.000 % |
77.72/77.84 c | 106977 | 11711 50083 151979 | 2147483647 106977 191 | 0.000 % |
78.03/78.16 c | 107286 | 11711 50083 151979 | 2147483647 107286 191 | 0.000 % |
78.42/78.53 c | 107625 | 11711 50083 151979 | 2147483647 107625 191 | 0.000 % |
78.82/78.92 c | 107997 | 11711 50083 151979 | 2147483647 107997 191 | 0.000 % |
79.22/79.34 c | 108406 | 11711 50083 151979 | 2147483647 108406 191 | 0.000 % |
79.72/79.83 c | 108855 | 11711 50083 151979 | 2147483647 108855 191 | 0.000 % |
80.22/80.33 c | 109348 | 11711 50083 151979 | 2147483647 109348 191 | 0.000 % |
80.72/80.86 c | 109892 | 11711 50083 151979 | 2147483647 109892 191 | 0.000 % |
81.33/81.42 c | 110488 | 11711 50083 151979 | 2147483647 110488 191 | 0.000 % |
81.92/82.06 c | 111146 | 11711 50083 151979 | 2147483647 111146 191 | 0.000 % |
82.72/82.80 c | 111866 | 11711 50083 151979 | 2147483647 111866 191 | 0.000 % |
83.42/83.59 c | 112658 | 11711 50083 151979 | 2147483647 112658 191 | 0.000 % |
84.32/84.49 c | 113530 | 11711 50083 151979 | 2147483647 113530 192 | 0.000 % |
85.33/85.49 c | 114490 | 11711 50083 151979 | 2147483647 114490 192 | 0.000 % |
86.52/86.60 c | 115545 | 11711 50083 151979 | 2147483647 115545 192 | 0.000 % |
87.82/87.93 c | 116704 | 11711 50083 151979 | 2147483647 116704 192 | 0.000 % |
89.22/89.36 c | 117978 | 11711 50083 151979 | 2147483647 117978 193 | 0.000 % |
89.32/89.48 c | 118079 | 11711 50083 151979 | 2147483647 118079 193 | 0.000 % |
89.52/89.64 c | 118190 | 11711 50083 151979 | 2147483647 118190 193 | 0.000 % |
89.62/89.79 c | 118312 | 11711 50083 151979 | 2147483647 118312 193 | 0.000 % |
89.82/89.96 c | 118445 | 11711 50083 151979 | 2147483647 118445 193 | 0.000 % |
90.02/90.12 c | 118592 | 11711 50083 151979 | 2147483647 118592 193 | 0.000 % |
90.21/90.33 c | 118752 | 11711 50083 151979 | 2147483647 118752 193 | 0.000 % |
90.42/90.54 c | 118930 | 11711 50083 151979 | 2147483647 118930 193 | 0.000 % |
90.62/90.76 c | 119123 | 11711 50083 151979 | 2147483647 119123 193 | 0.000 % |
90.92/91.00 c | 119336 | 11711 50083 151979 | 2147483647 119336 193 | 0.000 % |
91.12/91.28 c | 119569 | 11711 50083 151979 | 2147483647 119569 193 | 0.000 % |
91.42/91.59 c | 119825 | 11711 50083 151979 | 2147483647 119825 192 | 0.000 % |
91.82/91.92 c | 120106 | 11711 50083 151979 | 2147483647 120106 193 | 0.000 % |
92.22/92.31 c | 120416 | 11711 50083 151979 | 2147483647 120416 193 | 0.000 % |
92.61/92.70 c | 120755 | 11711 50083 151979 | 2147483647 120755 193 | 0.000 % |
93.01/93.14 c | 121128 | 11711 50083 151979 | 2147483647 121128 193 | 0.000 % |
93.41/93.59 c | 121538 | 11711 50083 151979 | 2147483647 121538 193 | 0.000 % |
93.91/94.09 c | 121988 | 11711 50083 151979 | 2147483647 121988 193 | 0.000 % |
94.52/94.63 c | 122481 | 11711 50083 151979 | 2147483647 122481 193 | 0.000 % |
95.12/95.22 c | 123023 | 11711 50083 151979 | 2147483647 123023 193 | 0.000 % |
95.82/95.94 c | 123619 | 11711 50083 151979 | 2147483647 123619 193 | 0.000 % |
96.51/96.63 c | 124274 | 11711 50083 151979 | 2147483647 124274 193 | 0.000 % |
97.21/97.39 c | 124995 | 11711 50083 151979 | 2147483647 124995 193 | 0.000 % |
98.11/98.28 c | 125787 | 11711 50083 151979 | 2147483647 125787 193 | 0.000 % |
99.12/99.22 c | 126658 | 11711 50083 151979 | 2147483647 126658 193 | 0.000 % |
100.02/100.19 c | 127616 | 11711 50083 151979 | 2147483647 127616 194 | 0.000 % |
101.22/101.34 c | 128670 | 11711 50083 151979 | 2147483647 128670 194 | 0.000 % |
102.42/102.59 c | 129831 | 11711 50083 151979 | 2147483647 129831 194 | 0.000 % |
103.91/104.01 c | 131104 | 11711 50083 151979 | 2147483647 131104 194 | 0.000 % |
105.51/105.60 c | 132507 | 11711 50083 151979 | 2147483647 132507 195 | 0.000 % |
105.61/105.77 c | 132609 | 11711 50083 151979 | 2147483647 132609 195 | 0.000 % |
105.71/105.89 c | 132719 | 11711 50083 151979 | 2147483647 132719 195 | 0.000 % |
105.91/106.06 c | 132842 | 11711 50083 151979 | 2147483647 132842 195 | 0.000 % |
106.11/106.23 c | 132975 | 11711 50083 151979 | 2147483647 132975 195 | 0.000 % |
106.31/106.43 c | 133121 | 11711 50083 151979 | 2147483647 133121 194 | 0.000 % |
106.51/106.63 c | 133281 | 11711 50083 151979 | 2147483647 133281 194 | 0.000 % |
106.70/106.87 c | 133457 | 11711 50083 151979 | 2147483647 133457 194 | 0.000 % |
107.00/107.11 c | 133650 | 11711 50083 151979 | 2147483647 133650 194 | 0.000 % |
107.20/107.38 c | 133864 | 11711 50083 151979 | 2147483647 133864 194 | 0.000 % |
107.50/107.68 c | 134098 | 11711 50083 151979 | 2147483647 134098 194 | 0.000 % |
107.91/108.05 c | 134355 | 11711 50083 151979 | 2147483647 134355 194 | 0.000 % |
108.31/108.40 c | 134636 | 11711 50083 151979 | 2147483647 134636 194 | 0.000 % |
108.61/108.79 c | 134945 | 11711 50083 151979 | 2147483647 134945 194 | 0.000 % |
109.11/109.22 c | 135285 | 11711 50083 151979 | 2147483647 135285 194 | 0.000 % |
109.61/109.70 c | 135657 | 11711 50083 151979 | 2147483647 135657 195 | 0.000 % |
110.00/110.20 c | 136066 | 11711 50083 151979 | 2147483647 136066 195 | 0.000 % |
110.60/110.77 c | 136515 | 11711 50083 151979 | 2147483647 136515 195 | 0.000 % |
111.30/111.40 c | 137008 | 11711 50083 151979 | 2147483647 137008 195 | 0.000 % |
111.90/112.05 c | 137551 | 11711 50083 151979 | 2147483647 137551 195 | 0.000 % |
112.60/112.74 c | 138147 | 11711 50083 151979 | 2147483647 138147 195 | 0.000 % |
113.30/113.50 c | 138806 | 11711 50083 151979 | 2147483647 138806 195 | 0.000 % |
114.21/114.36 c | 139527 | 11711 50083 151979 | 2147483647 139527 195 | 0.000 % |
115.20/115.33 c | 140320 | 11711 50083 151979 | 2147483647 140320 195 | 0.000 % |
116.20/116.31 c | 141193 | 11711 50083 151979 | 2147483647 141193 196 | 0.000 % |
117.20/117.35 c | 142151 | 11711 50083 151979 | 2147483647 142151 196 | 0.000 % |
118.40/118.57 c | 143204 | 11711 50083 151979 | 2147483647 143204 196 | 0.000 % |
119.71/119.90 c | 144362 | 11711 50083 151979 | 2147483647 144362 196 | 0.000 % |
121.30/121.46 c | 145636 | 11711 50083 151979 | 2147483647 145636 196 | 0.000 % |
123.01/123.10 c | 147037 | 11711 50083 151979 | 2147483647 147037 197 | 0.000 % |
124.90/125.02 c | 148577 | 11711 50083 151979 | 2147483647 148577 197 | 0.000 % |
125.00/125.19 c | 148678 | 11711 50083 151979 | 2147483647 148678 197 | 0.000 % |
125.21/125.34 c | 148788 | 11711 50083 151979 | 2147483647 148788 197 | 0.000 % |
125.40/125.51 c | 148910 | 11711 50083 151979 | 2147483647 148910 197 | 0.000 % |
125.50/125.69 c | 149044 | 11711 50083 151979 | 2147483647 149044 197 | 0.000 % |
125.80/125.93 c | 149190 | 11711 50083 151979 | 2147483647 149190 197 | 0.000 % |
126.00/126.17 c | 149351 | 11711 50083 151979 | 2147483647 149351 197 | 0.000 % |
126.20/126.39 c | 149527 | 11711 50083 151979 | 2147483647 149527 197 | 0.000 % |
126.50/126.70 c | 149720 | 11711 50083 151979 | 2147483647 149720 197 | 0.000 % |
126.80/126.99 c | 149933 | 11711 50083 151979 | 2147483647 149933 197 | 0.000 % |
127.20/127.31 c | 150167 | 11711 50083 151979 | 2147483647 150167 197 | 0.000 % |
127.50/127.66 c | 150424 | 11711 50083 151979 | 2147483647 150424 197 | 0.000 % |
127.90/128.03 c | 150706 | 11711 50083 151979 | 2147483647 150706 197 | 0.000 % |
128.30/128.41 c | 151015 | 11711 50083 151979 | 2147483647 151015 197 | 0.000 % |
128.70/128.88 c | 151354 | 11711 50083 151979 | 2147483647 151354 197 | 0.000 % |
129.19/129.36 c | 151730 | 11711 50083 151979 | 2147483647 151730 197 | 0.000 % |
129.79/129.91 c | 152139 | 11711 50083 151979 | 2147483647 152139 197 | 0.000 % |
130.39/130.52 c | 152589 | 11711 50083 151979 | 2147483647 152589 197 | 0.000 % |
130.99/131.10 c | 153082 | 11711 50083 151979 | 2147483647 153082 197 | 0.000 % |
131.70/131.80 c | 153625 | 11711 50083 151979 | 2147483647 153625 197 | 0.000 % |
132.40/132.57 c | 154221 | 11711 50083 151979 | 2147483647 154221 197 | 0.000 % |
133.19/133.37 c | 154879 | 11711 50083 151979 | 2147483647 154879 197 | 0.000 % |
134.10/134.26 c | 155599 | 11711 50083 151979 | 2147483647 155599 197 | 0.000 % |
135.20/135.32 c | 156391 | 11711 50083 151979 | 2147483647 156391 197 | 0.000 % |
136.30/136.41 c | 157262 | 11711 50083 151979 | 2147483647 157262 197 | 0.000 % |
137.40/137.59 c | 158220 | 11711 50083 151979 | 2147483647 158220 197 | 0.000 % |
138.69/138.83 c | 159274 | 11711 50083 151979 | 2147483647 159274 197 | 0.000 % |
140.10/140.26 c | 160432 | 11711 50083 151979 | 2147483647 160432 198 | 0.000 % |
141.69/141.90 c | 161705 | 11711 50083 151979 | 2147483647 161705 198 | 0.000 % |
143.49/143.69 c | 163107 | 11711 50083 151979 | 2147483647 163107 198 | 0.000 % |
145.49/145.62 c | 164648 | 11711 50083 151979 | 2147483647 164648 199 | 0.000 % |
147.69/147.82 c | 166343 | 11711 50083 151979 | 2147483647 166343 199 | 0.000 % |
147.79/147.97 c | 166443 | 11711 50083 151979 | 2147483647 166443 199 | 0.000 % |
147.99/148.14 c | 166553 | 11711 50083 151979 | 2147483647 166553 199 | 0.000 % |
148.19/148.35 c | 166674 | 11711 50083 151979 | 2147483647 166674 199 | 0.000 % |
148.39/148.57 c | 166807 | 11711 50083 151979 | 2147483647 166807 199 | 0.000 % |
148.59/148.78 c | 166953 | 11711 50083 151979 | 2147483647 166953 199 | 0.000 % |
148.89/149.03 c | 167117 | 11711 50083 151979 | 2147483647 167117 199 | 0.000 % |
149.09/149.29 c | 167295 | 11711 50083 151979 | 2147483647 167295 199 | 0.000 % |
149.39/149.58 c | 167492 | 11711 50083 151979 | 2147483647 167492 199 | 0.000 % |
149.69/149.85 c | 167705 | 11711 50083 151979 | 2147483647 167705 199 | 0.000 % |
149.99/150.19 c | 167939 | 11711 50083 151979 | 2147483647 167939 199 | 0.000 % |
150.39/150.56 c | 168195 | 11711 50083 151979 | 2147483647 168195 199 | 0.000 % |
150.79/150.97 c | 168476 | 11711 50083 151979 | 2147483647 168476 199 | 0.000 % |
151.28/151.41 c | 168785 | 11711 50083 151979 | 2147483647 168785 199 | 0.000 % |
151.78/151.91 c | 169124 | 11711 50083 151979 | 2147483647 169124 199 | 0.000 % |
152.28/152.42 c | 169496 | 11711 50083 151979 | 2147483647 169496 199 | 0.000 % |
152.79/152.95 c | 169906 | 11711 50083 151979 | 2147483647 169906 199 | 0.000 % |
153.39/153.56 c | 170355 | 11711 50083 151979 | 2147483647 170355 199 | 0.000 % |
153.99/154.20 c | 170850 | 11711 50083 151979 | 2147483647 170850 199 | 0.000 % |
154.79/154.95 c | 171393 | 11711 50083 151979 | 2147483647 171393 199 | 0.000 % |
155.59/155.76 c | 171990 | 11711 50083 151979 | 2147483647 171990 199 | 0.000 % |
156.49/156.61 c | 172645 | 11711 50083 151979 | 2147483647 172645 199 | 0.000 % |
157.48/157.60 c | 173367 | 11711 50083 151979 | 2147483647 173367 199 | 0.000 % |
158.58/158.75 c | 174159 | 11711 50083 151979 | 2147483647 174159 199 | 0.000 % |
159.78/159.93 c | 175030 | 11711 50083 151979 | 2147483647 175030 199 | 0.000 % |
161.09/161.24 c | 175988 | 11711 50083 151979 | 2147483647 175988 199 | 0.000 % |
162.59/162.72 c | 177043 | 11711 50083 151979 | 2147483647 177043 199 | 0.000 % |
164.18/164.36 c | 178201 | 11711 50083 151979 | 2147483647 178201 199 | 0.000 % |
165.79/166.00 c | 179474 | 11711 50083 151979 | 2147483647 179474 199 | 0.000 % |
167.88/168.02 c | 180874 | 11711 50083 151979 | 2147483647 180874 199 | 0.000 % |
169.98/170.13 c | 182414 | 11711 50083 151979 | 2147483647 182414 200 | 0.000 % |
172.38/172.55 c | 184108 | 11711 50083 151979 | 2147483647 184108 200 | 0.000 % |
174.98/175.11 c | 185972 | 11711 50083 151979 | 2147483647 185972 200 | 0.000 % |
175.08/175.27 c | 186073 | 11711 50083 151979 | 2147483647 186073 200 | 0.000 % |
175.28/175.48 c | 186184 | 11711 50083 151979 | 2147483647 186184 200 | 0.000 % |
175.58/175.71 c | 186305 | 11711 50083 151979 | 2147483647 186305 200 | 0.000 % |
175.79/175.95 c | 186438 | 11711 50083 151979 | 2147483647 186438 200 | 0.000 % |
175.98/176.19 c | 186584 | 11711 50083 151979 | 2147483647 186584 200 | 0.000 % |
176.28/176.47 c | 186744 | 11711 50083 151979 | 2147483647 186744 200 | 0.000 % |
176.58/176.73 c | 186920 | 11711 50083 151979 | 2147483647 186920 200 | 0.000 % |
176.89/177.02 c | 187113 | 11711 50083 151979 | 2147483647 187113 200 | 0.000 % |
177.18/177.32 c | 187326 | 11711 50083 151979 | 2147483647 187326 200 | 0.000 % |
177.48/177.68 c | 187561 | 11711 50083 151979 | 2147483647 187561 200 | 0.000 % |
177.88/178.10 c | 187819 | 11711 50083 151979 | 2147483647 187819 200 | 0.000 % |
178.38/178.58 c | 188100 | 11711 50083 151979 | 2147483647 188100 200 | 0.000 % |
178.88/179.09 c | 188409 | 11711 50083 151979 | 2147483647 188409 200 | 0.000 % |
179.48/179.65 c | 188749 | 11711 50083 151979 | 2147483647 188749 200 | 0.000 % |
180.08/180.23 c | 189121 | 11711 50083 151979 | 2147483647 189121 200 | 0.000 % |
180.57/180.79 c | 189531 | 11711 50083 151979 | 2147483647 189531 200 | 0.000 % |
181.28/181.46 c | 189980 | 11711 50083 151979 | 2147483647 189980 200 | 0.000 % |
181.97/182.18 c | 190474 | 11711 50083 151979 | 2147483647 190474 200 | 0.000 % |
182.87/183.00 c | 191018 | 11711 50083 151979 | 2147483647 191018 200 | 0.000 % |
183.77/183.92 c | 191614 | 11711 50083 151979 | 2147483647 191614 200 | 0.000 % |
184.77/184.92 c | 192271 | 11711 50083 151979 | 2147483647 192271 200 | 0.000 % |
185.78/185.97 c | 192993 | 11711 50083 151979 | 2147483647 192993 200 | 0.000 % |
186.98/187.16 c | 193788 | 11711 50083 151979 | 2147483647 193788 200 | 0.000 % |
188.17/188.40 c | 194659 | 11711 50083 151979 | 2147483647 194659 200 | 0.000 % |
189.57/189.75 c | 195617 | 11711 50083 151979 | 2147483647 195617 200 | 0.000 % |
191.07/191.26 c | 196670 | 11711 50083 151979 | 2147483647 196670 200 | 0.000 % |
192.77/192.93 c | 197830 | 11711 50083 151979 | 2147483647 197830 200 | 0.000 % |
194.47/194.67 c | 199105 | 11711 50083 151979 | 2147483647 199105 200 | 0.000 % |
196.47/196.68 c | 200506 | 11711 50083 151979 | 2147483647 200506 201 | 0.000 % |
198.67/198.88 c | 202049 | 11711 50083 151979 | 2147483647 202049 201 | 0.000 % |
201.07/201.29 c | 203744 | 11711 50083 151979 | 2147483647 203744 201 | 0.000 % |
203.97/204.16 c | 205608 | 11711 50083 151979 | 2147483647 205608 201 | 0.000 % |
206.97/207.19 c | 207657 | 11711 50083 151979 | 2147483647 207657 201 | 0.000 % |
207.17/207.35 c | 207757 | 11711 50083 151979 | 2147483647 207757 201 | 0.000 % |
207.37/207.56 c | 207867 | 11711 50083 151979 | 2147483647 207867 201 | 0.000 % |
207.57/207.78 c | 207989 | 11711 50083 151979 | 2147483647 207989 201 | 0.000 % |
207.87/208.06 c | 208123 | 11711 50083 151979 | 2147483647 208123 201 | 0.000 % |
208.17/208.32 c | 208269 | 11711 50083 151979 | 2147483647 208269 201 | 0.000 % |
208.47/208.63 c | 208429 | 11711 50083 151979 | 2147483647 208429 201 | 0.000 % |
208.77/208.93 c | 208606 | 11711 50083 151979 | 2147483647 208606 201 | 0.000 % |
209.06/209.26 c | 208799 | 11711 50083 151979 | 2147483647 208799 201 | 0.000 % |
209.46/209.62 c | 209011 | 11711 50083 151979 | 2147483647 209011 201 | 0.000 % |
209.87/210.07 c | 209245 | 11711 50083 151979 | 2147483647 209245 201 | 0.000 % |
210.36/210.53 c | 209502 | 11711 50083 151979 | 2147483647 209502 201 | 0.000 % |
210.86/211.07 c | 209783 | 11711 50083 151979 | 2147483647 209783 201 | 0.000 % |
211.46/211.63 c | 210092 | 11711 50083 151979 | 2147483647 210092 201 | 0.000 % |
212.06/212.24 c | 210431 | 11711 50083 151979 | 2147483647 210431 201 | 0.000 % |
212.66/212.83 c | 210806 | 11711 50083 151979 | 2147483647 210806 201 | 0.000 % |
213.26/213.48 c | 211218 | 11711 50083 151979 | 2147483647 211218 201 | 0.000 % |
213.96/214.14 c | 211670 | 11711 50083 151979 | 2147483647 211670 201 | 0.000 % |
214.76/214.92 c | 212165 | 11711 50083 151979 | 2147483647 212165 201 | 0.000 % |
215.57/215.77 c | 212708 | 11711 50083 151979 | 2147483647 212708 201 | 0.000 % |
216.57/216.78 c | 213305 | 11711 50083 151979 | 2147483647 213305 201 | 0.000 % |
217.66/217.80 c | 213961 | 11711 50083 151979 | 2147483647 213961 201 | 0.000 % |
218.67/218.88 c | 214682 | 11711 50083 151979 | 2147483647 214682 201 | 0.000 % |
219.96/220.16 c | 215474 | 11711 50083 151979 | 2147483647 215474 201 | 0.000 % |
221.36/221.52 c | 216345 | 11711 50083 151979 | 2147483647 216345 201 | 0.000 % |
222.86/223.03 c | 217303 | 11711 50083 151979 | 2147483647 217303 201 | 0.000 % |
224.56/224.79 c | 218356 | 11711 50083 151979 | 2147483647 218356 201 | 0.000 % |
226.25/226.43 c | 219514 | 11711 50083 151979 | 2147483647 219514 202 | 0.000 % |
228.16/228.37 c | 220787 | 11711 50083 151979 | 2147483647 220787 202 | 0.000 % |
230.46/230.61 c | 222189 | 11711 50083 151979 | 2147483647 222189 202 | 0.000 % |
232.75/232.96 c | 223730 | 11711 50083 151979 | 2147483647 223730 202 | 0.000 % |
235.45/235.65 c | 225424 | 11711 50083 151979 | 2147483647 225424 202 | 0.000 % |
238.35/238.60 c | 227287 | 11711 50083 151979 | 2147483647 227287 203 | 0.000 % |
241.56/241.78 c | 229337 | 11711 50083 151979 | 2147483647 229337 203 | 0.000 % |
245.16/245.36 c | 231591 | 11711 50083 151979 | 2147483647 231591 203 | 0.000 % |
245.35/245.59 c | 231694 | 11711 50083 151979 | 2147483647 231694 203 | 0.000 % |
245.65/245.84 c | 231806 | 11711 50083 151979 | 2147483647 231806 203 | 0.000 % |
245.85/246.07 c | 231928 | 11711 50083 151979 | 2147483647 231928 203 | 0.000 % |
246.15/246.35 c | 232061 | 11711 50083 151979 | 2147483647 232061 203 | 0.000 % |
246.45/246.68 c | 232207 | 11711 50083 151979 | 2147483647 232207 203 | 0.000 % |
246.75/246.98 c | 232370 | 11711 50083 151979 | 2147483647 232370 203 | 0.000 % |
247.15/247.33 c | 232548 | 11711 50083 151979 | 2147483647 232548 203 | 0.000 % |
247.55/247.71 c | 232744 | 11711 50083 151979 | 2147483647 232744 203 | 0.000 % |
247.95/248.11 c | 232956 | 11711 50083 151979 | 2147483647 232956 203 | 0.000 % |
248.36/248.59 c | 233189 | 11711 50083 151979 | 2147483647 233189 203 | 0.000 % |
248.86/249.09 c | 233450 | 11711 50083 151979 | 2147483647 233450 203 | 0.000 % |
249.46/249.67 c | 233731 | 11711 50083 151979 | 2147483647 233731 203 | 0.000 % |
250.05/250.22 c | 234041 | 11711 50083 151979 | 2147483647 234041 203 | 0.000 % |
250.66/250.85 c | 234380 | 11711 50083 151979 | 2147483647 234380 203 | 0.000 % |
251.35/251.51 c | 234752 | 11711 50083 151979 | 2147483647 234752 203 | 0.000 % |
251.95/252.16 c | 235161 | 11711 50083 151979 | 2147483647 235161 203 | 0.000 % |
252.75/252.98 c | 235610 | 11711 50083 151979 | 2147483647 235610 203 | 0.000 % |
253.75/253.91 c | 236105 | 11711 50083 151979 | 2147483647 236105 203 | 0.000 % |
254.54/254.77 c | 236649 | 11711 50083 151979 | 2147483647 236649 203 | 0.000 % |
255.65/255.81 c | 237249 | 11711 50083 151979 | 2147483647 237249 203 | 0.000 % |
256.75/256.96 c | 237906 | 11711 50083 151979 | 2147483647 237906 203 | 0.000 % |
257.95/258.19 c | 238629 | 11711 50083 151979 | 2147483647 238629 203 | 0.000 % |
259.35/259.52 c | 239423 | 11711 50083 151979 | 2147483647 239423 203 | 0.000 % |
260.85/261.03 c | 240294 | 11711 50083 151979 | 2147483647 240294 203 | 0.000 % |
262.44/262.65 c | 241253 | 11711 50083 151979 | 2147483647 241253 203 | 0.000 % |
264.24/264.43 c | 242309 | 11711 50083 151979 | 2147483647 242309 203 | 0.000 % |
266.25/266.49 c | 243467 | 11711 50083 151979 | 2147483647 243467 203 | 0.000 % |
268.45/268.67 c | 244740 | 11711 50083 151979 | 2147483647 244740 203 | 0.000 % |
270.84/271.01 c | 246143 | 11711 50083 151979 | 2147483647 246143 203 | 0.000 % |
273.44/273.67 c | 247683 | 11711 50083 151979 | 2147483647 247683 203 | 0.000 % |
276.35/276.52 c | 249378 | 11711 50083 151979 | 2147483647 249378 204 | 0.000 % |
279.44/279.63 c | 251244 | 11711 50083 151979 | 2147483647 251244 204 | 0.000 % |
282.84/283.02 c | 253296 | 11711 50083 151979 | 2147483647 253296 204 | 0.000 % |
286.54/286.76 c | 255549 | 11711 50083 151979 | 2147483647 255549 204 | 0.000 % |
290.94/291.18 c | 258027 | 11711 50083 151979 | 2147483647 258027 205 | 0.000 % |
291.14/291.39 c | 258127 | 11711 50083 151979 | 2147483647 258127 205 | 0.000 % |
291.44/291.63 c | 258237 | 11711 50083 151979 | 2147483647 258237 205 | 0.000 % |
291.74/291.93 c | 258358 | 11711 50083 151979 | 2147483647 258358 205 | 0.000 % |
292.04/292.24 c | 258492 | 11711 50083 151979 | 2147483647 258492 205 | 0.000 % |
292.34/292.54 c | 258639 | 11711 50083 151979 | 2147483647 258639 205 | 0.000 % |
292.64/292.86 c | 258799 | 11711 50083 151979 | 2147483647 258799 205 | 0.000 % |
293.04/293.20 c | 258976 | 11711 50083 151979 | 2147483647 258976 205 | 0.000 % |
293.44/293.62 c | 259169 | 11711 50083 151979 | 2147483647 259169 205 | 0.000 % |
293.84/294.03 c | 259382 | 11711 50083 151979 | 2147483647 259382 205 | 0.000 % |
294.24/294.49 c | 259615 | 11711 50083 151979 | 2147483647 259615 205 | 0.000 % |
294.73/294.94 c | 259873 | 11711 50083 151979 | 2147483647 259873 205 | 0.000 % |
295.33/295.52 c | 260154 | 11711 50083 151979 | 2147483647 260154 205 | 0.000 % |
295.93/296.12 c | 260463 | 11711 50083 151979 | 2147483647 260463 205 | 0.000 % |
296.53/296.73 c | 260803 | 11711 50083 151979 | 2147483647 260803 205 | 0.000 % |
297.23/297.42 c | 261176 | 11711 50083 151979 | 2147483647 261176 204 | 0.000 % |
298.04/298.21 c | 261586 | 11711 50083 151979 | 2147483647 261586 204 | 0.000 % |
298.95/299.18 c | 262035 | 11711 50083 151979 | 2147483647 262035 205 | 0.000 % |
300.04/300.25 c | 262530 | 11711 50083 151979 | 2147483647 262530 204 | 0.000 % |
301.14/301.34 c | 263073 | 11711 50083 151979 | 2147483647 263073 204 | 0.000 % |
302.24/302.48 c | 263669 | 11711 50083 151979 | 2147483647 263669 204 | 0.000 % |
303.44/303.63 c | 264325 | 11711 50083 151979 | 2147483647 264325 204 | 0.000 % |
304.73/304.98 c | 265046 | 11711 50083 151979 | 2147483647 265046 204 | 0.000 % |
306.23/306.40 c | 265841 | 11711 50083 151979 | 2147483647 265841 204 | 0.000 % |
307.84/308.03 c | 266713 | 11711 50083 151979 | 2147483647 266713 205 | 0.000 % |
309.44/309.69 c | 267671 | 11711 50083 151979 | 2147483647 267671 205 | 0.000 % |
311.33/311.59 c | 268725 | 11711 50083 151979 | 2147483647 268725 205 | 0.000 % |
313.43/313.67 c | 269883 | 11711 50083 151979 | 2147483647 269883 205 | 0.000 % |
315.63/315.83 c | 271157 | 11711 50083 151979 | 2147483647 271157 205 | 0.000 % |
318.23/318.42 c | 272558 | 11711 50083 151979 | 2147483647 272558 205 | 0.000 % |
321.03/321.29 c | 274099 | 11711 50083 151979 | 2147483647 274099 205 | 0.000 % |
324.33/324.52 c | 275793 | 11711 50083 151979 | 2147483647 275793 206 | 0.000 % |
327.83/328.03 c | 277657 | 11711 50083 151979 | 2147483647 277657 206 | 0.000 % |
331.32/331.60 c | 279707 | 11711 50083 151979 | 2147483647 279707 206 | 0.000 % |
335.23/335.42 c | 281960 | 11711 50083 151979 | 2147483647 281960 206 | 0.000 % |
340.02/340.22 c | 284440 | 11711 50083 151979 | 2147483647 284440 207 | 0.000 % |
345.22/345.40 c | 287165 | 11711 50083 151979 | 2147483647 287165 207 | 0.000 % |
345.41/345.61 c | 287265 | 11711 50083 151979 | 2147483647 287265 207 | 0.000 % |
345.61/345.86 c | 287375 | 11711 50083 151979 | 2147483647 287375 207 | 0.000 % |
345.91/346.12 c | 287496 | 11711 50083 151979 | 2147483647 287496 207 | 0.000 % |
346.22/346.48 c | 287629 | 11711 50083 151979 | 2147483647 287629 207 | 0.000 % |
346.61/346.82 c | 287777 | 11711 50083 151979 | 2147483647 287777 207 | 0.000 % |
347.01/347.22 c | 287941 | 11711 50083 151979 | 2147483647 287941 207 | 0.000 % |
347.42/347.67 c | 288117 | 11711 50083 151979 | 2147483647 288117 207 | 0.000 % |
347.92/348.12 c | 288310 | 11711 50083 151979 | 2147483647 288310 207 | 0.000 % |
348.32/348.60 c | 288522 | 11711 50083 151979 | 2147483647 288522 207 | 0.000 % |
348.82/349.07 c | 288756 | 11711 50083 151979 | 2147483647 288756 207 | 0.000 % |
349.42/349.67 c | 289012 | 11711 50083 151979 | 2147483647 289012 207 | 0.000 % |
350.11/350.38 c | 289294 | 11711 50083 151979 | 2147483647 289294 207 | 0.000 % |
350.81/351.04 c | 289604 | 11711 50083 151979 | 2147483647 289604 207 | 0.000 % |
351.52/351.79 c | 289943 | 11711 50083 151979 | 2147483647 289943 207 | 0.000 % |
352.32/352.54 c | 290316 | 11711 50083 151979 | 2147483647 290316 207 | 0.000 % |
353.12/353.34 c | 290725 | 11711 50083 151979 | 2147483647 290725 207 | 0.000 % |
354.02/354.27 c | 291174 | 11711 50083 151979 | 2147483647 291174 207 | 0.000 % |
355.02/355.29 c | 291668 | 11711 50083 151979 | 2147483647 291668 207 | 0.000 % |
356.12/356.32 c | 292211 | 11711 50083 151979 | 2147483647 292211 207 | 0.000 % |
357.31/357.56 c | 292810 | 11711 50083 151979 | 2147483647 292810 207 | 0.000 % |
358.71/358.99 c | 293467 | 11711 50083 151979 | 2147483647 293467 207 | 0.000 % |
360.21/360.46 c | 294187 | 11711 50083 151979 | 2147483647 294187 207 | 0.000 % |
361.72/361.98 c | 294980 | 11711 50083 151979 | 2147483647 294980 207 | 0.000 % |
363.61/363.84 c | 295851 | 11711 50083 151979 | 2147483647 295851 207 | 0.000 % |
365.51/365.73 c | 296810 | 11711 50083 151979 | 2147483647 296810 207 | 0.000 % |
367.51/367.74 c | 297864 | 11711 50083 151979 | 2147483647 297864 207 | 0.000 % |
369.81/370.00 c | 299023 | 11711 50083 151979 | 2147483647 299023 207 | 0.000 % |
372.41/372.67 c | 300297 | 11711 50083 151979 | 2147483647 300297 207 | 0.000 % |
375.11/375.34 c | 301697 | 11711 50083 151979 | 2147483647 301697 207 | 0.000 % |
377.90/378.14 c | 303237 | 11711 50083 151979 | 2147483647 303237 208 | 0.000 % |
381.20/381.41 c | 304931 | 11711 50083 151979 | 2147483647 304931 208 | 0.000 % |
384.70/384.99 c | 306795 | 11711 50083 151979 | 2147483647 306795 208 | 0.000 % |
388.69/388.97 c | 308844 | 11711 50083 151979 | 2147483647 308844 208 | 0.000 % |
393.00/393.27 c | 311097 | 11711 50083 151979 | 2147483647 311097 209 | 0.000 % |
397.90/398.14 c | 313576 | 11711 50083 151979 | 2147483647 313576 209 | 0.000 % |
403.39/403.66 c | 316302 | 11711 50083 151979 | 2147483647 316302 209 | 0.000 % |
409.49/409.79 c | 319300 | 11711 50083 151979 | 2147483647 319300 210 | 0.000 % |
409.79/410.06 c | 319403 | 11711 50083 151979 | 2147483647 319403 210 | 0.000 % |
410.09/410.34 c | 319513 | 11711 50083 151979 | 2147483647 319513 210 | 0.000 % |
410.49/410.70 c | 319636 | 11711 50083 151979 | 2147483647 319636 210 | 0.000 % |
410.89/411.12 c | 319769 | 11711 50083 151979 | 2147483647 319769 210 | 0.000 % |
411.29/411.51 c | 319920 | 11711 50083 151979 | 2147483647 319920 209 | 0.000 % |
411.69/411.95 c | 320080 | 11711 50083 151979 | 2147483647 320080 209 | 0.000 % |
412.19/412.46 c | 320256 | 11711 50083 151979 | 2147483647 320256 209 | 0.000 % |
412.69/412.94 c | 320451 | 11711 50083 151979 | 2147483647 320451 209 | 0.000 % |
413.29/413.50 c | 320663 | 11711 50083 151979 | 2147483647 320663 209 | 0.000 % |
413.79/414.07 c | 320896 | 11711 50083 151979 | 2147483647 320896 209 | 0.000 % |
414.50/414.71 c | 321152 | 11711 50083 151979 | 2147483647 321152 209 | 0.000 % |
415.09/415.39 c | 321433 | 11711 50083 151979 | 2147483647 321433 209 | 0.000 % |
415.89/416.18 c | 321742 | 11711 50083 151979 | 2147483647 321742 209 | 0.000 % |
416.69/416.99 c | 322082 | 11711 50083 151979 | 2147483647 322082 209 | 0.000 % |
417.59/417.84 c | 322455 | 11711 50083 151979 | 2147483647 322455 209 | 0.000 % |
418.59/418.82 c | 322864 | 11711 50083 151979 | 2147483647 322864 209 | 0.000 % |
419.58/419.84 c | 323313 | 11711 50083 151979 | 2147483647 323313 209 | 0.000 % |
420.69/420.92 c | 323807 | 11711 50083 151979 | 2147483647 323807 209 | 0.000 % |
421.89/422.11 c | 324349 | 11711 50083 151979 | 2147483647 324349 209 | 0.000 % |
423.09/423.39 c | 324946 | 11711 50083 151979 | 2147483647 324946 209 | 0.000 % |
424.48/424.78 c | 325603 | 11711 50083 151979 | 2147483647 325603 209 | 0.000 % |
426.08/426.34 c | 326326 | 11711 50083 151979 | 2147483647 326326 209 | 0.000 % |
427.78/428.07 c | 327119 | 11711 50083 151979 | 2147483647 327119 209 | 0.000 % |
429.58/429.87 c | 327990 | 11711 50083 151979 | 2147483647 327990 209 | 0.000 % |
431.68/431.95 c | 328948 | 11711 50083 151979 | 2147483647 328948 209 | 0.000 % |
433.88/434.13 c | 330001 | 11711 50083 151979 | 2147483647 330001 209 | 0.000 % |
436.39/436.61 c | 331160 | 11711 50083 151979 | 2147483647 331160 209 | 0.000 % |
439.08/439.32 c | 332433 | 11711 50083 151979 | 2147483647 332433 209 | 0.000 % |
441.98/442.28 c | 333833 | 11711 50083 151979 | 2147483647 333833 210 | 0.000 % |
445.48/445.70 c | 335373 | 11711 50083 151979 | 2147483647 335373 210 | 0.000 % |
449.08/449.33 c | 337068 | 11711 50083 151979 | 2147483647 337068 210 | 0.000 % |
452.98/453.29 c | 338932 | 11711 50083 151979 | 2147483647 338932 210 | 0.000 % |
456.97/457.28 c | 340983 | 11711 50083 151979 | 2147483647 340983 211 | 0.000 % |
461.88/462.12 c | 343237 | 11711 50083 151979 | 2147483647 343237 211 | 0.000 % |
467.17/467.47 c | 345716 | 11711 50083 151979 | 2147483647 345716 211 | 0.000 % |
472.97/473.24 c | 348441 | 11711 50083 151979 | 2147483647 348441 211 | 0.000 % |
479.47/479.70 c | 351439 | 11711 50083 151979 | 2147483647 351439 212 | 0.000 % |
486.77/487.08 c | 354736 | 11711 50083 151979 | 2147483647 354736 212 | 0.000 % |
487.07/487.38 c | 354837 | 11711 50083 151979 | 2147483647 354837 212 | 0.000 % |
487.47/487.72 c | 354947 | 11711 50083 151979 | 2147483647 354947 212 | 0.000 % |
487.77/488.05 c | 355068 | 11711 50083 151979 | 2147483647 355068 212 | 0.000 % |
488.17/488.45 c | 355201 | 11711 50083 151979 | 2147483647 355201 212 | 0.000 % |
488.57/488.84 c | 355347 | 11711 50083 151979 | 2147483647 355347 212 | 0.000 % |
488.96/489.26 c | 355507 | 11711 50083 151979 | 2147483647 355507 212 | 0.000 % |
489.46/489.79 c | 355685 | 11711 50083 151979 | 2147483647 355685 212 | 0.000 % |
489.96/490.29 c | 355878 | 11711 50083 151979 | 2147483647 355878 212 | 0.000 % |
490.56/490.86 c | 356090 | 11711 50083 151979 | 2147483647 356090 212 | 0.000 % |
491.26/491.58 c | 356323 | 11711 50083 151979 | 2147483647 356323 212 | 0.000 % |
491.96/492.26 c | 356580 | 11711 50083 151979 | 2147483647 356580 212 | 0.000 % |
492.76/493.04 c | 356861 | 11711 50083 151979 | 2147483647 356861 212 | 0.000 % |
493.57/493.87 c | 357170 | 11711 50083 151979 | 2147483647 357170 212 | 0.000 % |
494.47/494.72 c | 357510 | 11711 50083 151979 | 2147483647 357510 212 | 0.000 % |
495.47/495.80 c | 357882 | 11711 50083 151979 | 2147483647 357882 212 | 0.000 % |
496.47/496.80 c | 358292 | 11711 50083 151979 | 2147483647 358292 212 | 0.000 % |
497.56/497.88 c | 358742 | 11711 50083 151979 | 2147483647 358742 212 | 0.000 % |
498.76/499.07 c | 359235 | 11711 50083 151979 | 2147483647 359235 211 | 0.000 % |
500.16/500.47 c | 359777 | 11711 50083 151979 | 2147483647 359777 211 | 0.000 % |
501.56/501.88 c | 360373 | 11711 50083 151979 | 2147483647 360373 211 | 0.000 % |
503.26/503.50 c | 361028 | 11711 50083 151979 | 2147483647 361028 211 | 0.000 % |
504.86/505.16 c | 361748 | 11711 50083 151979 | 2147483647 361748 211 | 0.000 % |
506.86/507.12 c | 362540 | 11711 50083 151979 | 2147483647 362540 211 | 0.000 % |
508.96/509.23 c | 363413 | 11711 50083 151979 | 2147483647 363413 211 | 0.000 % |
511.36/511.62 c | 364372 | 11711 50083 151979 | 2147483647 364372 211 | 0.000 % |
513.96/514.22 c | 365425 | 11711 50083 151979 | 2147483647 365425 211 | 0.000 % |
516.76/517.02 c | 366587 | 11711 50083 151979 | 2147483647 366587 211 | 0.000 % |
519.85/520.10 c | 367862 | 11711 50083 151979 | 2147483647 367862 212 | 0.000 % |
523.36/523.63 c | 369262 | 11711 50083 151979 | 2147483647 369262 212 | 0.000 % |
526.95/527.21 c | 370802 | 11711 50083 151979 | 2147483647 370802 212 | 0.000 % |
530.76/531.02 c | 372497 | 11711 50083 151979 | 2147483647 372497 212 | 0.000 % |
535.15/535.48 c | 374360 | 11711 50083 151979 | 2147483647 374360 212 | 0.000 % |
539.86/540.19 c | 376409 | 11711 50083 151979 | 2147483647 376409 212 | 0.000 % |
545.04/545.36 c | 378666 | 11711 50083 151979 | 2147483647 378666 212 | 0.000 % |
550.55/550.81 c | 381144 | 11711 50083 151979 | 2147483647 381144 213 | 0.000 % |
556.84/557.11 c | 383870 | 11711 50083 151979 | 2147483647 383870 213 | 0.000 % |
563.65/563.91 c | 386867 | 11711 50083 151979 | 2147483647 386867 214 | 0.000 % |
571.15/571.49 c | 390164 | 11711 50083 151979 | 2147483647 390164 214 | 0.000 % |
578.94/579.25 c | 393790 | 11711 50083 151979 | 2147483647 393790 215 | 0.000 % |
579.24/579.50 c | 393891 | 11711 50083 151979 | 2147483647 393891 215 | 0.000 % |
579.53/579.82 c | 394001 | 11711 50083 151979 | 2147483647 394001 215 | 0.000 % |
579.93/580.30 c | 394122 | 11711 50083 151979 | 2147483647 394122 215 | 0.000 % |
580.45/580.72 c | 394257 | 11711 50083 151979 | 2147483647 394257 215 | 0.000 % |
580.84/581.17 c | 394403 | 11711 50083 151979 | 2147483647 394403 215 | 0.000 % |
581.44/581.71 c | 394563 | 11711 50083 151979 | 2147483647 394563 215 | 0.000 % |
581.94/582.27 c | 394740 | 11711 50083 151979 | 2147483647 394740 215 | 0.000 % |
582.54/582.84 c | 394933 | 11711 50083 151979 | 2147483647 394933 215 | 0.000 % |
583.24/583.50 c | 395145 | 11711 50083 151979 | 2147483647 395145 215 | 0.000 % |
583.85/584.17 c | 395380 | 11711 50083 151979 | 2147483647 395380 215 | 0.000 % |
584.54/584.88 c | 395636 | 11711 50083 151979 | 2147483647 395636 215 | 0.000 % |
585.34/585.66 c | 395918 | 11711 50083 151979 | 2147483647 395918 215 | 0.000 % |
586.34/586.66 c | 396228 | 11711 50083 151979 | 2147483647 396228 215 | 0.000 % |
587.34/587.60 c | 396568 | 11711 50083 151979 | 2147483647 396568 215 | 0.000 % |
588.34/588.67 c | 396941 | 11711 50083 151979 | 2147483647 396941 215 | 0.000 % |
589.43/589.77 c | 397352 | 11711 50083 151979 | 2147483647 397352 215 | 0.000 % |
590.63/590.93 c | 397801 | 11711 50083 151979 | 2147483647 397801 214 | 0.000 % |
591.93/592.23 c | 398294 | 11711 50083 151979 | 2147483647 398294 215 | 0.000 % |
593.33/593.64 c | 398837 | 11711 50083 151979 | 2147483647 398837 214 | 0.000 % |
594.94/595.27 c | 399434 | 11711 50083 151979 | 2147483647 399434 214 | 0.000 % |
596.53/596.89 c | 400089 | 11711 50083 151979 | 2147483647 400089 214 | 0.000 % |
598.43/598.75 c | 400811 | 11711 50083 151979 | 2147483647 400811 214 | 0.000 % |
600.43/600.71 c | 401603 | 11711 50083 151979 | 2147483647 401603 214 | 0.000 % |
602.73/603.06 c | 402474 | 11711 50083 151979 | 2147483647 402474 214 | 0.000 % |
605.14/605.49 c | 403434 | 11711 50083 151979 | 2147483647 403434 214 | 0.000 % |
608.03/608.38 c | 404487 | 11711 50083 151979 | 2147483647 404487 214 | 0.000 % |
610.93/611.20 c | 405645 | 11711 50083 151979 | 2147483647 405645 214 | 0.000 % |
614.13/614.43 c | 406920 | 11711 50083 151979 | 2147483647 406920 214 | 0.000 % |
617.52/617.81 c | 408321 | 11711 50083 151979 | 2147483647 408321 214 | 0.000 % |
621.63/621.93 c | 409863 | 11711 50083 151979 | 2147483647 409863 215 | 0.000 % |
625.92/626.25 c | 411557 | 11711 50083 151979 | 2147483647 411557 215 | 0.000 % |
630.62/630.98 c | 413420 | 11711 50083 151979 | 2147483647 413420 215 | 0.000 % |
635.82/636.17 c | 415476 | 11711 50083 151979 | 2147483647 415476 215 | 0.000 % |
641.52/641.89 c | 417730 | 11711 50083 151979 | 2147483647 417730 215 | 0.000 % |
648.02/648.36 c | 420208 | 11711 50083 151979 | 2147483647 420208 215 | 0.000 % |
654.62/654.92 c | 422934 | 11711 50083 151979 | 2147483647 422934 215 | 0.000 % |
661.92/662.27 c | 425931 | 11711 50083 151979 | 2147483647 425931 215 | 0.000 % |
670.11/670.41 c | 429228 | 11711 50083 151979 | 2147483647 429228 215 | 0.000 % |
679.31/679.60 c | 432854 | 11711 50083 151979 | 2147483647 432854 215 | 0.000 % |
689.51/689.87 c | 436842 | 11711 50083 151979 | 2147483647 436842 216 | 0.000 % |
689.81/690.18 c | 436942 | 11711 50083 151979 | 2147483647 436942 216 | 0.000 % |
690.21/690.55 c | 437053 | 11711 50083 151979 | 2147483647 437053 216 | 0.000 % |
690.71/691.05 c | 437176 | 11711 50083 151979 | 2147483647 437176 216 | 0.000 % |
691.11/691.48 c | 437312 | 11711 50083 151979 | 2147483647 437312 216 | 0.000 % |
691.71/692.04 c | 437460 | 11711 50083 151979 | 2147483647 437460 216 | 0.000 % |
692.21/692.57 c | 437621 | 11711 50083 151979 | 2147483647 437621 216 | 0.000 % |
692.80/693.18 c | 437797 | 11711 50083 151979 | 2147483647 437797 216 | 0.000 % |
693.50/693.81 c | 437992 | 11711 50083 151979 | 2147483647 437992 216 | 0.000 % |
694.20/694.55 c | 438205 | 11711 50083 151979 | 2147483647 438205 216 | 0.000 % |
694.90/695.25 c | 438439 | 11711 50083 151979 | 2147483647 438439 216 | 0.000 % |
695.80/696.10 c | 438696 | 11711 50083 151979 | 2147483647 438696 216 | 0.000 % |
696.60/696.95 c | 438977 | 11711 50083 151979 | 2147483647 438977 216 | 0.000 % |
697.71/698.01 c | 439286 | 11711 50083 151979 | 2147483647 439286 215 | 0.000 % |
698.71/699.08 c | 439625 | 11711 50083 151979 | 2147483647 439625 216 | 0.000 % |
699.90/700.23 c | 439998 | 11711 50083 151979 | 2147483647 439998 216 | 0.000 % |
701.10/701.43 c | 440407 | 11711 50083 151979 | 2147483647 440407 215 | 0.000 % |
702.40/702.78 c | 440858 | 11711 50083 151979 | 2147483647 440858 215 | 0.000 % |
703.80/704.15 c | 441352 | 11711 50083 151979 | 2147483647 441352 215 | 0.000 % |
705.40/705.70 c | 441894 | 11711 50083 151979 | 2147483647 441894 215 | 0.000 % |
707.09/707.49 c | 442490 | 11711 50083 151979 | 2147483647 442490 215 | 0.000 % |
708.90/709.30 c | 443147 | 11711 50083 151979 | 2147483647 443147 215 | 0.000 % |
711.10/711.40 c | 443871 | 11711 50083 151979 | 2147483647 443871 215 | 0.000 % |
713.30/713.65 c | 444663 | 11711 50083 151979 | 2147483647 444663 215 | 0.000 % |
715.70/716.06 c | 445534 | 11711 50083 151979 | 2147483647 445534 215 | 0.000 % |
718.50/718.81 c | 446493 | 11711 50083 151979 | 2147483647 446493 215 | 0.000 % |
721.39/721.75 c | 447547 | 11711 50083 151979 | 2147483647 447547 215 | 0.000 % |
724.69/725.02 c | 448705 | 11711 50083 151979 | 2147483647 448705 215 | 0.000 % |
727.99/728.32 c | 449978 | 11711 50083 151979 | 2147483647 449978 215 | 0.000 % |
731.79/732.17 c | 451378 | 11711 50083 151979 | 2147483647 451378 216 | 0.000 % |
735.79/736.15 c | 452918 | 11711 50083 151979 | 2147483647 452918 216 | 0.000 % |
740.19/740.53 c | 454612 | 11711 50083 151979 | 2147483647 454612 216 | 0.000 % |
745.49/745.81 c | 456476 | 11711 50083 151979 | 2147483647 456476 216 | 0.000 % |
750.79/751.16 c | 458525 | 11711 50083 151979 | 2147483647 458525 216 | 0.000 % |
757.29/757.69 c | 460778 | 11711 50083 151979 | 2147483647 460778 216 | 0.000 % |
764.19/764.56 c | 463257 | 11711 50083 151979 | 2147483647 463257 216 | 0.000 % |
771.58/771.92 c | 465982 | 11711 50083 151979 | 2147483647 465982 216 | 0.000 % |
779.48/779.84 c | 468982 | 11711 50083 151979 | 2147483647 468982 216 | 0.000 % |
788.68/789.06 c | 472278 | 11711 50083 151979 | 2147483647 472278 217 | 0.000 % |
798.18/798.54 c | 475906 | 11711 50083 151979 | 2147483647 475906 217 | 0.000 % |
809.07/809.47 c | 479897 | 11711 50083 151979 | 2147483647 479897 217 | 0.000 % |
821.16/821.57 c | 484282 | 11711 50083 151979 | 2147483647 484282 217 | 0.000 % |
821.56/821.93 c | 484382 | 11711 50083 151979 | 2147483647 484382 217 | 0.000 % |
821.96/822.35 c | 484492 | 11711 50083 151979 | 2147483647 484492 217 | 0.000 % |
822.47/822.84 c | 484613 | 11711 50083 151979 | 2147483647 484613 217 | 0.000 % |
822.96/823.32 c | 484746 | 11711 50083 151979 | 2147483647 484746 217 | 0.000 % |
823.47/823.86 c | 484894 | 11711 50083 151979 | 2147483647 484894 217 | 0.000 % |
824.06/824.42 c | 485058 | 11711 50083 151979 | 2147483647 485058 217 | 0.000 % |
824.67/825.10 c | 485234 | 11711 50083 151979 | 2147483647 485234 217 | 0.000 % |
825.36/825.79 c | 485429 | 11711 50083 151979 | 2147483647 485429 217 | 0.000 % |
826.16/826.50 c | 485641 | 11711 50083 151979 | 2147483647 485641 217 | 0.000 % |
826.96/827.39 c | 485875 | 11711 50083 151979 | 2147483647 485875 217 | 0.000 % |
827.87/828.28 c | 486132 | 11711 50083 151979 | 2147483647 486132 217 | 0.000 % |
828.77/829.16 c | 486413 | 11711 50083 151979 | 2147483647 486413 217 | 0.000 % |
829.87/830.25 c | 486725 | 11711 50083 151979 | 2147483647 486725 217 | 0.000 % |
831.06/831.43 c | 487064 | 11711 50083 151979 | 2147483647 487064 217 | 0.000 % |
832.37/832.78 c | 487436 | 11711 50083 151979 | 2147483647 487436 217 | 0.000 % |
833.76/834.10 c | 487845 | 11711 50083 151979 | 2147483647 487845 217 | 0.000 % |
835.26/835.62 c | 488294 | 11711 50083 151979 | 2147483647 488294 217 | 0.000 % |
836.76/837.18 c | 488787 | 11711 50083 151979 | 2147483647 488787 217 | 0.000 % |
838.66/839.00 c | 489329 | 11711 50083 151979 | 2147483647 489329 217 | 0.000 % |
840.36/840.74 c | 489926 | 11711 50083 151979 | 2147483647 489926 217 | 0.000 % |
842.46/842.80 c | 490581 | 11711 50083 151979 | 2147483647 490581 217 | 0.000 % |
844.95/845.36 c | 491302 | 11711 50083 151979 | 2147483647 491302 217 | 0.000 % |
847.45/847.86 c | 492094 | 11711 50083 151979 | 2147483647 492094 217 | 0.000 % |
850.45/850.85 c | 492966 | 11711 50083 151979 | 2147483647 492966 217 | 0.000 % |
853.46/853.80 c | 493924 | 11711 50083 151979 | 2147483647 493924 217 | 0.000 % |
856.56/856.93 c | 494977 | 11711 50083 151979 | 2147483647 494977 217 | 0.000 % |
860.05/860.41 c | 496137 | 11711 50083 151979 | 2147483647 496137 217 | 0.000 % |
863.75/864.18 c | 497410 | 11711 50083 151979 | 2147483647 497410 217 | 0.000 % |
867.95/868.39 c | 498810 | 11711 50083 151979 | 2147483647 498810 217 | 0.000 % |
872.55/872.94 c | 500353 | 11711 50083 151979 | 2147483647 500353 217 | 0.000 % |
877.45/877.83 c | 502047 | 11711 50083 151979 | 2147483647 502047 217 | 0.000 % |
883.35/883.73 c | 503911 | 11711 50083 151979 | 2147483647 503911 217 | 0.000 % |
889.55/889.96 c | 505960 | 11711 50083 151979 | 2147483647 505960 217 | 0.000 % |
895.84/896.25 c | 508214 | 11711 50083 151979 | 2147483647 508214 217 | 0.000 % |
902.65/903.00 c | 510692 | 11711 50083 151979 | 2147483647 510692 217 | 0.000 % |
910.44/910.90 c | 513418 | 11711 50083 151979 | 2147483647 513418 217 | 0.000 % |
919.14/919.57 c | 516417 | 11711 50083 151979 | 2147483647 516417 217 | 0.000 % |
929.24/929.63 c | 519714 | 11711 50083 151979 | 2147483647 519714 218 | 0.000 % |
939.73/940.12 c | 523339 | 11711 50083 151979 | 2147483647 523339 218 | 0.000 % |
951.22/951.62 c | 527327 | 11711 50083 151979 | 2147483647 527327 218 | 0.000 % |
964.03/964.45 c | 531715 | 11711 50083 151979 | 2147483647 531715 218 | 0.000 % |
978.12/978.57 c | 536538 | 11711 50083 151979 | 2147483647 536538 218 | 0.000 % |
978.72/979.14 c | 536641 | 11711 50083 151979 | 2147483647 536641 218 | 0.000 % |
979.21/979.63 c | 536753 | 11711 50083 151979 | 2147483647 536753 218 | 0.000 % |
979.81/980.20 c | 536874 | 11711 50083 151979 | 2147483647 536874 218 | 0.000 % |
980.31/980.76 c | 537007 | 11711 50083 151979 | 2147483647 537007 218 | 0.000 % |
981.01/981.48 c | 537153 | 11711 50083 151979 | 2147483647 537153 218 | 0.000 % |
981.71/982.14 c | 537314 | 11711 50083 151979 | 2147483647 537314 218 | 0.000 % |
982.42/982.83 c | 537490 | 11711 50083 151979 | 2147483647 537490 218 | 0.000 % |
983.12/983.55 c | 537683 | 11711 50083 151979 | 2147483647 537683 218 | 0.000 % |
984.02/984.41 c | 537897 | 11711 50083 151979 | 2147483647 537897 218 | 0.000 % |
984.92/985.37 c | 538130 | 11711 50083 151979 | 2147483647 538130 218 | 0.000 % |
985.92/986.35 c | 538387 | 11711 50083 151979 | 2147483647 538387 218 | 0.000 % |
987.02/987.42 c | 538668 | 11711 50083 151979 | 2147483647 538668 218 | 0.000 % |
988.22/988.62 c | 538979 | 11711 50083 151979 | 2147483647 538979 218 | 0.000 % |
989.52/989.91 c | 539319 | 11711 50083 151979 | 2147483647 539319 218 | 0.000 % |
990.81/991.28 c | 539692 | 11711 50083 151979 | 2147483647 539692 218 | 0.000 % |
992.32/992.76 c | 540102 | 11711 50083 151979 | 2147483647 540102 218 | 0.000 % |
993.92/994.37 c | 540552 | 11711 50083 151979 | 2147483647 540552 218 | 0.000 % |
995.81/996.24 c | 541045 | 11711 50083 151979 | 2147483647 541045 218 | 0.000 % |
997.70/998.10 c | 541587 | 11711 50083 151979 | 2147483647 541587 218 | 0.000 % |
999.81/1000.26 c | 542186 | 11711 50083 151979 | 2147483647 542186 218 | 0.000 % |
1002.01/1002.43 c | 542842 | 11711 50083 151979 | 2147483647 542842 218 | 0.000 % |
1004.31/1004.77 c | 543563 | 11711 50083 151979 | 2147483647 543563 218 | 0.000 % |
1007.11/1007.59 c | 544356 | 11711 50083 151979 | 2147483647 544356 218 | 0.000 % |
1009.91/1010.34 c | 545227 | 11711 50083 151979 | 2147483647 545227 218 | 0.000 % |
1013.00/1013.43 c | 546186 | 11711 50083 151979 | 2147483647 546186 218 | 0.000 % |
1016.41/1016.84 c | 547241 | 11711 50083 151979 | 2147483647 547241 218 | 0.000 % |
1020.31/1020.77 c | 548400 | 11711 50083 151979 | 2147483647 548400 218 | 0.000 % |
1024.30/1024.73 c | 549673 | 11711 50083 151979 | 2147483647 549673 218 | 0.000 % |
1028.99/1029.42 c | 551074 | 11711 50083 151979 | 2147483647 551074 218 | 0.000 % |
1034.20/1034.64 c | 552615 | 11711 50083 151979 | 2147483647 552615 218 | 0.000 % |
1039.80/1040.27 c | 554309 | 11711 50083 151979 | 2147483647 554309 218 | 0.000 % |
1045.49/1045.97 c | 556172 | 11711 50083 151979 | 2147483647 556172 218 | 0.000 % |
1051.60/1052.06 c | 558224 | 11711 50083 151979 | 2147483647 558224 218 | 0.000 % |
1058.49/1058.99 c | 560478 | 11711 50083 151979 | 2147483647 560478 219 | 0.000 % |
1066.09/1066.59 c | 562957 | 11711 50083 151979 | 2147483647 562957 219 | 0.000 % |
1074.88/1075.38 c | 565682 | 11711 50083 151979 | 2147483647 565682 219 | 0.000 % |
1084.58/1085.04 c | 568679 | 11711 50083 151979 | 2147483647 568679 219 | 0.000 % |
1094.78/1095.24 c | 571976 | 11711 50083 151979 | 2147483647 571976 219 | 0.000 % |
1106.37/1106.83 c | 575602 | 11711 50083 151979 | 2147483647 575602 219 | 0.000 % |
1119.57/1120.03 c | 579590 | 11711 50083 151979 | 2147483647 579590 219 | 0.000 % |
1133.68/1134.17 c | 583975 | 11711 50083 151979 | 2147483647 583975 220 | 0.000 % |
1148.96/1149.44 c | 588799 | 11711 50083 151979 | 2147483647 588799 220 | 0.000 % |
1165.86/1166.36 c | 594104 | 11711 50083 151979 | 2147483647 594104 220 | 0.000 % |
1166.36/1166.85 c | 594204 | 11711 50083 151979 | 2147483647 594204 220 | 0.000 % |
1166.86/1167.35 c | 594316 | 11711 50083 151979 | 2147483647 594316 220 | 0.000 % |
1167.36/1167.86 c | 594438 | 11711 50083 151979 | 2147483647 594438 220 | 0.000 % |
1167.96/1168.48 c | 594571 | 11711 50083 151979 | 2147483647 594571 220 | 0.000 % |
1168.66/1169.14 c | 594718 | 11711 50083 151979 | 2147483647 594718 220 | 0.000 % |
1169.36/1169.87 c | 594879 | 11711 50083 151979 | 2147483647 594879 220 | 0.000 % |
1170.26/1170.71 c | 595057 | 11711 50083 151979 | 2147483647 595057 220 | 0.000 % |
1171.25/1171.74 c | 595251 | 11711 50083 151979 | 2147483647 595251 220 | 0.000 % |
1172.16/1172.64 c | 595463 | 11711 50083 151979 | 2147483647 595463 220 | 0.000 % |
1173.26/1173.72 c | 595697 | 11711 50083 151979 | 2147483647 595697 220 | 0.000 % |
1174.26/1174.76 c | 595954 | 11711 50083 151979 | 2147483647 595954 220 | 0.000 % |
1175.36/1175.82 c | 596235 | 11711 50083 151979 | 2147483647 596235 220 | 0.000 % |
1176.46/1176.98 c | 596545 | 11711 50083 151979 | 2147483647 596545 220 | 0.000 % |
1177.96/1178.46 c | 596887 | 11711 50083 151979 | 2147483647 596887 220 | 0.000 % |
1179.45/1179.93 c | 597259 | 11711 50083 151979 | 2147483647 597259 220 | 0.000 % |
1180.95/1181.45 c | 597669 | 11711 50083 151979 | 2147483647 597669 220 | 0.000 % |
1182.85/1183.37 c | 598119 | 11711 50083 151979 | 2147483647 598119 220 | 0.000 % |
1184.55/1185.04 c | 598614 | 11711 50083 151979 | 2147483647 598614 220 | 0.000 % |
1186.55/1187.05 c | 599157 | 11711 50083 151979 | 2147483647 599157 220 | 0.000 % |
1188.66/1189.19 c | 599753 | 11711 50083 151979 | 2147483647 599753 220 | 0.000 % |
1191.25/1191.71 c | 600410 | 11711 50083 151979 | 2147483647 600410 220 | 0.000 % |
1193.95/1194.41 c | 601131 | 11711 50083 151979 | 2147483647 601131 220 | 0.000 % |
1196.65/1197.19 c | 601924 | 11711 50083 151979 | 2147483647 601924 220 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832803-1242788087/watcher-1832803-1242788087 -o /tmp/evaluation-result-1832803-1242788087/solver-1832803-1242788087 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832803-1242788087.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11061
/proc/meminfo: memFree=1935792/2055920 swapFree=4180256/4192956
[pid=11061] ppid=11059 vsize=5356 CPUtime=0
/proc/11061/stat : 11061 (SatELiteGTI) S 11059 11061 10245 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306842732 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 252429697106 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/11061/statm: 1339 235 195 169 0 50 0
[pid=11062] ppid=11061 vsize=5356 CPUtime=0
/proc/11062/stat : 11062 (SatELiteGTI) S 11061 11061 10245 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 306842732 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4096 65538 18446744071563356171 0 0 17 1 0 0
/proc/11062/statm: 1339 238 198 169 0 50 0
[startup+0.062775 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11061
/proc/meminfo: memFree=1935792/2055920 swapFree=4180256/4192956
[pid=11061] ppid=11059 vsize=5356 CPUtime=0
/proc/11061/stat : 11061 (SatELiteGTI) S 11059 11061 10245 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306842732 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11061/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102776 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11061
/proc/meminfo: memFree=1935792/2055920 swapFree=4180256/4192956
[pid=11061] ppid=11059 vsize=5356 CPUtime=0
/proc/11061/stat : 11061 (SatELiteGTI) S 11059 11061 10245 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306842732 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11061/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302794 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11061
/proc/meminfo: memFree=1935792/2055920 swapFree=4180256/4192956
[pid=11061] ppid=11059 vsize=5356 CPUtime=0.21
/proc/11061/stat : 11061 (SatELiteGTI) S 11059 11061 10245 0 -1 4194304 336 1837 0 0 0 0 20 1 16 0 1 0 306842732 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11061/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 5356
[startup+0.701836 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11061
/proc/meminfo: memFree=1935792/2055920 swapFree=4180256/4192956
[pid=11061] ppid=11059 vsize=5356 CPUtime=0.21
/proc/11061/stat : 11061 (SatELiteGTI) S 11059 11061 10245 0 -1 4194304 336 1837 0 0 0 0 20 1 16 0 1 0 306842732 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11061/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 5356
[startup+1.50191 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 11067
/proc/meminfo: memFree=1929120/2055920 swapFree=4180256/4192956
[pid=11061] ppid=11059 vsize=5356 CPUtime=0.21
/proc/11061/stat : 11061 (SatELiteGTI) S 11059 11061 10245 0 -1 4194304 336 1837 0 0 0 0 20 1 16 0 1 0 306842732 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11061/statm: 1339 239 197 169 0 50 0
[pid=11067] ppid=11061 vsize=7200 CPUtime=1.27
/proc/11067/stat : 11067 (minisat_static) R 11061 11061 10245 0 -1 4194304 1637 0 0 0 127 0 0 0 25 0 1 0 306842754 7372800 1623 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/11067/statm: 1800 1623 77 171 0 1627 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 12556
[startup+3.10107 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 11067
/proc/meminfo: memFree=1927072/2055920 swapFree=4180256/4192956
[pid=11061] ppid=11059 vsize=5356 CPUtime=0.21
/proc/11061/stat : 11061 (SatELiteGTI) S 11059 11061 10245 0 -1 4194304 336 1837 0 0 0 0 20 1 16 0 1 0 306842732 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11061/statm: 1339 239 197 169 0 50 0
[pid=11067] ppid=11061 vsize=9852 CPUtime=2.87
/proc/11067/stat : 11067 (minisat_static) R 11061 11061 10245 0 -1 4194304 2303 0 0 0 286 1 0 0 25 0 1 0 306842754 10088448 2289 1992294400 134512640 135215339 4294956240 18446744073709551615 134532687 0 0 4096 3 0 0 0 17 1 0 0
/proc/11067/statm: 2463 2289 77 171 0 2290 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 15208
[startup+6.30139 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 11067
/proc/meminfo: memFree=1921568/2055920 swapFree=4180256/4192956
[pid=11061] ppid=11059 vsize=5356 CPUtime=0.21
/proc/11061/stat : 11061 (SatELiteGTI) S 11059 11061 10245 0 -1 4194304 336 1837 0 0 0 0 20 1 16 0 1 0 306842732 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11061/statm: 1339 239 197 169 0 50 0
[pid=11067] ppid=11061 vsize=15076 CPUtime=6.07
/proc/11067/stat : 11067 (minisat_static) R 11061 11061 10245 0 -1 4194304 3619 0 0 0 604 3 0 0 25 0 1 0 306842754 15437824 3605 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11067/statm: 3769 3605 77 171 0 3596 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 20432
[startup+12.701 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 11067
/proc/meminfo: memFree=1912160/2055920 swapFree=4180256/4192956
[pid=11061] ppid=11059 vsize=5356 CPUtime=0.21
/proc/11061/stat : 11061 (SatELiteGTI) S 11059 11061 10245 0 -1 4194304 336 1837 0 0 0 0 20 1 16 0 1 0 306842732 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11061/statm: 1339 239 197 169 0 50 0
[pid=11067] ppid=11061 vsize=23876 CPUtime=12.45
/proc/11067/stat : 11067 (minisat_static) R 11061 11061 10245 0 -1 4194304 5822 0 0 0 1240 5 0 0 25 0 1 0 306842754 24449024 5808 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/11067/statm: 5969 5808 77 171 0 5796 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 29232
[startup+25.5023 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11067
/proc/meminfo: memFree=1895712/2055920 swapFree=4180256/4192956
[pid=11061] ppid=11059 vsize=5356 CPUtime=0.21
/proc/11061/stat : 11061 (SatELiteGTI) S 11059 11061 10245 0 -1 4194304 336 1837 0 0 0 0 20 1 16 0 1 0 306842732 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11061/statm: 1339 239 197 169 0 50 0
[pid=11067] ppid=11061 vsize=39828 CPUtime=25.24
/proc/11067/stat : 11067 (minisat_static) R 11061 11061 10245 0 -1 4194304 9784 0 0 0 2515 9 0 0 25 0 1 0 306842754 40783872 9770 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/11067/statm: 9957 9770 77 171 0 9784 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 45184
[startup+51.1029 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11067
/proc/meminfo: memFree=1869664/2055920 swapFree=4180256/4192956
[pid=11061] ppid=11059 vsize=5356 CPUtime=0.21
/proc/11061/stat : 11061 (SatELiteGTI) S 11059 11061 10245 0 -1 4194304 336 1837 0 0 0 0 20 1 16 0 1 0 306842732 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11061/statm: 1339 239 197 169 0 50 0
[pid=11067] ppid=11061 vsize=65956 CPUtime=50.83
/proc/11067/stat : 11067 (minisat_static) R 11061 11061 10245 0 -1 4194304 16318 0 0 0 5067 16 0 0 25 0 1 0 306842754 67538944 16304 1992294400 134512640 135215339 4294956240 18446744073709551615 134528881 0 0 4096 3 0 0 0 17 1 0 0
/proc/11067/statm: 16489 16304 77 171 0 16316 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 71312
[startup+102.306 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 11067
/proc/meminfo: memFree=1826400/2055920 swapFree=4180256/4192956
[pid=11061] ppid=11059 vsize=5356 CPUtime=0.21
/proc/11061/stat : 11061 (SatELiteGTI) S 11059 11061 10245 0 -1 4194304 336 1837 0 0 0 0 20 1 16 0 1 0 306842732 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11061/statm: 1339 239 197 169 0 50 0
[pid=11067] ppid=11061 vsize=108648 CPUtime=102.01
/proc/11067/stat : 11067 (minisat_static) R 11061 11061 10245 0 -1 4194304 26999 0 0 0 10172 29 0 0 25 0 1 0 306842754 111255552 26985 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11067/statm: 27162 26985 77 171 0 26989 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 114004
[startup+162.303 s]
/proc/loadavg: 1.08 1.04 1.01 2/66 11067
/proc/meminfo: memFree=1785504/2055920 swapFree=4180256/4192956
[pid=11061] ppid=11059 vsize=5356 CPUtime=0.21
/proc/11061/stat : 11061 (SatELiteGTI) S 11059 11061 10245 0 -1 4194304 336 1837 0 0 0 0 20 1 16 0 1 0 306842732 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11061/statm: 1339 239 197 169 0 50 0
[pid=11067] ppid=11061 vsize=149840 CPUtime=161.98
/proc/11067/stat : 11067 (minisat_static) R 11061 11061 10245 0 -1 4194304 37269 0 0 0 16157 41 0 0 25 0 1 0 306842754 153436160 37255 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/11067/statm: 37460 37255 77 171 0 37287 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 155196
[startup+222.303 s]
/proc/loadavg: 1.03 1.03 1.00 2/66 11067
/proc/meminfo: memFree=1750304/2055920 swapFree=4180256/4192956
[pid=11061] ppid=11059 vsize=5356 CPUtime=0.21
/proc/11061/stat : 11061 (SatELiteGTI) S 11059 11061 10245 0 -1 4194304 336 1837 0 0 0 0 20 1 16 0 1 0 306842732 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11061/statm: 1339 239 197 169 0 50 0
[pid=11067] ppid=11061 vsize=184700 CPUtime=221.95
/proc/11067/stat : 11067 (minisat_static) R 11061 11061 10245 0 -1 4194304 45923 0 0 0 22144 51 0 0 25 0 1 0 306842754 189132800 45909 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11067/statm: 46175 45909 77 171 0 46002 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 190056
[startup+282.303 s]
/proc/loadavg: 1.01 1.02 1.00 2/66 11067
/proc/meminfo: memFree=1718176/2055920 swapFree=4180256/4192956
[pid=11061] ppid=11059 vsize=5356 CPUtime=0.21
/proc/11061/stat : 11061 (SatELiteGTI) S 11059 11061 10245 0 -1 4194304 336 1837 0 0 0 0 20 1 16 0 1 0 306842732 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11061/statm: 1339 239 197 169 0 50 0
[pid=11067] ppid=11061 vsize=216912 CPUtime=281.93
/proc/11067/stat : 11067 (minisat_static) R 11061 11061 10245 0 -1 4194304 54025 0 0 0 28134 59 0 0 25 0 1 0 306842754 222117888 54011 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11067/statm: 54228 54011 77 171 0 54055 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 222268
[startup+342.303 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 11067
/proc/meminfo: memFree=1687136/2055920 swapFree=4180256/4192956
[pid=11061] ppid=11059 vsize=5356 CPUtime=0.21
/proc/11061/stat : 11061 (SatELiteGTI) S 11059 11061 10245 0 -1 4194304 336 1837 0 0 0 0 20 1 16 0 1 0 306842732 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11061/statm: 1339 239 197 169 0 50 0
[pid=11067] ppid=11061 vsize=247272 CPUtime=341.91
/proc/11067/stat : 11067 (minisat_static) R 11061 11061 10245 0 -1 4194304 61650 0 0 0 34122 69 0 0 25 0 1 0 306842754 253206528 61636 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/11067/statm: 61818 61636 77 171 0 61645 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 252628
[startup+402.303 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 11073
/proc/meminfo: memFree=1658784/2055920 swapFree=4180256/4192956
[pid=11061] ppid=11059 vsize=5356 CPUtime=0.21
/proc/11061/stat : 11061 (SatELiteGTI) S 11059 11061 10245 0 -1 4194304 336 1837 0 0 0 0 20 1 16 0 1 0 306842732 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11061/statm: 1339 239 197 169 0 50 0
[pid=11067] ppid=11061 vsize=276128 CPUtime=401.88
/proc/11067/stat : 11067 (minisat_static) R 11061 11061 10245 0 -1 4194304 68725 0 0 0 40112 76 0 0 25 0 1 0 306842754 282755072 68711 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11067/statm: 69032 68711 77 171 0 68859 0
Current children cumulated CPU time (s) 402.09
################
# More data... #
################
/proc/11067/statm: 88042 87825 77 171 0 87869 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 357524
[startup+642.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11073
/proc/meminfo: memFree=1561056/2055920 swapFree=4180256/4192956
[pid=11061] ppid=11059 vsize=5356 CPUtime=0.21
/proc/11061/stat : 11061 (SatELiteGTI) S 11059 11061 10245 0 -1 4194304 336 1837 0 0 0 0 20 1 16 0 1 0 306842732 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11061/statm: 1339 239 197 169 0 50 0
[pid=11067] ppid=11061 vsize=372628 CPUtime=641.82
/proc/11067/stat : 11067 (minisat_static) R 11061 11061 10245 0 -1 4194304 92954 0 0 0 64077 105 0 0 25 0 1 0 306842754 381571072 92940 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/11067/statm: 93157 92940 77 171 0 92984 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 377984
[startup+702.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11073
/proc/meminfo: memFree=1539616/2055920 swapFree=4180256/4192956
[pid=11061] ppid=11059 vsize=5356 CPUtime=0.21
/proc/11061/stat : 11061 (SatELiteGTI) S 11059 11061 10245 0 -1 4194304 336 1837 0 0 0 0 20 1 16 0 1 0 306842732 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11061/statm: 1339 239 197 169 0 50 0
[pid=11067] ppid=11061 vsize=394012 CPUtime=701.79
/proc/11067/stat : 11067 (minisat_static) R 11061 11061 10245 0 -1 4194304 98320 0 0 0 70067 112 0 0 25 0 1 0 306842754 403468288 98306 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/11067/statm: 98503 98306 77 171 0 98330 0
Current children cumulated CPU time (s) 702
Current children cumulated vsize (KiB) 399368
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11073
/proc/meminfo: memFree=1518816/2055920 swapFree=4180256/4192956
[pid=11061] ppid=11059 vsize=5356 CPUtime=0.21
/proc/11061/stat : 11061 (SatELiteGTI) S 11059 11061 10245 0 -1 4194304 336 1837 0 0 0 0 20 1 16 0 1 0 306842732 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11061/statm: 1339 239 197 169 0 50 0
[pid=11067] ppid=11061 vsize=414344 CPUtime=761.78
/proc/11067/stat : 11067 (minisat_static) R 11061 11061 10245 0 -1 4194304 103437 0 0 0 76059 119 0 0 25 0 1 0 306842754 424288256 103423 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11067/statm: 103586 103423 77 171 0 103413 0
Current children cumulated CPU time (s) 761.99
Current children cumulated vsize (KiB) 419700
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11073
/proc/meminfo: memFree=1497056/2055920 swapFree=4180256/4192956
[pid=11061] ppid=11059 vsize=5356 CPUtime=0.21
/proc/11061/stat : 11061 (SatELiteGTI) S 11059 11061 10245 0 -1 4194304 336 1837 0 0 0 0 20 1 16 0 1 0 306842732 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11061/statm: 1339 239 197 169 0 50 0
[pid=11067] ppid=11061 vsize=436904 CPUtime=821.75
/proc/11067/stat : 11067 (minisat_static) R 11061 11061 10245 0 -1 4194304 108878 0 0 0 82050 125 0 0 25 0 1 0 306842754 447389696 108864 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11067/statm: 109226 108864 77 171 0 109053 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 442260
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11073
/proc/meminfo: memFree=1480160/2055920 swapFree=4180256/4192956
[pid=11061] ppid=11059 vsize=5356 CPUtime=0.21
/proc/11061/stat : 11061 (SatELiteGTI) S 11059 11061 10245 0 -1 4194304 336 1837 0 0 0 0 20 1 16 0 1 0 306842732 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11061/statm: 1339 239 197 169 0 50 0
[pid=11067] ppid=11061 vsize=453672 CPUtime=881.74
/proc/11067/stat : 11067 (minisat_static) R 11061 11061 10245 0 -1 4194304 113070 0 0 0 88043 131 0 0 25 0 1 0 306842754 464560128 113056 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/11067/statm: 113418 113056 77 171 0 113245 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 459028
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11073
/proc/meminfo: memFree=1460512/2055920 swapFree=4180256/4192956
[pid=11061] ppid=11059 vsize=5356 CPUtime=0.21
/proc/11061/stat : 11061 (SatELiteGTI) S 11059 11061 10245 0 -1 4194304 336 1837 0 0 0 0 20 1 16 0 1 0 306842732 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11061/statm: 1339 239 197 169 0 50 0
[pid=11067] ppid=11061 vsize=473340 CPUtime=941.72
/proc/11067/stat : 11067 (minisat_static) R 11061 11061 10245 0 -1 4194304 118004 0 0 0 94035 137 0 0 25 0 1 0 306842754 484700160 117990 1992294400 134512640 135215339 4294956240 18446744073709551615 134528791 0 0 4096 3 0 0 0 17 1 0 0
/proc/11067/statm: 118335 117990 77 171 0 118162 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 478696
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11073
/proc/meminfo: memFree=1443040/2055920 swapFree=4180256/4192956
[pid=11061] ppid=11059 vsize=5356 CPUtime=0.21
/proc/11061/stat : 11061 (SatELiteGTI) S 11059 11061 10245 0 -1 4194304 336 1837 0 0 0 0 20 1 16 0 1 0 306842732 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11061/statm: 1339 239 197 169 0 50 0
[pid=11067] ppid=11061 vsize=490368 CPUtime=1001.7
/proc/11067/stat : 11067 (minisat_static) R 11061 11061 10245 0 -1 4194304 122294 0 0 0 100028 142 0 0 25 0 1 0 306842754 502136832 122280 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11067/statm: 122592 122280 77 171 0 122419 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 495724
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11073
/proc/meminfo: memFree=1425824/2055920 swapFree=4180256/4192956
[pid=11061] ppid=11059 vsize=5356 CPUtime=0.21
/proc/11061/stat : 11061 (SatELiteGTI) S 11059 11061 10245 0 -1 4194304 336 1837 0 0 0 0 20 1 16 0 1 0 306842732 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11061/statm: 1339 239 197 169 0 50 0
[pid=11067] ppid=11061 vsize=507660 CPUtime=1061.67
/proc/11067/stat : 11067 (minisat_static) R 11061 11061 10245 0 -1 4194304 126619 0 0 0 106021 146 0 0 25 0 1 0 306842754 519843840 126605 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/11067/statm: 126915 126605 77 171 0 126742 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 513016
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11073
/proc/meminfo: memFree=1407776/2055920 swapFree=4180256/4192956
[pid=11061] ppid=11059 vsize=5356 CPUtime=0.21
/proc/11061/stat : 11061 (SatELiteGTI) S 11059 11061 10245 0 -1 4194304 336 1837 0 0 0 0 20 1 16 0 1 0 306842732 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11061/statm: 1339 239 197 169 0 50 0
[pid=11067] ppid=11061 vsize=525348 CPUtime=1121.66
/proc/11067/stat : 11067 (minisat_static) R 11061 11061 10245 0 -1 4194304 131061 0 0 0 112013 153 0 0 25 0 1 0 306842754 537956352 131047 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11067/statm: 131337 131047 77 171 0 131164 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 530704
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11073
/proc/meminfo: memFree=1389216/2055920 swapFree=4180256/4192956
[pid=11061] ppid=11059 vsize=5356 CPUtime=0.21
/proc/11061/stat : 11061 (SatELiteGTI) S 11059 11061 10245 0 -1 4194304 336 1837 0 0 0 0 20 1 16 0 1 0 306842732 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11061/statm: 1339 239 197 169 0 50 0
[pid=11067] ppid=11061 vsize=543696 CPUtime=1181.64
/proc/11067/stat : 11067 (minisat_static) R 11061 11061 10245 0 -1 4194304 135681 0 0 0 118007 157 0 0 25 0 1 0 306842754 556744704 135667 1992294400 134512640 135215339 4294956240 18446744073709551615 134528860 0 0 4096 3 0 0 0 17 1 0 0
/proc/11067/statm: 135924 135667 77 171 0 135751 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 549052
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11073
/proc/meminfo: memFree=1384672/2055920 swapFree=4180256/4192956
[pid=11061] ppid=11059 vsize=5356 CPUtime=0.21
/proc/11061/stat : 11061 (SatELiteGTI) S 11059 11061 10245 0 -1 4194304 336 1837 0 0 0 0 20 1 16 0 1 0 306842732 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11061/statm: 1339 239 197 169 0 50 0
[pid=11067] ppid=11061 vsize=548052 CPUtime=1199.84
/proc/11067/stat : 11067 (minisat_static) R 11061 11061 10245 0 -1 4194304 136782 0 0 0 119825 159 0 0 25 0 1 0 306842754 561205248 136768 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/11067/statm: 137013 136768 77 171 0 136840 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 553408
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 11073
/proc/meminfo: memFree=1384672/2055920 swapFree=4180256/4192956
[pid=11061] ppid=11059 vsize=5356 CPUtime=0.21
/proc/11061/stat : 11061 (SatELiteGTI) S 11059 11061 10245 0 -1 4194304 336 1837 0 0 0 0 20 1 16 0 1 0 306842732 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11061/statm: 1339 239 197 169 0 50 0
[pid=11067] ppid=11061 vsize=548052 CPUtime=1199.84
/proc/11067/stat : 11067 (minisat_static) R 11061 11061 10245 0 -1 4194304 136782 0 0 0 119825 159 0 0 25 0 1 0 306842754 561205248 136768 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/11067/statm: 137013 136768 77 171 0 136840 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 553408
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11061 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=206968
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=13997
# CPU time returned by wait4() is 0.220965
# while last known CPU time is 1200.05
#
# 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.05
CPU user time (s): 1198.45
CPU system time (s): 1.6
CPU usage (%): 99.9615
Max. virtual memory (cumulated for all children) (KiB): 553408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.206968
system time used= 0.013997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2173
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= 11
runsolver used 1.40079 second user time and 3.06853 second system time
The end
Begin job on node12 at 2009-05-20 04:54:47
IDJOB=1832803
IDBENCH=70365
IDSOLVER=671
FILE ID=node12/1832803-1242788087
PBS_JOBID= 9322357
Free space on /tmp= 66300 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/12000/unif-k3-r4.2-v12000-c50400-S826724848-048.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832803-1242788087/watcher-1832803-1242788087 -o /tmp/evaluation-result-1832803-1242788087/solver-1832803-1242788087 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832803-1242788087.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ac206d26fdd8779eb6f2b1fce5fa4c62
RANDOM SEED=1729676065
node12.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.213
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.213
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: 1936272 kB
Buffers: 10032 kB
Cached: 63800 kB
SwapCached: 6884 kB
Active: 30788 kB
Inactive: 51328 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1936272 kB
SwapTotal: 4192956 kB
SwapFree: 4180256 kB
Dirty: 2504 kB
Writeback: 0 kB
Mapped: 13552 kB
Slab: 22980 kB
Committed_AS: 1152076 kB
PageTables: 2016 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= 66296 MiB
End job on node12 at 2009-05-20 05:14:50