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 | 41703 126911 | -- 0 -- -- | -- | -297/911
0.00/0.14 c ==============================================================================
0.00/0.14 c Result : #vars: 9718 #clauses: 41703 #literals: 126911
0.00/0.14 c CPU time: 0.135979 s
0.00/0.14 c ==============================================================================
0.00/0.19 c This is MiniSat 2.0 beta
0.00/0.19 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.19 c ============================[ Problem Statistics ]=============================
0.00/0.19 c | |
0.00/0.19 c | Number of variables: 9718 |
0.00/0.19 c | Number of clauses: 41703 |
0.18/0.22 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 | 9718 41703 126911 | 13901 0 nan | 0.000 % |
0.18/0.25 c | 100 | 9718 41703 126911 | 13901 100 156 | 0.000 % |
0.18/0.28 c | 203 | 9718 41703 126911 | 13901 203 158 | 0.000 % |
0.18/0.31 c | 304 | 9718 41703 126911 | 13901 304 150 | 0.000 % |
0.18/0.34 c | 414 | 9718 41703 126911 | 13901 414 145 | 0.000 % |
0.18/0.37 c | 514 | 9718 41703 126911 | 13901 514 144 | 0.000 % |
0.18/0.41 c | 625 | 9718 41703 126911 | 13901 625 137 | 0.000 % |
0.18/0.44 c | 746 | 9718 41703 126911 | 13901 746 137 | 0.000 % |
0.18/0.47 c | 848 | 9718 41703 126911 | 13901 848 134 | 0.000 % |
0.18/0.50 c | 958 | 9718 41703 126911 | 13901 958 136 | 0.000 % |
0.18/0.53 c | 1079 | 9718 41703 126911 | 13901 1079 137 | 0.000 % |
0.18/0.58 c | 1212 | 9718 41703 126911 | 13901 1212 139 | 0.000 % |
0.18/0.60 c | 1312 | 9718 41703 126911 | 13901 1312 139 | 0.000 % |
0.18/0.63 c | 1422 | 9718 41703 126911 | 13901 1422 139 | 0.000 % |
0.18/0.67 c | 1543 | 9718 41703 126911 | 13901 1543 139 | 0.000 % |
0.18/0.71 c | 1676 | 9718 41703 126911 | 13901 1676 140 | 0.000 % |
0.18/0.75 c | 1823 | 9718 41703 126911 | 13901 1823 142 | 0.000 % |
0.18/0.78 c | 1923 | 9718 41703 126911 | 13901 1923 142 | 0.000 % |
0.18/0.81 c | 2033 | 9718 41703 126911 | 13901 2033 144 | 0.000 % |
0.18/0.85 c | 2154 | 9718 41703 126911 | 13901 2154 145 | 0.000 % |
0.18/0.89 c | 2289 | 9718 41703 126911 | 13901 2289 147 | 0.000 % |
0.18/0.94 c | 2436 | 9718 41703 126911 | 13901 2436 150 | 0.000 % |
0.18/0.99 c | 2596 | 9718 41703 126911 | 13901 2596 148 | 0.000 % |
0.98/1.03 c | 2697 | 9718 41703 126911 | 13901 2697 146 | 0.000 % |
0.98/1.06 c | 2809 | 9718 41703 126911 | 13901 2809 145 | 0.000 % |
1.08/1.10 c | 2930 | 9718 41703 126911 | 13901 2930 146 | 0.000 % |
1.08/1.15 c | 3063 | 9718 41703 126911 | 13901 3063 144 | 0.000 % |
1.08/1.19 c | 3209 | 9718 41703 126911 | 13901 3209 147 | 0.000 % |
1.17/1.24 c | 3373 | 9718 41703 126911 | 13901 3373 148 | 0.000 % |
1.27/1.30 c | 3549 | 9718 41703 126911 | 13901 3549 148 | 0.000 % |
1.27/1.34 c | 3650 | 9718 41703 126911 | 13901 3650 148 | 0.000 % |
1.27/1.37 c | 3760 | 9718 41703 126911 | 13901 3760 149 | 0.000 % |
1.37/1.42 c | 3882 | 9718 41703 126911 | 13901 3882 148 | 0.000 % |
1.37/1.46 c | 4016 | 9718 41703 126911 | 13901 4016 148 | 0.000 % |
1.47/1.51 c | 4165 | 9718 41703 126911 | 13901 4165 149 | 0.000 % |
1.47/1.56 c | 4326 | 9718 41703 126911 | 13901 4326 148 | 0.000 % |
1.57/1.62 c | 4503 | 9718 41703 126911 | 13901 4503 148 | 0.000 % |
1.57/1.68 c | 4696 | 9718 41703 126911 | 13901 4696 149 | 0.000 % |
1.67/1.71 c | 4799 | 9718 41703 126911 | 13901 4799 148 | 0.000 % |
1.67/1.75 c | 4911 | 9718 41703 126911 | 13901 4911 148 | 0.000 % |
1.67/1.80 c | 5033 | 9718 41703 126911 | 13901 5033 148 | 0.000 % |
1.77/1.84 c | 5166 | 9718 41703 126911 | 13901 5166 147 | 0.000 % |
1.77/1.89 c | 5312 | 9718 41703 126911 | 13901 5312 147 | 0.000 % |
1.87/1.95 c | 5473 | 9718 41703 126911 | 13901 5473 146 | 0.000 % |
1.97/2.01 c | 5649 | 9718 41703 126911 | 13901 5649 146 | 0.000 % |
1.97/2.08 c | 5842 | 9718 41703 126911 | 13901 5842 146 | 0.000 % |
2.07/2.15 c | 6054 | 9718 41703 126911 | 13901 6054 146 | 0.000 % |
2.07/2.18 c | 6154 | 9718 41703 126911 | 13901 6154 146 | 0.000 % |
2.18/2.22 c | 6264 | 9718 41703 126911 | 13901 6264 145 | 0.000 % |
2.18/2.26 c | 6385 | 9718 41703 126911 | 13901 6385 145 | 0.000 % |
2.28/2.31 c | 6518 | 9718 41703 126911 | 13901 6518 146 | 0.000 % |
2.28/2.37 c | 6664 | 9718 41703 126911 | 13901 6664 146 | 0.000 % |
2.38/2.43 c | 6825 | 9718 41703 126911 | 13901 6825 146 | 0.000 % |
2.38/2.49 c | 7003 | 9718 41703 126911 | 13901 7003 148 | 0.000 % |
2.48/2.57 c | 7197 | 9718 41703 126911 | 13901 7197 149 | 0.000 % |
2.57/2.64 c | 7411 | 9718 41703 126911 | 13901 7411 148 | 0.000 % |
2.67/2.73 c | 7645 | 9718 41703 126911 | 13901 7645 148 | 0.000 % |
2.67/2.77 c | 7746 | 9718 41703 126911 | 13901 7746 149 | 0.000 % |
2.77/2.81 c | 7856 | 9718 41703 126911 | 13901 7856 149 | 0.000 % |
2.77/2.85 c | 7978 | 9718 41703 126911 | 13901 7978 148 | 0.000 % |
2.87/2.90 c | 8111 | 9718 41703 126911 | 13901 8111 148 | 0.000 % |
2.87/2.95 c | 8259 | 9718 41703 126911 | 13901 8259 148 | 0.000 % |
2.97/3.01 c | 8420 | 9718 41703 126911 | 13901 8420 148 | 0.000 % |
2.97/3.07 c | 8596 | 9718 41703 126911 | 13901 8596 148 | 0.000 % |
3.07/3.14 c | 8790 | 9718 41703 126911 | 13901 8790 148 | 0.000 % |
3.18/3.22 c | 9002 | 9718 41703 126911 | 13901 9002 148 | 0.000 % |
3.28/3.31 c | 9235 | 9718 41703 126911 | 13901 9235 148 | 0.000 % |
3.37/3.40 c | 9491 | 9718 41703 126911 | 13901 9491 149 | 0.000 % |
3.37/3.44 c | 9592 | 9718 41703 126911 | 13901 9592 150 | 0.000 % |
3.37/3.47 c | 9702 | 9718 41703 126911 | 13901 9702 150 | 0.000 % |
3.47/3.52 c | 9823 | 9718 41703 126911 | 13901 9823 150 | 0.000 % |
3.47/3.57 c | 9957 | 9718 41703 126911 | 13901 9957 150 | 0.000 % |
3.57/3.63 c | 10104 | 9718 41703 126911 | 2147483647 10104 151 | 0.000 % |
3.57/3.69 c | 10264 | 9718 41703 126911 | 2147483647 10264 150 | 0.000 % |
3.67/3.75 c | 10440 | 9718 41703 126911 | 2147483647 10440 150 | 0.000 % |
3.77/3.83 c | 10633 | 9718 41703 126911 | 2147483647 10633 150 | 0.000 % |
3.87/3.91 c | 10845 | 9718 41703 126911 | 2147483647 10845 149 | 0.000 % |
3.87/3.99 c | 11078 | 9718 41703 126911 | 2147483647 11078 149 | 0.000 % |
3.97/4.09 c | 11334 | 9718 41703 126911 | 2147483647 11334 149 | 0.000 % |
4.17/4.20 c | 11615 | 9718 41703 126911 | 2147483647 11615 151 | 0.000 % |
4.17/4.25 c | 11715 | 9718 41703 126911 | 2147483647 11715 151 | 0.000 % |
4.17/4.29 c | 11825 | 9718 41703 126911 | 2147483647 11825 151 | 0.000 % |
4.27/4.34 c | 11946 | 9718 41703 126911 | 2147483647 11946 151 | 0.000 % |
4.27/4.39 c | 12080 | 9718 41703 126911 | 2147483647 12080 151 | 0.000 % |
4.37/4.45 c | 12226 | 9718 41703 126911 | 2147483647 12226 151 | 0.000 % |
4.47/4.51 c | 12388 | 9718 41703 126911 | 2147483647 12388 151 | 0.000 % |
4.47/4.58 c | 12566 | 9718 41703 126911 | 2147483647 12566 151 | 0.000 % |
4.57/4.66 c | 12759 | 9718 41703 126911 | 2147483647 12759 151 | 0.000 % |
4.67/4.75 c | 12973 | 9718 41703 126911 | 2147483647 12973 152 | 0.000 % |
4.78/4.84 c | 13210 | 9718 41703 126911 | 2147483647 13210 151 | 0.000 % |
4.88/4.94 c | 13469 | 9718 41703 126911 | 2147483647 13469 152 | 0.000 % |
4.98/5.04 c | 13752 | 9718 41703 126911 | 2147483647 13752 152 | 0.000 % |
5.08/5.17 c | 14061 | 9718 41703 126911 | 2147483647 14061 153 | 0.000 % |
5.17/5.21 c | 14161 | 9718 41703 126911 | 2147483647 14161 153 | 0.000 % |
5.17/5.26 c | 14273 | 9718 41703 126911 | 2147483647 14273 153 | 0.000 % |
5.27/5.31 c | 14396 | 9718 41703 126911 | 2147483647 14396 153 | 0.000 % |
5.27/5.37 c | 14530 | 9718 41703 126911 | 2147483647 14530 153 | 0.000 % |
5.38/5.43 c | 14676 | 9718 41703 126911 | 2147483647 14676 153 | 0.000 % |
5.38/5.50 c | 14837 | 9718 41703 126911 | 2147483647 14837 152 | 0.000 % |
5.48/5.57 c | 15013 | 9718 41703 126911 | 2147483647 15013 152 | 0.000 % |
5.57/5.65 c | 15209 | 9718 41703 126911 | 2147483647 15209 152 | 0.000 % |
5.67/5.74 c | 15422 | 9718 41703 126911 | 2147483647 15422 152 | 0.000 % |
5.77/5.84 c | 15656 | 9718 41703 126911 | 2147483647 15656 152 | 0.000 % |
5.87/5.94 c | 15913 | 9718 41703 126911 | 2147483647 15913 152 | 0.000 % |
5.97/6.05 c | 16194 | 9718 41703 126911 | 2147483647 16194 152 | 0.000 % |
6.07/6.18 c | 16504 | 9718 41703 126911 | 2147483647 16504 152 | 0.000 % |
6.27/6.33 c | 16845 | 9718 41703 126911 | 2147483647 16845 152 | 0.000 % |
6.27/6.37 c | 16946 | 9718 41703 126911 | 2147483647 16946 152 | 0.000 % |
6.37/6.43 c | 17056 | 9718 41703 126911 | 2147483647 17056 152 | 0.000 % |
6.37/6.48 c | 17177 | 9718 41703 126911 | 2147483647 17177 152 | 0.000 % |
6.48/6.54 c | 17310 | 9718 41703 126911 | 2147483647 17310 152 | 0.000 % |
6.58/6.61 c | 17456 | 9718 41703 126911 | 2147483647 17456 152 | 0.000 % |
6.58/6.68 c | 17617 | 9718 41703 126911 | 2147483647 17617 152 | 0.000 % |
6.67/6.76 c | 17793 | 9718 41703 126911 | 2147483647 17793 152 | 0.000 % |
6.77/6.85 c | 17988 | 9718 41703 126911 | 2147483647 17988 152 | 0.000 % |
6.87/6.95 c | 18201 | 9718 41703 126911 | 2147483647 18201 152 | 0.000 % |
6.97/7.05 c | 18435 | 9718 41703 126911 | 2147483647 18435 152 | 0.000 % |
7.07/7.16 c | 18691 | 9718 41703 126911 | 2147483647 18691 152 | 0.000 % |
7.17/7.28 c | 18974 | 9718 41703 126911 | 2147483647 18974 152 | 0.000 % |
7.37/7.40 c | 19286 | 9718 41703 126911 | 2147483647 19286 152 | 0.000 % |
7.47/7.56 c | 19626 | 9718 41703 126911 | 2147483647 19626 153 | 0.000 % |
7.67/7.72 c | 19999 | 9718 41703 126911 | 2147483647 19999 153 | 0.000 % |
7.67/7.76 c | 20100 | 9718 41703 126911 | 2147483647 20100 153 | 0.000 % |
7.77/7.81 c | 20211 | 9718 41703 126911 | 2147483647 20211 153 | 0.000 % |
7.77/7.87 c | 20334 | 9718 41703 126911 | 2147483647 20334 153 | 0.000 % |
7.87/7.93 c | 20467 | 9718 41703 126911 | 2147483647 20467 153 | 0.000 % |
7.87/7.99 c | 20613 | 9718 41703 126911 | 2147483647 20613 152 | 0.000 % |
7.97/8.06 c | 20773 | 9718 41703 126911 | 2147483647 20773 152 | 0.000 % |
8.07/8.14 c | 20952 | 9718 41703 126911 | 2147483647 20952 153 | 0.000 % |
8.17/8.24 c | 21145 | 9718 41703 126911 | 2147483647 21145 153 | 0.000 % |
8.27/8.34 c | 21358 | 9718 41703 126911 | 2147483647 21358 153 | 0.000 % |
8.37/8.45 c | 21592 | 9718 41703 126911 | 2147483647 21592 154 | 0.000 % |
8.47/8.58 c | 21848 | 9718 41703 126911 | 2147483647 21848 154 | 0.000 % |
8.68/8.71 c | 22129 | 9718 41703 126911 | 2147483647 22129 154 | 0.000 % |
8.78/8.85 c | 22439 | 9718 41703 126911 | 2147483647 22439 155 | 0.000 % |
8.87/8.99 c | 22778 | 9718 41703 126911 | 2147483647 22778 154 | 0.000 % |
9.07/9.16 c | 23150 | 9718 41703 126911 | 2147483647 23150 155 | 0.000 % |
9.27/9.34 c | 23562 | 9718 41703 126911 | 2147483647 23562 155 | 0.000 % |
9.37/9.40 c | 23662 | 9718 41703 126911 | 2147483647 23662 155 | 0.000 % |
9.37/9.45 c | 23774 | 9718 41703 126911 | 2147483647 23774 155 | 0.000 % |
9.47/9.51 c | 23897 | 9718 41703 126911 | 2147483647 23897 155 | 0.000 % |
9.47/9.58 c | 24031 | 9718 41703 126911 | 2147483647 24031 155 | 0.000 % |
9.57/9.65 c | 24178 | 9718 41703 126911 | 2147483647 24178 155 | 0.000 % |
9.67/9.73 c | 24338 | 9718 41703 126911 | 2147483647 24338 155 | 0.000 % |
9.77/9.81 c | 24514 | 9718 41703 126911 | 2147483647 24514 155 | 0.000 % |
9.87/9.91 c | 24707 | 9718 41703 126911 | 2147483647 24707 155 | 0.000 % |
9.97/10.01 c | 24920 | 9718 41703 126911 | 2147483647 24920 155 | 0.000 % |
10.07/10.11 c | 25156 | 9718 41703 126911 | 2147483647 25156 155 | 0.000 % |
10.17/10.22 c | 25412 | 9718 41703 126911 | 2147483647 25412 155 | 0.000 % |
10.27/10.36 c | 25695 | 9718 41703 126911 | 2147483647 25695 155 | 0.000 % |
10.47/10.51 c | 26004 | 9718 41703 126911 | 2147483647 26004 156 | 0.000 % |
10.57/10.69 c | 26345 | 9718 41703 126911 | 2147483647 26345 157 | 0.000 % |
10.77/10.89 c | 26719 | 9718 41703 126911 | 2147483647 26719 156 | 0.000 % |
10.98/11.09 c | 27128 | 9718 41703 126911 | 2147483647 27128 157 | 0.000 % |
11.27/11.30 c | 27577 | 9718 41703 126911 | 2147483647 27577 157 | 0.000 % |
11.27/11.36 c | 27677 | 9718 41703 126911 | 2147483647 27677 157 | 0.000 % |
11.37/11.42 c | 27788 | 9718 41703 126911 | 2147483647 27788 157 | 0.000 % |
11.37/11.48 c | 27911 | 9718 41703 126911 | 2147483647 27911 157 | 0.000 % |
11.47/11.55 c | 28045 | 9718 41703 126911 | 2147483647 28045 157 | 0.000 % |
11.57/11.62 c | 28191 | 9718 41703 126911 | 2147483647 28191 157 | 0.000 % |
11.67/11.71 c | 28352 | 9718 41703 126911 | 2147483647 28352 157 | 0.000 % |
11.77/11.80 c | 28528 | 9718 41703 126911 | 2147483647 28528 157 | 0.000 % |
11.87/11.91 c | 28721 | 9718 41703 126911 | 2147483647 28721 157 | 0.000 % |
11.97/12.02 c | 28933 | 9718 41703 126911 | 2147483647 28933 157 | 0.000 % |
12.07/12.14 c | 29167 | 9718 41703 126911 | 2147483647 29167 157 | 0.000 % |
12.17/12.26 c | 29424 | 9718 41703 126911 | 2147483647 29424 157 | 0.000 % |
12.37/12.40 c | 29706 | 9718 41703 126911 | 2147483647 29706 157 | 0.000 % |
12.46/12.55 c | 30016 | 9718 41703 126911 | 2147483647 30016 157 | 0.000 % |
12.67/12.73 c | 30355 | 9718 41703 126911 | 2147483647 30355 157 | 0.000 % |
12.87/12.92 c | 30728 | 9718 41703 126911 | 2147483647 30728 157 | 0.000 % |
13.08/13.12 c | 31137 | 9718 41703 126911 | 2147483647 31137 157 | 0.000 % |
13.27/13.33 c | 31587 | 9718 41703 126911 | 2147483647 31587 158 | 0.000 % |
13.47/13.60 c | 32081 | 9718 41703 126911 | 2147483647 32081 158 | 0.000 % |
13.57/13.65 c | 32181 | 9718 41703 126911 | 2147483647 32181 158 | 0.000 % |
13.67/13.72 c | 32292 | 9718 41703 126911 | 2147483647 32292 158 | 0.000 % |
13.67/13.78 c | 32413 | 9718 41703 126911 | 2147483647 32413 158 | 0.000 % |
13.77/13.85 c | 32547 | 9718 41703 126911 | 2147483647 32547 158 | 0.000 % |
13.87/13.94 c | 32694 | 9718 41703 126911 | 2147483647 32694 158 | 0.000 % |
13.97/14.02 c | 32855 | 9718 41703 126911 | 2147483647 32855 158 | 0.000 % |
14.07/14.12 c | 33031 | 9718 41703 126911 | 2147483647 33031 158 | 0.000 % |
14.17/14.23 c | 33224 | 9718 41703 126911 | 2147483647 33224 158 | 0.000 % |
14.27/14.34 c | 33436 | 9718 41703 126911 | 2147483647 33436 158 | 0.000 % |
14.37/14.46 c | 33670 | 9718 41703 126911 | 2147483647 33670 158 | 0.000 % |
14.47/14.59 c | 33926 | 9718 41703 126911 | 2147483647 33926 158 | 0.000 % |
14.66/14.75 c | 34207 | 9718 41703 126911 | 2147483647 34207 158 | 0.000 % |
14.86/14.91 c | 34517 | 9718 41703 126911 | 2147483647 34517 158 | 0.000 % |
15.06/15.10 c | 34857 | 9718 41703 126911 | 2147483647 34857 159 | 0.000 % |
15.16/15.29 c | 35230 | 9718 41703 126911 | 2147483647 35230 159 | 0.000 % |
15.47/15.52 c | 35641 | 9718 41703 126911 | 2147483647 35641 159 | 0.000 % |
15.67/15.75 c | 36090 | 9718 41703 126911 | 2147483647 36090 160 | 0.000 % |
15.97/16.03 c | 36584 | 9718 41703 126911 | 2147483647 36584 160 | 0.000 % |
16.27/16.32 c | 37127 | 9718 41703 126911 | 2147483647 37127 160 | 0.000 % |
16.27/16.38 c | 37227 | 9718 41703 126911 | 2147483647 37227 160 | 0.000 % |
16.37/16.45 c | 37338 | 9718 41703 126911 | 2147483647 37338 160 | 0.000 % |
16.47/16.52 c | 37459 | 9718 41703 126911 | 2147483647 37459 160 | 0.000 % |
16.47/16.59 c | 37592 | 9718 41703 126911 | 2147483647 37592 160 | 0.000 % |
16.57/16.68 c | 37738 | 9718 41703 126911 | 2147483647 37738 160 | 0.000 % |
16.67/16.78 c | 37898 | 9718 41703 126911 | 2147483647 37898 160 | 0.000 % |
16.76/16.88 c | 38076 | 9718 41703 126911 | 2147483647 38076 160 | 0.000 % |
16.86/16.99 c | 38269 | 9718 41703 126911 | 2147483647 38269 160 | 0.000 % |
17.06/17.11 c | 38481 | 9718 41703 126911 | 2147483647 38481 160 | 0.000 % |
17.16/17.24 c | 38714 | 9718 41703 126911 | 2147483647 38714 160 | 0.000 % |
17.26/17.38 c | 38971 | 9718 41703 126911 | 2147483647 38971 161 | 0.000 % |
17.48/17.52 c | 39252 | 9718 41703 126911 | 2147483647 39252 161 | 0.000 % |
17.58/17.69 c | 39562 | 9718 41703 126911 | 2147483647 39562 160 | 0.000 % |
17.77/17.87 c | 39901 | 9718 41703 126911 | 2147483647 39901 161 | 0.000 % |
17.97/18.06 c | 40274 | 9718 41703 126911 | 2147483647 40274 161 | 0.000 % |
18.17/18.28 c | 40683 | 9718 41703 126911 | 2147483647 40683 161 | 0.000 % |
18.47/18.53 c | 41132 | 9718 41703 126911 | 2147483647 41132 161 | 0.000 % |
18.77/18.80 c | 41626 | 9718 41703 126911 | 2147483647 41626 161 | 0.000 % |
19.07/19.13 c | 42168 | 9718 41703 126911 | 2147483647 42168 161 | 0.000 % |
19.37/19.46 c | 42764 | 9718 41703 126911 | 2147483647 42764 161 | 0.000 % |
19.47/19.53 c | 42865 | 9718 41703 126911 | 2147483647 42865 161 | 0.000 % |
19.47/19.59 c | 42975 | 9718 41703 126911 | 2147483647 42975 161 | 0.000 % |
19.57/19.67 c | 43097 | 9718 41703 126911 | 2147483647 43097 161 | 0.000 % |
19.67/19.76 c | 43230 | 9718 41703 126911 | 2147483647 43230 161 | 0.000 % |
19.77/19.86 c | 43378 | 9718 41703 126911 | 2147483647 43378 161 | 0.000 % |
19.86/19.96 c | 43538 | 9718 41703 126911 | 2147483647 43538 161 | 0.000 % |
19.96/20.07 c | 43714 | 9718 41703 126911 | 2147483647 43714 161 | 0.000 % |
20.06/20.18 c | 43911 | 9718 41703 126911 | 2147483647 43911 161 | 0.000 % |
20.27/20.31 c | 44125 | 9718 41703 126911 | 2147483647 44125 161 | 0.000 % |
20.37/20.44 c | 44360 | 9718 41703 126911 | 2147483647 44360 161 | 0.000 % |
20.47/20.58 c | 44616 | 9718 41703 126911 | 2147483647 44616 161 | 0.000 % |
20.67/20.76 c | 44898 | 9718 41703 126911 | 2147483647 44898 161 | 0.000 % |
20.87/20.95 c | 45208 | 9718 41703 126911 | 2147483647 45208 161 | 0.000 % |
21.07/21.13 c | 45548 | 9718 41703 126911 | 2147483647 45548 161 | 0.000 % |
21.27/21.35 c | 45921 | 9718 41703 126911 | 2147483647 45921 161 | 0.000 % |
21.57/21.60 c | 46330 | 9718 41703 126911 | 2147483647 46330 161 | 0.000 % |
21.77/21.88 c | 46780 | 9718 41703 126911 | 2147483647 46780 161 | 0.000 % |
22.07/22.17 c | 47273 | 9718 41703 126911 | 2147483647 47273 161 | 0.000 % |
22.47/22.51 c | 47817 | 9718 41703 126911 | 2147483647 47817 161 | 0.000 % |
22.77/22.85 c | 48414 | 9718 41703 126911 | 2147483647 48414 162 | 0.000 % |
23.16/23.26 c | 49070 | 9718 41703 126911 | 2147483647 49070 163 | 0.000 % |
23.26/23.33 c | 49170 | 9718 41703 126911 | 2147483647 49170 163 | 0.000 % |
23.36/23.41 c | 49281 | 9718 41703 126911 | 2147483647 49281 163 | 0.000 % |
23.36/23.48 c | 49403 | 9718 41703 126911 | 2147483647 49403 163 | 0.000 % |
23.46/23.57 c | 49536 | 9718 41703 126911 | 2147483647 49536 163 | 0.000 % |
23.56/23.68 c | 49686 | 9718 41703 126911 | 2147483647 49686 163 | 0.000 % |
23.66/23.78 c | 49846 | 9718 41703 126911 | 2147483647 49846 163 | 0.000 % |
23.86/23.90 c | 50023 | 9718 41703 126911 | 2147483647 50023 163 | 0.000 % |
23.96/24.04 c | 50217 | 9718 41703 126911 | 2147483647 50217 163 | 0.000 % |
24.07/24.18 c | 50429 | 9718 41703 126911 | 2147483647 50429 163 | 0.000 % |
24.26/24.33 c | 50662 | 9718 41703 126911 | 2147483647 50662 163 | 0.000 % |
24.36/24.48 c | 50919 | 9718 41703 126911 | 2147483647 50919 162 | 0.000 % |
24.56/24.66 c | 51200 | 9718 41703 126911 | 2147483647 51200 162 | 0.000 % |
24.77/24.85 c | 51509 | 9718 41703 126911 | 2147483647 51509 163 | 0.000 % |
24.97/25.07 c | 51850 | 9718 41703 126911 | 2147483647 51850 163 | 0.000 % |
25.18/25.30 c | 52224 | 9718 41703 126911 | 2147483647 52224 163 | 0.000 % |
25.47/25.54 c | 52633 | 9718 41703 126911 | 2147483647 52633 163 | 0.000 % |
25.77/25.80 c | 53085 | 9718 41703 126911 | 2147483647 53085 163 | 0.000 % |
26.07/26.10 c | 53580 | 9718 41703 126911 | 2147483647 53580 163 | 0.000 % |
26.37/26.45 c | 54123 | 9718 41703 126911 | 2147483647 54123 163 | 0.000 % |
26.76/26.84 c | 54720 | 9718 41703 126911 | 2147483647 54720 163 | 0.000 % |
27.16/27.26 c | 55375 | 9718 41703 126911 | 2147483647 55375 164 | 0.000 % |
27.66/27.73 c | 56095 | 9718 41703 126911 | 2147483647 56095 164 | 0.000 % |
27.76/27.80 c | 56195 | 9718 41703 126911 | 2147483647 56195 164 | 0.000 % |
27.76/27.88 c | 56307 | 9718 41703 126911 | 2147483647 56307 164 | 0.000 % |
27.86/27.97 c | 56428 | 9718 41703 126911 | 2147483647 56428 164 | 0.000 % |
27.96/28.07 c | 56561 | 9718 41703 126911 | 2147483647 56561 164 | 0.000 % |
28.06/28.19 c | 56707 | 9718 41703 126911 | 2147483647 56707 164 | 0.000 % |
28.16/28.29 c | 56867 | 9718 41703 126911 | 2147483647 56867 164 | 0.000 % |
28.36/28.42 c | 57043 | 9718 41703 126911 | 2147483647 57043 163 | 0.000 % |
28.46/28.56 c | 57236 | 9718 41703 126911 | 2147483647 57236 163 | 0.000 % |
28.67/28.72 c | 57448 | 9718 41703 126911 | 2147483647 57448 163 | 0.000 % |
28.77/28.88 c | 57682 | 9718 41703 126911 | 2147483647 57682 163 | 0.000 % |
28.97/29.05 c | 57938 | 9718 41703 126911 | 2147483647 57938 163 | 0.000 % |
29.17/29.25 c | 58219 | 9718 41703 126911 | 2147483647 58219 163 | 0.000 % |
29.37/29.44 c | 58529 | 9718 41703 126911 | 2147483647 58529 163 | 0.000 % |
29.57/29.69 c | 58870 | 9718 41703 126911 | 2147483647 58870 163 | 0.000 % |
29.87/29.95 c | 59244 | 9718 41703 126911 | 2147483647 59244 163 | 0.000 % |
30.17/30.22 c | 59653 | 9718 41703 126911 | 2147483647 59653 164 | 0.000 % |
30.47/30.54 c | 60104 | 9718 41703 126911 | 2147483647 60104 164 | 0.000 % |
30.77/30.85 c | 60598 | 9718 41703 126911 | 2147483647 60598 164 | 0.000 % |
31.17/31.23 c | 61141 | 9718 41703 126911 | 2147483647 61141 164 | 0.000 % |
31.57/31.63 c | 61738 | 9718 41703 126911 | 2147483647 61738 164 | 0.000 % |
31.96/32.09 c | 62393 | 9718 41703 126911 | 2147483647 62393 164 | 0.000 % |
32.47/32.59 c | 63114 | 9718 41703 126911 | 2147483647 63114 164 | 0.000 % |
33.06/33.14 c | 63906 | 9718 41703 126911 | 2147483647 63906 165 | 0.000 % |
33.16/33.22 c | 64006 | 9718 41703 126911 | 2147483647 64006 165 | 0.000 % |
33.26/33.32 c | 64116 | 9718 41703 126911 | 2147483647 64116 165 | 0.000 % |
33.36/33.42 c | 64240 | 9718 41703 126911 | 2147483647 64240 165 | 0.000 % |
33.46/33.52 c | 64374 | 9718 41703 126911 | 2147483647 64374 164 | 0.000 % |
33.56/33.63 c | 64521 | 9718 41703 126911 | 2147483647 64521 164 | 0.000 % |
33.66/33.75 c | 64682 | 9718 41703 126911 | 2147483647 64682 164 | 0.000 % |
33.76/33.89 c | 64859 | 9718 41703 126911 | 2147483647 64859 164 | 0.000 % |
33.97/34.03 c | 65053 | 9718 41703 126911 | 2147483647 65053 164 | 0.000 % |
34.16/34.22 c | 65265 | 9718 41703 126911 | 2147483647 65265 164 | 0.000 % |
34.26/34.39 c | 65499 | 9718 41703 126911 | 2147483647 65499 164 | 0.000 % |
34.46/34.57 c | 65756 | 9718 41703 126911 | 2147483647 65756 164 | 0.000 % |
34.66/34.78 c | 66037 | 9718 41703 126911 | 2147483647 66037 164 | 0.000 % |
34.96/35.01 c | 66348 | 9718 41703 126911 | 2147483647 66348 164 | 0.000 % |
35.16/35.27 c | 66687 | 9718 41703 126911 | 2147483647 66687 164 | 0.000 % |
35.46/35.55 c | 67061 | 9718 41703 126911 | 2147483647 67061 164 | 0.000 % |
35.76/35.89 c | 67470 | 9718 41703 126911 | 2147483647 67470 164 | 0.000 % |
36.17/36.23 c | 67919 | 9718 41703 126911 | 2147483647 67919 164 | 0.000 % |
36.57/36.60 c | 68412 | 9718 41703 126911 | 2147483647 68412 164 | 0.000 % |
36.87/37.00 c | 68955 | 9718 41703 126911 | 2147483647 68955 165 | 0.000 % |
37.37/37.46 c | 69551 | 9718 41703 126911 | 2147483647 69551 165 | 0.000 % |
37.87/37.91 c | 70206 | 9718 41703 126911 | 2147483647 70206 165 | 0.000 % |
38.37/38.41 c | 70926 | 9718 41703 126911 | 2147483647 70926 165 | 0.000 % |
38.86/38.97 c | 71722 | 9718 41703 126911 | 2147483647 71722 165 | 0.000 % |
39.57/39.66 c | 72593 | 9718 41703 126911 | 2147483647 72593 166 | 0.000 % |
39.67/39.76 c | 72694 | 9718 41703 126911 | 2147483647 72694 166 | 0.000 % |
39.77/39.84 c | 72805 | 9718 41703 126911 | 2147483647 72805 166 | 0.000 % |
39.86/39.95 c | 72926 | 9718 41703 126911 | 2147483647 72926 166 | 0.000 % |
39.96/40.07 c | 73064 | 9718 41703 126911 | 2147483647 73064 166 | 0.000 % |
40.16/40.21 c | 73210 | 9718 41703 126911 | 2147483647 73210 166 | 0.000 % |
40.26/40.35 c | 73370 | 9718 41703 126911 | 2147483647 73370 166 | 0.000 % |
40.36/40.48 c | 73546 | 9718 41703 126911 | 2147483647 73546 166 | 0.000 % |
40.57/40.64 c | 73739 | 9718 41703 126911 | 2147483647 73739 166 | 0.000 % |
40.76/40.80 c | 73951 | 9718 41703 126911 | 2147483647 73951 166 | 0.000 % |
40.86/40.96 c | 74184 | 9718 41703 126911 | 2147483647 74184 166 | 0.000 % |
41.06/41.17 c | 74441 | 9718 41703 126911 | 2147483647 74441 166 | 0.000 % |
41.26/41.37 c | 74722 | 9718 41703 126911 | 2147483647 74722 166 | 0.000 % |
41.56/41.62 c | 75031 | 9718 41703 126911 | 2147483647 75031 166 | 0.000 % |
41.76/41.88 c | 75370 | 9718 41703 126911 | 2147483647 75370 166 | 0.000 % |
42.06/42.18 c | 75744 | 9718 41703 126911 | 2147483647 75744 166 | 0.000 % |
42.36/42.49 c | 76153 | 9718 41703 126911 | 2147483647 76153 166 | 0.000 % |
42.76/42.83 c | 76602 | 9718 41703 126911 | 2147483647 76602 166 | 0.000 % |
43.16/43.22 c | 77095 | 9718 41703 126911 | 2147483647 77095 166 | 0.000 % |
43.56/43.64 c | 77637 | 9718 41703 126911 | 2147483647 77637 166 | 0.000 % |
43.96/44.09 c | 78233 | 9718 41703 126911 | 2147483647 78233 166 | 0.000 % |
44.56/44.61 c | 78888 | 9718 41703 126911 | 2147483647 78888 167 | 0.000 % |
45.07/45.17 c | 79609 | 9718 41703 126911 | 2147483647 79609 167 | 0.000 % |
45.66/45.78 c | 80401 | 9718 41703 126911 | 2147483647 80401 167 | 0.000 % |
46.36/46.46 c | 81274 | 9718 41703 126911 | 2147483647 81274 168 | 0.000 % |
47.17/47.23 c | 82234 | 9718 41703 126911 | 2147483647 82234 168 | 0.000 % |
47.27/47.33 c | 82338 | 9718 41703 126911 | 2147483647 82338 168 | 0.000 % |
47.36/47.42 c | 82448 | 9718 41703 126911 | 2147483647 82448 168 | 0.000 % |
47.46/47.54 c | 82570 | 9718 41703 126911 | 2147483647 82570 168 | 0.000 % |
47.56/47.68 c | 82704 | 9718 41703 126911 | 2147483647 82704 168 | 0.000 % |
47.76/47.82 c | 82850 | 9718 41703 126911 | 2147483647 82850 168 | 0.000 % |
47.86/47.97 c | 83010 | 9718 41703 126911 | 2147483647 83010 168 | 0.000 % |
48.06/48.14 c | 83186 | 9718 41703 126911 | 2147483647 83186 168 | 0.000 % |
48.16/48.30 c | 83379 | 9718 41703 126911 | 2147483647 83379 168 | 0.000 % |
48.37/48.49 c | 83591 | 9718 41703 126911 | 2147483647 83591 168 | 0.000 % |
48.66/48.71 c | 83826 | 9718 41703 126911 | 2147483647 83826 167 | 0.000 % |
48.86/48.92 c | 84084 | 9718 41703 126911 | 2147483647 84084 167 | 0.000 % |
49.06/49.19 c | 84366 | 9718 41703 126911 | 2147483647 84366 167 | 0.000 % |
49.36/49.45 c | 84675 | 9718 41703 126911 | 2147483647 84675 167 | 0.000 % |
49.66/49.74 c | 85015 | 9718 41703 126911 | 2147483647 85015 167 | 0.000 % |
49.97/50.07 c | 85388 | 9718 41703 126911 | 2147483647 85388 167 | 0.000 % |
50.37/50.43 c | 85797 | 9718 41703 126911 | 2147483647 85797 168 | 0.000 % |
50.77/50.81 c | 86247 | 9718 41703 126911 | 2147483647 86247 168 | 0.000 % |
51.16/51.20 c | 86743 | 9718 41703 126911 | 2147483647 86743 168 | 0.000 % |
51.57/51.66 c | 87286 | 9718 41703 126911 | 2147483647 87286 168 | 0.000 % |
52.06/52.16 c | 87884 | 9718 41703 126911 | 2147483647 87884 168 | 0.000 % |
52.67/52.71 c | 88540 | 9718 41703 126911 | 2147483647 88540 169 | 0.000 % |
53.26/53.35 c | 89263 | 9718 41703 126911 | 2147483647 89263 169 | 0.000 % |
53.86/53.99 c | 90056 | 9718 41703 126911 | 2147483647 90056 169 | 0.000 % |
54.65/54.79 c | 90927 | 9718 41703 126911 | 2147483647 90927 169 | 0.000 % |
55.56/55.61 c | 91887 | 9718 41703 126911 | 2147483647 91887 169 | 0.000 % |
56.46/56.52 c | 92940 | 9718 41703 126911 | 2147483647 92940 170 | 0.000 % |
56.56/56.61 c | 93044 | 9718 41703 126911 | 2147483647 93044 170 | 0.000 % |
56.66/56.74 c | 93154 | 9718 41703 126911 | 2147483647 93154 170 | 0.000 % |
56.76/56.86 c | 93276 | 9718 41703 126911 | 2147483647 93276 170 | 0.000 % |
56.86/56.98 c | 93409 | 9718 41703 126911 | 2147483647 93409 170 | 0.000 % |
57.07/57.13 c | 93557 | 9718 41703 126911 | 2147483647 93557 170 | 0.000 % |
57.17/57.29 c | 93717 | 9718 41703 126911 | 2147483647 93717 169 | 0.000 % |
57.36/57.44 c | 93894 | 9718 41703 126911 | 2147483647 93894 170 | 0.000 % |
57.56/57.61 c | 94087 | 9718 41703 126911 | 2147483647 94087 169 | 0.000 % |
57.76/57.82 c | 94300 | 9718 41703 126911 | 2147483647 94300 169 | 0.000 % |
57.96/58.03 c | 94535 | 9718 41703 126911 | 2147483647 94535 169 | 0.000 % |
58.16/58.29 c | 94793 | 9718 41703 126911 | 2147483647 94793 169 | 0.000 % |
58.45/58.54 c | 95075 | 9718 41703 126911 | 2147483647 95075 170 | 0.000 % |
58.75/58.83 c | 95384 | 9718 41703 126911 | 2147483647 95384 170 | 0.000 % |
59.06/59.14 c | 95723 | 9718 41703 126911 | 2147483647 95723 170 | 0.000 % |
59.37/59.48 c | 96095 | 9718 41703 126911 | 2147483647 96095 170 | 0.000 % |
59.76/59.85 c | 96506 | 9718 41703 126911 | 2147483647 96506 170 | 0.000 % |
60.16/60.22 c | 96956 | 9718 41703 126911 | 2147483647 96956 170 | 0.000 % |
60.56/60.66 c | 97449 | 9718 41703 126911 | 2147483647 97449 170 | 0.000 % |
61.06/61.12 c | 97991 | 9718 41703 126911 | 2147483647 97991 170 | 0.000 % |
61.56/61.64 c | 98588 | 9718 41703 126911 | 2147483647 98588 170 | 0.000 % |
62.16/62.22 c | 99243 | 9718 41703 126911 | 2147483647 99243 170 | 0.000 % |
62.76/62.84 c | 99966 | 9718 41703 126911 | 2147483647 99966 170 | 0.000 % |
63.46/63.55 c | 100758 | 9718 41703 126911 | 2147483647 100758 171 | 0.000 % |
64.26/64.32 c | 101629 | 9718 41703 126911 | 2147483647 101629 171 | 0.000 % |
65.06/65.13 c | 102587 | 9718 41703 126911 | 2147483647 102587 171 | 0.000 % |
65.96/66.03 c | 103641 | 9718 41703 126911 | 2147483647 103641 171 | 0.000 % |
66.96/67.04 c | 104800 | 9718 41703 126911 | 2147483647 104800 171 | 0.000 % |
67.06/67.15 c | 104900 | 9718 41703 126911 | 2147483647 104900 171 | 0.000 % |
67.15/67.27 c | 105011 | 9718 41703 126911 | 2147483647 105011 171 | 0.000 % |
67.35/67.43 c | 105133 | 9718 41703 126911 | 2147483647 105133 171 | 0.000 % |
67.45/67.57 c | 105267 | 9718 41703 126911 | 2147483647 105267 171 | 0.000 % |
67.66/67.72 c | 105413 | 9718 41703 126911 | 2147483647 105413 171 | 0.000 % |
67.86/67.90 c | 105573 | 9718 41703 126911 | 2147483647 105573 171 | 0.000 % |
67.96/68.09 c | 105750 | 9718 41703 126911 | 2147483647 105750 171 | 0.000 % |
68.16/68.29 c | 105944 | 9718 41703 126911 | 2147483647 105944 171 | 0.000 % |
68.46/68.50 c | 106156 | 9718 41703 126911 | 2147483647 106156 171 | 0.000 % |
68.66/68.74 c | 106390 | 9718 41703 126911 | 2147483647 106390 171 | 0.000 % |
68.96/69.00 c | 106646 | 9718 41703 126911 | 2147483647 106646 171 | 0.000 % |
69.16/69.27 c | 106928 | 9718 41703 126911 | 2147483647 106928 171 | 0.000 % |
69.46/69.58 c | 107237 | 9718 41703 126911 | 2147483647 107237 171 | 0.000 % |
69.86/69.90 c | 107578 | 9718 41703 126911 | 2147483647 107578 171 | 0.000 % |
70.16/70.30 c | 107951 | 9718 41703 126911 | 2147483647 107951 171 | 0.000 % |
70.65/70.70 c | 108362 | 9718 41703 126911 | 2147483647 108362 172 | 0.000 % |
71.05/71.16 c | 108814 | 9718 41703 126911 | 2147483647 108814 172 | 0.000 % |
71.55/71.61 c | 109308 | 9718 41703 126911 | 2147483647 109308 171 | 0.000 % |
72.05/72.14 c | 109851 | 9718 41703 126911 | 2147483647 109851 172 | 0.000 % |
72.65/72.70 c | 110447 | 9718 41703 126911 | 2147483647 110447 172 | 0.000 % |
73.26/73.30 c | 111102 | 9718 41703 126911 | 2147483647 111102 172 | 0.000 % |
73.96/74.00 c | 111823 | 9718 41703 126911 | 2147483647 111823 172 | 0.000 % |
74.66/74.73 c | 112615 | 9718 41703 126911 | 2147483647 112615 172 | 0.000 % |
75.45/75.57 c | 113486 | 9718 41703 126911 | 2147483647 113486 172 | 0.000 % |
76.45/76.57 c | 114444 | 9718 41703 126911 | 2147483647 114444 172 | 0.000 % |
77.46/77.57 c | 115497 | 9718 41703 126911 | 2147483647 115497 173 | 0.000 % |
78.56/78.68 c | 116657 | 9718 41703 126911 | 2147483647 116657 173 | 0.000 % |
79.75/79.90 c | 117930 | 9718 41703 126911 | 2147483647 117930 173 | 0.000 % |
79.95/80.00 c | 118031 | 9718 41703 126911 | 2147483647 118031 173 | 0.000 % |
80.05/80.14 c | 118145 | 9718 41703 126911 | 2147483647 118145 173 | 0.000 % |
80.15/80.29 c | 118266 | 9718 41703 126911 | 2147483647 118266 173 | 0.000 % |
80.35/80.44 c | 118402 | 9718 41703 126911 | 2147483647 118402 173 | 0.000 % |
80.55/80.62 c | 118549 | 9718 41703 126911 | 2147483647 118549 173 | 0.000 % |
80.65/80.79 c | 118709 | 9718 41703 126911 | 2147483647 118709 173 | 0.000 % |
80.85/80.98 c | 118885 | 9718 41703 126911 | 2147483647 118885 173 | 0.000 % |
81.05/81.19 c | 119078 | 9718 41703 126911 | 2147483647 119078 173 | 0.000 % |
81.36/81.45 c | 119292 | 9718 41703 126911 | 2147483647 119292 173 | 0.000 % |
81.66/81.71 c | 119525 | 9718 41703 126911 | 2147483647 119525 173 | 0.000 % |
81.96/82.04 c | 119781 | 9718 41703 126911 | 2147483647 119781 173 | 0.000 % |
82.26/82.33 c | 120062 | 9718 41703 126911 | 2147483647 120062 173 | 0.000 % |
82.56/82.68 c | 120372 | 9718 41703 126911 | 2147483647 120372 173 | 0.000 % |
82.95/83.02 c | 120713 | 9718 41703 126911 | 2147483647 120713 173 | 0.000 % |
83.35/83.41 c | 121087 | 9718 41703 126911 | 2147483647 121087 173 | 0.000 % |
83.75/83.84 c | 121498 | 9718 41703 126911 | 2147483647 121498 173 | 0.000 % |
84.25/84.32 c | 121950 | 9718 41703 126911 | 2147483647 121950 173 | 0.000 % |
84.75/84.85 c | 122443 | 9718 41703 126911 | 2147483647 122443 173 | 0.000 % |
85.35/85.41 c | 122985 | 9718 41703 126911 | 2147483647 122985 173 | 0.000 % |
85.95/86.02 c | 123581 | 9718 41703 126911 | 2147483647 123581 173 | 0.000 % |
86.65/86.73 c | 124237 | 9718 41703 126911 | 2147483647 124237 173 | 0.000 % |
87.35/87.43 c | 124957 | 9718 41703 126911 | 2147483647 124957 173 | 0.000 % |
88.15/88.25 c | 125750 | 9718 41703 126911 | 2147483647 125750 173 | 0.000 % |
89.05/89.11 c | 126621 | 9718 41703 126911 | 2147483647 126621 174 | 0.000 % |
90.05/90.14 c | 127579 | 9718 41703 126911 | 2147483647 127579 174 | 0.000 % |
91.16/91.25 c | 128633 | 9718 41703 126911 | 2147483647 128633 174 | 0.000 % |
92.25/92.39 c | 129792 | 9718 41703 126911 | 2147483647 129792 174 | 0.000 % |
93.64/93.72 c | 131065 | 9718 41703 126911 | 2147483647 131065 175 | 0.000 % |
95.15/95.20 c | 132465 | 9718 41703 126911 | 2147483647 132465 175 | 0.000 % |
95.25/95.33 c | 132565 | 9718 41703 126911 | 2147483647 132565 175 | 0.000 % |
95.35/95.49 c | 132675 | 9718 41703 126911 | 2147483647 132675 175 | 0.000 % |
95.56/95.65 c | 132796 | 9718 41703 126911 | 2147483647 132796 175 | 0.000 % |
95.75/95.82 c | 132929 | 9718 41703 126911 | 2147483647 132929 175 | 0.000 % |
95.95/96.01 c | 133076 | 9718 41703 126911 | 2147483647 133076 175 | 0.000 % |
96.15/96.20 c | 133237 | 9718 41703 126911 | 2147483647 133237 175 | 0.000 % |
96.35/96.42 c | 133415 | 9718 41703 126911 | 2147483647 133415 175 | 0.000 % |
96.55/96.67 c | 133609 | 9718 41703 126911 | 2147483647 133609 175 | 0.000 % |
96.85/96.92 c | 133822 | 9718 41703 126911 | 2147483647 133822 175 | 0.000 % |
97.15/97.21 c | 134056 | 9718 41703 126911 | 2147483647 134056 175 | 0.000 % |
97.45/97.54 c | 134312 | 9718 41703 126911 | 2147483647 134312 175 | 0.000 % |
97.76/97.88 c | 134594 | 9718 41703 126911 | 2147483647 134594 175 | 0.000 % |
98.15/98.24 c | 134903 | 9718 41703 126911 | 2147483647 134903 175 | 0.000 % |
98.55/98.63 c | 135244 | 9718 41703 126911 | 2147483647 135244 175 | 0.000 % |
98.95/99.04 c | 135617 | 9718 41703 126911 | 2147483647 135617 175 | 0.000 % |
99.45/99.52 c | 136027 | 9718 41703 126911 | 2147483647 136027 175 | 0.000 % |
99.95/100.03 c | 136476 | 9718 41703 126911 | 2147483647 136476 175 | 0.000 % |
100.44/100.55 c | 136972 | 9718 41703 126911 | 2147483647 136972 175 | 0.000 % |
101.05/101.18 c | 137514 | 9718 41703 126911 | 2147483647 137514 175 | 0.000 % |
101.75/101.87 c | 138110 | 9718 41703 126911 | 2147483647 138110 175 | 0.000 % |
102.45/102.59 c | 138765 | 9718 41703 126911 | 2147483647 138765 175 | 0.000 % |
103.25/103.34 c | 139485 | 9718 41703 126911 | 2147483647 139485 175 | 0.000 % |
104.05/104.17 c | 140277 | 9718 41703 126911 | 2147483647 140277 175 | 0.000 % |
104.85/105.00 c | 141148 | 9718 41703 126911 | 2147483647 141148 176 | 0.000 % |
105.95/106.06 c | 142107 | 9718 41703 126911 | 2147483647 142107 176 | 0.000 % |
107.15/107.22 c | 143163 | 9718 41703 126911 | 2147483647 143163 176 | 0.000 % |
108.35/108.43 c | 144321 | 9718 41703 126911 | 2147483647 144321 176 | 0.000 % |
109.74/109.82 c | 145594 | 9718 41703 126911 | 2147483647 145594 176 | 0.000 % |
111.25/111.30 c | 146995 | 9718 41703 126911 | 2147483647 146995 177 | 0.000 % |
112.94/113.02 c | 148536 | 9718 41703 126911 | 2147483647 148536 177 | 0.000 % |
113.04/113.18 c | 148636 | 9718 41703 126911 | 2147483647 148636 177 | 0.000 % |
113.24/113.34 c | 148748 | 9718 41703 126911 | 2147483647 148748 177 | 0.000 % |
113.44/113.52 c | 148870 | 9718 41703 126911 | 2147483647 148870 177 | 0.000 % |
113.64/113.72 c | 149004 | 9718 41703 126911 | 2147483647 149004 177 | 0.000 % |
113.84/113.91 c | 149152 | 9718 41703 126911 | 2147483647 149152 177 | 0.000 % |
114.04/114.13 c | 149312 | 9718 41703 126911 | 2147483647 149312 177 | 0.000 % |
114.34/114.40 c | 149488 | 9718 41703 126911 | 2147483647 149488 177 | 0.000 % |
114.55/114.68 c | 149682 | 9718 41703 126911 | 2147483647 149682 177 | 0.000 % |
114.85/114.94 c | 149894 | 9718 41703 126911 | 2147483647 149894 177 | 0.000 % |
115.15/115.28 c | 150127 | 9718 41703 126911 | 2147483647 150127 177 | 0.000 % |
115.55/115.61 c | 150383 | 9718 41703 126911 | 2147483647 150383 177 | 0.000 % |
115.84/115.96 c | 150666 | 9718 41703 126911 | 2147483647 150666 177 | 0.000 % |
116.25/116.33 c | 150975 | 9718 41703 126911 | 2147483647 150975 177 | 0.000 % |
116.64/116.74 c | 151315 | 9718 41703 126911 | 2147483647 151315 177 | 0.000 % |
117.04/117.17 c | 151687 | 9718 41703 126911 | 2147483647 151687 177 | 0.000 % |
117.54/117.69 c | 152097 | 9718 41703 126911 | 2147483647 152097 177 | 0.000 % |
118.24/118.31 c | 152547 | 9718 41703 126911 | 2147483647 152547 177 | 0.000 % |
118.85/118.94 c | 153041 | 9718 41703 126911 | 2147483647 153041 177 | 0.000 % |
119.54/119.61 c | 153584 | 9718 41703 126911 | 2147483647 153584 177 | 0.000 % |
120.24/120.37 c | 154180 | 9718 41703 126911 | 2147483647 154180 177 | 0.000 % |
121.14/121.20 c | 154835 | 9718 41703 126911 | 2147483647 154835 177 | 0.000 % |
121.94/122.03 c | 155558 | 9718 41703 126911 | 2147483647 155558 177 | 0.000 % |
122.94/123.00 c | 156350 | 9718 41703 126911 | 2147483647 156350 177 | 0.000 % |
123.94/124.08 c | 157221 | 9718 41703 126911 | 2147483647 157221 177 | 0.000 % |
125.14/125.21 c | 158181 | 9718 41703 126911 | 2147483647 158181 177 | 0.000 % |
126.34/126.47 c | 159234 | 9718 41703 126911 | 2147483647 159234 177 | 0.000 % |
127.74/127.86 c | 160392 | 9718 41703 126911 | 2147483647 160392 178 | 0.000 % |
129.14/129.23 c | 161666 | 9718 41703 126911 | 2147483647 161666 178 | 0.000 % |
130.74/130.81 c | 163066 | 9718 41703 126911 | 2147483647 163066 178 | 0.000 % |
132.54/132.68 c | 164606 | 9718 41703 126911 | 2147483647 164606 179 | 0.000 % |
134.64/134.74 c | 166302 | 9718 41703 126911 | 2147483647 166302 179 | 0.000 % |
134.74/134.89 c | 166402 | 9718 41703 126911 | 2147483647 166402 179 | 0.000 % |
134.93/135.06 c | 166514 | 9718 41703 126911 | 2147483647 166514 179 | 0.000 % |
135.14/135.26 c | 166636 | 9718 41703 126911 | 2147483647 166636 179 | 0.000 % |
135.33/135.45 c | 166769 | 9718 41703 126911 | 2147483647 166769 179 | 0.000 % |
135.53/135.65 c | 166915 | 9718 41703 126911 | 2147483647 166915 179 | 0.000 % |
135.83/135.90 c | 167076 | 9718 41703 126911 | 2147483647 167076 179 | 0.000 % |
136.03/136.17 c | 167252 | 9718 41703 126911 | 2147483647 167252 179 | 0.000 % |
136.34/136.44 c | 167445 | 9718 41703 126911 | 2147483647 167445 179 | 0.000 % |
136.64/136.77 c | 167657 | 9718 41703 126911 | 2147483647 167657 179 | 0.000 % |
136.94/137.09 c | 167890 | 9718 41703 126911 | 2147483647 167890 179 | 0.000 % |
137.34/137.43 c | 168146 | 9718 41703 126911 | 2147483647 168146 179 | 0.000 % |
137.74/137.80 c | 168428 | 9718 41703 126911 | 2147483647 168428 179 | 0.000 % |
138.14/138.21 c | 168737 | 9718 41703 126911 | 2147483647 168737 179 | 0.000 % |
138.54/138.66 c | 169077 | 9718 41703 126911 | 2147483647 169077 179 | 0.000 % |
139.13/139.20 c | 169449 | 9718 41703 126911 | 2147483647 169449 179 | 0.000 % |
139.63/139.74 c | 169858 | 9718 41703 126911 | 2147483647 169858 179 | 0.000 % |
140.14/140.26 c | 170307 | 9718 41703 126911 | 2147483647 170307 179 | 0.000 % |
140.74/140.88 c | 170800 | 9718 41703 126911 | 2147483647 170800 179 | 0.000 % |
141.54/141.60 c | 171343 | 9718 41703 126911 | 2147483647 171343 179 | 0.000 % |
142.24/142.36 c | 171939 | 9718 41703 126911 | 2147483647 171939 179 | 0.000 % |
143.13/143.22 c | 172594 | 9718 41703 126911 | 2147483647 172594 179 | 0.000 % |
144.04/144.14 c | 173314 | 9718 41703 126911 | 2147483647 173314 179 | 0.000 % |
145.04/145.19 c | 174106 | 9718 41703 126911 | 2147483647 174106 179 | 0.000 % |
146.13/146.28 c | 174977 | 9718 41703 126911 | 2147483647 174977 179 | 0.000 % |
147.33/147.46 c | 175935 | 9718 41703 126911 | 2147483647 175935 179 | 0.000 % |
148.63/148.73 c | 176988 | 9718 41703 126911 | 2147483647 176988 179 | 0.000 % |
150.14/150.21 c | 178147 | 9718 41703 126911 | 2147483647 178147 180 | 0.000 % |
151.74/151.82 c | 179421 | 9718 41703 126911 | 2147483647 179421 180 | 0.000 % |
153.43/153.58 c | 180821 | 9718 41703 126911 | 2147483647 180821 180 | 0.000 % |
155.43/155.55 c | 182361 | 9718 41703 126911 | 2147483647 182361 181 | 0.000 % |
157.43/157.56 c | 184055 | 9718 41703 126911 | 2147483647 184055 182 | 0.000 % |
159.83/159.94 c | 185919 | 9718 41703 126911 | 2147483647 185919 182 | 0.000 % |
159.93/160.09 c | 186021 | 9718 41703 126911 | 2147483647 186021 182 | 0.000 % |
160.12/160.29 c | 186131 | 9718 41703 126911 | 2147483647 186131 182 | 0.000 % |
160.32/160.50 c | 186253 | 9718 41703 126911 | 2147483647 186253 182 | 0.000 % |
160.62/160.70 c | 186386 | 9718 41703 126911 | 2147483647 186386 182 | 0.000 % |
160.82/160.95 c | 186532 | 9718 41703 126911 | 2147483647 186532 182 | 0.000 % |
161.12/161.25 c | 186693 | 9718 41703 126911 | 2147483647 186693 182 | 0.000 % |
161.32/161.49 c | 186871 | 9718 41703 126911 | 2147483647 186871 182 | 0.000 % |
161.73/161.80 c | 187064 | 9718 41703 126911 | 2147483647 187064 182 | 0.000 % |
162.03/162.16 c | 187278 | 9718 41703 126911 | 2147483647 187278 182 | 0.000 % |
162.43/162.51 c | 187511 | 9718 41703 126911 | 2147483647 187511 182 | 0.000 % |
162.83/162.91 c | 187767 | 9718 41703 126911 | 2147483647 187767 182 | 0.000 % |
163.13/163.28 c | 188050 | 9718 41703 126911 | 2147483647 188050 182 | 0.000 % |
163.63/163.75 c | 188360 | 9718 41703 126911 | 2147483647 188360 182 | 0.000 % |
164.13/164.29 c | 188699 | 9718 41703 126911 | 2147483647 188699 182 | 0.000 % |
164.73/164.83 c | 189071 | 9718 41703 126911 | 2147483647 189071 182 | 0.000 % |
165.32/165.48 c | 189480 | 9718 41703 126911 | 2147483647 189480 182 | 0.000 % |
165.92/166.08 c | 189929 | 9718 41703 126911 | 2147483647 189929 182 | 0.000 % |
166.73/166.80 c | 190422 | 9718 41703 126911 | 2147483647 190422 182 | 0.000 % |
167.43/167.59 c | 190964 | 9718 41703 126911 | 2147483647 190964 182 | 0.000 % |
168.33/168.47 c | 191560 | 9718 41703 126911 | 2147483647 191560 182 | 0.000 % |
169.33/169.48 c | 192215 | 9718 41703 126911 | 2147483647 192215 182 | 0.000 % |
170.33/170.47 c | 192936 | 9718 41703 126911 | 2147483647 192936 182 | 0.000 % |
171.53/171.62 c | 193731 | 9718 41703 126911 | 2147483647 193731 182 | 0.000 % |
172.72/172.87 c | 194606 | 9718 41703 126911 | 2147483647 194606 182 | 0.000 % |
174.02/174.11 c | 195565 | 9718 41703 126911 | 2147483647 195565 182 | 0.000 % |
175.52/175.62 c | 196618 | 9718 41703 126911 | 2147483647 196618 182 | 0.000 % |
177.02/177.11 c | 197776 | 9718 41703 126911 | 2147483647 197776 182 | 0.000 % |
178.72/178.81 c | 199051 | 9718 41703 126911 | 2147483647 199051 182 | 0.000 % |
180.82/180.92 c | 200451 | 9718 41703 126911 | 2147483647 200451 182 | 0.000 % |
183.02/183.12 c | 201992 | 9718 41703 126911 | 2147483647 201992 183 | 0.000 % |
185.32/185.45 c | 203690 | 9718 41703 126911 | 2147483647 203690 183 | 0.000 % |
187.82/187.98 c | 205553 | 9718 41703 126911 | 2147483647 205553 183 | 0.000 % |
190.81/190.96 c | 207604 | 9718 41703 126911 | 2147483647 207604 183 | 0.000 % |
191.01/191.13 c | 207704 | 9718 41703 126911 | 2147483647 207704 183 | 0.000 % |
191.22/191.32 c | 207814 | 9718 41703 126911 | 2147483647 207814 183 | 0.000 % |
191.42/191.52 c | 207935 | 9718 41703 126911 | 2147483647 207935 183 | 0.000 % |
191.62/191.77 c | 208068 | 9718 41703 126911 | 2147483647 208068 183 | 0.000 % |
191.92/192.04 c | 208215 | 9718 41703 126911 | 2147483647 208215 183 | 0.000 % |
192.22/192.30 c | 208376 | 9718 41703 126911 | 2147483647 208376 183 | 0.000 % |
192.42/192.54 c | 208554 | 9718 41703 126911 | 2147483647 208554 183 | 0.000 % |
192.82/192.91 c | 208748 | 9718 41703 126911 | 2147483647 208748 183 | 0.000 % |
193.12/193.26 c | 208963 | 9718 41703 126911 | 2147483647 208963 183 | 0.000 % |
193.52/193.64 c | 209196 | 9718 41703 126911 | 2147483647 209196 183 | 0.000 % |
193.92/194.08 c | 209452 | 9718 41703 126911 | 2147483647 209452 183 | 0.000 % |
194.42/194.52 c | 209734 | 9718 41703 126911 | 2147483647 209734 183 | 0.000 % |
194.82/194.97 c | 210043 | 9718 41703 126911 | 2147483647 210043 183 | 0.000 % |
195.32/195.49 c | 210382 | 9718 41703 126911 | 2147483647 210382 183 | 0.000 % |
196.02/196.15 c | 210756 | 9718 41703 126911 | 2147483647 210756 183 | 0.000 % |
196.62/196.80 c | 211165 | 9718 41703 126911 | 2147483647 211165 183 | 0.000 % |
197.32/197.49 c | 211615 | 9718 41703 126911 | 2147483647 211615 183 | 0.000 % |
198.11/198.21 c | 212108 | 9718 41703 126911 | 2147483647 212108 183 | 0.000 % |
198.92/199.07 c | 212651 | 9718 41703 126911 | 2147483647 212651 183 | 0.000 % |
199.81/199.91 c | 213247 | 9718 41703 126911 | 2147483647 213247 183 | 0.000 % |
200.81/200.92 c | 213903 | 9718 41703 126911 | 2147483647 213903 183 | 0.000 % |
201.81/201.93 c | 214623 | 9718 41703 126911 | 2147483647 214623 184 | 0.000 % |
203.02/203.12 c | 215415 | 9718 41703 126911 | 2147483647 215415 184 | 0.000 % |
204.31/204.44 c | 216286 | 9718 41703 126911 | 2147483647 216286 184 | 0.000 % |
205.81/205.90 c | 217245 | 9718 41703 126911 | 2147483647 217245 184 | 0.000 % |
207.41/207.50 c | 218298 | 9718 41703 126911 | 2147483647 218298 184 | 0.000 % |
209.11/209.22 c | 219456 | 9718 41703 126911 | 2147483647 219456 184 | 0.000 % |
211.02/211.13 c | 220730 | 9718 41703 126911 | 2147483647 220730 185 | 0.000 % |
213.11/213.23 c | 222133 | 9718 41703 126911 | 2147483647 222133 185 | 0.000 % |
215.41/215.56 c | 223673 | 9718 41703 126911 | 2147483647 223673 185 | 0.000 % |
217.91/218.05 c | 225368 | 9718 41703 126911 | 2147483647 225368 185 | 0.000 % |
220.61/220.76 c | 227233 | 9718 41703 126911 | 2147483647 227233 185 | 0.000 % |
223.81/223.90 c | 229283 | 9718 41703 126911 | 2147483647 229283 185 | 0.000 % |
227.21/227.40 c | 231536 | 9718 41703 126911 | 2147483647 231536 185 | 0.000 % |
227.51/227.66 c | 231637 | 9718 41703 126911 | 2147483647 231637 185 | 0.000 % |
227.71/227.88 c | 231748 | 9718 41703 126911 | 2147483647 231748 185 | 0.000 % |
228.01/228.13 c | 231869 | 9718 41703 126911 | 2147483647 231869 185 | 0.000 % |
228.31/228.43 c | 232003 | 9718 41703 126911 | 2147483647 232003 185 | 0.000 % |
228.61/228.74 c | 232149 | 9718 41703 126911 | 2147483647 232149 185 | 0.000 % |
228.91/229.07 c | 232309 | 9718 41703 126911 | 2147483647 232309 185 | 0.000 % |
229.31/229.41 c | 232487 | 9718 41703 126911 | 2147483647 232487 185 | 0.000 % |
229.71/229.81 c | 232683 | 9718 41703 126911 | 2147483647 232683 185 | 0.000 % |
230.11/230.20 c | 232895 | 9718 41703 126911 | 2147483647 232895 185 | 0.000 % |
230.51/230.65 c | 233128 | 9718 41703 126911 | 2147483647 233128 185 | 0.000 % |
231.00/231.12 c | 233384 | 9718 41703 126911 | 2147483647 233384 185 | 0.000 % |
231.50/231.60 c | 233665 | 9718 41703 126911 | 2147483647 233665 185 | 0.000 % |
232.01/232.18 c | 233976 | 9718 41703 126911 | 2147483647 233976 185 | 0.000 % |
232.60/232.78 c | 234315 | 9718 41703 126911 | 2147483647 234315 185 | 0.000 % |
233.30/233.46 c | 234689 | 9718 41703 126911 | 2147483647 234689 185 | 0.000 % |
234.00/234.17 c | 235099 | 9718 41703 126911 | 2147483647 235099 185 | 0.000 % |
234.80/234.98 c | 235549 | 9718 41703 126911 | 2147483647 235549 185 | 0.000 % |
235.70/235.86 c | 236042 | 9718 41703 126911 | 2147483647 236042 185 | 0.000 % |
236.60/236.77 c | 236586 | 9718 41703 126911 | 2147483647 236586 185 | 0.000 % |
237.61/237.77 c | 237183 | 9718 41703 126911 | 2147483647 237183 185 | 0.000 % |
238.71/238.88 c | 237838 | 9718 41703 126911 | 2147483647 237838 185 | 0.000 % |
239.90/240.06 c | 238558 | 9718 41703 126911 | 2147483647 238558 185 | 0.000 % |
241.30/241.44 c | 239350 | 9718 41703 126911 | 2147483647 239350 185 | 0.000 % |
242.80/242.94 c | 240221 | 9718 41703 126911 | 2147483647 240221 185 | 0.000 % |
244.40/244.52 c | 241181 | 9718 41703 126911 | 2147483647 241181 185 | 0.000 % |
245.90/246.09 c | 242234 | 9718 41703 126911 | 2147483647 242234 185 | 0.000 % |
247.70/247.84 c | 243392 | 9718 41703 126911 | 2147483647 243392 185 | 0.000 % |
249.80/249.91 c | 244665 | 9718 41703 126911 | 2147483647 244665 185 | 0.000 % |
251.90/252.08 c | 246065 | 9718 41703 126911 | 2147483647 246065 186 | 0.000 % |
254.50/254.63 c | 247609 | 9718 41703 126911 | 2147483647 247609 186 | 0.000 % |
257.30/257.42 c | 249304 | 9718 41703 126911 | 2147483647 249304 186 | 0.000 % |
260.30/260.49 c | 251167 | 9718 41703 126911 | 2147483647 251167 186 | 0.000 % |
263.59/263.77 c | 253216 | 9718 41703 126911 | 2147483647 253216 186 | 0.000 % |
267.20/267.32 c | 255470 | 9718 41703 126911 | 2147483647 255470 186 | 0.000 % |
271.40/271.51 c | 257949 | 9718 41703 126911 | 2147483647 257949 186 | 0.000 % |
271.60/271.73 c | 258052 | 9718 41703 126911 | 2147483647 258052 186 | 0.000 % |
271.90/272.05 c | 258162 | 9718 41703 126911 | 2147483647 258162 186 | 0.000 % |
272.19/272.32 c | 258283 | 9718 41703 126911 | 2147483647 258283 186 | 0.000 % |
272.49/272.64 c | 258416 | 9718 41703 126911 | 2147483647 258416 186 | 0.000 % |
272.79/272.96 c | 258562 | 9718 41703 126911 | 2147483647 258562 186 | 0.000 % |
273.19/273.32 c | 258722 | 9718 41703 126911 | 2147483647 258722 186 | 0.000 % |
273.49/273.66 c | 258899 | 9718 41703 126911 | 2147483647 258899 186 | 0.000 % |
273.89/274.06 c | 259092 | 9718 41703 126911 | 2147483647 259092 186 | 0.000 % |
274.39/274.51 c | 259305 | 9718 41703 126911 | 2147483647 259305 186 | 0.000 % |
274.89/275.01 c | 259539 | 9718 41703 126911 | 2147483647 259539 186 | 0.000 % |
275.39/275.55 c | 259798 | 9718 41703 126911 | 2147483647 259798 186 | 0.000 % |
275.89/276.06 c | 260079 | 9718 41703 126911 | 2147483647 260079 186 | 0.000 % |
276.59/276.71 c | 260388 | 9718 41703 126911 | 2147483647 260388 186 | 0.000 % |
277.19/277.37 c | 260727 | 9718 41703 126911 | 2147483647 260727 186 | 0.000 % |
277.99/278.11 c | 261099 | 9718 41703 126911 | 2147483647 261099 186 | 0.000 % |
278.68/278.87 c | 261508 | 9718 41703 126911 | 2147483647 261508 186 | 0.000 % |
279.59/279.76 c | 261959 | 9718 41703 126911 | 2147483647 261959 186 | 0.000 % |
280.49/280.60 c | 262452 | 9718 41703 126911 | 2147483647 262452 186 | 0.000 % |
281.49/281.62 c | 262994 | 9718 41703 126911 | 2147483647 262994 186 | 0.000 % |
282.49/282.67 c | 263593 | 9718 41703 126911 | 2147483647 263593 186 | 0.000 % |
283.79/283.90 c | 264248 | 9718 41703 126911 | 2147483647 264248 186 | 0.000 % |
284.98/285.15 c | 264972 | 9718 41703 126911 | 2147483647 264972 186 | 0.000 % |
286.39/286.54 c | 265766 | 9718 41703 126911 | 2147483647 265766 186 | 0.000 % |
287.99/288.15 c | 266637 | 9718 41703 126911 | 2147483647 266637 186 | 0.000 % |
289.58/289.77 c | 267595 | 9718 41703 126911 | 2147483647 267595 186 | 0.000 % |
291.58/291.72 c | 268649 | 9718 41703 126911 | 2147483647 268649 186 | 0.000 % |
293.59/293.79 c | 269809 | 9718 41703 126911 | 2147483647 269809 186 | 0.000 % |
295.78/295.97 c | 271082 | 9718 41703 126911 | 2147483647 271082 186 | 0.000 % |
298.29/298.46 c | 272483 | 9718 41703 126911 | 2147483647 272483 186 | 0.000 % |
301.08/301.23 c | 274024 | 9718 41703 126911 | 2147483647 274024 186 | 0.000 % |
304.07/304.27 c | 275718 | 9718 41703 126911 | 2147483647 275718 186 | 0.000 % |
306.98/307.16 c | 277582 | 9718 41703 126911 | 2147483647 277582 186 | 0.000 % |
310.67/310.82 c | 279632 | 9718 41703 126911 | 2147483647 279632 187 | 0.000 % |
314.57/314.70 c | 281885 | 9718 41703 126911 | 2147483647 281885 187 | 0.000 % |
318.88/319.07 c | 284364 | 9718 41703 126911 | 2147483647 284364 187 | 0.000 % |
323.58/323.75 c | 287090 | 9718 41703 126911 | 2147483647 287090 187 | 0.000 % |
323.87/324.04 c | 287192 | 9718 41703 126911 | 2147483647 287192 187 | 0.000 % |
324.17/324.31 c | 287302 | 9718 41703 126911 | 2147483647 287302 187 | 0.000 % |
324.47/324.62 c | 287424 | 9718 41703 126911 | 2147483647 287424 187 | 0.000 % |
324.77/324.96 c | 287558 | 9718 41703 126911 | 2147483647 287558 187 | 0.000 % |
325.17/325.32 c | 287707 | 9718 41703 126911 | 2147483647 287707 187 | 0.000 % |
325.48/325.65 c | 287867 | 9718 41703 126911 | 2147483647 287867 187 | 0.000 % |
325.87/326.03 c | 288044 | 9718 41703 126911 | 2147483647 288044 187 | 0.000 % |
326.27/326.45 c | 288238 | 9718 41703 126911 | 2147483647 288238 187 | 0.000 % |
326.77/326.93 c | 288451 | 9718 41703 126911 | 2147483647 288451 187 | 0.000 % |
327.27/327.42 c | 288685 | 9718 41703 126911 | 2147483647 288685 187 | 0.000 % |
327.87/328.01 c | 288941 | 9718 41703 126911 | 2147483647 288941 187 | 0.000 % |
328.47/328.63 c | 289222 | 9718 41703 126911 | 2147483647 289222 187 | 0.000 % |
329.07/329.27 c | 289531 | 9718 41703 126911 | 2147483647 289531 187 | 0.000 % |
329.87/330.02 c | 289871 | 9718 41703 126911 | 2147483647 289871 187 | 0.000 % |
330.57/330.78 c | 290243 | 9718 41703 126911 | 2147483647 290243 187 | 0.000 % |
331.47/331.64 c | 290655 | 9718 41703 126911 | 2147483647 290655 187 | 0.000 % |
332.37/332.57 c | 291105 | 9718 41703 126911 | 2147483647 291105 187 | 0.000 % |
333.37/333.53 c | 291598 | 9718 41703 126911 | 2147483647 291598 187 | 0.000 % |
334.57/334.74 c | 292144 | 9718 41703 126911 | 2147483647 292144 187 | 0.000 % |
335.87/336.03 c | 292741 | 9718 41703 126911 | 2147483647 292741 187 | 0.000 % |
337.17/337.32 c | 293396 | 9718 41703 126911 | 2147483647 293396 187 | 0.000 % |
338.37/338.57 c | 294116 | 9718 41703 126911 | 2147483647 294116 187 | 0.000 % |
339.97/340.13 c | 294909 | 9718 41703 126911 | 2147483647 294909 187 | 0.000 % |
341.67/341.80 c | 295780 | 9718 41703 126911 | 2147483647 295780 187 | 0.000 % |
343.37/343.58 c | 296738 | 9718 41703 126911 | 2147483647 296738 187 | 0.000 % |
345.36/345.56 c | 297791 | 9718 41703 126911 | 2147483647 297791 187 | 0.000 % |
347.77/347.98 c | 298950 | 9718 41703 126911 | 2147483647 298950 187 | 0.000 % |
350.17/350.34 c | 300227 | 9718 41703 126911 | 2147483647 300227 187 | 0.000 % |
352.67/352.84 c | 301627 | 9718 41703 126911 | 2147483647 301627 187 | 0.000 % |
355.46/355.68 c | 303167 | 9718 41703 126911 | 2147483647 303167 187 | 0.000 % |
358.67/358.82 c | 304862 | 9718 41703 126911 | 2147483647 304862 187 | 0.000 % |
362.37/362.57 c | 306728 | 9718 41703 126911 | 2147483647 306728 188 | 0.000 % |
366.36/366.50 c | 308777 | 9718 41703 126911 | 2147483647 308777 188 | 0.000 % |
370.66/370.83 c | 311031 | 9718 41703 126911 | 2147483647 311031 188 | 0.000 % |
375.36/375.54 c | 313510 | 9718 41703 126911 | 2147483647 313510 188 | 0.000 % |
380.56/380.71 c | 316235 | 9718 41703 126911 | 2147483647 316235 188 | 0.000 % |
386.36/386.58 c | 319232 | 9718 41703 126911 | 2147483647 319232 188 | 0.000 % |
386.66/386.83 c | 319334 | 9718 41703 126911 | 2147483647 319334 188 | 0.000 % |
386.86/387.08 c | 319444 | 9718 41703 126911 | 2147483647 319444 188 | 0.000 % |
387.26/387.45 c | 319566 | 9718 41703 126911 | 2147483647 319566 188 | 0.000 % |
387.66/387.82 c | 319700 | 9718 41703 126911 | 2147483647 319700 188 | 0.000 % |
387.96/388.16 c | 319847 | 9718 41703 126911 | 2147483647 319847 188 | 0.000 % |
388.36/388.57 c | 320008 | 9718 41703 126911 | 2147483647 320008 188 | 0.000 % |
388.86/389.04 c | 320186 | 9718 41703 126911 | 2147483647 320186 188 | 0.000 % |
389.36/389.52 c | 320379 | 9718 41703 126911 | 2147483647 320379 188 | 0.000 % |
389.86/390.04 c | 320591 | 9718 41703 126911 | 2147483647 320591 188 | 0.000 % |
390.46/390.64 c | 320824 | 9718 41703 126911 | 2147483647 320824 188 | 0.000 % |
391.06/391.24 c | 321080 | 9718 41703 126911 | 2147483647 321080 188 | 0.000 % |
391.76/391.97 c | 321362 | 9718 41703 126911 | 2147483647 321362 188 | 0.000 % |
392.46/392.70 c | 321671 | 9718 41703 126911 | 2147483647 321671 188 | 0.000 % |
393.25/393.46 c | 322011 | 9718 41703 126911 | 2147483647 322011 188 | 0.000 % |
394.15/394.38 c | 322385 | 9718 41703 126911 | 2147483647 322385 188 | 0.000 % |
395.05/395.26 c | 322794 | 9718 41703 126911 | 2147483647 322794 188 | 0.000 % |
396.16/396.31 c | 323246 | 9718 41703 126911 | 2147483647 323246 188 | 0.000 % |
397.26/397.46 c | 323743 | 9718 41703 126911 | 2147483647 323743 188 | 0.000 % |
398.46/398.64 c | 324286 | 9718 41703 126911 | 2147483647 324286 188 | 0.000 % |
399.65/399.84 c | 324883 | 9718 41703 126911 | 2147483647 324883 188 | 0.000 % |
400.95/401.19 c | 325539 | 9718 41703 126911 | 2147483647 325539 188 | 0.000 % |
402.65/402.84 c | 326259 | 9718 41703 126911 | 2147483647 326259 188 | 0.000 % |
404.25/404.49 c | 327051 | 9718 41703 126911 | 2147483647 327051 188 | 0.000 % |
406.05/406.27 c | 327924 | 9718 41703 126911 | 2147483647 327924 188 | 0.000 % |
408.15/408.37 c | 328882 | 9718 41703 126911 | 2147483647 328882 188 | 0.000 % |
410.25/410.47 c | 329936 | 9718 41703 126911 | 2147483647 329936 188 | 0.000 % |
412.74/412.93 c | 331096 | 9718 41703 126911 | 2147483647 331096 188 | 0.000 % |
415.45/415.69 c | 332371 | 9718 41703 126911 | 2147483647 332371 188 | 0.000 % |
418.35/418.54 c | 333773 | 9718 41703 126911 | 2147483647 333773 188 | 0.000 % |
421.44/421.69 c | 335313 | 9718 41703 126911 | 2147483647 335313 188 | 0.000 % |
424.95/425.13 c | 337007 | 9718 41703 126911 | 2147483647 337007 188 | 0.000 % |
428.94/429.17 c | 338870 | 9718 41703 126911 | 2147483647 338870 188 | 0.000 % |
433.15/433.37 c | 340919 | 9718 41703 126911 | 2147483647 340919 188 | 0.000 % |
437.85/438.03 c | 343176 | 9718 41703 126911 | 2147483647 343176 189 | 0.000 % |
442.94/443.13 c | 345656 | 9718 41703 126911 | 2147483647 345656 189 | 0.000 % |
448.34/448.51 c | 348381 | 9718 41703 126911 | 2147483647 348381 189 | 0.000 % |
454.44/454.61 c | 351378 | 9718 41703 126911 | 2147483647 351378 190 | 0.000 % |
461.33/461.51 c | 354674 | 9718 41703 126911 | 2147483647 354674 190 | 0.000 % |
461.53/461.78 c | 354775 | 9718 41703 126911 | 2147483647 354775 190 | 0.000 % |
461.93/462.15 c | 354888 | 9718 41703 126911 | 2147483647 354888 190 | 0.000 % |
462.23/462.46 c | 355009 | 9718 41703 126911 | 2147483647 355009 190 | 0.000 % |
462.63/462.86 c | 355142 | 9718 41703 126911 | 2147483647 355142 190 | 0.000 % |
463.13/463.30 c | 355288 | 9718 41703 126911 | 2147483647 355288 190 | 0.000 % |
463.53/463.78 c | 355448 | 9718 41703 126911 | 2147483647 355448 190 | 0.000 % |
464.04/464.26 c | 355624 | 9718 41703 126911 | 2147483647 355624 190 | 0.000 % |
464.54/464.79 c | 355817 | 9718 41703 126911 | 2147483647 355817 190 | 0.000 % |
465.14/465.32 c | 356030 | 9718 41703 126911 | 2147483647 356030 190 | 0.000 % |
465.84/466.02 c | 356264 | 9718 41703 126911 | 2147483647 356264 190 | 0.000 % |
466.44/466.65 c | 356520 | 9718 41703 126911 | 2147483647 356520 190 | 0.000 % |
467.14/467.39 c | 356803 | 9718 41703 126911 | 2147483647 356803 190 | 0.000 % |
467.94/468.18 c | 357113 | 9718 41703 126911 | 2147483647 357113 190 | 0.000 % |
468.83/469.08 c | 357456 | 9718 41703 126911 | 2147483647 357456 190 | 0.000 % |
469.63/469.82 c | 357829 | 9718 41703 126911 | 2147483647 357829 190 | 0.000 % |
470.54/470.79 c | 358238 | 9718 41703 126911 | 2147483647 358238 190 | 0.000 % |
471.64/471.89 c | 358687 | 9718 41703 126911 | 2147483647 358687 190 | 0.000 % |
472.93/473.12 c | 359180 | 9718 41703 126911 | 2147483647 359180 190 | 0.000 % |
474.23/474.43 c | 359724 | 9718 41703 126911 | 2147483647 359724 190 | 0.000 % |
475.64/475.87 c | 360320 | 9718 41703 126911 | 2147483647 360320 190 | 0.000 % |
477.24/477.43 c | 360977 | 9718 41703 126911 | 2147483647 360977 190 | 0.000 % |
478.93/479.17 c | 361697 | 9718 41703 126911 | 2147483647 361697 190 | 0.000 % |
480.73/480.94 c | 362489 | 9718 41703 126911 | 2147483647 362489 190 | 0.000 % |
482.83/483.04 c | 363360 | 9718 41703 126911 | 2147483647 363360 190 | 0.000 % |
485.23/485.42 c | 364319 | 9718 41703 126911 | 2147483647 364319 190 | 0.000 % |
487.43/487.69 c | 365372 | 9718 41703 126911 | 2147483647 365372 190 | 0.000 % |
490.13/490.31 c | 366530 | 9718 41703 126911 | 2147483647 366530 190 | 0.000 % |
493.23/493.40 c | 367804 | 9718 41703 126911 | 2147483647 367804 190 | 0.000 % |
496.53/496.72 c | 369205 | 9718 41703 126911 | 2147483647 369205 190 | 0.000 % |
499.82/500.04 c | 370746 | 9718 41703 126911 | 2147483647 370746 191 | 0.000 % |
503.63/503.81 c | 372440 | 9718 41703 126911 | 2147483647 372440 191 | 0.000 % |
507.62/507.88 c | 374304 | 9718 41703 126911 | 2147483647 374304 191 | 0.000 % |
512.23/512.48 c | 376355 | 9718 41703 126911 | 2147483647 376355 191 | 0.000 % |
517.02/517.29 c | 378610 | 9718 41703 126911 | 2147483647 378610 191 | 0.000 % |
522.71/522.95 c | 381088 | 9718 41703 126911 | 2147483647 381088 191 | 0.000 % |
529.02/529.27 c | 383813 | 9718 41703 126911 | 2147483647 383813 191 | 0.000 % |
535.92/536.12 c | 386812 | 9718 41703 126911 | 2147483647 386812 191 | 0.000 % |
543.51/543.74 c | 390110 | 9718 41703 126911 | 2147483647 390110 191 | 0.000 % |
552.01/552.25 c | 393735 | 9718 41703 126911 | 2147483647 393735 192 | 0.000 % |
552.31/552.56 c | 393835 | 9718 41703 126911 | 2147483647 393835 192 | 0.000 % |
552.61/552.89 c | 393945 | 9718 41703 126911 | 2147483647 393945 192 | 0.000 % |
553.11/553.32 c | 394067 | 9718 41703 126911 | 2147483647 394067 192 | 0.000 % |
553.52/553.77 c | 394202 | 9718 41703 126911 | 2147483647 394202 192 | 0.000 % |
554.02/554.26 c | 394349 | 9718 41703 126911 | 2147483647 394349 192 | 0.000 % |
554.52/554.71 c | 394509 | 9718 41703 126911 | 2147483647 394509 192 | 0.000 % |
555.02/555.29 c | 394685 | 9718 41703 126911 | 2147483647 394685 192 | 0.000 % |
555.61/555.85 c | 394879 | 9718 41703 126911 | 2147483647 394879 191 | 0.000 % |
556.21/556.45 c | 395093 | 9718 41703 126911 | 2147483647 395093 191 | 0.000 % |
556.91/557.18 c | 395327 | 9718 41703 126911 | 2147483647 395327 191 | 0.000 % |
557.61/557.89 c | 395584 | 9718 41703 126911 | 2147483647 395584 191 | 0.000 % |
558.51/558.74 c | 395867 | 9718 41703 126911 | 2147483647 395867 191 | 0.000 % |
559.21/559.50 c | 396177 | 9718 41703 126911 | 2147483647 396177 191 | 0.000 % |
560.11/560.39 c | 396516 | 9718 41703 126911 | 2147483647 396516 191 | 0.000 % |
561.21/561.47 c | 396888 | 9718 41703 126911 | 2147483647 396888 191 | 0.000 % |
562.31/562.59 c | 397297 | 9718 41703 126911 | 2147483647 397297 191 | 0.000 % |
563.50/563.73 c | 397748 | 9718 41703 126911 | 2147483647 397748 191 | 0.000 % |
564.80/565.06 c | 398243 | 9718 41703 126911 | 2147483647 398243 191 | 0.000 % |
566.31/566.54 c | 398785 | 9718 41703 126911 | 2147483647 398785 191 | 0.000 % |
567.90/568.14 c | 399385 | 9718 41703 126911 | 2147483647 399385 191 | 0.000 % |
569.61/569.83 c | 400040 | 9718 41703 126911 | 2147483647 400040 191 | 0.000 % |
571.50/571.74 c | 400761 | 9718 41703 126911 | 2147483647 400761 191 | 0.000 % |
573.50/573.78 c | 401553 | 9718 41703 126911 | 2147483647 401553 192 | 0.000 % |
576.00/576.24 c | 402425 | 9718 41703 126911 | 2147483647 402425 191 | 0.000 % |
578.51/578.73 c | 403384 | 9718 41703 126911 | 2147483647 403384 191 | 0.000 % |
581.10/581.36 c | 404437 | 9718 41703 126911 | 2147483647 404437 192 | 0.000 % |
584.00/584.21 c | 405596 | 9718 41703 126911 | 2147483647 405596 192 | 0.000 % |
587.20/587.46 c | 406871 | 9718 41703 126911 | 2147483647 406871 192 | 0.000 % |
590.80/591.04 c | 408273 | 9718 41703 126911 | 2147483647 408273 192 | 0.000 % |
594.49/594.70 c | 409813 | 9718 41703 126911 | 2147483647 409813 192 | 0.000 % |
598.70/598.92 c | 411507 | 9718 41703 126911 | 2147483647 411507 192 | 0.000 % |
603.49/603.75 c | 413370 | 9718 41703 126911 | 2147483647 413370 192 | 0.000 % |
608.50/608.72 c | 415419 | 9718 41703 126911 | 2147483647 415419 192 | 0.000 % |
614.10/614.30 c | 417673 | 9718 41703 126911 | 2147483647 417673 192 | 0.000 % |
620.40/620.66 c | 420152 | 9718 41703 126911 | 2147483647 420152 192 | 0.000 % |
627.49/627.70 c | 422878 | 9718 41703 126911 | 2147483647 422878 192 | 0.000 % |
634.59/634.88 c | 425875 | 9718 41703 126911 | 2147483647 425875 192 | 0.000 % |
642.49/642.77 c | 429172 | 9718 41703 126911 | 2147483647 429172 192 | 0.000 % |
651.89/652.15 c | 432797 | 9718 41703 126911 | 2147483647 432797 193 | 0.000 % |
661.58/661.86 c | 436785 | 9718 41703 126911 | 2147483647 436785 193 | 0.000 % |
661.89/662.18 c | 436886 | 9718 41703 126911 | 2147483647 436886 193 | 0.000 % |
662.28/662.58 c | 436998 | 9718 41703 126911 | 2147483647 436998 193 | 0.000 % |
662.68/662.93 c | 437120 | 9718 41703 126911 | 2147483647 437120 193 | 0.000 % |
663.09/663.38 c | 437253 | 9718 41703 126911 | 2147483647 437253 193 | 0.000 % |
663.58/663.88 c | 437399 | 9718 41703 126911 | 2147483647 437399 193 | 0.000 % |
664.19/664.42 c | 437562 | 9718 41703 126911 | 2147483647 437562 193 | 0.000 % |
664.78/665.00 c | 437739 | 9718 41703 126911 | 2147483647 437739 193 | 0.000 % |
665.38/665.65 c | 437932 | 9718 41703 126911 | 2147483647 437932 193 | 0.000 % |
666.08/666.31 c | 438144 | 9718 41703 126911 | 2147483647 438144 193 | 0.000 % |
666.68/666.98 c | 438377 | 9718 41703 126911 | 2147483647 438377 193 | 0.000 % |
667.58/667.86 c | 438633 | 9718 41703 126911 | 2147483647 438633 193 | 0.000 % |
668.38/668.69 c | 438916 | 9718 41703 126911 | 2147483647 438916 193 | 0.000 % |
669.38/669.62 c | 439225 | 9718 41703 126911 | 2147483647 439225 193 | 0.000 % |
670.38/670.60 c | 439564 | 9718 41703 126911 | 2147483647 439564 193 | 0.000 % |
671.58/671.80 c | 439936 | 9718 41703 126911 | 2147483647 439936 193 | 0.000 % |
672.78/673.03 c | 440345 | 9718 41703 126911 | 2147483647 440345 193 | 0.000 % |
674.08/674.31 c | 440794 | 9718 41703 126911 | 2147483647 440794 193 | 0.000 % |
675.37/675.66 c | 441287 | 9718 41703 126911 | 2147483647 441287 193 | 0.000 % |
677.07/677.32 c | 441831 | 9718 41703 126911 | 2147483647 441831 193 | 0.000 % |
678.78/679.02 c | 442428 | 9718 41703 126911 | 2147483647 442428 193 | 0.000 % |
680.68/680.99 c | 443083 | 9718 41703 126911 | 2147483647 443083 193 | 0.000 % |
682.68/682.99 c | 443804 | 9718 41703 126911 | 2147483647 443804 193 | 0.000 % |
684.88/685.18 c | 444596 | 9718 41703 126911 | 2147483647 444596 193 | 0.000 % |
687.57/687.85 c | 445468 | 9718 41703 126911 | 2147483647 445468 193 | 0.000 % |
690.17/690.41 c | 446426 | 9718 41703 126911 | 2147483647 446426 193 | 0.000 % |
692.98/693.21 c | 447479 | 9718 41703 126911 | 2147483647 447479 193 | 0.000 % |
695.98/696.23 c | 448638 | 9718 41703 126911 | 2147483647 448638 193 | 0.000 % |
699.07/699.38 c | 449913 | 9718 41703 126911 | 2147483647 449913 193 | 0.000 % |
702.77/703.09 c | 451313 | 9718 41703 126911 | 2147483647 451313 193 | 0.000 % |
706.87/707.11 c | 452854 | 9718 41703 126911 | 2147483647 452854 193 | 0.000 % |
711.17/711.46 c | 454549 | 9718 41703 126911 | 2147483647 454549 193 | 0.000 % |
716.47/716.76 c | 456414 | 9718 41703 126911 | 2147483647 456414 193 | 0.000 % |
721.97/722.28 c | 458463 | 9718 41703 126911 | 2147483647 458463 193 | 0.000 % |
727.56/727.88 c | 460719 | 9718 41703 126911 | 2147483647 460719 194 | 0.000 % |
733.87/734.19 c | 463197 | 9718 41703 126911 | 2147483647 463197 194 | 0.000 % |
741.07/741.35 c | 465922 | 9718 41703 126911 | 2147483647 465922 194 | 0.000 % |
749.16/749.40 c | 468919 | 9718 41703 126911 | 2147483647 468919 194 | 0.000 % |
758.06/758.30 c | 472217 | 9718 41703 126911 | 2147483647 472217 194 | 0.000 % |
767.36/767.65 c | 475845 | 9718 41703 126911 | 2147483647 475845 194 | 0.000 % |
777.95/778.22 c | 479832 | 9718 41703 126911 | 2147483647 479832 195 | 0.000 % |
790.05/790.38 c | 484220 | 9718 41703 126911 | 2147483647 484220 195 | 0.000 % |
790.45/790.71 c | 484321 | 9718 41703 126911 | 2147483647 484321 195 | 0.000 % |
790.75/791.09 c | 484433 | 9718 41703 126911 | 2147483647 484433 195 | 0.000 % |
791.25/791.52 c | 484557 | 9718 41703 126911 | 2147483647 484557 195 | 0.000 % |
791.85/792.10 c | 484690 | 9718 41703 126911 | 2147483647 484690 195 | 0.000 % |
792.35/792.62 c | 484836 | 9718 41703 126911 | 2147483647 484836 195 | 0.000 % |
792.95/793.26 c | 484997 | 9718 41703 126911 | 2147483647 484997 195 | 0.000 % |
793.65/793.92 c | 485175 | 9718 41703 126911 | 2147483647 485175 195 | 0.000 % |
794.25/794.53 c | 485370 | 9718 41703 126911 | 2147483647 485370 195 | 0.000 % |
795.05/795.33 c | 485583 | 9718 41703 126911 | 2147483647 485583 195 | 0.000 % |
795.95/796.25 c | 485817 | 9718 41703 126911 | 2147483647 485817 195 | 0.000 % |
796.85/797.19 c | 486073 | 9718 41703 126911 | 2147483647 486073 195 | 0.000 % |
797.95/798.29 c | 486355 | 9718 41703 126911 | 2147483647 486355 195 | 0.000 % |
799.05/799.35 c | 486664 | 9718 41703 126911 | 2147483647 486664 195 | 0.000 % |
800.15/800.46 c | 487003 | 9718 41703 126911 | 2147483647 487003 195 | 0.000 % |
801.45/801.74 c | 487375 | 9718 41703 126911 | 2147483647 487375 195 | 0.000 % |
802.84/803.13 c | 487786 | 9718 41703 126911 | 2147483647 487786 195 | 0.000 % |
804.34/804.64 c | 488235 | 9718 41703 126911 | 2147483647 488235 195 | 0.000 % |
805.94/806.22 c | 488728 | 9718 41703 126911 | 2147483647 488728 195 | 0.000 % |
807.64/807.97 c | 489272 | 9718 41703 126911 | 2147483647 489272 195 | 0.000 % |
809.54/809.87 c | 489870 | 9718 41703 126911 | 2147483647 489870 195 | 0.000 % |
811.45/811.75 c | 490526 | 9718 41703 126911 | 2147483647 490526 195 | 0.000 % |
813.94/814.21 c | 491246 | 9718 41703 126911 | 2147483647 491246 195 | 0.000 % |
816.24/816.57 c | 492039 | 9718 41703 126911 | 2147483647 492039 195 | 0.000 % |
818.84/819.15 c | 492911 | 9718 41703 126911 | 2147483647 492911 195 | 0.000 % |
821.74/822.05 c | 493869 | 9718 41703 126911 | 2147483647 493869 195 | 0.000 % |
824.93/825.24 c | 494922 | 9718 41703 126911 | 2147483647 494922 195 | 0.000 % |
828.54/828.80 c | 496081 | 9718 41703 126911 | 2147483647 496081 195 | 0.000 % |
832.44/832.77 c | 497354 | 9718 41703 126911 | 2147483647 497354 195 | 0.000 % |
836.84/837.11 c | 498756 | 9718 41703 126911 | 2147483647 498756 195 | 0.000 % |
841.34/841.61 c | 500296 | 9718 41703 126911 | 2147483647 500296 195 | 0.000 % |
845.94/846.23 c | 501990 | 9718 41703 126911 | 2147483647 501990 195 | 0.000 % |
851.23/851.57 c | 503853 | 9718 41703 126911 | 2147483647 503853 195 | 0.000 % |
857.03/857.39 c | 505905 | 9718 41703 126911 | 2147483647 505905 195 | 0.000 % |
863.72/864.00 c | 508158 | 9718 41703 126911 | 2147483647 508158 195 | 0.000 % |
870.23/870.52 c | 510641 | 9718 41703 126911 | 2147483647 510641 195 | 0.000 % |
877.93/878.25 c | 513367 | 9718 41703 126911 | 2147483647 513367 195 | 0.000 % |
886.92/887.27 c | 516366 | 9718 41703 126911 | 2147483647 516366 195 | 0.000 % |
896.63/896.90 c | 519665 | 9718 41703 126911 | 2147483647 519665 195 | 0.000 % |
907.22/907.55 c | 523290 | 9718 41703 126911 | 2147483647 523290 196 | 0.000 % |
918.02/918.34 c | 527278 | 9718 41703 126911 | 2147483647 527278 196 | 0.000 % |
930.71/931.04 c | 531665 | 9718 41703 126911 | 2147483647 531665 197 | 0.000 % |
945.11/945.44 c | 536489 | 9718 41703 126911 | 2147483647 536489 197 | 0.000 % |
945.51/945.84 c | 536589 | 9718 41703 126911 | 2147483647 536589 197 | 0.000 % |
946.11/946.40 c | 536699 | 9718 41703 126911 | 2147483647 536699 197 | 0.000 % |
946.61/946.91 c | 536821 | 9718 41703 126911 | 2147483647 536821 197 | 0.000 % |
947.01/947.39 c | 536957 | 9718 41703 126911 | 2147483647 536957 197 | 0.000 % |
947.71/948.04 c | 537103 | 9718 41703 126911 | 2147483647 537103 197 | 0.000 % |
948.41/948.72 c | 537263 | 9718 41703 126911 | 2147483647 537263 197 | 0.000 % |
949.10/949.45 c | 537440 | 9718 41703 126911 | 2147483647 537440 197 | 0.000 % |
949.80/950.19 c | 537635 | 9718 41703 126911 | 2147483647 537635 197 | 0.000 % |
950.70/951.02 c | 537847 | 9718 41703 126911 | 2147483647 537847 197 | 0.000 % |
951.60/951.97 c | 538080 | 9718 41703 126911 | 2147483647 538080 197 | 0.000 % |
952.80/953.11 c | 538336 | 9718 41703 126911 | 2147483647 538336 197 | 0.000 % |
953.80/954.14 c | 538618 | 9718 41703 126911 | 2147483647 538618 197 | 0.000 % |
954.90/955.21 c | 538930 | 9718 41703 126911 | 2147483647 538930 197 | 0.000 % |
956.11/956.42 c | 539269 | 9718 41703 126911 | 2147483647 539269 197 | 0.000 % |
957.61/957.91 c | 539642 | 9718 41703 126911 | 2147483647 539642 197 | 0.000 % |
959.11/959.41 c | 540052 | 9718 41703 126911 | 2147483647 540052 197 | 0.000 % |
960.81/961.10 c | 540503 | 9718 41703 126911 | 2147483647 540503 197 | 0.000 % |
962.61/962.91 c | 540997 | 9718 41703 126911 | 2147483647 540997 197 | 0.000 % |
964.41/964.75 c | 541539 | 9718 41703 126911 | 2147483647 541539 197 | 0.000 % |
966.61/966.95 c | 542135 | 9718 41703 126911 | 2147483647 542135 197 | 0.000 % |
968.70/969.06 c | 542790 | 9718 41703 126911 | 2147483647 542790 197 | 0.000 % |
971.20/971.54 c | 543511 | 9718 41703 126911 | 2147483647 543511 196 | 0.000 % |
974.10/974.44 c | 544304 | 9718 41703 126911 | 2147483647 544304 196 | 0.000 % |
977.00/977.30 c | 545175 | 9718 41703 126911 | 2147483647 545175 196 | 0.000 % |
980.00/980.37 c | 546133 | 9718 41703 126911 | 2147483647 546133 196 | 0.000 % |
983.39/983.73 c | 547187 | 9718 41703 126911 | 2147483647 547187 196 | 0.000 % |
986.99/987.31 c | 548345 | 9718 41703 126911 | 2147483647 548345 197 | 0.000 % |
991.40/991.71 c | 549619 | 9718 41703 126911 | 2147483647 549619 197 | 0.000 % |
995.69/996.07 c | 551019 | 9718 41703 126911 | 2147483647 551019 197 | 0.000 % |
1000.60/1000.94 c | 552559 | 9718 41703 126911 | 2147483647 552559 197 | 0.000 % |
1006.39/1006.72 c | 554253 | 9718 41703 126911 | 2147483647 554253 197 | 0.000 % |
1012.19/1012.53 c | 556116 | 9718 41703 126911 | 2147483647 556116 197 | 0.000 % |
1018.69/1019.03 c | 558165 | 9718 41703 126911 | 2147483647 558165 197 | 0.000 % |
1025.49/1025.89 c | 560418 | 9718 41703 126911 | 2147483647 560418 197 | 0.000 % |
1033.38/1033.74 c | 562896 | 9718 41703 126911 | 2147483647 562896 197 | 0.000 % |
1041.88/1042.23 c | 565621 | 9718 41703 126911 | 2147483647 565621 197 | 0.000 % |
1051.58/1051.94 c | 568618 | 9718 41703 126911 | 2147483647 568618 197 | 0.000 % |
1061.68/1062.03 c | 571914 | 9718 41703 126911 | 2147483647 571914 197 | 0.000 % |
1073.18/1073.55 c | 575539 | 9718 41703 126911 | 2147483647 575539 197 | 0.000 % |
1086.27/1086.64 c | 579530 | 9718 41703 126911 | 2147483647 579530 197 | 0.000 % |
1100.57/1100.91 c | 583915 | 9718 41703 126911 | 2147483647 583915 198 | 0.000 % |
1115.26/1115.65 c | 588738 | 9718 41703 126911 | 2147483647 588738 198 | 0.000 % |
1132.66/1133.04 c | 594043 | 9718 41703 126911 | 2147483647 594043 198 | 0.000 % |
1133.16/1133.53 c | 594143 | 9718 41703 126911 | 2147483647 594143 198 | 0.000 % |
1133.66/1134.09 c | 594255 | 9718 41703 126911 | 2147483647 594255 198 | 0.000 % |
1134.26/1134.69 c | 594376 | 9718 41703 126911 | 2147483647 594376 198 | 0.000 % |
1134.87/1135.29 c | 594511 | 9718 41703 126911 | 2147483647 594511 198 | 0.000 % |
1135.66/1136.07 c | 594657 | 9718 41703 126911 | 2147483647 594657 198 | 0.000 % |
1136.46/1136.80 c | 594817 | 9718 41703 126911 | 2147483647 594817 198 | 0.000 % |
1137.26/1137.62 c | 594993 | 9718 41703 126911 | 2147483647 594993 198 | 0.000 % |
1138.06/1138.41 c | 595187 | 9718 41703 126911 | 2147483647 595187 198 | 0.000 % |
1138.96/1139.30 c | 595399 | 9718 41703 126911 | 2147483647 595399 198 | 0.000 % |
1139.96/1140.30 c | 595633 | 9718 41703 126911 | 2147483647 595633 198 | 0.000 % |
1140.96/1141.37 c | 595889 | 9718 41703 126911 | 2147483647 595889 198 | 0.000 % |
1142.16/1142.56 c | 596171 | 9718 41703 126911 | 2147483647 596171 198 | 0.000 % |
1143.36/1143.79 c | 596480 | 9718 41703 126911 | 2147483647 596480 198 | 0.000 % |
1144.76/1145.13 c | 596819 | 9718 41703 126911 | 2147483647 596819 198 | 0.000 % |
1146.15/1146.58 c | 597193 | 9718 41703 126911 | 2147483647 597193 198 | 0.000 % |
1147.75/1148.11 c | 597603 | 9718 41703 126911 | 2147483647 597603 198 | 0.000 % |
1149.45/1149.82 c | 598052 | 9718 41703 126911 | 2147483647 598052 198 | 0.000 % |
1151.46/1151.86 c | 598545 | 9718 41703 126911 | 2147483647 598545 198 | 0.000 % |
1153.56/1153.97 c | 599089 | 9718 41703 126911 | 2147483647 599089 198 | 0.000 % |
1156.06/1156.42 c | 599687 | 9718 41703 126911 | 2147483647 599687 198 | 0.000 % |
1158.35/1158.79 c | 600344 | 9718 41703 126911 | 600000 600344 198 | 0.000 % |
1161.45/1161.82 c | 601064 | 9718 41703 126911 | 600000 521733 197 | 0.000 % |
1164.25/1164.60 c | 601856 | 9718 41703 126911 | 600000 522525 197 | 0.000 % |
1167.05/1167.45 c | 602727 | 9718 41703 126911 | 600000 523396 197 | 0.000 % |
1170.15/1170.53 c | 603686 | 9718 41703 126911 | 600000 524355 197 | 0.000 % |
1173.55/1173.91 c | 604743 | 9718 41703 126911 | 600000 525412 197 | 0.000 % |
1177.05/1177.46 c | 605903 | 9718 41703 126911 | 600000 526572 197 | 0.000 % |
1181.05/1181.49 c | 607176 | 9718 41703 126911 | 600000 527845 198 | 0.000 % |
1185.54/1185.98 c | 608578 | 9718 41703 126911 | 600000 529247 197 | 0.000 % |
1190.54/1190.92 c | 610121 | 9718 41703 126911 | 2147483647 530790 198 | 0.000 % |
1195.64/1196.01 c | 611817 | 9718 41703 126911 | 2147483647 532486 198 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832663-1242786043/watcher-1832663-1242786043 -o /tmp/evaluation-result-1832663-1242786043/solver-1832663-1242786043 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832663-1242786043.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 11423
/proc/meminfo: memFree=1809600/2055920 swapFree=4180972/4192956
[pid=11423] ppid=11421 vsize=5356 CPUtime=0
/proc/11423/stat : 11423 (SatELiteGTI) S 11421 11423 10798 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306636932 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11423/statm: 1339 237 197 169 0 50 0
[startup+0.089123 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11423
/proc/meminfo: memFree=1809600/2055920 swapFree=4180972/4192956
[pid=11423] ppid=11421 vsize=5356 CPUtime=0
/proc/11423/stat : 11423 (SatELiteGTI) S 11421 11423 10798 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306636932 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11423/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101124 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11423
/proc/meminfo: memFree=1809600/2055920 swapFree=4180972/4192956
[pid=11423] ppid=11421 vsize=5356 CPUtime=0
/proc/11423/stat : 11423 (SatELiteGTI) S 11421 11423 10798 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306636932 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11423/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301148 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11423
/proc/meminfo: memFree=1809600/2055920 swapFree=4180972/4192956
[pid=11423] ppid=11421 vsize=5356 CPUtime=0.18
/proc/11423/stat : 11423 (SatELiteGTI) S 11421 11423 10798 0 -1 4194304 336 1612 0 0 0 0 17 1 16 0 1 0 306636932 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11423/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 5356
[startup+0.701177 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11423
/proc/meminfo: memFree=1809600/2055920 swapFree=4180972/4192956
[pid=11423] ppid=11421 vsize=5356 CPUtime=0.18
/proc/11423/stat : 11423 (SatELiteGTI) S 11421 11423 10798 0 -1 4194304 336 1612 0 0 0 0 17 1 16 0 1 0 306636932 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11423/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 5356
[startup+1.50123 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11429
/proc/meminfo: memFree=1803440/2055920 swapFree=4180972/4192956
[pid=11423] ppid=11421 vsize=5356 CPUtime=0.18
/proc/11423/stat : 11423 (SatELiteGTI) S 11421 11423 10798 0 -1 4194304 336 1612 0 0 0 0 17 1 16 0 1 0 306636932 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11423/statm: 1339 239 197 169 0 50 0
[pid=11429] ppid=11423 vsize=7176 CPUtime=1.29
/proc/11429/stat : 11429 (minisat_static) R 11423 11423 10798 0 -1 4194304 1586 0 0 0 129 0 0 0 25 0 1 0 306636951 7348224 1572 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/11429/statm: 1794 1572 77 171 0 1621 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12532
[startup+3.10134 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11429
/proc/meminfo: memFree=1801328/2055920 swapFree=4180972/4192956
[pid=11423] ppid=11421 vsize=5356 CPUtime=0.18
/proc/11423/stat : 11423 (SatELiteGTI) S 11421 11423 10798 0 -1 4194304 336 1612 0 0 0 0 17 1 16 0 1 0 306636932 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11423/statm: 1339 239 197 169 0 50 0
[pid=11429] ppid=11423 vsize=10080 CPUtime=2.89
/proc/11429/stat : 11429 (minisat_static) R 11423 11423 10798 0 -1 4194304 2294 0 0 0 288 1 0 0 25 0 1 0 306636951 10321920 2280 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/11429/statm: 2520 2280 77 171 0 2347 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15436
[startup+6.30158 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11429
/proc/meminfo: memFree=1795312/2055920 swapFree=4180972/4192956
[pid=11423] ppid=11421 vsize=5356 CPUtime=0.18
/proc/11423/stat : 11423 (SatELiteGTI) S 11421 11423 10798 0 -1 4194304 336 1612 0 0 0 0 17 1 16 0 1 0 306636932 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11423/statm: 1339 239 197 169 0 50 0
[pid=11429] ppid=11423 vsize=15404 CPUtime=6.09
/proc/11429/stat : 11429 (minisat_static) R 11423 11423 10798 0 -1 4194304 3633 0 0 0 607 2 0 0 25 0 1 0 306636951 15773696 3619 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/11429/statm: 3851 3619 77 171 0 3678 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 20760
[startup+12.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11429
/proc/meminfo: memFree=1785720/2055920 swapFree=4180972/4192956
[pid=11423] ppid=11421 vsize=5356 CPUtime=0.18
/proc/11423/stat : 11423 (SatELiteGTI) S 11421 11423 10798 0 -1 4194304 336 1612 0 0 0 0 17 1 16 0 1 0 306636932 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11423/statm: 1339 239 197 169 0 50 0
[pid=11429] ppid=11423 vsize=24696 CPUtime=12.49
/proc/11429/stat : 11429 (minisat_static) R 11423 11423 10798 0 -1 4194304 5936 0 0 0 1244 5 0 0 25 0 1 0 306636951 25288704 5922 1992294400 134512640 135215339 4294956240 18446744073709551615 134529157 0 0 4096 3 0 0 0 17 1 0 0
/proc/11429/statm: 6174 5922 77 171 0 6001 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 30052
[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11429
/proc/meminfo: memFree=1769336/2055920 swapFree=4180972/4192956
[pid=11423] ppid=11421 vsize=5356 CPUtime=0.18
/proc/11423/stat : 11423 (SatELiteGTI) S 11421 11423 10798 0 -1 4194304 336 1612 0 0 0 0 17 1 16 0 1 0 306636932 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11423/statm: 1339 239 197 169 0 50 0
[pid=11429] ppid=11423 vsize=40352 CPUtime=25.29
/proc/11429/stat : 11429 (minisat_static) R 11423 11423 10798 0 -1 4194304 9874 0 0 0 2520 9 0 0 25 0 1 0 306636951 41320448 9860 1992294400 134512640 135215339 4294956240 18446744073709551615 134529157 0 0 4096 3 0 0 0 17 1 0 0
/proc/11429/statm: 10088 9860 77 171 0 9915 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 45708
[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11429
/proc/meminfo: memFree=1744824/2055920 swapFree=4180972/4192956
[pid=11423] ppid=11421 vsize=5356 CPUtime=0.18
/proc/11423/stat : 11423 (SatELiteGTI) S 11421 11423 10798 0 -1 4194304 336 1612 0 0 0 0 17 1 16 0 1 0 306636932 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11423/statm: 1339 239 197 169 0 50 0
[pid=11429] ppid=11423 vsize=65024 CPUtime=50.88
/proc/11429/stat : 11429 (minisat_static) R 11423 11423 10798 0 -1 4194304 16048 0 0 0 5072 16 0 0 25 0 1 0 306636951 66584576 16034 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11429/statm: 16256 16034 77 171 0 16083 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 70380
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11429
/proc/meminfo: memFree=1704056/2055920 swapFree=4180972/4192956
[pid=11423] ppid=11421 vsize=5356 CPUtime=0.18
/proc/11423/stat : 11423 (SatELiteGTI) S 11421 11423 10798 0 -1 4194304 336 1612 0 0 0 0 17 1 16 0 1 0 306636932 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11423/statm: 1339 239 197 169 0 50 0
[pid=11429] ppid=11423 vsize=105468 CPUtime=102.07
/proc/11429/stat : 11429 (minisat_static) R 11423 11423 10798 0 -1 4194304 26079 0 0 0 10180 27 0 0 25 0 1 0 306636951 107999232 26065 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/11429/statm: 26367 26065 77 171 0 26194 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 110824
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11429
/proc/meminfo: memFree=1663992/2055920 swapFree=4180972/4192956
[pid=11423] ppid=11421 vsize=5356 CPUtime=0.18
/proc/11423/stat : 11423 (SatELiteGTI) S 11421 11423 10798 0 -1 4194304 336 1612 0 0 0 0 17 1 16 0 1 0 306636932 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11423/statm: 1339 239 197 169 0 50 0
[pid=11429] ppid=11423 vsize=145332 CPUtime=162.05
/proc/11429/stat : 11429 (minisat_static) R 11423 11423 10798 0 -1 4194304 36102 0 0 0 16167 38 0 0 25 0 1 0 306636951 148819968 36088 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/11429/statm: 36333 36088 77 171 0 36160 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 150688
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11429
/proc/meminfo: memFree=1629880/2055920 swapFree=4180972/4192956
[pid=11423] ppid=11421 vsize=5356 CPUtime=0.18
/proc/11423/stat : 11423 (SatELiteGTI) S 11421 11423 10798 0 -1 4194304 336 1612 0 0 0 0 17 1 16 0 1 0 306636932 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11423/statm: 1339 239 197 169 0 50 0
[pid=11429] ppid=11423 vsize=179396 CPUtime=222.03
/proc/11429/stat : 11429 (minisat_static) R 11423 11423 10798 0 -1 4194304 44551 0 0 0 22157 46 0 0 25 0 1 0 306636951 183701504 44537 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11429/statm: 44849 44537 77 171 0 44676 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 184752
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11429
/proc/meminfo: memFree=1602168/2055920 swapFree=4180972/4192956
[pid=11423] ppid=11421 vsize=5356 CPUtime=0.18
/proc/11423/stat : 11423 (SatELiteGTI) S 11421 11423 10798 0 -1 4194304 336 1612 0 0 0 0 17 1 16 0 1 0 306636932 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11423/statm: 1339 239 197 169 0 50 0
[pid=11429] ppid=11423 vsize=206984 CPUtime=282.01
/proc/11429/stat : 11429 (minisat_static) R 11423 11423 10798 0 -1 4194304 51484 0 0 0 28148 53 0 0 25 0 1 0 306636951 211951616 51470 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11429/statm: 51746 51470 77 171 0 51573 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 212340
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11429
/proc/meminfo: memFree=1575928/2055920 swapFree=4180972/4192956
[pid=11423] ppid=11421 vsize=5356 CPUtime=0.18
/proc/11423/stat : 11423 (SatELiteGTI) S 11421 11423 10798 0 -1 4194304 336 1612 0 0 0 0 17 1 16 0 1 0 306636932 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11423/statm: 1339 239 197 169 0 50 0
[pid=11429] ppid=11423 vsize=232860 CPUtime=341.99
/proc/11429/stat : 11429 (minisat_static) R 11423 11423 10798 0 -1 4194304 57973 0 0 0 34137 62 0 0 25 0 1 0 306636951 238448640 57959 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11429/statm: 58215 57959 77 171 0 58042 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 238216
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11429
/proc/meminfo: memFree=1551544/2055920 swapFree=4180972/4192956
[pid=11423] ppid=11421 vsize=5356 CPUtime=0.18
/proc/11423/stat : 11423 (SatELiteGTI) S 11421 11423 10798 0 -1 4194304 336 1612 0 0 0 0 17 1 16 0 1 0 306636932 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11423/statm: 1339 239 197 169 0 50 0
[pid=11429] ppid=11423 vsize=257624 CPUtime=401.97
/proc/11429/stat : 11429 (minisat_static) R 11423 11423 10798 0 -1 4194304 64056 0 0 0 40128 69 0 0 25 0 1 0 306636951 263806976 64042 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11429/statm: 64406 64042 77 171 0 64233 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 262980
[startup+462.302 s]
################
# More data... #
################
/proc/11429/statm: 76088 75759 77 171 0 75915 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 309708
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11429
/proc/meminfo: memFree=1483960/2055920 swapFree=4180972/4192956
[pid=11423] ppid=11421 vsize=5356 CPUtime=0.18
/proc/11423/stat : 11423 (SatELiteGTI) S 11421 11423 10798 0 -1 4194304 336 1612 0 0 0 0 17 1 16 0 1 0 306636932 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11423/statm: 1339 239 197 169 0 50 0
[pid=11429] ppid=11423 vsize=324416 CPUtime=581.92
/proc/11429/stat : 11429 (minisat_static) R 11423 11423 10798 0 -1 4194304 80822 0 0 0 58105 87 0 0 25 0 1 0 306636951 332201984 80808 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/11429/statm: 81104 80808 77 171 0 80931 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 329772
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11429
/proc/meminfo: memFree=1463608/2055920 swapFree=4180972/4192956
[pid=11423] ppid=11421 vsize=5356 CPUtime=0.18
/proc/11423/stat : 11423 (SatELiteGTI) S 11421 11423 10798 0 -1 4194304 336 1612 0 0 0 0 17 1 16 0 1 0 306636932 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11423/statm: 1339 239 197 169 0 50 0
[pid=11429] ppid=11423 vsize=344348 CPUtime=641.91
/proc/11429/stat : 11429 (minisat_static) R 11423 11423 10798 0 -1 4194304 85840 0 0 0 64097 94 0 0 25 0 1 0 306636951 352612352 85826 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/11429/statm: 86087 85826 77 171 0 85914 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 349704
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11429
/proc/meminfo: memFree=1444792/2055920 swapFree=4180972/4192956
[pid=11423] ppid=11421 vsize=5356 CPUtime=0.18
/proc/11423/stat : 11423 (SatELiteGTI) S 11421 11423 10798 0 -1 4194304 336 1612 0 0 0 0 17 1 16 0 1 0 306636932 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11423/statm: 1339 239 197 169 0 50 0
[pid=11429] ppid=11423 vsize=363224 CPUtime=701.89
/proc/11429/stat : 11429 (minisat_static) R 11423 11423 10798 0 -1 4194304 90588 0 0 0 70090 99 0 0 25 0 1 0 306636951 371941376 90574 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11429/statm: 90806 90574 77 171 0 90633 0
Current children cumulated CPU time (s) 702.07
Current children cumulated vsize (KiB) 368580
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11429
/proc/meminfo: memFree=1424568/2055920 swapFree=4180972/4192956
[pid=11423] ppid=11421 vsize=5356 CPUtime=0.18
/proc/11423/stat : 11423 (SatELiteGTI) S 11421 11423 10798 0 -1 4194304 336 1612 0 0 0 0 17 1 16 0 1 0 306636932 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11423/statm: 1339 239 197 169 0 50 0
[pid=11429] ppid=11423 vsize=383940 CPUtime=761.88
/proc/11429/stat : 11429 (minisat_static) R 11423 11423 10798 0 -1 4194304 95552 0 0 0 76085 103 0 0 25 0 1 0 306636951 393154560 95538 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/11429/statm: 95985 95538 77 171 0 95812 0
Current children cumulated CPU time (s) 762.06
Current children cumulated vsize (KiB) 389296
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11429
/proc/meminfo: memFree=1407352/2055920 swapFree=4180972/4192956
[pid=11423] ppid=11421 vsize=5356 CPUtime=0.18
/proc/11423/stat : 11423 (SatELiteGTI) S 11421 11423 10798 0 -1 4194304 336 1612 0 0 0 0 17 1 16 0 1 0 306636932 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11423/statm: 1339 239 197 169 0 50 0
[pid=11429] ppid=11423 vsize=401100 CPUtime=821.86
/proc/11429/stat : 11429 (minisat_static) R 11423 11423 10798 0 -1 4194304 99868 0 0 0 82076 110 0 0 25 0 1 0 306636951 410726400 99854 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11429/statm: 100275 99854 77 171 0 100102 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 406456
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11429
/proc/meminfo: memFree=1389432/2055920 swapFree=4180972/4192956
[pid=11423] ppid=11421 vsize=5356 CPUtime=0.18
/proc/11423/stat : 11423 (SatELiteGTI) S 11421 11423 10798 0 -1 4194304 336 1612 0 0 0 0 17 1 16 0 1 0 306636932 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11423/statm: 1339 239 197 169 0 50 0
[pid=11429] ppid=11423 vsize=418792 CPUtime=881.84
/proc/11429/stat : 11429 (minisat_static) R 11423 11423 10798 0 -1 4194304 104298 0 0 0 88068 116 0 0 25 0 1 0 306636951 428843008 104284 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11429/statm: 104698 104284 77 171 0 104525 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 424148
[startup+942.301 s]
/proc/loadavg: 1.05 1.01 1.00 2/66 11429
/proc/meminfo: memFree=1370040/2055920 swapFree=4180972/4192956
[pid=11423] ppid=11421 vsize=5356 CPUtime=0.18
/proc/11423/stat : 11423 (SatELiteGTI) S 11421 11423 10798 0 -1 4194304 336 1612 0 0 0 0 17 1 16 0 1 0 306636932 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11423/statm: 1339 239 197 169 0 50 0
[pid=11429] ppid=11423 vsize=438200 CPUtime=941.83
/proc/11429/stat : 11429 (minisat_static) R 11423 11423 10798 0 -1 4194304 109173 0 0 0 94061 122 0 0 25 0 1 0 306636951 448716800 109159 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/11429/statm: 109550 109159 77 171 0 109377 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 443556
[startup+1002.3 s]
/proc/loadavg: 1.12 1.04 1.01 2/66 11429
/proc/meminfo: memFree=1355320/2055920 swapFree=4180972/4192956
[pid=11423] ppid=11421 vsize=5356 CPUtime=0.18
/proc/11423/stat : 11423 (SatELiteGTI) S 11421 11423 10798 0 -1 4194304 336 1612 0 0 0 0 17 1 16 0 1 0 306636932 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11423/statm: 1339 239 197 169 0 50 0
[pid=11429] ppid=11423 vsize=452460 CPUtime=1001.81
/proc/11429/stat : 11429 (minisat_static) R 11423 11423 10798 0 -1 4194304 112766 0 0 0 100054 127 0 0 25 0 1 0 306636951 463319040 112752 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11429/statm: 113115 112752 77 171 0 112942 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 457816
[startup+1062.3 s]
/proc/loadavg: 1.04 1.03 1.00 2/66 11429
/proc/meminfo: memFree=1338744/2055920 swapFree=4180972/4192956
[pid=11423] ppid=11421 vsize=5356 CPUtime=0.18
/proc/11423/stat : 11423 (SatELiteGTI) S 11421 11423 10798 0 -1 4194304 336 1612 0 0 0 0 17 1 16 0 1 0 306636932 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11423/statm: 1339 239 197 169 0 50 0
[pid=11429] ppid=11423 vsize=468960 CPUtime=1061.8
/proc/11429/stat : 11429 (minisat_static) R 11423 11423 10798 0 -1 4194304 116912 0 0 0 106047 133 0 0 25 0 1 0 306636951 480215040 116898 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/11429/statm: 117240 116898 77 171 0 117067 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 474316
[startup+1122.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/66 11429
/proc/meminfo: memFree=1321656/2055920 swapFree=4180972/4192956
[pid=11423] ppid=11421 vsize=5356 CPUtime=0.18
/proc/11423/stat : 11423 (SatELiteGTI) S 11421 11423 10798 0 -1 4194304 336 1612 0 0 0 0 17 1 16 0 1 0 306636932 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11423/statm: 1339 239 197 169 0 50 0
[pid=11429] ppid=11423 vsize=485856 CPUtime=1121.79
/proc/11429/stat : 11429 (minisat_static) R 11423 11423 10798 0 -1 4194304 121129 0 0 0 112042 137 0 0 25 0 1 0 306636951 497516544 121115 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/11429/statm: 121464 121115 77 171 0 121291 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 491212
[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 11429
/proc/meminfo: memFree=1313208/2055920 swapFree=4180972/4192956
[pid=11423] ppid=11421 vsize=5356 CPUtime=0.18
/proc/11423/stat : 11423 (SatELiteGTI) S 11421 11423 10798 0 -1 4194304 336 1612 0 0 0 0 17 1 16 0 1 0 306636932 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11423/statm: 1339 239 197 169 0 50 0
[pid=11429] ppid=11423 vsize=494040 CPUtime=1181.76
/proc/11429/stat : 11429 (minisat_static) R 11423 11423 10798 0 -1 4194304 123188 0 0 0 118037 139 0 0 25 0 1 0 306636951 505896960 123174 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11429/statm: 123510 123174 77 171 0 123337 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 499396
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 11429
/proc/meminfo: memFree=1313208/2055920 swapFree=4180972/4192956
[pid=11423] ppid=11421 vsize=5356 CPUtime=0.18
/proc/11423/stat : 11423 (SatELiteGTI) S 11421 11423 10798 0 -1 4194304 336 1612 0 0 0 0 17 1 16 0 1 0 306636932 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11423/statm: 1339 239 197 169 0 50 0
[pid=11429] ppid=11423 vsize=494040 CPUtime=1199.86
/proc/11429/stat : 11429 (minisat_static) R 11423 11423 10798 0 -1 4194304 123188 0 0 0 119847 139 0 0 25 0 1 0 306636951 505896960 123174 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11429/statm: 123510 123174 77 171 0 123337 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 499396
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 11423 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=177972
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=15997
# CPU time returned by wait4() is 0.193969
# while last known CPU time is 1200.04
#
# 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.04
CPU user time (s): 1198.64
CPU system time (s): 1.4
CPU usage (%): 99.9691
Max. virtual memory (cumulated for all children) (KiB): 499396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.177972
system time used= 0.015997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1948
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 8
runsolver used 1.47877 second user time and 2.97055 second system time
The end
Begin job on node34 at 2009-05-20 04:20:43
IDJOB=1832663
IDBENCH=70295
IDSOLVER=671
FILE ID=node34/1832663-1242786043
PBS_JOBID= 9322329
Free space on /tmp= 66428 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/10000/unif-k3-r4.2-v10000-c42000-S1806027711-062.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832663-1242786043/watcher-1832663-1242786043 -o /tmp/evaluation-result-1832663-1242786043/solver-1832663-1242786043 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832663-1242786043.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 03e92abd50719ffb3da2b41e986c9d5a
RANDOM SEED=1401499462
node34.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: 1810144 kB
Buffers: 25884 kB
Cached: 172892 kB
SwapCached: 6108 kB
Active: 72956 kB
Inactive: 134080 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1810144 kB
SwapTotal: 4192956 kB
SwapFree: 4180972 kB
Dirty: 2340 kB
Writeback: 0 kB
Mapped: 13560 kB
Slab: 24848 kB
Committed_AS: 1058484 kB
PageTables: 1384 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= 66428 MiB
End job on node34 at 2009-05-20 04:40:45