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 | 41741 126738 | -- 0 -- -- | -- | -259/738
0.00/0.14 c ==============================================================================
0.00/0.14 c Result : #vars: 9767 #clauses: 41741 #literals: 126738
0.00/0.14 c CPU time: 0.132979 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.19 c | Number of variables: 9767 |
0.00/0.19 c | Number of clauses: 41741 |
0.18/0.21 c | Parsing time: 0.03 s |
0.18/0.22 c ============================[ Search Statistics ]==============================
0.18/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.18/0.22 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.18/0.22 c ===============================================================================
0.18/0.22 c | 0 | 9767 41741 126738 | 13913 0 nan | 0.000 % |
0.18/0.25 c | 102 | 9767 41741 126738 | 13913 102 129 | 0.000 % |
0.18/0.27 c | 204 | 9767 41741 126738 | 13913 204 134 | 0.000 % |
0.18/0.30 c | 306 | 9767 41741 126738 | 13913 306 136 | 0.000 % |
0.18/0.33 c | 416 | 9767 41741 126738 | 13913 416 137 | 0.000 % |
0.18/0.36 c | 517 | 9767 41741 126738 | 13913 517 141 | 0.000 % |
0.18/0.40 c | 627 | 9767 41741 126738 | 13913 627 154 | 0.000 % |
0.18/0.43 c | 749 | 9767 41741 126738 | 13913 749 160 | 0.000 % |
0.18/0.46 c | 849 | 9767 41741 126738 | 13913 849 157 | 0.000 % |
0.18/0.49 c | 959 | 9767 41741 126738 | 13913 959 157 | 0.000 % |
0.18/0.53 c | 1080 | 9767 41741 126738 | 13913 1080 153 | 0.000 % |
0.18/0.57 c | 1213 | 9767 41741 126738 | 13913 1213 153 | 0.000 % |
0.18/0.60 c | 1314 | 9767 41741 126738 | 13913 1314 151 | 0.000 % |
0.18/0.63 c | 1424 | 9767 41741 126738 | 13913 1424 152 | 0.000 % |
0.18/0.67 c | 1545 | 9767 41741 126738 | 13913 1545 150 | 0.000 % |
0.18/0.72 c | 1679 | 9767 41741 126738 | 13913 1679 151 | 0.000 % |
0.18/0.76 c | 1825 | 9767 41741 126738 | 13913 1825 150 | 0.000 % |
0.18/0.79 c | 1925 | 9767 41741 126738 | 13913 1925 149 | 0.000 % |
0.18/0.82 c | 2036 | 9767 41741 126738 | 13913 2036 148 | 0.000 % |
0.18/0.86 c | 2157 | 9767 41741 126738 | 13913 2157 152 | 0.000 % |
0.18/0.91 c | 2290 | 9767 41741 126738 | 13913 2290 153 | 0.000 % |
0.18/0.95 c | 2436 | 9767 41741 126738 | 13913 2436 150 | 0.000 % |
0.18/0.99 c | 2596 | 9767 41741 126738 | 13913 2596 150 | 0.000 % |
0.98/1.03 c | 2697 | 9767 41741 126738 | 13913 2697 149 | 0.000 % |
0.98/1.07 c | 2807 | 9767 41741 126738 | 13913 2807 151 | 0.000 % |
1.08/1.11 c | 2928 | 9767 41741 126738 | 13913 2928 150 | 0.000 % |
1.08/1.15 c | 3063 | 9767 41741 126738 | 13913 3063 148 | 0.000 % |
1.17/1.20 c | 3210 | 9767 41741 126738 | 13913 3210 148 | 0.000 % |
1.17/1.25 c | 3370 | 9767 41741 126738 | 13913 3370 148 | 0.000 % |
1.27/1.31 c | 3546 | 9767 41741 126738 | 13913 3546 150 | 0.000 % |
1.27/1.34 c | 3646 | 9767 41741 126738 | 13913 3646 149 | 0.000 % |
1.27/1.38 c | 3756 | 9767 41741 126738 | 13913 3756 147 | 0.000 % |
1.37/1.42 c | 3877 | 9767 41741 126738 | 13913 3877 147 | 0.000 % |
1.37/1.46 c | 4010 | 9767 41741 126738 | 13913 4010 147 | 0.000 % |
1.47/1.51 c | 4158 | 9767 41741 126738 | 13913 4158 147 | 0.000 % |
1.47/1.56 c | 4320 | 9767 41741 126738 | 13913 4320 147 | 0.000 % |
1.57/1.62 c | 4497 | 9767 41741 126738 | 13913 4497 148 | 0.000 % |
1.57/1.68 c | 4694 | 9767 41741 126738 | 13913 4694 150 | 0.000 % |
1.67/1.71 c | 4794 | 9767 41741 126738 | 13913 4794 150 | 0.000 % |
1.67/1.75 c | 4906 | 9767 41741 126738 | 13913 4906 150 | 0.000 % |
1.67/1.79 c | 5029 | 9767 41741 126738 | 13913 5029 151 | 0.000 % |
1.77/1.84 c | 5162 | 9767 41741 126738 | 13913 5162 150 | 0.000 % |
1.77/1.90 c | 5310 | 9767 41741 126738 | 13913 5310 152 | 0.000 % |
1.87/1.96 c | 5471 | 9767 41741 126738 | 13913 5471 153 | 0.000 % |
1.98/2.02 c | 5647 | 9767 41741 126738 | 13913 5647 154 | 0.000 % |
1.98/2.09 c | 5840 | 9767 41741 126738 | 13913 5840 155 | 0.000 % |
2.09/2.16 c | 6052 | 9767 41741 126738 | 13913 6052 155 | 0.000 % |
2.09/2.19 c | 6152 | 9767 41741 126738 | 13913 6152 155 | 0.000 % |
2.19/2.23 c | 6264 | 9767 41741 126738 | 13913 6264 155 | 0.000 % |
2.19/2.28 c | 6386 | 9767 41741 126738 | 13913 6386 154 | 0.000 % |
2.28/2.32 c | 6520 | 9767 41741 126738 | 13913 6520 154 | 0.000 % |
2.28/2.37 c | 6666 | 9767 41741 126738 | 13913 6666 153 | 0.000 % |
2.38/2.43 c | 6826 | 9767 41741 126738 | 13913 6826 153 | 0.000 % |
2.38/2.49 c | 7002 | 9767 41741 126738 | 13913 7002 153 | 0.000 % |
2.48/2.57 c | 7195 | 9767 41741 126738 | 13913 7195 153 | 0.000 % |
2.58/2.64 c | 7407 | 9767 41741 126738 | 13913 7407 153 | 0.000 % |
2.68/2.72 c | 7640 | 9767 41741 126738 | 13913 7640 153 | 0.000 % |
2.68/2.76 c | 7742 | 9767 41741 126738 | 13913 7742 153 | 0.000 % |
2.78/2.80 c | 7852 | 9767 41741 126738 | 13913 7852 153 | 0.000 % |
2.78/2.85 c | 7973 | 9767 41741 126738 | 13913 7973 152 | 0.000 % |
2.78/2.89 c | 8107 | 9767 41741 126738 | 13913 8107 152 | 0.000 % |
2.88/2.94 c | 8253 | 9767 41741 126738 | 13913 8253 153 | 0.000 % |
2.98/3.00 c | 8413 | 9767 41741 126738 | 13913 8413 153 | 0.000 % |
2.98/3.08 c | 8592 | 9767 41741 126738 | 13913 8592 154 | 0.000 % |
3.08/3.15 c | 8786 | 9767 41741 126738 | 13913 8786 153 | 0.000 % |
3.18/3.23 c | 8999 | 9767 41741 126738 | 13913 8999 153 | 0.000 % |
3.28/3.31 c | 9232 | 9767 41741 126738 | 13913 9232 153 | 0.000 % |
3.38/3.41 c | 9490 | 9767 41741 126738 | 13913 9490 154 | 0.000 % |
3.38/3.45 c | 9591 | 9767 41741 126738 | 13913 9591 154 | 0.000 % |
3.38/3.49 c | 9701 | 9767 41741 126738 | 13913 9701 154 | 0.000 % |
3.48/3.54 c | 9823 | 9767 41741 126738 | 13913 9823 154 | 0.000 % |
3.48/3.59 c | 9957 | 9767 41741 126738 | 13913 9957 153 | 0.000 % |
3.58/3.64 c | 10103 | 9767 41741 126738 | 2147483647 10103 153 | 0.000 % |
3.68/3.70 c | 10264 | 9767 41741 126738 | 2147483647 10264 153 | 0.000 % |
3.68/3.78 c | 10442 | 9767 41741 126738 | 2147483647 10442 154 | 0.000 % |
3.78/3.85 c | 10636 | 9767 41741 126738 | 2147483647 10636 154 | 0.000 % |
3.88/3.93 c | 10848 | 9767 41741 126738 | 2147483647 10848 155 | 0.000 % |
3.97/4.02 c | 11083 | 9767 41741 126738 | 2147483647 11083 154 | 0.000 % |
4.07/4.11 c | 11341 | 9767 41741 126738 | 2147483647 11341 155 | 0.000 % |
4.17/4.22 c | 11623 | 9767 41741 126738 | 2147483647 11623 155 | 0.000 % |
4.17/4.26 c | 11723 | 9767 41741 126738 | 2147483647 11723 155 | 0.000 % |
4.28/4.30 c | 11833 | 9767 41741 126738 | 2147483647 11833 155 | 0.000 % |
4.28/4.35 c | 11958 | 9767 41741 126738 | 2147483647 11958 155 | 0.000 % |
4.38/4.40 c | 12092 | 9767 41741 126738 | 2147483647 12092 154 | 0.000 % |
4.38/4.46 c | 12239 | 9767 41741 126738 | 2147483647 12239 154 | 0.000 % |
4.47/4.53 c | 12400 | 9767 41741 126738 | 2147483647 12400 154 | 0.000 % |
4.57/4.60 c | 12576 | 9767 41741 126738 | 2147483647 12576 155 | 0.000 % |
4.57/4.68 c | 12770 | 9767 41741 126738 | 2147483647 12770 155 | 0.000 % |
4.68/4.77 c | 12982 | 9767 41741 126738 | 2147483647 12982 156 | 0.000 % |
4.78/4.86 c | 13216 | 9767 41741 126738 | 2147483647 13216 156 | 0.000 % |
4.88/4.96 c | 13472 | 9767 41741 126738 | 2147483647 13472 156 | 0.000 % |
4.98/5.07 c | 13755 | 9767 41741 126738 | 2147483647 13755 156 | 0.000 % |
5.18/5.20 c | 14064 | 9767 41741 126738 | 2147483647 14064 157 | 0.000 % |
5.18/5.25 c | 14164 | 9767 41741 126738 | 2147483647 14164 157 | 0.000 % |
5.18/5.29 c | 14276 | 9767 41741 126738 | 2147483647 14276 157 | 0.000 % |
5.28/5.34 c | 14397 | 9767 41741 126738 | 2147483647 14397 157 | 0.000 % |
5.28/5.40 c | 14531 | 9767 41741 126738 | 2147483647 14531 156 | 0.000 % |
5.38/5.46 c | 14677 | 9767 41741 126738 | 2147483647 14677 156 | 0.000 % |
5.48/5.53 c | 14837 | 9767 41741 126738 | 2147483647 14837 156 | 0.000 % |
5.48/5.59 c | 15013 | 9767 41741 126738 | 2147483647 15013 157 | 0.000 % |
5.58/5.68 c | 15208 | 9767 41741 126738 | 2147483647 15208 156 | 0.000 % |
5.68/5.77 c | 15423 | 9767 41741 126738 | 2147483647 15423 156 | 0.000 % |
5.78/5.86 c | 15656 | 9767 41741 126738 | 2147483647 15656 156 | 0.000 % |
5.88/5.96 c | 15915 | 9767 41741 126738 | 2147483647 15915 156 | 0.000 % |
5.98/6.08 c | 16196 | 9767 41741 126738 | 2147483647 16196 157 | 0.000 % |
6.18/6.22 c | 16509 | 9767 41741 126738 | 2147483647 16509 157 | 0.000 % |
6.28/6.36 c | 16848 | 9767 41741 126738 | 2147483647 16848 157 | 0.000 % |
6.37/6.41 c | 16948 | 9767 41741 126738 | 2147483647 16948 157 | 0.000 % |
6.37/6.46 c | 17059 | 9767 41741 126738 | 2147483647 17059 157 | 0.000 % |
6.48/6.52 c | 17180 | 9767 41741 126738 | 2147483647 17180 157 | 0.000 % |
6.48/6.58 c | 17315 | 9767 41741 126738 | 2147483647 17315 157 | 0.000 % |
6.58/6.64 c | 17461 | 9767 41741 126738 | 2147483647 17461 157 | 0.000 % |
6.67/6.71 c | 17622 | 9767 41741 126738 | 2147483647 17622 157 | 0.000 % |
6.67/6.79 c | 17798 | 9767 41741 126738 | 2147483647 17798 157 | 0.000 % |
6.77/6.88 c | 17991 | 9767 41741 126738 | 2147483647 17991 157 | 0.000 % |
6.87/6.97 c | 18203 | 9767 41741 126738 | 2147483647 18203 157 | 0.000 % |
6.97/7.07 c | 18439 | 9767 41741 126738 | 2147483647 18439 157 | 0.000 % |
7.07/7.18 c | 18696 | 9767 41741 126738 | 2147483647 18696 157 | 0.000 % |
7.27/7.30 c | 18977 | 9767 41741 126738 | 2147483647 18977 157 | 0.000 % |
7.37/7.45 c | 19287 | 9767 41741 126738 | 2147483647 19287 157 | 0.000 % |
7.57/7.61 c | 19626 | 9767 41741 126738 | 2147483647 19626 157 | 0.000 % |
7.67/7.77 c | 19998 | 9767 41741 126738 | 2147483647 19998 157 | 0.000 % |
7.77/7.81 c | 20099 | 9767 41741 126738 | 2147483647 20099 157 | 0.000 % |
7.77/7.87 c | 20209 | 9767 41741 126738 | 2147483647 20209 157 | 0.000 % |
7.87/7.93 c | 20331 | 9767 41741 126738 | 2147483647 20331 157 | 0.000 % |
7.87/7.99 c | 20465 | 9767 41741 126738 | 2147483647 20465 157 | 0.000 % |
7.97/8.07 c | 20614 | 9767 41741 126738 | 2147483647 20614 156 | 0.000 % |
8.08/8.14 c | 20774 | 9767 41741 126738 | 2147483647 20774 156 | 0.000 % |
8.18/8.22 c | 20951 | 9767 41741 126738 | 2147483647 20951 156 | 0.000 % |
8.28/8.31 c | 21144 | 9767 41741 126738 | 2147483647 21144 156 | 0.000 % |
8.38/8.41 c | 21357 | 9767 41741 126738 | 2147483647 21357 156 | 0.000 % |
8.48/8.51 c | 21590 | 9767 41741 126738 | 2147483647 21590 156 | 0.000 % |
8.58/8.64 c | 21846 | 9767 41741 126738 | 2147483647 21846 156 | 0.000 % |
8.68/8.78 c | 22129 | 9767 41741 126738 | 2147483647 22129 157 | 0.000 % |
8.88/8.91 c | 22440 | 9767 41741 126738 | 2147483647 22440 157 | 0.000 % |
8.98/9.05 c | 22779 | 9767 41741 126738 | 2147483647 22779 156 | 0.000 % |
9.18/9.23 c | 23151 | 9767 41741 126738 | 2147483647 23151 157 | 0.000 % |
9.37/9.41 c | 23561 | 9767 41741 126738 | 2147483647 23561 158 | 0.000 % |
9.37/9.46 c | 23662 | 9767 41741 126738 | 2147483647 23662 158 | 0.000 % |
9.47/9.52 c | 23772 | 9767 41741 126738 | 2147483647 23772 158 | 0.000 % |
9.47/9.59 c | 23895 | 9767 41741 126738 | 2147483647 23895 158 | 0.000 % |
9.57/9.66 c | 24031 | 9767 41741 126738 | 2147483647 24031 158 | 0.000 % |
9.67/9.73 c | 24179 | 9767 41741 126738 | 2147483647 24179 158 | 0.000 % |
9.78/9.81 c | 24339 | 9767 41741 126738 | 2147483647 24339 158 | 0.000 % |
9.78/9.90 c | 24515 | 9767 41741 126738 | 2147483647 24515 157 | 0.000 % |
9.88/9.99 c | 24708 | 9767 41741 126738 | 2147483647 24708 158 | 0.000 % |
9.97/10.09 c | 24920 | 9767 41741 126738 | 2147483647 24920 158 | 0.000 % |
10.17/10.20 c | 25153 | 9767 41741 126738 | 2147483647 25153 158 | 0.000 % |
10.27/10.33 c | 25410 | 9767 41741 126738 | 2147483647 25410 158 | 0.000 % |
10.37/10.48 c | 25691 | 9767 41741 126738 | 2147483647 25691 158 | 0.000 % |
10.57/10.63 c | 26001 | 9767 41741 126738 | 2147483647 26001 158 | 0.000 % |
10.77/10.80 c | 26340 | 9767 41741 126738 | 2147483647 26340 158 | 0.000 % |
10.87/11.00 c | 26713 | 9767 41741 126738 | 2147483647 26713 159 | 0.000 % |
11.07/11.20 c | 27122 | 9767 41741 126738 | 2147483647 27122 159 | 0.000 % |
11.37/11.42 c | 27572 | 9767 41741 126738 | 2147483647 27572 159 | 0.000 % |
11.37/11.47 c | 27672 | 9767 41741 126738 | 2147483647 27672 159 | 0.000 % |
11.47/11.53 c | 27783 | 9767 41741 126738 | 2147483647 27783 159 | 0.000 % |
11.57/11.61 c | 27906 | 9767 41741 126738 | 2147483647 27906 159 | 0.000 % |
11.57/11.67 c | 28039 | 9767 41741 126738 | 2147483647 28039 159 | 0.000 % |
11.67/11.75 c | 28186 | 9767 41741 126738 | 2147483647 28186 159 | 0.000 % |
11.78/11.82 c | 28347 | 9767 41741 126738 | 2147483647 28347 159 | 0.000 % |
11.88/11.91 c | 28524 | 9767 41741 126738 | 2147483647 28524 159 | 0.000 % |
11.98/12.02 c | 28718 | 9767 41741 126738 | 2147483647 28718 159 | 0.000 % |
12.08/12.12 c | 28930 | 9767 41741 126738 | 2147483647 28930 159 | 0.000 % |
12.18/12.23 c | 29163 | 9767 41741 126738 | 2147483647 29163 159 | 0.000 % |
12.27/12.35 c | 29419 | 9767 41741 126738 | 2147483647 29419 159 | 0.000 % |
12.37/12.49 c | 29700 | 9767 41741 126738 | 2147483647 29700 159 | 0.000 % |
12.57/12.64 c | 30009 | 9767 41741 126738 | 2147483647 30009 160 | 0.000 % |
12.77/12.82 c | 30348 | 9767 41741 126738 | 2147483647 30348 160 | 0.000 % |
12.97/13.01 c | 30721 | 9767 41741 126738 | 2147483647 30721 159 | 0.000 % |
13.17/13.23 c | 31131 | 9767 41741 126738 | 2147483647 31131 160 | 0.000 % |
13.37/13.48 c | 31581 | 9767 41741 126738 | 2147483647 31581 160 | 0.000 % |
13.67/13.73 c | 32074 | 9767 41741 126738 | 2147483647 32074 160 | 0.000 % |
13.77/13.80 c | 32174 | 9767 41741 126738 | 2147483647 32174 160 | 0.000 % |
13.77/13.86 c | 32285 | 9767 41741 126738 | 2147483647 32285 160 | 0.000 % |
13.86/13.92 c | 32406 | 9767 41741 126738 | 2147483647 32406 160 | 0.000 % |
13.96/14.01 c | 32539 | 9767 41741 126738 | 2147483647 32539 160 | 0.000 % |
13.96/14.09 c | 32685 | 9767 41741 126738 | 2147483647 32685 160 | 0.000 % |
14.07/14.18 c | 32846 | 9767 41741 126738 | 2147483647 32846 160 | 0.000 % |
14.17/14.28 c | 33022 | 9767 41741 126738 | 2147483647 33022 160 | 0.000 % |
14.27/14.39 c | 33217 | 9767 41741 126738 | 2147483647 33217 160 | 0.000 % |
14.47/14.50 c | 33430 | 9767 41741 126738 | 2147483647 33430 160 | 0.000 % |
14.57/14.63 c | 33664 | 9767 41741 126738 | 2147483647 33664 160 | 0.000 % |
14.67/14.78 c | 33920 | 9767 41741 126738 | 2147483647 33920 160 | 0.000 % |
14.87/14.94 c | 34203 | 9767 41741 126738 | 2147483647 34203 160 | 0.000 % |
15.07/15.13 c | 34512 | 9767 41741 126738 | 2147483647 34512 160 | 0.000 % |
15.27/15.31 c | 34851 | 9767 41741 126738 | 2147483647 34851 160 | 0.000 % |
15.47/15.51 c | 35228 | 9767 41741 126738 | 2147483647 35228 161 | 0.000 % |
15.67/15.74 c | 35637 | 9767 41741 126738 | 2147483647 35637 161 | 0.000 % |
15.87/15.98 c | 36086 | 9767 41741 126738 | 2147483647 36086 161 | 0.000 % |
16.16/16.25 c | 36579 | 9767 41741 126738 | 2147483647 36579 161 | 0.000 % |
16.47/16.55 c | 37122 | 9767 41741 126738 | 2147483647 37122 162 | 0.000 % |
16.56/16.61 c | 37223 | 9767 41741 126738 | 2147483647 37223 162 | 0.000 % |
16.56/16.68 c | 37333 | 9767 41741 126738 | 2147483647 37333 162 | 0.000 % |
16.66/16.75 c | 37454 | 9767 41741 126738 | 2147483647 37454 162 | 0.000 % |
16.77/16.83 c | 37587 | 9767 41741 126738 | 2147483647 37587 161 | 0.000 % |
16.87/16.91 c | 37734 | 9767 41741 126738 | 2147483647 37734 162 | 0.000 % |
16.97/17.01 c | 37894 | 9767 41741 126738 | 2147483647 37894 162 | 0.000 % |
17.07/17.11 c | 38070 | 9767 41741 126738 | 2147483647 38070 162 | 0.000 % |
17.17/17.22 c | 38263 | 9767 41741 126738 | 2147483647 38263 162 | 0.000 % |
17.27/17.34 c | 38475 | 9767 41741 126738 | 2147483647 38475 162 | 0.000 % |
17.37/17.48 c | 38713 | 9767 41741 126738 | 2147483647 38713 162 | 0.000 % |
17.57/17.62 c | 38970 | 9767 41741 126738 | 2147483647 38970 162 | 0.000 % |
17.67/17.79 c | 39252 | 9767 41741 126738 | 2147483647 39252 162 | 0.000 % |
17.87/17.98 c | 39562 | 9767 41741 126738 | 2147483647 39562 162 | 0.000 % |
18.07/18.17 c | 39902 | 9767 41741 126738 | 2147483647 39902 163 | 0.000 % |
18.26/18.38 c | 40275 | 9767 41741 126738 | 2147483647 40275 163 | 0.000 % |
18.57/18.60 c | 40684 | 9767 41741 126738 | 2147483647 40684 163 | 0.000 % |
18.76/18.84 c | 41133 | 9767 41741 126738 | 2147483647 41133 163 | 0.000 % |
19.06/19.15 c | 41626 | 9767 41741 126738 | 2147483647 41626 164 | 0.000 % |
19.37/19.46 c | 42168 | 9767 41741 126738 | 2147483647 42168 164 | 0.000 % |
19.77/19.81 c | 42766 | 9767 41741 126738 | 2147483647 42766 165 | 0.000 % |
19.77/19.88 c | 42866 | 9767 41741 126738 | 2147483647 42866 165 | 0.000 % |
19.87/19.95 c | 42978 | 9767 41741 126738 | 2147483647 42978 165 | 0.000 % |
19.97/20.03 c | 43099 | 9767 41741 126738 | 2147483647 43099 165 | 0.000 % |
20.07/20.13 c | 43234 | 9767 41741 126738 | 2147483647 43234 165 | 0.000 % |
20.16/20.22 c | 43380 | 9767 41741 126738 | 2147483647 43380 165 | 0.000 % |
20.26/20.33 c | 43540 | 9767 41741 126738 | 2147483647 43540 165 | 0.000 % |
20.36/20.45 c | 43716 | 9767 41741 126738 | 2147483647 43716 165 | 0.000 % |
20.46/20.57 c | 43910 | 9767 41741 126738 | 2147483647 43910 165 | 0.000 % |
20.66/20.71 c | 44122 | 9767 41741 126738 | 2147483647 44122 165 | 0.000 % |
20.77/20.85 c | 44358 | 9767 41741 126738 | 2147483647 44358 165 | 0.000 % |
20.96/21.00 c | 44615 | 9767 41741 126738 | 2147483647 44615 165 | 0.000 % |
21.06/21.17 c | 44897 | 9767 41741 126738 | 2147483647 44897 165 | 0.000 % |
21.26/21.35 c | 45207 | 9767 41741 126738 | 2147483647 45207 165 | 0.000 % |
21.47/21.55 c | 45548 | 9767 41741 126738 | 2147483647 45548 165 | 0.000 % |
21.67/21.79 c | 45920 | 9767 41741 126738 | 2147483647 45920 165 | 0.000 % |
21.97/22.02 c | 46329 | 9767 41741 126738 | 2147483647 46329 165 | 0.000 % |
22.26/22.31 c | 46778 | 9767 41741 126738 | 2147483647 46778 166 | 0.000 % |
22.56/22.60 c | 47273 | 9767 41741 126738 | 2147483647 47273 166 | 0.000 % |
22.86/22.93 c | 47816 | 9767 41741 126738 | 2147483647 47816 166 | 0.000 % |
23.16/23.29 c | 48414 | 9767 41741 126738 | 2147483647 48414 167 | 0.000 % |
23.66/23.70 c | 49069 | 9767 41741 126738 | 2147483647 49069 167 | 0.000 % |
23.66/23.77 c | 49171 | 9767 41741 126738 | 2147483647 49171 167 | 0.000 % |
23.76/23.84 c | 49282 | 9767 41741 126738 | 2147483647 49282 167 | 0.000 % |
23.86/23.92 c | 49403 | 9767 41741 126738 | 2147483647 49403 166 | 0.000 % |
23.96/24.02 c | 49537 | 9767 41741 126738 | 2147483647 49537 166 | 0.000 % |
24.06/24.13 c | 49683 | 9767 41741 126738 | 2147483647 49683 166 | 0.000 % |
24.16/24.23 c | 49843 | 9767 41741 126738 | 2147483647 49843 166 | 0.000 % |
24.26/24.34 c | 50019 | 9767 41741 126738 | 2147483647 50019 166 | 0.000 % |
24.36/24.48 c | 50212 | 9767 41741 126738 | 2147483647 50212 166 | 0.000 % |
24.57/24.61 c | 50424 | 9767 41741 126738 | 2147483647 50424 166 | 0.000 % |
24.67/24.75 c | 50659 | 9767 41741 126738 | 2147483647 50659 166 | 0.000 % |
24.86/24.92 c | 50916 | 9767 41741 126738 | 2147483647 50916 166 | 0.000 % |
24.96/25.10 c | 51197 | 9767 41741 126738 | 2147483647 51197 166 | 0.000 % |
25.16/25.29 c | 51506 | 9767 41741 126738 | 2147483647 51506 166 | 0.000 % |
25.46/25.51 c | 51847 | 9767 41741 126738 | 2147483647 51847 166 | 0.000 % |
25.66/25.73 c | 52219 | 9767 41741 126738 | 2147483647 52219 166 | 0.000 % |
25.86/25.99 c | 52629 | 9767 41741 126738 | 2147483647 52629 166 | 0.000 % |
26.16/26.30 c | 53079 | 9767 41741 126738 | 2147483647 53079 167 | 0.000 % |
26.56/26.63 c | 53572 | 9767 41741 126738 | 2147483647 53572 167 | 0.000 % |
26.86/26.93 c | 54114 | 9767 41741 126738 | 2147483647 54114 167 | 0.000 % |
27.26/27.30 c | 54711 | 9767 41741 126738 | 2147483647 54711 168 | 0.000 % |
27.56/27.70 c | 55366 | 9767 41741 126738 | 2147483647 55366 168 | 0.000 % |
28.06/28.17 c | 56086 | 9767 41741 126738 | 2147483647 56086 168 | 0.000 % |
28.16/28.26 c | 56186 | 9767 41741 126738 | 2147483647 56186 168 | 0.000 % |
28.26/28.34 c | 56298 | 9767 41741 126738 | 2147483647 56298 168 | 0.000 % |
28.36/28.43 c | 56423 | 9767 41741 126738 | 2147483647 56423 168 | 0.000 % |
28.46/28.52 c | 56556 | 9767 41741 126738 | 2147483647 56556 168 | 0.000 % |
28.56/28.63 c | 56703 | 9767 41741 126738 | 2147483647 56703 168 | 0.000 % |
28.66/28.74 c | 56864 | 9767 41741 126738 | 2147483647 56864 168 | 0.000 % |
28.76/28.88 c | 57040 | 9767 41741 126738 | 2147483647 57040 168 | 0.000 % |
28.96/29.02 c | 57234 | 9767 41741 126738 | 2147483647 57234 168 | 0.000 % |
29.05/29.15 c | 57446 | 9767 41741 126738 | 2147483647 57446 168 | 0.000 % |
29.25/29.30 c | 57679 | 9767 41741 126738 | 2147483647 57679 168 | 0.000 % |
29.36/29.48 c | 57935 | 9767 41741 126738 | 2147483647 57935 168 | 0.000 % |
29.57/29.67 c | 58217 | 9767 41741 126738 | 2147483647 58217 168 | 0.000 % |
29.76/29.87 c | 58526 | 9767 41741 126738 | 2147483647 58526 168 | 0.000 % |
30.06/30.10 c | 58865 | 9767 41741 126738 | 2147483647 58865 168 | 0.000 % |
30.26/30.36 c | 59238 | 9767 41741 126738 | 2147483647 59238 168 | 0.000 % |
30.56/30.65 c | 59650 | 9767 41741 126738 | 2147483647 59650 168 | 0.000 % |
30.86/30.96 c | 60099 | 9767 41741 126738 | 2147483647 60099 168 | 0.000 % |
31.26/31.31 c | 60593 | 9767 41741 126738 | 2147483647 60593 168 | 0.000 % |
31.56/31.67 c | 61137 | 9767 41741 126738 | 2147483647 61137 168 | 0.000 % |
31.96/32.07 c | 61734 | 9767 41741 126738 | 2147483647 61734 168 | 0.000 % |
32.46/32.54 c | 62391 | 9767 41741 126738 | 2147483647 62391 169 | 0.000 % |
32.96/33.07 c | 63111 | 9767 41741 126738 | 2147483647 63111 169 | 0.000 % |
33.56/33.61 c | 63905 | 9767 41741 126738 | 2147483647 63905 169 | 0.000 % |
33.56/33.68 c | 64005 | 9767 41741 126738 | 2147483647 64005 169 | 0.000 % |
33.66/33.78 c | 64116 | 9767 41741 126738 | 2147483647 64116 169 | 0.000 % |
33.75/33.88 c | 64237 | 9767 41741 126738 | 2147483647 64237 169 | 0.000 % |
33.85/33.98 c | 64371 | 9767 41741 126738 | 2147483647 64371 169 | 0.000 % |
33.96/34.09 c | 64518 | 9767 41741 126738 | 2147483647 64518 169 | 0.000 % |
34.16/34.24 c | 64678 | 9767 41741 126738 | 2147483647 64678 169 | 0.000 % |
34.26/34.38 c | 64855 | 9767 41741 126738 | 2147483647 64855 169 | 0.000 % |
34.46/34.52 c | 65048 | 9767 41741 126738 | 2147483647 65048 169 | 0.000 % |
34.55/34.70 c | 65261 | 9767 41741 126738 | 2147483647 65261 169 | 0.000 % |
34.75/34.87 c | 65494 | 9767 41741 126738 | 2147483647 65494 169 | 0.000 % |
34.95/35.05 c | 65750 | 9767 41741 126738 | 2147483647 65750 169 | 0.000 % |
35.16/35.26 c | 66031 | 9767 41741 126738 | 2147483647 66031 169 | 0.000 % |
35.45/35.51 c | 66341 | 9767 41741 126738 | 2147483647 66341 169 | 0.000 % |
35.65/35.77 c | 66681 | 9767 41741 126738 | 2147483647 66681 169 | 0.000 % |
35.95/36.04 c | 67054 | 9767 41741 126738 | 2147483647 67054 169 | 0.000 % |
36.26/36.36 c | 67463 | 9767 41741 126738 | 2147483647 67463 169 | 0.000 % |
36.55/36.70 c | 67912 | 9767 41741 126738 | 2147483647 67912 169 | 0.000 % |
36.95/37.07 c | 68407 | 9767 41741 126738 | 2147483647 68407 170 | 0.000 % |
37.35/37.45 c | 68949 | 9767 41741 126738 | 2147483647 68949 170 | 0.000 % |
37.75/37.87 c | 69545 | 9767 41741 126738 | 2147483647 69545 170 | 0.000 % |
38.25/38.37 c | 70201 | 9767 41741 126738 | 2147483647 70201 170 | 0.000 % |
38.85/38.92 c | 70922 | 9767 41741 126738 | 2147483647 70922 170 | 0.000 % |
39.45/39.57 c | 71716 | 9767 41741 126738 | 2147483647 71716 170 | 0.000 % |
40.05/40.17 c | 72587 | 9767 41741 126738 | 2147483647 72587 170 | 0.000 % |
40.15/40.27 c | 72687 | 9767 41741 126738 | 2147483647 72687 170 | 0.000 % |
40.25/40.36 c | 72798 | 9767 41741 126738 | 2147483647 72798 170 | 0.000 % |
40.35/40.46 c | 72919 | 9767 41741 126738 | 2147483647 72919 170 | 0.000 % |
40.45/40.57 c | 73054 | 9767 41741 126738 | 2147483647 73054 170 | 0.000 % |
40.56/40.69 c | 73200 | 9767 41741 126738 | 2147483647 73200 170 | 0.000 % |
40.75/40.82 c | 73360 | 9767 41741 126738 | 2147483647 73360 170 | 0.000 % |
40.85/40.97 c | 73537 | 9767 41741 126738 | 2147483647 73537 170 | 0.000 % |
41.05/41.12 c | 73730 | 9767 41741 126738 | 2147483647 73730 170 | 0.000 % |
41.25/41.30 c | 73942 | 9767 41741 126738 | 2147483647 73942 170 | 0.000 % |
41.35/41.49 c | 74179 | 9767 41741 126738 | 2147483647 74179 170 | 0.000 % |
41.65/41.71 c | 74437 | 9767 41741 126738 | 2147483647 74437 170 | 0.000 % |
41.85/41.92 c | 74719 | 9767 41741 126738 | 2147483647 74719 170 | 0.000 % |
42.05/42.19 c | 75029 | 9767 41741 126738 | 2147483647 75029 170 | 0.000 % |
42.35/42.47 c | 75368 | 9767 41741 126738 | 2147483647 75368 170 | 0.000 % |
42.65/42.74 c | 75741 | 9767 41741 126738 | 2147483647 75741 170 | 0.000 % |
42.95/43.07 c | 76150 | 9767 41741 126738 | 2147483647 76150 170 | 0.000 % |
43.35/43.43 c | 76599 | 9767 41741 126738 | 2147483647 76599 170 | 0.000 % |
43.74/43.81 c | 77092 | 9767 41741 126738 | 2147483647 77092 170 | 0.000 % |
44.14/44.23 c | 77636 | 9767 41741 126738 | 2147483647 77636 170 | 0.000 % |
44.54/44.69 c | 78232 | 9767 41741 126738 | 2147483647 78232 171 | 0.000 % |
45.15/45.22 c | 78887 | 9767 41741 126738 | 2147483647 78887 171 | 0.000 % |
45.65/45.76 c | 79608 | 9767 41741 126738 | 2147483647 79608 171 | 0.000 % |
46.25/46.36 c | 80400 | 9767 41741 126738 | 2147483647 80400 171 | 0.000 % |
46.95/47.07 c | 81272 | 9767 41741 126738 | 2147483647 81272 172 | 0.000 % |
47.75/47.82 c | 82230 | 9767 41741 126738 | 2147483647 82230 172 | 0.000 % |
47.85/47.90 c | 82330 | 9767 41741 126738 | 2147483647 82330 172 | 0.000 % |
47.95/48.00 c | 82441 | 9767 41741 126738 | 2147483647 82441 172 | 0.000 % |
48.05/48.12 c | 82563 | 9767 41741 126738 | 2147483647 82563 172 | 0.000 % |
48.15/48.27 c | 82697 | 9767 41741 126738 | 2147483647 82697 172 | 0.000 % |
48.35/48.41 c | 82843 | 9767 41741 126738 | 2147483647 82843 172 | 0.000 % |
48.44/48.55 c | 83004 | 9767 41741 126738 | 2147483647 83004 172 | 0.000 % |
48.64/48.71 c | 83180 | 9767 41741 126738 | 2147483647 83180 172 | 0.000 % |
48.74/48.88 c | 83373 | 9767 41741 126738 | 2147483647 83373 172 | 0.000 % |
48.94/49.05 c | 83586 | 9767 41741 126738 | 2147483647 83586 172 | 0.000 % |
49.14/49.28 c | 83822 | 9767 41741 126738 | 2147483647 83822 172 | 0.000 % |
49.45/49.51 c | 84080 | 9767 41741 126738 | 2147483647 84080 172 | 0.000 % |
49.64/49.78 c | 84361 | 9767 41741 126738 | 2147483647 84361 172 | 0.000 % |
49.94/50.03 c | 84671 | 9767 41741 126738 | 2147483647 84671 172 | 0.000 % |
50.24/50.34 c | 85010 | 9767 41741 126738 | 2147483647 85010 172 | 0.000 % |
50.55/50.67 c | 85382 | 9767 41741 126738 | 2147483647 85382 172 | 0.000 % |
50.95/51.03 c | 85791 | 9767 41741 126738 | 2147483647 85791 172 | 0.000 % |
51.35/51.40 c | 86240 | 9767 41741 126738 | 2147483647 86240 172 | 0.000 % |
51.75/51.84 c | 86733 | 9767 41741 126738 | 2147483647 86733 172 | 0.000 % |
52.25/52.30 c | 87275 | 9767 41741 126738 | 2147483647 87275 172 | 0.000 % |
52.75/52.81 c | 87871 | 9767 41741 126738 | 2147483647 87871 172 | 0.000 % |
53.24/53.36 c | 88526 | 9767 41741 126738 | 2147483647 88526 172 | 0.000 % |
53.84/53.99 c | 89246 | 9767 41741 126738 | 2147483647 89246 172 | 0.000 % |
54.55/54.69 c | 90038 | 9767 41741 126738 | 2147483647 90038 172 | 0.000 % |
55.35/55.43 c | 90909 | 9767 41741 126738 | 2147483647 90909 172 | 0.000 % |
56.14/56.25 c | 91868 | 9767 41741 126738 | 2147483647 91868 172 | 0.000 % |
57.05/57.18 c | 92921 | 9767 41741 126738 | 2147483647 92921 172 | 0.000 % |
57.15/57.28 c | 93021 | 9767 41741 126738 | 2147483647 93021 172 | 0.000 % |
57.34/57.41 c | 93132 | 9767 41741 126738 | 2147483647 93132 172 | 0.000 % |
57.44/57.52 c | 93254 | 9767 41741 126738 | 2147483647 93254 172 | 0.000 % |
57.54/57.64 c | 93387 | 9767 41741 126738 | 2147483647 93387 172 | 0.000 % |
57.74/57.81 c | 93533 | 9767 41741 126738 | 2147483647 93533 172 | 0.000 % |
57.84/57.98 c | 93694 | 9767 41741 126738 | 2147483647 93694 172 | 0.000 % |
58.04/58.15 c | 93870 | 9767 41741 126738 | 2147483647 93870 172 | 0.000 % |
58.25/58.34 c | 94063 | 9767 41741 126738 | 2147483647 94063 172 | 0.000 % |
58.44/58.56 c | 94276 | 9767 41741 126738 | 2147483647 94276 172 | 0.000 % |
58.64/58.79 c | 94509 | 9767 41741 126738 | 2147483647 94509 172 | 0.000 % |
58.94/59.04 c | 94766 | 9767 41741 126738 | 2147483647 94766 172 | 0.000 % |
59.14/59.28 c | 95049 | 9767 41741 126738 | 2147483647 95049 172 | 0.000 % |
59.44/59.58 c | 95359 | 9767 41741 126738 | 2147483647 95359 172 | 0.000 % |
59.75/59.89 c | 95698 | 9767 41741 126738 | 2147483647 95698 172 | 0.000 % |
60.14/60.22 c | 96071 | 9767 41741 126738 | 2147483647 96071 172 | 0.000 % |
60.45/60.59 c | 96481 | 9767 41741 126738 | 2147483647 96481 172 | 0.000 % |
60.84/60.98 c | 96930 | 9767 41741 126738 | 2147483647 96930 172 | 0.000 % |
61.24/61.40 c | 97423 | 9767 41741 126738 | 2147483647 97423 172 | 0.000 % |
61.74/61.87 c | 97965 | 9767 41741 126738 | 2147483647 97965 172 | 0.000 % |
62.34/62.44 c | 98561 | 9767 41741 126738 | 2147483647 98561 173 | 0.000 % |
62.94/63.03 c | 99216 | 9767 41741 126738 | 2147483647 99216 172 | 0.000 % |
63.54/63.68 c | 99938 | 9767 41741 126738 | 2147483647 99938 172 | 0.000 % |
64.24/64.39 c | 100734 | 9767 41741 126738 | 2147483647 100734 173 | 0.000 % |
65.04/65.16 c | 101605 | 9767 41741 126738 | 2147483647 101605 173 | 0.000 % |
65.84/65.98 c | 102564 | 9767 41741 126738 | 2147483647 102564 173 | 0.000 % |
66.94/67.00 c | 103619 | 9767 41741 126738 | 2147483647 103619 174 | 0.000 % |
67.94/68.07 c | 104778 | 9767 41741 126738 | 2147483647 104778 174 | 0.000 % |
68.05/68.18 c | 104879 | 9767 41741 126738 | 2147483647 104879 174 | 0.000 % |
68.15/68.29 c | 104989 | 9767 41741 126738 | 2147483647 104989 174 | 0.000 % |
68.34/68.42 c | 105110 | 9767 41741 126738 | 2147483647 105110 174 | 0.000 % |
68.44/68.57 c | 105245 | 9767 41741 126738 | 2147483647 105245 174 | 0.000 % |
68.64/68.72 c | 105392 | 9767 41741 126738 | 2147483647 105392 174 | 0.000 % |
68.74/68.88 c | 105552 | 9767 41741 126738 | 2147483647 105552 174 | 0.000 % |
68.94/69.08 c | 105728 | 9767 41741 126738 | 2147483647 105728 174 | 0.000 % |
69.14/69.28 c | 105921 | 9767 41741 126738 | 2147483647 105921 174 | 0.000 % |
69.44/69.50 c | 106133 | 9767 41741 126738 | 2147483647 106133 174 | 0.000 % |
69.64/69.74 c | 106367 | 9767 41741 126738 | 2147483647 106367 174 | 0.000 % |
69.94/70.02 c | 106625 | 9767 41741 126738 | 2147483647 106625 174 | 0.000 % |
70.14/70.29 c | 106906 | 9767 41741 126738 | 2147483647 106906 174 | 0.000 % |
70.44/70.58 c | 107215 | 9767 41741 126738 | 2147483647 107215 174 | 0.000 % |
70.84/70.94 c | 107554 | 9767 41741 126738 | 2147483647 107554 174 | 0.000 % |
71.23/71.31 c | 107926 | 9767 41741 126738 | 2147483647 107926 174 | 0.000 % |
71.63/71.71 c | 108337 | 9767 41741 126738 | 2147483647 108337 174 | 0.000 % |
72.03/72.17 c | 108789 | 9767 41741 126738 | 2147483647 108789 174 | 0.000 % |
72.54/72.65 c | 109284 | 9767 41741 126738 | 2147483647 109284 174 | 0.000 % |
73.04/73.16 c | 109826 | 9767 41741 126738 | 2147483647 109826 174 | 0.000 % |
73.64/73.74 c | 110422 | 9767 41741 126738 | 2147483647 110422 174 | 0.000 % |
74.24/74.35 c | 111077 | 9767 41741 126738 | 2147483647 111077 174 | 0.000 % |
74.93/75.06 c | 111798 | 9767 41741 126738 | 2147483647 111798 174 | 0.000 % |
75.74/75.81 c | 112590 | 9767 41741 126738 | 2147483647 112590 174 | 0.000 % |
76.64/76.72 c | 113461 | 9767 41741 126738 | 2147483647 113461 174 | 0.000 % |
77.54/77.68 c | 114419 | 9767 41741 126738 | 2147483647 114419 175 | 0.000 % |
78.53/78.70 c | 115472 | 9767 41741 126738 | 2147483647 115472 175 | 0.000 % |
79.63/79.77 c | 116630 | 9767 41741 126738 | 2147483647 116630 176 | 0.000 % |
80.93/81.04 c | 117903 | 9767 41741 126738 | 2147483647 117903 176 | 0.000 % |
81.03/81.16 c | 118004 | 9767 41741 126738 | 2147483647 118004 176 | 0.000 % |
81.23/81.32 c | 118114 | 9767 41741 126738 | 2147483647 118114 175 | 0.000 % |
81.33/81.47 c | 118235 | 9767 41741 126738 | 2147483647 118235 175 | 0.000 % |
81.53/81.63 c | 118370 | 9767 41741 126738 | 2147483647 118370 175 | 0.000 % |
81.63/81.79 c | 118516 | 9767 41741 126738 | 2147483647 118516 175 | 0.000 % |
81.94/82.01 c | 118678 | 9767 41741 126738 | 2147483647 118678 175 | 0.000 % |
82.14/82.22 c | 118854 | 9767 41741 126738 | 2147483647 118854 175 | 0.000 % |
82.34/82.43 c | 119047 | 9767 41741 126738 | 2147483647 119047 175 | 0.000 % |
82.53/82.68 c | 119260 | 9767 41741 126738 | 2147483647 119260 175 | 0.000 % |
82.83/82.93 c | 119494 | 9767 41741 126738 | 2147483647 119494 175 | 0.000 % |
83.13/83.21 c | 119751 | 9767 41741 126738 | 2147483647 119751 175 | 0.000 % |
83.33/83.49 c | 120032 | 9767 41741 126738 | 2147483647 120032 175 | 0.000 % |
83.73/83.83 c | 120342 | 9767 41741 126738 | 2147483647 120342 175 | 0.000 % |
84.13/84.20 c | 120681 | 9767 41741 126738 | 2147483647 120681 175 | 0.000 % |
84.53/84.61 c | 121053 | 9767 41741 126738 | 2147483647 121053 175 | 0.000 % |
84.93/85.06 c | 121462 | 9767 41741 126738 | 2147483647 121462 175 | 0.000 % |
85.43/85.53 c | 121911 | 9767 41741 126738 | 2147483647 121911 175 | 0.000 % |
85.92/86.02 c | 122407 | 9767 41741 126738 | 2147483647 122407 175 | 0.000 % |
86.42/86.58 c | 122949 | 9767 41741 126738 | 2147483647 122949 175 | 0.000 % |
87.13/87.22 c | 123546 | 9767 41741 126738 | 2147483647 123546 175 | 0.000 % |
87.83/87.95 c | 124201 | 9767 41741 126738 | 2147483647 124201 176 | 0.000 % |
88.63/88.72 c | 124922 | 9767 41741 126738 | 2147483647 124922 176 | 0.000 % |
89.43/89.55 c | 125715 | 9767 41741 126738 | 2147483647 125715 176 | 0.000 % |
90.33/90.47 c | 126589 | 9767 41741 126738 | 2147483647 126589 176 | 0.000 % |
91.43/91.51 c | 127547 | 9767 41741 126738 | 2147483647 127547 176 | 0.000 % |
92.53/92.67 c | 128601 | 9767 41741 126738 | 2147483647 128601 176 | 0.000 % |
93.73/93.83 c | 129759 | 9767 41741 126738 | 2147483647 129759 176 | 0.000 % |
95.03/95.14 c | 131032 | 9767 41741 126738 | 2147483647 131032 177 | 0.000 % |
96.52/96.65 c | 132433 | 9767 41741 126738 | 2147483647 132433 177 | 0.000 % |
96.62/96.77 c | 132534 | 9767 41741 126738 | 2147483647 132534 177 | 0.000 % |
96.82/96.94 c | 132645 | 9767 41741 126738 | 2147483647 132645 177 | 0.000 % |
96.93/97.09 c | 132767 | 9767 41741 126738 | 2147483647 132767 177 | 0.000 % |
97.13/97.25 c | 132902 | 9767 41741 126738 | 2147483647 132902 177 | 0.000 % |
97.33/97.42 c | 133048 | 9767 41741 126738 | 2147483647 133048 177 | 0.000 % |
97.53/97.64 c | 133210 | 9767 41741 126738 | 2147483647 133210 177 | 0.000 % |
97.73/97.89 c | 133386 | 9767 41741 126738 | 2147483647 133386 177 | 0.000 % |
98.03/98.10 c | 133581 | 9767 41741 126738 | 2147483647 133581 177 | 0.000 % |
98.23/98.38 c | 133794 | 9767 41741 126738 | 2147483647 133794 177 | 0.000 % |
98.53/98.65 c | 134028 | 9767 41741 126738 | 2147483647 134028 177 | 0.000 % |
98.83/98.97 c | 134284 | 9767 41741 126738 | 2147483647 134284 177 | 0.000 % |
99.13/99.29 c | 134566 | 9767 41741 126738 | 2147483647 134566 177 | 0.000 % |
99.53/99.68 c | 134875 | 9767 41741 126738 | 2147483647 134875 177 | 0.000 % |
99.93/100.07 c | 135216 | 9767 41741 126738 | 2147483647 135216 177 | 0.000 % |
100.42/100.50 c | 135589 | 9767 41741 126738 | 2147483647 135589 177 | 0.000 % |
100.82/100.98 c | 135998 | 9767 41741 126738 | 2147483647 135998 177 | 0.000 % |
101.42/101.51 c | 136448 | 9767 41741 126738 | 2147483647 136448 177 | 0.000 % |
101.92/102.02 c | 136942 | 9767 41741 126738 | 2147483647 136942 177 | 0.000 % |
102.53/102.64 c | 137486 | 9767 41741 126738 | 2147483647 137486 177 | 0.000 % |
103.23/103.35 c | 138082 | 9767 41741 126738 | 2147483647 138082 177 | 0.000 % |
103.92/104.09 c | 138737 | 9767 41741 126738 | 2147483647 138737 177 | 0.000 % |
104.62/104.79 c | 139457 | 9767 41741 126738 | 2147483647 139457 177 | 0.000 % |
105.62/105.71 c | 140249 | 9767 41741 126738 | 2147483647 140249 177 | 0.000 % |
106.63/106.71 c | 141122 | 9767 41741 126738 | 2147483647 141122 177 | 0.000 % |
107.63/107.77 c | 142080 | 9767 41741 126738 | 2147483647 142080 177 | 0.000 % |
108.92/109.02 c | 143134 | 9767 41741 126738 | 2147483647 143134 177 | 0.000 % |
110.12/110.25 c | 144293 | 9767 41741 126738 | 2147483647 144293 178 | 0.000 % |
111.52/111.67 c | 145567 | 9767 41741 126738 | 2147483647 145567 178 | 0.000 % |
113.22/113.32 c | 146969 | 9767 41741 126738 | 2147483647 146969 178 | 0.000 % |
114.92/115.09 c | 148509 | 9767 41741 126738 | 2147483647 148509 178 | 0.000 % |
115.12/115.26 c | 148609 | 9767 41741 126738 | 2147483647 148609 178 | 0.000 % |
115.22/115.39 c | 148719 | 9767 41741 126738 | 2147483647 148719 178 | 0.000 % |
115.42/115.58 c | 148841 | 9767 41741 126738 | 2147483647 148841 178 | 0.000 % |
115.62/115.76 c | 148974 | 9767 41741 126738 | 2147483647 148974 178 | 0.000 % |
115.82/115.97 c | 149120 | 9767 41741 126738 | 2147483647 149120 178 | 0.000 % |
116.02/116.18 c | 149280 | 9767 41741 126738 | 2147483647 149280 178 | 0.000 % |
116.32/116.43 c | 149457 | 9767 41741 126738 | 2147483647 149457 178 | 0.000 % |
116.52/116.64 c | 149652 | 9767 41741 126738 | 2147483647 149652 178 | 0.000 % |
116.82/116.90 c | 149865 | 9767 41741 126738 | 2147483647 149865 178 | 0.000 % |
117.12/117.22 c | 150100 | 9767 41741 126738 | 2147483647 150100 178 | 0.000 % |
117.42/117.58 c | 150357 | 9767 41741 126738 | 2147483647 150357 178 | 0.000 % |
117.82/117.93 c | 150638 | 9767 41741 126738 | 2147483647 150638 178 | 0.000 % |
118.22/118.32 c | 150948 | 9767 41741 126738 | 2147483647 150948 178 | 0.000 % |
118.52/118.70 c | 151287 | 9767 41741 126738 | 2147483647 151287 178 | 0.000 % |
119.01/119.15 c | 151660 | 9767 41741 126738 | 2147483647 151660 178 | 0.000 % |
119.51/119.65 c | 152071 | 9767 41741 126738 | 2147483647 152071 178 | 0.000 % |
120.11/120.25 c | 152520 | 9767 41741 126738 | 2147483647 152520 178 | 0.000 % |
120.72/120.84 c | 153014 | 9767 41741 126738 | 2147483647 153014 178 | 0.000 % |
121.42/121.53 c | 153556 | 9767 41741 126738 | 2147483647 153556 178 | 0.000 % |
122.12/122.27 c | 154153 | 9767 41741 126738 | 2147483647 154153 178 | 0.000 % |
122.92/123.08 c | 154809 | 9767 41741 126738 | 2147483647 154809 178 | 0.000 % |
123.82/123.97 c | 155530 | 9767 41741 126738 | 2147483647 155530 178 | 0.000 % |
124.91/125.03 c | 156325 | 9767 41741 126738 | 2147483647 156325 178 | 0.000 % |
126.02/126.10 c | 157197 | 9767 41741 126738 | 2147483647 157197 179 | 0.000 % |
127.11/127.25 c | 158157 | 9767 41741 126738 | 2147483647 158157 179 | 0.000 % |
128.31/128.49 c | 159210 | 9767 41741 126738 | 2147483647 159210 179 | 0.000 % |
129.72/129.83 c | 160368 | 9767 41741 126738 | 2147483647 160368 179 | 0.000 % |
131.21/131.34 c | 161641 | 9767 41741 126738 | 2147483647 161641 179 | 0.000 % |
132.81/132.93 c | 163043 | 9767 41741 126738 | 2147483647 163043 179 | 0.000 % |
134.71/134.86 c | 164586 | 9767 41741 126738 | 2147483647 164586 179 | 0.000 % |
136.81/136.94 c | 166282 | 9767 41741 126738 | 2147483647 166282 180 | 0.000 % |
136.91/137.08 c | 166382 | 9767 41741 126738 | 2147483647 166382 180 | 0.000 % |
137.11/137.25 c | 166493 | 9767 41741 126738 | 2147483647 166493 180 | 0.000 % |
137.31/137.45 c | 166614 | 9767 41741 126738 | 2147483647 166614 180 | 0.000 % |
137.51/137.63 c | 166747 | 9767 41741 126738 | 2147483647 166747 180 | 0.000 % |
137.71/137.86 c | 166894 | 9767 41741 126738 | 2147483647 166894 180 | 0.000 % |
138.01/138.10 c | 167056 | 9767 41741 126738 | 2147483647 167056 180 | 0.000 % |
138.21/138.39 c | 167232 | 9767 41741 126738 | 2147483647 167232 180 | 0.000 % |
138.51/138.66 c | 167425 | 9767 41741 126738 | 2147483647 167425 180 | 0.000 % |
138.80/138.95 c | 167639 | 9767 41741 126738 | 2147483647 167639 180 | 0.000 % |
139.10/139.26 c | 167873 | 9767 41741 126738 | 2147483647 167873 180 | 0.000 % |
139.51/139.63 c | 168129 | 9767 41741 126738 | 2147483647 168129 180 | 0.000 % |
139.80/139.98 c | 168410 | 9767 41741 126738 | 2147483647 168410 180 | 0.000 % |
140.20/140.38 c | 168719 | 9767 41741 126738 | 2147483647 168719 180 | 0.000 % |
140.71/140.82 c | 169058 | 9767 41741 126738 | 2147483647 169058 180 | 0.000 % |
141.20/141.38 c | 169433 | 9767 41741 126738 | 2147483647 169433 180 | 0.000 % |
141.81/141.90 c | 169842 | 9767 41741 126738 | 2147483647 169842 180 | 0.000 % |
142.31/142.49 c | 170291 | 9767 41741 126738 | 2147483647 170291 180 | 0.000 % |
143.01/143.15 c | 170786 | 9767 41741 126738 | 2147483647 170786 180 | 0.000 % |
143.71/143.88 c | 171328 | 9767 41741 126738 | 2147483647 171328 180 | 0.000 % |
144.51/144.66 c | 171924 | 9767 41741 126738 | 2147483647 171924 180 | 0.000 % |
145.30/145.48 c | 172581 | 9767 41741 126738 | 2147483647 172581 180 | 0.000 % |
146.30/146.49 c | 173301 | 9767 41741 126738 | 2147483647 173301 180 | 0.000 % |
147.40/147.54 c | 174093 | 9767 41741 126738 | 2147483647 174093 180 | 0.000 % |
148.61/148.71 c | 174964 | 9767 41741 126738 | 2147483647 174964 180 | 0.000 % |
149.71/149.83 c | 175924 | 9767 41741 126738 | 2147483647 175924 180 | 0.000 % |
151.01/151.18 c | 176977 | 9767 41741 126738 | 2147483647 176977 180 | 0.000 % |
152.60/152.72 c | 178135 | 9767 41741 126738 | 2147483647 178135 180 | 0.000 % |
154.20/154.34 c | 179408 | 9767 41741 126738 | 2147483647 179408 181 | 0.000 % |
156.01/156.19 c | 180811 | 9767 41741 126738 | 2147483647 180811 181 | 0.000 % |
158.10/158.25 c | 182353 | 9767 41741 126738 | 2147483647 182353 181 | 0.000 % |
160.20/160.38 c | 184047 | 9767 41741 126738 | 2147483647 184047 181 | 0.000 % |
162.71/162.81 c | 185910 | 9767 41741 126738 | 2147483647 185910 181 | 0.000 % |
162.81/162.95 c | 186012 | 9767 41741 126738 | 2147483647 186012 181 | 0.000 % |
163.01/163.16 c | 186125 | 9767 41741 126738 | 2147483647 186125 181 | 0.000 % |
163.20/163.36 c | 186246 | 9767 41741 126738 | 2147483647 186246 181 | 0.000 % |
163.40/163.56 c | 186379 | 9767 41741 126738 | 2147483647 186379 181 | 0.000 % |
163.60/163.79 c | 186526 | 9767 41741 126738 | 2147483647 186526 181 | 0.000 % |
163.90/164.04 c | 186687 | 9767 41741 126738 | 2147483647 186687 181 | 0.000 % |
164.20/164.33 c | 186863 | 9767 41741 126738 | 2147483647 186863 181 | 0.000 % |
164.50/164.63 c | 187057 | 9767 41741 126738 | 2147483647 187057 181 | 0.000 % |
164.91/165.01 c | 187269 | 9767 41741 126738 | 2147483647 187269 181 | 0.000 % |
165.20/165.39 c | 187503 | 9767 41741 126738 | 2147483647 187503 181 | 0.000 % |
165.70/165.83 c | 187759 | 9767 41741 126738 | 2147483647 187759 181 | 0.000 % |
166.10/166.24 c | 188040 | 9767 41741 126738 | 2147483647 188040 181 | 0.000 % |
166.61/166.70 c | 188351 | 9767 41741 126738 | 2147483647 188351 181 | 0.000 % |
167.11/167.22 c | 188690 | 9767 41741 126738 | 2147483647 188690 181 | 0.000 % |
167.60/167.76 c | 189062 | 9767 41741 126738 | 2147483647 189062 181 | 0.000 % |
168.21/168.37 c | 189471 | 9767 41741 126738 | 2147483647 189471 181 | 0.000 % |
168.90/169.02 c | 189921 | 9767 41741 126738 | 2147483647 189921 181 | 0.000 % |
169.60/169.73 c | 190416 | 9767 41741 126738 | 2147483647 190416 181 | 0.000 % |
170.41/170.56 c | 190960 | 9767 41741 126738 | 2147483647 190960 181 | 0.000 % |
171.30/171.45 c | 191556 | 9767 41741 126738 | 2147483647 191556 181 | 0.000 % |
172.30/172.40 c | 192211 | 9767 41741 126738 | 2147483647 192211 181 | 0.000 % |
173.30/173.42 c | 192934 | 9767 41741 126738 | 2147483647 192934 181 | 0.000 % |
174.40/174.53 c | 193726 | 9767 41741 126738 | 2147483647 193726 181 | 0.000 % |
175.60/175.74 c | 194599 | 9767 41741 126738 | 2147483647 194599 181 | 0.000 % |
177.01/177.17 c | 195558 | 9767 41741 126738 | 2147483647 195558 181 | 0.000 % |
178.50/178.65 c | 196616 | 9767 41741 126738 | 2147483647 196616 181 | 0.000 % |
180.20/180.33 c | 197775 | 9767 41741 126738 | 2147483647 197775 181 | 0.000 % |
181.90/182.03 c | 199048 | 9767 41741 126738 | 2147483647 199048 181 | 0.000 % |
183.79/183.99 c | 200449 | 9767 41741 126738 | 2147483647 200449 182 | 0.000 % |
186.10/186.25 c | 201989 | 9767 41741 126738 | 2147483647 201989 182 | 0.000 % |
188.50/188.62 c | 203684 | 9767 41741 126738 | 2147483647 203684 182 | 0.000 % |
191.20/191.32 c | 205548 | 9767 41741 126738 | 2147483647 205548 182 | 0.000 % |
194.20/194.35 c | 207599 | 9767 41741 126738 | 2147483647 207599 183 | 0.000 % |
194.39/194.54 c | 207699 | 9767 41741 126738 | 2147483647 207699 183 | 0.000 % |
194.60/194.72 c | 207810 | 9767 41741 126738 | 2147483647 207810 183 | 0.000 % |
194.79/194.96 c | 207931 | 9767 41741 126738 | 2147483647 207931 183 | 0.000 % |
194.99/195.20 c | 208064 | 9767 41741 126738 | 2147483647 208064 183 | 0.000 % |
195.29/195.50 c | 208210 | 9767 41741 126738 | 2147483647 208210 183 | 0.000 % |
195.60/195.78 c | 208370 | 9767 41741 126738 | 2147483647 208370 183 | 0.000 % |
195.89/196.07 c | 208546 | 9767 41741 126738 | 2147483647 208546 183 | 0.000 % |
196.29/196.41 c | 208741 | 9767 41741 126738 | 2147483647 208741 183 | 0.000 % |
196.59/196.74 c | 208954 | 9767 41741 126738 | 2147483647 208954 182 | 0.000 % |
196.89/197.09 c | 209187 | 9767 41741 126738 | 2147483647 209187 182 | 0.000 % |
197.39/197.53 c | 209445 | 9767 41741 126738 | 2147483647 209445 182 | 0.000 % |
197.89/198.01 c | 209726 | 9767 41741 126738 | 2147483647 209726 182 | 0.000 % |
198.39/198.50 c | 210035 | 9767 41741 126738 | 2147483647 210035 182 | 0.000 % |
199.00/199.12 c | 210376 | 9767 41741 126738 | 2147483647 210376 182 | 0.000 % |
199.59/199.71 c | 210748 | 9767 41741 126738 | 2147483647 210748 182 | 0.000 % |
200.09/200.30 c | 211157 | 9767 41741 126738 | 2147483647 211157 182 | 0.000 % |
200.79/200.97 c | 211606 | 9767 41741 126738 | 2147483647 211606 182 | 0.000 % |
201.59/201.70 c | 212099 | 9767 41741 126738 | 2147483647 212099 182 | 0.000 % |
202.39/202.58 c | 212642 | 9767 41741 126738 | 2147483647 212642 182 | 0.000 % |
203.39/203.51 c | 213238 | 9767 41741 126738 | 2147483647 213238 182 | 0.000 % |
204.39/204.51 c | 213893 | 9767 41741 126738 | 2147483647 213893 182 | 0.000 % |
205.50/205.61 c | 214614 | 9767 41741 126738 | 2147483647 214614 182 | 0.000 % |
206.70/206.89 c | 215410 | 9767 41741 126738 | 2147483647 215410 182 | 0.000 % |
208.09/208.26 c | 216282 | 9767 41741 126738 | 2147483647 216282 182 | 0.000 % |
209.49/209.67 c | 217241 | 9767 41741 126738 | 2147483647 217241 182 | 0.000 % |
211.09/211.22 c | 218297 | 9767 41741 126738 | 2147483647 218297 182 | 0.000 % |
212.79/212.93 c | 219457 | 9767 41741 126738 | 2147483647 219457 182 | 0.000 % |
214.69/214.82 c | 220731 | 9767 41741 126738 | 2147483647 220731 183 | 0.000 % |
216.79/216.90 c | 222131 | 9767 41741 126738 | 2147483647 222131 183 | 0.000 % |
218.98/219.15 c | 223671 | 9767 41741 126738 | 2147483647 223671 183 | 0.000 % |
221.59/221.70 c | 225367 | 9767 41741 126738 | 2147483647 225367 183 | 0.000 % |
224.29/224.47 c | 227233 | 9767 41741 126738 | 2147483647 227233 183 | 0.000 % |
227.18/227.39 c | 229283 | 9767 41741 126738 | 2147483647 229283 183 | 0.000 % |
230.69/230.88 c | 231536 | 9767 41741 126738 | 2147483647 231536 183 | 0.000 % |
230.99/231.13 c | 231636 | 9767 41741 126738 | 2147483647 231636 183 | 0.000 % |
231.19/231.33 c | 231746 | 9767 41741 126738 | 2147483647 231746 183 | 0.000 % |
231.39/231.57 c | 231867 | 9767 41741 126738 | 2147483647 231867 183 | 0.000 % |
231.69/231.81 c | 232001 | 9767 41741 126738 | 2147483647 232001 183 | 0.000 % |
231.99/232.14 c | 232148 | 9767 41741 126738 | 2147483647 232148 183 | 0.000 % |
232.29/232.44 c | 232311 | 9767 41741 126738 | 2147483647 232311 183 | 0.000 % |
232.59/232.76 c | 232487 | 9767 41741 126738 | 2147483647 232487 183 | 0.000 % |
232.99/233.12 c | 232680 | 9767 41741 126738 | 2147483647 232680 183 | 0.000 % |
233.38/233.53 c | 232893 | 9767 41741 126738 | 2147483647 232893 183 | 0.000 % |
233.78/233.92 c | 233128 | 9767 41741 126738 | 2147483647 233128 183 | 0.000 % |
234.28/234.40 c | 233386 | 9767 41741 126738 | 2147483647 233386 183 | 0.000 % |
234.78/234.93 c | 233668 | 9767 41741 126738 | 2147483647 233668 183 | 0.000 % |
235.29/235.49 c | 233977 | 9767 41741 126738 | 2147483647 233977 183 | 0.000 % |
235.89/236.08 c | 234318 | 9767 41741 126738 | 2147483647 234318 183 | 0.000 % |
236.59/236.75 c | 234690 | 9767 41741 126738 | 2147483647 234690 183 | 0.000 % |
237.28/237.42 c | 235101 | 9767 41741 126738 | 2147483647 235101 183 | 0.000 % |
238.08/238.21 c | 235550 | 9767 41741 126738 | 2147483647 235550 183 | 0.000 % |
238.98/239.11 c | 236043 | 9767 41741 126738 | 2147483647 236043 183 | 0.000 % |
239.88/240.08 c | 236585 | 9767 41741 126738 | 2147483647 236585 183 | 0.000 % |
240.99/241.14 c | 237183 | 9767 41741 126738 | 2147483647 237183 183 | 0.000 % |
242.08/242.25 c | 237839 | 9767 41741 126738 | 2147483647 237839 183 | 0.000 % |
243.28/243.44 c | 238559 | 9767 41741 126738 | 2147483647 238559 183 | 0.000 % |
244.68/244.82 c | 239351 | 9767 41741 126738 | 2147483647 239351 183 | 0.000 % |
246.08/246.30 c | 240223 | 9767 41741 126738 | 2147483647 240223 183 | 0.000 % |
247.68/247.85 c | 241181 | 9767 41741 126738 | 2147483647 241181 183 | 0.000 % |
249.49/249.64 c | 242236 | 9767 41741 126738 | 2147483647 242236 183 | 0.000 % |
251.28/251.41 c | 243395 | 9767 41741 126738 | 2147483647 243395 183 | 0.000 % |
253.28/253.49 c | 244669 | 9767 41741 126738 | 2147483647 244669 183 | 0.000 % |
255.48/255.65 c | 246070 | 9767 41741 126738 | 2147483647 246070 183 | 0.000 % |
257.98/258.18 c | 247610 | 9767 41741 126738 | 2147483647 247610 184 | 0.000 % |
260.77/260.91 c | 249305 | 9767 41741 126738 | 2147483647 249305 184 | 0.000 % |
263.78/263.96 c | 251168 | 9767 41741 126738 | 2147483647 251168 184 | 0.000 % |
266.87/267.04 c | 253217 | 9767 41741 126738 | 2147483647 253217 185 | 0.000 % |
270.27/270.48 c | 255471 | 9767 41741 126738 | 2147483647 255471 185 | 0.000 % |
274.48/274.64 c | 257950 | 9767 41741 126738 | 2147483647 257950 185 | 0.000 % |
274.68/274.86 c | 258050 | 9767 41741 126738 | 2147483647 258050 185 | 0.000 % |
274.98/275.15 c | 258161 | 9767 41741 126738 | 2147483647 258161 185 | 0.000 % |
275.28/275.42 c | 258282 | 9767 41741 126738 | 2147483647 258282 185 | 0.000 % |
275.48/275.68 c | 258418 | 9767 41741 126738 | 2147483647 258418 185 | 0.000 % |
275.78/275.96 c | 258564 | 9767 41741 126738 | 2147483647 258564 185 | 0.000 % |
276.18/276.38 c | 258726 | 9767 41741 126738 | 2147483647 258726 185 | 0.000 % |
276.58/276.75 c | 258904 | 9767 41741 126738 | 2147483647 258904 185 | 0.000 % |
276.98/277.14 c | 259098 | 9767 41741 126738 | 2147483647 259098 185 | 0.000 % |
277.37/277.58 c | 259310 | 9767 41741 126738 | 2147483647 259310 185 | 0.000 % |
277.87/278.02 c | 259543 | 9767 41741 126738 | 2147483647 259543 185 | 0.000 % |
278.37/278.53 c | 259799 | 9767 41741 126738 | 2147483647 259799 185 | 0.000 % |
278.87/279.08 c | 260082 | 9767 41741 126738 | 2147483647 260082 185 | 0.000 % |
279.57/279.72 c | 260391 | 9767 41741 126738 | 2147483647 260391 185 | 0.000 % |
280.17/280.37 c | 260730 | 9767 41741 126738 | 2147483647 260730 185 | 0.000 % |
280.87/281.06 c | 261106 | 9767 41741 126738 | 2147483647 261106 185 | 0.000 % |
281.67/281.86 c | 261515 | 9767 41741 126738 | 2147483647 261515 185 | 0.000 % |
282.58/282.74 c | 261970 | 9767 41741 126738 | 2147483647 261970 185 | 0.000 % |
283.47/283.60 c | 262464 | 9767 41741 126738 | 2147483647 262464 185 | 0.000 % |
284.37/284.53 c | 263009 | 9767 41741 126738 | 2147483647 263009 185 | 0.000 % |
285.47/285.67 c | 263608 | 9767 41741 126738 | 2147483647 263608 185 | 0.000 % |
286.67/286.81 c | 264267 | 9767 41741 126738 | 2147483647 264267 185 | 0.000 % |
287.87/288.04 c | 264987 | 9767 41741 126738 | 2147483647 264987 185 | 0.000 % |
289.27/289.49 c | 265779 | 9767 41741 126738 | 2147483647 265779 185 | 0.000 % |
290.87/291.07 c | 266651 | 9767 41741 126738 | 2147483647 266651 185 | 0.000 % |
292.56/292.77 c | 267611 | 9767 41741 126738 | 2147483647 267611 185 | 0.000 % |
294.37/294.50 c | 268664 | 9767 41741 126738 | 2147483647 268664 185 | 0.000 % |
296.36/296.52 c | 269824 | 9767 41741 126738 | 2147483647 269824 186 | 0.000 % |
298.57/298.71 c | 271099 | 9767 41741 126738 | 2147483647 271099 186 | 0.000 % |
301.17/301.36 c | 272499 | 9767 41741 126738 | 2147483647 272499 186 | 0.000 % |
303.96/304.13 c | 274039 | 9767 41741 126738 | 2147483647 274039 186 | 0.000 % |
306.96/307.15 c | 275733 | 9767 41741 126738 | 2147483647 275733 186 | 0.000 % |
310.16/310.32 c | 277596 | 9767 41741 126738 | 2147483647 277596 187 | 0.000 % |
313.97/314.15 c | 279647 | 9767 41741 126738 | 2147483647 279647 187 | 0.000 % |
317.86/318.05 c | 281901 | 9767 41741 126738 | 2147483647 281901 187 | 0.000 % |
322.36/322.54 c | 284379 | 9767 41741 126738 | 2147483647 284379 187 | 0.000 % |
327.16/327.37 c | 287105 | 9767 41741 126738 | 2147483647 287105 187 | 0.000 % |
327.36/327.58 c | 287206 | 9767 41741 126738 | 2147483647 287206 187 | 0.000 % |
327.66/327.86 c | 287316 | 9767 41741 126738 | 2147483647 287316 187 | 0.000 % |
327.96/328.15 c | 287440 | 9767 41741 126738 | 2147483647 287440 187 | 0.000 % |
328.26/328.47 c | 287573 | 9767 41741 126738 | 2147483647 287573 187 | 0.000 % |
328.66/328.83 c | 287719 | 9767 41741 126738 | 2147483647 287719 187 | 0.000 % |
328.96/329.18 c | 287880 | 9767 41741 126738 | 2147483647 287880 187 | 0.000 % |
329.46/329.62 c | 288056 | 9767 41741 126738 | 2147483647 288056 187 | 0.000 % |
329.86/330.08 c | 288250 | 9767 41741 126738 | 2147483647 288250 187 | 0.000 % |
330.35/330.59 c | 288466 | 9767 41741 126738 | 2147483647 288466 187 | 0.000 % |
330.97/331.11 c | 288699 | 9767 41741 126738 | 2147483647 288699 187 | 0.000 % |
331.46/331.65 c | 288958 | 9767 41741 126738 | 2147483647 288958 187 | 0.000 % |
331.96/332.17 c | 289239 | 9767 41741 126738 | 2147483647 289239 187 | 0.000 % |
332.66/332.83 c | 289549 | 9767 41741 126738 | 2147483647 289549 187 | 0.000 % |
333.46/333.61 c | 289890 | 9767 41741 126738 | 2147483647 289890 187 | 0.000 % |
334.26/334.40 c | 290266 | 9767 41741 126738 | 2147483647 290266 187 | 0.000 % |
334.96/335.19 c | 290675 | 9767 41741 126738 | 2147483647 290675 187 | 0.000 % |
335.85/336.07 c | 291125 | 9767 41741 126738 | 2147483647 291125 187 | 0.000 % |
336.85/337.09 c | 291618 | 9767 41741 126738 | 2147483647 291618 187 | 0.000 % |
338.05/338.20 c | 292160 | 9767 41741 126738 | 2147483647 292160 187 | 0.000 % |
339.25/339.47 c | 292756 | 9767 41741 126738 | 2147483647 292756 187 | 0.000 % |
340.56/340.72 c | 293412 | 9767 41741 126738 | 2147483647 293412 187 | 0.000 % |
341.76/341.96 c | 294133 | 9767 41741 126738 | 2147483647 294133 187 | 0.000 % |
343.25/343.46 c | 294926 | 9767 41741 126738 | 2147483647 294926 187 | 0.000 % |
344.85/345.05 c | 295797 | 9767 41741 126738 | 2147483647 295797 187 | 0.000 % |
346.65/346.89 c | 296755 | 9767 41741 126738 | 2147483647 296755 187 | 0.000 % |
348.56/348.71 c | 297808 | 9767 41741 126738 | 2147483647 297808 187 | 0.000 % |
350.85/351.09 c | 298966 | 9767 41741 126738 | 2147483647 298966 187 | 0.000 % |
353.45/353.64 c | 300240 | 9767 41741 126738 | 2147483647 300240 187 | 0.000 % |
356.26/356.43 c | 301640 | 9767 41741 126738 | 2147483647 301640 187 | 0.000 % |
359.15/359.31 c | 303180 | 9767 41741 126738 | 2147483647 303180 187 | 0.000 % |
362.35/362.57 c | 304875 | 9767 41741 126738 | 2147483647 304875 187 | 0.000 % |
365.95/366.13 c | 306738 | 9767 41741 126738 | 2147483647 306738 188 | 0.000 % |
369.85/370.06 c | 308787 | 9767 41741 126738 | 2147483647 308787 188 | 0.000 % |
373.95/374.19 c | 311041 | 9767 41741 126738 | 2147483647 311041 188 | 0.000 % |
378.74/378.99 c | 313520 | 9767 41741 126738 | 2147483647 313520 188 | 0.000 % |
384.25/384.44 c | 316246 | 9767 41741 126738 | 2147483647 316246 188 | 0.000 % |
390.15/390.35 c | 319243 | 9767 41741 126738 | 2147483647 319243 188 | 0.000 % |
390.45/390.61 c | 319343 | 9767 41741 126738 | 2147483647 319343 188 | 0.000 % |
390.75/390.92 c | 319453 | 9767 41741 126738 | 2147483647 319453 188 | 0.000 % |
391.04/391.24 c | 319574 | 9767 41741 126738 | 2147483647 319574 188 | 0.000 % |
391.35/391.58 c | 319707 | 9767 41741 126738 | 2147483647 319707 188 | 0.000 % |
391.74/391.96 c | 319854 | 9767 41741 126738 | 2147483647 319854 188 | 0.000 % |
392.14/392.34 c | 320014 | 9767 41741 126738 | 2147483647 320014 188 | 0.000 % |
392.64/392.81 c | 320190 | 9767 41741 126738 | 2147483647 320190 188 | 0.000 % |
393.04/393.27 c | 320384 | 9767 41741 126738 | 2147483647 320384 188 | 0.000 % |
393.55/393.73 c | 320596 | 9767 41741 126738 | 2147483647 320596 188 | 0.000 % |
394.14/394.38 c | 320831 | 9767 41741 126738 | 2147483647 320831 188 | 0.000 % |
394.84/395.00 c | 321088 | 9767 41741 126738 | 2147483647 321088 188 | 0.000 % |
395.53/395.75 c | 321369 | 9767 41741 126738 | 2147483647 321369 188 | 0.000 % |
396.23/396.44 c | 321680 | 9767 41741 126738 | 2147483647 321680 188 | 0.000 % |
396.95/397.17 c | 322020 | 9767 41741 126738 | 2147483647 322020 188 | 0.000 % |
397.84/398.09 c | 322393 | 9767 41741 126738 | 2147483647 322393 188 | 0.000 % |
398.84/399.03 c | 322802 | 9767 41741 126738 | 2147483647 322802 188 | 0.000 % |
399.84/400.03 c | 323251 | 9767 41741 126738 | 2147483647 323251 188 | 0.000 % |
400.94/401.15 c | 323744 | 9767 41741 126738 | 2147483647 323744 188 | 0.000 % |
402.14/402.35 c | 324288 | 9767 41741 126738 | 2147483647 324288 188 | 0.000 % |
403.44/403.67 c | 324885 | 9767 41741 126738 | 2147483647 324885 188 | 0.000 % |
404.73/404.96 c | 325541 | 9767 41741 126738 | 2147483647 325541 188 | 0.000 % |
406.34/406.56 c | 326261 | 9767 41741 126738 | 2147483647 326261 188 | 0.000 % |
408.04/408.26 c | 327053 | 9767 41741 126738 | 2147483647 327053 188 | 0.000 % |
409.93/410.12 c | 327926 | 9767 41741 126738 | 2147483647 327926 188 | 0.000 % |
412.03/412.27 c | 328884 | 9767 41741 126738 | 2147483647 328884 188 | 0.000 % |
414.33/414.53 c | 329939 | 9767 41741 126738 | 2147483647 329939 188 | 0.000 % |
416.74/416.95 c | 331098 | 9767 41741 126738 | 2147483647 331098 188 | 0.000 % |
419.63/419.88 c | 332371 | 9767 41741 126738 | 2147483647 332371 188 | 0.000 % |
422.33/422.56 c | 333771 | 9767 41741 126738 | 2147483647 333771 188 | 0.000 % |
425.63/425.82 c | 335312 | 9767 41741 126738 | 2147483647 335312 189 | 0.000 % |
429.13/429.33 c | 337006 | 9767 41741 126738 | 2147483647 337006 189 | 0.000 % |
433.03/433.26 c | 338869 | 9767 41741 126738 | 2147483647 338869 189 | 0.000 % |
437.42/437.62 c | 340921 | 9767 41741 126738 | 2147483647 340921 189 | 0.000 % |
442.03/442.28 c | 343176 | 9767 41741 126738 | 2147483647 343176 189 | 0.000 % |
446.93/447.19 c | 345654 | 9767 41741 126738 | 2147483647 345654 189 | 0.000 % |
452.62/452.81 c | 348382 | 9767 41741 126738 | 2147483647 348382 189 | 0.000 % |
458.82/459.03 c | 351379 | 9767 41741 126738 | 2147483647 351379 189 | 0.000 % |
465.42/465.65 c | 354676 | 9767 41741 126738 | 2147483647 354676 190 | 0.000 % |
465.72/465.90 c | 354777 | 9767 41741 126738 | 2147483647 354777 190 | 0.000 % |
466.02/466.21 c | 354887 | 9767 41741 126738 | 2147483647 354887 190 | 0.000 % |
466.31/466.55 c | 355008 | 9767 41741 126738 | 2147483647 355008 190 | 0.000 % |
466.71/466.99 c | 355141 | 9767 41741 126738 | 2147483647 355141 190 | 0.000 % |
467.22/467.40 c | 355287 | 9767 41741 126738 | 2147483647 355287 190 | 0.000 % |
467.51/467.79 c | 355447 | 9767 41741 126738 | 2147483647 355447 190 | 0.000 % |
468.01/468.23 c | 355625 | 9767 41741 126738 | 2147483647 355625 190 | 0.000 % |
468.51/468.77 c | 355820 | 9767 41741 126738 | 2147483647 355820 190 | 0.000 % |
469.01/469.27 c | 356032 | 9767 41741 126738 | 2147483647 356032 190 | 0.000 % |
469.82/470.03 c | 356266 | 9767 41741 126738 | 2147483647 356266 190 | 0.000 % |
470.42/470.68 c | 356524 | 9767 41741 126738 | 2147483647 356524 190 | 0.000 % |
471.22/471.46 c | 356805 | 9767 41741 126738 | 2147483647 356805 190 | 0.000 % |
472.02/472.20 c | 357114 | 9767 41741 126738 | 2147483647 357114 190 | 0.000 % |
472.82/473.05 c | 357453 | 9767 41741 126738 | 2147483647 357453 190 | 0.000 % |
473.71/473.97 c | 357826 | 9767 41741 126738 | 2147483647 357826 190 | 0.000 % |
474.71/474.98 c | 358235 | 9767 41741 126738 | 2147483647 358235 190 | 0.000 % |
475.91/476.14 c | 358685 | 9767 41741 126738 | 2147483647 358685 190 | 0.000 % |
477.01/477.26 c | 359180 | 9767 41741 126738 | 2147483647 359180 190 | 0.000 % |
478.31/478.58 c | 359722 | 9767 41741 126738 | 2147483647 359722 190 | 0.000 % |
479.72/479.98 c | 360318 | 9767 41741 126738 | 2147483647 360318 190 | 0.000 % |
481.31/481.54 c | 360974 | 9767 41741 126738 | 2147483647 360974 190 | 0.000 % |
483.11/483.39 c | 361694 | 9767 41741 126738 | 2147483647 361694 190 | 0.000 % |
484.81/485.09 c | 362486 | 9767 41741 126738 | 2147483647 362486 190 | 0.000 % |
486.81/487.04 c | 363359 | 9767 41741 126738 | 2147483647 363359 190 | 0.000 % |
489.01/489.29 c | 364317 | 9767 41741 126738 | 2147483647 364317 190 | 0.000 % |
491.30/491.60 c | 365370 | 9767 41741 126738 | 2147483647 365370 190 | 0.000 % |
494.01/494.22 c | 366529 | 9767 41741 126738 | 2147483647 366529 190 | 0.000 % |
497.01/497.26 c | 367806 | 9767 41741 126738 | 2147483647 367806 190 | 0.000 % |
500.41/500.62 c | 369206 | 9767 41741 126738 | 2147483647 369206 190 | 0.000 % |
504.00/504.20 c | 370746 | 9767 41741 126738 | 2147483647 370746 190 | 0.000 % |
507.71/507.96 c | 372440 | 9767 41741 126738 | 2147483647 372440 190 | 0.000 % |
511.91/512.17 c | 374304 | 9767 41741 126738 | 2147483647 374304 190 | 0.000 % |
516.51/516.77 c | 376353 | 9767 41741 126738 | 2147483647 376353 191 | 0.000 % |
521.50/521.73 c | 378606 | 9767 41741 126738 | 2147483647 378606 191 | 0.000 % |
526.90/527.12 c | 381086 | 9767 41741 126738 | 2147483647 381086 191 | 0.000 % |
532.60/532.86 c | 383812 | 9767 41741 126738 | 2147483647 383812 192 | 0.000 % |
539.60/539.88 c | 386810 | 9767 41741 126738 | 2147483647 386810 192 | 0.000 % |
547.39/547.65 c | 390108 | 9767 41741 126738 | 2147483647 390108 192 | 0.000 % |
554.99/555.26 c | 393733 | 9767 41741 126738 | 2147483647 393733 193 | 0.000 % |
555.30/555.58 c | 393833 | 9767 41741 126738 | 2147483647 393833 193 | 0.000 % |
555.69/555.93 c | 393945 | 9767 41741 126738 | 2147483647 393945 193 | 0.000 % |
556.09/556.32 c | 394068 | 9767 41741 126738 | 2147483647 394068 193 | 0.000 % |
556.49/556.78 c | 394204 | 9767 41741 126738 | 2147483647 394204 193 | 0.000 % |
556.89/557.19 c | 394350 | 9767 41741 126738 | 2147483647 394350 193 | 0.000 % |
557.39/557.69 c | 394511 | 9767 41741 126738 | 2147483647 394511 193 | 0.000 % |
557.99/558.29 c | 394687 | 9767 41741 126738 | 2147483647 394687 193 | 0.000 % |
558.59/558.89 c | 394881 | 9767 41741 126738 | 2147483647 394881 193 | 0.000 % |
559.19/559.50 c | 395094 | 9767 41741 126738 | 2147483647 395094 193 | 0.000 % |
559.89/560.16 c | 395327 | 9767 41741 126738 | 2147483647 395327 193 | 0.000 % |
560.58/560.87 c | 395583 | 9767 41741 126738 | 2147483647 395583 193 | 0.000 % |
561.38/561.68 c | 395864 | 9767 41741 126738 | 2147483647 395864 193 | 0.000 % |
562.19/562.49 c | 396173 | 9767 41741 126738 | 2147483647 396173 193 | 0.000 % |
563.19/563.42 c | 396512 | 9767 41741 126738 | 2147483647 396512 193 | 0.000 % |
564.29/564.59 c | 396888 | 9767 41741 126738 | 2147483647 396888 193 | 0.000 % |
565.39/565.61 c | 397300 | 9767 41741 126738 | 2147483647 397300 193 | 0.000 % |
566.59/566.83 c | 397749 | 9767 41741 126738 | 2147483647 397749 193 | 0.000 % |
567.89/568.11 c | 398242 | 9767 41741 126738 | 2147483647 398242 193 | 0.000 % |
569.28/569.51 c | 398784 | 9767 41741 126738 | 2147483647 398784 193 | 0.000 % |
570.88/571.14 c | 399382 | 9767 41741 126738 | 2147483647 399382 193 | 0.000 % |
572.68/572.91 c | 400037 | 9767 41741 126738 | 2147483647 400037 193 | 0.000 % |
574.69/574.94 c | 400759 | 9767 41741 126738 | 2147483647 400759 193 | 0.000 % |
576.78/577.06 c | 401551 | 9767 41741 126738 | 2147483647 401551 193 | 0.000 % |
579.18/579.44 c | 402422 | 9767 41741 126738 | 2147483647 402422 193 | 0.000 % |
581.58/581.83 c | 403380 | 9767 41741 126738 | 2147483647 403380 193 | 0.000 % |
584.18/584.43 c | 404433 | 9767 41741 126738 | 2147483647 404433 193 | 0.000 % |
586.88/587.12 c | 405592 | 9767 41741 126738 | 2147483647 405592 193 | 0.000 % |
590.27/590.55 c | 406868 | 9767 41741 126738 | 2147483647 406868 193 | 0.000 % |
593.78/594.05 c | 408269 | 9767 41741 126738 | 2147483647 408269 193 | 0.000 % |
597.68/597.99 c | 409809 | 9767 41741 126738 | 2147483647 409809 193 | 0.000 % |
601.77/602.04 c | 411504 | 9767 41741 126738 | 2147483647 411504 193 | 0.000 % |
606.58/606.87 c | 413367 | 9767 41741 126738 | 2147483647 413367 193 | 0.000 % |
611.87/612.19 c | 415416 | 9767 41741 126738 | 2147483647 415416 193 | 0.000 % |
617.27/617.51 c | 417669 | 9767 41741 126738 | 2147483647 417669 193 | 0.000 % |
623.27/623.55 c | 420148 | 9767 41741 126738 | 2147483647 420148 193 | 0.000 % |
629.77/630.06 c | 422873 | 9767 41741 126738 | 2147483647 422873 194 | 0.000 % |
637.06/637.34 c | 425870 | 9767 41741 126738 | 2147483647 425870 194 | 0.000 % |
644.97/645.21 c | 429166 | 9767 41741 126738 | 2147483647 429166 194 | 0.000 % |
654.06/654.31 c | 432792 | 9767 41741 126738 | 2147483647 432792 194 | 0.000 % |
663.26/663.56 c | 436779 | 9767 41741 126738 | 2147483647 436779 195 | 0.000 % |
663.56/663.85 c | 436879 | 9767 41741 126738 | 2147483647 436879 195 | 0.000 % |
663.96/664.23 c | 436990 | 9767 41741 126738 | 2147483647 436990 195 | 0.000 % |
664.36/664.64 c | 437112 | 9767 41741 126738 | 2147483647 437112 195 | 0.000 % |
664.86/665.12 c | 437245 | 9767 41741 126738 | 2147483647 437245 195 | 0.000 % |
665.36/665.63 c | 437391 | 9767 41741 126738 | 2147483647 437391 195 | 0.000 % |
665.86/666.15 c | 437551 | 9767 41741 126738 | 2147483647 437551 195 | 0.000 % |
666.56/666.82 c | 437727 | 9767 41741 126738 | 2147483647 437727 195 | 0.000 % |
667.26/667.51 c | 437922 | 9767 41741 126738 | 2147483647 437922 195 | 0.000 % |
667.96/668.26 c | 438135 | 9767 41741 126738 | 2147483647 438135 195 | 0.000 % |
668.76/669.03 c | 438370 | 9767 41741 126738 | 2147483647 438370 195 | 0.000 % |
669.46/669.79 c | 438626 | 9767 41741 126738 | 2147483647 438626 195 | 0.000 % |
670.36/670.64 c | 438908 | 9767 41741 126738 | 2147483647 438908 195 | 0.000 % |
671.26/671.50 c | 439217 | 9767 41741 126738 | 2147483647 439217 195 | 0.000 % |
672.26/672.52 c | 439556 | 9767 41741 126738 | 2147483647 439556 195 | 0.000 % |
673.46/673.73 c | 439928 | 9767 41741 126738 | 2147483647 439928 195 | 0.000 % |
674.66/674.90 c | 440337 | 9767 41741 126738 | 2147483647 440337 195 | 0.000 % |
676.06/676.36 c | 440786 | 9767 41741 126738 | 2147483647 440786 195 | 0.000 % |
677.46/677.79 c | 441279 | 9767 41741 126738 | 2147483647 441279 195 | 0.000 % |
679.16/679.41 c | 441822 | 9767 41741 126738 | 2147483647 441822 195 | 0.000 % |
680.86/681.17 c | 442418 | 9767 41741 126738 | 2147483647 442418 195 | 0.000 % |
682.76/683.06 c | 443074 | 9767 41741 126738 | 2147483647 443074 195 | 0.000 % |
684.96/685.29 c | 443794 | 9767 41741 126738 | 2147483647 443794 195 | 0.000 % |
687.26/687.56 c | 444588 | 9767 41741 126738 | 2147483647 444588 195 | 0.000 % |
689.75/690.08 c | 445462 | 9767 41741 126738 | 2147483647 445462 195 | 0.000 % |
692.55/692.84 c | 446420 | 9767 41741 126738 | 2147483647 446420 195 | 0.000 % |
695.46/695.73 c | 447474 | 9767 41741 126738 | 2147483647 447474 195 | 0.000 % |
698.66/698.99 c | 448634 | 9767 41741 126738 | 2147483647 448634 195 | 0.000 % |
702.05/702.35 c | 449907 | 9767 41741 126738 | 2147483647 449907 195 | 0.000 % |
705.86/706.17 c | 451309 | 9767 41741 126738 | 2147483647 451309 195 | 0.000 % |
709.95/710.22 c | 452849 | 9767 41741 126738 | 2147483647 452849 195 | 0.000 % |
714.45/714.73 c | 454543 | 9767 41741 126738 | 2147483647 454543 195 | 0.000 % |
719.75/720.09 c | 456406 | 9767 41741 126738 | 2147483647 456406 195 | 0.000 % |
724.94/725.22 c | 458455 | 9767 41741 126738 | 2147483647 458455 195 | 0.000 % |
730.75/731.03 c | 460710 | 9767 41741 126738 | 2147483647 460710 195 | 0.000 % |
737.35/737.63 c | 463188 | 9767 41741 126738 | 2147483647 463188 195 | 0.000 % |
744.14/744.41 c | 465914 | 9767 41741 126738 | 2147483647 465914 196 | 0.000 % |
752.24/752.56 c | 468911 | 9767 41741 126738 | 2147483647 468911 196 | 0.000 % |
761.04/761.35 c | 472208 | 9767 41741 126738 | 2147483647 472208 196 | 0.000 % |
770.74/771.03 c | 475833 | 9767 41741 126738 | 2147483647 475833 196 | 0.000 % |
780.74/781.08 c | 479822 | 9767 41741 126738 | 2147483647 479822 196 | 0.000 % |
792.13/792.49 c | 484207 | 9767 41741 126738 | 2147483647 484207 197 | 0.000 % |
792.53/792.82 c | 484307 | 9767 41741 126738 | 2147483647 484307 197 | 0.000 % |
792.93/793.26 c | 484418 | 9767 41741 126738 | 2147483647 484418 197 | 0.000 % |
793.43/793.72 c | 484539 | 9767 41741 126738 | 2147483647 484539 197 | 0.000 % |
794.03/794.31 c | 484672 | 9767 41741 126738 | 2147483647 484672 197 | 0.000 % |
794.43/794.77 c | 484818 | 9767 41741 126738 | 2147483647 484818 197 | 0.000 % |
795.04/795.36 c | 484978 | 9767 41741 126738 | 2147483647 484978 197 | 0.000 % |
795.63/795.98 c | 485154 | 9767 41741 126738 | 2147483647 485154 197 | 0.000 % |
796.43/796.70 c | 485349 | 9767 41741 126738 | 2147483647 485349 197 | 0.000 % |
797.14/797.42 c | 485562 | 9767 41741 126738 | 2147483647 485562 197 | 0.000 % |
797.93/798.29 c | 485796 | 9767 41741 126738 | 2147483647 485796 197 | 0.000 % |
798.83/799.16 c | 486053 | 9767 41741 126738 | 2147483647 486053 197 | 0.000 % |
799.93/800.23 c | 486335 | 9767 41741 126738 | 2147483647 486335 197 | 0.000 % |
800.92/801.26 c | 486644 | 9767 41741 126738 | 2147483647 486644 197 | 0.000 % |
802.13/802.41 c | 486984 | 9767 41741 126738 | 2147483647 486984 197 | 0.000 % |
803.33/803.61 c | 487358 | 9767 41741 126738 | 2147483647 487358 197 | 0.000 % |
804.63/804.97 c | 487768 | 9767 41741 126738 | 2147483647 487768 197 | 0.000 % |
806.03/806.38 c | 488217 | 9767 41741 126738 | 2147483647 488217 197 | 0.000 % |
807.63/807.96 c | 488710 | 9767 41741 126738 | 2147483647 488710 197 | 0.000 % |
809.23/809.54 c | 489254 | 9767 41741 126738 | 2147483647 489254 197 | 0.000 % |
811.12/811.47 c | 489851 | 9767 41741 126738 | 2147483647 489851 197 | 0.000 % |
813.13/813.43 c | 490506 | 9767 41741 126738 | 2147483647 490506 197 | 0.000 % |
815.33/815.67 c | 491226 | 9767 41741 126738 | 2147483647 491226 197 | 0.000 % |
817.82/818.17 c | 492018 | 9767 41741 126738 | 2147483647 492018 197 | 0.000 % |
820.72/821.03 c | 492889 | 9767 41741 126738 | 2147483647 492889 197 | 0.000 % |
823.73/824.07 c | 493849 | 9767 41741 126738 | 2147483647 493849 197 | 0.000 % |
827.03/827.32 c | 494902 | 9767 41741 126738 | 2147483647 494902 197 | 0.000 % |
830.52/830.80 c | 496061 | 9767 41741 126738 | 2147483647 496061 197 | 0.000 % |
834.42/834.79 c | 497334 | 9767 41741 126738 | 2147483647 497334 197 | 0.000 % |
838.42/838.72 c | 498734 | 9767 41741 126738 | 2147483647 498734 197 | 0.000 % |
842.72/843.01 c | 500274 | 9767 41741 126738 | 2147483647 500274 197 | 0.000 % |
847.62/847.96 c | 501968 | 9767 41741 126738 | 2147483647 501968 197 | 0.000 % |
853.32/853.63 c | 503833 | 9767 41741 126738 | 2147483647 503833 197 | 0.000 % |
859.21/859.55 c | 505883 | 9767 41741 126738 | 2147483647 505883 197 | 0.000 % |
866.01/866.35 c | 508137 | 9767 41741 126738 | 2147483647 508137 197 | 0.000 % |
873.21/873.56 c | 510616 | 9767 41741 126738 | 2147483647 510616 197 | 0.000 % |
881.11/881.43 c | 513343 | 9767 41741 126738 | 2147483647 513343 197 | 0.000 % |
890.01/890.34 c | 516340 | 9767 41741 126738 | 2147483647 516340 197 | 0.000 % |
899.70/900.06 c | 519636 | 9767 41741 126738 | 2147483647 519636 197 | 0.000 % |
909.80/910.15 c | 523261 | 9767 41741 126738 | 2147483647 523261 197 | 0.000 % |
921.51/921.90 c | 527248 | 9767 41741 126738 | 2147483647 527248 197 | 0.000 % |
933.70/934.01 c | 531633 | 9767 41741 126738 | 2147483647 531633 198 | 0.000 % |
947.49/947.87 c | 536459 | 9767 41741 126738 | 2147483647 536459 198 | 0.000 % |
947.90/948.25 c | 536562 | 9767 41741 126738 | 2147483647 536562 198 | 0.000 % |
948.39/948.75 c | 536672 | 9767 41741 126738 | 2147483647 536672 198 | 0.000 % |
949.00/949.31 c | 536793 | 9767 41741 126738 | 2147483647 536793 198 | 0.000 % |
949.49/949.87 c | 536928 | 9767 41741 126738 | 2147483647 536928 198 | 0.000 % |
950.19/950.53 c | 537077 | 9767 41741 126738 | 2147483647 537077 198 | 0.000 % |
950.89/951.26 c | 537237 | 9767 41741 126738 | 2147483647 537237 198 | 0.000 % |
951.69/952.02 c | 537415 | 9767 41741 126738 | 2147483647 537415 198 | 0.000 % |
952.39/952.77 c | 537609 | 9767 41741 126738 | 2147483647 537609 198 | 0.000 % |
953.29/953.63 c | 537822 | 9767 41741 126738 | 2147483647 537822 198 | 0.000 % |
954.19/954.57 c | 538057 | 9767 41741 126738 | 2147483647 538057 198 | 0.000 % |
955.39/955.73 c | 538313 | 9767 41741 126738 | 2147483647 538313 198 | 0.000 % |
956.39/956.76 c | 538595 | 9767 41741 126738 | 2147483647 538595 198 | 0.000 % |
957.59/957.94 c | 538904 | 9767 41741 126738 | 2147483647 538904 198 | 0.000 % |
958.99/959.30 c | 539243 | 9767 41741 126738 | 2147483647 539243 198 | 0.000 % |
960.30/960.67 c | 539615 | 9767 41741 126738 | 2147483647 539615 198 | 0.000 % |
961.79/962.15 c | 540024 | 9767 41741 126738 | 2147483647 540024 198 | 0.000 % |
963.49/963.86 c | 540475 | 9767 41741 126738 | 2147483647 540475 198 | 0.000 % |
965.29/965.66 c | 540968 | 9767 41741 126738 | 2147483647 540968 198 | 0.000 % |
967.10/967.46 c | 541510 | 9767 41741 126738 | 2147483647 541510 198 | 0.000 % |
969.19/969.55 c | 542107 | 9767 41741 126738 | 2147483647 542107 198 | 0.000 % |
971.39/971.76 c | 542765 | 9767 41741 126738 | 2147483647 542765 198 | 0.000 % |
973.79/974.12 c | 543485 | 9767 41741 126738 | 2147483647 543485 198 | 0.000 % |
976.49/976.83 c | 544278 | 9767 41741 126738 | 2147483647 544278 198 | 0.000 % |
979.48/979.81 c | 545149 | 9767 41741 126738 | 2147483647 545149 198 | 0.000 % |
982.58/982.98 c | 546110 | 9767 41741 126738 | 2147483647 546110 198 | 0.000 % |
985.98/986.39 c | 547163 | 9767 41741 126738 | 2147483647 547163 198 | 0.000 % |
989.78/990.16 c | 548321 | 9767 41741 126738 | 2147483647 548321 198 | 0.000 % |
994.18/994.58 c | 549594 | 9767 41741 126738 | 2147483647 549594 198 | 0.000 % |
998.98/999.31 c | 550995 | 9767 41741 126738 | 2147483647 550995 198 | 0.000 % |
1004.28/1004.60 c | 552536 | 9767 41741 126738 | 2147483647 552536 198 | 0.000 % |
1009.98/1010.32 c | 554231 | 9767 41741 126738 | 2147483647 554231 198 | 0.000 % |
1015.77/1016.20 c | 556094 | 9767 41741 126738 | 2147483647 556094 198 | 0.000 % |
1022.98/1023.39 c | 558146 | 9767 41741 126738 | 2147483647 558146 198 | 0.000 % |
1030.38/1030.80 c | 560400 | 9767 41741 126738 | 560000 560400 198 | 0.000 % |
1038.58/1038.99 c | 562878 | 9767 41741 126738 | 560000 506838 198 | 0.000 % |
1046.57/1046.98 c | 565603 | 9767 41741 126738 | 560000 509563 198 | 0.000 % |
1055.37/1055.75 c | 568601 | 9767 41741 126738 | 560000 512561 198 | 0.000 % |
1064.87/1065.21 c | 571898 | 9767 41741 126738 | 2147483647 515858 198 | 0.000 % |
1074.76/1075.14 c | 575524 | 9767 41741 126738 | 2147483647 519484 198 | 0.000 % |
1087.56/1087.91 c | 579512 | 9767 41741 126738 | 2147483647 523472 199 | 0.000 % |
1100.96/1101.35 c | 583897 | 9767 41741 126738 | 2147483647 527857 199 | 0.000 % |
1114.05/1114.41 c | 588720 | 9767 41741 126738 | 2147483647 532680 200 | 0.000 % |
1129.65/1130.07 c | 594027 | 9767 41741 126738 | 2147483647 537987 200 | 0.000 % |
1130.25/1130.63 c | 594127 | 9767 41741 126738 | 2147483647 538087 200 | 0.000 % |
1130.75/1131.12 c | 594238 | 9767 41741 126738 | 2147483647 538198 200 | 0.000 % |
1131.25/1131.67 c | 594362 | 9767 41741 126738 | 2147483647 538322 200 | 0.000 % |
1131.85/1132.29 c | 594496 | 9767 41741 126738 | 2147483647 538456 200 | 0.000 % |
1132.45/1132.90 c | 594642 | 9767 41741 126738 | 2147483647 538602 200 | 0.000 % |
1133.15/1133.58 c | 594802 | 9767 41741 126738 | 2147483647 538762 200 | 0.000 % |
1133.95/1134.32 c | 594978 | 9767 41741 126738 | 2147483647 538938 200 | 0.000 % |
1134.85/1135.27 c | 595173 | 9767 41741 126738 | 2147483647 539133 200 | 0.000 % |
1135.75/1136.16 c | 595386 | 9767 41741 126738 | 2147483647 539346 200 | 0.000 % |
1136.55/1136.99 c | 595619 | 9767 41741 126738 | 2147483647 539579 200 | 0.000 % |
1137.55/1138.00 c | 595877 | 9767 41741 126738 | 2147483647 539837 200 | 0.000 % |
1138.65/1139.00 c | 596158 | 9767 41741 126738 | 2147483647 540118 200 | 0.000 % |
1139.75/1140.14 c | 596467 | 9767 41741 126738 | 2147483647 540427 200 | 0.000 % |
1141.05/1141.41 c | 596807 | 9767 41741 126738 | 2147483647 540767 200 | 0.000 % |
1142.45/1142.84 c | 597179 | 9767 41741 126738 | 2147483647 541139 200 | 0.000 % |
1143.95/1144.37 c | 597589 | 9767 41741 126738 | 2147483647 541549 200 | 0.000 % |
1145.65/1146.00 c | 598038 | 9767 41741 126738 | 2147483647 541998 200 | 0.000 % |
1147.44/1147.89 c | 598531 | 9767 41741 126738 | 2147483647 542491 200 | 0.000 % |
1149.44/1149.86 c | 599074 | 9767 41741 126738 | 2147483647 543034 200 | 0.000 % |
1151.64/1152.08 c | 599671 | 9767 41741 126738 | 2147483647 543631 200 | 0.000 % |
1153.94/1154.36 c | 600328 | 9767 41741 126738 | 2147483647 544288 200 | 0.000 % |
1156.54/1157.00 c | 601049 | 9767 41741 126738 | 2147483647 545009 200 | 0.000 % |
1159.54/1159.94 c | 601841 | 9767 41741 126738 | 2147483647 545801 200 | 0.000 % |
1162.54/1162.91 c | 602712 | 9767 41741 126738 | 2147483647 546672 200 | 0.000 % |
1165.54/1165.92 c | 603670 | 9767 41741 126738 | 2147483647 547630 200 | 0.000 % |
1168.74/1169.17 c | 604723 | 9767 41741 126738 | 2147483647 548683 200 | 0.000 % |
1172.64/1173.05 c | 605881 | 9767 41741 126738 | 2147483647 549841 200 | 0.000 % |
1176.94/1177.34 c | 607154 | 9767 41741 126738 | 2147483647 551114 200 | 0.000 % |
1181.64/1182.05 c | 608554 | 9767 41741 126738 | 2147483647 552514 200 | 0.000 % |
1186.73/1187.14 c | 610096 | 9767 41741 126738 | 2147483647 554056 200 | 0.000 % |
1192.34/1192.73 c | 611791 | 9767 41741 126738 | 2147483647 555751 200 | 0.000 % |
1198.34/1198.78 c | 613654 | 9767 41741 126738 | 2147483647 557614 200 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832667-1242786089/watcher-1832667-1242786089 -o /tmp/evaluation-result-1832667-1242786089/solver-1832667-1242786089 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832667-1242786089.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 14432
/proc/meminfo: memFree=1784176/2055920 swapFree=4180408/4192956
[pid=14432] ppid=14430 vsize=5356 CPUtime=0
/proc/14432/stat : 14432 (SatELiteGTI) S 14430 14432 13568 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306636390 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14432/statm: 1339 237 197 169 0 50 0
[startup+0.0998 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14432
/proc/meminfo: memFree=1784176/2055920 swapFree=4180408/4192956
[pid=14432] ppid=14430 vsize=5356 CPUtime=0
/proc/14432/stat : 14432 (SatELiteGTI) S 14430 14432 13568 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306636390 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14432/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.1028 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14432
/proc/meminfo: memFree=1784176/2055920 swapFree=4180408/4192956
[pid=14432] ppid=14430 vsize=5356 CPUtime=0
/proc/14432/stat : 14432 (SatELiteGTI) S 14430 14432 13568 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306636390 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14432/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302823 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14432
/proc/meminfo: memFree=1784176/2055920 swapFree=4180408/4192956
[pid=14432] ppid=14430 vsize=5356 CPUtime=0.18
/proc/14432/stat : 14432 (SatELiteGTI) S 14430 14432 13568 0 -1 4194304 336 1609 0 0 0 0 17 1 16 0 1 0 306636390 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14432/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 5356
[startup+0.702849 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14432
/proc/meminfo: memFree=1784176/2055920 swapFree=4180408/4192956
[pid=14432] ppid=14430 vsize=5356 CPUtime=0.18
/proc/14432/stat : 14432 (SatELiteGTI) S 14430 14432 13568 0 -1 4194304 336 1609 0 0 0 0 17 1 16 0 1 0 306636390 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14432/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 5356
[startup+1.50189 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14438
/proc/meminfo: memFree=1777824/2055920 swapFree=4180408/4192956
[pid=14432] ppid=14430 vsize=5356 CPUtime=0.18
/proc/14432/stat : 14432 (SatELiteGTI) S 14430 14432 13568 0 -1 4194304 336 1609 0 0 0 0 17 1 16 0 1 0 306636390 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14432/statm: 1339 239 197 169 0 50 0
[pid=14438] ppid=14432 vsize=7176 CPUtime=1.29
/proc/14438/stat : 14438 (minisat_static) R 14432 14432 13568 0 -1 4194304 1585 0 0 0 129 0 0 0 25 0 1 0 306636409 7348224 1571 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/14438/statm: 1794 1571 77 171 0 1621 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12532
[startup+3.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14438
/proc/meminfo: memFree=1775456/2055920 swapFree=4180408/4192956
[pid=14432] ppid=14430 vsize=5356 CPUtime=0.18
/proc/14432/stat : 14432 (SatELiteGTI) S 14430 14432 13568 0 -1 4194304 336 1609 0 0 0 0 17 1 16 0 1 0 306636390 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14432/statm: 1339 239 197 169 0 50 0
[pid=14438] ppid=14432 vsize=10228 CPUtime=2.9
/proc/14438/stat : 14438 (minisat_static) R 14432 14432 13568 0 -1 4194304 2348 0 0 0 289 1 0 0 25 0 1 0 306636409 10473472 2334 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14438/statm: 2557 2334 77 171 0 2384 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 15584
[startup+6.30121 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14438
/proc/meminfo: memFree=1769696/2055920 swapFree=4180408/4192956
[pid=14432] ppid=14430 vsize=5356 CPUtime=0.18
/proc/14432/stat : 14432 (SatELiteGTI) S 14430 14432 13568 0 -1 4194304 336 1609 0 0 0 0 17 1 16 0 1 0 306636390 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14432/statm: 1339 239 197 169 0 50 0
[pid=14438] ppid=14432 vsize=15640 CPUtime=6.1
/proc/14438/stat : 14438 (minisat_static) R 14432 14432 13568 0 -1 4194304 3697 0 0 0 608 2 0 0 25 0 1 0 306636409 16015360 3683 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/14438/statm: 3910 3683 77 171 0 3737 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 20996
[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14438
/proc/meminfo: memFree=1760096/2055920 swapFree=4180408/4192956
[pid=14432] ppid=14430 vsize=5356 CPUtime=0.18
/proc/14432/stat : 14432 (SatELiteGTI) S 14430 14432 13568 0 -1 4194304 336 1609 0 0 0 0 17 1 16 0 1 0 306636390 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14432/statm: 1339 239 197 169 0 50 0
[pid=14438] ppid=14432 vsize=24780 CPUtime=12.49
/proc/14438/stat : 14438 (minisat_static) R 14432 14432 13568 0 -1 4194304 5979 0 0 0 1245 4 0 0 25 0 1 0 306636409 25374720 5965 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/14438/statm: 6195 5965 77 171 0 6022 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 30136
[startup+25.5025 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14438
/proc/meminfo: memFree=1743648/2055920 swapFree=4180408/4192956
[pid=14432] ppid=14430 vsize=5356 CPUtime=0.18
/proc/14432/stat : 14432 (SatELiteGTI) S 14430 14432 13568 0 -1 4194304 336 1609 0 0 0 0 17 1 16 0 1 0 306636390 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14432/statm: 1339 239 197 169 0 50 0
[pid=14438] ppid=14432 vsize=40568 CPUtime=25.28
/proc/14438/stat : 14438 (minisat_static) R 14432 14432 13568 0 -1 4194304 9924 0 0 0 2519 9 0 0 25 0 1 0 306636409 41541632 9910 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/14438/statm: 10142 9910 77 171 0 9969 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 45924
[startup+51.1012 s]
/proc/loadavg: 1.07 1.02 1.00 2/66 14438
/proc/meminfo: memFree=1718432/2055920 swapFree=4180408/4192956
[pid=14432] ppid=14430 vsize=5356 CPUtime=0.18
/proc/14432/stat : 14432 (SatELiteGTI) S 14430 14432 13568 0 -1 4194304 336 1609 0 0 0 0 17 1 16 0 1 0 306636390 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14432/statm: 1339 239 197 169 0 50 0
[pid=14438] ppid=14432 vsize=65904 CPUtime=50.87
/proc/14438/stat : 14438 (minisat_static) R 14432 14432 13568 0 -1 4194304 16264 0 0 0 5073 14 0 0 25 0 1 0 306636409 67485696 16250 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14438/statm: 16476 16250 77 171 0 16303 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 71260
[startup+102.306 s]
/proc/loadavg: 1.03 1.01 1.00 2/66 14438
/proc/meminfo: memFree=1678624/2055920 swapFree=4180408/4192956
[pid=14432] ppid=14430 vsize=5356 CPUtime=0.18
/proc/14432/stat : 14432 (SatELiteGTI) S 14430 14432 13568 0 -1 4194304 336 1609 0 0 0 0 17 1 16 0 1 0 306636390 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14432/statm: 1339 239 197 169 0 50 0
[pid=14438] ppid=14432 vsize=105028 CPUtime=102.04
/proc/14438/stat : 14438 (minisat_static) R 14432 14432 13568 0 -1 4194304 26056 0 0 0 10180 24 0 0 25 0 1 0 306636409 107548672 26042 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/14438/statm: 26257 26042 77 171 0 26084 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 110384
[startup+162.303 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 14438
/proc/meminfo: memFree=1640480/2055920 swapFree=4180408/4192956
[pid=14432] ppid=14430 vsize=5356 CPUtime=0.18
/proc/14432/stat : 14432 (SatELiteGTI) S 14430 14432 13568 0 -1 4194304 336 1609 0 0 0 0 17 1 16 0 1 0 306636390 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14432/statm: 1339 239 197 169 0 50 0
[pid=14438] ppid=14432 vsize=143576 CPUtime=162.03
/proc/14438/stat : 14438 (minisat_static) R 14432 14432 13568 0 -1 4194304 35649 0 0 0 16168 35 0 0 25 0 1 0 306636409 147021824 35635 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/14438/statm: 35894 35635 77 171 0 35721 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 148932
[startup+222.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14438
/proc/meminfo: memFree=1608416/2055920 swapFree=4180408/4192956
[pid=14432] ppid=14430 vsize=5356 CPUtime=0.18
/proc/14432/stat : 14432 (SatELiteGTI) S 14430 14432 13568 0 -1 4194304 336 1609 0 0 0 0 17 1 16 0 1 0 306636390 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14432/statm: 1339 239 197 169 0 50 0
[pid=14438] ppid=14432 vsize=175400 CPUtime=222.01
/proc/14438/stat : 14438 (minisat_static) R 14432 14432 13568 0 -1 4194304 43547 0 0 0 22157 44 0 0 25 0 1 0 306636409 179609600 43533 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14438/statm: 43850 43533 77 171 0 43677 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 180756
[startup+282.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14438
/proc/meminfo: memFree=1579232/2055920 swapFree=4180408/4192956
[pid=14432] ppid=14430 vsize=5356 CPUtime=0.18
/proc/14432/stat : 14432 (SatELiteGTI) S 14430 14432 13568 0 -1 4194304 336 1609 0 0 0 0 17 1 16 0 1 0 306636390 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14432/statm: 1339 239 197 169 0 50 0
[pid=14438] ppid=14432 vsize=204440 CPUtime=281.99
/proc/14438/stat : 14438 (minisat_static) R 14432 14432 13568 0 -1 4194304 50846 0 0 0 28148 51 0 0 25 0 1 0 306636409 209346560 50832 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14438/statm: 51110 50832 77 171 0 50937 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 209796
[startup+342.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14438
/proc/meminfo: memFree=1551520/2055920 swapFree=4180408/4192956
[pid=14432] ppid=14430 vsize=5356 CPUtime=0.18
/proc/14432/stat : 14432 (SatELiteGTI) S 14430 14432 13568 0 -1 4194304 336 1609 0 0 0 0 17 1 16 0 1 0 306636390 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14432/statm: 1339 239 197 169 0 50 0
[pid=14438] ppid=14432 vsize=231632 CPUtime=341.98
/proc/14438/stat : 14438 (minisat_static) R 14432 14432 13568 0 -1 4194304 57688 0 0 0 34137 61 0 0 25 0 1 0 306636409 237191168 57674 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14438/statm: 57908 57674 77 171 0 57735 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 236988
[startup+402.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14438
/proc/meminfo: memFree=1527136/2055920 swapFree=4180408/4192956
[pid=14432] ppid=14430 vsize=5356 CPUtime=0.18
/proc/14432/stat : 14432 (SatELiteGTI) S 14430 14432 13568 0 -1 4194304 336 1609 0 0 0 0 17 1 16 0 1 0 306636390 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14432/statm: 1339 239 197 169 0 50 0
[pid=14438] ppid=14432 vsize=256660 CPUtime=401.96
/proc/14438/stat : 14438 (minisat_static) R 14432 14432 13568 0 -1 4194304 63818 0 0 0 40128 68 0 0 25 0 1 0 306636409 262819840 63804 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14438/statm: 64165 63804 77 171 0 63992 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 262016
[startup+462.303 s]
################
# More data... #
################
/proc/14438/statm: 75717 75417 77 171 0 75544 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 308224
[startup+582.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14438
/proc/meminfo: memFree=1457440/2055920 swapFree=4180408/4192956
[pid=14432] ppid=14430 vsize=5356 CPUtime=0.18
/proc/14432/stat : 14432 (SatELiteGTI) S 14430 14432 13568 0 -1 4194304 336 1609 0 0 0 0 17 1 16 0 1 0 306636390 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14432/statm: 1339 239 197 169 0 50 0
[pid=14438] ppid=14432 vsize=325440 CPUtime=581.9
/proc/14438/stat : 14438 (minisat_static) R 14432 14432 13568 0 -1 4194304 81084 0 0 0 58103 87 0 0 25 0 1 0 306636409 333250560 81070 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/14438/statm: 81360 81070 77 171 0 81187 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 330796
[startup+642.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14438
/proc/meminfo: memFree=1436192/2055920 swapFree=4180408/4192956
[pid=14432] ppid=14430 vsize=5356 CPUtime=0.18
/proc/14432/stat : 14432 (SatELiteGTI) S 14430 14432 13568 0 -1 4194304 336 1609 0 0 0 0 17 1 16 0 1 0 306636390 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14432/statm: 1339 239 197 169 0 50 0
[pid=14438] ppid=14432 vsize=346296 CPUtime=641.89
/proc/14438/stat : 14438 (minisat_static) R 14432 14432 13568 0 -1 4194304 86331 0 0 0 64096 93 0 0 25 0 1 0 306636409 354607104 86317 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14438/statm: 86574 86317 77 171 0 86401 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 351652
[startup+702.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14438
/proc/meminfo: memFree=1416864/2055920 swapFree=4180408/4192956
[pid=14432] ppid=14430 vsize=5356 CPUtime=0.18
/proc/14432/stat : 14432 (SatELiteGTI) S 14430 14432 13568 0 -1 4194304 336 1609 0 0 0 0 17 1 16 0 1 0 306636390 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14432/statm: 1339 239 197 169 0 50 0
[pid=14438] ppid=14432 vsize=365568 CPUtime=701.87
/proc/14438/stat : 14438 (minisat_static) R 14432 14432 13568 0 -1 4194304 91150 0 0 0 70087 100 0 0 25 0 1 0 306636409 374341632 91136 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/14438/statm: 91392 91136 77 171 0 91219 0
Current children cumulated CPU time (s) 702.05
Current children cumulated vsize (KiB) 370924
[startup+762.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14438
/proc/meminfo: memFree=1396896/2055920 swapFree=4180408/4192956
[pid=14432] ppid=14430 vsize=5356 CPUtime=0.18
/proc/14432/stat : 14432 (SatELiteGTI) S 14430 14432 13568 0 -1 4194304 336 1609 0 0 0 0 17 1 16 0 1 0 306636390 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14432/statm: 1339 239 197 169 0 50 0
[pid=14438] ppid=14432 vsize=386016 CPUtime=761.86
/proc/14438/stat : 14438 (minisat_static) R 14432 14432 13568 0 -1 4194304 96077 0 0 0 76080 106 0 0 25 0 1 0 306636409 395280384 96063 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/14438/statm: 96504 96063 77 171 0 96331 0
Current children cumulated CPU time (s) 762.04
Current children cumulated vsize (KiB) 391372
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14438
/proc/meminfo: memFree=1378336/2055920 swapFree=4180408/4192956
[pid=14432] ppid=14430 vsize=5356 CPUtime=0.18
/proc/14432/stat : 14432 (SatELiteGTI) S 14430 14432 13568 0 -1 4194304 336 1609 0 0 0 0 17 1 16 0 1 0 306636390 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14432/statm: 1339 239 197 169 0 50 0
[pid=14438] ppid=14432 vsize=404496 CPUtime=821.84
/proc/14438/stat : 14438 (minisat_static) R 14432 14432 13568 0 -1 4194304 100715 0 0 0 82073 111 0 0 25 0 1 0 306636409 414203904 100701 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14438/statm: 101124 100701 77 171 0 100951 0
Current children cumulated CPU time (s) 822.02
Current children cumulated vsize (KiB) 409852
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14438
/proc/meminfo: memFree=1361120/2055920 swapFree=4180408/4192956
[pid=14432] ppid=14430 vsize=5356 CPUtime=0.18
/proc/14432/stat : 14432 (SatELiteGTI) S 14430 14432 13568 0 -1 4194304 336 1609 0 0 0 0 17 1 16 0 1 0 306636390 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14432/statm: 1339 239 197 169 0 50 0
[pid=14438] ppid=14432 vsize=421524 CPUtime=881.83
/proc/14438/stat : 14438 (minisat_static) R 14432 14432 13568 0 -1 4194304 104980 0 0 0 88067 116 0 0 25 0 1 0 306636409 431640576 104966 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/14438/statm: 105381 104966 77 171 0 105208 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 426880
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14438
/proc/meminfo: memFree=1342048/2055920 swapFree=4180408/4192956
[pid=14432] ppid=14430 vsize=5356 CPUtime=0.18
/proc/14432/stat : 14432 (SatELiteGTI) S 14430 14432 13568 0 -1 4194304 336 1609 0 0 0 0 17 1 16 0 1 0 306636390 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14432/statm: 1339 239 197 169 0 50 0
[pid=14438] ppid=14432 vsize=440532 CPUtime=941.81
/proc/14438/stat : 14438 (minisat_static) R 14432 14432 13568 0 -1 4194304 109769 0 0 0 94058 123 0 0 25 0 1 0 306636409 451104768 109755 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/14438/statm: 110133 109755 77 171 0 109960 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 445888
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14438
/proc/meminfo: memFree=1327648/2055920 swapFree=4180408/4192956
[pid=14432] ppid=14430 vsize=5356 CPUtime=0.18
/proc/14432/stat : 14432 (SatELiteGTI) S 14430 14432 13568 0 -1 4194304 336 1609 0 0 0 0 17 1 16 0 1 0 306636390 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14432/statm: 1339 239 197 169 0 50 0
[pid=14438] ppid=14432 vsize=454524 CPUtime=1001.8
/proc/14438/stat : 14438 (minisat_static) R 14432 14432 13568 0 -1 4194304 113283 0 0 0 100053 127 0 0 25 0 1 0 306636409 465432576 113269 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14438/statm: 113631 113269 77 171 0 113458 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 459880
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14438
/proc/meminfo: memFree=1320544/2055920 swapFree=4180408/4192956
[pid=14432] ppid=14430 vsize=5356 CPUtime=0.18
/proc/14432/stat : 14432 (SatELiteGTI) S 14430 14432 13568 0 -1 4194304 336 1609 0 0 0 0 17 1 16 0 1 0 306636390 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14432/statm: 1339 239 197 169 0 50 0
[pid=14438] ppid=14432 vsize=461520 CPUtime=1061.79
/proc/14438/stat : 14438 (minisat_static) R 14432 14432 13568 0 -1 4194304 115025 0 0 0 106049 130 0 0 25 0 1 0 306636409 472596480 115011 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14438/statm: 115380 115011 77 171 0 115207 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 466876
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14438
/proc/meminfo: memFree=1320480/2055920 swapFree=4180408/4192956
[pid=14432] ppid=14430 vsize=5356 CPUtime=0.18
/proc/14432/stat : 14432 (SatELiteGTI) S 14430 14432 13568 0 -1 4194304 336 1609 0 0 0 0 17 1 16 0 1 0 306636390 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14432/statm: 1339 239 197 169 0 50 0
[pid=14438] ppid=14432 vsize=461520 CPUtime=1121.77
/proc/14438/stat : 14438 (minisat_static) R 14432 14432 13568 0 -1 4194304 115025 0 0 0 112047 130 0 0 25 0 1 0 306636409 472596480 115011 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14438/statm: 115380 115011 77 171 0 115207 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 466876
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14438
/proc/meminfo: memFree=1320416/2055920 swapFree=4180408/4192956
[pid=14432] ppid=14430 vsize=5356 CPUtime=0.18
/proc/14432/stat : 14432 (SatELiteGTI) S 14430 14432 13568 0 -1 4194304 336 1609 0 0 0 0 17 1 16 0 1 0 306636390 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14432/statm: 1339 239 197 169 0 50 0
[pid=14438] ppid=14432 vsize=461520 CPUtime=1181.76
/proc/14438/stat : 14438 (minisat_static) R 14432 14432 13568 0 -1 4194304 115025 0 0 0 118046 130 0 0 25 0 1 0 306636409 472596480 115011 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/14438/statm: 115380 115011 77 171 0 115207 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 466876
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14438
/proc/meminfo: memFree=1317024/2055920 swapFree=4180408/4192956
[pid=14432] ppid=14430 vsize=5356 CPUtime=0.18
/proc/14432/stat : 14432 (SatELiteGTI) S 14430 14432 13568 0 -1 4194304 336 1609 0 0 0 0 17 1 16 0 1 0 306636390 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14432/statm: 1339 239 197 169 0 50 0
[pid=14438] ppid=14432 vsize=464820 CPUtime=1199.85
/proc/14438/stat : 14438 (minisat_static) R 14432 14432 13568 0 -1 4194304 115863 0 0 0 119854 131 0 0 25 0 1 0 306636409 475975680 115849 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/14438/statm: 116205 115849 77 171 0 116032 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 470176
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14432 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=172973
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=13997
# CPU time returned by wait4() is 0.18697
# while last known CPU time is 1200.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.41
CPU time (s): 1200.03
CPU user time (s): 1198.71
CPU system time (s): 1.32
CPU usage (%): 99.9682
Max. virtual memory (cumulated for all children) (KiB): 470176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.172973
system time used= 0.013997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1945
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= 5
runsolver used 1.37179 second user time and 3.09053 second system time
The end
Begin job on node52 at 2009-05-20 04:21:29
IDJOB=1832667
IDBENCH=70297
IDSOLVER=671
FILE ID=node52/1832667-1242786089
PBS_JOBID= 9322339
Free space on /tmp= 66140 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/10000/unif-k3-r4.2-v10000-c42000-S279212213-020.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832667-1242786089/watcher-1832667-1242786089 -o /tmp/evaluation-result-1832667-1242786089/solver-1832667-1242786089 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832667-1242786089.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 183c921e18805bcc408ca715f9914368
RANDOM SEED=1068013820
node52.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.214
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.214
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: 1784656 kB
Buffers: 34252 kB
Cached: 188380 kB
SwapCached: 7208 kB
Active: 45020 kB
Inactive: 187540 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1784656 kB
SwapTotal: 4192956 kB
SwapFree: 4180408 kB
Dirty: 2328 kB
Writeback: 0 kB
Mapped: 13580 kB
Slab: 24640 kB
Committed_AS: 1144776 kB
PageTables: 1500 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= 66136 MiB
End job on node52 at 2009-05-20 04:41:32