0.00/0.00 c Parsing...
0.00/0.10 c ==============================================================================
0.00/0.10 c | | ORIGINAL | LEARNT | |
0.00/0.10 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.10 c ==============================================================================
0.00/0.10 c | 0 | 160694 478924 | 48208 0 0 nan | 0.000 % |
1.48/1.59 c | 0 | 159558 690102 | -- 0 -- -- | -- | -1136/211178
1.48/1.59 c ==============================================================================
1.48/1.59 c Result : #vars: 1437 #clauses: 159558 #literals: 690102
1.48/1.59 c CPU time: 1.55776 s
1.48/1.59 c ==============================================================================
1.68/1.79 c This is MiniSat 2.0 beta
1.68/1.79 c WARNING: for repeatability, setting FPU to use double precision
1.68/1.79 c ============================[ Problem Statistics ]=============================
1.68/1.79 c | |
1.68/1.79 c | Number of variables: 1437 |
1.68/1.79 c | Number of clauses: 159558 |
1.78/1.88 c | Parsing time: 0.07 s |
1.78/1.88 c ============================[ Search Statistics ]==============================
1.78/1.88 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.78/1.88 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.78/1.88 c ===============================================================================
1.78/1.88 c | 0 | 1437 159558 690102 | 53186 0 nan | 0.000 % |
1.78/1.94 c | 103 | 1437 159558 690102 | 53186 103 87 | 0.000 % |
1.78/1.97 c | 203 | 1437 159558 690102 | 53186 203 71 | 0.000 % |
1.78/1.99 c | 305 | 1437 159558 690102 | 53186 305 68 | 0.000 % |
1.78/2.02 c | 416 | 1437 159558 690102 | 53186 416 73 | 0.000 % |
1.78/2.05 c | 516 | 1437 159558 690102 | 53186 516 72 | 0.000 % |
1.78/2.09 c | 629 | 1437 159558 690102 | 53186 629 76 | 0.000 % |
2.08/2.13 c | 752 | 1437 159558 690102 | 53186 752 75 | 0.000 % |
2.08/2.15 c | 852 | 1437 159558 690102 | 53186 852 74 | 0.000 % |
2.08/2.18 c | 962 | 1437 159558 690102 | 53186 962 75 | 0.000 % |
2.18/2.21 c | 1083 | 1437 159558 690102 | 53186 1083 76 | 0.000 % |
2.18/2.27 c | 1216 | 1437 159558 690102 | 53186 1216 76 | 0.000 % |
2.18/2.29 c | 1318 | 1437 159558 690102 | 53186 1318 76 | 0.000 % |
2.27/2.32 c | 1428 | 1437 159558 690102 | 53186 1428 77 | 0.000 % |
2.27/2.35 c | 1549 | 1437 159558 690102 | 53186 1549 77 | 0.000 % |
2.27/2.39 c | 1686 | 1437 159558 690102 | 53186 1686 77 | 0.000 % |
2.37/2.43 c | 1832 | 1437 159558 690102 | 53186 1832 77 | 0.000 % |
2.37/2.46 c | 1932 | 1437 159558 690102 | 53186 1932 77 | 0.000 % |
2.37/2.49 c | 2042 | 1437 159558 690102 | 53186 2042 77 | 0.000 % |
2.47/2.53 c | 2163 | 1437 159558 690102 | 53186 2163 78 | 0.000 % |
2.47/2.56 c | 2297 | 1437 159558 690102 | 53186 2297 78 | 0.000 % |
2.57/2.60 c | 2443 | 1437 159558 690102 | 53186 2443 78 | 0.000 % |
2.57/2.65 c | 2604 | 1437 159558 690102 | 53186 2604 77 | 0.000 % |
2.57/2.68 c | 2705 | 1437 159558 690102 | 53186 2705 77 | 0.000 % |
2.67/2.72 c | 2816 | 1437 159558 690102 | 53186 2816 77 | 0.000 % |
2.67/2.75 c | 2938 | 1437 159558 690102 | 53186 2938 78 | 0.000 % |
2.67/2.80 c | 3071 | 1437 159558 690102 | 53186 3071 79 | 0.000 % |
2.77/2.84 c | 3217 | 1437 159558 690102 | 53186 3217 79 | 0.000 % |
2.77/2.88 c | 3377 | 1437 159558 690102 | 53186 3377 78 | 0.000 % |
2.87/2.93 c | 3556 | 1437 159558 690102 | 53186 3556 79 | 0.000 % |
2.87/2.97 c | 3656 | 1437 159558 690102 | 53186 3656 79 | 0.000 % |
2.97/3.00 c | 3767 | 1437 159558 690102 | 53186 3767 80 | 0.000 % |
2.97/3.04 c | 3890 | 1437 159558 690102 | 53186 3890 80 | 0.000 % |
2.97/3.08 c | 4023 | 1437 159558 690102 | 53186 4023 80 | 0.000 % |
3.07/3.12 c | 4170 | 1437 159558 690102 | 53186 4170 80 | 0.000 % |
3.07/3.17 c | 4330 | 1437 159558 690102 | 53186 4330 80 | 0.000 % |
3.17/3.24 c | 4508 | 1437 159558 690102 | 53186 4508 79 | 0.000 % |
3.17/3.30 c | 4701 | 1437 159558 690102 | 53186 4701 81 | 0.000 % |
3.27/3.35 c | 4801 | 1437 159558 690102 | 53186 4801 80 | 0.000 % |
3.27/3.38 c | 4912 | 1437 159558 690102 | 53186 4912 81 | 0.000 % |
3.37/3.43 c | 5035 | 1437 159558 690102 | 53186 5035 80 | 0.000 % |
3.37/3.47 c | 5169 | 1437 159558 690102 | 53186 5169 81 | 0.000 % |
3.47/3.54 c | 5315 | 1437 159558 690102 | 53186 5315 81 | 0.000 % |
3.47/3.59 c | 5475 | 1437 159558 690102 | 53186 5475 81 | 0.000 % |
3.57/3.66 c | 5654 | 1437 159558 690102 | 53186 5654 81 | 0.000 % |
3.67/3.72 c | 5848 | 1437 159558 690102 | 53186 5848 81 | 0.000 % |
3.67/3.79 c | 6062 | 1437 159558 690102 | 53186 6062 81 | 0.000 % |
3.77/3.83 c | 6162 | 1437 159558 690102 | 53186 6162 81 | 0.000 % |
3.77/3.87 c | 6272 | 1437 159558 690102 | 53186 6272 82 | 0.000 % |
3.87/3.91 c | 6393 | 1437 159558 690102 | 53186 6393 82 | 0.000 % |
3.87/3.96 c | 6526 | 1437 159558 690102 | 53186 6526 82 | 0.000 % |
3.97/4.03 c | 6672 | 1437 159558 690102 | 53186 6672 82 | 0.000 % |
4.07/4.11 c | 6833 | 1437 159558 690102 | 53186 6833 82 | 0.000 % |
4.07/4.19 c | 7011 | 1437 159558 690102 | 53186 7011 82 | 0.000 % |
4.17/4.26 c | 7205 | 1437 159558 690102 | 53186 7205 83 | 0.000 % |
4.27/4.32 c | 7417 | 1437 159558 690102 | 53186 7417 82 | 0.000 % |
4.37/4.41 c | 7651 | 1437 159558 690102 | 53186 7651 82 | 0.000 % |
4.37/4.45 c | 7751 | 1437 159558 690102 | 53186 7751 82 | 0.000 % |
4.47/4.50 c | 7861 | 1437 159558 690102 | 53186 7861 82 | 0.000 % |
4.47/4.53 c | 7983 | 1437 159558 690102 | 53186 7983 83 | 0.000 % |
4.47/4.60 c | 8116 | 1437 159558 690102 | 53186 8116 83 | 0.000 % |
4.57/4.64 c | 8262 | 1437 159558 690102 | 53186 8262 83 | 0.000 % |
4.57/4.68 c | 8425 | 1437 159558 690102 | 53186 8425 83 | 0.000 % |
4.67/4.73 c | 8601 | 1437 159558 690102 | 53186 8601 83 | 0.000 % |
4.67/4.78 c | 8794 | 1437 159558 690102 | 53186 8794 84 | 0.000 % |
4.76/4.84 c | 9006 | 1437 159558 690102 | 53186 9006 84 | 0.000 % |
4.86/4.98 c | 9240 | 1437 159558 690102 | 53186 9240 84 | 0.000 % |
4.96/5.07 c | 9496 | 1437 159558 690102 | 53186 9496 84 | 0.000 % |
5.06/5.10 c | 9598 | 1437 159558 690102 | 53186 9598 84 | 0.000 % |
5.06/5.16 c | 9708 | 1437 159558 690102 | 53186 9708 84 | 0.000 % |
5.16/5.22 c | 9829 | 1437 159558 690102 | 53186 9829 84 | 0.000 % |
5.16/5.27 c | 9963 | 1437 159558 690102 | 53186 9963 84 | 0.000 % |
5.26/5.33 c | 10109 | 1437 159558 690102 | 2147483647 10109 84 | 0.000 % |
5.26/5.40 c | 10269 | 1437 159558 690102 | 2147483647 10269 84 | 0.000 % |
5.37/5.46 c | 10448 | 1437 159558 690102 | 2147483647 10448 84 | 0.000 % |
5.47/5.55 c | 10642 | 1437 159558 690102 | 2147483647 10642 83 | 0.000 % |
5.56/5.61 c | 10854 | 1437 159558 690102 | 2147483647 10854 84 | 0.000 % |
5.56/5.69 c | 11088 | 1437 159558 690102 | 2147483647 11088 84 | 0.000 % |
5.66/5.78 c | 11344 | 1437 159558 690102 | 2147483647 11344 84 | 0.000 % |
5.86/5.91 c | 11625 | 1437 159558 690102 | 2147483647 11625 85 | 0.000 % |
5.86/5.95 c | 11726 | 1437 159558 690102 | 2147483647 11726 85 | 0.000 % |
5.86/5.99 c | 11837 | 1437 159558 690102 | 2147483647 11837 85 | 0.000 % |
5.96/6.03 c | 11959 | 1437 159558 690102 | 2147483647 11959 85 | 0.000 % |
5.96/6.07 c | 12092 | 1437 159558 690102 | 2147483647 12092 85 | 0.000 % |
6.06/6.13 c | 12238 | 1437 159558 690102 | 2147483647 12238 85 | 0.000 % |
6.06/6.18 c | 12399 | 1437 159558 690102 | 2147483647 12399 85 | 0.000 % |
6.16/6.27 c | 12577 | 1437 159558 690102 | 2147483647 12577 85 | 0.000 % |
6.26/6.34 c | 12770 | 1437 159558 690102 | 2147483647 12770 85 | 0.000 % |
6.36/6.43 c | 12982 | 1437 159558 690102 | 2147483647 12982 85 | 0.000 % |
6.48/6.51 c | 13215 | 1437 159558 690102 | 2147483647 13215 85 | 0.000 % |
6.58/6.61 c | 13473 | 1437 159558 690102 | 2147483647 13473 85 | 0.000 % |
6.67/6.72 c | 13754 | 1437 159558 690102 | 2147483647 13754 86 | 0.000 % |
6.77/6.81 c | 14063 | 1437 159558 690102 | 2147483647 14063 86 | 0.000 % |
6.77/6.86 c | 14164 | 1437 159558 690102 | 2147483647 14164 86 | 0.000 % |
6.87/6.90 c | 14274 | 1437 159558 690102 | 2147483647 14274 86 | 0.000 % |
6.87/6.94 c | 14395 | 1437 159558 690102 | 2147483647 14395 86 | 0.000 % |
6.87/6.99 c | 14528 | 1437 159558 690102 | 2147483647 14528 86 | 0.000 % |
6.97/7.05 c | 14676 | 1437 159558 690102 | 2147483647 14676 87 | 0.000 % |
7.07/7.10 c | 14837 | 1437 159558 690102 | 2147483647 14837 87 | 0.000 % |
7.07/7.18 c | 15014 | 1437 159558 690102 | 2147483647 15014 87 | 0.000 % |
7.17/7.28 c | 15207 | 1437 159558 690102 | 2147483647 15207 87 | 0.000 % |
7.27/7.37 c | 15421 | 1437 159558 690102 | 2147483647 15421 87 | 0.000 % |
7.37/7.47 c | 15654 | 1437 159558 690102 | 2147483647 15654 87 | 0.000 % |
7.47/7.60 c | 15911 | 1437 159558 690102 | 2147483647 15911 87 | 0.000 % |
7.67/7.71 c | 16192 | 1437 159558 690102 | 2147483647 16192 87 | 0.000 % |
7.87/7.98 c | 16502 | 1437 159558 690102 | 2147483647 16502 87 | 0.000 % |
8.17/8.20 c | 16843 | 1437 159558 690102 | 2147483647 16843 88 | 0.000 % |
8.17/8.24 c | 16944 | 1437 159558 690102 | 2147483647 16944 88 | 0.000 % |
8.17/8.28 c | 17056 | 1437 159558 690102 | 2147483647 17056 88 | 0.000 % |
8.27/8.34 c | 17179 | 1437 159558 690102 | 2147483647 17179 88 | 0.000 % |
8.27/8.40 c | 17313 | 1437 159558 690102 | 2147483647 17313 88 | 0.000 % |
8.37/8.48 c | 17460 | 1437 159558 690102 | 2147483647 17460 88 | 0.000 % |
8.47/8.54 c | 17620 | 1437 159558 690102 | 2147483647 17620 88 | 0.000 % |
8.57/8.65 c | 17797 | 1437 159558 690102 | 2147483647 17797 88 | 0.000 % |
8.67/8.76 c | 17991 | 1437 159558 690102 | 2147483647 17991 88 | 0.000 % |
8.77/8.83 c | 18204 | 1437 159558 690102 | 2147483647 18204 88 | 0.000 % |
8.87/8.97 c | 18438 | 1437 159558 690102 | 2147483647 18438 88 | 0.000 % |
8.96/9.08 c | 18695 | 1437 159558 690102 | 2147483647 18695 88 | 0.000 % |
9.06/9.17 c | 18976 | 1437 159558 690102 | 2147483647 18976 88 | 0.000 % |
9.26/9.31 c | 19285 | 1437 159558 690102 | 2147483647 19285 88 | 0.000 % |
9.36/9.42 c | 19624 | 1437 159558 690102 | 2147483647 19624 88 | 0.000 % |
9.56/9.63 c | 19998 | 1437 159558 690102 | 2147483647 19998 89 | 0.000 % |
9.56/9.70 c | 20098 | 1437 159558 690102 | 2147483647 20098 89 | 0.000 % |
9.77/9.81 c | 20209 | 1437 159558 690102 | 2147483647 20209 89 | 0.000 % |
9.77/9.88 c | 20331 | 1437 159558 690102 | 2147483647 20331 89 | 0.000 % |
9.87/9.94 c | 20467 | 1437 159558 690102 | 2147483647 20467 89 | 0.000 % |
9.96/10.00 c | 20614 | 1437 159558 690102 | 2147483647 20614 89 | 0.000 % |
9.96/10.07 c | 20774 | 1437 159558 690102 | 2147483647 20774 89 | 0.000 % |
10.06/10.15 c | 20952 | 1437 159558 690102 | 2147483647 20952 89 | 0.000 % |
10.16/10.24 c | 21145 | 1437 159558 690102 | 2147483647 21145 89 | 0.000 % |
10.26/10.33 c | 21357 | 1437 159558 690102 | 2147483647 21357 89 | 0.000 % |
10.36/10.44 c | 21591 | 1437 159558 690102 | 2147483647 21591 89 | 0.000 % |
10.46/10.57 c | 21848 | 1437 159558 690102 | 2147483647 21848 89 | 0.000 % |
10.66/10.73 c | 22129 | 1437 159558 690102 | 2147483647 22129 89 | 0.000 % |
10.76/10.89 c | 22438 | 1437 159558 690102 | 2147483647 22438 89 | 0.000 % |
10.96/11.03 c | 22779 | 1437 159558 690102 | 2147483647 22779 89 | 0.000 % |
11.17/11.20 c | 23151 | 1437 159558 690102 | 2147483647 23151 89 | 0.000 % |
11.37/11.47 c | 23566 | 1437 159558 690102 | 2147483647 23566 89 | 0.000 % |
11.47/11.56 c | 23666 | 1437 159558 690102 | 2147483647 23666 89 | 0.000 % |
11.57/11.63 c | 23776 | 1437 159558 690102 | 2147483647 23776 89 | 0.000 % |
11.67/11.70 c | 23898 | 1437 159558 690102 | 2147483647 23898 89 | 0.000 % |
11.77/11.80 c | 24031 | 1437 159558 690102 | 2147483647 24031 89 | 0.000 % |
11.87/11.93 c | 24179 | 1437 159558 690102 | 2147483647 24179 89 | 0.000 % |
11.87/12.00 c | 24339 | 1437 159558 690102 | 2147483647 24339 89 | 0.000 % |
11.97/12.07 c | 24516 | 1437 159558 690102 | 2147483647 24516 89 | 0.000 % |
12.07/12.18 c | 24710 | 1437 159558 690102 | 2147483647 24710 89 | 0.000 % |
12.17/12.27 c | 24922 | 1437 159558 690102 | 2147483647 24922 90 | 0.000 % |
12.27/12.39 c | 25157 | 1437 159558 690102 | 2147483647 25157 90 | 0.000 % |
12.56/12.60 c | 25413 | 1437 159558 690102 | 2147483647 25413 90 | 0.000 % |
12.66/12.73 c | 25696 | 1437 159558 690102 | 2147483647 25696 90 | 0.000 % |
12.86/12.96 c | 26005 | 1437 159558 690102 | 2147483647 26005 90 | 0.000 % |
13.07/13.12 c | 26344 | 1437 159558 690102 | 2147483647 26344 91 | 0.000 % |
13.17/13.27 c | 26718 | 1437 159558 690102 | 2147483647 26718 91 | 0.000 % |
13.36/13.45 c | 27127 | 1437 159558 690102 | 2147483647 27127 91 | 0.000 % |
13.76/13.89 c | 27576 | 1437 159558 690102 | 2147483647 27576 91 | 0.000 % |
13.86/13.97 c | 27676 | 1437 159558 690102 | 2147483647 27676 91 | 0.000 % |
13.96/14.04 c | 27786 | 1437 159558 690102 | 2147483647 27786 91 | 0.000 % |
14.06/14.11 c | 27908 | 1437 159558 690102 | 2147483647 27908 91 | 0.000 % |
14.16/14.21 c | 28042 | 1437 159558 690102 | 2147483647 28042 91 | 0.000 % |
14.26/14.31 c | 28189 | 1437 159558 690102 | 2147483647 28189 91 | 0.000 % |
14.36/14.40 c | 28349 | 1437 159558 690102 | 2147483647 28349 91 | 0.000 % |
14.36/14.49 c | 28525 | 1437 159558 690102 | 2147483647 28525 91 | 0.000 % |
14.46/14.58 c | 28719 | 1437 159558 690102 | 2147483647 28719 91 | 0.000 % |
14.56/14.69 c | 28933 | 1437 159558 690102 | 2147483647 28933 91 | 0.000 % |
14.76/14.89 c | 29166 | 1437 159558 690102 | 2147483647 29166 91 | 0.000 % |
14.96/15.03 c | 29423 | 1437 159558 690102 | 2147483647 29423 92 | 0.000 % |
15.06/15.14 c | 29706 | 1437 159558 690102 | 2147483647 29706 92 | 0.000 % |
15.26/15.31 c | 30016 | 1437 159558 690102 | 2147483647 30016 92 | 0.000 % |
15.46/15.58 c | 30355 | 1437 159558 690102 | 2147483647 30355 92 | 0.000 % |
15.86/15.93 c | 30727 | 1437 159558 690102 | 2147483647 30727 92 | 0.000 % |
16.06/16.13 c | 31136 | 1437 159558 690102 | 2147483647 31136 93 | 0.000 % |
16.26/16.37 c | 31586 | 1437 159558 690102 | 2147483647 31586 93 | 0.000 % |
16.56/16.67 c | 32083 | 1437 159558 690102 | 2147483647 32083 93 | 0.000 % |
16.66/16.78 c | 32186 | 1437 159558 690102 | 2147483647 32186 93 | 0.000 % |
16.76/16.85 c | 32296 | 1437 159558 690102 | 2147483647 32296 93 | 0.000 % |
16.86/16.98 c | 32417 | 1437 159558 690102 | 2147483647 32417 93 | 0.000 % |
16.96/17.09 c | 32550 | 1437 159558 690102 | 2147483647 32550 93 | 0.000 % |
17.06/17.18 c | 32696 | 1437 159558 690102 | 2147483647 32696 93 | 0.000 % |
17.16/17.27 c | 32858 | 1437 159558 690102 | 2147483647 32858 93 | 0.000 % |
17.36/17.46 c | 33035 | 1437 159558 690102 | 2147483647 33035 93 | 0.000 % |
17.57/17.62 c | 33228 | 1437 159558 690102 | 2147483647 33228 93 | 0.000 % |
17.76/17.82 c | 33441 | 1437 159558 690102 | 2147483647 33441 93 | 0.000 % |
17.86/17.97 c | 33675 | 1437 159558 690102 | 2147483647 33675 93 | 0.000 % |
18.06/18.11 c | 33932 | 1437 159558 690102 | 2147483647 33932 93 | 0.000 % |
18.16/18.29 c | 34214 | 1437 159558 690102 | 2147483647 34214 93 | 0.000 % |
18.36/18.49 c | 34523 | 1437 159558 690102 | 2147483647 34523 93 | 0.000 % |
18.56/18.65 c | 34862 | 1437 159558 690102 | 2147483647 34862 93 | 0.000 % |
18.76/18.85 c | 35234 | 1437 159558 690102 | 2147483647 35234 93 | 0.000 % |
19.16/19.26 c | 35644 | 1437 159558 690102 | 2147483647 35644 93 | 0.000 % |
19.36/19.46 c | 36096 | 1437 159558 690102 | 2147483647 36096 93 | 0.000 % |
19.66/19.72 c | 36590 | 1437 159558 690102 | 2147483647 36590 94 | 0.000 % |
20.06/20.19 c | 37132 | 1437 159558 690102 | 2147483647 37132 95 | 0.000 % |
20.16/20.27 c | 37232 | 1437 159558 690102 | 2147483647 37232 95 | 0.000 % |
20.36/20.41 c | 37342 | 1437 159558 690102 | 2147483647 37342 95 | 0.000 % |
20.46/20.55 c | 37463 | 1437 159558 690102 | 2147483647 37463 95 | 0.000 % |
20.56/20.64 c | 37596 | 1437 159558 690102 | 2147483647 37596 95 | 0.000 % |
20.65/20.73 c | 37743 | 1437 159558 690102 | 2147483647 37743 95 | 0.000 % |
20.76/20.85 c | 37905 | 1437 159558 690102 | 2147483647 37905 95 | 0.000 % |
20.86/20.98 c | 38082 | 1437 159558 690102 | 2147483647 38082 95 | 0.000 % |
21.05/21.13 c | 38275 | 1437 159558 690102 | 2147483647 38275 95 | 0.000 % |
21.15/21.27 c | 38488 | 1437 159558 690102 | 2147483647 38488 95 | 0.000 % |
21.45/21.51 c | 38721 | 1437 159558 690102 | 2147483647 38721 95 | 0.000 % |
21.55/21.68 c | 38978 | 1437 159558 690102 | 2147483647 38978 95 | 0.000 % |
21.75/21.83 c | 39259 | 1437 159558 690102 | 2147483647 39259 95 | 0.000 % |
22.05/22.15 c | 39570 | 1437 159558 690102 | 2147483647 39570 95 | 0.000 % |
22.25/22.39 c | 39910 | 1437 159558 690102 | 2147483647 39910 95 | 0.000 % |
22.66/22.72 c | 40282 | 1437 159558 690102 | 2147483647 40282 96 | 0.000 % |
23.06/23.19 c | 40693 | 1437 159558 690102 | 2147483647 40693 95 | 0.000 % |
23.36/23.48 c | 41143 | 1437 159558 690102 | 2147483647 41143 95 | 0.000 % |
23.66/23.78 c | 41636 | 1437 159558 690102 | 2147483647 41636 95 | 0.000 % |
24.06/24.16 c | 42179 | 1437 159558 690102 | 2147483647 42179 95 | 0.000 % |
24.66/24.71 c | 42779 | 1437 159558 690102 | 2147483647 42779 95 | 0.000 % |
24.76/24.84 c | 42881 | 1437 159558 690102 | 2147483647 42881 95 | 0.000 % |
24.86/24.94 c | 42993 | 1437 159558 690102 | 2147483647 42993 95 | 0.001 % |
25.06/25.13 c | 43114 | 1437 159558 690102 | 2147483647 43114 95 | 0.000 % |
25.16/25.23 c | 43254 | 1437 159558 690102 | 2147483647 43254 95 | 0.000 % |
25.26/25.37 c | 43401 | 1437 159558 690102 | 2147483647 43401 95 | 0.000 % |
25.36/25.50 c | 43561 | 1437 159558 690102 | 2147483647 43561 95 | 0.000 % |
25.56/25.64 c | 43739 | 1437 159558 690102 | 2147483647 43739 95 | 0.000 % |
25.66/25.78 c | 43933 | 1437 159558 690102 | 2147483647 43933 95 | 0.000 % |
25.85/25.92 c | 44145 | 1437 159558 690102 | 2147483647 44145 95 | 0.000 % |
25.95/26.07 c | 44378 | 1437 159558 690102 | 2147483647 44378 95 | 0.000 % |
26.36/26.41 c | 44636 | 1437 159558 690102 | 2147483647 44636 95 | 0.000 % |
26.55/26.62 c | 44917 | 1437 159558 690102 | 2147483647 44917 95 | 0.000 % |
26.65/26.78 c | 45228 | 1437 159558 690102 | 2147483647 45228 95 | 0.000 % |
26.95/27.04 c | 45568 | 1437 159558 690102 | 2147483647 45568 95 | 0.000 % |
27.25/27.32 c | 45940 | 1437 159558 690102 | 2147483647 45940 95 | 0.000 % |
27.45/27.58 c | 46349 | 1437 159558 690102 | 2147483647 46349 95 | 0.000 % |
27.95/28.00 c | 46798 | 1437 159558 690102 | 2147483647 46798 95 | 0.000 % |
28.36/28.44 c | 47294 | 1437 159558 690102 | 2147483647 47294 94 | 0.000 % |
28.76/28.86 c | 47837 | 1437 159558 690102 | 2147483647 47837 95 | 0.000 % |
29.56/29.63 c | 48433 | 1437 159558 690102 | 2147483647 48433 94 | 0.000 % |
30.16/30.25 c | 49089 | 1437 159558 690102 | 2147483647 49089 94 | 0.000 % |
30.26/30.38 c | 49189 | 1437 159558 690102 | 2147483647 49189 94 | 0.000 % |
30.36/30.47 c | 49299 | 1437 159558 690102 | 2147483647 49299 94 | 0.000 % |
30.56/30.60 c | 49420 | 1437 159558 690102 | 2147483647 49420 94 | 0.000 % |
30.66/30.76 c | 49554 | 1437 159558 690102 | 2147483647 49554 94 | 0.000 % |
30.85/30.99 c | 49700 | 1437 159558 690102 | 2147483647 49700 94 | 0.000 % |
30.95/31.08 c | 49860 | 1437 159558 690102 | 2147483647 49860 94 | 0.000 % |
31.05/31.19 c | 50038 | 1437 159558 690102 | 2147483647 50038 94 | 0.000 % |
31.25/31.34 c | 50232 | 1437 159558 690102 | 2147483647 50232 94 | 0.000 % |
31.45/31.59 c | 50445 | 1437 159558 690102 | 2147483647 50445 94 | 0.000 % |
31.65/31.74 c | 50678 | 1437 159558 690102 | 2147483647 50678 94 | 0.000 % |
31.86/31.92 c | 50934 | 1437 159558 690102 | 2147483647 50934 94 | 0.000 % |
32.05/32.14 c | 51215 | 1437 159558 690102 | 2147483647 51215 94 | 0.000 % |
32.35/32.41 c | 51525 | 1437 159558 690102 | 2147483647 51525 94 | 0.000 % |
32.65/32.72 c | 51865 | 1437 159558 690102 | 2147483647 51865 94 | 0.000 % |
32.95/33.00 c | 52237 | 1437 159558 690102 | 2147483647 52237 94 | 0.000 % |
33.55/33.64 c | 52646 | 1437 159558 690102 | 2147483647 52646 94 | 0.000 % |
34.35/34.40 c | 53100 | 1437 159558 690102 | 2147483647 53100 94 | 0.000 % |
35.05/35.16 c | 53595 | 1437 159558 690102 | 2147483647 53595 93 | 0.000 % |
35.65/35.75 c | 54137 | 1437 159558 690102 | 2147483647 54137 94 | 0.000 % |
36.35/36.46 c | 54733 | 1437 159558 690102 | 2147483647 54733 94 | 0.000 % |
37.25/37.33 c | 55389 | 1437 159558 690102 | 2147483647 55389 94 | 0.000 % |
37.94/38.00 c | 56109 | 1437 159558 690102 | 2147483647 56109 93 | 0.000 % |
38.04/38.12 c | 56209 | 1437 159558 690102 | 2147483647 56209 93 | 0.000 % |
38.14/38.22 c | 56319 | 1437 159558 690102 | 2147483647 56319 93 | 0.000 % |
38.24/38.31 c | 56441 | 1437 159558 690102 | 2147483647 56441 93 | 0.000 % |
38.34/38.44 c | 56576 | 1437 159558 690102 | 2147483647 56576 93 | 0.000 % |
38.54/38.60 c | 56722 | 1437 159558 690102 | 2147483647 56722 93 | 0.000 % |
38.74/38.88 c | 56882 | 1437 159558 690102 | 2147483647 56882 93 | 0.000 % |
39.04/39.19 c | 57059 | 1437 159558 690102 | 2147483647 57059 93 | 0.000 % |
39.24/39.35 c | 57254 | 1437 159558 690102 | 2147483647 57254 93 | 0.000 % |
39.45/39.51 c | 57466 | 1437 159558 690102 | 2147483647 57466 93 | 0.000 % |
39.55/39.67 c | 57701 | 1437 159558 690102 | 2147483647 57701 94 | 0.000 % |
39.85/39.95 c | 57957 | 1437 159558 690102 | 2147483647 57957 94 | 0.000 % |
40.05/40.15 c | 58240 | 1437 159558 690102 | 2147483647 58240 94 | 0.000 % |
40.34/40.43 c | 58550 | 1437 159558 690102 | 2147483647 58550 94 | 0.000 % |
40.74/40.81 c | 58891 | 1437 159558 690102 | 2147483647 58891 94 | 0.000 % |
40.94/41.07 c | 59263 | 1437 159558 690102 | 2147483647 59263 94 | 0.000 % |
41.14/41.29 c | 59672 | 1437 159558 690102 | 2147483647 59672 94 | 0.000 % |
41.64/41.76 c | 60121 | 1437 159558 690102 | 2147483647 60121 94 | 0.000 % |
42.04/42.17 c | 60615 | 1437 159558 690102 | 2147483647 60615 94 | 0.000 % |
42.54/42.62 c | 61158 | 1437 159558 690102 | 2147483647 61158 94 | 0.000 % |
43.05/43.10 c | 61754 | 1437 159558 690102 | 2147483647 61754 94 | 0.000 % |
43.44/43.51 c | 62411 | 1437 159558 690102 | 2147483647 62411 94 | 0.000 % |
44.34/44.43 c | 63132 | 1437 159558 690102 | 2147483647 63132 94 | 0.000 % |
45.34/45.43 c | 63924 | 1437 159558 690102 | 2147483647 63924 94 | 0.000 % |
45.44/45.50 c | 64026 | 1437 159558 690102 | 2147483647 64026 94 | 0.000 % |
45.54/45.61 c | 64137 | 1437 159558 690102 | 2147483647 64137 94 | 0.000 % |
45.64/45.73 c | 64261 | 1437 159558 690102 | 2147483647 64261 94 | 0.000 % |
45.74/45.85 c | 64394 | 1437 159558 690102 | 2147483647 64394 94 | 0.000 % |
45.84/45.99 c | 64541 | 1437 159558 690102 | 2147483647 64541 94 | 0.000 % |
46.05/46.14 c | 64702 | 1437 159558 690102 | 2147483647 64702 94 | 0.000 % |
46.34/46.41 c | 64879 | 1437 159558 690102 | 2147483647 64879 94 | 0.000 % |
46.64/46.72 c | 65073 | 1437 159558 690102 | 2147483647 65073 94 | 0.000 % |
46.84/46.93 c | 65286 | 1437 159558 690102 | 2147483647 65286 94 | 0.000 % |
47.04/47.13 c | 65520 | 1437 159558 690102 | 2147483647 65520 94 | 0.000 % |
47.25/47.39 c | 65776 | 1437 159558 690102 | 2147483647 65776 94 | 0.000 % |
47.54/47.64 c | 66058 | 1437 159558 690102 | 2147483647 66058 94 | 0.000 % |
47.84/47.98 c | 66367 | 1437 159558 690102 | 2147483647 66367 94 | 0.000 % |
48.44/48.50 c | 66706 | 1437 159558 690102 | 2147483647 66706 94 | 0.000 % |
49.04/49.12 c | 67078 | 1437 159558 690102 | 2147483647 67078 94 | 0.000 % |
49.64/49.78 c | 67487 | 1437 159558 690102 | 2147483647 67487 94 | 0.000 % |
50.44/50.58 c | 67936 | 1437 159558 690102 | 2147483647 67936 94 | 0.000 % |
51.23/51.37 c | 68429 | 1437 159558 690102 | 2147483647 68429 94 | 0.000 % |
52.14/52.21 c | 68977 | 1437 159558 690102 | 2147483647 68977 94 | 0.000 % |
52.94/53.05 c | 69580 | 1437 159558 690102 | 2147483647 69580 93 | 0.000 % |
53.54/53.69 c | 70236 | 1437 159558 690102 | 2147483647 70236 94 | 0.000 % |
54.24/54.38 c | 70956 | 1437 159558 690102 | 2147483647 70956 94 | 0.000 % |
55.43/55.57 c | 71750 | 1437 159558 690102 | 2147483647 71750 94 | 0.000 % |
56.53/56.69 c | 72621 | 1437 159558 690102 | 2147483647 72621 94 | 0.000 % |
56.73/56.86 c | 72722 | 1437 159558 690102 | 2147483647 72722 94 | 0.000 % |
56.83/56.96 c | 72832 | 1437 159558 690102 | 2147483647 72832 94 | 0.000 % |
56.93/57.05 c | 72953 | 1437 159558 690102 | 2147483647 72953 94 | 0.000 % |
57.14/57.29 c | 73086 | 1437 159558 690102 | 2147483647 73086 94 | 0.000 % |
57.33/57.45 c | 73233 | 1437 159558 690102 | 2147483647 73233 94 | 0.000 % |
57.53/57.61 c | 73393 | 1437 159558 690102 | 2147483647 73393 94 | 0.000 % |
57.73/57.85 c | 73571 | 1437 159558 690102 | 2147483647 73571 94 | 0.000 % |
57.93/58.02 c | 73764 | 1437 159558 690102 | 2147483647 73764 94 | 0.000 % |
58.14/58.21 c | 73976 | 1437 159558 690102 | 2147483647 73976 94 | 0.000 % |
58.34/58.46 c | 74209 | 1437 159558 690102 | 2147483647 74209 94 | 0.000 % |
58.54/58.69 c | 74466 | 1437 159558 690102 | 2147483647 74466 94 | 0.000 % |
58.84/58.95 c | 74747 | 1437 159558 690102 | 2147483647 74747 94 | 0.000 % |
59.14/59.22 c | 75058 | 1437 159558 690102 | 2147483647 75058 94 | 0.000 % |
59.64/59.71 c | 75397 | 1437 159558 690102 | 2147483647 75397 95 | 0.000 % |
59.94/60.02 c | 75770 | 1437 159558 690102 | 2147483647 75770 95 | 0.000 % |
60.34/60.41 c | 76179 | 1437 159558 690102 | 2147483647 76179 95 | 0.000 % |
60.74/60.86 c | 76629 | 1437 159558 690102 | 2147483647 76629 95 | 0.000 % |
61.23/61.31 c | 77123 | 1437 159558 690102 | 2147483647 77123 95 | 0.000 % |
61.63/61.74 c | 77665 | 1437 159558 690102 | 2147483647 77665 95 | 0.000 % |
62.03/62.18 c | 78263 | 1437 159558 690102 | 2147483647 78263 95 | 0.000 % |
62.64/62.76 c | 78918 | 1437 159558 690102 | 2147483647 78918 95 | 0.000 % |
63.33/63.42 c | 79640 | 1437 159558 690102 | 2147483647 79640 95 | 0.000 % |
64.33/64.41 c | 80432 | 1437 159558 690102 | 2147483647 80432 95 | 0.000 % |
65.23/65.33 c | 81305 | 1437 159558 690102 | 2147483647 81305 95 | 0.000 % |
66.43/66.51 c | 82263 | 1437 159558 690102 | 2147483647 82263 95 | 0.000 % |
66.53/66.70 c | 82364 | 1437 159558 690102 | 2147483647 82364 95 | 0.000 % |
66.73/66.84 c | 82474 | 1437 159558 690102 | 2147483647 82474 95 | 0.000 % |
66.93/67.02 c | 82596 | 1437 159558 690102 | 2147483647 82596 95 | 0.000 % |
67.03/67.15 c | 82729 | 1437 159558 690102 | 2147483647 82729 95 | 0.000 % |
67.23/67.32 c | 82876 | 1437 159558 690102 | 2147483647 82876 95 | 0.000 % |
67.53/67.63 c | 83037 | 1437 159558 690102 | 2147483647 83037 95 | 0.000 % |
67.83/67.99 c | 83213 | 1437 159558 690102 | 2147483647 83213 95 | 0.000 % |
68.13/68.25 c | 83406 | 1437 159558 690102 | 2147483647 83406 95 | 0.000 % |
68.42/68.50 c | 83619 | 1437 159558 690102 | 2147483647 83619 95 | 0.000 % |
68.72/68.87 c | 83855 | 1437 159558 690102 | 2147483647 83855 95 | 0.000 % |
69.02/69.17 c | 84111 | 1437 159558 690102 | 2147483647 84111 95 | 0.000 % |
69.23/69.39 c | 84394 | 1437 159558 690102 | 2147483647 84394 95 | 0.000 % |
69.62/69.78 c | 84703 | 1437 159558 690102 | 2147483647 84703 95 | 0.000 % |
70.03/70.15 c | 85043 | 1437 159558 690102 | 2147483647 85043 95 | 0.000 % |
70.43/70.57 c | 85415 | 1437 159558 690102 | 2147483647 85415 95 | 0.000 % |
70.93/71.07 c | 85824 | 1437 159558 690102 | 2147483647 85824 95 | 0.000 % |
71.43/71.50 c | 86273 | 1437 159558 690102 | 2147483647 86273 95 | 0.000 % |
72.13/72.27 c | 86768 | 1437 159558 690102 | 2147483647 86768 95 | 0.000 % |
72.73/72.84 c | 87310 | 1437 159558 690102 | 2147483647 87310 95 | 0.000 % |
73.43/73.52 c | 87906 | 1437 159558 690102 | 2147483647 87906 95 | 0.000 % |
74.13/74.21 c | 88561 | 1437 159558 690102 | 2147483647 88561 95 | 0.000 % |
74.93/75.02 c | 89282 | 1437 159558 690102 | 2147483647 89282 95 | 0.000 % |
75.83/75.98 c | 90074 | 1437 159558 690102 | 2147483647 90074 95 | 0.000 % |
76.83/76.95 c | 90945 | 1437 159558 690102 | 2147483647 90945 96 | 0.000 % |
77.83/77.94 c | 91904 | 1437 159558 690102 | 2147483647 91904 96 | 0.000 % |
79.22/79.37 c | 92958 | 1437 159558 690102 | 2147483647 92958 96 | 0.000 % |
79.42/79.56 c | 93058 | 1437 159558 690102 | 2147483647 93058 96 | 0.000 % |
79.72/79.88 c | 93168 | 1437 159558 690102 | 2147483647 93168 96 | 0.000 % |
80.02/80.15 c | 93289 | 1437 159558 690102 | 2147483647 93289 96 | 0.000 % |
80.23/80.39 c | 93423 | 1437 159558 690102 | 2147483647 93423 96 | 0.000 % |
80.42/80.51 c | 93571 | 1437 159558 690102 | 2147483647 93571 96 | 0.000 % |
80.62/80.78 c | 93732 | 1437 159558 690102 | 2147483647 93732 96 | 0.000 % |
81.02/81.13 c | 93909 | 1437 159558 690102 | 2147483647 93909 96 | 0.000 % |
81.22/81.35 c | 94102 | 1437 159558 690102 | 2147483647 94102 96 | 0.000 % |
81.62/81.76 c | 94316 | 1437 159558 690102 | 2147483647 94316 96 | 0.000 % |
82.02/82.14 c | 94549 | 1437 159558 690102 | 2147483647 94549 96 | 0.000 % |
82.33/82.50 c | 94805 | 1437 159558 690102 | 2147483647 94805 96 | 0.000 % |
82.83/82.93 c | 95090 | 1437 159558 690102 | 2147483647 95090 96 | 0.000 % |
83.32/83.49 c | 95399 | 1437 159558 690102 | 2147483647 95399 96 | 0.000 % |
83.82/83.92 c | 95738 | 1437 159558 690102 | 2147483647 95738 96 | 0.000 % |
84.22/84.34 c | 96112 | 1437 159558 690102 | 2147483647 96112 96 | 0.000 % |
84.72/84.87 c | 96523 | 1437 159558 690102 | 2147483647 96523 96 | 0.000 % |
85.22/85.36 c | 96973 | 1437 159558 690102 | 2147483647 96973 96 | 0.000 % |
85.92/86.04 c | 97466 | 1437 159558 690102 | 2147483647 97466 96 | 0.000 % |
86.62/86.75 c | 98010 | 1437 159558 690102 | 2147483647 98010 96 | 0.000 % |
87.51/87.64 c | 98608 | 1437 159558 690102 | 2147483647 98608 96 | 0.000 % |
88.81/88.94 c | 99263 | 1437 159558 690102 | 2147483647 99263 96 | 0.000 % |
89.71/89.83 c | 99983 | 1437 159558 690102 | 2147483647 99983 96 | 0.000 % |
90.71/90.84 c | 100776 | 1437 159558 690102 | 2147483647 100776 96 | 0.000 % |
92.11/92.27 c | 101647 | 1437 159558 690102 | 2147483647 101647 96 | 0.000 % |
93.81/93.96 c | 102607 | 1437 159558 690102 | 2147483647 102607 95 | 0.000 % |
95.81/95.98 c | 103660 | 1437 159558 690102 | 2147483647 103660 95 | 0.000 % |
98.02/98.15 c | 104818 | 1437 159558 690102 | 2147483647 104818 94 | 0.000 % |
98.12/98.28 c | 104920 | 1437 159558 690102 | 2147483647 104920 94 | 0.000 % |
98.32/98.48 c | 105030 | 1437 159558 690102 | 2147483647 105030 94 | 0.000 % |
98.52/98.67 c | 105153 | 1437 159558 690102 | 2147483647 105153 94 | 0.000 % |
98.72/98.88 c | 105288 | 1437 159558 690102 | 2147483647 105288 94 | 0.000 % |
98.92/99.07 c | 105434 | 1437 159558 690102 | 2147483647 105434 94 | 0.000 % |
99.22/99.34 c | 105594 | 1437 159558 690102 | 2147483647 105594 94 | 0.000 % |
99.51/99.62 c | 105770 | 1437 159558 690102 | 2147483647 105770 94 | 0.000 % |
99.81/99.95 c | 105964 | 1437 159558 690102 | 2147483647 105964 94 | 0.000 % |
100.21/100.32 c | 106176 | 1437 159558 690102 | 2147483647 106176 94 | 0.000 % |
100.41/100.54 c | 106410 | 1437 159558 690102 | 2147483647 106410 94 | 0.000 % |
100.71/100.88 c | 106670 | 1437 159558 690102 | 2147483647 106670 94 | 0.000 % |
101.12/101.23 c | 106951 | 1437 159558 690102 | 2147483647 106951 94 | 0.000 % |
101.61/101.76 c | 107261 | 1437 159558 690102 | 2147483647 107261 94 | 0.000 % |
102.01/102.17 c | 107602 | 1437 159558 690102 | 2147483647 107602 94 | 0.000 % |
102.41/102.59 c | 107975 | 1437 159558 690102 | 2147483647 107975 94 | 0.000 % |
102.91/103.01 c | 108385 | 1437 159558 690102 | 2147483647 108385 94 | 0.000 % |
103.91/104.00 c | 108835 | 1437 159558 690102 | 2147483647 108835 94 | 0.000 % |
104.51/104.61 c | 109329 | 1437 159558 690102 | 2147483647 109329 94 | 0.000 % |
105.11/105.22 c | 109873 | 1437 159558 690102 | 2147483647 109873 94 | 0.000 % |
105.70/105.82 c | 110469 | 1437 159558 690102 | 2147483647 110469 95 | 0.000 % |
106.90/107.04 c | 111124 | 1437 159558 690102 | 2147483647 111124 95 | 0.000 % |
108.11/108.26 c | 111844 | 1437 159558 690102 | 2147483647 111844 95 | 0.000 % |
109.51/109.63 c | 112637 | 1437 159558 690102 | 2147483647 112637 94 | 0.000 % |
110.91/111.08 c | 113510 | 1437 159558 690102 | 2147483647 113510 95 | 0.000 % |
113.01/113.11 c | 114471 | 1437 159558 690102 | 2147483647 114471 95 | 0.000 % |
115.10/115.24 c | 115527 | 1437 159558 690102 | 2147483647 115527 95 | 0.000 % |
116.90/117.08 c | 116687 | 1437 159558 690102 | 2147483647 116687 95 | 0.000 % |
118.41/118.57 c | 117963 | 1437 159558 690102 | 2147483647 117963 95 | 0.000 % |
118.61/118.71 c | 118068 | 1437 159558 690102 | 2147483647 118068 95 | 0.000 % |
118.80/118.96 c | 118180 | 1437 159558 690102 | 2147483647 118180 95 | 0.000 % |
119.00/119.12 c | 118303 | 1437 159558 690102 | 2147483647 118303 95 | 0.000 % |
119.20/119.36 c | 118437 | 1437 159558 690102 | 2147483647 118437 96 | 0.000 % |
119.50/119.61 c | 118583 | 1437 159558 690102 | 2147483647 118583 96 | 0.000 % |
119.81/119.98 c | 118744 | 1437 159558 690102 | 2147483647 118744 96 | 0.000 % |
120.10/120.28 c | 118920 | 1437 159558 690102 | 2147483647 118920 96 | 0.000 % |
120.40/120.56 c | 119114 | 1437 159558 690102 | 2147483647 119114 96 | 0.000 % |
120.70/120.88 c | 119328 | 1437 159558 690102 | 2147483647 119328 96 | 0.000 % |
121.10/121.24 c | 119563 | 1437 159558 690102 | 2147483647 119563 96 | 0.000 % |
121.60/121.76 c | 119820 | 1437 159558 690102 | 2147483647 119820 96 | 0.000 % |
122.20/122.34 c | 120101 | 1437 159558 690102 | 2147483647 120101 96 | 0.000 % |
122.60/122.79 c | 120410 | 1437 159558 690102 | 2147483647 120410 96 | 0.000 % |
123.00/123.17 c | 120750 | 1437 159558 690102 | 2147483647 120750 96 | 0.000 % |
123.60/123.76 c | 121123 | 1437 159558 690102 | 2147483647 121123 96 | 0.000 % |
124.30/124.44 c | 121533 | 1437 159558 690102 | 2147483647 121533 96 | 0.000 % |
124.80/124.99 c | 121983 | 1437 159558 690102 | 2147483647 121983 96 | 0.000 % |
125.60/125.72 c | 122476 | 1437 159558 690102 | 2147483647 122476 96 | 0.000 % |
126.20/126.31 c | 123019 | 1437 159558 690102 | 2147483647 123019 96 | 0.000 % |
126.80/126.99 c | 123615 | 1437 159558 690102 | 2147483647 123615 96 | 0.000 % |
127.40/127.55 c | 124271 | 1437 159558 690102 | 2147483647 124271 96 | 0.000 % |
128.00/128.16 c | 124992 | 1437 159558 690102 | 2147483647 124992 96 | 0.000 % |
128.80/128.92 c | 125785 | 1437 159558 690102 | 2147483647 125785 96 | 0.000 % |
129.71/129.82 c | 126656 | 1437 159558 690102 | 2147483647 126656 96 | 0.000 % |
130.40/130.53 c | 127614 | 1437 159558 690102 | 2147483647 127614 96 | 0.000 % |
131.10/131.25 c | 128667 | 1437 159558 690102 | 2147483647 128667 96 | 0.000 % |
131.70/131.86 c | 129825 | 1437 159558 690102 | 2147483647 129825 96 | 0.000 % |
134.00/134.20 c | 131098 | 1437 159558 690102 | 2147483647 131098 96 | 0.000 % |
136.30/136.47 c | 132499 | 1437 159558 690102 | 2147483647 132499 96 | 0.000 % |
136.60/136.76 c | 132599 | 1437 159558 690102 | 2147483647 132599 96 | 0.000 % |
136.90/137.00 c | 132709 | 1437 159558 690102 | 2147483647 132709 96 | 0.000 % |
137.10/137.25 c | 132830 | 1437 159558 690102 | 2147483647 132830 96 | 0.000 % |
137.40/137.54 c | 132963 | 1437 159558 690102 | 2147483647 132963 96 | 0.000 % |
137.60/137.77 c | 133110 | 1437 159558 690102 | 2147483647 133110 96 | 0.000 % |
137.80/137.97 c | 133270 | 1437 159558 690102 | 2147483647 133270 96 | 0.000 % |
138.00/138.20 c | 133447 | 1437 159558 690102 | 2147483647 133447 96 | 0.000 % |
138.50/138.68 c | 133643 | 1437 159558 690102 | 2147483647 133643 96 | 0.000 % |
139.10/139.27 c | 133855 | 1437 159558 690102 | 2147483647 133855 96 | 0.000 % |
139.80/139.91 c | 134091 | 1437 159558 690102 | 2147483647 134091 96 | 0.000 % |
140.19/140.31 c | 134348 | 1437 159558 690102 | 2147483647 134348 96 | 0.000 % |
140.60/140.75 c | 134632 | 1437 159558 690102 | 2147483647 134632 96 | 0.000 % |
140.99/141.14 c | 134944 | 1437 159558 690102 | 2147483647 134944 96 | 0.000 % |
141.70/141.82 c | 135284 | 1437 159558 690102 | 2147483647 135284 96 | 0.000 % |
142.09/142.28 c | 135656 | 1437 159558 690102 | 2147483647 135656 96 | 0.000 % |
142.89/143.08 c | 136065 | 1437 159558 690102 | 2147483647 136065 96 | 0.000 % |
143.99/144.16 c | 136514 | 1437 159558 690102 | 2147483647 136514 96 | 0.000 % |
145.19/145.30 c | 137011 | 1437 159558 690102 | 2147483647 137011 96 | 0.000 % |
146.30/146.44 c | 137553 | 1437 159558 690102 | 2147483647 137553 96 | 0.000 % |
147.49/147.65 c | 138149 | 1437 159558 690102 | 2147483647 138149 96 | 0.000 % |
148.89/149.00 c | 138805 | 1437 159558 690102 | 2147483647 138805 96 | 0.000 % |
150.09/150.25 c | 139527 | 1437 159558 690102 | 2147483647 139527 96 | 0.000 % |
151.29/151.48 c | 140322 | 1437 159558 690102 | 2147483647 140322 97 | 0.000 % |
153.29/153.48 c | 141193 | 1437 159558 690102 | 2147483647 141193 97 | 0.000 % |
155.29/155.44 c | 142152 | 1437 159558 690102 | 2147483647 142152 96 | 0.000 % |
157.79/157.91 c | 143210 | 1437 159558 690102 | 2147483647 143210 96 | 0.000 % |
159.98/160.14 c | 144371 | 1437 159558 690102 | 2147483647 144371 96 | 0.000 % |
162.69/162.84 c | 145644 | 1437 159558 690102 | 2147483647 145644 95 | 0.000 % |
165.68/165.82 c | 147046 | 1437 159558 690102 | 2147483647 147046 95 | 0.000 % |
169.59/169.79 c | 148588 | 1437 159558 690102 | 2147483647 148588 95 | 0.000 % |
169.89/170.09 c | 148690 | 1437 159558 690102 | 2147483647 148690 95 | 0.000 % |
170.19/170.32 c | 148802 | 1437 159558 690102 | 2147483647 148802 95 | 0.000 % |
170.39/170.55 c | 148924 | 1437 159558 690102 | 2147483647 148924 95 | 0.000 % |
170.78/170.91 c | 149057 | 1437 159558 690102 | 2147483647 149057 95 | 0.000 % |
171.18/171.32 c | 149206 | 1437 159558 690102 | 2147483647 149206 95 | 0.000 % |
171.49/171.60 c | 149367 | 1437 159558 690102 | 2147483647 149367 95 | 0.000 % |
171.88/172.06 c | 149543 | 1437 159558 690102 | 2147483647 149543 95 | 0.000 % |
172.38/172.50 c | 149737 | 1437 159558 690102 | 2147483647 149737 95 | 0.000 % |
172.88/173.09 c | 149949 | 1437 159558 690102 | 2147483647 149949 95 | 0.000 % |
173.28/173.49 c | 150183 | 1437 159558 690102 | 2147483647 150183 95 | 0.000 % |
173.68/173.89 c | 150439 | 1437 159558 690102 | 2147483647 150439 95 | 0.000 % |
174.28/174.41 c | 150722 | 1437 159558 690102 | 2147483647 150722 95 | 0.000 % |
175.08/175.25 c | 151031 | 1437 159558 690102 | 2147483647 151031 95 | 0.000 % |
176.08/176.28 c | 151371 | 1437 159558 690102 | 2147483647 151371 95 | 0.000 % |
177.08/177.23 c | 151743 | 1437 159558 690102 | 2147483647 151743 95 | 0.000 % |
177.78/177.90 c | 152152 | 1437 159558 690102 | 2147483647 152152 95 | 0.000 % |
178.78/178.97 c | 152601 | 1437 159558 690102 | 2147483647 152601 95 | 0.000 % |
179.98/180.15 c | 153094 | 1437 159558 690102 | 2147483647 153094 95 | 0.000 % |
181.39/181.56 c | 153636 | 1437 159558 690102 | 2147483647 153636 95 | 0.000 % |
182.49/182.61 c | 154232 | 1437 159558 690102 | 2147483647 154232 95 | 0.000 % |
183.58/183.75 c | 154888 | 1437 159558 690102 | 2147483647 154888 95 | 0.000 % |
185.38/185.53 c | 155608 | 1437 159558 690102 | 2147483647 155608 95 | 0.000 % |
186.78/186.93 c | 156400 | 1437 159558 690102 | 2147483647 156400 95 | 0.000 % |
188.88/189.05 c | 157271 | 1437 159558 690102 | 2147483647 157271 95 | 0.000 % |
190.47/190.65 c | 158229 | 1437 159558 690102 | 2147483647 158229 95 | 0.000 % |
191.77/191.99 c | 159282 | 1437 159558 690102 | 2147483647 159282 95 | 0.000 % |
194.47/194.67 c | 160443 | 1437 159558 690102 | 2147483647 160443 95 | 0.000 % |
197.58/197.73 c | 161717 | 1437 159558 690102 | 2147483647 161717 95 | 0.000 % |
200.87/201.03 c | 163119 | 1437 159558 690102 | 2147483647 163119 95 | 0.000 % |
203.17/203.36 c | 164659 | 1437 159558 690102 | 2147483647 164659 94 | 0.000 % |
205.47/205.66 c | 166353 | 1437 159558 690102 | 2147483647 166353 94 | 0.000 % |
205.67/205.88 c | 166453 | 1437 159558 690102 | 2147483647 166453 94 | 0.000 % |
205.97/206.15 c | 166565 | 1437 159558 690102 | 2147483647 166565 94 | 0.000 % |
206.27/206.48 c | 166688 | 1437 159558 690102 | 2147483647 166688 94 | 0.000 % |
206.67/206.87 c | 166822 | 1437 159558 690102 | 2147483647 166822 94 | 0.000 % |
207.07/207.22 c | 166970 | 1437 159558 690102 | 2147483647 166970 94 | 0.000 % |
207.57/207.78 c | 167133 | 1437 159558 690102 | 2147483647 167133 94 | 0.000 % |
207.97/208.18 c | 167310 | 1437 159558 690102 | 2147483647 167310 94 | 0.000 % |
208.36/208.55 c | 167506 | 1437 159558 690102 | 2147483647 167506 94 | 0.000 % |
208.87/209.04 c | 167718 | 1437 159558 690102 | 2147483647 167718 94 | 0.000 % |
209.26/209.41 c | 167951 | 1437 159558 690102 | 2147483647 167951 94 | 0.000 % |
209.66/209.82 c | 168211 | 1437 159558 690102 | 2147483647 168211 94 | 0.000 % |
210.06/210.25 c | 168494 | 1437 159558 690102 | 2147483647 168494 94 | 0.000 % |
210.56/210.77 c | 168807 | 1437 159558 690102 | 2147483647 168807 95 | 0.000 % |
211.16/211.37 c | 169146 | 1437 159558 690102 | 2147483647 169146 95 | 0.000 % |
211.86/212.05 c | 169519 | 1437 159558 690102 | 2147483647 169519 95 | 0.000 % |
212.76/212.91 c | 169930 | 1437 159558 690102 | 2147483647 169930 95 | 0.000 % |
213.87/214.01 c | 170379 | 1437 159558 690102 | 2147483647 170379 95 | 0.000 % |
214.57/214.70 c | 170872 | 1437 159558 690102 | 2147483647 170872 95 | 0.000 % |
215.37/215.52 c | 171414 | 1437 159558 690102 | 2147483647 171414 95 | 0.000 % |
216.77/216.98 c | 172010 | 1437 159558 690102 | 2147483647 172010 95 | 0.000 % |
218.37/218.55 c | 172666 | 1437 159558 690102 | 2147483647 172666 95 | 0.000 % |
219.66/219.86 c | 173387 | 1437 159558 690102 | 2147483647 173387 95 | 0.000 % |
221.26/221.46 c | 174180 | 1437 159558 690102 | 2147483647 174180 95 | 0.000 % |
222.46/222.65 c | 175051 | 1437 159558 690102 | 2147483647 175051 95 | 0.000 % |
224.05/224.24 c | 176009 | 1437 159558 690102 | 2147483647 176009 95 | 0.000 % |
225.86/226.07 c | 177063 | 1437 159558 690102 | 2147483647 177063 95 | 0.000 % |
228.86/229.07 c | 178222 | 1437 159558 690102 | 2147483647 178222 95 | 0.000 % |
232.55/232.74 c | 179496 | 1437 159558 690102 | 2147483647 179496 96 | 0.000 % |
234.75/234.96 c | 180903 | 1437 159558 690102 | 2147483647 180903 96 | 0.000 % |
237.36/237.56 c | 182443 | 1437 159558 690102 | 2147483647 182443 96 | 0.000 % |
239.85/240.01 c | 184137 | 1437 159558 690102 | 2147483647 184137 96 | 0.000 % |
242.96/243.19 c | 186001 | 1437 159558 690102 | 2147483647 186001 96 | 0.000 % |
243.25/243.49 c | 186103 | 1437 159558 690102 | 2147483647 186103 96 | 0.000 % |
243.55/243.71 c | 186213 | 1437 159558 690102 | 2147483647 186213 96 | 0.000 % |
243.85/244.05 c | 186334 | 1437 159558 690102 | 2147483647 186334 96 | 0.000 % |
244.25/244.47 c | 186469 | 1437 159558 690102 | 2147483647 186469 96 | 0.000 % |
244.55/244.79 c | 186616 | 1437 159558 690102 | 2147483647 186616 96 | 0.000 % |
245.06/245.22 c | 186777 | 1437 159558 690102 | 2147483647 186777 96 | 0.000 % |
245.55/245.71 c | 186953 | 1437 159558 690102 | 2147483647 186953 96 | 0.000 % |
245.95/246.20 c | 187147 | 1437 159558 690102 | 2147483647 187147 96 | 0.000 % |
246.55/246.76 c | 187360 | 1437 159558 690102 | 2147483647 187360 96 | 0.000 % |
247.05/247.29 c | 187593 | 1437 159558 690102 | 2147483647 187593 96 | 0.000 % |
247.65/247.85 c | 187851 | 1437 159558 690102 | 2147483647 187851 96 | 0.000 % |
248.15/248.39 c | 188133 | 1437 159558 690102 | 2147483647 188133 96 | 0.000 % |
249.15/249.37 c | 188444 | 1437 159558 690102 | 2147483647 188444 96 | 0.000 % |
250.25/250.43 c | 188786 | 1437 159558 690102 | 2147483647 188786 96 | 0.000 % |
251.45/251.64 c | 189158 | 1437 159558 690102 | 2147483647 189158 96 | 0.000 % |
252.65/252.85 c | 189571 | 1437 159558 690102 | 2147483647 189571 96 | 0.000 % |
253.95/254.14 c | 190020 | 1437 159558 690102 | 2147483647 190020 96 | 0.000 % |
254.85/255.01 c | 190514 | 1437 159558 690102 | 2147483647 190514 96 | 0.000 % |
256.05/256.26 c | 191056 | 1437 159558 690102 | 2147483647 191056 96 | 0.000 % |
257.25/257.41 c | 191652 | 1437 159558 690102 | 2147483647 191652 96 | 0.000 % |
258.35/258.56 c | 192308 | 1437 159558 690102 | 2147483647 192308 96 | 0.000 % |
260.64/260.81 c | 193028 | 1437 159558 690102 | 2147483647 193028 96 | 0.000 % |
262.75/262.91 c | 193822 | 1437 159558 690102 | 2147483647 193822 96 | 0.000 % |
264.64/264.86 c | 194695 | 1437 159558 690102 | 2147483647 194695 96 | 0.000 % |
266.74/266.91 c | 195653 | 1437 159558 690102 | 2147483647 195653 96 | 0.000 % |
268.53/268.79 c | 196710 | 1437 159558 690102 | 2147483647 196710 96 | 0.000 % |
270.63/270.81 c | 197869 | 1437 159558 690102 | 2147483647 197869 96 | 0.000 % |
272.93/273.12 c | 199142 | 1437 159558 690102 | 2147483647 199142 96 | 0.000 % |
276.24/276.45 c | 200543 | 1437 159558 690102 | 2147483647 200543 96 | 0.000 % |
279.63/279.86 c | 202084 | 1437 159558 690102 | 2147483647 202084 96 | 0.000 % |
283.03/283.26 c | 203781 | 1437 159558 690102 | 2147483647 203781 96 | 0.000 % |
285.84/286.06 c | 205645 | 1437 159558 690102 | 2147483647 205645 97 | 0.000 % |
289.93/290.13 c | 207695 | 1437 159558 690102 | 2147483647 207695 97 | 0.000 % |
290.14/290.37 c | 207795 | 1437 159558 690102 | 2147483647 207795 97 | 0.000 % |
290.53/290.75 c | 207908 | 1437 159558 690102 | 2147483647 207908 97 | 0.000 % |
290.83/291.06 c | 208029 | 1437 159558 690102 | 2147483647 208029 97 | 0.000 % |
291.34/291.51 c | 208162 | 1437 159558 690102 | 2147483647 208162 97 | 0.000 % |
291.73/291.99 c | 208308 | 1437 159558 690102 | 2147483647 208308 97 | 0.000 % |
292.33/292.55 c | 208468 | 1437 159558 690102 | 2147483647 208468 97 | 0.000 % |
292.93/293.17 c | 208644 | 1437 159558 690102 | 2147483647 208644 97 | 0.000 % |
293.53/293.77 c | 208840 | 1437 159558 690102 | 2147483647 208840 97 | 0.000 % |
294.33/294.51 c | 209053 | 1437 159558 690102 | 2147483647 209053 97 | 0.000 % |
294.93/295.12 c | 209287 | 1437 159558 690102 | 2147483647 209287 97 | 0.000 % |
295.63/295.84 c | 209543 | 1437 159558 690102 | 2147483647 209543 97 | 0.000 % |
296.33/296.53 c | 209825 | 1437 159558 690102 | 2147483647 209825 97 | 0.000 % |
297.03/297.27 c | 210135 | 1437 159558 690102 | 2147483647 210135 97 | 0.000 % |
297.83/298.02 c | 210474 | 1437 159558 690102 | 2147483647 210474 97 | 0.000 % |
298.42/298.66 c | 210847 | 1437 159558 690102 | 2147483647 210847 97 | 0.000 % |
299.12/299.31 c | 211257 | 1437 159558 690102 | 2147483647 211257 97 | 0.000 % |
300.13/300.31 c | 211707 | 1437 159558 690102 | 2147483647 211707 97 | 0.000 % |
301.32/301.56 c | 212201 | 1437 159558 690102 | 2147483647 212201 97 | 0.000 % |
302.92/303.12 c | 212744 | 1437 159558 690102 | 2147483647 212744 97 | 0.000 % |
304.72/304.95 c | 213340 | 1437 159558 690102 | 2147483647 213340 97 | 0.000 % |
305.92/306.16 c | 213996 | 1437 159558 690102 | 2147483647 213996 97 | 0.000 % |
308.12/308.32 c | 214717 | 1437 159558 690102 | 2147483647 214717 97 | 0.000 % |
309.22/309.47 c | 215509 | 1437 159558 690102 | 2147483647 215509 97 | 0.000 % |
311.12/311.32 c | 216380 | 1437 159558 690102 | 2147483647 216380 97 | 0.000 % |
313.51/313.79 c | 217338 | 1437 159558 690102 | 2147483647 217338 97 | 0.000 % |
315.43/315.67 c | 218391 | 1437 159558 690102 | 2147483647 218391 97 | 0.000 % |
317.52/317.76 c | 219551 | 1437 159558 690102 | 2147483647 219551 97 | 0.000 % |
319.92/320.11 c | 220824 | 1437 159558 690102 | 2147483647 220824 97 | 0.000 % |
323.62/323.87 c | 222224 | 1437 159558 690102 | 2147483647 222224 97 | 0.000 % |
327.01/327.20 c | 223764 | 1437 159558 690102 | 2147483647 223764 97 | 0.000 % |
331.71/332.00 c | 225458 | 1437 159558 690102 | 2147483647 225458 97 | 0.000 % |
337.70/337.93 c | 227322 | 1437 159558 690102 | 2147483647 227322 97 | 0.000 % |
344.20/344.42 c | 229371 | 1437 159558 690102 | 2147483647 229371 97 | 0.000 % |
348.81/349.01 c | 231625 | 1437 159558 690102 | 2147483647 231625 97 | 0.000 % |
349.01/349.26 c | 231725 | 1437 159558 690102 | 2147483647 231725 97 | 0.000 % |
349.41/349.64 c | 231836 | 1437 159558 690102 | 2147483647 231836 97 | 0.000 % |
349.71/349.98 c | 231957 | 1437 159558 690102 | 2147483647 231957 97 | 0.000 % |
350.21/350.40 c | 232091 | 1437 159558 690102 | 2147483647 232091 97 | 0.000 % |
350.51/350.75 c | 232238 | 1437 159558 690102 | 2147483647 232238 97 | 0.000 % |
350.90/351.19 c | 232399 | 1437 159558 690102 | 2147483647 232399 97 | 0.000 % |
351.71/351.91 c | 232578 | 1437 159558 690102 | 2147483647 232578 97 | 0.000 % |
352.11/352.32 c | 232773 | 1437 159558 690102 | 2147483647 232773 97 | 0.000 % |
352.70/352.93 c | 232986 | 1437 159558 690102 | 2147483647 232986 97 | 0.000 % |
353.10/353.39 c | 233222 | 1437 159558 690102 | 2147483647 233222 97 | 0.000 % |
354.01/354.23 c | 233478 | 1437 159558 690102 | 2147483647 233478 97 | 0.000 % |
354.80/355.09 c | 233759 | 1437 159558 690102 | 2147483647 233759 97 | 0.000 % |
355.60/355.80 c | 234068 | 1437 159558 690102 | 2147483647 234068 97 | 0.000 % |
356.40/356.61 c | 234409 | 1437 159558 690102 | 2147483647 234409 97 | 0.000 % |
357.40/357.60 c | 234784 | 1437 159558 690102 | 2147483647 234784 97 | 0.000 % |
358.30/358.52 c | 235194 | 1437 159558 690102 | 2147483647 235194 97 | 0.000 % |
359.19/359.41 c | 235644 | 1437 159558 690102 | 2147483647 235644 97 | 0.000 % |
360.09/360.37 c | 236137 | 1437 159558 690102 | 2147483647 236137 97 | 0.000 % |
361.29/361.54 c | 236679 | 1437 159558 690102 | 2147483647 236679 97 | 0.000 % |
363.00/363.22 c | 237275 | 1437 159558 690102 | 2147483647 237275 97 | 0.000 % |
363.90/364.19 c | 237932 | 1437 159558 690102 | 2147483647 237932 97 | 0.000 % |
366.40/366.64 c | 238652 | 1437 159558 690102 | 2147483647 238652 97 | 0.000 % |
368.60/368.86 c | 239444 | 1437 159558 690102 | 2147483647 239444 97 | 0.000 % |
371.09/371.30 c | 240317 | 1437 159558 690102 | 2147483647 240317 97 | 0.000 % |
372.79/373.03 c | 241276 | 1437 159558 690102 | 2147483647 241276 97 | 0.000 % |
375.89/376.16 c | 242329 | 1437 159558 690102 | 2147483647 242329 97 | 0.000 % |
378.29/378.55 c | 243488 | 1437 159558 690102 | 2147483647 243488 96 | 0.000 % |
381.29/381.58 c | 244761 | 1437 159558 690102 | 2147483647 244761 96 | 0.000 % |
384.39/384.64 c | 246162 | 1437 159558 690102 | 2147483647 246162 96 | 0.000 % |
389.19/389.45 c | 247702 | 1437 159558 690102 | 2147483647 247702 96 | 0.000 % |
394.48/394.70 c | 249397 | 1437 159558 690102 | 2147483647 249397 96 | 0.000 % |
399.88/400.16 c | 251264 | 1437 159558 690102 | 2147483647 251264 96 | 0.000 % |
404.97/405.27 c | 253313 | 1437 159558 690102 | 2147483647 253313 95 | 0.000 % |
409.08/409.35 c | 255567 | 1437 159558 690102 | 2147483647 255567 95 | 0.000 % |
417.08/417.35 c | 258046 | 1437 159558 690102 | 2147483647 258046 95 | 0.000 % |
417.57/417.82 c | 258149 | 1437 159558 690102 | 2147483647 258149 95 | 0.000 % |
418.18/418.41 c | 258261 | 1437 159558 690102 | 2147483647 258261 95 | 0.000 % |
418.47/418.70 c | 258382 | 1437 159558 690102 | 2147483647 258382 95 | 0.000 % |
418.88/419.15 c | 258516 | 1437 159558 690102 | 2147483647 258516 95 | 0.000 % |
419.47/419.71 c | 258663 | 1437 159558 690102 | 2147483647 258663 95 | 0.000 % |
419.88/420.19 c | 258823 | 1437 159558 690102 | 2147483647 258823 95 | 0.000 % |
420.37/420.61 c | 258999 | 1437 159558 690102 | 2147483647 258999 95 | 0.000 % |
420.87/421.14 c | 259192 | 1437 159558 690102 | 2147483647 259192 95 | 0.000 % |
421.37/421.68 c | 259404 | 1437 159558 690102 | 2147483647 259404 95 | 0.000 % |
422.37/422.62 c | 259638 | 1437 159558 690102 | 2147483647 259638 95 | 0.000 % |
423.07/423.40 c | 259898 | 1437 159558 690102 | 2147483647 259898 95 | 0.000 % |
423.97/424.25 c | 260182 | 1437 159558 690102 | 2147483647 260182 95 | 0.000 % |
424.87/425.18 c | 260492 | 1437 159558 690102 | 2147483647 260492 95 | 0.000 % |
425.57/425.84 c | 260832 | 1437 159558 690102 | 2147483647 260832 95 | 0.000 % |
426.57/426.89 c | 261204 | 1437 159558 690102 | 2147483647 261204 95 | 0.000 % |
428.37/428.65 c | 261614 | 1437 159558 690102 | 2147483647 261614 95 | 0.000 % |
430.07/430.33 c | 262063 | 1437 159558 690102 | 2147483647 262063 95 | 0.000 % |
431.46/431.74 c | 262559 | 1437 159558 690102 | 2147483647 262559 95 | 0.000 % |
433.56/433.85 c | 263101 | 1437 159558 690102 | 2147483647 263101 95 | 0.000 % |
435.57/435.81 c | 263697 | 1437 159558 690102 | 2147483647 263697 95 | 0.000 % |
436.87/437.13 c | 264352 | 1437 159558 690102 | 2147483647 264352 96 | 0.000 % |
438.47/438.75 c | 265072 | 1437 159558 690102 | 2147483647 265072 96 | 0.000 % |
441.57/441.82 c | 265864 | 1437 159558 690102 | 2147483647 265864 96 | 0.000 % |
443.77/444.07 c | 266735 | 1437 159558 690102 | 2147483647 266735 96 | 0.000 % |
446.76/447.08 c | 267693 | 1437 159558 690102 | 2147483647 267693 96 | 0.000 % |
450.16/450.49 c | 268748 | 1437 159558 690102 | 2147483647 268748 95 | 0.000 % |
452.56/452.82 c | 269906 | 1437 159558 690102 | 2147483647 269906 96 | 0.000 % |
455.46/455.72 c | 271180 | 1437 159558 690102 | 2147483647 271180 96 | 0.000 % |
459.95/460.23 c | 272581 | 1437 159558 690102 | 2147483647 272581 96 | 0.000 % |
464.46/464.70 c | 274121 | 1437 159558 690102 | 2147483647 274121 96 | 0.000 % |
468.56/468.84 c | 275815 | 1437 159558 690102 | 2147483647 275815 96 | 0.000 % |
473.76/474.08 c | 277680 | 1437 159558 690102 | 2147483647 277680 96 | 0.000 % |
480.25/480.52 c | 279730 | 1437 159558 690102 | 2147483647 279730 96 | 0.000 % |
487.95/488.20 c | 281983 | 1437 159558 690102 | 2147483647 281983 96 | 0.000 % |
496.74/497.01 c | 284462 | 1437 159558 690102 | 2147483647 284462 96 | 0.000 % |
505.94/506.26 c | 287192 | 1437 159558 690102 | 2147483647 287192 95 | 0.000 % |
506.24/506.59 c | 287292 | 1437 159558 690102 | 2147483647 287292 95 | 0.000 % |
506.64/506.99 c | 287405 | 1437 159558 690102 | 2147483647 287405 95 | 0.000 % |
507.05/507.39 c | 287526 | 1437 159558 690102 | 2147483647 287526 95 | 0.000 % |
507.65/507.90 c | 287659 | 1437 159558 690102 | 2147483647 287659 95 | 0.000 % |
508.25/508.54 c | 287805 | 1437 159558 690102 | 2147483647 287805 95 | 0.000 % |
508.75/509.03 c | 287965 | 1437 159558 690102 | 2147483647 287965 95 | 0.000 % |
509.45/509.80 c | 288142 | 1437 159558 690102 | 2147483647 288142 95 | 0.000 % |
509.95/510.29 c | 288335 | 1437 159558 690102 | 2147483647 288335 95 | 0.000 % |
510.84/511.17 c | 288547 | 1437 159558 690102 | 2147483647 288547 95 | 0.000 % |
511.44/511.79 c | 288780 | 1437 159558 690102 | 2147483647 288780 95 | 0.000 % |
512.04/512.38 c | 289036 | 1437 159558 690102 | 2147483647 289036 95 | 0.000 % |
513.24/513.54 c | 289317 | 1437 159558 690102 | 2147483647 289317 95 | 0.000 % |
514.04/514.32 c | 289626 | 1437 159558 690102 | 2147483647 289626 95 | 0.000 % |
514.64/514.95 c | 289966 | 1437 159558 690102 | 2147483647 289966 95 | 0.000 % |
515.64/515.94 c | 290338 | 1437 159558 690102 | 2147483647 290338 95 | 0.000 % |
516.54/516.86 c | 290748 | 1437 159558 690102 | 2147483647 290748 95 | 0.000 % |
517.54/517.83 c | 291197 | 1437 159558 690102 | 2147483647 291197 95 | 0.000 % |
518.84/519.11 c | 291691 | 1437 159558 690102 | 2147483647 291691 95 | 0.000 % |
520.84/521.18 c | 292233 | 1437 159558 690102 | 2147483647 292233 95 | 0.000 % |
522.24/522.55 c | 292832 | 1437 159558 690102 | 2147483647 292832 95 | 0.000 % |
523.93/524.21 c | 293491 | 1437 159558 690102 | 2147483647 293491 95 | 0.000 % |
525.63/525.97 c | 294211 | 1437 159558 690102 | 2147483647 294211 95 | 0.000 % |
527.33/527.64 c | 295006 | 1437 159558 690102 | 2147483647 295006 95 | 0.000 % |
529.73/530.09 c | 295879 | 1437 159558 690102 | 2147483647 295879 95 | 0.000 % |
532.84/533.18 c | 296837 | 1437 159558 690102 | 2147483647 296837 95 | 0.000 % |
536.63/536.99 c | 297892 | 1437 159558 690102 | 2147483647 297892 95 | 0.000 % |
540.93/541.20 c | 299050 | 1437 159558 690102 | 2147483647 299050 95 | 0.000 % |
544.23/544.54 c | 300323 | 1437 159558 690102 | 2147483647 300323 95 | 0.000 % |
547.73/548.07 c | 301723 | 1437 159558 690102 | 2147483647 301723 96 | 0.000 % |
553.72/554.04 c | 303264 | 1437 159558 690102 | 2147483647 303264 96 | 0.000 % |
557.93/558.29 c | 304959 | 1437 159558 690102 | 2147483647 304959 96 | 0.000 % |
564.92/565.26 c | 306822 | 1437 159558 690102 | 2147483647 306822 96 | 0.000 % |
570.22/570.59 c | 308872 | 1437 159558 690102 | 2147483647 308872 96 | 0.000 % |
577.71/578.06 c | 311125 | 1437 159558 690102 | 2147483647 311125 96 | 0.000 % |
583.72/584.03 c | 313605 | 1437 159558 690102 | 2147483647 313605 96 | 0.000 % |
591.42/591.72 c | 316331 | 1437 159558 690102 | 2147483647 316331 96 | 0.000 % |
600.11/600.48 c | 319328 | 1437 159558 690102 | 2147483647 319328 95 | 0.000 % |
600.51/600.84 c | 319429 | 1437 159558 690102 | 2147483647 319429 95 | 0.000 % |
600.91/601.22 c | 319540 | 1437 159558 690102 | 2147483647 319540 95 | 0.000 % |
601.41/601.76 c | 319661 | 1437 159558 690102 | 2147483647 319661 95 | 0.000 % |
602.11/602.46 c | 319794 | 1437 159558 690102 | 2147483647 319794 95 | 0.000 % |
602.61/602.97 c | 319940 | 1437 159558 690102 | 2147483647 319940 95 | 0.000 % |
603.01/603.39 c | 320101 | 1437 159558 690102 | 2147483647 320101 95 | 0.000 % |
603.61/603.98 c | 320279 | 1437 159558 690102 | 2147483647 320279 95 | 0.000 % |
604.41/604.72 c | 320473 | 1437 159558 690102 | 2147483647 320473 95 | 0.000 % |
605.01/605.30 c | 320686 | 1437 159558 690102 | 2147483647 320686 95 | 0.000 % |
605.71/606.02 c | 320919 | 1437 159558 690102 | 2147483647 320919 95 | 0.000 % |
606.61/606.94 c | 321175 | 1437 159558 690102 | 2147483647 321175 95 | 0.000 % |
608.10/608.48 c | 321457 | 1437 159558 690102 | 2147483647 321457 95 | 0.000 % |
609.50/609.82 c | 321767 | 1437 159558 690102 | 2147483647 321767 95 | 0.000 % |
610.90/611.24 c | 322108 | 1437 159558 690102 | 2147483647 322108 95 | 0.000 % |
612.50/612.80 c | 322484 | 1437 159558 690102 | 2147483647 322484 95 | 0.000 % |
614.20/614.53 c | 322893 | 1437 159558 690102 | 2147483647 322893 95 | 0.000 % |
616.10/616.45 c | 323342 | 1437 159558 690102 | 2147483647 323342 95 | 0.000 % |
617.50/617.86 c | 323835 | 1437 159558 690102 | 2147483647 323835 95 | 0.000 % |
619.60/619.94 c | 324378 | 1437 159558 690102 | 2147483647 324378 95 | 0.000 % |
621.70/622.00 c | 324977 | 1437 159558 690102 | 2147483647 324977 95 | 0.000 % |
623.61/623.95 c | 325632 | 1437 159558 690102 | 2147483647 325632 95 | 0.000 % |
625.61/625.97 c | 326353 | 1437 159558 690102 | 2147483647 326353 95 | 0.000 % |
628.60/628.98 c | 327145 | 1437 159558 690102 | 2147483647 327145 95 | 0.000 % |
632.30/632.68 c | 328017 | 1437 159558 690102 | 2147483647 328017 95 | 0.000 % |
636.00/636.36 c | 328976 | 1437 159558 690102 | 2147483647 328976 95 | 0.000 % |
638.29/638.67 c | 330029 | 1437 159558 690102 | 2147483647 330029 95 | 0.000 % |
641.50/641.83 c | 331189 | 1437 159558 690102 | 2147483647 331189 95 | 0.000 % |
644.60/644.99 c | 332463 | 1437 159558 690102 | 2147483647 332463 95 | 0.000 % |
648.39/648.73 c | 333863 | 1437 159558 690102 | 2147483647 333863 95 | 0.000 % |
651.39/651.71 c | 335405 | 1437 159558 690102 | 2147483647 335405 96 | 0.000 % |
657.79/658.12 c | 337099 | 1437 159558 690102 | 2147483647 337099 96 | 0.000 % |
664.78/665.18 c | 338965 | 1437 159558 690102 | 2147483647 338965 96 | 0.000 % |
672.79/673.10 c | 341015 | 1437 159558 690102 | 2147483647 341015 96 | 0.000 % |
679.78/680.11 c | 343269 | 1437 159558 690102 | 2147483647 343269 96 | 0.000 % |
685.38/685.72 c | 345747 | 1437 159558 690102 | 2147483647 345747 96 | 0.000 % |
695.38/695.79 c | 348472 | 1437 159558 690102 | 2147483647 348472 96 | 0.000 % |
707.57/707.97 c | 351472 | 1437 159558 690102 | 2147483647 351472 96 | 0.000 % |
715.78/716.15 c | 354768 | 1437 159558 690102 | 2147483647 354768 96 | 0.000 % |
716.07/716.47 c | 354869 | 1437 159558 690102 | 2147483647 354869 96 | 0.000 % |
716.47/716.89 c | 354979 | 1437 159558 690102 | 2147483647 354979 96 | 0.000 % |
716.97/717.30 c | 355100 | 1437 159558 690102 | 2147483647 355100 96 | 0.000 % |
717.47/717.84 c | 355234 | 1437 159558 690102 | 2147483647 355234 96 | 0.000 % |
718.17/718.52 c | 355380 | 1437 159558 690102 | 2147483647 355380 96 | 0.000 % |
718.77/719.13 c | 355540 | 1437 159558 690102 | 2147483647 355540 96 | 0.000 % |
719.37/719.76 c | 355716 | 1437 159558 690102 | 2147483647 355716 96 | 0.000 % |
720.37/720.71 c | 355909 | 1437 159558 690102 | 2147483647 355909 96 | 0.000 % |
721.17/721.50 c | 356124 | 1437 159558 690102 | 2147483647 356124 96 | 0.000 % |
722.17/722.53 c | 356357 | 1437 159558 690102 | 2147483647 356357 96 | 0.000 % |
722.77/723.13 c | 356613 | 1437 159558 690102 | 2147483647 356613 96 | 0.000 % |
723.67/724.09 c | 356894 | 1437 159558 690102 | 2147483647 356894 96 | 0.000 % |
724.57/724.93 c | 357203 | 1437 159558 690102 | 2147483647 357203 96 | 0.000 % |
726.07/726.47 c | 357546 | 1437 159558 690102 | 2147483647 357546 96 | 0.000 % |
727.97/728.30 c | 357918 | 1437 159558 690102 | 2147483647 357918 96 | 0.000 % |
728.97/729.40 c | 358327 | 1437 159558 690102 | 2147483647 358327 96 | 0.000 % |
730.47/730.83 c | 358776 | 1437 159558 690102 | 2147483647 358776 96 | 0.000 % |
731.86/732.30 c | 359269 | 1437 159558 690102 | 2147483647 359269 96 | 0.000 % |
733.46/733.87 c | 359811 | 1437 159558 690102 | 2147483647 359811 96 | 0.000 % |
735.57/735.98 c | 360407 | 1437 159558 690102 | 2147483647 360407 96 | 0.000 % |
738.76/739.18 c | 361064 | 1437 159558 690102 | 2147483647 361064 96 | 0.000 % |
742.06/742.42 c | 361786 | 1437 159558 690102 | 2147483647 361786 96 | 0.000 % |
744.36/744.77 c | 362580 | 1437 159558 690102 | 2147483647 362580 96 | 0.000 % |
748.36/748.73 c | 363451 | 1437 159558 690102 | 2147483647 363451 96 | 0.000 % |
752.96/753.37 c | 364409 | 1437 159558 690102 | 2147483647 364409 96 | 0.000 % |
755.76/756.14 c | 365462 | 1437 159558 690102 | 2147483647 365462 96 | 0.000 % |
758.66/759.09 c | 366620 | 1437 159558 690102 | 2147483647 366620 96 | 0.000 % |
762.75/763.12 c | 367893 | 1437 159558 690102 | 2147483647 367893 96 | 0.000 % |
766.65/767.07 c | 369295 | 1437 159558 690102 | 2147483647 369295 96 | 0.000 % |
769.56/769.97 c | 370835 | 1437 159558 690102 | 2147483647 370835 96 | 0.000 % |
773.65/774.00 c | 372529 | 1437 159558 690102 | 2147483647 372529 96 | 0.000 % |
778.15/778.52 c | 374393 | 1437 159558 690102 | 2147483647 374393 96 | 0.000 % |
785.15/785.57 c | 376442 | 1437 159558 690102 | 2147483647 376442 97 | 0.000 % |
792.75/793.11 c | 378695 | 1437 159558 690102 | 2147483647 378695 97 | 0.000 % |
799.25/799.61 c | 381175 | 1437 159558 690102 | 2147483647 381175 97 | 0.000 % |
805.13/805.50 c | 383901 | 1437 159558 690102 | 2147483647 383901 97 | 0.000 % |
814.84/815.28 c | 386898 | 1437 159558 690102 | 2147483647 386898 97 | 0.000 % |
829.63/830.04 c | 390194 | 1437 159558 690102 | 2147483647 390194 96 | 0.000 % |
841.23/841.61 c | 393819 | 1437 159558 690102 | 2147483647 393819 96 | 0.000 % |
841.63/842.07 c | 393919 | 1437 159558 690102 | 2147483647 393919 96 | 0.000 % |
842.23/842.69 c | 394034 | 1437 159558 690102 | 2147483647 394034 96 | 0.000 % |
842.83/843.22 c | 394157 | 1437 159558 690102 | 2147483647 394157 96 | 0.000 % |
843.63/844.02 c | 394290 | 1437 159558 690102 | 2147483647 394290 96 | 0.000 % |
844.13/844.58 c | 394436 | 1437 159558 690102 | 2147483647 394436 96 | 0.000 % |
844.93/845.37 c | 394596 | 1437 159558 690102 | 2147483647 394596 96 | 0.000 % |
845.73/846.10 c | 394773 | 1437 159558 690102 | 2147483647 394773 96 | 0.000 % |
846.43/846.88 c | 394966 | 1437 159558 690102 | 2147483647 394966 96 | 0.000 % |
847.43/847.83 c | 395178 | 1437 159558 690102 | 2147483647 395178 96 | 0.000 % |
848.43/848.83 c | 395412 | 1437 159558 690102 | 2147483647 395412 96 | 0.000 % |
849.93/850.32 c | 395669 | 1437 159558 690102 | 2147483647 395669 96 | 0.000 % |
850.93/851.30 c | 395951 | 1437 159558 690102 | 2147483647 395951 96 | 0.000 % |
852.32/852.77 c | 396261 | 1437 159558 690102 | 2147483647 396261 96 | 0.000 % |
853.72/854.15 c | 396602 | 1437 159558 690102 | 2147483647 396602 96 | 0.000 % |
855.12/855.54 c | 396974 | 1437 159558 690102 | 2147483647 396974 96 | 0.000 % |
856.32/856.72 c | 397384 | 1437 159558 690102 | 2147483647 397384 96 | 0.000 % |
858.32/858.78 c | 397833 | 1437 159558 690102 | 2147483647 397833 96 | 0.000 % |
859.52/859.98 c | 398326 | 1437 159558 690102 | 2147483647 398326 96 | 0.000 % |
862.42/862.85 c | 398869 | 1437 159558 690102 | 2147483647 398869 96 | 0.000 % |
864.92/865.39 c | 399465 | 1437 159558 690102 | 2147483647 399465 96 | 0.000 % |
867.91/868.32 c | 400120 | 1437 159558 690102 | 2147483647 400120 96 | 0.000 % |
871.51/871.95 c | 400841 | 1437 159558 690102 | 2147483647 400841 96 | 0.000 % |
875.12/875.55 c | 401634 | 1437 159558 690102 | 2147483647 401634 96 | 0.000 % |
879.71/880.11 c | 402506 | 1437 159558 690102 | 2147483647 402506 96 | 0.000 % |
882.71/883.12 c | 403465 | 1437 159558 690102 | 2147483647 403465 96 | 0.000 % |
888.20/888.65 c | 404518 | 1437 159558 690102 | 2147483647 404518 96 | 0.000 % |
893.91/894.37 c | 405679 | 1437 159558 690102 | 2147483647 405679 96 | 0.000 % |
900.91/901.34 c | 406952 | 1437 159558 690102 | 2147483647 406952 96 | 0.000 % |
907.01/907.44 c | 408353 | 1437 159558 690102 | 2147483647 408353 96 | 0.000 % |
911.70/912.12 c | 409896 | 1437 159558 690102 | 2147483647 409896 96 | 0.000 % |
916.40/916.89 c | 411590 | 1437 159558 690102 | 2147483647 411590 96 | 0.000 % |
921.80/922.25 c | 413453 | 1437 159558 690102 | 2147483647 413453 97 | 0.000 % |
928.50/928.93 c | 415502 | 1437 159558 690102 | 2147483647 415502 97 | 0.000 % |
934.09/934.52 c | 417755 | 1437 159558 690102 | 2147483647 417755 97 | 0.000 % |
942.39/942.81 c | 420233 | 1437 159558 690102 | 420001 420233 97 | 0.000 % |
951.19/951.61 c | 422958 | 1437 159558 690102 | 420001 357819 96 | 0.000 % |
958.68/959.14 c | 425955 | 1437 159558 690102 | 420001 360816 97 | 0.000 % |
972.48/972.99 c | 429253 | 1437 159558 690102 | 420001 364114 97 | 0.000 % |
986.67/987.14 c | 432878 | 1437 159558 690102 | 2147483647 367739 97 | 0.000 % |
1002.57/1003.04 c | 436865 | 1437 159558 690102 | 2147483647 371726 96 | 0.000 % |
1002.97/1003.49 c | 436968 | 1437 159558 690102 | 2147483647 371829 96 | 0.000 % |
1003.57/1004.01 c | 437079 | 1437 159558 690102 | 2147483647 371940 96 | 0.000 % |
1003.97/1004.42 c | 437202 | 1437 159558 690102 | 2147483647 372063 96 | 0.000 % |
1004.47/1004.96 c | 437336 | 1437 159558 690102 | 2147483647 372197 96 | 0.000 % |
1005.07/1005.59 c | 437482 | 1437 159558 690102 | 2147483647 372343 96 | 0.000 % |
1005.87/1006.39 c | 437642 | 1437 159558 690102 | 2147483647 372503 96 | 0.000 % |
1006.47/1006.91 c | 437820 | 1437 159558 690102 | 2147483647 372681 96 | 0.000 % |
1007.27/1007.72 c | 438014 | 1437 159558 690102 | 2147483647 372875 96 | 0.000 % |
1008.36/1008.80 c | 438228 | 1437 159558 690102 | 2147483647 373089 96 | 0.000 % |
1009.56/1010.04 c | 438461 | 1437 159558 690102 | 2147483647 373322 96 | 0.000 % |
1010.86/1011.30 c | 438717 | 1437 159558 690102 | 2147483647 373578 96 | 0.000 % |
1011.76/1012.24 c | 439001 | 1437 159558 690102 | 2147483647 373862 96 | 0.000 % |
1013.56/1014.06 c | 439312 | 1437 159558 690102 | 2147483647 374173 96 | 0.000 % |
1014.66/1015.13 c | 439654 | 1437 159558 690102 | 2147483647 374515 96 | 0.000 % |
1016.06/1016.57 c | 440027 | 1437 159558 690102 | 2147483647 374888 96 | 0.000 % |
1017.56/1018.06 c | 440436 | 1437 159558 690102 | 2147483647 375297 96 | 0.000 % |
1018.87/1019.33 c | 440885 | 1437 159558 690102 | 2147483647 375746 96 | 0.000 % |
1020.27/1020.75 c | 441382 | 1437 159558 690102 | 2147483647 376243 96 | 0.000 % |
1022.07/1022.52 c | 441924 | 1437 159558 690102 | 2147483647 376785 96 | 0.000 % |
1024.07/1024.57 c | 442523 | 1437 159558 690102 | 2147483647 377384 96 | 0.000 % |
1026.66/1027.17 c | 443182 | 1437 159558 690102 | 2147483647 378043 96 | 0.000 % |
1030.06/1030.50 c | 443907 | 1437 159558 690102 | 2147483647 378768 96 | 0.000 % |
1032.37/1032.84 c | 444699 | 1437 159558 690102 | 2147483647 379560 96 | 0.000 % |
1035.16/1035.62 c | 445570 | 1437 159558 690102 | 2147483647 380431 96 | 0.000 % |
1038.46/1038.96 c | 446528 | 1437 159558 690102 | 2147483647 381389 96 | 0.000 % |
1041.66/1042.12 c | 447581 | 1437 159558 690102 | 2147483647 382442 96 | 0.000 % |
1045.26/1045.75 c | 448740 | 1437 159558 690102 | 2147483647 383601 96 | 0.000 % |
1050.06/1050.57 c | 450013 | 1437 159558 690102 | 2147483647 384874 96 | 0.000 % |
1054.26/1054.78 c | 451413 | 1437 159558 690102 | 2147483647 386274 96 | 0.000 % |
1061.45/1061.95 c | 452953 | 1437 159558 690102 | 2147483647 387814 96 | 0.000 % |
1068.65/1069.14 c | 454647 | 1437 159558 690102 | 2147483647 389508 96 | 0.000 % |
1074.85/1075.35 c | 456510 | 1437 159558 690102 | 2147483647 391371 96 | 0.000 % |
1081.85/1082.39 c | 458559 | 1437 159558 690102 | 2147483647 393420 96 | 0.000 % |
1091.44/1091.99 c | 460812 | 1437 159558 690102 | 2147483647 395673 97 | 0.000 % |
1103.03/1103.54 c | 463290 | 1437 159558 690102 | 2147483647 398151 97 | 0.000 % |
1113.63/1114.15 c | 466015 | 1437 159558 690102 | 2147483647 400876 97 | 0.000 % |
1123.83/1124.30 c | 469013 | 1437 159558 690102 | 2147483647 403874 97 | 0.000 % |
1140.42/1140.99 c | 472310 | 1437 159558 690102 | 2147483647 407171 97 | 0.000 % |
1151.52/1152.03 c | 475937 | 1437 159558 690102 | 2147483647 410798 97 | 0.000 % |
1161.21/1161.76 c | 479933 | 1437 159558 690102 | 2147483647 414794 97 | 0.000 % |
1177.11/1177.60 c | 484318 | 1437 159558 690102 | 414862 372212 97 | 0.000 % |
1177.41/1177.94 c | 484419 | 1437 159558 690102 | 414862 372313 97 | 0.000 % |
1177.91/1178.43 c | 484529 | 1437 159558 690102 | 414862 372423 97 | 0.000 % |
1178.41/1178.93 c | 484653 | 1437 159558 690102 | 414862 372547 97 | 0.000 % |
1179.01/1179.51 c | 484786 | 1437 159558 690102 | 414862 372680 97 | 0.000 % |
1179.71/1180.28 c | 484932 | 1437 159558 690102 | 414862 372826 97 | 0.000 % |
1180.41/1180.98 c | 485095 | 1437 159558 690102 | 414862 372989 97 | 0.000 % |
1181.21/1181.71 c | 485273 | 1437 159558 690102 | 414862 373167 97 | 0.000 % |
1181.91/1182.45 c | 485468 | 1437 159558 690102 | 414862 373362 97 | 0.000 % |
1183.21/1183.71 c | 485683 | 1437 159558 690102 | 414862 373577 97 | 0.000 % |
1184.21/1184.78 c | 485916 | 1437 159558 690102 | 414862 373810 97 | 0.000 % |
1185.41/1185.93 c | 486173 | 1437 159558 690102 | 414862 374067 97 | 0.000 % |
1186.70/1187.21 c | 486455 | 1437 159558 690102 | 414862 374349 97 | 0.000 % |
1188.30/1188.80 c | 486764 | 1437 159558 690102 | 414862 374658 97 | 0.000 % |
1189.71/1190.25 c | 487103 | 1437 159558 690102 | 414862 374997 97 | 0.000 % |
1191.30/1191.87 c | 487475 | 1437 159558 690102 | 414862 375369 97 | 0.001 % |
1193.01/1193.52 c | 487887 | 1437 159558 690102 | 414862 375781 97 | 0.000 % |
1194.90/1195.42 c | 488336 | 1437 159558 690102 | 414862 376230 97 | 0.000 % |
1196.90/1197.41 c | 488829 | 1437 159558 690102 | 414862 376723 97 | 0.000 % |
1199.50/1200.07 c | 489371 | 1437 159558 690102 | 414862 377265 97 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833959-1242826525/watcher-1833959-1242826525 -o /tmp/evaluation-result-1833959-1242826525/solver-1833959-1242826525 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833959-1242826525.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: 1.00 1.00 1.00 3/64 17415
/proc/meminfo: memFree=1876232/2055920 swapFree=4180356/4192956
[pid=17415] ppid=17413 vsize=5356 CPUtime=0
/proc/17415/stat : 17415 (SatELiteGTI) S 17413 17415 17176 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310679781 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 218076250194 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/17415/statm: 1339 235 195 169 0 50 0
[pid=17416] ppid=17415 vsize=5356 CPUtime=0
/proc/17416/stat : 17416 (SatELiteGTI) S 17415 17415 17176 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310679782 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/17416/statm: 1339 238 198 169 0 50 0
[pid=17418] ppid=17416 vsize=5356 CPUtime=0
/proc/17418/stat : 17418 (SatELiteGTI) R 17416 17415 17176 0 -1 4194368 19 0 0 0 0 0 0 0 18 0 1 0 310679782 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076081447 0 0 4096 0 0 0 0 17 1 0 0
/proc/17418/statm: 1339 239 199 169 0 50 0
[startup+0.0444771 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17415
/proc/meminfo: memFree=1876232/2055920 swapFree=4180356/4192956
[pid=17415] ppid=17413 vsize=5356 CPUtime=0
/proc/17415/stat : 17415 (SatELiteGTI) S 17413 17415 17176 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310679781 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17415/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101484 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17415
/proc/meminfo: memFree=1876232/2055920 swapFree=4180356/4192956
[pid=17415] ppid=17413 vsize=5356 CPUtime=0
/proc/17415/stat : 17415 (SatELiteGTI) S 17413 17415 17176 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310679781 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17415/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301517 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17415
/proc/meminfo: memFree=1876232/2055920 swapFree=4180356/4192956
[pid=17415] ppid=17413 vsize=5356 CPUtime=0
/proc/17415/stat : 17415 (SatELiteGTI) S 17413 17415 17176 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310679781 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17415/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701584 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17415
/proc/meminfo: memFree=1876232/2055920 swapFree=4180356/4192956
[pid=17415] ppid=17413 vsize=5356 CPUtime=0
/proc/17415/stat : 17415 (SatELiteGTI) S 17413 17415 17176 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310679781 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17415/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50172 s]
/proc/loadavg: 1.08 1.02 1.01 2/66 17420
/proc/meminfo: memFree=1858936/2055920 swapFree=4180356/4192956
[pid=17415] ppid=17413 vsize=5356 CPUtime=0
/proc/17415/stat : 17415 (SatELiteGTI) S 17413 17415 17176 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310679781 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17415/statm: 1339 237 197 169 0 50 0
[pid=17420] ppid=17415 vsize=18720 CPUtime=1.48
/proc/17420/stat : 17420 (SatELite_releas) R 17415 17415 17176 0 -1 4194304 4095 0 0 0 146 2 0 0 25 0 1 0 310679782 19169280 4078 1992294400 134512640 135223648 4294956128 18446744073709551615 134585544 0 0 4096 3 0 0 0 17 1 0 0
/proc/17420/statm: 4680 4078 76 173 0 4505 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 24076
[startup+3.10199 s]
/proc/loadavg: 1.08 1.02 1.01 2/66 17421
/proc/meminfo: memFree=1862648/2055920 swapFree=4180356/4192956
[pid=17415] ppid=17413 vsize=5356 CPUtime=1.78
/proc/17415/stat : 17415 (SatELiteGTI) S 17413 17415 17176 0 -1 4194304 336 4347 0 0 0 0 174 4 16 0 1 0 310679781 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17415/statm: 1339 239 197 169 0 50 0
[pid=17421] ppid=17415 vsize=11556 CPUtime=1.29
/proc/17421/stat : 17421 (minisat_static) R 17415 17415 17176 0 -1 4194304 2725 0 0 0 128 1 0 0 25 0 1 0 310679961 11833344 2711 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/17421/statm: 2889 2711 77 171 0 2716 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 16912
[startup+6.30152 s]
/proc/loadavg: 1.07 1.02 1.00 2/66 17421
/proc/meminfo: memFree=1858552/2055920 swapFree=4180356/4192956
[pid=17415] ppid=17413 vsize=5356 CPUtime=1.78
/proc/17415/stat : 17415 (SatELiteGTI) S 17413 17415 17176 0 -1 4194304 336 4347 0 0 0 0 174 4 16 0 1 0 310679781 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17415/statm: 1339 239 197 169 0 50 0
[pid=17421] ppid=17415 vsize=14988 CPUtime=4.48
/proc/17421/stat : 17421 (minisat_static) R 17415 17415 17176 0 -1 4194304 3604 0 0 0 447 1 0 0 25 0 1 0 310679961 15347712 3590 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/17421/statm: 3747 3590 77 171 0 3574 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 20344
[startup+12.7016 s]
/proc/loadavg: 1.07 1.02 1.00 2/66 17421
/proc/meminfo: memFree=1852536/2055920 swapFree=4180356/4192956
[pid=17415] ppid=17413 vsize=5356 CPUtime=1.78
/proc/17415/stat : 17415 (SatELiteGTI) S 17413 17415 17176 0 -1 4194304 336 4347 0 0 0 0 174 4 16 0 1 0 310679781 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17415/statm: 1339 239 197 169 0 50 0
[pid=17421] ppid=17415 vsize=20696 CPUtime=10.88
/proc/17421/stat : 17421 (minisat_static) R 17415 17415 17176 0 -1 4194304 5013 0 0 0 1085 3 0 0 25 0 1 0 310679961 21192704 4999 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/17421/statm: 5174 4999 77 171 0 5001 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 26052
[startup+25.5017 s]
/proc/loadavg: 1.05 1.01 1.00 2/66 17421
/proc/meminfo: memFree=1843832/2055920 swapFree=4180356/4192956
[pid=17415] ppid=17413 vsize=5356 CPUtime=1.78
/proc/17415/stat : 17415 (SatELiteGTI) S 17413 17415 17176 0 -1 4194304 336 4347 0 0 0 0 174 4 16 0 1 0 310679781 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17415/statm: 1339 239 197 169 0 50 0
[pid=17421] ppid=17415 vsize=28876 CPUtime=23.68
/proc/17421/stat : 17421 (minisat_static) R 17415 17415 17176 0 -1 4194304 7066 0 0 0 2363 5 0 0 25 0 1 0 310679961 29569024 7052 1992294400 134512640 135215339 4294956240 18446744073709551615 134528858 0 0 4096 3 0 0 0 17 1 0 0
/proc/17421/statm: 7219 7052 77 171 0 7046 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 34232
[startup+51.102 s]
/proc/loadavg: 1.03 1.01 1.00 2/66 17421
/proc/meminfo: memFree=1833336/2055920 swapFree=4180356/4192956
[pid=17415] ppid=17413 vsize=5356 CPUtime=1.78
/proc/17415/stat : 17415 (SatELiteGTI) S 17413 17415 17176 0 -1 4194304 336 4347 0 0 0 0 174 4 16 0 1 0 310679781 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17415/statm: 1339 239 197 169 0 50 0
[pid=17421] ppid=17415 vsize=39508 CPUtime=49.25
/proc/17421/stat : 17421 (minisat_static) R 17415 17415 17176 0 -1 4194304 9680 0 0 0 4917 8 0 0 25 0 1 0 310679961 40456192 9666 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/17421/statm: 9877 9666 77 171 0 9704 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 44864
[startup+102.306 s]
/proc/loadavg: 1.01 1.01 1.00 2/66 17421
/proc/meminfo: memFree=1816248/2055920 swapFree=4180356/4192956
[pid=17415] ppid=17413 vsize=5356 CPUtime=1.78
/proc/17415/stat : 17415 (SatELiteGTI) S 17413 17415 17176 0 -1 4194304 336 4347 0 0 0 0 174 4 16 0 1 0 310679781 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17415/statm: 1339 239 197 169 0 50 0
[pid=17421] ppid=17415 vsize=56412 CPUtime=100.43
/proc/17421/stat : 17421 (minisat_static) R 17415 17415 17176 0 -1 4194304 13911 0 0 0 10030 13 0 0 25 0 1 0 310679961 57765888 13897 1992294400 134512640 135215339 4294956240 18446744073709551615 134528881 0 0 4096 3 0 0 0 17 1 0 0
/proc/17421/statm: 14103 13897 77 171 0 13930 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 61768
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17421
/proc/meminfo: memFree=1799608/2055920 swapFree=4180356/4192956
[pid=17415] ppid=17413 vsize=5356 CPUtime=1.78
/proc/17415/stat : 17415 (SatELiteGTI) S 17413 17415 17176 0 -1 4194304 336 4347 0 0 0 0 174 4 16 0 1 0 310679781 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17415/statm: 1339 239 197 169 0 50 0
[pid=17421] ppid=17415 vsize=73280 CPUtime=160.4
/proc/17421/stat : 17421 (minisat_static) R 17415 17415 17176 0 -1 4194304 18045 0 0 0 16023 17 0 0 25 0 1 0 310679961 75038720 18031 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17421/statm: 18320 18031 77 171 0 18147 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 78636
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17421
/proc/meminfo: memFree=1787256/2055920 swapFree=4180356/4192956
[pid=17415] ppid=17413 vsize=5356 CPUtime=1.78
/proc/17415/stat : 17415 (SatELiteGTI) S 17413 17415 17176 0 -1 4194304 336 4347 0 0 0 0 174 4 16 0 1 0 310679781 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17415/statm: 1339 239 197 169 0 50 0
[pid=17421] ppid=17415 vsize=85496 CPUtime=220.38
/proc/17421/stat : 17421 (minisat_static) R 17415 17415 17176 0 -1 4194304 21111 0 0 0 22017 21 0 0 25 0 1 0 310679961 87547904 21097 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/17421/statm: 21374 21097 77 171 0 21201 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 90852
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17421
/proc/meminfo: memFree=1774328/2055920 swapFree=4180356/4192956
[pid=17415] ppid=17413 vsize=5356 CPUtime=1.78
/proc/17415/stat : 17415 (SatELiteGTI) S 17413 17415 17176 0 -1 4194304 336 4347 0 0 0 0 174 4 16 0 1 0 310679781 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17415/statm: 1339 239 197 169 0 50 0
[pid=17421] ppid=17415 vsize=98432 CPUtime=280.35
/proc/17421/stat : 17421 (minisat_static) R 17415 17415 17176 0 -1 4194304 24349 0 0 0 28010 25 0 0 25 0 1 0 310679961 100794368 24335 1992294400 134512640 135215339 4294956240 18446744073709551615 134528884 0 0 4096 3 0 0 0 17 1 0 0
/proc/17421/statm: 24608 24335 77 171 0 24435 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 103788
[startup+342.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17421
/proc/meminfo: memFree=1762424/2055920 swapFree=4180356/4192956
[pid=17415] ppid=17413 vsize=5356 CPUtime=1.78
/proc/17415/stat : 17415 (SatELiteGTI) S 17413 17415 17176 0 -1 4194304 336 4347 0 0 0 0 174 4 16 0 1 0 310679781 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17415/statm: 1339 239 197 169 0 50 0
[pid=17421] ppid=17415 vsize=110572 CPUtime=340.32
/proc/17421/stat : 17421 (minisat_static) R 17415 17415 17176 0 -1 4194304 27239 0 0 0 34005 27 0 0 25 0 1 0 310679961 113225728 27225 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/17421/statm: 27643 27225 77 171 0 27470 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 115928
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17421
/proc/meminfo: memFree=1753016/2055920 swapFree=4180356/4192956
[pid=17415] ppid=17413 vsize=5356 CPUtime=1.78
/proc/17415/stat : 17415 (SatELiteGTI) S 17413 17415 17176 0 -1 4194304 336 4347 0 0 0 0 174 4 16 0 1 0 310679781 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17415/statm: 1339 239 197 169 0 50 0
[pid=17421] ppid=17415 vsize=119932 CPUtime=400.3
################
# More data... #
################
/proc/17421/statm: 36636 36064 77 171 0 36463 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 151900
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17423
/proc/meminfo: memFree=1719096/2055920 swapFree=4180356/4192956
[pid=17415] ppid=17413 vsize=5356 CPUtime=1.78
/proc/17415/stat : 17415 (SatELiteGTI) S 17413 17415 17176 0 -1 4194304 336 4347 0 0 0 0 174 4 16 0 1 0 310679781 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17415/statm: 1339 239 197 169 0 50 0
[pid=17421] ppid=17415 vsize=154016 CPUtime=640.22
/proc/17421/stat : 17421 (minisat_static) R 17415 17415 17176 0 -1 4194304 37926 0 0 0 63983 39 0 0 25 0 1 0 310679961 157712384 37912 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17421/statm: 38504 37912 77 171 0 38331 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 159372
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17423
/proc/meminfo: memFree=1710328/2055920 swapFree=4180356/4192956
[pid=17415] ppid=17413 vsize=5356 CPUtime=1.78
/proc/17415/stat : 17415 (SatELiteGTI) S 17413 17415 17176 0 -1 4194304 336 4347 0 0 0 0 174 4 16 0 1 0 310679781 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17415/statm: 1339 239 197 169 0 50 0
[pid=17421] ppid=17415 vsize=162780 CPUtime=700.19
/proc/17421/stat : 17421 (minisat_static) R 17415 17415 17176 0 -1 4194304 40106 0 0 0 69978 41 0 0 25 0 1 0 310679961 166686720 40092 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17421/statm: 40695 40092 77 171 0 40522 0
Current children cumulated CPU time (s) 701.97
Current children cumulated vsize (KiB) 168136
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17423
/proc/meminfo: memFree=1702328/2055920 swapFree=4180356/4192956
[pid=17415] ppid=17413 vsize=5356 CPUtime=1.78
/proc/17415/stat : 17415 (SatELiteGTI) S 17413 17415 17176 0 -1 4194304 336 4347 0 0 0 0 174 4 16 0 1 0 310679781 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17415/statm: 1339 239 197 169 0 50 0
[pid=17421] ppid=17415 vsize=170788 CPUtime=760.18
/proc/17421/stat : 17421 (minisat_static) R 17415 17415 17176 0 -1 4194304 42079 0 0 0 75975 43 0 0 25 0 1 0 310679961 174886912 42065 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17421/statm: 42697 42065 77 171 0 42524 0
Current children cumulated CPU time (s) 761.96
Current children cumulated vsize (KiB) 176144
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17423
/proc/meminfo: memFree=1692920/2055920 swapFree=4180356/4192956
[pid=17415] ppid=17413 vsize=5356 CPUtime=1.78
/proc/17415/stat : 17415 (SatELiteGTI) S 17413 17415 17176 0 -1 4194304 336 4347 0 0 0 0 174 4 16 0 1 0 310679781 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17415/statm: 1339 239 197 169 0 50 0
[pid=17421] ppid=17415 vsize=180172 CPUtime=820.15
/proc/17421/stat : 17421 (minisat_static) R 17415 17415 17176 0 -1 4194304 44428 0 0 0 81969 46 0 0 25 0 1 0 310679961 184496128 44414 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17421/statm: 45043 44414 77 171 0 44870 0
Current children cumulated CPU time (s) 821.93
Current children cumulated vsize (KiB) 185528
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17423
/proc/meminfo: memFree=1686840/2055920 swapFree=4180356/4192956
[pid=17415] ppid=17413 vsize=5356 CPUtime=1.78
/proc/17415/stat : 17415 (SatELiteGTI) S 17413 17415 17176 0 -1 4194304 336 4347 0 0 0 0 174 4 16 0 1 0 310679781 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17415/statm: 1339 239 197 169 0 50 0
[pid=17421] ppid=17415 vsize=186112 CPUtime=880.13
/proc/17421/stat : 17421 (minisat_static) R 17415 17415 17176 0 -1 4194304 45924 0 0 0 87966 47 0 0 25 0 1 0 310679961 190578688 45910 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/17421/statm: 46528 45910 77 171 0 46355 0
Current children cumulated CPU time (s) 881.91
Current children cumulated vsize (KiB) 191468
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17423
/proc/meminfo: memFree=1678776/2055920 swapFree=4180356/4192956
[pid=17415] ppid=17413 vsize=5356 CPUtime=1.78
/proc/17415/stat : 17415 (SatELiteGTI) S 17413 17415 17176 0 -1 4194304 336 4347 0 0 0 0 174 4 16 0 1 0 310679781 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17415/statm: 1339 239 197 169 0 50 0
[pid=17421] ppid=17415 vsize=194264 CPUtime=940.11
/proc/17421/stat : 17421 (minisat_static) R 17415 17415 17176 0 -1 4194304 47937 0 0 0 93962 49 0 0 25 0 1 0 310679961 198926336 47923 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17421/statm: 48566 47923 77 171 0 48393 0
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (KiB) 199620
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17423
/proc/meminfo: memFree=1678456/2055920 swapFree=4180356/4192956
[pid=17415] ppid=17413 vsize=5356 CPUtime=1.78
/proc/17415/stat : 17415 (SatELiteGTI) S 17413 17415 17176 0 -1 4194304 336 4347 0 0 0 0 174 4 16 0 1 0 310679781 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17415/statm: 1339 239 197 169 0 50 0
[pid=17421] ppid=17415 vsize=194264 CPUtime=1000.09
/proc/17421/stat : 17421 (minisat_static) R 17415 17415 17176 0 -1 4194304 47968 0 0 0 99960 49 0 0 25 0 1 0 310679961 198926336 47954 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17421/statm: 48566 47954 77 171 0 48393 0
Current children cumulated CPU time (s) 1001.87
Current children cumulated vsize (KiB) 199620
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17423
/proc/meminfo: memFree=1678264/2055920 swapFree=4180356/4192956
[pid=17415] ppid=17413 vsize=5356 CPUtime=1.78
/proc/17415/stat : 17415 (SatELiteGTI) S 17413 17415 17176 0 -1 4194304 336 4347 0 0 0 0 174 4 16 0 1 0 310679781 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17415/statm: 1339 239 197 169 0 50 0
[pid=17421] ppid=17415 vsize=194264 CPUtime=1060.07
/proc/17421/stat : 17421 (minisat_static) R 17415 17415 17176 0 -1 4194304 47996 0 0 0 105957 50 0 0 25 0 1 0 310679961 198926336 47982 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17421/statm: 48566 47982 77 171 0 48393 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 199620
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17423
/proc/meminfo: memFree=1678136/2055920 swapFree=4180356/4192956
[pid=17415] ppid=17413 vsize=5356 CPUtime=1.78
/proc/17415/stat : 17415 (SatELiteGTI) S 17413 17415 17176 0 -1 4194304 336 4347 0 0 0 0 174 4 16 0 1 0 310679781 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17415/statm: 1339 239 197 169 0 50 0
[pid=17421] ppid=17415 vsize=194264 CPUtime=1120.05
/proc/17421/stat : 17421 (minisat_static) R 17415 17415 17176 0 -1 4194304 48001 0 0 0 111955 50 0 0 25 0 1 0 310679961 198926336 47987 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17421/statm: 48566 47987 77 171 0 48393 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 199620
[startup+1182.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/66 17423
/proc/meminfo: memFree=1677688/2055920 swapFree=4180356/4192956
[pid=17415] ppid=17413 vsize=5356 CPUtime=1.78
/proc/17415/stat : 17415 (SatELiteGTI) S 17413 17415 17176 0 -1 4194304 336 4347 0 0 0 0 174 4 16 0 1 0 310679781 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17415/statm: 1339 239 197 169 0 50 0
[pid=17421] ppid=17415 vsize=194792 CPUtime=1180.03
/proc/17421/stat : 17421 (minisat_static) R 17415 17415 17176 0 -1 4194304 48113 0 0 0 117953 50 0 0 25 0 1 0 310679961 199467008 48099 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17421/statm: 48698 48099 77 171 0 48525 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 200148
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 17423
/proc/meminfo: memFree=1677560/2055920 swapFree=4180356/4192956
[pid=17415] ppid=17413 vsize=5356 CPUtime=1.78
/proc/17415/stat : 17415 (SatELiteGTI) S 17413 17415 17176 0 -1 4194304 336 4347 0 0 0 0 174 4 16 0 1 0 310679781 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17415/statm: 1339 239 197 169 0 50 0
[pid=17421] ppid=17415 vsize=194792 CPUtime=1198.22
/proc/17421/stat : 17421 (minisat_static) R 17415 17415 17176 0 -1 4194304 48118 0 0 0 119772 50 0 0 25 0 1 0 310679961 199467008 48104 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/17421/statm: 48698 48104 77 171 0 48525 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 200148
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 17423
/proc/meminfo: memFree=1677560/2055920 swapFree=4180356/4192956
[pid=17415] ppid=17413 vsize=5356 CPUtime=1.78
/proc/17415/stat : 17415 (SatELiteGTI) S 17413 17415 17176 0 -1 4194304 336 4347 0 0 0 0 174 4 16 0 1 0 310679781 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17415/statm: 1339 239 197 169 0 50 0
[pid=17421] ppid=17415 vsize=194792 CPUtime=1198.22
/proc/17421/stat : 17421 (minisat_static) R 17415 17415 17176 0 -1 4194304 48118 0 0 0 119772 50 0 0 25 0 1 0 310679961 199467008 48104 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/17421/statm: 48698 48104 77 171 0 48525 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 200148
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17415 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=746734
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=46992
# CPU time returned by wait4() is 1.79373
# while last known CPU time is 1200
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200
CPU user time (s): 1199.46
CPU system time (s): 0.54
CPU usage (%): 99.9572
Max. virtual memory (cumulated for all children) (KiB): 200148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.74673
system time used= 0.046992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4683
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 9
runsolver used 1.39979 second user time and 3.06153 second system time
The end
Begin job on node57 at 2009-05-20 15:35:25
IDJOB=1833959
IDBENCH=71097
IDSOLVER=671
FILE ID=node57/1833959-1242826525
PBS_JOBID= 9322470
Free space on /tmp= 65992 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_14_UNKNOWN.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833959-1242826525/watcher-1833959-1242826525 -o /tmp/evaluation-result-1833959-1242826525/solver-1833959-1242826525 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833959-1242826525.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 74b3bf25aa16f613ee15d6b4b9bc9486
RANDOM SEED=989162831
node57.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.256
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.256
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: 1876712 kB
Buffers: 24844 kB
Cached: 84960 kB
SwapCached: 6340 kB
Active: 38404 kB
Inactive: 79232 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1876712 kB
SwapTotal: 4192956 kB
SwapFree: 4180356 kB
Dirty: 4176 kB
Writeback: 0 kB
Mapped: 13544 kB
Slab: 47700 kB
Committed_AS: 895032 kB
PageTables: 1392 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 65988 MiB
End job on node57 at 2009-05-20 15:55:28