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.018997 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.05 c | Number of variables: 800 |
0.00/0.05 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 | 102 | 800 16000 80000 | 5333 102 117 | 0.000 % |
0.00/0.08 c | 202 | 800 16000 80000 | 5333 202 111 | 0.000 % |
0.00/0.09 c | 302 | 800 16000 80000 | 5333 302 109 | 0.000 % |
0.00/0.10 c | 413 | 800 16000 80000 | 5333 413 103 | 0.000 % |
0.04/0.11 c | 516 | 800 16000 80000 | 5333 516 104 | 0.000 % |
0.04/0.12 c | 629 | 800 16000 80000 | 5333 629 103 | 0.000 % |
0.04/0.13 c | 753 | 800 16000 80000 | 5333 753 102 | 0.000 % |
0.04/0.14 c | 853 | 800 16000 80000 | 5333 853 102 | 0.000 % |
0.04/0.15 c | 963 | 800 16000 80000 | 5333 963 101 | 0.000 % |
0.04/0.16 c | 1085 | 800 16000 80000 | 5333 1085 100 | 0.000 % |
0.04/0.18 c | 1218 | 800 16000 80000 | 5333 1218 101 | 0.000 % |
0.04/0.19 c | 1318 | 800 16000 80000 | 5333 1318 101 | 0.000 % |
0.04/0.20 c | 1428 | 800 16000 80000 | 5333 1428 101 | 0.000 % |
0.04/0.21 c | 1551 | 800 16000 80000 | 5333 1551 101 | 0.000 % |
0.04/0.22 c | 1685 | 800 16000 80000 | 5333 1685 101 | 0.000 % |
0.04/0.24 c | 1835 | 800 16000 80000 | 5333 1835 102 | 0.000 % |
0.04/0.25 c | 1937 | 800 16000 80000 | 5333 1937 102 | 0.000 % |
0.04/0.26 c | 2050 | 800 16000 80000 | 5333 2050 101 | 0.000 % |
0.04/0.27 c | 2172 | 800 16000 80000 | 5333 2172 102 | 0.000 % |
0.04/0.28 c | 2306 | 800 16000 80000 | 5333 2306 102 | 0.000 % |
0.04/0.30 c | 2452 | 800 16000 80000 | 5333 2452 101 | 0.000 % |
0.04/0.31 c | 2616 | 800 16000 80000 | 5333 2616 102 | 0.000 % |
0.04/0.32 c | 2717 | 800 16000 80000 | 5333 2717 101 | 0.000 % |
0.04/0.34 c | 2827 | 800 16000 80000 | 5333 2827 102 | 0.000 % |
0.04/0.35 c | 2948 | 800 16000 80000 | 5333 2948 101 | 0.000 % |
0.04/0.36 c | 3081 | 800 16000 80000 | 5333 3081 101 | 0.000 % |
0.04/0.37 c | 3227 | 800 16000 80000 | 5333 3227 102 | 0.000 % |
0.04/0.39 c | 3387 | 800 16000 80000 | 5333 3387 102 | 0.000 % |
0.04/0.41 c | 3564 | 800 16000 80000 | 5333 3564 103 | 0.000 % |
0.04/0.42 c | 3665 | 800 16000 80000 | 5333 3665 102 | 0.000 % |
0.04/0.43 c | 3776 | 800 16000 80000 | 5333 3776 103 | 0.000 % |
0.04/0.45 c | 3897 | 800 16000 80000 | 5333 3897 103 | 0.000 % |
0.04/0.46 c | 4030 | 800 16000 80000 | 5333 4030 103 | 0.000 % |
0.04/0.48 c | 4176 | 800 16000 80000 | 5333 4176 104 | 0.000 % |
0.04/0.49 c | 4336 | 800 16000 80000 | 5333 4336 104 | 0.000 % |
0.04/0.51 c | 4512 | 800 16000 80000 | 5333 4512 103 | 0.000 % |
0.04/0.54 c | 4705 | 800 16000 80000 | 5333 4705 104 | 0.000 % |
0.04/0.55 c | 4806 | 800 16000 80000 | 5333 4806 103 | 0.000 % |
0.04/0.56 c | 4917 | 800 16000 80000 | 5333 4917 103 | 0.000 % |
0.04/0.57 c | 5038 | 800 16000 80000 | 5333 5038 103 | 0.000 % |
0.04/0.59 c | 5171 | 800 16000 80000 | 5333 5171 103 | 0.000 % |
0.04/0.60 c | 5318 | 800 16000 80000 | 5333 5318 103 | 0.000 % |
0.04/0.62 c | 5478 | 800 16000 80000 | 5333 5478 103 | 0.000 % |
0.04/0.64 c | 5654 | 800 16000 80000 | 5333 5107 101 | 0.000 % |
0.04/0.67 c | 5850 | 800 16000 80000 | 5333 5303 102 | 0.000 % |
0.04/0.69 c | 6062 | 800 16000 80000 | 5333 5515 102 | 0.000 % |
0.04/0.70 c | 6163 | 800 16000 80000 | 5333 5065 102 | 0.000 % |
0.04/0.72 c | 6274 | 800 16000 80000 | 5333 5176 102 | 0.000 % |
0.04/0.73 c | 6395 | 800 16000 80000 | 5333 5297 102 | 0.000 % |
0.04/0.75 c | 6529 | 800 16000 80000 | 5333 5431 102 | 0.000 % |
0.04/0.77 c | 6675 | 800 16000 80000 | 5333 5034 103 | 0.000 % |
0.04/0.79 c | 6839 | 800 16000 80000 | 5333 5198 103 | 0.000 % |
0.04/0.81 c | 7015 | 800 16000 80000 | 5333 5374 103 | 0.000 % |
0.04/0.83 c | 7208 | 800 16000 80000 | 5333 5030 102 | 0.000 % |
0.04/0.85 c | 7420 | 800 16000 80000 | 5333 5242 103 | 0.000 % |
0.04/0.88 c | 7653 | 800 16000 80000 | 5333 5475 103 | 0.000 % |
0.04/0.89 c | 7754 | 800 16000 80000 | 5333 5029 103 | 0.000 % |
0.04/0.91 c | 7864 | 800 16000 80000 | 5333 5139 103 | 0.000 % |
0.04/0.92 c | 7985 | 800 16000 80000 | 5333 5260 103 | 0.000 % |
0.04/0.94 c | 8119 | 800 16000 80000 | 5333 5394 102 | 0.000 % |
0.04/0.95 c | 8268 | 800 16000 80000 | 5333 5004 102 | 0.000 % |
0.04/0.97 c | 8428 | 800 16000 80000 | 5333 5164 102 | 0.000 % |
0.04/1.00 c | 8606 | 800 16000 80000 | 5333 5342 102 | 0.000 % |
0.04/1.02 c | 8800 | 800 16000 80000 | 5333 5002 102 | 0.000 % |
0.04/1.04 c | 9013 | 800 16000 80000 | 5333 5215 102 | 0.000 % |
0.04/1.07 c | 9246 | 800 16000 80000 | 5333 5448 103 | 0.000 % |
1.08/1.11 c | 9502 | 800 16000 80000 | 5333 5160 103 | 0.000 % |
1.08/1.12 c | 9603 | 800 16000 80000 | 5333 5261 103 | 0.000 % |
1.08/1.14 c | 9713 | 800 16000 80000 | 5333 5371 103 | 0.000 % |
1.08/1.15 c | 9834 | 800 16000 80000 | 5333 4955 104 | 0.000 % |
1.08/1.17 c | 9969 | 800 16000 80000 | 5333 5090 103 | 0.000 % |
1.08/1.19 c | 10115 | 800 16000 80000 | 2147483647 5236 104 | 0.000 % |
1.18/1.21 c | 10282 | 800 16000 80000 | 2147483647 5403 103 | 0.000 % |
1.18/1.23 c | 10460 | 800 16000 80000 | 2147483647 5581 103 | 0.000 % |
1.18/1.25 c | 10655 | 800 16000 80000 | 2147483647 5776 104 | 0.000 % |
1.18/1.28 c | 10867 | 800 16000 80000 | 2147483647 5988 104 | 0.000 % |
1.28/1.31 c | 11101 | 800 16000 80000 | 2147483647 6222 104 | 0.000 % |
1.28/1.34 c | 11357 | 800 16000 80000 | 2147483647 6478 104 | 0.000 % |
1.28/1.38 c | 11640 | 800 16000 80000 | 2147483647 6761 104 | 0.000 % |
1.28/1.39 c | 11742 | 800 16000 80000 | 2147483647 6863 104 | 0.000 % |
1.38/1.41 c | 11857 | 800 16000 80000 | 2147483647 6978 104 | 0.000 % |
1.38/1.43 c | 11980 | 800 16000 80000 | 2147483647 7101 104 | 0.000 % |
1.38/1.44 c | 12114 | 800 16000 80000 | 2147483647 7235 104 | 0.000 % |
1.38/1.46 c | 12260 | 800 16000 80000 | 2147483647 7381 104 | 0.000 % |
1.38/1.49 c | 12420 | 800 16000 80000 | 2147483647 7541 104 | 0.000 % |
1.47/1.51 c | 12598 | 800 16000 80000 | 2147483647 7719 104 | 0.000 % |
1.47/1.54 c | 12792 | 800 16000 80000 | 2147483647 7913 104 | 0.000 % |
1.47/1.57 c | 13006 | 800 16000 80000 | 2147483647 8127 104 | 0.000 % |
1.57/1.60 c | 13240 | 800 16000 80000 | 2147483647 8361 104 | 0.000 % |
1.57/1.63 c | 13497 | 800 16000 80000 | 2147483647 8618 104 | 0.000 % |
1.57/1.67 c | 13779 | 800 16000 80000 | 2147483647 8900 104 | 0.000 % |
1.67/1.72 c | 14088 | 800 16000 80000 | 2147483647 9209 104 | 0.000 % |
1.67/1.73 c | 14189 | 800 16000 80000 | 2147483647 9310 104 | 0.000 % |
1.67/1.75 c | 14299 | 800 16000 80000 | 2147483647 9420 104 | 0.000 % |
1.67/1.77 c | 14421 | 800 16000 80000 | 2147483647 9542 104 | 0.000 % |
1.67/1.79 c | 14555 | 800 16000 80000 | 2147483647 9676 104 | 0.000 % |
1.78/1.81 c | 14701 | 800 16000 80000 | 2147483647 9822 104 | 0.000 % |
1.78/1.83 c | 14862 | 800 16000 80000 | 2147483647 9983 104 | 0.000 % |
1.78/1.86 c | 15039 | 800 16000 80000 | 2147483647 10160 103 | 0.000 % |
1.78/1.89 c | 15232 | 800 16000 80000 | 2147483647 10353 103 | 0.000 % |
1.88/1.93 c | 15444 | 800 16000 80000 | 2147483647 10565 103 | 0.000 % |
1.88/1.96 c | 15678 | 800 16000 80000 | 2147483647 10799 103 | 0.000 % |
1.98/2.00 c | 15936 | 800 16000 80000 | 2147483647 11057 104 | 0.000 % |
1.98/2.05 c | 16217 | 800 16000 80000 | 2147483647 11338 104 | 0.000 % |
1.98/2.10 c | 16528 | 800 16000 80000 | 2147483647 11649 104 | 0.000 % |
2.08/2.15 c | 16870 | 800 16000 80000 | 2147483647 11991 104 | 0.000 % |
2.08/2.17 c | 16971 | 800 16000 80000 | 2147483647 12092 104 | 0.000 % |
2.08/2.19 c | 17081 | 800 16000 80000 | 2147483647 12202 104 | 0.000 % |
2.18/2.21 c | 17202 | 800 16000 80000 | 2147483647 12323 104 | 0.000 % |
2.18/2.23 c | 17335 | 800 16000 80000 | 2147483647 12456 104 | 0.000 % |
2.18/2.26 c | 17481 | 800 16000 80000 | 2147483647 12602 104 | 0.000 % |
2.18/2.28 c | 17642 | 800 16000 80000 | 2147483647 12763 104 | 0.000 % |
2.28/2.31 c | 17819 | 800 16000 80000 | 2147483647 12940 104 | 0.000 % |
2.28/2.35 c | 18012 | 800 16000 80000 | 2147483647 13133 104 | 0.000 % |
2.28/2.39 c | 18225 | 800 16000 80000 | 2147483647 13346 104 | 0.000 % |
2.38/2.43 c | 18458 | 800 16000 80000 | 2147483647 13579 104 | 0.000 % |
2.38/2.48 c | 18716 | 800 16000 80000 | 2147483647 13837 104 | 0.000 % |
2.47/2.53 c | 19000 | 800 16000 80000 | 2147483647 14121 104 | 0.000 % |
2.47/2.58 c | 19309 | 800 16000 80000 | 2147483647 14430 104 | 0.000 % |
2.57/2.64 c | 19648 | 800 16000 80000 | 2147483647 14769 104 | 0.000 % |
2.67/2.71 c | 20021 | 800 16000 80000 | 2147483647 15142 105 | 0.000 % |
2.67/2.74 c | 20122 | 800 16000 80000 | 2147483647 15243 105 | 0.000 % |
2.67/2.76 c | 20234 | 800 16000 80000 | 2147483647 15355 105 | 0.000 % |
2.67/2.78 c | 20355 | 800 16000 80000 | 2147483647 15476 105 | 0.000 % |
2.77/2.81 c | 20489 | 800 16000 80000 | 2147483647 15610 104 | 0.000 % |
2.77/2.84 c | 20636 | 800 16000 80000 | 2147483647 15757 104 | 0.000 % |
2.77/2.87 c | 20797 | 800 16000 80000 | 2147483647 15918 104 | 0.000 % |
2.87/2.91 c | 20975 | 800 16000 80000 | 2147483647 16096 104 | 0.000 % |
2.87/2.94 c | 21170 | 800 16000 80000 | 2147483647 16291 104 | 0.000 % |
2.87/2.98 c | 21383 | 800 16000 80000 | 2147483647 16504 104 | 0.000 % |
2.97/3.03 c | 21616 | 800 16000 80000 | 2147483647 16737 104 | 0.000 % |
2.97/3.08 c | 21873 | 800 16000 80000 | 2147483647 16994 105 | 0.000 % |
3.07/3.15 c | 22154 | 800 16000 80000 | 2147483647 17275 105 | 0.000 % |
3.17/3.21 c | 22463 | 800 16000 80000 | 2147483647 17584 105 | 0.000 % |
3.17/3.29 c | 22802 | 800 16000 80000 | 2147483647 17923 105 | 0.000 % |
3.27/3.37 c | 23175 | 800 16000 80000 | 2147483647 18296 105 | 0.000 % |
3.37/3.45 c | 23585 | 800 16000 80000 | 2147483647 18706 105 | 0.000 % |
3.37/3.48 c | 23685 | 800 16000 80000 | 2147483647 18806 105 | 0.000 % |
3.47/3.51 c | 23797 | 800 16000 80000 | 2147483647 18918 105 | 0.000 % |
3.47/3.54 c | 23920 | 800 16000 80000 | 2147483647 19041 105 | 0.000 % |
3.47/3.57 c | 24053 | 800 16000 80000 | 2147483647 19174 105 | 0.000 % |
3.57/3.61 c | 24199 | 800 16000 80000 | 2147483647 19320 105 | 0.000 % |
3.57/3.64 c | 24359 | 800 16000 80000 | 2147483647 19480 105 | 0.000 % |
3.57/3.68 c | 24536 | 800 16000 80000 | 2147483647 19657 105 | 0.000 % |
3.67/3.73 c | 24731 | 800 16000 80000 | 2147483647 19852 105 | 0.000 % |
3.67/3.78 c | 24945 | 800 16000 80000 | 2147483647 20066 105 | 0.000 % |
3.77/3.84 c | 25178 | 800 16000 80000 | 2147483647 20299 105 | 0.000 % |
3.77/3.90 c | 25436 | 800 16000 80000 | 2147483647 20557 105 | 0.000 % |
3.87/3.96 c | 25717 | 800 16000 80000 | 2147483647 20838 104 | 0.000 % |
3.97/4.03 c | 26028 | 800 16000 80000 | 2147483647 21149 104 | 0.000 % |
4.07/4.12 c | 26367 | 800 16000 80000 | 2147483647 21488 105 | 0.000 % |
4.18/4.21 c | 26739 | 800 16000 80000 | 2147483647 21860 105 | 0.000 % |
4.28/4.30 c | 27149 | 800 16000 80000 | 2147483647 22270 105 | 0.000 % |
4.38/4.41 c | 27599 | 800 16000 80000 | 2147483647 22720 105 | 0.000 % |
4.38/4.43 c | 27699 | 800 16000 80000 | 2147483647 22820 105 | 0.000 % |
4.38/4.46 c | 27809 | 800 16000 80000 | 2147483647 22930 105 | 0.000 % |
4.38/4.49 c | 27931 | 800 16000 80000 | 2147483647 23052 105 | 0.000 % |
4.48/4.53 c | 28064 | 800 16000 80000 | 2147483647 23185 105 | 0.000 % |
4.48/4.57 c | 28211 | 800 16000 80000 | 2147483647 23332 105 | 0.000 % |
4.57/4.61 c | 28372 | 800 16000 80000 | 2147483647 23493 105 | 0.000 % |
4.57/4.66 c | 28549 | 800 16000 80000 | 2147483647 23670 105 | 0.000 % |
4.67/4.72 c | 28742 | 800 16000 80000 | 2147483647 23863 105 | 0.000 % |
4.67/4.77 c | 28955 | 800 16000 80000 | 2147483647 24076 105 | 0.000 % |
4.77/4.84 c | 29190 | 800 16000 80000 | 2147483647 24311 105 | 0.000 % |
4.87/4.90 c | 29447 | 800 16000 80000 | 2147483647 24568 105 | 0.000 % |
4.87/4.97 c | 29728 | 800 16000 80000 | 2147483647 24849 105 | 0.000 % |
4.97/5.05 c | 30037 | 800 16000 80000 | 2147483647 25158 105 | 0.000 % |
5.07/5.15 c | 30377 | 800 16000 80000 | 2147483647 25498 105 | 0.000 % |
5.17/5.25 c | 30749 | 800 16000 80000 | 2147483647 25870 105 | 0.000 % |
5.27/5.36 c | 31158 | 800 16000 80000 | 2147483647 26279 105 | 0.000 % |
5.37/5.49 c | 31607 | 800 16000 80000 | 2147483647 26728 106 | 0.000 % |
5.57/5.64 c | 32100 | 800 16000 80000 | 2147483647 27221 106 | 0.000 % |
5.57/5.67 c | 32200 | 800 16000 80000 | 2147483647 27321 106 | 0.000 % |
5.67/5.70 c | 32310 | 800 16000 80000 | 2147483647 27431 106 | 0.000 % |
5.67/5.73 c | 32431 | 800 16000 80000 | 2147483647 27552 105 | 0.000 % |
5.67/5.77 c | 32565 | 800 16000 80000 | 2147483647 27686 105 | 0.000 % |
5.77/5.82 c | 32711 | 800 16000 80000 | 2147483647 27832 105 | 0.000 % |
5.77/5.87 c | 32872 | 800 16000 80000 | 2147483647 27993 105 | 0.000 % |
5.87/5.92 c | 33048 | 800 16000 80000 | 2147483647 28169 105 | 0.000 % |
5.87/5.99 c | 33242 | 800 16000 80000 | 2147483647 28363 106 | 0.000 % |
5.97/6.06 c | 33459 | 800 16000 80000 | 2147483647 28580 106 | 0.000 % |
6.07/6.13 c | 33694 | 800 16000 80000 | 2147483647 28815 106 | 0.000 % |
6.17/6.21 c | 33951 | 800 16000 80000 | 2147483647 29072 106 | 0.000 % |
6.17/6.29 c | 34232 | 800 16000 80000 | 2147483647 29353 106 | 0.000 % |
6.27/6.39 c | 34544 | 800 16000 80000 | 2147483647 29665 106 | 0.000 % |
6.47/6.50 c | 34883 | 800 16000 80000 | 2147483647 30004 106 | 0.000 % |
6.57/6.63 c | 35257 | 800 16000 80000 | 2147483647 30378 106 | 0.000 % |
6.67/6.75 c | 35669 | 800 16000 80000 | 2147483647 30790 106 | 0.000 % |
6.78/6.89 c | 36120 | 800 16000 80000 | 2147483647 31241 106 | 0.000 % |
6.97/7.04 c | 36613 | 800 16000 80000 | 2147483647 31734 106 | 0.000 % |
7.17/7.21 c | 37155 | 800 16000 80000 | 2147483647 32276 106 | 0.000 % |
7.17/7.25 c | 37255 | 800 16000 80000 | 2147483647 32376 106 | 0.000 % |
7.17/7.28 c | 37365 | 800 16000 80000 | 2147483647 32486 106 | 0.000 % |
7.27/7.32 c | 37487 | 800 16000 80000 | 2147483647 32608 106 | 0.000 % |
7.27/7.38 c | 37623 | 800 16000 80000 | 2147483647 32744 106 | 0.000 % |
7.37/7.42 c | 37769 | 800 16000 80000 | 2147483647 32890 106 | 0.000 % |
7.37/7.48 c | 37929 | 800 16000 80000 | 2147483647 33050 106 | 0.000 % |
7.47/7.55 c | 38107 | 800 16000 80000 | 2147483647 33228 106 | 0.000 % |
7.57/7.61 c | 38300 | 800 16000 80000 | 2147483647 33421 106 | 0.000 % |
7.57/7.68 c | 38512 | 800 16000 80000 | 2147483647 33633 106 | 0.000 % |
7.68/7.76 c | 38745 | 800 16000 80000 | 2147483647 33866 106 | 0.000 % |
7.78/7.85 c | 39002 | 800 16000 80000 | 2147483647 34123 106 | 0.000 % |
7.87/7.96 c | 39284 | 800 16000 80000 | 2147483647 34405 106 | 0.000 % |
7.97/8.06 c | 39593 | 800 16000 80000 | 2147483647 34714 106 | 0.000 % |
8.07/8.19 c | 39932 | 800 16000 80000 | 2147483647 35053 106 | 0.000 % |
8.27/8.33 c | 40304 | 800 16000 80000 | 2147483647 35425 106 | 0.000 % |
8.37/8.46 c | 40714 | 800 16000 80000 | 2147483647 35835 106 | 0.000 % |
8.57/8.62 c | 41163 | 800 16000 80000 | 2147483647 36284 106 | 0.000 % |
8.67/8.80 c | 41657 | 800 16000 80000 | 2147483647 36778 106 | 0.000 % |
8.87/8.99 c | 42201 | 800 16000 80000 | 2147483647 37322 106 | 0.000 % |
9.17/9.21 c | 42797 | 800 16000 80000 | 2147483647 37918 106 | 0.000 % |
9.17/9.25 c | 42897 | 800 16000 80000 | 2147483647 38018 106 | 0.000 % |
9.27/9.30 c | 43007 | 800 16000 80000 | 2147483647 38128 106 | 0.000 % |
9.27/9.36 c | 43128 | 800 16000 80000 | 2147483647 38249 106 | 0.000 % |
9.37/9.42 c | 43261 | 800 16000 80000 | 2147483647 38382 106 | 0.000 % |
9.37/9.47 c | 43408 | 800 16000 80000 | 2147483647 38529 106 | 0.000 % |
9.47/9.54 c | 43569 | 800 16000 80000 | 2147483647 38690 106 | 0.000 % |
9.57/9.61 c | 43745 | 800 16000 80000 | 2147483647 38866 106 | 0.000 % |
9.57/9.70 c | 43938 | 800 16000 80000 | 2147483647 39059 106 | 0.000 % |
9.67/9.77 c | 44151 | 800 16000 80000 | 2147483647 39272 106 | 0.000 % |
9.77/9.86 c | 44384 | 800 16000 80000 | 2147483647 39505 106 | 0.000 % |
9.87/9.96 c | 44640 | 800 16000 80000 | 2147483647 39761 106 | 0.000 % |
9.97/10.07 c | 44921 | 800 16000 80000 | 2147483647 40042 106 | 0.000 % |
10.07/10.19 c | 45232 | 800 16000 80000 | 2147483647 40353 106 | 0.000 % |
10.28/10.33 c | 45571 | 800 16000 80000 | 2147483647 40692 106 | 0.000 % |
10.38/10.47 c | 45943 | 800 16000 80000 | 2147483647 41064 106 | 0.000 % |
10.57/10.63 c | 46352 | 800 16000 80000 | 2147483647 41473 106 | 0.000 % |
10.77/10.81 c | 46801 | 800 16000 80000 | 2147483647 41922 106 | 0.000 % |
10.97/11.01 c | 47294 | 800 16000 80000 | 2147483647 42415 107 | 0.000 % |
11.17/11.21 c | 47838 | 800 16000 80000 | 2147483647 42959 107 | 0.000 % |
11.37/11.45 c | 48434 | 800 16000 80000 | 2147483647 43555 106 | 0.000 % |
11.57/11.69 c | 49089 | 800 16000 80000 | 2147483647 44210 107 | 0.000 % |
11.67/11.74 c | 49189 | 800 16000 80000 | 2147483647 44310 107 | 0.000 % |
11.67/11.80 c | 49299 | 800 16000 80000 | 2147483647 44420 106 | 0.000 % |
11.77/11.85 c | 49420 | 800 16000 80000 | 2147483647 44541 106 | 0.000 % |
11.87/11.91 c | 49554 | 800 16000 80000 | 2147483647 44675 106 | 0.000 % |
11.87/11.98 c | 49700 | 800 16000 80000 | 2147483647 44821 106 | 0.000 % |
11.97/12.05 c | 49860 | 800 16000 80000 | 2147483647 44981 106 | 0.000 % |
12.07/12.14 c | 50037 | 800 16000 80000 | 2147483647 45158 106 | 0.000 % |
12.17/12.24 c | 50232 | 800 16000 80000 | 2147483647 45353 106 | 0.000 % |
12.27/12.33 c | 50446 | 800 16000 80000 | 2147483647 45567 106 | 0.000 % |
12.37/12.44 c | 50681 | 800 16000 80000 | 2147483647 45802 106 | 0.000 % |
12.47/12.55 c | 50940 | 800 16000 80000 | 2147483647 46061 107 | 0.000 % |
12.57/12.68 c | 51222 | 800 16000 80000 | 2147483647 46343 107 | 0.000 % |
12.77/12.81 c | 51533 | 800 16000 80000 | 2147483647 46654 107 | 0.000 % |
12.87/12.99 c | 51873 | 800 16000 80000 | 2147483647 46994 107 | 0.000 % |
13.07/13.15 c | 52246 | 800 16000 80000 | 2147483647 47367 107 | 0.000 % |
13.27/13.32 c | 52657 | 800 16000 80000 | 2147483647 47778 107 | 0.000 % |
13.47/13.51 c | 53106 | 800 16000 80000 | 2147483647 48227 107 | 0.000 % |
13.67/13.73 c | 53599 | 800 16000 80000 | 2147483647 48720 107 | 0.000 % |
13.87/13.98 c | 54143 | 800 16000 80000 | 2147483647 49264 107 | 0.000 % |
14.16/14.24 c | 54740 | 800 16000 80000 | 2147483647 49861 107 | 0.000 % |
14.47/14.54 c | 55398 | 800 16000 80000 | 2147483647 50519 107 | 0.000 % |
14.77/14.89 c | 56119 | 800 16000 80000 | 2147483647 51240 107 | 0.000 % |
14.87/14.94 c | 56219 | 800 16000 80000 | 2147483647 51340 107 | 0.000 % |
14.97/15.00 c | 56330 | 800 16000 80000 | 2147483647 51451 107 | 0.000 % |
14.97/15.06 c | 56451 | 800 16000 80000 | 2147483647 51572 107 | 0.000 % |
15.07/15.13 c | 56584 | 800 16000 80000 | 2147483647 51705 107 | 0.000 % |
15.17/15.21 c | 56732 | 800 16000 80000 | 2147483647 51853 107 | 0.000 % |
15.17/15.29 c | 56892 | 800 16000 80000 | 2147483647 52013 107 | 0.000 % |
15.27/15.39 c | 57070 | 800 16000 80000 | 2147483647 52191 107 | 0.000 % |
15.47/15.51 c | 57264 | 800 16000 80000 | 2147483647 52385 107 | 0.000 % |
15.57/15.62 c | 57478 | 800 16000 80000 | 2147483647 52599 107 | 0.000 % |
15.67/15.74 c | 57711 | 800 16000 80000 | 2147483647 52832 107 | 0.000 % |
15.77/15.87 c | 57972 | 800 16000 80000 | 2147483647 53093 107 | 0.000 % |
15.97/16.01 c | 58253 | 800 16000 80000 | 2147483647 53374 107 | 0.000 % |
16.07/16.16 c | 58564 | 800 16000 80000 | 2147483647 53685 107 | 0.000 % |
16.27/16.35 c | 58904 | 800 16000 80000 | 2147483647 54025 107 | 0.000 % |
16.47/16.54 c | 59276 | 800 16000 80000 | 2147483647 54397 107 | 0.000 % |
16.67/16.74 c | 59686 | 800 16000 80000 | 2147483647 54807 107 | 0.000 % |
16.87/16.97 c | 60136 | 800 16000 80000 | 2147483647 55257 107 | 0.000 % |
17.17/17.20 c | 60630 | 800 16000 80000 | 2147483647 55751 107 | 0.000 % |
17.37/17.47 c | 61173 | 800 16000 80000 | 2147483647 56294 107 | 0.000 % |
17.68/17.77 c | 61769 | 800 16000 80000 | 2147483647 56890 107 | 0.000 % |
18.07/18.11 c | 62425 | 800 16000 80000 | 2147483647 57546 107 | 0.000 % |
18.37/18.47 c | 63145 | 800 16000 80000 | 2147483647 58266 107 | 0.000 % |
18.78/18.89 c | 63938 | 800 16000 80000 | 2147483647 59059 107 | 0.000 % |
18.87/18.94 c | 64038 | 800 16000 80000 | 2147483647 59159 107 | 0.000 % |
18.97/19.02 c | 64148 | 800 16000 80000 | 2147483647 59269 107 | 0.000 % |
18.97/19.10 c | 64270 | 800 16000 80000 | 2147483647 59391 107 | 0.000 % |
19.07/19.17 c | 64406 | 800 16000 80000 | 2147483647 59527 107 | 0.000 % |
19.17/19.26 c | 64552 | 800 16000 80000 | 2147483647 59673 107 | 0.000 % |
19.27/19.38 c | 64714 | 800 16000 80000 | 2147483647 59835 107 | 0.000 % |
19.37/19.49 c | 64891 | 800 16000 80000 | 2147483647 60012 107 | 0.000 % |
19.57/19.60 c | 65084 | 800 16000 80000 | 2147483647 60205 107 | 0.000 % |
19.67/19.73 c | 65298 | 800 16000 80000 | 2147483647 60419 107 | 0.000 % |
19.77/19.88 c | 65531 | 800 16000 80000 | 2147483647 60652 107 | 0.000 % |
19.97/20.02 c | 65787 | 800 16000 80000 | 2147483647 60908 107 | 0.000 % |
20.07/20.18 c | 66071 | 800 16000 80000 | 2147483647 61192 107 | 0.000 % |
20.27/20.38 c | 66380 | 800 16000 80000 | 2147483647 61501 107 | 0.000 % |
20.47/20.58 c | 66719 | 800 16000 80000 | 2147483647 61840 107 | 0.000 % |
20.67/20.79 c | 67091 | 800 16000 80000 | 2147483647 62212 107 | 0.000 % |
20.97/21.03 c | 67501 | 800 16000 80000 | 2147483647 62622 107 | 0.000 % |
21.26/21.31 c | 67951 | 800 16000 80000 | 2147483647 63072 107 | 0.000 % |
21.46/21.60 c | 68444 | 800 16000 80000 | 2147483647 63565 107 | 0.000 % |
21.86/21.91 c | 68987 | 800 16000 80000 | 2147483647 64108 107 | 0.000 % |
22.17/22.27 c | 69584 | 800 16000 80000 | 2147483647 64705 107 | 0.000 % |
22.57/22.68 c | 70239 | 800 16000 80000 | 2147483647 65360 107 | 0.000 % |
22.97/23.10 c | 70959 | 800 16000 80000 | 2147483647 66080 107 | 0.000 % |
23.47/23.54 c | 71752 | 800 16000 80000 | 2147483647 66873 108 | 0.000 % |
23.97/24.08 c | 72626 | 800 16000 80000 | 2147483647 67747 108 | 0.000 % |
24.07/24.14 c | 72727 | 800 16000 80000 | 2147483647 67848 108 | 0.000 % |
24.17/24.21 c | 72837 | 800 16000 80000 | 2147483647 67958 108 | 0.000 % |
24.17/24.28 c | 72959 | 800 16000 80000 | 2147483647 68080 108 | 0.000 % |
24.27/24.37 c | 73093 | 800 16000 80000 | 2147483647 68214 108 | 0.000 % |
24.36/24.48 c | 73239 | 800 16000 80000 | 2147483647 68360 108 | 0.000 % |
24.46/24.58 c | 73399 | 800 16000 80000 | 2147483647 68520 108 | 0.000 % |
24.56/24.69 c | 73575 | 800 16000 80000 | 2147483647 68696 108 | 0.000 % |
24.76/24.83 c | 73769 | 800 16000 80000 | 2147483647 68890 108 | 0.000 % |
24.86/24.96 c | 73982 | 800 16000 80000 | 2147483647 69103 108 | 0.000 % |
25.06/25.13 c | 74216 | 800 16000 80000 | 2147483647 69337 108 | 0.000 % |
25.27/25.31 c | 74472 | 800 16000 80000 | 2147483647 69593 108 | 0.000 % |
25.37/25.50 c | 74755 | 800 16000 80000 | 2147483647 69876 108 | 0.000 % |
25.56/25.69 c | 75065 | 800 16000 80000 | 2147483647 70186 108 | 0.000 % |
25.86/25.94 c | 75405 | 800 16000 80000 | 2147483647 70526 108 | 0.000 % |
26.06/26.19 c | 75777 | 800 16000 80000 | 2147483647 70898 108 | 0.000 % |
26.36/26.46 c | 76186 | 800 16000 80000 | 2147483647 71307 108 | 0.000 % |
26.66/26.74 c | 76635 | 800 16000 80000 | 2147483647 71756 108 | 0.000 % |
26.96/27.05 c | 77128 | 800 16000 80000 | 2147483647 72249 108 | 0.000 % |
27.26/27.39 c | 77672 | 800 16000 80000 | 2147483647 72793 108 | 0.000 % |
27.66/27.80 c | 78268 | 800 16000 80000 | 2147483647 73389 108 | 0.000 % |
28.16/28.22 c | 78923 | 800 16000 80000 | 2147483647 74044 108 | 0.000 % |
28.57/28.70 c | 79644 | 800 16000 80000 | 2147483647 74765 108 | 0.000 % |
29.16/29.25 c | 80437 | 800 16000 80000 | 2147483647 75558 108 | 0.000 % |
29.77/29.82 c | 81308 | 800 16000 80000 | 2147483647 76429 108 | 0.000 % |
30.36/30.46 c | 82266 | 800 16000 80000 | 2147483647 77387 108 | 0.000 % |
30.46/30.53 c | 82367 | 800 16000 80000 | 2147483647 77488 108 | 0.000 % |
30.56/30.61 c | 82477 | 800 16000 80000 | 2147483647 77598 108 | 0.000 % |
30.66/30.71 c | 82598 | 800 16000 80000 | 2147483647 77719 108 | 0.000 % |
30.77/30.83 c | 82735 | 800 16000 80000 | 2147483647 77856 108 | 0.000 % |
30.87/30.94 c | 82882 | 800 16000 80000 | 2147483647 78003 108 | 0.000 % |
30.96/31.07 c | 83043 | 800 16000 80000 | 2147483647 78164 108 | 0.000 % |
31.16/31.21 c | 83219 | 800 16000 80000 | 2147483647 78340 108 | 0.000 % |
31.26/31.36 c | 83412 | 800 16000 80000 | 2147483647 78533 108 | 0.000 % |
31.46/31.53 c | 83625 | 800 16000 80000 | 2147483647 78746 108 | 0.000 % |
31.56/31.70 c | 83859 | 800 16000 80000 | 2147483647 78980 108 | 0.000 % |
31.76/31.89 c | 84115 | 800 16000 80000 | 2147483647 79236 108 | 0.000 % |
32.06/32.10 c | 84398 | 800 16000 80000 | 2147483647 79519 108 | 0.000 % |
32.26/32.36 c | 84707 | 800 16000 80000 | 2147483647 79828 108 | 0.000 % |
32.46/32.58 c | 85046 | 800 16000 80000 | 2147483647 80167 108 | 0.000 % |
32.76/32.88 c | 85418 | 800 16000 80000 | 2147483647 80539 108 | 0.000 % |
33.06/33.17 c | 85828 | 800 16000 80000 | 2147483647 80949 108 | 0.000 % |
33.45/33.52 c | 86278 | 800 16000 80000 | 2147483647 81399 108 | 0.000 % |
33.75/33.88 c | 86771 | 800 16000 80000 | 2147483647 81892 108 | 0.000 % |
34.16/34.26 c | 87313 | 800 16000 80000 | 2147483647 82434 108 | 0.000 % |
34.56/34.70 c | 87909 | 800 16000 80000 | 2147483647 83030 108 | 0.000 % |
35.06/35.16 c | 88566 | 800 16000 80000 | 2147483647 83687 108 | 0.000 % |
35.66/35.71 c | 89286 | 800 16000 80000 | 2147483647 84407 108 | 0.000 % |
36.16/36.30 c | 90078 | 800 16000 80000 | 85121 85199 108 | 0.000 % |
36.86/36.97 c | 90949 | 800 16000 80000 | 85121 73181 109 | 0.000 % |
37.46/37.58 c | 91908 | 800 16000 80000 | 85121 74140 109 | 0.000 % |
38.16/38.28 c | 92962 | 800 16000 80000 | 85121 75194 109 | 0.000 % |
38.26/38.35 c | 93062 | 800 16000 80000 | 85121 75294 109 | 0.000 % |
38.36/38.44 c | 93172 | 800 16000 80000 | 85121 75404 109 | 0.000 % |
38.46/38.54 c | 93293 | 800 16000 80000 | 85121 75525 109 | 0.000 % |
38.56/38.63 c | 93427 | 800 16000 80000 | 85121 75659 109 | 0.000 % |
38.65/38.74 c | 93576 | 800 16000 80000 | 85121 75808 109 | 0.000 % |
38.75/38.86 c | 93737 | 800 16000 80000 | 85121 75969 109 | 0.000 % |
38.85/38.99 c | 93913 | 800 16000 80000 | 85121 76145 109 | 0.000 % |
39.05/39.14 c | 94107 | 800 16000 80000 | 85121 76339 109 | 0.000 % |
39.15/39.28 c | 94319 | 800 16000 80000 | 85121 76551 109 | 0.000 % |
39.35/39.45 c | 94554 | 800 16000 80000 | 85121 76786 109 | 0.000 % |
39.56/39.65 c | 94810 | 800 16000 80000 | 85121 77042 109 | 0.000 % |
39.75/39.86 c | 95093 | 800 16000 80000 | 85121 77325 109 | 0.000 % |
40.05/40.10 c | 95404 | 800 16000 80000 | 85121 77636 109 | 0.000 % |
40.25/40.34 c | 95743 | 800 16000 80000 | 85121 77975 109 | 0.000 % |
40.55/40.62 c | 96117 | 800 16000 80000 | 85121 78349 109 | 0.000 % |
40.85/40.90 c | 96527 | 800 16000 80000 | 85121 78759 109 | 0.000 % |
41.15/41.23 c | 96977 | 800 16000 80000 | 85121 79209 109 | 0.000 % |
41.45/41.59 c | 97471 | 800 16000 80000 | 85121 79703 109 | 0.000 % |
41.86/41.97 c | 98014 | 800 16000 80000 | 85121 80246 109 | 0.000 % |
42.35/42.45 c | 98610 | 800 16000 80000 | 85121 80842 109 | 0.000 % |
42.86/42.95 c | 99265 | 800 16000 80000 | 85121 81497 109 | 0.000 % |
43.35/43.43 c | 99985 | 800 16000 80000 | 85121 82217 109 | 0.000 % |
43.85/43.99 c | 100778 | 800 16000 80000 | 82232 70161 110 | 0.000 % |
44.45/44.55 c | 101649 | 800 16000 80000 | 82232 71032 110 | 0.000 % |
45.06/45.13 c | 102607 | 800 16000 80000 | 82232 71990 110 | 0.000 % |
45.75/45.83 c | 103662 | 800 16000 80000 | 82232 73045 110 | 0.000 % |
46.45/46.57 c | 104820 | 800 16000 80000 | 82232 74203 110 | 0.000 % |
46.55/46.64 c | 104922 | 800 16000 80000 | 82232 74305 110 | 0.000 % |
46.65/46.72 c | 105032 | 800 16000 80000 | 82232 74415 110 | 0.000 % |
46.75/46.83 c | 105153 | 800 16000 80000 | 82232 74536 110 | 0.000 % |
46.85/46.94 c | 105288 | 800 16000 80000 | 82232 74671 110 | 0.000 % |
46.95/47.04 c | 105436 | 800 16000 80000 | 82232 74819 110 | 0.000 % |
47.05/47.17 c | 105596 | 800 16000 80000 | 82232 74979 110 | 0.000 % |
47.26/47.31 c | 105773 | 800 16000 80000 | 82232 75156 110 | 0.000 % |
47.36/47.46 c | 105967 | 800 16000 80000 | 82232 75350 110 | 0.000 % |
47.55/47.62 c | 106179 | 800 16000 80000 | 82232 75562 110 | 0.000 % |
47.65/47.79 c | 106412 | 800 16000 80000 | 82232 75795 110 | 0.000 % |
47.85/47.97 c | 106671 | 800 16000 80000 | 82232 76054 110 | 0.000 % |
48.05/48.17 c | 106952 | 800 16000 80000 | 82232 76335 110 | 0.000 % |
48.25/48.39 c | 107261 | 800 16000 80000 | 82232 76644 110 | 0.000 % |
48.55/48.61 c | 107600 | 800 16000 80000 | 82232 76983 110 | 0.000 % |
48.75/48.87 c | 107975 | 800 16000 80000 | 82232 77358 110 | 0.000 % |
49.05/49.14 c | 108385 | 800 16000 80000 | 82232 77768 110 | 0.000 % |
49.35/49.42 c | 108835 | 800 16000 80000 | 82232 78218 110 | 0.000 % |
49.65/49.79 c | 109329 | 800 16000 80000 | 82232 78712 110 | 0.000 % |
50.05/50.19 c | 109872 | 800 16000 80000 | 82232 79255 110 | 0.000 % |
50.55/50.65 c | 110468 | 800 16000 80000 | 79385 68446 110 | 0.000 % |
50.95/51.06 c | 111123 | 800 16000 80000 | 79385 69101 110 | 0.000 % |
51.45/51.52 c | 111844 | 800 16000 80000 | 79385 69822 110 | 0.000 % |
51.95/52.00 c | 112637 | 800 16000 80000 | 79385 70615 110 | 0.000 % |
52.45/52.56 c | 113511 | 800 16000 80000 | 79385 71489 110 | 0.000 % |
53.15/53.23 c | 114472 | 800 16000 80000 | 79385 72450 110 | 0.000 % |
53.85/53.91 c | 115526 | 800 16000 80000 | 79385 73504 110 | 0.000 % |
54.55/54.69 c | 116684 | 800 16000 80000 | 79385 74662 110 | 0.000 % |
55.45/55.55 c | 117957 | 800 16000 80000 | 79385 75935 110 | 0.000 % |
55.55/55.62 c | 118059 | 800 16000 80000 | 79385 76037 110 | 0.000 % |
55.64/55.71 c | 118169 | 800 16000 80000 | 79385 76147 110 | 0.000 % |
55.74/55.80 c | 118290 | 800 16000 80000 | 79385 76268 110 | 0.000 % |
55.74/55.90 c | 118423 | 800 16000 80000 | 79385 76401 110 | 0.000 % |
55.94/56.01 c | 118571 | 800 16000 80000 | 79385 76549 110 | 0.000 % |
56.05/56.14 c | 118732 | 800 16000 80000 | 79385 76710 110 | 0.000 % |
56.15/56.27 c | 118908 | 800 16000 80000 | 79385 76886 110 | 0.000 % |
56.34/56.41 c | 119103 | 800 16000 80000 | 79385 77081 110 | 0.000 % |
56.44/56.56 c | 119317 | 800 16000 80000 | 79385 77295 110 | 0.000 % |
56.64/56.72 c | 119550 | 800 16000 80000 | 79385 77528 110 | 0.000 % |
56.84/56.92 c | 119807 | 800 16000 80000 | 79385 77785 110 | 0.000 % |
57.04/57.13 c | 120088 | 800 16000 80000 | 77978 78066 110 | 0.000 % |
57.25/57.38 c | 120397 | 800 16000 80000 | 77978 67790 110 | 0.000 % |
57.54/57.60 c | 120738 | 800 16000 80000 | 77978 68131 110 | 0.000 % |
57.74/57.86 c | 121112 | 800 16000 80000 | 77978 68505 110 | 0.000 % |
58.04/58.11 c | 121523 | 800 16000 80000 | 77978 68916 110 | 0.000 % |
58.34/58.43 c | 121972 | 800 16000 80000 | 77978 69365 110 | 0.000 % |
58.64/58.77 c | 122465 | 800 16000 80000 | 77978 69858 110 | 0.000 % |
59.04/59.15 c | 123007 | 800 16000 80000 | 77978 70400 110 | 0.000 % |
59.44/59.54 c | 123604 | 800 16000 80000 | 77978 70997 110 | 0.000 % |
59.84/59.97 c | 124260 | 800 16000 80000 | 77978 71653 110 | 0.000 % |
60.34/60.42 c | 124980 | 800 16000 80000 | 77978 72373 110 | 0.000 % |
60.84/60.92 c | 125773 | 800 16000 80000 | 77978 73166 110 | 0.000 % |
61.34/61.46 c | 126647 | 800 16000 80000 | 77978 74040 110 | 0.000 % |
61.94/62.08 c | 127607 | 800 16000 80000 | 77978 75000 110 | 0.000 % |
62.64/62.77 c | 128660 | 800 16000 80000 | 77978 76053 111 | 0.000 % |
63.44/63.51 c | 129819 | 800 16000 80000 | 77978 77212 111 | 0.000 % |
64.24/64.36 c | 131092 | 800 16000 80000 | 77394 68641 111 | 0.000 % |
65.24/65.30 c | 132493 | 800 16000 80000 | 77394 70042 111 | 0.000 % |
65.24/65.37 c | 132595 | 800 16000 80000 | 77394 70144 111 | 0.000 % |
65.34/65.46 c | 132705 | 800 16000 80000 | 77394 70254 111 | 0.000 % |
65.44/65.55 c | 132826 | 800 16000 80000 | 77394 70375 111 | 0.000 % |
65.54/65.65 c | 132961 | 800 16000 80000 | 77394 70510 111 | 0.000 % |
65.64/65.75 c | 133108 | 800 16000 80000 | 77394 70657 111 | 0.000 % |
65.74/65.86 c | 133269 | 800 16000 80000 | 77394 70818 111 | 0.000 % |
65.84/65.99 c | 133445 | 800 16000 80000 | 77394 70994 111 | 0.000 % |
66.04/66.13 c | 133638 | 800 16000 80000 | 77394 71187 111 | 0.000 % |
66.14/66.26 c | 133850 | 800 16000 80000 | 77394 71399 111 | 0.000 % |
66.34/66.42 c | 134085 | 800 16000 80000 | 77394 71634 111 | 0.000 % |
66.54/66.62 c | 134341 | 800 16000 80000 | 77394 71890 111 | 0.000 % |
66.74/66.82 c | 134624 | 800 16000 80000 | 77394 72173 111 | 0.000 % |
66.94/67.02 c | 134935 | 800 16000 80000 | 77394 72484 111 | 0.000 % |
67.14/67.23 c | 135275 | 800 16000 80000 | 77394 72824 111 | 0.000 % |
67.34/67.49 c | 135647 | 800 16000 80000 | 77394 73196 111 | 0.000 % |
67.64/67.74 c | 136056 | 800 16000 80000 | 77394 73605 111 | 0.000 % |
67.94/68.07 c | 136506 | 800 16000 80000 | 77394 74055 111 | 0.000 % |
68.34/68.41 c | 137000 | 800 16000 80000 | 77394 74549 111 | 0.000 % |
68.74/68.81 c | 137542 | 800 16000 80000 | 77394 75091 111 | 0.000 % |
69.14/69.24 c | 138139 | 800 16000 80000 | 77394 75688 111 | 0.000 % |
69.54/69.67 c | 138794 | 800 16000 80000 | 77394 76343 111 | 0.000 % |
70.04/70.18 c | 139517 | 800 16000 80000 | 77394 77066 111 | 0.000 % |
70.73/70.80 c | 140309 | 800 16000 80000 | 77549 67186 111 | 0.000 % |
71.23/71.32 c | 141180 | 800 16000 80000 | 77549 68057 111 | 0.000 % |
71.73/71.86 c | 142139 | 800 16000 80000 | 77549 69016 111 | 0.000 % |
72.43/72.53 c | 143192 | 800 16000 80000 | 77549 70069 111 | 0.000 % |
73.13/73.27 c | 144350 | 800 16000 80000 | 77549 71227 111 | 0.000 % |
73.93/74.07 c | 145623 | 800 16000 80000 | 77549 72500 111 | 0.000 % |
74.84/74.93 c | 147024 | 800 16000 80000 | 77549 73901 111 | 0.000 % |
75.84/75.95 c | 148566 | 800 16000 80000 | 77549 75443 111 | 0.000 % |
75.94/76.03 c | 148666 | 800 16000 80000 | 77549 75543 111 | 0.000 % |
76.03/76.12 c | 148776 | 800 16000 80000 | 77549 75653 111 | 0.000 % |
76.13/76.21 c | 148897 | 800 16000 80000 | 77549 75774 111 | 0.000 % |
76.23/76.31 c | 149031 | 800 16000 80000 | 77549 75908 111 | 0.000 % |
76.33/76.45 c | 149178 | 800 16000 80000 | 77549 76055 111 | 0.000 % |
76.43/76.58 c | 149339 | 800 16000 80000 | 77549 76216 111 | 0.000 % |
76.63/76.72 c | 149515 | 800 16000 80000 | 77549 76392 111 | 0.000 % |
76.73/76.89 c | 149708 | 800 16000 80000 | 77549 76585 111 | 0.000 % |
76.93/77.04 c | 149920 | 800 16000 80000 | 77549 76797 111 | 0.000 % |
77.13/77.21 c | 150155 | 800 16000 80000 | 76878 77032 111 | 0.000 % |
77.33/77.42 c | 150412 | 800 16000 80000 | 76878 67464 111 | 0.000 % |
77.43/77.59 c | 150693 | 800 16000 80000 | 76878 67745 111 | 0.000 % |
77.73/77.80 c | 151002 | 800 16000 80000 | 76878 68054 111 | 0.000 % |
77.93/78.04 c | 151342 | 800 16000 80000 | 76878 68394 111 | 0.000 % |
78.23/78.32 c | 151716 | 800 16000 80000 | 76878 68768 111 | 0.000 % |
78.43/78.59 c | 152125 | 800 16000 80000 | 76878 69177 111 | 0.000 % |
78.73/78.87 c | 152575 | 800 16000 80000 | 76878 69627 111 | 0.000 % |
79.13/79.21 c | 153068 | 800 16000 80000 | 76878 70120 111 | 0.000 % |
79.43/79.55 c | 153610 | 800 16000 80000 | 76878 70662 111 | 0.000 % |
79.83/79.93 c | 154207 | 800 16000 80000 | 76878 71259 111 | 0.000 % |
80.33/80.40 c | 154863 | 800 16000 80000 | 76878 71915 111 | 0.000 % |
80.73/80.86 c | 155583 | 800 16000 80000 | 76878 72635 111 | 0.000 % |
81.33/81.42 c | 156375 | 800 16000 80000 | 76878 73427 111 | 0.000 % |
81.83/81.99 c | 157246 | 800 16000 80000 | 76878 74298 111 | 0.000 % |
82.43/82.60 c | 158204 | 800 16000 80000 | 76878 75256 111 | 0.000 % |
83.23/83.30 c | 159258 | 800 16000 80000 | 76878 76310 111 | 0.000 % |
84.03/84.10 c | 160416 | 800 16000 80000 | 77052 67669 111 | 0.000 % |
84.73/84.90 c | 161690 | 800 16000 80000 | 77052 68943 111 | 0.000 % |
85.63/85.75 c | 163090 | 800 16000 80000 | 77052 70343 111 | 0.000 % |
86.63/86.73 c | 164631 | 800 16000 80000 | 77052 71884 111 | 0.000 % |
87.72/87.83 c | 166325 | 800 16000 80000 | 77052 73578 111 | 0.000 % |
87.82/87.91 c | 166428 | 800 16000 80000 | 77052 73681 111 | 0.000 % |
87.82/87.99 c | 166538 | 800 16000 80000 | 77052 73791 111 | 0.000 % |
87.93/88.09 c | 166662 | 800 16000 80000 | 77052 73915 111 | 0.000 % |
88.12/88.20 c | 166795 | 800 16000 80000 | 77052 74048 111 | 0.000 % |
88.22/88.32 c | 166942 | 800 16000 80000 | 77052 74195 111 | 0.000 % |
88.32/88.45 c | 167103 | 800 16000 80000 | 77052 74356 111 | 0.000 % |
88.42/88.56 c | 167279 | 800 16000 80000 | 77052 74532 111 | 0.000 % |
88.52/88.69 c | 167472 | 800 16000 80000 | 77052 74725 111 | 0.000 % |
88.72/88.87 c | 167687 | 800 16000 80000 | 77052 74940 111 | 0.000 % |
88.92/89.04 c | 167920 | 800 16000 80000 | 77052 75173 111 | 0.000 % |
89.13/89.22 c | 168176 | 800 16000 80000 | 77052 75429 111 | 0.000 % |
89.32/89.41 c | 168459 | 800 16000 80000 | 77052 75712 111 | 0.000 % |
89.52/89.64 c | 168768 | 800 16000 80000 | 77052 76021 111 | 0.000 % |
89.72/89.87 c | 169107 | 800 16000 80000 | 77052 76360 111 | 0.000 % |
90.02/90.10 c | 169481 | 800 16000 80000 | 77052 76734 111 | 0.000 % |
90.23/90.39 c | 169891 | 800 16000 80000 | 77052 77144 111 | 0.000 % |
90.62/90.75 c | 170340 | 800 16000 80000 | 67407 59288 111 | 0.000 % |
90.92/91.03 c | 170834 | 800 16000 80000 | 67407 59782 111 | 0.000 % |
91.23/91.34 c | 171377 | 800 16000 80000 | 67407 60325 111 | 0.000 % |
91.52/91.65 c | 171973 | 800 16000 80000 | 67407 60921 111 | 0.000 % |
91.92/92.02 c | 172628 | 800 16000 80000 | 67407 61576 111 | 0.000 % |
92.33/92.42 c | 173348 | 800 16000 80000 | 67407 62296 111 | 0.000 % |
92.72/92.86 c | 174140 | 800 16000 80000 | 67407 63088 111 | 0.000 % |
93.22/93.36 c | 175012 | 800 16000 80000 | 67407 63960 111 | 0.000 % |
93.82/93.99 c | 175970 | 800 16000 80000 | 67407 64918 111 | 0.000 % |
94.52/94.67 c | 177024 | 800 16000 80000 | 67407 65972 111 | 0.000 % |
95.32/95.41 c | 178182 | 800 16000 80000 | 67407 67130 111 | 0.000 % |
96.02/96.16 c | 179455 | 800 16000 80000 | 67407 61636 111 | 0.000 % |
96.83/96.98 c | 180855 | 800 16000 80000 | 2147483647 63036 111 | 0.000 % |
97.73/97.84 c | 182396 | 800 16000 80000 | 2147483647 64577 111 | 0.000 % |
98.73/98.84 c | 184091 | 800 16000 80000 | 2147483647 66272 111 | 0.000 % |
99.83/99.96 c | 185956 | 800 16000 80000 | 2147483647 68137 111 | 0.000 % |
99.93/100.02 c | 186057 | 800 16000 80000 | 2147483647 68238 111 | 0.000 % |
100.03/100.11 c | 186168 | 800 16000 80000 | 2147483647 68349 111 | 0.000 % |
100.03/100.19 c | 186290 | 800 16000 80000 | 2147483647 68471 111 | 0.000 % |
100.13/100.27 c | 186423 | 800 16000 80000 | 2147483647 68604 111 | 0.000 % |
100.23/100.37 c | 186569 | 800 16000 80000 | 2147483647 68750 111 | 0.000 % |
100.43/100.50 c | 186730 | 800 16000 80000 | 2147483647 68911 111 | 0.000 % |
100.53/100.63 c | 186908 | 800 16000 80000 | 2147483647 69089 111 | 0.000 % |
100.63/100.75 c | 187101 | 800 16000 80000 | 2147483647 69282 111 | 0.000 % |
100.73/100.88 c | 187314 | 800 16000 80000 | 2147483647 69495 111 | 0.000 % |
100.93/101.04 c | 187547 | 800 16000 80000 | 2147483647 69728 111 | 0.000 % |
101.13/101.22 c | 187803 | 800 16000 80000 | 2147483647 69984 111 | 0.000 % |
101.33/101.42 c | 188086 | 800 16000 80000 | 2147483647 70267 111 | 0.000 % |
101.53/101.64 c | 188397 | 800 16000 80000 | 2147483647 70578 111 | 0.000 % |
101.73/101.88 c | 188736 | 800 16000 80000 | 2147483647 70917 111 | 0.000 % |
102.03/102.15 c | 189108 | 800 16000 80000 | 2147483647 71289 111 | 0.000 % |
102.33/102.40 c | 189517 | 800 16000 80000 | 2147483647 71698 111 | 0.000 % |
102.63/102.71 c | 189966 | 800 16000 80000 | 2147483647 72147 111 | 0.000 % |
102.93/103.09 c | 190459 | 800 16000 80000 | 72182 65141 111 | 0.000 % |
103.33/103.45 c | 191002 | 800 16000 80000 | 72182 65684 111 | 0.000 % |
103.73/103.89 c | 191598 | 800 16000 80000 | 72182 66280 111 | 0.000 % |
104.13/104.28 c | 192254 | 800 16000 80000 | 72182 66936 111 | 0.000 % |
104.63/104.70 c | 192978 | 800 16000 80000 | 72182 67660 111 | 0.000 % |
105.03/105.19 c | 193770 | 800 16000 80000 | 72182 68452 111 | 0.000 % |
105.63/105.71 c | 194641 | 800 16000 80000 | 72182 69323 111 | 0.000 % |
106.22/106.30 c | 195599 | 800 16000 80000 | 72182 70281 111 | 0.000 % |
106.92/107.05 c | 196653 | 800 16000 80000 | 72182 71335 111 | 0.000 % |
107.62/107.77 c | 197811 | 800 16000 80000 | 72182 64847 111 | 0.000 % |
108.42/108.53 c | 199084 | 800 16000 80000 | 72182 66120 111 | 0.000 % |
109.22/109.35 c | 200485 | 800 16000 80000 | 67036 60789 112 | 0.000 % |
110.12/110.23 c | 202025 | 800 16000 80000 | 67036 62329 112 | 0.000 % |
111.13/111.21 c | 203719 | 800 16000 80000 | 67036 64023 112 | 0.000 % |
112.13/112.30 c | 205582 | 800 16000 80000 | 67036 65886 112 | 0.000 % |
113.33/113.46 c | 207631 | 800 16000 80000 | 67036 61204 112 | 0.000 % |
113.42/113.52 c | 207731 | 800 16000 80000 | 67036 61304 112 | 0.000 % |
113.42/113.58 c | 207842 | 800 16000 80000 | 67036 61415 112 | 0.000 % |
113.52/113.66 c | 207963 | 800 16000 80000 | 67036 61536 112 | 0.000 % |
113.62/113.73 c | 208096 | 800 16000 80000 | 67036 61669 112 | 0.000 % |
113.72/113.83 c | 208242 | 800 16000 80000 | 67036 61815 112 | 0.000 % |
113.82/113.94 c | 208403 | 800 16000 80000 | 67036 61976 112 | 0.000 % |
113.92/114.06 c | 208581 | 800 16000 80000 | 67036 62154 112 | 0.000 % |
114.02/114.19 c | 208774 | 800 16000 80000 | 67036 62347 112 | 0.000 % |
114.22/114.32 c | 208986 | 800 16000 80000 | 67036 62559 112 | 0.000 % |
114.33/114.46 c | 209220 | 800 16000 80000 | 67036 62793 112 | 0.000 % |
114.52/114.61 c | 209476 | 800 16000 80000 | 67036 63049 111 | 0.000 % |
114.62/114.77 c | 209757 | 800 16000 80000 | 67036 63330 112 | 0.000 % |
114.82/114.95 c | 210066 | 800 16000 80000 | 2147483647 63639 111 | 0.000 % |
115.12/115.20 c | 210406 | 800 16000 80000 | 2147483647 63979 111 | 0.000 % |
115.32/115.44 c | 210781 | 800 16000 80000 | 2147483647 64354 111 | 0.000 % |
115.52/115.69 c | 211190 | 800 16000 80000 | 2147483647 64763 111 | 0.000 % |
115.82/115.96 c | 211641 | 800 16000 80000 | 2147483647 65214 111 | 0.000 % |
116.12/116.23 c | 212134 | 800 16000 80000 | 2147483647 65707 111 | 0.000 % |
116.42/116.54 c | 212676 | 800 16000 80000 | 2147483647 66249 111 | 0.000 % |
116.72/116.87 c | 213272 | 800 16000 80000 | 2147483647 66845 111 | 0.000 % |
117.12/117.26 c | 213927 | 800 16000 80000 | 2147483647 67500 111 | 0.000 % |
117.52/117.70 c | 214647 | 800 16000 80000 | 2147483647 68220 111 | 0.000 % |
118.02/118.18 c | 215441 | 800 16000 80000 | 2147483647 69014 111 | 0.000 % |
118.52/118.68 c | 216313 | 800 16000 80000 | 2147483647 69886 111 | 0.000 % |
119.12/119.29 c | 217272 | 800 16000 80000 | 2147483647 70845 111 | 0.000 % |
119.82/119.91 c | 218325 | 800 16000 80000 | 2147483647 71898 111 | 0.000 % |
120.52/120.65 c | 219485 | 800 16000 80000 | 2147483647 73058 111 | 0.000 % |
121.32/121.45 c | 220758 | 800 16000 80000 | 2147483647 74331 111 | 0.000 % |
122.22/122.35 c | 222158 | 800 16000 80000 | 2147483647 75731 111 | 0.000 % |
123.22/123.38 c | 223701 | 800 16000 80000 | 2147483647 77274 111 | 0.000 % |
124.32/124.46 c | 225395 | 800 16000 80000 | 2147483647 78968 112 | 0.000 % |
125.62/125.70 c | 227259 | 800 16000 80000 | 2147483647 80832 112 | 0.000 % |
126.91/127.10 c | 229309 | 800 16000 80000 | 2147483647 82882 112 | 0.000 % |
128.41/128.56 c | 231562 | 800 16000 80000 | 83574 74200 112 | 0.000 % |
128.51/128.65 c | 231662 | 800 16000 80000 | 83574 74300 112 | 0.000 % |
128.62/128.73 c | 231774 | 800 16000 80000 | 83574 74412 112 | 0.000 % |
128.72/128.81 c | 231895 | 800 16000 80000 | 83574 74533 112 | 0.000 % |
128.81/128.93 c | 232030 | 800 16000 80000 | 83574 74668 112 | 0.000 % |
128.91/129.06 c | 232176 | 800 16000 80000 | 83574 74814 112 | 0.000 % |
129.01/129.18 c | 232337 | 800 16000 80000 | 83574 74975 112 | 0.000 % |
129.21/129.30 c | 232513 | 800 16000 80000 | 83574 75151 112 | 0.000 % |
129.31/129.46 c | 232709 | 800 16000 80000 | 83574 75347 112 | 0.000 % |
129.51/129.63 c | 232923 | 800 16000 80000 | 83574 75561 112 | 0.000 % |
129.71/129.81 c | 233156 | 800 16000 80000 | 83574 75794 112 | 0.000 % |
129.81/129.99 c | 233412 | 800 16000 80000 | 83574 76050 112 | 0.000 % |
130.01/130.18 c | 233694 | 800 16000 80000 | 83574 76332 112 | 0.000 % |
130.31/130.40 c | 234003 | 800 16000 80000 | 83574 76641 112 | 0.000 % |
130.51/130.66 c | 234343 | 800 16000 80000 | 83574 76981 112 | 0.000 % |
130.81/130.92 c | 234715 | 800 16000 80000 | 83574 77353 112 | 0.000 % |
131.11/131.23 c | 235124 | 800 16000 80000 | 83574 77762 112 | 0.000 % |
131.41/131.55 c | 235574 | 800 16000 80000 | 83574 78212 112 | 0.000 % |
131.81/131.93 c | 236067 | 800 16000 80000 | 83574 78705 112 | 0.000 % |
132.21/132.36 c | 236610 | 800 16000 80000 | 83574 79248 112 | 0.000 % |
132.71/132.80 c | 237207 | 800 16000 80000 | 83574 79845 112 | 0.000 % |
133.11/133.29 c | 237863 | 800 16000 80000 | 83574 80501 112 | 0.000 % |
133.71/133.84 c | 238585 | 800 16000 80000 | 83574 81223 112 | 0.000 % |
134.31/134.46 c | 239377 | 800 16000 80000 | 83574 82015 112 | 0.000 % |
135.01/135.10 c | 240249 | 800 16000 80000 | 82641 82887 112 | 0.000 % |
135.60/135.79 c | 241207 | 800 16000 80000 | 82641 71157 112 | 0.000 % |
136.31/136.42 c | 242260 | 800 16000 80000 | 82641 72210 112 | 0.000 % |
137.00/137.19 c | 243421 | 800 16000 80000 | 82641 73371 112 | 0.000 % |
137.80/137.94 c | 244696 | 800 16000 80000 | 82641 74646 112 | 0.000 % |
138.61/138.79 c | 246097 | 800 16000 80000 | 82641 76047 112 | 0.000 % |
139.71/139.86 c | 247637 | 800 16000 80000 | 82641 77587 112 | 0.000 % |
140.81/140.98 c | 249331 | 800 16000 80000 | 82641 79281 112 | 0.000 % |
142.20/142.34 c | 251194 | 800 16000 80000 | 79951 69961 112 | 0.000 % |
143.50/143.63 c | 253243 | 800 16000 80000 | 79951 72010 112 | 0.000 % |
144.90/145.04 c | 255497 | 800 16000 80000 | 79951 74264 112 | 0.000 % |
146.50/146.63 c | 257976 | 800 16000 80000 | 79951 76743 112 | 0.000 % |
146.60/146.71 c | 258076 | 800 16000 80000 | 79951 76843 112 | 0.000 % |
146.70/146.82 c | 258186 | 800 16000 80000 | 79951 76953 112 | 0.000 % |
146.80/146.92 c | 258307 | 800 16000 80000 | 79951 77074 112 | 0.000 % |
146.90/147.03 c | 258441 | 800 16000 80000 | 79951 77208 112 | 0.000 % |
147.00/147.15 c | 258587 | 800 16000 80000 | 79951 77354 112 | 0.000 % |
147.10/147.30 c | 258748 | 800 16000 80000 | 79951 77515 112 | 0.000 % |
147.30/147.43 c | 258924 | 800 16000 80000 | 79951 77691 112 | 0.000 % |
147.40/147.58 c | 259121 | 800 16000 80000 | 79951 77888 112 | 0.000 % |
147.60/147.72 c | 259333 | 800 16000 80000 | 79951 78100 112 | 0.000 % |
147.70/147.90 c | 259566 | 800 16000 80000 | 79951 78333 112 | 0.000 % |
148.00/148.13 c | 259823 | 800 16000 80000 | 79951 78590 112 | 0.000 % |
148.20/148.36 c | 260106 | 800 16000 80000 | 78772 78873 112 | 0.000 % |
148.50/148.61 c | 260415 | 800 16000 80000 | 78772 68459 112 | 0.000 % |
148.70/148.82 c | 260757 | 800 16000 80000 | 78772 68801 112 | 0.000 % |
148.90/149.06 c | 261129 | 800 16000 80000 | 78772 69173 112 | 0.000 % |
149.20/149.31 c | 261539 | 800 16000 80000 | 78772 69583 112 | 0.000 % |
149.50/149.62 c | 261988 | 800 16000 80000 | 78772 70032 112 | 0.000 % |
149.80/149.93 c | 262481 | 800 16000 80000 | 78772 70525 112 | 0.000 % |
150.10/150.28 c | 263024 | 800 16000 80000 | 78772 71068 112 | 0.000 % |
150.60/150.71 c | 263620 | 800 16000 80000 | 78772 71664 112 | 0.000 % |
151.00/151.14 c | 264279 | 800 16000 80000 | 78772 72323 112 | 0.000 % |
151.40/151.58 c | 264999 | 800 16000 80000 | 78772 73043 112 | 0.000 % |
151.89/152.07 c | 265793 | 800 16000 80000 | 78772 73837 112 | 0.000 % |
152.49/152.65 c | 266664 | 800 16000 80000 | 78772 74708 112 | 0.000 % |
153.19/153.31 c | 267624 | 800 16000 80000 | 78772 75668 112 | 0.000 % |
153.90/154.03 c | 268677 | 800 16000 80000 | 78772 76721 112 | 0.000 % |
154.59/154.78 c | 269835 | 800 16000 80000 | 78772 77879 112 | 0.000 % |
155.50/155.65 c | 271109 | 800 16000 80000 | 78044 68813 112 | 0.000 % |
156.29/156.43 c | 272509 | 800 16000 80000 | 78044 70213 112 | 0.000 % |
157.30/157.40 c | 274049 | 800 16000 80000 | 78044 71753 112 | 0.000 % |
158.40/158.51 c | 275744 | 800 16000 80000 | 78044 73448 112 | 0.000 % |
159.59/159.72 c | 277607 | 800 16000 80000 | 78044 75311 112 | 0.000 % |
160.79/160.92 c | 279657 | 800 16000 80000 | 78044 77361 112 | 0.000 % |
162.29/162.41 c | 281910 | 800 16000 80000 | 77705 70097 113 | 0.000 % |
163.80/163.92 c | 284388 | 800 16000 80000 | 77705 72575 113 | 0.000 % |
165.49/165.68 c | 287113 | 800 16000 80000 | 77705 75300 113 | 0.000 % |
165.59/165.75 c | 287215 | 800 16000 80000 | 77705 75402 113 | 0.000 % |
165.69/165.83 c | 287327 | 800 16000 80000 | 77705 75514 113 | 0.000 % |
165.79/165.91 c | 287449 | 800 16000 80000 | 77705 75636 113 | 0.000 % |
165.89/166.00 c | 287582 | 800 16000 80000 | 77705 75769 113 | 0.000 % |
165.99/166.13 c | 287731 | 800 16000 80000 | 77705 75918 113 | 0.000 % |
166.09/166.25 c | 287893 | 800 16000 80000 | 77705 76080 113 | 0.000 % |
166.19/166.38 c | 288069 | 800 16000 80000 | 77705 76256 113 | 0.000 % |
166.39/166.53 c | 288263 | 800 16000 80000 | 77705 76450 113 | 0.000 % |
166.49/166.69 c | 288475 | 800 16000 80000 | 77705 76662 113 | 0.000 % |
166.69/166.85 c | 288708 | 800 16000 80000 | 77705 76895 113 | 0.000 % |
166.89/167.04 c | 288966 | 800 16000 80000 | 77705 77153 113 | 0.000 % |
167.09/167.25 c | 289248 | 800 16000 80000 | 77705 77435 113 | 0.000 % |
167.29/167.48 c | 289557 | 800 16000 80000 | 77705 77744 113 | 0.000 % |
167.59/167.77 c | 289897 | 800 16000 80000 | 77705 68262 113 | 0.000 % |
167.89/168.00 c | 290269 | 800 16000 80000 | 68367 68634 113 | 0.000 % |
168.19/168.31 c | 290681 | 800 16000 80000 | 68367 60507 112 | 0.000 % |
168.39/168.57 c | 291135 | 800 16000 80000 | 68367 60961 112 | 0.000 % |
168.69/168.86 c | 291628 | 800 16000 80000 | 68367 61454 112 | 0.000 % |
168.99/169.18 c | 292171 | 800 16000 80000 | 68367 61997 112 | 0.000 % |
169.39/169.53 c | 292767 | 800 16000 80000 | 68367 62593 112 | 0.000 % |
169.79/169.93 c | 293422 | 800 16000 80000 | 68367 63248 112 | 0.000 % |
170.19/170.33 c | 294143 | 800 16000 80000 | 68367 63969 112 | 0.000 % |
170.69/170.81 c | 294937 | 800 16000 80000 | 68367 64763 112 | 0.000 % |
171.19/171.30 c | 295808 | 800 16000 80000 | 68367 65634 112 | 0.000 % |
171.69/171.84 c | 296766 | 800 16000 80000 | 68367 66592 113 | 0.000 % |
172.39/172.51 c | 297819 | 800 16000 80000 | 68367 67645 113 | 0.000 % |
173.09/173.22 c | 298977 | 800 16000 80000 | 68367 61937 113 | 0.000 % |
173.69/173.89 c | 300250 | 800 16000 80000 | 2147483647 63210 113 | 0.000 % |
174.58/174.71 c | 301653 | 800 16000 80000 | 2147483647 64613 113 | 0.000 % |
175.38/175.58 c | 303195 | 800 16000 80000 | 2147483647 66155 113 | 0.000 % |
176.38/176.56 c | 304889 | 800 16000 80000 | 2147483647 67849 113 | 0.000 % |
177.48/177.63 c | 306752 | 800 16000 80000 | 2147483647 69712 113 | 0.000 % |
178.68/178.88 c | 308801 | 800 16000 80000 | 2147483647 71761 114 | 0.000 % |
180.08/180.26 c | 311054 | 800 16000 80000 | 2147483647 74014 114 | 0.000 % |
181.68/181.87 c | 313533 | 800 16000 80000 | 2147483647 76493 114 | 0.000 % |
183.48/183.68 c | 316258 | 800 16000 80000 | 2147483647 79218 114 | 0.000 % |
185.58/185.74 c | 319256 | 800 16000 80000 | 2147483647 82216 115 | 0.000 % |
185.68/185.81 c | 319357 | 800 16000 80000 | 2147483647 82317 115 | 0.000 % |
185.68/185.89 c | 319467 | 800 16000 80000 | 2147483647 82427 115 | 0.000 % |
185.79/185.99 c | 319590 | 800 16000 80000 | 2147483647 82550 115 | 0.000 % |
185.98/186.11 c | 319723 | 800 16000 80000 | 2147483647 82683 115 | 0.000 % |
186.08/186.22 c | 319871 | 800 16000 80000 | 2147483647 82831 115 | 0.000 % |
186.18/186.34 c | 320032 | 800 16000 80000 | 82961 82992 115 | 0.000 % |
186.38/186.54 c | 320208 | 800 16000 80000 | 82961 71872 115 | 0.000 % |
186.48/186.69 c | 320403 | 800 16000 80000 | 82961 72067 115 | 0.000 % |
186.68/186.83 c | 320615 | 800 16000 80000 | 82961 72279 115 | 0.000 % |
186.78/186.98 c | 320848 | 800 16000 80000 | 82961 72512 115 | 0.000 % |
186.99/187.16 c | 321104 | 800 16000 80000 | 82961 72768 115 | 0.000 % |
187.18/187.35 c | 321386 | 800 16000 80000 | 82961 73050 115 | 0.000 % |
187.38/187.56 c | 321696 | 800 16000 80000 | 82961 73360 114 | 0.000 % |
187.68/187.80 c | 322036 | 800 16000 80000 | 82961 73700 115 | 0.000 % |
187.88/188.10 c | 322409 | 800 16000 80000 | 82961 74073 114 | 0.000 % |
188.18/188.39 c | 322819 | 800 16000 80000 | 82961 74483 114 | 0.000 % |
188.48/188.69 c | 323268 | 800 16000 80000 | 82961 74932 114 | 0.000 % |
188.88/189.01 c | 323761 | 800 16000 80000 | 82961 75425 114 | 0.000 % |
189.19/189.38 c | 324304 | 800 16000 80000 | 82961 75968 114 | 0.000 % |
189.58/189.80 c | 324901 | 800 16000 80000 | 82961 76565 114 | 0.000 % |
190.08/190.23 c | 325557 | 800 16000 80000 | 82961 77221 114 | 0.000 % |
190.58/190.76 c | 326277 | 800 16000 80000 | 82961 77941 114 | 0.000 % |
191.18/191.32 c | 327072 | 800 16000 80000 | 82961 78736 114 | 0.000 % |
191.88/192.01 c | 327943 | 800 16000 80000 | 82961 79607 114 | 0.000 % |
192.58/192.72 c | 328902 | 800 16000 80000 | 82961 80566 114 | 0.000 % |
193.28/193.42 c | 329955 | 800 16000 80000 | 82961 81619 114 | 0.000 % |
194.08/194.22 c | 331117 | 800 16000 80000 | 81664 70717 115 | 0.000 % |
194.88/195.00 c | 332390 | 800 16000 80000 | 81664 71990 114 | 0.000 % |
195.68/195.85 c | 333790 | 800 16000 80000 | 81664 73390 114 | 0.000 % |
196.58/196.78 c | 335330 | 800 16000 80000 | 81664 74930 115 | 0.000 % |
197.78/197.91 c | 337024 | 800 16000 80000 | 81664 76624 115 | 0.000 % |
198.98/199.16 c | 338890 | 800 16000 80000 | 81664 78490 115 | 0.000 % |
200.38/200.58 c | 340939 | 800 16000 80000 | 79600 69717 115 | 0.000 % |
201.78/201.92 c | 343192 | 800 16000 80000 | 79600 71970 115 | 0.000 % |
203.28/203.44 c | 345671 | 800 16000 80000 | 79600 74449 116 | 0.000 % |
204.87/205.08 c | 348396 | 800 16000 80000 | 79600 77174 116 | 0.000 % |
206.88/207.02 c | 351395 | 800 16000 80000 | 78778 70816 116 | 0.000 % |
208.88/209.03 c | 354692 | 800 16000 80000 | 78778 74113 116 | 0.000 % |
208.88/209.10 c | 354793 | 800 16000 80000 | 78778 74214 116 | 0.000 % |
208.98/209.19 c | 354903 | 800 16000 80000 | 78778 74324 116 | 0.000 % |
209.07/209.27 c | 355024 | 800 16000 80000 | 78778 74445 116 | 0.000 % |
209.27/209.41 c | 355160 | 800 16000 80000 | 78778 74581 116 | 0.000 % |
209.37/209.52 c | 355309 | 800 16000 80000 | 78778 74730 116 | 0.000 % |
209.47/209.63 c | 355469 | 800 16000 80000 | 78778 74890 116 | 0.000 % |
209.57/209.76 c | 355646 | 800 16000 80000 | 78778 75067 116 | 0.000 % |
209.77/209.90 c | 355840 | 800 16000 80000 | 78778 75261 116 | 0.000 % |
209.87/210.05 c | 356052 | 800 16000 80000 | 78778 75473 116 | 0.000 % |
210.07/210.23 c | 356285 | 800 16000 80000 | 78778 75706 116 | 0.000 % |
210.27/210.42 c | 356542 | 800 16000 80000 | 78778 75963 116 | 0.000 % |
210.47/210.64 c | 356824 | 800 16000 80000 | 78778 76245 116 | 0.000 % |
210.67/210.89 c | 357133 | 800 16000 80000 | 78778 76554 116 | 0.000 % |
210.97/211.16 c | 357472 | 800 16000 80000 | 78778 76893 116 | 0.000 % |
211.27/211.43 c | 357844 | 800 16000 80000 | 78778 77265 115 | 0.000 % |
211.57/211.73 c | 358256 | 800 16000 80000 | 78778 77677 115 | 0.000 % |
211.87/212.04 c | 358705 | 800 16000 80000 | 78778 78126 115 | 0.000 % |
212.17/212.38 c | 359198 | 800 16000 80000 | 78778 78619 115 | 0.000 % |
212.57/212.78 c | 359742 | 800 16000 80000 | 78778 68964 116 | 0.000 % |
212.97/213.18 c | 360339 | 800 16000 80000 | 69223 60828 116 | 0.000 % |
213.37/213.54 c | 360994 | 800 16000 80000 | 69223 61483 116 | 0.000 % |
213.77/213.91 c | 361715 | 800 16000 80000 | 69223 62204 116 | 0.000 % |
214.17/214.35 c | 362509 | 800 16000 80000 | 69223 62998 116 | 0.000 % |
214.67/214.88 c | 363381 | 800 16000 80000 | 69223 63870 116 | 0.000 % |
215.27/215.48 c | 364339 | 800 16000 80000 | 69223 64828 116 | 0.000 % |
215.87/216.06 c | 365392 | 800 16000 80000 | 69223 65881 115 | 0.000 % |
216.57/216.71 c | 366550 | 800 16000 80000 | 69223 67039 115 | 0.000 % |
217.37/217.51 c | 367824 | 800 16000 80000 | 69223 68313 116 | 0.000 % |
218.27/218.45 c | 369228 | 800 16000 80000 | 69223 62768 115 | 0.000 % |
219.07/219.27 c | 370769 | 800 16000 80000 | 2147483647 64309 115 | 0.000 % |
220.06/220.24 c | 372464 | 800 16000 80000 | 2147483647 66004 116 | 0.000 % |
221.07/221.28 c | 374328 | 800 16000 80000 | 2147483647 67868 116 | 0.000 % |
222.27/222.45 c | 376377 | 800 16000 80000 | 2147483647 69917 116 | 0.000 % |
223.66/223.87 c | 378630 | 800 16000 80000 | 2147483647 72170 116 | 0.000 % |
225.26/225.46 c | 381109 | 800 16000 80000 | 2147483647 74649 116 | 0.000 % |
226.96/227.20 c | 383834 | 800 16000 80000 | 2147483647 77374 116 | 0.000 % |
228.96/229.17 c | 386833 | 800 16000 80000 | 2147483647 80373 116 | 0.000 % |
231.26/231.49 c | 390129 | 800 16000 80000 | 83542 83669 116 | 0.000 % |
233.76/233.92 c | 393754 | 800 16000 80000 | 83542 76490 115 | 0.000 % |
233.76/233.99 c | 393855 | 800 16000 80000 | 83542 76591 115 | 0.000 % |
233.86/234.08 c | 393965 | 800 16000 80000 | 83542 76701 115 | 0.000 % |
233.96/234.16 c | 394086 | 800 16000 80000 | 83542 76822 115 | 0.000 % |
234.06/234.28 c | 394219 | 800 16000 80000 | 83542 76955 115 | 0.000 % |
234.16/234.40 c | 394367 | 800 16000 80000 | 83542 77103 115 | 0.000 % |
234.36/234.51 c | 394528 | 800 16000 80000 | 83542 77264 115 | 0.000 % |
234.46/234.66 c | 394704 | 800 16000 80000 | 83542 77440 115 | 0.000 % |
234.56/234.79 c | 394899 | 800 16000 80000 | 83542 77635 115 | 0.000 % |
234.76/234.95 c | 395111 | 800 16000 80000 | 83542 77847 115 | 0.000 % |
234.96/235.13 c | 395344 | 800 16000 80000 | 83542 78080 115 | 0.000 % |
235.16/235.30 c | 395600 | 800 16000 80000 | 83542 78336 115 | 0.000 % |
235.26/235.49 c | 395882 | 800 16000 80000 | 83542 78618 115 | 0.000 % |
235.56/235.73 c | 396192 | 800 16000 80000 | 83542 78928 115 | 0.000 % |
235.76/235.97 c | 396531 | 800 16000 80000 | 83542 79267 115 | 0.000 % |
236.06/236.27 c | 396903 | 800 16000 80000 | 83542 79639 115 | 0.000 % |
236.36/236.58 c | 397312 | 800 16000 80000 | 83542 80048 115 | 0.000 % |
236.66/236.89 c | 397761 | 800 16000 80000 | 83542 80497 115 | 0.000 % |
237.06/237.25 c | 398254 | 800 16000 80000 | 83542 80990 115 | 0.000 % |
237.46/237.66 c | 398796 | 800 16000 80000 | 83542 81532 115 | 0.000 % |
237.85/238.09 c | 399394 | 800 16000 80000 | 83542 82130 115 | 0.000 % |
238.35/238.57 c | 400049 | 800 16000 80000 | 82736 82785 115 | 0.000 % |
238.95/239.10 c | 400770 | 800 16000 80000 | 82736 71310 115 | 0.000 % |
239.45/239.61 c | 401563 | 800 16000 80000 | 82736 72103 115 | 0.000 % |
240.05/240.26 c | 402434 | 800 16000 80000 | 82736 72974 115 | 0.000 % |
240.65/240.85 c | 403392 | 800 16000 80000 | 82736 73932 115 | 0.000 % |
241.35/241.52 c | 404448 | 800 16000 80000 | 82736 74988 115 | 0.000 % |
242.05/242.26 c | 405606 | 800 16000 80000 | 82736 76146 115 | 0.000 % |
242.85/243.03 c | 406881 | 800 16000 80000 | 82736 77421 115 | 0.000 % |
243.75/243.90 c | 408281 | 800 16000 80000 | 82736 78821 115 | 0.000 % |
244.65/244.90 c | 409822 | 800 16000 80000 | 82736 80362 115 | 0.000 % |
245.75/245.98 c | 411516 | 800 16000 80000 | 80540 71069 114 | 0.000 % |
246.95/247.11 c | 413379 | 800 16000 80000 | 80540 72932 114 | 0.000 % |
248.25/248.45 c | 415429 | 800 16000 80000 | 80540 74982 114 | 0.000 % |
249.85/250.01 c | 417684 | 800 16000 80000 | 80540 77237 114 | 0.000 % |
251.55/251.76 c | 420163 | 800 16000 80000 | 79554 79716 115 | 0.000 % |
253.25/253.42 c | 422891 | 800 16000 80000 | 79554 71771 114 | 0.000 % |
255.05/255.29 c | 425888 | 800 16000 80000 | 79554 74768 114 | 0.000 % |
257.25/257.46 c | 429184 | 800 16000 80000 | 79554 78064 115 | 0.000 % |
259.65/259.89 c | 432812 | 800 16000 80000 | 78880 71956 115 | 0.000 % |
262.24/262.45 c | 436801 | 800 16000 80000 | 78880 75945 115 | 0.000 % |
262.35/262.51 c | 436901 | 800 16000 80000 | 78880 76045 115 | 0.000 % |
262.35/262.58 c | 437011 | 800 16000 80000 | 78880 76155 115 | 0.000 % |
262.55/262.70 c | 437132 | 800 16000 80000 | 78880 76276 115 | 0.000 % |
262.65/262.81 c | 437267 | 800 16000 80000 | 78880 76411 115 | 0.000 % |
262.76/262.93 c | 437413 | 800 16000 80000 | 78880 76557 115 | 0.000 % |
262.86/263.03 c | 437573 | 800 16000 80000 | 78880 76717 115 | 0.000 % |
262.95/263.20 c | 437750 | 800 16000 80000 | 78880 76894 115 | 0.000 % |
263.15/263.35 c | 437943 | 800 16000 80000 | 78880 77087 115 | 0.000 % |
263.35/263.50 c | 438156 | 800 16000 80000 | 78880 77300 115 | 0.000 % |
263.45/263.67 c | 438389 | 800 16000 80000 | 78880 77533 115 | 0.000 % |
263.65/263.88 c | 438648 | 800 16000 80000 | 78880 77792 115 | 0.000 % |
263.86/264.07 c | 438931 | 800 16000 80000 | 78880 78075 115 | 0.000 % |
264.15/264.31 c | 439240 | 800 16000 80000 | 78880 78384 115 | 0.000 % |
264.35/264.54 c | 439580 | 800 16000 80000 | 78880 78724 115 | 0.000 % |
264.65/264.84 c | 439952 | 800 16000 80000 | 78880 79096 115 | 0.000 % |
264.95/265.20 c | 440361 | 800 16000 80000 | 69315 61143 115 | 0.000 % |
265.25/265.46 c | 440810 | 800 16000 80000 | 69315 61592 115 | 0.000 % |
265.55/265.75 c | 441303 | 800 16000 80000 | 69315 62085 115 | 0.000 % |
265.85/266.06 c | 441846 | 800 16000 80000 | 69315 62628 115 | 0.000 % |
266.15/266.39 c | 442443 | 800 16000 80000 | 69315 63225 115 | 0.000 % |
266.55/266.76 c | 443098 | 800 16000 80000 | 69315 63880 115 | 0.000 % |
267.05/267.20 c | 443818 | 800 16000 80000 | 69315 64600 115 | 0.000 % |
267.45/267.65 c | 444610 | 800 16000 80000 | 69315 65392 115 | 0.000 % |
267.95/268.16 c | 445481 | 800 16000 80000 | 69315 66263 115 | 0.000 % |
268.55/268.73 c | 446439 | 800 16000 80000 | 69315 67221 115 | 0.000 % |
269.15/269.32 c | 447492 | 800 16000 80000 | 69315 68274 114 | 0.000 % |
269.85/270.00 c | 448651 | 800 16000 80000 | 69315 69433 114 | 0.000 % |
270.55/270.77 c | 449924 | 800 16000 80000 | 69315 63763 114 | 0.000 % |
271.45/271.62 c | 451324 | 800 16000 80000 | 2147483647 65163 114 | 0.000 % |
272.35/272.51 c | 452864 | 800 16000 80000 | 2147483647 66703 114 | 0.000 % |
273.35/273.53 c | 454558 | 800 16000 80000 | 2147483647 68397 114 | 0.000 % |
274.55/274.70 c | 456421 | 800 16000 80000 | 2147483647 70260 114 | 0.000 % |
275.85/276.04 c | 458470 | 800 16000 80000 | 2147483647 72309 114 | 0.000 % |
277.25/277.44 c | 460723 | 800 16000 80000 | 2147483647 74562 114 | 0.000 % |
278.85/279.05 c | 463201 | 800 16000 80000 | 2147483647 77040 114 | 0.000 % |
280.64/280.85 c | 465927 | 800 16000 80000 | 2147483647 79766 114 | 0.000 % |
282.74/282.98 c | 468924 | 800 16000 80000 | 2147483647 82763 115 | 0.000 % |
285.24/285.46 c | 472220 | 800 16000 80000 | 83840 74409 116 | 0.000 % |
287.74/287.93 c | 475847 | 800 16000 80000 | 83840 78036 116 | 0.000 % |
290.54/290.70 c | 479835 | 800 16000 80000 | 83840 82024 116 | 0.000 % |
293.44/293.65 c | 484220 | 800 16000 80000 | 82190 74473 117 | 0.000 % |
293.54/293.72 c | 484322 | 800 16000 80000 | 82190 74575 117 | 0.000 % |
293.54/293.80 c | 484433 | 800 16000 80000 | 82190 74686 117 | 0.000 % |
293.64/293.89 c | 484554 | 800 16000 80000 | 82190 74807 117 | 0.000 % |
293.84/294.01 c | 484687 | 800 16000 80000 | 82190 74940 117 | 0.000 % |
293.94/294.13 c | 484835 | 800 16000 80000 | 82190 75088 117 | 0.000 % |
294.04/294.25 c | 485001 | 800 16000 80000 | 82190 75254 117 | 0.000 % |
294.13/294.39 c | 485178 | 800 16000 80000 | 82190 75431 117 | 0.000 % |
294.33/294.53 c | 485371 | 800 16000 80000 | 82190 75624 117 | 0.000 % |
294.43/294.69 c | 485583 | 800 16000 80000 | 82190 75836 117 | 0.000 % |
294.64/294.88 c | 485816 | 800 16000 80000 | 82190 76069 117 | 0.000 % |
294.83/295.08 c | 486073 | 800 16000 80000 | 82190 76326 116 | 0.000 % |
295.13/295.30 c | 486354 | 800 16000 80000 | 82190 76607 116 | 0.000 % |
295.33/295.53 c | 486663 | 800 16000 80000 | 82190 76916 116 | 0.000 % |
295.53/295.78 c | 487005 | 800 16000 80000 | 82190 77258 116 | 0.000 % |
295.84/296.06 c | 487378 | 800 16000 80000 | 82190 77631 116 | 0.000 % |
296.13/296.36 c | 487787 | 800 16000 80000 | 82190 78040 116 | 0.000 % |
296.43/296.69 c | 488236 | 800 16000 80000 | 82190 78489 116 | 0.000 % |
296.84/297.07 c | 488730 | 800 16000 80000 | 82190 78983 116 | 0.000 % |
297.23/297.45 c | 489273 | 800 16000 80000 | 82190 79526 116 | 0.000 % |
297.73/297.92 c | 489869 | 800 16000 80000 | 82190 80122 116 | 0.000 % |
298.23/298.40 c | 490525 | 800 16000 80000 | 80254 69090 116 | 0.000 % |
298.63/298.86 c | 491246 | 800 16000 80000 | 80254 69811 116 | 0.000 % |
299.14/299.39 c | 492039 | 800 16000 80000 | 80254 70604 116 | 0.000 % |
299.73/299.93 c | 492912 | 800 16000 80000 | 80254 71477 116 | 0.000 % |
300.33/300.58 c | 493870 | 800 16000 80000 | 80254 72435 116 | 0.000 % |
301.03/301.26 c | 494923 | 800 16000 80000 | 80254 73488 116 | 0.000 % |
301.83/302.02 c | 496081 | 800 16000 80000 | 80254 74646 116 | 0.000 % |
302.73/302.90 c | 497354 | 800 16000 80000 | 80254 75919 116 | 0.000 % |
303.63/303.81 c | 498755 | 800 16000 80000 | 80254 77320 116 | 0.000 % |
304.63/304.86 c | 500295 | 800 16000 80000 | 78566 68281 115 | 0.000 % |
305.63/305.86 c | 501989 | 800 16000 80000 | 78566 69975 115 | 0.000 % |
306.73/306.96 c | 503853 | 800 16000 80000 | 78566 71839 115 | 0.000 % |
308.02/308.22 c | 505904 | 800 16000 80000 | 78566 73890 115 | 0.000 % |
309.42/309.65 c | 508159 | 800 16000 80000 | 78566 76145 115 | 0.000 % |
311.02/311.30 c | 510638 | 800 16000 80000 | 77986 69292 115 | 0.000 % |
312.72/312.91 c | 513363 | 800 16000 80000 | 77986 72017 115 | 0.000 % |
314.62/314.81 c | 516360 | 800 16000 80000 | 77986 75014 115 | 0.000 % |
316.92/317.14 c | 519656 | 800 16000 80000 | 77986 69731 116 | 0.000 % |
319.12/319.31 c | 523283 | 800 16000 80000 | 70076 65683 116 | 0.000 % |
321.62/321.81 c | 527272 | 800 16000 80000 | 70076 69672 115 | 0.000 % |
324.22/324.46 c | 531657 | 800 16000 80000 | 2147483647 67020 116 | 0.000 % |
327.32/327.54 c | 536480 | 800 16000 80000 | 2147483647 71843 117 | 0.000 % |
327.42/327.62 c | 536581 | 800 16000 80000 | 2147483647 71944 117 | 0.000 % |
327.52/327.73 c | 536692 | 800 16000 80000 | 2147483647 72055 117 | 0.000 % |
327.62/327.81 c | 536813 | 800 16000 80000 | 2147483647 72176 117 | 0.000 % |
327.72/327.90 c | 536946 | 800 16000 80000 | 2147483647 72309 117 | 0.000 % |
327.81/328.02 c | 537093 | 800 16000 80000 | 2147483647 72456 117 | 0.000 % |
327.91/328.14 c | 537253 | 800 16000 80000 | 2147483647 72616 117 | 0.000 % |
328.01/328.26 c | 537431 | 800 16000 80000 | 2147483647 72794 117 | 0.000 % |
328.11/328.39 c | 537626 | 800 16000 80000 | 2147483647 72989 116 | 0.000 % |
328.31/328.55 c | 537840 | 800 16000 80000 | 2147483647 73203 116 | 0.000 % |
328.51/328.72 c | 538076 | 800 16000 80000 | 2147483647 73439 116 | 0.000 % |
328.72/328.92 c | 538336 | 800 16000 80000 | 2147483647 73699 116 | 0.000 % |
328.91/329.12 c | 538617 | 800 16000 80000 | 2147483647 73980 116 | 0.000 % |
329.11/329.36 c | 538926 | 800 16000 80000 | 2147483647 74289 116 | 0.000 % |
329.31/329.57 c | 539265 | 800 16000 80000 | 2147483647 74628 116 | 0.000 % |
329.61/329.83 c | 539638 | 800 16000 80000 | 2147483647 75001 116 | 0.000 % |
329.82/330.10 c | 540050 | 800 16000 80000 | 75363 75413 116 | 0.000 % |
330.21/330.43 c | 540501 | 800 16000 80000 | 75363 67715 116 | 0.000 % |
330.51/330.74 c | 540994 | 800 16000 80000 | 75363 68208 116 | 0.000 % |
330.81/331.08 c | 541536 | 800 16000 80000 | 75363 68750 116 | 0.000 % |
331.31/331.50 c | 542132 | 800 16000 80000 | 75363 69346 116 | 0.000 % |
331.61/331.89 c | 542787 | 800 16000 80000 | 75363 70001 115 | 0.000 % |
332.12/332.38 c | 543507 | 800 16000 80000 | 75363 70721 115 | 0.000 % |
332.61/332.89 c | 544300 | 800 16000 80000 | 75363 71514 115 | 0.000 % |
333.22/333.44 c | 545171 | 800 16000 80000 | 75363 72385 115 | 0.000 % |
333.81/334.09 c | 546129 | 800 16000 80000 | 75363 73343 115 | 0.000 % |
334.51/334.76 c | 547183 | 800 16000 80000 | 75363 74397 115 | 0.000 % |
335.32/335.55 c | 548341 | 800 16000 80000 | 75363 75555 115 | 0.000 % |
336.11/336.31 c | 549614 | 800 16000 80000 | 75363 68069 115 | 0.000 % |
336.91/337.18 c | 551015 | 800 16000 80000 | 68457 61752 115 | 0.000 % |
337.81/338.09 c | 552556 | 800 16000 80000 | 68457 63293 115 | 0.000 % |
338.81/339.04 c | 554250 | 800 16000 80000 | 68457 64987 115 | 0.000 % |
339.91/340.16 c | 556113 | 800 16000 80000 | 68457 66850 115 | 0.000 % |
341.21/341.45 c | 558162 | 800 16000 80000 | 68457 62026 116 | 0.000 % |
342.51/342.78 c | 560415 | 800 16000 80000 | 2147483647 64279 116 | 0.000 % |
344.01/344.27 c | 562894 | 800 16000 80000 | 2147483647 66758 116 | 0.000 % |
345.71/345.97 c | 565622 | 800 16000 80000 | 2147483647 69486 116 | 0.000 % |
347.71/347.94 c | 568619 | 800 16000 80000 | 2147483647 72483 116 | 0.000 % |
349.90/350.10 c | 571916 | 800 16000 80000 | 2147483647 75780 116 | 0.000 % |
352.20/352.48 c | 575541 | 800 16000 80000 | 2147483647 79405 116 | 0.000 % |
355.00/355.23 c | 579528 | 800 16000 80000 | 2147483647 83392 115 | 0.000 % |
357.80/358.09 c | 583913 | 800 16000 80000 | 83865 75429 115 | 0.000 % |
361.20/361.45 c | 588738 | 800 16000 80000 | 83865 80254 115 | 0.000 % |
364.79/365.02 c | 594044 | 800 16000 80000 | 81516 74325 115 | 0.000 % |
364.89/365.10 c | 594144 | 800 16000 80000 | 81516 74425 115 | 0.000 % |
364.89/365.19 c | 594254 | 800 16000 80000 | 81516 74535 115 | 0.000 % |
365.00/365.28 c | 594375 | 800 16000 80000 | 81516 74656 115 | 0.000 % |
365.10/365.37 c | 594509 | 800 16000 80000 | 81516 74790 115 | 0.000 % |
365.19/365.49 c | 594656 | 800 16000 80000 | 81516 74937 115 | 0.000 % |
365.39/365.60 c | 594816 | 800 16000 80000 | 81516 75097 115 | 0.000 % |
365.49/365.74 c | 594992 | 800 16000 80000 | 81516 75273 115 | 0.000 % |
365.59/365.89 c | 595186 | 800 16000 80000 | 81516 75467 115 | 0.000 % |
365.79/366.07 c | 595399 | 800 16000 80000 | 81516 75680 115 | 0.000 % |
365.99/366.25 c | 595632 | 800 16000 80000 | 81516 75913 115 | 0.000 % |
366.20/366.45 c | 595889 | 800 16000 80000 | 81516 76170 115 | 0.000 % |
366.39/366.65 c | 596172 | 800 16000 80000 | 81516 76453 115 | 0.000 % |
366.59/366.86 c | 596482 | 800 16000 80000 | 81516 76763 115 | 0.000 % |
366.89/367.10 c | 596822 | 800 16000 80000 | 81516 77103 115 | 0.000 % |
367.09/367.38 c | 597199 | 800 16000 80000 | 81516 77480 115 | 0.000 % |
367.39/367.66 c | 597610 | 800 16000 80000 | 81516 77891 115 | 0.000 % |
367.69/367.95 c | 598059 | 800 16000 80000 | 81516 78340 115 | 0.000 % |
368.09/368.35 c | 598552 | 800 16000 80000 | 81516 78833 115 | 0.000 % |
368.59/368.81 c | 599094 | 800 16000 80000 | 81516 79375 115 | 0.000 % |
368.99/369.27 c | 599691 | 800 16000 80000 | 81516 79972 115 | 0.000 % |
369.59/369.81 c | 600346 | 800 16000 80000 | 80281 68901 114 | 0.000 % |
369.99/370.27 c | 601066 | 800 16000 80000 | 80281 69621 114 | 0.000 % |
370.49/370.77 c | 601860 | 800 16000 80000 | 80281 70415 114 | 0.000 % |
371.09/371.32 c | 602732 | 800 16000 80000 | 80281 71287 114 | 0.000 % |
371.69/371.95 c | 603691 | 800 16000 80000 | 80281 72246 114 | 0.000 % |
372.29/372.56 c | 604744 | 800 16000 80000 | 80281 73299 114 | 0.000 % |
373.09/373.30 c | 605902 | 800 16000 80000 | 80281 74457 114 | 0.000 % |
373.89/374.13 c | 607176 | 800 16000 80000 | 80281 75731 114 | 0.000 % |
374.79/375.04 c | 608577 | 800 16000 80000 | 80281 77132 114 | 0.000 % |
375.89/376.14 c | 610119 | 800 16000 80000 | 78555 78674 114 | 0.000 % |
376.99/377.23 c | 611813 | 800 16000 80000 | 78555 70011 113 | 0.000 % |
378.19/378.41 c | 613677 | 800 16000 80000 | 78555 71875 113 | 0.000 % |
379.39/379.62 c | 615727 | 800 16000 80000 | 78555 73925 113 | 0.000 % |
380.79/381.01 c | 617983 | 800 16000 80000 | 78555 76181 113 | 0.000 % |
382.48/382.74 c | 620461 | 800 16000 80000 | 78199 69456 113 | 0.000 % |
384.18/384.49 c | 623186 | 800 16000 80000 | 78199 72181 113 | 0.000 % |
386.09/386.37 c | 626185 | 800 16000 80000 | 78199 75180 113 | 0.000 % |
388.39/388.61 c | 629482 | 800 16000 80000 | 78199 69275 114 | 0.000 % |
390.39/390.64 c | 633107 | 800 16000 80000 | 69794 64841 114 | 0.000 % |
392.59/392.82 c | 637095 | 800 16000 80000 | 69794 68829 114 | 0.000 % |
395.09/395.35 c | 641480 | 800 16000 80000 | 2147483647 66208 114 | 0.000 % |
397.99/398.23 c | 646303 | 800 16000 80000 | 2147483647 71031 115 | 0.000 % |
401.19/401.49 c | 651609 | 800 16000 80000 | 2147483647 76337 115 | 0.000 % |
405.39/405.60 c | 657445 | 800 16000 80000 | 2147483647 82173 115 | 0.000 % |
405.39/405.69 c | 657546 | 800 16000 80000 | 2147483647 82274 115 | 0.000 % |
405.48/405.80 c | 657657 | 800 16000 80000 | 2147483647 82385 115 | 0.000 % |
405.69/405.92 c | 657778 | 800 16000 80000 | 2147483647 82506 115 | 0.000 % |
405.79/406.03 c | 657912 | 800 16000 80000 | 2147483647 82640 115 | 0.000 % |
405.88/406.15 c | 658061 | 800 16000 80000 | 2147483647 82789 115 | 0.000 % |
405.98/406.29 c | 658222 | 800 16000 80000 | 2147483647 82950 115 | 0.000 % |
406.18/406.44 c | 658398 | 800 16000 80000 | 2147483647 83126 115 | 0.000 % |
406.28/406.60 c | 658591 | 800 16000 80000 | 2147483647 83319 115 | 0.000 % |
406.48/406.78 c | 658803 | 800 16000 80000 | 2147483647 83531 115 | 0.000 % |
406.68/406.97 c | 659036 | 800 16000 80000 | 2147483647 83764 115 | 0.000 % |
406.89/407.17 c | 659293 | 800 16000 80000 | 2147483647 84021 115 | 0.000 % |
407.08/407.38 c | 659574 | 800 16000 80000 | 2147483647 84302 115 | 0.000 % |
407.38/407.65 c | 659884 | 800 16000 80000 | 2147483647 84612 115 | 0.000 % |
407.68/407.92 c | 660224 | 800 16000 80000 | 84729 84952 115 | 0.000 % |
407.99/408.25 c | 660597 | 800 16000 80000 | 84729 72742 115 | 0.000 % |
408.28/408.54 c | 661007 | 800 16000 80000 | 84729 73152 115 | 0.000 % |
408.58/408.84 c | 661456 | 800 16000 80000 | 84729 73601 115 | 0.000 % |
408.88/409.16 c | 661951 | 800 16000 80000 | 84729 74096 115 | 0.000 % |
409.28/409.50 c | 662493 | 800 16000 80000 | 84729 74638 115 | 0.000 % |
409.68/409.91 c | 663089 | 800 16000 80000 | 84729 75234 115 | 0.000 % |
410.18/410.40 c | 663745 | 800 16000 80000 | 84729 75890 115 | 0.000 % |
410.58/410.88 c | 664468 | 800 16000 80000 | 84729 76613 115 | 0.000 % |
411.18/411.43 c | 665261 | 800 16000 80000 | 84729 77406 115 | 0.000 % |
411.78/412.03 c | 666132 | 800 16000 80000 | 84729 78277 115 | 0.000 % |
412.38/412.65 c | 667090 | 800 16000 80000 | 84729 79235 115 | 0.000 % |
413.18/413.44 c | 668143 | 800 16000 80000 | 84729 80288 115 | 0.000 % |
413.98/414.25 c | 669301 | 800 16000 80000 | 84729 81446 115 | 0.000 % |
414.88/415.19 c | 670574 | 800 16000 80000 | 82145 70745 115 | 0.000 % |
415.88/416.12 c | 671974 | 800 16000 80000 | 82145 72145 115 | 0.000 % |
416.88/417.14 c | 673514 | 800 16000 80000 | 82145 73685 115 | 0.000 % |
417.98/418.26 c | 675208 | 800 16000 80000 | 82145 75379 115 | 0.000 % |
419.17/419.41 c | 677072 | 800 16000 80000 | 82145 77243 115 | 0.000 % |
420.58/420.88 c | 679121 | 800 16000 80000 | 82145 79292 115 | 0.000 % |
422.07/422.40 c | 681374 | 800 16000 80000 | 80172 70214 116 | 0.000 % |
423.67/423.95 c | 683852 | 800 16000 80000 | 80172 72692 116 | 0.000 % |
425.48/425.74 c | 686577 | 800 16000 80000 | 80172 75417 116 | 0.000 % |
427.47/427.72 c | 689574 | 800 16000 80000 | 80172 78414 116 | 0.000 % |
429.67/429.95 c | 692870 | 800 16000 80000 | 78841 71177 116 | 0.000 % |
432.07/432.33 c | 696499 | 800 16000 80000 | 78841 74806 116 | 0.000 % |
434.57/434.88 c | 700486 | 800 16000 80000 | 78307 68498 116 | 0.000 % |
437.17/437.46 c | 704871 | 800 16000 80000 | 78307 72883 116 | 0.000 % |
440.17/440.44 c | 709694 | 800 16000 80000 | 78307 77706 116 | 0.000 % |
443.46/443.79 c | 714999 | 800 16000 80000 | 78013 73126 116 | 0.000 % |
447.47/447.80 c | 720834 | 800 16000 80000 | 78127 69312 116 | 0.000 % |
451.97/452.23 c | 727252 | 800 16000 80000 | 78127 75730 117 | 0.000 % |
452.06/452.31 c | 727352 | 800 16000 80000 | 78127 75830 117 | 0.000 % |
452.06/452.39 c | 727462 | 800 16000 80000 | 78127 75940 117 | 0.000 % |
452.16/452.49 c | 727584 | 800 16000 80000 | 78127 76062 117 | 0.000 % |
452.36/452.61 c | 727717 | 800 16000 80000 | 78127 76195 117 | 0.000 % |
452.46/452.72 c | 727863 | 800 16000 80000 | 78127 76341 117 | 0.000 % |
452.56/452.83 c | 728023 | 800 16000 80000 | 78127 76501 117 | 0.000 % |
452.66/452.98 c | 728200 | 800 16000 80000 | 78127 76678 117 | 0.000 % |
452.86/453.12 c | 728393 | 800 16000 80000 | 78127 76871 117 | 0.000 % |
452.96/453.27 c | 728606 | 800 16000 80000 | 78127 77084 117 | 0.000 % |
453.16/453.44 c | 728839 | 800 16000 80000 | 78127 77317 116 | 0.000 % |
453.36/453.62 c | 729095 | 800 16000 80000 | 78127 77573 116 | 0.000 % |
453.56/453.84 c | 729376 | 800 16000 80000 | 78127 77854 116 | 0.000 % |
453.76/454.09 c | 729686 | 800 16000 80000 | 78127 78164 116 | 0.000 % |
454.06/454.37 c | 730025 | 800 16000 80000 | 68064 68089 117 | 0.000 % |
454.36/454.65 c | 730397 | 800 16000 80000 | 68064 59435 117 | 0.000 % |
454.66/454.91 c | 730808 | 800 16000 80000 | 68064 59846 117 | 0.000 % |
454.86/455.18 c | 731260 | 800 16000 80000 | 68064 60298 117 | 0.000 % |
455.16/455.46 c | 731753 | 800 16000 80000 | 68064 60791 117 | 0.000 % |
455.46/455.77 c | 732297 | 800 16000 80000 | 68064 61335 117 | 0.000 % |
455.76/456.08 c | 732893 | 800 16000 80000 | 68064 61931 117 | 0.000 % |
456.16/456.47 c | 733549 | 800 16000 80000 | 68064 62587 117 | 0.000 % |
456.66/456.91 c | 734269 | 800 16000 80000 | 68064 63307 117 | 0.000 % |
457.06/457.38 c | 735062 | 800 16000 80000 | 68064 64100 117 | 0.000 % |
457.56/457.88 c | 735933 | 800 16000 80000 | 68064 64971 117 | 0.000 % |
458.16/458.46 c | 736892 | 800 16000 80000 | 68064 65930 117 | 0.000 % |
458.86/459.10 c | 737945 | 800 16000 80000 | 68064 66983 117 | 0.000 % |
459.46/459.74 c | 739103 | 800 16000 80000 | 68064 68141 117 | 0.000 % |
460.16/460.45 c | 740376 | 800 16000 80000 | 2147483647 62600 117 | 0.000 % |
460.86/461.17 c | 741778 | 800 16000 80000 | 2147483647 64002 117 | 0.000 % |
461.76/462.03 c | 743319 | 800 16000 80000 | 2147483647 65543 117 | 0.000 % |
462.76/463.04 c | 745013 | 800 16000 80000 | 2147483647 67237 117 | 0.000 % |
463.96/464.22 c | 746881 | 800 16000 80000 | 2147483647 69105 117 | 0.000 % |
465.16/465.49 c | 748930 | 800 16000 80000 | 2147483647 71154 117 | 0.000 % |
466.65/466.92 c | 751183 | 800 16000 80000 | 2147483647 73407 117 | 0.000 % |
468.25/468.55 c | 753663 | 800 16000 80000 | 2147483647 75887 117 | 0.000 % |
470.25/470.53 c | 756388 | 800 16000 80000 | 2147483647 78612 117 | 0.000 % |
472.35/472.64 c | 759385 | 800 16000 80000 | 2147483647 81609 117 | 0.000 % |
474.55/474.88 c | 762682 | 800 16000 80000 | 82225 74305 117 | 0.000 % |
477.15/477.42 c | 766307 | 800 16000 80000 | 82225 77930 117 | 0.000 % |
479.85/480.13 c | 770294 | 800 16000 80000 | 81623 70789 117 | 0.000 % |
482.85/483.11 c | 774679 | 800 16000 80000 | 81623 75174 117 | 0.000 % |
486.25/486.57 c | 779502 | 800 16000 80000 | 81623 79997 117 | 0.000 % |
489.64/489.98 c | 784808 | 800 16000 80000 | 80496 73868 117 | 0.000 % |
493.44/493.78 c | 790643 | 800 16000 80000 | 79060 68464 117 | 0.000 % |
497.24/497.58 c | 797061 | 800 16000 80000 | 79060 74882 118 | 0.000 % |
501.74/502.01 c | 804122 | 800 16000 80000 | 77822 72071 119 | 0.000 % |
501.74/502.08 c | 804223 | 800 16000 80000 | 77822 72172 119 | 0.000 % |
501.84/502.16 c | 804333 | 800 16000 80000 | 77822 72282 119 | 0.000 % |
501.94/502.24 c | 804454 | 800 16000 80000 | 77822 72403 119 | 0.000 % |
502.04/502.35 c | 804589 | 800 16000 80000 | 77822 72538 119 | 0.000 % |
502.14/502.47 c | 804735 | 800 16000 80000 | 77822 72684 119 | 0.000 % |
502.24/502.58 c | 804896 | 800 16000 80000 | 77822 72845 119 | 0.000 % |
502.44/502.70 c | 805072 | 800 16000 80000 | 77822 73021 119 | 0.000 % |
502.54/502.87 c | 805265 | 800 16000 80000 | 77822 73214 119 | 0.000 % |
502.74/503.01 c | 805479 | 800 16000 80000 | 77822 73428 119 | 0.000 % |
502.84/503.19 c | 805713 | 800 16000 80000 | 77822 73662 119 | 0.000 % |
503.04/503.34 c | 805969 | 800 16000 80000 | 77822 73918 119 | 0.000 % |
503.24/503.53 c | 806251 | 800 16000 80000 | 77822 74200 118 | 0.000 % |
503.44/503.74 c | 806561 | 800 16000 80000 | 77822 74510 118 | 0.000 % |
503.74/504.04 c | 806900 | 800 16000 80000 | 77822 74849 118 | 0.000 % |
504.04/504.31 c | 807272 | 800 16000 80000 | 77822 75221 118 | 0.000 % |
504.34/504.61 c | 807682 | 800 16000 80000 | 77822 75631 118 | 0.000 % |
504.64/504.94 c | 808131 | 800 16000 80000 | 77822 76080 118 | 0.000 % |
504.94/505.26 c | 808626 | 800 16000 80000 | 77822 76575 118 | 0.000 % |
505.34/505.62 c | 809168 | 800 16000 80000 | 77822 77117 118 | 0.000 % |
505.74/506.06 c | 809764 | 800 16000 80000 | 77822 77713 118 | 0.000 % |
506.24/506.52 c | 810420 | 800 16000 80000 | 77950 68032 119 | 0.000 % |
506.64/506.97 c | 811140 | 800 16000 80000 | 77950 68752 119 | 0.000 % |
507.14/507.45 c | 811933 | 800 16000 80000 | 77950 69545 118 | 0.000 % |
507.74/508.01 c | 812805 | 800 16000 80000 | 77950 70417 118 | 0.000 % |
508.34/508.63 c | 813763 | 800 16000 80000 | 77950 71375 118 | 0.000 % |
509.04/509.31 c | 814816 | 800 16000 80000 | 77950 72428 118 | 0.000 % |
509.64/509.99 c | 815975 | 800 16000 80000 | 77950 73587 118 | 0.000 % |
510.54/510.80 c | 817250 | 800 16000 80000 | 77950 74862 118 | 0.000 % |
511.34/511.67 c | 818651 | 800 16000 80000 | 77950 76263 118 | 0.000 % |
512.44/512.74 c | 820191 | 800 16000 80000 | 77616 77803 118 | 0.000 % |
513.54/513.87 c | 821885 | 800 16000 80000 | 77616 70186 118 | 0.000 % |
514.64/514.97 c | 823748 | 800 16000 80000 | 77616 72049 118 | 0.000 % |
515.93/516.23 c | 825797 | 800 16000 80000 | 77616 74098 118 | 0.000 % |
517.33/517.67 c | 828051 | 800 16000 80000 | 77616 76352 118 | 0.000 % |
519.04/519.34 c | 830530 | 800 16000 80000 | 69157 61488 117 | 0.000 % |
520.53/520.85 c | 833256 | 800 16000 80000 | 69157 64214 117 | 0.000 % |
522.33/522.62 c | 836253 | 800 16000 80000 | 69157 67211 117 | 0.000 % |
524.33/524.63 c | 839550 | 800 16000 80000 | 69157 63567 117 | 0.000 % |
526.43/526.74 c | 843176 | 800 16000 80000 | 2147483647 67193 117 | 0.000 % |
528.83/529.19 c | 847164 | 800 16000 80000 | 2147483647 71181 117 | 0.000 % |
531.83/532.10 c | 851552 | 800 16000 80000 | 74017 67750 116 | 0.000 % |
534.73/535.08 c | 856378 | 800 16000 80000 | 74017 72576 116 | 0.000 % |
538.03/538.36 c | 861683 | 800 16000 80000 | 68012 62355 114 | 0.000 % |
541.52/541.84 c | 867519 | 800 16000 80000 | 68012 68191 115 | 0.000 % |
545.12/545.48 c | 873937 | 800 16000 80000 | 2147483647 67790 115 | 0.000 % |
549.52/549.83 c | 880997 | 800 16000 80000 | 2147483647 74850 116 | 0.000 % |
554.82/555.19 c | 888761 | 800 16000 80000 | 2147483647 82614 116 | 0.000 % |
554.92/555.27 c | 888863 | 800 16000 80000 | 2147483647 82716 116 | 0.000 % |
555.02/555.36 c | 888973 | 800 16000 80000 | 2147483647 82826 116 | 0.000 % |
555.12/555.47 c | 889095 | 800 16000 80000 | 2147483647 82948 116 | 0.000 % |
555.22/555.59 c | 889229 | 800 16000 80000 | 2147483647 83082 116 | 0.000 % |
555.42/555.71 c | 889376 | 800 16000 80000 | 2147483647 83229 116 | 0.000 % |
555.52/555.84 c | 889536 | 800 16000 80000 | 2147483647 83389 116 | 0.000 % |
555.72/556.00 c | 889714 | 800 16000 80000 | 2147483647 83567 116 | 0.000 % |
555.82/556.16 c | 889907 | 800 16000 80000 | 2147483647 83760 116 | 0.000 % |
556.02/556.33 c | 890119 | 800 16000 80000 | 83853 83972 116 | 0.000 % |
556.22/556.54 c | 890353 | 800 16000 80000 | 83853 72558 116 | 0.000 % |
556.42/556.71 c | 890610 | 800 16000 80000 | 83853 72815 116 | 0.000 % |
556.62/556.90 c | 890891 | 800 16000 80000 | 83853 73096 116 | 0.000 % |
556.82/557.10 c | 891200 | 800 16000 80000 | 83853 73405 116 | 0.000 % |
557.02/557.33 c | 891539 | 800 16000 80000 | 83853 73744 116 | 0.000 % |
557.32/557.60 c | 891913 | 800 16000 80000 | 83853 74118 116 | 0.000 % |
557.52/557.87 c | 892323 | 800 16000 80000 | 83853 74528 116 | 0.000 % |
557.92/558.21 c | 892772 | 800 16000 80000 | 83853 74977 116 | 0.000 % |
558.22/558.54 c | 893265 | 800 16000 80000 | 83853 75470 116 | 0.000 % |
558.62/558.92 c | 893807 | 800 16000 80000 | 83853 76012 116 | 0.000 % |
559.02/559.36 c | 894406 | 800 16000 80000 | 83853 76611 116 | 0.000 % |
559.52/559.80 c | 895061 | 800 16000 80000 | 83853 77266 116 | 0.000 % |
560.02/560.36 c | 895783 | 800 16000 80000 | 83853 77988 116 | 0.000 % |
560.62/560.97 c | 896575 | 800 16000 80000 | 83853 78780 116 | 0.000 % |
561.32/561.62 c | 897446 | 800 16000 80000 | 83853 79651 116 | 0.000 % |
562.02/562.31 c | 898405 | 800 16000 80000 | 83853 80610 116 | 0.000 % |
562.72/563.10 c | 899458 | 800 16000 80000 | 83853 81663 116 | 0.000 % |
563.61/563.95 c | 900616 | 800 16000 80000 | 82207 70434 116 | 0.000 % |
564.41/564.77 c | 901890 | 800 16000 80000 | 82207 71708 116 | 0.000 % |
565.32/565.63 c | 903290 | 800 16000 80000 | 82207 73108 116 | 0.000 % |
566.32/566.67 c | 904830 | 800 16000 80000 | 82207 74648 116 | 0.000 % |
567.51/567.80 c | 906524 | 800 16000 80000 | 82207 76342 116 | 0.000 % |
568.81/569.15 c | 908387 | 800 16000 80000 | 82207 78205 116 | 0.000 % |
570.41/570.72 c | 910436 | 800 16000 80000 | 79818 68892 116 | 0.000 % |
571.72/572.07 c | 912689 | 800 16000 80000 | 79818 71145 116 | 0.000 % |
573.31/573.61 c | 915168 | 800 16000 80000 | 79818 73624 116 | 0.000 % |
575.01/575.35 c | 917893 | 800 16000 80000 | 79818 76349 116 | 0.000 % |
576.91/577.25 c | 920894 | 800 16000 80000 | 78456 69445 117 | 0.000 % |
578.91/579.25 c | 924190 | 800 16000 80000 | 78456 72741 117 | 0.000 % |
581.11/581.47 c | 927815 | 800 16000 80000 | 78456 76366 117 | 0.000 % |
583.81/584.14 c | 931802 | 800 16000 80000 | 78553 70686 117 | 0.000 % |
586.61/586.94 c | 936188 | 800 16000 80000 | 78553 75072 117 | 0.000 % |
589.71/590.07 c | 941012 | 800 16000 80000 | 69131 61657 116 | 0.000 % |
592.80/593.10 c | 946317 | 800 16000 80000 | 69131 66962 117 | 0.000 % |
596.11/596.49 c | 952152 | 800 16000 80000 | 62965 58393 117 | 0.000 % |
599.81/600.14 c | 958571 | 800 16000 80000 | 62965 58489 119 | 0.000 % |
603.61/603.92 c | 965630 | 800 16000 80000 | 2147483647 65548 119 | 0.000 % |
608.51/608.81 c | 973394 | 800 16000 80000 | 2147483647 73312 120 | 0.000 % |
614.51/614.85 c | 981935 | 800 16000 80000 | 79918 71538 120 | 0.000 % |
614.61/614.92 c | 982036 | 800 16000 80000 | 79918 71639 120 | 0.000 % |
614.71/615.00 c | 982147 | 800 16000 80000 | 79918 71750 120 | 0.000 % |
614.81/615.10 c | 982270 | 800 16000 80000 | 79918 71873 120 | 0.000 % |
614.81/615.19 c | 982403 | 800 16000 80000 | 79918 72006 120 | 0.000 % |
615.01/615.30 c | 982551 | 800 16000 80000 | 79918 72154 120 | 0.000 % |
615.11/615.44 c | 982712 | 800 16000 80000 | 79918 72315 120 | 0.000 % |
615.20/615.56 c | 982889 | 800 16000 80000 | 79918 72492 120 | 0.000 % |
615.30/615.69 c | 983082 | 800 16000 80000 | 79918 72685 120 | 0.000 % |
615.50/615.85 c | 983297 | 800 16000 80000 | 79918 72900 120 | 0.000 % |
615.71/616.01 c | 983530 | 800 16000 80000 | 79918 73133 120 | 0.000 % |
615.90/616.21 c | 983787 | 800 16000 80000 | 79918 73390 120 | 0.000 % |
616.00/616.39 c | 984068 | 800 16000 80000 | 79918 73671 120 | 0.000 % |
616.30/616.63 c | 984377 | 800 16000 80000 | 79918 73980 120 | 0.000 % |
616.50/616.87 c | 984717 | 800 16000 80000 | 79918 74320 120 | 0.000 % |
616.81/617.10 c | 985089 | 800 16000 80000 | 79918 74692 120 | 0.000 % |
617.11/617.41 c | 985498 | 800 16000 80000 | 79918 75101 120 | 0.000 % |
617.40/617.73 c | 985948 | 800 16000 80000 | 79918 75551 119 | 0.000 % |
617.70/618.04 c | 986441 | 800 16000 80000 | 79918 76044 119 | 0.000 % |
618.01/618.39 c | 986983 | 800 16000 80000 | 79918 76586 119 | 0.000 % |
618.50/618.82 c | 987580 | 800 16000 80000 | 79918 77183 119 | 0.000 % |
619.01/619.33 c | 988235 | 800 16000 80000 | 79918 77838 119 | 0.000 % |
619.40/619.79 c | 988956 | 800 16000 80000 | 79918 78559 119 | 0.000 % |
620.00/620.35 c | 989750 | 800 16000 80000 | 79918 79353 119 | 0.000 % |
620.60/620.94 c | 990622 | 800 16000 80000 | 79604 68747 119 | 0.000 % |
621.21/621.54 c | 991580 | 800 16000 80000 | 79604 69705 119 | 0.000 % |
621.90/622.23 c | 992636 | 800 16000 80000 | 79604 70761 119 | 0.000 % |
622.60/622.98 c | 993795 | 800 16000 80000 | 79604 71920 119 | 0.000 % |
623.51/623.82 c | 995068 | 800 16000 80000 | 79604 73193 119 | 0.000 % |
624.51/624.82 c | 996469 | 800 16000 80000 | 79604 74594 119 | 0.000 % |
625.50/625.81 c | 998010 | 800 16000 80000 | 79604 76135 119 | 0.000 % |
626.50/626.84 c | 999704 | 800 16000 80000 | 79604 77829 119 | 0.000 % |
627.70/628.05 c | 1001568 | 800 16000 80000 | 78125 69181 119 | 0.000 % |
629.10/629.43 c | 1003618 | 800 16000 80000 | 78125 71231 118 | 0.000 % |
630.60/630.94 c | 1005872 | 800 16000 80000 | 78125 73485 119 | 0.000 % |
632.30/632.60 c | 1008350 | 800 16000 80000 | 78125 75963 119 | 0.000 % |
634.10/634.40 c | 1011076 | 800 16000 80000 | 77614 68338 118 | 0.000 % |
636.00/636.36 c | 1014073 | 800 16000 80000 | 77614 71335 118 | 0.000 % |
638.30/638.64 c | 1017369 | 800 16000 80000 | 77614 74631 118 | 0.000 % |
640.90/641.20 c | 1020994 | 800 16000 80000 | 77262 68171 118 | 0.000 % |
643.40/643.72 c | 1024981 | 800 16000 80000 | 77262 72158 118 | 0.000 % |
646.39/646.70 c | 1029366 | 800 16000 80000 | 77262 76543 118 | 0.000 % |
649.49/649.89 c | 1034190 | 800 16000 80000 | 77177 71895 118 | 0.000 % |
653.09/653.48 c | 1039496 | 800 16000 80000 | 77177 77201 117 | 0.000 % |
656.79/657.11 c | 1045335 | 800 16000 80000 | 68337 65519 116 | 0.000 % |
660.69/661.06 c | 1051753 | 800 16000 80000 | 2147483647 65080 117 | 0.000 % |
665.39/665.74 c | 1058812 | 800 16000 80000 | 2147483647 72139 117 | 0.000 % |
670.79/671.15 c | 1066576 | 800 16000 80000 | 73329 72375 118 | 0.000 % |
675.78/676.17 c | 1075116 | 800 16000 80000 | 67702 65422 118 | 0.000 % |
681.18/681.54 c | 1084511 | 800 16000 80000 | 63099 61171 119 | 0.000 % |
681.28/681.62 c | 1084612 | 800 16000 80000 | 63099 61272 119 | 0.000 % |
681.28/681.69 c | 1084723 | 800 16000 80000 | 63099 61383 119 | 0.000 % |
681.38/681.77 c | 1084844 | 800 16000 80000 | 63099 61504 119 | 0.000 % |
681.48/681.84 c | 1084978 | 800 16000 80000 | 63099 61638 119 | 0.000 % |
681.58/681.93 c | 1085124 | 800 16000 80000 | 63099 61784 119 | 0.000 % |
681.69/682.02 c | 1085284 | 800 16000 80000 | 63099 61944 119 | 0.000 % |
681.79/682.12 c | 1085460 | 800 16000 80000 | 63099 62120 119 | 0.000 % |
681.88/682.23 c | 1085655 | 800 16000 80000 | 63099 62315 119 | 0.000 % |
681.98/682.36 c | 1085867 | 800 16000 80000 | 63099 62527 119 | 0.000 % |
682.18/682.50 c | 1086100 | 800 16000 80000 | 63099 62760 119 | 0.000 % |
682.28/682.65 c | 1086357 | 800 16000 80000 | 63099 63017 119 | 0.000 % |
682.48/682.83 c | 1086641 | 800 16000 80000 | 63099 63301 119 | 0.000 % |
682.68/683.04 c | 1086950 | 800 16000 80000 | 63099 57280 119 | 0.000 % |
682.88/683.22 c | 1087290 | 800 16000 80000 | 63099 57620 119 | 0.000 % |
683.08/683.42 c | 1087662 | 800 16000 80000 | 63099 57992 119 | 0.000 % |
683.28/683.65 c | 1088072 | 800 16000 80000 | 63099 58402 119 | 0.000 % |
683.58/683.91 c | 1088521 | 800 16000 80000 | 63099 58851 119 | 0.000 % |
683.78/684.19 c | 1089015 | 800 16000 80000 | 63099 59345 118 | 0.000 % |
684.18/684.53 c | 1089557 | 800 16000 80000 | 63099 59887 118 | 0.000 % |
684.48/684.86 c | 1090153 | 800 16000 80000 | 2147483647 60483 118 | 0.000 % |
684.88/685.22 c | 1090809 | 800 16000 80000 | 2147483647 61139 118 | 0.000 % |
685.28/685.61 c | 1091531 | 800 16000 80000 | 2147483647 61861 118 | 0.000 % |
685.68/686.08 c | 1092323 | 800 16000 80000 | 2147483647 62653 118 | 0.000 % |
686.18/686.59 c | 1093195 | 800 16000 80000 | 2147483647 63525 118 | 0.000 % |
686.78/687.11 c | 1094153 | 800 16000 80000 | 2147483647 64483 118 | 0.000 % |
687.38/687.70 c | 1095206 | 800 16000 80000 | 2147483647 65536 118 | 0.000 % |
687.98/688.39 c | 1096365 | 800 16000 80000 | 2147483647 66695 118 | 0.000 % |
688.78/689.15 c | 1097638 | 800 16000 80000 | 2147483647 67968 118 | 0.000 % |
689.58/689.98 c | 1099040 | 800 16000 80000 | 2147483647 69370 117 | 0.000 % |
690.58/690.97 c | 1100582 | 800 16000 80000 | 2147483647 70912 117 | 0.000 % |
691.68/692.08 c | 1102276 | 800 16000 80000 | 2147483647 72606 117 | 0.000 % |
692.87/693.24 c | 1104142 | 800 16000 80000 | 2147483647 74472 118 | 0.000 % |
694.18/694.58 c | 1106191 | 800 16000 80000 | 2147483647 76521 117 | 0.000 % |
695.67/696.04 c | 1108445 | 800 16000 80000 | 2147483647 78775 117 | 0.000 % |
697.37/697.79 c | 1110923 | 800 16000 80000 | 80330 71207 117 | 0.000 % |
699.17/699.58 c | 1113648 | 800 16000 80000 | 80330 73932 117 | 0.000 % |
701.17/701.55 c | 1116647 | 800 16000 80000 | 80330 76931 117 | 0.000 % |
703.37/703.77 c | 1119943 | 800 16000 80000 | 80330 80227 117 | 0.000 % |
705.77/706.11 c | 1123568 | 800 16000 80000 | 80286 73413 117 | 0.000 % |
708.47/708.81 c | 1127556 | 800 16000 80000 | 80286 77401 117 | 0.000 % |
711.27/711.70 c | 1131941 | 800 16000 80000 | 79847 71463 117 | 0.000 % |
714.47/714.83 c | 1136766 | 800 16000 80000 | 79847 76288 117 | 0.000 % |
717.97/718.37 c | 1142075 | 800 16000 80000 | 79525 71044 117 | 0.000 % |
721.86/722.29 c | 1147911 | 800 16000 80000 | 79525 76880 117 | 0.000 % |
726.16/726.52 c | 1154329 | 800 16000 80000 | 78970 72399 115 | 0.000 % |
731.06/731.40 c | 1161388 | 800 16000 80000 | 78070 69138 117 | 0.000 % |
736.56/736.91 c | 1169153 | 800 16000 80000 | 78070 76903 118 | 0.000 % |
742.46/742.85 c | 1177693 | 800 16000 80000 | 77750 75228 119 | 0.000 % |
749.15/749.53 c | 1187090 | 800 16000 80000 | 77540 74546 120 | 0.000 % |
755.35/755.75 c | 1197428 | 800 16000 80000 | 77457 74450 121 | 0.000 % |
755.45/755.84 c | 1197529 | 800 16000 80000 | 77457 74551 121 | 0.000 % |
755.55/755.93 c | 1197639 | 800 16000 80000 | 77457 74661 121 | 0.000 % |
755.65/756.02 c | 1197762 | 800 16000 80000 | 77457 74784 121 | 0.000 % |
755.75/756.13 c | 1197897 | 800 16000 80000 | 77457 74919 121 | 0.000 % |
755.85/756.23 c | 1198044 | 800 16000 80000 | 77457 75066 121 | 0.000 % |
755.95/756.37 c | 1198204 | 800 16000 80000 | 77457 75226 121 | 0.000 % |
756.05/756.49 c | 1198380 | 800 16000 80000 | 77457 75402 121 | 0.000 % |
756.25/756.64 c | 1198573 | 800 16000 80000 | 77457 75595 121 | 0.000 % |
756.45/756.84 c | 1198785 | 800 16000 80000 | 77457 75807 121 | 0.000 % |
756.65/757.01 c | 1199018 | 800 16000 80000 | 77457 76040 121 | 0.000 % |
756.85/757.20 c | 1199274 | 800 16000 80000 | 77457 76296 121 | 0.000 % |
757.05/757.42 c | 1199557 | 800 16000 80000 | 77457 76579 121 | 0.000 % |
757.35/757.70 c | 1199868 | 800 16000 80000 | 77457 76890 121 | 0.000 % |
757.55/757.92 c | 1200208 | 800 16000 80000 | 77023 77230 121 | 0.000 % |
757.75/758.19 c | 1200581 | 800 16000 80000 | 77023 66231 121 | 0.000 % |
758.05/758.48 c | 1200990 | 800 16000 80000 | 77023 66640 121 | 0.000 % |
758.35/758.73 c | 1201440 | 800 16000 80000 | 77023 67090 121 | 0.000 % |
758.65/759.02 c | 1201935 | 800 16000 80000 | 77023 67585 121 | 0.000 % |
758.95/759.35 c | 1202479 | 800 16000 80000 | 77023 68129 121 | 0.000 % |
759.35/759.70 c | 1203077 | 800 16000 80000 | 77023 68727 121 | 0.000 % |
759.75/760.12 c | 1203733 | 800 16000 80000 | 77023 69383 121 | 0.000 % |
760.14/760.55 c | 1204453 | 800 16000 80000 | 77023 70103 121 | 0.000 % |
760.74/761.10 c | 1205247 | 800 16000 80000 | 77023 70897 120 | 0.000 % |
761.24/761.63 c | 1206118 | 800 16000 80000 | 77023 71768 120 | 0.000 % |
761.84/762.24 c | 1207076 | 800 16000 80000 | 77023 72726 120 | 0.000 % |
762.54/762.99 c | 1208130 | 800 16000 80000 | 77023 73780 120 | 0.000 % |
763.34/763.70 c | 1209289 | 800 16000 80000 | 77023 74939 120 | 0.000 % |
764.14/764.54 c | 1210563 | 800 16000 80000 | 75651 67094 120 | 0.000 % |
765.04/765.43 c | 1211965 | 800 16000 80000 | 75651 68496 120 | 0.000 % |
765.94/766.38 c | 1213505 | 800 16000 80000 | 75651 70036 120 | 0.000 % |
767.14/767.53 c | 1215199 | 800 16000 80000 | 75651 71730 120 | 0.000 % |
768.44/768.81 c | 1217062 | 800 16000 80000 | 75651 73593 120 | 0.000 % |
769.74/770.19 c | 1219111 | 800 16000 80000 | 75651 75642 120 | 0.000 % |
771.14/771.56 c | 1221364 | 800 16000 80000 | 66944 60201 119 | 0.000 % |
772.54/772.99 c | 1223844 | 800 16000 80000 | 66944 62681 119 | 0.000 % |
774.14/774.56 c | 1226569 | 800 16000 80000 | 66944 65406 119 | 0.000 % |
775.94/776.31 c | 1229567 | 800 16000 80000 | 66944 61680 118 | 0.000 % |
777.83/778.24 c | 1232863 | 800 16000 80000 | 2147483647 64976 118 | 0.000 % |
780.03/780.45 c | 1236488 | 800 16000 80000 | 2147483647 68601 118 | 0.000 % |
782.73/783.18 c | 1240475 | 800 16000 80000 | 72113 65244 118 | 0.000 % |
785.53/785.96 c | 1244861 | 800 16000 80000 | 72113 69630 118 | 0.000 % |
788.63/789.00 c | 1249684 | 800 16000 80000 | 72113 67213 117 | 0.000 % |
792.03/792.47 c | 1254989 | 800 16000 80000 | 2147483647 72518 117 | 0.000 % |
796.13/796.57 c | 1260825 | 800 16000 80000 | 77531 68339 117 | 0.000 % |
800.33/800.79 c | 1267243 | 800 16000 80000 | 77531 74757 117 | 0.000 % |
805.13/805.54 c | 1274304 | 800 16000 80000 | 77515 72016 117 | 0.000 % |
810.33/810.79 c | 1282068 | 800 16000 80000 | 77714 69883 117 | 0.000 % |
815.83/816.26 c | 1290608 | 800 16000 80000 | 77815 68474 118 | 0.000 % |
821.93/822.38 c | 1300003 | 800 16000 80000 | 77867 77869 119 | 0.000 % |
828.93/829.37 c | 1310336 | 800 16000 80000 | 67915 59113 119 | 0.000 % |
835.82/836.27 c | 1321703 | 800 16000 80000 | 2147483647 63659 119 | 0.000 % |
835.92/836.33 c | 1321805 | 800 16000 80000 | 2147483647 63761 119 | 0.000 % |
836.02/836.41 c | 1321916 | 800 16000 80000 | 2147483647 63872 119 | 0.000 % |
836.02/836.49 c | 1322040 | 800 16000 80000 | 2147483647 63996 119 | 0.000 % |
836.12/836.59 c | 1322173 | 800 16000 80000 | 2147483647 64129 119 | 0.000 % |
836.32/836.70 c | 1322319 | 800 16000 80000 | 2147483647 64275 119 | 0.000 % |
836.32/836.78 c | 1322480 | 800 16000 80000 | 2147483647 64436 119 | 0.000 % |
836.52/836.92 c | 1322656 | 800 16000 80000 | 2147483647 64612 119 | 0.000 % |
836.62/837.03 c | 1322852 | 800 16000 80000 | 2147483647 64808 119 | 0.000 % |
836.73/837.15 c | 1323065 | 800 16000 80000 | 2147483647 65021 119 | 0.000 % |
836.92/837.31 c | 1323298 | 800 16000 80000 | 2147483647 65254 119 | 0.000 % |
837.02/837.47 c | 1323555 | 800 16000 80000 | 2147483647 65511 119 | 0.000 % |
837.22/837.65 c | 1323836 | 800 16000 80000 | 2147483647 65792 119 | 0.000 % |
837.42/837.87 c | 1324145 | 800 16000 80000 | 2147483647 66101 119 | 0.000 % |
837.62/838.08 c | 1324484 | 800 16000 80000 | 2147483647 66440 119 | 0.000 % |
837.93/838.31 c | 1324857 | 800 16000 80000 | 2147483647 66813 119 | 0.000 % |
838.12/838.56 c | 1325267 | 800 16000 80000 | 2147483647 67223 119 | 0.000 % |
838.42/838.82 c | 1325716 | 800 16000 80000 | 2147483647 67672 119 | 0.000 % |
838.72/839.13 c | 1326210 | 800 16000 80000 | 2147483647 68166 119 | 0.000 % |
839.03/839.45 c | 1326754 | 800 16000 80000 | 2147483647 68710 119 | 0.000 % |
839.42/839.83 c | 1327350 | 800 16000 80000 | 2147483647 69306 119 | 0.000 % |
839.82/840.24 c | 1328006 | 800 16000 80000 | 2147483647 69962 118 | 0.000 % |
840.32/840.76 c | 1328727 | 800 16000 80000 | 2147483647 70683 118 | 0.000 % |
840.82/841.29 c | 1329519 | 800 16000 80000 | 2147483647 71475 118 | 0.000 % |
841.52/841.94 c | 1330390 | 800 16000 80000 | 71958 64372 119 | 0.000 % |
842.02/842.50 c | 1331351 | 800 16000 80000 | 71958 65333 118 | 0.000 % |
842.72/843.17 c | 1332405 | 800 16000 80000 | 71958 66387 118 | 0.000 % |
843.42/843.86 c | 1333565 | 800 16000 80000 | 71958 67547 118 | 0.000 % |
844.22/844.64 c | 1334838 | 800 16000 80000 | 71958 68820 118 | 0.000 % |
845.12/845.50 c | 1336238 | 800 16000 80000 | 71958 70220 118 | 0.000 % |
846.12/846.50 c | 1337778 | 800 16000 80000 | 71958 71760 118 | 0.000 % |
847.12/847.56 c | 1339473 | 800 16000 80000 | 71958 66147 118 | 0.000 % |
848.22/848.61 c | 1341337 | 800 16000 80000 | 2147483647 68011 118 | 0.000 % |
849.32/849.78 c | 1343386 | 800 16000 80000 | 2147483647 70060 118 | 0.000 % |
850.72/851.15 c | 1345639 | 800 16000 80000 | 2147483647 72313 118 | 0.000 % |
852.22/852.62 c | 1348118 | 800 16000 80000 | 2147483647 74792 118 | 0.000 % |
854.02/854.40 c | 1350844 | 800 16000 80000 | 2147483647 77518 118 | 0.000 % |
855.92/856.33 c | 1353842 | 800 16000 80000 | 2147483647 80516 118 | 0.000 % |
858.11/858.57 c | 1357139 | 800 16000 80000 | 2147483647 83813 118 | 0.000 % |
860.61/861.09 c | 1360764 | 800 16000 80000 | 86675 75434 118 | 0.000 % |
863.21/863.69 c | 1364751 | 800 16000 80000 | 86675 79421 118 | 0.000 % |
866.31/866.78 c | 1369138 | 800 16000 80000 | 86675 83808 118 | 0.000 % |
869.61/870.10 c | 1373962 | 800 16000 80000 | 84672 77027 117 | 0.000 % |
873.31/873.71 c | 1379267 | 800 16000 80000 | 84672 82332 117 | 0.000 % |
877.20/877.60 c | 1385102 | 800 16000 80000 | 83066 76210 116 | 0.000 % |
881.70/882.12 c | 1391521 | 800 16000 80000 | 81108 70990 116 | 0.000 % |
886.31/886.75 c | 1398580 | 800 16000 80000 | 81108 78049 116 | 0.000 % |
891.00/891.49 c | 1406345 | 800 16000 80000 | 79471 73857 118 | 0.000 % |
896.20/896.68 c | 1414885 | 800 16000 80000 | 77512 71472 119 | 0.000 % |
902.29/902.79 c | 1424280 | 800 16000 80000 | 76590 71213 119 | 0.000 % |
909.09/909.53 c | 1434613 | 800 16000 80000 | 67788 64392 120 | 0.000 % |
916.29/916.77 c | 1445981 | 800 16000 80000 | 2147483647 68952 120 | 0.000 % |
925.89/926.38 c | 1458483 | 800 16000 80000 | 72971 65288 122 | 0.000 % |
925.99/926.46 c | 1458584 | 800 16000 80000 | 72971 65389 122 | 0.000 % |
926.09/926.54 c | 1458694 | 800 16000 80000 | 72971 65499 122 | 0.000 % |
926.19/926.63 c | 1458815 | 800 16000 80000 | 72971 65620 122 | 0.000 % |
926.29/926.71 c | 1458951 | 800 16000 80000 | 72971 65756 122 | 0.000 % |
926.39/926.81 c | 1459097 | 800 16000 80000 | 72971 65902 122 | 0.000 % |
926.49/926.93 c | 1459257 | 800 16000 80000 | 72971 66062 122 | 0.000 % |
926.59/927.04 c | 1459433 | 800 16000 80000 | 72971 66238 122 | 0.000 % |
926.69/927.17 c | 1459626 | 800 16000 80000 | 72971 66431 122 | 0.000 % |
926.79/927.30 c | 1459838 | 800 16000 80000 | 72971 66643 122 | 0.000 % |
927.00/927.45 c | 1460071 | 800 16000 80000 | 66807 66876 122 | 0.000 % |
927.19/927.66 c | 1460330 | 800 16000 80000 | 66807 59523 122 | 0.000 % |
927.39/927.82 c | 1460611 | 800 16000 80000 | 66807 59804 122 | 0.000 % |
927.49/927.99 c | 1460921 | 800 16000 80000 | 66807 60114 122 | 0.000 % |
927.69/928.18 c | 1461260 | 800 16000 80000 | 66807 60453 122 | 0.000 % |
927.89/928.39 c | 1461632 | 800 16000 80000 | 66807 60825 121 | 0.000 % |
928.19/928.65 c | 1462043 | 800 16000 80000 | 66807 61236 121 | 0.000 % |
928.49/928.95 c | 1462492 | 800 16000 80000 | 66807 61685 121 | 0.000 % |
928.79/929.22 c | 1462985 | 800 16000 80000 | 66807 62178 121 | 0.000 % |
929.09/929.54 c | 1463527 | 800 16000 80000 | 66807 62720 121 | 0.000 % |
929.49/929.93 c | 1464124 | 800 16000 80000 | 66807 63317 121 | 0.000 % |
929.79/930.29 c | 1464783 | 800 16000 80000 | 66807 63976 121 | 0.000 % |
930.29/930.74 c | 1465504 | 800 16000 80000 | 66807 64697 121 | 0.000 % |
930.79/931.22 c | 1466296 | 800 16000 80000 | 66807 65489 121 | 0.000 % |
931.29/931.72 c | 1467169 | 800 16000 80000 | 66807 66362 121 | 0.000 % |
931.89/932.34 c | 1468130 | 800 16000 80000 | 66807 60617 120 | 0.000 % |
932.49/932.94 c | 1469186 | 800 16000 80000 | 66807 61673 120 | 0.000 % |
933.19/933.62 c | 1470344 | 800 16000 80000 | 2147483647 62831 120 | 0.000 % |
933.89/934.36 c | 1471619 | 800 16000 80000 | 2147483647 64106 120 | 0.000 % |
934.69/935.18 c | 1473020 | 800 16000 80000 | 2147483647 65507 120 | 0.000 % |
935.59/936.10 c | 1474560 | 800 16000 80000 | 2147483647 67047 120 | 0.000 % |
936.69/937.15 c | 1476254 | 800 16000 80000 | 2147483647 68741 120 | 0.000 % |
937.89/938.38 c | 1478118 | 800 16000 80000 | 2147483647 70605 120 | 0.000 % |
939.29/939.72 c | 1480167 | 800 16000 80000 | 2147483647 72654 119 | 0.000 % |
940.69/941.14 c | 1482423 | 800 16000 80000 | 2147483647 74910 119 | 0.000 % |
942.49/942.94 c | 1484901 | 800 16000 80000 | 2147483647 77388 119 | 0.000 % |
944.39/944.85 c | 1487626 | 800 16000 80000 | 2147483647 80113 119 | 0.000 % |
946.58/947.07 c | 1490623 | 800 16000 80000 | 82488 72135 119 | 0.000 % |
948.68/949.12 c | 1493921 | 800 16000 80000 | 82488 75433 119 | 0.000 % |
951.19/951.64 c | 1497547 | 800 16000 80000 | 82488 79059 118 | 0.000 % |
953.88/954.30 c | 1501534 | 800 16000 80000 | 81514 71631 118 | 0.000 % |
956.58/957.03 c | 1505921 | 800 16000 80000 | 81514 76018 118 | 0.000 % |
959.78/960.23 c | 1510746 | 800 16000 80000 | 80097 69792 117 | 0.000 % |
962.98/963.48 c | 1516052 | 800 16000 80000 | 80097 75098 118 | 0.000 % |
966.78/967.26 c | 1521888 | 800 16000 80000 | 79046 70692 116 | 0.000 % |
970.77/971.29 c | 1528306 | 800 16000 80000 | 79046 77110 117 | 0.000 % |
975.77/976.28 c | 1535365 | 800 16000 80000 | 78805 74076 118 | 0.000 % |
981.07/981.54 c | 1543131 | 800 16000 80000 | 78712 71002 119 | 0.000 % |
987.07/987.54 c | 1551672 | 800 16000 80000 | 77871 68883 120 | 0.000 % |
993.27/993.77 c | 1561066 | 800 16000 80000 | 77211 68641 120 | 0.000 % |
999.77/1000.29 c | 1571399 | 800 16000 80000 | 67759 60552 121 | 0.000 % |
1006.86/1007.35 c | 1582765 | 800 16000 80000 | 2147483647 65118 121 | 0.000 % |
1014.96/1015.42 c | 1595267 | 800 16000 80000 | 2147483647 77620 122 | 0.000 % |
1024.86/1025.31 c | 1609020 | 800 16000 80000 | 82353 80161 122 | 0.000 % |
1024.96/1025.40 c | 1609121 | 800 16000 80000 | 82353 80262 122 | 0.000 % |
1024.96/1025.50 c | 1609231 | 800 16000 80000 | 82353 80372 122 | 0.000 % |
1025.06/1025.59 c | 1609352 | 800 16000 80000 | 82353 80493 122 | 0.000 % |
1025.26/1025.71 c | 1609486 | 800 16000 80000 | 82353 80627 122 | 0.000 % |
1025.36/1025.83 c | 1609632 | 800 16000 80000 | 82353 80773 122 | 0.000 % |
1025.46/1025.93 c | 1609794 | 800 16000 80000 | 82353 80935 122 | 0.000 % |
1025.56/1026.05 c | 1609970 | 800 16000 80000 | 82353 81111 122 | 0.000 % |
1025.76/1026.20 c | 1610164 | 800 16000 80000 | 81141 81305 122 | 0.000 % |
1025.96/1026.42 c | 1610377 | 800 16000 80000 | 81141 69303 121 | 0.000 % |
1026.06/1026.57 c | 1610610 | 800 16000 80000 | 81141 69536 121 | 0.000 % |
1026.26/1026.73 c | 1610867 | 800 16000 80000 | 81141 69793 121 | 0.000 % |
1026.45/1026.94 c | 1611148 | 800 16000 80000 | 81141 70074 121 | 0.000 % |
1026.65/1027.12 c | 1611458 | 800 16000 80000 | 81141 70384 121 | 0.000 % |
1026.85/1027.35 c | 1611798 | 800 16000 80000 | 81141 70724 121 | 0.000 % |
1027.15/1027.60 c | 1612170 | 800 16000 80000 | 81141 71096 121 | 0.000 % |
1027.35/1027.89 c | 1612579 | 800 16000 80000 | 81141 71505 121 | 0.000 % |
1027.75/1028.25 c | 1613028 | 800 16000 80000 | 81141 71954 120 | 0.000 % |
1028.06/1028.59 c | 1613522 | 800 16000 80000 | 81141 72448 120 | 0.000 % |
1028.55/1029.03 c | 1614064 | 800 16000 80000 | 81141 72990 120 | 0.000 % |
1028.95/1029.47 c | 1614660 | 800 16000 80000 | 81141 73586 120 | 0.000 % |
1029.45/1029.97 c | 1615316 | 800 16000 80000 | 81141 74242 120 | 0.000 % |
1029.95/1030.43 c | 1616036 | 800 16000 80000 | 81141 74962 120 | 0.000 % |
1030.45/1030.95 c | 1616830 | 800 16000 80000 | 81141 75756 120 | 0.000 % |
1031.05/1031.51 c | 1617703 | 800 16000 80000 | 81141 76629 120 | 0.000 % |
1031.55/1032.09 c | 1618661 | 800 16000 80000 | 81141 77587 120 | 0.000 % |
1032.35/1032.80 c | 1619714 | 800 16000 80000 | 81141 78640 120 | 0.000 % |
1033.05/1033.58 c | 1620872 | 800 16000 80000 | 78926 68653 120 | 0.000 % |
1033.85/1034.38 c | 1622146 | 800 16000 80000 | 78926 69927 119 | 0.000 % |
1034.76/1035.25 c | 1623547 | 800 16000 80000 | 78926 71328 119 | 0.000 % |
1035.76/1036.30 c | 1625087 | 800 16000 80000 | 78926 72868 119 | 0.000 % |
1036.86/1037.40 c | 1626781 | 800 16000 80000 | 78926 74562 119 | 0.000 % |
1038.15/1038.69 c | 1628644 | 800 16000 80000 | 78926 76425 119 | 0.000 % |
1039.65/1040.16 c | 1630695 | 800 16000 80000 | 77781 68250 119 | 0.000 % |
1041.05/1041.51 c | 1632948 | 800 16000 80000 | 77781 70503 119 | 0.000 % |
1042.65/1043.10 c | 1635426 | 800 16000 80000 | 77781 72981 119 | 0.000 % |
1044.35/1044.85 c | 1638152 | 800 16000 80000 | 77781 75707 118 | 0.000 % |
1046.35/1046.85 c | 1641149 | 800 16000 80000 | 77555 69074 118 | 0.000 % |
1048.45/1048.91 c | 1644449 | 800 16000 80000 | 77555 72374 118 | 0.000 % |
1050.75/1051.27 c | 1648074 | 800 16000 80000 | 77555 75999 119 | 0.000 % |
1053.35/1053.86 c | 1652062 | 800 16000 80000 | 68784 62731 117 | 0.000 % |
1055.94/1056.49 c | 1656447 | 800 16000 80000 | 68784 67116 117 | 0.000 % |
1058.95/1059.46 c | 1661271 | 800 16000 80000 | 2147483647 64970 117 | 0.000 % |
1062.24/1062.72 c | 1666577 | 800 16000 80000 | 2147483647 70276 118 | 0.000 % |
1066.14/1066.60 c | 1672412 | 800 16000 80000 | 2147483647 76111 117 | 0.000 % |
1070.54/1071.06 c | 1678831 | 800 16000 80000 | 2147483647 82530 118 | 0.000 % |
1075.54/1076.08 c | 1685891 | 800 16000 80000 | 83700 77582 117 | 0.000 % |
1080.73/1081.20 c | 1693657 | 800 16000 80000 | 81693 73601 118 | 0.000 % |
1086.23/1086.72 c | 1702199 | 800 16000 80000 | 79944 71846 119 | 0.000 % |
1092.63/1093.19 c | 1711597 | 800 16000 80000 | 79649 70145 120 | 0.000 % |
1099.63/1100.14 c | 1721930 | 800 16000 80000 | 78551 68559 121 | 0.000 % |
1107.52/1108.02 c | 1733297 | 800 16000 80000 | 76630 69177 121 | 0.000 % |
1115.82/1116.37 c | 1745801 | 800 16000 80000 | 75881 71782 122 | 0.000 % |
1125.62/1126.10 c | 1759553 | 800 16000 80000 | 75983 75920 122 | 0.000 % |
1134.31/1134.80 c | 1774680 | 800 16000 80000 | 61052 59535 121 | 0.000 % |
1134.31/1134.85 c | 1774780 | 800 16000 80000 | 61052 59635 121 | 0.000 % |
1134.41/1134.93 c | 1774891 | 800 16000 80000 | 61052 59746 121 | 0.000 % |
1134.41/1134.99 c | 1775012 | 800 16000 80000 | 61052 59867 121 | 0.000 % |
1134.51/1135.10 c | 1775146 | 800 16000 80000 | 61052 60001 121 | 0.000 % |
1134.61/1135.19 c | 1775292 | 800 16000 80000 | 61052 60147 121 | 0.000 % |
1134.72/1135.29 c | 1775457 | 800 16000 80000 | 61052 60312 121 | 0.000 % |
1134.91/1135.42 c | 1775634 | 800 16000 80000 | 61052 60489 120 | 0.000 % |
1135.01/1135.53 c | 1775827 | 800 16000 80000 | 61052 60682 120 | 0.000 % |
1135.11/1135.65 c | 1776039 | 800 16000 80000 | 61052 60894 120 | 0.000 % |
1135.31/1135.83 c | 1776273 | 800 16000 80000 | 61052 61128 120 | 0.000 % |
1135.51/1136.01 c | 1776529 | 800 16000 80000 | 61052 55272 119 | 0.000 % |
1135.61/1136.18 c | 1776811 | 800 16000 80000 | 61052 55554 119 | 0.000 % |
1135.82/1136.35 c | 1777121 | 800 16000 80000 | 61052 55864 119 | 0.000 % |
1136.01/1136.54 c | 1777465 | 800 16000 80000 | 61052 56208 119 | 0.000 % |
1136.21/1136.73 c | 1777837 | 800 16000 80000 | 61052 56580 119 | 0.000 % |
1136.41/1136.96 c | 1778246 | 800 16000 80000 | 61052 56989 119 | 0.000 % |
1136.71/1137.22 c | 1778697 | 800 16000 80000 | 61052 57440 119 | 0.000 % |
1136.92/1137.50 c | 1779191 | 800 16000 80000 | 61052 57934 119 | 0.000 % |
1137.21/1137.78 c | 1779737 | 800 16000 80000 | 61052 58480 119 | 0.000 % |
1137.51/1138.09 c | 1780335 | 800 16000 80000 | 2147483647 59078 119 | 0.000 % |
1137.91/1138.46 c | 1780991 | 800 16000 80000 | 2147483647 59734 119 | 0.000 % |
1138.31/1138.85 c | 1781713 | 800 16000 80000 | 2147483647 60456 119 | 0.000 % |
1138.71/1139.25 c | 1782505 | 800 16000 80000 | 2147483647 61248 118 | 0.000 % |
1139.22/1139.79 c | 1783377 | 800 16000 80000 | 2147483647 62120 118 | 0.000 % |
1139.72/1140.28 c | 1784335 | 800 16000 80000 | 2147483647 63078 118 | 0.000 % |
1140.33/1140.85 c | 1785389 | 800 16000 80000 | 2147483647 64132 118 | 0.000 % |
1140.92/1141.47 c | 1786548 | 800 16000 80000 | 2147483647 65291 118 | 0.000 % |
1141.72/1142.28 c | 1787824 | 800 16000 80000 | 2147483647 66567 118 | 0.000 % |
1142.62/1143.16 c | 1789224 | 800 16000 80000 | 2147483647 67967 118 | 0.000 % |
1143.62/1144.19 c | 1790766 | 800 16000 80000 | 2147483647 69509 118 | 0.000 % |
1144.82/1145.34 c | 1792462 | 800 16000 80000 | 2147483647 71205 118 | 0.000 % |
1145.92/1146.49 c | 1794325 | 800 16000 80000 | 2147483647 73068 118 | 0.000 % |
1147.32/1147.89 c | 1796374 | 800 16000 80000 | 2147483647 75117 118 | 0.000 % |
1148.92/1149.41 c | 1798627 | 800 16000 80000 | 2147483647 77370 118 | 0.000 % |
1150.52/1151.07 c | 1801107 | 800 16000 80000 | 78743 70706 117 | 0.000 % |
1152.32/1152.83 c | 1803833 | 800 16000 80000 | 78743 73432 117 | 0.000 % |
1154.32/1154.80 c | 1806832 | 800 16000 80000 | 78743 76431 117 | 0.000 % |
1156.42/1156.99 c | 1810128 | 800 16000 80000 | 70219 70346 116 | 0.000 % |
1158.72/1159.21 c | 1813754 | 800 16000 80000 | 70219 65668 116 | 0.000 % |
1161.12/1161.65 c | 1817741 | 800 16000 80000 | 70219 69655 116 | 0.000 % |
1163.61/1164.18 c | 1822130 | 800 16000 80000 | 2147483647 66995 115 | 0.000 % |
1166.62/1167.10 c | 1826953 | 800 16000 80000 | 2147483647 71818 115 | 0.000 % |
1170.21/1170.75 c | 1832258 | 800 16000 80000 | 2147483647 77123 115 | 0.000 % |
1174.21/1174.79 c | 1838096 | 800 16000 80000 | 2147483647 82961 116 | 0.000 % |
1178.61/1179.18 c | 1844514 | 800 16000 80000 | 84865 77031 117 | 0.000 % |
1183.71/1184.21 c | 1851573 | 800 16000 80000 | 82517 70835 119 | 0.000 % |
1188.61/1189.14 c | 1859337 | 800 16000 80000 | 82517 78599 118 | 0.000 % |
1194.21/1194.77 c | 1867878 | 800 16000 80000 | 79262 75645 119 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832467-1242773757/watcher-1832467-1242773757 -o /tmp/evaluation-result-1832467-1242773757/solver-1832467-1242773757 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832467-1242773757.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 11711
/proc/meminfo: memFree=1968048/2055920 swapFree=4178736/4192956
[pid=11711] ppid=11709 vsize=5356 CPUtime=0
/proc/11711/stat : 11711 (SatELiteGTI) S 11709 11711 11421 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 305403900 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11711/statm: 1339 237 197 169 0 50 0
[startup+0.105769 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 11711
/proc/meminfo: memFree=1968048/2055920 swapFree=4178736/4192956
[pid=11711] ppid=11709 vsize=5356 CPUtime=0.04
/proc/11711/stat : 11711 (SatELiteGTI) S 11709 11711 11421 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305403900 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11711/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.202781 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 11711
/proc/meminfo: memFree=1968048/2055920 swapFree=4178736/4192956
[pid=11711] ppid=11709 vsize=5356 CPUtime=0.04
/proc/11711/stat : 11711 (SatELiteGTI) S 11709 11711 11421 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305403900 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11711/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.302791 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 11711
/proc/meminfo: memFree=1968048/2055920 swapFree=4178736/4192956
[pid=11711] ppid=11709 vsize=5356 CPUtime=0.04
/proc/11711/stat : 11711 (SatELiteGTI) S 11709 11711 11421 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305403900 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11711/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.70284 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 11711
/proc/meminfo: memFree=1968048/2055920 swapFree=4178736/4192956
[pid=11711] ppid=11709 vsize=5356 CPUtime=0.04
/proc/11711/stat : 11711 (SatELiteGTI) S 11709 11711 11421 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305403900 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11711/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+1.50292 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 11717
/proc/meminfo: memFree=1963360/2055920 swapFree=4178736/4192956
[pid=11711] ppid=11709 vsize=5356 CPUtime=0.04
/proc/11711/stat : 11711 (SatELiteGTI) S 11709 11711 11421 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305403900 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11711/statm: 1339 239 197 169 0 50 0
[pid=11717] ppid=11711 vsize=6220 CPUtime=1.43
/proc/11717/stat : 11717 (minisat_static) R 11711 11711 11421 0 -1 4194304 1299 0 0 0 142 1 0 0 25 0 1 0 305403905 6369280 1285 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/11717/statm: 1555 1285 77 171 0 1382 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 11576
[startup+3.1011 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 11717
/proc/meminfo: memFree=1960160/2055920 swapFree=4178736/4192956
[pid=11711] ppid=11709 vsize=5356 CPUtime=0.04
/proc/11711/stat : 11711 (SatELiteGTI) S 11709 11711 11421 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305403900 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11711/statm: 1339 239 197 169 0 50 0
[pid=11717] ppid=11711 vsize=10476 CPUtime=3.03
/proc/11717/stat : 11717 (minisat_static) R 11711 11711 11421 0 -1 4194304 2351 0 0 0 301 2 0 0 25 0 1 0 305403905 10727424 2337 1992294400 134512640 135215339 4294956240 18446744073709551615 134528858 0 0 4096 3 0 0 0 17 1 0 0
/proc/11717/statm: 2619 2337 77 171 0 2446 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15832
[startup+6.30145 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 11717
/proc/meminfo: memFree=1953568/2055920 swapFree=4178736/4192956
[pid=11711] ppid=11709 vsize=5356 CPUtime=0.04
/proc/11711/stat : 11711 (SatELiteGTI) S 11709 11711 11421 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305403900 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11711/statm: 1339 239 197 169 0 50 0
[pid=11717] ppid=11711 vsize=16200 CPUtime=6.23
/proc/11717/stat : 11717 (minisat_static) R 11711 11711 11421 0 -1 4194304 3766 0 0 0 620 3 0 0 25 0 1 0 305403905 16588800 3752 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11717/statm: 4050 3752 77 171 0 3877 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 21556
[startup+12.7012 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 11717
/proc/meminfo: memFree=1944928/2055920 swapFree=4178736/4192956
[pid=11711] ppid=11709 vsize=5356 CPUtime=0.04
/proc/11711/stat : 11711 (SatELiteGTI) S 11709 11711 11421 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305403900 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11711/statm: 1339 239 197 169 0 50 0
[pid=11717] ppid=11711 vsize=24068 CPUtime=12.63
/proc/11717/stat : 11717 (minisat_static) R 11711 11711 11421 0 -1 4194304 5743 0 0 0 1258 5 0 0 25 0 1 0 305403905 24645632 5729 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/11717/statm: 6017 5729 77 171 0 5844 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 29424
[startup+25.5016 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 11717
/proc/meminfo: memFree=1933344/2055920 swapFree=4178736/4192956
[pid=11711] ppid=11709 vsize=5356 CPUtime=0.04
/proc/11711/stat : 11711 (SatELiteGTI) S 11709 11711 11421 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305403900 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11711/statm: 1339 239 197 169 0 50 0
[pid=11717] ppid=11711 vsize=35144 CPUtime=25.42
/proc/11717/stat : 11717 (minisat_static) R 11711 11711 11421 0 -1 4194304 8510 0 0 0 2534 8 0 0 25 0 1 0 305403905 35987456 8496 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/11717/statm: 8786 8496 77 171 0 8613 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 40500
[startup+51.1014 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 11717
/proc/meminfo: memFree=1925920/2055920 swapFree=4178736/4192956
[pid=11711] ppid=11709 vsize=5356 CPUtime=0.04
/proc/11711/stat : 11711 (SatELiteGTI) S 11709 11711 11421 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305403900 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11711/statm: 1339 239 197 169 0 50 0
[pid=11717] ppid=11711 vsize=42404 CPUtime=51.01
/proc/11717/stat : 11717 (minisat_static) R 11711 11711 11421 0 -1 4194304 10324 0 0 0 5091 10 0 0 25 0 1 0 305403905 43421696 10310 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11717/statm: 10601 10310 77 171 0 10428 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 47760
[startup+102.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 11717
/proc/meminfo: memFree=1925856/2055920 swapFree=4178736/4192956
[pid=11711] ppid=11709 vsize=5356 CPUtime=0.04
/proc/11711/stat : 11711 (SatELiteGTI) S 11709 11711 11421 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305403900 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11711/statm: 1339 239 197 169 0 50 0
[pid=11717] ppid=11711 vsize=42404 CPUtime=102.19
/proc/11717/stat : 11717 (minisat_static) R 11711 11711 11421 0 -1 4194304 10324 0 0 0 10208 11 0 0 25 0 1 0 305403905 43421696 10310 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11717/statm: 10601 10310 77 171 0 10428 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 47760
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 11717
/proc/meminfo: memFree=1924576/2055920 swapFree=4178736/4192956
[pid=11711] ppid=11709 vsize=5356 CPUtime=0.04
/proc/11711/stat : 11711 (SatELiteGTI) S 11709 11711 11421 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305403900 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11711/statm: 1339 239 197 169 0 50 0
[pid=11717] ppid=11711 vsize=43592 CPUtime=162.15
/proc/11717/stat : 11717 (minisat_static) R 11711 11711 11421 0 -1 4194304 10612 0 0 0 16204 11 0 0 25 0 1 0 305403905 44638208 10598 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11717/statm: 10898 10598 77 171 0 10725 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 48948
[startup+222.305 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 11717
/proc/meminfo: memFree=1923616/2055920 swapFree=4178736/4192956
[pid=11711] ppid=11709 vsize=5356 CPUtime=0.04
/proc/11711/stat : 11711 (SatELiteGTI) S 11709 11711 11421 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305403900 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11711/statm: 1339 239 197 169 0 50 0
[pid=11717] ppid=11711 vsize=44384 CPUtime=222.13
/proc/11717/stat : 11717 (minisat_static) R 11711 11711 11421 0 -1 4194304 10827 0 0 0 22201 12 0 0 25 0 1 0 305403905 45449216 10813 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11717/statm: 11096 10813 77 171 0 10923 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 49740
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 11717
/proc/meminfo: memFree=1922528/2055920 swapFree=4178736/4192956
[pid=11711] ppid=11709 vsize=5356 CPUtime=0.04
/proc/11711/stat : 11711 (SatELiteGTI) S 11709 11711 11421 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305403900 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11711/statm: 1339 239 197 169 0 50 0
[pid=11717] ppid=11711 vsize=45440 CPUtime=282.1
/proc/11717/stat : 11717 (minisat_static) R 11711 11711 11421 0 -1 4194304 11090 0 0 0 28197 13 0 0 25 0 1 0 305403905 46530560 11076 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11717/statm: 11360 11076 77 171 0 11187 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 50796
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 11723
/proc/meminfo: memFree=1922400/2055920 swapFree=4178736/4192956
[pid=11711] ppid=11709 vsize=5356 CPUtime=0.04
/proc/11711/stat : 11711 (SatELiteGTI) S 11709 11711 11421 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305403900 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11711/statm: 1339 239 197 169 0 50 0
[pid=11717] ppid=11711 vsize=45168 CPUtime=342.07
/proc/11717/stat : 11717 (minisat_static) R 11711 11711 11421 0 -1 4194304 11090 0 0 0 34194 13 0 0 25 0 1 0 305403905 46252032 11024 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11717/statm: 11292 11024 77 171 0 11119 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 50524
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 11723
/proc/meminfo: memFree=1921824/2055920 swapFree=4178736/4192956
[pid=11711] ppid=11709 vsize=5356 CPUtime=0.04
/proc/11711/stat : 11711 (SatELiteGTI) S 11709 11711 11421 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305403900 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11711/statm: 1339 239 197 169 0 50 0
[pid=11717] ppid=11711 vsize=45960 CPUtime=402.05
/proc/11717/stat : 11717 (minisat_static) R 11711 11711 11421 0 -1 4194304 11258 0 0 0 40191 14 0 0 25 0 1 0 305403905 47063040 11192 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11717/statm: 11490 11192 77 171 0 11317 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 51316
[startup+462.302 s]
################
# More data... #
################
/proc/11717/statm: 11589 11311 77 171 0 11416 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 51712
[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 11723
/proc/meminfo: memFree=1920736/2055920 swapFree=4178736/4192956
[pid=11711] ppid=11709 vsize=5356 CPUtime=0.04
/proc/11711/stat : 11711 (SatELiteGTI) S 11709 11711 11421 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305403900 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11711/statm: 1339 239 197 169 0 50 0
[pid=11717] ppid=11711 vsize=46752 CPUtime=581.97
/proc/11717/stat : 11717 (minisat_static) R 11711 11711 11421 0 -1 4194304 11456 0 0 0 58183 14 0 0 25 0 1 0 305403905 47874048 11390 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11717/statm: 11688 11390 77 171 0 11515 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 52108
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 11723
/proc/meminfo: memFree=1920672/2055920 swapFree=4178736/4192956
[pid=11711] ppid=11709 vsize=5356 CPUtime=0.04
/proc/11711/stat : 11711 (SatELiteGTI) S 11709 11711 11421 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305403900 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11711/statm: 1339 239 197 169 0 50 0
[pid=11717] ppid=11711 vsize=46752 CPUtime=641.96
/proc/11717/stat : 11717 (minisat_static) R 11711 11711 11421 0 -1 4194304 11456 0 0 0 64181 15 0 0 25 0 1 0 305403905 47874048 11390 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11717/statm: 11688 11390 77 171 0 11515 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 52108
[startup+702.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 11723
/proc/meminfo: memFree=1920416/2055920 swapFree=4178736/4192956
[pid=11711] ppid=11709 vsize=5356 CPUtime=0.04
/proc/11711/stat : 11711 (SatELiteGTI) S 11709 11711 11421 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305403900 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11711/statm: 1339 239 197 169 0 50 0
[pid=11717] ppid=11711 vsize=46752 CPUtime=701.93
/proc/11717/stat : 11717 (minisat_static) R 11711 11711 11421 0 -1 4194304 11456 0 0 0 70178 15 0 0 25 0 1 0 305403905 47874048 11390 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/11717/statm: 11688 11390 77 171 0 11515 0
Current children cumulated CPU time (s) 701.97
Current children cumulated vsize (KiB) 52108
[startup+762.303 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 11723
/proc/meminfo: memFree=1920288/2055920 swapFree=4178736/4192956
[pid=11711] ppid=11709 vsize=5356 CPUtime=0.04
/proc/11711/stat : 11711 (SatELiteGTI) S 11709 11711 11421 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305403900 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11711/statm: 1339 239 197 169 0 50 0
[pid=11717] ppid=11711 vsize=46752 CPUtime=761.91
/proc/11717/stat : 11717 (minisat_static) R 11711 11711 11421 0 -1 4194304 11456 0 0 0 76176 15 0 0 25 0 1 0 305403905 47874048 11390 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/11717/statm: 11688 11390 77 171 0 11515 0
Current children cumulated CPU time (s) 761.95
Current children cumulated vsize (KiB) 52108
[startup+822.303 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 11723
/proc/meminfo: memFree=1920288/2055920 swapFree=4178736/4192956
[pid=11711] ppid=11709 vsize=5356 CPUtime=0.04
/proc/11711/stat : 11711 (SatELiteGTI) S 11709 11711 11421 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305403900 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11711/statm: 1339 239 197 169 0 50 0
[pid=11717] ppid=11711 vsize=46752 CPUtime=821.89
/proc/11717/stat : 11717 (minisat_static) R 11711 11711 11421 0 -1 4194304 11456 0 0 0 82173 16 0 0 25 0 1 0 305403905 47874048 11390 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11717/statm: 11688 11390 77 171 0 11515 0
Current children cumulated CPU time (s) 821.93
Current children cumulated vsize (KiB) 52108
[startup+882.305 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 11723
/proc/meminfo: memFree=1917344/2055920 swapFree=4178736/4192956
[pid=11711] ppid=11709 vsize=5356 CPUtime=0.04
/proc/11711/stat : 11711 (SatELiteGTI) S 11709 11711 11421 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305403900 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11711/statm: 1339 239 197 169 0 50 0
[pid=11717] ppid=11711 vsize=49656 CPUtime=881.87
/proc/11717/stat : 11717 (minisat_static) R 11711 11711 11421 0 -1 4194304 12183 0 0 0 88171 16 0 0 25 0 1 0 305403905 50847744 12117 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/11717/statm: 12414 12117 77 171 0 12241 0
Current children cumulated CPU time (s) 881.91
Current children cumulated vsize (KiB) 55012
[startup+942.303 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 11723
/proc/meminfo: memFree=1917216/2055920 swapFree=4178736/4192956
[pid=11711] ppid=11709 vsize=5356 CPUtime=0.04
/proc/11711/stat : 11711 (SatELiteGTI) S 11709 11711 11421 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305403900 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11711/statm: 1339 239 197 169 0 50 0
[pid=11717] ppid=11711 vsize=49524 CPUtime=941.85
/proc/11717/stat : 11717 (minisat_static) R 11711 11711 11421 0 -1 4194304 12183 0 0 0 94168 17 0 0 25 0 1 0 305403905 50712576 12114 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/11717/statm: 12381 12114 77 171 0 12208 0
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (KiB) 54880
[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 11723
/proc/meminfo: memFree=1917152/2055920 swapFree=4178736/4192956
[pid=11711] ppid=11709 vsize=5356 CPUtime=0.04
/proc/11711/stat : 11711 (SatELiteGTI) S 11709 11711 11421 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305403900 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11711/statm: 1339 239 197 169 0 50 0
[pid=11717] ppid=11711 vsize=49524 CPUtime=1001.83
/proc/11717/stat : 11717 (minisat_static) R 11711 11711 11421 0 -1 4194304 12183 0 0 0 100166 17 0 0 25 0 1 0 305403905 50712576 12114 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/11717/statm: 12381 12114 77 171 0 12208 0
Current children cumulated CPU time (s) 1001.87
Current children cumulated vsize (KiB) 54880
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 11723
/proc/meminfo: memFree=1917024/2055920 swapFree=4178736/4192956
[pid=11711] ppid=11709 vsize=5356 CPUtime=0.04
/proc/11711/stat : 11711 (SatELiteGTI) S 11709 11711 11421 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305403900 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11711/statm: 1339 239 197 169 0 50 0
[pid=11717] ppid=11711 vsize=49524 CPUtime=1061.8
/proc/11717/stat : 11717 (minisat_static) R 11711 11711 11421 0 -1 4194304 12183 0 0 0 106163 17 0 0 25 0 1 0 305403905 50712576 12114 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 1 0 0
/proc/11717/statm: 12381 12114 77 171 0 12208 0
Current children cumulated CPU time (s) 1061.84
Current children cumulated vsize (KiB) 54880
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 11723
/proc/meminfo: memFree=1916960/2055920 swapFree=4178736/4192956
[pid=11711] ppid=11709 vsize=5356 CPUtime=0.04
/proc/11711/stat : 11711 (SatELiteGTI) S 11709 11711 11421 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305403900 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11711/statm: 1339 239 197 169 0 50 0
[pid=11717] ppid=11711 vsize=49524 CPUtime=1121.78
/proc/11717/stat : 11717 (minisat_static) R 11711 11711 11421 0 -1 4194304 12183 0 0 0 112161 17 0 0 25 0 1 0 305403905 50712576 12114 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/11717/statm: 12381 12114 77 171 0 12208 0
Current children cumulated CPU time (s) 1121.82
Current children cumulated vsize (KiB) 54880
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 11723
/proc/meminfo: memFree=1916832/2055920 swapFree=4178736/4192956
[pid=11711] ppid=11709 vsize=5356 CPUtime=0.04
/proc/11711/stat : 11711 (SatELiteGTI) S 11709 11711 11421 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305403900 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11711/statm: 1339 239 197 169 0 50 0
[pid=11717] ppid=11711 vsize=49524 CPUtime=1181.77
/proc/11717/stat : 11717 (minisat_static) R 11711 11711 11421 0 -1 4194304 12183 0 0 0 118159 18 0 0 25 0 1 0 305403905 50712576 12114 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11717/statm: 12381 12114 77 171 0 12208 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 54880
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 11723
/proc/meminfo: memFree=1916832/2055920 swapFree=4178736/4192956
[pid=11711] ppid=11709 vsize=5356 CPUtime=0.04
/proc/11711/stat : 11711 (SatELiteGTI) S 11709 11711 11421 0 -1 4194304 336 690 0 0 0 0 4 0 16 0 1 0 305403900 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11711/statm: 1339 239 197 169 0 50 0
[pid=11717] ppid=11711 vsize=49524 CPUtime=1199.97
/proc/11717/stat : 11717 (minisat_static) R 11711 11711 11421 0 -1 4194304 12183 0 0 0 119979 18 0 0 25 0 1 0 305403905 50712576 12114 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/11717/statm: 12381 12114 77 171 0 12208 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 54880
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11711 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=45993
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=2999
# CPU time returned by wait4() is 0.048992
# while last known CPU time is 1200.01
#
# 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.01
CPU user time (s): 1199.83
CPU system time (s): 0.18
CPU usage (%): 99.9582
Max. virtual memory (cumulated for all children) (KiB): 55012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.045993
system time used= 0.002999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1026
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= 13
involuntary context switches= 5
runsolver used 1.39979 second user time and 3.02854 second system time
The end
Begin job on node42 at 2009-05-20 00:55:57
IDJOB=1832467
IDBENCH=70197
IDSOLVER=671
FILE ID=node42/1832467-1242773757
PBS_JOBID= 9322258
Free space on /tmp= 66380 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/800/unif-k5-r20-v800-c16000-S1736471436-014.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832467-1242773757/watcher-1832467-1242773757 -o /tmp/evaluation-result-1832467-1242773757/solver-1832467-1242773757 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832467-1242773757.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 88b3ae0f7e2752f0b445f361629fc38e
RANDOM SEED=1827435158
node42.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: 1968528 kB
Buffers: 16516 kB
Cached: 34220 kB
SwapCached: 8696 kB
Active: 19052 kB
Inactive: 42124 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1968528 kB
SwapTotal: 4192956 kB
SwapFree: 4178736 kB
Dirty: 1968 kB
Writeback: 0 kB
Mapped: 14484 kB
Slab: 12328 kB
Committed_AS: 1111276 kB
PageTables: 1396 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= 66376 MiB
End job on node42 at 2009-05-20 01:16:00