0.00/0.00 c Parsing...
0.00/0.05 c ==============================================================================
0.00/0.05 c | | ORIGINAL | LEARNT | |
0.00/0.05 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.05 c ==============================================================================
0.00/0.05 c | 0 | 91646 272553 | 27493 0 0 nan | 0.000 % |
0.58/0.66 c | 0 | 90841 386353 | -- 0 -- -- | -- | -805/113800
0.58/0.66 c ==============================================================================
0.58/0.66 c Result : #vars: 958 #clauses: 90841 #literals: 386353
0.58/0.66 c CPU time: 0.639902 s
0.58/0.66 c ==============================================================================
0.68/0.77 c This is MiniSat 2.0 beta
0.68/0.77 c WARNING: for repeatability, setting FPU to use double precision
0.68/0.77 c ============================[ Problem Statistics ]=============================
0.68/0.77 c | |
0.68/0.77 c | Number of variables: 958 |
0.68/0.77 c | Number of clauses: 90841 |
0.76/0.82 c | Parsing time: 0.05 s |
0.76/0.83 c ============================[ Search Statistics ]==============================
0.76/0.83 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.76/0.83 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.76/0.83 c ===============================================================================
0.76/0.83 c | 0 | 958 90841 386353 | 30280 0 nan | 0.000 % |
0.76/0.86 c | 101 | 958 90841 386353 | 30280 101 48 | 0.000 % |
0.76/0.89 c | 202 | 958 90841 386353 | 30280 202 49 | 0.000 % |
0.76/0.92 c | 303 | 958 90841 386353 | 30280 303 49 | 0.000 % |
0.76/0.94 c | 414 | 958 90841 386353 | 30280 414 47 | 0.000 % |
0.76/0.97 c | 514 | 958 90841 386353 | 30280 514 45 | 0.000 % |
0.98/1.01 c | 627 | 958 90841 386353 | 30280 627 46 | 0.000 % |
0.98/1.06 c | 748 | 958 90841 386353 | 30280 748 45 | 0.000 % |
0.98/1.09 c | 848 | 958 90841 386353 | 30280 848 45 | 0.000 % |
1.08/1.12 c | 959 | 958 90841 386353 | 30280 959 46 | 0.000 % |
1.08/1.15 c | 1080 | 958 90841 386353 | 30280 1080 47 | 0.000 % |
1.17/1.20 c | 1215 | 958 90841 386353 | 30280 1215 49 | 0.000 % |
1.17/1.22 c | 1315 | 958 90841 386353 | 30280 1315 50 | 0.000 % |
1.17/1.25 c | 1425 | 958 90841 386353 | 30280 1425 50 | 0.000 % |
1.17/1.27 c | 1547 | 958 90841 386353 | 30280 1547 50 | 0.000 % |
1.17/1.30 c | 1680 | 958 90841 386353 | 30280 1680 51 | 0.000 % |
1.27/1.32 c | 1828 | 958 90841 386353 | 30280 1828 52 | 0.000 % |
1.27/1.35 c | 1929 | 958 90841 386353 | 30280 1929 52 | 0.000 % |
1.27/1.38 c | 2039 | 958 90841 386353 | 30280 2039 52 | 0.000 % |
1.37/1.41 c | 2160 | 958 90841 386353 | 30280 2160 53 | 0.000 % |
1.37/1.43 c | 2295 | 958 90841 386353 | 30280 2295 54 | 0.000 % |
1.37/1.47 c | 2442 | 958 90841 386353 | 30280 2442 54 | 0.000 % |
1.47/1.50 c | 2603 | 958 90841 386353 | 30280 2603 54 | 0.000 % |
1.47/1.52 c | 2703 | 958 90841 386353 | 30280 2703 54 | 0.000 % |
1.47/1.54 c | 2813 | 958 90841 386353 | 30280 2813 54 | 0.000 % |
1.47/1.57 c | 2934 | 958 90841 386353 | 30280 2934 54 | 0.000 % |
1.57/1.62 c | 3068 | 958 90841 386353 | 30280 3068 53 | 0.000 % |
1.57/1.66 c | 3215 | 958 90841 386353 | 30280 3215 53 | 0.000 % |
1.67/1.72 c | 3379 | 958 90841 386353 | 30280 3379 53 | 0.000 % |
1.77/1.80 c | 3556 | 958 90841 386353 | 30280 3556 52 | 0.000 % |
1.77/1.85 c | 3656 | 958 90841 386353 | 30280 3656 52 | 0.000 % |
1.87/1.90 c | 3766 | 958 90841 386353 | 30280 3766 51 | 0.000 % |
1.87/1.95 c | 3887 | 958 90841 386353 | 30280 3887 51 | 0.000 % |
1.97/2.01 c | 4020 | 958 90841 386353 | 30280 4020 50 | 0.000 % |
1.97/2.04 c | 4166 | 958 90841 386353 | 30280 4166 51 | 0.000 % |
1.97/2.07 c | 4326 | 958 90841 386353 | 30280 4326 51 | 0.000 % |
2.08/2.13 c | 4503 | 958 90841 386353 | 30280 4503 51 | 0.000 % |
2.08/2.17 c | 4698 | 958 90841 386353 | 30280 4698 52 | 0.000 % |
2.08/2.20 c | 4798 | 958 90841 386353 | 30280 4798 52 | 0.000 % |
2.18/2.22 c | 4909 | 958 90841 386353 | 30280 4909 52 | 0.000 % |
2.18/2.27 c | 5031 | 958 90841 386353 | 30280 5031 52 | 0.000 % |
2.27/2.31 c | 5165 | 958 90841 386353 | 30280 5165 52 | 0.000 % |
2.27/2.34 c | 5311 | 958 90841 386353 | 30280 5311 52 | 0.000 % |
2.37/2.42 c | 5472 | 958 90841 386353 | 30280 5472 52 | 0.000 % |
2.37/2.47 c | 5648 | 958 90841 386353 | 30280 5648 52 | 0.000 % |
2.47/2.52 c | 5842 | 958 90841 386353 | 30280 5842 53 | 0.000 % |
2.47/2.56 c | 6054 | 958 90841 386353 | 30280 6054 53 | 0.000 % |
2.47/2.59 c | 6154 | 958 90841 386353 | 30280 6154 53 | 0.000 % |
2.57/2.62 c | 6268 | 958 90841 386353 | 30280 6268 53 | 0.000 % |
2.57/2.64 c | 6389 | 958 90841 386353 | 30280 6389 54 | 0.000 % |
2.57/2.68 c | 6524 | 958 90841 386353 | 30280 6524 54 | 0.000 % |
2.67/2.76 c | 6671 | 958 90841 386353 | 30280 6671 54 | 0.000 % |
2.77/2.82 c | 6832 | 958 90841 386353 | 30280 6832 53 | 0.000 % |
2.87/2.90 c | 7010 | 958 90841 386353 | 30280 7010 53 | 0.000 % |
2.87/2.98 c | 7203 | 958 90841 386353 | 30280 7203 54 | 0.000 % |
2.97/3.04 c | 7415 | 958 90841 386353 | 30280 7415 54 | 0.000 % |
3.07/3.14 c | 7648 | 958 90841 386353 | 30280 7648 54 | 0.000 % |
3.07/3.17 c | 7748 | 958 90841 386353 | 30280 7748 53 | 0.000 % |
3.17/3.23 c | 7860 | 958 90841 386353 | 30280 7860 53 | 0.000 % |
3.17/3.30 c | 7982 | 958 90841 386353 | 30280 7982 53 | 0.000 % |
3.27/3.37 c | 8116 | 958 90841 386353 | 30280 8116 53 | 0.000 % |
3.37/3.45 c | 8264 | 958 90841 386353 | 30280 8264 52 | 0.000 % |
3.47/3.53 c | 8427 | 958 90841 386353 | 30280 8427 52 | 0.000 % |
3.57/3.63 c | 8604 | 958 90841 386353 | 30280 8604 52 | 0.001 % |
3.67/3.72 c | 8798 | 958 90841 386353 | 30280 8798 51 | 0.000 % |
3.77/3.82 c | 9014 | 958 90841 386353 | 30280 9014 51 | 0.000 % |
3.77/3.88 c | 9247 | 958 90841 386353 | 30280 9247 51 | 0.000 % |
3.87/3.98 c | 9504 | 958 90841 386353 | 30280 9504 51 | 0.000 % |
3.97/4.03 c | 9605 | 958 90841 386353 | 30280 9605 51 | 0.000 % |
3.97/4.08 c | 9716 | 958 90841 386353 | 30280 9716 51 | 0.000 % |
4.07/4.14 c | 9837 | 958 90841 386353 | 30280 9837 50 | 0.000 % |
4.17/4.21 c | 9971 | 958 90841 386353 | 30280 9971 50 | 0.000 % |
4.27/4.30 c | 10117 | 958 90841 386353 | 2147483647 10117 50 | 0.000 % |
4.27/4.39 c | 10277 | 958 90841 386353 | 2147483647 10277 49 | 0.000 % |
4.46/4.50 c | 10455 | 958 90841 386353 | 2147483647 10455 49 | 0.000 % |
4.56/4.61 c | 10650 | 958 90841 386353 | 2147483647 10650 49 | 0.000 % |
4.66/4.73 c | 10862 | 958 90841 386353 | 2147483647 10862 48 | 0.000 % |
4.76/4.85 c | 11097 | 958 90841 386353 | 2147483647 11097 48 | 0.000 % |
4.86/4.97 c | 11353 | 958 90841 386353 | 2147483647 11353 48 | 0.000 % |
4.96/5.09 c | 11634 | 958 90841 386353 | 2147483647 11634 48 | 0.000 % |
5.06/5.14 c | 11734 | 958 90841 386353 | 2147483647 11734 48 | 0.000 % |
5.16/5.21 c | 11847 | 958 90841 386353 | 2147483647 11847 48 | 0.000 % |
5.16/5.28 c | 11968 | 958 90841 386353 | 2147483647 11968 48 | 0.000 % |
5.26/5.34 c | 12101 | 958 90841 386353 | 2147483647 12101 48 | 0.001 % |
5.36/5.40 c | 12247 | 958 90841 386353 | 2147483647 12247 47 | 0.000 % |
5.36/5.47 c | 12407 | 958 90841 386353 | 2147483647 12407 47 | 0.000 % |
5.46/5.57 c | 12583 | 958 90841 386353 | 2147483647 12583 47 | 0.000 % |
5.56/5.63 c | 12777 | 958 90841 386353 | 2147483647 12777 47 | 0.000 % |
5.56/5.67 c | 12989 | 958 90841 386353 | 2147483647 12989 48 | 0.000 % |
5.66/5.72 c | 13222 | 958 90841 386353 | 2147483647 13222 48 | 0.000 % |
5.66/5.76 c | 13478 | 958 90841 386353 | 2147483647 13478 48 | 0.000 % |
5.76/5.81 c | 13760 | 958 90841 386353 | 2147483647 13760 48 | 0.000 % |
5.76/5.85 c | 14071 | 958 90841 386353 | 2147483647 14071 49 | 0.000 % |
5.76/5.87 c | 14172 | 958 90841 386353 | 2147483647 14172 49 | 0.000 % |
5.86/5.90 c | 14282 | 958 90841 386353 | 2147483647 14282 49 | 0.000 % |
5.86/5.93 c | 14404 | 958 90841 386353 | 2147483647 14404 49 | 0.000 % |
5.86/5.96 c | 14537 | 958 90841 386353 | 2147483647 14537 49 | 0.000 % |
5.96/6.00 c | 14690 | 958 90841 386353 | 2147483647 14690 50 | 0.000 % |
5.96/6.04 c | 14850 | 958 90841 386353 | 2147483647 14850 50 | 0.000 % |
5.96/6.08 c | 15026 | 958 90841 386353 | 2147483647 15026 50 | 0.000 % |
6.06/6.13 c | 15219 | 958 90841 386353 | 2147483647 15219 50 | 0.000 % |
6.06/6.17 c | 15431 | 958 90841 386353 | 2147483647 15431 50 | 0.000 % |
6.16/6.22 c | 15665 | 958 90841 386353 | 2147483647 15665 51 | 0.000 % |
6.16/6.28 c | 15923 | 958 90841 386353 | 2147483647 15923 51 | 0.000 % |
6.26/6.33 c | 16204 | 958 90841 386353 | 2147483647 16204 51 | 0.000 % |
6.36/6.42 c | 16517 | 958 90841 386353 | 2147483647 16517 51 | 0.000 % |
6.46/6.52 c | 16857 | 958 90841 386353 | 2147483647 16857 52 | 0.000 % |
6.46/6.56 c | 16958 | 958 90841 386353 | 2147483647 16958 52 | 0.000 % |
6.46/6.58 c | 17068 | 958 90841 386353 | 2147483647 17068 52 | 0.000 % |
6.56/6.63 c | 17189 | 958 90841 386353 | 2147483647 17189 52 | 0.000 % |
6.56/6.67 c | 17322 | 958 90841 386353 | 2147483647 17322 52 | 0.000 % |
6.66/6.71 c | 17469 | 958 90841 386353 | 2147483647 17469 52 | 0.000 % |
6.66/6.76 c | 17629 | 958 90841 386353 | 2147483647 17629 52 | 0.000 % |
6.76/6.80 c | 17806 | 958 90841 386353 | 2147483647 17806 52 | 0.000 % |
6.76/6.87 c | 17999 | 958 90841 386353 | 2147483647 17999 53 | 0.000 % |
6.86/6.95 c | 18212 | 958 90841 386353 | 2147483647 18212 53 | 0.000 % |
6.95/7.03 c | 18446 | 958 90841 386353 | 2147483647 18446 53 | 0.000 % |
7.05/7.14 c | 18702 | 958 90841 386353 | 2147483647 18702 53 | 0.000 % |
7.15/7.24 c | 18983 | 958 90841 386353 | 2147483647 18983 53 | 0.000 % |
7.25/7.36 c | 19292 | 958 90841 386353 | 2147483647 19292 54 | 0.000 % |
7.35/7.48 c | 19633 | 958 90841 386353 | 2147483647 19633 54 | 0.000 % |
7.57/7.63 c | 20005 | 958 90841 386353 | 2147483647 20005 54 | 0.000 % |
7.57/7.67 c | 20105 | 958 90841 386353 | 2147483647 20105 54 | 0.000 % |
7.67/7.72 c | 20218 | 958 90841 386353 | 2147483647 20218 54 | 0.000 % |
7.67/7.79 c | 20339 | 958 90841 386353 | 2147483647 20339 54 | 0.000 % |
7.76/7.85 c | 20472 | 958 90841 386353 | 2147483647 20472 54 | 0.000 % |
7.86/7.93 c | 20622 | 958 90841 386353 | 2147483647 20622 54 | 0.000 % |
7.96/8.02 c | 20782 | 958 90841 386353 | 2147483647 20782 54 | 0.000 % |
8.06/8.11 c | 20962 | 958 90841 386353 | 2147483647 20962 54 | 0.000 % |
8.16/8.20 c | 21158 | 958 90841 386353 | 2147483647 21158 55 | 0.000 % |
8.26/8.31 c | 21372 | 958 90841 386353 | 2147483647 21372 55 | 0.000 % |
8.26/8.39 c | 21607 | 958 90841 386353 | 2147483647 21607 55 | 0.000 % |
8.46/8.50 c | 21866 | 958 90841 386353 | 2147483647 21866 55 | 0.000 % |
8.56/8.67 c | 22147 | 958 90841 386353 | 2147483647 22147 55 | 0.000 % |
8.76/8.87 c | 22456 | 958 90841 386353 | 2147483647 22456 55 | 0.000 % |
8.96/9.05 c | 22796 | 958 90841 386353 | 2147483647 22796 55 | 0.000 % |
9.16/9.26 c | 23169 | 958 90841 386353 | 2147483647 23169 56 | 0.000 % |
9.46/9.51 c | 23578 | 958 90841 386353 | 2147483647 23578 56 | 0.000 % |
9.46/9.59 c | 23681 | 958 90841 386353 | 2147483647 23681 56 | 0.000 % |
9.56/9.67 c | 23795 | 958 90841 386353 | 2147483647 23795 56 | 0.000 % |
9.66/9.77 c | 23916 | 958 90841 386353 | 2147483647 23916 56 | 0.000 % |
9.76/9.89 c | 24049 | 958 90841 386353 | 2147483647 24049 56 | 0.000 % |
9.86/9.99 c | 24195 | 958 90841 386353 | 2147483647 24195 56 | 0.000 % |
10.06/10.12 c | 24357 | 958 90841 386353 | 2147483647 24357 56 | 0.000 % |
10.16/10.22 c | 24534 | 958 90841 386353 | 2147483647 24534 56 | 0.000 % |
10.36/10.40 c | 24727 | 958 90841 386353 | 2147483647 24727 56 | 0.000 % |
10.46/10.56 c | 24939 | 958 90841 386353 | 2147483647 24939 56 | 0.002 % |
10.66/10.71 c | 25172 | 958 90841 386353 | 2147483647 25172 56 | 0.000 % |
10.76/10.89 c | 25429 | 958 90841 386353 | 2147483647 25429 56 | 0.000 % |
10.96/11.09 c | 25711 | 958 90841 386353 | 2147483647 25711 56 | 0.000 % |
11.25/11.30 c | 26023 | 958 90841 386353 | 2147483647 26023 56 | 0.000 % |
11.45/11.57 c | 26364 | 958 90841 386353 | 2147483647 26364 57 | 0.000 % |
11.75/11.85 c | 26737 | 958 90841 386353 | 2147483647 26737 57 | 0.000 % |
12.06/12.17 c | 27147 | 958 90841 386353 | 2147483647 27147 57 | 0.000 % |
12.45/12.55 c | 27597 | 958 90841 386353 | 2147483647 27597 57 | 0.000 % |
12.55/12.67 c | 27698 | 958 90841 386353 | 2147483647 27698 57 | 0.000 % |
12.75/12.81 c | 27810 | 958 90841 386353 | 2147483647 27810 57 | 0.000 % |
12.85/12.93 c | 27932 | 958 90841 386353 | 2147483647 27932 57 | 0.000 % |
12.95/13.06 c | 28067 | 958 90841 386353 | 2147483647 28067 57 | 0.000 % |
13.05/13.12 c | 28213 | 958 90841 386353 | 2147483647 28213 57 | 0.000 % |
13.25/13.32 c | 28373 | 958 90841 386353 | 2147483647 28373 57 | 0.000 % |
13.35/13.48 c | 28555 | 958 90841 386353 | 2147483647 28555 57 | 0.000 % |
13.65/13.73 c | 28749 | 958 90841 386353 | 2147483647 28749 57 | 0.000 % |
13.95/14.03 c | 28961 | 958 90841 386353 | 2147483647 28961 57 | 0.000 % |
14.25/14.31 c | 29194 | 958 90841 386353 | 2147483647 29194 57 | 0.000 % |
14.55/14.60 c | 29450 | 958 90841 386353 | 2147483647 29450 57 | 0.000 % |
14.85/14.91 c | 29731 | 958 90841 386353 | 2147483647 29731 56 | 0.000 % |
15.05/15.19 c | 30040 | 958 90841 386353 | 2147483647 30040 56 | 0.000 % |
15.35/15.43 c | 30380 | 958 90841 386353 | 2147483647 30380 56 | 0.000 % |
15.75/15.86 c | 30752 | 958 90841 386353 | 2147483647 30752 56 | 0.000 % |
16.15/16.28 c | 31161 | 958 90841 386353 | 2147483647 31161 56 | 0.000 % |
16.45/16.54 c | 31610 | 958 90841 386353 | 2147483647 31610 56 | 0.000 % |
16.85/16.93 c | 32103 | 958 90841 386353 | 2147483647 32103 56 | 0.000 % |
16.95/17.03 c | 32204 | 958 90841 386353 | 2147483647 32204 56 | 0.000 % |
17.05/17.12 c | 32317 | 958 90841 386353 | 2147483647 32317 56 | 0.000 % |
17.05/17.19 c | 32438 | 958 90841 386353 | 2147483647 32438 56 | 0.000 % |
17.15/17.29 c | 32573 | 958 90841 386353 | 2147483647 32573 56 | 0.000 % |
17.34/17.47 c | 32719 | 958 90841 386353 | 2147483647 32719 56 | 0.000 % |
17.55/17.62 c | 32879 | 958 90841 386353 | 2147483647 32879 56 | 0.000 % |
17.74/17.84 c | 33056 | 958 90841 386353 | 2147483647 33056 56 | 0.000 % |
17.94/18.06 c | 33253 | 958 90841 386353 | 2147483647 33253 56 | 0.000 % |
18.04/18.19 c | 33465 | 958 90841 386353 | 2147483647 33465 56 | 0.000 % |
18.24/18.37 c | 33698 | 958 90841 386353 | 2147483647 33698 56 | 0.001 % |
18.54/18.67 c | 33954 | 958 90841 386353 | 2147483647 33954 56 | 0.000 % |
18.74/18.89 c | 34235 | 958 90841 386353 | 2147483647 34235 56 | 0.000 % |
18.94/19.06 c | 34546 | 958 90841 386353 | 2147483647 34546 56 | 0.000 % |
19.15/19.26 c | 34885 | 958 90841 386353 | 2147483647 34885 56 | 0.000 % |
19.35/19.46 c | 35257 | 958 90841 386353 | 2147483647 35257 56 | 0.000 % |
19.75/19.88 c | 35666 | 958 90841 386353 | 2147483647 35666 56 | 0.001 % |
20.25/20.35 c | 36115 | 958 90841 386353 | 2147483647 36115 56 | 0.000 % |
20.65/20.74 c | 36613 | 958 90841 386353 | 2147483647 36613 56 | 0.000 % |
21.05/21.20 c | 37158 | 958 90841 386353 | 2147483647 37158 56 | 0.000 % |
21.15/21.28 c | 37259 | 958 90841 386353 | 2147483647 37259 56 | 0.000 % |
21.25/21.38 c | 37371 | 958 90841 386353 | 2147483647 37371 56 | 0.000 % |
21.34/21.43 c | 37493 | 958 90841 386353 | 2147483647 37493 56 | 0.000 % |
21.44/21.54 c | 37629 | 958 90841 386353 | 2147483647 37629 56 | 0.000 % |
21.54/21.65 c | 37775 | 958 90841 386353 | 2147483647 37775 56 | 0.000 % |
21.74/21.81 c | 37936 | 958 90841 386353 | 2147483647 37936 56 | 0.001 % |
21.85/21.96 c | 38115 | 958 90841 386353 | 2147483647 38115 55 | 0.000 % |
21.95/22.08 c | 38308 | 958 90841 386353 | 2147483647 38308 55 | 0.001 % |
22.14/22.25 c | 38522 | 958 90841 386353 | 2147483647 38522 55 | 0.001 % |
22.44/22.53 c | 38756 | 958 90841 386353 | 2147483647 38756 55 | 0.000 % |
22.64/22.78 c | 39012 | 958 90841 386353 | 2147483647 39012 55 | 0.000 % |
22.74/22.89 c | 39294 | 958 90841 386353 | 2147483647 39294 55 | 0.000 % |
23.05/23.14 c | 39603 | 958 90841 386353 | 2147483647 39603 55 | 0.000 % |
23.34/23.44 c | 39944 | 958 90841 386353 | 2147483647 39944 55 | 0.000 % |
23.64/23.77 c | 40317 | 958 90841 386353 | 2147483647 40317 56 | 0.000 % |
23.94/24.05 c | 40726 | 958 90841 386353 | 2147483647 40726 56 | 0.000 % |
24.34/24.43 c | 41175 | 958 90841 386353 | 2147483647 41175 56 | 0.000 % |
24.64/24.71 c | 41670 | 958 90841 386353 | 2147483647 41670 56 | 0.000 % |
25.24/25.31 c | 42212 | 958 90841 386353 | 2147483647 42212 56 | 0.000 % |
25.74/25.85 c | 42809 | 958 90841 386353 | 2147483647 42809 56 | 0.000 % |
25.84/25.95 c | 42910 | 958 90841 386353 | 2147483647 42910 56 | 0.000 % |
25.94/26.03 c | 43022 | 958 90841 386353 | 2147483647 43022 56 | 0.000 % |
26.04/26.14 c | 43143 | 958 90841 386353 | 2147483647 43143 56 | 0.000 % |
26.14/26.29 c | 43276 | 958 90841 386353 | 2147483647 43276 56 | 0.000 % |
26.24/26.36 c | 43423 | 958 90841 386353 | 2147483647 43423 56 | 0.000 % |
26.44/26.53 c | 43584 | 958 90841 386353 | 2147483647 43584 56 | 0.000 % |
26.54/26.66 c | 43763 | 958 90841 386353 | 2147483647 43763 56 | 0.000 % |
26.84/26.94 c | 43958 | 958 90841 386353 | 2147483647 43958 56 | 0.000 % |
27.04/27.18 c | 44170 | 958 90841 386353 | 2147483647 44170 56 | 0.000 % |
27.34/27.46 c | 44404 | 958 90841 386353 | 2147483647 44404 56 | 0.000 % |
27.64/27.75 c | 44660 | 958 90841 386353 | 2147483647 44660 56 | 0.000 % |
27.94/28.02 c | 44945 | 958 90841 386353 | 2147483647 44945 56 | 0.000 % |
28.24/28.39 c | 45256 | 958 90841 386353 | 2147483647 45256 56 | 0.000 % |
28.74/28.82 c | 45595 | 958 90841 386353 | 2147483647 45595 56 | 0.000 % |
29.24/29.33 c | 45967 | 958 90841 386353 | 2147483647 45967 56 | 0.000 % |
29.64/29.72 c | 46376 | 958 90841 386353 | 2147483647 46376 56 | 0.000 % |
30.14/30.25 c | 46825 | 958 90841 386353 | 2147483647 46825 56 | 0.000 % |
30.64/30.72 c | 47318 | 958 90841 386353 | 2147483647 47318 56 | 0.000 % |
31.24/31.31 c | 47863 | 958 90841 386353 | 2147483647 47863 56 | 0.000 % |
31.74/31.90 c | 48459 | 958 90841 386353 | 2147483647 48459 56 | 0.000 % |
32.53/32.69 c | 49114 | 958 90841 386353 | 2147483647 49114 56 | 0.000 % |
32.73/32.81 c | 49216 | 958 90841 386353 | 2147483647 49216 56 | 0.000 % |
32.84/32.94 c | 49326 | 958 90841 386353 | 2147483647 49326 56 | 0.000 % |
32.84/33.00 c | 49447 | 958 90841 386353 | 2147483647 49447 56 | 0.000 % |
33.03/33.19 c | 49581 | 958 90841 386353 | 2147483647 49581 56 | 0.000 % |
33.23/33.33 c | 49729 | 958 90841 386353 | 2147483647 49729 56 | 0.000 % |
33.43/33.53 c | 49889 | 958 90841 386353 | 2147483647 49889 56 | 0.000 % |
33.53/33.69 c | 50067 | 958 90841 386353 | 2147483647 50067 56 | 0.000 % |
33.83/33.95 c | 50260 | 958 90841 386353 | 2147483647 50260 56 | 0.000 % |
33.93/34.06 c | 50473 | 958 90841 386353 | 2147483647 50473 56 | 0.000 % |
34.14/34.28 c | 50707 | 958 90841 386353 | 2147483647 50707 56 | 0.000 % |
34.43/34.55 c | 50965 | 958 90841 386353 | 2147483647 50965 56 | 0.000 % |
34.83/34.94 c | 51246 | 958 90841 386353 | 2147483647 51246 56 | 0.000 % |
35.23/35.37 c | 51558 | 958 90841 386353 | 2147483647 51558 56 | 0.000 % |
35.63/35.77 c | 51897 | 958 90841 386353 | 2147483647 51897 56 | 0.000 % |
36.03/36.13 c | 52272 | 958 90841 386353 | 2147483647 52272 56 | 0.000 % |
36.33/36.44 c | 52683 | 958 90841 386353 | 2147483647 52683 56 | 0.000 % |
36.73/36.87 c | 53133 | 958 90841 386353 | 2147483647 53133 56 | 0.000 % |
37.33/37.41 c | 53626 | 958 90841 386353 | 2147483647 53626 56 | 0.000 % |
37.83/37.99 c | 54168 | 958 90841 386353 | 2147483647 54168 56 | 0.000 % |
38.43/38.58 c | 54766 | 958 90841 386353 | 2147483647 54766 56 | 0.000 % |
39.32/39.41 c | 55421 | 958 90841 386353 | 2147483647 55421 56 | 0.000 % |
40.12/40.26 c | 56142 | 958 90841 386353 | 2147483647 56142 57 | 0.000 % |
40.22/40.37 c | 56247 | 958 90841 386353 | 2147483647 56247 57 | 0.000 % |
40.42/40.50 c | 56357 | 958 90841 386353 | 2147483647 56357 57 | 0.000 % |
40.53/40.67 c | 56480 | 958 90841 386353 | 2147483647 56480 57 | 0.000 % |
40.72/40.83 c | 56613 | 958 90841 386353 | 2147483647 56613 57 | 0.000 % |
40.82/40.97 c | 56761 | 958 90841 386353 | 2147483647 56761 57 | 0.000 % |
41.02/41.10 c | 56923 | 958 90841 386353 | 2147483647 56923 57 | 0.000 % |
41.22/41.40 c | 57101 | 958 90841 386353 | 2147483647 57101 57 | 0.000 % |
41.52/41.63 c | 57294 | 958 90841 386353 | 2147483647 57294 57 | 0.000 % |
41.82/41.91 c | 57506 | 958 90841 386353 | 2147483647 57506 57 | 0.000 % |
42.12/42.26 c | 57741 | 958 90841 386353 | 2147483647 57741 57 | 0.000 % |
42.42/42.50 c | 57998 | 958 90841 386353 | 2147483647 57998 57 | 0.000 % |
42.62/42.78 c | 58281 | 958 90841 386353 | 2147483647 58281 57 | 0.000 % |
43.12/43.22 c | 58591 | 958 90841 386353 | 2147483647 58591 57 | 0.000 % |
43.32/43.45 c | 58931 | 958 90841 386353 | 2147483647 58931 57 | 0.000 % |
43.82/43.99 c | 59304 | 958 90841 386353 | 2147483647 59304 57 | 0.000 % |
44.51/44.70 c | 59715 | 958 90841 386353 | 2147483647 59715 57 | 0.000 % |
45.11/45.28 c | 60165 | 958 90841 386353 | 2147483647 60165 57 | 0.000 % |
45.61/45.78 c | 60661 | 958 90841 386353 | 2147483647 60661 57 | 0.000 % |
46.12/46.28 c | 61203 | 958 90841 386353 | 2147483647 61203 57 | 0.000 % |
46.82/46.90 c | 61799 | 958 90841 386353 | 2147483647 61799 57 | 0.000 % |
47.62/47.71 c | 62455 | 958 90841 386353 | 2147483647 62455 57 | 0.000 % |
48.33/48.42 c | 63176 | 958 90841 386353 | 2147483647 63176 57 | 0.000 % |
49.42/49.51 c | 63969 | 958 90841 386353 | 2147483647 63969 57 | 0.000 % |
49.62/49.71 c | 64071 | 958 90841 386353 | 2147483647 64071 57 | 0.000 % |
49.72/49.89 c | 64183 | 958 90841 386353 | 2147483647 64183 57 | 0.000 % |
49.92/50.02 c | 64305 | 958 90841 386353 | 2147483647 64305 57 | 0.000 % |
50.02/50.14 c | 64439 | 958 90841 386353 | 2147483647 64439 57 | 0.000 % |
50.22/50.37 c | 64585 | 958 90841 386353 | 2147483647 64585 57 | 0.000 % |
50.52/50.67 c | 64745 | 958 90841 386353 | 2147483647 64745 57 | 0.000 % |
50.62/50.79 c | 64921 | 958 90841 386353 | 2147483647 64921 57 | 0.000 % |
50.92/51.06 c | 65115 | 958 90841 386353 | 2147483647 65115 57 | 0.000 % |
51.12/51.27 c | 65327 | 958 90841 386353 | 2147483647 65327 57 | 0.000 % |
51.42/51.52 c | 65561 | 958 90841 386353 | 2147483647 65561 57 | 0.000 % |
51.82/51.90 c | 65818 | 958 90841 386353 | 2147483647 65818 57 | 0.000 % |
52.02/52.16 c | 66101 | 958 90841 386353 | 2147483647 66101 57 | 0.000 % |
52.42/52.50 c | 66410 | 958 90841 386353 | 2147483647 66410 57 | 0.000 % |
52.82/52.90 c | 66751 | 958 90841 386353 | 2147483647 66751 57 | 0.000 % |
53.32/53.40 c | 67124 | 958 90841 386353 | 2147483647 67124 57 | 0.000 % |
53.61/53.77 c | 67533 | 958 90841 386353 | 2147483647 67533 57 | 0.000 % |
54.51/54.62 c | 67982 | 958 90841 386353 | 2147483647 67982 57 | 0.000 % |
55.31/55.45 c | 68475 | 958 90841 386353 | 2147483647 68475 57 | 0.000 % |
56.21/56.32 c | 69017 | 958 90841 386353 | 2147483647 69017 57 | 0.000 % |
57.12/57.25 c | 69613 | 958 90841 386353 | 2147483647 69613 57 | 0.000 % |
58.12/58.28 c | 70268 | 958 90841 386353 | 2147483647 70268 57 | 0.000 % |
59.32/59.48 c | 70990 | 958 90841 386353 | 2147483647 70990 57 | 0.000 % |
60.62/60.78 c | 71785 | 958 90841 386353 | 2147483647 71785 57 | 0.000 % |
61.82/61.95 c | 72656 | 958 90841 386353 | 2147483647 72656 57 | 0.000 % |
61.92/62.04 c | 72756 | 958 90841 386353 | 2147483647 72756 57 | 0.000 % |
62.12/62.24 c | 72867 | 958 90841 386353 | 2147483647 72867 57 | 0.000 % |
62.42/62.50 c | 72991 | 958 90841 386353 | 2147483647 72991 57 | 0.000 % |
62.52/62.67 c | 73126 | 958 90841 386353 | 2147483647 73126 57 | 0.000 % |
62.81/62.93 c | 73272 | 958 90841 386353 | 2147483647 73272 57 | 0.000 % |
63.11/63.22 c | 73435 | 958 90841 386353 | 2147483647 73435 57 | 0.000 % |
63.41/63.51 c | 73611 | 958 90841 386353 | 2147483647 73611 57 | 0.000 % |
63.62/63.80 c | 73806 | 958 90841 386353 | 2147483647 73806 57 | 0.000 % |
64.01/64.11 c | 74018 | 958 90841 386353 | 2147483647 74018 57 | 0.000 % |
64.41/64.57 c | 74252 | 958 90841 386353 | 2147483647 74252 57 | 0.000 % |
64.72/64.90 c | 74508 | 958 90841 386353 | 2147483647 74508 57 | 0.000 % |
65.21/65.37 c | 74790 | 958 90841 386353 | 2147483647 74790 57 | 0.000 % |
65.51/65.65 c | 75100 | 958 90841 386353 | 2147483647 75100 57 | 0.000 % |
66.01/66.16 c | 75440 | 958 90841 386353 | 2147483647 75440 57 | 0.000 % |
66.41/66.59 c | 75812 | 958 90841 386353 | 2147483647 75812 57 | 0.000 % |
67.11/67.20 c | 76221 | 958 90841 386353 | 2147483647 76221 57 | 0.000 % |
67.81/67.92 c | 76671 | 958 90841 386353 | 2147483647 76671 57 | 0.000 % |
68.71/68.81 c | 77165 | 958 90841 386353 | 2147483647 77165 57 | 0.000 % |
69.41/69.59 c | 77708 | 958 90841 386353 | 2147483647 77708 57 | 0.000 % |
70.51/70.61 c | 78307 | 958 90841 386353 | 2147483647 78307 57 | 0.000 % |
71.61/71.72 c | 78964 | 958 90841 386353 | 2147483647 78964 57 | 0.000 % |
72.90/73.10 c | 79684 | 958 90841 386353 | 2147483647 79684 57 | 0.000 % |
74.71/74.84 c | 80476 | 958 90841 386353 | 2147483647 80476 57 | 0.000 % |
76.40/76.56 c | 81348 | 958 90841 386353 | 2147483647 81348 57 | 0.000 % |
78.50/78.65 c | 82307 | 958 90841 386353 | 2147483647 82307 57 | 0.000 % |
78.70/78.85 c | 82407 | 958 90841 386353 | 2147483647 82407 57 | 0.000 % |
78.90/79.08 c | 82519 | 958 90841 386353 | 2147483647 82519 57 | 0.000 % |
79.20/79.35 c | 82640 | 958 90841 386353 | 2147483647 82640 57 | 0.000 % |
79.40/79.57 c | 82773 | 958 90841 386353 | 2147483647 82773 57 | 0.000 % |
79.70/79.87 c | 82920 | 958 90841 386353 | 2147483647 82920 57 | 0.000 % |
80.10/80.21 c | 83081 | 958 90841 386353 | 2147483647 83081 57 | 0.000 % |
80.39/80.55 c | 83259 | 958 90841 386353 | 2147483647 83259 57 | 0.000 % |
80.79/80.95 c | 83453 | 958 90841 386353 | 2147483647 83453 57 | 0.000 % |
81.20/81.32 c | 83667 | 958 90841 386353 | 2147483647 83667 57 | 0.000 % |
81.49/81.68 c | 83902 | 958 90841 386353 | 2147483647 83902 57 | 0.000 % |
81.79/81.94 c | 84161 | 958 90841 386353 | 2147483647 84161 57 | 0.000 % |
82.30/82.48 c | 84442 | 958 90841 386353 | 2147483647 84442 57 | 0.000 % |
82.79/82.92 c | 84751 | 958 90841 386353 | 2147483647 84751 57 | 0.000 % |
83.19/83.36 c | 85091 | 958 90841 386353 | 2147483647 85091 57 | 0.000 % |
83.99/84.13 c | 85463 | 958 90841 386353 | 2147483647 85463 57 | 0.000 % |
84.59/84.79 c | 85874 | 958 90841 386353 | 2147483647 85874 57 | 0.000 % |
85.29/85.45 c | 86323 | 958 90841 386353 | 2147483647 86323 57 | 0.000 % |
86.09/86.23 c | 86816 | 958 90841 386353 | 2147483647 86816 57 | 0.000 % |
86.89/87.07 c | 87359 | 958 90841 386353 | 2147483647 87359 57 | 0.000 % |
87.90/88.01 c | 87955 | 958 90841 386353 | 2147483647 87955 57 | 0.000 % |
88.90/89.10 c | 88613 | 958 90841 386353 | 2147483647 88613 57 | 0.000 % |
90.10/90.27 c | 89334 | 958 90841 386353 | 2147483647 89334 57 | 0.000 % |
91.49/91.64 c | 90127 | 958 90841 386353 | 2147483647 90127 57 | 0.000 % |
93.19/93.32 c | 91000 | 958 90841 386353 | 2147483647 91000 57 | 0.000 % |
94.99/95.18 c | 91959 | 958 90841 386353 | 2147483647 91959 57 | 0.000 % |
96.69/96.87 c | 93012 | 958 90841 386353 | 2147483647 93012 57 | 0.000 % |
96.99/97.13 c | 93114 | 958 90841 386353 | 2147483647 93114 57 | 0.000 % |
97.19/97.34 c | 93225 | 958 90841 386353 | 2147483647 93225 57 | 0.000 % |
97.29/97.47 c | 93348 | 958 90841 386353 | 2147483647 93348 57 | 0.000 % |
97.49/97.68 c | 93481 | 958 90841 386353 | 2147483647 93481 57 | 0.000 % |
97.79/97.99 c | 93627 | 958 90841 386353 | 2147483647 93627 57 | 0.000 % |
98.09/98.27 c | 93790 | 958 90841 386353 | 2147483647 93790 57 | 0.000 % |
98.49/98.60 c | 93966 | 958 90841 386353 | 2147483647 93966 57 | 0.000 % |
98.79/98.95 c | 94159 | 958 90841 386353 | 2147483647 94159 57 | 0.000 % |
99.19/99.39 c | 94373 | 958 90841 386353 | 2147483647 94373 57 | 0.000 % |
99.68/99.83 c | 94607 | 958 90841 386353 | 2147483647 94607 57 | 0.000 % |
100.18/100.31 c | 94865 | 958 90841 386353 | 2147483647 94865 57 | 0.000 % |
100.68/100.80 c | 95146 | 958 90841 386353 | 2147483647 95146 57 | 0.000 % |
101.38/101.54 c | 95455 | 958 90841 386353 | 2147483647 95455 57 | 0.000 % |
102.19/102.34 c | 95794 | 958 90841 386353 | 2147483647 95794 57 | 0.000 % |
103.08/103.22 c | 96167 | 958 90841 386353 | 2147483647 96167 57 | 0.000 % |
103.58/103.72 c | 96580 | 958 90841 386353 | 2147483647 96580 57 | 0.000 % |
104.68/104.87 c | 97034 | 958 90841 386353 | 2147483647 97034 57 | 0.000 % |
106.08/106.21 c | 97531 | 958 90841 386353 | 2147483647 97531 57 | 0.000 % |
107.28/107.43 c | 98073 | 958 90841 386353 | 2147483647 98073 57 | 0.000 % |
108.48/108.67 c | 98670 | 958 90841 386353 | 2147483647 98670 57 | 0.000 % |
109.78/109.93 c | 99326 | 958 90841 386353 | 2147483647 99326 57 | 0.000 % |
111.28/111.48 c | 100047 | 958 90841 386353 | 100002 100047 57 | 0.000 % |
113.28/113.45 c | 100840 | 958 90841 386353 | 100002 89705 58 | 0.000 % |
115.08/115.21 c | 101713 | 958 90841 386353 | 100002 90578 58 | 0.000 % |
117.18/117.30 c | 102671 | 958 90841 386353 | 100002 91536 58 | 0.000 % |
119.68/119.87 c | 103725 | 958 90841 386353 | 100002 92590 58 | 0.000 % |
122.08/122.21 c | 104883 | 958 90841 386353 | 100002 93748 58 | 0.000 % |
122.28/122.47 c | 104984 | 958 90841 386353 | 100002 93849 58 | 0.000 % |
122.78/122.96 c | 105095 | 958 90841 386353 | 100002 93960 58 | 0.000 % |
123.28/123.45 c | 105217 | 958 90841 386353 | 100002 94082 58 | 0.000 % |
123.68/123.85 c | 105351 | 958 90841 386353 | 100002 94216 58 | 0.000 % |
124.07/124.28 c | 105497 | 958 90841 386353 | 100002 94362 58 | 0.000 % |
124.57/124.76 c | 105657 | 958 90841 386353 | 100002 94522 58 | 0.000 % |
124.97/125.17 c | 105836 | 958 90841 386353 | 100002 94701 58 | 0.000 % |
125.27/125.49 c | 106030 | 958 90841 386353 | 100002 94895 58 | 0.000 % |
125.77/125.97 c | 106242 | 958 90841 386353 | 100002 95107 58 | 0.000 % |
126.37/126.50 c | 106475 | 958 90841 386353 | 100002 95340 58 | 0.000 % |
127.07/127.29 c | 106731 | 958 90841 386353 | 100002 95596 58 | 0.000 % |
127.77/127.92 c | 107013 | 958 90841 386353 | 100002 95878 58 | 0.000 % |
128.47/128.67 c | 107322 | 958 90841 386353 | 100002 96187 58 | 0.000 % |
129.36/129.54 c | 107662 | 958 90841 386353 | 100002 96527 58 | 0.000 % |
130.16/130.35 c | 108034 | 958 90841 386353 | 100002 96899 58 | 0.000 % |
131.06/131.25 c | 108445 | 958 90841 386353 | 100002 97310 58 | 0.000 % |
132.36/132.57 c | 108895 | 958 90841 386353 | 100002 97760 58 | 0.000 % |
133.76/133.98 c | 109389 | 958 90841 386353 | 100002 98254 58 | 0.000 % |
135.46/135.67 c | 109933 | 958 90841 386353 | 100002 98798 58 | 0.000 % |
137.46/137.64 c | 110532 | 958 90841 386353 | 98866 84392 58 | 0.000 % |
138.96/139.17 c | 111187 | 958 90841 386353 | 98866 85047 58 | 0.000 % |
140.86/141.04 c | 111912 | 958 90841 386353 | 98866 85772 58 | 0.000 % |
143.06/143.23 c | 112704 | 958 90841 386353 | 98866 86564 58 | 0.000 % |
144.96/145.14 c | 113576 | 958 90841 386353 | 98866 87436 58 | 0.000 % |
146.76/146.98 c | 114534 | 958 90841 386353 | 98866 88394 58 | 0.000 % |
149.06/149.25 c | 115589 | 958 90841 386353 | 98866 89449 58 | 0.000 % |
152.55/152.71 c | 116748 | 958 90841 386353 | 98866 90608 58 | 0.000 % |
155.85/156.00 c | 118023 | 958 90841 386353 | 98866 91883 58 | 0.000 % |
156.15/156.39 c | 118123 | 958 90841 386353 | 98866 91983 58 | 0.000 % |
156.35/156.58 c | 118235 | 958 90841 386353 | 98866 92095 58 | 0.000 % |
156.65/156.81 c | 118356 | 958 90841 386353 | 98866 92216 58 | 0.000 % |
156.85/157.05 c | 118490 | 958 90841 386353 | 98866 92350 58 | 0.000 % |
157.06/157.24 c | 118640 | 958 90841 386353 | 98866 92500 58 | 0.000 % |
157.25/157.46 c | 118801 | 958 90841 386353 | 98866 92661 58 | 0.000 % |
157.55/157.80 c | 118978 | 958 90841 386353 | 98866 92838 58 | 0.000 % |
157.95/158.16 c | 119171 | 958 90841 386353 | 98866 93031 58 | 0.000 % |
158.35/158.51 c | 119383 | 958 90841 386353 | 98866 93243 58 | 0.000 % |
158.65/158.89 c | 119616 | 958 90841 386353 | 98866 93476 58 | 0.000 % |
159.15/159.30 c | 119874 | 958 90841 386353 | 98866 93734 58 | 0.000 % |
159.55/159.79 c | 120159 | 958 90841 386353 | 2147483647 94019 58 | 0.000 % |
160.15/160.32 c | 120468 | 958 90841 386353 | 2147483647 94328 58 | 0.000 % |
160.75/160.96 c | 120808 | 958 90841 386353 | 2147483647 94668 58 | 0.000 % |
161.35/161.57 c | 121181 | 958 90841 386353 | 2147483647 95041 58 | 0.000 % |
162.05/162.25 c | 121591 | 958 90841 386353 | 2147483647 95451 58 | 0.000 % |
163.36/163.53 c | 122040 | 958 90841 386353 | 2147483647 95900 58 | 0.000 % |
164.66/164.86 c | 122534 | 958 90841 386353 | 2147483647 96394 58 | 0.000 % |
165.96/166.19 c | 123078 | 958 90841 386353 | 2147483647 96938 58 | 0.000 % |
167.46/167.66 c | 123676 | 958 90841 386353 | 2147483647 97536 58 | 0.000 % |
168.66/168.85 c | 124331 | 958 90841 386353 | 2147483647 98191 58 | 0.000 % |
170.05/170.28 c | 125051 | 958 90841 386353 | 2147483647 98911 58 | 0.000 % |
172.35/172.51 c | 125845 | 958 90841 386353 | 2147483647 99705 58 | 0.000 % |
174.65/174.89 c | 126718 | 958 90841 386353 | 2147483647 100578 58 | 0.000 % |
177.25/177.44 c | 127677 | 958 90841 386353 | 2147483647 101537 58 | 0.000 % |
179.94/180.10 c | 128730 | 958 90841 386353 | 2147483647 102590 58 | 0.000 % |
182.24/182.49 c | 129890 | 958 90841 386353 | 2147483647 103750 58 | 0.000 % |
185.65/185.81 c | 131163 | 958 90841 386353 | 2147483647 105023 58 | 0.000 % |
189.04/189.23 c | 132565 | 958 90841 386353 | 2147483647 106425 58 | 0.000 % |
189.34/189.54 c | 132665 | 958 90841 386353 | 2147483647 106525 58 | 0.000 % |
189.74/189.91 c | 132775 | 958 90841 386353 | 2147483647 106635 58 | 0.000 % |
190.14/190.34 c | 132896 | 958 90841 386353 | 2147483647 106756 58 | 0.000 % |
190.44/190.61 c | 133030 | 958 90841 386353 | 2147483647 106890 58 | 0.000 % |
191.04/191.21 c | 133178 | 958 90841 386353 | 2147483647 107038 58 | 0.000 % |
191.54/191.74 c | 133338 | 958 90841 386353 | 2147483647 107198 58 | 0.000 % |
192.04/192.28 c | 133514 | 958 90841 386353 | 2147483647 107374 58 | 0.000 % |
192.94/193.10 c | 133707 | 958 90841 386353 | 2147483647 107567 58 | 0.000 % |
193.54/193.74 c | 133921 | 958 90841 386353 | 2147483647 107781 58 | 0.000 % |
194.24/194.49 c | 134155 | 958 90841 386353 | 2147483647 108015 58 | 0.000 % |
195.04/195.21 c | 134414 | 958 90841 386353 | 2147483647 108274 58 | 0.000 % |
195.85/196.01 c | 134697 | 958 90841 386353 | 2147483647 108557 58 | 0.000 % |
196.65/196.83 c | 135011 | 958 90841 386353 | 2147483647 108871 58 | 0.000 % |
198.04/198.22 c | 135350 | 958 90841 386353 | 2147483647 109210 58 | 0.000 % |
198.64/198.84 c | 135724 | 958 90841 386353 | 2147483647 109584 58 | 0.000 % |
199.34/199.55 c | 136133 | 958 90841 386353 | 2147483647 109993 58 | 0.000 % |
200.14/200.38 c | 136584 | 958 90841 386353 | 2147483647 110444 58 | 0.000 % |
202.04/202.26 c | 137079 | 958 90841 386353 | 2147483647 110939 58 | 0.000 % |
203.84/204.00 c | 137623 | 958 90841 386353 | 2147483647 111483 58 | 0.000 % |
205.14/205.34 c | 138221 | 958 90841 386353 | 2147483647 112081 58 | 0.000 % |
206.74/206.94 c | 138876 | 958 90841 386353 | 2147483647 112736 58 | 0.000 % |
208.34/208.51 c | 139597 | 958 90841 386353 | 2147483647 113457 58 | 0.000 % |
211.24/211.43 c | 140390 | 958 90841 386353 | 113861 99007 59 | 0.000 % |
213.44/213.60 c | 141263 | 958 90841 386353 | 113861 99880 59 | 0.000 % |
215.73/216.00 c | 142221 | 958 90841 386353 | 113861 100838 59 | 0.000 % |
218.23/218.49 c | 143275 | 958 90841 386353 | 113861 101892 58 | 0.000 % |
220.83/221.07 c | 144433 | 958 90841 386353 | 113861 103050 58 | 0.000 % |
223.13/223.33 c | 145707 | 958 90841 386353 | 113861 104324 58 | 0.000 % |
225.82/226.07 c | 147107 | 958 90841 386353 | 113861 105724 58 | 0.000 % |
228.53/228.76 c | 148647 | 958 90841 386353 | 113861 107264 58 | 0.000 % |
228.72/228.93 c | 148751 | 958 90841 386353 | 113861 107368 58 | 0.000 % |
228.92/229.18 c | 148861 | 958 90841 386353 | 113861 107478 58 | 0.000 % |
229.22/229.49 c | 148987 | 958 90841 386353 | 113861 107604 58 | 0.000 % |
229.52/229.75 c | 149122 | 958 90841 386353 | 113861 107739 58 | 0.000 % |
229.82/230.05 c | 149268 | 958 90841 386353 | 113861 107885 58 | 0.000 % |
230.12/230.36 c | 149428 | 958 90841 386353 | 113861 108045 58 | 0.000 % |
230.52/230.72 c | 149604 | 958 90841 386353 | 113861 108221 58 | 0.000 % |
230.92/231.11 c | 149802 | 958 90841 386353 | 113861 108419 58 | 0.000 % |
231.22/231.49 c | 150015 | 958 90841 386353 | 108618 108632 58 | 0.000 % |
232.52/232.75 c | 150249 | 958 90841 386353 | 108618 97563 58 | 0.000 % |
233.32/233.53 c | 150505 | 958 90841 386353 | 108618 97819 58 | 0.000 % |
234.22/234.43 c | 150786 | 958 90841 386353 | 108618 98100 58 | 0.000 % |
234.72/234.94 c | 151098 | 958 90841 386353 | 108618 98412 58 | 0.000 % |
235.72/235.97 c | 151437 | 958 90841 386353 | 108618 98751 58 | 0.000 % |
236.52/236.79 c | 151809 | 958 90841 386353 | 108618 99123 58 | 0.000 % |
237.62/237.81 c | 152219 | 958 90841 386353 | 108618 99533 58 | 0.000 % |
238.82/239.09 c | 152668 | 958 90841 386353 | 108618 99982 58 | 0.000 % |
240.02/240.26 c | 153161 | 958 90841 386353 | 108618 100475 58 | 0.000 % |
241.62/241.88 c | 153704 | 958 90841 386353 | 108618 101018 58 | 0.000 % |
243.32/243.56 c | 154300 | 958 90841 386353 | 108618 101614 58 | 0.000 % |
245.42/245.64 c | 154955 | 958 90841 386353 | 108618 102269 58 | 0.000 % |
246.82/247.06 c | 155675 | 958 90841 386353 | 108618 102989 58 | 0.000 % |
248.61/248.83 c | 156468 | 958 90841 386353 | 108618 103782 58 | 0.000 % |
250.81/251.06 c | 157341 | 958 90841 386353 | 108618 104655 58 | 0.000 % |
252.61/252.84 c | 158299 | 958 90841 386353 | 108618 105613 58 | 0.000 % |
254.92/255.18 c | 159356 | 958 90841 386353 | 108618 106670 58 | 0.000 % |
258.22/258.46 c | 160514 | 958 90841 386353 | 107314 95317 58 | 0.000 % |
261.20/261.40 c | 161789 | 958 90841 386353 | 107314 96592 58 | 0.000 % |
265.20/265.49 c | 163189 | 958 90841 386353 | 107314 97992 58 | 0.000 % |
268.70/268.92 c | 164733 | 958 90841 386353 | 107314 99536 58 | 0.000 % |
273.00/273.29 c | 166427 | 958 90841 386353 | 107314 101230 57 | 0.000 % |
273.30/273.56 c | 166527 | 958 90841 386353 | 107314 101330 57 | 0.000 % |
273.71/273.93 c | 166637 | 958 90841 386353 | 107314 101440 57 | 0.000 % |
274.10/274.34 c | 166758 | 958 90841 386353 | 107314 101561 57 | 0.000 % |
274.50/274.73 c | 166891 | 958 90841 386353 | 107314 101694 57 | 0.000 % |
274.81/275.06 c | 167040 | 958 90841 386353 | 107314 101843 57 | 0.000 % |
275.40/275.65 c | 167200 | 958 90841 386353 | 107314 102003 57 | 0.000 % |
276.10/276.32 c | 167376 | 958 90841 386353 | 107314 102179 57 | 0.000 % |
276.60/276.88 c | 167569 | 958 90841 386353 | 107314 102372 57 | 0.000 % |
277.40/277.61 c | 167781 | 958 90841 386353 | 107314 102584 57 | 0.000 % |
278.00/278.22 c | 168017 | 958 90841 386353 | 107314 102820 57 | 0.000 % |
278.70/278.96 c | 168273 | 958 90841 386353 | 107314 103076 57 | 0.000 % |
279.40/279.66 c | 168556 | 958 90841 386353 | 107314 103359 57 | 0.000 % |
280.30/280.56 c | 168866 | 958 90841 386353 | 107314 103669 57 | 0.000 % |
281.30/281.52 c | 169205 | 958 90841 386353 | 107314 104008 57 | 0.000 % |
282.10/282.37 c | 169577 | 958 90841 386353 | 107314 104380 57 | 0.000 % |
283.60/283.89 c | 169987 | 958 90841 386353 | 107314 104790 57 | 0.000 % |
285.09/285.33 c | 170438 | 958 90841 386353 | 104804 91009 58 | 0.000 % |
286.29/286.56 c | 170931 | 958 90841 386353 | 104804 91502 58 | 0.000 % |
287.19/287.49 c | 171473 | 958 90841 386353 | 104804 92044 58 | 0.000 % |
288.39/288.64 c | 172070 | 958 90841 386353 | 104804 92641 58 | 0.000 % |
289.99/290.26 c | 172726 | 958 90841 386353 | 104804 93297 58 | 0.000 % |
291.99/292.25 c | 173446 | 958 90841 386353 | 104804 94017 58 | 0.000 % |
293.79/294.00 c | 174238 | 958 90841 386353 | 104804 94809 58 | 0.000 % |
295.99/296.26 c | 175110 | 958 90841 386353 | 104804 95681 58 | 0.000 % |
297.79/298.05 c | 176071 | 958 90841 386353 | 104804 96642 58 | 0.000 % |
299.99/300.29 c | 177127 | 958 90841 386353 | 104804 97698 58 | 0.000 % |
303.49/303.73 c | 178285 | 958 90841 386353 | 104804 98856 58 | 0.000 % |
305.98/306.27 c | 179559 | 958 90841 386353 | 104804 100130 58 | 0.000 % |
310.28/310.54 c | 180960 | 958 90841 386353 | 100573 89646 57 | 0.000 % |
312.88/313.19 c | 182503 | 958 90841 386353 | 100573 91189 57 | 0.000 % |
317.18/317.49 c | 184198 | 958 90841 386353 | 100573 92884 57 | 0.000 % |
320.68/320.93 c | 186061 | 958 90841 386353 | 100573 94747 57 | 0.000 % |
320.98/321.25 c | 186161 | 958 90841 386353 | 100573 94847 57 | 0.000 % |
321.28/321.53 c | 186275 | 958 90841 386353 | 100573 94961 57 | 0.000 % |
321.58/321.82 c | 186397 | 958 90841 386353 | 100573 95083 57 | 0.000 % |
321.88/322.12 c | 186531 | 958 90841 386353 | 100573 95217 57 | 0.000 % |
322.38/322.61 c | 186677 | 958 90841 386353 | 100573 95363 57 | 0.000 % |
322.68/322.99 c | 186838 | 958 90841 386353 | 100573 95524 57 | 0.000 % |
322.98/323.25 c | 187017 | 958 90841 386353 | 100573 95703 57 | 0.000 % |
323.78/324.00 c | 187210 | 958 90841 386353 | 100573 95896 57 | 0.000 % |
324.18/324.50 c | 187422 | 958 90841 386353 | 100573 96108 57 | 0.000 % |
324.98/325.22 c | 187657 | 958 90841 386353 | 100573 96343 57 | 0.000 % |
325.58/325.81 c | 187914 | 958 90841 386353 | 100573 96600 57 | 0.000 % |
326.18/326.45 c | 188198 | 958 90841 386353 | 100573 96884 57 | 0.000 % |
326.88/327.12 c | 188507 | 958 90841 386353 | 100573 97193 57 | 0.000 % |
327.78/328.05 c | 188846 | 958 90841 386353 | 100573 97532 57 | 0.000 % |
328.38/328.67 c | 189218 | 958 90841 386353 | 100573 97904 57 | 0.000 % |
329.18/329.48 c | 189628 | 958 90841 386353 | 100573 98314 57 | 0.000 % |
330.07/330.38 c | 190078 | 958 90841 386353 | 2147483647 98764 57 | 0.000 % |
331.57/331.81 c | 190571 | 958 90841 386353 | 2147483647 99257 57 | 0.000 % |
333.17/333.49 c | 191115 | 958 90841 386353 | 2147483647 99801 57 | 0.000 % |
334.18/334.45 c | 191715 | 958 90841 386353 | 2147483647 100401 57 | 0.000 % |
335.18/335.42 c | 192371 | 958 90841 386353 | 2147483647 101057 57 | 0.000 % |
336.07/336.32 c | 193091 | 958 90841 386353 | 2147483647 101777 57 | 0.000 % |
337.67/337.96 c | 193886 | 958 90841 386353 | 2147483647 102572 57 | 0.000 % |
339.68/339.94 c | 194757 | 958 90841 386353 | 2147483647 103443 57 | 0.000 % |
342.07/342.37 c | 195715 | 958 90841 386353 | 2147483647 104401 57 | 0.000 % |
343.87/344.11 c | 196769 | 958 90841 386353 | 2147483647 105455 57 | 0.000 % |
345.77/346.06 c | 197928 | 958 90841 386353 | 2147483647 106614 57 | 0.000 % |
347.77/348.04 c | 199201 | 958 90841 386353 | 2147483647 107887 56 | 0.000 % |
351.86/352.11 c | 200602 | 958 90841 386353 | 108688 96990 56 | 0.000 % |
354.97/355.23 c | 202146 | 958 90841 386353 | 108688 98534 56 | 0.000 % |
358.06/358.32 c | 203841 | 958 90841 386353 | 108688 100229 56 | 0.000 % |
361.76/362.04 c | 205705 | 958 90841 386353 | 108688 102093 56 | 0.000 % |
365.56/365.86 c | 207756 | 958 90841 386353 | 108688 104144 56 | 0.000 % |
365.85/366.15 c | 207856 | 958 90841 386353 | 108688 104244 56 | 0.000 % |
366.15/366.49 c | 207967 | 958 90841 386353 | 108688 104355 56 | 0.000 % |
366.55/366.88 c | 208088 | 958 90841 386353 | 108688 104476 56 | 0.000 % |
366.95/367.26 c | 208222 | 958 90841 386353 | 108688 104610 56 | 0.000 % |
367.45/367.72 c | 208369 | 958 90841 386353 | 108688 104757 56 | 0.000 % |
367.85/368.17 c | 208529 | 958 90841 386353 | 108688 104917 56 | 0.000 % |
368.35/368.64 c | 208706 | 958 90841 386353 | 108688 105094 56 | 0.000 % |
368.85/369.19 c | 208904 | 958 90841 386353 | 108688 105292 56 | 0.000 % |
369.45/369.72 c | 209116 | 958 90841 386353 | 108688 105504 56 | 0.000 % |
369.96/370.23 c | 209351 | 958 90841 386353 | 108688 105739 56 | 0.000 % |
370.37/370.68 c | 209607 | 958 90841 386353 | 108688 105995 56 | 0.000 % |
371.16/371.46 c | 209888 | 958 90841 386353 | 108688 106276 56 | 0.000 % |
373.06/373.34 c | 210197 | 958 90841 386353 | 106388 106585 56 | 0.000 % |
374.16/374.44 c | 210536 | 958 90841 386353 | 106388 91305 55 | 0.000 % |
376.56/376.82 c | 210910 | 958 90841 386353 | 106388 91679 55 | 0.000 % |
378.46/378.74 c | 211319 | 958 90841 386353 | 106388 92088 55 | 0.000 % |
381.26/381.51 c | 211768 | 958 90841 386353 | 106388 92537 55 | 0.000 % |
381.66/381.93 c | 212261 | 958 90841 386353 | 106388 93030 55 | 0.000 % |
384.66/384.98 c | 212805 | 958 90841 386353 | 106388 93574 55 | 0.000 % |
389.95/390.24 c | 213401 | 958 90841 386353 | 106388 94170 55 | 0.000 % |
394.65/394.94 c | 214057 | 958 90841 386353 | 106388 94826 55 | 0.000 % |
396.54/396.83 c | 214777 | 958 90841 386353 | 106388 95546 55 | 0.000 % |
400.94/401.26 c | 215571 | 958 90841 386353 | 106388 96340 55 | 0.000 % |
402.94/403.23 c | 216442 | 958 90841 386353 | 106388 97211 55 | 0.000 % |
410.94/411.27 c | 217401 | 958 90841 386353 | 106388 98170 55 | 0.000 % |
419.53/419.90 c | 218454 | 958 90841 386353 | 106388 99223 55 | 0.000 % |
427.93/428.29 c | 219614 | 958 90841 386353 | 106388 100383 56 | 0.000 % |
440.73/441.02 c | 220889 | 958 90841 386353 | 100769 64209 55 | 0.000 % |
445.22/445.50 c | 222289 | 958 90841 386353 | 100769 65609 55 | 0.000 % |
453.72/454.03 c | 223829 | 958 90841 386353 | 100769 67149 55 | 0.000 % |
461.62/461.93 c | 225526 | 958 90841 386353 | 100769 68846 55 | 0.000 % |
468.61/468.99 c | 227391 | 958 90841 386353 | 100769 70711 55 | 0.000 % |
479.61/479.97 c | 229442 | 958 90841 386353 | 100769 72762 56 | 0.000 % |
488.10/488.48 c | 231695 | 958 90841 386353 | 73320 48406 56 | 0.000 % |
488.50/488.80 c | 231795 | 958 90841 386353 | 73320 48506 56 | 0.000 % |
488.70/489.05 c | 231906 | 958 90841 386353 | 73320 48617 56 | 0.000 % |
489.10/489.43 c | 232027 | 958 90841 386353 | 73320 48738 56 | 0.000 % |
489.30/489.63 c | 232160 | 958 90841 386353 | 73320 48871 56 | 0.000 % |
489.90/490.24 c | 232309 | 958 90841 386353 | 73320 49020 56 | 0.000 % |
490.30/490.68 c | 232469 | 958 90841 386353 | 73320 49180 56 | 0.000 % |
490.90/491.22 c | 232646 | 958 90841 386353 | 73320 49357 56 | 0.000 % |
491.50/491.87 c | 232841 | 958 90841 386353 | 73320 49552 56 | 0.000 % |
492.30/492.70 c | 233053 | 958 90841 386353 | 73320 49764 56 | 0.000 % |
493.20/493.51 c | 233287 | 958 90841 386353 | 73320 49998 56 | 0.000 % |
494.00/494.39 c | 233543 | 958 90841 386353 | 73320 50254 56 | 0.000 % |
494.30/494.65 c | 233825 | 958 90841 386353 | 73320 50536 56 | 0.000 % |
494.50/494.80 c | 234136 | 958 90841 386353 | 73320 50847 56 | 0.000 % |
494.90/495.24 c | 234478 | 958 90841 386353 | 73320 51189 56 | 0.000 % |
495.60/495.96 c | 234851 | 958 90841 386353 | 73320 51562 56 | 0.000 % |
496.20/496.58 c | 235262 | 958 90841 386353 | 73320 51973 56 | 0.000 % |
496.80/497.11 c | 235711 | 958 90841 386353 | 73320 52422 56 | 0.000 % |
497.20/497.52 c | 236207 | 958 90841 386353 | 73320 52918 55 | 0.000 % |
497.70/498.03 c | 236749 | 958 90841 386353 | 73320 53460 55 | 0.000 % |
498.40/498.73 c | 237348 | 958 90841 386353 | 73320 54059 55 | 0.000 % |
498.89/499.29 c | 238003 | 958 90841 386353 | 73320 54714 55 | 0.001 % |
500.89/501.27 c | 238724 | 958 90841 386353 | 73320 55435 55 | 0.000 % |
502.79/503.11 c | 239517 | 958 90841 386353 | 73320 56228 55 | 0.000 % |
504.29/504.64 c | 240389 | 958 90841 386353 | 2147483647 57100 55 | 0.000 % |
506.09/506.45 c | 241351 | 958 90841 386353 | 2147483647 58062 55 | 0.000 % |
507.29/507.62 c | 242404 | 958 90841 386353 | 2147483647 59115 55 | 0.000 % |
509.29/509.62 c | 243564 | 958 90841 386353 | 2147483647 60275 55 | 0.000 % |
510.49/510.89 c | 244837 | 958 90841 386353 | 2147483647 61548 56 | 0.000 % |
511.29/511.67 c | 246238 | 958 90841 386353 | 2147483647 62949 56 | 0.000 % |
512.30/512.66 c | 247778 | 958 90841 386353 | 2147483647 64489 55 | 0.000 % |
513.69/514.04 c | 249472 | 958 90841 386353 | 2147483647 66183 55 | 0.001 % |
515.09/515.48 c | 251338 | 958 90841 386353 | 2147483647 68049 54 | 0.000 % |
516.79/517.14 c | 253387 | 958 90841 386353 | 2147483647 70098 53 | 0.000 % |
518.49/518.89 c | 255640 | 958 90841 386353 | 2147483647 72351 53 | 0.000 % |
522.39/522.72 c | 258120 | 958 90841 386353 | 2147483647 74831 53 | 0.000 % |
522.59/522.93 c | 258220 | 958 90841 386353 | 2147483647 74931 53 | 0.000 % |
522.69/523.07 c | 258330 | 958 90841 386353 | 2147483647 75041 53 | 0.000 % |
522.89/523.23 c | 258451 | 958 90841 386353 | 2147483647 75162 53 | 0.000 % |
523.19/523.50 c | 258585 | 958 90841 386353 | 2147483647 75296 53 | 0.000 % |
523.59/523.94 c | 258731 | 958 90841 386353 | 2147483647 75442 53 | 0.000 % |
523.69/524.06 c | 258892 | 958 90841 386353 | 2147483647 75603 53 | 0.000 % |
524.09/524.43 c | 259068 | 958 90841 386353 | 2147483647 75779 53 | 0.000 % |
524.48/524.82 c | 259261 | 958 90841 386353 | 2147483647 75972 53 | 0.000 % |
524.88/525.22 c | 259473 | 958 90841 386353 | 2147483647 76184 53 | 0.000 % |
525.08/525.43 c | 259707 | 958 90841 386353 | 2147483647 76418 53 | 0.000 % |
525.78/526.18 c | 259964 | 958 90841 386353 | 2147483647 76675 53 | 0.001 % |
526.59/526.91 c | 260247 | 958 90841 386353 | 2147483647 76958 53 | 0.000 % |
527.18/527.51 c | 260556 | 958 90841 386353 | 2147483647 77267 53 | 0.000 % |
527.48/527.87 c | 260895 | 958 90841 386353 | 2147483647 77606 53 | 0.000 % |
527.78/528.15 c | 261267 | 958 90841 386353 | 2147483647 77978 53 | 0.000 % |
527.98/528.39 c | 261680 | 958 90841 386353 | 2147483647 78391 53 | 0.000 % |
528.28/528.69 c | 262130 | 958 90841 386353 | 2147483647 78841 53 | 0.000 % |
528.48/528.89 c | 262624 | 958 90841 386353 | 2147483647 79335 53 | 0.000 % |
528.69/529.10 c | 263167 | 958 90841 386353 | 2147483647 79878 54 | 0.000 % |
528.98/529.33 c | 263764 | 958 90841 386353 | 2147483647 80475 54 | 0.000 % |
529.18/529.58 c | 264422 | 958 90841 386353 | 2147483647 81133 54 | 0.000 % |
529.48/529.89 c | 265142 | 958 90841 386353 | 2147483647 81853 54 | 0.000 % |
529.98/530.36 c | 265935 | 958 90841 386353 | 2147483647 82646 54 | 0.000 % |
530.58/530.94 c | 266806 | 958 90841 386353 | 2147483647 83517 54 | 0.000 % |
531.28/531.66 c | 267764 | 958 90841 386353 | 2147483647 84475 54 | 0.000 % |
531.98/532.37 c | 268817 | 958 90841 386353 | 2147483647 85528 54 | 0.000 % |
532.68/533.04 c | 269975 | 958 90841 386353 | 2147483647 86686 55 | 0.000 % |
533.38/533.75 c | 271251 | 958 90841 386353 | 2147483647 87962 55 | 0.000 % |
534.28/534.69 c | 272653 | 958 90841 386353 | 2147483647 89364 55 | 0.000 % |
537.48/537.88 c | 274196 | 958 90841 386353 | 2147483647 90907 55 | 0.001 % |
542.48/542.81 c | 275890 | 958 90841 386353 | 2147483647 92601 55 | 0.000 % |
546.48/546.81 c | 277755 | 958 90841 386353 | 2147483647 94466 55 | 0.001 % |
551.88/552.25 c | 279804 | 958 90841 386353 | 2147483647 96515 55 | 0.000 % |
556.98/557.34 c | 282057 | 958 90841 386353 | 2147483647 98768 55 | 0.000 % |
565.27/565.68 c | 284537 | 958 90841 386353 | 2147483647 101248 55 | 0.000 % |
573.97/574.31 c | 287264 | 958 90841 386353 | 2147483647 103975 56 | 0.000 % |
574.37/574.76 c | 287365 | 958 90841 386353 | 2147483647 104076 56 | 0.000 % |
574.67/575.05 c | 287476 | 958 90841 386353 | 2147483647 104187 56 | 0.000 % |
574.97/575.39 c | 287599 | 958 90841 386353 | 2147483647 104310 56 | 0.000 % |
575.76/576.16 c | 287732 | 958 90841 386353 | 2147483647 104443 56 | 0.000 % |
576.16/576.56 c | 287880 | 958 90841 386353 | 2147483647 104591 57 | 0.000 % |
576.86/577.25 c | 288041 | 958 90841 386353 | 2147483647 104752 57 | 0.000 % |
577.07/577.48 c | 288219 | 958 90841 386353 | 2147483647 104930 57 | 0.000 % |
577.17/577.58 c | 288412 | 958 90841 386353 | 2147483647 105123 57 | 0.000 % |
577.46/577.88 c | 288628 | 958 90841 386353 | 2147483647 105339 57 | 0.000 % |
577.66/578.09 c | 288861 | 958 90841 386353 | 2147483647 105572 57 | 0.001 % |
577.96/578.31 c | 289117 | 958 90841 386353 | 2147483647 105828 57 | 0.000 % |
578.06/578.48 c | 289398 | 958 90841 386353 | 2147483647 106109 57 | 0.000 % |
578.36/578.78 c | 289708 | 958 90841 386353 | 2147483647 106419 57 | 0.000 % |
578.66/579.07 c | 290047 | 958 90841 386353 | 2147483647 106758 57 | 0.000 % |
579.06/579.41 c | 290419 | 958 90841 386353 | 2147483647 107130 57 | 0.000 % |
581.06/581.49 c | 290832 | 958 90841 386353 | 2147483647 107543 57 | 0.000 % |
582.16/582.57 c | 291281 | 958 90841 386353 | 2147483647 107992 57 | 0.000 % |
584.36/584.72 c | 291778 | 958 90841 386353 | 2147483647 108489 57 | 0.000 % |
585.36/585.72 c | 292322 | 958 90841 386353 | 2147483647 109033 57 | 0.000 % |
587.96/588.33 c | 292918 | 958 90841 386353 | 2147483647 109629 57 | 0.000 % |
590.96/591.35 c | 293573 | 958 90841 386353 | 2147483647 110284 57 | 0.000 % |
592.16/592.52 c | 294293 | 958 90841 386353 | 2147483647 111004 57 | 0.000 % |
594.35/594.79 c | 295085 | 958 90841 386353 | 2147483647 111796 57 | 0.000 % |
597.35/597.73 c | 295956 | 958 90841 386353 | 2147483647 112667 57 | 0.000 % |
600.45/600.84 c | 296914 | 958 90841 386353 | 2147483647 113625 57 | 0.000 % |
603.15/603.58 c | 297967 | 958 90841 386353 | 2147483647 114678 57 | 0.000 % |
606.35/606.71 c | 299126 | 958 90841 386353 | 2147483647 115837 57 | 0.000 % |
611.05/611.47 c | 300399 | 958 90841 386353 | 116713 98234 58 | 0.000 % |
613.94/614.33 c | 301799 | 958 90841 386353 | 116713 99634 58 | 0.000 % |
617.85/618.27 c | 303341 | 958 90841 386353 | 116713 101176 58 | 0.000 % |
622.33/622.78 c | 305035 | 958 90841 386353 | 116713 102870 58 | 0.000 % |
627.13/627.56 c | 306899 | 958 90841 386353 | 116713 104734 59 | 0.000 % |
632.43/632.86 c | 308950 | 958 90841 386353 | 116713 106785 59 | 0.000 % |
637.43/637.86 c | 311204 | 958 90841 386353 | 107837 86825 60 | 0.000 % |
642.53/642.96 c | 313683 | 958 90841 386353 | 107837 89304 60 | 0.000 % |
648.42/648.83 c | 316409 | 958 90841 386353 | 107837 92030 60 | 0.000 % |
655.13/655.52 c | 319406 | 958 90841 386353 | 107837 95027 60 | 0.000 % |
655.23/655.69 c | 319507 | 958 90841 386353 | 107837 95128 60 | 0.000 % |
655.62/656.07 c | 319619 | 958 90841 386353 | 107837 95240 61 | 0.000 % |
655.82/656.24 c | 319740 | 958 90841 386353 | 107837 95361 61 | 0.000 % |
656.12/656.56 c | 319874 | 958 90841 386353 | 107837 95495 61 | 0.000 % |
656.42/656.83 c | 320020 | 958 90841 386353 | 95621 95641 61 | 0.000 % |
656.92/657.38 c | 320183 | 958 90841 386353 | 95621 74580 62 | 0.000 % |
657.22/657.67 c | 320360 | 958 90841 386353 | 95621 74757 62 | 0.000 % |
657.43/657.89 c | 320553 | 958 90841 386353 | 95621 74950 62 | 0.000 % |
657.72/658.16 c | 320765 | 958 90841 386353 | 95621 75162 62 | 0.000 % |
658.02/658.44 c | 320999 | 958 90841 386353 | 95621 75396 62 | 0.000 % |
658.32/658.73 c | 321256 | 958 90841 386353 | 95621 75653 62 | 0.000 % |
658.82/659.23 c | 321537 | 958 90841 386353 | 95621 75934 62 | 0.000 % |
659.32/659.71 c | 321846 | 958 90841 386353 | 95621 76243 62 | 0.000 % |
659.92/660.37 c | 322187 | 958 90841 386353 | 95621 76584 62 | 0.000 % |
660.52/660.93 c | 322559 | 958 90841 386353 | 95621 76956 62 | 0.000 % |
660.81/661.26 c | 322968 | 958 90841 386353 | 95621 77365 62 | 0.000 % |
661.72/662.12 c | 323418 | 958 90841 386353 | 95621 77815 62 | 0.000 % |
662.41/662.80 c | 323911 | 958 90841 386353 | 95621 78308 62 | 0.000 % |
662.92/663.38 c | 324453 | 958 90841 386353 | 95621 78850 62 | 0.000 % |
663.81/664.22 c | 325050 | 958 90841 386353 | 95621 79447 62 | 0.000 % |
665.11/665.57 c | 325707 | 958 90841 386353 | 95621 80104 62 | 0.000 % |
666.91/667.31 c | 326429 | 958 90841 386353 | 95621 80826 63 | 0.000 % |
668.61/669.04 c | 327223 | 958 90841 386353 | 95621 81620 63 | 0.000 % |
670.00/670.44 c | 328094 | 958 90841 386353 | 95621 82491 63 | 0.000 % |
671.30/671.71 c | 329052 | 958 90841 386353 | 95621 83449 63 | 0.000 % |
673.10/673.51 c | 330107 | 958 90841 386353 | 2147483647 84504 63 | 0.000 % |
674.70/675.15 c | 331265 | 958 90841 386353 | 2147483647 85662 63 | 0.000 % |
676.50/676.96 c | 332539 | 958 90841 386353 | 2147483647 86936 63 | 0.000 % |
679.10/679.59 c | 333941 | 958 90841 386353 | 2147483647 88338 63 | 0.000 % |
682.00/682.42 c | 335482 | 958 90841 386353 | 2147483647 89879 63 | 0.000 % |
684.60/685.05 c | 337178 | 958 90841 386353 | 2147483647 91575 63 | 0.000 % |
689.60/690.06 c | 339043 | 958 90841 386353 | 2147483647 93440 64 | 0.000 % |
692.99/693.48 c | 341093 | 958 90841 386353 | 2147483647 95490 64 | 0.000 % |
697.59/698.01 c | 343347 | 958 90841 386353 | 2147483647 97744 64 | 0.000 % |
701.99/702.44 c | 345825 | 958 90841 386353 | 2147483647 100222 65 | 0.000 % |
707.09/707.53 c | 348550 | 958 90841 386353 | 2147483647 102947 65 | 0.000 % |
713.68/714.14 c | 351547 | 958 90841 386353 | 2147483647 105944 65 | 0.000 % |
719.88/720.35 c | 354844 | 958 90841 386353 | 2147483647 109241 65 | 0.000 % |
720.18/720.69 c | 354944 | 958 90841 386353 | 2147483647 109341 65 | 0.000 % |
720.48/720.97 c | 355056 | 958 90841 386353 | 2147483647 109453 65 | 0.000 % |
720.78/721.28 c | 355178 | 958 90841 386353 | 2147483647 109575 65 | 0.000 % |
721.09/721.53 c | 355311 | 958 90841 386353 | 2147483647 109708 65 | 0.000 % |
721.38/721.85 c | 355457 | 958 90841 386353 | 2147483647 109854 65 | 0.000 % |
721.68/722.17 c | 355618 | 958 90841 386353 | 2147483647 110015 65 | 0.000 % |
722.19/722.60 c | 355796 | 958 90841 386353 | 2147483647 110193 65 | 0.000 % |
722.48/722.98 c | 355990 | 958 90841 386353 | 2147483647 110387 65 | 0.000 % |
723.29/723.72 c | 356204 | 958 90841 386353 | 2147483647 110601 66 | 0.000 % |
723.88/724.31 c | 356437 | 958 90841 386353 | 2147483647 110834 66 | 0.000 % |
724.48/724.97 c | 356695 | 958 90841 386353 | 2147483647 111092 66 | 0.000 % |
725.27/725.74 c | 356979 | 958 90841 386353 | 2147483647 111376 66 | 0.000 % |
725.98/726.43 c | 357288 | 958 90841 386353 | 2147483647 111685 66 | 0.000 % |
726.97/727.46 c | 357627 | 958 90841 386353 | 2147483647 112024 66 | 0.000 % |
728.17/728.63 c | 358001 | 958 90841 386353 | 2147483647 112398 66 | 0.000 % |
729.07/729.60 c | 358410 | 958 90841 386353 | 2147483647 112807 66 | 0.000 % |
730.37/730.88 c | 358859 | 958 90841 386353 | 2147483647 113256 66 | 0.000 % |
731.67/732.10 c | 359357 | 958 90841 386353 | 2147483647 113754 66 | 0.000 % |
733.07/733.50 c | 359900 | 958 90841 386353 | 2147483647 114297 66 | 0.000 % |
734.27/734.76 c | 360497 | 958 90841 386353 | 2147483647 114894 66 | 0.000 % |
735.98/736.45 c | 361152 | 958 90841 386353 | 2147483647 115549 66 | 0.000 % |
737.97/738.40 c | 361872 | 958 90841 386353 | 2147483647 116269 66 | 0.000 % |
739.88/740.33 c | 362666 | 958 90841 386353 | 2147483647 117063 66 | 0.000 % |
741.98/742.48 c | 363537 | 958 90841 386353 | 2147483647 117934 66 | 0.000 % |
744.37/744.87 c | 364497 | 958 90841 386353 | 2147483647 118894 66 | 0.000 % |
746.87/747.37 c | 365550 | 958 90841 386353 | 2147483647 119947 66 | 0.000 % |
749.57/750.04 c | 366710 | 958 90841 386353 | 2147483647 121107 66 | 0.000 % |
752.97/753.41 c | 367983 | 958 90841 386353 | 2147483647 122380 66 | 0.000 % |
756.76/757.29 c | 369384 | 958 90841 386353 | 2147483647 123781 66 | 0.000 % |
761.06/761.51 c | 370925 | 958 90841 386353 | 2147483647 125322 66 | 0.000 % |
765.25/765.75 c | 372619 | 958 90841 386353 | 2147483647 127016 66 | 0.000 % |
771.66/772.13 c | 374482 | 958 90841 386353 | 2147483647 128879 66 | 0.000 % |
775.36/775.85 c | 376533 | 958 90841 386353 | 2147483647 130930 66 | 0.000 % |
782.35/782.81 c | 378788 | 958 90841 386353 | 2147483647 133185 67 | 0.000 % |
789.15/789.70 c | 381266 | 958 90841 386353 | 134397 106684 70 | 0.000 % |
796.54/797.00 c | 383991 | 958 90841 386353 | 134397 109409 70 | 0.000 % |
802.13/802.66 c | 386989 | 958 90841 386353 | 134397 112407 70 | 0.000 % |
810.93/811.50 c | 390286 | 958 90841 386353 | 2147483647 115704 70 | 0.000 % |
820.92/821.47 c | 393911 | 958 90841 386353 | 2147483647 119329 70 | 0.000 % |
821.22/821.72 c | 394013 | 958 90841 386353 | 2147483647 119431 70 | 0.000 % |
821.72/822.20 c | 394123 | 958 90841 386353 | 2147483647 119541 70 | 0.000 % |
822.12/822.63 c | 394245 | 958 90841 386353 | 2147483647 119663 70 | 0.000 % |
822.62/823.18 c | 394378 | 958 90841 386353 | 2147483647 119796 70 | 0.000 % |
823.02/823.54 c | 394526 | 958 90841 386353 | 2147483647 119944 70 | 0.000 % |
823.52/824.01 c | 394686 | 958 90841 386353 | 2147483647 120104 70 | 0.000 % |
823.82/824.34 c | 394862 | 958 90841 386353 | 2147483647 120280 70 | 0.000 % |
824.22/824.75 c | 395055 | 958 90841 386353 | 2147483647 120473 70 | 0.000 % |
825.02/825.58 c | 395267 | 958 90841 386353 | 2147483647 120685 70 | 0.000 % |
825.72/826.26 c | 395501 | 958 90841 386353 | 2147483647 120919 70 | 0.000 % |
826.62/827.15 c | 395759 | 958 90841 386353 | 2147483647 121177 70 | 0.000 % |
827.22/827.79 c | 396042 | 958 90841 386353 | 2147483647 121460 70 | 0.000 % |
828.02/828.51 c | 396351 | 958 90841 386353 | 2147483647 121769 70 | 0.000 % |
828.62/829.17 c | 396690 | 958 90841 386353 | 2147483647 122108 70 | 0.000 % |
829.42/829.92 c | 397062 | 958 90841 386353 | 2147483647 122480 70 | 0.000 % |
830.61/831.12 c | 397471 | 958 90841 386353 | 2147483647 122889 70 | 0.000 % |
831.81/832.30 c | 397920 | 958 90841 386353 | 2147483647 123338 70 | 0.000 % |
832.91/833.46 c | 398413 | 958 90841 386353 | 2147483647 123831 70 | 0.000 % |
834.51/835.08 c | 398957 | 958 90841 386353 | 2147483647 124375 70 | 0.000 % |
836.31/836.81 c | 399556 | 958 90841 386353 | 2147483647 124974 70 | 0.000 % |
837.81/838.30 c | 400211 | 958 90841 386353 | 125419 125629 70 | 0.000 % |
839.82/840.33 c | 400931 | 958 90841 386353 | 125419 111127 70 | 0.000 % |
841.91/842.45 c | 401724 | 958 90841 386353 | 125419 111920 70 | 0.000 % |
844.31/844.81 c | 402597 | 958 90841 386353 | 125419 112793 70 | 0.000 % |
846.41/846.90 c | 403557 | 958 90841 386353 | 125419 113753 70 | 0.000 % |
849.30/849.86 c | 404610 | 958 90841 386353 | 125419 114806 70 | 0.000 % |
852.80/853.38 c | 405768 | 958 90841 386353 | 125419 115964 70 | 0.000 % |
857.70/858.29 c | 407041 | 958 90841 386353 | 125419 117237 70 | 0.000 % |
862.50/863.09 c | 408441 | 958 90841 386353 | 125419 118637 70 | 0.000 % |
866.10/866.66 c | 409981 | 958 90841 386353 | 125419 120177 70 | 0.000 % |
870.90/871.41 c | 411676 | 958 90841 386353 | 120200 99663 70 | 0.000 % |
875.39/875.92 c | 413539 | 958 90841 386353 | 120200 101526 70 | 0.000 % |
881.09/881.60 c | 415588 | 958 90841 386353 | 120200 103575 70 | 0.000 % |
885.60/886.11 c | 417841 | 958 90841 386353 | 120200 105828 70 | 0.000 % |
892.09/892.68 c | 420319 | 958 90841 386353 | 107988 93311 70 | 0.000 % |
897.59/898.10 c | 423044 | 958 90841 386353 | 107988 96036 70 | 0.000 % |
902.39/902.90 c | 426044 | 958 90841 386353 | 107988 99036 70 | 0.000 % |
910.58/911.17 c | 429340 | 958 90841 386353 | 107988 102332 70 | 0.000 % |
916.68/917.27 c | 432966 | 958 90841 386353 | 2147483647 105958 70 | 0.000 % |
929.18/929.75 c | 436954 | 958 90841 386353 | 2147483647 109946 70 | 0.000 % |
929.58/930.17 c | 437054 | 958 90841 386353 | 2147483647 110046 70 | 0.000 % |
929.98/930.59 c | 437164 | 958 90841 386353 | 2147483647 110156 70 | 0.000 % |
930.38/930.97 c | 437285 | 958 90841 386353 | 2147483647 110277 70 | 0.000 % |
930.88/931.43 c | 437418 | 958 90841 386353 | 2147483647 110410 70 | 0.000 % |
931.28/931.84 c | 437564 | 958 90841 386353 | 2147483647 110556 70 | 0.000 % |
931.78/932.40 c | 437726 | 958 90841 386353 | 2147483647 110718 70 | 0.000 % |
932.58/933.12 c | 437903 | 958 90841 386353 | 2147483647 110895 70 | 0.000 % |
933.28/933.88 c | 438100 | 958 90841 386353 | 2147483647 111092 70 | 0.000 % |
934.07/934.60 c | 438313 | 958 90841 386353 | 2147483647 111305 70 | 0.000 % |
934.77/935.31 c | 438548 | 958 90841 386353 | 2147483647 111540 70 | 0.000 % |
935.57/936.20 c | 438805 | 958 90841 386353 | 2147483647 111797 70 | 0.000 % |
936.37/936.96 c | 439086 | 958 90841 386353 | 2147483647 112078 70 | 0.000 % |
937.57/938.12 c | 439397 | 958 90841 386353 | 2147483647 112389 70 | 0.000 % |
938.57/939.18 c | 439738 | 958 90841 386353 | 2147483647 112730 70 | 0.000 % |
939.47/940.09 c | 440111 | 958 90841 386353 | 2147483647 113103 70 | 0.000 % |
941.17/941.73 c | 440520 | 958 90841 386353 | 2147483647 113512 70 | 0.000 % |
942.96/943.51 c | 440969 | 958 90841 386353 | 2147483647 113961 70 | 0.000 % |
945.16/945.78 c | 441463 | 958 90841 386353 | 2147483647 114455 70 | 0.000 % |
947.26/947.81 c | 442005 | 958 90841 386353 | 2147483647 114997 70 | 0.000 % |
949.66/950.27 c | 442602 | 958 90841 386353 | 2147483647 115594 70 | 0.000 % |
952.86/953.47 c | 443259 | 958 90841 386353 | 2147483647 116251 70 | 0.000 % |
956.86/957.46 c | 443979 | 958 90841 386353 | 2147483647 116971 70 | 0.000 % |
960.36/960.94 c | 444771 | 958 90841 386353 | 2147483647 117763 70 | 0.000 % |
964.16/964.76 c | 445642 | 958 90841 386353 | 2147483647 118634 70 | 0.000 % |
968.05/968.68 c | 446601 | 958 90841 386353 | 2147483647 119593 70 | 0.000 % |
972.86/973.48 c | 447654 | 958 90841 386353 | 2147483647 120646 70 | 0.000 % |
977.75/978.39 c | 448813 | 958 90841 386353 | 2147483647 121805 70 | 0.000 % |
982.85/983.42 c | 450086 | 958 90841 386353 | 122994 123078 70 | 0.000 % |
986.74/987.36 c | 451486 | 958 90841 386353 | 122994 93115 69 | 0.000 % |
991.04/991.66 c | 453026 | 958 90841 386353 | 122994 94655 69 | 0.000 % |
996.44/997.04 c | 454721 | 958 90841 386353 | 122994 96350 69 | 0.000 % |
1000.94/1001.55 c | 456585 | 958 90841 386353 | 122994 98214 69 | 0.000 % |
1008.33/1008.98 c | 458635 | 958 90841 386353 | 122994 100264 69 | 0.000 % |
1012.44/1013.08 c | 460890 | 958 90841 386353 | 101629 86545 68 | 0.000 % |
1020.33/1020.99 c | 463368 | 958 90841 386353 | 101629 89023 69 | 0.000 % |
1025.63/1026.25 c | 466093 | 958 90841 386353 | 101629 91748 69 | 0.000 % |
1035.02/1035.63 c | 469092 | 958 90841 386353 | 101629 94747 69 | 0.000 % |
1046.12/1046.77 c | 472388 | 958 90841 386353 | 95657 81341 69 | 0.000 % |
1055.11/1055.71 c | 476015 | 958 90841 386353 | 95657 84968 69 | 0.000 % |
1067.11/1067.70 c | 480003 | 958 90841 386353 | 88953 88956 70 | 0.000 % |
1071.50/1072.15 c | 484388 | 958 90841 386353 | 88953 78696 69 | 0.000 % |
1071.91/1072.51 c | 484488 | 958 90841 386353 | 88953 78796 69 | 0.000 % |
1072.10/1072.77 c | 484600 | 958 90841 386353 | 88953 78908 69 | 0.000 % |
1072.20/1072.88 c | 484721 | 958 90841 386353 | 88953 79029 69 | 0.000 % |
1072.50/1073.11 c | 484855 | 958 90841 386353 | 88953 79163 69 | 0.000 % |
1072.60/1073.24 c | 485001 | 958 90841 386353 | 88953 79309 69 | 0.000 % |
1072.80/1073.46 c | 485161 | 958 90841 386353 | 88953 79469 69 | 0.000 % |
1073.20/1073.82 c | 485340 | 958 90841 386353 | 88953 79648 69 | 0.000 % |
1073.50/1074.15 c | 485536 | 958 90841 386353 | 88953 79844 69 | 0.000 % |
1073.80/1074.44 c | 485749 | 958 90841 386353 | 88953 80057 69 | 0.000 % |
1074.11/1074.79 c | 485982 | 958 90841 386353 | 88953 80290 69 | 0.000 % |
1074.30/1074.97 c | 486238 | 958 90841 386353 | 88953 80546 69 | 0.000 % |
1074.80/1075.49 c | 486519 | 958 90841 386353 | 88953 80827 69 | 0.000 % |
1075.30/1075.92 c | 486830 | 958 90841 386353 | 88953 81138 69 | 0.000 % |
1075.70/1076.31 c | 487169 | 958 90841 386353 | 88953 81477 69 | 0.000 % |
1076.20/1076.83 c | 487543 | 958 90841 386353 | 88953 81851 69 | 0.000 % |
1076.80/1077.45 c | 487952 | 958 90841 386353 | 88953 82260 69 | 0.000 % |
1077.20/1077.89 c | 488403 | 958 90841 386353 | 88953 82711 69 | 0.000 % |
1077.80/1078.50 c | 488896 | 958 90841 386353 | 88953 83204 69 | 0.000 % |
1078.50/1079.12 c | 489440 | 958 90841 386353 | 88953 83748 69 | 0.000 % |
1079.10/1079.71 c | 490038 | 958 90841 386353 | 84309 84346 69 | 0.000 % |
1080.70/1081.32 c | 490693 | 958 90841 386353 | 84309 72248 69 | 0.000 % |
1081.60/1082.23 c | 491413 | 958 90841 386353 | 84309 72968 69 | 0.000 % |
1082.70/1083.36 c | 492205 | 958 90841 386353 | 84309 73760 69 | 0.000 % |
1083.80/1084.47 c | 493076 | 958 90841 386353 | 84309 74631 69 | 0.000 % |
1085.20/1085.84 c | 494034 | 958 90841 386353 | 84309 75589 69 | 0.000 % |
1086.70/1087.30 c | 495090 | 958 90841 386353 | 84309 76645 69 | 0.000 % |
1088.10/1088.71 c | 496248 | 958 90841 386353 | 84309 77803 68 | 0.000 % |
1089.90/1090.55 c | 497521 | 958 90841 386353 | 84309 79076 68 | 0.000 % |
1092.10/1092.74 c | 498921 | 958 90841 386353 | 84309 80476 68 | 0.000 % |
1095.09/1095.75 c | 500462 | 958 90841 386353 | 81555 67546 69 | 0.000 % |
1097.99/1098.66 c | 502156 | 958 90841 386353 | 81555 69240 68 | 0.000 % |
1101.39/1102.04 c | 504022 | 958 90841 386353 | 81555 71106 68 | 0.000 % |
1106.19/1106.80 c | 506071 | 958 90841 386353 | 81555 73155 68 | 0.000 % |
1111.89/1112.53 c | 508327 | 958 90841 386353 | 81555 75411 68 | 0.000 % |
1118.58/1119.28 c | 510805 | 958 90841 386353 | 77085 57080 66 | 0.000 % |
1124.68/1125.37 c | 513532 | 958 90841 386353 | 77085 59807 66 | 0.000 % |
1131.78/1132.41 c | 516529 | 958 90841 386353 | 77085 62804 65 | 0.000 % |
1142.97/1143.61 c | 519825 | 958 90841 386353 | 77085 66100 65 | 0.000 % |
1151.37/1152.05 c | 523451 | 958 90841 386353 | 66275 48209 62 | 0.000 % |
1164.76/1165.48 c | 527439 | 958 90841 386353 | 66275 52197 63 | 0.000 % |
1172.26/1172.99 c | 531824 | 958 90841 386353 | 54762 40786 61 | 0.000 % |
1183.65/1184.34 c | 536647 | 958 90841 386353 | 54762 45609 61 | 0.000 % |
1183.95/1184.64 c | 536747 | 958 90841 386353 | 54762 45709 61 | 0.000 % |
1184.15/1184.88 c | 536861 | 958 90841 386353 | 54762 45823 61 | 0.000 % |
1184.25/1184.96 c | 536982 | 958 90841 386353 | 54762 45944 61 | 0.000 % |
1184.85/1185.52 c | 537115 | 958 90841 386353 | 54762 46077 61 | 0.000 % |
1185.45/1186.10 c | 537265 | 958 90841 386353 | 54762 46227 61 | 0.000 % |
1185.75/1186.41 c | 537426 | 958 90841 386353 | 54762 46388 61 | 0.000 % |
1185.95/1186.64 c | 537602 | 958 90841 386353 | 54762 46564 61 | 0.000 % |
1186.25/1186.93 c | 537796 | 958 90841 386353 | 54762 46758 61 | 0.000 % |
1187.25/1188.00 c | 538009 | 958 90841 386353 | 54762 46971 61 | 0.000 % |
1187.75/1188.48 c | 538242 | 958 90841 386353 | 54762 47204 61 | 0.000 % |
1188.15/1188.84 c | 538498 | 958 90841 386353 | 54762 47460 61 | 0.000 % |
1188.85/1189.50 c | 538779 | 958 90841 386353 | 54762 47741 61 | 0.000 % |
1189.55/1190.26 c | 539088 | 958 90841 386353 | 54762 48050 61 | 0.000 % |
1189.95/1190.62 c | 539429 | 958 90841 386353 | 54762 48391 61 | 0.000 % |
1191.05/1191.70 c | 539802 | 958 90841 386353 | 54762 48764 61 | 0.000 % |
1191.55/1192.25 c | 540216 | 958 90841 386353 | 48963 42946 60 | 0.000 % |
1191.85/1192.58 c | 540665 | 958 90841 386353 | 48963 43395 60 | 0.000 % |
1192.34/1193.03 c | 541158 | 958 90841 386353 | 48963 43888 60 | 0.000 % |
1192.75/1193.48 c | 541700 | 958 90841 386353 | 48963 44430 59 | 0.001 % |
1193.44/1194.14 c | 542298 | 958 90841 386353 | 48963 45028 59 | 0.000 % |
1193.95/1194.66 c | 542953 | 958 90841 386353 | 48963 45683 58 | 0.000 % |
1194.54/1195.21 c | 543674 | 958 90841 386353 | 48963 46404 58 | 0.000 % |
1195.24/1195.99 c | 544467 | 958 90841 386353 | 48963 47197 58 | 0.000 % |
1196.15/1196.88 c | 545338 | 958 90841 386353 | 48963 48068 57 | 0.000 % |
1197.25/1198.00 c | 546296 | 958 90841 386353 | 48963 49026 57 | 0.000 % |
1199.45/1200.13 c | 547349 | 958 90841 386353 | 48963 45177 56 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833915-1242826139/watcher-1833915-1242826139 -o /tmp/evaluation-result-1833915-1242826139/solver-1833915-1242826139 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833915-1242826139.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 16719
/proc/meminfo: memFree=1845256/2055920 swapFree=4120716/4192956
[pid=16719] ppid=16717 vsize=5356 CPUtime=0
/proc/16719/stat : 16719 (SatELiteGTI) S 16717 16719 16542 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310646850 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16719/statm: 1339 237 197 169 0 50 0
[pid=16723] ppid=16719 vsize=872 CPUtime=0
/proc/16723/stat : 16723 (SatELite_releas) R 16719 16719 16542 0 -1 4194304 86 0 0 0 0 0 0 0 20 0 1 0 310646851 892928 72 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 0 0 0
/proc/16723/statm: 218 73 49 173 0 43 0
[startup+0.0678751 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 16719
/proc/meminfo: memFree=1845256/2055920 swapFree=4120716/4192956
[pid=16719] ppid=16717 vsize=5356 CPUtime=0
/proc/16719/stat : 16719 (SatELiteGTI) S 16717 16719 16542 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310646850 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16719/statm: 1339 237 197 169 0 50 0
[pid=16723] ppid=16719 vsize=7052 CPUtime=0.05
/proc/16723/stat : 16723 (SatELite_releas) R 16719 16719 16542 0 -1 4194304 1629 0 0 0 5 0 0 0 20 0 1 0 310646851 7221248 1615 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 0 0 0
/proc/16723/statm: 1763 1615 76 173 0 1588 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12408
[startup+0.101872 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 16719
/proc/meminfo: memFree=1845256/2055920 swapFree=4120716/4192956
[pid=16719] ppid=16717 vsize=5356 CPUtime=0
/proc/16719/stat : 16719 (SatELiteGTI) S 16717 16719 16542 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310646850 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16719/statm: 1339 237 197 169 0 50 0
[pid=16723] ppid=16719 vsize=7848 CPUtime=0.08
/proc/16723/stat : 16723 (SatELite_releas) R 16719 16719 16542 0 -1 4194304 1811 0 0 0 8 0 0 0 20 0 1 0 310646851 8036352 1797 1992294400 134512640 135223648 4294956128 18446744073709551615 134585461 0 0 4096 3 0 0 0 17 0 0 0
/proc/16723/statm: 1962 1798 76 173 0 1787 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13204
[startup+0.301888 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 16719
/proc/meminfo: memFree=1845256/2055920 swapFree=4120716/4192956
[pid=16719] ppid=16717 vsize=5356 CPUtime=0
/proc/16719/stat : 16719 (SatELiteGTI) S 16717 16719 16542 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310646850 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16719/statm: 1339 237 197 169 0 50 0
[pid=16723] ppid=16719 vsize=10368 CPUtime=0.28
/proc/16723/stat : 16723 (SatELite_releas) R 16719 16719 16542 0 -1 4194304 2410 0 0 0 27 1 0 0 22 0 1 0 310646851 10616832 2396 1992294400 134512640 135223648 4294956128 18446744073709551615 134585563 0 0 4096 3 0 0 0 17 0 0 0
/proc/16723/statm: 2592 2396 76 173 0 2417 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 15724
[startup+0.701929 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 16719
/proc/meminfo: memFree=1845256/2055920 swapFree=4120716/4192956
[pid=16719] ppid=16717 vsize=5356 CPUtime=0
/proc/16719/stat : 16719 (SatELiteGTI) S 16717 16719 16542 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310646850 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16719/statm: 1339 237 197 169 0 50 0
[pid=16723] ppid=16719 vsize=9604 CPUtime=0.68
/proc/16723/stat : 16723 (SatELite_releas) R 16719 16719 16542 0 -1 4194304 2412 0 0 0 67 1 0 0 25 0 1 0 310646851 9834496 2219 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 0 0 0
/proc/16723/statm: 2401 2219 77 173 0 2226 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 14960
[startup+1.50201 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 16725
/proc/meminfo: memFree=1836920/2055920 swapFree=4120716/4192956
[pid=16719] ppid=16717 vsize=5356 CPUtime=0.76
/proc/16719/stat : 16719 (SatELiteGTI) S 16717 16719 16542 0 -1 4194304 336 2663 0 0 0 0 74 2 15 0 1 0 310646850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16719/statm: 1339 239 197 169 0 50 0
[pid=16725] ppid=16719 vsize=7092 CPUtime=0.71
/proc/16725/stat : 16725 (minisat_static) R 16719 16719 16542 0 -1 4194304 1673 0 0 0 71 0 0 0 25 0 1 0 310646928 7262208 1659 1992294400 134512640 135215339 4294956240 18446744073709551615 134527378 0 0 4096 3 0 0 0 17 0 0 0
/proc/16725/statm: 1773 1659 77 171 0 1600 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12448
[startup+3.10117 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 16725
/proc/meminfo: memFree=1835512/2055920 swapFree=4120716/4192956
[pid=16719] ppid=16717 vsize=5356 CPUtime=0.76
/proc/16719/stat : 16719 (SatELiteGTI) S 16717 16719 16542 0 -1 4194304 336 2663 0 0 0 0 74 2 15 0 1 0 310646850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16719/statm: 1339 239 197 169 0 50 0
[pid=16725] ppid=16719 vsize=8432 CPUtime=2.31
/proc/16725/stat : 16725 (minisat_static) R 16719 16719 16542 0 -1 4194304 1989 0 0 0 229 2 0 0 25 0 1 0 310646928 8634368 1975 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16725/statm: 2108 1975 77 171 0 1935 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 13788
[startup+6.3015 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 16725
/proc/meminfo: memFree=1833848/2055920 swapFree=4120716/4192956
[pid=16719] ppid=16717 vsize=5356 CPUtime=0.76
/proc/16719/stat : 16719 (SatELiteGTI) S 16717 16719 16542 0 -1 4194304 336 2663 0 0 0 0 74 2 15 0 1 0 310646850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16719/statm: 1339 239 197 169 0 50 0
[pid=16725] ppid=16719 vsize=10304 CPUtime=5.5
/proc/16725/stat : 16725 (minisat_static) R 16719 16719 16542 0 -1 4194304 2473 0 0 0 548 2 0 0 25 0 1 0 310646928 10551296 2459 1992294400 134512640 135215339 4294956240 18446744073709551615 134538059 0 0 4096 3 0 0 0 17 0 0 0
/proc/16725/statm: 2576 2459 77 171 0 2403 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 15660
[startup+12.7011 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 16725
/proc/meminfo: memFree=1829304/2055920 swapFree=4120716/4192956
[pid=16719] ppid=16717 vsize=5356 CPUtime=0.76
/proc/16719/stat : 16719 (SatELiteGTI) S 16717 16719 16542 0 -1 4194304 336 2663 0 0 0 0 74 2 15 0 1 0 310646850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16719/statm: 1339 239 197 169 0 50 0
[pid=16725] ppid=16719 vsize=14108 CPUtime=11.89
/proc/16725/stat : 16725 (minisat_static) R 16719 16719 16542 0 -1 4194304 3416 0 0 0 1186 3 0 0 25 0 1 0 310646928 14446592 3402 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/16725/statm: 3527 3402 77 171 0 3354 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 19464
[startup+25.5024 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 16725
/proc/meminfo: memFree=1825016/2055920 swapFree=4120716/4192956
[pid=16719] ppid=16717 vsize=5356 CPUtime=0.76
/proc/16719/stat : 16719 (SatELiteGTI) S 16717 16719 16542 0 -1 4194304 336 2663 0 0 0 0 74 2 15 0 1 0 310646850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16719/statm: 1339 239 197 169 0 50 0
[pid=16725] ppid=16719 vsize=18448 CPUtime=24.68
/proc/16725/stat : 16725 (minisat_static) R 16719 16719 16542 0 -1 4194304 4455 0 0 0 2464 4 0 0 25 0 1 0 310646928 18890752 4441 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16725/statm: 4612 4441 77 171 0 4439 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 23804
[startup+51.102 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 16725
/proc/meminfo: memFree=1818744/2055920 swapFree=4120716/4192956
[pid=16719] ppid=16717 vsize=5356 CPUtime=0.76
/proc/16719/stat : 16719 (SatELiteGTI) S 16717 16719 16542 0 -1 4194304 336 2663 0 0 0 0 74 2 15 0 1 0 310646850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16719/statm: 1339 239 197 169 0 50 0
[pid=16725] ppid=16719 vsize=24888 CPUtime=50.26
/proc/16725/stat : 16725 (minisat_static) R 16719 16719 16542 0 -1 4194304 6050 0 0 0 5020 6 0 0 25 0 1 0 310646928 25485312 6036 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16725/statm: 6222 6036 77 171 0 6049 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 30244
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 16725
/proc/meminfo: memFree=1810040/2055920 swapFree=4120716/4192956
[pid=16719] ppid=16717 vsize=5356 CPUtime=0.76
/proc/16719/stat : 16719 (SatELiteGTI) S 16717 16719 16542 0 -1 4194304 336 2663 0 0 0 0 74 2 15 0 1 0 310646850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16719/statm: 1339 239 197 169 0 50 0
[pid=16725] ppid=16719 vsize=33388 CPUtime=101.43
/proc/16725/stat : 16725 (minisat_static) R 16719 16719 16542 0 -1 4194304 8136 0 0 0 10135 8 0 0 25 0 1 0 310646928 34189312 8122 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16725/statm: 8347 8122 77 171 0 8174 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 38744
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16725
/proc/meminfo: memFree=1807608/2055920 swapFree=4120716/4192956
[pid=16719] ppid=16717 vsize=5356 CPUtime=0.76
/proc/16719/stat : 16719 (SatELiteGTI) S 16717 16719 16542 0 -1 4194304 336 2663 0 0 0 0 74 2 15 0 1 0 310646850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16719/statm: 1339 239 197 169 0 50 0
[pid=16725] ppid=16719 vsize=35688 CPUtime=161.39
/proc/16725/stat : 16725 (minisat_static) R 16719 16719 16542 0 -1 4194304 8705 0 0 0 16131 8 0 0 25 0 1 0 310646928 36544512 8691 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16725/statm: 8922 8691 77 171 0 8749 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 41044
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16725
/proc/meminfo: memFree=1803000/2055920 swapFree=4120716/4192956
[pid=16719] ppid=16717 vsize=5356 CPUtime=0.76
/proc/16719/stat : 16719 (SatELiteGTI) S 16717 16719 16542 0 -1 4194304 336 2663 0 0 0 0 74 2 15 0 1 0 310646850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16719/statm: 1339 239 197 169 0 50 0
[pid=16725] ppid=16719 vsize=40344 CPUtime=221.37
/proc/16725/stat : 16725 (minisat_static) R 16719 16719 16542 0 -1 4194304 9827 0 0 0 22127 10 0 0 25 0 1 0 310646928 41312256 9813 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/16725/statm: 10086 9813 77 171 0 9913 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 45700
[startup+282.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16725
/proc/meminfo: memFree=1802360/2055920 swapFree=4120716/4192956
[pid=16719] ppid=16717 vsize=5356 CPUtime=0.76
/proc/16719/stat : 16719 (SatELiteGTI) S 16717 16719 16542 0 -1 4194304 336 2663 0 0 0 0 74 2 15 0 1 0 310646850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16719/statm: 1339 239 197 169 0 50 0
[pid=16725] ppid=16719 vsize=40772 CPUtime=281.34
/proc/16725/stat : 16725 (minisat_static) R 16719 16719 16542 0 -1 4194304 9945 0 0 0 28124 10 0 0 25 0 1 0 310646928 41750528 9931 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16725/statm: 10193 9931 77 171 0 10020 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 46128
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16725
/proc/meminfo: memFree=1801848/2055920 swapFree=4120716/4192956
[pid=16719] ppid=16717 vsize=5356 CPUtime=0.76
/proc/16719/stat : 16719 (SatELiteGTI) S 16717 16719 16542 0 -1 4194304 336 2663 0 0 0 0 74 2 15 0 1 0 310646850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16719/statm: 1339 239 197 169 0 50 0
[pid=16725] ppid=16719 vsize=41476 CPUtime=341.31
/proc/16725/stat : 16725 (minisat_static) R 16719 16719 16542 0 -1 4194304 10082 0 0 0 34121 10 0 0 25 0 1 0 310646928 42471424 10068 1992294400 134512640 135215339 4294956240 18446744073709551615 134528837 0 0 4096 3 0 0 0 17 0 0 0
/proc/16725/statm: 10369 10068 77 171 0 10196 0
Current children cumulated CPU time (s) 342.07
################
# More data... #
################
/proc/16725/statm: 11360 10952 77 171 0 11187 0
Current children cumulated CPU time (s) 581.96
Current children cumulated vsize (KiB) 50796
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16725
/proc/meminfo: memFree=1796792/2055920 swapFree=4120716/4192956
[pid=16719] ppid=16717 vsize=5356 CPUtime=0.76
/proc/16719/stat : 16719 (SatELiteGTI) S 16717 16719 16542 0 -1 4194304 336 2663 0 0 0 0 74 2 15 0 1 0 310646850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16719/statm: 1339 239 197 169 0 50 0
[pid=16725] ppid=16719 vsize=46672 CPUtime=641.17
/proc/16725/stat : 16725 (minisat_static) R 16719 16719 16542 0 -1 4194304 11271 0 0 0 64105 12 0 0 25 0 1 0 310646928 47792128 11222 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16725/statm: 11668 11222 77 171 0 11495 0
Current children cumulated CPU time (s) 641.93
Current children cumulated vsize (KiB) 52028
[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16725
/proc/meminfo: memFree=1795640/2055920 swapFree=4120716/4192956
[pid=16719] ppid=16717 vsize=5356 CPUtime=0.76
/proc/16719/stat : 16719 (SatELiteGTI) S 16717 16719 16542 0 -1 4194304 336 2663 0 0 0 0 74 2 15 0 1 0 310646850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16719/statm: 1339 239 197 169 0 50 0
[pid=16725] ppid=16719 vsize=47792 CPUtime=701.13
/proc/16725/stat : 16725 (minisat_static) R 16719 16719 16542 0 -1 4194304 11534 0 0 0 70101 12 0 0 25 0 1 0 310646928 48939008 11485 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/16725/statm: 11948 11485 77 171 0 11775 0
Current children cumulated CPU time (s) 701.89
Current children cumulated vsize (KiB) 53148
[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16725
/proc/meminfo: memFree=1788920/2055920 swapFree=4120716/4192956
[pid=16719] ppid=16717 vsize=5356 CPUtime=0.76
/proc/16719/stat : 16719 (SatELiteGTI) S 16717 16719 16542 0 -1 4194304 336 2663 0 0 0 0 74 2 15 0 1 0 310646850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16719/statm: 1339 239 197 169 0 50 0
[pid=16725] ppid=16719 vsize=54328 CPUtime=761.1
/proc/16725/stat : 16725 (minisat_static) R 16719 16719 16542 0 -1 4194304 13178 0 0 0 76096 14 0 0 25 0 1 0 310646928 55631872 13129 1992294400 134512640 135215339 4294956240 18446744073709551615 134528714 0 0 4096 3 0 0 0 17 0 0 0
/proc/16725/statm: 13582 13129 77 171 0 13409 0
Current children cumulated CPU time (s) 761.86
Current children cumulated vsize (KiB) 59684
[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16727
/proc/meminfo: memFree=1785400/2055920 swapFree=4120716/4192956
[pid=16719] ppid=16717 vsize=5356 CPUtime=0.76
/proc/16719/stat : 16719 (SatELiteGTI) S 16717 16719 16542 0 -1 4194304 336 2663 0 0 0 0 74 2 15 0 1 0 310646850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16719/statm: 1339 239 197 169 0 50 0
[pid=16725] ppid=16719 vsize=57792 CPUtime=821.06
/proc/16725/stat : 16725 (minisat_static) R 16719 16719 16542 0 -1 4194304 13999 0 0 0 82091 15 0 0 25 0 1 0 310646928 59179008 13950 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16725/statm: 14448 13950 77 171 0 14275 0
Current children cumulated CPU time (s) 821.82
Current children cumulated vsize (KiB) 63148
[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16727
/proc/meminfo: memFree=1785208/2055920 swapFree=4120716/4192956
[pid=16719] ppid=16717 vsize=5356 CPUtime=0.76
/proc/16719/stat : 16719 (SatELiteGTI) S 16717 16719 16542 0 -1 4194304 336 2663 0 0 0 0 74 2 15 0 1 0 310646850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16719/statm: 1339 239 197 169 0 50 0
[pid=16725] ppid=16719 vsize=58088 CPUtime=881.04
/proc/16725/stat : 16725 (minisat_static) R 16719 16719 16542 0 -1 4194304 14068 0 0 0 88088 16 0 0 25 0 1 0 310646928 59482112 14019 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/16725/statm: 14522 14019 77 171 0 14349 0
Current children cumulated CPU time (s) 881.8
Current children cumulated vsize (KiB) 63444
[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16727
/proc/meminfo: memFree=1784376/2055920 swapFree=4120716/4192956
[pid=16719] ppid=16717 vsize=5356 CPUtime=0.76
/proc/16719/stat : 16719 (SatELiteGTI) S 16717 16719 16542 0 -1 4194304 336 2663 0 0 0 0 74 2 15 0 1 0 310646850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16719/statm: 1339 239 197 169 0 50 0
[pid=16725] ppid=16719 vsize=58868 CPUtime=941
/proc/16725/stat : 16725 (minisat_static) R 16719 16719 16542 0 -1 4194304 14242 0 0 0 94084 16 0 0 25 0 1 0 310646928 60280832 14193 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16725/statm: 14717 14193 77 171 0 14544 0
Current children cumulated CPU time (s) 941.76
Current children cumulated vsize (KiB) 64224
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16727
/proc/meminfo: memFree=1783544/2055920 swapFree=4120716/4192956
[pid=16719] ppid=16717 vsize=5356 CPUtime=0.76
/proc/16719/stat : 16719 (SatELiteGTI) S 16717 16719 16542 0 -1 4194304 336 2663 0 0 0 0 74 2 15 0 1 0 310646850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16719/statm: 1339 239 197 169 0 50 0
[pid=16725] ppid=16719 vsize=59684 CPUtime=1000.98
/proc/16725/stat : 16725 (minisat_static) R 16719 16719 16542 0 -1 4194304 14441 0 0 0 100082 16 0 0 25 0 1 0 310646928 61116416 14392 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16725/statm: 14921 14392 77 171 0 14748 0
Current children cumulated CPU time (s) 1001.74
Current children cumulated vsize (KiB) 65040
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16727
/proc/meminfo: memFree=1783160/2055920 swapFree=4120716/4192956
[pid=16719] ppid=16717 vsize=5356 CPUtime=0.76
/proc/16719/stat : 16719 (SatELiteGTI) S 16717 16719 16542 0 -1 4194304 336 2663 0 0 0 0 74 2 15 0 1 0 310646850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16719/statm: 1339 239 197 169 0 50 0
[pid=16725] ppid=16719 vsize=59904 CPUtime=1060.95
/proc/16725/stat : 16725 (minisat_static) R 16719 16719 16542 0 -1 4194304 14503 0 0 0 106079 16 0 0 25 0 1 0 310646928 61341696 14433 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/16725/statm: 14976 14433 77 171 0 14803 0
Current children cumulated CPU time (s) 1061.71
Current children cumulated vsize (KiB) 65260
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16727
/proc/meminfo: memFree=1782648/2055920 swapFree=4120716/4192956
[pid=16719] ppid=16717 vsize=5356 CPUtime=0.76
/proc/16719/stat : 16719 (SatELiteGTI) S 16717 16719 16542 0 -1 4194304 336 2663 0 0 0 0 74 2 15 0 1 0 310646850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16719/statm: 1339 239 197 169 0 50 0
[pid=16725] ppid=16719 vsize=60476 CPUtime=1120.92
/proc/16725/stat : 16725 (minisat_static) R 16719 16719 16542 0 -1 4194304 14623 0 0 0 112076 16 0 0 25 0 1 0 310646928 61927424 14553 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16725/statm: 15119 14553 77 171 0 14946 0
Current children cumulated CPU time (s) 1121.68
Current children cumulated vsize (KiB) 65832
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16727
/proc/meminfo: memFree=1782584/2055920 swapFree=4120716/4192956
[pid=16719] ppid=16717 vsize=5356 CPUtime=0.76
/proc/16719/stat : 16719 (SatELiteGTI) S 16717 16719 16542 0 -1 4194304 336 2663 0 0 0 0 74 2 15 0 1 0 310646850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16719/statm: 1339 239 197 169 0 50 0
[pid=16725] ppid=16719 vsize=60476 CPUtime=1180.89
/proc/16725/stat : 16725 (minisat_static) R 16719 16719 16542 0 -1 4194304 14623 0 0 0 118073 16 0 0 25 0 1 0 310646928 61927424 14553 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16725/statm: 15119 14553 77 171 0 14946 0
Current children cumulated CPU time (s) 1181.65
Current children cumulated vsize (KiB) 65832
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16727
/proc/meminfo: memFree=1782520/2055920 swapFree=4120716/4192956
[pid=16719] ppid=16717 vsize=5356 CPUtime=0.76
/proc/16719/stat : 16719 (SatELiteGTI) S 16717 16719 16542 0 -1 4194304 336 2663 0 0 0 0 74 2 15 0 1 0 310646850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16719/statm: 1339 239 197 169 0 50 0
[pid=16725] ppid=16719 vsize=60476 CPUtime=1199.29
/proc/16725/stat : 16725 (minisat_static) R 16719 16719 16542 0 -1 4194304 14623 0 0 0 119913 16 0 0 25 0 1 0 310646928 61927424 14553 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16725/statm: 15119 14553 77 171 0 14946 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 65832
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16727
/proc/meminfo: memFree=1782520/2055920 swapFree=4120716/4192956
[pid=16719] ppid=16717 vsize=5356 CPUtime=0.76
/proc/16719/stat : 16719 (SatELiteGTI) S 16717 16719 16542 0 -1 4194304 336 2663 0 0 0 0 74 2 15 0 1 0 310646850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16719/statm: 1339 239 197 169 0 50 0
[pid=16725] ppid=16719 vsize=60476 CPUtime=1199.29
/proc/16725/stat : 16725 (minisat_static) R 16719 16719 16542 0 -1 4194304 14623 0 0 0 119913 16 0 0 25 0 1 0 310646928 61927424 14553 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16725/statm: 15119 14553 77 171 0 14946 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 65832
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16719 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=746886
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=26995
# CPU time returned by wait4() is 0.773881
# while last known CPU time is 1200.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.71
CPU time (s): 1200.05
CPU user time (s): 1199.87
CPU system time (s): 0.18
CPU usage (%): 99.9449
Max. virtual memory (cumulated for all children) (KiB): 65832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.746886
system time used= 0.026995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2999
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 23
runsolver used 1.00785 second user time and 3.46847 second system time
The end
Begin job on node27 at 2009-05-20 15:28:59
IDJOB=1833915
IDBENCH=71066
IDSOLVER=671
FILE ID=node27/1833915-1242826139
PBS_JOBID= 9322487
Free space on /tmp= 66300 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_10_UNKNOWN.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833915-1242826139/watcher-1833915-1242826139 -o /tmp/evaluation-result-1833915-1242826139/solver-1833915-1242826139 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833915-1242826139.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e868383f091c36fa9594c670095c9824
RANDOM SEED=1344043228
node27.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 : 2800.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5521.40
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 : 2800.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1845736 kB
Buffers: 18072 kB
Cached: 89640 kB
SwapCached: 65008 kB
Active: 94576 kB
Inactive: 80628 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1845736 kB
SwapTotal: 4192956 kB
SwapFree: 4120716 kB
Dirty: 2996 kB
Writeback: 0 kB
Mapped: 14632 kB
Slab: 20932 kB
Committed_AS: 1028892 kB
PageTables: 1380 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264948 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66296 MiB
End job on node27 at 2009-05-20 15:49:02