0.00/0.00 c Parsing...
0.00/0.04 c ==============================================================================
0.00/0.04 c | | ORIGINAL | LEARNT | |
0.00/0.04 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.04 c ==============================================================================
0.00/0.04 c | 0 | 42000 126000 | 12599 0 0 nan | 0.000 % |
0.00/0.14 c | 0 | 41720 126728 | -- 0 -- -- | -- | -280/728
0.00/0.14 c ==============================================================================
0.00/0.14 c Result : #vars: 9746 #clauses: 41720 #literals: 126728
0.00/0.14 c CPU time: 0.119981 s
0.00/0.14 c ==============================================================================
0.00/0.18 c This is MiniSat 2.0 beta
0.00/0.18 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.18 c ============================[ Problem Statistics ]=============================
0.00/0.18 c | |
0.00/0.18 c | Number of variables: 9746 |
0.00/0.18 c | Number of clauses: 41720 |
0.16/0.21 c | Parsing time: 0.03 s |
0.16/0.21 c ============================[ Search Statistics ]==============================
0.16/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.16/0.21 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.16/0.21 c ===============================================================================
0.16/0.21 c | 0 | 9746 41720 126728 | 13906 0 nan | 0.000 % |
0.16/0.24 c | 100 | 9746 41720 126728 | 13906 100 100 | 0.000 % |
0.16/0.27 c | 200 | 9746 41720 126728 | 13906 200 116 | 0.000 % |
0.16/0.30 c | 301 | 9746 41720 126728 | 13906 301 118 | 0.000 % |
0.16/0.33 c | 412 | 9746 41720 126728 | 13906 412 129 | 0.000 % |
0.16/0.36 c | 512 | 9746 41720 126728 | 13906 512 128 | 0.000 % |
0.16/0.39 c | 622 | 9746 41720 126728 | 13906 622 122 | 0.000 % |
0.16/0.43 c | 744 | 9746 41720 126728 | 13906 744 129 | 0.000 % |
0.16/0.47 c | 844 | 9746 41720 126728 | 13906 844 133 | 0.000 % |
0.16/0.50 c | 955 | 9746 41720 126728 | 13906 955 132 | 0.000 % |
0.16/0.53 c | 1076 | 9746 41720 126728 | 13906 1076 136 | 0.000 % |
0.16/0.58 c | 1209 | 9746 41720 126728 | 13906 1209 140 | 0.000 % |
0.16/0.61 c | 1311 | 9746 41720 126728 | 13906 1311 142 | 0.000 % |
0.16/0.64 c | 1421 | 9746 41720 126728 | 13906 1421 141 | 0.000 % |
0.16/0.68 c | 1542 | 9746 41720 126728 | 13906 1542 143 | 0.000 % |
0.16/0.72 c | 1675 | 9746 41720 126728 | 13906 1675 144 | 0.000 % |
0.16/0.77 c | 1822 | 9746 41720 126728 | 13906 1822 146 | 0.000 % |
0.16/0.80 c | 1922 | 9746 41720 126728 | 13906 1922 147 | 0.000 % |
0.16/0.83 c | 2032 | 9746 41720 126728 | 13906 2032 147 | 0.000 % |
0.16/0.87 c | 2154 | 9746 41720 126728 | 13906 2154 147 | 0.000 % |
0.16/0.91 c | 2287 | 9746 41720 126728 | 13906 2287 149 | 0.000 % |
0.16/0.96 c | 2435 | 9746 41720 126728 | 13906 2435 148 | 0.000 % |
0.97/1.01 c | 2596 | 9746 41720 126728 | 13906 2596 150 | 0.000 % |
0.97/1.04 c | 2697 | 9746 41720 126728 | 13906 2697 149 | 0.000 % |
0.97/1.08 c | 2808 | 9746 41720 126728 | 13906 2808 149 | 0.000 % |
1.07/1.11 c | 2929 | 9746 41720 126728 | 13906 2929 150 | 0.000 % |
1.07/1.16 c | 3062 | 9746 41720 126728 | 13906 3062 150 | 0.000 % |
1.16/1.20 c | 3209 | 9746 41720 126728 | 13906 3209 151 | 0.000 % |
1.16/1.26 c | 3369 | 9746 41720 126728 | 13906 3369 150 | 0.000 % |
1.26/1.31 c | 3545 | 9746 41720 126728 | 13906 3545 150 | 0.000 % |
1.26/1.35 c | 3646 | 9746 41720 126728 | 13906 3646 150 | 0.000 % |
1.26/1.39 c | 3756 | 9746 41720 126728 | 13906 3756 150 | 0.000 % |
1.36/1.43 c | 3877 | 9746 41720 126728 | 13906 3877 152 | 0.000 % |
1.36/1.47 c | 4011 | 9746 41720 126728 | 13906 4011 152 | 0.000 % |
1.46/1.52 c | 4158 | 9746 41720 126728 | 13906 4158 151 | 0.000 % |
1.46/1.57 c | 4318 | 9746 41720 126728 | 13906 4318 151 | 0.000 % |
1.57/1.63 c | 4494 | 9746 41720 126728 | 13906 4494 150 | 0.000 % |
1.57/1.69 c | 4687 | 9746 41720 126728 | 13906 4687 151 | 0.000 % |
1.67/1.72 c | 4789 | 9746 41720 126728 | 13906 4789 150 | 0.000 % |
1.67/1.76 c | 4899 | 9746 41720 126728 | 13906 4899 150 | 0.000 % |
1.77/1.80 c | 5020 | 9746 41720 126728 | 13906 5020 150 | 0.000 % |
1.77/1.85 c | 5154 | 9746 41720 126728 | 13906 5154 151 | 0.000 % |
1.87/1.90 c | 5301 | 9746 41720 126728 | 13906 5301 152 | 0.000 % |
1.87/1.95 c | 5462 | 9746 41720 126728 | 13906 5462 152 | 0.000 % |
1.97/2.02 c | 5638 | 9746 41720 126728 | 13906 5638 152 | 0.000 % |
1.97/2.08 c | 5834 | 9746 41720 126728 | 13906 5834 151 | 0.000 % |
2.07/2.15 c | 6046 | 9746 41720 126728 | 13906 6046 151 | 0.000 % |
2.07/2.19 c | 6147 | 9746 41720 126728 | 13906 6147 151 | 0.000 % |
2.17/2.23 c | 6257 | 9746 41720 126728 | 13906 6257 151 | 0.000 % |
2.17/2.27 c | 6378 | 9746 41720 126728 | 13906 6378 151 | 0.000 % |
2.26/2.32 c | 6513 | 9746 41720 126728 | 13906 6513 150 | 0.000 % |
2.26/2.37 c | 6660 | 9746 41720 126728 | 13906 6660 150 | 0.000 % |
2.36/2.42 c | 6820 | 9746 41720 126728 | 13906 6820 150 | 0.000 % |
2.36/2.48 c | 6996 | 9746 41720 126728 | 13906 6996 150 | 0.000 % |
2.47/2.55 c | 7189 | 9746 41720 126728 | 13906 7189 150 | 0.000 % |
2.57/2.63 c | 7401 | 9746 41720 126728 | 13906 7401 150 | 0.000 % |
2.67/2.71 c | 7634 | 9746 41720 126728 | 13906 7634 150 | 0.000 % |
2.67/2.75 c | 7735 | 9746 41720 126728 | 13906 7735 150 | 0.000 % |
2.67/2.79 c | 7848 | 9746 41720 126728 | 13906 7848 149 | 0.000 % |
2.77/2.83 c | 7969 | 9746 41720 126728 | 13906 7969 149 | 0.000 % |
2.77/2.88 c | 8102 | 9746 41720 126728 | 13906 8102 149 | 0.000 % |
2.87/2.93 c | 8249 | 9746 41720 126728 | 13906 8249 149 | 0.000 % |
2.87/2.98 c | 8409 | 9746 41720 126728 | 13906 8409 148 | 0.000 % |
2.97/3.04 c | 8586 | 9746 41720 126728 | 13906 8586 148 | 0.000 % |
3.07/3.11 c | 8780 | 9746 41720 126728 | 13906 8780 148 | 0.000 % |
3.07/3.18 c | 8992 | 9746 41720 126728 | 13906 8992 148 | 0.000 % |
3.17/3.26 c | 9225 | 9746 41720 126728 | 13906 9225 148 | 0.000 % |
3.27/3.35 c | 9481 | 9746 41720 126728 | 13906 9481 147 | 0.000 % |
3.27/3.39 c | 9582 | 9746 41720 126728 | 13906 9582 146 | 0.000 % |
3.36/3.43 c | 9692 | 9746 41720 126728 | 13906 9692 147 | 0.000 % |
3.36/3.48 c | 9815 | 9746 41720 126728 | 13906 9815 147 | 0.000 % |
3.46/3.54 c | 9948 | 9746 41720 126728 | 13906 9948 147 | 0.000 % |
3.46/3.59 c | 10094 | 9746 41720 126728 | 2147483647 10094 147 | 0.000 % |
3.56/3.65 c | 10255 | 9746 41720 126728 | 2147483647 10255 147 | 0.000 % |
3.66/3.72 c | 10431 | 9746 41720 126728 | 2147483647 10431 148 | 0.000 % |
3.66/3.79 c | 10626 | 9746 41720 126728 | 2147483647 10626 148 | 0.000 % |
3.76/3.87 c | 10838 | 9746 41720 126728 | 2147483647 10838 149 | 0.000 % |
3.86/3.95 c | 11071 | 9746 41720 126728 | 2147483647 11071 149 | 0.000 % |
3.96/4.05 c | 11327 | 9746 41720 126728 | 2147483647 11327 149 | 0.000 % |
4.06/4.16 c | 11608 | 9746 41720 126728 | 2147483647 11608 150 | 0.000 % |
4.06/4.20 c | 11711 | 9746 41720 126728 | 2147483647 11711 151 | 0.000 % |
4.17/4.24 c | 11821 | 9746 41720 126728 | 2147483647 11821 151 | 0.000 % |
4.17/4.28 c | 11945 | 9746 41720 126728 | 2147483647 11945 151 | 0.000 % |
4.28/4.34 c | 12079 | 9746 41720 126728 | 2147483647 12079 151 | 0.000 % |
4.28/4.40 c | 12225 | 9746 41720 126728 | 2147483647 12225 151 | 0.000 % |
4.38/4.46 c | 12385 | 9746 41720 126728 | 2147483647 12385 152 | 0.000 % |
4.47/4.53 c | 12563 | 9746 41720 126728 | 2147483647 12563 152 | 0.000 % |
4.57/4.60 c | 12756 | 9746 41720 126728 | 2147483647 12756 152 | 0.000 % |
4.57/4.68 c | 12969 | 9746 41720 126728 | 2147483647 12969 152 | 0.000 % |
4.67/4.78 c | 13204 | 9746 41720 126728 | 2147483647 13204 153 | 0.000 % |
4.77/4.88 c | 13460 | 9746 41720 126728 | 2147483647 13460 153 | 0.000 % |
4.97/5.01 c | 13744 | 9746 41720 126728 | 2147483647 13744 153 | 0.000 % |
5.07/5.13 c | 14053 | 9746 41720 126728 | 2147483647 14053 154 | 0.000 % |
5.07/5.16 c | 14153 | 9746 41720 126728 | 2147483647 14153 153 | 0.000 % |
5.17/5.21 c | 14263 | 9746 41720 126728 | 2147483647 14263 153 | 0.000 % |
5.17/5.26 c | 14385 | 9746 41720 126728 | 2147483647 14385 153 | 0.000 % |
5.26/5.31 c | 14518 | 9746 41720 126728 | 2147483647 14518 153 | 0.000 % |
5.26/5.37 c | 14664 | 9746 41720 126728 | 2147483647 14664 153 | 0.000 % |
5.37/5.44 c | 14824 | 9746 41720 126728 | 2147483647 14824 153 | 0.000 % |
5.47/5.52 c | 15001 | 9746 41720 126728 | 2147483647 15001 153 | 0.000 % |
5.47/5.60 c | 15195 | 9746 41720 126728 | 2147483647 15195 153 | 0.000 % |
5.56/5.68 c | 15410 | 9746 41720 126728 | 2147483647 15410 154 | 0.000 % |
5.66/5.78 c | 15644 | 9746 41720 126728 | 2147483647 15644 154 | 0.000 % |
5.76/5.88 c | 15900 | 9746 41720 126728 | 2147483647 15900 154 | 0.000 % |
5.96/6.00 c | 16181 | 9746 41720 126728 | 2147483647 16181 154 | 0.000 % |
6.06/6.12 c | 16490 | 9746 41720 126728 | 2147483647 16490 154 | 0.000 % |
6.16/6.28 c | 16829 | 9746 41720 126728 | 2147483647 16829 155 | 0.000 % |
6.26/6.32 c | 16929 | 9746 41720 126728 | 2147483647 16929 155 | 0.000 % |
6.26/6.36 c | 17040 | 9746 41720 126728 | 2147483647 17040 155 | 0.000 % |
6.37/6.42 c | 17161 | 9746 41720 126728 | 2147483647 17161 155 | 0.000 % |
6.37/6.48 c | 17294 | 9746 41720 126728 | 2147483647 17294 155 | 0.000 % |
6.47/6.54 c | 17440 | 9746 41720 126728 | 2147483647 17440 155 | 0.000 % |
6.57/6.61 c | 17600 | 9746 41720 126728 | 2147483647 17600 155 | 0.000 % |
6.57/6.69 c | 17778 | 9746 41720 126728 | 2147483647 17778 155 | 0.000 % |
6.67/6.77 c | 17971 | 9746 41720 126728 | 2147483647 17971 156 | 0.000 % |
6.77/6.85 c | 18184 | 9746 41720 126728 | 2147483647 18184 155 | 0.000 % |
6.87/6.95 c | 18420 | 9746 41720 126728 | 2147483647 18420 155 | 0.000 % |
6.97/7.06 c | 18676 | 9746 41720 126728 | 2147483647 18676 156 | 0.000 % |
7.07/7.18 c | 18958 | 9746 41720 126728 | 2147483647 18958 156 | 0.000 % |
7.27/7.30 c | 19267 | 9746 41720 126728 | 2147483647 19267 155 | 0.000 % |
7.37/7.44 c | 19606 | 9746 41720 126728 | 2147483647 19606 155 | 0.000 % |
7.57/7.60 c | 19978 | 9746 41720 126728 | 2147483647 19978 156 | 0.000 % |
7.57/7.65 c | 20078 | 9746 41720 126728 | 2147483647 20078 156 | 0.000 % |
7.67/7.70 c | 20188 | 9746 41720 126728 | 2147483647 20188 156 | 0.000 % |
7.67/7.75 c | 20310 | 9746 41720 126728 | 2147483647 20310 156 | 0.000 % |
7.76/7.82 c | 20444 | 9746 41720 126728 | 2147483647 20444 155 | 0.000 % |
7.76/7.88 c | 20590 | 9746 41720 126728 | 2147483647 20590 156 | 0.000 % |
7.86/7.96 c | 20751 | 9746 41720 126728 | 2147483647 20751 155 | 0.000 % |
7.96/8.03 c | 20928 | 9746 41720 126728 | 2147483647 20928 155 | 0.000 % |
8.07/8.12 c | 21123 | 9746 41720 126728 | 2147483647 21123 155 | 0.000 % |
8.17/8.21 c | 21335 | 9746 41720 126728 | 2147483647 21335 155 | 0.000 % |
8.27/8.31 c | 21570 | 9746 41720 126728 | 2147483647 21570 155 | 0.000 % |
8.37/8.43 c | 21827 | 9746 41720 126728 | 2147483647 21827 155 | 0.000 % |
8.46/8.55 c | 22111 | 9746 41720 126728 | 2147483647 22111 155 | 0.000 % |
8.56/8.68 c | 22420 | 9746 41720 126728 | 2147483647 22420 156 | 0.000 % |
8.77/8.83 c | 22760 | 9746 41720 126728 | 2147483647 22760 156 | 0.000 % |
8.96/9.01 c | 23132 | 9746 41720 126728 | 2147483647 23132 156 | 0.000 % |
9.16/9.21 c | 23542 | 9746 41720 126728 | 2147483647 23542 157 | 0.000 % |
9.16/9.27 c | 23642 | 9746 41720 126728 | 2147483647 23642 157 | 0.000 % |
9.26/9.32 c | 23752 | 9746 41720 126728 | 2147483647 23752 157 | 0.000 % |
9.26/9.38 c | 23877 | 9746 41720 126728 | 2147483647 23877 157 | 0.000 % |
9.36/9.45 c | 24011 | 9746 41720 126728 | 2147483647 24011 157 | 0.000 % |
9.46/9.52 c | 24157 | 9746 41720 126728 | 2147483647 24157 157 | 0.000 % |
9.56/9.60 c | 24318 | 9746 41720 126728 | 2147483647 24318 157 | 0.000 % |
9.56/9.68 c | 24495 | 9746 41720 126728 | 2147483647 24495 157 | 0.000 % |
9.66/9.76 c | 24690 | 9746 41720 126728 | 2147483647 24690 157 | 0.000 % |
9.76/9.87 c | 24902 | 9746 41720 126728 | 2147483647 24902 157 | 0.000 % |
9.86/9.97 c | 25140 | 9746 41720 126728 | 2147483647 25140 157 | 0.000 % |
10.07/10.10 c | 25396 | 9746 41720 126728 | 2147483647 25396 157 | 0.000 % |
10.17/10.23 c | 25677 | 9746 41720 126728 | 2147483647 25677 157 | 0.000 % |
10.27/10.38 c | 25986 | 9746 41720 126728 | 2147483647 25986 157 | 0.000 % |
10.47/10.53 c | 26325 | 9746 41720 126728 | 2147483647 26325 157 | 0.000 % |
10.67/10.70 c | 26697 | 9746 41720 126728 | 2147483647 26697 157 | 0.000 % |
10.77/10.90 c | 27107 | 9746 41720 126728 | 2147483647 27107 158 | 0.000 % |
11.06/11.13 c | 27557 | 9746 41720 126728 | 2147483647 27557 158 | 0.000 % |
11.06/11.18 c | 27657 | 9746 41720 126728 | 2147483647 27657 158 | 0.000 % |
11.16/11.24 c | 27768 | 9746 41720 126728 | 2147483647 27768 158 | 0.000 % |
11.26/11.30 c | 27889 | 9746 41720 126728 | 2147483647 27889 158 | 0.000 % |
11.26/11.37 c | 28024 | 9746 41720 126728 | 2147483647 28024 158 | 0.000 % |
11.36/11.44 c | 28171 | 9746 41720 126728 | 2147483647 28171 158 | 0.000 % |
11.46/11.53 c | 28333 | 9746 41720 126728 | 2147483647 28333 158 | 0.000 % |
11.56/11.61 c | 28510 | 9746 41720 126728 | 2147483647 28510 158 | 0.000 % |
11.66/11.71 c | 28703 | 9746 41720 126728 | 2147483647 28703 158 | 0.000 % |
11.76/11.81 c | 28915 | 9746 41720 126728 | 2147483647 28915 158 | 0.000 % |
11.86/11.93 c | 29148 | 9746 41720 126728 | 2147483647 29148 158 | 0.000 % |
11.97/12.05 c | 29404 | 9746 41720 126728 | 2147483647 29404 158 | 0.000 % |
12.07/12.19 c | 29686 | 9746 41720 126728 | 2147483647 29686 158 | 0.000 % |
12.26/12.34 c | 29995 | 9746 41720 126728 | 2147483647 29995 158 | 0.000 % |
12.46/12.52 c | 30334 | 9746 41720 126728 | 2147483647 30334 158 | 0.000 % |
12.56/12.69 c | 30706 | 9746 41720 126728 | 2147483647 30706 158 | 0.000 % |
12.86/12.90 c | 31117 | 9746 41720 126728 | 2147483647 31117 158 | 0.000 % |
13.06/13.13 c | 31566 | 9746 41720 126728 | 2147483647 31566 158 | 0.000 % |
13.27/13.37 c | 32060 | 9746 41720 126728 | 2147483647 32060 158 | 0.000 % |
13.37/13.43 c | 32162 | 9746 41720 126728 | 2147483647 32162 158 | 0.000 % |
13.37/13.49 c | 32272 | 9746 41720 126728 | 2147483647 32272 158 | 0.000 % |
13.47/13.56 c | 32394 | 9746 41720 126728 | 2147483647 32394 158 | 0.000 % |
13.57/13.63 c | 32528 | 9746 41720 126728 | 2147483647 32528 158 | 0.000 % |
13.67/13.72 c | 32675 | 9746 41720 126728 | 2147483647 32675 158 | 0.000 % |
13.77/13.80 c | 32836 | 9746 41720 126728 | 2147483647 32836 158 | 0.000 % |
13.87/13.90 c | 33013 | 9746 41720 126728 | 2147483647 33013 158 | 0.000 % |
13.97/14.01 c | 33207 | 9746 41720 126728 | 2147483647 33207 158 | 0.000 % |
14.07/14.13 c | 33422 | 9746 41720 126728 | 2147483647 33422 159 | 0.000 % |
14.17/14.25 c | 33655 | 9746 41720 126728 | 2147483647 33655 159 | 0.000 % |
14.27/14.38 c | 33912 | 9746 41720 126728 | 2147483647 33912 159 | 0.000 % |
14.47/14.54 c | 34196 | 9746 41720 126728 | 2147483647 34196 159 | 0.000 % |
14.67/14.70 c | 34506 | 9746 41720 126728 | 2147483647 34506 159 | 0.000 % |
14.76/14.89 c | 34847 | 9746 41720 126728 | 2147483647 34847 159 | 0.000 % |
14.96/15.08 c | 35219 | 9746 41720 126728 | 2147483647 35219 159 | 0.000 % |
15.16/15.29 c | 35631 | 9746 41720 126728 | 2147483647 35631 159 | 0.000 % |
15.46/15.52 c | 36080 | 9746 41720 126728 | 2147483647 36080 159 | 0.000 % |
15.66/15.79 c | 36573 | 9746 41720 126728 | 2147483647 36573 159 | 0.000 % |
16.06/16.11 c | 37115 | 9746 41720 126728 | 2147483647 37115 159 | 0.000 % |
16.06/16.17 c | 37216 | 9746 41720 126728 | 2147483647 37216 159 | 0.000 % |
16.16/16.23 c | 37326 | 9746 41720 126728 | 2147483647 37326 159 | 0.000 % |
16.26/16.31 c | 37450 | 9746 41720 126728 | 2147483647 37450 159 | 0.000 % |
16.26/16.39 c | 37585 | 9746 41720 126728 | 2147483647 37585 159 | 0.000 % |
16.36/16.49 c | 37731 | 9746 41720 126728 | 2147483647 37731 159 | 0.000 % |
16.46/16.58 c | 37891 | 9746 41720 126728 | 2147483647 37891 159 | 0.000 % |
16.56/16.68 c | 38067 | 9746 41720 126728 | 2147483647 38067 159 | 0.000 % |
16.67/16.79 c | 38260 | 9746 41720 126728 | 2147483647 38260 159 | 0.000 % |
16.87/16.90 c | 38473 | 9746 41720 126728 | 2147483647 38473 159 | 0.000 % |
16.97/17.03 c | 38706 | 9746 41720 126728 | 2147483647 38706 160 | 0.000 % |
17.07/17.18 c | 38963 | 9746 41720 126728 | 2147483647 38963 159 | 0.000 % |
17.26/17.35 c | 39246 | 9746 41720 126728 | 2147483647 39246 159 | 0.000 % |
17.47/17.53 c | 39555 | 9746 41720 126728 | 2147483647 39555 160 | 0.000 % |
17.66/17.73 c | 39895 | 9746 41720 126728 | 2147483647 39895 159 | 0.000 % |
17.86/17.96 c | 40267 | 9746 41720 126728 | 2147483647 40267 160 | 0.000 % |
18.06/18.19 c | 40677 | 9746 41720 126728 | 2147483647 40677 159 | 0.000 % |
18.36/18.45 c | 41128 | 9746 41720 126728 | 2147483647 41128 160 | 0.000 % |
18.67/18.71 c | 41621 | 9746 41720 126728 | 2147483647 41621 160 | 0.000 % |
18.96/19.02 c | 42164 | 9746 41720 126728 | 2147483647 42164 160 | 0.000 % |
19.26/19.36 c | 42762 | 9746 41720 126728 | 2147483647 42762 161 | 0.000 % |
19.36/19.42 c | 42862 | 9746 41720 126728 | 2147483647 42862 161 | 0.000 % |
19.36/19.48 c | 42972 | 9746 41720 126728 | 2147483647 42972 161 | 0.000 % |
19.46/19.57 c | 43093 | 9746 41720 126728 | 2147483647 43093 161 | 0.000 % |
19.56/19.66 c | 43226 | 9746 41720 126728 | 2147483647 43226 161 | 0.000 % |
19.66/19.75 c | 43373 | 9746 41720 126728 | 2147483647 43373 161 | 0.000 % |
19.76/19.84 c | 43533 | 9746 41720 126728 | 2147483647 43533 161 | 0.000 % |
19.87/19.95 c | 43711 | 9746 41720 126728 | 2147483647 43711 161 | 0.000 % |
19.97/20.06 c | 43904 | 9746 41720 126728 | 2147483647 43904 161 | 0.000 % |
20.06/20.19 c | 44117 | 9746 41720 126728 | 2147483647 44117 161 | 0.000 % |
20.26/20.33 c | 44350 | 9746 41720 126728 | 2147483647 44350 161 | 0.000 % |
20.36/20.49 c | 44606 | 9746 41720 126728 | 2147483647 44606 161 | 0.000 % |
20.56/20.66 c | 44888 | 9746 41720 126728 | 2147483647 44888 162 | 0.000 % |
20.77/20.83 c | 45197 | 9746 41720 126728 | 2147483647 45197 161 | 0.000 % |
20.96/21.05 c | 45537 | 9746 41720 126728 | 2147483647 45537 162 | 0.000 % |
21.16/21.27 c | 45909 | 9746 41720 126728 | 2147483647 45909 162 | 0.000 % |
21.36/21.49 c | 46322 | 9746 41720 126728 | 2147483647 46322 162 | 0.000 % |
21.66/21.75 c | 46771 | 9746 41720 126728 | 2147483647 46771 162 | 0.000 % |
21.96/22.05 c | 47265 | 9746 41720 126728 | 2147483647 47265 162 | 0.000 % |
22.27/22.38 c | 47812 | 9746 41720 126728 | 2147483647 47812 162 | 0.000 % |
22.66/22.74 c | 48410 | 9746 41720 126728 | 2147483647 48410 163 | 0.000 % |
23.06/23.14 c | 49065 | 9746 41720 126728 | 2147483647 49065 163 | 0.000 % |
23.16/23.22 c | 49165 | 9746 41720 126728 | 2147483647 49165 163 | 0.000 % |
23.16/23.29 c | 49277 | 9746 41720 126728 | 2147483647 49277 163 | 0.000 % |
23.26/23.37 c | 49398 | 9746 41720 126728 | 2147483647 49398 163 | 0.000 % |
23.36/23.46 c | 49531 | 9746 41720 126728 | 2147483647 49531 163 | 0.000 % |
23.46/23.57 c | 49677 | 9746 41720 126728 | 2147483647 49677 163 | 0.000 % |
23.56/23.67 c | 49838 | 9746 41720 126728 | 2147483647 49838 163 | 0.000 % |
23.66/23.77 c | 50015 | 9746 41720 126728 | 2147483647 50015 163 | 0.000 % |
23.86/23.91 c | 50208 | 9746 41720 126728 | 2147483647 50208 163 | 0.000 % |
23.96/24.04 c | 50422 | 9746 41720 126728 | 2147483647 50422 163 | 0.000 % |
24.06/24.20 c | 50656 | 9746 41720 126728 | 2147483647 50656 163 | 0.000 % |
24.26/24.38 c | 50912 | 9746 41720 126728 | 2147483647 50912 163 | 0.000 % |
24.46/24.54 c | 51193 | 9746 41720 126728 | 2147483647 51193 163 | 0.000 % |
24.66/24.73 c | 51503 | 9746 41720 126728 | 2147483647 51503 163 | 0.000 % |
24.86/24.96 c | 51845 | 9746 41720 126728 | 2147483647 51845 163 | 0.000 % |
25.16/25.21 c | 52217 | 9746 41720 126728 | 2147483647 52217 163 | 0.000 % |
25.36/25.45 c | 52626 | 9746 41720 126728 | 2147483647 52626 162 | 0.000 % |
25.66/25.75 c | 53078 | 9746 41720 126728 | 2147483647 53078 163 | 0.000 % |
25.96/26.06 c | 53571 | 9746 41720 126728 | 2147483647 53571 163 | 0.000 % |
26.37/26.41 c | 54115 | 9746 41720 126728 | 2147483647 54115 163 | 0.000 % |
26.66/26.79 c | 54714 | 9746 41720 126728 | 2147483647 54714 163 | 0.000 % |
27.16/27.20 c | 55372 | 9746 41720 126728 | 2147483647 55372 163 | 0.000 % |
27.56/27.66 c | 56092 | 9746 41720 126728 | 2147483647 56092 164 | 0.000 % |
27.66/27.74 c | 56192 | 9746 41720 126728 | 2147483647 56192 164 | 0.000 % |
27.76/27.83 c | 56302 | 9746 41720 126728 | 2147483647 56302 164 | 0.000 % |
27.86/27.91 c | 56425 | 9746 41720 126728 | 2147483647 56425 164 | 0.000 % |
27.86/28.00 c | 56558 | 9746 41720 126728 | 2147483647 56558 164 | 0.000 % |
28.06/28.11 c | 56704 | 9746 41720 126728 | 2147483647 56704 163 | 0.000 % |
28.16/28.23 c | 56865 | 9746 41720 126728 | 2147483647 56865 163 | 0.000 % |
28.26/28.36 c | 57041 | 9746 41720 126728 | 2147483647 57041 163 | 0.000 % |
28.36/28.50 c | 57235 | 9746 41720 126728 | 2147483647 57235 163 | 0.000 % |
28.56/28.65 c | 57449 | 9746 41720 126728 | 2147483647 57449 163 | 0.000 % |
28.76/28.82 c | 57684 | 9746 41720 126728 | 2147483647 57684 163 | 0.000 % |
28.86/28.99 c | 57941 | 9746 41720 126728 | 2147483647 57941 163 | 0.000 % |
29.05/29.17 c | 58222 | 9746 41720 126728 | 2147483647 58222 163 | 0.000 % |
29.26/29.39 c | 58533 | 9746 41720 126728 | 2147483647 58533 164 | 0.000 % |
29.57/29.64 c | 58873 | 9746 41720 126728 | 2147483647 58873 164 | 0.000 % |
29.76/29.90 c | 59245 | 9746 41720 126728 | 2147483647 59245 164 | 0.000 % |
30.06/30.19 c | 59654 | 9746 41720 126728 | 2147483647 59654 164 | 0.000 % |
30.36/30.49 c | 60104 | 9746 41720 126728 | 2147483647 60104 164 | 0.000 % |
30.76/30.83 c | 60598 | 9746 41720 126728 | 2147483647 60598 164 | 0.000 % |
31.16/31.20 c | 61140 | 9746 41720 126728 | 2147483647 61140 164 | 0.000 % |
31.56/31.62 c | 61736 | 9746 41720 126728 | 2147483647 61736 164 | 0.000 % |
31.96/32.08 c | 62394 | 9746 41720 126728 | 2147483647 62394 165 | 0.000 % |
32.46/32.57 c | 63116 | 9746 41720 126728 | 2147483647 63116 165 | 0.000 % |
33.06/33.14 c | 63909 | 9746 41720 126728 | 2147483647 63909 166 | 0.000 % |
33.15/33.22 c | 64011 | 9746 41720 126728 | 2147483647 64011 165 | 0.000 % |
33.25/33.31 c | 64123 | 9746 41720 126728 | 2147483647 64123 165 | 0.000 % |
33.35/33.41 c | 64245 | 9746 41720 126728 | 2147483647 64245 165 | 0.000 % |
33.45/33.52 c | 64378 | 9746 41720 126728 | 2147483647 64378 165 | 0.000 % |
33.55/33.64 c | 64524 | 9746 41720 126728 | 2147483647 64524 165 | 0.000 % |
33.65/33.76 c | 64684 | 9746 41720 126728 | 2147483647 64684 165 | 0.000 % |
33.85/33.90 c | 64862 | 9746 41720 126728 | 2147483647 64862 165 | 0.000 % |
33.96/34.06 c | 65055 | 9746 41720 126728 | 2147483647 65055 165 | 0.000 % |
34.15/34.24 c | 65270 | 9746 41720 126728 | 2147483647 65270 165 | 0.000 % |
34.35/34.41 c | 65504 | 9746 41720 126728 | 2147483647 65504 165 | 0.000 % |
34.55/34.60 c | 65760 | 9746 41720 126728 | 2147483647 65760 165 | 0.000 % |
34.75/34.81 c | 66041 | 9746 41720 126728 | 2147483647 66041 165 | 0.000 % |
34.95/35.05 c | 66351 | 9746 41720 126728 | 2147483647 66351 165 | 0.000 % |
35.25/35.32 c | 66694 | 9746 41720 126728 | 2147483647 66694 165 | 0.000 % |
35.45/35.59 c | 67067 | 9746 41720 126728 | 2147483647 67067 165 | 0.000 % |
35.86/35.91 c | 67476 | 9746 41720 126728 | 2147483647 67476 165 | 0.000 % |
36.16/36.24 c | 67927 | 9746 41720 126728 | 2147483647 67927 166 | 0.000 % |
36.55/36.61 c | 68422 | 9746 41720 126728 | 2147483647 68422 166 | 0.000 % |
36.95/37.02 c | 68967 | 9746 41720 126728 | 2147483647 68967 166 | 0.000 % |
37.36/37.44 c | 69564 | 9746 41720 126728 | 2147483647 69564 166 | 0.000 % |
37.85/37.91 c | 70219 | 9746 41720 126728 | 2147483647 70219 167 | 0.000 % |
38.25/38.40 c | 70940 | 9746 41720 126728 | 2147483647 70940 167 | 0.000 % |
38.86/38.98 c | 71733 | 9746 41720 126728 | 2147483647 71733 167 | 0.000 % |
39.56/39.61 c | 72606 | 9746 41720 126728 | 2147483647 72606 168 | 0.000 % |
39.66/39.70 c | 72707 | 9746 41720 126728 | 2147483647 72707 167 | 0.000 % |
39.66/39.79 c | 72818 | 9746 41720 126728 | 2147483647 72818 167 | 0.000 % |
39.85/39.90 c | 72939 | 9746 41720 126728 | 2147483647 72939 167 | 0.000 % |
39.95/40.00 c | 73072 | 9746 41720 126728 | 2147483647 73072 167 | 0.000 % |
40.05/40.13 c | 73218 | 9746 41720 126728 | 2147483647 73218 167 | 0.000 % |
40.15/40.25 c | 73378 | 9746 41720 126728 | 2147483647 73378 167 | 0.000 % |
40.25/40.39 c | 73554 | 9746 41720 126728 | 2147483647 73554 167 | 0.000 % |
40.45/40.53 c | 73747 | 9746 41720 126728 | 2147483647 73747 167 | 0.000 % |
40.66/40.72 c | 73959 | 9746 41720 126728 | 2147483647 73959 167 | 0.000 % |
40.85/40.90 c | 74192 | 9746 41720 126728 | 2147483647 74192 167 | 0.000 % |
40.95/41.09 c | 74448 | 9746 41720 126728 | 2147483647 74448 167 | 0.000 % |
41.25/41.31 c | 74729 | 9746 41720 126728 | 2147483647 74729 167 | 0.000 % |
41.45/41.55 c | 75038 | 9746 41720 126728 | 2147483647 75038 167 | 0.000 % |
41.75/41.82 c | 75379 | 9746 41720 126728 | 2147483647 75379 167 | 0.000 % |
42.05/42.12 c | 75751 | 9746 41720 126728 | 2147483647 75751 167 | 0.000 % |
42.35/42.42 c | 76161 | 9746 41720 126728 | 2147483647 76161 167 | 0.000 % |
42.65/42.76 c | 76611 | 9746 41720 126728 | 2147483647 76611 167 | 0.000 % |
43.05/43.14 c | 77104 | 9746 41720 126728 | 2147483647 77104 168 | 0.000 % |
43.45/43.55 c | 77646 | 9746 41720 126728 | 2147483647 77646 167 | 0.000 % |
43.85/43.99 c | 78244 | 9746 41720 126728 | 2147483647 78244 168 | 0.000 % |
44.35/44.48 c | 78902 | 9746 41720 126728 | 2147483647 78902 168 | 0.000 % |
44.95/45.03 c | 79623 | 9746 41720 126728 | 2147483647 79623 168 | 0.000 % |
45.55/45.61 c | 80418 | 9746 41720 126728 | 2147483647 80418 168 | 0.000 % |
46.16/46.27 c | 81289 | 9746 41720 126728 | 2147483647 81289 168 | 0.000 % |
46.95/47.06 c | 82248 | 9746 41720 126728 | 2147483647 82248 168 | 0.000 % |
47.05/47.15 c | 82348 | 9746 41720 126728 | 2147483647 82348 168 | 0.000 % |
47.15/47.25 c | 82459 | 9746 41720 126728 | 2147483647 82459 168 | 0.000 % |
47.25/47.37 c | 82580 | 9746 41720 126728 | 2147483647 82580 168 | 0.000 % |
47.35/47.49 c | 82714 | 9746 41720 126728 | 2147483647 82714 168 | 0.000 % |
47.55/47.62 c | 82861 | 9746 41720 126728 | 2147483647 82861 168 | 0.000 % |
47.65/47.76 c | 83021 | 9746 41720 126728 | 2147483647 83021 168 | 0.000 % |
47.85/47.91 c | 83198 | 9746 41720 126728 | 2147483647 83198 168 | 0.000 % |
47.95/48.09 c | 83391 | 9746 41720 126728 | 2147483647 83391 168 | 0.000 % |
48.15/48.27 c | 83603 | 9746 41720 126728 | 2147483647 83603 168 | 0.000 % |
48.35/48.45 c | 83839 | 9746 41720 126728 | 2147483647 83839 168 | 0.000 % |
48.55/48.67 c | 84096 | 9746 41720 126728 | 2147483647 84096 168 | 0.000 % |
48.85/48.91 c | 84377 | 9746 41720 126728 | 2147483647 84377 168 | 0.000 % |
49.05/49.19 c | 84687 | 9746 41720 126728 | 2147483647 84687 168 | 0.000 % |
49.35/49.47 c | 85027 | 9746 41720 126728 | 2147483647 85027 168 | 0.000 % |
49.64/49.79 c | 85399 | 9746 41720 126728 | 2147483647 85399 168 | 0.000 % |
50.04/50.14 c | 85808 | 9746 41720 126728 | 2147483647 85808 168 | 0.000 % |
50.45/50.53 c | 86257 | 9746 41720 126728 | 2147483647 86257 168 | 0.000 % |
50.84/50.98 c | 86753 | 9746 41720 126728 | 2147483647 86753 168 | 0.000 % |
51.35/51.40 c | 87300 | 9746 41720 126728 | 2147483647 87300 168 | 0.000 % |
51.85/51.90 c | 87896 | 9746 41720 126728 | 2147483647 87896 168 | 0.000 % |
52.35/52.45 c | 88554 | 9746 41720 126728 | 2147483647 88554 168 | 0.000 % |
52.94/53.04 c | 89274 | 9746 41720 126728 | 2147483647 89274 168 | 0.000 % |
53.64/53.71 c | 90066 | 9746 41720 126728 | 2147483647 90066 168 | 0.000 % |
54.34/54.43 c | 90937 | 9746 41720 126728 | 2147483647 90937 169 | 0.000 % |
55.14/55.23 c | 91898 | 9746 41720 126728 | 2147483647 91898 169 | 0.000 % |
56.05/56.19 c | 92953 | 9746 41720 126728 | 2147483647 92953 169 | 0.000 % |
56.15/56.29 c | 93053 | 9746 41720 126728 | 2147483647 93053 169 | 0.000 % |
56.35/56.41 c | 93164 | 9746 41720 126728 | 2147483647 93164 169 | 0.000 % |
56.45/56.52 c | 93286 | 9746 41720 126728 | 2147483647 93286 169 | 0.000 % |
56.55/56.65 c | 93419 | 9746 41720 126728 | 2147483647 93419 169 | 0.000 % |
56.64/56.79 c | 93565 | 9746 41720 126728 | 2147483647 93565 169 | 0.000 % |
56.84/56.97 c | 93727 | 9746 41720 126728 | 2147483647 93727 169 | 0.000 % |
57.05/57.13 c | 93904 | 9746 41720 126728 | 2147483647 93904 169 | 0.000 % |
57.24/57.31 c | 94098 | 9746 41720 126728 | 2147483647 94098 169 | 0.000 % |
57.44/57.53 c | 94314 | 9746 41720 126728 | 2147483647 94314 169 | 0.000 % |
57.64/57.76 c | 94548 | 9746 41720 126728 | 2147483647 94548 169 | 0.000 % |
57.84/57.99 c | 94804 | 9746 41720 126728 | 2147483647 94804 169 | 0.000 % |
58.14/58.24 c | 95085 | 9746 41720 126728 | 2147483647 95085 169 | 0.000 % |
58.44/58.53 c | 95394 | 9746 41720 126728 | 2147483647 95394 169 | 0.000 % |
58.74/58.83 c | 95733 | 9746 41720 126728 | 2147483647 95733 169 | 0.000 % |
59.04/59.16 c | 96105 | 9746 41720 126728 | 2147483647 96105 169 | 0.000 % |
59.44/59.51 c | 96514 | 9746 41720 126728 | 2147483647 96514 169 | 0.000 % |
59.84/59.95 c | 96964 | 9746 41720 126728 | 2147483647 96964 169 | 0.000 % |
60.24/60.37 c | 97459 | 9746 41720 126728 | 2147483647 97459 169 | 0.000 % |
60.74/60.84 c | 98001 | 9746 41720 126728 | 2147483647 98001 169 | 0.000 % |
61.24/61.39 c | 98597 | 9746 41720 126728 | 2147483647 98597 169 | 0.000 % |
61.94/62.00 c | 99253 | 9746 41720 126728 | 2147483647 99253 169 | 0.000 % |
62.54/62.66 c | 99973 | 9746 41720 126728 | 2147483647 99973 170 | 0.000 % |
63.23/63.38 c | 100765 | 9746 41720 126728 | 2147483647 100765 170 | 0.000 % |
64.04/64.14 c | 101638 | 9746 41720 126728 | 2147483647 101638 170 | 0.000 % |
64.94/65.03 c | 102597 | 9746 41720 126728 | 2147483647 102597 171 | 0.000 % |
65.84/66.00 c | 103650 | 9746 41720 126728 | 2147483647 103650 171 | 0.000 % |
66.94/67.01 c | 104808 | 9746 41720 126728 | 2147483647 104808 171 | 0.000 % |
67.04/67.11 c | 104908 | 9746 41720 126728 | 2147483647 104908 171 | 0.000 % |
67.13/67.21 c | 105018 | 9746 41720 126728 | 2147483647 105018 171 | 0.000 % |
67.23/67.34 c | 105142 | 9746 41720 126728 | 2147483647 105142 171 | 0.000 % |
67.33/67.48 c | 105275 | 9746 41720 126728 | 2147483647 105275 171 | 0.000 % |
67.53/67.63 c | 105421 | 9746 41720 126728 | 2147483647 105421 171 | 0.000 % |
67.63/67.78 c | 105581 | 9746 41720 126728 | 2147483647 105581 171 | 0.000 % |
67.83/67.96 c | 105758 | 9746 41720 126728 | 2147483647 105758 171 | 0.000 % |
68.04/68.16 c | 105954 | 9746 41720 126728 | 2147483647 105954 171 | 0.000 % |
68.24/68.36 c | 106166 | 9746 41720 126728 | 2147483647 106166 171 | 0.000 % |
68.54/68.62 c | 106400 | 9746 41720 126728 | 2147483647 106400 171 | 0.000 % |
68.74/68.89 c | 106656 | 9746 41720 126728 | 2147483647 106656 171 | 0.000 % |
69.03/69.19 c | 106939 | 9746 41720 126728 | 2147483647 106939 171 | 0.000 % |
69.34/69.48 c | 107248 | 9746 41720 126728 | 2147483647 107248 171 | 0.000 % |
69.73/69.83 c | 107587 | 9746 41720 126728 | 2147483647 107587 171 | 0.000 % |
70.03/70.19 c | 107959 | 9746 41720 126728 | 2147483647 107959 171 | 0.000 % |
70.43/70.58 c | 108370 | 9746 41720 126728 | 2147483647 108370 171 | 0.000 % |
70.93/71.03 c | 108821 | 9746 41720 126728 | 2147483647 108821 171 | 0.000 % |
71.33/71.50 c | 109314 | 9746 41720 126728 | 2147483647 109314 171 | 0.000 % |
71.94/72.01 c | 109857 | 9746 41720 126728 | 2147483647 109857 171 | 0.000 % |
72.44/72.60 c | 110457 | 9746 41720 126728 | 2147483647 110457 172 | 0.000 % |
73.13/73.25 c | 111113 | 9746 41720 126728 | 2147483647 111113 172 | 0.000 % |
73.83/73.95 c | 111834 | 9746 41720 126728 | 2147483647 111834 172 | 0.000 % |
74.63/74.78 c | 112626 | 9746 41720 126728 | 2147483647 112626 172 | 0.000 % |
75.53/75.62 c | 113500 | 9746 41720 126728 | 2147483647 113500 172 | 0.000 % |
76.43/76.58 c | 114459 | 9746 41720 126728 | 2147483647 114459 172 | 0.000 % |
77.43/77.58 c | 115513 | 9746 41720 126728 | 2147483647 115513 172 | 0.000 % |
78.53/78.68 c | 116672 | 9746 41720 126728 | 2147483647 116672 173 | 0.000 % |
79.82/79.95 c | 117945 | 9746 41720 126728 | 2147483647 117945 173 | 0.000 % |
79.92/80.08 c | 118046 | 9746 41720 126728 | 2147483647 118046 173 | 0.000 % |
80.13/80.23 c | 118156 | 9746 41720 126728 | 2147483647 118156 173 | 0.000 % |
80.23/80.37 c | 118279 | 9746 41720 126728 | 2147483647 118279 173 | 0.000 % |
80.43/80.53 c | 118417 | 9746 41720 126728 | 2147483647 118417 173 | 0.000 % |
80.63/80.70 c | 118564 | 9746 41720 126728 | 2147483647 118564 173 | 0.000 % |
80.73/80.89 c | 118724 | 9746 41720 126728 | 2147483647 118724 173 | 0.000 % |
81.03/81.10 c | 118900 | 9746 41720 126728 | 2147483647 118900 172 | 0.000 % |
81.23/81.31 c | 119093 | 9746 41720 126728 | 2147483647 119093 172 | 0.000 % |
81.43/81.55 c | 119305 | 9746 41720 126728 | 2147483647 119305 172 | 0.000 % |
81.73/81.82 c | 119538 | 9746 41720 126728 | 2147483647 119538 172 | 0.000 % |
82.03/82.11 c | 119795 | 9746 41720 126728 | 2147483647 119795 172 | 0.000 % |
82.33/82.42 c | 120077 | 9746 41720 126728 | 2147483647 120077 172 | 0.000 % |
82.63/82.76 c | 120387 | 9746 41720 126728 | 2147483647 120387 172 | 0.000 % |
83.02/83.11 c | 120726 | 9746 41720 126728 | 2147483647 120726 172 | 0.000 % |
83.32/83.49 c | 121098 | 9746 41720 126728 | 2147483647 121098 172 | 0.000 % |
83.82/83.92 c | 121507 | 9746 41720 126728 | 2147483647 121507 172 | 0.000 % |
84.22/84.37 c | 121956 | 9746 41720 126728 | 2147483647 121956 172 | 0.000 % |
84.73/84.84 c | 122449 | 9746 41720 126728 | 2147483647 122449 173 | 0.000 % |
85.33/85.40 c | 122992 | 9746 41720 126728 | 2147483647 122992 173 | 0.000 % |
85.92/86.02 c | 123588 | 9746 41720 126728 | 2147483647 123588 173 | 0.000 % |
86.62/86.71 c | 124244 | 9746 41720 126728 | 2147483647 124244 173 | 0.000 % |
87.32/87.45 c | 124964 | 9746 41720 126728 | 2147483647 124964 173 | 0.000 % |
88.12/88.24 c | 125756 | 9746 41720 126728 | 2147483647 125756 173 | 0.000 % |
88.93/89.04 c | 126628 | 9746 41720 126728 | 2147483647 126628 174 | 0.000 % |
89.92/90.05 c | 127586 | 9746 41720 126728 | 2147483647 127586 174 | 0.000 % |
91.02/91.13 c | 128641 | 9746 41720 126728 | 2147483647 128641 174 | 0.000 % |
92.23/92.37 c | 129799 | 9746 41720 126728 | 2147483647 129799 174 | 0.000 % |
93.52/93.65 c | 131072 | 9746 41720 126728 | 2147483647 131072 174 | 0.000 % |
95.03/95.16 c | 132472 | 9746 41720 126728 | 2147483647 132472 174 | 0.000 % |
95.13/95.29 c | 132573 | 9746 41720 126728 | 2147483647 132573 174 | 0.000 % |
95.32/95.46 c | 132684 | 9746 41720 126728 | 2147483647 132684 174 | 0.000 % |
95.53/95.61 c | 132805 | 9746 41720 126728 | 2147483647 132805 174 | 0.000 % |
95.63/95.79 c | 132938 | 9746 41720 126728 | 2147483647 132938 174 | 0.000 % |
95.82/95.98 c | 133085 | 9746 41720 126728 | 2147483647 133085 174 | 0.000 % |
96.12/96.20 c | 133245 | 9746 41720 126728 | 2147483647 133245 174 | 0.000 % |
96.32/96.42 c | 133424 | 9746 41720 126728 | 2147483647 133424 174 | 0.000 % |
96.52/96.65 c | 133617 | 9746 41720 126728 | 2147483647 133617 174 | 0.000 % |
96.82/96.91 c | 133831 | 9746 41720 126728 | 2147483647 133831 174 | 0.000 % |
97.01/97.20 c | 134065 | 9746 41720 126728 | 2147483647 134065 174 | 0.000 % |
97.41/97.53 c | 134321 | 9746 41720 126728 | 2147483647 134321 174 | 0.000 % |
97.73/97.86 c | 134603 | 9746 41720 126728 | 2147483647 134603 174 | 0.000 % |
98.12/98.21 c | 134912 | 9746 41720 126728 | 2147483647 134912 174 | 0.000 % |
98.42/98.58 c | 135253 | 9746 41720 126728 | 2147483647 135253 174 | 0.000 % |
98.83/98.97 c | 135626 | 9746 41720 126728 | 2147483647 135626 174 | 0.000 % |
99.32/99.40 c | 136036 | 9746 41720 126728 | 2147483647 136036 174 | 0.000 % |
99.82/99.95 c | 136488 | 9746 41720 126728 | 2147483647 136488 174 | 0.000 % |
100.32/100.47 c | 136983 | 9746 41720 126728 | 2147483647 136983 175 | 0.000 % |
100.92/101.07 c | 137526 | 9746 41720 126728 | 2147483647 137526 175 | 0.000 % |
101.61/101.75 c | 138122 | 9746 41720 126728 | 2147483647 138122 175 | 0.000 % |
102.32/102.46 c | 138778 | 9746 41720 126728 | 2147483647 138778 175 | 0.000 % |
103.12/103.22 c | 139500 | 9746 41720 126728 | 2147483647 139500 175 | 0.000 % |
104.02/104.11 c | 140294 | 9746 41720 126728 | 2147483647 140294 175 | 0.000 % |
104.92/105.08 c | 141166 | 9746 41720 126728 | 2147483647 141166 175 | 0.000 % |
106.01/106.11 c | 142125 | 9746 41720 126728 | 2147483647 142125 175 | 0.000 % |
107.12/107.28 c | 143178 | 9746 41720 126728 | 2147483647 143178 175 | 0.000 % |
108.51/108.60 c | 144338 | 9746 41720 126728 | 2147483647 144338 176 | 0.000 % |
109.81/109.97 c | 145612 | 9746 41720 126728 | 2147483647 145612 176 | 0.000 % |
111.42/111.57 c | 147012 | 9746 41720 126728 | 2147483647 147012 176 | 0.000 % |
113.01/113.20 c | 148553 | 9746 41720 126728 | 2147483647 148553 176 | 0.000 % |
113.22/113.35 c | 148653 | 9746 41720 126728 | 2147483647 148653 176 | 0.000 % |
113.31/113.49 c | 148763 | 9746 41720 126728 | 2147483647 148763 176 | 0.000 % |
113.51/113.66 c | 148884 | 9746 41720 126728 | 2147483647 148884 176 | 0.000 % |
113.71/113.83 c | 149017 | 9746 41720 126728 | 2147483647 149017 176 | 0.000 % |
113.91/114.05 c | 149164 | 9746 41720 126728 | 2147483647 149164 176 | 0.000 % |
114.11/114.26 c | 149324 | 9746 41720 126728 | 2147483647 149324 176 | 0.000 % |
114.41/114.50 c | 149500 | 9746 41720 126728 | 2147483647 149500 176 | 0.000 % |
114.61/114.75 c | 149693 | 9746 41720 126728 | 2147483647 149693 176 | 0.000 % |
114.92/115.04 c | 149905 | 9746 41720 126728 | 2147483647 149905 176 | 0.000 % |
115.22/115.33 c | 150138 | 9746 41720 126728 | 2147483647 150138 176 | 0.000 % |
115.52/115.63 c | 150395 | 9746 41720 126728 | 2147483647 150395 176 | 0.000 % |
115.81/115.97 c | 150677 | 9746 41720 126728 | 2147483647 150677 176 | 0.000 % |
116.21/116.35 c | 150986 | 9746 41720 126728 | 2147483647 150986 176 | 0.000 % |
116.61/116.75 c | 151327 | 9746 41720 126728 | 2147483647 151327 176 | 0.000 % |
117.11/117.23 c | 151701 | 9746 41720 126728 | 2147483647 151701 176 | 0.000 % |
117.61/117.73 c | 152111 | 9746 41720 126728 | 2147483647 152111 176 | 0.000 % |
118.11/118.29 c | 152561 | 9746 41720 126728 | 2147483647 152561 176 | 0.000 % |
118.81/118.92 c | 153054 | 9746 41720 126728 | 2147483647 153054 176 | 0.000 % |
119.41/119.57 c | 153596 | 9746 41720 126728 | 2147483647 153596 176 | 0.000 % |
120.11/120.29 c | 154193 | 9746 41720 126728 | 2147483647 154193 176 | 0.000 % |
120.91/121.04 c | 154849 | 9746 41720 126728 | 2147483647 154849 176 | 0.000 % |
121.71/121.88 c | 155573 | 9746 41720 126728 | 2147483647 155573 176 | 0.000 % |
122.71/122.83 c | 156366 | 9746 41720 126728 | 2147483647 156366 176 | 0.000 % |
123.71/123.84 c | 157237 | 9746 41720 126728 | 2147483647 157237 176 | 0.000 % |
124.90/125.01 c | 158195 | 9746 41720 126728 | 2147483647 158195 176 | 0.000 % |
126.11/126.20 c | 159249 | 9746 41720 126728 | 2147483647 159249 177 | 0.000 % |
127.41/127.57 c | 160408 | 9746 41720 126728 | 2147483647 160408 177 | 0.000 % |
129.00/129.11 c | 161681 | 9746 41720 126728 | 2147483647 161681 177 | 0.000 % |
130.51/130.69 c | 163081 | 9746 41720 126728 | 2147483647 163081 177 | 0.000 % |
132.40/132.56 c | 164621 | 9746 41720 126728 | 2147483647 164621 177 | 0.000 % |
134.51/134.61 c | 166315 | 9746 41720 126728 | 2147483647 166315 178 | 0.000 % |
134.61/134.76 c | 166415 | 9746 41720 126728 | 2147483647 166415 178 | 0.000 % |
134.81/134.93 c | 166525 | 9746 41720 126728 | 2147483647 166525 178 | 0.000 % |
135.01/135.15 c | 166646 | 9746 41720 126728 | 2147483647 166646 178 | 0.000 % |
135.21/135.38 c | 166780 | 9746 41720 126728 | 2147483647 166780 178 | 0.000 % |
135.41/135.58 c | 166926 | 9746 41720 126728 | 2147483647 166926 178 | 0.000 % |
135.71/135.81 c | 167087 | 9746 41720 126728 | 2147483647 167087 178 | 0.000 % |
135.91/136.08 c | 167263 | 9746 41720 126728 | 2147483647 167263 178 | 0.000 % |
136.21/136.32 c | 167456 | 9746 41720 126728 | 2147483647 167456 178 | 0.000 % |
136.50/136.62 c | 167670 | 9746 41720 126728 | 2147483647 167670 178 | 0.000 % |
136.80/136.90 c | 167903 | 9746 41720 126728 | 2147483647 167903 178 | 0.000 % |
137.10/137.23 c | 168162 | 9746 41720 126728 | 2147483647 168162 178 | 0.000 % |
137.40/137.59 c | 168443 | 9746 41720 126728 | 2147483647 168443 178 | 0.000 % |
137.80/137.97 c | 168754 | 9746 41720 126728 | 2147483647 168754 178 | 0.000 % |
138.30/138.41 c | 169094 | 9746 41720 126728 | 2147483647 169094 178 | 0.000 % |
138.80/138.91 c | 169466 | 9746 41720 126728 | 2147483647 169466 178 | 0.000 % |
139.40/139.51 c | 169875 | 9746 41720 126728 | 2147483647 169875 178 | 0.000 % |
140.00/140.11 c | 170325 | 9746 41720 126728 | 2147483647 170325 178 | 0.000 % |
140.60/140.72 c | 170821 | 9746 41720 126728 | 2147483647 170821 178 | 0.000 % |
141.19/141.36 c | 171363 | 9746 41720 126728 | 2147483647 171363 178 | 0.000 % |
142.00/142.11 c | 171959 | 9746 41720 126728 | 2147483647 171959 178 | 0.000 % |
142.81/142.99 c | 172614 | 9746 41720 126728 | 2147483647 172614 178 | 0.000 % |
143.80/143.91 c | 173335 | 9746 41720 126728 | 2147483647 173335 178 | 0.000 % |
144.79/144.95 c | 174127 | 9746 41720 126728 | 2147483647 174127 178 | 0.000 % |
145.90/146.09 c | 175002 | 9746 41720 126728 | 2147483647 175002 178 | 0.000 % |
147.20/147.30 c | 175961 | 9746 41720 126728 | 2147483647 175961 178 | 0.000 % |
148.40/148.59 c | 177014 | 9746 41720 126728 | 2147483647 177014 178 | 0.000 % |
149.89/150.09 c | 178172 | 9746 41720 126728 | 2147483647 178172 178 | 0.000 % |
151.59/151.75 c | 179446 | 9746 41720 126728 | 2147483647 179446 178 | 0.000 % |
153.39/153.59 c | 180846 | 9746 41720 126728 | 2147483647 180846 179 | 0.000 % |
155.39/155.59 c | 182388 | 9746 41720 126728 | 2147483647 182388 179 | 0.000 % |
157.69/157.84 c | 184083 | 9746 41720 126728 | 2147483647 184083 179 | 0.000 % |
160.19/160.32 c | 185947 | 9746 41720 126728 | 2147483647 185947 179 | 0.000 % |
160.29/160.50 c | 186048 | 9746 41720 126728 | 2147483647 186048 179 | 0.000 % |
160.49/160.70 c | 186158 | 9746 41720 126728 | 2147483647 186158 179 | 0.000 % |
160.69/160.89 c | 186279 | 9746 41720 126728 | 2147483647 186279 179 | 0.000 % |
160.99/161.12 c | 186412 | 9746 41720 126728 | 2147483647 186412 179 | 0.000 % |
161.19/161.33 c | 186560 | 9746 41720 126728 | 2147483647 186560 179 | 0.000 % |
161.39/161.60 c | 186721 | 9746 41720 126728 | 2147483647 186721 179 | 0.000 % |
161.68/161.90 c | 186897 | 9746 41720 126728 | 2147483647 186897 179 | 0.000 % |
162.08/162.22 c | 187090 | 9746 41720 126728 | 2147483647 187090 179 | 0.000 % |
162.38/162.54 c | 187302 | 9746 41720 126728 | 2147483647 187302 179 | 0.000 % |
162.79/162.91 c | 187535 | 9746 41720 126728 | 2147483647 187535 179 | 0.000 % |
163.09/163.27 c | 187791 | 9746 41720 126728 | 2147483647 187791 179 | 0.000 % |
163.49/163.69 c | 188074 | 9746 41720 126728 | 2147483647 188074 179 | 0.000 % |
163.99/164.16 c | 188383 | 9746 41720 126728 | 2147483647 188383 179 | 0.000 % |
164.49/164.64 c | 188723 | 9746 41720 126728 | 2147483647 188723 179 | 0.000 % |
164.99/165.17 c | 189095 | 9746 41720 126728 | 2147483647 189095 179 | 0.000 % |
165.59/165.76 c | 189507 | 9746 41720 126728 | 2147483647 189507 179 | 0.000 % |
166.29/166.45 c | 189960 | 9746 41720 126728 | 2147483647 189960 179 | 0.000 % |
167.09/167.22 c | 190454 | 9746 41720 126728 | 2147483647 190454 179 | 0.000 % |
167.79/168.00 c | 190999 | 9746 41720 126728 | 2147483647 190999 179 | 0.000 % |
168.68/168.82 c | 191595 | 9746 41720 126728 | 2147483647 191595 179 | 0.000 % |
169.58/169.76 c | 192252 | 9746 41720 126728 | 2147483647 192252 179 | 0.000 % |
170.58/170.72 c | 192972 | 9746 41720 126728 | 2147483647 192972 179 | 0.000 % |
171.68/171.86 c | 193766 | 9746 41720 126728 | 2147483647 193766 179 | 0.000 % |
172.88/173.07 c | 194637 | 9746 41720 126728 | 2147483647 194637 180 | 0.000 % |
174.28/174.42 c | 195596 | 9746 41720 126728 | 2147483647 195596 180 | 0.000 % |
175.69/175.86 c | 196649 | 9746 41720 126728 | 2147483647 196649 180 | 0.000 % |
177.28/177.48 c | 197807 | 9746 41720 126728 | 2147483647 197807 180 | 0.000 % |
179.08/179.27 c | 199081 | 9746 41720 126728 | 2147483647 199081 180 | 0.000 % |
181.28/181.45 c | 200481 | 9746 41720 126728 | 2147483647 200481 180 | 0.000 % |
183.48/183.61 c | 202022 | 9746 41720 126728 | 2147483647 202022 180 | 0.000 % |
185.88/186.03 c | 203717 | 9746 41720 126728 | 2147483647 203717 180 | 0.000 % |
188.48/188.62 c | 205581 | 9746 41720 126728 | 2147483647 205581 181 | 0.000 % |
191.37/191.58 c | 207633 | 9746 41720 126728 | 2147483647 207633 181 | 0.000 % |
191.57/191.77 c | 207733 | 9746 41720 126728 | 2147483647 207733 181 | 0.000 % |
191.77/191.96 c | 207844 | 9746 41720 126728 | 2147483647 207844 181 | 0.000 % |
191.97/192.19 c | 207965 | 9746 41720 126728 | 2147483647 207965 181 | 0.000 % |
192.28/192.45 c | 208099 | 9746 41720 126728 | 2147483647 208099 181 | 0.000 % |
192.57/192.76 c | 208247 | 9746 41720 126728 | 2147483647 208247 181 | 0.000 % |
192.87/193.03 c | 208407 | 9746 41720 126728 | 2147483647 208407 181 | 0.000 % |
193.07/193.29 c | 208583 | 9746 41720 126728 | 2147483647 208583 181 | 0.000 % |
193.47/193.65 c | 208776 | 9746 41720 126728 | 2147483647 208776 181 | 0.000 % |
193.77/193.99 c | 208988 | 9746 41720 126728 | 2147483647 208988 181 | 0.000 % |
194.17/194.39 c | 209222 | 9746 41720 126728 | 2147483647 209222 181 | 0.000 % |
194.67/194.81 c | 209478 | 9746 41720 126728 | 2147483647 209478 181 | 0.000 % |
195.18/195.31 c | 209759 | 9746 41720 126728 | 2147483647 209759 181 | 0.000 % |
195.58/195.76 c | 210068 | 9746 41720 126728 | 2147483647 210068 181 | 0.000 % |
196.17/196.35 c | 210408 | 9746 41720 126728 | 2147483647 210408 181 | 0.000 % |
196.77/196.98 c | 210780 | 9746 41720 126728 | 2147483647 210780 181 | 0.000 % |
197.48/197.61 c | 211192 | 9746 41720 126728 | 2147483647 211192 181 | 0.000 % |
198.17/198.33 c | 211641 | 9746 41720 126728 | 2147483647 211641 181 | 0.000 % |
198.87/199.01 c | 212135 | 9746 41720 126728 | 2147483647 212135 181 | 0.000 % |
199.67/199.86 c | 212677 | 9746 41720 126728 | 2147483647 212677 181 | 0.000 % |
200.57/200.73 c | 213274 | 9746 41720 126728 | 2147483647 213274 181 | 0.000 % |
201.47/201.69 c | 213933 | 9746 41720 126728 | 2147483647 213933 181 | 0.000 % |
202.47/202.63 c | 214653 | 9746 41720 126728 | 2147483647 214653 181 | 0.000 % |
203.67/203.80 c | 215448 | 9746 41720 126728 | 2147483647 215448 181 | 0.000 % |
204.87/205.07 c | 216319 | 9746 41720 126728 | 2147483647 216319 181 | 0.000 % |
206.37/206.54 c | 217277 | 9746 41720 126728 | 2147483647 217277 181 | 0.000 % |
207.86/208.07 c | 218330 | 9746 41720 126728 | 2147483647 218330 181 | 0.000 % |
209.67/209.82 c | 219488 | 9746 41720 126728 | 2147483647 219488 181 | 0.000 % |
211.56/211.74 c | 220761 | 9746 41720 126728 | 2147483647 220761 182 | 0.000 % |
213.57/213.74 c | 222161 | 9746 41720 126728 | 2147483647 222161 182 | 0.000 % |
215.96/216.10 c | 223701 | 9746 41720 126728 | 2147483647 223701 182 | 0.000 % |
218.36/218.53 c | 225396 | 9746 41720 126728 | 2147483647 225396 182 | 0.000 % |
221.26/221.41 c | 227262 | 9746 41720 126728 | 2147483647 227262 182 | 0.000 % |
224.46/224.63 c | 229315 | 9746 41720 126728 | 2147483647 229315 183 | 0.000 % |
227.76/227.90 c | 231569 | 9746 41720 126728 | 2147483647 231569 183 | 0.000 % |
227.96/228.11 c | 231671 | 9746 41720 126728 | 2147483647 231671 183 | 0.000 % |
228.16/228.32 c | 231781 | 9746 41720 126728 | 2147483647 231781 183 | 0.000 % |
228.36/228.55 c | 231902 | 9746 41720 126728 | 2147483647 231902 183 | 0.000 % |
228.56/228.80 c | 232035 | 9746 41720 126728 | 2147483647 232035 183 | 0.000 % |
228.96/229.10 c | 232181 | 9746 41720 126728 | 2147483647 232181 183 | 0.000 % |
229.26/229.41 c | 232342 | 9746 41720 126728 | 2147483647 232342 183 | 0.000 % |
229.55/229.70 c | 232518 | 9746 41720 126728 | 2147483647 232518 183 | 0.000 % |
229.95/230.13 c | 232712 | 9746 41720 126728 | 2147483647 232712 183 | 0.000 % |
230.35/230.53 c | 232924 | 9746 41720 126728 | 2147483647 232924 183 | 0.000 % |
230.76/230.98 c | 233159 | 9746 41720 126728 | 2147483647 233159 183 | 0.000 % |
231.25/231.44 c | 233416 | 9746 41720 126728 | 2147483647 233416 183 | 0.000 % |
231.75/231.96 c | 233697 | 9746 41720 126728 | 2147483647 233697 183 | 0.000 % |
232.26/232.49 c | 234009 | 9746 41720 126728 | 2147483647 234009 183 | 0.000 % |
232.86/233.06 c | 234348 | 9746 41720 126728 | 2147483647 234348 183 | 0.000 % |
233.46/233.69 c | 234722 | 9746 41720 126728 | 2147483647 234722 183 | 0.000 % |
234.16/234.36 c | 235132 | 9746 41720 126728 | 2147483647 235132 183 | 0.000 % |
234.96/235.17 c | 235581 | 9746 41720 126728 | 2147483647 235581 183 | 0.000 % |
235.86/236.04 c | 236075 | 9746 41720 126728 | 2147483647 236075 183 | 0.000 % |
236.76/236.99 c | 236619 | 9746 41720 126728 | 2147483647 236619 183 | 0.000 % |
237.75/237.96 c | 237215 | 9746 41720 126728 | 2147483647 237215 183 | 0.000 % |
238.85/239.09 c | 237870 | 9746 41720 126728 | 2147483647 237870 183 | 0.000 % |
240.15/240.31 c | 238593 | 9746 41720 126728 | 2147483647 238593 183 | 0.000 % |
241.46/241.63 c | 239386 | 9746 41720 126728 | 2147483647 239386 183 | 0.000 % |
242.75/243.00 c | 240258 | 9746 41720 126728 | 2147483647 240258 183 | 0.000 % |
244.35/244.54 c | 241217 | 9746 41720 126728 | 2147483647 241217 183 | 0.000 % |
246.05/246.24 c | 242271 | 9746 41720 126728 | 2147483647 242271 183 | 0.000 % |
247.95/248.18 c | 243430 | 9746 41720 126728 | 2147483647 243430 183 | 0.000 % |
249.95/250.20 c | 244703 | 9746 41720 126728 | 2147483647 244703 183 | 0.000 % |
252.25/252.47 c | 246104 | 9746 41720 126728 | 2147483647 246104 183 | 0.000 % |
254.74/254.95 c | 247645 | 9746 41720 126728 | 2147483647 247645 184 | 0.000 % |
257.45/257.69 c | 249340 | 9746 41720 126728 | 2147483647 249340 184 | 0.000 % |
260.55/260.73 c | 251203 | 9746 41720 126728 | 2147483647 251203 184 | 0.000 % |
263.74/263.99 c | 253254 | 9746 41720 126728 | 2147483647 253254 184 | 0.000 % |
267.24/267.48 c | 255509 | 9746 41720 126728 | 2147483647 255509 184 | 0.000 % |
271.34/271.54 c | 257990 | 9746 41720 126728 | 2147483647 257990 184 | 0.000 % |
271.55/271.74 c | 258092 | 9746 41720 126728 | 2147483647 258092 184 | 0.000 % |
271.84/272.02 c | 258204 | 9746 41720 126728 | 2147483647 258204 184 | 0.000 % |
272.04/272.25 c | 258325 | 9746 41720 126728 | 2147483647 258325 184 | 0.000 % |
272.34/272.53 c | 258460 | 9746 41720 126728 | 2147483647 258460 184 | 0.000 % |
272.65/272.84 c | 258606 | 9746 41720 126728 | 2147483647 258606 184 | 0.000 % |
273.04/273.21 c | 258769 | 9746 41720 126728 | 2147483647 258769 184 | 0.000 % |
273.34/273.59 c | 258946 | 9746 41720 126728 | 2147483647 258946 184 | 0.000 % |
273.74/273.97 c | 259142 | 9746 41720 126728 | 2147483647 259142 184 | 0.000 % |
274.14/274.38 c | 259354 | 9746 41720 126728 | 2147483647 259354 184 | 0.000 % |
274.64/274.87 c | 259589 | 9746 41720 126728 | 2147483647 259589 184 | 0.000 % |
275.24/275.43 c | 259846 | 9746 41720 126728 | 2147483647 259846 184 | 0.000 % |
275.74/275.98 c | 260129 | 9746 41720 126728 | 2147483647 260129 184 | 0.000 % |
276.34/276.54 c | 260438 | 9746 41720 126728 | 2147483647 260438 184 | 0.000 % |
276.94/277.19 c | 260777 | 9746 41720 126728 | 2147483647 260777 184 | 0.000 % |
277.64/277.86 c | 261151 | 9746 41720 126728 | 2147483647 261151 184 | 0.000 % |
278.44/278.64 c | 261560 | 9746 41720 126728 | 2147483647 261560 184 | 0.000 % |
279.33/279.53 c | 262010 | 9746 41720 126728 | 2147483647 262010 184 | 0.000 % |
280.14/280.39 c | 262503 | 9746 41720 126728 | 2147483647 262503 184 | 0.000 % |
281.24/281.48 c | 263045 | 9746 41720 126728 | 2147483647 263045 184 | 0.000 % |
282.44/282.62 c | 263641 | 9746 41720 126728 | 2147483647 263641 184 | 0.000 % |
283.54/283.72 c | 264296 | 9746 41720 126728 | 2147483647 264296 184 | 0.000 % |
284.83/285.06 c | 265016 | 9746 41720 126728 | 2147483647 265016 184 | 0.000 % |
286.34/286.56 c | 265808 | 9746 41720 126728 | 2147483647 265808 184 | 0.000 % |
287.84/288.05 c | 266679 | 9746 41720 126728 | 2147483647 266679 184 | 0.000 % |
289.53/289.75 c | 267639 | 9746 41720 126728 | 2147483647 267639 184 | 0.000 % |
291.33/291.53 c | 268693 | 9746 41720 126728 | 2147483647 268693 184 | 0.000 % |
293.34/293.59 c | 269851 | 9746 41720 126728 | 2147483647 269851 184 | 0.000 % |
295.64/295.83 c | 271125 | 9746 41720 126728 | 2147483647 271125 185 | 0.000 % |
298.13/298.39 c | 272525 | 9746 41720 126728 | 2147483647 272525 185 | 0.000 % |
300.93/301.18 c | 274065 | 9746 41720 126728 | 2147483647 274065 185 | 0.000 % |
304.03/304.26 c | 275760 | 9746 41720 126728 | 2147483647 275760 185 | 0.000 % |
307.23/307.46 c | 277623 | 9746 41720 126728 | 2147483647 277623 185 | 0.000 % |
310.93/311.11 c | 279674 | 9746 41720 126728 | 2147483647 279674 185 | 0.000 % |
315.03/315.20 c | 281927 | 9746 41720 126728 | 2147483647 281927 185 | 0.000 % |
319.42/319.64 c | 284406 | 9746 41720 126728 | 2147483647 284406 185 | 0.000 % |
324.62/324.86 c | 287134 | 9746 41720 126728 | 2147483647 287134 185 | 0.000 % |
324.92/325.10 c | 287234 | 9746 41720 126728 | 2147483647 287234 185 | 0.000 % |
325.12/325.33 c | 287345 | 9746 41720 126728 | 2147483647 287345 185 | 0.000 % |
325.33/325.60 c | 287468 | 9746 41720 126728 | 2147483647 287468 185 | 0.000 % |
325.72/325.90 c | 287602 | 9746 41720 126728 | 2147483647 287602 185 | 0.000 % |
326.02/326.24 c | 287748 | 9746 41720 126728 | 2147483647 287748 185 | 0.000 % |
326.32/326.58 c | 287908 | 9746 41720 126728 | 2147483647 287908 185 | 0.000 % |
326.72/327.00 c | 288084 | 9746 41720 126728 | 2147483647 288084 185 | 0.000 % |
327.22/327.40 c | 288277 | 9746 41720 126728 | 2147483647 288277 185 | 0.000 % |
327.62/327.89 c | 288489 | 9746 41720 126728 | 2147483647 288489 185 | 0.000 % |
328.13/328.38 c | 288722 | 9746 41720 126728 | 2147483647 288722 185 | 0.000 % |
328.73/328.93 c | 288979 | 9746 41720 126728 | 2147483647 288979 185 | 0.000 % |
329.32/329.51 c | 289260 | 9746 41720 126728 | 2147483647 289260 185 | 0.000 % |
329.92/330.13 c | 289569 | 9746 41720 126728 | 2147483647 289569 185 | 0.000 % |
330.62/330.88 c | 289911 | 9746 41720 126728 | 2147483647 289911 185 | 0.000 % |
331.42/331.63 c | 290284 | 9746 41720 126728 | 2147483647 290284 185 | 0.000 % |
332.22/332.41 c | 290693 | 9746 41720 126728 | 2147483647 290693 185 | 0.000 % |
333.12/333.36 c | 291142 | 9746 41720 126728 | 2147483647 291142 185 | 0.000 % |
334.02/334.30 c | 291636 | 9746 41720 126728 | 2147483647 291636 185 | 0.000 % |
335.12/335.32 c | 292180 | 9746 41720 126728 | 2147483647 292180 185 | 0.000 % |
336.33/336.51 c | 292776 | 9746 41720 126728 | 2147483647 292776 185 | 0.000 % |
337.62/337.80 c | 293431 | 9746 41720 126728 | 2147483647 293431 185 | 0.000 % |
339.02/339.25 c | 294155 | 9746 41720 126728 | 2147483647 294155 185 | 0.000 % |
340.42/340.69 c | 294947 | 9746 41720 126728 | 2147483647 294947 185 | 0.000 % |
342.22/342.45 c | 295818 | 9746 41720 126728 | 2147483647 295818 185 | 0.000 % |
343.92/344.13 c | 296777 | 9746 41720 126728 | 2147483647 296777 185 | 0.000 % |
345.92/346.11 c | 297831 | 9746 41720 126728 | 2147483647 297831 185 | 0.000 % |
347.81/348.08 c | 298989 | 9746 41720 126728 | 2147483647 298989 186 | 0.000 % |
350.31/350.55 c | 300262 | 9746 41720 126728 | 2147483647 300262 186 | 0.000 % |
352.92/353.13 c | 301665 | 9746 41720 126728 | 2147483647 301665 186 | 0.000 % |
355.91/356.12 c | 303208 | 9746 41720 126728 | 2147483647 303208 186 | 0.000 % |
359.01/359.28 c | 304903 | 9746 41720 126728 | 2147483647 304903 186 | 0.000 % |
362.41/362.68 c | 306766 | 9746 41720 126728 | 2147483647 306766 186 | 0.000 % |
366.41/366.61 c | 308817 | 9746 41720 126728 | 2147483647 308817 186 | 0.000 % |
370.60/370.81 c | 311070 | 9746 41720 126728 | 2147483647 311070 186 | 0.000 % |
375.60/375.85 c | 313549 | 9746 41720 126728 | 2147483647 313549 187 | 0.000 % |
381.10/381.38 c | 316274 | 9746 41720 126728 | 2147483647 316274 187 | 0.000 % |
387.01/387.26 c | 319272 | 9746 41720 126728 | 2147483647 319272 187 | 0.000 % |
387.30/387.52 c | 319373 | 9746 41720 126728 | 2147483647 319373 187 | 0.000 % |
387.60/387.81 c | 319485 | 9746 41720 126728 | 2147483647 319485 187 | 0.000 % |
387.90/388.14 c | 319608 | 9746 41720 126728 | 2147483647 319608 187 | 0.000 % |
388.20/388.47 c | 319741 | 9746 41720 126728 | 2147483647 319741 187 | 0.000 % |
388.60/388.81 c | 319888 | 9746 41720 126728 | 2147483647 319888 187 | 0.000 % |
388.90/389.16 c | 320049 | 9746 41720 126728 | 2147483647 320049 187 | 0.000 % |
389.40/389.66 c | 320228 | 9746 41720 126728 | 2147483647 320228 187 | 0.000 % |
389.90/390.12 c | 320421 | 9746 41720 126728 | 2147483647 320421 187 | 0.000 % |
390.40/390.63 c | 320639 | 9746 41720 126728 | 2147483647 320639 187 | 0.000 % |
390.90/391.16 c | 320872 | 9746 41720 126728 | 2147483647 320872 187 | 0.000 % |
391.50/391.72 c | 321130 | 9746 41720 126728 | 2147483647 321130 187 | 0.000 % |
392.09/392.31 c | 321413 | 9746 41720 126728 | 2147483647 321413 187 | 0.000 % |
392.69/392.91 c | 321722 | 9746 41720 126728 | 2147483647 321722 187 | 0.000 % |
393.39/393.63 c | 322063 | 9746 41720 126728 | 2147483647 322063 187 | 0.000 % |
394.19/394.47 c | 322437 | 9746 41720 126728 | 2147483647 322437 187 | 0.000 % |
395.19/395.44 c | 322846 | 9746 41720 126728 | 2147483647 322846 187 | 0.000 % |
396.20/396.47 c | 323295 | 9746 41720 126728 | 2147483647 323295 187 | 0.000 % |
397.20/397.50 c | 323790 | 9746 41720 126728 | 2147483647 323790 187 | 0.000 % |
398.50/398.72 c | 324332 | 9746 41720 126728 | 2147483647 324332 187 | 0.000 % |
399.69/399.99 c | 324928 | 9746 41720 126728 | 2147483647 324928 187 | 0.000 % |
401.19/401.42 c | 325583 | 9746 41720 126728 | 2147483647 325583 187 | 0.000 % |
402.80/403.04 c | 326303 | 9746 41720 126728 | 2147483647 326303 187 | 0.000 % |
404.39/404.63 c | 327095 | 9746 41720 126728 | 2147483647 327095 187 | 0.000 % |
406.09/406.39 c | 327967 | 9746 41720 126728 | 2147483647 327967 187 | 0.000 % |
408.29/408.51 c | 328925 | 9746 41720 126728 | 2147483647 328925 187 | 0.000 % |
410.48/410.74 c | 329980 | 9746 41720 126728 | 2147483647 329980 187 | 0.000 % |
412.99/413.21 c | 331140 | 9746 41720 126728 | 2147483647 331140 187 | 0.000 % |
415.69/415.91 c | 332415 | 9746 41720 126728 | 2147483647 332415 187 | 0.000 % |
418.39/418.67 c | 333815 | 9746 41720 126728 | 2147483647 333815 187 | 0.000 % |
421.68/421.90 c | 335358 | 9746 41720 126728 | 2147483647 335358 187 | 0.000 % |
424.99/425.27 c | 337056 | 9746 41720 126728 | 2147483647 337056 187 | 0.000 % |
429.08/429.33 c | 338924 | 9746 41720 126728 | 2147483647 338924 187 | 0.000 % |
433.48/433.77 c | 340974 | 9746 41720 126728 | 2147483647 340974 188 | 0.000 % |
438.08/438.40 c | 343228 | 9746 41720 126728 | 2147483647 343228 188 | 0.000 % |
443.28/443.52 c | 345706 | 9746 41720 126728 | 2147483647 345706 188 | 0.000 % |
448.97/449.23 c | 348431 | 9746 41720 126728 | 2147483647 348431 188 | 0.000 % |
455.28/455.58 c | 351429 | 9746 41720 126728 | 2147483647 351429 188 | 0.000 % |
462.37/462.69 c | 354725 | 9746 41720 126728 | 2147483647 354725 189 | 0.000 % |
462.67/462.92 c | 354825 | 9746 41720 126728 | 2147483647 354825 189 | 0.000 % |
462.97/463.21 c | 354935 | 9746 41720 126728 | 2147483647 354935 189 | 0.000 % |
463.27/463.52 c | 355056 | 9746 41720 126728 | 2147483647 355056 189 | 0.000 % |
463.67/463.95 c | 355189 | 9746 41720 126728 | 2147483647 355189 189 | 0.000 % |
464.07/464.32 c | 355337 | 9746 41720 126728 | 2147483647 355337 189 | 0.000 % |
464.47/464.77 c | 355497 | 9746 41720 126728 | 2147483647 355497 189 | 0.000 % |
464.97/465.25 c | 355673 | 9746 41720 126728 | 2147483647 355673 189 | 0.000 % |
465.47/465.78 c | 355866 | 9746 41720 126728 | 2147483647 355866 189 | 0.000 % |
466.07/466.30 c | 356080 | 9746 41720 126728 | 2147483647 356080 189 | 0.000 % |
466.67/466.91 c | 356313 | 9746 41720 126728 | 2147483647 356313 189 | 0.000 % |
467.37/467.64 c | 356570 | 9746 41720 126728 | 2147483647 356570 189 | 0.000 % |
468.07/468.39 c | 356853 | 9746 41720 126728 | 2147483647 356853 189 | 0.000 % |
468.97/469.20 c | 357165 | 9746 41720 126728 | 2147483647 357165 189 | 0.000 % |
469.77/470.04 c | 357506 | 9746 41720 126728 | 2147483647 357506 189 | 0.000 % |
470.67/470.96 c | 357879 | 9746 41720 126728 | 2147483647 357879 189 | 0.000 % |
471.67/471.91 c | 358288 | 9746 41720 126728 | 2147483647 358288 189 | 0.000 % |
472.68/472.97 c | 358739 | 9746 41720 126728 | 2147483647 358739 189 | 0.000 % |
473.87/474.16 c | 359232 | 9746 41720 126728 | 2147483647 359232 189 | 0.000 % |
475.17/475.43 c | 359774 | 9746 41720 126728 | 2147483647 359774 189 | 0.000 % |
476.56/476.86 c | 360373 | 9746 41720 126728 | 2147483647 360373 189 | 0.000 % |
478.06/478.37 c | 361029 | 9746 41720 126728 | 2147483647 361029 189 | 0.000 % |
479.76/480.08 c | 361749 | 9746 41720 126728 | 2147483647 361749 189 | 0.000 % |
481.67/481.94 c | 362542 | 9746 41720 126728 | 2147483647 362542 189 | 0.000 % |
483.56/483.89 c | 363414 | 9746 41720 126728 | 2147483647 363414 189 | 0.000 % |
485.87/486.17 c | 364372 | 9746 41720 126728 | 2147483647 364372 189 | 0.000 % |
488.26/488.55 c | 365427 | 9746 41720 126728 | 2147483647 365427 189 | 0.000 % |
491.06/491.38 c | 366588 | 9746 41720 126728 | 2147483647 366588 189 | 0.000 % |
494.26/494.57 c | 367864 | 9746 41720 126728 | 2147483647 367864 189 | 0.000 % |
497.36/497.69 c | 369266 | 9746 41720 126728 | 2147483647 369266 189 | 0.000 % |
500.75/501.04 c | 370808 | 9746 41720 126728 | 2147483647 370808 189 | 0.000 % |
504.66/505.00 c | 372505 | 9746 41720 126728 | 2147483647 372505 189 | 0.000 % |
509.06/509.36 c | 374368 | 9746 41720 126728 | 2147483647 374368 189 | 0.000 % |
513.75/514.03 c | 376418 | 9746 41720 126728 | 2147483647 376418 190 | 0.000 % |
518.75/519.06 c | 378671 | 9746 41720 126728 | 2147483647 378671 190 | 0.000 % |
523.85/524.16 c | 381150 | 9746 41720 126728 | 2147483647 381150 190 | 0.000 % |
529.54/529.86 c | 383875 | 9746 41720 126728 | 2147483647 383875 191 | 0.000 % |
536.45/536.80 c | 386872 | 9746 41720 126728 | 2147483647 386872 191 | 0.000 % |
543.64/543.94 c | 390168 | 9746 41720 126728 | 2147483647 390168 191 | 0.000 % |
551.44/551.73 c | 393794 | 9746 41720 126728 | 2147483647 393794 192 | 0.000 % |
551.64/552.00 c | 393895 | 9746 41720 126728 | 2147483647 393895 192 | 0.000 % |
552.04/552.35 c | 394005 | 9746 41720 126728 | 2147483647 394005 192 | 0.000 % |
552.54/552.80 c | 394126 | 9746 41720 126728 | 2147483647 394126 192 | 0.000 % |
552.94/553.25 c | 394260 | 9746 41720 126728 | 2147483647 394260 192 | 0.000 % |
553.44/553.71 c | 394406 | 9746 41720 126728 | 2147483647 394406 192 | 0.000 % |
553.93/554.20 c | 394566 | 9746 41720 126728 | 2147483647 394566 192 | 0.000 % |
554.43/554.75 c | 394744 | 9746 41720 126728 | 2147483647 394744 192 | 0.000 % |
555.03/555.35 c | 394937 | 9746 41720 126728 | 2147483647 394937 192 | 0.000 % |
555.63/555.99 c | 395149 | 9746 41720 126728 | 2147483647 395149 192 | 0.000 % |
556.34/556.63 c | 395382 | 9746 41720 126728 | 2147483647 395382 192 | 0.000 % |
557.03/557.33 c | 395640 | 9746 41720 126728 | 2147483647 395640 192 | 0.000 % |
557.83/558.17 c | 395923 | 9746 41720 126728 | 2147483647 395923 192 | 0.000 % |
558.73/559.06 c | 396233 | 9746 41720 126728 | 2147483647 396233 192 | 0.000 % |
559.73/560.01 c | 396574 | 9746 41720 126728 | 2147483647 396574 192 | 0.000 % |
560.64/560.95 c | 396946 | 9746 41720 126728 | 2147483647 396946 192 | 0.000 % |
561.74/562.08 c | 397355 | 9746 41720 126728 | 2147483647 397355 192 | 0.000 % |
563.03/563.38 c | 397804 | 9746 41720 126728 | 2147483647 397804 192 | 0.000 % |
564.33/564.68 c | 398297 | 9746 41720 126728 | 2147483647 398297 192 | 0.000 % |
565.83/566.14 c | 398839 | 9746 41720 126728 | 2147483647 398839 192 | 0.000 % |
567.33/567.62 c | 399436 | 9746 41720 126728 | 2147483647 399436 192 | 0.000 % |
568.93/569.30 c | 400093 | 9746 41720 126728 | 2147483647 400093 192 | 0.000 % |
571.03/571.39 c | 400813 | 9746 41720 126728 | 2147483647 400813 192 | 0.000 % |
573.23/573.51 c | 401607 | 9746 41720 126728 | 2147483647 401607 192 | 0.000 % |
575.33/575.65 c | 402479 | 9746 41720 126728 | 2147483647 402479 192 | 0.000 % |
577.73/578.07 c | 403437 | 9746 41720 126728 | 2147483647 403437 192 | 0.000 % |
580.33/580.65 c | 404492 | 9746 41720 126728 | 2147483647 404492 192 | 0.000 % |
583.22/583.59 c | 405650 | 9746 41720 126728 | 2147483647 405650 192 | 0.000 % |
586.43/586.71 c | 406923 | 9746 41720 126728 | 2147483647 406923 192 | 0.000 % |
589.92/590.25 c | 408323 | 9746 41720 126728 | 2147483647 408323 192 | 0.000 % |
593.82/594.14 c | 409863 | 9746 41720 126728 | 2147483647 409863 192 | 0.000 % |
598.02/598.33 c | 411559 | 9746 41720 126728 | 2147483647 411559 192 | 0.000 % |
602.81/603.12 c | 413423 | 9746 41720 126728 | 2147483647 413423 192 | 0.000 % |
607.92/608.28 c | 415474 | 9746 41720 126728 | 2147483647 415474 192 | 0.000 % |
613.71/614.09 c | 417727 | 9746 41720 126728 | 2147483647 417727 192 | 0.000 % |
619.71/620.09 c | 420209 | 9746 41720 126728 | 2147483647 420209 192 | 0.000 % |
626.51/626.82 c | 422934 | 9746 41720 126728 | 2147483647 422934 192 | 0.000 % |
633.21/633.58 c | 425931 | 9746 41720 126728 | 2147483647 425931 192 | 0.000 % |
641.20/641.55 c | 429227 | 9746 41720 126728 | 2147483647 429227 192 | 0.000 % |
650.31/650.63 c | 432852 | 9746 41720 126728 | 2147483647 432852 192 | 0.000 % |
660.00/660.34 c | 436840 | 9746 41720 126728 | 2147483647 436840 193 | 0.000 % |
660.30/660.66 c | 436940 | 9746 41720 126728 | 2147483647 436940 193 | 0.000 % |
660.70/661.06 c | 437050 | 9746 41720 126728 | 2147483647 437050 193 | 0.000 % |
661.20/661.54 c | 437172 | 9746 41720 126728 | 2147483647 437172 193 | 0.000 % |
661.60/661.98 c | 437305 | 9746 41720 126728 | 2147483647 437305 193 | 0.000 % |
662.10/662.49 c | 437452 | 9746 41720 126728 | 2147483647 437452 193 | 0.000 % |
662.70/663.02 c | 437615 | 9746 41720 126728 | 2147483647 437615 193 | 0.000 % |
663.20/663.57 c | 437791 | 9746 41720 126728 | 2147483647 437791 193 | 0.000 % |
663.90/664.21 c | 437985 | 9746 41720 126728 | 2147483647 437985 193 | 0.000 % |
664.59/664.96 c | 438198 | 9746 41720 126728 | 2147483647 438198 193 | 0.000 % |
665.29/665.66 c | 438432 | 9746 41720 126728 | 2147483647 438432 193 | 0.000 % |
666.09/666.42 c | 438688 | 9746 41720 126728 | 2147483647 438688 193 | 0.000 % |
666.99/667.31 c | 438970 | 9746 41720 126728 | 2147483647 438970 193 | 0.000 % |
667.90/668.21 c | 439279 | 9746 41720 126728 | 2147483647 439279 193 | 0.000 % |
668.80/669.14 c | 439619 | 9746 41720 126728 | 2147483647 439619 193 | 0.000 % |
669.90/670.24 c | 439991 | 9746 41720 126728 | 2147483647 439991 193 | 0.000 % |
671.09/671.43 c | 440401 | 9746 41720 126728 | 2147483647 440401 193 | 0.000 % |
672.29/672.70 c | 440852 | 9746 41720 126728 | 2147483647 440852 193 | 0.000 % |
673.79/674.16 c | 441345 | 9746 41720 126728 | 2147483647 441345 193 | 0.000 % |
675.30/675.66 c | 441887 | 9746 41720 126728 | 2147483647 441887 193 | 0.000 % |
676.99/677.34 c | 442483 | 9746 41720 126728 | 2147483647 442483 193 | 0.000 % |
678.69/679.08 c | 443140 | 9746 41720 126728 | 2147483647 443140 193 | 0.000 % |
680.69/681.05 c | 443860 | 9746 41720 126728 | 2147483647 443860 193 | 0.000 % |
682.79/683.14 c | 444653 | 9746 41720 126728 | 2147483647 444653 193 | 0.000 % |
684.99/685.35 c | 445525 | 9746 41720 126728 | 2147483647 445525 193 | 0.000 % |
687.79/688.16 c | 446485 | 9746 41720 126728 | 2147483647 446485 193 | 0.000 % |
690.69/691.04 c | 447538 | 9746 41720 126728 | 2147483647 447538 193 | 0.000 % |
693.99/694.36 c | 448696 | 9746 41720 126728 | 2147483647 448696 193 | 0.000 % |
697.39/697.71 c | 449969 | 9746 41720 126728 | 2147483647 449969 193 | 0.000 % |
701.18/701.56 c | 451369 | 9746 41720 126728 | 2147483647 451369 193 | 0.000 % |
705.58/705.97 c | 452910 | 9746 41720 126728 | 2147483647 452910 193 | 0.000 % |
710.38/710.71 c | 454605 | 9746 41720 126728 | 2147483647 454605 193 | 0.000 % |
715.58/715.95 c | 456471 | 9746 41720 126728 | 2147483647 456471 193 | 0.000 % |
721.27/721.69 c | 458521 | 9746 41720 126728 | 2147483647 458521 193 | 0.000 % |
727.47/727.89 c | 460774 | 9746 41720 126728 | 2147483647 460774 193 | 0.000 % |
734.47/734.86 c | 463255 | 9746 41720 126728 | 2147483647 463255 193 | 0.000 % |
741.87/742.26 c | 465980 | 9746 41720 126728 | 2147483647 465980 193 | 0.000 % |
749.97/750.36 c | 468980 | 9746 41720 126728 | 2147483647 468980 194 | 0.000 % |
758.77/759.12 c | 472277 | 9746 41720 126728 | 2147483647 472277 194 | 0.000 % |
767.66/768.07 c | 475905 | 9746 41720 126728 | 2147483647 475905 194 | 0.000 % |
778.56/778.94 c | 479892 | 9746 41720 126728 | 2147483647 479892 194 | 0.000 % |
790.15/790.55 c | 484277 | 9746 41720 126728 | 2147483647 484277 195 | 0.000 % |
790.56/790.94 c | 484378 | 9746 41720 126728 | 2147483647 484378 195 | 0.000 % |
790.95/791.36 c | 484488 | 9746 41720 126728 | 2147483647 484488 195 | 0.000 % |
791.45/791.86 c | 484611 | 9746 41720 126728 | 2147483647 484611 195 | 0.000 % |
791.95/792.34 c | 484749 | 9746 41720 126728 | 2147483647 484749 195 | 0.000 % |
792.45/792.89 c | 484895 | 9746 41720 126728 | 2147483647 484895 195 | 0.000 % |
793.15/793.50 c | 485055 | 9746 41720 126728 | 2147483647 485055 195 | 0.000 % |
793.85/794.23 c | 485231 | 9746 41720 126728 | 2147483647 485231 195 | 0.000 % |
794.55/794.91 c | 485424 | 9746 41720 126728 | 2147483647 485424 195 | 0.000 % |
795.35/795.71 c | 485637 | 9746 41720 126728 | 2147483647 485637 195 | 0.000 % |
796.15/796.56 c | 485870 | 9746 41720 126728 | 2147483647 485870 195 | 0.000 % |
797.05/797.43 c | 486127 | 9746 41720 126728 | 2147483647 486127 195 | 0.000 % |
797.95/798.37 c | 486410 | 9746 41720 126728 | 2147483647 486410 195 | 0.000 % |
798.95/799.34 c | 486721 | 9746 41720 126728 | 2147483647 486721 195 | 0.000 % |
800.14/800.55 c | 487061 | 9746 41720 126728 | 2147483647 487061 195 | 0.000 % |
801.45/801.87 c | 487433 | 9746 41720 126728 | 2147483647 487433 195 | 0.000 % |
802.74/803.13 c | 487842 | 9746 41720 126728 | 2147483647 487842 195 | 0.000 % |
804.14/804.52 c | 488293 | 9746 41720 126728 | 2147483647 488293 195 | 0.000 % |
805.55/805.96 c | 488787 | 9746 41720 126728 | 2147483647 488787 194 | 0.000 % |
807.35/807.76 c | 489329 | 9746 41720 126728 | 2147483647 489329 194 | 0.000 % |
809.05/809.42 c | 489925 | 9746 41720 126728 | 2147483647 489925 195 | 0.000 % |
811.04/811.43 c | 490580 | 9746 41720 126728 | 2147483647 490580 195 | 0.000 % |
813.24/813.69 c | 491303 | 9746 41720 126728 | 2147483647 491303 195 | 0.000 % |
815.75/816.19 c | 492097 | 9746 41720 126728 | 2147483647 492097 195 | 0.000 % |
818.54/818.96 c | 492971 | 9746 41720 126728 | 2147483647 492971 195 | 0.000 % |
821.34/821.72 c | 493930 | 9746 41720 126728 | 2147483647 493930 195 | 0.000 % |
824.43/824.85 c | 494984 | 9746 41720 126728 | 2147483647 494984 195 | 0.000 % |
827.84/828.26 c | 496142 | 9746 41720 126728 | 2147483647 496142 194 | 0.000 % |
831.64/832.02 c | 497415 | 9746 41720 126728 | 2147483647 497415 194 | 0.000 % |
835.94/836.34 c | 498817 | 9746 41720 126728 | 2147483647 498817 194 | 0.000 % |
840.43/840.87 c | 500357 | 9746 41720 126728 | 2147483647 500357 194 | 0.000 % |
845.54/845.90 c | 502051 | 9746 41720 126728 | 2147483647 502051 194 | 0.000 % |
851.43/851.80 c | 503914 | 9746 41720 126728 | 2147483647 503914 194 | 0.000 % |
857.63/858.04 c | 505963 | 9746 41720 126728 | 2147483647 505963 194 | 0.000 % |
864.02/864.47 c | 508217 | 9746 41720 126728 | 2147483647 508217 194 | 0.000 % |
871.02/871.44 c | 510695 | 9746 41720 126728 | 2147483647 510695 195 | 0.000 % |
879.02/879.46 c | 513420 | 9746 41720 126728 | 2147483647 513420 195 | 0.000 % |
887.52/887.96 c | 516418 | 9746 41720 126728 | 2147483647 516418 195 | 0.000 % |
897.21/897.60 c | 519715 | 9746 41720 126728 | 2147483647 519715 195 | 0.000 % |
907.81/908.23 c | 523340 | 9746 41720 126728 | 2147483647 523340 196 | 0.000 % |
919.80/920.26 c | 527327 | 9746 41720 126728 | 2147483647 527327 197 | 0.000 % |
932.61/933.08 c | 531712 | 9746 41720 126728 | 2147483647 531712 197 | 0.000 % |
946.40/946.83 c | 536539 | 9746 41720 126728 | 2147483647 536539 197 | 0.000 % |
946.90/947.36 c | 536640 | 9746 41720 126728 | 2147483647 536640 197 | 0.000 % |
947.39/947.82 c | 536750 | 9746 41720 126728 | 2147483647 536750 197 | 0.000 % |
947.80/948.26 c | 536873 | 9746 41720 126728 | 2147483647 536873 197 | 0.000 % |
948.39/948.82 c | 537006 | 9746 41720 126728 | 2147483647 537006 197 | 0.000 % |
949.09/949.52 c | 537152 | 9746 41720 126728 | 2147483647 537152 197 | 0.000 % |
949.69/950.16 c | 537312 | 9746 41720 126728 | 2147483647 537312 197 | 0.000 % |
950.49/950.93 c | 537488 | 9746 41720 126728 | 2147483647 537488 197 | 0.000 % |
951.19/951.64 c | 537682 | 9746 41720 126728 | 2147483647 537682 197 | 0.000 % |
952.00/952.42 c | 537895 | 9746 41720 126728 | 2147483647 537895 197 | 0.000 % |
952.80/953.25 c | 538128 | 9746 41720 126728 | 2147483647 538128 197 | 0.000 % |
953.90/954.31 c | 538385 | 9746 41720 126728 | 2147483647 538385 197 | 0.000 % |
954.90/955.34 c | 538666 | 9746 41720 126728 | 2147483647 538666 197 | 0.000 % |
955.89/956.39 c | 538979 | 9746 41720 126728 | 2147483647 538979 197 | 0.000 % |
957.19/957.69 c | 539318 | 9746 41720 126728 | 2147483647 539318 197 | 0.000 % |
958.70/959.15 c | 539692 | 9746 41720 126728 | 2147483647 539692 197 | 0.000 % |
960.39/960.81 c | 540101 | 9746 41720 126728 | 2147483647 540101 197 | 0.000 % |
961.89/962.39 c | 540550 | 9746 41720 126728 | 2147483647 540550 197 | 0.000 % |
963.69/964.17 c | 541043 | 9746 41720 126728 | 2147483647 541043 197 | 0.000 % |
965.69/966.16 c | 541586 | 9746 41720 126728 | 2147483647 541586 197 | 0.000 % |
967.79/968.24 c | 542185 | 9746 41720 126728 | 2147483647 542185 197 | 0.000 % |
969.98/970.46 c | 542841 | 9746 41720 126728 | 2147483647 542841 197 | 0.000 % |
972.29/972.79 c | 543561 | 9746 41720 126728 | 2147483647 543561 197 | 0.000 % |
975.09/975.57 c | 544354 | 9746 41720 126728 | 2147483647 544354 197 | 0.000 % |
978.08/978.51 c | 545225 | 9746 41720 126728 | 2147483647 545225 197 | 0.000 % |
981.38/981.82 c | 546185 | 9746 41720 126728 | 2147483647 546185 197 | 0.000 % |
985.08/985.50 c | 547239 | 9746 41720 126728 | 2147483647 547239 197 | 0.000 % |
988.97/989.47 c | 548398 | 9746 41720 126728 | 2147483647 548398 197 | 0.000 % |
992.78/993.29 c | 549671 | 9746 41720 126728 | 2147483647 549671 197 | 0.000 % |
997.28/997.74 c | 551072 | 9746 41720 126728 | 2147483647 551072 197 | 0.000 % |
1002.38/1002.87 c | 552613 | 9746 41720 126728 | 2147483647 552613 197 | 0.000 % |
1007.87/1008.32 c | 554308 | 9746 41720 126728 | 2147483647 554308 197 | 0.000 % |
1013.47/1013.94 c | 556173 | 9746 41720 126728 | 2147483647 556173 197 | 0.000 % |
1019.67/1020.19 c | 558226 | 9746 41720 126728 | 2147483647 558226 198 | 0.000 % |
1026.87/1027.37 c | 560479 | 9746 41720 126728 | 2147483647 560479 198 | 0.000 % |
1034.47/1034.92 c | 562957 | 9746 41720 126728 | 2147483647 562957 198 | 0.000 % |
1042.76/1043.20 c | 565682 | 9746 41720 126728 | 2147483647 565682 198 | 0.000 % |
1052.16/1052.63 c | 568681 | 9746 41720 126728 | 2147483647 568681 198 | 0.000 % |
1062.25/1062.71 c | 571977 | 9746 41720 126728 | 2147483647 571977 198 | 0.000 % |
1072.75/1073.25 c | 575603 | 9746 41720 126728 | 2147483647 575603 198 | 0.000 % |
1084.84/1085.34 c | 579590 | 9746 41720 126728 | 2147483647 579590 198 | 0.000 % |
1098.94/1099.48 c | 583975 | 9746 41720 126728 | 2147483647 583975 199 | 0.000 % |
1114.53/1115.00 c | 588799 | 9746 41720 126728 | 2147483647 588799 199 | 0.000 % |
1131.23/1131.79 c | 594105 | 9746 41720 126728 | 2147483647 594105 199 | 0.000 % |
1131.73/1132.21 c | 594207 | 9746 41720 126728 | 2147483647 594207 199 | 0.000 % |
1132.23/1132.75 c | 594319 | 9746 41720 126728 | 2147483647 594319 199 | 0.000 % |
1132.83/1133.30 c | 594440 | 9746 41720 126728 | 2147483647 594440 199 | 0.000 % |
1133.32/1133.88 c | 594573 | 9746 41720 126728 | 2147483647 594573 199 | 0.000 % |
1134.12/1134.61 c | 594720 | 9746 41720 126728 | 2147483647 594720 199 | 0.000 % |
1134.83/1135.37 c | 594880 | 9746 41720 126728 | 2147483647 594880 199 | 0.000 % |
1135.74/1136.26 c | 595057 | 9746 41720 126728 | 2147483647 595057 199 | 0.000 % |
1136.63/1137.12 c | 595251 | 9746 41720 126728 | 2147483647 595251 199 | 0.000 % |
1137.53/1138.03 c | 595463 | 9746 41720 126728 | 2147483647 595463 199 | 0.000 % |
1138.43/1138.96 c | 595696 | 9746 41720 126728 | 2147483647 595696 199 | 0.000 % |
1139.53/1140.06 c | 595952 | 9746 41720 126728 | 2147483647 595952 199 | 0.000 % |
1140.72/1141.27 c | 596233 | 9746 41720 126728 | 2147483647 596233 199 | 0.000 % |
1142.02/1142.52 c | 596542 | 9746 41720 126728 | 2147483647 596542 199 | 0.000 % |
1143.52/1144.03 c | 596884 | 9746 41720 126728 | 2147483647 596884 199 | 0.000 % |
1144.93/1145.47 c | 597259 | 9746 41720 126728 | 2147483647 597259 199 | 0.000 % |
1146.53/1147.08 c | 597668 | 9746 41720 126728 | 2147483647 597668 199 | 0.000 % |
1148.32/1148.82 c | 598117 | 9746 41720 126728 | 2147483647 598117 199 | 0.000 % |
1150.13/1150.67 c | 598610 | 9746 41720 126728 | 2147483647 598610 199 | 0.000 % |
1152.22/1152.76 c | 599152 | 9746 41720 126728 | 2147483647 599152 199 | 0.000 % |
1154.52/1155.03 c | 599749 | 9746 41720 126728 | 2147483647 599749 199 | 0.000 % |
1157.12/1157.61 c | 600404 | 9746 41720 126728 | 600000 600404 199 | 0.000 % |
1160.03/1160.50 c | 601125 | 9746 41720 126728 | 600000 525669 199 | 0.000 % |
1162.42/1162.98 c | 601919 | 9746 41720 126728 | 600000 526463 198 | 0.000 % |
1165.32/1165.86 c | 602791 | 9746 41720 126728 | 600000 527335 199 | 0.000 % |
1168.52/1169.09 c | 603749 | 9746 41720 126728 | 600000 528293 199 | 0.000 % |
1171.92/1172.41 c | 604802 | 9746 41720 126728 | 600000 529346 199 | 0.000 % |
1175.82/1176.35 c | 605960 | 9746 41720 126728 | 600000 530504 199 | 0.000 % |
1180.02/1180.50 c | 607233 | 9746 41720 126728 | 600000 531777 199 | 0.000 % |
1184.22/1184.72 c | 608634 | 9746 41720 126728 | 600000 533178 199 | 0.000 % |
1188.71/1189.29 c | 610174 | 9746 41720 126728 | 2147483647 534718 199 | 0.000 % |
1193.81/1194.39 c | 611870 | 9746 41720 126728 | 2147483647 536414 199 | 0.000 % |
1199.41/1199.92 c | 613733 | 9746 41720 126728 | 2147483647 538277 199 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832665-1242786052/watcher-1832665-1242786052 -o /tmp/evaluation-result-1832665-1242786052/solver-1832665-1242786052 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832665-1242786052.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4288
/proc/meminfo: memFree=1868592/2055920 swapFree=4180388/4192956
[pid=4288] ppid=4286 vsize=5356 CPUtime=0
/proc/4288/stat : 4288 (SatELiteGTI) S 4286 4288 3690 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306638469 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 227848978514 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/4288/statm: 1339 235 195 169 0 50 0
[pid=4289] ppid=4288 vsize=5356 CPUtime=0
/proc/4289/stat : 4289 (SatELiteGTI) R 4288 4288 3690 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 306638469 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/4289/statm: 1339 238 198 169 0 50 0
[pid=4291] ppid=4289 vsize=0 CPUtime=0
/proc/4291/stat : 4291 (sed) Z 4289 4288 3690 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 306638469 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/4291/statm: 0 0 0 0 0 0 0
[startup+0.046045 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4288
/proc/meminfo: memFree=1868592/2055920 swapFree=4180388/4192956
[pid=4288] ppid=4286 vsize=5356 CPUtime=0
/proc/4288/stat : 4288 (SatELiteGTI) S 4286 4288 3690 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306638469 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4288/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101054 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4288
/proc/meminfo: memFree=1868592/2055920 swapFree=4180388/4192956
[pid=4288] ppid=4286 vsize=5356 CPUtime=0
/proc/4288/stat : 4288 (SatELiteGTI) S 4286 4288 3690 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306638469 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4288/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.30108 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4288
/proc/meminfo: memFree=1868592/2055920 swapFree=4180388/4192956
[pid=4288] ppid=4286 vsize=5356 CPUtime=0.16
/proc/4288/stat : 4288 (SatELiteGTI) S 4286 4288 3690 0 -1 4194304 336 1613 0 0 0 0 15 1 15 0 1 0 306638469 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4288/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 5356
[startup+0.70115 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4288
/proc/meminfo: memFree=1868592/2055920 swapFree=4180388/4192956
[pid=4288] ppid=4286 vsize=5356 CPUtime=0.16
/proc/4288/stat : 4288 (SatELiteGTI) S 4286 4288 3690 0 -1 4194304 336 1613 0 0 0 0 15 1 15 0 1 0 306638469 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4288/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 5356
[startup+1.50129 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4294
/proc/meminfo: memFree=1862368/2055920 swapFree=4180388/4192956
[pid=4288] ppid=4286 vsize=5356 CPUtime=0.16
/proc/4288/stat : 4288 (SatELiteGTI) S 4286 4288 3690 0 -1 4194304 336 1613 0 0 0 0 15 1 15 0 1 0 306638469 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4288/statm: 1339 239 197 169 0 50 0
[pid=4294] ppid=4288 vsize=7180 CPUtime=1.3
/proc/4294/stat : 4294 (minisat_static) R 4288 4288 3690 0 -1 4194304 1595 0 0 0 130 0 0 0 25 0 1 0 306638487 7352320 1581 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/4294/statm: 1795 1581 77 171 0 1622 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 12536
[startup+3.10257 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4294
/proc/meminfo: memFree=1860128/2055920 swapFree=4180388/4192956
[pid=4288] ppid=4286 vsize=5356 CPUtime=0.16
/proc/4288/stat : 4288 (SatELiteGTI) S 4286 4288 3690 0 -1 4194304 336 1613 0 0 0 0 15 1 15 0 1 0 306638469 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4288/statm: 1339 239 197 169 0 50 0
[pid=4294] ppid=4288 vsize=10104 CPUtime=2.91
/proc/4294/stat : 4294 (minisat_static) R 4288 4288 3690 0 -1 4194304 2316 0 0 0 289 2 0 0 25 0 1 0 306638487 10346496 2302 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/4294/statm: 2526 2302 77 171 0 2353 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15460
[startup+6.30114 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4294
/proc/meminfo: memFree=1854176/2055920 swapFree=4180388/4192956
[pid=4288] ppid=4286 vsize=5356 CPUtime=0.16
/proc/4288/stat : 4288 (SatELiteGTI) S 4286 4288 3690 0 -1 4194304 336 1613 0 0 0 0 15 1 15 0 1 0 306638469 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4288/statm: 1339 239 197 169 0 50 0
[pid=4294] ppid=4288 vsize=15684 CPUtime=6.1
/proc/4294/stat : 4294 (minisat_static) R 4288 4288 3690 0 -1 4194304 3695 0 0 0 607 3 0 0 25 0 1 0 306638487 16060416 3681 1992294400 134512640 135215339 4294956240 18446744073709551615 134525112 0 0 4096 3 0 0 0 17 1 0 0
/proc/4294/statm: 3921 3681 77 171 0 3748 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 21040
[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4294
/proc/meminfo: memFree=1844192/2055920 swapFree=4180388/4192956
[pid=4288] ppid=4286 vsize=5356 CPUtime=0.16
/proc/4288/stat : 4288 (SatELiteGTI) S 4286 4288 3690 0 -1 4194304 336 1613 0 0 0 0 15 1 15 0 1 0 306638469 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4288/statm: 1339 239 197 169 0 50 0
[pid=4294] ppid=4288 vsize=24956 CPUtime=12.5
/proc/4294/stat : 4294 (minisat_static) R 4288 4288 3690 0 -1 4194304 6024 0 0 0 1245 5 0 0 25 0 1 0 306638487 25554944 6010 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/4294/statm: 6239 6010 77 171 0 6066 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 30312
[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4294
/proc/meminfo: memFree=1828192/2055920 swapFree=4180388/4192956
[pid=4288] ppid=4286 vsize=5356 CPUtime=0.16
/proc/4288/stat : 4288 (SatELiteGTI) S 4286 4288 3690 0 -1 4194304 336 1613 0 0 0 0 15 1 15 0 1 0 306638469 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4288/statm: 1339 239 197 169 0 50 0
[pid=4294] ppid=4288 vsize=40348 CPUtime=25.3
/proc/4294/stat : 4294 (minisat_static) R 4288 4288 3690 0 -1 4194304 9875 0 0 0 2521 9 0 0 25 0 1 0 306638487 41316352 9861 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/4294/statm: 10087 9861 77 171 0 9914 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 45704
[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4294
/proc/meminfo: memFree=1803168/2055920 swapFree=4180388/4192956
[pid=4288] ppid=4286 vsize=5356 CPUtime=0.16
/proc/4288/stat : 4288 (SatELiteGTI) S 4286 4288 3690 0 -1 4194304 336 1613 0 0 0 0 15 1 15 0 1 0 306638469 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4288/statm: 1339 239 197 169 0 50 0
[pid=4294] ppid=4288 vsize=65416 CPUtime=50.88
/proc/4294/stat : 4294 (minisat_static) R 4288 4288 3690 0 -1 4194304 16130 0 0 0 5073 15 0 0 25 0 1 0 306638487 66985984 16116 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/4294/statm: 16354 16116 77 171 0 16181 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 70772
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4294
/proc/meminfo: memFree=1763232/2055920 swapFree=4180388/4192956
[pid=4288] ppid=4286 vsize=5356 CPUtime=0.16
/proc/4288/stat : 4288 (SatELiteGTI) S 4286 4288 3690 0 -1 4194304 336 1613 0 0 0 0 15 1 15 0 1 0 306638469 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4288/statm: 1339 239 197 169 0 50 0
[pid=4294] ppid=4288 vsize=105072 CPUtime=102.06
/proc/4294/stat : 4294 (minisat_static) R 4288 4288 3690 0 -1 4194304 26002 0 0 0 10178 28 0 0 25 0 1 0 306638487 107593728 25988 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 1 0 0
/proc/4294/statm: 26268 25988 77 171 0 26095 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 110428
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4294
/proc/meminfo: memFree=1724896/2055920 swapFree=4180388/4192956
[pid=4288] ppid=4286 vsize=5356 CPUtime=0.16
/proc/4288/stat : 4288 (SatELiteGTI) S 4286 4288 3690 0 -1 4194304 336 1613 0 0 0 0 15 1 15 0 1 0 306638469 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4288/statm: 1339 239 197 169 0 50 0
[pid=4294] ppid=4288 vsize=143352 CPUtime=162.02
/proc/4294/stat : 4294 (minisat_static) R 4288 4288 3690 0 -1 4194304 35595 0 0 0 16163 39 0 0 25 0 1 0 306638487 146792448 35581 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4294/statm: 35838 35581 77 171 0 35665 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 148708
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4294
/proc/meminfo: memFree=1691680/2055920 swapFree=4180388/4192956
[pid=4288] ppid=4286 vsize=5356 CPUtime=0.16
/proc/4288/stat : 4288 (SatELiteGTI) S 4286 4288 3690 0 -1 4194304 336 1613 0 0 0 0 15 1 15 0 1 0 306638469 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4288/statm: 1339 239 197 169 0 50 0
[pid=4294] ppid=4288 vsize=176492 CPUtime=222
/proc/4294/stat : 4294 (minisat_static) R 4288 4288 3690 0 -1 4194304 43823 0 0 0 22149 51 0 0 25 0 1 0 306638487 180727808 43809 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/4294/statm: 44123 43809 77 171 0 43950 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 181848
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4294
/proc/meminfo: memFree=1663072/2055920 swapFree=4180388/4192956
[pid=4288] ppid=4286 vsize=5356 CPUtime=0.16
/proc/4288/stat : 4288 (SatELiteGTI) S 4286 4288 3690 0 -1 4194304 336 1613 0 0 0 0 15 1 15 0 1 0 306638469 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4288/statm: 1339 239 197 169 0 50 0
[pid=4294] ppid=4288 vsize=205004 CPUtime=281.98
/proc/4294/stat : 4294 (minisat_static) R 4288 4288 3690 0 -1 4194304 50976 0 0 0 28139 59 0 0 25 0 1 0 306638487 209924096 50962 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4294/statm: 51251 50962 77 171 0 51078 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 210360
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4294
/proc/meminfo: memFree=1636832/2055920 swapFree=4180388/4192956
[pid=4288] ppid=4286 vsize=5356 CPUtime=0.16
/proc/4288/stat : 4288 (SatELiteGTI) S 4286 4288 3690 0 -1 4194304 336 1613 0 0 0 0 15 1 15 0 1 0 306638469 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4288/statm: 1339 239 197 169 0 50 0
[pid=4294] ppid=4288 vsize=230748 CPUtime=341.96
/proc/4294/stat : 4294 (minisat_static) R 4288 4288 3690 0 -1 4194304 57455 0 0 0 34128 68 0 0 25 0 1 0 306638487 236285952 57441 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/4294/statm: 57687 57441 77 171 0 57514 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 236104
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4294
/proc/meminfo: memFree=1611616/2055920 swapFree=4180388/4192956
[pid=4288] ppid=4286 vsize=5356 CPUtime=0.16
/proc/4288/stat : 4288 (SatELiteGTI) S 4286 4288 3690 0 -1 4194304 336 1613 0 0 0 0 15 1 15 0 1 0 306638469 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4288/statm: 1339 239 197 169 0 50 0
[pid=4294] ppid=4288 vsize=256568 CPUtime=401.93
################
# More data... #
################
/proc/4294/statm: 81203 80904 77 171 0 81030 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 330168
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4294
/proc/meminfo: memFree=1522016/2055920 swapFree=4180388/4192956
[pid=4288] ppid=4286 vsize=5356 CPUtime=0.16
/proc/4288/stat : 4288 (SatELiteGTI) S 4286 4288 3690 0 -1 4194304 336 1613 0 0 0 0 15 1 15 0 1 0 306638469 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4288/statm: 1339 239 197 169 0 50 0
[pid=4294] ppid=4288 vsize=344744 CPUtime=641.85
/proc/4294/stat : 4294 (minisat_static) R 4288 4288 3690 0 -1 4194304 85943 0 0 0 64084 101 0 0 25 0 1 0 306638487 353017856 85929 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/4294/statm: 86186 85929 77 171 0 86013 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 350100
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4294
/proc/meminfo: memFree=1503200/2055920 swapFree=4180388/4192956
[pid=4288] ppid=4286 vsize=5356 CPUtime=0.16
/proc/4288/stat : 4288 (SatELiteGTI) S 4286 4288 3690 0 -1 4194304 336 1613 0 0 0 0 15 1 15 0 1 0 306638469 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4288/statm: 1339 239 197 169 0 50 0
[pid=4294] ppid=4288 vsize=363488 CPUtime=701.82
/proc/4294/stat : 4294 (minisat_static) R 4288 4288 3690 0 -1 4194304 90656 0 0 0 70076 106 0 0 25 0 1 0 306638487 372211712 90642 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4294/statm: 90872 90642 77 171 0 90699 0
Current children cumulated CPU time (s) 701.98
Current children cumulated vsize (KiB) 368844
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4294
/proc/meminfo: memFree=1484320/2055920 swapFree=4180388/4192956
[pid=4288] ppid=4286 vsize=5356 CPUtime=0.16
/proc/4288/stat : 4288 (SatELiteGTI) S 4286 4288 3690 0 -1 4194304 336 1613 0 0 0 0 15 1 15 0 1 0 306638469 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4288/statm: 1339 239 197 169 0 50 0
[pid=4294] ppid=4288 vsize=383012 CPUtime=761.8
/proc/4294/stat : 4294 (minisat_static) R 4288 4288 3690 0 -1 4194304 95318 0 0 0 76068 112 0 0 25 0 1 0 306638487 392204288 95304 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/4294/statm: 95753 95304 77 171 0 95580 0
Current children cumulated CPU time (s) 761.96
Current children cumulated vsize (KiB) 388368
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4294
/proc/meminfo: memFree=1466272/2055920 swapFree=4180388/4192956
[pid=4288] ppid=4286 vsize=5356 CPUtime=0.16
/proc/4288/stat : 4288 (SatELiteGTI) S 4286 4288 3690 0 -1 4194304 336 1613 0 0 0 0 15 1 15 0 1 0 306638469 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4288/statm: 1339 239 197 169 0 50 0
[pid=4294] ppid=4288 vsize=400964 CPUtime=821.78
/proc/4294/stat : 4294 (minisat_static) R 4288 4288 3690 0 -1 4194304 99824 0 0 0 82061 117 0 0 25 0 1 0 306638487 410587136 99810 1992294400 134512640 135215339 4294956240 18446744073709551615 134538076 0 0 4096 3 0 0 0 17 1 0 0
/proc/4294/statm: 100241 99810 77 171 0 100068 0
Current children cumulated CPU time (s) 821.94
Current children cumulated vsize (KiB) 406320
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4294
/proc/meminfo: memFree=1449120/2055920 swapFree=4180388/4192956
[pid=4288] ppid=4286 vsize=5356 CPUtime=0.16
/proc/4288/stat : 4288 (SatELiteGTI) S 4286 4288 3690 0 -1 4194304 336 1613 0 0 0 0 15 1 15 0 1 0 306638469 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4288/statm: 1339 239 197 169 0 50 0
[pid=4294] ppid=4288 vsize=417860 CPUtime=881.76
/proc/4294/stat : 4294 (minisat_static) R 4288 4288 3690 0 -1 4194304 104058 0 0 0 88055 121 0 0 25 0 1 0 306638487 427888640 104044 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/4294/statm: 104465 104044 77 171 0 104292 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 423216
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4294
/proc/meminfo: memFree=1428384/2055920 swapFree=4180388/4192956
[pid=4288] ppid=4286 vsize=5356 CPUtime=0.16
/proc/4288/stat : 4288 (SatELiteGTI) S 4286 4288 3690 0 -1 4194304 336 1613 0 0 0 0 15 1 15 0 1 0 306638469 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4288/statm: 1339 239 197 169 0 50 0
[pid=4294] ppid=4288 vsize=438716 CPUtime=941.74
/proc/4294/stat : 4294 (minisat_static) R 4288 4288 3690 0 -1 4194304 109306 0 0 0 94046 128 0 0 25 0 1 0 306638487 449245184 109292 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/4294/statm: 109679 109292 77 171 0 109506 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 444072
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4294
/proc/meminfo: memFree=1413280/2055920 swapFree=4180388/4192956
[pid=4288] ppid=4286 vsize=5356 CPUtime=0.16
/proc/4288/stat : 4288 (SatELiteGTI) S 4286 4288 3690 0 -1 4194304 336 1613 0 0 0 0 15 1 15 0 1 0 306638469 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4288/statm: 1339 239 197 169 0 50 0
[pid=4294] ppid=4288 vsize=453236 CPUtime=1001.72
/proc/4294/stat : 4294 (minisat_static) R 4288 4288 3690 0 -1 4194304 112955 0 0 0 100039 133 0 0 25 0 1 0 306638487 464113664 112941 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/4294/statm: 113309 112941 77 171 0 113136 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 458592
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4294
/proc/meminfo: memFree=1396000/2055920 swapFree=4180388/4192956
[pid=4288] ppid=4286 vsize=5356 CPUtime=0.16
/proc/4288/stat : 4288 (SatELiteGTI) S 4286 4288 3690 0 -1 4194304 336 1613 0 0 0 0 15 1 15 0 1 0 306638469 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4288/statm: 1339 239 197 169 0 50 0
[pid=4294] ppid=4288 vsize=470660 CPUtime=1061.69
/proc/4294/stat : 4294 (minisat_static) R 4288 4288 3690 0 -1 4194304 117312 0 0 0 106032 137 0 0 25 0 1 0 306638487 481955840 117298 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/4294/statm: 117665 117298 77 171 0 117492 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 476016
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4294
/proc/meminfo: memFree=1377824/2055920 swapFree=4180388/4192956
[pid=4288] ppid=4286 vsize=5356 CPUtime=0.16
/proc/4288/stat : 4288 (SatELiteGTI) S 4286 4288 3690 0 -1 4194304 336 1613 0 0 0 0 15 1 15 0 1 0 306638469 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4288/statm: 1339 239 197 169 0 50 0
[pid=4294] ppid=4288 vsize=488348 CPUtime=1121.67
/proc/4294/stat : 4294 (minisat_static) R 4288 4288 3690 0 -1 4194304 121772 0 0 0 112025 142 0 0 25 0 1 0 306638487 500068352 121758 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4294/statm: 122087 121758 77 171 0 121914 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 493704
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4294
/proc/meminfo: memFree=1369824/2055920 swapFree=4180388/4192956
[pid=4288] ppid=4286 vsize=5356 CPUtime=0.16
/proc/4288/stat : 4288 (SatELiteGTI) S 4286 4288 3690 0 -1 4194304 336 1613 0 0 0 0 15 1 15 0 1 0 306638469 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4288/statm: 1339 239 197 169 0 50 0
[pid=4294] ppid=4288 vsize=496136 CPUtime=1181.65
/proc/4294/stat : 4294 (minisat_static) R 4288 4288 3690 0 -1 4194304 123714 0 0 0 118019 146 0 0 25 0 1 0 306638487 508043264 123700 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/4294/statm: 124034 123700 77 171 0 123861 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 501492
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4294
/proc/meminfo: memFree=1369824/2055920 swapFree=4180388/4192956
[pid=4288] ppid=4286 vsize=5356 CPUtime=0.16
/proc/4288/stat : 4288 (SatELiteGTI) S 4286 4288 3690 0 -1 4194304 336 1613 0 0 0 0 15 1 15 0 1 0 306638469 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4288/statm: 1339 239 197 169 0 50 0
[pid=4294] ppid=4288 vsize=496136 CPUtime=1199.85
/proc/4294/stat : 4294 (minisat_static) R 4288 4288 3690 0 -1 4194304 123714 0 0 0 119839 146 0 0 25 0 1 0 306638487 508043264 123700 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/4294/statm: 124034 123700 77 171 0 123861 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 501492
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4294
/proc/meminfo: memFree=1369824/2055920 swapFree=4180388/4192956
[pid=4288] ppid=4286 vsize=5356 CPUtime=0.16
/proc/4288/stat : 4288 (SatELiteGTI) S 4286 4288 3690 0 -1 4194304 336 1613 0 0 0 0 15 1 15 0 1 0 306638469 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4288/statm: 1339 239 197 169 0 50 0
[pid=4294] ppid=4288 vsize=496136 CPUtime=1199.85
/proc/4294/stat : 4294 (minisat_static) R 4288 4288 3690 0 -1 4194304 123714 0 0 0 119839 146 0 0 25 0 1 0 306638487 508043264 123700 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/4294/statm: 124034 123700 77 171 0 123861 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 501492
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4288 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=159975
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=20996
# CPU time returned by wait4() is 0.180971
# while last known CPU time is 1200.01
#
# 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.01
CPU user time (s): 1198.54
CPU system time (s): 1.47
CPU usage (%): 99.9582
Max. virtual memory (cumulated for all children) (KiB): 501492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.159975
system time used= 0.020996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1949
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= 13
involuntary context switches= 20
runsolver used 1.42778 second user time and 3.03454 second system time
The end
Begin job on node18 at 2009-05-20 04:20:52
IDJOB=1832665
IDBENCH=70296
IDSOLVER=671
FILE ID=node18/1832665-1242786052
PBS_JOBID= 9322331
Free space on /tmp= 66240 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/10000/unif-k3-r4.2-v10000-c42000-S2108163340-010.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832665-1242786052/watcher-1832665-1242786052 -o /tmp/evaluation-result-1832665-1242786052/solver-1832665-1242786052 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832665-1242786052.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= feffab3a110531eb2fd2a1a79e11bcda
RANDOM SEED=1695556584
node18.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.280
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.280
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: 1869080 kB
Buffers: 26632 kB
Cached: 114108 kB
SwapCached: 6684 kB
Active: 62448 kB
Inactive: 86616 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1869080 kB
SwapTotal: 4192956 kB
SwapFree: 4180388 kB
Dirty: 2328 kB
Writeback: 0 kB
Mapped: 13560 kB
Slab: 23860 kB
Committed_AS: 1075620 kB
PageTables: 1376 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= 66236 MiB
End job on node18 at 2009-05-20 04:40:55