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 | 15300 107100 | 4589 0 0 nan | 0.000 % |
0.00/0.02 c ==============================================================================
0.00/0.02 c Result : #vars: 180 #clauses: 15300 #literals: 107100
0.00/0.02 c CPU time: 0.014997 s
0.00/0.02 c ==============================================================================
0.00/0.06 c This is MiniSat 2.0 beta
0.00/0.06 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06 c ============================[ Problem Statistics ]=============================
0.00/0.06 c | |
0.00/0.06 c | Number of variables: 180 |
0.00/0.06 c | Number of clauses: 15300 |
0.00/0.07 c | Parsing time: 0.01 s |
0.00/0.08 c ============================[ Search Statistics ]==============================
0.00/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.08 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.08 c ===============================================================================
0.00/0.08 c | 0 | 180 15300 107100 | 5100 0 nan | 0.000 % |
0.00/0.09 c | 101 | 180 15300 107100 | 5100 101 51 | 0.003 % |
0.00/0.10 c | 201 | 180 15300 107100 | 5100 201 52 | 0.003 % |
0.05/0.11 c | 301 | 180 15300 107100 | 5100 301 55 | 0.003 % |
0.05/0.12 c | 412 | 180 15300 107100 | 5100 412 54 | 0.003 % |
0.05/0.13 c | 512 | 180 15300 107100 | 5100 512 54 | 0.003 % |
0.05/0.14 c | 623 | 180 15300 107100 | 5100 623 53 | 0.003 % |
0.05/0.14 c | 745 | 180 15300 107100 | 5100 745 53 | 0.003 % |
0.05/0.15 c | 846 | 180 15300 107100 | 5100 846 53 | 0.003 % |
0.05/0.16 c | 957 | 180 15300 107100 | 5100 957 54 | 0.003 % |
0.05/0.17 c | 1078 | 180 15300 107100 | 5100 1078 54 | 0.003 % |
0.05/0.18 c | 1213 | 180 15300 107100 | 5100 1213 53 | 0.003 % |
0.05/0.19 c | 1315 | 180 15300 107100 | 5100 1315 53 | 0.003 % |
0.05/0.20 c | 1426 | 180 15300 107100 | 5100 1426 53 | 0.003 % |
0.05/0.21 c | 1547 | 180 15300 107100 | 5100 1547 53 | 0.003 % |
0.05/0.22 c | 1683 | 180 15300 107100 | 5100 1683 53 | 0.003 % |
0.05/0.24 c | 1829 | 180 15300 107100 | 5100 1829 53 | 0.003 % |
0.05/0.24 c | 1929 | 180 15300 107100 | 5100 1929 53 | 0.003 % |
0.05/0.25 c | 2039 | 180 15300 107100 | 5100 2039 53 | 0.003 % |
0.05/0.26 c | 2161 | 180 15300 107100 | 5100 2161 53 | 0.003 % |
0.05/0.28 c | 2295 | 180 15300 107100 | 5100 2295 53 | 0.003 % |
0.05/0.29 c | 2441 | 180 15300 107100 | 5100 2441 53 | 0.003 % |
0.05/0.30 c | 2601 | 180 15300 107100 | 5100 2601 53 | 0.003 % |
0.05/0.31 c | 2702 | 180 15300 107100 | 5100 2702 53 | 0.003 % |
0.05/0.32 c | 2812 | 180 15300 107100 | 5100 2812 53 | 0.003 % |
0.05/0.33 c | 2934 | 180 15300 107100 | 5100 2934 53 | 0.003 % |
0.05/0.35 c | 3068 | 180 15300 107100 | 5100 3068 53 | 0.003 % |
0.05/0.36 c | 3214 | 180 15300 107100 | 5100 3214 53 | 0.003 % |
0.05/0.37 c | 3374 | 180 15300 107100 | 5100 3374 53 | 0.003 % |
0.05/0.39 c | 3550 | 180 15300 107100 | 5100 3550 53 | 0.003 % |
0.05/0.40 c | 3650 | 180 15300 107100 | 5100 3650 53 | 0.003 % |
0.05/0.41 c | 3760 | 180 15300 107100 | 5100 3760 53 | 0.003 % |
0.05/0.42 c | 3881 | 180 15300 107100 | 5100 3881 53 | 0.003 % |
0.05/0.44 c | 4014 | 180 15300 107100 | 5100 4014 53 | 0.003 % |
0.05/0.45 c | 4160 | 180 15300 107100 | 5100 4160 53 | 0.003 % |
0.05/0.47 c | 4320 | 180 15300 107100 | 5100 4320 53 | 0.003 % |
0.05/0.49 c | 4496 | 180 15300 107100 | 5100 4496 53 | 0.003 % |
0.05/0.51 c | 4690 | 180 15300 107100 | 5100 4690 53 | 0.003 % |
0.05/0.52 c | 4795 | 180 15300 107100 | 5100 4795 53 | 0.003 % |
0.05/0.53 c | 4907 | 180 15300 107100 | 5100 4907 53 | 0.003 % |
0.05/0.54 c | 5028 | 180 15300 107100 | 5100 5028 53 | 0.003 % |
0.05/0.56 c | 5161 | 180 15300 107100 | 5100 5161 53 | 0.003 % |
0.05/0.58 c | 5308 | 180 15300 107100 | 5100 4792 52 | 0.003 % |
0.05/0.59 c | 5470 | 180 15300 107100 | 5100 4954 52 | 0.003 % |
0.05/0.61 c | 5646 | 180 15300 107100 | 5100 5130 52 | 0.003 % |
0.05/0.64 c | 5839 | 180 15300 107100 | 5100 4810 52 | 0.003 % |
0.05/0.66 c | 6052 | 180 15300 107100 | 5100 5023 52 | 0.003 % |
0.05/0.67 c | 6153 | 180 15300 107100 | 5100 5124 52 | 0.003 % |
0.05/0.69 c | 6264 | 180 15300 107100 | 5100 4723 52 | 0.003 % |
0.05/0.70 c | 6386 | 180 15300 107100 | 5100 4845 52 | 0.003 % |
0.05/0.71 c | 6519 | 180 15300 107100 | 5100 4978 52 | 0.003 % |
0.05/0.72 c | 6666 | 180 15300 107100 | 5100 5125 52 | 0.003 % |
0.05/0.74 c | 6828 | 180 15300 107100 | 5100 4775 52 | 0.003 % |
0.05/0.76 c | 7006 | 180 15300 107100 | 5100 4953 52 | 0.003 % |
0.05/0.78 c | 7200 | 180 15300 107100 | 5100 5147 52 | 0.003 % |
0.05/0.81 c | 7412 | 180 15300 107100 | 5100 4845 52 | 0.003 % |
0.05/0.83 c | 7645 | 180 15300 107100 | 5100 5078 52 | 0.003 % |
0.05/0.84 c | 7746 | 180 15300 107100 | 5100 5179 52 | 0.003 % |
0.05/0.85 c | 7856 | 180 15300 107100 | 5100 4772 52 | 0.003 % |
0.05/0.87 c | 7978 | 180 15300 107100 | 5100 4894 52 | 0.003 % |
0.05/0.88 c | 8111 | 180 15300 107100 | 5100 5027 52 | 0.003 % |
0.05/0.90 c | 8257 | 180 15300 107100 | 5100 5173 52 | 0.003 % |
0.05/0.92 c | 8419 | 180 15300 107100 | 5100 4818 52 | 0.003 % |
0.05/0.94 c | 8595 | 180 15300 107100 | 5100 4994 51 | 0.003 % |
0.05/0.96 c | 8789 | 180 15300 107100 | 5100 5188 51 | 0.003 % |
0.05/0.98 c | 9002 | 180 15300 107100 | 5100 4883 51 | 0.003 % |
0.05/1.01 c | 9237 | 180 15300 107100 | 5100 5118 51 | 0.003 % |
0.05/1.03 c | 9495 | 180 15300 107100 | 5100 4865 51 | 0.003 % |
0.05/1.04 c | 9595 | 180 15300 107100 | 5100 4965 51 | 0.003 % |
0.05/1.05 c | 9705 | 180 15300 107100 | 5100 5075 51 | 0.003 % |
0.05/1.07 c | 9826 | 180 15300 107100 | 5100 4678 51 | 0.003 % |
0.05/1.08 c | 9960 | 180 15300 107100 | 5100 4812 51 | 0.003 % |
0.05/1.10 c | 10106 | 180 15300 107100 | 2147483647 4958 51 | 0.003 % |
1.08/1.11 c | 10266 | 180 15300 107100 | 2147483647 5118 51 | 0.003 % |
1.08/1.13 c | 10443 | 180 15300 107100 | 2147483647 5295 51 | 0.003 % |
1.08/1.15 c | 10639 | 180 15300 107100 | 2147483647 5491 51 | 0.003 % |
1.08/1.17 c | 10852 | 180 15300 107100 | 2147483647 5704 51 | 0.003 % |
1.08/1.20 c | 11085 | 180 15300 107100 | 2147483647 5937 52 | 0.003 % |
1.18/1.23 c | 11342 | 180 15300 107100 | 2147483647 6194 52 | 0.003 % |
1.18/1.26 c | 11623 | 180 15300 107100 | 2147483647 6475 52 | 0.003 % |
1.18/1.27 c | 11724 | 180 15300 107100 | 2147483647 6576 52 | 0.003 % |
1.18/1.28 c | 11834 | 180 15300 107100 | 2147483647 6686 52 | 0.003 % |
1.27/1.30 c | 11957 | 180 15300 107100 | 2147483647 6809 52 | 0.003 % |
1.27/1.32 c | 12091 | 180 15300 107100 | 2147483647 6943 52 | 0.003 % |
1.27/1.34 c | 12237 | 180 15300 107100 | 2147483647 7089 52 | 0.003 % |
1.27/1.36 c | 12397 | 180 15300 107100 | 2147483647 7249 52 | 0.003 % |
1.27/1.38 c | 12573 | 180 15300 107100 | 2147483647 7425 52 | 0.003 % |
1.37/1.40 c | 12767 | 180 15300 107100 | 2147483647 7619 52 | 0.003 % |
1.37/1.43 c | 12981 | 180 15300 107100 | 2147483647 7833 52 | 0.003 % |
1.37/1.46 c | 13215 | 180 15300 107100 | 2147483647 8067 52 | 0.003 % |
1.37/1.49 c | 13471 | 180 15300 107100 | 2147483647 8323 52 | 0.003 % |
1.47/1.52 c | 13753 | 180 15300 107100 | 2147483647 8605 52 | 0.003 % |
1.47/1.56 c | 14062 | 180 15300 107100 | 2147483647 8914 52 | 0.003 % |
1.47/1.58 c | 14162 | 180 15300 107100 | 2147483647 9014 52 | 0.003 % |
1.47/1.59 c | 14274 | 180 15300 107100 | 2147483647 9126 52 | 0.003 % |
1.57/1.61 c | 14395 | 180 15300 107100 | 2147483647 9247 52 | 0.003 % |
1.57/1.63 c | 14528 | 180 15300 107100 | 2147483647 9380 52 | 0.003 % |
1.57/1.65 c | 14674 | 180 15300 107100 | 2147483647 9526 52 | 0.003 % |
1.57/1.68 c | 14837 | 180 15300 107100 | 2147483647 9689 52 | 0.003 % |
1.67/1.70 c | 15013 | 180 15300 107100 | 2147483647 9865 52 | 0.003 % |
1.67/1.73 c | 15206 | 180 15300 107100 | 2147483647 10058 52 | 0.003 % |
1.67/1.76 c | 15419 | 180 15300 107100 | 2147483647 10271 52 | 0.003 % |
1.77/1.80 c | 15653 | 180 15300 107100 | 2147483647 10505 52 | 0.003 % |
1.77/1.84 c | 15910 | 180 15300 107100 | 2147483647 10762 52 | 0.003 % |
1.77/1.88 c | 16191 | 180 15300 107100 | 2147483647 11043 52 | 0.003 % |
1.87/1.93 c | 16502 | 180 15300 107100 | 2147483647 11354 52 | 0.003 % |
1.87/1.98 c | 16841 | 180 15300 107100 | 2147483647 11693 52 | 0.003 % |
1.97/2.00 c | 16942 | 180 15300 107100 | 2147483647 11794 52 | 0.003 % |
1.97/2.02 c | 17054 | 180 15300 107100 | 2147483647 11906 52 | 0.003 % |
1.97/2.04 c | 17175 | 180 15300 107100 | 2147483647 12027 52 | 0.003 % |
1.97/2.06 c | 17308 | 180 15300 107100 | 2147483647 12160 52 | 0.003 % |
1.97/2.09 c | 17455 | 180 15300 107100 | 2147483647 12307 52 | 0.003 % |
2.07/2.12 c | 17617 | 180 15300 107100 | 2147483647 12469 52 | 0.003 % |
2.07/2.14 c | 17794 | 180 15300 107100 | 2147483647 12646 52 | 0.003 % |
2.07/2.17 c | 17987 | 180 15300 107100 | 2147483647 12839 52 | 0.003 % |
2.17/2.21 c | 18199 | 180 15300 107100 | 2147483647 13051 52 | 0.003 % |
2.17/2.25 c | 18433 | 180 15300 107100 | 2147483647 13285 52 | 0.003 % |
2.17/2.29 c | 18689 | 180 15300 107100 | 2147483647 13541 52 | 0.003 % |
2.27/2.34 c | 18970 | 180 15300 107100 | 2147483647 13822 52 | 0.003 % |
2.37/2.40 c | 19280 | 180 15300 107100 | 2147483647 14132 52 | 0.003 % |
2.37/2.46 c | 19619 | 180 15300 107100 | 2147483647 14471 52 | 0.003 % |
2.47/2.52 c | 19991 | 180 15300 107100 | 2147483647 14843 52 | 0.003 % |
2.47/2.55 c | 20091 | 180 15300 107100 | 2147483647 14943 52 | 0.003 % |
2.47/2.57 c | 20202 | 180 15300 107100 | 2147483647 15054 52 | 0.003 % |
2.57/2.60 c | 20323 | 180 15300 107100 | 2147483647 15175 52 | 0.003 % |
2.57/2.63 c | 20456 | 180 15300 107100 | 2147483647 15308 52 | 0.003 % |
2.57/2.66 c | 20602 | 180 15300 107100 | 2147483647 15454 52 | 0.003 % |
2.57/2.69 c | 20762 | 180 15300 107100 | 2147483647 15614 52 | 0.003 % |
2.67/2.73 c | 20939 | 180 15300 107100 | 2147483647 15791 52 | 0.003 % |
2.67/2.76 c | 21132 | 180 15300 107100 | 2147483647 15984 52 | 0.003 % |
2.77/2.80 c | 21344 | 180 15300 107100 | 2147483647 16196 52 | 0.003 % |
2.77/2.85 c | 21577 | 180 15300 107100 | 2147483647 16429 52 | 0.003 % |
2.86/2.91 c | 21835 | 180 15300 107100 | 2147483647 16687 52 | 0.003 % |
2.86/2.97 c | 22116 | 180 15300 107100 | 2147483647 16968 52 | 0.003 % |
2.96/3.05 c | 22425 | 180 15300 107100 | 2147483647 17277 52 | 0.003 % |
3.07/3.12 c | 22764 | 180 15300 107100 | 2147483647 17616 52 | 0.003 % |
3.07/3.20 c | 23137 | 180 15300 107100 | 2147483647 17989 52 | 0.003 % |
3.17/3.27 c | 23546 | 180 15300 107100 | 2147483647 18398 52 | 0.003 % |
3.28/3.30 c | 23648 | 180 15300 107100 | 2147483647 18500 53 | 0.003 % |
3.28/3.33 c | 23760 | 180 15300 107100 | 2147483647 18612 53 | 0.003 % |
3.28/3.36 c | 23881 | 180 15300 107100 | 2147483647 18733 53 | 0.003 % |
3.28/3.40 c | 24015 | 180 15300 107100 | 2147483647 18867 52 | 0.003 % |
3.38/3.44 c | 24163 | 180 15300 107100 | 2147483647 19015 52 | 0.003 % |
3.38/3.48 c | 24324 | 180 15300 107100 | 2147483647 19176 52 | 0.003 % |
3.47/3.52 c | 24500 | 180 15300 107100 | 2147483647 19352 52 | 0.003 % |
3.47/3.58 c | 24693 | 180 15300 107100 | 2147483647 19545 52 | 0.003 % |
3.57/3.63 c | 24906 | 180 15300 107100 | 2147483647 19758 52 | 0.003 % |
3.57/3.69 c | 25139 | 180 15300 107100 | 2147483647 19991 52 | 0.003 % |
3.67/3.75 c | 25395 | 180 15300 107100 | 2147483647 20247 52 | 0.003 % |
3.77/3.81 c | 25676 | 180 15300 107100 | 2147483647 20528 52 | 0.003 % |
3.77/3.88 c | 25987 | 180 15300 107100 | 2147483647 20839 52 | 0.003 % |
3.87/3.96 c | 26328 | 180 15300 107100 | 2147483647 21180 52 | 0.003 % |
3.97/4.06 c | 26702 | 180 15300 107100 | 2147483647 21554 53 | 0.003 % |
4.07/4.17 c | 27112 | 180 15300 107100 | 2147483647 21964 52 | 0.003 % |
4.17/4.27 c | 27561 | 180 15300 107100 | 2147483647 22413 52 | 0.003 % |
4.27/4.31 c | 27661 | 180 15300 107100 | 2147483647 22513 52 | 0.003 % |
4.27/4.34 c | 27771 | 180 15300 107100 | 2147483647 22623 52 | 0.003 % |
4.27/4.37 c | 27892 | 180 15300 107100 | 2147483647 22744 53 | 0.003 % |
4.37/4.41 c | 28026 | 180 15300 107100 | 2147483647 22878 53 | 0.003 % |
4.37/4.46 c | 28173 | 180 15300 107100 | 2147483647 23025 53 | 0.003 % |
4.37/4.50 c | 28333 | 180 15300 107100 | 2147483647 23185 53 | 0.003 % |
4.47/4.55 c | 28509 | 180 15300 107100 | 2147483647 23361 53 | 0.003 % |
4.57/4.61 c | 28702 | 180 15300 107100 | 2147483647 23554 53 | 0.003 % |
4.57/4.67 c | 28914 | 180 15300 107100 | 2147483647 23766 53 | 0.003 % |
4.67/4.72 c | 29147 | 180 15300 107100 | 2147483647 23999 53 | 0.003 % |
4.67/4.80 c | 29403 | 180 15300 107100 | 2147483647 24255 53 | 0.003 % |
4.77/4.87 c | 29684 | 180 15300 107100 | 2147483647 24536 53 | 0.003 % |
4.87/4.96 c | 29995 | 180 15300 107100 | 2147483647 24847 53 | 0.003 % |
4.97/5.06 c | 30334 | 180 15300 107100 | 2147483647 25186 53 | 0.003 % |
5.07/5.16 c | 30706 | 180 15300 107100 | 2147483647 25558 53 | 0.003 % |
5.17/5.27 c | 31116 | 180 15300 107100 | 2147483647 25968 53 | 0.003 % |
5.27/5.39 c | 31566 | 180 15300 107100 | 2147483647 26418 53 | 0.003 % |
5.47/5.55 c | 32059 | 180 15300 107100 | 2147483647 26911 53 | 0.003 % |
5.47/5.59 c | 32162 | 180 15300 107100 | 2147483647 27014 53 | 0.003 % |
5.57/5.63 c | 32272 | 180 15300 107100 | 2147483647 27124 53 | 0.003 % |
5.57/5.67 c | 32394 | 180 15300 107100 | 2147483647 27246 53 | 0.003 % |
5.67/5.71 c | 32529 | 180 15300 107100 | 2147483647 27381 53 | 0.003 % |
5.67/5.77 c | 32676 | 180 15300 107100 | 2147483647 27528 53 | 0.003 % |
5.77/5.82 c | 32837 | 180 15300 107100 | 2147483647 27689 53 | 0.003 % |
5.77/5.88 c | 33016 | 180 15300 107100 | 2147483647 27868 53 | 0.003 % |
5.86/5.95 c | 33210 | 180 15300 107100 | 2147483647 28062 53 | 0.003 % |
5.96/6.02 c | 33424 | 180 15300 107100 | 2147483647 28276 53 | 0.003 % |
6.06/6.10 c | 33659 | 180 15300 107100 | 2147483647 28511 53 | 0.003 % |
6.06/6.19 c | 33916 | 180 15300 107100 | 2147483647 28768 53 | 0.003 % |
6.16/6.27 c | 34198 | 180 15300 107100 | 2147483647 29050 53 | 0.003 % |
6.26/6.37 c | 34507 | 180 15300 107100 | 2147483647 29359 53 | 0.003 % |
6.46/6.50 c | 34846 | 180 15300 107100 | 2147483647 29698 53 | 0.003 % |
6.57/6.62 c | 35218 | 180 15300 107100 | 2147483647 30070 53 | 0.003 % |
6.66/6.76 c | 35627 | 180 15300 107100 | 2147483647 30479 53 | 0.003 % |
6.86/6.90 c | 36076 | 180 15300 107100 | 2147483647 30928 53 | 0.003 % |
6.96/7.09 c | 36570 | 180 15300 107100 | 2147483647 31422 53 | 0.003 % |
7.16/7.28 c | 37114 | 180 15300 107100 | 2147483647 31966 53 | 0.003 % |
7.26/7.33 c | 37216 | 180 15300 107100 | 2147483647 32068 53 | 0.003 % |
7.26/7.37 c | 37327 | 180 15300 107100 | 2147483647 32179 53 | 0.003 % |
7.36/7.42 c | 37448 | 180 15300 107100 | 2147483647 32300 53 | 0.003 % |
7.36/7.48 c | 37583 | 180 15300 107100 | 2147483647 32435 53 | 0.003 % |
7.46/7.55 c | 37730 | 180 15300 107100 | 2147483647 32582 53 | 0.003 % |
7.56/7.61 c | 37890 | 180 15300 107100 | 2147483647 32742 53 | 0.003 % |
7.56/7.68 c | 38066 | 180 15300 107100 | 2147483647 32918 53 | 0.003 % |
7.66/7.77 c | 38259 | 180 15300 107100 | 2147483647 33111 53 | 0.003 % |
7.77/7.85 c | 38471 | 180 15300 107100 | 2147483647 33323 53 | 0.003 % |
7.87/7.95 c | 38705 | 180 15300 107100 | 2147483647 33557 53 | 0.003 % |
7.97/8.05 c | 38961 | 180 15300 107100 | 2147483647 33813 53 | 0.003 % |
8.07/8.16 c | 39242 | 180 15300 107100 | 2147483647 34094 53 | 0.003 % |
8.17/8.27 c | 39552 | 180 15300 107100 | 2147483647 34404 53 | 0.003 % |
8.37/8.41 c | 39891 | 180 15300 107100 | 2147483647 34743 53 | 0.003 % |
8.47/8.56 c | 40263 | 180 15300 107100 | 2147483647 35115 53 | 0.003 % |
8.67/8.71 c | 40672 | 180 15300 107100 | 2147483647 35524 53 | 0.003 % |
8.77/8.89 c | 41123 | 180 15300 107100 | 2147483647 35975 53 | 0.003 % |
8.97/9.08 c | 41617 | 180 15300 107100 | 2147483647 36469 53 | 0.003 % |
9.27/9.30 c | 42159 | 180 15300 107100 | 2147483647 37011 53 | 0.003 % |
9.47/9.55 c | 42755 | 180 15300 107100 | 2147483647 37607 53 | 0.003 % |
9.47/9.59 c | 42855 | 180 15300 107100 | 2147483647 37707 53 | 0.003 % |
9.57/9.64 c | 42966 | 180 15300 107100 | 2147483647 37818 53 | 0.003 % |
9.57/9.69 c | 43088 | 180 15300 107100 | 2147483647 37940 53 | 0.003 % |
9.67/9.77 c | 43221 | 180 15300 107100 | 2147483647 38073 53 | 0.003 % |
9.77/9.84 c | 43369 | 180 15300 107100 | 2147483647 38221 53 | 0.003 % |
9.87/9.92 c | 43530 | 180 15300 107100 | 2147483647 38382 53 | 0.003 % |
9.87/10.00 c | 43708 | 180 15300 107100 | 2147483647 38560 53 | 0.003 % |
9.97/10.08 c | 43901 | 180 15300 107100 | 2147483647 38753 53 | 0.003 % |
10.17/10.20 c | 44113 | 180 15300 107100 | 2147483647 38965 53 | 0.003 % |
10.27/10.30 c | 44346 | 180 15300 107100 | 2147483647 39198 53 | 0.003 % |
10.37/10.41 c | 44602 | 180 15300 107100 | 2147483647 39454 53 | 0.003 % |
10.47/10.53 c | 44885 | 180 15300 107100 | 2147483647 39737 53 | 0.003 % |
10.56/10.66 c | 45196 | 180 15300 107100 | 2147483647 40048 53 | 0.003 % |
10.76/10.81 c | 45536 | 180 15300 107100 | 2147483647 40388 53 | 0.003 % |
10.97/11.00 c | 45908 | 180 15300 107100 | 2147483647 40760 53 | 0.003 % |
11.07/11.19 c | 46318 | 180 15300 107100 | 2147483647 41170 53 | 0.003 % |
11.36/11.40 c | 46767 | 180 15300 107100 | 2147483647 41619 53 | 0.003 % |
11.56/11.63 c | 47260 | 180 15300 107100 | 2147483647 42112 53 | 0.003 % |
11.76/11.89 c | 47802 | 180 15300 107100 | 2147483647 42654 53 | 0.003 % |
12.06/12.17 c | 48399 | 180 15300 107100 | 2147483647 43251 53 | 0.003 % |
12.36/12.49 c | 49054 | 180 15300 107100 | 2147483647 43906 53 | 0.003 % |
12.46/12.56 c | 49154 | 180 15300 107100 | 2147483647 44006 53 | 0.003 % |
12.56/12.62 c | 49265 | 180 15300 107100 | 2147483647 44117 53 | 0.003 % |
12.56/12.69 c | 49386 | 180 15300 107100 | 2147483647 44238 53 | 0.003 % |
12.66/12.76 c | 49520 | 180 15300 107100 | 2147483647 44372 53 | 0.003 % |
12.76/12.84 c | 49667 | 180 15300 107100 | 2147483647 44519 53 | 0.003 % |
12.86/12.92 c | 49828 | 180 15300 107100 | 2147483647 44680 53 | 0.003 % |
12.96/13.01 c | 50006 | 180 15300 107100 | 2147483647 44858 53 | 0.003 % |
13.06/13.13 c | 50199 | 180 15300 107100 | 2147483647 45051 53 | 0.003 % |
13.16/13.25 c | 50412 | 180 15300 107100 | 2147483647 45264 53 | 0.003 % |
13.26/13.37 c | 50645 | 180 15300 107100 | 2147483647 45497 53 | 0.003 % |
13.35/13.49 c | 50902 | 180 15300 107100 | 2147483647 45754 53 | 0.003 % |
13.55/13.64 c | 51185 | 180 15300 107100 | 2147483647 46037 53 | 0.003 % |
13.75/13.80 c | 51495 | 180 15300 107100 | 2147483647 46347 53 | 0.003 % |
13.85/13.97 c | 51834 | 180 15300 107100 | 2147483647 46686 53 | 0.003 % |
14.05/14.17 c | 52208 | 180 15300 107100 | 2147483647 47060 53 | 0.003 % |
14.27/14.37 c | 52617 | 180 15300 107100 | 2147483647 47469 53 | 0.003 % |
14.46/14.59 c | 53069 | 180 15300 107100 | 2147483647 47921 53 | 0.003 % |
14.86/14.92 c | 53562 | 180 15300 107100 | 2147483647 48414 53 | 0.003 % |
15.16/15.24 c | 54104 | 180 15300 107100 | 2147483647 48956 53 | 0.003 % |
15.47/15.58 c | 54701 | 180 15300 107100 | 2147483647 49553 53 | 0.003 % |
15.86/15.93 c | 55356 | 180 15300 107100 | 2147483647 50208 53 | 0.003 % |
16.26/16.32 c | 56076 | 180 15300 107100 | 2147483647 50928 53 | 0.003 % |
16.26/16.40 c | 56176 | 180 15300 107100 | 2147483647 51028 53 | 0.003 % |
16.36/16.47 c | 56286 | 180 15300 107100 | 2147483647 51138 53 | 0.003 % |
16.47/16.53 c | 56407 | 180 15300 107100 | 2147483647 51259 53 | 0.003 % |
16.57/16.61 c | 56541 | 180 15300 107100 | 2147483647 51393 53 | 0.003 % |
16.66/16.72 c | 56687 | 180 15300 107100 | 2147483647 51539 53 | 0.003 % |
16.76/16.82 c | 56847 | 180 15300 107100 | 2147483647 51699 53 | 0.003 % |
16.86/16.95 c | 57023 | 180 15300 107100 | 2147483647 51875 53 | 0.003 % |
16.96/17.07 c | 57216 | 180 15300 107100 | 2147483647 52068 53 | 0.003 % |
17.06/17.19 c | 57428 | 180 15300 107100 | 2147483647 52280 53 | 0.003 % |
17.26/17.34 c | 57662 | 180 15300 107100 | 2147483647 52514 53 | 0.003 % |
17.46/17.50 c | 57918 | 180 15300 107100 | 2147483647 52770 53 | 0.003 % |
17.56/17.67 c | 58202 | 180 15300 107100 | 2147483647 53054 53 | 0.003 % |
17.76/17.86 c | 58513 | 180 15300 107100 | 2147483647 53365 53 | 0.003 % |
18.06/18.12 c | 58855 | 180 15300 107100 | 2147483647 53707 53 | 0.003 % |
18.26/18.36 c | 59227 | 180 15300 107100 | 2147483647 54079 53 | 0.003 % |
18.56/18.60 c | 59637 | 180 15300 107100 | 2147483647 54489 53 | 0.003 % |
18.76/18.86 c | 60087 | 180 15300 107100 | 2147483647 54939 53 | 0.003 % |
19.16/19.22 c | 60580 | 180 15300 107100 | 2147483647 55432 53 | 0.003 % |
19.46/19.57 c | 61122 | 180 15300 107100 | 2147483647 55974 53 | 0.003 % |
19.86/19.97 c | 61718 | 180 15300 107100 | 2147483647 56570 53 | 0.003 % |
20.26/20.39 c | 62373 | 180 15300 107100 | 2147483647 57225 53 | 0.003 % |
20.76/20.86 c | 63097 | 180 15300 107100 | 2147483647 57949 53 | 0.003 % |
21.35/21.40 c | 63889 | 180 15300 107100 | 2147483647 58741 53 | 0.003 % |
21.35/21.47 c | 63989 | 180 15300 107100 | 2147483647 58841 53 | 0.003 % |
21.45/21.54 c | 64099 | 180 15300 107100 | 2147483647 58951 53 | 0.003 % |
21.55/21.66 c | 64220 | 180 15300 107100 | 2147483647 59072 53 | 0.003 % |
21.65/21.76 c | 64354 | 180 15300 107100 | 2147483647 59206 53 | 0.003 % |
21.75/21.87 c | 64503 | 180 15300 107100 | 2147483647 59355 53 | 0.003 % |
21.85/22.00 c | 64663 | 180 15300 107100 | 2147483647 59515 53 | 0.003 % |
22.06/22.13 c | 64842 | 180 15300 107100 | 2147483647 59694 53 | 0.003 % |
22.15/22.27 c | 65036 | 180 15300 107100 | 2147483647 59888 53 | 0.003 % |
22.35/22.43 c | 65248 | 180 15300 107100 | 2147483647 60100 53 | 0.003 % |
22.55/22.61 c | 65481 | 180 15300 107100 | 2147483647 60333 53 | 0.003 % |
22.75/22.80 c | 65737 | 180 15300 107100 | 2147483647 60589 53 | 0.003 % |
22.85/22.99 c | 66020 | 180 15300 107100 | 2147483647 60872 53 | 0.003 % |
23.16/23.25 c | 66329 | 180 15300 107100 | 2147483647 61181 53 | 0.003 % |
23.45/23.50 c | 66669 | 180 15300 107100 | 2147483647 61521 53 | 0.003 % |
23.65/23.76 c | 67042 | 180 15300 107100 | 2147483647 61894 53 | 0.003 % |
24.05/24.11 c | 67451 | 180 15300 107100 | 2147483647 62303 53 | 0.003 % |
24.35/24.43 c | 67900 | 180 15300 107100 | 2147483647 62752 53 | 0.003 % |
24.65/24.78 c | 68394 | 180 15300 107100 | 2147483647 63246 53 | 0.003 % |
25.05/25.15 c | 68936 | 180 15300 107100 | 2147483647 63788 53 | 0.003 % |
25.45/25.55 c | 69532 | 180 15300 107100 | 2147483647 64384 53 | 0.003 % |
25.95/26.09 c | 70187 | 180 15300 107100 | 2147483647 65039 53 | 0.003 % |
26.55/26.63 c | 70907 | 180 15300 107100 | 2147483647 65759 53 | 0.003 % |
27.05/27.19 c | 71699 | 180 15300 107100 | 2147483647 66551 53 | 0.003 % |
27.75/27.82 c | 72570 | 180 15300 107100 | 2147483647 67422 53 | 0.003 % |
27.85/27.93 c | 72671 | 180 15300 107100 | 2147483647 67523 53 | 0.003 % |
27.95/28.02 c | 72782 | 180 15300 107100 | 2147483647 67634 53 | 0.003 % |
28.05/28.13 c | 72905 | 180 15300 107100 | 2147483647 67757 53 | 0.003 % |
28.15/28.23 c | 73038 | 180 15300 107100 | 2147483647 67890 53 | 0.003 % |
28.25/28.38 c | 73184 | 180 15300 107100 | 2147483647 68036 53 | 0.003 % |
28.45/28.52 c | 73345 | 180 15300 107100 | 2147483647 68197 53 | 0.003 % |
28.55/28.68 c | 73521 | 180 15300 107100 | 2147483647 68373 53 | 0.003 % |
28.75/28.87 c | 73714 | 180 15300 107100 | 2147483647 68566 53 | 0.003 % |
28.96/29.05 c | 73932 | 180 15300 107100 | 2147483647 68784 53 | 0.003 % |
29.16/29.26 c | 74165 | 180 15300 107100 | 2147483647 69017 53 | 0.003 % |
29.36/29.45 c | 74421 | 180 15300 107100 | 2147483647 69273 53 | 0.003 % |
29.56/29.67 c | 74702 | 180 15300 107100 | 2147483647 69554 53 | 0.003 % |
29.76/29.89 c | 75011 | 180 15300 107100 | 2147483647 69863 53 | 0.003 % |
30.15/30.23 c | 75350 | 180 15300 107100 | 2147483647 70202 53 | 0.003 % |
30.45/30.54 c | 75722 | 180 15300 107100 | 2147483647 70574 53 | 0.003 % |
30.76/30.87 c | 76134 | 180 15300 107100 | 2147483647 70986 53 | 0.003 % |
31.15/31.21 c | 76583 | 180 15300 107100 | 2147483647 71435 53 | 0.003 % |
31.55/31.66 c | 77078 | 180 15300 107100 | 2147483647 71930 53 | 0.003 % |
32.05/32.17 c | 77622 | 180 15300 107100 | 2147483647 72474 53 | 0.003 % |
32.54/32.69 c | 78219 | 180 15300 107100 | 2147483647 73071 53 | 0.003 % |
33.14/33.22 c | 78875 | 180 15300 107100 | 2147483647 73727 53 | 0.003 % |
33.74/33.84 c | 79595 | 180 15300 107100 | 2147483647 74447 53 | 0.003 % |
34.54/34.65 c | 80387 | 180 15300 107100 | 74853 64115 53 | 0.003 % |
35.15/35.30 c | 81260 | 180 15300 107100 | 74853 64988 53 | 0.003 % |
35.91/36.05 c | 82218 | 180 15300 107100 | 74853 65946 53 | 0.003 % |
35.99/36.14 c | 82320 | 180 15300 107100 | 74853 66048 53 | 0.003 % |
36.08/36.24 c | 82433 | 180 15300 107100 | 74853 66161 53 | 0.003 % |
36.18/36.34 c | 82555 | 180 15300 107100 | 74853 66283 53 | 0.003 % |
36.28/36.46 c | 82688 | 180 15300 107100 | 74853 66416 53 | 0.003 % |
36.37/36.57 c | 82837 | 180 15300 107100 | 74853 66565 53 | 0.003 % |
36.57/36.70 c | 82998 | 180 15300 107100 | 74853 66726 53 | 0.003 % |
36.67/36.84 c | 83174 | 180 15300 107100 | 74853 66902 53 | 0.003 % |
36.77/36.97 c | 83367 | 180 15300 107100 | 74853 67095 53 | 0.003 % |
36.98/37.13 c | 83579 | 180 15300 107100 | 74853 67307 53 | 0.003 % |
37.17/37.36 c | 83812 | 180 15300 107100 | 74853 67540 53 | 0.003 % |
37.38/37.56 c | 84068 | 180 15300 107100 | 74853 67796 53 | 0.003 % |
37.67/37.84 c | 84350 | 180 15300 107100 | 74853 68078 53 | 0.003 % |
37.87/38.09 c | 84660 | 180 15300 107100 | 74853 68388 53 | 0.003 % |
38.17/38.31 c | 85000 | 180 15300 107100 | 74853 68728 53 | 0.003 % |
38.47/38.64 c | 85372 | 180 15300 107100 | 74853 69100 53 | 0.003 % |
38.76/38.98 c | 85783 | 180 15300 107100 | 74853 69511 53 | 0.003 % |
39.16/39.32 c | 86233 | 180 15300 107100 | 74853 69961 53 | 0.003 % |
39.49/39.67 c | 86728 | 180 15300 107100 | 74853 70456 53 | 0.003 % |
39.86/40.04 c | 87270 | 180 15300 107100 | 74853 70998 53 | 0.003 % |
40.36/40.50 c | 87867 | 180 15300 107100 | 74853 71595 53 | 0.003 % |
40.86/41.01 c | 88522 | 180 15300 107100 | 74853 72250 53 | 0.003 % |
41.56/41.71 c | 89242 | 180 15300 107100 | 74853 72970 53 | 0.003 % |
42.26/42.43 c | 90034 | 180 15300 107100 | 73729 73762 53 | 0.003 % |
42.96/43.18 c | 90906 | 180 15300 107100 | 73729 63144 53 | 0.003 % |
43.66/43.83 c | 91865 | 180 15300 107100 | 73729 64103 53 | 0.003 % |
44.36/44.57 c | 92918 | 180 15300 107100 | 73729 65156 53 | 0.003 % |
44.46/44.64 c | 93019 | 180 15300 107100 | 73729 65257 53 | 0.003 % |
44.56/44.76 c | 93129 | 180 15300 107100 | 73729 65367 53 | 0.003 % |
44.66/44.87 c | 93253 | 180 15300 107100 | 73729 65491 53 | 0.003 % |
44.76/44.97 c | 93386 | 180 15300 107100 | 73729 65624 53 | 0.003 % |
44.86/45.09 c | 93533 | 180 15300 107100 | 73729 65771 53 | 0.003 % |
45.06/45.26 c | 93693 | 180 15300 107100 | 73729 65931 53 | 0.003 % |
45.26/45.41 c | 93870 | 180 15300 107100 | 73729 66108 53 | 0.003 % |
45.36/45.56 c | 94068 | 180 15300 107100 | 73729 66306 53 | 0.003 % |
45.56/45.74 c | 94280 | 180 15300 107100 | 73729 66518 53 | 0.003 % |
45.76/45.93 c | 94515 | 180 15300 107100 | 73729 66753 53 | 0.003 % |
45.96/46.16 c | 94771 | 180 15300 107100 | 73729 67009 53 | 0.003 % |
46.26/46.41 c | 95053 | 180 15300 107100 | 73729 67291 53 | 0.003 % |
46.46/46.69 c | 95363 | 180 15300 107100 | 73729 67601 53 | 0.003 % |
46.76/46.97 c | 95702 | 180 15300 107100 | 73729 67940 53 | 0.003 % |
47.06/47.23 c | 96075 | 180 15300 107100 | 73729 68313 53 | 0.003 % |
47.35/47.58 c | 96485 | 180 15300 107100 | 73729 68723 53 | 0.003 % |
47.75/47.91 c | 96936 | 180 15300 107100 | 73729 69174 53 | 0.003 % |
48.05/48.28 c | 97430 | 180 15300 107100 | 73729 69668 53 | 0.003 % |
48.45/48.69 c | 97972 | 180 15300 107100 | 73729 70210 53 | 0.003 % |
48.95/49.14 c | 98568 | 180 15300 107100 | 73729 70806 53 | 0.003 % |
49.46/49.64 c | 99223 | 180 15300 107100 | 73729 71461 53 | 0.003 % |
50.05/50.20 c | 99943 | 180 15300 107100 | 73729 72181 53 | 0.003 % |
50.56/50.75 c | 100736 | 180 15300 107100 | 72238 62186 53 | 0.003 % |
51.05/51.29 c | 101608 | 180 15300 107100 | 72238 63058 53 | 0.003 % |
51.66/51.83 c | 102566 | 180 15300 107100 | 72238 64016 53 | 0.003 % |
52.45/52.65 c | 103619 | 180 15300 107100 | 72238 65069 53 | 0.003 % |
53.35/53.52 c | 104779 | 180 15300 107100 | 72238 66229 53 | 0.003 % |
53.45/53.60 c | 104879 | 180 15300 107100 | 72238 66329 53 | 0.003 % |
53.45/53.68 c | 104989 | 180 15300 107100 | 72238 66439 53 | 0.003 % |
53.55/53.79 c | 105110 | 180 15300 107100 | 72238 66560 53 | 0.003 % |
53.65/53.89 c | 105245 | 180 15300 107100 | 72238 66695 53 | 0.003 % |
53.86/54.01 c | 105391 | 180 15300 107100 | 72238 66841 53 | 0.003 % |
53.95/54.13 c | 105551 | 180 15300 107100 | 72238 67001 53 | 0.003 % |
54.15/54.31 c | 105729 | 180 15300 107100 | 72238 67179 53 | 0.003 % |
54.25/54.48 c | 105923 | 180 15300 107100 | 72238 67373 53 | 0.003 % |
54.45/54.63 c | 106136 | 180 15300 107100 | 72238 67586 53 | 0.003 % |
54.65/54.82 c | 106371 | 180 15300 107100 | 72238 67821 53 | 0.003 % |
54.86/55.02 c | 106627 | 180 15300 107100 | 72238 68077 53 | 0.003 % |
55.05/55.22 c | 106909 | 180 15300 107100 | 72238 68359 53 | 0.003 % |
55.26/55.43 c | 107219 | 180 15300 107100 | 72238 68669 53 | 0.003 % |
55.46/55.64 c | 107559 | 180 15300 107100 | 72238 69009 53 | 0.003 % |
55.86/56.02 c | 107932 | 180 15300 107100 | 72238 69382 53 | 0.003 % |
56.16/56.38 c | 108341 | 180 15300 107100 | 72238 69791 53 | 0.003 % |
56.56/56.74 c | 108791 | 180 15300 107100 | 72238 70241 53 | 0.003 % |
56.96/57.10 c | 109284 | 180 15300 107100 | 72238 70734 53 | 0.003 % |
57.36/57.51 c | 109827 | 180 15300 107100 | 72238 71277 53 | 0.003 % |
57.86/58.00 c | 110423 | 180 15300 107100 | 71452 61909 53 | 0.003 % |
58.27/58.42 c | 111079 | 180 15300 107100 | 71452 62565 53 | 0.003 % |
58.76/58.99 c | 111801 | 180 15300 107100 | 71452 63287 53 | 0.003 % |
59.36/59.58 c | 112594 | 180 15300 107100 | 71452 64080 53 | 0.003 % |
60.06/60.23 c | 113468 | 180 15300 107100 | 71452 64954 53 | 0.003 % |
60.66/60.87 c | 114426 | 180 15300 107100 | 71452 65912 53 | 0.003 % |
61.36/61.55 c | 115479 | 180 15300 107100 | 71452 66965 53 | 0.003 % |
62.16/62.35 c | 116637 | 180 15300 107100 | 71452 68123 53 | 0.003 % |
62.96/63.14 c | 117910 | 180 15300 107100 | 71452 69396 53 | 0.003 % |
63.06/63.22 c | 118010 | 180 15300 107100 | 71452 69496 53 | 0.003 % |
63.16/63.34 c | 118121 | 180 15300 107100 | 71452 69607 53 | 0.003 % |
63.26/63.44 c | 118245 | 180 15300 107100 | 71452 69731 53 | 0.003 % |
63.36/63.55 c | 118378 | 180 15300 107100 | 71452 69864 53 | 0.003 % |
63.46/63.65 c | 118525 | 180 15300 107100 | 71452 70011 53 | 0.003 % |
63.66/63.83 c | 118687 | 180 15300 107100 | 71452 70173 53 | 0.003 % |
63.76/63.99 c | 118865 | 180 15300 107100 | 71452 70351 53 | 0.003 % |
63.96/64.14 c | 119058 | 180 15300 107100 | 71452 70544 53 | 0.003 % |
64.16/64.36 c | 119272 | 180 15300 107100 | 71452 70758 53 | 0.003 % |
64.36/64.57 c | 119506 | 180 15300 107100 | 71452 70992 53 | 0.003 % |
64.66/64.81 c | 119764 | 180 15300 107100 | 71452 71250 53 | 0.003 % |
64.86/65.07 c | 120048 | 180 15300 107100 | 71488 71534 53 | 0.003 % |
65.26/65.42 c | 120357 | 180 15300 107100 | 71488 62124 53 | 0.003 % |
65.46/65.67 c | 120698 | 180 15300 107100 | 71488 62465 53 | 0.003 % |
65.76/65.94 c | 121070 | 180 15300 107100 | 71488 62837 53 | 0.003 % |
66.06/66.28 c | 121481 | 180 15300 107100 | 71488 63248 53 | 0.003 % |
66.36/66.59 c | 121930 | 180 15300 107100 | 71488 63697 53 | 0.003 % |
66.76/66.92 c | 122424 | 180 15300 107100 | 71488 64191 53 | 0.003 % |
67.16/67.31 c | 122968 | 180 15300 107100 | 71488 64735 53 | 0.003 % |
67.56/67.71 c | 123565 | 180 15300 107100 | 71488 65332 53 | 0.003 % |
68.16/68.30 c | 124223 | 180 15300 107100 | 71488 65990 53 | 0.003 % |
68.66/68.89 c | 124944 | 180 15300 107100 | 71488 66711 53 | 0.003 % |
69.36/69.52 c | 125736 | 180 15300 107100 | 71488 67503 53 | 0.003 % |
69.96/70.17 c | 126608 | 180 15300 107100 | 71488 68375 53 | 0.003 % |
70.65/70.83 c | 127566 | 180 15300 107100 | 71488 69333 53 | 0.003 % |
71.56/71.74 c | 128619 | 180 15300 107100 | 71488 70386 53 | 0.003 % |
72.46/72.65 c | 129779 | 180 15300 107100 | 71488 71546 53 | 0.003 % |
73.35/73.55 c | 131052 | 180 15300 107100 | 61595 53927 53 | 0.003 % |
74.25/74.47 c | 132455 | 180 15300 107100 | 61595 55330 53 | 0.003 % |
74.35/74.54 c | 132557 | 180 15300 107100 | 61595 55432 53 | 0.003 % |
74.45/74.63 c | 132668 | 180 15300 107100 | 61595 55543 53 | 0.003 % |
74.55/74.72 c | 132793 | 180 15300 107100 | 61595 55668 53 | 0.003 % |
74.66/74.82 c | 132929 | 180 15300 107100 | 61595 55804 53 | 0.003 % |
74.76/74.92 c | 133076 | 180 15300 107100 | 61595 55951 53 | 0.003 % |
74.85/75.04 c | 133236 | 180 15300 107100 | 61595 56111 53 | 0.003 % |
74.95/75.16 c | 133413 | 180 15300 107100 | 61595 56288 53 | 0.003 % |
75.05/75.28 c | 133607 | 180 15300 107100 | 61595 56482 53 | 0.003 % |
75.25/75.42 c | 133821 | 180 15300 107100 | 61595 56696 53 | 0.003 % |
75.35/75.58 c | 134055 | 180 15300 107100 | 61595 56930 53 | 0.003 % |
75.55/75.78 c | 134312 | 180 15300 107100 | 61595 57187 53 | 0.003 % |
75.75/75.96 c | 134595 | 180 15300 107100 | 61595 57470 53 | 0.003 % |
75.95/76.18 c | 134904 | 180 15300 107100 | 61595 57779 53 | 0.003 % |
76.25/76.41 c | 135245 | 180 15300 107100 | 61595 58120 53 | 0.003 % |
76.45/76.65 c | 135620 | 180 15300 107100 | 61595 58495 53 | 0.003 % |
76.75/76.96 c | 136031 | 180 15300 107100 | 61595 58906 53 | 0.003 % |
77.04/77.29 c | 136480 | 180 15300 107100 | 61595 59355 53 | 0.003 % |
77.44/77.63 c | 136974 | 180 15300 107100 | 61595 59849 53 | 0.003 % |
77.74/77.99 c | 137518 | 180 15300 107100 | 61595 60393 53 | 0.003 % |
78.24/78.43 c | 138115 | 180 15300 107100 | 61595 60990 53 | 0.003 % |
78.64/78.86 c | 138774 | 180 15300 107100 | 61595 61649 53 | 0.003 % |
79.05/79.30 c | 139495 | 180 15300 107100 | 61595 55693 53 | 0.003 % |
79.54/79.77 c | 140288 | 180 15300 107100 | 56199 50728 53 | 0.003 % |
80.04/80.24 c | 141160 | 180 15300 107100 | 56199 51600 53 | 0.003 % |
80.54/80.78 c | 142118 | 180 15300 107100 | 56199 52558 53 | 0.003 % |
81.14/81.40 c | 143171 | 180 15300 107100 | 56199 53611 53 | 0.003 % |
81.84/82.02 c | 144329 | 180 15300 107100 | 56199 54769 53 | 0.003 % |
82.44/82.69 c | 145603 | 180 15300 107100 | 56199 56043 53 | 0.003 % |
83.24/83.43 c | 147003 | 180 15300 107100 | 56199 51814 53 | 0.003 % |
84.24/84.40 c | 148543 | 180 15300 107100 | 56199 53354 53 | 0.003 % |
84.24/84.47 c | 148643 | 180 15300 107100 | 56199 53454 53 | 0.003 % |
84.34/84.54 c | 148754 | 180 15300 107100 | 56199 53565 53 | 0.003 % |
84.44/84.63 c | 148876 | 180 15300 107100 | 56199 53687 53 | 0.003 % |
84.54/84.71 c | 149010 | 180 15300 107100 | 56199 53821 53 | 0.003 % |
84.64/84.84 c | 149156 | 180 15300 107100 | 56199 53967 53 | 0.003 % |
84.74/84.95 c | 149316 | 180 15300 107100 | 56199 54127 53 | 0.003 % |
84.84/85.07 c | 149494 | 180 15300 107100 | 56199 54305 53 | 0.003 % |
84.94/85.19 c | 149687 | 180 15300 107100 | 56199 54498 53 | 0.003 % |
85.14/85.35 c | 149900 | 180 15300 107100 | 56199 54711 53 | 0.003 % |
85.34/85.50 c | 150133 | 180 15300 107100 | 2147483647 54944 53 | 0.003 % |
85.44/85.66 c | 150389 | 180 15300 107100 | 2147483647 55200 53 | 0.003 % |
85.64/85.83 c | 150670 | 180 15300 107100 | 2147483647 55481 53 | 0.003 % |
85.74/86.00 c | 150980 | 180 15300 107100 | 2147483647 55791 53 | 0.003 % |
86.04/86.22 c | 151321 | 180 15300 107100 | 2147483647 56132 53 | 0.003 % |
86.24/86.43 c | 151696 | 180 15300 107100 | 2147483647 56507 53 | 0.003 % |
86.44/86.66 c | 152105 | 180 15300 107100 | 2147483647 56916 53 | 0.003 % |
86.74/86.92 c | 152554 | 180 15300 107100 | 2147483647 57365 53 | 0.003 % |
87.04/87.29 c | 153047 | 180 15300 107100 | 2147483647 57858 53 | 0.003 % |
87.44/87.66 c | 153590 | 180 15300 107100 | 2147483647 58401 53 | 0.003 % |
87.84/88.10 c | 154187 | 180 15300 107100 | 2147483647 58998 53 | 0.003 % |
88.34/88.54 c | 154843 | 180 15300 107100 | 2147483647 59654 53 | 0.003 % |
88.83/89.02 c | 155563 | 180 15300 107100 | 2147483647 60374 53 | 0.003 % |
89.33/89.54 c | 156355 | 180 15300 107100 | 2147483647 61166 53 | 0.003 % |
89.93/90.15 c | 157226 | 180 15300 107100 | 2147483647 62037 53 | 0.003 % |
90.63/90.80 c | 158185 | 180 15300 107100 | 2147483647 62996 53 | 0.003 % |
91.24/91.47 c | 159241 | 180 15300 107100 | 2147483647 64052 53 | 0.003 % |
92.03/92.22 c | 160399 | 180 15300 107100 | 2147483647 65210 53 | 0.003 % |
92.73/92.96 c | 161673 | 180 15300 107100 | 2147483647 66484 53 | 0.003 % |
93.63/93.84 c | 163076 | 180 15300 107100 | 2147483647 67887 53 | 0.003 % |
94.93/95.11 c | 164619 | 180 15300 107100 | 2147483647 69430 53 | 0.003 % |
96.03/96.27 c | 166314 | 180 15300 107100 | 2147483647 71125 53 | 0.003 % |
96.13/96.35 c | 166414 | 180 15300 107100 | 2147483647 71225 53 | 0.003 % |
96.23/96.44 c | 166525 | 180 15300 107100 | 2147483647 71336 53 | 0.003 % |
96.33/96.57 c | 166647 | 180 15300 107100 | 2147483647 71458 53 | 0.003 % |
96.53/96.71 c | 166782 | 180 15300 107100 | 2147483647 71593 53 | 0.003 % |
96.64/96.83 c | 166928 | 180 15300 107100 | 2147483647 71739 53 | 0.003 % |
96.74/96.98 c | 167089 | 180 15300 107100 | 2147483647 71900 53 | 0.003 % |
96.93/97.18 c | 167265 | 180 15300 107100 | 2147483647 72076 53 | 0.003 % |
97.13/97.38 c | 167459 | 180 15300 107100 | 2147483647 72270 53 | 0.003 % |
97.33/97.55 c | 167671 | 180 15300 107100 | 2147483647 72482 53 | 0.003 % |
97.53/97.75 c | 167904 | 180 15300 107100 | 2147483647 72715 53 | 0.003 % |
97.74/97.96 c | 168160 | 180 15300 107100 | 2147483647 72971 53 | 0.003 % |
97.93/98.20 c | 168441 | 180 15300 107100 | 2147483647 73252 53 | 0.003 % |
98.23/98.43 c | 168751 | 180 15300 107100 | 2147483647 73562 53 | 0.003 % |
98.43/98.69 c | 169090 | 180 15300 107100 | 2147483647 73901 53 | 0.003 % |
98.83/99.02 c | 169462 | 180 15300 107100 | 2147483647 74273 53 | 0.003 % |
99.13/99.37 c | 169871 | 180 15300 107100 | 2147483647 74682 53 | 0.003 % |
99.53/99.80 c | 170320 | 180 15300 107100 | 74811 64710 53 | 0.003 % |
99.93/100.13 c | 170813 | 180 15300 107100 | 74811 65203 53 | 0.003 % |
100.33/100.55 c | 171356 | 180 15300 107100 | 74811 65746 53 | 0.003 % |
100.73/100.99 c | 171954 | 180 15300 107100 | 74811 66344 53 | 0.003 % |
101.23/101.49 c | 172609 | 180 15300 107100 | 74811 66999 53 | 0.003 % |
101.73/101.98 c | 173330 | 180 15300 107100 | 74811 67720 53 | 0.003 % |
102.33/102.53 c | 174122 | 180 15300 107100 | 74811 68512 53 | 0.003 % |
102.93/103.14 c | 174993 | 180 15300 107100 | 74811 69383 53 | 0.003 % |
103.63/103.85 c | 175951 | 180 15300 107100 | 74811 70341 53 | 0.003 % |
104.33/104.59 c | 177004 | 180 15300 107100 | 74811 71394 53 | 0.003 % |
105.43/105.63 c | 178163 | 180 15300 107100 | 74811 72553 53 | 0.003 % |
106.42/106.61 c | 179436 | 180 15300 107100 | 74811 73826 53 | 0.003 % |
107.42/107.69 c | 180838 | 180 15300 107100 | 74390 64285 53 | 0.003 % |
108.42/108.68 c | 182378 | 180 15300 107100 | 74390 65825 53 | 0.003 % |
109.52/109.80 c | 184072 | 180 15300 107100 | 74390 67519 53 | 0.003 % |
111.03/111.25 c | 185936 | 180 15300 107100 | 74390 69383 53 | 0.003 % |
111.12/111.34 c | 186036 | 180 15300 107100 | 74390 69483 53 | 0.003 % |
111.22/111.45 c | 186146 | 180 15300 107100 | 74390 69593 53 | 0.003 % |
111.32/111.55 c | 186267 | 180 15300 107100 | 74390 69714 53 | 0.003 % |
111.42/111.65 c | 186401 | 180 15300 107100 | 74390 69848 53 | 0.003 % |
111.52/111.76 c | 186549 | 180 15300 107100 | 74390 69996 53 | 0.003 % |
111.72/111.90 c | 186709 | 180 15300 107100 | 74390 70156 53 | 0.003 % |
111.82/112.07 c | 186886 | 180 15300 107100 | 74390 70333 53 | 0.003 % |
112.03/112.23 c | 187079 | 180 15300 107100 | 74390 70526 53 | 0.003 % |
112.22/112.45 c | 187292 | 180 15300 107100 | 74390 70739 53 | 0.003 % |
112.42/112.68 c | 187527 | 180 15300 107100 | 74390 70974 53 | 0.003 % |
112.72/112.93 c | 187787 | 180 15300 107100 | 74390 71234 53 | 0.003 % |
112.92/113.20 c | 188068 | 180 15300 107100 | 74390 71515 53 | 0.003 % |
113.23/113.45 c | 188377 | 180 15300 107100 | 74390 71824 53 | 0.003 % |
113.52/113.75 c | 188717 | 180 15300 107100 | 74390 72164 53 | 0.003 % |
113.82/114.06 c | 189091 | 180 15300 107100 | 74390 72538 53 | 0.003 % |
114.22/114.43 c | 189500 | 180 15300 107100 | 74390 72947 53 | 0.003 % |
114.62/114.81 c | 189949 | 180 15300 107100 | 74390 73396 53 | 0.003 % |
115.02/115.25 c | 190442 | 180 15300 107100 | 73447 62777 53 | 0.003 % |
115.42/115.65 c | 190986 | 180 15300 107100 | 73447 63321 53 | 0.003 % |
115.82/116.07 c | 191583 | 180 15300 107100 | 73447 63918 53 | 0.003 % |
116.32/116.57 c | 192238 | 180 15300 107100 | 73447 64573 53 | 0.003 % |
116.92/117.10 c | 192959 | 180 15300 107100 | 73447 65294 53 | 0.003 % |
117.42/117.65 c | 193752 | 180 15300 107100 | 73447 66087 53 | 0.003 % |
118.02/118.24 c | 194624 | 180 15300 107100 | 73447 66959 53 | 0.003 % |
118.62/118.89 c | 195582 | 180 15300 107100 | 73447 67917 53 | 0.003 % |
119.62/119.80 c | 196635 | 180 15300 107100 | 73447 68970 53 | 0.003 % |
120.42/120.65 c | 197795 | 180 15300 107100 | 73447 70130 53 | 0.003 % |
121.32/121.59 c | 199068 | 180 15300 107100 | 73447 71403 53 | 0.003 % |
122.51/122.76 c | 200473 | 180 15300 107100 | 72336 62375 53 | 0.003 % |
123.61/123.82 c | 202013 | 180 15300 107100 | 72336 63915 53 | 0.003 % |
124.71/124.98 c | 203709 | 180 15300 107100 | 72336 65611 53 | 0.003 % |
126.01/126.26 c | 205573 | 180 15300 107100 | 72336 67475 53 | 0.003 % |
127.61/127.87 c | 207622 | 180 15300 107100 | 72336 69524 53 | 0.003 % |
127.71/127.95 c | 207723 | 180 15300 107100 | 72336 69625 53 | 0.003 % |
127.81/128.04 c | 207834 | 180 15300 107100 | 72336 69736 53 | 0.003 % |
127.91/128.13 c | 207956 | 180 15300 107100 | 72336 69858 53 | 0.003 % |
128.01/128.25 c | 208090 | 180 15300 107100 | 72336 69992 53 | 0.003 % |
128.11/128.38 c | 208236 | 180 15300 107100 | 72336 70138 53 | 0.003 % |
128.31/128.53 c | 208397 | 180 15300 107100 | 72336 70299 53 | 0.003 % |
128.41/128.68 c | 208574 | 180 15300 107100 | 72336 70476 53 | 0.003 % |
128.61/128.85 c | 208767 | 180 15300 107100 | 72336 70669 53 | 0.003 % |
128.81/129.05 c | 208980 | 180 15300 107100 | 72336 70882 53 | 0.003 % |
129.01/129.24 c | 209213 | 180 15300 107100 | 72336 71115 53 | 0.003 % |
129.21/129.45 c | 209470 | 180 15300 107100 | 72336 71372 53 | 0.003 % |
129.41/129.69 c | 209752 | 180 15300 107100 | 72336 71654 53 | 0.003 % |
129.71/129.94 c | 210061 | 180 15300 107100 | 71902 71963 53 | 0.003 % |
130.01/130.30 c | 210400 | 180 15300 107100 | 71902 62347 53 | 0.003 % |
130.31/130.57 c | 210773 | 180 15300 107100 | 71902 62720 53 | 0.003 % |
130.61/130.83 c | 211184 | 180 15300 107100 | 71902 63131 53 | 0.003 % |
130.91/131.14 c | 211636 | 180 15300 107100 | 71902 63583 53 | 0.003 % |
131.21/131.47 c | 212130 | 180 15300 107100 | 71902 64077 53 | 0.003 % |
131.61/131.86 c | 212672 | 180 15300 107100 | 71902 64619 53 | 0.003 % |
132.01/132.27 c | 213268 | 180 15300 107100 | 71902 65215 53 | 0.003 % |
132.51/132.75 c | 213926 | 180 15300 107100 | 71902 65873 53 | 0.003 % |
133.01/133.29 c | 214648 | 180 15300 107100 | 71902 66595 53 | 0.003 % |
133.61/133.82 c | 215442 | 180 15300 107100 | 71902 67389 53 | 0.003 % |
134.20/134.41 c | 216317 | 180 15300 107100 | 71902 68264 53 | 0.003 % |
134.80/135.09 c | 217276 | 180 15300 107100 | 71902 69223 53 | 0.003 % |
135.60/135.86 c | 218330 | 180 15300 107100 | 71902 70277 53 | 0.003 % |
136.50/136.73 c | 219488 | 180 15300 107100 | 71902 71435 53 | 0.003 % |
137.41/137.65 c | 220761 | 180 15300 107100 | 71949 63126 53 | 0.003 % |
138.30/138.60 c | 222161 | 180 15300 107100 | 71949 64526 53 | 0.003 % |
139.40/139.61 c | 223701 | 180 15300 107100 | 71949 66066 53 | 0.003 % |
140.50/140.72 c | 225395 | 180 15300 107100 | 71949 67760 53 | 0.003 % |
141.71/141.92 c | 227259 | 180 15300 107100 | 71949 69624 53 | 0.003 % |
143.00/143.26 c | 229308 | 180 15300 107100 | 71949 71673 53 | 0.003 % |
144.50/144.76 c | 231562 | 180 15300 107100 | 63705 57615 53 | 0.003 % |
144.60/144.85 c | 231665 | 180 15300 107100 | 63705 57718 53 | 0.003 % |
144.70/144.93 c | 231775 | 180 15300 107100 | 63705 57828 53 | 0.003 % |
144.80/145.01 c | 231896 | 180 15300 107100 | 63705 57949 53 | 0.003 % |
144.80/145.10 c | 232029 | 180 15300 107100 | 63705 58082 53 | 0.003 % |
145.01/145.22 c | 232175 | 180 15300 107100 | 63705 58228 53 | 0.003 % |
145.11/145.34 c | 232335 | 180 15300 107100 | 63705 58388 53 | 0.003 % |
145.20/145.46 c | 232512 | 180 15300 107100 | 63705 58565 53 | 0.003 % |
145.40/145.63 c | 232705 | 180 15300 107100 | 63705 58758 53 | 0.003 % |
145.50/145.80 c | 232917 | 180 15300 107100 | 63705 58970 53 | 0.003 % |
145.70/145.99 c | 233151 | 180 15300 107100 | 63705 59204 53 | 0.003 % |
145.90/146.16 c | 233407 | 180 15300 107100 | 63705 59460 53 | 0.003 % |
146.11/146.39 c | 233688 | 180 15300 107100 | 63705 59741 53 | 0.003 % |
146.30/146.59 c | 233998 | 180 15300 107100 | 63705 60051 53 | 0.003 % |
146.60/146.83 c | 234337 | 180 15300 107100 | 63705 60390 53 | 0.003 % |
146.90/147.10 c | 234710 | 180 15300 107100 | 63705 60763 53 | 0.003 % |
147.10/147.39 c | 235120 | 180 15300 107100 | 63705 61173 53 | 0.003 % |
147.40/147.69 c | 235569 | 180 15300 107100 | 63705 61622 53 | 0.003 % |
147.80/148.08 c | 236064 | 180 15300 107100 | 63705 62117 53 | 0.003 % |
148.20/148.48 c | 236606 | 180 15300 107100 | 63705 62659 53 | 0.003 % |
148.70/148.91 c | 237203 | 180 15300 107100 | 63705 63256 53 | 0.003 % |
149.20/149.40 c | 237858 | 180 15300 107100 | 63705 57107 53 | 0.003 % |
149.60/149.85 c | 238578 | 180 15300 107100 | 63705 57827 53 | 0.003 % |
150.20/150.43 c | 239371 | 180 15300 107100 | 63705 58620 53 | 0.003 % |
150.80/151.01 c | 240244 | 180 15300 107100 | 59250 53442 53 | 0.003 % |
151.30/151.56 c | 241203 | 180 15300 107100 | 59250 54401 53 | 0.003 % |
151.90/152.15 c | 242256 | 180 15300 107100 | 59250 55454 53 | 0.003 % |
152.60/152.82 c | 243414 | 180 15300 107100 | 59250 56612 53 | 0.003 % |
153.30/153.52 c | 244688 | 180 15300 107100 | 59250 57886 53 | 0.003 % |
154.10/154.32 c | 246088 | 180 15300 107100 | 59250 59286 53 | 0.003 % |
155.10/155.30 c | 247629 | 180 15300 107100 | 59250 54899 53 | 0.003 % |
156.00/156.28 c | 249323 | 180 15300 107100 | 59250 56593 53 | 0.003 % |
157.10/157.37 c | 251188 | 180 15300 107100 | 2147483647 58458 53 | 0.003 % |
158.30/158.57 c | 253238 | 180 15300 107100 | 2147483647 60508 53 | 0.003 % |
159.60/159.84 c | 255492 | 180 15300 107100 | 2147483647 62762 54 | 0.003 % |
161.10/161.37 c | 257973 | 180 15300 107100 | 2147483647 65243 54 | 0.003 % |
161.20/161.44 c | 258073 | 180 15300 107100 | 2147483647 65343 54 | 0.003 % |
161.30/161.56 c | 258183 | 180 15300 107100 | 2147483647 65453 54 | 0.003 % |
161.40/161.64 c | 258304 | 180 15300 107100 | 2147483647 65574 53 | 0.003 % |
161.50/161.76 c | 258438 | 180 15300 107100 | 2147483647 65708 53 | 0.003 % |
161.70/161.90 c | 258584 | 180 15300 107100 | 2147483647 65854 53 | 0.003 % |
161.80/162.02 c | 258746 | 180 15300 107100 | 2147483647 66016 53 | 0.003 % |
161.90/162.15 c | 258922 | 180 15300 107100 | 2147483647 66192 53 | 0.003 % |
162.10/162.31 c | 259116 | 180 15300 107100 | 2147483647 66386 53 | 0.003 % |
162.20/162.46 c | 259328 | 180 15300 107100 | 2147483647 66598 53 | 0.003 % |
162.40/162.65 c | 259562 | 180 15300 107100 | 2147483647 66832 53 | 0.003 % |
162.60/162.86 c | 259818 | 180 15300 107100 | 2147483647 67088 53 | 0.003 % |
162.80/163.09 c | 260099 | 180 15300 107100 | 2147483647 67369 53 | 0.003 % |
163.10/163.36 c | 260408 | 180 15300 107100 | 2147483647 67678 53 | 0.003 % |
163.40/163.66 c | 260747 | 180 15300 107100 | 2147483647 68017 53 | 0.003 % |
163.70/163.95 c | 261121 | 180 15300 107100 | 2147483647 68391 53 | 0.003 % |
164.00/164.25 c | 261531 | 180 15300 107100 | 2147483647 68801 53 | 0.003 % |
164.40/164.62 c | 261980 | 180 15300 107100 | 2147483647 69250 53 | 0.003 % |
164.80/165.03 c | 262473 | 180 15300 107100 | 2147483647 69743 53 | 0.003 % |
165.20/165.44 c | 263016 | 180 15300 107100 | 2147483647 70286 53 | 0.003 % |
165.70/165.91 c | 263615 | 180 15300 107100 | 2147483647 70885 53 | 0.003 % |
166.20/166.45 c | 264272 | 180 15300 107100 | 2147483647 71542 53 | 0.003 % |
166.89/167.13 c | 264993 | 180 15300 107100 | 2147483647 72263 53 | 0.003 % |
167.49/167.77 c | 265786 | 180 15300 107100 | 2147483647 73056 53 | 0.003 % |
168.19/168.45 c | 266658 | 180 15300 107100 | 2147483647 73928 53 | 0.003 % |
168.99/169.20 c | 267617 | 180 15300 107100 | 2147483647 74887 53 | 0.003 % |
169.79/170.03 c | 268671 | 180 15300 107100 | 2147483647 75941 53 | 0.003 % |
170.70/170.98 c | 269831 | 180 15300 107100 | 2147483647 77101 53 | 0.003 % |
171.69/171.91 c | 271104 | 180 15300 107100 | 77271 66828 53 | 0.003 % |
172.60/172.86 c | 272505 | 180 15300 107100 | 77271 68229 53 | 0.003 % |
173.70/173.97 c | 274046 | 180 15300 107100 | 77271 69770 53 | 0.003 % |
175.00/175.22 c | 275740 | 180 15300 107100 | 77271 71464 53 | 0.003 % |
176.29/176.58 c | 277603 | 180 15300 107100 | 77271 73327 54 | 0.003 % |
177.69/177.99 c | 279653 | 180 15300 107100 | 77271 75377 54 | 0.003 % |
179.29/179.50 c | 281906 | 180 15300 107100 | 75724 66253 54 | 0.003 % |
180.79/181.09 c | 284384 | 180 15300 107100 | 75724 68731 54 | 0.003 % |
182.79/183.03 c | 287109 | 180 15300 107100 | 75724 71456 54 | 0.003 % |
182.89/183.12 c | 287210 | 180 15300 107100 | 75724 71557 54 | 0.003 % |
182.99/183.22 c | 287321 | 180 15300 107100 | 75724 71668 54 | 0.003 % |
183.09/183.33 c | 287442 | 180 15300 107100 | 75724 71789 54 | 0.003 % |
183.19/183.46 c | 287575 | 180 15300 107100 | 75724 71922 54 | 0.003 % |
183.39/183.64 c | 287724 | 180 15300 107100 | 75724 72071 54 | 0.003 % |
183.50/183.79 c | 287884 | 180 15300 107100 | 75724 72231 54 | 0.003 % |
183.69/183.94 c | 288060 | 180 15300 107100 | 75724 72407 54 | 0.003 % |
183.89/184.15 c | 288254 | 180 15300 107100 | 75724 72601 54 | 0.003 % |
184.09/184.33 c | 288468 | 180 15300 107100 | 75724 72815 54 | 0.003 % |
184.29/184.52 c | 288702 | 180 15300 107100 | 75724 73049 54 | 0.003 % |
184.49/184.75 c | 288959 | 180 15300 107100 | 75724 73306 54 | 0.003 % |
184.69/184.97 c | 289241 | 180 15300 107100 | 75724 73588 54 | 0.003 % |
184.99/185.22 c | 289550 | 180 15300 107100 | 75724 73897 54 | 0.003 % |
185.29/185.55 c | 289890 | 180 15300 107100 | 75724 74237 54 | 0.003 % |
185.59/185.90 c | 290264 | 180 15300 107100 | 74350 63998 54 | 0.003 % |
185.89/186.18 c | 290673 | 180 15300 107100 | 74350 64407 54 | 0.003 % |
186.19/186.49 c | 291122 | 180 15300 107100 | 74350 64856 54 | 0.003 % |
186.49/186.79 c | 291617 | 180 15300 107100 | 74350 65351 54 | 0.003 % |
186.89/187.15 c | 292159 | 180 15300 107100 | 74350 65893 54 | 0.003 % |
187.29/187.54 c | 292757 | 180 15300 107100 | 74350 66491 54 | 0.003 % |
187.69/187.98 c | 293413 | 180 15300 107100 | 74350 67147 54 | 0.003 % |
188.19/188.45 c | 294134 | 180 15300 107100 | 74350 67868 54 | 0.003 % |
188.79/189.00 c | 294926 | 180 15300 107100 | 74350 68660 54 | 0.003 % |
189.29/189.59 c | 295797 | 180 15300 107100 | 74350 69531 54 | 0.003 % |
189.99/190.26 c | 296758 | 180 15300 107100 | 74350 70492 54 | 0.003 % |
190.79/191.00 c | 297813 | 180 15300 107100 | 74350 71547 53 | 0.003 % |
191.49/191.79 c | 298971 | 180 15300 107100 | 74350 72705 53 | 0.003 % |
192.49/192.71 c | 300244 | 180 15300 107100 | 73735 64249 54 | 0.003 % |
193.29/193.58 c | 301646 | 180 15300 107100 | 73735 65651 54 | 0.003 % |
194.39/194.60 c | 303186 | 180 15300 107100 | 73735 67191 54 | 0.003 % |
195.49/195.76 c | 304880 | 180 15300 107100 | 73735 68885 54 | 0.003 % |
196.89/197.11 c | 306745 | 180 15300 107100 | 73735 70750 54 | 0.003 % |
198.38/198.63 c | 308795 | 180 15300 107100 | 73735 72800 54 | 0.003 % |
199.99/200.21 c | 311051 | 180 15300 107100 | 63582 55722 53 | 0.003 % |
201.48/201.76 c | 313529 | 180 15300 107100 | 63582 58200 53 | 0.003 % |
203.08/203.32 c | 316255 | 180 15300 107100 | 63582 60926 54 | 0.003 % |
204.88/205.12 c | 319253 | 180 15300 107100 | 63582 57434 54 | 0.003 % |
204.88/205.17 c | 319355 | 180 15300 107100 | 63582 57536 54 | 0.003 % |
204.98/205.23 c | 319465 | 180 15300 107100 | 63582 57646 54 | 0.003 % |
205.08/205.31 c | 319588 | 180 15300 107100 | 63582 57769 54 | 0.003 % |
205.18/205.41 c | 319721 | 180 15300 107100 | 63582 57902 54 | 0.003 % |
205.28/205.51 c | 319868 | 180 15300 107100 | 63582 58049 54 | 0.003 % |
205.38/205.62 c | 320032 | 180 15300 107100 | 2147483647 58213 54 | 0.003 % |
205.48/205.75 c | 320208 | 180 15300 107100 | 2147483647 58389 54 | 0.003 % |
205.58/205.88 c | 320405 | 180 15300 107100 | 2147483647 58586 54 | 0.003 % |
205.78/206.04 c | 320617 | 180 15300 107100 | 2147483647 58798 54 | 0.003 % |
205.98/206.20 c | 320850 | 180 15300 107100 | 2147483647 59031 54 | 0.003 % |
206.08/206.38 c | 321107 | 180 15300 107100 | 2147483647 59288 53 | 0.003 % |
206.28/206.55 c | 321388 | 180 15300 107100 | 2147483647 59569 53 | 0.003 % |
206.48/206.76 c | 321699 | 180 15300 107100 | 2147483647 59880 53 | 0.003 % |
206.68/206.95 c | 322038 | 180 15300 107100 | 2147483647 60219 53 | 0.003 % |
206.98/207.23 c | 322410 | 180 15300 107100 | 2147483647 60591 53 | 0.003 % |
207.28/207.53 c | 322820 | 180 15300 107100 | 2147483647 61001 53 | 0.003 % |
207.58/207.86 c | 323272 | 180 15300 107100 | 2147483647 61453 53 | 0.003 % |
207.98/208.20 c | 323765 | 180 15300 107100 | 2147483647 61946 53 | 0.003 % |
208.28/208.54 c | 324307 | 180 15300 107100 | 2147483647 62488 53 | 0.003 % |
208.68/208.92 c | 324905 | 180 15300 107100 | 2147483647 63086 53 | 0.003 % |
209.18/209.40 c | 325560 | 180 15300 107100 | 2147483647 63741 53 | 0.003 % |
209.68/209.96 c | 326282 | 180 15300 107100 | 2147483647 64463 53 | 0.003 % |
210.28/210.53 c | 327076 | 180 15300 107100 | 2147483647 65257 53 | 0.003 % |
210.98/211.21 c | 327948 | 180 15300 107100 | 2147483647 66129 54 | 0.003 % |
211.67/211.92 c | 328906 | 180 15300 107100 | 2147483647 67087 54 | 0.003 % |
212.37/212.61 c | 329959 | 180 15300 107100 | 2147483647 68140 54 | 0.003 % |
213.07/213.35 c | 331119 | 180 15300 107100 | 68182 61182 54 | 0.003 % |
213.87/214.13 c | 332395 | 180 15300 107100 | 68182 62458 54 | 0.003 % |
214.77/215.02 c | 333796 | 180 15300 107100 | 68182 63859 54 | 0.003 % |
215.77/216.04 c | 335336 | 180 15300 107100 | 68182 65399 54 | 0.003 % |
216.87/217.15 c | 337030 | 180 15300 107100 | 68182 67093 54 | 0.003 % |
218.27/218.55 c | 338893 | 180 15300 107100 | 68182 61339 54 | 0.003 % |
219.57/219.86 c | 340945 | 180 15300 107100 | 62447 56321 54 | 0.003 % |
220.97/221.24 c | 343199 | 180 15300 107100 | 62447 58575 54 | 0.003 % |
222.37/222.69 c | 345677 | 180 15300 107100 | 62447 61053 54 | 0.003 % |
224.07/224.37 c | 348404 | 180 15300 107100 | 62447 57526 54 | 0.003 % |
225.77/226.03 c | 351401 | 180 15300 107100 | 2147483647 60523 54 | 0.003 % |
227.77/228.04 c | 354697 | 180 15300 107100 | 2147483647 63819 54 | 0.003 % |
227.87/228.11 c | 354797 | 180 15300 107100 | 2147483647 63919 54 | 0.003 % |
227.87/228.19 c | 354908 | 180 15300 107100 | 2147483647 64030 54 | 0.003 % |
227.97/228.28 c | 355029 | 180 15300 107100 | 2147483647 64151 54 | 0.003 % |
228.17/228.41 c | 355162 | 180 15300 107100 | 2147483647 64284 54 | 0.003 % |
228.27/228.52 c | 355309 | 180 15300 107100 | 2147483647 64431 54 | 0.003 % |
228.37/228.64 c | 355471 | 180 15300 107100 | 2147483647 64593 54 | 0.003 % |
228.47/228.76 c | 355648 | 180 15300 107100 | 2147483647 64770 54 | 0.003 % |
228.67/228.91 c | 355841 | 180 15300 107100 | 2147483647 64963 54 | 0.003 % |
228.77/229.07 c | 356054 | 180 15300 107100 | 2147483647 65176 54 | 0.003 % |
228.97/229.29 c | 356287 | 180 15300 107100 | 2147483647 65409 54 | 0.003 % |
229.27/229.50 c | 356544 | 180 15300 107100 | 2147483647 65666 54 | 0.003 % |
229.47/229.72 c | 356827 | 180 15300 107100 | 2147483647 65949 54 | 0.003 % |
229.67/229.95 c | 357136 | 180 15300 107100 | 2147483647 66258 54 | 0.003 % |
229.97/230.20 c | 357475 | 180 15300 107100 | 2147483647 66597 54 | 0.003 % |
230.17/230.49 c | 357848 | 180 15300 107100 | 2147483647 66970 54 | 0.003 % |
230.56/230.80 c | 358258 | 180 15300 107100 | 2147483647 67380 54 | 0.003 % |
230.87/231.11 c | 358707 | 180 15300 107100 | 2147483647 67829 54 | 0.003 % |
231.16/231.47 c | 359200 | 180 15300 107100 | 2147483647 68322 54 | 0.003 % |
231.56/231.88 c | 359742 | 180 15300 107100 | 2147483647 68864 54 | 0.003 % |
232.06/232.34 c | 360339 | 180 15300 107100 | 69123 61985 54 | 0.003 % |
232.46/232.80 c | 360994 | 180 15300 107100 | 69123 62640 54 | 0.003 % |
232.97/233.25 c | 361715 | 180 15300 107100 | 69123 63361 54 | 0.003 % |
233.46/233.77 c | 362507 | 180 15300 107100 | 69123 64153 54 | 0.003 % |
234.17/234.44 c | 363378 | 180 15300 107100 | 69123 65024 54 | 0.003 % |
234.87/235.13 c | 364336 | 180 15300 107100 | 69123 65982 54 | 0.003 % |
235.56/235.88 c | 365391 | 180 15300 107100 | 69123 67037 54 | 0.003 % |
236.37/236.68 c | 366549 | 180 15300 107100 | 69123 68195 54 | 0.003 % |
237.37/237.69 c | 367822 | 180 15300 107100 | 69123 61091 54 | 0.003 % |
238.26/238.58 c | 369222 | 180 15300 107100 | 69123 62491 54 | 0.003 % |
239.26/239.53 c | 370763 | 180 15300 107100 | 63269 56672 54 | 0.003 % |
240.26/240.51 c | 372458 | 180 15300 107100 | 63269 58367 54 | 0.003 % |
241.26/241.59 c | 374322 | 180 15300 107100 | 63269 60231 54 | 0.003 % |
242.56/242.85 c | 376373 | 180 15300 107100 | 63269 62282 54 | 0.003 % |
244.06/244.31 c | 378627 | 180 15300 107100 | 63269 58201 54 | 0.003 % |
245.46/245.78 c | 381108 | 180 15300 107100 | 2147483647 60682 54 | 0.003 % |
247.16/247.46 c | 383833 | 180 15300 107100 | 2147483647 63407 54 | 0.003 % |
249.16/249.47 c | 386830 | 180 15300 107100 | 2147483647 66404 54 | 0.003 % |
251.16/251.45 c | 390128 | 180 15300 107100 | 2147483647 69702 54 | 0.003 % |
253.65/253.95 c | 393754 | 180 15300 107100 | 2147483647 73328 54 | 0.003 % |
253.75/254.03 c | 393855 | 180 15300 107100 | 2147483647 73429 54 | 0.003 % |
253.86/254.11 c | 393965 | 180 15300 107100 | 2147483647 73539 54 | 0.003 % |
253.96/254.21 c | 394086 | 180 15300 107100 | 2147483647 73660 54 | 0.003 % |
254.05/254.35 c | 394219 | 180 15300 107100 | 2147483647 73793 54 | 0.003 % |
254.15/254.48 c | 394367 | 180 15300 107100 | 2147483647 73941 54 | 0.003 % |
254.35/254.60 c | 394527 | 180 15300 107100 | 2147483647 74101 54 | 0.003 % |
254.45/254.77 c | 394703 | 180 15300 107100 | 2147483647 74277 54 | 0.003 % |
254.65/254.94 c | 394897 | 180 15300 107100 | 2147483647 74471 54 | 0.003 % |
254.85/255.14 c | 395109 | 180 15300 107100 | 2147483647 74683 54 | 0.003 % |
255.06/255.33 c | 395344 | 180 15300 107100 | 2147483647 74918 54 | 0.003 % |
255.25/255.58 c | 395600 | 180 15300 107100 | 2147483647 75174 54 | 0.003 % |
255.55/255.84 c | 395883 | 180 15300 107100 | 2147483647 75457 54 | 0.003 % |
255.85/256.11 c | 396193 | 180 15300 107100 | 2147483647 75767 54 | 0.003 % |
256.06/256.39 c | 396532 | 180 15300 107100 | 2147483647 76106 54 | 0.003 % |
256.45/256.77 c | 396905 | 180 15300 107100 | 2147483647 76479 54 | 0.003 % |
256.85/257.12 c | 397314 | 180 15300 107100 | 2147483647 76888 54 | 0.003 % |
257.15/257.49 c | 397763 | 180 15300 107100 | 2147483647 77337 54 | 0.003 % |
257.55/257.87 c | 398256 | 180 15300 107100 | 2147483647 77830 54 | 0.003 % |
257.95/258.29 c | 398801 | 180 15300 107100 | 2147483647 78375 54 | 0.003 % |
258.45/258.77 c | 399397 | 180 15300 107100 | 2147483647 78971 54 | 0.003 % |
258.95/259.26 c | 400052 | 180 15300 107100 | 79574 79626 54 | 0.003 % |
259.55/259.87 c | 400774 | 180 15300 107100 | 79574 67967 54 | 0.003 % |
260.15/260.48 c | 401566 | 180 15300 107100 | 79574 68759 54 | 0.003 % |
260.85/261.15 c | 402438 | 180 15300 107100 | 79574 69631 54 | 0.003 % |
261.55/261.85 c | 403397 | 180 15300 107100 | 79574 70590 54 | 0.003 % |
262.35/262.60 c | 404451 | 180 15300 107100 | 79574 71644 54 | 0.003 % |
263.15/263.44 c | 405610 | 180 15300 107100 | 79574 72803 54 | 0.003 % |
264.04/264.35 c | 406883 | 180 15300 107100 | 79574 74076 54 | 0.003 % |
265.04/265.34 c | 408283 | 180 15300 107100 | 79574 75476 54 | 0.003 % |
266.24/266.56 c | 409824 | 180 15300 107100 | 79574 77017 54 | 0.003 % |
267.44/267.75 c | 411521 | 180 15300 107100 | 77193 66562 54 | 0.003 % |
268.84/269.14 c | 413384 | 180 15300 107100 | 77193 68425 54 | 0.003 % |
270.24/270.58 c | 415434 | 180 15300 107100 | 77193 70475 54 | 0.003 % |
271.84/272.12 c | 417688 | 180 15300 107100 | 77193 72729 54 | 0.003 % |
273.65/273.97 c | 420166 | 180 15300 107100 | 75041 64396 54 | 0.003 % |
275.34/275.64 c | 422892 | 180 15300 107100 | 75041 67122 54 | 0.003 % |
277.44/277.77 c | 425890 | 180 15300 107100 | 75041 70120 54 | 0.003 % |
279.94/280.24 c | 429186 | 180 15300 107100 | 75041 73416 54 | 0.003 % |
282.74/283.06 c | 432812 | 180 15300 107100 | 74230 67213 54 | 0.003 % |
285.94/286.23 c | 436802 | 180 15300 107100 | 74230 71203 54 | 0.003 % |
286.04/286.32 c | 436902 | 180 15300 107100 | 74230 71303 54 | 0.003 % |
286.14/286.42 c | 437014 | 180 15300 107100 | 74230 71415 54 | 0.003 % |
286.24/286.52 c | 437136 | 180 15300 107100 | 74230 71537 54 | 0.003 % |
286.34/286.63 c | 437269 | 180 15300 107100 | 74230 71670 54 | 0.003 % |
286.44/286.76 c | 437417 | 180 15300 107100 | 74230 71818 54 | 0.003 % |
286.64/286.91 c | 437577 | 180 15300 107100 | 74230 71978 54 | 0.003 % |
286.74/287.07 c | 437753 | 180 15300 107100 | 74230 72154 54 | 0.003 % |
286.94/287.23 c | 437946 | 180 15300 107100 | 74230 72347 54 | 0.003 % |
287.14/287.44 c | 438158 | 180 15300 107100 | 74230 72559 54 | 0.003 % |
287.34/287.61 c | 438393 | 180 15300 107100 | 74230 72794 54 | 0.003 % |
287.54/287.83 c | 438650 | 180 15300 107100 | 74230 73051 54 | 0.003 % |
287.73/288.07 c | 438932 | 180 15300 107100 | 74230 73333 54 | 0.003 % |
288.04/288.31 c | 439243 | 180 15300 107100 | 74230 73644 54 | 0.003 % |
288.33/288.60 c | 439582 | 180 15300 107100 | 74230 73983 54 | 0.003 % |
288.73/289.02 c | 439954 | 180 15300 107100 | 74230 63657 54 | 0.003 % |
289.04/289.36 c | 440363 | 180 15300 107100 | 63703 54861 53 | 0.003 % |
289.33/289.67 c | 440812 | 180 15300 107100 | 63703 55310 53 | 0.003 % |
289.63/289.98 c | 441305 | 180 15300 107100 | 63703 55803 53 | 0.003 % |
290.03/290.34 c | 441848 | 180 15300 107100 | 63703 56346 53 | 0.003 % |
290.43/290.70 c | 442444 | 180 15300 107100 | 63703 56942 53 | 0.003 % |
290.73/291.08 c | 443099 | 180 15300 107100 | 63703 57597 53 | 0.003 % |
291.24/291.53 c | 443820 | 180 15300 107100 | 63703 58318 53 | 0.003 % |
291.73/292.04 c | 444612 | 180 15300 107100 | 63703 59110 53 | 0.003 % |
292.23/292.57 c | 445483 | 180 15300 107100 | 63703 59981 53 | 0.003 % |
292.83/293.13 c | 446443 | 180 15300 107100 | 63703 60941 53 | 0.003 % |
293.44/293.80 c | 447496 | 180 15300 107100 | 63703 61994 53 | 0.003 % |
294.23/294.51 c | 448654 | 180 15300 107100 | 63703 63152 53 | 0.003 % |
295.03/295.33 c | 449927 | 180 15300 107100 | 63703 57936 53 | 0.003 % |
295.83/296.19 c | 451327 | 180 15300 107100 | 2147483647 59336 53 | 0.003 % |
296.83/297.19 c | 452868 | 180 15300 107100 | 2147483647 60877 53 | 0.003 % |
297.93/298.24 c | 454564 | 180 15300 107100 | 2147483647 62573 53 | 0.003 % |
299.23/299.54 c | 456427 | 180 15300 107100 | 2147483647 64436 53 | 0.003 % |
300.43/300.76 c | 458476 | 180 15300 107100 | 2147483647 66485 53 | 0.003 % |
301.93/302.23 c | 460730 | 180 15300 107100 | 68014 61723 54 | 0.003 % |
303.32/303.69 c | 463208 | 180 15300 107100 | 68014 64201 54 | 0.003 % |
305.11/305.48 c | 465934 | 180 15300 107100 | 68014 66927 54 | 0.003 % |
307.11/307.42 c | 468931 | 180 15300 107100 | 68014 63055 54 | 0.003 % |
309.11/309.49 c | 472229 | 180 15300 107100 | 2147483647 66353 54 | 0.003 % |
311.51/311.88 c | 475854 | 180 15300 107100 | 2147483647 69978 54 | 0.003 % |
314.32/314.69 c | 479843 | 180 15300 107100 | 2147483647 73967 54 | 0.003 % |
317.51/317.82 c | 484229 | 180 15300 107100 | 74125 69784 54 | 0.003 % |
317.51/317.90 c | 484329 | 180 15300 107100 | 74125 69884 54 | 0.003 % |
317.62/318.00 c | 484443 | 180 15300 107100 | 74125 69998 54 | 0.003 % |
317.81/318.10 c | 484564 | 180 15300 107100 | 74125 70119 54 | 0.003 % |
317.91/318.23 c | 484698 | 180 15300 107100 | 74125 70253 54 | 0.003 % |
318.01/318.34 c | 484844 | 180 15300 107100 | 74125 70399 54 | 0.003 % |
318.11/318.48 c | 485004 | 180 15300 107100 | 74125 70559 54 | 0.003 % |
318.31/318.63 c | 485180 | 180 15300 107100 | 74125 70735 54 | 0.003 % |
318.41/318.78 c | 485373 | 180 15300 107100 | 74125 70928 54 | 0.003 % |
318.61/318.92 c | 485586 | 180 15300 107100 | 74125 71141 54 | 0.003 % |
318.82/319.13 c | 485819 | 180 15300 107100 | 74125 71374 54 | 0.003 % |
319.01/319.34 c | 486075 | 180 15300 107100 | 74125 71630 54 | 0.003 % |
319.21/319.55 c | 486358 | 180 15300 107100 | 74125 71913 54 | 0.003 % |
319.51/319.80 c | 486667 | 180 15300 107100 | 74125 72222 54 | 0.003 % |
319.71/320.05 c | 487007 | 180 15300 107100 | 74125 72562 54 | 0.003 % |
320.01/320.37 c | 487380 | 180 15300 107100 | 74125 72935 54 | 0.003 % |
320.31/320.68 c | 487791 | 180 15300 107100 | 74125 73346 54 | 0.003 % |
320.71/321.05 c | 488245 | 180 15300 107100 | 74125 73800 54 | 0.003 % |
321.21/321.52 c | 488738 | 180 15300 107100 | 74125 64232 53 | 0.003 % |
321.51/321.86 c | 489282 | 180 15300 107100 | 74125 64776 53 | 0.003 % |
321.91/322.21 c | 489878 | 180 15300 107100 | 74125 65372 53 | 0.003 % |
322.41/322.71 c | 490533 | 180 15300 107100 | 65495 57361 54 | 0.003 % |
322.81/323.14 c | 491254 | 180 15300 107100 | 65495 58082 54 | 0.003 % |
323.31/323.65 c | 492047 | 180 15300 107100 | 65495 58875 54 | 0.003 % |
323.81/324.17 c | 492918 | 180 15300 107100 | 65495 59746 54 | 0.003 % |
324.41/324.76 c | 493879 | 180 15300 107100 | 65495 60707 54 | 0.003 % |
325.10/325.43 c | 494932 | 180 15300 107100 | 65495 61760 54 | 0.003 % |
325.70/326.09 c | 496090 | 180 15300 107100 | 65495 62918 54 | 0.003 % |
326.60/326.95 c | 497363 | 180 15300 107100 | 65495 64191 54 | 0.003 % |
327.70/328.03 c | 498763 | 180 15300 107100 | 65495 58781 54 | 0.003 % |
328.71/329.05 c | 500303 | 180 15300 107100 | 60019 54135 54 | 0.003 % |
329.60/329.99 c | 501998 | 180 15300 107100 | 60019 55830 54 | 0.003 % |
330.70/331.06 c | 503864 | 180 15300 107100 | 60019 57696 54 | 0.003 % |
331.91/332.20 c | 505913 | 180 15300 107100 | 60019 59745 54 | 0.003 % |
333.11/333.47 c | 508166 | 180 15300 107100 | 60019 55987 54 | 0.003 % |
334.50/334.86 c | 510646 | 180 15300 107100 | 2147483647 58467 54 | 0.003 % |
336.10/336.48 c | 513372 | 180 15300 107100 | 2147483647 61193 54 | 0.003 % |
338.00/338.33 c | 516371 | 180 15300 107100 | 2147483647 64192 54 | 0.003 % |
340.20/340.51 c | 519670 | 180 15300 107100 | 2147483647 67491 54 | 0.003 % |
342.70/343.03 c | 523295 | 180 15300 107100 | 2147483647 71116 54 | 0.003 % |
345.50/345.85 c | 527282 | 180 15300 107100 | 2147483647 75103 54 | 0.003 % |
348.69/349.01 c | 531668 | 180 15300 107100 | 77822 69609 54 | 0.003 % |
352.09/352.44 c | 536492 | 180 15300 107100 | 77822 74433 54 | 0.003 % |
352.19/352.52 c | 536593 | 180 15300 107100 | 77822 74534 54 | 0.003 % |
352.29/352.63 c | 536703 | 180 15300 107100 | 77822 74644 54 | 0.003 % |
352.39/352.72 c | 536824 | 180 15300 107100 | 77822 74765 54 | 0.003 % |
352.49/352.84 c | 536957 | 180 15300 107100 | 77822 74898 54 | 0.003 % |
352.59/352.96 c | 537104 | 180 15300 107100 | 77822 75045 54 | 0.003 % |
352.69/353.09 c | 537265 | 180 15300 107100 | 77822 75206 54 | 0.003 % |
352.89/353.23 c | 537442 | 180 15300 107100 | 77822 75383 54 | 0.003 % |
352.98/353.39 c | 537635 | 180 15300 107100 | 77822 75576 54 | 0.003 % |
353.18/353.57 c | 537849 | 180 15300 107100 | 77822 75790 54 | 0.003 % |
353.38/353.74 c | 538082 | 180 15300 107100 | 77822 76023 54 | 0.003 % |
353.58/353.98 c | 538338 | 180 15300 107100 | 77822 76279 54 | 0.003 % |
353.89/354.25 c | 538619 | 180 15300 107100 | 77822 76560 54 | 0.003 % |
354.08/354.47 c | 538929 | 180 15300 107100 | 77822 76870 54 | 0.003 % |
354.38/354.74 c | 539269 | 180 15300 107100 | 77822 77210 54 | 0.003 % |
354.68/355.08 c | 539644 | 180 15300 107100 | 77822 77585 54 | 0.003 % |
355.18/355.53 c | 540053 | 180 15300 107100 | 66617 66669 54 | 0.003 % |
355.58/355.90 c | 540503 | 180 15300 107100 | 66617 57450 53 | 0.003 % |
355.78/356.20 c | 540997 | 180 15300 107100 | 66617 57944 53 | 0.003 % |
356.09/356.48 c | 541540 | 180 15300 107100 | 66617 58487 53 | 0.003 % |
356.58/356.92 c | 542136 | 180 15300 107100 | 66617 59083 53 | 0.003 % |
356.98/357.32 c | 542793 | 180 15300 107100 | 66617 59740 53 | 0.003 % |
357.38/357.75 c | 543513 | 180 15300 107100 | 66617 60460 53 | 0.003 % |
357.98/358.32 c | 544306 | 180 15300 107100 | 66617 61253 53 | 0.003 % |
358.58/358.91 c | 545181 | 180 15300 107100 | 66617 62128 53 | 0.003 % |
359.18/359.55 c | 546139 | 180 15300 107100 | 66617 63086 53 | 0.003 % |
359.88/360.20 c | 547193 | 180 15300 107100 | 66617 64140 53 | 0.003 % |
360.58/360.98 c | 548352 | 180 15300 107100 | 66617 65299 53 | 0.003 % |
361.48/361.85 c | 549627 | 180 15300 107100 | 66617 66574 53 | 0.003 % |
362.38/362.74 c | 551027 | 180 15300 107100 | 59234 53455 53 | 0.003 % |
363.18/363.59 c | 552569 | 180 15300 107100 | 59234 54997 53 | 0.003 % |
364.08/364.50 c | 554263 | 180 15300 107100 | 59234 56691 53 | 0.003 % |
365.18/365.54 c | 556126 | 180 15300 107100 | 59234 58554 53 | 0.003 % |
366.48/366.82 c | 558176 | 180 15300 107100 | 59234 54672 53 | 0.003 % |
367.68/368.03 c | 560430 | 180 15300 107100 | 2147483647 56926 53 | 0.003 % |
369.07/369.49 c | 562909 | 180 15300 107100 | 2147483647 59405 53 | 0.003 % |
370.67/371.02 c | 565635 | 180 15300 107100 | 2147483647 62131 53 | 0.003 % |
372.47/372.80 c | 568632 | 180 15300 107100 | 2147483647 65128 53 | 0.003 % |
374.47/374.85 c | 571928 | 180 15300 107100 | 2147483647 68424 53 | 0.003 % |
376.98/377.32 c | 575553 | 180 15300 107100 | 2147483647 72049 53 | 0.003 % |
379.97/380.34 c | 579541 | 180 15300 107100 | 2147483647 76037 53 | 0.003 % |
383.27/383.64 c | 583927 | 180 15300 107100 | 76497 70459 53 | 0.003 % |
386.77/387.11 c | 588751 | 180 15300 107100 | 76497 75283 53 | 0.003 % |
390.37/390.71 c | 594059 | 180 15300 107100 | 76535 69335 53 | 0.003 % |
390.47/390.81 c | 594160 | 180 15300 107100 | 76535 69436 53 | 0.003 % |
390.47/390.90 c | 594271 | 180 15300 107100 | 76535 69547 53 | 0.003 % |
390.57/390.98 c | 594394 | 180 15300 107100 | 76535 69670 53 | 0.003 % |
390.67/391.09 c | 594528 | 180 15300 107100 | 76535 69804 53 | 0.003 % |
390.87/391.23 c | 594674 | 180 15300 107100 | 76535 69950 53 | 0.003 % |
390.97/391.35 c | 594837 | 180 15300 107100 | 76535 70113 53 | 0.003 % |
391.07/391.50 c | 595014 | 180 15300 107100 | 76535 70290 53 | 0.003 % |
391.27/391.68 c | 595209 | 180 15300 107100 | 76535 70485 53 | 0.003 % |
391.47/391.86 c | 595423 | 180 15300 107100 | 76535 70699 53 | 0.003 % |
391.67/392.08 c | 595660 | 180 15300 107100 | 76535 70936 53 | 0.003 % |
391.97/392.31 c | 595916 | 180 15300 107100 | 76535 71192 53 | 0.003 % |
392.17/392.54 c | 596197 | 180 15300 107100 | 76535 71473 53 | 0.003 % |
392.37/392.80 c | 596506 | 180 15300 107100 | 76535 71782 53 | 0.003 % |
392.76/393.14 c | 596845 | 180 15300 107100 | 76535 72121 53 | 0.003 % |
393.06/393.49 c | 597219 | 180 15300 107100 | 76535 72495 53 | 0.003 % |
393.47/393.84 c | 597628 | 180 15300 107100 | 76535 72904 53 | 0.003 % |
393.76/394.16 c | 598080 | 180 15300 107100 | 76535 73356 53 | 0.003 % |
394.16/394.59 c | 598573 | 180 15300 107100 | 76535 73849 53 | 0.003 % |
394.67/395.04 c | 599115 | 180 15300 107100 | 76535 74391 53 | 0.003 % |
395.16/395.50 c | 599711 | 180 15300 107100 | 76535 74987 53 | 0.003 % |
395.67/396.06 c | 600369 | 180 15300 107100 | 75276 64337 53 | 0.003 % |
396.17/396.52 c | 601090 | 180 15300 107100 | 75276 65058 53 | 0.003 % |
396.78/397.16 c | 601883 | 180 15300 107100 | 75276 65851 53 | 0.003 % |
397.37/397.76 c | 602754 | 180 15300 107100 | 75276 66722 53 | 0.003 % |
398.07/398.44 c | 603712 | 180 15300 107100 | 75276 67680 53 | 0.003 % |
398.77/399.18 c | 604765 | 180 15300 107100 | 75276 68733 53 | 0.003 % |
399.77/400.11 c | 605923 | 180 15300 107100 | 75276 69891 53 | 0.003 % |
400.67/401.07 c | 607196 | 180 15300 107100 | 75276 71164 53 | 0.003 % |
401.67/402.09 c | 608596 | 180 15300 107100 | 75276 72564 53 | 0.003 % |
403.17/403.54 c | 610136 | 180 15300 107100 | 73968 63058 53 | 0.003 % |
404.37/404.71 c | 611831 | 180 15300 107100 | 73968 64753 53 | 0.003 % |
405.67/406.01 c | 613694 | 180 15300 107100 | 73968 66616 53 | 0.003 % |
407.07/407.43 c | 615743 | 180 15300 107100 | 73968 68665 53 | 0.003 % |
408.57/408.96 c | 617996 | 180 15300 107100 | 73968 70918 53 | 0.003 % |
410.47/410.86 c | 620476 | 180 15300 107100 | 72923 63378 53 | 0.003 % |
412.27/412.64 c | 623201 | 180 15300 107100 | 72923 66103 53 | 0.003 % |
414.37/414.71 c | 626200 | 180 15300 107100 | 72923 69102 53 | 0.003 % |
416.46/416.89 c | 629497 | 180 15300 107100 | 72923 72399 53 | 0.003 % |
418.96/419.30 c | 633124 | 180 15300 107100 | 72902 66608 53 | 0.003 % |
421.36/421.75 c | 637113 | 180 15300 107100 | 72902 70597 53 | 0.003 % |
424.27/424.65 c | 641498 | 180 15300 107100 | 64954 58895 53 | 0.003 % |
427.26/427.60 c | 646322 | 180 15300 107100 | 64954 63719 53 | 0.003 % |
430.76/431.14 c | 651630 | 180 15300 107100 | 2147483647 62525 53 | 0.003 % |
434.56/434.94 c | 657466 | 180 15300 107100 | 2147483647 68361 53 | 0.003 % |
434.66/435.01 c | 657566 | 180 15300 107100 | 2147483647 68461 53 | 0.003 % |
434.76/435.12 c | 657678 | 180 15300 107100 | 2147483647 68573 53 | 0.003 % |
434.86/435.22 c | 657799 | 180 15300 107100 | 2147483647 68694 53 | 0.003 % |
434.96/435.32 c | 657932 | 180 15300 107100 | 2147483647 68827 53 | 0.003 % |
435.06/435.45 c | 658079 | 180 15300 107100 | 2147483647 68974 53 | 0.003 % |
435.16/435.59 c | 658243 | 180 15300 107100 | 2147483647 69138 53 | 0.003 % |
435.36/435.74 c | 658423 | 180 15300 107100 | 2147483647 69318 53 | 0.003 % |
435.46/435.89 c | 658618 | 180 15300 107100 | 2147483647 69513 53 | 0.003 % |
435.66/436.05 c | 658830 | 180 15300 107100 | 2147483647 69725 53 | 0.003 % |
435.86/436.23 c | 659065 | 180 15300 107100 | 2147483647 69960 53 | 0.003 % |
436.06/436.44 c | 659321 | 180 15300 107100 | 2147483647 70216 53 | 0.003 % |
436.26/436.68 c | 659604 | 180 15300 107100 | 2147483647 70499 53 | 0.003 % |
436.55/436.91 c | 659913 | 180 15300 107100 | 2147483647 70808 53 | 0.003 % |
436.85/437.21 c | 660254 | 180 15300 107100 | 70895 62956 53 | 0.003 % |
437.05/437.43 c | 660627 | 180 15300 107100 | 70895 63329 53 | 0.003 % |
437.25/437.69 c | 661037 | 180 15300 107100 | 70895 63739 53 | 0.003 % |
437.55/437.98 c | 661486 | 180 15300 107100 | 70895 64188 53 | 0.003 % |
437.95/438.32 c | 661980 | 180 15300 107100 | 70895 64682 53 | 0.003 % |
438.25/438.67 c | 662522 | 180 15300 107100 | 70895 65224 53 | 0.003 % |
438.75/439.11 c | 663118 | 180 15300 107100 | 70895 65820 53 | 0.003 % |
439.15/439.55 c | 663773 | 180 15300 107100 | 70895 66475 53 | 0.003 % |
439.65/440.10 c | 664495 | 180 15300 107100 | 70895 67197 53 | 0.003 % |
440.25/440.63 c | 665289 | 180 15300 107100 | 70895 67991 53 | 0.003 % |
440.85/441.25 c | 666160 | 180 15300 107100 | 70895 68862 53 | 0.003 % |
441.55/441.93 c | 667118 | 180 15300 107100 | 70895 69820 53 | 0.003 % |
442.25/442.67 c | 668171 | 180 15300 107100 | 70895 70873 53 | 0.003 % |
443.15/443.54 c | 669329 | 180 15300 107100 | 70895 63404 53 | 0.003 % |
443.95/444.39 c | 670602 | 180 15300 107100 | 64075 57081 53 | 0.003 % |
444.75/445.14 c | 672003 | 180 15300 107100 | 64075 58482 53 | 0.003 % |
445.65/446.08 c | 673544 | 180 15300 107100 | 64075 60023 53 | 0.003 % |
446.65/447.09 c | 675238 | 180 15300 107100 | 64075 61717 53 | 0.003 % |
447.75/448.19 c | 677102 | 180 15300 107100 | 64075 63581 53 | 0.003 % |
449.05/449.48 c | 679154 | 180 15300 107100 | 64075 59219 53 | 0.003 % |
450.44/450.84 c | 681408 | 180 15300 107100 | 2147483647 61473 53 | 0.003 % |
451.94/452.33 c | 683887 | 180 15300 107100 | 2147483647 63952 53 | 0.003 % |
453.74/454.19 c | 686612 | 180 15300 107100 | 2147483647 66677 53 | 0.003 % |
455.94/456.36 c | 689609 | 180 15300 107100 | 2147483647 69674 53 | 0.003 % |
458.45/458.88 c | 692907 | 180 15300 107100 | 2147483647 72972 53 | 0.003 % |
461.04/461.50 c | 696532 | 180 15300 107100 | 2147483647 76597 53 | 0.003 % |
464.14/464.54 c | 700519 | 180 15300 107100 | 80066 68924 53 | 0.003 % |
467.24/467.61 c | 704904 | 180 15300 107100 | 80066 73309 53 | 0.003 % |
470.94/471.35 c | 709727 | 180 15300 107100 | 80066 78132 53 | 0.003 % |
474.94/475.32 c | 715032 | 180 15300 107100 | 78407 71572 53 | 0.003 % |
479.13/479.50 c | 720867 | 180 15300 107100 | 76540 66533 53 | 0.003 % |
483.63/484.09 c | 727287 | 180 15300 107100 | 76540 72953 53 | 0.003 % |
483.73/484.16 c | 727388 | 180 15300 107100 | 76540 73054 53 | 0.003 % |
483.83/484.24 c | 727498 | 180 15300 107100 | 76540 73164 53 | 0.003 % |
483.93/484.34 c | 727619 | 180 15300 107100 | 76540 73285 53 | 0.003 % |
484.03/484.44 c | 727752 | 180 15300 107100 | 76540 73418 53 | 0.003 % |
484.13/484.56 c | 727898 | 180 15300 107100 | 76540 73564 53 | 0.003 % |
484.23/484.68 c | 728058 | 180 15300 107100 | 76540 73724 53 | 0.003 % |
484.42/484.86 c | 728234 | 180 15300 107100 | 76540 73900 53 | 0.003 % |
484.62/485.02 c | 728427 | 180 15300 107100 | 76540 74093 53 | 0.003 % |
484.73/485.19 c | 728640 | 180 15300 107100 | 76540 74306 53 | 0.003 % |
484.92/485.38 c | 728873 | 180 15300 107100 | 76540 74539 53 | 0.003 % |
485.12/485.58 c | 729130 | 180 15300 107100 | 76540 74796 53 | 0.003 % |
485.42/485.81 c | 729411 | 180 15300 107100 | 76540 75077 53 | 0.003 % |
485.62/486.05 c | 729720 | 180 15300 107100 | 76540 75386 53 | 0.003 % |
485.93/486.32 c | 730061 | 180 15300 107100 | 75666 75727 53 | 0.003 % |
486.32/486.74 c | 730433 | 180 15300 107100 | 75666 65317 53 | 0.003 % |
486.62/487.03 c | 730845 | 180 15300 107100 | 75666 65729 53 | 0.003 % |
486.93/487.40 c | 731296 | 180 15300 107100 | 75666 66180 53 | 0.003 % |
487.32/487.78 c | 731789 | 180 15300 107100 | 75666 66673 53 | 0.003 % |
487.82/488.20 c | 732331 | 180 15300 107100 | 75666 67215 53 | 0.003 % |
488.22/488.63 c | 732928 | 180 15300 107100 | 75666 67812 53 | 0.003 % |
488.72/489.11 c | 733583 | 180 15300 107100 | 75666 68467 53 | 0.003 % |
489.32/489.73 c | 734303 | 180 15300 107100 | 75666 69187 53 | 0.003 % |
489.92/490.34 c | 735096 | 180 15300 107100 | 75666 69980 53 | 0.003 % |
490.62/491.09 c | 735969 | 180 15300 107100 | 75666 70853 53 | 0.003 % |
491.33/491.80 c | 736929 | 180 15300 107100 | 75666 71813 53 | 0.003 % |
492.22/492.62 c | 737983 | 180 15300 107100 | 75666 72867 53 | 0.003 % |
493.12/493.51 c | 739141 | 180 15300 107100 | 75666 74025 53 | 0.003 % |
494.02/494.46 c | 740414 | 180 15300 107100 | 74887 63917 53 | 0.003 % |
494.92/495.35 c | 741814 | 180 15300 107100 | 74887 65317 53 | 0.003 % |
495.82/496.28 c | 743358 | 180 15300 107100 | 74887 66861 53 | 0.003 % |
496.92/497.37 c | 745052 | 180 15300 107100 | 74887 68555 53 | 0.003 % |
498.52/498.93 c | 746916 | 180 15300 107100 | 74887 70419 53 | 0.003 % |
500.22/500.69 c | 748968 | 180 15300 107100 | 74887 72471 54 | 0.003 % |
501.92/502.40 c | 751221 | 180 15300 107100 | 73506 63899 54 | 0.003 % |
503.72/504.18 c | 753700 | 180 15300 107100 | 73506 66378 54 | 0.003 % |
505.52/505.97 c | 756426 | 180 15300 107100 | 73506 69104 54 | 0.003 % |
507.52/507.92 c | 759426 | 180 15300 107100 | 73506 72104 54 | 0.003 % |
509.51/509.99 c | 762722 | 180 15300 107100 | 72680 66453 54 | 0.003 % |
512.01/512.47 c | 766347 | 180 15300 107100 | 72680 70078 54 | 0.003 % |
514.81/515.23 c | 770334 | 180 15300 107100 | 64625 56942 54 | 0.003 % |
517.51/517.92 c | 774719 | 180 15300 107100 | 64625 61327 54 | 0.003 % |
520.51/520.96 c | 779542 | 180 15300 107100 | 64625 59680 54 | 0.003 % |
523.91/524.38 c | 784847 | 180 15300 107100 | 2147483647 64985 54 | 0.003 % |
528.00/528.44 c | 790682 | 180 15300 107100 | 70140 62152 54 | 0.003 % |
532.11/532.57 c | 797101 | 180 15300 107100 | 70140 68571 54 | 0.003 % |
536.20/536.68 c | 804164 | 180 15300 107100 | 63108 60019 54 | 0.003 % |
536.30/536.73 c | 804266 | 180 15300 107100 | 63108 60121 54 | 0.003 % |
536.41/536.81 c | 804376 | 180 15300 107100 | 63108 60231 54 | 0.003 % |
536.41/536.89 c | 804498 | 180 15300 107100 | 63108 60353 54 | 0.003 % |
536.51/536.98 c | 804631 | 180 15300 107100 | 63108 60486 54 | 0.003 % |
536.60/537.08 c | 804778 | 180 15300 107100 | 63108 60633 54 | 0.003 % |
536.70/537.19 c | 804939 | 180 15300 107100 | 63108 60794 54 | 0.003 % |
536.90/537.30 c | 805115 | 180 15300 107100 | 63108 60970 54 | 0.003 % |
537.00/537.43 c | 805309 | 180 15300 107100 | 63108 61164 54 | 0.003 % |
537.10/537.58 c | 805521 | 180 15300 107100 | 63108 61376 54 | 0.003 % |
537.30/537.76 c | 805754 | 180 15300 107100 | 63108 61609 54 | 0.003 % |
537.50/537.94 c | 806010 | 180 15300 107100 | 63108 61865 54 | 0.003 % |
537.70/538.16 c | 806293 | 180 15300 107100 | 63108 62148 54 | 0.003 % |
537.90/538.37 c | 806602 | 180 15300 107100 | 63108 62457 54 | 0.003 % |
538.10/538.58 c | 806941 | 180 15300 107100 | 63108 62796 54 | 0.003 % |
538.40/538.81 c | 807313 | 180 15300 107100 | 63108 63168 54 | 0.003 % |
538.60/539.09 c | 807723 | 180 15300 107100 | 63108 57262 54 | 0.003 % |
538.90/539.35 c | 808172 | 180 15300 107100 | 63108 57711 54 | 0.003 % |
539.20/539.61 c | 808666 | 180 15300 107100 | 63108 58205 54 | 0.003 % |
539.50/539.95 c | 809209 | 180 15300 107100 | 63108 58748 54 | 0.003 % |
539.80/540.28 c | 809805 | 180 15300 107100 | 63108 59344 54 | 0.003 % |
540.20/540.64 c | 810462 | 180 15300 107100 | 2147483647 60001 54 | 0.003 % |
540.60/541.07 c | 811183 | 180 15300 107100 | 2147483647 60722 54 | 0.003 % |
541.10/541.59 c | 811975 | 180 15300 107100 | 2147483647 61514 54 | 0.003 % |
541.70/542.10 c | 812846 | 180 15300 107100 | 2147483647 62385 54 | 0.003 % |
542.30/542.72 c | 813806 | 180 15300 107100 | 2147483647 63345 54 | 0.003 % |
543.00/543.40 c | 814859 | 180 15300 107100 | 2147483647 64398 54 | 0.003 % |
543.70/544.15 c | 816018 | 180 15300 107100 | 2147483647 65557 54 | 0.003 % |
544.70/545.11 c | 817291 | 180 15300 107100 | 2147483647 66830 54 | 0.003 % |
545.70/546.14 c | 818691 | 180 15300 107100 | 2147483647 68230 54 | 0.003 % |
546.80/547.29 c | 820231 | 180 15300 107100 | 69539 62350 54 | 0.003 % |
548.00/548.43 c | 821925 | 180 15300 107100 | 69539 64044 54 | 0.003 % |
549.20/549.66 c | 823789 | 180 15300 107100 | 69539 65908 54 | 0.003 % |
550.50/550.99 c | 825838 | 180 15300 107100 | 69539 67957 54 | 0.003 % |
552.00/552.45 c | 828093 | 180 15300 107100 | 69539 62236 54 | 0.003 % |
553.69/554.15 c | 830571 | 180 15300 107100 | 64145 57357 54 | 0.003 % |
555.39/555.88 c | 833297 | 180 15300 107100 | 64145 60083 54 | 0.003 % |
557.09/557.59 c | 836297 | 180 15300 107100 | 64145 63083 54 | 0.003 % |
559.20/559.61 c | 839593 | 180 15300 107100 | 64145 59957 54 | 0.003 % |
561.59/562.08 c | 843222 | 180 15300 107100 | 2147483647 63586 54 | 0.003 % |
564.19/564.66 c | 847210 | 180 15300 107100 | 2147483647 67574 54 | 0.003 % |
567.30/567.77 c | 851595 | 180 15300 107100 | 70365 63737 54 | 0.003 % |
570.49/570.96 c | 856422 | 180 15300 107100 | 70365 68564 54 | 0.003 % |
573.97/574.48 c | 861727 | 180 15300 107100 | 63727 58131 54 | 0.003 % |
577.77/578.21 c | 867565 | 180 15300 107100 | 63727 57588 54 | 0.003 % |
581.86/582.32 c | 873984 | 180 15300 107100 | 2147483647 64007 54 | 0.003 % |
586.36/586.82 c | 881043 | 180 15300 107100 | 70026 63617 54 | 0.003 % |
591.66/592.19 c | 888808 | 180 15300 107100 | 70026 63351 54 | 0.003 % |
591.76/592.26 c | 888908 | 180 15300 107100 | 70026 63451 54 | 0.003 % |
591.86/592.34 c | 889018 | 180 15300 107100 | 70026 63561 54 | 0.003 % |
591.96/592.46 c | 889140 | 180 15300 107100 | 70026 63683 54 | 0.003 % |
592.06/592.56 c | 889275 | 180 15300 107100 | 70026 63818 54 | 0.003 % |
592.16/592.67 c | 889422 | 180 15300 107100 | 70026 63965 54 | 0.003 % |
592.36/592.80 c | 889583 | 180 15300 107100 | 70026 64126 54 | 0.003 % |
592.46/592.95 c | 889759 | 180 15300 107100 | 70026 64302 54 | 0.003 % |
592.56/593.10 c | 889953 | 180 15300 107100 | 70026 64496 54 | 0.003 % |
592.86/593.32 c | 890165 | 180 15300 107100 | 64543 57186 54 | 0.003 % |
592.96/593.48 c | 890398 | 180 15300 107100 | 64543 57419 54 | 0.003 % |
593.16/593.65 c | 890654 | 180 15300 107100 | 64543 57675 54 | 0.003 % |
593.36/593.80 c | 890936 | 180 15300 107100 | 64543 57957 54 | 0.003 % |
593.46/593.99 c | 891247 | 180 15300 107100 | 64543 58268 54 | 0.003 % |
593.66/594.19 c | 891587 | 180 15300 107100 | 64543 58608 54 | 0.003 % |
594.06/594.52 c | 891960 | 180 15300 107100 | 64543 58981 54 | 0.003 % |
594.36/594.80 c | 892370 | 180 15300 107100 | 64543 59391 54 | 0.003 % |
594.66/595.12 c | 892820 | 180 15300 107100 | 64543 59841 54 | 0.003 % |
594.96/595.48 c | 893314 | 180 15300 107100 | 64543 60335 54 | 0.003 % |
595.36/595.80 c | 893857 | 180 15300 107100 | 64543 60878 54 | 0.003 % |
595.66/596.14 c | 894454 | 180 15300 107100 | 64543 61475 54 | 0.003 % |
596.06/596.55 c | 895111 | 180 15300 107100 | 64543 62132 54 | 0.003 % |
596.46/596.98 c | 895833 | 180 15300 107100 | 64543 62854 54 | 0.003 % |
596.96/597.50 c | 896627 | 180 15300 107100 | 64543 63648 54 | 0.003 % |
597.56/598.06 c | 897501 | 180 15300 107100 | 64543 64522 54 | 0.003 % |
598.36/598.82 c | 898459 | 180 15300 107100 | 64543 58798 54 | 0.003 % |
599.06/599.50 c | 899512 | 180 15300 107100 | 64543 59851 54 | 0.003 % |
599.86/600.37 c | 900671 | 180 15300 107100 | 60339 54541 54 | 0.003 % |
600.66/601.10 c | 901944 | 180 15300 107100 | 60339 55814 54 | 0.003 % |
601.46/601.90 c | 903346 | 180 15300 107100 | 60339 57216 54 | 0.003 % |
602.36/602.83 c | 904886 | 180 15300 107100 | 60339 58756 54 | 0.003 % |
603.46/603.91 c | 906580 | 180 15300 107100 | 60339 54408 54 | 0.003 % |
604.66/605.14 c | 908445 | 180 15300 107100 | 60339 56273 54 | 0.003 % |
605.85/606.37 c | 910494 | 180 15300 107100 | 2147483647 58322 54 | 0.003 % |
607.25/607.73 c | 912748 | 180 15300 107100 | 2147483647 60576 54 | 0.003 % |
608.75/609.27 c | 915228 | 180 15300 107100 | 2147483647 63056 54 | 0.003 % |
610.65/611.12 c | 917956 | 180 15300 107100 | 2147483647 65784 54 | 0.003 % |
612.55/613.03 c | 920954 | 180 15300 107100 | 2147483647 68782 54 | 0.003 % |
614.75/615.25 c | 924251 | 180 15300 107100 | 2147483647 72079 54 | 0.003 % |
617.24/617.71 c | 927876 | 180 15300 107100 | 2147483647 75704 54 | 0.003 % |
620.14/620.60 c | 931863 | 180 15300 107100 | 77828 69193 54 | 0.003 % |
623.44/623.93 c | 936248 | 180 15300 107100 | 77828 73578 54 | 0.003 % |
626.84/627.40 c | 941071 | 180 15300 107100 | 77331 67199 54 | 0.003 % |
630.64/631.13 c | 946376 | 180 15300 107100 | 77331 72504 54 | 0.003 % |
634.74/635.28 c | 952211 | 180 15300 107100 | 76128 66719 54 | 0.003 % |
638.94/639.43 c | 958629 | 180 15300 107100 | 76128 73137 54 | 0.003 % |
643.63/644.12 c | 965688 | 180 15300 107100 | 74509 70381 55 | 0.003 % |
648.73/649.24 c | 973452 | 180 15300 107100 | 65025 60117 55 | 0.003 % |
653.83/654.32 c | 981993 | 180 15300 107100 | 2147483647 62148 55 | 0.003 % |
653.83/654.39 c | 982093 | 180 15300 107100 | 2147483647 62248 55 | 0.003 % |
653.93/654.48 c | 982205 | 180 15300 107100 | 2147483647 62360 55 | 0.003 % |
654.04/654.57 c | 982328 | 180 15300 107100 | 2147483647 62483 55 | 0.003 % |
654.14/654.69 c | 982461 | 180 15300 107100 | 2147483647 62616 55 | 0.003 % |
654.33/654.81 c | 982609 | 180 15300 107100 | 2147483647 62764 55 | 0.003 % |
654.43/654.92 c | 982769 | 180 15300 107100 | 2147483647 62924 55 | 0.003 % |
654.53/655.03 c | 982946 | 180 15300 107100 | 2147483647 63101 55 | 0.003 % |
654.63/655.16 c | 983139 | 180 15300 107100 | 2147483647 63294 55 | 0.003 % |
654.73/655.30 c | 983353 | 180 15300 107100 | 2147483647 63508 55 | 0.003 % |
654.93/655.46 c | 983589 | 180 15300 107100 | 2147483647 63744 55 | 0.003 % |
655.14/655.64 c | 983845 | 180 15300 107100 | 2147483647 64000 55 | 0.003 % |
655.33/655.85 c | 984126 | 180 15300 107100 | 2147483647 64281 55 | 0.003 % |
655.53/656.07 c | 984435 | 180 15300 107100 | 2147483647 64590 55 | 0.003 % |
655.83/656.32 c | 984775 | 180 15300 107100 | 2147483647 64930 55 | 0.003 % |
656.03/656.55 c | 985147 | 180 15300 107100 | 2147483647 65302 55 | 0.003 % |
656.33/656.85 c | 985557 | 180 15300 107100 | 2147483647 65712 55 | 0.003 % |
656.63/657.18 c | 986006 | 180 15300 107100 | 2147483647 66161 55 | 0.003 % |
657.03/657.57 c | 986501 | 180 15300 107100 | 2147483647 66656 55 | 0.003 % |
657.43/657.98 c | 987044 | 180 15300 107100 | 2147483647 67199 55 | 0.003 % |
657.93/658.41 c | 987640 | 180 15300 107100 | 2147483647 67795 55 | 0.003 % |
658.33/658.88 c | 988295 | 180 15300 107100 | 2147483647 68450 55 | 0.003 % |
658.93/659.44 c | 989016 | 180 15300 107100 | 2147483647 69171 55 | 0.003 % |
659.43/659.97 c | 989809 | 180 15300 107100 | 2147483647 69964 55 | 0.003 % |
660.13/660.62 c | 990681 | 180 15300 107100 | 70156 62464 55 | 0.003 % |
660.73/661.25 c | 991640 | 180 15300 107100 | 70156 63423 55 | 0.003 % |
661.43/661.98 c | 992693 | 180 15300 107100 | 70156 64476 55 | 0.003 % |
662.22/662.76 c | 993853 | 180 15300 107100 | 70156 65636 55 | 0.003 % |
663.12/663.60 c | 995126 | 180 15300 107100 | 70156 66909 55 | 0.003 % |
664.02/664.54 c | 996527 | 180 15300 107100 | 70156 68310 55 | 0.003 % |
665.21/665.75 c | 998068 | 180 15300 107100 | 70156 69851 55 | 0.003 % |
666.41/666.90 c | 999762 | 180 15300 107100 | 70156 63003 54 | 0.003 % |
667.51/668.09 c | 1001626 | 180 15300 107100 | 63243 57509 54 | 0.003 % |
668.91/669.43 c | 1003677 | 180 15300 107100 | 63243 59560 54 | 0.003 % |
670.21/670.79 c | 1005932 | 180 15300 107100 | 63243 61815 54 | 0.003 % |
671.72/672.28 c | 1008410 | 180 15300 107100 | 63243 57959 54 | 0.003 % |
673.21/673.78 c | 1011136 | 180 15300 107100 | 2147483647 60685 54 | 0.003 % |
675.02/675.59 c | 1014135 | 180 15300 107100 | 2147483647 63684 54 | 0.003 % |
677.31/677.84 c | 1017432 | 180 15300 107100 | 2147483647 66981 54 | 0.003 % |
679.81/680.31 c | 1021058 | 180 15300 107100 | 69550 63307 54 | 0.003 % |
682.31/682.86 c | 1025046 | 180 15300 107100 | 69550 67295 54 | 0.003 % |
685.31/685.87 c | 1029433 | 180 15300 107100 | 69550 63305 54 | 0.003 % |
688.51/689.01 c | 1034257 | 180 15300 107100 | 63872 60600 54 | 0.003 % |
691.91/692.47 c | 1039563 | 180 15300 107100 | 63872 59512 53 | 0.003 % |
695.81/696.34 c | 1045399 | 180 15300 107100 | 2147483647 65348 53 | 0.003 % |
700.50/701.09 c | 1051818 | 180 15300 107100 | 69952 64038 54 | 0.003 % |
705.20/705.79 c | 1058878 | 180 15300 107100 | 69952 63209 54 | 0.003 % |
710.20/710.78 c | 1066644 | 180 15300 107100 | 64331 63872 54 | 0.003 % |
715.90/716.48 c | 1075186 | 180 15300 107100 | 2147483647 65973 54 | 0.003 % |
722.30/722.81 c | 1084583 | 180 15300 107100 | 70787 67582 54 | 0.003 % |
722.39/722.90 c | 1084684 | 180 15300 107100 | 70787 67683 54 | 0.003 % |
722.39/722.99 c | 1084794 | 180 15300 107100 | 70787 67793 54 | 0.003 % |
722.49/723.09 c | 1084915 | 180 15300 107100 | 70787 67914 54 | 0.003 % |
722.59/723.19 c | 1085048 | 180 15300 107100 | 70787 68047 54 | 0.003 % |
722.79/723.32 c | 1085194 | 180 15300 107100 | 70787 68193 54 | 0.003 % |
722.89/723.45 c | 1085354 | 180 15300 107100 | 70787 68353 54 | 0.003 % |
723.09/723.61 c | 1085530 | 180 15300 107100 | 70787 68529 54 | 0.003 % |
723.19/723.79 c | 1085724 | 180 15300 107100 | 70787 68723 54 | 0.003 % |
723.40/723.98 c | 1085939 | 180 15300 107100 | 70787 68938 54 | 0.003 % |
723.59/724.18 c | 1086173 | 180 15300 107100 | 70787 69172 54 | 0.003 % |
723.79/724.39 c | 1086430 | 180 15300 107100 | 70787 69429 54 | 0.003 % |
723.99/724.58 c | 1086711 | 180 15300 107100 | 70787 69710 54 | 0.003 % |
724.29/724.83 c | 1087020 | 180 15300 107100 | 70787 70019 54 | 0.003 % |
724.59/725.18 c | 1087359 | 180 15300 107100 | 70787 70358 54 | 0.003 % |
724.99/725.52 c | 1087731 | 180 15300 107100 | 70787 70730 54 | 0.003 % |
725.39/725.90 c | 1088141 | 180 15300 107100 | 70787 62173 54 | 0.003 % |
725.69/726.22 c | 1088591 | 180 15300 107100 | 70787 62623 54 | 0.003 % |
725.99/726.59 c | 1089085 | 180 15300 107100 | 70787 63117 54 | 0.003 % |
726.49/727.00 c | 1089627 | 180 15300 107100 | 70787 63659 54 | 0.003 % |
726.89/727.46 c | 1090223 | 180 15300 107100 | 64032 56367 54 | 0.003 % |
727.29/727.87 c | 1090880 | 180 15300 107100 | 64032 57024 54 | 0.003 % |
727.80/728.35 c | 1091600 | 180 15300 107100 | 64032 57744 54 | 0.003 % |
728.29/728.88 c | 1092394 | 180 15300 107100 | 64032 58538 54 | 0.003 % |
728.90/729.49 c | 1093265 | 180 15300 107100 | 64032 59409 54 | 0.003 % |
729.59/730.12 c | 1094225 | 180 15300 107100 | 64032 60369 54 | 0.003 % |
730.29/730.83 c | 1095278 | 180 15300 107100 | 64032 61422 54 | 0.003 % |
731.00/731.59 c | 1096436 | 180 15300 107100 | 64032 62580 54 | 0.003 % |
731.89/732.46 c | 1097710 | 180 15300 107100 | 64032 63854 54 | 0.003 % |
732.79/733.30 c | 1099112 | 180 15300 107100 | 64032 58409 54 | 0.003 % |
733.59/734.14 c | 1100652 | 180 15300 107100 | 2147483647 59949 54 | 0.003 % |
734.59/735.12 c | 1102346 | 180 15300 107100 | 2147483647 61643 54 | 0.003 % |
735.69/736.20 c | 1104211 | 180 15300 107100 | 2147483647 63508 54 | 0.003 % |
736.89/737.40 c | 1106261 | 180 15300 107100 | 2147483647 65558 54 | 0.003 % |
738.29/738.80 c | 1108515 | 180 15300 107100 | 2147483647 67812 54 | 0.003 % |
740.09/740.68 c | 1110994 | 180 15300 107100 | 69299 63105 54 | 0.003 % |
741.99/742.59 c | 1113720 | 180 15300 107100 | 69299 65831 54 | 0.003 % |
744.29/744.89 c | 1116719 | 180 15300 107100 | 69299 68830 54 | 0.003 % |
746.49/747.03 c | 1120015 | 180 15300 107100 | 63570 63584 54 | 0.003 % |
748.78/749.35 c | 1123643 | 180 15300 107100 | 63570 59979 54 | 0.003 % |
751.08/751.70 c | 1127631 | 180 15300 107100 | 63570 57602 54 | 0.003 % |
753.48/754.01 c | 1132016 | 180 15300 107100 | 2147483647 61987 54 | 0.003 % |
756.48/757.09 c | 1136840 | 180 15300 107100 | 2147483647 66811 54 | 0.003 % |
760.27/760.83 c | 1142146 | 180 15300 107100 | 69972 64519 54 | 0.003 % |
764.37/764.92 c | 1147982 | 180 15300 107100 | 69972 62443 54 | 0.003 % |
768.38/768.93 c | 1154401 | 180 15300 107100 | 64461 61731 54 | 0.003 % |
772.67/773.21 c | 1161460 | 180 15300 107100 | 2147483647 62336 54 | 0.003 % |
778.37/778.91 c | 1169225 | 180 15300 107100 | 2147483647 70101 54 | 0.003 % |
784.87/785.41 c | 1177767 | 180 15300 107100 | 70876 70897 54 | 0.003 % |
791.07/791.66 c | 1187163 | 180 15300 107100 | 64436 63898 55 | 0.003 % |
798.26/798.89 c | 1197497 | 180 15300 107100 | 2147483647 67782 54 | 0.003 % |
798.36/798.97 c | 1197598 | 180 15300 107100 | 2147483647 67883 54 | 0.003 % |
798.46/799.06 c | 1197708 | 180 15300 107100 | 2147483647 67993 54 | 0.003 % |
798.56/799.15 c | 1197830 | 180 15300 107100 | 2147483647 68115 54 | 0.003 % |
798.66/799.24 c | 1197963 | 180 15300 107100 | 2147483647 68248 54 | 0.003 % |
798.76/799.34 c | 1198109 | 180 15300 107100 | 2147483647 68394 54 | 0.003 % |
798.86/799.46 c | 1198271 | 180 15300 107100 | 2147483647 68556 54 | 0.003 % |
798.96/799.57 c | 1198447 | 180 15300 107100 | 2147483647 68732 54 | 0.003 % |
799.16/799.70 c | 1198640 | 180 15300 107100 | 2147483647 68925 54 | 0.003 % |
799.26/799.88 c | 1198855 | 180 15300 107100 | 2147483647 69140 54 | 0.003 % |
799.46/800.06 c | 1199089 | 180 15300 107100 | 2147483647 69374 54 | 0.003 % |
799.66/800.27 c | 1199345 | 180 15300 107100 | 2147483647 69630 54 | 0.003 % |
799.96/800.51 c | 1199626 | 180 15300 107100 | 2147483647 69911 54 | 0.003 % |
800.16/800.76 c | 1199936 | 180 15300 107100 | 2147483647 70221 54 | 0.003 % |
800.46/801.05 c | 1200275 | 180 15300 107100 | 70288 62452 54 | 0.003 % |
800.66/801.29 c | 1200648 | 180 15300 107100 | 70288 62825 54 | 0.003 % |
800.96/801.55 c | 1201057 | 180 15300 107100 | 70288 63234 54 | 0.003 % |
801.26/801.89 c | 1201506 | 180 15300 107100 | 70288 63683 54 | 0.003 % |
801.66/802.25 c | 1202000 | 180 15300 107100 | 70288 64177 54 | 0.003 % |
802.06/802.60 c | 1202544 | 180 15300 107100 | 70288 64721 54 | 0.003 % |
802.36/802.97 c | 1203141 | 180 15300 107100 | 70288 65318 54 | 0.003 % |
802.76/803.38 c | 1203798 | 180 15300 107100 | 70288 65975 54 | 0.003 % |
803.36/803.92 c | 1204519 | 180 15300 107100 | 70288 66696 54 | 0.003 % |
803.95/804.51 c | 1205311 | 180 15300 107100 | 70288 67488 54 | 0.003 % |
804.55/805.15 c | 1206183 | 180 15300 107100 | 70288 68360 54 | 0.003 % |
805.25/805.84 c | 1207142 | 180 15300 107100 | 70288 69319 54 | 0.003 % |
806.05/806.62 c | 1208195 | 180 15300 107100 | 70288 61685 54 | 0.003 % |
806.75/807.30 c | 1209354 | 180 15300 107100 | 70288 62844 54 | 0.003 % |
807.56/808.17 c | 1210628 | 180 15300 107100 | 63491 56674 54 | 0.003 % |
808.45/809.01 c | 1212029 | 180 15300 107100 | 63491 58075 54 | 0.003 % |
809.35/809.90 c | 1213571 | 180 15300 107100 | 63491 59617 54 | 0.003 % |
810.35/810.98 c | 1215267 | 180 15300 107100 | 63491 61313 54 | 0.003 % |
811.55/812.16 c | 1217134 | 180 15300 107100 | 63491 63180 54 | 0.003 % |
812.75/813.37 c | 1219185 | 180 15300 107100 | 63491 58874 54 | 0.003 % |
814.05/814.69 c | 1221439 | 180 15300 107100 | 2147483647 61128 54 | 0.003 % |
815.55/816.18 c | 1223919 | 180 15300 107100 | 2147483647 63608 54 | 0.003 % |
817.35/817.97 c | 1226644 | 180 15300 107100 | 2147483647 66333 54 | 0.003 % |
819.55/820.15 c | 1229641 | 180 15300 107100 | 2147483647 69330 54 | 0.003 % |
821.85/822.44 c | 1232939 | 180 15300 107100 | 69689 65543 54 | 0.003 % |
824.35/824.96 c | 1236564 | 180 15300 107100 | 69689 69168 54 | 0.003 % |
827.05/827.60 c | 1240551 | 180 15300 107100 | 64770 58108 54 | 0.003 % |
829.65/830.23 c | 1244936 | 180 15300 107100 | 64770 62493 54 | 0.003 % |
832.75/833.34 c | 1249761 | 180 15300 107100 | 64770 60713 54 | 0.003 % |
835.85/836.45 c | 1255067 | 180 15300 107100 | 2147483647 66019 54 | 0.003 % |
840.14/840.73 c | 1260902 | 180 15300 107100 | 70952 63693 54 | 0.003 % |
844.24/844.87 c | 1267321 | 180 15300 107100 | 70952 70112 54 | 0.003 % |
848.84/849.41 c | 1274380 | 180 15300 107100 | 64419 61415 54 | 0.003 % |
853.64/854.22 c | 1282146 | 180 15300 107100 | 2147483647 62731 54 | 0.003 % |
859.24/859.88 c | 1290686 | 180 15300 107100 | 70587 63519 55 | 0.003 % |
865.84/866.46 c | 1300082 | 180 15300 107100 | 64130 64211 55 | 0.003 % |
872.64/873.23 c | 1310415 | 180 15300 107100 | 59121 53212 55 | 0.003 % |
879.44/880.00 c | 1321783 | 180 15300 107100 | 2147483647 58659 55 | 0.003 % |
879.44/880.07 c | 1321885 | 180 15300 107100 | 2147483647 58761 55 | 0.003 % |
879.54/880.14 c | 1321995 | 180 15300 107100 | 2147483647 58871 55 | 0.003 % |
879.64/880.23 c | 1322117 | 180 15300 107100 | 2147483647 58993 55 | 0.003 % |
879.74/880.33 c | 1322250 | 180 15300 107100 | 2147483647 59126 55 | 0.003 % |
879.84/880.43 c | 1322397 | 180 15300 107100 | 2147483647 59273 55 | 0.003 % |
879.94/880.54 c | 1322558 | 180 15300 107100 | 2147483647 59434 55 | 0.003 % |
880.14/880.71 c | 1322734 | 180 15300 107100 | 2147483647 59610 55 | 0.003 % |
880.24/880.86 c | 1322928 | 180 15300 107100 | 2147483647 59804 55 | 0.003 % |
880.44/881.00 c | 1323142 | 180 15300 107100 | 2147483647 60018 55 | 0.003 % |
880.54/881.17 c | 1323376 | 180 15300 107100 | 2147483647 60252 55 | 0.003 % |
880.74/881.37 c | 1323632 | 180 15300 107100 | 2147483647 60508 55 | 0.003 % |
880.94/881.56 c | 1323915 | 180 15300 107100 | 2147483647 60791 55 | 0.003 % |
881.14/881.74 c | 1324224 | 180 15300 107100 | 2147483647 61100 55 | 0.003 % |
881.34/881.94 c | 1324566 | 180 15300 107100 | 2147483647 61442 55 | 0.003 % |
881.64/882.24 c | 1324940 | 180 15300 107100 | 2147483647 61816 55 | 0.003 % |
881.94/882.60 c | 1325349 | 180 15300 107100 | 2147483647 62225 55 | 0.003 % |
882.34/882.96 c | 1325800 | 180 15300 107100 | 2147483647 62676 55 | 0.003 % |
882.74/883.33 c | 1326295 | 180 15300 107100 | 2147483647 63171 55 | 0.003 % |
883.04/883.67 c | 1326837 | 180 15300 107100 | 2147483647 63713 55 | 0.003 % |
883.44/884.06 c | 1327437 | 180 15300 107100 | 2147483647 64313 55 | 0.003 % |
883.94/884.50 c | 1328092 | 180 15300 107100 | 2147483647 64968 55 | 0.003 % |
884.44/885.09 c | 1328812 | 180 15300 107100 | 2147483647 65688 55 | 0.003 % |
885.14/885.76 c | 1329604 | 180 15300 107100 | 2147483647 66480 55 | 0.003 % |
885.84/886.45 c | 1330475 | 180 15300 107100 | 2147483647 67351 55 | 0.003 % |
886.53/887.14 c | 1331433 | 180 15300 107100 | 2147483647 68309 55 | 0.003 % |
887.23/887.88 c | 1332487 | 180 15300 107100 | 2147483647 69363 54 | 0.003 % |
888.13/888.76 c | 1333645 | 180 15300 107100 | 2147483647 70521 54 | 0.003 % |
889.23/889.80 c | 1334919 | 180 15300 107100 | 2147483647 71795 54 | 0.003 % |
890.32/890.94 c | 1336319 | 180 15300 107100 | 2147483647 73195 54 | 0.003 % |
891.71/892.33 c | 1337863 | 180 15300 107100 | 2147483647 74739 54 | 0.003 % |
893.01/893.67 c | 1339558 | 180 15300 107100 | 2147483647 76434 54 | 0.003 % |
894.61/895.24 c | 1341422 | 180 15300 107100 | 76878 66975 54 | 0.003 % |
896.21/896.80 c | 1343471 | 180 15300 107100 | 76878 69024 55 | 0.003 % |
897.81/898.43 c | 1345724 | 180 15300 107100 | 76878 71277 54 | 0.003 % |
899.71/900.30 c | 1348203 | 180 15300 107100 | 76878 73756 54 | 0.003 % |
901.81/902.44 c | 1350928 | 180 15300 107100 | 75553 65210 54 | 0.003 % |
903.90/904.54 c | 1353927 | 180 15300 107100 | 75553 68209 54 | 0.003 % |
906.30/906.92 c | 1357223 | 180 15300 107100 | 75553 71505 54 | 0.003 % |
909.00/909.66 c | 1360848 | 180 15300 107100 | 74286 65231 54 | 0.003 % |
911.60/912.28 c | 1364836 | 180 15300 107100 | 74286 69219 54 | 0.003 % |
914.61/915.29 c | 1369222 | 180 15300 107100 | 74286 73605 54 | 0.003 % |
917.70/918.34 c | 1374045 | 180 15300 107100 | 64680 60286 54 | 0.003 % |
921.20/921.85 c | 1379351 | 180 15300 107100 | 64680 58807 54 | 0.003 % |
924.40/925.02 c | 1385186 | 180 15300 107100 | 59456 58606 54 | 0.003 % |
927.80/928.45 c | 1391604 | 180 15300 107100 | 2147483647 59071 54 | 0.003 % |
931.99/932.61 c | 1398663 | 180 15300 107100 | 2147483647 66130 54 | 0.003 % |
937.09/937.74 c | 1406430 | 180 15300 107100 | 2147483647 73897 54 | 0.003 % |
942.89/943.56 c | 1414970 | 180 15300 107100 | 77468 72466 54 | 0.003 % |
949.39/950.05 c | 1424364 | 180 15300 107100 | 77496 72159 54 | 0.003 % |
956.49/957.19 c | 1434697 | 180 15300 107100 | 67756 63688 54 | 0.003 % |
963.38/964.03 c | 1446065 | 180 15300 107100 | 61940 61716 55 | 0.003 % |
969.78/970.44 c | 1458568 | 180 15300 107100 | 2147483647 68016 55 | 0.003 % |
969.88/970.53 c | 1458670 | 180 15300 107100 | 2147483647 68118 55 | 0.003 % |
969.98/970.61 c | 1458781 | 180 15300 107100 | 2147483647 68229 55 | 0.003 % |
969.98/970.70 c | 1458904 | 180 15300 107100 | 2147483647 68352 55 | 0.003 % |
970.08/970.79 c | 1459038 | 180 15300 107100 | 2147483647 68486 55 | 0.003 % |
970.28/970.90 c | 1459184 | 180 15300 107100 | 2147483647 68632 55 | 0.003 % |
970.38/971.01 c | 1459344 | 180 15300 107100 | 2147483647 68792 55 | 0.003 % |
970.48/971.13 c | 1459523 | 180 15300 107100 | 2147483647 68971 55 | 0.003 % |
970.58/971.30 c | 1459717 | 180 15300 107100 | 2147483647 69165 55 | 0.003 % |
970.79/971.47 c | 1459929 | 180 15300 107100 | 2147483647 69377 55 | 0.003 % |
970.98/971.65 c | 1460162 | 180 15300 107100 | 2147483647 69610 55 | 0.003 % |
971.18/971.84 c | 1460419 | 180 15300 107100 | 2147483647 69867 55 | 0.003 % |
971.38/972.06 c | 1460700 | 180 15300 107100 | 2147483647 70148 55 | 0.003 % |
971.68/972.31 c | 1461009 | 180 15300 107100 | 2147483647 70457 55 | 0.003 % |
971.89/972.57 c | 1461348 | 180 15300 107100 | 2147483647 70796 55 | 0.003 % |
972.18/972.86 c | 1461722 | 180 15300 107100 | 2147483647 71170 55 | 0.003 % |
972.48/973.15 c | 1462131 | 180 15300 107100 | 2147483647 71579 55 | 0.003 % |
972.78/973.47 c | 1462581 | 180 15300 107100 | 2147483647 72029 55 | 0.003 % |
973.18/973.82 c | 1463074 | 180 15300 107100 | 2147483647 72522 55 | 0.003 % |
973.58/974.25 c | 1463616 | 180 15300 107100 | 2147483647 73064 55 | 0.003 % |
973.98/974.68 c | 1464212 | 180 15300 107100 | 2147483647 73660 55 | 0.003 % |
974.58/975.23 c | 1464868 | 180 15300 107100 | 2147483647 74316 55 | 0.003 % |
975.08/975.79 c | 1465588 | 180 15300 107100 | 2147483647 75036 55 | 0.003 % |
975.78/976.47 c | 1466380 | 180 15300 107100 | 2147483647 75828 55 | 0.003 % |
976.67/977.34 c | 1467251 | 180 15300 107100 | 2147483647 76699 55 | 0.003 % |
977.47/978.13 c | 1468209 | 180 15300 107100 | 2147483647 77657 55 | 0.003 % |
978.27/978.97 c | 1469265 | 180 15300 107100 | 2147483647 78713 55 | 0.003 % |
979.27/979.98 c | 1470425 | 180 15300 107100 | 79448 67220 55 | 0.003 % |
980.17/980.80 c | 1471699 | 180 15300 107100 | 79448 68494 55 | 0.003 % |
981.17/981.84 c | 1473099 | 180 15300 107100 | 79448 69894 55 | 0.003 % |
982.27/982.99 c | 1474639 | 180 15300 107100 | 79448 71434 55 | 0.003 % |
983.57/984.27 c | 1476333 | 180 15300 107100 | 79448 73128 55 | 0.003 % |
984.87/985.57 c | 1478197 | 180 15300 107100 | 79448 74992 54 | 0.003 % |
986.57/987.24 c | 1480248 | 180 15300 107100 | 76795 65653 54 | 0.003 % |
988.16/988.83 c | 1482502 | 180 15300 107100 | 76795 67907 54 | 0.003 % |
989.96/990.64 c | 1484981 | 180 15300 107100 | 76795 70386 54 | 0.003 % |
991.86/992.54 c | 1487706 | 180 15300 107100 | 76795 73111 54 | 0.003 % |
994.06/994.78 c | 1490703 | 180 15300 107100 | 75405 65361 54 | 0.003 % |
996.36/997.00 c | 1494001 | 180 15300 107100 | 75405 68659 54 | 0.003 % |
999.16/999.85 c | 1497628 | 180 15300 107100 | 75405 72286 54 | 0.003 % |
1002.16/1002.88 c | 1501615 | 180 15300 107100 | 74658 65220 54 | 0.003 % |
1005.36/1006.06 c | 1506000 | 180 15300 107100 | 74658 69605 54 | 0.003 % |
1009.16/1009.90 c | 1510823 | 180 15300 107100 | 73605 63853 54 | 0.003 % |
1013.16/1013.81 c | 1516129 | 180 15300 107100 | 73605 69159 54 | 0.003 % |
1017.16/1017.85 c | 1521966 | 180 15300 107100 | 73031 64550 53 | 0.003 % |
1021.45/1022.18 c | 1528385 | 180 15300 107100 | 73031 70969 54 | 0.003 % |
1026.15/1026.85 c | 1535445 | 180 15300 107100 | 72584 68397 54 | 0.003 % |
1031.55/1032.21 c | 1543210 | 180 15300 107100 | 63859 59175 54 | 0.003 % |
1036.34/1037.00 c | 1551751 | 180 15300 107100 | 2147483647 61322 54 | 0.003 % |
1042.34/1043.04 c | 1561146 | 180 15300 107100 | 2147483647 70717 54 | 0.003 % |
1049.84/1050.50 c | 1571479 | 180 15300 107100 | 79571 70360 54 | 0.003 % |
1058.24/1058.98 c | 1582846 | 180 15300 107100 | 78881 70340 54 | 0.003 % |
1068.13/1068.87 c | 1595349 | 180 15300 107100 | 77495 71625 54 | 0.003 % |
1078.13/1078.82 c | 1609101 | 180 15300 107100 | 76277 74744 54 | 0.003 % |
1078.23/1078.91 c | 1609201 | 180 15300 107100 | 76277 74844 54 | 0.003 % |
1078.33/1079.00 c | 1609311 | 180 15300 107100 | 76277 74954 54 | 0.003 % |
1078.43/1079.11 c | 1609433 | 180 15300 107100 | 76277 75076 54 | 0.003 % |
1078.53/1079.25 c | 1609566 | 180 15300 107100 | 76277 75209 54 | 0.003 % |
1078.63/1079.38 c | 1609712 | 180 15300 107100 | 76277 75355 54 | 0.003 % |
1078.83/1079.53 c | 1609873 | 180 15300 107100 | 76277 75516 54 | 0.003 % |
1078.93/1079.68 c | 1610050 | 180 15300 107100 | 75644 75693 54 | 0.003 % |
1079.12/1079.88 c | 1610243 | 180 15300 107100 | 75644 65254 54 | 0.003 % |
1079.32/1080.00 c | 1610455 | 180 15300 107100 | 75644 65466 54 | 0.003 % |
1079.42/1080.15 c | 1610689 | 180 15300 107100 | 75644 65700 54 | 0.003 % |
1079.63/1080.32 c | 1610945 | 180 15300 107100 | 75644 65956 54 | 0.003 % |
1079.82/1080.54 c | 1611227 | 180 15300 107100 | 75644 66238 54 | 0.003 % |
1080.02/1080.77 c | 1611538 | 180 15300 107100 | 75644 66549 54 | 0.003 % |
1080.32/1081.02 c | 1611878 | 180 15300 107100 | 75644 66889 54 | 0.003 % |
1080.52/1081.30 c | 1612252 | 180 15300 107100 | 75644 67263 54 | 0.003 % |
1080.83/1081.60 c | 1612661 | 180 15300 107100 | 75644 67672 54 | 0.003 % |
1081.23/1081.96 c | 1613110 | 180 15300 107100 | 75644 68121 54 | 0.003 % |
1081.63/1082.32 c | 1613604 | 180 15300 107100 | 75644 68615 54 | 0.003 % |
1082.02/1082.74 c | 1614146 | 180 15300 107100 | 75644 69157 54 | 0.003 % |
1082.42/1083.11 c | 1614744 | 180 15300 107100 | 75644 69755 54 | 0.003 % |
1082.93/1083.62 c | 1615401 | 180 15300 107100 | 75644 70412 54 | 0.003 % |
1083.42/1084.14 c | 1616122 | 180 15300 107100 | 75644 71133 54 | 0.003 % |
1083.93/1084.70 c | 1616916 | 180 15300 107100 | 75644 71927 54 | 0.003 % |
1084.62/1085.35 c | 1617788 | 180 15300 107100 | 75644 72799 54 | 0.003 % |
1085.32/1086.04 c | 1618748 | 180 15300 107100 | 75644 73759 54 | 0.003 % |
1086.02/1086.79 c | 1619802 | 180 15300 107100 | 75644 74813 54 | 0.003 % |
1086.92/1087.65 c | 1620962 | 180 15300 107100 | 75011 65402 54 | 0.003 % |
1087.72/1088.43 c | 1622235 | 180 15300 107100 | 75011 66675 53 | 0.003 % |
1088.62/1089.31 c | 1623635 | 180 15300 107100 | 75011 68075 53 | 0.003 % |
1089.53/1090.28 c | 1625175 | 180 15300 107100 | 75011 69615 53 | 0.003 % |
1090.63/1091.35 c | 1626869 | 180 15300 107100 | 75011 71309 53 | 0.003 % |
1092.02/1092.72 c | 1628732 | 180 15300 107100 | 75011 73172 54 | 0.003 % |
1093.52/1094.22 c | 1630782 | 180 15300 107100 | 74441 65811 54 | 0.003 % |
1095.12/1095.89 c | 1633035 | 180 15300 107100 | 74441 68064 54 | 0.003 % |
1097.02/1097.77 c | 1635513 | 180 15300 107100 | 74441 70542 54 | 0.003 % |
1099.02/1099.76 c | 1638238 | 180 15300 107100 | 74441 73267 54 | 0.003 % |
1101.02/1101.79 c | 1641238 | 180 15300 107100 | 64176 56245 54 | 0.003 % |
1102.92/1103.61 c | 1644537 | 180 15300 107100 | 64176 59544 54 | 0.003 % |
1105.12/1105.89 c | 1648163 | 180 15300 107100 | 64176 63170 54 | 0.003 % |
1107.32/1108.08 c | 1652151 | 180 15300 107100 | 2147483647 60732 54 | 0.003 % |
1109.92/1110.61 c | 1656536 | 180 15300 107100 | 2147483647 65117 54 | 0.003 % |
1113.01/1113.72 c | 1661361 | 180 15300 107100 | 2147483647 69942 54 | 0.003 % |
1116.61/1117.35 c | 1666666 | 180 15300 107100 | 2147483647 75247 54 | 0.003 % |
1120.91/1121.66 c | 1672501 | 180 15300 107100 | 78581 69887 54 | 0.003 % |
1125.71/1126.47 c | 1678919 | 180 15300 107100 | 78581 76305 54 | 0.003 % |
1130.50/1131.22 c | 1685979 | 180 15300 107100 | 77388 71002 54 | 0.003 % |
1135.61/1136.34 c | 1693743 | 180 15300 107100 | 75024 67940 54 | 0.003 % |
1141.20/1141.96 c | 1702283 | 180 15300 107100 | 74199 66469 54 | 0.003 % |
1148.00/1148.73 c | 1711678 | 180 15300 107100 | 74187 65512 54 | 0.003 % |
1154.30/1155.04 c | 1722012 | 180 15300 107100 | 73836 66900 54 | 0.003 % |
1161.49/1162.22 c | 1733379 | 180 15300 107100 | 65281 60336 55 | 0.003 % |
1168.89/1169.69 c | 1745881 | 180 15300 107100 | 2147483647 66187 55 | 0.003 % |
1177.99/1178.75 c | 1759633 | 180 15300 107100 | 70306 64506 55 | 0.003 % |
1187.58/1188.35 c | 1774761 | 180 15300 107100 | 2147483647 65983 55 | 0.003 % |
1187.68/1188.43 c | 1774861 | 180 15300 107100 | 2147483647 66083 55 | 0.003 % |
1187.78/1188.51 c | 1774973 | 180 15300 107100 | 2147483647 66195 55 | 0.003 % |
1187.78/1188.58 c | 1775095 | 180 15300 107100 | 2147483647 66317 55 | 0.003 % |
1187.98/1188.71 c | 1775229 | 180 15300 107100 | 2147483647 66451 55 | 0.003 % |
1188.08/1188.81 c | 1775375 | 180 15300 107100 | 2147483647 66597 55 | 0.003 % |
1188.18/1188.94 c | 1775535 | 180 15300 107100 | 2147483647 66757 55 | 0.003 % |
1188.28/1189.09 c | 1775712 | 180 15300 107100 | 2147483647 66934 55 | 0.003 % |
1188.49/1189.24 c | 1775906 | 180 15300 107100 | 2147483647 67128 55 | 0.003 % |
1188.68/1189.41 c | 1776119 | 180 15300 107100 | 2147483647 67341 55 | 0.003 % |
1188.88/1189.63 c | 1776353 | 180 15300 107100 | 2147483647 67575 55 | 0.003 % |
1189.08/1189.85 c | 1776612 | 180 15300 107100 | 2147483647 67834 55 | 0.003 % |
1189.28/1190.09 c | 1776893 | 180 15300 107100 | 2147483647 68115 55 | 0.003 % |
1189.59/1190.31 c | 1777202 | 180 15300 107100 | 2147483647 68424 55 | 0.003 % |
1189.78/1190.56 c | 1777541 | 180 15300 107100 | 2147483647 68763 55 | 0.003 % |
1190.08/1190.88 c | 1777913 | 180 15300 107100 | 2147483647 69135 55 | 0.003 % |
1190.38/1191.18 c | 1778322 | 180 15300 107100 | 2147483647 69544 55 | 0.003 % |
1190.78/1191.54 c | 1778772 | 180 15300 107100 | 2147483647 69994 55 | 0.003 % |
1191.18/1191.93 c | 1779268 | 180 15300 107100 | 2147483647 70490 55 | 0.003 % |
1191.58/1192.37 c | 1779810 | 180 15300 107100 | 2147483647 71032 55 | 0.003 % |
1192.18/1192.92 c | 1780408 | 180 15300 107100 | 71222 62920 55 | 0.003 % |
1192.58/1193.36 c | 1781063 | 180 15300 107100 | 71222 63575 55 | 0.003 % |
1193.18/1193.94 c | 1781783 | 180 15300 107100 | 71222 64295 55 | 0.003 % |
1193.78/1194.58 c | 1782576 | 180 15300 107100 | 71222 65088 55 | 0.003 % |
1194.58/1195.36 c | 1783448 | 180 15300 107100 | 71222 65960 55 | 0.003 % |
1195.38/1196.18 c | 1784408 | 180 15300 107100 | 71222 66920 55 | 0.003 % |
1196.18/1196.97 c | 1785461 | 180 15300 107100 | 71222 67973 55 | 0.003 % |
1196.98/1197.76 c | 1786620 | 180 15300 107100 | 71222 69132 55 | 0.003 % |
1197.88/1198.68 c | 1787894 | 180 15300 107100 | 71222 70406 55 | 0.003 % |
1198.88/1199.64 c | 1789295 | 180 15300 107100 | 71222 62218 55 | 0.003 % |
1199.88/1200.63 c | 1790838 | 180 15300 107100 | 62926 55695 55 | 0.003 % |
1200.08/1200.80 HOME/SatELiteGTI: line 36: 13929 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-1832587-1242784886/watcher-1832587-1242784886 -o /tmp/evaluation-result-1832587-1242784886/solver-1832587-1242784886 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832587-1242784886.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13923
/proc/meminfo: memFree=1829488/2055920 swapFree=4180408/4192956
[pid=13923] ppid=13921 vsize=5356 CPUtime=0
/proc/13923/stat : 13923 (SatELiteGTI) S 13921 13923 13568 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306516070 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 273653923922 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/13923/statm: 1339 235 195 169 0 50 0
[pid=13924] ppid=13923 vsize=5356 CPUtime=0
/proc/13924/stat : 13924 (SatELiteGTI) R 13923 13923 13568 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 306516071 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/13924/statm: 1339 238 198 169 0 50 0
[pid=13926] ppid=13924 vsize=0 CPUtime=0
/proc/13926/stat : 13926 (sed) Z 13924 13923 13568 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 306516071 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/13926/statm: 0 0 0 0 0 0 0
[startup+0.105089 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13923
/proc/meminfo: memFree=1829488/2055920 swapFree=4180408/4192956
[pid=13923] ppid=13921 vsize=5356 CPUtime=0.05
/proc/13923/stat : 13923 (SatELiteGTI) S 13921 13923 13568 0 -1 4194304 336 707 0 0 0 0 4 1 16 0 1 0 306516070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13923/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356
[startup+0.20109 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13923
/proc/meminfo: memFree=1829488/2055920 swapFree=4180408/4192956
[pid=13923] ppid=13921 vsize=5356 CPUtime=0.05
/proc/13923/stat : 13923 (SatELiteGTI) S 13921 13923 13568 0 -1 4194304 336 707 0 0 0 0 4 1 16 0 1 0 306516070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13923/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356
[startup+0.301097 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13923
/proc/meminfo: memFree=1829488/2055920 swapFree=4180408/4192956
[pid=13923] ppid=13921 vsize=5356 CPUtime=0.05
/proc/13923/stat : 13923 (SatELiteGTI) S 13921 13923 13568 0 -1 4194304 336 707 0 0 0 0 4 1 16 0 1 0 306516070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13923/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356
[startup+0.701122 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13923
/proc/meminfo: memFree=1829488/2055920 swapFree=4180408/4192956
[pid=13923] ppid=13921 vsize=5356 CPUtime=0.05
/proc/13923/stat : 13923 (SatELiteGTI) S 13921 13923 13568 0 -1 4194304 336 707 0 0 0 0 4 1 16 0 1 0 306516070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13923/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356
[startup+1.50118 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13929
/proc/meminfo: memFree=1825888/2055920 swapFree=4180408/4192956
[pid=13923] ppid=13921 vsize=5356 CPUtime=0.05
/proc/13923/stat : 13923 (SatELiteGTI) S 13921 13923 13568 0 -1 4194304 336 707 0 0 0 0 4 1 16 0 1 0 306516070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13923/statm: 1339 239 197 169 0 50 0
[pid=13929] ppid=13923 vsize=4948 CPUtime=1.42
/proc/13929/stat : 13929 (minisat_static) R 13923 13923 13568 0 -1 4194304 978 0 0 0 142 0 0 0 25 0 1 0 306516077 5066752 964 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/13929/statm: 1237 964 76 171 0 1064 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10304
[startup+3.10128 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13929
/proc/meminfo: memFree=1823904/2055920 swapFree=4180408/4192956
[pid=13923] ppid=13921 vsize=5356 CPUtime=0.05
/proc/13923/stat : 13923 (SatELiteGTI) S 13921 13923 13568 0 -1 4194304 336 707 0 0 0 0 4 1 16 0 1 0 306516070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13923/statm: 1339 239 197 169 0 50 0
[pid=13929] ppid=13923 vsize=7128 CPUtime=3.02
/proc/13929/stat : 13929 (minisat_static) R 13923 13923 13568 0 -1 4194304 1534 0 0 0 301 1 0 0 25 0 1 0 306516077 7299072 1520 1992294400 134512640 135215339 4294956240 18446744073709551615 134528673 0 0 4096 3 0 0 0 17 0 0 0
/proc/13929/statm: 1782 1520 76 171 0 1609 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 12484
[startup+6.3015 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13929
/proc/meminfo: memFree=1820448/2055920 swapFree=4180408/4192956
[pid=13923] ppid=13921 vsize=5356 CPUtime=0.05
/proc/13923/stat : 13923 (SatELiteGTI) S 13921 13923 13568 0 -1 4194304 336 707 0 0 0 0 4 1 16 0 1 0 306516070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13923/statm: 1339 239 197 169 0 50 0
[pid=13929] ppid=13923 vsize=10136 CPUtime=6.21
/proc/13929/stat : 13929 (minisat_static) R 13923 13923 13568 0 -1 4194304 2259 0 0 0 620 1 0 0 25 0 1 0 306516077 10379264 2245 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13929/statm: 2534 2245 76 171 0 2361 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 15492
[startup+12.7029 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13929
/proc/meminfo: memFree=1816288/2055920 swapFree=4180408/4192956
[pid=13923] ppid=13921 vsize=5356 CPUtime=0.05
/proc/13923/stat : 13923 (SatELiteGTI) S 13921 13923 13568 0 -1 4194304 336 707 0 0 0 0 4 1 16 0 1 0 306516070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13923/statm: 1339 239 197 169 0 50 0
[pid=13929] ppid=13923 vsize=13912 CPUtime=12.61
/proc/13929/stat : 13929 (minisat_static) R 13923 13923 13568 0 -1 4194304 3208 0 0 0 1259 2 0 0 25 0 1 0 306516077 14245888 3194 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13929/statm: 3478 3194 76 171 0 3305 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 19268
[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13929
/proc/meminfo: memFree=1811104/2055920 swapFree=4180408/4192956
[pid=13923] ppid=13921 vsize=5356 CPUtime=0.05
/proc/13923/stat : 13923 (SatELiteGTI) S 13921 13923 13568 0 -1 4194304 336 707 0 0 0 0 4 1 16 0 1 0 306516070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13923/statm: 1339 239 197 169 0 50 0
[pid=13929] ppid=13923 vsize=18932 CPUtime=25.4
/proc/13929/stat : 13929 (minisat_static) R 13923 13923 13568 0 -1 4194304 4473 0 0 0 2537 3 0 0 25 0 1 0 306516077 19386368 4459 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/13929/statm: 4733 4459 76 171 0 4560 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 24288
[startup+51.1015 s]
/proc/loadavg: 1.13 1.03 1.01 2/66 14405
/proc/meminfo: memFree=1765416/2055920 swapFree=4180408/4192956
[pid=13923] ppid=13921 vsize=5356 CPUtime=0.05
/proc/13923/stat : 13923 (SatELiteGTI) S 13921 13923 13568 0 -1 4194304 336 707 0 0 0 0 4 1 16 0 1 0 306516070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13923/statm: 1339 239 197 169 0 50 0
[pid=13929] ppid=13923 vsize=21584 CPUtime=50.9
/proc/13929/stat : 13929 (minisat_static) R 13923 13923 13568 0 -1 4194304 5134 0 0 0 5083 7 0 0 25 0 1 0 306516077 22102016 5120 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13929/statm: 5396 5120 76 171 0 5223 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 26940
[startup+102.302 s]
/proc/loadavg: 1.05 1.02 1.00 2/66 14405
/proc/meminfo: memFree=1765280/2055920 swapFree=4180408/4192956
[pid=13923] ppid=13921 vsize=5356 CPUtime=0.05
/proc/13923/stat : 13923 (SatELiteGTI) S 13921 13923 13568 0 -1 4194304 336 707 0 0 0 0 4 1 16 0 1 0 306516070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13923/statm: 1339 239 197 169 0 50 0
[pid=13929] ppid=13923 vsize=22244 CPUtime=102.08
/proc/13929/stat : 13929 (minisat_static) R 13923 13923 13568 0 -1 4194304 5302 0 0 0 10200 8 0 0 25 0 1 0 306516077 22777856 5288 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13929/statm: 5561 5288 76 171 0 5388 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 27600
[startup+162.302 s]
/proc/loadavg: 1.02 1.02 1.00 2/66 14405
/proc/meminfo: memFree=1765152/2055920 swapFree=4180408/4192956
[pid=13923] ppid=13921 vsize=5356 CPUtime=0.05
/proc/13923/stat : 13923 (SatELiteGTI) S 13921 13923 13568 0 -1 4194304 336 707 0 0 0 0 4 1 16 0 1 0 306516070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13923/statm: 1339 239 197 169 0 50 0
[pid=13929] ppid=13923 vsize=22244 CPUtime=162.05
/proc/13929/stat : 13929 (minisat_static) R 13923 13923 13568 0 -1 4194304 5302 0 0 0 16197 8 0 0 25 0 1 0 306516077 22777856 5288 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/13929/statm: 5561 5288 76 171 0 5388 0
Current children cumulated CPU time (s) 162.1
Current children cumulated vsize (KiB) 27600
[startup+222.306 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 14405
/proc/meminfo: memFree=1764192/2055920 swapFree=4180408/4192956
[pid=13923] ppid=13921 vsize=5356 CPUtime=0.05
/proc/13923/stat : 13923 (SatELiteGTI) S 13921 13923 13568 0 -1 4194304 336 707 0 0 0 0 4 1 16 0 1 0 306516070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13923/statm: 1339 239 197 169 0 50 0
[pid=13929] ppid=13923 vsize=23168 CPUtime=222.02
/proc/13929/stat : 13929 (minisat_static) R 13923 13923 13568 0 -1 4194304 5521 0 0 0 22193 9 0 0 25 0 1 0 306516077 23724032 5507 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 0 0 0
/proc/13929/statm: 5792 5507 76 171 0 5619 0
Current children cumulated CPU time (s) 222.07
Current children cumulated vsize (KiB) 28524
[startup+282.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 14405
/proc/meminfo: memFree=1762976/2055920 swapFree=4180408/4192956
[pid=13923] ppid=13921 vsize=5356 CPUtime=0.05
/proc/13923/stat : 13923 (SatELiteGTI) S 13921 13923 13568 0 -1 4194304 336 707 0 0 0 0 4 1 16 0 1 0 306516070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13923/statm: 1339 239 197 169 0 50 0
[pid=13929] ppid=13923 vsize=24240 CPUtime=281.99
/proc/13929/stat : 13929 (minisat_static) R 13923 13923 13568 0 -1 4194304 5801 0 0 0 28190 9 0 0 25 0 1 0 306516077 24821760 5787 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13929/statm: 6060 5787 76 171 0 5887 0
Current children cumulated CPU time (s) 282.04
Current children cumulated vsize (KiB) 29596
[startup+342.302 s]
/proc/loadavg: 1.04 1.02 1.00 2/66 14405
/proc/meminfo: memFree=1762848/2055920 swapFree=4180408/4192956
[pid=13923] ppid=13921 vsize=5356 CPUtime=0.05
/proc/13923/stat : 13923 (SatELiteGTI) S 13921 13923 13568 0 -1 4194304 336 707 0 0 0 0 4 1 16 0 1 0 306516070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13923/statm: 1339 239 197 169 0 50 0
[pid=13929] ppid=13923 vsize=24240 CPUtime=341.95
/proc/13929/stat : 13929 (minisat_static) R 13923 13923 13568 0 -1 4194304 5801 0 0 0 34186 9 0 0 25 0 1 0 306516077 24821760 5787 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13929/statm: 6060 5787 76 171 0 5887 0
Current children cumulated CPU time (s) 342
Current children cumulated vsize (KiB) 29596
[startup+402.302 s]
/proc/loadavg: 1.14 1.06 1.01 2/66 14405
/proc/meminfo: memFree=1762720/2055920 swapFree=4180408/4192956
[pid=13923] ppid=13921 vsize=5356 CPUtime=0.05
/proc/13923/stat : 13923 (SatELiteGTI) S 13921 13923 13568 0 -1 4194304 336 707 0 0 0 0 4 1 16 0 1 0 306516070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13923/statm: 1339 239 197 169 0 50 0
[pid=13929] ppid=13923 vsize=24240 CPUtime=401.92
################
# More data... #
################
[pid=13929] ppid=13923 vsize=24916 CPUtime=521.86
/proc/13929/stat : 13929 (minisat_static) R 13923 13923 13568 0 -1 4194304 5965 0 0 0 52176 10 0 0 25 0 1 0 306516077 25513984 5951 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/13929/statm: 6229 5951 76 171 0 6056 0
Current children cumulated CPU time (s) 521.91
Current children cumulated vsize (KiB) 30272
[startup+582.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 14405
/proc/meminfo: memFree=1761888/2055920 swapFree=4180408/4192956
[pid=13923] ppid=13921 vsize=5356 CPUtime=0.05
/proc/13923/stat : 13923 (SatELiteGTI) S 13921 13923 13568 0 -1 4194304 336 707 0 0 0 0 4 1 16 0 1 0 306516070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13923/statm: 1339 239 197 169 0 50 0
[pid=13929] ppid=13923 vsize=24916 CPUtime=581.81
/proc/13929/stat : 13929 (minisat_static) R 13923 13923 13568 0 -1 4194304 5965 0 0 0 58171 10 0 0 25 0 1 0 306516077 25513984 5951 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13929/statm: 6229 5951 76 171 0 6056 0
Current children cumulated CPU time (s) 581.86
Current children cumulated vsize (KiB) 30272
[startup+642.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 14405
/proc/meminfo: memFree=1761760/2055920 swapFree=4180408/4192956
[pid=13923] ppid=13921 vsize=5356 CPUtime=0.05
/proc/13923/stat : 13923 (SatELiteGTI) S 13921 13923 13568 0 -1 4194304 336 707 0 0 0 0 4 1 16 0 1 0 306516070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13923/statm: 1339 239 197 169 0 50 0
[pid=13929] ppid=13923 vsize=24916 CPUtime=641.79
/proc/13929/stat : 13929 (minisat_static) R 13923 13923 13568 0 -1 4194304 5965 0 0 0 64169 10 0 0 25 0 1 0 306516077 25513984 5951 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13929/statm: 6229 5951 76 171 0 6056 0
Current children cumulated CPU time (s) 641.84
Current children cumulated vsize (KiB) 30272
[startup+702.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 14405
/proc/meminfo: memFree=1761504/2055920 swapFree=4180408/4192956
[pid=13923] ppid=13921 vsize=5356 CPUtime=0.05
/proc/13923/stat : 13923 (SatELiteGTI) S 13921 13923 13568 0 -1 4194304 336 707 0 0 0 0 4 1 16 0 1 0 306516070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13923/statm: 1339 239 197 169 0 50 0
[pid=13929] ppid=13923 vsize=24916 CPUtime=701.75
/proc/13929/stat : 13929 (minisat_static) R 13923 13923 13568 0 -1 4194304 5965 0 0 0 70165 10 0 0 25 0 1 0 306516077 25513984 5951 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/13929/statm: 6229 5951 76 171 0 6056 0
Current children cumulated CPU time (s) 701.8
Current children cumulated vsize (KiB) 30272
[startup+762.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 14405
/proc/meminfo: memFree=1761376/2055920 swapFree=4180408/4192956
[pid=13923] ppid=13921 vsize=5356 CPUtime=0.05
/proc/13923/stat : 13923 (SatELiteGTI) S 13921 13923 13568 0 -1 4194304 336 707 0 0 0 0 4 1 16 0 1 0 306516070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13923/statm: 1339 239 197 169 0 50 0
[pid=13929] ppid=13923 vsize=24916 CPUtime=761.73
/proc/13929/stat : 13929 (minisat_static) R 13923 13923 13568 0 -1 4194304 5965 0 0 0 76163 10 0 0 25 0 1 0 306516077 25513984 5951 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13929/statm: 6229 5951 76 171 0 6056 0
Current children cumulated CPU time (s) 761.78
Current children cumulated vsize (KiB) 30272
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14405
/proc/meminfo: memFree=1761248/2055920 swapFree=4180408/4192956
[pid=13923] ppid=13921 vsize=5356 CPUtime=0.05
/proc/13923/stat : 13923 (SatELiteGTI) S 13921 13923 13568 0 -1 4194304 336 707 0 0 0 0 4 1 16 0 1 0 306516070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13923/statm: 1339 239 197 169 0 50 0
[pid=13929] ppid=13923 vsize=24916 CPUtime=821.7
/proc/13929/stat : 13929 (minisat_static) R 13923 13923 13568 0 -1 4194304 5965 0 0 0 82160 10 0 0 25 0 1 0 306516077 25513984 5951 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13929/statm: 6229 5951 76 171 0 6056 0
Current children cumulated CPU time (s) 821.75
Current children cumulated vsize (KiB) 30272
[startup+882.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14405
/proc/meminfo: memFree=1761120/2055920 swapFree=4180408/4192956
[pid=13923] ppid=13921 vsize=5356 CPUtime=0.05
/proc/13923/stat : 13923 (SatELiteGTI) S 13921 13923 13568 0 -1 4194304 336 707 0 0 0 0 4 1 16 0 1 0 306516070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13923/statm: 1339 239 197 169 0 50 0
[pid=13929] ppid=13923 vsize=24916 CPUtime=881.69
/proc/13929/stat : 13929 (minisat_static) R 13923 13923 13568 0 -1 4194304 5965 0 0 0 88158 11 0 0 25 0 1 0 306516077 25513984 5951 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/13929/statm: 6229 5951 76 171 0 6056 0
Current children cumulated CPU time (s) 881.74
Current children cumulated vsize (KiB) 30272
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14405
/proc/meminfo: memFree=1760736/2055920 swapFree=4180408/4192956
[pid=13923] ppid=13921 vsize=5356 CPUtime=0.05
/proc/13923/stat : 13923 (SatELiteGTI) S 13921 13923 13568 0 -1 4194304 336 707 0 0 0 0 4 1 16 0 1 0 306516070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13923/statm: 1339 239 197 169 0 50 0
[pid=13929] ppid=13923 vsize=25312 CPUtime=941.64
/proc/13929/stat : 13929 (minisat_static) R 13923 13923 13568 0 -1 4194304 6075 0 0 0 94153 11 0 0 25 0 1 0 306516077 25919488 6061 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13929/statm: 6328 6061 76 171 0 6155 0
Current children cumulated CPU time (s) 941.69
Current children cumulated vsize (KiB) 30668
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14405
/proc/meminfo: memFree=1759840/2055920 swapFree=4180408/4192956
[pid=13923] ppid=13921 vsize=5356 CPUtime=0.05
/proc/13923/stat : 13923 (SatELiteGTI) S 13921 13923 13568 0 -1 4194304 336 707 0 0 0 0 4 1 16 0 1 0 306516070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13923/statm: 1339 239 197 169 0 50 0
[pid=13929] ppid=13923 vsize=26124 CPUtime=1001.61
/proc/13929/stat : 13929 (minisat_static) R 13923 13923 13568 0 -1 4194304 6268 0 0 0 100150 11 0 0 25 0 1 0 306516077 26750976 6254 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13929/statm: 6531 6254 76 171 0 6358 0
Current children cumulated CPU time (s) 1001.66
Current children cumulated vsize (KiB) 31480
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14405
/proc/meminfo: memFree=1759712/2055920 swapFree=4180408/4192956
[pid=13923] ppid=13921 vsize=5356 CPUtime=0.05
/proc/13923/stat : 13923 (SatELiteGTI) S 13921 13923 13568 0 -1 4194304 336 707 0 0 0 0 4 1 16 0 1 0 306516070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13923/statm: 1339 239 197 169 0 50 0
[pid=13929] ppid=13923 vsize=26124 CPUtime=1061.59
/proc/13929/stat : 13929 (minisat_static) R 13923 13923 13568 0 -1 4194304 6268 0 0 0 106148 11 0 0 25 0 1 0 306516077 26750976 6254 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13929/statm: 6531 6254 76 171 0 6358 0
Current children cumulated CPU time (s) 1061.64
Current children cumulated vsize (KiB) 31480
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14405
/proc/meminfo: memFree=1759520/2055920 swapFree=4180408/4192956
[pid=13923] ppid=13921 vsize=5356 CPUtime=0.05
/proc/13923/stat : 13923 (SatELiteGTI) S 13921 13923 13568 0 -1 4194304 336 707 0 0 0 0 4 1 16 0 1 0 306516070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13923/statm: 1339 239 197 169 0 50 0
[pid=13929] ppid=13923 vsize=26256 CPUtime=1121.56
/proc/13929/stat : 13929 (minisat_static) R 13923 13923 13568 0 -1 4194304 6302 0 0 0 112145 11 0 0 25 0 1 0 306516077 26886144 6288 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/13929/statm: 6564 6288 76 171 0 6391 0
Current children cumulated CPU time (s) 1121.61
Current children cumulated vsize (KiB) 31612
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14405
/proc/meminfo: memFree=1759392/2055920 swapFree=4180408/4192956
[pid=13923] ppid=13921 vsize=5356 CPUtime=0.05
/proc/13923/stat : 13923 (SatELiteGTI) S 13921 13923 13568 0 -1 4194304 336 707 0 0 0 0 4 1 16 0 1 0 306516070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13923/statm: 1339 239 197 169 0 50 0
[pid=13929] ppid=13923 vsize=26256 CPUtime=1181.54
/proc/13929/stat : 13929 (minisat_static) R 13923 13923 13568 0 -1 4194304 6302 0 0 0 118143 11 0 0 25 0 1 0 306516077 26886144 6288 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13929/statm: 6564 6288 76 171 0 6391 0
Current children cumulated CPU time (s) 1181.59
Current children cumulated vsize (KiB) 31612
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14405
/proc/meminfo: memFree=1759328/2055920 swapFree=4180408/4192956
[pid=13923] ppid=13921 vsize=5356 CPUtime=0.05
/proc/13923/stat : 13923 (SatELiteGTI) S 13921 13923 13568 0 -1 4194304 336 707 0 0 0 0 4 1 16 0 1 0 306516070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13923/statm: 1339 239 197 169 0 50 0
[pid=13929] ppid=13923 vsize=26256 CPUtime=1200.03
/proc/13929/stat : 13929 (minisat_static) R 13923 13923 13568 0 -1 4194304 6302 0 0 0 119992 11 0 0 25 0 1 0 306516077 26886144 6288 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/13929/statm: 6564 6288 76 171 0 6391 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 31612
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14405
/proc/meminfo: memFree=1759328/2055920 swapFree=4180408/4192956
[pid=13923] ppid=13921 vsize=5356 CPUtime=0.05
/proc/13923/stat : 13923 (SatELiteGTI) S 13921 13923 13568 0 -1 4194304 336 707 0 0 0 0 4 1 16 0 1 0 306516070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13923/statm: 1339 239 197 169 0 50 0
[pid=13929] ppid=13923 vsize=26256 CPUtime=1200.03
/proc/13929/stat : 13929 (minisat_static) R 13923 13923 13568 0 -1 4194304 6302 0 0 0 119992 11 0 0 25 0 1 0 306516077 26886144 6288 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/13929/statm: 6564 6288 76 171 0 6391 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 31612
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.81
CPU time (s): 1200.11
CPU user time (s): 1199.97
CPU system time (s): 0.139978
CPU usage (%): 99.9415
Max. virtual memory (cumulated for all children) (KiB): 31612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.97
system time used= 0.139978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7354
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= 6146
runsolver used 1.20382 second user time and 3.3015 second system time
The end
Begin job on node52 at 2009-05-20 04:01:26
IDJOB=1832587
IDBENCH=70257
IDSOLVER=671
FILE ID=node52/1832587-1242784886
PBS_JOBID= 9322339
Free space on /tmp= 66140 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/180/unif-k7-r85-v180-c15300-S1352224201-070.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832587-1242784886/watcher-1832587-1242784886 -o /tmp/evaluation-result-1832587-1242784886/solver-1832587-1242784886 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832587-1242784886.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ce4c4bfdd2071e51446dd0a693e805b0
RANDOM SEED=811159218
node52.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.214
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.214
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: 1830032 kB
Buffers: 29204 kB
Cached: 159044 kB
SwapCached: 7048 kB
Active: 36424 kB
Inactive: 161560 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1830032 kB
SwapTotal: 4192956 kB
SwapFree: 4180408 kB
Dirty: 2016 kB
Writeback: 0 kB
Mapped: 13484 kB
Slab: 13892 kB
Committed_AS: 1143720 kB
PageTables: 1500 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= 66136 MiB
End job on node52 at 2009-05-20 04:21:29