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 | 14000 70000 | 4199 0 0 nan | 0.000 % |
0.00/0.02 c ==============================================================================
0.00/0.02 c Result : #vars: 700 #clauses: 14000 #literals: 70000
0.00/0.02 c CPU time: 0.012998 s
0.00/0.02 c ==============================================================================
0.00/0.04 c This is MiniSat 2.0 beta
0.00/0.04 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04 c ============================[ Problem Statistics ]=============================
0.00/0.04 c | |
0.00/0.04 c | Number of variables: 700 |
0.00/0.04 c | Number of clauses: 14000 |
0.00/0.05 c | Parsing time: 0.01 s |
0.00/0.05 c ============================[ Search Statistics ]==============================
0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.05 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.05 c ===============================================================================
0.00/0.05 c | 0 | 700 14000 70000 | 4666 0 nan | 0.000 % |
0.00/0.06 c | 100 | 700 14000 70000 | 4666 100 101 | 0.000 % |
0.00/0.07 c | 202 | 700 14000 70000 | 4666 202 98 | 0.000 % |
0.00/0.08 c | 302 | 700 14000 70000 | 4666 302 95 | 0.000 % |
0.03/0.09 c | 412 | 700 14000 70000 | 4666 412 96 | 0.000 % |
0.03/0.10 c | 513 | 700 14000 70000 | 4666 513 94 | 0.000 % |
0.03/0.11 c | 626 | 700 14000 70000 | 4666 626 97 | 0.000 % |
0.03/0.12 c | 749 | 700 14000 70000 | 4666 749 97 | 0.000 % |
0.03/0.13 c | 849 | 700 14000 70000 | 4666 849 97 | 0.000 % |
0.03/0.14 c | 959 | 700 14000 70000 | 4666 959 97 | 0.000 % |
0.03/0.15 c | 1080 | 700 14000 70000 | 4666 1080 97 | 0.000 % |
0.03/0.16 c | 1213 | 700 14000 70000 | 4666 1213 96 | 0.000 % |
0.03/0.17 c | 1313 | 700 14000 70000 | 4666 1313 96 | 0.000 % |
0.03/0.18 c | 1425 | 700 14000 70000 | 4666 1425 96 | 0.000 % |
0.03/0.19 c | 1547 | 700 14000 70000 | 4666 1547 96 | 0.000 % |
0.03/0.20 c | 1680 | 700 14000 70000 | 4666 1680 97 | 0.000 % |
0.03/0.22 c | 1827 | 700 14000 70000 | 4666 1827 96 | 0.000 % |
0.03/0.22 c | 1929 | 700 14000 70000 | 4666 1929 96 | 0.000 % |
0.03/0.24 c | 2039 | 700 14000 70000 | 4666 2039 96 | 0.000 % |
0.03/0.25 c | 2162 | 700 14000 70000 | 4666 2162 96 | 0.000 % |
0.03/0.26 c | 2296 | 700 14000 70000 | 4666 2296 96 | 0.000 % |
0.03/0.27 c | 2444 | 700 14000 70000 | 4666 2444 96 | 0.000 % |
0.03/0.29 c | 2604 | 700 14000 70000 | 4666 2604 95 | 0.000 % |
0.03/0.30 c | 2704 | 700 14000 70000 | 4666 2704 95 | 0.000 % |
0.03/0.31 c | 2814 | 700 14000 70000 | 4666 2814 95 | 0.000 % |
0.03/0.32 c | 2936 | 700 14000 70000 | 4666 2936 95 | 0.000 % |
0.03/0.33 c | 3069 | 700 14000 70000 | 4666 3069 95 | 0.000 % |
0.03/0.35 c | 3216 | 700 14000 70000 | 4666 3216 95 | 0.000 % |
0.03/0.36 c | 3377 | 700 14000 70000 | 4666 3377 96 | 0.000 % |
0.03/0.38 c | 3553 | 700 14000 70000 | 4666 3553 96 | 0.000 % |
0.03/0.39 c | 3654 | 700 14000 70000 | 4666 3654 96 | 0.000 % |
0.03/0.40 c | 3764 | 700 14000 70000 | 4666 3764 96 | 0.000 % |
0.03/0.41 c | 3887 | 700 14000 70000 | 4666 3887 96 | 0.000 % |
0.03/0.43 c | 4021 | 700 14000 70000 | 4666 4021 96 | 0.000 % |
0.03/0.44 c | 4169 | 700 14000 70000 | 4666 4169 97 | 0.000 % |
0.03/0.46 c | 4329 | 700 14000 70000 | 4666 4329 96 | 0.000 % |
0.03/0.48 c | 4511 | 700 14000 70000 | 4666 4511 97 | 0.000 % |
0.03/0.50 c | 4705 | 700 14000 70000 | 4666 4705 97 | 0.000 % |
0.03/0.51 c | 4805 | 700 14000 70000 | 4666 4335 95 | 0.000 % |
0.03/0.52 c | 4915 | 700 14000 70000 | 4666 4445 95 | 0.000 % |
0.03/0.54 c | 5036 | 700 14000 70000 | 4666 4566 95 | 0.000 % |
0.03/0.55 c | 5170 | 700 14000 70000 | 4666 4700 95 | 0.000 % |
0.03/0.57 c | 5316 | 700 14000 70000 | 4666 4376 94 | 0.000 % |
0.03/0.58 c | 5476 | 700 14000 70000 | 4666 4536 93 | 0.000 % |
0.03/0.60 c | 5654 | 700 14000 70000 | 4666 4714 93 | 0.000 % |
0.03/0.63 c | 5848 | 700 14000 70000 | 4666 4437 93 | 0.000 % |
0.03/0.65 c | 6060 | 700 14000 70000 | 4666 4649 93 | 0.000 % |
0.03/0.66 c | 6163 | 700 14000 70000 | 4666 4752 93 | 0.000 % |
0.03/0.67 c | 6274 | 700 14000 70000 | 4666 4388 93 | 0.000 % |
0.03/0.69 c | 6395 | 700 14000 70000 | 4666 4509 93 | 0.000 % |
0.03/0.70 c | 6528 | 700 14000 70000 | 4666 4642 93 | 0.000 % |
0.03/0.71 c | 6674 | 700 14000 70000 | 4666 4788 93 | 0.000 % |
0.03/0.73 c | 6836 | 700 14000 70000 | 4666 4472 93 | 0.000 % |
0.03/0.75 c | 7012 | 700 14000 70000 | 4666 4648 93 | 0.000 % |
0.03/0.77 c | 7205 | 700 14000 70000 | 4666 4841 93 | 0.000 % |
0.03/0.79 c | 7419 | 700 14000 70000 | 4666 4571 93 | 0.000 % |
0.03/0.81 c | 7656 | 700 14000 70000 | 4666 4808 93 | 0.000 % |
0.03/0.82 c | 7756 | 700 14000 70000 | 4666 4428 93 | 0.000 % |
0.03/0.84 c | 7867 | 700 14000 70000 | 4666 4539 93 | 0.000 % |
0.03/0.85 c | 7990 | 700 14000 70000 | 4666 4662 93 | 0.000 % |
0.03/0.86 c | 8124 | 700 14000 70000 | 4666 4796 93 | 0.000 % |
0.03/0.88 c | 8272 | 700 14000 70000 | 4666 4465 92 | 0.000 % |
0.03/0.90 c | 8432 | 700 14000 70000 | 4666 4625 92 | 0.000 % |
0.03/0.92 c | 8608 | 700 14000 70000 | 4666 4801 92 | 0.000 % |
0.03/0.94 c | 8801 | 700 14000 70000 | 4666 4514 91 | 0.000 % |
0.03/0.96 c | 9013 | 700 14000 70000 | 4666 4726 91 | 0.000 % |
0.03/0.98 c | 9246 | 700 14000 70000 | 4666 4487 91 | 0.000 % |
0.97/1.01 c | 9502 | 700 14000 70000 | 4666 4743 91 | 0.000 % |
0.97/1.03 c | 9602 | 700 14000 70000 | 4666 4369 92 | 0.000 % |
0.97/1.04 c | 9712 | 700 14000 70000 | 4666 4479 92 | 0.000 % |
0.97/1.05 c | 9833 | 700 14000 70000 | 4666 4600 92 | 0.000 % |
0.97/1.07 c | 9966 | 700 14000 70000 | 4666 4733 92 | 0.000 % |
0.97/1.09 c | 10113 | 700 14000 70000 | 2147483647 4407 92 | 0.000 % |
1.07/1.10 c | 10274 | 700 14000 70000 | 2147483647 4568 92 | 0.000 % |
1.07/1.12 c | 10451 | 700 14000 70000 | 2147483647 4745 93 | 0.000 % |
1.07/1.15 c | 10644 | 700 14000 70000 | 2147483647 4938 93 | 0.000 % |
1.07/1.17 c | 10857 | 700 14000 70000 | 2147483647 5151 93 | 0.000 % |
1.17/1.20 c | 11091 | 700 14000 70000 | 2147483647 5385 93 | 0.000 % |
1.17/1.23 c | 11347 | 700 14000 70000 | 2147483647 5641 93 | 0.000 % |
1.17/1.26 c | 11630 | 700 14000 70000 | 2147483647 5924 94 | 0.000 % |
1.17/1.27 c | 11732 | 700 14000 70000 | 2147483647 6026 94 | 0.000 % |
1.17/1.29 c | 11843 | 700 14000 70000 | 2147483647 6137 94 | 0.000 % |
1.27/1.30 c | 11964 | 700 14000 70000 | 2147483647 6258 94 | 0.000 % |
1.27/1.32 c | 12101 | 700 14000 70000 | 2147483647 6395 94 | 0.000 % |
1.27/1.34 c | 12248 | 700 14000 70000 | 2147483647 6542 94 | 0.000 % |
1.27/1.36 c | 12409 | 700 14000 70000 | 2147483647 6703 94 | 0.000 % |
1.27/1.38 c | 12587 | 700 14000 70000 | 2147483647 6881 94 | 0.000 % |
1.36/1.40 c | 12780 | 700 14000 70000 | 2147483647 7074 94 | 0.000 % |
1.36/1.43 c | 12992 | 700 14000 70000 | 2147483647 7286 94 | 0.000 % |
1.36/1.46 c | 13226 | 700 14000 70000 | 2147483647 7520 94 | 0.000 % |
1.36/1.49 c | 13484 | 700 14000 70000 | 2147483647 7778 95 | 0.000 % |
1.46/1.53 c | 13768 | 700 14000 70000 | 2147483647 8062 95 | 0.000 % |
1.46/1.56 c | 14077 | 700 14000 70000 | 2147483647 8371 95 | 0.000 % |
1.46/1.58 c | 14177 | 700 14000 70000 | 2147483647 8471 95 | 0.000 % |
1.46/1.59 c | 14287 | 700 14000 70000 | 2147483647 8581 95 | 0.000 % |
1.56/1.61 c | 14408 | 700 14000 70000 | 2147483647 8702 95 | 0.000 % |
1.56/1.63 c | 14542 | 700 14000 70000 | 2147483647 8836 95 | 0.000 % |
1.56/1.65 c | 14689 | 700 14000 70000 | 2147483647 8983 95 | 0.000 % |
1.56/1.67 c | 14850 | 700 14000 70000 | 2147483647 9144 95 | 0.000 % |
1.56/1.69 c | 15027 | 700 14000 70000 | 2147483647 9321 95 | 0.000 % |
1.66/1.72 c | 15220 | 700 14000 70000 | 2147483647 9514 95 | 0.000 % |
1.66/1.75 c | 15432 | 700 14000 70000 | 2147483647 9726 95 | 0.000 % |
1.66/1.78 c | 15665 | 700 14000 70000 | 2147483647 9959 95 | 0.000 % |
1.76/1.81 c | 15923 | 700 14000 70000 | 2147483647 10217 95 | 0.000 % |
1.76/1.85 c | 16206 | 700 14000 70000 | 2147483647 10500 95 | 0.000 % |
1.76/1.89 c | 16515 | 700 14000 70000 | 2147483647 10809 95 | 0.000 % |
1.86/1.94 c | 16857 | 700 14000 70000 | 2147483647 11151 95 | 0.000 % |
1.86/1.96 c | 16958 | 700 14000 70000 | 2147483647 11252 95 | 0.000 % |
1.86/1.97 c | 17068 | 700 14000 70000 | 2147483647 11362 95 | 0.000 % |
1.86/1.99 c | 17189 | 700 14000 70000 | 2147483647 11483 95 | 0.000 % |
1.97/2.01 c | 17322 | 700 14000 70000 | 2147483647 11616 95 | 0.000 % |
1.97/2.03 c | 17469 | 700 14000 70000 | 2147483647 11763 95 | 0.000 % |
1.97/2.06 c | 17629 | 700 14000 70000 | 2147483647 11923 95 | 0.000 % |
1.97/2.09 c | 17807 | 700 14000 70000 | 2147483647 12101 95 | 0.000 % |
2.08/2.12 c | 18000 | 700 14000 70000 | 2147483647 12294 95 | 0.000 % |
2.08/2.15 c | 18213 | 700 14000 70000 | 2147483647 12507 95 | 0.000 % |
2.08/2.19 c | 18446 | 700 14000 70000 | 2147483647 12740 95 | 0.000 % |
2.18/2.23 c | 18703 | 700 14000 70000 | 2147483647 12997 95 | 0.000 % |
2.18/2.28 c | 18985 | 700 14000 70000 | 2147483647 13279 95 | 0.000 % |
2.27/2.32 c | 19296 | 700 14000 70000 | 2147483647 13590 95 | 0.000 % |
2.27/2.38 c | 19635 | 700 14000 70000 | 2147483647 13929 95 | 0.000 % |
2.37/2.44 c | 20009 | 700 14000 70000 | 2147483647 14303 95 | 0.000 % |
2.37/2.46 c | 20109 | 700 14000 70000 | 2147483647 14403 95 | 0.000 % |
2.37/2.48 c | 20219 | 700 14000 70000 | 2147483647 14513 95 | 0.000 % |
2.47/2.50 c | 20341 | 700 14000 70000 | 2147483647 14635 95 | 0.000 % |
2.47/2.52 c | 20474 | 700 14000 70000 | 2147483647 14768 95 | 0.000 % |
2.47/2.55 c | 20621 | 700 14000 70000 | 2147483647 14915 95 | 0.000 % |
2.47/2.58 c | 20783 | 700 14000 70000 | 2147483647 15077 95 | 0.000 % |
2.57/2.61 c | 20959 | 700 14000 70000 | 2147483647 15253 95 | 0.000 % |
2.57/2.64 c | 21153 | 700 14000 70000 | 2147483647 15447 95 | 0.000 % |
2.57/2.68 c | 21365 | 700 14000 70000 | 2147483647 15659 95 | 0.000 % |
2.67/2.72 c | 21599 | 700 14000 70000 | 2147483647 15893 95 | 0.000 % |
2.67/2.77 c | 21856 | 700 14000 70000 | 2147483647 16150 95 | 0.000 % |
2.77/2.83 c | 22137 | 700 14000 70000 | 2147483647 16431 95 | 0.000 % |
2.77/2.88 c | 22447 | 700 14000 70000 | 2147483647 16741 95 | 0.000 % |
2.87/2.95 c | 22786 | 700 14000 70000 | 2147483647 17080 95 | 0.000 % |
2.97/3.02 c | 23158 | 700 14000 70000 | 2147483647 17452 95 | 0.000 % |
3.07/3.10 c | 23567 | 700 14000 70000 | 2147483647 17861 95 | 0.000 % |
3.07/3.12 c | 23667 | 700 14000 70000 | 2147483647 17961 95 | 0.000 % |
3.07/3.15 c | 23779 | 700 14000 70000 | 2147483647 18073 95 | 0.000 % |
3.07/3.17 c | 23902 | 700 14000 70000 | 2147483647 18196 95 | 0.000 % |
3.07/3.20 c | 24036 | 700 14000 70000 | 2147483647 18330 95 | 0.000 % |
3.17/3.23 c | 24183 | 700 14000 70000 | 2147483647 18477 95 | 0.000 % |
3.17/3.27 c | 24343 | 700 14000 70000 | 2147483647 18637 95 | 0.000 % |
3.27/3.30 c | 24519 | 700 14000 70000 | 2147483647 18813 95 | 0.000 % |
3.27/3.34 c | 24712 | 700 14000 70000 | 2147483647 19006 95 | 0.000 % |
3.27/3.39 c | 24925 | 700 14000 70000 | 2147483647 19219 96 | 0.000 % |
3.37/3.44 c | 25158 | 700 14000 70000 | 2147483647 19452 95 | 0.000 % |
3.37/3.49 c | 25414 | 700 14000 70000 | 2147483647 19708 95 | 0.000 % |
3.46/3.55 c | 25699 | 700 14000 70000 | 2147483647 19993 95 | 0.000 % |
3.56/3.62 c | 26008 | 700 14000 70000 | 2147483647 20302 95 | 0.000 % |
3.66/3.71 c | 26347 | 700 14000 70000 | 2147483647 20641 95 | 0.000 % |
3.66/3.79 c | 26719 | 700 14000 70000 | 2147483647 21013 96 | 0.000 % |
3.76/3.88 c | 27129 | 700 14000 70000 | 2147483647 21423 96 | 0.000 % |
3.86/3.98 c | 27578 | 700 14000 70000 | 2147483647 21872 96 | 0.000 % |
3.96/4.01 c | 27679 | 700 14000 70000 | 2147483647 21973 96 | 0.000 % |
3.96/4.03 c | 27789 | 700 14000 70000 | 2147483647 22083 96 | 0.000 % |
3.96/4.07 c | 27910 | 700 14000 70000 | 2147483647 22204 96 | 0.000 % |
4.06/4.10 c | 28044 | 700 14000 70000 | 2147483647 22338 96 | 0.000 % |
4.06/4.14 c | 28190 | 700 14000 70000 | 2147483647 22484 96 | 0.000 % |
4.06/4.18 c | 28351 | 700 14000 70000 | 2147483647 22645 96 | 0.000 % |
4.16/4.22 c | 28527 | 700 14000 70000 | 2147483647 22821 96 | 0.000 % |
4.16/4.28 c | 28721 | 700 14000 70000 | 2147483647 23015 96 | 0.000 % |
4.27/4.33 c | 28933 | 700 14000 70000 | 2147483647 23227 96 | 0.000 % |
4.27/4.39 c | 29166 | 700 14000 70000 | 2147483647 23460 95 | 0.000 % |
4.37/4.45 c | 29423 | 700 14000 70000 | 2147483647 23717 96 | 0.000 % |
4.47/4.52 c | 29705 | 700 14000 70000 | 2147483647 23999 96 | 0.000 % |
4.47/4.59 c | 30015 | 700 14000 70000 | 2147483647 24309 96 | 0.000 % |
4.57/4.68 c | 30355 | 700 14000 70000 | 2147483647 24649 96 | 0.000 % |
4.67/4.78 c | 30731 | 700 14000 70000 | 2147483647 25025 96 | 0.000 % |
4.77/4.87 c | 31141 | 700 14000 70000 | 2147483647 25435 96 | 0.000 % |
4.87/4.97 c | 31590 | 700 14000 70000 | 2147483647 25884 96 | 0.000 % |
5.07/5.10 c | 32083 | 700 14000 70000 | 2147483647 26377 96 | 0.000 % |
5.07/5.13 c | 32183 | 700 14000 70000 | 2147483647 26477 96 | 0.000 % |
5.07/5.17 c | 32294 | 700 14000 70000 | 2147483647 26588 96 | 0.000 % |
5.17/5.20 c | 32416 | 700 14000 70000 | 2147483647 26710 96 | 0.000 % |
5.17/5.24 c | 32551 | 700 14000 70000 | 2147483647 26845 96 | 0.000 % |
5.17/5.28 c | 32698 | 700 14000 70000 | 2147483647 26992 96 | 0.000 % |
5.27/5.33 c | 32858 | 700 14000 70000 | 2147483647 27152 96 | 0.000 % |
5.27/5.38 c | 33034 | 700 14000 70000 | 2147483647 27328 96 | 0.000 % |
5.37/5.44 c | 33229 | 700 14000 70000 | 2147483647 27523 96 | 0.000 % |
5.37/5.50 c | 33441 | 700 14000 70000 | 2147483647 27735 96 | 0.000 % |
5.47/5.56 c | 33674 | 700 14000 70000 | 2147483647 27968 96 | 0.000 % |
5.57/5.64 c | 33931 | 700 14000 70000 | 2147483647 28225 96 | 0.000 % |
5.67/5.72 c | 34212 | 700 14000 70000 | 2147483647 28506 96 | 0.000 % |
5.77/5.81 c | 34524 | 700 14000 70000 | 2147483647 28818 96 | 0.000 % |
5.87/5.91 c | 34864 | 700 14000 70000 | 2147483647 29158 96 | 0.000 % |
5.97/6.04 c | 35237 | 700 14000 70000 | 2147483647 29531 96 | 0.000 % |
6.06/6.15 c | 35648 | 700 14000 70000 | 2147483647 29942 96 | 0.000 % |
6.16/6.28 c | 36097 | 700 14000 70000 | 2147483647 30391 96 | 0.000 % |
6.36/6.44 c | 36590 | 700 14000 70000 | 2147483647 30884 96 | 0.000 % |
6.56/6.61 c | 37135 | 700 14000 70000 | 2147483647 31429 96 | 0.000 % |
6.56/6.65 c | 37235 | 700 14000 70000 | 2147483647 31529 96 | 0.000 % |
6.56/6.69 c | 37346 | 700 14000 70000 | 2147483647 31640 96 | 0.000 % |
6.66/6.73 c | 37467 | 700 14000 70000 | 2147483647 31761 96 | 0.000 % |
6.66/6.78 c | 37601 | 700 14000 70000 | 2147483647 31895 96 | 0.000 % |
6.76/6.82 c | 37747 | 700 14000 70000 | 2147483647 32041 96 | 0.000 % |
6.76/6.88 c | 37907 | 700 14000 70000 | 2147483647 32201 96 | 0.000 % |
6.87/6.93 c | 38083 | 700 14000 70000 | 2147483647 32377 96 | 0.000 % |
6.97/7.01 c | 38276 | 700 14000 70000 | 2147483647 32570 96 | 0.000 % |
6.97/7.09 c | 38488 | 700 14000 70000 | 2147483647 32782 96 | 0.000 % |
7.07/7.16 c | 38721 | 700 14000 70000 | 2147483647 33015 96 | 0.000 % |
7.17/7.25 c | 38977 | 700 14000 70000 | 2147483647 33271 96 | 0.000 % |
7.27/7.34 c | 39258 | 700 14000 70000 | 2147483647 33552 96 | 0.000 % |
7.37/7.44 c | 39567 | 700 14000 70000 | 2147483647 33861 96 | 0.000 % |
7.47/7.56 c | 39909 | 700 14000 70000 | 2147483647 34203 96 | 0.000 % |
7.57/7.69 c | 40282 | 700 14000 70000 | 2147483647 34576 96 | 0.000 % |
7.76/7.83 c | 40691 | 700 14000 70000 | 2147483647 34985 96 | 0.000 % |
7.86/7.98 c | 41140 | 700 14000 70000 | 2147483647 35434 96 | 0.000 % |
8.06/8.15 c | 41633 | 700 14000 70000 | 2147483647 35927 96 | 0.000 % |
8.26/8.34 c | 42176 | 700 14000 70000 | 2147483647 36470 97 | 0.000 % |
8.46/8.56 c | 42772 | 700 14000 70000 | 2147483647 37066 97 | 0.000 % |
8.46/8.59 c | 42873 | 700 14000 70000 | 2147483647 37167 97 | 0.000 % |
8.56/8.64 c | 42984 | 700 14000 70000 | 2147483647 37278 97 | 0.000 % |
8.56/8.69 c | 43105 | 700 14000 70000 | 2147483647 37399 97 | 0.000 % |
8.66/8.75 c | 43238 | 700 14000 70000 | 2147483647 37532 97 | 0.000 % |
8.66/8.80 c | 43384 | 700 14000 70000 | 2147483647 37678 97 | 0.000 % |
8.76/8.86 c | 43544 | 700 14000 70000 | 2147483647 37838 97 | 0.000 % |
8.86/8.93 c | 43723 | 700 14000 70000 | 2147483647 38017 97 | 0.000 % |
8.96/9.01 c | 43917 | 700 14000 70000 | 2147483647 38211 97 | 0.000 % |
8.96/9.09 c | 44129 | 700 14000 70000 | 2147483647 38423 97 | 0.000 % |
9.06/9.17 c | 44362 | 700 14000 70000 | 2147483647 38656 97 | 0.000 % |
9.16/9.27 c | 44618 | 700 14000 70000 | 2147483647 38912 97 | 0.000 % |
9.26/9.37 c | 44901 | 700 14000 70000 | 2147483647 39195 97 | 0.000 % |
9.36/9.49 c | 45211 | 700 14000 70000 | 2147483647 39505 97 | 0.000 % |
9.56/9.62 c | 45550 | 700 14000 70000 | 2147483647 39844 97 | 0.000 % |
9.67/9.77 c | 45923 | 700 14000 70000 | 2147483647 40217 97 | 0.000 % |
9.87/9.93 c | 46333 | 700 14000 70000 | 2147483647 40627 97 | 0.000 % |
9.97/10.09 c | 46784 | 700 14000 70000 | 2147483647 41078 97 | 0.000 % |
10.17/10.30 c | 47279 | 700 14000 70000 | 2147483647 41573 97 | 0.000 % |
10.46/10.51 c | 47823 | 700 14000 70000 | 2147483647 42117 97 | 0.000 % |
10.66/10.74 c | 48420 | 700 14000 70000 | 2147483647 42714 97 | 0.000 % |
10.86/11.00 c | 49077 | 700 14000 70000 | 2147483647 43371 97 | 0.000 % |
10.96/11.05 c | 49177 | 700 14000 70000 | 2147483647 43471 97 | 0.000 % |
11.06/11.10 c | 49288 | 700 14000 70000 | 2147483647 43582 97 | 0.000 % |
11.06/11.15 c | 49410 | 700 14000 70000 | 2147483647 43704 97 | 0.000 % |
11.16/11.22 c | 49545 | 700 14000 70000 | 2147483647 43839 97 | 0.000 % |
11.16/11.30 c | 49692 | 700 14000 70000 | 2147483647 43986 97 | 0.000 % |
11.26/11.36 c | 49853 | 700 14000 70000 | 2147483647 44147 97 | 0.000 % |
11.36/11.44 c | 50029 | 700 14000 70000 | 2147483647 44323 97 | 0.000 % |
11.46/11.53 c | 50223 | 700 14000 70000 | 2147483647 44517 97 | 0.000 % |
11.56/11.63 c | 50435 | 700 14000 70000 | 2147483647 44729 97 | 0.000 % |
11.66/11.73 c | 50669 | 700 14000 70000 | 2147483647 44963 97 | 0.000 % |
11.76/11.84 c | 50926 | 700 14000 70000 | 2147483647 45220 97 | 0.000 % |
11.86/11.97 c | 51208 | 700 14000 70000 | 2147483647 45502 97 | 0.000 % |
11.96/12.09 c | 51517 | 700 14000 70000 | 2147483647 45811 97 | 0.000 % |
12.16/12.25 c | 51856 | 700 14000 70000 | 2147483647 46150 97 | 0.000 % |
12.36/12.42 c | 52231 | 700 14000 70000 | 2147483647 46525 97 | 0.000 % |
12.55/12.61 c | 52641 | 700 14000 70000 | 2147483647 46935 97 | 0.000 % |
12.75/12.81 c | 53090 | 700 14000 70000 | 2147483647 47384 97 | 0.000 % |
12.96/13.04 c | 53585 | 700 14000 70000 | 2147483647 47879 97 | 0.000 % |
13.26/13.32 c | 54127 | 700 14000 70000 | 2147483647 48421 97 | 0.000 % |
13.46/13.59 c | 54723 | 700 14000 70000 | 2147483647 49017 97 | 0.000 % |
13.76/13.89 c | 55378 | 700 14000 70000 | 2147483647 49672 97 | 0.000 % |
14.16/14.26 c | 56099 | 700 14000 70000 | 2147483647 50393 97 | 0.000 % |
14.26/14.32 c | 56199 | 700 14000 70000 | 2147483647 50493 97 | 0.000 % |
14.26/14.38 c | 56310 | 700 14000 70000 | 2147483647 50604 97 | 0.000 % |
14.36/14.43 c | 56433 | 700 14000 70000 | 2147483647 50727 97 | 0.000 % |
14.46/14.51 c | 56566 | 700 14000 70000 | 2147483647 50860 97 | 0.000 % |
14.46/14.59 c | 56712 | 700 14000 70000 | 2147483647 51006 97 | 0.000 % |
14.56/14.69 c | 56872 | 700 14000 70000 | 2147483647 51166 97 | 0.000 % |
14.66/14.78 c | 57050 | 700 14000 70000 | 2147483647 51344 97 | 0.000 % |
14.76/14.89 c | 57243 | 700 14000 70000 | 2147483647 51537 97 | 0.000 % |
14.96/15.01 c | 57456 | 700 14000 70000 | 2147483647 51750 97 | 0.000 % |
15.06/15.14 c | 57690 | 700 14000 70000 | 2147483647 51984 97 | 0.000 % |
15.16/15.28 c | 57948 | 700 14000 70000 | 2147483647 52242 97 | 0.000 % |
15.36/15.41 c | 58229 | 700 14000 70000 | 2147483647 52523 97 | 0.000 % |
15.46/15.56 c | 58539 | 700 14000 70000 | 2147483647 52833 97 | 0.000 % |
15.66/15.74 c | 58878 | 700 14000 70000 | 2147483647 53172 97 | 0.000 % |
15.85/15.93 c | 59250 | 700 14000 70000 | 2147483647 53544 97 | 0.000 % |
16.05/16.12 c | 59660 | 700 14000 70000 | 2147483647 53954 97 | 0.000 % |
16.25/16.33 c | 60111 | 700 14000 70000 | 2147483647 54405 97 | 0.000 % |
16.46/16.58 c | 60606 | 700 14000 70000 | 2147483647 54900 97 | 0.000 % |
16.75/16.85 c | 61150 | 700 14000 70000 | 2147483647 55444 97 | 0.000 % |
17.05/17.15 c | 61746 | 700 14000 70000 | 2147483647 56040 97 | 0.000 % |
17.35/17.48 c | 62403 | 700 14000 70000 | 2147483647 56697 97 | 0.000 % |
17.76/17.81 c | 63124 | 700 14000 70000 | 2147483647 57418 97 | 0.000 % |
18.16/18.21 c | 63916 | 700 14000 70000 | 2147483647 58210 98 | 0.000 % |
18.16/18.28 c | 64016 | 700 14000 70000 | 2147483647 58310 98 | 0.000 % |
18.26/18.36 c | 64128 | 700 14000 70000 | 2147483647 58422 98 | 0.000 % |
18.36/18.43 c | 64251 | 700 14000 70000 | 2147483647 58545 98 | 0.000 % |
18.46/18.52 c | 64384 | 700 14000 70000 | 2147483647 58678 98 | 0.000 % |
18.46/18.60 c | 64532 | 700 14000 70000 | 2147483647 58826 97 | 0.000 % |
18.66/18.70 c | 64692 | 700 14000 70000 | 2147483647 58986 97 | 0.000 % |
18.76/18.81 c | 64868 | 700 14000 70000 | 2147483647 59162 97 | 0.000 % |
18.85/18.92 c | 65062 | 700 14000 70000 | 2147483647 59356 97 | 0.000 % |
18.95/19.05 c | 65274 | 700 14000 70000 | 2147483647 59568 97 | 0.000 % |
19.15/19.20 c | 65508 | 700 14000 70000 | 2147483647 59802 97 | 0.000 % |
19.25/19.36 c | 65764 | 700 14000 70000 | 2147483647 60058 97 | 0.000 % |
19.45/19.54 c | 66048 | 700 14000 70000 | 2147483647 60342 97 | 0.000 % |
19.66/19.72 c | 66357 | 700 14000 70000 | 2147483647 60651 98 | 0.000 % |
19.85/19.92 c | 66696 | 700 14000 70000 | 2147483647 60990 98 | 0.000 % |
20.05/20.13 c | 67068 | 700 14000 70000 | 2147483647 61362 98 | 0.000 % |
20.25/20.37 c | 67478 | 700 14000 70000 | 2147483647 61772 97 | 0.000 % |
20.55/20.65 c | 67927 | 700 14000 70000 | 2147483647 62221 97 | 0.000 % |
20.85/20.94 c | 68422 | 700 14000 70000 | 2147483647 62716 98 | 0.000 % |
21.15/21.28 c | 68964 | 700 14000 70000 | 2147483647 63258 98 | 0.000 % |
21.45/21.59 c | 69561 | 700 14000 70000 | 2147483647 63855 98 | 0.000 % |
21.96/22.02 c | 70216 | 700 14000 70000 | 2147483647 64510 98 | 0.000 % |
22.35/22.41 c | 70936 | 700 14000 70000 | 2147483647 65230 98 | 0.000 % |
22.75/22.84 c | 71729 | 700 14000 70000 | 2147483647 66023 98 | 0.000 % |
23.25/23.34 c | 72600 | 700 14000 70000 | 2147483647 66894 98 | 0.000 % |
23.35/23.40 c | 72703 | 700 14000 70000 | 2147483647 66997 98 | 0.000 % |
23.35/23.47 c | 72813 | 700 14000 70000 | 2147483647 67107 98 | 0.000 % |
23.45/23.55 c | 72935 | 700 14000 70000 | 2147483647 67229 98 | 0.000 % |
23.55/23.63 c | 73068 | 700 14000 70000 | 2147483647 67362 98 | 0.000 % |
23.65/23.75 c | 73215 | 700 14000 70000 | 2147483647 67509 98 | 0.000 % |
23.75/23.85 c | 73375 | 700 14000 70000 | 2147483647 67669 98 | 0.000 % |
23.84/23.97 c | 73552 | 700 14000 70000 | 2147483647 67846 98 | 0.000 % |
24.05/24.11 c | 73746 | 700 14000 70000 | 2147483647 68040 98 | 0.000 % |
24.15/24.26 c | 73959 | 700 14000 70000 | 2147483647 68253 98 | 0.000 % |
24.34/24.41 c | 74194 | 700 14000 70000 | 2147483647 68488 98 | 0.000 % |
24.44/24.56 c | 74450 | 700 14000 70000 | 2147483647 68744 98 | 0.000 % |
24.64/24.76 c | 74731 | 700 14000 70000 | 2147483647 69025 98 | 0.000 % |
24.85/24.95 c | 75042 | 700 14000 70000 | 2147483647 69336 98 | 0.000 % |
25.05/25.18 c | 75382 | 700 14000 70000 | 2147483647 69676 98 | 0.000 % |
25.35/25.42 c | 75757 | 700 14000 70000 | 2147483647 70051 98 | 0.000 % |
25.55/25.66 c | 76166 | 700 14000 70000 | 2147483647 70460 98 | 0.000 % |
25.85/25.95 c | 76615 | 700 14000 70000 | 2147483647 70909 98 | 0.000 % |
26.15/26.28 c | 77109 | 700 14000 70000 | 2147483647 71403 98 | 0.000 % |
26.55/26.64 c | 77651 | 700 14000 70000 | 2147483647 71945 98 | 0.000 % |
26.95/27.04 c | 78247 | 700 14000 70000 | 2147483647 72541 98 | 0.000 % |
27.35/27.43 c | 78902 | 700 14000 70000 | 2147483647 73196 98 | 0.000 % |
27.84/27.91 c | 79626 | 700 14000 70000 | 2147483647 73920 98 | 0.000 % |
28.34/28.49 c | 80423 | 700 14000 70000 | 74297 64523 98 | 0.000 % |
28.94/29.01 c | 81294 | 700 14000 70000 | 74297 65394 98 | 0.000 % |
29.44/29.53 c | 82253 | 700 14000 70000 | 74297 66353 98 | 0.000 % |
29.44/29.59 c | 82354 | 700 14000 70000 | 74297 66454 98 | 0.000 % |
29.55/29.66 c | 82465 | 700 14000 70000 | 74297 66565 98 | 0.000 % |
29.65/29.74 c | 82589 | 700 14000 70000 | 74297 66689 98 | 0.000 % |
29.74/29.84 c | 82723 | 700 14000 70000 | 74297 66823 98 | 0.000 % |
29.84/29.94 c | 82870 | 700 14000 70000 | 74297 66970 98 | 0.000 % |
29.94/30.04 c | 83031 | 700 14000 70000 | 74297 67131 98 | 0.000 % |
30.04/30.17 c | 83207 | 700 14000 70000 | 74297 67307 98 | 0.000 % |
30.24/30.31 c | 83401 | 700 14000 70000 | 74297 67501 98 | 0.000 % |
30.34/30.46 c | 83616 | 700 14000 70000 | 74297 67716 98 | 0.000 % |
30.54/30.62 c | 83849 | 700 14000 70000 | 74297 67949 98 | 0.000 % |
30.75/30.81 c | 84106 | 700 14000 70000 | 74297 68206 98 | 0.000 % |
30.84/30.99 c | 84387 | 700 14000 70000 | 74297 68487 98 | 0.000 % |
31.04/31.18 c | 84696 | 700 14000 70000 | 74297 68796 98 | 0.000 % |
31.34/31.40 c | 85035 | 700 14000 70000 | 74297 69135 98 | 0.000 % |
31.54/31.68 c | 85407 | 700 14000 70000 | 74297 69507 98 | 0.000 % |
31.85/31.93 c | 85816 | 700 14000 70000 | 74297 69916 98 | 0.000 % |
32.14/32.24 c | 86265 | 700 14000 70000 | 74297 70365 98 | 0.000 % |
32.44/32.55 c | 86758 | 700 14000 70000 | 74297 70858 98 | 0.000 % |
32.74/32.88 c | 87300 | 700 14000 70000 | 74297 71400 98 | 0.000 % |
33.14/33.26 c | 87897 | 700 14000 70000 | 74297 71997 98 | 0.000 % |
33.54/33.66 c | 88553 | 700 14000 70000 | 74297 72653 98 | 0.000 % |
34.04/34.16 c | 89274 | 700 14000 70000 | 74297 73374 98 | 0.000 % |
34.54/34.68 c | 90066 | 700 14000 70000 | 74101 74166 98 | 0.000 % |
35.14/35.24 c | 90937 | 700 14000 70000 | 74101 63865 99 | 0.000 % |
35.74/35.83 c | 91898 | 700 14000 70000 | 74101 64826 99 | 0.000 % |
36.34/36.42 c | 92951 | 700 14000 70000 | 74101 65879 99 | 0.000 % |
36.34/36.48 c | 93051 | 700 14000 70000 | 74101 65979 99 | 0.000 % |
36.44/36.56 c | 93161 | 700 14000 70000 | 74101 66089 99 | 0.000 % |
36.54/36.64 c | 93283 | 700 14000 70000 | 74101 66211 99 | 0.000 % |
36.64/36.73 c | 93416 | 700 14000 70000 | 74101 66344 99 | 0.000 % |
36.74/36.82 c | 93563 | 700 14000 70000 | 74101 66491 99 | 0.000 % |
36.84/36.94 c | 93724 | 700 14000 70000 | 74101 66652 99 | 0.000 % |
36.94/37.06 c | 93901 | 700 14000 70000 | 74101 66829 99 | 0.000 % |
37.04/37.18 c | 94094 | 700 14000 70000 | 74101 67022 99 | 0.000 % |
37.24/37.32 c | 94308 | 700 14000 70000 | 74101 67236 99 | 0.000 % |
37.34/37.48 c | 94542 | 700 14000 70000 | 74101 67470 99 | 0.000 % |
37.54/37.67 c | 94800 | 700 14000 70000 | 74101 67728 99 | 0.000 % |
37.74/37.85 c | 95084 | 700 14000 70000 | 74101 68012 99 | 0.000 % |
37.94/38.08 c | 95393 | 700 14000 70000 | 74101 68321 99 | 0.000 % |
38.24/38.31 c | 95732 | 700 14000 70000 | 74101 68660 99 | 0.000 % |
38.44/38.56 c | 96104 | 700 14000 70000 | 74101 69032 99 | 0.000 % |
38.74/38.82 c | 96513 | 700 14000 70000 | 74101 69441 99 | 0.000 % |
39.04/39.14 c | 96963 | 700 14000 70000 | 74101 69891 99 | 0.000 % |
39.34/39.45 c | 97458 | 700 14000 70000 | 74101 70386 99 | 0.000 % |
39.64/39.80 c | 98001 | 700 14000 70000 | 74101 70929 99 | 0.000 % |
40.04/40.17 c | 98597 | 700 14000 70000 | 74101 71525 99 | 0.000 % |
40.54/40.61 c | 99252 | 700 14000 70000 | 74101 72180 99 | 0.000 % |
40.94/41.05 c | 99972 | 700 14000 70000 | 74101 72900 99 | 0.000 % |
41.44/41.59 c | 100764 | 700 14000 70000 | 72930 62335 99 | 0.000 % |
41.94/42.07 c | 101636 | 700 14000 70000 | 72930 63207 99 | 0.000 % |
42.54/42.61 c | 102594 | 700 14000 70000 | 72930 64165 99 | 0.000 % |
43.14/43.28 c | 103647 | 700 14000 70000 | 72930 65218 99 | 0.000 % |
43.94/44.02 c | 104805 | 700 14000 70000 | 72930 66376 99 | 0.000 % |
43.94/44.08 c | 104905 | 700 14000 70000 | 72930 66476 99 | 0.000 % |
44.03/44.16 c | 105016 | 700 14000 70000 | 72930 66587 99 | 0.000 % |
44.13/44.25 c | 105138 | 700 14000 70000 | 72930 66709 99 | 0.000 % |
44.23/44.33 c | 105271 | 700 14000 70000 | 72930 66842 99 | 0.000 % |
44.33/44.43 c | 105417 | 700 14000 70000 | 72930 66988 99 | 0.000 % |
44.43/44.53 c | 105579 | 700 14000 70000 | 72930 67150 99 | 0.000 % |
44.53/44.66 c | 105757 | 700 14000 70000 | 72930 67328 99 | 0.000 % |
44.63/44.77 c | 105950 | 700 14000 70000 | 72930 67521 99 | 0.000 % |
44.83/44.91 c | 106163 | 700 14000 70000 | 72930 67734 99 | 0.000 % |
44.94/45.08 c | 106398 | 700 14000 70000 | 72930 67969 99 | 0.000 % |
45.13/45.25 c | 106654 | 700 14000 70000 | 72930 68225 99 | 0.000 % |
45.33/45.42 c | 106935 | 700 14000 70000 | 72930 68506 99 | 0.000 % |
45.53/45.61 c | 107244 | 700 14000 70000 | 72930 68815 99 | 0.000 % |
45.73/45.80 c | 107583 | 700 14000 70000 | 72930 69154 99 | 0.000 % |
45.93/46.06 c | 107956 | 700 14000 70000 | 72930 69527 99 | 0.000 % |
46.23/46.31 c | 108365 | 700 14000 70000 | 72930 69936 99 | 0.000 % |
46.43/46.59 c | 108814 | 700 14000 70000 | 72930 70385 99 | 0.000 % |
46.83/46.90 c | 109307 | 700 14000 70000 | 72930 70878 99 | 0.000 % |
47.14/47.23 c | 109850 | 700 14000 70000 | 72930 71421 99 | 0.000 % |
47.53/47.63 c | 110446 | 700 14000 70000 | 71571 61593 99 | 0.000 % |
47.83/47.99 c | 111102 | 700 14000 70000 | 71571 62249 99 | 0.000 % |
48.23/48.37 c | 111822 | 700 14000 70000 | 71571 62969 99 | 0.000 % |
48.73/48.80 c | 112614 | 700 14000 70000 | 71571 63761 99 | 0.000 % |
49.13/49.26 c | 113485 | 700 14000 70000 | 71571 64632 99 | 0.000 % |
49.73/49.80 c | 114445 | 700 14000 70000 | 71571 65592 99 | 0.000 % |
50.23/50.39 c | 115499 | 700 14000 70000 | 71571 66646 99 | 0.000 % |
50.93/51.07 c | 116657 | 700 14000 70000 | 71571 67804 99 | 0.000 % |
51.73/51.81 c | 117930 | 700 14000 70000 | 71571 69077 100 | 0.000 % |
51.73/51.87 c | 118030 | 700 14000 70000 | 71571 69177 100 | 0.000 % |
51.83/51.97 c | 118142 | 700 14000 70000 | 71571 69289 100 | 0.000 % |
51.93/52.06 c | 118265 | 700 14000 70000 | 71571 69412 100 | 0.000 % |
52.03/52.15 c | 118398 | 700 14000 70000 | 71571 69545 100 | 0.000 % |
52.13/52.25 c | 118545 | 700 14000 70000 | 71571 69692 100 | 0.000 % |
52.23/52.39 c | 118709 | 700 14000 70000 | 71571 69856 99 | 0.000 % |
52.43/52.50 c | 118888 | 700 14000 70000 | 71571 70035 100 | 0.000 % |
52.53/52.63 c | 119081 | 700 14000 70000 | 71571 70228 100 | 0.000 % |
52.63/52.79 c | 119293 | 700 14000 70000 | 71571 70440 99 | 0.000 % |
52.83/52.95 c | 119526 | 700 14000 70000 | 71571 70673 99 | 0.000 % |
53.03/53.14 c | 119782 | 700 14000 70000 | 71571 70929 99 | 0.000 % |
53.23/53.34 c | 120063 | 700 14000 70000 | 71147 71210 99 | 0.000 % |
53.43/53.57 c | 120373 | 700 14000 70000 | 71147 61604 100 | 0.000 % |
53.63/53.78 c | 120712 | 700 14000 70000 | 71147 61943 100 | 0.000 % |
53.93/54.02 c | 121086 | 700 14000 70000 | 71147 62317 100 | 0.000 % |
54.13/54.26 c | 121497 | 700 14000 70000 | 71147 62728 100 | 0.000 % |
54.43/54.51 c | 121946 | 700 14000 70000 | 71147 63177 100 | 0.000 % |
54.63/54.79 c | 122439 | 700 14000 70000 | 71147 63670 100 | 0.000 % |
54.93/55.06 c | 122981 | 700 14000 70000 | 71147 64212 100 | 0.000 % |
55.23/55.37 c | 123577 | 700 14000 70000 | 71147 64808 100 | 0.000 % |
55.63/55.77 c | 124232 | 700 14000 70000 | 71147 65463 100 | 0.000 % |
56.13/56.22 c | 124953 | 700 14000 70000 | 71147 66184 100 | 0.000 % |
56.53/56.69 c | 125746 | 700 14000 70000 | 71147 66977 100 | 0.000 % |
57.13/57.21 c | 126618 | 700 14000 70000 | 71147 67849 100 | 0.000 % |
57.63/57.76 c | 127576 | 700 14000 70000 | 71147 68807 100 | 0.000 % |
58.33/58.46 c | 128630 | 700 14000 70000 | 71147 69861 100 | 0.000 % |
59.13/59.21 c | 129789 | 700 14000 70000 | 71147 71020 100 | 0.000 % |
59.82/59.95 c | 131063 | 700 14000 70000 | 71231 62202 100 | 0.000 % |
60.62/60.74 c | 132465 | 700 14000 70000 | 71231 63604 100 | 0.000 % |
60.72/60.81 c | 132570 | 700 14000 70000 | 71231 63709 100 | 0.000 % |
60.72/60.89 c | 132680 | 700 14000 70000 | 71231 63819 100 | 0.000 % |
60.82/60.97 c | 132802 | 700 14000 70000 | 71231 63941 100 | 0.000 % |
60.92/61.07 c | 132935 | 700 14000 70000 | 71231 64074 100 | 0.000 % |
61.02/61.14 c | 133081 | 700 14000 70000 | 71231 64220 100 | 0.000 % |
61.12/61.26 c | 133242 | 700 14000 70000 | 71231 64381 100 | 0.000 % |
61.22/61.36 c | 133419 | 700 14000 70000 | 71231 64558 100 | 0.000 % |
61.32/61.49 c | 133612 | 700 14000 70000 | 71231 64751 100 | 0.000 % |
61.53/61.62 c | 133825 | 700 14000 70000 | 71231 64964 100 | 0.000 % |
61.62/61.76 c | 134060 | 700 14000 70000 | 71231 65199 100 | 0.000 % |
61.82/61.94 c | 134317 | 700 14000 70000 | 71231 65456 100 | 0.000 % |
62.02/62.13 c | 134598 | 700 14000 70000 | 71231 65737 100 | 0.000 % |
62.22/62.37 c | 134907 | 700 14000 70000 | 71231 66046 100 | 0.000 % |
62.42/62.58 c | 135247 | 700 14000 70000 | 71231 66386 100 | 0.000 % |
62.72/62.80 c | 135620 | 700 14000 70000 | 71231 66759 100 | 0.000 % |
62.92/63.05 c | 136029 | 700 14000 70000 | 71231 67168 100 | 0.000 % |
63.22/63.34 c | 136479 | 700 14000 70000 | 71231 67618 100 | 0.000 % |
63.63/63.70 c | 136973 | 700 14000 70000 | 71231 68112 100 | 0.000 % |
63.92/64.04 c | 137516 | 700 14000 70000 | 71231 68655 100 | 0.000 % |
64.32/64.43 c | 138112 | 700 14000 70000 | 71231 69251 100 | 0.000 % |
64.72/64.84 c | 138767 | 700 14000 70000 | 71231 69906 100 | 0.000 % |
65.12/65.28 c | 139487 | 700 14000 70000 | 71231 70626 100 | 0.000 % |
65.62/65.79 c | 140281 | 700 14000 70000 | 71141 61298 100 | 0.000 % |
66.12/66.26 c | 141152 | 700 14000 70000 | 71141 62169 100 | 0.000 % |
66.72/66.80 c | 142111 | 700 14000 70000 | 71141 63128 100 | 0.000 % |
67.22/67.38 c | 143164 | 700 14000 70000 | 71141 64181 100 | 0.000 % |
67.92/68.04 c | 144322 | 700 14000 70000 | 71141 65339 100 | 0.000 % |
68.62/68.75 c | 145595 | 700 14000 70000 | 71141 66612 100 | 0.000 % |
69.52/69.65 c | 146995 | 700 14000 70000 | 71141 68012 100 | 0.000 % |
70.52/70.63 c | 148536 | 700 14000 70000 | 71141 69553 100 | 0.000 % |
70.62/70.71 c | 148636 | 700 14000 70000 | 71141 69653 100 | 0.000 % |
70.62/70.79 c | 148746 | 700 14000 70000 | 71141 69763 100 | 0.000 % |
70.72/70.88 c | 148868 | 700 14000 70000 | 71141 69885 100 | 0.000 % |
70.81/70.98 c | 149002 | 700 14000 70000 | 71141 70019 100 | 0.000 % |
71.01/71.11 c | 149149 | 700 14000 70000 | 71141 70166 100 | 0.000 % |
71.11/71.23 c | 149309 | 700 14000 70000 | 71141 70326 100 | 0.000 % |
71.21/71.34 c | 149486 | 700 14000 70000 | 71141 70503 100 | 0.000 % |
71.32/71.48 c | 149680 | 700 14000 70000 | 71141 70697 100 | 0.000 % |
71.51/71.62 c | 149893 | 700 14000 70000 | 71141 70910 100 | 0.000 % |
71.61/71.79 c | 150127 | 700 14000 70000 | 71017 71144 100 | 0.000 % |
71.81/71.99 c | 150384 | 700 14000 70000 | 71017 61729 100 | 0.000 % |
72.01/72.15 c | 150665 | 700 14000 70000 | 71017 62010 100 | 0.000 % |
72.21/72.34 c | 150975 | 700 14000 70000 | 71017 62320 100 | 0.000 % |
72.42/72.55 c | 151316 | 700 14000 70000 | 71017 62661 100 | 0.000 % |
72.61/72.77 c | 151689 | 700 14000 70000 | 71017 63034 100 | 0.000 % |
72.91/73.02 c | 152098 | 700 14000 70000 | 71017 63443 100 | 0.000 % |
73.21/73.30 c | 152547 | 700 14000 70000 | 71017 63892 100 | 0.000 % |
73.51/73.61 c | 153040 | 700 14000 70000 | 71017 64385 100 | 0.000 % |
73.81/73.92 c | 153583 | 700 14000 70000 | 71017 64928 100 | 0.000 % |
74.21/74.31 c | 154179 | 700 14000 70000 | 71017 65524 100 | 0.000 % |
74.61/74.72 c | 154837 | 700 14000 70000 | 71017 66182 100 | 0.000 % |
75.01/75.14 c | 155557 | 700 14000 70000 | 71017 66902 100 | 0.000 % |
75.51/75.61 c | 156349 | 700 14000 70000 | 71017 67694 100 | 0.000 % |
76.01/76.14 c | 157220 | 700 14000 70000 | 71017 68565 100 | 0.000 % |
76.61/76.75 c | 158181 | 700 14000 70000 | 71017 69526 100 | 0.000 % |
77.31/77.41 c | 159234 | 700 14000 70000 | 71017 70579 100 | 0.000 % |
78.01/78.17 c | 160393 | 700 14000 70000 | 61255 53100 100 | 0.000 % |
78.61/78.79 c | 161666 | 700 14000 70000 | 61255 54373 100 | 0.000 % |
79.31/79.49 c | 163067 | 700 14000 70000 | 61255 55774 100 | 0.000 % |
80.11/80.28 c | 164608 | 700 14000 70000 | 61255 57315 100 | 0.000 % |
81.01/81.14 c | 166303 | 700 14000 70000 | 61255 59010 100 | 0.000 % |
81.01/81.19 c | 166404 | 700 14000 70000 | 61255 59111 100 | 0.000 % |
81.11/81.26 c | 166514 | 700 14000 70000 | 61255 59221 100 | 0.000 % |
81.21/81.34 c | 166635 | 700 14000 70000 | 61255 59342 100 | 0.000 % |
81.31/81.43 c | 166768 | 700 14000 70000 | 61255 59475 100 | 0.000 % |
81.41/81.51 c | 166914 | 700 14000 70000 | 61255 59621 100 | 0.000 % |
81.51/81.60 c | 167075 | 700 14000 70000 | 61255 59782 100 | 0.000 % |
81.60/81.73 c | 167253 | 700 14000 70000 | 61255 59960 100 | 0.000 % |
81.70/81.85 c | 167447 | 700 14000 70000 | 61255 60154 100 | 0.000 % |
81.80/81.98 c | 167660 | 700 14000 70000 | 61255 60367 100 | 0.000 % |
82.00/82.11 c | 167893 | 700 14000 70000 | 61255 60600 100 | 0.000 % |
82.10/82.26 c | 168149 | 700 14000 70000 | 61255 60856 100 | 0.000 % |
82.31/82.42 c | 168431 | 700 14000 70000 | 61255 61138 100 | 0.000 % |
82.41/82.59 c | 168743 | 700 14000 70000 | 61255 61450 100 | 0.000 % |
82.70/82.81 c | 169083 | 700 14000 70000 | 61255 55645 100 | 0.000 % |
82.90/83.02 c | 169456 | 700 14000 70000 | 61255 56018 100 | 0.000 % |
83.10/83.23 c | 169865 | 700 14000 70000 | 61255 56427 100 | 0.000 % |
83.30/83.46 c | 170314 | 700 14000 70000 | 2147483647 56876 100 | 0.000 % |
83.60/83.71 c | 170807 | 700 14000 70000 | 2147483647 57369 100 | 0.000 % |
83.80/83.99 c | 171349 | 700 14000 70000 | 2147483647 57911 100 | 0.000 % |
84.20/84.30 c | 171945 | 700 14000 70000 | 2147483647 58507 100 | 0.000 % |
84.51/84.64 c | 172601 | 700 14000 70000 | 2147483647 59163 100 | 0.000 % |
84.90/85.01 c | 173321 | 700 14000 70000 | 2147483647 59883 100 | 0.000 % |
85.20/85.40 c | 174115 | 700 14000 70000 | 2147483647 60677 100 | 0.000 % |
85.70/85.84 c | 174986 | 700 14000 70000 | 2147483647 61548 100 | 0.000 % |
86.20/86.34 c | 175944 | 700 14000 70000 | 2147483647 62506 100 | 0.000 % |
86.70/86.88 c | 176998 | 700 14000 70000 | 2147483647 63560 100 | 0.000 % |
87.40/87.53 c | 178156 | 700 14000 70000 | 2147483647 64718 100 | 0.000 % |
88.10/88.25 c | 179431 | 700 14000 70000 | 2147483647 65993 100 | 0.000 % |
88.90/89.07 c | 180831 | 700 14000 70000 | 2147483647 67393 100 | 0.000 % |
89.90/90.02 c | 182372 | 700 14000 70000 | 2147483647 68934 100 | 0.000 % |
90.90/91.02 c | 184066 | 700 14000 70000 | 2147483647 70628 100 | 0.000 % |
92.10/92.23 c | 185929 | 700 14000 70000 | 2147483647 72491 101 | 0.000 % |
92.10/92.30 c | 186030 | 700 14000 70000 | 2147483647 72592 101 | 0.000 % |
92.21/92.40 c | 186141 | 700 14000 70000 | 2147483647 72703 101 | 0.000 % |
92.31/92.50 c | 186263 | 700 14000 70000 | 2147483647 72825 101 | 0.000 % |
92.40/92.59 c | 186396 | 700 14000 70000 | 2147483647 72958 101 | 0.000 % |
92.50/92.68 c | 186542 | 700 14000 70000 | 2147483647 73104 101 | 0.000 % |
92.60/92.80 c | 186702 | 700 14000 70000 | 2147483647 73264 101 | 0.000 % |
92.80/92.92 c | 186879 | 700 14000 70000 | 2147483647 73441 101 | 0.000 % |
92.90/93.06 c | 187073 | 700 14000 70000 | 2147483647 73635 101 | 0.000 % |
93.10/93.22 c | 187287 | 700 14000 70000 | 2147483647 73849 101 | 0.000 % |
93.20/93.38 c | 187520 | 700 14000 70000 | 2147483647 74082 101 | 0.000 % |
93.41/93.57 c | 187776 | 700 14000 70000 | 2147483647 74338 101 | 0.000 % |
93.60/93.76 c | 188058 | 700 14000 70000 | 2147483647 74620 101 | 0.000 % |
93.90/94.01 c | 188368 | 700 14000 70000 | 2147483647 74930 101 | 0.000 % |
94.10/94.25 c | 188709 | 700 14000 70000 | 2147483647 75271 100 | 0.000 % |
94.40/94.50 c | 189081 | 700 14000 70000 | 2147483647 75643 100 | 0.000 % |
94.60/94.79 c | 189493 | 700 14000 70000 | 2147483647 76055 100 | 0.000 % |
95.00/95.10 c | 189946 | 700 14000 70000 | 2147483647 76508 100 | 0.000 % |
95.30/95.48 c | 190440 | 700 14000 70000 | 76564 65043 101 | 0.000 % |
95.70/95.81 c | 190984 | 700 14000 70000 | 76564 65587 101 | 0.000 % |
96.00/96.17 c | 191580 | 700 14000 70000 | 76564 66183 100 | 0.000 % |
96.40/96.57 c | 192236 | 700 14000 70000 | 76564 66839 100 | 0.000 % |
96.90/97.04 c | 192956 | 700 14000 70000 | 76564 67559 101 | 0.000 % |
97.40/97.52 c | 193752 | 700 14000 70000 | 76564 68355 101 | 0.000 % |
97.90/98.04 c | 194623 | 700 14000 70000 | 76564 69226 101 | 0.000 % |
98.50/98.65 c | 195582 | 700 14000 70000 | 76564 70185 101 | 0.000 % |
99.19/99.38 c | 196635 | 700 14000 70000 | 76564 71238 101 | 0.000 % |
100.00/100.14 c | 197794 | 700 14000 70000 | 76564 72397 101 | 0.000 % |
100.79/100.97 c | 199068 | 700 14000 70000 | 76564 73671 101 | 0.000 % |
101.79/101.91 c | 200468 | 700 14000 70000 | 74603 63236 101 | 0.000 % |
102.69/102.84 c | 202008 | 700 14000 70000 | 74603 64776 101 | 0.000 % |
103.69/103.84 c | 203702 | 700 14000 70000 | 74603 66470 101 | 0.000 % |
104.79/104.93 c | 205565 | 700 14000 70000 | 74603 68333 101 | 0.000 % |
106.09/106.21 c | 207614 | 700 14000 70000 | 74603 70382 101 | 0.000 % |
106.09/106.27 c | 207715 | 700 14000 70000 | 74603 70483 101 | 0.000 % |
106.19/106.35 c | 207825 | 700 14000 70000 | 74603 70593 101 | 0.000 % |
106.29/106.44 c | 207946 | 700 14000 70000 | 74603 70714 101 | 0.000 % |
106.39/106.53 c | 208079 | 700 14000 70000 | 74603 70847 101 | 0.000 % |
106.50/106.65 c | 208226 | 700 14000 70000 | 74603 70994 101 | 0.000 % |
106.60/106.78 c | 208387 | 700 14000 70000 | 74603 71155 101 | 0.000 % |
106.79/106.90 c | 208563 | 700 14000 70000 | 74603 71331 101 | 0.000 % |
106.89/107.05 c | 208757 | 700 14000 70000 | 74603 71525 101 | 0.000 % |
106.99/107.18 c | 208970 | 700 14000 70000 | 74603 71738 101 | 0.000 % |
107.19/107.36 c | 209207 | 700 14000 70000 | 74603 71975 101 | 0.000 % |
107.39/107.52 c | 209463 | 700 14000 70000 | 74603 72231 101 | 0.000 % |
107.59/107.70 c | 209746 | 700 14000 70000 | 74603 72514 101 | 0.000 % |
107.79/107.91 c | 210055 | 700 14000 70000 | 72769 72823 101 | 0.000 % |
107.99/108.19 c | 210395 | 700 14000 70000 | 72769 62197 101 | 0.000 % |
108.29/108.42 c | 210767 | 700 14000 70000 | 72769 62569 101 | 0.000 % |
108.49/108.67 c | 211177 | 700 14000 70000 | 72769 62979 101 | 0.000 % |
108.79/108.95 c | 211628 | 700 14000 70000 | 72769 63430 101 | 0.000 % |
109.09/109.25 c | 212121 | 700 14000 70000 | 72769 63923 101 | 0.000 % |
109.39/109.59 c | 212664 | 700 14000 70000 | 72769 64466 101 | 0.000 % |
109.79/109.94 c | 213263 | 700 14000 70000 | 72769 65065 101 | 0.000 % |
110.19/110.36 c | 213920 | 700 14000 70000 | 72769 65722 101 | 0.000 % |
110.69/110.80 c | 214640 | 700 14000 70000 | 72769 66442 101 | 0.000 % |
111.09/111.26 c | 215433 | 700 14000 70000 | 72769 67235 101 | 0.000 % |
111.59/111.75 c | 216304 | 700 14000 70000 | 72769 68106 101 | 0.000 % |
112.19/112.32 c | 217262 | 700 14000 70000 | 72769 69064 101 | 0.000 % |
112.79/112.96 c | 218315 | 700 14000 70000 | 72769 70117 101 | 0.000 % |
113.49/113.66 c | 219474 | 700 14000 70000 | 72769 71276 101 | 0.000 % |
114.29/114.49 c | 220748 | 700 14000 70000 | 71804 62250 101 | 0.000 % |
115.09/115.27 c | 222151 | 700 14000 70000 | 71804 63653 101 | 0.000 % |
115.99/116.13 c | 223695 | 700 14000 70000 | 71804 65197 101 | 0.000 % |
116.89/117.08 c | 225390 | 700 14000 70000 | 71804 66892 101 | 0.000 % |
117.99/118.18 c | 227255 | 700 14000 70000 | 71804 68757 102 | 0.000 % |
119.28/119.43 c | 229304 | 700 14000 70000 | 71804 70806 102 | 0.000 % |
120.58/120.74 c | 231557 | 700 14000 70000 | 71505 63657 102 | 0.000 % |
120.68/120.83 c | 231657 | 700 14000 70000 | 71505 63757 102 | 0.000 % |
120.79/120.91 c | 231767 | 700 14000 70000 | 71505 63867 102 | 0.000 % |
120.79/121.00 c | 231888 | 700 14000 70000 | 71505 63988 102 | 0.000 % |
120.89/121.07 c | 232021 | 700 14000 70000 | 71505 64121 102 | 0.000 % |
120.98/121.17 c | 232169 | 700 14000 70000 | 71505 64269 102 | 0.000 % |
121.08/121.29 c | 232329 | 700 14000 70000 | 71505 64429 102 | 0.000 % |
121.28/121.41 c | 232506 | 700 14000 70000 | 71505 64606 102 | 0.000 % |
121.38/121.54 c | 232699 | 700 14000 70000 | 71505 64799 102 | 0.000 % |
121.48/121.68 c | 232911 | 700 14000 70000 | 71505 65011 102 | 0.000 % |
121.68/121.83 c | 233149 | 700 14000 70000 | 71505 65249 102 | 0.000 % |
121.78/121.98 c | 233406 | 700 14000 70000 | 71505 65506 102 | 0.000 % |
121.99/122.17 c | 233687 | 700 14000 70000 | 71505 65787 102 | 0.000 % |
122.19/122.37 c | 233999 | 700 14000 70000 | 71505 66099 102 | 0.000 % |
122.39/122.60 c | 234340 | 700 14000 70000 | 71505 66440 102 | 0.000 % |
122.69/122.81 c | 234712 | 700 14000 70000 | 71505 66812 102 | 0.000 % |
122.89/123.06 c | 235122 | 700 14000 70000 | 71505 67222 101 | 0.000 % |
123.19/123.32 c | 235575 | 700 14000 70000 | 71505 67675 102 | 0.000 % |
123.48/123.65 c | 236070 | 700 14000 70000 | 71505 68170 102 | 0.000 % |
123.78/123.99 c | 236612 | 700 14000 70000 | 71505 68712 102 | 0.000 % |
124.19/124.38 c | 237210 | 700 14000 70000 | 71505 69310 101 | 0.000 % |
124.58/124.79 c | 237865 | 700 14000 70000 | 71505 69965 102 | 0.000 % |
125.08/125.24 c | 238586 | 700 14000 70000 | 71505 70686 101 | 0.000 % |
125.58/125.78 c | 239379 | 700 14000 70000 | 71505 71479 101 | 0.000 % |
126.18/126.37 c | 240250 | 700 14000 70000 | 61804 62054 101 | 0.000 % |
126.68/126.83 c | 241208 | 700 14000 70000 | 61804 54222 101 | 0.000 % |
127.18/127.34 c | 242263 | 700 14000 70000 | 61804 55277 101 | 0.000 % |
127.78/127.92 c | 243421 | 700 14000 70000 | 61804 56435 101 | 0.000 % |
128.38/128.58 c | 244694 | 700 14000 70000 | 61804 57708 101 | 0.000 % |
129.08/129.28 c | 246097 | 700 14000 70000 | 61804 59111 101 | 0.000 % |
129.98/130.15 c | 247641 | 700 14000 70000 | 61804 60655 101 | 0.000 % |
130.98/131.10 c | 249335 | 700 14000 70000 | 61804 56147 102 | 0.000 % |
131.88/132.07 c | 251198 | 700 14000 70000 | 2147483647 58010 102 | 0.000 % |
132.98/133.12 c | 253247 | 700 14000 70000 | 2147483647 60059 102 | 0.000 % |
134.18/134.31 c | 255500 | 700 14000 70000 | 2147483647 62312 102 | 0.000 % |
135.48/135.69 c | 257978 | 700 14000 70000 | 2147483647 64790 102 | 0.000 % |
135.58/135.76 c | 258078 | 700 14000 70000 | 2147483647 64890 102 | 0.000 % |
135.68/135.83 c | 258188 | 700 14000 70000 | 2147483647 65000 102 | 0.000 % |
135.78/135.91 c | 258309 | 700 14000 70000 | 2147483647 65121 102 | 0.000 % |
135.88/136.00 c | 258444 | 700 14000 70000 | 2147483647 65256 102 | 0.000 % |
135.98/136.10 c | 258594 | 700 14000 70000 | 2147483647 65406 102 | 0.000 % |
136.08/136.21 c | 258754 | 700 14000 70000 | 2147483647 65566 102 | 0.000 % |
136.18/136.31 c | 258931 | 700 14000 70000 | 2147483647 65743 102 | 0.000 % |
136.28/136.42 c | 259124 | 700 14000 70000 | 2147483647 65936 102 | 0.000 % |
136.38/136.56 c | 259336 | 700 14000 70000 | 2147483647 66148 102 | 0.000 % |
136.58/136.70 c | 259570 | 700 14000 70000 | 2147483647 66382 102 | 0.000 % |
136.78/136.90 c | 259828 | 700 14000 70000 | 2147483647 66640 102 | 0.000 % |
136.88/137.09 c | 260109 | 700 14000 70000 | 2147483647 66921 102 | 0.000 % |
137.08/137.28 c | 260418 | 700 14000 70000 | 2147483647 67230 102 | 0.000 % |
137.38/137.52 c | 260757 | 700 14000 70000 | 2147483647 67569 102 | 0.000 % |
137.58/137.73 c | 261130 | 700 14000 70000 | 2147483647 67942 102 | 0.000 % |
137.78/137.98 c | 261539 | 700 14000 70000 | 2147483647 68351 102 | 0.000 % |
138.18/138.31 c | 261989 | 700 14000 70000 | 2147483647 68801 102 | 0.000 % |
138.48/138.63 c | 262483 | 700 14000 70000 | 2147483647 69295 102 | 0.000 % |
138.77/138.99 c | 263026 | 700 14000 70000 | 2147483647 69838 102 | 0.000 % |
139.17/139.39 c | 263625 | 700 14000 70000 | 2147483647 70437 102 | 0.000 % |
139.67/139.81 c | 264281 | 700 14000 70000 | 2147483647 71093 102 | 0.000 % |
140.07/140.27 c | 265001 | 700 14000 70000 | 2147483647 71813 102 | 0.000 % |
140.58/140.80 c | 265793 | 700 14000 70000 | 2147483647 72605 102 | 0.000 % |
141.17/141.37 c | 266664 | 700 14000 70000 | 2147483647 73476 102 | 0.000 % |
141.78/141.97 c | 267622 | 700 14000 70000 | 2147483647 74434 102 | 0.000 % |
142.47/142.63 c | 268676 | 700 14000 70000 | 2147483647 75488 102 | 0.000 % |
143.18/143.35 c | 269835 | 700 14000 70000 | 2147483647 76647 102 | 0.000 % |
143.98/144.14 c | 271108 | 700 14000 70000 | 76812 66214 101 | 0.000 % |
144.78/144.95 c | 272509 | 700 14000 70000 | 76812 67615 101 | 0.000 % |
145.78/145.97 c | 274050 | 700 14000 70000 | 76812 69156 101 | 0.000 % |
146.78/146.96 c | 275744 | 700 14000 70000 | 76812 70850 101 | 0.000 % |
147.98/148.18 c | 277607 | 700 14000 70000 | 76812 72713 101 | 0.000 % |
149.28/149.47 c | 279656 | 700 14000 70000 | 76812 74762 102 | 0.000 % |
150.68/150.82 c | 281914 | 700 14000 70000 | 75107 65683 103 | 0.000 % |
151.97/152.17 c | 284392 | 700 14000 70000 | 75107 68161 103 | 0.000 % |
153.67/153.83 c | 287119 | 700 14000 70000 | 75107 70888 103 | 0.000 % |
153.67/153.90 c | 287219 | 700 14000 70000 | 75107 70988 103 | 0.000 % |
153.78/153.97 c | 287329 | 700 14000 70000 | 75107 71098 103 | 0.000 % |
153.88/154.06 c | 287452 | 700 14000 70000 | 75107 71221 103 | 0.000 % |
153.97/154.16 c | 287585 | 700 14000 70000 | 75107 71354 103 | 0.000 % |
154.07/154.27 c | 287732 | 700 14000 70000 | 75107 71501 103 | 0.000 % |
154.17/154.39 c | 287894 | 700 14000 70000 | 75107 71663 103 | 0.000 % |
154.37/154.52 c | 288070 | 700 14000 70000 | 75107 71839 103 | 0.000 % |
154.47/154.69 c | 288263 | 700 14000 70000 | 75107 72032 103 | 0.000 % |
154.67/154.84 c | 288475 | 700 14000 70000 | 75107 72244 103 | 0.000 % |
154.88/155.01 c | 288709 | 700 14000 70000 | 75107 72478 103 | 0.000 % |
154.98/155.19 c | 288967 | 700 14000 70000 | 75107 72736 103 | 0.000 % |
155.27/155.40 c | 289249 | 700 14000 70000 | 75107 73018 103 | 0.000 % |
155.47/155.60 c | 289560 | 700 14000 70000 | 75107 73329 103 | 0.000 % |
155.67/155.86 c | 289900 | 700 14000 70000 | 75107 73669 103 | 0.000 % |
155.98/156.17 c | 290273 | 700 14000 70000 | 73770 62717 103 | 0.000 % |
156.27/156.40 c | 290683 | 700 14000 70000 | 73770 63127 103 | 0.000 % |
156.47/156.68 c | 291132 | 700 14000 70000 | 73770 63576 102 | 0.000 % |
156.77/156.99 c | 291625 | 700 14000 70000 | 73770 64069 102 | 0.000 % |
157.18/157.33 c | 292168 | 700 14000 70000 | 73770 64612 102 | 0.000 % |
157.47/157.69 c | 292764 | 700 14000 70000 | 73770 65208 102 | 0.000 % |
157.87/158.09 c | 293419 | 700 14000 70000 | 73770 65863 102 | 0.000 % |
158.37/158.56 c | 294139 | 700 14000 70000 | 73770 66583 102 | 0.000 % |
158.87/159.07 c | 294931 | 700 14000 70000 | 73770 67375 102 | 0.000 % |
159.47/159.62 c | 295804 | 700 14000 70000 | 73770 68248 102 | 0.000 % |
159.97/160.17 c | 296762 | 700 14000 70000 | 73770 69206 102 | 0.000 % |
160.67/160.82 c | 297816 | 700 14000 70000 | 73770 70260 102 | 0.000 % |
161.27/161.49 c | 298975 | 700 14000 70000 | 73770 71419 102 | 0.000 % |
162.07/162.26 c | 300251 | 700 14000 70000 | 72446 72695 102 | 0.000 % |
162.87/163.06 c | 301653 | 700 14000 70000 | 72446 63685 102 | 0.000 % |
163.67/163.90 c | 303194 | 700 14000 70000 | 72446 65226 102 | 0.000 % |
164.67/164.81 c | 304888 | 700 14000 70000 | 72446 66920 102 | 0.000 % |
165.57/165.79 c | 306751 | 700 14000 70000 | 72446 68783 102 | 0.000 % |
166.87/167.00 c | 308802 | 700 14000 70000 | 72446 70834 102 | 0.000 % |
168.27/168.45 c | 311056 | 700 14000 70000 | 72032 63653 102 | 0.000 % |
169.77/169.91 c | 313534 | 700 14000 70000 | 72032 66131 103 | 0.000 % |
171.37/171.55 c | 316259 | 700 14000 70000 | 72032 68856 103 | 0.000 % |
173.26/173.40 c | 319257 | 700 14000 70000 | 72032 71854 103 | 0.000 % |
173.26/173.47 c | 319358 | 700 14000 70000 | 72032 71955 103 | 0.000 % |
173.36/173.54 c | 319468 | 700 14000 70000 | 72032 72065 103 | 0.000 % |
173.46/173.65 c | 319590 | 700 14000 70000 | 72032 62437 103 | 0.000 % |
173.57/173.75 c | 319723 | 700 14000 70000 | 72032 62570 103 | 0.000 % |
173.67/173.84 c | 319869 | 700 14000 70000 | 72032 62716 103 | 0.000 % |
173.76/173.93 c | 320029 | 700 14000 70000 | 62850 62876 103 | 0.000 % |
173.86/174.07 c | 320206 | 700 14000 70000 | 62850 54597 103 | 0.000 % |
173.96/174.17 c | 320399 | 700 14000 70000 | 62850 54790 103 | 0.000 % |
174.06/174.29 c | 320612 | 700 14000 70000 | 62850 55003 103 | 0.000 % |
174.26/174.40 c | 320846 | 700 14000 70000 | 62850 55237 103 | 0.000 % |
174.36/174.54 c | 321103 | 700 14000 70000 | 62850 55494 103 | 0.000 % |
174.46/174.69 c | 321384 | 700 14000 70000 | 62850 55775 103 | 0.000 % |
174.67/174.85 c | 321693 | 700 14000 70000 | 62850 56084 103 | 0.000 % |
174.86/175.02 c | 322032 | 700 14000 70000 | 62850 56423 103 | 0.000 % |
175.06/175.25 c | 322405 | 700 14000 70000 | 62850 56796 103 | 0.000 % |
175.26/175.48 c | 322815 | 700 14000 70000 | 62850 57206 103 | 0.000 % |
175.56/175.74 c | 323264 | 700 14000 70000 | 62850 57655 103 | 0.000 % |
175.87/176.00 c | 323757 | 700 14000 70000 | 62850 58148 103 | 0.000 % |
176.16/176.31 c | 324300 | 700 14000 70000 | 62850 58691 103 | 0.000 % |
176.46/176.62 c | 324898 | 700 14000 70000 | 62850 59289 103 | 0.000 % |
176.76/176.96 c | 325554 | 700 14000 70000 | 62850 59945 103 | 0.000 % |
177.16/177.35 c | 326274 | 700 14000 70000 | 62850 60665 103 | 0.000 % |
177.66/177.80 c | 327066 | 700 14000 70000 | 62850 61457 103 | 0.000 % |
178.16/178.35 c | 327937 | 700 14000 70000 | 62850 62328 103 | 0.000 % |
178.76/178.96 c | 328895 | 700 14000 70000 | 62850 56339 103 | 0.000 % |
179.36/179.51 c | 329948 | 700 14000 70000 | 62850 57392 103 | 0.000 % |
179.96/180.11 c | 331106 | 700 14000 70000 | 57446 52425 102 | 0.000 % |
180.56/180.73 c | 332380 | 700 14000 70000 | 57446 53699 102 | 0.000 % |
181.26/181.44 c | 333780 | 700 14000 70000 | 57446 55099 102 | 0.000 % |
181.96/182.18 c | 335320 | 700 14000 70000 | 57446 56639 102 | 0.000 % |
182.76/183.00 c | 337015 | 700 14000 70000 | 57446 52566 102 | 0.000 % |
183.76/183.93 c | 338879 | 700 14000 70000 | 57446 54430 102 | 0.000 % |
184.76/184.92 c | 340928 | 700 14000 70000 | 2147483647 56479 102 | 0.000 % |
185.76/185.97 c | 343181 | 700 14000 70000 | 2147483647 58732 103 | 0.000 % |
187.16/187.35 c | 345662 | 700 14000 70000 | 2147483647 61213 103 | 0.000 % |
188.66/188.84 c | 348388 | 700 14000 70000 | 2147483647 63939 103 | 0.000 % |
190.46/190.60 c | 351388 | 700 14000 70000 | 2147483647 66939 104 | 0.000 % |
192.55/192.70 c | 354684 | 700 14000 70000 | 2147483647 70235 104 | 0.000 % |
192.55/192.77 c | 354784 | 700 14000 70000 | 2147483647 70335 104 | 0.000 % |
192.65/192.84 c | 354894 | 700 14000 70000 | 2147483647 70445 104 | 0.000 % |
192.75/192.92 c | 355017 | 700 14000 70000 | 2147483647 70568 104 | 0.000 % |
192.85/193.02 c | 355151 | 700 14000 70000 | 2147483647 70702 104 | 0.000 % |
192.95/193.14 c | 355298 | 700 14000 70000 | 2147483647 70849 104 | 0.000 % |
193.05/193.25 c | 355460 | 700 14000 70000 | 2147483647 71011 104 | 0.000 % |
193.15/193.39 c | 355636 | 700 14000 70000 | 2147483647 71187 104 | 0.000 % |
193.36/193.53 c | 355831 | 700 14000 70000 | 2147483647 71382 104 | 0.000 % |
193.46/193.66 c | 356044 | 700 14000 70000 | 2147483647 71595 104 | 0.000 % |
193.65/193.84 c | 356279 | 700 14000 70000 | 2147483647 71830 104 | 0.000 % |
193.85/194.03 c | 356535 | 700 14000 70000 | 2147483647 72086 104 | 0.000 % |
194.05/194.24 c | 356816 | 700 14000 70000 | 2147483647 72367 104 | 0.000 % |
194.25/194.45 c | 357125 | 700 14000 70000 | 2147483647 72676 104 | 0.000 % |
194.46/194.66 c | 357467 | 700 14000 70000 | 2147483647 73018 104 | 0.000 % |
194.65/194.89 c | 357839 | 700 14000 70000 | 2147483647 73390 104 | 0.000 % |
194.95/195.15 c | 358248 | 700 14000 70000 | 2147483647 73799 104 | 0.000 % |
195.25/195.45 c | 358697 | 700 14000 70000 | 2147483647 74248 104 | 0.000 % |
195.56/195.77 c | 359190 | 700 14000 70000 | 2147483647 74741 104 | 0.000 % |
195.95/196.15 c | 359732 | 700 14000 70000 | 2147483647 75283 104 | 0.000 % |
196.35/196.58 c | 360328 | 700 14000 70000 | 75551 65251 104 | 0.000 % |
196.75/196.95 c | 360984 | 700 14000 70000 | 75551 65907 104 | 0.000 % |
197.15/197.36 c | 361706 | 700 14000 70000 | 75551 66629 104 | 0.000 % |
197.65/197.82 c | 362499 | 700 14000 70000 | 75551 67422 104 | 0.000 % |
198.15/198.31 c | 363370 | 700 14000 70000 | 75551 68293 104 | 0.000 % |
198.65/198.89 c | 364328 | 700 14000 70000 | 75551 69251 104 | 0.000 % |
199.35/199.58 c | 365382 | 700 14000 70000 | 75551 70305 104 | 0.000 % |
200.05/200.28 c | 366540 | 700 14000 70000 | 75551 71463 104 | 0.000 % |
200.95/201.13 c | 367815 | 700 14000 70000 | 75551 72738 104 | 0.000 % |
201.85/202.10 c | 369215 | 700 14000 70000 | 75551 74138 104 | 0.000 % |
202.95/203.10 c | 370755 | 700 14000 70000 | 74923 64341 104 | 0.000 % |
203.85/204.04 c | 372452 | 700 14000 70000 | 74923 66038 104 | 0.000 % |
204.94/205.12 c | 374317 | 700 14000 70000 | 74923 67903 104 | 0.000 % |
206.14/206.33 c | 376367 | 700 14000 70000 | 74923 69953 104 | 0.000 % |
207.54/207.72 c | 378621 | 700 14000 70000 | 74923 72207 104 | 0.000 % |
209.14/209.38 c | 381100 | 700 14000 70000 | 73586 63927 103 | 0.000 % |
210.74/210.95 c | 383826 | 700 14000 70000 | 73586 66653 103 | 0.000 % |
212.54/212.77 c | 386824 | 700 14000 70000 | 73586 69651 103 | 0.000 % |
214.64/214.89 c | 390120 | 700 14000 70000 | 72829 72947 104 | 0.000 % |
216.74/216.99 c | 393745 | 700 14000 70000 | 72829 66134 104 | 0.000 % |
216.84/217.05 c | 393846 | 700 14000 70000 | 72829 66235 104 | 0.000 % |
216.94/217.12 c | 393957 | 700 14000 70000 | 72829 66346 104 | 0.000 % |
217.04/217.21 c | 394078 | 700 14000 70000 | 72829 66467 104 | 0.000 % |
217.14/217.32 c | 394212 | 700 14000 70000 | 72829 66601 104 | 0.000 % |
217.24/217.41 c | 394360 | 700 14000 70000 | 72829 66749 104 | 0.000 % |
217.34/217.51 c | 394520 | 700 14000 70000 | 72829 66909 104 | 0.000 % |
217.44/217.65 c | 394696 | 700 14000 70000 | 72829 67085 104 | 0.000 % |
217.55/217.77 c | 394891 | 700 14000 70000 | 72829 67280 104 | 0.000 % |
217.74/217.91 c | 395106 | 700 14000 70000 | 72829 67495 104 | 0.000 % |
217.84/218.05 c | 395339 | 700 14000 70000 | 72829 67728 104 | 0.000 % |
218.04/218.21 c | 395596 | 700 14000 70000 | 72829 67985 104 | 0.000 % |
218.24/218.41 c | 395878 | 700 14000 70000 | 72829 68267 104 | 0.000 % |
218.44/218.64 c | 396189 | 700 14000 70000 | 72829 68578 104 | 0.000 % |
218.65/218.89 c | 396528 | 700 14000 70000 | 72829 68917 104 | 0.000 % |
218.94/219.14 c | 396902 | 700 14000 70000 | 72829 69291 104 | 0.000 % |
219.24/219.40 c | 397312 | 700 14000 70000 | 72829 69701 104 | 0.000 % |
219.44/219.66 c | 397762 | 700 14000 70000 | 72829 70151 104 | 0.000 % |
219.75/219.97 c | 398256 | 700 14000 70000 | 72829 70645 104 | 0.000 % |
220.14/220.32 c | 398799 | 700 14000 70000 | 72829 71188 104 | 0.000 % |
220.44/220.68 c | 399396 | 700 14000 70000 | 72829 71785 104 | 0.000 % |
220.85/221.07 c | 400052 | 700 14000 70000 | 72390 72441 104 | 0.000 % |
221.34/221.55 c | 400776 | 700 14000 70000 | 72390 62628 104 | 0.000 % |
221.74/221.97 c | 401568 | 700 14000 70000 | 72390 63420 104 | 0.000 % |
222.24/222.48 c | 402441 | 700 14000 70000 | 72390 64293 104 | 0.000 % |
222.84/223.02 c | 403399 | 700 14000 70000 | 72390 65251 104 | 0.000 % |
223.34/223.58 c | 404453 | 700 14000 70000 | 72390 66305 104 | 0.000 % |
224.04/224.25 c | 405611 | 700 14000 70000 | 72390 67463 104 | 0.000 % |
224.74/224.99 c | 406884 | 700 14000 70000 | 72390 68736 104 | 0.000 % |
225.64/225.85 c | 408285 | 700 14000 70000 | 72390 70137 104 | 0.000 % |
226.64/226.89 c | 409825 | 700 14000 70000 | 72390 71677 104 | 0.000 % |
227.64/227.88 c | 411520 | 700 14000 70000 | 71854 63404 103 | 0.000 % |
228.74/228.93 c | 413383 | 700 14000 70000 | 71854 65267 103 | 0.000 % |
229.94/230.11 c | 415432 | 700 14000 70000 | 71854 67316 103 | 0.000 % |
231.24/231.43 c | 417685 | 700 14000 70000 | 71854 69569 103 | 0.000 % |
232.74/232.99 c | 420163 | 700 14000 70000 | 71884 72047 103 | 0.000 % |
234.44/234.60 c | 422888 | 700 14000 70000 | 71884 64858 103 | 0.000 % |
236.13/236.40 c | 425885 | 700 14000 70000 | 71884 67855 103 | 0.000 % |
238.23/238.44 c | 429181 | 700 14000 70000 | 71884 71151 103 | 0.000 % |
240.53/240.72 c | 432806 | 700 14000 70000 | 71970 64938 104 | 0.000 % |
242.84/243.03 c | 436793 | 700 14000 70000 | 71970 68925 104 | 0.000 % |
242.84/243.10 c | 436893 | 700 14000 70000 | 71970 69025 104 | 0.000 % |
242.94/243.18 c | 437004 | 700 14000 70000 | 71970 69136 104 | 0.000 % |
243.03/243.28 c | 437126 | 700 14000 70000 | 71970 69258 104 | 0.000 % |
243.13/243.37 c | 437261 | 700 14000 70000 | 71970 69393 104 | 0.000 % |
243.23/243.46 c | 437408 | 700 14000 70000 | 71970 69540 104 | 0.000 % |
243.33/243.57 c | 437568 | 700 14000 70000 | 71970 69700 104 | 0.000 % |
243.53/243.70 c | 437744 | 700 14000 70000 | 71970 69876 104 | 0.000 % |
243.63/243.83 c | 437937 | 700 14000 70000 | 71970 70069 104 | 0.000 % |
243.73/243.97 c | 438149 | 700 14000 70000 | 71970 70281 104 | 0.000 % |
243.94/244.13 c | 438383 | 700 14000 70000 | 71970 70515 104 | 0.000 % |
244.04/244.30 c | 438640 | 700 14000 70000 | 71970 70772 104 | 0.000 % |
244.23/244.48 c | 438921 | 700 14000 70000 | 71970 71053 104 | 0.000 % |
244.43/244.68 c | 439231 | 700 14000 70000 | 71970 71363 104 | 0.000 % |
244.73/244.90 c | 439572 | 700 14000 70000 | 71970 71704 104 | 0.000 % |
245.03/245.20 c | 439944 | 700 14000 70000 | 71970 72076 104 | 0.000 % |
245.33/245.52 c | 440353 | 700 14000 70000 | 61828 53389 103 | 0.000 % |
245.53/245.75 c | 440803 | 700 14000 70000 | 61828 53839 103 | 0.000 % |
245.73/245.99 c | 441296 | 700 14000 70000 | 61828 54332 103 | 0.000 % |
246.03/246.27 c | 441838 | 700 14000 70000 | 61828 54874 103 | 0.000 % |
246.33/246.54 c | 442434 | 700 14000 70000 | 61828 55470 103 | 0.000 % |
246.63/246.86 c | 443089 | 700 14000 70000 | 61828 56125 103 | 0.000 % |
247.03/247.28 c | 443811 | 700 14000 70000 | 61828 56847 103 | 0.000 % |
247.53/247.72 c | 444604 | 700 14000 70000 | 61828 57640 103 | 0.000 % |
247.92/248.17 c | 445477 | 700 14000 70000 | 61828 58513 103 | 0.000 % |
248.43/248.67 c | 446436 | 700 14000 70000 | 61828 59472 103 | 0.000 % |
249.02/249.26 c | 447490 | 700 14000 70000 | 61828 60526 103 | 0.000 % |
249.72/249.96 c | 448648 | 700 14000 70000 | 61828 61684 103 | 0.000 % |
250.42/250.60 c | 449921 | 700 14000 70000 | 61828 56751 103 | 0.000 % |
251.12/251.31 c | 451324 | 700 14000 70000 | 2147483647 58154 103 | 0.000 % |
251.82/252.08 c | 452866 | 700 14000 70000 | 2147483647 59696 103 | 0.000 % |
252.83/253.01 c | 454561 | 700 14000 70000 | 2147483647 61391 103 | 0.000 % |
253.82/254.03 c | 456424 | 700 14000 70000 | 2147483647 63254 103 | 0.000 % |
254.92/255.18 c | 458473 | 700 14000 70000 | 2147483647 65303 103 | 0.000 % |
256.32/256.54 c | 460726 | 700 14000 70000 | 66831 60579 104 | 0.000 % |
257.71/257.94 c | 463204 | 700 14000 70000 | 66831 63057 104 | 0.000 % |
259.22/259.49 c | 465930 | 700 14000 70000 | 66831 65783 104 | 0.000 % |
261.11/261.30 c | 468927 | 700 14000 70000 | 66831 61357 104 | 0.000 % |
262.91/263.18 c | 472223 | 700 14000 70000 | 62430 57900 104 | 0.000 % |
265.01/265.28 c | 475850 | 700 14000 70000 | 62430 61527 105 | 0.000 % |
267.31/267.59 c | 479838 | 700 14000 70000 | 62430 59248 105 | 0.000 % |
269.81/270.04 c | 484224 | 700 14000 70000 | 2147483647 63634 105 | 0.000 % |
269.91/270.10 c | 484325 | 700 14000 70000 | 2147483647 63735 105 | 0.000 % |
269.91/270.16 c | 484435 | 700 14000 70000 | 2147483647 63845 105 | 0.000 % |
270.01/270.24 c | 484556 | 700 14000 70000 | 2147483647 63966 105 | 0.000 % |
270.11/270.34 c | 484689 | 700 14000 70000 | 2147483647 64099 105 | 0.000 % |
270.21/270.44 c | 484835 | 700 14000 70000 | 2147483647 64245 105 | 0.000 % |
270.31/270.54 c | 484996 | 700 14000 70000 | 2147483647 64406 105 | 0.000 % |
270.41/270.65 c | 485173 | 700 14000 70000 | 2147483647 64583 105 | 0.000 % |
270.51/270.76 c | 485366 | 700 14000 70000 | 2147483647 64776 105 | 0.000 % |
270.71/270.90 c | 485579 | 700 14000 70000 | 2147483647 64989 104 | 0.000 % |
270.81/271.06 c | 485812 | 700 14000 70000 | 2147483647 65222 104 | 0.000 % |
271.01/271.22 c | 486068 | 700 14000 70000 | 2147483647 65478 104 | 0.000 % |
271.21/271.42 c | 486349 | 700 14000 70000 | 2147483647 65759 104 | 0.000 % |
271.41/271.62 c | 486659 | 700 14000 70000 | 2147483647 66069 104 | 0.000 % |
271.61/271.83 c | 487000 | 700 14000 70000 | 2147483647 66410 104 | 0.000 % |
271.81/272.08 c | 487373 | 700 14000 70000 | 2147483647 66783 104 | 0.000 % |
272.11/272.32 c | 487784 | 700 14000 70000 | 2147483647 67194 104 | 0.000 % |
272.31/272.57 c | 488236 | 700 14000 70000 | 2147483647 67646 104 | 0.000 % |
272.61/272.89 c | 488729 | 700 14000 70000 | 2147483647 68139 104 | 0.000 % |
273.01/273.22 c | 489271 | 700 14000 70000 | 2147483647 68681 104 | 0.000 % |
273.31/273.59 c | 489868 | 700 14000 70000 | 2147483647 69278 104 | 0.000 % |
273.71/273.99 c | 490525 | 700 14000 70000 | 69410 61410 104 | 0.000 % |
274.21/274.40 c | 491245 | 700 14000 70000 | 69410 62130 104 | 0.000 % |
274.71/274.90 c | 492039 | 700 14000 70000 | 69410 62924 104 | 0.000 % |
275.21/275.40 c | 492911 | 700 14000 70000 | 69410 63796 104 | 0.000 % |
275.72/275.94 c | 493870 | 700 14000 70000 | 69410 64755 104 | 0.000 % |
276.32/276.54 c | 494923 | 700 14000 70000 | 69410 65808 104 | 0.000 % |
276.92/277.19 c | 496081 | 700 14000 70000 | 69410 66966 104 | 0.000 % |
277.81/278.02 c | 497355 | 700 14000 70000 | 69410 68240 104 | 0.000 % |
278.61/278.89 c | 498759 | 700 14000 70000 | 69410 69644 104 | 0.000 % |
279.61/279.81 c | 500303 | 700 14000 70000 | 61936 54405 104 | 0.000 % |
280.41/280.68 c | 501997 | 700 14000 70000 | 61936 56099 104 | 0.000 % |
281.42/281.70 c | 503860 | 700 14000 70000 | 61936 57962 104 | 0.000 % |
282.52/282.76 c | 505910 | 700 14000 70000 | 61936 60012 104 | 0.000 % |
283.71/283.93 c | 508165 | 700 14000 70000 | 61936 56017 105 | 0.000 % |
284.91/285.15 c | 510643 | 700 14000 70000 | 2147483647 58495 104 | 0.000 % |
286.41/286.63 c | 513370 | 700 14000 70000 | 2147483647 61222 105 | 0.000 % |
288.01/288.24 c | 516367 | 700 14000 70000 | 2147483647 64219 105 | 0.000 % |
290.01/290.25 c | 519663 | 700 14000 70000 | 2147483647 67515 105 | 0.000 % |
292.11/292.33 c | 523290 | 700 14000 70000 | 67852 63988 105 | 0.000 % |
294.41/294.65 c | 527278 | 700 14000 70000 | 67852 67976 105 | 0.000 % |
297.01/297.26 c | 531663 | 700 14000 70000 | 62887 57806 104 | 0.000 % |
299.71/299.93 c | 536487 | 700 14000 70000 | 62887 62630 105 | 0.000 % |
299.81/300.00 c | 536587 | 700 14000 70000 | 62887 62730 105 | 0.000 % |
299.81/300.09 c | 536697 | 700 14000 70000 | 62887 62840 105 | 0.000 % |
299.91/300.17 c | 536818 | 700 14000 70000 | 62887 62961 105 | 0.000 % |
300.01/300.29 c | 536952 | 700 14000 70000 | 62887 56799 105 | 0.000 % |
300.11/300.37 c | 537099 | 700 14000 70000 | 62887 56946 105 | 0.000 % |
300.21/300.48 c | 537260 | 700 14000 70000 | 62887 57107 105 | 0.000 % |
300.31/300.57 c | 537436 | 700 14000 70000 | 62887 57283 104 | 0.000 % |
300.51/300.70 c | 537632 | 700 14000 70000 | 62887 57479 104 | 0.000 % |
300.61/300.81 c | 537844 | 700 14000 70000 | 62887 57691 104 | 0.000 % |
300.71/300.94 c | 538077 | 700 14000 70000 | 62887 57924 104 | 0.000 % |
300.91/301.10 c | 538334 | 700 14000 70000 | 62887 58181 104 | 0.000 % |
301.00/301.25 c | 538616 | 700 14000 70000 | 62887 58463 104 | 0.000 % |
301.21/301.43 c | 538925 | 700 14000 70000 | 62887 58772 104 | 0.000 % |
301.40/301.62 c | 539265 | 700 14000 70000 | 62887 59112 104 | 0.000 % |
301.61/301.86 c | 539637 | 700 14000 70000 | 62887 59484 104 | 0.000 % |
301.81/302.09 c | 540047 | 700 14000 70000 | 2147483647 59894 104 | 0.000 % |
302.11/302.37 c | 540497 | 700 14000 70000 | 2147483647 60344 104 | 0.000 % |
302.41/302.63 c | 540993 | 700 14000 70000 | 2147483647 60840 104 | 0.000 % |
302.71/302.95 c | 541536 | 700 14000 70000 | 2147483647 61383 104 | 0.000 % |
303.10/303.34 c | 542133 | 700 14000 70000 | 2147483647 61980 104 | 0.000 % |
303.50/303.70 c | 542789 | 700 14000 70000 | 2147483647 62636 104 | 0.000 % |
303.80/304.08 c | 543510 | 700 14000 70000 | 2147483647 63357 104 | 0.000 % |
304.30/304.56 c | 544302 | 700 14000 70000 | 2147483647 64149 104 | 0.000 % |
304.80/305.05 c | 545175 | 700 14000 70000 | 2147483647 65022 104 | 0.000 % |
305.40/305.62 c | 546135 | 700 14000 70000 | 2147483647 65982 104 | 0.000 % |
306.00/306.28 c | 547189 | 700 14000 70000 | 2147483647 67036 104 | 0.000 % |
306.71/306.99 c | 548350 | 700 14000 70000 | 2147483647 68197 104 | 0.000 % |
307.60/307.80 c | 549624 | 700 14000 70000 | 2147483647 69471 104 | 0.000 % |
308.40/308.67 c | 551025 | 700 14000 70000 | 69847 62377 104 | 0.000 % |
309.30/309.54 c | 552565 | 700 14000 70000 | 69847 63917 104 | 0.000 % |
310.30/310.54 c | 554261 | 700 14000 70000 | 69847 65613 104 | 0.000 % |
311.40/311.64 c | 556125 | 700 14000 70000 | 69847 67477 104 | 0.000 % |
312.60/312.85 c | 558174 | 700 14000 70000 | 69847 69526 104 | 0.000 % |
313.90/314.13 c | 560427 | 700 14000 70000 | 62496 55434 104 | 0.000 % |
315.10/315.36 c | 562905 | 700 14000 70000 | 62496 57912 104 | 0.000 % |
316.50/316.77 c | 565630 | 700 14000 70000 | 62496 60637 104 | 0.000 % |
318.10/318.33 c | 568628 | 700 14000 70000 | 62496 57363 104 | 0.000 % |
319.70/319.99 c | 571925 | 700 14000 70000 | 2147483647 60660 104 | 0.000 % |
321.60/321.89 c | 575551 | 700 14000 70000 | 2147483647 64286 104 | 0.000 % |
323.80/324.08 c | 579540 | 700 14000 70000 | 2147483647 68275 105 | 0.000 % |
326.30/326.52 c | 583925 | 700 14000 70000 | 68735 64904 104 | 0.000 % |
329.29/329.54 c | 588748 | 700 14000 70000 | 68735 60953 105 | 0.000 % |
332.09/332.32 c | 594053 | 700 14000 70000 | 62205 58620 104 | 0.000 % |
332.09/332.39 c | 594153 | 700 14000 70000 | 62205 58720 104 | 0.000 % |
332.19/332.46 c | 594264 | 700 14000 70000 | 62205 58831 104 | 0.000 % |
332.29/332.53 c | 594389 | 700 14000 70000 | 62205 58956 104 | 0.000 % |
332.39/332.61 c | 594522 | 700 14000 70000 | 62205 59089 104 | 0.000 % |
332.49/332.71 c | 594668 | 700 14000 70000 | 62205 59235 104 | 0.000 % |
332.59/332.81 c | 594828 | 700 14000 70000 | 62205 59395 104 | 0.000 % |
332.69/332.92 c | 595004 | 700 14000 70000 | 62205 59571 104 | 0.000 % |
332.79/333.05 c | 595197 | 700 14000 70000 | 62205 59764 104 | 0.000 % |
332.89/333.17 c | 595410 | 700 14000 70000 | 62205 59977 104 | 0.000 % |
333.10/333.30 c | 595645 | 700 14000 70000 | 62205 60212 104 | 0.000 % |
333.19/333.44 c | 595901 | 700 14000 70000 | 62205 60468 104 | 0.000 % |
333.39/333.62 c | 596182 | 700 14000 70000 | 62205 60749 104 | 0.000 % |
333.59/333.80 c | 596491 | 700 14000 70000 | 62205 61058 104 | 0.000 % |
333.79/334.00 c | 596835 | 700 14000 70000 | 62205 61402 104 | 0.000 % |
333.99/334.22 c | 597208 | 700 14000 70000 | 62205 61775 104 | 0.000 % |
334.20/334.48 c | 597617 | 700 14000 70000 | 62205 62184 104 | 0.000 % |
334.49/334.76 c | 598066 | 700 14000 70000 | 62205 55995 104 | 0.000 % |
334.79/335.06 c | 598559 | 700 14000 70000 | 62205 56488 104 | 0.000 % |
335.20/335.40 c | 599102 | 700 14000 70000 | 62205 57031 104 | 0.000 % |
335.49/335.74 c | 599700 | 700 14000 70000 | 62205 57629 104 | 0.000 % |
335.89/336.13 c | 600356 | 700 14000 70000 | 57929 52207 104 | 0.000 % |
336.19/336.46 c | 601076 | 700 14000 70000 | 57929 52927 104 | 0.000 % |
336.59/336.88 c | 601869 | 700 14000 70000 | 57929 53720 104 | 0.000 % |
337.09/337.31 c | 602740 | 700 14000 70000 | 57929 54591 104 | 0.000 % |
337.49/337.78 c | 603698 | 700 14000 70000 | 57929 55549 104 | 0.000 % |
338.09/338.31 c | 604751 | 700 14000 70000 | 57929 56602 104 | 0.000 % |
338.59/338.83 c | 605910 | 700 14000 70000 | 57929 57761 104 | 0.000 % |
339.19/339.47 c | 607184 | 700 14000 70000 | 57929 53218 104 | 0.000 % |
339.89/340.13 c | 608587 | 700 14000 70000 | 57929 54621 104 | 0.000 % |
340.69/340.91 c | 610128 | 700 14000 70000 | 2147483647 56162 105 | 0.000 % |
341.49/341.76 c | 611824 | 700 14000 70000 | 2147483647 57858 105 | 0.000 % |
342.49/342.73 c | 613688 | 700 14000 70000 | 2147483647 59722 105 | 0.000 % |
343.69/343.92 c | 615737 | 700 14000 70000 | 2147483647 61771 105 | 0.000 % |
344.99/345.22 c | 617990 | 700 14000 70000 | 2147483647 64024 105 | 0.000 % |
346.49/346.71 c | 620470 | 700 14000 70000 | 2147483647 66504 105 | 0.000 % |
348.09/348.33 c | 623195 | 700 14000 70000 | 2147483647 69229 105 | 0.000 % |
349.88/350.16 c | 626192 | 700 14000 70000 | 2147483647 72226 105 | 0.000 % |
352.08/352.38 c | 629490 | 700 14000 70000 | 2147483647 75524 105 | 0.000 % |
354.48/354.77 c | 633115 | 700 14000 70000 | 76037 68206 105 | 0.000 % |
356.98/357.24 c | 637104 | 700 14000 70000 | 76037 72195 105 | 0.000 % |
359.58/359.88 c | 641490 | 700 14000 70000 | 75091 65809 105 | 0.000 % |
362.39/362.61 c | 646315 | 700 14000 70000 | 75091 70634 105 | 0.000 % |
365.68/365.91 c | 651624 | 700 14000 70000 | 74320 65603 105 | 0.000 % |
369.29/369.53 c | 657459 | 700 14000 70000 | 74320 71438 105 | 0.000 % |
369.29/369.60 c | 657559 | 700 14000 70000 | 74320 71538 105 | 0.000 % |
369.39/369.69 c | 657670 | 700 14000 70000 | 74320 71649 105 | 0.000 % |
369.48/369.77 c | 657791 | 700 14000 70000 | 74320 71770 105 | 0.000 % |
369.58/369.87 c | 657924 | 700 14000 70000 | 74320 71903 104 | 0.000 % |
369.68/369.97 c | 658072 | 700 14000 70000 | 74320 72051 104 | 0.000 % |
369.88/370.11 c | 658233 | 700 14000 70000 | 74320 72212 104 | 0.000 % |
369.98/370.23 c | 658409 | 700 14000 70000 | 74320 72388 104 | 0.000 % |
370.08/370.37 c | 658602 | 700 14000 70000 | 74320 72581 104 | 0.000 % |
370.28/370.51 c | 658815 | 700 14000 70000 | 74320 72794 104 | 0.000 % |
370.39/370.67 c | 659048 | 700 14000 70000 | 74320 73027 104 | 0.000 % |
370.58/370.88 c | 659304 | 700 14000 70000 | 74320 73283 104 | 0.000 % |
370.78/371.07 c | 659585 | 700 14000 70000 | 74320 73564 104 | 0.000 % |
370.98/371.29 c | 659895 | 700 14000 70000 | 74320 73874 104 | 0.000 % |
371.28/371.54 c | 660235 | 700 14000 70000 | 73979 74214 104 | 0.000 % |
371.59/371.83 c | 660607 | 700 14000 70000 | 73979 63257 104 | 0.000 % |
371.78/372.07 c | 661016 | 700 14000 70000 | 73979 63666 104 | 0.000 % |
372.08/372.35 c | 661465 | 700 14000 70000 | 73979 64115 104 | 0.000 % |
372.38/372.65 c | 661959 | 700 14000 70000 | 73979 64609 104 | 0.000 % |
372.69/372.97 c | 662501 | 700 14000 70000 | 73979 65151 104 | 0.000 % |
373.08/373.32 c | 663098 | 700 14000 70000 | 73979 65748 104 | 0.000 % |
373.48/373.71 c | 663757 | 700 14000 70000 | 73979 66407 104 | 0.000 % |
373.79/374.09 c | 664479 | 700 14000 70000 | 73979 67129 104 | 0.000 % |
374.28/374.59 c | 665273 | 700 14000 70000 | 73979 67923 104 | 0.000 % |
374.88/375.13 c | 666147 | 700 14000 70000 | 73979 68797 104 | 0.000 % |
375.48/375.74 c | 667105 | 700 14000 70000 | 73979 69755 104 | 0.000 % |
376.08/376.34 c | 668160 | 700 14000 70000 | 73979 70810 104 | 0.000 % |
376.78/377.07 c | 669320 | 700 14000 70000 | 73979 71970 104 | 0.000 % |
377.58/377.89 c | 670593 | 700 14000 70000 | 72651 62712 104 | 0.000 % |
378.38/378.63 c | 671993 | 700 14000 70000 | 72651 64112 104 | 0.000 % |
379.18/379.49 c | 673533 | 700 14000 70000 | 72651 65652 104 | 0.000 % |
380.18/380.44 c | 675228 | 700 14000 70000 | 72651 67347 104 | 0.000 % |
381.18/381.49 c | 677091 | 700 14000 70000 | 72651 69210 104 | 0.000 % |
382.48/382.74 c | 679140 | 700 14000 70000 | 72651 71259 104 | 0.000 % |
383.88/384.14 c | 681393 | 700 14000 70000 | 72120 63563 104 | 0.000 % |
385.28/385.54 c | 683872 | 700 14000 70000 | 72120 66042 104 | 0.000 % |
386.98/387.21 c | 686597 | 700 14000 70000 | 72120 68767 104 | 0.000 % |
388.68/388.97 c | 689597 | 700 14000 70000 | 72120 71767 104 | 0.000 % |
390.68/390.91 c | 692895 | 700 14000 70000 | 72170 64585 104 | 0.000 % |
392.78/393.05 c | 696520 | 700 14000 70000 | 72170 68210 105 | 0.000 % |
395.27/395.57 c | 700507 | 700 14000 70000 | 71693 61387 104 | 0.000 % |
397.77/398.04 c | 704893 | 700 14000 70000 | 71693 65773 104 | 0.000 % |
400.77/401.02 c | 709717 | 700 14000 70000 | 71693 70597 105 | 0.000 % |
403.87/404.11 c | 715024 | 700 14000 70000 | 70881 65961 105 | 0.000 % |
407.47/407.70 c | 720860 | 700 14000 70000 | 70937 61850 106 | 0.000 % |
411.27/411.53 c | 727278 | 700 14000 70000 | 70937 68268 106 | 0.000 % |
411.37/411.60 c | 727378 | 700 14000 70000 | 70937 68368 106 | 0.000 % |
411.37/411.67 c | 727488 | 700 14000 70000 | 70937 68478 106 | 0.000 % |
411.47/411.75 c | 727611 | 700 14000 70000 | 70937 68601 106 | 0.000 % |
411.57/411.83 c | 727744 | 700 14000 70000 | 70937 68734 106 | 0.000 % |
411.67/411.94 c | 727891 | 700 14000 70000 | 70937 68881 106 | 0.000 % |
411.77/412.05 c | 728051 | 700 14000 70000 | 70937 69041 106 | 0.000 % |
411.97/412.20 c | 728229 | 700 14000 70000 | 70937 69219 106 | 0.000 % |
412.07/412.34 c | 728428 | 700 14000 70000 | 70937 69418 106 | 0.000 % |
412.17/412.49 c | 728642 | 700 14000 70000 | 70937 69632 106 | 0.000 % |
412.37/412.65 c | 728876 | 700 14000 70000 | 70937 69866 106 | 0.000 % |
412.57/412.82 c | 729133 | 700 14000 70000 | 70937 70123 106 | 0.000 % |
412.77/413.00 c | 729414 | 700 14000 70000 | 70937 70404 106 | 0.000 % |
412.87/413.18 c | 729723 | 700 14000 70000 | 70937 70713 106 | 0.000 % |
413.07/413.39 c | 730063 | 700 14000 70000 | 70990 71053 106 | 0.000 % |
413.47/413.70 c | 730435 | 700 14000 70000 | 70990 61291 106 | 0.000 % |
413.67/413.95 c | 730844 | 700 14000 70000 | 70990 61700 106 | 0.000 % |
413.97/414.23 c | 731294 | 700 14000 70000 | 70990 62150 106 | 0.000 % |
414.16/414.49 c | 731789 | 700 14000 70000 | 70990 62645 106 | 0.000 % |
414.47/414.79 c | 732332 | 700 14000 70000 | 70990 63188 106 | 0.000 % |
414.86/415.13 c | 732929 | 700 14000 70000 | 70990 63785 106 | 0.000 % |
415.26/415.51 c | 733584 | 700 14000 70000 | 70990 64440 106 | 0.000 % |
415.66/415.99 c | 734304 | 700 14000 70000 | 70990 65160 106 | 0.000 % |
416.16/416.45 c | 735096 | 700 14000 70000 | 70990 65952 106 | 0.000 % |
416.76/417.01 c | 735967 | 700 14000 70000 | 70990 66823 106 | 0.000 % |
417.36/417.62 c | 736925 | 700 14000 70000 | 70990 67781 106 | 0.000 % |
418.06/418.34 c | 737980 | 700 14000 70000 | 70990 68836 106 | 0.000 % |
418.87/419.10 c | 739138 | 700 14000 70000 | 70990 69994 106 | 0.000 % |
419.56/419.89 c | 740411 | 700 14000 70000 | 70856 61239 106 | 0.000 % |
420.36/420.67 c | 741813 | 700 14000 70000 | 70856 62641 106 | 0.000 % |
421.26/421.51 c | 743355 | 700 14000 70000 | 70856 64183 106 | 0.000 % |
422.17/422.44 c | 745049 | 700 14000 70000 | 70856 65877 106 | 0.000 % |
423.36/423.62 c | 746913 | 700 14000 70000 | 70856 67741 106 | 0.000 % |
424.66/424.90 c | 748963 | 700 14000 70000 | 70856 69791 106 | 0.000 % |
426.06/426.31 c | 751216 | 700 14000 70000 | 70830 62167 106 | 0.000 % |
427.36/427.68 c | 753694 | 700 14000 70000 | 70830 64645 106 | 0.000 % |
429.06/429.35 c | 756420 | 700 14000 70000 | 70830 67371 106 | 0.000 % |
430.96/431.27 c | 759417 | 700 14000 70000 | 70830 70368 106 | 0.000 % |
432.96/433.24 c | 762716 | 700 14000 70000 | 70951 63702 105 | 0.000 % |
435.16/435.43 c | 766342 | 700 14000 70000 | 70951 67328 105 | 0.000 % |
437.76/438.00 c | 770329 | 700 14000 70000 | 70986 61680 105 | 0.000 % |
440.36/440.60 c | 774714 | 700 14000 70000 | 70986 66065 106 | 0.000 % |
443.35/443.65 c | 779537 | 700 14000 70000 | 70986 70888 106 | 0.000 % |
446.05/446.40 c | 784842 | 700 14000 70000 | 61986 58588 105 | 0.000 % |
449.25/449.50 c | 790679 | 700 14000 70000 | 57080 51715 105 | 0.000 % |
452.45/452.76 c | 797097 | 700 14000 70000 | 57080 52402 106 | 0.000 % |
455.85/456.20 c | 804157 | 700 14000 70000 | 2147483647 59462 106 | 0.000 % |
455.95/456.25 c | 804258 | 700 14000 70000 | 2147483647 59563 106 | 0.000 % |
456.05/456.31 c | 804370 | 700 14000 70000 | 2147483647 59675 106 | 0.000 % |
456.05/456.39 c | 804491 | 700 14000 70000 | 2147483647 59796 106 | 0.000 % |
456.16/456.47 c | 804624 | 700 14000 70000 | 2147483647 59929 106 | 0.000 % |
456.25/456.55 c | 804770 | 700 14000 70000 | 2147483647 60075 106 | 0.000 % |
456.35/456.66 c | 804931 | 700 14000 70000 | 2147483647 60236 106 | 0.000 % |
456.45/456.75 c | 805107 | 700 14000 70000 | 2147483647 60412 106 | 0.000 % |
456.55/456.86 c | 805301 | 700 14000 70000 | 2147483647 60606 106 | 0.000 % |
456.65/456.99 c | 805515 | 700 14000 70000 | 2147483647 60820 106 | 0.000 % |
456.85/457.15 c | 805748 | 700 14000 70000 | 2147483647 61053 106 | 0.000 % |
456.95/457.28 c | 806004 | 700 14000 70000 | 2147483647 61309 106 | 0.000 % |
457.15/457.46 c | 806285 | 700 14000 70000 | 2147483647 61590 106 | 0.000 % |
457.35/457.64 c | 806594 | 700 14000 70000 | 2147483647 61899 106 | 0.000 % |
457.55/457.84 c | 806934 | 700 14000 70000 | 2147483647 62239 106 | 0.000 % |
457.75/458.07 c | 807306 | 700 14000 70000 | 2147483647 62611 106 | 0.000 % |
458.05/458.31 c | 807715 | 700 14000 70000 | 2147483647 63020 106 | 0.000 % |
458.25/458.59 c | 808166 | 700 14000 70000 | 2147483647 63471 106 | 0.000 % |
458.55/458.86 c | 808662 | 700 14000 70000 | 2147483647 63967 105 | 0.000 % |
458.85/459.19 c | 809205 | 700 14000 70000 | 2147483647 64510 105 | 0.000 % |
459.25/459.56 c | 809801 | 700 14000 70000 | 2147483647 65106 105 | 0.000 % |
459.65/459.95 c | 810457 | 700 14000 70000 | 2147483647 65762 105 | 0.000 % |
460.05/460.37 c | 811177 | 700 14000 70000 | 2147483647 66482 105 | 0.000 % |
460.55/460.83 c | 811969 | 700 14000 70000 | 2147483647 67274 105 | 0.000 % |
461.05/461.37 c | 812841 | 700 14000 70000 | 2147483647 68146 105 | 0.000 % |
461.65/461.94 c | 813799 | 700 14000 70000 | 2147483647 69104 105 | 0.000 % |
462.25/462.54 c | 814855 | 700 14000 70000 | 2147483647 70160 105 | 0.000 % |
462.94/463.25 c | 816014 | 700 14000 70000 | 2147483647 71319 105 | 0.000 % |
463.74/464.10 c | 817288 | 700 14000 70000 | 2147483647 72593 105 | 0.000 % |
464.75/465.07 c | 818689 | 700 14000 70000 | 2147483647 73994 105 | 0.000 % |
465.74/466.02 c | 820229 | 700 14000 70000 | 75306 75534 105 | 0.000 % |
466.74/467.01 c | 821924 | 700 14000 70000 | 75306 66267 105 | 0.000 % |
467.84/468.15 c | 823787 | 700 14000 70000 | 75306 68130 105 | 0.000 % |
469.14/469.41 c | 825836 | 700 14000 70000 | 75306 70179 105 | 0.000 % |
470.44/470.79 c | 828089 | 700 14000 70000 | 75306 72432 105 | 0.000 % |
472.14/472.44 c | 830568 | 700 14000 70000 | 74343 63870 105 | 0.000 % |
473.64/474.00 c | 833293 | 700 14000 70000 | 74343 66595 105 | 0.000 % |
475.34/475.62 c | 836291 | 700 14000 70000 | 74343 69593 105 | 0.000 % |
477.34/477.69 c | 839587 | 700 14000 70000 | 74343 72889 106 | 0.000 % |
479.64/479.94 c | 843213 | 700 14000 70000 | 73302 65369 105 | 0.000 % |
482.04/482.32 c | 847200 | 700 14000 70000 | 73302 69356 105 | 0.000 % |
484.64/484.99 c | 851586 | 700 14000 70000 | 72158 63585 104 | 0.000 % |
487.53/487.80 c | 856411 | 700 14000 70000 | 72158 68410 105 | 0.000 % |
490.73/491.05 c | 861716 | 700 14000 70000 | 71999 63424 105 | 0.000 % |
494.03/494.38 c | 867554 | 700 14000 70000 | 71999 69262 105 | 0.000 % |
498.04/498.39 c | 873974 | 700 14000 70000 | 71708 65687 105 | 0.000 % |
502.73/503.02 c | 881033 | 700 14000 70000 | 71717 62075 106 | 0.000 % |
507.43/507.78 c | 888798 | 700 14000 70000 | 71717 69840 106 | 0.000 % |
507.53/507.86 c | 888900 | 700 14000 70000 | 71717 69942 106 | 0.000 % |
507.63/507.94 c | 889012 | 700 14000 70000 | 71717 70054 106 | 0.000 % |
507.73/508.05 c | 889134 | 700 14000 70000 | 71717 70176 106 | 0.000 % |
507.83/508.15 c | 889267 | 700 14000 70000 | 71717 70309 106 | 0.000 % |
507.93/508.25 c | 889413 | 700 14000 70000 | 71717 70455 106 | 0.000 % |
508.03/508.37 c | 889575 | 700 14000 70000 | 71717 70617 106 | 0.000 % |
508.23/508.50 c | 889751 | 700 14000 70000 | 71717 70793 106 | 0.000 % |
508.33/508.65 c | 889946 | 700 14000 70000 | 71717 70988 106 | 0.000 % |
508.53/508.80 c | 890158 | 700 14000 70000 | 71042 71200 106 | 0.000 % |
508.63/508.98 c | 890391 | 700 14000 70000 | 71042 60647 106 | 0.000 % |
508.83/509.13 c | 890647 | 700 14000 70000 | 71042 60903 106 | 0.000 % |
509.03/509.31 c | 890929 | 700 14000 70000 | 71042 61185 106 | 0.000 % |
509.23/509.51 c | 891238 | 700 14000 70000 | 71042 61494 106 | 0.000 % |
509.43/509.72 c | 891577 | 700 14000 70000 | 71042 61833 106 | 0.000 % |
509.63/509.97 c | 891949 | 700 14000 70000 | 71042 62205 106 | 0.000 % |
509.93/510.23 c | 892358 | 700 14000 70000 | 71042 62614 106 | 0.000 % |
510.13/510.48 c | 892807 | 700 14000 70000 | 71042 63063 106 | 0.000 % |
510.43/510.76 c | 893300 | 700 14000 70000 | 71042 63556 106 | 0.000 % |
510.73/511.09 c | 893842 | 700 14000 70000 | 71042 64098 106 | 0.000 % |
511.13/511.41 c | 894441 | 700 14000 70000 | 71042 64697 105 | 0.000 % |
511.43/511.77 c | 895096 | 700 14000 70000 | 71042 65352 105 | 0.000 % |
511.93/512.24 c | 895816 | 700 14000 70000 | 71042 66072 105 | 0.000 % |
512.43/512.72 c | 896609 | 700 14000 70000 | 71042 66865 105 | 0.000 % |
512.93/513.29 c | 897480 | 700 14000 70000 | 71042 67736 105 | 0.000 % |
513.52/513.85 c | 898438 | 700 14000 70000 | 71042 68694 105 | 0.000 % |
514.12/514.49 c | 899492 | 700 14000 70000 | 71042 69748 105 | 0.000 % |
514.92/515.22 c | 900652 | 700 14000 70000 | 70257 61217 105 | 0.000 % |
515.63/515.94 c | 901927 | 700 14000 70000 | 70257 62492 105 | 0.000 % |
516.42/516.73 c | 903327 | 700 14000 70000 | 70257 63892 105 | 0.000 % |
517.32/517.69 c | 904868 | 700 14000 70000 | 70257 65433 105 | 0.000 % |
518.22/518.59 c | 906563 | 700 14000 70000 | 70257 67128 105 | 0.000 % |
519.52/519.83 c | 908426 | 700 14000 70000 | 70257 68991 105 | 0.000 % |
520.82/521.18 c | 910475 | 700 14000 70000 | 60898 53180 104 | 0.000 % |
522.02/522.37 c | 912728 | 700 14000 70000 | 60898 55433 104 | 0.000 % |
523.42/523.72 c | 915208 | 700 14000 70000 | 60898 57913 104 | 0.000 % |
524.82/525.17 c | 917933 | 700 14000 70000 | 60898 60638 104 | 0.000 % |
526.42/526.78 c | 920933 | 700 14000 70000 | 2147483647 57523 105 | 0.000 % |
528.32/528.63 c | 924230 | 700 14000 70000 | 2147483647 60820 105 | 0.000 % |
530.52/530.84 c | 927857 | 700 14000 70000 | 2147483647 64447 105 | 0.000 % |
532.82/533.16 c | 931846 | 700 14000 70000 | 2147483647 68436 105 | 0.000 % |
535.72/536.03 c | 936231 | 700 14000 70000 | 2147483647 72821 105 | 0.000 % |
539.03/539.34 c | 941054 | 700 14000 70000 | 76591 66066 105 | 0.000 % |
542.33/542.61 c | 946360 | 700 14000 70000 | 76591 71372 106 | 0.000 % |
545.82/546.13 c | 952197 | 700 14000 70000 | 75012 65102 106 | 0.000 % |
549.63/550.00 c | 958616 | 700 14000 70000 | 75012 71521 106 | 0.000 % |
553.92/554.24 c | 965675 | 700 14000 70000 | 72905 68051 107 | 0.000 % |
558.92/559.26 c | 973439 | 700 14000 70000 | 72378 65720 108 | 0.000 % |
564.52/564.84 c | 981982 | 700 14000 70000 | 72281 63386 108 | 0.000 % |
564.62/564.90 c | 982082 | 700 14000 70000 | 72281 63486 108 | 0.000 % |
564.62/564.98 c | 982192 | 700 14000 70000 | 72281 63596 108 | 0.000 % |
564.72/565.06 c | 982316 | 700 14000 70000 | 72281 63720 108 | 0.000 % |
564.82/565.14 c | 982450 | 700 14000 70000 | 72281 63854 108 | 0.000 % |
564.92/565.24 c | 982596 | 700 14000 70000 | 72281 64000 108 | 0.000 % |
565.02/565.35 c | 982757 | 700 14000 70000 | 72281 64161 108 | 0.000 % |
565.12/565.45 c | 982933 | 700 14000 70000 | 72281 64337 108 | 0.000 % |
565.22/565.57 c | 983126 | 700 14000 70000 | 72281 64530 108 | 0.000 % |
565.42/565.71 c | 983338 | 700 14000 70000 | 72281 64742 108 | 0.000 % |
565.52/565.87 c | 983572 | 700 14000 70000 | 72281 64976 107 | 0.000 % |
565.72/566.03 c | 983828 | 700 14000 70000 | 72281 65232 107 | 0.000 % |
565.91/566.21 c | 984110 | 700 14000 70000 | 72281 65514 107 | 0.000 % |
566.12/566.42 c | 984420 | 700 14000 70000 | 72281 65824 107 | 0.000 % |
566.31/566.64 c | 984759 | 700 14000 70000 | 72281 66163 107 | 0.000 % |
566.51/566.86 c | 985133 | 700 14000 70000 | 72281 66537 107 | 0.000 % |
566.81/567.10 c | 985543 | 700 14000 70000 | 72281 66947 107 | 0.000 % |
567.12/567.43 c | 985994 | 700 14000 70000 | 72281 67398 107 | 0.000 % |
567.42/567.72 c | 986488 | 700 14000 70000 | 72281 67892 107 | 0.000 % |
567.72/568.07 c | 987031 | 700 14000 70000 | 72281 68435 107 | 0.000 % |
568.11/568.46 c | 987627 | 700 14000 70000 | 72281 69031 107 | 0.000 % |
568.51/568.89 c | 988282 | 700 14000 70000 | 72281 69686 107 | 0.000 % |
569.01/569.34 c | 989004 | 700 14000 70000 | 72281 70408 107 | 0.000 % |
569.52/569.89 c | 989797 | 700 14000 70000 | 72281 71201 107 | 0.000 % |
570.21/570.50 c | 990668 | 700 14000 70000 | 71405 61015 106 | 0.000 % |
570.71/571.07 c | 991627 | 700 14000 70000 | 71405 61974 106 | 0.000 % |
571.41/571.76 c | 992682 | 700 14000 70000 | 71405 63029 106 | 0.000 % |
572.11/572.43 c | 993841 | 700 14000 70000 | 71405 64188 106 | 0.000 % |
572.91/573.21 c | 995116 | 700 14000 70000 | 71405 65463 106 | 0.000 % |
573.71/574.10 c | 996516 | 700 14000 70000 | 71405 66863 106 | 0.000 % |
574.71/575.08 c | 998058 | 700 14000 70000 | 71405 68405 106 | 0.000 % |
575.71/576.07 c | 999752 | 700 14000 70000 | 71405 70099 106 | 0.000 % |
576.81/577.16 c | 1001615 | 700 14000 70000 | 70350 62302 106 | 0.000 % |
577.91/578.25 c | 1003664 | 700 14000 70000 | 70350 64351 106 | 0.000 % |
579.21/579.50 c | 1005918 | 700 14000 70000 | 70350 66605 106 | 0.000 % |
580.71/581.02 c | 1008396 | 700 14000 70000 | 70350 69083 106 | 0.000 % |
582.31/582.64 c | 1011122 | 700 14000 70000 | 62050 55730 105 | 0.000 % |
583.81/584.18 c | 1014120 | 700 14000 70000 | 62050 58728 105 | 0.000 % |
585.51/585.85 c | 1017417 | 700 14000 70000 | 62050 62025 105 | 0.000 % |
587.51/587.80 c | 1021044 | 700 14000 70000 | 2147483647 59423 104 | 0.000 % |
589.61/589.91 c | 1025032 | 700 14000 70000 | 2147483647 63411 105 | 0.000 % |
592.21/592.50 c | 1029418 | 700 14000 70000 | 2147483647 67797 105 | 0.000 % |
595.10/595.43 c | 1034241 | 700 14000 70000 | 68381 64204 104 | 0.000 % |
598.40/598.74 c | 1039547 | 700 14000 70000 | 68381 61206 104 | 0.000 % |
601.41/601.73 c | 1045384 | 700 14000 70000 | 61660 59604 105 | 0.000 % |
604.90/605.21 c | 1051802 | 700 14000 70000 | 2147483647 59833 105 | 0.000 % |
609.40/609.77 c | 1058864 | 700 14000 70000 | 2147483647 66895 106 | 0.000 % |
614.20/614.53 c | 1066628 | 700 14000 70000 | 68033 66454 106 | 0.000 % |
619.20/619.52 c | 1075169 | 700 14000 70000 | 60781 57913 106 | 0.000 % |
624.70/625.03 c | 1084563 | 700 14000 70000 | 56105 54792 106 | 0.000 % |
624.70/625.09 c | 1084665 | 700 14000 70000 | 56105 54894 106 | 0.000 % |
624.80/625.15 c | 1084776 | 700 14000 70000 | 56105 55005 106 | 0.000 % |
624.90/625.21 c | 1084898 | 700 14000 70000 | 56105 55127 106 | 0.000 % |
624.90/625.28 c | 1085031 | 700 14000 70000 | 56105 55260 106 | 0.000 % |
625.00/625.37 c | 1085178 | 700 14000 70000 | 56105 55407 106 | 0.000 % |
625.10/625.44 c | 1085339 | 700 14000 70000 | 56105 55568 106 | 0.000 % |
625.20/625.53 c | 1085516 | 700 14000 70000 | 56105 55745 106 | 0.000 % |
625.30/625.65 c | 1085710 | 700 14000 70000 | 56105 55939 106 | 0.000 % |
625.40/625.77 c | 1085922 | 700 14000 70000 | 56105 56151 106 | 0.000 % |
625.60/625.92 c | 1086157 | 700 14000 70000 | 56105 50771 106 | 0.000 % |
625.69/626.03 c | 1086413 | 700 14000 70000 | 56105 51027 106 | 0.000 % |
625.79/626.17 c | 1086695 | 700 14000 70000 | 56105 51309 106 | 0.000 % |
625.99/626.32 c | 1087005 | 700 14000 70000 | 56105 51619 106 | 0.000 % |
626.09/626.49 c | 1087344 | 700 14000 70000 | 56105 51958 106 | 0.000 % |
626.29/626.68 c | 1087716 | 700 14000 70000 | 56105 52330 106 | 0.000 % |
626.49/626.88 c | 1088125 | 700 14000 70000 | 56105 52739 106 | 0.000 % |
626.70/627.09 c | 1088574 | 700 14000 70000 | 56105 53188 106 | 0.000 % |
626.99/627.36 c | 1089068 | 700 14000 70000 | 56105 53682 106 | 0.000 % |
627.29/627.66 c | 1089611 | 700 14000 70000 | 56105 54225 106 | 0.000 % |
627.59/627.94 c | 1090207 | 700 14000 70000 | 2147483647 54821 106 | 0.000 % |
627.89/628.27 c | 1090863 | 700 14000 70000 | 2147483647 55477 106 | 0.000 % |
628.29/628.63 c | 1091587 | 700 14000 70000 | 2147483647 56201 106 | 0.000 % |
628.69/629.05 c | 1092379 | 700 14000 70000 | 2147483647 56993 106 | 0.000 % |
629.19/629.54 c | 1093251 | 700 14000 70000 | 2147483647 57865 105 | 0.000 % |
629.69/630.03 c | 1094210 | 700 14000 70000 | 2147483647 58824 105 | 0.000 % |
630.29/630.63 c | 1095263 | 700 14000 70000 | 2147483647 59877 105 | 0.000 % |
630.89/631.25 c | 1096423 | 700 14000 70000 | 2147483647 61037 105 | 0.000 % |
631.59/631.91 c | 1097698 | 700 14000 70000 | 2147483647 62312 105 | 0.000 % |
632.39/632.74 c | 1099099 | 700 14000 70000 | 2147483647 63713 105 | 0.000 % |
633.39/633.72 c | 1100639 | 700 14000 70000 | 2147483647 65253 105 | 0.000 % |
634.49/634.81 c | 1102333 | 700 14000 70000 | 2147483647 66947 105 | 0.000 % |
635.59/636.00 c | 1104196 | 700 14000 70000 | 2147483647 68810 105 | 0.000 % |
637.09/637.42 c | 1106245 | 700 14000 70000 | 2147483647 70859 105 | 0.000 % |
638.49/638.80 c | 1108498 | 700 14000 70000 | 2147483647 73112 105 | 0.000 % |
639.99/640.39 c | 1110976 | 700 14000 70000 | 74614 64849 105 | 0.000 % |
641.69/642.03 c | 1113701 | 700 14000 70000 | 74614 67574 106 | 0.000 % |
643.59/643.99 c | 1116698 | 700 14000 70000 | 74614 70571 106 | 0.000 % |
645.79/646.18 c | 1119994 | 700 14000 70000 | 74614 73867 106 | 0.000 % |
648.09/648.44 c | 1123620 | 700 14000 70000 | 73874 66556 105 | 0.000 % |
650.89/651.27 c | 1127608 | 700 14000 70000 | 73874 70544 105 | 0.000 % |
653.49/653.90 c | 1131995 | 700 14000 70000 | 72936 64312 105 | 0.000 % |
656.29/656.66 c | 1136819 | 700 14000 70000 | 72936 69136 105 | 0.000 % |
659.60/659.99 c | 1142124 | 700 14000 70000 | 72317 64812 105 | 0.000 % |
663.59/663.91 c | 1147962 | 700 14000 70000 | 72317 70650 105 | 0.000 % |
667.59/667.96 c | 1154380 | 700 14000 70000 | 62807 58777 106 | 0.000 % |
672.39/672.72 c | 1161439 | 700 14000 70000 | 57341 52326 107 | 0.000 % |
676.99/677.30 c | 1169204 | 700 14000 70000 | 57341 54333 107 | 0.000 % |
682.49/682.82 c | 1177744 | 700 14000 70000 | 2147483647 62873 107 | 0.000 % |
688.69/689.03 c | 1187141 | 700 14000 70000 | 65129 65204 108 | 0.000 % |
694.89/695.28 c | 1197477 | 700 14000 70000 | 60455 55027 109 | 0.000 % |
694.98/695.34 c | 1197579 | 700 14000 70000 | 60455 55129 108 | 0.000 % |
695.08/695.40 c | 1197689 | 700 14000 70000 | 60455 55239 108 | 0.000 % |
695.08/695.48 c | 1197812 | 700 14000 70000 | 60455 55362 108 | 0.000 % |
695.18/695.55 c | 1197945 | 700 14000 70000 | 60455 55495 108 | 0.000 % |
695.28/695.63 c | 1198094 | 700 14000 70000 | 60455 55644 108 | 0.000 % |
695.38/695.72 c | 1198254 | 700 14000 70000 | 60455 55804 108 | 0.000 % |
695.48/695.82 c | 1198431 | 700 14000 70000 | 60455 55981 108 | 0.000 % |
695.58/695.93 c | 1198629 | 700 14000 70000 | 60455 56179 108 | 0.000 % |
695.68/696.06 c | 1198841 | 700 14000 70000 | 60455 56391 108 | 0.000 % |
695.78/696.18 c | 1199074 | 700 14000 70000 | 60455 56624 108 | 0.000 % |
695.99/696.34 c | 1199330 | 700 14000 70000 | 60455 56880 108 | 0.000 % |
696.08/696.50 c | 1199613 | 700 14000 70000 | 60455 57163 108 | 0.000 % |
696.28/696.68 c | 1199924 | 700 14000 70000 | 60455 57474 108 | 0.000 % |
696.48/696.88 c | 1200263 | 700 14000 70000 | 2147483647 57813 108 | 0.000 % |
696.68/697.08 c | 1200635 | 700 14000 70000 | 2147483647 58185 108 | 0.000 % |
696.99/697.32 c | 1201044 | 700 14000 70000 | 2147483647 58594 108 | 0.000 % |
697.18/697.56 c | 1201493 | 700 14000 70000 | 2147483647 59043 108 | 0.000 % |
697.48/697.86 c | 1201986 | 700 14000 70000 | 2147483647 59536 108 | 0.000 % |
697.78/698.17 c | 1202528 | 700 14000 70000 | 2147483647 60078 108 | 0.000 % |
698.19/698.53 c | 1203126 | 700 14000 70000 | 2147483647 60676 108 | 0.000 % |
698.48/698.89 c | 1203782 | 700 14000 70000 | 2147483647 61332 108 | 0.000 % |
698.98/699.32 c | 1204504 | 700 14000 70000 | 2147483647 62054 108 | 0.000 % |
699.38/699.76 c | 1205296 | 700 14000 70000 | 2147483647 62846 108 | 0.000 % |
699.88/700.20 c | 1206167 | 700 14000 70000 | 2147483647 63717 108 | 0.000 % |
700.39/700.71 c | 1207125 | 700 14000 70000 | 2147483647 64675 108 | 0.000 % |
700.88/701.28 c | 1208179 | 700 14000 70000 | 2147483647 65729 108 | 0.000 % |
701.58/701.92 c | 1209338 | 700 14000 70000 | 2147483647 66888 107 | 0.000 % |
702.28/702.69 c | 1210611 | 700 14000 70000 | 67551 60818 107 | 0.000 % |
703.08/703.44 c | 1212012 | 700 14000 70000 | 67551 62219 107 | 0.000 % |
703.98/704.34 c | 1213554 | 700 14000 70000 | 67551 63761 107 | 0.000 % |
704.88/705.27 c | 1215248 | 700 14000 70000 | 67551 65455 107 | 0.000 % |
705.98/706.30 c | 1217112 | 700 14000 70000 | 67551 67319 107 | 0.000 % |
707.08/707.44 c | 1219162 | 700 14000 70000 | 67551 61737 107 | 0.000 % |
708.38/708.76 c | 1221416 | 700 14000 70000 | 62575 57017 107 | 0.000 % |
709.68/710.06 c | 1223895 | 700 14000 70000 | 62575 59496 107 | 0.000 % |
711.18/711.54 c | 1226620 | 700 14000 70000 | 62575 62221 107 | 0.000 % |
712.78/713.11 c | 1229618 | 700 14000 70000 | 62575 58938 106 | 0.000 % |
714.58/714.96 c | 1232914 | 700 14000 70000 | 2147483647 62234 106 | 0.000 % |
716.68/717.02 c | 1236540 | 700 14000 70000 | 2147483647 65860 106 | 0.000 % |
718.88/719.23 c | 1240527 | 700 14000 70000 | 69322 61663 106 | 0.000 % |
721.18/721.60 c | 1244912 | 700 14000 70000 | 69322 66048 106 | 0.000 % |
724.07/724.40 c | 1249735 | 700 14000 70000 | 69322 62337 105 | 0.000 % |
726.97/727.35 c | 1255040 | 700 14000 70000 | 62604 59995 105 | 0.000 % |
730.17/730.54 c | 1260875 | 700 14000 70000 | 2147483647 59410 105 | 0.000 % |
733.87/734.26 c | 1267295 | 700 14000 70000 | 2147483647 65830 106 | 0.000 % |
738.17/738.51 c | 1274355 | 700 14000 70000 | 68535 64551 106 | 0.000 % |
742.67/743.06 c | 1282119 | 700 14000 70000 | 61624 56126 106 | 0.000 % |
747.57/747.97 c | 1290665 | 700 14000 70000 | 57620 52304 107 | 0.000 % |
752.56/752.99 c | 1300061 | 700 14000 70000 | 2147483647 55914 107 | 0.000 % |
758.46/758.84 c | 1310394 | 700 14000 70000 | 65853 58344 108 | 0.000 % |
765.06/765.40 c | 1321761 | 700 14000 70000 | 59824 54335 107 | 0.000 % |
765.06/765.45 c | 1321862 | 700 14000 70000 | 59824 54436 107 | 0.000 % |
765.16/765.51 c | 1321972 | 700 14000 70000 | 59824 54546 107 | 0.000 % |
765.16/765.57 c | 1322093 | 700 14000 70000 | 59824 54667 107 | 0.000 % |
765.26/765.65 c | 1322226 | 700 14000 70000 | 59824 54800 107 | 0.000 % |
765.36/765.74 c | 1322372 | 700 14000 70000 | 59824 54946 107 | 0.000 % |
765.46/765.83 c | 1322532 | 700 14000 70000 | 59824 55106 107 | 0.000 % |
765.56/765.93 c | 1322709 | 700 14000 70000 | 59824 55283 107 | 0.000 % |
765.66/766.04 c | 1322902 | 700 14000 70000 | 59824 55476 107 | 0.000 % |
765.76/766.16 c | 1323114 | 700 14000 70000 | 59824 55688 107 | 0.000 % |
765.86/766.28 c | 1323348 | 700 14000 70000 | 59824 55922 107 | 0.000 % |
766.06/766.42 c | 1323605 | 700 14000 70000 | 59824 56179 107 | 0.000 % |
766.16/766.57 c | 1323888 | 700 14000 70000 | 59824 56462 107 | 0.000 % |
766.36/766.73 c | 1324197 | 700 14000 70000 | 59824 56771 107 | 0.000 % |
766.56/766.92 c | 1324538 | 700 14000 70000 | 59824 57112 107 | 0.000 % |
766.76/767.17 c | 1324910 | 700 14000 70000 | 59824 57484 107 | 0.000 % |
766.96/767.38 c | 1325319 | 700 14000 70000 | 59824 57893 107 | 0.000 % |
767.27/767.62 c | 1325768 | 700 14000 70000 | 59824 58342 107 | 0.000 % |
767.47/767.89 c | 1326263 | 700 14000 70000 | 59824 58837 107 | 0.000 % |
767.77/768.16 c | 1326806 | 700 14000 70000 | 59824 59380 107 | 0.000 % |
768.07/768.45 c | 1327402 | 700 14000 70000 | 59824 59976 107 | 0.000 % |
768.47/768.85 c | 1328058 | 700 14000 70000 | 59824 54635 107 | 0.000 % |
768.87/769.25 c | 1328778 | 700 14000 70000 | 59824 55355 107 | 0.000 % |
769.27/769.66 c | 1329572 | 700 14000 70000 | 59824 56149 107 | 0.000 % |
769.77/770.14 c | 1330443 | 700 14000 70000 | 2147483647 57020 107 | 0.000 % |
770.27/770.66 c | 1331401 | 700 14000 70000 | 2147483647 57978 106 | 0.000 % |
770.87/771.22 c | 1332455 | 700 14000 70000 | 2147483647 59032 106 | 0.000 % |
771.57/771.90 c | 1333613 | 700 14000 70000 | 2147483647 60190 106 | 0.000 % |
772.17/772.59 c | 1334886 | 700 14000 70000 | 2147483647 61463 106 | 0.000 % |
772.97/773.34 c | 1336287 | 700 14000 70000 | 2147483647 62864 106 | 0.000 % |
773.87/774.21 c | 1337828 | 700 14000 70000 | 2147483647 64405 106 | 0.000 % |
774.77/775.17 c | 1339523 | 700 14000 70000 | 2147483647 66100 106 | 0.000 % |
775.97/776.35 c | 1341386 | 700 14000 70000 | 2147483647 67963 106 | 0.000 % |
777.27/777.62 c | 1343435 | 700 14000 70000 | 2147483647 70012 106 | 0.000 % |
778.56/778.95 c | 1345690 | 700 14000 70000 | 2147483647 72267 106 | 0.000 % |
780.26/780.65 c | 1348168 | 700 14000 70000 | 2147483647 74745 106 | 0.000 % |
782.16/782.52 c | 1350893 | 700 14000 70000 | 76578 66340 105 | 0.000 % |
783.96/784.34 c | 1353891 | 700 14000 70000 | 76578 69338 105 | 0.000 % |
785.96/786.39 c | 1357189 | 700 14000 70000 | 76578 72636 105 | 0.000 % |
788.16/788.58 c | 1360814 | 700 14000 70000 | 75448 65970 105 | 0.000 % |
790.66/791.04 c | 1364802 | 700 14000 70000 | 75448 69958 105 | 0.000 % |
793.46/793.84 c | 1369187 | 700 14000 70000 | 75448 74343 105 | 0.000 % |
796.55/796.92 c | 1374011 | 700 14000 70000 | 75157 68450 104 | 0.000 % |
799.75/800.15 c | 1379317 | 700 14000 70000 | 75157 73756 105 | 0.000 % |
803.05/803.41 c | 1385152 | 700 14000 70000 | 74439 68288 105 | 0.000 % |
806.85/807.30 c | 1391572 | 700 14000 70000 | 73137 64225 106 | 0.000 % |
810.95/811.33 c | 1398634 | 700 14000 70000 | 73137 71287 106 | 0.000 % |
815.55/815.97 c | 1406398 | 700 14000 70000 | 72653 68572 107 | 0.000 % |
820.55/820.91 c | 1414940 | 700 14000 70000 | 72176 66585 108 | 0.000 % |
826.54/826.90 c | 1424335 | 700 14000 70000 | 71648 65884 109 | 0.000 % |
833.24/833.61 c | 1434668 | 700 14000 70000 | 71550 66503 109 | 0.000 % |
840.64/841.09 c | 1446034 | 700 14000 70000 | 61400 58541 109 | 0.000 % |
846.24/846.69 c | 1458538 | 700 14000 70000 | 55326 52085 108 | 0.000 % |
846.34/846.76 c | 1458641 | 700 14000 70000 | 55326 52188 108 | 0.000 % |
846.44/846.81 c | 1458751 | 700 14000 70000 | 55326 52298 108 | 0.000 % |
846.44/846.88 c | 1458872 | 700 14000 70000 | 55326 52419 108 | 0.000 % |
846.54/846.94 c | 1459006 | 700 14000 70000 | 55326 52553 108 | 0.000 % |
846.64/847.03 c | 1459152 | 700 14000 70000 | 55326 52699 108 | 0.000 % |
846.74/847.10 c | 1459312 | 700 14000 70000 | 55326 52859 108 | 0.000 % |
846.74/847.19 c | 1459489 | 700 14000 70000 | 55326 53036 108 | 0.000 % |
846.94/847.30 c | 1459683 | 700 14000 70000 | 55326 53230 108 | 0.000 % |
847.04/847.43 c | 1459895 | 700 14000 70000 | 55326 53442 108 | 0.000 % |
847.14/847.55 c | 1460128 | 700 14000 70000 | 2147483647 53675 108 | 0.000 % |
847.24/847.68 c | 1460390 | 700 14000 70000 | 2147483647 53937 108 | 0.000 % |
847.44/847.85 c | 1460672 | 700 14000 70000 | 2147483647 54219 108 | 0.000 % |
847.64/848.00 c | 1460981 | 700 14000 70000 | 2147483647 54528 108 | 0.000 % |
847.74/848.19 c | 1461322 | 700 14000 70000 | 2147483647 54869 108 | 0.000 % |
847.93/848.37 c | 1461695 | 700 14000 70000 | 2147483647 55242 108 | 0.000 % |
848.13/848.59 c | 1462105 | 700 14000 70000 | 2147483647 55652 108 | 0.000 % |
848.43/848.81 c | 1462554 | 700 14000 70000 | 2147483647 56101 108 | 0.000 % |
848.74/849.11 c | 1463049 | 700 14000 70000 | 2147483647 56596 108 | 0.000 % |
849.03/849.40 c | 1463591 | 700 14000 70000 | 2147483647 57138 108 | 0.000 % |
849.33/849.75 c | 1464188 | 700 14000 70000 | 2147483647 57735 108 | 0.000 % |
849.73/850.11 c | 1464843 | 700 14000 70000 | 2147483647 58390 107 | 0.000 % |
850.13/850.53 c | 1465563 | 700 14000 70000 | 2147483647 59110 107 | 0.000 % |
850.53/850.97 c | 1466355 | 700 14000 70000 | 2147483647 59902 107 | 0.000 % |
851.04/851.45 c | 1467226 | 700 14000 70000 | 2147483647 60773 107 | 0.000 % |
851.53/851.98 c | 1468184 | 700 14000 70000 | 2147483647 61731 107 | 0.000 % |
852.13/852.51 c | 1469237 | 700 14000 70000 | 2147483647 62784 107 | 0.000 % |
852.63/853.09 c | 1470395 | 700 14000 70000 | 2147483647 63942 107 | 0.000 % |
853.33/853.79 c | 1471668 | 700 14000 70000 | 2147483647 65215 107 | 0.000 % |
854.23/854.62 c | 1473068 | 700 14000 70000 | 2147483647 66615 107 | 0.000 % |
855.23/855.60 c | 1474609 | 700 14000 70000 | 2147483647 68156 107 | 0.000 % |
856.23/856.67 c | 1476305 | 700 14000 70000 | 2147483647 69852 107 | 0.000 % |
857.43/857.83 c | 1478168 | 700 14000 70000 | 2147483647 71715 107 | 0.000 % |
858.63/859.08 c | 1480217 | 700 14000 70000 | 73549 73764 107 | 0.000 % |
860.03/860.43 c | 1482470 | 700 14000 70000 | 73549 66396 106 | 0.000 % |
861.43/861.88 c | 1484948 | 700 14000 70000 | 73549 68874 106 | 0.000 % |
863.22/863.64 c | 1487673 | 700 14000 70000 | 73549 71599 106 | 0.000 % |
865.13/865.50 c | 1490671 | 700 14000 70000 | 63797 55822 105 | 0.000 % |
866.73/867.12 c | 1493969 | 700 14000 70000 | 63797 59120 105 | 0.000 % |
868.73/869.13 c | 1497594 | 700 14000 70000 | 63797 62745 105 | 0.000 % |
870.93/871.39 c | 1501582 | 700 14000 70000 | 2147483647 60330 104 | 0.000 % |
873.43/873.83 c | 1505970 | 700 14000 70000 | 2147483647 64718 105 | 0.000 % |
876.43/876.81 c | 1510793 | 700 14000 70000 | 68748 61120 105 | 0.000 % |
879.53/879.97 c | 1516098 | 700 14000 70000 | 68748 66425 105 | 0.000 % |
882.93/883.31 c | 1521933 | 700 14000 70000 | 61720 55927 105 | 0.000 % |
886.42/886.85 c | 1528351 | 700 14000 70000 | 61720 55951 105 | 0.000 % |
890.22/890.60 c | 1535416 | 700 14000 70000 | 2147483647 63016 106 | 0.000 % |
895.12/895.54 c | 1543181 | 700 14000 70000 | 67601 62841 106 | 0.000 % |
900.42/900.82 c | 1551723 | 700 14000 70000 | 61066 55206 107 | 0.000 % |
905.62/906.05 c | 1561117 | 700 14000 70000 | 2147483647 58468 107 | 0.000 % |
912.22/912.67 c | 1571451 | 700 14000 70000 | 67353 61130 108 | 0.000 % |
920.01/920.45 c | 1582817 | 700 14000 70000 | 61108 56073 109 | 0.000 % |
927.91/928.31 c | 1595319 | 700 14000 70000 | 56265 55185 109 | 0.000 % |
937.71/938.11 c | 1609071 | 700 14000 70000 | 2147483647 62999 111 | 0.000 % |
937.71/938.18 c | 1609175 | 700 14000 70000 | 2147483647 63103 111 | 0.000 % |
937.81/938.24 c | 1609285 | 700 14000 70000 | 2147483647 63213 111 | 0.000 % |
937.91/938.32 c | 1609408 | 700 14000 70000 | 2147483647 63336 111 | 0.000 % |
938.01/938.40 c | 1609542 | 700 14000 70000 | 2147483647 63470 111 | 0.000 % |
938.01/938.49 c | 1609689 | 700 14000 70000 | 2147483647 63617 111 | 0.000 % |
938.11/938.58 c | 1609849 | 700 14000 70000 | 2147483647 63777 111 | 0.000 % |
938.21/938.67 c | 1610026 | 700 14000 70000 | 63929 63954 111 | 0.000 % |
938.41/938.84 c | 1610220 | 700 14000 70000 | 63929 56400 112 | 0.000 % |
938.51/938.95 c | 1610432 | 700 14000 70000 | 63929 56612 112 | 0.000 % |
938.61/939.06 c | 1610665 | 700 14000 70000 | 63929 56845 112 | 0.000 % |
938.71/939.18 c | 1610921 | 700 14000 70000 | 63929 57101 112 | 0.000 % |
938.91/939.34 c | 1611205 | 700 14000 70000 | 63929 57385 111 | 0.000 % |
939.11/939.50 c | 1611514 | 700 14000 70000 | 63929 57694 111 | 0.000 % |
939.31/939.70 c | 1611853 | 700 14000 70000 | 63929 58033 111 | 0.000 % |
939.51/939.91 c | 1612225 | 700 14000 70000 | 63929 58405 111 | 0.000 % |
939.71/940.14 c | 1612634 | 700 14000 70000 | 63929 58814 111 | 0.000 % |
939.91/940.38 c | 1613084 | 700 14000 70000 | 63929 59264 111 | 0.000 % |
940.21/940.66 c | 1613578 | 700 14000 70000 | 63929 59758 111 | 0.000 % |
940.51/940.98 c | 1614123 | 700 14000 70000 | 63929 60303 111 | 0.000 % |
940.90/941.31 c | 1614719 | 700 14000 70000 | 63929 60899 111 | 0.000 % |
941.21/941.66 c | 1615376 | 700 14000 70000 | 63929 61556 111 | 0.000 % |
941.60/942.06 c | 1616096 | 700 14000 70000 | 63929 62276 111 | 0.000 % |
942.10/942.53 c | 1616888 | 700 14000 70000 | 63929 63068 111 | 0.000 % |
942.50/942.99 c | 1617759 | 700 14000 70000 | 63929 63939 110 | 0.000 % |
943.10/943.52 c | 1618718 | 700 14000 70000 | 63929 57736 110 | 0.000 % |
943.60/944.04 c | 1619771 | 700 14000 70000 | 63929 58789 110 | 0.000 % |
944.20/944.66 c | 1620929 | 700 14000 70000 | 59019 53879 110 | 0.000 % |
944.90/945.31 c | 1622202 | 700 14000 70000 | 59019 55152 110 | 0.000 % |
945.50/945.99 c | 1623602 | 700 14000 70000 | 59019 56552 110 | 0.000 % |
946.40/946.82 c | 1625143 | 700 14000 70000 | 59019 58093 110 | 0.000 % |
947.20/947.66 c | 1626838 | 700 14000 70000 | 59019 53862 110 | 0.000 % |
948.10/948.54 c | 1628701 | 700 14000 70000 | 59019 55725 109 | 0.000 % |
949.10/949.55 c | 1630753 | 700 14000 70000 | 2147483647 57777 109 | 0.000 % |
950.30/950.78 c | 1633007 | 700 14000 70000 | 2147483647 60031 109 | 0.000 % |
951.70/952.12 c | 1635485 | 700 14000 70000 | 2147483647 62509 109 | 0.000 % |
953.10/953.50 c | 1638210 | 700 14000 70000 | 2147483647 65234 109 | 0.000 % |
954.70/955.18 c | 1641208 | 700 14000 70000 | 2147483647 68232 109 | 0.000 % |
956.50/956.96 c | 1644505 | 700 14000 70000 | 2147483647 71529 109 | 0.000 % |
958.70/959.11 c | 1648130 | 700 14000 70000 | 2147483647 75154 109 | 0.000 % |
961.20/961.61 c | 1652117 | 700 14000 70000 | 77025 67985 108 | 0.000 % |
963.70/964.17 c | 1656502 | 700 14000 70000 | 77025 72370 107 | 0.000 % |
967.00/967.46 c | 1661325 | 700 14000 70000 | 75868 65398 107 | 0.000 % |
970.20/970.67 c | 1666631 | 700 14000 70000 | 75868 70704 107 | 0.000 % |
973.90/974.33 c | 1672469 | 700 14000 70000 | 74074 65548 105 | 0.000 % |
977.80/978.21 c | 1678888 | 700 14000 70000 | 74074 71967 105 | 0.000 % |
982.39/982.87 c | 1685947 | 700 14000 70000 | 73079 68539 106 | 0.000 % |
987.79/988.28 c | 1693712 | 700 14000 70000 | 72592 65270 106 | 0.000 % |
993.49/993.94 c | 1702254 | 700 14000 70000 | 71559 62249 106 | 0.000 % |
999.89/1000.31 c | 1711648 | 700 14000 70000 | 69996 61433 106 | 0.000 % |
1006.59/1007.08 c | 1721982 | 700 14000 70000 | 69785 61467 106 | 0.000 % |
1013.69/1014.17 c | 1733348 | 700 14000 70000 | 69488 63432 107 | 0.000 % |
1021.68/1022.15 c | 1745850 | 700 14000 70000 | 60701 58537 109 | 0.000 % |
1030.88/1031.32 c | 1759603 | 700 14000 70000 | 55833 53769 110 | 0.000 % |
1040.67/1041.16 c | 1774730 | 700 14000 70000 | 64167 61502 110 | 0.000 % |
1040.77/1041.23 c | 1774830 | 700 14000 70000 | 64167 61602 110 | 0.000 % |
1040.77/1041.30 c | 1774942 | 700 14000 70000 | 64167 61714 110 | 0.000 % |
1040.87/1041.37 c | 1775063 | 700 14000 70000 | 64167 61835 110 | 0.000 % |
1040.97/1041.46 c | 1775198 | 700 14000 70000 | 64167 61970 110 | 0.000 % |
1041.07/1041.55 c | 1775344 | 700 14000 70000 | 64167 62116 110 | 0.000 % |
1041.18/1041.64 c | 1775505 | 700 14000 70000 | 64167 62277 110 | 0.000 % |
1041.28/1041.76 c | 1775683 | 700 14000 70000 | 64167 62455 110 | 0.000 % |
1041.37/1041.86 c | 1775876 | 700 14000 70000 | 64167 62648 110 | 0.000 % |
1041.47/1041.99 c | 1776092 | 700 14000 70000 | 64167 62864 110 | 0.000 % |
1041.67/1042.15 c | 1776325 | 700 14000 70000 | 64167 63097 110 | 0.000 % |
1041.87/1042.31 c | 1776582 | 700 14000 70000 | 64167 63354 110 | 0.000 % |
1041.97/1042.49 c | 1776864 | 700 14000 70000 | 64167 63636 110 | 0.000 % |
1042.17/1042.67 c | 1777174 | 700 14000 70000 | 64167 63946 110 | 0.000 % |
1042.38/1042.87 c | 1777513 | 700 14000 70000 | 64167 64285 110 | 0.000 % |
1042.67/1043.11 c | 1777885 | 700 14000 70000 | 64167 56426 110 | 0.000 % |
1042.87/1043.34 c | 1778294 | 700 14000 70000 | 64167 56835 110 | 0.000 % |
1043.07/1043.58 c | 1778743 | 700 14000 70000 | 64167 57284 110 | 0.000 % |
1043.38/1043.84 c | 1779236 | 700 14000 70000 | 64167 57777 110 | 0.000 % |
1043.67/1044.16 c | 1779780 | 700 14000 70000 | 64167 58321 110 | 0.000 % |
1043.97/1044.47 c | 1780379 | 700 14000 70000 | 58542 51865 109 | 0.000 % |
1044.27/1044.79 c | 1781036 | 700 14000 70000 | 58542 52522 109 | 0.000 % |
1044.67/1045.13 c | 1781756 | 700 14000 70000 | 58542 53242 109 | 0.000 % |
1044.97/1045.46 c | 1782550 | 700 14000 70000 | 58542 54036 109 | 0.000 % |
1045.37/1045.88 c | 1783422 | 700 14000 70000 | 58542 54908 109 | 0.000 % |
1045.87/1046.36 c | 1784381 | 700 14000 70000 | 58542 55867 109 | 0.000 % |
1046.37/1046.90 c | 1785436 | 700 14000 70000 | 58542 56922 109 | 0.000 % |
1046.97/1047.46 c | 1786597 | 700 14000 70000 | 58542 58083 108 | 0.000 % |
1047.67/1048.17 c | 1787871 | 700 14000 70000 | 58542 53479 108 | 0.000 % |
1048.37/1048.86 c | 1789272 | 700 14000 70000 | 58542 54880 108 | 0.000 % |
1049.17/1049.62 c | 1790814 | 700 14000 70000 | 2147483647 56422 108 | 0.000 % |
1049.97/1050.48 c | 1792508 | 700 14000 70000 | 2147483647 58116 108 | 0.000 % |
1051.07/1051.57 c | 1794371 | 700 14000 70000 | 2147483647 59979 108 | 0.000 % |
1052.17/1052.70 c | 1796421 | 700 14000 70000 | 2147483647 62029 108 | 0.000 % |
1053.57/1054.04 c | 1798676 | 700 14000 70000 | 2147483647 64284 107 | 0.000 % |
1054.97/1055.44 c | 1801159 | 700 14000 70000 | 2147483647 66767 107 | 0.000 % |
1056.57/1057.10 c | 1803884 | 700 14000 70000 | 2147483647 69492 107 | 0.000 % |
1058.47/1058.97 c | 1806883 | 700 14000 70000 | 2147483647 72491 107 | 0.000 % |
1060.56/1061.06 c | 1810179 | 700 14000 70000 | 75608 75787 107 | 0.000 % |
1062.76/1063.24 c | 1813804 | 700 14000 70000 | 75608 69045 105 | 0.000 % |
1065.26/1065.76 c | 1817794 | 700 14000 70000 | 75608 73035 105 | 0.000 % |
1068.16/1068.63 c | 1822180 | 700 14000 70000 | 75241 66543 104 | 0.000 % |
1071.07/1071.59 c | 1827005 | 700 14000 70000 | 75241 71368 105 | 0.000 % |
1074.27/1074.78 c | 1832313 | 700 14000 70000 | 74364 65400 104 | 0.000 % |
1077.57/1078.07 c | 1838148 | 700 14000 70000 | 74364 71235 104 | 0.000 % |
1081.37/1081.80 c | 1844567 | 700 14000 70000 | 73088 67247 105 | 0.000 % |
1085.37/1085.86 c | 1851626 | 700 14000 70000 | 72681 63770 105 | 0.000 % |
1089.77/1090.25 c | 1859390 | 700 14000 70000 | 72681 71534 105 | 0.000 % |
1095.17/1095.67 c | 1867930 | 700 14000 70000 | 72144 69939 106 | 0.000 % |
1101.16/1101.63 c | 1877325 | 700 14000 70000 | 72011 68988 107 | 0.000 % |
1108.16/1108.64 c | 1887658 | 700 14000 70000 | 71666 68575 107 | 0.000 % |
1116.26/1116.73 c | 1899028 | 700 14000 70000 | 70917 68880 107 | 0.000 % |
1123.06/1123.54 c | 1911532 | 700 14000 70000 | 68866 60523 109 | 0.000 % |
1130.86/1131.31 c | 1925284 | 700 14000 70000 | 68991 63943 110 | 0.000 % |
1140.35/1140.82 c | 1940411 | 700 14000 70000 | 59017 50989 111 | 0.000 % |
1150.45/1150.91 c | 1957050 | 700 14000 70000 | 54172 50145 112 | 0.000 % |
1150.45/1150.97 c | 1957152 | 700 14000 70000 | 54172 50247 112 | 0.000 % |
1150.55/1151.02 c | 1957264 | 700 14000 70000 | 54172 50359 112 | 0.000 % |
1150.55/1151.08 c | 1957387 | 700 14000 70000 | 54172 50482 111 | 0.000 % |
1150.65/1151.14 c | 1957521 | 700 14000 70000 | 54172 50616 111 | 0.000 % |
1150.75/1151.22 c | 1957667 | 700 14000 70000 | 54172 50762 111 | 0.000 % |
1150.85/1151.30 c | 1957827 | 700 14000 70000 | 54172 50922 111 | 0.000 % |
1150.85/1151.39 c | 1958003 | 700 14000 70000 | 54172 51098 111 | 0.000 % |
1151.05/1151.50 c | 1958196 | 700 14000 70000 | 54172 51291 111 | 0.000 % |
1151.15/1151.61 c | 1958409 | 700 14000 70000 | 54172 51504 111 | 0.000 % |
1151.25/1151.73 c | 1958642 | 700 14000 70000 | 54172 51737 111 | 0.000 % |
1151.35/1151.86 c | 1958900 | 700 14000 70000 | 54172 51995 111 | 0.000 % |
1151.55/1152.01 c | 1959181 | 700 14000 70000 | 54172 52276 111 | 0.000 % |
1151.65/1152.17 c | 1959490 | 700 14000 70000 | 54172 52585 111 | 0.000 % |
1151.85/1152.35 c | 1959830 | 700 14000 70000 | 54172 52925 111 | 0.000 % |
1152.05/1152.53 c | 1960202 | 700 14000 70000 | 2147483647 53297 111 | 0.000 % |
1152.25/1152.76 c | 1960611 | 700 14000 70000 | 2147483647 53706 111 | 0.000 % |
1152.45/1152.98 c | 1961060 | 700 14000 70000 | 2147483647 54155 110 | 0.000 % |
1152.75/1153.26 c | 1961553 | 700 14000 70000 | 2147483647 54648 110 | 0.000 % |
1153.05/1153.53 c | 1962096 | 700 14000 70000 | 2147483647 55191 110 | 0.000 % |
1153.35/1153.85 c | 1962692 | 700 14000 70000 | 2147483647 55787 110 | 0.000 % |
1153.75/1154.23 c | 1963349 | 700 14000 70000 | 2147483647 56444 110 | 0.000 % |
1154.15/1154.61 c | 1964070 | 700 14000 70000 | 2147483647 57165 110 | 0.000 % |
1154.55/1155.05 c | 1964862 | 700 14000 70000 | 2147483647 57957 110 | 0.000 % |
1154.95/1155.48 c | 1965736 | 700 14000 70000 | 2147483647 58831 110 | 0.000 % |
1155.45/1155.97 c | 1966695 | 700 14000 70000 | 2147483647 59790 109 | 0.000 % |
1156.05/1156.58 c | 1967748 | 700 14000 70000 | 2147483647 60843 109 | 0.000 % |
1156.75/1157.22 c | 1968907 | 700 14000 70000 | 2147483647 62002 109 | 0.000 % |
1157.45/1157.95 c | 1970183 | 700 14000 70000 | 2147483647 63278 109 | 0.000 % |
1158.24/1158.70 c | 1971583 | 700 14000 70000 | 2147483647 64678 109 | 0.000 % |
1159.24/1159.80 c | 1973123 | 700 14000 70000 | 2147483647 66218 109 | 0.000 % |
1160.34/1160.81 c | 1974817 | 700 14000 70000 | 2147483647 67912 109 | 0.000 % |
1161.44/1161.97 c | 1976683 | 700 14000 70000 | 2147483647 69778 109 | 0.000 % |
1162.74/1163.22 c | 1978732 | 700 14000 70000 | 2147483647 71827 109 | 0.000 % |
1164.14/1164.67 c | 1980986 | 700 14000 70000 | 73095 64082 108 | 0.000 % |
1165.54/1166.08 c | 1983465 | 700 14000 70000 | 73095 66561 108 | 0.000 % |
1167.24/1167.72 c | 1986193 | 700 14000 70000 | 73095 69289 108 | 0.000 % |
1169.04/1169.59 c | 1989192 | 700 14000 70000 | 73095 72288 108 | 0.000 % |
1171.04/1171.57 c | 1992488 | 700 14000 70000 | 73096 65165 108 | 0.000 % |
1173.34/1173.87 c | 1996113 | 700 14000 70000 | 73096 68790 107 | 0.000 % |
1176.04/1176.50 c | 2000100 | 700 14000 70000 | 72677 72777 107 | 0.000 % |
1178.54/1179.06 c | 2004488 | 700 14000 70000 | 72677 66249 106 | 0.000 % |
1181.44/1181.91 c | 2009311 | 700 14000 70000 | 72677 71072 106 | 0.000 % |
1184.43/1184.99 c | 2014616 | 700 14000 70000 | 71761 66638 105 | 0.000 % |
1188.23/1188.74 c | 2020453 | 700 14000 70000 | 62223 54243 106 | 0.000 % |
1192.03/1192.50 c | 2026871 | 700 14000 70000 | 62223 60661 106 | 0.000 % |
1196.13/1196.62 c | 2033930 | 700 14000 70000 | 56721 54409 106 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832523-1242781008/watcher-1832523-1242781008 -o /tmp/evaluation-result-1832523-1242781008/solver-1832523-1242781008 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832523-1242781008.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 0.97 3/64 21526
/proc/meminfo: memFree=1598408/2055920 swapFree=4078360/4192956
[pid=21526] ppid=21524 vsize=5356 CPUtime=0
/proc/21526/stat : 21526 (SatELiteGTI) S 21524 21526 20804 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306127929 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21526/statm: 1339 237 197 169 0 50 0
[startup+0.0849039 s]
/proc/loadavg: 1.00 1.00 0.97 3/64 21526
/proc/meminfo: memFree=1598408/2055920 swapFree=4078360/4192956
[pid=21526] ppid=21524 vsize=5356 CPUtime=0.03
/proc/21526/stat : 21526 (SatELiteGTI) S 21524 21526 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306127929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.101905 s]
/proc/loadavg: 1.00 1.00 0.97 3/64 21526
/proc/meminfo: memFree=1598408/2055920 swapFree=4078360/4192956
[pid=21526] ppid=21524 vsize=5356 CPUtime=0.03
/proc/21526/stat : 21526 (SatELiteGTI) S 21524 21526 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306127929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.301924 s]
/proc/loadavg: 1.00 1.00 0.97 3/64 21526
/proc/meminfo: memFree=1598408/2055920 swapFree=4078360/4192956
[pid=21526] ppid=21524 vsize=5356 CPUtime=0.03
/proc/21526/stat : 21526 (SatELiteGTI) S 21524 21526 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306127929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.701964 s]
/proc/loadavg: 1.00 1.00 0.97 3/64 21526
/proc/meminfo: memFree=1598408/2055920 swapFree=4078360/4192956
[pid=21526] ppid=21524 vsize=5356 CPUtime=0.03
/proc/21526/stat : 21526 (SatELiteGTI) S 21524 21526 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306127929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+1.50104 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 21532
/proc/meminfo: memFree=1594488/2055920 swapFree=4078360/4192956
[pid=21526] ppid=21524 vsize=5356 CPUtime=0.03
/proc/21526/stat : 21526 (SatELiteGTI) S 21524 21526 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306127929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1339 239 197 169 0 50 0
[pid=21532] ppid=21526 vsize=5904 CPUtime=1.43
/proc/21532/stat : 21532 (minisat_static) R 21526 21526 20804 0 -1 4194304 1205 0 0 0 143 0 0 0 25 0 1 0 306127933 6045696 1191 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/21532/statm: 1476 1191 77 171 0 1303 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 11260
[startup+3.10219 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 21532
/proc/meminfo: memFree=1591416/2055920 swapFree=4078360/4192956
[pid=21526] ppid=21524 vsize=5356 CPUtime=0.03
/proc/21526/stat : 21526 (SatELiteGTI) S 21524 21526 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306127929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1339 239 197 169 0 50 0
[pid=21532] ppid=21526 vsize=10048 CPUtime=3.04
/proc/21532/stat : 21532 (minisat_static) R 21526 21526 20804 0 -1 4194304 2235 0 0 0 303 1 0 0 25 0 1 0 306127933 10289152 2221 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/21532/statm: 2512 2221 77 171 0 2339 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15404
[startup+6.30149 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 21532
/proc/meminfo: memFree=1584832/2055920 swapFree=4078360/4192956
[pid=21526] ppid=21524 vsize=5356 CPUtime=0.03
/proc/21526/stat : 21526 (SatELiteGTI) S 21524 21526 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306127929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1339 239 197 169 0 50 0
[pid=21532] ppid=21526 vsize=15412 CPUtime=6.23
/proc/21532/stat : 21532 (minisat_static) R 21526 21526 20804 0 -1 4194304 3554 0 0 0 621 2 0 0 25 0 1 0 306127933 15781888 3540 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21532/statm: 3853 3540 77 171 0 3680 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 20768
[startup+12.7011 s]
/proc/loadavg: 1.08 1.02 0.97 2/66 21532
/proc/meminfo: memFree=1577096/2055920 swapFree=4078360/4192956
[pid=21526] ppid=21524 vsize=5356 CPUtime=0.03
/proc/21526/stat : 21526 (SatELiteGTI) S 21524 21526 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306127929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1339 239 197 169 0 50 0
[pid=21532] ppid=21526 vsize=22620 CPUtime=12.62
/proc/21532/stat : 21532 (minisat_static) R 21526 21526 20804 0 -1 4194304 5350 0 0 0 1258 4 0 0 25 0 1 0 306127933 23162880 5336 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/21532/statm: 5655 5336 77 171 0 5482 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 27976
[startup+25.5013 s]
/proc/loadavg: 1.07 1.02 0.97 2/66 21532
/proc/meminfo: memFree=1566664/2055920 swapFree=4078360/4192956
[pid=21526] ppid=21524 vsize=5356 CPUtime=0.03
/proc/21526/stat : 21526 (SatELiteGTI) S 21524 21526 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306127929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1339 239 197 169 0 50 0
[pid=21532] ppid=21526 vsize=32508 CPUtime=25.42
/proc/21532/stat : 21532 (minisat_static) R 21526 21526 20804 0 -1 4194304 7830 0 0 0 2534 8 0 0 25 0 1 0 306127933 33288192 7816 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21532/statm: 8127 7816 77 171 0 7954 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 37864
[startup+51.1017 s]
/proc/loadavg: 1.04 1.01 0.97 2/66 21532
/proc/meminfo: memFree=1564488/2055920 swapFree=4078360/4192956
[pid=21526] ppid=21524 vsize=5356 CPUtime=0.03
/proc/21526/stat : 21526 (SatELiteGTI) S 21524 21526 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306127929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1339 239 197 169 0 50 0
[pid=21532] ppid=21526 vsize=34488 CPUtime=51
/proc/21532/stat : 21532 (minisat_static) R 21526 21526 20804 0 -1 4194304 8322 0 0 0 5092 8 0 0 25 0 1 0 306127933 35315712 8308 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 1 0 0
/proc/21532/statm: 8622 8308 77 171 0 8449 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 39844
[startup+102.306 s]
/proc/loadavg: 1.02 1.01 0.97 2/66 21532
/proc/meminfo: memFree=1562248/2055920 swapFree=4078360/4192956
[pid=21526] ppid=21524 vsize=5356 CPUtime=0.03
/proc/21526/stat : 21526 (SatELiteGTI) S 21524 21526 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306127929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1339 239 197 169 0 50 0
[pid=21532] ppid=21526 vsize=36600 CPUtime=102.17
/proc/21532/stat : 21532 (minisat_static) R 21526 21526 20804 0 -1 4194304 8862 0 0 0 10208 9 0 0 25 0 1 0 306127933 37478400 8848 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21532/statm: 9150 8848 77 171 0 8977 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 41956
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 21532
/proc/meminfo: memFree=1561288/2055920 swapFree=4078360/4192956
[pid=21526] ppid=21524 vsize=5356 CPUtime=0.03
/proc/21526/stat : 21526 (SatELiteGTI) S 21524 21526 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306127929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1339 239 197 169 0 50 0
[pid=21532] ppid=21526 vsize=37392 CPUtime=162.14
/proc/21532/stat : 21532 (minisat_static) R 21526 21526 20804 0 -1 4194304 9059 0 0 0 16204 10 0 0 25 0 1 0 306127933 38289408 9045 1992294400 134512640 135215339 4294956240 18446744073709551615 134534593 0 0 4096 3 0 0 0 17 1 0 0
/proc/21532/statm: 9348 9045 77 171 0 9175 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 42748
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 21532
/proc/meminfo: memFree=1561032/2055920 swapFree=4078360/4192956
[pid=21526] ppid=21524 vsize=5356 CPUtime=0.03
/proc/21526/stat : 21526 (SatELiteGTI) S 21524 21526 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306127929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1339 239 197 169 0 50 0
[pid=21532] ppid=21526 vsize=37656 CPUtime=222.11
/proc/21532/stat : 21532 (minisat_static) R 21526 21526 20804 0 -1 4194304 9110 0 0 0 22201 10 0 0 25 0 1 0 306127933 38559744 9096 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/21532/statm: 9414 9096 77 171 0 9241 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 43012
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 21538
/proc/meminfo: memFree=1560712/2055920 swapFree=4078360/4192956
[pid=21526] ppid=21524 vsize=5356 CPUtime=0.03
/proc/21526/stat : 21526 (SatELiteGTI) S 21524 21526 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306127929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1339 239 197 169 0 50 0
[pid=21532] ppid=21526 vsize=37648 CPUtime=282.08
/proc/21532/stat : 21532 (minisat_static) R 21526 21526 20804 0 -1 4194304 9110 0 0 0 28197 11 0 0 25 0 1 0 306127933 38551552 9096 1992294400 134512640 135215339 4294956240 18446744073709551615 134528837 0 0 4096 3 0 0 0 17 1 0 0
/proc/21532/statm: 9412 9096 77 171 0 9239 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 43004
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 21538
/proc/meminfo: memFree=1560648/2055920 swapFree=4078360/4192956
[pid=21526] ppid=21524 vsize=5356 CPUtime=0.03
/proc/21526/stat : 21526 (SatELiteGTI) S 21524 21526 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306127929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1339 239 197 169 0 50 0
[pid=21532] ppid=21526 vsize=37648 CPUtime=342.06
/proc/21532/stat : 21532 (minisat_static) R 21526 21526 20804 0 -1 4194304 9110 0 0 0 34195 11 0 0 25 0 1 0 306127933 38551552 9096 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/21532/statm: 9412 9096 77 171 0 9239 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 43004
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 21538
/proc/meminfo: memFree=1559432/2055920 swapFree=4078360/4192956
[pid=21526] ppid=21524 vsize=5356 CPUtime=0.03
/proc/21526/stat : 21526 (SatELiteGTI) S 21524 21526 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306127929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1339 239 197 169 0 50 0
[pid=21532] ppid=21526 vsize=38836 CPUtime=402.04
/proc/21532/stat : 21532 (minisat_static) R 21526 21526 20804 0 -1 4194304 9414 0 0 0 40192 12 0 0 25 0 1 0 306127933 39768064 9400 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21532/statm: 9709 9400 77 171 0 9536 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 44192
[startup+462.302 s]
################
# More data... #
################
/proc/21532/statm: 9970 9672 77 171 0 9797 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 45236
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 21538
/proc/meminfo: memFree=1557896/2055920 swapFree=4078360/4192956
[pid=21526] ppid=21524 vsize=5356 CPUtime=0.03
/proc/21526/stat : 21526 (SatELiteGTI) S 21524 21526 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306127929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1339 239 197 169 0 50 0
[pid=21532] ppid=21526 vsize=39880 CPUtime=641.96
/proc/21532/stat : 21532 (minisat_static) R 21526 21526 20804 0 -1 4194304 9686 0 0 0 64183 13 0 0 25 0 1 0 306127933 40837120 9672 1992294400 134512640 135215339 4294956240 18446744073709551615 134538397 0 0 4096 3 0 0 0 17 1 0 0
/proc/21532/statm: 9970 9672 77 171 0 9797 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 45236
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 21538
/proc/meminfo: memFree=1557832/2055920 swapFree=4078360/4192956
[pid=21526] ppid=21524 vsize=5356 CPUtime=0.03
/proc/21526/stat : 21526 (SatELiteGTI) S 21524 21526 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306127929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1339 239 197 169 0 50 0
[pid=21532] ppid=21526 vsize=39880 CPUtime=701.95
/proc/21532/stat : 21532 (minisat_static) R 21526 21526 20804 0 -1 4194304 9686 0 0 0 70181 14 0 0 25 0 1 0 306127933 40837120 9672 1992294400 134512640 135215339 4294956240 18446744073709551615 134528711 0 0 4096 3 0 0 0 17 1 0 0
/proc/21532/statm: 9970 9672 77 171 0 9797 0
Current children cumulated CPU time (s) 701.98
Current children cumulated vsize (KiB) 45236
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 21538
/proc/meminfo: memFree=1557704/2055920 swapFree=4078360/4192956
[pid=21526] ppid=21524 vsize=5356 CPUtime=0.03
/proc/21526/stat : 21526 (SatELiteGTI) S 21524 21526 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306127929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1339 239 197 169 0 50 0
[pid=21532] ppid=21526 vsize=39880 CPUtime=761.94
/proc/21532/stat : 21532 (minisat_static) R 21526 21526 20804 0 -1 4194304 9686 0 0 0 76180 14 0 0 25 0 1 0 306127933 40837120 9672 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/21532/statm: 9970 9672 77 171 0 9797 0
Current children cumulated CPU time (s) 761.97
Current children cumulated vsize (KiB) 45236
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 21538
/proc/meminfo: memFree=1556680/2055920 swapFree=4078360/4192956
[pid=21526] ppid=21524 vsize=5356 CPUtime=0.03
/proc/21526/stat : 21526 (SatELiteGTI) S 21524 21526 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306127929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1339 239 197 169 0 50 0
[pid=21532] ppid=21526 vsize=40936 CPUtime=821.92
/proc/21532/stat : 21532 (minisat_static) R 21526 21526 20804 0 -1 4194304 9931 0 0 0 82177 15 0 0 25 0 1 0 306127933 41918464 9917 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21532/statm: 10234 9917 77 171 0 10061 0
Current children cumulated CPU time (s) 821.95
Current children cumulated vsize (KiB) 46292
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 21538
/proc/meminfo: memFree=1556552/2055920 swapFree=4078360/4192956
[pid=21526] ppid=21524 vsize=5356 CPUtime=0.03
/proc/21526/stat : 21526 (SatELiteGTI) S 21524 21526 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306127929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1339 239 197 169 0 50 0
[pid=21532] ppid=21526 vsize=40932 CPUtime=881.89
/proc/21532/stat : 21532 (minisat_static) R 21526 21526 20804 0 -1 4194304 9931 0 0 0 88173 16 0 0 25 0 1 0 306127933 41914368 9917 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/21532/statm: 10233 9917 77 171 0 10060 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 46288
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 21538
/proc/meminfo: memFree=1556488/2055920 swapFree=4078360/4192956
[pid=21526] ppid=21524 vsize=5356 CPUtime=0.03
/proc/21526/stat : 21526 (SatELiteGTI) S 21524 21526 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306127929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1339 239 197 169 0 50 0
[pid=21532] ppid=21526 vsize=40932 CPUtime=941.87
/proc/21532/stat : 21532 (minisat_static) R 21526 21526 20804 0 -1 4194304 9931 0 0 0 94171 16 0 0 25 0 1 0 306127933 41914368 9917 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/21532/statm: 10233 9917 77 171 0 10060 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 46288
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 21538
/proc/meminfo: memFree=1554696/2055920 swapFree=4078360/4192956
[pid=21526] ppid=21524 vsize=5356 CPUtime=0.03
/proc/21526/stat : 21526 (SatELiteGTI) S 21524 21526 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306127929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1339 239 197 169 0 50 0
[pid=21532] ppid=21526 vsize=42516 CPUtime=1001.86
/proc/21532/stat : 21532 (minisat_static) R 21526 21526 20804 0 -1 4194304 10340 0 0 0 100169 17 0 0 25 0 1 0 306127933 43536384 10326 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/21532/statm: 10629 10326 77 171 0 10456 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 47872
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 21538
/proc/meminfo: memFree=1554632/2055920 swapFree=4078360/4192956
[pid=21526] ppid=21524 vsize=5356 CPUtime=0.03
/proc/21526/stat : 21526 (SatELiteGTI) S 21524 21526 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306127929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1339 239 197 169 0 50 0
[pid=21532] ppid=21526 vsize=42516 CPUtime=1061.83
/proc/21532/stat : 21532 (minisat_static) R 21526 21526 20804 0 -1 4194304 10340 0 0 0 106166 17 0 0 25 0 1 0 306127933 43536384 10326 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21532/statm: 10629 10326 77 171 0 10456 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 47872
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 21538
/proc/meminfo: memFree=1554568/2055920 swapFree=4078360/4192956
[pid=21526] ppid=21524 vsize=5356 CPUtime=0.03
/proc/21526/stat : 21526 (SatELiteGTI) S 21524 21526 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306127929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1339 239 197 169 0 50 0
[pid=21532] ppid=21526 vsize=42516 CPUtime=1121.83
/proc/21532/stat : 21532 (minisat_static) R 21526 21526 20804 0 -1 4194304 10340 0 0 0 112165 18 0 0 25 0 1 0 306127933 43536384 10326 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/21532/statm: 10629 10326 77 171 0 10456 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 47872
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 21538
/proc/meminfo: memFree=1554440/2055920 swapFree=4078360/4192956
[pid=21526] ppid=21524 vsize=5356 CPUtime=0.03
/proc/21526/stat : 21526 (SatELiteGTI) S 21524 21526 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306127929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1339 239 197 169 0 50 0
[pid=21532] ppid=21526 vsize=42516 CPUtime=1181.81
/proc/21532/stat : 21532 (minisat_static) R 21526 21526 20804 0 -1 4194304 10340 0 0 0 118163 18 0 0 25 0 1 0 306127933 43536384 10326 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21532/statm: 10629 10326 77 171 0 10456 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 47872
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 21538
/proc/meminfo: memFree=1554440/2055920 swapFree=4078360/4192956
[pid=21526] ppid=21524 vsize=5356 CPUtime=0.03
/proc/21526/stat : 21526 (SatELiteGTI) S 21524 21526 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306127929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1339 239 197 169 0 50 0
[pid=21532] ppid=21526 vsize=42516 CPUtime=1200.01
/proc/21532/stat : 21532 (minisat_static) R 21526 21526 20804 0 -1 4194304 10340 0 0 0 119983 18 0 0 25 0 1 0 306127933 43536384 10326 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/21532/statm: 10629 10326 77 171 0 10456 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 47872
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 21538
/proc/meminfo: memFree=1554440/2055920 swapFree=4078360/4192956
[pid=21526] ppid=21524 vsize=5356 CPUtime=0.03
/proc/21526/stat : 21526 (SatELiteGTI) S 21524 21526 20804 0 -1 4194304 336 651 0 0 0 0 3 0 16 0 1 0 306127929 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1339 239 197 169 0 50 0
[pid=21532] ppid=21526 vsize=42516 CPUtime=1200.01
/proc/21532/stat : 21532 (minisat_static) R 21526 21526 20804 0 -1 4194304 10340 0 0 0 119983 18 0 0 25 0 1 0 306127933 43536384 10326 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/21532/statm: 10629 10326 77 171 0 10456 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 47872
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21526 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=31995
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=10998
# CPU time returned by wait4() is 0.042993
# while last known CPU time is 1200.04
#
# 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.04
CPU user time (s): 1199.86
CPU system time (s): 0.18
CPU usage (%): 99.9605
Max. virtual memory (cumulated for all children) (KiB): 47872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.031995
system time used= 0.010998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 987
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.45578 second user time and 3.06953 second system time
The end
Begin job on node61 at 2009-05-20 02:56:48
IDJOB=1832523
IDBENCH=70225
IDSOLVER=671
FILE ID=node61/1832523-1242781008
PBS_JOBID= 9322380
Free space on /tmp= 66312 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/700/unif-k5-r20-v700-c14000-S211141966-058.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832523-1242781008/watcher-1832523-1242781008 -o /tmp/evaluation-result-1832523-1242781008/solver-1832523-1242781008 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832523-1242781008.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 9e692d77c0b05a1b536adcf4dbb49d43
RANDOM SEED=73376476
node61.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.216
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.216
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: 1598952 kB
Buffers: 25128 kB
Cached: 285792 kB
SwapCached: 109048 kB
Active: 176064 kB
Inactive: 246052 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1598952 kB
SwapTotal: 4192956 kB
SwapFree: 4078360 kB
Dirty: 1904 kB
Writeback: 0 kB
Mapped: 13468 kB
Slab: 21008 kB
Committed_AS: 1028028 kB
PageTables: 1384 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264884 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66312 MiB
End job on node61 at 2009-05-20 03:16:51