0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 16000 80000 | 4799 0 0 nan | 0.000 % |
0.00/0.02 c ==============================================================================
0.00/0.02 c Result : #vars: 800 #clauses: 16000 #literals: 80000
0.00/0.02 c CPU time: 0.015997 s
0.00/0.02 c ==============================================================================
0.00/0.04 c This is MiniSat 2.0 beta
0.00/0.04 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04 c ============================[ Problem Statistics ]=============================
0.00/0.04 c | |
0.00/0.04 c | Number of variables: 800 |
0.00/0.04 c | Number of clauses: 16000 |
0.00/0.06 c | Parsing time: 0.01 s |
0.00/0.06 c ============================[ Search Statistics ]==============================
0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.06 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.06 c ===============================================================================
0.00/0.06 c | 0 | 800 16000 80000 | 5333 0 nan | 0.000 % |
0.00/0.07 c | 100 | 800 16000 80000 | 5333 100 93 | 0.000 % |
0.00/0.08 c | 200 | 800 16000 80000 | 5333 200 104 | 0.000 % |
0.00/0.09 c | 301 | 800 16000 80000 | 5333 301 109 | 0.000 % |
0.03/0.10 c | 411 | 800 16000 80000 | 5333 411 109 | 0.000 % |
0.03/0.11 c | 511 | 800 16000 80000 | 5333 511 108 | 0.000 % |
0.03/0.12 c | 621 | 800 16000 80000 | 5333 621 105 | 0.000 % |
0.03/0.13 c | 743 | 800 16000 80000 | 5333 743 104 | 0.000 % |
0.03/0.14 c | 846 | 800 16000 80000 | 5333 846 104 | 0.000 % |
0.03/0.15 c | 957 | 800 16000 80000 | 5333 957 105 | 0.000 % |
0.03/0.16 c | 1078 | 800 16000 80000 | 5333 1078 104 | 0.000 % |
0.03/0.18 c | 1212 | 800 16000 80000 | 5333 1212 105 | 0.000 % |
0.03/0.19 c | 1314 | 800 16000 80000 | 5333 1314 105 | 0.000 % |
0.03/0.20 c | 1427 | 800 16000 80000 | 5333 1427 105 | 0.000 % |
0.03/0.21 c | 1548 | 800 16000 80000 | 5333 1548 106 | 0.000 % |
0.03/0.22 c | 1681 | 800 16000 80000 | 5333 1681 106 | 0.000 % |
0.03/0.24 c | 1827 | 800 16000 80000 | 5333 1827 105 | 0.000 % |
0.03/0.25 c | 1927 | 800 16000 80000 | 5333 1927 106 | 0.000 % |
0.03/0.26 c | 2038 | 800 16000 80000 | 5333 2038 105 | 0.000 % |
0.03/0.27 c | 2160 | 800 16000 80000 | 5333 2160 105 | 0.000 % |
0.03/0.29 c | 2294 | 800 16000 80000 | 5333 2294 105 | 0.000 % |
0.03/0.30 c | 2444 | 800 16000 80000 | 5333 2444 105 | 0.000 % |
0.03/0.32 c | 2604 | 800 16000 80000 | 5333 2604 105 | 0.000 % |
0.03/0.33 c | 2704 | 800 16000 80000 | 5333 2704 106 | 0.000 % |
0.03/0.34 c | 2817 | 800 16000 80000 | 5333 2817 106 | 0.000 % |
0.03/0.35 c | 2939 | 800 16000 80000 | 5333 2939 106 | 0.000 % |
0.03/0.37 c | 3074 | 800 16000 80000 | 5333 3074 105 | 0.000 % |
0.03/0.39 c | 3221 | 800 16000 80000 | 5333 3221 106 | 0.000 % |
0.03/0.40 c | 3381 | 800 16000 80000 | 5333 3381 105 | 0.000 % |
0.03/0.42 c | 3557 | 800 16000 80000 | 5333 3557 105 | 0.000 % |
0.03/0.43 c | 3657 | 800 16000 80000 | 5333 3657 105 | 0.000 % |
0.03/0.44 c | 3769 | 800 16000 80000 | 5333 3769 105 | 0.000 % |
0.03/0.46 c | 3890 | 800 16000 80000 | 5333 3890 105 | 0.000 % |
0.03/0.47 c | 4025 | 800 16000 80000 | 5333 4025 105 | 0.000 % |
0.03/0.49 c | 4172 | 800 16000 80000 | 5333 4172 105 | 0.000 % |
0.03/0.51 c | 4332 | 800 16000 80000 | 5333 4332 105 | 0.000 % |
0.03/0.53 c | 4509 | 800 16000 80000 | 5333 4509 105 | 0.000 % |
0.03/0.55 c | 4702 | 800 16000 80000 | 5333 4702 105 | 0.000 % |
0.03/0.56 c | 4802 | 800 16000 80000 | 5333 4802 105 | 0.000 % |
0.03/0.57 c | 4912 | 800 16000 80000 | 5333 4912 105 | 0.000 % |
0.03/0.59 c | 5033 | 800 16000 80000 | 5333 5033 105 | 0.000 % |
0.03/0.60 c | 5166 | 800 16000 80000 | 5333 5166 104 | 0.000 % |
0.03/0.62 c | 5312 | 800 16000 80000 | 5333 5312 104 | 0.000 % |
0.03/0.64 c | 5474 | 800 16000 80000 | 5333 5474 104 | 0.000 % |
0.03/0.66 c | 5652 | 800 16000 80000 | 5333 5105 103 | 0.000 % |
0.03/0.69 c | 5847 | 800 16000 80000 | 5333 5300 103 | 0.000 % |
0.03/0.71 c | 6060 | 800 16000 80000 | 5333 5513 103 | 0.000 % |
0.03/0.73 c | 6160 | 800 16000 80000 | 5333 5062 102 | 0.000 % |
0.03/0.74 c | 6271 | 800 16000 80000 | 5333 5173 102 | 0.000 % |
0.03/0.76 c | 6393 | 800 16000 80000 | 5333 5295 102 | 0.000 % |
0.03/0.77 c | 6527 | 800 16000 80000 | 5333 5429 102 | 0.000 % |
0.03/0.79 c | 6676 | 800 16000 80000 | 5333 5036 102 | 0.000 % |
0.03/0.81 c | 6841 | 800 16000 80000 | 5333 5201 102 | 0.000 % |
0.03/0.83 c | 7017 | 800 16000 80000 | 5333 5377 102 | 0.000 % |
0.03/0.86 c | 7210 | 800 16000 80000 | 5333 5033 101 | 0.000 % |
0.03/0.88 c | 7422 | 800 16000 80000 | 5333 5245 101 | 0.000 % |
0.03/0.91 c | 7655 | 800 16000 80000 | 5333 5478 102 | 0.000 % |
0.03/0.93 c | 7757 | 800 16000 80000 | 5333 5033 102 | 0.000 % |
0.03/0.94 c | 7868 | 800 16000 80000 | 5333 5144 101 | 0.000 % |
0.03/0.95 c | 7990 | 800 16000 80000 | 5333 5266 102 | 0.000 % |
0.03/0.97 c | 8125 | 800 16000 80000 | 5333 5401 102 | 0.000 % |
0.03/0.99 c | 8271 | 800 16000 80000 | 5333 5007 101 | 0.000 % |
0.97/1.01 c | 8431 | 800 16000 80000 | 5333 5167 101 | 0.000 % |
0.97/1.03 c | 8607 | 800 16000 80000 | 5333 5343 101 | 0.000 % |
0.97/1.06 c | 8801 | 800 16000 80000 | 5333 5003 101 | 0.000 % |
0.97/1.09 c | 9014 | 800 16000 80000 | 5333 5216 101 | 0.000 % |
1.07/1.12 c | 9248 | 800 16000 80000 | 5333 5450 101 | 0.000 % |
1.07/1.15 c | 9505 | 800 16000 80000 | 5333 5162 101 | 0.000 % |
1.07/1.16 c | 9607 | 800 16000 80000 | 5333 5264 101 | 0.000 % |
1.07/1.17 c | 9717 | 800 16000 80000 | 5333 5374 101 | 0.000 % |
1.07/1.19 c | 9839 | 800 16000 80000 | 5333 4959 101 | 0.000 % |
1.17/1.21 c | 9972 | 800 16000 80000 | 5333 5092 101 | 0.000 % |
1.17/1.23 c | 10118 | 800 16000 80000 | 2147483647 5238 101 | 0.000 % |
1.17/1.25 c | 10278 | 800 16000 80000 | 2147483647 5398 101 | 0.000 % |
1.17/1.27 c | 10455 | 800 16000 80000 | 2147483647 5575 101 | 0.000 % |
1.17/1.29 c | 10648 | 800 16000 80000 | 2147483647 5768 101 | 0.000 % |
1.27/1.32 c | 10860 | 800 16000 80000 | 2147483647 5980 101 | 0.000 % |
1.27/1.35 c | 11094 | 800 16000 80000 | 2147483647 6214 101 | 0.000 % |
1.27/1.38 c | 11350 | 800 16000 80000 | 2147483647 6470 101 | 0.000 % |
1.36/1.42 c | 11632 | 800 16000 80000 | 2147483647 6752 101 | 0.000 % |
1.36/1.43 c | 11733 | 800 16000 80000 | 2147483647 6853 101 | 0.000 % |
1.36/1.45 c | 11844 | 800 16000 80000 | 2147483647 6964 101 | 0.000 % |
1.36/1.47 c | 11967 | 800 16000 80000 | 2147483647 7087 101 | 0.000 % |
1.36/1.48 c | 12101 | 800 16000 80000 | 2147483647 7221 101 | 0.000 % |
1.46/1.50 c | 12247 | 800 16000 80000 | 2147483647 7367 101 | 0.000 % |
1.46/1.52 c | 12407 | 800 16000 80000 | 2147483647 7527 101 | 0.000 % |
1.46/1.55 c | 12584 | 800 16000 80000 | 2147483647 7704 102 | 0.000 % |
1.46/1.58 c | 12778 | 800 16000 80000 | 2147483647 7898 102 | 0.000 % |
1.57/1.61 c | 12993 | 800 16000 80000 | 2147483647 8113 102 | 0.000 % |
1.57/1.64 c | 13226 | 800 16000 80000 | 2147483647 8346 102 | 0.000 % |
1.57/1.68 c | 13483 | 800 16000 80000 | 2147483647 8603 102 | 0.000 % |
1.67/1.72 c | 13766 | 800 16000 80000 | 2147483647 8886 102 | 0.000 % |
1.67/1.76 c | 14077 | 800 16000 80000 | 2147483647 9197 102 | 0.000 % |
1.67/1.78 c | 14177 | 800 16000 80000 | 2147483647 9297 102 | 0.000 % |
1.77/1.80 c | 14289 | 800 16000 80000 | 2147483647 9409 103 | 0.000 % |
1.77/1.81 c | 14410 | 800 16000 80000 | 2147483647 9530 103 | 0.000 % |
1.77/1.83 c | 14543 | 800 16000 80000 | 2147483647 9663 102 | 0.000 % |
1.77/1.86 c | 14691 | 800 16000 80000 | 2147483647 9811 102 | 0.000 % |
1.77/1.88 c | 14851 | 800 16000 80000 | 2147483647 9971 102 | 0.000 % |
1.87/1.91 c | 15027 | 800 16000 80000 | 2147483647 10147 102 | 0.000 % |
1.87/1.94 c | 15222 | 800 16000 80000 | 2147483647 10342 102 | 0.000 % |
1.87/1.97 c | 15434 | 800 16000 80000 | 2147483647 10554 102 | 0.000 % |
1.97/2.01 c | 15667 | 800 16000 80000 | 2147483647 10787 102 | 0.000 % |
1.97/2.05 c | 15924 | 800 16000 80000 | 2147483647 11044 102 | 0.000 % |
1.97/2.09 c | 16207 | 800 16000 80000 | 2147483647 11327 102 | 0.000 % |
2.07/2.14 c | 16516 | 800 16000 80000 | 2147483647 11636 103 | 0.000 % |
2.07/2.20 c | 16858 | 800 16000 80000 | 2147483647 11978 103 | 0.000 % |
2.17/2.21 c | 16958 | 800 16000 80000 | 2147483647 12078 103 | 0.000 % |
2.17/2.23 c | 17069 | 800 16000 80000 | 2147483647 12189 103 | 0.000 % |
2.17/2.26 c | 17190 | 800 16000 80000 | 2147483647 12310 103 | 0.000 % |
2.17/2.28 c | 17323 | 800 16000 80000 | 2147483647 12443 103 | 0.000 % |
2.27/2.30 c | 17471 | 800 16000 80000 | 2147483647 12591 103 | 0.000 % |
2.27/2.33 c | 17631 | 800 16000 80000 | 2147483647 12751 103 | 0.000 % |
2.27/2.36 c | 17807 | 800 16000 80000 | 2147483647 12927 103 | 0.000 % |
2.27/2.39 c | 18000 | 800 16000 80000 | 2147483647 13120 103 | 0.000 % |
2.37/2.43 c | 18213 | 800 16000 80000 | 2147483647 13333 103 | 0.000 % |
2.37/2.47 c | 18446 | 800 16000 80000 | 2147483647 13566 103 | 0.000 % |
2.47/2.51 c | 18702 | 800 16000 80000 | 2147483647 13822 103 | 0.000 % |
2.47/2.56 c | 18983 | 800 16000 80000 | 2147483647 14103 103 | 0.000 % |
2.56/2.62 c | 19293 | 800 16000 80000 | 2147483647 14413 104 | 0.000 % |
2.56/2.68 c | 19632 | 800 16000 80000 | 2147483647 14752 104 | 0.000 % |
2.66/2.75 c | 20005 | 800 16000 80000 | 2147483647 15125 104 | 0.000 % |
2.66/2.77 c | 20107 | 800 16000 80000 | 2147483647 15227 104 | 0.000 % |
2.66/2.79 c | 20217 | 800 16000 80000 | 2147483647 15337 104 | 0.000 % |
2.76/2.82 c | 20339 | 800 16000 80000 | 2147483647 15459 104 | 0.000 % |
2.76/2.84 c | 20473 | 800 16000 80000 | 2147483647 15593 104 | 0.000 % |
2.76/2.87 c | 20623 | 800 16000 80000 | 2147483647 15743 104 | 0.000 % |
2.86/2.91 c | 20785 | 800 16000 80000 | 2147483647 15905 104 | 0.000 % |
2.86/2.94 c | 20961 | 800 16000 80000 | 2147483647 16081 104 | 0.000 % |
2.86/2.98 c | 21154 | 800 16000 80000 | 2147483647 16274 104 | 0.000 % |
2.96/3.02 c | 21366 | 800 16000 80000 | 2147483647 16486 104 | 0.000 % |
2.96/3.06 c | 21601 | 800 16000 80000 | 2147483647 16721 104 | 0.000 % |
3.06/3.11 c | 21859 | 800 16000 80000 | 2147483647 16979 104 | 0.000 % |
3.06/3.16 c | 22140 | 800 16000 80000 | 2147483647 17260 104 | 0.000 % |
3.17/3.22 c | 22449 | 800 16000 80000 | 2147483647 17569 104 | 0.000 % |
3.17/3.29 c | 22788 | 800 16000 80000 | 2147483647 17908 104 | 0.000 % |
3.27/3.37 c | 23161 | 800 16000 80000 | 2147483647 18281 104 | 0.000 % |
3.36/3.46 c | 23570 | 800 16000 80000 | 2147483647 18690 104 | 0.000 % |
3.36/3.49 c | 23672 | 800 16000 80000 | 2147483647 18792 104 | 0.000 % |
3.46/3.51 c | 23782 | 800 16000 80000 | 2147483647 18902 104 | 0.000 % |
3.46/3.54 c | 23903 | 800 16000 80000 | 2147483647 19023 104 | 0.000 % |
3.46/3.57 c | 24036 | 800 16000 80000 | 2147483647 19156 104 | 0.000 % |
3.56/3.61 c | 24182 | 800 16000 80000 | 2147483647 19302 104 | 0.000 % |
3.56/3.65 c | 24342 | 800 16000 80000 | 2147483647 19462 104 | 0.000 % |
3.56/3.69 c | 24518 | 800 16000 80000 | 2147483647 19638 104 | 0.000 % |
3.66/3.73 c | 24711 | 800 16000 80000 | 2147483647 19831 104 | 0.000 % |
3.66/3.78 c | 24923 | 800 16000 80000 | 2147483647 20043 104 | 0.000 % |
3.76/3.83 c | 25158 | 800 16000 80000 | 2147483647 20278 104 | 0.000 % |
3.76/3.89 c | 25414 | 800 16000 80000 | 2147483647 20534 104 | 0.000 % |
3.86/3.95 c | 25699 | 800 16000 80000 | 2147483647 20819 104 | 0.000 % |
3.96/4.03 c | 26009 | 800 16000 80000 | 2147483647 21129 105 | 0.000 % |
4.06/4.11 c | 26348 | 800 16000 80000 | 2147483647 21468 105 | 0.000 % |
4.16/4.20 c | 26720 | 800 16000 80000 | 2147483647 21840 105 | 0.000 % |
4.27/4.30 c | 27129 | 800 16000 80000 | 2147483647 22249 105 | 0.000 % |
4.37/4.42 c | 27581 | 800 16000 80000 | 2147483647 22701 105 | 0.000 % |
4.37/4.45 c | 27681 | 800 16000 80000 | 2147483647 22801 105 | 0.000 % |
4.37/4.47 c | 27792 | 800 16000 80000 | 2147483647 22912 105 | 0.000 % |
4.47/4.51 c | 27913 | 800 16000 80000 | 2147483647 23033 105 | 0.000 % |
4.47/4.54 c | 28046 | 800 16000 80000 | 2147483647 23166 105 | 0.000 % |
4.47/4.58 c | 28192 | 800 16000 80000 | 2147483647 23312 105 | 0.000 % |
4.57/4.62 c | 28352 | 800 16000 80000 | 2147483647 23472 105 | 0.000 % |
4.57/4.67 c | 28528 | 800 16000 80000 | 2147483647 23648 105 | 0.000 % |
4.67/4.72 c | 28721 | 800 16000 80000 | 2147483647 23841 105 | 0.000 % |
4.67/4.78 c | 28933 | 800 16000 80000 | 2147483647 24053 105 | 0.000 % |
4.77/4.84 c | 29166 | 800 16000 80000 | 2147483647 24286 105 | 0.000 % |
4.87/4.90 c | 29423 | 800 16000 80000 | 2147483647 24543 105 | 0.000 % |
4.87/4.97 c | 29704 | 800 16000 80000 | 2147483647 24824 105 | 0.000 % |
4.97/5.04 c | 30016 | 800 16000 80000 | 2147483647 25136 105 | 0.000 % |
5.07/5.14 c | 30356 | 800 16000 80000 | 2147483647 25476 105 | 0.000 % |
5.17/5.24 c | 30729 | 800 16000 80000 | 2147483647 25849 105 | 0.000 % |
5.27/5.35 c | 31138 | 800 16000 80000 | 2147483647 26258 105 | 0.000 % |
5.37/5.48 c | 31587 | 800 16000 80000 | 2147483647 26707 105 | 0.000 % |
5.56/5.62 c | 32081 | 800 16000 80000 | 2147483647 27201 105 | 0.000 % |
5.56/5.66 c | 32181 | 800 16000 80000 | 2147483647 27301 105 | 0.000 % |
5.56/5.69 c | 32292 | 800 16000 80000 | 2147483647 27412 105 | 0.000 % |
5.66/5.72 c | 32413 | 800 16000 80000 | 2147483647 27533 105 | 0.000 % |
5.66/5.77 c | 32546 | 800 16000 80000 | 2147483647 27666 105 | 0.000 % |
5.76/5.83 c | 32692 | 800 16000 80000 | 2147483647 27812 105 | 0.000 % |
5.76/5.87 c | 32853 | 800 16000 80000 | 2147483647 27973 105 | 0.000 % |
5.86/5.93 c | 33029 | 800 16000 80000 | 2147483647 28149 105 | 0.000 % |
5.86/5.99 c | 33223 | 800 16000 80000 | 2147483647 28343 105 | 0.000 % |
5.96/6.06 c | 33436 | 800 16000 80000 | 2147483647 28556 105 | 0.000 % |
6.06/6.14 c | 33670 | 800 16000 80000 | 2147483647 28790 105 | 0.000 % |
6.16/6.21 c | 33926 | 800 16000 80000 | 2147483647 29046 106 | 0.000 % |
6.26/6.30 c | 34207 | 800 16000 80000 | 2147483647 29327 106 | 0.000 % |
6.26/6.39 c | 34516 | 800 16000 80000 | 2147483647 29636 106 | 0.000 % |
6.47/6.50 c | 34855 | 800 16000 80000 | 2147483647 29975 106 | 0.000 % |
6.57/6.61 c | 35229 | 800 16000 80000 | 2147483647 30349 106 | 0.000 % |
6.67/6.74 c | 35638 | 800 16000 80000 | 2147483647 30758 106 | 0.000 % |
6.77/6.89 c | 36089 | 800 16000 80000 | 2147483647 31209 106 | 0.000 % |
6.97/7.05 c | 36583 | 800 16000 80000 | 2147483647 31703 106 | 0.000 % |
7.17/7.24 c | 37126 | 800 16000 80000 | 2147483647 32246 106 | 0.000 % |
7.17/7.27 c | 37226 | 800 16000 80000 | 2147483647 32346 106 | 0.000 % |
7.26/7.30 c | 37337 | 800 16000 80000 | 2147483647 32457 106 | 0.000 % |
7.26/7.34 c | 37458 | 800 16000 80000 | 2147483647 32578 106 | 0.000 % |
7.26/7.39 c | 37592 | 800 16000 80000 | 2147483647 32712 106 | 0.000 % |
7.36/7.45 c | 37738 | 800 16000 80000 | 2147483647 32858 106 | 0.000 % |
7.46/7.50 c | 37898 | 800 16000 80000 | 2147483647 33018 106 | 0.000 % |
7.46/7.56 c | 38074 | 800 16000 80000 | 2147483647 33194 106 | 0.000 % |
7.56/7.63 c | 38267 | 800 16000 80000 | 2147483647 33387 106 | 0.000 % |
7.66/7.71 c | 38479 | 800 16000 80000 | 2147483647 33599 106 | 0.000 % |
7.66/7.78 c | 38714 | 800 16000 80000 | 2147483647 33834 106 | 0.000 % |
7.76/7.86 c | 38970 | 800 16000 80000 | 2147483647 34090 106 | 0.000 % |
7.87/7.96 c | 39251 | 800 16000 80000 | 2147483647 34371 106 | 0.000 % |
7.97/8.06 c | 39560 | 800 16000 80000 | 2147483647 34680 106 | 0.000 % |
8.17/8.20 c | 39900 | 800 16000 80000 | 2147483647 35020 106 | 0.000 % |
8.27/8.32 c | 40272 | 800 16000 80000 | 2147483647 35392 106 | 0.000 % |
8.37/8.46 c | 40682 | 800 16000 80000 | 2147483647 35802 106 | 0.000 % |
8.57/8.61 c | 41133 | 800 16000 80000 | 2147483647 36253 106 | 0.000 % |
8.67/8.79 c | 41627 | 800 16000 80000 | 2147483647 36747 106 | 0.000 % |
8.86/8.99 c | 42170 | 800 16000 80000 | 2147483647 37290 106 | 0.000 % |
9.06/9.19 c | 42766 | 800 16000 80000 | 2147483647 37886 106 | 0.000 % |
9.16/9.23 c | 42866 | 800 16000 80000 | 2147483647 37986 106 | 0.000 % |
9.16/9.27 c | 42978 | 800 16000 80000 | 2147483647 38098 106 | 0.000 % |
9.26/9.32 c | 43099 | 800 16000 80000 | 2147483647 38219 106 | 0.000 % |
9.26/9.37 c | 43232 | 800 16000 80000 | 2147483647 38352 106 | 0.000 % |
9.36/9.43 c | 43379 | 800 16000 80000 | 2147483647 38499 106 | 0.000 % |
9.36/9.50 c | 43540 | 800 16000 80000 | 2147483647 38660 106 | 0.000 % |
9.46/9.58 c | 43717 | 800 16000 80000 | 2147483647 38837 106 | 0.000 % |
9.56/9.65 c | 43910 | 800 16000 80000 | 2147483647 39030 106 | 0.000 % |
9.66/9.75 c | 44122 | 800 16000 80000 | 2147483647 39242 106 | 0.000 % |
9.77/9.84 c | 44357 | 800 16000 80000 | 2147483647 39477 106 | 0.000 % |
9.87/9.93 c | 44614 | 800 16000 80000 | 2147483647 39734 106 | 0.000 % |
9.96/10.04 c | 44897 | 800 16000 80000 | 2147483647 40017 106 | 0.000 % |
10.06/10.15 c | 45209 | 800 16000 80000 | 2147483647 40329 106 | 0.000 % |
10.16/10.28 c | 45548 | 800 16000 80000 | 2147483647 40668 106 | 0.000 % |
10.36/10.45 c | 45923 | 800 16000 80000 | 2147483647 41043 106 | 0.000 % |
10.56/10.62 c | 46332 | 800 16000 80000 | 2147483647 41452 106 | 0.000 % |
10.76/10.81 c | 46783 | 800 16000 80000 | 2147483647 41903 106 | 0.000 % |
10.97/11.00 c | 47276 | 800 16000 80000 | 2147483647 42396 106 | 0.000 % |
11.17/11.22 c | 47821 | 800 16000 80000 | 2147483647 42941 106 | 0.000 % |
11.37/11.47 c | 48418 | 800 16000 80000 | 2147483647 43538 106 | 0.000 % |
11.67/11.73 c | 49076 | 800 16000 80000 | 2147483647 44196 106 | 0.000 % |
11.67/11.79 c | 49178 | 800 16000 80000 | 2147483647 44298 106 | 0.000 % |
11.77/11.84 c | 49291 | 800 16000 80000 | 2147483647 44411 106 | 0.000 % |
11.77/11.89 c | 49412 | 800 16000 80000 | 2147483647 44532 106 | 0.000 % |
11.87/11.95 c | 49545 | 800 16000 80000 | 2147483647 44665 106 | 0.000 % |
11.97/12.03 c | 49691 | 800 16000 80000 | 2147483647 44811 106 | 0.000 % |
11.97/12.10 c | 49851 | 800 16000 80000 | 2147483647 44971 106 | 0.000 % |
12.07/12.18 c | 50029 | 800 16000 80000 | 2147483647 45149 106 | 0.000 % |
12.16/12.27 c | 50223 | 800 16000 80000 | 2147483647 45343 106 | 0.000 % |
12.26/12.36 c | 50436 | 800 16000 80000 | 2147483647 45556 106 | 0.000 % |
12.36/12.46 c | 50670 | 800 16000 80000 | 2147483647 45790 106 | 0.000 % |
12.46/12.58 c | 50926 | 800 16000 80000 | 2147483647 46046 106 | 0.000 % |
12.66/12.70 c | 51207 | 800 16000 80000 | 2147483647 46327 106 | 0.000 % |
12.76/12.84 c | 51517 | 800 16000 80000 | 2147483647 46637 106 | 0.000 % |
12.96/13.01 c | 51856 | 800 16000 80000 | 2147483647 46976 106 | 0.000 % |
13.07/13.18 c | 52229 | 800 16000 80000 | 2147483647 47349 106 | 0.000 % |
13.26/13.38 c | 52638 | 800 16000 80000 | 2147483647 47758 106 | 0.000 % |
13.46/13.58 c | 53087 | 800 16000 80000 | 2147483647 48207 107 | 0.000 % |
13.76/13.83 c | 53581 | 800 16000 80000 | 2147483647 48701 106 | 0.000 % |
13.97/14.08 c | 54123 | 800 16000 80000 | 2147483647 49243 107 | 0.000 % |
14.27/14.34 c | 54719 | 800 16000 80000 | 2147483647 49839 107 | 0.000 % |
14.56/14.65 c | 55376 | 800 16000 80000 | 2147483647 50496 107 | 0.000 % |
14.96/15.00 c | 56096 | 800 16000 80000 | 2147483647 51216 107 | 0.000 % |
14.96/15.06 c | 56196 | 800 16000 80000 | 2147483647 51316 107 | 0.000 % |
15.06/15.11 c | 56306 | 800 16000 80000 | 2147483647 51426 107 | 0.000 % |
15.06/15.18 c | 56428 | 800 16000 80000 | 2147483647 51548 107 | 0.000 % |
15.16/15.26 c | 56562 | 800 16000 80000 | 2147483647 51682 107 | 0.000 % |
15.26/15.34 c | 56708 | 800 16000 80000 | 2147483647 51828 107 | 0.000 % |
15.36/15.43 c | 56868 | 800 16000 80000 | 2147483647 51988 107 | 0.000 % |
15.46/15.52 c | 57044 | 800 16000 80000 | 2147483647 52164 107 | 0.000 % |
15.56/15.63 c | 57238 | 800 16000 80000 | 2147483647 52358 107 | 0.000 % |
15.66/15.75 c | 57450 | 800 16000 80000 | 2147483647 52570 107 | 0.000 % |
15.76/15.87 c | 57683 | 800 16000 80000 | 2147483647 52803 107 | 0.000 % |
15.96/16.00 c | 57939 | 800 16000 80000 | 2147483647 53059 107 | 0.000 % |
16.06/16.14 c | 58221 | 800 16000 80000 | 2147483647 53341 107 | 0.000 % |
16.26/16.31 c | 58531 | 800 16000 80000 | 2147483647 53651 107 | 0.000 % |
16.36/16.50 c | 58871 | 800 16000 80000 | 2147483647 53991 107 | 0.000 % |
16.56/16.69 c | 59244 | 800 16000 80000 | 2147483647 54364 107 | 0.000 % |
16.87/16.90 c | 59656 | 800 16000 80000 | 2147483647 54776 107 | 0.000 % |
17.07/17.13 c | 60105 | 800 16000 80000 | 2147483647 55225 107 | 0.000 % |
17.37/17.40 c | 60598 | 800 16000 80000 | 2147483647 55718 107 | 0.000 % |
17.66/17.70 c | 61140 | 800 16000 80000 | 2147483647 56260 107 | 0.000 % |
17.86/18.00 c | 61736 | 800 16000 80000 | 2147483647 56856 107 | 0.000 % |
18.26/18.33 c | 62391 | 800 16000 80000 | 2147483647 57511 107 | 0.000 % |
18.67/18.72 c | 63111 | 800 16000 80000 | 2147483647 58231 107 | 0.000 % |
19.06/19.15 c | 63904 | 800 16000 80000 | 2147483647 59024 107 | 0.000 % |
19.16/19.20 c | 64006 | 800 16000 80000 | 2147483647 59126 107 | 0.000 % |
19.16/19.28 c | 64116 | 800 16000 80000 | 2147483647 59236 107 | 0.000 % |
19.26/19.34 c | 64237 | 800 16000 80000 | 2147483647 59357 107 | 0.000 % |
19.36/19.43 c | 64371 | 800 16000 80000 | 2147483647 59491 107 | 0.000 % |
19.46/19.52 c | 64517 | 800 16000 80000 | 2147483647 59637 107 | 0.000 % |
19.56/19.63 c | 64678 | 800 16000 80000 | 2147483647 59798 107 | 0.000 % |
19.66/19.74 c | 64854 | 800 16000 80000 | 2147483647 59974 107 | 0.000 % |
19.76/19.85 c | 65047 | 800 16000 80000 | 2147483647 60167 107 | 0.000 % |
19.86/19.99 c | 65259 | 800 16000 80000 | 2147483647 60379 107 | 0.000 % |
20.06/20.12 c | 65492 | 800 16000 80000 | 2147483647 60612 107 | 0.000 % |
20.16/20.28 c | 65748 | 800 16000 80000 | 2147483647 60868 107 | 0.000 % |
20.36/20.45 c | 66030 | 800 16000 80000 | 2147483647 61150 107 | 0.000 % |
20.57/20.63 c | 66339 | 800 16000 80000 | 2147483647 61459 107 | 0.000 % |
20.77/20.82 c | 66678 | 800 16000 80000 | 2147483647 61798 107 | 0.000 % |
20.97/21.03 c | 67051 | 800 16000 80000 | 2147483647 62171 107 | 0.000 % |
21.26/21.30 c | 67460 | 800 16000 80000 | 2147483647 62580 107 | 0.000 % |
21.46/21.56 c | 67909 | 800 16000 80000 | 2147483647 63029 107 | 0.000 % |
21.76/21.84 c | 68402 | 800 16000 80000 | 2147483647 63522 107 | 0.000 % |
22.06/22.13 c | 68946 | 800 16000 80000 | 2147483647 64066 107 | 0.000 % |
22.36/22.47 c | 69544 | 800 16000 80000 | 2147483647 64664 107 | 0.000 % |
22.76/22.88 c | 70200 | 800 16000 80000 | 2147483647 65320 107 | 0.000 % |
23.26/23.32 c | 70920 | 800 16000 80000 | 2147483647 66040 107 | 0.000 % |
23.66/23.77 c | 71712 | 800 16000 80000 | 2147483647 66832 107 | 0.000 % |
24.16/24.27 c | 72586 | 800 16000 80000 | 2147483647 67706 107 | 0.000 % |
24.26/24.35 c | 72688 | 800 16000 80000 | 2147483647 67808 107 | 0.000 % |
24.36/24.44 c | 72799 | 800 16000 80000 | 2147483647 67919 107 | 0.000 % |
24.46/24.53 c | 72921 | 800 16000 80000 | 2147483647 68041 107 | 0.000 % |
24.56/24.62 c | 73054 | 800 16000 80000 | 2147483647 68174 107 | 0.000 % |
24.66/24.73 c | 73200 | 800 16000 80000 | 2147483647 68320 107 | 0.000 % |
24.76/24.83 c | 73361 | 800 16000 80000 | 2147483647 68481 107 | 0.000 % |
24.86/24.95 c | 73538 | 800 16000 80000 | 2147483647 68658 107 | 0.000 % |
25.06/25.10 c | 73731 | 800 16000 80000 | 2147483647 68851 107 | 0.000 % |
25.17/25.24 c | 73943 | 800 16000 80000 | 2147483647 69063 107 | 0.000 % |
25.36/25.40 c | 74176 | 800 16000 80000 | 2147483647 69296 107 | 0.000 % |
25.46/25.56 c | 74432 | 800 16000 80000 | 2147483647 69552 107 | 0.000 % |
25.66/25.75 c | 74715 | 800 16000 80000 | 2147483647 69835 107 | 0.000 % |
25.86/25.95 c | 75024 | 800 16000 80000 | 2147483647 70144 107 | 0.000 % |
26.06/26.19 c | 75365 | 800 16000 80000 | 2147483647 70485 107 | 0.000 % |
26.37/26.47 c | 75737 | 800 16000 80000 | 2147483647 70857 107 | 0.000 % |
26.66/26.74 c | 76146 | 800 16000 80000 | 2147483647 71266 107 | 0.000 % |
26.96/27.01 c | 76595 | 800 16000 80000 | 2147483647 71715 107 | 0.000 % |
27.26/27.35 c | 77088 | 800 16000 80000 | 2147483647 72208 107 | 0.000 % |
27.66/27.74 c | 77632 | 800 16000 80000 | 2147483647 72752 107 | 0.000 % |
28.06/28.12 c | 78228 | 800 16000 80000 | 2147483647 73348 107 | 0.000 % |
28.47/28.55 c | 78884 | 800 16000 80000 | 2147483647 74004 107 | 0.000 % |
28.96/29.04 c | 79604 | 800 16000 80000 | 2147483647 74724 108 | 0.000 % |
29.57/29.64 c | 80396 | 800 16000 80000 | 75122 67660 108 | 0.000 % |
30.06/30.17 c | 81269 | 800 16000 80000 | 75122 68533 108 | 0.000 % |
30.67/30.75 c | 82228 | 800 16000 80000 | 75122 69492 108 | 0.000 % |
30.77/30.81 c | 82329 | 800 16000 80000 | 75122 69593 108 | 0.000 % |
30.77/30.89 c | 82440 | 800 16000 80000 | 75122 69704 108 | 0.000 % |
30.86/30.97 c | 82563 | 800 16000 80000 | 75122 69827 108 | 0.000 % |
30.96/31.09 c | 82696 | 800 16000 80000 | 75122 69960 108 | 0.000 % |
31.06/31.19 c | 82843 | 800 16000 80000 | 75122 70107 108 | 0.000 % |
31.26/31.31 c | 83005 | 800 16000 80000 | 75122 70269 108 | 0.000 % |
31.36/31.45 c | 83182 | 800 16000 80000 | 75122 70446 108 | 0.000 % |
31.46/31.59 c | 83375 | 800 16000 80000 | 75122 70639 108 | 0.000 % |
31.66/31.72 c | 83587 | 800 16000 80000 | 75122 70851 108 | 0.000 % |
31.77/31.88 c | 83821 | 800 16000 80000 | 75122 71085 108 | 0.000 % |
31.96/32.06 c | 84077 | 800 16000 80000 | 75122 71341 108 | 0.000 % |
32.16/32.26 c | 84360 | 800 16000 80000 | 75122 71624 108 | 0.000 % |
32.36/32.48 c | 84670 | 800 16000 80000 | 75122 71934 108 | 0.000 % |
32.56/32.69 c | 85009 | 800 16000 80000 | 75122 72273 108 | 0.000 % |
32.87/32.96 c | 85381 | 800 16000 80000 | 75122 72645 108 | 0.000 % |
33.16/33.26 c | 85792 | 800 16000 80000 | 75122 73056 108 | 0.000 % |
33.46/33.55 c | 86241 | 800 16000 80000 | 75122 73505 108 | 0.000 % |
33.76/33.85 c | 86735 | 800 16000 80000 | 75122 73999 108 | 0.000 % |
34.16/34.21 c | 87277 | 800 16000 80000 | 75122 74541 108 | 0.000 % |
34.46/34.59 c | 87876 | 800 16000 80000 | 75122 75140 108 | 0.000 % |
34.96/35.02 c | 88531 | 800 16000 80000 | 75122 67008 109 | 0.000 % |
35.36/35.48 c | 89252 | 800 16000 80000 | 75122 67729 109 | 0.000 % |
35.86/35.96 c | 90044 | 800 16000 80000 | 68479 68521 109 | 0.000 % |
36.46/36.50 c | 90916 | 800 16000 80000 | 68479 61572 109 | 0.000 % |
36.96/37.06 c | 91874 | 800 16000 80000 | 68479 62530 109 | 0.000 % |
37.56/37.65 c | 92927 | 800 16000 80000 | 68479 63583 109 | 0.000 % |
37.66/37.71 c | 93028 | 800 16000 80000 | 68479 63684 109 | 0.000 % |
37.76/37.80 c | 93139 | 800 16000 80000 | 68479 63795 109 | 0.000 % |
37.76/37.87 c | 93261 | 800 16000 80000 | 68479 63917 109 | 0.000 % |
37.86/37.95 c | 93394 | 800 16000 80000 | 68479 64050 109 | 0.000 % |
37.96/38.05 c | 93540 | 800 16000 80000 | 68479 64196 109 | 0.000 % |
38.06/38.17 c | 93700 | 800 16000 80000 | 68479 64356 109 | 0.000 % |
38.16/38.27 c | 93876 | 800 16000 80000 | 68479 64532 109 | 0.000 % |
38.36/38.40 c | 94069 | 800 16000 80000 | 68479 64725 108 | 0.000 % |
38.46/38.55 c | 94281 | 800 16000 80000 | 68479 64937 108 | 0.000 % |
38.56/38.69 c | 94514 | 800 16000 80000 | 68479 65170 108 | 0.000 % |
38.76/38.88 c | 94770 | 800 16000 80000 | 68479 65426 108 | 0.000 % |
38.96/39.06 c | 95052 | 800 16000 80000 | 68479 65708 108 | 0.000 % |
39.16/39.28 c | 95362 | 800 16000 80000 | 68479 66018 108 | 0.000 % |
39.46/39.51 c | 95703 | 800 16000 80000 | 68479 66359 108 | 0.000 % |
39.66/39.74 c | 96076 | 800 16000 80000 | 68479 66732 108 | 0.000 % |
39.96/40.01 c | 96487 | 800 16000 80000 | 68479 67143 108 | 0.000 % |
40.16/40.28 c | 96937 | 800 16000 80000 | 68479 67593 108 | 0.000 % |
40.46/40.56 c | 97430 | 800 16000 80000 | 68479 68086 109 | 0.000 % |
40.86/40.90 c | 97972 | 800 16000 80000 | 68479 68628 109 | 0.000 % |
41.16/41.25 c | 98568 | 800 16000 80000 | 68479 62362 109 | 0.000 % |
41.56/41.62 c | 99225 | 800 16000 80000 | 68479 63019 109 | 0.000 % |
41.96/42.03 c | 99947 | 800 16000 80000 | 68479 63741 109 | 0.000 % |
42.46/42.50 c | 100741 | 800 16000 80000 | 2147483647 64535 109 | 0.000 % |
42.86/43.00 c | 101613 | 800 16000 80000 | 2147483647 65407 109 | 0.000 % |
43.46/43.51 c | 102571 | 800 16000 80000 | 2147483647 66365 109 | 0.000 % |
44.06/44.16 c | 103624 | 800 16000 80000 | 2147483647 67418 109 | 0.000 % |
44.76/44.83 c | 104783 | 800 16000 80000 | 2147483647 68577 109 | 0.000 % |
44.86/44.90 c | 104886 | 800 16000 80000 | 2147483647 68680 109 | 0.000 % |
44.86/44.97 c | 104999 | 800 16000 80000 | 2147483647 68793 109 | 0.000 % |
44.96/45.06 c | 105120 | 800 16000 80000 | 2147483647 68914 109 | 0.000 % |
45.06/45.15 c | 105253 | 800 16000 80000 | 2147483647 69047 109 | 0.000 % |
45.16/45.24 c | 105400 | 800 16000 80000 | 2147483647 69194 109 | 0.000 % |
45.26/45.33 c | 105561 | 800 16000 80000 | 2147483647 69355 109 | 0.000 % |
45.36/45.47 c | 105737 | 800 16000 80000 | 2147483647 69531 109 | 0.000 % |
45.46/45.59 c | 105930 | 800 16000 80000 | 2147483647 69724 109 | 0.000 % |
45.66/45.72 c | 106143 | 800 16000 80000 | 2147483647 69937 109 | 0.000 % |
45.76/45.87 c | 106376 | 800 16000 80000 | 2147483647 70170 109 | 0.000 % |
45.96/46.03 c | 106632 | 800 16000 80000 | 2147483647 70426 109 | 0.000 % |
46.16/46.22 c | 106915 | 800 16000 80000 | 2147483647 70709 109 | 0.000 % |
46.36/46.43 c | 107224 | 800 16000 80000 | 2147483647 71018 109 | 0.000 % |
46.56/46.63 c | 107563 | 800 16000 80000 | 2147483647 71357 109 | 0.000 % |
46.86/46.90 c | 107935 | 800 16000 80000 | 2147483647 71729 109 | 0.000 % |
47.06/47.19 c | 108344 | 800 16000 80000 | 2147483647 72138 109 | 0.000 % |
47.36/47.49 c | 108795 | 800 16000 80000 | 2147483647 72589 109 | 0.000 % |
47.65/47.79 c | 109290 | 800 16000 80000 | 2147483647 73084 109 | 0.000 % |
48.05/48.11 c | 109832 | 800 16000 80000 | 2147483647 73626 109 | 0.000 % |
48.45/48.52 c | 110428 | 800 16000 80000 | 73794 66281 109 | 0.000 % |
48.75/48.90 c | 111083 | 800 16000 80000 | 73794 66936 109 | 0.000 % |
49.25/49.38 c | 111804 | 800 16000 80000 | 73794 67657 109 | 0.000 % |
49.75/49.89 c | 112597 | 800 16000 80000 | 73794 68450 109 | 0.000 % |
50.35/50.43 c | 113468 | 800 16000 80000 | 73794 69321 109 | 0.000 % |
50.85/50.98 c | 114426 | 800 16000 80000 | 73794 70279 109 | 0.000 % |
51.56/51.62 c | 115479 | 800 16000 80000 | 73794 71332 109 | 0.000 % |
52.25/52.33 c | 116637 | 800 16000 80000 | 73794 72490 110 | 0.000 % |
53.05/53.18 c | 117910 | 800 16000 80000 | 73794 73763 110 | 0.000 % |
53.15/53.24 c | 118010 | 800 16000 80000 | 73794 73863 110 | 0.000 % |
53.25/53.38 c | 118120 | 800 16000 80000 | 73794 65969 110 | 0.000 % |
53.35/53.46 c | 118242 | 800 16000 80000 | 73794 66091 110 | 0.000 % |
53.45/53.55 c | 118375 | 800 16000 80000 | 73794 66224 110 | 0.000 % |
53.55/53.64 c | 118522 | 800 16000 80000 | 73794 66371 110 | 0.000 % |
53.65/53.77 c | 118683 | 800 16000 80000 | 73794 66532 110 | 0.000 % |
53.76/53.88 c | 118860 | 800 16000 80000 | 73794 66709 110 | 0.000 % |
53.95/54.02 c | 119053 | 800 16000 80000 | 73794 66902 110 | 0.000 % |
54.05/54.18 c | 119266 | 800 16000 80000 | 73794 67115 110 | 0.000 % |
54.25/54.33 c | 119499 | 800 16000 80000 | 73794 67348 110 | 0.000 % |
54.45/54.51 c | 119756 | 800 16000 80000 | 73794 67605 110 | 0.000 % |
54.55/54.69 c | 120037 | 800 16000 80000 | 67849 67886 110 | 0.000 % |
54.86/54.92 c | 120347 | 800 16000 80000 | 67849 60629 110 | 0.000 % |
55.05/55.13 c | 120686 | 800 16000 80000 | 67849 60968 110 | 0.000 % |
55.25/55.36 c | 121059 | 800 16000 80000 | 67849 61341 110 | 0.000 % |
55.55/55.61 c | 121471 | 800 16000 80000 | 67849 61753 110 | 0.000 % |
55.75/55.87 c | 121921 | 800 16000 80000 | 67849 62203 110 | 0.000 % |
56.06/56.17 c | 122415 | 800 16000 80000 | 67849 62697 110 | 0.000 % |
56.45/56.50 c | 122961 | 800 16000 80000 | 67849 63243 110 | 0.000 % |
56.75/56.86 c | 123557 | 800 16000 80000 | 67849 63839 110 | 0.000 % |
57.16/57.27 c | 124212 | 800 16000 80000 | 67849 64494 110 | 0.000 % |
57.65/57.71 c | 124932 | 800 16000 80000 | 67849 65214 110 | 0.000 % |
58.05/58.18 c | 125725 | 800 16000 80000 | 67849 66007 110 | 0.000 % |
58.55/58.69 c | 126596 | 800 16000 80000 | 67849 66878 110 | 0.000 % |
59.26/59.32 c | 127554 | 800 16000 80000 | 67849 67836 110 | 0.000 % |
59.85/59.96 c | 128608 | 800 16000 80000 | 67849 62078 110 | 0.000 % |
60.55/60.61 c | 129766 | 800 16000 80000 | 67849 63236 110 | 0.000 % |
61.25/61.36 c | 131039 | 800 16000 80000 | 2147483647 64509 110 | 0.000 % |
62.15/62.20 c | 132439 | 800 16000 80000 | 2147483647 65909 110 | 0.000 % |
62.15/62.26 c | 132539 | 800 16000 80000 | 2147483647 66009 110 | 0.000 % |
62.25/62.35 c | 132651 | 800 16000 80000 | 2147483647 66121 110 | 0.000 % |
62.35/62.44 c | 132773 | 800 16000 80000 | 2147483647 66243 110 | 0.000 % |
62.45/62.53 c | 132908 | 800 16000 80000 | 2147483647 66378 110 | 0.000 % |
62.56/62.63 c | 133055 | 800 16000 80000 | 2147483647 66525 110 | 0.000 % |
62.66/62.74 c | 133216 | 800 16000 80000 | 2147483647 66686 110 | 0.000 % |
62.75/62.86 c | 133393 | 800 16000 80000 | 2147483647 66863 110 | 0.000 % |
62.85/62.99 c | 133588 | 800 16000 80000 | 2147483647 67058 110 | 0.000 % |
63.05/63.14 c | 133801 | 800 16000 80000 | 2147483647 67271 110 | 0.000 % |
63.15/63.28 c | 134034 | 800 16000 80000 | 2147483647 67504 110 | 0.000 % |
63.35/63.45 c | 134290 | 800 16000 80000 | 2147483647 67760 110 | 0.000 % |
63.55/63.63 c | 134572 | 800 16000 80000 | 2147483647 68042 110 | 0.000 % |
63.75/63.85 c | 134881 | 800 16000 80000 | 2147483647 68351 110 | 0.000 % |
63.95/64.07 c | 135221 | 800 16000 80000 | 2147483647 68691 110 | 0.000 % |
64.25/64.30 c | 135593 | 800 16000 80000 | 2147483647 69063 110 | 0.000 % |
64.45/64.57 c | 136003 | 800 16000 80000 | 2147483647 69473 110 | 0.000 % |
64.75/64.87 c | 136452 | 800 16000 80000 | 2147483647 69922 110 | 0.000 % |
65.05/65.18 c | 136945 | 800 16000 80000 | 2147483647 70415 110 | 0.000 % |
65.45/65.55 c | 137489 | 800 16000 80000 | 2147483647 70959 110 | 0.000 % |
65.85/65.92 c | 138085 | 800 16000 80000 | 2147483647 71555 110 | 0.000 % |
66.25/66.39 c | 138740 | 800 16000 80000 | 2147483647 72210 110 | 0.000 % |
66.75/66.87 c | 139461 | 800 16000 80000 | 2147483647 72931 110 | 0.000 % |
67.35/67.42 c | 140253 | 800 16000 80000 | 73470 73723 110 | 0.000 % |
67.85/67.94 c | 141124 | 800 16000 80000 | 73470 66334 110 | 0.000 % |
68.45/68.51 c | 142083 | 800 16000 80000 | 73470 67293 110 | 0.000 % |
69.05/69.18 c | 143136 | 800 16000 80000 | 73470 68346 110 | 0.000 % |
69.75/69.85 c | 144296 | 800 16000 80000 | 73470 69506 110 | 0.000 % |
70.55/70.63 c | 145569 | 800 16000 80000 | 73470 70779 110 | 0.000 % |
71.45/71.54 c | 146970 | 800 16000 80000 | 73470 72180 110 | 0.000 % |
72.45/72.58 c | 148510 | 800 16000 80000 | 73470 66049 110 | 0.000 % |
72.55/72.67 c | 148613 | 800 16000 80000 | 73470 66152 110 | 0.000 % |
72.65/72.75 c | 148724 | 800 16000 80000 | 73470 66263 110 | 0.000 % |
72.75/72.82 c | 148845 | 800 16000 80000 | 73470 66384 110 | 0.000 % |
72.85/72.90 c | 148978 | 800 16000 80000 | 73470 66517 110 | 0.000 % |
72.95/73.00 c | 149124 | 800 16000 80000 | 73470 66663 110 | 0.000 % |
73.05/73.10 c | 149284 | 800 16000 80000 | 73470 66823 110 | 0.000 % |
73.15/73.24 c | 149461 | 800 16000 80000 | 73470 67000 110 | 0.000 % |
73.25/73.35 c | 149655 | 800 16000 80000 | 73470 67194 110 | 0.000 % |
73.35/73.49 c | 149867 | 800 16000 80000 | 73470 67406 110 | 0.000 % |
73.55/73.64 c | 150100 | 800 16000 80000 | 67540 67639 110 | 0.000 % |
73.75/73.82 c | 150356 | 800 16000 80000 | 67540 60789 110 | 0.000 % |
73.85/73.99 c | 150639 | 800 16000 80000 | 67540 61072 110 | 0.000 % |
74.05/74.17 c | 150949 | 800 16000 80000 | 67540 61382 110 | 0.000 % |
74.25/74.36 c | 151290 | 800 16000 80000 | 67540 61723 110 | 0.000 % |
74.45/74.58 c | 151662 | 800 16000 80000 | 67540 62095 110 | 0.000 % |
74.65/74.78 c | 152072 | 800 16000 80000 | 67540 62505 110 | 0.000 % |
74.95/75.08 c | 152521 | 800 16000 80000 | 67540 62954 110 | 0.000 % |
75.25/75.38 c | 153014 | 800 16000 80000 | 67540 63447 110 | 0.000 % |
75.55/75.68 c | 153556 | 800 16000 80000 | 67540 63989 110 | 0.000 % |
75.95/76.09 c | 154154 | 800 16000 80000 | 67540 64587 110 | 0.000 % |
76.35/76.48 c | 154810 | 800 16000 80000 | 67540 65243 110 | 0.000 % |
76.75/76.89 c | 155530 | 800 16000 80000 | 67540 65963 110 | 0.000 % |
77.35/77.40 c | 156324 | 800 16000 80000 | 67540 66757 110 | 0.000 % |
77.85/77.96 c | 157196 | 800 16000 80000 | 67540 67629 110 | 0.000 % |
78.45/78.55 c | 158155 | 800 16000 80000 | 67540 61826 110 | 0.000 % |
79.05/79.11 c | 159208 | 800 16000 80000 | 67540 62879 110 | 0.000 % |
79.64/79.79 c | 160368 | 800 16000 80000 | 2147483647 64039 111 | 0.000 % |
80.34/80.48 c | 161642 | 800 16000 80000 | 2147483647 65313 111 | 0.000 % |
81.14/81.20 c | 163043 | 800 16000 80000 | 2147483647 66714 111 | 0.000 % |
82.04/82.15 c | 164586 | 800 16000 80000 | 2147483647 68257 111 | 0.000 % |
83.04/83.15 c | 166280 | 800 16000 80000 | 2147483647 69951 111 | 0.000 % |
83.14/83.22 c | 166380 | 800 16000 80000 | 2147483647 70051 111 | 0.000 % |
83.14/83.30 c | 166490 | 800 16000 80000 | 2147483647 70161 111 | 0.000 % |
83.24/83.39 c | 166612 | 800 16000 80000 | 2147483647 70283 111 | 0.000 % |
83.34/83.48 c | 166747 | 800 16000 80000 | 2147483647 70418 111 | 0.000 % |
83.45/83.58 c | 166893 | 800 16000 80000 | 2147483647 70564 111 | 0.000 % |
83.55/83.68 c | 167053 | 800 16000 80000 | 2147483647 70724 111 | 0.000 % |
83.74/83.83 c | 167229 | 800 16000 80000 | 2147483647 70900 111 | 0.000 % |
83.84/83.95 c | 167422 | 800 16000 80000 | 2147483647 71093 111 | 0.000 % |
83.94/84.09 c | 167635 | 800 16000 80000 | 2147483647 71306 111 | 0.000 % |
84.14/84.23 c | 167868 | 800 16000 80000 | 2147483647 71539 111 | 0.000 % |
84.24/84.39 c | 168124 | 800 16000 80000 | 2147483647 71795 111 | 0.000 % |
84.55/84.60 c | 168405 | 800 16000 80000 | 2147483647 72076 111 | 0.000 % |
84.74/84.80 c | 168716 | 800 16000 80000 | 2147483647 72387 111 | 0.000 % |
84.94/85.01 c | 169055 | 800 16000 80000 | 2147483647 72726 111 | 0.000 % |
85.24/85.32 c | 169427 | 800 16000 80000 | 2147483647 73098 111 | 0.000 % |
85.54/85.60 c | 169836 | 800 16000 80000 | 2147483647 73507 111 | 0.000 % |
85.84/85.97 c | 170285 | 800 16000 80000 | 73671 66199 110 | 0.000 % |
86.14/86.26 c | 170779 | 800 16000 80000 | 73671 66693 110 | 0.000 % |
86.44/86.59 c | 171325 | 800 16000 80000 | 73671 67239 110 | 0.000 % |
86.85/86.93 c | 171921 | 800 16000 80000 | 73671 67835 110 | 0.000 % |
87.24/87.33 c | 172577 | 800 16000 80000 | 73671 68491 110 | 0.000 % |
87.74/87.83 c | 173297 | 800 16000 80000 | 73671 69211 110 | 0.000 % |
88.24/88.36 c | 174093 | 800 16000 80000 | 73671 70007 110 | 0.000 % |
88.85/88.93 c | 174964 | 800 16000 80000 | 73671 70878 110 | 0.000 % |
89.45/89.57 c | 175922 | 800 16000 80000 | 73671 71836 110 | 0.000 % |
90.15/90.23 c | 176975 | 800 16000 80000 | 73671 72889 110 | 0.000 % |
90.95/91.00 c | 178133 | 800 16000 80000 | 73671 65800 111 | 0.000 % |
91.65/91.73 c | 179407 | 800 16000 80000 | 73671 67074 111 | 0.000 % |
92.55/92.60 c | 180807 | 800 16000 80000 | 67669 61229 110 | 0.000 % |
93.35/93.49 c | 182347 | 800 16000 80000 | 67669 62769 110 | 0.000 % |
94.35/94.41 c | 184042 | 800 16000 80000 | 67669 64464 110 | 0.000 % |
95.45/95.56 c | 185907 | 800 16000 80000 | 67669 66329 111 | 0.000 % |
95.55/95.63 c | 186007 | 800 16000 80000 | 67669 66429 111 | 0.000 % |
95.65/95.72 c | 186117 | 800 16000 80000 | 67669 66539 111 | 0.000 % |
95.75/95.80 c | 186238 | 800 16000 80000 | 67669 66660 111 | 0.000 % |
95.75/95.88 c | 186371 | 800 16000 80000 | 67669 66793 111 | 0.000 % |
95.85/95.98 c | 186517 | 800 16000 80000 | 67669 66939 111 | 0.000 % |
96.05/96.10 c | 186678 | 800 16000 80000 | 67669 67100 111 | 0.000 % |
96.15/96.23 c | 186854 | 800 16000 80000 | 67669 67276 111 | 0.000 % |
96.25/96.34 c | 187047 | 800 16000 80000 | 67669 67469 111 | 0.000 % |
96.35/96.48 c | 187259 | 800 16000 80000 | 67669 67681 111 | 0.000 % |
96.55/96.65 c | 187492 | 800 16000 80000 | 67669 61146 111 | 0.000 % |
96.75/96.80 c | 187748 | 800 16000 80000 | 67669 61402 111 | 0.000 % |
96.85/96.96 c | 188029 | 800 16000 80000 | 67669 61683 111 | 0.000 % |
97.05/97.17 c | 188341 | 800 16000 80000 | 67669 61995 111 | 0.000 % |
97.25/97.36 c | 188680 | 800 16000 80000 | 67669 62334 110 | 0.000 % |
97.45/97.59 c | 189053 | 800 16000 80000 | 67669 62707 110 | 0.000 % |
97.75/97.85 c | 189466 | 800 16000 80000 | 67669 63120 110 | 0.000 % |
98.05/98.13 c | 189917 | 800 16000 80000 | 67669 63571 110 | 0.000 % |
98.35/98.42 c | 190410 | 800 16000 80000 | 2147483647 64064 110 | 0.000 % |
98.65/98.75 c | 190953 | 800 16000 80000 | 2147483647 64607 110 | 0.000 % |
99.05/99.10 c | 191549 | 800 16000 80000 | 2147483647 65203 110 | 0.000 % |
99.35/99.49 c | 192204 | 800 16000 80000 | 2147483647 65858 110 | 0.000 % |
99.75/99.90 c | 192924 | 800 16000 80000 | 2147483647 66578 110 | 0.000 % |
100.25/100.35 c | 193716 | 800 16000 80000 | 2147483647 67370 110 | 0.000 % |
100.75/100.85 c | 194587 | 800 16000 80000 | 2147483647 68241 110 | 0.000 % |
101.35/101.45 c | 195545 | 800 16000 80000 | 2147483647 69199 110 | 0.000 % |
102.05/102.15 c | 196599 | 800 16000 80000 | 2147483647 70253 110 | 0.000 % |
102.75/102.87 c | 197757 | 800 16000 80000 | 2147483647 71411 110 | 0.000 % |
103.55/103.64 c | 199030 | 800 16000 80000 | 2147483647 72684 110 | 0.000 % |
104.45/104.59 c | 200431 | 800 16000 80000 | 73656 66237 111 | 0.000 % |
105.45/105.59 c | 201972 | 800 16000 80000 | 73656 67778 111 | 0.000 % |
106.44/106.59 c | 203666 | 800 16000 80000 | 73656 69472 111 | 0.000 % |
107.65/107.75 c | 205529 | 800 16000 80000 | 73656 71335 111 | 0.000 % |
109.04/109.13 c | 207581 | 800 16000 80000 | 73656 73387 111 | 0.000 % |
109.14/109.22 c | 207681 | 800 16000 80000 | 73656 73487 111 | 0.000 % |
109.14/109.28 c | 207791 | 800 16000 80000 | 73656 73597 111 | 0.000 % |
109.24/109.37 c | 207912 | 800 16000 80000 | 73656 73718 111 | 0.000 % |
109.34/109.49 c | 208045 | 800 16000 80000 | 73656 65409 111 | 0.000 % |
109.44/109.60 c | 208192 | 800 16000 80000 | 73656 65556 111 | 0.000 % |
109.64/109.71 c | 208353 | 800 16000 80000 | 73656 65717 111 | 0.000 % |
109.74/109.82 c | 208530 | 800 16000 80000 | 73656 65894 111 | 0.000 % |
109.85/109.95 c | 208723 | 800 16000 80000 | 73656 66087 111 | 0.000 % |
110.04/110.10 c | 208937 | 800 16000 80000 | 73656 66301 111 | 0.000 % |
110.14/110.27 c | 209171 | 800 16000 80000 | 73656 66535 111 | 0.000 % |
110.34/110.44 c | 209428 | 800 16000 80000 | 73656 66792 111 | 0.000 % |
110.54/110.63 c | 209711 | 800 16000 80000 | 73656 67075 111 | 0.000 % |
110.74/110.83 c | 210021 | 800 16000 80000 | 67365 67385 111 | 0.000 % |
110.95/111.08 c | 210360 | 800 16000 80000 | 67365 60007 111 | 0.000 % |
111.14/111.29 c | 210732 | 800 16000 80000 | 67365 60379 111 | 0.000 % |
111.44/111.50 c | 211143 | 800 16000 80000 | 67365 60790 111 | 0.000 % |
111.64/111.75 c | 211592 | 800 16000 80000 | 67365 61239 111 | 0.000 % |
111.94/112.05 c | 212086 | 800 16000 80000 | 67365 61733 111 | 0.000 % |
112.24/112.37 c | 212628 | 800 16000 80000 | 67365 62275 111 | 0.000 % |
112.64/112.74 c | 213224 | 800 16000 80000 | 67365 62871 111 | 0.000 % |
113.04/113.11 c | 213879 | 800 16000 80000 | 67365 63526 111 | 0.000 % |
113.44/113.57 c | 214599 | 800 16000 80000 | 67365 64246 111 | 0.000 % |
113.94/114.05 c | 215391 | 800 16000 80000 | 67365 65038 111 | 0.000 % |
114.44/114.56 c | 216263 | 800 16000 80000 | 67365 65910 111 | 0.000 % |
115.04/115.10 c | 217222 | 800 16000 80000 | 67365 66869 111 | 0.000 % |
115.64/115.75 c | 218275 | 800 16000 80000 | 67365 61159 111 | 0.000 % |
116.24/116.38 c | 219433 | 800 16000 80000 | 67365 62317 111 | 0.000 % |
116.94/117.08 c | 220706 | 800 16000 80000 | 2147483647 63590 111 | 0.000 % |
117.74/117.88 c | 222106 | 800 16000 80000 | 2147483647 64990 111 | 0.000 % |
118.64/118.78 c | 223647 | 800 16000 80000 | 2147483647 66531 111 | 0.000 % |
119.64/119.75 c | 225342 | 800 16000 80000 | 2147483647 68226 111 | 0.000 % |
120.74/120.86 c | 227205 | 800 16000 80000 | 2147483647 70089 112 | 0.000 % |
121.94/122.02 c | 229256 | 800 16000 80000 | 2147483647 72140 112 | 0.000 % |
123.34/123.41 c | 231509 | 800 16000 80000 | 2147483647 74393 112 | 0.000 % |
123.44/123.50 c | 231610 | 800 16000 80000 | 2147483647 74494 112 | 0.000 % |
123.44/123.59 c | 231720 | 800 16000 80000 | 2147483647 74604 112 | 0.000 % |
123.53/123.69 c | 231842 | 800 16000 80000 | 2147483647 74726 112 | 0.000 % |
123.63/123.79 c | 231975 | 800 16000 80000 | 2147483647 74859 112 | 0.000 % |
123.73/123.90 c | 232121 | 800 16000 80000 | 2147483647 75005 112 | 0.000 % |
123.83/123.99 c | 232281 | 800 16000 80000 | 2147483647 75165 112 | 0.000 % |
124.03/124.11 c | 232459 | 800 16000 80000 | 2147483647 75343 112 | 0.000 % |
124.14/124.24 c | 232653 | 800 16000 80000 | 2147483647 75537 112 | 0.000 % |
124.24/124.39 c | 232867 | 800 16000 80000 | 2147483647 75751 112 | 0.000 % |
124.43/124.55 c | 233100 | 800 16000 80000 | 2147483647 75984 112 | 0.000 % |
124.63/124.72 c | 233356 | 800 16000 80000 | 2147483647 76240 112 | 0.000 % |
124.83/124.93 c | 233637 | 800 16000 80000 | 2147483647 76521 112 | 0.000 % |
125.03/125.15 c | 233949 | 800 16000 80000 | 2147483647 76833 112 | 0.000 % |
125.23/125.36 c | 234289 | 800 16000 80000 | 2147483647 77173 112 | 0.000 % |
125.54/125.64 c | 234663 | 800 16000 80000 | 2147483647 77547 112 | 0.000 % |
125.84/125.90 c | 235072 | 800 16000 80000 | 2147483647 77956 112 | 0.000 % |
126.14/126.26 c | 235522 | 800 16000 80000 | 2147483647 78406 112 | 0.000 % |
126.54/126.62 c | 236015 | 800 16000 80000 | 2147483647 78899 112 | 0.000 % |
126.94/127.04 c | 236560 | 800 16000 80000 | 2147483647 79444 112 | 0.000 % |
127.44/127.50 c | 237156 | 800 16000 80000 | 2147483647 80040 112 | 0.000 % |
127.84/127.95 c | 237812 | 800 16000 80000 | 2147483647 80696 112 | 0.000 % |
128.34/128.43 c | 238533 | 800 16000 80000 | 2147483647 81417 112 | 0.000 % |
129.04/129.10 c | 239325 | 800 16000 80000 | 2147483647 82209 112 | 0.000 % |
129.64/129.72 c | 240196 | 800 16000 80000 | 82884 83080 111 | 0.000 % |
130.23/130.37 c | 241156 | 800 16000 80000 | 82884 72241 111 | 0.000 % |
130.93/131.02 c | 242212 | 800 16000 80000 | 82884 73297 111 | 0.000 % |
131.63/131.73 c | 243373 | 800 16000 80000 | 82884 74458 111 | 0.000 % |
132.43/132.52 c | 244646 | 800 16000 80000 | 82884 75731 111 | 0.000 % |
133.23/133.38 c | 246047 | 800 16000 80000 | 82884 77132 111 | 0.000 % |
134.33/134.47 c | 247588 | 800 16000 80000 | 82884 78673 111 | 0.000 % |
135.53/135.69 c | 249282 | 800 16000 80000 | 82884 80367 111 | 0.000 % |
136.93/137.01 c | 251145 | 800 16000 80000 | 81085 70792 111 | 0.000 % |
138.23/138.33 c | 253194 | 800 16000 80000 | 81085 72841 111 | 0.000 % |
139.64/139.75 c | 255447 | 800 16000 80000 | 81085 75094 111 | 0.000 % |
141.43/141.50 c | 257925 | 800 16000 80000 | 81085 77572 112 | 0.000 % |
141.43/141.57 c | 258028 | 800 16000 80000 | 81085 77675 112 | 0.000 % |
141.53/141.67 c | 258139 | 800 16000 80000 | 81085 77786 112 | 0.000 % |
141.63/141.76 c | 258260 | 800 16000 80000 | 81085 77907 112 | 0.000 % |
141.73/141.85 c | 258393 | 800 16000 80000 | 81085 78040 112 | 0.000 % |
141.83/141.97 c | 258539 | 800 16000 80000 | 81085 78186 112 | 0.000 % |
142.03/142.10 c | 258699 | 800 16000 80000 | 81085 78346 112 | 0.000 % |
142.13/142.24 c | 258875 | 800 16000 80000 | 81085 78522 112 | 0.000 % |
142.23/142.39 c | 259069 | 800 16000 80000 | 81085 78716 112 | 0.000 % |
142.43/142.57 c | 259281 | 800 16000 80000 | 81085 78928 112 | 0.000 % |
142.63/142.75 c | 259514 | 800 16000 80000 | 81085 79161 112 | 0.000 % |
142.83/142.96 c | 259770 | 800 16000 80000 | 81085 79417 111 | 0.000 % |
143.03/143.17 c | 260053 | 800 16000 80000 | 79647 79700 111 | 0.000 % |
143.33/143.47 c | 260362 | 800 16000 80000 | 79647 69198 112 | 0.000 % |
143.53/143.67 c | 260701 | 800 16000 80000 | 79647 69537 112 | 0.000 % |
143.83/143.92 c | 261076 | 800 16000 80000 | 79647 69912 112 | 0.000 % |
144.13/144.20 c | 261486 | 800 16000 80000 | 79647 70322 112 | 0.000 % |
144.43/144.50 c | 261935 | 800 16000 80000 | 79647 70771 112 | 0.000 % |
144.73/144.81 c | 262428 | 800 16000 80000 | 79647 71264 112 | 0.000 % |
145.03/145.16 c | 262972 | 800 16000 80000 | 79647 71808 112 | 0.000 % |
145.43/145.55 c | 263569 | 800 16000 80000 | 79647 72405 112 | 0.000 % |
145.93/146.02 c | 264225 | 800 16000 80000 | 79647 73061 112 | 0.000 % |
146.33/146.49 c | 264945 | 800 16000 80000 | 79647 73781 112 | 0.000 % |
146.83/146.99 c | 265738 | 800 16000 80000 | 79647 74574 112 | 0.000 % |
147.43/147.58 c | 266609 | 800 16000 80000 | 79647 75445 112 | 0.000 % |
148.13/148.21 c | 267567 | 800 16000 80000 | 79647 76403 112 | 0.000 % |
148.83/148.95 c | 268620 | 800 16000 80000 | 79647 77456 112 | 0.000 % |
149.63/149.73 c | 269779 | 800 16000 80000 | 79647 78615 112 | 0.000 % |
150.43/150.58 c | 271054 | 800 16000 80000 | 78837 69215 112 | 0.000 % |
151.43/151.51 c | 272454 | 800 16000 80000 | 78837 70615 112 | 0.000 % |
152.33/152.44 c | 273998 | 800 16000 80000 | 78837 72159 112 | 0.000 % |
153.43/153.52 c | 275693 | 800 16000 80000 | 78837 73854 112 | 0.000 % |
154.63/154.74 c | 277556 | 800 16000 80000 | 78837 75717 112 | 0.000 % |
156.03/156.15 c | 279606 | 800 16000 80000 | 78837 77767 112 | 0.000 % |
157.43/157.55 c | 281861 | 800 16000 80000 | 78161 69726 112 | 0.000 % |
158.92/159.03 c | 284339 | 800 16000 80000 | 78161 72204 112 | 0.000 % |
160.53/160.63 c | 287066 | 800 16000 80000 | 78161 74931 113 | 0.000 % |
160.62/160.72 c | 287169 | 800 16000 80000 | 78161 75034 113 | 0.000 % |
160.72/160.81 c | 287279 | 800 16000 80000 | 78161 75144 112 | 0.000 % |
160.82/160.90 c | 287405 | 800 16000 80000 | 78161 75270 112 | 0.000 % |
160.92/161.00 c | 287538 | 800 16000 80000 | 78161 75403 112 | 0.000 % |
161.02/161.13 c | 287686 | 800 16000 80000 | 78161 75551 112 | 0.000 % |
161.12/161.25 c | 287847 | 800 16000 80000 | 78161 75712 112 | 0.000 % |
161.22/161.37 c | 288024 | 800 16000 80000 | 78161 75889 112 | 0.000 % |
161.42/161.54 c | 288217 | 800 16000 80000 | 78161 76082 112 | 0.000 % |
161.63/161.70 c | 288432 | 800 16000 80000 | 78161 76297 112 | 0.000 % |
161.72/161.87 c | 288665 | 800 16000 80000 | 78161 76530 112 | 0.000 % |
161.92/162.04 c | 288924 | 800 16000 80000 | 78161 76789 112 | 0.000 % |
162.12/162.24 c | 289205 | 800 16000 80000 | 78161 77070 112 | 0.000 % |
162.32/162.45 c | 289515 | 800 16000 80000 | 78161 77380 112 | 0.000 % |
162.63/162.75 c | 289855 | 800 16000 80000 | 78161 77720 112 | 0.000 % |
162.92/163.03 c | 290231 | 800 16000 80000 | 77866 78096 112 | 0.000 % |
163.22/163.35 c | 290641 | 800 16000 80000 | 77866 68517 112 | 0.000 % |
163.52/163.62 c | 291090 | 800 16000 80000 | 77866 68966 112 | 0.000 % |
163.83/163.99 c | 291583 | 800 16000 80000 | 77866 69459 112 | 0.000 % |
164.22/164.37 c | 292126 | 800 16000 80000 | 77866 70002 112 | 0.000 % |
164.62/164.75 c | 292722 | 800 16000 80000 | 77866 70598 112 | 0.000 % |
165.02/165.18 c | 293377 | 800 16000 80000 | 77866 71253 112 | 0.000 % |
165.52/165.66 c | 294097 | 800 16000 80000 | 77866 71973 112 | 0.000 % |
166.12/166.25 c | 294890 | 800 16000 80000 | 77866 72766 112 | 0.000 % |
166.72/166.83 c | 295764 | 800 16000 80000 | 77866 73640 112 | 0.000 % |
167.32/167.44 c | 296722 | 800 16000 80000 | 77866 74598 112 | 0.000 % |
168.02/168.12 c | 297777 | 800 16000 80000 | 77866 75653 112 | 0.000 % |
168.72/168.86 c | 298936 | 800 16000 80000 | 77866 76812 112 | 0.000 % |
169.63/169.71 c | 300211 | 800 16000 80000 | 77876 78087 112 | 0.000 % |
170.53/170.60 c | 301612 | 800 16000 80000 | 77876 69339 111 | 0.000 % |
171.43/171.51 c | 303153 | 800 16000 80000 | 77876 70880 111 | 0.000 % |
172.43/172.54 c | 304848 | 800 16000 80000 | 77876 72575 112 | 0.000 % |
173.63/173.74 c | 306712 | 800 16000 80000 | 77876 74439 112 | 0.000 % |
175.03/175.10 c | 308761 | 800 16000 80000 | 77876 76488 112 | 0.000 % |
176.33/176.48 c | 311014 | 800 16000 80000 | 77728 69664 112 | 0.000 % |
177.93/178.04 c | 313492 | 800 16000 80000 | 77728 72142 112 | 0.000 % |
179.73/179.83 c | 316220 | 800 16000 80000 | 77728 74870 113 | 0.000 % |
181.53/181.67 c | 319217 | 800 16000 80000 | 77728 77867 113 | 0.000 % |
181.63/181.78 c | 319317 | 800 16000 80000 | 77728 68413 113 | 0.000 % |
181.73/181.85 c | 319429 | 800 16000 80000 | 77728 68525 113 | 0.000 % |
181.83/181.93 c | 319550 | 800 16000 80000 | 77728 68646 113 | 0.000 % |
181.93/182.04 c | 319683 | 800 16000 80000 | 77728 68779 113 | 0.000 % |
182.03/182.14 c | 319829 | 800 16000 80000 | 77728 68925 113 | 0.000 % |
182.13/182.24 c | 319989 | 800 16000 80000 | 77728 69085 113 | 0.000 % |
182.23/182.35 c | 320165 | 800 16000 80000 | 69096 69261 113 | 0.000 % |
182.33/182.50 c | 320358 | 800 16000 80000 | 69096 61037 113 | 0.000 % |
182.53/182.63 c | 320570 | 800 16000 80000 | 69096 61249 113 | 0.000 % |
182.63/182.79 c | 320806 | 800 16000 80000 | 69096 61485 113 | 0.000 % |
182.83/182.94 c | 321062 | 800 16000 80000 | 69096 61741 113 | 0.000 % |
183.03/183.13 c | 321343 | 800 16000 80000 | 69096 62022 113 | 0.000 % |
183.23/183.30 c | 321652 | 800 16000 80000 | 69096 62331 113 | 0.000 % |
183.43/183.50 c | 321992 | 800 16000 80000 | 69096 62671 113 | 0.000 % |
183.63/183.73 c | 322364 | 800 16000 80000 | 69096 63043 113 | 0.000 % |
183.83/183.97 c | 322774 | 800 16000 80000 | 69096 63453 113 | 0.000 % |
184.13/184.22 c | 323223 | 800 16000 80000 | 69096 63902 113 | 0.000 % |
184.43/184.50 c | 323716 | 800 16000 80000 | 69096 64395 112 | 0.000 % |
184.73/184.82 c | 324259 | 800 16000 80000 | 69096 64938 112 | 0.000 % |
185.03/185.16 c | 324855 | 800 16000 80000 | 69096 65534 112 | 0.000 % |
185.43/185.56 c | 325510 | 800 16000 80000 | 69096 66189 112 | 0.000 % |
185.92/186.01 c | 326230 | 800 16000 80000 | 69096 66909 112 | 0.000 % |
186.42/186.51 c | 327025 | 800 16000 80000 | 69096 67704 112 | 0.000 % |
186.93/187.09 c | 327896 | 800 16000 80000 | 69096 68575 112 | 0.000 % |
187.62/187.73 c | 328857 | 800 16000 80000 | 69096 62506 113 | 0.000 % |
188.22/188.34 c | 329912 | 800 16000 80000 | 69096 63561 113 | 0.000 % |
188.82/189.00 c | 331071 | 800 16000 80000 | 2147483647 64720 113 | 0.000 % |
189.62/189.76 c | 332344 | 800 16000 80000 | 2147483647 65993 113 | 0.000 % |
190.52/190.60 c | 333744 | 800 16000 80000 | 2147483647 67393 113 | 0.000 % |
191.32/191.45 c | 335286 | 800 16000 80000 | 2147483647 68935 113 | 0.000 % |
192.32/192.44 c | 336981 | 800 16000 80000 | 2147483647 70630 113 | 0.000 % |
193.52/193.60 c | 338845 | 800 16000 80000 | 2147483647 72494 113 | 0.000 % |
194.72/194.84 c | 340895 | 800 16000 80000 | 2147483647 74544 113 | 0.000 % |
196.22/196.33 c | 343148 | 800 16000 80000 | 2147483647 76797 113 | 0.000 % |
197.92/198.07 c | 345627 | 800 16000 80000 | 2147483647 79276 113 | 0.000 % |
199.92/200.00 c | 348352 | 800 16000 80000 | 2147483647 82001 113 | 0.000 % |
201.92/202.01 c | 351349 | 800 16000 80000 | 83649 73937 113 | 0.000 % |
204.01/204.15 c | 354645 | 800 16000 80000 | 83649 77233 113 | 0.000 % |
204.11/204.22 c | 354745 | 800 16000 80000 | 83649 77333 113 | 0.000 % |
204.21/204.30 c | 354857 | 800 16000 80000 | 83649 77445 113 | 0.000 % |
204.21/204.39 c | 354978 | 800 16000 80000 | 83649 77566 113 | 0.000 % |
204.42/204.52 c | 355111 | 800 16000 80000 | 83649 77699 113 | 0.000 % |
204.52/204.63 c | 355259 | 800 16000 80000 | 83649 77847 113 | 0.000 % |
204.61/204.75 c | 355419 | 800 16000 80000 | 83649 78007 113 | 0.000 % |
204.71/204.88 c | 355595 | 800 16000 80000 | 83649 78183 113 | 0.000 % |
204.91/205.06 c | 355789 | 800 16000 80000 | 83649 78377 113 | 0.000 % |
205.11/205.21 c | 356001 | 800 16000 80000 | 83649 78589 113 | 0.000 % |
205.31/205.40 c | 356234 | 800 16000 80000 | 83649 78822 113 | 0.000 % |
205.41/205.59 c | 356491 | 800 16000 80000 | 83649 79079 113 | 0.000 % |
205.62/205.79 c | 356773 | 800 16000 80000 | 83649 79361 113 | 0.000 % |
205.91/206.02 c | 357082 | 800 16000 80000 | 83649 79670 113 | 0.000 % |
206.11/206.29 c | 357421 | 800 16000 80000 | 83649 80009 113 | 0.000 % |
206.41/206.57 c | 357795 | 800 16000 80000 | 83649 80383 113 | 0.000 % |
206.72/206.85 c | 358204 | 800 16000 80000 | 83649 80792 113 | 0.000 % |
207.01/207.18 c | 358655 | 800 16000 80000 | 83649 81243 113 | 0.000 % |
207.41/207.53 c | 359148 | 800 16000 80000 | 83649 81736 113 | 0.000 % |
207.82/207.92 c | 359690 | 800 16000 80000 | 83649 82278 113 | 0.000 % |
208.31/208.40 c | 360286 | 800 16000 80000 | 82588 70731 113 | 0.000 % |
208.61/208.79 c | 360941 | 800 16000 80000 | 82588 71386 113 | 0.000 % |
209.11/209.25 c | 361662 | 800 16000 80000 | 82588 72107 113 | 0.000 % |
209.61/209.73 c | 362454 | 800 16000 80000 | 82588 72899 113 | 0.000 % |
210.21/210.30 c | 363326 | 800 16000 80000 | 82588 73771 113 | 0.000 % |
210.81/210.91 c | 364284 | 800 16000 80000 | 82588 74729 113 | 0.000 % |
211.51/211.65 c | 365338 | 800 16000 80000 | 82588 75783 113 | 0.000 % |
212.21/212.38 c | 366498 | 800 16000 80000 | 82588 76943 113 | 0.000 % |
213.01/213.17 c | 367771 | 800 16000 80000 | 82588 78216 113 | 0.000 % |
213.91/214.07 c | 369172 | 800 16000 80000 | 82588 79617 113 | 0.000 % |
215.01/215.14 c | 370713 | 800 16000 80000 | 80445 70393 113 | 0.000 % |
216.01/216.15 c | 372407 | 800 16000 80000 | 80445 72087 113 | 0.000 % |
217.11/217.28 c | 374270 | 800 16000 80000 | 80445 73950 113 | 0.000 % |
218.31/218.48 c | 376319 | 800 16000 80000 | 80445 75999 114 | 0.000 % |
219.81/219.98 c | 378574 | 800 16000 80000 | 80445 78254 114 | 0.000 % |
221.61/221.72 c | 381053 | 800 16000 80000 | 79681 70746 114 | 0.000 % |
223.21/223.36 c | 383778 | 800 16000 80000 | 79681 73471 114 | 0.000 % |
225.21/225.33 c | 386777 | 800 16000 80000 | 79681 76470 114 | 0.000 % |
227.31/227.46 c | 390073 | 800 16000 80000 | 79694 79766 114 | 0.000 % |
229.71/229.80 c | 393698 | 800 16000 80000 | 79694 72774 114 | 0.000 % |
229.71/229.86 c | 393798 | 800 16000 80000 | 79694 72874 114 | 0.000 % |
229.81/229.94 c | 393908 | 800 16000 80000 | 79694 72984 114 | 0.000 % |
229.90/230.02 c | 394031 | 800 16000 80000 | 79694 73107 114 | 0.000 % |
230.00/230.13 c | 394164 | 800 16000 80000 | 79694 73240 114 | 0.000 % |
230.10/230.23 c | 394311 | 800 16000 80000 | 79694 73387 114 | 0.000 % |
230.20/230.34 c | 394473 | 800 16000 80000 | 79694 73549 114 | 0.000 % |
230.30/230.48 c | 394649 | 800 16000 80000 | 79694 73725 114 | 0.000 % |
230.50/230.61 c | 394842 | 800 16000 80000 | 79694 73918 114 | 0.000 % |
230.60/230.76 c | 395056 | 800 16000 80000 | 79694 74132 114 | 0.000 % |
230.81/230.93 c | 395289 | 800 16000 80000 | 79694 74365 114 | 0.000 % |
231.00/231.14 c | 395545 | 800 16000 80000 | 79694 74621 114 | 0.000 % |
231.20/231.36 c | 395829 | 800 16000 80000 | 79694 74905 114 | 0.000 % |
231.40/231.57 c | 396138 | 800 16000 80000 | 79694 75214 114 | 0.000 % |
231.70/231.81 c | 396477 | 800 16000 80000 | 79694 75553 114 | 0.000 % |
231.91/232.06 c | 396850 | 800 16000 80000 | 79694 75926 114 | 0.000 % |
232.20/232.34 c | 397261 | 800 16000 80000 | 79694 76337 113 | 0.000 % |
232.50/232.62 c | 397711 | 800 16000 80000 | 79694 76787 113 | 0.000 % |
232.80/232.96 c | 398206 | 800 16000 80000 | 79694 77282 113 | 0.000 % |
233.20/233.34 c | 398748 | 800 16000 80000 | 79694 77824 113 | 0.000 % |
233.60/233.76 c | 399344 | 800 16000 80000 | 79694 78420 113 | 0.000 % |
234.10/234.22 c | 399999 | 800 16000 80000 | 79694 79075 113 | 0.000 % |
234.60/234.74 c | 400719 | 800 16000 80000 | 79076 68642 114 | 0.000 % |
235.10/235.25 c | 401512 | 800 16000 80000 | 79076 69435 114 | 0.000 % |
235.70/235.80 c | 402383 | 800 16000 80000 | 79076 70306 114 | 0.000 % |
236.20/236.36 c | 403342 | 800 16000 80000 | 79076 71265 114 | 0.000 % |
236.90/237.00 c | 404396 | 800 16000 80000 | 79076 72319 114 | 0.000 % |
237.60/237.71 c | 405554 | 800 16000 80000 | 79076 73477 114 | 0.000 % |
238.50/238.61 c | 406827 | 800 16000 80000 | 79076 74750 114 | 0.000 % |
239.40/239.53 c | 408227 | 800 16000 80000 | 79076 76150 114 | 0.000 % |
240.40/240.57 c | 409768 | 800 16000 80000 | 79076 77691 114 | 0.000 % |
241.60/241.71 c | 411463 | 800 16000 80000 | 77924 69069 114 | 0.000 % |
242.60/242.78 c | 413329 | 800 16000 80000 | 77924 70935 114 | 0.000 % |
243.89/244.01 c | 415379 | 800 16000 80000 | 77924 72985 114 | 0.000 % |
245.29/245.48 c | 417632 | 800 16000 80000 | 77924 75238 114 | 0.000 % |
247.09/247.21 c | 420110 | 800 16000 80000 | 77606 77716 114 | 0.000 % |
248.80/248.92 c | 422836 | 800 16000 80000 | 77606 70820 114 | 0.000 % |
250.60/250.78 c | 425833 | 800 16000 80000 | 77606 73817 114 | 0.000 % |
252.80/252.94 c | 429131 | 800 16000 80000 | 77606 77115 114 | 0.000 % |
255.19/255.36 c | 432756 | 800 16000 80000 | 68946 63760 114 | 0.000 % |
257.59/257.73 c | 436745 | 800 16000 80000 | 68946 67749 115 | 0.000 % |
257.59/257.80 c | 436845 | 800 16000 80000 | 68946 67849 115 | 0.000 % |
257.69/257.87 c | 436956 | 800 16000 80000 | 68946 67960 115 | 0.000 % |
257.79/257.96 c | 437079 | 800 16000 80000 | 68946 68083 115 | 0.000 % |
257.89/258.07 c | 437212 | 800 16000 80000 | 68946 68216 114 | 0.000 % |
257.99/258.15 c | 437358 | 800 16000 80000 | 68946 68362 114 | 0.000 % |
258.09/258.28 c | 437518 | 800 16000 80000 | 68946 68522 114 | 0.000 % |
258.30/258.42 c | 437695 | 800 16000 80000 | 68946 68699 114 | 0.000 % |
258.40/258.54 c | 437888 | 800 16000 80000 | 68946 68892 114 | 0.000 % |
258.59/258.70 c | 438100 | 800 16000 80000 | 68946 69104 114 | 0.000 % |
258.69/258.88 c | 438333 | 800 16000 80000 | 68946 62427 114 | 0.000 % |
258.89/259.02 c | 438589 | 800 16000 80000 | 68946 62683 114 | 0.000 % |
259.09/259.21 c | 438870 | 800 16000 80000 | 68946 62964 114 | 0.000 % |
259.19/259.40 c | 439180 | 800 16000 80000 | 68946 63274 114 | 0.000 % |
259.39/259.59 c | 439521 | 800 16000 80000 | 68946 63615 114 | 0.000 % |
259.69/259.83 c | 439893 | 800 16000 80000 | 68946 63987 114 | 0.000 % |
259.89/260.10 c | 440302 | 800 16000 80000 | 2147483647 64396 114 | 0.000 % |
260.19/260.36 c | 440751 | 800 16000 80000 | 2147483647 64845 114 | 0.000 % |
260.49/260.66 c | 441245 | 800 16000 80000 | 2147483647 65339 114 | 0.000 % |
260.79/260.98 c | 441789 | 800 16000 80000 | 2147483647 65883 114 | 0.000 % |
261.19/261.30 c | 442386 | 800 16000 80000 | 2147483647 66480 114 | 0.000 % |
261.49/261.70 c | 443041 | 800 16000 80000 | 2147483647 67135 114 | 0.000 % |
261.99/262.11 c | 443762 | 800 16000 80000 | 2147483647 67856 114 | 0.000 % |
262.49/262.64 c | 444554 | 800 16000 80000 | 2147483647 68648 114 | 0.000 % |
263.09/263.21 c | 445425 | 800 16000 80000 | 2147483647 69519 114 | 0.000 % |
263.69/263.83 c | 446383 | 800 16000 80000 | 2147483647 70477 114 | 0.000 % |
264.29/264.47 c | 447437 | 800 16000 80000 | 2147483647 71531 114 | 0.000 % |
264.99/265.17 c | 448595 | 800 16000 80000 | 2147483647 72689 114 | 0.000 % |
265.89/266.00 c | 449868 | 800 16000 80000 | 2147483647 73962 114 | 0.000 % |
266.69/266.86 c | 451270 | 800 16000 80000 | 74095 67365 113 | 0.000 % |
267.59/267.77 c | 452810 | 800 16000 80000 | 74095 68905 114 | 0.000 % |
268.59/268.75 c | 454507 | 800 16000 80000 | 74095 70602 114 | 0.000 % |
269.78/269.93 c | 456370 | 800 16000 80000 | 74095 72465 114 | 0.000 % |
271.08/271.22 c | 458421 | 800 16000 80000 | 74095 66426 113 | 0.000 % |
272.38/272.54 c | 460674 | 800 16000 80000 | 68006 61564 114 | 0.000 % |
273.79/273.96 c | 463153 | 800 16000 80000 | 68006 64043 115 | 0.000 % |
275.48/275.61 c | 465879 | 800 16000 80000 | 68006 66769 115 | 0.000 % |
277.38/277.51 c | 468878 | 800 16000 80000 | 68006 62942 115 | 0.000 % |
279.19/279.39 c | 472174 | 800 16000 80000 | 2147483647 66238 115 | 0.000 % |
281.48/281.67 c | 475801 | 800 16000 80000 | 2147483647 69865 115 | 0.000 % |
283.98/284.10 c | 479789 | 800 16000 80000 | 2147483647 73853 115 | 0.000 % |
286.58/286.77 c | 484174 | 800 16000 80000 | 2147483647 78238 115 | 0.000 % |
286.68/286.85 c | 484274 | 800 16000 80000 | 2147483647 78338 115 | 0.000 % |
286.78/286.93 c | 484384 | 800 16000 80000 | 2147483647 78448 115 | 0.000 % |
286.88/287.04 c | 484506 | 800 16000 80000 | 2147483647 78570 115 | 0.000 % |
286.98/287.18 c | 484639 | 800 16000 80000 | 2147483647 78703 115 | 0.000 % |
287.18/287.31 c | 484786 | 800 16000 80000 | 2147483647 78850 115 | 0.000 % |
287.28/287.43 c | 484946 | 800 16000 80000 | 2147483647 79010 115 | 0.000 % |
287.38/287.56 c | 485123 | 800 16000 80000 | 2147483647 79187 115 | 0.000 % |
287.58/287.72 c | 485318 | 800 16000 80000 | 2147483647 79382 115 | 0.000 % |
287.68/287.87 c | 485531 | 800 16000 80000 | 2147483647 79595 115 | 0.000 % |
287.88/288.07 c | 485769 | 800 16000 80000 | 2147483647 79833 115 | 0.000 % |
288.09/288.27 c | 486025 | 800 16000 80000 | 2147483647 80089 115 | 0.000 % |
288.28/288.49 c | 486307 | 800 16000 80000 | 2147483647 80371 115 | 0.000 % |
288.58/288.76 c | 486617 | 800 16000 80000 | 2147483647 80681 115 | 0.000 % |
288.88/289.00 c | 486956 | 800 16000 80000 | 2147483647 81020 115 | 0.000 % |
289.09/289.29 c | 487328 | 800 16000 80000 | 2147483647 81392 115 | 0.000 % |
289.38/289.57 c | 487737 | 800 16000 80000 | 2147483647 81801 115 | 0.000 % |
289.68/289.90 c | 488186 | 800 16000 80000 | 2147483647 82250 115 | 0.000 % |
290.08/290.27 c | 488680 | 800 16000 80000 | 2147483647 82744 115 | 0.000 % |
290.48/290.65 c | 489222 | 800 16000 80000 | 2147483647 83286 115 | 0.000 % |
290.88/291.08 c | 489819 | 800 16000 80000 | 2147483647 83883 115 | 0.000 % |
291.48/291.61 c | 490474 | 800 16000 80000 | 84064 72814 115 | 0.000 % |
291.88/292.07 c | 491196 | 800 16000 80000 | 84064 73536 115 | 0.000 % |
292.48/292.60 c | 491992 | 800 16000 80000 | 84064 74332 115 | 0.000 % |
292.98/293.13 c | 492863 | 800 16000 80000 | 84064 75203 115 | 0.000 % |
293.58/293.73 c | 493822 | 800 16000 80000 | 84064 76162 115 | 0.000 % |
294.18/294.39 c | 494877 | 800 16000 80000 | 84064 77217 115 | 0.000 % |
294.98/295.14 c | 496036 | 800 16000 80000 | 84064 78376 115 | 0.000 % |
295.98/296.13 c | 497309 | 800 16000 80000 | 84064 79649 115 | 0.000 % |
296.98/297.15 c | 498711 | 800 16000 80000 | 84064 81051 115 | 0.000 % |
298.18/298.32 c | 500251 | 800 16000 80000 | 82342 70856 115 | 0.000 % |
299.18/299.39 c | 501946 | 800 16000 80000 | 82342 72551 115 | 0.000 % |
300.38/300.53 c | 503810 | 800 16000 80000 | 82342 74415 115 | 0.000 % |
301.78/301.93 c | 505859 | 800 16000 80000 | 82342 76464 115 | 0.000 % |
303.27/303.41 c | 508113 | 800 16000 80000 | 82342 78718 115 | 0.000 % |
304.87/305.09 c | 510591 | 800 16000 80000 | 80605 69948 115 | 0.000 % |
306.57/306.75 c | 513317 | 800 16000 80000 | 80605 72674 115 | 0.000 % |
308.47/308.62 c | 516315 | 800 16000 80000 | 80605 75672 115 | 0.000 % |
310.67/310.86 c | 519614 | 800 16000 80000 | 80605 78971 116 | 0.000 % |
312.97/313.18 c | 523239 | 800 16000 80000 | 79359 71788 116 | 0.000 % |
315.47/315.65 c | 527226 | 800 16000 80000 | 79359 75775 115 | 0.000 % |
318.37/318.56 c | 531612 | 800 16000 80000 | 78549 70082 115 | 0.000 % |
321.37/321.50 c | 536435 | 800 16000 80000 | 78549 74905 115 | 0.000 % |
321.37/321.58 c | 536535 | 800 16000 80000 | 78549 75005 115 | 0.000 % |
321.47/321.68 c | 536646 | 800 16000 80000 | 78549 75116 115 | 0.000 % |
321.57/321.78 c | 536767 | 800 16000 80000 | 78549 75237 115 | 0.000 % |
321.67/321.87 c | 536902 | 800 16000 80000 | 78549 75372 115 | 0.000 % |
321.77/321.97 c | 537050 | 800 16000 80000 | 78549 75520 115 | 0.000 % |
321.97/322.12 c | 537213 | 800 16000 80000 | 78549 75683 115 | 0.000 % |
322.07/322.26 c | 537389 | 800 16000 80000 | 78549 75859 115 | 0.000 % |
322.27/322.40 c | 537582 | 800 16000 80000 | 78549 76052 115 | 0.000 % |
322.37/322.56 c | 537796 | 800 16000 80000 | 78549 76266 115 | 0.000 % |
322.56/322.72 c | 538030 | 800 16000 80000 | 78549 76500 115 | 0.000 % |
322.76/322.92 c | 538286 | 800 16000 80000 | 78549 76756 115 | 0.000 % |
322.96/323.14 c | 538568 | 800 16000 80000 | 78549 77038 115 | 0.000 % |
323.17/323.39 c | 538877 | 800 16000 80000 | 78549 77347 115 | 0.000 % |
323.46/323.63 c | 539216 | 800 16000 80000 | 78549 77686 115 | 0.000 % |
323.66/323.90 c | 539588 | 800 16000 80000 | 78549 78058 115 | 0.000 % |
324.06/324.22 c | 539997 | 800 16000 80000 | 78549 78467 115 | 0.000 % |
324.37/324.57 c | 540446 | 800 16000 80000 | 78470 68960 114 | 0.000 % |
324.66/324.90 c | 540939 | 800 16000 80000 | 78470 69453 114 | 0.000 % |
325.06/325.22 c | 541481 | 800 16000 80000 | 78470 69995 114 | 0.000 % |
325.37/325.58 c | 542079 | 800 16000 80000 | 78470 70593 114 | 0.000 % |
325.86/326.02 c | 542734 | 800 16000 80000 | 78470 71248 114 | 0.000 % |
326.26/326.47 c | 543455 | 800 16000 80000 | 78470 71969 114 | 0.000 % |
326.76/326.99 c | 544247 | 800 16000 80000 | 78470 72761 114 | 0.000 % |
327.36/327.56 c | 545118 | 800 16000 80000 | 78470 73632 114 | 0.000 % |
327.96/328.18 c | 546076 | 800 16000 80000 | 78470 74590 114 | 0.000 % |
328.76/328.90 c | 547129 | 800 16000 80000 | 78470 75643 114 | 0.000 % |
329.46/329.64 c | 548287 | 800 16000 80000 | 78470 76801 114 | 0.000 % |
330.26/330.46 c | 549562 | 800 16000 80000 | 78470 78076 114 | 0.000 % |
331.26/331.48 c | 550962 | 800 16000 80000 | 78515 69078 114 | 0.000 % |
332.36/332.54 c | 552502 | 800 16000 80000 | 78515 70618 114 | 0.000 % |
333.56/333.70 c | 554197 | 800 16000 80000 | 78515 72313 114 | 0.000 % |
334.66/334.83 c | 556061 | 800 16000 80000 | 78515 74177 114 | 0.000 % |
335.96/336.20 c | 558114 | 800 16000 80000 | 78515 76230 114 | 0.000 % |
337.56/337.72 c | 560367 | 800 16000 80000 | 78116 68639 115 | 0.000 % |
339.06/339.26 c | 562846 | 800 16000 80000 | 78116 71118 115 | 0.000 % |
340.76/340.98 c | 565572 | 800 16000 80000 | 78116 73844 115 | 0.000 % |
342.76/342.96 c | 568569 | 800 16000 80000 | 78116 76841 114 | 0.000 % |
345.16/345.30 c | 571865 | 800 16000 80000 | 78274 69703 114 | 0.000 % |
347.46/347.65 c | 575491 | 800 16000 80000 | 78274 73329 114 | 0.000 % |
350.05/350.26 c | 579479 | 800 16000 80000 | 78274 77317 115 | 0.000 % |
352.75/353.00 c | 583866 | 800 16000 80000 | 77838 71718 114 | 0.000 % |
355.85/356.09 c | 588689 | 800 16000 80000 | 77838 76541 115 | 0.000 % |
359.25/359.40 c | 593997 | 800 16000 80000 | 77852 72016 114 | 0.000 % |
359.25/359.46 c | 594097 | 800 16000 80000 | 77852 72116 114 | 0.000 % |
359.35/359.55 c | 594208 | 800 16000 80000 | 77852 72227 114 | 0.000 % |
359.45/359.63 c | 594329 | 800 16000 80000 | 77852 72348 114 | 0.000 % |
359.55/359.73 c | 594462 | 800 16000 80000 | 77852 72481 114 | 0.000 % |
359.65/359.83 c | 594609 | 800 16000 80000 | 77852 72628 114 | 0.000 % |
359.75/359.94 c | 594770 | 800 16000 80000 | 77852 72789 114 | 0.000 % |
359.85/360.07 c | 594946 | 800 16000 80000 | 77852 72965 114 | 0.000 % |
359.95/360.19 c | 595140 | 800 16000 80000 | 77852 73159 114 | 0.000 % |
360.15/360.34 c | 595355 | 800 16000 80000 | 77852 73374 114 | 0.000 % |
360.35/360.51 c | 595588 | 800 16000 80000 | 77852 73607 114 | 0.000 % |
360.55/360.71 c | 595846 | 800 16000 80000 | 77852 73865 114 | 0.000 % |
360.65/360.89 c | 596128 | 800 16000 80000 | 77852 74147 114 | 0.000 % |
360.85/361.09 c | 596438 | 800 16000 80000 | 77852 74457 114 | 0.000 % |
361.15/361.30 c | 596777 | 800 16000 80000 | 77852 74796 114 | 0.000 % |
361.35/361.56 c | 597150 | 800 16000 80000 | 77852 75169 113 | 0.000 % |
361.65/361.82 c | 597560 | 800 16000 80000 | 77852 75579 113 | 0.000 % |
361.95/362.16 c | 598010 | 800 16000 80000 | 77852 76029 113 | 0.000 % |
362.35/362.50 c | 598504 | 800 16000 80000 | 77852 76523 113 | 0.000 % |
362.75/362.90 c | 599046 | 800 16000 80000 | 77852 77065 113 | 0.000 % |
363.15/363.34 c | 599643 | 800 16000 80000 | 77852 77662 113 | 0.000 % |
363.55/363.77 c | 600299 | 800 16000 80000 | 78022 78318 113 | 0.000 % |
364.05/364.26 c | 601020 | 800 16000 80000 | 78022 68921 113 | 0.000 % |
364.55/364.78 c | 601812 | 800 16000 80000 | 78022 69713 113 | 0.000 % |
365.15/365.32 c | 602685 | 800 16000 80000 | 78022 70586 113 | 0.000 % |
365.85/366.01 c | 603644 | 800 16000 80000 | 78022 71545 113 | 0.000 % |
366.54/366.71 c | 604697 | 800 16000 80000 | 78022 72598 113 | 0.000 % |
367.25/367.46 c | 605855 | 800 16000 80000 | 78022 73756 113 | 0.000 % |
368.15/368.31 c | 607129 | 800 16000 80000 | 78022 75030 113 | 0.000 % |
369.04/369.27 c | 608529 | 800 16000 80000 | 78022 76430 113 | 0.000 % |
370.14/370.34 c | 610069 | 800 16000 80000 | 77901 77970 113 | 0.000 % |
371.24/371.43 c | 611765 | 800 16000 80000 | 77901 69667 114 | 0.000 % |
372.34/372.58 c | 613631 | 800 16000 80000 | 77901 71533 114 | 0.000 % |
373.64/373.84 c | 615681 | 800 16000 80000 | 77901 73583 114 | 0.000 % |
375.14/375.30 c | 617936 | 800 16000 80000 | 77901 75838 114 | 0.000 % |
376.74/376.96 c | 620414 | 800 16000 80000 | 77902 68523 114 | 0.000 % |
378.55/378.77 c | 623139 | 800 16000 80000 | 77902 71248 114 | 0.000 % |
380.55/380.76 c | 626140 | 800 16000 80000 | 77902 74249 114 | 0.000 % |
382.85/383.02 c | 629436 | 800 16000 80000 | 77902 77545 114 | 0.000 % |
385.25/385.43 c | 633061 | 800 16000 80000 | 78110 71354 114 | 0.000 % |
387.85/388.03 c | 637048 | 800 16000 80000 | 78110 75341 114 | 0.000 % |
390.65/390.85 c | 641433 | 800 16000 80000 | 78293 69362 114 | 0.000 % |
393.85/394.04 c | 646256 | 800 16000 80000 | 78293 74185 115 | 0.000 % |
397.34/397.53 c | 651565 | 800 16000 80000 | 77929 69097 115 | 0.000 % |
400.84/401.06 c | 657401 | 800 16000 80000 | 77929 74933 115 | 0.000 % |
400.94/401.13 c | 657501 | 800 16000 80000 | 77929 75033 115 | 0.000 % |
401.04/401.22 c | 657612 | 800 16000 80000 | 77929 75144 115 | 0.000 % |
401.14/401.30 c | 657733 | 800 16000 80000 | 77929 75265 115 | 0.000 % |
401.25/401.41 c | 657866 | 800 16000 80000 | 77929 75398 115 | 0.000 % |
401.35/401.52 c | 658014 | 800 16000 80000 | 77929 75546 115 | 0.000 % |
401.44/401.66 c | 658175 | 800 16000 80000 | 77929 75707 115 | 0.000 % |
401.64/401.80 c | 658352 | 800 16000 80000 | 77929 75884 115 | 0.000 % |
401.74/401.95 c | 658546 | 800 16000 80000 | 77929 76078 115 | 0.000 % |
401.94/402.13 c | 658758 | 800 16000 80000 | 77929 76290 115 | 0.000 % |
402.14/402.31 c | 658992 | 800 16000 80000 | 77929 76524 115 | 0.000 % |
402.35/402.51 c | 659248 | 800 16000 80000 | 77929 76780 115 | 0.000 % |
402.54/402.70 c | 659529 | 800 16000 80000 | 77929 77061 115 | 0.000 % |
402.74/402.96 c | 659839 | 800 16000 80000 | 77929 77371 115 | 0.000 % |
403.04/403.21 c | 660179 | 800 16000 80000 | 77533 77711 115 | 0.000 % |
403.34/403.52 c | 660552 | 800 16000 80000 | 77533 67572 115 | 0.000 % |
403.64/403.82 c | 660963 | 800 16000 80000 | 77533 67983 115 | 0.000 % |
403.94/404.13 c | 661412 | 800 16000 80000 | 77533 68432 115 | 0.000 % |
404.24/404.44 c | 661905 | 800 16000 80000 | 77533 68925 114 | 0.000 % |
404.64/404.80 c | 662448 | 800 16000 80000 | 77533 69468 114 | 0.000 % |
404.94/405.19 c | 663044 | 800 16000 80000 | 77533 70064 114 | 0.000 % |
405.44/405.64 c | 663699 | 800 16000 80000 | 77533 70719 114 | 0.000 % |
405.94/406.14 c | 664420 | 800 16000 80000 | 77533 71440 114 | 0.000 % |
406.44/406.66 c | 665212 | 800 16000 80000 | 77533 72232 114 | 0.000 % |
407.04/407.24 c | 666083 | 800 16000 80000 | 77533 73103 114 | 0.000 % |
407.74/407.93 c | 667041 | 800 16000 80000 | 77533 74061 114 | 0.000 % |
408.44/408.65 c | 668095 | 800 16000 80000 | 77533 75115 114 | 0.000 % |
409.24/409.47 c | 669255 | 800 16000 80000 | 77533 76275 114 | 0.000 % |
410.14/410.37 c | 670528 | 800 16000 80000 | 77020 66851 115 | 0.000 % |
411.04/411.28 c | 671928 | 800 16000 80000 | 77020 68251 115 | 0.000 % |
412.14/412.31 c | 673468 | 800 16000 80000 | 77020 69791 115 | 0.000 % |
413.14/413.31 c | 675164 | 800 16000 80000 | 77020 71487 115 | 0.000 % |
414.24/414.41 c | 677027 | 800 16000 80000 | 77020 73350 115 | 0.000 % |
415.73/415.90 c | 679076 | 800 16000 80000 | 77020 75399 115 | 0.000 % |
417.33/417.50 c | 681329 | 800 16000 80000 | 76324 67678 115 | 0.000 % |
418.94/419.12 c | 683810 | 800 16000 80000 | 76324 70159 115 | 0.000 % |
420.63/420.83 c | 686535 | 800 16000 80000 | 76324 72884 115 | 0.000 % |
422.53/422.74 c | 689532 | 800 16000 80000 | 76324 75881 115 | 0.000 % |
424.53/424.78 c | 692830 | 800 16000 80000 | 76349 69634 115 | 0.000 % |
426.73/426.97 c | 696455 | 800 16000 80000 | 76349 73259 115 | 0.000 % |
429.33/429.53 c | 700442 | 800 16000 80000 | 67363 59590 115 | 0.000 % |
431.93/432.19 c | 704827 | 800 16000 80000 | 67363 63975 115 | 0.000 % |
434.73/434.94 c | 709652 | 800 16000 80000 | 67363 62034 115 | 0.000 % |
437.93/438.13 c | 714959 | 800 16000 80000 | 2147483647 67341 115 | 0.000 % |
441.53/441.78 c | 720795 | 800 16000 80000 | 2147483647 73177 115 | 0.000 % |
445.63/445.88 c | 727214 | 800 16000 80000 | 2147483647 79596 115 | 0.000 % |
445.73/445.96 c | 727315 | 800 16000 80000 | 2147483647 79697 115 | 0.000 % |
445.83/446.03 c | 727426 | 800 16000 80000 | 2147483647 79808 115 | 0.000 % |
445.93/446.13 c | 727548 | 800 16000 80000 | 2147483647 79930 115 | 0.000 % |
446.03/446.26 c | 727682 | 800 16000 80000 | 2147483647 80064 115 | 0.000 % |
446.13/446.37 c | 727828 | 800 16000 80000 | 2147483647 80210 115 | 0.000 % |
446.33/446.50 c | 727989 | 800 16000 80000 | 2147483647 80371 115 | 0.000 % |
446.43/446.64 c | 728167 | 800 16000 80000 | 2147483647 80549 115 | 0.000 % |
446.53/446.79 c | 728360 | 800 16000 80000 | 2147483647 80742 115 | 0.000 % |
446.73/446.97 c | 728572 | 800 16000 80000 | 2147483647 80954 115 | 0.000 % |
446.93/447.18 c | 728805 | 800 16000 80000 | 2147483647 81187 115 | 0.000 % |
447.13/447.38 c | 729062 | 800 16000 80000 | 2147483647 81444 115 | 0.000 % |
447.43/447.60 c | 729343 | 800 16000 80000 | 2147483647 81725 115 | 0.000 % |
447.62/447.83 c | 729652 | 800 16000 80000 | 2147483647 82034 115 | 0.000 % |
447.82/448.06 c | 729992 | 800 16000 80000 | 2147483647 82374 115 | 0.000 % |
448.12/448.38 c | 730364 | 800 16000 80000 | 82382 71647 114 | 0.000 % |
448.42/448.63 c | 730774 | 800 16000 80000 | 82382 72057 114 | 0.000 % |
448.72/448.93 c | 731224 | 800 16000 80000 | 82382 72507 114 | 0.000 % |
449.02/449.23 c | 731718 | 800 16000 80000 | 82382 73001 114 | 0.000 % |
449.32/449.58 c | 732260 | 800 16000 80000 | 82382 73543 114 | 0.000 % |
449.73/449.98 c | 732856 | 800 16000 80000 | 82382 74139 114 | 0.000 % |
450.22/450.42 c | 733512 | 800 16000 80000 | 82382 74795 114 | 0.000 % |
450.73/450.95 c | 734232 | 800 16000 80000 | 82382 75515 114 | 0.000 % |
451.32/451.55 c | 735024 | 800 16000 80000 | 82382 76307 114 | 0.000 % |
451.93/452.16 c | 735898 | 800 16000 80000 | 82382 77181 114 | 0.000 % |
452.62/452.88 c | 736857 | 800 16000 80000 | 82382 78140 114 | 0.000 % |
453.42/453.60 c | 737910 | 800 16000 80000 | 82382 79193 114 | 0.000 % |
454.13/454.34 c | 739068 | 800 16000 80000 | 82382 80351 114 | 0.000 % |
455.13/455.36 c | 740341 | 800 16000 80000 | 81284 70062 115 | 0.000 % |
456.02/456.22 c | 741741 | 800 16000 80000 | 81284 71462 115 | 0.000 % |
457.02/457.27 c | 743281 | 800 16000 80000 | 81284 73002 115 | 0.000 % |
458.12/458.35 c | 744976 | 800 16000 80000 | 81284 74697 115 | 0.000 % |
459.32/459.53 c | 746839 | 800 16000 80000 | 81284 76560 115 | 0.000 % |
460.62/460.89 c | 748888 | 800 16000 80000 | 81284 78609 115 | 0.000 % |
462.12/462.39 c | 751141 | 800 16000 80000 | 79722 70453 116 | 0.000 % |
463.72/463.96 c | 753619 | 800 16000 80000 | 79722 72931 116 | 0.000 % |
465.42/465.64 c | 756344 | 800 16000 80000 | 79722 75656 116 | 0.000 % |
467.42/467.63 c | 759342 | 800 16000 80000 | 79722 78654 116 | 0.000 % |
469.52/469.76 c | 762639 | 800 16000 80000 | 79314 71563 116 | 0.000 % |
471.91/472.11 c | 766264 | 800 16000 80000 | 79314 75188 117 | 0.000 % |
474.51/474.75 c | 770251 | 800 16000 80000 | 78924 79175 117 | 0.000 % |
477.41/477.65 c | 774637 | 800 16000 80000 | 78924 73032 117 | 0.000 % |
480.61/480.89 c | 779463 | 800 16000 80000 | 78924 77858 117 | 0.000 % |
484.31/484.56 c | 784771 | 800 16000 80000 | 78395 72804 117 | 0.000 % |
488.31/488.51 c | 790607 | 800 16000 80000 | 78034 68483 119 | 0.000 % |
492.71/492.90 c | 797026 | 800 16000 80000 | 78034 74902 119 | 0.000 % |
497.01/497.20 c | 804086 | 800 16000 80000 | 77878 71706 121 | 0.000 % |
497.01/497.29 c | 804186 | 800 16000 80000 | 77878 71806 121 | 0.000 % |
497.11/497.37 c | 804298 | 800 16000 80000 | 77878 71918 121 | 0.000 % |
497.21/497.45 c | 804419 | 800 16000 80000 | 77878 72039 121 | 0.000 % |
497.31/497.54 c | 804552 | 800 16000 80000 | 77878 72172 121 | 0.000 % |
497.41/497.64 c | 804698 | 800 16000 80000 | 77878 72318 121 | 0.000 % |
497.51/497.75 c | 804860 | 800 16000 80000 | 77878 72480 120 | 0.000 % |
497.61/497.87 c | 805038 | 800 16000 80000 | 77878 72658 120 | 0.000 % |
497.80/498.02 c | 805232 | 800 16000 80000 | 77878 72852 120 | 0.000 % |
497.90/498.17 c | 805445 | 800 16000 80000 | 77878 73065 120 | 0.000 % |
498.11/498.32 c | 805679 | 800 16000 80000 | 77878 73299 120 | 0.000 % |
498.30/498.50 c | 805935 | 800 16000 80000 | 77878 73555 120 | 0.000 % |
498.50/498.70 c | 806216 | 800 16000 80000 | 77878 73836 120 | 0.000 % |
498.70/498.90 c | 806526 | 800 16000 80000 | 77878 74146 120 | 0.000 % |
498.90/499.14 c | 806866 | 800 16000 80000 | 77878 74486 120 | 0.000 % |
499.11/499.39 c | 807239 | 800 16000 80000 | 77878 74859 120 | 0.000 % |
499.40/499.68 c | 807651 | 800 16000 80000 | 77878 75271 120 | 0.000 % |
499.70/499.99 c | 808100 | 800 16000 80000 | 77878 75720 120 | 0.000 % |
500.10/500.35 c | 808593 | 800 16000 80000 | 77878 76213 120 | 0.000 % |
500.50/500.75 c | 809135 | 800 16000 80000 | 77878 76755 120 | 0.000 % |
500.90/501.19 c | 809734 | 800 16000 80000 | 77878 77354 120 | 0.000 % |
501.50/501.73 c | 810390 | 800 16000 80000 | 77620 67037 121 | 0.000 % |
501.90/502.14 c | 811110 | 800 16000 80000 | 77620 67757 121 | 0.000 % |
502.41/502.62 c | 811902 | 800 16000 80000 | 77620 68549 120 | 0.000 % |
502.90/503.16 c | 812773 | 800 16000 80000 | 77620 69420 120 | 0.000 % |
503.51/503.79 c | 813731 | 800 16000 80000 | 77620 70378 120 | 0.000 % |
504.21/504.42 c | 814784 | 800 16000 80000 | 77620 71431 120 | 0.000 % |
504.91/505.13 c | 815942 | 800 16000 80000 | 77620 72589 120 | 0.000 % |
505.71/505.93 c | 817216 | 800 16000 80000 | 77620 73863 120 | 0.000 % |
506.51/506.78 c | 818618 | 800 16000 80000 | 77620 75265 120 | 0.000 % |
507.51/507.71 c | 820158 | 800 16000 80000 | 76649 76805 120 | 0.000 % |
508.51/508.74 c | 821852 | 800 16000 80000 | 76649 69550 119 | 0.000 % |
509.61/509.83 c | 823715 | 800 16000 80000 | 76649 71413 119 | 0.000 % |
510.91/511.18 c | 825764 | 800 16000 80000 | 76649 73462 119 | 0.000 % |
512.41/512.68 c | 828017 | 800 16000 80000 | 76649 75715 119 | 0.000 % |
514.21/514.40 c | 830496 | 800 16000 80000 | 68843 61402 119 | 0.000 % |
515.71/515.91 c | 833222 | 800 16000 80000 | 68843 64128 118 | 0.000 % |
517.40/517.65 c | 836221 | 800 16000 80000 | 68843 67127 118 | 0.000 % |
519.40/519.67 c | 839517 | 800 16000 80000 | 68843 63513 117 | 0.000 % |
521.60/521.90 c | 843146 | 800 16000 80000 | 2147483647 67142 117 | 0.000 % |
524.00/524.24 c | 847133 | 800 16000 80000 | 2147483647 71129 117 | 0.000 % |
526.70/527.00 c | 851519 | 800 16000 80000 | 2147483647 75515 118 | 0.000 % |
529.90/530.16 c | 856343 | 800 16000 80000 | 2147483647 80339 117 | 0.000 % |
533.79/534.01 c | 861649 | 800 16000 80000 | 83996 73459 116 | 0.000 % |
537.99/538.21 c | 867485 | 800 16000 80000 | 83996 79295 117 | 0.000 % |
542.19/542.49 c | 873903 | 800 16000 80000 | 81811 73534 116 | 0.000 % |
547.09/547.37 c | 880962 | 800 16000 80000 | 79631 69867 117 | 0.000 % |
552.69/552.99 c | 888728 | 800 16000 80000 | 79631 77633 117 | 0.000 % |
552.79/553.07 c | 888828 | 800 16000 80000 | 79631 77733 117 | 0.000 % |
552.89/553.15 c | 888938 | 800 16000 80000 | 79631 77843 117 | 0.000 % |
552.99/553.24 c | 889059 | 800 16000 80000 | 79631 77964 117 | 0.000 % |
553.09/553.37 c | 889193 | 800 16000 80000 | 79631 78098 117 | 0.000 % |
553.19/553.48 c | 889340 | 800 16000 80000 | 79631 78245 117 | 0.000 % |
553.39/553.61 c | 889501 | 800 16000 80000 | 79631 78406 117 | 0.000 % |
553.49/553.77 c | 889679 | 800 16000 80000 | 79631 78584 117 | 0.000 % |
553.69/553.92 c | 889874 | 800 16000 80000 | 79631 78779 117 | 0.000 % |
553.79/554.08 c | 890086 | 800 16000 80000 | 78905 78991 117 | 0.000 % |
554.09/554.32 c | 890322 | 800 16000 80000 | 78905 68612 117 | 0.000 % |
554.29/554.50 c | 890580 | 800 16000 80000 | 78905 68870 117 | 0.000 % |
554.49/554.70 c | 890863 | 800 16000 80000 | 78905 69153 117 | 0.000 % |
554.69/554.92 c | 891172 | 800 16000 80000 | 78905 69462 117 | 0.000 % |
554.89/555.13 c | 891512 | 800 16000 80000 | 78905 69802 117 | 0.000 % |
555.09/555.40 c | 891885 | 800 16000 80000 | 78905 70175 117 | 0.000 % |
555.39/555.66 c | 892294 | 800 16000 80000 | 78905 70584 117 | 0.000 % |
555.69/555.94 c | 892743 | 800 16000 80000 | 78905 71033 117 | 0.000 % |
555.99/556.24 c | 893236 | 800 16000 80000 | 78905 71526 117 | 0.000 % |
556.29/556.58 c | 893778 | 800 16000 80000 | 78905 72068 117 | 0.000 % |
556.69/556.97 c | 894375 | 800 16000 80000 | 78905 72665 117 | 0.000 % |
557.19/557.42 c | 895032 | 800 16000 80000 | 78905 73322 117 | 0.000 % |
557.69/557.93 c | 895754 | 800 16000 80000 | 78905 74044 117 | 0.000 % |
558.29/558.52 c | 896546 | 800 16000 80000 | 78905 74836 117 | 0.000 % |
558.89/559.17 c | 897418 | 800 16000 80000 | 78905 75708 117 | 0.000 % |
559.59/559.84 c | 898378 | 800 16000 80000 | 78905 76668 117 | 0.000 % |
560.28/560.58 c | 899431 | 800 16000 80000 | 78905 77721 116 | 0.000 % |
561.18/561.40 c | 900590 | 800 16000 80000 | 78292 68130 117 | 0.000 % |
561.98/562.26 c | 901863 | 800 16000 80000 | 78292 69403 117 | 0.000 % |
562.89/563.17 c | 903263 | 800 16000 80000 | 78292 70803 116 | 0.000 % |
563.88/564.13 c | 904803 | 800 16000 80000 | 78292 72343 117 | 0.000 % |
564.89/565.15 c | 906498 | 800 16000 80000 | 78292 74038 117 | 0.000 % |
566.09/566.35 c | 908362 | 800 16000 80000 | 78292 75902 117 | 0.000 % |
567.59/567.85 c | 910411 | 800 16000 80000 | 77540 68216 117 | 0.000 % |
568.99/569.29 c | 912666 | 800 16000 80000 | 77540 70471 117 | 0.000 % |
570.49/570.79 c | 915145 | 800 16000 80000 | 77540 72950 117 | 0.000 % |
572.39/572.62 c | 917870 | 800 16000 80000 | 77540 75675 117 | 0.000 % |
574.29/574.54 c | 920867 | 800 16000 80000 | 77805 68984 116 | 0.000 % |
576.29/576.58 c | 924163 | 800 16000 80000 | 77805 72280 117 | 0.000 % |
578.79/579.01 c | 927788 | 800 16000 80000 | 77805 75905 117 | 0.000 % |
581.39/581.63 c | 931775 | 800 16000 80000 | 69335 63341 116 | 0.000 % |
583.99/584.22 c | 936160 | 800 16000 80000 | 69335 67726 116 | 0.000 % |
586.78/587.08 c | 940985 | 800 16000 80000 | 2147483647 65590 116 | 0.000 % |
590.08/590.33 c | 946290 | 800 16000 80000 | 2147483647 70895 116 | 0.000 % |
593.98/594.22 c | 952126 | 800 16000 80000 | 2147483647 76731 116 | 0.000 % |
598.48/598.75 c | 958544 | 800 16000 80000 | 2147483647 83149 116 | 0.000 % |
602.98/603.21 c | 965603 | 800 16000 80000 | 84607 78629 116 | 0.000 % |
608.08/608.35 c | 973367 | 800 16000 80000 | 83027 74741 118 | 0.000 % |
614.18/614.44 c | 981907 | 800 16000 80000 | 81374 71910 120 | 0.000 % |
614.28/614.51 c | 982007 | 800 16000 80000 | 81374 72010 120 | 0.000 % |
614.28/614.59 c | 982117 | 800 16000 80000 | 81374 72120 120 | 0.000 % |
614.38/614.67 c | 982239 | 800 16000 80000 | 81374 72242 120 | 0.000 % |
614.48/614.75 c | 982373 | 800 16000 80000 | 81374 72376 120 | 0.000 % |
614.58/614.86 c | 982520 | 800 16000 80000 | 81374 72523 120 | 0.000 % |
614.68/614.99 c | 982682 | 800 16000 80000 | 81374 72685 120 | 0.000 % |
614.88/615.13 c | 982859 | 800 16000 80000 | 81374 72862 120 | 0.000 % |
614.98/615.29 c | 983052 | 800 16000 80000 | 81374 73055 120 | 0.000 % |
615.18/615.47 c | 983264 | 800 16000 80000 | 81374 73267 119 | 0.000 % |
615.38/615.64 c | 983497 | 800 16000 80000 | 81374 73500 119 | 0.000 % |
615.58/615.83 c | 983753 | 800 16000 80000 | 81374 73756 119 | 0.000 % |
615.78/616.03 c | 984034 | 800 16000 80000 | 81374 74037 119 | 0.000 % |
615.98/616.24 c | 984344 | 800 16000 80000 | 81374 74347 119 | 0.000 % |
616.18/616.46 c | 984683 | 800 16000 80000 | 81374 74686 119 | 0.000 % |
616.48/616.73 c | 985055 | 800 16000 80000 | 81374 75058 119 | 0.000 % |
616.78/617.03 c | 985465 | 800 16000 80000 | 81374 75468 119 | 0.000 % |
617.08/617.34 c | 985914 | 800 16000 80000 | 81374 75917 119 | 0.000 % |
617.48/617.71 c | 986407 | 800 16000 80000 | 81374 76410 119 | 0.000 % |
617.78/618.10 c | 986952 | 800 16000 80000 | 81374 76955 119 | 0.000 % |
618.28/618.52 c | 987548 | 800 16000 80000 | 81374 77551 119 | 0.000 % |
618.68/618.97 c | 988204 | 800 16000 80000 | 81374 78207 119 | 0.000 % |
619.28/619.53 c | 988924 | 800 16000 80000 | 81374 78927 119 | 0.000 % |
619.88/620.15 c | 989716 | 800 16000 80000 | 81374 79719 119 | 0.000 % |
620.48/620.79 c | 990588 | 800 16000 80000 | 80007 68825 119 | 0.000 % |
621.18/621.41 c | 991549 | 800 16000 80000 | 80007 69786 119 | 0.000 % |
621.78/622.08 c | 992602 | 800 16000 80000 | 80007 70839 119 | 0.000 % |
622.57/622.80 c | 993760 | 800 16000 80000 | 80007 71997 119 | 0.000 % |
623.38/623.63 c | 995034 | 800 16000 80000 | 80007 73271 119 | 0.000 % |
624.27/624.54 c | 996436 | 800 16000 80000 | 80007 74673 118 | 0.000 % |
625.27/625.53 c | 997976 | 800 16000 80000 | 80007 76213 118 | 0.000 % |
626.47/626.71 c | 999671 | 800 16000 80000 | 80007 77908 118 | 0.000 % |
627.67/627.94 c | 1001536 | 800 16000 80000 | 78238 69342 118 | 0.000 % |
628.98/629.27 c | 1003587 | 800 16000 80000 | 78238 71393 118 | 0.000 % |
630.47/630.70 c | 1005840 | 800 16000 80000 | 78238 73646 118 | 0.000 % |
631.97/632.27 c | 1008318 | 800 16000 80000 | 78238 76124 118 | 0.000 % |
633.87/634.12 c | 1011043 | 800 16000 80000 | 77807 68609 117 | 0.000 % |
635.67/635.95 c | 1014043 | 800 16000 80000 | 77807 71609 118 | 0.000 % |
637.77/638.05 c | 1017339 | 800 16000 80000 | 77807 74905 118 | 0.000 % |
640.37/640.61 c | 1020965 | 800 16000 80000 | 77567 68556 117 | 0.000 % |
642.77/643.04 c | 1024952 | 800 16000 80000 | 77567 72543 117 | 0.000 % |
645.56/645.86 c | 1029338 | 800 16000 80000 | 77567 76929 117 | 0.000 % |
648.56/648.86 c | 1034161 | 800 16000 80000 | 77594 72166 117 | 0.000 % |
651.97/652.26 c | 1039467 | 800 16000 80000 | 77594 77472 117 | 0.000 % |
655.56/655.85 c | 1045302 | 800 16000 80000 | 69436 67142 115 | 0.000 % |
659.36/659.62 c | 1051720 | 800 16000 80000 | 2147483647 66587 116 | 0.000 % |
663.96/664.27 c | 1058779 | 800 16000 80000 | 2147483647 73646 116 | 0.000 % |
669.46/669.71 c | 1066545 | 800 16000 80000 | 74867 73153 116 | 0.000 % |
674.56/674.80 c | 1075085 | 800 16000 80000 | 67477 64576 117 | 0.000 % |
679.76/680.05 c | 1084481 | 800 16000 80000 | 2147483647 67197 117 | 0.000 % |
679.86/680.12 c | 1084582 | 800 16000 80000 | 2147483647 67298 117 | 0.000 % |
679.86/680.19 c | 1084692 | 800 16000 80000 | 2147483647 67408 117 | 0.000 % |
679.96/680.26 c | 1084815 | 800 16000 80000 | 2147483647 67531 117 | 0.000 % |
680.06/680.35 c | 1084949 | 800 16000 80000 | 2147483647 67665 117 | 0.000 % |
680.16/680.45 c | 1085095 | 800 16000 80000 | 2147483647 67811 117 | 0.000 % |
680.25/680.59 c | 1085255 | 800 16000 80000 | 2147483647 67971 117 | 0.000 % |
680.45/680.73 c | 1085431 | 800 16000 80000 | 2147483647 68147 117 | 0.000 % |
680.56/680.86 c | 1085625 | 800 16000 80000 | 2147483647 68341 117 | 0.000 % |
680.75/681.02 c | 1085837 | 800 16000 80000 | 2147483647 68553 117 | 0.000 % |
680.85/681.18 c | 1086070 | 800 16000 80000 | 2147483647 68786 117 | 0.000 % |
681.05/681.38 c | 1086326 | 800 16000 80000 | 2147483647 69042 117 | 0.000 % |
681.25/681.58 c | 1086608 | 800 16000 80000 | 2147483647 69324 117 | 0.000 % |
681.45/681.79 c | 1086918 | 800 16000 80000 | 2147483647 69634 117 | 0.000 % |
681.76/682.00 c | 1087257 | 800 16000 80000 | 2147483647 69973 117 | 0.000 % |
681.95/682.25 c | 1087629 | 800 16000 80000 | 2147483647 70345 117 | 0.000 % |
682.25/682.51 c | 1088038 | 800 16000 80000 | 2147483647 70754 117 | 0.000 % |
682.55/682.84 c | 1088489 | 800 16000 80000 | 2147483647 71205 117 | 0.000 % |
682.86/683.14 c | 1088983 | 800 16000 80000 | 2147483647 71699 117 | 0.000 % |
683.15/683.46 c | 1089526 | 800 16000 80000 | 2147483647 72242 117 | 0.000 % |
683.55/683.88 c | 1090123 | 800 16000 80000 | 72716 72839 117 | 0.000 % |
684.05/684.31 c | 1090780 | 800 16000 80000 | 72716 65558 117 | 0.000 % |
684.45/684.77 c | 1091502 | 800 16000 80000 | 72716 66280 117 | 0.000 % |
685.05/685.33 c | 1092295 | 800 16000 80000 | 72716 67073 117 | 0.000 % |
685.55/685.89 c | 1093167 | 800 16000 80000 | 72716 67945 117 | 0.000 % |
686.15/686.47 c | 1094125 | 800 16000 80000 | 72716 68903 116 | 0.000 % |
686.85/687.15 c | 1095178 | 800 16000 80000 | 72716 69956 116 | 0.000 % |
687.55/687.81 c | 1096336 | 800 16000 80000 | 72716 71114 116 | 0.000 % |
688.25/688.58 c | 1097609 | 800 16000 80000 | 72716 72387 116 | 0.000 % |
689.05/689.38 c | 1099009 | 800 16000 80000 | 72716 66391 116 | 0.000 % |
690.15/690.40 c | 1100550 | 800 16000 80000 | 67383 61159 116 | 0.000 % |
691.05/691.39 c | 1102245 | 800 16000 80000 | 67383 62854 116 | 0.000 % |
692.15/692.43 c | 1104109 | 800 16000 80000 | 67383 64718 116 | 0.000 % |
693.45/693.70 c | 1106159 | 800 16000 80000 | 67383 66768 116 | 0.000 % |
694.75/695.04 c | 1108413 | 800 16000 80000 | 67383 62258 115 | 0.000 % |
696.25/696.53 c | 1110894 | 800 16000 80000 | 2147483647 64739 116 | 0.000 % |
697.95/698.22 c | 1113619 | 800 16000 80000 | 2147483647 67464 116 | 0.000 % |
699.95/700.22 c | 1116617 | 800 16000 80000 | 2147483647 70462 116 | 0.000 % |
702.05/702.38 c | 1119913 | 800 16000 80000 | 2147483647 73758 116 | 0.000 % |
704.55/704.87 c | 1123538 | 800 16000 80000 | 2147483647 77383 116 | 0.000 % |
707.44/707.73 c | 1127525 | 800 16000 80000 | 2147483647 81370 116 | 0.000 % |
710.44/710.77 c | 1131910 | 800 16000 80000 | 83847 73735 116 | 0.000 % |
713.74/714.02 c | 1136734 | 800 16000 80000 | 83847 78559 116 | 0.000 % |
717.54/717.85 c | 1142039 | 800 16000 80000 | 81825 72270 117 | 0.000 % |
721.54/721.89 c | 1147874 | 800 16000 80000 | 81825 78105 117 | 0.000 % |
725.74/726.05 c | 1154294 | 800 16000 80000 | 80234 73256 117 | 0.000 % |
730.34/730.64 c | 1161353 | 800 16000 80000 | 78964 69562 119 | 0.000 % |
735.54/735.85 c | 1169117 | 800 16000 80000 | 78964 77326 119 | 0.000 % |
741.73/742.01 c | 1177657 | 800 16000 80000 | 78209 75243 120 | 0.000 % |
748.33/748.64 c | 1187051 | 800 16000 80000 | 77587 73721 121 | 0.000 % |
754.93/755.22 c | 1197384 | 800 16000 80000 | 76672 73325 121 | 0.000 % |
755.03/755.30 c | 1197484 | 800 16000 80000 | 76672 73425 121 | 0.000 % |
755.03/755.38 c | 1197595 | 800 16000 80000 | 76672 73536 121 | 0.000 % |
755.13/755.47 c | 1197716 | 800 16000 80000 | 76672 73657 121 | 0.000 % |
755.23/755.57 c | 1197850 | 800 16000 80000 | 76672 73791 121 | 0.000 % |
755.33/755.67 c | 1197997 | 800 16000 80000 | 76672 73938 121 | 0.000 % |
755.53/755.80 c | 1198158 | 800 16000 80000 | 76672 74099 121 | 0.000 % |
755.63/755.92 c | 1198336 | 800 16000 80000 | 76672 74277 121 | 0.000 % |
755.73/756.07 c | 1198531 | 800 16000 80000 | 76672 74472 121 | 0.000 % |
755.93/756.24 c | 1198745 | 800 16000 80000 | 76672 74686 121 | 0.000 % |
756.13/756.42 c | 1198979 | 800 16000 80000 | 76672 74920 121 | 0.000 % |
756.33/756.60 c | 1199235 | 800 16000 80000 | 76672 75176 121 | 0.000 % |
756.53/756.80 c | 1199518 | 800 16000 80000 | 76672 75459 121 | 0.000 % |
756.73/757.04 c | 1199827 | 800 16000 80000 | 76672 75768 121 | 0.000 % |
757.03/757.30 c | 1200167 | 800 16000 80000 | 75941 76108 121 | 0.000 % |
757.23/757.59 c | 1200539 | 800 16000 80000 | 75941 65736 121 | 0.000 % |
757.53/757.86 c | 1200950 | 800 16000 80000 | 75941 66147 121 | 0.000 % |
757.83/758.15 c | 1201399 | 800 16000 80000 | 75941 66596 121 | 0.000 % |
758.13/758.45 c | 1201893 | 800 16000 80000 | 75941 67090 121 | 0.000 % |
758.53/758.83 c | 1202435 | 800 16000 80000 | 75941 67632 121 | 0.000 % |
758.83/759.19 c | 1203031 | 800 16000 80000 | 75941 68228 121 | 0.000 % |
759.33/759.62 c | 1203688 | 800 16000 80000 | 75941 68885 121 | 0.000 % |
759.83/760.13 c | 1204410 | 800 16000 80000 | 75941 69607 121 | 0.000 % |
760.33/760.67 c | 1205203 | 800 16000 80000 | 75941 70400 121 | 0.000 % |
760.93/761.20 c | 1206074 | 800 16000 80000 | 75941 71271 120 | 0.000 % |
761.53/761.90 c | 1207032 | 800 16000 80000 | 75941 72229 120 | 0.000 % |
762.33/762.66 c | 1208085 | 800 16000 80000 | 75941 73282 120 | 0.000 % |
763.22/763.52 c | 1209244 | 800 16000 80000 | 75941 74441 120 | 0.000 % |
764.02/764.36 c | 1210518 | 800 16000 80000 | 75197 65877 119 | 0.000 % |
764.92/765.20 c | 1211920 | 800 16000 80000 | 75197 67279 119 | 0.000 % |
765.82/766.16 c | 1213460 | 800 16000 80000 | 75197 68819 119 | 0.000 % |
766.82/767.19 c | 1215155 | 800 16000 80000 | 75197 70514 119 | 0.000 % |
768.02/768.34 c | 1217018 | 800 16000 80000 | 75197 72377 119 | 0.000 % |
769.42/769.77 c | 1219067 | 800 16000 80000 | 75197 74426 119 | 0.000 % |
771.12/771.43 c | 1221321 | 800 16000 80000 | 75359 66825 118 | 0.000 % |
772.72/773.07 c | 1223799 | 800 16000 80000 | 75359 69303 118 | 0.000 % |
774.42/774.75 c | 1226526 | 800 16000 80000 | 75359 72030 118 | 0.000 % |
776.42/776.72 c | 1229526 | 800 16000 80000 | 75359 75030 118 | 0.000 % |
778.52/778.89 c | 1232823 | 800 16000 80000 | 75504 68777 117 | 0.000 % |
781.12/781.40 c | 1236448 | 800 16000 80000 | 75504 72402 117 | 0.000 % |
783.92/784.23 c | 1240435 | 800 16000 80000 | 66976 59574 116 | 0.000 % |
786.52/786.85 c | 1244821 | 800 16000 80000 | 66976 63960 116 | 0.000 % |
789.42/789.71 c | 1249645 | 800 16000 80000 | 66976 62059 116 | 0.000 % |
792.62/792.94 c | 1254952 | 800 16000 80000 | 2147483647 67366 117 | 0.000 % |
796.71/797.04 c | 1260788 | 800 16000 80000 | 2147483647 73202 117 | 0.000 % |
801.21/801.56 c | 1267210 | 800 16000 80000 | 2147483647 79624 117 | 0.000 % |
806.21/806.53 c | 1274269 | 800 16000 80000 | 82417 74878 117 | 0.000 % |
811.61/811.96 c | 1282033 | 800 16000 80000 | 80611 71249 118 | 0.000 % |
817.11/817.44 c | 1290575 | 800 16000 80000 | 79217 68120 119 | 0.000 % |
823.41/823.80 c | 1299970 | 800 16000 80000 | 79217 77515 120 | 0.000 % |
830.70/831.02 c | 1310303 | 800 16000 80000 | 76514 66605 121 | 0.000 % |
838.30/838.66 c | 1321669 | 800 16000 80000 | 76303 68150 120 | 0.000 % |
838.40/838.73 c | 1321769 | 800 16000 80000 | 76303 68250 120 | 0.000 % |
838.50/838.81 c | 1321879 | 800 16000 80000 | 76303 68360 120 | 0.000 % |
838.50/838.89 c | 1322000 | 800 16000 80000 | 76303 68481 120 | 0.000 % |
838.70/839.00 c | 1322133 | 800 16000 80000 | 76303 68614 120 | 0.000 % |
838.80/839.10 c | 1322280 | 800 16000 80000 | 76303 68761 120 | 0.000 % |
838.91/839.21 c | 1322440 | 800 16000 80000 | 76303 68921 120 | 0.000 % |
839.01/839.33 c | 1322617 | 800 16000 80000 | 76303 69098 120 | 0.000 % |
839.10/839.45 c | 1322810 | 800 16000 80000 | 76303 69291 120 | 0.000 % |
839.30/839.60 c | 1323022 | 800 16000 80000 | 76303 69503 120 | 0.000 % |
839.40/839.79 c | 1323255 | 800 16000 80000 | 76303 69736 120 | 0.000 % |
839.60/839.96 c | 1323513 | 800 16000 80000 | 76303 69994 120 | 0.000 % |
839.80/840.17 c | 1323797 | 800 16000 80000 | 76303 70278 120 | 0.000 % |
840.00/840.38 c | 1324106 | 800 16000 80000 | 76303 70587 120 | 0.000 % |
840.30/840.60 c | 1324445 | 800 16000 80000 | 76303 70926 120 | 0.000 % |
840.50/840.88 c | 1324817 | 800 16000 80000 | 76303 71298 120 | 0.000 % |
840.80/841.16 c | 1325227 | 800 16000 80000 | 76303 71708 120 | 0.000 % |
841.10/841.44 c | 1325676 | 800 16000 80000 | 76303 72157 120 | 0.000 % |
841.40/841.74 c | 1326169 | 800 16000 80000 | 76303 72650 120 | 0.000 % |
841.80/842.10 c | 1326711 | 800 16000 80000 | 76303 73192 120 | 0.000 % |
842.10/842.45 c | 1327307 | 800 16000 80000 | 76303 73788 119 | 0.000 % |
842.50/842.86 c | 1327964 | 800 16000 80000 | 76303 74445 119 | 0.000 % |
843.00/843.36 c | 1328685 | 800 16000 80000 | 76303 75166 119 | 0.000 % |
843.50/843.86 c | 1329481 | 800 16000 80000 | 76303 75962 119 | 0.000 % |
844.10/844.48 c | 1330352 | 800 16000 80000 | 76482 66920 119 | 0.000 % |
844.70/845.07 c | 1331310 | 800 16000 80000 | 76482 67878 119 | 0.000 % |
845.40/845.71 c | 1332365 | 800 16000 80000 | 76482 68933 118 | 0.000 % |
846.10/846.41 c | 1333524 | 800 16000 80000 | 76482 70092 118 | 0.000 % |
846.90/847.27 c | 1334798 | 800 16000 80000 | 76482 71366 118 | 0.000 % |
847.80/848.18 c | 1336198 | 800 16000 80000 | 76482 72766 118 | 0.000 % |
848.80/849.10 c | 1337738 | 800 16000 80000 | 76482 74306 118 | 0.000 % |
849.90/850.24 c | 1339432 | 800 16000 80000 | 76482 76000 118 | 0.000 % |
851.10/851.46 c | 1341296 | 800 16000 80000 | 76568 68620 118 | 0.000 % |
852.39/852.72 c | 1343345 | 800 16000 80000 | 76568 70669 118 | 0.000 % |
853.89/854.23 c | 1345600 | 800 16000 80000 | 76568 72924 118 | 0.000 % |
855.50/855.86 c | 1348080 | 800 16000 80000 | 76568 75404 118 | 0.000 % |
857.39/857.74 c | 1350805 | 800 16000 80000 | 67865 60472 117 | 0.000 % |
859.00/859.34 c | 1353802 | 800 16000 80000 | 67865 63469 117 | 0.000 % |
861.10/861.40 c | 1357098 | 800 16000 80000 | 67865 66765 117 | 0.000 % |
863.20/863.56 c | 1360724 | 800 16000 80000 | 2147483647 63576 117 | 0.000 % |
865.70/866.00 c | 1364712 | 800 16000 80000 | 2147483647 67564 117 | 0.000 % |
868.30/868.69 c | 1369097 | 800 16000 80000 | 2147483647 71949 117 | 0.000 % |
871.70/872.01 c | 1373920 | 800 16000 80000 | 2147483647 76772 117 | 0.000 % |
875.20/875.60 c | 1379225 | 800 16000 80000 | 2147483647 82077 118 | 0.000 % |
879.19/879.51 c | 1385061 | 800 16000 80000 | 82852 76481 117 | 0.000 % |
883.49/883.87 c | 1391479 | 800 16000 80000 | 81421 70760 116 | 0.000 % |
888.19/888.59 c | 1398540 | 800 16000 80000 | 81421 77821 117 | 0.000 % |
893.38/893.70 c | 1406305 | 800 16000 80000 | 79281 74146 118 | 0.000 % |
898.98/899.38 c | 1414846 | 800 16000 80000 | 77843 72222 118 | 0.000 % |
905.18/905.59 c | 1424242 | 800 16000 80000 | 77378 72044 119 | 0.000 % |
912.18/912.57 c | 1434575 | 800 16000 80000 | 68484 64825 120 | 0.000 % |
918.68/919.08 c | 1445941 | 800 16000 80000 | 63219 62659 120 | 0.000 % |
925.98/926.36 c | 1458443 | 800 16000 80000 | 2147483647 68808 122 | 0.000 % |
926.08/926.41 c | 1458543 | 800 16000 80000 | 2147483647 68908 122 | 0.000 % |
926.17/926.50 c | 1458654 | 800 16000 80000 | 2147483647 69019 122 | 0.000 % |
926.17/926.58 c | 1458775 | 800 16000 80000 | 2147483647 69140 122 | 0.000 % |
926.27/926.66 c | 1458909 | 800 16000 80000 | 2147483647 69274 122 | 0.000 % |
926.37/926.77 c | 1459057 | 800 16000 80000 | 2147483647 69422 122 | 0.000 % |
926.57/926.91 c | 1459217 | 800 16000 80000 | 2147483647 69582 122 | 0.000 % |
926.67/927.04 c | 1459393 | 800 16000 80000 | 2147483647 69758 122 | 0.000 % |
926.77/927.18 c | 1459586 | 800 16000 80000 | 2147483647 69951 122 | 0.000 % |
926.98/927.35 c | 1459799 | 800 16000 80000 | 2147483647 70164 122 | 0.000 % |
927.17/927.52 c | 1460032 | 800 16000 80000 | 70365 70397 122 | 0.000 % |
927.37/927.73 c | 1460288 | 800 16000 80000 | 70365 63058 122 | 0.000 % |
927.47/927.89 c | 1460571 | 800 16000 80000 | 70365 63341 122 | 0.000 % |
927.67/928.09 c | 1460880 | 800 16000 80000 | 70365 63650 122 | 0.000 % |
927.97/928.35 c | 1461220 | 800 16000 80000 | 70365 63990 122 | 0.000 % |
928.17/928.58 c | 1461593 | 800 16000 80000 | 70365 64363 122 | 0.000 % |
928.47/928.86 c | 1462004 | 800 16000 80000 | 70365 64774 122 | 0.000 % |
928.77/929.16 c | 1462454 | 800 16000 80000 | 70365 65224 122 | 0.000 % |
929.07/929.47 c | 1462949 | 800 16000 80000 | 70365 65719 122 | 0.000 % |
929.37/929.77 c | 1463492 | 800 16000 80000 | 70365 66262 121 | 0.000 % |
929.77/930.13 c | 1464089 | 800 16000 80000 | 70365 66859 121 | 0.000 % |
930.27/930.61 c | 1464744 | 800 16000 80000 | 70365 67514 121 | 0.000 % |
930.77/931.11 c | 1465464 | 800 16000 80000 | 70365 68234 121 | 0.000 % |
931.27/931.65 c | 1466259 | 800 16000 80000 | 70365 69029 121 | 0.000 % |
931.87/932.24 c | 1467130 | 800 16000 80000 | 70365 69900 121 | 0.000 % |
932.47/932.87 c | 1468088 | 800 16000 80000 | 70365 63360 121 | 0.000 % |
933.17/933.55 c | 1469142 | 800 16000 80000 | 70365 64414 121 | 0.000 % |
933.87/934.27 c | 1470301 | 800 16000 80000 | 65272 59001 121 | 0.000 % |
934.57/934.97 c | 1471574 | 800 16000 80000 | 65272 60274 121 | 0.000 % |
935.37/935.76 c | 1472975 | 800 16000 80000 | 65272 61675 121 | 0.000 % |
936.27/936.64 c | 1474515 | 800 16000 80000 | 65272 63215 121 | 0.000 % |
937.27/937.64 c | 1476209 | 800 16000 80000 | 65272 64909 121 | 0.000 % |
938.37/938.78 c | 1478073 | 800 16000 80000 | 65272 60219 121 | 0.000 % |
939.47/939.85 c | 1480123 | 800 16000 80000 | 2147483647 62269 120 | 0.000 % |
940.67/941.08 c | 1482376 | 800 16000 80000 | 2147483647 64522 120 | 0.000 % |
942.17/942.52 c | 1484854 | 800 16000 80000 | 2147483647 67000 120 | 0.000 % |
943.67/944.06 c | 1487579 | 800 16000 80000 | 2147483647 69725 120 | 0.000 % |
945.57/945.98 c | 1490576 | 800 16000 80000 | 2147483647 72722 120 | 0.000 % |
947.77/948.20 c | 1493872 | 800 16000 80000 | 2147483647 76018 119 | 0.000 % |
950.36/950.74 c | 1497497 | 800 16000 80000 | 2147483647 79643 120 | 0.000 % |
953.27/953.62 c | 1501484 | 800 16000 80000 | 82147 72051 118 | 0.000 % |
956.26/956.63 c | 1505870 | 800 16000 80000 | 82147 76437 119 | 0.000 % |
959.76/960.15 c | 1510694 | 800 16000 80000 | 80567 70076 118 | 0.000 % |
963.16/963.57 c | 1515999 | 800 16000 80000 | 80567 75381 118 | 0.000 % |
967.06/967.48 c | 1521838 | 800 16000 80000 | 79382 71536 117 | 0.000 % |
971.36/971.78 c | 1528256 | 800 16000 80000 | 79382 77954 117 | 0.000 % |
976.06/976.49 c | 1535315 | 800 16000 80000 | 70123 67152 117 | 0.000 % |
981.36/981.71 c | 1543079 | 800 16000 80000 | 2147483647 67876 117 | 0.000 % |
986.46/986.80 c | 1551619 | 800 16000 80000 | 74797 67436 118 | 0.000 % |
992.16/992.51 c | 1561013 | 800 16000 80000 | 67564 61159 119 | 0.000 % |
997.56/997.92 c | 1571347 | 800 16000 80000 | 2147483647 64709 119 | 0.000 % |
1004.86/1005.22 c | 1582715 | 800 16000 80000 | 73363 68186 119 | 0.000 % |
1012.66/1013.09 c | 1595220 | 800 16000 80000 | 67159 64733 119 | 0.000 % |
1022.56/1022.92 c | 1608972 | 800 16000 80000 | 2147483647 71646 120 | 0.000 % |
1022.56/1023.00 c | 1609072 | 800 16000 80000 | 2147483647 71746 120 | 0.000 % |
1022.65/1023.08 c | 1609182 | 800 16000 80000 | 2147483647 71856 120 | 0.000 % |
1022.75/1023.18 c | 1609305 | 800 16000 80000 | 2147483647 71979 120 | 0.000 % |
1022.85/1023.28 c | 1609439 | 800 16000 80000 | 2147483647 72113 120 | 0.000 % |
1022.95/1023.38 c | 1609586 | 800 16000 80000 | 2147483647 72260 120 | 0.000 % |
1023.15/1023.51 c | 1609749 | 800 16000 80000 | 2147483647 72423 120 | 0.000 % |
1023.25/1023.64 c | 1609926 | 800 16000 80000 | 2147483647 72600 120 | 0.000 % |
1023.35/1023.79 c | 1610119 | 800 16000 80000 | 72679 72793 120 | 0.000 % |
1023.55/1023.97 c | 1610332 | 800 16000 80000 | 72679 63331 120 | 0.000 % |
1023.75/1024.12 c | 1610565 | 800 16000 80000 | 72679 63564 120 | 0.000 % |
1023.85/1024.29 c | 1610822 | 800 16000 80000 | 72679 63821 120 | 0.000 % |
1024.05/1024.46 c | 1611104 | 800 16000 80000 | 72679 64103 120 | 0.000 % |
1024.25/1024.64 c | 1611414 | 800 16000 80000 | 72679 64413 120 | 0.000 % |
1024.45/1024.84 c | 1611753 | 800 16000 80000 | 72679 64752 120 | 0.000 % |
1024.65/1025.07 c | 1612126 | 800 16000 80000 | 72679 65125 120 | 0.000 % |
1024.95/1025.32 c | 1612536 | 800 16000 80000 | 72679 65535 119 | 0.000 % |
1025.25/1025.61 c | 1612985 | 800 16000 80000 | 72679 65984 119 | 0.000 % |
1025.55/1025.90 c | 1613479 | 800 16000 80000 | 72679 66478 119 | 0.000 % |
1025.85/1026.25 c | 1614022 | 800 16000 80000 | 72679 67021 119 | 0.000 % |
1026.35/1026.70 c | 1614620 | 800 16000 80000 | 72679 67619 119 | 0.000 % |
1026.65/1027.09 c | 1615275 | 800 16000 80000 | 72679 68274 119 | 0.000 % |
1027.15/1027.53 c | 1615995 | 800 16000 80000 | 72679 68994 119 | 0.000 % |
1027.55/1027.99 c | 1616788 | 800 16000 80000 | 72679 69787 119 | 0.000 % |
1028.15/1028.54 c | 1617659 | 800 16000 80000 | 72679 70658 119 | 0.000 % |
1028.75/1029.11 c | 1618618 | 800 16000 80000 | 72679 71617 119 | 0.000 % |
1029.35/1029.72 c | 1619671 | 800 16000 80000 | 72679 72670 118 | 0.000 % |
1030.05/1030.44 c | 1620829 | 800 16000 80000 | 65069 59067 118 | 0.000 % |
1030.75/1031.13 c | 1622103 | 800 16000 80000 | 65069 60341 118 | 0.000 % |
1031.55/1031.96 c | 1623503 | 800 16000 80000 | 65069 61741 118 | 0.000 % |
1032.55/1032.92 c | 1625045 | 800 16000 80000 | 65069 63283 117 | 0.000 % |
1033.55/1033.94 c | 1626740 | 800 16000 80000 | 65069 64978 117 | 0.000 % |
1034.55/1034.99 c | 1628603 | 800 16000 80000 | 65069 60310 117 | 0.000 % |
1035.75/1036.12 c | 1630652 | 800 16000 80000 | 2147483647 62359 117 | 0.000 % |
1037.15/1037.50 c | 1632905 | 800 16000 80000 | 2147483647 64612 117 | 0.000 % |
1038.45/1038.88 c | 1635385 | 800 16000 80000 | 2147483647 67092 117 | 0.000 % |
1040.25/1040.62 c | 1638111 | 800 16000 80000 | 2147483647 69818 117 | 0.000 % |
1042.04/1042.43 c | 1641108 | 800 16000 80000 | 2147483647 72815 117 | 0.000 % |
1044.14/1044.59 c | 1644405 | 800 16000 80000 | 2147483647 76112 117 | 0.000 % |
1046.74/1047.19 c | 1648032 | 800 16000 80000 | 2147483647 79739 117 | 0.000 % |
1049.54/1049.90 c | 1652019 | 800 16000 80000 | 81707 72677 117 | 0.000 % |
1052.54/1052.92 c | 1656405 | 800 16000 80000 | 81707 77063 117 | 0.000 % |
1055.84/1056.20 c | 1661228 | 800 16000 80000 | 80659 70526 116 | 0.000 % |
1059.34/1059.71 c | 1666533 | 800 16000 80000 | 80659 75831 117 | 0.000 % |
1063.14/1063.60 c | 1672369 | 800 16000 80000 | 79303 70990 116 | 0.000 % |
1067.53/1067.96 c | 1678787 | 800 16000 80000 | 79303 77408 117 | 0.000 % |
1072.33/1072.74 c | 1685848 | 800 16000 80000 | 78623 73842 117 | 0.000 % |
1078.03/1078.44 c | 1693612 | 800 16000 80000 | 77996 71142 118 | 0.000 % |
1084.23/1084.66 c | 1702153 | 800 16000 80000 | 77534 68956 119 | 0.000 % |
1091.03/1091.49 c | 1711547 | 800 16000 80000 | 76803 67821 120 | 0.000 % |
1097.43/1097.84 c | 1721881 | 800 16000 80000 | 76274 67230 120 | 0.000 % |
1104.72/1105.14 c | 1733248 | 800 16000 80000 | 75349 68469 121 | 0.000 % |
1112.83/1113.21 c | 1745750 | 800 16000 80000 | 75221 71566 120 | 0.000 % |
1122.32/1122.70 c | 1759502 | 800 16000 80000 | 66761 61294 121 | 0.000 % |
1130.61/1131.03 c | 1774630 | 800 16000 80000 | 2147483647 64007 122 | 0.000 % |
1130.61/1131.09 c | 1774730 | 800 16000 80000 | 2147483647 64107 122 | 0.000 % |
1130.71/1131.16 c | 1774840 | 800 16000 80000 | 2147483647 64217 122 | 0.000 % |
1130.81/1131.24 c | 1774962 | 800 16000 80000 | 2147483647 64339 121 | 0.000 % |
1130.91/1131.33 c | 1775095 | 800 16000 80000 | 2147483647 64472 121 | 0.000 % |
1131.01/1131.44 c | 1775243 | 800 16000 80000 | 2147483647 64620 121 | 0.000 % |
1131.11/1131.55 c | 1775403 | 800 16000 80000 | 2147483647 64780 121 | 0.000 % |
1131.21/1131.68 c | 1775579 | 800 16000 80000 | 2147483647 64956 121 | 0.000 % |
1131.42/1131.82 c | 1775774 | 800 16000 80000 | 2147483647 65151 121 | 0.000 % |
1131.52/1131.97 c | 1775988 | 800 16000 80000 | 2147483647 65365 121 | 0.000 % |
1131.71/1132.13 c | 1776221 | 800 16000 80000 | 2147483647 65598 121 | 0.000 % |
1131.91/1132.32 c | 1776477 | 800 16000 80000 | 2147483647 65854 121 | 0.000 % |
1132.01/1132.49 c | 1776758 | 800 16000 80000 | 2147483647 66135 121 | 0.000 % |
1132.21/1132.69 c | 1777068 | 800 16000 80000 | 2147483647 66445 121 | 0.000 % |
1132.52/1132.94 c | 1777408 | 800 16000 80000 | 2147483647 66785 121 | 0.000 % |
1132.81/1133.21 c | 1777780 | 800 16000 80000 | 2147483647 67157 121 | 0.000 % |
1133.01/1133.49 c | 1778189 | 800 16000 80000 | 2147483647 67566 121 | 0.000 % |
1133.31/1133.76 c | 1778639 | 800 16000 80000 | 2147483647 68016 121 | 0.000 % |
1133.62/1134.06 c | 1779132 | 800 16000 80000 | 2147483647 68509 121 | 0.000 % |
1134.01/1134.41 c | 1779675 | 800 16000 80000 | 2147483647 69052 121 | 0.000 % |
1134.31/1134.79 c | 1780272 | 800 16000 80000 | 69377 69649 120 | 0.000 % |
1134.71/1135.20 c | 1780927 | 800 16000 80000 | 69377 63164 120 | 0.000 % |
1135.21/1135.66 c | 1781650 | 800 16000 80000 | 69377 63887 120 | 0.000 % |
1135.71/1136.16 c | 1782443 | 800 16000 80000 | 69377 64680 120 | 0.000 % |
1136.21/1136.67 c | 1783315 | 800 16000 80000 | 69377 65552 120 | 0.000 % |
1136.81/1137.25 c | 1784273 | 800 16000 80000 | 69377 66510 120 | 0.000 % |
1137.41/1137.86 c | 1785326 | 800 16000 80000 | 69377 67563 120 | 0.000 % |
1138.11/1138.56 c | 1786484 | 800 16000 80000 | 69377 68721 120 | 0.000 % |
1138.91/1139.32 c | 1787757 | 800 16000 80000 | 69377 63029 119 | 0.000 % |
1139.71/1140.13 c | 1789158 | 800 16000 80000 | 69377 64430 119 | 0.000 % |
1140.51/1140.94 c | 1790698 | 800 16000 80000 | 2147483647 65970 119 | 0.000 % |
1141.41/1141.87 c | 1792392 | 800 16000 80000 | 2147483647 67664 119 | 0.000 % |
1142.51/1142.92 c | 1794255 | 800 16000 80000 | 2147483647 69527 119 | 0.000 % |
1143.71/1144.11 c | 1796304 | 800 16000 80000 | 2147483647 71576 118 | 0.000 % |
1145.11/1145.50 c | 1798557 | 800 16000 80000 | 2147483647 73829 118 | 0.000 % |
1146.81/1147.27 c | 1801037 | 800 16000 80000 | 2147483647 76309 118 | 0.000 % |
1148.71/1149.18 c | 1803763 | 800 16000 80000 | 2147483647 79035 118 | 0.000 % |
1150.91/1151.31 c | 1806760 | 800 16000 80000 | 2147483647 82032 118 | 0.000 % |
1153.31/1153.71 c | 1810057 | 800 16000 80000 | 85274 85329 118 | 0.000 % |
1155.81/1156.23 c | 1813683 | 800 16000 80000 | 85274 76850 118 | 0.000 % |
1158.81/1159.25 c | 1817670 | 800 16000 80000 | 85274 80837 118 | 0.000 % |
1161.91/1162.35 c | 1822055 | 800 16000 80000 | 83168 72571 118 | 0.000 % |
1165.20/1165.65 c | 1826878 | 800 16000 80000 | 83168 77394 118 | 0.000 % |
1168.81/1169.28 c | 1832184 | 800 16000 80000 | 80517 70721 117 | 0.000 % |
1172.60/1173.09 c | 1838019 | 800 16000 80000 | 80517 76556 117 | 0.000 % |
1176.80/1177.29 c | 1844437 | 800 16000 80000 | 78539 72146 115 | 0.000 % |
1181.80/1182.20 c | 1851497 | 800 16000 80000 | 77710 68847 118 | 0.000 % |
1187.20/1187.62 c | 1859262 | 800 16000 80000 | 77710 76612 118 | 0.000 % |
1193.59/1194.05 c | 1867802 | 800 16000 80000 | 77350 75480 119 | 0.000 % |
1199.89/1200.36 c | 1877196 | 800 16000 80000 | 67082 65262 121 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832469-1242773773/watcher-1832469-1242773773 -o /tmp/evaluation-result-1832469-1242773773/solver-1832469-1242773773 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832469-1242773773.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.01 1.01 0.98 3/64 15208
/proc/meminfo: memFree=1928440/2055920 swapFree=4179956/4192956
[pid=15208] ppid=15206 vsize=5356 CPUtime=0
/proc/15208/stat : 15208 (SatELiteGTI) S 15206 15208 14946 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305410883 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15208/statm: 1339 237 197 169 0 50 0
[startup+0.0279609 s]
/proc/loadavg: 1.01 1.01 0.98 3/64 15208
/proc/meminfo: memFree=1928440/2055920 swapFree=4179956/4192956
[pid=15208] ppid=15206 vsize=5356 CPUtime=0
/proc/15208/stat : 15208 (SatELiteGTI) S 15206 15208 14946 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305410883 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15208/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101967 s]
/proc/loadavg: 1.01 1.01 0.98 3/64 15208
/proc/meminfo: memFree=1928440/2055920 swapFree=4179956/4192956
[pid=15208] ppid=15206 vsize=5356 CPUtime=0.03
/proc/15208/stat : 15208 (SatELiteGTI) S 15206 15208 14946 0 -1 4194304 336 691 0 0 0 0 2 1 16 0 1 0 305410883 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15208/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.301982 s]
/proc/loadavg: 1.01 1.01 0.98 3/64 15208
/proc/meminfo: memFree=1928440/2055920 swapFree=4179956/4192956
[pid=15208] ppid=15206 vsize=5356 CPUtime=0.03
/proc/15208/stat : 15208 (SatELiteGTI) S 15206 15208 14946 0 -1 4194304 336 691 0 0 0 0 2 1 16 0 1 0 305410883 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15208/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.703009 s]
/proc/loadavg: 1.01 1.01 0.98 3/64 15208
/proc/meminfo: memFree=1928440/2055920 swapFree=4179956/4192956
[pid=15208] ppid=15206 vsize=5356 CPUtime=0.03
/proc/15208/stat : 15208 (SatELiteGTI) S 15206 15208 14946 0 -1 4194304 336 691 0 0 0 0 2 1 16 0 1 0 305410883 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15208/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+1.50105 s]
/proc/loadavg: 1.01 1.01 0.98 2/66 15214
/proc/meminfo: memFree=1923816/2055920 swapFree=4179956/4192956
[pid=15208] ppid=15206 vsize=5356 CPUtime=0.03
/proc/15208/stat : 15208 (SatELiteGTI) S 15206 15208 14946 0 -1 4194304 336 691 0 0 0 0 2 1 16 0 1 0 305410883 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15208/statm: 1339 239 197 169 0 50 0
[pid=15214] ppid=15208 vsize=6056 CPUtime=1.43
/proc/15214/stat : 15214 (minisat_static) R 15208 15208 14946 0 -1 4194304 1247 0 0 0 143 0 0 0 25 0 1 0 305410888 6201344 1233 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/15214/statm: 1514 1233 77 171 0 1341 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 11412
[startup+3.10116 s]
/proc/loadavg: 1.01 1.01 0.98 2/66 15214
/proc/meminfo: memFree=1921128/2055920 swapFree=4179956/4192956
[pid=15208] ppid=15206 vsize=5356 CPUtime=0.03
/proc/15208/stat : 15208 (SatELiteGTI) S 15206 15208 14946 0 -1 4194304 336 691 0 0 0 0 2 1 16 0 1 0 305410883 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15208/statm: 1339 239 197 169 0 50 0
[pid=15214] ppid=15208 vsize=10304 CPUtime=3.03
/proc/15214/stat : 15214 (minisat_static) R 15208 15208 14946 0 -1 4194304 2322 0 0 0 302 1 0 0 25 0 1 0 305410888 10551296 2308 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/15214/statm: 2576 2308 77 171 0 2403 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 15660
[startup+6.30136 s]
/proc/loadavg: 1.01 1.01 0.98 2/66 15214
/proc/meminfo: memFree=1914152/2055920 swapFree=4179956/4192956
[pid=15208] ppid=15206 vsize=5356 CPUtime=0.03
/proc/15208/stat : 15208 (SatELiteGTI) S 15206 15208 14946 0 -1 4194304 336 691 0 0 0 0 2 1 16 0 1 0 305410883 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15208/statm: 1339 239 197 169 0 50 0
[pid=15214] ppid=15208 vsize=16156 CPUtime=6.23
/proc/15214/stat : 15214 (minisat_static) R 15208 15208 14946 0 -1 4194304 3758 0 0 0 621 2 0 0 25 0 1 0 305410888 16543744 3744 1992294400 134512640 135215339 4294956240 18446744073709551615 134743406 0 0 4096 3 0 0 0 17 1 0 0
/proc/15214/statm: 4039 3744 77 171 0 3866 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 21512
[startup+12.7018 s]
/proc/loadavg: 1.00 1.01 0.98 2/66 15214
/proc/meminfo: memFree=1905640/2055920 swapFree=4179956/4192956
[pid=15208] ppid=15206 vsize=5356 CPUtime=0.03
/proc/15208/stat : 15208 (SatELiteGTI) S 15206 15208 14946 0 -1 4194304 336 691 0 0 0 0 2 1 16 0 1 0 305410883 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15208/statm: 1339 239 197 169 0 50 0
[pid=15214] ppid=15208 vsize=24024 CPUtime=12.63
/proc/15214/stat : 15214 (minisat_static) R 15208 15208 14946 0 -1 4194304 5721 0 0 0 1258 5 0 0 25 0 1 0 305410888 24600576 5707 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/15214/statm: 6006 5707 77 171 0 5833 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 29380
[startup+25.5016 s]
/proc/loadavg: 1.00 1.01 0.98 2/66 15214
/proc/meminfo: memFree=1894248/2055920 swapFree=4179956/4192956
[pid=15208] ppid=15206 vsize=5356 CPUtime=0.03
/proc/15208/stat : 15208 (SatELiteGTI) S 15206 15208 14946 0 -1 4194304 336 691 0 0 0 0 2 1 16 0 1 0 305410883 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15208/statm: 1339 239 197 169 0 50 0
[pid=15214] ppid=15208 vsize=34968 CPUtime=25.43
/proc/15214/stat : 15214 (minisat_static) R 15208 15208 14946 0 -1 4194304 8439 0 0 0 2534 9 0 0 25 0 1 0 305410888 35807232 8425 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/15214/statm: 8742 8425 77 171 0 8569 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 40324
[startup+51.1012 s]
/proc/loadavg: 1.00 1.01 0.98 2/66 15214
/proc/meminfo: memFree=1890984/2055920 swapFree=4179956/4192956
[pid=15208] ppid=15206 vsize=5356 CPUtime=0.03
/proc/15208/stat : 15208 (SatELiteGTI) S 15206 15208 14946 0 -1 4194304 336 691 0 0 0 0 2 1 16 0 1 0 305410883 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15208/statm: 1339 239 197 169 0 50 0
[pid=15214] ppid=15208 vsize=37872 CPUtime=51.02
/proc/15214/stat : 15214 (minisat_static) R 15208 15208 14946 0 -1 4194304 9192 0 0 0 5092 10 0 0 25 0 1 0 305410888 38780928 9178 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15214/statm: 9468 9178 77 171 0 9295 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 43228
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 15214
/proc/meminfo: memFree=1890344/2055920 swapFree=4179956/4192956
[pid=15208] ppid=15206 vsize=5356 CPUtime=0.03
/proc/15208/stat : 15208 (SatELiteGTI) S 15206 15208 14946 0 -1 4194304 336 691 0 0 0 0 2 1 16 0 1 0 305410883 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15208/statm: 1339 239 197 169 0 50 0
[pid=15214] ppid=15208 vsize=38532 CPUtime=102.22
/proc/15214/stat : 15214 (minisat_static) R 15208 15208 14946 0 -1 4194304 9341 0 0 0 10211 11 0 0 25 0 1 0 305410888 39456768 9327 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15214/statm: 9633 9327 77 171 0 9460 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 43888
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 15214
/proc/meminfo: memFree=1885544/2055920 swapFree=4179956/4192956
[pid=15208] ppid=15206 vsize=5356 CPUtime=0.03
/proc/15208/stat : 15208 (SatELiteGTI) S 15206 15208 14946 0 -1 4194304 336 691 0 0 0 0 2 1 16 0 1 0 305410883 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15208/statm: 1339 239 197 169 0 50 0
[pid=15214] ppid=15208 vsize=43020 CPUtime=162.19
/proc/15214/stat : 15214 (minisat_static) R 15208 15208 14946 0 -1 4194304 10497 0 0 0 16207 12 0 0 25 0 1 0 305410888 44052480 10483 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15214/statm: 10755 10483 77 171 0 10582 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 48376
[startup+222.301 s]
/proc/loadavg: 1.07 1.03 1.00 2/66 15214
/proc/meminfo: memFree=1884200/2055920 swapFree=4179956/4192956
[pid=15208] ppid=15206 vsize=5356 CPUtime=0.03
/proc/15208/stat : 15208 (SatELiteGTI) S 15206 15208 14946 0 -1 4194304 336 691 0 0 0 0 2 1 16 0 1 0 305410883 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15208/statm: 1339 239 197 169 0 50 0
[pid=15214] ppid=15208 vsize=44340 CPUtime=222.18
/proc/15214/stat : 15214 (minisat_static) R 15208 15208 14946 0 -1 4194304 10822 0 0 0 22205 13 0 0 25 0 1 0 305410888 45404160 10808 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15214/statm: 11085 10808 77 171 0 10912 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 49696
[startup+282.301 s]
/proc/loadavg: 1.02 1.02 1.00 2/66 15214
/proc/meminfo: memFree=1884072/2055920 swapFree=4179956/4192956
[pid=15208] ppid=15206 vsize=5356 CPUtime=0.03
/proc/15208/stat : 15208 (SatELiteGTI) S 15206 15208 14946 0 -1 4194304 336 691 0 0 0 0 2 1 16 0 1 0 305410883 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15208/statm: 1339 239 197 169 0 50 0
[pid=15214] ppid=15208 vsize=44196 CPUtime=282.15
/proc/15214/stat : 15214 (minisat_static) R 15208 15208 14946 0 -1 4194304 10822 0 0 0 28202 13 0 0 25 0 1 0 305410888 45256704 10779 1992294400 134512640 135215339 4294956240 18446744073709551615 134528872 0 0 4096 3 0 0 0 17 1 0 0
/proc/15214/statm: 11049 10779 77 171 0 10876 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 49552
[startup+342.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/66 15220
/proc/meminfo: memFree=1882592/2055920 swapFree=4179956/4192956
[pid=15208] ppid=15206 vsize=5356 CPUtime=0.03
/proc/15208/stat : 15208 (SatELiteGTI) S 15206 15208 14946 0 -1 4194304 336 691 0 0 0 0 2 1 16 0 1 0 305410883 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15208/statm: 1339 239 197 169 0 50 0
[pid=15214] ppid=15208 vsize=45516 CPUtime=342.13
/proc/15214/stat : 15214 (minisat_static) R 15208 15208 14946 0 -1 4194304 11152 0 0 0 34199 14 0 0 25 0 1 0 305410888 46608384 11109 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/15214/statm: 11379 11109 77 171 0 11206 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 50872
[startup+402.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 15220
/proc/meminfo: memFree=1882528/2055920 swapFree=4179956/4192956
[pid=15208] ppid=15206 vsize=5356 CPUtime=0.03
/proc/15208/stat : 15208 (SatELiteGTI) S 15206 15208 14946 0 -1 4194304 336 691 0 0 0 0 2 1 16 0 1 0 305410883 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15208/statm: 1339 239 197 169 0 50 0
[pid=15214] ppid=15208 vsize=45516 CPUtime=402.11
/proc/15214/stat : 15214 (minisat_static) R 15208 15208 14946 0 -1 4194304 11152 0 0 0 40196 15 0 0 25 0 1 0 305410888 46608384 11109 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15214/statm: 11379 11109 77 171 0 11206 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 50872
[startup+462.303 s]
################
# More data... #
################
/proc/15214/statm: 11780 11509 77 171 0 11607 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 52476
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15220
/proc/meminfo: memFree=1880360/2055920 swapFree=4179956/4192956
[pid=15208] ppid=15206 vsize=5356 CPUtime=0.03
/proc/15208/stat : 15208 (SatELiteGTI) S 15206 15208 14946 0 -1 4194304 336 691 0 0 0 0 2 1 16 0 1 0 305410883 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15208/statm: 1339 239 197 169 0 50 0
[pid=15214] ppid=15208 vsize=47384 CPUtime=642.04
/proc/15214/stat : 15214 (minisat_static) R 15208 15208 14946 0 -1 4194304 11599 0 0 0 64187 17 0 0 25 0 1 0 305410888 48521216 11556 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15214/statm: 11846 11556 77 171 0 11673 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 52740
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15220
/proc/meminfo: memFree=1880232/2055920 swapFree=4179956/4192956
[pid=15208] ppid=15206 vsize=5356 CPUtime=0.03
/proc/15208/stat : 15208 (SatELiteGTI) S 15206 15208 14946 0 -1 4194304 336 691 0 0 0 0 2 1 16 0 1 0 305410883 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15208/statm: 1339 239 197 169 0 50 0
[pid=15214] ppid=15208 vsize=47384 CPUtime=702.02
/proc/15214/stat : 15214 (minisat_static) R 15208 15208 14946 0 -1 4194304 11599 0 0 0 70185 17 0 0 25 0 1 0 305410888 48521216 11556 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/15214/statm: 11846 11556 77 171 0 11673 0
Current children cumulated CPU time (s) 702.05
Current children cumulated vsize (KiB) 52740
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15220
/proc/meminfo: memFree=1880104/2055920 swapFree=4179956/4192956
[pid=15208] ppid=15206 vsize=5356 CPUtime=0.03
/proc/15208/stat : 15208 (SatELiteGTI) S 15206 15208 14946 0 -1 4194304 336 691 0 0 0 0 2 1 16 0 1 0 305410883 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15208/statm: 1339 239 197 169 0 50 0
[pid=15214] ppid=15208 vsize=47384 CPUtime=762
/proc/15214/stat : 15214 (minisat_static) R 15208 15208 14946 0 -1 4194304 11599 0 0 0 76183 17 0 0 25 0 1 0 305410888 48521216 11556 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15214/statm: 11846 11556 77 171 0 11673 0
Current children cumulated CPU time (s) 762.03
Current children cumulated vsize (KiB) 52740
[startup+822.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15220
/proc/meminfo: memFree=1880104/2055920 swapFree=4179956/4192956
[pid=15208] ppid=15206 vsize=5356 CPUtime=0.03
/proc/15208/stat : 15208 (SatELiteGTI) S 15206 15208 14946 0 -1 4194304 336 691 0 0 0 0 2 1 16 0 1 0 305410883 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15208/statm: 1339 239 197 169 0 50 0
[pid=15214] ppid=15208 vsize=47384 CPUtime=821.98
/proc/15214/stat : 15214 (minisat_static) R 15208 15208 14946 0 -1 4194304 11599 0 0 0 82181 17 0 0 25 0 1 0 305410888 48521216 11556 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15214/statm: 11846 11556 77 171 0 11673 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 52740
[startup+882.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15220
/proc/meminfo: memFree=1879528/2055920 swapFree=4179956/4192956
[pid=15208] ppid=15206 vsize=5356 CPUtime=0.03
/proc/15208/stat : 15208 (SatELiteGTI) S 15206 15208 14946 0 -1 4194304 336 691 0 0 0 0 2 1 16 0 1 0 305410883 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15208/statm: 1339 239 197 169 0 50 0
[pid=15214] ppid=15208 vsize=47780 CPUtime=881.96
/proc/15214/stat : 15214 (minisat_static) R 15208 15208 14946 0 -1 4194304 11707 0 0 0 88178 18 0 0 25 0 1 0 305410888 48926720 11664 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15214/statm: 11945 11664 77 171 0 11772 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 53136
[startup+942.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15220
/proc/meminfo: memFree=1879400/2055920 swapFree=4179956/4192956
[pid=15208] ppid=15206 vsize=5356 CPUtime=0.03
/proc/15208/stat : 15208 (SatELiteGTI) S 15206 15208 14946 0 -1 4194304 336 691 0 0 0 0 2 1 16 0 1 0 305410883 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15208/statm: 1339 239 197 169 0 50 0
[pid=15214] ppid=15208 vsize=47780 CPUtime=941.94
/proc/15214/stat : 15214 (minisat_static) R 15208 15208 14946 0 -1 4194304 11707 0 0 0 94176 18 0 0 25 0 1 0 305410888 48926720 11664 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/15214/statm: 11945 11664 77 171 0 11772 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 53136
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15220
/proc/meminfo: memFree=1878952/2055920 swapFree=4179956/4192956
[pid=15208] ppid=15206 vsize=5356 CPUtime=0.03
/proc/15208/stat : 15208 (SatELiteGTI) S 15206 15208 14946 0 -1 4194304 336 691 0 0 0 0 2 1 16 0 1 0 305410883 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15208/statm: 1339 239 197 169 0 50 0
[pid=15214] ppid=15208 vsize=48176 CPUtime=1001.93
/proc/15214/stat : 15214 (minisat_static) R 15208 15208 14946 0 -1 4194304 11818 0 0 0 100174 19 0 0 25 0 1 0 305410888 49332224 11775 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/15214/statm: 12044 11775 77 171 0 11871 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 53532
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15220
/proc/meminfo: memFree=1878824/2055920 swapFree=4179956/4192956
[pid=15208] ppid=15206 vsize=5356 CPUtime=0.03
/proc/15208/stat : 15208 (SatELiteGTI) S 15206 15208 14946 0 -1 4194304 336 691 0 0 0 0 2 1 16 0 1 0 305410883 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15208/statm: 1339 239 197 169 0 50 0
[pid=15214] ppid=15208 vsize=48176 CPUtime=1061.91
/proc/15214/stat : 15214 (minisat_static) R 15208 15208 14946 0 -1 4194304 11818 0 0 0 106172 19 0 0 25 0 1 0 305410888 49332224 11775 1992294400 134512640 135215339 4294956240 18446744073709551615 134545713 0 0 4096 3 0 0 0 17 1 0 0
/proc/15214/statm: 12044 11775 77 171 0 11871 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 53532
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15220
/proc/meminfo: memFree=1878760/2055920 swapFree=4179956/4192956
[pid=15208] ppid=15206 vsize=5356 CPUtime=0.03
/proc/15208/stat : 15208 (SatELiteGTI) S 15206 15208 14946 0 -1 4194304 336 691 0 0 0 0 2 1 16 0 1 0 305410883 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15208/statm: 1339 239 197 169 0 50 0
[pid=15214] ppid=15208 vsize=48176 CPUtime=1121.89
/proc/15214/stat : 15214 (minisat_static) R 15208 15208 14946 0 -1 4194304 11818 0 0 0 112170 19 0 0 25 0 1 0 305410888 49332224 11775 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/15214/statm: 12044 11775 77 171 0 11871 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 53532
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15220
/proc/meminfo: memFree=1877160/2055920 swapFree=4179956/4192956
[pid=15208] ppid=15206 vsize=5356 CPUtime=0.03
/proc/15208/stat : 15208 (SatELiteGTI) S 15206 15208 14946 0 -1 4194304 336 691 0 0 0 0 2 1 16 0 1 0 305410883 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15208/statm: 1339 239 197 169 0 50 0
[pid=15214] ppid=15208 vsize=49760 CPUtime=1181.87
/proc/15214/stat : 15214 (minisat_static) R 15208 15208 14946 0 -1 4194304 12205 0 0 0 118167 20 0 0 25 0 1 0 305410888 50954240 12162 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/15214/statm: 12440 12162 77 171 0 12267 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 55116
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15220
/proc/meminfo: memFree=1877032/2055920 swapFree=4179956/4192956
[pid=15208] ppid=15206 vsize=5356 CPUtime=0.03
/proc/15208/stat : 15208 (SatELiteGTI) S 15206 15208 14946 0 -1 4194304 336 691 0 0 0 0 2 1 16 0 1 0 305410883 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15208/statm: 1339 239 197 169 0 50 0
[pid=15214] ppid=15208 vsize=49588 CPUtime=1200.07
/proc/15214/stat : 15214 (minisat_static) R 15208 15208 14946 0 -1 4194304 12205 0 0 0 119987 20 0 0 25 0 1 0 305410888 50778112 12129 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/15214/statm: 12397 12129 77 171 0 12224 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 54944
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/66 15220
/proc/meminfo: memFree=1877032/2055920 swapFree=4179956/4192956
[pid=15208] ppid=15206 vsize=5356 CPUtime=0.03
/proc/15208/stat : 15208 (SatELiteGTI) S 15206 15208 14946 0 -1 4194304 336 691 0 0 0 0 2 1 16 0 1 0 305410883 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15208/statm: 1339 239 197 169 0 50 0
[pid=15214] ppid=15208 vsize=49588 CPUtime=1200.07
/proc/15214/stat : 15214 (minisat_static) R 15208 15208 14946 0 -1 4194304 12205 0 0 0 119987 20 0 0 25 0 1 0 305410888 50778112 12129 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/15214/statm: 12397 12129 77 171 0 12224 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 54944
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15208 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=29995
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=18997
# CPU time returned by wait4() is 0.048992
# while last known CPU time is 1200.1
#
# 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.1
CPU user time (s): 1199.89
CPU system time (s): 0.21
CPU usage (%): 99.9657
Max. virtual memory (cumulated for all children) (KiB): 55116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.029995
system time used= 0.018997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1027
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= 6
runsolver used 1.43778 second user time and 3.01454 second system time
The end
Begin job on node22 at 2009-05-20 00:56:13
IDJOB=1832469
IDBENCH=70198
IDSOLVER=671
FILE ID=node22/1832469-1242773773
PBS_JOBID= 9322276
Free space on /tmp= 66416 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/800/unif-k5-r20-v800-c16000-S1748152762-086.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832469-1242773773/watcher-1832469-1242773773 -o /tmp/evaluation-result-1832469-1242773773/solver-1832469-1242773773 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832469-1242773773.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= cb3df87f6ea203a41951f0aeb36ba2e4
RANDOM SEED=730319482
node22.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.232
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.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1928920 kB
Buffers: 16932 kB
Cached: 71744 kB
SwapCached: 7748 kB
Active: 56960 kB
Inactive: 41612 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1928920 kB
SwapTotal: 4192956 kB
SwapFree: 4179956 kB
Dirty: 1968 kB
Writeback: 0 kB
Mapped: 14500 kB
Slab: 14504 kB
Committed_AS: 1129872 kB
PageTables: 1376 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66416 MiB
End job on node22 at 2009-05-20 01:16:16