0.00/0.00 c Parsing...
0.00/0.06 c ==============================================================================
0.00/0.06 c | | ORIGINAL | LEARNT | |
0.00/0.06 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.06 c ==============================================================================
0.00/0.06 c | 0 | 58800 176400 | 17639 0 0 nan | 0.000 % |
0.00/0.20 c | 0 | 58449 177399 | -- 0 -- -- | -- | -351/999
0.00/0.20 c ==============================================================================
0.00/0.20 c Result : #vars: 13663 #clauses: 58449 #literals: 177399
0.00/0.20 c CPU time: 0.19697 s
0.00/0.20 c ==============================================================================
0.00/0.27 c This is MiniSat 2.0 beta
0.00/0.27 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.27 c ============================[ Problem Statistics ]=============================
0.00/0.27 c | |
0.00/0.27 c | Number of variables: 13663 |
0.00/0.27 c | Number of clauses: 58449 |
0.26/0.31 c | Parsing time: 0.04 s |
0.26/0.32 c ============================[ Search Statistics ]==============================
0.26/0.32 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.26/0.32 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.26/0.32 c ===============================================================================
0.26/0.32 c | 0 | 13663 58449 177399 | 19483 0 nan | 0.000 % |
0.26/0.37 c | 100 | 13663 58449 177399 | 19483 100 256 | 0.000 % |
0.26/0.41 c | 202 | 13663 58449 177399 | 19483 202 230 | 0.000 % |
0.26/0.45 c | 304 | 13663 58449 177399 | 19483 304 210 | 0.000 % |
0.26/0.51 c | 414 | 13663 58449 177399 | 19483 414 202 | 0.000 % |
0.26/0.55 c | 515 | 13663 58449 177399 | 19483 515 199 | 0.000 % |
0.26/0.60 c | 625 | 13663 58449 177399 | 19483 625 194 | 0.000 % |
0.26/0.66 c | 752 | 13663 58449 177399 | 19483 752 186 | 0.000 % |
0.26/0.70 c | 852 | 13663 58449 177399 | 19483 852 182 | 0.000 % |
0.26/0.76 c | 963 | 13663 58449 177399 | 19483 963 185 | 0.000 % |
0.26/0.81 c | 1084 | 13663 58449 177399 | 19483 1084 179 | 0.000 % |
0.26/0.86 c | 1219 | 13663 58449 177399 | 19483 1219 176 | 0.000 % |
0.26/0.91 c | 1319 | 13663 58449 177399 | 19483 1319 179 | 0.000 % |
0.26/0.96 c | 1429 | 13663 58449 177399 | 19483 1429 178 | 0.000 % |
0.97/1.03 c | 1550 | 13663 58449 177399 | 19483 1550 178 | 0.000 % |
0.97/1.10 c | 1683 | 13663 58449 177399 | 19483 1683 183 | 0.000 % |
1.07/1.16 c | 1832 | 13663 58449 177399 | 19483 1832 182 | 0.000 % |
1.17/1.21 c | 1935 | 13663 58449 177399 | 19483 1935 179 | 0.000 % |
1.17/1.26 c | 2045 | 13663 58449 177399 | 19483 2045 181 | 0.000 % |
1.28/1.32 c | 2169 | 13663 58449 177399 | 19483 2169 178 | 0.000 % |
1.28/1.38 c | 2303 | 13663 58449 177399 | 19483 2303 176 | 0.000 % |
1.38/1.45 c | 2450 | 13663 58449 177399 | 19483 2450 176 | 0.000 % |
1.48/1.53 c | 2611 | 13663 58449 177399 | 19483 2611 176 | 0.000 % |
1.48/1.57 c | 2712 | 13663 58449 177399 | 19483 2712 178 | 0.000 % |
1.58/1.63 c | 2822 | 13663 58449 177399 | 19483 2822 176 | 0.000 % |
1.58/1.68 c | 2944 | 13663 58449 177399 | 19483 2944 175 | 0.000 % |
1.68/1.75 c | 3078 | 13663 58449 177399 | 19483 3078 176 | 0.000 % |
1.77/1.81 c | 3224 | 13663 58449 177399 | 19483 3224 174 | 0.000 % |
1.77/1.89 c | 3385 | 13663 58449 177399 | 19483 3385 176 | 0.000 % |
1.87/1.98 c | 3561 | 13663 58449 177399 | 19483 3561 177 | 0.000 % |
1.97/2.02 c | 3661 | 13663 58449 177399 | 19483 3661 175 | 0.000 % |
1.97/2.08 c | 3772 | 13663 58449 177399 | 19483 3772 175 | 0.000 % |
2.07/2.14 c | 3895 | 13663 58449 177399 | 19483 3895 175 | 0.000 % |
2.17/2.22 c | 4031 | 13663 58449 177399 | 19483 4031 175 | 0.000 % |
2.17/2.29 c | 4177 | 13663 58449 177399 | 19483 4177 175 | 0.000 % |
2.27/2.37 c | 4337 | 13663 58449 177399 | 19483 4337 175 | 0.000 % |
2.37/2.45 c | 4514 | 13663 58449 177399 | 19483 4514 175 | 0.000 % |
2.47/2.55 c | 4708 | 13663 58449 177399 | 19483 4708 176 | 0.000 % |
2.57/2.60 c | 4810 | 13663 58449 177399 | 19483 4810 175 | 0.000 % |
2.57/2.65 c | 4922 | 13663 58449 177399 | 19483 4922 174 | 0.000 % |
2.67/2.71 c | 5045 | 13663 58449 177399 | 19483 5045 174 | 0.000 % |
2.67/2.78 c | 5178 | 13663 58449 177399 | 19483 5178 173 | 0.000 % |
2.77/2.85 c | 5324 | 13663 58449 177399 | 19483 5324 174 | 0.000 % |
2.87/2.94 c | 5484 | 13663 58449 177399 | 19483 5484 175 | 0.000 % |
2.97/3.03 c | 5660 | 13663 58449 177399 | 19483 5660 176 | 0.000 % |
3.08/3.13 c | 5854 | 13663 58449 177399 | 19483 5854 177 | 0.000 % |
3.18/3.24 c | 6066 | 13663 58449 177399 | 19483 6066 178 | 0.000 % |
3.18/3.29 c | 6167 | 13663 58449 177399 | 19483 6167 178 | 0.000 % |
3.28/3.35 c | 6277 | 13663 58449 177399 | 19483 6277 178 | 0.000 % |
3.38/3.42 c | 6399 | 13663 58449 177399 | 19483 6399 177 | 0.000 % |
3.38/3.48 c | 6532 | 13663 58449 177399 | 19483 6532 178 | 0.000 % |
3.47/3.56 c | 6678 | 13663 58449 177399 | 19483 6678 177 | 0.000 % |
3.57/3.64 c | 6839 | 13663 58449 177399 | 19483 6839 177 | 0.000 % |
3.67/3.73 c | 7017 | 13663 58449 177399 | 19483 7017 177 | 0.000 % |
3.77/3.83 c | 7210 | 13663 58449 177399 | 19483 7210 178 | 0.000 % |
3.87/3.94 c | 7423 | 13663 58449 177399 | 19483 7423 178 | 0.000 % |
3.97/4.06 c | 7657 | 13663 58449 177399 | 19483 7657 178 | 0.000 % |
4.07/4.11 c | 7757 | 13663 58449 177399 | 19483 7757 177 | 0.000 % |
4.07/4.17 c | 7868 | 13663 58449 177399 | 19483 7868 177 | 0.000 % |
4.17/4.23 c | 7991 | 13663 58449 177399 | 19483 7991 178 | 0.000 % |
4.17/4.30 c | 8124 | 13663 58449 177399 | 19483 8124 177 | 0.000 % |
4.27/4.38 c | 8271 | 13663 58449 177399 | 19483 8271 177 | 0.000 % |
4.37/4.47 c | 8434 | 13663 58449 177399 | 19483 8434 178 | 0.000 % |
4.48/4.55 c | 8612 | 13663 58449 177399 | 19483 8612 179 | 0.000 % |
4.58/4.66 c | 8805 | 13663 58449 177399 | 19483 8805 179 | 0.000 % |
4.68/4.77 c | 9017 | 13663 58449 177399 | 19483 9017 178 | 0.000 % |
4.77/4.88 c | 9250 | 13663 58449 177399 | 19483 9250 178 | 0.000 % |
4.97/5.01 c | 9507 | 13663 58449 177399 | 19483 9507 179 | 0.000 % |
4.97/5.07 c | 9607 | 13663 58449 177399 | 19483 9607 179 | 0.000 % |
5.07/5.13 c | 9717 | 13663 58449 177399 | 19483 9717 178 | 0.000 % |
5.17/5.20 c | 9840 | 13663 58449 177399 | 19483 9840 178 | 0.000 % |
5.17/5.28 c | 9976 | 13663 58449 177399 | 19483 9976 179 | 0.000 % |
5.27/5.35 c | 10123 | 13663 58449 177399 | 2147483647 10123 180 | 0.000 % |
5.37/5.43 c | 10286 | 13663 58449 177399 | 2147483647 10286 179 | 0.000 % |
5.47/5.53 c | 10463 | 13663 58449 177399 | 2147483647 10463 179 | 0.000 % |
5.57/5.63 c | 10656 | 13663 58449 177399 | 2147483647 10656 178 | 0.000 % |
5.67/5.75 c | 10870 | 13663 58449 177399 | 2147483647 10870 178 | 0.000 % |
5.78/5.88 c | 11103 | 13663 58449 177399 | 2147483647 11103 180 | 0.000 % |
5.98/6.01 c | 11359 | 13663 58449 177399 | 2147483647 11359 180 | 0.000 % |
6.08/6.17 c | 11640 | 13663 58449 177399 | 2147483647 11640 182 | 0.000 % |
6.17/6.22 c | 11741 | 13663 58449 177399 | 2147483647 11741 182 | 0.000 % |
6.17/6.29 c | 11853 | 13663 58449 177399 | 2147483647 11853 182 | 0.000 % |
6.27/6.36 c | 11975 | 13663 58449 177399 | 2147483647 11975 181 | 0.000 % |
6.37/6.44 c | 12108 | 13663 58449 177399 | 2147483647 12108 181 | 0.000 % |
6.48/6.51 c | 12254 | 13663 58449 177399 | 2147483647 12254 181 | 0.000 % |
6.58/6.60 c | 12415 | 13663 58449 177399 | 2147483647 12415 182 | 0.000 % |
6.58/6.69 c | 12592 | 13663 58449 177399 | 2147483647 12592 181 | 0.000 % |
6.67/6.80 c | 12788 | 13663 58449 177399 | 2147483647 12788 182 | 0.000 % |
6.87/6.92 c | 13000 | 13663 58449 177399 | 2147483647 13000 183 | 0.000 % |
6.97/7.05 c | 13234 | 13663 58449 177399 | 2147483647 13234 183 | 0.000 % |
7.07/7.19 c | 13490 | 13663 58449 177399 | 2147483647 13490 183 | 0.000 % |
7.27/7.33 c | 13773 | 13663 58449 177399 | 2147483647 13773 183 | 0.000 % |
7.37/7.49 c | 14082 | 13663 58449 177399 | 2147483647 14082 184 | 0.000 % |
7.47/7.54 c | 14182 | 13663 58449 177399 | 2147483647 14182 184 | 0.000 % |
7.58/7.60 c | 14292 | 13663 58449 177399 | 2147483647 14292 184 | 0.000 % |
7.58/7.68 c | 14413 | 13663 58449 177399 | 2147483647 14413 184 | 0.000 % |
7.68/7.75 c | 14546 | 13663 58449 177399 | 2147483647 14546 183 | 0.000 % |
7.78/7.84 c | 14692 | 13663 58449 177399 | 2147483647 14692 183 | 0.000 % |
7.88/7.94 c | 14852 | 13663 58449 177399 | 2147483647 14852 183 | 0.000 % |
7.98/8.03 c | 15028 | 13663 58449 177399 | 2147483647 15028 183 | 0.000 % |
8.08/8.14 c | 15221 | 13663 58449 177399 | 2147483647 15221 183 | 0.000 % |
8.18/8.26 c | 15433 | 13663 58449 177399 | 2147483647 15433 184 | 0.000 % |
8.38/8.40 c | 15666 | 13663 58449 177399 | 2147483647 15666 185 | 0.000 % |
8.48/8.54 c | 15924 | 13663 58449 177399 | 2147483647 15924 185 | 0.000 % |
8.58/8.70 c | 16206 | 13663 58449 177399 | 2147483647 16206 186 | 0.000 % |
8.78/8.87 c | 16515 | 13663 58449 177399 | 2147483647 16515 186 | 0.000 % |
8.97/9.07 c | 16856 | 13663 58449 177399 | 2147483647 16856 187 | 0.000 % |
9.07/9.13 c | 16956 | 13663 58449 177399 | 2147483647 16956 186 | 0.000 % |
9.07/9.19 c | 17066 | 13663 58449 177399 | 2147483647 17066 186 | 0.000 % |
9.17/9.26 c | 17187 | 13663 58449 177399 | 2147483647 17187 185 | 0.000 % |
9.27/9.35 c | 17323 | 13663 58449 177399 | 2147483647 17323 185 | 0.000 % |
9.37/9.43 c | 17469 | 13663 58449 177399 | 2147483647 17469 185 | 0.000 % |
9.47/9.53 c | 17631 | 13663 58449 177399 | 2147483647 17631 185 | 0.000 % |
9.57/9.62 c | 17807 | 13663 58449 177399 | 2147483647 17807 185 | 0.000 % |
9.67/9.74 c | 18000 | 13663 58449 177399 | 2147483647 18000 185 | 0.000 % |
9.77/9.86 c | 18214 | 13663 58449 177399 | 2147483647 18214 186 | 0.000 % |
9.97/10.00 c | 18447 | 13663 58449 177399 | 2147483647 18447 186 | 0.000 % |
10.07/10.15 c | 18704 | 13663 58449 177399 | 2147483647 18704 186 | 0.000 % |
10.27/10.30 c | 18985 | 13663 58449 177399 | 2147483647 18985 186 | 0.000 % |
10.37/10.48 c | 19295 | 13663 58449 177399 | 2147483647 19295 186 | 0.000 % |
10.57/10.68 c | 19637 | 13663 58449 177399 | 2147483647 19637 186 | 0.000 % |
10.88/10.90 c | 20011 | 13663 58449 177399 | 2147483647 20011 187 | 0.000 % |
10.88/10.97 c | 20113 | 13663 58449 177399 | 2147483647 20113 187 | 0.000 % |
10.98/11.03 c | 20224 | 13663 58449 177399 | 2147483647 20224 186 | 0.000 % |
11.07/11.11 c | 20345 | 13663 58449 177399 | 2147483647 20345 186 | 0.000 % |
11.07/11.20 c | 20478 | 13663 58449 177399 | 2147483647 20478 186 | 0.000 % |
11.17/11.28 c | 20625 | 13663 58449 177399 | 2147483647 20625 186 | 0.000 % |
11.27/11.38 c | 20786 | 13663 58449 177399 | 2147483647 20786 186 | 0.000 % |
11.37/11.48 c | 20964 | 13663 58449 177399 | 2147483647 20964 186 | 0.000 % |
11.57/11.60 c | 21157 | 13663 58449 177399 | 2147483647 21157 186 | 0.000 % |
11.67/11.72 c | 21371 | 13663 58449 177399 | 2147483647 21371 186 | 0.000 % |
11.77/11.88 c | 21607 | 13663 58449 177399 | 2147483647 21607 186 | 0.000 % |
11.97/12.03 c | 21863 | 13663 58449 177399 | 2147483647 21863 186 | 0.000 % |
12.17/12.21 c | 22145 | 13663 58449 177399 | 2147483647 22145 187 | 0.000 % |
12.37/12.40 c | 22455 | 13663 58449 177399 | 2147483647 22455 187 | 0.000 % |
12.47/12.59 c | 22794 | 13663 58449 177399 | 2147483647 22794 188 | 0.000 % |
12.77/12.81 c | 23166 | 13663 58449 177399 | 2147483647 23166 188 | 0.000 % |
12.97/13.06 c | 23580 | 13663 58449 177399 | 2147483647 23580 188 | 0.000 % |
13.08/13.13 c | 23682 | 13663 58449 177399 | 2147483647 23682 188 | 0.000 % |
13.18/13.20 c | 23793 | 13663 58449 177399 | 2147483647 23793 188 | 0.000 % |
13.18/13.28 c | 23916 | 13663 58449 177399 | 2147483647 23916 188 | 0.000 % |
13.27/13.36 c | 24050 | 13663 58449 177399 | 2147483647 24050 188 | 0.000 % |
13.37/13.45 c | 24197 | 13663 58449 177399 | 2147483647 24197 188 | 0.000 % |
13.47/13.55 c | 24357 | 13663 58449 177399 | 2147483647 24357 188 | 0.000 % |
13.57/13.66 c | 24533 | 13663 58449 177399 | 2147483647 24533 187 | 0.000 % |
13.67/13.78 c | 24726 | 13663 58449 177399 | 2147483647 24726 188 | 0.000 % |
13.87/13.91 c | 24938 | 13663 58449 177399 | 2147483647 24938 188 | 0.000 % |
13.97/14.07 c | 25171 | 13663 58449 177399 | 2147483647 25171 188 | 0.000 % |
14.17/14.23 c | 25428 | 13663 58449 177399 | 2147483647 25428 189 | 0.000 % |
14.27/14.39 c | 25709 | 13663 58449 177399 | 2147483647 25709 189 | 0.000 % |
14.47/14.59 c | 26018 | 13663 58449 177399 | 2147483647 26018 188 | 0.000 % |
14.67/14.78 c | 26357 | 13663 58449 177399 | 2147483647 26357 188 | 0.000 % |
14.97/15.03 c | 26730 | 13663 58449 177399 | 2147483647 26730 189 | 0.000 % |
15.17/15.28 c | 27140 | 13663 58449 177399 | 2147483647 27140 190 | 0.000 % |
15.47/15.56 c | 27589 | 13663 58449 177399 | 2147483647 27589 190 | 0.000 % |
15.57/15.63 c | 27689 | 13663 58449 177399 | 2147483647 27689 190 | 0.000 % |
15.66/15.71 c | 27799 | 13663 58449 177399 | 2147483647 27799 190 | 0.000 % |
15.66/15.80 c | 27921 | 13663 58449 177399 | 2147483647 27921 190 | 0.000 % |
15.76/15.88 c | 28054 | 13663 58449 177399 | 2147483647 28054 190 | 0.000 % |
15.86/15.97 c | 28200 | 13663 58449 177399 | 2147483647 28200 189 | 0.000 % |
15.96/16.07 c | 28360 | 13663 58449 177399 | 2147483647 28360 189 | 0.000 % |
16.06/16.18 c | 28536 | 13663 58449 177399 | 2147483647 28536 190 | 0.000 % |
16.27/16.32 c | 28729 | 13663 58449 177399 | 2147483647 28729 190 | 0.000 % |
16.38/16.46 c | 28951 | 13663 58449 177399 | 2147483647 28951 190 | 0.000 % |
16.57/16.63 c | 29184 | 13663 58449 177399 | 2147483647 29184 190 | 0.000 % |
16.67/16.78 c | 29442 | 13663 58449 177399 | 2147483647 29442 190 | 0.000 % |
16.87/16.96 c | 29723 | 13663 58449 177399 | 2147483647 29723 190 | 0.000 % |
17.07/17.17 c | 30032 | 13663 58449 177399 | 2147483647 30032 190 | 0.000 % |
17.37/17.40 c | 30372 | 13663 58449 177399 | 2147483647 30372 190 | 0.000 % |
17.57/17.65 c | 30744 | 13663 58449 177399 | 2147483647 30744 190 | 0.000 % |
17.87/17.91 c | 31160 | 13663 58449 177399 | 2147483647 31160 191 | 0.000 % |
18.17/18.21 c | 31609 | 13663 58449 177399 | 2147483647 31609 191 | 0.000 % |
18.47/18.54 c | 32104 | 13663 58449 177399 | 2147483647 32104 192 | 0.000 % |
18.57/18.63 c | 32205 | 13663 58449 177399 | 2147483647 32205 192 | 0.000 % |
18.67/18.70 c | 32315 | 13663 58449 177399 | 2147483647 32315 191 | 0.000 % |
18.67/18.79 c | 32436 | 13663 58449 177399 | 2147483647 32436 191 | 0.000 % |
18.77/18.89 c | 32569 | 13663 58449 177399 | 2147483647 32569 191 | 0.000 % |
18.87/19.00 c | 32718 | 13663 58449 177399 | 2147483647 32718 191 | 0.000 % |
19.07/19.11 c | 32878 | 13663 58449 177399 | 2147483647 32878 191 | 0.000 % |
19.17/19.23 c | 33055 | 13663 58449 177399 | 2147483647 33055 191 | 0.000 % |
19.26/19.36 c | 33248 | 13663 58449 177399 | 2147483647 33248 191 | 0.000 % |
19.46/19.50 c | 33460 | 13663 58449 177399 | 2147483647 33460 191 | 0.000 % |
19.56/19.68 c | 33693 | 13663 58449 177399 | 2147483647 33693 191 | 0.000 % |
19.78/19.87 c | 33952 | 13663 58449 177399 | 2147483647 33952 191 | 0.000 % |
19.97/20.08 c | 34237 | 13663 58449 177399 | 2147483647 34237 192 | 0.000 % |
20.17/20.26 c | 34546 | 13663 58449 177399 | 2147483647 34546 192 | 0.000 % |
20.47/20.50 c | 34885 | 13663 58449 177399 | 2147483647 34885 192 | 0.000 % |
20.67/20.77 c | 35257 | 13663 58449 177399 | 2147483647 35257 192 | 0.000 % |
20.97/21.07 c | 35667 | 13663 58449 177399 | 2147483647 35667 192 | 0.000 % |
21.27/21.37 c | 36116 | 13663 58449 177399 | 2147483647 36116 192 | 0.000 % |
21.67/21.73 c | 36609 | 13663 58449 177399 | 2147483647 36609 193 | 0.000 % |
22.06/22.10 c | 37151 | 13663 58449 177399 | 2147483647 37151 193 | 0.000 % |
22.06/22.17 c | 37252 | 13663 58449 177399 | 2147483647 37252 193 | 0.000 % |
22.17/22.25 c | 37363 | 13663 58449 177399 | 2147483647 37363 193 | 0.000 % |
22.27/22.35 c | 37484 | 13663 58449 177399 | 2147483647 37484 193 | 0.000 % |
22.37/22.44 c | 37617 | 13663 58449 177399 | 2147483647 37617 192 | 0.000 % |
22.47/22.55 c | 37763 | 13663 58449 177399 | 2147483647 37763 193 | 0.000 % |
22.57/22.66 c | 37923 | 13663 58449 177399 | 2147483647 37923 192 | 0.000 % |
22.67/22.78 c | 38099 | 13663 58449 177399 | 2147483647 38099 192 | 0.000 % |
22.87/22.93 c | 38292 | 13663 58449 177399 | 2147483647 38292 192 | 0.000 % |
22.98/23.09 c | 38506 | 13663 58449 177399 | 2147483647 38506 193 | 0.000 % |
23.17/23.27 c | 38739 | 13663 58449 177399 | 2147483647 38739 193 | 0.000 % |
23.37/23.44 c | 38996 | 13663 58449 177399 | 2147483647 38996 192 | 0.000 % |
23.57/23.66 c | 39279 | 13663 58449 177399 | 2147483647 39279 193 | 0.000 % |
23.77/23.87 c | 39589 | 13663 58449 177399 | 2147483647 39589 193 | 0.000 % |
24.07/24.11 c | 39928 | 13663 58449 177399 | 2147483647 39928 193 | 0.000 % |
24.27/24.36 c | 40300 | 13663 58449 177399 | 2147483647 40300 193 | 0.000 % |
24.57/24.65 c | 40709 | 13663 58449 177399 | 2147483647 40709 193 | 0.000 % |
24.87/24.99 c | 41158 | 13663 58449 177399 | 2147483647 41158 193 | 0.000 % |
25.27/25.31 c | 41652 | 13663 58449 177399 | 2147483647 41652 194 | 0.000 % |
25.57/25.68 c | 42195 | 13663 58449 177399 | 2147483647 42195 194 | 0.000 % |
25.97/26.09 c | 42792 | 13663 58449 177399 | 2147483647 42792 194 | 0.000 % |
26.07/26.16 c | 42892 | 13663 58449 177399 | 2147483647 42892 194 | 0.000 % |
26.17/26.26 c | 43007 | 13663 58449 177399 | 2147483647 43007 194 | 0.000 % |
26.27/26.37 c | 43130 | 13663 58449 177399 | 2147483647 43130 194 | 0.000 % |
26.37/26.47 c | 43263 | 13663 58449 177399 | 2147483647 43263 194 | 0.000 % |
26.47/26.60 c | 43409 | 13663 58449 177399 | 2147483647 43409 194 | 0.000 % |
26.67/26.71 c | 43569 | 13663 58449 177399 | 2147483647 43569 194 | 0.000 % |
26.77/26.85 c | 43746 | 13663 58449 177399 | 2147483647 43746 194 | 0.000 % |
26.97/27.00 c | 43940 | 13663 58449 177399 | 2147483647 43940 194 | 0.000 % |
27.07/27.16 c | 44152 | 13663 58449 177399 | 2147483647 44152 194 | 0.000 % |
27.27/27.35 c | 44386 | 13663 58449 177399 | 2147483647 44386 194 | 0.000 % |
27.47/27.55 c | 44644 | 13663 58449 177399 | 2147483647 44644 194 | 0.000 % |
27.67/27.76 c | 44926 | 13663 58449 177399 | 2147483647 44926 194 | 0.000 % |
27.97/28.00 c | 45236 | 13663 58449 177399 | 2147483647 45236 194 | 0.000 % |
28.16/28.27 c | 45575 | 13663 58449 177399 | 2147483647 45575 194 | 0.000 % |
28.47/28.56 c | 45948 | 13663 58449 177399 | 2147483647 45948 194 | 0.000 % |
28.76/28.87 c | 46357 | 13663 58449 177399 | 2147483647 46357 194 | 0.000 % |
29.06/29.17 c | 46806 | 13663 58449 177399 | 2147483647 46806 194 | 0.000 % |
29.46/29.53 c | 47301 | 13663 58449 177399 | 2147483647 47301 194 | 0.000 % |
29.86/29.91 c | 47847 | 13663 58449 177399 | 2147483647 47847 195 | 0.000 % |
30.27/30.34 c | 48443 | 13663 58449 177399 | 2147483647 48443 195 | 0.000 % |
30.77/30.82 c | 49099 | 13663 58449 177399 | 2147483647 49099 195 | 0.000 % |
30.87/30.92 c | 49201 | 13663 58449 177399 | 2147483647 49201 195 | 0.000 % |
30.97/31.02 c | 49311 | 13663 58449 177399 | 2147483647 49311 195 | 0.000 % |
31.07/31.12 c | 49432 | 13663 58449 177399 | 2147483647 49432 195 | 0.000 % |
31.17/31.24 c | 49569 | 13663 58449 177399 | 2147483647 49569 195 | 0.000 % |
31.27/31.37 c | 49716 | 13663 58449 177399 | 2147483647 49716 195 | 0.000 % |
31.47/31.50 c | 49876 | 13663 58449 177399 | 2147483647 49876 195 | 0.000 % |
31.57/31.64 c | 50052 | 13663 58449 177399 | 2147483647 50052 195 | 0.000 % |
31.66/31.79 c | 50245 | 13663 58449 177399 | 2147483647 50245 194 | 0.000 % |
31.87/31.95 c | 50458 | 13663 58449 177399 | 2147483647 50458 194 | 0.000 % |
32.06/32.14 c | 50692 | 13663 58449 177399 | 2147483647 50692 195 | 0.000 % |
32.26/32.34 c | 50949 | 13663 58449 177399 | 2147483647 50949 195 | 0.000 % |
32.46/32.55 c | 51233 | 13663 58449 177399 | 2147483647 51233 194 | 0.000 % |
32.67/32.79 c | 51542 | 13663 58449 177399 | 2147483647 51542 195 | 0.000 % |
32.97/33.05 c | 51881 | 13663 58449 177399 | 2147483647 51881 195 | 0.000 % |
33.26/33.35 c | 52254 | 13663 58449 177399 | 2147483647 52254 195 | 0.000 % |
33.66/33.70 c | 52663 | 13663 58449 177399 | 2147483647 52663 195 | 0.000 % |
33.97/34.06 c | 53112 | 13663 58449 177399 | 2147483647 53112 195 | 0.000 % |
34.36/34.45 c | 53607 | 13663 58449 177399 | 2147483647 53607 195 | 0.000 % |
34.86/34.90 c | 54150 | 13663 58449 177399 | 2147483647 54150 195 | 0.000 % |
35.26/35.37 c | 54748 | 13663 58449 177399 | 2147483647 54748 195 | 0.000 % |
35.76/35.87 c | 55403 | 13663 58449 177399 | 2147483647 55403 196 | 0.000 % |
36.27/36.39 c | 56124 | 13663 58449 177399 | 2147483647 56124 196 | 0.000 % |
36.36/36.48 c | 56225 | 13663 58449 177399 | 2147483647 56225 196 | 0.000 % |
36.46/36.58 c | 56337 | 13663 58449 177399 | 2147483647 56337 196 | 0.000 % |
36.56/36.69 c | 56458 | 13663 58449 177399 | 2147483647 56458 196 | 0.000 % |
36.76/36.81 c | 56591 | 13663 58449 177399 | 2147483647 56591 196 | 0.000 % |
36.86/36.96 c | 56737 | 13663 58449 177399 | 2147483647 56737 196 | 0.000 % |
36.96/37.09 c | 56897 | 13663 58449 177399 | 2147483647 56897 196 | 0.000 % |
37.16/37.22 c | 57074 | 13663 58449 177399 | 2147483647 57074 196 | 0.000 % |
37.27/37.38 c | 57269 | 13663 58449 177399 | 2147483647 57269 196 | 0.000 % |
37.46/37.56 c | 57481 | 13663 58449 177399 | 2147483647 57481 196 | 0.000 % |
37.66/37.77 c | 57714 | 13663 58449 177399 | 2147483647 57714 196 | 0.000 % |
37.86/37.99 c | 57970 | 13663 58449 177399 | 2147483647 57970 195 | 0.000 % |
38.16/38.23 c | 58252 | 13663 58449 177399 | 2147483647 58252 195 | 0.000 % |
38.36/38.50 c | 58561 | 13663 58449 177399 | 2147483647 58561 196 | 0.000 % |
38.76/38.81 c | 58900 | 13663 58449 177399 | 2147483647 58900 196 | 0.000 % |
39.06/39.12 c | 59272 | 13663 58449 177399 | 2147483647 59272 196 | 0.000 % |
39.35/39.42 c | 59684 | 13663 58449 177399 | 2147483647 59684 196 | 0.000 % |
39.65/39.78 c | 60133 | 13663 58449 177399 | 2147483647 60133 196 | 0.000 % |
40.06/40.18 c | 60627 | 13663 58449 177399 | 2147483647 60627 197 | 0.000 % |
40.57/40.66 c | 61169 | 13663 58449 177399 | 2147483647 61169 197 | 0.000 % |
41.06/41.15 c | 61767 | 13663 58449 177399 | 2147483647 61767 197 | 0.000 % |
41.56/41.67 c | 62422 | 13663 58449 177399 | 2147483647 62422 198 | 0.000 % |
42.16/42.27 c | 63142 | 13663 58449 177399 | 2147483647 63142 198 | 0.000 % |
42.86/42.94 c | 63935 | 13663 58449 177399 | 2147483647 63935 198 | 0.000 % |
42.96/43.03 c | 64035 | 13663 58449 177399 | 2147483647 64035 198 | 0.000 % |
43.06/43.15 c | 64148 | 13663 58449 177399 | 2147483647 64148 198 | 0.000 % |
43.16/43.27 c | 64270 | 13663 58449 177399 | 2147483647 64270 198 | 0.000 % |
43.36/43.40 c | 64403 | 13663 58449 177399 | 2147483647 64403 198 | 0.000 % |
43.46/43.53 c | 64551 | 13663 58449 177399 | 2147483647 64551 198 | 0.000 % |
43.56/43.69 c | 64711 | 13663 58449 177399 | 2147483647 64711 198 | 0.000 % |
43.76/43.84 c | 64889 | 13663 58449 177399 | 2147483647 64889 198 | 0.000 % |
43.97/44.01 c | 65082 | 13663 58449 177399 | 2147483647 65082 198 | 0.000 % |
44.16/44.22 c | 65294 | 13663 58449 177399 | 2147483647 65294 198 | 0.000 % |
44.36/44.43 c | 65529 | 13663 58449 177399 | 2147483647 65529 198 | 0.000 % |
44.56/44.67 c | 65786 | 13663 58449 177399 | 2147483647 65786 198 | 0.000 % |
44.86/44.94 c | 66067 | 13663 58449 177399 | 2147483647 66067 198 | 0.000 % |
45.16/45.22 c | 66376 | 13663 58449 177399 | 2147483647 66376 198 | 0.000 % |
45.46/45.53 c | 66719 | 13663 58449 177399 | 2147483647 66719 198 | 0.000 % |
45.76/45.86 c | 67091 | 13663 58449 177399 | 2147483647 67091 198 | 0.000 % |
46.06/46.20 c | 67500 | 13663 58449 177399 | 2147483647 67500 198 | 0.000 % |
46.55/46.63 c | 67951 | 13663 58449 177399 | 2147483647 67951 198 | 0.000 % |
46.95/47.07 c | 68446 | 13663 58449 177399 | 2147483647 68446 199 | 0.000 % |
47.46/47.54 c | 68988 | 13663 58449 177399 | 2147483647 68988 199 | 0.000 % |
48.06/48.10 c | 69586 | 13663 58449 177399 | 2147483647 69586 199 | 0.000 % |
48.56/48.68 c | 70241 | 13663 58449 177399 | 2147483647 70241 200 | 0.000 % |
49.16/49.26 c | 70962 | 13663 58449 177399 | 2147483647 70962 201 | 0.000 % |
49.86/49.93 c | 71755 | 13663 58449 177399 | 2147483647 71755 202 | 0.000 % |
50.57/50.68 c | 72626 | 13663 58449 177399 | 2147483647 72626 202 | 0.000 % |
50.66/50.77 c | 72728 | 13663 58449 177399 | 2147483647 72728 202 | 0.000 % |
50.76/50.88 c | 72838 | 13663 58449 177399 | 2147483647 72838 202 | 0.000 % |
50.86/50.99 c | 72959 | 13663 58449 177399 | 2147483647 72959 202 | 0.000 % |
51.06/51.12 c | 73092 | 13663 58449 177399 | 2147483647 73092 202 | 0.000 % |
51.16/51.28 c | 73239 | 13663 58449 177399 | 2147483647 73239 202 | 0.000 % |
51.36/51.43 c | 73399 | 13663 58449 177399 | 2147483647 73399 202 | 0.000 % |
51.57/51.62 c | 73575 | 13663 58449 177399 | 2147483647 73575 202 | 0.000 % |
51.76/51.82 c | 73768 | 13663 58449 177399 | 2147483647 73768 202 | 0.000 % |
51.86/52.00 c | 73981 | 13663 58449 177399 | 2147483647 73981 202 | 0.000 % |
52.16/52.23 c | 74214 | 13663 58449 177399 | 2147483647 74214 202 | 0.000 % |
52.36/52.48 c | 74470 | 13663 58449 177399 | 2147483647 74470 202 | 0.000 % |
52.66/52.75 c | 74751 | 13663 58449 177399 | 2147483647 74751 202 | 0.000 % |
52.96/53.03 c | 75060 | 13663 58449 177399 | 2147483647 75060 201 | 0.000 % |
53.26/53.33 c | 75399 | 13663 58449 177399 | 2147483647 75399 201 | 0.000 % |
53.56/53.69 c | 75771 | 13663 58449 177399 | 2147483647 75771 201 | 0.000 % |
53.96/54.08 c | 76180 | 13663 58449 177399 | 2147483647 76180 201 | 0.000 % |
54.36/54.46 c | 76630 | 13663 58449 177399 | 2147483647 76630 202 | 0.000 % |
54.86/54.90 c | 77123 | 13663 58449 177399 | 2147483647 77123 202 | 0.000 % |
55.25/55.36 c | 77666 | 13663 58449 177399 | 2147483647 77666 203 | 0.000 % |
55.86/55.92 c | 78262 | 13663 58449 177399 | 2147483647 78262 203 | 0.000 % |
56.46/56.50 c | 78918 | 13663 58449 177399 | 2147483647 78918 203 | 0.000 % |
57.06/57.13 c | 79638 | 13663 58449 177399 | 2147483647 79638 203 | 0.000 % |
57.75/57.89 c | 80430 | 13663 58449 177399 | 2147483647 80430 204 | 0.000 % |
58.65/58.71 c | 81303 | 13663 58449 177399 | 2147483647 81303 204 | 0.000 % |
59.46/59.57 c | 82261 | 13663 58449 177399 | 2147483647 82261 204 | 0.000 % |
59.56/59.68 c | 82361 | 13663 58449 177399 | 2147483647 82361 204 | 0.000 % |
59.66/59.80 c | 82471 | 13663 58449 177399 | 2147483647 82471 204 | 0.000 % |
59.86/59.93 c | 82592 | 13663 58449 177399 | 2147483647 82592 204 | 0.000 % |
59.96/60.08 c | 82725 | 13663 58449 177399 | 2147483647 82725 204 | 0.000 % |
60.16/60.24 c | 82871 | 13663 58449 177399 | 2147483647 82871 204 | 0.000 % |
60.36/60.40 c | 83031 | 13663 58449 177399 | 2147483647 83031 204 | 0.000 % |
60.46/60.60 c | 83210 | 13663 58449 177399 | 2147483647 83210 204 | 0.000 % |
60.76/60.81 c | 83403 | 13663 58449 177399 | 2147483647 83403 204 | 0.000 % |
60.96/61.03 c | 83615 | 13663 58449 177399 | 2147483647 83615 204 | 0.000 % |
61.15/61.28 c | 83848 | 13663 58449 177399 | 2147483647 83848 204 | 0.000 % |
61.46/61.53 c | 84104 | 13663 58449 177399 | 2147483647 84104 204 | 0.000 % |
61.75/61.82 c | 84386 | 13663 58449 177399 | 2147483647 84386 204 | 0.000 % |
62.05/62.13 c | 84696 | 13663 58449 177399 | 2147483647 84696 204 | 0.000 % |
62.35/62.48 c | 85035 | 13663 58449 177399 | 2147483647 85035 204 | 0.000 % |
62.75/62.85 c | 85407 | 13663 58449 177399 | 2147483647 85407 204 | 0.000 % |
63.15/63.23 c | 85816 | 13663 58449 177399 | 2147483647 85816 204 | 0.000 % |
63.55/63.67 c | 86265 | 13663 58449 177399 | 2147483647 86265 204 | 0.000 % |
64.05/64.18 c | 86759 | 13663 58449 177399 | 2147483647 86759 204 | 0.000 % |
64.66/64.72 c | 87301 | 13663 58449 177399 | 2147483647 87301 204 | 0.000 % |
65.16/65.27 c | 87898 | 13663 58449 177399 | 2147483647 87898 205 | 0.000 % |
65.86/65.94 c | 88554 | 13663 58449 177399 | 2147483647 88554 205 | 0.000 % |
66.55/66.62 c | 89276 | 13663 58449 177399 | 2147483647 89276 206 | 0.000 % |
67.36/67.44 c | 90068 | 13663 58449 177399 | 2147483647 90068 206 | 0.000 % |
68.26/68.33 c | 90943 | 13663 58449 177399 | 2147483647 90943 206 | 0.000 % |
69.16/69.25 c | 91902 | 13663 58449 177399 | 2147483647 91902 207 | 0.000 % |
70.16/70.28 c | 92955 | 13663 58449 177399 | 2147483647 92955 207 | 0.000 % |
70.26/70.38 c | 93055 | 13663 58449 177399 | 2147483647 93055 207 | 0.000 % |
70.45/70.51 c | 93165 | 13663 58449 177399 | 2147483647 93165 207 | 0.000 % |
70.55/70.66 c | 93286 | 13663 58449 177399 | 2147483647 93286 207 | 0.000 % |
70.75/70.82 c | 93420 | 13663 58449 177399 | 2147483647 93420 207 | 0.000 % |
70.85/70.99 c | 93568 | 13663 58449 177399 | 2147483647 93568 207 | 0.000 % |
71.05/71.16 c | 93728 | 13663 58449 177399 | 2147483647 93728 206 | 0.000 % |
71.25/71.37 c | 93907 | 13663 58449 177399 | 2147483647 93907 206 | 0.000 % |
71.46/71.59 c | 94102 | 13663 58449 177399 | 2147483647 94102 207 | 0.000 % |
71.75/71.81 c | 94314 | 13663 58449 177399 | 2147483647 94314 207 | 0.000 % |
71.95/72.07 c | 94548 | 13663 58449 177399 | 2147483647 94548 207 | 0.000 % |
72.25/72.37 c | 94804 | 13663 58449 177399 | 2147483647 94804 207 | 0.000 % |
72.56/72.69 c | 95087 | 13663 58449 177399 | 2147483647 95087 207 | 0.000 % |
72.85/72.99 c | 95396 | 13663 58449 177399 | 2147483647 95396 207 | 0.000 % |
73.25/73.35 c | 95736 | 13663 58449 177399 | 2147483647 95736 206 | 0.000 % |
73.66/73.74 c | 96109 | 13663 58449 177399 | 2147483647 96109 206 | 0.000 % |
74.05/74.18 c | 96518 | 13663 58449 177399 | 2147483647 96518 206 | 0.000 % |
74.55/74.67 c | 96967 | 13663 58449 177399 | 2147483647 96967 207 | 0.000 % |
75.06/75.15 c | 97460 | 13663 58449 177399 | 2147483647 97460 207 | 0.000 % |
75.55/75.69 c | 98002 | 13663 58449 177399 | 2147483647 98002 207 | 0.000 % |
76.25/76.33 c | 98598 | 13663 58449 177399 | 2147483647 98598 207 | 0.000 % |
76.96/77.00 c | 99254 | 13663 58449 177399 | 2147483647 99254 207 | 0.000 % |
77.65/77.71 c | 99974 | 13663 58449 177399 | 2147483647 99974 208 | 0.000 % |
78.45/78.53 c | 100766 | 13663 58449 177399 | 2147483647 100766 208 | 0.000 % |
79.35/79.47 c | 101638 | 13663 58449 177399 | 2147483647 101638 208 | 0.000 % |
80.26/80.38 c | 102596 | 13663 58449 177399 | 2147483647 102596 208 | 0.000 % |
81.45/81.56 c | 103650 | 13663 58449 177399 | 2147483647 103650 208 | 0.000 % |
82.55/82.69 c | 104808 | 13663 58449 177399 | 2147483647 104808 210 | 0.000 % |
82.75/82.82 c | 104912 | 13663 58449 177399 | 2147483647 104912 209 | 0.000 % |
82.85/82.96 c | 105022 | 13663 58449 177399 | 2147483647 105022 209 | 0.000 % |
83.05/83.14 c | 105146 | 13663 58449 177399 | 2147483647 105146 209 | 0.000 % |
83.26/83.31 c | 105279 | 13663 58449 177399 | 2147483647 105279 209 | 0.000 % |
83.36/83.47 c | 105426 | 13663 58449 177399 | 2147483647 105426 209 | 0.000 % |
83.56/83.66 c | 105586 | 13663 58449 177399 | 2147483647 105586 209 | 0.000 % |
83.86/83.90 c | 105762 | 13663 58449 177399 | 2147483647 105762 209 | 0.000 % |
83.96/84.09 c | 105956 | 13663 58449 177399 | 2147483647 105956 209 | 0.000 % |
84.26/84.32 c | 106170 | 13663 58449 177399 | 2147483647 106170 209 | 0.000 % |
84.46/84.59 c | 106403 | 13663 58449 177399 | 2147483647 106403 209 | 0.000 % |
84.75/84.90 c | 106660 | 13663 58449 177399 | 2147483647 106660 209 | 0.000 % |
85.15/85.20 c | 106942 | 13663 58449 177399 | 2147483647 106942 209 | 0.000 % |
85.45/85.55 c | 107251 | 13663 58449 177399 | 2147483647 107251 209 | 0.000 % |
85.85/85.93 c | 107590 | 13663 58449 177399 | 2147483647 107590 209 | 0.000 % |
86.25/86.32 c | 107962 | 13663 58449 177399 | 2147483647 107962 209 | 0.000 % |
86.76/86.82 c | 108371 | 13663 58449 177399 | 2147483647 108371 209 | 0.000 % |
87.25/87.31 c | 108821 | 13663 58449 177399 | 2147483647 108821 209 | 0.000 % |
87.75/87.90 c | 109315 | 13663 58449 177399 | 2147483647 109315 209 | 0.000 % |
88.45/88.53 c | 109857 | 13663 58449 177399 | 2147483647 109857 209 | 0.000 % |
89.05/89.15 c | 110453 | 13663 58449 177399 | 2147483647 110453 209 | 0.000 % |
89.76/89.83 c | 111108 | 13663 58449 177399 | 2147483647 111108 209 | 0.000 % |
90.56/90.61 c | 111829 | 13663 58449 177399 | 2147483647 111829 210 | 0.000 % |
91.35/91.47 c | 112621 | 13663 58449 177399 | 2147483647 112621 210 | 0.000 % |
92.35/92.41 c | 113492 | 13663 58449 177399 | 2147483647 113492 210 | 0.000 % |
93.36/93.44 c | 114451 | 13663 58449 177399 | 2147483647 114451 210 | 0.000 % |
94.56/94.62 c | 115504 | 13663 58449 177399 | 2147483647 115504 210 | 0.000 % |
95.75/95.87 c | 116664 | 13663 58449 177399 | 2147483647 116664 211 | 0.000 % |
97.15/97.30 c | 117937 | 13663 58449 177399 | 2147483647 117937 211 | 0.000 % |
97.35/97.42 c | 118038 | 13663 58449 177399 | 2147483647 118038 211 | 0.000 % |
97.45/97.57 c | 118148 | 13663 58449 177399 | 2147483647 118148 211 | 0.000 % |
97.65/97.71 c | 118269 | 13663 58449 177399 | 2147483647 118269 211 | 0.000 % |
97.75/97.89 c | 118402 | 13663 58449 177399 | 2147483647 118402 211 | 0.000 % |
97.96/98.07 c | 118549 | 13663 58449 177399 | 2147483647 118549 211 | 0.000 % |
98.26/98.32 c | 118709 | 13663 58449 177399 | 2147483647 118709 211 | 0.000 % |
98.46/98.53 c | 118887 | 13663 58449 177399 | 2147483647 118887 211 | 0.000 % |
98.66/98.76 c | 119080 | 13663 58449 177399 | 2147483647 119080 211 | 0.000 % |
98.96/99.01 c | 119292 | 13663 58449 177399 | 2147483647 119292 211 | 0.000 % |
99.16/99.28 c | 119525 | 13663 58449 177399 | 2147483647 119525 211 | 0.000 % |
99.45/99.59 c | 119783 | 13663 58449 177399 | 2147483647 119783 211 | 0.000 % |
99.85/99.92 c | 120064 | 13663 58449 177399 | 2147483647 120064 211 | 0.000 % |
100.25/100.36 c | 120373 | 13663 58449 177399 | 2147483647 120373 211 | 0.000 % |
100.65/100.76 c | 120712 | 13663 58449 177399 | 2147483647 120712 211 | 0.000 % |
101.05/101.17 c | 121085 | 13663 58449 177399 | 2147483647 121085 211 | 0.000 % |
101.65/101.70 c | 121494 | 13663 58449 177399 | 2147483647 121494 211 | 0.000 % |
102.16/102.21 c | 121943 | 13663 58449 177399 | 2147483647 121943 211 | 0.000 % |
102.66/102.76 c | 122437 | 13663 58449 177399 | 2147483647 122437 211 | 0.000 % |
103.26/103.37 c | 122980 | 13663 58449 177399 | 2147483647 122980 211 | 0.000 % |
103.95/104.09 c | 123577 | 13663 58449 177399 | 2147483647 123577 211 | 0.000 % |
104.75/104.84 c | 124232 | 13663 58449 177399 | 2147483647 124232 211 | 0.000 % |
105.55/105.70 c | 124952 | 13663 58449 177399 | 2147483647 124952 211 | 0.000 % |
106.56/106.61 c | 125744 | 13663 58449 177399 | 2147483647 125744 212 | 0.000 % |
107.55/107.62 c | 126617 | 13663 58449 177399 | 2147483647 126617 212 | 0.000 % |
108.65/108.73 c | 127575 | 13663 58449 177399 | 2147483647 127575 212 | 0.000 % |
109.85/109.92 c | 128628 | 13663 58449 177399 | 2147483647 128628 212 | 0.000 % |
111.15/111.20 c | 129786 | 13663 58449 177399 | 2147483647 129786 213 | 0.000 % |
112.55/112.61 c | 131060 | 13663 58449 177399 | 2147483647 131060 213 | 0.000 % |
114.25/114.30 c | 132461 | 13663 58449 177399 | 2147483647 132461 214 | 0.000 % |
114.35/114.45 c | 132561 | 13663 58449 177399 | 2147483647 132561 214 | 0.000 % |
114.55/114.62 c | 132672 | 13663 58449 177399 | 2147483647 132672 214 | 0.000 % |
114.65/114.78 c | 132793 | 13663 58449 177399 | 2147483647 132793 214 | 0.000 % |
114.85/114.96 c | 132927 | 13663 58449 177399 | 2147483647 132927 214 | 0.000 % |
115.05/115.17 c | 133074 | 13663 58449 177399 | 2147483647 133074 214 | 0.000 % |
115.25/115.39 c | 133234 | 13663 58449 177399 | 2147483647 133234 214 | 0.000 % |
115.55/115.68 c | 133410 | 13663 58449 177399 | 2147483647 133410 214 | 0.000 % |
115.85/115.95 c | 133604 | 13663 58449 177399 | 2147483647 133604 214 | 0.000 % |
116.16/116.24 c | 133817 | 13663 58449 177399 | 2147483647 133817 214 | 0.000 % |
116.46/116.52 c | 134051 | 13663 58449 177399 | 2147483647 134051 214 | 0.000 % |
116.75/116.85 c | 134307 | 13663 58449 177399 | 2147483647 134307 214 | 0.000 % |
117.15/117.22 c | 134588 | 13663 58449 177399 | 2147483647 134588 214 | 0.000 % |
117.55/117.65 c | 134898 | 13663 58449 177399 | 2147483647 134898 214 | 0.000 % |
117.95/118.07 c | 135237 | 13663 58449 177399 | 2147483647 135237 214 | 0.000 % |
118.46/118.57 c | 135611 | 13663 58449 177399 | 2147483647 135611 214 | 0.000 % |
118.96/119.02 c | 136020 | 13663 58449 177399 | 2147483647 136020 214 | 0.000 % |
119.55/119.65 c | 136470 | 13663 58449 177399 | 2147483647 136470 214 | 0.000 % |
120.25/120.31 c | 136964 | 13663 58449 177399 | 2147483647 136964 214 | 0.000 % |
120.95/121.01 c | 137507 | 13663 58449 177399 | 2147483647 137507 214 | 0.000 % |
121.75/121.80 c | 138104 | 13663 58449 177399 | 2147483647 138104 214 | 0.000 % |
122.46/122.59 c | 138764 | 13663 58449 177399 | 2147483647 138764 214 | 0.000 % |
123.35/123.44 c | 139485 | 13663 58449 177399 | 2147483647 139485 214 | 0.000 % |
124.35/124.40 c | 140282 | 13663 58449 177399 | 2147483647 140282 214 | 0.000 % |
125.36/125.46 c | 141153 | 13663 58449 177399 | 2147483647 141153 214 | 0.000 % |
126.65/126.71 c | 142113 | 13663 58449 177399 | 2147483647 142113 215 | 0.000 % |
127.95/128.04 c | 143166 | 13663 58449 177399 | 2147483647 143166 215 | 0.000 % |
129.45/129.54 c | 144325 | 13663 58449 177399 | 2147483647 144325 215 | 0.000 % |
131.05/131.15 c | 145598 | 13663 58449 177399 | 2147483647 145598 215 | 0.000 % |
132.85/132.94 c | 146998 | 13663 58449 177399 | 2147483647 146998 216 | 0.000 % |
134.65/134.78 c | 148539 | 13663 58449 177399 | 2147483647 148539 216 | 0.000 % |
134.85/134.96 c | 148640 | 13663 58449 177399 | 2147483647 148640 216 | 0.000 % |
135.05/135.13 c | 148750 | 13663 58449 177399 | 2147483647 148750 216 | 0.000 % |
135.26/135.32 c | 148872 | 13663 58449 177399 | 2147483647 148872 216 | 0.000 % |
135.45/135.52 c | 149006 | 13663 58449 177399 | 2147483647 149006 216 | 0.000 % |
135.65/135.73 c | 149153 | 13663 58449 177399 | 2147483647 149153 216 | 0.000 % |
135.85/135.98 c | 149313 | 13663 58449 177399 | 2147483647 149313 216 | 0.000 % |
136.15/136.25 c | 149491 | 13663 58449 177399 | 2147483647 149491 216 | 0.000 % |
136.45/136.50 c | 149684 | 13663 58449 177399 | 2147483647 149684 216 | 0.000 % |
136.75/136.81 c | 149899 | 13663 58449 177399 | 2147483647 149899 216 | 0.000 % |
137.05/137.13 c | 150132 | 13663 58449 177399 | 2147483647 150132 216 | 0.000 % |
137.36/137.47 c | 150389 | 13663 58449 177399 | 2147483647 150389 216 | 0.000 % |
137.75/137.85 c | 150671 | 13663 58449 177399 | 2147483647 150671 216 | 0.000 % |
138.15/138.27 c | 150982 | 13663 58449 177399 | 2147483647 150982 216 | 0.000 % |
138.65/138.75 c | 151322 | 13663 58449 177399 | 2147483647 151322 216 | 0.000 % |
139.16/139.24 c | 151695 | 13663 58449 177399 | 2147483647 151695 216 | 0.000 % |
139.66/139.77 c | 152104 | 13663 58449 177399 | 2147483647 152104 216 | 0.000 % |
140.25/140.38 c | 152553 | 13663 58449 177399 | 2147483647 152553 216 | 0.000 % |
140.95/141.07 c | 153046 | 13663 58449 177399 | 2147483647 153046 216 | 0.000 % |
141.65/141.76 c | 153588 | 13663 58449 177399 | 2147483647 153588 216 | 0.000 % |
142.45/142.56 c | 154184 | 13663 58449 177399 | 2147483647 154184 216 | 0.000 % |
143.35/143.44 c | 154839 | 13663 58449 177399 | 2147483647 154839 216 | 0.000 % |
144.25/144.35 c | 155559 | 13663 58449 177399 | 2147483647 155559 216 | 0.000 % |
145.35/145.49 c | 156352 | 13663 58449 177399 | 2147483647 156352 216 | 0.000 % |
146.55/146.65 c | 157223 | 13663 58449 177399 | 2147483647 157223 216 | 0.000 % |
147.85/147.96 c | 158181 | 13663 58449 177399 | 2147483647 158181 216 | 0.000 % |
149.35/149.40 c | 159234 | 13663 58449 177399 | 2147483647 159234 216 | 0.000 % |
150.86/150.90 c | 160392 | 13663 58449 177399 | 2147483647 160392 217 | 0.000 % |
152.55/152.62 c | 161666 | 13663 58449 177399 | 2147483647 161666 217 | 0.000 % |
154.36/154.40 c | 163067 | 13663 58449 177399 | 2147483647 163067 217 | 0.000 % |
156.45/156.52 c | 164611 | 13663 58449 177399 | 2147483647 164611 218 | 0.000 % |
158.75/158.84 c | 166305 | 13663 58449 177399 | 2147483647 166305 218 | 0.000 % |
158.86/158.99 c | 166405 | 13663 58449 177399 | 2147483647 166405 218 | 0.000 % |
159.05/159.18 c | 166515 | 13663 58449 177399 | 2147483647 166515 218 | 0.000 % |
159.25/159.39 c | 166636 | 13663 58449 177399 | 2147483647 166636 218 | 0.000 % |
159.46/159.59 c | 166771 | 13663 58449 177399 | 2147483647 166771 218 | 0.000 % |
159.75/159.80 c | 166917 | 13663 58449 177399 | 2147483647 166917 218 | 0.000 % |
159.95/160.05 c | 167077 | 13663 58449 177399 | 2147483647 167077 218 | 0.000 % |
160.25/160.34 c | 167253 | 13663 58449 177399 | 2147483647 167253 218 | 0.000 % |
160.56/160.65 c | 167446 | 13663 58449 177399 | 2147483647 167446 218 | 0.000 % |
160.85/160.98 c | 167658 | 13663 58449 177399 | 2147483647 167658 218 | 0.000 % |
161.25/161.33 c | 167892 | 13663 58449 177399 | 2147483647 167892 218 | 0.000 % |
161.66/161.75 c | 168150 | 13663 58449 177399 | 2147483647 168150 218 | 0.000 % |
162.05/162.16 c | 168432 | 13663 58449 177399 | 2147483647 168432 217 | 0.000 % |
162.55/162.61 c | 168742 | 13663 58449 177399 | 2147483647 168742 217 | 0.000 % |
163.05/163.15 c | 169082 | 13663 58449 177399 | 2147483647 169082 217 | 0.000 % |
163.65/163.72 c | 169455 | 13663 58449 177399 | 2147483647 169455 217 | 0.000 % |
164.25/164.33 c | 169864 | 13663 58449 177399 | 2147483647 169864 217 | 0.000 % |
164.85/164.99 c | 170313 | 13663 58449 177399 | 2147483647 170313 217 | 0.000 % |
165.65/165.70 c | 170808 | 13663 58449 177399 | 2147483647 170808 217 | 0.000 % |
166.45/166.50 c | 171352 | 13663 58449 177399 | 2147483647 171352 217 | 0.000 % |
167.25/167.37 c | 171948 | 13663 58449 177399 | 2147483647 171948 217 | 0.000 % |
168.15/168.26 c | 172606 | 13663 58449 177399 | 2147483647 172606 218 | 0.000 % |
169.15/169.25 c | 173326 | 13663 58449 177399 | 2147483647 173326 218 | 0.000 % |
170.25/170.37 c | 174118 | 13663 58449 177399 | 2147483647 174118 218 | 0.000 % |
171.46/171.58 c | 174989 | 13663 58449 177399 | 2147483647 174989 218 | 0.000 % |
172.85/172.95 c | 175947 | 13663 58449 177399 | 2147483647 175947 219 | 0.000 % |
174.25/174.33 c | 177001 | 13663 58449 177399 | 2147483647 177001 219 | 0.000 % |
175.96/176.04 c | 178160 | 13663 58449 177399 | 2147483647 178160 219 | 0.000 % |
177.85/177.94 c | 179434 | 13663 58449 177399 | 2147483647 179434 219 | 0.000 % |
179.95/180.03 c | 180834 | 13663 58449 177399 | 2147483647 180834 220 | 0.000 % |
182.15/182.26 c | 182374 | 13663 58449 177399 | 2147483647 182374 221 | 0.000 % |
184.45/184.53 c | 184068 | 13663 58449 177399 | 2147483647 184068 221 | 0.000 % |
187.05/187.17 c | 185931 | 13663 58449 177399 | 2147483647 185931 222 | 0.000 % |
187.25/187.37 c | 186034 | 13663 58449 177399 | 2147483647 186034 222 | 0.000 % |
187.55/187.60 c | 186147 | 13663 58449 177399 | 2147483647 186147 222 | 0.000 % |
187.75/187.81 c | 186268 | 13663 58449 177399 | 2147483647 186268 222 | 0.000 % |
187.96/188.03 c | 186401 | 13663 58449 177399 | 2147483647 186401 222 | 0.000 % |
188.15/188.28 c | 186548 | 13663 58449 177399 | 2147483647 186548 222 | 0.000 % |
188.45/188.57 c | 186709 | 13663 58449 177399 | 2147483647 186709 222 | 0.000 % |
188.75/188.89 c | 186886 | 13663 58449 177399 | 2147483647 186886 222 | 0.000 % |
189.16/189.21 c | 187081 | 13663 58449 177399 | 2147483647 187081 222 | 0.000 % |
189.45/189.58 c | 187293 | 13663 58449 177399 | 2147483647 187293 221 | 0.000 % |
189.85/189.95 c | 187527 | 13663 58449 177399 | 2147483647 187527 221 | 0.000 % |
190.35/190.43 c | 187784 | 13663 58449 177399 | 2147483647 187784 221 | 0.000 % |
190.75/190.89 c | 188065 | 13663 58449 177399 | 2147483647 188065 221 | 0.000 % |
191.35/191.43 c | 188375 | 13663 58449 177399 | 2147483647 188375 221 | 0.000 % |
191.85/191.96 c | 188716 | 13663 58449 177399 | 2147483647 188716 221 | 0.000 % |
192.46/192.52 c | 189089 | 13663 58449 177399 | 2147483647 189089 221 | 0.000 % |
193.05/193.18 c | 189499 | 13663 58449 177399 | 2147483647 189499 221 | 0.000 % |
193.75/193.88 c | 189949 | 13663 58449 177399 | 2147483647 189949 221 | 0.000 % |
194.56/194.64 c | 190443 | 13663 58449 177399 | 2147483647 190443 221 | 0.000 % |
195.35/195.47 c | 190987 | 13663 58449 177399 | 2147483647 190987 221 | 0.000 % |
196.25/196.37 c | 191583 | 13663 58449 177399 | 2147483647 191583 221 | 0.000 % |
197.25/197.33 c | 192239 | 13663 58449 177399 | 2147483647 192239 221 | 0.000 % |
198.25/198.36 c | 192961 | 13663 58449 177399 | 2147483647 192961 222 | 0.000 % |
199.55/199.64 c | 193756 | 13663 58449 177399 | 2147483647 193756 222 | 0.000 % |
200.85/200.93 c | 194627 | 13663 58449 177399 | 2147483647 194627 222 | 0.000 % |
202.25/202.39 c | 195585 | 13663 58449 177399 | 2147483647 195585 222 | 0.000 % |
203.95/204.05 c | 196638 | 13663 58449 177399 | 2147483647 196638 222 | 0.000 % |
205.66/205.70 c | 197797 | 13663 58449 177399 | 2147483647 197797 222 | 0.000 % |
207.65/207.73 c | 199071 | 13663 58449 177399 | 2147483647 199071 222 | 0.000 % |
209.85/209.96 c | 200473 | 13663 58449 177399 | 2147483647 200473 223 | 0.000 % |
212.35/212.44 c | 202014 | 13663 58449 177399 | 2147483647 202014 223 | 0.000 % |
214.95/215.05 c | 203708 | 13663 58449 177399 | 2147483647 203708 223 | 0.000 % |
217.95/218.05 c | 205573 | 13663 58449 177399 | 2147483647 205573 223 | 0.000 % |
221.15/221.27 c | 207623 | 13663 58449 177399 | 2147483647 207623 224 | 0.000 % |
221.34/221.46 c | 207723 | 13663 58449 177399 | 2147483647 207723 224 | 0.000 % |
221.54/221.67 c | 207833 | 13663 58449 177399 | 2147483647 207833 224 | 0.000 % |
221.84/221.90 c | 207954 | 13663 58449 177399 | 2147483647 207954 224 | 0.000 % |
221.94/222.09 c | 208087 | 13663 58449 177399 | 2147483647 208087 224 | 0.000 % |
222.24/222.37 c | 208233 | 13663 58449 177399 | 2147483647 208233 224 | 0.000 % |
222.55/222.67 c | 208393 | 13663 58449 177399 | 2147483647 208393 224 | 0.000 % |
222.85/222.98 c | 208570 | 13663 58449 177399 | 2147483647 208570 224 | 0.000 % |
223.26/223.36 c | 208766 | 13663 58449 177399 | 2147483647 208766 224 | 0.000 % |
223.65/223.73 c | 208978 | 13663 58449 177399 | 2147483647 208978 224 | 0.000 % |
224.05/224.14 c | 209214 | 13663 58449 177399 | 2147483647 209214 223 | 0.000 % |
224.54/224.60 c | 209470 | 13663 58449 177399 | 2147483647 209470 223 | 0.000 % |
224.94/225.09 c | 209752 | 13663 58449 177399 | 2147483647 209752 223 | 0.000 % |
225.54/225.65 c | 210061 | 13663 58449 177399 | 2147483647 210061 223 | 0.000 % |
226.14/226.25 c | 210400 | 13663 58449 177399 | 2147483647 210400 223 | 0.000 % |
226.74/226.86 c | 210774 | 13663 58449 177399 | 2147483647 210774 223 | 0.000 % |
227.45/227.51 c | 211186 | 13663 58449 177399 | 2147483647 211186 223 | 0.000 % |
228.15/228.20 c | 211635 | 13663 58449 177399 | 2147483647 211635 223 | 0.000 % |
228.95/229.09 c | 212129 | 13663 58449 177399 | 2147483647 212129 223 | 0.000 % |
229.85/230.00 c | 212672 | 13663 58449 177399 | 2147483647 212672 223 | 0.000 % |
230.85/230.99 c | 213269 | 13663 58449 177399 | 2147483647 213269 223 | 0.000 % |
232.05/232.13 c | 213924 | 13663 58449 177399 | 2147483647 213924 223 | 0.000 % |
233.15/233.28 c | 214646 | 13663 58449 177399 | 2147483647 214646 223 | 0.000 % |
234.45/234.58 c | 215441 | 13663 58449 177399 | 2147483647 215441 223 | 0.000 % |
235.85/235.95 c | 216312 | 13663 58449 177399 | 2147483647 216312 223 | 0.000 % |
237.34/237.46 c | 217273 | 13663 58449 177399 | 2147483647 217273 223 | 0.000 % |
239.15/239.29 c | 218330 | 13663 58449 177399 | 2147483647 218330 223 | 0.000 % |
240.94/241.00 c | 219491 | 13663 58449 177399 | 2147483647 219491 223 | 0.000 % |
243.05/243.14 c | 220767 | 13663 58449 177399 | 2147483647 220767 224 | 0.000 % |
245.34/245.40 c | 222167 | 13663 58449 177399 | 2147483647 222167 224 | 0.000 % |
247.85/247.95 c | 223707 | 13663 58449 177399 | 2147483647 223707 224 | 0.000 % |
250.65/250.80 c | 225403 | 13663 58449 177399 | 2147483647 225403 224 | 0.000 % |
253.75/253.90 c | 227266 | 13663 58449 177399 | 2147483647 227266 225 | 0.000 % |
257.15/257.25 c | 229316 | 13663 58449 177399 | 2147483647 229316 225 | 0.000 % |
260.65/260.77 c | 231569 | 13663 58449 177399 | 2147483647 231569 225 | 0.000 % |
260.94/261.00 c | 231670 | 13663 58449 177399 | 2147483647 231670 225 | 0.000 % |
261.15/261.27 c | 231780 | 13663 58449 177399 | 2147483647 231780 225 | 0.000 % |
261.35/261.49 c | 231901 | 13663 58449 177399 | 2147483647 231901 225 | 0.000 % |
261.75/261.81 c | 232035 | 13663 58449 177399 | 2147483647 232035 225 | 0.000 % |
262.05/262.17 c | 232181 | 13663 58449 177399 | 2147483647 232181 225 | 0.000 % |
262.35/262.47 c | 232341 | 13663 58449 177399 | 2147483647 232341 225 | 0.000 % |
262.75/262.81 c | 232517 | 13663 58449 177399 | 2147483647 232517 225 | 0.000 % |
263.15/263.23 c | 232711 | 13663 58449 177399 | 2147483647 232711 225 | 0.000 % |
263.55/263.63 c | 232923 | 13663 58449 177399 | 2147483647 232923 225 | 0.000 % |
264.05/264.11 c | 233156 | 13663 58449 177399 | 2147483647 233156 225 | 0.000 % |
264.45/264.58 c | 233413 | 13663 58449 177399 | 2147483647 233413 225 | 0.000 % |
265.05/265.11 c | 233694 | 13663 58449 177399 | 2147483647 233694 225 | 0.000 % |
265.55/265.69 c | 234006 | 13663 58449 177399 | 2147483647 234006 225 | 0.000 % |
266.25/266.37 c | 234345 | 13663 58449 177399 | 2147483647 234345 225 | 0.000 % |
267.04/267.10 c | 234717 | 13663 58449 177399 | 2147483647 234717 225 | 0.000 % |
267.75/267.86 c | 235126 | 13663 58449 177399 | 2147483647 235126 225 | 0.000 % |
268.55/268.65 c | 235575 | 13663 58449 177399 | 2147483647 235575 225 | 0.000 % |
269.55/269.63 c | 236068 | 13663 58449 177399 | 2147483647 236068 225 | 0.000 % |
270.55/270.63 c | 236611 | 13663 58449 177399 | 2147483647 236611 225 | 0.000 % |
271.55/271.65 c | 237207 | 13663 58449 177399 | 2147483647 237207 225 | 0.000 % |
272.75/272.85 c | 237863 | 13663 58449 177399 | 2147483647 237863 225 | 0.000 % |
274.05/274.10 c | 238584 | 13663 58449 177399 | 2147483647 238584 225 | 0.000 % |
275.45/275.55 c | 239378 | 13663 58449 177399 | 2147483647 239378 225 | 0.000 % |
277.05/277.16 c | 240253 | 13663 58449 177399 | 2147483647 240253 225 | 0.000 % |
278.85/278.92 c | 241211 | 13663 58449 177399 | 2147483647 241211 225 | 0.000 % |
280.65/280.75 c | 242265 | 13663 58449 177399 | 2147483647 242265 225 | 0.000 % |
282.74/282.84 c | 243424 | 13663 58449 177399 | 2147483647 243424 226 | 0.000 % |
284.95/285.03 c | 244698 | 13663 58449 177399 | 2147483647 244698 226 | 0.000 % |
287.35/287.49 c | 246098 | 13663 58449 177399 | 2147483647 246098 226 | 0.000 % |
290.14/290.22 c | 247638 | 13663 58449 177399 | 2147483647 247638 226 | 0.000 % |
292.95/293.08 c | 249332 | 13663 58449 177399 | 2147483647 249332 226 | 0.000 % |
296.25/296.38 c | 251196 | 13663 58449 177399 | 2147483647 251196 226 | 0.000 % |
299.85/299.94 c | 253247 | 13663 58449 177399 | 2147483647 253247 226 | 0.000 % |
303.85/303.90 c | 255502 | 13663 58449 177399 | 2147483647 255502 226 | 0.000 % |
308.35/308.42 c | 257981 | 13663 58449 177399 | 2147483647 257981 226 | 0.000 % |
308.55/308.64 c | 258081 | 13663 58449 177399 | 2147483647 258081 226 | 0.000 % |
308.85/308.94 c | 258192 | 13663 58449 177399 | 2147483647 258192 226 | 0.000 % |
309.15/309.21 c | 258313 | 13663 58449 177399 | 2147483647 258313 226 | 0.000 % |
309.45/309.51 c | 258448 | 13663 58449 177399 | 2147483647 258448 226 | 0.000 % |
309.75/309.83 c | 258595 | 13663 58449 177399 | 2147483647 258595 226 | 0.000 % |
310.15/310.22 c | 258757 | 13663 58449 177399 | 2147483647 258757 226 | 0.000 % |
310.55/310.60 c | 258933 | 13663 58449 177399 | 2147483647 258933 226 | 0.000 % |
310.85/311.00 c | 259128 | 13663 58449 177399 | 2147483647 259128 226 | 0.000 % |
311.35/311.44 c | 259340 | 13663 58449 177399 | 2147483647 259340 226 | 0.000 % |
311.85/311.94 c | 259574 | 13663 58449 177399 | 2147483647 259574 226 | 0.000 % |
312.45/312.52 c | 259830 | 13663 58449 177399 | 2147483647 259830 226 | 0.000 % |
312.95/313.09 c | 260111 | 13663 58449 177399 | 2147483647 260111 226 | 0.000 % |
313.55/313.69 c | 260422 | 13663 58449 177399 | 2147483647 260422 226 | 0.000 % |
314.35/314.44 c | 260762 | 13663 58449 177399 | 2147483647 260762 226 | 0.000 % |
315.15/315.26 c | 261134 | 13663 58449 177399 | 2147483647 261134 226 | 0.000 % |
315.96/316.02 c | 261543 | 13663 58449 177399 | 2147483647 261543 226 | 0.000 % |
316.86/316.98 c | 261992 | 13663 58449 177399 | 2147483647 261992 226 | 0.000 % |
317.86/317.94 c | 262485 | 13663 58449 177399 | 2147483647 262485 226 | 0.000 % |
318.86/318.99 c | 263027 | 13663 58449 177399 | 2147483647 263027 226 | 0.000 % |
320.15/320.21 c | 263624 | 13663 58449 177399 | 2147483647 263624 226 | 0.000 % |
321.35/321.48 c | 264280 | 13663 58449 177399 | 2147483647 264280 226 | 0.000 % |
322.75/322.88 c | 265003 | 13663 58449 177399 | 2147483647 265003 226 | 0.000 % |
324.36/324.49 c | 265798 | 13663 58449 177399 | 2147483647 265798 226 | 0.000 % |
325.95/326.07 c | 266669 | 13663 58449 177399 | 2147483647 266669 226 | 0.000 % |
327.76/327.82 c | 267628 | 13663 58449 177399 | 2147483647 267628 226 | 0.000 % |
329.75/329.81 c | 268682 | 13663 58449 177399 | 2147483647 268682 226 | 0.000 % |
331.85/331.92 c | 269840 | 13663 58449 177399 | 2147483647 269840 226 | 0.000 % |
334.15/334.26 c | 271114 | 13663 58449 177399 | 2147483647 271114 226 | 0.000 % |
336.65/336.73 c | 272518 | 13663 58449 177399 | 2147483647 272518 226 | 0.000 % |
339.75/339.83 c | 274059 | 13663 58449 177399 | 2147483647 274059 226 | 0.000 % |
343.06/343.11 c | 275756 | 13663 58449 177399 | 2147483647 275756 227 | 0.000 % |
346.65/346.74 c | 277620 | 13663 58449 177399 | 2147483647 277620 227 | 0.000 % |
350.55/350.62 c | 279669 | 13663 58449 177399 | 2147483647 279669 227 | 0.000 % |
354.55/354.64 c | 281922 | 13663 58449 177399 | 2147483647 281922 228 | 0.000 % |
359.15/359.25 c | 284400 | 13663 58449 177399 | 2147483647 284400 228 | 0.000 % |
364.05/364.18 c | 287126 | 13663 58449 177399 | 2147483647 287126 229 | 0.000 % |
364.35/364.42 c | 287226 | 13663 58449 177399 | 2147483647 287226 229 | 0.000 % |
364.55/364.69 c | 287336 | 13663 58449 177399 | 2147483647 287336 229 | 0.000 % |
364.85/364.99 c | 287457 | 13663 58449 177399 | 2147483647 287457 229 | 0.000 % |
365.25/365.32 c | 287593 | 13663 58449 177399 | 2147483647 287593 229 | 0.000 % |
365.65/365.71 c | 287741 | 13663 58449 177399 | 2147483647 287741 229 | 0.000 % |
365.95/366.08 c | 287904 | 13663 58449 177399 | 2147483647 287904 229 | 0.000 % |
366.45/366.53 c | 288082 | 13663 58449 177399 | 2147483647 288082 229 | 0.000 % |
366.95/367.00 c | 288276 | 13663 58449 177399 | 2147483647 288276 229 | 0.000 % |
367.36/367.47 c | 288489 | 13663 58449 177399 | 2147483647 288489 229 | 0.000 % |
367.96/368.03 c | 288724 | 13663 58449 177399 | 2147483647 288724 229 | 0.000 % |
368.55/368.65 c | 288981 | 13663 58449 177399 | 2147483647 288981 229 | 0.000 % |
369.25/369.31 c | 289262 | 13663 58449 177399 | 2147483647 289262 229 | 0.000 % |
369.85/369.94 c | 289571 | 13663 58449 177399 | 2147483647 289571 229 | 0.000 % |
370.66/370.71 c | 289911 | 13663 58449 177399 | 2147483647 289911 229 | 0.000 % |
371.45/371.58 c | 290285 | 13663 58449 177399 | 2147483647 290285 228 | 0.000 % |
372.35/372.48 c | 290695 | 13663 58449 177399 | 2147483647 290695 228 | 0.000 % |
373.25/373.39 c | 291144 | 13663 58449 177399 | 2147483647 291144 228 | 0.000 % |
374.35/374.45 c | 291638 | 13663 58449 177399 | 2147483647 291638 228 | 0.000 % |
375.35/375.49 c | 292181 | 13663 58449 177399 | 2147483647 292181 228 | 0.000 % |
376.65/376.74 c | 292777 | 13663 58449 177399 | 2147483647 292777 228 | 0.000 % |
378.05/378.12 c | 293432 | 13663 58449 177399 | 2147483647 293432 228 | 0.000 % |
379.55/379.60 c | 294152 | 13663 58449 177399 | 2147483647 294152 228 | 0.000 % |
381.15/381.23 c | 294946 | 13663 58449 177399 | 2147483647 294946 228 | 0.000 % |
383.05/383.13 c | 295817 | 13663 58449 177399 | 2147483647 295817 228 | 0.000 % |
385.06/385.15 c | 296777 | 13663 58449 177399 | 2147483647 296777 228 | 0.000 % |
387.26/387.37 c | 297832 | 13663 58449 177399 | 2147483647 297832 228 | 0.000 % |
389.55/389.65 c | 298990 | 13663 58449 177399 | 2147483647 298990 228 | 0.000 % |
392.26/392.34 c | 300266 | 13663 58449 177399 | 2147483647 300266 229 | 0.000 % |
394.95/395.01 c | 301667 | 13663 58449 177399 | 2147483647 301667 229 | 0.000 % |
397.96/398.05 c | 303209 | 13663 58449 177399 | 2147483647 303209 229 | 0.000 % |
401.25/401.38 c | 304907 | 13663 58449 177399 | 2147483647 304907 229 | 0.000 % |
405.06/405.11 c | 306771 | 13663 58449 177399 | 2147483647 306771 229 | 0.000 % |
408.96/409.07 c | 308820 | 13663 58449 177399 | 2147483647 308820 230 | 0.000 % |
413.46/413.52 c | 311074 | 13663 58449 177399 | 2147483647 311074 230 | 0.000 % |
418.65/418.72 c | 313554 | 13663 58449 177399 | 2147483647 313554 230 | 0.000 % |
424.36/424.40 c | 316282 | 13663 58449 177399 | 2147483647 316282 230 | 0.000 % |
430.46/430.59 c | 319279 | 13663 58449 177399 | 2147483647 319279 231 | 0.000 % |
430.76/430.81 c | 319379 | 13663 58449 177399 | 2147483647 319379 231 | 0.000 % |
431.06/431.11 c | 319491 | 13663 58449 177399 | 2147483647 319491 231 | 0.000 % |
431.36/431.44 c | 319613 | 13663 58449 177399 | 2147483647 319613 231 | 0.000 % |
431.66/431.75 c | 319746 | 13663 58449 177399 | 2147483647 319746 231 | 0.000 % |
432.06/432.13 c | 319892 | 13663 58449 177399 | 2147483647 319892 231 | 0.000 % |
432.46/432.55 c | 320052 | 13663 58449 177399 | 2147483647 320052 230 | 0.000 % |
432.96/433.02 c | 320228 | 13663 58449 177399 | 2147483647 320228 230 | 0.000 % |
433.36/433.47 c | 320425 | 13663 58449 177399 | 2147483647 320425 230 | 0.000 % |
433.85/433.99 c | 320637 | 13663 58449 177399 | 2147483647 320637 230 | 0.000 % |
434.36/434.49 c | 320873 | 13663 58449 177399 | 2147483647 320873 230 | 0.000 % |
435.06/435.12 c | 321129 | 13663 58449 177399 | 2147483647 321129 230 | 0.000 % |
435.66/435.78 c | 321411 | 13663 58449 177399 | 2147483647 321411 230 | 0.000 % |
436.56/436.61 c | 321721 | 13663 58449 177399 | 2147483647 321721 230 | 0.000 % |
437.36/437.47 c | 322060 | 13663 58449 177399 | 2147483647 322060 230 | 0.000 % |
438.26/438.35 c | 322435 | 13663 58449 177399 | 2147483647 322435 230 | 0.000 % |
439.25/439.37 c | 322844 | 13663 58449 177399 | 2147483647 322844 230 | 0.000 % |
440.25/440.33 c | 323296 | 13663 58449 177399 | 2147483647 323296 230 | 0.000 % |
441.35/441.48 c | 323789 | 13663 58449 177399 | 2147483647 323789 230 | 0.000 % |
442.55/442.70 c | 324331 | 13663 58449 177399 | 2147483647 324331 230 | 0.000 % |
443.95/444.10 c | 324927 | 13663 58449 177399 | 2147483647 324927 230 | 0.000 % |
445.56/445.62 c | 325584 | 13663 58449 177399 | 2147483647 325584 230 | 0.000 % |
447.16/447.22 c | 326305 | 13663 58449 177399 | 2147483647 326305 230 | 0.000 % |
448.86/448.96 c | 327097 | 13663 58449 177399 | 2147483647 327097 230 | 0.000 % |
450.96/451.01 c | 327972 | 13663 58449 177399 | 2147483647 327972 230 | 0.000 % |
453.06/453.13 c | 328930 | 13663 58449 177399 | 2147483647 328930 230 | 0.000 % |
455.06/455.17 c | 329985 | 13663 58449 177399 | 2147483647 329985 231 | 0.000 % |
457.56/457.66 c | 331143 | 13663 58449 177399 | 2147483647 331143 231 | 0.000 % |
460.36/460.44 c | 332417 | 13663 58449 177399 | 2147483647 332417 231 | 0.000 % |
463.26/463.37 c | 333817 | 13663 58449 177399 | 2147483647 333817 231 | 0.000 % |
466.75/466.82 c | 335357 | 13663 58449 177399 | 2147483647 335357 231 | 0.000 % |
470.46/470.57 c | 337052 | 13663 58449 177399 | 2147483647 337052 231 | 0.000 % |
474.65/474.74 c | 338917 | 13663 58449 177399 | 2147483647 338917 231 | 0.000 % |
479.05/479.13 c | 340969 | 13663 58449 177399 | 2147483647 340969 231 | 0.000 % |
483.75/483.87 c | 343223 | 13663 58449 177399 | 2147483647 343223 232 | 0.000 % |
489.26/489.33 c | 345701 | 13663 58449 177399 | 2147483647 345701 232 | 0.000 % |
494.85/494.99 c | 348430 | 13663 58449 177399 | 2147483647 348430 233 | 0.000 % |
501.36/501.44 c | 351427 | 13663 58449 177399 | 2147483647 351427 233 | 0.000 % |
508.45/508.51 c | 354726 | 13663 58449 177399 | 2147483647 354726 234 | 0.000 % |
508.65/508.79 c | 354826 | 13663 58449 177399 | 2147483647 354826 234 | 0.000 % |
509.05/509.14 c | 354937 | 13663 58449 177399 | 2147483647 354937 234 | 0.000 % |
509.45/509.50 c | 355058 | 13663 58449 177399 | 2147483647 355058 234 | 0.000 % |
509.85/509.90 c | 355191 | 13663 58449 177399 | 2147483647 355191 234 | 0.000 % |
510.25/510.38 c | 355338 | 13663 58449 177399 | 2147483647 355338 234 | 0.000 % |
510.75/510.80 c | 355499 | 13663 58449 177399 | 2147483647 355499 234 | 0.000 % |
511.25/511.31 c | 355678 | 13663 58449 177399 | 2147483647 355678 234 | 0.000 % |
511.76/511.81 c | 355872 | 13663 58449 177399 | 2147483647 355872 234 | 0.000 % |
512.26/512.39 c | 356087 | 13663 58449 177399 | 2147483647 356087 234 | 0.000 % |
512.96/513.07 c | 356320 | 13663 58449 177399 | 2147483647 356320 234 | 0.000 % |
513.66/513.71 c | 356576 | 13663 58449 177399 | 2147483647 356576 234 | 0.000 % |
514.35/514.49 c | 356858 | 13663 58449 177399 | 2147483647 356858 234 | 0.000 % |
515.25/515.37 c | 357168 | 13663 58449 177399 | 2147483647 357168 234 | 0.000 % |
516.15/516.21 c | 357510 | 13663 58449 177399 | 2147483647 357510 234 | 0.000 % |
517.05/517.19 c | 357883 | 13663 58449 177399 | 2147483647 357883 234 | 0.000 % |
518.15/518.25 c | 358292 | 13663 58449 177399 | 2147483647 358292 234 | 0.000 % |
519.26/519.35 c | 358742 | 13663 58449 177399 | 2147483647 358742 234 | 0.000 % |
520.56/520.62 c | 359235 | 13663 58449 177399 | 2147483647 359235 234 | 0.000 % |
521.86/521.93 c | 359779 | 13663 58449 177399 | 2147483647 359779 233 | 0.000 % |
523.16/523.28 c | 360376 | 13663 58449 177399 | 2147483647 360376 233 | 0.000 % |
524.76/524.86 c | 361031 | 13663 58449 177399 | 2147483647 361031 234 | 0.000 % |
526.65/526.72 c | 361751 | 13663 58449 177399 | 2147483647 361751 234 | 0.000 % |
528.55/528.68 c | 362544 | 13663 58449 177399 | 2147483647 362544 233 | 0.000 % |
530.75/530.84 c | 363415 | 13663 58449 177399 | 2147483647 363415 233 | 0.000 % |
533.05/533.15 c | 364373 | 13663 58449 177399 | 2147483647 364373 233 | 0.000 % |
535.46/535.53 c | 365427 | 13663 58449 177399 | 2147483647 365427 233 | 0.000 % |
538.26/538.31 c | 366587 | 13663 58449 177399 | 2147483647 366587 234 | 0.000 % |
541.26/541.38 c | 367860 | 13663 58449 177399 | 2147483647 367860 234 | 0.000 % |
544.46/544.54 c | 369261 | 13663 58449 177399 | 2147483647 369261 234 | 0.000 % |
548.06/548.13 c | 370801 | 13663 58449 177399 | 2147483647 370801 234 | 0.000 % |
551.76/551.85 c | 372497 | 13663 58449 177399 | 2147483647 372497 234 | 0.000 % |
556.06/556.13 c | 374365 | 13663 58449 177399 | 2147483647 374365 234 | 0.000 % |
561.06/561.15 c | 376416 | 13663 58449 177399 | 2147483647 376416 234 | 0.000 % |
566.26/566.35 c | 378669 | 13663 58449 177399 | 2147483647 378669 234 | 0.000 % |
572.16/572.29 c | 381149 | 13663 58449 177399 | 2147483647 381149 235 | 0.000 % |
578.66/578.70 c | 383874 | 13663 58449 177399 | 2147483647 383874 235 | 0.000 % |
585.86/585.97 c | 386872 | 13663 58449 177399 | 2147483647 386872 235 | 0.000 % |
593.66/593.77 c | 390169 | 13663 58449 177399 | 2147483647 390169 235 | 0.000 % |
602.26/602.36 c | 393794 | 13663 58449 177399 | 2147483647 393794 236 | 0.000 % |
602.56/602.65 c | 393898 | 13663 58449 177399 | 2147483647 393898 236 | 0.000 % |
602.97/603.00 c | 394008 | 13663 58449 177399 | 2147483647 394008 236 | 0.000 % |
603.36/603.45 c | 394131 | 13663 58449 177399 | 2147483647 394131 236 | 0.000 % |
603.77/603.90 c | 394265 | 13663 58449 177399 | 2147483647 394265 236 | 0.000 % |
604.26/604.33 c | 394414 | 13663 58449 177399 | 2147483647 394414 236 | 0.000 % |
604.76/604.88 c | 394574 | 13663 58449 177399 | 2147483647 394574 236 | 0.000 % |
605.36/605.49 c | 394751 | 13663 58449 177399 | 2147483647 394751 236 | 0.000 % |
606.06/606.10 c | 394946 | 13663 58449 177399 | 2147483647 394946 236 | 0.000 % |
606.66/606.75 c | 395160 | 13663 58449 177399 | 2147483647 395160 236 | 0.000 % |
607.26/607.35 c | 395394 | 13663 58449 177399 | 2147483647 395394 236 | 0.000 % |
608.06/608.14 c | 395652 | 13663 58449 177399 | 2147483647 395652 236 | 0.000 % |
608.86/608.95 c | 395933 | 13663 58449 177399 | 2147483647 395933 236 | 0.000 % |
609.76/609.80 c | 396245 | 13663 58449 177399 | 2147483647 396245 236 | 0.000 % |
610.66/610.75 c | 396584 | 13663 58449 177399 | 2147483647 396584 235 | 0.000 % |
611.76/611.89 c | 396956 | 13663 58449 177399 | 2147483647 396956 235 | 0.000 % |
613.06/613.16 c | 397365 | 13663 58449 177399 | 2147483647 397365 235 | 0.000 % |
614.27/614.38 c | 397815 | 13663 58449 177399 | 2147483647 397815 235 | 0.000 % |
615.77/615.82 c | 398309 | 13663 58449 177399 | 2147483647 398309 235 | 0.000 % |
617.26/617.37 c | 398852 | 13663 58449 177399 | 2147483647 398852 235 | 0.000 % |
618.86/618.99 c | 399448 | 13663 58449 177399 | 2147483647 399448 235 | 0.000 % |
620.56/620.65 c | 400103 | 13663 58449 177399 | 2147483647 400103 235 | 0.000 % |
622.57/622.61 c | 400824 | 13663 58449 177399 | 2147483647 400824 235 | 0.000 % |
624.56/624.66 c | 401616 | 13663 58449 177399 | 2147483647 401616 235 | 0.000 % |
626.87/626.93 c | 402487 | 13663 58449 177399 | 2147483647 402487 235 | 0.000 % |
629.17/629.29 c | 403446 | 13663 58449 177399 | 2147483647 403446 235 | 0.000 % |
631.86/631.94 c | 404500 | 13663 58449 177399 | 2147483647 404500 235 | 0.000 % |
634.87/634.97 c | 405658 | 13663 58449 177399 | 2147483647 405658 235 | 0.000 % |
638.06/638.12 c | 406932 | 13663 58449 177399 | 2147483647 406932 235 | 0.000 % |
641.66/641.77 c | 408335 | 13663 58449 177399 | 2147483647 408335 236 | 0.000 % |
645.37/645.48 c | 409875 | 13663 58449 177399 | 2147483647 409875 236 | 0.000 % |
649.86/649.92 c | 411569 | 13663 58449 177399 | 2147483647 411569 236 | 0.000 % |
654.57/654.63 c | 413432 | 13663 58449 177399 | 2147483647 413432 236 | 0.000 % |
659.57/659.65 c | 415481 | 13663 58449 177399 | 2147483647 415481 236 | 0.000 % |
665.06/665.11 c | 417735 | 13663 58449 177399 | 2147483647 417735 236 | 0.000 % |
671.37/671.48 c | 420213 | 13663 58449 177399 | 2147483647 420213 236 | 0.000 % |
677.67/677.77 c | 422938 | 13663 58449 177399 | 2147483647 422938 236 | 0.000 % |
685.47/685.59 c | 425936 | 13663 58449 177399 | 2147483647 425936 236 | 0.000 % |
693.77/693.86 c | 429233 | 13663 58449 177399 | 2147483647 429233 237 | 0.000 % |
702.87/702.95 c | 432858 | 13663 58449 177399 | 2147483647 432858 237 | 0.000 % |
712.87/712.93 c | 436845 | 13663 58449 177399 | 2147483647 436845 237 | 0.000 % |
713.27/713.32 c | 436947 | 13663 58449 177399 | 2147483647 436947 237 | 0.000 % |
713.67/713.76 c | 437057 | 13663 58449 177399 | 2147483647 437057 237 | 0.000 % |
714.17/714.23 c | 437181 | 13663 58449 177399 | 2147483647 437181 237 | 0.000 % |
714.57/714.68 c | 437314 | 13663 58449 177399 | 2147483647 437314 237 | 0.000 % |
715.17/715.21 c | 437460 | 13663 58449 177399 | 2147483647 437460 237 | 0.000 % |
715.67/715.76 c | 437620 | 13663 58449 177399 | 2147483647 437620 237 | 0.000 % |
716.27/716.37 c | 437796 | 13663 58449 177399 | 2147483647 437796 237 | 0.000 % |
716.97/717.08 c | 437989 | 13663 58449 177399 | 2147483647 437989 237 | 0.000 % |
717.67/717.70 c | 438201 | 13663 58449 177399 | 2147483647 438201 237 | 0.000 % |
718.27/718.36 c | 438434 | 13663 58449 177399 | 2147483647 438434 237 | 0.000 % |
719.17/719.24 c | 438691 | 13663 58449 177399 | 2147483647 438691 237 | 0.000 % |
719.97/720.07 c | 438973 | 13663 58449 177399 | 2147483647 438973 237 | 0.000 % |
721.07/721.18 c | 439283 | 13663 58449 177399 | 2147483647 439283 237 | 0.000 % |
722.17/722.28 c | 439622 | 13663 58449 177399 | 2147483647 439622 237 | 0.000 % |
723.37/723.41 c | 439996 | 13663 58449 177399 | 2147483647 439996 237 | 0.000 % |
724.57/724.68 c | 440406 | 13663 58449 177399 | 2147483647 440406 237 | 0.000 % |
725.87/725.97 c | 440855 | 13663 58449 177399 | 2147483647 440855 237 | 0.000 % |
727.37/727.43 c | 441349 | 13663 58449 177399 | 2147483647 441349 237 | 0.000 % |
728.98/729.05 c | 441892 | 13663 58449 177399 | 2147483647 441892 237 | 0.000 % |
730.57/730.62 c | 442490 | 13663 58449 177399 | 2147483647 442490 237 | 0.000 % |
732.37/732.48 c | 443145 | 13663 58449 177399 | 2147483647 443145 237 | 0.000 % |
734.28/734.39 c | 443865 | 13663 58449 177399 | 2147483647 443865 237 | 0.000 % |
736.58/736.63 c | 444661 | 13663 58449 177399 | 2147483647 444661 237 | 0.000 % |
739.08/739.13 c | 445532 | 13663 58449 177399 | 2147483647 445532 237 | 0.000 % |
742.08/742.11 c | 446490 | 13663 58449 177399 | 2147483647 446490 237 | 0.000 % |
744.98/745.07 c | 447543 | 13663 58449 177399 | 2147483647 447543 237 | 0.000 % |
748.57/748.61 c | 448701 | 13663 58449 177399 | 2147483647 448701 237 | 0.000 % |
752.07/752.13 c | 449975 | 13663 58449 177399 | 2147483647 449975 237 | 0.000 % |
755.78/755.80 c | 451375 | 13663 58449 177399 | 2147483647 451375 237 | 0.000 % |
759.78/759.87 c | 452917 | 13663 58449 177399 | 2147483647 452917 237 | 0.000 % |
764.57/764.62 c | 454611 | 13663 58449 177399 | 2147483647 454611 237 | 0.000 % |
769.77/769.88 c | 456477 | 13663 58449 177399 | 2147483647 456477 237 | 0.000 % |
775.58/775.66 c | 458526 | 13663 58449 177399 | 2147483647 458526 237 | 0.000 % |
782.08/782.11 c | 460781 | 13663 58449 177399 | 2147483647 460781 238 | 0.000 % |
788.68/788.76 c | 463259 | 13663 58449 177399 | 2147483647 463259 238 | 0.000 % |
795.88/795.91 c | 465985 | 13663 58449 177399 | 2147483647 465985 238 | 0.000 % |
803.99/804.00 c | 468983 | 13663 58449 177399 | 2147483647 468983 239 | 0.000 % |
812.98/813.01 c | 472279 | 13663 58449 177399 | 2147483647 472279 239 | 0.000 % |
823.28/823.37 c | 475904 | 13663 58449 177399 | 2147483647 475904 239 | 0.000 % |
834.09/834.19 c | 479891 | 13663 58449 177399 | 2147483647 479891 239 | 0.000 % |
845.98/846.05 c | 484276 | 13663 58449 177399 | 2147483647 484276 240 | 0.000 % |
846.38/846.49 c | 484377 | 13663 58449 177399 | 2147483647 484377 240 | 0.000 % |
846.89/846.95 c | 484487 | 13663 58449 177399 | 2147483647 484487 240 | 0.000 % |
847.38/847.47 c | 484609 | 13663 58449 177399 | 2147483647 484609 240 | 0.000 % |
847.99/848.03 c | 484744 | 13663 58449 177399 | 2147483647 484744 240 | 0.000 % |
848.48/848.54 c | 484892 | 13663 58449 177399 | 2147483647 484892 240 | 0.000 % |
849.09/849.13 c | 485052 | 13663 58449 177399 | 2147483647 485052 240 | 0.000 % |
849.78/849.86 c | 485229 | 13663 58449 177399 | 2147483647 485229 240 | 0.000 % |
850.48/850.54 c | 485423 | 13663 58449 177399 | 2147483647 485423 240 | 0.000 % |
851.18/851.24 c | 485635 | 13663 58449 177399 | 2147483647 485635 240 | 0.000 % |
851.99/852.07 c | 485868 | 13663 58449 177399 | 2147483647 485868 240 | 0.000 % |
852.89/852.95 c | 486126 | 13663 58449 177399 | 2147483647 486126 240 | 0.000 % |
853.89/853.92 c | 486407 | 13663 58449 177399 | 2147483647 486407 240 | 0.000 % |
854.99/855.09 c | 486718 | 13663 58449 177399 | 2147483647 486718 240 | 0.000 % |
856.19/856.27 c | 487057 | 13663 58449 177399 | 2147483647 487057 240 | 0.000 % |
857.49/857.55 c | 487431 | 13663 58449 177399 | 2147483647 487431 240 | 0.000 % |
858.89/858.94 c | 487840 | 13663 58449 177399 | 2147483647 487840 240 | 0.000 % |
860.29/860.38 c | 488291 | 13663 58449 177399 | 2147483647 488291 240 | 0.000 % |
861.99/862.07 c | 488784 | 13663 58449 177399 | 2147483647 488784 240 | 0.000 % |
863.79/863.85 c | 489327 | 13663 58449 177399 | 2147483647 489327 240 | 0.000 % |
865.69/865.72 c | 489923 | 13663 58449 177399 | 2147483647 489923 240 | 0.000 % |
867.69/867.73 c | 490579 | 13663 58449 177399 | 2147483647 490579 240 | 0.000 % |
869.99/870.09 c | 491300 | 13663 58449 177399 | 2147483647 491300 240 | 0.000 % |
872.19/872.29 c | 492092 | 13663 58449 177399 | 2147483647 492092 240 | 0.000 % |
875.29/875.35 c | 492964 | 13663 58449 177399 | 2147483647 492964 240 | 0.000 % |
878.29/878.38 c | 493924 | 13663 58449 177399 | 2147483647 493924 240 | 0.000 % |
881.19/881.28 c | 494978 | 13663 58449 177399 | 2147483647 494978 240 | 0.000 % |
884.69/884.74 c | 496139 | 13663 58449 177399 | 2147483647 496139 240 | 0.000 % |
888.59/888.61 c | 497413 | 13663 58449 177399 | 2147483647 497413 240 | 0.000 % |
892.99/893.04 c | 498818 | 13663 58449 177399 | 2147483647 498818 240 | 0.000 % |
897.50/897.53 c | 500362 | 13663 58449 177399 | 2147483647 500362 240 | 0.000 % |
902.79/902.88 c | 502056 | 13663 58449 177399 | 2147483647 502056 240 | 0.000 % |
908.69/908.72 c | 503921 | 13663 58449 177399 | 2147483647 503921 240 | 0.000 % |
914.90/914.92 c | 505970 | 13663 58449 177399 | 2147483647 505970 240 | 0.000 % |
921.39/921.42 c | 508225 | 13663 58449 177399 | 2147483647 508225 240 | 0.000 % |
929.10/929.19 c | 510703 | 13663 58449 177399 | 2147483647 510703 240 | 0.000 % |
937.20/937.23 c | 513428 | 13663 58449 177399 | 2147483647 513428 240 | 0.000 % |
946.30/946.33 c | 516425 | 13663 58449 177399 | 2147483647 516425 240 | 0.000 % |
956.20/956.26 c | 519722 | 13663 58449 177399 | 2147483647 519722 241 | 0.000 % |
966.60/966.69 c | 523347 | 13663 58449 177399 | 2147483647 523347 241 | 0.000 % |
978.20/978.24 c | 527334 | 13663 58449 177399 | 2147483647 527334 242 | 0.000 % |
991.00/991.08 c | 531720 | 13663 58449 177399 | 2147483647 531720 242 | 0.000 % |
1005.60/1005.69 c | 536545 | 13663 58449 177399 | 2147483647 536545 242 | 0.000 % |
1006.20/1006.23 c | 536645 | 13663 58449 177399 | 2147483647 536645 242 | 0.000 % |
1006.70/1006.71 c | 536755 | 13663 58449 177399 | 2147483647 536755 242 | 0.000 % |
1007.20/1007.22 c | 536877 | 13663 58449 177399 | 2147483647 536877 242 | 0.000 % |
1007.70/1007.78 c | 537010 | 13663 58449 177399 | 2147483647 537010 242 | 0.000 % |
1008.40/1008.46 c | 537156 | 13663 58449 177399 | 2147483647 537156 242 | 0.000 % |
1009.20/1009.20 c | 537317 | 13663 58449 177399 | 2147483647 537317 242 | 0.000 % |
1009.90/1009.93 c | 537494 | 13663 58449 177399 | 2147483647 537494 242 | 0.000 % |
1010.60/1010.67 c | 537687 | 13663 58449 177399 | 2147483647 537687 242 | 0.000 % |
1011.50/1011.53 c | 537900 | 13663 58449 177399 | 2147483647 537900 242 | 0.000 % |
1012.30/1012.39 c | 538136 | 13663 58449 177399 | 2147483647 538136 242 | 0.000 % |
1013.30/1013.32 c | 538394 | 13663 58449 177399 | 2147483647 538394 242 | 0.000 % |
1014.30/1014.31 c | 538676 | 13663 58449 177399 | 2147483647 538676 242 | 0.000 % |
1015.31/1015.37 c | 538985 | 13663 58449 177399 | 2147483647 538985 242 | 0.000 % |
1016.50/1016.50 c | 539325 | 13663 58449 177399 | 2147483647 539325 242 | 0.000 % |
1017.81/1017.84 c | 539699 | 13663 58449 177399 | 2147483647 539699 242 | 0.000 % |
1019.31/1019.38 c | 540108 | 13663 58449 177399 | 2147483647 540108 242 | 0.000 % |
1021.01/1021.06 c | 540557 | 13663 58449 177399 | 2147483647 540557 242 | 0.000 % |
1022.80/1022.83 c | 541050 | 13663 58449 177399 | 2147483647 541050 242 | 0.000 % |
1024.90/1024.91 c | 541594 | 13663 58449 177399 | 2147483647 541594 242 | 0.000 % |
1026.91/1026.92 c | 542191 | 13663 58449 177399 | 2147483647 542191 242 | 0.000 % |
1029.10/1029.17 c | 542847 | 13663 58449 177399 | 2147483647 542847 242 | 0.000 % |
1031.40/1031.43 c | 543567 | 13663 58449 177399 | 2147483647 543567 242 | 0.000 % |
1034.50/1034.50 c | 544359 | 13663 58449 177399 | 2147483647 544359 242 | 0.000 % |
1037.11/1037.14 c | 545230 | 13663 58449 177399 | 2147483647 545230 242 | 0.000 % |
1040.61/1040.65 c | 546190 | 13663 58449 177399 | 2147483647 546190 242 | 0.000 % |
1044.11/1044.17 c | 547243 | 13663 58449 177399 | 2147483647 547243 242 | 0.000 % |
1048.00/1048.06 c | 548405 | 13663 58449 177399 | 2147483647 548405 242 | 0.000 % |
1052.31/1052.36 c | 549679 | 13663 58449 177399 | 2147483647 549679 242 | 0.000 % |
1056.91/1056.94 c | 551079 | 13663 58449 177399 | 2147483647 551079 242 | 0.000 % |
1062.20/1062.20 c | 552620 | 13663 58449 177399 | 2147483647 552620 242 | 0.000 % |
1067.81/1067.87 c | 554314 | 13663 58449 177399 | 2147483647 554314 242 | 0.000 % |
1073.91/1073.94 c | 556177 | 13663 58449 177399 | 2147483647 556177 242 | 0.000 % |
1080.51/1080.52 c | 558226 | 13663 58449 177399 | 2147483647 558226 242 | 0.000 % |
1087.51/1087.50 c | 560480 | 13663 58449 177399 | 2147483647 560480 242 | 0.000 % |
1095.12/1095.12 c | 562959 | 13663 58449 177399 | 2147483647 562959 242 | 0.000 % |
1104.52/1104.54 c | 565685 | 13663 58449 177399 | 2147483647 565685 243 | 0.000 % |
1114.01/1114.03 c | 568684 | 13663 58449 177399 | 2147483647 568684 243 | 0.000 % |
1124.92/1124.92 c | 571980 | 13663 58449 177399 | 2147483647 571980 243 | 0.000 % |
1135.92/1135.93 c | 575607 | 13663 58449 177399 | 2147483647 575607 243 | 0.000 % |
1148.82/1148.89 c | 579596 | 13663 58449 177399 | 2147483647 579596 243 | 0.000 % |
1163.02/1163.05 c | 583981 | 13663 58449 177399 | 2147483647 583981 243 | 0.000 % |
1178.13/1178.12 c | 588808 | 13663 58449 177399 | 2147483647 588808 244 | 0.000 % |
1195.52/1195.50 c | 594113 | 13663 58449 177399 | 2147483647 594113 244 | 0.000 % |
1195.82/1195.85 c | 594213 | 13663 58449 177399 | 2147483647 594213 244 | 0.000 % |
1196.32/1196.34 c | 594324 | 13663 58449 177399 | 2147483647 594324 244 | 0.000 % |
1196.92/1196.90 c | 594446 | 13663 58449 177399 | 2147483647 594446 244 | 0.000 % |
1197.42/1197.50 c | 594579 | 13663 58449 177399 | 2147483647 594579 244 | 0.000 % |
1198.22/1198.26 c | 594725 | 13663 58449 177399 | 2147483647 594725 244 | 0.000 % |
1198.92/1198.97 c | 594885 | 13663 58449 177399 | 2147483647 594885 244 | 0.000 % |
1199.72/1199.75 c | 595061 | 13663 58449 177399 | 2147483647 595061 244 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832725-1242787017/watcher-1832725-1242787017 -o /tmp/evaluation-result-1832725-1242787017/solver-1832725-1242787017 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832725-1242787017.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.92 0.98 0.99 3/64 9700
/proc/meminfo: memFree=1800648/2055920 swapFree=4180240/4192956
[pid=9700] ppid=9698 vsize=5356 CPUtime=0
/proc/9700/stat : 9700 (SatELiteGTI) S 9698 9700 8855 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 306735126 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9700/statm: 1339 237 197 169 0 50 0
[startup+0.068772 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9700
/proc/meminfo: memFree=1800648/2055920 swapFree=4180240/4192956
[pid=9700] ppid=9698 vsize=5356 CPUtime=0
/proc/9700/stat : 9700 (SatELiteGTI) S 9698 9700 8855 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 306735126 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9700/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102762 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9700
/proc/meminfo: memFree=1800648/2055920 swapFree=4180240/4192956
[pid=9700] ppid=9698 vsize=5356 CPUtime=0
/proc/9700/stat : 9700 (SatELiteGTI) S 9698 9700 8855 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 306735126 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9700/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301716 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9700
/proc/meminfo: memFree=1800648/2055920 swapFree=4180240/4192956
[pid=9700] ppid=9698 vsize=5356 CPUtime=0.26
/proc/9700/stat : 9700 (SatELiteGTI) S 9698 9700 8855 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306735126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9700/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 5356
[startup+0.702604 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9700
/proc/meminfo: memFree=1800648/2055920 swapFree=4180240/4192956
[pid=9700] ppid=9698 vsize=5356 CPUtime=0.26
/proc/9700/stat : 9700 (SatELiteGTI) S 9698 9700 8855 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306735126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9700/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 5356
[startup+1.50136 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 9706
/proc/meminfo: memFree=1793200/2055920 swapFree=4180240/4192956
[pid=9700] ppid=9698 vsize=5356 CPUtime=0.26
/proc/9700/stat : 9700 (SatELiteGTI) S 9698 9700 8855 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306735126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9700/statm: 1339 239 197 169 0 50 0
[pid=9706] ppid=9700 vsize=7568 CPUtime=1.22
/proc/9706/stat : 9706 (minisat_static) R 9700 9700 8855 0 -1 4194304 1731 0 0 0 121 1 0 0 25 0 1 0 306735153 7749632 1717 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9706/statm: 1892 1717 77 171 0 1719 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 12924
[startup+3.10191 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 9706
/proc/meminfo: memFree=1791472/2055920 swapFree=4180240/4192956
[pid=9700] ppid=9698 vsize=5356 CPUtime=0.26
/proc/9700/stat : 9700 (SatELiteGTI) S 9698 9700 8855 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306735126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9700/statm: 1339 239 197 169 0 50 0
[pid=9706] ppid=9700 vsize=9944 CPUtime=2.82
/proc/9706/stat : 9706 (minisat_static) R 9700 9700 8855 0 -1 4194304 2340 0 0 0 280 2 0 0 25 0 1 0 306735153 10182656 2326 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/9706/statm: 2486 2326 77 171 0 2313 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 15300
[startup+6.301 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 9706
/proc/meminfo: memFree=1786360/2055920 swapFree=4180240/4192956
[pid=9700] ppid=9698 vsize=5356 CPUtime=0.26
/proc/9700/stat : 9700 (SatELiteGTI) S 9698 9700 8855 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306735126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9700/statm: 1339 239 197 169 0 50 0
[pid=9706] ppid=9700 vsize=14696 CPUtime=6.01
/proc/9706/stat : 9706 (minisat_static) R 9700 9700 8855 0 -1 4194304 3520 0 0 0 597 4 0 0 25 0 1 0 306735153 15048704 3506 1992294400 134512640 135215339 4294956240 18446744073709551615 134527218 0 0 4096 3 0 0 0 17 1 0 0
/proc/9706/statm: 3674 3506 77 171 0 3501 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 20052
[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 9706
/proc/meminfo: memFree=1777080/2055920 swapFree=4180240/4192956
[pid=9700] ppid=9698 vsize=5356 CPUtime=0.26
/proc/9700/stat : 9700 (SatELiteGTI) S 9698 9700 8855 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306735126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9700/statm: 1339 239 197 169 0 50 0
[pid=9706] ppid=9700 vsize=23692 CPUtime=12.41
/proc/9706/stat : 9706 (minisat_static) R 9700 9700 8855 0 -1 4194304 5749 0 0 0 1235 6 0 0 25 0 1 0 306735153 24260608 5735 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/9706/statm: 5923 5735 77 171 0 5750 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 29048
[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 9706
/proc/meminfo: memFree=1760760/2055920 swapFree=4180240/4192956
[pid=9700] ppid=9698 vsize=5356 CPUtime=0.26
/proc/9700/stat : 9700 (SatELiteGTI) S 9698 9700 8855 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306735126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9700/statm: 1339 239 197 169 0 50 0
[pid=9706] ppid=9700 vsize=39380 CPUtime=25.21
/proc/9706/stat : 9706 (minisat_static) R 9700 9700 8855 0 -1 4194304 9678 0 0 0 2509 12 0 0 25 0 1 0 306735153 40325120 9664 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/9706/statm: 9845 9664 77 171 0 9672 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 44736
[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 9706
/proc/meminfo: memFree=1733688/2055920 swapFree=4180240/4192956
[pid=9700] ppid=9698 vsize=5356 CPUtime=0.26
/proc/9700/stat : 9700 (SatELiteGTI) S 9698 9700 8855 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306735126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9700/statm: 1339 239 197 169 0 50 0
[pid=9706] ppid=9700 vsize=66564 CPUtime=50.8
/proc/9706/stat : 9706 (minisat_static) R 9700 9700 8855 0 -1 4194304 16458 0 0 0 5061 19 0 0 25 0 1 0 306735153 68161536 16444 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/9706/statm: 16641 16444 77 171 0 16468 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 71920
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 9706
/proc/meminfo: memFree=1688120/2055920 swapFree=4180240/4192956
[pid=9700] ppid=9698 vsize=5356 CPUtime=0.26
/proc/9700/stat : 9700 (SatELiteGTI) S 9698 9700 8855 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306735126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9700/statm: 1339 239 197 169 0 50 0
[pid=9706] ppid=9700 vsize=111512 CPUtime=102
/proc/9706/stat : 9706 (minisat_static) R 9700 9700 8855 0 -1 4194304 27696 0 0 0 10169 31 0 0 25 0 1 0 306735153 114188288 27682 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9706/statm: 27878 27682 77 171 0 27705 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 116868
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9706
/proc/meminfo: memFree=1643768/2055920 swapFree=4180240/4192956
[pid=9700] ppid=9698 vsize=5356 CPUtime=0.26
/proc/9700/stat : 9700 (SatELiteGTI) S 9698 9700 8855 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306735126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9700/statm: 1339 239 197 169 0 50 0
[pid=9706] ppid=9700 vsize=156004 CPUtime=161.99
/proc/9706/stat : 9706 (minisat_static) R 9700 9700 8855 0 -1 4194304 38810 0 0 0 16155 44 0 0 25 0 1 0 306735153 159748096 38796 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/9706/statm: 39001 38796 77 171 0 38828 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 161360
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9706
/proc/meminfo: memFree=1603000/2055920 swapFree=4180240/4192956
[pid=9700] ppid=9698 vsize=5356 CPUtime=0.26
/proc/9700/stat : 9700 (SatELiteGTI) S 9698 9700 8855 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306735126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9700/statm: 1339 239 197 169 0 50 0
[pid=9706] ppid=9700 vsize=196676 CPUtime=221.98
/proc/9706/stat : 9706 (minisat_static) R 9700 9700 8855 0 -1 4194304 48894 0 0 0 22144 54 0 0 25 0 1 0 306735153 201396224 48880 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/9706/statm: 49169 48880 77 171 0 48996 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 202032
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9706
/proc/meminfo: memFree=1569528/2055920 swapFree=4180240/4192956
[pid=9700] ppid=9698 vsize=5356 CPUtime=0.26
/proc/9700/stat : 9700 (SatELiteGTI) S 9698 9700 8855 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306735126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9700/statm: 1339 239 197 169 0 50 0
[pid=9706] ppid=9700 vsize=230208 CPUtime=281.99
/proc/9706/stat : 9706 (minisat_static) R 9700 9700 8855 0 -1 4194304 57313 0 0 0 28135 64 0 0 25 0 1 0 306735153 235732992 57299 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9706/statm: 57552 57299 77 171 0 57379 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 235564
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9706
/proc/meminfo: memFree=1538296/2055920 swapFree=4180240/4192956
[pid=9700] ppid=9698 vsize=5356 CPUtime=0.26
/proc/9700/stat : 9700 (SatELiteGTI) S 9698 9700 8855 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306735126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9700/statm: 1339 239 197 169 0 50 0
[pid=9706] ppid=9700 vsize=260832 CPUtime=341.99
/proc/9706/stat : 9706 (minisat_static) R 9700 9700 8855 0 -1 4194304 65027 0 0 0 34127 72 0 0 25 0 1 0 306735153 267091968 65013 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/9706/statm: 65208 65013 77 171 0 65035 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 266188
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9706
/proc/meminfo: memFree=1507384/2055920 swapFree=4180240/4192956
[pid=9700] ppid=9698 vsize=5356 CPUtime=0.26
/proc/9700/stat : 9700 (SatELiteGTI) S 9698 9700 8855 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306735126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9700/statm: 1339 239 197 169 0 50 0
[pid=9706] ppid=9700 vsize=291724 CPUtime=401.99
/proc/9706/stat : 9706 (minisat_static) R 9700 9700 8855 0 -1 4194304 72764 0 0 0 40119 80 0 0 25 0 1 0 306735153 298725376 72750 1992294400 134512640 135215339 4294956240 18446744073709551615 134538089 0 0 4096 3 0 0 0 17 1 0 0
/proc/9706/statm: 72931 72750 77 171 0 72758 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 297080
[startup+462.302 s]
################
# More data... #
################
/proc/9706/statm: 87275 87004 77 171 0 87102 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 354456
[startup+582.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9706
/proc/meminfo: memFree=1423864/2055920 swapFree=4180240/4192956
[pid=9700] ppid=9698 vsize=5356 CPUtime=0.26
/proc/9700/stat : 9700 (SatELiteGTI) S 9698 9700 8855 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306735126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9700/statm: 1339 239 197 169 0 50 0
[pid=9706] ppid=9700 vsize=374980 CPUtime=582
/proc/9706/stat : 9706 (minisat_static) R 9700 9700 8855 0 -1 4194304 93496 0 0 0 58095 105 0 0 25 0 1 0 306735153 383979520 93482 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9706/statm: 93745 93482 77 171 0 93572 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 380336
[startup+642.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9706
/proc/meminfo: memFree=1399928/2055920 swapFree=4180240/4192956
[pid=9700] ppid=9698 vsize=5356 CPUtime=0.26
/proc/9700/stat : 9700 (SatELiteGTI) S 9698 9700 8855 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306735126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9700/statm: 1339 239 197 169 0 50 0
[pid=9706] ppid=9700 vsize=398476 CPUtime=642
/proc/9706/stat : 9706 (minisat_static) R 9700 9700 8855 0 -1 4194304 99402 0 0 0 64089 111 0 0 25 0 1 0 306735153 408039424 99388 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/9706/statm: 99619 99388 77 171 0 99446 0
Current children cumulated CPU time (s) 642.26
Current children cumulated vsize (KiB) 403832
[startup+702.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9706
/proc/meminfo: memFree=1374712/2055920 swapFree=4180240/4192956
[pid=9700] ppid=9698 vsize=5356 CPUtime=0.26
/proc/9700/stat : 9700 (SatELiteGTI) S 9698 9700 8855 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306735126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9700/statm: 1339 239 197 169 0 50 0
[pid=9706] ppid=9700 vsize=423952 CPUtime=702.01
/proc/9706/stat : 9706 (minisat_static) R 9700 9700 8855 0 -1 4194304 105781 0 0 0 70083 118 0 0 25 0 1 0 306735153 434126848 105767 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9706/statm: 105988 105767 77 171 0 105815 0
Current children cumulated CPU time (s) 702.27
Current children cumulated vsize (KiB) 429308
[startup+762.307 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9706
/proc/meminfo: memFree=1353016/2055920 swapFree=4180240/4192956
[pid=9700] ppid=9698 vsize=5356 CPUtime=0.26
/proc/9700/stat : 9700 (SatELiteGTI) S 9698 9700 8855 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306735126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9700/statm: 1339 239 197 169 0 50 0
[pid=9706] ppid=9700 vsize=444944 CPUtime=762.02
/proc/9706/stat : 9706 (minisat_static) R 9700 9700 8855 0 -1 4194304 111069 0 0 0 76078 124 0 0 25 0 1 0 306735153 455622656 111055 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/9706/statm: 111236 111055 77 171 0 111063 0
Current children cumulated CPU time (s) 762.28
Current children cumulated vsize (KiB) 450300
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9706
/proc/meminfo: memFree=1329272/2055920 swapFree=4180240/4192956
[pid=9700] ppid=9698 vsize=5356 CPUtime=0.26
/proc/9700/stat : 9700 (SatELiteGTI) S 9698 9700 8855 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306735126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9700/statm: 1339 239 197 169 0 50 0
[pid=9706] ppid=9700 vsize=469620 CPUtime=822.03
/proc/9706/stat : 9706 (minisat_static) R 9700 9700 8855 0 -1 4194304 117023 0 0 0 82072 131 0 0 25 0 1 0 306735153 480890880 117009 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9706/statm: 117405 117009 77 171 0 117232 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 474976
[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9706
/proc/meminfo: memFree=1307960/2055920 swapFree=4180240/4192956
[pid=9700] ppid=9698 vsize=5356 CPUtime=0.26
/proc/9700/stat : 9700 (SatELiteGTI) S 9698 9700 8855 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306735126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9700/statm: 1339 239 197 169 0 50 0
[pid=9706] ppid=9700 vsize=490612 CPUtime=882.03
/proc/9706/stat : 9706 (minisat_static) R 9700 9700 8855 0 -1 4194304 122294 0 0 0 88066 137 0 0 25 0 1 0 306735153 502386688 122280 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9706/statm: 122653 122280 77 171 0 122480 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 495968
[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9706
/proc/meminfo: memFree=1288056/2055920 swapFree=4180240/4192956
[pid=9700] ppid=9698 vsize=5356 CPUtime=0.26
/proc/9700/stat : 9700 (SatELiteGTI) S 9698 9700 8855 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306735126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9700/statm: 1339 239 197 169 0 50 0
[pid=9706] ppid=9700 vsize=510544 CPUtime=942.04
/proc/9706/stat : 9706 (minisat_static) R 9700 9700 8855 0 -1 4194304 127292 0 0 0 94061 143 0 0 25 0 1 0 306735153 522797056 127278 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/9706/statm: 127636 127278 77 171 0 127463 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 515900
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9706
/proc/meminfo: memFree=1264120/2055920 swapFree=4180240/4192956
[pid=9700] ppid=9698 vsize=5356 CPUtime=0.26
/proc/9700/stat : 9700 (SatELiteGTI) S 9698 9700 8855 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306735126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9700/statm: 1339 239 197 169 0 50 0
[pid=9706] ppid=9700 vsize=534172 CPUtime=1002.04
/proc/9706/stat : 9706 (minisat_static) R 9700 9700 8855 0 -1 4194304 133205 0 0 0 100055 149 0 0 25 0 1 0 306735153 546992128 133191 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/9706/statm: 133543 133191 77 171 0 133370 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 539528
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9706
/proc/meminfo: memFree=1246648/2055920 swapFree=4180240/4192956
[pid=9700] ppid=9698 vsize=5356 CPUtime=0.26
/proc/9700/stat : 9700 (SatELiteGTI) S 9698 9700 8855 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306735126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9700/statm: 1339 239 197 169 0 50 0
[pid=9706] ppid=9700 vsize=551468 CPUtime=1062.04
/proc/9706/stat : 9706 (minisat_static) R 9700 9700 8855 0 -1 4194304 137565 0 0 0 106051 153 0 0 25 0 1 0 306735153 564703232 137551 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/9706/statm: 137867 137551 77 171 0 137694 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 556824
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9706
/proc/meminfo: memFree=1227128/2055920 swapFree=4180240/4192956
[pid=9700] ppid=9698 vsize=5356 CPUtime=0.26
/proc/9700/stat : 9700 (SatELiteGTI) S 9698 9700 8855 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306735126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9700/statm: 1339 239 197 169 0 50 0
[pid=9706] ppid=9700 vsize=570740 CPUtime=1122.06
/proc/9706/stat : 9706 (minisat_static) R 9700 9700 8855 0 -1 4194304 142401 0 0 0 112047 159 0 0 25 0 1 0 306735153 584437760 142387 1992294400 134512640 135215339 4294956240 18446744073709551615 134538556 0 0 4096 3 0 0 0 17 1 0 0
/proc/9706/statm: 142685 142387 77 171 0 142512 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 576096
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9706
/proc/meminfo: memFree=1205432/2055920 swapFree=4180240/4192956
[pid=9700] ppid=9698 vsize=5356 CPUtime=0.26
/proc/9700/stat : 9700 (SatELiteGTI) S 9698 9700 8855 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306735126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9700/statm: 1339 239 197 169 0 50 0
[pid=9706] ppid=9700 vsize=592388 CPUtime=1182.06
/proc/9706/stat : 9706 (minisat_static) R 9700 9700 8855 0 -1 4194304 147845 0 0 0 118041 165 0 0 25 0 1 0 306735153 606605312 147831 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/9706/statm: 148097 147831 77 171 0 147924 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 597744
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9706
/proc/meminfo: memFree=1199864/2055920 swapFree=4180240/4192956
[pid=9700] ppid=9698 vsize=5356 CPUtime=0.26
/proc/9700/stat : 9700 (SatELiteGTI) S 9698 9700 8855 0 -1 4194304 336 2065 0 0 0 0 25 1 16 0 1 0 306735126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9700/statm: 1339 239 197 169 0 50 0
[pid=9706] ppid=9700 vsize=597668 CPUtime=1199.77
/proc/9706/stat : 9706 (minisat_static) R 9700 9700 8855 0 -1 4194304 149159 0 0 0 119810 167 0 0 25 0 1 0 306735153 612012032 149145 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9706/statm: 149417 149145 77 171 0 149244 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 603024
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 9700 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=259960
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=13997
# CPU time returned by wait4() is 0.273957
# while last known CPU time is 1200.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.02
CPU time (s): 1200.03
CPU user time (s): 1198.35
CPU system time (s): 1.68
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 603024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.25996
system time used= 0.013997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2401
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 5
runsolver used 1.3008 second user time and 3.15552 second system time
The end
Begin job on node16 at 2009-05-20 04:36:57
IDJOB=1832725
IDBENCH=70326
IDSOLVER=671
FILE ID=node16/1832725-1242787017
PBS_JOBID= 9322321
Free space on /tmp= 66360 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/14000/unif-k3-r4.2-v14000-c58800-S1554646792-012.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832725-1242787017/watcher-1832725-1242787017 -o /tmp/evaluation-result-1832725-1242787017/solver-1832725-1242787017 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832725-1242787017.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 7770dfa1661e274add02933decd27ac4
RANDOM SEED=247805992
node16.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.234
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.234
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: 1801192 kB
Buffers: 27956 kB
Cached: 179160 kB
SwapCached: 7016 kB
Active: 110176 kB
Inactive: 105412 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1801192 kB
SwapTotal: 4192956 kB
SwapFree: 4180240 kB
Dirty: 2684 kB
Writeback: 0 kB
Mapped: 13576 kB
Slab: 25236 kB
Committed_AS: 1078196 kB
PageTables: 1448 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66360 MiB
End job on node16 at 2009-05-20 04:56:59