0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 43649 87978 | 13094 0 0 nan | 0.000 % |
0.00/0.14 c | 0 | 42676 137686 | -- 0 -- -- | -- | -973/49708
0.00/0.14 c ==============================================================================
0.00/0.14 c Result : #vars: 720 #clauses: 42676 #literals: 137686
0.00/0.14 c CPU time: 0.131979 s
0.00/0.14 c ==============================================================================
0.00/0.18 c This is MiniSat 2.0 beta
0.00/0.18 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.18 c ============================[ Problem Statistics ]=============================
0.00/0.18 c | |
0.00/0.19 c | Number of variables: 720 |
0.00/0.19 c | Number of clauses: 42676 |
0.17/0.21 c | Parsing time: 0.02 s |
0.17/0.21 c ============================[ Search Statistics ]==============================
0.17/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.17/0.21 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.17/0.21 c ===============================================================================
0.17/0.21 c | 0 | 720 42676 137686 | 14225 0 nan | 0.000 % |
0.17/0.22 c | 100 | 720 42676 137686 | 14225 100 61 | 0.000 % |
0.17/0.22 c | 201 | 720 42676 137686 | 14225 201 58 | 0.000 % |
0.17/0.23 c | 301 | 720 42676 137686 | 14225 301 54 | 0.022 % |
0.17/0.24 c | 411 | 720 42676 137686 | 14225 411 54 | 0.022 % |
0.17/0.25 c | 513 | 720 42676 137686 | 14225 513 52 | 0.000 % |
0.17/0.26 c | 624 | 720 42676 137686 | 14225 624 52 | 0.000 % |
0.17/0.26 c | 745 | 720 42676 137686 | 14225 745 48 | 0.000 % |
0.17/0.27 c | 845 | 720 42676 137686 | 14225 845 46 | 0.020 % |
0.17/0.28 c | 957 | 720 42676 137686 | 14225 957 44 | 0.020 % |
0.17/0.29 c | 1079 | 720 42676 137686 | 14225 1079 44 | 0.024 % |
0.17/0.30 c | 1214 | 720 42676 137686 | 14225 1214 46 | 0.000 % |
0.17/0.31 c | 1315 | 720 42676 137686 | 14225 1315 47 | 0.000 % |
0.17/0.32 c | 1425 | 720 42676 137686 | 14225 1425 47 | 0.000 % |
0.17/0.32 c | 1547 | 720 42676 137686 | 14225 1547 47 | 0.018 % |
0.17/0.33 c | 1681 | 720 42676 137686 | 14225 1681 47 | 0.000 % |
0.17/0.34 c | 1828 | 720 42676 137686 | 14225 1828 47 | 0.000 % |
0.17/0.35 c | 1928 | 720 42676 137686 | 14225 1928 46 | 0.021 % |
0.17/0.36 c | 2038 | 720 42676 137686 | 14225 2038 46 | 0.021 % |
0.17/0.37 c | 2159 | 720 42676 137686 | 14225 2159 47 | 0.000 % |
0.17/0.38 c | 2295 | 720 42676 137686 | 14225 2295 49 | 0.000 % |
0.17/0.40 c | 2441 | 720 42676 137686 | 14225 2441 50 | 0.000 % |
0.17/0.41 c | 2601 | 720 42676 137686 | 14225 2601 49 | 0.000 % |
0.17/0.42 c | 2701 | 720 42676 137686 | 14225 2701 49 | 0.000 % |
0.17/0.43 c | 2811 | 720 42676 137686 | 14225 2811 48 | 0.000 % |
0.17/0.43 c | 2932 | 720 42676 137686 | 14225 2932 48 | 0.025 % |
0.17/0.45 c | 3066 | 720 42676 137686 | 14225 3066 47 | 0.000 % |
0.17/0.46 c | 3212 | 720 42676 137686 | 14225 3212 48 | 0.000 % |
0.17/0.47 c | 3374 | 720 42676 137686 | 14225 3374 49 | 0.000 % |
0.17/0.49 c | 3550 | 720 42676 137686 | 14225 3550 49 | 0.000 % |
0.17/0.50 c | 3650 | 720 42676 137686 | 14225 3650 50 | 0.000 % |
0.17/0.51 c | 3760 | 720 42676 137686 | 14225 3760 50 | 0.000 % |
0.17/0.52 c | 3881 | 720 42676 137686 | 14225 3881 50 | 0.000 % |
0.17/0.54 c | 4014 | 720 42676 137686 | 14225 4014 49 | 0.022 % |
0.17/0.55 c | 4160 | 720 42676 137686 | 14225 4160 50 | 0.000 % |
0.17/0.57 c | 4320 | 720 42676 137686 | 14225 4320 51 | 0.000 % |
0.17/0.58 c | 4496 | 720 42676 137686 | 14225 4496 50 | 0.029 % |
0.17/0.60 c | 4689 | 720 42676 137686 | 14225 4689 50 | 0.000 % |
0.17/0.61 c | 4789 | 720 42676 137686 | 14225 4789 50 | 0.000 % |
0.17/0.62 c | 4900 | 720 42676 137686 | 14225 4900 49 | 0.026 % |
0.17/0.63 c | 5023 | 720 42676 137686 | 14225 5023 49 | 0.026 % |
0.17/0.65 c | 5157 | 720 42676 137686 | 14225 5157 51 | 0.000 % |
0.17/0.66 c | 5305 | 720 42676 137686 | 14225 5305 51 | 0.024 % |
0.17/0.68 c | 5465 | 720 42676 137686 | 14225 5465 51 | 0.017 % |
0.17/0.70 c | 5641 | 720 42676 137686 | 14225 5641 51 | 0.024 % |
0.17/0.72 c | 5834 | 720 42676 137686 | 14225 5834 51 | 0.017 % |
0.17/0.74 c | 6047 | 720 42676 137686 | 14225 6047 51 | 0.017 % |
0.17/0.75 c | 6148 | 720 42676 137686 | 14225 6148 51 | 0.000 % |
0.17/0.76 c | 6259 | 720 42676 137686 | 14225 6259 51 | 0.000 % |
0.17/0.78 c | 6380 | 720 42676 137686 | 14225 6380 51 | 0.000 % |
0.17/0.79 c | 6513 | 720 42676 137686 | 14225 6513 51 | 0.025 % |
0.17/0.81 c | 6659 | 720 42676 137686 | 14225 6659 51 | 0.000 % |
0.17/0.82 c | 6819 | 720 42676 137686 | 14225 6819 51 | 0.027 % |
0.17/0.84 c | 6995 | 720 42676 137686 | 14225 6995 51 | 0.022 % |
0.17/0.86 c | 7188 | 720 42676 137686 | 14225 7188 51 | 0.000 % |
0.17/0.89 c | 7401 | 720 42676 137686 | 14225 7401 51 | 0.000 % |
0.17/0.91 c | 7634 | 720 42676 137686 | 14225 7634 50 | 0.000 % |
0.17/0.92 c | 7734 | 720 42676 137686 | 14225 7734 50 | 0.019 % |
0.17/0.94 c | 7846 | 720 42676 137686 | 14225 7846 50 | 0.000 % |
0.17/0.95 c | 7968 | 720 42676 137686 | 14225 7968 50 | 0.023 % |
0.17/0.96 c | 8102 | 720 42676 137686 | 14225 8102 49 | 0.024 % |
0.17/0.98 c | 8248 | 720 42676 137686 | 14225 8248 49 | 0.020 % |
0.17/1.00 c | 8408 | 720 42676 137686 | 14225 8408 49 | 0.020 % |
0.17/1.02 c | 8587 | 720 42676 137686 | 14225 8587 49 | 0.020 % |
0.17/1.05 c | 8781 | 720 42676 137686 | 14225 8781 49 | 0.000 % |
0.17/1.07 c | 8994 | 720 42676 137686 | 14225 8994 49 | 0.000 % |
1.07/1.10 c | 9229 | 720 42676 137686 | 14225 9229 49 | 0.000 % |
1.07/1.13 c | 9485 | 720 42676 137686 | 14225 9485 49 | 0.020 % |
1.07/1.14 c | 9587 | 720 42676 137686 | 14225 9587 49 | 0.024 % |
1.07/1.16 c | 9700 | 720 42676 137686 | 14225 9700 49 | 0.000 % |
1.07/1.18 c | 9822 | 720 42676 137686 | 14225 9822 49 | 0.000 % |
1.07/1.19 c | 9955 | 720 42676 137686 | 14225 9955 49 | 0.022 % |
1.17/1.21 c | 10101 | 720 42676 137686 | 2147483647 10101 49 | 0.000 % |
1.17/1.23 c | 10262 | 720 42676 137686 | 2147483647 10262 49 | 0.000 % |
1.17/1.26 c | 10439 | 720 42676 137686 | 2147483647 10439 49 | 0.000 % |
1.17/1.29 c | 10633 | 720 42676 137686 | 2147483647 10633 49 | 0.024 % |
1.27/1.31 c | 10848 | 720 42676 137686 | 2147483647 10848 49 | 0.000 % |
1.27/1.34 c | 11082 | 720 42676 137686 | 2147483647 11082 49 | 0.027 % |
1.27/1.38 c | 11338 | 720 42676 137686 | 2147483647 11338 49 | 0.000 % |
1.37/1.42 c | 11619 | 720 42676 137686 | 2147483647 11619 49 | 0.000 % |
1.37/1.43 c | 11719 | 720 42676 137686 | 2147483647 11719 49 | 0.000 % |
1.37/1.45 c | 11830 | 720 42676 137686 | 2147483647 11830 49 | 0.000 % |
1.37/1.46 c | 11952 | 720 42676 137686 | 2147483647 11952 49 | 0.000 % |
1.37/1.48 c | 12085 | 720 42676 137686 | 2147483647 12085 49 | 0.000 % |
1.47/1.51 c | 12231 | 720 42676 137686 | 2147483647 12231 49 | 0.000 % |
1.47/1.54 c | 12393 | 720 42676 137686 | 2147483647 12393 49 | 0.000 % |
1.47/1.56 c | 12569 | 720 42676 137686 | 2147483647 12569 49 | 0.000 % |
1.47/1.59 c | 12763 | 720 42676 137686 | 2147483647 12763 50 | 0.000 % |
1.57/1.62 c | 12975 | 720 42676 137686 | 2147483647 12975 50 | 0.024 % |
1.57/1.66 c | 13209 | 720 42676 137686 | 2147483647 13209 50 | 0.000 % |
1.57/1.69 c | 13465 | 720 42676 137686 | 2147483647 13465 50 | 0.023 % |
1.67/1.73 c | 13748 | 720 42676 137686 | 2147483647 13748 49 | 0.023 % |
1.67/1.78 c | 14057 | 720 42676 137686 | 2147483647 14057 49 | 0.000 % |
1.77/1.81 c | 14158 | 720 42676 137686 | 2147483647 14158 49 | 0.000 % |
1.77/1.82 c | 14271 | 720 42676 137686 | 2147483647 14271 49 | 0.000 % |
1.77/1.85 c | 14393 | 720 42676 137686 | 2147483647 14393 49 | 0.019 % |
1.77/1.87 c | 14526 | 720 42676 137686 | 2147483647 14526 49 | 0.019 % |
1.77/1.90 c | 14674 | 720 42676 137686 | 2147483647 14674 49 | 0.000 % |
1.86/1.92 c | 14834 | 720 42676 137686 | 2147483647 14834 49 | 0.000 % |
1.86/1.95 c | 15011 | 720 42676 137686 | 2147483647 15011 49 | 0.024 % |
1.86/1.99 c | 15207 | 720 42676 137686 | 2147483647 15207 50 | 0.000 % |
1.96/2.03 c | 15421 | 720 42676 137686 | 2147483647 15421 50 | 0.000 % |
1.96/2.08 c | 15654 | 720 42676 137686 | 2147483647 15654 50 | 0.000 % |
2.06/2.12 c | 15911 | 720 42676 137686 | 2147483647 15911 50 | 0.000 % |
2.06/2.16 c | 16192 | 720 42676 137686 | 2147483647 16192 50 | 0.023 % |
2.17/2.22 c | 16501 | 720 42676 137686 | 2147483647 16501 50 | 0.027 % |
2.17/2.30 c | 16840 | 720 42676 137686 | 2147483647 16840 51 | 0.000 % |
2.27/2.32 c | 16940 | 720 42676 137686 | 2147483647 16940 51 | 0.000 % |
2.27/2.34 c | 17050 | 720 42676 137686 | 2147483647 17050 51 | 0.028 % |
2.27/2.36 c | 17171 | 720 42676 137686 | 2147483647 17171 51 | 0.000 % |
2.27/2.39 c | 17305 | 720 42676 137686 | 2147483647 17305 51 | 0.019 % |
2.36/2.41 c | 17451 | 720 42676 137686 | 2147483647 17451 51 | 0.019 % |
2.36/2.44 c | 17612 | 720 42676 137686 | 2147483647 17612 51 | 0.031 % |
2.36/2.47 c | 17788 | 720 42676 137686 | 2147483647 17788 51 | 0.000 % |
2.46/2.50 c | 17981 | 720 42676 137686 | 2147483647 17981 50 | 0.023 % |
2.46/2.55 c | 18194 | 720 42676 137686 | 2147483647 18194 50 | 0.019 % |
2.46/2.58 c | 18427 | 720 42676 137686 | 2147483647 18427 50 | 0.019 % |
2.56/2.64 c | 18685 | 720 42676 137686 | 2147483647 18685 50 | 0.019 % |
2.56/2.69 c | 18967 | 720 42676 137686 | 2147483647 18967 50 | 0.000 % |
2.66/2.75 c | 19276 | 720 42676 137686 | 2147483647 19276 49 | 0.024 % |
2.76/2.81 c | 19617 | 720 42676 137686 | 2147483647 19617 49 | 0.024 % |
2.76/2.88 c | 19989 | 720 42676 137686 | 2147483647 19989 49 | 0.025 % |
2.76/2.90 c | 20090 | 720 42676 137686 | 2147483647 20090 49 | 0.024 % |
2.86/2.92 c | 20202 | 720 42676 137686 | 2147483647 20202 49 | 0.000 % |
2.86/2.95 c | 20324 | 720 42676 137686 | 2147483647 20324 49 | 0.000 % |
2.86/2.98 c | 20457 | 720 42676 137686 | 2147483647 20457 49 | 0.024 % |
2.96/3.01 c | 20603 | 720 42676 137686 | 2147483647 20603 49 | 0.000 % |
2.96/3.05 c | 20763 | 720 42676 137686 | 2147483647 20763 49 | 0.000 % |
2.96/3.08 c | 20941 | 720 42676 137686 | 2147483647 20941 49 | 0.025 % |
3.06/3.12 c | 21137 | 720 42676 137686 | 2147483647 21137 49 | 0.000 % |
3.06/3.16 c | 21349 | 720 42676 137686 | 2147483647 21349 49 | 0.019 % |
3.16/3.21 c | 21584 | 720 42676 137686 | 2147483647 21584 48 | 0.000 % |
3.16/3.27 c | 21841 | 720 42676 137686 | 2147483647 21841 49 | 0.000 % |
3.26/3.33 c | 22123 | 720 42676 137686 | 2147483647 22123 49 | 0.000 % |
3.26/3.39 c | 22433 | 720 42676 137686 | 2147483647 22433 49 | 0.000 % |
3.36/3.45 c | 22772 | 720 42676 137686 | 2147483647 22772 48 | 0.023 % |
3.46/3.53 c | 23144 | 720 42676 137686 | 2147483647 23144 48 | 0.000 % |
3.56/3.61 c | 23553 | 720 42676 137686 | 2147483647 23553 48 | 0.028 % |
3.56/3.64 c | 23653 | 720 42676 137686 | 2147483647 23653 48 | 0.000 % |
3.56/3.67 c | 23764 | 720 42676 137686 | 2147483647 23764 48 | 0.020 % |
3.56/3.69 c | 23885 | 720 42676 137686 | 2147483647 23885 48 | 0.021 % |
3.66/3.72 c | 24018 | 720 42676 137686 | 2147483647 24018 48 | 0.000 % |
3.66/3.76 c | 24165 | 720 42676 137686 | 2147483647 24165 48 | 0.000 % |
3.76/3.80 c | 24325 | 720 42676 137686 | 2147483647 24325 49 | 0.000 % |
3.76/3.84 c | 24501 | 720 42676 137686 | 2147483647 24501 48 | 0.000 % |
3.76/3.89 c | 24694 | 720 42676 137686 | 2147483647 24694 49 | 0.000 % |
3.86/3.95 c | 24906 | 720 42676 137686 | 2147483647 24906 49 | 0.000 % |
3.97/4.01 c | 25139 | 720 42676 137686 | 2147483647 25139 49 | 0.000 % |
3.97/4.06 c | 25395 | 720 42676 137686 | 2147483647 25395 49 | 0.026 % |
4.06/4.13 c | 25676 | 720 42676 137686 | 2147483647 25676 49 | 0.000 % |
4.16/4.21 c | 25985 | 720 42676 137686 | 2147483647 25985 49 | 0.000 % |
4.26/4.30 c | 26324 | 720 42676 137686 | 2147483647 26324 49 | 0.000 % |
4.26/4.38 c | 26698 | 720 42676 137686 | 2147483647 26698 49 | 0.028 % |
4.37/4.48 c | 27108 | 720 42676 137686 | 2147483647 27108 49 | 0.021 % |
4.47/4.59 c | 27559 | 720 42676 137686 | 2147483647 27559 49 | 0.000 % |
4.56/4.62 c | 27659 | 720 42676 137686 | 2147483647 27659 49 | 0.000 % |
4.56/4.64 c | 27772 | 720 42676 137686 | 2147483647 27772 49 | 0.000 % |
4.56/4.68 c | 27894 | 720 42676 137686 | 2147483647 27894 49 | 0.023 % |
4.66/4.71 c | 28028 | 720 42676 137686 | 2147483647 28028 49 | 0.000 % |
4.66/4.76 c | 28174 | 720 42676 137686 | 2147483647 28174 49 | 0.000 % |
4.76/4.80 c | 28335 | 720 42676 137686 | 2147483647 28335 49 | 0.017 % |
4.76/4.84 c | 28511 | 720 42676 137686 | 2147483647 28511 49 | 0.000 % |
4.86/4.92 c | 28704 | 720 42676 137686 | 2147483647 28704 49 | 0.000 % |
4.86/4.98 c | 28916 | 720 42676 137686 | 2147483647 28916 50 | 0.000 % |
4.96/5.05 c | 29150 | 720 42676 137686 | 2147483647 29150 50 | 0.000 % |
5.06/5.11 c | 29406 | 720 42676 137686 | 2147483647 29406 50 | 0.026 % |
5.16/5.20 c | 29687 | 720 42676 137686 | 2147483647 29687 50 | 0.000 % |
5.16/5.29 c | 29997 | 720 42676 137686 | 2147483647 29997 50 | 0.000 % |
5.26/5.39 c | 30337 | 720 42676 137686 | 2147483647 30337 50 | 0.023 % |
5.36/5.50 c | 30709 | 720 42676 137686 | 2147483647 30709 50 | 0.000 % |
5.57/5.63 c | 31118 | 720 42676 137686 | 2147483647 31118 50 | 0.000 % |
5.66/5.75 c | 31567 | 720 42676 137686 | 2147483647 31567 50 | 0.000 % |
5.86/5.96 c | 32061 | 720 42676 137686 | 2147483647 32061 50 | 0.000 % |
5.96/6.00 c | 32162 | 720 42676 137686 | 2147483647 32162 50 | 0.000 % |
5.96/6.03 c | 32272 | 720 42676 137686 | 2147483647 32272 50 | 0.024 % |
5.96/6.08 c | 32393 | 720 42676 137686 | 2147483647 32393 50 | 0.021 % |
6.06/6.12 c | 32527 | 720 42676 137686 | 2147483647 32527 50 | 0.000 % |
6.06/6.18 c | 32674 | 720 42676 137686 | 2147483647 32674 51 | 0.000 % |
6.16/6.23 c | 32838 | 720 42676 137686 | 2147483647 32838 51 | 0.000 % |
6.16/6.28 c | 33014 | 720 42676 137686 | 2147483647 33014 51 | 0.000 % |
6.26/6.35 c | 33207 | 720 42676 137686 | 2147483647 33207 51 | 0.000 % |
6.36/6.42 c | 33420 | 720 42676 137686 | 2147483647 33420 51 | 0.000 % |
6.46/6.51 c | 33653 | 720 42676 137686 | 2147483647 33653 51 | 0.000 % |
6.46/6.59 c | 33912 | 720 42676 137686 | 2147483647 33912 51 | 0.000 % |
6.56/6.68 c | 34193 | 720 42676 137686 | 2147483647 34193 51 | 0.000 % |
6.66/6.76 c | 34502 | 720 42676 137686 | 2147483647 34502 51 | 0.025 % |
6.76/6.88 c | 34842 | 720 42676 137686 | 2147483647 34842 52 | 0.000 % |
6.95/7.02 c | 35214 | 720 42676 137686 | 2147483647 35214 52 | 0.000 % |
7.05/7.17 c | 35623 | 720 42676 137686 | 2147483647 35623 52 | 0.000 % |
7.25/7.31 c | 36074 | 720 42676 137686 | 2147483647 36074 52 | 0.024 % |
7.45/7.51 c | 36569 | 720 42676 137686 | 2147483647 36569 52 | 0.000 % |
7.66/7.75 c | 37112 | 720 42676 137686 | 2147483647 37112 52 | 0.000 % |
7.66/7.79 c | 37213 | 720 42676 137686 | 2147483647 37213 52 | 0.000 % |
7.75/7.83 c | 37323 | 720 42676 137686 | 2147483647 37323 52 | 0.000 % |
7.75/7.87 c | 37444 | 720 42676 137686 | 2147483647 37444 52 | 0.023 % |
7.86/7.91 c | 37579 | 720 42676 137686 | 2147483647 37579 52 | 0.027 % |
7.86/7.97 c | 37726 | 720 42676 137686 | 2147483647 37726 52 | 0.000 % |
7.96/8.04 c | 37890 | 720 42676 137686 | 2147483647 37890 52 | 0.000 % |
7.96/8.10 c | 38067 | 720 42676 137686 | 2147483647 38067 52 | 0.020 % |
8.06/8.17 c | 38260 | 720 42676 137686 | 2147483647 38260 52 | 0.000 % |
8.16/8.25 c | 38475 | 720 42676 137686 | 2147483647 38475 52 | 0.000 % |
8.25/8.32 c | 38710 | 720 42676 137686 | 2147483647 38710 52 | 0.000 % |
8.35/8.40 c | 38966 | 720 42676 137686 | 2147483647 38966 52 | 0.000 % |
8.35/8.48 c | 39247 | 720 42676 137686 | 2147483647 39247 52 | 0.026 % |
8.45/8.57 c | 39558 | 720 42676 137686 | 2147483647 39558 52 | 0.000 % |
8.65/8.75 c | 39897 | 720 42676 137686 | 2147483647 39897 52 | 0.000 % |
8.76/8.90 c | 40270 | 720 42676 137686 | 2147483647 40270 52 | 0.000 % |
8.95/9.05 c | 40680 | 720 42676 137686 | 2147483647 40680 52 | 0.023 % |
9.15/9.24 c | 41130 | 720 42676 137686 | 2147483647 41130 52 | 0.021 % |
9.35/9.45 c | 41623 | 720 42676 137686 | 2147483647 41623 52 | 0.000 % |
9.55/9.65 c | 42165 | 720 42676 137686 | 2147483647 42165 52 | 0.000 % |
9.86/9.93 c | 42761 | 720 42676 137686 | 2147483647 42761 52 | 0.000 % |
9.86/9.98 c | 42862 | 720 42676 137686 | 2147483647 42862 52 | 0.021 % |
9.96/10.04 c | 42973 | 720 42676 137686 | 2147483647 42973 52 | 0.021 % |
10.05/10.10 c | 43095 | 720 42676 137686 | 2147483647 43095 52 | 0.000 % |
10.05/10.17 c | 43228 | 720 42676 137686 | 2147483647 43228 52 | 0.000 % |
10.15/10.23 c | 43374 | 720 42676 137686 | 2147483647 43374 52 | 0.000 % |
10.15/10.30 c | 43535 | 720 42676 137686 | 2147483647 43535 52 | 0.000 % |
10.25/10.39 c | 43713 | 720 42676 137686 | 2147483647 43713 52 | 0.000 % |
10.35/10.48 c | 43907 | 720 42676 137686 | 2147483647 43907 52 | 0.000 % |
10.45/10.57 c | 44119 | 720 42676 137686 | 2147483647 44119 52 | 0.025 % |
10.55/10.67 c | 44352 | 720 42676 137686 | 2147483647 44352 52 | 0.019 % |
10.65/10.78 c | 44608 | 720 42676 137686 | 2147483647 44608 52 | 0.023 % |
10.85/10.92 c | 44891 | 720 42676 137686 | 2147483647 44891 52 | 0.023 % |
10.95/11.03 c | 45201 | 720 42676 137686 | 2147483647 45201 51 | 0.000 % |
11.05/11.18 c | 45540 | 720 42676 137686 | 2147483647 45540 51 | 0.023 % |
11.25/11.38 c | 45912 | 720 42676 137686 | 2147483647 45912 52 | 0.000 % |
11.45/11.56 c | 46322 | 720 42676 137686 | 2147483647 46322 52 | 0.024 % |
11.65/11.76 c | 46771 | 720 42676 137686 | 2147483647 46771 52 | 0.000 % |
11.85/11.98 c | 47267 | 720 42676 137686 | 2147483647 47267 52 | 0.000 % |
12.15/12.22 c | 47810 | 720 42676 137686 | 2147483647 47810 52 | 0.024 % |
12.35/12.45 c | 48407 | 720 42676 137686 | 2147483647 48407 51 | 0.024 % |
12.65/12.72 c | 49062 | 720 42676 137686 | 2147483647 49062 51 | 0.024 % |
12.65/12.79 c | 49162 | 720 42676 137686 | 2147483647 49162 51 | 0.000 % |
12.75/12.86 c | 49272 | 720 42676 137686 | 2147483647 49272 51 | 0.000 % |
12.85/12.93 c | 49395 | 720 42676 137686 | 2147483647 49395 51 | 0.000 % |
12.85/12.99 c | 49528 | 720 42676 137686 | 2147483647 49528 51 | 0.019 % |
12.95/13.07 c | 49674 | 720 42676 137686 | 2147483647 49674 51 | 0.000 % |
13.05/13.15 c | 49834 | 720 42676 137686 | 2147483647 49834 51 | 0.021 % |
13.16/13.22 c | 50010 | 720 42676 137686 | 2147483647 50010 51 | 0.000 % |
13.26/13.37 c | 50203 | 720 42676 137686 | 2147483647 50203 51 | 0.000 % |
13.36/13.49 c | 50415 | 720 42676 137686 | 2147483647 50415 52 | 0.000 % |
13.55/13.62 c | 50648 | 720 42676 137686 | 2147483647 50648 52 | 0.028 % |
13.65/13.73 c | 50904 | 720 42676 137686 | 2147483647 50904 52 | 0.028 % |
13.75/13.87 c | 51186 | 720 42676 137686 | 2147483647 51186 52 | 0.000 % |
13.95/14.01 c | 51495 | 720 42676 137686 | 2147483647 51495 51 | 0.000 % |
14.15/14.21 c | 51835 | 720 42676 137686 | 2147483647 51835 51 | 0.000 % |
14.26/14.39 c | 52207 | 720 42676 137686 | 2147483647 52207 51 | 0.028 % |
14.55/14.66 c | 52616 | 720 42676 137686 | 2147483647 52616 51 | 0.000 % |
14.85/14.91 c | 53066 | 720 42676 137686 | 2147483647 53066 51 | 0.000 % |
15.15/15.23 c | 53559 | 720 42676 137686 | 2147483647 53559 52 | 0.000 % |
15.45/15.51 c | 54101 | 720 42676 137686 | 2147483647 54101 52 | 0.000 % |
15.75/15.86 c | 54698 | 720 42676 137686 | 2147483647 54698 52 | 0.000 % |
16.05/16.17 c | 55353 | 720 42676 137686 | 2147483647 55353 52 | 0.000 % |
16.45/16.53 c | 56073 | 720 42676 137686 | 2147483647 56073 52 | 0.000 % |
16.55/16.61 c | 56175 | 720 42676 137686 | 2147483647 56175 53 | 0.000 % |
16.55/16.67 c | 56285 | 720 42676 137686 | 2147483647 56285 53 | 0.000 % |
16.65/16.73 c | 56406 | 720 42676 137686 | 2147483647 56406 53 | 0.000 % |
16.75/16.81 c | 56543 | 720 42676 137686 | 2147483647 56543 53 | 0.020 % |
16.75/16.89 c | 56691 | 720 42676 137686 | 2147483647 56691 53 | 0.000 % |
16.84/16.96 c | 56852 | 720 42676 137686 | 2147483647 56852 53 | 0.027 % |
16.94/17.07 c | 57031 | 720 42676 137686 | 2147483647 57031 53 | 0.027 % |
17.04/17.20 c | 57224 | 720 42676 137686 | 2147483647 57224 53 | 0.000 % |
17.24/17.33 c | 57436 | 720 42676 137686 | 2147483647 57436 53 | 0.000 % |
17.34/17.49 c | 57671 | 720 42676 137686 | 2147483647 57671 53 | 0.000 % |
17.55/17.65 c | 57929 | 720 42676 137686 | 2147483647 57929 53 | 0.000 % |
17.74/17.85 c | 58210 | 720 42676 137686 | 2147483647 58210 53 | 0.000 % |
17.94/18.04 c | 58522 | 720 42676 137686 | 2147483647 58522 53 | 0.000 % |
18.14/18.23 c | 58862 | 720 42676 137686 | 2147483647 58862 53 | 0.000 % |
18.44/18.53 c | 59236 | 720 42676 137686 | 2147483647 59236 54 | 0.000 % |
18.65/18.79 c | 59645 | 720 42676 137686 | 2147483647 59645 54 | 0.000 % |
18.94/19.04 c | 60095 | 720 42676 137686 | 60000 60095 54 | 0.000 % |
19.24/19.39 c | 60588 | 720 42676 137686 | 60000 54041 53 | 0.000 % |
19.64/19.73 c | 61131 | 720 42676 137686 | 60000 54584 53 | 0.000 % |
19.94/20.04 c | 61728 | 720 42676 137686 | 60000 55181 53 | 0.000 % |
20.24/20.39 c | 62384 | 720 42676 137686 | 60000 55837 53 | 0.026 % |
20.74/20.80 c | 63106 | 720 42676 137686 | 60000 56559 53 | 0.000 % |
21.04/21.16 c | 63898 | 720 42676 137686 | 60000 57351 53 | 0.000 % |
21.14/21.22 c | 63998 | 720 42676 137686 | 60000 57451 53 | 0.024 % |
21.14/21.28 c | 64108 | 720 42676 137686 | 60000 57561 53 | 0.000 % |
21.24/21.36 c | 64233 | 720 42676 137686 | 60000 57686 53 | 0.000 % |
21.34/21.43 c | 64366 | 720 42676 137686 | 60000 57819 53 | 0.000 % |
21.44/21.51 c | 64513 | 720 42676 137686 | 60000 57966 53 | 0.000 % |
21.54/21.64 c | 64673 | 720 42676 137686 | 60000 58126 53 | 0.000 % |
21.64/21.75 c | 64849 | 720 42676 137686 | 60000 58302 53 | 0.000 % |
21.74/21.88 c | 65046 | 720 42676 137686 | 60000 58499 53 | 0.000 % |
21.94/22.04 c | 65259 | 720 42676 137686 | 60000 58712 53 | 0.000 % |
22.04/22.18 c | 65493 | 720 42676 137686 | 60000 58946 53 | 0.000 % |
22.24/22.34 c | 65750 | 720 42676 137686 | 60000 59203 54 | 0.000 % |
22.44/22.52 c | 66033 | 720 42676 137686 | 60000 59486 54 | 0.000 % |
22.64/22.73 c | 66343 | 720 42676 137686 | 60000 59796 54 | 0.000 % |
22.84/22.95 c | 66682 | 720 42676 137686 | 60000 60135 54 | 0.000 % |
23.14/23.24 c | 67054 | 720 42676 137686 | 60000 52345 53 | 0.000 % |
23.44/23.50 c | 67463 | 720 42676 137686 | 60000 52754 53 | 0.000 % |
23.73/23.81 c | 67912 | 720 42676 137686 | 60000 53203 54 | 0.000 % |
24.03/24.13 c | 68406 | 720 42676 137686 | 60000 53697 54 | 0.000 % |
24.43/24.50 c | 68948 | 720 42676 137686 | 60000 54239 54 | 0.000 % |
24.83/24.97 c | 69544 | 720 42676 137686 | 60000 54835 54 | 0.000 % |
25.24/25.35 c | 70205 | 720 42676 137686 | 55291 55496 54 | 0.000 % |
25.73/25.80 c | 70925 | 720 42676 137686 | 55291 48438 54 | 0.000 % |
26.13/26.21 c | 71718 | 720 42676 137686 | 55291 49231 54 | 0.000 % |
26.53/26.69 c | 72589 | 720 42676 137686 | 55291 50102 54 | 0.021 % |
26.63/26.77 c | 72693 | 720 42676 137686 | 55291 50206 54 | 0.000 % |
26.73/26.84 c | 72803 | 720 42676 137686 | 55291 50316 54 | 0.000 % |
26.83/26.91 c | 72924 | 720 42676 137686 | 55291 50437 54 | 0.000 % |
26.83/26.98 c | 73059 | 720 42676 137686 | 55291 50572 54 | 0.000 % |
26.93/27.08 c | 73206 | 720 42676 137686 | 55291 50719 54 | 0.000 % |
27.03/27.19 c | 73368 | 720 42676 137686 | 55291 50881 54 | 0.000 % |
27.23/27.30 c | 73544 | 720 42676 137686 | 55291 51057 54 | 0.000 % |
27.33/27.45 c | 73741 | 720 42676 137686 | 55291 51254 54 | 0.000 % |
27.44/27.59 c | 73954 | 720 42676 137686 | 55291 51467 54 | 0.000 % |
27.63/27.76 c | 74188 | 720 42676 137686 | 55291 51701 54 | 0.000 % |
27.83/27.93 c | 74447 | 720 42676 137686 | 55291 51960 54 | 0.000 % |
28.03/28.12 c | 74728 | 720 42676 137686 | 55291 52241 54 | 0.000 % |
28.23/28.31 c | 75039 | 720 42676 137686 | 55291 52552 54 | 0.020 % |
28.43/28.53 c | 75378 | 720 42676 137686 | 55291 52891 54 | 0.000 % |
28.64/28.76 c | 75751 | 720 42676 137686 | 55291 53264 54 | 0.000 % |
28.93/29.00 c | 76161 | 720 42676 137686 | 55291 53674 54 | 0.000 % |
29.13/29.20 c | 76610 | 720 42676 137686 | 55291 54123 54 | 0.000 % |
29.33/29.44 c | 77103 | 720 42676 137686 | 55291 54616 54 | 0.000 % |
29.64/29.77 c | 77645 | 720 42676 137686 | 55291 55158 54 | 0.000 % |
29.93/30.08 c | 78242 | 720 42676 137686 | 55291 47255 52 | 0.000 % |
30.23/30.39 c | 78897 | 720 42676 137686 | 55291 47910 52 | 0.028 % |
30.63/30.77 c | 79617 | 720 42676 137686 | 55291 48630 52 | 0.024 % |
31.03/31.12 c | 80410 | 720 42676 137686 | 49015 49423 52 | 0.000 % |
31.43/31.56 c | 81281 | 720 42676 137686 | 49015 43149 51 | 0.024 % |
31.93/32.08 c | 82241 | 720 42676 137686 | 49015 44109 51 | 0.024 % |
32.03/32.14 c | 82341 | 720 42676 137686 | 49015 44209 51 | 0.000 % |
32.03/32.18 c | 82451 | 720 42676 137686 | 49015 44319 51 | 0.024 % |
32.13/32.24 c | 82572 | 720 42676 137686 | 49015 44440 51 | 0.000 % |
32.23/32.34 c | 82706 | 720 42676 137686 | 49015 44574 51 | 0.000 % |
32.33/32.43 c | 82855 | 720 42676 137686 | 49015 44723 51 | 0.000 % |
32.43/32.52 c | 83015 | 720 42676 137686 | 49015 44883 51 | 0.000 % |
32.53/32.65 c | 83191 | 720 42676 137686 | 49015 45059 52 | 0.000 % |
32.63/32.76 c | 83384 | 720 42676 137686 | 49015 45252 52 | 0.000 % |
32.73/32.87 c | 83596 | 720 42676 137686 | 49015 45464 52 | 0.000 % |
32.93/33.03 c | 83831 | 720 42676 137686 | 49015 45699 52 | 0.000 % |
33.03/33.17 c | 84089 | 720 42676 137686 | 49015 45957 52 | 0.000 % |
33.23/33.32 c | 84373 | 720 42676 137686 | 49015 46241 52 | 0.000 % |
33.33/33.48 c | 84682 | 720 42676 137686 | 49015 46550 52 | 0.025 % |
33.53/33.66 c | 85023 | 720 42676 137686 | 49015 46891 52 | 0.028 % |
33.73/33.90 c | 85395 | 720 42676 137686 | 49015 47263 52 | 0.000 % |
34.03/34.13 c | 85804 | 720 42676 137686 | 49015 47672 52 | 0.019 % |
34.33/34.40 c | 86254 | 720 42676 137686 | 49015 48122 52 | 0.020 % |
34.63/34.77 c | 86749 | 720 42676 137686 | 49015 48617 52 | 0.000 % |
35.03/35.18 c | 87291 | 720 42676 137686 | 49015 49159 52 | 0.024 % |
35.43/35.50 c | 87887 | 720 42676 137686 | 49015 42887 51 | 0.000 % |
35.73/35.89 c | 88543 | 720 42676 137686 | 49015 43543 51 | 0.027 % |
36.23/36.34 c | 89264 | 720 42676 137686 | 49015 44264 52 | 0.000 % |
36.53/36.67 c | 90056 | 720 42676 137686 | 45000 45056 52 | 0.024 % |
37.13/37.28 c | 90927 | 720 42676 137686 | 45000 39784 50 | 0.000 % |
37.73/37.83 c | 91887 | 720 42676 137686 | 45000 40744 50 | 0.000 % |
38.23/38.39 c | 92940 | 720 42676 137686 | 45000 41797 51 | 0.000 % |
38.33/38.44 c | 93042 | 720 42676 137686 | 45000 41899 51 | 0.020 % |
38.43/38.51 c | 93152 | 720 42676 137686 | 45000 42009 51 | 0.000 % |
38.43/38.59 c | 93275 | 720 42676 137686 | 45000 42132 51 | 0.027 % |
38.53/38.66 c | 93408 | 720 42676 137686 | 45000 42265 51 | 0.000 % |
38.62/38.73 c | 93555 | 720 42676 137686 | 45000 42412 51 | 0.000 % |
38.72/38.88 c | 93715 | 720 42676 137686 | 45000 42572 51 | 0.000 % |
38.82/38.99 c | 93893 | 720 42676 137686 | 45000 42750 51 | 0.000 % |
38.92/39.09 c | 94086 | 720 42676 137686 | 45000 42943 51 | 0.025 % |
39.12/39.22 c | 94298 | 720 42676 137686 | 45000 43155 51 | 0.000 % |
39.22/39.35 c | 94532 | 720 42676 137686 | 45000 43389 51 | 0.000 % |
39.42/39.51 c | 94789 | 720 42676 137686 | 45000 43646 52 | 0.000 % |
39.53/39.65 c | 95075 | 720 42676 137686 | 45000 43932 52 | 0.000 % |
39.72/39.86 c | 95384 | 720 42676 137686 | 45000 44241 52 | 0.000 % |
39.92/40.04 c | 95723 | 720 42676 137686 | 45000 44580 52 | 0.000 % |
40.12/40.28 c | 96095 | 720 42676 137686 | 45000 44952 53 | 0.000 % |
40.42/40.55 c | 96504 | 720 42676 137686 | 45000 40035 52 | 0.000 % |
40.73/40.84 c | 96956 | 720 42676 137686 | 45000 40487 52 | 0.000 % |
41.02/41.10 c | 97450 | 720 42676 137686 | 45000 40981 53 | 0.000 % |
41.32/41.41 c | 97992 | 720 42676 137686 | 45000 41523 53 | 0.000 % |
41.62/41.79 c | 98591 | 720 42676 137686 | 45000 42122 53 | 0.000 % |
42.22/42.32 c | 99246 | 720 42676 137686 | 45000 42777 53 | 0.000 % |
42.62/42.78 c | 99966 | 720 42676 137686 | 45000 43497 54 | 0.000 % |
43.12/43.25 c | 100759 | 720 42676 137686 | 43531 39302 52 | 0.021 % |
43.52/43.66 c | 101631 | 720 42676 137686 | 43531 40174 52 | 0.000 % |
44.02/44.10 c | 102589 | 720 42676 137686 | 43531 41132 52 | 0.021 % |
44.62/44.71 c | 103645 | 720 42676 137686 | 43531 42188 53 | 0.000 % |
45.12/45.28 c | 104804 | 720 42676 137686 | 43531 43347 53 | 0.021 % |
45.22/45.33 c | 104905 | 720 42676 137686 | 43531 43448 53 | 0.024 % |
45.32/45.40 c | 105018 | 720 42676 137686 | 43531 43561 53 | 0.021 % |
45.42/45.53 c | 105139 | 720 42676 137686 | 43531 39253 52 | 0.000 % |
45.52/45.60 c | 105272 | 720 42676 137686 | 43531 39386 52 | 0.000 % |
45.52/45.68 c | 105420 | 720 42676 137686 | 43531 39534 52 | 0.000 % |
45.72/45.81 c | 105581 | 720 42676 137686 | 43531 39695 52 | 0.000 % |
45.82/45.92 c | 105757 | 720 42676 137686 | 43531 39871 53 | 0.000 % |
45.92/46.02 c | 105950 | 720 42676 137686 | 43531 40064 53 | 0.000 % |
46.02/46.13 c | 106163 | 720 42676 137686 | 43531 40277 53 | 0.000 % |
46.12/46.27 c | 106397 | 720 42676 137686 | 43531 40511 52 | 0.024 % |
46.32/46.41 c | 106654 | 720 42676 137686 | 43531 40768 52 | 0.029 % |
46.42/46.54 c | 106935 | 720 42676 137686 | 43531 41049 52 | 0.025 % |
46.62/46.72 c | 107245 | 720 42676 137686 | 43531 41359 52 | 0.019 % |
46.82/46.90 c | 107585 | 720 42676 137686 | 43531 41699 52 | 0.023 % |
47.02/47.12 c | 107959 | 720 42676 137686 | 43531 42073 53 | 0.000 % |
47.22/47.35 c | 108368 | 720 42676 137686 | 43531 42482 53 | 0.000 % |
47.52/47.61 c | 108818 | 720 42676 137686 | 43531 42932 53 | 0.000 % |
47.82/47.92 c | 109312 | 720 42676 137686 | 43531 43426 53 | 0.000 % |
48.12/48.29 c | 109854 | 720 42676 137686 | 43531 39015 53 | 0.000 % |
48.42/48.59 c | 110453 | 720 42676 137686 | 39162 35234 52 | 0.025 % |
48.72/48.87 c | 111111 | 720 42676 137686 | 39162 35892 52 | 0.000 % |
49.12/49.24 c | 111831 | 720 42676 137686 | 39162 36612 52 | 0.000 % |
49.52/49.62 c | 112624 | 720 42676 137686 | 39162 37405 52 | 0.000 % |
49.92/50.01 c | 113496 | 720 42676 137686 | 39162 38277 52 | 0.000 % |
50.42/50.52 c | 114455 | 720 42676 137686 | 39162 39236 52 | 0.000 % |
50.92/51.06 c | 115508 | 720 42676 137686 | 39162 36366 51 | 0.028 % |
51.62/51.74 c | 116666 | 720 42676 137686 | 39162 37524 52 | 0.000 % |
52.42/52.50 c | 117939 | 720 42676 137686 | 39162 38797 52 | 0.000 % |
52.42/52.57 c | 118040 | 720 42676 137686 | 39162 38898 52 | 0.000 % |
52.52/52.67 c | 118152 | 720 42676 137686 | 39162 39010 52 | 0.000 % |
52.62/52.73 c | 118275 | 720 42676 137686 | 39162 39133 52 | 0.000 % |
52.62/52.78 c | 118409 | 720 42676 137686 | 39162 39267 52 | 0.024 % |
52.72/52.89 c | 118555 | 720 42676 137686 | 39162 35388 50 | 0.000 % |
52.82/52.99 c | 118718 | 720 42676 137686 | 39162 35551 50 | 0.000 % |
52.91/53.07 c | 118897 | 720 42676 137686 | 39162 35730 50 | 0.020 % |
53.01/53.17 c | 119090 | 720 42676 137686 | 39162 35923 50 | 0.020 % |
53.21/53.34 c | 119303 | 720 42676 137686 | 39162 36136 50 | 0.000 % |
53.31/53.49 c | 119537 | 720 42676 137686 | 39162 36370 50 | 0.000 % |
53.41/53.59 c | 119793 | 720 42676 137686 | 39162 36626 50 | 0.000 % |
53.61/53.75 c | 120075 | 720 42676 137686 | 36833 36908 50 | 0.000 % |
53.82/53.96 c | 120386 | 720 42676 137686 | 36833 33455 48 | 0.000 % |
54.01/54.17 c | 120727 | 720 42676 137686 | 36833 33796 48 | 0.000 % |
54.21/54.40 c | 121099 | 720 42676 137686 | 36833 34168 49 | 0.000 % |
54.51/54.65 c | 121509 | 720 42676 137686 | 36833 34578 49 | 0.000 % |
54.71/54.90 c | 121958 | 720 42676 137686 | 36833 35027 50 | 0.000 % |
55.02/55.13 c | 122451 | 720 42676 137686 | 36833 35520 50 | 0.000 % |
55.21/55.36 c | 122996 | 720 42676 137686 | 36833 36065 50 | 0.020 % |
55.51/55.66 c | 123593 | 720 42676 137686 | 36833 36662 50 | 0.000 % |
55.91/56.06 c | 124249 | 720 42676 137686 | 36833 33594 49 | 0.000 % |
56.21/56.30 c | 124969 | 720 42676 137686 | 36833 34314 49 | 0.000 % |
56.51/56.68 c | 125761 | 720 42676 137686 | 36833 35106 50 | 0.019 % |
56.91/57.01 c | 126632 | 720 42676 137686 | 36833 35977 50 | 0.019 % |
57.21/57.38 c | 127590 | 720 42676 137686 | 36833 36935 49 | 0.022 % |
57.81/57.92 c | 128643 | 720 42676 137686 | 36833 34295 50 | 0.000 % |
58.31/58.49 c | 129802 | 720 42676 137686 | 36833 35454 51 | 0.000 % |
58.91/59.03 c | 131075 | 720 42676 137686 | 2147483647 36727 51 | 0.000 % |
59.61/59.77 c | 132475 | 720 42676 137686 | 2147483647 38127 52 | 0.000 % |
59.71/59.84 c | 132575 | 720 42676 137686 | 2147483647 38227 52 | 0.000 % |
59.81/59.91 c | 132685 | 720 42676 137686 | 2147483647 38337 52 | 0.000 % |
59.81/59.99 c | 132806 | 720 42676 137686 | 2147483647 38458 52 | 0.000 % |
59.91/60.06 c | 132939 | 720 42676 137686 | 2147483647 38591 52 | 0.000 % |
60.01/60.14 c | 133086 | 720 42676 137686 | 2147483647 38738 52 | 0.023 % |
60.11/60.26 c | 133246 | 720 42676 137686 | 2147483647 38898 53 | 0.000 % |
60.21/60.33 c | 133423 | 720 42676 137686 | 2147483647 39075 53 | 0.000 % |
60.31/60.45 c | 133617 | 720 42676 137686 | 2147483647 39269 53 | 0.000 % |
60.41/60.56 c | 133829 | 720 42676 137686 | 2147483647 39481 53 | 0.000 % |
60.52/60.69 c | 134063 | 720 42676 137686 | 2147483647 39715 53 | 0.000 % |
60.72/60.86 c | 134320 | 720 42676 137686 | 2147483647 39972 53 | 0.000 % |
60.92/61.03 c | 134605 | 720 42676 137686 | 2147483647 40257 53 | 0.000 % |
61.02/61.19 c | 134915 | 720 42676 137686 | 2147483647 40567 53 | 0.000 % |
61.22/61.35 c | 135254 | 720 42676 137686 | 2147483647 40906 53 | 0.000 % |
61.42/61.51 c | 135626 | 720 42676 137686 | 2147483647 41278 53 | 0.029 % |
61.62/61.70 c | 136035 | 720 42676 137686 | 2147483647 41687 53 | 0.023 % |
61.92/62.03 c | 136484 | 720 42676 137686 | 2147483647 42136 53 | 0.000 % |
62.12/62.29 c | 136978 | 720 42676 137686 | 2147483647 42630 53 | 0.027 % |
62.52/62.64 c | 137521 | 720 42676 137686 | 2147483647 43173 53 | 0.022 % |
62.92/63.05 c | 138117 | 720 42676 137686 | 2147483647 43769 54 | 0.000 % |
63.32/63.47 c | 138775 | 720 42676 137686 | 2147483647 44427 54 | 0.000 % |
63.72/63.86 c | 139496 | 720 42676 137686 | 2147483647 45148 54 | 0.023 % |
64.12/64.22 c | 140288 | 720 42676 137686 | 45652 45940 54 | 0.000 % |
64.61/64.74 c | 141159 | 720 42676 137686 | 45652 41619 54 | 0.000 % |
65.11/65.26 c | 142118 | 720 42676 137686 | 45652 42578 53 | 0.000 % |
65.61/65.75 c | 143174 | 720 42676 137686 | 45652 43634 53 | 0.023 % |
66.21/66.37 c | 144332 | 720 42676 137686 | 45652 44792 53 | 0.000 % |
67.12/67.28 c | 145605 | 720 42676 137686 | 45652 40354 54 | 0.018 % |
67.81/67.93 c | 147006 | 720 42676 137686 | 45652 41755 54 | 0.027 % |
68.81/68.94 c | 148547 | 720 42676 137686 | 45652 43296 55 | 0.000 % |
68.91/69.02 c | 148647 | 720 42676 137686 | 45652 43396 55 | 0.000 % |
69.01/69.10 c | 148757 | 720 42676 137686 | 45652 43506 55 | 0.000 % |
69.01/69.18 c | 148878 | 720 42676 137686 | 45652 43627 55 | 0.022 % |
69.11/69.27 c | 149011 | 720 42676 137686 | 45652 43760 55 | 0.000 % |
69.32/69.41 c | 149161 | 720 42676 137686 | 45652 43910 55 | 0.000 % |
69.41/69.54 c | 149323 | 720 42676 137686 | 45652 44072 55 | 0.000 % |
69.51/69.65 c | 149501 | 720 42676 137686 | 45652 44250 56 | 0.000 % |
69.61/69.79 c | 149694 | 720 42676 137686 | 45652 44443 56 | 0.000 % |
69.81/69.94 c | 149907 | 720 42676 137686 | 45652 44656 56 | 0.000 % |
70.01/70.12 c | 150140 | 720 42676 137686 | 44749 44889 56 | 0.000 % |
70.21/70.30 c | 150397 | 720 42676 137686 | 44749 38937 53 | 0.021 % |
70.32/70.43 c | 150684 | 720 42676 137686 | 44749 39224 53 | 0.000 % |
70.42/70.57 c | 150993 | 720 42676 137686 | 44749 39533 53 | 0.000 % |
70.61/70.75 c | 151333 | 720 42676 137686 | 44749 39873 53 | 0.000 % |
70.81/70.94 c | 151705 | 720 42676 137686 | 44749 40245 53 | 0.000 % |
71.01/71.12 c | 152114 | 720 42676 137686 | 44749 40654 53 | 0.000 % |
71.21/71.35 c | 152564 | 720 42676 137686 | 44749 41104 53 | 0.024 % |
71.61/71.74 c | 153057 | 720 42676 137686 | 44749 41597 53 | 0.000 % |
72.01/72.17 c | 153599 | 720 42676 137686 | 44749 42139 54 | 0.000 % |
72.51/72.62 c | 154196 | 720 42676 137686 | 44749 42736 54 | 0.000 % |
72.91/73.01 c | 154851 | 720 42676 137686 | 44749 43391 54 | 0.025 % |
73.41/73.53 c | 155573 | 720 42676 137686 | 44749 44113 54 | 0.000 % |
74.11/74.22 c | 156365 | 720 42676 137686 | 44749 44905 55 | 0.000 % |
74.81/74.92 c | 157238 | 720 42676 137686 | 44749 39400 54 | 0.000 % |
75.31/75.46 c | 158197 | 720 42676 137686 | 44749 40359 54 | 0.000 % |
75.91/76.06 c | 159250 | 720 42676 137686 | 44749 41412 54 | 0.031 % |
76.61/76.77 c | 160408 | 720 42676 137686 | 42162 42570 54 | 0.000 % |
77.31/77.44 c | 161683 | 720 42676 137686 | 42162 37758 51 | 0.022 % |
78.11/78.24 c | 163084 | 720 42676 137686 | 42162 39159 51 | 0.000 % |
79.01/79.18 c | 164626 | 720 42676 137686 | 42162 40701 53 | 0.000 % |
79.91/80.01 c | 166321 | 720 42676 137686 | 42162 42396 53 | 0.000 % |
79.91/80.09 c | 166422 | 720 42676 137686 | 42162 37323 51 | 0.021 % |
80.00/80.15 c | 166534 | 720 42676 137686 | 42162 37435 52 | 0.021 % |
80.10/80.26 c | 166655 | 720 42676 137686 | 42162 37556 52 | 0.000 % |
80.21/80.36 c | 166792 | 720 42676 137686 | 42162 37693 52 | 0.000 % |
80.31/80.43 c | 166938 | 720 42676 137686 | 42162 37839 52 | 0.000 % |
80.40/80.53 c | 167099 | 720 42676 137686 | 42162 38000 52 | 0.027 % |
80.50/80.63 c | 167275 | 720 42676 137686 | 42162 38176 52 | 0.000 % |
80.60/80.75 c | 167468 | 720 42676 137686 | 42162 38369 52 | 0.000 % |
80.70/80.89 c | 167680 | 720 42676 137686 | 42162 38581 52 | 0.000 % |
80.90/81.02 c | 167916 | 720 42676 137686 | 42162 38817 52 | 0.000 % |
81.00/81.16 c | 168175 | 720 42676 137686 | 42162 39076 52 | 0.000 % |
81.10/81.29 c | 168457 | 720 42676 137686 | 42162 39358 52 | 0.000 % |
81.31/81.47 c | 168768 | 720 42676 137686 | 42162 39669 52 | 0.000 % |
81.50/81.67 c | 169107 | 720 42676 137686 | 42162 40008 52 | 0.000 % |
81.80/81.93 c | 169479 | 720 42676 137686 | 42162 40380 52 | 0.000 % |
82.00/82.16 c | 169889 | 720 42676 137686 | 42162 40790 52 | 0.000 % |
82.30/82.45 c | 170341 | 720 42676 137686 | 40903 41242 52 | 0.000 % |
82.61/82.73 c | 170836 | 720 42676 137686 | 40903 36553 52 | 0.025 % |
82.91/83.04 c | 171379 | 720 42676 137686 | 40903 37096 52 | 0.025 % |
83.21/83.33 c | 171975 | 720 42676 137686 | 40903 37692 52 | 0.000 % |
83.51/83.63 c | 172630 | 720 42676 137686 | 40903 38347 52 | 0.000 % |
83.90/84.02 c | 173353 | 720 42676 137686 | 40903 39070 51 | 0.000 % |
84.30/84.47 c | 174145 | 720 42676 137686 | 40903 39862 51 | 0.026 % |
84.90/85.08 c | 175019 | 720 42676 137686 | 40903 40736 51 | 0.026 % |
85.60/85.77 c | 175979 | 720 42676 137686 | 40903 36822 50 | 0.000 % |
86.30/86.41 c | 177032 | 720 42676 137686 | 40903 37875 50 | 0.026 % |
86.91/87.04 c | 178191 | 720 42676 137686 | 40903 39034 51 | 0.000 % |
87.70/87.88 c | 179465 | 720 42676 137686 | 40903 40308 51 | 0.000 % |
88.60/88.78 c | 180866 | 720 42676 137686 | 40844 36878 50 | 0.024 % |
89.60/89.72 c | 182408 | 720 42676 137686 | 40844 38420 50 | 0.000 % |
90.50/90.62 c | 184103 | 720 42676 137686 | 40844 40115 49 | 0.000 % |
91.30/91.46 c | 185967 | 720 42676 137686 | 40844 37420 47 | 0.000 % |
91.40/91.52 c | 186069 | 720 42676 137686 | 40844 37522 47 | 0.000 % |
91.50/91.61 c | 186179 | 720 42676 137686 | 40844 37632 47 | 0.000 % |
91.50/91.68 c | 186301 | 720 42676 137686 | 40844 37754 47 | 0.000 % |
91.60/91.76 c | 186434 | 720 42676 137686 | 40844 37887 47 | 0.000 % |
91.70/91.85 c | 186580 | 720 42676 137686 | 40844 38033 47 | 0.000 % |
91.80/91.93 c | 186743 | 720 42676 137686 | 40844 38196 47 | 0.000 % |
91.90/92.01 c | 186919 | 720 42676 137686 | 40844 38372 47 | 0.000 % |
92.00/92.13 c | 187112 | 720 42676 137686 | 40844 38565 47 | 0.024 % |
92.10/92.23 c | 187324 | 720 42676 137686 | 40844 38777 47 | 0.024 % |
92.20/92.36 c | 187557 | 720 42676 137686 | 40844 39010 48 | 0.000 % |
92.40/92.52 c | 187814 | 720 42676 137686 | 40844 39267 48 | 0.000 % |
92.50/92.68 c | 188095 | 720 42676 137686 | 40844 39548 48 | 0.000 % |
92.70/92.83 c | 188407 | 720 42676 137686 | 40844 39860 48 | 0.000 % |
92.90/93.03 c | 188746 | 720 42676 137686 | 40844 40199 48 | 0.000 % |
93.10/93.21 c | 189119 | 720 42676 137686 | 40844 40572 48 | 0.000 % |
93.20/93.38 c | 189528 | 720 42676 137686 | 40844 40981 48 | 0.021 % |
93.60/93.70 c | 189978 | 720 42676 137686 | 40844 37039 48 | 0.000 % |
93.90/94.02 c | 190471 | 720 42676 137686 | 37061 33794 46 | 0.000 % |
94.10/94.28 c | 191014 | 720 42676 137686 | 37061 34337 46 | 0.000 % |
94.50/94.64 c | 191610 | 720 42676 137686 | 37061 34933 46 | 0.000 % |
94.90/95.05 c | 192265 | 720 42676 137686 | 37061 35588 47 | 0.000 % |
95.30/95.44 c | 192985 | 720 42676 137686 | 37061 36308 47 | 0.000 % |
95.60/95.77 c | 193777 | 720 42676 137686 | 37061 37100 47 | 0.024 % |
96.10/96.20 c | 194654 | 720 42676 137686 | 37061 34267 46 | 0.024 % |
96.50/96.63 c | 195614 | 720 42676 137686 | 37061 35227 46 | 0.000 % |
96.90/97.10 c | 196667 | 720 42676 137686 | 37061 36280 46 | 0.023 % |
97.50/97.64 c | 197825 | 720 42676 137686 | 37061 33696 47 | 0.000 % |
98.10/98.26 c | 199098 | 720 42676 137686 | 37061 34969 47 | 0.000 % |
99.09/99.22 c | 200498 | 720 42676 137686 | 2147483647 36369 49 | 0.000 % |
99.69/99.88 c | 202042 | 720 42676 137686 | 2147483647 37913 49 | 0.000 % |
100.99/101.17 c | 203737 | 720 42676 137686 | 2147483647 39608 51 | 0.000 % |
102.09/102.21 c | 205600 | 720 42676 137686 | 2147483647 41471 51 | 0.000 % |
103.19/103.32 c | 207649 | 720 42676 137686 | 2147483647 43520 51 | 0.000 % |
103.19/103.38 c | 207749 | 720 42676 137686 | 2147483647 43620 51 | 0.000 % |
103.30/103.43 c | 207859 | 720 42676 137686 | 2147483647 43730 51 | 0.024 % |
103.30/103.49 c | 207980 | 720 42676 137686 | 2147483647 43851 51 | 0.024 % |
103.40/103.58 c | 208116 | 720 42676 137686 | 2147483647 43987 51 | 0.024 % |
103.49/103.67 c | 208262 | 720 42676 137686 | 2147483647 44133 51 | 0.024 % |
103.59/103.77 c | 208424 | 720 42676 137686 | 2147483647 44295 51 | 0.000 % |
103.79/103.91 c | 208600 | 720 42676 137686 | 2147483647 44471 51 | 0.024 % |
103.89/104.02 c | 208795 | 720 42676 137686 | 2147483647 44666 51 | 0.024 % |
103.99/104.17 c | 209009 | 720 42676 137686 | 2147483647 44880 51 | 0.000 % |
104.19/104.37 c | 209242 | 720 42676 137686 | 2147483647 45113 51 | 0.000 % |
104.40/104.56 c | 209499 | 720 42676 137686 | 2147483647 45370 51 | 0.000 % |
104.59/104.76 c | 209782 | 720 42676 137686 | 2147483647 45653 51 | 0.000 % |
104.79/104.96 c | 210096 | 720 42676 137686 | 45871 45967 51 | 0.000 % |
105.09/105.20 c | 210435 | 720 42676 137686 | 45871 41274 50 | 0.000 % |
105.29/105.42 c | 210807 | 720 42676 137686 | 45871 41646 50 | 0.000 % |
105.49/105.62 c | 211216 | 720 42676 137686 | 45871 42055 50 | 0.000 % |
105.69/105.88 c | 211666 | 720 42676 137686 | 45871 42505 50 | 0.000 % |
105.99/106.15 c | 212159 | 720 42676 137686 | 45871 42998 51 | 0.021 % |
106.29/106.46 c | 212706 | 720 42676 137686 | 45871 43545 51 | 0.000 % |
106.69/106.82 c | 213303 | 720 42676 137686 | 45871 44142 51 | 0.000 % |
107.09/107.20 c | 213959 | 720 42676 137686 | 45871 44798 51 | 0.000 % |
107.49/107.63 c | 214680 | 720 42676 137686 | 45871 45519 51 | 0.000 % |
108.09/108.23 c | 215474 | 720 42676 137686 | 45871 40464 50 | 0.000 % |
108.69/108.83 c | 216348 | 720 42676 137686 | 45871 41338 50 | 0.024 % |
109.19/109.35 c | 217306 | 720 42676 137686 | 45871 42296 50 | 0.000 % |
109.79/109.97 c | 218359 | 720 42676 137686 | 45871 43349 50 | 0.000 % |
110.59/110.75 c | 219522 | 720 42676 137686 | 45871 44512 50 | 0.000 % |
111.59/111.74 c | 220795 | 720 42676 137686 | 44991 39437 49 | 0.000 % |
112.39/112.57 c | 222196 | 720 42676 137686 | 44991 40838 50 | 0.022 % |
113.19/113.39 c | 223736 | 720 42676 137686 | 44991 42378 50 | 0.000 % |
114.29/114.49 c | 225430 | 720 42676 137686 | 44991 44072 50 | 0.000 % |
115.59/115.78 c | 227297 | 720 42676 137686 | 44991 39840 51 | 0.025 % |
116.89/117.06 c | 229347 | 720 42676 137686 | 44991 41890 50 | 0.000 % |
118.29/118.44 c | 231600 | 720 42676 137686 | 42545 37893 46 | 0.000 % |
118.39/118.51 c | 231700 | 720 42676 137686 | 42545 37993 46 | 0.019 % |
118.39/118.58 c | 231810 | 720 42676 137686 | 42545 38103 46 | 0.000 % |
118.49/118.68 c | 231934 | 720 42676 137686 | 42545 38227 46 | 0.025 % |
118.59/118.75 c | 232068 | 720 42676 137686 | 42545 38361 46 | 0.019 % |
118.69/118.83 c | 232216 | 720 42676 137686 | 42545 38509 47 | 0.000 % |
118.79/118.92 c | 232377 | 720 42676 137686 | 42545 38670 47 | 0.000 % |
118.88/119.02 c | 232553 | 720 42676 137686 | 42545 38846 47 | 0.025 % |
118.98/119.14 c | 232747 | 720 42676 137686 | 42545 39040 47 | 0.000 % |
119.08/119.23 c | 232959 | 720 42676 137686 | 42545 39252 47 | 0.000 % |
119.18/119.34 c | 233193 | 720 42676 137686 | 42545 39486 47 | 0.000 % |
119.28/119.47 c | 233450 | 720 42676 137686 | 42545 39743 47 | 0.024 % |
119.48/119.60 c | 233733 | 720 42676 137686 | 42545 40026 47 | 0.000 % |
119.58/119.74 c | 234042 | 720 42676 137686 | 42545 40335 47 | 0.024 % |
119.79/119.96 c | 234382 | 720 42676 137686 | 42545 40675 47 | 0.000 % |
120.08/120.20 c | 234754 | 720 42676 137686 | 42545 41047 48 | 0.000 % |
120.28/120.42 c | 235164 | 720 42676 137686 | 42545 41457 48 | 0.020 % |
120.48/120.66 c | 235616 | 720 42676 137686 | 42545 41909 48 | 0.000 % |
120.68/120.86 c | 236109 | 720 42676 137686 | 42545 42402 48 | 0.025 % |
120.99/121.16 c | 236651 | 720 42676 137686 | 42545 37578 47 | 0.021 % |
121.28/121.45 c | 237248 | 720 42676 137686 | 42545 38175 47 | 0.000 % |
121.58/121.76 c | 237903 | 720 42676 137686 | 42545 38830 47 | 0.000 % |
121.99/122.16 c | 238624 | 720 42676 137686 | 42545 39551 47 | 0.021 % |
122.28/122.47 c | 239421 | 720 42676 137686 | 42545 40348 47 | 0.027 % |
122.78/122.96 c | 240292 | 720 42676 137686 | 40927 36391 45 | 0.024 % |
123.28/123.40 c | 241251 | 720 42676 137686 | 40927 37350 45 | 0.025 % |
123.68/123.87 c | 242304 | 720 42676 137686 | 40927 38403 45 | 0.025 % |
124.29/124.41 c | 243464 | 720 42676 137686 | 40927 39563 45 | 0.020 % |
125.08/125.23 c | 244739 | 720 42676 137686 | 40927 40838 45 | 0.000 % |
125.88/126.07 c | 246143 | 720 42676 137686 | 40927 37781 45 | 0.000 % |
126.68/126.82 c | 247683 | 720 42676 137686 | 40927 39321 45 | 0.024 % |
127.58/127.75 c | 249377 | 720 42676 137686 | 40927 41015 45 | 0.024 % |
128.69/128.89 c | 251240 | 720 42676 137686 | 37113 34196 40 | 0.024 % |
129.58/129.80 c | 253289 | 720 42676 137686 | 37113 36245 40 | 0.000 % |
130.68/130.82 c | 255543 | 720 42676 137686 | 37113 34754 39 | 0.000 % |
131.88/132.00 c | 258021 | 720 42676 137686 | 37113 37232 43 | 0.000 % |
131.88/132.08 c | 258121 | 720 42676 137686 | 37113 33609 42 | 0.000 % |
131.98/132.14 c | 258233 | 720 42676 137686 | 37113 33721 42 | 0.022 % |
131.98/132.19 c | 258356 | 720 42676 137686 | 37113 33844 42 | 0.023 % |
132.08/132.25 c | 258489 | 720 42676 137686 | 37113 33977 42 | 0.026 % |
132.18/132.31 c | 258635 | 720 42676 137686 | 37113 34123 42 | 0.000 % |
132.18/132.39 c | 258795 | 720 42676 137686 | 37113 34283 43 | 0.000 % |
132.28/132.49 c | 258973 | 720 42676 137686 | 37113 34461 43 | 0.000 % |
132.38/132.55 c | 259167 | 720 42676 137686 | 37113 34655 43 | 0.021 % |
132.48/132.65 c | 259380 | 720 42676 137686 | 37113 34868 43 | 0.000 % |
132.58/132.74 c | 259613 | 720 42676 137686 | 37113 35101 43 | 0.000 % |
132.68/132.86 c | 259869 | 720 42676 137686 | 37113 35357 43 | 0.000 % |
132.78/132.99 c | 260151 | 720 42676 137686 | 2147483647 35639 43 | 0.024 % |
132.98/133.12 c | 260463 | 720 42676 137686 | 2147483647 35951 43 | 0.000 % |
133.08/133.29 c | 260803 | 720 42676 137686 | 2147483647 36291 43 | 0.000 % |
133.28/133.46 c | 261177 | 720 42676 137686 | 2147483647 36665 43 | 0.000 % |
133.48/133.63 c | 261586 | 720 42676 137686 | 2147483647 37074 43 | 0.023 % |
133.68/133.81 c | 262035 | 720 42676 137686 | 2147483647 37523 44 | 0.000 % |
133.88/134.09 c | 262528 | 720 42676 137686 | 2147483647 38016 44 | 0.000 % |
134.28/134.41 c | 263070 | 720 42676 137686 | 2147483647 38558 45 | 0.000 % |
134.58/134.75 c | 263668 | 720 42676 137686 | 2147483647 39156 46 | 0.000 % |
134.98/135.12 c | 264327 | 720 42676 137686 | 2147483647 39815 45 | 0.025 % |
135.28/135.48 c | 265051 | 720 42676 137686 | 2147483647 40539 46 | 0.025 % |
135.78/135.99 c | 265844 | 720 42676 137686 | 2147483647 41332 47 | 0.000 % |
136.28/136.43 c | 266715 | 720 42676 137686 | 2147483647 42203 47 | 0.000 % |
136.78/136.90 c | 267673 | 720 42676 137686 | 2147483647 43161 47 | 0.023 % |
137.28/137.44 c | 268728 | 720 42676 137686 | 2147483647 44216 47 | 0.023 % |
137.98/138.10 c | 269887 | 720 42676 137686 | 2147483647 45375 48 | 0.000 % |
138.58/138.73 c | 271162 | 720 42676 137686 | 2147483647 46650 48 | 0.000 % |
139.28/139.47 c | 272564 | 720 42676 137686 | 2147483647 48052 48 | 0.000 % |
140.17/140.38 c | 274106 | 720 42676 137686 | 2147483647 49594 50 | 0.000 % |
141.37/141.57 c | 275801 | 720 42676 137686 | 2147483647 51289 50 | 0.000 % |
142.57/142.70 c | 277665 | 720 42676 137686 | 2147483647 53153 50 | 0.000 % |
143.98/144.11 c | 279714 | 720 42676 137686 | 2147483647 55202 50 | 0.019 % |
145.47/145.69 c | 281968 | 720 42676 137686 | 55488 49856 50 | 0.000 % |
147.17/147.33 c | 284446 | 720 42676 137686 | 55488 52334 49 | 0.026 % |
149.17/149.35 c | 287171 | 720 42676 137686 | 55488 55059 49 | 0.000 % |
149.27/149.42 c | 287271 | 720 42676 137686 | 55488 55159 49 | 0.026 % |
149.37/149.51 c | 287381 | 720 42676 137686 | 55488 55269 49 | 0.027 % |
149.37/149.59 c | 287504 | 720 42676 137686 | 55488 55392 49 | 0.027 % |
149.57/149.75 c | 287638 | 720 42676 137686 | 55488 55526 49 | 0.000 % |
149.77/149.93 c | 287784 | 720 42676 137686 | 55488 46027 50 | 0.000 % |
149.87/150.03 c | 287945 | 720 42676 137686 | 55488 46188 50 | 0.000 % |
149.97/150.15 c | 288121 | 720 42676 137686 | 55488 46364 50 | 0.000 % |
150.07/150.26 c | 288314 | 720 42676 137686 | 55488 46557 50 | 0.000 % |
150.27/150.41 c | 288527 | 720 42676 137686 | 55488 46770 50 | 0.000 % |
150.37/150.59 c | 288761 | 720 42676 137686 | 55488 47004 50 | 0.000 % |
150.57/150.80 c | 289018 | 720 42676 137686 | 55488 47261 51 | 0.000 % |
150.87/151.00 c | 289299 | 720 42676 137686 | 55488 47542 51 | 0.000 % |
151.07/151.26 c | 289609 | 720 42676 137686 | 55488 47852 51 | 0.000 % |
151.37/151.53 c | 289948 | 720 42676 137686 | 55488 48191 51 | 0.000 % |
151.67/151.83 c | 290322 | 720 42676 137686 | 48243 48565 51 | 0.000 % |
151.87/152.07 c | 290732 | 720 42676 137686 | 48243 40478 49 | 0.000 % |
152.17/152.31 c | 291181 | 720 42676 137686 | 48243 40927 49 | 0.000 % |
152.37/152.55 c | 291674 | 720 42676 137686 | 48243 41420 49 | 0.000 % |
152.67/152.86 c | 292219 | 720 42676 137686 | 48243 41965 49 | 0.000 % |
152.97/153.19 c | 292819 | 720 42676 137686 | 48243 42565 49 | 0.000 % |
153.47/153.63 c | 293474 | 720 42676 137686 | 48243 43220 50 | 0.000 % |
153.87/154.05 c | 294196 | 720 42676 137686 | 48243 43942 50 | 0.000 % |
154.27/154.49 c | 294994 | 720 42676 137686 | 48243 44740 50 | 0.021 % |
154.87/155.01 c | 295869 | 720 42676 137686 | 48243 45615 50 | 0.000 % |
155.47/155.60 c | 296828 | 720 42676 137686 | 48243 46574 50 | 0.000 % |
156.17/156.33 c | 297885 | 720 42676 137686 | 48243 47631 50 | 0.024 % |
156.97/157.17 c | 299045 | 720 42676 137686 | 48243 41513 47 | 0.024 % |
157.67/157.88 c | 300318 | 720 42676 137686 | 42468 42786 49 | 0.000 % |
158.47/158.62 c | 301718 | 720 42676 137686 | 42468 38024 47 | 0.000 % |
159.27/159.44 c | 303259 | 720 42676 137686 | 42468 39565 48 | 0.000 % |
160.27/160.45 c | 304953 | 720 42676 137686 | 42468 41259 49 | 0.000 % |
161.36/161.57 c | 306819 | 720 42676 137686 | 42468 37931 50 | 0.000 % |
162.46/162.68 c | 308869 | 720 42676 137686 | 42468 39981 50 | 0.000 % |
163.77/163.91 c | 311122 | 720 42676 137686 | 41112 37445 51 | 0.020 % |
164.97/165.14 c | 313601 | 720 42676 137686 | 41112 39924 51 | 0.000 % |
166.36/166.56 c | 316328 | 720 42676 137686 | 41112 38507 52 | 0.000 % |
168.06/168.22 c | 319326 | 720 42676 137686 | 41112 41505 52 | 0.024 % |
168.16/168.30 c | 319428 | 720 42676 137686 | 41112 37225 50 | 0.024 % |
168.16/168.36 c | 319540 | 720 42676 137686 | 41112 37337 50 | 0.000 % |
168.26/168.45 c | 319661 | 720 42676 137686 | 41112 37458 50 | 0.000 % |
168.36/168.53 c | 319795 | 720 42676 137686 | 41112 37592 51 | 0.000 % |
168.46/168.61 c | 319942 | 720 42676 137686 | 41112 37739 51 | 0.000 % |
168.56/168.72 c | 320103 | 720 42676 137686 | 37801 37900 51 | 0.000 % |
168.66/168.84 c | 320281 | 720 42676 137686 | 37801 34084 51 | 0.000 % |
168.76/168.91 c | 320477 | 720 42676 137686 | 37801 34280 51 | 0.026 % |
168.86/169.02 c | 320689 | 720 42676 137686 | 37801 34492 51 | 0.028 % |
168.96/169.13 c | 320923 | 720 42676 137686 | 37801 34726 51 | 0.000 % |
169.06/169.26 c | 321181 | 720 42676 137686 | 37801 34984 51 | 0.000 % |
169.16/169.37 c | 321465 | 720 42676 137686 | 37801 35268 51 | 0.000 % |
169.26/169.50 c | 321776 | 720 42676 137686 | 37801 35579 51 | 0.000 % |
169.46/169.67 c | 322115 | 720 42676 137686 | 37801 35918 51 | 0.000 % |
169.66/169.86 c | 322487 | 720 42676 137686 | 37801 36290 51 | 0.000 % |
169.86/170.06 c | 322897 | 720 42676 137686 | 37801 36700 51 | 0.024 % |
170.16/170.34 c | 323347 | 720 42676 137686 | 37801 37150 51 | 0.000 % |
170.46/170.61 c | 323845 | 720 42676 137686 | 37801 37648 51 | 0.000 % |
170.66/170.87 c | 324387 | 720 42676 137686 | 37801 38190 51 | 0.024 % |
170.96/171.15 c | 324984 | 720 42676 137686 | 37801 34968 50 | 0.024 % |
171.26/171.44 c | 325640 | 720 42676 137686 | 37801 35624 50 | 0.024 % |
171.56/171.74 c | 326362 | 720 42676 137686 | 37801 36346 50 | 0.024 % |
171.95/172.17 c | 327154 | 720 42676 137686 | 37801 37138 50 | 0.024 % |
172.45/172.62 c | 328026 | 720 42676 137686 | 37801 38010 50 | 0.024 % |
173.05/173.29 c | 328985 | 720 42676 137686 | 37801 35168 48 | 0.000 % |
173.66/173.89 c | 330042 | 720 42676 137686 | 2147483647 36225 49 | 0.000 % |
174.35/174.54 c | 331200 | 720 42676 137686 | 2147483647 37383 51 | 0.000 % |
175.05/175.30 c | 332473 | 720 42676 137686 | 2147483647 38656 52 | 0.000 % |
175.86/176.01 c | 333873 | 720 42676 137686 | 2147483647 40056 53 | 0.000 % |
176.65/176.84 c | 335413 | 720 42676 137686 | 2147483647 41596 53 | 0.000 % |
177.45/177.65 c | 337109 | 720 42676 137686 | 2147483647 43292 54 | 0.000 % |
178.45/178.67 c | 338973 | 720 42676 137686 | 2147483647 45156 54 | 0.000 % |
179.65/179.83 c | 341023 | 720 42676 137686 | 2147483647 47206 54 | 0.025 % |
181.35/181.56 c | 343276 | 720 42676 137686 | 2147483647 49459 55 | 0.000 % |
182.75/182.95 c | 345755 | 720 42676 137686 | 2147483647 51938 55 | 0.020 % |
184.75/184.91 c | 348483 | 720 42676 137686 | 2147483647 54666 55 | 0.022 % |
187.55/187.71 c | 351482 | 720 42676 137686 | 56185 47029 54 | 0.000 % |
189.55/189.79 c | 354778 | 720 42676 137686 | 56185 50325 54 | 0.021 % |
189.65/189.87 c | 354882 | 720 42676 137686 | 56185 50429 54 | 0.000 % |
189.75/189.92 c | 354993 | 720 42676 137686 | 56185 50540 54 | 0.000 % |
189.85/190.00 c | 355115 | 720 42676 137686 | 56185 50662 54 | 0.000 % |
189.95/190.11 c | 355248 | 720 42676 137686 | 56185 50795 54 | 0.020 % |
190.05/190.24 c | 355394 | 720 42676 137686 | 56185 50941 54 | 0.000 % |
190.15/190.36 c | 355556 | 720 42676 137686 | 56185 51103 54 | 0.024 % |
190.35/190.56 c | 355732 | 720 42676 137686 | 56185 51279 54 | 0.000 % |
190.45/190.67 c | 355925 | 720 42676 137686 | 56185 51472 54 | 0.000 % |
190.65/190.84 c | 356139 | 720 42676 137686 | 56185 51686 54 | 0.000 % |
190.85/191.02 c | 356372 | 720 42676 137686 | 56185 51919 54 | 0.000 % |
190.95/191.18 c | 356628 | 720 42676 137686 | 56185 52175 54 | 0.022 % |
191.15/191.35 c | 356909 | 720 42676 137686 | 56185 52456 54 | 0.022 % |
191.45/191.69 c | 357221 | 720 42676 137686 | 56185 52768 54 | 0.000 % |
191.75/191.95 c | 357560 | 720 42676 137686 | 56185 53107 54 | 0.000 % |
192.15/192.36 c | 357932 | 720 42676 137686 | 56185 53479 54 | 0.000 % |
192.55/192.74 c | 358343 | 720 42676 137686 | 56185 53890 54 | 0.000 % |
192.85/193.02 c | 358792 | 720 42676 137686 | 56185 54339 54 | 0.000 % |
193.25/193.43 c | 359286 | 720 42676 137686 | 56185 54833 55 | 0.000 % |
193.65/193.88 c | 359829 | 720 42676 137686 | 56185 55376 55 | 0.021 % |
194.14/194.38 c | 360427 | 720 42676 137686 | 55550 45090 54 | 0.000 % |
194.65/194.81 c | 361083 | 720 42676 137686 | 55550 45746 54 | 0.000 % |
195.14/195.31 c | 361803 | 720 42676 137686 | 55550 46466 55 | 0.000 % |
195.65/195.83 c | 362596 | 720 42676 137686 | 55550 47259 55 | 0.000 % |
196.24/196.46 c | 363467 | 720 42676 137686 | 55550 48130 55 | 0.000 % |
197.24/197.46 c | 364429 | 720 42676 137686 | 55550 49092 56 | 0.000 % |
197.74/197.98 c | 365482 | 720 42676 137686 | 55550 50145 56 | 0.000 % |
198.74/198.99 c | 366641 | 720 42676 137686 | 55550 51304 56 | 0.000 % |
199.55/199.78 c | 367914 | 720 42676 137686 | 55550 52577 56 | 0.000 % |
200.75/200.90 c | 369315 | 720 42676 137686 | 55550 53978 56 | 0.025 % |
201.75/201.99 c | 370857 | 720 42676 137686 | 54665 44905 51 | 0.029 % |
202.95/203.14 c | 372552 | 720 42676 137686 | 54665 46600 51 | 0.000 % |
204.55/204.76 c | 374415 | 720 42676 137686 | 54665 48463 53 | 0.000 % |
205.85/206.00 c | 376464 | 720 42676 137686 | 54665 50512 54 | 0.000 % |
207.65/207.87 c | 378718 | 720 42676 137686 | 54665 52766 55 | 0.000 % |
209.55/209.73 c | 381199 | 720 42676 137686 | 54050 45844 54 | 0.000 % |
211.45/211.61 c | 383926 | 720 42676 137686 | 54050 48571 54 | 0.000 % |
213.45/213.68 c | 386923 | 720 42676 137686 | 54050 51568 54 | 0.000 % |
215.95/216.16 c | 390219 | 720 42676 137686 | 44401 44620 54 | 0.000 % |
217.84/218.04 c | 393847 | 720 42676 137686 | 44401 40037 49 | 0.024 % |
217.94/218.10 c | 393948 | 720 42676 137686 | 44401 40138 49 | 0.029 % |
217.94/218.18 c | 394058 | 720 42676 137686 | 44401 40248 49 | 0.000 % |
218.04/218.29 c | 394180 | 720 42676 137686 | 44401 40370 49 | 0.000 % |
218.14/218.36 c | 394314 | 720 42676 137686 | 44401 40504 49 | 0.000 % |
218.24/218.45 c | 394460 | 720 42676 137686 | 44401 40650 49 | 0.024 % |
218.34/218.55 c | 394621 | 720 42676 137686 | 44401 40811 49 | 0.024 % |
218.44/218.65 c | 394801 | 720 42676 137686 | 44401 40991 49 | 0.000 % |
218.54/218.75 c | 394994 | 720 42676 137686 | 44401 41184 49 | 0.000 % |
218.75/218.92 c | 395208 | 720 42676 137686 | 44401 41398 49 | 0.024 % |
218.85/219.05 c | 395442 | 720 42676 137686 | 44401 41632 49 | 0.000 % |
218.94/219.18 c | 395698 | 720 42676 137686 | 44401 41888 49 | 0.000 % |
219.14/219.34 c | 395979 | 720 42676 137686 | 44401 42169 49 | 0.025 % |
219.34/219.57 c | 396289 | 720 42676 137686 | 44401 42479 50 | 0.000 % |
219.64/219.83 c | 396630 | 720 42676 137686 | 44401 42820 50 | 0.000 % |
219.85/220.10 c | 397004 | 720 42676 137686 | 44401 43194 50 | 0.000 % |
220.24/220.40 c | 397413 | 720 42676 137686 | 44401 43603 50 | 0.000 % |
220.44/220.69 c | 397865 | 720 42676 137686 | 44401 44055 51 | 0.000 % |
220.84/221.05 c | 398361 | 720 42676 137686 | 44401 44551 51 | 0.000 % |
221.24/221.41 c | 398903 | 720 42676 137686 | 44401 38026 51 | 0.000 % |
221.54/221.78 c | 399503 | 720 42676 137686 | 44401 38626 51 | 0.000 % |
222.04/222.30 c | 400158 | 720 42676 137686 | 39125 39281 52 | 0.000 % |
222.44/222.65 c | 400879 | 720 42676 137686 | 39125 33969 48 | 0.000 % |
222.84/223.09 c | 401673 | 720 42676 137686 | 39125 34763 48 | 0.000 % |
223.34/223.50 c | 402544 | 720 42676 137686 | 39125 35634 49 | 0.000 % |
223.94/224.11 c | 403502 | 720 42676 137686 | 39125 36592 50 | 0.000 % |
224.54/224.71 c | 404557 | 720 42676 137686 | 39125 37647 51 | 0.000 % |
225.24/225.45 c | 405715 | 720 42676 137686 | 39125 38805 52 | 0.000 % |
226.14/226.35 c | 406988 | 720 42676 137686 | 39125 35419 52 | 0.000 % |
226.84/227.03 c | 408388 | 720 42676 137686 | 39125 36819 52 | 0.000 % |
227.94/228.11 c | 409929 | 720 42676 137686 | 39125 38360 53 | 0.000 % |
229.04/229.28 c | 411626 | 720 42676 137686 | 38431 35240 53 | 0.000 % |
230.24/230.41 c | 413494 | 720 42676 137686 | 38431 37108 54 | 0.000 % |
231.44/231.69 c | 415544 | 720 42676 137686 | 38431 34316 55 | 0.000 % |
232.94/233.19 c | 417797 | 720 42676 137686 | 38431 36569 57 | 0.000 % |
234.54/234.77 c | 420275 | 720 42676 137686 | 38772 39047 57 | 0.000 % |
236.23/236.48 c | 423001 | 720 42676 137686 | 38772 36382 58 | 0.000 % |
238.54/238.74 c | 426000 | 720 42676 137686 | 38772 33436 58 | 0.000 % |
241.13/241.35 c | 429298 | 720 42676 137686 | 38772 36734 60 | 0.000 % |
243.33/243.58 c | 432926 | 720 42676 137686 | 37437 34393 57 | 0.000 % |
245.73/245.95 c | 436915 | 720 42676 137686 | 37437 33620 56 | 0.000 % |
245.83/246.02 c | 437015 | 720 42676 137686 | 37437 33720 56 | 0.020 % |
245.93/246.14 c | 437127 | 720 42676 137686 | 37437 33832 57 | 0.000 % |
246.03/246.25 c | 437250 | 720 42676 137686 | 37437 33955 57 | 0.000 % |
246.13/246.34 c | 437384 | 720 42676 137686 | 37437 34089 57 | 0.000 % |
246.23/246.44 c | 437530 | 720 42676 137686 | 37437 34235 57 | 0.000 % |
246.43/246.60 c | 437693 | 720 42676 137686 | 37437 34398 57 | 0.000 % |
246.53/246.74 c | 437869 | 720 42676 137686 | 37437 34574 57 | 0.000 % |
246.63/246.90 c | 438062 | 720 42676 137686 | 37437 34767 57 | 0.000 % |
246.83/247.09 c | 438277 | 720 42676 137686 | 37437 34982 57 | 0.000 % |
247.03/247.27 c | 438511 | 720 42676 137686 | 37437 35216 58 | 0.000 % |
247.23/247.46 c | 438767 | 720 42676 137686 | 37437 35472 58 | 0.000 % |
247.43/247.67 c | 439048 | 720 42676 137686 | 37437 35753 58 | 0.000 % |
247.83/248.00 c | 439358 | 720 42676 137686 | 37437 36063 58 | 0.000 % |
248.03/248.24 c | 439697 | 720 42676 137686 | 37437 36402 58 | 0.000 % |
248.23/248.47 c | 440073 | 720 42676 137686 | 36706 36778 59 | 0.000 % |
248.63/248.85 c | 440483 | 720 42676 137686 | 36706 32480 57 | 0.000 % |
248.93/249.14 c | 440932 | 720 42676 137686 | 36706 32929 57 | 0.000 % |
249.33/249.51 c | 441427 | 720 42676 137686 | 36706 33424 57 | 0.000 % |
249.63/249.81 c | 441969 | 720 42676 137686 | 36706 33966 57 | 0.000 % |
249.93/250.17 c | 442567 | 720 42676 137686 | 36706 34564 57 | 0.000 % |
250.43/250.66 c | 443223 | 720 42676 137686 | 36706 35220 58 | 0.000 % |
250.93/251.18 c | 443943 | 720 42676 137686 | 36706 35940 58 | 0.000 % |
251.63/251.89 c | 444735 | 720 42676 137686 | 36706 36732 59 | 0.000 % |
252.23/252.49 c | 445608 | 720 42676 137686 | 36706 32321 58 | 0.021 % |
253.13/253.37 c | 446566 | 720 42676 137686 | 36706 33279 58 | 0.000 % |
254.03/254.22 c | 447621 | 720 42676 137686 | 36706 34334 59 | 0.000 % |
254.73/254.93 c | 448783 | 720 42676 137686 | 36706 35496 59 | 0.024 % |
255.43/255.65 c | 450056 | 720 42676 137686 | 36714 36769 59 | 0.024 % |
256.73/256.93 c | 451459 | 720 42676 137686 | 36714 32923 55 | 0.000 % |
258.12/258.36 c | 453001 | 720 42676 137686 | 36714 34465 55 | 0.000 % |
259.43/259.65 c | 454697 | 720 42676 137686 | 36714 36161 57 | 0.000 % |
260.53/260.74 c | 456562 | 720 42676 137686 | 36714 32531 56 | 0.000 % |
262.32/262.56 c | 458612 | 720 42676 137686 | 36714 34581 58 | 0.000 % |
264.32/264.51 c | 460865 | 720 42676 137686 | 35969 31366 57 | 0.000 % |
265.82/266.02 c | 463347 | 720 42676 137686 | 35969 33848 58 | 0.019 % |
267.72/267.99 c | 466076 | 720 42676 137686 | 35969 31778 56 | 0.000 % |
270.12/270.30 c | 469073 | 720 42676 137686 | 35969 34775 58 | 0.000 % |
272.72/272.97 c | 472370 | 720 42676 137686 | 35703 32865 60 | 0.000 % |
274.92/275.15 c | 475996 | 720 42676 137686 | 35703 31267 59 | 0.000 % |
276.82/277.06 c | 479984 | 720 42676 137686 | 35703 35255 60 | 0.000 % |
278.92/279.14 c | 484370 | 720 42676 137686 | 35271 35008 57 | 0.022 % |
279.02/279.21 c | 484470 | 720 42676 137686 | 35271 35108 57 | 0.022 % |
279.02/279.27 c | 484580 | 720 42676 137686 | 35271 35218 57 | 0.000 % |
279.11/279.34 c | 484703 | 720 42676 137686 | 35271 35341 57 | 0.000 % |
279.22/279.46 c | 484836 | 720 42676 137686 | 35271 31940 55 | 0.000 % |
279.32/279.52 c | 484983 | 720 42676 137686 | 35271 32087 55 | 0.000 % |
279.41/279.62 c | 485143 | 720 42676 137686 | 35271 32247 55 | 0.020 % |
279.51/279.70 c | 485323 | 720 42676 137686 | 35271 32427 55 | 0.027 % |
279.61/279.80 c | 485516 | 720 42676 137686 | 35271 32620 55 | 0.000 % |
279.71/279.96 c | 485728 | 720 42676 137686 | 35271 32832 55 | 0.000 % |
279.91/280.10 c | 485961 | 720 42676 137686 | 35271 33065 55 | 0.000 % |
280.11/280.30 c | 486219 | 720 42676 137686 | 35271 33323 56 | 0.000 % |
280.21/280.46 c | 486500 | 720 42676 137686 | 35271 33604 56 | 0.000 % |
280.51/280.70 c | 486810 | 720 42676 137686 | 35271 33914 56 | 0.000 % |
280.71/280.97 c | 487149 | 720 42676 137686 | 35271 34253 56 | 0.000 % |
281.01/281.27 c | 487521 | 720 42676 137686 | 35271 34625 56 | 0.000 % |
281.42/281.66 c | 487932 | 720 42676 137686 | 35271 35036 57 | 0.000 % |
281.61/281.88 c | 488385 | 720 42676 137686 | 35271 35489 57 | 0.000 % |
282.01/282.27 c | 488878 | 720 42676 137686 | 35271 32190 57 | 0.000 % |
282.31/282.55 c | 489420 | 720 42676 137686 | 35271 32732 57 | 0.000 % |
282.71/282.94 c | 490016 | 720 42676 137686 | 33315 33328 58 | 0.000 % |
283.11/283.37 c | 490674 | 720 42676 137686 | 33315 30267 55 | 0.000 % |
283.61/283.87 c | 491395 | 720 42676 137686 | 33315 30988 55 | 0.000 % |
284.01/284.27 c | 492188 | 720 42676 137686 | 33315 31781 55 | 0.000 % |
284.51/284.75 c | 493059 | 720 42676 137686 | 33315 32652 55 | 0.000 % |
285.31/285.52 c | 494017 | 720 42676 137686 | 33315 30156 54 | 0.000 % |
286.01/286.29 c | 495070 | 720 42676 137686 | 33315 31209 54 | 0.000 % |
286.91/287.16 c | 496229 | 720 42676 137686 | 33315 32368 55 | 0.000 % |
287.61/287.84 c | 497504 | 720 42676 137686 | 33315 33643 55 | 0.000 % |
288.71/288.91 c | 498904 | 720 42676 137686 | 33315 31679 55 | 0.000 % |
289.51/289.73 c | 500445 | 720 42676 137686 | 2147483647 33220 56 | 0.000 % |
290.60/290.89 c | 502140 | 720 42676 137686 | 2147483647 34915 56 | 0.020 % |
291.60/291.80 c | 504004 | 720 42676 137686 | 2147483647 36779 56 | 0.020 % |
293.00/293.28 c | 506053 | 720 42676 137686 | 2147483647 38828 58 | 0.000 % |
294.80/295.09 c | 508308 | 720 42676 137686 | 2147483647 41083 59 | 0.000 % |
296.50/296.71 c | 510786 | 720 42676 137686 | 42779 38992 60 | 0.000 % |
297.70/297.98 c | 513511 | 720 42676 137686 | 42779 41717 60 | 0.025 % |
300.30/300.55 c | 516512 | 720 42676 137686 | 42779 40356 61 | 0.000 % |
302.50/302.72 c | 519808 | 720 42676 137686 | 42779 38380 61 | 0.000 % |
304.60/304.88 c | 523436 | 720 42676 137686 | 38573 36780 60 | 0.000 % |
307.31/307.54 c | 527423 | 720 42676 137686 | 38573 35714 59 | 0.023 % |
310.31/310.51 c | 531809 | 720 42676 137686 | 38300 34738 57 | 0.023 % |
313.11/313.37 c | 536633 | 720 42676 137686 | 38300 33742 52 | 0.000 % |
313.21/313.43 c | 536733 | 720 42676 137686 | 38300 33842 52 | 0.000 % |
313.21/313.49 c | 536843 | 720 42676 137686 | 38300 33952 52 | 0.000 % |
313.31/313.55 c | 536964 | 720 42676 137686 | 38300 34073 52 | 0.023 % |
313.41/313.62 c | 537100 | 720 42676 137686 | 38300 34209 52 | 0.025 % |
313.41/313.69 c | 537247 | 720 42676 137686 | 38300 34356 52 | 0.000 % |
313.51/313.79 c | 537407 | 720 42676 137686 | 38300 34516 52 | 0.025 % |
313.61/313.88 c | 537584 | 720 42676 137686 | 38300 34693 52 | 0.000 % |
313.81/314.02 c | 537780 | 720 42676 137686 | 38300 34889 52 | 0.000 % |
313.91/314.11 c | 537993 | 720 42676 137686 | 38300 35102 52 | 0.000 % |
314.01/314.24 c | 538226 | 720 42676 137686 | 38300 35335 52 | 0.000 % |
314.11/314.34 c | 538483 | 720 42676 137686 | 38300 35592 52 | 0.000 % |
314.20/314.47 c | 538764 | 720 42676 137686 | 38300 35873 52 | 0.026 % |
314.41/314.62 c | 539075 | 720 42676 137686 | 38300 36184 52 | 0.019 % |
314.60/314.85 c | 539414 | 720 42676 137686 | 38300 36523 52 | 0.000 % |
314.90/315.18 c | 539787 | 720 42676 137686 | 38300 36896 53 | 0.000 % |
315.30/315.58 c | 540196 | 720 42676 137686 | 37112 32489 51 | 0.000 % |
315.61/315.83 c | 540646 | 720 42676 137686 | 37112 32939 52 | 0.000 % |
315.90/316.11 c | 541139 | 720 42676 137686 | 37112 33432 52 | 0.000 % |
316.20/316.40 c | 541681 | 720 42676 137686 | 37112 33974 52 | 0.000 % |
316.40/316.67 c | 542278 | 720 42676 137686 | 37112 34571 52 | 0.000 % |
316.61/316.90 c | 542933 | 720 42676 137686 | 37112 35226 52 | 0.000 % |
316.90/317.19 c | 543653 | 720 42676 137686 | 37112 35946 52 | 0.021 % |
317.30/317.56 c | 544451 | 720 42676 137686 | 37112 36744 52 | 0.027 % |
317.71/317.98 c | 545326 | 720 42676 137686 | 37112 33874 49 | 0.000 % |
318.10/318.39 c | 546284 | 720 42676 137686 | 37112 34832 50 | 0.000 % |
318.50/318.77 c | 547338 | 720 42676 137686 | 37112 35886 50 | 0.000 % |
319.10/319.31 c | 548498 | 720 42676 137686 | 37112 37046 50 | 0.000 % |
319.70/319.91 c | 549771 | 720 42676 137686 | 37112 34574 48 | 0.000 % |
320.20/320.48 c | 551174 | 720 42676 137686 | 2147483647 35977 48 | 0.000 % |
320.90/321.16 c | 552717 | 720 42676 137686 | 2147483647 37520 49 | 0.000 % |
321.80/322.02 c | 554411 | 720 42676 137686 | 2147483647 39214 49 | 0.000 % |
322.70/322.98 c | 556274 | 720 42676 137686 | 2147483647 41077 49 | 0.026 % |
323.90/324.19 c | 558327 | 720 42676 137686 | 2147483647 43130 48 | 0.019 % |
325.50/325.72 c | 560582 | 720 42676 137686 | 2147483647 45385 48 | 0.019 % |
327.10/327.37 c | 563061 | 720 42676 137686 | 2147483647 47864 50 | 0.000 % |
328.90/329.17 c | 565789 | 720 42676 137686 | 2147483647 50592 53 | 0.000 % |
331.10/331.34 c | 568790 | 720 42676 137686 | 2147483647 53593 53 | 0.024 % |
333.50/333.77 c | 572088 | 720 42676 137686 | 54805 49023 52 | 0.024 % |
335.90/336.18 c | 575715 | 720 42676 137686 | 54805 52650 55 | 0.000 % |
338.90/339.10 c | 579702 | 720 42676 137686 | 54805 48752 56 | 0.022 % |
341.50/341.72 c | 584088 | 720 42676 137686 | 49051 46104 56 | 0.000 % |
345.59/345.85 c | 588911 | 720 42676 137686 | 49051 43729 61 | 0.000 % |
348.99/349.25 c | 594218 | 720 42676 137686 | 44818 42426 63 | 0.000 % |
349.09/349.32 c | 594318 | 720 42676 137686 | 44818 42526 63 | 0.023 % |
349.09/349.39 c | 594429 | 720 42676 137686 | 44818 42637 63 | 0.000 % |
349.19/349.48 c | 594550 | 720 42676 137686 | 44818 42758 63 | 0.022 % |
349.39/349.61 c | 594686 | 720 42676 137686 | 44818 42894 63 | 0.000 % |
349.49/349.70 c | 594833 | 720 42676 137686 | 44818 43041 63 | 0.000 % |
349.49/349.79 c | 594995 | 720 42676 137686 | 44818 43203 63 | 0.000 % |
349.70/349.91 c | 595171 | 720 42676 137686 | 44818 43379 63 | 0.000 % |
349.79/350.06 c | 595364 | 720 42676 137686 | 44818 43572 63 | 0.000 % |
349.99/350.20 c | 595579 | 720 42676 137686 | 44818 43787 63 | 0.000 % |
350.19/350.40 c | 595815 | 720 42676 137686 | 44818 44023 63 | 0.000 % |
350.29/350.58 c | 596072 | 720 42676 137686 | 44818 44280 63 | 0.000 % |
350.59/350.81 c | 596353 | 720 42676 137686 | 44818 44561 63 | 0.000 % |
350.79/351.05 c | 596663 | 720 42676 137686 | 44818 44871 63 | 0.000 % |
350.99/351.24 c | 597006 | 720 42676 137686 | 44818 38803 60 | 0.000 % |
351.29/351.54 c | 597379 | 720 42676 137686 | 44818 39176 61 | 0.000 % |
351.49/351.73 c | 597790 | 720 42676 137686 | 44818 39587 61 | 0.022 % |
351.69/351.97 c | 598241 | 720 42676 137686 | 44818 40038 61 | 0.000 % |
351.99/352.26 c | 598735 | 720 42676 137686 | 44818 40532 61 | 0.000 % |
352.29/352.57 c | 599277 | 720 42676 137686 | 44818 41074 60 | 0.000 % |
352.69/352.91 c | 599876 | 720 42676 137686 | 44818 41673 60 | 0.000 % |
352.99/353.28 c | 600532 | 720 42676 137686 | 41800 36829 59 | 0.029 % |
353.49/353.71 c | 601252 | 720 42676 137686 | 41800 37549 60 | 0.000 % |
353.79/354.09 c | 602048 | 720 42676 137686 | 41800 38345 59 | 0.000 % |
354.39/354.69 c | 602919 | 720 42676 137686 | 41800 39216 60 | 0.000 % |
355.19/355.44 c | 603878 | 720 42676 137686 | 41800 40175 61 | 0.000 % |
355.89/356.13 c | 604933 | 720 42676 137686 | 41800 41230 61 | 0.000 % |
356.59/356.81 c | 606092 | 720 42676 137686 | 41800 36642 59 | 0.000 % |
357.59/357.87 c | 607366 | 720 42676 137686 | 41800 37916 61 | 0.000 % |
358.49/358.70 c | 608766 | 720 42676 137686 | 41800 39316 61 | 0.000 % |
359.38/359.70 c | 610306 | 720 42676 137686 | 40550 40856 60 | 0.022 % |
360.28/360.57 c | 612003 | 720 42676 137686 | 40550 36965 58 | 0.000 % |
361.69/361.92 c | 613867 | 720 42676 137686 | 40550 38829 60 | 0.000 % |
362.89/363.14 c | 615916 | 720 42676 137686 | 40550 35702 56 | 0.000 % |
364.08/364.39 c | 618169 | 720 42676 137686 | 40550 37955 57 | 0.000 % |
365.68/365.97 c | 620647 | 720 42676 137686 | 39786 35922 57 | 0.000 % |
367.29/367.55 c | 623372 | 720 42676 137686 | 39786 38647 57 | 0.000 % |
369.18/369.45 c | 626369 | 720 42676 137686 | 39786 37338 55 | 0.000 % |
370.88/371.20 c | 629666 | 720 42676 137686 | 39786 36538 54 | 0.000 % |
372.88/373.14 c | 633292 | 720 42676 137686 | 36872 36452 52 | 0.000 % |
374.98/375.24 c | 637279 | 720 42676 137686 | 36872 36712 50 | 0.000 % |
377.18/377.41 c | 641666 | 720 42676 137686 | 2147483647 37373 48 | 0.020 % |
379.68/379.95 c | 646492 | 720 42676 137686 | 2147483647 42199 48 | 0.000 % |
382.18/382.49 c | 651797 | 720 42676 137686 | 45707 42258 44 | 0.021 % |
385.67/385.93 c | 657632 | 720 42676 137686 | 45707 42334 42 | 0.028 % |
385.77/386.00 c | 657734 | 720 42676 137686 | 45707 42436 42 | 0.000 % |
385.77/386.08 c | 657845 | 720 42676 137686 | 45707 42547 42 | 0.028 % |
385.88/386.16 c | 657967 | 720 42676 137686 | 45707 42669 42 | 0.024 % |
385.98/386.24 c | 658101 | 720 42676 137686 | 45707 42803 42 | 0.024 % |
386.07/386.35 c | 658248 | 720 42676 137686 | 45707 42950 42 | 0.024 % |
386.17/386.45 c | 658409 | 720 42676 137686 | 45707 43111 42 | 0.000 % |
386.27/386.54 c | 658587 | 720 42676 137686 | 45707 43289 42 | 0.000 % |
386.37/386.67 c | 658782 | 720 42676 137686 | 45707 43484 42 | 0.000 % |
386.47/386.78 c | 658995 | 720 42676 137686 | 45707 43697 42 | 0.000 % |
386.57/386.89 c | 659228 | 720 42676 137686 | 45707 43930 43 | 0.000 % |
386.67/386.98 c | 659484 | 720 42676 137686 | 45707 44186 43 | 0.000 % |
386.87/387.10 c | 659765 | 720 42676 137686 | 45707 44467 43 | 0.020 % |
386.98/387.26 c | 660074 | 720 42676 137686 | 44704 44776 43 | 0.020 % |
387.17/387.46 c | 660413 | 720 42676 137686 | 44704 39661 43 | 0.000 % |
387.37/387.63 c | 660785 | 720 42676 137686 | 44704 40033 43 | 0.000 % |
387.57/387.83 c | 661194 | 720 42676 137686 | 44704 40442 43 | 0.000 % |
387.77/388.09 c | 661643 | 720 42676 137686 | 44704 40891 43 | 0.000 % |
388.08/388.34 c | 662140 | 720 42676 137686 | 44704 41388 44 | 0.000 % |
388.37/388.62 c | 662683 | 720 42676 137686 | 44704 41931 44 | 0.024 % |
388.67/388.94 c | 663281 | 720 42676 137686 | 44704 42529 44 | 0.000 % |
389.07/389.34 c | 663936 | 720 42676 137686 | 44704 43184 44 | 0.000 % |
389.47/389.79 c | 664658 | 720 42676 137686 | 44704 43906 44 | 0.028 % |
389.97/390.21 c | 665451 | 720 42676 137686 | 44704 44699 44 | 0.000 % |
390.57/390.81 c | 666322 | 720 42676 137686 | 44704 40780 44 | 0.019 % |
391.07/391.31 c | 667283 | 720 42676 137686 | 44704 41741 44 | 0.000 % |
391.57/391.85 c | 668337 | 720 42676 137686 | 44704 42795 44 | 0.000 % |
392.17/392.49 c | 669495 | 720 42676 137686 | 44704 43953 45 | 0.000 % |
392.97/393.26 c | 670769 | 720 42676 137686 | 44459 40616 44 | 0.000 % |
393.57/393.90 c | 672170 | 720 42676 137686 | 44459 42017 45 | 0.000 % |
394.27/394.50 c | 673714 | 720 42676 137686 | 44459 43561 46 | 0.018 % |
395.07/395.34 c | 675411 | 720 42676 137686 | 44459 40773 45 | 0.000 % |
395.97/396.27 c | 677274 | 720 42676 137686 | 44459 42636 45 | 0.025 % |
397.07/397.33 c | 679325 | 720 42676 137686 | 44459 44687 45 | 0.025 % |
398.37/398.67 c | 681578 | 720 42676 137686 | 40668 37857 46 | 0.022 % |
399.57/399.82 c | 684061 | 720 42676 137686 | 40668 40340 50 | 0.000 % |
401.37/401.61 c | 686789 | 720 42676 137686 | 40668 38983 54 | 0.000 % |
403.36/403.62 c | 689787 | 720 42676 137686 | 40668 37886 56 | 0.000 % |
405.16/405.43 c | 693083 | 720 42676 137686 | 38100 37338 56 | 0.000 % |
407.46/407.78 c | 696708 | 720 42676 137686 | 38100 37118 60 | 0.000 % |
409.76/410.05 c | 700699 | 720 42676 137686 | 2147483647 37257 61 | 0.000 % |
412.26/412.60 c | 705085 | 720 42676 137686 | 2147483647 41643 60 | 0.000 % |
415.66/415.95 c | 709908 | 720 42676 137686 | 2147483647 46466 62 | 0.000 % |
419.06/419.38 c | 715214 | 720 42676 137686 | 46559 45751 64 | 0.000 % |
422.86/423.19 c | 721051 | 720 42676 137686 | 43392 37602 56 | 0.000 % |
428.16/428.46 c | 727469 | 720 42676 137686 | 43392 38274 57 | 0.000 % |
428.26/428.54 c | 727574 | 720 42676 137686 | 43392 38379 57 | 0.000 % |
428.36/428.64 c | 727685 | 720 42676 137686 | 43392 38490 57 | 0.000 % |
428.46/428.72 c | 727807 | 720 42676 137686 | 43392 38612 58 | 0.000 % |
428.56/428.80 c | 727940 | 720 42676 137686 | 43392 38745 58 | 0.000 % |
428.56/428.89 c | 728090 | 720 42676 137686 | 43392 38895 58 | 0.000 % |
428.76/429.03 c | 728250 | 720 42676 137686 | 43392 39055 58 | 0.000 % |
428.86/429.16 c | 728430 | 720 42676 137686 | 43392 39235 58 | 0.000 % |
428.95/429.30 c | 728625 | 720 42676 137686 | 43392 39430 58 | 0.000 % |
429.15/429.42 c | 728838 | 720 42676 137686 | 43392 39643 58 | 0.000 % |
429.25/429.55 c | 729073 | 720 42676 137686 | 43392 39878 58 | 0.026 % |
429.45/429.76 c | 729330 | 720 42676 137686 | 43392 40135 58 | 0.000 % |
429.65/429.92 c | 729611 | 720 42676 137686 | 43392 40416 58 | 0.000 % |
429.75/430.08 c | 729921 | 720 42676 137686 | 43392 40726 58 | 0.000 % |
430.05/430.30 c | 730260 | 720 42676 137686 | 40805 41065 58 | 0.021 % |
430.25/430.54 c | 730634 | 720 42676 137686 | 40805 36171 58 | 0.016 % |
430.45/430.78 c | 731046 | 720 42676 137686 | 40805 36583 58 | 0.000 % |
430.85/431.15 c | 731501 | 720 42676 137686 | 40805 37038 58 | 0.000 % |
431.15/431.49 c | 731994 | 720 42676 137686 | 40805 37531 59 | 0.000 % |
431.45/431.76 c | 732537 | 720 42676 137686 | 40805 38074 59 | 0.000 % |
431.95/432.26 c | 733134 | 720 42676 137686 | 40805 38671 59 | 0.000 % |
432.35/432.67 c | 733789 | 720 42676 137686 | 40805 39326 59 | 0.000 % |
432.75/433.06 c | 734510 | 720 42676 137686 | 40805 40047 59 | 0.000 % |
433.45/433.75 c | 735302 | 720 42676 137686 | 40805 40839 60 | 0.000 % |
434.05/434.30 c | 736173 | 720 42676 137686 | 40805 36986 59 | 0.000 % |
434.55/434.86 c | 737131 | 720 42676 137686 | 40805 37944 59 | 0.000 % |
435.15/435.48 c | 738184 | 720 42676 137686 | 40805 38997 59 | 0.019 % |
435.95/436.28 c | 739342 | 720 42676 137686 | 40805 40155 60 | 0.000 % |
436.75/437.05 c | 740617 | 720 42676 137686 | 40815 36830 58 | 0.000 % |
437.55/437.81 c | 742018 | 720 42676 137686 | 40815 38231 57 | 0.019 % |
438.55/438.83 c | 743560 | 720 42676 137686 | 40815 39773 59 | 0.000 % |
439.85/440.11 c | 745254 | 720 42676 137686 | 40815 36814 60 | 0.000 % |
441.04/441.32 c | 747117 | 720 42676 137686 | 40815 38677 61 | 0.000 % |
442.34/442.69 c | 749166 | 720 42676 137686 | 40815 40726 61 | 0.000 % |
443.75/444.09 c | 751419 | 720 42676 137686 | 36300 33114 57 | 0.023 % |
445.25/445.57 c | 753897 | 720 42676 137686 | 36300 35592 57 | 0.023 % |
446.94/447.27 c | 756623 | 720 42676 137686 | 36300 34342 57 | 0.000 % |
448.84/449.16 c | 759621 | 720 42676 137686 | 36300 33362 55 | 0.000 % |
450.54/450.86 c | 762918 | 720 42676 137686 | 33742 32913 54 | 0.000 % |
452.65/452.97 c | 766543 | 720 42676 137686 | 33742 33136 56 | 0.000 % |
454.85/455.11 c | 770531 | 720 42676 137686 | 2147483647 33708 57 | 0.000 % |
457.85/458.10 c | 774916 | 720 42676 137686 | 2147483647 38093 61 | 0.000 % |
461.44/461.75 c | 779740 | 720 42676 137686 | 2147483647 42917 62 | 0.000 % |
465.05/465.30 c | 785045 | 720 42676 137686 | 2147483647 48222 63 | 0.000 % |
470.84/471.16 c | 790880 | 720 42676 137686 | 53178 44775 66 | 0.000 % |
476.34/476.65 c | 797300 | 720 42676 137686 | 53178 51195 67 | 0.000 % |
481.13/481.44 c | 804359 | 720 42676 137686 | 42784 38372 59 | 0.000 % |
481.23/481.51 c | 804460 | 720 42676 137686 | 42784 38473 59 | 0.000 % |
481.23/481.59 c | 804570 | 720 42676 137686 | 42784 38583 59 | 0.000 % |
481.33/481.69 c | 804692 | 720 42676 137686 | 42784 38705 59 | 0.000 % |
481.43/481.77 c | 804829 | 720 42676 137686 | 42784 38842 59 | 0.000 % |
481.54/481.85 c | 804975 | 720 42676 137686 | 42784 38988 59 | 0.029 % |
481.64/481.96 c | 805135 | 720 42676 137686 | 42784 39148 59 | 0.000 % |
481.73/482.03 c | 805314 | 720 42676 137686 | 42784 39327 59 | 0.029 % |
481.83/482.16 c | 805507 | 720 42676 137686 | 42784 39520 59 | 0.029 % |
482.03/482.30 c | 805719 | 720 42676 137686 | 42784 39732 59 | 0.000 % |
482.13/482.45 c | 805952 | 720 42676 137686 | 42784 39965 59 | 0.000 % |
482.33/482.62 c | 806209 | 720 42676 137686 | 42784 40222 59 | 0.020 % |
482.53/482.81 c | 806493 | 720 42676 137686 | 42784 40506 59 | 0.000 % |
482.64/482.95 c | 806802 | 720 42676 137686 | 42784 40815 59 | 0.000 % |
482.83/483.16 c | 807142 | 720 42676 137686 | 42784 41155 59 | 0.000 % |
483.03/483.35 c | 807516 | 720 42676 137686 | 42784 41529 58 | 0.000 % |
483.33/483.62 c | 807930 | 720 42676 137686 | 42784 41943 59 | 0.000 % |
483.53/483.88 c | 808379 | 720 42676 137686 | 42784 42392 59 | 0.000 % |
484.03/484.30 c | 808872 | 720 42676 137686 | 42784 42885 59 | 0.021 % |
484.33/484.65 c | 809414 | 720 42676 137686 | 42784 36600 57 | 0.000 % |
484.73/485.03 c | 810011 | 720 42676 137686 | 37189 37197 57 | 0.000 % |
485.13/485.46 c | 810666 | 720 42676 137686 | 37189 32039 54 | 0.000 % |
485.53/485.88 c | 811386 | 720 42676 137686 | 37189 32759 54 | 0.000 % |
485.94/486.28 c | 812178 | 720 42676 137686 | 37189 33551 55 | 0.000 % |
486.33/486.61 c | 813050 | 720 42676 137686 | 37189 34423 55 | 0.029 % |
486.93/487.24 c | 814009 | 720 42676 137686 | 37189 35382 56 | 0.000 % |
487.73/488.02 c | 815062 | 720 42676 137686 | 37189 36435 58 | 0.000 % |
488.63/488.97 c | 816221 | 720 42676 137686 | 37189 33319 55 | 0.000 % |
489.23/489.55 c | 817495 | 720 42676 137686 | 37189 34593 55 | 0.000 % |
490.13/490.42 c | 818896 | 720 42676 137686 | 37189 35994 55 | 0.021 % |
491.03/491.36 c | 820437 | 720 42676 137686 | 37098 33427 53 | 0.000 % |
492.03/492.31 c | 822132 | 720 42676 137686 | 37098 35122 54 | 0.000 % |
493.03/493.38 c | 823995 | 720 42676 137686 | 37098 36985 54 | 0.000 % |
494.33/494.70 c | 826046 | 720 42676 137686 | 37098 35144 55 | 0.018 % |
496.23/496.53 c | 828299 | 720 42676 137686 | 37098 33166 58 | 0.000 % |
497.63/497.95 c | 830778 | 720 42676 137686 | 34867 32102 60 | 0.000 % |
499.13/499.43 c | 833503 | 720 42676 137686 | 34867 34827 61 | 0.000 % |
501.43/501.70 c | 836501 | 720 42676 137686 | 34867 34317 63 | 0.000 % |
503.72/504.03 c | 839798 | 720 42676 137686 | 34867 34036 63 | 0.000 % |
506.12/506.49 c | 843426 | 720 42676 137686 | 2147483647 37664 64 | 0.000 % |
509.52/509.81 c | 847414 | 720 42676 137686 | 2147483647 41652 65 | 0.000 % |
512.02/512.33 c | 851799 | 720 42676 137686 | 44239 39892 64 | 0.000 % |
514.82/515.12 c | 856624 | 720 42676 137686 | 44239 39110 62 | 0.000 % |
518.42/518.72 c | 861929 | 720 42676 137686 | 42490 39080 60 | 0.021 % |
522.52/522.85 c | 867764 | 720 42676 137686 | 42490 39473 57 | 0.021 % |
526.52/526.84 c | 874182 | 720 42676 137686 | 41714 40009 54 | 0.000 % |
530.32/530.65 c | 881241 | 720 42676 137686 | 40164 36145 50 | 0.024 % |
535.02/535.32 c | 889006 | 720 42676 137686 | 40164 38422 49 | 0.022 % |
535.12/535.41 c | 889106 | 720 42676 137686 | 40164 38522 49 | 0.000 % |
535.12/535.49 c | 889216 | 720 42676 137686 | 40164 38632 49 | 0.000 % |
535.22/535.55 c | 889337 | 720 42676 137686 | 40164 38753 49 | 0.000 % |
535.32/535.62 c | 889470 | 720 42676 137686 | 40164 38886 50 | 0.000 % |
535.42/535.72 c | 889618 | 720 42676 137686 | 40164 39034 50 | 0.000 % |
535.52/535.82 c | 889778 | 720 42676 137686 | 40164 39194 50 | 0.020 % |
535.52/535.89 c | 889956 | 720 42676 137686 | 40164 39372 50 | 0.000 % |
535.62/535.99 c | 890149 | 720 42676 137686 | 39416 39565 50 | 0.024 % |
535.82/536.14 c | 890361 | 720 42676 137686 | 39416 34612 47 | 0.000 % |
535.92/536.26 c | 890595 | 720 42676 137686 | 39416 34846 47 | 0.000 % |
536.12/536.41 c | 890851 | 720 42676 137686 | 39416 35102 48 | 0.000 % |
536.22/536.54 c | 891132 | 720 42676 137686 | 39416 35383 48 | 0.000 % |
536.32/536.66 c | 891443 | 720 42676 137686 | 39416 35694 48 | 0.000 % |
536.52/536.83 c | 891784 | 720 42676 137686 | 39416 36035 48 | 0.000 % |
536.72/537.02 c | 892161 | 720 42676 137686 | 39416 36412 48 | 0.000 % |
536.82/537.18 c | 892570 | 720 42676 137686 | 39416 36821 48 | 0.000 % |
537.02/537.38 c | 893019 | 720 42676 137686 | 39416 37270 48 | 0.000 % |
537.32/537.65 c | 893512 | 720 42676 137686 | 39416 37763 49 | 0.000 % |
537.62/537.94 c | 894057 | 720 42676 137686 | 39416 38308 49 | 0.000 % |
537.92/538.25 c | 894653 | 720 42676 137686 | 39416 38904 50 | 0.000 % |
538.22/538.58 c | 895309 | 720 42676 137686 | 39416 39560 50 | 0.000 % |
538.72/539.02 c | 896032 | 720 42676 137686 | 39416 36327 50 | 0.000 % |
539.12/539.41 c | 896824 | 720 42676 137686 | 39416 37119 50 | 0.000 % |
539.52/539.84 c | 897696 | 720 42676 137686 | 39416 37991 51 | 0.000 % |
539.92/540.24 c | 898654 | 720 42676 137686 | 39416 38949 51 | 0.000 % |
540.42/540.76 c | 899708 | 720 42676 137686 | 39416 36028 51 | 0.000 % |
540.92/541.28 c | 900866 | 720 42676 137686 | 2147483647 37186 51 | 0.000 % |
541.41/541.80 c | 902139 | 720 42676 137686 | 2147483647 38459 51 | 0.000 % |
542.12/542.49 c | 903539 | 720 42676 137686 | 2147483647 39859 51 | 0.000 % |
543.01/543.33 c | 905080 | 720 42676 137686 | 2147483647 41400 53 | 0.000 % |
544.01/544.34 c | 906774 | 720 42676 137686 | 2147483647 43094 54 | 0.000 % |
545.01/545.37 c | 908639 | 720 42676 137686 | 2147483647 44959 55 | 0.000 % |
546.21/546.59 c | 910688 | 720 42676 137686 | 2147483647 47008 54 | 0.000 % |
547.81/548.19 c | 912944 | 720 42676 137686 | 2147483647 49264 54 | 0.000 % |
549.82/550.17 c | 915422 | 720 42676 137686 | 2147483647 51742 54 | 0.000 % |
551.92/552.29 c | 918152 | 720 42676 137686 | 2147483647 54472 54 | 0.019 % |
554.01/554.31 c | 921150 | 720 42676 137686 | 56320 47475 53 | 0.024 % |
556.21/556.59 c | 924447 | 720 42676 137686 | 56320 50772 53 | 0.024 % |
559.11/559.47 c | 928072 | 720 42676 137686 | 56320 54397 52 | 0.000 % |
562.51/562.80 c | 932060 | 720 42676 137686 | 56326 46997 54 | 0.000 % |
566.01/566.40 c | 936445 | 720 42676 137686 | 56326 51382 56 | 0.000 % |
569.70/570.05 c | 941268 | 720 42676 137686 | 54937 45908 55 | 0.000 % |
572.81/573.14 c | 946575 | 720 42676 137686 | 54937 51215 55 | 0.000 % |
577.40/577.71 c | 952410 | 720 42676 137686 | 54641 47827 57 | 0.000 % |
581.71/582.03 c | 958828 | 720 42676 137686 | 54641 54245 56 | 0.000 % |
586.00/586.39 c | 965888 | 720 42676 137686 | 45449 43061 56 | 0.024 % |
591.10/591.44 c | 973652 | 720 42676 137686 | 38949 35888 47 | 0.024 % |
595.80/596.19 c | 982192 | 720 42676 137686 | 36385 33439 38 | 0.000 % |
595.90/596.24 c | 982293 | 720 42676 137686 | 36385 33540 38 | 0.024 % |
595.90/596.28 c | 982403 | 720 42676 137686 | 36385 33650 38 | 0.020 % |
596.00/596.32 c | 982526 | 720 42676 137686 | 36385 33773 38 | 0.028 % |
596.00/596.38 c | 982659 | 720 42676 137686 | 36385 33906 38 | 0.000 % |
596.10/596.43 c | 982807 | 720 42676 137686 | 36385 34054 38 | 0.000 % |
596.10/596.48 c | 982968 | 720 42676 137686 | 36385 34215 38 | 0.000 % |
596.19/596.56 c | 983150 | 720 42676 137686 | 36385 34397 39 | 0.000 % |
596.29/596.65 c | 983344 | 720 42676 137686 | 36385 34591 39 | 0.000 % |
596.39/596.73 c | 983558 | 720 42676 137686 | 36385 34805 39 | 0.025 % |
596.49/596.83 c | 983791 | 720 42676 137686 | 36385 35038 39 | 0.000 % |
596.59/596.90 c | 984047 | 720 42676 137686 | 36385 35294 39 | 0.000 % |
596.69/597.02 c | 984330 | 720 42676 137686 | 36385 35577 40 | 0.000 % |
596.79/597.12 c | 984640 | 720 42676 137686 | 36385 35887 40 | 0.000 % |
596.89/597.23 c | 984979 | 720 42676 137686 | 36385 36226 40 | 0.000 % |
597.00/597.37 c | 985351 | 720 42676 137686 | 36385 36598 40 | 0.022 % |
597.19/597.59 c | 985760 | 720 42676 137686 | 36385 33348 40 | 0.000 % |
597.39/597.76 c | 986211 | 720 42676 137686 | 36385 33799 40 | 0.025 % |
597.59/597.94 c | 986705 | 720 42676 137686 | 36385 34293 40 | 0.025 % |
597.79/598.10 c | 987250 | 720 42676 137686 | 36385 34838 40 | 0.000 % |
597.99/598.33 c | 987853 | 720 42676 137686 | 36385 35441 40 | 0.025 % |
598.20/598.54 c | 988509 | 720 42676 137686 | 36385 36097 40 | 0.025 % |
598.59/598.98 c | 989230 | 720 42676 137686 | 36385 33148 41 | 0.000 % |
598.79/599.19 c | 990022 | 720 42676 137686 | 2147483647 33940 41 | 0.000 % |
599.20/599.54 c | 990893 | 720 42676 137686 | 2147483647 34811 42 | 0.000 % |
599.59/599.93 c | 991851 | 720 42676 137686 | 2147483647 35769 43 | 0.000 % |
599.99/600.38 c | 992905 | 720 42676 137686 | 2147483647 36823 44 | 0.000 % |
600.59/600.91 c | 994066 | 720 42676 137686 | 2147483647 37984 44 | 0.000 % |
601.19/601.52 c | 995339 | 720 42676 137686 | 2147483647 39257 45 | 0.000 % |
601.79/602.15 c | 996742 | 720 42676 137686 | 2147483647 40660 46 | 0.000 % |
602.59/602.98 c | 998285 | 720 42676 137686 | 2147483647 42203 48 | 0.000 % |
603.59/603.90 c | 999980 | 720 42676 137686 | 2147483647 43898 49 | 0.000 % |
604.59/604.94 c | 1001844 | 720 42676 137686 | 2147483647 45762 50 | 0.000 % |
605.69/606.10 c | 1003896 | 720 42676 137686 | 2147483647 47814 50 | 0.022 % |
607.19/607.54 c | 1006149 | 720 42676 137686 | 2147483647 50067 50 | 0.016 % |
608.69/609.01 c | 1008628 | 720 42676 137686 | 2147483647 52546 50 | 0.000 % |
610.49/610.81 c | 1011353 | 720 42676 137686 | 2147483647 55271 50 | 0.000 % |
612.28/612.63 c | 1014350 | 720 42676 137686 | 2147483647 58268 50 | 0.000 % |
614.08/614.41 c | 1017646 | 720 42676 137686 | 2147483647 61564 50 | 0.000 % |
616.79/617.19 c | 1021273 | 720 42676 137686 | 63918 56899 51 | 0.023 % |
619.68/620.00 c | 1025260 | 720 42676 137686 | 63918 60886 51 | 0.000 % |
622.48/622.85 c | 1029647 | 720 42676 137686 | 63918 54576 52 | 0.000 % |
624.98/625.35 c | 1034470 | 720 42676 137686 | 54931 50221 49 | 0.000 % |
628.08/628.46 c | 1039775 | 720 42676 137686 | 54931 47664 45 | 0.000 % |
631.08/631.42 c | 1045610 | 720 42676 137686 | 47889 46815 43 | 0.025 % |
635.18/635.51 c | 1052030 | 720 42676 137686 | 45044 40840 41 | 0.024 % |
638.88/639.20 c | 1059091 | 720 42676 137686 | 45044 43227 47 | 0.000 % |
642.98/643.40 c | 1066856 | 720 42676 137686 | 2147483647 50992 53 | 0.000 % |
648.87/649.22 c | 1075396 | 720 42676 137686 | 54137 53556 58 | 0.000 % |
654.97/655.38 c | 1084790 | 720 42676 137686 | 50142 47064 66 | 0.000 % |
655.07/655.44 c | 1084891 | 720 42676 137686 | 50142 47165 66 | 0.000 % |
655.17/655.51 c | 1085004 | 720 42676 137686 | 50142 47278 66 | 0.000 % |
655.28/655.62 c | 1085125 | 720 42676 137686 | 50142 47399 66 | 0.000 % |
655.38/655.71 c | 1085259 | 720 42676 137686 | 50142 47533 66 | 0.000 % |
655.47/655.82 c | 1085406 | 720 42676 137686 | 50142 47680 66 | 0.021 % |
655.57/655.92 c | 1085566 | 720 42676 137686 | 50142 47840 66 | 0.021 % |
655.67/656.01 c | 1085742 | 720 42676 137686 | 50142 48016 66 | 0.000 % |
655.77/656.17 c | 1085935 | 720 42676 137686 | 50142 48209 66 | 0.000 % |
655.87/656.29 c | 1086147 | 720 42676 137686 | 50142 48421 66 | 0.020 % |
656.07/656.44 c | 1086381 | 720 42676 137686 | 50142 48655 66 | 0.000 % |
656.17/656.58 c | 1086637 | 720 42676 137686 | 50142 48911 66 | 0.000 % |
656.38/656.71 c | 1086919 | 720 42676 137686 | 50142 49193 66 | 0.000 % |
656.57/656.90 c | 1087228 | 720 42676 137686 | 50142 49502 65 | 0.000 % |
656.77/657.13 c | 1087568 | 720 42676 137686 | 50142 49842 65 | 0.022 % |
657.17/657.56 c | 1087942 | 720 42676 137686 | 50142 50216 66 | 0.000 % |
657.47/657.89 c | 1088352 | 720 42676 137686 | 50142 42589 69 | 0.028 % |
657.77/658.19 c | 1088802 | 720 42676 137686 | 50142 43039 69 | 0.000 % |
658.17/658.54 c | 1089299 | 720 42676 137686 | 50142 43536 69 | 0.000 % |
658.57/658.93 c | 1089843 | 720 42676 137686 | 50142 44080 69 | 0.000 % |
658.97/659.36 c | 1090442 | 720 42676 137686 | 44239 37715 66 | 0.000 % |
659.37/659.73 c | 1091097 | 720 42676 137686 | 44239 38370 65 | 0.000 % |
659.87/660.28 c | 1091818 | 720 42676 137686 | 44239 39091 66 | 0.000 % |
660.37/660.76 c | 1092611 | 720 42676 137686 | 44239 39884 66 | 0.000 % |
660.87/661.24 c | 1093482 | 720 42676 137686 | 44239 40755 66 | 0.000 % |
661.37/661.75 c | 1094440 | 720 42676 137686 | 44239 41713 66 | 0.000 % |
662.07/662.41 c | 1095495 | 720 42676 137686 | 44239 42768 66 | 0.000 % |
662.67/663.05 c | 1096653 | 720 42676 137686 | 44239 43926 66 | 0.000 % |
663.37/663.78 c | 1097927 | 720 42676 137686 | 44239 38461 62 | 0.000 % |
664.27/664.60 c | 1099330 | 720 42676 137686 | 44239 39864 61 | 0.000 % |
665.06/665.42 c | 1100871 | 720 42676 137686 | 40534 35649 58 | 0.019 % |
665.96/666.38 c | 1102570 | 720 42676 137686 | 40534 37348 57 | 0.024 % |
667.56/667.95 c | 1104433 | 720 42676 137686 | 40534 39211 59 | 0.000 % |
668.76/669.12 c | 1106482 | 720 42676 137686 | 40534 36288 57 | 0.000 % |
669.86/670.23 c | 1108735 | 720 42676 137686 | 40534 38541 57 | 0.000 % |
671.16/671.53 c | 1111214 | 720 42676 137686 | 39807 36531 54 | 0.000 % |
672.56/672.94 c | 1113939 | 720 42676 137686 | 39807 39256 53 | 0.023 % |
674.07/674.48 c | 1116936 | 720 42676 137686 | 39807 37664 52 | 0.023 % |
675.96/676.30 c | 1120233 | 720 42676 137686 | 36442 36674 51 | 0.000 % |
677.66/678.03 c | 1123858 | 720 42676 137686 | 36442 36459 49 | 0.023 % |
679.56/679.93 c | 1127845 | 720 42676 137686 | 36442 33123 48 | 0.026 % |
681.56/681.95 c ===============================================================================
681.56/681.95 c restarts : 1267
681.56/681.95 c conflicts : 1131805 (1661 /sec)
681.56/681.95 c decisions : 1701074 (1.06 % random) (2497 /sec)
681.56/681.95 c propagations : 100344119 (147271 /sec)
681.56/681.95 c conflict literals : 70888670 (41.35 % deleted)
681.56/681.95 c Memory used : 23.65 MB
681.56/681.95 c CPU time : 681.355 s
681.56/681.95 c
681.56/681.95 s SATISFIABLE
681.56/681.96 s SATISFIABLE
681.56/681.96 v -1 -2 3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 35 -36 -37 -38 -39 -40 -41 42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 61 -62 -63 -64 -65 -66 -67 -68 -69 -70 -71 -72 -73 -74 -75 -76 77 -78 -79 -80 -81 -82 -83 -84 -85 -86 -87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 -115 -116 -117 -118 -119 -120 -121 -122 -123 -124 125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 -141 -142 -143 -144 145 -146 -147 -148 -149 -150 -151 -152 -153 -154 155 -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 -176 -177 -178 -179 -180 -181 -182 -183 -184 185 -186 -187 -188 -189 -190 -191 -192 -193 194 -195 -196 -197 -198 -199 -200 -201 -202 -203 -204 -205 -206 -207 -208 -209 -210 -211 -212 -213 -214 -215 -216 -217 -218 219 -220 -221 -222 -223 -224 -225 -226 -227 -228 -229 230 -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 -245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 258 -259 -260 -261 -262 -263 -264 -265 -266 -267 268 -269 -270 -271 -272 -273 -274 -275 -276 -277 -278 -279 -280 -281 -282 -283 -284 -285 -286 -287 -288 -289 -290 -291 -292 -293 -294 -295 296 -297 -298 -299 -300 -301 -302 -303 -304 -305 -306 -307 -308 -309 -310 -311 312 -313 -314 -315 -316 -317 -318 -319 -320 -321 -322 -323 -324 -325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 -338 -339 -340 341 -342 -343 -344 -345 -346 -347 348 -349 -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 -362 -363 -364 -365 -366 -367 -368 -369 -370 371 -372 -373 -374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 415 -416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 -441 -442 -443 -444 -445 -446 -447 -448 -449 450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 464 -465 -466 -467 -468 -469 -470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 488 -489 -490 -491 -492 -493 -494 -495 -496 -497 -498 -499 -500 501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 521 -522 -523 -524 -525 -526 -527 -528 -529 -530 -531 -532 -533 -534 -535 -536 -537 538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 -562 -563 -564 -565 -566 -567 568 -569 -570 -571 -572 -573 -574 -575 -576 577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 594 -595 -596 -597 -598 -599 -600 -601 -602 -603 -604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -619 -620 -621 -622 -623 -624 -625 626 -627 -628 -629 -630 -631 -632 -633 634 -635 -636 -637 -638 -639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 -665 -666 -667 -668 -669 -670 671 -672 -673 -674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709 -710 -711 -712 -713 -714 -715 -716 -717 -718 719 -720 -721 -722 -723 -724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 736 -737 -738 -739 -740 -741 -742 -743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 758 -759 -760 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834107-1242828054/watcher-1834107-1242828054 -o /tmp/evaluation-result-1834107-1242828054/solver-1834107-1242828054 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834107-1242828054.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20285
/proc/meminfo: memFree=1802016/2055920 swapFree=4179336/4192956
[pid=20285] ppid=20283 vsize=5356 CPUtime=0
/proc/20285/stat : 20285 (SatELiteGTI) S 20283 20285 20004 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310833871 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20285/statm: 1339 237 197 169 0 50 0
[startup+0.106584 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20285
/proc/meminfo: memFree=1802016/2055920 swapFree=4179336/4192956
[pid=20285] ppid=20283 vsize=5356 CPUtime=0
/proc/20285/stat : 20285 (SatELiteGTI) S 20283 20285 20004 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310833871 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20285/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.201602 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20285
/proc/meminfo: memFree=1802016/2055920 swapFree=4179336/4192956
[pid=20285] ppid=20283 vsize=5356 CPUtime=0.17
/proc/20285/stat : 20285 (SatELiteGTI) S 20283 20285 20004 0 -1 4194304 336 1252 0 0 0 0 16 1 16 0 1 0 310833871 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20285/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 5356
[startup+0.301616 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20285
/proc/meminfo: memFree=1802016/2055920 swapFree=4179336/4192956
[pid=20285] ppid=20283 vsize=5356 CPUtime=0.17
/proc/20285/stat : 20285 (SatELiteGTI) S 20283 20285 20004 0 -1 4194304 336 1252 0 0 0 0 16 1 16 0 1 0 310833871 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20285/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 5356
[startup+0.701674 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20285
/proc/meminfo: memFree=1802016/2055920 swapFree=4179336/4192956
[pid=20285] ppid=20283 vsize=5356 CPUtime=0.17
/proc/20285/stat : 20285 (SatELiteGTI) S 20283 20285 20004 0 -1 4194304 336 1252 0 0 0 0 16 1 16 0 1 0 310833871 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20285/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 5356
[startup+1.50279 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20291
/proc/meminfo: memFree=1796112/2055920 swapFree=4179336/4192956
[pid=20285] ppid=20283 vsize=5356 CPUtime=0.17
/proc/20285/stat : 20285 (SatELiteGTI) S 20283 20285 20004 0 -1 4194304 336 1252 0 0 0 0 16 1 16 0 1 0 310833871 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20285/statm: 1339 239 197 169 0 50 0
[pid=20291] ppid=20285 vsize=6848 CPUtime=1.3
/proc/20291/stat : 20291 (minisat_static) R 20285 20285 20004 0 -1 4194304 1488 0 0 0 129 1 0 0 25 0 1 0 310833890 7012352 1474 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20291/statm: 1712 1474 77 171 0 1539 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12204
[startup+3.10202 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20291
/proc/meminfo: memFree=1794256/2055920 swapFree=4179336/4192956
[pid=20285] ppid=20283 vsize=5356 CPUtime=0.17
/proc/20285/stat : 20285 (SatELiteGTI) S 20283 20285 20004 0 -1 4194304 336 1252 0 0 0 0 16 1 16 0 1 0 310833871 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20285/statm: 1339 239 197 169 0 50 0
[pid=20291] ppid=20285 vsize=8828 CPUtime=2.89
/proc/20291/stat : 20291 (minisat_static) R 20285 20285 20004 0 -1 4194304 1994 0 0 0 288 1 0 0 25 0 1 0 310833890 9039872 1980 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20291/statm: 2207 1980 77 171 0 2034 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 14184
[startup+6.30149 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20291
/proc/meminfo: memFree=1790672/2055920 swapFree=4179336/4192956
[pid=20285] ppid=20283 vsize=5356 CPUtime=0.17
/proc/20285/stat : 20285 (SatELiteGTI) S 20283 20285 20004 0 -1 4194304 336 1252 0 0 0 0 16 1 16 0 1 0 310833871 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20285/statm: 1339 239 197 169 0 50 0
[pid=20291] ppid=20285 vsize=11896 CPUtime=6.09
/proc/20291/stat : 20291 (minisat_static) R 20285 20285 20004 0 -1 4194304 2769 0 0 0 607 2 0 0 25 0 1 0 310833890 12181504 2755 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/20291/statm: 2974 2755 77 171 0 2801 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 17252
[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20297
/proc/meminfo: memFree=1786072/2055920 swapFree=4179336/4192956
[pid=20285] ppid=20283 vsize=5356 CPUtime=0.17
/proc/20285/stat : 20285 (SatELiteGTI) S 20283 20285 20004 0 -1 4194304 336 1252 0 0 0 0 16 1 16 0 1 0 310833871 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20285/statm: 1339 239 197 169 0 50 0
[pid=20291] ppid=20285 vsize=15944 CPUtime=12.48
/proc/20291/stat : 20291 (minisat_static) R 20285 20285 20004 0 -1 4194304 3761 0 0 0 1245 3 0 0 25 0 1 0 310833890 16326656 3747 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20291/statm: 3986 3747 77 171 0 3813 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 21300
[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20297
/proc/meminfo: memFree=1782360/2055920 swapFree=4179336/4192956
[pid=20285] ppid=20283 vsize=5356 CPUtime=0.17
/proc/20285/stat : 20285 (SatELiteGTI) S 20283 20285 20004 0 -1 4194304 336 1252 0 0 0 0 16 1 16 0 1 0 310833871 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20285/statm: 1339 239 197 169 0 50 0
[pid=20291] ppid=20285 vsize=19524 CPUtime=25.26
/proc/20291/stat : 20291 (minisat_static) R 20285 20285 20004 0 -1 4194304 4660 0 0 0 2522 4 0 0 25 0 1 0 310833890 19992576 4646 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20291/statm: 4881 4646 77 171 0 4708 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 24880
[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20297
/proc/meminfo: memFree=1782232/2055920 swapFree=4179336/4192956
[pid=20285] ppid=20283 vsize=5356 CPUtime=0.17
/proc/20285/stat : 20285 (SatELiteGTI) S 20283 20285 20004 0 -1 4194304 336 1252 0 0 0 0 16 1 16 0 1 0 310833871 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20285/statm: 1339 239 197 169 0 50 0
[pid=20291] ppid=20285 vsize=19656 CPUtime=50.85
/proc/20291/stat : 20291 (minisat_static) R 20285 20285 20004 0 -1 4194304 4700 0 0 0 5081 4 0 0 25 0 1 0 310833890 20127744 4686 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/20291/statm: 4914 4686 77 171 0 4741 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 25012
[startup+102.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20297
/proc/meminfo: memFree=1782168/2055920 swapFree=4179336/4192956
[pid=20285] ppid=20283 vsize=5356 CPUtime=0.17
/proc/20285/stat : 20285 (SatELiteGTI) S 20283 20285 20004 0 -1 4194304 336 1252 0 0 0 0 16 1 16 0 1 0 310833871 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20285/statm: 1339 239 197 169 0 50 0
[pid=20291] ppid=20285 vsize=19656 CPUtime=102.03
/proc/20291/stat : 20291 (minisat_static) R 20285 20285 20004 0 -1 4194304 4700 0 0 0 10198 5 0 0 25 0 1 0 310833890 20127744 4686 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20291/statm: 4914 4686 77 171 0 4741 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 25012
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20297
/proc/meminfo: memFree=1782040/2055920 swapFree=4179336/4192956
[pid=20285] ppid=20283 vsize=5356 CPUtime=0.17
/proc/20285/stat : 20285 (SatELiteGTI) S 20283 20285 20004 0 -1 4194304 336 1252 0 0 0 0 16 1 16 0 1 0 310833871 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20285/statm: 1339 239 197 169 0 50 0
[pid=20291] ppid=20285 vsize=19804 CPUtime=161.99
/proc/20291/stat : 20291 (minisat_static) R 20285 20285 20004 0 -1 4194304 4728 0 0 0 16194 5 0 0 25 0 1 0 310833890 20279296 4714 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20291/statm: 4951 4714 77 171 0 4778 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 25160
[startup+222.305 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 20297
/proc/meminfo: memFree=1781016/2055920 swapFree=4179336/4192956
[pid=20285] ppid=20283 vsize=5356 CPUtime=0.17
/proc/20285/stat : 20285 (SatELiteGTI) S 20283 20285 20004 0 -1 4194304 336 1252 0 0 0 0 16 1 16 0 1 0 310833871 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20285/statm: 1339 239 197 169 0 50 0
[pid=20291] ppid=20285 vsize=20752 CPUtime=221.97
/proc/20291/stat : 20291 (minisat_static) R 20285 20285 20004 0 -1 4194304 4973 0 0 0 22191 6 0 0 25 0 1 0 310833890 21250048 4959 1992294400 134512640 135215339 4294956240 18446744073709551615 134545663 0 0 4096 3 0 0 0 17 1 0 0
/proc/20291/statm: 5188 4959 77 171 0 5015 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 26108
[startup+282.302 s]
/proc/loadavg: 1.06 1.02 1.00 2/66 20297
/proc/meminfo: memFree=1780696/2055920 swapFree=4179336/4192956
[pid=20285] ppid=20283 vsize=5356 CPUtime=0.17
/proc/20285/stat : 20285 (SatELiteGTI) S 20283 20285 20004 0 -1 4194304 336 1252 0 0 0 0 16 1 16 0 1 0 310833871 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20285/statm: 1339 239 197 169 0 50 0
[pid=20291] ppid=20285 vsize=21020 CPUtime=281.94
/proc/20291/stat : 20291 (minisat_static) R 20285 20285 20004 0 -1 4194304 5038 0 0 0 28188 6 0 0 25 0 1 0 310833890 21524480 5024 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20291/statm: 5255 5024 77 171 0 5082 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 26376
[startup+342.303 s]
/proc/loadavg: 1.02 1.02 1.00 2/66 20297
/proc/meminfo: memFree=1780312/2055920 swapFree=4179336/4192956
[pid=20285] ppid=20283 vsize=5356 CPUtime=0.17
/proc/20285/stat : 20285 (SatELiteGTI) S 20283 20285 20004 0 -1 4194304 336 1252 0 0 0 0 16 1 16 0 1 0 310833871 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20285/statm: 1339 239 197 169 0 50 0
[pid=20291] ppid=20285 vsize=21436 CPUtime=341.93
/proc/20291/stat : 20291 (minisat_static) R 20285 20285 20004 0 -1 4194304 5124 0 0 0 34186 7 0 0 25 0 1 0 310833890 21950464 5110 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/20291/statm: 5359 5110 77 171 0 5186 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 26792
[startup+402.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 20297
/proc/meminfo: memFree=1780120/2055920 swapFree=4179336/4192956
[pid=20285] ppid=20283 vsize=5356 CPUtime=0.17
/proc/20285/stat : 20285 (SatELiteGTI) S 20283 20285 20004 0 -1 4194304 336 1252 0 0 0 0 16 1 16 0 1 0 310833871 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20285/statm: 1339 239 197 169 0 50 0
[pid=20291] ppid=20285 vsize=21568 CPUtime=401.89
/proc/20291/stat : 20291 (minisat_static) R 20285 20285 20004 0 -1 4194304 5161 0 0 0 40182 7 0 0 25 0 1 0 310833890 22085632 5147 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/20291/statm: 5392 5147 77 171 0 5219 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 26924
[startup+462.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 20297
/proc/meminfo: memFree=1780056/2055920 swapFree=4179336/4192956
[pid=20285] ppid=20283 vsize=5356 CPUtime=0.17
/proc/20285/stat : 20285 (SatELiteGTI) S 20283 20285 20004 0 -1 4194304 336 1252 0 0 0 0 16 1 16 0 1 0 310833871 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20285/statm: 1339 239 197 169 0 50 0
[pid=20291] ppid=20285 vsize=21568 CPUtime=461.87
/proc/20291/stat : 20291 (minisat_static) R 20285 20285 20004 0 -1 4194304 5166 0 0 0 46179 8 0 0 25 0 1 0 310833890 22085632 5152 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20291/statm: 5392 5152 77 171 0 5219 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 26924
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20297
/proc/meminfo: memFree=1777560/2055920 swapFree=4179336/4192956
[pid=20285] ppid=20283 vsize=5356 CPUtime=0.17
/proc/20285/stat : 20285 (SatELiteGTI) S 20283 20285 20004 0 -1 4194304 336 1252 0 0 0 0 16 1 16 0 1 0 310833871 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20285/statm: 1339 239 197 169 0 50 0
[pid=20291] ppid=20285 vsize=24092 CPUtime=521.85
/proc/20291/stat : 20291 (minisat_static) R 20285 20285 20004 0 -1 4194304 5782 0 0 0 52176 9 0 0 25 0 1 0 310833890 24670208 5768 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20291/statm: 6023 5768 77 171 0 5850 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 29448
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20297
/proc/meminfo: memFree=1777496/2055920 swapFree=4179336/4192956
[pid=20285] ppid=20283 vsize=5356 CPUtime=0.17
/proc/20285/stat : 20285 (SatELiteGTI) S 20283 20285 20004 0 -1 4194304 336 1252 0 0 0 0 16 1 16 0 1 0 310833871 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20285/statm: 1339 239 197 169 0 50 0
[pid=20291] ppid=20285 vsize=24092 CPUtime=581.83
/proc/20291/stat : 20291 (minisat_static) R 20285 20285 20004 0 -1 4194304 5783 0 0 0 58174 9 0 0 25 0 1 0 310833890 24670208 5769 1992294400 134512640 135215339 4294956240 18446744073709551615 134542512 0 0 4096 3 0 0 0 17 1 0 0
/proc/20291/statm: 6023 5769 77 171 0 5850 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 29448
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20297
/proc/meminfo: memFree=1777432/2055920 swapFree=4179336/4192956
[pid=20285] ppid=20283 vsize=5356 CPUtime=0.17
/proc/20285/stat : 20285 (SatELiteGTI) S 20283 20285 20004 0 -1 4194304 336 1252 0 0 0 0 16 1 16 0 1 0 310833871 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20285/statm: 1339 239 197 169 0 50 0
[pid=20291] ppid=20285 vsize=24212 CPUtime=641.81
/proc/20291/stat : 20291 (minisat_static) R 20285 20285 20004 0 -1 4194304 5787 0 0 0 64172 9 0 0 25 0 1 0 310833890 24793088 5773 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20291/statm: 6053 5773 77 171 0 5880 0
Current children cumulated CPU time (s) 641.98
Current children cumulated vsize (KiB) 29568
Solver just ended. Dumping a history of the last processes samples
[startup+665.605 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20297
/proc/meminfo: memFree=1777368/2055920 swapFree=4179336/4192956
[pid=20285] ppid=20283 vsize=5356 CPUtime=0.17
/proc/20285/stat : 20285 (SatELiteGTI) S 20283 20285 20004 0 -1 4194304 336 1252 0 0 0 0 16 1 16 0 1 0 310833871 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20285/statm: 1339 239 197 169 0 50 0
[pid=20291] ppid=20285 vsize=24212 CPUtime=665.1
/proc/20291/stat : 20291 (minisat_static) R 20285 20285 20004 0 -1 4194304 5788 0 0 0 66501 9 0 0 25 0 1 0 310833890 24793088 5774 1992294400 134512640 135215339 4294956240 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 1 0 0
/proc/20291/statm: 6053 5774 77 171 0 5880 0
Current children cumulated CPU time (s) 665.27
Current children cumulated vsize (KiB) 29568
[startup+672.001 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20297
/proc/meminfo: memFree=1777368/2055920 swapFree=4179336/4192956
[pid=20285] ppid=20283 vsize=5356 CPUtime=0.17
/proc/20285/stat : 20285 (SatELiteGTI) S 20283 20285 20004 0 -1 4194304 336 1252 0 0 0 0 16 1 16 0 1 0 310833871 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20285/statm: 1339 239 197 169 0 50 0
[pid=20291] ppid=20285 vsize=24212 CPUtime=671.49
/proc/20291/stat : 20291 (minisat_static) R 20285 20285 20004 0 -1 4194304 5788 0 0 0 67140 9 0 0 25 0 1 0 310833890 24793088 5774 1992294400 134512640 135215339 4294956240 18446744073709551615 134528711 0 0 4096 3 0 0 0 17 1 0 0
/proc/20291/statm: 6053 5774 77 171 0 5880 0
Current children cumulated CPU time (s) 671.66
Current children cumulated vsize (KiB) 29568
[startup+678.401 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20297
/proc/meminfo: memFree=1777368/2055920 swapFree=4179336/4192956
[pid=20285] ppid=20283 vsize=5356 CPUtime=0.17
/proc/20285/stat : 20285 (SatELiteGTI) S 20283 20285 20004 0 -1 4194304 336 1252 0 0 0 0 16 1 16 0 1 0 310833871 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20285/statm: 1339 239 197 169 0 50 0
[pid=20291] ppid=20285 vsize=24212 CPUtime=677.89
/proc/20291/stat : 20291 (minisat_static) R 20285 20285 20004 0 -1 4194304 5788 0 0 0 67780 9 0 0 25 0 1 0 310833890 24793088 5774 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20291/statm: 6053 5774 77 171 0 5880 0
Current children cumulated CPU time (s) 678.06
Current children cumulated vsize (KiB) 29568
[startup+680.001 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20297
/proc/meminfo: memFree=1777368/2055920 swapFree=4179336/4192956
[pid=20285] ppid=20283 vsize=5356 CPUtime=0.17
/proc/20285/stat : 20285 (SatELiteGTI) S 20283 20285 20004 0 -1 4194304 336 1252 0 0 0 0 16 1 16 0 1 0 310833871 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20285/statm: 1339 239 197 169 0 50 0
[pid=20291] ppid=20285 vsize=24212 CPUtime=679.49
/proc/20291/stat : 20291 (minisat_static) R 20285 20285 20004 0 -1 4194304 5788 0 0 0 67940 9 0 0 25 0 1 0 310833890 24793088 5774 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20291/statm: 6053 5774 77 171 0 5880 0
Current children cumulated CPU time (s) 679.66
Current children cumulated vsize (KiB) 29568
[startup+680.801 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20297
/proc/meminfo: memFree=1777368/2055920 swapFree=4179336/4192956
[pid=20285] ppid=20283 vsize=5356 CPUtime=0.17
/proc/20285/stat : 20285 (SatELiteGTI) S 20283 20285 20004 0 -1 4194304 336 1252 0 0 0 0 16 1 16 0 1 0 310833871 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20285/statm: 1339 239 197 169 0 50 0
[pid=20291] ppid=20285 vsize=24212 CPUtime=680.29
/proc/20291/stat : 20291 (minisat_static) R 20285 20285 20004 0 -1 4194304 5788 0 0 0 68020 9 0 0 25 0 1 0 310833890 24793088 5774 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20291/statm: 6053 5774 77 171 0 5880 0
Current children cumulated CPU time (s) 680.46
Current children cumulated vsize (KiB) 29568
[startup+681.602 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20297
/proc/meminfo: memFree=1777368/2055920 swapFree=4179336/4192956
[pid=20285] ppid=20283 vsize=5356 CPUtime=0.17
/proc/20285/stat : 20285 (SatELiteGTI) S 20283 20285 20004 0 -1 4194304 336 1252 0 0 0 0 16 1 16 0 1 0 310833871 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20285/statm: 1339 239 197 169 0 50 0
[pid=20291] ppid=20285 vsize=24212 CPUtime=681.09
/proc/20291/stat : 20291 (minisat_static) R 20285 20285 20004 0 -1 4194304 5788 0 0 0 68100 9 0 0 25 0 1 0 310833890 24793088 5774 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20291/statm: 6053 5774 77 171 0 5880 0
Current children cumulated CPU time (s) 681.26
Current children cumulated vsize (KiB) 29568
[startup+681.802 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20297
/proc/meminfo: memFree=1777368/2055920 swapFree=4179336/4192956
[pid=20285] ppid=20283 vsize=5356 CPUtime=0.17
/proc/20285/stat : 20285 (SatELiteGTI) S 20283 20285 20004 0 -1 4194304 336 1252 0 0 0 0 16 1 16 0 1 0 310833871 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20285/statm: 1339 239 197 169 0 50 0
[pid=20291] ppid=20285 vsize=24212 CPUtime=681.29
/proc/20291/stat : 20291 (minisat_static) R 20285 20285 20004 0 -1 4194304 5788 0 0 0 68120 9 0 0 25 0 1 0 310833890 24793088 5774 1992294400 134512640 135215339 4294956240 18446744073709551615 134538918 0 0 4096 3 0 0 0 17 1 0 0
/proc/20291/statm: 6053 5774 77 171 0 5880 0
Current children cumulated CPU time (s) 681.46
Current children cumulated vsize (KiB) 29568
[startup+681.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20297
/proc/meminfo: memFree=1777368/2055920 swapFree=4179336/4192956
[pid=20285] ppid=20283 vsize=5356 CPUtime=0.17
/proc/20285/stat : 20285 (SatELiteGTI) S 20283 20285 20004 0 -1 4194304 336 1252 0 0 0 0 16 1 16 0 1 0 310833871 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20285/statm: 1339 239 197 169 0 50 0
[pid=20291] ppid=20285 vsize=24212 CPUtime=681.39
/proc/20291/stat : 20291 (minisat_static) R 20285 20285 20004 0 -1 4194304 5788 0 0 0 68130 9 0 0 25 0 1 0 310833890 24793088 5774 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 1 0 0
/proc/20291/statm: 6053 5774 77 171 0 5880 0
Current children cumulated CPU time (s) 681.56
Current children cumulated vsize (KiB) 29568
Child status: 10
Real time (s): 681.967
CPU time (s): 681.656
CPU user time (s): 681.528
CPU system time (s): 0.12798
CPU usage (%): 99.9544
Max. virtual memory (cumulated for all children) (KiB): 29568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 681.528
system time used= 0.12798
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7686
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= 50
involuntary context switches= 3680
runsolver used 0.816875 second user time and 1.77373 second system time
The end
Begin job on node39 at 2009-05-20 16:00:55
IDJOB=1834107
IDBENCH=71389
IDSOLVER=671
FILE ID=node39/1834107-1242828054
PBS_JOBID= 9322545
Free space on /tmp= 66424 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v760c43649gyes1.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834107-1242828054/watcher-1834107-1242828054 -o /tmp/evaluation-result-1834107-1242828054/solver-1834107-1242828054 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834107-1242828054.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8541c8ec619084537b62d7926e092ff9
RANDOM SEED=1715172513
node39.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.281
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.281
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1802504 kB
Buffers: 51444 kB
Cached: 152268 kB
SwapCached: 7904 kB
Active: 103200 kB
Inactive: 109956 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1802504 kB
SwapTotal: 4192956 kB
SwapFree: 4179336 kB
Dirty: 2288 kB
Writeback: 0 kB
Mapped: 14588 kB
Slab: 26276 kB
Committed_AS: 1124728 kB
PageTables: 1392 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66424 MiB
End job on node39 at 2009-05-20 16:12:17