0.00/0.00 c Parsing...
0.00/0.04 c ==============================================================================
0.00/0.04 c | | ORIGINAL | LEARNT | |
0.00/0.04 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.04 c ==============================================================================
0.00/0.04 c | 0 | 84314 169678 | 25294 0 0 nan | 0.000 % |
0.00/0.33 c | 0 | 82883 272689 | -- 0 -- -- | -- | -1431/103011
0.00/0.33 c ==============================================================================
0.00/0.33 c Result : #vars: 1100 #clauses: 82883 #literals: 272689
0.00/0.33 c CPU time: 0.319951 s
0.00/0.33 c ==============================================================================
0.00/0.41 c This is MiniSat 2.0 beta
0.00/0.41 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.41 c ============================[ Problem Statistics ]=============================
0.00/0.41 c | |
0.00/0.41 c | Number of variables: 1100 |
0.00/0.41 c | Number of clauses: 82883 |
0.00/0.45 c | Parsing time: 0.04 s |
0.00/0.45 c ============================[ Search Statistics ]==============================
0.00/0.45 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.45 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.45 c ===============================================================================
0.00/0.45 c | 0 | 1100 82883 272689 | 27627 0 nan | 0.000 % |
0.00/0.47 c | 101 | 1100 82883 272689 | 27627 101 148 | 0.000 % |
0.00/0.48 c | 203 | 1100 82883 272689 | 27627 203 124 | 0.000 % |
0.00/0.50 c | 303 | 1100 82883 272689 | 27627 303 104 | 0.014 % |
0.40/0.51 c | 414 | 1100 82883 272689 | 27627 414 99 | 0.000 % |
0.40/0.52 c | 516 | 1100 82883 272689 | 27627 516 93 | 0.000 % |
0.40/0.54 c | 627 | 1100 82883 272689 | 27627 627 96 | 0.000 % |
0.40/0.55 c | 749 | 1100 82883 272689 | 27627 749 91 | 0.000 % |
0.40/0.56 c | 851 | 1100 82883 272689 | 27627 851 88 | 0.012 % |
0.40/0.57 c | 961 | 1100 82883 272689 | 27627 961 87 | 0.000 % |
0.40/0.59 c | 1082 | 1100 82883 272689 | 27627 1082 85 | 0.014 % |
0.40/0.60 c | 1215 | 1100 82883 272689 | 27627 1215 87 | 0.000 % |
0.40/0.61 c | 1316 | 1100 82883 272689 | 27627 1316 88 | 0.012 % |
0.40/0.62 c | 1427 | 1100 82883 272689 | 27627 1427 86 | 0.000 % |
0.40/0.64 c | 1550 | 1100 82883 272689 | 27627 1550 84 | 0.010 % |
0.40/0.65 c | 1684 | 1100 82883 272689 | 27627 1684 85 | 0.000 % |
0.40/0.67 c | 1831 | 1100 82883 272689 | 27627 1831 84 | 0.000 % |
0.40/0.68 c | 1931 | 1100 82883 272689 | 27627 1931 82 | 0.014 % |
0.40/0.70 c | 2042 | 1100 82883 272689 | 27627 2042 81 | 0.000 % |
0.40/0.71 c | 2163 | 1100 82883 272689 | 27627 2163 80 | 0.000 % |
0.40/0.72 c | 2299 | 1100 82883 272689 | 27627 2299 79 | 0.000 % |
0.40/0.74 c | 2449 | 1100 82883 272689 | 27627 2449 79 | 0.013 % |
0.40/0.76 c | 2610 | 1100 82883 272689 | 27627 2610 78 | 0.000 % |
0.40/0.78 c | 2710 | 1100 82883 272689 | 27627 2710 78 | 0.000 % |
0.40/0.79 c | 2821 | 1100 82883 272689 | 27627 2821 78 | 0.012 % |
0.40/0.80 c | 2942 | 1100 82883 272689 | 27627 2942 79 | 0.014 % |
0.40/0.82 c | 3075 | 1100 82883 272689 | 27627 3075 79 | 0.000 % |
0.40/0.84 c | 3221 | 1100 82883 272689 | 27627 3221 80 | 0.000 % |
0.40/0.86 c | 3381 | 1100 82883 272689 | 27627 3381 80 | 0.000 % |
0.40/0.89 c | 3557 | 1100 82883 272689 | 27627 3557 79 | 0.012 % |
0.40/0.90 c | 3658 | 1100 82883 272689 | 27627 3658 79 | 0.000 % |
0.40/0.91 c | 3768 | 1100 82883 272689 | 27627 3768 79 | 0.000 % |
0.40/0.93 c | 3891 | 1100 82883 272689 | 27627 3891 78 | 0.012 % |
0.40/0.95 c | 4024 | 1100 82883 272689 | 27627 4024 77 | 0.012 % |
0.40/0.97 c | 4172 | 1100 82883 272689 | 27627 4172 78 | 0.000 % |
0.40/0.99 c | 4332 | 1100 82883 272689 | 27627 4332 77 | 0.000 % |
0.98/1.02 c | 4509 | 1100 82883 272689 | 27627 4509 76 | 0.012 % |
0.98/1.04 c | 4702 | 1100 82883 272689 | 27627 4702 78 | 0.000 % |
0.98/1.06 c | 4802 | 1100 82883 272689 | 27627 4802 77 | 0.000 % |
0.98/1.07 c | 4912 | 1100 82883 272689 | 27627 4912 77 | 0.012 % |
0.98/1.09 c | 5034 | 1100 82883 272689 | 27627 5034 77 | 0.012 % |
1.08/1.11 c | 5167 | 1100 82883 272689 | 27627 5167 78 | 0.000 % |
1.08/1.13 c | 5313 | 1100 82883 272689 | 27627 5313 78 | 0.000 % |
1.08/1.15 c | 5473 | 1100 82883 272689 | 27627 5473 79 | 0.000 % |
1.08/1.17 c | 5649 | 1100 82883 272689 | 27627 5649 79 | 0.010 % |
1.17/1.20 c | 5842 | 1100 82883 272689 | 27627 5842 78 | 0.000 % |
1.17/1.23 c | 6054 | 1100 82883 272689 | 27627 6054 77 | 0.000 % |
1.17/1.24 c | 6154 | 1100 82883 272689 | 27627 6154 78 | 0.000 % |
1.17/1.26 c | 6264 | 1100 82883 272689 | 27627 6264 77 | 0.000 % |
1.17/1.28 c | 6386 | 1100 82883 272689 | 27627 6386 78 | 0.000 % |
1.27/1.30 c | 6519 | 1100 82883 272689 | 27627 6519 78 | 0.000 % |
1.27/1.32 c | 6667 | 1100 82883 272689 | 27627 6667 79 | 0.000 % |
1.27/1.35 c | 6827 | 1100 82883 272689 | 27627 6827 79 | 0.000 % |
1.27/1.38 c | 7003 | 1100 82883 272689 | 27627 7003 78 | 0.000 % |
1.37/1.41 c | 7197 | 1100 82883 272689 | 27627 7197 79 | 0.000 % |
1.37/1.44 c | 7410 | 1100 82883 272689 | 27627 7410 79 | 0.013 % |
1.37/1.47 c | 7646 | 1100 82883 272689 | 27627 7646 79 | 0.000 % |
1.37/1.49 c | 7747 | 1100 82883 272689 | 27627 7747 79 | 0.000 % |
1.47/1.50 c | 7859 | 1100 82883 272689 | 27627 7859 78 | 0.000 % |
1.47/1.52 c | 7980 | 1100 82883 272689 | 27627 7980 78 | 0.012 % |
1.47/1.55 c | 8115 | 1100 82883 272689 | 27627 8115 78 | 0.015 % |
1.47/1.57 c | 8263 | 1100 82883 272689 | 27627 8263 77 | 0.000 % |
1.47/1.59 c | 8423 | 1100 82883 272689 | 27627 8423 77 | 0.012 % |
1.57/1.62 c | 8601 | 1100 82883 272689 | 27627 8601 76 | 0.013 % |
1.57/1.65 c | 8794 | 1100 82883 272689 | 27627 8794 76 | 0.013 % |
1.57/1.68 c | 9007 | 1100 82883 272689 | 27627 9007 76 | 0.000 % |
1.67/1.72 c | 9240 | 1100 82883 272689 | 27627 9240 77 | 0.000 % |
1.67/1.76 c | 9496 | 1100 82883 272689 | 27627 9496 77 | 0.013 % |
1.67/1.78 c | 9597 | 1100 82883 272689 | 27627 9597 76 | 0.013 % |
1.77/1.80 c | 9707 | 1100 82883 272689 | 27627 9707 77 | 0.000 % |
1.77/1.82 c | 9829 | 1100 82883 272689 | 27627 9829 77 | 0.012 % |
1.77/1.84 c | 9962 | 1100 82883 272689 | 27627 9962 77 | 0.000 % |
1.77/1.87 c | 10108 | 1100 82883 272689 | 2147483647 10108 77 | 0.012 % |
1.77/1.89 c | 10268 | 1100 82883 272689 | 2147483647 10268 76 | 0.012 % |
1.87/1.91 c | 10446 | 1100 82883 272689 | 2147483647 10446 76 | 0.000 % |
1.87/1.94 c | 10639 | 1100 82883 272689 | 2147483647 10639 76 | 0.000 % |
1.87/1.98 c | 10852 | 1100 82883 272689 | 2147483647 10852 76 | 0.000 % |
1.97/2.02 c | 11086 | 1100 82883 272689 | 2147483647 11086 75 | 0.012 % |
1.97/2.08 c | 11342 | 1100 82883 272689 | 2147483647 11342 76 | 0.000 % |
2.07/2.13 c | 11624 | 1100 82883 272689 | 2147483647 11624 76 | 0.000 % |
2.07/2.15 c | 11724 | 1100 82883 272689 | 2147483647 11724 76 | 0.013 % |
2.07/2.17 c | 11834 | 1100 82883 272689 | 2147483647 11834 76 | 0.013 % |
2.07/2.19 c | 11955 | 1100 82883 272689 | 2147483647 11955 76 | 0.013 % |
2.17/2.22 c | 12088 | 1100 82883 272689 | 2147483647 12088 75 | 0.013 % |
2.17/2.25 c | 12234 | 1100 82883 272689 | 2147483647 12234 76 | 0.000 % |
2.17/2.27 c | 12397 | 1100 82883 272689 | 2147483647 12397 75 | 0.011 % |
2.27/2.31 c | 12574 | 1100 82883 272689 | 2147483647 12574 75 | 0.014 % |
2.27/2.35 c | 12767 | 1100 82883 272689 | 2147483647 12767 76 | 0.000 % |
2.27/2.39 c | 12979 | 1100 82883 272689 | 2147483647 12979 75 | 0.000 % |
2.37/2.42 c | 13213 | 1100 82883 272689 | 2147483647 13213 76 | 0.000 % |
2.37/2.47 c | 13470 | 1100 82883 272689 | 2147483647 13470 76 | 0.000 % |
2.47/2.52 c | 13751 | 1100 82883 272689 | 2147483647 13751 75 | 0.000 % |
2.47/2.57 c | 14061 | 1100 82883 272689 | 2147483647 14061 75 | 0.014 % |
2.57/2.60 c | 14162 | 1100 82883 272689 | 2147483647 14162 75 | 0.000 % |
2.57/2.62 c | 14273 | 1100 82883 272689 | 2147483647 14273 75 | 0.000 % |
2.57/2.64 c | 14394 | 1100 82883 272689 | 2147483647 14394 75 | 0.013 % |
2.57/2.67 c | 14527 | 1100 82883 272689 | 2147483647 14527 74 | 0.000 % |
2.66/2.70 c | 14673 | 1100 82883 272689 | 2147483647 14673 75 | 0.000 % |
2.66/2.72 c | 14833 | 1100 82883 272689 | 2147483647 14833 75 | 0.000 % |
2.66/2.76 c | 15009 | 1100 82883 272689 | 2147483647 15009 75 | 0.000 % |
2.76/2.80 c | 15203 | 1100 82883 272689 | 2147483647 15203 75 | 0.000 % |
2.76/2.85 c | 15415 | 1100 82883 272689 | 2147483647 15415 75 | 0.013 % |
2.76/2.89 c | 15648 | 1100 82883 272689 | 2147483647 15648 75 | 0.013 % |
2.87/2.94 c | 15905 | 1100 82883 272689 | 2147483647 15905 75 | 0.000 % |
2.97/3.00 c | 16186 | 1100 82883 272689 | 2147483647 16186 75 | 0.013 % |
2.97/3.06 c | 16496 | 1100 82883 272689 | 2147483647 16496 75 | 0.000 % |
3.07/3.13 c | 16835 | 1100 82883 272689 | 2147483647 16835 75 | 0.010 % |
3.07/3.15 c | 16936 | 1100 82883 272689 | 2147483647 16936 75 | 0.015 % |
3.07/3.17 c | 17047 | 1100 82883 272689 | 2147483647 17047 75 | 0.000 % |
3.07/3.20 c | 17170 | 1100 82883 272689 | 2147483647 17170 75 | 0.000 % |
3.17/3.22 c | 17303 | 1100 82883 272689 | 2147483647 17303 75 | 0.000 % |
3.17/3.25 c | 17451 | 1100 82883 272689 | 2147483647 17451 75 | 0.000 % |
3.17/3.28 c | 17611 | 1100 82883 272689 | 2147483647 17611 75 | 0.000 % |
3.27/3.32 c | 17787 | 1100 82883 272689 | 2147483647 17787 75 | 0.000 % |
3.27/3.36 c | 17980 | 1100 82883 272689 | 2147483647 17980 75 | 0.013 % |
3.37/3.41 c | 18192 | 1100 82883 272689 | 2147483647 18192 75 | 0.013 % |
3.37/3.46 c | 18425 | 1100 82883 272689 | 2147483647 18425 75 | 0.000 % |
3.46/3.51 c | 18681 | 1100 82883 272689 | 2147483647 18681 75 | 0.011 % |
3.46/3.58 c | 18963 | 1100 82883 272689 | 2147483647 18963 75 | 0.000 % |
3.56/3.63 c | 19273 | 1100 82883 272689 | 2147483647 19273 74 | 0.013 % |
3.66/3.71 c | 19613 | 1100 82883 272689 | 2147483647 19613 74 | 0.000 % |
3.66/3.78 c | 19989 | 1100 82883 272689 | 2147483647 19989 74 | 0.000 % |
3.76/3.80 c | 20092 | 1100 82883 272689 | 2147483647 20092 74 | 0.011 % |
3.76/3.83 c | 20203 | 1100 82883 272689 | 2147483647 20203 74 | 0.000 % |
3.76/3.86 c | 20324 | 1100 82883 272689 | 2147483647 20324 74 | 0.000 % |
3.76/3.89 c | 20460 | 1100 82883 272689 | 2147483647 20460 74 | 0.011 % |
3.86/3.92 c | 20606 | 1100 82883 272689 | 2147483647 20606 74 | 0.009 % |
3.86/3.96 c | 20766 | 1100 82883 272689 | 2147483647 20766 74 | 0.000 % |
3.86/3.99 c | 20942 | 1100 82883 272689 | 2147483647 20942 74 | 0.000 % |
3.96/4.04 c | 21135 | 1100 82883 272689 | 2147483647 21135 74 | 0.000 % |
3.96/4.09 c | 21349 | 1100 82883 272689 | 2147483647 21349 74 | 0.000 % |
4.06/4.15 c | 21585 | 1100 82883 272689 | 2147483647 21585 74 | 0.000 % |
4.16/4.22 c | 21841 | 1100 82883 272689 | 2147483647 21841 75 | 0.000 % |
4.16/4.28 c | 22122 | 1100 82883 272689 | 2147483647 22122 75 | 0.000 % |
4.26/4.35 c | 22431 | 1100 82883 272689 | 2147483647 22431 75 | 0.013 % |
4.36/4.43 c | 22772 | 1100 82883 272689 | 2147483647 22772 75 | 0.013 % |
4.47/4.52 c | 23144 | 1100 82883 272689 | 2147483647 23144 75 | 0.000 % |
4.57/4.62 c | 23556 | 1100 82883 272689 | 2147483647 23556 75 | 0.012 % |
4.57/4.65 c | 23657 | 1100 82883 272689 | 2147483647 23657 75 | 0.000 % |
4.57/4.68 c | 23769 | 1100 82883 272689 | 2147483647 23769 75 | 0.012 % |
4.67/4.71 c | 23894 | 1100 82883 272689 | 2147483647 23894 75 | 0.000 % |
4.67/4.75 c | 24027 | 1100 82883 272689 | 2147483647 24027 75 | 0.000 % |
4.67/4.79 c | 24174 | 1100 82883 272689 | 2147483647 24174 75 | 0.000 % |
4.77/4.83 c | 24334 | 1100 82883 272689 | 2147483647 24334 75 | 0.000 % |
4.77/4.87 c | 24511 | 1100 82883 272689 | 2147483647 24511 75 | 0.000 % |
4.87/4.93 c | 24706 | 1100 82883 272689 | 2147483647 24706 76 | 0.000 % |
4.87/4.98 c | 24920 | 1100 82883 272689 | 2147483647 24920 76 | 0.000 % |
4.97/5.03 c | 25153 | 1100 82883 272689 | 2147483647 25153 76 | 0.000 % |
4.97/5.08 c | 25411 | 1100 82883 272689 | 2147483647 25411 75 | 0.015 % |
5.06/5.15 c | 25692 | 1100 82883 272689 | 2147483647 25692 75 | 0.014 % |
5.16/5.22 c | 26002 | 1100 82883 272689 | 2147483647 26002 75 | 0.000 % |
5.26/5.32 c | 26342 | 1100 82883 272689 | 2147483647 26342 76 | 0.000 % |
5.36/5.44 c | 26718 | 1100 82883 272689 | 2147483647 26718 76 | 0.000 % |
5.46/5.55 c | 27127 | 1100 82883 272689 | 2147483647 27127 76 | 0.000 % |
5.56/5.68 c | 27577 | 1100 82883 272689 | 2147483647 27577 76 | 0.000 % |
5.66/5.71 c | 27677 | 1100 82883 272689 | 2147483647 27677 76 | 0.000 % |
5.66/5.73 c | 27787 | 1100 82883 272689 | 2147483647 27787 76 | 0.012 % |
5.66/5.77 c | 27909 | 1100 82883 272689 | 2147483647 27909 76 | 0.000 % |
5.76/5.80 c | 28043 | 1100 82883 272689 | 2147483647 28043 76 | 0.012 % |
5.76/5.85 c | 28194 | 1100 82883 272689 | 2147483647 28194 76 | 0.000 % |
5.76/5.90 c | 28354 | 1100 82883 272689 | 2147483647 28354 76 | 0.000 % |
5.86/5.94 c | 28530 | 1100 82883 272689 | 2147483647 28530 76 | 0.000 % |
5.86/5.99 c | 28723 | 1100 82883 272689 | 2147483647 28723 77 | 0.000 % |
5.96/6.06 c | 28936 | 1100 82883 272689 | 2147483647 28936 77 | 0.012 % |
6.06/6.13 c | 29171 | 1100 82883 272689 | 2147483647 29171 76 | 0.012 % |
6.16/6.23 c | 29427 | 1100 82883 272689 | 2147483647 29427 76 | 0.000 % |
6.26/6.32 c | 29710 | 1100 82883 272689 | 2147483647 29710 76 | 0.012 % |
6.36/6.41 c | 30022 | 1100 82883 272689 | 2147483647 30022 76 | 0.000 % |
6.36/6.50 c | 30363 | 1100 82883 272689 | 2147483647 30363 77 | 0.000 % |
6.56/6.61 c | 30735 | 1100 82883 272689 | 2147483647 30735 77 | 0.000 % |
6.66/6.76 c | 31145 | 1100 82883 272689 | 2147483647 31145 78 | 0.000 % |
6.86/6.90 c | 31594 | 1100 82883 272689 | 2147483647 31594 77 | 0.013 % |
6.96/7.08 c | 32088 | 1100 82883 272689 | 2147483647 32088 78 | 0.000 % |
7.06/7.12 c | 32189 | 1100 82883 272689 | 2147483647 32189 78 | 0.000 % |
7.06/7.16 c | 32299 | 1100 82883 272689 | 2147483647 32299 78 | 0.000 % |
7.06/7.19 c | 32421 | 1100 82883 272689 | 2147483647 32421 78 | 0.000 % |
7.16/7.23 c | 32555 | 1100 82883 272689 | 2147483647 32555 78 | 0.000 % |
7.16/7.28 c | 32704 | 1100 82883 272689 | 2147483647 32704 78 | 0.000 % |
7.26/7.34 c | 32864 | 1100 82883 272689 | 2147483647 32864 78 | 0.000 % |
7.36/7.41 c | 33042 | 1100 82883 272689 | 2147483647 33042 78 | 0.000 % |
7.36/7.48 c | 33235 | 1100 82883 272689 | 2147483647 33235 79 | 0.000 % |
7.46/7.54 c | 33447 | 1100 82883 272689 | 2147483647 33447 79 | 0.014 % |
7.57/7.62 c | 33680 | 1100 82883 272689 | 2147483647 33680 79 | 0.000 % |
7.57/7.70 c | 33938 | 1100 82883 272689 | 2147483647 33938 79 | 0.012 % |
7.66/7.79 c | 34222 | 1100 82883 272689 | 2147483647 34222 78 | 0.000 % |
7.86/7.91 c | 34531 | 1100 82883 272689 | 2147483647 34531 78 | 0.000 % |
7.96/8.03 c | 34871 | 1100 82883 272689 | 2147483647 34871 79 | 0.000 % |
8.06/8.15 c | 35243 | 1100 82883 272689 | 2147483647 35243 79 | 0.000 % |
8.16/8.29 c | 35656 | 1100 82883 272689 | 2147483647 35656 79 | 0.000 % |
8.36/8.44 c | 36109 | 1100 82883 272689 | 2147483647 36109 79 | 0.000 % |
8.45/8.59 c | 36604 | 1100 82883 272689 | 2147483647 36604 79 | 0.014 % |
8.66/8.75 c | 37146 | 1100 82883 272689 | 2147483647 37146 79 | 0.000 % |
8.66/8.79 c | 37246 | 1100 82883 272689 | 2147483647 37246 79 | 0.000 % |
8.76/8.83 c | 37358 | 1100 82883 272689 | 2147483647 37358 79 | 0.000 % |
8.76/8.87 c | 37481 | 1100 82883 272689 | 2147483647 37481 78 | 0.014 % |
8.86/8.91 c | 37615 | 1100 82883 272689 | 2147483647 37615 78 | 0.013 % |
8.86/8.96 c | 37761 | 1100 82883 272689 | 2147483647 37761 78 | 0.000 % |
8.96/9.02 c | 37923 | 1100 82883 272689 | 2147483647 37923 78 | 0.012 % |
8.96/9.09 c | 38099 | 1100 82883 272689 | 2147483647 38099 78 | 0.012 % |
9.06/9.18 c | 38295 | 1100 82883 272689 | 2147483647 38295 78 | 0.000 % |
9.16/9.26 c | 38508 | 1100 82883 272689 | 2147483647 38508 79 | 0.000 % |
9.26/9.36 c | 38741 | 1100 82883 272689 | 2147483647 38741 79 | 0.000 % |
9.36/9.45 c | 38998 | 1100 82883 272689 | 2147483647 38998 79 | 0.000 % |
9.46/9.55 c | 39281 | 1100 82883 272689 | 2147483647 39281 79 | 0.011 % |
9.56/9.66 c | 39590 | 1100 82883 272689 | 2147483647 39590 79 | 0.011 % |
9.66/9.79 c | 39930 | 1100 82883 272689 | 2147483647 39930 79 | 0.000 % |
9.86/9.91 c | 40303 | 1100 82883 272689 | 2147483647 40303 79 | 0.000 % |
9.96/10.02 c | 40715 | 1100 82883 272689 | 2147483647 40715 79 | 0.000 % |
10.16/10.22 c | 41164 | 1100 82883 272689 | 2147483647 41164 79 | 0.000 % |
10.25/10.39 c | 41659 | 1100 82883 272689 | 2147483647 41659 79 | 0.000 % |
10.45/10.57 c | 42202 | 1100 82883 272689 | 2147483647 42202 79 | 0.012 % |
10.65/10.79 c | 42798 | 1100 82883 272689 | 2147483647 42798 78 | 0.014 % |
10.75/10.83 c | 42898 | 1100 82883 272689 | 2147483647 42898 78 | 0.012 % |
10.75/10.87 c | 43012 | 1100 82883 272689 | 2147483647 43012 78 | 0.000 % |
10.85/10.92 c | 43134 | 1100 82883 272689 | 2147483647 43134 78 | 0.000 % |
10.85/10.97 c | 43267 | 1100 82883 272689 | 2147483647 43267 78 | 0.000 % |
10.95/11.02 c | 43413 | 1100 82883 272689 | 2147483647 43413 78 | 0.000 % |
10.95/11.09 c | 43573 | 1100 82883 272689 | 2147483647 43573 78 | 0.000 % |
11.05/11.17 c | 43749 | 1100 82883 272689 | 2147483647 43749 78 | 0.000 % |
11.15/11.25 c | 43942 | 1100 82883 272689 | 2147483647 43942 78 | 0.000 % |
11.25/11.33 c | 44154 | 1100 82883 272689 | 2147483647 44154 78 | 0.013 % |
11.35/11.43 c | 44387 | 1100 82883 272689 | 2147483647 44387 79 | 0.000 % |
11.45/11.52 c | 44644 | 1100 82883 272689 | 2147483647 44644 79 | 0.000 % |
11.55/11.63 c | 44925 | 1100 82883 272689 | 2147483647 44925 79 | 0.000 % |
11.65/11.74 c | 45234 | 1100 82883 272689 | 2147483647 45234 79 | 0.010 % |
11.76/11.87 c | 45574 | 1100 82883 272689 | 2147483647 45574 79 | 0.000 % |
11.96/12.07 c | 45946 | 1100 82883 272689 | 2147483647 45946 79 | 0.000 % |
12.16/12.26 c | 46356 | 1100 82883 272689 | 2147483647 46356 79 | 0.000 % |
12.36/12.46 c | 46806 | 1100 82883 272689 | 2147483647 46806 79 | 0.011 % |
12.66/12.70 c | 47300 | 1100 82883 272689 | 2147483647 47300 79 | 0.011 % |
12.86/12.93 c | 47842 | 1100 82883 272689 | 2147483647 47842 79 | 0.011 % |
13.06/13.19 c | 48438 | 1100 82883 272689 | 2147483647 48438 79 | 0.013 % |
13.36/13.47 c | 49095 | 1100 82883 272689 | 2147483647 49095 78 | 0.012 % |
13.45/13.51 c | 49196 | 1100 82883 272689 | 2147483647 49196 78 | 0.000 % |
13.45/13.56 c | 49308 | 1100 82883 272689 | 2147483647 49308 78 | 0.014 % |
13.55/13.62 c | 49429 | 1100 82883 272689 | 2147483647 49429 78 | 0.000 % |
13.55/13.69 c | 49562 | 1100 82883 272689 | 2147483647 49562 78 | 0.012 % |
13.65/13.74 c | 49708 | 1100 82883 272689 | 2147483647 49708 79 | 0.000 % |
13.75/13.81 c | 49875 | 1100 82883 272689 | 2147483647 49875 79 | 0.013 % |
13.75/13.88 c | 50054 | 1100 82883 272689 | 2147483647 50054 79 | 0.000 % |
13.85/14.00 c | 50248 | 1100 82883 272689 | 2147483647 50248 79 | 0.000 % |
13.95/14.09 c | 50460 | 1100 82883 272689 | 2147483647 50460 79 | 0.000 % |
14.15/14.23 c | 50694 | 1100 82883 272689 | 2147483647 50694 79 | 0.000 % |
14.25/14.34 c | 50951 | 1100 82883 272689 | 2147483647 50951 79 | 0.012 % |
14.35/14.47 c | 51232 | 1100 82883 272689 | 2147483647 51232 79 | 0.013 % |
14.45/14.59 c | 51542 | 1100 82883 272689 | 2147483647 51542 79 | 0.014 % |
14.65/14.76 c | 51881 | 1100 82883 272689 | 2147483647 51881 79 | 0.000 % |
14.85/14.97 c | 52254 | 1100 82883 272689 | 2147483647 52254 79 | 0.000 % |
15.05/15.16 c | 52663 | 1100 82883 272689 | 2147483647 52663 79 | 0.000 % |
15.25/15.34 c | 53113 | 1100 82883 272689 | 2147483647 53113 79 | 0.000 % |
15.44/15.56 c | 53606 | 1100 82883 272689 | 2147483647 53606 79 | 0.000 % |
15.64/15.79 c | 54148 | 1100 82883 272689 | 2147483647 54148 79 | 0.013 % |
15.94/16.08 c | 54744 | 1100 82883 272689 | 2147483647 54744 78 | 0.012 % |
16.25/16.40 c | 55401 | 1100 82883 272689 | 2147483647 55401 78 | 0.012 % |
16.65/16.76 c | 56121 | 1100 82883 272689 | 2147483647 56121 78 | 0.000 % |
16.75/16.83 c | 56221 | 1100 82883 272689 | 2147483647 56221 78 | 0.013 % |
16.75/16.88 c | 56331 | 1100 82883 272689 | 2147483647 56331 78 | 0.013 % |
16.85/16.94 c | 56452 | 1100 82883 272689 | 2147483647 56452 78 | 0.000 % |
16.95/17.03 c | 56586 | 1100 82883 272689 | 2147483647 56586 78 | 0.013 % |
17.05/17.10 c | 56734 | 1100 82883 272689 | 2147483647 56734 78 | 0.000 % |
17.05/17.17 c | 56894 | 1100 82883 272689 | 2147483647 56894 78 | 0.000 % |
17.15/17.26 c | 57070 | 1100 82883 272689 | 2147483647 57070 78 | 0.000 % |
17.25/17.37 c | 57266 | 1100 82883 272689 | 2147483647 57266 78 | 0.000 % |
17.35/17.45 c | 57478 | 1100 82883 272689 | 2147483647 57478 78 | 0.000 % |
17.45/17.56 c | 57711 | 1100 82883 272689 | 2147483647 57711 78 | 0.000 % |
17.55/17.67 c | 57967 | 1100 82883 272689 | 2147483647 57967 78 | 0.014 % |
17.75/17.80 c | 58248 | 1100 82883 272689 | 2147483647 58248 78 | 0.000 % |
17.85/17.95 c | 58557 | 1100 82883 272689 | 2147483647 58557 78 | 0.000 % |
18.05/18.16 c | 58899 | 1100 82883 272689 | 2147483647 58899 78 | 0.000 % |
18.25/18.34 c | 59275 | 1100 82883 272689 | 2147483647 59275 78 | 0.012 % |
18.45/18.55 c | 59685 | 1100 82883 272689 | 2147483647 59685 78 | 0.000 % |
18.65/18.77 c | 60135 | 1100 82883 272689 | 2147483647 60135 78 | 0.000 % |
18.94/19.02 c | 60630 | 1100 82883 272689 | 2147483647 60630 78 | 0.000 % |
19.14/19.29 c | 61173 | 1100 82883 272689 | 2147483647 61173 78 | 0.013 % |
19.44/19.58 c | 61769 | 1100 82883 272689 | 2147483647 61769 78 | 0.013 % |
19.84/19.92 c | 62425 | 1100 82883 272689 | 2147483647 62425 77 | 0.013 % |
20.14/20.27 c | 63145 | 1100 82883 272689 | 2147483647 63145 77 | 0.000 % |
20.54/20.68 c | 63937 | 1100 82883 272689 | 2147483647 63937 77 | 0.013 % |
20.64/20.73 c | 64037 | 1100 82883 272689 | 2147483647 64037 77 | 0.013 % |
20.74/20.82 c | 64147 | 1100 82883 272689 | 2147483647 64147 77 | 0.000 % |
20.74/20.89 c | 64268 | 1100 82883 272689 | 2147483647 64268 77 | 0.000 % |
20.84/20.97 c | 64403 | 1100 82883 272689 | 2147483647 64403 77 | 0.014 % |
20.93/21.05 c | 64550 | 1100 82883 272689 | 2147483647 64550 77 | 0.000 % |
21.03/21.16 c | 64711 | 1100 82883 272689 | 2147483647 64711 77 | 0.000 % |
21.13/21.25 c | 64887 | 1100 82883 272689 | 2147483647 64887 77 | 0.000 % |
21.23/21.34 c | 65082 | 1100 82883 272689 | 2147483647 65082 77 | 0.013 % |
21.43/21.51 c | 65295 | 1100 82883 272689 | 2147483647 65295 77 | 0.000 % |
21.53/21.65 c | 65529 | 1100 82883 272689 | 2147483647 65529 77 | 0.000 % |
21.73/21.80 c | 65785 | 1100 82883 272689 | 2147483647 65785 78 | 0.000 % |
21.84/21.97 c | 66068 | 1100 82883 272689 | 2147483647 66068 78 | 0.000 % |
22.03/22.15 c | 66377 | 1100 82883 272689 | 2147483647 66377 78 | 0.000 % |
22.23/22.34 c | 66717 | 1100 82883 272689 | 2147483647 66717 78 | 0.012 % |
22.44/22.50 c | 67090 | 1100 82883 272689 | 2147483647 67090 78 | 0.012 % |
22.64/22.75 c | 67499 | 1100 82883 272689 | 2147483647 67499 78 | 0.000 % |
22.94/23.01 c | 67948 | 1100 82883 272689 | 2147483647 67948 78 | 0.000 % |
23.24/23.30 c | 68443 | 1100 82883 272689 | 2147483647 68443 78 | 0.000 % |
23.44/23.58 c | 68986 | 1100 82883 272689 | 2147483647 68986 78 | 0.000 % |
23.74/23.86 c | 69583 | 1100 82883 272689 | 2147483647 69583 78 | 0.015 % |
24.14/24.29 c | 70238 | 1100 82883 272689 | 2147483647 70238 78 | 0.000 % |
24.74/24.85 c | 70958 | 1100 82883 272689 | 2147483647 70958 78 | 0.013 % |
25.34/25.40 c | 71750 | 1100 82883 272689 | 2147483647 71750 78 | 0.000 % |
25.74/25.87 c | 72622 | 1100 82883 272689 | 2147483647 72622 78 | 0.013 % |
25.84/25.94 c | 72722 | 1100 82883 272689 | 2147483647 72722 78 | 0.013 % |
25.94/26.01 c | 72833 | 1100 82883 272689 | 2147483647 72833 78 | 0.013 % |
25.94/26.09 c | 72955 | 1100 82883 272689 | 2147483647 72955 78 | 0.000 % |
26.03/26.18 c | 73089 | 1100 82883 272689 | 2147483647 73089 78 | 0.000 % |
26.13/26.30 c | 73236 | 1100 82883 272689 | 2147483647 73236 78 | 0.000 % |
26.24/26.39 c | 73398 | 1100 82883 272689 | 2147483647 73398 78 | 0.000 % |
26.34/26.49 c | 73574 | 1100 82883 272689 | 2147483647 73574 78 | 0.012 % |
26.53/26.63 c | 73771 | 1100 82883 272689 | 2147483647 73771 78 | 0.000 % |
26.63/26.76 c | 73985 | 1100 82883 272689 | 2147483647 73985 78 | 0.000 % |
26.83/26.91 c | 74218 | 1100 82883 272689 | 2147483647 74218 78 | 0.013 % |
26.93/27.08 c | 74475 | 1100 82883 272689 | 2147483647 74475 78 | 0.000 % |
27.13/27.24 c | 74757 | 1100 82883 272689 | 2147483647 74757 78 | 0.012 % |
27.33/27.44 c | 75066 | 1100 82883 272689 | 2147483647 75066 78 | 0.000 % |
27.63/27.80 c | 75410 | 1100 82883 272689 | 2147483647 75410 79 | 0.000 % |
27.93/28.05 c | 75782 | 1100 82883 272689 | 2147483647 75782 79 | 0.000 % |
28.23/28.30 c | 76192 | 1100 82883 272689 | 2147483647 76192 79 | 0.000 % |
28.53/28.60 c | 76643 | 1100 82883 272689 | 2147483647 76643 79 | 0.000 % |
28.74/28.85 c | 77136 | 1100 82883 272689 | 2147483647 77136 78 | 0.000 % |
29.14/29.22 c | 77680 | 1100 82883 272689 | 2147483647 77680 78 | 0.000 % |
29.54/29.63 c | 78276 | 1100 82883 272689 | 2147483647 78276 78 | 0.012 % |
29.94/30.03 c | 78933 | 1100 82883 272689 | 2147483647 78933 78 | 0.013 % |
30.34/30.45 c | 79653 | 1100 82883 272689 | 2147483647 79653 77 | 0.012 % |
30.84/30.93 c | 80447 | 1100 82883 272689 | 2147483647 80447 77 | 0.012 % |
31.44/31.50 c | 81320 | 1100 82883 272689 | 2147483647 81320 77 | 0.000 % |
31.93/32.02 c | 82282 | 1100 82883 272689 | 2147483647 82282 77 | 0.017 % |
31.93/32.09 c | 82383 | 1100 82883 272689 | 2147483647 82383 77 | 0.012 % |
32.03/32.16 c | 82493 | 1100 82883 272689 | 2147483647 82493 77 | 0.012 % |
32.13/32.24 c | 82614 | 1100 82883 272689 | 2147483647 82614 77 | 0.012 % |
32.23/32.32 c | 82748 | 1100 82883 272689 | 2147483647 82748 77 | 0.000 % |
32.33/32.44 c | 82896 | 1100 82883 272689 | 2147483647 82896 77 | 0.013 % |
32.43/32.56 c | 83057 | 1100 82883 272689 | 2147483647 83057 77 | 0.000 % |
32.53/32.68 c | 83233 | 1100 82883 272689 | 2147483647 83233 77 | 0.000 % |
32.73/32.83 c | 83426 | 1100 82883 272689 | 2147483647 83426 77 | 0.013 % |
32.83/32.98 c | 83639 | 1100 82883 272689 | 2147483647 83639 77 | 0.000 % |
33.03/33.16 c | 83874 | 1100 82883 272689 | 2147483647 83874 77 | 0.010 % |
33.23/33.37 c | 84130 | 1100 82883 272689 | 2147483647 84130 77 | 0.000 % |
33.43/33.59 c | 84411 | 1100 82883 272689 | 2147483647 84411 77 | 0.013 % |
33.73/33.80 c | 84721 | 1100 82883 272689 | 2147483647 84721 77 | 0.000 % |
33.93/34.06 c | 85061 | 1100 82883 272689 | 2147483647 85061 77 | 0.000 % |
34.23/34.38 c | 85433 | 1100 82883 272689 | 2147483647 85433 77 | 0.000 % |
34.53/34.64 c | 85846 | 1100 82883 272689 | 2147483647 85846 78 | 0.000 % |
34.83/34.92 c | 86297 | 1100 82883 272689 | 2147483647 86297 78 | 0.000 % |
35.13/35.24 c | 86790 | 1100 82883 272689 | 2147483647 86790 78 | 0.000 % |
35.43/35.55 c | 87332 | 1100 82883 272689 | 2147483647 87332 78 | 0.000 % |
35.83/35.99 c | 87928 | 1100 82883 272689 | 2147483647 87928 78 | 0.013 % |
36.43/36.52 c | 88583 | 1100 82883 272689 | 2147483647 88583 78 | 0.000 % |
37.03/37.18 c | 89305 | 1100 82883 272689 | 2147483647 89305 78 | 0.000 % |
37.63/37.73 c | 90097 | 1100 82883 272689 | 2147483647 90097 79 | 0.000 % |
38.43/38.53 c | 90969 | 1100 82883 272689 | 2147483647 90969 79 | 0.000 % |
39.23/39.37 c | 91927 | 1100 82883 272689 | 2147483647 91927 79 | 0.000 % |
40.02/40.16 c | 92982 | 1100 82883 272689 | 2147483647 92982 79 | 0.000 % |
40.12/40.23 c | 93083 | 1100 82883 272689 | 2147483647 93083 79 | 0.012 % |
40.22/40.35 c | 93193 | 1100 82883 272689 | 2147483647 93193 79 | 0.000 % |
40.32/40.43 c | 93314 | 1100 82883 272689 | 2147483647 93314 79 | 0.000 % |
40.42/40.52 c | 93447 | 1100 82883 272689 | 2147483647 93447 79 | 0.000 % |
40.53/40.62 c | 93593 | 1100 82883 272689 | 2147483647 93593 79 | 0.011 % |
40.63/40.78 c | 93757 | 1100 82883 272689 | 2147483647 93757 80 | 0.000 % |
40.83/40.91 c | 93933 | 1100 82883 272689 | 2147483647 93933 80 | 0.000 % |
40.93/41.08 c | 94126 | 1100 82883 272689 | 2147483647 94126 79 | 0.000 % |
41.13/41.22 c | 94339 | 1100 82883 272689 | 2147483647 94339 79 | 0.000 % |
41.33/41.44 c | 94572 | 1100 82883 272689 | 2147483647 94572 79 | 0.013 % |
41.53/41.69 c | 94829 | 1100 82883 272689 | 2147483647 94829 80 | 0.000 % |
41.83/41.92 c | 95110 | 1100 82883 272689 | 2147483647 95110 80 | 0.000 % |
42.13/42.21 c | 95419 | 1100 82883 272689 | 2147483647 95419 80 | 0.013 % |
42.32/42.47 c | 95759 | 1100 82883 272689 | 2147483647 95759 80 | 0.000 % |
42.62/42.74 c | 96132 | 1100 82883 272689 | 2147483647 96132 80 | 0.000 % |
43.02/43.13 c | 96545 | 1100 82883 272689 | 2147483647 96545 80 | 0.000 % |
43.32/43.47 c | 96994 | 1100 82883 272689 | 2147483647 96994 80 | 0.000 % |
43.72/43.87 c | 97487 | 1100 82883 272689 | 2147483647 97487 80 | 0.000 % |
44.22/44.35 c | 98031 | 1100 82883 272689 | 2147483647 98031 80 | 0.000 % |
44.72/44.86 c | 98627 | 1100 82883 272689 | 2147483647 98627 80 | 0.000 % |
45.22/45.34 c | 99283 | 1100 82883 272689 | 2147483647 99283 81 | 0.014 % |
45.82/45.93 c | 100006 | 1100 82883 272689 | 2147483647 100006 81 | 0.000 % |
46.62/46.74 c | 100801 | 1100 82883 272689 | 2147483647 100801 81 | 0.000 % |
47.32/47.44 c | 101672 | 1100 82883 272689 | 2147483647 101672 81 | 0.000 % |
48.12/48.21 c | 102632 | 1100 82883 272689 | 2147483647 102632 81 | 0.000 % |
49.02/49.16 c | 103686 | 1100 82883 272689 | 2147483647 103686 82 | 0.000 % |
50.03/50.12 c | 104847 | 1100 82883 272689 | 2147483647 104847 82 | 0.015 % |
50.13/50.20 c | 104947 | 1100 82883 272689 | 2147483647 104947 82 | 0.012 % |
50.23/50.32 c | 105057 | 1100 82883 272689 | 2147483647 105057 82 | 0.015 % |
50.33/50.50 c | 105178 | 1100 82883 272689 | 2147483647 105178 82 | 0.000 % |
50.53/50.64 c | 105313 | 1100 82883 272689 | 2147483647 105313 82 | 0.000 % |
50.72/50.80 c | 105460 | 1100 82883 272689 | 2147483647 105460 82 | 0.000 % |
50.82/50.95 c | 105621 | 1100 82883 272689 | 2147483647 105621 82 | 0.000 % |
51.02/51.12 c | 105797 | 1100 82883 272689 | 2147483647 105797 82 | 0.000 % |
51.12/51.29 c | 105990 | 1100 82883 272689 | 2147483647 105990 82 | 0.000 % |
51.32/51.48 c | 106202 | 1100 82883 272689 | 2147483647 106202 82 | 0.011 % |
51.53/51.69 c | 106435 | 1100 82883 272689 | 2147483647 106435 82 | 0.000 % |
51.82/51.92 c | 106693 | 1100 82883 272689 | 2147483647 106693 82 | 0.012 % |
52.02/52.16 c | 106975 | 1100 82883 272689 | 2147483647 106975 81 | 0.012 % |
52.32/52.43 c | 107285 | 1100 82883 272689 | 2147483647 107285 81 | 0.010 % |
52.52/52.68 c | 107624 | 1100 82883 272689 | 2147483647 107624 81 | 0.000 % |
52.92/53.00 c | 107997 | 1100 82883 272689 | 2147483647 107997 81 | 0.013 % |
53.22/53.33 c | 108407 | 1100 82883 272689 | 2147483647 108407 81 | 0.012 % |
53.62/53.71 c | 108857 | 1100 82883 272689 | 2147483647 108857 81 | 0.013 % |
54.02/54.12 c | 109352 | 1100 82883 272689 | 2147483647 109352 81 | 0.000 % |
54.42/54.53 c | 109894 | 1100 82883 272689 | 2147483647 109894 81 | 0.000 % |
54.82/54.98 c | 110490 | 1100 82883 272689 | 110002 110490 81 | 0.012 % |
55.52/55.63 c | 111147 | 1100 82883 272689 | 110002 95047 79 | 0.012 % |
56.12/56.26 c | 111870 | 1100 82883 272689 | 110002 95770 79 | 0.012 % |
56.82/56.97 c | 112663 | 1100 82883 272689 | 110002 96563 79 | 0.012 % |
57.62/57.77 c | 113534 | 1100 82883 272689 | 110002 97434 79 | 0.014 % |
58.51/58.68 c | 114492 | 1100 82883 272689 | 110002 98392 79 | 0.000 % |
59.32/59.49 c | 115547 | 1100 82883 272689 | 110002 99447 79 | 0.000 % |
60.51/60.62 c | 116708 | 1100 82883 272689 | 110002 100608 80 | 0.000 % |
61.61/61.72 c | 117981 | 1100 82883 272689 | 110002 101881 81 | 0.000 % |
61.71/61.83 c | 118082 | 1100 82883 272689 | 110002 101982 81 | 0.000 % |
61.81/61.96 c | 118194 | 1100 82883 272689 | 110002 102094 81 | 0.000 % |
61.91/62.08 c | 118318 | 1100 82883 272689 | 110002 102218 81 | 0.000 % |
62.11/62.23 c | 118452 | 1100 82883 272689 | 110002 102352 81 | 0.000 % |
62.21/62.34 c | 118600 | 1100 82883 272689 | 110002 102500 81 | 0.000 % |
62.31/62.49 c | 118761 | 1100 82883 272689 | 110002 102661 81 | 0.000 % |
62.52/62.64 c | 118937 | 1100 82883 272689 | 110002 102837 81 | 0.000 % |
62.71/62.86 c | 119130 | 1100 82883 272689 | 110002 103030 81 | 0.017 % |
62.91/63.06 c | 119343 | 1100 82883 272689 | 110002 103243 81 | 0.000 % |
63.11/63.24 c | 119577 | 1100 82883 272689 | 110002 103477 81 | 0.000 % |
63.41/63.51 c | 119833 | 1100 82883 272689 | 110002 103733 81 | 0.000 % |
63.61/63.76 c | 120116 | 1100 82883 272689 | 103900 104016 81 | 0.000 % |
63.91/64.08 c | 120425 | 1100 82883 272689 | 103900 88977 78 | 0.000 % |
64.31/64.40 c | 120764 | 1100 82883 272689 | 103900 89316 78 | 0.011 % |
64.61/64.71 c | 121136 | 1100 82883 272689 | 103900 89688 78 | 0.000 % |
64.81/64.99 c | 121545 | 1100 82883 272689 | 103900 90097 78 | 0.013 % |
65.31/65.42 c | 121994 | 1100 82883 272689 | 103900 90546 78 | 0.000 % |
65.71/65.84 c | 122491 | 1100 82883 272689 | 103900 91043 78 | 0.000 % |
66.21/66.32 c | 123033 | 1100 82883 272689 | 103900 91585 78 | 0.012 % |
66.70/66.81 c | 123629 | 1100 82883 272689 | 103900 92181 78 | 0.000 % |
67.20/67.37 c | 124285 | 1100 82883 272689 | 103900 92837 78 | 0.000 % |
67.80/67.93 c | 125005 | 1100 82883 272689 | 103900 93557 79 | 0.000 % |
68.60/68.74 c | 125797 | 1100 82883 272689 | 103900 94349 79 | 0.000 % |
69.50/69.63 c | 126668 | 1100 82883 272689 | 103900 95220 80 | 0.000 % |
70.21/70.40 c | 127628 | 1100 82883 272689 | 103900 96180 80 | 0.000 % |
71.31/71.48 c | 128681 | 1100 82883 272689 | 103900 97233 80 | 0.012 % |
72.30/72.42 c | 129839 | 1100 82883 272689 | 103900 98391 80 | 0.000 % |
73.61/73.77 c | 131112 | 1100 82883 272689 | 98552 85448 79 | 0.014 % |
74.80/74.92 c | 132513 | 1100 82883 272689 | 98552 86849 79 | 0.000 % |
74.90/75.04 c | 132615 | 1100 82883 272689 | 98552 86951 79 | 0.000 % |
75.00/75.16 c | 132725 | 1100 82883 272689 | 98552 87061 79 | 0.000 % |
75.10/75.28 c | 132846 | 1100 82883 272689 | 98552 87182 79 | 0.000 % |
75.20/75.38 c | 132981 | 1100 82883 272689 | 98552 87317 79 | 0.014 % |
75.40/75.53 c | 133129 | 1100 82883 272689 | 98552 87465 79 | 0.000 % |
75.60/75.70 c | 133291 | 1100 82883 272689 | 98552 87627 79 | 0.000 % |
75.70/75.83 c | 133467 | 1100 82883 272689 | 98552 87803 79 | 0.000 % |
75.80/75.99 c | 133660 | 1100 82883 272689 | 98552 87996 79 | 0.010 % |
76.00/76.17 c | 133872 | 1100 82883 272689 | 98552 88208 79 | 0.011 % |
76.20/76.34 c | 134105 | 1100 82883 272689 | 98552 88441 79 | 0.014 % |
76.40/76.57 c | 134362 | 1100 82883 272689 | 98552 88698 78 | 0.014 % |
76.60/76.77 c | 134644 | 1100 82883 272689 | 98552 88980 78 | 0.012 % |
76.90/77.06 c | 134953 | 1100 82883 272689 | 98552 89289 78 | 0.013 % |
77.20/77.33 c | 135292 | 1100 82883 272689 | 98552 89628 78 | 0.013 % |
77.50/77.66 c | 135668 | 1100 82883 272689 | 98552 90004 78 | 0.000 % |
77.90/78.02 c | 136079 | 1100 82883 272689 | 98552 90415 78 | 0.000 % |
78.40/78.53 c | 136529 | 1100 82883 272689 | 98552 90865 79 | 0.000 % |
78.90/79.04 c | 137023 | 1100 82883 272689 | 98552 91359 79 | 0.000 % |
79.50/79.68 c | 137565 | 1100 82883 272689 | 98552 91901 79 | 0.000 % |
80.20/80.33 c | 138163 | 1100 82883 272689 | 98552 92499 79 | 0.000 % |
80.70/80.85 c | 138818 | 1100 82883 272689 | 98552 93154 80 | 0.000 % |
81.40/81.55 c | 139539 | 1100 82883 272689 | 98552 93875 80 | 0.000 % |
82.50/82.60 c | 140331 | 1100 82883 272689 | 94338 94667 80 | 0.000 % |
83.30/83.42 c | 141206 | 1100 82883 272689 | 94338 82075 80 | 0.000 % |
84.10/84.28 c | 142164 | 1100 82883 272689 | 94338 83033 81 | 0.000 % |
85.00/85.18 c | 143217 | 1100 82883 272689 | 94338 84086 81 | 0.000 % |
85.80/85.95 c | 144377 | 1100 82883 272689 | 94338 85246 81 | 0.000 % |
86.89/87.01 c | 145650 | 1100 82883 272689 | 94338 86519 81 | 0.000 % |
87.90/88.09 c | 147051 | 1100 82883 272689 | 94338 87920 81 | 0.000 % |
89.49/89.63 c | 148591 | 1100 82883 272689 | 94338 89460 82 | 0.000 % |
89.59/89.76 c | 148691 | 1100 82883 272689 | 94338 89560 82 | 0.000 % |
89.79/89.90 c | 148803 | 1100 82883 272689 | 94338 89672 82 | 0.000 % |
89.89/90.05 c | 148925 | 1100 82883 272689 | 94338 89794 82 | 0.000 % |
90.10/90.23 c | 149058 | 1100 82883 272689 | 94338 89927 82 | 0.000 % |
90.29/90.43 c | 149206 | 1100 82883 272689 | 94338 90075 83 | 0.000 % |
90.39/90.58 c | 149367 | 1100 82883 272689 | 94338 90236 83 | 0.000 % |
90.59/90.77 c | 149543 | 1100 82883 272689 | 94338 90412 83 | 0.011 % |
90.89/91.05 c | 149737 | 1100 82883 272689 | 94338 90606 83 | 0.000 % |
91.10/91.26 c | 149949 | 1100 82883 272689 | 94338 90818 83 | 0.000 % |
91.29/91.49 c | 150182 | 1100 82883 272689 | 90869 91051 83 | 0.013 % |
91.69/91.80 c | 150439 | 1100 82883 272689 | 90869 78329 83 | 0.000 % |
91.99/92.12 c | 150721 | 1100 82883 272689 | 90869 78611 83 | 0.013 % |
92.30/92.42 c | 151030 | 1100 82883 272689 | 90869 78920 83 | 0.013 % |
92.69/92.88 c | 151370 | 1100 82883 272689 | 90869 79260 83 | 0.000 % |
92.99/93.15 c | 151743 | 1100 82883 272689 | 90869 79633 83 | 0.000 % |
93.30/93.47 c | 152152 | 1100 82883 272689 | 90869 80042 84 | 0.000 % |
93.69/93.84 c | 152601 | 1100 82883 272689 | 90869 80491 83 | 0.012 % |
94.09/94.27 c | 153095 | 1100 82883 272689 | 90869 80985 83 | 0.013 % |
94.99/95.11 c | 153639 | 1100 82883 272689 | 90869 81529 84 | 0.000 % |
95.89/96.01 c | 154235 | 1100 82883 272689 | 90869 82125 84 | 0.000 % |
96.39/96.52 c | 154892 | 1100 82883 272689 | 90869 82782 84 | 0.000 % |
97.09/97.29 c | 155615 | 1100 82883 272689 | 90869 83505 84 | 0.010 % |
97.99/98.18 c | 156407 | 1100 82883 272689 | 90869 84297 84 | 0.000 % |
98.90/99.07 c | 157279 | 1100 82883 272689 | 90869 85169 84 | 0.011 % |
99.90/100.06 c | 158241 | 1100 82883 272689 | 90869 86131 84 | 0.011 % |
100.69/100.82 c | 159296 | 1100 82883 272689 | 90869 87186 84 | 0.013 % |
101.59/101.73 c | 160456 | 1100 82883 272689 | 87892 88346 83 | 0.013 % |
102.79/102.98 c | 161732 | 1100 82883 272689 | 87892 76131 79 | 0.000 % |
103.89/104.07 c | 163133 | 1100 82883 272689 | 87892 77532 79 | 0.013 % |
105.19/105.39 c | 164674 | 1100 82883 272689 | 87892 79073 78 | 0.012 % |
106.49/106.65 c | 166368 | 1100 82883 272689 | 87892 80767 78 | 0.013 % |
106.59/106.75 c | 166468 | 1100 82883 272689 | 87892 80867 78 | 0.012 % |
106.69/106.87 c | 166579 | 1100 82883 272689 | 87892 80978 78 | 0.012 % |
106.89/107.00 c | 166703 | 1100 82883 272689 | 87892 81102 78 | 0.000 % |
106.99/107.13 c | 166836 | 1100 82883 272689 | 87892 81235 78 | 0.000 % |
107.09/107.27 c | 166983 | 1100 82883 272689 | 87892 81382 78 | 0.000 % |
107.29/107.49 c | 167143 | 1100 82883 272689 | 87892 81542 78 | 0.010 % |
107.49/107.65 c | 167320 | 1100 82883 272689 | 87892 81719 78 | 0.000 % |
107.69/107.83 c | 167513 | 1100 82883 272689 | 87892 81912 78 | 0.012 % |
107.89/108.08 c | 167725 | 1100 82883 272689 | 87892 82124 78 | 0.000 % |
108.19/108.36 c | 167958 | 1100 82883 272689 | 87892 82357 78 | 0.000 % |
108.49/108.62 c | 168214 | 1100 82883 272689 | 87892 82613 78 | 0.000 % |
108.69/108.90 c | 168495 | 1100 82883 272689 | 87892 82894 78 | 0.000 % |
108.98/109.15 c | 168805 | 1100 82883 272689 | 87892 83204 78 | 0.000 % |
109.28/109.42 c | 169145 | 1100 82883 272689 | 87892 83544 78 | 0.000 % |
109.58/109.77 c | 169520 | 1100 82883 272689 | 87892 83919 79 | 0.000 % |
109.98/110.16 c | 169929 | 1100 82883 272689 | 87892 84328 79 | 0.000 % |
110.38/110.58 c | 170378 | 1100 82883 272689 | 84399 84777 79 | 0.000 % |
110.88/111.07 c | 170871 | 1100 82883 272689 | 84399 73800 79 | 0.013 % |
111.38/111.53 c | 171413 | 1100 82883 272689 | 84399 74342 79 | 0.000 % |
111.88/112.06 c | 172011 | 1100 82883 272689 | 84399 74940 79 | 0.012 % |
112.58/112.75 c | 172666 | 1100 82883 272689 | 84399 75595 80 | 0.000 % |
113.18/113.36 c | 173386 | 1100 82883 272689 | 84399 76315 80 | 0.000 % |
113.78/113.98 c | 174179 | 1100 82883 272689 | 84399 77108 80 | 0.000 % |
114.68/114.85 c | 175050 | 1100 82883 272689 | 84399 77979 80 | 0.013 % |
115.58/115.76 c | 176008 | 1100 82883 272689 | 84399 78937 81 | 0.000 % |
116.48/116.62 c | 177062 | 1100 82883 272689 | 84399 79991 81 | 0.000 % |
117.68/117.84 c | 178222 | 1100 82883 272689 | 84399 81151 82 | 0.000 % |
118.58/118.80 c | 179495 | 1100 82883 272689 | 84399 82424 82 | 0.000 % |
119.98/120.19 c | 180895 | 1100 82883 272689 | 82930 72139 79 | 0.000 % |
121.38/121.51 c | 182435 | 1100 82883 272689 | 82930 73679 79 | 0.011 % |
122.88/123.08 c | 184130 | 1100 82883 272689 | 82930 75374 78 | 0.012 % |
125.28/125.41 c | 185997 | 1100 82883 272689 | 82930 77241 78 | 0.010 % |
125.38/125.56 c | 186104 | 1100 82883 272689 | 82930 77348 78 | 0.010 % |
125.58/125.70 c | 186215 | 1100 82883 272689 | 82930 77459 78 | 0.000 % |
125.68/125.86 c | 186337 | 1100 82883 272689 | 82930 77581 78 | 0.012 % |
125.88/126.01 c | 186472 | 1100 82883 272689 | 82930 77716 78 | 0.012 % |
125.98/126.18 c | 186618 | 1100 82883 272689 | 82930 77862 78 | 0.000 % |
126.18/126.36 c | 186778 | 1100 82883 272689 | 82930 78022 78 | 0.013 % |
126.39/126.51 c | 186954 | 1100 82883 272689 | 82930 78198 78 | 0.012 % |
126.58/126.72 c | 187149 | 1100 82883 272689 | 82930 78393 78 | 0.000 % |
126.78/126.96 c | 187362 | 1100 82883 272689 | 82930 78606 78 | 0.013 % |
126.98/127.16 c | 187595 | 1100 82883 272689 | 82930 78839 78 | 0.000 % |
127.28/127.48 c | 187852 | 1100 82883 272689 | 82930 79096 78 | 0.000 % |
127.68/127.80 c | 188133 | 1100 82883 272689 | 82930 79377 78 | 0.000 % |
127.88/128.09 c | 188442 | 1100 82883 272689 | 82930 79686 78 | 0.000 % |
128.28/128.48 c | 188781 | 1100 82883 272689 | 82930 80025 78 | 0.000 % |
128.59/128.79 c | 189153 | 1100 82883 272689 | 82930 80397 78 | 0.000 % |
128.98/129.19 c | 189563 | 1100 82883 272689 | 82930 80807 78 | 0.012 % |
129.48/129.62 c | 190015 | 1100 82883 272689 | 81244 81259 79 | 0.000 % |
130.18/130.37 c | 190508 | 1100 82883 272689 | 81244 68663 77 | 0.000 % |
130.98/131.11 c | 191053 | 1100 82883 272689 | 81244 69208 78 | 0.000 % |
131.68/131.84 c | 191650 | 1100 82883 272689 | 81244 69805 78 | 0.000 % |
132.38/132.57 c | 192306 | 1100 82883 272689 | 81244 70461 78 | 0.000 % |
133.18/133.39 c | 193026 | 1100 82883 272689 | 81244 71181 78 | 0.000 % |
134.09/134.28 c | 193818 | 1100 82883 272689 | 81244 71973 79 | 0.000 % |
134.78/134.99 c | 194689 | 1100 82883 272689 | 81244 72844 79 | 0.013 % |
135.78/135.91 c | 195651 | 1100 82883 272689 | 81244 73806 79 | 0.012 % |
136.68/136.83 c | 196704 | 1100 82883 272689 | 81244 74859 79 | 0.012 % |
137.78/137.98 c | 197862 | 1100 82883 272689 | 81244 76017 79 | 0.000 % |
138.78/138.96 c | 199135 | 1100 82883 272689 | 81244 77290 79 | 0.012 % |
139.88/140.03 c | 200537 | 1100 82883 272689 | 78156 78692 78 | 0.000 % |
141.48/141.68 c | 202077 | 1100 82883 272689 | 78156 69229 74 | 0.000 % |
143.18/143.37 c | 203772 | 1100 82883 272689 | 78156 70924 75 | 0.000 % |
144.78/144.93 c | 205635 | 1100 82883 272689 | 78156 72787 76 | 0.000 % |
146.28/146.47 c | 207686 | 1100 82883 272689 | 78156 74838 77 | 0.009 % |
146.38/146.57 c | 207790 | 1100 82883 272689 | 78156 74942 77 | 0.009 % |
146.48/146.69 c | 207900 | 1100 82883 272689 | 78156 75052 77 | 0.000 % |
146.58/146.78 c | 208021 | 1100 82883 272689 | 78156 75173 77 | 0.000 % |
146.78/146.98 c | 208158 | 1100 82883 272689 | 78156 75310 77 | 0.000 % |
146.98/147.13 c | 208304 | 1100 82883 272689 | 78156 75456 77 | 0.000 % |
147.08/147.27 c | 208464 | 1100 82883 272689 | 78156 75616 77 | 0.000 % |
147.28/147.41 c | 208641 | 1100 82883 272689 | 78156 75793 77 | 0.000 % |
147.37/147.58 c | 208834 | 1100 82883 272689 | 78156 75986 77 | 0.010 % |
147.57/147.76 c | 209048 | 1100 82883 272689 | 78156 76200 78 | 0.000 % |
147.87/148.10 c | 209282 | 1100 82883 272689 | 78156 76434 78 | 0.000 % |
148.07/148.30 c | 209539 | 1100 82883 272689 | 78156 76691 78 | 0.000 % |
148.38/148.58 c | 209820 | 1100 82883 272689 | 78156 76972 78 | 0.000 % |
148.77/148.93 c | 210132 | 1100 82883 272689 | 77153 77284 78 | 0.000 % |
149.17/149.33 c | 210472 | 1100 82883 272689 | 77153 67414 76 | 0.000 % |
149.57/149.73 c | 210844 | 1100 82883 272689 | 77153 67786 76 | 0.000 % |
149.97/150.17 c | 211253 | 1100 82883 272689 | 77153 68195 76 | 0.000 % |
150.37/150.58 c | 211704 | 1100 82883 272689 | 77153 68646 77 | 0.000 % |
150.87/151.07 c | 212199 | 1100 82883 272689 | 77153 69141 77 | 0.000 % |
151.27/151.45 c | 212741 | 1100 82883 272689 | 77153 69683 77 | 0.015 % |
151.68/151.88 c | 213339 | 1100 82883 272689 | 77153 70281 77 | 0.012 % |
152.37/152.52 c | 213994 | 1100 82883 272689 | 77153 70936 77 | 0.000 % |
153.07/153.22 c | 214715 | 1100 82883 272689 | 77153 71657 77 | 0.000 % |
153.87/154.03 c | 215507 | 1100 82883 272689 | 77153 72449 77 | 0.000 % |
154.77/154.92 c | 216378 | 1100 82883 272689 | 77153 73320 77 | 0.000 % |
155.57/155.76 c | 217337 | 1100 82883 272689 | 77153 74279 77 | 0.000 % |
156.47/156.64 c | 218390 | 1100 82883 272689 | 77153 75332 77 | 0.000 % |
157.37/157.59 c | 219550 | 1100 82883 272689 | 77153 76492 77 | 0.000 % |
158.86/159.04 c | 220823 | 1100 82883 272689 | 76944 68007 80 | 0.000 % |
160.06/160.25 c | 222223 | 1100 82883 272689 | 76944 69407 80 | 0.000 % |
161.36/161.54 c | 223763 | 1100 82883 272689 | 76944 70947 80 | 0.000 % |
162.67/162.89 c | 225460 | 1100 82883 272689 | 76944 72644 80 | 0.012 % |
164.66/164.82 c | 227324 | 1100 82883 272689 | 76944 74508 80 | 0.012 % |
166.66/166.83 c | 229373 | 1100 82883 272689 | 76944 76557 80 | 0.012 % |
168.86/169.08 c | 231627 | 1100 82883 272689 | 77185 67834 76 | 0.013 % |
168.96/169.19 c | 231727 | 1100 82883 272689 | 77185 67934 76 | 0.000 % |
169.06/169.30 c | 231838 | 1100 82883 272689 | 77185 68045 76 | 0.000 % |
169.16/169.39 c | 231959 | 1100 82883 272689 | 77185 68166 76 | 0.013 % |
169.36/169.53 c | 232092 | 1100 82883 272689 | 77185 68299 76 | 0.000 % |
169.46/169.68 c | 232239 | 1100 82883 272689 | 77185 68446 76 | 0.000 % |
169.66/169.84 c | 232400 | 1100 82883 272689 | 77185 68607 76 | 0.000 % |
169.76/169.99 c | 232576 | 1100 82883 272689 | 77185 68783 76 | 0.000 % |
170.06/170.22 c | 232769 | 1100 82883 272689 | 77185 68976 76 | 0.000 % |
170.16/170.39 c | 232982 | 1100 82883 272689 | 77185 69189 76 | 0.000 % |
170.46/170.60 c | 233215 | 1100 82883 272689 | 77185 69422 76 | 0.000 % |
170.66/170.81 c | 233473 | 1100 82883 272689 | 77185 69680 77 | 0.000 % |
170.86/171.03 c | 233754 | 1100 82883 272689 | 77185 69961 77 | 0.000 % |
171.06/171.29 c | 234063 | 1100 82883 272689 | 77185 70270 77 | 0.012 % |
171.36/171.59 c | 234402 | 1100 82883 272689 | 77185 70609 77 | 0.000 % |
171.76/171.98 c | 234776 | 1100 82883 272689 | 77185 70983 77 | 0.000 % |
172.26/172.40 c | 235185 | 1100 82883 272689 | 77185 71392 77 | 0.000 % |
172.56/172.77 c | 235636 | 1100 82883 272689 | 77185 71843 77 | 0.000 % |
172.96/173.18 c | 236131 | 1100 82883 272689 | 77185 72338 78 | 0.000 % |
173.46/173.67 c | 236674 | 1100 82883 272689 | 77185 72881 77 | 0.012 % |
173.96/174.12 c | 237271 | 1100 82883 272689 | 77185 73478 77 | 0.000 % |
174.46/174.69 c | 237926 | 1100 82883 272689 | 77185 74133 77 | 0.000 % |
175.06/175.24 c | 238648 | 1100 82883 272689 | 77185 74855 77 | 0.014 % |
175.76/175.94 c | 239440 | 1100 82883 272689 | 77185 75647 77 | 0.000 % |
176.36/176.53 c | 240311 | 1100 82883 272689 | 76207 76518 78 | 0.012 % |
177.16/177.31 c | 241269 | 1100 82883 272689 | 76207 67601 78 | 0.000 % |
178.06/178.27 c | 242324 | 1100 82883 272689 | 76207 68656 78 | 0.000 % |
178.85/179.07 c | 243483 | 1100 82883 272689 | 76207 69815 77 | 0.011 % |
179.95/180.16 c | 244756 | 1100 82883 272689 | 76207 71088 77 | 0.014 % |
181.26/181.43 c | 246157 | 1100 82883 272689 | 76207 72489 77 | 0.000 % |
182.85/183.05 c | 247697 | 1100 82883 272689 | 76207 74029 77 | 0.000 % |
184.66/184.82 c | 249392 | 1100 82883 272689 | 76207 75724 77 | 0.000 % |
186.76/186.97 c | 251257 | 1100 82883 272689 | 76333 67175 74 | 0.000 % |
188.75/188.91 c | 253306 | 1100 82883 272689 | 76333 69224 74 | 0.014 % |
190.75/190.94 c | 255559 | 1100 82883 272689 | 76333 71477 74 | 0.000 % |
192.95/193.16 c | 258037 | 1100 82883 272689 | 76333 73955 76 | 0.000 % |
193.05/193.28 c | 258138 | 1100 82883 272689 | 76333 74056 76 | 0.000 % |
193.25/193.40 c | 258251 | 1100 82883 272689 | 76333 74169 76 | 0.000 % |
193.35/193.51 c | 258373 | 1100 82883 272689 | 76333 74291 76 | 0.000 % |
193.46/193.66 c | 258507 | 1100 82883 272689 | 76333 74425 76 | 0.000 % |
193.65/193.83 c | 258654 | 1100 82883 272689 | 76333 74572 76 | 0.000 % |
193.75/194.00 c | 258814 | 1100 82883 272689 | 76333 74732 76 | 0.000 % |
194.05/194.21 c | 258991 | 1100 82883 272689 | 76333 74909 76 | 0.000 % |
194.25/194.44 c | 259185 | 1100 82883 272689 | 76333 75103 76 | 0.013 % |
194.45/194.63 c | 259400 | 1100 82883 272689 | 76333 75318 76 | 0.013 % |
194.65/194.84 c | 259633 | 1100 82883 272689 | 76333 75551 76 | 0.000 % |
194.85/195.03 c | 259890 | 1100 82883 272689 | 76333 75808 76 | 0.000 % |
195.05/195.28 c | 260172 | 1100 82883 272689 | 75920 76090 76 | 0.014 % |
195.35/195.58 c | 260481 | 1100 82883 272689 | 75920 65771 70 | 0.000 % |
195.65/195.83 c | 260821 | 1100 82883 272689 | 75920 66111 70 | 0.014 % |
195.85/196.09 c | 261194 | 1100 82883 272689 | 75920 66484 70 | 0.012 % |
196.25/196.40 c | 261603 | 1100 82883 272689 | 75920 66893 70 | 0.000 % |
196.55/196.72 c | 262052 | 1100 82883 272689 | 75920 67342 70 | 0.000 % |
196.95/197.17 c | 262545 | 1100 82883 272689 | 75920 67835 71 | 0.000 % |
197.45/197.67 c | 263088 | 1100 82883 272689 | 75920 68378 71 | 0.000 % |
198.04/198.23 c | 263687 | 1100 82883 272689 | 75920 68977 72 | 0.000 % |
198.54/198.71 c | 264345 | 1100 82883 272689 | 75920 69635 72 | 0.000 % |
198.94/199.19 c | 265066 | 1100 82883 272689 | 75920 70356 72 | 0.000 % |
199.64/199.88 c | 265858 | 1100 82883 272689 | 75920 71148 73 | 0.000 % |
200.44/200.70 c | 266729 | 1100 82883 272689 | 75920 72019 73 | 0.000 % |
201.44/201.63 c | 267687 | 1100 82883 272689 | 75920 72977 73 | 0.010 % |
202.14/202.37 c | 268741 | 1100 82883 272689 | 75920 74031 73 | 0.012 % |
203.14/203.36 c | 269899 | 1100 82883 272689 | 75920 75189 73 | 0.014 % |
204.34/204.58 c | 271173 | 1100 82883 272689 | 75291 66453 71 | 0.000 % |
205.54/205.75 c | 272576 | 1100 82883 272689 | 75291 67856 71 | 0.000 % |
206.93/207.10 c | 274117 | 1100 82883 272689 | 75291 69397 73 | 0.000 % |
208.63/208.90 c | 275812 | 1100 82883 272689 | 75291 71092 74 | 0.000 % |
210.33/210.54 c | 277676 | 1100 82883 272689 | 75291 72956 74 | 0.000 % |
212.04/212.28 c | 279726 | 1100 82883 272689 | 75291 75006 74 | 0.000 % |
214.34/214.54 c | 281980 | 1100 82883 272689 | 75284 66817 73 | 0.000 % |
216.23/216.47 c | 284458 | 1100 82883 272689 | 75284 69295 72 | 0.000 % |
218.23/218.45 c | 287184 | 1100 82883 272689 | 75284 72021 73 | 0.000 % |
218.33/218.53 c | 287287 | 1100 82883 272689 | 75284 72124 73 | 0.000 % |
218.43/218.63 c | 287397 | 1100 82883 272689 | 75284 72234 73 | 0.000 % |
218.53/218.73 c | 287518 | 1100 82883 272689 | 75284 72355 73 | 0.000 % |
218.63/218.88 c | 287651 | 1100 82883 272689 | 75284 72488 73 | 0.000 % |
218.83/219.00 c | 287797 | 1100 82883 272689 | 75284 72634 73 | 0.000 % |
218.93/219.14 c | 287957 | 1100 82883 272689 | 75284 72794 73 | 0.000 % |
219.13/219.33 c | 288134 | 1100 82883 272689 | 75284 72971 73 | 0.000 % |
219.23/219.49 c | 288327 | 1100 82883 272689 | 75284 73164 73 | 0.000 % |
219.43/219.68 c | 288539 | 1100 82883 272689 | 75284 73376 73 | 0.013 % |
219.73/219.93 c | 288772 | 1100 82883 272689 | 75284 73609 73 | 0.000 % |
219.93/220.16 c | 289029 | 1100 82883 272689 | 75284 73866 73 | 0.000 % |
220.13/220.39 c | 289310 | 1100 82883 272689 | 75284 74147 74 | 0.000 % |
220.43/220.61 c | 289620 | 1100 82883 272689 | 75284 74457 74 | 0.000 % |
220.63/220.84 c | 289959 | 1100 82883 272689 | 75284 74796 74 | 0.000 % |
220.93/221.17 c | 290334 | 1100 82883 272689 | 74838 75171 74 | 0.011 % |
221.33/221.57 c | 290743 | 1100 82883 272689 | 74838 66421 72 | 0.000 % |
221.63/221.90 c | 291193 | 1100 82883 272689 | 74838 66871 72 | 0.012 % |
222.13/222.32 c | 291689 | 1100 82883 272689 | 74838 67367 72 | 0.000 % |
222.53/222.70 c | 292232 | 1100 82883 272689 | 74838 67910 72 | 0.000 % |
222.93/223.18 c | 292828 | 1100 82883 272689 | 74838 68506 72 | 0.000 % |
223.33/223.56 c | 293485 | 1100 82883 272689 | 74838 69163 72 | 0.000 % |
223.93/224.11 c | 294206 | 1100 82883 272689 | 74838 69884 72 | 0.000 % |
224.43/224.69 c | 294998 | 1100 82883 272689 | 74838 70676 72 | 0.000 % |
225.13/225.37 c | 295869 | 1100 82883 272689 | 74838 71547 72 | 0.000 % |
225.93/226.11 c | 296827 | 1100 82883 272689 | 74838 72505 72 | 0.000 % |
226.73/226.97 c | 297883 | 1100 82883 272689 | 74838 73561 72 | 0.000 % |
227.53/227.80 c | 299043 | 1100 82883 272689 | 74838 74721 72 | 0.014 % |
228.83/229.08 c | 300316 | 1100 82883 272689 | 2147483647 68459 72 | 0.000 % |
229.93/230.10 c | 301718 | 1100 82883 272689 | 2147483647 69861 73 | 0.000 % |
231.12/231.35 c | 303258 | 1100 82883 272689 | 2147483647 71401 73 | 0.015 % |
232.52/232.79 c | 304954 | 1100 82883 272689 | 2147483647 73097 73 | 0.013 % |
233.92/234.17 c | 306818 | 1100 82883 272689 | 2147483647 74961 73 | 0.012 % |
235.72/235.92 c | 308870 | 1100 82883 272689 | 2147483647 77013 73 | 0.000 % |
237.62/237.83 c | 311123 | 1100 82883 272689 | 78143 71050 73 | 0.012 % |
239.82/240.08 c | 313602 | 1100 82883 272689 | 78143 73529 73 | 0.000 % |
242.12/242.36 c | 316328 | 1100 82883 272689 | 78143 76255 72 | 0.012 % |
245.31/245.52 c | 319326 | 1100 82883 272689 | 78143 68828 67 | 0.012 % |
245.41/245.61 c | 319428 | 1100 82883 272689 | 78143 68930 67 | 0.012 % |
245.51/245.72 c | 319540 | 1100 82883 272689 | 78143 69042 67 | 0.000 % |
245.61/245.83 c | 319662 | 1100 82883 272689 | 78143 69164 67 | 0.000 % |
245.71/245.94 c | 319796 | 1100 82883 272689 | 78143 69298 67 | 0.012 % |
245.81/246.05 c | 319942 | 1100 82883 272689 | 78143 69444 67 | 0.012 % |
246.01/246.20 c | 320103 | 1100 82883 272689 | 69502 69605 67 | 0.000 % |
246.12/246.37 c | 320282 | 1100 82883 272689 | 69502 60459 64 | 0.000 % |
246.31/246.52 c | 320475 | 1100 82883 272689 | 69502 60652 64 | 0.000 % |
246.41/246.69 c | 320690 | 1100 82883 272689 | 69502 60867 64 | 0.000 % |
246.71/246.90 c | 320923 | 1100 82883 272689 | 69502 61100 64 | 0.000 % |
246.81/247.08 c | 321179 | 1100 82883 272689 | 69502 61356 64 | 0.000 % |
247.01/247.28 c | 321464 | 1100 82883 272689 | 69502 61641 64 | 0.000 % |
247.32/247.53 c | 321774 | 1100 82883 272689 | 69502 61951 64 | 0.000 % |
247.51/247.77 c | 322113 | 1100 82883 272689 | 69502 62290 64 | 0.000 % |
247.81/248.00 c | 322487 | 1100 82883 272689 | 69502 62664 64 | 0.000 % |
248.11/248.38 c | 322898 | 1100 82883 272689 | 69502 63075 64 | 0.015 % |
248.51/248.71 c | 323347 | 1100 82883 272689 | 69502 63524 64 | 0.015 % |
248.81/249.04 c | 323841 | 1100 82883 272689 | 69502 64018 65 | 0.015 % |
249.21/249.42 c | 324384 | 1100 82883 272689 | 69502 64561 65 | 0.000 % |
249.61/249.88 c | 324980 | 1100 82883 272689 | 69502 65157 65 | 0.000 % |
250.11/250.36 c | 325635 | 1100 82883 272689 | 69502 65812 66 | 0.000 % |
250.61/250.89 c | 326356 | 1100 82883 272689 | 69502 66533 66 | 0.000 % |
251.21/251.40 c | 327150 | 1100 82883 272689 | 69502 67327 66 | 0.000 % |
251.91/252.18 c | 328023 | 1100 82883 272689 | 69502 68200 66 | 0.014 % |
252.81/253.02 c | 328985 | 1100 82883 272689 | 69502 69162 67 | 0.000 % |
253.61/253.84 c | 330038 | 1100 82883 272689 | 2147483647 63202 65 | 0.000 % |
254.61/254.85 c | 331196 | 1100 82883 272689 | 2147483647 64360 66 | 0.000 % |
255.81/256.04 c | 332469 | 1100 82883 272689 | 2147483647 65633 67 | 0.000 % |
256.91/257.16 c | 333870 | 1100 82883 272689 | 2147483647 67034 67 | 0.016 % |
258.21/258.41 c | 335410 | 1100 82883 272689 | 2147483647 68574 68 | 0.000 % |
259.60/259.81 c | 337105 | 1100 82883 272689 | 2147483647 70269 68 | 0.000 % |
261.10/261.33 c | 338969 | 1100 82883 272689 | 2147483647 72133 68 | 0.000 % |
262.91/263.19 c | 341019 | 1100 82883 272689 | 73167 65880 67 | 0.012 % |
264.91/265.15 c | 343272 | 1100 82883 272689 | 73167 68133 69 | 0.000 % |
267.20/267.43 c | 345750 | 1100 82883 272689 | 73167 70611 69 | 0.000 % |
269.40/269.60 c | 348475 | 1100 82883 272689 | 73167 73336 70 | 0.014 % |
271.70/271.90 c | 351475 | 1100 82883 272689 | 66755 60828 67 | 0.014 % |
274.20/274.49 c | 354772 | 1100 82883 272689 | 66755 64125 67 | 0.000 % |
274.30/274.57 c | 354872 | 1100 82883 272689 | 66755 64225 67 | 0.000 % |
274.40/274.67 c | 354982 | 1100 82883 272689 | 66755 64335 67 | 0.014 % |
274.50/274.78 c | 355104 | 1100 82883 272689 | 66755 64457 67 | 0.012 % |
274.60/274.88 c | 355238 | 1100 82883 272689 | 66755 64591 67 | 0.013 % |
274.80/275.02 c | 355387 | 1100 82883 272689 | 66755 64740 67 | 0.000 % |
274.90/275.14 c | 355547 | 1100 82883 272689 | 66755 64900 67 | 0.000 % |
275.10/275.32 c | 355723 | 1100 82883 272689 | 66755 65076 68 | 0.000 % |
275.20/275.46 c | 355918 | 1100 82883 272689 | 66755 65271 68 | 0.000 % |
275.40/275.65 c | 356134 | 1100 82883 272689 | 66755 65487 68 | 0.000 % |
275.60/275.82 c | 356367 | 1100 82883 272689 | 66755 65720 68 | 0.000 % |
275.80/276.02 c | 356626 | 1100 82883 272689 | 66755 65979 68 | 0.000 % |
276.00/276.23 c | 356909 | 1100 82883 272689 | 66755 66262 68 | 0.000 % |
276.20/276.46 c | 357219 | 1100 82883 272689 | 66755 66572 68 | 0.011 % |
276.40/276.68 c | 357558 | 1100 82883 272689 | 66755 66911 68 | 0.015 % |
276.80/277.06 c | 357930 | 1100 82883 272689 | 66755 60592 68 | 0.000 % |
277.10/277.38 c | 358339 | 1100 82883 272689 | 66755 61001 68 | 0.000 % |
277.40/277.69 c | 358791 | 1100 82883 272689 | 66755 61453 68 | 0.000 % |
277.80/278.04 c | 359284 | 1100 82883 272689 | 66755 61946 68 | 0.013 % |
278.20/278.42 c | 359826 | 1100 82883 272689 | 66755 62488 68 | 0.000 % |
278.60/278.83 c | 360424 | 1100 82883 272689 | 2147483647 63086 68 | 0.000 % |
279.10/279.31 c | 361080 | 1100 82883 272689 | 2147483647 63742 69 | 0.013 % |
279.60/279.89 c | 361802 | 1100 82883 272689 | 2147483647 64464 69 | 0.000 % |
280.20/280.42 c | 362594 | 1100 82883 272689 | 2147483647 65256 69 | 0.000 % |
281.10/281.34 c | 363467 | 1100 82883 272689 | 2147483647 66129 71 | 0.000 % |
281.80/282.07 c | 364428 | 1100 82883 272689 | 2147483647 67090 71 | 0.000 % |
282.69/282.94 c | 365481 | 1100 82883 272689 | 2147483647 68143 72 | 0.000 % |
283.60/283.87 c | 366642 | 1100 82883 272689 | 2147483647 69304 72 | 0.000 % |
284.49/284.71 c | 367915 | 1100 82883 272689 | 2147483647 70577 72 | 0.000 % |
285.39/285.69 c | 369316 | 1100 82883 272689 | 2147483647 71978 72 | 0.010 % |
286.80/287.03 c | 370856 | 1100 82883 272689 | 2147483647 73518 73 | 0.010 % |
288.39/288.69 c | 372552 | 1100 82883 272689 | 2147483647 75214 73 | 0.000 % |
290.28/290.52 c | 374418 | 1100 82883 272689 | 2147483647 77080 75 | 0.000 % |
292.29/292.52 c | 376467 | 1100 82883 272689 | 2147483647 79129 75 | 0.000 % |
294.28/294.54 c | 378720 | 1100 82883 272689 | 2147483647 81382 75 | 0.012 % |
296.88/297.16 c | 381200 | 1100 82883 272689 | 2147483647 83862 76 | 0.012 % |
299.88/300.20 c | 383926 | 1100 82883 272689 | 2147483647 86588 76 | 0.012 % |
302.78/303.04 c | 386924 | 1100 82883 272689 | 2147483647 89586 76 | 0.000 % |
306.68/306.99 c | 390223 | 1100 82883 272689 | 92663 92885 76 | 0.000 % |
309.78/310.07 c | 393850 | 1100 82883 272689 | 92663 81407 77 | 0.000 % |
309.88/310.17 c | 393950 | 1100 82883 272689 | 92663 81507 77 | 0.000 % |
309.98/310.26 c | 394062 | 1100 82883 272689 | 92663 81619 77 | 0.000 % |
310.18/310.46 c | 394183 | 1100 82883 272689 | 92663 81740 77 | 0.000 % |
310.38/310.62 c | 394317 | 1100 82883 272689 | 92663 81874 78 | 0.000 % |
310.58/310.85 c | 394463 | 1100 82883 272689 | 92663 82020 78 | 0.000 % |
310.78/311.04 c | 394623 | 1100 82883 272689 | 92663 82180 78 | 0.011 % |
310.98/311.24 c | 394799 | 1100 82883 272689 | 92663 82356 78 | 0.000 % |
311.18/311.43 c | 394992 | 1100 82883 272689 | 92663 82549 78 | 0.000 % |
311.37/311.67 c | 395205 | 1100 82883 272689 | 92663 82762 78 | 0.000 % |
311.57/311.88 c | 395438 | 1100 82883 272689 | 92663 82995 78 | 0.000 % |
311.87/312.11 c | 395700 | 1100 82883 272689 | 92663 83257 78 | 0.000 % |
312.18/312.40 c | 395981 | 1100 82883 272689 | 92663 83538 78 | 0.012 % |
312.37/312.64 c | 396291 | 1100 82883 272689 | 92663 83848 78 | 0.000 % |
312.67/312.93 c | 396630 | 1100 82883 272689 | 92663 84187 78 | 0.000 % |
312.97/313.24 c | 397004 | 1100 82883 272689 | 92663 84561 78 | 0.000 % |
313.47/313.74 c | 397413 | 1100 82883 272689 | 92663 84970 79 | 0.000 % |
313.97/314.22 c | 397863 | 1100 82883 272689 | 92663 85420 79 | 0.000 % |
314.47/314.78 c | 398361 | 1100 82883 272689 | 92663 85918 79 | 0.000 % |
315.07/315.33 c | 398904 | 1100 82883 272689 | 92663 86461 79 | 0.013 % |
315.67/315.92 c | 399501 | 1100 82883 272689 | 92663 87058 79 | 0.000 % |
316.27/316.55 c | 400157 | 1100 82883 272689 | 87558 87714 80 | 0.000 % |
316.97/317.25 c | 400878 | 1100 82883 272689 | 87558 74943 77 | 0.000 % |
317.67/317.96 c | 401670 | 1100 82883 272689 | 87558 75735 78 | 0.000 % |
318.37/318.68 c | 402543 | 1100 82883 272689 | 87558 76608 78 | 0.000 % |
319.37/319.63 c | 403501 | 1100 82883 272689 | 87558 77566 79 | 0.000 % |
320.37/320.62 c | 404554 | 1100 82883 272689 | 87558 78619 79 | 0.000 % |
321.57/321.84 c | 405712 | 1100 82883 272689 | 87558 79777 80 | 0.000 % |
322.97/323.29 c | 406985 | 1100 82883 272689 | 87558 81050 81 | 0.000 % |
324.67/324.91 c | 408386 | 1100 82883 272689 | 87558 82451 81 | 0.000 % |
326.37/326.64 c | 409926 | 1100 82883 272689 | 87558 83991 82 | 0.000 % |
328.37/328.63 c | 411620 | 1100 82883 272689 | 84066 71048 82 | 0.000 % |
329.77/330.08 c | 413484 | 1100 82883 272689 | 84066 72912 82 | 0.000 % |
331.97/332.21 c | 415533 | 1100 82883 272689 | 84066 74961 82 | 0.000 % |
334.46/334.75 c | 417786 | 1100 82883 272689 | 84066 77214 84 | 0.000 % |
336.36/336.61 c | 420266 | 1100 82883 272689 | 79431 79694 84 | 0.000 % |
338.46/338.71 c | 422992 | 1100 82883 272689 | 79431 69738 81 | 0.014 % |
340.35/340.68 c | 425989 | 1100 82883 272689 | 79431 72735 80 | 0.014 % |
342.75/343.05 c | 429286 | 1100 82883 272689 | 79431 76032 80 | 0.011 % |
346.16/346.48 c | 432911 | 1100 82883 272689 | 76747 69350 78 | 0.012 % |
349.65/349.96 c | 436898 | 1100 82883 272689 | 76747 73337 78 | 0.000 % |
349.75/350.06 c | 436998 | 1100 82883 272689 | 76747 73437 78 | 0.012 % |
349.85/350.18 c | 437109 | 1100 82883 272689 | 76747 73548 78 | 0.012 % |
350.05/350.30 c | 437230 | 1100 82883 272689 | 76747 73669 78 | 0.012 % |
350.15/350.45 c | 437365 | 1100 82883 272689 | 76747 73804 78 | 0.000 % |
350.25/350.59 c | 437512 | 1100 82883 272689 | 76747 73951 78 | 0.000 % |
350.45/350.80 c | 437672 | 1100 82883 272689 | 76747 74111 78 | 0.000 % |
350.65/350.97 c | 437849 | 1100 82883 272689 | 76747 74288 78 | 0.000 % |
350.85/351.17 c | 438044 | 1100 82883 272689 | 76747 74483 78 | 0.000 % |
351.05/351.40 c | 438256 | 1100 82883 272689 | 76747 74695 78 | 0.000 % |
351.35/351.62 c | 438490 | 1100 82883 272689 | 76747 74929 78 | 0.000 % |
351.55/351.82 c | 438746 | 1100 82883 272689 | 76747 75185 79 | 0.013 % |
351.75/352.08 c | 439027 | 1100 82883 272689 | 76747 75466 79 | 0.000 % |
352.15/352.40 c | 439345 | 1100 82883 272689 | 76747 75784 79 | 0.000 % |
352.45/352.77 c | 439684 | 1100 82883 272689 | 76747 76123 79 | 0.000 % |
352.85/353.16 c | 440056 | 1100 82883 272689 | 76442 76495 79 | 0.000 % |
353.35/353.61 c | 440465 | 1100 82883 272689 | 76442 67371 79 | 0.000 % |
353.75/354.05 c | 440914 | 1100 82883 272689 | 76442 67820 79 | 0.013 % |
354.25/354.51 c | 441407 | 1100 82883 272689 | 76442 68313 79 | 0.013 % |
354.65/354.98 c | 441950 | 1100 82883 272689 | 76442 68856 79 | 0.013 % |
355.25/355.54 c | 442546 | 1100 82883 272689 | 76442 69452 79 | 0.000 % |
355.84/356.13 c | 443201 | 1100 82883 272689 | 76442 70107 79 | 0.000 % |
356.74/357.03 c | 443923 | 1100 82883 272689 | 76442 70829 80 | 0.000 % |
357.44/357.70 c | 444716 | 1100 82883 272689 | 76442 71622 80 | 0.000 % |
358.04/358.38 c | 445587 | 1100 82883 272689 | 76442 72493 80 | 0.010 % |
359.54/359.80 c | 446546 | 1100 82883 272689 | 76442 73452 81 | 0.000 % |
360.74/361.02 c | 447601 | 1100 82883 272689 | 76442 74507 82 | 0.000 % |
361.84/362.18 c | 448761 | 1100 82883 272689 | 76442 75667 82 | 0.000 % |
363.04/363.33 c | 450035 | 1100 82883 272689 | 76906 76941 82 | 0.015 % |
364.64/364.97 c | 451435 | 1100 82883 272689 | 76906 67200 82 | 0.000 % |
366.04/366.36 c | 452976 | 1100 82883 272689 | 76906 68741 82 | 0.000 % |
367.54/367.84 c | 454670 | 1100 82883 272689 | 76906 70435 82 | 0.012 % |
369.24/369.57 c | 456534 | 1100 82883 272689 | 76906 72299 82 | 0.000 % |
371.14/371.42 c | 458583 | 1100 82883 272689 | 76906 74348 83 | 0.000 % |
373.74/374.01 c | 460841 | 1100 82883 272689 | 75765 66603 79 | 0.000 % |
376.24/376.55 c | 463319 | 1100 82883 272689 | 75765 69081 82 | 0.000 % |
378.53/378.85 c | 466044 | 1100 82883 272689 | 75765 71806 84 | 0.000 % |
381.63/382.00 c | 469041 | 1100 82883 272689 | 75765 74803 87 | 0.000 % |
385.63/385.96 c | 472337 | 1100 82883 272689 | 75762 68469 89 | 0.000 % |
390.53/390.80 c | 475963 | 1100 82883 272689 | 75762 72095 93 | 0.000 % |
395.13/395.50 c | 479952 | 1100 82883 272689 | 75762 76084 97 | 0.000 % |
399.73/400.05 c | 484337 | 1100 82883 272689 | 65431 60103 102 | 0.013 % |
399.82/400.16 c | 484437 | 1100 82883 272689 | 65431 60203 102 | 0.000 % |
399.92/400.26 c | 484548 | 1100 82883 272689 | 65431 60314 102 | 0.013 % |
400.13/400.47 c | 484673 | 1100 82883 272689 | 65431 60439 102 | 0.000 % |
400.32/400.63 c | 484806 | 1100 82883 272689 | 65431 60572 102 | 0.000 % |
400.42/400.78 c | 484952 | 1100 82883 272689 | 65431 60718 102 | 0.013 % |
400.62/400.98 c | 485114 | 1100 82883 272689 | 65431 60880 102 | 0.014 % |
400.82/401.11 c | 485294 | 1100 82883 272689 | 65431 61060 102 | 0.000 % |
400.92/401.27 c | 485488 | 1100 82883 272689 | 65431 61254 102 | 0.000 % |
401.13/401.48 c | 485701 | 1100 82883 272689 | 65431 61467 102 | 0.000 % |
401.32/401.67 c | 485937 | 1100 82883 272689 | 65431 61703 102 | 0.000 % |
401.62/401.91 c | 486194 | 1100 82883 272689 | 65431 61960 102 | 0.000 % |
401.82/402.11 c | 486476 | 1100 82883 272689 | 65431 62242 102 | 0.000 % |
402.12/402.45 c | 486785 | 1100 82883 272689 | 65431 62551 101 | 0.000 % |
402.42/402.78 c | 487125 | 1100 82883 272689 | 65431 62891 101 | 0.000 % |
402.72/403.07 c | 487498 | 1100 82883 272689 | 65431 63264 101 | 0.000 % |
403.22/403.52 c | 487910 | 1100 82883 272689 | 65431 63676 101 | 0.013 % |
403.62/403.93 c | 488360 | 1100 82883 272689 | 65431 64126 101 | 0.000 % |
404.02/404.40 c | 488853 | 1100 82883 272689 | 65431 64619 101 | 0.012 % |
404.53/404.90 c | 489395 | 1100 82883 272689 | 65431 65161 100 | 0.000 % |
405.02/405.36 c | 489991 | 1100 82883 272689 | 65431 65757 100 | 0.000 % |
405.72/406.05 c | 490648 | 1100 82883 272689 | 56505 57153 99 | 0.000 % |
406.32/406.64 c | 491368 | 1100 82883 272689 | 56505 49619 100 | 0.000 % |
407.02/407.33 c | 492160 | 1100 82883 272689 | 56505 50411 100 | 0.000 % |
407.72/408.03 c | 493031 | 1100 82883 272689 | 56505 51282 100 | 0.013 % |
408.72/409.01 c | 493989 | 1100 82883 272689 | 56505 52240 100 | 0.000 % |
409.72/410.04 c | 495044 | 1100 82883 272689 | 56505 53295 101 | 0.000 % |
410.72/411.07 c | 496202 | 1100 82883 272689 | 56505 54453 102 | 0.000 % |
411.82/412.13 c | 497475 | 1100 82883 272689 | 56505 55726 102 | 0.000 % |
413.02/413.33 c | 498876 | 1100 82883 272689 | 56505 57127 103 | 0.011 % |
414.62/414.96 c | 500418 | 1100 82883 272689 | 52345 52763 101 | 0.000 % |
416.02/416.37 c | 502115 | 1100 82883 272689 | 52345 48988 96 | 0.000 % |
417.52/417.89 c | 503980 | 1100 82883 272689 | 52345 50853 97 | 0.000 % |
419.22/419.52 c | 506029 | 1100 82883 272689 | 52345 52902 98 | 0.000 % |
421.52/421.86 c | 508283 | 1100 82883 272689 | 52345 49866 93 | 0.000 % |
423.61/423.94 c | 510761 | 1100 82883 272689 | 2147483647 52344 94 | 0.012 % |
425.91/426.27 c | 513489 | 1100 82883 272689 | 2147483647 55072 95 | 0.000 % |
428.51/428.90 c | 516487 | 1100 82883 272689 | 2147483647 58070 95 | 0.000 % |
432.01/432.31 c | 519783 | 1100 82883 272689 | 2147483647 61366 94 | 0.013 % |
435.70/436.01 c | 523408 | 1100 82883 272689 | 61583 56747 85 | 0.000 % |
439.50/439.81 c | 527395 | 1100 82883 272689 | 61583 60734 85 | 0.000 % |
443.80/444.16 c | 531784 | 1100 82883 272689 | 54501 48292 85 | 0.013 % |
447.60/447.95 c | 536607 | 1100 82883 272689 | 54501 53115 85 | 0.013 % |
447.70/448.07 c | 536709 | 1100 82883 272689 | 54501 53217 85 | 0.012 % |
447.80/448.16 c | 536819 | 1100 82883 272689 | 54501 53327 85 | 0.012 % |
447.90/448.26 c | 536941 | 1100 82883 272689 | 54501 53449 85 | 0.000 % |
448.00/448.38 c | 537074 | 1100 82883 272689 | 54501 53582 84 | 0.013 % |
448.20/448.51 c | 537222 | 1100 82883 272689 | 54501 53730 85 | 0.000 % |
448.30/448.60 c | 537383 | 1100 82883 272689 | 54501 53891 85 | 0.000 % |
448.40/448.73 c | 537559 | 1100 82883 272689 | 54501 54067 85 | 0.000 % |
448.60/448.96 c | 537752 | 1100 82883 272689 | 54501 54260 85 | 0.000 % |
448.80/449.14 c | 537965 | 1100 82883 272689 | 54501 54473 85 | 0.000 % |
449.00/449.33 c | 538200 | 1100 82883 272689 | 54501 54708 85 | 0.013 % |
449.20/449.55 c | 538457 | 1100 82883 272689 | 54501 49306 81 | 0.000 % |
449.40/449.71 c | 538738 | 1100 82883 272689 | 54501 49587 81 | 0.013 % |
449.60/449.93 c | 539050 | 1100 82883 272689 | 54501 49899 81 | 0.014 % |
449.80/450.18 c | 539391 | 1100 82883 272689 | 54501 50240 81 | 0.000 % |
450.10/450.46 c | 539763 | 1100 82883 272689 | 54501 50612 82 | 0.000 % |
450.50/450.86 c | 540173 | 1100 82883 272689 | 2147483647 51022 82 | 0.000 % |
450.80/451.15 c | 540624 | 1100 82883 272689 | 2147483647 51473 82 | 0.000 % |
451.20/451.55 c | 541120 | 1100 82883 272689 | 2147483647 51969 82 | 0.000 % |
451.70/452.01 c | 541662 | 1100 82883 272689 | 2147483647 52511 82 | 0.000 % |
452.10/452.48 c | 542259 | 1100 82883 272689 | 2147483647 53108 82 | 0.013 % |
452.60/452.91 c | 542916 | 1100 82883 272689 | 2147483647 53765 82 | 0.000 % |
453.20/453.51 c | 543638 | 1100 82883 272689 | 2147483647 54487 81 | 0.013 % |
453.70/454.01 c | 544430 | 1100 82883 272689 | 2147483647 55279 81 | 0.011 % |
454.30/454.64 c | 545301 | 1100 82883 272689 | 2147483647 56150 81 | 0.015 % |
454.90/455.24 c | 546260 | 1100 82883 272689 | 2147483647 57109 82 | 0.000 % |
455.50/455.88 c | 547316 | 1100 82883 272689 | 2147483647 58165 82 | 0.000 % |
456.40/456.75 c | 548474 | 1100 82883 272689 | 2147483647 59323 82 | 0.013 % |
457.30/457.69 c | 549748 | 1100 82883 272689 | 2147483647 60597 82 | 0.014 % |
458.40/458.72 c | 551148 | 1100 82883 272689 | 2147483647 61997 82 | 0.011 % |
459.70/460.06 c | 552689 | 1100 82883 272689 | 2147483647 63538 82 | 0.000 % |
461.30/461.60 c | 554384 | 1100 82883 272689 | 2147483647 65233 81 | 0.012 % |
463.09/463.45 c | 556247 | 1100 82883 272689 | 2147483647 67096 81 | 0.012 % |
465.09/465.48 c | 558296 | 1100 82883 272689 | 2147483647 69145 81 | 0.000 % |
467.50/467.80 c | 560550 | 1100 82883 272689 | 70850 71399 80 | 0.012 % |
469.79/470.17 c | 563030 | 1100 82883 272689 | 70850 65864 78 | 0.000 % |
472.19/472.59 c | 565755 | 1100 82883 272689 | 70850 68589 80 | 0.000 % |
475.39/475.72 c | 568752 | 1100 82883 272689 | 70850 63861 78 | 0.000 % |
477.99/478.40 c | 572048 | 1100 82883 272689 | 65109 60596 77 | 0.000 % |
481.18/481.54 c | 575674 | 1100 82883 272689 | 65109 64222 80 | 0.000 % |
484.08/484.43 c | 579661 | 1100 82883 272689 | 65109 61626 79 | 0.000 % |
487.89/488.28 c | 584047 | 1100 82883 272689 | 2147483647 66012 78 | 0.010 % |
492.69/493.02 c | 588871 | 1100 82883 272689 | 2147483647 70836 83 | 0.000 % |
497.39/497.75 c | 594178 | 1100 82883 272689 | 71966 67957 83 | 0.000 % |
497.49/497.86 c | 594278 | 1100 82883 272689 | 71966 68057 83 | 0.012 % |
497.59/497.99 c | 594388 | 1100 82883 272689 | 71966 68167 83 | 0.000 % |
497.79/498.11 c | 594512 | 1100 82883 272689 | 71966 68291 83 | 0.000 % |
497.89/498.23 c | 594646 | 1100 82883 272689 | 71966 68425 83 | 0.000 % |
497.99/498.39 c | 594792 | 1100 82883 272689 | 71966 68571 83 | 0.000 % |
498.19/498.58 c | 594954 | 1100 82883 272689 | 71966 68733 83 | 0.000 % |
498.39/498.75 c | 595132 | 1100 82883 272689 | 71966 68911 83 | 0.013 % |
498.58/498.91 c | 595325 | 1100 82883 272689 | 71966 69104 83 | 0.000 % |
498.68/499.08 c | 595540 | 1100 82883 272689 | 71966 69319 83 | 0.013 % |
499.09/499.45 c | 595776 | 1100 82883 272689 | 71966 69555 84 | 0.000 % |
499.38/499.77 c | 596034 | 1100 82883 272689 | 71966 69813 84 | 0.000 % |
499.78/500.17 c | 596316 | 1100 82883 272689 | 71966 70095 84 | 0.000 % |
500.19/500.53 c | 596625 | 1100 82883 272689 | 71966 70404 85 | 0.000 % |
500.58/500.92 c | 596966 | 1100 82883 272689 | 71966 70745 85 | 0.013 % |
500.88/501.26 c | 597338 | 1100 82883 272689 | 71966 71117 85 | 0.000 % |
501.29/501.61 c | 597747 | 1100 82883 272689 | 71966 71526 85 | 0.000 % |
501.58/501.94 c | 598196 | 1100 82883 272689 | 71966 71975 85 | 0.013 % |
502.08/502.40 c | 598689 | 1100 82883 272689 | 71966 63672 84 | 0.015 % |
502.48/502.80 c | 599232 | 1100 82883 272689 | 71966 64215 84 | 0.000 % |
502.98/503.35 c | 599829 | 1100 82883 272689 | 71966 64812 84 | 0.000 % |
503.39/503.78 c | 600487 | 1100 82883 272689 | 64983 65470 84 | 0.014 % |
504.18/504.54 c | 601208 | 1100 82883 272689 | 64983 58778 85 | 0.000 % |
504.98/505.30 c | 602000 | 1100 82883 272689 | 64983 59570 85 | 0.000 % |
505.88/506.24 c | 602871 | 1100 82883 272689 | 64983 60441 86 | 0.000 % |
506.68/507.09 c | 603830 | 1100 82883 272689 | 64983 61400 86 | 0.000 % |
507.58/507.93 c | 604883 | 1100 82883 272689 | 64983 62453 86 | 0.000 % |
508.48/508.81 c | 606042 | 1100 82883 272689 | 64983 63612 86 | 0.000 % |
509.48/509.88 c | 607317 | 1100 82883 272689 | 64983 64887 87 | 0.000 % |
510.88/511.25 c | 608718 | 1100 82883 272689 | 64983 59534 88 | 0.000 % |
512.18/512.55 c | 610258 | 1100 82883 272689 | 60816 61074 88 | 0.000 % |
513.57/513.99 c | 611954 | 1100 82883 272689 | 60816 55722 84 | 0.000 % |
515.27/515.62 c | 613818 | 1100 82883 272689 | 60816 57586 84 | 0.000 % |
517.07/517.43 c | 615867 | 1100 82883 272689 | 60816 59635 84 | 0.000 % |
519.27/519.64 c | 618123 | 1100 82883 272689 | 60816 53756 81 | 0.013 % |
521.37/521.76 c | 620602 | 1100 82883 272689 | 55637 56235 81 | 0.012 % |
523.87/524.24 c | 623327 | 1100 82883 272689 | 55637 51385 81 | 0.000 % |
526.27/526.69 c | 626327 | 1100 82883 272689 | 55637 54385 81 | 0.000 % |
529.66/530.09 c | 629624 | 1100 82883 272689 | 55637 49558 74 | 0.013 % |
532.96/533.35 c | 633250 | 1100 82883 272689 | 49934 45782 72 | 0.011 % |
536.47/536.82 c | 637238 | 1100 82883 272689 | 49934 49770 73 | 0.000 % |
539.96/540.37 c | 641623 | 1100 82883 272689 | 46007 42218 72 | 0.000 % |
543.86/544.29 c | 646446 | 1100 82883 272689 | 46007 42376 72 | 0.000 % |
547.66/548.01 c | 651751 | 1100 82883 272689 | 2147483647 47681 72 | 0.000 % |
551.26/551.66 c | 657588 | 1100 82883 272689 | 2147483647 53518 75 | 0.000 % |
551.36/551.74 c | 657688 | 1100 82883 272689 | 2147483647 53618 76 | 0.000 % |
551.46/551.81 c | 657798 | 1100 82883 272689 | 2147483647 53728 76 | 0.000 % |
551.46/551.87 c | 657919 | 1100 82883 272689 | 2147483647 53849 76 | 0.000 % |
551.56/551.95 c | 658052 | 1100 82883 272689 | 2147483647 53982 76 | 0.000 % |
551.66/552.04 c | 658200 | 1100 82883 272689 | 2147483647 54130 76 | 0.000 % |
551.76/552.14 c | 658360 | 1100 82883 272689 | 2147483647 54290 76 | 0.000 % |
551.86/552.23 c | 658538 | 1100 82883 272689 | 2147483647 54468 76 | 0.015 % |
551.96/552.38 c | 658734 | 1100 82883 272689 | 2147483647 54664 76 | 0.000 % |
552.06/552.49 c | 658946 | 1100 82883 272689 | 2147483647 54876 76 | 0.000 % |
552.26/552.65 c | 659179 | 1100 82883 272689 | 2147483647 55109 76 | 0.000 % |
552.35/552.76 c | 659435 | 1100 82883 272689 | 2147483647 55365 76 | 0.000 % |
552.45/552.87 c | 659717 | 1100 82883 272689 | 2147483647 55647 76 | 0.000 % |
552.65/553.02 c | 660026 | 1100 82883 272689 | 2147483647 55956 76 | 0.012 % |
552.86/553.20 c | 660368 | 1100 82883 272689 | 2147483647 56298 76 | 0.000 % |
553.15/553.50 c | 660741 | 1100 82883 272689 | 2147483647 56671 77 | 0.000 % |
553.35/553.76 c | 661150 | 1100 82883 272689 | 2147483647 57080 77 | 0.000 % |
553.65/554.07 c | 661599 | 1100 82883 272689 | 2147483647 57529 77 | 0.000 % |
554.06/554.44 c | 662092 | 1100 82883 272689 | 2147483647 58022 77 | 0.000 % |
554.45/554.83 c | 662634 | 1100 82883 272689 | 2147483647 58564 78 | 0.000 % |
554.75/555.17 c | 663230 | 1100 82883 272689 | 2147483647 59160 78 | 0.000 % |
555.06/555.50 c | 663886 | 1100 82883 272689 | 2147483647 59816 78 | 0.000 % |
555.55/555.90 c | 664606 | 1100 82883 272689 | 2147483647 60536 78 | 0.011 % |
555.95/556.34 c | 665398 | 1100 82883 272689 | 2147483647 61328 78 | 0.011 % |
556.45/556.83 c | 666269 | 1100 82883 272689 | 2147483647 62199 77 | 0.015 % |
556.95/557.38 c | 667229 | 1100 82883 272689 | 2147483647 63159 77 | 0.012 % |
557.65/558.07 c | 668282 | 1100 82883 272689 | 2147483647 64212 77 | 0.011 % |
558.35/558.79 c | 669442 | 1100 82883 272689 | 2147483647 65372 77 | 0.012 % |
559.15/559.52 c | 670715 | 1100 82883 272689 | 2147483647 66645 76 | 0.012 % |
559.94/560.36 c | 672115 | 1100 82883 272689 | 2147483647 68045 76 | 0.000 % |
560.84/561.28 c | 673655 | 1100 82883 272689 | 2147483647 69585 75 | 0.016 % |
561.95/562.35 c | 675349 | 1100 82883 272689 | 2147483647 71279 75 | 0.000 % |
563.34/563.70 c | 677214 | 1100 82883 272689 | 2147483647 73144 75 | 0.012 % |
564.54/564.98 c | 679263 | 1100 82883 272689 | 2147483647 75193 74 | 0.015 % |
566.05/566.49 c | 681516 | 1100 82883 272689 | 2147483647 77446 74 | 0.000 % |
568.14/568.50 c | 683995 | 1100 82883 272689 | 2147483647 79925 76 | 0.000 % |
570.14/570.53 c | 686721 | 1100 82883 272689 | 2147483647 82651 76 | 0.016 % |
572.34/572.74 c | 689721 | 1100 82883 272689 | 2147483647 85651 76 | 0.012 % |
574.74/575.20 c | 693019 | 1100 82883 272689 | 2147483647 88949 76 | 0.000 % |
578.34/578.73 c | 696644 | 1100 82883 272689 | 2147483647 92574 78 | 0.000 % |
581.64/582.05 c | 700631 | 1100 82883 272689 | 2147483647 96561 79 | 0.000 % |
585.54/585.90 c | 705019 | 1100 82883 272689 | 2147483647 100949 80 | 0.000 % |
590.04/590.45 c | 709842 | 1100 82883 272689 | 2147483647 105772 82 | 0.000 % |
594.74/595.10 c | 715147 | 1100 82883 272689 | 105932 95631 81 | 0.000 % |
600.53/600.95 c | 720982 | 1100 82883 272689 | 100484 84032 81 | 0.013 % |
606.72/607.15 c | 727401 | 1100 82883 272689 | 100484 90451 79 | 0.012 % |
606.82/607.25 c | 727501 | 1100 82883 272689 | 100484 90551 79 | 0.013 % |
607.02/607.42 c | 727613 | 1100 82883 272689 | 100484 90663 79 | 0.000 % |
607.12/607.58 c | 727738 | 1100 82883 272689 | 100484 90788 79 | 0.000 % |
607.32/607.73 c | 727872 | 1100 82883 272689 | 100484 90922 80 | 0.000 % |
607.42/607.88 c | 728018 | 1100 82883 272689 | 100484 91068 80 | 0.000 % |
607.62/608.06 c | 728178 | 1100 82883 272689 | 100484 91228 80 | 0.000 % |
607.82/608.23 c | 728356 | 1100 82883 272689 | 100484 91406 80 | 0.000 % |
608.02/608.40 c | 728549 | 1100 82883 272689 | 100484 91599 80 | 0.000 % |
608.22/608.67 c | 728763 | 1100 82883 272689 | 100484 91813 80 | 0.000 % |
608.42/608.88 c | 728997 | 1100 82883 272689 | 100484 92047 80 | 0.000 % |
608.72/609.15 c | 729253 | 1100 82883 272689 | 100484 92303 80 | 0.000 % |
609.02/609.48 c | 729535 | 1100 82883 272689 | 100484 92585 80 | 0.000 % |
609.42/609.81 c | 729845 | 1100 82883 272689 | 100484 92895 80 | 0.000 % |
609.72/610.16 c | 730184 | 1100 82883 272689 | 93053 93234 80 | 0.000 % |
610.12/610.56 c | 730556 | 1100 82883 272689 | 93053 78014 78 | 0.000 % |
610.62/611.01 c | 730965 | 1100 82883 272689 | 93053 78423 78 | 0.000 % |
611.12/611.53 c | 731416 | 1100 82883 272689 | 93053 78874 78 | 0.000 % |
611.62/612.05 c | 731910 | 1100 82883 272689 | 93053 79368 78 | 0.000 % |
612.22/612.66 c | 732452 | 1100 82883 272689 | 93053 79910 78 | 0.000 % |
612.71/613.19 c | 733050 | 1100 82883 272689 | 93053 80508 79 | 0.000 % |
613.32/613.79 c | 733705 | 1100 82883 272689 | 93053 81163 79 | 0.000 % |
613.91/614.34 c | 734425 | 1100 82883 272689 | 93053 81883 79 | 0.000 % |
614.61/615.06 c | 735217 | 1100 82883 272689 | 93053 82675 79 | 0.000 % |
615.31/615.70 c | 736088 | 1100 82883 272689 | 93053 83546 79 | 0.012 % |
616.31/616.79 c | 737046 | 1100 82883 272689 | 93053 84504 80 | 0.000 % |
617.51/617.92 c | 738099 | 1100 82883 272689 | 93053 85557 81 | 0.000 % |
618.71/619.18 c | 739260 | 1100 82883 272689 | 93053 86718 82 | 0.000 % |
620.02/620.43 c | 740536 | 1100 82883 272689 | 87458 87994 82 | 0.000 % |
621.21/621.69 c | 741936 | 1100 82883 272689 | 87458 77848 85 | 0.000 % |
622.71/623.11 c | 743476 | 1100 82883 272689 | 87458 79388 86 | 0.000 % |
624.41/624.81 c | 745170 | 1100 82883 272689 | 87458 81082 86 | 0.000 % |
626.31/626.78 c | 747034 | 1100 82883 272689 | 87458 82946 86 | 0.000 % |
628.51/628.94 c | 749086 | 1100 82883 272689 | 87458 84998 87 | 0.000 % |
631.61/632.07 c | 751339 | 1100 82883 272689 | 85912 72375 90 | 0.000 % |
634.01/634.47 c | 753818 | 1100 82883 272689 | 85912 74854 90 | 0.000 % |
637.01/637.49 c | 756543 | 1100 82883 272689 | 85912 77579 90 | 0.000 % |
640.60/641.02 c | 759541 | 1100 82883 272689 | 85912 80577 92 | 0.000 % |
644.80/645.29 c | 762837 | 1100 82883 272689 | 81039 69005 92 | 0.000 % |
648.70/649.14 c | 766463 | 1100 82883 272689 | 81039 72631 93 | 0.000 % |
653.89/654.33 c | 770450 | 1100 82883 272689 | 76169 76618 95 | 0.000 % |
658.69/659.17 c | 774838 | 1100 82883 272689 | 76169 66643 97 | 0.000 % |
664.39/664.89 c | 779661 | 1100 82883 272689 | 76169 71466 98 | 0.000 % |
670.79/671.28 c | 784968 | 1100 82883 272689 | 71805 61511 102 | 0.000 % |
676.79/677.28 c | 790806 | 1100 82883 272689 | 66546 54188 98 | 0.012 % |
682.60/683.09 c | 797227 | 1100 82883 272689 | 66546 60609 98 | 0.000 % |
690.39/690.82 c | 804287 | 1100 82883 272689 | 63382 57802 96 | 0.000 % |
690.49/690.93 c | 804390 | 1100 82883 272689 | 63382 57905 96 | 0.000 % |
690.59/691.04 c | 804502 | 1100 82883 272689 | 63382 58017 96 | 0.000 % |
690.79/691.22 c | 804624 | 1100 82883 272689 | 63382 58139 96 | 0.000 % |
690.89/691.35 c | 804758 | 1100 82883 272689 | 63382 58273 96 | 0.000 % |
691.09/691.54 c | 804905 | 1100 82883 272689 | 63382 58420 96 | 0.000 % |
691.19/691.69 c | 805068 | 1100 82883 272689 | 63382 58583 96 | 0.000 % |
691.49/691.92 c | 805246 | 1100 82883 272689 | 63382 58761 97 | 0.000 % |
691.59/692.07 c | 805439 | 1100 82883 272689 | 63382 58954 97 | 0.000 % |
691.79/692.29 c | 805651 | 1100 82883 272689 | 63382 59166 97 | 0.000 % |
691.99/692.45 c | 805884 | 1100 82883 272689 | 63382 59399 97 | 0.000 % |
692.19/692.61 c | 806140 | 1100 82883 272689 | 63382 59655 97 | 0.015 % |
692.39/692.83 c | 806423 | 1100 82883 272689 | 63382 59938 97 | 0.000 % |
692.69/693.10 c | 806732 | 1100 82883 272689 | 63382 60247 97 | 0.000 % |
692.88/693.37 c | 807071 | 1100 82883 272689 | 63382 60586 97 | 0.000 % |
693.28/693.75 c | 807443 | 1100 82883 272689 | 63382 60958 97 | 0.000 % |
693.68/694.12 c | 807853 | 1100 82883 272689 | 63382 61368 97 | 0.000 % |
694.08/694.50 c | 808303 | 1100 82883 272689 | 63382 61818 97 | 0.000 % |
694.58/695.01 c | 808797 | 1100 82883 272689 | 63382 62312 98 | 0.000 % |
695.18/695.69 c | 809341 | 1100 82883 272689 | 63382 62856 98 | 0.000 % |
695.88/696.34 c | 809939 | 1100 82883 272689 | 63382 63454 98 | 0.000 % |
696.58/697.03 c | 810595 | 1100 82883 272689 | 54811 48177 89 | 0.000 % |
697.28/697.73 c | 811315 | 1100 82883 272689 | 54811 48897 90 | 0.000 % |
697.87/698.32 c | 812107 | 1100 82883 272689 | 54811 49689 90 | 0.000 % |
698.88/699.30 c | 812980 | 1100 82883 272689 | 54811 50562 90 | 0.000 % |
699.77/700.23 c | 813940 | 1100 82883 272689 | 54811 51522 91 | 0.000 % |
700.77/701.24 c | 814993 | 1100 82883 272689 | 54811 52575 91 | 0.000 % |
701.77/702.29 c | 816151 | 1100 82883 272689 | 54811 53733 91 | 0.012 % |
703.17/703.68 c | 817429 | 1100 82883 272689 | 54811 55011 91 | 0.000 % |
704.68/705.13 c | 818829 | 1100 82883 272689 | 54811 49893 88 | 0.000 % |
706.47/706.94 c | 820369 | 1100 82883 272689 | 51064 51433 88 | 0.000 % |
708.27/708.79 c | 822066 | 1100 82883 272689 | 51064 46580 86 | 0.000 % |
710.18/710.67 c | 823930 | 1100 82883 272689 | 51064 48444 88 | 0.000 % |
711.97/712.42 c | 825982 | 1100 82883 272689 | 51064 50496 89 | 0.000 % |
713.97/714.43 c | 828235 | 1100 82883 272689 | 51064 47587 90 | 0.000 % |
716.57/717.04 c | 830713 | 1100 82883 272689 | 2147483647 50065 90 | 0.000 % |
719.77/720.20 c | 833442 | 1100 82883 272689 | 2147483647 52794 90 | 0.000 % |
722.67/723.13 c | 836441 | 1100 82883 272689 | 2147483647 55793 91 | 0.000 % |
726.17/726.69 c | 839737 | 1100 82883 272689 | 2147483647 59089 90 | 0.000 % |
728.77/729.29 c | 843363 | 1100 82883 272689 | 59352 55653 87 | 0.000 % |
732.66/733.13 c | 847350 | 1100 82883 272689 | 59352 59640 87 | 0.013 % |
736.36/736.89 c | 851736 | 1100 82883 272689 | 54895 49770 80 | 0.013 % |
740.55/741.03 c | 856560 | 1100 82883 272689 | 54895 54594 80 | 0.013 % |
744.45/744.98 c | 861865 | 1100 82883 272689 | 2147483647 54042 83 | 0.000 % |
749.55/750.01 c | 867700 | 1100 82883 272689 | 2147483647 59877 85 | 0.000 % |
755.95/756.40 c | 874118 | 1100 82883 272689 | 2147483647 66295 87 | 0.000 % |
763.85/764.39 c | 881178 | 1100 82883 272689 | 72182 59892 82 | 0.000 % |
771.84/772.32 c | 888943 | 1100 82883 272689 | 72182 67657 83 | 0.013 % |
771.94/772.45 c | 889043 | 1100 82883 272689 | 72182 67757 83 | 0.013 % |
772.04/772.58 c | 889153 | 1100 82883 272689 | 72182 67867 83 | 0.000 % |
772.14/772.67 c | 889275 | 1100 82883 272689 | 72182 67989 83 | 0.000 % |
772.34/772.80 c | 889408 | 1100 82883 272689 | 72182 68122 83 | 0.000 % |
772.44/772.93 c | 889562 | 1100 82883 272689 | 72182 68276 83 | 0.000 % |
772.64/773.11 c | 889724 | 1100 82883 272689 | 72182 68438 83 | 0.000 % |
772.75/773.24 c | 889900 | 1100 82883 272689 | 72182 68614 83 | 0.000 % |
772.94/773.40 c | 890094 | 1100 82883 272689 | 68716 68808 83 | 0.000 % |
773.24/773.71 c | 890307 | 1100 82883 272689 | 68716 55993 84 | 0.000 % |
773.34/773.87 c | 890540 | 1100 82883 272689 | 68716 56226 84 | 0.000 % |
773.54/774.08 c | 890796 | 1100 82883 272689 | 68716 56482 84 | 0.000 % |
773.74/774.23 c | 891078 | 1100 82883 272689 | 68716 56764 84 | 0.000 % |
774.14/774.66 c | 891389 | 1100 82883 272689 | 68716 57075 85 | 0.000 % |
774.54/775.04 c | 891730 | 1100 82883 272689 | 68716 57416 85 | 0.000 % |
774.84/775.39 c | 892103 | 1100 82883 272689 | 68716 57789 85 | 0.000 % |
775.24/775.71 c | 892513 | 1100 82883 272689 | 68716 58199 85 | 0.000 % |
775.64/776.13 c | 892964 | 1100 82883 272689 | 68716 58650 86 | 0.000 % |
776.05/776.52 c | 893457 | 1100 82883 272689 | 68716 59143 86 | 0.000 % |
776.44/776.98 c | 893999 | 1100 82883 272689 | 68716 59685 86 | 0.000 % |
776.94/777.44 c | 894598 | 1100 82883 272689 | 68716 60284 86 | 0.000 % |
777.44/777.98 c | 895253 | 1100 82883 272689 | 68716 60939 86 | 0.000 % |
778.14/778.62 c | 895974 | 1100 82883 272689 | 68716 61660 86 | 0.014 % |
778.74/779.27 c | 896767 | 1100 82883 272689 | 68716 62453 87 | 0.000 % |
779.44/779.96 c | 897639 | 1100 82883 272689 | 68716 63325 87 | 0.000 % |
780.14/780.64 c | 898597 | 1100 82883 272689 | 68716 64283 87 | 0.000 % |
781.14/781.65 c | 899651 | 1100 82883 272689 | 68716 65337 88 | 0.000 % |
782.14/782.67 c | 900811 | 1100 82883 272689 | 2147483647 66497 89 | 0.000 % |
783.34/783.85 c | 902085 | 1100 82883 272689 | 2147483647 67771 89 | 0.000 % |
784.54/785.06 c | 903486 | 1100 82883 272689 | 2147483647 69172 89 | 0.000 % |
785.63/786.18 c | 905026 | 1100 82883 272689 | 2147483647 70712 89 | 0.013 % |
787.63/788.15 c | 906723 | 1100 82883 272689 | 2147483647 72409 90 | 0.000 % |
789.34/789.88 c | 908586 | 1100 82883 272689 | 2147483647 74272 91 | 0.000 % |
791.33/791.84 c | 910635 | 1100 82883 272689 | 2147483647 76321 93 | 0.000 % |
793.53/794.02 c | 912888 | 1100 82883 272689 | 2147483647 78574 93 | 0.000 % |
796.13/796.67 c | 915366 | 1100 82883 272689 | 2147483647 81052 93 | 0.000 % |
799.33/799.84 c | 918091 | 1100 82883 272689 | 2147483647 83777 93 | 0.000 % |
803.53/804.05 c | 921089 | 1100 82883 272689 | 85691 74046 96 | 0.000 % |
807.33/807.87 c | 924387 | 1100 82883 272689 | 85691 77344 98 | 0.000 % |
812.02/812.58 c | 928012 | 1100 82883 272689 | 85691 80969 98 | 0.000 % |
816.92/817.40 c | 931999 | 1100 82883 272689 | 82957 70112 96 | 0.000 % |
822.62/823.16 c | 936384 | 1100 82883 272689 | 82957 74497 97 | 0.000 % |
828.32/828.83 c | 941207 | 1100 82883 272689 | 78116 63580 101 | 0.000 % |
834.01/834.50 c | 946512 | 1100 82883 272689 | 78116 68885 100 | 0.000 % |
843.01/843.50 c | 952347 | 1100 82883 272689 | 72374 59648 101 | 0.000 % |
848.71/849.29 c | 958766 | 1100 82883 272689 | 72374 66067 102 | 0.000 % |
857.10/857.60 c | 965829 | 1100 82883 272689 | 67302 59971 99 | 0.000 % |
864.50/865.00 c | 973595 | 1100 82883 272689 | 64142 56488 93 | 0.000 % |
875.59/876.11 c | 982136 | 1100 82883 272689 | 62894 55206 97 | 0.000 % |
875.69/876.24 c | 982236 | 1100 82883 272689 | 62894 55306 97 | 0.011 % |
875.89/876.40 c | 982346 | 1100 82883 272689 | 62894 55416 97 | 0.000 % |
875.99/876.52 c | 982467 | 1100 82883 272689 | 62894 55537 97 | 0.000 % |
876.09/876.70 c | 982602 | 1100 82883 272689 | 62894 55672 97 | 0.000 % |
876.29/876.83 c | 982750 | 1100 82883 272689 | 62894 55820 97 | 0.000 % |
876.39/876.99 c | 982910 | 1100 82883 272689 | 62894 55980 97 | 0.000 % |
876.59/877.15 c | 983087 | 1100 82883 272689 | 62894 56157 97 | 0.000 % |
876.89/877.44 c | 983282 | 1100 82883 272689 | 62894 56352 98 | 0.000 % |
877.19/877.71 c | 983497 | 1100 82883 272689 | 62894 56567 98 | 0.000 % |
877.39/877.92 c | 983730 | 1100 82883 272689 | 62894 56800 98 | 0.000 % |
877.59/878.19 c | 983986 | 1100 82883 272689 | 62894 57056 98 | 0.000 % |
877.89/878.50 c | 984267 | 1100 82883 272689 | 62894 57337 98 | 0.000 % |
878.19/878.80 c | 984579 | 1100 82883 272689 | 62894 57649 98 | 0.000 % |
878.69/879.21 c | 984921 | 1100 82883 272689 | 62894 57991 98 | 0.000 % |
878.99/879.53 c | 985293 | 1100 82883 272689 | 62894 58363 98 | 0.000 % |
879.59/880.11 c | 985703 | 1100 82883 272689 | 62894 58773 99 | 0.000 % |
880.09/880.65 c | 986155 | 1100 82883 272689 | 62894 59225 99 | 0.000 % |
880.89/881.42 c | 986652 | 1100 82883 272689 | 62894 59722 99 | 0.000 % |
881.59/882.11 c | 987194 | 1100 82883 272689 | 62894 60264 99 | 0.000 % |
882.39/882.91 c | 987792 | 1100 82883 272689 | 62894 60862 99 | 0.012 % |
882.99/883.52 c | 988447 | 1100 82883 272689 | 62894 61517 99 | 0.000 % |
883.69/884.29 c | 989168 | 1100 82883 272689 | 62894 62238 99 | 0.000 % |
884.69/885.25 c | 989965 | 1100 82883 272689 | 62894 63035 99 | 0.000 % |
885.49/886.03 c | 990836 | 1100 82883 272689 | 52729 45381 91 | 0.000 % |
886.19/886.80 c | 991795 | 1100 82883 272689 | 52729 46340 91 | 0.000 % |
887.19/887.73 c | 992851 | 1100 82883 272689 | 52729 47396 92 | 0.000 % |
888.08/888.69 c | 994009 | 1100 82883 272689 | 52729 48554 93 | 0.000 % |
889.48/890.05 c | 995282 | 1100 82883 272689 | 52729 49827 94 | 0.000 % |
890.49/891.09 c | 996683 | 1100 82883 272689 | 52729 51228 95 | 0.000 % |
891.68/892.26 c | 998224 | 1100 82883 272689 | 52729 52769 96 | 0.015 % |
893.28/893.86 c | 999920 | 1100 82883 272689 | 52729 48423 97 | 0.000 % |
894.98/895.54 c | 1001783 | 1100 82883 272689 | 48504 44768 97 | 0.000 % |
896.78/897.39 c | 1003837 | 1100 82883 272689 | 48504 46822 98 | 0.000 % |
899.18/899.71 c | 1006092 | 1100 82883 272689 | 48504 43337 98 | 0.000 % |
901.78/902.31 c | 1008571 | 1100 82883 272689 | 48504 45816 101 | 0.000 % |
904.88/905.44 c | 1011296 | 1100 82883 272689 | 47245 42956 96 | 0.000 % |
907.78/908.38 c | 1014295 | 1100 82883 272689 | 47245 45955 96 | 0.000 % |
911.18/911.72 c | 1017591 | 1100 82883 272689 | 47245 43771 93 | 0.000 % |
914.78/915.35 c | 1021216 | 1100 82883 272689 | 46180 42732 96 | 0.000 % |
917.58/918.13 c | 1025203 | 1100 82883 272689 | 46180 46719 96 | 0.013 % |
920.17/920.73 c | 1029589 | 1100 82883 272689 | 46180 46434 95 | 0.000 % |
923.47/924.10 c | 1034412 | 1100 82883 272689 | 2147483647 46614 97 | 0.000 % |
927.17/927.78 c | 1039719 | 1100 82883 272689 | 2147483647 51921 96 | 0.000 % |
932.17/932.76 c | 1045555 | 1100 82883 272689 | 2147483647 57757 94 | 0.000 % |
937.96/938.55 c | 1051974 | 1100 82883 272689 | 2147483647 64176 99 | 0.000 % |
944.16/944.71 c | 1059034 | 1100 82883 272689 | 2147483647 71236 98 | 0.000 % |
953.76/954.39 c | 1066799 | 1100 82883 272689 | 2147483647 79001 104 | 0.000 % |
965.85/966.40 c | 1075339 | 1100 82883 272689 | 82203 75360 103 | 0.000 % |
979.64/980.29 c | 1084734 | 1100 82883 272689 | 80021 69395 102 | 0.000 % |
979.84/980.42 c | 1084835 | 1100 82883 272689 | 80021 69496 102 | 0.000 % |
979.95/980.55 c | 1084947 | 1100 82883 272689 | 80021 69608 102 | 0.000 % |
980.05/980.67 c | 1085069 | 1100 82883 272689 | 80021 69730 102 | 0.000 % |
980.25/980.81 c | 1085203 | 1100 82883 272689 | 80021 69864 102 | 0.000 % |
980.45/981.06 c | 1085350 | 1100 82883 272689 | 80021 70011 102 | 0.000 % |
980.66/981.24 c | 1085510 | 1100 82883 272689 | 80021 70171 102 | 0.000 % |
980.85/981.48 c | 1085687 | 1100 82883 272689 | 80021 70348 102 | 0.000 % |
981.15/981.75 c | 1085880 | 1100 82883 272689 | 80021 70541 102 | 0.000 % |
981.55/982.12 c | 1086092 | 1100 82883 272689 | 80021 70753 102 | 0.000 % |
981.95/982.50 c | 1086326 | 1100 82883 272689 | 80021 70987 102 | 0.000 % |
982.25/982.87 c | 1086582 | 1100 82883 272689 | 80021 71243 102 | 0.000 % |
982.65/983.25 c | 1086864 | 1100 82883 272689 | 80021 71525 103 | 0.000 % |
983.05/983.63 c | 1087174 | 1100 82883 272689 | 80021 71835 102 | 0.000 % |
983.35/983.96 c | 1087518 | 1100 82883 272689 | 80021 72179 102 | 0.000 % |
983.86/984.49 c | 1087891 | 1100 82883 272689 | 80021 72552 103 | 0.000 % |
984.55/985.10 c | 1088301 | 1100 82883 272689 | 80021 72962 103 | 0.000 % |
984.95/985.54 c | 1088751 | 1100 82883 272689 | 80021 73412 103 | 0.000 % |
985.55/986.15 c | 1089247 | 1100 82883 272689 | 80021 73908 103 | 0.000 % |
986.05/986.65 c | 1089792 | 1100 82883 272689 | 80021 74453 103 | 0.000 % |
986.75/987.30 c | 1090389 | 1100 82883 272689 | 74661 75050 103 | 0.000 % |
987.35/987.91 c | 1091046 | 1100 82883 272689 | 74661 61039 102 | 0.011 % |
988.15/988.78 c | 1091767 | 1100 82883 272689 | 74661 61760 102 | 0.000 % |
988.75/989.39 c | 1092560 | 1100 82883 272689 | 74661 62553 102 | 0.012 % |
990.05/990.62 c | 1093432 | 1100 82883 272689 | 74661 63425 103 | 0.000 % |
990.95/991.58 c | 1094391 | 1100 82883 272689 | 74661 64384 103 | 0.000 % |
992.15/992.73 c | 1095444 | 1100 82883 272689 | 74661 65437 103 | 0.000 % |
993.25/993.87 c | 1096605 | 1100 82883 272689 | 74661 66598 102 | 0.013 % |
994.55/995.13 c | 1097883 | 1100 82883 272689 | 74661 67876 102 | 0.000 % |
996.25/996.87 c | 1099286 | 1100 82883 272689 | 74661 69279 101 | 0.000 % |
997.85/998.41 c | 1100828 | 1100 82883 272689 | 69994 59136 98 | 0.012 % |
999.65/1000.24 c | 1102523 | 1100 82883 272689 | 69994 60831 98 | 0.012 % |
1002.14/1002.79 c | 1104387 | 1100 82883 272689 | 69994 62695 99 | 0.000 % |
1004.14/1004.73 c | 1106437 | 1100 82883 272689 | 69994 64745 99 | 0.012 % |
1005.95/1006.55 c | 1108691 | 1100 82883 272689 | 69994 66999 100 | 0.000 % |
1009.03/1009.60 c | 1111170 | 1100 82883 272689 | 68309 57859 95 | 0.000 % |
1012.03/1012.67 c | 1113895 | 1100 82883 272689 | 68309 60584 96 | 0.000 % |
1015.83/1016.41 c | 1116897 | 1100 82883 272689 | 68309 63586 98 | 0.000 % |
1018.93/1019.50 c | 1120194 | 1100 82883 272689 | 66690 66883 99 | 0.000 % |
1022.03/1022.69 c | 1123821 | 1100 82883 272689 | 66690 60638 92 | 0.000 % |
1025.03/1025.69 c | 1127809 | 1100 82883 272689 | 66690 64626 91 | 0.000 % |
1029.32/1029.99 c | 1132195 | 1100 82883 272689 | 66817 60959 89 | 0.013 % |
1034.22/1034.82 c | 1137021 | 1100 82883 272689 | 66817 65785 90 | 0.000 % |
1040.52/1041.11 c | 1142326 | 1100 82883 272689 | 60485 55872 92 | 0.000 % |
1046.12/1046.79 c | 1148162 | 1100 82883 272689 | 60485 54668 94 | 0.000 % |
1051.62/1052.28 c | 1154582 | 1100 82883 272689 | 56506 54326 93 | 0.000 % |
1059.51/1060.19 c | 1161641 | 1100 82883 272689 | 2147483647 55319 97 | 0.000 % |
1067.61/1068.27 c | 1169405 | 1100 82883 272689 | 2147483647 63083 102 | 0.000 % |
1076.90/1077.59 c | 1177947 | 1100 82883 272689 | 63678 63765 107 | 0.000 % |
1088.80/1089.44 c | 1187341 | 1100 82883 272689 | 57017 56177 113 | 0.000 % |
1099.39/1100.07 c | 1197674 | 1100 82883 272689 | 50864 51281 117 | 0.000 % |
1099.59/1100.22 c | 1197775 | 1100 82883 272689 | 50864 44126 112 | 0.000 % |
1099.69/1100.32 c | 1197885 | 1100 82883 272689 | 50864 44236 112 | 0.000 % |
1099.79/1100.45 c | 1198006 | 1100 82883 272689 | 50864 44357 112 | 0.000 % |
1099.99/1100.62 c | 1198139 | 1100 82883 272689 | 50864 44490 112 | 0.000 % |
1100.09/1100.75 c | 1198285 | 1100 82883 272689 | 50864 44636 112 | 0.000 % |
1100.29/1100.94 c | 1198449 | 1100 82883 272689 | 50864 44800 112 | 0.000 % |
1100.49/1101.12 c | 1198626 | 1100 82883 272689 | 50864 44977 112 | 0.015 % |
1100.69/1101.32 c | 1198819 | 1100 82883 272689 | 50864 45170 112 | 0.000 % |
1100.89/1101.52 c | 1199031 | 1100 82883 272689 | 50864 45382 112 | 0.000 % |
1101.09/1101.76 c | 1199264 | 1100 82883 272689 | 50864 45615 112 | 0.000 % |
1101.39/1102.02 c | 1199520 | 1100 82883 272689 | 50864 45871 112 | 0.000 % |
1101.69/1102.31 c | 1199802 | 1100 82883 272689 | 50864 46153 112 | 0.000 % |
1101.89/1102.55 c | 1200111 | 1100 82883 272689 | 46351 46462 112 | 0.000 % |
1102.19/1102.89 c | 1200450 | 1100 82883 272689 | 46351 40474 108 | 0.000 % |
1102.49/1103.12 c | 1200822 | 1100 82883 272689 | 46351 40846 108 | 0.014 % |
1102.69/1103.39 c | 1201234 | 1100 82883 272689 | 46351 41258 107 | 0.000 % |
1103.09/1103.74 c | 1201683 | 1100 82883 272689 | 46351 41707 107 | 0.012 % |
1103.39/1104.04 c | 1202176 | 1100 82883 272689 | 46351 42200 107 | 0.010 % |
1103.89/1104.58 c | 1202721 | 1100 82883 272689 | 46351 42745 107 | 0.000 % |
1104.39/1105.04 c | 1203319 | 1100 82883 272689 | 46351 43343 107 | 0.000 % |
1104.79/1105.40 c | 1203974 | 1100 82883 272689 | 46351 43998 107 | 0.000 % |
1105.39/1106.04 c | 1204695 | 1100 82883 272689 | 46351 44719 106 | 0.000 % |
1105.99/1106.61 c | 1205487 | 1100 82883 272689 | 46351 45511 106 | 0.000 % |
1106.49/1107.18 c | 1206358 | 1100 82883 272689 | 46351 46382 106 | 0.012 % |
1107.29/1107.96 c | 1207316 | 1100 82883 272689 | 46351 42702 102 | 0.012 % |
1108.09/1108.78 c | 1208371 | 1100 82883 272689 | 46351 43757 101 | 0.010 % |
1108.89/1109.53 c | 1209532 | 1100 82883 272689 | 46351 44918 100 | 0.010 % |
1109.89/1110.55 c | 1210806 | 1100 82883 272689 | 2147483647 46192 101 | 0.000 % |
1111.19/1111.83 c | 1212206 | 1100 82883 272689 | 2147483647 47592 101 | 0.000 % |
1112.79/1113.41 c | 1213748 | 1100 82883 272689 | 2147483647 49134 101 | 0.000 % |
1114.29/1114.90 c | 1215444 | 1100 82883 272689 | 2147483647 50830 101 | 0.000 % |
1115.98/1116.60 c | 1217310 | 1100 82883 272689 | 2147483647 52696 102 | 0.000 % |
1117.88/1118.55 c | 1219361 | 1100 82883 272689 | 2147483647 54747 102 | 0.000 % |
1119.98/1120.66 c | 1221614 | 1100 82883 272689 | 2147483647 57000 103 | 0.000 % |
1122.58/1123.26 c | 1224093 | 1100 82883 272689 | 2147483647 59479 104 | 0.000 % |
1126.18/1126.85 c | 1226818 | 1100 82883 272689 | 2147483647 62204 106 | 0.000 % |
1130.18/1130.86 c | 1229817 | 1100 82883 272689 | 2147483647 65203 106 | 0.000 % |
1133.88/1134.55 c | 1233113 | 1100 82883 272689 | 65386 57748 99 | 0.000 % |
1137.38/1138.03 c | 1236738 | 1100 82883 272689 | 65386 61373 100 | 0.000 % |
1141.68/1142.34 c | 1240725 | 1100 82883 272689 | 64636 55978 93 | 0.000 % |
1146.37/1147.04 c | 1245110 | 1100 82883 272689 | 64636 60363 93 | 0.014 % |
1151.17/1151.80 c | 1249933 | 1100 82883 272689 | 64636 65186 95 | 0.000 % |
1155.87/1156.52 c | 1255238 | 1100 82883 272689 | 55300 52163 93 | 0.000 % |
1161.47/1162.16 c | 1261073 | 1100 82883 272689 | 50003 44772 85 | 0.012 % |
1165.56/1166.24 c | 1267493 | 1100 82883 272689 | 50003 46141 90 | 0.000 % |
1171.16/1171.84 c | 1274556 | 1100 82883 272689 | 2147483647 53204 93 | 0.000 % |
1177.47/1178.11 c | 1282320 | 1100 82883 272689 | 2147483647 60968 99 | 0.000 % |
1184.36/1185.02 c | 1290862 | 1100 82883 272689 | 2147483647 69510 104 | 0.000 % |
1193.55/1194.26 c | 1300256 | 1100 82883 272689 | 78648 78904 104 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834111-1242828087/watcher-1834111-1242828087 -o /tmp/evaluation-result-1834111-1242828087/solver-1834111-1242828087 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834111-1242828087.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/65 3621
/proc/meminfo: memFree=1717816/2055920 swapFree=4131180/4192956
[pid=3621] ppid=3619 vsize=5356 CPUtime=0
/proc/3621/stat : 3621 (SatELiteGTI) S 3619 3621 3335 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310838383 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 214945202258 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/3621/statm: 1339 235 195 169 0 50 0
[pid=3622] ppid=3621 vsize=5356 CPUtime=0
/proc/3622/stat : 3622 (SatELiteGTI) S 3621 3621 3335 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310838384 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/3622/statm: 1339 238 198 169 0 50 0
[pid=3624] ppid=3622 vsize=5356 CPUtime=0
/proc/3624/stat : 3624 (SatELiteGTI) R 3622 3621 3335 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 310838384 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945033511 0 0 4096 0 0 0 0 17 1 0 0
/proc/3624/statm: 1339 239 199 169 0 50 0
[startup+0.083873 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 3621
/proc/meminfo: memFree=1717816/2055920 swapFree=4131180/4192956
[pid=3621] ppid=3619 vsize=5356 CPUtime=0
/proc/3621/stat : 3621 (SatELiteGTI) S 3619 3621 3335 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310838383 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3621/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101874 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 3621
/proc/meminfo: memFree=1717816/2055920 swapFree=4131180/4192956
[pid=3621] ppid=3619 vsize=5356 CPUtime=0
/proc/3621/stat : 3621 (SatELiteGTI) S 3619 3621 3335 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310838383 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3621/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301896 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 3621
/proc/meminfo: memFree=1717816/2055920 swapFree=4131180/4192956
[pid=3621] ppid=3619 vsize=5356 CPUtime=0
/proc/3621/stat : 3621 (SatELiteGTI) S 3619 3621 3335 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310838383 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3621/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701932 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 3621
/proc/meminfo: memFree=1717816/2055920 swapFree=4131180/4192956
[pid=3621] ppid=3619 vsize=5356 CPUtime=0.4
/proc/3621/stat : 3621 (SatELiteGTI) S 3619 3621 3335 0 -1 4194304 336 2075 0 0 0 0 38 2 15 0 1 0 310838383 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3621/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 5356
[startup+1.50202 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3627
/proc/meminfo: memFree=1709544/2055920 swapFree=4131180/4192956
[pid=3621] ppid=3619 vsize=5356 CPUtime=0.4
/proc/3621/stat : 3621 (SatELiteGTI) S 3619 3621 3335 0 -1 4194304 336 2075 0 0 0 0 38 2 15 0 1 0 310838383 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3621/statm: 1339 239 197 169 0 50 0
[pid=3627] ppid=3621 vsize=8480 CPUtime=1.07
/proc/3627/stat : 3627 (minisat_static) R 3621 3621 3335 0 -1 4194304 2011 0 0 0 106 1 0 0 25 0 1 0 310838425 8683520 1997 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/3627/statm: 2120 1997 77 171 0 1947 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13836
[startup+3.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3627
/proc/meminfo: memFree=1706984/2055920 swapFree=4131180/4192956
[pid=3621] ppid=3619 vsize=5356 CPUtime=0.4
/proc/3621/stat : 3621 (SatELiteGTI) S 3619 3621 3335 0 -1 4194304 336 2075 0 0 0 0 38 2 15 0 1 0 310838383 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3621/statm: 1339 239 197 169 0 50 0
[pid=3627] ppid=3621 vsize=11308 CPUtime=2.67
/proc/3627/stat : 3627 (minisat_static) R 3621 3621 3335 0 -1 4194304 2727 0 0 0 265 2 0 0 25 0 1 0 310838425 11579392 2713 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/3627/statm: 2827 2713 77 171 0 2654 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 16664
[startup+6.30256 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3627
/proc/meminfo: memFree=1701736/2055920 swapFree=4131180/4192956
[pid=3621] ppid=3619 vsize=5356 CPUtime=0.4
/proc/3621/stat : 3621 (SatELiteGTI) S 3619 3621 3335 0 -1 4194304 336 2075 0 0 0 0 38 2 15 0 1 0 310838383 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3621/statm: 1339 239 197 169 0 50 0
[pid=3627] ppid=3621 vsize=15904 CPUtime=5.86
/proc/3627/stat : 3627 (minisat_static) R 3621 3621 3335 0 -1 4194304 3864 0 0 0 583 3 0 0 25 0 1 0 310838425 16285696 3850 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3627/statm: 3976 3850 77 171 0 3803 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 21260
[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3627
/proc/meminfo: memFree=1694504/2055920 swapFree=4131180/4192956
[pid=3621] ppid=3619 vsize=5356 CPUtime=0.4
/proc/3621/stat : 3621 (SatELiteGTI) S 3619 3621 3335 0 -1 4194304 336 2075 0 0 0 0 38 2 15 0 1 0 310838383 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3621/statm: 1339 239 197 169 0 50 0
[pid=3627] ppid=3621 vsize=22584 CPUtime=12.26
/proc/3627/stat : 3627 (minisat_static) R 3621 3621 3335 0 -1 4194304 5511 0 0 0 1220 6 0 0 25 0 1 0 310838425 23126016 5497 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/3627/statm: 5646 5497 77 171 0 5473 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 27940
[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3627
/proc/meminfo: memFree=1685800/2055920 swapFree=4131180/4192956
[pid=3621] ppid=3619 vsize=5356 CPUtime=0.4
/proc/3621/stat : 3621 (SatELiteGTI) S 3619 3621 3335 0 -1 4194304 336 2075 0 0 0 0 38 2 15 0 1 0 310838383 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3621/statm: 1339 239 197 169 0 50 0
[pid=3627] ppid=3621 vsize=31024 CPUtime=25.04
/proc/3627/stat : 3627 (minisat_static) R 3621 3621 3335 0 -1 4194304 7633 0 0 0 2496 8 0 0 25 0 1 0 310838425 31768576 7619 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/3627/statm: 7756 7619 77 171 0 7583 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 36380
[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3627
/proc/meminfo: memFree=1672424/2055920 swapFree=4131180/4192956
[pid=3621] ppid=3619 vsize=5356 CPUtime=0.4
/proc/3621/stat : 3621 (SatELiteGTI) S 3619 3621 3335 0 -1 4194304 336 2075 0 0 0 0 38 2 15 0 1 0 310838383 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3621/statm: 1339 239 197 169 0 50 0
[pid=3627] ppid=3621 vsize=44556 CPUtime=50.62
/proc/3627/stat : 3627 (minisat_static) R 3621 3621 3335 0 -1 4194304 10983 0 0 0 5049 13 0 0 25 0 1 0 310838425 45625344 10969 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3627/statm: 11139 10969 77 171 0 10966 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 49912
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3627
/proc/meminfo: memFree=1670888/2055920 swapFree=4131180/4192956
[pid=3621] ppid=3619 vsize=5356 CPUtime=0.4
/proc/3621/stat : 3621 (SatELiteGTI) S 3619 3621 3335 0 -1 4194304 336 2075 0 0 0 0 38 2 15 0 1 0 310838383 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3621/statm: 1339 239 197 169 0 50 0
[pid=3627] ppid=3621 vsize=45752 CPUtime=101.79
/proc/3627/stat : 3627 (minisat_static) R 3621 3621 3335 0 -1 4194304 11282 0 0 0 10166 13 0 0 25 0 1 0 310838425 46850048 11268 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3627/statm: 11438 11268 77 171 0 11265 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 51108
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3627
/proc/meminfo: memFree=1670824/2055920 swapFree=4131180/4192956
[pid=3621] ppid=3619 vsize=5356 CPUtime=0.4
/proc/3621/stat : 3621 (SatELiteGTI) S 3619 3621 3335 0 -1 4194304 336 2075 0 0 0 0 38 2 15 0 1 0 310838383 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3621/statm: 1339 239 197 169 0 50 0
[pid=3627] ppid=3621 vsize=45752 CPUtime=161.76
/proc/3627/stat : 3627 (minisat_static) R 3621 3621 3335 0 -1 4194304 11282 0 0 0 16162 14 0 0 25 0 1 0 310838425 46850048 11268 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3627/statm: 11438 11268 77 171 0 11265 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 51108
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3627
/proc/meminfo: memFree=1670824/2055920 swapFree=4131180/4192956
[pid=3621] ppid=3619 vsize=5356 CPUtime=0.4
/proc/3621/stat : 3621 (SatELiteGTI) S 3619 3621 3335 0 -1 4194304 336 2075 0 0 0 0 38 2 15 0 1 0 310838383 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3621/statm: 1339 239 197 169 0 50 0
[pid=3627] ppid=3621 vsize=45752 CPUtime=221.73
/proc/3627/stat : 3627 (minisat_static) R 3621 3621 3335 0 -1 4194304 11282 0 0 0 22159 14 0 0 25 0 1 0 310838425 46850048 11268 1992294400 134512640 135215339 4294956240 18446744073709551615 134528616 0 0 4096 3 0 0 0 17 0 0 0
/proc/3627/statm: 11438 11268 77 171 0 11265 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 51108
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3627
/proc/meminfo: memFree=1670760/2055920 swapFree=4131180/4192956
[pid=3621] ppid=3619 vsize=5356 CPUtime=0.4
/proc/3621/stat : 3621 (SatELiteGTI) S 3619 3621 3335 0 -1 4194304 336 2075 0 0 0 0 38 2 15 0 1 0 310838383 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3621/statm: 1339 239 197 169 0 50 0
[pid=3627] ppid=3621 vsize=45752 CPUtime=281.69
/proc/3627/stat : 3627 (minisat_static) R 3621 3621 3335 0 -1 4194304 11282 0 0 0 28155 14 0 0 25 0 1 0 310838425 46850048 11268 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3627/statm: 11438 11268 77 171 0 11265 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 51108
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3627
/proc/meminfo: memFree=1670696/2055920 swapFree=4131180/4192956
[pid=3621] ppid=3619 vsize=5356 CPUtime=0.4
/proc/3621/stat : 3621 (SatELiteGTI) S 3619 3621 3335 0 -1 4194304 336 2075 0 0 0 0 38 2 15 0 1 0 310838383 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3621/statm: 1339 239 197 169 0 50 0
[pid=3627] ppid=3621 vsize=45752 CPUtime=341.65
/proc/3627/stat : 3627 (minisat_static) R 3621 3621 3335 0 -1 4194304 11282 0 0 0 34151 14 0 0 25 0 1 0 310838425 46850048 11268 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3627/statm: 11438 11268 77 171 0 11265 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 51108
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3627
/proc/meminfo: memFree=1670696/2055920 swapFree=4131180/4192956
[pid=3621] ppid=3619 vsize=5356 CPUtime=0.4
/proc/3621/stat : 3621 (SatELiteGTI) S 3619 3621 3335 0 -1 4194304 336 2075 0 0 0 0 38 2 15 0 1 0 310838383 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3621/statm: 1339 239 197 169 0 50 0
[pid=3627] ppid=3621 vsize=45752 CPUtime=401.62
################
# More data... #
################
/proc/3627/statm: 11438 11268 77 171 0 11265 0
Current children cumulated CPU time (s) 581.94
Current children cumulated vsize (KiB) 51108
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3627
/proc/meminfo: memFree=1667304/2055920 swapFree=4131180/4192956
[pid=3621] ppid=3619 vsize=5356 CPUtime=0.4
/proc/3621/stat : 3621 (SatELiteGTI) S 3619 3621 3335 0 -1 4194304 336 2075 0 0 0 0 38 2 15 0 1 0 310838383 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3621/statm: 1339 239 197 169 0 50 0
[pid=3627] ppid=3621 vsize=49212 CPUtime=641.51
/proc/3627/stat : 3627 (minisat_static) R 3621 3621 3335 0 -1 4194304 12146 0 0 0 64135 16 0 0 25 0 1 0 310838425 50393088 12132 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/3627/statm: 12303 12132 77 171 0 12130 0
Current children cumulated CPU time (s) 641.91
Current children cumulated vsize (KiB) 54568
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3627
/proc/meminfo: memFree=1667176/2055920 swapFree=4131180/4192956
[pid=3621] ppid=3619 vsize=5356 CPUtime=0.4
/proc/3621/stat : 3621 (SatELiteGTI) S 3619 3621 3335 0 -1 4194304 336 2075 0 0 0 0 38 2 15 0 1 0 310838383 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3621/statm: 1339 239 197 169 0 50 0
[pid=3627] ppid=3621 vsize=49212 CPUtime=701.47
/proc/3627/stat : 3627 (minisat_static) R 3621 3621 3335 0 -1 4194304 12153 0 0 0 70130 17 0 0 25 0 1 0 310838425 50393088 12139 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3627/statm: 12303 12139 77 171 0 12130 0
Current children cumulated CPU time (s) 701.87
Current children cumulated vsize (KiB) 54568
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3627
/proc/meminfo: memFree=1667112/2055920 swapFree=4131180/4192956
[pid=3621] ppid=3619 vsize=5356 CPUtime=0.4
/proc/3621/stat : 3621 (SatELiteGTI) S 3619 3621 3335 0 -1 4194304 336 2075 0 0 0 0 38 2 15 0 1 0 310838383 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3621/statm: 1339 239 197 169 0 50 0
[pid=3627] ppid=3621 vsize=49212 CPUtime=761.45
/proc/3627/stat : 3627 (minisat_static) R 3621 3621 3335 0 -1 4194304 12153 0 0 0 76128 17 0 0 25 0 1 0 310838425 50393088 12139 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3627/statm: 12303 12139 77 171 0 12130 0
Current children cumulated CPU time (s) 761.85
Current children cumulated vsize (KiB) 54568
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3627
/proc/meminfo: memFree=1667112/2055920 swapFree=4131180/4192956
[pid=3621] ppid=3619 vsize=5356 CPUtime=0.4
/proc/3621/stat : 3621 (SatELiteGTI) S 3619 3621 3335 0 -1 4194304 336 2075 0 0 0 0 38 2 15 0 1 0 310838383 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3621/statm: 1339 239 197 169 0 50 0
[pid=3627] ppid=3621 vsize=49212 CPUtime=821.42
/proc/3627/stat : 3627 (minisat_static) R 3621 3621 3335 0 -1 4194304 12153 0 0 0 82125 17 0 0 25 0 1 0 310838425 50393088 12139 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3627/statm: 12303 12139 77 171 0 12130 0
Current children cumulated CPU time (s) 821.82
Current children cumulated vsize (KiB) 54568
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3627
/proc/meminfo: memFree=1667112/2055920 swapFree=4131180/4192956
[pid=3621] ppid=3619 vsize=5356 CPUtime=0.4
/proc/3621/stat : 3621 (SatELiteGTI) S 3619 3621 3335 0 -1 4194304 336 2075 0 0 0 0 38 2 15 0 1 0 310838383 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3621/statm: 1339 239 197 169 0 50 0
[pid=3627] ppid=3621 vsize=49212 CPUtime=881.39
/proc/3627/stat : 3627 (minisat_static) R 3621 3621 3335 0 -1 4194304 12153 0 0 0 88122 17 0 0 25 0 1 0 310838425 50393088 12139 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 0 0 0
/proc/3627/statm: 12303 12139 77 171 0 12130 0
Current children cumulated CPU time (s) 881.79
Current children cumulated vsize (KiB) 54568
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3627
/proc/meminfo: memFree=1667112/2055920 swapFree=4131180/4192956
[pid=3621] ppid=3619 vsize=5356 CPUtime=0.4
/proc/3621/stat : 3621 (SatELiteGTI) S 3619 3621 3335 0 -1 4194304 336 2075 0 0 0 0 38 2 15 0 1 0 310838383 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3621/statm: 1339 239 197 169 0 50 0
[pid=3627] ppid=3621 vsize=49212 CPUtime=941.36
/proc/3627/stat : 3627 (minisat_static) R 3621 3621 3335 0 -1 4194304 12153 0 0 0 94119 17 0 0 25 0 1 0 310838425 50393088 12139 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/3627/statm: 12303 12139 77 171 0 12130 0
Current children cumulated CPU time (s) 941.76
Current children cumulated vsize (KiB) 54568
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3627
/proc/meminfo: memFree=1665896/2055920 swapFree=4131180/4192956
[pid=3621] ppid=3619 vsize=5356 CPUtime=0.4
/proc/3621/stat : 3621 (SatELiteGTI) S 3619 3621 3335 0 -1 4194304 336 2075 0 0 0 0 38 2 15 0 1 0 310838383 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3621/statm: 1339 239 197 169 0 50 0
[pid=3627] ppid=3621 vsize=50416 CPUtime=1001.34
/proc/3627/stat : 3627 (minisat_static) R 3621 3621 3335 0 -1 4194304 12467 0 0 0 100116 18 0 0 25 0 1 0 310838425 51625984 12453 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/3627/statm: 12604 12453 77 171 0 12431 0
Current children cumulated CPU time (s) 1001.74
Current children cumulated vsize (KiB) 55772
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3627
/proc/meminfo: memFree=1665768/2055920 swapFree=4131180/4192956
[pid=3621] ppid=3619 vsize=5356 CPUtime=0.4
/proc/3621/stat : 3621 (SatELiteGTI) S 3619 3621 3335 0 -1 4194304 336 2075 0 0 0 0 38 2 15 0 1 0 310838383 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3621/statm: 1339 239 197 169 0 50 0
[pid=3627] ppid=3621 vsize=50552 CPUtime=1061.31
/proc/3627/stat : 3627 (minisat_static) R 3621 3621 3335 0 -1 4194304 12489 0 0 0 106113 18 0 0 25 0 1 0 310838425 51765248 12475 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/3627/statm: 12638 12475 77 171 0 12465 0
Current children cumulated CPU time (s) 1061.71
Current children cumulated vsize (KiB) 55908
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3627
/proc/meminfo: memFree=1665704/2055920 swapFree=4131180/4192956
[pid=3621] ppid=3619 vsize=5356 CPUtime=0.4
/proc/3621/stat : 3621 (SatELiteGTI) S 3619 3621 3335 0 -1 4194304 336 2075 0 0 0 0 38 2 15 0 1 0 310838383 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3621/statm: 1339 239 197 169 0 50 0
[pid=3627] ppid=3621 vsize=50552 CPUtime=1121.28
/proc/3627/stat : 3627 (minisat_static) R 3621 3621 3335 0 -1 4194304 12489 0 0 0 112110 18 0 0 25 0 1 0 310838425 51765248 12475 1992294400 134512640 135215339 4294956240 18446744073709551615 134528714 0 0 4096 3 0 0 0 17 0 0 0
/proc/3627/statm: 12638 12475 77 171 0 12465 0
Current children cumulated CPU time (s) 1121.68
Current children cumulated vsize (KiB) 55908
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3627
/proc/meminfo: memFree=1665704/2055920 swapFree=4131180/4192956
[pid=3621] ppid=3619 vsize=5356 CPUtime=0.4
/proc/3621/stat : 3621 (SatELiteGTI) S 3619 3621 3335 0 -1 4194304 336 2075 0 0 0 0 38 2 15 0 1 0 310838383 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3621/statm: 1339 239 197 169 0 50 0
[pid=3627] ppid=3621 vsize=50552 CPUtime=1181.26
/proc/3627/stat : 3627 (minisat_static) R 3621 3621 3335 0 -1 4194304 12489 0 0 0 118108 18 0 0 25 0 1 0 310838425 51765248 12475 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/3627/statm: 12638 12475 77 171 0 12465 0
Current children cumulated CPU time (s) 1181.66
Current children cumulated vsize (KiB) 55908
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3627
/proc/meminfo: memFree=1665640/2055920 swapFree=4131180/4192956
[pid=3621] ppid=3619 vsize=5356 CPUtime=0.4
/proc/3621/stat : 3621 (SatELiteGTI) S 3619 3621 3335 0 -1 4194304 336 2075 0 0 0 0 38 2 15 0 1 0 310838383 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3621/statm: 1339 239 197 169 0 50 0
[pid=3627] ppid=3621 vsize=50552 CPUtime=1199.65
/proc/3627/stat : 3627 (minisat_static) R 3621 3621 3335 0 -1 4194304 12489 0 0 0 119947 18 0 0 25 0 1 0 310838425 51765248 12475 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3627/statm: 12638 12475 77 171 0 12465 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 55908
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3627
/proc/meminfo: memFree=1665640/2055920 swapFree=4131180/4192956
[pid=3621] ppid=3619 vsize=5356 CPUtime=0.4
/proc/3621/stat : 3621 (SatELiteGTI) S 3619 3621 3335 0 -1 4194304 336 2075 0 0 0 0 38 2 15 0 1 0 310838383 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3621/statm: 1339 239 197 169 0 50 0
[pid=3627] ppid=3621 vsize=50552 CPUtime=1199.65
/proc/3627/stat : 3627 (minisat_static) R 3621 3621 3335 0 -1 4194304 12489 0 0 0 119947 18 0 0 25 0 1 0 310838425 51765248 12475 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3627/statm: 12638 12475 77 171 0 12465 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 55908
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3621 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=387941
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=22996
# CPU time returned by wait4() is 0.410937
# while last known CPU time is 1200.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.71
CPU time (s): 1200.05
CPU user time (s): 1199.85
CPU system time (s): 0.2
CPU usage (%): 99.9448
Max. virtual memory (cumulated for all children) (KiB): 55908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.387941
system time used= 0.022996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2411
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= 13
runsolver used 1.2768 second user time and 3.23851 second system time
The end
Begin job on node85 at 2009-05-20 16:01:27
IDJOB=1834111
IDBENCH=71410
IDSOLVER=671
FILE ID=node85/1834111-1242828087
PBS_JOBID= 9322486
Free space on /tmp= 126504 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v1150c84314gyes3.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834111-1242828087/watcher-1834111-1242828087 -o /tmp/evaluation-result-1834111-1242828087/solver-1834111-1242828087 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834111-1242828087.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 3e5b6d8ea2e7f58efa9d9a4dc4048be5
RANDOM SEED=1507475749
node85.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.238
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.238
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1718296 kB
Buffers: 53408 kB
Cached: 180724 kB
SwapCached: 56432 kB
Active: 53472 kB
Inactive: 239132 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1718296 kB
SwapTotal: 4192956 kB
SwapFree: 4131180 kB
Dirty: 2580 kB
Writeback: 0 kB
Mapped: 14040 kB
Slab: 31072 kB
Committed_AS: 964896 kB
PageTables: 1376 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= 126504 MiB
End job on node85 at 2009-05-20 16:21:30