0.00/0.00 c Parsing...
0.00/0.09 c ==============================================================================
0.00/0.09 c | | ORIGINAL | LEARNT | |
0.00/0.09 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.09 c ==============================================================================
0.00/0.09 c | 0 | 75600 226800 | 22679 0 0 nan | 0.000 % |
0.00/0.27 c | 0 | 75118 227879 | -- 0 -- -- | -- | -482/1079
0.00/0.27 c ==============================================================================
0.00/0.27 c Result : #vars: 17584 #clauses: 75118 #literals: 227879
0.00/0.27 c CPU time: 0.252961 s
0.00/0.27 c ==============================================================================
0.00/0.36 c This is MiniSat 2.0 beta
0.00/0.36 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.36 c ============================[ Problem Statistics ]=============================
0.00/0.36 c | |
0.00/0.36 c | Number of variables: 17584 |
0.00/0.36 c | Number of clauses: 75118 |
0.34/0.42 c | Parsing time: 0.05 s |
0.34/0.42 c ============================[ Search Statistics ]==============================
0.34/0.42 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.34/0.42 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.34/0.42 c ===============================================================================
0.34/0.42 c | 0 | 17584 75118 227879 | 25039 0 nan | 0.000 % |
0.34/0.49 c | 100 | 17584 75118 227879 | 25039 100 143 | 0.000 % |
0.34/0.54 c | 202 | 17584 75118 227879 | 25039 202 166 | 0.000 % |
0.34/0.61 c | 304 | 17584 75118 227879 | 25039 304 175 | 0.000 % |
0.34/0.67 c | 415 | 17584 75118 227879 | 25039 415 177 | 0.000 % |
0.34/0.73 c | 515 | 17584 75118 227879 | 25039 515 167 | 0.000 % |
0.34/0.80 c | 626 | 17584 75118 227879 | 25039 626 171 | 0.000 % |
0.34/0.87 c | 747 | 17584 75118 227879 | 25039 747 176 | 0.000 % |
0.34/0.93 c | 848 | 17584 75118 227879 | 25039 848 172 | 0.000 % |
0.97/1.00 c | 960 | 17584 75118 227879 | 25039 960 179 | 0.000 % |
0.97/1.07 c | 1082 | 17584 75118 227879 | 25039 1082 181 | 0.000 % |
1.07/1.15 c | 1215 | 17584 75118 227879 | 25039 1215 176 | 0.000 % |
1.16/1.21 c | 1315 | 17584 75118 227879 | 25039 1315 174 | 0.000 % |
1.16/1.28 c | 1425 | 17584 75118 227879 | 25039 1425 174 | 0.000 % |
1.26/1.34 c | 1548 | 17584 75118 227879 | 25039 1548 174 | 0.000 % |
1.36/1.42 c | 1681 | 17584 75118 227879 | 25039 1681 174 | 0.000 % |
1.46/1.51 c | 1827 | 17584 75118 227879 | 25039 1827 181 | 0.000 % |
1.46/1.57 c | 1929 | 17584 75118 227879 | 25039 1929 182 | 0.000 % |
1.56/1.64 c | 2039 | 17584 75118 227879 | 25039 2039 183 | 0.000 % |
1.66/1.72 c | 2167 | 17584 75118 227879 | 25039 2167 184 | 0.000 % |
1.76/1.81 c | 2303 | 17584 75118 227879 | 25039 2303 186 | 0.000 % |
1.86/1.90 c | 2449 | 17584 75118 227879 | 25039 2449 185 | 0.000 % |
1.86/1.99 c | 2609 | 17584 75118 227879 | 25039 2609 186 | 0.000 % |
1.96/2.05 c | 2711 | 17584 75118 227879 | 25039 2711 183 | 0.000 % |
2.06/2.12 c | 2821 | 17584 75118 227879 | 25039 2821 183 | 0.000 % |
2.06/2.20 c | 2944 | 17584 75118 227879 | 25039 2944 186 | 0.000 % |
2.16/2.28 c | 3077 | 17584 75118 227879 | 25039 3077 186 | 0.000 % |
2.26/2.37 c | 3224 | 17584 75118 227879 | 25039 3224 186 | 0.000 % |
2.37/2.47 c | 3384 | 17584 75118 227879 | 25039 3384 190 | 0.000 % |
2.47/2.57 c | 3560 | 17584 75118 227879 | 25039 3560 191 | 0.000 % |
2.57/2.65 c | 3664 | 17584 75118 227879 | 25039 3664 191 | 0.000 % |
2.67/2.71 c | 3775 | 17584 75118 227879 | 25039 3775 191 | 0.000 % |
2.67/2.78 c | 3896 | 17584 75118 227879 | 25039 3896 191 | 0.000 % |
2.77/2.87 c | 4029 | 17584 75118 227879 | 25039 4029 192 | 0.000 % |
2.87/2.97 c | 4175 | 17584 75118 227879 | 25039 4175 194 | 0.000 % |
2.97/3.07 c | 4335 | 17584 75118 227879 | 25039 4335 195 | 0.000 % |
3.07/3.18 c | 4511 | 17584 75118 227879 | 25039 4511 195 | 0.000 % |
3.27/3.31 c | 4704 | 17584 75118 227879 | 25039 4704 196 | 0.000 % |
3.27/3.36 c | 4804 | 17584 75118 227879 | 25039 4804 194 | 0.000 % |
3.36/3.43 c | 4916 | 17584 75118 227879 | 25039 4916 195 | 0.000 % |
3.46/3.51 c | 5037 | 17584 75118 227879 | 25039 5037 195 | 0.000 % |
3.56/3.61 c | 5170 | 17584 75118 227879 | 25039 5170 197 | 0.000 % |
3.66/3.70 c | 5317 | 17584 75118 227879 | 25039 5317 197 | 0.000 % |
3.66/3.79 c | 5479 | 17584 75118 227879 | 25039 5479 195 | 0.000 % |
3.86/3.91 c | 5657 | 17584 75118 227879 | 25039 5657 195 | 0.000 % |
3.96/4.04 c | 5850 | 17584 75118 227879 | 25039 5850 196 | 0.000 % |
4.06/4.18 c | 6062 | 17584 75118 227879 | 25039 6062 197 | 0.000 % |
4.16/4.24 c | 6162 | 17584 75118 227879 | 25039 6162 197 | 0.000 % |
4.26/4.31 c | 6273 | 17584 75118 227879 | 25039 6273 196 | 0.000 % |
4.26/4.39 c | 6398 | 17584 75118 227879 | 25039 6398 196 | 0.000 % |
4.36/4.48 c | 6531 | 17584 75118 227879 | 25039 6531 198 | 0.000 % |
4.46/4.58 c | 6678 | 17584 75118 227879 | 25039 6678 197 | 0.000 % |
4.56/4.68 c | 6841 | 17584 75118 227879 | 25039 6841 197 | 0.000 % |
4.76/4.80 c | 7017 | 17584 75118 227879 | 25039 7017 197 | 0.000 % |
4.86/4.94 c | 7211 | 17584 75118 227879 | 25039 7211 196 | 0.000 % |
4.96/5.08 c | 7423 | 17584 75118 227879 | 25039 7423 195 | 0.000 % |
5.16/5.22 c | 7656 | 17584 75118 227879 | 25039 7656 195 | 0.000 % |
5.16/5.29 c | 7757 | 17584 75118 227879 | 25039 7757 195 | 0.000 % |
5.26/5.38 c | 7868 | 17584 75118 227879 | 25039 7868 195 | 0.000 % |
5.37/5.46 c | 7991 | 17584 75118 227879 | 25039 7991 194 | 0.000 % |
5.47/5.55 c | 8124 | 17584 75118 227879 | 25039 8124 194 | 0.000 % |
5.56/5.65 c | 8270 | 17584 75118 227879 | 25039 8270 193 | 0.000 % |
5.66/5.76 c | 8433 | 17584 75118 227879 | 25039 8433 193 | 0.000 % |
5.76/5.87 c | 8610 | 17584 75118 227879 | 25039 8610 193 | 0.000 % |
5.96/6.00 c | 8803 | 17584 75118 227879 | 25039 8803 193 | 0.000 % |
6.06/6.14 c | 9015 | 17584 75118 227879 | 25039 9015 192 | 0.000 % |
6.16/6.29 c | 9250 | 17584 75118 227879 | 25039 9250 193 | 0.000 % |
6.36/6.44 c | 9506 | 17584 75118 227879 | 25039 9506 193 | 0.000 % |
6.46/6.51 c | 9606 | 17584 75118 227879 | 25039 9606 193 | 0.000 % |
6.46/6.58 c | 9717 | 17584 75118 227879 | 25039 9717 192 | 0.000 % |
6.56/6.66 c | 9838 | 17584 75118 227879 | 25039 9838 192 | 0.000 % |
6.66/6.75 c | 9973 | 17584 75118 227879 | 25039 9973 193 | 0.000 % |
6.76/6.85 c | 10120 | 17584 75118 227879 | 2147483647 10120 194 | 0.000 % |
6.86/6.97 c | 10283 | 17584 75118 227879 | 2147483647 10283 194 | 0.000 % |
6.95/7.09 c | 10460 | 17584 75118 227879 | 2147483647 10460 194 | 0.000 % |
7.15/7.22 c | 10653 | 17584 75118 227879 | 2147483647 10653 195 | 0.000 % |
7.25/7.35 c | 10865 | 17584 75118 227879 | 2147483647 10865 195 | 0.000 % |
7.45/7.51 c | 11099 | 17584 75118 227879 | 2147483647 11099 196 | 0.000 % |
7.56/7.68 c | 11355 | 17584 75118 227879 | 2147483647 11355 198 | 0.000 % |
7.75/7.87 c | 11637 | 17584 75118 227879 | 2147483647 11637 198 | 0.000 % |
7.85/7.95 c | 11737 | 17584 75118 227879 | 2147483647 11737 197 | 0.000 % |
7.95/8.02 c | 11847 | 17584 75118 227879 | 2147483647 11847 197 | 0.000 % |
8.06/8.11 c | 11968 | 17584 75118 227879 | 2147483647 11968 197 | 0.000 % |
8.16/8.21 c | 12103 | 17584 75118 227879 | 2147483647 12103 198 | 0.000 % |
8.16/8.30 c | 12249 | 17584 75118 227879 | 2147483647 12249 198 | 0.000 % |
8.36/8.40 c | 12410 | 17584 75118 227879 | 2147483647 12410 198 | 0.000 % |
8.46/8.53 c | 12586 | 17584 75118 227879 | 2147483647 12586 199 | 0.000 % |
8.56/8.65 c | 12779 | 17584 75118 227879 | 2147483647 12779 199 | 0.000 % |
8.66/8.79 c | 12994 | 17584 75118 227879 | 2147483647 12994 199 | 0.000 % |
8.86/8.97 c | 13230 | 17584 75118 227879 | 2147483647 13230 198 | 0.000 % |
9.06/9.14 c | 13486 | 17584 75118 227879 | 2147483647 13486 199 | 0.000 % |
9.26/9.35 c | 13767 | 17584 75118 227879 | 2147483647 13767 200 | 0.000 % |
9.46/9.55 c | 14077 | 17584 75118 227879 | 2147483647 14077 200 | 0.000 % |
9.56/9.62 c | 14177 | 17584 75118 227879 | 2147483647 14177 200 | 0.000 % |
9.65/9.71 c | 14288 | 17584 75118 227879 | 2147483647 14288 200 | 0.000 % |
9.65/9.79 c | 14409 | 17584 75118 227879 | 2147483647 14409 200 | 0.000 % |
9.76/9.88 c | 14542 | 17584 75118 227879 | 2147483647 14542 200 | 0.000 % |
9.86/9.99 c | 14689 | 17584 75118 227879 | 2147483647 14689 200 | 0.000 % |
10.05/10.10 c | 14849 | 17584 75118 227879 | 2147483647 14849 200 | 0.000 % |
10.15/10.21 c | 15026 | 17584 75118 227879 | 2147483647 15026 200 | 0.000 % |
10.25/10.34 c | 15219 | 17584 75118 227879 | 2147483647 15219 200 | 0.000 % |
10.35/10.49 c | 15431 | 17584 75118 227879 | 2147483647 15431 199 | 0.000 % |
10.55/10.66 c | 15665 | 17584 75118 227879 | 2147483647 15665 200 | 0.000 % |
10.75/10.84 c | 15925 | 17584 75118 227879 | 2147483647 15925 200 | 0.000 % |
10.95/11.03 c | 16206 | 17584 75118 227879 | 2147483647 16206 200 | 0.000 % |
11.16/11.23 c | 16515 | 17584 75118 227879 | 2147483647 16515 203 | 0.000 % |
11.36/11.47 c | 16856 | 17584 75118 227879 | 2147483647 16856 203 | 0.000 % |
11.46/11.54 c | 16956 | 17584 75118 227879 | 2147483647 16956 203 | 0.000 % |
11.56/11.62 c | 17066 | 17584 75118 227879 | 2147483647 17066 203 | 0.000 % |
11.65/11.71 c | 17187 | 17584 75118 227879 | 2147483647 17187 203 | 0.000 % |
11.75/11.81 c | 17321 | 17584 75118 227879 | 2147483647 17321 203 | 0.000 % |
11.85/11.91 c | 17467 | 17584 75118 227879 | 2147483647 17467 202 | 0.000 % |
11.96/12.03 c | 17627 | 17584 75118 227879 | 2147483647 17627 202 | 0.000 % |
12.06/12.15 c | 17803 | 17584 75118 227879 | 2147483647 17803 202 | 0.000 % |
12.15/12.29 c | 17996 | 17584 75118 227879 | 2147483647 17996 201 | 0.000 % |
12.35/12.44 c | 18208 | 17584 75118 227879 | 2147483647 18208 202 | 0.000 % |
12.55/12.60 c | 18443 | 17584 75118 227879 | 2147483647 18443 202 | 0.000 % |
12.65/12.80 c | 18700 | 17584 75118 227879 | 2147483647 18700 202 | 0.000 % |
12.85/12.99 c | 18982 | 17584 75118 227879 | 2147483647 18982 203 | 0.000 % |
13.15/13.22 c | 19294 | 17584 75118 227879 | 2147483647 19294 203 | 0.000 % |
13.35/13.45 c | 19633 | 17584 75118 227879 | 2147483647 19633 203 | 0.000 % |
13.65/13.73 c | 20005 | 17584 75118 227879 | 2147483647 20005 204 | 0.000 % |
13.75/13.81 c | 20105 | 17584 75118 227879 | 2147483647 20105 204 | 0.000 % |
13.75/13.88 c | 20216 | 17584 75118 227879 | 2147483647 20216 204 | 0.000 % |
13.85/13.98 c | 20339 | 17584 75118 227879 | 2147483647 20339 204 | 0.000 % |
13.95/14.07 c | 20472 | 17584 75118 227879 | 2147483647 20472 204 | 0.000 % |
14.05/14.18 c | 20618 | 17584 75118 227879 | 2147483647 20618 204 | 0.000 % |
14.25/14.32 c | 20778 | 17584 75118 227879 | 2147483647 20778 204 | 0.000 % |
14.35/14.45 c | 20954 | 17584 75118 227879 | 2147483647 20954 203 | 0.000 % |
14.45/14.59 c | 21148 | 17584 75118 227879 | 2147483647 21148 204 | 0.000 % |
14.65/14.75 c | 21360 | 17584 75118 227879 | 2147483647 21360 204 | 0.000 % |
14.85/14.91 c | 21595 | 17584 75118 227879 | 2147483647 21595 204 | 0.000 % |
14.95/15.10 c | 21851 | 17584 75118 227879 | 2147483647 21851 205 | 0.000 % |
15.14/15.30 c | 22134 | 17584 75118 227879 | 2147483647 22134 205 | 0.000 % |
15.45/15.52 c | 22443 | 17584 75118 227879 | 2147483647 22443 205 | 0.000 % |
15.65/15.78 c | 22782 | 17584 75118 227879 | 2147483647 22782 206 | 0.000 % |
15.95/16.05 c | 23154 | 17584 75118 227879 | 2147483647 23154 206 | 0.000 % |
16.25/16.35 c | 23563 | 17584 75118 227879 | 2147483647 23563 207 | 0.000 % |
16.35/16.43 c | 23667 | 17584 75118 227879 | 2147483647 23667 207 | 0.000 % |
16.45/16.50 c | 23777 | 17584 75118 227879 | 2147483647 23777 207 | 0.000 % |
16.55/16.60 c | 23899 | 17584 75118 227879 | 2147483647 23899 207 | 0.000 % |
16.65/16.70 c | 24032 | 17584 75118 227879 | 2147483647 24032 207 | 0.000 % |
16.75/16.83 c | 24178 | 17584 75118 227879 | 2147483647 24178 207 | 0.000 % |
16.85/16.96 c | 24338 | 17584 75118 227879 | 2147483647 24338 207 | 0.000 % |
16.95/17.09 c | 24514 | 17584 75118 227879 | 2147483647 24514 207 | 0.000 % |
17.15/17.24 c | 24707 | 17584 75118 227879 | 2147483647 24707 207 | 0.000 % |
17.34/17.40 c | 24920 | 17584 75118 227879 | 2147483647 24920 207 | 0.000 % |
17.45/17.57 c | 25153 | 17584 75118 227879 | 2147483647 25153 206 | 0.000 % |
17.64/17.76 c | 25410 | 17584 75118 227879 | 2147483647 25410 206 | 0.000 % |
17.84/17.96 c | 25693 | 17584 75118 227879 | 2147483647 25693 206 | 0.000 % |
18.15/18.20 c | 26005 | 17584 75118 227879 | 2147483647 26005 206 | 0.000 % |
18.35/18.46 c | 26345 | 17584 75118 227879 | 2147483647 26345 207 | 0.000 % |
18.65/18.73 c | 26719 | 17584 75118 227879 | 2147483647 26719 207 | 0.000 % |
18.94/19.04 c | 27128 | 17584 75118 227879 | 2147483647 27128 207 | 0.000 % |
19.24/19.38 c | 27577 | 17584 75118 227879 | 2147483647 27577 207 | 0.000 % |
19.34/19.47 c | 27677 | 17584 75118 227879 | 2147483647 27677 207 | 0.000 % |
19.44/19.56 c | 27788 | 17584 75118 227879 | 2147483647 27788 208 | 0.000 % |
19.55/19.65 c | 27909 | 17584 75118 227879 | 2147483647 27909 208 | 0.000 % |
19.65/19.75 c | 28042 | 17584 75118 227879 | 2147483647 28042 208 | 0.000 % |
19.75/19.87 c | 28190 | 17584 75118 227879 | 2147483647 28190 208 | 0.000 % |
19.95/20.01 c | 28352 | 17584 75118 227879 | 2147483647 28352 208 | 0.000 % |
20.05/20.15 c | 28533 | 17584 75118 227879 | 2147483647 28533 208 | 0.000 % |
20.24/20.31 c | 28726 | 17584 75118 227879 | 2147483647 28726 209 | 0.000 % |
20.34/20.49 c | 28939 | 17584 75118 227879 | 2147483647 28939 209 | 0.000 % |
20.54/20.68 c | 29172 | 17584 75118 227879 | 2147483647 29172 209 | 0.000 % |
20.75/20.88 c | 29428 | 17584 75118 227879 | 2147483647 29428 209 | 0.000 % |
21.04/21.10 c | 29711 | 17584 75118 227879 | 2147483647 29711 209 | 0.000 % |
21.24/21.36 c | 30020 | 17584 75118 227879 | 2147483647 30020 210 | 0.000 % |
21.54/21.63 c | 30360 | 17584 75118 227879 | 2147483647 30360 209 | 0.000 % |
21.84/21.92 c | 30732 | 17584 75118 227879 | 2147483647 30732 210 | 0.000 % |
22.14/22.21 c | 31142 | 17584 75118 227879 | 2147483647 31142 210 | 0.000 % |
22.44/22.57 c | 31592 | 17584 75118 227879 | 2147483647 31592 211 | 0.000 % |
22.84/22.94 c | 32086 | 17584 75118 227879 | 2147483647 32086 212 | 0.000 % |
22.94/23.03 c | 32188 | 17584 75118 227879 | 2147483647 32188 212 | 0.000 % |
23.04/23.12 c | 32298 | 17584 75118 227879 | 2147483647 32298 212 | 0.000 % |
23.14/23.23 c | 32419 | 17584 75118 227879 | 2147483647 32419 212 | 0.000 % |
23.25/23.34 c | 32552 | 17584 75118 227879 | 2147483647 32552 212 | 0.000 % |
23.35/23.47 c | 32698 | 17584 75118 227879 | 2147483647 32698 212 | 0.000 % |
23.45/23.60 c | 32858 | 17584 75118 227879 | 2147483647 32858 212 | 0.000 % |
23.65/23.75 c | 33034 | 17584 75118 227879 | 2147483647 33034 212 | 0.000 % |
23.85/23.92 c | 33227 | 17584 75118 227879 | 2147483647 33227 211 | 0.000 % |
23.95/24.09 c | 33439 | 17584 75118 227879 | 2147483647 33439 211 | 0.000 % |
24.15/24.29 c | 33673 | 17584 75118 227879 | 2147483647 33673 211 | 0.000 % |
24.44/24.50 c | 33931 | 17584 75118 227879 | 2147483647 33931 211 | 0.000 % |
24.64/24.72 c | 34212 | 17584 75118 227879 | 2147483647 34212 211 | 0.000 % |
24.84/24.97 c | 34521 | 17584 75118 227879 | 2147483647 34521 212 | 0.000 % |
25.14/25.24 c | 34861 | 17584 75118 227879 | 2147483647 34861 212 | 0.000 % |
25.44/25.56 c | 35234 | 17584 75118 227879 | 2147483647 35234 212 | 0.000 % |
25.84/25.90 c | 35645 | 17584 75118 227879 | 2147483647 35645 213 | 0.000 % |
26.14/26.28 c | 36096 | 17584 75118 227879 | 2147483647 36096 213 | 0.000 % |
26.54/26.65 c | 36589 | 17584 75118 227879 | 2147483647 36589 213 | 0.000 % |
26.94/27.07 c | 37131 | 17584 75118 227879 | 2147483647 37131 213 | 0.000 % |
27.04/27.16 c | 37231 | 17584 75118 227879 | 2147483647 37231 213 | 0.000 % |
27.14/27.26 c | 37342 | 17584 75118 227879 | 2147483647 37342 213 | 0.000 % |
27.24/27.36 c | 37463 | 17584 75118 227879 | 2147483647 37463 213 | 0.000 % |
27.35/27.47 c | 37599 | 17584 75118 227879 | 2147483647 37599 213 | 0.000 % |
27.45/27.59 c | 37746 | 17584 75118 227879 | 2147483647 37746 213 | 0.000 % |
27.64/27.72 c | 37906 | 17584 75118 227879 | 2147483647 37906 213 | 0.000 % |
27.74/27.88 c | 38082 | 17584 75118 227879 | 2147483647 38082 213 | 0.000 % |
27.94/28.04 c | 38275 | 17584 75118 227879 | 2147483647 38275 213 | 0.000 % |
28.14/28.22 c | 38487 | 17584 75118 227879 | 2147483647 38487 213 | 0.000 % |
28.34/28.44 c | 38722 | 17584 75118 227879 | 2147483647 38722 214 | 0.000 % |
28.54/28.66 c | 38978 | 17584 75118 227879 | 2147483647 38978 214 | 0.000 % |
28.83/28.91 c | 39260 | 17584 75118 227879 | 2147483647 39260 214 | 0.000 % |
29.03/29.16 c | 39569 | 17584 75118 227879 | 2147483647 39569 213 | 0.000 % |
29.33/29.44 c | 39910 | 17584 75118 227879 | 2147483647 39910 213 | 0.000 % |
29.63/29.74 c | 40284 | 17584 75118 227879 | 2147483647 40284 214 | 0.000 % |
29.93/30.06 c | 40693 | 17584 75118 227879 | 2147483647 40693 214 | 0.000 % |
30.33/30.43 c | 41146 | 17584 75118 227879 | 2147483647 41146 214 | 0.000 % |
30.74/30.84 c | 41640 | 17584 75118 227879 | 2147483647 41640 215 | 0.000 % |
31.13/31.28 c | 42183 | 17584 75118 227879 | 2147483647 42183 215 | 0.000 % |
31.74/31.82 c | 42780 | 17584 75118 227879 | 2147483647 42780 215 | 0.000 % |
31.84/31.91 c | 42880 | 17584 75118 227879 | 2147483647 42880 215 | 0.000 % |
31.93/32.01 c | 42990 | 17584 75118 227879 | 2147483647 42990 215 | 0.000 % |
32.03/32.13 c | 43111 | 17584 75118 227879 | 2147483647 43111 215 | 0.000 % |
32.13/32.25 c | 43244 | 17584 75118 227879 | 2147483647 43244 215 | 0.000 % |
32.23/32.39 c | 43390 | 17584 75118 227879 | 2147483647 43390 215 | 0.000 % |
32.43/32.53 c | 43553 | 17584 75118 227879 | 2147483647 43553 216 | 0.000 % |
32.53/32.69 c | 43730 | 17584 75118 227879 | 2147483647 43730 216 | 0.000 % |
32.73/32.87 c | 43923 | 17584 75118 227879 | 2147483647 43923 216 | 0.000 % |
32.93/33.05 c | 44141 | 17584 75118 227879 | 2147483647 44141 216 | 0.000 % |
33.13/33.24 c | 44376 | 17584 75118 227879 | 2147483647 44376 216 | 0.000 % |
33.33/33.47 c | 44634 | 17584 75118 227879 | 2147483647 44634 216 | 0.000 % |
33.63/33.71 c | 44915 | 17584 75118 227879 | 2147483647 44915 216 | 0.000 % |
33.83/33.97 c | 45227 | 17584 75118 227879 | 2147483647 45227 215 | 0.000 % |
34.13/34.26 c | 45567 | 17584 75118 227879 | 2147483647 45567 215 | 0.000 % |
34.43/34.57 c | 45940 | 17584 75118 227879 | 2147483647 45940 216 | 0.000 % |
34.83/34.92 c | 46349 | 17584 75118 227879 | 2147483647 46349 216 | 0.000 % |
35.23/35.30 c | 46800 | 17584 75118 227879 | 2147483647 46800 216 | 0.000 % |
35.63/35.71 c | 47293 | 17584 75118 227879 | 2147483647 47293 216 | 0.000 % |
36.03/36.15 c | 47836 | 17584 75118 227879 | 2147483647 47836 216 | 0.000 % |
36.53/36.67 c | 48434 | 17584 75118 227879 | 2147483647 48434 216 | 0.000 % |
37.13/37.28 c | 49091 | 17584 75118 227879 | 2147483647 49091 217 | 0.000 % |
37.23/37.38 c | 49191 | 17584 75118 227879 | 2147483647 49191 217 | 0.000 % |
37.33/37.48 c | 49302 | 17584 75118 227879 | 2147483647 49302 217 | 0.000 % |
37.53/37.60 c | 49423 | 17584 75118 227879 | 2147483647 49423 217 | 0.000 % |
37.63/37.73 c | 49557 | 17584 75118 227879 | 2147483647 49557 217 | 0.000 % |
37.73/37.87 c | 49703 | 17584 75118 227879 | 2147483647 49703 217 | 0.000 % |
37.93/38.01 c | 49863 | 17584 75118 227879 | 2147483647 49863 217 | 0.000 % |
38.03/38.19 c | 50040 | 17584 75118 227879 | 2147483647 50040 217 | 0.000 % |
38.23/38.38 c | 50234 | 17584 75118 227879 | 2147483647 50234 217 | 0.000 % |
38.53/38.60 c | 50448 | 17584 75118 227879 | 2147483647 50448 217 | 0.000 % |
38.73/38.81 c | 50683 | 17584 75118 227879 | 2147483647 50683 217 | 0.000 % |
38.92/39.04 c | 50939 | 17584 75118 227879 | 2147483647 50939 217 | 0.000 % |
39.12/39.30 c | 51221 | 17584 75118 227879 | 2147483647 51221 218 | 0.000 % |
39.42/39.57 c | 51530 | 17584 75118 227879 | 2147483647 51530 218 | 0.000 % |
39.73/39.87 c | 51873 | 17584 75118 227879 | 2147483647 51873 218 | 0.000 % |
40.13/40.21 c | 52246 | 17584 75118 227879 | 2147483647 52246 218 | 0.000 % |
40.43/40.55 c | 52655 | 17584 75118 227879 | 2147483647 52655 218 | 0.000 % |
40.83/40.95 c | 53105 | 17584 75118 227879 | 2147483647 53105 218 | 0.000 % |
41.32/41.43 c | 53599 | 17584 75118 227879 | 2147483647 53599 218 | 0.000 % |
41.82/41.92 c | 54142 | 17584 75118 227879 | 2147483647 54142 219 | 0.000 % |
42.32/42.46 c | 54739 | 17584 75118 227879 | 2147483647 54739 220 | 0.000 % |
42.93/43.05 c | 55394 | 17584 75118 227879 | 2147483647 55394 220 | 0.000 % |
43.63/43.73 c | 56115 | 17584 75118 227879 | 2147483647 56115 220 | 0.000 % |
43.73/43.81 c | 56215 | 17584 75118 227879 | 2147483647 56215 220 | 0.000 % |
43.83/43.94 c | 56328 | 17584 75118 227879 | 2147483647 56328 220 | 0.000 % |
43.93/44.06 c | 56449 | 17584 75118 227879 | 2147483647 56449 220 | 0.000 % |
44.13/44.20 c | 56582 | 17584 75118 227879 | 2147483647 56582 220 | 0.000 % |
44.23/44.35 c | 56730 | 17584 75118 227879 | 2147483647 56730 220 | 0.000 % |
44.43/44.52 c | 56891 | 17584 75118 227879 | 2147483647 56891 219 | 0.000 % |
44.63/44.70 c | 57068 | 17584 75118 227879 | 2147483647 57068 219 | 0.000 % |
44.83/44.90 c | 57262 | 17584 75118 227879 | 2147483647 57262 219 | 0.000 % |
45.03/45.12 c | 57475 | 17584 75118 227879 | 2147483647 57475 219 | 0.000 % |
45.22/45.34 c | 57709 | 17584 75118 227879 | 2147483647 57709 219 | 0.000 % |
45.42/45.59 c | 57965 | 17584 75118 227879 | 2147483647 57965 220 | 0.000 % |
45.72/45.86 c | 58249 | 17584 75118 227879 | 2147483647 58249 220 | 0.000 % |
46.03/46.17 c | 58558 | 17584 75118 227879 | 2147483647 58558 220 | 0.000 % |
46.32/46.50 c | 58897 | 17584 75118 227879 | 2147483647 58897 220 | 0.000 % |
46.72/46.86 c | 59269 | 17584 75118 227879 | 2147483647 59269 220 | 0.000 % |
47.12/47.25 c | 59678 | 17584 75118 227879 | 2147483647 59678 220 | 0.000 % |
47.62/47.71 c | 60129 | 17584 75118 227879 | 2147483647 60129 221 | 0.000 % |
48.02/48.14 c | 60622 | 17584 75118 227879 | 2147483647 60622 221 | 0.000 % |
48.52/48.64 c | 61165 | 17584 75118 227879 | 2147483647 61165 222 | 0.000 % |
49.12/49.21 c | 61764 | 17584 75118 227879 | 2147483647 61764 223 | 0.000 % |
49.72/49.81 c | 62419 | 17584 75118 227879 | 2147483647 62419 223 | 0.000 % |
50.32/50.48 c | 63141 | 17584 75118 227879 | 2147483647 63141 223 | 0.000 % |
51.12/51.21 c | 63934 | 17584 75118 227879 | 2147483647 63934 224 | 0.000 % |
51.22/51.33 c | 64035 | 17584 75118 227879 | 2147483647 64035 224 | 0.000 % |
51.32/51.44 c | 64145 | 17584 75118 227879 | 2147483647 64145 224 | 0.000 % |
51.42/51.58 c | 64268 | 17584 75118 227879 | 2147483647 64268 224 | 0.000 % |
51.63/51.73 c | 64401 | 17584 75118 227879 | 2147483647 64401 223 | 0.000 % |
51.72/51.87 c | 64548 | 17584 75118 227879 | 2147483647 64548 223 | 0.000 % |
51.92/52.03 c | 64709 | 17584 75118 227879 | 2147483647 64709 223 | 0.000 % |
52.12/52.22 c | 64885 | 17584 75118 227879 | 2147483647 64885 223 | 0.000 % |
52.32/52.41 c | 65079 | 17584 75118 227879 | 2147483647 65079 223 | 0.000 % |
52.52/52.61 c | 65291 | 17584 75118 227879 | 2147483647 65291 223 | 0.000 % |
52.72/52.83 c | 65524 | 17584 75118 227879 | 2147483647 65524 223 | 0.000 % |
53.02/53.11 c | 65780 | 17584 75118 227879 | 2147483647 65780 223 | 0.000 % |
53.22/53.40 c | 66063 | 17584 75118 227879 | 2147483647 66063 223 | 0.000 % |
53.61/53.73 c | 66372 | 17584 75118 227879 | 2147483647 66372 223 | 0.000 % |
53.91/54.08 c | 66712 | 17584 75118 227879 | 2147483647 66712 223 | 0.000 % |
54.32/54.44 c | 67086 | 17584 75118 227879 | 2147483647 67086 224 | 0.000 % |
54.72/54.84 c | 67496 | 17584 75118 227879 | 2147483647 67496 224 | 0.000 % |
55.12/55.28 c | 67945 | 17584 75118 227879 | 2147483647 67945 224 | 0.000 % |
55.61/55.77 c | 68441 | 17584 75118 227879 | 2147483647 68441 224 | 0.000 % |
56.11/56.29 c | 68983 | 17584 75118 227879 | 2147483647 68983 224 | 0.000 % |
56.71/56.86 c | 69580 | 17584 75118 227879 | 2147483647 69580 225 | 0.000 % |
57.31/57.50 c | 70239 | 17584 75118 227879 | 2147483647 70239 225 | 0.000 % |
58.12/58.23 c | 70959 | 17584 75118 227879 | 2147483647 70959 226 | 0.000 % |
58.82/58.97 c | 71752 | 17584 75118 227879 | 2147483647 71752 227 | 0.000 % |
59.62/59.76 c | 72623 | 17584 75118 227879 | 2147483647 72623 228 | 0.000 % |
59.72/59.86 c | 72723 | 17584 75118 227879 | 2147483647 72723 228 | 0.000 % |
59.82/59.99 c | 72833 | 17584 75118 227879 | 2147483647 72833 228 | 0.000 % |
60.02/60.11 c | 72955 | 17584 75118 227879 | 2147483647 72955 228 | 0.000 % |
60.12/60.28 c | 73089 | 17584 75118 227879 | 2147483647 73089 228 | 0.000 % |
60.32/60.45 c | 73235 | 17584 75118 227879 | 2147483647 73235 228 | 0.000 % |
60.52/60.61 c | 73395 | 17584 75118 227879 | 2147483647 73395 228 | 0.000 % |
60.72/60.80 c | 73571 | 17584 75118 227879 | 2147483647 73571 228 | 0.000 % |
60.92/61.03 c | 73764 | 17584 75118 227879 | 2147483647 73764 228 | 0.000 % |
61.12/61.24 c | 73977 | 17584 75118 227879 | 2147483647 73977 228 | 0.000 % |
61.31/61.49 c | 74210 | 17584 75118 227879 | 2147483647 74210 228 | 0.000 % |
61.61/61.77 c | 74469 | 17584 75118 227879 | 2147483647 74469 228 | 0.000 % |
62.01/62.10 c | 74751 | 17584 75118 227879 | 2147483647 74751 228 | 0.000 % |
62.31/62.42 c | 75060 | 17584 75118 227879 | 2147483647 75060 227 | 0.000 % |
62.71/62.81 c | 75400 | 17584 75118 227879 | 2147483647 75400 228 | 0.000 % |
63.11/63.22 c | 75774 | 17584 75118 227879 | 2147483647 75774 228 | 0.000 % |
63.51/63.64 c | 76183 | 17584 75118 227879 | 2147483647 76183 228 | 0.000 % |
64.01/64.10 c | 76632 | 17584 75118 227879 | 2147483647 76632 228 | 0.000 % |
64.51/64.61 c | 77125 | 17584 75118 227879 | 2147483647 77125 229 | 0.000 % |
65.01/65.15 c | 77667 | 17584 75118 227879 | 2147483647 77667 229 | 0.000 % |
65.61/65.78 c | 78263 | 17584 75118 227879 | 2147483647 78263 229 | 0.000 % |
66.32/66.46 c | 78918 | 17584 75118 227879 | 2147483647 78918 230 | 0.000 % |
67.02/67.19 c | 79640 | 17584 75118 227879 | 2147483647 79640 230 | 0.000 % |
67.91/68.03 c | 80432 | 17584 75118 227879 | 2147483647 80432 230 | 0.000 % |
68.81/68.95 c | 81303 | 17584 75118 227879 | 2147483647 81303 231 | 0.000 % |
69.81/70.00 c | 82262 | 17584 75118 227879 | 2147483647 82262 231 | 0.000 % |
70.01/70.13 c | 82363 | 17584 75118 227879 | 2147483647 82363 230 | 0.000 % |
70.11/70.26 c | 82474 | 17584 75118 227879 | 2147483647 82474 230 | 0.000 % |
70.31/70.41 c | 82595 | 17584 75118 227879 | 2147483647 82595 230 | 0.000 % |
70.41/70.57 c | 82729 | 17584 75118 227879 | 2147483647 82729 230 | 0.000 % |
70.61/70.73 c | 82876 | 17584 75118 227879 | 2147483647 82876 230 | 0.000 % |
70.81/70.91 c | 83036 | 17584 75118 227879 | 2147483647 83036 230 | 0.000 % |
71.01/71.13 c | 83214 | 17584 75118 227879 | 2147483647 83214 230 | 0.000 % |
71.21/71.36 c | 83410 | 17584 75118 227879 | 2147483647 83410 230 | 0.000 % |
71.51/71.61 c | 83623 | 17584 75118 227879 | 2147483647 83623 230 | 0.000 % |
71.82/71.91 c | 83857 | 17584 75118 227879 | 2147483647 83857 230 | 0.000 % |
72.02/72.19 c | 84117 | 17584 75118 227879 | 2147483647 84117 230 | 0.000 % |
72.32/72.47 c | 84401 | 17584 75118 227879 | 2147483647 84401 230 | 0.000 % |
72.72/72.80 c | 84711 | 17584 75118 227879 | 2147483647 84711 230 | 0.000 % |
73.11/73.21 c | 85050 | 17584 75118 227879 | 2147483647 85050 230 | 0.000 % |
73.51/73.66 c | 85422 | 17584 75118 227879 | 2147483647 85422 230 | 0.000 % |
74.00/74.10 c | 85832 | 17584 75118 227879 | 2147483647 85832 231 | 0.000 % |
74.50/74.61 c | 86281 | 17584 75118 227879 | 2147483647 86281 231 | 0.000 % |
75.00/75.14 c | 86777 | 17584 75118 227879 | 2147483647 86777 231 | 0.000 % |
75.60/75.72 c | 87319 | 17584 75118 227879 | 2147483647 87319 231 | 0.000 % |
76.20/76.39 c | 87915 | 17584 75118 227879 | 2147483647 87915 231 | 0.000 % |
77.00/77.12 c | 88572 | 17584 75118 227879 | 2147483647 88572 232 | 0.000 % |
77.70/77.88 c | 89293 | 17584 75118 227879 | 2147483647 89293 232 | 0.000 % |
78.60/78.71 c | 90087 | 17584 75118 227879 | 2147483647 90087 232 | 0.000 % |
79.50/79.65 c | 90958 | 17584 75118 227879 | 2147483647 90958 233 | 0.000 % |
80.59/80.75 c | 91916 | 17584 75118 227879 | 2147483647 91916 233 | 0.000 % |
81.80/81.94 c | 92969 | 17584 75118 227879 | 2147483647 92969 233 | 0.000 % |
81.90/82.06 c | 93070 | 17584 75118 227879 | 2147483647 93070 233 | 0.000 % |
82.10/82.21 c | 93181 | 17584 75118 227879 | 2147483647 93181 233 | 0.000 % |
82.20/82.36 c | 93305 | 17584 75118 227879 | 2147483647 93305 233 | 0.000 % |
82.41/82.54 c | 93438 | 17584 75118 227879 | 2147483647 93438 233 | 0.000 % |
82.60/82.71 c | 93584 | 17584 75118 227879 | 2147483647 93584 233 | 0.000 % |
82.80/82.92 c | 93744 | 17584 75118 227879 | 2147483647 93744 233 | 0.000 % |
83.00/83.14 c | 93920 | 17584 75118 227879 | 2147483647 93920 233 | 0.000 % |
83.20/83.35 c | 94113 | 17584 75118 227879 | 2147483647 94113 233 | 0.000 % |
83.50/83.60 c | 94328 | 17584 75118 227879 | 2147483647 94328 233 | 0.000 % |
83.70/83.89 c | 94561 | 17584 75118 227879 | 2147483647 94561 233 | 0.000 % |
84.10/84.26 c | 94817 | 17584 75118 227879 | 2147483647 94817 233 | 0.000 % |
84.40/84.58 c | 95098 | 17584 75118 227879 | 2147483647 95098 233 | 0.000 % |
84.79/84.94 c | 95407 | 17584 75118 227879 | 2147483647 95407 233 | 0.000 % |
85.19/85.35 c | 95746 | 17584 75118 227879 | 2147483647 95746 233 | 0.000 % |
85.60/85.77 c | 96118 | 17584 75118 227879 | 2147483647 96118 233 | 0.000 % |
86.09/86.25 c | 96527 | 17584 75118 227879 | 2147483647 96527 233 | 0.000 % |
86.59/86.77 c | 96976 | 17584 75118 227879 | 2147483647 96976 233 | 0.000 % |
87.20/87.32 c | 97469 | 17584 75118 227879 | 2147483647 97469 233 | 0.000 % |
87.80/87.92 c | 98013 | 17584 75118 227879 | 2147483647 98013 234 | 0.000 % |
88.50/88.61 c | 98609 | 17584 75118 227879 | 2147483647 98609 234 | 0.000 % |
89.20/89.35 c | 99265 | 17584 75118 227879 | 2147483647 99265 234 | 0.000 % |
90.00/90.17 c | 99987 | 17584 75118 227879 | 2147483647 99987 234 | 0.000 % |
90.89/91.09 c | 100779 | 17584 75118 227879 | 2147483647 100779 234 | 0.000 % |
91.99/92.11 c | 101650 | 17584 75118 227879 | 2147483647 101650 234 | 0.000 % |
92.99/93.19 c | 102608 | 17584 75118 227879 | 2147483647 102608 235 | 0.000 % |
94.19/94.37 c | 103662 | 17584 75118 227879 | 2147483647 103662 235 | 0.000 % |
95.49/95.69 c | 104820 | 17584 75118 227879 | 2147483647 104820 235 | 0.000 % |
95.70/95.82 c | 104920 | 17584 75118 227879 | 2147483647 104920 235 | 0.000 % |
95.80/95.99 c | 105030 | 17584 75118 227879 | 2147483647 105030 235 | 0.000 % |
95.99/96.17 c | 105151 | 17584 75118 227879 | 2147483647 105151 235 | 0.000 % |
96.19/96.33 c | 105284 | 17584 75118 227879 | 2147483647 105284 235 | 0.000 % |
96.39/96.52 c | 105430 | 17584 75118 227879 | 2147483647 105430 235 | 0.000 % |
96.60/96.73 c | 105591 | 17584 75118 227879 | 2147483647 105591 235 | 0.000 % |
96.79/96.97 c | 105767 | 17584 75118 227879 | 2147483647 105767 235 | 0.000 % |
97.09/97.24 c | 105960 | 17584 75118 227879 | 2147483647 105960 235 | 0.000 % |
97.39/97.54 c | 106175 | 17584 75118 227879 | 2147483647 106175 235 | 0.000 % |
97.69/97.85 c | 106409 | 17584 75118 227879 | 2147483647 106409 235 | 0.000 % |
97.99/98.18 c | 106665 | 17584 75118 227879 | 2147483647 106665 235 | 0.000 % |
98.39/98.52 c | 106947 | 17584 75118 227879 | 2147483647 106947 235 | 0.000 % |
98.69/98.88 c | 107257 | 17584 75118 227879 | 2147483647 107257 235 | 0.000 % |
99.19/99.30 c | 107597 | 17584 75118 227879 | 2147483647 107597 235 | 0.000 % |
99.59/99.74 c | 107969 | 17584 75118 227879 | 2147483647 107969 235 | 0.000 % |
100.09/100.23 c | 108378 | 17584 75118 227879 | 2147483647 108378 235 | 0.000 % |
100.59/100.76 c | 108829 | 17584 75118 227879 | 2147483647 108829 235 | 0.000 % |
101.19/101.35 c | 109322 | 17584 75118 227879 | 2147483647 109322 235 | 0.000 % |
101.89/102.02 c | 109865 | 17584 75118 227879 | 2147483647 109865 235 | 0.000 % |
102.58/102.75 c | 110461 | 17584 75118 227879 | 2147483647 110461 235 | 0.000 % |
103.38/103.55 c | 111117 | 17584 75118 227879 | 2147483647 111117 235 | 0.000 % |
104.29/104.41 c | 111837 | 17584 75118 227879 | 2147483647 111837 235 | 0.000 % |
105.18/105.35 c | 112631 | 17584 75118 227879 | 2147483647 112631 236 | 0.000 % |
106.29/106.41 c | 113502 | 17584 75118 227879 | 2147483647 113502 236 | 0.000 % |
107.39/107.53 c | 114460 | 17584 75118 227879 | 2147483647 114460 237 | 0.000 % |
108.69/108.86 c | 115515 | 17584 75118 227879 | 2147483647 115515 238 | 0.000 % |
110.08/110.29 c | 116673 | 17584 75118 227879 | 2147483647 116673 238 | 0.000 % |
111.78/111.94 c | 117949 | 17584 75118 227879 | 2147483647 117949 239 | 0.000 % |
111.88/112.05 c | 118049 | 17584 75118 227879 | 2147483647 118049 239 | 0.000 % |
112.09/112.21 c | 118159 | 17584 75118 227879 | 2147483647 118159 239 | 0.000 % |
112.18/112.38 c | 118280 | 17584 75118 227879 | 2147483647 118280 238 | 0.000 % |
112.38/112.57 c | 118414 | 17584 75118 227879 | 2147483647 118414 238 | 0.000 % |
112.58/112.78 c | 118560 | 17584 75118 227879 | 2147483647 118560 238 | 0.000 % |
112.88/113.01 c | 118722 | 17584 75118 227879 | 2147483647 118722 238 | 0.000 % |
113.09/113.27 c | 118899 | 17584 75118 227879 | 2147483647 118899 238 | 0.000 % |
113.38/113.53 c | 119093 | 17584 75118 227879 | 2147483647 119093 238 | 0.000 % |
113.68/113.84 c | 119305 | 17584 75118 227879 | 2147483647 119305 238 | 0.000 % |
113.98/114.16 c | 119538 | 17584 75118 227879 | 2147483647 119538 238 | 0.000 % |
114.38/114.54 c | 119794 | 17584 75118 227879 | 2147483647 119794 238 | 0.000 % |
114.68/114.89 c | 120075 | 17584 75118 227879 | 2147483647 120075 238 | 0.000 % |
115.18/115.32 c | 120384 | 17584 75118 227879 | 2147483647 120384 238 | 0.000 % |
115.58/115.73 c | 120726 | 17584 75118 227879 | 2147483647 120726 238 | 0.000 % |
116.08/116.20 c | 121098 | 17584 75118 227879 | 2147483647 121098 238 | 0.000 % |
116.58/116.74 c | 121507 | 17584 75118 227879 | 2147483647 121507 238 | 0.000 % |
117.18/117.34 c | 121959 | 17584 75118 227879 | 2147483647 121959 238 | 0.000 % |
117.78/117.96 c | 122452 | 17584 75118 227879 | 2147483647 122452 238 | 0.000 % |
118.48/118.64 c | 122995 | 17584 75118 227879 | 2147483647 122995 239 | 0.000 % |
119.27/119.42 c | 123592 | 17584 75118 227879 | 2147483647 123592 239 | 0.000 % |
120.08/120.29 c | 124248 | 17584 75118 227879 | 2147483647 124248 239 | 0.000 % |
120.98/121.18 c | 124968 | 17584 75118 227879 | 2147483647 124968 239 | 0.000 % |
121.98/122.18 c | 125760 | 17584 75118 227879 | 2147483647 125760 240 | 0.000 % |
123.17/123.36 c | 126631 | 17584 75118 227879 | 2147483647 126631 240 | 0.000 % |
124.27/124.49 c | 127589 | 17584 75118 227879 | 2147483647 127589 240 | 0.000 % |
125.67/125.85 c | 128646 | 17584 75118 227879 | 2147483647 128646 240 | 0.000 % |
127.27/127.42 c | 129804 | 17584 75118 227879 | 2147483647 129804 241 | 0.000 % |
128.97/129.16 c | 131078 | 17584 75118 227879 | 2147483647 131078 241 | 0.000 % |
130.87/131.00 c | 132478 | 17584 75118 227879 | 2147483647 132478 242 | 0.000 % |
130.97/131.15 c | 132579 | 17584 75118 227879 | 2147483647 132579 242 | 0.000 % |
131.17/131.34 c | 132689 | 17584 75118 227879 | 2147483647 132689 242 | 0.000 % |
131.37/131.54 c | 132811 | 17584 75118 227879 | 2147483647 132811 242 | 0.000 % |
131.57/131.73 c | 132945 | 17584 75118 227879 | 2147483647 132945 242 | 0.000 % |
131.78/131.96 c | 133091 | 17584 75118 227879 | 2147483647 133091 241 | 0.000 % |
132.07/132.22 c | 133253 | 17584 75118 227879 | 2147483647 133253 241 | 0.000 % |
132.27/132.46 c | 133429 | 17584 75118 227879 | 2147483647 133429 241 | 0.000 % |
132.57/132.73 c | 133622 | 17584 75118 227879 | 2147483647 133622 241 | 0.000 % |
132.87/133.03 c | 133834 | 17584 75118 227879 | 2147483647 133834 241 | 0.000 % |
133.17/133.35 c | 134068 | 17584 75118 227879 | 2147483647 134068 241 | 0.000 % |
133.57/133.75 c | 134325 | 17584 75118 227879 | 2147483647 134325 241 | 0.000 % |
133.97/134.11 c | 134606 | 17584 75118 227879 | 2147483647 134606 241 | 0.000 % |
134.37/134.55 c | 134915 | 17584 75118 227879 | 2147483647 134915 241 | 0.000 % |
134.87/135.01 c | 135256 | 17584 75118 227879 | 2147483647 135256 241 | 0.000 % |
135.37/135.52 c | 135628 | 17584 75118 227879 | 2147483647 135628 241 | 0.000 % |
135.87/136.05 c | 136037 | 17584 75118 227879 | 2147483647 136037 242 | 0.000 % |
136.57/136.70 c | 136487 | 17584 75118 227879 | 2147483647 136487 241 | 0.000 % |
137.17/137.37 c | 136983 | 17584 75118 227879 | 2147483647 136983 242 | 0.000 % |
137.87/138.09 c | 137525 | 17584 75118 227879 | 2147483647 137525 242 | 0.000 % |
138.77/138.94 c | 138121 | 17584 75118 227879 | 2147483647 138121 242 | 0.000 % |
139.57/139.77 c | 138777 | 17584 75118 227879 | 2147483647 138777 242 | 0.000 % |
140.57/140.75 c | 139497 | 17584 75118 227879 | 2147483647 139497 242 | 0.000 % |
141.67/141.87 c | 140291 | 17584 75118 227879 | 2147483647 140291 242 | 0.000 % |
142.87/143.06 c | 141162 | 17584 75118 227879 | 2147483647 141162 242 | 0.000 % |
144.16/144.31 c | 142121 | 17584 75118 227879 | 2147483647 142121 243 | 0.000 % |
145.66/145.80 c | 143175 | 17584 75118 227879 | 2147483647 143175 243 | 0.000 % |
147.17/147.35 c | 144334 | 17584 75118 227879 | 2147483647 144334 244 | 0.000 % |
148.86/149.08 c | 145607 | 17584 75118 227879 | 2147483647 145607 244 | 0.000 % |
150.76/150.96 c | 147009 | 17584 75118 227879 | 2147483647 147009 244 | 0.000 % |
152.86/153.09 c | 148549 | 17584 75118 227879 | 2147483647 148549 245 | 0.000 % |
153.06/153.30 c | 148649 | 17584 75118 227879 | 2147483647 148649 245 | 0.000 % |
153.36/153.50 c | 148759 | 17584 75118 227879 | 2147483647 148759 245 | 0.000 % |
153.56/153.70 c | 148880 | 17584 75118 227879 | 2147483647 148880 245 | 0.000 % |
153.77/153.90 c | 149013 | 17584 75118 227879 | 2147483647 149013 245 | 0.000 % |
153.96/154.15 c | 149160 | 17584 75118 227879 | 2147483647 149160 245 | 0.000 % |
154.26/154.41 c | 149321 | 17584 75118 227879 | 2147483647 149321 245 | 0.000 % |
154.46/154.69 c | 149498 | 17584 75118 227879 | 2147483647 149498 245 | 0.000 % |
154.76/155.00 c | 149692 | 17584 75118 227879 | 2147483647 149692 245 | 0.000 % |
155.16/155.31 c | 149904 | 17584 75118 227879 | 2147483647 149904 245 | 0.000 % |
155.46/155.65 c | 150139 | 17584 75118 227879 | 2147483647 150139 245 | 0.000 % |
155.86/156.06 c | 150395 | 17584 75118 227879 | 2147483647 150395 245 | 0.000 % |
156.26/156.43 c | 150676 | 17584 75118 227879 | 2147483647 150676 245 | 0.000 % |
156.66/156.89 c | 150985 | 17584 75118 227879 | 2147483647 150985 245 | 0.000 % |
157.25/157.41 c | 151324 | 17584 75118 227879 | 2147483647 151324 245 | 0.000 % |
157.76/157.93 c | 151696 | 17584 75118 227879 | 2147483647 151696 245 | 0.000 % |
158.36/158.53 c | 152105 | 17584 75118 227879 | 2147483647 152105 245 | 0.000 % |
159.06/159.24 c | 152555 | 17584 75118 227879 | 2147483647 152555 245 | 0.000 % |
159.75/159.97 c | 153048 | 17584 75118 227879 | 2147483647 153048 245 | 0.000 % |
160.56/160.76 c | 153590 | 17584 75118 227879 | 2147483647 153590 245 | 0.000 % |
161.46/161.64 c | 154188 | 17584 75118 227879 | 2147483647 154188 245 | 0.000 % |
162.35/162.51 c | 154844 | 17584 75118 227879 | 2147483647 154844 245 | 0.000 % |
163.36/163.53 c | 155565 | 17584 75118 227879 | 2147483647 155565 245 | 0.000 % |
164.45/164.65 c | 156358 | 17584 75118 227879 | 2147483647 156358 245 | 0.000 % |
165.64/165.83 c | 157230 | 17584 75118 227879 | 2147483647 157230 245 | 0.000 % |
167.05/167.22 c | 158188 | 17584 75118 227879 | 2147483647 158188 245 | 0.000 % |
168.55/168.73 c | 159241 | 17584 75118 227879 | 2147483647 159241 246 | 0.000 % |
170.25/170.44 c | 160401 | 17584 75118 227879 | 2147483647 160401 246 | 0.000 % |
172.14/172.34 c | 161675 | 17584 75118 227879 | 2147483647 161675 247 | 0.000 % |
174.05/174.24 c | 163078 | 17584 75118 227879 | 2147483647 163078 247 | 0.000 % |
176.24/176.47 c | 164620 | 17584 75118 227879 | 2147483647 164620 248 | 0.000 % |
178.74/178.97 c | 166315 | 17584 75118 227879 | 2147483647 166315 248 | 0.000 % |
178.94/179.14 c | 166415 | 17584 75118 227879 | 2147483647 166415 248 | 0.000 % |
179.15/179.35 c | 166525 | 17584 75118 227879 | 2147483647 166525 248 | 0.000 % |
179.35/179.58 c | 166646 | 17584 75118 227879 | 2147483647 166646 248 | 0.000 % |
179.64/179.80 c | 166780 | 17584 75118 227879 | 2147483647 166780 248 | 0.000 % |
179.84/180.08 c | 166926 | 17584 75118 227879 | 2147483647 166926 248 | 0.000 % |
180.15/180.35 c | 167088 | 17584 75118 227879 | 2147483647 167088 248 | 0.000 % |
180.44/180.66 c | 167267 | 17584 75118 227879 | 2147483647 167267 248 | 0.000 % |
180.74/180.97 c | 167461 | 17584 75118 227879 | 2147483647 167461 248 | 0.000 % |
181.14/181.35 c | 167673 | 17584 75118 227879 | 2147483647 167673 248 | 0.000 % |
181.54/181.70 c | 167906 | 17584 75118 227879 | 2147483647 167906 248 | 0.000 % |
181.94/182.12 c | 168163 | 17584 75118 227879 | 2147483647 168163 248 | 0.000 % |
182.44/182.61 c | 168444 | 17584 75118 227879 | 2147483647 168444 248 | 0.000 % |
182.84/183.08 c | 168753 | 17584 75118 227879 | 2147483647 168753 248 | 0.000 % |
183.45/183.65 c | 169094 | 17584 75118 227879 | 2147483647 169094 247 | 0.000 % |
184.14/184.31 c | 169466 | 17584 75118 227879 | 2147483647 169466 247 | 0.000 % |
184.74/184.91 c | 169875 | 17584 75118 227879 | 2147483647 169875 247 | 0.000 % |
185.44/185.62 c | 170324 | 17584 75118 227879 | 2147483647 170324 247 | 0.000 % |
186.14/186.38 c | 170818 | 17584 75118 227879 | 2147483647 170818 247 | 0.000 % |
187.04/187.21 c | 171361 | 17584 75118 227879 | 2147483647 171361 247 | 0.000 % |
187.95/188.12 c | 171957 | 17584 75118 227879 | 2147483647 171957 248 | 0.000 % |
188.94/189.16 c | 172612 | 17584 75118 227879 | 2147483647 172612 248 | 0.000 % |
190.04/190.26 c | 173332 | 17584 75118 227879 | 2147483647 173332 248 | 0.000 % |
191.14/191.40 c | 174125 | 17584 75118 227879 | 2147483647 174125 248 | 0.000 % |
192.53/192.71 c | 174997 | 17584 75118 227879 | 2147483647 174997 248 | 0.000 % |
193.94/194.16 c | 175960 | 17584 75118 227879 | 2147483647 175960 248 | 0.000 % |
195.54/195.79 c | 177013 | 17584 75118 227879 | 2147483647 177013 249 | 0.000 % |
197.33/197.59 c | 178171 | 17584 75118 227879 | 2147483647 178171 249 | 0.000 % |
199.34/199.54 c | 179445 | 17584 75118 227879 | 2147483647 179445 249 | 0.000 % |
201.54/201.71 c | 180845 | 17584 75118 227879 | 2147483647 180845 250 | 0.000 % |
203.93/204.18 c | 182387 | 17584 75118 227879 | 2147483647 182387 250 | 0.000 % |
206.64/206.81 c | 184087 | 17584 75118 227879 | 2147483647 184087 250 | 0.000 % |
209.53/209.71 c | 185950 | 17584 75118 227879 | 2147483647 185950 251 | 0.000 % |
209.73/209.92 c | 186052 | 17584 75118 227879 | 2147483647 186052 251 | 0.000 % |
209.93/210.16 c | 186163 | 17584 75118 227879 | 2147483647 186163 251 | 0.000 % |
210.23/210.41 c | 186285 | 17584 75118 227879 | 2147483647 186285 251 | 0.000 % |
210.43/210.63 c | 186418 | 17584 75118 227879 | 2147483647 186418 251 | 0.000 % |
210.63/210.88 c | 186565 | 17584 75118 227879 | 2147483647 186565 251 | 0.000 % |
211.03/211.20 c | 186725 | 17584 75118 227879 | 2147483647 186725 251 | 0.000 % |
211.33/211.53 c | 186901 | 17584 75118 227879 | 2147483647 186901 251 | 0.000 % |
211.63/211.86 c | 187095 | 17584 75118 227879 | 2147483647 187095 251 | 0.000 % |
212.03/212.25 c | 187308 | 17584 75118 227879 | 2147483647 187308 251 | 0.000 % |
212.42/212.67 c | 187541 | 17584 75118 227879 | 2147483647 187541 251 | 0.000 % |
212.83/213.10 c | 187797 | 17584 75118 227879 | 2147483647 187797 251 | 0.000 % |
213.43/213.61 c | 188080 | 17584 75118 227879 | 2147483647 188080 251 | 0.000 % |
213.93/214.16 c | 188392 | 17584 75118 227879 | 2147483647 188392 251 | 0.000 % |
214.52/214.72 c | 188731 | 17584 75118 227879 | 2147483647 188731 251 | 0.000 % |
215.12/215.36 c | 189104 | 17584 75118 227879 | 2147483647 189104 251 | 0.000 % |
215.82/216.07 c | 189513 | 17584 75118 227879 | 2147483647 189513 251 | 0.000 % |
216.62/216.84 c | 189962 | 17584 75118 227879 | 2147483647 189962 251 | 0.000 % |
217.42/217.65 c | 190459 | 17584 75118 227879 | 2147483647 190459 251 | 0.000 % |
218.32/218.54 c | 191002 | 17584 75118 227879 | 2147483647 191002 251 | 0.000 % |
219.33/219.50 c | 191600 | 17584 75118 227879 | 2147483647 191600 251 | 0.000 % |
220.43/220.60 c | 192255 | 17584 75118 227879 | 2147483647 192255 251 | 0.000 % |
221.52/221.77 c | 192977 | 17584 75118 227879 | 2147483647 192977 251 | 0.000 % |
222.82/223.08 c | 193769 | 17584 75118 227879 | 2147483647 193769 251 | 0.000 % |
224.32/224.60 c | 194644 | 17584 75118 227879 | 2147483647 194644 251 | 0.000 % |
225.92/226.14 c | 195602 | 17584 75118 227879 | 2147483647 195602 251 | 0.000 % |
227.52/227.76 c | 196655 | 17584 75118 227879 | 2147483647 196655 251 | 0.000 % |
229.42/229.65 c | 197814 | 17584 75118 227879 | 2147483647 197814 252 | 0.000 % |
231.52/231.78 c | 199087 | 17584 75118 227879 | 2147483647 199087 252 | 0.000 % |
233.81/234.09 c | 200487 | 17584 75118 227879 | 2147483647 200487 252 | 0.000 % |
236.33/236.56 c | 202027 | 17584 75118 227879 | 2147483647 202027 252 | 0.000 % |
239.11/239.34 c | 203722 | 17584 75118 227879 | 2147483647 203722 252 | 0.000 % |
242.22/242.42 c | 205585 | 17584 75118 227879 | 2147483647 205585 253 | 0.000 % |
245.71/245.90 c | 207634 | 17584 75118 227879 | 2147483647 207634 253 | 0.000 % |
245.91/246.11 c | 207735 | 17584 75118 227879 | 2147483647 207735 253 | 0.000 % |
246.12/246.32 c | 207846 | 17584 75118 227879 | 2147483647 207846 253 | 0.000 % |
246.31/246.56 c | 207967 | 17584 75118 227879 | 2147483647 207967 253 | 0.000 % |
246.61/246.83 c | 208100 | 17584 75118 227879 | 2147483647 208100 253 | 0.000 % |
246.91/247.13 c | 208247 | 17584 75118 227879 | 2147483647 208247 253 | 0.000 % |
247.21/247.45 c | 208407 | 17584 75118 227879 | 2147483647 208407 253 | 0.000 % |
247.61/247.81 c | 208583 | 17584 75118 227879 | 2147483647 208583 253 | 0.000 % |
247.91/248.18 c | 208776 | 17584 75118 227879 | 2147483647 208776 253 | 0.000 % |
248.32/248.58 c | 208988 | 17584 75118 227879 | 2147483647 208988 253 | 0.000 % |
248.81/249.01 c | 209221 | 17584 75118 227879 | 2147483647 209221 253 | 0.000 % |
249.21/249.47 c | 209478 | 17584 75118 227879 | 2147483647 209478 253 | 0.000 % |
249.81/250.01 c | 209761 | 17584 75118 227879 | 2147483647 209761 253 | 0.000 % |
250.31/250.57 c | 210070 | 17584 75118 227879 | 2147483647 210070 253 | 0.000 % |
251.01/251.25 c | 210409 | 17584 75118 227879 | 2147483647 210409 253 | 0.000 % |
251.71/251.93 c | 210782 | 17584 75118 227879 | 2147483647 210782 253 | 0.000 % |
252.51/252.70 c | 211192 | 17584 75118 227879 | 2147483647 211192 253 | 0.000 % |
253.30/253.56 c | 211641 | 17584 75118 227879 | 2147483647 211641 253 | 0.000 % |
254.20/254.41 c | 212135 | 17584 75118 227879 | 2147483647 212135 253 | 0.000 % |
255.10/255.37 c | 212678 | 17584 75118 227879 | 2147483647 212678 252 | 0.000 % |
256.21/256.47 c | 213274 | 17584 75118 227879 | 2147483647 213274 252 | 0.000 % |
257.41/257.60 c | 213929 | 17584 75118 227879 | 2147483647 213929 252 | 0.000 % |
258.61/258.83 c | 214649 | 17584 75118 227879 | 2147483647 214649 252 | 0.000 % |
259.90/260.16 c | 215444 | 17584 75118 227879 | 2147483647 215444 253 | 0.000 % |
261.51/261.75 c | 216316 | 17584 75118 227879 | 2147483647 216316 253 | 0.000 % |
263.10/263.37 c | 217275 | 17584 75118 227879 | 2147483647 217275 253 | 0.000 % |
264.90/265.16 c | 218329 | 17584 75118 227879 | 2147483647 218329 253 | 0.000 % |
266.90/267.17 c | 219489 | 17584 75118 227879 | 2147483647 219489 253 | 0.000 % |
269.00/269.21 c | 220763 | 17584 75118 227879 | 2147483647 220763 253 | 0.000 % |
271.20/271.43 c | 222164 | 17584 75118 227879 | 2147483647 222164 253 | 0.000 % |
273.80/274.07 c | 223704 | 17584 75118 227879 | 2147483647 223704 253 | 0.000 % |
276.70/277.00 c | 225398 | 17584 75118 227879 | 2147483647 225398 254 | 0.000 % |
280.00/280.29 c | 227262 | 17584 75118 227879 | 2147483647 227262 254 | 0.000 % |
283.50/283.74 c | 229311 | 17584 75118 227879 | 2147483647 229311 254 | 0.000 % |
287.20/287.49 c | 231565 | 17584 75118 227879 | 2147483647 231565 255 | 0.000 % |
287.50/287.75 c | 231666 | 17584 75118 227879 | 2147483647 231666 255 | 0.000 % |
287.80/288.02 c | 231778 | 17584 75118 227879 | 2147483647 231778 255 | 0.000 % |
288.10/288.30 c | 231899 | 17584 75118 227879 | 2147483647 231899 255 | 0.000 % |
288.30/288.55 c | 232033 | 17584 75118 227879 | 2147483647 232033 255 | 0.000 % |
288.60/288.87 c | 232180 | 17584 75118 227879 | 2147483647 232180 255 | 0.000 % |
288.90/289.18 c | 232342 | 17584 75118 227879 | 2147483647 232342 255 | 0.000 % |
289.30/289.56 c | 232519 | 17584 75118 227879 | 2147483647 232519 255 | 0.000 % |
289.70/289.97 c | 232713 | 17584 75118 227879 | 2147483647 232713 255 | 0.000 % |
290.10/290.38 c | 232927 | 17584 75118 227879 | 2147483647 232927 255 | 0.000 % |
290.59/290.84 c | 233161 | 17584 75118 227879 | 2147483647 233161 255 | 0.000 % |
291.09/291.37 c | 233417 | 17584 75118 227879 | 2147483647 233417 254 | 0.000 % |
291.69/291.91 c | 233698 | 17584 75118 227879 | 2147483647 233698 254 | 0.000 % |
292.19/292.47 c | 234010 | 17584 75118 227879 | 2147483647 234010 254 | 0.000 % |
292.89/293.17 c | 234350 | 17584 75118 227879 | 2147483647 234350 254 | 0.000 % |
293.60/293.90 c | 234724 | 17584 75118 227879 | 2147483647 234724 254 | 0.000 % |
294.39/294.66 c | 235133 | 17584 75118 227879 | 2147483647 235133 254 | 0.000 % |
295.39/295.60 c | 235583 | 17584 75118 227879 | 2147483647 235583 254 | 0.000 % |
296.29/296.58 c | 236077 | 17584 75118 227879 | 2147483647 236077 254 | 0.000 % |
297.29/297.52 c | 236619 | 17584 75118 227879 | 2147483647 236619 254 | 0.000 % |
298.49/298.75 c | 237216 | 17584 75118 227879 | 2147483647 237216 254 | 0.000 % |
299.68/299.93 c | 237873 | 17584 75118 227879 | 2147483647 237873 254 | 0.000 % |
300.98/301.25 c | 238593 | 17584 75118 227879 | 2147483647 238593 254 | 0.000 % |
302.48/302.77 c | 239386 | 17584 75118 227879 | 2147483647 239386 254 | 0.000 % |
304.08/304.39 c | 240260 | 17584 75118 227879 | 2147483647 240260 254 | 0.000 % |
305.88/306.13 c | 241218 | 17584 75118 227879 | 2147483647 241218 254 | 0.000 % |
307.88/308.17 c | 242273 | 17584 75118 227879 | 2147483647 242273 254 | 0.000 % |
309.88/310.11 c | 243431 | 17584 75118 227879 | 2147483647 243431 255 | 0.000 % |
312.08/312.40 c | 244705 | 17584 75118 227879 | 2147483647 244705 255 | 0.000 % |
314.68/314.98 c | 246106 | 17584 75118 227879 | 2147483647 246106 255 | 0.000 % |
317.38/317.63 c | 247646 | 17584 75118 227879 | 2147483647 247646 255 | 0.000 % |
320.48/320.75 c | 249342 | 17584 75118 227879 | 2147483647 249342 256 | 0.000 % |
323.87/324.14 c | 251205 | 17584 75118 227879 | 2147483647 251205 256 | 0.000 % |
327.67/327.96 c | 253255 | 17584 75118 227879 | 2147483647 253255 257 | 0.000 % |
331.77/332.08 c | 255508 | 17584 75118 227879 | 2147483647 255508 257 | 0.000 % |
336.37/336.68 c | 257987 | 17584 75118 227879 | 2147483647 257987 258 | 0.000 % |
336.66/336.92 c | 258088 | 17584 75118 227879 | 2147483647 258088 258 | 0.000 % |
336.96/337.21 c | 258198 | 17584 75118 227879 | 2147483647 258198 258 | 0.000 % |
337.26/337.52 c | 258319 | 17584 75118 227879 | 2147483647 258319 258 | 0.000 % |
337.56/337.86 c | 258455 | 17584 75118 227879 | 2147483647 258455 258 | 0.000 % |
337.96/338.21 c | 258601 | 17584 75118 227879 | 2147483647 258601 258 | 0.000 % |
338.27/338.55 c | 258761 | 17584 75118 227879 | 2147483647 258761 258 | 0.000 % |
338.67/338.95 c | 258938 | 17584 75118 227879 | 2147483647 258938 258 | 0.000 % |
339.07/339.36 c | 259131 | 17584 75118 227879 | 2147483647 259131 258 | 0.000 % |
339.58/339.89 c | 259344 | 17584 75118 227879 | 2147483647 259344 258 | 0.000 % |
340.07/340.38 c | 259578 | 17584 75118 227879 | 2147483647 259578 258 | 0.000 % |
340.67/340.98 c | 259834 | 17584 75118 227879 | 2147483647 259834 258 | 0.000 % |
341.37/341.60 c | 260119 | 17584 75118 227879 | 2147483647 260119 258 | 0.000 % |
341.97/342.29 c | 260428 | 17584 75118 227879 | 2147483647 260428 258 | 0.000 % |
342.76/343.00 c | 260768 | 17584 75118 227879 | 2147483647 260768 258 | 0.000 % |
343.56/343.84 c | 261142 | 17584 75118 227879 | 2147483647 261142 258 | 0.000 % |
344.45/344.70 c | 261551 | 17584 75118 227879 | 2147483647 261551 258 | 0.000 % |
345.35/345.60 c | 262000 | 17584 75118 227879 | 2147483647 262000 258 | 0.000 % |
346.35/346.61 c | 262493 | 17584 75118 227879 | 2147483647 262493 258 | 0.000 % |
347.34/347.68 c | 263035 | 17584 75118 227879 | 2147483647 263035 258 | 0.000 % |
348.74/349.06 c | 263631 | 17584 75118 227879 | 2147483647 263631 258 | 0.000 % |
350.14/350.46 c | 264286 | 17584 75118 227879 | 2147483647 264286 258 | 0.000 % |
351.54/351.84 c | 265006 | 17584 75118 227879 | 2147483647 265006 258 | 0.000 % |
353.14/353.49 c | 265799 | 17584 75118 227879 | 2147483647 265799 258 | 0.000 % |
355.04/355.36 c | 266670 | 17584 75118 227879 | 2147483647 266670 258 | 0.000 % |
357.04/357.33 c | 267629 | 17584 75118 227879 | 2147483647 267629 258 | 0.000 % |
359.03/359.37 c | 268687 | 17584 75118 227879 | 2147483647 268687 258 | 0.000 % |
361.23/361.58 c | 269845 | 17584 75118 227879 | 2147483647 269845 258 | 0.000 % |
363.84/364.14 c | 271118 | 17584 75118 227879 | 2147483647 271118 258 | 0.000 % |
366.53/366.82 c | 272520 | 17584 75118 227879 | 2147483647 272520 259 | 0.000 % |
369.42/369.76 c | 274062 | 17584 75118 227879 | 2147483647 274062 259 | 0.000 % |
372.73/373.09 c | 275759 | 17584 75118 227879 | 2147483647 275759 259 | 0.000 % |
376.22/376.51 c | 277622 | 17584 75118 227879 | 2147483647 277622 260 | 0.000 % |
380.33/380.66 c | 279674 | 17584 75118 227879 | 2147483647 279674 260 | 0.000 % |
384.63/384.92 c | 281927 | 17584 75118 227879 | 2147483647 281927 261 | 0.000 % |
389.41/389.78 c | 284407 | 17584 75118 227879 | 2147483647 284407 261 | 0.000 % |
394.90/395.23 c | 287132 | 17584 75118 227879 | 2147483647 287132 261 | 0.000 % |
395.20/395.51 c | 287232 | 17584 75118 227879 | 2147483647 287232 261 | 0.000 % |
395.41/395.75 c | 287343 | 17584 75118 227879 | 2147483647 287343 261 | 0.000 % |
395.71/396.08 c | 287464 | 17584 75118 227879 | 2147483647 287464 261 | 0.000 % |
396.11/396.41 c | 287599 | 17584 75118 227879 | 2147483647 287599 261 | 0.000 % |
396.51/396.81 c | 287745 | 17584 75118 227879 | 2147483647 287745 261 | 0.000 % |
396.91/397.22 c | 287906 | 17584 75118 227879 | 2147483647 287906 261 | 0.000 % |
397.31/397.66 c | 288082 | 17584 75118 227879 | 2147483647 288082 261 | 0.000 % |
397.81/398.17 c | 288277 | 17584 75118 227879 | 2147483647 288277 261 | 0.000 % |
398.31/398.64 c | 288489 | 17584 75118 227879 | 2147483647 288489 261 | 0.000 % |
398.80/399.18 c | 288722 | 17584 75118 227879 | 2147483647 288722 261 | 0.000 % |
399.40/399.77 c | 288978 | 17584 75118 227879 | 2147483647 288978 261 | 0.000 % |
400.11/400.44 c | 289260 | 17584 75118 227879 | 2147483647 289260 261 | 0.000 % |
400.70/401.02 c | 289569 | 17584 75118 227879 | 2147483647 289569 261 | 0.000 % |
401.40/401.74 c | 289908 | 17584 75118 227879 | 2147483647 289908 261 | 0.000 % |
402.31/402.67 c | 290282 | 17584 75118 227879 | 2147483647 290282 261 | 0.000 % |
403.20/403.55 c | 290691 | 17584 75118 227879 | 2147483647 290691 261 | 0.000 % |
404.10/404.49 c | 291140 | 17584 75118 227879 | 2147483647 291140 261 | 0.000 % |
405.20/405.57 c | 291635 | 17584 75118 227879 | 2147483647 291635 261 | 0.000 % |
406.40/406.77 c | 292177 | 17584 75118 227879 | 2147483647 292177 261 | 0.000 % |
407.70/408.03 c | 292774 | 17584 75118 227879 | 2147483647 292774 261 | 0.000 % |
409.20/409.55 c | 293429 | 17584 75118 227879 | 2147483647 293429 261 | 0.000 % |
410.70/411.08 c | 294150 | 17584 75118 227879 | 2147483647 294150 261 | 0.000 % |
412.40/412.75 c | 294944 | 17584 75118 227879 | 2147483647 294944 261 | 0.000 % |
414.20/414.53 c | 295816 | 17584 75118 227879 | 2147483647 295816 261 | 0.000 % |
416.30/416.62 c | 296775 | 17584 75118 227879 | 2147483647 296775 261 | 0.000 % |
418.39/418.76 c | 297828 | 17584 75118 227879 | 2147483647 297828 261 | 0.000 % |
420.79/421.12 c | 298986 | 17584 75118 227879 | 2147483647 298986 261 | 0.000 % |
423.50/423.82 c | 300261 | 17584 75118 227879 | 2147483647 300261 261 | 0.000 % |
426.40/426.79 c | 301661 | 17584 75118 227879 | 2147483647 301661 261 | 0.000 % |
429.69/430.08 c | 303201 | 17584 75118 227879 | 2147483647 303201 261 | 0.000 % |
433.49/433.81 c | 304896 | 17584 75118 227879 | 2147483647 304896 261 | 0.000 % |
437.18/437.54 c | 306759 | 17584 75118 227879 | 2147483647 306759 262 | 0.000 % |
441.38/441.79 c | 308809 | 17584 75118 227879 | 2147483647 308809 262 | 0.000 % |
445.98/446.36 c | 311062 | 17584 75118 227879 | 2147483647 311062 262 | 0.000 % |
451.28/451.67 c | 313540 | 17584 75118 227879 | 2147483647 313540 263 | 0.000 % |
457.07/457.46 c | 316265 | 17584 75118 227879 | 2147483647 316265 264 | 0.000 % |
463.57/463.99 c | 319263 | 17584 75118 227879 | 2147483647 319263 264 | 0.000 % |
463.88/464.26 c | 319364 | 17584 75118 227879 | 2147483647 319364 264 | 0.000 % |
464.17/464.59 c | 319474 | 17584 75118 227879 | 2147483647 319474 264 | 0.000 % |
464.58/464.96 c | 319595 | 17584 75118 227879 | 2147483647 319595 264 | 0.000 % |
464.98/465.32 c | 319729 | 17584 75118 227879 | 2147483647 319729 264 | 0.000 % |
465.38/465.71 c | 319875 | 17584 75118 227879 | 2147483647 319875 264 | 0.000 % |
465.78/466.15 c | 320036 | 17584 75118 227879 | 2147483647 320036 264 | 0.000 % |
466.28/466.69 c | 320214 | 17584 75118 227879 | 2147483647 320214 264 | 0.000 % |
466.78/467.19 c | 320407 | 17584 75118 227879 | 2147483647 320407 264 | 0.000 % |
467.38/467.76 c | 320619 | 17584 75118 227879 | 2147483647 320619 264 | 0.000 % |
467.98/468.32 c | 320853 | 17584 75118 227879 | 2147483647 320853 264 | 0.000 % |
468.58/468.96 c | 321109 | 17584 75118 227879 | 2147483647 321109 264 | 0.000 % |
469.28/469.63 c | 321392 | 17584 75118 227879 | 2147483647 321392 264 | 0.000 % |
469.97/470.37 c | 321703 | 17584 75118 227879 | 2147483647 321703 264 | 0.000 % |
470.87/471.27 c | 322042 | 17584 75118 227879 | 2147483647 322042 264 | 0.000 % |
471.87/472.23 c | 322414 | 17584 75118 227879 | 2147483647 322414 264 | 0.000 % |
472.77/473.16 c | 322824 | 17584 75118 227879 | 2147483647 322824 264 | 0.000 % |
473.78/474.19 c | 323276 | 17584 75118 227879 | 2147483647 323276 264 | 0.000 % |
474.97/475.33 c | 323769 | 17584 75118 227879 | 2147483647 323769 263 | 0.000 % |
476.17/476.51 c | 324311 | 17584 75118 227879 | 2147483647 324311 263 | 0.000 % |
477.67/478.07 c | 324908 | 17584 75118 227879 | 2147483647 324908 263 | 0.000 % |
479.27/479.62 c | 325564 | 17584 75118 227879 | 2147483647 325564 263 | 0.000 % |
481.07/481.43 c | 326285 | 17584 75118 227879 | 2147483647 326285 263 | 0.000 % |
482.76/483.17 c | 327080 | 17584 75118 227879 | 2147483647 327080 263 | 0.000 % |
484.87/485.26 c | 327952 | 17584 75118 227879 | 2147483647 327952 263 | 0.000 % |
486.97/487.36 c | 328910 | 17584 75118 227879 | 2147483647 328910 263 | 0.000 % |
489.17/489.56 c | 329963 | 17584 75118 227879 | 2147483647 329963 263 | 0.000 % |
491.77/492.12 c | 331121 | 17584 75118 227879 | 2147483647 331121 263 | 0.000 % |
494.76/495.11 c | 332394 | 17584 75118 227879 | 2147483647 332394 263 | 0.000 % |
497.97/498.35 c | 333797 | 17584 75118 227879 | 2147483647 333797 263 | 0.000 % |
501.46/501.82 c | 335337 | 17584 75118 227879 | 2147483647 335337 264 | 0.000 % |
505.26/505.61 c | 337032 | 17584 75118 227879 | 2147483647 337032 264 | 0.000 % |
509.46/509.88 c | 338895 | 17584 75118 227879 | 2147483647 338895 264 | 0.000 % |
514.06/514.44 c | 340944 | 17584 75118 227879 | 2147483647 340944 264 | 0.000 % |
519.06/519.48 c | 343197 | 17584 75118 227879 | 2147483647 343197 264 | 0.000 % |
524.65/525.05 c | 345677 | 17584 75118 227879 | 2147483647 345677 264 | 0.000 % |
530.65/531.01 c | 348405 | 17584 75118 227879 | 2147483647 348405 265 | 0.000 % |
537.14/537.57 c | 351403 | 17584 75118 227879 | 2147483647 351403 265 | 0.000 % |
544.55/544.91 c | 354700 | 17584 75118 227879 | 2147483647 354700 265 | 0.000 % |
544.85/545.21 c | 354801 | 17584 75118 227879 | 2147483647 354801 265 | 0.000 % |
545.15/545.55 c | 354911 | 17584 75118 227879 | 2147483647 354911 265 | 0.000 % |
545.45/545.88 c | 355032 | 17584 75118 227879 | 2147483647 355032 265 | 0.000 % |
545.94/546.35 c | 355169 | 17584 75118 227879 | 2147483647 355169 265 | 0.000 % |
546.44/546.83 c | 355316 | 17584 75118 227879 | 2147483647 355316 265 | 0.000 % |
546.94/547.34 c | 355478 | 17584 75118 227879 | 2147483647 355478 265 | 0.000 % |
547.44/547.81 c | 355654 | 17584 75118 227879 | 2147483647 355654 265 | 0.000 % |
547.94/548.36 c | 355847 | 17584 75118 227879 | 2147483647 355847 265 | 0.000 % |
548.54/548.91 c | 356059 | 17584 75118 227879 | 2147483647 356059 265 | 0.000 % |
549.24/549.63 c | 356293 | 17584 75118 227879 | 2147483647 356293 265 | 0.000 % |
549.95/550.35 c | 356550 | 17584 75118 227879 | 2147483647 356550 265 | 0.000 % |
550.65/551.09 c | 356831 | 17584 75118 227879 | 2147483647 356831 265 | 0.000 % |
551.54/551.98 c | 357144 | 17584 75118 227879 | 2147483647 357144 265 | 0.000 % |
552.44/552.81 c | 357484 | 17584 75118 227879 | 2147483647 357484 265 | 0.000 % |
553.34/553.72 c | 357856 | 17584 75118 227879 | 2147483647 357856 265 | 0.000 % |
554.44/554.82 c | 358265 | 17584 75118 227879 | 2147483647 358265 265 | 0.000 % |
555.64/556.04 c | 358715 | 17584 75118 227879 | 2147483647 358715 265 | 0.000 % |
556.83/557.22 c | 359209 | 17584 75118 227879 | 2147483647 359209 265 | 0.000 % |
558.13/558.55 c | 359751 | 17584 75118 227879 | 2147483647 359751 265 | 0.000 % |
559.55/559.98 c | 360348 | 17584 75118 227879 | 2147483647 360348 264 | 0.000 % |
561.24/561.63 c | 361004 | 17584 75118 227879 | 2147483647 361004 264 | 0.000 % |
563.14/563.55 c | 361724 | 17584 75118 227879 | 2147483647 361724 265 | 0.000 % |
564.83/565.29 c | 362516 | 17584 75118 227879 | 2147483647 362516 265 | 0.000 % |
567.04/567.42 c | 363388 | 17584 75118 227879 | 2147483647 363388 265 | 0.000 % |
569.33/569.80 c | 364347 | 17584 75118 227879 | 2147483647 364347 265 | 0.000 % |
572.03/572.41 c | 365400 | 17584 75118 227879 | 2147483647 365400 265 | 0.000 % |
574.62/575.05 c | 366560 | 17584 75118 227879 | 2147483647 366560 265 | 0.000 % |
577.93/578.36 c | 367834 | 17584 75118 227879 | 2147483647 367834 265 | 0.000 % |
581.23/581.67 c | 369236 | 17584 75118 227879 | 2147483647 369236 265 | 0.000 % |
584.93/585.31 c | 370777 | 17584 75118 227879 | 2147483647 370777 265 | 0.000 % |
588.82/589.28 c | 372474 | 17584 75118 227879 | 2147483647 372474 265 | 0.000 % |
593.42/593.88 c | 374337 | 17584 75118 227879 | 2147483647 374337 265 | 0.000 % |
597.72/598.18 c | 376388 | 17584 75118 227879 | 2147483647 376388 265 | 0.000 % |
603.11/603.59 c | 378641 | 17584 75118 227879 | 2147483647 378641 265 | 0.000 % |
609.12/609.54 c | 381120 | 17584 75118 227879 | 2147483647 381120 265 | 0.000 % |
615.71/616.14 c | 383846 | 17584 75118 227879 | 2147483647 383846 266 | 0.000 % |
622.71/623.10 c | 386843 | 17584 75118 227879 | 2147483647 386843 267 | 0.000 % |
630.50/630.90 c | 390139 | 17584 75118 227879 | 2147483647 390139 267 | 0.000 % |
639.00/639.46 c | 393764 | 17584 75118 227879 | 2147483647 393764 268 | 0.000 % |
639.30/639.73 c | 393866 | 17584 75118 227879 | 2147483647 393866 268 | 0.000 % |
639.71/640.11 c | 393976 | 17584 75118 227879 | 2147483647 393976 268 | 0.000 % |
640.10/640.50 c | 394097 | 17584 75118 227879 | 2147483647 394097 268 | 0.000 % |
640.50/640.96 c | 394230 | 17584 75118 227879 | 2147483647 394230 268 | 0.000 % |
641.00/641.42 c | 394377 | 17584 75118 227879 | 2147483647 394377 268 | 0.000 % |
641.50/641.92 c | 394537 | 17584 75118 227879 | 2147483647 394537 268 | 0.000 % |
642.00/642.47 c | 394713 | 17584 75118 227879 | 2147483647 394713 268 | 0.000 % |
642.60/643.09 c | 394906 | 17584 75118 227879 | 2147483647 394906 268 | 0.000 % |
643.30/643.73 c | 395120 | 17584 75118 227879 | 2147483647 395120 268 | 0.000 % |
644.00/644.40 c | 395353 | 17584 75118 227879 | 2147483647 395353 268 | 0.000 % |
644.70/645.11 c | 395609 | 17584 75118 227879 | 2147483647 395609 268 | 0.000 % |
645.50/645.94 c | 395892 | 17584 75118 227879 | 2147483647 395892 268 | 0.000 % |
646.40/646.82 c | 396201 | 17584 75118 227879 | 2147483647 396201 268 | 0.000 % |
647.40/647.81 c | 396540 | 17584 75118 227879 | 2147483647 396540 268 | 0.000 % |
648.40/648.84 c | 396912 | 17584 75118 227879 | 2147483647 396912 268 | 0.000 % |
649.60/650.06 c | 397321 | 17584 75118 227879 | 2147483647 397321 267 | 0.000 % |
650.89/651.31 c | 397771 | 17584 75118 227879 | 2147483647 397771 267 | 0.000 % |
651.90/652.38 c | 398265 | 17584 75118 227879 | 2147483647 398265 268 | 0.000 % |
653.49/653.91 c | 398808 | 17584 75118 227879 | 2147483647 398808 268 | 0.000 % |
655.10/655.55 c | 399405 | 17584 75118 227879 | 2147483647 399405 268 | 0.000 % |
656.79/657.23 c | 400060 | 17584 75118 227879 | 2147483647 400060 268 | 0.000 % |
658.79/659.27 c | 400780 | 17584 75118 227879 | 2147483647 400780 268 | 0.000 % |
660.98/661.44 c | 401573 | 17584 75118 227879 | 2147483647 401573 268 | 0.000 % |
663.38/663.82 c | 402445 | 17584 75118 227879 | 2147483647 402445 268 | 0.000 % |
665.89/666.34 c | 403405 | 17584 75118 227879 | 2147483647 403405 268 | 0.000 % |
668.58/669.08 c | 404460 | 17584 75118 227879 | 2147483647 404460 268 | 0.000 % |
671.59/672.07 c | 405620 | 17584 75118 227879 | 2147483647 405620 268 | 0.000 % |
674.69/675.17 c | 406893 | 17584 75118 227879 | 2147483647 406893 268 | 0.000 % |
678.19/678.69 c | 408293 | 17584 75118 227879 | 2147483647 408293 268 | 0.000 % |
682.28/682.70 c | 409835 | 17584 75118 227879 | 2147483647 409835 268 | 0.000 % |
686.48/686.94 c | 411530 | 17584 75118 227879 | 2147483647 411530 268 | 0.000 % |
691.18/691.67 c | 413393 | 17584 75118 227879 | 2147483647 413393 268 | 0.000 % |
696.38/696.85 c | 415443 | 17584 75118 227879 | 2147483647 415443 268 | 0.000 % |
702.07/702.53 c | 417696 | 17584 75118 227879 | 2147483647 417696 268 | 0.000 % |
708.55/709.06 c | 420174 | 17584 75118 227879 | 2147483647 420174 268 | 0.000 % |
715.56/716.04 c | 422902 | 17584 75118 227879 | 2147483647 422902 268 | 0.000 % |
723.26/723.78 c | 425899 | 17584 75118 227879 | 2147483647 425899 268 | 0.000 % |
731.75/732.23 c | 429198 | 17584 75118 227879 | 2147483647 429198 269 | 0.000 % |
740.95/741.43 c | 432823 | 17584 75118 227879 | 2147483647 432823 270 | 0.000 % |
750.84/751.38 c | 436810 | 17584 75118 227879 | 2147483647 436810 271 | 0.000 % |
751.14/751.61 c | 436910 | 17584 75118 227879 | 2147483647 436910 271 | 0.000 % |
751.54/752.03 c | 437020 | 17584 75118 227879 | 2147483647 437020 271 | 0.000 % |
751.94/752.48 c | 437143 | 17584 75118 227879 | 2147483647 437143 271 | 0.000 % |
752.54/753.02 c | 437276 | 17584 75118 227879 | 2147483647 437276 271 | 0.000 % |
752.94/753.50 c | 437423 | 17584 75118 227879 | 2147483647 437423 271 | 0.000 % |
753.64/754.12 c | 437584 | 17584 75118 227879 | 2147483647 437584 271 | 0.000 % |
754.24/754.74 c | 437760 | 17584 75118 227879 | 2147483647 437760 271 | 0.000 % |
754.94/755.42 c | 437955 | 17584 75118 227879 | 2147483647 437955 271 | 0.000 % |
755.64/756.18 c | 438167 | 17584 75118 227879 | 2147483647 438167 270 | 0.000 % |
756.44/756.94 c | 438402 | 17584 75118 227879 | 2147483647 438402 270 | 0.000 % |
757.24/757.78 c | 438658 | 17584 75118 227879 | 2147483647 438658 270 | 0.000 % |
758.14/758.66 c | 438940 | 17584 75118 227879 | 2147483647 438940 270 | 0.000 % |
759.14/759.60 c | 439250 | 17584 75118 227879 | 2147483647 439250 270 | 0.000 % |
760.24/760.72 c | 439590 | 17584 75118 227879 | 2147483647 439590 270 | 0.000 % |
761.34/761.89 c | 439962 | 17584 75118 227879 | 2147483647 439962 270 | 0.000 % |
762.64/763.17 c | 440372 | 17584 75118 227879 | 2147483647 440372 270 | 0.000 % |
764.04/764.55 c | 440822 | 17584 75118 227879 | 2147483647 440822 270 | 0.000 % |
765.53/766.04 c | 441316 | 17584 75118 227879 | 2147483647 441316 270 | 0.000 % |
767.13/767.64 c | 441858 | 17584 75118 227879 | 2147483647 441858 270 | 0.000 % |
768.93/769.45 c | 442455 | 17584 75118 227879 | 2147483647 442455 270 | 0.000 % |
771.04/771.55 c | 443110 | 17584 75118 227879 | 2147483647 443110 270 | 0.000 % |
773.03/773.57 c | 443831 | 17584 75118 227879 | 2147483647 443831 270 | 0.000 % |
775.24/775.79 c | 444624 | 17584 75118 227879 | 2147483647 444624 270 | 0.000 % |
777.63/778.12 c | 445497 | 17584 75118 227879 | 2147483647 445497 270 | 0.000 % |
780.33/780.84 c | 446455 | 17584 75118 227879 | 2147483647 446455 270 | 0.000 % |
783.33/783.86 c | 447509 | 17584 75118 227879 | 2147483647 447509 270 | 0.000 % |
786.63/787.13 c | 448668 | 17584 75118 227879 | 2147483647 448668 270 | 0.000 % |
790.22/790.73 c | 449943 | 17584 75118 227879 | 2147483647 449943 270 | 0.000 % |
794.23/794.70 c | 451343 | 17584 75118 227879 | 2147483647 451343 270 | 0.000 % |
798.02/798.54 c | 452883 | 17584 75118 227879 | 2147483647 452883 270 | 0.000 % |
803.02/803.56 c | 454577 | 17584 75118 227879 | 2147483647 454577 270 | 0.000 % |
808.42/808.98 c | 456441 | 17584 75118 227879 | 2147483647 456441 270 | 0.000 % |
814.31/814.87 c | 458490 | 17584 75118 227879 | 2147483647 458490 270 | 0.000 % |
820.42/820.97 c | 460743 | 17584 75118 227879 | 2147483647 460743 271 | 0.000 % |
827.21/827.72 c | 463222 | 17584 75118 227879 | 2147483647 463222 271 | 0.000 % |
834.22/834.70 c | 465947 | 17584 75118 227879 | 2147483647 465947 271 | 0.000 % |
842.60/843.12 c | 468945 | 17584 75118 227879 | 2147483647 468945 271 | 0.000 % |
851.90/852.44 c | 472241 | 17584 75118 227879 | 2147483647 472241 272 | 0.000 % |
862.30/862.80 c | 475869 | 17584 75118 227879 | 2147483647 475869 272 | 0.000 % |
873.79/874.30 c | 479857 | 17584 75118 227879 | 2147483647 479857 273 | 0.000 % |
886.28/886.81 c | 484242 | 17584 75118 227879 | 2147483647 484242 274 | 0.000 % |
886.58/887.14 c | 484343 | 17584 75118 227879 | 2147483647 484343 274 | 0.000 % |
886.98/887.58 c | 484453 | 17584 75118 227879 | 2147483647 484453 274 | 0.000 % |
887.48/888.06 c | 484575 | 17584 75118 227879 | 2147483647 484575 274 | 0.000 % |
888.08/888.60 c | 484708 | 17584 75118 227879 | 2147483647 484708 274 | 0.000 % |
888.59/889.17 c | 484854 | 17584 75118 227879 | 2147483647 484854 274 | 0.000 % |
889.29/889.80 c | 485014 | 17584 75118 227879 | 2147483647 485014 274 | 0.000 % |
889.98/890.56 c | 485191 | 17584 75118 227879 | 2147483647 485191 273 | 0.000 % |
890.68/891.25 c | 485384 | 17584 75118 227879 | 2147483647 485384 273 | 0.000 % |
891.49/892.02 c | 485598 | 17584 75118 227879 | 2147483647 485598 273 | 0.000 % |
892.28/892.85 c | 485834 | 17584 75118 227879 | 2147483647 485834 273 | 0.000 % |
893.18/893.79 c | 486090 | 17584 75118 227879 | 2147483647 486090 273 | 0.000 % |
894.28/894.81 c | 486371 | 17584 75118 227879 | 2147483647 486371 273 | 0.000 % |
895.18/895.79 c | 486681 | 17584 75118 227879 | 2147483647 486681 273 | 0.000 % |
896.28/896.89 c | 487021 | 17584 75118 227879 | 2147483647 487021 273 | 0.000 % |
897.68/898.28 c | 487393 | 17584 75118 227879 | 2147483647 487393 273 | 0.000 % |
899.08/899.68 c | 487805 | 17584 75118 227879 | 2147483647 487805 273 | 0.000 % |
900.58/901.14 c | 488257 | 17584 75118 227879 | 2147483647 488257 273 | 0.000 % |
902.28/902.81 c | 488750 | 17584 75118 227879 | 2147483647 488750 273 | 0.000 % |
903.98/904.57 c | 489292 | 17584 75118 227879 | 2147483647 489292 273 | 0.000 % |
905.98/906.52 c | 489889 | 17584 75118 227879 | 2147483647 489889 273 | 0.000 % |
907.98/908.53 c | 490544 | 17584 75118 227879 | 2147483647 490544 273 | 0.000 % |
910.38/910.93 c | 491266 | 17584 75118 227879 | 2147483647 491266 273 | 0.000 % |
912.77/913.36 c | 492059 | 17584 75118 227879 | 2147483647 492059 273 | 0.000 % |
915.58/916.15 c | 492933 | 17584 75118 227879 | 2147483647 492933 273 | 0.000 % |
918.37/918.96 c | 493893 | 17584 75118 227879 | 2147483647 493893 273 | 0.000 % |
921.57/922.14 c | 494948 | 17584 75118 227879 | 2147483647 494948 273 | 0.000 % |
924.87/925.48 c | 496110 | 17584 75118 227879 | 2147483647 496110 273 | 0.000 % |
928.66/929.25 c | 497383 | 17584 75118 227879 | 2147483647 497383 273 | 0.000 % |
932.87/933.48 c | 498784 | 17584 75118 227879 | 2147483647 498784 273 | 0.000 % |
937.56/938.11 c | 500324 | 17584 75118 227879 | 2147483647 500324 273 | 0.000 % |
942.56/943.12 c | 502018 | 17584 75118 227879 | 2147483647 502018 273 | 0.000 % |
948.16/948.72 c | 503882 | 17584 75118 227879 | 2147483647 503882 273 | 0.000 % |
954.36/954.93 c | 505931 | 17584 75118 227879 | 2147483647 505931 274 | 0.000 % |
961.06/961.63 c | 508184 | 17584 75118 227879 | 2147483647 508184 274 | 0.000 % |
968.65/969.25 c | 510665 | 17584 75118 227879 | 2147483647 510665 274 | 0.000 % |
976.55/977.10 c | 513390 | 17584 75118 227879 | 2147483647 513390 274 | 0.000 % |
985.34/985.95 c | 516387 | 17584 75118 227879 | 2147483647 516387 274 | 0.000 % |
994.94/995.50 c | 519684 | 17584 75118 227879 | 2147483647 519684 275 | 0.000 % |
1005.53/1006.14 c | 523310 | 17584 75118 227879 | 2147483647 523310 275 | 0.000 % |
1017.53/1018.12 c | 527297 | 17584 75118 227879 | 2147483647 527297 275 | 0.000 % |
1030.92/1031.56 c | 531682 | 17584 75118 227879 | 2147483647 531682 275 | 0.000 % |
1045.81/1046.45 c | 536508 | 17584 75118 227879 | 2147483647 536508 276 | 0.000 % |
1046.31/1046.95 c | 536609 | 17584 75118 227879 | 2147483647 536609 276 | 0.000 % |
1046.81/1047.47 c | 536720 | 17584 75118 227879 | 2147483647 536720 276 | 0.000 % |
1047.31/1047.98 c | 536842 | 17584 75118 227879 | 2147483647 536842 276 | 0.000 % |
1047.91/1048.57 c | 536975 | 17584 75118 227879 | 2147483647 536975 276 | 0.000 % |
1048.52/1049.18 c | 537121 | 17584 75118 227879 | 2147483647 537121 276 | 0.000 % |
1049.12/1049.77 c | 537281 | 17584 75118 227879 | 2147483647 537281 276 | 0.000 % |
1049.82/1050.46 c | 537458 | 17584 75118 227879 | 2147483647 537458 276 | 0.000 % |
1050.52/1051.15 c | 537651 | 17584 75118 227879 | 2147483647 537651 276 | 0.000 % |
1051.31/1051.94 c | 537863 | 17584 75118 227879 | 2147483647 537863 276 | 0.000 % |
1052.21/1052.81 c | 538096 | 17584 75118 227879 | 2147483647 538096 276 | 0.000 % |
1053.31/1053.93 c | 538353 | 17584 75118 227879 | 2147483647 538353 276 | 0.000 % |
1054.32/1055.00 c | 538636 | 17584 75118 227879 | 2147483647 538636 276 | 0.000 % |
1055.51/1056.14 c | 538945 | 17584 75118 227879 | 2147483647 538945 276 | 0.000 % |
1056.72/1057.39 c | 539285 | 17584 75118 227879 | 2147483647 539285 276 | 0.000 % |
1058.11/1058.73 c | 539660 | 17584 75118 227879 | 2147483647 539660 276 | 0.000 % |
1059.41/1060.06 c | 540070 | 17584 75118 227879 | 2147483647 540070 276 | 0.000 % |
1061.11/1061.74 c | 540519 | 17584 75118 227879 | 2147483647 540519 275 | 0.000 % |
1062.91/1063.59 c | 541012 | 17584 75118 227879 | 2147483647 541012 275 | 0.000 % |
1065.01/1065.67 c | 541557 | 17584 75118 227879 | 2147483647 541557 275 | 0.000 % |
1067.20/1067.86 c | 542153 | 17584 75118 227879 | 2147483647 542153 275 | 0.000 % |
1069.30/1069.98 c | 542811 | 17584 75118 227879 | 2147483647 542811 275 | 0.000 % |
1071.81/1072.41 c | 543531 | 17584 75118 227879 | 2147483647 543531 275 | 0.000 % |
1074.60/1075.21 c | 544324 | 17584 75118 227879 | 2147483647 544324 275 | 0.000 % |
1077.30/1077.96 c | 545195 | 17584 75118 227879 | 2147483647 545195 275 | 0.000 % |
1080.50/1081.14 c | 546153 | 17584 75118 227879 | 2147483647 546153 275 | 0.000 % |
1083.70/1084.32 c | 547206 | 17584 75118 227879 | 2147483647 547206 275 | 0.000 % |
1087.39/1088.00 c | 548364 | 17584 75118 227879 | 2147483647 548364 275 | 0.000 % |
1091.49/1092.16 c | 549638 | 17584 75118 227879 | 2147483647 549638 276 | 0.000 % |
1096.00/1096.69 c | 551040 | 17584 75118 227879 | 2147483647 551040 276 | 0.000 % |
1101.29/1101.91 c | 552580 | 17584 75118 227879 | 2147483647 552580 276 | 0.000 % |
1107.00/1107.69 c | 554274 | 17584 75118 227879 | 2147483647 554274 276 | 0.000 % |
1113.08/1113.78 c | 556138 | 17584 75118 227879 | 2147483647 556138 276 | 0.000 % |
1119.28/1119.96 c | 558189 | 17584 75118 227879 | 2147483647 558189 276 | 0.000 % |
1125.69/1126.38 c | 560442 | 17584 75118 227879 | 2147483647 560442 276 | 0.000 % |
1133.18/1133.85 c | 562921 | 17584 75118 227879 | 2147483647 562921 277 | 0.000 % |
1141.48/1142.10 c | 565647 | 17584 75118 227879 | 2147483647 565647 277 | 0.000 % |
1150.77/1151.46 c | 568646 | 17584 75118 227879 | 2147483647 568646 277 | 0.000 % |
1161.17/1161.88 c | 571942 | 17584 75118 227879 | 2147483647 571942 277 | 0.000 % |
1172.66/1173.40 c | 575570 | 17584 75118 227879 | 2147483647 575570 277 | 0.000 % |
1185.96/1186.61 c | 579557 | 17584 75118 227879 | 2147483647 579557 277 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832787-1242787634/watcher-1832787-1242787634 -o /tmp/evaluation-result-1832787-1242787634/solver-1832787-1242787634 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832787-1242787634.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 14824
/proc/meminfo: memFree=1596528/2055920 swapFree=4171720/4192956
[pid=14824] ppid=14822 vsize=5356 CPUtime=0
/proc/14824/stat : 14824 (SatELiteGTI) S 14822 14824 14152 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306791513 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 221954932818 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/14824/statm: 1339 235 195 169 0 50 0
[pid=14825] ppid=14824 vsize=5356 CPUtime=0
/proc/14825/stat : 14825 (SatELiteGTI) S 14824 14824 14152 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 306791513 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/14825/statm: 1339 238 198 169 0 50 0
[pid=14827] ppid=14825 vsize=5356 CPUtime=0
/proc/14827/stat : 14827 (SatELiteGTI) R 14825 14824 14152 0 -1 4194368 19 0 0 0 0 0 0 0 18 0 1 0 306791513 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954764071 0 0 4096 0 0 0 0 17 1 0 0
/proc/14827/statm: 1339 239 199 169 0 50 0
[startup+0.0778389 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 14824
/proc/meminfo: memFree=1596528/2055920 swapFree=4171720/4192956
[pid=14824] ppid=14822 vsize=5356 CPUtime=0
/proc/14824/stat : 14824 (SatELiteGTI) S 14822 14824 14152 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306791513 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14824/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101838 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 14824
/proc/meminfo: memFree=1596528/2055920 swapFree=4171720/4192956
[pid=14824] ppid=14822 vsize=5356 CPUtime=0
/proc/14824/stat : 14824 (SatELiteGTI) S 14822 14824 14152 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306791513 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14824/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301854 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 14824
/proc/meminfo: memFree=1596528/2055920 swapFree=4171720/4192956
[pid=14824] ppid=14822 vsize=5356 CPUtime=0
/proc/14824/stat : 14824 (SatELiteGTI) S 14822 14824 14152 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306791513 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14824/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701881 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 14824
/proc/meminfo: memFree=1596528/2055920 swapFree=4171720/4192956
[pid=14824] ppid=14822 vsize=5356 CPUtime=0.34
/proc/14824/stat : 14824 (SatELiteGTI) S 14822 14824 14152 0 -1 4194304 336 2599 0 0 0 0 32 2 16 0 1 0 306791513 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14824/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 5356
[startup+1.50196 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14830
/proc/meminfo: memFree=1588248/2055920 swapFree=4171720/4192956
[pid=14824] ppid=14822 vsize=5356 CPUtime=0.34
/proc/14824/stat : 14824 (SatELiteGTI) S 14822 14824 14152 0 -1 4194304 336 2599 0 0 0 0 32 2 16 0 1 0 306791513 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14824/statm: 1339 239 197 169 0 50 0
[pid=14830] ppid=14824 vsize=7848 CPUtime=1.12
/proc/14830/stat : 14830 (minisat_static) R 14824 14824 14152 0 -1 4194304 1835 0 0 0 112 0 0 0 25 0 1 0 306791549 8036352 1821 1992294400 134512640 135215339 4294956240 18446744073709551615 134539363 0 0 4096 3 0 0 0 17 0 0 0
/proc/14830/statm: 1962 1821 77 171 0 1789 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 13204
[startup+3.1011 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14830
/proc/meminfo: memFree=1586648/2055920 swapFree=4171720/4192956
[pid=14824] ppid=14822 vsize=5356 CPUtime=0.34
/proc/14824/stat : 14824 (SatELiteGTI) S 14822 14824 14152 0 -1 4194304 336 2599 0 0 0 0 32 2 16 0 1 0 306791513 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14824/statm: 1339 239 197 169 0 50 0
[pid=14830] ppid=14824 vsize=10092 CPUtime=2.73
/proc/14830/stat : 14830 (minisat_static) R 14824 14824 14152 0 -1 4194304 2389 0 0 0 272 1 0 0 25 0 1 0 306791549 10334208 2375 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/14830/statm: 2523 2375 77 171 0 2350 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15448
[startup+6.30238 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14830
/proc/meminfo: memFree=1582168/2055920 swapFree=4171720/4192956
[pid=14824] ppid=14822 vsize=5356 CPUtime=0.34
/proc/14824/stat : 14824 (SatELiteGTI) S 14822 14824 14152 0 -1 4194304 336 2599 0 0 0 0 32 2 16 0 1 0 306791513 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14824/statm: 1339 239 197 169 0 50 0
[pid=14830] ppid=14824 vsize=14052 CPUtime=5.92
/proc/14830/stat : 14830 (minisat_static) R 14824 14824 14152 0 -1 4194304 3372 0 0 0 590 2 0 0 25 0 1 0 306791549 14389248 3358 1992294400 134512640 135215339 4294956240 18446744073709551615 134538561 0 0 4096 3 0 0 0 17 0 0 0
/proc/14830/statm: 3513 3358 77 171 0 3340 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 19408
[startup+12.702 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14830
/proc/meminfo: memFree=1573792/2055920 swapFree=4171720/4192956
[pid=14824] ppid=14822 vsize=5356 CPUtime=0.34
/proc/14824/stat : 14824 (SatELiteGTI) S 14822 14824 14152 0 -1 4194304 336 2599 0 0 0 0 32 2 16 0 1 0 306791513 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14824/statm: 1339 239 197 169 0 50 0
[pid=14830] ppid=14824 vsize=22192 CPUtime=12.31
/proc/14830/stat : 14830 (minisat_static) R 14824 14824 14152 0 -1 4194304 5406 0 0 0 1227 4 0 0 25 0 1 0 306791549 22724608 5392 1992294400 134512640 135215339 4294956240 18446744073709551615 134528673 0 0 4096 3 0 0 0 17 0 0 0
/proc/14830/statm: 5548 5392 77 171 0 5375 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 27548
[startup+25.5011 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14830
/proc/meminfo: memFree=1558240/2055920 swapFree=4171720/4192956
[pid=14824] ppid=14822 vsize=5356 CPUtime=0.34
/proc/14824/stat : 14824 (SatELiteGTI) S 14822 14824 14152 0 -1 4194304 336 2599 0 0 0 0 32 2 16 0 1 0 306791513 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14824/statm: 1339 239 197 169 0 50 0
[pid=14830] ppid=14824 vsize=37412 CPUtime=25.1
/proc/14830/stat : 14830 (minisat_static) R 14824 14824 14152 0 -1 4194304 9215 0 0 0 2501 9 0 0 25 0 1 0 306791549 38309888 9201 1992294400 134512640 135215339 4294956240 18446744073709551615 134538302 0 0 4096 3 0 0 0 17 0 0 0
/proc/14830/statm: 9353 9201 77 171 0 9180 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 42768
[startup+51.1014 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14830
/proc/meminfo: memFree=1530656/2055920 swapFree=4171720/4192956
[pid=14824] ppid=14822 vsize=5356 CPUtime=0.34
/proc/14824/stat : 14824 (SatELiteGTI) S 14822 14824 14152 0 -1 4194304 336 2599 0 0 0 0 32 2 16 0 1 0 306791513 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14824/statm: 1339 239 197 169 0 50 0
[pid=14830] ppid=14824 vsize=65340 CPUtime=50.68
/proc/14830/stat : 14830 (minisat_static) R 14824 14824 14152 0 -1 4194304 16172 0 0 0 5051 17 0 0 25 0 1 0 306791549 66908160 16158 1992294400 134512640 135215339 4294956240 18446744073709551615 134538574 0 0 4096 3 0 0 0 17 0 0 0
/proc/14830/statm: 16335 16158 77 171 0 16162 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 70696
[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14830
/proc/meminfo: memFree=1482528/2055920 swapFree=4171720/4192956
[pid=14824] ppid=14822 vsize=5356 CPUtime=0.34
/proc/14824/stat : 14824 (SatELiteGTI) S 14822 14824 14152 0 -1 4194304 336 2599 0 0 0 0 32 2 16 0 1 0 306791513 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14824/statm: 1339 239 197 169 0 50 0
[pid=14830] ppid=14824 vsize=112668 CPUtime=101.85
/proc/14830/stat : 14830 (minisat_static) R 14824 14824 14152 0 -1 4194304 27987 0 0 0 10158 27 0 0 25 0 1 0 306791549 115372032 27973 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/14830/statm: 28167 27973 77 171 0 27994 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 118024
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14830
/proc/meminfo: memFree=1434144/2055920 swapFree=4171720/4192956
[pid=14824] ppid=14822 vsize=5356 CPUtime=0.34
/proc/14824/stat : 14824 (SatELiteGTI) S 14822 14824 14152 0 -1 4194304 336 2599 0 0 0 0 32 2 16 0 1 0 306791513 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14824/statm: 1339 239 197 169 0 50 0
[pid=14830] ppid=14824 vsize=161332 CPUtime=161.81
/proc/14830/stat : 14830 (minisat_static) R 14824 14824 14152 0 -1 4194304 40145 0 0 0 16140 41 0 0 25 0 1 0 306791549 165203968 40131 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14830/statm: 40333 40131 77 171 0 40160 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 166688
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14830
/proc/meminfo: memFree=1390240/2055920 swapFree=4171720/4192956
[pid=14824] ppid=14822 vsize=5356 CPUtime=0.34
/proc/14824/stat : 14824 (SatELiteGTI) S 14822 14824 14152 0 -1 4194304 336 2599 0 0 0 0 32 2 16 0 1 0 306791513 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14824/statm: 1339 239 197 169 0 50 0
[pid=14830] ppid=14824 vsize=204524 CPUtime=221.78
/proc/14830/stat : 14830 (minisat_static) R 14824 14824 14152 0 -1 4194304 50973 0 0 0 22124 54 0 0 25 0 1 0 306791549 209432576 50959 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14830/statm: 51131 50959 77 171 0 50958 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 209880
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14830
/proc/meminfo: memFree=1352352/2055920 swapFree=4171720/4192956
[pid=14824] ppid=14822 vsize=5356 CPUtime=0.34
/proc/14824/stat : 14824 (SatELiteGTI) S 14822 14824 14152 0 -1 4194304 336 2599 0 0 0 0 32 2 16 0 1 0 306791513 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14824/statm: 1339 239 197 169 0 50 0
[pid=14830] ppid=14824 vsize=242980 CPUtime=281.76
/proc/14830/stat : 14830 (minisat_static) R 14824 14824 14152 0 -1 4194304 60523 0 0 0 28111 65 0 0 25 0 1 0 306791549 248811520 60509 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14830/statm: 60745 60509 77 171 0 60572 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 248336
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14830
/proc/meminfo: memFree=1314592/2055920 swapFree=4171720/4192956
[pid=14824] ppid=14822 vsize=5356 CPUtime=0.34
/proc/14824/stat : 14824 (SatELiteGTI) S 14822 14824 14152 0 -1 4194304 336 2599 0 0 0 0 32 2 16 0 1 0 306791513 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14824/statm: 1339 239 197 169 0 50 0
[pid=14830] ppid=14824 vsize=279988 CPUtime=341.73
/proc/14830/stat : 14830 (minisat_static) R 14824 14824 14152 0 -1 4194304 69805 0 0 0 34098 75 0 0 25 0 1 0 306791549 286707712 69791 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14830/statm: 69997 69791 77 171 0 69824 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 285344
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14830
/proc/meminfo: memFree=1280352/2055920 swapFree=4171720/4192956
[pid=14824] ppid=14822 vsize=5356 CPUtime=0.34
/proc/14824/stat : 14824 (SatELiteGTI) S 14822 14824 14152 0 -1 4194304 336 2599 0 0 0 0 32 2 16 0 1 0 306791513 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14824/statm: 1339 239 197 169 0 50 0
[pid=14830] ppid=14824 vsize=314212 CPUtime=401.67
################
# More data... #
################
/proc/14830/statm: 101105 100857 77 171 0 100932 0
Current children cumulated CPU time (s) 581.93
Current children cumulated vsize (KiB) 409776
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14830
/proc/meminfo: memFree=1157920/2055920 swapFree=4171720/4192956
[pid=14824] ppid=14822 vsize=5356 CPUtime=0.34
/proc/14824/stat : 14824 (SatELiteGTI) S 14822 14824 14152 0 -1 4194304 336 2599 0 0 0 0 32 2 16 0 1 0 306791513 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14824/statm: 1339 239 197 169 0 50 0
[pid=14830] ppid=14824 vsize=435868 CPUtime=641.56
/proc/14830/stat : 14830 (minisat_static) R 14824 14824 14152 0 -1 4194304 108757 0 0 0 64036 120 0 0 25 0 1 0 306791549 446328832 108743 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/14830/statm: 108967 108743 77 171 0 108794 0
Current children cumulated CPU time (s) 641.9
Current children cumulated vsize (KiB) 441224
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14830
/proc/meminfo: memFree=1132640/2055920 swapFree=4171720/4192956
[pid=14824] ppid=14822 vsize=5356 CPUtime=0.34
/proc/14824/stat : 14824 (SatELiteGTI) S 14822 14824 14152 0 -1 4194304 336 2599 0 0 0 0 32 2 16 0 1 0 306791513 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14824/statm: 1339 239 197 169 0 50 0
[pid=14830] ppid=14824 vsize=461236 CPUtime=701.53
/proc/14830/stat : 14830 (minisat_static) R 14824 14824 14152 0 -1 4194304 115110 0 0 0 70027 126 0 0 25 0 1 0 306791549 472305664 115096 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14830/statm: 115309 115096 77 171 0 115136 0
Current children cumulated CPU time (s) 701.87
Current children cumulated vsize (KiB) 466592
[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14830
/proc/meminfo: memFree=1103776/2055920 swapFree=4171720/4192956
[pid=14824] ppid=14822 vsize=5356 CPUtime=0.34
/proc/14824/stat : 14824 (SatELiteGTI) S 14822 14824 14152 0 -1 4194304 336 2599 0 0 0 0 32 2 16 0 1 0 306791513 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14824/statm: 1339 239 197 169 0 50 0
[pid=14830] ppid=14824 vsize=489380 CPUtime=761.5
/proc/14830/stat : 14830 (minisat_static) R 14824 14824 14152 0 -1 4194304 122194 0 0 0 76017 133 0 0 25 0 1 0 306791549 501125120 122180 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/14830/statm: 122345 122180 77 171 0 122172 0
Current children cumulated CPU time (s) 761.84
Current children cumulated vsize (KiB) 494736
[startup+822.302 s]
/proc/loadavg: 1.04 1.00 1.00 2/66 14830
/proc/meminfo: memFree=1079968/2055920 swapFree=4171720/4192956
[pid=14824] ppid=14822 vsize=5356 CPUtime=0.34
/proc/14824/stat : 14824 (SatELiteGTI) S 14822 14824 14152 0 -1 4194304 336 2599 0 0 0 0 32 2 16 0 1 0 306791513 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14824/statm: 1339 239 197 169 0 50 0
[pid=14830] ppid=14824 vsize=513284 CPUtime=821.48
/proc/14830/stat : 14830 (minisat_static) R 14824 14824 14152 0 -1 4194304 128173 0 0 0 82008 140 0 0 25 0 1 0 306791549 525602816 128159 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/14830/statm: 128321 128159 77 171 0 128148 0
Current children cumulated CPU time (s) 821.82
Current children cumulated vsize (KiB) 518640
[startup+882.301 s]
/proc/loadavg: 1.05 1.01 1.00 2/66 14836
/proc/meminfo: memFree=1051864/2055920 swapFree=4171720/4192956
[pid=14824] ppid=14822 vsize=5356 CPUtime=0.34
/proc/14824/stat : 14824 (SatELiteGTI) S 14822 14824 14152 0 -1 4194304 336 2599 0 0 0 0 32 2 16 0 1 0 306791513 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14824/statm: 1339 239 197 169 0 50 0
[pid=14830] ppid=14824 vsize=541816 CPUtime=881.46
/proc/14830/stat : 14830 (minisat_static) R 14824 14824 14152 0 -1 4194304 135115 0 0 0 87999 147 0 0 25 0 1 0 306791549 554819584 135101 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/14830/statm: 135454 135101 77 171 0 135281 0
Current children cumulated CPU time (s) 881.8
Current children cumulated vsize (KiB) 547172
[startup+942.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/66 14836
/proc/meminfo: memFree=1030488/2055920 swapFree=4171720/4192956
[pid=14824] ppid=14822 vsize=5356 CPUtime=0.34
/proc/14824/stat : 14824 (SatELiteGTI) S 14822 14824 14152 0 -1 4194304 336 2599 0 0 0 0 32 2 16 0 1 0 306791513 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14824/statm: 1339 239 197 169 0 50 0
[pid=14830] ppid=14824 vsize=563228 CPUtime=941.42
/proc/14830/stat : 14830 (minisat_static) R 14824 14824 14152 0 -1 4194304 140487 0 0 0 93989 153 0 0 25 0 1 0 306791549 576745472 140473 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/14830/statm: 140807 140473 77 171 0 140634 0
Current children cumulated CPU time (s) 941.76
Current children cumulated vsize (KiB) 568584
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14836
/proc/meminfo: memFree=1004184/2055920 swapFree=4171720/4192956
[pid=14824] ppid=14822 vsize=5356 CPUtime=0.34
/proc/14824/stat : 14824 (SatELiteGTI) S 14822 14824 14152 0 -1 4194304 336 2599 0 0 0 0 32 2 16 0 1 0 306791513 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14824/statm: 1339 239 197 169 0 50 0
[pid=14830] ppid=14824 vsize=589248 CPUtime=1001.4
/proc/14830/stat : 14830 (minisat_static) R 14824 14824 14152 0 -1 4194304 147001 0 0 0 99980 160 0 0 25 0 1 0 306791549 603389952 146987 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/14830/statm: 147312 146987 77 171 0 147139 0
Current children cumulated CPU time (s) 1001.74
Current children cumulated vsize (KiB) 594604
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14836
/proc/meminfo: memFree=982168/2055920 swapFree=4171720/4192956
[pid=14824] ppid=14822 vsize=5356 CPUtime=0.34
/proc/14824/stat : 14824 (SatELiteGTI) S 14822 14824 14152 0 -1 4194304 336 2599 0 0 0 0 32 2 16 0 1 0 306791513 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14824/statm: 1339 239 197 169 0 50 0
[pid=14830] ppid=14824 vsize=611172 CPUtime=1061.37
/proc/14830/stat : 14830 (minisat_static) R 14824 14824 14152 0 -1 4194304 152493 0 0 0 105971 166 0 0 25 0 1 0 306791549 625840128 152479 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14830/statm: 152793 152479 77 171 0 152620 0
Current children cumulated CPU time (s) 1061.71
Current children cumulated vsize (KiB) 616528
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14836
/proc/meminfo: memFree=959576/2055920 swapFree=4171720/4192956
[pid=14824] ppid=14822 vsize=5356 CPUtime=0.34
/proc/14824/stat : 14824 (SatELiteGTI) S 14822 14824 14152 0 -1 4194304 336 2599 0 0 0 0 32 2 16 0 1 0 306791513 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14824/statm: 1339 239 197 169 0 50 0
[pid=14830] ppid=14824 vsize=633516 CPUtime=1121.34
/proc/14830/stat : 14830 (minisat_static) R 14824 14824 14152 0 -1 4194304 158090 0 0 0 111962 172 0 0 25 0 1 0 306791549 648720384 158076 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/14830/statm: 158379 158076 77 171 0 158206 0
Current children cumulated CPU time (s) 1121.68
Current children cumulated vsize (KiB) 638872
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14836
/proc/meminfo: memFree=936672/2055920 swapFree=4171720/4192956
[pid=14824] ppid=14822 vsize=5356 CPUtime=0.34
/proc/14824/stat : 14824 (SatELiteGTI) S 14822 14824 14152 0 -1 4194304 336 2599 0 0 0 0 32 2 16 0 1 0 306791513 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14824/statm: 1339 239 197 169 0 50 0
[pid=14830] ppid=14824 vsize=656376 CPUtime=1181.32
/proc/14830/stat : 14830 (minisat_static) R 14824 14824 14152 0 -1 4194304 163851 0 0 0 117954 178 0 0 25 0 1 0 306791549 672129024 163837 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/14830/statm: 164094 163837 77 171 0 163921 0
Current children cumulated CPU time (s) 1181.66
Current children cumulated vsize (KiB) 661732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14836
/proc/meminfo: memFree=928096/2055920 swapFree=4171720/4192956
[pid=14824] ppid=14822 vsize=5356 CPUtime=0.34
/proc/14824/stat : 14824 (SatELiteGTI) S 14822 14824 14152 0 -1 4194304 336 2599 0 0 0 0 32 2 16 0 1 0 306791513 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14824/statm: 1339 239 197 169 0 50 0
[pid=14830] ppid=14824 vsize=664572 CPUtime=1199.71
/proc/14830/stat : 14830 (minisat_static) R 14824 14824 14152 0 -1 4194304 165888 0 0 0 119791 180 0 0 25 0 1 0 306791549 680521728 165874 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14830/statm: 166143 165874 77 171 0 165970 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 669928
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14836
/proc/meminfo: memFree=928096/2055920 swapFree=4171720/4192956
[pid=14824] ppid=14822 vsize=5356 CPUtime=0.34
/proc/14824/stat : 14824 (SatELiteGTI) S 14822 14824 14152 0 -1 4194304 336 2599 0 0 0 0 32 2 16 0 1 0 306791513 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14824/statm: 1339 239 197 169 0 50 0
[pid=14830] ppid=14824 vsize=664572 CPUtime=1199.71
/proc/14830/stat : 14830 (minisat_static) R 14824 14824 14152 0 -1 4194304 165888 0 0 0 119791 180 0 0 25 0 1 0 306791549 680521728 165874 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14830/statm: 166143 165874 77 171 0 165970 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 669928
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14824 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=329949
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=28995
# CPU time returned by wait4() is 0.358944
# while last known CPU time is 1200.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.71
CPU time (s): 1200.05
CPU user time (s): 1198.23
CPU system time (s): 1.82
CPU usage (%): 99.9448
Max. virtual memory (cumulated for all children) (KiB): 669928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.329949
system time used= 0.028995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2935
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 12
runsolver used 1.12283 second user time and 3.33949 second system time
The end
Begin job on node43 at 2009-05-20 04:47:15
IDJOB=1832787
IDBENCH=70357
IDSOLVER=671
FILE ID=node43/1832787-1242787634
PBS_JOBID= 9322300
Free space on /tmp= 66192 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/18000/unif-k3-r4.2-v18000-c75600-S2088061175-062.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832787-1242787634/watcher-1832787-1242787634 -o /tmp/evaluation-result-1832787-1242787634/solver-1832787-1242787634 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832787-1242787634.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0b73ddee1057244eb6a8d3ac4fd7781f
RANDOM SEED=2044421722
node43.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.237
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.237
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: 1597072 kB
Buffers: 26996 kB
Cached: 367116 kB
SwapCached: 15384 kB
Active: 134336 kB
Inactive: 280784 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1597072 kB
SwapTotal: 4192956 kB
SwapFree: 4171720 kB
Dirty: 3028 kB
Writeback: 0 kB
Mapped: 14076 kB
Slab: 29772 kB
Committed_AS: 1121152 kB
PageTables: 1448 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= 66188 MiB
End job on node43 at 2009-05-20 05:07:17