0.00/0.00 c Parsing...
0.00/0.21 c ==============================================================================
0.00/0.21 c | | ORIGINAL | LEARNT | |
0.00/0.21 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.21 c ==============================================================================
0.00/0.21 c | 0 | 257551 850944 | 77265 0 0 nan | 0.000 % |
0.00/0.72 c | 0 | 240404 810660 | -- 0 -- -- | -- | -17147/-40284
0.00/0.72 c ==============================================================================
0.00/0.72 c Result : #vars: 15300 #clauses: 240404 #literals: 810660
0.00/0.72 c CPU time: 0.668898 s
0.00/0.72 c ==============================================================================
0.00/0.99 c This is MiniSat 2.0 beta
0.00/0.99 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.99 c ============================[ Problem Statistics ]=============================
0.00/0.99 c | |
0.00/0.99 c | Number of variables: 15300 |
0.00/0.99 c | Number of clauses: 240404 |
1.08/1.14 c | Parsing time: 0.13 s |
1.08/1.15 c ============================[ Search Statistics ]==============================
1.08/1.15 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.08/1.15 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.08/1.15 c ===============================================================================
1.08/1.15 c | 0 | 15300 240404 810660 | 80134 0 nan | 0.000 % |
1.08/1.19 c | 103 | 15300 240404 810660 | 80134 103 9 | 0.000 % |
1.17/1.20 c | 203 | 15300 240404 810660 | 80134 203 10 | 0.000 % |
1.17/1.23 c | 304 | 15300 240404 810660 | 80134 304 10 | 0.000 % |
1.17/1.25 c | 415 | 15300 240404 810660 | 80134 415 10 | 0.000 % |
1.17/1.27 c | 518 | 15300 240404 810660 | 80134 518 12 | 0.000 % |
1.27/1.30 c | 630 | 15300 240404 810660 | 80134 630 12 | 0.000 % |
1.27/1.32 c | 753 | 15300 240404 810660 | 80134 753 13 | 0.000 % |
1.27/1.36 c | 853 | 15300 240404 810660 | 80134 853 13 | 0.000 % |
1.27/1.39 c | 963 | 15300 240404 810660 | 80134 963 15 | 0.000 % |
1.37/1.42 c | 1084 | 15300 240404 810660 | 80134 1084 16 | 0.000 % |
1.37/1.47 c | 1219 | 15300 240404 810660 | 80134 1219 16 | 0.000 % |
1.37/1.49 c | 1319 | 15300 240404 810660 | 80134 1319 16 | 0.000 % |
1.47/1.53 c | 1431 | 15300 240404 810660 | 80134 1431 16 | 0.000 % |
1.47/1.55 c | 1553 | 15300 240404 810660 | 80134 1553 16 | 0.000 % |
1.47/1.59 c | 1686 | 15300 240404 810660 | 80134 1686 16 | 0.000 % |
1.58/1.66 c | 1832 | 15300 240404 810660 | 80134 1832 16 | 0.000 % |
1.58/1.68 c | 1932 | 15300 240404 810660 | 80134 1932 16 | 0.000 % |
1.67/1.70 c | 2043 | 15300 240404 810660 | 80134 2043 16 | 0.000 % |
1.67/1.73 c | 2165 | 15300 240404 810660 | 80134 2165 17 | 0.000 % |
1.67/1.76 c | 2298 | 15300 240404 810660 | 80134 2298 17 | 0.000 % |
1.67/1.80 c | 2444 | 15300 240404 810660 | 80134 2444 17 | 0.000 % |
1.77/1.85 c | 2605 | 15300 240404 810660 | 80134 2605 17 | 0.000 % |
1.77/1.88 c | 2705 | 15300 240404 810660 | 80134 2705 17 | 0.000 % |
1.88/1.91 c | 2816 | 15300 240404 810660 | 80134 2816 16 | 0.000 % |
1.88/1.93 c | 2937 | 15300 240404 810660 | 80134 2937 17 | 0.000 % |
1.88/1.95 c | 3070 | 15300 240404 810660 | 80134 3070 17 | 0.000 % |
1.98/2.00 c | 3218 | 15299 240341 810450 | 80134 3214 17 | 0.007 % |
1.98/2.04 c | 3379 | 15299 240341 810450 | 80134 3375 17 | 0.007 % |
1.98/2.09 c | 3560 | 15299 240341 810450 | 80134 3556 18 | 0.007 % |
2.09/2.13 c | 3660 | 15299 240341 810450 | 80134 3656 18 | 0.007 % |
2.09/2.17 c | 3770 | 15299 240341 810450 | 80134 3766 18 | 0.007 % |
2.09/2.19 c | 3891 | 15299 240341 810450 | 80134 3887 18 | 0.007 % |
2.19/2.21 c | 4024 | 15299 240341 810450 | 80134 4020 18 | 0.007 % |
2.19/2.25 c | 4170 | 15299 240341 810450 | 80134 4166 18 | 0.007 % |
2.19/2.28 c | 4331 | 15299 240341 810450 | 80134 4327 18 | 0.007 % |
2.28/2.31 c | 4508 | 15299 240341 810450 | 80134 4504 18 | 0.007 % |
2.28/2.36 c | 4701 | 15299 240341 810450 | 80134 4697 19 | 0.007 % |
2.28/2.38 c | 4802 | 15299 240341 810450 | 80134 4798 19 | 0.007 % |
2.38/2.41 c | 4912 | 15299 240341 810450 | 80134 4908 19 | 0.008 % |
2.38/2.44 c | 5034 | 15299 240341 810450 | 80134 5030 19 | 0.007 % |
2.38/2.48 c | 5167 | 15299 240341 810450 | 80134 5163 19 | 0.007 % |
2.48/2.51 c | 5313 | 15299 240341 810450 | 80134 5309 19 | 0.008 % |
2.48/2.57 c | 5473 | 15299 240341 810450 | 80134 5469 19 | 0.007 % |
2.58/2.61 c | 5651 | 15299 240341 810450 | 80134 5647 19 | 0.007 % |
2.58/2.63 c | 5844 | 15299 240341 810450 | 80134 5840 19 | 0.007 % |
2.68/2.70 c | 6056 | 15299 240341 810450 | 80134 6052 19 | 0.007 % |
2.68/2.73 c | 6156 | 15299 240341 810450 | 80134 6152 19 | 0.007 % |
2.68/2.76 c | 6266 | 15299 240341 810450 | 80134 6262 19 | 0.007 % |
2.68/2.79 c | 6387 | 15299 240341 810450 | 80134 6383 19 | 0.008 % |
2.78/2.82 c | 6520 | 15299 240341 810450 | 80134 6516 19 | 0.007 % |
2.78/2.85 c | 6667 | 15299 240341 810450 | 80134 6663 19 | 0.008 % |
2.78/2.88 c | 6828 | 15299 240341 810450 | 80134 6824 19 | 0.007 % |
2.88/2.94 c | 7004 | 15299 240341 810450 | 80134 7000 19 | 0.007 % |
2.88/2.98 c | 7201 | 15299 240341 810450 | 80134 7197 19 | 0.007 % |
2.98/3.03 c | 7414 | 15299 240341 810450 | 80134 7410 20 | 0.007 % |
3.08/3.10 c | 7648 | 15299 240341 810450 | 80134 7644 20 | 0.007 % |
3.08/3.12 c | 7750 | 15299 240341 810450 | 80134 7746 20 | 0.007 % |
3.08/3.15 c | 7860 | 15299 240341 810450 | 80134 7856 20 | 0.007 % |
3.08/3.17 c | 7983 | 15299 240341 810450 | 80134 7979 20 | 0.008 % |
3.18/3.22 c | 8117 | 15299 240341 810450 | 80134 8113 20 | 0.008 % |
3.18/3.24 c | 8265 | 15299 240341 810450 | 80134 8261 20 | 0.007 % |
3.18/3.28 c | 8425 | 15299 240341 810450 | 80134 8421 19 | 0.007 % |
3.28/3.34 c | 8601 | 15299 240341 810450 | 80134 8597 19 | 0.007 % |
3.28/3.39 c | 8794 | 15299 240341 810450 | 80134 8790 19 | 0.007 % |
3.38/3.45 c | 9007 | 15299 240341 810450 | 80134 9003 19 | 0.007 % |
3.48/3.50 c | 9241 | 15299 240341 810450 | 80134 9237 20 | 0.007 % |
3.48/3.55 c | 9498 | 15299 240341 810450 | 80134 9494 20 | 0.007 % |
3.48/3.59 c | 9599 | 15299 240341 810450 | 80134 9595 20 | 0.007 % |
3.58/3.61 c | 9709 | 15299 240341 810450 | 80134 9705 20 | 0.007 % |
3.58/3.63 c | 9831 | 15299 240341 810450 | 80134 9827 20 | 0.007 % |
3.58/3.66 c | 9965 | 15299 240341 810450 | 80134 9961 20 | 0.007 % |
3.58/3.69 c | 10112 | 15299 240341 810450 | 2147483647 10108 20 | 0.007 % |
3.68/3.76 c | 10273 | 15299 240341 810450 | 2147483647 10269 20 | 0.007 % |
3.78/3.80 c | 10449 | 15299 240341 810450 | 2147483647 10445 20 | 0.007 % |
3.78/3.86 c | 10643 | 15299 240341 810450 | 2147483647 10639 20 | 0.007 % |
3.88/3.92 c | 10856 | 15299 240341 810450 | 2147483647 10852 21 | 0.007 % |
3.88/3.96 c | 11091 | 15299 240341 810450 | 2147483647 11087 21 | 0.007 % |
3.98/4.02 c | 11347 | 15299 240341 810450 | 2147483647 11343 21 | 0.007 % |
4.08/4.10 c | 11628 | 15299 240341 810450 | 2147483647 11624 21 | 0.007 % |
4.08/4.14 c | 11728 | 15299 240341 810450 | 2147483647 11724 21 | 0.007 % |
4.08/4.19 c | 11839 | 15299 240341 810450 | 2147483647 11835 21 | 0.007 % |
4.18/4.21 c | 11960 | 15299 240341 810450 | 2147483647 11956 21 | 0.008 % |
4.18/4.26 c | 12094 | 15299 240341 810450 | 2147483647 12090 21 | 0.007 % |
4.18/4.30 c | 12240 | 15299 240341 810450 | 2147483647 12236 21 | 0.007 % |
4.28/4.34 c | 12401 | 15299 240341 810450 | 2147483647 12397 22 | 0.007 % |
4.28/4.39 c | 12577 | 15299 240341 810450 | 2147483647 12573 22 | 0.008 % |
4.38/4.42 c | 12771 | 15299 240341 810450 | 2147483647 12767 22 | 0.007 % |
4.38/4.46 c | 12983 | 15299 240341 810450 | 2147483647 12979 22 | 0.007 % |
4.48/4.51 c | 13216 | 15299 240341 810450 | 2147483647 13212 22 | 0.007 % |
4.48/4.56 c | 13474 | 15299 240341 810450 | 2147483647 13470 22 | 0.008 % |
4.58/4.60 c | 13755 | 15299 240341 810450 | 2147483647 13751 22 | 0.007 % |
4.58/4.65 c | 14067 | 15299 240341 810450 | 2147483647 14063 22 | 0.007 % |
4.68/4.71 c | 14167 | 15299 240341 810450 | 2147483647 14163 22 | 0.007 % |
4.68/4.77 c | 14277 | 15299 240341 810450 | 2147483647 14273 22 | 0.008 % |
4.68/4.79 c | 14400 | 15299 240341 810450 | 2147483647 14396 22 | 0.007 % |
4.78/4.83 c | 14534 | 15299 240341 810450 | 2147483647 14530 22 | 0.007 % |
4.78/4.88 c | 14680 | 15299 240341 810450 | 2147483647 14676 23 | 0.007 % |
4.88/4.92 c | 14840 | 15299 240341 810450 | 2147483647 14836 22 | 0.008 % |
4.88/4.97 c | 15017 | 15299 240341 810450 | 2147483647 15013 23 | 0.007 % |
4.98/5.02 c | 15210 | 15299 240341 810450 | 2147483647 15206 23 | 0.007 % |
4.98/5.08 c | 15422 | 15299 240341 810450 | 2147483647 15418 23 | 0.007 % |
5.08/5.13 c | 15657 | 15299 240341 810450 | 2147483647 15653 23 | 0.007 % |
5.18/5.22 c | 15913 | 15299 240341 810450 | 2147483647 15909 23 | 0.007 % |
5.18/5.27 c | 16195 | 15299 240341 810450 | 2147483647 16191 23 | 0.008 % |
5.27/5.30 c | 16506 | 15299 240341 810450 | 2147483647 16502 23 | 0.007 % |
5.27/5.37 c | 16845 | 15299 240341 810450 | 2147483647 16841 23 | 0.007 % |
5.27/5.40 c | 16945 | 15299 240341 810450 | 2147483647 16941 23 | 0.007 % |
5.38/5.44 c | 17055 | 15299 240341 810450 | 2147483647 17051 23 | 0.007 % |
5.38/5.49 c | 17177 | 15299 240341 810450 | 2147483647 17173 24 | 0.007 % |
5.48/5.53 c | 17310 | 15299 240341 810450 | 2147483647 17306 24 | 0.007 % |
5.48/5.56 c | 17457 | 15299 240341 810450 | 2147483647 17453 24 | 0.007 % |
5.48/5.58 c | 17620 | 15299 240341 810450 | 2147483647 17616 23 | 0.007 % |
5.57/5.66 c | 17798 | 15299 240341 810450 | 2147483647 17794 24 | 0.007 % |
5.67/5.72 c | 17991 | 15299 240341 810450 | 2147483647 17987 23 | 0.007 % |
5.67/5.78 c | 18204 | 15299 240341 810450 | 2147483647 18200 24 | 0.007 % |
5.77/5.83 c | 18441 | 15299 240341 810450 | 2147483647 18437 24 | 0.007 % |
5.77/5.90 c | 18697 | 15299 240341 810450 | 2147483647 18693 23 | 0.007 % |
5.87/5.98 c | 18978 | 15299 240341 810450 | 2147483647 18974 24 | 0.007 % |
5.97/6.05 c | 19287 | 15299 240341 810450 | 2147483647 19283 24 | 0.008 % |
6.07/6.17 c | 19629 | 15299 240341 810450 | 2147483647 19625 24 | 0.008 % |
6.17/6.27 c | 20002 | 15299 240341 810450 | 2147483647 19998 24 | 0.007 % |
6.28/6.33 c | 20104 | 15299 240341 810450 | 2147483647 20100 24 | 0.007 % |
6.28/6.37 c | 20215 | 15299 240341 810450 | 2147483647 20211 24 | 0.007 % |
6.38/6.40 c | 20336 | 15299 240341 810450 | 2147483647 20332 24 | 0.007 % |
6.38/6.44 c | 20470 | 15299 240341 810450 | 2147483647 20466 24 | 0.007 % |
6.49/6.50 c | 20617 | 15299 240341 810450 | 2147483647 20613 24 | 0.008 % |
6.49/6.56 c | 20779 | 15299 240341 810450 | 2147483647 20775 24 | 0.007 % |
6.59/6.63 c | 20957 | 15299 240341 810450 | 2147483647 20953 24 | 0.007 % |
6.68/6.70 c | 21150 | 15299 240341 810450 | 2147483647 21146 24 | 0.007 % |
6.68/6.77 c | 21362 | 15299 240341 810450 | 2147483647 21358 24 | 0.007 % |
6.78/6.86 c | 21595 | 15299 240341 810450 | 2147483647 21591 24 | 0.007 % |
6.88/6.92 c | 21851 | 15299 240341 810450 | 2147483647 21847 24 | 0.007 % |
6.98/7.02 c | 22133 | 15299 240341 810450 | 2147483647 22129 24 | 0.007 % |
6.98/7.10 c | 22442 | 15299 240341 810450 | 2147483647 22438 24 | 0.007 % |
7.08/7.19 c | 22781 | 15299 240341 810450 | 2147483647 22777 24 | 0.007 % |
7.28/7.35 c | 23154 | 15299 240341 810450 | 2147483647 23150 24 | 0.007 % |
7.38/7.49 c | 23565 | 15299 240341 810450 | 2147483647 23561 25 | 0.007 % |
7.48/7.52 c | 23665 | 15299 240341 810450 | 2147483647 23661 25 | 0.007 % |
7.48/7.56 c | 23776 | 15299 240341 810450 | 2147483647 23772 25 | 0.007 % |
7.58/7.61 c | 23900 | 15299 240341 810450 | 2147483647 23896 25 | 0.007 % |
7.58/7.66 c | 24034 | 15299 240341 810450 | 2147483647 24030 25 | 0.007 % |
7.68/7.73 c | 24184 | 15299 240341 810450 | 2147483647 24180 25 | 0.007 % |
7.68/7.79 c | 24344 | 15299 240341 810450 | 2147483647 24340 25 | 0.007 % |
7.78/7.83 c | 24520 | 15299 240341 810450 | 2147483647 24516 25 | 0.007 % |
7.88/7.93 c | 24713 | 15299 240341 810450 | 2147483647 24709 25 | 0.007 % |
7.98/8.00 c | 24926 | 15299 240341 810450 | 2147483647 24922 25 | 0.007 % |
8.08/8.11 c | 25159 | 15299 240341 810450 | 2147483647 25155 25 | 0.007 % |
8.08/8.17 c | 25415 | 15299 240341 810450 | 2147483647 25411 25 | 0.007 % |
8.28/8.33 c | 25696 | 15299 240341 810450 | 2147483647 25692 25 | 0.007 % |
8.37/8.45 c | 26008 | 15299 240341 810450 | 2147483647 26004 25 | 0.007 % |
8.47/8.51 c | 26348 | 15299 240341 810450 | 2147483647 26344 25 | 0.007 % |
8.47/8.59 c | 26720 | 15299 240341 810450 | 2147483647 26716 25 | 0.007 % |
8.68/8.73 c | 27130 | 15299 240341 810450 | 2147483647 27126 26 | 0.007 % |
8.78/8.86 c | 27580 | 15299 240341 810450 | 2147483647 27576 26 | 0.007 % |
8.87/8.90 c | 27680 | 15299 240341 810450 | 2147483647 27676 26 | 0.007 % |
8.87/8.95 c | 27793 | 15299 240341 810450 | 2147483647 27789 26 | 0.007 % |
8.87/8.98 c | 27914 | 15299 240341 810450 | 2147483647 27910 26 | 0.007 % |
8.87/9.00 c | 28047 | 15299 240341 810450 | 2147483647 28043 26 | 0.007 % |
8.97/9.07 c | 28195 | 15299 240341 810450 | 2147483647 28191 26 | 0.007 % |
9.07/9.15 c | 28356 | 15299 240341 810450 | 2147483647 28352 26 | 0.008 % |
9.17/9.22 c | 28534 | 15299 240341 810450 | 2147483647 28530 26 | 0.007 % |
9.27/9.32 c | 28727 | 15299 240341 810450 | 2147483647 28723 26 | 0.007 % |
9.37/9.40 c | 28940 | 15299 240341 810450 | 2147483647 28936 26 | 0.007 % |
9.37/9.49 c | 29174 | 15299 240341 810450 | 2147483647 29170 26 | 0.007 % |
9.47/9.55 c | 29430 | 15299 240341 810450 | 2147483647 29426 26 | 0.007 % |
9.57/9.63 c | 29711 | 15299 240341 810450 | 2147483647 29707 26 | 0.007 % |
9.67/9.70 c | 30020 | 15299 240341 810450 | 2147483647 30016 26 | 0.007 % |
9.77/9.86 c | 30361 | 15299 240341 810450 | 2147483647 30357 27 | 0.007 % |
9.97/10.01 c | 30733 | 15299 240341 810450 | 2147483647 30729 27 | 0.007 % |
10.07/10.12 c | 31143 | 15299 240341 810450 | 2147483647 31139 27 | 0.007 % |
10.17/10.27 c | 31595 | 15299 240341 810450 | 2147483647 31591 27 | 0.007 % |
10.37/10.43 c | 32090 | 15299 240341 810450 | 2147483647 32086 27 | 0.007 % |
10.37/10.47 c | 32191 | 15299 240341 810450 | 2147483647 32187 27 | 0.007 % |
10.47/10.52 c | 32301 | 15299 240341 810450 | 2147483647 32297 27 | 0.007 % |
10.47/10.57 c | 32422 | 15299 240341 810450 | 2147483647 32418 27 | 0.007 % |
10.57/10.61 c | 32557 | 15299 240341 810450 | 2147483647 32553 27 | 0.007 % |
10.57/10.66 c | 32703 | 15299 240341 810450 | 2147483647 32699 27 | 0.007 % |
10.67/10.74 c | 32863 | 15299 240341 810450 | 2147483647 32859 27 | 0.007 % |
10.77/10.81 c | 33039 | 15299 240341 810450 | 2147483647 33035 27 | 0.007 % |
10.77/10.87 c | 33234 | 15299 240341 810450 | 2147483647 33230 27 | 0.007 % |
10.87/10.96 c | 33446 | 15299 240341 810450 | 2147483647 33442 27 | 0.007 % |
10.97/11.02 c | 33679 | 15299 240341 810450 | 2147483647 33675 27 | 0.007 % |
10.97/11.06 c | 33935 | 15299 240341 810450 | 2147483647 33931 27 | 0.007 % |
11.07/11.18 c | 34216 | 15299 240341 810450 | 2147483647 34212 27 | 0.007 % |
11.17/11.29 c | 34525 | 15299 240341 810450 | 2147483647 34521 27 | 0.007 % |
11.38/11.41 c | 34871 | 15299 240341 810450 | 2147483647 34867 27 | 0.007 % |
11.48/11.57 c | 35244 | 15299 240341 810450 | 2147483647 35240 28 | 0.007 % |
11.68/11.73 c | 35653 | 15299 240341 810450 | 2147483647 35649 28 | 0.008 % |
11.78/11.90 c | 36102 | 15299 240341 810450 | 2147483647 36098 28 | 0.007 % |
11.98/12.06 c | 36596 | 15299 240341 810450 | 2147483647 36592 28 | 0.007 % |
12.18/12.22 c | 37139 | 15299 240341 810450 | 2147483647 37135 28 | 0.007 % |
12.18/12.24 c | 37239 | 15299 240341 810450 | 2147483647 37235 28 | 0.008 % |
12.18/12.29 c | 37349 | 15299 240341 810450 | 2147483647 37345 28 | 0.007 % |
12.28/12.30 c | 37470 | 15299 240341 810450 | 2147483647 37466 28 | 0.007 % |
12.28/12.37 c | 37603 | 15299 240341 810450 | 2147483647 37599 28 | 0.007 % |
12.38/12.43 c | 37750 | 15299 240341 810450 | 2147483647 37746 28 | 0.007 % |
12.38/12.47 c | 37912 | 15299 240341 810450 | 2147483647 37908 28 | 0.008 % |
12.48/12.51 c | 38088 | 15299 240341 810450 | 2147483647 38084 28 | 0.007 % |
12.48/12.58 c | 38281 | 15299 240341 810450 | 2147483647 38277 28 | 0.007 % |
12.58/12.67 c | 38494 | 15299 240341 810450 | 2147483647 38490 28 | 0.007 % |
12.68/12.77 c | 38727 | 15299 240341 810450 | 2147483647 38723 28 | 0.007 % |
12.78/12.85 c | 38983 | 15299 240341 810450 | 2147483647 38979 28 | 0.007 % |
12.87/12.96 c | 39264 | 15299 240341 810450 | 2147483647 39260 28 | 0.007 % |
12.97/13.08 c | 39574 | 15299 240341 810450 | 2147483647 39570 28 | 0.007 % |
13.08/13.20 c | 39914 | 15299 240341 810450 | 2147483647 39910 29 | 0.007 % |
13.27/13.32 c | 40287 | 15299 240341 810450 | 2147483647 40283 29 | 0.007 % |
13.47/13.55 c | 40696 | 15299 240341 810450 | 2147483647 40692 29 | 0.007 % |
13.67/13.75 c | 41145 | 15299 240341 810450 | 2147483647 41141 29 | 0.007 % |
13.87/13.90 c | 41639 | 15299 240341 810450 | 2147483647 41635 29 | 0.007 % |
13.97/14.10 c | 42185 | 15299 240341 810450 | 2147483647 42181 29 | 0.007 % |
14.27/14.36 c | 42781 | 15299 240341 810450 | 2147483647 42777 29 | 0.007 % |
14.27/14.40 c | 42881 | 15299 240341 810450 | 2147483647 42877 29 | 0.007 % |
14.36/14.45 c | 42991 | 15299 240341 810450 | 2147483647 42987 29 | 0.008 % |
14.36/14.48 c | 43112 | 15299 240341 810450 | 2147483647 43108 29 | 0.008 % |
14.46/14.53 c | 43245 | 15299 240341 810450 | 2147483647 43241 29 | 0.007 % |
14.56/14.65 c | 43392 | 15299 240341 810450 | 2147483647 43388 29 | 0.007 % |
14.66/14.72 c | 43554 | 15299 240341 810450 | 2147483647 43550 29 | 0.007 % |
14.66/14.79 c | 43732 | 15299 240341 810450 | 2147483647 43728 29 | 0.007 % |
14.76/14.88 c | 43929 | 15299 240341 810450 | 2147483647 43925 30 | 0.007 % |
14.86/14.95 c | 44141 | 15299 240341 810450 | 2147483647 44137 30 | 0.007 % |
14.96/15.05 c | 44374 | 15299 240341 810450 | 2147483647 44370 30 | 0.008 % |
15.06/15.10 c | 44632 | 15299 240341 810450 | 2147483647 44628 30 | 0.007 % |
15.16/15.24 c | 44913 | 15299 240341 810450 | 2147483647 44909 30 | 0.007 % |
15.27/15.33 c | 45223 | 15299 240341 810450 | 2147483647 45219 30 | 0.007 % |
15.37/15.44 c | 45562 | 15299 240341 810450 | 2147483647 45558 30 | 0.007 % |
15.57/15.65 c | 45934 | 15299 240341 810450 | 2147483647 45930 30 | 0.007 % |
15.87/15.91 c | 46346 | 15299 240341 810450 | 2147483647 46342 30 | 0.007 % |
16.07/16.16 c | 46797 | 15299 240341 810450 | 2147483647 46793 31 | 0.007 % |
16.27/16.38 c | 47290 | 15299 240341 810450 | 2147483647 47286 31 | 0.007 % |
16.47/16.58 c | 47832 | 15299 240341 810450 | 2147483647 47828 31 | 0.007 % |
16.87/16.96 c | 48430 | 15299 240341 810450 | 2147483647 48426 31 | 0.007 % |
17.26/17.32 c | 49086 | 15299 240341 810450 | 2147483647 49082 32 | 0.007 % |
17.26/17.38 c | 49186 | 15299 240341 810450 | 2147483647 49182 32 | 0.007 % |
17.36/17.44 c | 49297 | 15299 240341 810450 | 2147483647 49293 32 | 0.007 % |
17.36/17.50 c | 49418 | 15299 240341 810450 | 2147483647 49414 32 | 0.008 % |
17.47/17.54 c | 49551 | 15299 240341 810450 | 2147483647 49547 32 | 0.007 % |
17.57/17.61 c | 49697 | 15299 240341 810450 | 2147483647 49693 32 | 0.007 % |
17.66/17.71 c | 49860 | 15299 240341 810450 | 2147483647 49856 32 | 0.007 % |
17.66/17.78 c | 50037 | 15299 240341 810450 | 2147483647 50033 32 | 0.007 % |
17.76/17.88 c | 50232 | 15299 240341 810450 | 2147483647 50228 32 | 0.007 % |
17.86/17.98 c | 50444 | 15299 240341 810450 | 2147483647 50440 32 | 0.007 % |
17.96/18.08 c | 50677 | 15299 240341 810450 | 2147483647 50673 32 | 0.007 % |
18.16/18.22 c | 50934 | 15299 240341 810450 | 2147483647 50930 32 | 0.007 % |
18.26/18.30 c | 51218 | 15299 240341 810450 | 2147483647 51214 32 | 0.007 % |
18.36/18.44 c | 51528 | 15299 240341 810450 | 2147483647 51524 32 | 0.007 % |
18.57/18.66 c | 51869 | 15299 240341 810450 | 2147483647 51865 32 | 0.007 % |
18.76/18.81 c | 52241 | 15299 240341 810450 | 2147483647 52237 32 | 0.007 % |
18.96/19.01 c | 52650 | 15299 240341 810450 | 2147483647 52646 32 | 0.007 % |
19.16/19.21 c | 53101 | 15299 240341 810450 | 2147483647 53097 33 | 0.007 % |
19.36/19.41 c | 53594 | 15299 240341 810450 | 2147483647 53590 33 | 0.007 % |
19.56/19.61 c | 54139 | 15299 240341 810450 | 2147483647 54135 33 | 0.007 % |
19.67/19.76 c | 54738 | 15299 240341 810450 | 2147483647 54734 33 | 0.008 % |
19.86/19.99 c | 55393 | 15299 240341 810450 | 2147483647 55389 33 | 0.007 % |
20.16/20.27 c | 56114 | 15299 240341 810450 | 2147483647 56110 33 | 0.007 % |
20.26/20.33 c | 56214 | 15299 240341 810450 | 2147483647 56210 33 | 0.007 % |
20.26/20.38 c | 56330 | 15299 240341 810450 | 2147483647 56326 33 | 0.007 % |
20.36/20.40 c | 56451 | 15299 240341 810450 | 2147483647 56447 33 | 0.007 % |
20.56/20.61 c | 56586 | 15299 240341 810450 | 2147483647 56582 33 | 0.007 % |
20.66/20.71 c | 56734 | 15299 240341 810450 | 2147483647 56730 33 | 0.007 % |
20.66/20.76 c | 56895 | 15299 240341 810450 | 2147483647 56891 33 | 0.007 % |
20.76/20.84 c | 57071 | 15299 240341 810450 | 2147483647 57067 33 | 0.008 % |
20.86/20.92 c | 57264 | 15299 240341 810450 | 2147483647 57260 33 | 0.007 % |
20.96/21.01 c | 57477 | 15299 240341 810450 | 2147483647 57473 33 | 0.007 % |
21.06/21.11 c | 57710 | 15299 240341 810450 | 2147483647 57706 33 | 0.007 % |
21.16/21.21 c | 57966 | 15299 240341 810450 | 2147483647 57962 33 | 0.007 % |
21.26/21.37 c | 58250 | 15299 240341 810450 | 2147483647 58246 33 | 0.008 % |
21.46/21.51 c | 58560 | 15299 240341 810450 | 2147483647 58556 33 | 0.007 % |
21.66/21.71 c | 58899 | 15299 240341 810450 | 2147483647 58895 33 | 0.007 % |
21.76/21.80 c | 59273 | 15299 240341 810450 | 2147483647 59269 33 | 0.007 % |
21.87/21.98 c | 59682 | 15299 240341 810450 | 2147483647 59678 34 | 0.008 % |
22.06/22.19 c | 60132 | 15299 240341 810450 | 2147483647 60128 34 | 0.007 % |
22.46/22.54 c | 60625 | 15299 240341 810450 | 2147483647 60621 34 | 0.007 % |
22.56/22.69 c | 61173 | 15299 240341 810450 | 2147483647 61169 34 | 0.007 % |
22.76/22.89 c | 61770 | 15299 240341 810450 | 2147483647 61766 34 | 0.008 % |
23.16/23.23 c | 62425 | 15299 240341 810450 | 2147483647 62421 34 | 0.007 % |
23.46/23.55 c | 63146 | 15299 240341 810450 | 2147483647 63142 34 | 0.007 % |
23.86/23.94 c | 63940 | 15299 240341 810450 | 2147483647 63936 34 | 0.008 % |
23.86/23.96 c | 64040 | 15299 240341 810450 | 2147483647 64036 34 | 0.008 % |
23.96/24.03 c | 64150 | 15299 240341 810450 | 2147483647 64146 34 | 0.007 % |
23.96/24.09 c | 64271 | 15299 240341 810450 | 2147483647 64267 34 | 0.007 % |
24.06/24.16 c | 64405 | 15299 240341 810450 | 2147483647 64401 34 | 0.007 % |
24.16/24.23 c | 64553 | 15299 240341 810450 | 2147483647 64549 34 | 0.007 % |
24.16/24.29 c | 64713 | 15299 240341 810450 | 2147483647 64709 34 | 0.007 % |
24.26/24.39 c | 64889 | 15299 240341 810450 | 2147483647 64885 34 | 0.007 % |
24.46/24.51 c | 65082 | 15299 240341 810450 | 2147483647 65078 34 | 0.007 % |
24.56/24.61 c | 65294 | 15299 240341 810450 | 2147483647 65290 34 | 0.007 % |
24.65/24.72 c | 65528 | 15299 240341 810450 | 2147483647 65524 34 | 0.007 % |
24.75/24.81 c | 65784 | 15299 240341 810450 | 2147483647 65780 34 | 0.007 % |
24.95/25.02 c | 66065 | 15299 240341 810450 | 2147483647 66061 34 | 0.007 % |
25.16/25.23 c | 66374 | 15299 240341 810450 | 2147483647 66370 34 | 0.008 % |
25.26/25.39 c | 66713 | 15299 240341 810450 | 2147483647 66709 34 | 0.007 % |
25.56/25.62 c | 67086 | 15299 240341 810450 | 2147483647 67082 34 | 0.007 % |
25.66/25.79 c | 67496 | 15299 240341 810450 | 2147483647 67492 34 | 0.007 % |
25.96/26.02 c | 67945 | 15299 240341 810450 | 2147483647 67941 34 | 0.007 % |
26.16/26.29 c | 68439 | 15299 240341 810450 | 2147483647 68435 34 | 0.007 % |
26.46/26.52 c | 68982 | 15299 240341 810450 | 2147483647 68978 35 | 0.007 % |
26.76/26.81 c | 69581 | 15299 240341 810450 | 2147483647 69577 35 | 0.007 % |
26.96/27.07 c | 70236 | 15299 240341 810450 | 2147483647 70232 35 | 0.007 % |
27.36/27.49 c | 70958 | 15299 240341 810450 | 2147483647 70954 35 | 0.008 % |
27.76/27.89 c | 71752 | 15299 240341 810450 | 2147483647 71748 35 | 0.007 % |
28.36/28.44 c | 72623 | 15299 240341 810450 | 2147483647 72619 35 | 0.007 % |
28.36/28.50 c | 72723 | 15299 240341 810450 | 2147483647 72719 35 | 0.007 % |
28.46/28.57 c | 72833 | 15299 240341 810450 | 2147483647 72829 35 | 0.007 % |
28.56/28.67 c | 72955 | 15299 240341 810450 | 2147483647 72951 35 | 0.007 % |
28.66/28.75 c | 73088 | 15299 240341 810450 | 2147483647 73084 35 | 0.007 % |
28.66/28.79 c | 73235 | 15299 240341 810450 | 2147483647 73231 35 | 0.007 % |
28.75/28.83 c | 73396 | 15299 240341 810450 | 2147483647 73392 35 | 0.007 % |
28.85/28.90 c | 73573 | 15299 240341 810450 | 2147483647 73569 35 | 0.007 % |
28.95/29.03 c | 73767 | 15299 240341 810450 | 2147483647 73763 35 | 0.007 % |
29.05/29.13 c | 73981 | 15299 240341 810450 | 2147483647 73977 35 | 0.007 % |
29.15/29.26 c | 74216 | 15299 240341 810450 | 2147483647 74212 35 | 0.007 % |
29.25/29.37 c | 74475 | 15299 240341 810450 | 2147483647 74471 35 | 0.007 % |
29.45/29.50 c | 74757 | 15299 240341 810450 | 2147483647 74753 35 | 0.007 % |
29.66/29.77 c | 75071 | 15299 240341 810450 | 2147483647 75067 36 | 0.008 % |
29.85/29.92 c | 75411 | 15299 240341 810450 | 2147483647 75407 36 | 0.007 % |
29.95/30.07 c | 75783 | 15299 240341 810450 | 2147483647 75779 36 | 0.007 % |
30.15/30.24 c | 76192 | 15299 240341 810450 | 2147483647 76188 36 | 0.007 % |
30.45/30.53 c | 76641 | 15299 240341 810450 | 2147483647 76637 36 | 0.007 % |
30.66/30.75 c | 77137 | 15299 240341 810450 | 2147483647 77133 36 | 0.007 % |
30.95/31.08 c | 77682 | 15299 240341 810450 | 2147483647 77678 36 | 0.008 % |
31.25/31.34 c | 78279 | 15299 240341 810450 | 2147483647 78275 36 | 0.007 % |
31.55/31.63 c | 78934 | 15299 240341 810450 | 2147483647 78930 36 | 0.007 % |
31.95/32.05 c | 79654 | 15299 240341 810450 | 2147483647 79650 37 | 0.007 % |
32.55/32.65 c | 80446 | 15299 240341 810450 | 2147483647 80442 37 | 0.007 % |
33.15/33.21 c | 81317 | 15299 240341 810450 | 2147483647 81313 37 | 0.007 % |
33.75/33.85 c | 82280 | 15299 240341 810450 | 2147483647 82276 37 | 0.007 % |
33.85/33.94 c | 82380 | 15299 240341 810450 | 2147483647 82376 37 | 0.007 % |
33.85/33.98 c | 82490 | 15299 240341 810450 | 2147483647 82486 37 | 0.007 % |
33.95/34.07 c | 82612 | 15299 240341 810450 | 2147483647 82608 37 | 0.007 % |
34.05/34.14 c | 82746 | 15299 240341 810450 | 2147483647 82742 37 | 0.007 % |
34.14/34.27 c | 82893 | 15299 240341 810450 | 2147483647 82889 38 | 0.007 % |
34.34/34.40 c | 83056 | 15299 240341 810450 | 2147483647 83052 38 | 0.007 % |
34.34/34.47 c | 83232 | 15299 240341 810450 | 2147483647 83228 38 | 0.007 % |
34.44/34.57 c | 83426 | 15299 240341 810450 | 2147483647 83422 38 | 0.008 % |
34.64/34.71 c | 83640 | 15299 240341 810450 | 2147483647 83636 38 | 0.007 % |
34.75/34.82 c | 83873 | 15299 240341 810450 | 2147483647 83869 37 | 0.007 % |
34.85/34.93 c | 84129 | 15299 240341 810450 | 2147483647 84125 38 | 0.007 % |
34.95/35.08 c | 84410 | 15299 240341 810450 | 2147483647 84406 38 | 0.007 % |
35.15/35.27 c | 84719 | 15299 240341 810450 | 2147483647 84715 38 | 0.007 % |
35.35/35.47 c | 85059 | 15299 240341 810450 | 2147483647 85055 38 | 0.007 % |
35.65/35.75 c | 85431 | 15299 240341 810450 | 2147483647 85427 38 | 0.007 % |
35.85/35.94 c | 85840 | 15299 240341 810450 | 2147483647 85836 38 | 0.007 % |
36.15/36.26 c | 86289 | 15299 240341 810450 | 2147483647 86285 38 | 0.007 % |
36.45/36.56 c | 86782 | 15299 240341 810450 | 2147483647 86778 38 | 0.007 % |
36.65/36.79 c | 87325 | 15299 240341 810450 | 2147483647 87321 38 | 0.007 % |
36.95/37.07 c | 87923 | 15299 240341 810450 | 2147483647 87919 38 | 0.007 % |
37.25/37.36 c | 88579 | 15299 240341 810450 | 2147483647 88575 38 | 0.007 % |
37.84/37.95 c | 89300 | 15299 240341 810450 | 2147483647 89296 38 | 0.007 % |
38.24/38.39 c | 90094 | 15299 240341 810450 | 2147483647 90090 38 | 0.007 % |
38.74/38.82 c | 90965 | 15299 240341 810450 | 2147483647 90961 38 | 0.007 % |
39.55/39.67 c | 91923 | 15299 240341 810450 | 2147483647 91919 38 | 0.007 % |
40.14/40.28 c | 92976 | 15298 240278 810240 | 2147483647 92968 38 | 0.013 % |
40.24/40.34 c | 93077 | 15298 240278 810240 | 2147483647 93069 38 | 0.013 % |
40.34/40.43 c | 93187 | 15298 240278 810240 | 2147483647 93179 38 | 0.013 % |
40.34/40.49 c | 93308 | 15298 240278 810240 | 2147483647 93300 38 | 0.013 % |
40.44/40.58 c | 93442 | 15298 240278 810240 | 2147483647 93434 38 | 0.013 % |
40.54/40.64 c | 93588 | 15298 240278 810240 | 2147483647 93580 38 | 0.013 % |
40.64/40.71 c | 93748 | 15298 240278 810240 | 2147483647 93740 38 | 0.013 % |
40.74/40.80 c | 93924 | 15298 240278 810240 | 2147483647 93916 38 | 0.013 % |
40.84/40.93 c | 94118 | 15298 240278 810240 | 2147483647 94110 38 | 0.013 % |
40.94/41.07 c | 94330 | 15298 240278 810240 | 2147483647 94322 38 | 0.013 % |
41.04/41.20 c | 94563 | 15298 240278 810240 | 2147483647 94555 38 | 0.013 % |
41.24/41.33 c | 94819 | 15298 240278 810240 | 2147483647 94811 38 | 0.013 % |
41.34/41.44 c | 95101 | 15298 240278 810240 | 2147483647 95093 38 | 0.013 % |
41.54/41.61 c | 95410 | 15298 240278 810240 | 2147483647 95402 39 | 0.013 % |
41.74/41.83 c | 95751 | 15298 240278 810240 | 2147483647 95743 39 | 0.013 % |
41.94/42.01 c | 96123 | 15298 240278 810240 | 2147483647 96115 39 | 0.013 % |
42.04/42.19 c | 96532 | 15298 240278 810240 | 2147483647 96524 39 | 0.013 % |
42.44/42.53 c | 96983 | 15298 240278 810240 | 2147483647 96975 39 | 0.013 % |
42.64/42.79 c | 97484 | 15298 240278 810240 | 2147483647 97476 39 | 0.014 % |
42.95/43.08 c | 98026 | 15298 240278 810240 | 2147483647 98018 39 | 0.013 % |
43.45/43.50 c | 98623 | 15298 240278 810240 | 2147483647 98615 39 | 0.013 % |
43.74/43.90 c | 99278 | 15298 240278 810240 | 2147483647 99270 39 | 0.013 % |
44.24/44.35 c | 99998 | 15298 240278 810240 | 2147483647 99990 39 | 0.013 % |
44.74/44.88 c | 100790 | 15298 240278 810240 | 2147483647 100782 39 | 0.013 % |
45.34/45.49 c | 101662 | 15298 240278 810240 | 2147483647 101654 39 | 0.013 % |
45.74/45.87 c | 102620 | 15298 240278 810240 | 2147483647 102612 39 | 0.013 % |
46.54/46.67 c | 103673 | 15298 240278 810240 | 2147483647 103665 39 | 0.014 % |
47.44/47.57 c | 104831 | 15298 240278 810240 | 2147483647 104823 40 | 0.013 % |
47.54/47.65 c | 104931 | 15298 240278 810240 | 2147483647 104923 40 | 0.013 % |
47.64/47.72 c | 105041 | 15298 240278 810240 | 2147483647 105033 40 | 0.013 % |
47.64/47.79 c | 105162 | 15298 240278 810240 | 2147483647 105154 40 | 0.013 % |
47.74/47.89 c | 105295 | 15298 240278 810240 | 2147483647 105287 40 | 0.013 % |
47.84/47.94 c | 105442 | 15298 240278 810240 | 2147483647 105434 40 | 0.013 % |
47.94/48.02 c | 105602 | 15298 240278 810240 | 2147483647 105594 40 | 0.013 % |
48.04/48.11 c | 105779 | 15298 240278 810240 | 2147483647 105771 40 | 0.013 % |
48.14/48.28 c | 105973 | 15298 240278 810240 | 2147483647 105965 40 | 0.013 % |
48.34/48.45 c | 106186 | 15298 240278 810240 | 2147483647 106178 40 | 0.013 % |
48.54/48.60 c | 106419 | 15298 240278 810240 | 2147483647 106411 40 | 0.013 % |
48.64/48.75 c | 106677 | 15298 240278 810240 | 2147483647 106669 40 | 0.013 % |
48.74/48.90 c | 106958 | 15298 240278 810240 | 2147483647 106950 40 | 0.013 % |
48.84/48.98 c | 107267 | 15298 240278 810240 | 2147483647 107259 40 | 0.014 % |
49.04/49.15 c | 107606 | 15298 240278 810240 | 2147483647 107598 40 | 0.013 % |
49.23/49.35 c | 107978 | 15298 240278 810240 | 2147483647 107970 40 | 0.013 % |
49.44/49.55 c | 108387 | 15298 240278 810240 | 2147483647 108379 40 | 0.013 % |
49.73/49.87 c | 108837 | 15298 240278 810240 | 2147483647 108829 40 | 0.013 % |
50.03/50.14 c | 109330 | 15298 240278 810240 | 2147483647 109322 40 | 0.013 % |
50.23/50.38 c | 109874 | 15298 240278 810240 | 2147483647 109866 40 | 0.013 % |
50.63/50.71 c | 110470 | 15298 240278 810240 | 2147483647 110462 40 | 0.013 % |
51.13/51.21 c | 111126 | 15298 240278 810240 | 2147483647 111118 39 | 0.013 % |
51.43/51.60 c | 111846 | 15298 240278 810240 | 2147483647 111838 39 | 0.013 % |
51.93/52.01 c | 112639 | 15298 240278 810240 | 2147483647 112631 40 | 0.013 % |
52.64/52.73 c | 113510 | 15298 240278 810240 | 2147483647 113502 40 | 0.013 % |
53.24/53.38 c | 114468 | 15298 240278 810240 | 2147483647 114460 40 | 0.013 % |
54.43/54.52 c | 115523 | 15298 240278 810240 | 2147483647 115515 40 | 0.013 % |
55.43/55.54 c | 116681 | 15298 240278 810240 | 2147483647 116673 41 | 0.013 % |
56.63/56.70 c | 117954 | 15298 240278 810240 | 2147483647 117946 41 | 0.013 % |
56.63/56.79 c | 118056 | 15298 240278 810240 | 2147483647 118048 41 | 0.013 % |
56.73/56.84 c | 118166 | 15298 240278 810240 | 2147483647 118158 41 | 0.013 % |
56.83/56.92 c | 118287 | 15298 240278 810240 | 2147483647 118279 41 | 0.013 % |
56.93/57.04 c | 118422 | 15298 240278 810240 | 2147483647 118414 41 | 0.013 % |
57.03/57.14 c | 118569 | 15298 240278 810240 | 2147483647 118561 41 | 0.013 % |
57.13/57.28 c | 118729 | 15298 240278 810240 | 2147483647 118721 41 | 0.013 % |
57.33/57.42 c | 118909 | 15298 240278 810240 | 2147483647 118901 41 | 0.014 % |
57.53/57.60 c | 119102 | 15298 240278 810240 | 2147483647 119094 41 | 0.013 % |
57.63/57.77 c | 119315 | 15298 240278 810240 | 2147483647 119307 42 | 0.013 % |
57.83/57.94 c | 119550 | 15298 240278 810240 | 2147483647 119542 42 | 0.014 % |
58.04/58.20 c | 119807 | 15298 240278 810240 | 2147483647 119799 42 | 0.013 % |
58.34/58.44 c | 120088 | 15298 240278 810240 | 2147483647 120080 42 | 0.013 % |
58.54/58.63 c | 120397 | 15298 240278 810240 | 2147483647 120389 42 | 0.013 % |
58.74/58.82 c | 120736 | 15298 240278 810240 | 2147483647 120728 42 | 0.013 % |
58.94/59.09 c | 121108 | 15298 240278 810240 | 2147483647 121100 42 | 0.013 % |
59.24/59.35 c | 121517 | 15298 240278 810240 | 2147483647 121509 42 | 0.013 % |
59.63/59.75 c | 121966 | 15298 240278 810240 | 2147483647 121958 42 | 0.013 % |
60.03/60.15 c | 122460 | 15298 240278 810240 | 2147483647 122452 42 | 0.013 % |
60.34/60.42 c | 123005 | 15298 240278 810240 | 2147483647 122997 42 | 0.013 % |
60.63/60.76 c | 123601 | 15298 240278 810240 | 2147483647 123593 42 | 0.013 % |
61.03/61.13 c | 124258 | 15298 240278 810240 | 2147483647 124250 42 | 0.013 % |
61.63/61.74 c | 124978 | 15298 240278 810240 | 2147483647 124970 42 | 0.013 % |
62.23/62.32 c | 125770 | 15298 240278 810240 | 2147483647 125762 42 | 0.013 % |
62.73/62.85 c | 126641 | 15298 240278 810240 | 2147483647 126633 42 | 0.013 % |
63.33/63.47 c | 127599 | 15298 240278 810240 | 2147483647 127591 42 | 0.013 % |
64.03/64.11 c | 128652 | 15298 240278 810240 | 2147483647 128644 42 | 0.013 % |
64.83/64.93 c | 129810 | 15298 240278 810240 | 2147483647 129802 42 | 0.013 % |
65.63/65.78 c | 131086 | 15298 240278 810240 | 2147483647 131078 42 | 0.013 % |
66.73/66.88 c | 132486 | 15298 240278 810240 | 2147483647 132478 42 | 0.013 % |
66.83/66.94 c | 132586 | 15298 240278 810240 | 2147483647 132578 42 | 0.013 % |
66.93/67.05 c | 132697 | 15298 240278 810240 | 2147483647 132689 42 | 0.013 % |
67.03/67.16 c | 132818 | 15298 240278 810240 | 2147483647 132810 42 | 0.013 % |
67.13/67.23 c | 132951 | 15298 240278 810240 | 2147483647 132943 42 | 0.013 % |
67.23/67.33 c | 133097 | 15298 240278 810240 | 2147483647 133089 42 | 0.013 % |
67.33/67.45 c | 133258 | 15298 240278 810240 | 2147483647 133250 42 | 0.013 % |
67.53/67.60 c | 133434 | 15298 240278 810240 | 2147483647 133426 42 | 0.013 % |
67.73/67.82 c | 133628 | 15298 240278 810240 | 2147483647 133620 42 | 0.013 % |
67.93/68.04 c | 133842 | 15298 240278 810240 | 2147483647 133834 43 | 0.013 % |
68.03/68.19 c | 134077 | 15298 240278 810240 | 2147483647 134069 42 | 0.013 % |
68.23/68.38 c | 134333 | 15298 240278 810240 | 2147483647 134325 42 | 0.013 % |
68.43/68.52 c | 134614 | 15298 240278 810240 | 2147483647 134606 42 | 0.014 % |
68.53/68.69 c | 134923 | 15298 240278 810240 | 2147483647 134915 42 | 0.013 % |
68.73/68.87 c | 135262 | 15298 240278 810240 | 2147483647 135254 42 | 0.013 % |
68.93/69.06 c | 135635 | 15298 240278 810240 | 2147483647 135627 42 | 0.013 % |
69.13/69.30 c | 136046 | 15298 240278 810240 | 2147483647 136038 42 | 0.013 % |
69.53/69.66 c | 136498 | 15298 240278 810240 | 2147483647 136490 43 | 0.013 % |
70.03/70.11 c | 136991 | 15298 240278 810240 | 2147483647 136983 43 | 0.014 % |
70.23/70.38 c | 137533 | 15298 240278 810240 | 2147483647 137525 43 | 0.013 % |
70.73/70.81 c | 138129 | 15298 240278 810240 | 2147483647 138121 43 | 0.013 % |
71.23/71.36 c | 138784 | 15298 240278 810240 | 2147483647 138776 43 | 0.013 % |
71.93/72.05 c | 139504 | 15298 240278 810240 | 2147483647 139496 43 | 0.013 % |
72.73/72.88 c | 140296 | 15298 240278 810240 | 2147483647 140288 43 | 0.013 % |
73.53/73.61 c | 141169 | 15298 240278 810240 | 2147483647 141161 43 | 0.013 % |
74.32/74.47 c | 142127 | 15298 240278 810240 | 2147483647 142119 43 | 0.013 % |
75.42/75.54 c | 143180 | 15298 240278 810240 | 2147483647 143172 44 | 0.013 % |
75.92/76.09 c | 144339 | 15298 240278 810240 | 2147483647 144331 44 | 0.013 % |
76.93/77.07 c | 145612 | 15298 240278 810240 | 2147483647 145604 44 | 0.013 % |
77.63/77.80 c | 147012 | 15298 240278 810240 | 2147483647 147004 44 | 0.013 % |
79.23/79.34 c | 148555 | 15298 240278 810240 | 2147483647 148547 44 | 0.013 % |
79.33/79.47 c | 148655 | 15298 240278 810240 | 2147483647 148647 44 | 0.013 % |
79.43/79.55 c | 148765 | 15298 240278 810240 | 2147483647 148757 44 | 0.013 % |
79.52/79.60 c | 148889 | 15298 240278 810240 | 2147483647 148881 44 | 0.013 % |
79.62/79.72 c | 149022 | 15298 240278 810240 | 2147483647 149014 44 | 0.013 % |
79.72/79.81 c | 149168 | 15298 240278 810240 | 2147483647 149160 44 | 0.013 % |
79.72/79.87 c | 149328 | 15298 240278 810240 | 2147483647 149320 44 | 0.013 % |
79.82/79.94 c | 149506 | 15298 240278 810240 | 2147483647 149498 44 | 0.013 % |
80.13/80.29 c | 149699 | 15298 240278 810240 | 2147483647 149691 44 | 0.013 % |
80.42/80.53 c | 149911 | 15298 240278 810240 | 2147483647 149903 44 | 0.013 % |
80.52/80.66 c | 150144 | 15298 240278 810240 | 2147483647 150136 44 | 0.014 % |
80.72/80.85 c | 150401 | 15298 240278 810240 | 2147483647 150393 44 | 0.013 % |
80.82/80.97 c | 150683 | 15298 240278 810240 | 2147483647 150675 44 | 0.013 % |
80.92/81.07 c | 150996 | 15298 240278 810240 | 2147483647 150988 44 | 0.013 % |
81.12/81.28 c | 151335 | 15298 240278 810240 | 2147483647 151327 44 | 0.013 % |
81.53/81.62 c | 151709 | 15298 240278 810240 | 2147483647 151701 44 | 0.013 % |
81.73/81.81 c | 152118 | 15298 240278 810240 | 2147483647 152110 44 | 0.013 % |
82.43/82.51 c | 152568 | 15298 240278 810240 | 2147483647 152560 45 | 0.013 % |
83.03/83.12 c | 153061 | 15298 240278 810240 | 2147483647 153053 45 | 0.013 % |
83.73/83.90 c | 153604 | 15298 240278 810240 | 2147483647 153596 45 | 0.013 % |
84.33/84.40 c | 154203 | 15298 240278 810240 | 2147483647 154195 45 | 0.013 % |
84.82/84.97 c | 154858 | 15298 240278 810240 | 2147483647 154850 45 | 0.013 % |
85.52/85.70 c | 155579 | 15298 240278 810240 | 2147483647 155571 45 | 0.013 % |
86.62/86.77 c | 156372 | 15298 240278 810240 | 2147483647 156364 45 | 0.013 % |
87.22/87.38 c | 157243 | 15298 240278 810240 | 2147483647 157235 45 | 0.013 % |
88.12/88.23 c | 158201 | 15298 240278 810240 | 2147483647 158193 45 | 0.013 % |
89.12/89.29 c | 159254 | 15298 240278 810240 | 2147483647 159246 45 | 0.013 % |
90.12/90.27 c | 160413 | 15298 240278 810240 | 2147483647 160405 46 | 0.013 % |
91.31/91.41 c | 161686 | 15298 240278 810240 | 2147483647 161678 46 | 0.013 % |
92.62/92.76 c | 163087 | 15298 240278 810240 | 2147483647 163079 46 | 0.013 % |
94.02/94.10 c | 164627 | 15298 240278 810240 | 2147483647 164619 46 | 0.013 % |
95.32/95.49 c | 166322 | 15298 240278 810240 | 2147483647 166314 46 | 0.013 % |
95.42/95.60 c | 166422 | 15298 240278 810240 | 2147483647 166414 46 | 0.013 % |
95.62/95.76 c | 166533 | 15298 240278 810240 | 2147483647 166525 46 | 0.013 % |
95.82/95.95 c | 166654 | 15298 240278 810240 | 2147483647 166646 46 | 0.013 % |
95.92/96.10 c | 166787 | 15298 240278 810240 | 2147483647 166779 46 | 0.013 % |
96.12/96.23 c | 166934 | 15298 240278 810240 | 2147483647 166926 46 | 0.013 % |
96.31/96.44 c | 167094 | 15298 240278 810240 | 2147483647 167086 46 | 0.013 % |
96.51/96.61 c | 167270 | 15298 240278 810240 | 2147483647 167262 46 | 0.013 % |
96.72/96.81 c | 167463 | 15298 240278 810240 | 2147483647 167455 46 | 0.013 % |
96.91/97.01 c | 167675 | 15298 240278 810240 | 2147483647 167667 46 | 0.013 % |
97.01/97.16 c | 167909 | 15298 240278 810240 | 2147483647 167901 46 | 0.013 % |
97.31/97.42 c | 168167 | 15298 240278 810240 | 2147483647 168159 46 | 0.013 % |
97.41/97.60 c | 168449 | 15298 240278 810240 | 2147483647 168441 46 | 0.014 % |
97.72/97.86 c | 168758 | 15298 240278 810240 | 2147483647 168750 46 | 0.013 % |
98.11/98.29 c | 169099 | 15298 240278 810240 | 2147483647 169091 46 | 0.013 % |
98.51/98.60 c | 169472 | 15298 240278 810240 | 2147483647 169464 46 | 0.013 % |
98.82/98.99 c | 169882 | 15298 240278 810240 | 2147483647 169874 46 | 0.013 % |
99.21/99.37 c | 170331 | 15298 240278 810240 | 2147483647 170323 46 | 0.014 % |
99.71/99.89 c | 170826 | 15298 240278 810240 | 2147483647 170818 46 | 0.013 % |
100.21/100.34 c | 171368 | 15298 240278 810240 | 2147483647 171360 46 | 0.013 % |
100.61/100.76 c | 171966 | 15298 240278 810240 | 2147483647 171958 46 | 0.014 % |
101.11/101.26 c | 172622 | 15298 240278 810240 | 2147483647 172614 46 | 0.013 % |
101.61/101.72 c | 173343 | 15298 240278 810240 | 2147483647 173335 46 | 0.013 % |
102.11/102.22 c | 174136 | 15298 240278 810240 | 2147483647 174128 46 | 0.013 % |
102.61/102.78 c | 175008 | 15298 240278 810240 | 2147483647 175000 46 | 0.013 % |
103.42/103.56 c | 175969 | 15298 240278 810240 | 2147483647 175961 46 | 0.013 % |
104.82/104.94 c | 177023 | 15298 240278 810240 | 2147483647 177015 47 | 0.013 % |
106.01/106.11 c | 178181 | 15298 240278 810240 | 2147483647 178173 47 | 0.013 % |
107.11/107.28 c | 179455 | 15298 240278 810240 | 2147483647 179447 47 | 0.013 % |
108.41/108.56 c | 180855 | 15298 240278 810240 | 2147483647 180847 47 | 0.013 % |
109.71/109.86 c | 182397 | 15298 240278 810240 | 2147483647 182389 47 | 0.013 % |
111.11/111.28 c | 184091 | 15298 240278 810240 | 2147483647 184083 47 | 0.013 % |
112.61/112.76 c | 185956 | 15298 240278 810240 | 2147483647 185948 47 | 0.013 % |
112.71/112.81 c | 186058 | 15298 240278 810240 | 2147483647 186050 47 | 0.013 % |
112.81/112.96 c | 186169 | 15298 240278 810240 | 2147483647 186161 47 | 0.013 % |
112.91/113.01 c | 186290 | 15298 240278 810240 | 2147483647 186282 47 | 0.013 % |
113.01/113.16 c | 186426 | 15298 240278 810240 | 2147483647 186418 47 | 0.013 % |
113.12/113.26 c | 186572 | 15298 240278 810240 | 2147483647 186564 47 | 0.014 % |
113.31/113.43 c | 186732 | 15298 240278 810240 | 2147483647 186724 47 | 0.013 % |
113.61/113.71 c | 186908 | 15298 240278 810240 | 2147483647 186900 47 | 0.013 % |
113.81/113.93 c | 187102 | 15298 240278 810240 | 2147483647 187094 47 | 0.013 % |
113.91/114.09 c | 187314 | 15298 240278 810240 | 2147483647 187306 47 | 0.013 % |
114.21/114.34 c | 187548 | 15298 240278 810240 | 2147483647 187540 47 | 0.013 % |
114.41/114.57 c | 187805 | 15298 240278 810240 | 2147483647 187797 47 | 0.013 % |
114.81/114.91 c | 188088 | 15298 240278 810240 | 2147483647 188080 47 | 0.013 % |
115.11/115.26 c | 188398 | 15298 240278 810240 | 2147483647 188390 47 | 0.013 % |
115.41/115.54 c | 188737 | 15298 240278 810240 | 2147483647 188729 47 | 0.013 % |
115.71/115.84 c | 189109 | 15298 240278 810240 | 2147483647 189101 47 | 0.013 % |
116.11/116.29 c | 189520 | 15298 240278 810240 | 2147483647 189512 47 | 0.013 % |
116.71/116.86 c | 189969 | 15298 240278 810240 | 2147483647 189961 47 | 0.013 % |
117.21/117.38 c | 190468 | 15298 240278 810240 | 2147483647 190460 47 | 0.013 % |
117.91/118.01 c | 191010 | 15298 240278 810240 | 2147483647 191002 47 | 0.013 % |
118.50/118.60 c | 191607 | 15298 240278 810240 | 2147483647 191599 47 | 0.013 % |
119.20/119.31 c | 192262 | 15298 240278 810240 | 2147483647 192254 47 | 0.013 % |
120.00/120.14 c | 192982 | 15298 240278 810240 | 2147483647 192974 48 | 0.013 % |
121.00/121.17 c | 193775 | 15298 240278 810240 | 2147483647 193767 48 | 0.013 % |
121.80/121.90 c | 194646 | 15298 240278 810240 | 2147483647 194638 48 | 0.013 % |
122.80/122.99 c | 195605 | 15298 240278 810240 | 2147483647 195597 48 | 0.013 % |
123.70/123.89 c | 196658 | 15298 240278 810240 | 2147483647 196650 48 | 0.013 % |
124.90/125.01 c | 197816 | 15298 240278 810240 | 2147483647 197808 48 | 0.013 % |
126.81/126.96 c | 199089 | 15298 240278 810240 | 2147483647 199081 48 | 0.013 % |
128.40/128.51 c | 200489 | 15298 240278 810240 | 2147483647 200481 48 | 0.013 % |
130.30/130.44 c | 202029 | 15298 240278 810240 | 2147483647 202021 49 | 0.013 % |
132.20/132.35 c | 203724 | 15298 240278 810240 | 2147483647 203716 49 | 0.013 % |
134.60/134.70 c | 205587 | 15298 240278 810240 | 2147483647 205579 49 | 0.013 % |
137.50/137.68 c | 207636 | 15298 240278 810240 | 2147483647 207628 49 | 0.013 % |
137.70/137.82 c | 207736 | 15298 240278 810240 | 2147483647 207728 49 | 0.013 % |
137.80/137.98 c | 207846 | 15298 240278 810240 | 2147483647 207838 49 | 0.013 % |
137.99/138.13 c | 207969 | 15298 240278 810240 | 2147483647 207961 49 | 0.013 % |
138.10/138.26 c | 208107 | 15298 240278 810240 | 2147483647 208099 49 | 0.013 % |
138.30/138.43 c | 208253 | 15298 240278 810240 | 2147483647 208245 49 | 0.013 % |
138.50/138.67 c | 208415 | 15298 240278 810240 | 2147483647 208407 49 | 0.013 % |
138.80/138.93 c | 208591 | 15298 240278 810240 | 2147483647 208583 49 | 0.013 % |
139.10/139.22 c | 208784 | 15298 240278 810240 | 2147483647 208776 49 | 0.013 % |
139.80/139.91 c | 208999 | 15298 240278 810240 | 2147483647 208991 49 | 0.013 % |
140.10/140.20 c | 209233 | 15298 240278 810240 | 2147483647 209225 49 | 0.014 % |
140.30/140.45 c | 209491 | 15298 240278 810240 | 2147483647 209483 49 | 0.013 % |
140.70/140.86 c | 209773 | 15298 240278 810240 | 2147483647 209765 49 | 0.013 % |
141.10/141.24 c | 210082 | 15298 240278 810240 | 2147483647 210074 49 | 0.013 % |
141.40/141.53 c | 210421 | 15298 240278 810240 | 2147483647 210413 49 | 0.013 % |
141.80/141.97 c | 210795 | 15298 240278 810240 | 2147483647 210787 49 | 0.013 % |
142.39/142.56 c | 211206 | 15298 240278 810240 | 2147483647 211198 49 | 0.013 % |
142.90/143.08 c | 211659 | 15298 240278 810240 | 2147483647 211651 49 | 0.013 % |
143.59/143.72 c | 212152 | 15298 240278 810240 | 2147483647 212144 49 | 0.013 % |
143.90/144.01 c | 212696 | 15298 240278 810240 | 2147483647 212688 49 | 0.013 % |
144.69/144.80 c | 213293 | 15298 240278 810240 | 2147483647 213285 49 | 0.013 % |
145.29/145.46 c | 213949 | 15298 240278 810240 | 2147483647 213941 49 | 0.013 % |
145.99/146.20 c | 214669 | 15298 240278 810240 | 2147483647 214661 49 | 0.013 % |
146.89/147.07 c | 215461 | 15298 240278 810240 | 2147483647 215453 49 | 0.013 % |
147.79/147.90 c | 216333 | 15298 240278 810240 | 2147483647 216325 49 | 0.014 % |
148.89/149.00 c | 217292 | 15298 240278 810240 | 2147483647 217284 49 | 0.013 % |
150.19/150.37 c | 218345 | 15298 240278 810240 | 2147483647 218337 49 | 0.013 % |
151.39/151.57 c | 219505 | 15298 240278 810240 | 2147483647 219497 49 | 0.013 % |
153.19/153.30 c | 220778 | 15298 240278 810240 | 2147483647 220770 49 | 0.013 % |
154.49/154.60 c | 222178 | 15298 240278 810240 | 2147483647 222170 49 | 0.013 % |
155.89/156.05 c | 223718 | 15298 240278 810240 | 2147483647 223710 49 | 0.013 % |
157.99/158.11 c | 225412 | 15298 240278 810240 | 2147483647 225404 50 | 0.013 % |
160.59/160.79 c | 227277 | 15298 240278 810240 | 2147483647 227269 50 | 0.013 % |
162.79/162.94 c | 229328 | 15298 240278 810240 | 2147483647 229320 50 | 0.013 % |
166.08/166.28 c | 231583 | 15298 240278 810240 | 2147483647 231575 50 | 0.013 % |
166.28/166.40 c | 231685 | 15298 240278 810240 | 2147483647 231677 50 | 0.013 % |
166.38/166.57 c | 231796 | 15298 240278 810240 | 2147483647 231788 50 | 0.013 % |
166.58/166.73 c | 231917 | 15298 240278 810240 | 2147483647 231909 50 | 0.013 % |
166.78/166.93 c | 232050 | 15298 240278 810240 | 2147483647 232042 50 | 0.013 % |
166.99/167.18 c | 232197 | 15298 240278 810240 | 2147483647 232189 50 | 0.013 % |
167.18/167.39 c | 232357 | 15298 240278 810240 | 2147483647 232349 50 | 0.013 % |
167.39/167.60 c | 232533 | 15298 240278 810240 | 2147483647 232525 50 | 0.013 % |
167.79/167.93 c | 232727 | 15298 240278 810240 | 2147483647 232719 50 | 0.013 % |
167.99/168.17 c | 232941 | 15298 240278 810240 | 2147483647 232933 50 | 0.013 % |
168.29/168.49 c | 233174 | 15298 240278 810240 | 2147483647 233166 50 | 0.013 % |
168.79/168.93 c | 233430 | 15298 240278 810240 | 2147483647 233422 50 | 0.013 % |
169.49/169.66 c | 233711 | 15298 240278 810240 | 2147483647 233703 50 | 0.013 % |
169.99/170.12 c | 234023 | 15298 240278 810240 | 2147483647 234015 50 | 0.013 % |
170.29/170.50 c | 234362 | 15298 240278 810240 | 2147483647 234354 50 | 0.013 % |
170.79/170.99 c | 234734 | 15298 240278 810240 | 2147483647 234726 50 | 0.013 % |
171.28/171.41 c | 235146 | 15298 240278 810240 | 2147483647 235138 50 | 0.013 % |
171.88/172.00 c | 235598 | 15298 240278 810240 | 2147483647 235590 50 | 0.013 % |
172.38/172.56 c | 236091 | 15298 240278 810240 | 2147483647 236083 50 | 0.013 % |
173.08/173.27 c | 236633 | 15298 240278 810240 | 2147483647 236625 50 | 0.014 % |
173.48/173.68 c | 237231 | 15298 240278 810240 | 2147483647 237223 50 | 0.013 % |
174.19/174.34 c | 237886 | 15298 240278 810240 | 2147483647 237878 50 | 0.013 % |
174.69/174.88 c | 238608 | 15298 240278 810240 | 2147483647 238600 50 | 0.013 % |
175.49/175.65 c | 239400 | 15298 240278 810240 | 2147483647 239392 50 | 0.013 % |
176.49/176.64 c | 240271 | 15298 240278 810240 | 2147483647 240263 50 | 0.013 % |
177.59/177.79 c | 241229 | 15298 240278 810240 | 2147483647 241221 50 | 0.013 % |
178.98/179.20 c | 242284 | 15298 240278 810240 | 2147483647 242276 50 | 0.013 % |
180.48/180.66 c | 243442 | 15298 240278 810240 | 2147483647 243434 50 | 0.013 % |
182.78/182.93 c | 244715 | 15298 240278 810240 | 2147483647 244707 50 | 0.013 % |
183.98/184.13 c | 246115 | 15298 240278 810240 | 2147483647 246107 50 | 0.013 % |
185.78/185.98 c | 247656 | 15298 240278 810240 | 2147483647 247648 50 | 0.013 % |
187.68/187.81 c | 249350 | 15298 240278 810240 | 2147483647 249342 51 | 0.013 % |
190.28/190.40 c | 251214 | 15298 240278 810240 | 2147483647 251206 51 | 0.014 % |
193.67/193.86 c | 253263 | 15298 240278 810240 | 2147483647 253255 51 | 0.013 % |
196.79/196.95 c | 255516 | 15298 240278 810240 | 2147483647 255508 52 | 0.014 % |
199.88/200.00 c | 257994 | 15298 240278 810240 | 2147483647 257986 52 | 0.013 % |
199.98/200.12 c | 258094 | 15298 240278 810240 | 2147483647 258086 52 | 0.013 % |
200.08/200.25 c | 258206 | 15298 240278 810240 | 2147483647 258198 52 | 0.013 % |
200.17/200.38 c | 258327 | 15298 240278 810240 | 2147483647 258319 52 | 0.013 % |
200.37/200.50 c | 258460 | 15298 240278 810240 | 2147483647 258452 52 | 0.013 % |
200.47/200.68 c | 258606 | 15298 240278 810240 | 2147483647 258598 52 | 0.013 % |
200.67/200.89 c | 258768 | 15298 240278 810240 | 2147483647 258760 52 | 0.013 % |
200.97/201.15 c | 258944 | 15298 240278 810240 | 2147483647 258936 52 | 0.013 % |
201.37/201.51 c | 259137 | 15298 240278 810240 | 2147483647 259129 52 | 0.013 % |
201.57/201.78 c | 259350 | 15298 240278 810240 | 2147483647 259342 52 | 0.013 % |
201.97/202.15 c | 259583 | 15298 240278 810240 | 2147483647 259575 52 | 0.013 % |
202.47/202.68 c | 259839 | 15298 240278 810240 | 2147483647 259831 52 | 0.013 % |
202.87/203.04 c | 260121 | 15298 240278 810240 | 2147483647 260113 52 | 0.013 % |
203.28/203.48 c | 260432 | 15298 240278 810240 | 2147483647 260424 52 | 0.013 % |
203.77/203.97 c | 260771 | 15298 240278 810240 | 2147483647 260763 52 | 0.013 % |
204.48/204.62 c | 261143 | 15298 240278 810240 | 2147483647 261135 52 | 0.013 % |
204.87/205.07 c | 261553 | 15298 240278 810240 | 2147483647 261545 52 | 0.013 % |
205.67/205.80 c | 262005 | 15298 240278 810240 | 2147483647 261997 52 | 0.013 % |
206.27/206.42 c | 262498 | 15298 240278 810240 | 2147483647 262490 52 | 0.013 % |
206.77/206.98 c | 263043 | 15298 240278 810240 | 2147483647 263035 52 | 0.013 % |
207.87/208.00 c | 263639 | 15298 240278 810240 | 2147483647 263631 52 | 0.013 % |
208.77/208.93 c | 264295 | 15298 240278 810240 | 2147483647 264287 52 | 0.013 % |
209.47/209.66 c | 265015 | 15298 240278 810240 | 2147483647 265007 52 | 0.013 % |
210.06/210.21 c | 265807 | 15298 240278 810240 | 2147483647 265799 52 | 0.013 % |
210.87/211.05 c | 266679 | 15298 240278 810240 | 2147483647 266671 52 | 0.013 % |
212.08/212.22 c | 267637 | 15298 240278 810240 | 2147483647 267629 52 | 0.014 % |
213.37/213.55 c | 268690 | 15298 240278 810240 | 2147483647 268682 52 | 0.013 % |
215.07/215.26 c | 269850 | 15298 240278 810240 | 2147483647 269842 52 | 0.013 % |
216.67/216.88 c | 271124 | 15298 240278 810240 | 2147483647 271116 53 | 0.014 % |
219.27/219.49 c | 272524 | 15298 240278 810240 | 2147483647 272516 53 | 0.013 % |
221.86/222.00 c | 274066 | 15298 240278 810240 | 2147483647 274058 53 | 0.013 % |
223.76/223.91 c | 275761 | 15298 240278 810240 | 2147483647 275753 53 | 0.013 % |
226.56/226.79 c | 277626 | 15298 240278 810240 | 2147483647 277618 53 | 0.013 % |
229.86/230.02 c | 279677 | 15298 240278 810240 | 2147483647 279669 53 | 0.013 % |
232.66/232.87 c | 281931 | 15298 240278 810240 | 2147483647 281923 54 | 0.013 % |
236.26/236.48 c | 284409 | 15298 240278 810240 | 2147483647 284401 54 | 0.013 % |
240.16/240.31 c | 287135 | 15298 240278 810240 | 2147483647 287127 54 | 0.013 % |
240.26/240.43 c | 287235 | 15298 240278 810240 | 2147483647 287227 54 | 0.013 % |
240.46/240.61 c | 287345 | 15298 240278 810240 | 2147483647 287337 54 | 0.013 % |
240.76/240.98 c | 287467 | 15297 240270 810216 | 2147483647 287450 54 | 0.020 % |
241.06/241.24 c | 287601 | 15297 240270 810216 | 2147483647 287584 54 | 0.020 % |
241.56/241.72 c | 287747 | 15297 240270 810216 | 2147483647 287730 54 | 0.020 % |
241.76/241.94 c | 287909 | 15297 240270 810216 | 2147483647 287892 54 | 0.021 % |
242.16/242.30 c | 288087 | 15297 240270 810216 | 2147483647 288070 54 | 0.020 % |
242.36/242.56 c | 288281 | 15297 240270 810216 | 2147483647 288264 54 | 0.020 % |
242.76/242.92 c | 288494 | 15297 240270 810216 | 2147483647 288477 54 | 0.020 % |
243.16/243.34 c | 288727 | 15297 240270 810216 | 2147483647 288710 54 | 0.020 % |
243.56/243.74 c | 288983 | 15297 240270 810216 | 2147483647 288966 54 | 0.020 % |
244.07/244.25 c | 289265 | 15297 240270 810216 | 2147483647 289248 54 | 0.020 % |
244.46/244.65 c | 289574 | 15297 240270 810216 | 2147483647 289557 54 | 0.020 % |
244.96/245.17 c | 289914 | 15297 240270 810216 | 2147483647 289897 54 | 0.020 % |
245.56/245.76 c | 290288 | 15297 240270 810216 | 2147483647 290271 54 | 0.020 % |
246.36/246.54 c | 290697 | 15297 240270 810216 | 2147483647 290680 54 | 0.020 % |
246.86/247.09 c | 291147 | 15297 240270 810216 | 2147483647 291130 54 | 0.020 % |
247.56/247.76 c | 291640 | 15297 240270 810216 | 2147483647 291623 54 | 0.020 % |
248.25/248.44 c | 292183 | 15297 240270 810216 | 2147483647 292166 54 | 0.020 % |
248.95/249.14 c | 292782 | 15297 240270 810216 | 2147483647 292765 54 | 0.020 % |
249.85/250.07 c | 293437 | 15297 240270 810216 | 2147483647 293420 54 | 0.020 % |
250.85/251.08 c | 294158 | 15297 240270 810216 | 2147483647 294141 54 | 0.020 % |
252.05/252.27 c | 294951 | 15297 240270 810216 | 2147483647 294934 54 | 0.020 % |
253.55/253.70 c | 295823 | 15297 240270 810216 | 2147483647 295806 54 | 0.020 % |
254.95/255.17 c | 296781 | 15297 240270 810216 | 2147483647 296764 54 | 0.020 % |
256.95/257.14 c | 297834 | 15297 240270 810216 | 2147483647 297817 55 | 0.020 % |
259.55/259.79 c | 298992 | 15297 240270 810216 | 2147483647 298975 55 | 0.020 % |
262.45/262.67 c | 300266 | 15297 240270 810216 | 2147483647 300249 55 | 0.020 % |
264.85/265.08 c | 301666 | 15297 240270 810216 | 2147483647 301649 55 | 0.020 % |
267.65/267.83 c | 303206 | 15297 240270 810216 | 2147483647 303189 55 | 0.020 % |
270.45/270.69 c | 304900 | 15297 240270 810216 | 2147483647 304883 55 | 0.020 % |
273.65/273.81 c | 306764 | 15297 240270 810216 | 2147483647 306747 55 | 0.020 % |
277.54/277.74 c | 308813 | 15297 240270 810216 | 2147483647 308796 55 | 0.020 % |
281.94/282.18 c | 311066 | 15297 240270 810216 | 2147483647 311049 55 | 0.020 % |
283.34/283.59 c | 313544 | 15297 240270 810216 | 2147483647 313527 55 | 0.020 % |
287.84/288.07 c | 316270 | 15297 240270 810216 | 2147483647 316253 56 | 0.020 % |
293.44/293.66 c | 319268 | 15297 240270 810216 | 2147483647 319251 56 | 0.020 % |
293.63/293.83 c | 319368 | 15297 240270 810216 | 2147483647 319351 56 | 0.020 % |
293.73/293.99 c | 319478 | 15297 240270 810216 | 2147483647 319461 56 | 0.021 % |
293.93/294.10 c | 319599 | 15297 240270 810216 | 2147483647 319582 56 | 0.021 % |
294.13/294.37 c | 319732 | 15297 240270 810216 | 2147483647 319715 56 | 0.020 % |
294.53/294.78 c | 319879 | 15297 240270 810216 | 2147483647 319862 56 | 0.020 % |
294.93/295.15 c | 320039 | 15297 240270 810216 | 2147483647 320022 56 | 0.020 % |
295.23/295.43 c | 320215 | 15297 240270 810216 | 2147483647 320198 56 | 0.020 % |
295.43/295.69 c | 320409 | 15297 240270 810216 | 2147483647 320392 56 | 0.020 % |
295.74/295.94 c | 320622 | 15297 240270 810216 | 2147483647 320605 56 | 0.020 % |
296.04/296.27 c | 320858 | 15297 240270 810216 | 2147483647 320841 56 | 0.020 % |
296.34/296.59 c | 321114 | 15297 240270 810216 | 2147483647 321097 56 | 0.020 % |
296.74/296.93 c | 321396 | 15297 240270 810216 | 2147483647 321379 56 | 0.020 % |
297.14/297.35 c | 321706 | 15297 240270 810216 | 2147483647 321689 56 | 0.020 % |
297.54/297.75 c | 322046 | 15297 240270 810216 | 2147483647 322029 56 | 0.020 % |
297.84/298.07 c | 322418 | 15297 240270 810216 | 2147483647 322401 56 | 0.020 % |
298.44/298.65 c | 322827 | 15297 240270 810216 | 2147483647 322810 56 | 0.020 % |
298.84/299.07 c | 323276 | 15297 240270 810216 | 2147483647 323259 56 | 0.020 % |
299.43/299.65 c | 323770 | 15297 240270 810216 | 2147483647 323753 56 | 0.021 % |
300.14/300.33 c | 324312 | 15297 240270 810216 | 2147483647 324295 56 | 0.021 % |
300.73/300.96 c | 324910 | 15297 240270 810216 | 2147483647 324893 56 | 0.020 % |
301.53/301.77 c | 325566 | 15297 240270 810216 | 2147483647 325549 56 | 0.020 % |
303.73/303.94 c | 326286 | 15296 240207 810006 | 2147483647 326256 56 | 0.026 % |
305.33/305.50 c | 327079 | 15296 240207 810006 | 2147483647 327049 56 | 0.026 % |
306.53/306.74 c | 327950 | 15296 240207 810006 | 2147483647 327920 56 | 0.026 % |
307.83/308.03 c | 328908 | 15296 240207 810006 | 2147483647 328878 56 | 0.027 % |
310.23/310.41 c | 329961 | 15296 240207 810006 | 2147483647 329931 56 | 0.026 % |
311.94/312.15 c | 331123 | 15296 240207 810006 | 2147483647 331093 56 | 0.026 % |
314.34/314.53 c | 332396 | 15296 240207 810006 | 2147483647 332366 56 | 0.026 % |
316.73/316.90 c | 333796 | 15296 240207 810006 | 2147483647 333766 56 | 0.026 % |
318.83/319.05 c | 335336 | 15296 240207 810006 | 2147483647 335306 56 | 0.026 % |
321.03/321.29 c | 337032 | 15296 240207 810006 | 2147483647 337002 56 | 0.026 % |
323.33/323.55 c | 338895 | 15296 240207 810006 | 2147483647 338865 56 | 0.026 % |
327.72/327.96 c | 340946 | 15296 240207 810006 | 2147483647 340916 57 | 0.026 % |
331.33/331.56 c | 343201 | 15296 240207 810006 | 2147483647 343171 57 | 0.026 % |
336.23/336.44 c | 345679 | 15296 240207 810006 | 2147483647 345649 57 | 0.027 % |
342.02/342.28 c | 348406 | 15296 240207 810006 | 2147483647 348376 57 | 0.026 % |
347.43/347.61 c | 351403 | 15296 240207 810006 | 2147483647 351373 58 | 0.026 % |
355.82/356.03 c | 354699 | 15296 240207 810006 | 2147483647 354669 58 | 0.026 % |
356.02/356.27 c | 354799 | 15296 240207 810006 | 2147483647 354769 58 | 0.026 % |
356.32/356.54 c | 354909 | 15296 240207 810006 | 2147483647 354879 58 | 0.026 % |
356.52/356.80 c | 355030 | 15296 240207 810006 | 2147483647 355000 58 | 0.026 % |
356.92/357.10 c | 355164 | 15296 240207 810006 | 2147483647 355134 58 | 0.026 % |
357.22/357.46 c | 355310 | 15296 240207 810006 | 2147483647 355280 58 | 0.026 % |
357.52/357.73 c | 355471 | 15296 240207 810006 | 2147483647 355441 58 | 0.026 % |
357.62/357.81 c | 355649 | 15296 240207 810006 | 2147483647 355619 58 | 0.027 % |
357.82/358.05 c | 355843 | 15296 240207 810006 | 2147483647 355813 58 | 0.026 % |
358.22/358.42 c | 356055 | 15296 240207 810006 | 2147483647 356025 58 | 0.026 % |
358.82/359.00 c | 356292 | 15296 240207 810006 | 2147483647 356262 58 | 0.026 % |
359.42/359.63 c | 356549 | 15296 240207 810006 | 2147483647 356519 58 | 0.026 % |
359.92/360.14 c | 356832 | 15296 240207 810006 | 2147483647 356802 58 | 0.026 % |
360.31/360.55 c | 357142 | 15296 240207 810006 | 2147483647 357112 58 | 0.027 % |
360.81/361.04 c | 357482 | 15296 240207 810006 | 2147483647 357452 58 | 0.026 % |
361.31/361.56 c | 357855 | 15296 240207 810006 | 2147483647 357825 58 | 0.026 % |
361.91/362.10 c | 358264 | 15296 240207 810006 | 2147483647 358234 58 | 0.026 % |
362.61/362.83 c | 358717 | 15296 240207 810006 | 2147483647 358687 58 | 0.026 % |
363.41/363.63 c | 359210 | 15296 240207 810006 | 2147483647 359180 58 | 0.026 % |
364.21/364.49 c | 359753 | 15296 240207 810006 | 2147483647 359723 58 | 0.026 % |
365.11/365.31 c | 360350 | 15296 240207 810006 | 2147483647 360320 58 | 0.026 % |
365.91/366.17 c | 361005 | 15296 240207 810006 | 2147483647 360975 58 | 0.026 % |
367.51/367.70 c | 361726 | 15296 240207 810006 | 2147483647 361696 58 | 0.026 % |
368.61/368.82 c | 362518 | 15296 240207 810006 | 2147483647 362488 58 | 0.026 % |
370.01/370.28 c | 363389 | 15296 240207 810006 | 2147483647 363359 58 | 0.026 % |
371.62/371.88 c | 364347 | 15296 240207 810006 | 2147483647 364317 58 | 0.026 % |
373.91/374.20 c | 365401 | 15296 240207 810006 | 2147483647 365371 58 | 0.026 % |
376.21/376.41 c | 366560 | 15296 240207 810006 | 2147483647 366530 58 | 0.026 % |
379.21/379.47 c | 367835 | 15296 240207 810006 | 2147483647 367805 58 | 0.026 % |
381.11/381.37 c | 369235 | 15296 240207 810006 | 2147483647 369205 58 | 0.026 % |
384.00/384.25 c | 370776 | 15296 240207 810006 | 2147483647 370746 59 | 0.026 % |
386.91/387.18 c | 372472 | 15296 240207 810006 | 2147483647 372442 59 | 0.026 % |
390.21/390.47 c | 374335 | 15296 240207 810006 | 2147483647 374305 59 | 0.027 % |
393.31/393.59 c | 376384 | 15296 240207 810006 | 2147483647 376354 59 | 0.026 % |
397.60/397.80 c | 378637 | 15296 240207 810006 | 2147483647 378607 59 | 0.026 % |
402.10/402.36 c | 381115 | 15296 240207 810006 | 2147483647 381085 59 | 0.026 % |
405.90/406.12 c | 383840 | 15296 240207 810006 | 2147483647 383810 59 | 0.026 % |
411.49/411.75 c | 386837 | 15296 240207 810006 | 2147483647 386807 59 | 0.027 % |
419.00/419.27 c | 390134 | 15296 240207 810006 | 2147483647 390104 59 | 0.026 % |
424.99/425.26 c | 393759 | 15296 240207 810006 | 2147483647 393729 60 | 0.026 % |
425.29/425.54 c | 393859 | 15296 240207 810006 | 2147483647 393829 60 | 0.026 % |
425.50/425.75 c | 393970 | 15296 240207 810006 | 2147483647 393940 60 | 0.026 % |
425.69/425.94 c | 394092 | 15296 240207 810006 | 2147483647 394062 60 | 0.027 % |
425.99/426.30 c | 394225 | 15296 240207 810006 | 2147483647 394195 60 | 0.026 % |
426.39/426.62 c | 394371 | 15296 240207 810006 | 2147483647 394341 60 | 0.026 % |
426.59/426.89 c | 394533 | 15296 240207 810006 | 2147483647 394503 60 | 0.026 % |
427.09/427.32 c | 394709 | 15296 240207 810006 | 2147483647 394679 60 | 0.026 % |
427.59/427.85 c | 394902 | 15296 240207 810006 | 2147483647 394872 60 | 0.026 % |
428.09/428.32 c | 395117 | 15296 240207 810006 | 2147483647 395087 60 | 0.026 % |
428.49/428.70 c | 395350 | 15296 240207 810006 | 2147483647 395320 60 | 0.026 % |
428.69/428.99 c | 395606 | 15296 240207 810006 | 2147483647 395576 60 | 0.026 % |
429.29/429.57 c | 395888 | 15296 240207 810006 | 2147483647 395858 60 | 0.026 % |
429.59/429.88 c | 396197 | 15296 240207 810006 | 2147483647 396167 60 | 0.026 % |
430.09/430.37 c | 396537 | 15296 240207 810006 | 2147483647 396507 60 | 0.026 % |
430.89/431.20 c | 396910 | 15296 240207 810006 | 2147483647 396880 60 | 0.026 % |
431.78/432.05 c | 397323 | 15296 240207 810006 | 2147483647 397293 60 | 0.026 % |
432.38/432.68 c | 397773 | 15296 240207 810006 | 2147483647 397743 60 | 0.026 % |
433.48/433.72 c | 398267 | 15296 240207 810006 | 2147483647 398237 60 | 0.026 % |
434.38/434.69 c | 398809 | 15296 240207 810006 | 2147483647 398779 60 | 0.026 % |
435.59/435.87 c | 399405 | 15296 240207 810006 | 2147483647 399375 60 | 0.026 % |
436.79/437.06 c | 400060 | 15296 240207 810006 | 2147483647 400030 60 | 0.026 % |
438.59/438.87 c | 400780 | 15296 240207 810006 | 2147483647 400750 60 | 0.026 % |
439.89/440.11 c | 401572 | 15296 240207 810006 | 2147483647 401542 60 | 0.026 % |
441.29/441.51 c | 402445 | 15296 240207 810006 | 2147483647 402415 60 | 0.026 % |
442.79/443.06 c | 403403 | 15296 240207 810006 | 2147483647 403373 60 | 0.026 % |
444.79/445.00 c | 404457 | 15296 240207 810006 | 2147483647 404427 60 | 0.026 % |
446.99/447.25 c | 405617 | 15296 240207 810006 | 2147483647 405587 60 | 0.026 % |
449.18/449.42 c | 406893 | 15296 240207 810006 | 2147483647 406863 60 | 0.026 % |
452.58/452.83 c | 408295 | 15296 240207 810006 | 2147483647 408265 60 | 0.026 % |
455.48/455.78 c | 409837 | 15296 240207 810006 | 2147483647 409807 60 | 0.026 % |
458.67/458.95 c | 411531 | 15296 240207 810006 | 2147483647 411501 60 | 0.026 % |
462.97/463.23 c | 413395 | 15296 240207 810006 | 2147483647 413365 60 | 0.026 % |
467.68/467.90 c | 415447 | 15296 240207 810006 | 2147483647 415417 60 | 0.026 % |
473.57/473.83 c | 417700 | 15296 240207 810006 | 2147483647 417670 61 | 0.026 % |
479.17/479.42 c | 420180 | 15296 240207 810006 | 2147483647 420150 61 | 0.026 % |
485.67/485.94 c | 422905 | 15296 240207 810006 | 2147483647 422875 61 | 0.026 % |
492.77/493.00 c | 425903 | 15296 240207 810006 | 2147483647 425873 61 | 0.026 % |
501.06/501.39 c | 429200 | 15296 240207 810006 | 2147483647 429170 61 | 0.026 % |
509.06/509.37 c | 432826 | 15296 240207 810006 | 2147483647 432796 61 | 0.026 % |
518.36/518.61 c | 436813 | 15296 240207 810006 | 2147483647 436783 62 | 0.026 % |
518.66/518.94 c | 436913 | 15296 240207 810006 | 2147483647 436883 62 | 0.026 % |
518.86/519.18 c | 437024 | 15296 240207 810006 | 2147483647 436994 62 | 0.026 % |
519.16/519.49 c | 437147 | 15296 240207 810006 | 2147483647 437117 62 | 0.026 % |
519.46/519.73 c | 437283 | 15296 240207 810006 | 2147483647 437253 62 | 0.026 % |
519.56/519.81 c | 437429 | 15296 240207 810006 | 2147483647 437399 62 | 0.026 % |
519.96/520.21 c | 437589 | 15296 240207 810006 | 2147483647 437559 62 | 0.027 % |
520.36/520.68 c | 437765 | 15296 240207 810006 | 2147483647 437735 62 | 0.026 % |
520.86/521.11 c | 437961 | 15296 240207 810006 | 2147483647 437931 62 | 0.026 % |
521.36/521.68 c | 438173 | 15296 240207 810006 | 2147483647 438143 62 | 0.026 % |
521.86/522.17 c | 438406 | 15296 240207 810006 | 2147483647 438376 62 | 0.026 % |
522.36/522.67 c | 438663 | 15296 240207 810006 | 2147483647 438633 62 | 0.026 % |
523.06/523.32 c | 438948 | 15296 240207 810006 | 2147483647 438918 62 | 0.026 % |
523.66/523.95 c | 439261 | 15296 240207 810006 | 2147483647 439231 62 | 0.026 % |
524.36/524.62 c | 439601 | 15296 240207 810006 | 2147483647 439571 62 | 0.026 % |
525.26/525.52 c | 439973 | 15296 240207 810006 | 2147483647 439943 62 | 0.026 % |
526.16/526.48 c | 440382 | 15296 240207 810006 | 2147483647 440352 62 | 0.026 % |
526.75/527.04 c | 440832 | 15296 240207 810006 | 2147483647 440802 62 | 0.026 % |
528.25/528.52 c | 441325 | 15296 240207 810006 | 2147483647 441295 62 | 0.026 % |
529.55/529.82 c | 441867 | 15296 240207 810006 | 2147483647 441837 62 | 0.026 % |
531.16/531.46 c | 442464 | 15296 240207 810006 | 2147483647 442434 62 | 0.026 % |
532.46/532.77 c | 443119 | 15296 240207 810006 | 2147483647 443089 62 | 0.026 % |
533.66/533.94 c | 443839 | 15296 240207 810006 | 2147483647 443809 62 | 0.026 % |
535.26/535.59 c | 444631 | 15296 240207 810006 | 2147483647 444601 62 | 0.026 % |
537.35/537.67 c | 445503 | 15296 240207 810006 | 2147483647 445473 62 | 0.026 % |
539.05/539.33 c | 446463 | 15296 240207 810006 | 2147483647 446433 62 | 0.026 % |
541.05/541.38 c | 447517 | 15296 240207 810006 | 2147483647 447487 62 | 0.026 % |
543.25/543.53 c | 448677 | 15296 240207 810006 | 2147483647 448647 62 | 0.026 % |
544.96/545.29 c | 449952 | 15296 240207 810006 | 2147483647 449922 62 | 0.026 % |
548.56/548.89 c | 451352 | 15296 240207 810006 | 2147483647 451322 62 | 0.026 % |
550.76/551.10 c | 452893 | 15296 240207 810006 | 2147483647 452863 62 | 0.026 % |
554.15/554.42 c | 454588 | 15296 240207 810006 | 2147483647 454558 62 | 0.026 % |
557.25/557.54 c | 456451 | 15296 240207 810006 | 2147483647 456421 62 | 0.026 % |
562.25/562.55 c | 458504 | 15296 240207 810006 | 2147483647 458474 62 | 0.026 % |
566.85/567.11 c | 460757 | 15296 240207 810006 | 2147483647 460727 62 | 0.026 % |
574.35/574.61 c | 463235 | 15296 240207 810006 | 2147483647 463205 63 | 0.026 % |
580.94/581.21 c | 465962 | 15296 240207 810006 | 2147483647 465932 63 | 0.026 % |
589.54/589.82 c | 468961 | 15296 240207 810006 | 2147483647 468931 63 | 0.026 % |
595.94/596.20 c | 472258 | 15296 240207 810006 | 2147483647 472228 63 | 0.026 % |
604.34/604.66 c | 475885 | 15296 240207 810006 | 2147483647 475855 64 | 0.026 % |
612.93/613.27 c | 479874 | 15296 240207 810006 | 2147483647 479844 64 | 0.026 % |
624.53/624.87 c | 484259 | 15296 240207 810006 | 2147483647 484229 64 | 0.026 % |
624.73/625.09 c | 484359 | 15296 240207 810006 | 2147483647 484329 64 | 0.026 % |
625.23/625.59 c | 484469 | 15296 240207 810006 | 2147483647 484439 64 | 0.026 % |
625.54/625.85 c | 484592 | 15296 240207 810006 | 2147483647 484562 64 | 0.026 % |
625.93/626.25 c | 484727 | 15296 240207 810006 | 2147483647 484697 64 | 0.026 % |
626.43/626.77 c | 484875 | 15296 240207 810006 | 2147483647 484845 64 | 0.026 % |
626.93/627.23 c | 485035 | 15296 240207 810006 | 2147483647 485005 64 | 0.026 % |
627.43/627.75 c | 485215 | 15296 240207 810006 | 2147483647 485185 64 | 0.026 % |
627.63/627.98 c | 485408 | 15296 240207 810006 | 2147483647 485378 64 | 0.026 % |
628.23/628.58 c | 485620 | 15296 240207 810006 | 2147483647 485590 64 | 0.026 % |
628.73/629.02 c | 485854 | 15296 240207 810006 | 2147483647 485824 64 | 0.026 % |
629.33/629.64 c | 486111 | 15296 240207 810006 | 2147483647 486081 64 | 0.026 % |
629.83/630.11 c | 486393 | 15296 240207 810006 | 2147483647 486363 64 | 0.026 % |
630.33/630.68 c | 486703 | 15296 240207 810006 | 2147483647 486673 64 | 0.026 % |
631.03/631.39 c | 487042 | 15296 240207 810006 | 2147483647 487012 64 | 0.026 % |
632.32/632.65 c | 487414 | 15296 240207 810006 | 2147483647 487384 64 | 0.026 % |
633.62/633.96 c | 487824 | 15296 240207 810006 | 2147483647 487794 64 | 0.026 % |
634.52/634.85 c | 488274 | 15296 240207 810006 | 2147483647 488244 64 | 0.026 % |
635.72/636.03 c | 488767 | 15296 240207 810006 | 2147483647 488737 64 | 0.026 % |
637.22/637.53 c | 489310 | 15296 240207 810006 | 2147483647 489280 64 | 0.026 % |
638.62/638.99 c | 489908 | 15296 240207 810006 | 2147483647 489878 64 | 0.026 % |
640.42/640.72 c | 490563 | 15296 240207 810006 | 2147483647 490533 64 | 0.026 % |
642.12/642.40 c | 491283 | 15296 240207 810006 | 2147483647 491253 64 | 0.026 % |
643.82/644.12 c | 492076 | 15296 240207 810006 | 2147483647 492046 64 | 0.026 % |
645.93/646.20 c | 492947 | 15296 240207 810006 | 2147483647 492917 64 | 0.026 % |
648.02/648.30 c | 493907 | 15296 240207 810006 | 2147483647 493877 64 | 0.026 % |
650.32/650.68 c | 494961 | 15296 240207 810006 | 2147483647 494931 64 | 0.026 % |
652.92/653.22 c | 496119 | 15296 240207 810006 | 2147483647 496089 64 | 0.026 % |
655.51/655.87 c | 497392 | 15296 240207 810006 | 2147483647 497362 64 | 0.026 % |
660.32/660.63 c | 498792 | 15296 240207 810006 | 2147483647 498762 65 | 0.026 % |
664.21/664.58 c | 500334 | 15296 240207 810006 | 499970 500304 65 | 0.026 % |
669.41/669.76 c | 502028 | 15296 240207 810006 | 499970 447102 63 | 0.026 % |
673.81/674.12 c | 503892 | 15296 240207 810006 | 499970 448966 63 | 0.026 % |
678.61/678.97 c | 505942 | 15296 240207 810006 | 499970 451016 64 | 0.026 % |
684.61/684.92 c | 508195 | 15296 240207 810006 | 499970 453269 64 | 0.026 % |
690.60/690.91 c | 510673 | 15296 240207 810006 | 2147483647 455747 64 | 0.026 % |
697.80/698.14 c | 513399 | 15296 240207 810006 | 2147483647 458473 64 | 0.026 % |
704.00/704.35 c | 516398 | 15296 240207 810006 | 2147483647 461472 64 | 0.026 % |
710.50/710.83 c | 519694 | 15296 240207 810006 | 2147483647 464768 64 | 0.026 % |
717.10/717.45 c | 523319 | 15296 240207 810006 | 2147483647 468393 64 | 0.026 % |
729.89/730.28 c | 527306 | 15296 240207 810006 | 2147483647 472380 64 | 0.026 % |
740.69/741.09 c | 531691 | 15296 240207 810006 | 475078 476765 65 | 0.026 % |
751.29/751.68 c | 536516 | 15296 240207 810006 | 475078 430001 66 | 0.026 % |
751.59/751.92 c | 536618 | 15296 240207 810006 | 475078 430103 66 | 0.026 % |
751.79/752.17 c | 536728 | 15296 240207 810006 | 475078 430213 66 | 0.026 % |
752.09/752.44 c | 536852 | 15296 240207 810006 | 475078 430337 66 | 0.026 % |
752.49/752.82 c | 536986 | 15296 240207 810006 | 475078 430471 66 | 0.026 % |
752.79/753.13 c | 537132 | 15296 240207 810006 | 475078 430617 66 | 0.026 % |
753.10/753.46 c | 537292 | 15296 240207 810006 | 475078 430777 66 | 0.026 % |
753.59/753.98 c | 537469 | 15296 240207 810006 | 475078 430954 66 | 0.026 % |
753.89/754.24 c | 537662 | 15296 240207 810006 | 475078 431147 66 | 0.026 % |
754.59/754.96 c | 537874 | 15296 240207 810006 | 475078 431359 66 | 0.026 % |
755.19/755.53 c | 538107 | 15296 240207 810006 | 475078 431592 66 | 0.026 % |
755.89/756.22 c | 538363 | 15296 240207 810006 | 475078 431848 66 | 0.026 % |
756.59/756.94 c | 538644 | 15296 240207 810006 | 475078 432129 66 | 0.026 % |
757.29/757.64 c | 538953 | 15296 240207 810006 | 475078 432438 66 | 0.026 % |
758.29/758.62 c | 539293 | 15296 240207 810006 | 475078 432778 66 | 0.026 % |
758.99/759.39 c | 539666 | 15296 240207 810006 | 475078 433151 66 | 0.026 % |
759.99/760.32 c | 540075 | 15296 240207 810006 | 2147483647 433560 66 | 0.026 % |
761.09/761.45 c | 540525 | 15296 240207 810006 | 2147483647 434010 66 | 0.026 % |
761.89/762.22 c | 541020 | 15296 240207 810006 | 2147483647 434505 66 | 0.026 % |
762.79/763.10 c | 541563 | 15296 240207 810006 | 2147483647 435048 66 | 0.026 % |
764.09/764.42 c | 542161 | 15296 240207 810006 | 2147483647 435646 66 | 0.026 % |
765.29/765.61 c | 542817 | 15296 240207 810006 | 2147483647 436302 66 | 0.026 % |
766.99/767.33 c | 543537 | 15296 240207 810006 | 2147483647 437022 66 | 0.026 % |
769.49/769.85 c | 544331 | 15296 240207 810006 | 2147483647 437816 66 | 0.026 % |
771.99/772.39 c | 545203 | 15296 240207 810006 | 2147483647 438688 66 | 0.026 % |
774.58/774.95 c | 546168 | 15296 240207 810006 | 2147483647 439653 66 | 0.026 % |
776.68/777.02 c | 547221 | 15296 240207 810006 | 2147483647 440706 66 | 0.026 % |
779.49/779.85 c | 548379 | 15296 240207 810006 | 2147483647 441864 66 | 0.026 % |
782.79/783.13 c | 549652 | 15296 240207 810006 | 2147483647 443137 66 | 0.027 % |
786.08/786.42 c | 551058 | 15296 240207 810006 | 443485 444543 66 | 0.026 % |
791.18/791.60 c | 552600 | 15296 240207 810006 | 443485 394611 66 | 0.026 % |
795.58/795.98 c | 554294 | 15296 240207 810006 | 443485 396305 66 | 0.026 % |
800.18/800.51 c | 556158 | 15296 240207 810006 | 443485 398169 66 | 0.026 % |
805.88/806.30 c | 558211 | 15296 240207 810006 | 443485 400222 66 | 0.026 % |
812.07/812.48 c | 560464 | 15296 240207 810006 | 2147483647 402475 66 | 0.026 % |
817.67/818.08 c | 562942 | 15296 240207 810006 | 2147483647 404953 66 | 0.026 % |
824.27/824.64 c | 565668 | 15296 240207 810006 | 2147483647 407679 66 | 0.026 % |
831.47/831.86 c | 568668 | 15296 240207 810006 | 2147483647 410679 66 | 0.026 % |
840.27/840.63 c | 571965 | 15296 240207 810006 | 2147483647 413976 66 | 0.026 % |
849.87/850.27 c | 575590 | 15296 240207 810006 | 2147483647 417601 67 | 0.026 % |
862.86/863.21 c | 579577 | 15296 240207 810006 | 2147483647 421588 67 | 0.027 % |
877.15/877.51 c | 583963 | 15296 240207 810006 | 2147483647 425974 67 | 0.026 % |
891.05/891.42 c | 588786 | 15296 240207 810006 | 2147483647 430797 67 | 0.026 % |
904.34/904.75 c | 594091 | 15296 240207 810006 | 2147483647 436102 68 | 0.026 % |
904.85/905.22 c | 594191 | 15296 240207 810006 | 2147483647 436202 68 | 0.026 % |
905.24/905.64 c | 594302 | 15296 240207 810006 | 2147483647 436313 68 | 0.026 % |
905.64/906.00 c | 594423 | 15296 240207 810006 | 2147483647 436434 68 | 0.026 % |
905.95/906.33 c | 594556 | 15296 240207 810006 | 2147483647 436567 68 | 0.026 % |
906.34/906.72 c | 594702 | 15296 240207 810006 | 2147483647 436713 68 | 0.026 % |
906.74/907.17 c | 594862 | 15296 240207 810006 | 2147483647 436873 68 | 0.026 % |
907.34/907.75 c | 595038 | 15296 240207 810006 | 2147483647 437049 68 | 0.027 % |
907.94/908.31 c | 595232 | 15296 240207 810006 | 2147483647 437243 68 | 0.026 % |
908.44/908.81 c | 595444 | 15296 240207 810006 | 2147483647 437455 68 | 0.026 % |
908.94/909.33 c | 595680 | 15296 240207 810006 | 2147483647 437691 68 | 0.026 % |
909.54/909.96 c | 595940 | 15296 240207 810006 | 2147483647 437951 68 | 0.026 % |
910.14/910.54 c | 596223 | 15296 240207 810006 | 2147483647 438234 68 | 0.026 % |
910.74/911.19 c | 596534 | 15296 240207 810006 | 2147483647 438545 68 | 0.026 % |
911.84/912.20 c | 596873 | 15296 240207 810006 | 2147483647 438884 68 | 0.026 % |
912.84/913.24 c | 597247 | 15296 240207 810006 | 2147483647 439258 68 | 0.026 % |
913.94/914.30 c | 597657 | 15296 240207 810006 | 2147483647 439668 68 | 0.026 % |
914.84/915.29 c | 598106 | 15296 240207 810006 | 2147483647 440117 68 | 0.026 % |
916.14/916.50 c | 598600 | 15296 240207 810006 | 2147483647 440611 68 | 0.026 % |
917.64/918.08 c | 599144 | 15296 240207 810006 | 2147483647 441155 68 | 0.027 % |
919.64/920.08 c | 599740 | 15296 240207 810006 | 2147483647 441751 68 | 0.026 % |
921.64/922.02 c | 600396 | 15296 240207 810006 | 2147483647 442407 68 | 0.026 % |
923.74/924.14 c | 601116 | 15296 240207 810006 | 2147483647 443127 68 | 0.026 % |
925.74/926.17 c | 601908 | 15296 240207 810006 | 2147483647 443919 68 | 0.026 % |
928.23/928.61 c | 602780 | 15296 240207 810006 | 2147483647 444791 68 | 0.026 % |
930.73/931.10 c | 603739 | 15296 240207 810006 | 2147483647 445750 68 | 0.026 % |
933.33/933.76 c | 604793 | 15296 240207 810006 | 2147483647 446804 68 | 0.027 % |
937.33/937.73 c | 605952 | 15296 240207 810006 | 2147483647 447963 68 | 0.026 % |
941.23/941.67 c | 607228 | 15296 240207 810006 | 2147483647 449239 68 | 0.026 % |
944.43/944.90 c | 608628 | 15296 240207 810006 | 2147483647 450639 68 | 0.026 % |
948.32/948.74 c | 610169 | 15296 240207 810006 | 452011 452180 68 | 0.026 % |
953.02/953.41 c | 611863 | 15296 240207 810006 | 452011 407696 67 | 0.026 % |
957.32/957.77 c | 613726 | 15296 240207 810006 | 452011 409559 67 | 0.026 % |
962.52/962.95 c | 615776 | 15296 240207 810006 | 452011 411609 68 | 0.026 % |
967.42/967.81 c | 618031 | 15296 240207 810006 | 452011 413864 68 | 0.026 % |
974.32/974.71 c | 620509 | 15296 240207 810006 | 2147483647 416342 68 | 0.026 % |
982.01/982.46 c | 623234 | 15296 240207 810006 | 2147483647 419067 68 | 0.026 % |
992.71/993.15 c | 626232 | 15296 240207 810006 | 2147483647 422065 68 | 0.026 % |
1000.61/1001.08 c | 629528 | 15296 240207 810006 | 2147483647 425361 68 | 0.026 % |
1008.40/1008.85 c | 633153 | 15296 240207 810006 | 2147483647 428986 69 | 0.026 % |
1016.40/1016.86 c | 637140 | 15296 240207 810006 | 2147483647 432973 69 | 0.026 % |
1028.40/1028.87 c | 641527 | 15296 240207 810006 | 2147483647 437360 69 | 0.026 % |
1042.20/1042.63 c | 646351 | 15296 240207 810006 | 2147483647 442184 69 | 0.026 % |
1057.10/1057.56 c | 651656 | 15296 240207 810006 | 2147483647 447489 70 | 0.026 % |
1074.90/1075.37 c | 657492 | 15296 240207 810006 | 2147483647 453325 70 | 0.026 % |
1075.20/1075.66 c | 657592 | 15296 240207 810006 | 2147483647 453425 70 | 0.026 % |
1075.70/1076.16 c | 657702 | 15296 240207 810006 | 2147483647 453535 70 | 0.026 % |
1076.00/1076.44 c | 657824 | 15296 240207 810006 | 2147483647 453657 70 | 0.026 % |
1076.40/1076.86 c | 657959 | 15296 240207 810006 | 2147483647 453792 70 | 0.026 % |
1076.79/1077.28 c | 658106 | 15296 240207 810006 | 2147483647 453939 70 | 0.026 % |
1077.19/1077.68 c | 658266 | 15296 240207 810006 | 2147483647 454099 70 | 0.026 % |
1077.60/1078.05 c | 658446 | 15296 240207 810006 | 2147483647 454279 70 | 0.027 % |
1077.99/1078.45 c | 658639 | 15296 240207 810006 | 2147483647 454472 70 | 0.026 % |
1078.49/1078.94 c | 658851 | 15296 240207 810006 | 2147483647 454684 70 | 0.026 % |
1078.99/1079.47 c | 659087 | 15296 240207 810006 | 2147483647 454920 70 | 0.026 % |
1079.70/1080.19 c | 659345 | 15296 240207 810006 | 2147483647 455178 70 | 0.026 % |
1080.29/1080.79 c | 659628 | 15296 240207 810006 | 2147483647 455461 70 | 0.026 % |
1081.09/1081.58 c | 659937 | 15296 240207 810006 | 2147483647 455770 70 | 0.026 % |
1081.90/1082.36 c | 660277 | 15296 240207 810006 | 455835 456110 70 | 0.026 % |
1083.49/1083.91 c | 660650 | 15296 240207 810006 | 455835 399538 70 | 0.026 % |
1084.39/1084.84 c | 661059 | 15296 240207 810006 | 455835 399947 70 | 0.026 % |
1085.49/1085.98 c | 661510 | 15296 240207 810006 | 455835 400398 70 | 0.026 % |
1086.99/1087.47 c | 662003 | 15296 240207 810006 | 455835 400891 70 | 0.026 % |
1088.49/1088.92 c | 662546 | 15296 240207 810006 | 455835 401434 70 | 0.026 % |
1090.49/1090.97 c | 663142 | 15296 240207 810006 | 455835 402030 70 | 0.026 % |
1092.89/1093.37 c | 663799 | 15296 240207 810006 | 455835 402687 70 | 0.026 % |
1094.99/1095.45 c | 664520 | 15296 240207 810006 | 455835 403408 70 | 0.026 % |
1097.79/1098.23 c | 665313 | 15296 240207 810006 | 455835 404201 70 | 0.026 % |
1100.69/1101.20 c | 666184 | 15296 240207 810006 | 455835 405072 70 | 0.026 % |
1102.69/1103.15 c | 667143 | 15296 240207 810006 | 455835 406031 70 | 0.026 % |
1104.59/1105.03 c | 668197 | 15296 240207 810006 | 455835 407085 70 | 0.026 % |
1106.49/1106.95 c | 669355 | 15296 240207 810006 | 455835 408243 70 | 0.026 % |
1108.48/1108.93 c | 670630 | 15296 240207 810006 | 2147483647 409518 70 | 0.026 % |
1110.49/1110.90 c | 672030 | 15296 240207 810006 | 2147483647 410918 70 | 0.027 % |
1114.68/1115.11 c | 673573 | 15296 240207 810006 | 2147483647 412461 70 | 0.026 % |
1118.68/1119.19 c | 675267 | 15296 240207 810006 | 2147483647 414155 70 | 0.026 % |
1123.48/1123.99 c | 677132 | 15296 240207 810006 | 2147483647 416020 71 | 0.026 % |
1126.88/1127.39 c | 679181 | 15296 240207 810006 | 2147483647 418069 71 | 0.026 % |
1131.48/1131.96 c | 681435 | 15296 240207 810006 | 2147483647 420323 71 | 0.026 % |
1137.17/1137.67 c | 683913 | 15296 240207 810006 | 2147483647 422801 71 | 0.026 % |
1144.17/1144.68 c | 686638 | 15296 240207 810006 | 2147483647 425526 71 | 0.026 % |
1151.97/1152.46 c | 689635 | 15296 240207 810006 | 2147483647 428523 71 | 0.026 % |
1161.17/1161.62 c | 692933 | 15296 240207 810006 | 2147483647 431821 71 | 0.026 % |
1170.16/1170.65 c | 696558 | 15296 240207 810006 | 2147483647 435446 71 | 0.026 % |
1184.06/1184.53 c | 700545 | 15296 240207 810006 | 2147483647 439433 72 | 0.026 % |
1199.25/1199.72 c | 704931 | 15296 240207 810006 | 2147483647 443819 72 | 0.026 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834255-1242829003/watcher-1834255-1242829003 -o /tmp/evaluation-result-1834255-1242829003/solver-1834255-1242829003 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834255-1242829003.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 26022
/proc/meminfo: memFree=1915400/2055912 swapFree=4178800/4192956
[pid=26022] ppid=26020 vsize=5356 CPUtime=0
/proc/26022/stat : 26022 (SatELiteGTI) S 26020 26022 25637 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310929371 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26022/statm: 1339 237 197 169 0 50 0
[startup+0.0334999 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 26022
/proc/meminfo: memFree=1915400/2055912 swapFree=4178800/4192956
[pid=26022] ppid=26020 vsize=5356 CPUtime=0
/proc/26022/stat : 26022 (SatELiteGTI) S 26020 26022 25637 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310929371 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26022/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101506 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 26022
/proc/meminfo: memFree=1915400/2055912 swapFree=4178800/4192956
[pid=26022] ppid=26020 vsize=5356 CPUtime=0
/proc/26022/stat : 26022 (SatELiteGTI) S 26020 26022 25637 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310929371 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26022/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301526 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 26022
/proc/meminfo: memFree=1915400/2055912 swapFree=4178800/4192956
[pid=26022] ppid=26020 vsize=5356 CPUtime=0
/proc/26022/stat : 26022 (SatELiteGTI) S 26020 26022 25637 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310929371 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26022/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701568 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 26022
/proc/meminfo: memFree=1915400/2055912 swapFree=4178800/4192956
[pid=26022] ppid=26020 vsize=5356 CPUtime=0
/proc/26022/stat : 26022 (SatELiteGTI) S 26020 26022 25637 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310929371 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26022/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50165 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26028
/proc/meminfo: memFree=1907000/2055912 swapFree=4178800/4192956
[pid=26022] ppid=26020 vsize=5356 CPUtime=0.98
/proc/26022/stat : 26022 (SatELiteGTI) S 26020 26022 25637 0 -1 4194304 336 7541 0 0 0 0 91 7 16 0 1 0 310929371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26022/statm: 1339 239 197 169 0 50 0
[pid=26028] ppid=26022 vsize=14328 CPUtime=0.49
/proc/26028/stat : 26028 (minisat_static) R 26022 26022 25637 0 -1 4194304 3364 0 0 0 48 1 0 0 21 0 1 0 310929470 14671872 3350 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/26028/statm: 3582 3350 77 171 0 3409 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 19684
[startup+3.10182 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26028
/proc/meminfo: memFree=1895672/2055912 swapFree=4178800/4192956
[pid=26022] ppid=26020 vsize=5356 CPUtime=0.98
/proc/26022/stat : 26022 (SatELiteGTI) S 26020 26022 25637 0 -1 4194304 336 7541 0 0 0 0 91 7 16 0 1 0 310929371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26022/statm: 1339 239 197 169 0 50 0
[pid=26028] ppid=26022 vsize=15252 CPUtime=2.1
/proc/26028/stat : 26028 (minisat_static) R 26022 26022 25637 0 -1 4194304 3596 0 0 0 208 2 0 0 25 0 1 0 310929470 15618048 3582 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26028/statm: 3813 3582 77 171 0 3640 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 20608
[startup+6.30115 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26028
/proc/meminfo: memFree=1893624/2055912 swapFree=4178800/4192956
[pid=26022] ppid=26020 vsize=5356 CPUtime=0.98
/proc/26022/stat : 26022 (SatELiteGTI) S 26020 26022 25637 0 -1 4194304 336 7541 0 0 0 0 91 7 16 0 1 0 310929371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26022/statm: 1339 239 197 169 0 50 0
[pid=26028] ppid=26022 vsize=17080 CPUtime=5.3
/proc/26028/stat : 26028 (minisat_static) R 26022 26022 25637 0 -1 4194304 4038 0 0 0 527 3 0 0 25 0 1 0 310929470 17489920 4024 1992294400 134512640 135215339 4294956240 18446744073709551615 134528717 0 0 4096 3 0 0 0 17 1 0 0
/proc/26028/statm: 4270 4024 77 171 0 4097 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 22436
[startup+12.7018 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26028
/proc/meminfo: memFree=1890488/2055912 swapFree=4178800/4192956
[pid=26022] ppid=26020 vsize=5356 CPUtime=0.98
/proc/26022/stat : 26022 (SatELiteGTI) S 26020 26022 25637 0 -1 4194304 336 7541 0 0 0 0 91 7 16 0 1 0 310929371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26022/statm: 1339 239 197 169 0 50 0
[pid=26028] ppid=26022 vsize=20148 CPUtime=11.7
/proc/26028/stat : 26028 (minisat_static) R 26022 26022 25637 0 -1 4194304 4811 0 0 0 1166 4 0 0 25 0 1 0 310929470 20631552 4797 1992294400 134512640 135215339 4294956240 18446744073709551615 134529096 0 0 4096 3 0 0 0 17 1 0 0
/proc/26028/statm: 5037 4797 77 171 0 4864 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 25504
[startup+25.5011 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26028
/proc/meminfo: memFree=1884472/2055912 swapFree=4178800/4192956
[pid=26022] ppid=26020 vsize=5356 CPUtime=0.98
/proc/26022/stat : 26022 (SatELiteGTI) S 26020 26022 25637 0 -1 4194304 336 7541 0 0 0 0 91 7 16 0 1 0 310929371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26022/statm: 1339 239 197 169 0 50 0
[pid=26028] ppid=26022 vsize=26024 CPUtime=24.48
/proc/26028/stat : 26028 (minisat_static) R 26022 26022 25637 0 -1 4194304 6249 0 0 0 2441 7 0 0 25 0 1 0 310929470 26648576 6235 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/26028/statm: 6506 6235 77 171 0 6333 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 31380
[startup+51.1018 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26028
/proc/meminfo: memFree=1874680/2055912 swapFree=4178800/4192956
[pid=26022] ppid=26020 vsize=5356 CPUtime=0.98
/proc/26022/stat : 26022 (SatELiteGTI) S 26020 26022 25637 0 -1 4194304 336 7541 0 0 0 0 91 7 16 0 1 0 310929371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26022/statm: 1339 239 197 169 0 50 0
[pid=26028] ppid=26022 vsize=35844 CPUtime=50.05
/proc/26028/stat : 26028 (minisat_static) R 26022 26022 25637 0 -1 4194304 8703 0 0 0 4996 9 0 0 25 0 1 0 310929470 36704256 8689 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26028/statm: 8961 8689 77 171 0 8788 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 41200
[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26028
/proc/meminfo: memFree=1857528/2055912 swapFree=4178800/4192956
[pid=26022] ppid=26020 vsize=5356 CPUtime=0.98
/proc/26022/stat : 26022 (SatELiteGTI) S 26020 26022 25637 0 -1 4194304 336 7541 0 0 0 0 91 7 16 0 1 0 310929371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26022/statm: 1339 239 197 169 0 50 0
[pid=26028] ppid=26022 vsize=52672 CPUtime=101.23
/proc/26028/stat : 26028 (minisat_static) R 26022 26022 25637 0 -1 4194304 12932 0 0 0 10108 15 0 0 25 0 1 0 310929470 53936128 12918 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26028/statm: 13168 12918 77 171 0 12995 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 58028
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26028
/proc/meminfo: memFree=1842680/2055912 swapFree=4178800/4192956
[pid=26022] ppid=26020 vsize=5356 CPUtime=0.98
/proc/26022/stat : 26022 (SatELiteGTI) S 26020 26022 25637 0 -1 4194304 336 7541 0 0 0 0 91 7 16 0 1 0 310929371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26022/statm: 1339 239 197 169 0 50 0
[pid=26028] ppid=26022 vsize=67736 CPUtime=161.21
/proc/26028/stat : 26028 (minisat_static) R 26022 26022 25637 0 -1 4194304 16643 0 0 0 16101 20 0 0 25 0 1 0 310929470 69361664 16629 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26028/statm: 16934 16629 77 171 0 16761 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 73092
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 26028
/proc/meminfo: memFree=1828280/2055912 swapFree=4178800/4192956
[pid=26022] ppid=26020 vsize=5356 CPUtime=0.98
/proc/26022/stat : 26022 (SatELiteGTI) S 26020 26022 25637 0 -1 4194304 336 7541 0 0 0 0 91 7 16 0 1 0 310929371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26022/statm: 1339 239 197 169 0 50 0
[pid=26028] ppid=26022 vsize=81756 CPUtime=221.18
/proc/26028/stat : 26028 (minisat_static) R 26022 26022 25637 0 -1 4194304 20191 0 0 0 22093 25 0 0 25 0 1 0 310929470 83718144 20177 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26028/statm: 20439 20177 77 171 0 20266 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 87112
[startup+282.302 s]
/proc/loadavg: 1.06 1.00 1.00 2/67 26028
/proc/meminfo: memFree=1815992/2055912 swapFree=4178800/4192956
[pid=26022] ppid=26020 vsize=5356 CPUtime=0.98
/proc/26022/stat : 26022 (SatELiteGTI) S 26020 26022 25637 0 -1 4194304 336 7541 0 0 0 0 91 7 16 0 1 0 310929371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26022/statm: 1339 239 197 169 0 50 0
[pid=26028] ppid=26022 vsize=94556 CPUtime=281.16
/proc/26028/stat : 26028 (minisat_static) R 26022 26022 25637 0 -1 4194304 23253 0 0 0 28088 28 0 0 25 0 1 0 310929470 96825344 23239 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26028/statm: 23639 23239 77 171 0 23466 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 99912
[startup+342.301 s]
/proc/loadavg: 1.08 1.01 1.00 2/67 26028
/proc/meminfo: memFree=1803512/2055912 swapFree=4178800/4192956
[pid=26022] ppid=26020 vsize=5356 CPUtime=0.98
/proc/26022/stat : 26022 (SatELiteGTI) S 26020 26022 25637 0 -1 4194304 336 7541 0 0 0 0 91 7 16 0 1 0 310929371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26022/statm: 1339 239 197 169 0 50 0
[pid=26028] ppid=26022 vsize=106588 CPUtime=341.14
/proc/26028/stat : 26028 (minisat_static) R 26022 26022 25637 0 -1 4194304 26308 0 0 0 34083 31 0 0 25 0 1 0 310929470 109146112 26294 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26028/statm: 26647 26294 77 171 0 26474 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 111944
[startup+402.301 s]
/proc/loadavg: 1.09 1.02 1.00 2/67 26028
/proc/meminfo: memFree=1792696/2055912 swapFree=4178800/4192956
[pid=26022] ppid=26020 vsize=5356 CPUtime=0.98
/proc/26022/stat : 26022 (SatELiteGTI) S 26020 26022 25637 0 -1 4194304 336 7541 0 0 0 0 91 7 16 0 1 0 310929371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26022/statm: 1339 239 197 169 0 50 0
[pid=26028] ppid=26022 vsize=117436 CPUtime=401.12
/proc/26028/stat : 26028 (minisat_static) R 26022 26022 25637 0 -1 4194304 29035 0 0 0 40078 34 0 0 25 0 1 0 310929470 120254464 29021 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26028/statm: 29359 29021 77 171 0 29186 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 122792
[startup+462.302 s]
################
# More data... #
################
/proc/26028/statm: 36880 36630 77 171 0 36707 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 152876
[startup+642.301 s]
/proc/loadavg: 1.04 1.05 1.01 2/67 26028
/proc/meminfo: memFree=1752184/2055912 swapFree=4178800/4192956
[pid=26022] ppid=26020 vsize=5356 CPUtime=0.98
/proc/26022/stat : 26022 (SatELiteGTI) S 26020 26022 25637 0 -1 4194304 336 7541 0 0 0 0 91 7 16 0 1 0 310929371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26022/statm: 1339 239 197 169 0 50 0
[pid=26028] ppid=26022 vsize=157872 CPUtime=641.04
/proc/26028/stat : 26028 (minisat_static) R 26022 26022 25637 0 -1 4194304 39000 0 0 0 64059 45 0 0 25 0 1 0 310929470 161660928 38986 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/26028/statm: 39468 38986 77 171 0 39295 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 163228
[startup+702.302 s]
/proc/loadavg: 1.01 1.04 1.00 2/67 26028
/proc/meminfo: memFree=1748664/2055912 swapFree=4178800/4192956
[pid=26022] ppid=26020 vsize=5356 CPUtime=0.98
/proc/26022/stat : 26022 (SatELiteGTI) S 26020 26022 25637 0 -1 4194304 336 7541 0 0 0 0 91 7 16 0 1 0 310929371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26022/statm: 1339 239 197 169 0 50 0
[pid=26028] ppid=26022 vsize=161240 CPUtime=701.02
/proc/26028/stat : 26028 (minisat_static) R 26022 26022 25637 0 -1 4194304 39861 0 0 0 70055 47 0 0 25 0 1 0 310929470 165109760 39847 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26028/statm: 40310 39847 77 171 0 40137 0
Current children cumulated CPU time (s) 702
Current children cumulated vsize (KiB) 166596
[startup+762.306 s]
/proc/loadavg: 1.00 1.03 1.00 2/67 26028
/proc/meminfo: memFree=1748536/2055912 swapFree=4178800/4192956
[pid=26022] ppid=26020 vsize=5356 CPUtime=0.98
/proc/26022/stat : 26022 (SatELiteGTI) S 26020 26022 25637 0 -1 4194304 336 7541 0 0 0 0 91 7 16 0 1 0 310929371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26022/statm: 1339 239 197 169 0 50 0
[pid=26028] ppid=26022 vsize=161240 CPUtime=761.01
/proc/26028/stat : 26028 (minisat_static) R 26022 26022 25637 0 -1 4194304 39870 0 0 0 76053 48 0 0 25 0 1 0 310929470 165109760 39856 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26028/statm: 40310 39856 77 171 0 40137 0
Current children cumulated CPU time (s) 761.99
Current children cumulated vsize (KiB) 166596
[startup+822.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/67 26028
/proc/meminfo: memFree=1748344/2055912 swapFree=4178800/4192956
[pid=26022] ppid=26020 vsize=5356 CPUtime=0.98
/proc/26022/stat : 26022 (SatELiteGTI) S 26020 26022 25637 0 -1 4194304 336 7541 0 0 0 0 91 7 16 0 1 0 310929371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26022/statm: 1339 239 197 169 0 50 0
[pid=26028] ppid=26022 vsize=161384 CPUtime=820.99
/proc/26028/stat : 26028 (minisat_static) R 26022 26022 25637 0 -1 4194304 39886 0 0 0 82051 48 0 0 25 0 1 0 310929470 165257216 39872 1992294400 134512640 135215339 4294956240 18446744073709551615 134528772 0 0 4096 3 0 0 0 17 1 0 0
/proc/26028/statm: 40346 39872 77 171 0 40173 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 166740
[startup+882.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/67 26028
/proc/meminfo: memFree=1748280/2055912 swapFree=4178800/4192956
[pid=26022] ppid=26020 vsize=5356 CPUtime=0.98
/proc/26022/stat : 26022 (SatELiteGTI) S 26020 26022 25637 0 -1 4194304 336 7541 0 0 0 0 91 7 16 0 1 0 310929371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26022/statm: 1339 239 197 169 0 50 0
[pid=26028] ppid=26022 vsize=161384 CPUtime=880.97
/proc/26028/stat : 26028 (minisat_static) R 26022 26022 25637 0 -1 4194304 39886 0 0 0 88049 48 0 0 25 0 1 0 310929470 165257216 39872 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26028/statm: 40346 39872 77 171 0 40173 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 166740
[startup+942.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 26028
/proc/meminfo: memFree=1748152/2055912 swapFree=4178800/4192956
[pid=26022] ppid=26020 vsize=5356 CPUtime=0.98
/proc/26022/stat : 26022 (SatELiteGTI) S 26020 26022 25637 0 -1 4194304 336 7541 0 0 0 0 91 7 16 0 1 0 310929371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26022/statm: 1339 239 197 169 0 50 0
[pid=26028] ppid=26022 vsize=161384 CPUtime=940.95
/proc/26028/stat : 26028 (minisat_static) R 26022 26022 25637 0 -1 4194304 39908 0 0 0 94047 48 0 0 25 0 1 0 310929470 165257216 39894 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26028/statm: 40346 39894 77 171 0 40173 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 166740
[startup+1002.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 26028
/proc/meminfo: memFree=1748088/2055912 swapFree=4178800/4192956
[pid=26022] ppid=26020 vsize=5356 CPUtime=0.98
/proc/26022/stat : 26022 (SatELiteGTI) S 26020 26022 25637 0 -1 4194304 336 7541 0 0 0 0 91 7 16 0 1 0 310929371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26022/statm: 1339 239 197 169 0 50 0
[pid=26028] ppid=26022 vsize=161384 CPUtime=1000.93
/proc/26028/stat : 26028 (minisat_static) R 26022 26022 25637 0 -1 4194304 39910 0 0 0 100045 48 0 0 25 0 1 0 310929470 165257216 39896 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26028/statm: 40346 39896 77 171 0 40173 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 166740
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26028
/proc/meminfo: memFree=1747832/2055912 swapFree=4178800/4192956
[pid=26022] ppid=26020 vsize=5356 CPUtime=0.98
/proc/26022/stat : 26022 (SatELiteGTI) S 26020 26022 25637 0 -1 4194304 336 7541 0 0 0 0 91 7 16 0 1 0 310929371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26022/statm: 1339 239 197 169 0 50 0
[pid=26028] ppid=26022 vsize=161532 CPUtime=1060.92
/proc/26028/stat : 26028 (minisat_static) R 26022 26022 25637 0 -1 4194304 39951 0 0 0 106043 49 0 0 25 0 1 0 310929470 165408768 39937 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/26028/statm: 40383 39937 77 171 0 40210 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 166888
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26028
/proc/meminfo: memFree=1747768/2055912 swapFree=4178800/4192956
[pid=26022] ppid=26020 vsize=5356 CPUtime=0.98
/proc/26022/stat : 26022 (SatELiteGTI) S 26020 26022 25637 0 -1 4194304 336 7541 0 0 0 0 91 7 16 0 1 0 310929371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26022/statm: 1339 239 197 169 0 50 0
[pid=26028] ppid=26022 vsize=161532 CPUtime=1120.9
/proc/26028/stat : 26028 (minisat_static) R 26022 26022 25637 0 -1 4194304 39954 0 0 0 112041 49 0 0 25 0 1 0 310929470 165408768 39940 1992294400 134512640 135215339 4294956240 18446744073709551615 134538089 0 0 4096 3 0 0 0 17 1 0 0
/proc/26028/statm: 40383 39940 77 171 0 40210 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 166888
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26028
/proc/meminfo: memFree=1747512/2055912 swapFree=4178800/4192956
[pid=26022] ppid=26020 vsize=5356 CPUtime=0.98
/proc/26022/stat : 26022 (SatELiteGTI) S 26020 26022 25637 0 -1 4194304 336 7541 0 0 0 0 91 7 16 0 1 0 310929371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26022/statm: 1339 239 197 169 0 50 0
[pid=26028] ppid=26022 vsize=161532 CPUtime=1180.88
/proc/26028/stat : 26028 (minisat_static) R 26022 26022 25637 0 -1 4194304 39954 0 0 0 118039 49 0 0 25 0 1 0 310929470 165408768 39940 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26028/statm: 40383 39940 77 171 0 40210 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 166888
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26028
/proc/meminfo: memFree=1747512/2055912 swapFree=4178800/4192956
[pid=26022] ppid=26020 vsize=5356 CPUtime=0.98
/proc/26022/stat : 26022 (SatELiteGTI) S 26020 26022 25637 0 -1 4194304 336 7541 0 0 0 0 91 7 16 0 1 0 310929371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26022/statm: 1339 239 197 169 0 50 0
[pid=26028] ppid=26022 vsize=161532 CPUtime=1199.08
/proc/26028/stat : 26028 (minisat_static) R 26022 26022 25637 0 -1 4194304 39954 0 0 0 119859 49 0 0 25 0 1 0 310929470 165408768 39940 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26028/statm: 40383 39940 77 171 0 40210 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 166888
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26028
/proc/meminfo: memFree=1747512/2055912 swapFree=4178800/4192956
[pid=26022] ppid=26020 vsize=5356 CPUtime=0.98
/proc/26022/stat : 26022 (SatELiteGTI) S 26020 26022 25637 0 -1 4194304 336 7541 0 0 0 0 91 7 16 0 1 0 310929371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26022/statm: 1339 239 197 169 0 50 0
[pid=26028] ppid=26022 vsize=161532 CPUtime=1199.08
/proc/26028/stat : 26028 (minisat_static) R 26022 26022 25637 0 -1 4194304 39954 0 0 0 119859 49 0 0 25 0 1 0 310929470 165408768 39940 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26028/statm: 40383 39940 77 171 0 40210 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 166888
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26022 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=910861
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=81987
# CPU time returned by wait4() is 0.992848
# while last known CPU time is 1200.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.06
CPU user time (s): 1199.5
CPU system time (s): 0.56
CPU usage (%): 99.9622
Max. virtual memory (cumulated for all children) (KiB): 166888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.910861
system time used= 0.081987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7877
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 10
runsolver used 1.07984 second user time and 3.38848 second system time
The end
Begin job on node78 at 2009-05-20 16:16:44
IDJOB=1834255
IDBENCH=71794
IDSOLVER=671
FILE ID=node78/1834255-1242829003
PBS_JOBID= 9322520
Free space on /tmp= 126620 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/parity-games/instance_n8_i8_pp_ci_ce.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834255-1242829003/watcher-1834255-1242829003 -o /tmp/evaluation-result-1834255-1242829003/solver-1834255-1242829003 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834255-1242829003.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 68c51e190d82ac762156471d1f7373da
RANDOM SEED=2046591103
node78.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.243
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.243
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: 2055912 kB
MemFree: 1915944 kB
Buffers: 18348 kB
Cached: 84632 kB
SwapCached: 7452 kB
Active: 54092 kB
Inactive: 57740 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055912 kB
LowFree: 1915944 kB
SwapTotal: 4192956 kB
SwapFree: 4178800 kB
Dirty: 7020 kB
Writeback: 0 kB
Mapped: 14084 kB
Slab: 14004 kB
Committed_AS: 856992 kB
PageTables: 1432 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 126612 MiB
End job on node78 at 2009-05-20 16:36:46