0.00/0.00 c Parsing...
0.00/0.03 c ==============================================================================
0.00/0.03 c | | ORIGINAL | LEARNT | |
0.00/0.03 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.03 c ==============================================================================
0.00/0.03 c | 0 | 17000 119000 | 5099 0 0 nan | 0.000 % |
0.00/0.03 c ==============================================================================
0.00/0.03 c Result : #vars: 200 #clauses: 17000 #literals: 119000
0.00/0.03 c CPU time: 0.020996 s
0.00/0.03 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: 200 |
0.00/0.06 c | Number of clauses: 17000 |
0.00/0.08 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 | 200 17000 119000 | 5666 0 nan | 0.000 % |
0.00/0.09 c | 101 | 200 17000 119000 | 5666 101 55 | 0.003 % |
0.05/0.10 c | 201 | 200 17000 119000 | 5666 201 55 | 0.003 % |
0.05/0.11 c | 302 | 200 17000 119000 | 5666 302 57 | 0.003 % |
0.05/0.12 c | 412 | 200 17000 119000 | 5666 412 58 | 0.003 % |
0.05/0.13 c | 512 | 200 17000 119000 | 5666 512 56 | 0.003 % |
0.05/0.14 c | 624 | 200 17000 119000 | 5666 624 57 | 0.003 % |
0.05/0.15 c | 746 | 200 17000 119000 | 5666 746 58 | 0.003 % |
0.05/0.16 c | 846 | 200 17000 119000 | 5666 846 58 | 0.003 % |
0.05/0.17 c | 957 | 200 17000 119000 | 5666 957 58 | 0.003 % |
0.05/0.18 c | 1078 | 200 17000 119000 | 5666 1078 58 | 0.003 % |
0.05/0.19 c | 1212 | 200 17000 119000 | 5666 1212 58 | 0.003 % |
0.05/0.20 c | 1312 | 200 17000 119000 | 5666 1312 57 | 0.003 % |
0.05/0.21 c | 1422 | 200 17000 119000 | 5666 1422 57 | 0.003 % |
0.05/0.22 c | 1544 | 200 17000 119000 | 5666 1544 57 | 0.003 % |
0.05/0.24 c | 1678 | 200 17000 119000 | 5666 1678 57 | 0.003 % |
0.05/0.25 c | 1826 | 200 17000 119000 | 5666 1826 57 | 0.003 % |
0.05/0.26 c | 1928 | 200 17000 119000 | 5666 1928 57 | 0.003 % |
0.05/0.27 c | 2040 | 200 17000 119000 | 5666 2040 57 | 0.003 % |
0.05/0.28 c | 2161 | 200 17000 119000 | 5666 2161 57 | 0.003 % |
0.05/0.29 c | 2294 | 200 17000 119000 | 5666 2294 57 | 0.003 % |
0.05/0.31 c | 2441 | 200 17000 119000 | 5666 2441 57 | 0.003 % |
0.05/0.32 c | 2602 | 200 17000 119000 | 5666 2602 57 | 0.003 % |
0.05/0.33 c | 2702 | 200 17000 119000 | 5666 2702 57 | 0.003 % |
0.05/0.34 c | 2814 | 200 17000 119000 | 5666 2814 57 | 0.003 % |
0.05/0.35 c | 2935 | 200 17000 119000 | 5666 2935 57 | 0.003 % |
0.05/0.37 c | 3069 | 200 17000 119000 | 5666 3069 57 | 0.003 % |
0.05/0.38 c | 3215 | 200 17000 119000 | 5666 3215 57 | 0.003 % |
0.05/0.40 c | 3377 | 200 17000 119000 | 5666 3377 57 | 0.003 % |
0.05/0.42 c | 3553 | 200 17000 119000 | 5666 3553 57 | 0.003 % |
0.05/0.44 c | 3653 | 200 17000 119000 | 5666 3653 57 | 0.003 % |
0.05/0.45 c | 3763 | 200 17000 119000 | 5666 3763 57 | 0.003 % |
0.05/0.46 c | 3885 | 200 17000 119000 | 5666 3885 57 | 0.003 % |
0.05/0.48 c | 4019 | 200 17000 119000 | 5666 4019 57 | 0.003 % |
0.05/0.49 c | 4166 | 200 17000 119000 | 5666 4166 57 | 0.003 % |
0.05/0.51 c | 4326 | 200 17000 119000 | 5666 4326 57 | 0.003 % |
0.05/0.53 c | 4502 | 200 17000 119000 | 5666 4502 57 | 0.003 % |
0.05/0.55 c | 4695 | 200 17000 119000 | 5666 4695 57 | 0.003 % |
0.05/0.57 c | 4796 | 200 17000 119000 | 5666 4796 57 | 0.003 % |
0.05/0.58 c | 4906 | 200 17000 119000 | 5666 4906 57 | 0.003 % |
0.05/0.59 c | 5027 | 200 17000 119000 | 5666 5027 57 | 0.003 % |
0.05/0.61 c | 5161 | 200 17000 119000 | 5666 5161 57 | 0.003 % |
0.05/0.63 c | 5307 | 200 17000 119000 | 5666 5307 57 | 0.003 % |
0.05/0.65 c | 5467 | 200 17000 119000 | 5666 5467 57 | 0.003 % |
0.05/0.68 c | 5643 | 200 17000 119000 | 5666 5643 57 | 0.003 % |
0.05/0.70 c | 5836 | 200 17000 119000 | 5666 5262 57 | 0.003 % |
0.05/0.73 c | 6048 | 200 17000 119000 | 5666 5474 57 | 0.003 % |
0.05/0.74 c | 6148 | 200 17000 119000 | 5666 5574 57 | 0.003 % |
0.05/0.75 c | 6262 | 200 17000 119000 | 5666 5688 57 | 0.003 % |
0.05/0.77 c | 6383 | 200 17000 119000 | 5666 5241 57 | 0.003 % |
0.05/0.79 c | 6516 | 200 17000 119000 | 5666 5374 57 | 0.003 % |
0.05/0.80 c | 6662 | 200 17000 119000 | 5666 5520 57 | 0.003 % |
0.05/0.82 c | 6824 | 200 17000 119000 | 5666 5682 57 | 0.003 % |
0.05/0.85 c | 7001 | 200 17000 119000 | 5666 5291 57 | 0.003 % |
0.05/0.87 c | 7194 | 200 17000 119000 | 5666 5484 57 | 0.003 % |
0.05/0.90 c | 7407 | 200 17000 119000 | 5666 5697 56 | 0.003 % |
0.05/0.93 c | 7640 | 200 17000 119000 | 5666 5361 57 | 0.003 % |
0.05/0.94 c | 7741 | 200 17000 119000 | 5666 5462 57 | 0.003 % |
0.05/0.95 c | 7851 | 200 17000 119000 | 5666 5572 56 | 0.003 % |
0.05/0.97 c | 7972 | 200 17000 119000 | 5666 5693 57 | 0.003 % |
0.05/0.99 c | 8105 | 200 17000 119000 | 5666 5257 57 | 0.003 % |
0.98/1.01 c | 8251 | 200 17000 119000 | 5666 5403 57 | 0.003 % |
0.98/1.03 c | 8411 | 200 17000 119000 | 5666 5563 57 | 0.003 % |
0.98/1.05 c | 8588 | 200 17000 119000 | 5666 5740 57 | 0.003 % |
0.98/1.08 c | 8782 | 200 17000 119000 | 5666 5360 56 | 0.003 % |
0.98/1.10 c | 8995 | 200 17000 119000 | 5666 5573 56 | 0.003 % |
1.08/1.13 c | 9229 | 200 17000 119000 | 5666 5233 56 | 0.003 % |
1.08/1.16 c | 9487 | 200 17000 119000 | 5666 5491 56 | 0.003 % |
1.08/1.18 c | 9588 | 200 17000 119000 | 5666 5592 56 | 0.003 % |
1.08/1.19 c | 9698 | 200 17000 119000 | 5666 5702 56 | 0.003 % |
1.17/1.21 c | 9821 | 200 17000 119000 | 5666 5255 56 | 0.003 % |
1.17/1.22 c | 9954 | 200 17000 119000 | 5666 5388 56 | 0.003 % |
1.17/1.24 c | 10100 | 200 17000 119000 | 2147483647 5534 56 | 0.003 % |
1.17/1.26 c | 10260 | 200 17000 119000 | 2147483647 5694 56 | 0.003 % |
1.17/1.28 c | 10438 | 200 17000 119000 | 2147483647 5872 56 | 0.003 % |
1.27/1.31 c | 10633 | 200 17000 119000 | 2147483647 6067 56 | 0.003 % |
1.27/1.33 c | 10845 | 200 17000 119000 | 2147483647 6279 56 | 0.003 % |
1.27/1.36 c | 11079 | 200 17000 119000 | 2147483647 6513 56 | 0.003 % |
1.37/1.40 c | 11336 | 200 17000 119000 | 2147483647 6770 57 | 0.003 % |
1.37/1.43 c | 11617 | 200 17000 119000 | 2147483647 7051 57 | 0.003 % |
1.37/1.45 c | 11719 | 200 17000 119000 | 2147483647 7153 57 | 0.003 % |
1.37/1.46 c | 11829 | 200 17000 119000 | 2147483647 7263 57 | 0.003 % |
1.37/1.48 c | 11950 | 200 17000 119000 | 2147483647 7384 57 | 0.003 % |
1.37/1.50 c | 12083 | 200 17000 119000 | 2147483647 7517 57 | 0.003 % |
1.47/1.52 c | 12229 | 200 17000 119000 | 2147483647 7663 57 | 0.003 % |
1.47/1.54 c | 12391 | 200 17000 119000 | 2147483647 7825 57 | 0.003 % |
1.47/1.57 c | 12567 | 200 17000 119000 | 2147483647 8001 57 | 0.003 % |
1.47/1.59 c | 12763 | 200 17000 119000 | 2147483647 8197 57 | 0.003 % |
1.57/1.62 c | 12976 | 200 17000 119000 | 2147483647 8410 57 | 0.003 % |
1.57/1.65 c | 13213 | 200 17000 119000 | 2147483647 8647 57 | 0.003 % |
1.57/1.69 c | 13472 | 200 17000 119000 | 2147483647 8906 57 | 0.003 % |
1.67/1.73 c | 13753 | 200 17000 119000 | 2147483647 9187 57 | 0.003 % |
1.67/1.78 c | 14063 | 200 17000 119000 | 2147483647 9497 57 | 0.003 % |
1.67/1.79 c | 14165 | 200 17000 119000 | 2147483647 9599 57 | 0.003 % |
1.77/1.81 c | 14276 | 200 17000 119000 | 2147483647 9710 57 | 0.003 % |
1.77/1.83 c | 14397 | 200 17000 119000 | 2147483647 9831 57 | 0.003 % |
1.77/1.85 c | 14530 | 200 17000 119000 | 2147483647 9964 57 | 0.003 % |
1.77/1.88 c | 14677 | 200 17000 119000 | 2147483647 10111 57 | 0.003 % |
1.87/1.90 c | 14837 | 200 17000 119000 | 2147483647 10271 57 | 0.003 % |
1.87/1.93 c | 15016 | 200 17000 119000 | 2147483647 10450 57 | 0.003 % |
1.87/1.96 c | 15209 | 200 17000 119000 | 2147483647 10643 57 | 0.003 % |
1.97/2.00 c | 15421 | 200 17000 119000 | 2147483647 10855 57 | 0.003 % |
1.97/2.04 c | 15656 | 200 17000 119000 | 2147483647 11090 57 | 0.003 % |
1.97/2.09 c | 15913 | 200 17000 119000 | 2147483647 11347 57 | 0.003 % |
2.08/2.13 c | 16194 | 200 17000 119000 | 2147483647 11628 57 | 0.003 % |
2.08/2.19 c | 16503 | 200 17000 119000 | 2147483647 11937 57 | 0.003 % |
2.17/2.24 c | 16842 | 200 17000 119000 | 2147483647 12276 57 | 0.003 % |
2.17/2.26 c | 16943 | 200 17000 119000 | 2147483647 12377 57 | 0.003 % |
2.17/2.29 c | 17053 | 200 17000 119000 | 2147483647 12487 57 | 0.003 % |
2.27/2.31 c | 17175 | 200 17000 119000 | 2147483647 12609 57 | 0.003 % |
2.27/2.33 c | 17308 | 200 17000 119000 | 2147483647 12742 57 | 0.003 % |
2.27/2.36 c | 17454 | 200 17000 119000 | 2147483647 12888 57 | 0.003 % |
2.27/2.39 c | 17614 | 200 17000 119000 | 2147483647 13048 57 | 0.003 % |
2.37/2.42 c | 17790 | 200 17000 119000 | 2147483647 13224 57 | 0.003 % |
2.37/2.45 c | 17983 | 200 17000 119000 | 2147483647 13417 57 | 0.003 % |
2.37/2.49 c | 18195 | 200 17000 119000 | 2147483647 13629 57 | 0.003 % |
2.47/2.53 c | 18430 | 200 17000 119000 | 2147483647 13864 57 | 0.003 % |
2.47/2.58 c | 18686 | 200 17000 119000 | 2147483647 14120 57 | 0.003 % |
2.57/2.63 c | 18969 | 200 17000 119000 | 2147483647 14403 57 | 0.003 % |
2.57/2.69 c | 19279 | 200 17000 119000 | 2147483647 14713 57 | 0.003 % |
2.67/2.77 c | 19618 | 200 17000 119000 | 2147483647 15052 57 | 0.003 % |
2.77/2.84 c | 19991 | 200 17000 119000 | 2147483647 15425 57 | 0.003 % |
2.77/2.86 c | 20091 | 200 17000 119000 | 2147483647 15525 57 | 0.003 % |
2.77/2.89 c | 20201 | 200 17000 119000 | 2147483647 15635 57 | 0.003 % |
2.87/2.92 c | 20324 | 200 17000 119000 | 2147483647 15758 57 | 0.003 % |
2.87/2.95 c | 20457 | 200 17000 119000 | 2147483647 15891 57 | 0.003 % |
2.87/2.99 c | 20603 | 200 17000 119000 | 2147483647 16037 57 | 0.003 % |
2.97/3.02 c | 20763 | 200 17000 119000 | 2147483647 16197 57 | 0.003 % |
2.97/3.06 c | 20940 | 200 17000 119000 | 2147483647 16374 57 | 0.003 % |
3.07/3.11 c | 21134 | 200 17000 119000 | 2147483647 16568 57 | 0.003 % |
3.07/3.16 c | 21347 | 200 17000 119000 | 2147483647 16781 57 | 0.003 % |
3.17/3.21 c | 21580 | 200 17000 119000 | 2147483647 17014 57 | 0.003 % |
3.17/3.27 c | 21837 | 200 17000 119000 | 2147483647 17271 57 | 0.003 % |
3.27/3.34 c | 22120 | 200 17000 119000 | 2147483647 17554 57 | 0.003 % |
3.37/3.41 c | 22430 | 200 17000 119000 | 2147483647 17864 57 | 0.003 % |
3.37/3.49 c | 22769 | 200 17000 119000 | 2147483647 18203 57 | 0.003 % |
3.47/3.58 c | 23141 | 200 17000 119000 | 2147483647 18575 57 | 0.003 % |
3.57/3.68 c | 23550 | 200 17000 119000 | 2147483647 18984 57 | 0.003 % |
3.67/3.71 c | 23650 | 200 17000 119000 | 2147483647 19084 57 | 0.003 % |
3.67/3.73 c | 23761 | 200 17000 119000 | 2147483647 19195 57 | 0.003 % |
3.67/3.77 c | 23883 | 200 17000 119000 | 2147483647 19317 57 | 0.003 % |
3.77/3.80 c | 24016 | 200 17000 119000 | 2147483647 19450 57 | 0.003 % |
3.77/3.85 c | 24162 | 200 17000 119000 | 2147483647 19596 57 | 0.003 % |
3.77/3.89 c | 24323 | 200 17000 119000 | 2147483647 19757 57 | 0.003 % |
3.87/3.94 c | 24499 | 200 17000 119000 | 2147483647 19933 57 | 0.003 % |
3.87/3.99 c | 24693 | 200 17000 119000 | 2147483647 20127 57 | 0.003 % |
3.97/4.05 c | 24906 | 200 17000 119000 | 2147483647 20340 57 | 0.003 % |
4.07/4.11 c | 25139 | 200 17000 119000 | 2147483647 20573 57 | 0.003 % |
4.07/4.18 c | 25395 | 200 17000 119000 | 2147483647 20829 57 | 0.003 % |
4.17/4.24 c | 25676 | 200 17000 119000 | 2147483647 21110 57 | 0.003 % |
4.27/4.32 c | 25988 | 200 17000 119000 | 2147483647 21422 57 | 0.003 % |
4.37/4.42 c | 26327 | 200 17000 119000 | 2147483647 21761 57 | 0.003 % |
4.46/4.52 c | 26701 | 200 17000 119000 | 2147483647 22135 57 | 0.003 % |
4.56/4.63 c | 27110 | 200 17000 119000 | 2147483647 22544 57 | 0.003 % |
4.66/4.74 c | 27559 | 200 17000 119000 | 2147483647 22993 57 | 0.003 % |
4.66/4.78 c | 27659 | 200 17000 119000 | 2147483647 23093 57 | 0.003 % |
4.76/4.82 c | 27769 | 200 17000 119000 | 2147483647 23203 57 | 0.003 % |
4.76/4.86 c | 27890 | 200 17000 119000 | 2147483647 23324 57 | 0.003 % |
4.87/4.90 c | 28026 | 200 17000 119000 | 2147483647 23460 57 | 0.003 % |
4.87/4.95 c | 28172 | 200 17000 119000 | 2147483647 23606 57 | 0.003 % |
4.97/5.00 c | 28332 | 200 17000 119000 | 2147483647 23766 57 | 0.003 % |
4.97/5.06 c | 28508 | 200 17000 119000 | 2147483647 23942 57 | 0.003 % |
5.07/5.13 c | 28703 | 200 17000 119000 | 2147483647 24137 57 | 0.003 % |
5.07/5.19 c | 28915 | 200 17000 119000 | 2147483647 24349 57 | 0.003 % |
5.17/5.27 c | 29148 | 200 17000 119000 | 2147483647 24582 57 | 0.003 % |
5.27/5.35 c | 29404 | 200 17000 119000 | 2147483647 24838 57 | 0.003 % |
5.38/5.44 c | 29686 | 200 17000 119000 | 2147483647 25120 57 | 0.003 % |
5.48/5.54 c | 29995 | 200 17000 119000 | 2147483647 25429 57 | 0.003 % |
5.57/5.65 c | 30334 | 200 17000 119000 | 2147483647 25768 57 | 0.003 % |
5.67/5.77 c | 30707 | 200 17000 119000 | 2147483647 26141 57 | 0.003 % |
5.87/5.90 c | 31116 | 200 17000 119000 | 2147483647 26550 57 | 0.003 % |
5.97/6.05 c | 31565 | 200 17000 119000 | 2147483647 26999 57 | 0.003 % |
6.17/6.23 c | 32060 | 200 17000 119000 | 2147483647 27494 57 | 0.003 % |
6.17/6.26 c | 32160 | 200 17000 119000 | 2147483647 27594 57 | 0.003 % |
6.27/6.31 c | 32270 | 200 17000 119000 | 2147483647 27704 57 | 0.003 % |
6.27/6.35 c | 32391 | 200 17000 119000 | 2147483647 27825 57 | 0.003 % |
6.37/6.40 c | 32524 | 200 17000 119000 | 2147483647 27958 57 | 0.003 % |
6.37/6.45 c | 32670 | 200 17000 119000 | 2147483647 28104 57 | 0.003 % |
6.47/6.51 c | 32832 | 200 17000 119000 | 2147483647 28266 57 | 0.003 % |
6.47/6.58 c | 33008 | 200 17000 119000 | 2147483647 28442 57 | 0.003 % |
6.57/6.66 c | 33201 | 200 17000 119000 | 2147483647 28635 57 | 0.003 % |
6.67/6.73 c | 33413 | 200 17000 119000 | 2147483647 28847 58 | 0.003 % |
6.77/6.81 c | 33646 | 200 17000 119000 | 2147483647 29080 57 | 0.003 % |
6.87/6.91 c | 33902 | 200 17000 119000 | 2147483647 29336 57 | 0.003 % |
6.97/7.01 c | 34183 | 200 17000 119000 | 2147483647 29617 57 | 0.003 % |
7.07/7.12 c | 34493 | 200 17000 119000 | 2147483647 29927 58 | 0.003 % |
7.17/7.23 c | 34834 | 200 17000 119000 | 2147483647 30268 58 | 0.003 % |
7.27/7.37 c | 35208 | 200 17000 119000 | 2147483647 30642 58 | 0.003 % |
7.46/7.52 c | 35617 | 200 17000 119000 | 2147483647 31051 58 | 0.003 % |
7.57/7.68 c | 36068 | 200 17000 119000 | 2147483647 31502 58 | 0.003 % |
7.76/7.89 c | 36561 | 200 17000 119000 | 2147483647 31995 58 | 0.003 % |
8.06/8.12 c | 37104 | 200 17000 119000 | 2147483647 32538 58 | 0.003 % |
8.06/8.16 c | 37205 | 200 17000 119000 | 2147483647 32639 58 | 0.003 % |
8.16/8.21 c | 37315 | 200 17000 119000 | 2147483647 32749 58 | 0.003 % |
8.16/8.26 c | 37436 | 200 17000 119000 | 2147483647 32870 58 | 0.003 % |
8.26/8.31 c | 37570 | 200 17000 119000 | 2147483647 33004 58 | 0.003 % |
8.26/8.38 c | 37717 | 200 17000 119000 | 2147483647 33151 58 | 0.003 % |
8.36/8.46 c | 37878 | 200 17000 119000 | 2147483647 33312 58 | 0.003 % |
8.46/8.53 c | 38054 | 200 17000 119000 | 2147483647 33488 58 | 0.003 % |
8.56/8.62 c | 38249 | 200 17000 119000 | 2147483647 33683 58 | 0.003 % |
8.67/8.73 c | 38462 | 200 17000 119000 | 2147483647 33896 58 | 0.003 % |
8.78/8.83 c | 38695 | 200 17000 119000 | 2147483647 34129 58 | 0.003 % |
8.87/8.96 c | 38953 | 200 17000 119000 | 2147483647 34387 58 | 0.003 % |
8.97/9.09 c | 39234 | 200 17000 119000 | 2147483647 34668 58 | 0.003 % |
9.17/9.22 c | 39543 | 200 17000 119000 | 2147483647 34977 58 | 0.003 % |
9.27/9.37 c | 39882 | 200 17000 119000 | 2147483647 35316 58 | 0.003 % |
9.47/9.53 c | 40255 | 200 17000 119000 | 2147483647 35689 57 | 0.003 % |
9.67/9.71 c | 40664 | 200 17000 119000 | 2147483647 36098 57 | 0.003 % |
9.87/9.91 c | 41113 | 200 17000 119000 | 2147483647 36547 58 | 0.003 % |
10.07/10.11 c | 41609 | 200 17000 119000 | 2147483647 37043 58 | 0.003 % |
10.27/10.31 c | 42153 | 200 17000 119000 | 2147483647 37587 58 | 0.003 % |
10.46/10.56 c | 42750 | 200 17000 119000 | 2147483647 38184 58 | 0.003 % |
10.46/10.60 c | 42850 | 200 17000 119000 | 2147483647 38284 58 | 0.003 % |
10.56/10.65 c | 42961 | 200 17000 119000 | 2147483647 38395 58 | 0.003 % |
10.66/10.71 c | 43083 | 200 17000 119000 | 2147483647 38517 58 | 0.003 % |
10.66/10.80 c | 43218 | 200 17000 119000 | 2147483647 38652 58 | 0.003 % |
10.76/10.87 c | 43364 | 200 17000 119000 | 2147483647 38798 58 | 0.003 % |
10.87/10.96 c | 43525 | 200 17000 119000 | 2147483647 38959 58 | 0.003 % |
10.97/11.06 c | 43703 | 200 17000 119000 | 2147483647 39137 58 | 0.003 % |
11.06/11.16 c | 43896 | 200 17000 119000 | 2147483647 39330 58 | 0.003 % |
11.16/11.27 c | 44108 | 200 17000 119000 | 2147483647 39542 57 | 0.003 % |
11.26/11.36 c | 44343 | 200 17000 119000 | 2147483647 39777 57 | 0.003 % |
11.36/11.48 c | 44599 | 200 17000 119000 | 2147483647 40033 57 | 0.003 % |
11.56/11.65 c | 44881 | 200 17000 119000 | 2147483647 40315 57 | 0.003 % |
11.77/11.82 c | 45190 | 200 17000 119000 | 2147483647 40624 57 | 0.003 % |
11.87/11.99 c | 45530 | 200 17000 119000 | 2147483647 40964 57 | 0.003 % |
12.07/12.18 c | 45902 | 200 17000 119000 | 2147483647 41336 57 | 0.003 % |
12.27/12.36 c | 46312 | 200 17000 119000 | 2147483647 41746 57 | 0.003 % |
12.47/12.59 c | 46761 | 200 17000 119000 | 2147483647 42195 57 | 0.003 % |
12.77/12.81 c | 47255 | 200 17000 119000 | 2147483647 42689 57 | 0.003 % |
12.97/13.06 c | 47797 | 200 17000 119000 | 2147483647 43231 57 | 0.003 % |
13.27/13.37 c | 48393 | 200 17000 119000 | 2147483647 43827 57 | 0.003 % |
13.57/13.69 c | 49048 | 200 17000 119000 | 2147483647 44482 57 | 0.003 % |
13.67/13.77 c | 49148 | 200 17000 119000 | 2147483647 44582 57 | 0.003 % |
13.77/13.84 c | 49260 | 200 17000 119000 | 2147483647 44694 57 | 0.003 % |
13.87/13.91 c | 49381 | 200 17000 119000 | 2147483647 44815 57 | 0.003 % |
13.87/13.99 c | 49515 | 200 17000 119000 | 2147483647 44949 57 | 0.003 % |
13.97/14.10 c | 49661 | 200 17000 119000 | 2147483647 45095 57 | 0.003 % |
14.07/14.18 c | 49821 | 200 17000 119000 | 2147483647 45255 57 | 0.003 % |
14.17/14.28 c | 49999 | 200 17000 119000 | 2147483647 45433 57 | 0.003 % |
14.27/14.39 c | 50193 | 200 17000 119000 | 2147483647 45627 57 | 0.003 % |
14.37/14.50 c | 50406 | 200 17000 119000 | 2147483647 45840 57 | 0.003 % |
14.57/14.61 c | 50640 | 200 17000 119000 | 2147483647 46074 57 | 0.003 % |
14.67/14.75 c | 50898 | 200 17000 119000 | 2147483647 46332 57 | 0.003 % |
14.77/14.89 c | 51179 | 200 17000 119000 | 2147483647 46613 57 | 0.003 % |
14.97/15.05 c | 51488 | 200 17000 119000 | 2147483647 46922 57 | 0.003 % |
15.17/15.24 c | 51828 | 200 17000 119000 | 2147483647 47262 57 | 0.003 % |
15.37/15.45 c | 52202 | 200 17000 119000 | 2147483647 47636 57 | 0.003 % |
15.57/15.66 c | 52611 | 200 17000 119000 | 2147483647 48045 57 | 0.003 % |
15.77/15.89 c | 53063 | 200 17000 119000 | 2147483647 48497 57 | 0.003 % |
16.16/16.21 c | 53556 | 200 17000 119000 | 2147483647 48990 57 | 0.003 % |
16.47/16.58 c | 54100 | 200 17000 119000 | 2147483647 49534 57 | 0.003 % |
16.86/16.91 c | 54696 | 200 17000 119000 | 2147483647 50130 57 | 0.003 % |
17.16/17.29 c | 55352 | 200 17000 119000 | 2147483647 50786 58 | 0.003 % |
17.57/17.66 c | 56072 | 200 17000 119000 | 2147483647 51506 57 | 0.003 % |
17.66/17.75 c | 56173 | 200 17000 119000 | 2147483647 51607 57 | 0.003 % |
17.76/17.83 c | 56283 | 200 17000 119000 | 2147483647 51717 57 | 0.003 % |
17.86/17.91 c | 56405 | 200 17000 119000 | 2147483647 51839 57 | 0.003 % |
17.96/18.00 c | 56538 | 200 17000 119000 | 2147483647 51972 57 | 0.003 % |
18.06/18.11 c | 56684 | 200 17000 119000 | 2147483647 52118 57 | 0.003 % |
18.16/18.21 c | 56844 | 200 17000 119000 | 2147483647 52278 57 | 0.003 % |
18.26/18.33 c | 57021 | 200 17000 119000 | 2147483647 52455 58 | 0.003 % |
18.36/18.47 c | 57215 | 200 17000 119000 | 2147483647 52649 58 | 0.003 % |
18.57/18.63 c | 57428 | 200 17000 119000 | 2147483647 52862 58 | 0.003 % |
18.67/18.78 c | 57663 | 200 17000 119000 | 2147483647 53097 58 | 0.003 % |
18.86/18.92 c | 57923 | 200 17000 119000 | 2147483647 53357 57 | 0.003 % |
19.06/19.10 c | 58207 | 200 17000 119000 | 2147483647 53641 58 | 0.003 % |
19.16/19.28 c | 58516 | 200 17000 119000 | 2147483647 53950 58 | 0.003 % |
19.46/19.51 c | 58856 | 200 17000 119000 | 2147483647 54290 58 | 0.003 % |
19.67/19.77 c | 59228 | 200 17000 119000 | 2147483647 54662 58 | 0.003 % |
19.96/20.04 c | 59638 | 200 17000 119000 | 2147483647 55072 58 | 0.003 % |
20.26/20.34 c | 60088 | 200 17000 119000 | 2147483647 55522 58 | 0.003 % |
20.56/20.67 c | 60581 | 200 17000 119000 | 2147483647 56015 58 | 0.003 % |
20.96/21.02 c | 61124 | 200 17000 119000 | 2147483647 56558 58 | 0.003 % |
21.36/21.41 c | 61720 | 200 17000 119000 | 2147483647 57154 58 | 0.003 % |
21.76/21.85 c | 62375 | 200 17000 119000 | 2147483647 57809 58 | 0.003 % |
22.26/22.37 c | 63095 | 200 17000 119000 | 2147483647 58529 58 | 0.003 % |
22.86/22.95 c | 63888 | 200 17000 119000 | 2147483647 59322 58 | 0.003 % |
22.96/23.03 c | 63990 | 200 17000 119000 | 2147483647 59424 58 | 0.003 % |
23.06/23.11 c | 64101 | 200 17000 119000 | 2147483647 59535 58 | 0.003 % |
23.16/23.20 c | 64222 | 200 17000 119000 | 2147483647 59656 58 | 0.003 % |
23.26/23.31 c | 64357 | 200 17000 119000 | 2147483647 59791 58 | 0.003 % |
23.36/23.41 c | 64503 | 200 17000 119000 | 2147483647 59937 58 | 0.003 % |
23.46/23.56 c | 64663 | 200 17000 119000 | 2147483647 60097 58 | 0.003 % |
23.56/23.69 c | 64840 | 200 17000 119000 | 2147483647 60274 58 | 0.003 % |
23.76/23.84 c | 65034 | 200 17000 119000 | 2147483647 60468 58 | 0.003 % |
23.96/24.01 c | 65248 | 200 17000 119000 | 2147483647 60682 58 | 0.003 % |
24.06/24.18 c | 65481 | 200 17000 119000 | 2147483647 60915 58 | 0.003 % |
24.26/24.38 c | 65739 | 200 17000 119000 | 2147483647 61173 58 | 0.003 % |
24.46/24.55 c | 66021 | 200 17000 119000 | 2147483647 61455 58 | 0.003 % |
24.76/24.81 c | 66331 | 200 17000 119000 | 2147483647 61765 58 | 0.003 % |
24.96/25.08 c | 66670 | 200 17000 119000 | 2147483647 62104 58 | 0.003 % |
25.26/25.32 c | 67042 | 200 17000 119000 | 2147483647 62476 58 | 0.003 % |
25.56/25.65 c | 67451 | 200 17000 119000 | 2147483647 62885 58 | 0.003 % |
25.97/26.00 c | 67903 | 200 17000 119000 | 2147483647 63337 58 | 0.003 % |
26.27/26.38 c | 68398 | 200 17000 119000 | 2147483647 63832 58 | 0.003 % |
26.67/26.78 c | 68942 | 200 17000 119000 | 2147483647 64376 58 | 0.003 % |
27.17/27.20 c | 69538 | 200 17000 119000 | 2147483647 64972 58 | 0.003 % |
27.66/27.76 c | 70194 | 200 17000 119000 | 2147483647 65628 58 | 0.003 % |
28.16/28.29 c | 70915 | 200 17000 119000 | 2147483647 66349 58 | 0.003 % |
28.76/28.88 c | 71708 | 200 17000 119000 | 2147483647 67142 58 | 0.003 % |
29.36/29.49 c | 72580 | 200 17000 119000 | 2147483647 68014 58 | 0.003 % |
29.46/29.60 c | 72685 | 200 17000 119000 | 2147483647 68119 58 | 0.003 % |
29.56/29.69 c | 72797 | 200 17000 119000 | 2147483647 68231 58 | 0.003 % |
29.66/29.80 c | 72918 | 200 17000 119000 | 2147483647 68352 58 | 0.003 % |
29.86/29.90 c | 73053 | 200 17000 119000 | 2147483647 68487 58 | 0.003 % |
29.96/30.05 c | 73204 | 200 17000 119000 | 2147483647 68638 58 | 0.003 % |
30.06/30.18 c | 73365 | 200 17000 119000 | 2147483647 68799 58 | 0.003 % |
30.26/30.33 c | 73543 | 200 17000 119000 | 2147483647 68977 58 | 0.003 % |
30.46/30.52 c | 73736 | 200 17000 119000 | 2147483647 69170 58 | 0.003 % |
30.66/30.71 c | 73949 | 200 17000 119000 | 2147483647 69383 58 | 0.003 % |
30.86/30.90 c | 74182 | 200 17000 119000 | 2147483647 69616 58 | 0.003 % |
31.06/31.11 c | 74440 | 200 17000 119000 | 2147483647 69874 58 | 0.003 % |
31.26/31.35 c | 74722 | 200 17000 119000 | 2147483647 70156 58 | 0.003 % |
31.46/31.58 c | 75033 | 200 17000 119000 | 2147483647 70467 58 | 0.003 % |
31.86/31.90 c | 75372 | 200 17000 119000 | 2147483647 70806 58 | 0.003 % |
32.16/32.22 c | 75744 | 200 17000 119000 | 2147483647 71178 58 | 0.003 % |
32.56/32.60 c | 76154 | 200 17000 119000 | 2147483647 71588 58 | 0.003 % |
32.87/32.98 c | 76604 | 200 17000 119000 | 2147483647 72038 58 | 0.003 % |
33.26/33.36 c | 77097 | 200 17000 119000 | 2147483647 72531 58 | 0.003 % |
33.86/33.90 c | 77641 | 200 17000 119000 | 2147483647 73075 58 | 0.003 % |
34.36/34.47 c | 78237 | 200 17000 119000 | 2147483647 73671 58 | 0.003 % |
34.96/35.00 c | 78892 | 200 17000 119000 | 2147483647 74326 58 | 0.003 % |
35.46/35.54 c | 79612 | 200 17000 119000 | 2147483647 75046 58 | 0.003 % |
36.16/36.23 c | 80404 | 200 17000 119000 | 75434 67534 58 | 0.003 % |
36.76/36.84 c | 81277 | 200 17000 119000 | 75434 68407 58 | 0.003 % |
37.46/37.50 c | 82235 | 200 17000 119000 | 75434 69365 58 | 0.003 % |
37.46/37.58 c | 82337 | 200 17000 119000 | 75434 69467 58 | 0.003 % |
37.56/37.67 c | 82448 | 200 17000 119000 | 75434 69578 58 | 0.003 % |
37.66/37.76 c | 82570 | 200 17000 119000 | 75434 69700 58 | 0.003 % |
37.86/37.90 c | 82703 | 200 17000 119000 | 75434 69833 58 | 0.003 % |
37.96/38.05 c | 82849 | 200 17000 119000 | 75434 69979 58 | 0.003 % |
38.16/38.21 c | 83011 | 200 17000 119000 | 75434 70141 58 | 0.003 % |
38.26/38.39 c | 83189 | 200 17000 119000 | 75434 70319 58 | 0.003 % |
38.46/38.55 c | 83382 | 200 17000 119000 | 75434 70512 58 | 0.003 % |
38.66/38.73 c | 83595 | 200 17000 119000 | 75434 70725 58 | 0.003 % |
38.86/38.95 c | 83829 | 200 17000 119000 | 75434 70959 58 | 0.003 % |
39.06/39.18 c | 84086 | 200 17000 119000 | 75434 71216 58 | 0.003 % |
39.36/39.43 c | 84368 | 200 17000 119000 | 75434 71498 58 | 0.003 % |
39.66/39.71 c | 84677 | 200 17000 119000 | 75434 71807 58 | 0.003 % |
39.86/39.99 c | 85016 | 200 17000 119000 | 75434 72146 58 | 0.003 % |
40.26/40.36 c | 85388 | 200 17000 119000 | 75434 72518 58 | 0.003 % |
40.66/40.73 c | 85798 | 200 17000 119000 | 75434 72928 58 | 0.003 % |
40.96/41.09 c | 86247 | 200 17000 119000 | 75434 73377 58 | 0.003 % |
41.36/41.48 c | 86740 | 200 17000 119000 | 75434 73870 58 | 0.003 % |
41.76/41.89 c | 87282 | 200 17000 119000 | 75434 74412 58 | 0.003 % |
42.26/42.35 c | 87879 | 200 17000 119000 | 75434 75009 58 | 0.003 % |
42.86/42.92 c | 88535 | 200 17000 119000 | 75434 66464 58 | 0.003 % |
43.46/43.53 c | 89255 | 200 17000 119000 | 75434 67184 58 | 0.003 % |
44.06/44.14 c | 90048 | 200 17000 119000 | 67929 67977 58 | 0.003 % |
44.76/44.83 c | 90919 | 200 17000 119000 | 67929 60586 58 | 0.003 % |
45.36/45.48 c | 91877 | 200 17000 119000 | 67929 61544 58 | 0.003 % |
46.06/46.18 c | 92932 | 200 17000 119000 | 67929 62599 58 | 0.003 % |
46.16/46.26 c | 93032 | 200 17000 119000 | 67929 62699 58 | 0.003 % |
46.26/46.36 c | 93142 | 200 17000 119000 | 67929 62809 58 | 0.003 % |
46.36/46.47 c | 93265 | 200 17000 119000 | 67929 62932 58 | 0.003 % |
46.46/46.58 c | 93399 | 200 17000 119000 | 67929 63066 58 | 0.003 % |
46.66/46.70 c | 93546 | 200 17000 119000 | 67929 63213 58 | 0.003 % |
46.76/46.85 c | 93706 | 200 17000 119000 | 67929 63373 58 | 0.003 % |
46.86/46.99 c | 93882 | 200 17000 119000 | 67929 63549 58 | 0.003 % |
47.06/47.12 c | 94077 | 200 17000 119000 | 67929 63744 58 | 0.003 % |
47.26/47.31 c | 94289 | 200 17000 119000 | 67929 63956 58 | 0.003 % |
47.36/47.49 c | 94523 | 200 17000 119000 | 67929 64190 58 | 0.003 % |
47.66/47.72 c | 94780 | 200 17000 119000 | 67929 64447 58 | 0.003 % |
47.86/47.94 c | 95061 | 200 17000 119000 | 67929 64728 58 | 0.003 % |
48.16/48.20 c | 95370 | 200 17000 119000 | 67929 65037 58 | 0.003 % |
48.36/48.47 c | 95710 | 200 17000 119000 | 67929 65377 58 | 0.003 % |
48.66/48.77 c | 96083 | 200 17000 119000 | 67929 65750 58 | 0.003 % |
49.05/49.11 c | 96493 | 200 17000 119000 | 67929 66160 58 | 0.003 % |
49.36/49.48 c | 96942 | 200 17000 119000 | 67929 66609 58 | 0.003 % |
49.75/49.85 c | 97436 | 200 17000 119000 | 67929 67103 58 | 0.003 % |
50.15/50.24 c | 97979 | 200 17000 119000 | 67929 67646 58 | 0.003 % |
50.56/50.68 c | 98575 | 200 17000 119000 | 67929 61411 58 | 0.003 % |
51.05/51.19 c | 99230 | 200 17000 119000 | 67929 62066 58 | 0.003 % |
51.56/51.68 c | 99950 | 200 17000 119000 | 67929 62786 58 | 0.003 % |
52.15/52.21 c | 100743 | 200 17000 119000 | 2147483647 63579 58 | 0.003 % |
52.76/52.82 c | 101614 | 200 17000 119000 | 2147483647 64450 58 | 0.003 % |
53.45/53.50 c | 102573 | 200 17000 119000 | 2147483647 65409 58 | 0.003 % |
54.15/54.30 c | 103626 | 200 17000 119000 | 2147483647 66462 58 | 0.003 % |
55.25/55.30 c | 104787 | 200 17000 119000 | 2147483647 67623 58 | 0.003 % |
55.25/55.38 c | 104887 | 200 17000 119000 | 2147483647 67723 58 | 0.003 % |
55.35/55.47 c | 104997 | 200 17000 119000 | 2147483647 67833 58 | 0.003 % |
55.45/55.56 c | 105118 | 200 17000 119000 | 2147483647 67954 58 | 0.003 % |
55.55/55.67 c | 105251 | 200 17000 119000 | 2147483647 68087 58 | 0.003 % |
55.65/55.79 c | 105399 | 200 17000 119000 | 2147483647 68235 58 | 0.003 % |
55.85/55.92 c | 105559 | 200 17000 119000 | 2147483647 68395 58 | 0.003 % |
55.95/56.10 c | 105736 | 200 17000 119000 | 2147483647 68572 58 | 0.003 % |
56.15/56.27 c | 105929 | 200 17000 119000 | 2147483647 68765 58 | 0.003 % |
56.35/56.46 c | 106142 | 200 17000 119000 | 2147483647 68978 58 | 0.003 % |
56.55/56.63 c | 106376 | 200 17000 119000 | 2147483647 69212 58 | 0.003 % |
56.75/56.82 c | 106633 | 200 17000 119000 | 2147483647 69469 58 | 0.003 % |
56.95/57.03 c | 106914 | 200 17000 119000 | 2147483647 69750 58 | 0.003 % |
57.15/57.28 c | 107223 | 200 17000 119000 | 2147483647 70059 58 | 0.003 % |
57.45/57.53 c | 107562 | 200 17000 119000 | 2147483647 70398 58 | 0.003 % |
57.75/57.86 c | 107936 | 200 17000 119000 | 2147483647 70772 58 | 0.003 % |
58.05/58.20 c | 108346 | 200 17000 119000 | 2147483647 71182 58 | 0.003 % |
58.45/58.57 c | 108795 | 200 17000 119000 | 2147483647 71631 58 | 0.003 % |
58.85/58.99 c | 109288 | 200 17000 119000 | 2147483647 72124 58 | 0.003 % |
59.35/59.41 c | 109831 | 200 17000 119000 | 2147483647 72667 58 | 0.003 % |
59.85/59.94 c | 110427 | 200 17000 119000 | 72836 65334 58 | 0.003 % |
60.35/60.40 c | 111084 | 200 17000 119000 | 72836 65991 58 | 0.003 % |
60.95/61.04 c | 111804 | 200 17000 119000 | 72836 66711 58 | 0.003 % |
61.55/61.64 c | 112597 | 200 17000 119000 | 72836 67504 58 | 0.003 % |
62.25/62.35 c | 113468 | 200 17000 119000 | 72836 68375 58 | 0.003 % |
62.95/63.09 c | 114426 | 200 17000 119000 | 72836 69333 58 | 0.003 % |
63.75/63.88 c | 115481 | 200 17000 119000 | 72836 70388 58 | 0.003 % |
64.75/64.81 c | 116640 | 200 17000 119000 | 72836 71547 58 | 0.003 % |
65.65/65.72 c | 117914 | 200 17000 119000 | 72836 72821 58 | 0.003 % |
65.75/65.80 c | 118015 | 200 17000 119000 | 72836 72922 58 | 0.003 % |
65.85/65.98 c | 118125 | 200 17000 119000 | 72836 65184 58 | 0.003 % |
65.95/66.09 c | 118248 | 200 17000 119000 | 72836 65307 58 | 0.003 % |
66.14/66.22 c | 118382 | 200 17000 119000 | 72836 65441 58 | 0.003 % |
66.24/66.34 c | 118531 | 200 17000 119000 | 72836 65590 58 | 0.003 % |
66.44/66.52 c | 118692 | 200 17000 119000 | 72836 65751 58 | 0.003 % |
66.54/66.69 c | 118870 | 200 17000 119000 | 72836 65929 58 | 0.003 % |
66.74/66.86 c | 119063 | 200 17000 119000 | 72836 66122 58 | 0.003 % |
66.95/67.04 c | 119275 | 200 17000 119000 | 72836 66334 58 | 0.003 % |
67.14/67.22 c | 119508 | 200 17000 119000 | 72836 66567 58 | 0.003 % |
67.34/67.48 c | 119764 | 200 17000 119000 | 72836 66823 58 | 0.003 % |
67.64/67.72 c | 120046 | 200 17000 119000 | 67059 67105 58 | 0.003 % |
67.94/68.01 c | 120357 | 200 17000 119000 | 67059 59972 58 | 0.003 % |
68.15/68.26 c | 120697 | 200 17000 119000 | 67059 60312 58 | 0.003 % |
68.44/68.53 c | 121070 | 200 17000 119000 | 67059 60685 58 | 0.003 % |
68.74/68.86 c | 121480 | 200 17000 119000 | 67059 61095 58 | 0.003 % |
69.04/69.19 c | 121929 | 200 17000 119000 | 67059 61544 58 | 0.003 % |
69.44/69.57 c | 122422 | 200 17000 119000 | 67059 62037 58 | 0.003 % |
69.84/69.94 c | 122964 | 200 17000 119000 | 67059 62579 58 | 0.003 % |
70.24/70.34 c | 123560 | 200 17000 119000 | 67059 63175 58 | 0.003 % |
70.84/70.91 c | 124216 | 200 17000 119000 | 67059 63831 58 | 0.003 % |
71.34/71.47 c | 124938 | 200 17000 119000 | 67059 64553 58 | 0.003 % |
71.94/72.01 c | 125730 | 200 17000 119000 | 67059 65345 58 | 0.003 % |
72.54/72.67 c | 126601 | 200 17000 119000 | 67059 66216 58 | 0.003 % |
73.34/73.41 c | 127560 | 200 17000 119000 | 67059 60460 58 | 0.003 % |
74.14/74.29 c | 128614 | 200 17000 119000 | 67059 61514 58 | 0.003 % |
75.04/75.10 c | 129773 | 200 17000 119000 | 67059 62673 58 | 0.003 % |
75.84/75.93 c | 131047 | 200 17000 119000 | 2147483647 63947 58 | 0.003 % |
76.84/76.98 c | 132447 | 200 17000 119000 | 2147483647 65347 58 | 0.003 % |
76.94/77.04 c | 132551 | 200 17000 119000 | 2147483647 65451 58 | 0.003 % |
77.04/77.15 c | 132661 | 200 17000 119000 | 2147483647 65561 58 | 0.003 % |
77.14/77.26 c | 132782 | 200 17000 119000 | 2147483647 65682 58 | 0.003 % |
77.24/77.36 c | 132916 | 200 17000 119000 | 2147483647 65816 58 | 0.003 % |
77.34/77.49 c | 133065 | 200 17000 119000 | 2147483647 65965 58 | 0.003 % |
77.54/77.63 c | 133227 | 200 17000 119000 | 2147483647 66127 58 | 0.003 % |
77.64/77.77 c | 133403 | 200 17000 119000 | 2147483647 66303 58 | 0.003 % |
77.84/77.93 c | 133597 | 200 17000 119000 | 2147483647 66497 58 | 0.003 % |
78.04/78.15 c | 133809 | 200 17000 119000 | 2147483647 66709 58 | 0.003 % |
78.24/78.34 c | 134042 | 200 17000 119000 | 2147483647 66942 58 | 0.003 % |
78.44/78.57 c | 134299 | 200 17000 119000 | 2147483647 67199 58 | 0.003 % |
78.64/78.78 c | 134580 | 200 17000 119000 | 2147483647 67480 58 | 0.003 % |
78.94/79.05 c | 134889 | 200 17000 119000 | 2147483647 67789 58 | 0.003 % |
79.24/79.36 c | 135228 | 200 17000 119000 | 2147483647 68128 58 | 0.003 % |
79.64/79.70 c | 135602 | 200 17000 119000 | 2147483647 68502 58 | 0.003 % |
79.94/80.02 c | 136011 | 200 17000 119000 | 2147483647 68911 58 | 0.003 % |
80.34/80.45 c | 136460 | 200 17000 119000 | 2147483647 69360 58 | 0.003 % |
80.74/80.88 c | 136953 | 200 17000 119000 | 2147483647 69853 58 | 0.003 % |
81.13/81.28 c | 137495 | 200 17000 119000 | 2147483647 70395 58 | 0.003 % |
81.63/81.75 c | 138092 | 200 17000 119000 | 2147483647 70992 58 | 0.003 % |
82.23/82.34 c | 138748 | 200 17000 119000 | 2147483647 71648 58 | 0.003 % |
82.83/82.94 c | 139470 | 200 17000 119000 | 2147483647 72370 58 | 0.003 % |
83.54/83.64 c | 140263 | 200 17000 119000 | 72900 65303 58 | 0.003 % |
84.03/84.18 c | 141134 | 200 17000 119000 | 72900 66174 58 | 0.003 % |
84.73/84.83 c | 142093 | 200 17000 119000 | 72900 67133 58 | 0.003 % |
85.64/85.76 c | 143148 | 200 17000 119000 | 72900 68188 58 | 0.003 % |
86.53/86.63 c | 144306 | 200 17000 119000 | 72900 69346 58 | 0.003 % |
87.43/87.57 c | 145579 | 200 17000 119000 | 72900 70619 58 | 0.003 % |
88.73/88.82 c | 146979 | 200 17000 119000 | 72900 72019 58 | 0.003 % |
89.93/90.05 c | 148522 | 200 17000 119000 | 72900 65355 58 | 0.003 % |
90.03/90.15 c | 148624 | 200 17000 119000 | 72900 65457 58 | 0.003 % |
90.13/90.25 c | 148734 | 200 17000 119000 | 72900 65567 58 | 0.003 % |
90.23/90.36 c | 148856 | 200 17000 119000 | 72900 65689 58 | 0.003 % |
90.33/90.46 c | 148989 | 200 17000 119000 | 72900 65822 58 | 0.003 % |
90.43/90.59 c | 149137 | 200 17000 119000 | 72900 65970 58 | 0.003 % |
90.63/90.73 c | 149298 | 200 17000 119000 | 72900 66131 58 | 0.003 % |
90.73/90.87 c | 149479 | 200 17000 119000 | 72900 66312 58 | 0.003 % |
90.93/91.03 c | 149673 | 200 17000 119000 | 72900 66506 58 | 0.003 % |
91.03/91.18 c | 149886 | 200 17000 119000 | 72900 66719 58 | 0.003 % |
91.33/91.43 c | 150119 | 200 17000 119000 | 66833 59431 58 | 0.003 % |
91.53/91.63 c | 150377 | 200 17000 119000 | 66833 59689 58 | 0.003 % |
91.73/91.85 c | 150659 | 200 17000 119000 | 66833 59971 58 | 0.003 % |
91.93/92.07 c | 150968 | 200 17000 119000 | 66833 60280 58 | 0.003 % |
92.13/92.30 c | 151307 | 200 17000 119000 | 66833 60619 58 | 0.003 % |
92.43/92.57 c | 151679 | 200 17000 119000 | 66833 60991 58 | 0.003 % |
92.73/92.87 c | 152089 | 200 17000 119000 | 66833 61401 58 | 0.003 % |
93.13/93.23 c | 152539 | 200 17000 119000 | 66833 61851 58 | 0.003 % |
93.53/93.63 c | 153032 | 200 17000 119000 | 66833 62344 58 | 0.003 % |
93.93/94.05 c | 153576 | 200 17000 119000 | 66833 62888 58 | 0.003 % |
94.33/94.50 c | 154175 | 200 17000 119000 | 66833 63487 58 | 0.003 % |
94.93/95.02 c | 154831 | 200 17000 119000 | 66833 64143 58 | 0.003 % |
95.43/95.50 c | 155552 | 200 17000 119000 | 66833 64864 58 | 0.003 % |
96.03/96.15 c | 156344 | 200 17000 119000 | 66833 65656 58 | 0.003 % |
96.73/96.81 c | 157215 | 200 17000 119000 | 66833 66527 58 | 0.003 % |
97.43/97.57 c | 158173 | 200 17000 119000 | 66833 60793 58 | 0.003 % |
98.23/98.30 c | 159227 | 200 17000 119000 | 66833 61847 58 | 0.003 % |
99.03/99.11 c | 160386 | 200 17000 119000 | 2147483647 63006 58 | 0.003 % |
99.83/99.99 c | 161659 | 200 17000 119000 | 2147483647 64279 58 | 0.003 % |
100.93/101.03 c | 163059 | 200 17000 119000 | 2147483647 65679 58 | 0.003 % |
102.03/102.16 c | 164599 | 200 17000 119000 | 2147483647 67219 58 | 0.003 % |
103.43/103.50 c | 166293 | 200 17000 119000 | 2147483647 68913 58 | 0.003 % |
103.43/103.59 c | 166394 | 200 17000 119000 | 2147483647 69014 58 | 0.003 % |
103.53/103.68 c | 166504 | 200 17000 119000 | 2147483647 69124 58 | 0.003 % |
103.73/103.81 c | 166626 | 200 17000 119000 | 2147483647 69246 58 | 0.003 % |
103.83/103.94 c | 166760 | 200 17000 119000 | 2147483647 69380 58 | 0.003 % |
103.93/104.05 c | 166906 | 200 17000 119000 | 2147483647 69526 58 | 0.003 % |
104.13/104.20 c | 167067 | 200 17000 119000 | 2147483647 69687 58 | 0.003 % |
104.23/104.39 c | 167243 | 200 17000 119000 | 2147483647 69863 58 | 0.003 % |
104.43/104.56 c | 167440 | 200 17000 119000 | 2147483647 70060 58 | 0.003 % |
104.63/104.76 c | 167653 | 200 17000 119000 | 2147483647 70273 58 | 0.003 % |
104.83/104.95 c | 167887 | 200 17000 119000 | 2147483647 70507 58 | 0.003 % |
105.03/105.18 c | 168143 | 200 17000 119000 | 2147483647 70763 58 | 0.003 % |
105.34/105.41 c | 168425 | 200 17000 119000 | 2147483647 71045 58 | 0.003 % |
105.54/105.67 c | 168737 | 200 17000 119000 | 2147483647 71357 58 | 0.003 % |
105.84/105.93 c | 169077 | 200 17000 119000 | 2147483647 71697 58 | 0.003 % |
106.13/106.26 c | 169449 | 200 17000 119000 | 2147483647 72069 58 | 0.003 % |
106.54/106.65 c | 169858 | 200 17000 119000 | 2147483647 72478 58 | 0.003 % |
106.93/107.07 c | 170307 | 200 17000 119000 | 72620 65370 58 | 0.003 % |
107.33/107.44 c | 170802 | 200 17000 119000 | 72620 65865 58 | 0.003 % |
107.74/107.84 c | 171346 | 200 17000 119000 | 72620 66409 58 | 0.003 % |
108.13/108.26 c | 171943 | 200 17000 119000 | 72620 67006 58 | 0.003 % |
108.63/108.72 c | 172599 | 200 17000 119000 | 72620 67662 58 | 0.003 % |
109.23/109.35 c | 173320 | 200 17000 119000 | 72620 68383 58 | 0.003 % |
109.84/109.97 c | 174113 | 200 17000 119000 | 72620 69176 58 | 0.003 % |
110.53/110.65 c | 174984 | 200 17000 119000 | 72620 70047 58 | 0.003 % |
111.23/111.33 c | 175942 | 200 17000 119000 | 72620 71005 58 | 0.003 % |
111.93/112.06 c | 176995 | 200 17000 119000 | 72620 72058 58 | 0.003 % |
112.83/112.95 c | 178153 | 200 17000 119000 | 72620 65945 58 | 0.003 % |
113.73/113.88 c | 179426 | 200 17000 119000 | 72620 67218 58 | 0.003 % |
114.73/114.84 c | 180829 | 200 17000 119000 | 2147483647 68621 58 | 0.003 % |
115.93/116.01 c | 182371 | 200 17000 119000 | 2147483647 70163 58 | 0.003 % |
117.23/117.31 c | 184067 | 200 17000 119000 | 2147483647 71859 58 | 0.003 % |
118.83/118.91 c | 185930 | 200 17000 119000 | 2147483647 73722 58 | 0.003 % |
118.93/119.00 c | 186030 | 200 17000 119000 | 2147483647 73822 58 | 0.003 % |
119.03/119.12 c | 186140 | 200 17000 119000 | 2147483647 73932 58 | 0.003 % |
119.13/119.24 c | 186261 | 200 17000 119000 | 2147483647 74053 58 | 0.003 % |
119.23/119.37 c | 186396 | 200 17000 119000 | 2147483647 74188 58 | 0.003 % |
119.43/119.52 c | 186542 | 200 17000 119000 | 2147483647 74334 58 | 0.003 % |
119.63/119.71 c | 186702 | 200 17000 119000 | 2147483647 74494 58 | 0.003 % |
119.73/119.90 c | 186879 | 200 17000 119000 | 2147483647 74671 58 | 0.003 % |
119.93/120.08 c | 187072 | 200 17000 119000 | 2147483647 74864 58 | 0.003 % |
120.23/120.30 c | 187284 | 200 17000 119000 | 2147483647 75076 58 | 0.003 % |
120.42/120.55 c | 187517 | 200 17000 119000 | 2147483647 75309 58 | 0.003 % |
120.72/120.83 c | 187773 | 200 17000 119000 | 2147483647 75565 58 | 0.003 % |
121.02/121.13 c | 188056 | 200 17000 119000 | 2147483647 75848 58 | 0.003 % |
121.32/121.44 c | 188367 | 200 17000 119000 | 2147483647 76159 58 | 0.003 % |
121.62/121.77 c | 188706 | 200 17000 119000 | 2147483647 76498 58 | 0.003 % |
122.03/122.10 c | 189079 | 200 17000 119000 | 2147483647 76871 58 | 0.003 % |
122.42/122.53 c | 189488 | 200 17000 119000 | 2147483647 77280 58 | 0.003 % |
122.82/122.92 c | 189937 | 200 17000 119000 | 2147483647 77729 58 | 0.003 % |
123.32/123.42 c | 190430 | 200 17000 119000 | 77794 67847 58 | 0.003 % |
123.72/123.85 c | 190976 | 200 17000 119000 | 77794 68393 58 | 0.003 % |
124.23/124.32 c | 191574 | 200 17000 119000 | 77794 68991 58 | 0.003 % |
124.72/124.89 c | 192229 | 200 17000 119000 | 77794 69646 58 | 0.003 % |
125.33/125.49 c | 192950 | 200 17000 119000 | 77794 70367 58 | 0.003 % |
126.02/126.10 c | 193742 | 200 17000 119000 | 77794 71159 58 | 0.003 % |
126.72/126.83 c | 194614 | 200 17000 119000 | 77794 72031 58 | 0.003 % |
127.52/127.63 c | 195572 | 200 17000 119000 | 77794 72989 58 | 0.003 % |
128.42/128.59 c | 196628 | 200 17000 119000 | 77794 74045 58 | 0.003 % |
129.42/129.59 c | 197787 | 200 17000 119000 | 77794 75204 58 | 0.003 % |
130.52/130.61 c | 199060 | 200 17000 119000 | 77794 76477 58 | 0.003 % |
131.82/131.92 c | 200460 | 200 17000 119000 | 77417 66991 58 | 0.003 % |
132.82/132.97 c | 202001 | 200 17000 119000 | 77417 68532 58 | 0.003 % |
134.32/134.49 c | 203695 | 200 17000 119000 | 77417 70226 58 | 0.003 % |
135.92/136.03 c | 205559 | 200 17000 119000 | 77417 72090 58 | 0.003 % |
137.62/137.74 c | 207608 | 200 17000 119000 | 77417 74139 58 | 0.003 % |
137.72/137.83 c | 207708 | 200 17000 119000 | 77417 74239 58 | 0.003 % |
137.82/137.93 c | 207818 | 200 17000 119000 | 77417 74349 58 | 0.003 % |
137.92/138.03 c | 207939 | 200 17000 119000 | 77417 74470 58 | 0.003 % |
138.02/138.15 c | 208072 | 200 17000 119000 | 77417 74603 58 | 0.003 % |
138.22/138.32 c | 208219 | 200 17000 119000 | 77417 74750 58 | 0.003 % |
138.31/138.47 c | 208381 | 200 17000 119000 | 77417 74912 58 | 0.003 % |
138.52/138.62 c | 208558 | 200 17000 119000 | 77417 75089 58 | 0.003 % |
138.71/138.83 c | 208753 | 200 17000 119000 | 77417 75284 58 | 0.003 % |
138.92/139.04 c | 208965 | 200 17000 119000 | 77417 75496 58 | 0.003 % |
139.11/139.26 c | 209198 | 200 17000 119000 | 77417 75729 58 | 0.003 % |
139.32/139.47 c | 209454 | 200 17000 119000 | 77417 75985 58 | 0.003 % |
139.62/139.73 c | 209736 | 200 17000 119000 | 77417 76267 58 | 0.003 % |
139.92/140.00 c | 210046 | 200 17000 119000 | 76535 76577 58 | 0.003 % |
140.22/140.38 c | 210385 | 200 17000 119000 | 76535 66536 58 | 0.003 % |
140.62/140.71 c | 210757 | 200 17000 119000 | 76535 66908 58 | 0.003 % |
140.91/141.02 c | 211167 | 200 17000 119000 | 76535 67318 58 | 0.003 % |
141.21/141.36 c | 211617 | 200 17000 119000 | 76535 67768 58 | 0.003 % |
141.51/141.70 c | 212110 | 200 17000 119000 | 76535 68261 58 | 0.003 % |
141.91/142.08 c | 212652 | 200 17000 119000 | 76535 68803 58 | 0.003 % |
142.41/142.55 c | 213249 | 200 17000 119000 | 76535 69400 58 | 0.003 % |
142.92/143.03 c | 213904 | 200 17000 119000 | 76535 70055 58 | 0.003 % |
143.41/143.54 c | 214625 | 200 17000 119000 | 76535 70776 58 | 0.003 % |
144.02/144.11 c | 215420 | 200 17000 119000 | 76535 71571 58 | 0.003 % |
144.71/144.81 c | 216291 | 200 17000 119000 | 76535 72442 58 | 0.003 % |
145.41/145.56 c | 217249 | 200 17000 119000 | 76535 73400 58 | 0.003 % |
146.22/146.31 c | 218306 | 200 17000 119000 | 76535 74457 58 | 0.003 % |
147.11/147.22 c | 219465 | 200 17000 119000 | 76535 75616 58 | 0.003 % |
148.11/148.25 c | 220742 | 200 17000 119000 | 76153 67859 58 | 0.003 % |
149.11/149.26 c | 222143 | 200 17000 119000 | 76153 69260 58 | 0.003 % |
150.21/150.36 c | 223684 | 200 17000 119000 | 76153 70801 58 | 0.003 % |
151.51/151.62 c | 225380 | 200 17000 119000 | 76153 72497 58 | 0.003 % |
152.91/153.05 c | 227247 | 200 17000 119000 | 76153 74364 58 | 0.003 % |
154.51/154.69 c | 229296 | 200 17000 119000 | 76153 67720 58 | 0.003 % |
156.01/156.18 c | 231550 | 200 17000 119000 | 68424 62282 58 | 0.003 % |
156.11/156.29 c | 231651 | 200 17000 119000 | 68424 62383 58 | 0.003 % |
156.21/156.39 c | 231764 | 200 17000 119000 | 68424 62496 58 | 0.003 % |
156.31/156.48 c | 231885 | 200 17000 119000 | 68424 62617 58 | 0.003 % |
156.41/156.59 c | 232018 | 200 17000 119000 | 68424 62750 58 | 0.003 % |
156.61/156.73 c | 232167 | 200 17000 119000 | 68424 62899 58 | 0.003 % |
156.71/156.85 c | 232328 | 200 17000 119000 | 68424 63060 58 | 0.003 % |
156.81/156.97 c | 232504 | 200 17000 119000 | 68424 63236 58 | 0.003 % |
157.01/157.15 c | 232700 | 200 17000 119000 | 68424 63432 58 | 0.003 % |
157.21/157.32 c | 232912 | 200 17000 119000 | 68424 63644 58 | 0.003 % |
157.41/157.51 c | 233146 | 200 17000 119000 | 68424 63878 58 | 0.003 % |
157.61/157.71 c | 233402 | 200 17000 119000 | 68424 64134 58 | 0.003 % |
157.81/157.90 c | 233683 | 200 17000 119000 | 68424 64415 58 | 0.003 % |
158.01/158.13 c | 233993 | 200 17000 119000 | 68424 64725 58 | 0.003 % |
158.31/158.41 c | 234332 | 200 17000 119000 | 68424 65064 58 | 0.003 % |
158.51/158.69 c | 234704 | 200 17000 119000 | 68424 65436 58 | 0.003 % |
158.91/159.01 c | 235113 | 200 17000 119000 | 68424 65845 58 | 0.003 % |
159.20/159.33 c | 235563 | 200 17000 119000 | 68424 66295 58 | 0.003 % |
159.60/159.71 c | 236056 | 200 17000 119000 | 68424 66788 58 | 0.003 % |
160.00/160.15 c | 236598 | 200 17000 119000 | 68424 67330 58 | 0.003 % |
160.41/160.59 c | 237195 | 200 17000 119000 | 68424 67927 58 | 0.003 % |
161.00/161.15 c | 237850 | 200 17000 119000 | 68424 61732 58 | 0.003 % |
161.51/161.64 c | 238573 | 200 17000 119000 | 68424 62455 58 | 0.003 % |
162.10/162.24 c | 239365 | 200 17000 119000 | 68424 63247 58 | 0.003 % |
162.71/162.86 c | 240241 | 200 17000 119000 | 2147483647 64123 58 | 0.003 % |
163.40/163.54 c | 241199 | 200 17000 119000 | 2147483647 65081 58 | 0.003 % |
164.10/164.25 c | 242252 | 200 17000 119000 | 2147483647 66134 58 | 0.003 % |
164.91/165.05 c | 243412 | 200 17000 119000 | 2147483647 67294 58 | 0.003 % |
165.80/165.91 c | 244686 | 200 17000 119000 | 2147483647 68568 58 | 0.003 % |
166.70/166.89 c | 246086 | 200 17000 119000 | 2147483647 69968 58 | 0.003 % |
168.00/168.17 c | 247627 | 200 17000 119000 | 2147483647 71509 58 | 0.003 % |
169.40/169.58 c | 249322 | 200 17000 119000 | 2147483647 73204 58 | 0.003 % |
170.80/170.99 c | 251185 | 200 17000 119000 | 73882 67120 58 | 0.003 % |
172.40/172.54 c | 253235 | 200 17000 119000 | 73882 69170 58 | 0.003 % |
174.00/174.14 c | 255488 | 200 17000 119000 | 73882 71423 58 | 0.003 % |
175.80/175.94 c | 257967 | 200 17000 119000 | 73882 73902 58 | 0.003 % |
175.90/176.08 c | 258068 | 200 17000 119000 | 73882 66613 58 | 0.003 % |
176.00/176.19 c | 258179 | 200 17000 119000 | 73882 66724 58 | 0.003 % |
176.10/176.29 c | 258300 | 200 17000 119000 | 73882 66845 58 | 0.003 % |
176.20/176.39 c | 258433 | 200 17000 119000 | 73882 66978 58 | 0.003 % |
176.40/176.51 c | 258579 | 200 17000 119000 | 73882 67124 58 | 0.003 % |
176.50/176.67 c | 258740 | 200 17000 119000 | 73882 67285 58 | 0.003 % |
176.70/176.80 c | 258918 | 200 17000 119000 | 73882 67463 58 | 0.003 % |
176.80/176.95 c | 259112 | 200 17000 119000 | 73882 67657 58 | 0.003 % |
177.00/177.10 c | 259326 | 200 17000 119000 | 73882 67871 58 | 0.003 % |
177.10/177.29 c | 259559 | 200 17000 119000 | 73882 68104 58 | 0.003 % |
177.40/177.54 c | 259815 | 200 17000 119000 | 73882 68360 58 | 0.003 % |
177.70/177.86 c | 260097 | 200 17000 119000 | 68545 61525 58 | 0.003 % |
177.89/178.09 c | 260408 | 200 17000 119000 | 68545 61836 58 | 0.003 % |
178.19/178.35 c | 260749 | 200 17000 119000 | 68545 62177 58 | 0.003 % |
178.39/178.58 c | 261121 | 200 17000 119000 | 68545 62549 58 | 0.003 % |
178.69/178.88 c | 261530 | 200 17000 119000 | 68545 62958 58 | 0.003 % |
179.10/179.22 c | 261979 | 200 17000 119000 | 68545 63407 58 | 0.003 % |
179.39/179.58 c | 262472 | 200 17000 119000 | 68545 63900 58 | 0.003 % |
179.79/179.94 c | 263014 | 200 17000 119000 | 68545 64442 58 | 0.003 % |
180.30/180.44 c | 263610 | 200 17000 119000 | 68545 65038 58 | 0.003 % |
180.69/180.89 c | 264265 | 200 17000 119000 | 68545 65693 58 | 0.003 % |
181.30/181.43 c | 264985 | 200 17000 119000 | 68545 66413 58 | 0.003 % |
181.89/182.02 c | 265777 | 200 17000 119000 | 68545 67205 58 | 0.003 % |
182.40/182.60 c | 266649 | 200 17000 119000 | 68545 68077 58 | 0.003 % |
183.19/183.39 c | 267607 | 200 17000 119000 | 68545 62171 58 | 0.003 % |
183.99/184.10 c | 268660 | 200 17000 119000 | 68545 63224 58 | 0.003 % |
184.70/184.88 c | 269820 | 200 17000 119000 | 68545 64384 58 | 0.003 % |
185.70/185.81 c | 271094 | 200 17000 119000 | 2147483647 65658 58 | 0.003 % |
186.69/186.83 c | 272496 | 200 17000 119000 | 2147483647 67060 58 | 0.003 % |
187.79/187.94 c | 274037 | 200 17000 119000 | 2147483647 68601 58 | 0.003 % |
189.09/189.29 c | 275732 | 200 17000 119000 | 2147483647 70296 58 | 0.003 % |
190.49/190.60 c | 277596 | 200 17000 119000 | 2147483647 72160 58 | 0.003 % |
192.09/192.22 c | 279646 | 200 17000 119000 | 2147483647 74210 58 | 0.003 % |
193.69/193.87 c | 281900 | 200 17000 119000 | 74564 67871 58 | 0.003 % |
195.39/195.55 c | 284379 | 200 17000 119000 | 74564 70350 58 | 0.003 % |
197.29/197.48 c | 287104 | 200 17000 119000 | 74564 73075 58 | 0.003 % |
197.39/197.56 c | 287204 | 200 17000 119000 | 74564 73175 58 | 0.003 % |
197.49/197.64 c | 287314 | 200 17000 119000 | 74564 73285 58 | 0.003 % |
197.59/197.73 c | 287435 | 200 17000 119000 | 74564 73406 58 | 0.003 % |
197.69/197.85 c | 287568 | 200 17000 119000 | 74564 73539 58 | 0.003 % |
197.89/198.01 c | 287714 | 200 17000 119000 | 74564 73685 58 | 0.003 % |
197.99/198.16 c | 287874 | 200 17000 119000 | 74564 73845 58 | 0.003 % |
198.19/198.33 c | 288050 | 200 17000 119000 | 74564 74021 58 | 0.003 % |
198.38/198.54 c | 288243 | 200 17000 119000 | 74564 74214 58 | 0.003 % |
198.58/198.74 c | 288455 | 200 17000 119000 | 74564 74426 58 | 0.003 % |
198.78/198.97 c | 288690 | 200 17000 119000 | 74564 74661 58 | 0.003 % |
199.09/199.22 c | 288946 | 200 17000 119000 | 74564 66671 58 | 0.003 % |
199.29/199.45 c | 289227 | 200 17000 119000 | 74564 66952 58 | 0.003 % |
199.49/199.66 c | 289539 | 200 17000 119000 | 74564 67264 58 | 0.003 % |
199.79/199.93 c | 289879 | 200 17000 119000 | 74564 67604 58 | 0.003 % |
200.09/200.28 c | 290251 | 200 17000 119000 | 67725 60496 58 | 0.003 % |
200.38/200.58 c | 290660 | 200 17000 119000 | 67725 60905 58 | 0.003 % |
200.68/200.87 c | 291109 | 200 17000 119000 | 67725 61354 58 | 0.003 % |
201.09/201.23 c | 291602 | 200 17000 119000 | 67725 61847 58 | 0.003 % |
201.48/201.62 c | 292144 | 200 17000 119000 | 67725 62389 58 | 0.003 % |
201.88/202.02 c | 292742 | 200 17000 119000 | 67725 62987 58 | 0.003 % |
202.29/202.48 c | 293397 | 200 17000 119000 | 67725 63642 58 | 0.003 % |
202.78/202.96 c | 294117 | 200 17000 119000 | 67725 64362 58 | 0.003 % |
203.39/203.53 c | 294911 | 200 17000 119000 | 67725 65156 58 | 0.003 % |
203.98/204.14 c | 295782 | 200 17000 119000 | 67725 66027 58 | 0.003 % |
204.68/204.81 c | 296741 | 200 17000 119000 | 67725 66986 58 | 0.003 % |
205.38/205.58 c | 297794 | 200 17000 119000 | 67725 61258 58 | 0.003 % |
206.18/206.31 c | 298952 | 200 17000 119000 | 67725 62416 58 | 0.003 % |
207.08/207.20 c | 300225 | 200 17000 119000 | 2147483647 63689 58 | 0.003 % |
207.98/208.19 c | 301626 | 200 17000 119000 | 2147483647 65090 58 | 0.003 % |
208.98/209.19 c | 303166 | 200 17000 119000 | 2147483647 66630 58 | 0.003 % |
210.28/210.45 c | 304860 | 200 17000 119000 | 2147483647 68324 58 | 0.003 % |
211.58/211.72 c | 306723 | 200 17000 119000 | 2147483647 70187 58 | 0.003 % |
212.88/213.09 c | 308772 | 200 17000 119000 | 2147483647 72236 58 | 0.003 % |
214.48/214.65 c | 311026 | 200 17000 119000 | 2147483647 74490 58 | 0.003 % |
216.68/216.87 c | 313507 | 200 17000 119000 | 2147483647 76971 58 | 0.003 % |
219.18/219.30 c | 316232 | 200 17000 119000 | 2147483647 79696 58 | 0.003 % |
221.68/221.85 c | 319230 | 200 17000 119000 | 2147483647 82694 58 | 0.003 % |
221.78/221.97 c | 319330 | 200 17000 119000 | 2147483647 82794 58 | 0.003 % |
221.88/222.07 c | 319441 | 200 17000 119000 | 2147483647 82905 58 | 0.003 % |
221.99/222.19 c | 319562 | 200 17000 119000 | 2147483647 83026 58 | 0.003 % |
222.18/222.34 c | 319698 | 200 17000 119000 | 2147483647 83162 58 | 0.003 % |
222.28/222.48 c | 319844 | 200 17000 119000 | 2147483647 83308 58 | 0.003 % |
222.48/222.65 c | 320005 | 200 17000 119000 | 83464 83469 58 | 0.003 % |
222.78/222.92 c | 320181 | 200 17000 119000 | 83464 71333 58 | 0.003 % |
222.98/223.10 c | 320375 | 200 17000 119000 | 83464 71527 58 | 0.003 % |
223.08/223.29 c | 320588 | 200 17000 119000 | 83464 71740 58 | 0.003 % |
223.38/223.50 c | 320821 | 200 17000 119000 | 83464 71973 58 | 0.003 % |
223.58/223.71 c | 321078 | 200 17000 119000 | 83464 72230 58 | 0.003 % |
223.78/223.95 c | 321359 | 200 17000 119000 | 83464 72511 58 | 0.003 % |
224.08/224.25 c | 321669 | 200 17000 119000 | 83464 72821 58 | 0.003 % |
224.38/224.54 c | 322008 | 200 17000 119000 | 83464 73160 58 | 0.003 % |
224.68/224.88 c | 322383 | 200 17000 119000 | 83464 73535 58 | 0.003 % |
225.08/225.25 c | 322793 | 200 17000 119000 | 83464 73945 58 | 0.003 % |
225.48/225.63 c | 323243 | 200 17000 119000 | 83464 74395 58 | 0.003 % |
225.88/226.01 c | 323736 | 200 17000 119000 | 83464 74888 58 | 0.003 % |
226.28/226.46 c | 324279 | 200 17000 119000 | 83464 75431 58 | 0.003 % |
226.78/226.97 c | 324877 | 200 17000 119000 | 83464 76029 58 | 0.003 % |
227.38/227.51 c | 325533 | 200 17000 119000 | 83464 76685 58 | 0.003 % |
228.08/228.22 c | 326255 | 200 17000 119000 | 83464 77407 58 | 0.003 % |
228.78/228.93 c | 327047 | 200 17000 119000 | 83464 78199 58 | 0.003 % |
229.48/229.69 c | 327918 | 200 17000 119000 | 83464 79070 58 | 0.003 % |
230.37/230.55 c | 328877 | 200 17000 119000 | 83464 80029 58 | 0.003 % |
231.27/231.49 c | 329930 | 200 17000 119000 | 83464 81082 58 | 0.003 % |
232.27/232.46 c | 331089 | 200 17000 119000 | 81152 69751 58 | 0.003 % |
233.37/233.55 c | 332362 | 200 17000 119000 | 81152 71024 58 | 0.003 % |
234.57/234.76 c | 333762 | 200 17000 119000 | 81152 72424 58 | 0.003 % |
235.77/235.98 c | 335303 | 200 17000 119000 | 81152 73965 58 | 0.003 % |
237.17/237.33 c | 336998 | 200 17000 119000 | 81152 75660 58 | 0.003 % |
238.57/238.78 c | 338862 | 200 17000 119000 | 81152 77524 58 | 0.003 % |
240.37/240.51 c | 340912 | 200 17000 119000 | 78663 69404 58 | 0.003 % |
241.97/242.17 c | 343165 | 200 17000 119000 | 78663 71657 58 | 0.003 % |
243.87/244.05 c | 345646 | 200 17000 119000 | 78663 74138 58 | 0.003 % |
245.87/246.05 c | 348372 | 200 17000 119000 | 78663 76864 58 | 0.003 % |
248.27/248.43 c | 351370 | 200 17000 119000 | 78493 70713 58 | 0.003 % |
250.67/250.87 c | 354666 | 200 17000 119000 | 78493 74009 58 | 0.003 % |
250.77/250.95 c | 354767 | 200 17000 119000 | 78493 74110 58 | 0.003 % |
250.87/251.05 c | 354878 | 200 17000 119000 | 78493 74221 58 | 0.003 % |
250.96/251.15 c | 355000 | 200 17000 119000 | 78493 74343 58 | 0.003 % |
251.06/251.30 c | 355134 | 200 17000 119000 | 78493 74477 58 | 0.003 % |
251.26/251.42 c | 355280 | 200 17000 119000 | 78493 74623 58 | 0.003 % |
251.36/251.57 c | 355441 | 200 17000 119000 | 78493 74784 58 | 0.003 % |
251.56/251.73 c | 355618 | 200 17000 119000 | 78493 74961 58 | 0.003 % |
251.77/251.90 c | 355811 | 200 17000 119000 | 78493 75154 58 | 0.003 % |
251.86/252.09 c | 356025 | 200 17000 119000 | 78493 75368 58 | 0.003 % |
252.16/252.33 c | 356259 | 200 17000 119000 | 78493 75602 58 | 0.003 % |
252.36/252.58 c | 356518 | 200 17000 119000 | 78493 75861 58 | 0.003 % |
252.66/252.87 c | 356800 | 200 17000 119000 | 78493 76143 58 | 0.003 % |
252.96/253.13 c | 357110 | 200 17000 119000 | 78493 76453 58 | 0.003 % |
253.26/253.41 c | 357450 | 200 17000 119000 | 78493 76793 58 | 0.003 % |
253.56/253.73 c | 357823 | 200 17000 119000 | 78493 77166 58 | 0.003 % |
253.87/254.09 c | 358232 | 200 17000 119000 | 78493 77575 58 | 0.003 % |
254.26/254.48 c | 358681 | 200 17000 119000 | 78493 78024 58 | 0.003 % |
254.66/254.86 c | 359174 | 200 17000 119000 | 78493 78517 58 | 0.003 % |
255.16/255.36 c | 359719 | 200 17000 119000 | 78493 69074 58 | 0.003 % |
255.66/255.82 c | 360315 | 200 17000 119000 | 69358 60985 58 | 0.003 % |
256.07/256.24 c | 360970 | 200 17000 119000 | 69358 61640 58 | 0.003 % |
256.46/256.69 c | 361691 | 200 17000 119000 | 69358 62361 58 | 0.003 % |
256.96/257.18 c | 362484 | 200 17000 119000 | 69358 63154 58 | 0.003 % |
257.56/257.76 c | 363355 | 200 17000 119000 | 69358 64025 58 | 0.003 % |
258.26/258.42 c | 364314 | 200 17000 119000 | 69358 64984 58 | 0.003 % |
258.86/259.06 c | 365367 | 200 17000 119000 | 69358 66037 58 | 0.003 % |
259.66/259.85 c | 366525 | 200 17000 119000 | 69358 67195 58 | 0.003 % |
260.76/260.93 c | 367798 | 200 17000 119000 | 69358 68468 58 | 0.003 % |
261.86/262.01 c | 369198 | 200 17000 119000 | 69358 62923 58 | 0.003 % |
262.86/263.08 c | 370738 | 200 17000 119000 | 2147483647 64463 58 | 0.003 % |
263.96/264.18 c | 372432 | 200 17000 119000 | 2147483647 66157 58 | 0.003 % |
265.16/265.36 c | 374295 | 200 17000 119000 | 2147483647 68020 58 | 0.003 % |
266.66/266.81 c | 376344 | 200 17000 119000 | 2147483647 70069 58 | 0.003 % |
268.26/268.47 c | 378598 | 200 17000 119000 | 2147483647 72323 58 | 0.003 % |
270.46/270.65 c | 381076 | 200 17000 119000 | 2147483647 74801 58 | 0.003 % |
272.66/272.86 c | 383802 | 200 17000 119000 | 2147483647 77527 58 | 0.003 % |
274.95/275.11 c | 386799 | 200 17000 119000 | 2147483647 80524 58 | 0.003 % |
277.45/277.69 c | 390095 | 200 17000 119000 | 83726 83820 58 | 0.003 % |
280.25/280.50 c | 393722 | 200 17000 119000 | 83726 76530 58 | 0.003 % |
280.35/280.58 c | 393822 | 200 17000 119000 | 83726 76630 58 | 0.003 % |
280.45/280.68 c | 393933 | 200 17000 119000 | 83726 76741 58 | 0.003 % |
280.55/280.80 c | 394054 | 200 17000 119000 | 83726 76862 58 | 0.003 % |
280.75/280.94 c | 394187 | 200 17000 119000 | 83726 76995 58 | 0.003 % |
280.85/281.08 c | 394335 | 200 17000 119000 | 83726 77143 58 | 0.003 % |
281.05/281.24 c | 394495 | 200 17000 119000 | 83726 77303 58 | 0.003 % |
281.25/281.42 c | 394672 | 200 17000 119000 | 83726 77480 58 | 0.003 % |
281.35/281.59 c | 394865 | 200 17000 119000 | 83726 77673 58 | 0.003 % |
281.55/281.78 c | 395079 | 200 17000 119000 | 83726 77887 58 | 0.003 % |
281.85/282.02 c | 395313 | 200 17000 119000 | 83726 78121 58 | 0.003 % |
282.05/282.27 c | 395569 | 200 17000 119000 | 83726 78377 58 | 0.003 % |
282.35/282.56 c | 395853 | 200 17000 119000 | 83726 78661 58 | 0.003 % |
282.65/282.87 c | 396163 | 200 17000 119000 | 83726 78971 58 | 0.003 % |
282.95/283.17 c | 396503 | 200 17000 119000 | 83726 79311 58 | 0.003 % |
283.35/283.54 c | 396875 | 200 17000 119000 | 83726 79683 58 | 0.003 % |
283.75/283.92 c | 397284 | 200 17000 119000 | 83726 80092 58 | 0.003 % |
284.15/284.35 c | 397733 | 200 17000 119000 | 83726 80541 58 | 0.003 % |
284.65/284.81 c | 398226 | 200 17000 119000 | 83726 81034 58 | 0.003 % |
285.05/285.28 c | 398770 | 200 17000 119000 | 83726 81578 58 | 0.003 % |
285.65/285.81 c | 399366 | 200 17000 119000 | 83726 82174 58 | 0.003 % |
286.14/286.36 c | 400023 | 200 17000 119000 | 82809 82831 58 | 0.003 % |
286.85/287.07 c | 400743 | 200 17000 119000 | 82809 71090 58 | 0.003 % |
287.54/287.72 c | 401536 | 200 17000 119000 | 82809 71883 58 | 0.003 % |
288.24/288.45 c | 402410 | 200 17000 119000 | 82809 72757 58 | 0.003 % |
288.94/289.19 c | 403368 | 200 17000 119000 | 82809 73715 58 | 0.003 % |
289.84/290.06 c | 404422 | 200 17000 119000 | 82809 74769 58 | 0.003 % |
290.84/291.05 c | 405580 | 200 17000 119000 | 82809 75927 58 | 0.003 % |
292.04/292.21 c | 406853 | 200 17000 119000 | 82809 77200 58 | 0.003 % |
293.14/293.38 c | 408253 | 200 17000 119000 | 82809 78600 58 | 0.003 % |
294.34/294.54 c | 409794 | 200 17000 119000 | 82809 80141 58 | 0.003 % |
295.64/295.90 c | 411490 | 200 17000 119000 | 80347 70197 58 | 0.003 % |
297.14/297.31 c | 413353 | 200 17000 119000 | 80347 72060 58 | 0.003 % |
298.64/298.83 c | 415403 | 200 17000 119000 | 80347 74110 58 | 0.003 % |
300.44/300.61 c | 417659 | 200 17000 119000 | 80347 76366 58 | 0.003 % |
302.54/302.74 c | 420141 | 200 17000 119000 | 78707 68728 58 | 0.003 % |
304.54/304.77 c | 422866 | 200 17000 119000 | 78707 71453 58 | 0.003 % |
306.84/307.06 c | 425864 | 200 17000 119000 | 78707 74451 58 | 0.003 % |
309.33/309.57 c | 429161 | 200 17000 119000 | 78707 77748 58 | 0.003 % |
312.03/312.23 c | 432786 | 200 17000 119000 | 78587 72066 58 | 0.003 % |
314.93/315.18 c | 436773 | 200 17000 119000 | 78587 76053 58 | 0.003 % |
315.03/315.26 c | 436873 | 200 17000 119000 | 78587 76153 58 | 0.003 % |
315.13/315.35 c | 436983 | 200 17000 119000 | 78587 76263 58 | 0.003 % |
315.23/315.46 c | 437107 | 200 17000 119000 | 78587 76387 58 | 0.003 % |
315.33/315.58 c | 437243 | 200 17000 119000 | 78587 76523 58 | 0.003 % |
315.44/315.70 c | 437390 | 200 17000 119000 | 78587 76670 58 | 0.003 % |
315.63/315.84 c | 437550 | 200 17000 119000 | 78587 76830 58 | 0.003 % |
315.83/316.04 c | 437727 | 200 17000 119000 | 78587 77007 58 | 0.003 % |
316.03/316.21 c | 437921 | 200 17000 119000 | 78587 77201 58 | 0.003 % |
316.23/316.44 c | 438134 | 200 17000 119000 | 78587 77414 58 | 0.003 % |
316.43/316.64 c | 438367 | 200 17000 119000 | 78587 77647 58 | 0.003 % |
316.64/316.87 c | 438624 | 200 17000 119000 | 78587 77904 58 | 0.003 % |
316.93/317.10 c | 438907 | 200 17000 119000 | 78587 78187 58 | 0.003 % |
317.13/317.38 c | 439218 | 200 17000 119000 | 78587 78498 58 | 0.003 % |
317.53/317.70 c | 439558 | 200 17000 119000 | 78587 69438 58 | 0.003 % |
317.83/318.05 c | 439930 | 200 17000 119000 | 78587 69810 58 | 0.003 % |
318.23/318.44 c | 440340 | 200 17000 119000 | 69880 61742 58 | 0.003 % |
318.53/318.76 c | 440790 | 200 17000 119000 | 69880 62192 58 | 0.003 % |
318.83/319.08 c | 441283 | 200 17000 119000 | 69880 62685 58 | 0.003 % |
319.23/319.43 c | 441825 | 200 17000 119000 | 69880 63227 58 | 0.003 % |
319.63/319.83 c | 442421 | 200 17000 119000 | 69880 63823 58 | 0.003 % |
320.03/320.25 c | 443079 | 200 17000 119000 | 69880 64481 58 | 0.003 % |
320.63/320.86 c | 443801 | 200 17000 119000 | 69880 65203 58 | 0.003 % |
321.23/321.42 c | 444593 | 200 17000 119000 | 69880 65995 58 | 0.003 % |
321.83/322.06 c | 445466 | 200 17000 119000 | 69880 66868 58 | 0.003 % |
322.63/322.80 c | 446425 | 200 17000 119000 | 69880 67827 58 | 0.003 % |
323.43/323.63 c | 447480 | 200 17000 119000 | 69880 68882 58 | 0.003 % |
324.33/324.52 c | 448639 | 200 17000 119000 | 69880 63044 58 | 0.003 % |
325.13/325.37 c | 449912 | 200 17000 119000 | 69880 64317 58 | 0.003 % |
326.13/326.36 c | 451314 | 200 17000 119000 | 2147483647 65719 58 | 0.003 % |
327.23/327.41 c | 452855 | 200 17000 119000 | 2147483647 67260 58 | 0.003 % |
328.33/328.58 c | 454550 | 200 17000 119000 | 2147483647 68955 58 | 0.003 % |
329.83/330.09 c | 456415 | 200 17000 119000 | 2147483647 70820 58 | 0.003 % |
331.42/331.65 c | 458465 | 200 17000 119000 | 2147483647 72870 58 | 0.003 % |
333.22/333.47 c | 460719 | 200 17000 119000 | 2147483647 75124 58 | 0.003 % |
335.12/335.36 c | 463198 | 200 17000 119000 | 2147483647 77603 58 | 0.003 % |
337.43/337.61 c | 465924 | 200 17000 119000 | 2147483647 80329 58 | 0.003 % |
339.82/340.09 c | 468923 | 200 17000 119000 | 2147483647 83328 58 | 0.003 % |
342.73/342.91 c | 472219 | 200 17000 119000 | 84405 75293 58 | 0.003 % |
345.53/345.76 c | 475845 | 200 17000 119000 | 84405 78919 58 | 0.003 % |
348.82/349.01 c | 479833 | 200 17000 119000 | 84405 82907 58 | 0.003 % |
351.92/352.18 c | 484219 | 200 17000 119000 | 83076 75880 58 | 0.003 % |
352.02/352.25 c | 484319 | 200 17000 119000 | 83076 75980 58 | 0.003 % |
352.12/352.35 c | 484429 | 200 17000 119000 | 83076 76090 58 | 0.003 % |
352.22/352.47 c | 484551 | 200 17000 119000 | 83076 76212 58 | 0.003 % |
352.42/352.62 c | 484684 | 200 17000 119000 | 83076 76345 58 | 0.003 % |
352.52/352.76 c | 484831 | 200 17000 119000 | 83076 76492 58 | 0.003 % |
352.72/352.92 c | 484993 | 200 17000 119000 | 83076 76654 58 | 0.003 % |
352.83/353.08 c | 485169 | 200 17000 119000 | 83076 76830 58 | 0.003 % |
353.02/353.23 c | 485364 | 200 17000 119000 | 83076 77025 58 | 0.003 % |
353.22/353.43 c | 485578 | 200 17000 119000 | 83076 77239 58 | 0.003 % |
353.42/353.67 c | 485811 | 200 17000 119000 | 83076 77472 58 | 0.003 % |
353.72/353.92 c | 486068 | 200 17000 119000 | 83076 77729 58 | 0.003 % |
354.02/354.21 c | 486349 | 200 17000 119000 | 83076 78010 58 | 0.003 % |
354.22/354.47 c | 486659 | 200 17000 119000 | 83076 78320 58 | 0.003 % |
354.52/354.78 c | 487000 | 200 17000 119000 | 83076 78661 58 | 0.003 % |
354.92/355.13 c | 487372 | 200 17000 119000 | 83076 79033 58 | 0.003 % |
355.32/355.50 c | 487782 | 200 17000 119000 | 83076 79443 58 | 0.003 % |
355.72/355.90 c | 488232 | 200 17000 119000 | 83076 79893 58 | 0.003 % |
356.02/356.30 c | 488727 | 200 17000 119000 | 83076 80388 58 | 0.003 % |
356.52/356.76 c | 489269 | 200 17000 119000 | 83076 80930 58 | 0.003 % |
357.12/357.30 c | 489866 | 200 17000 119000 | 83076 81527 58 | 0.003 % |
357.72/357.95 c | 490523 | 200 17000 119000 | 81662 70441 58 | 0.003 % |
358.32/358.54 c | 491244 | 200 17000 119000 | 81662 71162 58 | 0.003 % |
358.92/359.15 c | 492038 | 200 17000 119000 | 81662 71956 58 | 0.003 % |
359.62/359.86 c | 492910 | 200 17000 119000 | 81662 72828 58 | 0.003 % |
360.42/360.62 c | 493870 | 200 17000 119000 | 81662 73788 58 | 0.003 % |
361.22/361.41 c | 494924 | 200 17000 119000 | 81662 74842 58 | 0.003 % |
362.12/362.36 c | 496082 | 200 17000 119000 | 81662 76000 58 | 0.003 % |
363.21/363.46 c | 497356 | 200 17000 119000 | 81662 77274 58 | 0.003 % |
364.31/364.58 c | 498757 | 200 17000 119000 | 81662 78675 58 | 0.003 % |
365.61/365.86 c | 500298 | 200 17000 119000 | 79919 69103 58 | 0.003 % |
366.81/367.09 c | 501992 | 200 17000 119000 | 79919 70797 58 | 0.003 % |
368.22/368.46 c | 503856 | 200 17000 119000 | 79919 72661 58 | 0.003 % |
369.71/369.92 c | 505907 | 200 17000 119000 | 79919 74712 58 | 0.003 % |
371.21/371.49 c | 508161 | 200 17000 119000 | 79919 76966 58 | 0.003 % |
373.01/373.26 c | 510639 | 200 17000 119000 | 78806 70364 58 | 0.003 % |
375.01/375.23 c | 513366 | 200 17000 119000 | 78806 73091 58 | 0.003 % |
377.21/377.40 c | 516363 | 200 17000 119000 | 78806 76088 58 | 0.003 % |
379.51/379.73 c | 519659 | 200 17000 119000 | 78806 70402 58 | 0.003 % |
381.81/382.00 c | 523284 | 200 17000 119000 | 70744 66035 58 | 0.003 % |
384.51/384.76 c | 527271 | 200 17000 119000 | 70744 70022 59 | 0.003 % |
387.51/387.74 c | 531656 | 200 17000 119000 | 2147483647 67324 59 | 0.003 % |
391.00/391.24 c | 536480 | 200 17000 119000 | 2147483647 72148 59 | 0.003 % |
391.10/391.31 c | 536583 | 200 17000 119000 | 2147483647 72251 59 | 0.003 % |
391.20/391.42 c | 536693 | 200 17000 119000 | 2147483647 72361 59 | 0.003 % |
391.31/391.52 c | 536815 | 200 17000 119000 | 2147483647 72483 59 | 0.003 % |
391.41/391.64 c | 536949 | 200 17000 119000 | 2147483647 72617 59 | 0.003 % |
391.50/391.76 c | 537095 | 200 17000 119000 | 2147483647 72763 59 | 0.003 % |
391.70/391.90 c | 537255 | 200 17000 119000 | 2147483647 72923 59 | 0.003 % |
391.80/392.06 c | 537431 | 200 17000 119000 | 2147483647 73099 59 | 0.003 % |
392.00/392.25 c | 537624 | 200 17000 119000 | 2147483647 73292 59 | 0.003 % |
392.20/392.43 c | 537836 | 200 17000 119000 | 2147483647 73504 59 | 0.003 % |
392.40/392.66 c | 538069 | 200 17000 119000 | 2147483647 73737 59 | 0.003 % |
392.60/392.89 c | 538326 | 200 17000 119000 | 2147483647 73994 59 | 0.003 % |
392.90/393.11 c | 538609 | 200 17000 119000 | 2147483647 74277 59 | 0.003 % |
393.10/393.36 c | 538919 | 200 17000 119000 | 2147483647 74587 59 | 0.003 % |
393.40/393.67 c | 539259 | 200 17000 119000 | 2147483647 74927 59 | 0.003 % |
393.70/393.97 c | 539631 | 200 17000 119000 | 2147483647 75299 59 | 0.003 % |
394.10/394.35 c | 540041 | 200 17000 119000 | 75668 75709 59 | 0.003 % |
394.50/394.79 c | 540490 | 200 17000 119000 | 75668 68415 59 | 0.003 % |
394.90/395.17 c | 540985 | 200 17000 119000 | 75668 68910 59 | 0.003 % |
395.30/395.57 c | 541528 | 200 17000 119000 | 75668 69453 59 | 0.003 % |
395.80/396.09 c | 542124 | 200 17000 119000 | 75668 70049 59 | 0.003 % |
396.40/396.63 c | 542780 | 200 17000 119000 | 75668 70705 59 | 0.003 % |
396.90/397.18 c | 543500 | 200 17000 119000 | 75668 71425 59 | 0.003 % |
397.58/397.83 c | 544292 | 200 17000 119000 | 75668 72217 59 | 0.003 % |
398.18/398.44 c | 545163 | 200 17000 119000 | 75668 73088 59 | 0.003 % |
398.88/399.18 c | 546121 | 200 17000 119000 | 75668 74046 59 | 0.003 % |
399.68/399.95 c | 547175 | 200 17000 119000 | 75668 75100 59 | 0.003 % |
400.58/400.85 c | 548335 | 200 17000 119000 | 75668 67486 59 | 0.003 % |
401.38/401.67 c | 549608 | 200 17000 119000 | 75668 68759 59 | 0.003 % |
402.38/402.64 c | 551008 | 200 17000 119000 | 69151 62622 59 | 0.003 % |
403.48/403.71 c | 552549 | 200 17000 119000 | 69151 64163 59 | 0.003 % |
404.58/404.90 c | 554243 | 200 17000 119000 | 69151 65857 59 | 0.003 % |
405.78/406.06 c | 556106 | 200 17000 119000 | 69151 67720 59 | 0.003 % |
407.18/407.46 c | 558155 | 200 17000 119000 | 69151 62845 59 | 0.003 % |
408.58/408.85 c | 560409 | 200 17000 119000 | 2147483647 65099 59 | 0.003 % |
410.08/410.37 c | 562887 | 200 17000 119000 | 2147483647 67577 59 | 0.003 % |
411.98/412.22 c | 565613 | 200 17000 119000 | 2147483647 70303 59 | 0.003 % |
414.17/414.41 c | 568613 | 200 17000 119000 | 2147483647 73303 59 | 0.003 % |
416.77/417.07 c | 571909 | 200 17000 119000 | 2147483647 76599 59 | 0.003 % |
419.47/419.75 c | 575535 | 200 17000 119000 | 2147483647 80225 59 | 0.003 % |
422.87/423.13 c | 579522 | 200 17000 119000 | 2147483647 84212 59 | 0.003 % |
426.16/426.47 c | 583907 | 200 17000 119000 | 84690 76909 59 | 0.003 % |
429.76/430.10 c | 588731 | 200 17000 119000 | 84690 81733 59 | 0.003 % |
433.76/434.08 c | 594037 | 200 17000 119000 | 83002 75510 59 | 0.003 % |
433.86/434.19 c | 594138 | 200 17000 119000 | 83002 75611 59 | 0.003 % |
433.96/434.28 c | 594248 | 200 17000 119000 | 83002 75721 59 | 0.003 % |
434.06/434.39 c | 594369 | 200 17000 119000 | 83002 75842 59 | 0.003 % |
434.26/434.52 c | 594502 | 200 17000 119000 | 83002 75975 59 | 0.003 % |
434.36/434.66 c | 594648 | 200 17000 119000 | 83002 76121 59 | 0.003 % |
434.56/434.81 c | 594808 | 200 17000 119000 | 83002 76281 59 | 0.003 % |
434.66/434.97 c | 594985 | 200 17000 119000 | 83002 76458 59 | 0.003 % |
434.86/435.13 c | 595178 | 200 17000 119000 | 83002 76651 59 | 0.003 % |
435.06/435.31 c | 595391 | 200 17000 119000 | 83002 76864 59 | 0.003 % |
435.26/435.52 c | 595624 | 200 17000 119000 | 83002 77097 59 | 0.003 % |
435.46/435.74 c | 595880 | 200 17000 119000 | 83002 77353 59 | 0.003 % |
435.66/435.98 c | 596162 | 200 17000 119000 | 83002 77635 59 | 0.003 % |
435.96/436.25 c | 596471 | 200 17000 119000 | 83002 77944 59 | 0.003 % |
436.26/436.53 c | 596812 | 200 17000 119000 | 83002 78285 59 | 0.003 % |
436.56/436.86 c | 597184 | 200 17000 119000 | 83002 78657 59 | 0.003 % |
436.86/437.20 c | 597596 | 200 17000 119000 | 83002 79069 59 | 0.003 % |
437.36/437.66 c | 598046 | 200 17000 119000 | 83002 79519 59 | 0.003 % |
437.86/438.15 c | 598539 | 200 17000 119000 | 83002 80012 59 | 0.003 % |
438.36/438.69 c | 599081 | 200 17000 119000 | 83002 80554 59 | 0.003 % |
439.06/439.38 c | 599678 | 200 17000 119000 | 83002 81151 59 | 0.003 % |
439.76/440.04 c | 600333 | 200 17000 119000 | 81474 69760 59 | 0.003 % |
440.36/440.66 c | 601056 | 200 17000 119000 | 81474 70483 59 | 0.003 % |
441.06/441.35 c | 601849 | 200 17000 119000 | 81474 71276 59 | 0.003 % |
441.76/442.09 c | 602720 | 200 17000 119000 | 81474 72147 59 | 0.003 % |
442.55/442.83 c | 603679 | 200 17000 119000 | 81474 73106 59 | 0.003 % |
443.45/443.70 c | 604732 | 200 17000 119000 | 81474 74159 59 | 0.003 % |
444.25/444.57 c | 605892 | 200 17000 119000 | 81474 75319 59 | 0.003 % |
445.26/445.51 c | 607166 | 200 17000 119000 | 81474 76593 59 | 0.003 % |
446.36/446.63 c | 608567 | 200 17000 119000 | 81474 77994 59 | 0.003 % |
447.75/448.05 c | 610107 | 200 17000 119000 | 79427 68746 59 | 0.003 % |
448.95/449.26 c | 611802 | 200 17000 119000 | 79427 70441 59 | 0.003 % |
450.35/450.64 c | 613666 | 200 17000 119000 | 79427 72305 59 | 0.003 % |
451.86/452.13 c | 615717 | 200 17000 119000 | 79427 74356 59 | 0.003 % |
453.56/453.85 c | 617970 | 200 17000 119000 | 79427 76609 59 | 0.003 % |
455.56/455.87 c | 620450 | 200 17000 119000 | 78639 69013 59 | 0.003 % |
457.46/457.76 c | 623176 | 200 17000 119000 | 78639 71739 59 | 0.003 % |
459.71/460.05 c | 626173 | 200 17000 119000 | 78639 74736 59 | 0.003 % |
462.31/462.69 c | 629469 | 200 17000 119000 | 78639 78032 59 | 0.003 % |
465.10/465.49 c | 633094 | 200 17000 119000 | 78564 72025 59 | 0.003 % |
468.10/468.46 c | 637082 | 200 17000 119000 | 78564 76013 59 | 0.003 % |
471.49/471.83 c | 641468 | 200 17000 119000 | 68804 61481 59 | 0.003 % |
474.38/474.79 c | 646292 | 200 17000 119000 | 68804 66305 59 | 0.003 % |
477.88/478.28 c | 651597 | 200 17000 119000 | 2147483647 64721 59 | 0.003 % |
481.88/482.25 c | 657432 | 200 17000 119000 | 2147483647 70556 59 | 0.003 % |
481.98/482.33 c | 657533 | 200 17000 119000 | 2147483647 70657 59 | 0.003 % |
482.08/482.43 c | 657643 | 200 17000 119000 | 2147483647 70767 59 | 0.003 % |
482.18/482.52 c | 657764 | 200 17000 119000 | 2147483647 70888 59 | 0.003 % |
482.28/482.64 c | 657897 | 200 17000 119000 | 2147483647 71021 59 | 0.003 % |
482.38/482.76 c | 658043 | 200 17000 119000 | 2147483647 71167 59 | 0.003 % |
482.59/482.91 c | 658205 | 200 17000 119000 | 2147483647 71329 59 | 0.003 % |
482.68/483.07 c | 658382 | 200 17000 119000 | 2147483647 71506 59 | 0.003 % |
482.88/483.24 c | 658575 | 200 17000 119000 | 2147483647 71699 59 | 0.003 % |
483.08/483.47 c | 658787 | 200 17000 119000 | 2147483647 71911 59 | 0.003 % |
483.28/483.69 c | 659022 | 200 17000 119000 | 2147483647 72146 59 | 0.003 % |
483.58/483.94 c | 659279 | 200 17000 119000 | 2147483647 72403 59 | 0.003 % |
483.88/484.21 c | 659562 | 200 17000 119000 | 2147483647 72686 59 | 0.003 % |
484.18/484.52 c | 659872 | 200 17000 119000 | 2147483647 72996 59 | 0.003 % |
484.48/484.81 c | 660211 | 200 17000 119000 | 2147483647 73335 59 | 0.003 % |
484.78/485.13 c | 660584 | 200 17000 119000 | 2147483647 73708 59 | 0.003 % |
485.08/485.48 c | 660996 | 200 17000 119000 | 2147483647 74120 59 | 0.003 % |
485.48/485.85 c | 661445 | 200 17000 119000 | 2147483647 74569 59 | 0.003 % |
485.88/486.27 c | 661941 | 200 17000 119000 | 2147483647 75065 59 | 0.003 % |
486.38/486.73 c | 662484 | 200 17000 119000 | 2147483647 75608 59 | 0.003 % |
486.78/487.19 c | 663081 | 200 17000 119000 | 2147483647 76205 59 | 0.003 % |
487.38/487.78 c | 663736 | 200 17000 119000 | 2147483647 76860 59 | 0.003 % |
488.08/488.40 c | 664459 | 200 17000 119000 | 2147483647 77583 59 | 0.003 % |
488.68/489.09 c | 665251 | 200 17000 119000 | 2147483647 78375 59 | 0.003 % |
489.48/489.80 c | 666123 | 200 17000 119000 | 2147483647 79247 59 | 0.003 % |
490.18/490.56 c | 667081 | 200 17000 119000 | 2147483647 80205 59 | 0.003 % |
491.28/491.65 c | 668134 | 200 17000 119000 | 2147483647 81258 59 | 0.003 % |
492.27/492.70 c | 669293 | 200 17000 119000 | 2147483647 82417 59 | 0.003 % |
493.58/493.91 c | 670566 | 200 17000 119000 | 83125 71418 59 | 0.003 % |
494.68/495.00 c | 671967 | 200 17000 119000 | 83125 72819 59 | 0.003 % |
495.78/496.16 c | 673510 | 200 17000 119000 | 83125 74362 59 | 0.003 % |
497.17/497.54 c | 675204 | 200 17000 119000 | 83125 76056 58 | 0.003 % |
498.77/499.14 c | 677067 | 200 17000 119000 | 83125 77919 58 | 0.003 % |
500.77/501.11 c | 679116 | 200 17000 119000 | 83125 79968 58 | 0.003 % |
502.47/502.87 c | 681371 | 200 17000 119000 | 80852 70527 59 | 0.003 % |
504.36/504.74 c | 683849 | 200 17000 119000 | 80852 73005 59 | 0.003 % |
506.56/506.90 c | 686575 | 200 17000 119000 | 80852 75731 59 | 0.003 % |
509.26/509.64 c | 689572 | 200 17000 119000 | 80852 78728 59 | 0.003 % |
512.06/512.48 c | 692870 | 200 17000 119000 | 79156 71073 59 | 0.003 % |
514.76/515.16 c | 696495 | 200 17000 119000 | 79156 74698 59 | 0.003 % |
517.86/518.29 c | 700484 | 200 17000 119000 | 78204 68948 59 | 0.003 % |
521.26/521.67 c | 704870 | 200 17000 119000 | 78204 73334 59 | 0.003 % |
525.16/525.55 c | 709693 | 200 17000 119000 | 78204 78157 59 | 0.003 % |
528.76/529.17 c | 714999 | 200 17000 119000 | 68644 65081 59 | 0.003 % |
532.75/533.10 c | 720836 | 200 17000 119000 | 2147483647 64044 59 | 0.003 % |
537.25/537.63 c | 727254 | 200 17000 119000 | 2147483647 70462 59 | 0.003 % |
537.35/537.70 c | 727355 | 200 17000 119000 | 2147483647 70563 59 | 0.003 % |
537.35/537.79 c | 727466 | 200 17000 119000 | 2147483647 70674 59 | 0.003 % |
537.46/537.89 c | 727589 | 200 17000 119000 | 2147483647 70797 59 | 0.003 % |
537.65/538.03 c | 727723 | 200 17000 119000 | 2147483647 70931 59 | 0.003 % |
537.75/538.17 c | 727869 | 200 17000 119000 | 2147483647 71077 59 | 0.003 % |
537.85/538.29 c | 728029 | 200 17000 119000 | 2147483647 71237 59 | 0.003 % |
538.05/538.47 c | 728205 | 200 17000 119000 | 2147483647 71413 59 | 0.003 % |
538.25/538.63 c | 728398 | 200 17000 119000 | 2147483647 71606 59 | 0.003 % |
538.45/538.83 c | 728610 | 200 17000 119000 | 2147483647 71818 59 | 0.003 % |
538.65/539.03 c | 728843 | 200 17000 119000 | 2147483647 72051 59 | 0.003 % |
538.85/539.25 c | 729099 | 200 17000 119000 | 2147483647 72307 59 | 0.003 % |
539.15/539.54 c | 729380 | 200 17000 119000 | 2147483647 72588 59 | 0.003 % |
539.35/539.79 c | 729689 | 200 17000 119000 | 2147483647 72897 59 | 0.003 % |
539.65/540.06 c | 730029 | 200 17000 119000 | 2147483647 73237 59 | 0.003 % |
540.05/540.40 c | 730403 | 200 17000 119000 | 2147483647 73611 59 | 0.003 % |
540.35/540.75 c | 730812 | 200 17000 119000 | 2147483647 74020 59 | 0.003 % |
540.75/541.13 c | 731261 | 200 17000 119000 | 2147483647 74469 59 | 0.003 % |
541.15/541.53 c | 731754 | 200 17000 119000 | 2147483647 74962 59 | 0.003 % |
541.55/541.95 c | 732296 | 200 17000 119000 | 2147483647 75504 59 | 0.003 % |
542.05/542.45 c | 732892 | 200 17000 119000 | 2147483647 76100 59 | 0.003 % |
542.55/542.94 c | 733547 | 200 17000 119000 | 2147483647 76755 59 | 0.003 % |
543.15/543.59 c | 734267 | 200 17000 119000 | 2147483647 77475 59 | 0.003 % |
543.85/544.26 c | 735059 | 200 17000 119000 | 2147483647 78267 59 | 0.003 % |
544.65/545.10 c | 735930 | 200 17000 119000 | 2147483647 79138 59 | 0.003 % |
545.55/545.98 c | 736889 | 200 17000 119000 | 2147483647 80097 59 | 0.003 % |
546.55/546.96 c | 737942 | 200 17000 119000 | 2147483647 81150 59 | 0.003 % |
547.55/547.91 c | 739100 | 200 17000 119000 | 2147483647 82308 59 | 0.003 % |
548.74/549.15 c | 740374 | 200 17000 119000 | 83208 71598 59 | 0.003 % |
549.75/550.14 c | 741774 | 200 17000 119000 | 83208 72998 59 | 0.003 % |
550.94/551.36 c | 743315 | 200 17000 119000 | 83208 74539 59 | 0.003 % |
552.24/552.67 c | 745011 | 200 17000 119000 | 83208 76235 59 | 0.003 % |
553.74/554.19 c | 746877 | 200 17000 119000 | 83208 78101 59 | 0.003 % |
555.34/555.79 c | 748926 | 200 17000 119000 | 83208 80150 59 | 0.003 % |
557.25/557.69 c | 751179 | 200 17000 119000 | 81224 71358 59 | 0.003 % |
559.24/559.62 c | 753658 | 200 17000 119000 | 81224 73837 59 | 0.003 % |
561.44/561.84 c | 756384 | 200 17000 119000 | 81224 76563 59 | 0.003 % |
563.74/564.18 c | 759381 | 200 17000 119000 | 81224 79560 59 | 0.003 % |
566.24/566.63 c | 762679 | 200 17000 119000 | 80182 72599 59 | 0.003 % |
568.74/569.16 c | 766305 | 200 17000 119000 | 80182 76225 59 | 0.003 % |
571.64/572.07 c | 770293 | 200 17000 119000 | 79921 71334 59 | 0.003 % |
574.84/575.23 c | 774681 | 200 17000 119000 | 79921 75722 59 | 0.003 % |
578.64/579.07 c | 779504 | 200 17000 119000 | 79921 70887 59 | 0.003 % |
582.34/582.72 c | 784809 | 200 17000 119000 | 71383 67479 59 | 0.003 % |
586.33/586.75 c | 790644 | 200 17000 119000 | 65084 58986 59 | 0.003 % |
590.34/590.72 c | 797062 | 200 17000 119000 | 65084 58887 59 | 0.003 % |
594.84/595.20 c | 804122 | 200 17000 119000 | 2147483647 65947 59 | 0.003 % |
594.84/595.27 c | 804222 | 200 17000 119000 | 2147483647 66047 59 | 0.003 % |
594.94/595.34 c | 804335 | 200 17000 119000 | 2147483647 66160 59 | 0.003 % |
595.04/595.45 c | 804457 | 200 17000 119000 | 2147483647 66282 59 | 0.003 % |
595.14/595.56 c | 804592 | 200 17000 119000 | 2147483647 66417 59 | 0.003 % |
595.24/595.69 c | 804738 | 200 17000 119000 | 2147483647 66563 59 | 0.003 % |
595.44/595.83 c | 804898 | 200 17000 119000 | 2147483647 66723 59 | 0.003 % |
595.54/595.99 c | 805075 | 200 17000 119000 | 2147483647 66900 59 | 0.003 % |
595.74/596.17 c | 805269 | 200 17000 119000 | 2147483647 67094 59 | 0.003 % |
595.94/596.36 c | 805482 | 200 17000 119000 | 2147483647 67307 59 | 0.003 % |
596.14/596.57 c | 805716 | 200 17000 119000 | 2147483647 67541 59 | 0.003 % |
596.34/596.77 c | 805972 | 200 17000 119000 | 2147483647 67797 59 | 0.003 % |
596.54/596.97 c | 806253 | 200 17000 119000 | 2147483647 68078 59 | 0.003 % |
596.74/597.19 c | 806564 | 200 17000 119000 | 2147483647 68389 59 | 0.003 % |
597.14/597.54 c | 806903 | 200 17000 119000 | 2147483647 68728 59 | 0.003 % |
597.44/597.84 c | 807275 | 200 17000 119000 | 2147483647 69100 59 | 0.003 % |
597.74/598.17 c | 807684 | 200 17000 119000 | 2147483647 69509 59 | 0.003 % |
598.04/598.49 c | 808133 | 200 17000 119000 | 2147483647 69958 59 | 0.003 % |
598.44/598.85 c | 808626 | 200 17000 119000 | 2147483647 70451 59 | 0.003 % |
598.84/599.27 c | 809170 | 200 17000 119000 | 2147483647 70995 59 | 0.003 % |
599.34/599.71 c | 809766 | 200 17000 119000 | 2147483647 71591 59 | 0.003 % |
599.83/600.23 c | 810421 | 200 17000 119000 | 2147483647 72246 59 | 0.003 % |
600.33/600.74 c | 811141 | 200 17000 119000 | 2147483647 72966 59 | 0.003 % |
600.93/601.34 c | 811933 | 200 17000 119000 | 2147483647 73758 59 | 0.003 % |
601.53/602.00 c | 812804 | 200 17000 119000 | 2147483647 74629 59 | 0.003 % |
602.34/602.73 c | 813762 | 200 17000 119000 | 2147483647 75587 59 | 0.003 % |
603.13/603.52 c | 814816 | 200 17000 119000 | 2147483647 76641 59 | 0.003 % |
604.03/604.49 c | 815975 | 200 17000 119000 | 2147483647 77800 59 | 0.003 % |
605.03/605.45 c | 817248 | 200 17000 119000 | 2147483647 79073 59 | 0.003 % |
606.13/606.57 c | 818648 | 200 17000 119000 | 2147483647 80473 59 | 0.003 % |
607.53/607.96 c | 820191 | 200 17000 119000 | 81826 71830 59 | 0.003 % |
608.83/609.30 c | 821886 | 200 17000 119000 | 81826 73525 59 | 0.003 % |
610.23/610.64 c | 823749 | 200 17000 119000 | 81826 75388 59 | 0.003 % |
611.93/612.30 c | 825801 | 200 17000 119000 | 81826 77440 59 | 0.003 % |
613.63/614.09 c | 828054 | 200 17000 119000 | 81826 79693 59 | 0.003 % |
615.83/616.25 c | 830536 | 200 17000 119000 | 81639 70761 59 | 0.003 % |
617.73/618.14 c | 833261 | 200 17000 119000 | 81639 73486 59 | 0.003 % |
620.03/620.45 c | 836258 | 200 17000 119000 | 81639 76483 59 | 0.003 % |
622.53/622.92 c | 839556 | 200 17000 119000 | 81639 79781 59 | 0.003 % |
625.73/626.11 c | 843181 | 200 17000 119000 | 80226 72348 59 | 0.003 % |
628.73/629.20 c | 847168 | 200 17000 119000 | 80226 76335 59 | 0.003 % |
632.22/632.66 c | 851553 | 200 17000 119000 | 79168 70348 59 | 0.003 % |
635.92/636.31 c | 856377 | 200 17000 119000 | 79168 75172 59 | 0.003 % |
640.12/640.52 c | 861682 | 200 17000 119000 | 78795 69923 59 | 0.003 % |
644.62/645.00 c | 867517 | 200 17000 119000 | 78795 75758 59 | 0.003 % |
649.52/649.92 c | 873936 | 200 17000 119000 | 78242 72246 59 | 0.003 % |
655.01/655.47 c | 880996 | 200 17000 119000 | 78310 69667 59 | 0.003 % |
660.81/661.20 c | 888762 | 200 17000 119000 | 78310 77433 59 | 0.003 % |
660.81/661.29 c | 888862 | 200 17000 119000 | 78310 77533 59 | 0.003 % |
660.91/661.38 c | 888974 | 200 17000 119000 | 78310 77645 59 | 0.003 % |
661.11/661.51 c | 889097 | 200 17000 119000 | 78310 77768 59 | 0.003 % |
661.21/661.65 c | 889232 | 200 17000 119000 | 78310 77903 59 | 0.003 % |
661.31/661.79 c | 889379 | 200 17000 119000 | 78310 78050 59 | 0.003 % |
661.51/661.94 c | 889539 | 200 17000 119000 | 78310 78210 59 | 0.003 % |
661.71/662.12 c | 889716 | 200 17000 119000 | 78310 78387 59 | 0.003 % |
661.91/662.32 c | 889909 | 200 17000 119000 | 78310 68907 59 | 0.003 % |
662.11/662.53 c | 890121 | 200 17000 119000 | 68998 60681 59 | 0.003 % |
662.21/662.68 c | 890355 | 200 17000 119000 | 68998 60915 59 | 0.003 % |
662.41/662.88 c | 890612 | 200 17000 119000 | 68998 61172 59 | 0.003 % |
662.61/663.06 c | 890894 | 200 17000 119000 | 68998 61454 59 | 0.003 % |
662.81/663.27 c | 891203 | 200 17000 119000 | 68998 61763 59 | 0.003 % |
663.11/663.50 c | 891542 | 200 17000 119000 | 68998 62102 59 | 0.003 % |
663.41/663.82 c | 891915 | 200 17000 119000 | 68998 62475 59 | 0.003 % |
663.71/664.14 c | 892324 | 200 17000 119000 | 68998 62884 59 | 0.003 % |
664.11/664.53 c | 892773 | 200 17000 119000 | 68998 63333 59 | 0.003 % |
664.41/664.89 c | 893267 | 200 17000 119000 | 68998 63827 59 | 0.003 % |
664.81/665.25 c | 893810 | 200 17000 119000 | 68998 64370 59 | 0.003 % |
665.21/665.65 c | 894406 | 200 17000 119000 | 68998 64966 59 | 0.003 % |
665.71/666.11 c | 895061 | 200 17000 119000 | 68998 65621 59 | 0.003 % |
666.31/666.73 c | 895782 | 200 17000 119000 | 68998 66342 59 | 0.003 % |
666.91/667.34 c | 896574 | 200 17000 119000 | 68998 67134 59 | 0.003 % |
667.61/668.03 c | 897445 | 200 17000 119000 | 68998 68005 59 | 0.003 % |
668.31/668.74 c | 898403 | 200 17000 119000 | 68998 68963 59 | 0.003 % |
669.01/669.49 c | 899456 | 200 17000 119000 | 68998 63021 59 | 0.003 % |
669.81/670.26 c | 900616 | 200 17000 119000 | 2147483647 64181 59 | 0.003 % |
670.61/671.05 c | 901889 | 200 17000 119000 | 2147483647 65454 59 | 0.003 % |
671.50/671.98 c | 903289 | 200 17000 119000 | 2147483647 66854 59 | 0.003 % |
672.60/673.02 c | 904831 | 200 17000 119000 | 2147483647 68396 59 | 0.003 % |
673.70/674.15 c | 906526 | 200 17000 119000 | 2147483647 70091 59 | 0.003 % |
675.10/675.57 c | 908390 | 200 17000 119000 | 2147483647 71955 59 | 0.003 % |
676.80/677.21 c | 910440 | 200 17000 119000 | 73565 66554 59 | 0.003 % |
678.40/678.81 c | 912693 | 200 17000 119000 | 73565 68807 59 | 0.003 % |
680.10/680.54 c | 915171 | 200 17000 119000 | 73565 71285 59 | 0.003 % |
682.30/682.74 c | 917896 | 200 17000 119000 | 73565 66579 59 | 0.003 % |
684.50/684.94 c | 920893 | 200 17000 119000 | 2147483647 69576 59 | 0.003 % |
686.90/687.31 c | 924189 | 200 17000 119000 | 2147483647 72872 59 | 0.003 % |
689.50/689.95 c | 927814 | 200 17000 119000 | 2147483647 76497 59 | 0.003 % |
692.30/692.76 c | 931802 | 200 17000 119000 | 78683 72378 59 | 0.003 % |
695.40/695.90 c | 936188 | 200 17000 119000 | 78683 76764 59 | 0.003 % |
698.99/699.41 c | 941011 | 200 17000 119000 | 72097 65418 59 | 0.003 % |
702.89/703.32 c | 946316 | 200 17000 119000 | 72097 70723 59 | 0.003 % |
706.69/707.15 c | 952151 | 200 17000 119000 | 66307 61567 59 | 0.003 % |
710.59/711.07 c | 958572 | 200 17000 119000 | 66307 61348 59 | 0.003 % |
715.09/715.57 c | 965632 | 200 17000 119000 | 2147483647 68408 59 | 0.003 % |
720.49/720.94 c | 973396 | 200 17000 119000 | 2147483647 76172 59 | 0.003 % |
727.38/727.84 c | 981937 | 200 17000 119000 | 82776 74153 59 | 0.003 % |
727.48/727.92 c | 982039 | 200 17000 119000 | 82776 74255 59 | 0.003 % |
727.58/728.03 c | 982149 | 200 17000 119000 | 82776 74365 59 | 0.003 % |
727.69/728.14 c | 982270 | 200 17000 119000 | 82776 74486 59 | 0.003 % |
727.79/728.25 c | 982405 | 200 17000 119000 | 82776 74621 59 | 0.003 % |
727.88/728.40 c | 982551 | 200 17000 119000 | 82776 74767 59 | 0.003 % |
728.08/728.56 c | 982711 | 200 17000 119000 | 82776 74927 59 | 0.003 % |
728.28/728.73 c | 982888 | 200 17000 119000 | 82776 75104 59 | 0.003 % |
728.48/728.91 c | 983082 | 200 17000 119000 | 82776 75298 59 | 0.003 % |
728.68/729.13 c | 983294 | 200 17000 119000 | 82776 75510 59 | 0.003 % |
728.89/729.33 c | 983527 | 200 17000 119000 | 82776 75743 59 | 0.003 % |
729.18/729.60 c | 983784 | 200 17000 119000 | 82776 76000 59 | 0.003 % |
729.38/729.86 c | 984065 | 200 17000 119000 | 82776 76281 59 | 0.003 % |
729.68/730.15 c | 984374 | 200 17000 119000 | 82776 76590 59 | 0.003 % |
729.99/730.49 c | 984714 | 200 17000 119000 | 82776 76930 59 | 0.003 % |
730.38/730.83 c | 985086 | 200 17000 119000 | 82776 77302 59 | 0.003 % |
730.78/731.20 c | 985497 | 200 17000 119000 | 82776 77713 59 | 0.003 % |
731.09/731.59 c | 985946 | 200 17000 119000 | 82776 78162 59 | 0.003 % |
731.58/732.02 c | 986442 | 200 17000 119000 | 82776 78658 59 | 0.003 % |
731.98/732.49 c | 986984 | 200 17000 119000 | 82776 79200 59 | 0.003 % |
732.58/733.01 c | 987580 | 200 17000 119000 | 82776 79796 59 | 0.003 % |
733.18/733.61 c | 988236 | 200 17000 119000 | 82776 80452 59 | 0.003 % |
733.78/734.27 c | 988956 | 200 17000 119000 | 82776 81172 59 | 0.003 % |
734.48/734.98 c | 989750 | 200 17000 119000 | 82776 81966 59 | 0.003 % |
735.28/735.70 c | 990621 | 200 17000 119000 | 82217 70292 59 | 0.003 % |
735.88/736.38 c | 991579 | 200 17000 119000 | 82217 71250 59 | 0.003 % |
736.78/737.25 c | 992632 | 200 17000 119000 | 82217 72303 59 | 0.003 % |
737.68/738.17 c | 993794 | 200 17000 119000 | 82217 73465 59 | 0.003 % |
738.68/739.16 c | 995068 | 200 17000 119000 | 82217 74739 59 | 0.003 % |
739.88/740.39 c | 996469 | 200 17000 119000 | 82217 76140 59 | 0.003 % |
741.28/741.75 c | 998009 | 200 17000 119000 | 82217 77680 59 | 0.003 % |
742.98/743.45 c | 999703 | 200 17000 119000 | 82217 79374 59 | 0.003 % |
744.48/744.98 c | 1001568 | 200 17000 119000 | 79671 69500 59 | 0.003 % |
746.28/746.75 c | 1003618 | 200 17000 119000 | 79671 71550 59 | 0.003 % |
748.08/748.56 c | 1005871 | 200 17000 119000 | 79671 73803 59 | 0.003 % |
749.87/750.37 c | 1008350 | 200 17000 119000 | 79671 76282 59 | 0.003 % |
752.07/752.55 c | 1011076 | 200 17000 119000 | 77932 69149 59 | 0.003 % |
754.37/754.85 c | 1014075 | 200 17000 119000 | 77932 72148 59 | 0.003 % |
756.77/757.28 c | 1017372 | 200 17000 119000 | 77932 75445 59 | 0.003 % |
759.47/759.97 c | 1020997 | 200 17000 119000 | 68329 60823 58 | 0.003 % |
761.97/762.45 c | 1024984 | 200 17000 119000 | 68329 64810 58 | 0.003 % |
764.87/765.34 c | 1029371 | 200 17000 119000 | 68329 62355 58 | 0.003 % |
767.97/768.44 c | 1034194 | 200 17000 119000 | 2147483647 67178 58 | 0.003 % |
771.67/772.12 c | 1039499 | 200 17000 119000 | 2147483647 72483 58 | 0.003 % |
776.07/776.50 c | 1045335 | 200 17000 119000 | 2147483647 78319 58 | 0.003 % |
781.46/781.92 c | 1051755 | 200 17000 119000 | 82986 74533 59 | 0.003 % |
787.17/787.65 c | 1058815 | 200 17000 119000 | 82986 81593 59 | 0.003 % |
793.46/793.96 c | 1066579 | 200 17000 119000 | 82778 78434 59 | 0.003 % |
799.96/800.40 c | 1075120 | 200 17000 119000 | 81856 75588 59 | 0.003 % |
806.96/807.50 c | 1084514 | 200 17000 119000 | 80470 73321 59 | 0.003 % |
807.06/807.59 c | 1084616 | 200 17000 119000 | 80470 73423 59 | 0.003 % |
807.16/807.68 c | 1084727 | 200 17000 119000 | 80470 73534 59 | 0.003 % |
807.26/807.79 c | 1084849 | 200 17000 119000 | 80470 73656 59 | 0.003 % |
807.46/807.90 c | 1084983 | 200 17000 119000 | 80470 73790 59 | 0.003 % |
807.55/808.04 c | 1085129 | 200 17000 119000 | 80470 73936 59 | 0.003 % |
807.65/808.16 c | 1085289 | 200 17000 119000 | 80470 74096 59 | 0.003 % |
807.85/808.33 c | 1085466 | 200 17000 119000 | 80470 74273 59 | 0.003 % |
808.07/808.50 c | 1085659 | 200 17000 119000 | 80470 74466 59 | 0.003 % |
808.16/808.67 c | 1085872 | 200 17000 119000 | 80470 74679 59 | 0.003 % |
808.36/808.87 c | 1086105 | 200 17000 119000 | 80470 74912 59 | 0.003 % |
808.56/809.07 c | 1086361 | 200 17000 119000 | 80470 75168 59 | 0.003 % |
808.86/809.32 c | 1086642 | 200 17000 119000 | 80470 75449 59 | 0.003 % |
809.07/809.60 c | 1086951 | 200 17000 119000 | 80470 75758 59 | 0.003 % |
809.46/809.90 c | 1087290 | 200 17000 119000 | 80470 76097 59 | 0.003 % |
809.76/810.22 c | 1087663 | 200 17000 119000 | 80470 76470 59 | 0.003 % |
810.06/810.55 c | 1088072 | 200 17000 119000 | 80470 76879 59 | 0.003 % |
810.46/810.97 c | 1088523 | 200 17000 119000 | 80470 77330 59 | 0.003 % |
810.96/811.45 c | 1089016 | 200 17000 119000 | 80470 77823 59 | 0.003 % |
811.46/811.94 c | 1089558 | 200 17000 119000 | 80470 78365 59 | 0.003 % |
812.06/812.50 c | 1090154 | 200 17000 119000 | 78808 67799 59 | 0.003 % |
812.46/812.93 c | 1090809 | 200 17000 119000 | 78808 68454 59 | 0.003 % |
812.96/813.45 c | 1091529 | 200 17000 119000 | 78808 69174 59 | 0.003 % |
813.56/814.02 c | 1092322 | 200 17000 119000 | 78808 69967 59 | 0.003 % |
814.16/814.61 c | 1093193 | 200 17000 119000 | 78808 70838 59 | 0.003 % |
814.76/815.27 c | 1094151 | 200 17000 119000 | 78808 71796 59 | 0.003 % |
815.56/816.09 c | 1095204 | 200 17000 119000 | 78808 72849 59 | 0.003 % |
816.46/816.90 c | 1096362 | 200 17000 119000 | 78808 74007 59 | 0.003 % |
817.46/817.96 c | 1097635 | 200 17000 119000 | 78808 75280 59 | 0.003 % |
818.56/819.09 c | 1099035 | 200 17000 119000 | 78808 76680 59 | 0.003 % |
819.96/820.45 c | 1100575 | 200 17000 119000 | 77645 68243 59 | 0.003 % |
821.26/821.77 c | 1102269 | 200 17000 119000 | 77645 69937 59 | 0.003 % |
822.66/823.13 c | 1104134 | 200 17000 119000 | 77645 71802 59 | 0.003 % |
824.26/824.76 c | 1106184 | 200 17000 119000 | 77645 73852 59 | 0.003 % |
825.96/826.47 c | 1108437 | 200 17000 119000 | 77645 76105 59 | 0.003 % |
827.86/828.34 c | 1110916 | 200 17000 119000 | 77668 69690 59 | 0.003 % |
829.75/830.29 c | 1113641 | 200 17000 119000 | 77668 72415 59 | 0.003 % |
831.95/832.42 c | 1116638 | 200 17000 119000 | 77668 75412 59 | 0.003 % |
834.46/834.97 c | 1119934 | 200 17000 119000 | 77668 69871 59 | 0.003 % |
836.85/837.35 c | 1123560 | 200 17000 119000 | 69937 65775 59 | 0.003 % |
839.85/840.31 c | 1127549 | 200 17000 119000 | 69937 69764 59 | 0.003 % |
843.05/843.57 c | 1131934 | 200 17000 119000 | 2147483647 67146 59 | 0.003 % |
846.65/847.17 c | 1136759 | 200 17000 119000 | 2147483647 71971 59 | 0.003 % |
850.85/851.36 c | 1142064 | 200 17000 119000 | 2147483647 77276 59 | 0.003 % |
855.64/856.17 c | 1147899 | 200 17000 119000 | 2147483647 83111 59 | 0.003 % |
860.94/861.44 c | 1154320 | 200 17000 119000 | 85212 77795 58 | 0.003 % |
866.84/867.34 c | 1161379 | 200 17000 119000 | 83477 73294 58 | 0.003 % |
873.04/873.56 c | 1169144 | 200 17000 119000 | 83477 81059 58 | 0.003 % |
879.74/880.22 c | 1177685 | 200 17000 119000 | 81915 78945 58 | 0.003 % |
886.83/887.31 c | 1187079 | 200 17000 119000 | 81260 78658 59 | 0.003 % |
893.73/894.28 c | 1197412 | 200 17000 119000 | 71368 69943 59 | 0.003 % |
893.83/894.35 c | 1197512 | 200 17000 119000 | 71368 70043 59 | 0.003 % |
893.93/894.45 c | 1197622 | 200 17000 119000 | 71368 70153 59 | 0.003 % |
894.03/894.54 c | 1197747 | 200 17000 119000 | 71368 70278 59 | 0.003 % |
894.13/894.65 c | 1197881 | 200 17000 119000 | 71368 70412 59 | 0.003 % |
894.23/894.78 c | 1198027 | 200 17000 119000 | 71368 70558 59 | 0.003 % |
894.43/894.94 c | 1198189 | 200 17000 119000 | 71368 70720 59 | 0.003 % |
894.53/895.09 c | 1198365 | 200 17000 119000 | 71368 70896 59 | 0.003 % |
894.73/895.27 c | 1198558 | 200 17000 119000 | 71368 71089 59 | 0.003 % |
894.93/895.48 c | 1198773 | 200 17000 119000 | 71368 71304 59 | 0.003 % |
895.23/895.73 c | 1199009 | 200 17000 119000 | 71368 64394 59 | 0.003 % |
895.43/895.94 c | 1199266 | 200 17000 119000 | 71368 64651 59 | 0.003 % |
895.64/896.15 c | 1199547 | 200 17000 119000 | 71368 64932 59 | 0.003 % |
895.94/896.42 c | 1199857 | 200 17000 119000 | 71368 65242 59 | 0.003 % |
896.24/896.77 c | 1200198 | 200 17000 119000 | 65385 58917 59 | 0.003 % |
896.54/897.05 c | 1200571 | 200 17000 119000 | 65385 59290 59 | 0.003 % |
896.84/897.38 c | 1200980 | 200 17000 119000 | 65385 59699 59 | 0.003 % |
897.24/897.72 c | 1201429 | 200 17000 119000 | 65385 60148 59 | 0.003 % |
897.54/898.06 c | 1201923 | 200 17000 119000 | 65385 60642 59 | 0.003 % |
897.84/898.37 c | 1202471 | 200 17000 119000 | 65385 61190 59 | 0.003 % |
898.24/898.72 c | 1203068 | 200 17000 119000 | 65385 61787 59 | 0.003 % |
898.74/899.23 c | 1203723 | 200 17000 119000 | 65385 62442 59 | 0.003 % |
899.24/899.78 c | 1204443 | 200 17000 119000 | 65385 63162 59 | 0.003 % |
899.84/900.34 c | 1205235 | 200 17000 119000 | 65385 63954 59 | 0.003 % |
900.44/900.90 c | 1206106 | 200 17000 119000 | 65385 64825 59 | 0.003 % |
901.14/901.67 c | 1207065 | 200 17000 119000 | 65385 59237 59 | 0.003 % |
901.93/902.48 c | 1208118 | 200 17000 119000 | 65385 60290 59 | 0.003 % |
902.83/903.32 c | 1209276 | 200 17000 119000 | 65385 61448 59 | 0.003 % |
903.74/904.24 c | 1210550 | 200 17000 119000 | 2147483647 62722 59 | 0.003 % |
904.74/905.28 c | 1211950 | 200 17000 119000 | 2147483647 64122 59 | 0.003 % |
905.94/906.41 c | 1213491 | 200 17000 119000 | 2147483647 65663 59 | 0.003 % |
907.13/907.69 c | 1215185 | 200 17000 119000 | 2147483647 67357 59 | 0.003 % |
908.63/909.14 c | 1217050 | 200 17000 119000 | 2147483647 69222 59 | 0.003 % |
910.13/910.66 c | 1219099 | 200 17000 119000 | 2147483647 71271 59 | 0.003 % |
911.93/912.47 c | 1221354 | 200 17000 119000 | 2147483647 73526 59 | 0.003 % |
913.83/914.30 c | 1223834 | 200 17000 119000 | 2147483647 76006 59 | 0.003 % |
915.93/916.44 c | 1226560 | 200 17000 119000 | 2147483647 78732 59 | 0.003 % |
918.53/919.04 c | 1229558 | 200 17000 119000 | 2147483647 81730 59 | 0.003 % |
921.43/921.96 c | 1232854 | 200 17000 119000 | 82173 73615 59 | 0.003 % |
924.23/924.75 c | 1236480 | 200 17000 119000 | 82173 77241 59 | 0.003 % |
927.33/927.86 c | 1240468 | 200 17000 119000 | 80761 70397 59 | 0.003 % |
930.43/930.97 c | 1244855 | 200 17000 119000 | 80761 74784 59 | 0.003 % |
934.23/934.74 c | 1249679 | 200 17000 119000 | 80761 79608 59 | 0.003 % |
938.12/938.68 c | 1254984 | 200 17000 119000 | 79931 74850 59 | 0.003 % |
942.72/943.29 c | 1260821 | 200 17000 119000 | 79866 70920 59 | 0.003 % |
947.62/948.20 c | 1267239 | 200 17000 119000 | 79866 77338 59 | 0.003 % |
952.92/953.44 c | 1274300 | 200 17000 119000 | 70540 66498 59 | 0.003 % |
958.22/958.73 c | 1282067 | 200 17000 119000 | 2147483647 67201 59 | 0.003 % |
964.31/964.81 c | 1290607 | 200 17000 119000 | 75135 67890 59 | 0.003 % |
970.61/971.13 c | 1300001 | 200 17000 119000 | 2147483647 69761 59 | 0.003 % |
978.01/978.56 c | 1310335 | 200 17000 119000 | 79760 70533 59 | 0.003 % |
986.41/986.93 c | 1321702 | 200 17000 119000 | 70859 64295 59 | 0.003 % |
986.51/987.02 c | 1321804 | 200 17000 119000 | 70859 64397 59 | 0.003 % |
986.61/987.11 c | 1321916 | 200 17000 119000 | 70859 64509 59 | 0.003 % |
986.71/987.23 c | 1322038 | 200 17000 119000 | 70859 64631 59 | 0.003 % |
986.81/987.37 c | 1322171 | 200 17000 119000 | 70859 64764 59 | 0.003 % |
987.01/987.50 c | 1322319 | 200 17000 119000 | 70859 64912 59 | 0.003 % |
987.11/987.62 c | 1322479 | 200 17000 119000 | 70859 65072 59 | 0.003 % |
987.21/987.74 c | 1322655 | 200 17000 119000 | 70859 65248 59 | 0.003 % |
987.31/987.87 c | 1322848 | 200 17000 119000 | 70859 65441 59 | 0.003 % |
987.51/988.01 c | 1323062 | 200 17000 119000 | 70859 65655 59 | 0.003 % |
987.71/988.24 c | 1323295 | 200 17000 119000 | 70859 65888 59 | 0.003 % |
987.91/988.41 c | 1323551 | 200 17000 119000 | 70859 66144 59 | 0.003 % |
988.11/988.64 c | 1323832 | 200 17000 119000 | 70859 66425 59 | 0.003 % |
988.31/988.86 c | 1324141 | 200 17000 119000 | 70859 66734 59 | 0.003 % |
988.50/989.09 c | 1324481 | 200 17000 119000 | 70859 67074 59 | 0.003 % |
988.80/989.35 c | 1324853 | 200 17000 119000 | 70859 67446 59 | 0.003 % |
989.10/989.69 c | 1325262 | 200 17000 119000 | 70859 67855 59 | 0.003 % |
989.51/990.05 c | 1325712 | 200 17000 119000 | 70859 68305 59 | 0.003 % |
989.90/990.41 c | 1326207 | 200 17000 119000 | 70859 68800 59 | 0.003 % |
990.30/990.81 c | 1326749 | 200 17000 119000 | 70859 69342 59 | 0.003 % |
990.70/991.21 c | 1327346 | 200 17000 119000 | 70859 69939 59 | 0.003 % |
991.20/991.70 c | 1328002 | 200 17000 119000 | 70859 70595 59 | 0.003 % |
991.90/992.41 c | 1328723 | 200 17000 119000 | 70859 63859 59 | 0.003 % |
992.50/993.05 c | 1329515 | 200 17000 119000 | 70859 64651 59 | 0.003 % |
993.30/993.83 c | 1330386 | 200 17000 119000 | 65136 58547 59 | 0.003 % |
994.00/994.58 c | 1331345 | 200 17000 119000 | 65136 59506 59 | 0.003 % |
994.80/995.30 c | 1332398 | 200 17000 119000 | 65136 60559 59 | 0.003 % |
995.60/996.12 c | 1333556 | 200 17000 119000 | 65136 61717 59 | 0.003 % |
996.50/997.07 c | 1334829 | 200 17000 119000 | 65136 62990 59 | 0.003 % |
997.50/998.05 c | 1336230 | 200 17000 119000 | 65136 64391 59 | 0.003 % |
998.60/999.10 c | 1337771 | 200 17000 119000 | 65136 59410 59 | 0.003 % |
999.50/1000.06 c | 1339466 | 200 17000 119000 | 65136 61105 59 | 0.003 % |
1000.60/1001.13 c | 1341329 | 200 17000 119000 | 2147483647 62968 59 | 0.003 % |
1001.90/1002.49 c | 1343379 | 200 17000 119000 | 2147483647 65018 59 | 0.003 % |
1003.50/1004.01 c | 1345633 | 200 17000 119000 | 2147483647 67272 59 | 0.003 % |
1005.30/1005.85 c | 1348112 | 200 17000 119000 | 2147483647 69751 59 | 0.003 % |
1007.00/1007.60 c | 1350837 | 200 17000 119000 | 2147483647 72476 59 | 0.003 % |
1009.00/1009.58 c | 1353834 | 200 17000 119000 | 2147483647 75473 59 | 0.003 % |
1011.40/1011.99 c | 1357131 | 200 17000 119000 | 2147483647 78770 59 | 0.003 % |
1014.39/1014.91 c | 1360759 | 200 17000 119000 | 81639 74023 59 | 0.003 % |
1017.29/1017.87 c | 1364746 | 200 17000 119000 | 81639 78010 59 | 0.003 % |
1021.09/1021.65 c | 1369132 | 200 17000 119000 | 81639 72294 59 | 0.003 % |
1024.60/1025.10 c | 1373957 | 200 17000 119000 | 73164 68167 59 | 0.003 % |
1028.39/1028.90 c | 1379263 | 200 17000 119000 | 73164 66147 59 | 0.003 % |
1032.39/1032.94 c | 1385099 | 200 17000 119000 | 2147483647 71983 59 | 0.003 % |
1037.19/1037.72 c | 1391517 | 200 17000 119000 | 76885 70190 59 | 0.003 % |
1042.38/1042.98 c | 1398576 | 200 17000 119000 | 76885 68128 59 | 0.003 % |
1047.58/1048.16 c | 1406341 | 200 17000 119000 | 69555 67810 59 | 0.003 % |
1053.89/1054.41 c | 1414881 | 200 17000 119000 | 2147483647 69386 59 | 0.003 % |
1061.39/1061.94 c | 1424275 | 200 17000 119000 | 2147483647 78780 59 | 0.003 % |
1069.38/1070.00 c | 1434609 | 200 17000 119000 | 84506 77860 59 | 0.003 % |
1078.68/1079.20 c | 1445975 | 200 17000 119000 | 83251 78076 59 | 0.003 % |
1088.78/1089.37 c | 1458477 | 200 17000 119000 | 82101 80060 59 | 0.003 % |
1088.88/1089.45 c | 1458578 | 200 17000 119000 | 82101 80161 59 | 0.003 % |
1088.98/1089.58 c | 1458688 | 200 17000 119000 | 82101 80271 59 | 0.003 % |
1089.18/1089.71 c | 1458811 | 200 17000 119000 | 82101 80394 59 | 0.003 % |
1089.28/1089.82 c | 1458944 | 200 17000 119000 | 82101 80527 59 | 0.003 % |
1089.38/1089.97 c | 1459091 | 200 17000 119000 | 82101 80674 59 | 0.003 % |
1089.58/1090.12 c | 1459252 | 200 17000 119000 | 82101 80835 59 | 0.003 % |
1089.68/1090.29 c | 1459428 | 200 17000 119000 | 82101 81011 59 | 0.003 % |
1089.88/1090.46 c | 1459622 | 200 17000 119000 | 82101 81205 59 | 0.003 % |
1090.08/1090.66 c | 1459834 | 200 17000 119000 | 82101 81417 59 | 0.003 % |
1090.27/1090.85 c | 1460068 | 200 17000 119000 | 81584 81651 59 | 0.003 % |
1090.58/1091.16 c | 1460325 | 200 17000 119000 | 81584 71641 59 | 0.003 % |
1090.87/1091.42 c | 1460606 | 200 17000 119000 | 81584 71922 59 | 0.003 % |
1091.07/1091.67 c | 1460917 | 200 17000 119000 | 81584 72233 59 | 0.003 % |
1091.37/1091.99 c | 1461257 | 200 17000 119000 | 81584 72573 59 | 0.003 % |
1091.78/1092.33 c | 1461629 | 200 17000 119000 | 81584 72945 59 | 0.003 % |
1092.17/1092.71 c | 1462039 | 200 17000 119000 | 81584 73355 59 | 0.003 % |
1092.57/1093.14 c | 1462488 | 200 17000 119000 | 81584 73804 59 | 0.003 % |
1092.97/1093.58 c | 1462981 | 200 17000 119000 | 81584 74297 59 | 0.003 % |
1093.57/1094.10 c | 1463524 | 200 17000 119000 | 81584 74840 59 | 0.003 % |
1094.07/1094.61 c | 1464120 | 200 17000 119000 | 81584 75436 59 | 0.003 % |
1094.57/1095.15 c | 1464777 | 200 17000 119000 | 81584 76093 59 | 0.003 % |
1095.17/1095.71 c | 1465503 | 200 17000 119000 | 81584 76819 59 | 0.003 % |
1095.87/1096.44 c | 1466296 | 200 17000 119000 | 81584 77612 59 | 0.003 % |
1096.67/1097.25 c | 1467167 | 200 17000 119000 | 81584 78483 59 | 0.003 % |
1097.57/1098.17 c | 1468125 | 200 17000 119000 | 81584 79441 59 | 0.003 % |
1098.47/1099.09 c | 1469179 | 200 17000 119000 | 81584 80495 59 | 0.003 % |
1099.57/1100.17 c | 1470337 | 200 17000 119000 | 81316 69397 59 | 0.003 % |
1100.57/1101.19 c | 1471611 | 200 17000 119000 | 81316 70671 59 | 0.003 % |
1101.77/1102.35 c | 1473012 | 200 17000 119000 | 81316 72072 59 | 0.003 % |
1103.07/1103.69 c | 1474552 | 200 17000 119000 | 81316 73612 59 | 0.003 % |
1104.47/1105.07 c | 1476247 | 200 17000 119000 | 81316 75307 59 | 0.003 % |
1105.87/1106.46 c | 1478110 | 200 17000 119000 | 81316 77170 59 | 0.003 % |
1107.47/1108.04 c | 1480160 | 200 17000 119000 | 79060 68126 59 | 0.003 % |
1108.97/1109.54 c | 1482414 | 200 17000 119000 | 79060 70380 59 | 0.003 % |
1110.67/1111.22 c | 1484892 | 200 17000 119000 | 79060 72858 59 | 0.003 % |
1112.46/1113.08 c | 1487619 | 200 17000 119000 | 79060 75585 59 | 0.003 % |
1114.67/1115.24 c | 1490617 | 200 17000 119000 | 77967 69717 59 | 0.003 % |
1116.87/1117.50 c | 1493913 | 200 17000 119000 | 77967 73013 59 | 0.003 % |
1119.47/1120.05 c | 1497539 | 200 17000 119000 | 77967 76639 59 | 0.003 % |
1122.67/1123.27 c | 1501527 | 200 17000 119000 | 70226 63579 59 | 0.003 % |
1125.57/1126.10 c | 1505913 | 200 17000 119000 | 70226 67965 59 | 0.003 % |
1128.87/1129.40 c | 1510736 | 200 17000 119000 | 2147483647 65757 59 | 0.003 % |
1132.77/1133.30 c | 1516041 | 200 17000 119000 | 2147483647 71062 59 | 0.003 % |
1136.96/1137.54 c | 1521881 | 200 17000 119000 | 75022 69278 59 | 0.003 % |
1141.66/1142.23 c | 1528299 | 200 17000 119000 | 75022 67590 59 | 0.003 % |
1146.46/1147.07 c | 1535359 | 200 17000 119000 | 69292 67367 59 | 0.003 % |
1151.76/1152.36 c | 1543124 | 200 17000 119000 | 2147483647 68193 59 | 0.003 % |
1157.96/1158.55 c | 1551664 | 200 17000 119000 | 2147483647 76733 59 | 0.003 % |
1165.36/1165.98 c | 1561061 | 200 17000 119000 | 85070 75322 59 | 0.003 % |
1173.75/1174.39 c | 1571394 | 200 17000 119000 | 84263 72915 59 | 0.003 % |
1182.65/1183.28 c | 1582761 | 200 17000 119000 | 81521 71862 59 | 0.003 % |
1193.05/1193.61 c | 1595265 | 200 17000 119000 | 79103 74030 60 | 0.003 % |
1200.05/1200.61 HOME/SatELiteGTI: line 36: 8209 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-1832563-1242784463/watcher-1832563-1242784463 -o /tmp/evaluation-result-1832563-1242784463/solver-1832563-1242784463 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832563-1242784463.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 8203
/proc/meminfo: memFree=1943696/2055920 swapFree=4180064/4192956
[pid=8203] ppid=8201 vsize=5356 CPUtime=0
/proc/8203/stat : 8203 (SatELiteGTI) R 8201 8203 8120 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 306479813 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 238487267827 0 0 4100 65536 0 0 0 17 0 0 0
/proc/8203/statm: 1339 237 197 169 0 50 0
[startup+0.037854 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 8203
/proc/meminfo: memFree=1943696/2055920 swapFree=4180064/4192956
[pid=8203] ppid=8201 vsize=5356 CPUtime=0
/proc/8203/stat : 8203 (SatELiteGTI) S 8201 8203 8120 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306479813 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8203/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101852 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 8203
/proc/meminfo: memFree=1943696/2055920 swapFree=4180064/4192956
[pid=8203] ppid=8201 vsize=5356 CPUtime=0.05
/proc/8203/stat : 8203 (SatELiteGTI) S 8201 8203 8120 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306479813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8203/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356
[startup+0.301876 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 8203
/proc/meminfo: memFree=1943696/2055920 swapFree=4180064/4192956
[pid=8203] ppid=8201 vsize=5356 CPUtime=0.05
/proc/8203/stat : 8203 (SatELiteGTI) S 8201 8203 8120 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306479813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8203/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356
[startup+0.701916 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 8203
/proc/meminfo: memFree=1943696/2055920 swapFree=4180064/4192956
[pid=8203] ppid=8201 vsize=5356 CPUtime=0.05
/proc/8203/stat : 8203 (SatELiteGTI) S 8201 8203 8120 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306479813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8203/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356
[startup+1.50201 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 8209
/proc/meminfo: memFree=1939584/2055920 swapFree=4180064/4192956
[pid=8203] ppid=8201 vsize=5356 CPUtime=0.05
/proc/8203/stat : 8203 (SatELiteGTI) S 8201 8203 8120 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306479813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8203/statm: 1339 239 197 169 0 50 0
[pid=8209] ppid=8203 vsize=4932 CPUtime=1.42
/proc/8209/stat : 8209 (minisat_static) R 8203 8203 8120 0 -1 4194304 1005 0 0 0 142 0 0 0 25 0 1 0 306479820 5050368 991 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/8209/statm: 1233 991 76 171 0 1060 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10288
[startup+3.10219 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 8209
/proc/meminfo: memFree=1937984/2055920 swapFree=4180064/4192956
[pid=8203] ppid=8201 vsize=5356 CPUtime=0.05
/proc/8203/stat : 8203 (SatELiteGTI) S 8201 8203 8120 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306479813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8203/statm: 1339 239 197 169 0 50 0
[pid=8209] ppid=8203 vsize=7320 CPUtime=3.02
/proc/8209/stat : 8209 (minisat_static) R 8203 8203 8120 0 -1 4194304 1597 0 0 0 302 0 0 0 25 0 1 0 306479820 7495680 1583 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8209/statm: 1830 1583 76 171 0 1657 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 12676
[startup+6.30155 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 8209
/proc/meminfo: memFree=1934280/2055920 swapFree=4180064/4192956
[pid=8203] ppid=8201 vsize=5356 CPUtime=0.05
/proc/8203/stat : 8203 (SatELiteGTI) S 8201 8203 8120 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306479813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8203/statm: 1339 239 197 169 0 50 0
[pid=8209] ppid=8203 vsize=10332 CPUtime=6.22
/proc/8209/stat : 8209 (minisat_static) R 8203 8203 8120 0 -1 4194304 2343 0 0 0 621 1 0 0 25 0 1 0 306479820 10579968 2329 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/8209/statm: 2583 2329 76 171 0 2410 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 15688
[startup+12.7013 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 8209
/proc/meminfo: memFree=1929992/2055920 swapFree=4180064/4192956
[pid=8203] ppid=8201 vsize=5356 CPUtime=0.05
/proc/8203/stat : 8203 (SatELiteGTI) S 8201 8203 8120 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306479813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8203/statm: 1339 239 197 169 0 50 0
[pid=8209] ppid=8203 vsize=14372 CPUtime=12.62
/proc/8209/stat : 8209 (minisat_static) R 8203 8203 8120 0 -1 4194304 3329 0 0 0 1259 3 0 0 25 0 1 0 306479820 14716928 3315 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8209/statm: 3593 3315 76 171 0 3420 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 19728
[startup+25.5017 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 8209
/proc/meminfo: memFree=1924232/2055920 swapFree=4180064/4192956
[pid=8203] ppid=8201 vsize=5356 CPUtime=0.05
/proc/8203/stat : 8203 (SatELiteGTI) S 8201 8203 8120 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306479813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8203/statm: 1339 239 197 169 0 50 0
[pid=8209] ppid=8203 vsize=19788 CPUtime=25.41
/proc/8209/stat : 8209 (minisat_static) R 8203 8203 8120 0 -1 4194304 4696 0 0 0 2538 3 0 0 25 0 1 0 306479820 20262912 4682 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/8209/statm: 4947 4682 76 171 0 4774 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 25144
[startup+51.1016 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 8209
/proc/meminfo: memFree=1920584/2055920 swapFree=4180064/4192956
[pid=8203] ppid=8201 vsize=5356 CPUtime=0.05
/proc/8203/stat : 8203 (SatELiteGTI) S 8201 8203 8120 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306479813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8203/statm: 1339 239 197 169 0 50 0
[pid=8209] ppid=8203 vsize=23372 CPUtime=51
/proc/8209/stat : 8209 (minisat_static) R 8203 8203 8120 0 -1 4194304 5582 0 0 0 5095 5 0 0 25 0 1 0 306479820 23932928 5568 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8209/statm: 5843 5568 76 171 0 5670 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 28728
[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 8209
/proc/meminfo: memFree=1920456/2055920 swapFree=4180064/4192956
[pid=8203] ppid=8201 vsize=5356 CPUtime=0.05
/proc/8203/stat : 8203 (SatELiteGTI) S 8201 8203 8120 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306479813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8203/statm: 1339 239 197 169 0 50 0
[pid=8209] ppid=8203 vsize=23372 CPUtime=102.18
/proc/8209/stat : 8209 (minisat_static) R 8203 8203 8120 0 -1 4194304 5582 0 0 0 10213 5 0 0 25 0 1 0 306479820 23932928 5568 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/8209/statm: 5843 5568 76 171 0 5670 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 28728
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 8209
/proc/meminfo: memFree=1919112/2055920 swapFree=4180064/4192956
[pid=8203] ppid=8201 vsize=5356 CPUtime=0.05
/proc/8203/stat : 8203 (SatELiteGTI) S 8201 8203 8120 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306479813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8203/statm: 1339 239 197 169 0 50 0
[pid=8209] ppid=8203 vsize=24428 CPUtime=162.15
/proc/8209/stat : 8209 (minisat_static) R 8203 8203 8120 0 -1 4194304 5868 0 0 0 16209 6 0 0 25 0 1 0 306479820 25014272 5854 1992294400 134512640 135215339 4294956240 18446744073709551615 134528824 0 0 4096 3 0 0 0 17 1 0 0
/proc/8209/statm: 6107 5854 76 171 0 5934 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 29784
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 8209
/proc/meminfo: memFree=1917320/2055920 swapFree=4180064/4192956
[pid=8203] ppid=8201 vsize=5356 CPUtime=0.05
/proc/8203/stat : 8203 (SatELiteGTI) S 8201 8203 8120 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306479813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8203/statm: 1339 239 197 169 0 50 0
[pid=8209] ppid=8203 vsize=26276 CPUtime=222.13
/proc/8209/stat : 8209 (minisat_static) R 8203 8203 8120 0 -1 4194304 6319 0 0 0 22206 7 0 0 25 0 1 0 306479820 26906624 6305 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8209/statm: 6569 6305 76 171 0 6396 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 31632
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 8209
/proc/meminfo: memFree=1916808/2055920 swapFree=4180064/4192956
[pid=8203] ppid=8201 vsize=5356 CPUtime=0.05
/proc/8203/stat : 8203 (SatELiteGTI) S 8201 8203 8120 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306479813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8203/statm: 1339 239 197 169 0 50 0
[pid=8209] ppid=8203 vsize=26540 CPUtime=282.1
/proc/8209/stat : 8209 (minisat_static) R 8203 8203 8120 0 -1 4194304 6407 0 0 0 28203 7 0 0 25 0 1 0 306479820 27176960 6393 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8209/statm: 6635 6393 76 171 0 6462 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 31896
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 8209
/proc/meminfo: memFree=1916296/2055920 swapFree=4180064/4192956
[pid=8203] ppid=8201 vsize=5356 CPUtime=0.05
/proc/8203/stat : 8203 (SatELiteGTI) S 8201 8203 8120 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306479813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8203/statm: 1339 239 197 169 0 50 0
[pid=8209] ppid=8203 vsize=26936 CPUtime=342.08
/proc/8209/stat : 8209 (minisat_static) R 8203 8203 8120 0 -1 4194304 6509 0 0 0 34200 8 0 0 25 0 1 0 306479820 27582464 6495 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8209/statm: 6734 6495 76 171 0 6561 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 32292
[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 8215
/proc/meminfo: memFree=1915768/2055920 swapFree=4180064/4192956
[pid=8203] ppid=8201 vsize=5356 CPUtime=0.05
/proc/8203/stat : 8203 (SatELiteGTI) S 8201 8203 8120 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306479813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8203/statm: 1339 239 197 169 0 50 0
[pid=8209] ppid=8203 vsize=26936 CPUtime=402.03
/proc/8209/stat : 8209 (minisat_static) R 8203 8203 8120 0 -1 4194304 6509 0 0 0 40195 8 0 0 25 0 1 0 306479820 27582464 6495 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/8209/statm: 6734 6495 76 171 0 6561 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 32292
[startup+462.301 s]
################
# More data... #
################
[pid=8209] ppid=8203 vsize=27600 CPUtime=461.96
/proc/8209/stat : 8209 (minisat_static) R 8203 8203 8120 0 -1 4194304 6674 0 0 0 46185 11 0 0 25 0 1 0 306479820 28262400 6660 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8209/statm: 6900 6660 76 171 0 6727 0
Current children cumulated CPU time (s) 462.01
Current children cumulated vsize (KiB) 32956
[startup+522.301 s]
/proc/loadavg: 1.10 1.02 1.00 2/66 8703
/proc/meminfo: memFree=1815616/2055920 swapFree=4180064/4192956
[pid=8203] ppid=8201 vsize=5356 CPUtime=0.05
/proc/8203/stat : 8203 (SatELiteGTI) S 8201 8203 8120 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306479813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8203/statm: 1339 239 197 169 0 50 0
[pid=8209] ppid=8203 vsize=27600 CPUtime=521.91
/proc/8209/stat : 8209 (minisat_static) R 8203 8203 8120 0 -1 4194304 6674 0 0 0 52172 19 0 0 25 0 1 0 306479820 28262400 6660 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8209/statm: 6900 6660 76 171 0 6727 0
Current children cumulated CPU time (s) 521.96
Current children cumulated vsize (KiB) 32956
[startup+582.302 s]
/proc/loadavg: 1.03 1.01 1.00 2/66 8703
/proc/meminfo: memFree=1815616/2055920 swapFree=4180064/4192956
[pid=8203] ppid=8201 vsize=5356 CPUtime=0.05
/proc/8203/stat : 8203 (SatELiteGTI) S 8201 8203 8120 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306479813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8203/statm: 1339 239 197 169 0 50 0
[pid=8209] ppid=8203 vsize=27600 CPUtime=581.89
/proc/8209/stat : 8209 (minisat_static) R 8203 8203 8120 0 -1 4194304 6674 0 0 0 58170 19 0 0 25 0 1 0 306479820 28262400 6660 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8209/statm: 6900 6660 76 171 0 6727 0
Current children cumulated CPU time (s) 581.94
Current children cumulated vsize (KiB) 32956
[startup+642.302 s]
/proc/loadavg: 1.04 1.02 1.00 2/66 8703
/proc/meminfo: memFree=1815616/2055920 swapFree=4180064/4192956
[pid=8203] ppid=8201 vsize=5356 CPUtime=0.05
/proc/8203/stat : 8203 (SatELiteGTI) S 8201 8203 8120 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306479813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8203/statm: 1339 239 197 169 0 50 0
[pid=8209] ppid=8203 vsize=27600 CPUtime=641.87
/proc/8209/stat : 8209 (minisat_static) R 8203 8203 8120 0 -1 4194304 6674 0 0 0 64167 20 0 0 25 0 1 0 306479820 28262400 6660 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/8209/statm: 6900 6660 76 171 0 6727 0
Current children cumulated CPU time (s) 641.92
Current children cumulated vsize (KiB) 32956
[startup+702.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/66 8703
/proc/meminfo: memFree=1815552/2055920 swapFree=4180064/4192956
[pid=8203] ppid=8201 vsize=5356 CPUtime=0.05
/proc/8203/stat : 8203 (SatELiteGTI) S 8201 8203 8120 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306479813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8203/statm: 1339 239 197 169 0 50 0
[pid=8209] ppid=8203 vsize=27600 CPUtime=701.84
/proc/8209/stat : 8209 (minisat_static) R 8203 8203 8120 0 -1 4194304 6674 0 0 0 70164 20 0 0 25 0 1 0 306479820 28262400 6660 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/8209/statm: 6900 6660 76 171 0 6727 0
Current children cumulated CPU time (s) 701.89
Current children cumulated vsize (KiB) 32956
[startup+762.305 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 8703
/proc/meminfo: memFree=1815488/2055920 swapFree=4180064/4192956
[pid=8203] ppid=8201 vsize=5356 CPUtime=0.05
/proc/8203/stat : 8203 (SatELiteGTI) S 8201 8203 8120 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306479813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8203/statm: 1339 239 197 169 0 50 0
[pid=8209] ppid=8203 vsize=27732 CPUtime=761.82
/proc/8209/stat : 8209 (minisat_static) R 8203 8203 8120 0 -1 4194304 6707 0 0 0 76162 20 0 0 25 0 1 0 306479820 28397568 6693 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8209/statm: 6933 6693 76 171 0 6760 0
Current children cumulated CPU time (s) 761.87
Current children cumulated vsize (KiB) 33088
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8703
/proc/meminfo: memFree=1815432/2055920 swapFree=4180064/4192956
[pid=8203] ppid=8201 vsize=5356 CPUtime=0.05
/proc/8203/stat : 8203 (SatELiteGTI) S 8201 8203 8120 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306479813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8203/statm: 1339 239 197 169 0 50 0
[pid=8209] ppid=8203 vsize=27732 CPUtime=821.81
/proc/8209/stat : 8209 (minisat_static) R 8203 8203 8120 0 -1 4194304 6707 0 0 0 82160 21 0 0 25 0 1 0 306479820 28397568 6693 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/8209/statm: 6933 6693 76 171 0 6760 0
Current children cumulated CPU time (s) 821.86
Current children cumulated vsize (KiB) 33088
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8703
/proc/meminfo: memFree=1814728/2055920 swapFree=4180064/4192956
[pid=8203] ppid=8201 vsize=5356 CPUtime=0.05
/proc/8203/stat : 8203 (SatELiteGTI) S 8201 8203 8120 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306479813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8203/statm: 1339 239 197 169 0 50 0
[pid=8209] ppid=8203 vsize=28404 CPUtime=881.78
/proc/8209/stat : 8209 (minisat_static) R 8203 8203 8120 0 -1 4194304 6850 0 0 0 88157 21 0 0 25 0 1 0 306479820 29085696 6836 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8209/statm: 7101 6836 76 171 0 6928 0
Current children cumulated CPU time (s) 881.83
Current children cumulated vsize (KiB) 33760
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8703
/proc/meminfo: memFree=1814664/2055920 swapFree=4180064/4192956
[pid=8203] ppid=8201 vsize=5356 CPUtime=0.05
/proc/8203/stat : 8203 (SatELiteGTI) S 8201 8203 8120 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306479813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8203/statm: 1339 239 197 169 0 50 0
[pid=8209] ppid=8203 vsize=28212 CPUtime=941.77
/proc/8209/stat : 8209 (minisat_static) R 8203 8203 8120 0 -1 4194304 6850 0 0 0 94155 22 0 0 25 0 1 0 306479820 28889088 6814 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8209/statm: 7053 6814 76 171 0 6880 0
Current children cumulated CPU time (s) 941.82
Current children cumulated vsize (KiB) 33568
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8703
/proc/meminfo: memFree=1814536/2055920 swapFree=4180064/4192956
[pid=8203] ppid=8201 vsize=5356 CPUtime=0.05
/proc/8203/stat : 8203 (SatELiteGTI) S 8201 8203 8120 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306479813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8203/statm: 1339 239 197 169 0 50 0
[pid=8209] ppid=8203 vsize=28212 CPUtime=1001.75
/proc/8209/stat : 8209 (minisat_static) R 8203 8203 8120 0 -1 4194304 6850 0 0 0 100153 22 0 0 25 0 1 0 306479820 28889088 6814 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8209/statm: 7053 6814 76 171 0 6880 0
Current children cumulated CPU time (s) 1001.8
Current children cumulated vsize (KiB) 33568
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8703
/proc/meminfo: memFree=1814472/2055920 swapFree=4180064/4192956
[pid=8203] ppid=8201 vsize=5356 CPUtime=0.05
/proc/8203/stat : 8203 (SatELiteGTI) S 8201 8203 8120 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306479813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8203/statm: 1339 239 197 169 0 50 0
[pid=8209] ppid=8203 vsize=28128 CPUtime=1061.74
/proc/8209/stat : 8209 (minisat_static) R 8203 8203 8120 0 -1 4194304 6850 0 0 0 106151 23 0 0 25 0 1 0 306479820 28803072 6793 1992294400 134512640 135215339 4294956240 18446744073709551615 134528852 0 0 4096 3 0 0 0 17 1 0 0
/proc/8209/statm: 7032 6793 76 171 0 6859 0
Current children cumulated CPU time (s) 1061.79
Current children cumulated vsize (KiB) 33484
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8703
/proc/meminfo: memFree=1813768/2055920 swapFree=4180064/4192956
[pid=8203] ppid=8201 vsize=5356 CPUtime=0.05
/proc/8203/stat : 8203 (SatELiteGTI) S 8201 8203 8120 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306479813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8203/statm: 1339 239 197 169 0 50 0
[pid=8209] ppid=8203 vsize=28932 CPUtime=1121.72
/proc/8209/stat : 8209 (minisat_static) R 8203 8203 8120 0 -1 4194304 7037 0 0 0 112148 24 0 0 25 0 1 0 306479820 29626368 6980 1992294400 134512640 135215339 4294956240 18446744073709551615 134545713 0 0 4096 3 0 0 0 17 1 0 0
/proc/8209/statm: 7233 6980 76 171 0 7060 0
Current children cumulated CPU time (s) 1121.77
Current children cumulated vsize (KiB) 34288
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8703
/proc/meminfo: memFree=1813448/2055920 swapFree=4180064/4192956
[pid=8203] ppid=8201 vsize=5356 CPUtime=0.05
/proc/8203/stat : 8203 (SatELiteGTI) S 8201 8203 8120 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306479813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8203/statm: 1339 239 197 169 0 50 0
[pid=8209] ppid=8203 vsize=29196 CPUtime=1181.7
/proc/8209/stat : 8209 (minisat_static) R 8203 8203 8120 0 -1 4194304 7093 0 0 0 118146 24 0 0 25 0 1 0 306479820 29896704 7036 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8209/statm: 7299 7036 76 171 0 7126 0
Current children cumulated CPU time (s) 1181.75
Current children cumulated vsize (KiB) 34552
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8703
/proc/meminfo: memFree=1813384/2055920 swapFree=4180064/4192956
[pid=8203] ppid=8201 vsize=5356 CPUtime=0.05
/proc/8203/stat : 8203 (SatELiteGTI) S 8201 8203 8120 0 -1 4194304 336 747 0 0 0 0 5 0 16 0 1 0 306479813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8203/statm: 1339 239 197 169 0 50 0
[pid=8209] ppid=8203 vsize=29196 CPUtime=1200
/proc/8209/stat : 8209 (minisat_static) R 8203 8203 8120 0 -1 4194304 7093 0 0 0 119976 24 0 0 25 0 1 0 306479820 29896704 7036 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/8209/statm: 7299 7036 76 171 0 7126 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 34552
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.61
CPU time (s): 1200.08
CPU user time (s): 1199.82
CPU system time (s): 0.25896
CPU usage (%): 99.9556
Max. virtual memory (cumulated for all children) (KiB): 34552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.82
system time used= 0.25896
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8185
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= 24
involuntary context switches= 4470
runsolver used 1.43178 second user time and 3.06353 second system time
The end
Begin job on node23 at 2009-05-20 03:54:23
IDJOB=1832563
IDBENCH=70245
IDSOLVER=671
FILE ID=node23/1832563-1242784463
PBS_JOBID= 9322315
Free space on /tmp= 66452 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/200/unif-k7-r85-v200-c17000-S948914005-013.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832563-1242784463/watcher-1832563-1242784463 -o /tmp/evaluation-result-1832563-1242784463/solver-1832563-1242784463 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832563-1242784463.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8e7038f460a2090de0c9ec52bd5a121d
RANDOM SEED=147181998
node23.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.238
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.238
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1944176 kB
Buffers: 19468 kB
Cached: 57408 kB
SwapCached: 6968 kB
Active: 26248 kB
Inactive: 59344 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1944176 kB
SwapTotal: 4192956 kB
SwapFree: 4180064 kB
Dirty: 2072 kB
Writeback: 0 kB
Mapped: 13968 kB
Slab: 12180 kB
Committed_AS: 1018524 kB
PageTables: 1392 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66448 MiB
End job on node23 at 2009-05-20 04:14:26