0.00/0.00 c Parsing...
0.00/0.08 c ==============================================================================
0.00/0.08 c | | ORIGINAL | LEARNT | |
0.00/0.08 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.08 c ==============================================================================
0.00/0.08 c | 0 | 75600 226800 | 22679 0 0 nan | 0.000 % |
0.00/0.27 c | 0 | 75129 228255 | -- 0 -- -- | -- | -471/1455
0.00/0.27 c ==============================================================================
0.00/0.27 c Result : #vars: 17539 #clauses: 75129 #literals: 228255
0.00/0.27 c CPU time: 0.25996 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: 17539 |
0.00/0.36 c | Number of clauses: 75129 |
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 | 17539 75129 228255 | 25043 0 nan | 0.000 % |
0.34/0.48 c | 100 | 17539 75129 228255 | 25043 100 144 | 0.000 % |
0.34/0.54 c | 201 | 17539 75129 228255 | 25043 201 171 | 0.000 % |
0.34/0.60 c | 303 | 17539 75129 228255 | 25043 303 165 | 0.000 % |
0.34/0.67 c | 415 | 17539 75129 228255 | 25043 415 179 | 0.000 % |
0.34/0.74 c | 516 | 17539 75129 228255 | 25043 516 189 | 0.000 % |
0.34/0.81 c | 626 | 17539 75129 228255 | 25043 626 184 | 0.000 % |
0.34/0.89 c | 747 | 17539 75129 228255 | 25043 747 189 | 0.000 % |
0.34/0.95 c | 847 | 17539 75129 228255 | 25043 847 188 | 0.000 % |
0.34/1.02 c | 957 | 17539 75129 228255 | 25043 957 183 | 0.000 % |
0.34/1.09 c | 1078 | 17539 75129 228255 | 25043 1078 189 | 0.000 % |
1.06/1.18 c | 1212 | 17539 75129 228255 | 25043 1212 190 | 0.000 % |
1.16/1.25 c | 1312 | 17539 75129 228255 | 25043 1312 192 | 0.000 % |
1.27/1.32 c | 1423 | 17539 75129 228255 | 25043 1423 191 | 0.000 % |
1.27/1.39 c | 1546 | 17539 75129 228255 | 25043 1546 189 | 0.000 % |
1.37/1.47 c | 1679 | 17539 75129 228255 | 25043 1679 187 | 0.000 % |
1.47/1.55 c | 1825 | 17539 75129 228255 | 25043 1825 187 | 0.000 % |
1.57/1.62 c | 1927 | 17539 75129 228255 | 25043 1927 188 | 0.000 % |
1.57/1.67 c | 2038 | 17539 75129 228255 | 25043 2038 186 | 0.000 % |
1.67/1.75 c | 2159 | 17539 75129 228255 | 25043 2159 186 | 0.000 % |
1.76/1.83 c | 2292 | 17539 75129 228255 | 25043 2292 185 | 0.000 % |
1.86/1.92 c | 2439 | 17539 75129 228255 | 25043 2439 190 | 0.000 % |
1.96/2.03 c | 2600 | 17539 75129 228255 | 25043 2600 195 | 0.000 % |
1.96/2.09 c | 2700 | 17539 75129 228255 | 25043 2700 197 | 0.000 % |
2.06/2.16 c | 2812 | 17539 75129 228255 | 25043 2812 196 | 0.000 % |
2.16/2.24 c | 2938 | 17539 75129 228255 | 25043 2938 195 | 0.000 % |
2.26/2.33 c | 3071 | 17539 75129 228255 | 25043 3071 195 | 0.000 % |
2.36/2.42 c | 3219 | 17539 75129 228255 | 25043 3219 199 | 0.000 % |
2.46/2.52 c | 3379 | 17539 75129 228255 | 25043 3379 203 | 0.000 % |
2.56/2.65 c | 3555 | 17539 75129 228255 | 25043 3555 205 | 0.000 % |
2.66/2.72 c | 3656 | 17539 75129 228255 | 25043 3656 204 | 0.000 % |
2.66/2.79 c | 3769 | 17539 75129 228255 | 25043 3769 204 | 0.000 % |
2.76/2.87 c | 3891 | 17539 75129 228255 | 25043 3891 204 | 0.000 % |
2.86/2.94 c | 4024 | 17539 75129 228255 | 25043 4024 204 | 0.000 % |
2.96/3.03 c | 4170 | 17539 75129 228255 | 25043 4170 204 | 0.000 % |
3.06/3.15 c | 4332 | 17539 75129 228255 | 25043 4332 203 | 0.000 % |
3.16/3.26 c | 4509 | 17539 75129 228255 | 25043 4509 203 | 0.000 % |
3.26/3.37 c | 4702 | 17539 75129 228255 | 25043 4702 202 | 0.000 % |
3.36/3.43 c | 4802 | 17539 75129 228255 | 25043 4802 202 | 0.000 % |
3.46/3.50 c | 4912 | 17539 75129 228255 | 25043 4912 202 | 0.000 % |
3.46/3.58 c | 5033 | 17539 75129 228255 | 25043 5033 202 | 0.000 % |
3.56/3.67 c | 5167 | 17539 75129 228255 | 25043 5167 201 | 0.000 % |
3.66/3.76 c | 5314 | 17539 75129 228255 | 25043 5314 200 | 0.000 % |
3.76/3.87 c | 5474 | 17539 75129 228255 | 25043 5474 201 | 0.000 % |
3.86/3.99 c | 5651 | 17539 75129 228255 | 25043 5651 204 | 0.000 % |
4.06/4.12 c | 5845 | 17539 75129 228255 | 25043 5845 203 | 0.000 % |
4.16/4.26 c | 6058 | 17539 75129 228255 | 25043 6058 202 | 0.000 % |
4.26/4.32 c | 6160 | 17539 75129 228255 | 25043 6160 202 | 0.000 % |
4.26/4.40 c | 6271 | 17539 75129 228255 | 25043 6271 202 | 0.000 % |
4.37/4.48 c | 6392 | 17539 75129 228255 | 25043 6392 202 | 0.000 % |
4.47/4.57 c | 6525 | 17539 75129 228255 | 25043 6525 204 | 0.000 % |
4.56/4.67 c | 6672 | 17539 75129 228255 | 25043 6672 203 | 0.000 % |
4.66/4.79 c | 6832 | 17539 75129 228255 | 25043 6832 203 | 0.000 % |
4.76/4.89 c | 7008 | 17539 75129 228255 | 25043 7008 202 | 0.000 % |
4.96/5.03 c | 7202 | 17539 75129 228255 | 25043 7202 203 | 0.000 % |
5.06/5.18 c | 7415 | 17539 75129 228255 | 25043 7415 203 | 0.000 % |
5.26/5.33 c | 7648 | 17539 75129 228255 | 25043 7648 201 | 0.000 % |
5.36/5.40 c | 7748 | 17539 75129 228255 | 25043 7748 202 | 0.000 % |
5.36/5.47 c | 7859 | 17539 75129 228255 | 25043 7859 201 | 0.000 % |
5.47/5.55 c | 7980 | 17539 75129 228255 | 25043 7980 200 | 0.000 % |
5.57/5.64 c | 8113 | 17539 75129 228255 | 25043 8113 200 | 0.000 % |
5.66/5.74 c | 8259 | 17539 75129 228255 | 25043 8259 199 | 0.000 % |
5.76/5.84 c | 8421 | 17539 75129 228255 | 25043 8421 199 | 0.000 % |
5.86/5.96 c | 8599 | 17539 75129 228255 | 25043 8599 200 | 0.000 % |
5.96/6.08 c | 8792 | 17539 75129 228255 | 25043 8792 200 | 0.000 % |
6.16/6.23 c | 9007 | 17539 75129 228255 | 25043 9007 201 | 0.000 % |
6.26/6.39 c | 9240 | 17539 75129 228255 | 25043 9240 202 | 0.000 % |
6.46/6.56 c | 9497 | 17539 75129 228255 | 25043 9497 203 | 0.000 % |
6.56/6.63 c | 9597 | 17539 75129 228255 | 25043 9597 203 | 0.000 % |
6.56/6.70 c | 9707 | 17539 75129 228255 | 25043 9707 203 | 0.000 % |
6.66/6.78 c | 9830 | 17539 75129 228255 | 25043 9830 203 | 0.000 % |
6.76/6.88 c | 9963 | 17539 75129 228255 | 25043 9963 202 | 0.000 % |
6.86/6.98 c | 10109 | 17539 75129 228255 | 2147483647 10109 202 | 0.000 % |
7.06/7.10 c | 10269 | 17539 75129 228255 | 2147483647 10269 203 | 0.000 % |
7.16/7.21 c | 10445 | 17539 75129 228255 | 2147483647 10445 202 | 0.000 % |
7.26/7.35 c | 10638 | 17539 75129 228255 | 2147483647 10638 202 | 0.000 % |
7.46/7.50 c | 10850 | 17539 75129 228255 | 2147483647 10850 202 | 0.000 % |
7.56/7.66 c | 11083 | 17539 75129 228255 | 2147483647 11083 203 | 0.000 % |
7.77/7.83 c | 11340 | 17539 75129 228255 | 2147483647 11340 203 | 0.000 % |
7.96/8.01 c | 11621 | 17539 75129 228255 | 2147483647 11621 205 | 0.000 % |
7.96/8.08 c | 11722 | 17539 75129 228255 | 2147483647 11722 204 | 0.000 % |
8.06/8.17 c | 11835 | 17539 75129 228255 | 2147483647 11835 205 | 0.000 % |
8.16/8.26 c | 11956 | 17539 75129 228255 | 2147483647 11956 205 | 0.000 % |
8.26/8.36 c | 12089 | 17539 75129 228255 | 2147483647 12089 205 | 0.000 % |
8.36/8.47 c | 12236 | 17539 75129 228255 | 2147483647 12236 205 | 0.000 % |
8.45/8.58 c | 12396 | 17539 75129 228255 | 2147483647 12396 205 | 0.000 % |
8.65/8.70 c | 12572 | 17539 75129 228255 | 2147483647 12572 205 | 0.000 % |
8.76/8.85 c | 12765 | 17539 75129 228255 | 2147483647 12765 205 | 0.000 % |
8.96/9.00 c | 12978 | 17539 75129 228255 | 2147483647 12978 206 | 0.000 % |
9.06/9.16 c | 13212 | 17539 75129 228255 | 2147483647 13212 206 | 0.000 % |
9.26/9.35 c | 13470 | 17539 75129 228255 | 2147483647 13470 206 | 0.000 % |
9.46/9.54 c | 13753 | 17539 75129 228255 | 2147483647 13753 206 | 0.000 % |
9.66/9.76 c | 14063 | 17539 75129 228255 | 2147483647 14063 206 | 0.000 % |
9.76/9.84 c | 14164 | 17539 75129 228255 | 2147483647 14164 206 | 0.000 % |
9.86/9.92 c | 14275 | 17539 75129 228255 | 2147483647 14275 206 | 0.000 % |
9.96/10.02 c | 14397 | 17539 75129 228255 | 2147483647 14397 206 | 0.000 % |
10.06/10.11 c | 14532 | 17539 75129 228255 | 2147483647 14532 205 | 0.000 % |
10.16/10.23 c | 14678 | 17539 75129 228255 | 2147483647 14678 206 | 0.000 % |
10.26/10.34 c | 14840 | 17539 75129 228255 | 2147483647 14840 206 | 0.000 % |
10.36/10.48 c | 15017 | 17539 75129 228255 | 2147483647 15017 207 | 0.000 % |
10.56/10.62 c | 15210 | 17539 75129 228255 | 2147483647 15210 207 | 0.000 % |
10.66/10.77 c | 15422 | 17539 75129 228255 | 2147483647 15422 207 | 0.000 % |
10.86/10.95 c | 15655 | 17539 75129 228255 | 2147483647 15655 208 | 0.000 % |
11.06/11.12 c | 15912 | 17539 75129 228255 | 2147483647 15912 207 | 0.000 % |
11.26/11.33 c | 16193 | 17539 75129 228255 | 2147483647 16193 207 | 0.000 % |
11.46/11.55 c | 16503 | 17539 75129 228255 | 2147483647 16503 207 | 0.000 % |
11.66/11.79 c | 16843 | 17539 75129 228255 | 2147483647 16843 208 | 0.000 % |
11.76/11.87 c | 16943 | 17539 75129 228255 | 2147483647 16943 208 | 0.000 % |
11.86/11.96 c | 17054 | 17539 75129 228255 | 2147483647 17054 208 | 0.000 % |
11.96/12.06 c | 17175 | 17539 75129 228255 | 2147483647 17175 207 | 0.000 % |
12.07/12.17 c | 17309 | 17539 75129 228255 | 2147483647 17309 207 | 0.000 % |
12.17/12.29 c | 17458 | 17539 75129 228255 | 2147483647 17458 207 | 0.000 % |
12.36/12.41 c | 17618 | 17539 75129 228255 | 2147483647 17618 207 | 0.000 % |
12.46/12.53 c | 17794 | 17539 75129 228255 | 2147483647 17794 207 | 0.000 % |
12.56/12.67 c | 17987 | 17539 75129 228255 | 2147483647 17987 208 | 0.000 % |
12.76/12.83 c | 18202 | 17539 75129 228255 | 2147483647 18202 207 | 0.000 % |
12.96/13.00 c | 18435 | 17539 75129 228255 | 2147483647 18435 207 | 0.000 % |
13.06/13.19 c | 18692 | 17539 75129 228255 | 2147483647 18692 208 | 0.000 % |
13.36/13.40 c | 18975 | 17539 75129 228255 | 2147483647 18975 208 | 0.000 % |
13.56/13.62 c | 19285 | 17539 75129 228255 | 2147483647 19285 207 | 0.000 % |
13.76/13.87 c | 19624 | 17539 75129 228255 | 2147483647 19624 207 | 0.000 % |
14.06/14.14 c | 19996 | 17539 75129 228255 | 2147483647 19996 208 | 0.000 % |
14.16/14.21 c | 20097 | 17539 75129 228255 | 2147483647 20097 208 | 0.000 % |
14.16/14.30 c | 20209 | 17539 75129 228255 | 2147483647 20209 208 | 0.000 % |
14.26/14.40 c | 20331 | 17539 75129 228255 | 2147483647 20331 208 | 0.000 % |
14.45/14.51 c | 20464 | 17539 75129 228255 | 2147483647 20464 208 | 0.000 % |
14.55/14.63 c | 20610 | 17539 75129 228255 | 2147483647 20610 207 | 0.000 % |
14.65/14.76 c | 20772 | 17539 75129 228255 | 2147483647 20772 207 | 0.000 % |
14.75/14.89 c | 20948 | 17539 75129 228255 | 2147483647 20948 207 | 0.000 % |
14.95/15.04 c | 21141 | 17539 75129 228255 | 2147483647 21141 208 | 0.000 % |
15.15/15.20 c | 21353 | 17539 75129 228255 | 2147483647 21353 208 | 0.000 % |
15.25/15.38 c | 21586 | 17539 75129 228255 | 2147483647 21586 207 | 0.000 % |
15.47/15.57 c | 21842 | 17539 75129 228255 | 2147483647 21842 207 | 0.000 % |
15.66/15.78 c | 22123 | 17539 75129 228255 | 2147483647 22123 207 | 0.000 % |
15.96/16.01 c | 22432 | 17539 75129 228255 | 2147483647 22432 207 | 0.000 % |
16.16/16.26 c | 22771 | 17539 75129 228255 | 2147483647 22771 207 | 0.000 % |
16.46/16.54 c | 23143 | 17539 75129 228255 | 2147483647 23143 207 | 0.000 % |
16.75/16.84 c | 23552 | 17539 75129 228255 | 2147483647 23552 207 | 0.000 % |
16.85/16.94 c | 23655 | 17539 75129 228255 | 2147483647 23655 207 | 0.000 % |
16.95/17.03 c | 23765 | 17539 75129 228255 | 2147483647 23765 207 | 0.000 % |
17.05/17.13 c | 23887 | 17539 75129 228255 | 2147483647 23887 207 | 0.000 % |
17.15/17.24 c | 24020 | 17539 75129 228255 | 2147483647 24020 207 | 0.000 % |
17.25/17.37 c | 24169 | 17539 75129 228255 | 2147483647 24169 207 | 0.000 % |
17.35/17.49 c | 24330 | 17539 75129 228255 | 2147483647 24330 207 | 0.000 % |
17.56/17.65 c | 24506 | 17539 75129 228255 | 2147483647 24506 207 | 0.000 % |
17.75/17.82 c | 24700 | 17539 75129 228255 | 2147483647 24700 207 | 0.000 % |
17.85/17.99 c | 24913 | 17539 75129 228255 | 2147483647 24913 207 | 0.000 % |
18.05/18.18 c | 25148 | 17539 75129 228255 | 2147483647 25148 207 | 0.000 % |
18.25/18.39 c | 25405 | 17539 75129 228255 | 2147483647 25405 208 | 0.000 % |
18.55/18.61 c | 25690 | 17539 75129 228255 | 2147483647 25690 209 | 0.000 % |
18.76/18.86 c | 26002 | 17539 75129 228255 | 2147483647 26002 210 | 0.000 % |
19.06/19.13 c | 26342 | 17539 75129 228255 | 2147483647 26342 210 | 0.000 % |
19.36/19.42 c | 26714 | 17539 75129 228255 | 2147483647 26714 210 | 0.000 % |
19.66/19.73 c | 27123 | 17539 75129 228255 | 2147483647 27123 211 | 0.000 % |
20.06/20.10 c | 27572 | 17539 75129 228255 | 2147483647 27572 211 | 0.000 % |
20.06/20.19 c | 27672 | 17539 75129 228255 | 2147483647 27672 211 | 0.000 % |
20.16/20.28 c | 27783 | 17539 75129 228255 | 2147483647 27783 211 | 0.000 % |
20.26/20.39 c | 27907 | 17539 75129 228255 | 2147483647 27907 211 | 0.000 % |
20.36/20.49 c | 28040 | 17539 75129 228255 | 2147483647 28040 211 | 0.000 % |
20.55/20.62 c | 28187 | 17539 75129 228255 | 2147483647 28187 211 | 0.000 % |
20.65/20.76 c | 28348 | 17539 75129 228255 | 2147483647 28348 211 | 0.000 % |
20.86/20.90 c | 28524 | 17539 75129 228255 | 2147483647 28524 211 | 0.000 % |
20.96/21.07 c | 28717 | 17539 75129 228255 | 2147483647 28717 211 | 0.000 % |
21.15/21.23 c | 28929 | 17539 75129 228255 | 2147483647 28929 211 | 0.000 % |
21.35/21.43 c | 29163 | 17539 75129 228255 | 2147483647 29163 211 | 0.000 % |
21.55/21.63 c | 29419 | 17539 75129 228255 | 2147483647 29419 211 | 0.000 % |
21.75/21.84 c | 29701 | 17539 75129 228255 | 2147483647 29701 211 | 0.000 % |
21.95/22.10 c | 30011 | 17539 75129 228255 | 2147483647 30011 211 | 0.000 % |
22.36/22.40 c | 30351 | 17539 75129 228255 | 2147483647 30351 212 | 0.000 % |
22.66/22.70 c | 30724 | 17539 75129 228255 | 2147483647 30724 211 | 0.000 % |
22.95/23.04 c | 31135 | 17539 75129 228255 | 2147483647 31135 211 | 0.000 % |
23.25/23.36 c | 31584 | 17539 75129 228255 | 2147483647 31584 212 | 0.000 % |
23.65/23.74 c | 32077 | 17539 75129 228255 | 2147483647 32077 212 | 0.000 % |
23.75/23.83 c | 32177 | 17539 75129 228255 | 2147483647 32177 212 | 0.000 % |
23.85/23.93 c | 32290 | 17539 75129 228255 | 2147483647 32290 212 | 0.000 % |
23.95/24.04 c | 32412 | 17539 75129 228255 | 2147483647 32412 212 | 0.000 % |
24.05/24.16 c | 32546 | 17539 75129 228255 | 2147483647 32546 212 | 0.000 % |
24.15/24.29 c | 32692 | 17539 75129 228255 | 2147483647 32692 212 | 0.000 % |
24.35/24.43 c | 32855 | 17539 75129 228255 | 2147483647 32855 212 | 0.000 % |
24.45/24.58 c | 33032 | 17539 75129 228255 | 2147483647 33032 212 | 0.000 % |
24.65/24.74 c | 33226 | 17539 75129 228255 | 2147483647 33226 212 | 0.000 % |
24.85/24.92 c | 33439 | 17539 75129 228255 | 2147483647 33439 212 | 0.000 % |
25.05/25.12 c | 33674 | 17539 75129 228255 | 2147483647 33674 212 | 0.000 % |
25.26/25.33 c | 33931 | 17539 75129 228255 | 2147483647 33931 212 | 0.000 % |
25.45/25.58 c | 34212 | 17539 75129 228255 | 2147483647 34212 212 | 0.000 % |
25.75/25.83 c | 34521 | 17539 75129 228255 | 2147483647 34521 212 | 0.000 % |
26.05/26.12 c | 34860 | 17539 75129 228255 | 2147483647 34860 213 | 0.000 % |
26.35/26.43 c | 35234 | 17539 75129 228255 | 2147483647 35234 213 | 0.000 % |
26.65/26.76 c | 35643 | 17539 75129 228255 | 2147483647 35643 213 | 0.000 % |
27.05/27.14 c | 36092 | 17539 75129 228255 | 2147483647 36092 213 | 0.000 % |
27.45/27.53 c | 36586 | 17539 75129 228255 | 2147483647 36586 213 | 0.000 % |
27.95/28.01 c | 37128 | 17539 75129 228255 | 2147483647 37128 214 | 0.000 % |
28.04/28.10 c | 37229 | 17539 75129 228255 | 2147483647 37229 214 | 0.000 % |
28.15/28.20 c | 37342 | 17539 75129 228255 | 2147483647 37342 214 | 0.000 % |
28.25/28.31 c | 37463 | 17539 75129 228255 | 2147483647 37463 214 | 0.000 % |
28.35/28.44 c | 37597 | 17539 75129 228255 | 2147483647 37597 214 | 0.000 % |
28.45/28.58 c | 37743 | 17539 75129 228255 | 2147483647 37743 214 | 0.000 % |
28.65/28.73 c | 37904 | 17539 75129 228255 | 2147483647 37904 214 | 0.000 % |
28.75/28.87 c | 38081 | 17539 75129 228255 | 2147483647 38081 213 | 0.000 % |
28.95/29.04 c | 38275 | 17539 75129 228255 | 2147483647 38275 213 | 0.000 % |
29.14/29.23 c | 38487 | 17539 75129 228255 | 2147483647 38487 214 | 0.000 % |
29.34/29.46 c | 38720 | 17539 75129 228255 | 2147483647 38720 214 | 0.000 % |
29.54/29.66 c | 38978 | 17539 75129 228255 | 2147483647 38978 214 | 0.000 % |
29.84/29.90 c | 39259 | 17539 75129 228255 | 2147483647 39259 214 | 0.000 % |
30.04/30.15 c | 39568 | 17539 75129 228255 | 2147483647 39568 214 | 0.000 % |
30.34/30.46 c | 39908 | 17539 75129 228255 | 2147483647 39908 215 | 0.000 % |
30.64/30.76 c | 40280 | 17539 75129 228255 | 2147483647 40280 215 | 0.000 % |
31.04/31.13 c | 40691 | 17539 75129 228255 | 2147483647 40691 215 | 0.000 % |
31.34/31.50 c | 41142 | 17539 75129 228255 | 2147483647 41142 215 | 0.000 % |
31.84/31.93 c | 41635 | 17539 75129 228255 | 2147483647 41635 215 | 0.000 % |
32.34/32.40 c | 42178 | 17539 75129 228255 | 2147483647 42178 215 | 0.000 % |
32.84/32.93 c | 42777 | 17539 75129 228255 | 2147483647 42777 216 | 0.000 % |
32.94/33.03 c | 42877 | 17539 75129 228255 | 2147483647 42877 216 | 0.000 % |
33.04/33.14 c | 42988 | 17539 75129 228255 | 2147483647 42988 216 | 0.000 % |
33.14/33.27 c | 43111 | 17539 75129 228255 | 2147483647 43111 216 | 0.000 % |
33.24/33.39 c | 43245 | 17539 75129 228255 | 2147483647 43245 216 | 0.000 % |
33.44/33.52 c | 43392 | 17539 75129 228255 | 2147483647 43392 216 | 0.000 % |
33.54/33.68 c | 43553 | 17539 75129 228255 | 2147483647 43553 216 | 0.000 % |
33.74/33.86 c | 43732 | 17539 75129 228255 | 2147483647 43732 216 | 0.000 % |
33.94/34.04 c | 43927 | 17539 75129 228255 | 2147483647 43927 216 | 0.000 % |
34.14/34.23 c | 44140 | 17539 75129 228255 | 2147483647 44140 216 | 0.000 % |
34.34/34.44 c | 44374 | 17539 75129 228255 | 2147483647 44374 216 | 0.000 % |
34.53/34.67 c | 44630 | 17539 75129 228255 | 2147483647 44630 216 | 0.000 % |
34.83/34.94 c | 44911 | 17539 75129 228255 | 2147483647 44911 216 | 0.000 % |
35.14/35.21 c | 45220 | 17539 75129 228255 | 2147483647 45220 216 | 0.000 % |
35.43/35.53 c | 45562 | 17539 75129 228255 | 2147483647 45562 216 | 0.000 % |
35.73/35.88 c | 45935 | 17539 75129 228255 | 2147483647 45935 217 | 0.000 % |
36.13/36.24 c | 46344 | 17539 75129 228255 | 2147483647 46344 217 | 0.000 % |
36.53/36.64 c | 46793 | 17539 75129 228255 | 2147483647 46793 217 | 0.000 % |
36.93/37.08 c | 47286 | 17539 75129 228255 | 2147483647 47286 217 | 0.000 % |
37.44/37.59 c | 47828 | 17539 75129 228255 | 2147483647 47828 217 | 0.000 % |
38.03/38.12 c | 48425 | 17539 75129 228255 | 2147483647 48425 218 | 0.000 % |
38.63/38.75 c | 49080 | 17539 75129 228255 | 2147483647 49080 218 | 0.000 % |
38.73/38.87 c | 49180 | 17539 75129 228255 | 2147483647 49180 218 | 0.000 % |
38.83/39.00 c | 49290 | 17539 75129 228255 | 2147483647 49290 218 | 0.000 % |
39.04/39.12 c | 49413 | 17539 75129 228255 | 2147483647 49413 218 | 0.000 % |
39.14/39.26 c | 49546 | 17539 75129 228255 | 2147483647 49546 218 | 0.000 % |
39.34/39.42 c | 49694 | 17539 75129 228255 | 2147483647 49694 218 | 0.000 % |
39.44/39.57 c | 49854 | 17539 75129 228255 | 2147483647 49854 218 | 0.000 % |
39.64/39.76 c | 50030 | 17539 75129 228255 | 2147483647 50030 218 | 0.000 % |
39.84/39.95 c | 50223 | 17539 75129 228255 | 2147483647 50223 218 | 0.000 % |
40.04/40.15 c | 50435 | 17539 75129 228255 | 2147483647 50435 218 | 0.000 % |
40.24/40.37 c | 50668 | 17539 75129 228255 | 2147483647 50668 218 | 0.000 % |
40.54/40.61 c | 50929 | 17539 75129 228255 | 2147483647 50929 218 | 0.000 % |
40.74/40.87 c | 51210 | 17539 75129 228255 | 2147483647 51210 218 | 0.000 % |
41.03/41.16 c | 51521 | 17539 75129 228255 | 2147483647 51521 217 | 0.000 % |
41.33/41.47 c | 51860 | 17539 75129 228255 | 2147483647 51860 218 | 0.000 % |
41.73/41.81 c | 52232 | 17539 75129 228255 | 2147483647 52232 219 | 0.000 % |
42.14/42.21 c | 52642 | 17539 75129 228255 | 2147483647 52642 219 | 0.000 % |
42.54/42.63 c | 53091 | 17539 75129 228255 | 2147483647 53091 219 | 0.000 % |
42.94/43.09 c | 53588 | 17539 75129 228255 | 2147483647 53588 219 | 0.000 % |
43.44/43.56 c | 54131 | 17539 75129 228255 | 2147483647 54131 220 | 0.000 % |
44.04/44.12 c | 54727 | 17539 75129 228255 | 2147483647 54727 219 | 0.000 % |
44.63/44.70 c | 55383 | 17539 75129 228255 | 2147483647 55383 220 | 0.000 % |
45.23/45.38 c | 56103 | 17539 75129 228255 | 2147483647 56103 220 | 0.000 % |
45.33/45.48 c | 56203 | 17539 75129 228255 | 2147483647 56203 220 | 0.000 % |
45.43/45.59 c | 56313 | 17539 75129 228255 | 2147483647 56313 220 | 0.000 % |
45.63/45.71 c | 56435 | 17539 75129 228255 | 2147483647 56435 220 | 0.000 % |
45.74/45.85 c | 56569 | 17539 75129 228255 | 2147483647 56569 220 | 0.000 % |
45.94/46.01 c | 56717 | 17539 75129 228255 | 2147483647 56717 220 | 0.000 % |
46.04/46.17 c | 56879 | 17539 75129 228255 | 2147483647 56879 220 | 0.000 % |
46.24/46.34 c | 57055 | 17539 75129 228255 | 2147483647 57055 220 | 0.000 % |
46.43/46.54 c | 57248 | 17539 75129 228255 | 2147483647 57248 220 | 0.000 % |
46.63/46.74 c | 57461 | 17539 75129 228255 | 2147483647 57461 220 | 0.000 % |
46.83/46.99 c | 57695 | 17539 75129 228255 | 2147483647 57695 220 | 0.000 % |
47.13/47.25 c | 57951 | 17539 75129 228255 | 2147483647 57951 220 | 0.000 % |
47.43/47.54 c | 58232 | 17539 75129 228255 | 2147483647 58232 220 | 0.000 % |
47.73/47.86 c | 58542 | 17539 75129 228255 | 2147483647 58542 220 | 0.000 % |
48.13/48.20 c | 58882 | 17539 75129 228255 | 2147483647 58882 220 | 0.000 % |
48.43/48.57 c | 59256 | 17539 75129 228255 | 2147483647 59256 220 | 0.000 % |
48.83/48.98 c | 59667 | 17539 75129 228255 | 2147483647 59667 220 | 0.000 % |
49.33/49.40 c | 60116 | 17539 75129 228255 | 2147483647 60116 220 | 0.000 % |
49.72/49.88 c | 60609 | 17539 75129 228255 | 2147483647 60609 220 | 0.000 % |
50.23/50.39 c | 61151 | 17539 75129 228255 | 2147483647 61151 220 | 0.000 % |
50.83/50.96 c | 61747 | 17539 75129 228255 | 2147483647 61747 221 | 0.000 % |
51.43/51.59 c | 62404 | 17539 75129 228255 | 2147483647 62404 222 | 0.000 % |
52.23/52.31 c | 63127 | 17539 75129 228255 | 2147483647 63127 223 | 0.000 % |
53.03/53.13 c | 63919 | 17539 75129 228255 | 2147483647 63919 223 | 0.000 % |
53.13/53.25 c | 64020 | 17539 75129 228255 | 2147483647 64020 223 | 0.000 % |
53.23/53.39 c | 64135 | 17539 75129 228255 | 2147483647 64135 223 | 0.000 % |
53.43/53.52 c | 64257 | 17539 75129 228255 | 2147483647 64257 223 | 0.000 % |
53.53/53.66 c | 64390 | 17539 75129 228255 | 2147483647 64390 223 | 0.000 % |
53.72/53.82 c | 64537 | 17539 75129 228255 | 2147483647 64537 223 | 0.000 % |
53.83/54.00 c | 64703 | 17539 75129 228255 | 2147483647 64703 223 | 0.000 % |
54.02/54.17 c | 64879 | 17539 75129 228255 | 2147483647 64879 223 | 0.000 % |
54.22/54.38 c | 65072 | 17539 75129 228255 | 2147483647 65072 223 | 0.000 % |
54.42/54.59 c | 65284 | 17539 75129 228255 | 2147483647 65284 223 | 0.000 % |
54.72/54.84 c | 65517 | 17539 75129 228255 | 2147483647 65517 223 | 0.000 % |
55.02/55.13 c | 65774 | 17539 75129 228255 | 2147483647 65774 223 | 0.000 % |
55.33/55.41 c | 66055 | 17539 75129 228255 | 2147483647 66055 223 | 0.000 % |
55.63/55.74 c | 66365 | 17539 75129 228255 | 2147483647 66365 223 | 0.000 % |
56.03/56.11 c | 66704 | 17539 75129 228255 | 2147483647 66704 223 | 0.000 % |
56.32/56.48 c | 67076 | 17539 75129 228255 | 2147483647 67076 223 | 0.000 % |
56.82/56.92 c | 67486 | 17539 75129 228255 | 2147483647 67486 223 | 0.000 % |
57.22/57.36 c | 67935 | 17539 75129 228255 | 2147483647 67935 223 | 0.000 % |
57.72/57.89 c | 68430 | 17539 75129 228255 | 2147483647 68430 224 | 0.000 % |
58.32/58.43 c | 68975 | 17539 75129 228255 | 2147483647 68975 224 | 0.000 % |
58.93/59.03 c | 69574 | 17539 75129 228255 | 2147483647 69574 224 | 0.000 % |
59.63/59.74 c | 70230 | 17539 75129 228255 | 2147483647 70230 224 | 0.000 % |
60.32/60.45 c | 70950 | 17539 75129 228255 | 2147483647 70950 224 | 0.000 % |
61.22/61.34 c | 71743 | 17539 75129 228255 | 2147483647 71743 226 | 0.000 % |
62.12/62.24 c | 72614 | 17539 75129 228255 | 2147483647 72614 227 | 0.000 % |
62.22/62.38 c | 72717 | 17539 75129 228255 | 2147483647 72717 227 | 0.000 % |
62.42/62.51 c | 72828 | 17539 75129 228255 | 2147483647 72828 227 | 0.000 % |
62.52/62.65 c | 72950 | 17539 75129 228255 | 2147483647 72950 227 | 0.000 % |
62.73/62.81 c | 73084 | 17539 75129 228255 | 2147483647 73084 226 | 0.000 % |
62.82/62.99 c | 73230 | 17539 75129 228255 | 2147483647 73230 227 | 0.000 % |
63.02/63.18 c | 73390 | 17539 75129 228255 | 2147483647 73390 226 | 0.000 % |
63.22/63.38 c | 73566 | 17539 75129 228255 | 2147483647 73566 226 | 0.000 % |
63.52/63.61 c | 73759 | 17539 75129 228255 | 2147483647 73759 226 | 0.000 % |
63.73/63.84 c | 73971 | 17539 75129 228255 | 2147483647 73971 226 | 0.000 % |
63.92/64.09 c | 74206 | 17539 75129 228255 | 2147483647 74206 226 | 0.000 % |
64.22/64.37 c | 74463 | 17539 75129 228255 | 2147483647 74463 226 | 0.000 % |
64.52/64.68 c | 74744 | 17539 75129 228255 | 2147483647 74744 227 | 0.000 % |
64.82/64.99 c | 75056 | 17539 75129 228255 | 2147483647 75056 227 | 0.000 % |
65.22/65.38 c | 75397 | 17539 75129 228255 | 2147483647 75397 227 | 0.000 % |
65.62/65.77 c | 75769 | 17539 75129 228255 | 2147483647 75769 227 | 0.000 % |
66.12/66.22 c | 76178 | 17539 75129 228255 | 2147483647 76178 227 | 0.000 % |
66.62/66.71 c | 76627 | 17539 75129 228255 | 2147483647 76627 227 | 0.000 % |
67.12/67.23 c | 77120 | 17539 75129 228255 | 2147483647 77120 227 | 0.000 % |
67.71/67.83 c | 77664 | 17539 75129 228255 | 2147483647 77664 228 | 0.000 % |
68.32/68.48 c | 78260 | 17539 75129 228255 | 2147483647 78260 228 | 0.000 % |
69.02/69.17 c | 78915 | 17539 75129 228255 | 2147483647 78915 228 | 0.000 % |
69.82/69.97 c | 79637 | 17539 75129 228255 | 2147483647 79637 228 | 0.000 % |
70.71/70.83 c | 80430 | 17539 75129 228255 | 2147483647 80430 228 | 0.000 % |
71.61/71.74 c | 81303 | 17539 75129 228255 | 2147483647 81303 228 | 0.000 % |
72.72/72.80 c | 82261 | 17539 75129 228255 | 2147483647 82261 229 | 0.000 % |
72.82/72.92 c | 82363 | 17539 75129 228255 | 2147483647 82363 229 | 0.000 % |
72.92/73.04 c | 82473 | 17539 75129 228255 | 2147483647 82473 229 | 0.000 % |
73.02/73.19 c | 82594 | 17539 75129 228255 | 2147483647 82594 229 | 0.000 % |
73.22/73.35 c | 82727 | 17539 75129 228255 | 2147483647 82727 228 | 0.000 % |
73.42/73.52 c | 82876 | 17539 75129 228255 | 2147483647 82876 228 | 0.000 % |
73.62/73.71 c | 83037 | 17539 75129 228255 | 2147483647 83037 228 | 0.000 % |
73.82/73.96 c | 83213 | 17539 75129 228255 | 2147483647 83213 228 | 0.000 % |
74.02/74.18 c | 83406 | 17539 75129 228255 | 2147483647 83406 228 | 0.000 % |
74.32/74.42 c | 83618 | 17539 75129 228255 | 2147483647 83618 228 | 0.000 % |
74.52/74.67 c | 83851 | 17539 75129 228255 | 2147483647 83851 228 | 0.000 % |
74.82/75.00 c | 84109 | 17539 75129 228255 | 2147483647 84109 228 | 0.000 % |
75.21/75.32 c | 84392 | 17539 75129 228255 | 2147483647 84392 228 | 0.000 % |
75.51/75.68 c | 84704 | 17539 75129 228255 | 2147483647 84704 228 | 0.000 % |
75.91/76.08 c | 85044 | 17539 75129 228255 | 2147483647 85044 229 | 0.000 % |
76.41/76.53 c | 85417 | 17539 75129 228255 | 2147483647 85417 229 | 0.000 % |
76.81/76.98 c | 85827 | 17539 75129 228255 | 2147483647 85827 229 | 0.000 % |
77.41/77.50 c | 86277 | 17539 75129 228255 | 2147483647 86277 229 | 0.000 % |
77.91/78.07 c | 86771 | 17539 75129 228255 | 2147483647 86771 229 | 0.000 % |
78.51/78.70 c | 87313 | 17539 75129 228255 | 2147483647 87313 229 | 0.000 % |
79.21/79.36 c | 87909 | 17539 75129 228255 | 2147483647 87909 229 | 0.000 % |
79.91/80.08 c | 88565 | 17539 75129 228255 | 2147483647 88565 229 | 0.000 % |
80.71/80.86 c | 89285 | 17539 75129 228255 | 2147483647 89285 229 | 0.000 % |
81.61/81.73 c | 90077 | 17539 75129 228255 | 2147483647 90077 229 | 0.000 % |
82.61/82.71 c | 90951 | 17539 75129 228255 | 2147483647 90951 229 | 0.000 % |
83.71/83.80 c | 91912 | 17539 75129 228255 | 2147483647 91912 229 | 0.000 % |
84.81/84.98 c | 92966 | 17539 75129 228255 | 2147483647 92966 230 | 0.000 % |
85.01/85.11 c | 93066 | 17539 75129 228255 | 2147483647 93066 230 | 0.000 % |
85.11/85.26 c | 93176 | 17539 75129 228255 | 2147483647 93176 230 | 0.000 % |
85.31/85.42 c | 93298 | 17539 75129 228255 | 2147483647 93298 230 | 0.000 % |
85.51/85.60 c | 93433 | 17539 75129 228255 | 2147483647 93433 230 | 0.000 % |
85.61/85.79 c | 93579 | 17539 75129 228255 | 2147483647 93579 230 | 0.000 % |
85.91/86.02 c | 93739 | 17539 75129 228255 | 2147483647 93739 230 | 0.000 % |
86.10/86.26 c | 93915 | 17539 75129 228255 | 2147483647 93915 230 | 0.000 % |
86.40/86.51 c | 94108 | 17539 75129 228255 | 2147483647 94108 230 | 0.000 % |
86.60/86.77 c | 94321 | 17539 75129 228255 | 2147483647 94321 230 | 0.000 % |
86.91/87.07 c | 94554 | 17539 75129 228255 | 2147483647 94554 230 | 0.000 % |
87.21/87.39 c | 94811 | 17539 75129 228255 | 2147483647 94811 230 | 0.000 % |
87.61/87.71 c | 95092 | 17539 75129 228255 | 2147483647 95092 230 | 0.000 % |
87.91/88.08 c | 95403 | 17539 75129 228255 | 2147483647 95403 230 | 0.000 % |
88.31/88.47 c | 95744 | 17539 75129 228255 | 2147483647 95744 230 | 0.000 % |
88.81/88.94 c | 96116 | 17539 75129 228255 | 2147483647 96116 230 | 0.000 % |
89.31/89.43 c | 96526 | 17539 75129 228255 | 2147483647 96526 230 | 0.000 % |
89.80/89.97 c | 96975 | 17539 75129 228255 | 2147483647 96975 230 | 0.000 % |
90.40/90.56 c | 97469 | 17539 75129 228255 | 2147483647 97469 230 | 0.000 % |
91.10/91.24 c | 98011 | 17539 75129 228255 | 2147483647 98011 230 | 0.000 % |
91.80/91.95 c | 98608 | 17539 75129 228255 | 2147483647 98608 230 | 0.000 % |
92.61/92.76 c | 99263 | 17539 75129 228255 | 2147483647 99263 230 | 0.000 % |
93.51/93.61 c | 99983 | 17539 75129 228255 | 2147483647 99983 230 | 0.000 % |
94.41/94.57 c | 100775 | 17539 75129 228255 | 2147483647 100775 230 | 0.000 % |
95.41/95.57 c | 101647 | 17539 75129 228255 | 2147483647 101647 231 | 0.000 % |
96.50/96.69 c | 102605 | 17539 75129 228255 | 2147483647 102605 231 | 0.000 % |
97.81/97.99 c | 103659 | 17539 75129 228255 | 2147483647 103659 231 | 0.000 % |
99.20/99.31 c | 104818 | 17539 75129 228255 | 2147483647 104818 231 | 0.000 % |
99.30/99.46 c | 104918 | 17539 75129 228255 | 2147483647 104918 231 | 0.000 % |
99.50/99.61 c | 105029 | 17539 75129 228255 | 2147483647 105029 231 | 0.000 % |
99.70/99.80 c | 105150 | 17539 75129 228255 | 2147483647 105150 231 | 0.000 % |
99.80/99.99 c | 105284 | 17539 75129 228255 | 2147483647 105284 231 | 0.000 % |
100.10/100.20 c | 105430 | 17539 75129 228255 | 2147483647 105430 231 | 0.000 % |
100.30/100.42 c | 105590 | 17539 75129 228255 | 2147483647 105590 231 | 0.000 % |
100.50/100.67 c | 105769 | 17539 75129 228255 | 2147483647 105769 231 | 0.000 % |
100.80/100.93 c | 105963 | 17539 75129 228255 | 2147483647 105963 231 | 0.000 % |
101.11/101.21 c | 106175 | 17539 75129 228255 | 2147483647 106175 231 | 0.000 % |
101.40/101.52 c | 106408 | 17539 75129 228255 | 2147483647 106408 231 | 0.000 % |
101.70/101.86 c | 106666 | 17539 75129 228255 | 2147483647 106666 231 | 0.000 % |
102.10/102.21 c | 106947 | 17539 75129 228255 | 2147483647 106947 231 | 0.000 % |
102.50/102.67 c | 107256 | 17539 75129 228255 | 2147483647 107256 231 | 0.000 % |
102.90/103.09 c | 107595 | 17539 75129 228255 | 2147483647 107595 231 | 0.000 % |
103.40/103.56 c | 107968 | 17539 75129 228255 | 2147483647 107968 231 | 0.000 % |
104.00/104.11 c | 108381 | 17539 75129 228255 | 2147483647 108381 231 | 0.000 % |
104.61/104.73 c | 108831 | 17539 75129 228255 | 2147483647 108831 231 | 0.000 % |
105.20/105.37 c | 109324 | 17539 75129 228255 | 2147483647 109324 231 | 0.000 % |
105.90/106.05 c | 109868 | 17539 75129 228255 | 2147483647 109868 232 | 0.000 % |
106.70/106.83 c | 110466 | 17539 75129 228255 | 2147483647 110466 232 | 0.000 % |
107.50/107.66 c | 111122 | 17539 75129 228255 | 2147483647 111122 232 | 0.000 % |
108.40/108.57 c | 111842 | 17539 75129 228255 | 2147483647 111842 232 | 0.000 % |
109.40/109.55 c | 112634 | 17539 75129 228255 | 2147483647 112634 232 | 0.000 % |
110.59/110.71 c | 113506 | 17539 75129 228255 | 2147483647 113506 232 | 0.000 % |
111.80/111.93 c | 114464 | 17539 75129 228255 | 2147483647 114464 233 | 0.000 % |
113.10/113.29 c | 115518 | 17539 75129 228255 | 2147483647 115518 233 | 0.000 % |
114.59/114.77 c | 116678 | 17539 75129 228255 | 2147483647 116678 234 | 0.000 % |
116.20/116.37 c | 117951 | 17539 75129 228255 | 2147483647 117951 234 | 0.000 % |
116.40/116.53 c | 118051 | 17539 75129 228255 | 2147483647 118051 234 | 0.000 % |
116.60/116.72 c | 118163 | 17539 75129 228255 | 2147483647 118163 234 | 0.000 % |
116.79/116.91 c | 118284 | 17539 75129 228255 | 2147483647 118284 234 | 0.000 % |
116.99/117.10 c | 118420 | 17539 75129 228255 | 2147483647 118420 234 | 0.000 % |
117.19/117.31 c | 118567 | 17539 75129 228255 | 2147483647 118567 234 | 0.000 % |
117.39/117.55 c | 118727 | 17539 75129 228255 | 2147483647 118727 234 | 0.000 % |
117.60/117.78 c | 118904 | 17539 75129 228255 | 2147483647 118904 234 | 0.000 % |
117.90/118.05 c | 119099 | 17539 75129 228255 | 2147483647 119099 234 | 0.000 % |
118.20/118.37 c | 119311 | 17539 75129 228255 | 2147483647 119311 234 | 0.000 % |
118.50/118.69 c | 119544 | 17539 75129 228255 | 2147483647 119544 234 | 0.000 % |
118.90/119.05 c | 119800 | 17539 75129 228255 | 2147483647 119800 234 | 0.000 % |
119.30/119.46 c | 120081 | 17539 75129 228255 | 2147483647 120081 234 | 0.000 % |
119.70/119.87 c | 120393 | 17539 75129 228255 | 2147483647 120393 234 | 0.000 % |
120.19/120.30 c | 120732 | 17539 75129 228255 | 2147483647 120732 234 | 0.000 % |
120.69/120.82 c | 121104 | 17539 75129 228255 | 2147483647 121104 234 | 0.000 % |
121.19/121.34 c | 121513 | 17539 75129 228255 | 2147483647 121513 234 | 0.000 % |
121.79/121.96 c | 121964 | 17539 75129 228255 | 2147483647 121964 234 | 0.000 % |
122.39/122.59 c | 122457 | 17539 75129 228255 | 2147483647 122457 234 | 0.000 % |
123.19/123.32 c | 122999 | 17539 75129 228255 | 2147483647 122999 234 | 0.000 % |
123.99/124.14 c | 123596 | 17539 75129 228255 | 2147483647 123596 234 | 0.000 % |
124.79/124.99 c | 124251 | 17539 75129 228255 | 2147483647 124251 234 | 0.000 % |
125.69/125.88 c | 124971 | 17539 75129 228255 | 2147483647 124971 234 | 0.000 % |
126.79/126.94 c | 125764 | 17539 75129 228255 | 2147483647 125764 235 | 0.000 % |
127.89/128.06 c | 126637 | 17539 75129 228255 | 2147483647 126637 235 | 0.000 % |
129.09/129.28 c | 127596 | 17539 75129 228255 | 2147483647 127596 235 | 0.000 % |
130.59/130.74 c | 128649 | 17539 75129 228255 | 2147483647 128649 235 | 0.000 % |
132.19/132.31 c | 129807 | 17539 75129 228255 | 2147483647 129807 236 | 0.000 % |
133.89/134.02 c | 131080 | 17539 75129 228255 | 2147483647 131080 237 | 0.000 % |
135.78/135.96 c | 132481 | 17539 75129 228255 | 2147483647 132481 237 | 0.000 % |
135.98/136.13 c | 132581 | 17539 75129 228255 | 2147483647 132581 237 | 0.000 % |
136.18/136.34 c | 132692 | 17539 75129 228255 | 2147483647 132692 237 | 0.000 % |
136.39/136.54 c | 132814 | 17539 75129 228255 | 2147483647 132814 237 | 0.000 % |
136.58/136.74 c | 132948 | 17539 75129 228255 | 2147483647 132948 237 | 0.000 % |
136.79/136.97 c | 133094 | 17539 75129 228255 | 2147483647 133094 237 | 0.000 % |
137.09/137.26 c | 133254 | 17539 75129 228255 | 2147483647 133254 237 | 0.000 % |
137.39/137.52 c | 133431 | 17539 75129 228255 | 2147483647 133431 237 | 0.000 % |
137.69/137.81 c | 133628 | 17539 75129 228255 | 2147483647 133628 237 | 0.000 % |
137.99/138.11 c | 133840 | 17539 75129 228255 | 2147483647 133840 237 | 0.000 % |
138.29/138.47 c | 134074 | 17539 75129 228255 | 2147483647 134074 237 | 0.000 % |
138.79/138.90 c | 134330 | 17539 75129 228255 | 2147483647 134330 237 | 0.000 % |
139.09/139.30 c | 134613 | 17539 75129 228255 | 2147483647 134613 237 | 0.000 % |
139.59/139.72 c | 134923 | 17539 75129 228255 | 2147483647 134923 237 | 0.000 % |
140.08/140.22 c | 135262 | 17539 75129 228255 | 2147483647 135262 237 | 0.000 % |
140.58/140.77 c | 135634 | 17539 75129 228255 | 2147483647 135634 237 | 0.000 % |
141.18/141.32 c | 136043 | 17539 75129 228255 | 2147483647 136043 237 | 0.000 % |
141.79/141.99 c | 136493 | 17539 75129 228255 | 2147483647 136493 237 | 0.000 % |
142.59/142.73 c | 136987 | 17539 75129 228255 | 2147483647 136987 237 | 0.000 % |
143.29/143.47 c | 137530 | 17539 75129 228255 | 2147483647 137530 237 | 0.000 % |
144.18/144.32 c | 138126 | 17539 75129 228255 | 2147483647 138126 237 | 0.000 % |
145.09/145.21 c | 138782 | 17539 75129 228255 | 2147483647 138782 237 | 0.000 % |
146.09/146.23 c | 139502 | 17539 75129 228255 | 2147483647 139502 237 | 0.000 % |
147.19/147.35 c | 140294 | 17539 75129 228255 | 2147483647 140294 237 | 0.000 % |
148.38/148.57 c | 141168 | 17539 75129 228255 | 2147483647 141168 237 | 0.000 % |
149.79/149.91 c | 142127 | 17539 75129 228255 | 2147483647 142127 237 | 0.000 % |
151.18/151.31 c | 143180 | 17539 75129 228255 | 2147483647 143180 238 | 0.000 % |
152.89/153.02 c | 144338 | 17539 75129 228255 | 2147483647 144338 238 | 0.000 % |
154.68/154.86 c | 145611 | 17539 75129 228255 | 2147483647 145611 239 | 0.000 % |
156.59/156.74 c | 147011 | 17539 75129 228255 | 2147483647 147011 240 | 0.000 % |
158.78/158.97 c | 148552 | 17539 75129 228255 | 2147483647 148552 240 | 0.000 % |
158.98/159.16 c | 148654 | 17539 75129 228255 | 2147483647 148654 240 | 0.000 % |
159.18/159.35 c | 148764 | 17539 75129 228255 | 2147483647 148764 240 | 0.000 % |
159.38/159.56 c | 148885 | 17539 75129 228255 | 2147483647 148885 240 | 0.000 % |
159.58/159.77 c | 149018 | 17539 75129 228255 | 2147483647 149018 240 | 0.000 % |
159.88/160.04 c | 149166 | 17539 75129 228255 | 2147483647 149166 240 | 0.000 % |
160.08/160.27 c | 149326 | 17539 75129 228255 | 2147483647 149326 240 | 0.000 % |
160.39/160.52 c | 149502 | 17539 75129 228255 | 2147483647 149502 240 | 0.000 % |
160.69/160.86 c | 149696 | 17539 75129 228255 | 2147483647 149696 240 | 0.000 % |
160.98/161.19 c | 149908 | 17539 75129 228255 | 2147483647 149908 240 | 0.000 % |
161.38/161.57 c | 150146 | 17539 75129 228255 | 2147483647 150146 239 | 0.000 % |
161.78/161.98 c | 150405 | 17539 75129 228255 | 2147483647 150405 239 | 0.000 % |
162.18/162.38 c | 150688 | 17539 75129 228255 | 2147483647 150688 240 | 0.000 % |
162.69/162.85 c | 150999 | 17539 75129 228255 | 2147483647 150999 240 | 0.000 % |
163.18/163.38 c | 151341 | 17539 75129 228255 | 2147483647 151341 240 | 0.000 % |
163.78/163.94 c | 151717 | 17539 75129 228255 | 2147483647 151717 240 | 0.000 % |
164.38/164.56 c | 152126 | 17539 75129 228255 | 2147483647 152126 240 | 0.000 % |
165.08/165.26 c | 152575 | 17539 75129 228255 | 2147483647 152575 240 | 0.000 % |
165.88/166.03 c | 153068 | 17539 75129 228255 | 2147483647 153068 240 | 0.000 % |
166.68/166.86 c | 153610 | 17539 75129 228255 | 2147483647 153610 240 | 0.000 % |
167.58/167.77 c | 154207 | 17539 75129 228255 | 2147483647 154207 241 | 0.000 % |
168.58/168.71 c | 154863 | 17539 75129 228255 | 2147483647 154863 241 | 0.000 % |
169.67/169.80 c | 155583 | 17539 75129 228255 | 2147483647 155583 241 | 0.000 % |
170.77/170.99 c | 156375 | 17539 75129 228255 | 2147483647 156375 241 | 0.000 % |
172.08/172.27 c | 157246 | 17539 75129 228255 | 2147483647 157246 241 | 0.000 % |
173.47/173.63 c | 158204 | 17539 75129 228255 | 2147483647 158204 241 | 0.000 % |
175.08/175.27 c | 159257 | 17539 75129 228255 | 2147483647 159257 242 | 0.000 % |
176.67/176.85 c | 160416 | 17539 75129 228255 | 2147483647 160416 242 | 0.000 % |
178.58/178.77 c | 161690 | 17539 75129 228255 | 2147483647 161690 242 | 0.000 % |
180.57/180.79 c | 163090 | 17539 75129 228255 | 2147483647 163090 243 | 0.000 % |
182.88/183.08 c | 164630 | 17539 75129 228255 | 2147483647 164630 243 | 0.000 % |
185.37/185.53 c | 166324 | 17539 75129 228255 | 2147483647 166324 244 | 0.000 % |
185.57/185.72 c | 166424 | 17539 75129 228255 | 2147483647 166424 244 | 0.000 % |
185.77/185.91 c | 166535 | 17539 75129 228255 | 2147483647 166535 244 | 0.000 % |
185.97/186.16 c | 166657 | 17539 75129 228255 | 2147483647 166657 244 | 0.000 % |
186.27/186.43 c | 166790 | 17539 75129 228255 | 2147483647 166790 243 | 0.000 % |
186.47/186.68 c | 166936 | 17539 75129 228255 | 2147483647 166936 244 | 0.000 % |
186.77/186.96 c | 167096 | 17539 75129 228255 | 2147483647 167096 243 | 0.000 % |
187.17/187.31 c | 167272 | 17539 75129 228255 | 2147483647 167272 243 | 0.000 % |
187.47/187.67 c | 167466 | 17539 75129 228255 | 2147483647 167466 243 | 0.000 % |
187.87/188.07 c | 167680 | 17539 75129 228255 | 2147483647 167680 243 | 0.000 % |
188.27/188.44 c | 167913 | 17539 75129 228255 | 2147483647 167913 243 | 0.000 % |
188.77/188.91 c | 168169 | 17539 75129 228255 | 2147483647 168169 243 | 0.000 % |
189.17/189.32 c | 168450 | 17539 75129 228255 | 2147483647 168450 243 | 0.000 % |
189.67/189.83 c | 168759 | 17539 75129 228255 | 2147483647 168759 243 | 0.000 % |
190.18/190.33 c | 169100 | 17539 75129 228255 | 2147483647 169100 243 | 0.000 % |
190.77/190.91 c | 169473 | 17539 75129 228255 | 2147483647 169473 243 | 0.000 % |
191.47/191.63 c | 169885 | 17539 75129 228255 | 2147483647 169885 243 | 0.000 % |
192.17/192.35 c | 170334 | 17539 75129 228255 | 2147483647 170334 243 | 0.000 % |
192.97/193.15 c | 170827 | 17539 75129 228255 | 2147483647 170827 244 | 0.000 % |
193.87/194.01 c | 171369 | 17539 75129 228255 | 2147483647 171369 244 | 0.000 % |
194.77/194.95 c | 171965 | 17539 75129 228255 | 2147483647 171965 244 | 0.000 % |
195.77/195.97 c | 172620 | 17539 75129 228255 | 2147483647 172620 244 | 0.000 % |
196.87/197.08 c | 173340 | 17539 75129 228255 | 2147483647 173340 244 | 0.000 % |
198.07/198.27 c | 174133 | 17539 75129 228255 | 2147483647 174133 244 | 0.000 % |
199.36/199.55 c | 175005 | 17539 75129 228255 | 2147483647 175005 244 | 0.000 % |
200.96/201.19 c | 175966 | 17539 75129 228255 | 2147483647 175966 244 | 0.000 % |
202.56/202.79 c | 177020 | 17539 75129 228255 | 2147483647 177020 245 | 0.000 % |
204.47/204.64 c | 178179 | 17539 75129 228255 | 2147483647 178179 245 | 0.000 % |
206.36/206.58 c | 179453 | 17539 75129 228255 | 2147483647 179453 246 | 0.000 % |
208.76/208.90 c | 180853 | 17539 75129 228255 | 2147483647 180853 246 | 0.000 % |
211.07/211.30 c | 182393 | 17539 75129 228255 | 2147483647 182393 246 | 0.000 % |
213.76/213.98 c | 184087 | 17539 75129 228255 | 2147483647 184087 246 | 0.000 % |
216.66/216.88 c | 185950 | 17539 75129 228255 | 2147483647 185950 247 | 0.000 % |
216.86/217.08 c | 186050 | 17539 75129 228255 | 2147483647 186050 246 | 0.000 % |
217.16/217.32 c | 186160 | 17539 75129 228255 | 2147483647 186160 246 | 0.000 % |
217.36/217.58 c | 186281 | 17539 75129 228255 | 2147483647 186281 246 | 0.000 % |
217.66/217.83 c | 186414 | 17539 75129 228255 | 2147483647 186414 246 | 0.000 % |
217.96/218.11 c | 186562 | 17539 75129 228255 | 2147483647 186562 246 | 0.000 % |
218.26/218.45 c | 186724 | 17539 75129 228255 | 2147483647 186724 246 | 0.000 % |
218.56/218.76 c | 186901 | 17539 75129 228255 | 2147483647 186901 246 | 0.000 % |
218.96/219.14 c | 187096 | 17539 75129 228255 | 2147483647 187096 246 | 0.000 % |
219.36/219.56 c | 187308 | 17539 75129 228255 | 2147483647 187308 246 | 0.000 % |
219.76/220.00 c | 187542 | 17539 75129 228255 | 2147483647 187542 246 | 0.000 % |
220.25/220.50 c | 187798 | 17539 75129 228255 | 2147483647 187798 246 | 0.000 % |
220.85/221.02 c | 188082 | 17539 75129 228255 | 2147483647 188082 246 | 0.000 % |
221.45/221.60 c | 188394 | 17539 75129 228255 | 2147483647 188394 246 | 0.000 % |
221.95/222.19 c | 188733 | 17539 75129 228255 | 2147483647 188733 246 | 0.000 % |
222.65/222.87 c | 189105 | 17539 75129 228255 | 2147483647 189105 246 | 0.000 % |
223.35/223.59 c | 189514 | 17539 75129 228255 | 2147483647 189514 246 | 0.000 % |
224.15/224.34 c | 189967 | 17539 75129 228255 | 2147483647 189967 246 | 0.000 % |
224.95/225.12 c | 190460 | 17539 75129 228255 | 2147483647 190460 246 | 0.000 % |
225.85/226.04 c | 191003 | 17539 75129 228255 | 2147483647 191003 246 | 0.000 % |
226.85/227.09 c | 191602 | 17539 75129 228255 | 2147483647 191602 246 | 0.000 % |
228.05/228.22 c | 192257 | 17539 75129 228255 | 2147483647 192257 246 | 0.000 % |
229.25/229.45 c | 192977 | 17539 75129 228255 | 2147483647 192977 247 | 0.000 % |
230.54/230.79 c | 193771 | 17539 75129 228255 | 2147483647 193771 247 | 0.000 % |
231.96/232.16 c | 194642 | 17539 75129 228255 | 2147483647 194642 247 | 0.000 % |
233.65/233.84 c | 195601 | 17539 75129 228255 | 2147483647 195601 247 | 0.000 % |
235.45/235.67 c | 196654 | 17539 75129 228255 | 2147483647 196654 247 | 0.000 % |
237.34/237.59 c | 197813 | 17539 75129 228255 | 2147483647 197813 247 | 0.000 % |
239.45/239.67 c | 199086 | 17539 75129 228255 | 2147483647 199086 248 | 0.000 % |
241.85/242.09 c | 200487 | 17539 75129 228255 | 2147483647 200487 248 | 0.000 % |
244.64/244.83 c | 202027 | 17539 75129 228255 | 2147483647 202027 248 | 0.000 % |
247.54/247.70 c | 203721 | 17539 75129 228255 | 2147483647 203721 249 | 0.000 % |
250.74/250.99 c | 205584 | 17539 75129 228255 | 2147483647 205584 250 | 0.000 % |
254.05/254.22 c | 207635 | 17539 75129 228255 | 2147483647 207635 250 | 0.000 % |
254.25/254.46 c | 207735 | 17539 75129 228255 | 2147483647 207735 250 | 0.000 % |
254.45/254.70 c | 207845 | 17539 75129 228255 | 2147483647 207845 250 | 0.000 % |
254.75/254.95 c | 207968 | 17539 75129 228255 | 2147483647 207968 250 | 0.000 % |
255.05/255.26 c | 208102 | 17539 75129 228255 | 2147483647 208102 250 | 0.000 % |
255.34/255.59 c | 208250 | 17539 75129 228255 | 2147483647 208250 250 | 0.000 % |
255.64/255.88 c | 208412 | 17539 75129 228255 | 2147483647 208412 250 | 0.000 % |
256.04/256.27 c | 208591 | 17539 75129 228255 | 2147483647 208591 250 | 0.000 % |
256.44/256.67 c | 208784 | 17539 75129 228255 | 2147483647 208784 250 | 0.000 % |
256.84/257.08 c | 208996 | 17539 75129 228255 | 2147483647 208996 250 | 0.000 % |
257.35/257.55 c | 209232 | 17539 75129 228255 | 2147483647 209232 250 | 0.000 % |
257.84/258.07 c | 209488 | 17539 75129 228255 | 2147483647 209488 250 | 0.000 % |
258.34/258.59 c | 209770 | 17539 75129 228255 | 2147483647 209770 250 | 0.000 % |
258.84/259.08 c | 210079 | 17539 75129 228255 | 2147483647 210079 250 | 0.000 % |
259.54/259.73 c | 210419 | 17539 75129 228255 | 2147483647 210419 250 | 0.000 % |
260.24/260.42 c | 210794 | 17539 75129 228255 | 2147483647 210794 250 | 0.000 % |
260.94/261.17 c | 211203 | 17539 75129 228255 | 2147483647 211203 250 | 0.000 % |
261.75/261.98 c | 211654 | 17539 75129 228255 | 2147483647 211654 250 | 0.000 % |
262.64/262.88 c | 212148 | 17539 75129 228255 | 2147483647 212148 250 | 0.000 % |
263.64/263.85 c | 212690 | 17539 75129 228255 | 2147483647 212690 250 | 0.000 % |
264.74/264.93 c | 213286 | 17539 75129 228255 | 2147483647 213286 250 | 0.000 % |
265.94/266.18 c | 213941 | 17539 75129 228255 | 2147483647 213941 250 | 0.000 % |
267.33/267.54 c | 214662 | 17539 75129 228255 | 2147483647 214662 250 | 0.000 % |
268.64/268.80 c | 215454 | 17539 75129 228255 | 2147483647 215454 251 | 0.000 % |
270.14/270.36 c | 216325 | 17539 75129 228255 | 2147483647 216325 251 | 0.000 % |
271.93/272.16 c | 217285 | 17539 75129 228255 | 2147483647 217285 251 | 0.000 % |
273.83/274.03 c | 218341 | 17539 75129 228255 | 2147483647 218341 251 | 0.000 % |
275.94/276.12 c | 219500 | 17539 75129 228255 | 2147483647 219500 251 | 0.000 % |
278.13/278.39 c | 220773 | 17539 75129 228255 | 2147483647 220773 251 | 0.000 % |
280.63/280.82 c | 222176 | 17539 75129 228255 | 2147483647 222176 252 | 0.000 % |
283.33/283.56 c | 223716 | 17539 75129 228255 | 2147483647 223716 252 | 0.000 % |
286.32/286.56 c | 225413 | 17539 75129 228255 | 2147483647 225413 252 | 0.000 % |
289.93/290.12 c | 227276 | 17539 75129 228255 | 2147483647 227276 252 | 0.000 % |
293.63/293.88 c | 229325 | 17539 75129 228255 | 2147483647 229325 252 | 0.000 % |
297.53/297.76 c | 231580 | 17539 75129 228255 | 2147483647 231580 254 | 0.000 % |
297.83/298.02 c | 231682 | 17539 75129 228255 | 2147483647 231682 253 | 0.000 % |
298.03/298.24 c | 231793 | 17539 75129 228255 | 2147483647 231793 253 | 0.000 % |
298.23/298.48 c | 231914 | 17539 75129 228255 | 2147483647 231914 253 | 0.000 % |
298.53/298.79 c | 232047 | 17539 75129 228255 | 2147483647 232047 253 | 0.000 % |
298.93/299.16 c | 232195 | 17539 75129 228255 | 2147483647 232195 253 | 0.000 % |
299.33/299.54 c | 232356 | 17539 75129 228255 | 2147483647 232356 253 | 0.000 % |
299.63/299.89 c | 232532 | 17539 75129 228255 | 2147483647 232532 253 | 0.000 % |
300.13/300.31 c | 232726 | 17539 75129 228255 | 2147483647 232726 253 | 0.000 % |
300.53/300.73 c | 232938 | 17539 75129 228255 | 2147483647 232938 253 | 0.000 % |
301.02/301.20 c | 233172 | 17539 75129 228255 | 2147483647 233172 253 | 0.000 % |
301.52/301.70 c | 233428 | 17539 75129 228255 | 2147483647 233428 253 | 0.000 % |
302.02/302.28 c | 233709 | 17539 75129 228255 | 2147483647 233709 253 | 0.000 % |
302.72/302.90 c | 234018 | 17539 75129 228255 | 2147483647 234018 253 | 0.000 % |
303.33/303.59 c | 234357 | 17539 75129 228255 | 2147483647 234357 253 | 0.000 % |
304.13/304.39 c | 234729 | 17539 75129 228255 | 2147483647 234729 253 | 0.000 % |
304.93/305.17 c | 235139 | 17539 75129 228255 | 2147483647 235139 253 | 0.000 % |
305.83/306.03 c | 235588 | 17539 75129 228255 | 2147483647 235588 253 | 0.000 % |
306.83/307.02 c | 236081 | 17539 75129 228255 | 2147483647 236081 253 | 0.000 % |
307.93/308.12 c | 236624 | 17539 75129 228255 | 2147483647 236624 253 | 0.000 % |
309.02/309.24 c | 237221 | 17539 75129 228255 | 2147483647 237221 253 | 0.000 % |
310.22/310.50 c | 237876 | 17539 75129 228255 | 2147483647 237876 253 | 0.000 % |
311.62/311.87 c | 238597 | 17539 75129 228255 | 2147483647 238597 253 | 0.000 % |
313.12/313.39 c | 239389 | 17539 75129 228255 | 2147483647 239389 253 | 0.000 % |
314.72/314.94 c | 240260 | 17539 75129 228255 | 2147483647 240260 253 | 0.000 % |
316.52/316.79 c | 241218 | 17539 75129 228255 | 2147483647 241218 253 | 0.000 % |
318.42/318.64 c | 242273 | 17539 75129 228255 | 2147483647 242273 254 | 0.000 % |
320.52/320.74 c | 243431 | 17539 75129 228255 | 2147483647 243431 254 | 0.000 % |
322.82/323.07 c | 244706 | 17539 75129 228255 | 2147483647 244706 254 | 0.000 % |
325.52/325.73 c | 246107 | 17539 75129 228255 | 2147483647 246107 254 | 0.000 % |
328.42/328.68 c | 247647 | 17539 75129 228255 | 2147483647 247647 254 | 0.000 % |
331.81/332.03 c | 249343 | 17539 75129 228255 | 2147483647 249343 254 | 0.000 % |
335.31/335.53 c | 251206 | 17539 75129 228255 | 2147483647 251206 255 | 0.000 % |
339.21/339.49 c | 253255 | 17539 75129 228255 | 2147483647 253255 255 | 0.000 % |
343.51/343.72 c | 255508 | 17539 75129 228255 | 2147483647 255508 255 | 0.000 % |
348.21/348.44 c | 257986 | 17539 75129 228255 | 2147483647 257986 256 | 0.000 % |
348.41/348.68 c | 258088 | 17539 75129 228255 | 2147483647 258088 256 | 0.000 % |
348.71/348.97 c | 258201 | 17539 75129 228255 | 2147483647 258201 256 | 0.000 % |
349.01/349.24 c | 258324 | 17539 75129 228255 | 2147483647 258324 256 | 0.000 % |
349.31/349.54 c | 258458 | 17539 75129 228255 | 2147483647 258458 256 | 0.000 % |
349.62/349.86 c | 258605 | 17539 75129 228255 | 2147483647 258605 256 | 0.000 % |
350.01/350.24 c | 258768 | 17539 75129 228255 | 2147483647 258768 256 | 0.000 % |
350.41/350.67 c | 258945 | 17539 75129 228255 | 2147483647 258945 256 | 0.000 % |
350.91/351.11 c | 259139 | 17539 75129 228255 | 2147483647 259139 256 | 0.000 % |
351.41/351.64 c | 259352 | 17539 75129 228255 | 2147483647 259352 256 | 0.000 % |
351.91/352.15 c | 259585 | 17539 75129 228255 | 2147483647 259585 255 | 0.000 % |
352.51/352.75 c | 259842 | 17539 75129 228255 | 2147483647 259842 255 | 0.000 % |
353.20/353.40 c | 260125 | 17539 75129 228255 | 2147483647 260125 255 | 0.000 % |
353.81/354.06 c | 260434 | 17539 75129 228255 | 2147483647 260434 255 | 0.000 % |
354.51/354.78 c | 260773 | 17539 75129 228255 | 2147483647 260773 255 | 0.000 % |
355.31/355.51 c | 261147 | 17539 75129 228255 | 2147483647 261147 255 | 0.000 % |
356.11/356.39 c | 261556 | 17539 75129 228255 | 2147483647 261556 255 | 0.000 % |
357.20/357.41 c | 262006 | 17539 75129 228255 | 2147483647 262006 255 | 0.000 % |
358.20/358.49 c | 262501 | 17539 75129 228255 | 2147483647 262501 255 | 0.000 % |
359.40/359.67 c | 263045 | 17539 75129 228255 | 2147483647 263045 255 | 0.000 % |
360.71/360.97 c | 263644 | 17539 75129 228255 | 2147483647 263644 255 | 0.000 % |
362.11/362.37 c | 264300 | 17539 75129 228255 | 2147483647 264300 255 | 0.000 % |
363.50/363.76 c | 265022 | 17539 75129 228255 | 2147483647 265022 256 | 0.000 % |
365.11/365.39 c | 265816 | 17539 75129 228255 | 2147483647 265816 256 | 0.000 % |
366.90/367.15 c | 266687 | 17539 75129 228255 | 2147483647 266687 256 | 0.000 % |
368.80/369.05 c | 267645 | 17539 75129 228255 | 2147483647 267645 256 | 0.000 % |
371.00/371.21 c | 268700 | 17539 75129 228255 | 2147483647 268700 256 | 0.000 % |
373.40/373.66 c | 269865 | 17539 75129 228255 | 2147483647 269865 256 | 0.000 % |
376.00/376.28 c | 271139 | 17539 75129 228255 | 2147483647 271139 256 | 0.000 % |
378.79/379.09 c | 272540 | 17539 75129 228255 | 2147483647 272540 256 | 0.000 % |
382.10/382.36 c | 274080 | 17539 75129 228255 | 2147483647 274080 256 | 0.000 % |
385.50/385.72 c | 275774 | 17539 75129 228255 | 2147483647 275774 256 | 0.000 % |
389.20/389.50 c | 277637 | 17539 75129 228255 | 2147483647 277637 257 | 0.000 % |
393.49/393.72 c | 279686 | 17539 75129 228255 | 2147483647 279686 257 | 0.000 % |
397.79/398.04 c | 281939 | 17539 75129 228255 | 2147483647 281939 258 | 0.000 % |
402.79/403.00 c | 284418 | 17539 75129 228255 | 2147483647 284418 259 | 0.000 % |
408.19/408.46 c | 287143 | 17539 75129 228255 | 2147483647 287143 259 | 0.000 % |
408.49/408.72 c | 287243 | 17539 75129 228255 | 2147483647 287243 259 | 0.000 % |
408.79/409.02 c | 287355 | 17539 75129 228255 | 2147483647 287355 259 | 0.000 % |
409.09/409.34 c | 287478 | 17539 75129 228255 | 2147483647 287478 259 | 0.000 % |
409.49/409.72 c | 287611 | 17539 75129 228255 | 2147483647 287611 259 | 0.000 % |
409.78/410.06 c | 287758 | 17539 75129 228255 | 2147483647 287758 259 | 0.000 % |
410.20/410.45 c | 287918 | 17539 75129 228255 | 2147483647 287918 259 | 0.000 % |
410.69/410.90 c | 288094 | 17539 75129 228255 | 2147483647 288094 259 | 0.000 % |
411.19/411.41 c | 288289 | 17539 75129 228255 | 2147483647 288289 259 | 0.000 % |
411.69/411.99 c | 288501 | 17539 75129 228255 | 2147483647 288501 259 | 0.000 % |
412.29/412.59 c | 288737 | 17539 75129 228255 | 2147483647 288737 259 | 0.000 % |
412.89/413.18 c | 288994 | 17539 75129 228255 | 2147483647 288994 259 | 0.000 % |
413.59/413.85 c | 289275 | 17539 75129 228255 | 2147483647 289275 259 | 0.000 % |
414.29/414.56 c | 289587 | 17539 75129 228255 | 2147483647 289587 259 | 0.000 % |
415.19/415.41 c | 289926 | 17539 75129 228255 | 2147483647 289926 259 | 0.000 % |
415.98/416.27 c | 290298 | 17539 75129 228255 | 2147483647 290298 259 | 0.000 % |
416.88/417.18 c | 290709 | 17539 75129 228255 | 2147483647 290709 259 | 0.000 % |
417.89/418.18 c | 291159 | 17539 75129 228255 | 2147483647 291159 259 | 0.000 % |
418.99/419.22 c | 291653 | 17539 75129 228255 | 2147483647 291653 259 | 0.000 % |
420.18/420.41 c | 292196 | 17539 75129 228255 | 2147483647 292196 259 | 0.000 % |
421.28/421.57 c | 292793 | 17539 75129 228255 | 2147483647 292793 259 | 0.000 % |
422.79/423.06 c | 293449 | 17539 75129 228255 | 2147483647 293449 259 | 0.000 % |
424.39/424.63 c | 294170 | 17539 75129 228255 | 2147483647 294170 259 | 0.000 % |
426.08/426.36 c | 294963 | 17539 75129 228255 | 2147483647 294963 259 | 0.000 % |
427.98/428.27 c | 295839 | 17539 75129 228255 | 2147483647 295839 259 | 0.000 % |
430.18/430.44 c | 296798 | 17539 75129 228255 | 2147483647 296798 259 | 0.000 % |
432.58/432.83 c | 297851 | 17539 75129 228255 | 2147483647 297851 259 | 0.000 % |
435.08/435.36 c | 299009 | 17539 75129 228255 | 2147483647 299009 259 | 0.000 % |
437.88/438.17 c | 300282 | 17539 75129 228255 | 2147483647 300282 259 | 0.000 % |
440.88/441.17 c | 301683 | 17539 75129 228255 | 2147483647 301683 259 | 0.000 % |
444.18/444.41 c | 303223 | 17539 75129 228255 | 2147483647 303223 259 | 0.000 % |
447.87/448.18 c | 304920 | 17539 75129 228255 | 2147483647 304920 260 | 0.000 % |
451.88/452.11 c | 306783 | 17539 75129 228255 | 2147483647 306783 260 | 0.000 % |
456.27/456.52 c | 308832 | 17539 75129 228255 | 2147483647 308832 260 | 0.000 % |
461.37/461.60 c | 311085 | 17539 75129 228255 | 2147483647 311085 261 | 0.000 % |
466.87/467.10 c | 313563 | 17539 75129 228255 | 2147483647 313563 261 | 0.000 % |
472.77/473.03 c | 316288 | 17539 75129 228255 | 2147483647 316288 261 | 0.000 % |
478.97/479.28 c | 319285 | 17539 75129 228255 | 2147483647 319285 262 | 0.000 % |
479.27/479.58 c | 319385 | 17539 75129 228255 | 2147483647 319385 262 | 0.000 % |
479.56/479.89 c | 319496 | 17539 75129 228255 | 2147483647 319496 262 | 0.000 % |
479.96/480.28 c | 319617 | 17539 75129 228255 | 2147483647 319617 262 | 0.000 % |
480.37/480.62 c | 319750 | 17539 75129 228255 | 2147483647 319750 262 | 0.000 % |
480.77/481.02 c | 319896 | 17539 75129 228255 | 2147483647 319896 262 | 0.000 % |
481.16/481.41 c | 320056 | 17539 75129 228255 | 2147483647 320056 262 | 0.000 % |
481.58/481.89 c | 320233 | 17539 75129 228255 | 2147483647 320233 262 | 0.000 % |
482.07/482.39 c | 320426 | 17539 75129 228255 | 2147483647 320426 262 | 0.000 % |
482.67/482.94 c | 320638 | 17539 75129 228255 | 2147483647 320638 262 | 0.000 % |
483.27/483.57 c | 320874 | 17539 75129 228255 | 2147483647 320874 262 | 0.000 % |
483.97/484.25 c | 321132 | 17539 75129 228255 | 2147483647 321132 262 | 0.000 % |
484.67/484.99 c | 321413 | 17539 75129 228255 | 2147483647 321413 262 | 0.000 % |
485.47/485.78 c | 321722 | 17539 75129 228255 | 2147483647 321722 262 | 0.000 % |
486.37/486.63 c | 322061 | 17539 75129 228255 | 2147483647 322061 262 | 0.000 % |
487.27/487.53 c | 322433 | 17539 75129 228255 | 2147483647 322433 261 | 0.000 % |
488.27/488.56 c | 322842 | 17539 75129 228255 | 2147483647 322842 261 | 0.000 % |
489.37/489.68 c | 323291 | 17539 75129 228255 | 2147483647 323291 261 | 0.000 % |
490.67/490.91 c | 323784 | 17539 75129 228255 | 2147483647 323784 261 | 0.000 % |
491.97/492.24 c | 324331 | 17539 75129 228255 | 2147483647 324331 261 | 0.000 % |
493.36/493.65 c | 324928 | 17539 75129 228255 | 2147483647 324928 261 | 0.000 % |
495.16/495.40 c | 325583 | 17539 75129 228255 | 2147483647 325583 261 | 0.000 % |
496.96/497.20 c | 326305 | 17539 75129 228255 | 2147483647 326305 261 | 0.000 % |
498.66/498.96 c | 327097 | 17539 75129 228255 | 2147483647 327097 261 | 0.000 % |
500.66/500.97 c | 327969 | 17539 75129 228255 | 2147483647 327969 261 | 0.000 % |
502.96/503.26 c | 328930 | 17539 75129 228255 | 2147483647 328930 261 | 0.000 % |
505.46/505.78 c | 329985 | 17539 75129 228255 | 2147483647 329985 261 | 0.000 % |
508.06/508.39 c | 331143 | 17539 75129 228255 | 2147483647 331143 261 | 0.000 % |
511.06/511.39 c | 332417 | 17539 75129 228255 | 2147483647 332417 262 | 0.000 % |
514.56/514.88 c | 333818 | 17539 75129 228255 | 2147483647 333818 262 | 0.000 % |
518.25/518.56 c | 335359 | 17539 75129 228255 | 2147483647 335359 262 | 0.000 % |
522.26/522.51 c | 337054 | 17539 75129 228255 | 2147483647 337054 262 | 0.000 % |
526.76/527.05 c | 338917 | 17539 75129 228255 | 2147483647 338917 262 | 0.000 % |
531.46/531.71 c | 340967 | 17539 75129 228255 | 2147483647 340967 262 | 0.000 % |
536.56/536.89 c | 343221 | 17539 75129 228255 | 2147483647 343221 263 | 0.000 % |
542.05/542.34 c | 345702 | 17539 75129 228255 | 2147483647 345702 263 | 0.000 % |
548.34/548.62 c | 348429 | 17539 75129 228255 | 2147483647 348429 264 | 0.000 % |
555.25/555.58 c | 351426 | 17539 75129 228255 | 2147483647 351426 264 | 0.000 % |
563.24/563.58 c | 354723 | 17539 75129 228255 | 2147483647 354723 264 | 0.000 % |
563.64/563.91 c | 354823 | 17539 75129 228255 | 2147483647 354823 264 | 0.000 % |
563.94/564.24 c | 354934 | 17539 75129 228255 | 2147483647 354934 264 | 0.000 % |
564.24/564.53 c | 355055 | 17539 75129 228255 | 2147483647 355055 264 | 0.000 % |
564.64/564.97 c | 355190 | 17539 75129 228255 | 2147483647 355190 264 | 0.000 % |
565.04/565.39 c | 355337 | 17539 75129 228255 | 2147483647 355337 264 | 0.000 % |
565.54/565.86 c | 355497 | 17539 75129 228255 | 2147483647 355497 264 | 0.000 % |
566.04/566.38 c | 355674 | 17539 75129 228255 | 2147483647 355674 264 | 0.000 % |
566.64/566.96 c | 355867 | 17539 75129 228255 | 2147483647 355867 264 | 0.000 % |
567.24/567.53 c | 356080 | 17539 75129 228255 | 2147483647 356080 264 | 0.000 % |
567.94/568.22 c | 356313 | 17539 75129 228255 | 2147483647 356313 264 | 0.000 % |
568.64/568.94 c | 356570 | 17539 75129 228255 | 2147483647 356570 264 | 0.000 % |
569.44/569.79 c | 356854 | 17539 75129 228255 | 2147483647 356854 264 | 0.000 % |
570.44/570.70 c | 357165 | 17539 75129 228255 | 2147483647 357165 264 | 0.000 % |
571.25/571.59 c | 357505 | 17539 75129 228255 | 2147483647 357505 264 | 0.000 % |
572.35/572.66 c | 357877 | 17539 75129 228255 | 2147483647 357877 264 | 0.000 % |
573.54/573.82 c | 358286 | 17539 75129 228255 | 2147483647 358286 264 | 0.000 % |
574.64/574.99 c | 358738 | 17539 75129 228255 | 2147483647 358738 264 | 0.000 % |
575.94/576.28 c | 359231 | 17539 75129 228255 | 2147483647 359231 264 | 0.000 % |
577.34/577.68 c | 359773 | 17539 75129 228255 | 2147483647 359773 264 | 0.000 % |
578.94/579.21 c | 360369 | 17539 75129 228255 | 2147483647 360369 264 | 0.000 % |
580.44/580.72 c | 361024 | 17539 75129 228255 | 2147483647 361024 264 | 0.000 % |
582.44/582.70 c | 361744 | 17539 75129 228255 | 2147483647 361744 264 | 0.000 % |
584.34/584.64 c | 362536 | 17539 75129 228255 | 2147483647 362536 264 | 0.000 % |
586.54/586.88 c | 363408 | 17539 75129 228255 | 2147483647 363408 264 | 0.000 % |
589.03/589.39 c | 364366 | 17539 75129 228255 | 2147483647 364366 264 | 0.000 % |
591.74/592.00 c | 365419 | 17539 75129 228255 | 2147483647 365419 264 | 0.000 % |
594.63/594.93 c | 366577 | 17539 75129 228255 | 2147483647 366577 264 | 0.000 % |
597.83/598.13 c | 367850 | 17539 75129 228255 | 2147483647 367850 264 | 0.000 % |
601.04/601.33 c | 369251 | 17539 75129 228255 | 2147483647 369251 264 | 0.000 % |
604.93/605.21 c | 370791 | 17539 75129 228255 | 2147483647 370791 264 | 0.000 % |
609.14/609.45 c | 372486 | 17539 75129 228255 | 2147483647 372486 264 | 0.000 % |
613.82/614.15 c | 374349 | 17539 75129 228255 | 2147483647 374349 264 | 0.000 % |
618.93/619.20 c | 376398 | 17539 75129 228255 | 2147483647 376398 265 | 0.000 % |
624.53/624.89 c | 378653 | 17539 75129 228255 | 2147483647 378653 265 | 0.000 % |
630.73/631.07 c | 381132 | 17539 75129 228255 | 2147483647 381132 265 | 0.000 % |
637.73/638.01 c | 383857 | 17539 75129 228255 | 2147483647 383857 265 | 0.000 % |
645.12/645.41 c | 386854 | 17539 75129 228255 | 2147483647 386854 266 | 0.000 % |
652.81/653.18 c | 390150 | 17539 75129 228255 | 2147483647 390150 266 | 0.000 % |
661.42/661.78 c | 393775 | 17539 75129 228255 | 2147483647 393775 267 | 0.000 % |
661.82/662.10 c | 393875 | 17539 75129 228255 | 2147483647 393875 267 | 0.000 % |
662.22/662.50 c | 393985 | 17539 75129 228255 | 2147483647 393985 267 | 0.000 % |
662.62/662.95 c | 394107 | 17539 75129 228255 | 2147483647 394107 267 | 0.000 % |
663.02/663.40 c | 394240 | 17539 75129 228255 | 2147483647 394240 267 | 0.000 % |
663.61/663.91 c | 394386 | 17539 75129 228255 | 2147483647 394386 267 | 0.000 % |
664.12/664.45 c | 394546 | 17539 75129 228255 | 2147483647 394546 267 | 0.000 % |
664.71/665.06 c | 394723 | 17539 75129 228255 | 2147483647 394723 267 | 0.000 % |
665.31/665.69 c | 394919 | 17539 75129 228255 | 2147483647 394919 267 | 0.000 % |
666.01/666.34 c | 395133 | 17539 75129 228255 | 2147483647 395133 267 | 0.000 % |
666.71/667.05 c | 395366 | 17539 75129 228255 | 2147483647 395366 267 | 0.000 % |
667.51/667.86 c | 395622 | 17539 75129 228255 | 2147483647 395622 267 | 0.000 % |
668.41/668.79 c | 395905 | 17539 75129 228255 | 2147483647 395905 267 | 0.000 % |
669.32/669.69 c | 396215 | 17539 75129 228255 | 2147483647 396215 267 | 0.000 % |
670.21/670.57 c | 396555 | 17539 75129 228255 | 2147483647 396555 267 | 0.000 % |
671.41/671.73 c | 396928 | 17539 75129 228255 | 2147483647 396928 267 | 0.000 % |
672.61/672.98 c | 397337 | 17539 75129 228255 | 2147483647 397337 267 | 0.000 % |
673.91/674.29 c | 397786 | 17539 75129 228255 | 2147483647 397786 267 | 0.000 % |
675.51/675.86 c | 398279 | 17539 75129 228255 | 2147483647 398279 266 | 0.000 % |
677.01/677.39 c | 398821 | 17539 75129 228255 | 2147483647 398821 266 | 0.000 % |
678.60/678.92 c | 399419 | 17539 75129 228255 | 2147483647 399419 266 | 0.000 % |
680.41/680.77 c | 400075 | 17539 75129 228255 | 2147483647 400075 266 | 0.000 % |
682.51/682.85 c | 400796 | 17539 75129 228255 | 2147483647 400796 266 | 0.000 % |
684.61/684.92 c | 401590 | 17539 75129 228255 | 2147483647 401590 267 | 0.000 % |
686.81/687.16 c | 402464 | 17539 75129 228255 | 2147483647 402464 266 | 0.000 % |
689.51/689.84 c | 403422 | 17539 75129 228255 | 2147483647 403422 266 | 0.000 % |
692.51/692.82 c | 404478 | 17539 75129 228255 | 2147483647 404478 267 | 0.000 % |
695.60/695.98 c | 405636 | 17539 75129 228255 | 2147483647 405636 267 | 0.000 % |
698.91/699.24 c | 406909 | 17539 75129 228255 | 2147483647 406909 267 | 0.000 % |
702.30/702.64 c | 408310 | 17539 75129 228255 | 2147483647 408310 267 | 0.000 % |
706.70/707.06 c | 409856 | 17539 75129 228255 | 2147483647 409856 267 | 0.000 % |
711.21/711.51 c | 411551 | 17539 75129 228255 | 2147483647 411551 267 | 0.000 % |
716.40/716.71 c | 413415 | 17539 75129 228255 | 2147483647 413415 268 | 0.000 % |
721.80/722.14 c | 415465 | 17539 75129 228255 | 2147483647 415465 268 | 0.000 % |
727.49/727.87 c | 417718 | 17539 75129 228255 | 2147483647 417718 268 | 0.000 % |
734.09/734.49 c | 420197 | 17539 75129 228255 | 2147483647 420197 268 | 0.000 % |
741.59/741.91 c | 422925 | 17539 75129 228255 | 2147483647 422925 268 | 0.000 % |
749.38/749.72 c | 425922 | 17539 75129 228255 | 2147483647 425922 269 | 0.000 % |
758.39/758.74 c | 429219 | 17539 75129 228255 | 2147483647 429219 269 | 0.000 % |
767.88/768.24 c | 432845 | 17539 75129 228255 | 2147483647 432845 270 | 0.000 % |
778.68/779.01 c | 436833 | 17539 75129 228255 | 2147483647 436833 270 | 0.000 % |
778.98/779.39 c | 436933 | 17539 75129 228255 | 2147483647 436933 270 | 0.000 % |
779.38/779.71 c | 437044 | 17539 75129 228255 | 2147483647 437044 270 | 0.000 % |
779.88/780.21 c | 437167 | 17539 75129 228255 | 2147483647 437167 270 | 0.000 % |
780.38/780.70 c | 437300 | 17539 75129 228255 | 2147483647 437300 270 | 0.000 % |
780.87/781.24 c | 437447 | 17539 75129 228255 | 2147483647 437447 270 | 0.000 % |
781.48/781.87 c | 437609 | 17539 75129 228255 | 2147483647 437609 270 | 0.000 % |
782.08/782.48 c | 437785 | 17539 75129 228255 | 2147483647 437785 270 | 0.000 % |
782.78/783.16 c | 437981 | 17539 75129 228255 | 2147483647 437981 270 | 0.000 % |
783.48/783.88 c | 438193 | 17539 75129 228255 | 2147483647 438193 270 | 0.000 % |
784.28/784.65 c | 438427 | 17539 75129 228255 | 2147483647 438427 270 | 0.000 % |
785.08/785.48 c | 438685 | 17539 75129 228255 | 2147483647 438685 270 | 0.000 % |
785.98/786.39 c | 438966 | 17539 75129 228255 | 2147483647 438966 270 | 0.000 % |
787.08/787.41 c | 439275 | 17539 75129 228255 | 2147483647 439275 269 | 0.000 % |
788.18/788.53 c | 439615 | 17539 75129 228255 | 2147483647 439615 269 | 0.000 % |
789.38/789.73 c | 439990 | 17539 75129 228255 | 2147483647 439990 269 | 0.000 % |
790.58/790.95 c | 440399 | 17539 75129 228255 | 2147483647 440399 269 | 0.000 % |
791.88/792.28 c | 440848 | 17539 75129 228255 | 2147483647 440848 269 | 0.000 % |
793.48/793.80 c | 441341 | 17539 75129 228255 | 2147483647 441341 269 | 0.000 % |
795.08/795.45 c | 441884 | 17539 75129 228255 | 2147483647 441884 269 | 0.000 % |
796.97/797.31 c | 442481 | 17539 75129 228255 | 2147483647 442481 269 | 0.000 % |
798.87/799.23 c | 443138 | 17539 75129 228255 | 2147483647 443138 269 | 0.000 % |
801.07/801.43 c | 443860 | 17539 75129 228255 | 2147483647 443860 269 | 0.000 % |
803.57/803.92 c | 444652 | 17539 75129 228255 | 2147483647 444652 269 | 0.000 % |
806.07/806.45 c | 445523 | 17539 75129 228255 | 2147483647 445523 269 | 0.000 % |
808.86/809.30 c | 446482 | 17539 75129 228255 | 2147483647 446482 269 | 0.000 % |
812.06/812.45 c | 447535 | 17539 75129 228255 | 2147483647 447535 269 | 0.000 % |
815.26/815.66 c | 448693 | 17539 75129 228255 | 2147483647 448693 269 | 0.000 % |
819.06/819.41 c | 449967 | 17539 75129 228255 | 2147483647 449967 270 | 0.000 % |
823.06/823.46 c | 451367 | 17539 75129 228255 | 2147483647 451367 270 | 0.000 % |
827.26/827.65 c | 452908 | 17539 75129 228255 | 2147483647 452908 270 | 0.000 % |
832.16/832.58 c | 454603 | 17539 75129 228255 | 2147483647 454603 270 | 0.000 % |
837.25/837.65 c | 456468 | 17539 75129 228255 | 2147483647 456468 270 | 0.000 % |
843.16/843.58 c | 458517 | 17539 75129 228255 | 2147483647 458517 270 | 0.000 % |
849.75/850.17 c | 460770 | 17539 75129 228255 | 2147483647 460770 269 | 0.000 % |
857.15/857.53 c | 463248 | 17539 75129 228255 | 2147483647 463248 270 | 0.000 % |
865.05/865.46 c | 465974 | 17539 75129 228255 | 2147483647 465974 270 | 0.000 % |
874.05/874.42 c | 468971 | 17539 75129 228255 | 2147483647 468971 270 | 0.000 % |
882.95/883.39 c | 472268 | 17539 75129 228255 | 2147483647 472268 271 | 0.000 % |
893.04/893.47 c | 475894 | 17539 75129 228255 | 2147483647 475894 271 | 0.000 % |
903.73/904.19 c | 479881 | 17539 75129 228255 | 2147483647 479881 272 | 0.000 % |
916.63/917.04 c | 484267 | 17539 75129 228255 | 2147483647 484267 273 | 0.000 % |
917.04/917.42 c | 484367 | 17539 75129 228255 | 2147483647 484367 273 | 0.000 % |
917.54/917.91 c | 484477 | 17539 75129 228255 | 2147483647 484477 273 | 0.000 % |
918.04/918.40 c | 484599 | 17539 75129 228255 | 2147483647 484599 273 | 0.000 % |
918.63/919.02 c | 484732 | 17539 75129 228255 | 2147483647 484732 273 | 0.000 % |
919.24/919.63 c | 484878 | 17539 75129 228255 | 2147483647 484878 273 | 0.000 % |
919.83/920.22 c | 485039 | 17539 75129 228255 | 2147483647 485039 273 | 0.000 % |
920.53/920.97 c | 485215 | 17539 75129 228255 | 2147483647 485215 273 | 0.000 % |
921.33/921.70 c | 485408 | 17539 75129 228255 | 2147483647 485408 273 | 0.000 % |
922.13/922.50 c | 485620 | 17539 75129 228255 | 2147483647 485620 273 | 0.000 % |
922.93/923.39 c | 485853 | 17539 75129 228255 | 2147483647 485853 273 | 0.000 % |
923.93/924.34 c | 486109 | 17539 75129 228255 | 2147483647 486109 273 | 0.000 % |
924.83/925.29 c | 486390 | 17539 75129 228255 | 2147483647 486390 273 | 0.000 % |
925.93/926.35 c | 486699 | 17539 75129 228255 | 2147483647 486699 273 | 0.000 % |
927.23/927.63 c | 487039 | 17539 75129 228255 | 2147483647 487039 273 | 0.000 % |
928.52/928.98 c | 487412 | 17539 75129 228255 | 2147483647 487412 273 | 0.000 % |
929.92/930.31 c | 487821 | 17539 75129 228255 | 2147483647 487821 273 | 0.000 % |
931.33/931.72 c | 488270 | 17539 75129 228255 | 2147483647 488270 273 | 0.000 % |
932.92/933.40 c | 488763 | 17539 75129 228255 | 2147483647 488763 273 | 0.000 % |
934.83/935.28 c | 489305 | 17539 75129 228255 | 2147483647 489305 273 | 0.000 % |
936.72/937.11 c | 489903 | 17539 75129 228255 | 2147483647 489903 273 | 0.000 % |
938.82/939.29 c | 490561 | 17539 75129 228255 | 2147483647 490561 273 | 0.000 % |
941.23/941.61 c | 491281 | 17539 75129 228255 | 2147483647 491281 273 | 0.000 % |
943.82/944.21 c | 492075 | 17539 75129 228255 | 2147483647 492075 273 | 0.000 % |
946.72/947.16 c | 492948 | 17539 75129 228255 | 2147483647 492948 272 | 0.000 % |
949.72/950.11 c | 493907 | 17539 75129 228255 | 2147483647 493907 272 | 0.000 % |
953.02/953.44 c | 494960 | 17539 75129 228255 | 2147483647 494960 272 | 0.000 % |
956.62/957.03 c | 496118 | 17539 75129 228255 | 2147483647 496118 272 | 0.000 % |
960.62/961.02 c | 497392 | 17539 75129 228255 | 2147483647 497392 272 | 0.000 % |
964.81/965.26 c | 498792 | 17539 75129 228255 | 2147483647 498792 273 | 0.000 % |
969.61/970.07 c | 500332 | 17539 75129 228255 | 2147483647 500332 272 | 0.000 % |
975.21/975.61 c | 502026 | 17539 75129 228255 | 2147483647 502026 273 | 0.000 % |
981.01/981.41 c | 503889 | 17539 75129 228255 | 2147483647 503889 273 | 0.000 % |
987.31/987.75 c | 505938 | 17539 75129 228255 | 2147483647 505938 273 | 0.000 % |
994.31/994.70 c | 508192 | 17539 75129 228255 | 2147483647 508192 273 | 0.000 % |
1002.00/1002.42 c | 510671 | 17539 75129 228255 | 2147483647 510671 273 | 0.000 % |
1010.00/1010.45 c | 513396 | 17539 75129 228255 | 2147483647 513396 273 | 0.000 % |
1019.20/1019.64 c | 516394 | 17539 75129 228255 | 2147483647 516394 273 | 0.000 % |
1029.59/1030.00 c | 519691 | 17539 75129 228255 | 2147483647 519691 273 | 0.000 % |
1040.70/1041.11 c | 523316 | 17539 75129 228255 | 2147483647 523316 274 | 0.000 % |
1051.99/1052.49 c | 527303 | 17539 75129 228255 | 2147483647 527303 274 | 0.000 % |
1065.29/1065.77 c | 531688 | 17539 75129 228255 | 2147483647 531688 274 | 0.000 % |
1079.69/1080.14 c | 536511 | 17539 75129 228255 | 2147483647 536511 275 | 0.000 % |
1080.19/1080.67 c | 536611 | 17539 75129 228255 | 2147483647 536611 275 | 0.000 % |
1080.69/1081.11 c | 536721 | 17539 75129 228255 | 2147483647 536721 275 | 0.000 % |
1081.08/1081.54 c | 536842 | 17539 75129 228255 | 2147483647 536842 274 | 0.000 % |
1081.68/1082.12 c | 536975 | 17539 75129 228255 | 2147483647 536975 274 | 0.000 % |
1082.38/1082.80 c | 537122 | 17539 75129 228255 | 2147483647 537122 274 | 0.000 % |
1082.88/1083.39 c | 537282 | 17539 75129 228255 | 2147483647 537282 274 | 0.000 % |
1083.68/1084.10 c | 537458 | 17539 75129 228255 | 2147483647 537458 274 | 0.000 % |
1084.38/1084.88 c | 537653 | 17539 75129 228255 | 2147483647 537653 274 | 0.000 % |
1085.28/1085.71 c | 537865 | 17539 75129 228255 | 2147483647 537865 274 | 0.000 % |
1086.18/1086.66 c | 538100 | 17539 75129 228255 | 2147483647 538100 274 | 0.000 % |
1087.18/1087.62 c | 538356 | 17539 75129 228255 | 2147483647 538356 274 | 0.000 % |
1088.18/1088.68 c | 538637 | 17539 75129 228255 | 2147483647 538637 274 | 0.000 % |
1089.37/1089.90 c | 538949 | 17539 75129 228255 | 2147483647 538949 274 | 0.000 % |
1090.67/1091.15 c | 539288 | 17539 75129 228255 | 2147483647 539288 274 | 0.000 % |
1092.17/1092.63 c | 539660 | 17539 75129 228255 | 2147483647 539660 274 | 0.000 % |
1093.68/1094.12 c | 540069 | 17539 75129 228255 | 2147483647 540069 274 | 0.000 % |
1095.48/1095.98 c | 540518 | 17539 75129 228255 | 2147483647 540518 274 | 0.000 % |
1097.28/1097.70 c | 541011 | 17539 75129 228255 | 2147483647 541011 274 | 0.000 % |
1099.17/1099.64 c | 541553 | 17539 75129 228255 | 2147483647 541553 274 | 0.000 % |
1101.37/1101.88 c | 542149 | 17539 75129 228255 | 2147483647 542149 274 | 0.000 % |
1103.57/1104.08 c | 542804 | 17539 75129 228255 | 2147483647 542804 274 | 0.000 % |
1105.98/1106.48 c | 543524 | 17539 75129 228255 | 2147483647 543524 274 | 0.000 % |
1108.87/1109.35 c | 544319 | 17539 75129 228255 | 2147483647 544319 274 | 0.000 % |
1111.97/1112.48 c | 545191 | 17539 75129 228255 | 2147483647 545191 274 | 0.000 % |
1115.27/1115.79 c | 546149 | 17539 75129 228255 | 2147483647 546149 274 | 0.000 % |
1118.87/1119.37 c | 547204 | 17539 75129 228255 | 2147483647 547204 274 | 0.000 % |
1122.68/1123.17 c | 548362 | 17539 75129 228255 | 2147483647 548362 274 | 0.000 % |
1127.17/1127.65 c | 549635 | 17539 75129 228255 | 2147483647 549635 274 | 0.000 % |
1132.07/1132.58 c | 551036 | 17539 75129 228255 | 2147483647 551036 274 | 0.000 % |
1137.26/1137.73 c | 552578 | 17539 75129 228255 | 2147483647 552578 274 | 0.000 % |
1143.16/1143.62 c | 554272 | 17539 75129 228255 | 2147483647 554272 274 | 0.000 % |
1149.36/1149.82 c | 556135 | 17539 75129 228255 | 2147483647 556135 274 | 0.000 % |
1156.26/1156.75 c | 558185 | 17539 75129 228255 | 2147483647 558185 274 | 0.000 % |
1163.36/1163.89 c | 560438 | 17539 75129 228255 | 2147483647 560438 275 | 0.000 % |
1171.45/1171.97 c | 562916 | 17539 75129 228255 | 2147483647 562916 275 | 0.000 % |
1179.96/1180.42 c | 565643 | 17539 75129 228255 | 2147483647 565643 275 | 0.000 % |
1189.55/1190.07 c | 568640 | 17539 75129 228255 | 2147483647 568640 275 | 0.000 % |
1199.85/1200.32 c | 571938 | 17539 75129 228255 | 2147483647 571938 275 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832789-1242787659/watcher-1832789-1242787659 -o /tmp/evaluation-result-1832789-1242787659/solver-1832789-1242787659 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832789-1242787659.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.91 0.98 0.99 3/64 12120
/proc/meminfo: memFree=1869000/2055920 swapFree=4180400/4192956
[pid=12120] ppid=12118 vsize=5356 CPUtime=0
/proc/12120/stat : 12120 (SatELiteGTI) S 12118 12120 11460 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306799537 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12120/statm: 1339 237 197 169 0 50 0
[startup+0.105257 s]
/proc/loadavg: 0.91 0.98 0.99 3/64 12120
/proc/meminfo: memFree=1869000/2055920 swapFree=4180400/4192956
[pid=12120] ppid=12118 vsize=5356 CPUtime=0
/proc/12120/stat : 12120 (SatELiteGTI) S 12118 12120 11460 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306799537 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12120/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.201267 s]
/proc/loadavg: 0.91 0.98 0.99 3/64 12120
/proc/meminfo: memFree=1869000/2055920 swapFree=4180400/4192956
[pid=12120] ppid=12118 vsize=5356 CPUtime=0
/proc/12120/stat : 12120 (SatELiteGTI) S 12118 12120 11460 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306799537 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12120/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301279 s]
/proc/loadavg: 0.91 0.98 0.99 3/64 12120
/proc/meminfo: memFree=1869000/2055920 swapFree=4180400/4192956
[pid=12120] ppid=12118 vsize=5356 CPUtime=0
/proc/12120/stat : 12120 (SatELiteGTI) S 12118 12120 11460 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306799537 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12120/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701336 s]
/proc/loadavg: 0.91 0.98 0.99 3/64 12120
/proc/meminfo: memFree=1869000/2055920 swapFree=4180400/4192956
[pid=12120] ppid=12118 vsize=5356 CPUtime=0.34
/proc/12120/stat : 12120 (SatELiteGTI) S 12118 12120 11460 0 -1 4194304 336 2603 0 0 0 0 33 1 16 0 1 0 306799537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12120/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 5356
[startup+1.50242 s]
/proc/loadavg: 0.91 0.98 0.99 2/66 12126
/proc/meminfo: memFree=1860472/2055920 swapFree=4180400/4192956
[pid=12120] ppid=12118 vsize=5356 CPUtime=0.34
/proc/12120/stat : 12120 (SatELiteGTI) S 12118 12120 11460 0 -1 4194304 336 2603 0 0 0 0 33 1 16 0 1 0 306799537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12120/statm: 1339 239 197 169 0 50 0
[pid=12126] ppid=12120 vsize=7848 CPUtime=1.13
/proc/12126/stat : 12126 (minisat_static) R 12120 12120 11460 0 -1 4194304 1837 0 0 0 112 1 0 0 25 0 1 0 306799573 8036352 1823 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12126/statm: 1962 1823 77 171 0 1789 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13204
[startup+3.1016 s]
/proc/loadavg: 0.91 0.98 0.99 2/66 12126
/proc/meminfo: memFree=1858872/2055920 swapFree=4180400/4192956
[pid=12120] ppid=12118 vsize=5356 CPUtime=0.34
/proc/12120/stat : 12120 (SatELiteGTI) S 12118 12120 11460 0 -1 4194304 336 2603 0 0 0 0 33 1 16 0 1 0 306799537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12120/statm: 1339 239 197 169 0 50 0
[pid=12126] ppid=12120 vsize=10240 CPUtime=2.72
/proc/12126/stat : 12126 (minisat_static) R 12120 12120 11460 0 -1 4194304 2409 0 0 0 270 2 0 0 25 0 1 0 306799573 10485760 2395 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12126/statm: 2560 2395 77 171 0 2387 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 15596
[startup+6.30198 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 12126
/proc/meminfo: memFree=1854456/2055920 swapFree=4180400/4192956
[pid=12120] ppid=12118 vsize=5356 CPUtime=0.34
/proc/12120/stat : 12120 (SatELiteGTI) S 12118 12120 11460 0 -1 4194304 336 2603 0 0 0 0 33 1 16 0 1 0 306799537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12120/statm: 1339 239 197 169 0 50 0
[pid=12126] ppid=12120 vsize=14224 CPUtime=5.92
/proc/12126/stat : 12126 (minisat_static) R 12120 12120 11460 0 -1 4194304 3416 0 0 0 589 3 0 0 25 0 1 0 306799573 14565376 3402 1992294400 134512640 135215339 4294956240 18446744073709551615 134529157 0 0 4096 3 0 0 0 17 1 0 0
/proc/12126/statm: 3556 3402 77 171 0 3383 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 19580
[startup+12.7017 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 12126
/proc/meminfo: memFree=1846136/2055920 swapFree=4180400/4192956
[pid=12120] ppid=12118 vsize=5356 CPUtime=0.34
/proc/12120/stat : 12120 (SatELiteGTI) S 12118 12120 11460 0 -1 4194304 336 2603 0 0 0 0 33 1 16 0 1 0 306799537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12120/statm: 1339 239 197 169 0 50 0
[pid=12126] ppid=12120 vsize=22068 CPUtime=12.32
/proc/12126/stat : 12126 (minisat_static) R 12120 12120 11460 0 -1 4194304 5390 0 0 0 1226 6 0 0 25 0 1 0 306799573 22597632 5376 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/12126/statm: 5517 5376 77 171 0 5344 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 27424
[startup+25.5012 s]
/proc/loadavg: 0.94 0.98 0.99 2/66 12126
/proc/meminfo: memFree=1831224/2055920 swapFree=4180400/4192956
[pid=12120] ppid=12118 vsize=5356 CPUtime=0.34
/proc/12120/stat : 12120 (SatELiteGTI) S 12118 12120 11460 0 -1 4194304 336 2603 0 0 0 0 33 1 16 0 1 0 306799537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12120/statm: 1339 239 197 169 0 50 0
[pid=12126] ppid=12120 vsize=36444 CPUtime=25.11
/proc/12126/stat : 12126 (minisat_static) R 12120 12120 11460 0 -1 4194304 8983 0 0 0 2501 10 0 0 25 0 1 0 306799573 37318656 8969 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12126/statm: 9111 8969 77 171 0 8938 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 41800
[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 12126
/proc/meminfo: memFree=1805240/2055920 swapFree=4180400/4192956
[pid=12120] ppid=12118 vsize=5356 CPUtime=0.34
/proc/12120/stat : 12120 (SatELiteGTI) S 12118 12120 11460 0 -1 4194304 336 2603 0 0 0 0 33 1 16 0 1 0 306799537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12120/statm: 1339 239 197 169 0 50 0
[pid=12126] ppid=12120 vsize=62928 CPUtime=50.69
/proc/12126/stat : 12126 (minisat_static) R 12120 12120 11460 0 -1 4194304 15561 0 0 0 5053 16 0 0 25 0 1 0 306799573 64438272 15547 1992294400 134512640 135215339 4294956240 18446744073709551615 134525090 0 0 4096 3 0 0 0 17 1 0 0
/proc/12126/statm: 15732 15547 77 171 0 15559 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 68284
[startup+102.301 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 12126
/proc/meminfo: memFree=1759480/2055920 swapFree=4180400/4192956
[pid=12120] ppid=12118 vsize=5356 CPUtime=0.34
/proc/12120/stat : 12120 (SatELiteGTI) S 12118 12120 11460 0 -1 4194304 336 2603 0 0 0 0 33 1 16 0 1 0 306799537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12120/statm: 1339 239 197 169 0 50 0
[pid=12126] ppid=12120 vsize=107880 CPUtime=101.86
/proc/12126/stat : 12126 (minisat_static) R 12120 12120 11460 0 -1 4194304 26809 0 0 0 10160 26 0 0 25 0 1 0 306799573 110469120 26795 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/12126/statm: 26970 26795 77 171 0 26797 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 113236
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12126
/proc/meminfo: memFree=1713528/2055920 swapFree=4180400/4192956
[pid=12120] ppid=12118 vsize=5356 CPUtime=0.34
/proc/12120/stat : 12120 (SatELiteGTI) S 12118 12120 11460 0 -1 4194304 336 2603 0 0 0 0 33 1 16 0 1 0 306799537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12120/statm: 1339 239 197 169 0 50 0
[pid=12126] ppid=12120 vsize=154260 CPUtime=161.84
/proc/12126/stat : 12126 (minisat_static) R 12120 12120 11460 0 -1 4194304 38369 0 0 0 16145 39 0 0 25 0 1 0 306799573 157962240 38355 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/12126/statm: 38565 38355 77 171 0 38392 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 159616
[startup+222.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12126
/proc/meminfo: memFree=1670904/2055920 swapFree=4180400/4192956
[pid=12120] ppid=12118 vsize=5356 CPUtime=0.34
/proc/12120/stat : 12120 (SatELiteGTI) S 12118 12120 11460 0 -1 4194304 336 2603 0 0 0 0 33 1 16 0 1 0 306799537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12120/statm: 1339 239 197 169 0 50 0
[pid=12126] ppid=12120 vsize=196144 CPUtime=221.81
/proc/12126/stat : 12126 (minisat_static) R 12120 12120 11460 0 -1 4194304 48872 0 0 0 22130 51 0 0 25 0 1 0 306799573 200851456 48858 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/12126/statm: 49036 48858 77 171 0 48863 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 201500
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12126
/proc/meminfo: memFree=1632248/2055920 swapFree=4180400/4192956
[pid=12120] ppid=12118 vsize=5356 CPUtime=0.34
/proc/12120/stat : 12120 (SatELiteGTI) S 12118 12120 11460 0 -1 4194304 336 2603 0 0 0 0 33 1 16 0 1 0 306799537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12120/statm: 1339 239 197 169 0 50 0
[pid=12126] ppid=12120 vsize=235268 CPUtime=281.79
/proc/12126/stat : 12126 (minisat_static) R 12120 12120 11460 0 -1 4194304 58606 0 0 0 28119 60 0 0 25 0 1 0 306799573 240914432 58592 1992294400 134512640 135215339 4294956240 18446744073709551615 134528811 0 0 4096 3 0 0 0 17 1 0 0
/proc/12126/statm: 58817 58592 77 171 0 58644 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 240624
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12126
/proc/meminfo: memFree=1595640/2055920 swapFree=4180400/4192956
[pid=12120] ppid=12118 vsize=5356 CPUtime=0.34
/proc/12120/stat : 12120 (SatELiteGTI) S 12118 12120 11460 0 -1 4194304 336 2603 0 0 0 0 33 1 16 0 1 0 306799537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12120/statm: 1339 239 197 169 0 50 0
[pid=12126] ppid=12120 vsize=271216 CPUtime=341.77
/proc/12126/stat : 12126 (minisat_static) R 12120 12120 11460 0 -1 4194304 67628 0 0 0 34106 71 0 0 25 0 1 0 306799573 277725184 67614 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/12126/statm: 67804 67614 77 171 0 67631 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 276572
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12126
/proc/meminfo: memFree=1561912/2055920 swapFree=4180400/4192956
[pid=12120] ppid=12118 vsize=5356 CPUtime=0.34
/proc/12120/stat : 12120 (SatELiteGTI) S 12118 12120 11460 0 -1 4194304 336 2603 0 0 0 0 33 1 16 0 1 0 306799537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12120/statm: 1339 239 197 169 0 50 0
[pid=12126] ppid=12120 vsize=305308 CPUtime=401.75
/proc/12126/stat : 12126 (minisat_static) R 12120 12120 11460 0 -1 4194304 76168 0 0 0 40096 79 0 0 25 0 1 0 306799573 312635392 76154 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/12126/statm: 76327 76154 77 171 0 76154 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 310664
[startup+462.302 s]
################
# More data... #
################
/proc/12126/statm: 91372 91103 77 171 0 91199 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 370844
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12126
/proc/meminfo: memFree=1471864/2055920 swapFree=4180400/4192956
[pid=12120] ppid=12118 vsize=5356 CPUtime=0.34
/proc/12120/stat : 12120 (SatELiteGTI) S 12118 12120 11460 0 -1 4194304 336 2603 0 0 0 0 33 1 16 0 1 0 306799537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12120/statm: 1339 239 197 169 0 50 0
[pid=12126] ppid=12120 vsize=394684 CPUtime=581.7
/proc/12126/stat : 12126 (minisat_static) R 12120 12120 11460 0 -1 4194304 98433 0 0 0 58068 102 0 0 25 0 1 0 306799573 404156416 98419 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12126/statm: 98671 98419 77 171 0 98498 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 400040
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12126
/proc/meminfo: memFree=1443960/2055920 swapFree=4180400/4192956
[pid=12120] ppid=12118 vsize=5356 CPUtime=0.34
/proc/12120/stat : 12120 (SatELiteGTI) S 12118 12120 11460 0 -1 4194304 336 2603 0 0 0 0 33 1 16 0 1 0 306799537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12120/statm: 1339 239 197 169 0 50 0
[pid=12126] ppid=12120 vsize=422568 CPUtime=641.69
/proc/12126/stat : 12126 (minisat_static) R 12120 12120 11460 0 -1 4194304 105437 0 0 0 64059 110 0 0 25 0 1 0 306799573 432709632 105423 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12126/statm: 105642 105423 77 171 0 105469 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 427924
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12126
/proc/meminfo: memFree=1416888/2055920 swapFree=4180400/4192956
[pid=12120] ppid=12118 vsize=5356 CPUtime=0.34
/proc/12120/stat : 12120 (SatELiteGTI) S 12118 12120 11460 0 -1 4194304 336 2603 0 0 0 0 33 1 16 0 1 0 306799537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12120/statm: 1339 239 197 169 0 50 0
[pid=12126] ppid=12120 vsize=449252 CPUtime=701.66
/proc/12126/stat : 12126 (minisat_static) R 12120 12120 11460 0 -1 4194304 112110 0 0 0 70049 117 0 0 25 0 1 0 306799573 460034048 112096 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/12126/statm: 112313 112096 77 171 0 112140 0
Current children cumulated CPU time (s) 702
Current children cumulated vsize (KiB) 454608
[startup+762.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12126
/proc/meminfo: memFree=1388408/2055920 swapFree=4180400/4192956
[pid=12120] ppid=12118 vsize=5356 CPUtime=0.34
/proc/12120/stat : 12120 (SatELiteGTI) S 12118 12120 11460 0 -1 4194304 336 2603 0 0 0 0 33 1 16 0 1 0 306799537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12120/statm: 1339 239 197 169 0 50 0
[pid=12126] ppid=12120 vsize=477120 CPUtime=761.65
/proc/12126/stat : 12126 (minisat_static) R 12120 12120 11460 0 -1 4194304 119114 0 0 0 76040 125 0 0 25 0 1 0 306799573 488570880 119100 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12126/statm: 119280 119100 77 171 0 119107 0
Current children cumulated CPU time (s) 761.99
Current children cumulated vsize (KiB) 482476
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12132
/proc/meminfo: memFree=1365496/2055920 swapFree=4180400/4192956
[pid=12120] ppid=12118 vsize=5356 CPUtime=0.34
/proc/12120/stat : 12120 (SatELiteGTI) S 12118 12120 11460 0 -1 4194304 336 2603 0 0 0 0 33 1 16 0 1 0 306799537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12120/statm: 1339 239 197 169 0 50 0
[pid=12126] ppid=12120 vsize=500108 CPUtime=821.62
/proc/12126/stat : 12126 (minisat_static) R 12120 12120 11460 0 -1 4194304 124884 0 0 0 82030 132 0 0 25 0 1 0 306799573 512110592 124870 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12126/statm: 125027 124870 77 171 0 124854 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 505464
[startup+882.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12132
/proc/meminfo: memFree=1340728/2055920 swapFree=4180400/4192956
[pid=12120] ppid=12118 vsize=5356 CPUtime=0.34
/proc/12120/stat : 12120 (SatELiteGTI) S 12118 12120 11460 0 -1 4194304 336 2603 0 0 0 0 33 1 16 0 1 0 306799537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12120/statm: 1339 239 197 169 0 50 0
[pid=12126] ppid=12120 vsize=525340 CPUtime=881.61
/proc/12126/stat : 12126 (minisat_static) R 12120 12120 11460 0 -1 4194304 130985 0 0 0 88022 139 0 0 25 0 1 0 306799573 537948160 130971 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12126/statm: 131335 130971 77 171 0 131162 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 530696
[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12132
/proc/meminfo: memFree=1315064/2055920 swapFree=4180400/4192956
[pid=12120] ppid=12118 vsize=5356 CPUtime=0.34
/proc/12120/stat : 12120 (SatELiteGTI) S 12118 12120 11460 0 -1 4194304 336 2603 0 0 0 0 33 1 16 0 1 0 306799537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12120/statm: 1339 239 197 169 0 50 0
[pid=12126] ppid=12120 vsize=550964 CPUtime=941.58
/proc/12126/stat : 12126 (minisat_static) R 12120 12120 11460 0 -1 4194304 137388 0 0 0 94013 145 0 0 25 0 1 0 306799573 564187136 137374 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12126/statm: 137741 137374 77 171 0 137568 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 556320
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12132
/proc/meminfo: memFree=1293368/2055920 swapFree=4180400/4192956
[pid=12120] ppid=12118 vsize=5356 CPUtime=0.34
/proc/12120/stat : 12120 (SatELiteGTI) S 12118 12120 11460 0 -1 4194304 336 2603 0 0 0 0 33 1 16 0 1 0 306799537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12120/statm: 1339 239 197 169 0 50 0
[pid=12126] ppid=12120 vsize=572368 CPUtime=1001.56
/proc/12126/stat : 12126 (minisat_static) R 12120 12120 11460 0 -1 4194304 142773 0 0 0 100005 151 0 0 25 0 1 0 306799573 586104832 142759 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/12126/statm: 143092 142759 77 171 0 142919 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 577724
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12132
/proc/meminfo: memFree=1268856/2055920 swapFree=4180400/4192956
[pid=12120] ppid=12118 vsize=5356 CPUtime=0.34
/proc/12120/stat : 12120 (SatELiteGTI) S 12118 12120 11460 0 -1 4194304 336 2603 0 0 0 0 33 1 16 0 1 0 306799537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12120/statm: 1339 239 197 169 0 50 0
[pid=12126] ppid=12120 vsize=596936 CPUtime=1061.54
/proc/12126/stat : 12126 (minisat_static) R 12120 12120 11460 0 -1 4194304 148927 0 0 0 105998 156 0 0 25 0 1 0 306799573 611262464 148913 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 1 0 0
/proc/12126/statm: 149234 148913 77 171 0 149061 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 602292
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12132
/proc/meminfo: memFree=1249080/2055920 swapFree=4180400/4192956
[pid=12120] ppid=12118 vsize=5356 CPUtime=0.34
/proc/12120/stat : 12120 (SatELiteGTI) S 12118 12120 11460 0 -1 4194304 336 2603 0 0 0 0 33 1 16 0 1 0 306799537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12120/statm: 1339 239 197 169 0 50 0
[pid=12126] ppid=12120 vsize=616364 CPUtime=1121.52
/proc/12126/stat : 12126 (minisat_static) R 12120 12120 11460 0 -1 4194304 153795 0 0 0 111991 161 0 0 25 0 1 0 306799573 631156736 153781 1992294400 134512640 135215339 4294956240 18446744073709551615 134528793 0 0 4096 3 0 0 0 17 1 0 0
/proc/12126/statm: 154091 153781 77 171 0 153918 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 621720
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12132
/proc/meminfo: memFree=1227832/2055920 swapFree=4180400/4192956
[pid=12120] ppid=12118 vsize=5356 CPUtime=0.34
/proc/12120/stat : 12120 (SatELiteGTI) S 12118 12120 11460 0 -1 4194304 336 2603 0 0 0 0 33 1 16 0 1 0 306799537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12120/statm: 1339 239 197 169 0 50 0
[pid=12126] ppid=12120 vsize=637504 CPUtime=1181.51
/proc/12126/stat : 12126 (minisat_static) R 12120 12120 11460 0 -1 4194304 159122 0 0 0 117984 167 0 0 25 0 1 0 306799573 652804096 159108 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12126/statm: 159376 159108 77 171 0 159203 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 642860
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12132
/proc/meminfo: memFree=1219384/2055920 swapFree=4180400/4192956
[pid=12120] ppid=12118 vsize=5356 CPUtime=0.34
/proc/12120/stat : 12120 (SatELiteGTI) S 12118 12120 11460 0 -1 4194304 336 2603 0 0 0 0 33 1 16 0 1 0 306799537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12120/statm: 1339 239 197 169 0 50 0
[pid=12126] ppid=12120 vsize=645700 CPUtime=1199.71
/proc/12126/stat : 12126 (minisat_static) R 12120 12120 11460 0 -1 4194304 161154 0 0 0 119801 170 0 0 25 0 1 0 306799573 661196800 161140 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12126/statm: 161425 161140 77 171 0 161252 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 651056
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12120 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=338948
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=20996
# CPU time returned by wait4() is 0.359944
# 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.51
CPU time (s): 1200.05
CPU user time (s): 1198.34
CPU system time (s): 1.71
CPU usage (%): 99.9615
Max. virtual memory (cumulated for all children) (KiB): 651056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.338948
system time used= 0.020996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2939
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 6
runsolver used 1.45078 second user time and 3.02054 second system time
The end
Begin job on node11 at 2009-05-20 04:47:39
IDJOB=1832789
IDBENCH=70358
IDSOLVER=671
FILE ID=node11/1832789-1242787659
PBS_JOBID= 9322382
Free space on /tmp= 66352 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/18000/unif-k3-r4.2-v18000-c75600-S1811295114-056.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832789-1242787659/watcher-1832789-1242787659 -o /tmp/evaluation-result-1832789-1242787659/solver-1832789-1242787659 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832789-1242787659.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a97095b6dcf1b1abdc82fc7e5a3a4050
RANDOM SEED=460948253
node11.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.214
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.214
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1869480 kB
Buffers: 27384 kB
Cached: 112836 kB
SwapCached: 6728 kB
Active: 72084 kB
Inactive: 76464 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1869480 kB
SwapTotal: 4192956 kB
SwapFree: 4180400 kB
Dirty: 3032 kB
Writeback: 0 kB
Mapped: 13564 kB
Slab: 23908 kB
Committed_AS: 1070168 kB
PageTables: 1452 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= 66348 MiB
End job on node11 at 2009-05-20 05:07:41