0.00/0.00 c Parsing...
0.00/0.06 c ==============================================================================
0.00/0.06 c | | ORIGINAL | LEARNT | |
0.00/0.06 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.06 c ==============================================================================
0.00/0.06 c | 0 | 58800 176400 | 17639 0 0 nan | 0.000 % |
0.00/0.21 c | 0 | 58448 177424 | -- 0 -- -- | -- | -352/1024
0.00/0.21 c ==============================================================================
0.00/0.21 c Result : #vars: 13664 #clauses: 58448 #literals: 177424
0.00/0.21 c CPU time: 0.19497 s
0.00/0.21 c ==============================================================================
0.00/0.27 c This is MiniSat 2.0 beta
0.00/0.27 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.27 c ============================[ Problem Statistics ]=============================
0.00/0.27 c | |
0.00/0.27 c | Number of variables: 13664 |
0.00/0.27 c | Number of clauses: 58448 |
0.26/0.31 c | Parsing time: 0.04 s |
0.26/0.32 c ============================[ Search Statistics ]==============================
0.26/0.32 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.26/0.32 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.26/0.32 c ===============================================================================
0.26/0.32 c | 0 | 13664 58448 177424 | 19482 0 nan | 0.000 % |
0.26/0.36 c | 100 | 13664 58448 177424 | 19482 100 184 | 0.000 % |
0.26/0.41 c | 200 | 13664 58448 177424 | 19482 200 194 | 0.000 % |
0.26/0.45 c | 300 | 13664 58448 177424 | 19482 300 181 | 0.000 % |
0.26/0.51 c | 410 | 13664 58448 177424 | 19482 410 195 | 0.000 % |
0.26/0.55 c | 510 | 13664 58448 177424 | 19482 510 189 | 0.000 % |
0.26/0.61 c | 622 | 13664 58448 177424 | 19482 622 190 | 0.000 % |
0.26/0.66 c | 743 | 13664 58448 177424 | 19482 743 183 | 0.000 % |
0.26/0.70 c | 843 | 13664 58448 177424 | 19482 843 179 | 0.000 % |
0.26/0.76 c | 953 | 13664 58448 177424 | 19482 953 178 | 0.000 % |
0.26/0.82 c | 1076 | 13664 58448 177424 | 19482 1076 183 | 0.000 % |
0.26/0.88 c | 1211 | 13664 58448 177424 | 19482 1211 184 | 0.000 % |
0.26/0.93 c | 1314 | 13664 58448 177424 | 19482 1314 186 | 0.000 % |
0.26/0.98 c | 1427 | 13664 58448 177424 | 19482 1427 186 | 0.000 % |
0.97/1.04 c | 1548 | 13664 58448 177424 | 19482 1548 185 | 0.000 % |
1.07/1.11 c | 1681 | 13664 58448 177424 | 19482 1681 184 | 0.000 % |
1.07/1.17 c | 1827 | 13664 58448 177424 | 19482 1827 186 | 0.000 % |
1.17/1.22 c | 1927 | 13664 58448 177424 | 19482 1927 185 | 0.000 % |
1.17/1.27 c | 2037 | 13664 58448 177424 | 19482 2037 183 | 0.000 % |
1.27/1.32 c | 2158 | 13664 58448 177424 | 19482 2158 185 | 0.000 % |
1.27/1.39 c | 2292 | 13664 58448 177424 | 19482 2292 182 | 0.000 % |
1.37/1.45 c | 2438 | 13664 58448 177424 | 19482 2438 180 | 0.000 % |
1.47/1.53 c | 2600 | 13664 58448 177424 | 19482 2600 180 | 0.000 % |
1.47/1.58 c | 2700 | 13664 58448 177424 | 19482 2700 178 | 0.000 % |
1.57/1.63 c | 2812 | 13664 58448 177424 | 19482 2812 176 | 0.000 % |
1.57/1.69 c | 2933 | 13664 58448 177424 | 19482 2933 178 | 0.000 % |
1.67/1.76 c | 3067 | 13664 58448 177424 | 19482 3067 177 | 0.000 % |
1.77/1.83 c | 3213 | 13664 58448 177424 | 19482 3213 179 | 0.000 % |
1.87/1.90 c | 3373 | 13664 58448 177424 | 19482 3373 180 | 0.000 % |
1.87/1.99 c | 3550 | 13664 58448 177424 | 19482 3550 180 | 0.000 % |
1.97/2.04 c | 3651 | 13664 58448 177424 | 19482 3651 180 | 0.000 % |
1.97/2.09 c | 3761 | 13664 58448 177424 | 19482 3761 180 | 0.000 % |
2.07/2.16 c | 3883 | 13664 58448 177424 | 19482 3883 182 | 0.000 % |
2.18/2.23 c | 4017 | 13664 58448 177424 | 19482 4017 181 | 0.000 % |
2.28/2.30 c | 4165 | 13664 58448 177424 | 19482 4165 181 | 0.000 % |
2.28/2.38 c | 4327 | 13664 58448 177424 | 19482 4327 181 | 0.000 % |
2.38/2.46 c | 4503 | 13664 58448 177424 | 19482 4503 180 | 0.000 % |
2.47/2.55 c | 4696 | 13664 58448 177424 | 19482 4696 180 | 0.000 % |
2.57/2.60 c | 4796 | 13664 58448 177424 | 19482 4796 179 | 0.000 % |
2.57/2.66 c | 4906 | 13664 58448 177424 | 19482 4906 180 | 0.000 % |
2.67/2.71 c | 5027 | 13664 58448 177424 | 19482 5027 179 | 0.000 % |
2.67/2.78 c | 5161 | 13664 58448 177424 | 19482 5161 179 | 0.000 % |
2.77/2.85 c | 5308 | 13664 58448 177424 | 19482 5308 178 | 0.000 % |
2.87/2.93 c | 5468 | 13664 58448 177424 | 19482 5468 178 | 0.000 % |
2.97/3.03 c | 5645 | 13664 58448 177424 | 19482 5645 180 | 0.000 % |
3.07/3.13 c | 5838 | 13664 58448 177424 | 19482 5838 180 | 0.000 % |
3.17/3.24 c | 6050 | 13664 58448 177424 | 19482 6050 180 | 0.000 % |
3.17/3.29 c | 6150 | 13664 58448 177424 | 19482 6150 179 | 0.000 % |
3.27/3.34 c | 6262 | 13664 58448 177424 | 19482 6262 179 | 0.000 % |
3.37/3.40 c | 6383 | 13664 58448 177424 | 19482 6383 179 | 0.000 % |
3.37/3.47 c | 6516 | 13664 58448 177424 | 19482 6516 180 | 0.000 % |
3.47/3.55 c | 6662 | 13664 58448 177424 | 19482 6662 179 | 0.000 % |
3.57/3.64 c | 6823 | 13664 58448 177424 | 19482 6823 180 | 0.000 % |
3.67/3.73 c | 7000 | 13664 58448 177424 | 19482 7000 179 | 0.000 % |
3.77/3.83 c | 7195 | 13664 58448 177424 | 19482 7195 180 | 0.000 % |
3.88/3.94 c | 7409 | 13664 58448 177424 | 19482 7409 180 | 0.000 % |
3.98/4.06 c | 7643 | 13664 58448 177424 | 19482 7643 179 | 0.000 % |
4.07/4.11 c | 7745 | 13664 58448 177424 | 19482 7745 178 | 0.000 % |
4.07/4.17 c | 7855 | 13664 58448 177424 | 19482 7855 178 | 0.000 % |
4.17/4.23 c | 7976 | 13664 58448 177424 | 19482 7976 178 | 0.000 % |
4.28/4.30 c | 8111 | 13664 58448 177424 | 19482 8111 178 | 0.000 % |
4.28/4.38 c | 8259 | 13664 58448 177424 | 19482 8259 178 | 0.000 % |
4.38/4.47 c | 8420 | 13664 58448 177424 | 19482 8420 178 | 0.000 % |
4.47/4.56 c | 8596 | 13664 58448 177424 | 19482 8596 177 | 0.000 % |
4.57/4.66 c | 8792 | 13664 58448 177424 | 19482 8792 180 | 0.000 % |
4.67/4.77 c | 9004 | 13664 58448 177424 | 19482 9004 180 | 0.000 % |
4.77/4.88 c | 9238 | 13664 58448 177424 | 19482 9238 181 | 0.000 % |
4.97/5.01 c | 9495 | 13664 58448 177424 | 19482 9495 181 | 0.000 % |
4.97/5.07 c | 9598 | 13664 58448 177424 | 19482 9598 180 | 0.000 % |
5.07/5.13 c | 9709 | 13664 58448 177424 | 19482 9709 181 | 0.000 % |
5.17/5.20 c | 9830 | 13664 58448 177424 | 19482 9830 181 | 0.000 % |
5.17/5.28 c | 9964 | 13664 58448 177424 | 19482 9964 181 | 0.000 % |
5.27/5.34 c | 10110 | 13664 58448 177424 | 2147483647 10110 182 | 0.000 % |
5.37/5.44 c | 10272 | 13664 58448 177424 | 2147483647 10272 181 | 0.000 % |
5.48/5.54 c | 10449 | 13664 58448 177424 | 2147483647 10449 183 | 0.000 % |
5.57/5.65 c | 10643 | 13664 58448 177424 | 2147483647 10643 182 | 0.000 % |
5.67/5.76 c | 10855 | 13664 58448 177424 | 2147483647 10855 182 | 0.000 % |
5.77/5.89 c | 11088 | 13664 58448 177424 | 2147483647 11088 184 | 0.000 % |
5.97/6.02 c | 11345 | 13664 58448 177424 | 2147483647 11345 183 | 0.000 % |
6.07/6.17 c | 11628 | 13664 58448 177424 | 2147483647 11628 183 | 0.000 % |
6.17/6.22 c | 11728 | 13664 58448 177424 | 2147483647 11728 183 | 0.000 % |
6.17/6.28 c | 11838 | 13664 58448 177424 | 2147483647 11838 183 | 0.000 % |
6.27/6.35 c | 11959 | 13664 58448 177424 | 2147483647 11959 184 | 0.000 % |
6.37/6.43 c | 12092 | 13664 58448 177424 | 2147483647 12092 184 | 0.000 % |
6.48/6.51 c | 12238 | 13664 58448 177424 | 2147483647 12238 184 | 0.000 % |
6.48/6.59 c | 12398 | 13664 58448 177424 | 2147483647 12398 183 | 0.000 % |
6.57/6.69 c | 12574 | 13664 58448 177424 | 2147483647 12574 182 | 0.000 % |
6.67/6.79 c | 12769 | 13664 58448 177424 | 2147483647 12769 182 | 0.000 % |
6.87/6.92 c | 12982 | 13664 58448 177424 | 2147483647 12982 182 | 0.000 % |
6.97/7.05 c | 13216 | 13664 58448 177424 | 2147483647 13216 182 | 0.000 % |
7.07/7.19 c | 13473 | 13664 58448 177424 | 2147483647 13473 182 | 0.000 % |
7.27/7.34 c | 13754 | 13664 58448 177424 | 2147483647 13754 182 | 0.000 % |
7.47/7.53 c | 14064 | 13664 58448 177424 | 2147483647 14064 184 | 0.000 % |
7.47/7.60 c | 14164 | 13664 58448 177424 | 2147483647 14164 184 | 0.000 % |
7.57/7.66 c | 14274 | 13664 58448 177424 | 2147483647 14274 184 | 0.000 % |
7.67/7.73 c | 14395 | 13664 58448 177424 | 2147483647 14395 185 | 0.000 % |
7.77/7.81 c | 14528 | 13664 58448 177424 | 2147483647 14528 185 | 0.000 % |
7.87/7.90 c | 14676 | 13664 58448 177424 | 2147483647 14676 184 | 0.000 % |
7.87/7.99 c | 14836 | 13664 58448 177424 | 2147483647 14836 184 | 0.000 % |
7.97/8.09 c | 15013 | 13664 58448 177424 | 2147483647 15013 185 | 0.000 % |
8.07/8.19 c | 15207 | 13664 58448 177424 | 2147483647 15207 185 | 0.000 % |
8.26/8.32 c | 15420 | 13664 58448 177424 | 2147483647 15420 185 | 0.000 % |
8.36/8.45 c | 15654 | 13664 58448 177424 | 2147483647 15654 185 | 0.000 % |
8.47/8.59 c | 15910 | 13664 58448 177424 | 2147483647 15910 185 | 0.000 % |
8.68/8.75 c | 16191 | 13664 58448 177424 | 2147483647 16191 185 | 0.000 % |
8.87/8.93 c | 16501 | 13664 58448 177424 | 2147483647 16501 186 | 0.000 % |
9.07/9.10 c | 16840 | 13664 58448 177424 | 2147483647 16840 186 | 0.000 % |
9.07/9.16 c | 16940 | 13664 58448 177424 | 2147483647 16940 186 | 0.000 % |
9.17/9.22 c | 17050 | 13664 58448 177424 | 2147483647 17050 186 | 0.000 % |
9.17/9.28 c | 17172 | 13664 58448 177424 | 2147483647 17172 185 | 0.000 % |
9.27/9.36 c | 17305 | 13664 58448 177424 | 2147483647 17305 185 | 0.000 % |
9.37/9.45 c | 17453 | 13664 58448 177424 | 2147483647 17453 185 | 0.000 % |
9.47/9.54 c | 17614 | 13664 58448 177424 | 2147483647 17614 186 | 0.000 % |
9.57/9.64 c | 17790 | 13664 58448 177424 | 2147483647 17790 186 | 0.000 % |
9.67/9.76 c | 17984 | 13664 58448 177424 | 2147483647 17984 186 | 0.000 % |
9.77/9.89 c | 18196 | 13664 58448 177424 | 2147483647 18196 186 | 0.000 % |
9.97/10.02 c | 18429 | 13664 58448 177424 | 2147483647 18429 186 | 0.000 % |
10.07/10.17 c | 18688 | 13664 58448 177424 | 2147483647 18688 187 | 0.000 % |
10.27/10.33 c | 18970 | 13664 58448 177424 | 2147483647 18970 187 | 0.000 % |
10.47/10.51 c | 19279 | 13664 58448 177424 | 2147483647 19279 187 | 0.000 % |
10.67/10.72 c | 19620 | 13664 58448 177424 | 2147483647 19620 187 | 0.000 % |
10.87/10.93 c | 19992 | 13664 58448 177424 | 2147483647 19992 187 | 0.000 % |
10.97/11.00 c | 20092 | 13664 58448 177424 | 2147483647 20092 187 | 0.000 % |
10.97/11.08 c | 20204 | 13664 58448 177424 | 2147483647 20204 187 | 0.000 % |
11.06/11.15 c | 20325 | 13664 58448 177424 | 2147483647 20325 187 | 0.000 % |
11.16/11.23 c | 20458 | 13664 58448 177424 | 2147483647 20458 187 | 0.000 % |
11.26/11.31 c | 20605 | 13664 58448 177424 | 2147483647 20605 187 | 0.000 % |
11.36/11.41 c | 20765 | 13664 58448 177424 | 2147483647 20765 187 | 0.000 % |
11.46/11.52 c | 20945 | 13664 58448 177424 | 2147483647 20945 187 | 0.000 % |
11.56/11.62 c | 21139 | 13664 58448 177424 | 2147483647 21139 187 | 0.000 % |
11.67/11.75 c | 21351 | 13664 58448 177424 | 2147483647 21351 187 | 0.000 % |
11.77/11.89 c | 21585 | 13664 58448 177424 | 2147483647 21585 187 | 0.000 % |
11.97/12.05 c | 21844 | 13664 58448 177424 | 2147483647 21844 187 | 0.000 % |
12.17/12.21 c | 22125 | 13664 58448 177424 | 2147483647 22125 187 | 0.000 % |
12.37/12.40 c | 22434 | 13664 58448 177424 | 2147483647 22434 187 | 0.000 % |
12.47/12.58 c | 22774 | 13664 58448 177424 | 2147483647 22774 187 | 0.000 % |
12.77/12.81 c | 23151 | 13664 58448 177424 | 2147483647 23151 187 | 0.000 % |
12.97/13.06 c | 23560 | 13664 58448 177424 | 2147483647 23560 188 | 0.000 % |
13.07/13.14 c | 23662 | 13664 58448 177424 | 2147483647 23662 188 | 0.000 % |
13.17/13.20 c | 23773 | 13664 58448 177424 | 2147483647 23773 187 | 0.000 % |
13.17/13.28 c | 23894 | 13664 58448 177424 | 2147483647 23894 187 | 0.000 % |
13.27/13.37 c | 24027 | 13664 58448 177424 | 2147483647 24027 188 | 0.000 % |
13.37/13.47 c | 24173 | 13664 58448 177424 | 2147483647 24173 188 | 0.000 % |
13.47/13.57 c | 24333 | 13664 58448 177424 | 2147483647 24333 188 | 0.000 % |
13.57/13.67 c | 24509 | 13664 58448 177424 | 2147483647 24509 188 | 0.000 % |
13.76/13.80 c | 24704 | 13664 58448 177424 | 2147483647 24704 187 | 0.000 % |
13.86/13.94 c | 24916 | 13664 58448 177424 | 2147483647 24916 188 | 0.000 % |
13.96/14.10 c | 25149 | 13664 58448 177424 | 2147483647 25149 188 | 0.000 % |
14.17/14.24 c | 25405 | 13664 58448 177424 | 2147483647 25405 188 | 0.000 % |
14.36/14.41 c | 25686 | 13664 58448 177424 | 2147483647 25686 188 | 0.000 % |
14.57/14.60 c | 25995 | 13664 58448 177424 | 2147483647 25995 188 | 0.000 % |
14.77/14.80 c | 26335 | 13664 58448 177424 | 2147483647 26335 189 | 0.000 % |
14.97/15.03 c | 26708 | 13664 58448 177424 | 2147483647 26708 189 | 0.000 % |
15.17/15.29 c | 27117 | 13664 58448 177424 | 2147483647 27117 191 | 0.000 % |
15.47/15.58 c | 27568 | 13664 58448 177424 | 2147483647 27568 191 | 0.000 % |
15.57/15.65 c | 27669 | 13664 58448 177424 | 2147483647 27669 191 | 0.000 % |
15.67/15.73 c | 27780 | 13664 58448 177424 | 2147483647 27780 191 | 0.000 % |
15.77/15.82 c | 27901 | 13664 58448 177424 | 2147483647 27901 191 | 0.000 % |
15.87/15.91 c | 28034 | 13664 58448 177424 | 2147483647 28034 191 | 0.000 % |
15.97/16.01 c | 28180 | 13664 58448 177424 | 2147483647 28180 191 | 0.000 % |
16.07/16.12 c | 28340 | 13664 58448 177424 | 2147483647 28340 191 | 0.000 % |
16.16/16.23 c | 28516 | 13664 58448 177424 | 2147483647 28516 191 | 0.000 % |
16.26/16.36 c | 28709 | 13664 58448 177424 | 2147483647 28709 191 | 0.000 % |
16.37/16.48 c | 28921 | 13664 58448 177424 | 2147483647 28921 191 | 0.000 % |
16.57/16.64 c | 29154 | 13664 58448 177424 | 2147483647 29154 191 | 0.000 % |
16.77/16.81 c | 29410 | 13664 58448 177424 | 2147483647 29410 191 | 0.000 % |
16.87/16.99 c | 29692 | 13664 58448 177424 | 2147483647 29692 191 | 0.000 % |
17.07/17.17 c | 30002 | 13664 58448 177424 | 2147483647 30002 191 | 0.000 % |
17.27/17.37 c | 30342 | 13664 58448 177424 | 2147483647 30342 191 | 0.000 % |
17.57/17.61 c | 30715 | 13664 58448 177424 | 2147483647 30715 191 | 0.000 % |
17.77/17.86 c | 31124 | 13664 58448 177424 | 2147483647 31124 191 | 0.000 % |
18.07/18.16 c | 31573 | 13664 58448 177424 | 2147483647 31573 191 | 0.000 % |
18.37/18.47 c | 32067 | 13664 58448 177424 | 2147483647 32067 191 | 0.000 % |
18.47/18.55 c | 32167 | 13664 58448 177424 | 2147483647 32167 191 | 0.000 % |
18.57/18.62 c | 32277 | 13664 58448 177424 | 2147483647 32277 191 | 0.000 % |
18.67/18.71 c | 32400 | 13664 58448 177424 | 2147483647 32400 191 | 0.000 % |
18.77/18.80 c | 32533 | 13664 58448 177424 | 2147483647 32533 191 | 0.000 % |
18.86/18.92 c | 32679 | 13664 58448 177424 | 2147483647 32679 191 | 0.000 % |
18.96/19.01 c | 32839 | 13664 58448 177424 | 2147483647 32839 191 | 0.000 % |
19.06/19.13 c | 33017 | 13664 58448 177424 | 2147483647 33017 191 | 0.000 % |
19.16/19.28 c | 33212 | 13664 58448 177424 | 2147483647 33212 191 | 0.000 % |
19.36/19.41 c | 33426 | 13664 58448 177424 | 2147483647 33426 191 | 0.000 % |
19.46/19.56 c | 33660 | 13664 58448 177424 | 2147483647 33660 191 | 0.000 % |
19.67/19.73 c | 33916 | 13664 58448 177424 | 2147483647 33916 191 | 0.000 % |
19.86/19.92 c | 34197 | 13664 58448 177424 | 2147483647 34197 191 | 0.000 % |
20.06/20.14 c | 34508 | 13664 58448 177424 | 2147483647 34508 191 | 0.000 % |
20.26/20.36 c | 34847 | 13664 58448 177424 | 2147483647 34847 191 | 0.000 % |
20.56/20.60 c | 35219 | 13664 58448 177424 | 2147483647 35219 191 | 0.000 % |
20.76/20.87 c | 35628 | 13664 58448 177424 | 2147483647 35628 191 | 0.000 % |
21.07/21.16 c | 36079 | 13664 58448 177424 | 2147483647 36079 191 | 0.000 % |
21.37/21.48 c | 36572 | 13664 58448 177424 | 2147483647 36572 191 | 0.000 % |
21.76/21.83 c | 37114 | 13664 58448 177424 | 2147483647 37114 191 | 0.000 % |
21.87/21.92 c | 37215 | 13664 58448 177424 | 2147483647 37215 191 | 0.000 % |
21.97/22.00 c | 37325 | 13664 58448 177424 | 2147483647 37325 191 | 0.000 % |
21.97/22.08 c | 37447 | 13664 58448 177424 | 2147483647 37447 191 | 0.000 % |
22.06/22.19 c | 37580 | 13664 58448 177424 | 2147483647 37580 191 | 0.000 % |
22.26/22.31 c | 37727 | 13664 58448 177424 | 2147483647 37727 191 | 0.000 % |
22.36/22.43 c | 37887 | 13664 58448 177424 | 2147483647 37887 191 | 0.000 % |
22.46/22.56 c | 38064 | 13664 58448 177424 | 2147483647 38064 191 | 0.000 % |
22.56/22.69 c | 38258 | 13664 58448 177424 | 2147483647 38258 191 | 0.000 % |
22.76/22.83 c | 38472 | 13664 58448 177424 | 2147483647 38472 191 | 0.000 % |
22.86/22.99 c | 38705 | 13664 58448 177424 | 2147483647 38705 191 | 0.000 % |
23.06/23.17 c | 38963 | 13664 58448 177424 | 2147483647 38963 191 | 0.000 % |
23.27/23.35 c | 39245 | 13664 58448 177424 | 2147483647 39245 191 | 0.000 % |
23.47/23.57 c | 39555 | 13664 58448 177424 | 2147483647 39555 191 | 0.000 % |
23.77/23.81 c | 39895 | 13664 58448 177424 | 2147483647 39895 191 | 0.000 % |
23.97/24.09 c | 40267 | 13664 58448 177424 | 2147483647 40267 191 | 0.000 % |
24.27/24.38 c | 40677 | 13664 58448 177424 | 2147483647 40677 192 | 0.000 % |
24.67/24.73 c | 41128 | 13664 58448 177424 | 2147483647 41128 192 | 0.000 % |
24.97/25.08 c | 41621 | 13664 58448 177424 | 2147483647 41621 192 | 0.000 % |
25.37/25.44 c | 42163 | 13664 58448 177424 | 2147483647 42163 192 | 0.000 % |
25.76/25.85 c | 42759 | 13664 58448 177424 | 2147483647 42759 192 | 0.000 % |
25.86/25.93 c | 42860 | 13664 58448 177424 | 2147483647 42860 192 | 0.000 % |
25.96/26.02 c | 42971 | 13664 58448 177424 | 2147483647 42971 192 | 0.000 % |
26.06/26.11 c | 43092 | 13664 58448 177424 | 2147483647 43092 192 | 0.000 % |
26.16/26.22 c | 43225 | 13664 58448 177424 | 2147483647 43225 192 | 0.000 % |
26.27/26.34 c | 43372 | 13664 58448 177424 | 2147483647 43372 192 | 0.000 % |
26.36/26.46 c | 43532 | 13664 58448 177424 | 2147483647 43532 192 | 0.000 % |
26.56/26.60 c | 43710 | 13664 58448 177424 | 2147483647 43710 192 | 0.000 % |
26.66/26.75 c | 43903 | 13664 58448 177424 | 2147483647 43903 192 | 0.000 % |
26.86/26.92 c | 44117 | 13664 58448 177424 | 2147483647 44117 192 | 0.000 % |
27.06/27.10 c | 44352 | 13664 58448 177424 | 2147483647 44352 192 | 0.000 % |
27.16/27.28 c | 44608 | 13664 58448 177424 | 2147483647 44608 191 | 0.000 % |
27.36/27.50 c | 44890 | 13664 58448 177424 | 2147483647 44890 192 | 0.000 % |
27.66/27.74 c | 45200 | 13664 58448 177424 | 2147483647 45200 192 | 0.000 % |
27.86/27.98 c | 45539 | 13664 58448 177424 | 2147483647 45539 191 | 0.000 % |
28.16/28.27 c | 45912 | 13664 58448 177424 | 2147483647 45912 192 | 0.000 % |
28.46/28.59 c | 46323 | 13664 58448 177424 | 2147483647 46323 192 | 0.000 % |
28.86/28.92 c | 46773 | 13664 58448 177424 | 2147483647 46773 192 | 0.000 % |
29.16/29.30 c | 47267 | 13664 58448 177424 | 2147483647 47267 193 | 0.000 % |
29.56/29.67 c | 47809 | 13664 58448 177424 | 2147483647 47809 193 | 0.000 % |
30.07/30.12 c | 48406 | 13664 58448 177424 | 2147483647 48406 193 | 0.000 % |
30.56/30.62 c | 49061 | 13664 58448 177424 | 2147483647 49061 194 | 0.000 % |
30.67/30.71 c | 49161 | 13664 58448 177424 | 2147483647 49161 194 | 0.000 % |
30.77/30.81 c | 49271 | 13664 58448 177424 | 2147483647 49271 194 | 0.000 % |
30.86/30.91 c | 49393 | 13664 58448 177424 | 2147483647 49393 194 | 0.000 % |
30.96/31.04 c | 49526 | 13664 58448 177424 | 2147483647 49526 194 | 0.000 % |
31.06/31.16 c | 49674 | 13664 58448 177424 | 2147483647 49674 194 | 0.000 % |
31.26/31.30 c | 49835 | 13664 58448 177424 | 2147483647 49835 194 | 0.000 % |
31.36/31.44 c | 50012 | 13664 58448 177424 | 2147483647 50012 194 | 0.000 % |
31.56/31.60 c | 50205 | 13664 58448 177424 | 2147483647 50205 194 | 0.000 % |
31.66/31.77 c | 50417 | 13664 58448 177424 | 2147483647 50417 194 | 0.000 % |
31.86/31.96 c | 50650 | 13664 58448 177424 | 2147483647 50650 194 | 0.000 % |
32.06/32.16 c | 50907 | 13664 58448 177424 | 2147483647 50907 194 | 0.000 % |
32.26/32.38 c | 51188 | 13664 58448 177424 | 2147483647 51188 194 | 0.000 % |
32.56/32.61 c | 51497 | 13664 58448 177424 | 2147483647 51497 194 | 0.000 % |
32.76/32.86 c | 51836 | 13664 58448 177424 | 2147483647 51836 194 | 0.000 % |
33.06/33.13 c | 52208 | 13664 58448 177424 | 2147483647 52208 194 | 0.000 % |
33.36/33.43 c | 52619 | 13664 58448 177424 | 2147483647 52619 194 | 0.000 % |
33.76/33.80 c | 53069 | 13664 58448 177424 | 2147483647 53069 194 | 0.000 % |
34.06/34.19 c | 53562 | 13664 58448 177424 | 2147483647 53562 194 | 0.000 % |
34.46/34.60 c | 54104 | 13664 58448 177424 | 2147483647 54104 194 | 0.000 % |
34.96/35.02 c | 54700 | 13664 58448 177424 | 2147483647 54700 194 | 0.000 % |
35.46/35.51 c | 55355 | 13664 58448 177424 | 2147483647 55355 194 | 0.000 % |
35.96/36.08 c | 56077 | 13664 58448 177424 | 2147483647 56077 195 | 0.000 % |
36.06/36.17 c | 56177 | 13664 58448 177424 | 2147483647 56177 195 | 0.000 % |
36.16/36.28 c | 56287 | 13664 58448 177424 | 2147483647 56287 195 | 0.000 % |
36.26/36.39 c | 56409 | 13664 58448 177424 | 2147483647 56409 195 | 0.000 % |
36.45/36.50 c | 56542 | 13664 58448 177424 | 2147483647 56542 195 | 0.000 % |
36.55/36.62 c | 56688 | 13664 58448 177424 | 2147483647 56688 194 | 0.000 % |
36.66/36.76 c | 56850 | 13664 58448 177424 | 2147483647 56850 194 | 0.000 % |
36.86/36.90 c | 57026 | 13664 58448 177424 | 2147483647 57026 194 | 0.000 % |
36.96/37.07 c | 57219 | 13664 58448 177424 | 2147483647 57219 194 | 0.000 % |
37.16/37.24 c | 57431 | 13664 58448 177424 | 2147483647 57431 194 | 0.000 % |
37.36/37.44 c | 57664 | 13664 58448 177424 | 2147483647 57664 194 | 0.000 % |
37.56/37.66 c | 57920 | 13664 58448 177424 | 2147483647 57920 194 | 0.000 % |
37.86/37.90 c | 58201 | 13664 58448 177424 | 2147483647 58201 194 | 0.000 % |
38.06/38.17 c | 58510 | 13664 58448 177424 | 2147483647 58510 194 | 0.000 % |
38.36/38.43 c | 58850 | 13664 58448 177424 | 2147483647 58850 194 | 0.000 % |
38.66/38.72 c | 59222 | 13664 58448 177424 | 2147483647 59222 194 | 0.000 % |
38.95/39.07 c | 59632 | 13664 58448 177424 | 2147483647 59632 194 | 0.000 % |
39.35/39.44 c | 60081 | 13664 58448 177424 | 2147483647 60081 195 | 0.000 % |
39.76/39.87 c | 60574 | 13664 58448 177424 | 2147483647 60574 195 | 0.000 % |
40.26/40.31 c | 61116 | 13664 58448 177424 | 2147483647 61116 195 | 0.000 % |
40.76/40.83 c | 61713 | 13664 58448 177424 | 2147483647 61713 196 | 0.000 % |
41.26/41.37 c | 62368 | 13664 58448 177424 | 2147483647 62368 197 | 0.000 % |
41.86/41.98 c | 63090 | 13664 58448 177424 | 2147483647 63090 197 | 0.000 % |
42.56/42.60 c | 63882 | 13664 58448 177424 | 2147483647 63882 197 | 0.000 % |
42.66/42.71 c | 63984 | 13664 58448 177424 | 2147483647 63984 197 | 0.000 % |
42.76/42.82 c | 64094 | 13664 58448 177424 | 2147483647 64094 197 | 0.000 % |
42.86/42.94 c | 64217 | 13664 58448 177424 | 2147483647 64217 197 | 0.000 % |
42.96/43.05 c | 64351 | 13664 58448 177424 | 2147483647 64351 197 | 0.000 % |
43.06/43.18 c | 64497 | 13664 58448 177424 | 2147483647 64497 197 | 0.000 % |
43.25/43.33 c | 64657 | 13664 58448 177424 | 2147483647 64657 197 | 0.000 % |
43.45/43.50 c | 64835 | 13664 58448 177424 | 2147483647 64835 196 | 0.000 % |
43.55/43.67 c | 65030 | 13664 58448 177424 | 2147483647 65030 196 | 0.000 % |
43.76/43.87 c | 65245 | 13664 58448 177424 | 2147483647 65245 196 | 0.000 % |
43.96/44.09 c | 65479 | 13664 58448 177424 | 2147483647 65479 196 | 0.000 % |
44.26/44.32 c | 65738 | 13664 58448 177424 | 2147483647 65738 196 | 0.000 % |
44.46/44.58 c | 66021 | 13664 58448 177424 | 2147483647 66021 196 | 0.000 % |
44.76/44.86 c | 66330 | 13664 58448 177424 | 2147483647 66330 196 | 0.000 % |
45.06/45.16 c | 66669 | 13664 58448 177424 | 2147483647 66669 196 | 0.000 % |
45.36/45.49 c | 67042 | 13664 58448 177424 | 2147483647 67042 196 | 0.000 % |
45.75/45.84 c | 67451 | 13664 58448 177424 | 2147483647 67451 196 | 0.000 % |
46.16/46.25 c | 67901 | 13664 58448 177424 | 2147483647 67901 196 | 0.000 % |
46.65/46.70 c | 68400 | 13664 58448 177424 | 2147483647 68400 197 | 0.000 % |
47.05/47.18 c | 68944 | 13664 58448 177424 | 2147483647 68944 197 | 0.000 % |
47.66/47.72 c | 69540 | 13664 58448 177424 | 2147483647 69540 197 | 0.000 % |
48.26/48.30 c | 70196 | 13664 58448 177424 | 2147483647 70196 197 | 0.000 % |
48.86/48.96 c | 70916 | 13664 58448 177424 | 2147483647 70916 197 | 0.000 % |
49.56/49.63 c | 71708 | 13664 58448 177424 | 2147483647 71708 197 | 0.000 % |
50.26/50.36 c | 72579 | 13664 58448 177424 | 2147483647 72579 197 | 0.000 % |
50.36/50.48 c | 72680 | 13664 58448 177424 | 2147483647 72680 197 | 0.000 % |
50.46/50.58 c | 72791 | 13664 58448 177424 | 2147483647 72791 197 | 0.000 % |
50.56/50.69 c | 72913 | 13664 58448 177424 | 2147483647 72913 197 | 0.000 % |
50.76/50.83 c | 73046 | 13664 58448 177424 | 2147483647 73046 197 | 0.000 % |
50.86/51.00 c | 73193 | 13664 58448 177424 | 2147483647 73193 197 | 0.000 % |
51.06/51.17 c | 73353 | 13664 58448 177424 | 2147483647 73353 197 | 0.000 % |
51.26/51.34 c | 73529 | 13664 58448 177424 | 2147483647 73529 197 | 0.000 % |
51.46/51.53 c | 73722 | 13664 58448 177424 | 2147483647 73722 197 | 0.000 % |
51.66/51.73 c | 73934 | 13664 58448 177424 | 2147483647 73934 197 | 0.000 % |
51.85/51.96 c | 74167 | 13664 58448 177424 | 2147483647 74167 197 | 0.000 % |
52.05/52.18 c | 74424 | 13664 58448 177424 | 2147483647 74424 197 | 0.000 % |
52.35/52.44 c | 74709 | 13664 58448 177424 | 2147483647 74709 197 | 0.000 % |
52.65/52.72 c | 75018 | 13664 58448 177424 | 2147483647 75018 197 | 0.000 % |
52.95/53.03 c | 75357 | 13664 58448 177424 | 2147483647 75357 197 | 0.000 % |
53.25/53.39 c | 75729 | 13664 58448 177424 | 2147483647 75729 197 | 0.000 % |
53.65/53.79 c | 76138 | 13664 58448 177424 | 2147483647 76138 197 | 0.000 % |
54.16/54.20 c | 76588 | 13664 58448 177424 | 2147483647 76588 198 | 0.000 % |
54.55/54.61 c | 77081 | 13664 58448 177424 | 2147483647 77081 198 | 0.000 % |
54.96/55.08 c | 77623 | 13664 58448 177424 | 2147483647 77623 198 | 0.000 % |
55.55/55.64 c | 78220 | 13664 58448 177424 | 2147483647 78220 198 | 0.000 % |
56.15/56.26 c | 78880 | 13664 58448 177424 | 2147483647 78880 198 | 0.000 % |
56.86/56.93 c | 79600 | 13664 58448 177424 | 2147483647 79600 199 | 0.000 % |
57.65/57.70 c | 80392 | 13664 58448 177424 | 2147483647 80392 199 | 0.000 % |
58.35/58.48 c | 81265 | 13664 58448 177424 | 2147483647 81265 199 | 0.000 % |
59.26/59.38 c | 82226 | 13664 58448 177424 | 2147483647 82226 200 | 0.000 % |
59.36/59.49 c | 82328 | 13664 58448 177424 | 2147483647 82328 200 | 0.000 % |
59.56/59.61 c | 82439 | 13664 58448 177424 | 2147483647 82439 200 | 0.000 % |
59.65/59.73 c | 82560 | 13664 58448 177424 | 2147483647 82560 200 | 0.000 % |
59.75/59.88 c | 82693 | 13664 58448 177424 | 2147483647 82693 200 | 0.000 % |
59.95/60.02 c | 82839 | 13664 58448 177424 | 2147483647 82839 200 | 0.000 % |
60.15/60.21 c | 83001 | 13664 58448 177424 | 2147483647 83001 200 | 0.000 % |
60.25/60.39 c | 83178 | 13664 58448 177424 | 2147483647 83178 200 | 0.000 % |
60.46/60.58 c | 83376 | 13664 58448 177424 | 2147483647 83376 200 | 0.000 % |
60.75/60.80 c | 83588 | 13664 58448 177424 | 2147483647 83588 200 | 0.000 % |
60.95/61.03 c | 83821 | 13664 58448 177424 | 2147483647 83821 200 | 0.000 % |
61.15/61.29 c | 84077 | 13664 58448 177424 | 2147483647 84077 200 | 0.000 % |
61.45/61.57 c | 84358 | 13664 58448 177424 | 2147483647 84358 200 | 0.000 % |
61.75/61.89 c | 84668 | 13664 58448 177424 | 2147483647 84668 200 | 0.000 % |
62.15/62.24 c | 85008 | 13664 58448 177424 | 2147483647 85008 200 | 0.000 % |
62.55/62.63 c | 85381 | 13664 58448 177424 | 2147483647 85381 200 | 0.000 % |
62.95/63.07 c | 85793 | 13664 58448 177424 | 2147483647 85793 200 | 0.000 % |
63.35/63.48 c | 86242 | 13664 58448 177424 | 2147483647 86242 200 | 0.000 % |
63.85/63.94 c | 86735 | 13664 58448 177424 | 2147483647 86735 200 | 0.000 % |
64.35/64.47 c | 87278 | 13664 58448 177424 | 2147483647 87278 200 | 0.000 % |
64.95/65.05 c | 87874 | 13664 58448 177424 | 2147483647 87874 200 | 0.000 % |
65.65/65.71 c | 88529 | 13664 58448 177424 | 2147483647 88529 200 | 0.000 % |
66.35/66.41 c | 89250 | 13664 58448 177424 | 2147483647 89250 200 | 0.000 % |
67.05/67.17 c | 90042 | 13664 58448 177424 | 2147483647 90042 200 | 0.000 % |
67.95/68.05 c | 90913 | 13664 58448 177424 | 2147483647 90913 201 | 0.000 % |
68.85/68.96 c | 91871 | 13664 58448 177424 | 2147483647 91871 201 | 0.000 % |
69.85/69.97 c | 92925 | 13664 58448 177424 | 2147483647 92925 201 | 0.000 % |
70.05/70.10 c | 93026 | 13664 58448 177424 | 2147483647 93026 201 | 0.000 % |
70.15/70.24 c | 93139 | 13664 58448 177424 | 2147483647 93139 201 | 0.000 % |
70.26/70.40 c | 93260 | 13664 58448 177424 | 2147483647 93260 201 | 0.000 % |
70.45/70.55 c | 93393 | 13664 58448 177424 | 2147483647 93393 201 | 0.000 % |
70.65/70.74 c | 93541 | 13664 58448 177424 | 2147483647 93541 201 | 0.000 % |
70.85/70.93 c | 93704 | 13664 58448 177424 | 2147483647 93704 201 | 0.000 % |
71.05/71.12 c | 93883 | 13664 58448 177424 | 2147483647 93883 201 | 0.000 % |
71.25/71.33 c | 94076 | 13664 58448 177424 | 2147483647 94076 201 | 0.000 % |
71.45/71.57 c | 94288 | 13664 58448 177424 | 2147483647 94288 201 | 0.000 % |
71.75/71.83 c | 94524 | 13664 58448 177424 | 2147483647 94524 201 | 0.000 % |
72.04/72.11 c | 94781 | 13664 58448 177424 | 2147483647 94781 201 | 0.000 % |
72.35/72.40 c | 95063 | 13664 58448 177424 | 2147483647 95063 201 | 0.000 % |
72.65/72.73 c | 95373 | 13664 58448 177424 | 2147483647 95373 202 | 0.000 % |
72.95/73.08 c | 95713 | 13664 58448 177424 | 2147483647 95713 201 | 0.000 % |
73.35/73.45 c | 96086 | 13664 58448 177424 | 2147483647 96086 202 | 0.000 % |
73.85/73.92 c | 96495 | 13664 58448 177424 | 2147483647 96495 202 | 0.000 % |
74.25/74.38 c | 96945 | 13664 58448 177424 | 2147483647 96945 202 | 0.000 % |
74.75/74.87 c | 97438 | 13664 58448 177424 | 2147483647 97438 202 | 0.000 % |
75.34/75.46 c | 97980 | 13664 58448 177424 | 2147483647 97980 202 | 0.000 % |
75.94/76.07 c | 98576 | 13664 58448 177424 | 2147483647 98576 202 | 0.000 % |
76.65/76.73 c | 99232 | 13664 58448 177424 | 2147483647 99232 202 | 0.000 % |
77.35/77.49 c | 99952 | 13664 58448 177424 | 2147483647 99952 202 | 0.000 % |
78.15/78.30 c | 100745 | 13664 58448 177424 | 2147483647 100745 203 | 0.000 % |
79.15/79.20 c | 101617 | 13664 58448 177424 | 2147483647 101617 203 | 0.000 % |
80.15/80.23 c | 102577 | 13664 58448 177424 | 2147483647 102577 203 | 0.000 % |
81.15/81.27 c | 103630 | 13664 58448 177424 | 2147483647 103630 204 | 0.000 % |
82.34/82.47 c | 104788 | 13664 58448 177424 | 2147483647 104788 204 | 0.000 % |
82.44/82.59 c | 104888 | 13664 58448 177424 | 2147483647 104888 204 | 0.000 % |
82.64/82.73 c | 104998 | 13664 58448 177424 | 2147483647 104998 204 | 0.000 % |
82.74/82.89 c | 105120 | 13664 58448 177424 | 2147483647 105120 204 | 0.000 % |
82.94/83.05 c | 105255 | 13664 58448 177424 | 2147483647 105255 204 | 0.000 % |
83.14/83.20 c | 105401 | 13664 58448 177424 | 2147483647 105401 204 | 0.000 % |
83.24/83.38 c | 105563 | 13664 58448 177424 | 2147483647 105563 204 | 0.000 % |
83.54/83.61 c | 105740 | 13664 58448 177424 | 2147483647 105740 204 | 0.000 % |
83.74/83.82 c | 105933 | 13664 58448 177424 | 2147483647 105933 204 | 0.000 % |
83.95/84.05 c | 106145 | 13664 58448 177424 | 2147483647 106145 204 | 0.000 % |
84.25/84.33 c | 106379 | 13664 58448 177424 | 2147483647 106379 204 | 0.000 % |
84.45/84.59 c | 106638 | 13664 58448 177424 | 2147483647 106638 204 | 0.000 % |
84.85/84.91 c | 106921 | 13664 58448 177424 | 2147483647 106921 204 | 0.000 % |
85.15/85.25 c | 107232 | 13664 58448 177424 | 2147483647 107232 204 | 0.000 % |
85.55/85.64 c | 107572 | 13664 58448 177424 | 2147483647 107572 204 | 0.000 % |
85.94/86.07 c | 107945 | 13664 58448 177424 | 2147483647 107945 204 | 0.000 % |
86.44/86.53 c | 108354 | 13664 58448 177424 | 2147483647 108354 204 | 0.000 % |
86.94/87.05 c | 108804 | 13664 58448 177424 | 2147483647 108804 204 | 0.000 % |
87.44/87.59 c | 109300 | 13664 58448 177424 | 2147483647 109300 205 | 0.000 % |
88.14/88.20 c | 109843 | 13664 58448 177424 | 2147483647 109843 205 | 0.000 % |
88.74/88.84 c | 110441 | 13664 58448 177424 | 2147483647 110441 205 | 0.000 % |
89.44/89.58 c | 111097 | 13664 58448 177424 | 2147483647 111097 205 | 0.000 % |
90.25/90.39 c | 111817 | 13664 58448 177424 | 2147483647 111817 205 | 0.000 % |
91.15/91.29 c | 112609 | 13664 58448 177424 | 2147483647 112609 205 | 0.000 % |
92.14/92.23 c | 113480 | 13664 58448 177424 | 2147483647 113480 205 | 0.000 % |
93.14/93.28 c | 114440 | 13664 58448 177424 | 2147483647 114440 205 | 0.000 % |
94.33/94.40 c | 115493 | 13664 58448 177424 | 2147483647 115493 206 | 0.000 % |
95.55/95.69 c | 116652 | 13664 58448 177424 | 2147483647 116652 207 | 0.000 % |
96.94/97.08 c | 117929 | 13664 58448 177424 | 2147483647 117929 207 | 0.000 % |
97.14/97.20 c | 118031 | 13664 58448 177424 | 2147483647 118031 207 | 0.000 % |
97.24/97.38 c | 118141 | 13664 58448 177424 | 2147483647 118141 207 | 0.000 % |
97.44/97.55 c | 118263 | 13664 58448 177424 | 2147483647 118263 207 | 0.000 % |
97.64/97.72 c | 118397 | 13664 58448 177424 | 2147483647 118397 207 | 0.000 % |
97.74/97.90 c | 118543 | 13664 58448 177424 | 2147483647 118543 207 | 0.000 % |
98.04/98.10 c | 118704 | 13664 58448 177424 | 2147483647 118704 207 | 0.000 % |
98.24/98.34 c | 118882 | 13664 58448 177424 | 2147483647 118882 207 | 0.000 % |
98.44/98.58 c | 119075 | 13664 58448 177424 | 2147483647 119075 207 | 0.000 % |
98.74/98.84 c | 119287 | 13664 58448 177424 | 2147483647 119287 207 | 0.000 % |
99.04/99.10 c | 119521 | 13664 58448 177424 | 2147483647 119521 207 | 0.000 % |
99.33/99.41 c | 119778 | 13664 58448 177424 | 2147483647 119778 207 | 0.000 % |
99.63/99.75 c | 120060 | 13664 58448 177424 | 2147483647 120060 207 | 0.000 % |
100.05/100.15 c | 120371 | 13664 58448 177424 | 2147483647 120371 207 | 0.000 % |
100.44/100.56 c | 120713 | 13664 58448 177424 | 2147483647 120713 207 | 0.000 % |
100.84/100.99 c | 121089 | 13664 58448 177424 | 2147483647 121089 207 | 0.000 % |
101.34/101.47 c | 121498 | 13664 58448 177424 | 2147483647 121498 207 | 0.000 % |
101.83/102.00 c | 121950 | 13664 58448 177424 | 2147483647 121950 207 | 0.000 % |
102.53/102.61 c | 122443 | 13664 58448 177424 | 2147483647 122443 207 | 0.000 % |
103.13/103.27 c | 122985 | 13664 58448 177424 | 2147483647 122985 207 | 0.000 % |
103.84/103.94 c | 123582 | 13664 58448 177424 | 2147483647 123582 207 | 0.000 % |
104.64/104.71 c | 124237 | 13664 58448 177424 | 2147483647 124237 207 | 0.000 % |
105.44/105.56 c | 124958 | 13664 58448 177424 | 2147483647 124958 207 | 0.000 % |
106.33/106.46 c | 125751 | 13664 58448 177424 | 2147483647 125751 207 | 0.000 % |
107.33/107.48 c | 126623 | 13664 58448 177424 | 2147483647 126623 207 | 0.000 % |
108.43/108.58 c | 127582 | 13664 58448 177424 | 2147483647 127582 208 | 0.000 % |
109.74/109.83 c | 128636 | 13664 58448 177424 | 2147483647 128636 208 | 0.000 % |
111.13/111.23 c | 129794 | 13664 58448 177424 | 2147483647 129794 208 | 0.000 % |
112.63/112.74 c | 131067 | 13664 58448 177424 | 2147483647 131067 209 | 0.000 % |
114.23/114.33 c | 132467 | 13664 58448 177424 | 2147483647 132467 210 | 0.000 % |
114.33/114.47 c | 132567 | 13664 58448 177424 | 2147483647 132567 210 | 0.000 % |
114.53/114.64 c | 132677 | 13664 58448 177424 | 2147483647 132677 210 | 0.000 % |
114.74/114.81 c | 132798 | 13664 58448 177424 | 2147483647 132798 209 | 0.000 % |
114.84/114.99 c | 132932 | 13664 58448 177424 | 2147483647 132932 209 | 0.000 % |
115.04/115.19 c | 133078 | 13664 58448 177424 | 2147483647 133078 209 | 0.000 % |
115.34/115.44 c | 133240 | 13664 58448 177424 | 2147483647 133240 209 | 0.000 % |
115.53/115.67 c | 133416 | 13664 58448 177424 | 2147483647 133416 209 | 0.000 % |
115.83/115.94 c | 133610 | 13664 58448 177424 | 2147483647 133610 209 | 0.000 % |
116.13/116.20 c | 133822 | 13664 58448 177424 | 2147483647 133822 209 | 0.000 % |
116.33/116.50 c | 134055 | 13664 58448 177424 | 2147483647 134055 209 | 0.000 % |
116.73/116.86 c | 134313 | 13664 58448 177424 | 2147483647 134313 209 | 0.000 % |
117.13/117.24 c | 134594 | 13664 58448 177424 | 2147483647 134594 209 | 0.000 % |
117.53/117.67 c | 134905 | 13664 58448 177424 | 2147483647 134905 209 | 0.000 % |
117.93/118.09 c | 135244 | 13664 58448 177424 | 2147483647 135244 209 | 0.000 % |
118.53/118.63 c | 135616 | 13664 58448 177424 | 2147483647 135616 209 | 0.000 % |
119.03/119.17 c | 136025 | 13664 58448 177424 | 2147483647 136025 209 | 0.000 % |
119.63/119.72 c | 136474 | 13664 58448 177424 | 2147483647 136474 209 | 0.000 % |
120.23/120.33 c | 136968 | 13664 58448 177424 | 2147483647 136968 209 | 0.000 % |
120.93/121.02 c | 137510 | 13664 58448 177424 | 2147483647 137510 209 | 0.000 % |
121.62/121.75 c | 138106 | 13664 58448 177424 | 2147483647 138106 209 | 0.000 % |
122.42/122.58 c | 138761 | 13664 58448 177424 | 2147483647 138761 209 | 0.000 % |
123.33/123.46 c | 139481 | 13664 58448 177424 | 2147483647 139481 209 | 0.000 % |
124.33/124.47 c | 140274 | 13664 58448 177424 | 2147483647 140274 209 | 0.000 % |
125.42/125.57 c | 141145 | 13664 58448 177424 | 2147483647 141145 209 | 0.000 % |
126.72/126.80 c | 142104 | 13664 58448 177424 | 2147483647 142104 209 | 0.000 % |
128.02/128.13 c | 143159 | 13664 58448 177424 | 2147483647 143159 210 | 0.000 % |
129.53/129.60 c | 144318 | 13664 58448 177424 | 2147483647 144318 210 | 0.000 % |
131.12/131.22 c | 145591 | 13664 58448 177424 | 2147483647 145591 210 | 0.000 % |
132.82/132.96 c | 146993 | 13664 58448 177424 | 2147483647 146993 210 | 0.000 % |
134.92/135.00 c | 148533 | 13664 58448 177424 | 2147483647 148533 210 | 0.000 % |
135.02/135.17 c | 148634 | 13664 58448 177424 | 2147483647 148634 210 | 0.000 % |
135.22/135.36 c | 148744 | 13664 58448 177424 | 2147483647 148744 210 | 0.000 % |
135.42/135.53 c | 148866 | 13664 58448 177424 | 2147483647 148866 210 | 0.000 % |
135.62/135.73 c | 148999 | 13664 58448 177424 | 2147483647 148999 210 | 0.000 % |
135.82/135.95 c | 149145 | 13664 58448 177424 | 2147483647 149145 210 | 0.000 % |
136.12/136.22 c | 149307 | 13664 58448 177424 | 2147483647 149307 210 | 0.000 % |
136.32/136.46 c | 149486 | 13664 58448 177424 | 2147483647 149486 210 | 0.000 % |
136.62/136.73 c | 149680 | 13664 58448 177424 | 2147483647 149680 210 | 0.000 % |
136.82/136.99 c | 149892 | 13664 58448 177424 | 2147483647 149892 210 | 0.000 % |
137.22/137.32 c | 150126 | 13664 58448 177424 | 2147483647 150126 210 | 0.000 % |
137.52/137.65 c | 150382 | 13664 58448 177424 | 2147483647 150382 210 | 0.000 % |
137.92/138.02 c | 150663 | 13664 58448 177424 | 2147483647 150663 210 | 0.000 % |
138.32/138.47 c | 150974 | 13664 58448 177424 | 2147483647 150974 210 | 0.000 % |
138.82/138.94 c | 151315 | 13664 58448 177424 | 2147483647 151315 210 | 0.000 % |
139.32/139.45 c | 151687 | 13664 58448 177424 | 2147483647 151687 210 | 0.000 % |
139.92/140.01 c | 152096 | 13664 58448 177424 | 2147483647 152096 210 | 0.000 % |
140.52/140.64 c | 152546 | 13664 58448 177424 | 2147483647 152546 210 | 0.000 % |
141.22/141.30 c | 153039 | 13664 58448 177424 | 2147483647 153039 210 | 0.000 % |
141.92/142.05 c | 153582 | 13664 58448 177424 | 2147483647 153582 210 | 0.000 % |
142.72/142.84 c | 154180 | 13664 58448 177424 | 2147483647 154180 210 | 0.000 % |
143.62/143.75 c | 154835 | 13664 58448 177424 | 2147483647 154835 210 | 0.000 % |
144.52/144.68 c | 155556 | 13664 58448 177424 | 2147483647 155556 210 | 0.000 % |
145.52/145.67 c | 156348 | 13664 58448 177424 | 2147483647 156348 210 | 0.000 % |
146.71/146.81 c | 157219 | 13664 58448 177424 | 2147483647 157219 211 | 0.000 % |
147.91/148.09 c | 158178 | 13664 58448 177424 | 2147483647 158178 211 | 0.000 % |
149.42/149.51 c | 159231 | 13664 58448 177424 | 2147483647 159231 211 | 0.000 % |
150.91/151.06 c | 160390 | 13664 58448 177424 | 2147483647 160390 211 | 0.000 % |
152.61/152.72 c | 161663 | 13664 58448 177424 | 2147483647 161663 211 | 0.000 % |
154.41/154.59 c | 163063 | 13664 58448 177424 | 2147483647 163063 212 | 0.000 % |
156.51/156.65 c | 164604 | 13664 58448 177424 | 2147483647 164604 212 | 0.000 % |
158.71/158.86 c | 166298 | 13664 58448 177424 | 2147483647 166298 213 | 0.000 % |
158.91/159.00 c | 166399 | 13664 58448 177424 | 2147483647 166399 213 | 0.000 % |
159.01/159.19 c | 166509 | 13664 58448 177424 | 2147483647 166509 213 | 0.000 % |
159.32/159.41 c | 166631 | 13664 58448 177424 | 2147483647 166631 213 | 0.000 % |
159.51/159.63 c | 166765 | 13664 58448 177424 | 2147483647 166765 213 | 0.000 % |
159.71/159.86 c | 166911 | 13664 58448 177424 | 2147483647 166911 213 | 0.000 % |
160.01/160.11 c | 167071 | 13664 58448 177424 | 2147483647 167071 213 | 0.000 % |
160.31/160.40 c | 167248 | 13664 58448 177424 | 2147483647 167248 213 | 0.000 % |
160.60/160.72 c | 167443 | 13664 58448 177424 | 2147483647 167443 213 | 0.000 % |
160.90/161.06 c | 167658 | 13664 58448 177424 | 2147483647 167658 212 | 0.000 % |
161.31/161.40 c | 167894 | 13664 58448 177424 | 2147483647 167894 213 | 0.000 % |
161.61/161.75 c | 168152 | 13664 58448 177424 | 2147483647 168152 213 | 0.000 % |
162.00/162.13 c | 168435 | 13664 58448 177424 | 2147483647 168435 213 | 0.000 % |
162.51/162.61 c | 168744 | 13664 58448 177424 | 2147483647 168744 213 | 0.000 % |
163.01/163.15 c | 169083 | 13664 58448 177424 | 2147483647 169083 212 | 0.000 % |
163.51/163.69 c | 169455 | 13664 58448 177424 | 2147483647 169455 212 | 0.000 % |
164.21/164.30 c | 169864 | 13664 58448 177424 | 2147483647 169864 212 | 0.000 % |
164.81/164.96 c | 170316 | 13664 58448 177424 | 2147483647 170316 212 | 0.000 % |
165.51/165.62 c | 170809 | 13664 58448 177424 | 2147483647 170809 213 | 0.000 % |
166.21/166.39 c | 171351 | 13664 58448 177424 | 2147483647 171351 213 | 0.000 % |
167.11/167.29 c | 171948 | 13664 58448 177424 | 2147483647 171948 213 | 0.000 % |
168.11/168.21 c | 172606 | 13664 58448 177424 | 2147483647 172606 213 | 0.000 % |
169.10/169.24 c | 173328 | 13664 58448 177424 | 2147483647 173328 213 | 0.000 % |
170.32/170.41 c | 174120 | 13664 58448 177424 | 2147483647 174120 213 | 0.000 % |
171.42/171.60 c | 174992 | 13664 58448 177424 | 2147483647 174992 213 | 0.000 % |
172.91/173.03 c | 175953 | 13664 58448 177424 | 2147483647 175953 213 | 0.000 % |
174.31/174.48 c | 177008 | 13664 58448 177424 | 2147483647 177008 213 | 0.000 % |
176.00/176.14 c | 178168 | 13664 58448 177424 | 2147483647 178168 213 | 0.000 % |
177.81/177.97 c | 179442 | 13664 58448 177424 | 2147483647 179442 213 | 0.000 % |
179.80/179.96 c | 180843 | 13664 58448 177424 | 2147483647 180843 213 | 0.000 % |
182.01/182.12 c | 182383 | 13664 58448 177424 | 2147483647 182383 214 | 0.000 % |
184.50/184.63 c | 184077 | 13664 58448 177424 | 2147483647 184077 214 | 0.000 % |
187.20/187.33 c | 185941 | 13664 58448 177424 | 2147483647 185941 215 | 0.000 % |
187.30/187.49 c | 186041 | 13664 58448 177424 | 2147483647 186041 215 | 0.000 % |
187.60/187.73 c | 186156 | 13664 58448 177424 | 2147483647 186156 214 | 0.000 % |
187.80/187.93 c | 186277 | 13664 58448 177424 | 2147483647 186277 214 | 0.000 % |
188.01/188.14 c | 186410 | 13664 58448 177424 | 2147483647 186410 214 | 0.000 % |
188.30/188.40 c | 186556 | 13664 58448 177424 | 2147483647 186556 214 | 0.000 % |
188.50/188.67 c | 186716 | 13664 58448 177424 | 2147483647 186716 214 | 0.000 % |
188.80/188.95 c | 186894 | 13664 58448 177424 | 2147483647 186894 214 | 0.000 % |
189.11/189.27 c | 187087 | 13664 58448 177424 | 2147483647 187087 214 | 0.000 % |
189.50/189.64 c | 187299 | 13664 58448 177424 | 2147483647 187299 214 | 0.000 % |
189.90/190.07 c | 187536 | 13664 58448 177424 | 2147483647 187536 214 | 0.000 % |
190.40/190.51 c | 187793 | 13664 58448 177424 | 2147483647 187793 214 | 0.000 % |
190.80/190.96 c | 188074 | 13664 58448 177424 | 2147483647 188074 214 | 0.000 % |
191.40/191.50 c | 188385 | 13664 58448 177424 | 2147483647 188385 214 | 0.000 % |
191.90/192.06 c | 188724 | 13664 58448 177424 | 2147483647 188724 214 | 0.000 % |
192.50/192.63 c | 189096 | 13664 58448 177424 | 2147483647 189096 214 | 0.000 % |
193.09/193.28 c | 189505 | 13664 58448 177424 | 2147483647 189505 214 | 0.000 % |
193.90/194.02 c | 189954 | 13664 58448 177424 | 2147483647 189954 214 | 0.000 % |
194.70/194.83 c | 190448 | 13664 58448 177424 | 2147483647 190448 214 | 0.000 % |
195.49/195.62 c | 190990 | 13664 58448 177424 | 2147483647 190990 214 | 0.000 % |
196.39/196.56 c | 191587 | 13664 58448 177424 | 2147483647 191587 214 | 0.000 % |
197.49/197.63 c | 192243 | 13664 58448 177424 | 2147483647 192243 214 | 0.000 % |
198.49/198.69 c | 192963 | 13664 58448 177424 | 2147483647 192963 214 | 0.000 % |
199.80/199.91 c | 193755 | 13664 58448 177424 | 2147483647 193755 214 | 0.000 % |
201.10/201.24 c | 194629 | 13664 58448 177424 | 2147483647 194629 214 | 0.000 % |
202.59/202.75 c | 195587 | 13664 58448 177424 | 2147483647 195587 214 | 0.000 % |
204.29/204.49 c | 196640 | 13664 58448 177424 | 2147483647 196640 215 | 0.000 % |
206.09/206.23 c | 197798 | 13664 58448 177424 | 2147483647 197798 215 | 0.000 % |
207.99/208.19 c | 199071 | 13664 58448 177424 | 2147483647 199071 215 | 0.000 % |
210.09/210.26 c | 200471 | 13664 58448 177424 | 2147483647 200471 215 | 0.000 % |
212.49/212.65 c | 202011 | 13664 58448 177424 | 2147483647 202011 215 | 0.000 % |
215.09/215.24 c | 203706 | 13664 58448 177424 | 2147483647 203706 216 | 0.000 % |
218.08/218.29 c | 205570 | 13664 58448 177424 | 2147483647 205570 217 | 0.000 % |
221.19/221.36 c | 207621 | 13664 58448 177424 | 2147483647 207621 217 | 0.000 % |
221.38/221.54 c | 207721 | 13664 58448 177424 | 2147483647 207721 217 | 0.000 % |
221.58/221.77 c | 207831 | 13664 58448 177424 | 2147483647 207831 217 | 0.000 % |
221.88/222.03 c | 207954 | 13664 58448 177424 | 2147483647 207954 217 | 0.000 % |
222.19/222.30 c | 208087 | 13664 58448 177424 | 2147483647 208087 217 | 0.000 % |
222.39/222.59 c | 208236 | 13664 58448 177424 | 2147483647 208236 217 | 0.000 % |
222.68/222.86 c | 208396 | 13664 58448 177424 | 2147483647 208396 217 | 0.000 % |
222.98/223.17 c | 208572 | 13664 58448 177424 | 2147483647 208572 217 | 0.000 % |
223.38/223.52 c | 208765 | 13664 58448 177424 | 2147483647 208765 217 | 0.000 % |
223.78/223.90 c | 208977 | 13664 58448 177424 | 2147483647 208977 217 | 0.000 % |
224.08/224.30 c | 209211 | 13664 58448 177424 | 2147483647 209211 217 | 0.000 % |
224.58/224.79 c | 209468 | 13664 58448 177424 | 2147483647 209468 217 | 0.000 % |
225.09/225.29 c | 209749 | 13664 58448 177424 | 2147483647 209749 217 | 0.000 % |
225.68/225.85 c | 210058 | 13664 58448 177424 | 2147483647 210058 217 | 0.000 % |
226.28/226.44 c | 210398 | 13664 58448 177424 | 2147483647 210398 217 | 0.000 % |
226.98/227.11 c | 210770 | 13664 58448 177424 | 2147483647 210770 217 | 0.000 % |
227.68/227.81 c | 211184 | 13664 58448 177424 | 2147483647 211184 217 | 0.000 % |
228.48/228.60 c | 211633 | 13664 58448 177424 | 2147483647 211633 217 | 0.000 % |
229.18/229.39 c | 212126 | 13664 58448 177424 | 2147483647 212126 217 | 0.000 % |
230.08/230.23 c | 212673 | 13664 58448 177424 | 2147483647 212673 217 | 0.000 % |
231.08/231.22 c | 213269 | 13664 58448 177424 | 2147483647 213269 217 | 0.000 % |
232.08/232.27 c | 213924 | 13664 58448 177424 | 2147483647 213924 217 | 0.000 % |
233.18/233.37 c | 214645 | 13664 58448 177424 | 2147483647 214645 217 | 0.000 % |
234.48/234.62 c | 215437 | 13664 58448 177424 | 2147483647 215437 217 | 0.000 % |
235.78/235.98 c | 216308 | 13664 58448 177424 | 2147483647 216308 217 | 0.000 % |
237.38/237.56 c | 217267 | 13664 58448 177424 | 2147483647 217267 217 | 0.000 % |
239.18/239.34 c | 218320 | 13664 58448 177424 | 2147483647 218320 217 | 0.000 % |
241.08/241.20 c | 219478 | 13664 58448 177424 | 2147483647 219478 217 | 0.000 % |
243.18/243.35 c | 220751 | 13664 58448 177424 | 2147483647 220751 217 | 0.000 % |
245.38/245.59 c | 222152 | 13664 58448 177424 | 2147483647 222152 218 | 0.000 % |
247.97/248.13 c | 223693 | 13664 58448 177424 | 2147483647 223693 218 | 0.000 % |
250.48/250.63 c | 225391 | 13664 58448 177424 | 2147483647 225391 218 | 0.000 % |
253.17/253.37 c | 227254 | 13664 58448 177424 | 2147483647 227254 219 | 0.000 % |
256.38/256.56 c | 229303 | 13664 58448 177424 | 2147483647 229303 219 | 0.000 % |
260.17/260.33 c | 231556 | 13664 58448 177424 | 2147483647 231556 220 | 0.000 % |
260.37/260.57 c | 231657 | 13664 58448 177424 | 2147483647 231657 220 | 0.000 % |
260.68/260.84 c | 231769 | 13664 58448 177424 | 2147483647 231769 220 | 0.000 % |
260.87/261.10 c | 231892 | 13664 58448 177424 | 2147483647 231892 220 | 0.000 % |
261.17/261.36 c | 232026 | 13664 58448 177424 | 2147483647 232026 220 | 0.000 % |
261.47/261.65 c | 232172 | 13664 58448 177424 | 2147483647 232172 220 | 0.000 % |
261.77/261.96 c | 232332 | 13664 58448 177424 | 2147483647 232332 220 | 0.000 % |
262.17/262.34 c | 232509 | 13664 58448 177424 | 2147483647 232509 220 | 0.000 % |
262.57/262.73 c | 232703 | 13664 58448 177424 | 2147483647 232703 220 | 0.000 % |
262.97/263.12 c | 232915 | 13664 58448 177424 | 2147483647 232915 220 | 0.000 % |
263.37/263.58 c | 233152 | 13664 58448 177424 | 2147483647 233152 220 | 0.000 % |
263.87/264.09 c | 233409 | 13664 58448 177424 | 2147483647 233409 220 | 0.000 % |
264.37/264.58 c | 233690 | 13664 58448 177424 | 2147483647 233690 220 | 0.000 % |
264.97/265.16 c | 233999 | 13664 58448 177424 | 2147483647 233999 220 | 0.000 % |
265.67/265.81 c | 234338 | 13664 58448 177424 | 2147483647 234338 220 | 0.000 % |
266.37/266.50 c | 234710 | 13664 58448 177424 | 2147483647 234710 220 | 0.000 % |
267.07/267.23 c | 235119 | 13664 58448 177424 | 2147483647 235119 220 | 0.000 % |
267.86/268.02 c | 235569 | 13664 58448 177424 | 2147483647 235569 220 | 0.000 % |
268.76/268.93 c | 236065 | 13664 58448 177424 | 2147483647 236065 220 | 0.000 % |
269.76/269.90 c | 236607 | 13664 58448 177424 | 2147483647 236607 220 | 0.000 % |
270.76/270.98 c | 237204 | 13664 58448 177424 | 2147483647 237204 220 | 0.000 % |
271.97/272.15 c | 237859 | 13664 58448 177424 | 2147483647 237859 220 | 0.000 % |
273.26/273.43 c | 238579 | 13664 58448 177424 | 2147483647 238579 220 | 0.000 % |
274.56/274.78 c | 239371 | 13664 58448 177424 | 2147483647 239371 220 | 0.000 % |
276.17/276.31 c | 240244 | 13664 58448 177424 | 2147483647 240244 220 | 0.000 % |
277.86/278.02 c | 241203 | 13664 58448 177424 | 2147483647 241203 220 | 0.000 % |
279.66/279.85 c | 242256 | 13664 58448 177424 | 2147483647 242256 220 | 0.000 % |
281.56/281.79 c | 243415 | 13664 58448 177424 | 2147483647 243415 220 | 0.000 % |
283.76/283.98 c | 244688 | 13664 58448 177424 | 2147483647 244688 220 | 0.000 % |
286.16/286.32 c | 246089 | 13664 58448 177424 | 2147483647 246089 220 | 0.000 % |
288.86/289.04 c | 247630 | 13664 58448 177424 | 2147483647 247630 221 | 0.000 % |
291.76/291.97 c | 249325 | 13664 58448 177424 | 2147483647 249325 221 | 0.000 % |
294.95/295.14 c | 251188 | 13664 58448 177424 | 2147483647 251188 221 | 0.000 % |
298.65/298.86 c | 253237 | 13664 58448 177424 | 2147483647 253237 222 | 0.000 % |
302.36/302.59 c | 255490 | 13664 58448 177424 | 2147483647 255490 222 | 0.000 % |
306.85/307.00 c | 257969 | 13664 58448 177424 | 2147483647 257969 223 | 0.000 % |
307.05/307.21 c | 258070 | 13664 58448 177424 | 2147483647 258070 223 | 0.000 % |
307.35/307.52 c | 258180 | 13664 58448 177424 | 2147483647 258180 223 | 0.000 % |
307.65/307.82 c | 258301 | 13664 58448 177424 | 2147483647 258301 223 | 0.000 % |
307.95/308.12 c | 258434 | 13664 58448 177424 | 2147483647 258434 223 | 0.000 % |
308.25/308.44 c | 258580 | 13664 58448 177424 | 2147483647 258580 223 | 0.000 % |
308.65/308.86 c | 258740 | 13664 58448 177424 | 2147483647 258740 223 | 0.000 % |
309.05/309.25 c | 258916 | 13664 58448 177424 | 2147483647 258916 223 | 0.000 % |
309.45/309.65 c | 259110 | 13664 58448 177424 | 2147483647 259110 223 | 0.000 % |
309.95/310.12 c | 259322 | 13664 58448 177424 | 2147483647 259322 223 | 0.000 % |
310.45/310.62 c | 259555 | 13664 58448 177424 | 2147483647 259555 223 | 0.000 % |
311.05/311.22 c | 259815 | 13664 58448 177424 | 2147483647 259815 223 | 0.000 % |
311.55/311.75 c | 260098 | 13664 58448 177424 | 2147483647 260098 223 | 0.000 % |
312.25/312.41 c | 260408 | 13664 58448 177424 | 2147483647 260408 223 | 0.000 % |
312.85/313.06 c | 260747 | 13664 58448 177424 | 2147483647 260747 223 | 0.000 % |
313.65/313.81 c | 261119 | 13664 58448 177424 | 2147483647 261119 223 | 0.000 % |
314.45/314.62 c | 261530 | 13664 58448 177424 | 2147483647 261530 223 | 0.000 % |
315.35/315.53 c | 261985 | 13664 58448 177424 | 2147483647 261985 223 | 0.000 % |
316.35/316.53 c | 262478 | 13664 58448 177424 | 2147483647 262478 223 | 0.000 % |
317.34/317.54 c | 263021 | 13664 58448 177424 | 2147483647 263021 223 | 0.000 % |
318.55/318.75 c | 263622 | 13664 58448 177424 | 2147483647 263622 222 | 0.000 % |
319.75/319.95 c | 264277 | 13664 58448 177424 | 2147483647 264277 222 | 0.000 % |
321.14/321.31 c | 264997 | 13664 58448 177424 | 2147483647 264997 223 | 0.000 % |
322.65/322.80 c | 265791 | 13664 58448 177424 | 2147483647 265791 223 | 0.000 % |
324.25/324.43 c | 266665 | 13664 58448 177424 | 2147483647 266665 223 | 0.000 % |
326.04/326.24 c | 267623 | 13664 58448 177424 | 2147483647 267623 223 | 0.000 % |
328.04/328.27 c | 268677 | 13664 58448 177424 | 2147483647 268677 223 | 0.000 % |
329.94/330.19 c | 269837 | 13664 58448 177424 | 2147483647 269837 223 | 0.000 % |
332.34/332.50 c | 271111 | 13664 58448 177424 | 2147483647 271111 224 | 0.000 % |
334.84/335.08 c | 272513 | 13664 58448 177424 | 2147483647 272513 224 | 0.000 % |
337.94/338.10 c | 274053 | 13664 58448 177424 | 2147483647 274053 224 | 0.000 % |
341.14/341.32 c | 275747 | 13664 58448 177424 | 2147483647 275747 224 | 0.000 % |
344.44/344.66 c | 277610 | 13664 58448 177424 | 2147483647 277610 224 | 0.000 % |
348.24/348.46 c | 279659 | 13664 58448 177424 | 2147483647 279659 224 | 0.000 % |
352.63/352.86 c | 281912 | 13664 58448 177424 | 2147483647 281912 225 | 0.000 % |
357.34/357.51 c | 284390 | 13664 58448 177424 | 2147483647 284390 225 | 0.000 % |
362.53/362.74 c | 287115 | 13664 58448 177424 | 2147483647 287115 225 | 0.000 % |
362.73/362.98 c | 287215 | 13664 58448 177424 | 2147483647 287215 225 | 0.000 % |
363.03/363.21 c | 287326 | 13664 58448 177424 | 2147483647 287326 225 | 0.000 % |
363.33/363.54 c | 287447 | 13664 58448 177424 | 2147483647 287447 225 | 0.000 % |
363.63/363.89 c | 287581 | 13664 58448 177424 | 2147483647 287581 225 | 0.000 % |
364.13/364.32 c | 287727 | 13664 58448 177424 | 2147483647 287727 225 | 0.000 % |
364.53/364.70 c | 287890 | 13664 58448 177424 | 2147483647 287890 225 | 0.000 % |
364.93/365.13 c | 288067 | 13664 58448 177424 | 2147483647 288067 225 | 0.000 % |
365.32/365.59 c | 288260 | 13664 58448 177424 | 2147483647 288260 225 | 0.000 % |
365.82/366.06 c | 288472 | 13664 58448 177424 | 2147483647 288472 225 | 0.000 % |
366.42/366.61 c | 288707 | 13664 58448 177424 | 2147483647 288707 225 | 0.000 % |
367.02/367.23 c | 288965 | 13664 58448 177424 | 2147483647 288965 225 | 0.000 % |
367.62/367.82 c | 289248 | 13664 58448 177424 | 2147483647 289248 225 | 0.000 % |
368.22/368.47 c | 289560 | 13664 58448 177424 | 2147483647 289560 225 | 0.000 % |
369.02/369.24 c | 289899 | 13664 58448 177424 | 2147483647 289899 225 | 0.000 % |
369.93/370.14 c | 290271 | 13664 58448 177424 | 2147483647 290271 225 | 0.000 % |
370.83/371.04 c | 290682 | 13664 58448 177424 | 2147483647 290682 225 | 0.000 % |
371.82/372.03 c | 291131 | 13664 58448 177424 | 2147483647 291131 225 | 0.000 % |
372.82/373.03 c | 291624 | 13664 58448 177424 | 2147483647 291624 225 | 0.000 % |
373.92/374.15 c | 292166 | 13664 58448 177424 | 2147483647 292166 225 | 0.000 % |
375.12/375.36 c | 292762 | 13664 58448 177424 | 2147483647 292762 225 | 0.000 % |
376.42/376.65 c | 293419 | 13664 58448 177424 | 2147483647 293419 225 | 0.000 % |
377.92/378.11 c | 294140 | 13664 58448 177424 | 2147483647 294140 225 | 0.000 % |
379.62/379.85 c | 294933 | 13664 58448 177424 | 2147483647 294933 225 | 0.000 % |
381.32/381.50 c | 295804 | 13664 58448 177424 | 2147483647 295804 225 | 0.000 % |
383.22/383.45 c | 296762 | 13664 58448 177424 | 2147483647 296762 225 | 0.000 % |
385.42/385.61 c | 297815 | 13664 58448 177424 | 2147483647 297815 225 | 0.000 % |
387.91/388.16 c | 298973 | 13664 58448 177424 | 2147483647 298973 225 | 0.000 % |
390.61/390.80 c | 300247 | 13664 58448 177424 | 2147483647 300247 225 | 0.000 % |
393.32/393.58 c | 301647 | 13664 58448 177424 | 2147483647 301647 225 | 0.000 % |
396.42/396.67 c | 303187 | 13664 58448 177424 | 2147483647 303187 226 | 0.000 % |
399.61/399.87 c | 304881 | 13664 58448 177424 | 2147483647 304881 226 | 0.000 % |
403.21/403.46 c | 306745 | 13664 58448 177424 | 2147483647 306745 226 | 0.000 % |
407.31/407.56 c | 308794 | 13664 58448 177424 | 2147483647 308794 226 | 0.000 % |
411.91/412.10 c | 311047 | 13664 58448 177424 | 2147483647 311047 226 | 0.000 % |
417.01/417.26 c | 313527 | 13664 58448 177424 | 2147483647 313527 226 | 0.000 % |
422.80/423.04 c | 316252 | 13664 58448 177424 | 2147483647 316252 226 | 0.000 % |
429.00/429.23 c | 319249 | 13664 58448 177424 | 2147483647 319249 227 | 0.000 % |
429.20/429.48 c | 319352 | 13664 58448 177424 | 2147483647 319352 227 | 0.000 % |
429.49/429.77 c | 319462 | 13664 58448 177424 | 2147483647 319462 227 | 0.000 % |
429.91/430.12 c | 319583 | 13664 58448 177424 | 2147483647 319583 227 | 0.000 % |
430.30/430.53 c | 319716 | 13664 58448 177424 | 2147483647 319716 227 | 0.000 % |
430.70/430.90 c | 319863 | 13664 58448 177424 | 2147483647 319863 227 | 0.000 % |
431.10/431.32 c | 320024 | 13664 58448 177424 | 2147483647 320024 227 | 0.000 % |
431.60/431.84 c | 320200 | 13664 58448 177424 | 2147483647 320200 227 | 0.000 % |
432.10/432.32 c | 320393 | 13664 58448 177424 | 2147483647 320393 227 | 0.000 % |
432.70/432.90 c | 320606 | 13664 58448 177424 | 2147483647 320606 227 | 0.000 % |
433.20/433.48 c | 320839 | 13664 58448 177424 | 2147483647 320839 227 | 0.000 % |
433.80/434.09 c | 321095 | 13664 58448 177424 | 2147483647 321095 227 | 0.000 % |
434.60/434.81 c | 321376 | 13664 58448 177424 | 2147483647 321376 227 | 0.000 % |
435.30/435.52 c | 321685 | 13664 58448 177424 | 2147483647 321685 227 | 0.000 % |
436.10/436.35 c | 322025 | 13664 58448 177424 | 2147483647 322025 227 | 0.000 % |
437.10/437.33 c | 322398 | 13664 58448 177424 | 2147483647 322398 227 | 0.000 % |
438.00/438.26 c | 322808 | 13664 58448 177424 | 2147483647 322808 227 | 0.000 % |
439.00/439.24 c | 323258 | 13664 58448 177424 | 2147483647 323258 227 | 0.000 % |
440.09/440.31 c | 323752 | 13664 58448 177424 | 2147483647 323752 226 | 0.000 % |
441.29/441.50 c | 324294 | 13664 58448 177424 | 2147483647 324294 226 | 0.000 % |
442.59/442.83 c | 324892 | 13664 58448 177424 | 2147483647 324892 226 | 0.000 % |
444.00/444.28 c | 325547 | 13664 58448 177424 | 2147483647 325547 226 | 0.000 % |
445.59/445.86 c | 326268 | 13664 58448 177424 | 2147483647 326268 226 | 0.000 % |
447.49/447.75 c | 327060 | 13664 58448 177424 | 2147483647 327060 226 | 0.000 % |
449.59/449.88 c | 327931 | 13664 58448 177424 | 2147483647 327931 226 | 0.000 % |
451.80/452.08 c | 328889 | 13664 58448 177424 | 2147483647 328889 226 | 0.000 % |
454.09/454.35 c | 329945 | 13664 58448 177424 | 2147483647 329945 227 | 0.000 % |
456.59/456.90 c | 331103 | 13664 58448 177424 | 2147483647 331103 227 | 0.000 % |
459.18/459.41 c | 332377 | 13664 58448 177424 | 2147483647 332377 227 | 0.000 % |
462.28/462.53 c | 333778 | 13664 58448 177424 | 2147483647 333778 227 | 0.000 % |
465.68/465.98 c | 335318 | 13664 58448 177424 | 2147483647 335318 227 | 0.000 % |
469.38/469.67 c | 337014 | 13664 58448 177424 | 2147483647 337014 227 | 0.000 % |
473.28/473.56 c | 338878 | 13664 58448 177424 | 2147483647 338878 227 | 0.000 % |
477.48/477.70 c | 340927 | 13664 58448 177424 | 2147483647 340927 227 | 0.000 % |
482.38/482.63 c | 343181 | 13664 58448 177424 | 2147483647 343181 228 | 0.000 % |
487.97/488.23 c | 345662 | 13664 58448 177424 | 2147483647 345662 228 | 0.000 % |
493.97/494.24 c | 348389 | 13664 58448 177424 | 2147483647 348389 228 | 0.000 % |
500.57/500.88 c | 351386 | 13664 58448 177424 | 2147483647 351386 228 | 0.000 % |
507.67/507.98 c | 354683 | 13664 58448 177424 | 2147483647 354683 229 | 0.000 % |
507.97/508.24 c | 354783 | 13664 58448 177424 | 2147483647 354783 229 | 0.000 % |
508.26/508.54 c | 354894 | 13664 58448 177424 | 2147483647 354894 229 | 0.000 % |
508.66/508.91 c | 355018 | 13664 58448 177424 | 2147483647 355018 229 | 0.000 % |
509.07/509.32 c | 355151 | 13664 58448 177424 | 2147483647 355151 229 | 0.000 % |
509.46/509.75 c | 355298 | 13664 58448 177424 | 2147483647 355298 229 | 0.000 % |
509.97/510.22 c | 355458 | 13664 58448 177424 | 2147483647 355458 229 | 0.000 % |
510.47/510.72 c | 355634 | 13664 58448 177424 | 2147483647 355634 229 | 0.000 % |
510.96/511.22 c | 355829 | 13664 58448 177424 | 2147483647 355829 229 | 0.000 % |
511.56/511.80 c | 356041 | 13664 58448 177424 | 2147483647 356041 229 | 0.000 % |
512.16/512.49 c | 356274 | 13664 58448 177424 | 2147483647 356274 229 | 0.000 % |
512.86/513.17 c | 356530 | 13664 58448 177424 | 2147483647 356530 229 | 0.000 % |
513.66/513.94 c | 356812 | 13664 58448 177424 | 2147483647 356812 229 | 0.000 % |
514.57/514.89 c | 357121 | 13664 58448 177424 | 2147483647 357121 229 | 0.000 % |
515.46/515.74 c | 357460 | 13664 58448 177424 | 2147483647 357460 229 | 0.000 % |
516.36/516.67 c | 357832 | 13664 58448 177424 | 2147483647 357832 229 | 0.000 % |
517.36/517.69 c | 358241 | 13664 58448 177424 | 2147483647 358241 229 | 0.000 % |
518.56/518.81 c | 358693 | 13664 58448 177424 | 2147483647 358693 229 | 0.000 % |
519.76/520.04 c | 359186 | 13664 58448 177424 | 2147483647 359186 229 | 0.000 % |
521.16/521.41 c | 359729 | 13664 58448 177424 | 2147483647 359729 228 | 0.000 % |
522.65/522.96 c | 360326 | 13664 58448 177424 | 2147483647 360326 228 | 0.000 % |
524.06/524.37 c | 360983 | 13664 58448 177424 | 2147483647 360983 229 | 0.000 % |
525.86/526.10 c | 361703 | 13664 58448 177424 | 2147483647 361703 229 | 0.000 % |
527.75/528.03 c | 362496 | 13664 58448 177424 | 2147483647 362496 229 | 0.000 % |
529.75/530.03 c | 363368 | 13664 58448 177424 | 2147483647 363368 229 | 0.000 % |
531.95/532.26 c | 364328 | 13664 58448 177424 | 2147483647 364328 229 | 0.000 % |
534.55/534.88 c | 365382 | 13664 58448 177424 | 2147483647 365382 229 | 0.000 % |
537.35/537.61 c | 366540 | 13664 58448 177424 | 2147483647 366540 229 | 0.000 % |
540.44/540.79 c | 367814 | 13664 58448 177424 | 2147483647 367814 229 | 0.000 % |
543.75/544.07 c | 369215 | 13664 58448 177424 | 2147483647 369215 229 | 0.000 % |
547.45/547.75 c | 370755 | 13664 58448 177424 | 2147483647 370755 229 | 0.000 % |
551.44/551.73 c | 372450 | 13664 58448 177424 | 2147483647 372450 229 | 0.000 % |
555.64/555.91 c | 374313 | 13664 58448 177424 | 2147483647 374313 229 | 0.000 % |
560.65/560.90 c | 376363 | 13664 58448 177424 | 2147483647 376363 229 | 0.000 % |
565.94/566.24 c | 378618 | 13664 58448 177424 | 2147483647 378618 229 | 0.000 % |
571.64/571.95 c | 381096 | 13664 58448 177424 | 2147483647 381096 230 | 0.000 % |
577.93/578.29 c | 383822 | 13664 58448 177424 | 2147483647 383822 230 | 0.000 % |
585.13/585.49 c | 386819 | 13664 58448 177424 | 2147483647 386819 230 | 0.000 % |
593.03/593.30 c | 390118 | 13664 58448 177424 | 2147483647 390118 230 | 0.000 % |
601.43/601.72 c | 393745 | 13664 58448 177424 | 2147483647 393745 231 | 0.000 % |
601.73/602.01 c | 393846 | 13664 58448 177424 | 2147483647 393846 231 | 0.000 % |
602.03/602.35 c | 393956 | 13664 58448 177424 | 2147483647 393956 231 | 0.000 % |
602.43/602.75 c | 394078 | 13664 58448 177424 | 2147483647 394078 231 | 0.000 % |
602.93/603.22 c | 394213 | 13664 58448 177424 | 2147483647 394213 231 | 0.000 % |
603.33/603.69 c | 394359 | 13664 58448 177424 | 2147483647 394359 231 | 0.000 % |
603.93/604.20 c | 394520 | 13664 58448 177424 | 2147483647 394520 231 | 0.000 % |
604.43/604.78 c | 394696 | 13664 58448 177424 | 2147483647 394696 231 | 0.000 % |
605.03/605.38 c | 394889 | 13664 58448 177424 | 2147483647 394889 231 | 0.000 % |
605.73/606.01 c | 395101 | 13664 58448 177424 | 2147483647 395101 231 | 0.000 % |
606.42/606.75 c | 395334 | 13664 58448 177424 | 2147483647 395334 231 | 0.000 % |
607.12/607.48 c | 395591 | 13664 58448 177424 | 2147483647 395591 230 | 0.000 % |
608.03/608.38 c | 395873 | 13664 58448 177424 | 2147483647 395873 230 | 0.000 % |
608.83/609.18 c | 396183 | 13664 58448 177424 | 2147483647 396183 230 | 0.000 % |
609.83/610.14 c | 396522 | 13664 58448 177424 | 2147483647 396522 230 | 0.000 % |
610.93/611.28 c | 396894 | 13664 58448 177424 | 2147483647 396894 230 | 0.000 % |
612.13/612.43 c | 397303 | 13664 58448 177424 | 2147483647 397303 230 | 0.000 % |
613.33/613.68 c | 397754 | 13664 58448 177424 | 2147483647 397754 230 | 0.000 % |
614.42/614.77 c | 398249 | 13664 58448 177424 | 2147483647 398249 230 | 0.000 % |
615.92/616.22 c | 398791 | 13664 58448 177424 | 2147483647 398791 230 | 0.000 % |
617.52/617.85 c | 399390 | 13664 58448 177424 | 2147483647 399390 230 | 0.000 % |
619.32/619.60 c | 400046 | 13664 58448 177424 | 2147483647 400046 230 | 0.000 % |
621.22/621.56 c | 400766 | 13664 58448 177424 | 2147483647 400766 230 | 0.000 % |
623.22/623.53 c | 401559 | 13664 58448 177424 | 2147483647 401559 230 | 0.000 % |
625.42/625.79 c | 402430 | 13664 58448 177424 | 2147483647 402430 230 | 0.000 % |
627.91/628.22 c | 403388 | 13664 58448 177424 | 2147483647 403388 230 | 0.000 % |
630.52/630.83 c | 404442 | 13664 58448 177424 | 2147483647 404442 231 | 0.000 % |
633.51/633.87 c | 405600 | 13664 58448 177424 | 2147483647 405600 231 | 0.000 % |
636.81/637.19 c | 406874 | 13664 58448 177424 | 2147483647 406874 231 | 0.000 % |
640.21/640.56 c | 408274 | 13664 58448 177424 | 2147483647 408274 231 | 0.000 % |
644.11/644.43 c | 409815 | 13664 58448 177424 | 2147483647 409815 231 | 0.000 % |
648.31/648.66 c | 411512 | 13664 58448 177424 | 2147483647 411512 231 | 0.000 % |
653.30/653.60 c | 413375 | 13664 58448 177424 | 2147483647 413375 231 | 0.000 % |
658.51/658.81 c | 415426 | 13664 58448 177424 | 2147483647 415426 231 | 0.000 % |
664.31/664.64 c | 417679 | 13664 58448 177424 | 2147483647 417679 231 | 0.000 % |
670.40/670.71 c | 420157 | 13664 58448 177424 | 2147483647 420157 232 | 0.000 % |
676.80/677.15 c | 422882 | 13664 58448 177424 | 2147483647 422882 232 | 0.000 % |
684.89/685.27 c | 425879 | 13664 58448 177424 | 2147483647 425879 233 | 0.000 % |
693.29/693.61 c | 429175 | 13664 58448 177424 | 2147483647 429175 233 | 0.000 % |
702.39/702.76 c | 432803 | 13664 58448 177424 | 2147483647 432803 233 | 0.000 % |
712.58/712.92 c | 436790 | 13664 58448 177424 | 2147483647 436790 233 | 0.000 % |
712.88/713.23 c | 436890 | 13664 58448 177424 | 2147483647 436890 233 | 0.000 % |
713.28/713.65 c | 437001 | 13664 58448 177424 | 2147483647 437001 233 | 0.000 % |
713.78/714.13 c | 437122 | 13664 58448 177424 | 2147483647 437122 233 | 0.000 % |
714.18/714.59 c | 437256 | 13664 58448 177424 | 2147483647 437256 233 | 0.000 % |
714.69/715.08 c | 437402 | 13664 58448 177424 | 2147483647 437402 233 | 0.000 % |
715.28/715.66 c | 437562 | 13664 58448 177424 | 2147483647 437562 233 | 0.000 % |
715.88/716.26 c | 437738 | 13664 58448 177424 | 2147483647 437738 233 | 0.000 % |
716.58/716.92 c | 437933 | 13664 58448 177424 | 2147483647 437933 233 | 0.000 % |
717.18/717.56 c | 438145 | 13664 58448 177424 | 2147483647 438145 233 | 0.000 % |
717.88/718.25 c | 438380 | 13664 58448 177424 | 2147483647 438380 233 | 0.000 % |
718.68/719.10 c | 438636 | 13664 58448 177424 | 2147483647 438636 233 | 0.000 % |
719.58/719.93 c | 438919 | 13664 58448 177424 | 2147483647 438919 233 | 0.000 % |
720.48/720.83 c | 439229 | 13664 58448 177424 | 2147483647 439229 233 | 0.000 % |
721.48/721.87 c | 439568 | 13664 58448 177424 | 2147483647 439568 233 | 0.000 % |
722.68/723.08 c | 439940 | 13664 58448 177424 | 2147483647 439940 233 | 0.000 % |
723.97/724.34 c | 440351 | 13664 58448 177424 | 2147483647 440351 233 | 0.000 % |
725.28/725.63 c | 440800 | 13664 58448 177424 | 2147483647 440800 233 | 0.000 % |
726.58/726.94 c | 441293 | 13664 58448 177424 | 2147483647 441293 233 | 0.000 % |
728.17/728.55 c | 441837 | 13664 58448 177424 | 2147483647 441837 233 | 0.000 % |
729.87/730.28 c | 442433 | 13664 58448 177424 | 2147483647 442433 233 | 0.000 % |
731.78/732.19 c | 443088 | 13664 58448 177424 | 2147483647 443088 233 | 0.000 % |
734.08/734.40 c | 443808 | 13664 58448 177424 | 2147483647 443808 233 | 0.000 % |
736.17/736.55 c | 444600 | 13664 58448 177424 | 2147483647 444600 233 | 0.000 % |
738.47/738.88 c | 445476 | 13664 58448 177424 | 2147483647 445476 233 | 0.000 % |
741.17/741.59 c | 446436 | 13664 58448 177424 | 2147483647 446436 233 | 0.000 % |
744.28/744.64 c | 447490 | 13664 58448 177424 | 2147483647 447490 233 | 0.000 % |
747.77/748.14 c | 448651 | 13664 58448 177424 | 2147483647 448651 233 | 0.000 % |
751.17/751.52 c | 449925 | 13664 58448 177424 | 2147483647 449925 233 | 0.000 % |
755.07/755.45 c | 451325 | 13664 58448 177424 | 2147483647 451325 233 | 0.000 % |
758.77/759.17 c | 452866 | 13664 58448 177424 | 2147483647 452866 234 | 0.000 % |
763.26/763.61 c | 454560 | 13664 58448 177424 | 2147483647 454560 234 | 0.000 % |
768.76/769.10 c | 456423 | 13664 58448 177424 | 2147483647 456423 234 | 0.000 % |
774.36/774.79 c | 458473 | 13664 58448 177424 | 2147483647 458473 234 | 0.000 % |
780.25/780.64 c | 460726 | 13664 58448 177424 | 2147483647 460726 234 | 0.000 % |
786.86/787.23 c | 463204 | 13664 58448 177424 | 2147483647 463204 234 | 0.000 % |
794.55/794.92 c | 465930 | 13664 58448 177424 | 2147483647 465930 234 | 0.000 % |
802.84/803.20 c | 468930 | 13664 58448 177424 | 2147483647 468930 235 | 0.000 % |
812.24/812.61 c | 472226 | 13664 58448 177424 | 2147483647 472226 235 | 0.000 % |
822.14/822.58 c | 475851 | 13664 58448 177424 | 2147483647 475851 235 | 0.000 % |
833.44/833.84 c | 479838 | 13664 58448 177424 | 2147483647 479838 235 | 0.000 % |
845.34/845.78 c | 484223 | 13664 58448 177424 | 2147483647 484223 236 | 0.000 % |
845.74/846.13 c | 484323 | 13664 58448 177424 | 2147483647 484323 236 | 0.000 % |
846.14/846.54 c | 484433 | 13664 58448 177424 | 2147483647 484433 236 | 0.000 % |
846.64/847.01 c | 484556 | 13664 58448 177424 | 2147483647 484556 236 | 0.000 % |
847.13/847.59 c | 484691 | 13664 58448 177424 | 2147483647 484691 236 | 0.000 % |
847.74/848.15 c | 484837 | 13664 58448 177424 | 2147483647 484837 236 | 0.000 % |
848.33/848.72 c | 484997 | 13664 58448 177424 | 2147483647 484997 236 | 0.000 % |
848.93/849.39 c | 485175 | 13664 58448 177424 | 2147483647 485175 236 | 0.000 % |
849.63/850.06 c | 485370 | 13664 58448 177424 | 2147483647 485370 236 | 0.000 % |
850.32/850.72 c | 485582 | 13664 58448 177424 | 2147483647 485582 236 | 0.000 % |
851.22/851.62 c | 485815 | 13664 58448 177424 | 2147483647 485815 236 | 0.000 % |
852.04/852.45 c | 486071 | 13664 58448 177424 | 2147483647 486071 236 | 0.000 % |
853.03/853.47 c | 486355 | 13664 58448 177424 | 2147483647 486355 236 | 0.000 % |
854.13/854.55 c | 486664 | 13664 58448 177424 | 2147483647 486664 236 | 0.000 % |
855.23/855.63 c | 487004 | 13664 58448 177424 | 2147483647 487004 236 | 0.000 % |
856.43/856.89 c | 487377 | 13664 58448 177424 | 2147483647 487377 236 | 0.000 % |
857.83/858.22 c | 487786 | 13664 58448 177424 | 2147483647 487786 236 | 0.000 % |
859.23/859.63 c | 488235 | 13664 58448 177424 | 2147483647 488235 236 | 0.000 % |
860.52/860.91 c | 488728 | 13664 58448 177424 | 2147483647 488728 236 | 0.000 % |
862.13/862.55 c | 489271 | 13664 58448 177424 | 2147483647 489271 236 | 0.000 % |
864.03/864.45 c | 489867 | 13664 58448 177424 | 2147483647 489867 236 | 0.000 % |
866.02/866.43 c | 490522 | 13664 58448 177424 | 2147483647 490522 236 | 0.000 % |
868.42/868.81 c | 491243 | 13664 58448 177424 | 2147483647 491243 236 | 0.000 % |
870.92/871.40 c | 492039 | 13664 58448 177424 | 2147483647 492039 236 | 0.000 % |
873.72/874.14 c | 492910 | 13664 58448 177424 | 2147483647 492910 236 | 0.000 % |
876.62/877.08 c | 493869 | 13664 58448 177424 | 2147483647 493869 236 | 0.000 % |
879.82/880.26 c | 494923 | 13664 58448 177424 | 2147483647 494923 236 | 0.000 % |
883.51/883.96 c | 496081 | 13664 58448 177424 | 2147483647 496081 236 | 0.000 % |
887.62/888.05 c | 497355 | 13664 58448 177424 | 2147483647 497355 236 | 0.000 % |
892.01/892.48 c | 498759 | 13664 58448 177424 | 2147483647 498759 236 | 0.000 % |
896.51/896.96 c | 500301 | 13664 58448 177424 | 2147483647 500301 236 | 0.000 % |
901.41/901.81 c | 501996 | 13664 58448 177424 | 2147483647 501996 236 | 0.000 % |
907.01/907.49 c | 503861 | 13664 58448 177424 | 2147483647 503861 236 | 0.000 % |
913.11/913.55 c | 505913 | 13664 58448 177424 | 2147483647 505913 236 | 0.000 % |
920.10/920.55 c | 508169 | 13664 58448 177424 | 2147483647 508169 236 | 0.000 % |
927.10/927.58 c | 510647 | 13664 58448 177424 | 2147483647 510647 236 | 0.000 % |
935.19/935.61 c | 513373 | 13664 58448 177424 | 2147483647 513373 237 | 0.000 % |
943.79/944.25 c | 516371 | 13664 58448 177424 | 2147483647 516371 237 | 0.000 % |
953.09/953.50 c | 519667 | 13664 58448 177424 | 2147483647 519667 237 | 0.000 % |
963.99/964.47 c | 523292 | 13664 58448 177424 | 2147483647 523292 237 | 0.000 % |
975.88/976.32 c | 527280 | 13664 58448 177424 | 2147483647 527280 237 | 0.000 % |
988.98/989.47 c | 531667 | 13664 58448 177424 | 2147483647 531667 238 | 0.000 % |
1003.87/1004.32 c | 536492 | 13664 58448 177424 | 2147483647 536492 238 | 0.000 % |
1004.17/1004.67 c | 536594 | 13664 58448 177424 | 2147483647 536594 238 | 0.000 % |
1004.77/1005.23 c | 536704 | 13664 58448 177424 | 2147483647 536704 238 | 0.000 % |
1005.27/1005.73 c | 536825 | 13664 58448 177424 | 2147483647 536825 238 | 0.000 % |
1005.87/1006.33 c | 536958 | 13664 58448 177424 | 2147483647 536958 238 | 0.000 % |
1006.47/1006.94 c | 537107 | 13664 58448 177424 | 2147483647 537107 238 | 0.000 % |
1007.07/1007.58 c | 537267 | 13664 58448 177424 | 2147483647 537267 238 | 0.000 % |
1007.77/1008.28 c | 537443 | 13664 58448 177424 | 2147483647 537443 238 | 0.000 % |
1008.67/1009.15 c | 537636 | 13664 58448 177424 | 2147483647 537636 238 | 0.000 % |
1009.47/1009.96 c | 537850 | 13664 58448 177424 | 2147483647 537850 238 | 0.000 % |
1010.47/1010.99 c | 538083 | 13664 58448 177424 | 2147483647 538083 238 | 0.000 % |
1011.58/1012.08 c | 538339 | 13664 58448 177424 | 2147483647 538339 238 | 0.000 % |
1012.77/1013.22 c | 538620 | 13664 58448 177424 | 2147483647 538620 238 | 0.000 % |
1013.87/1014.33 c | 538930 | 13664 58448 177424 | 2147483647 538930 238 | 0.000 % |
1014.87/1015.39 c | 539269 | 13664 58448 177424 | 2147483647 539269 238 | 0.000 % |
1016.07/1016.52 c | 539641 | 13664 58448 177424 | 2147483647 539641 238 | 0.000 % |
1017.57/1018.02 c | 540050 | 13664 58448 177424 | 2147483647 540050 238 | 0.000 % |
1019.27/1019.75 c | 540499 | 13664 58448 177424 | 2147483647 540499 238 | 0.000 % |
1021.17/1021.68 c | 540992 | 13664 58448 177424 | 2147483647 540992 238 | 0.000 % |
1023.26/1023.70 c | 541535 | 13664 58448 177424 | 2147483647 541535 238 | 0.000 % |
1025.46/1025.90 c | 542131 | 13664 58448 177424 | 2147483647 542131 238 | 0.000 % |
1027.87/1028.33 c | 542790 | 13664 58448 177424 | 2147483647 542790 238 | 0.000 % |
1030.36/1030.83 c | 543510 | 13664 58448 177424 | 2147483647 543510 238 | 0.000 % |
1033.06/1033.58 c | 544307 | 13664 58448 177424 | 2147483647 544307 238 | 0.000 % |
1035.96/1036.48 c | 545178 | 13664 58448 177424 | 2147483647 545178 238 | 0.000 % |
1039.06/1039.52 c | 546138 | 13664 58448 177424 | 2147483647 546138 238 | 0.000 % |
1042.56/1043.00 c | 547193 | 13664 58448 177424 | 2147483647 547193 238 | 0.000 % |
1046.56/1047.01 c | 548351 | 13664 58448 177424 | 2147483647 548351 238 | 0.000 % |
1050.96/1051.46 c | 549625 | 13664 58448 177424 | 2147483647 549625 238 | 0.000 % |
1055.45/1055.94 c | 551025 | 13664 58448 177424 | 2147483647 551025 238 | 0.000 % |
1060.45/1060.97 c | 552565 | 13664 58448 177424 | 2147483647 552565 238 | 0.000 % |
1065.85/1066.37 c | 554259 | 13664 58448 177424 | 2147483647 554259 238 | 0.000 % |
1072.15/1072.66 c | 556123 | 13664 58448 177424 | 2147483647 556123 238 | 0.000 % |
1078.74/1079.22 c | 558172 | 13664 58448 177424 | 2147483647 558172 238 | 0.000 % |
1086.14/1086.60 c | 560425 | 13664 58448 177424 | 2147483647 560425 238 | 0.000 % |
1094.14/1094.61 c | 562903 | 13664 58448 177424 | 2147483647 562903 238 | 0.000 % |
1102.43/1102.95 c | 565628 | 13664 58448 177424 | 2147483647 565628 238 | 0.000 % |
1112.44/1112.99 c | 568626 | 13664 58448 177424 | 2147483647 568626 238 | 0.000 % |
1123.13/1123.68 c | 571923 | 13664 58448 177424 | 2147483647 571923 238 | 0.000 % |
1134.03/1134.54 c | 575548 | 13664 58448 177424 | 2147483647 575548 239 | 0.000 % |
1147.12/1147.65 c | 579535 | 13664 58448 177424 | 2147483647 579535 239 | 0.000 % |
1161.02/1161.56 c | 583920 | 13664 58448 177424 | 2147483647 583920 239 | 0.000 % |
1176.61/1177.17 c | 588743 | 13664 58448 177424 | 2147483647 588743 239 | 0.000 % |
1193.91/1194.47 c | 594048 | 13664 58448 177424 | 2147483647 594048 239 | 0.000 % |
1194.51/1195.03 c | 594149 | 13664 58448 177424 | 2147483647 594149 239 | 0.000 % |
1195.01/1195.57 c | 594260 | 13664 58448 177424 | 2147483647 594260 239 | 0.000 % |
1195.60/1196.12 c | 594381 | 13664 58448 177424 | 2147483647 594381 239 | 0.000 % |
1196.21/1196.75 c | 594514 | 13664 58448 177424 | 2147483647 594514 239 | 0.000 % |
1197.00/1197.54 c | 594661 | 13664 58448 177424 | 2147483647 594661 239 | 0.000 % |
1197.70/1198.22 c | 594821 | 13664 58448 177424 | 2147483647 594821 239 | 0.000 % |
1198.51/1199.04 c | 594997 | 13664 58448 177424 | 2147483647 594997 239 | 0.000 % |
1199.40/1199.95 c | 595190 | 13664 58448 177424 | 2147483647 595190 239 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832727-1242787058/watcher-1832727-1242787058 -o /tmp/evaluation-result-1832727-1242787058/solver-1832727-1242787058 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832727-1242787058.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 15066
/proc/meminfo: memFree=1831704/2055920 swapFree=4179684/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=0
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14402 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306738797 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 253307355218 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/15066/statm: 1339 235 195 169 0 50 0
[pid=15067] ppid=15066 vsize=5356 CPUtime=0
/proc/15067/stat : 15067 (SatELiteGTI) S 15066 15066 14402 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 306738797 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/15067/statm: 1339 238 198 169 0 50 0
[pid=15069] ppid=15067 vsize=5356 CPUtime=0
/proc/15069/stat : 15069 (SatELiteGTI) R 15067 15066 14402 0 -1 4194368 19 0 0 0 0 0 0 0 18 0 1 0 306738797 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307186471 0 0 4096 0 0 0 0 17 1 0 0
/proc/15069/statm: 1339 239 199 169 0 50 0
[startup+0.022601 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 15066
/proc/meminfo: memFree=1831704/2055920 swapFree=4179684/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=0
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14402 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306738797 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15066/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101612 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 15066
/proc/meminfo: memFree=1831704/2055920 swapFree=4179684/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=0
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14402 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306738797 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15066/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301662 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 15066
/proc/meminfo: memFree=1831704/2055920 swapFree=4179684/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=0.26
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14402 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306738797 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 5356
[startup+0.701724 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 15066
/proc/meminfo: memFree=1831704/2055920 swapFree=4179684/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=0.26
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14402 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306738797 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 5356
[startup+1.50185 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15072
/proc/meminfo: memFree=1824264/2055920 swapFree=4179684/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=0.26
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14402 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306738797 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=7580 CPUtime=1.21
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14402 0 -1 4194304 1741 0 0 0 121 0 0 0 25 0 1 0 306738824 7761920 1727 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 1895 1727 77 171 0 1722 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12936
[startup+3.10112 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15072
/proc/meminfo: memFree=1822408/2055920 swapFree=4179684/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=0.26
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14402 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306738797 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=10112 CPUtime=2.81
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14402 0 -1 4194304 2354 0 0 0 280 1 0 0 25 0 1 0 306738824 10354688 2340 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 2528 2340 77 171 0 2355 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15468
[startup+6.30167 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15072
/proc/meminfo: memFree=1817352/2055920 swapFree=4179684/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=0.26
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14402 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306738797 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=14868 CPUtime=6.01
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14402 0 -1 4194304 3542 0 0 0 598 3 0 0 25 0 1 0 306738824 15224832 3528 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 3717 3528 77 171 0 3544 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 20224
[startup+12.7018 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15072
/proc/meminfo: memFree=1808072/2055920 swapFree=4179684/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=0.26
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14402 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306738797 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=23612 CPUtime=12.41
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14402 0 -1 4194304 5734 0 0 0 1236 5 0 0 25 0 1 0 306738824 24178688 5720 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 5903 5720 77 171 0 5730 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 28968
[startup+25.502 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15072
/proc/meminfo: memFree=1791688/2055920 swapFree=4179684/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=0.26
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14402 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306738797 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=39432 CPUtime=25.21
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14402 0 -1 4194304 9685 0 0 0 2512 9 0 0 25 0 1 0 306738824 40378368 9671 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 9858 9671 77 171 0 9685 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 44788
[startup+51.1013 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15072
/proc/meminfo: memFree=1765768/2055920 swapFree=4179684/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=0.26
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14402 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306738797 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=65432 CPUtime=50.8
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14402 0 -1 4194304 16165 0 0 0 5064 16 0 0 25 0 1 0 306738824 67002368 16151 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 16358 16151 77 171 0 16185 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 70788
[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15072
/proc/meminfo: memFree=1720968/2055920 swapFree=4179684/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=0.26
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14402 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306738797 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=109704 CPUtime=101.98
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14402 0 -1 4194304 27238 0 0 0 10169 29 0 0 25 0 1 0 306738824 112336896 27224 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 27426 27224 77 171 0 27253 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 115060
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15072
/proc/meminfo: memFree=1678024/2055920 swapFree=4179684/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=0.26
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14402 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306738797 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=152880 CPUtime=161.95
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14402 0 -1 4194304 38022 0 0 0 16153 42 0 0 25 0 1 0 306738824 156549120 38008 1992294400 134512640 135215339 4294956240 18446744073709551615 134538068 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 38220 38008 77 171 0 38047 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 158236
[startup+222.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15072
/proc/meminfo: memFree=1639240/2055920 swapFree=4179684/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=0.26
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14402 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306738797 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=191320 CPUtime=221.93
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14402 0 -1 4194304 47578 0 0 0 22141 52 0 0 25 0 1 0 306738824 195911680 47564 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 47830 47564 77 171 0 47657 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 196676
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15074
/proc/meminfo: memFree=1605192/2055920 swapFree=4179684/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=0.26
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14402 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306738797 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=225244 CPUtime=281.91
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14402 0 -1 4194304 56080 0 0 0 28129 62 0 0 25 0 1 0 306738824 230649856 56066 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 56311 56066 77 171 0 56138 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 230600
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15074
/proc/meminfo: memFree=1570952/2055920 swapFree=4179684/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=0.26
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14402 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306738797 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=259036 CPUtime=341.87
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14402 0 -1 4194304 64556 0 0 0 34113 74 0 0 25 0 1 0 306738824 265252864 64542 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 64759 64542 77 171 0 64586 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 264392
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15074
/proc/meminfo: memFree=1541640/2055920 swapFree=4179684/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=0.26
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14402 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306738797 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=288336 CPUtime=401.85
################
# More data... #
################
/proc/15072/statm: 91938 91668 77 171 0 91765 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 373108
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15074
/proc/meminfo: memFree=1438024/2055920 swapFree=4179684/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=0.26
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14402 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306738797 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=391252 CPUtime=641.75
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14402 0 -1 4194304 97600 0 0 0 64055 120 0 0 25 0 1 0 306738824 400642048 97586 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 97813 97586 77 171 0 97640 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 396608
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15074
/proc/meminfo: memFree=1412040/2055920 swapFree=4179684/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=0.26
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14402 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306738797 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=417256 CPUtime=701.73
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14402 0 -1 4194304 104125 0 0 0 70046 127 0 0 25 0 1 0 306738824 427270144 104111 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 104314 104111 77 171 0 104141 0
Current children cumulated CPU time (s) 701.99
Current children cumulated vsize (KiB) 422612
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15074
/proc/meminfo: memFree=1390088/2055920 swapFree=4179684/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=0.26
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14402 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306738797 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=438772 CPUtime=761.7
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14402 0 -1 4194304 109509 0 0 0 76037 133 0 0 25 0 1 0 306738824 449302528 109495 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 109693 109495 77 171 0 109520 0
Current children cumulated CPU time (s) 761.96
Current children cumulated vsize (KiB) 444128
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15074
/proc/meminfo: memFree=1366792/2055920 swapFree=4179684/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=0.26
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14402 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306738797 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=463048 CPUtime=821.68
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14402 0 -1 4194304 115393 0 0 0 82029 139 0 0 25 0 1 0 306738824 474161152 115379 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 115762 115379 77 171 0 115589 0
Current children cumulated CPU time (s) 821.94
Current children cumulated vsize (KiB) 468404
[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15074
/proc/meminfo: memFree=1345992/2055920 swapFree=4179684/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=0.26
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14402 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306738797 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=483508 CPUtime=881.66
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14402 0 -1 4194304 120501 0 0 0 88020 146 0 0 25 0 1 0 306738824 495112192 120487 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 120877 120487 77 171 0 120704 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 488864
[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15074
/proc/meminfo: memFree=1325064/2055920 swapFree=4179684/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=0.26
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14402 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306738797 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=504364 CPUtime=941.63
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14402 0 -1 4194304 125753 0 0 0 94009 154 0 0 25 0 1 0 306738824 516468736 125739 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 126091 125739 77 171 0 125918 0
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (KiB) 509720
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15074
/proc/meminfo: memFree=1302472/2055920 swapFree=4179684/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=0.26
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14402 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306738797 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=526672 CPUtime=1001.61
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14402 0 -1 4194304 131336 0 0 0 99999 162 0 0 25 0 1 0 306738824 539312128 131322 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 131668 131322 77 171 0 131495 0
Current children cumulated CPU time (s) 1001.87
Current children cumulated vsize (KiB) 532028
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15074
/proc/meminfo: memFree=1286536/2055920 swapFree=4179684/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=0.26
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14402 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306738797 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=542516 CPUtime=1061.59
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14402 0 -1 4194304 135316 0 0 0 105993 166 0 0 25 0 1 0 306738824 555536384 135302 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 135629 135302 77 171 0 135456 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 547872
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15074
/proc/meminfo: memFree=1267080/2055920 swapFree=4179684/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=0.26
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14402 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306738797 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=561656 CPUtime=1121.57
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14402 0 -1 4194304 140133 0 0 0 111985 172 0 0 25 0 1 0 306738824 575135744 140119 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 140414 140119 77 171 0 140241 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 567012
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15074
/proc/meminfo: memFree=1246664/2055920 swapFree=4179684/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=0.26
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14402 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306738797 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=581984 CPUtime=1181.55
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14402 0 -1 4194304 145244 0 0 0 117976 179 0 0 25 0 1 0 306738824 595951616 145230 1992294400 134512640 135215339 4294956240 18446744073709551615 134528772 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 145496 145230 77 171 0 145323 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 587340
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15074
/proc/meminfo: memFree=1241416/2055920 swapFree=4179684/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=0.26
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14402 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306738797 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=587000 CPUtime=1199.74
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14402 0 -1 4194304 146472 0 0 0 119794 180 0 0 25 0 1 0 306738824 601088000 146458 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 146750 146458 77 171 0 146577 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 592356
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15074
/proc/meminfo: memFree=1241416/2055920 swapFree=4179684/4192956
[pid=15066] ppid=15064 vsize=5356 CPUtime=0.26
/proc/15066/stat : 15066 (SatELiteGTI) S 15064 15066 14402 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306738797 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15066/statm: 1339 239 197 169 0 50 0
[pid=15072] ppid=15066 vsize=587000 CPUtime=1199.74
/proc/15072/stat : 15072 (minisat_static) R 15066 15066 14402 0 -1 4194304 146472 0 0 0 119794 180 0 0 25 0 1 0 306738824 601088000 146458 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 146750 146458 77 171 0 146577 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 592356
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15066 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=255961
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=14997
# CPU time returned by wait4() is 0.270958
# while last known CPU time is 1200
#
# 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
CPU user time (s): 1198.19
CPU system time (s): 1.81
CPU usage (%): 99.9573
Max. virtual memory (cumulated for all children) (KiB): 592356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.255961
system time used= 0.014997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2401
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 6
runsolver used 1.41278 second user time and 3.04154 second system time
The end
Begin job on node25 at 2009-05-20 04:37:38
IDJOB=1832727
IDBENCH=70327
IDSOLVER=671
FILE ID=node25/1832727-1242787058
PBS_JOBID= 9322306
Free space on /tmp= 66392 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/14000/unif-k3-r4.2-v14000-c58800-S1294530132-092.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832727-1242787058/watcher-1832727-1242787058 -o /tmp/evaluation-result-1832727-1242787058/solver-1832727-1242787058 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832727-1242787058.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= eddf23a9129879ac5af61d87df97c9d0
RANDOM SEED=2001797176
node25.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.259
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.259
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: 1832184 kB
Buffers: 30896 kB
Cached: 124292 kB
SwapCached: 7944 kB
Active: 56184 kB
Inactive: 108296 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1832184 kB
SwapTotal: 4192956 kB
SwapFree: 4179684 kB
Dirty: 2684 kB
Writeback: 0 kB
Mapped: 14056 kB
Slab: 45300 kB
Committed_AS: 1000872 kB
PageTables: 1464 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66388 MiB
End job on node25 at 2009-05-20 04:57:40