0.00/0.00 c Parsing...
0.00/0.09 c ==============================================================================
0.00/0.09 c | | ORIGINAL | LEARNT | |
0.00/0.09 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.09 c ==============================================================================
0.00/0.09 c | 0 | 75600 226800 | 22679 0 0 nan | 0.000 % |
0.00/0.28 c | 0 | 75100 227926 | -- 0 -- -- | -- | -500/1126
0.00/0.28 c ==============================================================================
0.00/0.28 c Result : #vars: 17562 #clauses: 75100 #literals: 227926
0.00/0.28 c CPU time: 0.26296 s
0.00/0.28 c ==============================================================================
0.00/0.36 c This is MiniSat 2.0 beta
0.00/0.36 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.36 c ============================[ Problem Statistics ]=============================
0.00/0.36 c | |
0.00/0.36 c | Number of variables: 17562 |
0.00/0.36 c | Number of clauses: 75100 |
0.35/0.42 c | Parsing time: 0.05 s |
0.35/0.42 c ============================[ Search Statistics ]==============================
0.35/0.42 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.35/0.42 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.35/0.42 c ===============================================================================
0.35/0.42 c | 0 | 17562 75100 227926 | 25033 0 nan | 0.000 % |
0.35/0.49 c | 100 | 17562 75100 227926 | 25033 100 183 | 0.000 % |
0.35/0.54 c | 200 | 17562 75100 227926 | 25033 200 169 | 0.000 % |
0.35/0.61 c | 300 | 17562 75100 227926 | 25033 300 163 | 0.000 % |
0.35/0.68 c | 410 | 17562 75100 227926 | 25033 410 161 | 0.000 % |
0.35/0.73 c | 511 | 17562 75100 227926 | 25033 511 166 | 0.000 % |
0.35/0.80 c | 623 | 17562 75100 227926 | 25033 623 187 | 0.000 % |
0.35/0.88 c | 745 | 17562 75100 227926 | 25033 745 189 | 0.000 % |
0.35/0.93 c | 845 | 17562 75100 227926 | 25033 845 184 | 0.000 % |
0.35/1.00 c | 957 | 17562 75100 227926 | 25033 957 196 | 0.000 % |
0.98/1.07 c | 1078 | 17562 75100 227926 | 25033 1078 193 | 0.000 % |
1.08/1.14 c | 1211 | 17562 75100 227926 | 25033 1211 196 | 0.000 % |
1.08/1.20 c | 1312 | 17562 75100 227926 | 25033 1312 194 | 0.000 % |
1.17/1.27 c | 1423 | 17562 75100 227926 | 25033 1423 198 | 0.000 % |
1.28/1.34 c | 1544 | 17562 75100 227926 | 25033 1544 198 | 0.000 % |
1.38/1.42 c | 1678 | 17562 75100 227926 | 25033 1678 199 | 0.000 % |
1.48/1.50 c | 1825 | 17562 75100 227926 | 25033 1825 196 | 0.000 % |
1.48/1.56 c | 1925 | 17562 75100 227926 | 25033 1925 197 | 0.000 % |
1.58/1.63 c | 2035 | 17562 75100 227926 | 25033 2035 199 | 0.000 % |
1.68/1.71 c | 2156 | 17562 75100 227926 | 25033 2156 201 | 0.000 % |
1.68/1.79 c | 2289 | 17562 75100 227926 | 25033 2289 201 | 0.000 % |
1.78/1.88 c | 2435 | 17562 75100 227926 | 25033 2435 200 | 0.000 % |
1.88/1.97 c | 2597 | 17562 75100 227926 | 25033 2597 199 | 0.000 % |
1.98/2.03 c | 2699 | 17562 75100 227926 | 25033 2699 200 | 0.000 % |
1.98/2.10 c | 2810 | 17562 75100 227926 | 25033 2810 199 | 0.000 % |
2.08/2.17 c | 2933 | 17562 75100 227926 | 25033 2933 198 | 0.000 % |
2.18/2.25 c | 3066 | 17562 75100 227926 | 25033 3066 198 | 0.000 % |
2.27/2.34 c | 3212 | 17562 75100 227926 | 25033 3212 197 | 0.000 % |
2.37/2.43 c | 3372 | 17562 75100 227926 | 25033 3372 199 | 0.000 % |
2.47/2.55 c | 3548 | 17562 75100 227926 | 25033 3548 204 | 0.000 % |
2.57/2.63 c | 3650 | 17562 75100 227926 | 25033 3650 203 | 0.000 % |
2.57/2.69 c | 3761 | 17562 75100 227926 | 25033 3761 202 | 0.000 % |
2.67/2.77 c | 3884 | 17562 75100 227926 | 25033 3884 204 | 0.000 % |
2.77/2.86 c | 4018 | 17562 75100 227926 | 25033 4018 204 | 0.000 % |
2.87/2.94 c | 4164 | 17562 75100 227926 | 25033 4164 205 | 0.000 % |
2.97/3.03 c | 4325 | 17562 75100 227926 | 25033 4325 203 | 0.000 % |
3.07/3.13 c | 4501 | 17562 75100 227926 | 25033 4501 203 | 0.000 % |
3.17/3.24 c | 4694 | 17562 75100 227926 | 25033 4694 201 | 0.000 % |
3.28/3.30 c | 4794 | 17562 75100 227926 | 25033 4794 202 | 0.000 % |
3.28/3.37 c | 4905 | 17562 75100 227926 | 25033 4905 201 | 0.000 % |
3.38/3.45 c | 5026 | 17562 75100 227926 | 25033 5026 203 | 0.000 % |
3.47/3.55 c | 5159 | 17562 75100 227926 | 25033 5159 203 | 0.000 % |
3.57/3.63 c | 5308 | 17562 75100 227926 | 25033 5308 203 | 0.000 % |
3.67/3.74 c | 5472 | 17562 75100 227926 | 25033 5472 203 | 0.000 % |
3.77/3.85 c | 5650 | 17562 75100 227926 | 25033 5650 203 | 0.000 % |
3.87/3.96 c | 5844 | 17562 75100 227926 | 25033 5844 204 | 0.000 % |
4.07/4.10 c | 6056 | 17562 75100 227926 | 25033 6056 204 | 0.000 % |
4.07/4.16 c | 6156 | 17562 75100 227926 | 25033 6156 204 | 0.000 % |
4.17/4.23 c | 6269 | 17562 75100 227926 | 25033 6269 204 | 0.000 % |
4.28/4.32 c | 6391 | 17562 75100 227926 | 25033 6391 204 | 0.000 % |
4.38/4.40 c | 6524 | 17562 75100 227926 | 25033 6524 203 | 0.000 % |
4.38/4.49 c | 6672 | 17562 75100 227926 | 25033 6672 203 | 0.000 % |
4.47/4.59 c | 6836 | 17562 75100 227926 | 25033 6836 203 | 0.000 % |
4.67/4.70 c | 7012 | 17562 75100 227926 | 25033 7012 203 | 0.000 % |
4.77/4.82 c | 7205 | 17562 75100 227926 | 25033 7205 202 | 0.000 % |
4.87/4.96 c | 7418 | 17562 75100 227926 | 25033 7418 202 | 0.000 % |
5.07/5.11 c | 7651 | 17562 75100 227926 | 25033 7651 202 | 0.000 % |
5.07/5.17 c | 7751 | 17562 75100 227926 | 25033 7751 202 | 0.000 % |
5.17/5.24 c | 7862 | 17562 75100 227926 | 25033 7862 202 | 0.000 % |
5.27/5.33 c | 7983 | 17562 75100 227926 | 25033 7983 202 | 0.000 % |
5.37/5.41 c | 8116 | 17562 75100 227926 | 25033 8116 201 | 0.000 % |
5.47/5.50 c | 8262 | 17562 75100 227926 | 25033 8262 201 | 0.000 % |
5.57/5.61 c | 8422 | 17562 75100 227926 | 25033 8422 201 | 0.000 % |
5.67/5.72 c | 8598 | 17562 75100 227926 | 25033 8598 201 | 0.000 % |
5.76/5.84 c | 8792 | 17562 75100 227926 | 25033 8792 201 | 0.000 % |
5.86/5.98 c | 9004 | 17562 75100 227926 | 25033 9004 201 | 0.000 % |
6.06/6.11 c | 9237 | 17562 75100 227926 | 25033 9237 201 | 0.000 % |
6.17/6.28 c | 9493 | 17562 75100 227926 | 25033 9493 202 | 0.000 % |
6.27/6.35 c | 9594 | 17562 75100 227926 | 25033 9594 202 | 0.000 % |
6.37/6.43 c | 9704 | 17562 75100 227926 | 25033 9704 202 | 0.000 % |
6.47/6.51 c | 9826 | 17562 75100 227926 | 25033 9826 202 | 0.000 % |
6.47/6.60 c | 9959 | 17562 75100 227926 | 25033 9959 201 | 0.000 % |
6.67/6.70 c | 10105 | 17562 75100 227926 | 2147483647 10105 200 | 0.000 % |
6.77/6.80 c | 10265 | 17562 75100 227926 | 2147483647 10265 201 | 0.000 % |
6.87/6.91 c | 10442 | 17562 75100 227926 | 2147483647 10442 201 | 0.000 % |
6.97/7.04 c | 10637 | 17562 75100 227926 | 2147483647 10637 201 | 0.000 % |
7.07/7.18 c | 10849 | 17562 75100 227926 | 2147483647 10849 201 | 0.000 % |
7.27/7.33 c | 11082 | 17562 75100 227926 | 2147483647 11082 202 | 0.000 % |
7.47/7.50 c | 11341 | 17562 75100 227926 | 2147483647 11341 202 | 0.000 % |
7.57/7.68 c | 11622 | 17562 75100 227926 | 2147483647 11622 203 | 0.000 % |
7.67/7.74 c | 11724 | 17562 75100 227926 | 2147483647 11724 203 | 0.000 % |
7.77/7.81 c | 11835 | 17562 75100 227926 | 2147483647 11835 203 | 0.000 % |
7.77/7.90 c | 11957 | 17562 75100 227926 | 2147483647 11957 202 | 0.000 % |
7.86/7.99 c | 12092 | 17562 75100 227926 | 2147483647 12092 202 | 0.000 % |
7.96/8.08 c | 12239 | 17562 75100 227926 | 2147483647 12239 203 | 0.000 % |
8.16/8.20 c | 12401 | 17562 75100 227926 | 2147483647 12401 204 | 0.000 % |
8.26/8.32 c | 12577 | 17562 75100 227926 | 2147483647 12577 204 | 0.000 % |
8.36/8.46 c | 12770 | 17562 75100 227926 | 2147483647 12770 205 | 0.000 % |
8.56/8.60 c | 12982 | 17562 75100 227926 | 2147483647 12982 204 | 0.000 % |
8.67/8.77 c | 13216 | 17562 75100 227926 | 2147483647 13216 204 | 0.000 % |
8.87/8.95 c | 13474 | 17562 75100 227926 | 2147483647 13474 205 | 0.000 % |
9.07/9.14 c | 13756 | 17562 75100 227926 | 2147483647 13756 204 | 0.000 % |
9.27/9.35 c | 14065 | 17562 75100 227926 | 2147483647 14065 204 | 0.000 % |
9.37/9.42 c | 14165 | 17562 75100 227926 | 2147483647 14165 204 | 0.000 % |
9.37/9.50 c | 14276 | 17562 75100 227926 | 2147483647 14276 205 | 0.000 % |
9.47/9.57 c | 14397 | 17562 75100 227926 | 2147483647 14397 204 | 0.000 % |
9.57/9.67 c | 14530 | 17562 75100 227926 | 2147483647 14530 205 | 0.000 % |
9.67/9.78 c | 14677 | 17562 75100 227926 | 2147483647 14677 204 | 0.000 % |
9.77/9.90 c | 14837 | 17562 75100 227926 | 2147483647 14837 204 | 0.000 % |
9.97/10.02 c | 15014 | 17562 75100 227926 | 2147483647 15014 203 | 0.000 % |
10.07/10.16 c | 15207 | 17562 75100 227926 | 2147483647 15207 203 | 0.000 % |
10.27/10.30 c | 15419 | 17562 75100 227926 | 2147483647 15419 203 | 0.000 % |
10.37/10.46 c | 15652 | 17562 75100 227926 | 2147483647 15652 202 | 0.000 % |
10.57/10.63 c | 15908 | 17562 75100 227926 | 2147483647 15908 203 | 0.000 % |
10.76/10.82 c | 16191 | 17562 75100 227926 | 2147483647 16191 203 | 0.000 % |
10.97/11.02 c | 16500 | 17562 75100 227926 | 2147483647 16500 202 | 0.000 % |
11.16/11.26 c | 16839 | 17562 75100 227926 | 2147483647 16839 203 | 0.000 % |
11.26/11.33 c | 16940 | 17562 75100 227926 | 2147483647 16940 203 | 0.000 % |
11.36/11.42 c | 17050 | 17562 75100 227926 | 2147483647 17050 203 | 0.000 % |
11.46/11.50 c | 17171 | 17562 75100 227926 | 2147483647 17171 203 | 0.000 % |
11.46/11.59 c | 17304 | 17562 75100 227926 | 2147483647 17304 203 | 0.000 % |
11.66/11.70 c | 17450 | 17562 75100 227926 | 2147483647 17450 203 | 0.000 % |
11.76/11.82 c | 17610 | 17562 75100 227926 | 2147483647 17610 202 | 0.000 % |
11.86/11.96 c | 17786 | 17562 75100 227926 | 2147483647 17786 203 | 0.000 % |
11.97/12.08 c | 17979 | 17562 75100 227926 | 2147483647 17979 203 | 0.000 % |
12.17/12.23 c | 18193 | 17562 75100 227926 | 2147483647 18193 203 | 0.000 % |
12.27/12.40 c | 18427 | 17562 75100 227926 | 2147483647 18427 203 | 0.000 % |
12.47/12.57 c | 18683 | 17562 75100 227926 | 2147483647 18683 203 | 0.000 % |
12.67/12.78 c | 18964 | 17562 75100 227926 | 2147483647 18964 203 | 0.000 % |
12.97/13.00 c | 19274 | 17562 75100 227926 | 2147483647 19274 203 | 0.000 % |
13.17/13.24 c | 19614 | 17562 75100 227926 | 2147483647 19614 203 | 0.000 % |
13.47/13.52 c | 19989 | 17562 75100 227926 | 2147483647 19989 204 | 0.000 % |
13.57/13.60 c | 20091 | 17562 75100 227926 | 2147483647 20091 204 | 0.000 % |
13.57/13.69 c | 20202 | 17562 75100 227926 | 2147483647 20202 203 | 0.000 % |
13.67/13.78 c | 20323 | 17562 75100 227926 | 2147483647 20323 203 | 0.000 % |
13.76/13.88 c | 20457 | 17562 75100 227926 | 2147483647 20457 203 | 0.000 % |
13.86/13.99 c | 20603 | 17562 75100 227926 | 2147483647 20603 203 | 0.000 % |
14.06/14.11 c | 20764 | 17562 75100 227926 | 2147483647 20764 203 | 0.000 % |
14.17/14.25 c | 20941 | 17562 75100 227926 | 2147483647 20941 203 | 0.000 % |
14.27/14.39 c | 21134 | 17562 75100 227926 | 2147483647 21134 204 | 0.000 % |
14.46/14.55 c | 21346 | 17562 75100 227926 | 2147483647 21346 203 | 0.000 % |
14.66/14.73 c | 21579 | 17562 75100 227926 | 2147483647 21579 203 | 0.000 % |
14.86/14.92 c | 21837 | 17562 75100 227926 | 2147483647 21837 204 | 0.000 % |
15.06/15.12 c | 22118 | 17562 75100 227926 | 2147483647 22118 205 | 0.000 % |
15.26/15.34 c | 22428 | 17562 75100 227926 | 2147483647 22428 205 | 0.000 % |
15.46/15.57 c | 22767 | 17562 75100 227926 | 2147483647 22767 204 | 0.000 % |
15.77/15.84 c | 23141 | 17562 75100 227926 | 2147483647 23141 205 | 0.000 % |
16.06/16.13 c | 23550 | 17562 75100 227926 | 2147483647 23550 204 | 0.000 % |
16.16/16.22 c | 23651 | 17562 75100 227926 | 2147483647 23651 204 | 0.000 % |
16.26/16.30 c | 23762 | 17562 75100 227926 | 2147483647 23762 204 | 0.000 % |
16.26/16.40 c | 23883 | 17562 75100 227926 | 2147483647 23883 204 | 0.000 % |
16.47/16.50 c | 24018 | 17562 75100 227926 | 2147483647 24018 204 | 0.000 % |
16.56/16.61 c | 24167 | 17562 75100 227926 | 2147483647 24167 204 | 0.000 % |
16.66/16.74 c | 24328 | 17562 75100 227926 | 2147483647 24328 204 | 0.000 % |
16.76/16.87 c | 24504 | 17562 75100 227926 | 2147483647 24504 203 | 0.000 % |
16.96/17.02 c | 24699 | 17562 75100 227926 | 2147483647 24699 204 | 0.000 % |
17.16/17.20 c | 24911 | 17562 75100 227926 | 2147483647 24911 204 | 0.000 % |
17.26/17.36 c | 25144 | 17562 75100 227926 | 2147483647 25144 204 | 0.000 % |
17.47/17.57 c | 25402 | 17562 75100 227926 | 2147483647 25402 205 | 0.000 % |
17.66/17.79 c | 25683 | 17562 75100 227926 | 2147483647 25683 205 | 0.000 % |
17.96/18.02 c | 25992 | 17562 75100 227926 | 2147483647 25992 206 | 0.000 % |
18.16/18.28 c | 26331 | 17562 75100 227926 | 2147483647 26331 206 | 0.000 % |
18.46/18.56 c | 26703 | 17562 75100 227926 | 2147483647 26703 206 | 0.000 % |
18.76/18.87 c | 27112 | 17562 75100 227926 | 2147483647 27112 206 | 0.000 % |
19.16/19.20 c | 27561 | 17562 75100 227926 | 2147483647 27561 208 | 0.000 % |
19.16/19.29 c | 27661 | 17562 75100 227926 | 2147483647 27661 207 | 0.000 % |
19.26/19.39 c | 27772 | 17562 75100 227926 | 2147483647 27772 207 | 0.000 % |
19.36/19.48 c | 27893 | 17562 75100 227926 | 2147483647 27893 207 | 0.000 % |
19.46/19.58 c | 28026 | 17562 75100 227926 | 2147483647 28026 207 | 0.000 % |
19.56/19.70 c | 28173 | 17562 75100 227926 | 2147483647 28173 207 | 0.000 % |
19.76/19.83 c | 28333 | 17562 75100 227926 | 2147483647 28333 207 | 0.000 % |
19.86/19.97 c | 28509 | 17562 75100 227926 | 2147483647 28509 207 | 0.000 % |
20.06/20.13 c | 28703 | 17562 75100 227926 | 2147483647 28703 207 | 0.000 % |
20.16/20.28 c | 28917 | 17562 75100 227926 | 2147483647 28917 207 | 0.000 % |
20.36/20.47 c | 29151 | 17562 75100 227926 | 2147483647 29151 207 | 0.000 % |
20.56/20.65 c | 29407 | 17562 75100 227926 | 2147483647 29407 207 | 0.000 % |
20.76/20.86 c | 29689 | 17562 75100 227926 | 2147483647 29689 208 | 0.000 % |
20.96/21.10 c | 30000 | 17562 75100 227926 | 2147483647 30000 208 | 0.000 % |
21.25/21.35 c | 30340 | 17562 75100 227926 | 2147483647 30340 208 | 0.000 % |
21.55/21.63 c | 30712 | 17562 75100 227926 | 2147483647 30712 208 | 0.000 % |
21.87/21.94 c | 31121 | 17562 75100 227926 | 2147483647 31121 209 | 0.000 % |
22.16/22.27 c | 31570 | 17562 75100 227926 | 2147483647 31570 209 | 0.000 % |
22.56/22.63 c | 32066 | 17562 75100 227926 | 2147483647 32066 210 | 0.000 % |
22.66/22.71 c | 32166 | 17562 75100 227926 | 2147483647 32166 210 | 0.000 % |
22.76/22.80 c | 32276 | 17562 75100 227926 | 2147483647 32276 210 | 0.000 % |
22.86/22.91 c | 32398 | 17562 75100 227926 | 2147483647 32398 210 | 0.000 % |
22.96/23.02 c | 32531 | 17562 75100 227926 | 2147483647 32531 209 | 0.000 % |
23.06/23.16 c | 32677 | 17562 75100 227926 | 2147483647 32677 210 | 0.000 % |
23.16/23.29 c | 32839 | 17562 75100 227926 | 2147483647 32839 210 | 0.000 % |
23.36/23.45 c | 33015 | 17562 75100 227926 | 2147483647 33015 211 | 0.000 % |
23.55/23.62 c | 33209 | 17562 75100 227926 | 2147483647 33209 211 | 0.000 % |
23.75/23.81 c | 33422 | 17562 75100 227926 | 2147483647 33422 211 | 0.000 % |
23.85/23.99 c | 33655 | 17562 75100 227926 | 2147483647 33655 211 | 0.000 % |
24.06/24.19 c | 33911 | 17562 75100 227926 | 2147483647 33911 212 | 0.000 % |
24.36/24.42 c | 34193 | 17562 75100 227926 | 2147483647 34193 212 | 0.000 % |
24.56/24.68 c | 34503 | 17562 75100 227926 | 2147483647 34503 213 | 0.000 % |
24.86/24.94 c | 34842 | 17562 75100 227926 | 2147483647 34842 213 | 0.000 % |
25.16/25.26 c | 35215 | 17562 75100 227926 | 2147483647 35215 214 | 0.000 % |
25.46/25.58 c | 35627 | 17562 75100 227926 | 2147483647 35627 215 | 0.000 % |
25.86/25.93 c | 36076 | 17562 75100 227926 | 2147483647 36076 216 | 0.000 % |
26.26/26.35 c | 36572 | 17562 75100 227926 | 2147483647 36572 217 | 0.000 % |
26.66/26.76 c | 37115 | 17562 75100 227926 | 2147483647 37115 217 | 0.000 % |
26.75/26.85 c | 37215 | 17562 75100 227926 | 2147483647 37215 217 | 0.000 % |
26.85/26.94 c | 37325 | 17562 75100 227926 | 2147483647 37325 217 | 0.000 % |
26.95/27.06 c | 37446 | 17562 75100 227926 | 2147483647 37446 217 | 0.000 % |
27.15/27.20 c | 37582 | 17562 75100 227926 | 2147483647 37582 217 | 0.000 % |
27.25/27.33 c | 37730 | 17562 75100 227926 | 2147483647 37730 217 | 0.000 % |
27.36/27.47 c | 37891 | 17562 75100 227926 | 2147483647 37891 217 | 0.000 % |
27.55/27.62 c | 38067 | 17562 75100 227926 | 2147483647 38067 218 | 0.000 % |
27.75/27.80 c | 38262 | 17562 75100 227926 | 2147483647 38262 217 | 0.000 % |
27.85/27.97 c | 38475 | 17562 75100 227926 | 2147483647 38475 217 | 0.000 % |
28.05/28.17 c | 38709 | 17562 75100 227926 | 2147483647 38709 217 | 0.000 % |
28.25/28.38 c | 38965 | 17562 75100 227926 | 2147483647 38965 218 | 0.000 % |
28.56/28.62 c | 39248 | 17562 75100 227926 | 2147483647 39248 218 | 0.000 % |
28.75/28.88 c | 39557 | 17562 75100 227926 | 2147483647 39557 218 | 0.000 % |
29.05/29.16 c | 39897 | 17562 75100 227926 | 2147483647 39897 218 | 0.000 % |
29.35/29.49 c | 40269 | 17562 75100 227926 | 2147483647 40269 218 | 0.000 % |
29.75/29.86 c | 40678 | 17562 75100 227926 | 2147483647 40678 218 | 0.000 % |
30.15/30.24 c | 41129 | 17562 75100 227926 | 2147483647 41129 219 | 0.000 % |
30.55/30.64 c | 41623 | 17562 75100 227926 | 2147483647 41623 219 | 0.000 % |
30.95/31.07 c | 42165 | 17562 75100 227926 | 2147483647 42165 220 | 0.000 % |
31.56/31.61 c | 42761 | 17562 75100 227926 | 2147483647 42761 221 | 0.000 % |
31.66/31.70 c | 42862 | 17562 75100 227926 | 2147483647 42862 221 | 0.000 % |
31.76/31.81 c | 42972 | 17562 75100 227926 | 2147483647 42972 221 | 0.000 % |
31.86/31.91 c | 43093 | 17562 75100 227926 | 2147483647 43093 221 | 0.000 % |
31.95/32.05 c | 43227 | 17562 75100 227926 | 2147483647 43227 221 | 0.000 % |
32.05/32.19 c | 43373 | 17562 75100 227926 | 2147483647 43373 221 | 0.000 % |
32.25/32.32 c | 43533 | 17562 75100 227926 | 2147483647 43533 221 | 0.000 % |
32.35/32.46 c | 43709 | 17562 75100 227926 | 2147483647 43709 221 | 0.000 % |
32.55/32.64 c | 43902 | 17562 75100 227926 | 2147483647 43902 221 | 0.000 % |
32.75/32.83 c | 44114 | 17562 75100 227926 | 2147483647 44114 221 | 0.000 % |
32.96/33.04 c | 44349 | 17562 75100 227926 | 2147483647 44349 221 | 0.000 % |
33.15/33.26 c | 44609 | 17562 75100 227926 | 2147483647 44609 221 | 0.000 % |
33.45/33.50 c | 44890 | 17562 75100 227926 | 2147483647 44890 221 | 0.000 % |
33.65/33.76 c | 45199 | 17562 75100 227926 | 2147483647 45199 222 | 0.000 % |
33.95/34.05 c | 45538 | 17562 75100 227926 | 2147483647 45538 221 | 0.000 % |
34.35/34.41 c | 45912 | 17562 75100 227926 | 2147483647 45912 222 | 0.000 % |
34.65/34.74 c | 46321 | 17562 75100 227926 | 2147483647 46321 222 | 0.000 % |
35.05/35.11 c | 46770 | 17562 75100 227926 | 2147483647 46770 222 | 0.000 % |
35.44/35.53 c | 47263 | 17562 75100 227926 | 2147483647 47263 223 | 0.000 % |
35.95/36.03 c | 47806 | 17562 75100 227926 | 2147483647 47806 223 | 0.000 % |
36.45/36.56 c | 48403 | 17562 75100 227926 | 2147483647 48403 223 | 0.000 % |
37.05/37.16 c | 49059 | 17562 75100 227926 | 2147483647 49059 224 | 0.000 % |
37.15/37.27 c | 49160 | 17562 75100 227926 | 2147483647 49160 224 | 0.000 % |
37.25/37.39 c | 49272 | 17562 75100 227926 | 2147483647 49272 224 | 0.000 % |
37.45/37.51 c | 49394 | 17562 75100 227926 | 2147483647 49394 224 | 0.000 % |
37.55/37.64 c | 49527 | 17562 75100 227926 | 2147483647 49527 224 | 0.000 % |
37.65/37.79 c | 49673 | 17562 75100 227926 | 2147483647 49673 224 | 0.000 % |
37.85/37.93 c | 49833 | 17562 75100 227926 | 2147483647 49833 224 | 0.000 % |
38.05/38.11 c | 50009 | 17562 75100 227926 | 2147483647 50009 224 | 0.000 % |
38.15/38.30 c | 50202 | 17562 75100 227926 | 2147483647 50202 224 | 0.000 % |
38.35/38.48 c | 50414 | 17562 75100 227926 | 2147483647 50414 224 | 0.000 % |
38.64/38.71 c | 50647 | 17562 75100 227926 | 2147483647 50647 223 | 0.000 % |
38.85/38.94 c | 50904 | 17562 75100 227926 | 2147483647 50904 223 | 0.000 % |
39.15/39.20 c | 51185 | 17562 75100 227926 | 2147483647 51185 223 | 0.000 % |
39.35/39.48 c | 51494 | 17562 75100 227926 | 2147483647 51494 223 | 0.000 % |
39.65/39.79 c | 51833 | 17562 75100 227926 | 2147483647 51833 223 | 0.000 % |
40.05/40.12 c | 52207 | 17562 75100 227926 | 2147483647 52207 223 | 0.000 % |
40.35/40.47 c | 52616 | 17562 75100 227926 | 2147483647 52616 223 | 0.000 % |
40.74/40.88 c | 53065 | 17562 75100 227926 | 2147483647 53065 223 | 0.000 % |
41.24/41.36 c | 53558 | 17562 75100 227926 | 2147483647 53558 223 | 0.000 % |
41.74/41.87 c | 54102 | 17562 75100 227926 | 2147483647 54102 223 | 0.000 % |
42.34/42.43 c | 54698 | 17562 75100 227926 | 2147483647 54698 224 | 0.000 % |
42.93/43.06 c | 55354 | 17562 75100 227926 | 2147483647 55354 224 | 0.000 % |
43.64/43.76 c | 56075 | 17562 75100 227926 | 2147483647 56075 225 | 0.000 % |
43.73/43.87 c | 56175 | 17562 75100 227926 | 2147483647 56175 225 | 0.000 % |
43.84/43.98 c | 56285 | 17562 75100 227926 | 2147483647 56285 225 | 0.000 % |
44.03/44.11 c | 56407 | 17562 75100 227926 | 2147483647 56407 225 | 0.000 % |
44.13/44.25 c | 56540 | 17562 75100 227926 | 2147483647 56540 225 | 0.000 % |
44.23/44.39 c | 56688 | 17562 75100 227926 | 2147483647 56688 225 | 0.000 % |
44.43/44.53 c | 56849 | 17562 75100 227926 | 2147483647 56849 224 | 0.000 % |
44.53/44.69 c | 57025 | 17562 75100 227926 | 2147483647 57025 224 | 0.000 % |
44.73/44.88 c | 57219 | 17562 75100 227926 | 2147483647 57219 224 | 0.000 % |
44.94/45.09 c | 57431 | 17562 75100 227926 | 2147483647 57431 224 | 0.000 % |
45.23/45.31 c | 57666 | 17562 75100 227926 | 2147483647 57666 224 | 0.000 % |
45.43/45.56 c | 57926 | 17562 75100 227926 | 2147483647 57926 224 | 0.000 % |
45.73/45.83 c | 58207 | 17562 75100 227926 | 2147483647 58207 224 | 0.000 % |
45.93/46.08 c | 58518 | 17562 75100 227926 | 2147483647 58518 224 | 0.000 % |
46.23/46.39 c | 58858 | 17562 75100 227926 | 2147483647 58858 224 | 0.000 % |
46.63/46.74 c | 59230 | 17562 75100 227926 | 2147483647 59230 224 | 0.000 % |
47.02/47.13 c | 59641 | 17562 75100 227926 | 2147483647 59641 225 | 0.000 % |
47.42/47.54 c | 60092 | 17562 75100 227926 | 2147483647 60092 226 | 0.000 % |
47.92/48.04 c | 60585 | 17562 75100 227926 | 2147483647 60585 226 | 0.000 % |
48.43/48.54 c | 61127 | 17562 75100 227926 | 2147483647 61127 226 | 0.000 % |
49.03/49.12 c | 61723 | 17562 75100 227926 | 2147483647 61723 227 | 0.000 % |
49.63/49.73 c | 62378 | 17562 75100 227926 | 2147483647 62378 227 | 0.000 % |
50.33/50.41 c | 63098 | 17562 75100 227926 | 2147483647 63098 227 | 0.000 % |
51.03/51.13 c | 63893 | 17562 75100 227926 | 2147483647 63893 227 | 0.000 % |
51.13/51.24 c | 63994 | 17562 75100 227926 | 2147483647 63994 227 | 0.000 % |
51.23/51.38 c | 64105 | 17562 75100 227926 | 2147483647 64105 227 | 0.000 % |
51.43/51.51 c | 64227 | 17562 75100 227926 | 2147483647 64227 227 | 0.000 % |
51.53/51.67 c | 64361 | 17562 75100 227926 | 2147483647 64361 227 | 0.000 % |
51.72/51.82 c | 64507 | 17562 75100 227926 | 2147483647 64507 227 | 0.000 % |
51.83/51.98 c | 64667 | 17562 75100 227926 | 2147483647 64667 227 | 0.000 % |
52.03/52.15 c | 64845 | 17562 75100 227926 | 2147483647 64845 227 | 0.000 % |
52.23/52.35 c | 65039 | 17562 75100 227926 | 2147483647 65039 227 | 0.000 % |
52.43/52.57 c | 65251 | 17562 75100 227926 | 2147483647 65251 227 | 0.000 % |
52.73/52.80 c | 65484 | 17562 75100 227926 | 2147483647 65484 227 | 0.000 % |
52.93/53.06 c | 65741 | 17562 75100 227926 | 2147483647 65741 227 | 0.000 % |
53.22/53.34 c | 66023 | 17562 75100 227926 | 2147483647 66023 227 | 0.000 % |
53.52/53.67 c | 66334 | 17562 75100 227926 | 2147483647 66334 227 | 0.000 % |
53.92/54.01 c | 66673 | 17562 75100 227926 | 2147483647 66673 227 | 0.000 % |
54.22/54.35 c | 67046 | 17562 75100 227926 | 2147483647 67046 227 | 0.000 % |
54.62/54.75 c | 67456 | 17562 75100 227926 | 2147483647 67456 227 | 0.000 % |
55.12/55.20 c | 67905 | 17562 75100 227926 | 2147483647 67905 227 | 0.000 % |
55.52/55.67 c | 68398 | 17562 75100 227926 | 2147483647 68398 227 | 0.000 % |
56.13/56.22 c | 68941 | 17562 75100 227926 | 2147483647 68941 227 | 0.000 % |
56.72/56.82 c | 69537 | 17562 75100 227926 | 2147483647 69537 227 | 0.000 % |
57.42/57.52 c | 70192 | 17562 75100 227926 | 2147483647 70192 227 | 0.000 % |
58.12/58.21 c | 70913 | 17562 75100 227926 | 2147483647 70913 227 | 0.000 % |
58.82/58.99 c | 71706 | 17562 75100 227926 | 2147483647 71706 228 | 0.000 % |
59.82/59.92 c | 72578 | 17562 75100 227926 | 2147483647 72578 230 | 0.000 % |
59.92/60.05 c | 72678 | 17562 75100 227926 | 2147483647 72678 230 | 0.000 % |
60.02/60.19 c | 72788 | 17562 75100 227926 | 2147483647 72788 230 | 0.000 % |
60.22/60.33 c | 72910 | 17562 75100 227926 | 2147483647 72910 230 | 0.000 % |
60.33/60.46 c | 73043 | 17562 75100 227926 | 2147483647 73043 230 | 0.000 % |
60.52/60.63 c | 73190 | 17562 75100 227926 | 2147483647 73190 230 | 0.000 % |
60.72/60.80 c | 73350 | 17562 75100 227926 | 2147483647 73350 230 | 0.000 % |
60.82/61.00 c | 73526 | 17562 75100 227926 | 2147483647 73526 229 | 0.000 % |
61.12/61.21 c | 73720 | 17562 75100 227926 | 2147483647 73720 229 | 0.000 % |
61.32/61.43 c | 73932 | 17562 75100 227926 | 2147483647 73932 229 | 0.000 % |
61.62/61.70 c | 74166 | 17562 75100 227926 | 2147483647 74166 229 | 0.000 % |
61.82/61.94 c | 74423 | 17562 75100 227926 | 2147483647 74423 229 | 0.000 % |
62.12/62.24 c | 74706 | 17562 75100 227926 | 2147483647 74706 229 | 0.000 % |
62.42/62.55 c | 75017 | 17562 75100 227926 | 2147483647 75017 229 | 0.000 % |
62.71/62.89 c | 75357 | 17562 75100 227926 | 2147483647 75357 229 | 0.000 % |
63.21/63.31 c | 75730 | 17562 75100 227926 | 2147483647 75730 229 | 0.000 % |
63.63/63.71 c | 76140 | 17562 75100 227926 | 2147483647 76140 229 | 0.000 % |
64.12/64.22 c | 76590 | 17562 75100 227926 | 2147483647 76590 230 | 0.000 % |
64.62/64.73 c | 77083 | 17562 75100 227926 | 2147483647 77083 230 | 0.000 % |
65.22/65.30 c | 77625 | 17562 75100 227926 | 2147483647 77625 230 | 0.000 % |
65.82/65.95 c | 78221 | 17562 75100 227926 | 2147483647 78221 230 | 0.000 % |
66.41/66.57 c | 78876 | 17562 75100 227926 | 2147483647 78876 231 | 0.000 % |
67.22/67.32 c | 79596 | 17562 75100 227926 | 2147483647 79596 232 | 0.000 % |
68.02/68.17 c | 80388 | 17562 75100 227926 | 2147483647 80388 232 | 0.000 % |
68.92/69.05 c | 81264 | 17562 75100 227926 | 2147483647 81264 232 | 0.000 % |
69.81/69.99 c | 82222 | 17562 75100 227926 | 2147483647 82222 233 | 0.000 % |
70.02/70.10 c | 82324 | 17562 75100 227926 | 2147483647 82324 233 | 0.000 % |
70.12/70.24 c | 82435 | 17562 75100 227926 | 2147483647 82435 233 | 0.000 % |
70.22/70.38 c | 82556 | 17562 75100 227926 | 2147483647 82556 233 | 0.000 % |
70.42/70.53 c | 82691 | 17562 75100 227926 | 2147483647 82691 233 | 0.000 % |
70.62/70.72 c | 82837 | 17562 75100 227926 | 2147483647 82837 233 | 0.000 % |
70.81/70.90 c | 82997 | 17562 75100 227926 | 2147483647 82997 233 | 0.000 % |
71.01/71.11 c | 83173 | 17562 75100 227926 | 2147483647 83173 233 | 0.000 % |
71.21/71.32 c | 83366 | 17562 75100 227926 | 2147483647 83366 233 | 0.000 % |
71.42/71.57 c | 83578 | 17562 75100 227926 | 2147483647 83578 233 | 0.000 % |
71.71/71.81 c | 83811 | 17562 75100 227926 | 2147483647 83811 233 | 0.000 % |
72.01/72.11 c | 84067 | 17562 75100 227926 | 2147483647 84067 233 | 0.000 % |
72.31/72.44 c | 84348 | 17562 75100 227926 | 2147483647 84348 232 | 0.000 % |
72.71/72.80 c | 84657 | 17562 75100 227926 | 2147483647 84657 233 | 0.000 % |
73.01/73.15 c | 84996 | 17562 75100 227926 | 2147483647 84996 233 | 0.000 % |
73.41/73.55 c | 85369 | 17562 75100 227926 | 2147483647 85369 233 | 0.000 % |
73.91/74.02 c | 85780 | 17562 75100 227926 | 2147483647 85780 233 | 0.000 % |
74.41/74.50 c | 86229 | 17562 75100 227926 | 2147483647 86229 234 | 0.000 % |
74.91/75.06 c | 86722 | 17562 75100 227926 | 2147483647 86722 234 | 0.000 % |
75.51/75.64 c | 87266 | 17562 75100 227926 | 2147483647 87266 234 | 0.000 % |
76.21/76.31 c | 87863 | 17562 75100 227926 | 2147483647 87863 235 | 0.000 % |
76.91/77.04 c | 88518 | 17562 75100 227926 | 2147483647 88518 235 | 0.000 % |
77.71/77.90 c | 89241 | 17562 75100 227926 | 2147483647 89241 235 | 0.000 % |
78.61/78.75 c | 90035 | 17562 75100 227926 | 2147483647 90035 235 | 0.000 % |
79.61/79.73 c | 90906 | 17562 75100 227926 | 2147483647 90906 235 | 0.000 % |
80.71/80.84 c | 91865 | 17562 75100 227926 | 2147483647 91865 236 | 0.000 % |
81.81/81.97 c | 92918 | 17562 75100 227926 | 2147483647 92918 236 | 0.000 % |
81.91/82.08 c | 93018 | 17562 75100 227926 | 2147483647 93018 236 | 0.000 % |
82.11/82.23 c | 93128 | 17562 75100 227926 | 2147483647 93128 236 | 0.000 % |
82.21/82.39 c | 93249 | 17562 75100 227926 | 2147483647 93249 236 | 0.000 % |
82.42/82.56 c | 93382 | 17562 75100 227926 | 2147483647 93382 236 | 0.000 % |
82.61/82.73 c | 93530 | 17562 75100 227926 | 2147483647 93530 235 | 0.000 % |
82.81/82.93 c | 93691 | 17562 75100 227926 | 2147483647 93691 235 | 0.000 % |
83.01/83.12 c | 93867 | 17562 75100 227926 | 2147483647 93867 235 | 0.000 % |
83.21/83.38 c | 94062 | 17562 75100 227926 | 2147483647 94062 235 | 0.000 % |
83.51/83.61 c | 94274 | 17562 75100 227926 | 2147483647 94274 235 | 0.000 % |
83.71/83.88 c | 94508 | 17562 75100 227926 | 2147483647 94508 235 | 0.000 % |
84.11/84.20 c | 94765 | 17562 75100 227926 | 2147483647 94765 235 | 0.000 % |
84.41/84.55 c | 95047 | 17562 75100 227926 | 2147483647 95047 235 | 0.000 % |
84.81/84.93 c | 95356 | 17562 75100 227926 | 2147483647 95356 235 | 0.000 % |
85.21/85.32 c | 95697 | 17562 75100 227926 | 2147483647 95697 235 | 0.000 % |
85.61/85.76 c | 96070 | 17562 75100 227926 | 2147483647 96070 235 | 0.000 % |
86.11/86.24 c | 96479 | 17562 75100 227926 | 2147483647 96479 235 | 0.000 % |
86.60/86.76 c | 96929 | 17562 75100 227926 | 2147483647 96929 235 | 0.000 % |
87.20/87.33 c | 97423 | 17562 75100 227926 | 2147483647 97423 236 | 0.000 % |
87.81/87.98 c | 97966 | 17562 75100 227926 | 2147483647 97966 236 | 0.000 % |
88.51/88.63 c | 98563 | 17562 75100 227926 | 2147483647 98563 236 | 0.000 % |
89.20/89.36 c | 99218 | 17562 75100 227926 | 2147483647 99218 236 | 0.000 % |
90.01/90.19 c | 99940 | 17562 75100 227926 | 2147483647 99940 236 | 0.000 % |
90.90/91.08 c | 100733 | 17562 75100 227926 | 2147483647 100733 237 | 0.000 % |
92.01/92.11 c | 101605 | 17562 75100 227926 | 2147483647 101605 237 | 0.000 % |
93.10/93.24 c | 102563 | 17562 75100 227926 | 2147483647 102563 238 | 0.000 % |
94.40/94.51 c | 103617 | 17562 75100 227926 | 2147483647 103617 239 | 0.000 % |
95.80/95.93 c | 104776 | 17562 75100 227926 | 2147483647 104776 241 | 0.000 % |
95.90/96.06 c | 104877 | 17562 75100 227926 | 2147483647 104877 241 | 0.000 % |
96.10/96.21 c | 104987 | 17562 75100 227926 | 2147483647 104987 241 | 0.000 % |
96.20/96.38 c | 105108 | 17562 75100 227926 | 2147483647 105108 241 | 0.000 % |
96.40/96.57 c | 105241 | 17562 75100 227926 | 2147483647 105241 241 | 0.000 % |
96.61/96.75 c | 105388 | 17562 75100 227926 | 2147483647 105388 241 | 0.000 % |
96.80/96.95 c | 105548 | 17562 75100 227926 | 2147483647 105548 241 | 0.000 % |
97.00/97.18 c | 105726 | 17562 75100 227926 | 2147483647 105726 241 | 0.000 % |
97.30/97.43 c | 105920 | 17562 75100 227926 | 2147483647 105920 241 | 0.000 % |
97.50/97.69 c | 106133 | 17562 75100 227926 | 2147483647 106133 241 | 0.000 % |
97.90/98.00 c | 106368 | 17562 75100 227926 | 2147483647 106368 241 | 0.000 % |
98.20/98.32 c | 106625 | 17562 75100 227926 | 2147483647 106625 240 | 0.000 % |
98.51/98.65 c | 106907 | 17562 75100 227926 | 2147483647 106907 241 | 0.000 % |
98.91/99.03 c | 107216 | 17562 75100 227926 | 2147483647 107216 240 | 0.000 % |
99.30/99.45 c | 107556 | 17562 75100 227926 | 2147483647 107556 240 | 0.000 % |
99.80/99.91 c | 107928 | 17562 75100 227926 | 2147483647 107928 241 | 0.000 % |
100.30/100.41 c | 108338 | 17562 75100 227926 | 2147483647 108338 241 | 0.000 % |
100.80/100.92 c | 108787 | 17562 75100 227926 | 2147483647 108787 241 | 0.000 % |
101.40/101.52 c | 109280 | 17562 75100 227926 | 2147483647 109280 241 | 0.000 % |
102.00/102.13 c | 109823 | 17562 75100 227926 | 2147483647 109823 241 | 0.000 % |
102.71/102.85 c | 110420 | 17562 75100 227926 | 2147483647 110420 241 | 0.000 % |
103.50/103.65 c | 111075 | 17562 75100 227926 | 2147483647 111075 241 | 0.000 % |
104.41/104.51 c | 111796 | 17562 75100 227926 | 2147483647 111796 241 | 0.000 % |
105.30/105.47 c | 112588 | 17562 75100 227926 | 2147483647 112588 241 | 0.000 % |
106.30/106.46 c | 113460 | 17562 75100 227926 | 2147483647 113460 241 | 0.000 % |
107.50/107.66 c | 114418 | 17562 75100 227926 | 2147483647 114418 242 | 0.000 % |
108.90/109.02 c | 115471 | 17562 75100 227926 | 2147483647 115471 242 | 0.000 % |
110.30/110.50 c | 116630 | 17562 75100 227926 | 2147483647 116630 243 | 0.000 % |
111.79/111.93 c | 117903 | 17562 75100 227926 | 2147483647 117903 243 | 0.000 % |
111.89/112.06 c | 118004 | 17562 75100 227926 | 2147483647 118004 243 | 0.000 % |
112.11/112.24 c | 118115 | 17562 75100 227926 | 2147483647 118115 243 | 0.000 % |
112.30/112.43 c | 118237 | 17562 75100 227926 | 2147483647 118237 243 | 0.000 % |
112.50/112.63 c | 118370 | 17562 75100 227926 | 2147483647 118370 243 | 0.000 % |
112.70/112.84 c | 118516 | 17562 75100 227926 | 2147483647 118516 243 | 0.000 % |
112.90/113.09 c | 118677 | 17562 75100 227926 | 2147483647 118677 243 | 0.000 % |
113.20/113.32 c | 118853 | 17562 75100 227926 | 2147483647 118853 243 | 0.000 % |
113.40/113.57 c | 119046 | 17562 75100 227926 | 2147483647 119046 243 | 0.000 % |
113.70/113.89 c | 119258 | 17562 75100 227926 | 2147483647 119258 243 | 0.000 % |
114.10/114.21 c | 119491 | 17562 75100 227926 | 2147483647 119491 243 | 0.000 % |
114.40/114.55 c | 119747 | 17562 75100 227926 | 2147483647 119747 243 | 0.000 % |
114.80/114.94 c | 120028 | 17562 75100 227926 | 2147483647 120028 243 | 0.000 % |
115.20/115.36 c | 120337 | 17562 75100 227926 | 2147483647 120337 243 | 0.000 % |
115.70/115.82 c | 120679 | 17562 75100 227926 | 2147483647 120679 242 | 0.000 % |
116.20/116.31 c | 121052 | 17562 75100 227926 | 2147483647 121052 243 | 0.000 % |
116.70/116.85 c | 121461 | 17562 75100 227926 | 2147483647 121461 243 | 0.000 % |
117.29/117.45 c | 121910 | 17562 75100 227926 | 2147483647 121910 243 | 0.000 % |
117.89/118.09 c | 122403 | 17562 75100 227926 | 2147483647 122403 242 | 0.000 % |
118.60/118.78 c | 122948 | 17562 75100 227926 | 2147483647 122948 242 | 0.000 % |
119.40/119.54 c | 123544 | 17562 75100 227926 | 2147483647 123544 242 | 0.000 % |
120.19/120.38 c | 124200 | 17562 75100 227926 | 2147483647 124200 243 | 0.000 % |
121.19/121.31 c | 124921 | 17562 75100 227926 | 2147483647 124921 243 | 0.000 % |
122.09/122.28 c | 125714 | 17562 75100 227926 | 2147483647 125714 243 | 0.000 % |
123.10/123.28 c | 126585 | 17562 75100 227926 | 2147483647 126585 244 | 0.000 % |
124.39/124.51 c | 127543 | 17562 75100 227926 | 2147483647 127543 244 | 0.000 % |
125.69/125.84 c | 128596 | 17562 75100 227926 | 2147483647 128596 245 | 0.000 % |
127.09/127.23 c | 129754 | 17562 75100 227926 | 2147483647 129754 245 | 0.000 % |
128.59/128.79 c | 131028 | 17562 75100 227926 | 2147483647 131028 245 | 0.000 % |
130.40/130.56 c | 132429 | 17562 75100 227926 | 2147483647 132429 246 | 0.000 % |
130.50/130.69 c | 132530 | 17562 75100 227926 | 2147483647 132530 246 | 0.000 % |
130.70/130.88 c | 132640 | 17562 75100 227926 | 2147483647 132640 246 | 0.000 % |
130.90/131.07 c | 132761 | 17562 75100 227926 | 2147483647 132761 246 | 0.000 % |
131.10/131.29 c | 132896 | 17562 75100 227926 | 2147483647 132896 246 | 0.000 % |
131.40/131.50 c | 133043 | 17562 75100 227926 | 2147483647 133043 246 | 0.000 % |
131.59/131.74 c | 133206 | 17562 75100 227926 | 2147483647 133206 245 | 0.000 % |
131.89/132.00 c | 133382 | 17562 75100 227926 | 2147483647 133382 245 | 0.000 % |
132.09/132.29 c | 133575 | 17562 75100 227926 | 2147483647 133575 245 | 0.000 % |
132.38/132.57 c | 133788 | 17562 75100 227926 | 2147483647 133788 245 | 0.000 % |
132.78/132.92 c | 134024 | 17562 75100 227926 | 2147483647 134024 245 | 0.000 % |
133.18/133.30 c | 134281 | 17562 75100 227926 | 2147483647 134281 245 | 0.000 % |
133.58/133.71 c | 134565 | 17562 75100 227926 | 2147483647 134565 246 | 0.000 % |
133.99/134.16 c | 134874 | 17562 75100 227926 | 2147483647 134874 245 | 0.000 % |
134.48/134.60 c | 135213 | 17562 75100 227926 | 2147483647 135213 245 | 0.000 % |
134.99/135.15 c | 135586 | 17562 75100 227926 | 2147483647 135586 245 | 0.000 % |
135.59/135.75 c | 135996 | 17562 75100 227926 | 2147483647 135996 245 | 0.000 % |
136.19/136.37 c | 136445 | 17562 75100 227926 | 2147483647 136445 245 | 0.000 % |
136.89/137.05 c | 136938 | 17562 75100 227926 | 2147483647 136938 245 | 0.000 % |
137.69/137.82 c | 137481 | 17562 75100 227926 | 2147483647 137481 245 | 0.000 % |
138.49/138.61 c | 138077 | 17562 75100 227926 | 2147483647 138077 245 | 0.000 % |
139.38/139.51 c | 138732 | 17562 75100 227926 | 2147483647 138732 245 | 0.000 % |
140.38/140.55 c | 139452 | 17562 75100 227926 | 2147483647 139452 245 | 0.000 % |
141.49/141.68 c | 140244 | 17562 75100 227926 | 2147483647 140244 245 | 0.000 % |
142.79/142.93 c | 141115 | 17562 75100 227926 | 2147483647 141115 245 | 0.000 % |
143.99/144.13 c | 142073 | 17562 75100 227926 | 2147483647 142073 245 | 0.000 % |
145.38/145.55 c | 143126 | 17562 75100 227926 | 2147483647 143126 245 | 0.000 % |
146.88/147.09 c | 144285 | 17562 75100 227926 | 2147483647 144285 245 | 0.000 % |
148.68/148.81 c | 145559 | 17562 75100 227926 | 2147483647 145559 246 | 0.000 % |
150.48/150.69 c | 146959 | 17562 75100 227926 | 2147483647 146959 246 | 0.000 % |
152.78/152.97 c | 148503 | 17562 75100 227926 | 2147483647 148503 246 | 0.000 % |
152.98/153.16 c | 148604 | 17562 75100 227926 | 2147483647 148604 246 | 0.000 % |
153.18/153.34 c | 148715 | 17562 75100 227926 | 2147483647 148715 246 | 0.000 % |
153.38/153.56 c | 148840 | 17562 75100 227926 | 2147483647 148840 246 | 0.000 % |
153.58/153.79 c | 148974 | 17562 75100 227926 | 2147483647 148974 246 | 0.000 % |
153.89/154.03 c | 149121 | 17562 75100 227926 | 2147483647 149121 246 | 0.000 % |
154.18/154.31 c | 149285 | 17562 75100 227926 | 2147483647 149285 246 | 0.000 % |
154.38/154.55 c | 149461 | 17562 75100 227926 | 2147483647 149461 246 | 0.000 % |
154.68/154.88 c | 149654 | 17562 75100 227926 | 2147483647 149654 246 | 0.000 % |
154.99/155.18 c | 149866 | 17562 75100 227926 | 2147483647 149866 246 | 0.000 % |
155.38/155.54 c | 150100 | 17562 75100 227926 | 2147483647 150100 246 | 0.000 % |
155.78/155.93 c | 150357 | 17562 75100 227926 | 2147483647 150357 246 | 0.000 % |
156.18/156.37 c | 150639 | 17562 75100 227926 | 2147483647 150639 246 | 0.000 % |
156.68/156.82 c | 150949 | 17562 75100 227926 | 2147483647 150949 246 | 0.000 % |
157.19/157.33 c | 151290 | 17562 75100 227926 | 2147483647 151290 246 | 0.000 % |
157.78/157.91 c | 151663 | 17562 75100 227926 | 2147483647 151663 246 | 0.000 % |
158.38/158.54 c | 152073 | 17562 75100 227926 | 2147483647 152073 246 | 0.000 % |
159.08/159.23 c | 152523 | 17562 75100 227926 | 2147483647 152523 246 | 0.000 % |
159.88/160.04 c | 153016 | 17562 75100 227926 | 2147483647 153016 246 | 0.000 % |
160.67/160.84 c | 153558 | 17562 75100 227926 | 2147483647 153558 246 | 0.000 % |
161.58/161.74 c | 154156 | 17562 75100 227926 | 2147483647 154156 246 | 0.000 % |
162.48/162.69 c | 154813 | 17562 75100 227926 | 2147483647 154813 246 | 0.000 % |
163.58/163.71 c | 155534 | 17562 75100 227926 | 2147483647 155534 246 | 0.000 % |
164.68/164.85 c | 156326 | 17562 75100 227926 | 2147483647 156326 247 | 0.000 % |
165.88/166.05 c | 157200 | 17562 75100 227926 | 2147483647 157200 247 | 0.000 % |
167.17/167.36 c | 158158 | 17562 75100 227926 | 2147483647 158158 247 | 0.000 % |
168.67/168.89 c | 159211 | 17562 75100 227926 | 2147483647 159211 248 | 0.000 % |
170.38/170.57 c | 160371 | 17562 75100 227926 | 2147483647 160371 248 | 0.000 % |
172.18/172.33 c | 161644 | 17562 75100 227926 | 2147483647 161644 249 | 0.000 % |
174.17/174.34 c | 163046 | 17562 75100 227926 | 2147483647 163046 249 | 0.000 % |
176.38/176.55 c | 164586 | 17562 75100 227926 | 2147483647 164586 250 | 0.000 % |
178.96/179.15 c | 166280 | 17562 75100 227926 | 2147483647 166280 250 | 0.000 % |
179.17/179.33 c | 166380 | 17562 75100 227926 | 2147483647 166380 250 | 0.000 % |
179.36/179.56 c | 166490 | 17562 75100 227926 | 2147483647 166490 250 | 0.000 % |
179.66/179.80 c | 166613 | 17562 75100 227926 | 2147483647 166613 250 | 0.000 % |
179.87/180.03 c | 166746 | 17562 75100 227926 | 2147483647 166746 250 | 0.000 % |
180.07/180.30 c | 166892 | 17562 75100 227926 | 2147483647 166892 250 | 0.000 % |
180.37/180.58 c | 167054 | 17562 75100 227926 | 2147483647 167054 250 | 0.000 % |
180.67/180.88 c | 167230 | 17562 75100 227926 | 2147483647 167230 250 | 0.000 % |
181.07/181.22 c | 167424 | 17562 75100 227926 | 2147483647 167424 250 | 0.000 % |
181.37/181.53 c | 167638 | 17562 75100 227926 | 2147483647 167638 250 | 0.000 % |
181.77/181.92 c | 167872 | 17562 75100 227926 | 2147483647 167872 250 | 0.000 % |
182.17/182.36 c | 168130 | 17562 75100 227926 | 2147483647 168130 250 | 0.000 % |
182.67/182.82 c | 168412 | 17562 75100 227926 | 2147483647 168412 250 | 0.000 % |
183.17/183.35 c | 168723 | 17562 75100 227926 | 2147483647 168723 250 | 0.000 % |
183.76/183.91 c | 169062 | 17562 75100 227926 | 2147483647 169062 250 | 0.000 % |
184.36/184.54 c | 169434 | 17562 75100 227926 | 2147483647 169434 250 | 0.000 % |
184.96/185.15 c | 169843 | 17562 75100 227926 | 2147483647 169843 250 | 0.000 % |
185.66/185.80 c | 170292 | 17562 75100 227926 | 2147483647 170292 250 | 0.000 % |
186.46/186.64 c | 170787 | 17562 75100 227926 | 2147483647 170787 250 | 0.000 % |
187.27/187.50 c | 171329 | 17562 75100 227926 | 2147483647 171329 250 | 0.000 % |
188.26/188.41 c | 171925 | 17562 75100 227926 | 2147483647 171925 250 | 0.000 % |
189.26/189.40 c | 172580 | 17562 75100 227926 | 2147483647 172580 250 | 0.000 % |
190.36/190.60 c | 173301 | 17562 75100 227926 | 2147483647 173301 250 | 0.000 % |
191.66/191.83 c | 174095 | 17562 75100 227926 | 2147483647 174095 250 | 0.000 % |
193.06/193.21 c | 174967 | 17562 75100 227926 | 2147483647 174967 250 | 0.000 % |
194.46/194.70 c | 175925 | 17562 75100 227926 | 2147483647 175925 250 | 0.000 % |
196.06/196.22 c | 176979 | 17562 75100 227926 | 2147483647 176979 250 | 0.000 % |
197.76/197.96 c | 178137 | 17562 75100 227926 | 2147483647 178137 250 | 0.000 % |
199.76/199.92 c | 179410 | 17562 75100 227926 | 2147483647 179410 251 | 0.000 % |
201.86/202.02 c | 180810 | 17562 75100 227926 | 2147483647 180810 252 | 0.000 % |
204.16/204.34 c | 182350 | 17562 75100 227926 | 2147483647 182350 252 | 0.000 % |
206.76/206.92 c | 184044 | 17562 75100 227926 | 2147483647 184044 253 | 0.000 % |
209.55/209.75 c | 185908 | 17562 75100 227926 | 2147483647 185908 253 | 0.000 % |
209.75/209.96 c | 186008 | 17562 75100 227926 | 2147483647 186008 253 | 0.000 % |
209.96/210.19 c | 186119 | 17562 75100 227926 | 2147483647 186119 253 | 0.000 % |
210.26/210.40 c | 186241 | 17562 75100 227926 | 2147483647 186241 253 | 0.000 % |
210.46/210.65 c | 186376 | 17562 75100 227926 | 2147483647 186376 253 | 0.000 % |
210.76/210.91 c | 186523 | 17562 75100 227926 | 2147483647 186523 253 | 0.000 % |
211.06/211.22 c | 186683 | 17562 75100 227926 | 2147483647 186683 253 | 0.000 % |
211.35/211.55 c | 186859 | 17562 75100 227926 | 2147483647 186859 253 | 0.000 % |
211.65/211.86 c | 187053 | 17562 75100 227926 | 2147483647 187053 253 | 0.000 % |
212.06/212.26 c | 187265 | 17562 75100 227926 | 2147483647 187265 253 | 0.000 % |
212.45/212.68 c | 187498 | 17562 75100 227926 | 2147483647 187498 253 | 0.000 % |
212.96/213.11 c | 187755 | 17562 75100 227926 | 2147483647 187755 253 | 0.000 % |
213.45/213.62 c | 188036 | 17562 75100 227926 | 2147483647 188036 253 | 0.000 % |
214.05/214.21 c | 188345 | 17562 75100 227926 | 2147483647 188345 253 | 0.000 % |
214.56/214.77 c | 188684 | 17562 75100 227926 | 2147483647 188684 253 | 0.000 % |
215.26/215.42 c | 189056 | 17562 75100 227926 | 2147483647 189056 253 | 0.000 % |
215.86/216.09 c | 189466 | 17562 75100 227926 | 2147483647 189466 253 | 0.000 % |
216.66/216.81 c | 189917 | 17562 75100 227926 | 2147483647 189917 253 | 0.000 % |
217.46/217.66 c | 190410 | 17562 75100 227926 | 2147483647 190410 253 | 0.000 % |
218.36/218.54 c | 190953 | 17562 75100 227926 | 2147483647 190953 253 | 0.000 % |
219.36/219.55 c | 191550 | 17562 75100 227926 | 2147483647 191550 253 | 0.000 % |
220.35/220.59 c | 192209 | 17562 75100 227926 | 2147483647 192209 253 | 0.000 % |
221.45/221.68 c | 192930 | 17562 75100 227926 | 2147483647 192930 253 | 0.000 % |
222.75/222.91 c | 193722 | 17562 75100 227926 | 2147483647 193722 253 | 0.000 % |
224.05/224.23 c | 194596 | 17562 75100 227926 | 2147483647 194596 253 | 0.000 % |
225.64/225.89 c | 195554 | 17562 75100 227926 | 2147483647 195554 253 | 0.000 % |
227.45/227.62 c | 196609 | 17562 75100 227926 | 2147483647 196609 253 | 0.000 % |
229.14/229.38 c | 197768 | 17562 75100 227926 | 2147483647 197768 253 | 0.000 % |
231.24/231.43 c | 199041 | 17562 75100 227926 | 2147483647 199041 254 | 0.000 % |
233.44/233.66 c | 200443 | 17562 75100 227926 | 2147483647 200443 254 | 0.000 % |
235.94/236.18 c | 201983 | 17562 75100 227926 | 2147483647 201983 254 | 0.000 % |
238.74/238.99 c | 203677 | 17562 75100 227926 | 2147483647 203677 254 | 0.000 % |
241.75/241.95 c | 205541 | 17562 75100 227926 | 2147483647 205541 255 | 0.000 % |
245.05/245.28 c | 207591 | 17562 75100 227926 | 2147483647 207591 256 | 0.000 % |
245.25/245.48 c | 207691 | 17562 75100 227926 | 2147483647 207691 256 | 0.000 % |
245.55/245.74 c | 207803 | 17562 75100 227926 | 2147483647 207803 256 | 0.000 % |
245.75/245.96 c | 207924 | 17562 75100 227926 | 2147483647 207924 256 | 0.000 % |
246.05/246.24 c | 208058 | 17562 75100 227926 | 2147483647 208058 256 | 0.000 % |
246.34/246.55 c | 208205 | 17562 75100 227926 | 2147483647 208205 256 | 0.000 % |
246.64/246.86 c | 208365 | 17562 75100 227926 | 2147483647 208365 256 | 0.000 % |
247.04/247.22 c | 208542 | 17562 75100 227926 | 2147483647 208542 256 | 0.000 % |
247.44/247.64 c | 208735 | 17562 75100 227926 | 2147483647 208735 256 | 0.000 % |
247.84/248.03 c | 208947 | 17562 75100 227926 | 2147483647 208947 255 | 0.000 % |
248.24/248.50 c | 209180 | 17562 75100 227926 | 2147483647 209180 255 | 0.000 % |
248.74/248.95 c | 209438 | 17562 75100 227926 | 2147483647 209438 255 | 0.000 % |
249.24/249.48 c | 209720 | 17562 75100 227926 | 2147483647 209720 255 | 0.000 % |
249.84/250.07 c | 210032 | 17562 75100 227926 | 2147483647 210032 255 | 0.000 % |
250.54/250.71 c | 210371 | 17562 75100 227926 | 2147483647 210371 255 | 0.000 % |
251.14/251.36 c | 210743 | 17562 75100 227926 | 2147483647 210743 255 | 0.000 % |
251.83/252.09 c | 211152 | 17562 75100 227926 | 2147483647 211152 255 | 0.000 % |
252.64/252.88 c | 211602 | 17562 75100 227926 | 2147483647 211602 255 | 0.000 % |
253.64/253.80 c | 212095 | 17562 75100 227926 | 2147483647 212095 256 | 0.000 % |
254.54/254.76 c | 212637 | 17562 75100 227926 | 2147483647 212637 255 | 0.000 % |
255.64/255.87 c | 213233 | 17562 75100 227926 | 2147483647 213233 255 | 0.000 % |
256.74/256.99 c | 213890 | 17562 75100 227926 | 2147483647 213890 255 | 0.000 % |
258.03/258.29 c | 214612 | 17562 75100 227926 | 2147483647 214612 256 | 0.000 % |
259.53/259.76 c | 215404 | 17562 75100 227926 | 2147483647 215404 256 | 0.000 % |
261.14/261.34 c | 216280 | 17562 75100 227926 | 2147483647 216280 256 | 0.000 % |
262.74/262.96 c | 217238 | 17562 75100 227926 | 2147483647 217238 256 | 0.000 % |
264.54/264.76 c | 218292 | 17562 75100 227926 | 2147483647 218292 257 | 0.000 % |
266.43/266.62 c | 219452 | 17562 75100 227926 | 2147483647 219452 257 | 0.000 % |
268.63/268.89 c | 220729 | 17562 75100 227926 | 2147483647 220729 257 | 0.000 % |
271.03/271.23 c | 222129 | 17562 75100 227926 | 2147483647 222129 257 | 0.000 % |
273.53/273.75 c | 223671 | 17562 75100 227926 | 2147483647 223671 257 | 0.000 % |
276.53/276.78 c | 225365 | 17562 75100 227926 | 2147483647 225365 257 | 0.000 % |
279.82/280.05 c | 227229 | 17562 75100 227926 | 2147483647 227229 257 | 0.000 % |
283.33/283.54 c | 229278 | 17562 75100 227926 | 2147483647 229278 257 | 0.000 % |
287.53/287.70 c | 231531 | 17562 75100 227926 | 2147483647 231531 258 | 0.000 % |
287.73/287.96 c | 231631 | 17562 75100 227926 | 2147483647 231631 258 | 0.000 % |
287.93/288.20 c | 231741 | 17562 75100 227926 | 2147483647 231741 258 | 0.000 % |
288.23/288.46 c | 231862 | 17562 75100 227926 | 2147483647 231862 258 | 0.000 % |
288.53/288.77 c | 231995 | 17562 75100 227926 | 2147483647 231995 258 | 0.000 % |
288.83/289.09 c | 232143 | 17562 75100 227926 | 2147483647 232143 258 | 0.000 % |
289.22/289.44 c | 232306 | 17562 75100 227926 | 2147483647 232306 258 | 0.000 % |
289.62/289.81 c | 232483 | 17562 75100 227926 | 2147483647 232483 258 | 0.000 % |
290.02/290.23 c | 232677 | 17562 75100 227926 | 2147483647 232677 258 | 0.000 % |
290.42/290.65 c | 232890 | 17562 75100 227926 | 2147483647 232890 258 | 0.000 % |
290.92/291.14 c | 233123 | 17562 75100 227926 | 2147483647 233123 258 | 0.000 % |
291.42/291.60 c | 233380 | 17562 75100 227926 | 2147483647 233380 257 | 0.000 % |
291.92/292.13 c | 233661 | 17562 75100 227926 | 2147483647 233661 257 | 0.000 % |
292.52/292.75 c | 233970 | 17562 75100 227926 | 2147483647 233970 257 | 0.000 % |
293.12/293.34 c | 234309 | 17562 75100 227926 | 2147483647 234309 257 | 0.000 % |
293.82/294.09 c | 234683 | 17562 75100 227926 | 2147483647 234683 257 | 0.000 % |
294.62/294.83 c | 235093 | 17562 75100 227926 | 2147483647 235093 257 | 0.000 % |
295.53/295.71 c | 235543 | 17562 75100 227926 | 2147483647 235543 257 | 0.000 % |
296.43/296.67 c | 236038 | 17562 75100 227926 | 2147483647 236038 257 | 0.000 % |
297.52/297.72 c | 236582 | 17562 75100 227926 | 2147483647 236582 257 | 0.000 % |
298.62/298.89 c | 237179 | 17562 75100 227926 | 2147483647 237179 257 | 0.000 % |
299.82/300.07 c | 237834 | 17562 75100 227926 | 2147483647 237834 257 | 0.000 % |
301.22/301.43 c | 238554 | 17562 75100 227926 | 2147483647 238554 257 | 0.000 % |
302.71/302.99 c | 239348 | 17562 75100 227926 | 2147483647 239348 257 | 0.000 % |
304.52/304.71 c | 240220 | 17562 75100 227926 | 2147483647 240220 257 | 0.000 % |
306.32/306.52 c | 241178 | 17562 75100 227926 | 2147483647 241178 257 | 0.000 % |
308.12/308.38 c | 242231 | 17562 75100 227926 | 2147483647 242231 258 | 0.000 % |
310.31/310.54 c | 243389 | 17562 75100 227926 | 2147483647 243389 258 | 0.000 % |
312.71/312.98 c | 244663 | 17562 75100 227926 | 2147483647 244663 259 | 0.000 % |
315.00/315.29 c | 246063 | 17562 75100 227926 | 2147483647 246063 259 | 0.000 % |
317.91/318.11 c | 247606 | 17562 75100 227926 | 2147483647 247606 260 | 0.000 % |
320.91/321.18 c | 249300 | 17562 75100 227926 | 2147483647 249300 260 | 0.000 % |
324.40/324.62 c | 251163 | 17562 75100 227926 | 2147483647 251163 260 | 0.000 % |
328.21/328.45 c | 253212 | 17562 75100 227926 | 2147483647 253212 260 | 0.000 % |
332.41/332.68 c | 255465 | 17562 75100 227926 | 2147483647 255465 260 | 0.000 % |
337.10/337.34 c | 257943 | 17562 75100 227926 | 2147483647 257943 261 | 0.000 % |
337.30/337.59 c | 258043 | 17562 75100 227926 | 2147483647 258043 261 | 0.000 % |
337.60/337.88 c | 258153 | 17562 75100 227926 | 2147483647 258153 261 | 0.000 % |
337.90/338.18 c | 258274 | 17562 75100 227926 | 2147483647 258274 261 | 0.000 % |
338.30/338.50 c | 258409 | 17562 75100 227926 | 2147483647 258409 261 | 0.000 % |
338.60/338.84 c | 258556 | 17562 75100 227926 | 2147483647 258556 261 | 0.000 % |
339.00/339.25 c | 258716 | 17562 75100 227926 | 2147483647 258716 261 | 0.000 % |
339.40/339.65 c | 258893 | 17562 75100 227926 | 2147483647 258893 261 | 0.000 % |
339.90/340.12 c | 259087 | 17562 75100 227926 | 2147483647 259087 261 | 0.000 % |
340.40/340.64 c | 259299 | 17562 75100 227926 | 2147483647 259299 261 | 0.000 % |
340.90/341.13 c | 259532 | 17562 75100 227926 | 2147483647 259532 260 | 0.000 % |
341.50/341.71 c | 259788 | 17562 75100 227926 | 2147483647 259788 260 | 0.000 % |
342.11/342.33 c | 260069 | 17562 75100 227926 | 2147483647 260069 260 | 0.000 % |
342.80/343.06 c | 260379 | 17562 75100 227926 | 2147483647 260379 260 | 0.000 % |
343.50/343.76 c | 260720 | 17562 75100 227926 | 2147483647 260720 260 | 0.000 % |
344.30/344.53 c | 261094 | 17562 75100 227926 | 2147483647 261094 260 | 0.000 % |
345.20/345.46 c | 261505 | 17562 75100 227926 | 2147483647 261505 260 | 0.000 % |
346.10/346.37 c | 261954 | 17562 75100 227926 | 2147483647 261954 260 | 0.000 % |
347.20/347.42 c | 262449 | 17562 75100 227926 | 2147483647 262449 260 | 0.000 % |
348.30/348.54 c | 262992 | 17562 75100 227926 | 2147483647 262992 260 | 0.000 % |
349.50/349.74 c | 263591 | 17562 75100 227926 | 2147483647 263591 260 | 0.000 % |
350.90/351.13 c | 264247 | 17562 75100 227926 | 2147483647 264247 260 | 0.000 % |
352.40/352.63 c | 264968 | 17562 75100 227926 | 2147483647 264968 260 | 0.000 % |
353.90/354.18 c | 265762 | 17562 75100 227926 | 2147483647 265762 260 | 0.000 % |
355.70/355.93 c | 266634 | 17562 75100 227926 | 2147483647 266634 260 | 0.000 % |
357.59/357.86 c | 267592 | 17562 75100 227926 | 2147483647 267592 260 | 0.000 % |
359.79/360.06 c | 268645 | 17562 75100 227926 | 2147483647 268645 260 | 0.000 % |
362.09/362.36 c | 269803 | 17562 75100 227926 | 2147483647 269803 261 | 0.000 % |
364.49/364.75 c | 271076 | 17562 75100 227926 | 2147483647 271076 261 | 0.000 % |
367.29/367.51 c | 272479 | 17562 75100 227926 | 2147483647 272479 261 | 0.000 % |
370.29/370.55 c | 274021 | 17562 75100 227926 | 2147483647 274021 261 | 0.000 % |
373.69/373.90 c | 275717 | 17562 75100 227926 | 2147483647 275717 261 | 0.000 % |
377.29/377.59 c | 277580 | 17562 75100 227926 | 2147483647 277580 261 | 0.000 % |
381.50/381.74 c | 279630 | 17562 75100 227926 | 2147483647 279630 262 | 0.000 % |
385.99/386.22 c | 281883 | 17562 75100 227926 | 2147483647 281883 262 | 0.000 % |
390.89/391.11 c | 284362 | 17562 75100 227926 | 2147483647 284362 262 | 0.000 % |
396.28/396.57 c | 287087 | 17562 75100 227926 | 2147483647 287087 262 | 0.000 % |
396.58/396.87 c | 287187 | 17562 75100 227926 | 2147483647 287187 262 | 0.000 % |
396.88/397.16 c | 287298 | 17562 75100 227926 | 2147483647 287298 262 | 0.000 % |
397.18/397.47 c | 287419 | 17562 75100 227926 | 2147483647 287419 262 | 0.000 % |
397.58/397.81 c | 287552 | 17562 75100 227926 | 2147483647 287552 262 | 0.000 % |
397.98/398.26 c | 287698 | 17562 75100 227926 | 2147483647 287698 262 | 0.000 % |
398.38/398.68 c | 287858 | 17562 75100 227926 | 2147483647 287858 262 | 0.000 % |
398.78/399.07 c | 288034 | 17562 75100 227926 | 2147483647 288034 262 | 0.000 % |
399.29/399.57 c | 288227 | 17562 75100 227926 | 2147483647 288227 262 | 0.000 % |
399.78/400.07 c | 288440 | 17562 75100 227926 | 2147483647 288440 262 | 0.000 % |
400.38/400.63 c | 288674 | 17562 75100 227926 | 2147483647 288674 262 | 0.000 % |
400.99/401.25 c | 288932 | 17562 75100 227926 | 2147483647 288932 262 | 0.000 % |
401.58/401.89 c | 289214 | 17562 75100 227926 | 2147483647 289214 262 | 0.000 % |
402.38/402.62 c | 289523 | 17562 75100 227926 | 2147483647 289523 262 | 0.000 % |
403.18/403.41 c | 289862 | 17562 75100 227926 | 2147483647 289862 261 | 0.000 % |
403.98/404.23 c | 290234 | 17562 75100 227926 | 2147483647 290234 261 | 0.000 % |
404.78/405.09 c | 290645 | 17562 75100 227926 | 2147483647 290645 261 | 0.000 % |
405.88/406.15 c | 291094 | 17562 75100 227926 | 2147483647 291094 261 | 0.000 % |
406.97/407.24 c | 291589 | 17562 75100 227926 | 2147483647 291589 261 | 0.000 % |
408.17/408.40 c | 292131 | 17562 75100 227926 | 2147483647 292131 261 | 0.000 % |
409.47/409.73 c | 292727 | 17562 75100 227926 | 2147483647 292727 261 | 0.000 % |
410.87/411.16 c | 293385 | 17562 75100 227926 | 2147483647 293385 261 | 0.000 % |
412.37/412.69 c | 294107 | 17562 75100 227926 | 2147483647 294107 261 | 0.000 % |
414.17/414.42 c | 294902 | 17562 75100 227926 | 2147483647 294902 261 | 0.000 % |
416.07/416.30 c | 295773 | 17562 75100 227926 | 2147483647 295773 261 | 0.000 % |
418.07/418.32 c | 296731 | 17562 75100 227926 | 2147483647 296731 261 | 0.000 % |
420.37/420.62 c | 297785 | 17562 75100 227926 | 2147483647 297785 262 | 0.000 % |
422.67/422.93 c | 298944 | 17562 75100 227926 | 2147483647 298944 262 | 0.000 % |
425.27/425.60 c | 300217 | 17562 75100 227926 | 2147483647 300217 262 | 0.000 % |
428.17/428.44 c | 301617 | 17562 75100 227926 | 2147483647 301617 262 | 0.000 % |
431.17/431.48 c | 303158 | 17562 75100 227926 | 2147483647 303158 262 | 0.000 % |
434.67/434.95 c | 304853 | 17562 75100 227926 | 2147483647 304853 262 | 0.000 % |
438.66/438.93 c | 306716 | 17562 75100 227926 | 2147483647 306716 263 | 0.000 % |
442.66/442.96 c | 308765 | 17562 75100 227926 | 2147483647 308765 264 | 0.000 % |
447.46/447.71 c | 311019 | 17562 75100 227926 | 2147483647 311019 264 | 0.000 % |
452.76/453.08 c | 313497 | 17562 75100 227926 | 2147483647 313497 264 | 0.000 % |
458.65/458.93 c | 316222 | 17562 75100 227926 | 2147483647 316222 264 | 0.000 % |
465.25/465.54 c | 319219 | 17562 75100 227926 | 2147483647 319219 265 | 0.000 % |
465.45/465.78 c | 319319 | 17562 75100 227926 | 2147483647 319319 265 | 0.000 % |
465.75/466.08 c | 319429 | 17562 75100 227926 | 2147483647 319429 265 | 0.000 % |
466.15/466.43 c | 319552 | 17562 75100 227926 | 2147483647 319552 265 | 0.000 % |
466.55/466.83 c | 319689 | 17562 75100 227926 | 2147483647 319689 265 | 0.000 % |
466.95/467.23 c | 319836 | 17562 75100 227926 | 2147483647 319836 265 | 0.000 % |
467.35/467.66 c | 319998 | 17562 75100 227926 | 2147483647 319998 265 | 0.000 % |
467.85/468.17 c | 320174 | 17562 75100 227926 | 2147483647 320174 265 | 0.000 % |
468.35/468.66 c | 320368 | 17562 75100 227926 | 2147483647 320368 265 | 0.000 % |
468.85/469.19 c | 320581 | 17562 75100 227926 | 2147483647 320581 265 | 0.000 % |
469.55/469.82 c | 320814 | 17562 75100 227926 | 2147483647 320814 265 | 0.000 % |
470.15/470.47 c | 321070 | 17562 75100 227926 | 2147483647 321070 265 | 0.000 % |
470.85/471.13 c | 321351 | 17562 75100 227926 | 2147483647 321351 265 | 0.000 % |
471.66/471.92 c | 321661 | 17562 75100 227926 | 2147483647 321661 265 | 0.000 % |
472.45/472.76 c | 322000 | 17562 75100 227926 | 2147483647 322000 265 | 0.000 % |
473.45/473.71 c | 322373 | 17562 75100 227926 | 2147483647 322373 265 | 0.000 % |
474.45/474.72 c | 322782 | 17562 75100 227926 | 2147483647 322782 265 | 0.000 % |
475.55/475.81 c | 323233 | 17562 75100 227926 | 2147483647 323233 265 | 0.000 % |
476.75/477.03 c | 323726 | 17562 75100 227926 | 2147483647 323726 264 | 0.000 % |
478.05/478.31 c | 324271 | 17562 75100 227926 | 2147483647 324271 264 | 0.000 % |
479.45/479.71 c | 324867 | 17562 75100 227926 | 2147483647 324867 265 | 0.000 % |
480.95/481.25 c | 325522 | 17562 75100 227926 | 2147483647 325522 265 | 0.000 % |
482.65/482.92 c | 326242 | 17562 75100 227926 | 2147483647 326242 265 | 0.000 % |
484.34/484.68 c | 327034 | 17562 75100 227926 | 2147483647 327034 265 | 0.000 % |
486.35/486.67 c | 327908 | 17562 75100 227926 | 2147483647 327908 265 | 0.000 % |
488.34/488.68 c | 328867 | 17562 75100 227926 | 2147483647 328867 265 | 0.000 % |
490.75/491.01 c | 329920 | 17562 75100 227926 | 2147483647 329920 265 | 0.000 % |
493.34/493.62 c | 331078 | 17562 75100 227926 | 2147483647 331078 265 | 0.000 % |
496.44/496.73 c | 332351 | 17562 75100 227926 | 2147483647 332351 265 | 0.000 % |
499.54/499.82 c | 333752 | 17562 75100 227926 | 2147483647 333752 265 | 0.000 % |
502.94/503.27 c | 335292 | 17562 75100 227926 | 2147483647 335292 265 | 0.000 % |
506.74/507.03 c | 336986 | 17562 75100 227926 | 2147483647 336986 265 | 0.000 % |
510.83/511.15 c | 338850 | 17562 75100 227926 | 2147483647 338850 265 | 0.000 % |
515.44/515.75 c | 340900 | 17562 75100 227926 | 2147483647 340900 265 | 0.000 % |
520.44/520.71 c | 343153 | 17562 75100 227926 | 2147483647 343153 266 | 0.000 % |
526.03/526.31 c | 345632 | 17562 75100 227926 | 2147483647 345632 266 | 0.000 % |
531.83/532.13 c | 348358 | 17562 75100 227926 | 2147483647 348358 266 | 0.000 % |
538.63/538.97 c | 351355 | 17562 75100 227926 | 2147483647 351355 266 | 0.000 % |
545.92/546.29 c | 354651 | 17562 75100 227926 | 2147483647 354651 267 | 0.000 % |
546.22/546.59 c | 354751 | 17562 75100 227926 | 2147483647 354751 267 | 0.000 % |
546.62/546.93 c | 354862 | 17562 75100 227926 | 2147483647 354862 267 | 0.000 % |
546.92/547.24 c | 354983 | 17562 75100 227926 | 2147483647 354983 267 | 0.000 % |
547.32/547.62 c | 355116 | 17562 75100 227926 | 2147483647 355116 267 | 0.000 % |
547.72/548.07 c | 355263 | 17562 75100 227926 | 2147483647 355263 267 | 0.000 % |
548.22/548.57 c | 355425 | 17562 75100 227926 | 2147483647 355425 267 | 0.000 % |
548.72/549.08 c | 355601 | 17562 75100 227926 | 2147483647 355601 267 | 0.000 % |
549.32/549.68 c | 355794 | 17562 75100 227926 | 2147483647 355794 267 | 0.000 % |
549.93/550.25 c | 356007 | 17562 75100 227926 | 2147483647 356007 267 | 0.000 % |
550.63/550.91 c | 356240 | 17562 75100 227926 | 2147483647 356240 267 | 0.000 % |
551.33/551.60 c | 356496 | 17562 75100 227926 | 2147483647 356496 267 | 0.000 % |
552.13/552.48 c | 356777 | 17562 75100 227926 | 2147483647 356777 267 | 0.000 % |
553.03/553.31 c | 357087 | 17562 75100 227926 | 2147483647 357087 267 | 0.000 % |
553.92/554.27 c | 357427 | 17562 75100 227926 | 2147483647 357427 267 | 0.000 % |
555.02/555.33 c | 357799 | 17562 75100 227926 | 2147483647 357799 267 | 0.000 % |
556.12/556.45 c | 358208 | 17562 75100 227926 | 2147483647 358208 267 | 0.000 % |
557.32/557.66 c | 358657 | 17562 75100 227926 | 2147483647 358657 267 | 0.000 % |
558.52/558.89 c | 359150 | 17562 75100 227926 | 2147483647 359150 267 | 0.000 % |
560.02/560.36 c | 359692 | 17562 75100 227926 | 2147483647 359692 267 | 0.000 % |
561.61/561.94 c | 360288 | 17562 75100 227926 | 2147483647 360288 267 | 0.000 % |
563.22/563.58 c | 360944 | 17562 75100 227926 | 2147483647 360944 267 | 0.000 % |
564.92/565.24 c | 361664 | 17562 75100 227926 | 2147483647 361664 267 | 0.000 % |
566.82/567.17 c | 362458 | 17562 75100 227926 | 2147483647 362458 267 | 0.000 % |
569.01/569.31 c | 363330 | 17562 75100 227926 | 2147483647 363330 267 | 0.000 % |
571.42/571.71 c | 364290 | 17562 75100 227926 | 2147483647 364290 267 | 0.000 % |
573.92/574.29 c | 365344 | 17562 75100 227926 | 2147483647 365344 267 | 0.000 % |
576.81/577.16 c | 366502 | 17562 75100 227926 | 2147483647 366502 267 | 0.000 % |
580.12/580.49 c | 367776 | 17562 75100 227926 | 2147483647 367776 267 | 0.000 % |
583.60/584.00 c | 369177 | 17562 75100 227926 | 2147483647 369177 267 | 0.000 % |
587.21/587.57 c | 370718 | 17562 75100 227926 | 2147483647 370718 267 | 0.000 % |
591.31/591.62 c | 372413 | 17562 75100 227926 | 2147483647 372413 267 | 0.000 % |
595.81/596.14 c | 374278 | 17562 75100 227926 | 2147483647 374278 267 | 0.000 % |
600.91/601.26 c | 376328 | 17562 75100 227926 | 2147483647 376328 267 | 0.000 % |
606.30/606.69 c | 378582 | 17562 75100 227926 | 2147483647 378582 267 | 0.000 % |
612.70/613.10 c | 381061 | 17562 75100 227926 | 2147483647 381061 267 | 0.000 % |
619.80/620.10 c | 383787 | 17562 75100 227926 | 2147483647 383787 268 | 0.000 % |
626.89/627.24 c | 386792 | 17562 75100 227926 | 2147483647 386792 268 | 0.000 % |
634.48/634.83 c | 390088 | 17562 75100 227926 | 2147483647 390088 268 | 0.000 % |
643.58/643.92 c | 393714 | 17562 75100 227926 | 2147483647 393714 268 | 0.000 % |
643.88/644.27 c | 393815 | 17562 75100 227926 | 2147483647 393815 268 | 0.000 % |
644.18/644.59 c | 393925 | 17562 75100 227926 | 2147483647 393925 268 | 0.000 % |
644.58/644.99 c | 394048 | 17562 75100 227926 | 2147483647 394048 268 | 0.000 % |
645.08/645.44 c | 394182 | 17562 75100 227926 | 2147483647 394182 268 | 0.000 % |
645.48/645.90 c | 394329 | 17562 75100 227926 | 2147483647 394329 268 | 0.000 % |
646.08/646.40 c | 394490 | 17562 75100 227926 | 2147483647 394490 268 | 0.000 % |
646.58/646.95 c | 394667 | 17562 75100 227926 | 2147483647 394667 268 | 0.000 % |
647.18/647.56 c | 394860 | 17562 75100 227926 | 2147483647 394860 268 | 0.000 % |
647.88/648.21 c | 395074 | 17562 75100 227926 | 2147483647 395074 268 | 0.000 % |
648.58/648.95 c | 395308 | 17562 75100 227926 | 2147483647 395308 268 | 0.000 % |
649.38/649.74 c | 395566 | 17562 75100 227926 | 2147483647 395566 268 | 0.000 % |
650.29/650.64 c | 395847 | 17562 75100 227926 | 2147483647 395847 268 | 0.000 % |
651.29/651.65 c | 396157 | 17562 75100 227926 | 2147483647 396157 268 | 0.000 % |
652.28/652.66 c | 396496 | 17562 75100 227926 | 2147483647 396496 268 | 0.000 % |
653.38/653.76 c | 396870 | 17562 75100 227926 | 2147483647 396870 268 | 0.000 % |
654.48/654.88 c | 397281 | 17562 75100 227926 | 2147483647 397281 268 | 0.000 % |
655.88/656.21 c | 397732 | 17562 75100 227926 | 2147483647 397732 268 | 0.000 % |
657.08/657.46 c | 398227 | 17562 75100 227926 | 2147483647 398227 268 | 0.000 % |
658.58/658.95 c | 398770 | 17562 75100 227926 | 2147483647 398770 268 | 0.000 % |
660.08/660.47 c | 399366 | 17562 75100 227926 | 2147483647 399366 268 | 0.000 % |
661.78/662.19 c | 400021 | 17562 75100 227926 | 2147483647 400021 268 | 0.000 % |
663.87/664.24 c | 400743 | 17562 75100 227926 | 2147483647 400743 268 | 0.000 % |
665.98/666.38 c | 401537 | 17562 75100 227926 | 2147483647 401537 268 | 0.000 % |
668.27/668.65 c | 402408 | 17562 75100 227926 | 2147483647 402408 268 | 0.000 % |
670.87/671.26 c | 403367 | 17562 75100 227926 | 2147483647 403367 268 | 0.000 % |
673.76/674.14 c | 404420 | 17562 75100 227926 | 2147483647 404420 268 | 0.000 % |
676.67/677.03 c | 405578 | 17562 75100 227926 | 2147483647 405578 268 | 0.000 % |
679.96/680.39 c | 406851 | 17562 75100 227926 | 2147483647 406851 268 | 0.000 % |
683.46/683.85 c | 408251 | 17562 75100 227926 | 2147483647 408251 268 | 0.000 % |
687.56/687.98 c | 409792 | 17562 75100 227926 | 2147483647 409792 268 | 0.000 % |
691.86/692.28 c | 411487 | 17562 75100 227926 | 2147483647 411487 268 | 0.000 % |
696.66/697.06 c | 413350 | 17562 75100 227926 | 2147483647 413350 268 | 0.000 % |
701.96/702.37 c | 415399 | 17562 75100 227926 | 2147483647 415399 268 | 0.000 % |
707.75/708.12 c | 417652 | 17562 75100 227926 | 2147483647 417652 269 | 0.000 % |
714.15/714.55 c | 420130 | 17562 75100 227926 | 2147483647 420130 269 | 0.000 % |
721.15/721.54 c | 422856 | 17562 75100 227926 | 2147483647 422856 269 | 0.000 % |
728.85/729.28 c | 425853 | 17562 75100 227926 | 2147483647 425853 269 | 0.000 % |
737.24/737.64 c | 429150 | 17562 75100 227926 | 2147483647 429150 270 | 0.000 % |
746.24/746.64 c | 432777 | 17562 75100 227926 | 2147483647 432777 270 | 0.000 % |
756.53/756.98 c | 436766 | 17562 75100 227926 | 2147483647 436766 271 | 0.000 % |
756.83/757.28 c | 436867 | 17562 75100 227926 | 2147483647 436867 271 | 0.000 % |
757.23/757.67 c | 436978 | 17562 75100 227926 | 2147483647 436978 271 | 0.000 % |
757.64/758.08 c | 437099 | 17562 75100 227926 | 2147483647 437099 271 | 0.000 % |
758.14/758.60 c | 437232 | 17562 75100 227926 | 2147483647 437232 271 | 0.000 % |
758.74/759.14 c | 437378 | 17562 75100 227926 | 2147483647 437378 271 | 0.000 % |
759.34/759.77 c | 437538 | 17562 75100 227926 | 2147483647 437538 271 | 0.000 % |
759.94/760.37 c | 437715 | 17562 75100 227926 | 2147483647 437715 271 | 0.000 % |
760.64/761.03 c | 437908 | 17562 75100 227926 | 2147483647 437908 271 | 0.000 % |
761.34/761.72 c | 438120 | 17562 75100 227926 | 2147483647 438120 271 | 0.000 % |
762.13/762.51 c | 438353 | 17562 75100 227926 | 2147483647 438353 271 | 0.000 % |
762.94/763.31 c | 438609 | 17562 75100 227926 | 2147483647 438609 271 | 0.000 % |
763.83/764.20 c | 438890 | 17562 75100 227926 | 2147483647 438890 271 | 0.000 % |
764.73/765.15 c | 439200 | 17562 75100 227926 | 2147483647 439200 271 | 0.000 % |
765.83/766.21 c | 439539 | 17562 75100 227926 | 2147483647 439539 271 | 0.000 % |
766.93/767.37 c | 439914 | 17562 75100 227926 | 2147483647 439914 271 | 0.000 % |
768.23/768.67 c | 440324 | 17562 75100 227926 | 2147483647 440324 271 | 0.000 % |
769.53/769.99 c | 440773 | 17562 75100 227926 | 2147483647 440773 271 | 0.000 % |
771.13/771.56 c | 441267 | 17562 75100 227926 | 2147483647 441267 270 | 0.000 % |
772.83/773.24 c | 441811 | 17562 75100 227926 | 2147483647 441811 270 | 0.000 % |
774.53/774.91 c | 442408 | 17562 75100 227926 | 2147483647 442408 271 | 0.000 % |
776.33/776.71 c | 443066 | 17562 75100 227926 | 2147483647 443066 270 | 0.000 % |
778.53/778.99 c | 443787 | 17562 75100 227926 | 2147483647 443787 270 | 0.000 % |
780.93/781.31 c | 444579 | 17562 75100 227926 | 2147483647 444579 271 | 0.000 % |
783.23/783.61 c | 445451 | 17562 75100 227926 | 2147483647 445451 271 | 0.000 % |
785.92/786.38 c | 446409 | 17562 75100 227926 | 2147483647 446409 271 | 0.000 % |
788.92/789.32 c | 447462 | 17562 75100 227926 | 2147483647 447462 271 | 0.000 % |
792.12/792.53 c | 448622 | 17562 75100 227926 | 2147483647 448622 271 | 0.000 % |
795.52/795.98 c | 449895 | 17562 75100 227926 | 2147483647 449895 271 | 0.000 % |
799.62/800.01 c | 451295 | 17562 75100 227926 | 2147483647 451295 271 | 0.000 % |
803.91/804.33 c | 452835 | 17562 75100 227926 | 2147483647 452835 271 | 0.000 % |
808.31/808.79 c | 454529 | 17562 75100 227926 | 2147483647 454529 271 | 0.000 % |
813.81/814.23 c | 456393 | 17562 75100 227926 | 2147483647 456393 271 | 0.000 % |
819.60/820.02 c | 458442 | 17562 75100 227926 | 2147483647 458442 271 | 0.000 % |
825.50/825.94 c | 460695 | 17562 75100 227926 | 2147483647 460695 271 | 0.000 % |
831.80/832.24 c | 463174 | 17562 75100 227926 | 2147483647 463174 272 | 0.000 % |
839.60/840.10 c | 465902 | 17562 75100 227926 | 2147483647 465902 273 | 0.000 % |
848.19/848.69 c | 468900 | 17562 75100 227926 | 2147483647 468900 273 | 0.000 % |
856.98/857.45 c | 472196 | 17562 75100 227926 | 2147483647 472196 274 | 0.000 % |
866.88/867.33 c | 475822 | 17562 75100 227926 | 2147483647 475822 274 | 0.000 % |
878.17/878.65 c | 479809 | 17562 75100 227926 | 2147483647 479809 274 | 0.000 % |
890.58/891.08 c | 484196 | 17562 75100 227926 | 2147483647 484196 275 | 0.000 % |
890.98/891.45 c | 484297 | 17562 75100 227926 | 2147483647 484297 275 | 0.000 % |
891.38/891.86 c | 484409 | 17562 75100 227926 | 2147483647 484409 275 | 0.000 % |
891.88/892.33 c | 484531 | 17562 75100 227926 | 2147483647 484531 275 | 0.000 % |
892.47/892.91 c | 484665 | 17562 75100 227926 | 2147483647 484665 275 | 0.000 % |
892.97/893.47 c | 484812 | 17562 75100 227926 | 2147483647 484812 274 | 0.000 % |
893.57/894.06 c | 484973 | 17562 75100 227926 | 2147483647 484973 274 | 0.000 % |
894.27/894.70 c | 485151 | 17562 75100 227926 | 2147483647 485151 274 | 0.000 % |
894.98/895.47 c | 485344 | 17562 75100 227926 | 2147483647 485344 274 | 0.000 % |
895.77/896.29 c | 485557 | 17562 75100 227926 | 2147483647 485557 274 | 0.000 % |
896.67/897.19 c | 485790 | 17562 75100 227926 | 2147483647 485790 274 | 0.000 % |
897.66/898.15 c | 486046 | 17562 75100 227926 | 2147483647 486046 274 | 0.000 % |
898.66/899.15 c | 486327 | 17562 75100 227926 | 2147483647 486327 274 | 0.000 % |
899.76/900.21 c | 486636 | 17562 75100 227926 | 2147483647 486636 274 | 0.000 % |
900.96/901.44 c | 486977 | 17562 75100 227926 | 2147483647 486977 274 | 0.000 % |
902.26/902.75 c | 487351 | 17562 75100 227926 | 2147483647 487351 274 | 0.000 % |
903.46/903.94 c | 487762 | 17562 75100 227926 | 2147483647 487762 274 | 0.000 % |
904.87/905.31 c | 488211 | 17562 75100 227926 | 2147483647 488211 274 | 0.000 % |
906.36/906.85 c | 488706 | 17562 75100 227926 | 2147483647 488706 274 | 0.000 % |
908.06/908.51 c | 489248 | 17562 75100 227926 | 2147483647 489248 274 | 0.000 % |
909.76/910.23 c | 489844 | 17562 75100 227926 | 2147483647 489844 274 | 0.000 % |
911.76/912.21 c | 490499 | 17562 75100 227926 | 2147483647 490499 274 | 0.000 % |
914.06/914.51 c | 491219 | 17562 75100 227926 | 2147483647 491219 274 | 0.000 % |
916.56/917.06 c | 492011 | 17562 75100 227926 | 2147483647 492011 274 | 0.000 % |
919.35/919.88 c | 492883 | 17562 75100 227926 | 2147483647 492883 274 | 0.000 % |
922.36/922.86 c | 493841 | 17562 75100 227926 | 2147483647 493841 274 | 0.000 % |
925.16/925.61 c | 494895 | 17562 75100 227926 | 2147483647 494895 275 | 0.000 % |
928.65/929.12 c | 496055 | 17562 75100 227926 | 2147483647 496055 275 | 0.000 % |
932.45/932.95 c | 497328 | 17562 75100 227926 | 2147483647 497328 275 | 0.000 % |
936.95/937.46 c | 498729 | 17562 75100 227926 | 2147483647 498729 275 | 0.000 % |
941.75/942.21 c | 500269 | 17562 75100 227926 | 2147483647 500269 275 | 0.000 % |
946.75/947.25 c | 501964 | 17562 75100 227926 | 2147483647 501964 275 | 0.000 % |
952.65/953.16 c | 503830 | 17562 75100 227926 | 2147483647 503830 275 | 0.000 % |
958.75/959.27 c | 505879 | 17562 75100 227926 | 2147483647 505879 275 | 0.000 % |
965.14/965.61 c | 508135 | 17562 75100 227926 | 2147483647 508135 275 | 0.000 % |
972.24/972.70 c | 510615 | 17562 75100 227926 | 2147483647 510615 275 | 0.000 % |
980.34/980.83 c | 513341 | 17562 75100 227926 | 2147483647 513341 275 | 0.000 % |
988.72/989.24 c | 516340 | 17562 75100 227926 | 2147483647 516340 276 | 0.000 % |
998.52/999.04 c | 519636 | 17562 75100 227926 | 2147483647 519636 276 | 0.000 % |
1008.93/1009.44 c | 523261 | 17562 75100 227926 | 2147483647 523261 276 | 0.000 % |
1020.92/1021.46 c | 527248 | 17562 75100 227926 | 2147483647 527248 276 | 0.000 % |
1034.01/1034.51 c | 531633 | 17562 75100 227926 | 2147483647 531633 277 | 0.000 % |
1047.51/1048.08 c | 536457 | 17562 75100 227926 | 2147483647 536457 278 | 0.000 % |
1047.90/1048.41 c | 536559 | 17562 75100 227926 | 2147483647 536559 278 | 0.000 % |
1048.40/1048.94 c | 536672 | 17562 75100 227926 | 2147483647 536672 278 | 0.000 % |
1048.91/1049.41 c | 536793 | 17562 75100 227926 | 2147483647 536793 278 | 0.000 % |
1049.40/1049.94 c | 536926 | 17562 75100 227926 | 2147483647 536926 278 | 0.000 % |
1050.01/1050.60 c | 537073 | 17562 75100 227926 | 2147483647 537073 278 | 0.000 % |
1050.80/1051.33 c | 537234 | 17562 75100 227926 | 2147483647 537234 278 | 0.000 % |
1051.50/1052.03 c | 537410 | 17562 75100 227926 | 2147483647 537410 278 | 0.000 % |
1052.21/1052.77 c | 537603 | 17562 75100 227926 | 2147483647 537603 278 | 0.000 % |
1053.10/1053.66 c | 537815 | 17562 75100 227926 | 2147483647 537815 278 | 0.000 % |
1054.00/1054.56 c | 538049 | 17562 75100 227926 | 2147483647 538049 278 | 0.000 % |
1055.00/1055.59 c | 538306 | 17562 75100 227926 | 2147483647 538306 278 | 0.000 % |
1056.10/1056.60 c | 538590 | 17562 75100 227926 | 2147483647 538590 278 | 0.000 % |
1057.40/1057.90 c | 538899 | 17562 75100 227926 | 2147483647 538899 278 | 0.000 % |
1058.70/1059.25 c | 539238 | 17562 75100 227926 | 2147483647 539238 278 | 0.000 % |
1060.00/1060.57 c | 539610 | 17562 75100 227926 | 2147483647 539610 277 | 0.000 % |
1061.50/1062.09 c | 540019 | 17562 75100 227926 | 2147483647 540019 277 | 0.000 % |
1063.30/1063.82 c | 540470 | 17562 75100 227926 | 2147483647 540470 277 | 0.000 % |
1065.00/1065.50 c | 540963 | 17562 75100 227926 | 2147483647 540963 277 | 0.000 % |
1066.80/1067.30 c | 541505 | 17562 75100 227926 | 2147483647 541505 277 | 0.000 % |
1068.89/1069.46 c | 542101 | 17562 75100 227926 | 2147483647 542101 277 | 0.000 % |
1070.89/1071.41 c | 542756 | 17562 75100 227926 | 2147483647 542756 277 | 0.000 % |
1073.39/1073.94 c | 543476 | 17562 75100 227926 | 2147483647 543476 277 | 0.000 % |
1075.99/1076.57 c | 544269 | 17562 75100 227926 | 2147483647 544269 277 | 0.000 % |
1078.68/1079.23 c | 545140 | 17562 75100 227926 | 2147483647 545140 277 | 0.000 % |
1081.08/1081.66 c | 546100 | 17562 75100 227926 | 2147483647 546100 278 | 0.000 % |
1084.29/1084.84 c | 547154 | 17562 75100 227926 | 2147483647 547154 278 | 0.000 % |
1088.28/1088.84 c | 548312 | 17562 75100 227926 | 2147483647 548312 278 | 0.000 % |
1092.38/1092.94 c | 549587 | 17562 75100 227926 | 2147483647 549587 278 | 0.000 % |
1097.19/1097.77 c | 550987 | 17562 75100 227926 | 2147483647 550987 278 | 0.000 % |
1102.38/1102.93 c | 552527 | 17562 75100 227926 | 2147483647 552527 278 | 0.000 % |
1107.87/1108.44 c | 554221 | 17562 75100 227926 | 2147483647 554221 278 | 0.000 % |
1113.77/1114.33 c | 556084 | 17562 75100 227926 | 2147483647 556084 278 | 0.000 % |
1120.17/1120.74 c | 558134 | 17562 75100 227926 | 2147483647 558134 278 | 0.000 % |
1127.47/1128.01 c | 560387 | 17562 75100 227926 | 2147483647 560387 278 | 0.000 % |
1135.46/1136.06 c | 562865 | 17562 75100 227926 | 2147483647 562865 278 | 0.000 % |
1144.36/1144.95 c | 565592 | 17562 75100 227926 | 2147483647 565592 278 | 0.000 % |
1153.85/1154.47 c | 568589 | 17562 75100 227926 | 2147483647 568589 278 | 0.000 % |
1164.65/1165.23 c | 571886 | 17562 75100 227926 | 2147483647 571886 278 | 0.000 % |
1175.94/1176.54 c | 575511 | 17562 75100 227926 | 2147483647 575511 279 | 0.000 % |
1188.64/1189.21 c | 579498 | 17562 75100 227926 | 2147483647 579498 280 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832799-1242787938/watcher-1832799-1242787938 -o /tmp/evaluation-result-1832799-1242787938/solver-1832799-1242787938 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832799-1242787938.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 12106
/proc/meminfo: memFree=1739544/2055920 swapFree=4180284/4192956
[pid=12106] ppid=12104 vsize=5356 CPUtime=0
/proc/12106/stat : 12106 (SatELiteGTI) S 12104 12106 11446 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306821665 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 258939256914 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/12106/statm: 1339 235 195 169 0 50 0
[pid=12107] ppid=12106 vsize=5356 CPUtime=0
/proc/12107/stat : 12107 (SatELiteGTI) S 12106 12106 11446 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 306821665 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/12107/statm: 1339 238 198 169 0 50 0
[pid=12109] ppid=12107 vsize=5356 CPUtime=0
/proc/12109/stat : 12109 (SatELiteGTI) R 12107 12106 11446 0 -1 4194368 19 0 0 0 0 0 0 0 18 0 1 0 306821665 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939088167 0 0 4096 0 0 0 0 17 1 0 0
/proc/12109/statm: 1339 239 199 169 0 50 0
[startup+0.087652 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 12106
/proc/meminfo: memFree=1739544/2055920 swapFree=4180284/4192956
[pid=12106] ppid=12104 vsize=5356 CPUtime=0
/proc/12106/stat : 12106 (SatELiteGTI) S 12104 12106 11446 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306821665 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12106/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.10265 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 12106
/proc/meminfo: memFree=1739544/2055920 swapFree=4180284/4192956
[pid=12106] ppid=12104 vsize=5356 CPUtime=0
/proc/12106/stat : 12106 (SatELiteGTI) S 12104 12106 11446 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306821665 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12106/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301674 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 12106
/proc/meminfo: memFree=1739544/2055920 swapFree=4180284/4192956
[pid=12106] ppid=12104 vsize=5356 CPUtime=0
/proc/12106/stat : 12106 (SatELiteGTI) S 12104 12106 11446 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306821665 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12106/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701699 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 12106
/proc/meminfo: memFree=1739544/2055920 swapFree=4180284/4192956
[pid=12106] ppid=12104 vsize=5356 CPUtime=0.35
/proc/12106/stat : 12106 (SatELiteGTI) S 12104 12106 11446 0 -1 4194304 336 2599 0 0 0 0 33 2 16 0 1 0 306821665 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12106/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 5356
[startup+1.50178 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12112
/proc/meminfo: memFree=1731144/2055920 swapFree=4180284/4192956
[pid=12106] ppid=12104 vsize=5356 CPUtime=0.35
/proc/12106/stat : 12106 (SatELiteGTI) S 12104 12106 11446 0 -1 4194304 336 2599 0 0 0 0 33 2 16 0 1 0 306821665 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12106/statm: 1339 239 197 169 0 50 0
[pid=12112] ppid=12106 vsize=7980 CPUtime=1.13
/proc/12112/stat : 12112 (minisat_static) R 12106 12106 11446 0 -1 4194304 1869 0 0 0 112 1 0 0 25 0 1 0 306821701 8171520 1855 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12112/statm: 1995 1855 77 171 0 1822 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13336
[startup+3.10194 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12112
/proc/meminfo: memFree=1729416/2055920 swapFree=4180284/4192956
[pid=12106] ppid=12104 vsize=5356 CPUtime=0.35
/proc/12106/stat : 12106 (SatELiteGTI) S 12104 12106 11446 0 -1 4194304 336 2599 0 0 0 0 33 2 16 0 1 0 306821665 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12106/statm: 1339 239 197 169 0 50 0
[pid=12112] ppid=12106 vsize=10356 CPUtime=2.72
/proc/12112/stat : 12112 (minisat_static) R 12106 12106 11446 0 -1 4194304 2441 0 0 0 271 1 0 0 25 0 1 0 306821701 10604544 2427 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/12112/statm: 2589 2427 77 171 0 2416 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15712
[startup+6.30127 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12112
/proc/meminfo: memFree=1724808/2055920 swapFree=4180284/4192956
[pid=12106] ppid=12104 vsize=5356 CPUtime=0.35
/proc/12106/stat : 12106 (SatELiteGTI) S 12104 12106 11446 0 -1 4194304 336 2599 0 0 0 0 33 2 16 0 1 0 306821665 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12106/statm: 1339 239 197 169 0 50 0
[pid=12112] ppid=12106 vsize=14592 CPUtime=5.92
/proc/12112/stat : 12112 (minisat_static) R 12106 12106 11446 0 -1 4194304 3508 0 0 0 589 3 0 0 25 0 1 0 306821701 14942208 3494 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/12112/statm: 3648 3494 77 171 0 3475 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 19948
[startup+12.7019 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12112
/proc/meminfo: memFree=1716488/2055920 swapFree=4180284/4192956
[pid=12106] ppid=12104 vsize=5356 CPUtime=0.35
/proc/12106/stat : 12106 (SatELiteGTI) S 12104 12106 11446 0 -1 4194304 336 2599 0 0 0 0 33 2 16 0 1 0 306821665 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12106/statm: 1339 239 197 169 0 50 0
[pid=12112] ppid=12106 vsize=22484 CPUtime=12.32
/proc/12112/stat : 12112 (minisat_static) R 12106 12106 11446 0 -1 4194304 5485 0 0 0 1227 5 0 0 25 0 1 0 306821701 23023616 5471 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12112/statm: 5621 5471 77 171 0 5448 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 27840
[startup+25.5022 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12112
/proc/meminfo: memFree=1700616/2055920 swapFree=4180284/4192956
[pid=12106] ppid=12104 vsize=5356 CPUtime=0.35
/proc/12106/stat : 12106 (SatELiteGTI) S 12104 12106 11446 0 -1 4194304 336 2599 0 0 0 0 33 2 16 0 1 0 306821665 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12106/statm: 1339 239 197 169 0 50 0
[pid=12112] ppid=12106 vsize=38108 CPUtime=25.11
/proc/12112/stat : 12112 (minisat_static) R 12106 12106 11446 0 -1 4194304 9388 0 0 0 2503 8 0 0 25 0 1 0 306821701 39022592 9374 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/12112/statm: 9527 9374 77 171 0 9354 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 43464
[startup+51.1028 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12112
/proc/meminfo: memFree=1672648/2055920 swapFree=4180284/4192956
[pid=12106] ppid=12104 vsize=5356 CPUtime=0.35
/proc/12106/stat : 12106 (SatELiteGTI) S 12104 12106 11446 0 -1 4194304 336 2599 0 0 0 0 33 2 16 0 1 0 306821665 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12106/statm: 1339 239 197 169 0 50 0
[pid=12112] ppid=12106 vsize=66308 CPUtime=50.68
/proc/12112/stat : 12112 (minisat_static) R 12106 12106 11446 0 -1 4194304 16408 0 0 0 5054 14 0 0 25 0 1 0 306821701 67899392 16394 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12112/statm: 16577 16394 77 171 0 16404 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 71664
[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12112
/proc/meminfo: memFree=1623240/2055920 swapFree=4180284/4192956
[pid=12106] ppid=12104 vsize=5356 CPUtime=0.35
/proc/12106/stat : 12106 (SatELiteGTI) S 12104 12106 11446 0 -1 4194304 336 2599 0 0 0 0 33 2 16 0 1 0 306821665 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12106/statm: 1339 239 197 169 0 50 0
[pid=12112] ppid=12106 vsize=114820 CPUtime=101.85
/proc/12112/stat : 12112 (minisat_static) R 12106 12106 11446 0 -1 4194304 28535 0 0 0 10158 27 0 0 25 0 1 0 306821701 117575680 28521 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/12112/statm: 28705 28521 77 171 0 28532 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 120176
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12112
/proc/meminfo: memFree=1576520/2055920 swapFree=4180284/4192956
[pid=12106] ppid=12104 vsize=5356 CPUtime=0.35
/proc/12106/stat : 12106 (SatELiteGTI) S 12104 12106 11446 0 -1 4194304 336 2599 0 0 0 0 33 2 16 0 1 0 306821665 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12106/statm: 1339 239 197 169 0 50 0
[pid=12112] ppid=12106 vsize=161848 CPUtime=161.82
/proc/12112/stat : 12112 (minisat_static) R 12106 12106 11446 0 -1 4194304 40285 0 0 0 16142 40 0 0 25 0 1 0 306821701 165732352 40271 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/12112/statm: 40462 40271 77 171 0 40289 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 167204
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12112
/proc/meminfo: memFree=1531848/2055920 swapFree=4180284/4192956
[pid=12106] ppid=12104 vsize=5356 CPUtime=0.35
/proc/12106/stat : 12106 (SatELiteGTI) S 12104 12106 11446 0 -1 4194304 336 2599 0 0 0 0 33 2 16 0 1 0 306821665 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12106/statm: 1339 239 197 169 0 50 0
[pid=12112] ppid=12106 vsize=205848 CPUtime=221.8
/proc/12112/stat : 12112 (minisat_static) R 12106 12106 11446 0 -1 4194304 51294 0 0 0 22129 51 0 0 25 0 1 0 306821701 210788352 51280 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/12112/statm: 51462 51280 77 171 0 51289 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 211204
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12112
/proc/meminfo: memFree=1492104/2055920 swapFree=4180284/4192956
[pid=12106] ppid=12104 vsize=5356 CPUtime=0.35
/proc/12106/stat : 12106 (SatELiteGTI) S 12104 12106 11446 0 -1 4194304 336 2599 0 0 0 0 33 2 16 0 1 0 306821665 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12106/statm: 1339 239 197 169 0 50 0
[pid=12112] ppid=12106 vsize=246160 CPUtime=281.78
/proc/12112/stat : 12112 (minisat_static) R 12106 12106 11446 0 -1 4194304 61310 0 0 0 28117 61 0 0 25 0 1 0 306821701 252067840 61296 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12112/statm: 61540 61296 77 171 0 61367 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 251516
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12112
/proc/meminfo: memFree=1455240/2055920 swapFree=4180284/4192956
[pid=12106] ppid=12104 vsize=5356 CPUtime=0.35
/proc/12106/stat : 12106 (SatELiteGTI) S 12104 12106 11446 0 -1 4194304 336 2599 0 0 0 0 33 2 16 0 1 0 306821665 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12106/statm: 1339 239 197 169 0 50 0
[pid=12112] ppid=12106 vsize=282224 CPUtime=341.76
/proc/12112/stat : 12112 (minisat_static) R 12106 12106 11446 0 -1 4194304 70356 0 0 0 34106 70 0 0 25 0 1 0 306821701 288997376 70342 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12112/statm: 70556 70342 77 171 0 70383 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 287580
[startup+402.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12112
/proc/meminfo: memFree=1422984/2055920 swapFree=4180284/4192956
[pid=12106] ppid=12104 vsize=5356 CPUtime=0.35
/proc/12106/stat : 12106 (SatELiteGTI) S 12104 12106 11446 0 -1 4194304 336 2599 0 0 0 0 33 2 16 0 1 0 306821665 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12106/statm: 1339 239 197 169 0 50 0
[pid=12112] ppid=12106 vsize=314344 CPUtime=401.73
################
# More data... #
################
/proc/12112/statm: 94499 94242 77 171 0 94326 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 383352
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12118
/proc/meminfo: memFree=1331144/2055920 swapFree=4180284/4192956
[pid=12106] ppid=12104 vsize=5356 CPUtime=0.35
/proc/12106/stat : 12106 (SatELiteGTI) S 12104 12106 11446 0 -1 4194304 336 2599 0 0 0 0 33 2 16 0 1 0 306821665 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12106/statm: 1339 239 197 169 0 50 0
[pid=12112] ppid=12106 vsize=405992 CPUtime=581.66
/proc/12112/stat : 12112 (minisat_static) R 12106 12106 11446 0 -1 4194304 101252 0 0 0 58062 104 0 0 25 0 1 0 306821701 415735808 101238 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/12112/statm: 101498 101238 77 171 0 101325 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 411348
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12118
/proc/meminfo: memFree=1301640/2055920 swapFree=4180284/4192956
[pid=12106] ppid=12104 vsize=5356 CPUtime=0.35
/proc/12106/stat : 12106 (SatELiteGTI) S 12104 12106 11446 0 -1 4194304 336 2599 0 0 0 0 33 2 16 0 1 0 306821665 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12106/statm: 1339 239 197 169 0 50 0
[pid=12112] ppid=12106 vsize=435044 CPUtime=641.64
/proc/12112/stat : 12112 (minisat_static) R 12106 12106 11446 0 -1 4194304 108542 0 0 0 64052 112 0 0 25 0 1 0 306821701 445485056 108528 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/12112/statm: 108761 108528 77 171 0 108588 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 440400
[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12118
/proc/meminfo: memFree=1277384/2055920 swapFree=4180284/4192956
[pid=12106] ppid=12104 vsize=5356 CPUtime=0.35
/proc/12106/stat : 12106 (SatELiteGTI) S 12104 12106 11446 0 -1 4194304 336 2599 0 0 0 0 33 2 16 0 1 0 306821665 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12106/statm: 1339 239 197 169 0 50 0
[pid=12112] ppid=12106 vsize=459224 CPUtime=701.61
/proc/12112/stat : 12112 (minisat_static) R 12106 12106 11446 0 -1 4194304 114621 0 0 0 70043 118 0 0 25 0 1 0 306821701 470245376 114607 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12112/statm: 114806 114607 77 171 0 114633 0
Current children cumulated CPU time (s) 701.96
Current children cumulated vsize (KiB) 464580
[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12118
/proc/meminfo: memFree=1247944/2055920 swapFree=4180284/4192956
[pid=12106] ppid=12104 vsize=5356 CPUtime=0.35
/proc/12106/stat : 12106 (SatELiteGTI) S 12104 12106 11446 0 -1 4194304 336 2599 0 0 0 0 33 2 16 0 1 0 306821665 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12106/statm: 1339 239 197 169 0 50 0
[pid=12112] ppid=12106 vsize=488160 CPUtime=761.59
/proc/12112/stat : 12112 (minisat_static) R 12106 12106 11446 0 -1 4194304 121867 0 0 0 76034 125 0 0 25 0 1 0 306821701 499875840 121853 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12112/statm: 122040 121853 77 171 0 121867 0
Current children cumulated CPU time (s) 761.94
Current children cumulated vsize (KiB) 493516
[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12118
/proc/meminfo: memFree=1224008/2055920 swapFree=4180284/4192956
[pid=12106] ppid=12104 vsize=5356 CPUtime=0.35
/proc/12106/stat : 12106 (SatELiteGTI) S 12104 12106 11446 0 -1 4194304 336 2599 0 0 0 0 33 2 16 0 1 0 306821665 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12106/statm: 1339 239 197 169 0 50 0
[pid=12112] ppid=12106 vsize=512068 CPUtime=821.55
/proc/12112/stat : 12112 (minisat_static) R 12106 12106 11446 0 -1 4194304 127878 0 0 0 82023 132 0 0 25 0 1 0 306821701 524357632 127864 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/12112/statm: 128017 127864 77 171 0 127844 0
Current children cumulated CPU time (s) 821.9
Current children cumulated vsize (KiB) 517424
[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12118
/proc/meminfo: memFree=1194888/2055920 swapFree=4180284/4192956
[pid=12106] ppid=12104 vsize=5356 CPUtime=0.35
/proc/12106/stat : 12106 (SatELiteGTI) S 12104 12106 11446 0 -1 4194304 336 2599 0 0 0 0 33 2 16 0 1 0 306821665 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12106/statm: 1339 239 197 169 0 50 0
[pid=12112] ppid=12106 vsize=541804 CPUtime=881.53
/proc/12112/stat : 12112 (minisat_static) R 12106 12106 11446 0 -1 4194304 135101 0 0 0 88013 140 0 0 25 0 1 0 306821701 554807296 135087 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12112/statm: 135451 135087 77 171 0 135278 0
Current children cumulated CPU time (s) 881.88
Current children cumulated vsize (KiB) 547160
[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12118
/proc/meminfo: memFree=1171976/2055920 swapFree=4180284/4192956
[pid=12106] ppid=12104 vsize=5356 CPUtime=0.35
/proc/12106/stat : 12106 (SatELiteGTI) S 12104 12106 11446 0 -1 4194304 336 2599 0 0 0 0 33 2 16 0 1 0 306821665 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12106/statm: 1339 239 197 169 0 50 0
[pid=12112] ppid=12106 vsize=564788 CPUtime=941.5
/proc/12112/stat : 12112 (minisat_static) R 12106 12106 11446 0 -1 4194304 140852 0 0 0 94005 145 0 0 25 0 1 0 306821701 578342912 140838 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12112/statm: 141197 140838 77 171 0 141024 0
Current children cumulated CPU time (s) 941.85
Current children cumulated vsize (KiB) 570144
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12118
/proc/meminfo: memFree=1146824/2055920 swapFree=4180284/4192956
[pid=12106] ppid=12104 vsize=5356 CPUtime=0.35
/proc/12106/stat : 12106 (SatELiteGTI) S 12104 12106 11446 0 -1 4194304 336 2599 0 0 0 0 33 2 16 0 1 0 306821665 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12106/statm: 1339 239 197 169 0 50 0
[pid=12112] ppid=12106 vsize=589496 CPUtime=1001.47
/proc/12112/stat : 12112 (minisat_static) R 12106 12106 11446 0 -1 4194304 147069 0 0 0 99995 152 0 0 25 0 1 0 306821701 603643904 147055 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/12112/statm: 147374 147055 77 171 0 147201 0
Current children cumulated CPU time (s) 1001.82
Current children cumulated vsize (KiB) 594852
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12118
/proc/meminfo: memFree=1121672/2055920 swapFree=4180284/4192956
[pid=12106] ppid=12104 vsize=5356 CPUtime=0.35
/proc/12106/stat : 12106 (SatELiteGTI) S 12104 12106 11446 0 -1 4194304 336 2599 0 0 0 0 33 2 16 0 1 0 306821665 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12106/statm: 1339 239 197 169 0 50 0
[pid=12112] ppid=12106 vsize=614600 CPUtime=1061.45
/proc/12112/stat : 12112 (minisat_static) R 12106 12106 11446 0 -1 4194304 153355 0 0 0 105987 158 0 0 25 0 1 0 306821701 629350400 153341 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12112/statm: 153650 153341 77 171 0 153477 0
Current children cumulated CPU time (s) 1061.8
Current children cumulated vsize (KiB) 619956
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12118
/proc/meminfo: memFree=1099656/2055920 swapFree=4180284/4192956
[pid=12106] ppid=12104 vsize=5356 CPUtime=0.35
/proc/12106/stat : 12106 (SatELiteGTI) S 12104 12106 11446 0 -1 4194304 336 2599 0 0 0 0 33 2 16 0 1 0 306821665 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12106/statm: 1339 239 197 169 0 50 0
[pid=12112] ppid=12106 vsize=636260 CPUtime=1121.42
/proc/12112/stat : 12112 (minisat_static) R 12106 12106 11446 0 -1 4194304 158788 0 0 0 111979 163 0 0 25 0 1 0 306821701 651530240 158774 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/12112/statm: 159065 158774 77 171 0 158892 0
Current children cumulated CPU time (s) 1121.77
Current children cumulated vsize (KiB) 641616
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12118
/proc/meminfo: memFree=1076424/2055920 swapFree=4180284/4192956
[pid=12106] ppid=12104 vsize=5356 CPUtime=0.35
/proc/12106/stat : 12106 (SatELiteGTI) S 12104 12106 11446 0 -1 4194304 336 2599 0 0 0 0 33 2 16 0 1 0 306821665 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12106/statm: 1339 239 197 169 0 50 0
[pid=12112] ppid=12106 vsize=659524 CPUtime=1181.39
/proc/12112/stat : 12112 (minisat_static) R 12106 12106 11446 0 -1 4194304 164635 0 0 0 117969 170 0 0 25 0 1 0 306821701 675352576 164621 1992294400 134512640 135215339 4294956240 18446744073709551615 134528772 0 0 4096 3 0 0 0 17 0 0 0
/proc/12112/statm: 164881 164621 77 171 0 164708 0
Current children cumulated CPU time (s) 1181.74
Current children cumulated vsize (KiB) 664880
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12118
/proc/meminfo: memFree=1067656/2055920 swapFree=4180284/4192956
[pid=12106] ppid=12104 vsize=5356 CPUtime=0.35
/proc/12106/stat : 12106 (SatELiteGTI) S 12104 12106 11446 0 -1 4194304 336 2599 0 0 0 0 33 2 16 0 1 0 306821665 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12106/statm: 1339 239 197 169 0 50 0
[pid=12112] ppid=12106 vsize=667840 CPUtime=1199.69
/proc/12112/stat : 12112 (minisat_static) R 12106 12106 11446 0 -1 4194304 166703 0 0 0 119796 173 0 0 25 0 1 0 306821701 683868160 166689 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/12112/statm: 166960 166689 77 171 0 166787 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 673196
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 12106 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=339948
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=21996
# CPU time returned by wait4() is 0.361944
# while last known CPU time is 1200.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.61
CPU time (s): 1200.04
CPU user time (s): 1198.29
CPU system time (s): 1.75
CPU usage (%): 99.9523
Max. virtual memory (cumulated for all children) (KiB): 673196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.339948
system time used= 0.021996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2935
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 11
runsolver used 1.18682 second user time and 3.2585 second system time
The end
Begin job on node45 at 2009-05-20 04:52:18
IDJOB=1832799
IDBENCH=70363
IDSOLVER=671
FILE ID=node45/1832799-1242787938
PBS_JOBID= 9322311
Free space on /tmp= 66224 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/18000/unif-k3-r4.2-v18000-c75600-S1773173258-010.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832799-1242787938/watcher-1832799-1242787938 -o /tmp/evaluation-result-1832799-1242787938/solver-1832799-1242787938 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832799-1242787938.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ae02373c0ed448bf77bcd57171ccc944
RANDOM SEED=767038826
node45.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.231
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.231
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: 1740024 kB
Buffers: 24464 kB
Cached: 241872 kB
SwapCached: 7024 kB
Active: 177636 kB
Inactive: 97676 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1740024 kB
SwapTotal: 4192956 kB
SwapFree: 4180284 kB
Dirty: 3032 kB
Writeback: 0 kB
Mapped: 14044 kB
Slab: 26660 kB
Committed_AS: 1010964 kB
PageTables: 1384 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66220 MiB
End job on node45 at 2009-05-20 05:12:20