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.15 c | 0 | 42624 136214 | -- 0 -- -- | -- | -1025/48236
0.00/0.15 c ==============================================================================
0.00/0.15 c Result : #vars: 720 #clauses: 42624 #literals: 136214
0.00/0.15 c CPU time: 0.135979 s
0.00/0.15 c ==============================================================================
0.00/0.19 c This is MiniSat 2.0 beta
0.00/0.19 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.19 c ============================[ Problem Statistics ]=============================
0.00/0.19 c | |
0.00/0.19 c | Number of variables: 720 |
0.00/0.19 c | Number of clauses: 42624 |
0.18/0.21 c | Parsing time: 0.02 s |
0.18/0.21 c ============================[ Search Statistics ]==============================
0.18/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.18/0.21 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.18/0.21 c ===============================================================================
0.18/0.21 c | 0 | 720 42624 136214 | 14208 0 nan | 0.000 % |
0.18/0.22 c | 100 | 720 42624 136214 | 14208 100 64 | 0.000 % |
0.18/0.23 c | 200 | 720 42624 136214 | 14208 200 58 | 0.000 % |
0.18/0.24 c | 302 | 720 42624 136214 | 14208 302 60 | 0.000 % |
0.18/0.24 c | 414 | 720 42624 136214 | 14208 414 59 | 0.000 % |
0.18/0.25 c | 516 | 720 42624 136214 | 14208 516 53 | 0.025 % |
0.18/0.26 c | 626 | 720 42624 136214 | 14208 626 56 | 0.000 % |
0.18/0.27 c | 748 | 720 42624 136214 | 14208 748 57 | 0.022 % |
0.18/0.28 c | 848 | 720 42624 136214 | 14208 848 56 | 0.022 % |
0.18/0.28 c | 958 | 720 42624 136214 | 14208 958 55 | 0.023 % |
0.18/0.29 c | 1079 | 720 42624 136214 | 14208 1079 54 | 0.025 % |
0.18/0.30 c | 1212 | 720 42624 136214 | 14208 1212 54 | 0.000 % |
0.18/0.31 c | 1312 | 720 42624 136214 | 14208 1312 54 | 0.000 % |
0.18/0.32 c | 1422 | 720 42624 136214 | 14208 1422 55 | 0.000 % |
0.18/0.33 c | 1543 | 720 42624 136214 | 14208 1543 54 | 0.015 % |
0.18/0.34 c | 1676 | 720 42624 136214 | 14208 1676 55 | 0.000 % |
0.18/0.35 c | 1822 | 720 42624 136214 | 14208 1822 55 | 0.000 % |
0.18/0.36 c | 1922 | 720 42624 136214 | 14208 1922 55 | 0.000 % |
0.18/0.37 c | 2033 | 720 42624 136214 | 14208 2033 54 | 0.000 % |
0.18/0.38 c | 2154 | 720 42624 136214 | 14208 2154 55 | 0.000 % |
0.18/0.39 c | 2289 | 720 42624 136214 | 14208 2289 54 | 0.000 % |
0.18/0.40 c | 2435 | 720 42624 136214 | 14208 2435 53 | 0.024 % |
0.18/0.42 c | 2595 | 720 42624 136214 | 14208 2595 52 | 0.024 % |
0.18/0.43 c | 2695 | 720 42624 136214 | 14208 2695 53 | 0.000 % |
0.18/0.44 c | 2805 | 720 42624 136214 | 14208 2805 54 | 0.000 % |
0.18/0.45 c | 2927 | 720 42624 136214 | 14208 2927 53 | 0.000 % |
0.18/0.46 c | 3060 | 720 42624 136214 | 14208 3060 52 | 0.021 % |
0.18/0.47 c | 3206 | 720 42624 136214 | 14208 3206 53 | 0.000 % |
0.18/0.49 c | 3366 | 720 42624 136214 | 14208 3366 53 | 0.000 % |
0.18/0.50 c | 3542 | 720 42624 136214 | 14208 3542 53 | 0.000 % |
0.18/0.51 c | 3642 | 720 42624 136214 | 14208 3642 53 | 0.000 % |
0.18/0.52 c | 3755 | 720 42624 136214 | 14208 3755 53 | 0.000 % |
0.18/0.53 c | 3877 | 720 42624 136214 | 14208 3877 53 | 0.022 % |
0.18/0.54 c | 4012 | 720 42624 136214 | 14208 4012 52 | 0.025 % |
0.18/0.56 c | 4158 | 720 42624 136214 | 14208 4158 54 | 0.000 % |
0.18/0.58 c | 4319 | 720 42624 136214 | 14208 4319 54 | 0.000 % |
0.18/0.59 c | 4495 | 720 42624 136214 | 14208 4495 55 | 0.000 % |
0.18/0.61 c | 4688 | 720 42624 136214 | 14208 4688 54 | 0.000 % |
0.18/0.63 c | 4789 | 720 42624 136214 | 14208 4789 54 | 0.000 % |
0.18/0.64 c | 4900 | 720 42624 136214 | 14208 4900 54 | 0.000 % |
0.18/0.65 c | 5021 | 720 42624 136214 | 14208 5021 54 | 0.022 % |
0.18/0.66 c | 5154 | 720 42624 136214 | 14208 5154 55 | 0.000 % |
0.18/0.68 c | 5301 | 720 42624 136214 | 14208 5301 55 | 0.000 % |
0.18/0.69 c | 5463 | 720 42624 136214 | 14208 5463 54 | 0.000 % |
0.18/0.72 c | 5639 | 720 42624 136214 | 14208 5639 54 | 0.023 % |
0.18/0.74 c | 5832 | 720 42624 136214 | 14208 5832 54 | 0.000 % |
0.18/0.76 c | 6045 | 720 42624 136214 | 14208 6045 53 | 0.023 % |
0.18/0.77 c | 6146 | 720 42624 136214 | 14208 6146 53 | 0.000 % |
0.18/0.78 c | 6256 | 720 42624 136214 | 14208 6256 53 | 0.021 % |
0.18/0.80 c | 6379 | 720 42624 136214 | 14208 6379 53 | 0.000 % |
0.18/0.81 c | 6513 | 720 42624 136214 | 14208 6513 52 | 0.024 % |
0.18/0.83 c | 6660 | 720 42624 136214 | 14208 6660 53 | 0.000 % |
0.18/0.85 c | 6821 | 720 42624 136214 | 14208 6821 53 | 0.000 % |
0.18/0.87 c | 6998 | 720 42624 136214 | 14208 6998 52 | 0.000 % |
0.18/0.90 c | 7192 | 720 42624 136214 | 14208 7192 52 | 0.000 % |
0.18/0.92 c | 7404 | 720 42624 136214 | 14208 7404 52 | 0.024 % |
0.18/0.95 c | 7637 | 720 42624 136214 | 14208 7637 52 | 0.000 % |
0.18/0.96 c | 7738 | 720 42624 136214 | 14208 7738 52 | 0.000 % |
0.18/0.97 c | 7848 | 720 42624 136214 | 14208 7848 51 | 0.022 % |
0.18/0.99 c | 7969 | 720 42624 136214 | 14208 7969 51 | 0.022 % |
0.98/1.01 c | 8104 | 720 42624 136214 | 14208 8104 51 | 0.022 % |
0.98/1.03 c | 8255 | 720 42624 136214 | 14208 8255 51 | 0.025 % |
0.98/1.05 c | 8417 | 720 42624 136214 | 14208 8417 50 | 0.024 % |
0.98/1.07 c | 8593 | 720 42624 136214 | 14208 8593 50 | 0.025 % |
1.08/1.10 c | 8787 | 720 42624 136214 | 14208 8787 51 | 0.000 % |
1.08/1.13 c | 8999 | 720 42624 136214 | 14208 8999 51 | 0.000 % |
1.08/1.16 c | 9232 | 720 42624 136214 | 14208 9232 50 | 0.024 % |
1.08/1.19 c | 9488 | 720 42624 136214 | 14208 9488 50 | 0.024 % |
1.18/1.21 c | 9588 | 720 42624 136214 | 14208 9588 50 | 0.000 % |
1.18/1.22 c | 9699 | 720 42624 136214 | 14208 9699 50 | 0.000 % |
1.18/1.24 c | 9820 | 720 42624 136214 | 14208 9820 50 | 0.000 % |
1.18/1.26 c | 9953 | 720 42624 136214 | 14208 9953 50 | 0.000 % |
1.18/1.28 c | 10099 | 720 42624 136214 | 2147483647 10099 50 | 0.025 % |
1.28/1.31 c | 10260 | 720 42624 136214 | 2147483647 10260 50 | 0.000 % |
1.28/1.33 c | 10436 | 720 42624 136214 | 2147483647 10436 51 | 0.000 % |
1.28/1.36 c | 10630 | 720 42624 136214 | 2147483647 10630 51 | 0.000 % |
1.28/1.39 c | 10842 | 720 42624 136214 | 2147483647 10842 51 | 0.023 % |
1.38/1.42 c | 11076 | 720 42624 136214 | 2147483647 11076 50 | 0.000 % |
1.38/1.47 c | 11335 | 720 42624 136214 | 2147483647 11335 51 | 0.000 % |
1.48/1.51 c | 11616 | 720 42624 136214 | 2147483647 11616 51 | 0.000 % |
1.48/1.53 c | 11717 | 720 42624 136214 | 2147483647 11717 51 | 0.000 % |
1.48/1.54 c | 11827 | 720 42624 136214 | 2147483647 11827 51 | 0.023 % |
1.48/1.56 c | 11952 | 720 42624 136214 | 2147483647 11952 51 | 0.021 % |
1.48/1.59 c | 12085 | 720 42624 136214 | 2147483647 12085 50 | 0.024 % |
1.58/1.61 c | 12231 | 720 42624 136214 | 2147483647 12231 51 | 0.000 % |
1.58/1.64 c | 12391 | 720 42624 136214 | 2147483647 12391 51 | 0.000 % |
1.58/1.67 c | 12567 | 720 42624 136214 | 2147483647 12567 50 | 0.000 % |
1.68/1.70 c | 12761 | 720 42624 136214 | 2147483647 12761 51 | 0.000 % |
1.68/1.74 c | 12974 | 720 42624 136214 | 2147483647 12974 51 | 0.000 % |
1.68/1.78 c | 13207 | 720 42624 136214 | 2147483647 13207 51 | 0.022 % |
1.78/1.82 c | 13464 | 720 42624 136214 | 2147483647 13464 51 | 0.000 % |
1.78/1.87 c | 13747 | 720 42624 136214 | 2147483647 13747 51 | 0.024 % |
1.88/1.93 c | 14059 | 720 42624 136214 | 2147483647 14059 51 | 0.024 % |
1.88/1.95 c | 14159 | 720 42624 136214 | 2147483647 14159 51 | 0.000 % |
1.88/1.97 c | 14269 | 720 42624 136214 | 2147483647 14269 52 | 0.000 % |
1.88/1.99 c | 14391 | 720 42624 136214 | 2147483647 14391 51 | 0.000 % |
1.98/2.01 c | 14524 | 720 42624 136214 | 2147483647 14524 52 | 0.000 % |
1.98/2.04 c | 14670 | 720 42624 136214 | 2147483647 14670 52 | 0.000 % |
1.98/2.07 c | 14831 | 720 42624 136214 | 2147483647 14831 52 | 0.000 % |
2.08/2.10 c | 15010 | 720 42624 136214 | 2147483647 15010 52 | 0.000 % |
2.08/2.15 c | 15206 | 720 42624 136214 | 2147483647 15206 52 | 0.000 % |
2.08/2.19 c | 15418 | 720 42624 136214 | 2147483647 15418 52 | 0.000 % |
2.18/2.24 c | 15651 | 720 42624 136214 | 2147483647 15651 52 | 0.000 % |
2.18/2.29 c | 15911 | 720 42624 136214 | 2147483647 15911 52 | 0.024 % |
2.28/2.34 c | 16192 | 720 42624 136214 | 2147483647 16192 52 | 0.020 % |
2.38/2.40 c | 16504 | 720 42624 136214 | 2147483647 16504 51 | 0.022 % |
2.38/2.47 c | 16844 | 720 42624 136214 | 2147483647 16844 52 | 0.000 % |
2.38/2.48 c | 16944 | 720 42624 136214 | 2147483647 16944 52 | 0.000 % |
2.47/2.50 c | 17056 | 720 42624 136214 | 2147483647 17056 52 | 0.000 % |
2.47/2.54 c | 17179 | 720 42624 136214 | 2147483647 17179 52 | 0.000 % |
2.47/2.56 c | 17318 | 720 42624 136214 | 2147483647 17318 52 | 0.022 % |
2.47/2.59 c | 17464 | 720 42624 136214 | 2147483647 17464 52 | 0.027 % |
2.57/2.62 c | 17626 | 720 42624 136214 | 2147483647 17626 52 | 0.022 % |
2.57/2.66 c | 17805 | 720 42624 136214 | 2147483647 17805 52 | 0.022 % |
2.67/2.70 c | 17999 | 720 42624 136214 | 2147483647 17999 52 | 0.000 % |
2.67/2.75 c | 18212 | 720 42624 136214 | 2147483647 18212 51 | 0.026 % |
2.77/2.81 c | 18446 | 720 42624 136214 | 2147483647 18446 51 | 0.000 % |
2.77/2.87 c | 18703 | 720 42624 136214 | 2147483647 18703 51 | 0.000 % |
2.87/2.94 c | 18986 | 720 42624 136214 | 2147483647 18986 51 | 0.026 % |
2.97/3.02 c | 19296 | 720 42624 136214 | 2147483647 19296 51 | 0.026 % |
2.97/3.10 c | 19635 | 720 42624 136214 | 2147483647 19635 51 | 0.026 % |
3.07/3.20 c | 20008 | 720 42624 136214 | 2147483647 20008 50 | 0.026 % |
3.17/3.22 c | 20110 | 720 42624 136214 | 2147483647 20110 51 | 0.000 % |
3.17/3.25 c | 20222 | 720 42624 136214 | 2147483647 20222 51 | 0.000 % |
3.17/3.28 c | 20343 | 720 42624 136214 | 2147483647 20343 51 | 0.000 % |
3.27/3.31 c | 20476 | 720 42624 136214 | 2147483647 20476 51 | 0.021 % |
3.27/3.34 c | 20623 | 720 42624 136214 | 2147483647 20623 50 | 0.000 % |
3.27/3.38 c | 20783 | 720 42624 136214 | 2147483647 20783 50 | 0.022 % |
3.37/3.42 c | 20959 | 720 42624 136214 | 2147483647 20959 50 | 0.022 % |
3.37/3.46 c | 21152 | 720 42624 136214 | 2147483647 21152 50 | 0.022 % |
3.47/3.51 c | 21365 | 720 42624 136214 | 2147483647 21365 50 | 0.022 % |
3.47/3.54 c | 21598 | 720 42624 136214 | 2147483647 21598 50 | 0.022 % |
3.57/3.61 c | 21855 | 720 42624 136214 | 2147483647 21855 51 | 0.000 % |
3.57/3.69 c | 22136 | 720 42624 136214 | 2147483647 22136 51 | 0.000 % |
3.67/3.77 c | 22447 | 720 42624 136214 | 2147483647 22447 51 | 0.000 % |
3.77/3.87 c | 22786 | 720 42624 136214 | 2147483647 22786 51 | 0.000 % |
3.87/3.96 c | 23158 | 720 42624 136214 | 2147483647 23158 51 | 0.021 % |
3.97/4.05 c | 23567 | 720 42624 136214 | 2147483647 23567 51 | 0.025 % |
3.97/4.09 c | 23668 | 720 42624 136214 | 2147483647 23668 51 | 0.000 % |
4.07/4.11 c | 23778 | 720 42624 136214 | 2147483647 23778 51 | 0.000 % |
4.07/4.14 c | 23899 | 720 42624 136214 | 2147483647 23899 51 | 0.000 % |
4.07/4.18 c | 24032 | 720 42624 136214 | 2147483647 24032 51 | 0.000 % |
4.17/4.23 c | 24179 | 720 42624 136214 | 2147483647 24179 51 | 0.000 % |
4.17/4.27 c | 24339 | 720 42624 136214 | 2147483647 24339 51 | 0.000 % |
4.27/4.32 c | 24517 | 720 42624 136214 | 2147483647 24517 51 | 0.022 % |
4.27/4.38 c | 24712 | 720 42624 136214 | 2147483647 24712 51 | 0.000 % |
4.37/4.43 c | 24924 | 720 42624 136214 | 2147483647 24924 51 | 0.022 % |
4.47/4.50 c | 25158 | 720 42624 136214 | 2147483647 25158 51 | 0.022 % |
4.47/4.58 c | 25414 | 720 42624 136214 | 2147483647 25414 51 | 0.022 % |
4.57/4.65 c | 25697 | 720 42624 136214 | 2147483647 25697 51 | 0.022 % |
4.67/4.73 c | 26011 | 720 42624 136214 | 2147483647 26011 51 | 0.022 % |
4.77/4.84 c | 26350 | 720 42624 136214 | 2147483647 26350 51 | 0.000 % |
4.87/4.95 c | 26722 | 720 42624 136214 | 2147483647 26722 51 | 0.000 % |
4.97/5.09 c | 27133 | 720 42624 136214 | 2147483647 27133 51 | 0.028 % |
5.18/5.21 c | 27582 | 720 42624 136214 | 2147483647 27582 51 | 0.028 % |
5.18/5.24 c | 27682 | 720 42624 136214 | 2147483647 27682 51 | 0.000 % |
5.18/5.27 c | 27792 | 720 42624 136214 | 2147483647 27792 51 | 0.000 % |
5.28/5.31 c | 27915 | 720 42624 136214 | 2147483647 27915 51 | 0.000 % |
5.28/5.35 c | 28048 | 720 42624 136214 | 2147483647 28048 51 | 0.000 % |
5.38/5.41 c | 28194 | 720 42624 136214 | 2147483647 28194 51 | 0.000 % |
5.38/5.46 c | 28354 | 720 42624 136214 | 2147483647 28354 51 | 0.000 % |
5.48/5.51 c | 28530 | 720 42624 136214 | 2147483647 28530 51 | 0.000 % |
5.48/5.58 c | 28725 | 720 42624 136214 | 2147483647 28725 52 | 0.000 % |
5.58/5.64 c | 28937 | 720 42624 136214 | 2147483647 28937 52 | 0.000 % |
5.68/5.73 c | 29170 | 720 42624 136214 | 2147483647 29170 52 | 0.022 % |
5.78/5.80 c | 29426 | 720 42624 136214 | 2147483647 29426 52 | 0.000 % |
5.78/5.89 c | 29708 | 720 42624 136214 | 2147483647 29708 52 | 0.000 % |
5.88/6.00 c | 30020 | 720 42624 136214 | 2147483647 30020 52 | 0.026 % |
6.08/6.13 c | 30361 | 720 42624 136214 | 2147483647 30361 52 | 0.000 % |
6.18/6.24 c | 30733 | 720 42624 136214 | 2147483647 30733 52 | 0.000 % |
6.28/6.36 c | 31142 | 720 42624 136214 | 2147483647 31142 52 | 0.000 % |
6.48/6.50 c | 31591 | 720 42624 136214 | 2147483647 31591 51 | 0.021 % |
6.58/6.66 c | 32084 | 720 42624 136214 | 2147483647 32084 52 | 0.000 % |
6.67/6.70 c | 32184 | 720 42624 136214 | 2147483647 32184 52 | 0.000 % |
6.67/6.74 c | 32294 | 720 42624 136214 | 2147483647 32294 52 | 0.000 % |
6.67/6.79 c | 32419 | 720 42624 136214 | 2147483647 32419 52 | 0.000 % |
6.77/6.85 c | 32552 | 720 42624 136214 | 2147483647 32552 52 | 0.023 % |
6.87/6.91 c | 32699 | 720 42624 136214 | 2147483647 32699 52 | 0.000 % |
6.87/6.96 c | 32859 | 720 42624 136214 | 2147483647 32859 52 | 0.000 % |
6.97/7.03 c | 33035 | 720 42624 136214 | 2147483647 33035 52 | 0.000 % |
6.97/7.09 c | 33228 | 720 42624 136214 | 2147483647 33228 52 | 0.000 % |
7.07/7.18 c | 33443 | 720 42624 136214 | 2147483647 33443 52 | 0.000 % |
7.17/7.27 c | 33677 | 720 42624 136214 | 2147483647 33677 52 | 0.000 % |
7.27/7.36 c | 33933 | 720 42624 136214 | 2147483647 33933 53 | 0.000 % |
7.37/7.48 c | 34214 | 720 42624 136214 | 2147483647 34214 53 | 0.000 % |
7.47/7.60 c | 34523 | 720 42624 136214 | 2147483647 34523 53 | 0.000 % |
7.67/7.74 c | 34862 | 720 42624 136214 | 2147483647 34862 53 | 0.000 % |
7.77/7.88 c | 35235 | 720 42624 136214 | 2147483647 35235 54 | 0.000 % |
7.97/8.10 c | 35646 | 720 42624 136214 | 2147483647 35646 54 | 0.000 % |
8.17/8.27 c | 36096 | 720 42624 136214 | 2147483647 36096 54 | 0.000 % |
8.47/8.54 c | 36589 | 720 42624 136214 | 2147483647 36589 55 | 0.000 % |
8.67/8.80 c | 37133 | 720 42624 136214 | 2147483647 37133 55 | 0.000 % |
8.77/8.83 c | 37233 | 720 42624 136214 | 2147483647 37233 55 | 0.000 % |
8.77/8.89 c | 37343 | 720 42624 136214 | 2147483647 37343 55 | 0.000 % |
8.86/8.94 c | 37464 | 720 42624 136214 | 2147483647 37464 55 | 0.000 % |
8.96/9.02 c | 37598 | 720 42624 136214 | 2147483647 37598 55 | 0.000 % |
8.96/9.09 c | 37744 | 720 42624 136214 | 2147483647 37744 56 | 0.000 % |
9.07/9.19 c | 37904 | 720 42624 136214 | 2147483647 37904 56 | 0.000 % |
9.17/9.25 c | 38083 | 720 42624 136214 | 2147483647 38083 56 | 0.000 % |
9.27/9.38 c | 38276 | 720 42624 136214 | 2147483647 38276 56 | 0.000 % |
9.47/9.51 c | 38490 | 720 42624 136214 | 2147483647 38490 56 | 0.000 % |
9.57/9.61 c | 38724 | 720 42624 136214 | 2147483647 38724 56 | 0.000 % |
9.67/9.73 c | 38980 | 720 42624 136214 | 2147483647 38980 56 | 0.000 % |
9.77/9.83 c | 39261 | 720 42624 136214 | 2147483647 39261 56 | 0.000 % |
9.87/9.98 c | 39573 | 720 42624 136214 | 2147483647 39573 56 | 0.000 % |
10.07/10.16 c | 39912 | 720 42624 136214 | 2147483647 39912 57 | 0.000 % |
10.27/10.32 c | 40284 | 720 42624 136214 | 2147483647 40284 57 | 0.000 % |
10.47/10.58 c | 40694 | 720 42624 136214 | 2147483647 40694 57 | 0.000 % |
10.77/10.83 c | 41143 | 720 42624 136214 | 2147483647 41143 57 | 0.000 % |
11.07/11.10 c | 41636 | 720 42624 136214 | 2147483647 41636 57 | 0.022 % |
11.27/11.36 c | 42178 | 720 42624 136214 | 2147483647 42178 57 | 0.022 % |
11.57/11.67 c | 42774 | 720 42624 136214 | 2147483647 42774 57 | 0.022 % |
11.67/11.73 c | 42874 | 720 42624 136214 | 2147483647 42874 57 | 0.000 % |
11.67/11.79 c | 42985 | 720 42624 136214 | 2147483647 42985 57 | 0.020 % |
11.77/11.84 c | 43107 | 720 42624 136214 | 2147483647 43107 57 | 0.022 % |
11.87/11.90 c | 43240 | 720 42624 136214 | 2147483647 43240 57 | 0.022 % |
11.87/11.97 c | 43386 | 720 42624 136214 | 2147483647 43386 57 | 0.022 % |
11.97/12.04 c | 43547 | 720 42624 136214 | 2147483647 43547 57 | 0.023 % |
12.07/12.16 c | 43724 | 720 42624 136214 | 2147483647 43724 57 | 0.000 % |
12.26/12.31 c | 43918 | 720 42624 136214 | 2147483647 43918 57 | 0.000 % |
12.36/12.44 c | 44130 | 720 42624 136214 | 2147483647 44130 57 | 0.000 % |
12.46/12.58 c | 44365 | 720 42624 136214 | 2147483647 44365 57 | 0.000 % |
12.67/12.71 c | 44622 | 720 42624 136214 | 2147483647 44622 57 | 0.000 % |
12.77/12.86 c | 44903 | 720 42624 136214 | 2147483647 44903 57 | 0.000 % |
12.97/13.03 c | 45213 | 720 42624 136214 | 2147483647 45213 57 | 0.000 % |
13.17/13.22 c | 45552 | 720 42624 136214 | 2147483647 45552 57 | 0.000 % |
13.37/13.49 c | 45924 | 720 42624 136214 | 2147483647 45924 57 | 0.000 % |
13.67/13.73 c | 46334 | 720 42624 136214 | 2147483647 46334 57 | 0.000 % |
13.97/14.03 c | 46785 | 720 42624 136214 | 2147483647 46785 57 | 0.000 % |
14.17/14.28 c | 47278 | 720 42624 136214 | 2147483647 47278 57 | 0.000 % |
14.47/14.57 c | 47820 | 720 42624 136214 | 2147483647 47820 57 | 0.000 % |
14.86/14.90 c | 48418 | 720 42624 136214 | 2147483647 48418 56 | 0.023 % |
15.16/15.26 c | 49074 | 720 42624 136214 | 2147483647 49074 56 | 0.023 % |
15.27/15.36 c | 49175 | 720 42624 136214 | 2147483647 49175 56 | 0.000 % |
15.37/15.42 c | 49285 | 720 42624 136214 | 2147483647 49285 56 | 0.000 % |
15.37/15.49 c | 49407 | 720 42624 136214 | 2147483647 49407 56 | 0.000 % |
15.46/15.55 c | 49540 | 720 42624 136214 | 2147483647 49540 56 | 0.021 % |
15.56/15.67 c | 49689 | 720 42624 136214 | 2147483647 49689 56 | 0.000 % |
15.66/15.78 c | 49849 | 720 42624 136214 | 2147483647 49849 56 | 0.000 % |
15.76/15.87 c | 50025 | 720 42624 136214 | 2147483647 50025 56 | 0.000 % |
15.86/15.99 c | 50218 | 720 42624 136214 | 2147483647 50218 57 | 0.000 % |
16.06/16.15 c | 50430 | 720 42624 136214 | 2147483647 50430 57 | 0.000 % |
16.16/16.29 c | 50663 | 720 42624 136214 | 2147483647 50663 56 | 0.000 % |
16.37/16.43 c | 50920 | 720 42624 136214 | 2147483647 50920 56 | 0.021 % |
16.56/16.60 c | 51202 | 720 42624 136214 | 2147483647 51202 56 | 0.028 % |
16.76/16.80 c | 51513 | 720 42624 136214 | 2147483647 51513 56 | 0.028 % |
17.06/17.10 c | 51852 | 720 42624 136214 | 2147483647 51852 56 | 0.000 % |
17.26/17.34 c | 52224 | 720 42624 136214 | 2147483647 52224 56 | 0.000 % |
17.47/17.59 c | 52634 | 720 42624 136214 | 2147483647 52634 57 | 0.000 % |
17.76/17.85 c | 53086 | 720 42624 136214 | 2147483647 53086 56 | 0.024 % |
18.16/18.23 c | 53582 | 720 42624 136214 | 2147483647 53582 57 | 0.000 % |
18.57/18.61 c | 54125 | 720 42624 136214 | 2147483647 54125 57 | 0.000 % |
18.96/19.05 c | 54722 | 720 42624 136214 | 2147483647 54722 57 | 0.000 % |
19.46/19.53 c | 55377 | 720 42624 136214 | 2147483647 55377 57 | 0.000 % |
19.86/19.95 c | 56100 | 720 42624 136214 | 2147483647 56100 57 | 0.022 % |
19.96/20.00 c | 56200 | 720 42624 136214 | 2147483647 56200 57 | 0.022 % |
19.96/20.06 c | 56310 | 720 42624 136214 | 2147483647 56310 57 | 0.000 % |
20.06/20.15 c | 56434 | 720 42624 136214 | 2147483647 56434 57 | 0.022 % |
20.16/20.27 c | 56571 | 720 42624 136214 | 2147483647 56571 57 | 0.022 % |
20.26/20.40 c | 56718 | 720 42624 136214 | 2147483647 56718 57 | 0.000 % |
20.36/20.49 c | 56879 | 720 42624 136214 | 2147483647 56879 57 | 0.000 % |
20.56/20.61 c | 57055 | 720 42624 136214 | 2147483647 57055 57 | 0.000 % |
20.66/20.75 c | 57248 | 720 42624 136214 | 2147483647 57248 57 | 0.000 % |
20.76/20.87 c | 57460 | 720 42624 136214 | 2147483647 57460 57 | 0.000 % |
20.96/21.05 c | 57693 | 720 42624 136214 | 2147483647 57693 57 | 0.023 % |
21.16/21.20 c | 57951 | 720 42624 136214 | 2147483647 57951 57 | 0.023 % |
21.26/21.38 c | 58233 | 720 42624 136214 | 2147483647 58233 57 | 0.000 % |
21.56/21.61 c | 58543 | 720 42624 136214 | 2147483647 58543 57 | 0.000 % |
21.87/21.91 c | 58883 | 720 42624 136214 | 2147483647 58883 57 | 0.000 % |
22.16/22.25 c | 59256 | 720 42624 136214 | 2147483647 59256 57 | 0.022 % |
22.46/22.56 c | 59667 | 720 42624 136214 | 2147483647 59667 57 | 0.000 % |
22.86/22.95 c | 60116 | 720 42624 136214 | 60001 60116 57 | 0.024 % |
23.26/23.36 c | 60609 | 720 42624 136214 | 60001 51531 56 | 0.024 % |
23.66/23.79 c | 61151 | 720 42624 136214 | 60001 52073 56 | 0.024 % |
24.16/24.23 c | 61748 | 720 42624 136214 | 60001 52670 56 | 0.024 % |
24.56/24.66 c | 62404 | 720 42624 136214 | 60001 53326 56 | 0.024 % |
25.06/25.12 c | 63124 | 720 42624 136214 | 60001 54046 55 | 0.024 % |
25.56/25.62 c | 63917 | 720 42624 136214 | 60001 54839 55 | 0.024 % |
25.66/25.70 c | 64018 | 720 42624 136214 | 60001 54940 55 | 0.024 % |
25.76/25.80 c | 64131 | 720 42624 136214 | 60001 55053 55 | 0.000 % |
25.76/25.88 c | 64253 | 720 42624 136214 | 60001 55175 55 | 0.000 % |
25.86/25.97 c | 64386 | 720 42624 136214 | 60001 55308 55 | 0.000 % |
25.96/26.05 c | 64532 | 720 42624 136214 | 60001 55454 55 | 0.021 % |
26.06/26.16 c | 64692 | 720 42624 136214 | 60001 55614 55 | 0.000 % |
26.16/26.27 c | 64868 | 720 42624 136214 | 60001 55790 55 | 0.023 % |
26.36/26.41 c | 65061 | 720 42624 136214 | 60001 55983 55 | 0.000 % |
26.56/26.67 c | 65275 | 720 42624 136214 | 60001 56197 55 | 0.000 % |
26.76/26.88 c | 65510 | 720 42624 136214 | 60001 56432 55 | 0.000 % |
27.06/27.11 c | 65767 | 720 42624 136214 | 60001 56689 56 | 0.000 % |
27.26/27.32 c | 66049 | 720 42624 136214 | 60001 56971 56 | 0.000 % |
27.56/27.60 c | 66358 | 720 42624 136214 | 60001 57280 56 | 0.000 % |
27.76/27.81 c | 66700 | 720 42624 136214 | 60001 57622 56 | 0.000 % |
27.96/28.08 c | 67072 | 720 42624 136214 | 60001 57994 56 | 0.000 % |
28.35/28.46 c | 67481 | 720 42624 136214 | 60001 58403 56 | 0.000 % |
28.75/28.83 c | 67931 | 720 42624 136214 | 60001 58853 56 | 0.000 % |
29.15/29.24 c | 68424 | 720 42624 136214 | 60001 59346 56 | 0.000 % |
29.56/29.61 c | 68966 | 720 42624 136214 | 60001 59888 56 | 0.000 % |
29.95/30.07 c | 69562 | 720 42624 136214 | 60001 49919 56 | 0.022 % |
30.66/30.74 c | 70217 | 720 42624 136214 | 50357 50574 56 | 0.000 % |
31.15/31.20 c | 70937 | 720 42624 136214 | 50357 42281 53 | 0.000 % |
31.65/31.73 c | 71733 | 720 42624 136214 | 50357 43077 53 | 0.025 % |
32.15/32.28 c | 72604 | 720 42624 136214 | 50357 43948 53 | 0.025 % |
32.25/32.35 c | 72706 | 720 42624 136214 | 50357 44050 53 | 0.000 % |
32.35/32.41 c | 72816 | 720 42624 136214 | 50357 44160 53 | 0.025 % |
32.35/32.48 c | 72937 | 720 42624 136214 | 50357 44281 53 | 0.025 % |
32.45/32.56 c | 73072 | 720 42624 136214 | 50357 44416 53 | 0.025 % |
32.55/32.66 c | 73218 | 720 42624 136214 | 50357 44562 53 | 0.000 % |
32.65/32.77 c | 73379 | 720 42624 136214 | 50357 44723 53 | 0.000 % |
32.85/32.91 c | 73555 | 720 42624 136214 | 50357 44899 53 | 0.000 % |
32.95/33.06 c | 73751 | 720 42624 136214 | 50357 45095 53 | 0.000 % |
33.15/33.20 c | 73965 | 720 42624 136214 | 50357 45309 54 | 0.000 % |
33.25/33.36 c | 74198 | 720 42624 136214 | 50357 45542 54 | 0.000 % |
33.45/33.52 c | 74454 | 720 42624 136214 | 50357 45798 54 | 0.000 % |
33.55/33.68 c | 74737 | 720 42624 136214 | 50357 46081 54 | 0.000 % |
33.85/33.91 c | 75046 | 720 42624 136214 | 50357 46390 54 | 0.000 % |
34.15/34.20 c | 75386 | 720 42624 136214 | 50357 46730 54 | 0.000 % |
34.35/34.47 c | 75760 | 720 42624 136214 | 50357 47104 54 | 0.000 % |
34.65/34.76 c | 76174 | 720 42624 136214 | 50357 47518 54 | 0.000 % |
35.05/35.14 c | 76625 | 720 42624 136214 | 50357 47969 54 | 0.000 % |
35.35/35.48 c | 77119 | 720 42624 136214 | 50357 48463 54 | 0.000 % |
35.75/35.88 c | 77661 | 720 42624 136214 | 50357 49005 54 | 0.000 % |
36.25/36.36 c | 78258 | 720 42624 136214 | 50357 49602 54 | 0.000 % |
36.74/36.84 c | 78913 | 720 42624 136214 | 50357 50257 54 | 0.000 % |
37.25/37.38 c | 79633 | 720 42624 136214 | 50357 42641 51 | 0.000 % |
37.74/37.87 c | 80426 | 720 42624 136214 | 43008 36643 50 | 0.000 % |
38.24/38.40 c | 81297 | 720 42624 136214 | 43008 37514 51 | 0.000 % |
38.84/38.98 c | 82255 | 720 42624 136214 | 43008 38472 51 | 0.000 % |
38.94/39.02 c | 82358 | 720 42624 136214 | 43008 38575 51 | 0.000 % |
38.94/39.10 c | 82470 | 720 42624 136214 | 43008 38687 51 | 0.000 % |
39.04/39.18 c | 82598 | 720 42624 136214 | 43008 38815 51 | 0.000 % |
39.14/39.29 c | 82734 | 720 42624 136214 | 43008 38951 51 | 0.000 % |
39.24/39.38 c | 82881 | 720 42624 136214 | 43008 39098 51 | 0.000 % |
39.34/39.48 c | 83042 | 720 42624 136214 | 43008 39259 51 | 0.023 % |
39.55/39.63 c | 83218 | 720 42624 136214 | 43008 39435 51 | 0.000 % |
39.64/39.77 c | 83411 | 720 42624 136214 | 43008 39628 51 | 0.000 % |
39.84/39.90 c | 83624 | 720 42624 136214 | 43008 39841 51 | 0.000 % |
39.94/40.06 c | 83857 | 720 42624 136214 | 43008 40074 51 | 0.000 % |
40.04/40.19 c | 84113 | 720 42624 136214 | 43008 40330 51 | 0.000 % |
40.24/40.38 c | 84395 | 720 42624 136214 | 43008 40612 52 | 0.000 % |
40.44/40.60 c | 84705 | 720 42624 136214 | 43008 40922 52 | 0.000 % |
40.64/40.79 c | 85047 | 720 42624 136214 | 43008 41264 52 | 0.025 % |
40.94/41.05 c | 85419 | 720 42624 136214 | 43008 41636 52 | 0.000 % |
41.14/41.26 c | 85831 | 720 42624 136214 | 43008 42048 52 | 0.000 % |
41.44/41.58 c | 86280 | 720 42624 136214 | 43008 42497 53 | 0.000 % |
41.84/41.92 c | 86773 | 720 42624 136214 | 43008 42990 53 | 0.000 % |
42.24/42.30 c | 87315 | 720 42624 136214 | 43008 37971 51 | 0.000 % |
42.54/42.60 c | 87911 | 720 42624 136214 | 43008 38567 51 | 0.000 % |
42.84/42.99 c | 88569 | 720 42624 136214 | 43008 39225 51 | 0.000 % |
43.34/43.48 c | 89289 | 720 42624 136214 | 43008 39945 52 | 0.000 % |
43.94/44.01 c | 90081 | 720 42624 136214 | 40656 40737 52 | 0.000 % |
44.54/44.61 c | 90955 | 720 42624 136214 | 40656 36879 54 | 0.000 % |
45.14/45.24 c | 91914 | 720 42624 136214 | 40656 37838 55 | 0.000 % |
45.64/45.79 c | 92969 | 720 42624 136214 | 40656 38893 55 | 0.000 % |
45.74/45.83 c | 93071 | 720 42624 136214 | 40656 38995 55 | 0.000 % |
45.84/45.93 c | 93181 | 720 42624 136214 | 40656 39105 55 | 0.000 % |
45.94/46.01 c | 93303 | 720 42624 136214 | 40656 39227 55 | 0.000 % |
46.04/46.12 c | 93441 | 720 42624 136214 | 40656 39365 55 | 0.022 % |
46.14/46.25 c | 93592 | 720 42624 136214 | 40656 39516 55 | 0.000 % |
46.24/46.39 c | 93753 | 720 42624 136214 | 40656 39677 55 | 0.000 % |
46.34/46.50 c | 93931 | 720 42624 136214 | 40656 39855 55 | 0.000 % |
46.54/46.62 c | 94124 | 720 42624 136214 | 40656 40048 55 | 0.000 % |
46.64/46.74 c | 94336 | 720 42624 136214 | 40656 40260 55 | 0.022 % |
46.74/46.85 c | 94569 | 720 42624 136214 | 40656 40493 55 | 0.000 % |
46.94/47.02 c | 94825 | 720 42624 136214 | 40656 40749 55 | 0.000 % |
47.14/47.20 c | 95109 | 720 42624 136214 | 40656 36644 53 | 0.023 % |
47.24/47.38 c | 95418 | 720 42624 136214 | 40656 36953 53 | 0.000 % |
47.44/47.59 c | 95758 | 720 42624 136214 | 40656 37293 53 | 0.000 % |
47.74/47.82 c | 96130 | 720 42624 136214 | 40656 37665 53 | 0.000 % |
47.93/48.02 c | 96541 | 720 42624 136214 | 40656 38076 53 | 0.000 % |
48.13/48.29 c | 96990 | 720 42624 136214 | 40656 38525 53 | 0.000 % |
48.34/48.50 c | 97483 | 720 42624 136214 | 40656 39018 53 | 0.022 % |
48.73/48.82 c | 98025 | 720 42624 136214 | 40656 39560 54 | 0.000 % |
49.23/49.39 c | 98621 | 720 42624 136214 | 40656 40156 54 | 0.000 % |
49.64/49.71 c | 99279 | 720 42624 136214 | 40656 40814 54 | 0.000 % |
49.94/50.06 c | 100000 | 720 42624 136214 | 40656 37191 54 | 0.000 % |
50.54/50.61 c | 100793 | 720 42624 136214 | 37191 34107 53 | 0.000 % |
51.03/51.13 c | 101665 | 720 42624 136214 | 37191 34979 54 | 0.000 % |
51.43/51.50 c | 102624 | 720 42624 136214 | 37191 35938 53 | 0.000 % |
51.83/51.91 c | 103678 | 720 42624 136214 | 37191 36992 53 | 0.000 % |
52.53/52.61 c | 104837 | 720 42624 136214 | 37191 34396 52 | 0.000 % |
52.53/52.66 c | 104940 | 720 42624 136214 | 37191 34499 52 | 0.000 % |
52.64/52.71 c | 105050 | 720 42624 136214 | 37191 34609 52 | 0.000 % |
52.64/52.79 c | 105172 | 720 42624 136214 | 37191 34731 52 | 0.000 % |
52.74/52.86 c | 105306 | 720 42624 136214 | 37191 34865 52 | 0.000 % |
52.83/52.94 c | 105455 | 720 42624 136214 | 37191 35014 52 | 0.000 % |
52.93/53.03 c | 105616 | 720 42624 136214 | 37191 35175 52 | 0.000 % |
53.03/53.11 c | 105792 | 720 42624 136214 | 37191 35351 52 | 0.022 % |
53.03/53.20 c | 105989 | 720 42624 136214 | 37191 35548 52 | 0.000 % |
53.23/53.33 c | 106201 | 720 42624 136214 | 37191 35760 52 | 0.000 % |
53.33/53.43 c | 106435 | 720 42624 136214 | 37191 35994 52 | 0.024 % |
53.43/53.56 c | 106692 | 720 42624 136214 | 37191 36251 52 | 0.000 % |
53.63/53.71 c | 106973 | 720 42624 136214 | 37191 36532 52 | 0.024 % |
53.73/53.88 c | 107285 | 720 42624 136214 | 37191 36844 52 | 0.000 % |
53.93/54.03 c | 107624 | 720 42624 136214 | 37191 37183 52 | 0.000 % |
54.13/54.24 c | 108002 | 720 42624 136214 | 37191 33815 51 | 0.022 % |
54.43/54.51 c | 108412 | 720 42624 136214 | 37191 34225 51 | 0.000 % |
54.63/54.79 c | 108863 | 720 42624 136214 | 37191 34676 52 | 0.000 % |
54.93/55.06 c | 109357 | 720 42624 136214 | 37191 35170 52 | 0.000 % |
55.23/55.33 c | 109900 | 720 42624 136214 | 37191 35713 52 | 0.000 % |
55.53/55.64 c | 110497 | 720 42624 136214 | 2147483647 36310 52 | 0.022 % |
55.83/55.97 c | 111153 | 720 42624 136214 | 2147483647 36966 51 | 0.000 % |
56.13/56.27 c | 111873 | 720 42624 136214 | 2147483647 37686 51 | 0.000 % |
56.53/56.69 c | 112665 | 720 42624 136214 | 2147483647 38478 52 | 0.000 % |
56.93/57.09 c | 113537 | 720 42624 136214 | 2147483647 39350 52 | 0.000 % |
57.53/57.68 c | 114495 | 720 42624 136214 | 2147483647 40308 53 | 0.000 % |
58.23/58.34 c | 115549 | 720 42624 136214 | 2147483647 41362 53 | 0.000 % |
59.03/59.20 c | 116708 | 720 42624 136214 | 2147483647 42521 55 | 0.000 % |
59.93/60.05 c | 117982 | 720 42624 136214 | 2147483647 43795 55 | 0.000 % |
60.03/60.13 c | 118082 | 720 42624 136214 | 2147483647 43895 55 | 0.026 % |
60.13/60.23 c | 118192 | 720 42624 136214 | 2147483647 44005 55 | 0.000 % |
60.23/60.35 c | 118314 | 720 42624 136214 | 2147483647 44127 55 | 0.000 % |
60.33/60.46 c | 118447 | 720 42624 136214 | 2147483647 44260 55 | 0.000 % |
60.43/60.55 c | 118595 | 720 42624 136214 | 2147483647 44408 55 | 0.000 % |
60.53/60.68 c | 118756 | 720 42624 136214 | 2147483647 44569 55 | 0.000 % |
60.73/60.83 c | 118932 | 720 42624 136214 | 2147483647 44745 55 | 0.000 % |
60.83/60.97 c | 119125 | 720 42624 136214 | 2147483647 44938 55 | 0.000 % |
61.03/61.11 c | 119337 | 720 42624 136214 | 2147483647 45150 55 | 0.024 % |
61.13/61.29 c | 119572 | 720 42624 136214 | 2147483647 45385 55 | 0.000 % |
61.43/61.54 c | 119829 | 720 42624 136214 | 2147483647 45642 56 | 0.000 % |
61.73/61.83 c | 120110 | 720 42624 136214 | 2147483647 45923 56 | 0.000 % |
62.03/62.12 c | 120420 | 720 42624 136214 | 2147483647 46233 56 | 0.000 % |
62.23/62.35 c | 120759 | 720 42624 136214 | 2147483647 46572 56 | 0.000 % |
62.43/62.56 c | 121131 | 720 42624 136214 | 2147483647 46944 56 | 0.000 % |
62.73/62.86 c | 121542 | 720 42624 136214 | 2147483647 47355 56 | 0.000 % |
63.13/63.23 c | 121991 | 720 42624 136214 | 2147483647 47804 56 | 0.000 % |
63.52/63.68 c | 122485 | 720 42624 136214 | 2147483647 48298 56 | 0.000 % |
64.02/64.11 c | 123028 | 720 42624 136214 | 2147483647 48841 56 | 0.000 % |
64.62/64.71 c | 123624 | 720 42624 136214 | 2147483647 49437 56 | 0.000 % |
65.12/65.22 c | 124281 | 720 42624 136214 | 2147483647 50094 56 | 0.000 % |
65.52/65.67 c | 125001 | 720 42624 136214 | 2147483647 50814 56 | 0.024 % |
66.42/66.56 c | 125798 | 720 42624 136214 | 2147483647 51611 56 | 0.000 % |
67.42/67.50 c | 126671 | 720 42624 136214 | 2147483647 52484 57 | 0.000 % |
68.22/68.35 c | 127631 | 720 42624 136214 | 2147483647 53444 57 | 0.000 % |
69.13/69.23 c | 128684 | 720 42624 136214 | 2147483647 54497 57 | 0.000 % |
70.12/70.22 c | 129843 | 720 42624 136214 | 2147483647 55656 57 | 0.000 % |
71.02/71.13 c | 131116 | 720 42624 136214 | 55816 46844 54 | 0.000 % |
71.92/72.04 c | 132519 | 720 42624 136214 | 55816 48247 55 | 0.000 % |
72.02/72.17 c | 132620 | 720 42624 136214 | 55816 48348 55 | 0.000 % |
72.12/72.26 c | 132731 | 720 42624 136214 | 55816 48459 55 | 0.000 % |
72.22/72.38 c | 132853 | 720 42624 136214 | 55816 48581 55 | 0.000 % |
72.32/72.50 c | 132988 | 720 42624 136214 | 55816 48716 55 | 0.023 % |
72.52/72.62 c | 133137 | 720 42624 136214 | 55816 48865 55 | 0.000 % |
72.62/72.73 c | 133298 | 720 42624 136214 | 55816 49026 55 | 0.023 % |
72.72/72.86 c | 133475 | 720 42624 136214 | 55816 49203 55 | 0.000 % |
72.82/72.98 c | 133668 | 720 42624 136214 | 55816 49396 55 | 0.000 % |
72.92/73.09 c | 133880 | 720 42624 136214 | 55816 49608 55 | 0.000 % |
73.12/73.22 c | 134115 | 720 42624 136214 | 55816 49843 55 | 0.023 % |
73.22/73.34 c | 134371 | 720 42624 136214 | 55816 50099 55 | 0.000 % |
73.42/73.55 c | 134652 | 720 42624 136214 | 55816 50380 55 | 0.000 % |
73.63/73.77 c | 134962 | 720 42624 136214 | 55816 50690 55 | 0.022 % |
73.93/74.02 c | 135301 | 720 42624 136214 | 55816 51029 55 | 0.000 % |
74.13/74.22 c | 135674 | 720 42624 136214 | 55816 51402 55 | 0.000 % |
74.33/74.44 c | 136083 | 720 42624 136214 | 55816 51811 54 | 0.023 % |
74.83/74.95 c | 136533 | 720 42624 136214 | 55816 52261 55 | 0.000 % |
75.33/75.46 c | 137026 | 720 42624 136214 | 55816 52754 55 | 0.000 % |
75.93/76.04 c | 137569 | 720 42624 136214 | 55816 53297 55 | 0.000 % |
76.53/76.67 c | 138166 | 720 42624 136214 | 55816 53894 56 | 0.000 % |
77.13/77.29 c | 138824 | 720 42624 136214 | 55816 54552 56 | 0.000 % |
77.82/77.96 c | 139546 | 720 42624 136214 | 55816 55274 56 | 0.000 % |
78.82/78.96 c | 140338 | 720 42624 136214 | 55730 45879 55 | 0.000 % |
79.52/79.64 c | 141210 | 720 42624 136214 | 55730 46751 55 | 0.000 % |
80.32/80.45 c | 142168 | 720 42624 136214 | 55730 47709 55 | 0.000 % |
81.12/81.23 c | 143224 | 720 42624 136214 | 55730 48765 56 | 0.000 % |
82.02/82.13 c | 144382 | 720 42624 136214 | 55730 49923 55 | 0.000 % |
82.92/83.08 c | 145656 | 720 42624 136214 | 55730 51197 55 | 0.000 % |
83.92/84.00 c | 147056 | 720 42624 136214 | 55730 52597 55 | 0.025 % |
85.32/85.48 c | 148600 | 720 42624 136214 | 55730 54141 57 | 0.000 % |
85.42/85.55 c | 148700 | 720 42624 136214 | 55730 54241 57 | 0.000 % |
85.52/85.63 c | 148813 | 720 42624 136214 | 55730 54354 57 | 0.000 % |
85.62/85.74 c | 148934 | 720 42624 136214 | 55730 54475 57 | 0.000 % |
85.72/85.85 c | 149067 | 720 42624 136214 | 55730 54608 57 | 0.000 % |
85.92/86.04 c | 149213 | 720 42624 136214 | 55730 54754 57 | 0.000 % |
86.12/86.24 c | 149374 | 720 42624 136214 | 55730 54915 57 | 0.000 % |
86.32/86.43 c | 149551 | 720 42624 136214 | 55730 55092 57 | 0.000 % |
86.52/86.69 c | 149744 | 720 42624 136214 | 55730 55285 57 | 0.000 % |
86.72/86.86 c | 149956 | 720 42624 136214 | 55730 55497 57 | 0.000 % |
86.92/87.08 c | 150189 | 720 42624 136214 | 55542 55730 57 | 0.000 % |
87.12/87.28 c | 150445 | 720 42624 136214 | 55542 44829 54 | 0.026 % |
87.32/87.45 c | 150727 | 720 42624 136214 | 55542 45111 54 | 0.022 % |
87.52/87.68 c | 151037 | 720 42624 136214 | 55542 45421 54 | 0.000 % |
87.82/87.94 c | 151378 | 720 42624 136214 | 55542 45762 54 | 0.000 % |
88.11/88.25 c | 151750 | 720 42624 136214 | 55542 46134 54 | 0.022 % |
88.41/88.51 c | 152161 | 720 42624 136214 | 55542 46545 54 | 0.000 % |
88.61/88.72 c | 152610 | 720 42624 136214 | 55542 46994 54 | 0.000 % |
89.02/89.15 c | 153105 | 720 42624 136214 | 55542 47489 54 | 0.024 % |
89.31/89.47 c | 153647 | 720 42624 136214 | 55542 48031 54 | 0.000 % |
89.81/90.00 c | 154244 | 720 42624 136214 | 55542 48628 55 | 0.000 % |
90.52/90.63 c | 154901 | 720 42624 136214 | 55542 49285 54 | 0.024 % |
91.12/91.25 c | 155621 | 720 42624 136214 | 55542 50005 54 | 0.000 % |
91.61/91.78 c | 156414 | 720 42624 136214 | 55542 50798 54 | 0.000 % |
92.32/92.40 c | 157287 | 720 42624 136214 | 55542 51671 54 | 0.000 % |
93.11/93.28 c | 158246 | 720 42624 136214 | 55542 52630 54 | 0.023 % |
94.01/94.17 c | 159300 | 720 42624 136214 | 55542 53684 54 | 0.023 % |
95.01/95.16 c | 160460 | 720 42624 136214 | 54384 44317 51 | 0.023 % |
95.91/96.03 c | 161733 | 720 42624 136214 | 54384 45590 51 | 0.000 % |
97.11/97.23 c | 163138 | 720 42624 136214 | 54384 46995 51 | 0.023 % |
98.41/98.55 c | 164678 | 720 42624 136214 | 54384 48535 50 | 0.000 % |
100.01/100.15 c | 166372 | 720 42624 136214 | 54384 50229 50 | 0.023 % |
100.11/100.28 c | 166475 | 720 42624 136214 | 54384 50332 50 | 0.023 % |
100.31/100.43 c | 166585 | 720 42624 136214 | 54384 50442 50 | 0.023 % |
100.41/100.53 c | 166707 | 720 42624 136214 | 54384 50564 50 | 0.000 % |
100.51/100.66 c | 166842 | 720 42624 136214 | 54384 50699 50 | 0.000 % |
100.61/100.78 c | 166990 | 720 42624 136214 | 54384 50847 50 | 0.000 % |
100.81/100.93 c | 167152 | 720 42624 136214 | 54384 51009 50 | 0.000 % |
100.91/101.07 c | 167328 | 720 42624 136214 | 54384 51185 50 | 0.000 % |
101.01/101.19 c | 167521 | 720 42624 136214 | 54384 51378 50 | 0.024 % |
101.31/101.45 c | 167734 | 720 42624 136214 | 54384 51591 50 | 0.000 % |
101.61/101.72 c | 167967 | 720 42624 136214 | 54384 51824 50 | 0.000 % |
101.81/101.96 c | 168226 | 720 42624 136214 | 54384 52083 51 | 0.000 % |
102.11/102.20 c | 168509 | 720 42624 136214 | 54384 52366 51 | 0.000 % |
102.41/102.51 c | 168818 | 720 42624 136214 | 54384 52675 51 | 0.000 % |
102.60/102.75 c | 169157 | 720 42624 136214 | 54384 53014 51 | 0.000 % |
102.90/103.05 c | 169529 | 720 42624 136214 | 54384 53386 51 | 0.000 % |
103.21/103.40 c | 169942 | 720 42624 136214 | 54384 53799 52 | 0.000 % |
103.60/103.74 c | 170392 | 720 42624 136214 | 53858 43823 49 | 0.000 % |
103.90/104.06 c | 170889 | 720 42624 136214 | 53858 44320 49 | 0.000 % |
104.31/104.45 c | 171431 | 720 42624 136214 | 53858 44862 49 | 0.000 % |
104.70/104.88 c | 172027 | 720 42624 136214 | 53858 45458 49 | 0.000 % |
105.30/105.42 c | 172682 | 720 42624 136214 | 53858 46113 50 | 0.000 % |
105.80/105.95 c | 173402 | 720 42624 136214 | 53858 46833 50 | 0.000 % |
106.30/106.44 c | 174194 | 720 42624 136214 | 53858 47625 50 | 0.000 % |
106.80/106.96 c | 175065 | 720 42624 136214 | 53858 48496 50 | 0.000 % |
107.70/107.87 c | 176025 | 720 42624 136214 | 53858 49456 51 | 0.000 % |
108.70/108.90 c | 177080 | 720 42624 136214 | 53858 50511 52 | 0.000 % |
109.80/109.98 c | 178240 | 720 42624 136214 | 53858 51671 53 | 0.000 % |
111.10/111.26 c | 179513 | 720 42624 136214 | 53858 52944 53 | 0.000 % |
112.60/112.76 c | 180915 | 720 42624 136214 | 53434 44735 51 | 0.000 % |
113.60/113.75 c | 182456 | 720 42624 136214 | 53434 46276 52 | 0.000 % |
114.80/114.97 c | 184155 | 720 42624 136214 | 53434 47975 52 | 0.025 % |
116.20/116.34 c | 186018 | 720 42624 136214 | 53434 49838 51 | 0.000 % |
116.30/116.48 c | 186119 | 720 42624 136214 | 53434 49939 52 | 0.000 % |
116.40/116.59 c | 186232 | 720 42624 136214 | 53434 50052 52 | 0.000 % |
116.60/116.71 c | 186354 | 720 42624 136214 | 53434 50174 52 | 0.000 % |
116.70/116.81 c | 186487 | 720 42624 136214 | 53434 50307 52 | 0.023 % |
116.80/116.95 c | 186633 | 720 42624 136214 | 53434 50453 52 | 0.023 % |
116.90/117.06 c | 186796 | 720 42624 136214 | 53434 50616 52 | 0.000 % |
117.00/117.17 c | 186974 | 720 42624 136214 | 53434 50794 52 | 0.000 % |
117.19/117.30 c | 187167 | 720 42624 136214 | 53434 50987 52 | 0.000 % |
117.29/117.46 c | 187380 | 720 42624 136214 | 53434 51200 52 | 0.000 % |
117.50/117.62 c | 187613 | 720 42624 136214 | 53434 51433 52 | 0.000 % |
117.69/117.83 c | 187872 | 720 42624 136214 | 53434 51692 52 | 0.000 % |
117.89/118.04 c | 188153 | 720 42624 136214 | 53434 51973 52 | 0.000 % |
118.09/118.29 c | 188465 | 720 42624 136214 | 53434 52285 52 | 0.000 % |
118.39/118.51 c | 188808 | 720 42624 136214 | 53434 52628 52 | 0.022 % |
118.60/118.73 c | 189181 | 720 42624 136214 | 53434 53001 52 | 0.022 % |
118.89/119.02 c | 189591 | 720 42624 136214 | 53434 53411 52 | 0.000 % |
119.59/119.71 c | 190042 | 720 42624 136214 | 44625 44667 52 | 0.000 % |
120.19/120.30 c | 190538 | 720 42624 136214 | 44625 37471 54 | 0.000 % |
120.49/120.65 c | 191082 | 720 42624 136214 | 44625 38015 54 | 0.000 % |
120.90/121.08 c | 191680 | 720 42624 136214 | 44625 38613 55 | 0.000 % |
121.29/121.45 c | 192337 | 720 42624 136214 | 44625 39270 55 | 0.000 % |
121.69/121.82 c | 193059 | 720 42624 136214 | 44625 39992 55 | 0.000 % |
122.39/122.57 c | 193852 | 720 42624 136214 | 44625 40785 56 | 0.000 % |
123.09/123.23 c | 194724 | 720 42624 136214 | 44625 41657 56 | 0.000 % |
123.59/123.79 c | 195682 | 720 42624 136214 | 44625 42615 57 | 0.000 % |
124.49/124.62 c | 196736 | 720 42624 136214 | 44625 43669 58 | 0.000 % |
125.49/125.69 c | 197894 | 720 42624 136214 | 44625 44827 58 | 0.000 % |
126.49/126.67 c | 199168 | 720 42624 136214 | 44625 38667 56 | 0.000 % |
127.59/127.74 c | 200570 | 720 42624 136214 | 39499 33606 52 | 0.024 % |
128.49/128.61 c | 202110 | 720 42624 136214 | 39499 35146 54 | 0.000 % |
129.49/129.62 c | 203804 | 720 42624 136214 | 39499 36840 56 | 0.000 % |
130.79/130.99 c | 205668 | 720 42624 136214 | 39499 38704 56 | 0.000 % |
131.99/132.18 c | 207718 | 720 42624 136214 | 39499 35015 56 | 0.000 % |
132.09/132.24 c | 207818 | 720 42624 136214 | 39499 35115 56 | 0.000 % |
132.19/132.31 c | 207929 | 720 42624 136214 | 39499 35226 56 | 0.000 % |
132.19/132.38 c | 208050 | 720 42624 136214 | 39499 35347 56 | 0.025 % |
132.29/132.50 c | 208183 | 720 42624 136214 | 39499 35480 56 | 0.000 % |
132.39/132.59 c | 208332 | 720 42624 136214 | 39499 35629 56 | 0.000 % |
132.59/132.72 c | 208492 | 720 42624 136214 | 39499 35789 56 | 0.000 % |
132.69/132.82 c | 208668 | 720 42624 136214 | 39499 35965 56 | 0.000 % |
132.79/132.92 c | 208861 | 720 42624 136214 | 39499 36158 56 | 0.000 % |
132.89/133.01 c | 209074 | 720 42624 136214 | 39499 36371 56 | 0.000 % |
133.09/133.21 c | 209309 | 720 42624 136214 | 39499 36606 56 | 0.000 % |
133.29/133.41 c | 209565 | 720 42624 136214 | 39499 36862 56 | 0.000 % |
133.49/133.65 c | 209846 | 720 42624 136214 | 39499 37143 57 | 0.000 % |
133.69/133.83 c | 210157 | 720 42624 136214 | 37297 37454 57 | 0.022 % |
133.89/134.02 c | 210497 | 720 42624 136214 | 37297 32685 57 | 0.000 % |
134.09/134.23 c | 210869 | 720 42624 136214 | 37297 33057 57 | 0.022 % |
134.29/134.43 c | 211278 | 720 42624 136214 | 37297 33466 57 | 0.000 % |
134.49/134.63 c | 211729 | 720 42624 136214 | 37297 33917 57 | 0.023 % |
134.69/134.86 c | 212222 | 720 42624 136214 | 37297 34410 57 | 0.000 % |
134.99/135.18 c | 212764 | 720 42624 136214 | 37297 34952 56 | 0.021 % |
135.39/135.50 c | 213361 | 720 42624 136214 | 37297 35549 56 | 0.022 % |
135.79/135.97 c | 214017 | 720 42624 136214 | 37297 36205 56 | 0.000 % |
136.29/136.50 c | 214740 | 720 42624 136214 | 37297 36928 57 | 0.000 % |
136.89/137.07 c | 215532 | 720 42624 136214 | 37297 33114 55 | 0.000 % |
137.59/137.74 c | 216406 | 720 42624 136214 | 37297 33988 56 | 0.000 % |
138.19/138.30 c | 217364 | 720 42624 136214 | 37297 34946 57 | 0.000 % |
138.68/138.88 c | 218420 | 720 42624 136214 | 37297 36002 58 | 0.000 % |
139.28/139.45 c | 219579 | 720 42624 136214 | 37297 37161 58 | 0.000 % |
140.38/140.50 c | 220852 | 720 42624 136214 | 33385 30446 57 | 0.000 % |
141.28/141.45 c | 222255 | 720 42624 136214 | 33385 31849 58 | 0.000 % |
142.28/142.46 c | 223797 | 720 42624 136214 | 33385 33391 59 | 0.000 % |
143.38/143.54 c | 225491 | 720 42624 136214 | 33385 31746 57 | 0.000 % |
144.38/144.51 c | 227355 | 720 42624 136214 | 33385 33610 57 | 0.000 % |
145.48/145.69 c | 229404 | 720 42624 136214 | 33385 32298 56 | 0.000 % |
146.68/146.84 c | 231658 | 720 42624 136214 | 2147483647 34552 56 | 0.025 % |
146.68/146.89 c | 231758 | 720 42624 136214 | 2147483647 34652 56 | 0.025 % |
146.78/146.96 c | 231868 | 720 42624 136214 | 2147483647 34762 56 | 0.000 % |
146.88/147.02 c | 231991 | 720 42624 136214 | 2147483647 34885 55 | 0.021 % |
146.98/147.11 c | 232125 | 720 42624 136214 | 2147483647 35019 56 | 0.000 % |
146.98/147.18 c | 232271 | 720 42624 136214 | 2147483647 35165 55 | 0.022 % |
147.08/147.28 c | 232433 | 720 42624 136214 | 2147483647 35327 56 | 0.000 % |
147.18/147.40 c | 232609 | 720 42624 136214 | 2147483647 35503 55 | 0.000 % |
147.39/147.52 c | 232804 | 720 42624 136214 | 2147483647 35698 56 | 0.021 % |
147.49/147.66 c | 233017 | 720 42624 136214 | 2147483647 35911 55 | 0.024 % |
147.69/147.83 c | 233250 | 720 42624 136214 | 2147483647 36144 56 | 0.000 % |
147.89/148.04 c | 233513 | 720 42624 136214 | 2147483647 36407 56 | 0.000 % |
148.09/148.25 c | 233794 | 720 42624 136214 | 2147483647 36688 56 | 0.000 % |
148.29/148.45 c | 234106 | 720 42624 136214 | 2147483647 37000 56 | 0.000 % |
148.59/148.72 c | 234445 | 720 42624 136214 | 2147483647 37339 56 | 0.000 % |
148.79/148.97 c | 234817 | 720 42624 136214 | 2147483647 37711 56 | 0.000 % |
148.99/149.18 c | 235226 | 720 42624 136214 | 2147483647 38120 57 | 0.024 % |
149.29/149.44 c | 235675 | 720 42624 136214 | 2147483647 38569 57 | 0.000 % |
149.59/149.75 c | 236169 | 720 42624 136214 | 2147483647 39063 57 | 0.000 % |
149.99/150.16 c | 236715 | 720 42624 136214 | 2147483647 39609 57 | 0.000 % |
150.39/150.55 c | 237314 | 720 42624 136214 | 2147483647 40208 57 | 0.000 % |
150.89/151.03 c | 237970 | 720 42624 136214 | 2147483647 40864 57 | 0.000 % |
151.39/151.56 c | 238690 | 720 42624 136214 | 2147483647 41584 58 | 0.000 % |
151.98/152.10 c | 239483 | 720 42624 136214 | 2147483647 42377 58 | 0.000 % |
152.48/152.69 c | 240355 | 720 42624 136214 | 42894 37834 58 | 0.000 % |
153.08/153.27 c | 241314 | 720 42624 136214 | 42894 38793 58 | 0.000 % |
153.79/153.95 c | 242367 | 720 42624 136214 | 42894 39846 58 | 0.000 % |
154.48/154.63 c | 243525 | 720 42624 136214 | 42894 41004 58 | 0.000 % |
155.48/155.67 c | 244798 | 720 42624 136214 | 42894 42277 59 | 0.000 % |
156.68/156.83 c | 246200 | 720 42624 136214 | 42894 37856 57 | 0.000 % |
157.78/157.91 c | 247741 | 720 42624 136214 | 42894 39397 57 | 0.024 % |
158.98/159.16 c | 249435 | 720 42624 136214 | 42894 41091 57 | 0.000 % |
160.28/160.42 c | 251298 | 720 42624 136214 | 41659 37252 54 | 0.000 % |
161.48/161.68 c | 253350 | 720 42624 136214 | 41659 39304 54 | 0.000 % |
162.98/163.16 c | 255603 | 720 42624 136214 | 41659 41557 55 | 0.000 % |
164.58/164.75 c | 258081 | 720 42624 136214 | 41659 38599 56 | 0.000 % |
164.68/164.84 c | 258182 | 720 42624 136214 | 41659 38700 56 | 0.000 % |
164.78/164.92 c | 258295 | 720 42624 136214 | 41659 38813 56 | 0.000 % |
164.78/165.00 c | 258416 | 720 42624 136214 | 41659 38934 57 | 0.000 % |
164.98/165.10 c | 258549 | 720 42624 136214 | 41659 39067 57 | 0.000 % |
165.08/165.20 c | 258695 | 720 42624 136214 | 41659 39213 57 | 0.000 % |
165.18/165.32 c | 258857 | 720 42624 136214 | 41659 39375 57 | 0.000 % |
165.28/165.44 c | 259035 | 720 42624 136214 | 41659 39553 57 | 0.000 % |
165.48/165.63 c | 259228 | 720 42624 136214 | 41659 39746 57 | 0.000 % |
165.58/165.77 c | 259442 | 720 42624 136214 | 41659 39960 57 | 0.000 % |
165.68/165.90 c | 259675 | 720 42624 136214 | 41659 40193 57 | 0.000 % |
165.88/166.08 c | 259931 | 720 42624 136214 | 41659 40449 57 | 0.000 % |
166.08/166.25 c | 260216 | 720 42624 136214 | 40521 40734 57 | 0.023 % |
166.28/166.45 c | 260528 | 720 42624 136214 | 40521 35955 57 | 0.021 % |
166.48/166.69 c | 260869 | 720 42624 136214 | 40521 36296 57 | 0.000 % |
166.78/166.93 c | 261243 | 720 42624 136214 | 40521 36670 57 | 0.000 % |
166.98/167.15 c | 261653 | 720 42624 136214 | 40521 37080 57 | 0.000 % |
167.17/167.38 c | 262104 | 720 42624 136214 | 40521 37531 57 | 0.000 % |
167.47/167.66 c | 262598 | 720 42624 136214 | 40521 38025 57 | 0.000 % |
167.87/168.09 c | 263140 | 720 42624 136214 | 40521 38567 57 | 0.000 % |
168.37/168.51 c | 263736 | 720 42624 136214 | 40521 39163 58 | 0.000 % |
168.67/168.81 c | 264392 | 720 42624 136214 | 40521 39819 58 | 0.000 % |
169.07/169.25 c | 265112 | 720 42624 136214 | 40521 40539 58 | 0.021 % |
169.67/169.82 c | 265905 | 720 42624 136214 | 40521 36260 57 | 0.000 % |
170.38/170.53 c | 266776 | 720 42624 136214 | 40521 37131 57 | 0.000 % |
171.07/171.24 c | 267734 | 720 42624 136214 | 40521 38089 57 | 0.000 % |
171.77/171.97 c | 268789 | 720 42624 136214 | 40521 39144 57 | 0.000 % |
172.67/172.81 c | 269947 | 720 42624 136214 | 40521 40302 57 | 0.000 % |
173.47/173.64 c | 271220 | 720 42624 136214 | 40356 36425 55 | 0.000 % |
174.27/174.42 c | 272621 | 720 42624 136214 | 40356 37826 54 | 0.021 % |
175.07/175.25 c | 274161 | 720 42624 136214 | 40356 39366 54 | 0.022 % |
175.97/176.19 c | 275856 | 720 42624 136214 | 40356 36421 53 | 0.000 % |
176.98/177.17 c | 277721 | 720 42624 136214 | 40356 38286 53 | 0.023 % |
178.17/178.34 c | 279771 | 720 42624 136214 | 40356 40336 53 | 0.023 % |
179.47/179.69 c | 282025 | 720 42624 136214 | 40565 38292 51 | 0.000 % |
181.37/181.53 c | 284506 | 720 42624 136214 | 40565 40773 53 | 0.000 % |
183.27/183.46 c | 287231 | 720 42624 136214 | 40565 38738 53 | 0.000 % |
183.37/183.54 c | 287332 | 720 42624 136214 | 40565 38839 53 | 0.000 % |
183.47/183.63 c | 287444 | 720 42624 136214 | 40565 38951 53 | 0.000 % |
183.57/183.71 c | 287567 | 720 42624 136214 | 40565 39074 53 | 0.000 % |
183.67/183.85 c | 287702 | 720 42624 136214 | 40565 39209 53 | 0.000 % |
183.77/183.97 c | 287848 | 720 42624 136214 | 40565 39355 53 | 0.000 % |
183.87/184.08 c | 288012 | 720 42624 136214 | 40565 39519 53 | 0.000 % |
184.07/184.27 c | 288190 | 720 42624 136214 | 40565 39697 54 | 0.000 % |
184.27/184.40 c | 288383 | 720 42624 136214 | 40565 39890 54 | 0.000 % |
184.37/184.56 c | 288598 | 720 42624 136214 | 40565 40105 54 | 0.000 % |
184.57/184.76 c | 288832 | 720 42624 136214 | 40565 40339 54 | 0.000 % |
184.77/184.93 c | 289089 | 720 42624 136214 | 40565 40596 54 | 0.000 % |
184.96/185.15 c | 289370 | 720 42624 136214 | 40565 35611 53 | 0.000 % |
185.16/185.39 c | 289680 | 720 42624 136214 | 40565 35921 53 | 0.000 % |
185.36/185.54 c | 290020 | 720 42624 136214 | 36242 36261 53 | 0.000 % |
185.67/185.84 c | 290394 | 720 42624 136214 | 36242 31926 52 | 0.000 % |
185.86/186.08 c | 290803 | 720 42624 136214 | 36242 32335 53 | 0.000 % |
186.16/186.38 c | 291252 | 720 42624 136214 | 36242 32784 53 | 0.000 % |
186.46/186.68 c | 291748 | 720 42624 136214 | 36242 33280 54 | 0.000 % |
186.96/187.10 c | 292290 | 720 42624 136214 | 36242 33822 54 | 0.000 % |
187.26/187.43 c | 292886 | 720 42624 136214 | 36242 34418 55 | 0.000 % |
187.56/187.78 c | 293543 | 720 42624 136214 | 36242 35075 55 | 0.000 % |
188.06/188.25 c | 294266 | 720 42624 136214 | 36242 35798 56 | 0.000 % |
188.56/188.74 c | 295061 | 720 42624 136214 | 36242 36593 56 | 0.020 % |
189.16/189.37 c | 295932 | 720 42624 136214 | 36242 33328 58 | 0.000 % |
189.76/189.97 c | 296890 | 720 42624 136214 | 36242 34286 58 | 0.000 % |
190.36/190.54 c | 297944 | 720 42624 136214 | 36242 35340 58 | 0.000 % |
190.96/191.15 c | 299104 | 720 42624 136214 | 36242 36500 58 | 0.000 % |
191.66/191.83 c | 300377 | 720 42624 136214 | 33056 33432 59 | 0.000 % |
192.56/192.78 c | 301779 | 720 42624 136214 | 33056 31070 61 | 0.000 % |
193.56/193.75 c | 303322 | 720 42624 136214 | 33056 32613 61 | 0.000 % |
194.56/194.70 c | 305016 | 720 42624 136214 | 33056 30257 59 | 0.000 % |
195.86/196.03 c | 306879 | 720 42624 136214 | 33056 32120 61 | 0.000 % |
197.16/197.30 c | 308928 | 720 42624 136214 | 33056 30599 60 | 0.000 % |
198.56/198.74 c | 311183 | 720 42624 136214 | 31672 29540 58 | 0.000 % |
199.86/200.01 c | 313666 | 720 42624 136214 | 31672 32023 58 | 0.000 % |
201.25/201.42 c | 316393 | 720 42624 136214 | 31672 31548 55 | 0.000 % |
202.95/203.14 c | 319390 | 720 42624 136214 | 31672 31348 53 | 0.000 % |
202.95/203.19 c | 319492 | 720 42624 136214 | 31672 31450 53 | 0.000 % |
203.05/203.27 c | 319602 | 720 42624 136214 | 31672 31560 53 | 0.000 % |
203.15/203.35 c | 319724 | 720 42624 136214 | 31672 31682 53 | 0.000 % |
203.26/203.45 c | 319860 | 720 42624 136214 | 31672 28650 53 | 0.026 % |
203.36/203.53 c | 320007 | 720 42624 136214 | 2147483647 28797 53 | 0.026 % |
203.45/203.62 c | 320171 | 720 42624 136214 | 2147483647 28961 53 | 0.000 % |
203.45/203.69 c | 320348 | 720 42624 136214 | 2147483647 29138 53 | 0.000 % |
203.55/203.79 c | 320541 | 720 42624 136214 | 2147483647 29331 53 | 0.000 % |
203.75/203.90 c | 320753 | 720 42624 136214 | 2147483647 29543 53 | 0.000 % |
203.85/204.04 c | 320988 | 720 42624 136214 | 2147483647 29778 53 | 0.000 % |
203.95/204.14 c | 321244 | 720 42624 136214 | 2147483647 30034 53 | 0.000 % |
204.05/204.26 c | 321528 | 720 42624 136214 | 2147483647 30318 53 | 0.000 % |
204.25/204.45 c | 321840 | 720 42624 136214 | 2147483647 30630 54 | 0.000 % |
204.46/204.64 c | 322182 | 720 42624 136214 | 2147483647 30972 54 | 0.000 % |
204.65/204.88 c | 322555 | 720 42624 136214 | 2147483647 31345 54 | 0.000 % |
204.95/205.15 c | 322964 | 720 42624 136214 | 2147483647 31754 55 | 0.000 % |
205.25/205.43 c | 323417 | 720 42624 136214 | 2147483647 32207 55 | 0.000 % |
205.46/205.68 c | 323910 | 720 42624 136214 | 2147483647 32700 55 | 0.025 % |
205.75/205.96 c | 324453 | 720 42624 136214 | 2147483647 33243 55 | 0.000 % |
206.05/206.28 c | 325050 | 720 42624 136214 | 2147483647 33840 55 | 0.000 % |
206.56/206.78 c | 325708 | 720 42624 136214 | 2147483647 34498 55 | 0.000 % |
207.05/207.20 c | 326432 | 720 42624 136214 | 2147483647 35222 56 | 0.024 % |
207.45/207.61 c | 327225 | 720 42624 136214 | 2147483647 36015 56 | 0.000 % |
207.95/208.10 c | 328097 | 720 42624 136214 | 2147483647 36887 56 | 0.000 % |
208.65/208.82 c | 329057 | 720 42624 136214 | 2147483647 37847 57 | 0.000 % |
209.35/209.53 c | 330111 | 720 42624 136214 | 2147483647 38901 58 | 0.000 % |
210.25/210.48 c | 331271 | 720 42624 136214 | 2147483647 40061 59 | 0.000 % |
211.25/211.47 c | 332546 | 720 42624 136214 | 2147483647 41336 59 | 0.000 % |
212.35/212.52 c | 333947 | 720 42624 136214 | 2147483647 42737 60 | 0.000 % |
213.55/213.72 c | 335490 | 720 42624 136214 | 2147483647 44280 59 | 0.000 % |
214.65/214.89 c | 337185 | 720 42624 136214 | 2147483647 45975 59 | 0.022 % |
216.15/216.38 c | 339049 | 720 42624 136214 | 2147483647 47839 59 | 0.022 % |
218.25/218.40 c | 341098 | 720 42624 136214 | 48790 42432 59 | 0.000 % |
220.35/220.57 c | 343352 | 720 42624 136214 | 48790 44686 60 | 0.000 % |
222.45/222.67 c | 345833 | 720 42624 136214 | 48790 47167 61 | 0.000 % |
225.35/225.52 c | 348559 | 720 42624 136214 | 48790 41187 62 | 0.000 % |
228.44/228.67 c | 351558 | 720 42624 136214 | 42629 36157 64 | 0.000 % |
232.14/232.38 c | 354854 | 720 42624 136214 | 42629 39453 66 | 0.000 % |
232.24/232.46 c | 354955 | 720 42624 136214 | 42629 39554 66 | 0.000 % |
232.34/232.59 c | 355067 | 720 42624 136214 | 42629 39666 66 | 0.000 % |
232.54/232.74 c | 355188 | 720 42624 136214 | 42629 39787 66 | 0.000 % |
232.74/232.92 c | 355321 | 720 42624 136214 | 42629 39920 66 | 0.000 % |
232.84/233.03 c | 355468 | 720 42624 136214 | 42629 40067 66 | 0.000 % |
232.94/233.19 c | 355630 | 720 42624 136214 | 42629 40229 66 | 0.022 % |
233.14/233.32 c | 355809 | 720 42624 136214 | 42629 40408 66 | 0.000 % |
233.24/233.49 c | 356003 | 720 42624 136214 | 42629 40602 66 | 0.023 % |
233.54/233.76 c | 356215 | 720 42624 136214 | 42629 40814 66 | 0.000 % |
233.84/234.00 c | 356451 | 720 42624 136214 | 42629 41050 66 | 0.026 % |
233.94/234.19 c | 356708 | 720 42624 136214 | 42629 41307 66 | 0.000 % |
234.14/234.37 c | 356990 | 720 42624 136214 | 42629 41589 66 | 0.026 % |
234.34/234.56 c | 357301 | 720 42624 136214 | 42629 41900 66 | 0.022 % |
234.54/234.79 c | 357643 | 720 42624 136214 | 42629 42242 65 | 0.000 % |
234.94/235.12 c | 358015 | 720 42624 136214 | 42629 42614 65 | 0.000 % |
235.34/235.59 c | 358426 | 720 42624 136214 | 42629 34223 63 | 0.000 % |
235.64/235.89 c | 358878 | 720 42624 136214 | 42629 34675 63 | 0.000 % |
236.04/236.27 c | 359371 | 720 42624 136214 | 42629 35168 64 | 0.000 % |
236.44/236.66 c | 359913 | 720 42624 136214 | 42629 35710 63 | 0.000 % |
236.84/237.05 c | 360509 | 720 42624 136214 | 35799 29318 62 | 0.022 % |
237.44/237.63 c | 361165 | 720 42624 136214 | 35799 29974 63 | 0.000 % |
237.74/237.99 c | 361885 | 720 42624 136214 | 35799 30694 63 | 0.000 % |
238.14/238.34 c | 362680 | 720 42624 136214 | 35799 31489 63 | 0.022 % |
238.64/238.83 c | 363554 | 720 42624 136214 | 35799 32363 62 | 0.022 % |
239.44/239.63 c | 364514 | 720 42624 136214 | 35799 33323 63 | 0.000 % |
240.04/240.27 c | 365571 | 720 42624 136214 | 35799 34380 64 | 0.000 % |
241.03/241.21 c | 366729 | 720 42624 136214 | 35799 35538 64 | 0.000 % |
241.74/241.90 c | 368006 | 720 42624 136214 | 35799 31742 60 | 0.000 % |
242.94/243.18 c | 369411 | 720 42624 136214 | 35799 33147 62 | 0.000 % |
244.23/244.47 c | 370952 | 720 42624 136214 | 33737 29925 60 | 0.000 % |
245.53/245.75 c | 372646 | 720 42624 136214 | 33737 31619 61 | 0.000 % |
246.73/246.93 c | 374509 | 720 42624 136214 | 33737 33482 61 | 0.000 % |
248.44/248.66 c | 376560 | 720 42624 136214 | 33737 31524 59 | 0.000 % |
250.23/250.40 c | 378813 | 720 42624 136214 | 33737 33777 61 | 0.000 % |
252.03/252.29 c | 381293 | 720 42624 136214 | 31194 28983 61 | 0.000 % |
254.33/254.56 c | 384018 | 720 42624 136214 | 31194 28109 64 | 0.000 % |
256.83/257.02 c | 387016 | 720 42624 136214 | 31194 31107 66 | 0.000 % |
259.83/260.04 c | 390313 | 720 42624 136214 | 30403 30715 66 | 0.000 % |
261.73/261.97 c | 393939 | 720 42624 136214 | 30403 27714 63 | 0.000 % |
261.83/262.03 c | 394040 | 720 42624 136214 | 30403 27815 63 | 0.000 % |
261.93/262.15 c | 394151 | 720 42624 136214 | 30403 27926 63 | 0.000 % |
262.03/262.20 c | 394272 | 720 42624 136214 | 30403 28047 63 | 0.000 % |
262.03/262.25 c | 394405 | 720 42624 136214 | 30403 28180 63 | 0.000 % |
262.13/262.30 c | 394551 | 720 42624 136214 | 30403 28326 63 | 0.000 % |
262.23/262.43 c | 394712 | 720 42624 136214 | 30403 28487 63 | 0.000 % |
262.33/262.55 c | 394889 | 720 42624 136214 | 30403 28664 63 | 0.000 % |
262.43/262.64 c | 395082 | 720 42624 136214 | 30403 28857 63 | 0.000 % |
262.63/262.83 c | 395294 | 720 42624 136214 | 30403 29069 64 | 0.000 % |
262.73/262.98 c | 395527 | 720 42624 136214 | 30403 29302 64 | 0.000 % |
263.03/263.24 c | 395784 | 720 42624 136214 | 30403 29559 64 | 0.000 % |
263.33/263.53 c | 396067 | 720 42624 136214 | 30403 29842 64 | 0.000 % |
263.62/263.89 c | 396376 | 720 42624 136214 | 30403 30151 64 | 0.000 % |
263.92/264.18 c | 396715 | 720 42624 136214 | 30403 30490 65 | 0.000 % |
264.22/264.44 c | 397091 | 720 42624 136214 | 30403 27817 63 | 0.000 % |
264.62/264.83 c | 397502 | 720 42624 136214 | 30403 28228 64 | 0.000 % |
265.02/265.27 c | 397951 | 720 42624 136214 | 30403 28677 64 | 0.000 % |
265.42/265.63 c | 398444 | 720 42624 136214 | 30403 29170 64 | 0.000 % |
265.82/266.07 c | 398986 | 720 42624 136214 | 30403 29712 64 | 0.024 % |
266.22/266.43 c | 399584 | 720 42624 136214 | 30403 30310 63 | 0.025 % |
266.72/266.97 c | 400240 | 720 42624 136214 | 2147483647 30966 64 | 0.000 % |
267.22/267.48 c | 400960 | 720 42624 136214 | 2147483647 31686 64 | 0.000 % |
268.02/268.21 c | 401752 | 720 42624 136214 | 2147483647 32478 65 | 0.000 % |
268.62/268.87 c | 402624 | 720 42624 136214 | 2147483647 33350 65 | 0.000 % |
269.42/269.70 c | 403583 | 720 42624 136214 | 2147483647 34309 65 | 0.000 % |
270.42/270.63 c | 404638 | 720 42624 136214 | 2147483647 35364 66 | 0.000 % |
271.12/271.35 c | 405798 | 720 42624 136214 | 2147483647 36524 66 | 0.000 % |
272.02/272.26 c | 407071 | 720 42624 136214 | 2147483647 37797 66 | 0.000 % |
273.22/273.50 c | 408471 | 720 42624 136214 | 2147483647 39197 68 | 0.000 % |
274.53/274.79 c | 410011 | 720 42624 136214 | 40726 40737 69 | 0.000 % |
275.73/275.98 c | 411705 | 720 42624 136214 | 40726 36030 67 | 0.000 % |
277.43/277.63 c | 413569 | 720 42624 136214 | 40726 37894 67 | 0.000 % |
279.03/279.23 c | 415619 | 720 42624 136214 | 40726 39944 68 | 0.000 % |
280.62/280.87 c | 417872 | 720 42624 136214 | 40726 36311 65 | 0.000 % |
282.12/282.38 c | 420352 | 720 42624 136214 | 38444 38791 64 | 0.000 % |
283.53/283.80 c | 423078 | 720 42624 136214 | 38444 36240 62 | 0.000 % |
285.73/285.91 c | 426076 | 720 42624 136214 | 38444 34585 63 | 0.000 % |
288.72/288.92 c | 429372 | 720 42624 136214 | 38444 37881 67 | 0.000 % |
291.22/291.48 c | 432997 | 720 42624 136214 | 38510 36366 65 | 0.000 % |
294.12/294.37 c | 436985 | 720 42624 136214 | 38510 34924 61 | 0.000 % |
294.22/294.42 c | 437088 | 720 42624 136214 | 38510 35027 61 | 0.000 % |
294.32/294.53 c | 437198 | 720 42624 136214 | 38510 35137 61 | 0.000 % |
294.42/294.63 c | 437322 | 720 42624 136214 | 38510 35261 61 | 0.000 % |
294.52/294.74 c | 437455 | 720 42624 136214 | 38510 35394 61 | 0.000 % |
294.62/294.82 c | 437601 | 720 42624 136214 | 38510 35540 61 | 0.000 % |
294.72/294.92 c | 437763 | 720 42624 136214 | 38510 35702 61 | 0.000 % |
294.82/295.02 c | 437939 | 720 42624 136214 | 38510 35878 61 | 0.000 % |
294.92/295.10 c | 438135 | 720 42624 136214 | 38510 36074 61 | 0.022 % |
294.92/295.18 c | 438347 | 720 42624 136214 | 38510 36286 61 | 0.000 % |
295.12/295.34 c | 438581 | 720 42624 136214 | 38510 36520 61 | 0.000 % |
295.32/295.53 c | 438838 | 720 42624 136214 | 38510 36777 61 | 0.000 % |
295.52/295.73 c | 439120 | 720 42624 136214 | 38510 37059 61 | 0.000 % |
295.72/295.92 c | 439429 | 720 42624 136214 | 38510 37368 61 | 0.000 % |
295.92/296.15 c | 439768 | 720 42624 136214 | 38510 37707 61 | 0.000 % |
296.12/296.39 c | 440141 | 720 42624 136214 | 37942 38080 61 | 0.022 % |
296.42/296.68 c | 440550 | 720 42624 136214 | 37942 33199 58 | 0.022 % |
296.82/297.02 c | 440999 | 720 42624 136214 | 37942 33648 58 | 0.000 % |
297.22/297.41 c | 441492 | 720 42624 136214 | 37942 34141 58 | 0.000 % |
297.62/297.87 c | 442035 | 720 42624 136214 | 37942 34684 58 | 0.000 % |
298.22/298.45 c | 442634 | 720 42624 136214 | 37942 35283 59 | 0.000 % |
298.72/298.96 c | 443289 | 720 42624 136214 | 37942 35938 59 | 0.000 % |
299.02/299.29 c | 444009 | 720 42624 136214 | 37942 36658 59 | 0.025 % |
299.82/300.04 c | 444802 | 720 42624 136214 | 37942 37451 60 | 0.000 % |
300.42/300.66 c | 445673 | 720 42624 136214 | 37942 33128 61 | 0.000 % |
301.02/301.22 c | 446631 | 720 42624 136214 | 37942 34086 60 | 0.024 % |
301.72/301.93 c | 447684 | 720 42624 136214 | 37942 35139 61 | 0.000 % |
302.32/302.54 c | 448842 | 720 42624 136214 | 37942 36297 61 | 0.000 % |
303.11/303.35 c | 450115 | 720 42624 136214 | 37456 37570 60 | 0.000 % |
303.81/304.05 c | 451515 | 720 42624 136214 | 37456 34596 58 | 0.000 % |
304.61/304.86 c | 453057 | 720 42624 136214 | 37456 36138 59 | 0.000 % |
306.01/306.23 c | 454753 | 720 42624 136214 | 37456 32634 55 | 0.000 % |
307.21/307.45 c | 456616 | 720 42624 136214 | 37456 34497 57 | 0.000 % |
308.21/308.49 c | 458666 | 720 42624 136214 | 37456 36547 57 | 0.000 % |
309.71/309.97 c | 460921 | 720 42624 136214 | 33134 30045 57 | 0.000 % |
311.12/311.39 c | 463401 | 720 42624 136214 | 33134 32525 57 | 0.000 % |
312.61/312.87 c | 466128 | 720 42624 136214 | 33134 31908 56 | 0.023 % |
314.51/314.72 c | 469127 | 720 42624 136214 | 33134 31565 54 | 0.000 % |
316.91/317.19 c | 472423 | 720 42624 136214 | 2147483647 34861 55 | 0.000 % |
319.41/319.62 c | 476049 | 720 42624 136214 | 2147483647 38487 54 | 0.023 % |
321.61/321.80 c | 480037 | 720 42624 136214 | 42438 42475 58 | 0.000 % |
324.91/325.15 c | 484422 | 720 42624 136214 | 42438 41654 62 | 0.000 % |
325.01/325.27 c | 484523 | 720 42624 136214 | 42438 41755 63 | 0.000 % |
325.11/325.35 c | 484633 | 720 42624 136214 | 42438 41865 63 | 0.000 % |
325.21/325.45 c | 484756 | 720 42624 136214 | 42438 41988 63 | 0.000 % |
325.31/325.55 c | 484889 | 720 42624 136214 | 42438 42121 63 | 0.000 % |
325.41/325.65 c | 485035 | 720 42624 136214 | 42438 42267 63 | 0.000 % |
325.60/325.81 c | 485195 | 720 42624 136214 | 42438 42427 63 | 0.000 % |
325.70/325.97 c | 485375 | 720 42624 136214 | 42438 42607 63 | 0.000 % |
325.90/326.17 c | 485568 | 720 42624 136214 | 42438 38069 61 | 0.028 % |
326.10/326.33 c | 485780 | 720 42624 136214 | 42438 38281 61 | 0.000 % |
326.20/326.45 c | 486014 | 720 42624 136214 | 42438 38515 61 | 0.000 % |
326.41/326.64 c | 486272 | 720 42624 136214 | 42438 38773 61 | 0.000 % |
326.51/326.78 c | 486554 | 720 42624 136214 | 42438 39055 61 | 0.000 % |
326.80/327.05 c | 486864 | 720 42624 136214 | 42438 39365 62 | 0.000 % |
327.00/327.27 c | 487204 | 720 42624 136214 | 42438 39705 62 | 0.000 % |
327.30/327.52 c | 487578 | 720 42624 136214 | 42438 40079 62 | 0.000 % |
327.61/327.86 c | 487987 | 720 42624 136214 | 42438 40488 62 | 0.000 % |
328.00/328.20 c | 488436 | 720 42624 136214 | 42438 40937 62 | 0.000 % |
328.40/328.65 c | 488930 | 720 42624 136214 | 42438 41431 62 | 0.000 % |
328.80/329.10 c | 489474 | 720 42624 136214 | 42438 41975 62 | 0.000 % |
329.30/329.53 c | 490071 | 720 42624 136214 | 42502 42572 62 | 0.000 % |
329.80/330.02 c | 490726 | 720 42624 136214 | 42502 38531 61 | 0.000 % |
330.20/330.43 c | 491448 | 720 42624 136214 | 42502 39253 61 | 0.000 % |
330.60/330.89 c | 492242 | 720 42624 136214 | 42502 40047 61 | 0.000 % |
331.10/331.38 c | 493114 | 720 42624 136214 | 42502 40919 60 | 0.020 % |
331.60/331.85 c | 494073 | 720 42624 136214 | 42502 41878 60 | 0.021 % |
332.60/332.82 c | 495126 | 720 42624 136214 | 42502 38459 62 | 0.000 % |
333.30/333.58 c | 496284 | 720 42624 136214 | 42502 39617 62 | 0.000 % |
334.00/334.23 c | 497560 | 720 42624 136214 | 42502 40893 63 | 0.022 % |
335.20/335.50 c | 498960 | 720 42624 136214 | 42502 42293 64 | 0.000 % |
336.40/336.61 c | 500507 | 720 42624 136214 | 38681 34855 66 | 0.000 % |
337.90/338.11 c | 502202 | 720 42624 136214 | 38681 36550 67 | 0.000 % |
339.70/339.99 c | 504066 | 720 42624 136214 | 38681 38414 68 | 0.000 % |
341.60/341.89 c | 506116 | 720 42624 136214 | 38681 34499 68 | 0.000 % |
343.19/343.47 c | 508371 | 720 42624 136214 | 38681 36754 68 | 0.024 % |
344.79/345.06 c | 510851 | 720 42624 136214 | 38385 33094 63 | 0.000 % |
346.39/346.62 c | 513578 | 720 42624 136214 | 38385 35821 62 | 0.000 % |
348.79/349.05 c | 516576 | 720 42624 136214 | 38385 33499 63 | 0.000 % |
351.79/352.01 c | 519872 | 720 42624 136214 | 38385 36795 66 | 0.000 % |
354.69/354.93 c | 523497 | 720 42624 136214 | 36924 34512 65 | 0.000 % |
357.49/357.75 c | 527486 | 720 42624 136214 | 36924 32364 60 | 0.000 % |
360.49/360.76 c | 531871 | 720 42624 136214 | 34881 31429 56 | 0.021 % |
363.89/364.12 c | 536694 | 720 42624 136214 | 34881 31717 56 | 0.021 % |
363.99/364.21 c | 536794 | 720 42624 136214 | 34881 31817 56 | 0.021 % |
364.09/364.33 c | 536906 | 720 42624 136214 | 34881 31929 56 | 0.021 % |
364.19/364.44 c | 537028 | 720 42624 136214 | 34881 32051 56 | 0.021 % |
364.29/364.56 c | 537161 | 720 42624 136214 | 34881 32184 56 | 0.000 % |
364.39/364.66 c | 537307 | 720 42624 136214 | 34881 32330 57 | 0.000 % |
364.49/364.76 c | 537467 | 720 42624 136214 | 34881 32490 57 | 0.000 % |
364.59/364.89 c | 537647 | 720 42624 136214 | 34881 32670 57 | 0.000 % |
364.69/364.97 c | 537840 | 720 42624 136214 | 34881 32863 57 | 0.000 % |
364.89/365.12 c | 538052 | 720 42624 136214 | 34881 33075 57 | 0.000 % |
365.08/365.32 c | 538285 | 720 42624 136214 | 34881 33308 57 | 0.000 % |
365.18/365.46 c | 538543 | 720 42624 136214 | 34881 33566 57 | 0.000 % |
365.38/365.65 c | 538824 | 720 42624 136214 | 34881 33847 58 | 0.000 % |
365.58/365.86 c | 539134 | 720 42624 136214 | 34881 34157 58 | 0.000 % |
365.78/366.02 c | 539473 | 720 42624 136214 | 34881 34496 58 | 0.000 % |
365.99/366.25 c | 539850 | 720 42624 136214 | 34881 34873 58 | 0.000 % |
366.28/366.55 c | 540259 | 720 42624 136214 | 35025 31199 55 | 0.023 % |
366.58/366.82 c | 540713 | 720 42624 136214 | 35025 31653 54 | 0.023 % |
366.78/367.08 c | 541207 | 720 42624 136214 | 35025 32147 55 | 0.000 % |
367.09/367.39 c | 541750 | 720 42624 136214 | 35025 32690 55 | 0.000 % |
367.38/367.66 c | 542346 | 720 42624 136214 | 35025 33286 55 | 0.000 % |
367.88/368.10 c | 543001 | 720 42624 136214 | 35025 33941 55 | 0.000 % |
368.29/368.58 c | 543721 | 720 42624 136214 | 35025 34661 56 | 0.000 % |
368.88/369.11 c | 544515 | 720 42624 136214 | 35025 31932 53 | 0.000 % |
369.38/369.61 c | 545386 | 720 42624 136214 | 35025 32803 54 | 0.000 % |
369.88/370.18 c | 546344 | 720 42624 136214 | 35025 33761 54 | 0.000 % |
370.38/370.68 c | 547398 | 720 42624 136214 | 35025 34815 54 | 0.000 % |
370.98/371.27 c | 548556 | 720 42624 136214 | 35025 32439 52 | 0.025 % |
371.78/372.09 c | 549830 | 720 42624 136214 | 35025 33713 54 | 0.000 % |
372.48/372.74 c | 551232 | 720 42624 136214 | 2147483647 35115 55 | 0.000 % |
373.18/373.40 c | 552772 | 720 42624 136214 | 2147483647 36655 54 | 0.023 % |
374.08/374.30 c | 554468 | 720 42624 136214 | 2147483647 38351 54 | 0.000 % |
375.08/375.33 c | 556331 | 720 42624 136214 | 2147483647 40214 54 | 0.000 % |
376.48/376.77 c | 558380 | 720 42624 136214 | 2147483647 42263 53 | 0.023 % |
377.68/377.99 c | 560634 | 720 42624 136214 | 2147483647 44517 53 | 0.023 % |
379.08/379.39 c | 563113 | 720 42624 136214 | 2147483647 46996 53 | 0.000 % |
381.08/381.35 c | 565839 | 720 42624 136214 | 2147483647 49722 54 | 0.000 % |
383.27/383.53 c | 568837 | 720 42624 136214 | 2147483647 52720 55 | 0.000 % |
385.27/385.53 c | 572133 | 720 42624 136214 | 53883 48731 54 | 0.000 % |
387.57/387.87 c | 575763 | 720 42624 136214 | 53883 52361 54 | 0.022 % |
390.57/390.87 c | 579750 | 720 42624 136214 | 53883 48108 53 | 0.000 % |
393.27/393.55 c | 584135 | 720 42624 136214 | 48358 44775 51 | 0.022 % |
396.97/397.29 c | 588959 | 720 42624 136214 | 48358 41612 49 | 0.000 % |
400.27/400.55 c | 594266 | 720 42624 136214 | 42654 39904 50 | 0.000 % |
400.37/400.65 c | 594368 | 720 42624 136214 | 42654 40006 50 | 0.022 % |
400.47/400.73 c | 594478 | 720 42624 136214 | 42654 40116 50 | 0.025 % |
400.57/400.82 c | 594600 | 720 42624 136214 | 42654 40238 50 | 0.000 % |
400.67/400.93 c | 594735 | 720 42624 136214 | 42654 40373 50 | 0.022 % |
400.77/401.09 c | 594882 | 720 42624 136214 | 42654 40520 50 | 0.022 % |
400.97/401.20 c | 595043 | 720 42624 136214 | 42654 40681 51 | 0.022 % |
401.07/401.33 c | 595220 | 720 42624 136214 | 42654 40858 51 | 0.000 % |
401.17/401.45 c | 595414 | 720 42624 136214 | 42654 41052 51 | 0.000 % |
401.27/401.58 c | 595626 | 720 42624 136214 | 42654 41264 51 | 0.000 % |
401.47/401.71 c | 595861 | 720 42624 136214 | 42654 41499 51 | 0.000 % |
401.57/401.85 c | 596117 | 720 42624 136214 | 42654 41755 51 | 0.000 % |
401.77/402.02 c | 596398 | 720 42624 136214 | 42654 42036 52 | 0.000 % |
401.97/402.24 c | 596708 | 720 42624 136214 | 42654 42346 52 | 0.000 % |
402.17/402.44 c | 597047 | 720 42624 136214 | 42654 42685 52 | 0.021 % |
402.47/402.71 c | 597421 | 720 42624 136214 | 42654 36927 50 | 0.000 % |
402.67/402.92 c | 597833 | 720 42624 136214 | 42654 37339 51 | 0.000 % |
402.87/403.12 c | 598284 | 720 42624 136214 | 42654 37790 51 | 0.000 % |
403.07/403.36 c | 598777 | 720 42624 136214 | 42654 38283 51 | 0.000 % |
403.47/403.73 c | 599321 | 720 42624 136214 | 42654 38827 51 | 0.000 % |
403.77/404.06 c | 599917 | 720 42624 136214 | 42654 39423 51 | 0.000 % |
404.17/404.41 c | 600572 | 720 42624 136214 | 39508 35569 50 | 0.000 % |
404.57/404.82 c | 601293 | 720 42624 136214 | 39508 36290 51 | 0.000 % |
404.97/405.21 c | 602086 | 720 42624 136214 | 39508 37083 52 | 0.000 % |
405.47/405.71 c | 602958 | 720 42624 136214 | 39508 37955 53 | 0.000 % |
405.87/406.14 c | 603917 | 720 42624 136214 | 39508 38914 54 | 0.000 % |
406.37/406.66 c | 604970 | 720 42624 136214 | 39508 35984 53 | 0.000 % |
406.97/407.26 c | 606128 | 720 42624 136214 | 39508 37142 53 | 0.021 % |
407.46/407.79 c | 607404 | 720 42624 136214 | 39508 38418 53 | 0.000 % |
408.26/408.57 c | 608808 | 720 42624 136214 | 39508 39822 53 | 0.000 % |
409.16/409.43 c | 610349 | 720 42624 136214 | 2147483647 37381 52 | 0.000 % |
410.07/410.34 c | 612046 | 720 42624 136214 | 2147483647 39078 52 | 0.021 % |
411.36/411.68 c | 613910 | 720 42624 136214 | 2147483647 40942 54 | 0.000 % |
412.46/412.80 c | 615961 | 720 42624 136214 | 2147483647 42993 54 | 0.000 % |
413.66/413.95 c | 618214 | 720 42624 136214 | 2147483647 45246 54 | 0.026 % |
415.26/415.52 c | 620694 | 720 42624 136214 | 2147483647 47726 54 | 0.000 % |
417.36/417.67 c | 623419 | 720 42624 136214 | 2147483647 50451 54 | 0.000 % |
419.26/419.51 c | 626416 | 720 42624 136214 | 2147483647 53448 54 | 0.000 % |
421.66/421.90 c | 629713 | 720 42624 136214 | 2147483647 56745 53 | 0.000 % |
424.06/424.37 c | 633338 | 720 42624 136214 | 57032 52418 53 | 0.000 % |
427.76/428.06 c | 637326 | 720 42624 136214 | 57032 56406 53 | 0.026 % |
431.56/431.81 c | 641714 | 720 42624 136214 | 48870 42097 47 | 0.026 % |
435.15/435.48 c | 646537 | 720 42624 136214 | 48870 46920 46 | 0.026 % |
438.66/438.95 c | 651842 | 720 42624 136214 | 42599 38057 50 | 0.000 % |
442.15/442.43 c | 657677 | 720 42624 136214 | 42599 39598 51 | 0.000 % |
442.15/442.47 c | 657777 | 720 42624 136214 | 42599 39698 51 | 0.025 % |
442.25/442.53 c | 657887 | 720 42624 136214 | 42599 39808 51 | 0.000 % |
442.25/442.59 c | 658008 | 720 42624 136214 | 42599 39929 51 | 0.026 % |
442.45/442.72 c | 658143 | 720 42624 136214 | 42599 40064 52 | 0.000 % |
442.55/442.81 c | 658290 | 720 42624 136214 | 42599 40211 52 | 0.000 % |
442.65/442.91 c | 658450 | 720 42624 136214 | 42599 40371 52 | 0.000 % |
442.75/443.06 c | 658626 | 720 42624 136214 | 42599 40547 52 | 0.000 % |
442.95/443.21 c | 658819 | 720 42624 136214 | 42599 40740 52 | 0.024 % |
442.95/443.29 c | 659033 | 720 42624 136214 | 42599 40954 52 | 0.000 % |
443.15/443.47 c | 659266 | 720 42624 136214 | 42599 41187 52 | 0.000 % |
443.35/443.64 c | 659522 | 720 42624 136214 | 42599 41443 52 | 0.000 % |
443.55/443.83 c | 659805 | 720 42624 136214 | 42599 41726 52 | 0.000 % |
443.75/444.02 c | 660114 | 720 42624 136214 | 2147483647 42035 53 | 0.000 % |
443.95/444.23 c | 660453 | 720 42624 136214 | 2147483647 42374 53 | 0.000 % |
444.15/444.46 c | 660827 | 720 42624 136214 | 2147483647 42748 53 | 0.000 % |
444.44/444.71 c | 661236 | 720 42624 136214 | 2147483647 43157 53 | 0.000 % |
444.64/444.96 c | 661685 | 720 42624 136214 | 2147483647 43606 53 | 0.000 % |
444.94/445.22 c | 662182 | 720 42624 136214 | 2147483647 44103 54 | 0.000 % |
445.34/445.64 c | 662724 | 720 42624 136214 | 2147483647 44645 54 | 0.000 % |
445.74/446.04 c | 663321 | 720 42624 136214 | 2147483647 45242 54 | 0.000 % |
446.14/446.46 c | 663978 | 720 42624 136214 | 2147483647 45899 55 | 0.000 % |
446.64/446.91 c | 664700 | 720 42624 136214 | 2147483647 46621 55 | 0.000 % |
447.04/447.38 c | 665492 | 720 42624 136214 | 2147483647 47413 55 | 0.000 % |
447.64/447.99 c | 666363 | 720 42624 136214 | 2147483647 48284 55 | 0.000 % |
448.34/448.61 c | 667321 | 720 42624 136214 | 2147483647 49242 55 | 0.000 % |
448.94/449.29 c | 668375 | 720 42624 136214 | 2147483647 50296 55 | 0.023 % |
449.74/450.09 c | 669533 | 720 42624 136214 | 2147483647 51454 55 | 0.023 % |
450.94/451.23 c | 670806 | 720 42624 136214 | 51921 46547 58 | 0.000 % |
452.14/452.43 c | 672209 | 720 42624 136214 | 51921 47950 58 | 0.000 % |
453.34/453.65 c | 673750 | 720 42624 136214 | 51921 49491 58 | 0.000 % |
454.44/454.77 c | 675445 | 720 42624 136214 | 51921 51186 59 | 0.000 % |
455.74/456.06 c | 677309 | 720 42624 136214 | 51921 45839 60 | 0.000 % |
457.34/457.68 c | 679360 | 720 42624 136214 | 51921 47890 60 | 0.000 % |
459.04/459.37 c | 681613 | 720 42624 136214 | 48530 42857 63 | 0.000 % |
460.84/461.19 c | 684092 | 720 42624 136214 | 48530 45336 63 | 0.000 % |
463.03/463.33 c | 686819 | 720 42624 136214 | 48530 48063 66 | 0.000 % |
465.33/465.65 c | 689816 | 720 42624 136214 | 48530 42822 65 | 0.000 % |
468.03/468.39 c | 693112 | 720 42624 136214 | 43007 38882 67 | 0.000 % |
471.43/471.74 c | 696739 | 720 42624 136214 | 43007 42509 69 | 0.000 % |
474.53/474.83 c | 700727 | 720 42624 136214 | 38275 32258 70 | 0.000 % |
477.33/477.65 c | 705113 | 720 42624 136214 | 38275 36644 69 | 0.020 % |
480.23/480.57 c | 709938 | 720 42624 136214 | 38275 35601 67 | 0.000 % |
483.73/484.04 c | 715245 | 720 42624 136214 | 35664 35917 65 | 0.000 % |
486.82/487.11 c | 721080 | 720 42624 136214 | 2147483647 34045 59 | 0.000 % |
490.82/491.15 c | 727498 | 720 42624 136214 | 2147483647 40463 65 | 0.000 % |
490.92/491.23 c | 727598 | 720 42624 136214 | 2147483647 40563 65 | 0.021 % |
491.02/491.34 c | 727710 | 720 42624 136214 | 2147483647 40675 65 | 0.000 % |
491.12/491.44 c | 727833 | 720 42624 136214 | 2147483647 40798 65 | 0.000 % |
491.22/491.55 c | 727966 | 720 42624 136214 | 2147483647 40931 65 | 0.000 % |
491.33/491.65 c | 728113 | 720 42624 136214 | 2147483647 41078 65 | 0.024 % |
491.42/491.74 c | 728273 | 720 42624 136214 | 2147483647 41238 65 | 0.000 % |
491.52/491.88 c | 728451 | 720 42624 136214 | 2147483647 41416 65 | 0.000 % |
491.72/492.06 c | 728645 | 720 42624 136214 | 2147483647 41610 65 | 0.000 % |
491.92/492.23 c | 728857 | 720 42624 136214 | 2147483647 41822 65 | 0.000 % |
492.12/492.42 c | 729091 | 720 42624 136214 | 2147483647 42056 65 | 0.000 % |
492.32/492.69 c | 729349 | 720 42624 136214 | 2147483647 42314 65 | 0.000 % |
492.62/492.98 c | 729631 | 720 42624 136214 | 2147483647 42596 65 | 0.024 % |
492.82/493.18 c | 729940 | 720 42624 136214 | 2147483647 42905 65 | 0.024 % |
493.12/493.41 c | 730279 | 720 42624 136214 | 42966 43244 65 | 0.022 % |
493.42/493.74 c | 730652 | 720 42624 136214 | 42966 38872 63 | 0.000 % |
493.62/493.98 c | 731062 | 720 42624 136214 | 42966 39282 62 | 0.000 % |
494.12/494.45 c | 731511 | 720 42624 136214 | 42966 39731 63 | 0.000 % |
494.62/494.91 c | 732004 | 720 42624 136214 | 42966 40224 63 | 0.000 % |
495.12/495.46 c | 732551 | 720 42624 136214 | 42966 40771 64 | 0.000 % |
495.62/495.99 c | 733151 | 720 42624 136214 | 42966 41371 64 | 0.000 % |
496.12/496.49 c | 733810 | 720 42624 136214 | 42966 42030 65 | 0.000 % |
496.72/497.01 c | 734531 | 720 42624 136214 | 42966 42751 65 | 0.000 % |
497.52/497.81 c | 735326 | 720 42624 136214 | 42966 38063 66 | 0.000 % |
498.22/498.55 c | 736197 | 720 42624 136214 | 42966 38934 66 | 0.000 % |
499.12/499.43 c | 737156 | 720 42624 136214 | 42966 39893 66 | 0.000 % |
500.02/500.37 c | 738209 | 720 42624 136214 | 42966 40946 66 | 0.000 % |
501.01/501.37 c | 739371 | 720 42624 136214 | 42966 42108 66 | 0.000 % |
502.11/502.43 c | 740646 | 720 42624 136214 | 42737 37475 65 | 0.000 % |
503.21/503.59 c | 742047 | 720 42624 136214 | 42737 38876 64 | 0.000 % |
504.91/505.20 c | 743587 | 720 42624 136214 | 42737 40416 65 | 0.000 % |
506.51/506.86 c | 745281 | 720 42624 136214 | 42737 42110 66 | 0.000 % |
507.91/508.28 c | 747144 | 720 42624 136214 | 42737 36895 64 | 0.000 % |
509.21/509.58 c | 749193 | 720 42624 136214 | 42737 38944 64 | 0.022 % |
510.51/510.84 c | 751446 | 720 42624 136214 | 39752 35353 59 | 0.000 % |
512.01/512.31 c | 753926 | 720 42624 136214 | 39752 37833 59 | 0.000 % |
513.61/513.94 c | 756652 | 720 42624 136214 | 39752 35802 56 | 0.022 % |
515.81/516.13 c | 759650 | 720 42624 136214 | 39752 38800 55 | 0.000 % |
517.81/518.17 c | 762946 | 720 42624 136214 | 39150 37260 51 | 0.025 % |
519.91/520.27 c | 766572 | 720 42624 136214 | 39150 36398 51 | 0.000 % |
523.00/523.35 c | 770562 | 720 42624 136214 | 35627 32444 52 | 0.000 % |
525.41/525.78 c | 774949 | 720 42624 136214 | 35627 33227 56 | 0.000 % |
528.20/528.59 c | 779773 | 720 42624 136214 | 35627 34459 58 | 0.000 % |
531.81/532.10 c | 785080 | 720 42624 136214 | 2147483647 39766 58 | 0.000 % |
536.61/536.90 c | 790915 | 720 42624 136214 | 44689 40081 66 | 0.000 % |
541.91/542.24 c | 797334 | 720 42624 136214 | 44689 39397 69 | 0.000 % |
546.31/546.62 c | 804393 | 720 42624 136214 | 42065 40024 66 | 0.000 % |
546.31/546.69 c | 804495 | 720 42624 136214 | 42065 40126 66 | 0.000 % |
546.41/546.78 c | 804606 | 720 42624 136214 | 42065 40237 66 | 0.000 % |
546.60/546.90 c | 804729 | 720 42624 136214 | 42065 40360 66 | 0.000 % |
546.70/547.05 c | 804864 | 720 42624 136214 | 42065 40495 66 | 0.000 % |
546.80/547.19 c | 805010 | 720 42624 136214 | 42065 40641 66 | 0.000 % |
547.00/547.34 c | 805170 | 720 42624 136214 | 42065 40801 66 | 0.000 % |
547.10/547.46 c | 805348 | 720 42624 136214 | 42065 40979 66 | 0.000 % |
547.20/547.56 c | 805541 | 720 42624 136214 | 42065 41172 66 | 0.000 % |
547.41/547.75 c | 805753 | 720 42624 136214 | 42065 41384 66 | 0.000 % |
547.60/547.95 c | 805987 | 720 42624 136214 | 42065 41618 66 | 0.000 % |
547.80/548.19 c | 806244 | 720 42624 136214 | 42065 41875 67 | 0.000 % |
548.00/548.36 c | 806525 | 720 42624 136214 | 42065 42156 67 | 0.000 % |
548.30/548.63 c | 806834 | 720 42624 136214 | 42065 36595 65 | 0.000 % |
548.51/548.89 c | 807173 | 720 42624 136214 | 42065 36934 65 | 0.000 % |
548.70/549.10 c | 807549 | 720 42624 136214 | 42065 37310 65 | 0.000 % |
549.00/549.39 c | 807958 | 720 42624 136214 | 42065 37719 66 | 0.000 % |
549.30/549.68 c | 808408 | 720 42624 136214 | 42065 38169 66 | 0.021 % |
549.70/550.03 c | 808904 | 720 42624 136214 | 42065 38665 66 | 0.000 % |
550.10/550.42 c | 809447 | 720 42624 136214 | 42065 39208 65 | 0.026 % |
550.40/550.77 c | 810043 | 720 42624 136214 | 39762 39804 65 | 0.000 % |
551.00/551.31 c | 810698 | 720 42624 136214 | 39762 34883 67 | 0.000 % |
551.50/551.87 c | 811420 | 720 42624 136214 | 39762 35605 67 | 0.000 % |
552.10/552.45 c | 812212 | 720 42624 136214 | 39762 36397 67 | 0.000 % |
552.70/553.03 c | 813086 | 720 42624 136214 | 39762 37271 67 | 0.000 % |
553.70/554.01 c | 814044 | 720 42624 136214 | 39762 38229 68 | 0.000 % |
554.60/554.97 c | 815099 | 720 42624 136214 | 39762 39284 68 | 0.000 % |
555.70/556.00 c | 816258 | 720 42624 136214 | 39762 34883 64 | 0.000 % |
556.70/557.06 c | 817531 | 720 42624 136214 | 39762 36156 64 | 0.000 % |
557.70/558.09 c | 818931 | 720 42624 136214 | 39762 37556 65 | 0.000 % |
558.90/559.20 c | 820472 | 720 42624 136214 | 38626 33436 64 | 0.000 % |
560.09/560.44 c | 822168 | 720 42624 136214 | 38626 35132 65 | 0.000 % |
561.09/561.41 c | 824032 | 720 42624 136214 | 38626 36996 64 | 0.000 % |
563.39/563.77 c | 826081 | 720 42624 136214 | 38626 33548 67 | 0.000 % |
565.99/566.31 c | 828334 | 720 42624 136214 | 38626 35801 69 | 0.000 % |
568.40/568.79 c | 830812 | 720 42624 136214 | 37467 32430 68 | 0.000 % |
569.89/570.24 c | 833537 | 720 42624 136214 | 37467 35155 67 | 0.000 % |
572.39/572.73 c | 836534 | 720 42624 136214 | 37467 32913 68 | 0.000 % |
575.39/575.74 c | 839830 | 720 42624 136214 | 37467 36209 71 | 0.000 % |
578.69/579.09 c | 843456 | 720 42624 136214 | 36381 34143 71 | 0.000 % |
581.79/582.14 c | 847443 | 720 42624 136214 | 36381 31896 66 | 0.000 % |
584.09/584.40 c | 851828 | 720 42624 136214 | 34453 31169 58 | 0.025 % |
586.79/587.15 c | 856651 | 720 42624 136214 | 34453 32516 56 | 0.000 % |
589.38/589.74 c | 861956 | 720 42624 136214 | 2147483647 34344 53 | 0.000 % |
592.49/592.89 c | 867791 | 720 42624 136214 | 2147483647 40179 52 | 0.025 % |
596.28/596.68 c | 874210 | 720 42624 136214 | 2147483647 46598 53 | 0.022 % |
601.78/602.14 c | 881269 | 720 42624 136214 | 52389 45070 46 | 0.022 % |
607.38/607.70 c | 889033 | 720 42624 136214 | 52389 45037 48 | 0.000 % |
607.38/607.79 c | 889133 | 720 42624 136214 | 52389 45137 48 | 0.000 % |
607.48/607.88 c | 889245 | 720 42624 136214 | 52389 45249 48 | 0.022 % |
607.58/607.95 c | 889368 | 720 42624 136214 | 52389 45372 48 | 0.000 % |
607.67/608.02 c | 889504 | 720 42624 136214 | 52389 45508 48 | 0.000 % |
607.77/608.11 c | 889652 | 720 42624 136214 | 52389 45656 48 | 0.000 % |
607.88/608.23 c | 889812 | 720 42624 136214 | 52389 45816 48 | 0.000 % |
607.98/608.34 c | 889989 | 720 42624 136214 | 52389 45993 49 | 0.000 % |
608.08/608.47 c | 890183 | 720 42624 136214 | 46004 46187 48 | 0.000 % |
608.28/608.63 c | 890396 | 720 42624 136214 | 46004 39704 48 | 0.023 % |
608.38/608.73 c | 890629 | 720 42624 136214 | 46004 39937 47 | 0.000 % |
608.48/608.84 c | 890887 | 720 42624 136214 | 46004 40195 47 | 0.023 % |
608.58/609.00 c | 891169 | 720 42624 136214 | 46004 40477 47 | 0.020 % |
608.77/609.13 c | 891478 | 720 42624 136214 | 46004 40786 47 | 0.020 % |
608.98/609.31 c | 891821 | 720 42624 136214 | 46004 41129 48 | 0.000 % |
609.08/609.49 c | 892197 | 720 42624 136214 | 46004 41505 48 | 0.000 % |
609.27/609.67 c | 892606 | 720 42624 136214 | 46004 41914 48 | 0.000 % |
609.47/609.88 c | 893056 | 720 42624 136214 | 46004 42364 48 | 0.000 % |
609.77/610.19 c | 893552 | 720 42624 136214 | 46004 42860 48 | 0.000 % |
610.08/610.49 c | 894094 | 720 42624 136214 | 46004 43402 49 | 0.000 % |
610.37/610.77 c | 894690 | 720 42624 136214 | 46004 43998 50 | 0.000 % |
610.77/611.12 c | 895345 | 720 42624 136214 | 46004 44653 50 | 0.000 % |
611.18/611.55 c | 896065 | 720 42624 136214 | 46004 45373 51 | 0.000 % |
611.77/612.18 c | 896857 | 720 42624 136214 | 46004 46165 52 | 0.000 % |
612.37/612.72 c | 897729 | 720 42624 136214 | 46004 42421 53 | 0.000 % |
612.77/613.17 c | 898687 | 720 42624 136214 | 46004 43379 53 | 0.023 % |
613.48/613.88 c | 899740 | 720 42624 136214 | 46004 44432 54 | 0.000 % |
614.17/614.60 c | 900898 | 720 42624 136214 | 2147483647 45590 54 | 0.000 % |
614.87/615.21 c | 902172 | 720 42624 136214 | 2147483647 46864 54 | 0.000 % |
615.67/616.08 c | 903572 | 720 42624 136214 | 2147483647 48264 55 | 0.000 % |
616.87/617.26 c | 905112 | 720 42624 136214 | 2147483647 49804 57 | 0.000 % |
618.37/618.70 c | 906806 | 720 42624 136214 | 2147483647 51498 58 | 0.000 % |
619.37/619.74 c | 908669 | 720 42624 136214 | 2147483647 53361 58 | 0.023 % |
621.07/621.43 c | 910718 | 720 42624 136214 | 54692 48487 59 | 0.024 % |
622.87/623.21 c | 912972 | 720 42624 136214 | 54692 50741 58 | 0.025 % |
624.57/624.91 c | 915450 | 720 42624 136214 | 54692 53219 57 | 0.025 % |
626.96/627.30 c | 918175 | 720 42624 136214 | 54692 45877 57 | 0.000 % |
629.36/629.72 c | 921173 | 720 42624 136214 | 47702 40178 57 | 0.000 % |
631.16/631.51 c | 924470 | 720 42624 136214 | 47702 43475 57 | 0.000 % |
633.27/633.65 c | 928099 | 720 42624 136214 | 47702 47104 57 | 0.000 % |
636.06/636.48 c | 932086 | 720 42624 136214 | 42472 38841 56 | 0.000 % |
639.96/640.37 c | 936471 | 720 42624 136214 | 42472 37470 56 | 0.000 % |
643.16/643.53 c | 941295 | 720 42624 136214 | 41000 37028 58 | 0.025 % |
646.76/647.18 c | 946601 | 720 42624 136214 | 41000 36807 60 | 0.000 % |
650.16/650.55 c | 952436 | 720 42624 136214 | 40209 37250 57 | 0.025 % |
654.26/654.64 c | 958856 | 720 42624 136214 | 40209 37578 54 | 0.025 % |
659.25/659.65 c | 965915 | 720 42624 136214 | 38722 33630 44 | 0.025 % |
664.55/664.91 c | 973681 | 720 42624 136214 | 37715 35536 42 | 0.025 % |
670.35/670.77 c | 982222 | 720 42624 136214 | 36270 33366 41 | 0.025 % |
670.45/670.86 c | 982324 | 720 42624 136214 | 36270 33468 41 | 0.000 % |
670.55/670.94 c | 982435 | 720 42624 136214 | 36270 33579 41 | 0.025 % |
670.65/671.00 c | 982561 | 720 42624 136214 | 36270 33705 41 | 0.025 % |
670.65/671.08 c | 982697 | 720 42624 136214 | 36270 33841 41 | 0.000 % |
670.75/671.15 c | 982843 | 720 42624 136214 | 36270 33987 42 | 0.000 % |
670.85/671.23 c | 983005 | 720 42624 136214 | 36270 34149 42 | 0.000 % |
670.95/671.31 c | 983182 | 720 42624 136214 | 36270 34326 42 | 0.000 % |
670.95/671.38 c | 983375 | 720 42624 136214 | 36270 34519 42 | 0.000 % |
671.05/671.47 c | 983588 | 720 42624 136214 | 36270 34732 42 | 0.000 % |
671.15/671.57 c | 983824 | 720 42624 136214 | 36270 34968 43 | 0.000 % |
671.25/671.66 c | 984082 | 720 42624 136214 | 36270 35226 43 | 0.000 % |
671.35/671.76 c | 984364 | 720 42624 136214 | 36270 35508 43 | 0.000 % |
671.55/671.90 c | 984674 | 720 42624 136214 | 36270 35818 44 | 0.000 % |
671.65/672.02 c | 985013 | 720 42624 136214 | 36270 36157 44 | 0.000 % |
671.75/672.18 c | 985385 | 720 42624 136214 | 36270 36529 45 | 0.000 % |
672.05/672.41 c | 985794 | 720 42624 136214 | 36270 33286 45 | 0.000 % |
672.15/672.59 c | 986244 | 720 42624 136214 | 36270 33736 46 | 0.000 % |
672.45/672.81 c | 986739 | 720 42624 136214 | 36270 34231 46 | 0.000 % |
672.64/673.01 c | 987281 | 720 42624 136214 | 36270 34773 46 | 0.000 % |
672.85/673.27 c | 987877 | 720 42624 136214 | 36270 35369 46 | 0.022 % |
673.14/673.50 c | 988533 | 720 42624 136214 | 36270 36025 46 | 0.022 % |
673.54/673.92 c | 989253 | 720 42624 136214 | 36270 33086 46 | 0.000 % |
673.95/674.34 c | 990045 | 720 42624 136214 | 2147483647 33878 47 | 0.000 % |
674.34/674.76 c | 990917 | 720 42624 136214 | 2147483647 34750 48 | 0.000 % |
674.74/675.12 c | 991876 | 720 42624 136214 | 2147483647 35709 48 | 0.000 % |
675.24/675.61 c | 992929 | 720 42624 136214 | 2147483647 36762 48 | 0.000 % |
675.74/676.20 c | 994087 | 720 42624 136214 | 2147483647 37920 49 | 0.022 % |
676.44/676.84 c | 995360 | 720 42624 136214 | 2147483647 39193 50 | 0.000 % |
677.04/677.46 c | 996760 | 720 42624 136214 | 2147483647 40593 50 | 0.000 % |
677.74/678.18 c | 998301 | 720 42624 136214 | 2147483647 42134 51 | 0.000 % |
678.54/678.99 c | 999996 | 720 42624 136214 | 2147483647 43829 51 | 0.022 % |
679.54/679.97 c | 1001860 | 720 42624 136214 | 2147483647 45693 51 | 0.000 % |
680.74/681.18 c | 1003910 | 720 42624 136214 | 2147483647 47743 52 | 0.000 % |
682.14/682.50 c | 1006164 | 720 42624 136214 | 2147483647 49997 53 | 0.000 % |
683.54/683.91 c | 1008643 | 720 42624 136214 | 2147483647 52476 52 | 0.025 % |
685.34/685.70 c | 1011369 | 720 42624 136214 | 2147483647 55202 52 | 0.025 % |
687.24/687.62 c | 1014369 | 720 42624 136214 | 2147483647 58202 52 | 0.000 % |
689.34/689.77 c | 1017667 | 720 42624 136214 | 2147483647 61500 52 | 0.020 % |
691.74/692.16 c | 1021293 | 720 42624 136214 | 63834 55940 53 | 0.020 % |
694.85/695.21 c | 1025280 | 720 42624 136214 | 63834 59927 52 | 0.000 % |
698.74/699.10 c | 1029666 | 720 42624 136214 | 63834 52122 51 | 0.023 % |
701.54/701.96 c | 1034489 | 720 42624 136214 | 52456 46785 47 | 0.020 % |
705.24/705.62 c | 1039794 | 720 42624 136214 | 52456 52090 48 | 0.000 % |
709.23/709.63 c | 1045630 | 720 42624 136214 | 52297 50205 47 | 0.000 % |
714.33/714.77 c | 1052048 | 720 42624 136214 | 45942 40381 50 | 0.000 % |
718.13/718.51 c | 1059107 | 720 42624 136214 | 45942 41178 58 | 0.000 % |
723.43/723.82 c | 1066871 | 720 42624 136214 | 42073 38002 61 | 0.000 % |
729.22/729.61 c | 1075416 | 720 42624 136214 | 41132 41178 57 | 0.023 % |
734.52/734.92 c | 1084810 | 720 42624 136214 | 40257 39689 52 | 0.025 % |
734.52/734.98 c | 1084910 | 720 42624 136214 | 40257 39789 52 | 0.023 % |
734.62/735.04 c | 1085020 | 720 42624 136214 | 40257 39899 53 | 0.025 % |
734.72/735.15 c | 1085142 | 720 42624 136214 | 40257 40021 53 | 0.000 % |
734.82/735.26 c | 1085275 | 720 42624 136214 | 40257 40154 53 | 0.000 % |
734.92/735.37 c | 1085422 | 720 42624 136214 | 40257 40301 53 | 0.000 % |
735.02/735.47 c | 1085582 | 720 42624 136214 | 40257 35890 47 | 0.000 % |
735.12/735.58 c | 1085759 | 720 42624 136214 | 40257 36067 47 | 0.000 % |
735.22/735.69 c | 1085953 | 720 42624 136214 | 40257 36261 48 | 0.000 % |
735.32/735.78 c | 1086165 | 720 42624 136214 | 40257 36473 48 | 0.000 % |
735.43/735.89 c | 1086400 | 720 42624 136214 | 40257 36708 48 | 0.025 % |
735.62/736.06 c | 1086656 | 720 42624 136214 | 40257 36964 48 | 0.000 % |
735.82/736.23 c | 1086940 | 720 42624 136214 | 40257 37248 47 | 0.000 % |
735.92/736.39 c | 1087249 | 720 42624 136214 | 40257 37557 47 | 0.025 % |
736.12/736.52 c | 1087590 | 720 42624 136214 | 40257 37898 47 | 0.025 % |
736.32/736.74 c | 1087963 | 720 42624 136214 | 40257 38271 48 | 0.000 % |
736.53/736.93 c | 1088373 | 720 42624 136214 | 40257 38681 48 | 0.000 % |
736.72/737.17 c | 1088823 | 720 42624 136214 | 40257 39131 49 | 0.000 % |
737.02/737.45 c | 1089317 | 720 42624 136214 | 40257 39625 49 | 0.000 % |
737.32/737.79 c | 1089859 | 720 42624 136214 | 40257 40167 50 | 0.000 % |
737.72/738.14 c | 1090457 | 720 42624 136214 | 2147483647 40765 50 | 0.000 % |
738.12/738.51 c | 1091114 | 720 42624 136214 | 2147483647 41422 51 | 0.000 % |
738.52/738.90 c | 1091836 | 720 42624 136214 | 2147483647 42144 51 | 0.000 % |
739.02/739.41 c | 1092628 | 720 42624 136214 | 2147483647 42936 52 | 0.000 % |
739.42/739.88 c | 1093499 | 720 42624 136214 | 2147483647 43807 52 | 0.000 % |
739.92/740.35 c | 1094462 | 720 42624 136214 | 2147483647 44770 52 | 0.000 % |
740.52/740.98 c | 1095516 | 720 42624 136214 | 2147483647 45824 52 | 0.000 % |
741.42/741.83 c | 1096674 | 720 42624 136214 | 2147483647 46982 53 | 0.000 % |
742.32/742.72 c | 1097951 | 720 42624 136214 | 2147483647 48259 54 | 0.000 % |
743.32/743.79 c | 1099351 | 720 42624 136214 | 2147483647 49659 54 | 0.000 % |
744.52/744.91 c | 1100891 | 720 42624 136214 | 50308 45728 51 | 0.000 % |
745.62/746.07 c | 1102586 | 720 42624 136214 | 50308 47423 51 | 0.000 % |
747.22/747.62 c | 1104449 | 720 42624 136214 | 50308 49286 53 | 0.000 % |
748.72/749.11 c | 1106501 | 720 42624 136214 | 50308 45378 54 | 0.000 % |
750.61/751.09 c | 1108755 | 720 42624 136214 | 50308 47632 56 | 0.000 % |
752.81/753.22 c | 1111233 | 720 42624 136214 | 48881 43305 58 | 0.000 % |
755.11/755.52 c | 1113960 | 720 42624 136214 | 48881 46032 58 | 0.022 % |
757.51/757.98 c | 1116959 | 720 42624 136214 | 48881 49031 58 | 0.022 % |
759.61/760.04 c | 1120255 | 720 42624 136214 | 43519 36753 60 | 0.000 % |
761.71/762.13 c | 1123880 | 720 42624 136214 | 43519 40378 59 | 0.024 % |
764.01/764.47 c | 1127869 | 720 42624 136214 | 43519 37940 56 | 0.022 % |
766.31/766.79 c | 1132255 | 720 42624 136214 | 40072 36840 54 | 0.000 % |
769.11/769.50 c | 1137082 | 720 42624 136214 | 40072 37250 49 | 0.022 % |
772.00/772.41 c | 1142389 | 720 42624 136214 | 40170 38473 52 | 0.000 % |
775.41/775.82 c | 1148226 | 720 42624 136214 | 40170 40266 52 | 0.000 % |
779.31/779.77 c | 1154646 | 720 42624 136214 | 2147483647 42660 49 | 0.025 % |
783.41/783.86 c | 1161707 | 720 42624 136214 | 48014 44239 48 | 0.024 % |
788.21/788.62 c | 1169473 | 720 42624 136214 | 48014 46404 48 | 0.024 % |
793.60/794.08 c | 1178014 | 720 42624 136214 | 46933 41774 43 | 0.000 % |
798.80/799.24 c | 1187416 | 720 42624 136214 | 43761 41035 52 | 0.000 % |
805.60/806.00 c | 1197749 | 720 42624 136214 | 2147483647 51368 55 | 0.000 % |
805.60/806.07 c | 1197849 | 720 42624 136214 | 2147483647 51468 55 | 0.000 % |
805.70/806.15 c | 1197959 | 720 42624 136214 | 2147483647 51578 55 | 0.022 % |
805.80/806.23 c | 1198080 | 720 42624 136214 | 2147483647 51699 55 | 0.000 % |
805.90/806.38 c | 1198213 | 720 42624 136214 | 2147483647 51832 55 | 0.000 % |
806.10/806.52 c | 1198360 | 720 42624 136214 | 2147483647 51979 55 | 0.000 % |
806.20/806.63 c | 1198521 | 720 42624 136214 | 2147483647 52140 55 | 0.000 % |
806.30/806.79 c | 1198697 | 720 42624 136214 | 2147483647 52316 56 | 0.000 % |
806.50/806.90 c | 1198890 | 720 42624 136214 | 2147483647 52509 56 | 0.000 % |
806.60/807.05 c | 1199102 | 720 42624 136214 | 2147483647 52721 56 | 0.000 % |
806.80/807.25 c | 1199336 | 720 42624 136214 | 2147483647 52955 56 | 0.000 % |
807.00/807.48 c | 1199592 | 720 42624 136214 | 2147483647 53211 56 | 0.023 % |
807.30/807.74 c | 1199877 | 720 42624 136214 | 2147483647 53496 56 | 0.000 % |
807.50/807.99 c | 1200187 | 720 42624 136214 | 53619 53806 57 | 0.000 % |
807.90/808.31 c | 1200526 | 720 42624 136214 | 53619 46286 59 | 0.000 % |
808.20/808.67 c | 1200901 | 720 42624 136214 | 53619 46661 59 | 0.000 % |
808.50/808.97 c | 1201310 | 720 42624 136214 | 53619 47070 60 | 0.000 % |
808.79/809.28 c | 1201760 | 720 42624 136214 | 53619 47520 60 | 0.000 % |
809.20/809.64 c | 1202253 | 720 42624 136214 | 53619 48013 59 | 0.022 % |
809.49/809.96 c | 1202796 | 720 42624 136214 | 53619 48556 59 | 0.000 % |
809.89/810.35 c | 1203394 | 720 42624 136214 | 53619 49154 59 | 0.000 % |
810.39/810.82 c | 1204051 | 720 42624 136214 | 53619 49811 59 | 0.022 % |
810.99/811.46 c | 1204772 | 720 42624 136214 | 53619 50532 60 | 0.000 % |
811.79/812.28 c | 1205564 | 720 42624 136214 | 53619 51324 60 | 0.000 % |
812.59/813.03 c | 1206437 | 720 42624 136214 | 53619 52197 60 | 0.000 % |
813.50/813.92 c | 1207395 | 720 42624 136214 | 53619 53155 61 | 0.000 % |
814.39/814.85 c | 1208451 | 720 42624 136214 | 53619 44926 63 | 0.000 % |
815.39/815.82 c | 1209609 | 720 42624 136214 | 53619 46084 64 | 0.000 % |
816.39/816.88 c | 1210885 | 720 42624 136214 | 46476 38744 65 | 0.000 % |
817.39/817.84 c | 1212287 | 720 42624 136214 | 46476 40146 65 | 0.000 % |
818.39/818.86 c | 1213827 | 720 42624 136214 | 46476 41686 64 | 0.023 % |
819.49/819.91 c | 1215521 | 720 42624 136214 | 46476 43380 64 | 0.000 % |
821.29/821.75 c | 1217386 | 720 42624 136214 | 46476 45245 66 | 0.000 % |
823.29/823.74 c | 1219436 | 720 42624 136214 | 46476 38464 62 | 0.000 % |
824.89/825.39 c | 1221689 | 720 42624 136214 | 39031 33214 63 | 0.000 % |
826.89/827.32 c | 1224167 | 720 42624 136214 | 39031 35692 63 | 0.000 % |
828.78/829.23 c | 1226893 | 720 42624 136214 | 39031 38418 62 | 0.000 % |
830.58/831.06 c | 1229891 | 720 42624 136214 | 39031 34520 59 | 0.023 % |
832.28/832.72 c | 1233188 | 720 42624 136214 | 34630 32344 54 | 0.000 % |
834.28/834.76 c | 1236816 | 720 42624 136214 | 34630 31949 53 | 0.000 % |
836.48/836.97 c | 1240804 | 720 42624 136214 | 31293 28652 44 | 0.022 % |
838.48/838.95 c | 1245190 | 720 42624 136214 | 31293 29888 43 | 0.022 % |
840.48/840.99 c | 1250015 | 720 42624 136214 | 2147483647 31547 47 | 0.000 % |
843.08/843.57 c | 1255321 | 720 42624 136214 | 2147483647 36853 52 | 0.000 % |
846.48/846.94 c | 1261156 | 720 42624 136214 | 2147483647 42688 52 | 0.000 % |
850.27/850.74 c | 1267576 | 720 42624 136214 | 2147483647 49108 52 | 0.000 % |
855.97/856.43 c | 1274639 | 720 42624 136214 | 51533 50297 58 | 0.000 % |
861.67/862.15 c | 1282403 | 720 42624 136214 | 48145 43197 61 | 0.000 % |
866.67/867.15 c | 1290943 | 720 42624 136214 | 44022 38432 58 | 0.000 % |
872.97/873.44 c | 1300338 | 720 42624 136214 | 40823 35017 57 | 0.000 % |
879.06/879.56 c | 1310673 | 720 42624 136214 | 40125 36253 60 | 0.000 % |
887.26/887.74 c | 1322039 | 720 42624 136214 | 34982 32129 61 | 0.000 % |
887.36/887.83 c | 1322139 | 720 42624 136214 | 34982 32229 61 | 0.000 % |
887.46/887.90 c | 1322250 | 720 42624 136214 | 34982 32340 61 | 0.000 % |
887.46/887.98 c | 1322371 | 720 42624 136214 | 34982 32461 61 | 0.000 % |
887.56/888.05 c | 1322508 | 720 42624 136214 | 34982 32598 61 | 0.000 % |
887.66/888.15 c | 1322655 | 720 42624 136214 | 34982 32745 61 | 0.000 % |
887.76/888.24 c | 1322817 | 720 42624 136214 | 34982 32907 62 | 0.000 % |
887.86/888.38 c | 1322995 | 720 42624 136214 | 34982 33085 62 | 0.000 % |
888.06/888.55 c | 1323188 | 720 42624 136214 | 34982 33278 62 | 0.000 % |
888.16/888.65 c | 1323402 | 720 42624 136214 | 34982 33492 62 | 0.022 % |
888.26/888.76 c | 1323638 | 720 42624 136214 | 34982 33728 61 | 0.000 % |
888.46/888.90 c | 1323894 | 720 42624 136214 | 34982 33984 61 | 0.000 % |
888.56/889.03 c | 1324176 | 720 42624 136214 | 34982 34266 61 | 0.000 % |
888.66/889.17 c | 1324486 | 720 42624 136214 | 34982 34576 61 | 0.000 % |
888.87/889.32 c | 1324825 | 720 42624 136214 | 34982 34915 61 | 0.022 % |
889.07/889.51 c | 1325198 | 720 42624 136214 | 34982 35288 61 | 0.025 % |
889.27/889.73 c | 1325608 | 720 42624 136214 | 34982 31673 61 | 0.025 % |
889.47/889.95 c | 1326057 | 720 42624 136214 | 34982 32122 61 | 0.025 % |
889.67/890.20 c | 1326551 | 720 42624 136214 | 34982 32616 61 | 0.000 % |
889.96/890.50 c | 1327093 | 720 42624 136214 | 34982 33158 62 | 0.000 % |
890.47/890.99 c | 1327689 | 720 42624 136214 | 34982 33754 62 | 0.000 % |
890.96/891.44 c | 1328344 | 720 42624 136214 | 34982 34409 62 | 0.000 % |
891.46/891.90 c | 1329064 | 720 42624 136214 | 34982 35129 62 | 0.021 % |
891.86/892.31 c | 1329856 | 720 42624 136214 | 34982 31994 61 | 0.000 % |
892.26/892.71 c | 1330727 | 720 42624 136214 | 32140 29557 58 | 0.000 % |
892.77/893.27 c | 1331685 | 720 42624 136214 | 32140 30515 57 | 0.000 % |
893.36/893.88 c | 1332741 | 720 42624 136214 | 32140 31571 58 | 0.000 % |
894.06/894.57 c | 1333899 | 720 42624 136214 | 32140 29476 55 | 0.000 % |
894.66/895.10 c | 1335172 | 720 42624 136214 | 32140 30749 56 | 0.000 % |
895.26/895.79 c | 1336574 | 720 42624 136214 | 32140 32151 57 | 0.000 % |
896.16/896.64 c | 1338114 | 720 42624 136214 | 32140 30476 57 | 0.000 % |
897.17/897.66 c | 1339808 | 720 42624 136214 | 32140 32170 59 | 0.000 % |
898.46/898.96 c | 1341673 | 720 42624 136214 | 2147483647 30818 59 | 0.000 % |
899.46/899.96 c | 1343723 | 720 42624 136214 | 2147483647 32868 59 | 0.021 % |
900.46/900.97 c | 1345979 | 720 42624 136214 | 2147483647 35124 59 | 0.000 % |
901.76/902.21 c | 1348461 | 720 42624 136214 | 2147483647 37606 58 | 0.000 % |
903.36/903.85 c | 1351190 | 720 42624 136214 | 2147483647 40335 57 | 0.023 % |
905.36/905.81 c | 1354187 | 720 42624 136214 | 2147483647 43332 56 | 0.023 % |
907.86/908.38 c | 1357487 | 720 42624 136214 | 2147483647 46632 55 | 0.000 % |
910.36/910.88 c | 1361117 | 720 42624 136214 | 49145 43894 54 | 0.000 % |
913.36/913.81 c | 1365106 | 720 42624 136214 | 49145 47883 54 | 0.025 % |
916.75/917.22 c | 1369491 | 720 42624 136214 | 49145 45318 51 | 0.025 % |
920.65/921.18 c | 1374316 | 720 42624 136214 | 45828 43590 46 | 0.025 % |
924.85/925.35 c | 1379622 | 720 42624 136214 | 45828 41832 41 | 0.025 % |
927.95/928.42 c | 1385457 | 719 42479 135772 | 42210 21114 45 | 0.139 % |
930.45/930.96 c | 1391875 | 719 42479 135772 | 2147483647 27532 49 | 0.139 % |
933.95/934.43 c | 1398935 | 719 42479 135772 | 2147483647 34592 48 | 0.139 % |
939.65/940.17 c | 1406701 | 719 42479 135772 | 2147483647 42358 51 | 0.139 % |
947.24/947.77 c | 1415243 | 719 42479 135772 | 45658 44107 53 | 0.162 % |
954.44/954.98 c | 1424637 | 719 42479 135772 | 40542 37782 53 | 0.162 % |
961.24/961.75 c | 1434970 | 719 42479 135772 | 36594 35643 48 | 0.162 % |
970.13/970.65 c | 1446338 | 719 42479 135772 | 35260 31504 44 | 0.139 % |
979.03/979.56 c | 1458840 | 719 42479 135772 | 35166 34302 46 | 0.139 % |
979.13/979.65 c | 1458942 | 719 42479 135772 | 35166 34404 46 | 0.139 % |
979.23/979.77 c | 1459052 | 719 42479 135772 | 35166 34514 46 | 0.162 % |
979.33/979.84 c | 1459173 | 719 42479 135772 | 35166 34635 46 | 0.139 % |
979.33/979.89 c | 1459308 | 719 42479 135772 | 35166 34770 47 | 0.139 % |
979.43/979.95 c | 1459454 | 719 42479 135772 | 35166 34916 47 | 0.139 % |
979.53/980.04 c | 1459614 | 719 42479 135772 | 35166 35076 47 | 0.139 % |
979.63/980.12 c | 1459790 | 719 42479 135772 | 35166 35252 47 | 0.165 % |
979.73/980.23 c | 1459984 | 719 42479 135772 | 35166 30902 48 | 0.160 % |
979.83/980.36 c | 1460196 | 719 42479 135772 | 30920 31114 48 | 0.139 % |
980.03/980.52 c | 1460429 | 719 42479 135772 | 30920 27560 47 | 0.139 % |
980.13/980.63 c | 1460685 | 719 42479 135772 | 30920 27816 47 | 0.139 % |
980.23/980.73 c | 1460967 | 719 42479 135772 | 30920 28098 47 | 0.139 % |
980.33/980.85 c | 1461277 | 719 42479 135772 | 30920 28408 47 | 0.139 % |
980.43/980.96 c | 1461616 | 719 42479 135772 | 30920 28747 47 | 0.139 % |
980.53/981.10 c | 1461988 | 719 42479 135772 | 30920 29119 47 | 0.139 % |
980.73/981.23 c | 1462398 | 719 42479 135772 | 30920 29529 48 | 0.139 % |
980.83/981.39 c | 1462848 | 719 42479 135772 | 30920 29979 48 | 0.139 % |
981.03/981.57 c | 1463341 | 719 42479 135772 | 30920 30472 48 | 0.139 % |
981.23/981.77 c | 1463884 | 719 42479 135772 | 30920 31015 49 | 0.139 % |
981.53/982.01 c | 1464482 | 719 42479 135772 | 30920 28512 46 | 0.163 % |
981.73/982.23 c | 1465138 | 719 42479 135772 | 30920 29168 46 | 0.139 % |
981.93/982.47 c | 1465859 | 719 42479 135772 | 30920 29889 46 | 0.164 % |
982.23/982.77 c | 1466651 | 719 42479 135772 | 30920 30681 46 | 0.164 % |
982.63/983.17 c | 1467525 | 719 42479 135772 | 30920 28428 44 | 0.163 % |
983.13/983.62 c | 1468486 | 719 42479 135772 | 30920 29389 47 | 0.139 % |
983.53/984.03 c | 1469543 | 719 42479 135772 | 30920 30446 47 | 0.139 % |
984.03/984.53 c | 1470702 | 719 42479 135772 | 2147483647 31605 48 | 0.139 % |
984.43/984.99 c | 1471976 | 719 42479 135772 | 2147483647 32879 48 | 0.163 % |
985.03/985.59 c | 1473378 | 719 42479 135772 | 2147483647 34281 48 | 0.163 % |
985.72/986.28 c | 1474920 | 719 42479 135772 | 2147483647 35823 47 | 0.163 % |
986.52/987.09 c | 1476614 | 719 42479 135772 | 2147483647 37517 47 | 0.165 % |
987.42/987.96 c | 1478478 | 719 42479 135772 | 2147483647 39381 47 | 0.162 % |
988.43/988.91 c | 1480527 | 719 42479 135772 | 2147483647 41430 47 | 0.139 % |
989.92/990.42 c | 1482780 | 719 42479 135772 | 2147483647 43683 50 | 0.139 % |
991.42/991.91 c | 1485258 | 719 42479 135772 | 2147483647 46161 52 | 0.139 % |
992.92/993.48 c | 1487986 | 719 42479 135772 | 2147483647 48889 52 | 0.139 % |
994.92/995.42 c | 1490984 | 719 42479 135772 | 2147483647 51887 53 | 0.139 % |
996.82/997.39 c | 1494280 | 719 42479 135772 | 2147483647 55183 52 | 0.164 % |
999.02/999.56 c | 1497906 | 719 42479 135772 | 2147483647 58809 52 | 0.162 % |
1001.82/1002.38 c | 1501893 | 719 42479 135772 | 60906 54288 52 | 0.159 % |
1005.02/1005.52 c | 1506281 | 719 42479 135772 | 60906 58676 52 | 0.159 % |
1008.41/1008.90 c | 1511106 | 719 42479 135772 | 51798 43947 49 | 0.159 % |
1011.71/1012.21 c | 1516414 | 719 42479 135772 | 51798 49255 48 | 0.159 % |
1015.41/1015.94 c | 1522249 | 719 42479 135772 | 44838 40224 41 | 0.139 % |
1019.01/1019.53 c | 1528668 | 719 42479 135772 | 44838 41110 40 | 0.163 % |
1022.41/1022.94 c | 1535728 | 719 42479 135772 | 42443 39204 37 | 0.163 % |
1026.00/1026.55 c | 1543497 | 719 42479 135772 | 2147483647 42697 38 | 0.163 % |
1030.11/1030.64 c | 1552039 | 719 42479 135772 | 2147483647 51239 41 | 0.139 % |
1035.50/1036.06 c | 1561436 | 719 42479 135772 | 2147483647 60636 49 | 0.139 % |
1043.79/1044.37 c | 1571769 | 719 42479 135772 | 69203 58581 59 | 0.139 % |
1053.70/1054.27 c | 1583138 | 719 42479 135772 | 66814 56312 68 | 0.139 % |
1064.69/1065.23 c | 1595643 | 719 42479 135772 | 63174 54490 69 | 0.139 % |
1074.69/1075.28 c | 1609395 | 719 42479 135772 | 58851 54757 57 | 0.161 % |
1074.79/1075.35 c | 1609497 | 719 42479 135772 | 58851 54859 57 | 0.139 % |
1074.89/1075.44 c | 1609611 | 719 42479 135772 | 58851 54973 57 | 0.162 % |
1074.99/1075.53 c | 1609733 | 719 42479 135772 | 58851 55095 57 | 0.139 % |
1075.09/1075.63 c | 1609868 | 719 42479 135772 | 58851 55230 57 | 0.162 % |
1075.19/1075.74 c | 1610018 | 719 42479 135772 | 55364 55380 57 | 0.139 % |
1075.39/1075.95 c | 1610179 | 719 42479 135772 | 55364 44441 49 | 0.139 % |
1075.49/1076.07 c | 1610359 | 719 42479 135772 | 55364 44621 49 | 0.139 % |
1075.59/1076.15 c | 1610554 | 719 42479 135772 | 55364 44816 49 | 0.139 % |
1075.69/1076.28 c | 1610770 | 719 42479 135772 | 55364 45032 49 | 0.139 % |
1075.89/1076.40 c | 1611003 | 719 42479 135772 | 55364 45265 49 | 0.139 % |
1075.99/1076.59 c | 1611259 | 719 42479 135772 | 55364 45521 49 | 0.139 % |
1076.19/1076.73 c | 1611542 | 719 42479 135772 | 55364 45804 50 | 0.139 % |
1076.39/1076.94 c | 1611853 | 719 42479 135772 | 55364 46115 50 | 0.139 % |
1076.59/1077.14 c | 1612195 | 719 42479 135772 | 55364 46457 50 | 0.139 % |
1076.89/1077.41 c | 1612567 | 719 42479 135772 | 55364 46829 50 | 0.139 % |
1077.09/1077.70 c | 1612976 | 719 42479 135772 | 55364 47238 51 | 0.139 % |
1077.39/1077.97 c | 1613425 | 719 42479 135772 | 55364 47687 51 | 0.139 % |
1077.69/1078.29 c | 1613919 | 719 42479 135772 | 55364 48181 51 | 0.139 % |
1078.19/1078.72 c | 1614462 | 719 42479 135772 | 55364 48724 51 | 0.139 % |
1078.59/1079.13 c | 1615060 | 719 42479 135772 | 55364 49322 51 | 0.139 % |
1079.09/1079.61 c | 1615715 | 719 42479 135772 | 55364 49977 52 | 0.139 % |
1079.48/1080.03 c | 1616435 | 719 42479 135772 | 55364 50697 52 | 0.139 % |
1079.98/1080.56 c | 1617228 | 719 42479 135772 | 55364 51490 52 | 0.161 % |
1080.58/1081.18 c | 1618100 | 719 42479 135772 | 55364 52362 52 | 0.161 % |
1081.38/1081.94 c | 1619058 | 719 42479 135772 | 55364 53320 52 | 0.139 % |
1082.08/1082.62 c | 1620113 | 719 42479 135772 | 54263 54375 53 | 0.139 % |
1082.68/1083.27 c | 1621271 | 719 42479 135772 | 54263 48238 49 | 0.139 % |
1083.48/1084.01 c | 1622544 | 719 42479 135772 | 54263 49511 49 | 0.139 % |
1084.58/1085.13 c | 1623945 | 719 42479 135772 | 54263 50912 51 | 0.139 % |
1085.58/1086.16 c | 1625486 | 719 42479 135772 | 54263 52453 51 | 0.139 % |
1086.78/1087.32 c | 1627183 | 719 42479 135772 | 54263 54150 51 | 0.162 % |
1087.88/1088.45 c | 1629047 | 719 42479 135772 | 54263 48076 49 | 0.139 % |
1089.28/1089.81 c | 1631096 | 719 42479 135772 | 49030 42797 52 | 0.139 % |
1090.78/1091.33 c | 1633351 | 719 42479 135772 | 49030 45052 53 | 0.139 % |
1092.58/1093.12 c | 1635829 | 719 42479 135772 | 49030 47530 54 | 0.139 % |
1094.68/1095.27 c | 1638557 | 719 42479 135772 | 49030 42690 57 | 0.139 % |
1097.08/1097.61 c | 1641554 | 719 42479 135772 | 44134 38846 59 | 0.139 % |
1099.77/1100.33 c | 1644850 | 719 42479 135772 | 44134 42142 63 | 0.139 % |
1102.37/1102.96 c | 1648477 | 719 42479 135772 | 44134 38859 61 | 0.139 % |
1104.98/1105.59 c | 1652465 | 719 42479 135772 | 40382 36597 58 | 0.163 % |
1107.87/1108.48 c | 1656851 | 719 42479 135772 | 40382 35027 56 | 0.163 % |
1110.97/1111.53 c | 1661674 | 719 42479 135772 | 38177 34184 50 | 0.162 % |
1113.77/1114.31 c | 1666979 | 719 42479 135772 | 38177 35377 48 | 0.164 % |
1117.07/1117.60 c | 1672814 | 719 42479 135772 | 2147483647 41212 50 | 0.139 % |
1120.87/1121.41 c | 1679233 | 719 42479 135772 | 2147483647 47631 52 | 0.139 % |
1125.46/1126.00 c | 1686294 | 719 42479 135772 | 48400 48642 50 | 0.139 % |
1130.36/1130.94 c | 1694059 | 719 42479 135772 | 46525 45392 51 | 0.139 % |
1136.27/1136.88 c | 1702602 | 719 42479 135772 | 46286 43742 58 | 0.139 % |
1143.37/1143.90 c | 1711996 | 719 42479 135772 | 44476 39340 56 | 0.166 % |
1149.36/1149.93 c | 1722330 | 719 42479 135772 | 40833 37557 56 | 0.159 % |
1157.26/1157.83 c | 1733698 | 719 42479 135772 | 38675 36783 62 | 0.139 % |
1168.55/1169.19 c | 1746200 | 719 42479 135772 | 37702 37992 71 | 0.139 % |
1180.95/1181.51 c | 1759952 | 719 42479 135772 | 34567 31408 71 | 0.139 % |
1194.05/1194.61 c | 1775080 | 719 42479 135772 | 30021 29863 65 | 0.139 % |
1194.14/1194.72 c | 1775182 | 719 42479 135772 | 30021 29965 65 | 0.139 % |
1194.24/1194.83 c | 1775295 | 719 42479 135772 | 30021 30078 66 | 0.139 % |
1194.34/1194.96 c | 1775420 | 719 42479 135772 | 30021 25992 63 | 0.139 % |
1194.44/1195.05 c | 1775553 | 719 42479 135772 | 30021 26125 63 | 0.139 % |
1194.54/1195.17 c | 1775699 | 719 42479 135772 | 30021 26271 64 | 0.139 % |
1194.64/1195.27 c | 1775859 | 719 42479 135772 | 30021 26431 64 | 0.139 % |
1194.74/1195.36 c | 1776035 | 719 42479 135772 | 30021 26607 64 | 0.139 % |
1194.94/1195.52 c | 1776231 | 719 42479 135772 | 30021 26803 64 | 0.139 % |
1195.04/1195.69 c | 1776443 | 719 42479 135772 | 30021 27015 64 | 0.139 % |
1195.24/1195.87 c | 1776679 | 719 42479 135772 | 30021 27251 64 | 0.139 % |
1195.34/1195.95 c | 1776935 | 719 42479 135772 | 30021 27507 64 | 0.139 % |
1195.54/1196.17 c | 1777216 | 719 42479 135772 | 30021 27788 64 | 0.139 % |
1195.74/1196.34 c | 1777526 | 719 42479 135772 | 30021 28098 65 | 0.139 % |
1196.04/1196.67 c | 1777869 | 719 42479 135772 | 30021 28441 65 | 0.139 % |
1196.34/1196.99 c | 1778243 | 719 42479 135772 | 30021 28815 65 | 0.139 % |
1196.74/1197.34 c | 1778652 | 719 42479 135772 | 30021 29224 66 | 0.139 % |
1197.04/1197.63 c | 1779101 | 719 42479 135772 | 30021 29673 66 | 0.139 % |
1197.44/1198.01 c | 1779594 | 719 42479 135772 | 30021 30166 66 | 0.139 % |
1197.74/1198.38 c | 1780141 | 719 42479 135772 | 26552 26692 64 | 0.139 % |
1198.14/1198.70 c | 1780737 | 719 42479 135772 | 26552 23818 62 | 0.161 % |
1198.44/1199.03 c | 1781392 | 719 42479 135772 | 26552 24473 62 | 0.161 % |
1198.74/1199.39 c | 1782112 | 719 42479 135772 | 26552 25193 61 | 0.159 % |
1199.04/1199.69 c | 1782906 | 719 42479 135772 | 26552 25987 61 | 0.139 % |
1199.44/1200.03 c | 1783779 | 719 42479 135772 | 26552 26860 61 | 0.161 % |
1199.84/1200.45 c | 1784737 | 719 42479 135772 | 26552 25132 59 | 0.139 % |
1200.04/1200.61 HOME/SatELiteGTI: line 36: 6717 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834083-1242827638/watcher-1834083-1242827638 -o /tmp/evaluation-result-1834083-1242827638/solver-1834083-1242827638 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834083-1242827638.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 6711
/proc/meminfo: memFree=1822296/2055920 swapFree=4180392/4192956
[pid=6711] ppid=6709 vsize=5356 CPUtime=0
/proc/6711/stat : 6711 (SatELiteGTI) S 6709 6711 6021 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310797107 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 227848978514 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/6711/statm: 1339 235 195 169 0 50 0
[pid=6712] ppid=6711 vsize=5356 CPUtime=0
/proc/6712/stat : 6712 (SatELiteGTI) S 6711 6711 6021 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310797107 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/6712/statm: 1339 238 198 169 0 50 0
[pid=6714] ppid=6712 vsize=5356 CPUtime=0
/proc/6714/stat : 6714 (SatELiteGTI) R 6712 6711 6021 0 -1 4194368 19 0 0 0 0 0 0 0 18 0 1 0 310797107 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848809767 0 0 4096 0 0 0 0 17 1 0 0
/proc/6714/statm: 1339 239 199 169 0 50 0
[startup+0.0286059 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 6711
/proc/meminfo: memFree=1822296/2055920 swapFree=4180392/4192956
[pid=6711] ppid=6709 vsize=5356 CPUtime=0
/proc/6711/stat : 6711 (SatELiteGTI) S 6709 6711 6021 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310797107 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6711/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101616 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 6711
/proc/meminfo: memFree=1822296/2055920 swapFree=4180392/4192956
[pid=6711] ppid=6709 vsize=5356 CPUtime=0
/proc/6711/stat : 6711 (SatELiteGTI) S 6709 6711 6021 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310797107 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6711/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301658 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 6711
/proc/meminfo: memFree=1822296/2055920 swapFree=4180392/4192956
[pid=6711] ppid=6709 vsize=5356 CPUtime=0.18
/proc/6711/stat : 6711 (SatELiteGTI) S 6709 6711 6021 0 -1 4194304 336 1251 0 0 0 0 17 1 16 0 1 0 310797107 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6711/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 5356
[startup+0.70173 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 6711
/proc/meminfo: memFree=1822296/2055920 swapFree=4180392/4192956
[pid=6711] ppid=6709 vsize=5356 CPUtime=0.18
/proc/6711/stat : 6711 (SatELiteGTI) S 6709 6711 6021 0 -1 4194304 336 1251 0 0 0 0 17 1 16 0 1 0 310797107 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6711/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 5356
[startup+1.50186 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6717
/proc/meminfo: memFree=1816520/2055920 swapFree=4180392/4192956
[pid=6711] ppid=6709 vsize=5356 CPUtime=0.18
/proc/6711/stat : 6711 (SatELiteGTI) S 6709 6711 6021 0 -1 4194304 336 1251 0 0 0 0 17 1 16 0 1 0 310797107 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6711/statm: 1339 239 197 169 0 50 0
[pid=6717] ppid=6711 vsize=6640 CPUtime=1.3
/proc/6717/stat : 6717 (minisat_static) R 6711 6711 6021 0 -1 4194304 1467 0 0 0 129 1 0 0 25 0 1 0 310797126 6799360 1453 1992294400 134512640 135215339 4294956240 18446744073709551615 134528679 0 0 4096 3 0 0 0 17 1 0 0
/proc/6717/statm: 1660 1453 77 171 0 1487 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 11996
[startup+3.10114 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6717
/proc/meminfo: memFree=1814600/2055920 swapFree=4180392/4192956
[pid=6711] ppid=6709 vsize=5356 CPUtime=0.18
/proc/6711/stat : 6711 (SatELiteGTI) S 6709 6711 6021 0 -1 4194304 336 1251 0 0 0 0 17 1 16 0 1 0 310797107 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6711/statm: 1339 239 197 169 0 50 0
[pid=6717] ppid=6711 vsize=8672 CPUtime=2.89
/proc/6717/stat : 6717 (minisat_static) R 6711 6711 6021 0 -1 4194304 1958 0 0 0 288 1 0 0 25 0 1 0 310797126 8880128 1944 1992294400 134512640 135215339 4294956240 18446744073709551615 134743406 0 0 4096 3 0 0 0 17 1 0 0
/proc/6717/statm: 2168 1944 77 171 0 1995 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 14028
[startup+6.30171 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6717
/proc/meminfo: memFree=1811336/2055920 swapFree=4180392/4192956
[pid=6711] ppid=6709 vsize=5356 CPUtime=0.18
/proc/6711/stat : 6711 (SatELiteGTI) S 6709 6711 6021 0 -1 4194304 336 1251 0 0 0 0 17 1 16 0 1 0 310797107 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6711/statm: 1339 239 197 169 0 50 0
[pid=6717] ppid=6711 vsize=11608 CPUtime=6.1
/proc/6717/stat : 6717 (minisat_static) R 6711 6711 6021 0 -1 4194304 2685 0 0 0 608 2 0 0 25 0 1 0 310797126 11886592 2671 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6717/statm: 2902 2671 77 171 0 2729 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 16964
[startup+12.7018 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6717
/proc/meminfo: memFree=1806544/2055920 swapFree=4180392/4192956
[pid=6711] ppid=6709 vsize=5356 CPUtime=0.18
/proc/6711/stat : 6711 (SatELiteGTI) S 6709 6711 6021 0 -1 4194304 336 1251 0 0 0 0 17 1 16 0 1 0 310797107 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6711/statm: 1339 239 197 169 0 50 0
[pid=6717] ppid=6711 vsize=16048 CPUtime=12.49
/proc/6717/stat : 6717 (minisat_static) R 6711 6711 6021 0 -1 4194304 3781 0 0 0 1245 4 0 0 25 0 1 0 310797126 16433152 3767 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6717/statm: 4012 3767 77 171 0 3839 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 21404
[startup+25.5011 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6717
/proc/meminfo: memFree=1801808/2055920 swapFree=4180392/4192956
[pid=6711] ppid=6709 vsize=5356 CPUtime=0.18
/proc/6711/stat : 6711 (SatELiteGTI) S 6709 6711 6021 0 -1 4194304 336 1251 0 0 0 0 17 1 16 0 1 0 310797107 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6711/statm: 1339 239 197 169 0 50 0
[pid=6717] ppid=6711 vsize=20424 CPUtime=25.28
/proc/6717/stat : 6717 (minisat_static) R 6711 6711 6021 0 -1 4194304 4884 0 0 0 2523 5 0 0 25 0 1 0 310797126 20914176 4870 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/6717/statm: 5106 4870 77 171 0 4933 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 25780
[startup+51.1016 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6717
/proc/meminfo: memFree=1801488/2055920 swapFree=4180392/4192956
[pid=6711] ppid=6709 vsize=5356 CPUtime=0.18
/proc/6711/stat : 6711 (SatELiteGTI) S 6709 6711 6021 0 -1 4194304 336 1251 0 0 0 0 17 1 16 0 1 0 310797107 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6711/statm: 1339 239 197 169 0 50 0
[pid=6717] ppid=6711 vsize=20700 CPUtime=50.85
/proc/6717/stat : 6717 (minisat_static) R 6711 6711 6021 0 -1 4194304 4981 0 0 0 5080 5 0 0 25 0 1 0 310797126 21196800 4967 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/6717/statm: 5175 4967 77 171 0 5002 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 26056
[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6717
/proc/meminfo: memFree=1801040/2055920 swapFree=4180392/4192956
[pid=6711] ppid=6709 vsize=5356 CPUtime=0.18
/proc/6711/stat : 6711 (SatELiteGTI) S 6709 6711 6021 0 -1 4194304 336 1251 0 0 0 0 17 1 16 0 1 0 310797107 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6711/statm: 1339 239 197 169 0 50 0
[pid=6717] ppid=6711 vsize=21112 CPUtime=102.03
/proc/6717/stat : 6717 (minisat_static) R 6711 6711 6021 0 -1 4194304 5079 0 0 0 10197 6 0 0 25 0 1 0 310797126 21618688 5065 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/6717/statm: 5278 5065 77 171 0 5105 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 26468
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6717
/proc/meminfo: memFree=1800848/2055920 swapFree=4180392/4192956
[pid=6711] ppid=6709 vsize=5356 CPUtime=0.18
/proc/6711/stat : 6711 (SatELiteGTI) S 6709 6711 6021 0 -1 4194304 336 1251 0 0 0 0 17 1 16 0 1 0 310797107 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6711/statm: 1339 239 197 169 0 50 0
[pid=6717] ppid=6711 vsize=21420 CPUtime=162
/proc/6717/stat : 6717 (minisat_static) R 6711 6711 6021 0 -1 4194304 5131 0 0 0 16193 7 0 0 25 0 1 0 310797126 21934080 5117 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6717/statm: 5355 5117 77 171 0 5182 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 26776
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6717
/proc/meminfo: memFree=1800656/2055920 swapFree=4180392/4192956
[pid=6711] ppid=6709 vsize=5356 CPUtime=0.18
/proc/6711/stat : 6711 (SatELiteGTI) S 6709 6711 6021 0 -1 4194304 336 1251 0 0 0 0 17 1 16 0 1 0 310797107 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6711/statm: 1339 239 197 169 0 50 0
[pid=6717] ppid=6711 vsize=21560 CPUtime=221.97
/proc/6717/stat : 6717 (minisat_static) R 6711 6711 6021 0 -1 4194304 5163 0 0 0 22190 7 0 0 25 0 1 0 310797126 22077440 5149 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6717/statm: 5390 5149 77 171 0 5217 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 26916
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6717
/proc/meminfo: memFree=1800016/2055920 swapFree=4180392/4192956
[pid=6711] ppid=6709 vsize=5356 CPUtime=0.18
/proc/6711/stat : 6711 (SatELiteGTI) S 6709 6711 6021 0 -1 4194304 336 1251 0 0 0 0 17 1 16 0 1 0 310797107 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6711/statm: 1339 239 197 169 0 50 0
[pid=6717] ppid=6711 vsize=22144 CPUtime=281.94
/proc/6717/stat : 6717 (minisat_static) R 6711 6711 6021 0 -1 4194304 5321 0 0 0 28186 8 0 0 25 0 1 0 310797126 22675456 5307 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/6717/statm: 5536 5307 77 171 0 5363 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 27500
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6717
/proc/meminfo: memFree=1799952/2055920 swapFree=4180392/4192956
[pid=6711] ppid=6709 vsize=5356 CPUtime=0.18
/proc/6711/stat : 6711 (SatELiteGTI) S 6709 6711 6021 0 -1 4194304 336 1251 0 0 0 0 17 1 16 0 1 0 310797107 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6711/statm: 1339 239 197 169 0 50 0
[pid=6717] ppid=6711 vsize=22300 CPUtime=341.92
/proc/6717/stat : 6717 (minisat_static) R 6711 6711 6021 0 -1 4194304 5333 0 0 0 34184 8 0 0 25 0 1 0 310797126 22835200 5319 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6717/statm: 5575 5319 77 171 0 5402 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 27656
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6717
/proc/meminfo: memFree=1799760/2055920 swapFree=4180392/4192956
[pid=6711] ppid=6709 vsize=5356 CPUtime=0.18
/proc/6711/stat : 6711 (SatELiteGTI) S 6709 6711 6021 0 -1 4194304 336 1251 0 0 0 0 17 1 16 0 1 0 310797107 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6711/statm: 1339 239 197 169 0 50 0
[pid=6717] ppid=6711 vsize=22300 CPUtime=401.89
################
# More data... #
################
[pid=6717] ppid=6711 vsize=22444 CPUtime=461.86
/proc/6717/stat : 6717 (minisat_static) R 6711 6711 6021 0 -1 4194304 5376 0 0 0 46177 9 0 0 25 0 1 0 310797126 22982656 5362 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/6717/statm: 5611 5362 77 171 0 5438 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 27800
[startup+522.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6723
/proc/meminfo: memFree=1798864/2055920 swapFree=4180392/4192956
[pid=6711] ppid=6709 vsize=5356 CPUtime=0.18
/proc/6711/stat : 6711 (SatELiteGTI) S 6709 6711 6021 0 -1 4194304 336 1251 0 0 0 0 17 1 16 0 1 0 310797107 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6711/statm: 1339 239 197 169 0 50 0
[pid=6717] ppid=6711 vsize=23112 CPUtime=521.83
/proc/6717/stat : 6717 (minisat_static) R 6711 6711 6021 0 -1 4194304 5541 0 0 0 52174 9 0 0 25 0 1 0 310797126 23666688 5527 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/6717/statm: 5778 5527 77 171 0 5605 0
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (KiB) 28468
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6723
/proc/meminfo: memFree=1798800/2055920 swapFree=4180392/4192956
[pid=6711] ppid=6709 vsize=5356 CPUtime=0.18
/proc/6711/stat : 6711 (SatELiteGTI) S 6709 6711 6021 0 -1 4194304 336 1251 0 0 0 0 17 1 16 0 1 0 310797107 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6711/statm: 1339 239 197 169 0 50 0
[pid=6717] ppid=6711 vsize=23112 CPUtime=581.81
/proc/6717/stat : 6717 (minisat_static) R 6711 6711 6021 0 -1 4194304 5541 0 0 0 58171 10 0 0 25 0 1 0 310797126 23666688 5527 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/6717/statm: 5778 5527 77 171 0 5605 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 28468
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6723
/proc/meminfo: memFree=1798480/2055920 swapFree=4180392/4192956
[pid=6711] ppid=6709 vsize=5356 CPUtime=0.18
/proc/6711/stat : 6711 (SatELiteGTI) S 6709 6711 6021 0 -1 4194304 336 1251 0 0 0 0 17 1 16 0 1 0 310797107 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6711/statm: 1339 239 197 169 0 50 0
[pid=6717] ppid=6711 vsize=23376 CPUtime=641.78
/proc/6717/stat : 6717 (minisat_static) R 6711 6711 6021 0 -1 4194304 5603 0 0 0 64168 10 0 0 25 0 1 0 310797126 23937024 5589 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/6717/statm: 5844 5589 77 171 0 5671 0
Current children cumulated CPU time (s) 641.96
Current children cumulated vsize (KiB) 28732
[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6723
/proc/meminfo: memFree=1797392/2055920 swapFree=4180392/4192956
[pid=6711] ppid=6709 vsize=5356 CPUtime=0.18
/proc/6711/stat : 6711 (SatELiteGTI) S 6709 6711 6021 0 -1 4194304 336 1251 0 0 0 0 17 1 16 0 1 0 310797107 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6711/statm: 1339 239 197 169 0 50 0
[pid=6717] ppid=6711 vsize=24444 CPUtime=701.76
/proc/6717/stat : 6717 (minisat_static) R 6711 6711 6021 0 -1 4194304 5854 0 0 0 70165 11 0 0 25 0 1 0 310797126 25030656 5840 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6717/statm: 6111 5840 77 171 0 5938 0
Current children cumulated CPU time (s) 701.94
Current children cumulated vsize (KiB) 29800
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6723
/proc/meminfo: memFree=1797072/2055920 swapFree=4180392/4192956
[pid=6711] ppid=6709 vsize=5356 CPUtime=0.18
/proc/6711/stat : 6711 (SatELiteGTI) S 6709 6711 6021 0 -1 4194304 336 1251 0 0 0 0 17 1 16 0 1 0 310797107 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6711/statm: 1339 239 197 169 0 50 0
[pid=6717] ppid=6711 vsize=24732 CPUtime=761.73
/proc/6717/stat : 6717 (minisat_static) R 6711 6711 6021 0 -1 4194304 5905 0 0 0 76162 11 0 0 25 0 1 0 310797126 25325568 5891 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/6717/statm: 6183 5891 77 171 0 6010 0
Current children cumulated CPU time (s) 761.91
Current children cumulated vsize (KiB) 30088
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6723
/proc/meminfo: memFree=1796944/2055920 swapFree=4180392/4192956
[pid=6711] ppid=6709 vsize=5356 CPUtime=0.18
/proc/6711/stat : 6711 (SatELiteGTI) S 6709 6711 6021 0 -1 4194304 336 1251 0 0 0 0 17 1 16 0 1 0 310797107 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6711/statm: 1339 239 197 169 0 50 0
[pid=6717] ppid=6711 vsize=24732 CPUtime=821.71
/proc/6717/stat : 6717 (minisat_static) R 6711 6711 6021 0 -1 4194304 5929 0 0 0 82159 12 0 0 25 0 1 0 310797126 25325568 5915 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6717/statm: 6183 5915 77 171 0 6010 0
Current children cumulated CPU time (s) 821.89
Current children cumulated vsize (KiB) 30088
[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6723
/proc/meminfo: memFree=1796752/2055920 swapFree=4180392/4192956
[pid=6711] ppid=6709 vsize=5356 CPUtime=0.18
/proc/6711/stat : 6711 (SatELiteGTI) S 6709 6711 6021 0 -1 4194304 336 1251 0 0 0 0 17 1 16 0 1 0 310797107 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6711/statm: 1339 239 197 169 0 50 0
[pid=6717] ppid=6711 vsize=24876 CPUtime=881.68
/proc/6717/stat : 6717 (minisat_static) R 6711 6711 6021 0 -1 4194304 5957 0 0 0 88156 12 0 0 25 0 1 0 310797126 25473024 5943 1992294400 134512640 135215339 4294956240 18446744073709551615 134528764 0 0 4096 3 0 0 0 17 1 0 0
/proc/6717/statm: 6219 5943 77 171 0 6046 0
Current children cumulated CPU time (s) 881.86
Current children cumulated vsize (KiB) 30232
[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6723
/proc/meminfo: memFree=1796560/2055920 swapFree=4180392/4192956
[pid=6711] ppid=6709 vsize=5356 CPUtime=0.18
/proc/6711/stat : 6711 (SatELiteGTI) S 6709 6711 6021 0 -1 4194304 336 1251 0 0 0 0 17 1 16 0 1 0 310797107 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6711/statm: 1339 239 197 169 0 50 0
[pid=6717] ppid=6711 vsize=25160 CPUtime=941.67
/proc/6717/stat : 6717 (minisat_static) R 6711 6711 6021 0 -1 4194304 6011 0 0 0 94154 13 0 0 25 0 1 0 310797126 25763840 5997 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6717/statm: 6290 5997 77 171 0 6117 0
Current children cumulated CPU time (s) 941.85
Current children cumulated vsize (KiB) 30516
[startup+1002.3 s]
/proc/loadavg: 1.11 1.03 1.01 2/66 6723
/proc/meminfo: memFree=1796368/2055920 swapFree=4180392/4192956
[pid=6711] ppid=6709 vsize=5356 CPUtime=0.18
/proc/6711/stat : 6711 (SatELiteGTI) S 6709 6711 6021 0 -1 4194304 336 1251 0 0 0 0 17 1 16 0 1 0 310797107 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6711/statm: 1339 239 197 169 0 50 0
[pid=6717] ppid=6711 vsize=25312 CPUtime=1001.64
/proc/6717/stat : 6717 (minisat_static) R 6711 6711 6021 0 -1 4194304 6046 0 0 0 100151 13 0 0 25 0 1 0 310797126 25919488 6032 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6717/statm: 6328 6032 77 171 0 6155 0
Current children cumulated CPU time (s) 1001.82
Current children cumulated vsize (KiB) 30668
[startup+1062.3 s]
/proc/loadavg: 1.15 1.05 1.01 2/66 6723
/proc/meminfo: memFree=1792208/2055920 swapFree=4180392/4192956
[pid=6711] ppid=6709 vsize=5356 CPUtime=0.18
/proc/6711/stat : 6711 (SatELiteGTI) S 6709 6711 6021 0 -1 4194304 336 1251 0 0 0 0 17 1 16 0 1 0 310797107 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6711/statm: 1339 239 197 169 0 50 0
[pid=6717] ppid=6711 vsize=29428 CPUtime=1061.61
/proc/6717/stat : 6717 (minisat_static) R 6711 6711 6021 0 -1 4194304 7091 0 0 0 106147 14 0 0 25 0 1 0 310797126 30134272 7077 1992294400 134512640 135215339 4294956240 18446744073709551615 134528776 0 0 4096 3 0 0 0 17 1 0 0
/proc/6717/statm: 7357 7077 77 171 0 7184 0
Current children cumulated CPU time (s) 1061.79
Current children cumulated vsize (KiB) 34784
[startup+1122.3 s]
/proc/loadavg: 1.13 1.05 1.01 2/66 6723
/proc/meminfo: memFree=1792016/2055920 swapFree=4180392/4192956
[pid=6711] ppid=6709 vsize=5356 CPUtime=0.18
/proc/6711/stat : 6711 (SatELiteGTI) S 6709 6711 6021 0 -1 4194304 336 1251 0 0 0 0 17 1 16 0 1 0 310797107 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6711/statm: 1339 239 197 169 0 50 0
[pid=6717] ppid=6711 vsize=29560 CPUtime=1121.58
/proc/6717/stat : 6717 (minisat_static) R 6711 6711 6021 0 -1 4194304 7118 0 0 0 112144 14 0 0 25 0 1 0 310797126 30269440 7104 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/6717/statm: 7390 7104 77 171 0 7217 0
Current children cumulated CPU time (s) 1121.76
Current children cumulated vsize (KiB) 34916
[startup+1182.3 s]
/proc/loadavg: 1.04 1.04 1.00 2/66 6723
/proc/meminfo: memFree=1792016/2055920 swapFree=4180392/4192956
[pid=6711] ppid=6709 vsize=5356 CPUtime=0.18
/proc/6711/stat : 6711 (SatELiteGTI) S 6709 6711 6021 0 -1 4194304 336 1251 0 0 0 0 17 1 16 0 1 0 310797107 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6711/statm: 1339 239 197 169 0 50 0
[pid=6717] ppid=6711 vsize=29560 CPUtime=1181.57
/proc/6717/stat : 6717 (minisat_static) R 6711 6711 6021 0 -1 4194304 7118 0 0 0 118142 15 0 0 25 0 1 0 310797126 30269440 7104 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/6717/statm: 7390 7104 77 171 0 7217 0
Current children cumulated CPU time (s) 1181.75
Current children cumulated vsize (KiB) 34916
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 1.03 1.04 1.00 2/66 6723
/proc/meminfo: memFree=1792016/2055920 swapFree=4180392/4192956
[pid=6711] ppid=6709 vsize=5356 CPUtime=0.18
/proc/6711/stat : 6711 (SatELiteGTI) S 6709 6711 6021 0 -1 4194304 336 1251 0 0 0 0 17 1 16 0 1 0 310797107 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6711/statm: 1339 239 197 169 0 50 0
[pid=6717] ppid=6711 vsize=29560 CPUtime=1199.86
/proc/6717/stat : 6717 (minisat_static) R 6711 6711 6021 0 -1 4194304 7119 0 0 0 119971 15 0 0 25 0 1 0 310797126 30269440 7105 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6717/statm: 7390 7105 77 171 0 7217 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 34916
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.61
CPU time (s): 1200.07
CPU user time (s): 1199.89
CPU system time (s): 0.173973
CPU usage (%): 99.9545
Max. virtual memory (cumulated for all children) (KiB): 34916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.89
system time used= 0.173973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8715
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= 26
involuntary context switches= 4743
runsolver used 1.39179 second user time and 3.12752 second system time
The end
Begin job on node18 at 2009-05-20 15:53:58
IDJOB=1834083
IDBENCH=71258
IDSOLVER=671
FILE ID=node18/1834083-1242827638
PBS_JOBID= 9322496
Free space on /tmp= 66228 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v760c43649g4.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834083-1242827638/watcher-1834083-1242827638 -o /tmp/evaluation-result-1834083-1242827638/solver-1834083-1242827638 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834083-1242827638.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 3ea4eea040ac494148336825302eb384
RANDOM SEED=820507899
node18.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.280
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.280
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: 1822776 kB
Buffers: 52128 kB
Cached: 132476 kB
SwapCached: 6680 kB
Active: 87224 kB
Inactive: 105708 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1822776 kB
SwapTotal: 4192956 kB
SwapFree: 4180392 kB
Dirty: 2080 kB
Writeback: 0 kB
Mapped: 13560 kB
Slab: 26216 kB
Committed_AS: 1106752 kB
PageTables: 1376 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66228 MiB
End job on node18 at 2009-05-20 16:14:01