0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 16000 80000 | 4799 0 0 nan | 0.000 % |
0.00/0.02 c ==============================================================================
0.00/0.02 c Result : #vars: 800 #clauses: 16000 #literals: 80000
0.00/0.02 c CPU time: 0.014997 s
0.00/0.02 c ==============================================================================
0.00/0.04 c This is MiniSat 2.0 beta
0.00/0.04 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04 c ============================[ Problem Statistics ]=============================
0.00/0.04 c | |
0.00/0.04 c | Number of variables: 800 |
0.00/0.04 c | Number of clauses: 16000 |
0.00/0.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.06 c ===============================================================================
0.00/0.06 c | 0 | 800 16000 80000 | 5333 0 nan | 0.000 % |
0.00/0.07 c | 100 | 800 16000 80000 | 5333 100 109 | 0.000 % |
0.00/0.08 c | 202 | 800 16000 80000 | 5333 202 99 | 0.000 % |
0.00/0.08 c | 302 | 800 16000 80000 | 5333 302 96 | 0.000 % |
0.03/0.10 c | 414 | 800 16000 80000 | 5333 414 96 | 0.000 % |
0.03/0.11 c | 515 | 800 16000 80000 | 5333 515 97 | 0.000 % |
0.03/0.12 c | 626 | 800 16000 80000 | 5333 626 98 | 0.000 % |
0.03/0.13 c | 747 | 800 16000 80000 | 5333 747 98 | 0.000 % |
0.03/0.14 c | 847 | 800 16000 80000 | 5333 847 98 | 0.000 % |
0.03/0.15 c | 957 | 800 16000 80000 | 5333 957 97 | 0.000 % |
0.03/0.16 c | 1078 | 800 16000 80000 | 5333 1078 97 | 0.000 % |
0.03/0.17 c | 1214 | 800 16000 80000 | 5333 1214 97 | 0.000 % |
0.03/0.18 c | 1314 | 800 16000 80000 | 5333 1314 97 | 0.000 % |
0.03/0.19 c | 1427 | 800 16000 80000 | 5333 1427 97 | 0.000 % |
0.03/0.20 c | 1548 | 800 16000 80000 | 5333 1548 97 | 0.000 % |
0.03/0.22 c | 1683 | 800 16000 80000 | 5333 1683 97 | 0.000 % |
0.03/0.23 c | 1830 | 800 16000 80000 | 5333 1830 98 | 0.000 % |
0.03/0.24 c | 1932 | 800 16000 80000 | 5333 1932 98 | 0.000 % |
0.03/0.25 c | 2043 | 800 16000 80000 | 5333 2043 98 | 0.000 % |
0.03/0.27 c | 2164 | 800 16000 80000 | 5333 2164 98 | 0.000 % |
0.03/0.28 c | 2299 | 800 16000 80000 | 5333 2299 99 | 0.000 % |
0.03/0.30 c | 2445 | 800 16000 80000 | 5333 2445 100 | 0.000 % |
0.03/0.31 c | 2605 | 800 16000 80000 | 5333 2605 100 | 0.000 % |
0.03/0.32 c | 2706 | 800 16000 80000 | 5333 2706 100 | 0.000 % |
0.03/0.34 c | 2818 | 800 16000 80000 | 5333 2818 100 | 0.000 % |
0.03/0.35 c | 2939 | 800 16000 80000 | 5333 2939 100 | 0.000 % |
0.03/0.36 c | 3072 | 800 16000 80000 | 5333 3072 100 | 0.000 % |
0.03/0.38 c | 3219 | 800 16000 80000 | 5333 3219 100 | 0.000 % |
0.03/0.39 c | 3381 | 800 16000 80000 | 5333 3381 100 | 0.000 % |
0.03/0.41 c | 3558 | 800 16000 80000 | 5333 3558 99 | 0.000 % |
0.03/0.42 c | 3659 | 800 16000 80000 | 5333 3659 99 | 0.000 % |
0.03/0.44 c | 3770 | 800 16000 80000 | 5333 3770 99 | 0.000 % |
0.03/0.45 c | 3892 | 800 16000 80000 | 5333 3892 99 | 0.000 % |
0.03/0.47 c | 4026 | 800 16000 80000 | 5333 4026 99 | 0.000 % |
0.03/0.48 c | 4172 | 800 16000 80000 | 5333 4172 100 | 0.000 % |
0.03/0.50 c | 4332 | 800 16000 80000 | 5333 4332 100 | 0.000 % |
0.03/0.52 c | 4508 | 800 16000 80000 | 5333 4508 100 | 0.000 % |
0.03/0.54 c | 4701 | 800 16000 80000 | 5333 4701 100 | 0.000 % |
0.03/0.55 c | 4801 | 800 16000 80000 | 5333 4801 100 | 0.000 % |
0.03/0.57 c | 4913 | 800 16000 80000 | 5333 4913 100 | 0.000 % |
0.03/0.58 c | 5034 | 800 16000 80000 | 5333 5034 100 | 0.000 % |
0.03/0.60 c | 5168 | 800 16000 80000 | 5333 5168 100 | 0.000 % |
0.03/0.62 c | 5315 | 800 16000 80000 | 5333 5315 101 | 0.000 % |
0.03/0.63 c | 5475 | 800 16000 80000 | 5333 5475 101 | 0.000 % |
0.03/0.66 c | 5652 | 800 16000 80000 | 5333 5105 100 | 0.000 % |
0.03/0.68 c | 5847 | 800 16000 80000 | 5333 5300 100 | 0.000 % |
0.03/0.71 c | 6059 | 800 16000 80000 | 5333 5512 100 | 0.000 % |
0.03/0.72 c | 6165 | 800 16000 80000 | 5333 5067 101 | 0.000 % |
0.03/0.74 c | 6278 | 800 16000 80000 | 5333 5180 101 | 0.000 % |
0.03/0.75 c | 6401 | 800 16000 80000 | 5333 5303 101 | 0.000 % |
0.03/0.77 c | 6534 | 800 16000 80000 | 5333 5436 102 | 0.000 % |
0.03/0.79 c | 6681 | 800 16000 80000 | 5333 5040 102 | 0.000 % |
0.03/0.80 c | 6845 | 800 16000 80000 | 5333 5204 103 | 0.000 % |
0.03/0.83 c | 7021 | 800 16000 80000 | 5333 5380 103 | 0.000 % |
0.03/0.85 c | 7215 | 800 16000 80000 | 5333 5036 103 | 0.000 % |
0.03/0.87 c | 7428 | 800 16000 80000 | 5333 5249 103 | 0.000 % |
0.03/0.90 c | 7662 | 800 16000 80000 | 5333 5483 104 | 0.000 % |
0.03/0.91 c | 7762 | 800 16000 80000 | 5333 5035 104 | 0.000 % |
0.03/0.93 c | 7872 | 800 16000 80000 | 5333 5145 103 | 0.000 % |
0.03/0.94 c | 7995 | 800 16000 80000 | 5333 5268 103 | 0.000 % |
0.03/0.96 c | 8129 | 800 16000 80000 | 5333 5402 103 | 0.000 % |
0.03/0.98 c | 8276 | 800 16000 80000 | 5333 5009 104 | 0.000 % |
0.03/0.99 c | 8437 | 800 16000 80000 | 5333 5170 104 | 0.000 % |
0.97/1.02 c | 8613 | 800 16000 80000 | 5333 5346 104 | 0.000 % |
0.97/1.04 c | 8807 | 800 16000 80000 | 5333 5006 105 | 0.000 % |
0.97/1.07 c | 9019 | 800 16000 80000 | 5333 5218 105 | 0.000 % |
0.97/1.09 c | 9255 | 800 16000 80000 | 5333 5454 105 | 0.000 % |
1.07/1.12 c | 9511 | 800 16000 80000 | 5333 5165 104 | 0.000 % |
1.07/1.14 c | 9611 | 800 16000 80000 | 5333 5265 105 | 0.000 % |
1.07/1.15 c | 9721 | 800 16000 80000 | 5333 5375 104 | 0.000 % |
1.07/1.17 c | 9843 | 800 16000 80000 | 5333 4960 105 | 0.000 % |
1.36/1.44 c | 9977 | 800 16000 80000 | 5333 5094 105 | 0.000 % |
1.36/1.44 c | 10123 | 800 16000 80000 | 2147483647 5240 105 | 0.000 % |
1.36/1.44 c | 10283 | 800 16000 80000 | 2147483647 5400 105 | 0.000 % |
1.36/1.44 c | 10459 | 800 16000 80000 | 2147483647 5576 105 | 0.000 % |
1.36/1.44 c | 10653 | 800 16000 80000 | 2147483647 5770 105 | 0.000 % |
1.36/1.44 c | 10866 | 800 16000 80000 | 2147483647 5983 105 | 0.000 % |
1.36/1.44 c | 11100 | 800 16000 80000 | 2147483647 6217 106 | 0.000 % |
1.36/1.44 c | 11356 | 800 16000 80000 | 2147483647 6473 106 | 0.000 % |
1.36/1.44 c | 11638 | 800 16000 80000 | 2147483647 6755 106 | 0.000 % |
1.36/1.44 c | 11741 | 800 16000 80000 | 2147483647 6858 106 | 0.000 % |
1.36/1.44 c | 11851 | 800 16000 80000 | 2147483647 6968 106 | 0.000 % |
1.36/1.44 c | 11972 | 800 16000 80000 | 2147483647 7089 106 | 0.000 % |
1.36/1.44 c | 12105 | 800 16000 80000 | 2147483647 7222 106 | 0.000 % |
1.36/1.46 c | 12251 | 800 16000 80000 | 2147483647 7368 106 | 0.000 % |
1.36/1.48 c | 12411 | 800 16000 80000 | 2147483647 7528 106 | 0.000 % |
1.46/1.50 c | 12588 | 800 16000 80000 | 2147483647 7705 106 | 0.000 % |
1.46/1.53 c | 12782 | 800 16000 80000 | 2147483647 7899 106 | 0.000 % |
1.46/1.56 c | 12994 | 800 16000 80000 | 2147483647 8111 105 | 0.000 % |
1.46/1.59 c | 13229 | 800 16000 80000 | 2147483647 8346 105 | 0.000 % |
1.56/1.62 c | 13486 | 800 16000 80000 | 2147483647 8603 105 | 0.000 % |
1.56/1.66 c | 13767 | 800 16000 80000 | 2147483647 8884 105 | 0.000 % |
1.66/1.71 c | 14079 | 800 16000 80000 | 2147483647 9196 105 | 0.000 % |
1.66/1.72 c | 14179 | 800 16000 80000 | 2147483647 9296 105 | 0.000 % |
1.66/1.74 c | 14289 | 800 16000 80000 | 2147483647 9406 105 | 0.000 % |
1.66/1.76 c | 14411 | 800 16000 80000 | 2147483647 9528 105 | 0.000 % |
1.66/1.78 c | 14545 | 800 16000 80000 | 2147483647 9662 105 | 0.000 % |
1.76/1.80 c | 14691 | 800 16000 80000 | 2147483647 9808 105 | 0.000 % |
1.76/1.82 c | 14853 | 800 16000 80000 | 2147483647 9970 105 | 0.000 % |
1.76/1.84 c | 15029 | 800 16000 80000 | 2147483647 10146 105 | 0.000 % |
1.76/1.87 c | 15224 | 800 16000 80000 | 2147483647 10341 105 | 0.000 % |
1.87/1.90 c | 15438 | 800 16000 80000 | 2147483647 10555 105 | 0.000 % |
1.87/1.93 c | 15672 | 800 16000 80000 | 2147483647 10789 105 | 0.000 % |
1.87/1.97 c | 15928 | 800 16000 80000 | 2147483647 11045 105 | 0.000 % |
1.97/2.01 c | 16209 | 800 16000 80000 | 2147483647 11326 105 | 0.000 % |
1.97/2.06 c | 16518 | 800 16000 80000 | 2147483647 11635 105 | 0.000 % |
2.07/2.11 c | 16857 | 800 16000 80000 | 2147483647 11974 105 | 0.000 % |
2.07/2.13 c | 16957 | 800 16000 80000 | 2147483647 12074 105 | 0.000 % |
2.07/2.15 c | 17067 | 800 16000 80000 | 2147483647 12184 105 | 0.000 % |
2.07/2.17 c | 17189 | 800 16000 80000 | 2147483647 12306 105 | 0.000 % |
2.07/2.19 c | 17324 | 800 16000 80000 | 2147483647 12441 105 | 0.000 % |
2.17/2.22 c | 17470 | 800 16000 80000 | 2147483647 12587 105 | 0.000 % |
2.17/2.25 c | 17632 | 800 16000 80000 | 2147483647 12749 105 | 0.000 % |
2.17/2.27 c | 17809 | 800 16000 80000 | 2147483647 12926 105 | 0.000 % |
2.27/2.30 c | 18004 | 800 16000 80000 | 2147483647 13121 105 | 0.000 % |
2.27/2.34 c | 18220 | 800 16000 80000 | 2147483647 13337 105 | 0.000 % |
2.27/2.38 c | 18453 | 800 16000 80000 | 2147483647 13570 105 | 0.000 % |
2.37/2.42 c | 18709 | 800 16000 80000 | 2147483647 13826 105 | 0.000 % |
2.37/2.47 c | 18991 | 800 16000 80000 | 2147483647 14108 105 | 0.000 % |
2.47/2.52 c | 19300 | 800 16000 80000 | 2147483647 14417 105 | 0.000 % |
2.47/2.57 c | 19641 | 800 16000 80000 | 2147483647 14758 105 | 0.000 % |
2.57/2.64 c | 20014 | 800 16000 80000 | 2147483647 15131 105 | 0.000 % |
2.57/2.66 c | 20115 | 800 16000 80000 | 2147483647 15232 105 | 0.000 % |
2.57/2.68 c | 20225 | 800 16000 80000 | 2147483647 15342 105 | 0.000 % |
2.67/2.71 c | 20346 | 800 16000 80000 | 2147483647 15463 105 | 0.000 % |
2.67/2.73 c | 20479 | 800 16000 80000 | 2147483647 15596 105 | 0.000 % |
2.67/2.76 c | 20625 | 800 16000 80000 | 2147483647 15742 105 | 0.000 % |
2.67/2.79 c | 20785 | 800 16000 80000 | 2147483647 15902 105 | 0.000 % |
2.77/2.82 c | 20963 | 800 16000 80000 | 2147483647 16080 105 | 0.000 % |
2.77/2.86 c | 21157 | 800 16000 80000 | 2147483647 16274 105 | 0.000 % |
2.87/2.91 c | 21370 | 800 16000 80000 | 2147483647 16487 105 | 0.000 % |
2.87/2.95 c | 21603 | 800 16000 80000 | 2147483647 16720 105 | 0.000 % |
2.87/2.99 c | 21860 | 800 16000 80000 | 2147483647 16977 105 | 0.000 % |
2.97/3.05 c | 22142 | 800 16000 80000 | 2147483647 17259 105 | 0.000 % |
3.07/3.10 c | 22451 | 800 16000 80000 | 2147483647 17568 105 | 0.000 % |
3.07/3.17 c | 22790 | 800 16000 80000 | 2147483647 17907 106 | 0.000 % |
3.17/3.25 c | 23162 | 800 16000 80000 | 2147483647 18279 106 | 0.000 % |
3.27/3.32 c | 23571 | 800 16000 80000 | 2147483647 18688 106 | 0.000 % |
3.27/3.35 c | 23672 | 800 16000 80000 | 2147483647 18789 106 | 0.000 % |
3.27/3.38 c | 23784 | 800 16000 80000 | 2147483647 18901 106 | 0.000 % |
3.36/3.40 c | 23906 | 800 16000 80000 | 2147483647 19023 106 | 0.000 % |
3.36/3.43 c | 24039 | 800 16000 80000 | 2147483647 19156 106 | 0.000 % |
3.36/3.47 c | 24186 | 800 16000 80000 | 2147483647 19303 106 | 0.000 % |
3.46/3.50 c | 24346 | 800 16000 80000 | 2147483647 19463 106 | 0.000 % |
3.46/3.54 c | 24522 | 800 16000 80000 | 2147483647 19639 106 | 0.000 % |
3.46/3.59 c | 24716 | 800 16000 80000 | 2147483647 19833 106 | 0.000 % |
3.56/3.64 c | 24928 | 800 16000 80000 | 2147483647 20045 106 | 0.000 % |
3.56/3.70 c | 25162 | 800 16000 80000 | 2147483647 20279 106 | 0.000 % |
3.66/3.75 c | 25418 | 800 16000 80000 | 2147483647 20535 106 | 0.000 % |
3.76/3.82 c | 25699 | 800 16000 80000 | 2147483647 20816 106 | 0.000 % |
3.76/3.88 c | 26008 | 800 16000 80000 | 2147483647 21125 106 | 0.000 % |
3.86/3.97 c | 26348 | 800 16000 80000 | 2147483647 21465 106 | 0.000 % |
3.96/4.06 c | 26721 | 800 16000 80000 | 2147483647 21838 106 | 0.000 % |
4.06/4.14 c | 27130 | 800 16000 80000 | 2147483647 22247 107 | 0.000 % |
4.16/4.25 c | 27579 | 800 16000 80000 | 2147483647 22696 107 | 0.000 % |
4.16/4.28 c | 27680 | 800 16000 80000 | 2147483647 22797 107 | 0.000 % |
4.26/4.31 c | 27790 | 800 16000 80000 | 2147483647 22907 107 | 0.000 % |
4.26/4.34 c | 27911 | 800 16000 80000 | 2147483647 23028 107 | 0.000 % |
4.26/4.37 c | 28044 | 800 16000 80000 | 2147483647 23161 107 | 0.000 % |
4.36/4.41 c | 28190 | 800 16000 80000 | 2147483647 23307 107 | 0.000 % |
4.36/4.45 c | 28351 | 800 16000 80000 | 2147483647 23468 107 | 0.000 % |
4.36/4.49 c | 28528 | 800 16000 80000 | 2147483647 23645 107 | 0.000 % |
4.46/4.55 c | 28722 | 800 16000 80000 | 2147483647 23839 107 | 0.000 % |
4.56/4.60 c | 28934 | 800 16000 80000 | 2147483647 24051 107 | 0.000 % |
4.56/4.66 c | 29168 | 800 16000 80000 | 2147483647 24285 107 | 0.000 % |
4.66/4.71 c | 29424 | 800 16000 80000 | 2147483647 24541 107 | 0.000 % |
4.66/4.79 c | 29706 | 800 16000 80000 | 2147483647 24823 107 | 0.000 % |
4.76/4.86 c | 30016 | 800 16000 80000 | 2147483647 25133 107 | 0.000 % |
4.86/4.95 c | 30355 | 800 16000 80000 | 2147483647 25472 107 | 0.000 % |
4.95/5.04 c | 30727 | 800 16000 80000 | 2147483647 25844 106 | 0.000 % |
5.05/5.15 c | 31137 | 800 16000 80000 | 2147483647 26254 107 | 0.000 % |
5.15/5.26 c | 31588 | 800 16000 80000 | 2147483647 26705 107 | 0.000 % |
5.25/5.39 c | 32081 | 800 16000 80000 | 2147483647 27198 107 | 0.000 % |
5.36/5.42 c | 32182 | 800 16000 80000 | 2147483647 27299 107 | 0.000 % |
5.36/5.45 c | 32293 | 800 16000 80000 | 2147483647 27410 107 | 0.000 % |
5.36/5.49 c | 32415 | 800 16000 80000 | 2147483647 27532 107 | 0.000 % |
5.45/5.53 c | 32548 | 800 16000 80000 | 2147483647 27665 107 | 0.000 % |
5.45/5.58 c | 32695 | 800 16000 80000 | 2147483647 27812 107 | 0.000 % |
5.55/5.63 c | 32855 | 800 16000 80000 | 2147483647 27972 107 | 0.000 % |
5.55/5.68 c | 33032 | 800 16000 80000 | 2147483647 28149 107 | 0.000 % |
5.66/5.74 c | 33225 | 800 16000 80000 | 2147483647 28342 107 | 0.000 % |
5.66/5.80 c | 33437 | 800 16000 80000 | 2147483647 28554 107 | 0.000 % |
5.76/5.87 c | 33670 | 800 16000 80000 | 2147483647 28787 107 | 0.000 % |
5.86/5.95 c | 33930 | 800 16000 80000 | 2147483647 29047 107 | 0.000 % |
5.96/6.04 c | 34211 | 800 16000 80000 | 2147483647 29328 107 | 0.000 % |
6.06/6.14 c | 34522 | 800 16000 80000 | 2147483647 29639 107 | 0.000 % |
6.16/6.24 c | 34861 | 800 16000 80000 | 2147483647 29978 107 | 0.000 % |
6.26/6.35 c | 35234 | 800 16000 80000 | 2147483647 30351 107 | 0.000 % |
6.36/6.48 c | 35643 | 800 16000 80000 | 2147483647 30760 107 | 0.000 % |
6.56/6.61 c | 36092 | 800 16000 80000 | 2147483647 31209 107 | 0.000 % |
6.65/6.77 c | 36588 | 800 16000 80000 | 2147483647 31705 107 | 0.000 % |
6.85/6.94 c | 37130 | 800 16000 80000 | 2147483647 32247 107 | 0.000 % |
6.85/6.97 c | 37230 | 800 16000 80000 | 2147483647 32347 107 | 0.000 % |
6.95/7.01 c | 37340 | 800 16000 80000 | 2147483647 32457 107 | 0.000 % |
6.95/7.06 c | 37466 | 800 16000 80000 | 2147483647 32583 107 | 0.000 % |
7.05/7.10 c | 37599 | 800 16000 80000 | 2147483647 32716 107 | 0.000 % |
7.05/7.15 c | 37746 | 800 16000 80000 | 2147483647 32863 107 | 0.000 % |
7.15/7.21 c | 37907 | 800 16000 80000 | 2147483647 33024 107 | 0.000 % |
7.15/7.27 c | 38085 | 800 16000 80000 | 2147483647 33202 107 | 0.000 % |
7.25/7.33 c | 38279 | 800 16000 80000 | 2147483647 33396 107 | 0.000 % |
7.25/7.39 c | 38493 | 800 16000 80000 | 2147483647 33610 107 | 0.000 % |
7.35/7.47 c | 38727 | 800 16000 80000 | 2147483647 33844 107 | 0.000 % |
7.45/7.55 c | 38983 | 800 16000 80000 | 2147483647 34100 107 | 0.000 % |
7.56/7.64 c | 39265 | 800 16000 80000 | 2147483647 34382 107 | 0.000 % |
7.66/7.74 c | 39574 | 800 16000 80000 | 2147483647 34691 107 | 0.000 % |
7.76/7.86 c | 39915 | 800 16000 80000 | 2147483647 35032 107 | 0.000 % |
7.85/7.99 c | 40288 | 800 16000 80000 | 2147483647 35405 107 | 0.000 % |
8.05/8.13 c | 40697 | 800 16000 80000 | 2147483647 35814 107 | 0.000 % |
8.15/8.27 c | 41146 | 800 16000 80000 | 2147483647 36263 107 | 0.000 % |
8.35/8.44 c | 41639 | 800 16000 80000 | 2147483647 36756 107 | 0.000 % |
8.55/8.61 c | 42184 | 800 16000 80000 | 2147483647 37301 107 | 0.000 % |
8.75/8.82 c | 42782 | 800 16000 80000 | 2147483647 37899 107 | 0.000 % |
8.75/8.86 c | 42883 | 800 16000 80000 | 2147483647 38000 107 | 0.000 % |
8.75/8.89 c | 42993 | 800 16000 80000 | 2147483647 38110 107 | 0.000 % |
8.85/8.94 c | 43115 | 800 16000 80000 | 2147483647 38232 107 | 0.000 % |
8.85/8.99 c | 43249 | 800 16000 80000 | 2147483647 38366 107 | 0.000 % |
8.95/9.04 c | 43397 | 800 16000 80000 | 2147483647 38514 107 | 0.000 % |
9.05/9.10 c | 43558 | 800 16000 80000 | 2147483647 38675 107 | 0.000 % |
9.05/9.18 c | 43734 | 800 16000 80000 | 2147483647 38851 107 | 0.000 % |
9.15/9.26 c | 43927 | 800 16000 80000 | 2147483647 39044 107 | 0.000 % |
9.25/9.34 c | 44140 | 800 16000 80000 | 2147483647 39257 107 | 0.000 % |
9.34/9.42 c | 44374 | 800 16000 80000 | 2147483647 39491 107 | 0.000 % |
9.44/9.51 c | 44631 | 800 16000 80000 | 2147483647 39748 107 | 0.000 % |
9.54/9.62 c | 44912 | 800 16000 80000 | 2147483647 40029 107 | 0.000 % |
9.64/9.74 c | 45222 | 800 16000 80000 | 2147483647 40339 107 | 0.000 % |
9.75/9.87 c | 45562 | 800 16000 80000 | 2147483647 40679 107 | 0.000 % |
9.94/10.02 c | 45934 | 800 16000 80000 | 2147483647 41051 107 | 0.000 % |
10.04/10.19 c | 46344 | 800 16000 80000 | 2147483647 41461 107 | 0.000 % |
10.25/10.37 c | 46793 | 800 16000 80000 | 2147483647 41910 107 | 0.000 % |
10.45/10.55 c | 47286 | 800 16000 80000 | 2147483647 42403 107 | 0.000 % |
10.65/10.76 c | 47829 | 800 16000 80000 | 2147483647 42946 107 | 0.000 % |
10.85/11.00 c | 48427 | 800 16000 80000 | 2147483647 43544 107 | 0.000 % |
11.15/11.27 c | 49083 | 800 16000 80000 | 2147483647 44200 107 | 0.000 % |
11.25/11.32 c | 49183 | 800 16000 80000 | 2147483647 44300 107 | 0.000 % |
11.25/11.37 c | 49294 | 800 16000 80000 | 2147483647 44411 107 | 0.000 % |
11.35/11.42 c | 49416 | 800 16000 80000 | 2147483647 44533 107 | 0.000 % |
11.35/11.47 c | 49550 | 800 16000 80000 | 2147483647 44667 107 | 0.000 % |
11.45/11.55 c | 49697 | 800 16000 80000 | 2147483647 44814 107 | 0.000 % |
11.55/11.61 c | 49857 | 800 16000 80000 | 2147483647 44974 107 | 0.000 % |
11.55/11.69 c | 50033 | 800 16000 80000 | 2147483647 45150 107 | 0.000 % |
11.65/11.78 c | 50226 | 800 16000 80000 | 2147483647 45343 107 | 0.000 % |
11.75/11.88 c | 50440 | 800 16000 80000 | 2147483647 45557 107 | 0.000 % |
11.85/11.98 c | 50675 | 800 16000 80000 | 2147483647 45792 107 | 0.000 % |
12.05/12.10 c | 50931 | 800 16000 80000 | 2147483647 46048 107 | 0.000 % |
12.15/12.22 c | 51212 | 800 16000 80000 | 2147483647 46329 107 | 0.000 % |
12.25/12.34 c | 51521 | 800 16000 80000 | 2147483647 46638 107 | 0.000 % |
12.45/12.51 c | 51862 | 800 16000 80000 | 2147483647 46979 107 | 0.000 % |
12.54/12.67 c | 52234 | 800 16000 80000 | 2147483647 47351 107 | 0.000 % |
12.74/12.84 c | 52643 | 800 16000 80000 | 2147483647 47760 107 | 0.000 % |
12.94/13.03 c | 53093 | 800 16000 80000 | 2147483647 48210 107 | 0.000 % |
13.15/13.26 c | 53587 | 800 16000 80000 | 2147483647 48704 107 | 0.000 % |
13.44/13.53 c | 54131 | 800 16000 80000 | 2147483647 49248 107 | 0.000 % |
13.64/13.79 c | 54727 | 800 16000 80000 | 2147483647 49844 107 | 0.000 % |
13.94/14.07 c | 55383 | 800 16000 80000 | 2147483647 50500 108 | 0.000 % |
14.24/14.39 c | 56106 | 800 16000 80000 | 2147483647 51223 108 | 0.000 % |
14.34/14.44 c | 56207 | 800 16000 80000 | 2147483647 51324 108 | 0.000 % |
14.34/14.49 c | 56319 | 800 16000 80000 | 2147483647 51436 108 | 0.000 % |
14.44/14.54 c | 56442 | 800 16000 80000 | 2147483647 51559 108 | 0.000 % |
14.54/14.61 c | 56575 | 800 16000 80000 | 2147483647 51692 108 | 0.000 % |
14.54/14.69 c | 56721 | 800 16000 80000 | 2147483647 51838 108 | 0.000 % |
14.64/14.76 c | 56881 | 800 16000 80000 | 2147483647 51998 108 | 0.000 % |
14.74/14.86 c | 57058 | 800 16000 80000 | 2147483647 52175 108 | 0.000 % |
14.84/14.96 c | 57252 | 800 16000 80000 | 2147483647 52369 108 | 0.000 % |
14.94/15.07 c | 57464 | 800 16000 80000 | 2147483647 52581 108 | 0.000 % |
15.14/15.20 c | 57698 | 800 16000 80000 | 2147483647 52815 108 | 0.000 % |
15.24/15.31 c | 57954 | 800 16000 80000 | 2147483647 53071 108 | 0.000 % |
15.34/15.45 c | 58236 | 800 16000 80000 | 2147483647 53353 108 | 0.000 % |
15.43/15.59 c | 58547 | 800 16000 80000 | 2147483647 53664 108 | 0.000 % |
15.64/15.76 c | 58886 | 800 16000 80000 | 2147483647 54003 108 | 0.000 % |
15.84/15.95 c | 59258 | 800 16000 80000 | 2147483647 54375 108 | 0.000 % |
16.04/16.16 c | 59668 | 800 16000 80000 | 2147483647 54785 108 | 0.000 % |
16.24/16.38 c | 60117 | 800 16000 80000 | 2147483647 55234 108 | 0.000 % |
16.54/16.60 c | 60612 | 800 16000 80000 | 2147483647 55729 108 | 0.000 % |
16.74/16.86 c | 61154 | 800 16000 80000 | 2147483647 56271 108 | 0.000 % |
17.04/17.15 c | 61751 | 800 16000 80000 | 2147483647 56868 108 | 0.000 % |
17.34/17.47 c | 62409 | 800 16000 80000 | 2147483647 57526 108 | 0.000 % |
17.74/17.86 c | 63130 | 800 16000 80000 | 2147483647 58247 108 | 0.000 % |
18.14/18.24 c | 63922 | 800 16000 80000 | 2147483647 59039 108 | 0.000 % |
18.14/18.29 c | 64023 | 800 16000 80000 | 2147483647 59140 108 | 0.000 % |
18.24/18.37 c | 64134 | 800 16000 80000 | 2147483647 59251 108 | 0.000 % |
18.34/18.44 c | 64255 | 800 16000 80000 | 2147483647 59372 108 | 0.000 % |
18.44/18.52 c | 64391 | 800 16000 80000 | 2147483647 59508 108 | 0.000 % |
18.55/18.60 c | 64538 | 800 16000 80000 | 2147483647 59655 108 | 0.000 % |
18.65/18.72 c | 64699 | 800 16000 80000 | 2147483647 59816 108 | 0.000 % |
18.74/18.82 c | 64876 | 800 16000 80000 | 2147483647 59993 108 | 0.000 % |
18.84/18.93 c | 65070 | 800 16000 80000 | 2147483647 60187 108 | 0.000 % |
18.94/19.06 c | 65284 | 800 16000 80000 | 2147483647 60401 108 | 0.000 % |
19.14/19.20 c | 65517 | 800 16000 80000 | 2147483647 60634 108 | 0.000 % |
19.24/19.37 c | 65773 | 800 16000 80000 | 2147483647 60890 108 | 0.000 % |
19.44/19.53 c | 66056 | 800 16000 80000 | 2147483647 61173 108 | 0.000 % |
19.64/19.72 c | 66367 | 800 16000 80000 | 2147483647 61484 108 | 0.000 % |
19.84/19.91 c | 66709 | 800 16000 80000 | 2147483647 61826 108 | 0.000 % |
20.04/20.12 c | 67082 | 800 16000 80000 | 2147483647 62199 108 | 0.000 % |
20.24/20.37 c | 67491 | 800 16000 80000 | 2147483647 62608 108 | 0.000 % |
20.53/20.60 c | 67943 | 800 16000 80000 | 2147483647 63060 108 | 0.000 % |
20.74/20.88 c | 68436 | 800 16000 80000 | 2147483647 63553 108 | 0.000 % |
21.03/21.16 c | 68980 | 800 16000 80000 | 2147483647 64097 108 | 0.000 % |
21.33/21.47 c | 69576 | 800 16000 80000 | 2147483647 64693 108 | 0.000 % |
21.73/21.88 c | 70232 | 800 16000 80000 | 2147483647 65349 108 | 0.000 % |
22.13/22.29 c | 70952 | 800 16000 80000 | 2147483647 66069 108 | 0.000 % |
22.63/22.71 c | 71744 | 800 16000 80000 | 2147483647 66861 108 | 0.000 % |
23.13/23.22 c | 72615 | 800 16000 80000 | 2147483647 67732 108 | 0.000 % |
23.13/23.28 c | 72715 | 800 16000 80000 | 2147483647 67832 108 | 0.000 % |
23.23/23.35 c | 72826 | 800 16000 80000 | 2147483647 67943 108 | 0.000 % |
23.33/23.43 c | 72947 | 800 16000 80000 | 2147483647 68064 108 | 0.000 % |
23.44/23.51 c | 73082 | 800 16000 80000 | 2147483647 68199 108 | 0.000 % |
23.54/23.63 c | 73230 | 800 16000 80000 | 2147483647 68347 108 | 0.000 % |
23.64/23.73 c | 73391 | 800 16000 80000 | 2147483647 68508 108 | 0.000 % |
23.74/23.84 c | 73567 | 800 16000 80000 | 2147483647 68684 108 | 0.000 % |
23.84/23.98 c | 73760 | 800 16000 80000 | 2147483647 68877 108 | 0.000 % |
24.04/24.12 c | 73972 | 800 16000 80000 | 2147483647 69089 108 | 0.000 % |
24.14/24.28 c | 74206 | 800 16000 80000 | 2147483647 69323 108 | 0.000 % |
24.34/24.44 c | 74462 | 800 16000 80000 | 2147483647 69579 108 | 0.000 % |
24.53/24.61 c | 74743 | 800 16000 80000 | 2147483647 69860 108 | 0.000 % |
24.73/24.80 c | 75052 | 800 16000 80000 | 2147483647 70169 108 | 0.000 % |
24.93/25.03 c | 75393 | 800 16000 80000 | 2147483647 70510 108 | 0.000 % |
25.13/25.28 c | 75765 | 800 16000 80000 | 2147483647 70882 108 | 0.000 % |
25.43/25.55 c | 76174 | 800 16000 80000 | 2147483647 71291 108 | 0.000 % |
25.73/25.83 c | 76625 | 800 16000 80000 | 2147483647 71742 108 | 0.000 % |
26.03/26.14 c | 77119 | 800 16000 80000 | 2147483647 72236 108 | 0.000 % |
26.33/26.48 c | 77662 | 800 16000 80000 | 2147483647 72779 108 | 0.000 % |
26.73/26.86 c | 78258 | 800 16000 80000 | 2147483647 73375 108 | 0.000 % |
27.13/27.26 c | 78913 | 800 16000 80000 | 2147483647 74030 108 | 0.000 % |
27.53/27.66 c | 79633 | 800 16000 80000 | 2147483647 74750 108 | 0.000 % |
28.03/28.16 c | 80425 | 800 16000 80000 | 2147483647 75542 108 | 0.000 % |
28.63/28.71 c | 81296 | 800 16000 80000 | 2147483647 76413 108 | 0.000 % |
29.23/29.31 c | 82255 | 800 16000 80000 | 2147483647 77372 108 | 0.000 % |
29.23/29.37 c | 82356 | 800 16000 80000 | 2147483647 77473 108 | 0.000 % |
29.33/29.44 c | 82466 | 800 16000 80000 | 2147483647 77583 108 | 0.000 % |
29.43/29.53 c | 82588 | 800 16000 80000 | 2147483647 77705 108 | 0.000 % |
29.53/29.66 c | 82722 | 800 16000 80000 | 2147483647 77839 108 | 0.000 % |
29.63/29.78 c | 82868 | 800 16000 80000 | 2147483647 77985 108 | 0.000 % |
29.83/29.90 c | 83029 | 800 16000 80000 | 2147483647 78146 108 | 0.000 % |
29.93/30.05 c | 83206 | 800 16000 80000 | 2147483647 78323 108 | 0.000 % |
30.03/30.19 c | 83401 | 800 16000 80000 | 2147483647 78518 108 | 0.000 % |
30.23/30.34 c | 83616 | 800 16000 80000 | 2147483647 78733 108 | 0.000 % |
30.43/30.52 c | 83849 | 800 16000 80000 | 2147483647 78966 108 | 0.000 % |
30.63/30.71 c | 84106 | 800 16000 80000 | 2147483647 79223 108 | 0.000 % |
30.83/30.90 c | 84388 | 800 16000 80000 | 2147483647 79505 108 | 0.000 % |
31.03/31.10 c | 84697 | 800 16000 80000 | 2147483647 79814 108 | 0.000 % |
31.23/31.34 c | 85036 | 800 16000 80000 | 2147483647 80153 108 | 0.000 % |
31.53/31.65 c | 85409 | 800 16000 80000 | 2147483647 80526 108 | 0.000 % |
31.83/31.95 c | 85819 | 800 16000 80000 | 2147483647 80936 108 | 0.000 % |
32.12/32.29 c | 86270 | 800 16000 80000 | 2147483647 81387 108 | 0.000 % |
32.53/32.62 c | 86763 | 800 16000 80000 | 2147483647 81880 108 | 0.000 % |
32.84/32.98 c | 87305 | 800 16000 80000 | 2147483647 82422 108 | 0.000 % |
33.23/33.39 c | 87905 | 800 16000 80000 | 2147483647 83022 108 | 0.000 % |
33.73/33.82 c | 88561 | 800 16000 80000 | 2147483647 83678 108 | 0.000 % |
34.33/34.42 c | 89282 | 800 16000 80000 | 2147483647 84399 108 | 0.000 % |
34.93/35.02 c | 90076 | 800 16000 80000 | 85117 85193 108 | 0.000 % |
35.53/35.69 c | 90949 | 800 16000 80000 | 85117 73391 109 | 0.000 % |
36.13/36.29 c | 91909 | 800 16000 80000 | 85117 74351 109 | 0.000 % |
36.83/36.98 c | 92963 | 800 16000 80000 | 85117 75405 109 | 0.000 % |
36.93/37.04 c | 93063 | 800 16000 80000 | 85117 75505 109 | 0.000 % |
37.02/37.16 c | 93174 | 800 16000 80000 | 85117 75616 109 | 0.000 % |
37.12/37.25 c | 93296 | 800 16000 80000 | 85117 75738 109 | 0.000 % |
37.23/37.34 c | 93429 | 800 16000 80000 | 85117 75871 109 | 0.000 % |
37.33/37.45 c | 93576 | 800 16000 80000 | 85117 76018 109 | 0.000 % |
37.42/37.58 c | 93738 | 800 16000 80000 | 85117 76180 109 | 0.000 % |
37.62/37.72 c | 93915 | 800 16000 80000 | 85117 76357 109 | 0.000 % |
37.72/37.85 c | 94109 | 800 16000 80000 | 85117 76551 109 | 0.000 % |
37.92/38.01 c | 94321 | 800 16000 80000 | 85117 76763 109 | 0.000 % |
38.02/38.17 c | 94554 | 800 16000 80000 | 85117 76996 109 | 0.000 % |
38.22/38.38 c | 94812 | 800 16000 80000 | 85117 77254 109 | 0.000 % |
38.43/38.59 c | 95093 | 800 16000 80000 | 85117 77535 109 | 0.000 % |
38.72/38.81 c | 95402 | 800 16000 80000 | 85117 77844 109 | 0.000 % |
38.92/39.04 c | 95741 | 800 16000 80000 | 85117 78183 109 | 0.000 % |
39.22/39.31 c | 96114 | 800 16000 80000 | 85117 78556 109 | 0.000 % |
39.42/39.58 c | 96523 | 800 16000 80000 | 85117 78965 109 | 0.000 % |
39.82/39.92 c | 96972 | 800 16000 80000 | 85117 79414 109 | 0.000 % |
40.12/40.29 c | 97465 | 800 16000 80000 | 85117 79907 109 | 0.000 % |
40.52/40.62 c | 98007 | 800 16000 80000 | 85117 80449 109 | 0.000 % |
40.92/41.07 c | 98604 | 800 16000 80000 | 85117 81046 109 | 0.000 % |
41.42/41.52 c | 99260 | 800 16000 80000 | 85117 81702 109 | 0.000 % |
41.92/42.03 c | 99980 | 800 16000 80000 | 85117 82422 109 | 0.000 % |
42.42/42.58 c | 100773 | 800 16000 80000 | 82442 70607 109 | 0.000 % |
43.02/43.12 c | 101644 | 800 16000 80000 | 82442 71478 109 | 0.000 % |
43.52/43.68 c | 102602 | 800 16000 80000 | 82442 72436 109 | 0.000 % |
44.22/44.35 c | 103655 | 800 16000 80000 | 82442 73489 109 | 0.000 % |
44.92/45.08 c | 104818 | 800 16000 80000 | 82442 74652 109 | 0.000 % |
45.02/45.14 c | 104918 | 800 16000 80000 | 82442 74752 109 | 0.000 % |
45.12/45.22 c | 105028 | 800 16000 80000 | 82442 74862 109 | 0.000 % |
45.22/45.33 c | 105149 | 800 16000 80000 | 82442 74983 109 | 0.000 % |
45.32/45.42 c | 105283 | 800 16000 80000 | 82442 75117 109 | 0.000 % |
45.42/45.54 c | 105431 | 800 16000 80000 | 82442 75265 109 | 0.000 % |
45.52/45.65 c | 105591 | 800 16000 80000 | 82442 75425 109 | 0.000 % |
45.72/45.80 c | 105767 | 800 16000 80000 | 82442 75601 109 | 0.000 % |
45.82/45.93 c | 105960 | 800 16000 80000 | 82442 75794 109 | 0.000 % |
45.92/46.09 c | 106174 | 800 16000 80000 | 82442 76008 109 | 0.000 % |
46.12/46.24 c | 106410 | 800 16000 80000 | 82442 76244 109 | 0.000 % |
46.31/46.41 c | 106667 | 800 16000 80000 | 82442 76501 109 | 0.000 % |
46.51/46.61 c | 106951 | 800 16000 80000 | 82442 76785 109 | 0.000 % |
46.71/46.82 c | 107261 | 800 16000 80000 | 82442 77095 109 | 0.000 % |
46.91/47.05 c | 107600 | 800 16000 80000 | 82442 77434 109 | 0.000 % |
47.12/47.29 c | 107974 | 800 16000 80000 | 82442 77808 109 | 0.000 % |
47.41/47.55 c | 108383 | 800 16000 80000 | 82442 78217 109 | 0.000 % |
47.71/47.82 c | 108834 | 800 16000 80000 | 82442 78668 109 | 0.000 % |
48.01/48.17 c | 109328 | 800 16000 80000 | 82442 79162 109 | 0.000 % |
48.41/48.53 c | 109870 | 800 16000 80000 | 82442 79704 109 | 0.000 % |
48.81/48.96 c | 110466 | 800 16000 80000 | 79834 69238 109 | 0.000 % |
49.21/49.36 c | 111123 | 800 16000 80000 | 79834 69895 109 | 0.000 % |
49.61/49.79 c | 111847 | 800 16000 80000 | 79834 70619 109 | 0.000 % |
50.11/50.25 c | 112639 | 800 16000 80000 | 79834 71411 109 | 0.000 % |
50.61/50.77 c | 113511 | 800 16000 80000 | 79834 72283 109 | 0.000 % |
51.31/51.42 c | 114470 | 800 16000 80000 | 79834 73242 109 | 0.000 % |
51.91/52.09 c | 115524 | 800 16000 80000 | 79834 74296 110 | 0.000 % |
52.71/52.85 c | 116685 | 800 16000 80000 | 79834 75457 110 | 0.000 % |
53.61/53.72 c | 117958 | 800 16000 80000 | 79834 76730 110 | 0.000 % |
53.61/53.79 c | 118058 | 800 16000 80000 | 79834 76830 110 | 0.000 % |
53.71/53.89 c | 118168 | 800 16000 80000 | 79834 76940 110 | 0.000 % |
53.81/53.99 c | 118289 | 800 16000 80000 | 79834 77061 110 | 0.000 % |
53.91/54.09 c | 118423 | 800 16000 80000 | 79834 77195 110 | 0.000 % |
54.01/54.19 c | 118570 | 800 16000 80000 | 79834 77342 110 | 0.000 % |
54.21/54.33 c | 118730 | 800 16000 80000 | 79834 77502 110 | 0.000 % |
54.31/54.46 c | 118906 | 800 16000 80000 | 79834 77678 110 | 0.000 % |
54.41/54.59 c | 119099 | 800 16000 80000 | 79834 77871 110 | 0.000 % |
54.61/54.77 c | 119311 | 800 16000 80000 | 79834 78083 110 | 0.000 % |
54.81/54.95 c | 119544 | 800 16000 80000 | 79834 78316 110 | 0.000 % |
55.01/55.15 c | 119800 | 800 16000 80000 | 79834 78572 110 | 0.000 % |
55.21/55.36 c | 120081 | 800 16000 80000 | 78775 78853 110 | 0.000 % |
55.51/55.63 c | 120390 | 800 16000 80000 | 78775 68470 110 | 0.000 % |
55.71/55.84 c | 120732 | 800 16000 80000 | 78775 68812 110 | 0.000 % |
55.91/56.06 c | 121105 | 800 16000 80000 | 78775 69185 110 | 0.000 % |
56.11/56.29 c | 121514 | 800 16000 80000 | 78775 69594 110 | 0.000 % |
56.41/56.59 c | 121963 | 800 16000 80000 | 78775 70043 110 | 0.000 % |
56.81/56.91 c | 122456 | 800 16000 80000 | 78775 70536 110 | 0.000 % |
57.11/57.22 c | 123000 | 800 16000 80000 | 78775 71080 110 | 0.000 % |
57.51/57.63 c | 123597 | 800 16000 80000 | 78775 71677 110 | 0.000 % |
57.91/58.05 c | 124252 | 800 16000 80000 | 78775 72332 110 | 0.000 % |
58.41/58.53 c | 124972 | 800 16000 80000 | 78775 73052 110 | 0.000 % |
58.81/58.97 c | 125764 | 800 16000 80000 | 78775 73844 110 | 0.000 % |
59.31/59.49 c | 126636 | 800 16000 80000 | 78775 74716 110 | 0.000 % |
59.91/60.07 c | 127594 | 800 16000 80000 | 78775 75674 110 | 0.000 % |
60.61/60.79 c | 128650 | 800 16000 80000 | 78775 76730 110 | 0.000 % |
61.41/61.59 c | 129809 | 800 16000 80000 | 78775 77889 110 | 0.000 % |
62.31/62.42 c | 131083 | 800 16000 80000 | 78080 69085 110 | 0.000 % |
63.20/63.34 c | 132483 | 800 16000 80000 | 78080 70485 110 | 0.000 % |
63.30/63.41 c | 132583 | 800 16000 80000 | 78080 70585 110 | 0.000 % |
63.30/63.50 c | 132693 | 800 16000 80000 | 78080 70695 110 | 0.000 % |
63.40/63.58 c | 132816 | 800 16000 80000 | 78080 70818 110 | 0.000 % |
63.50/63.66 c | 132949 | 800 16000 80000 | 78080 70951 110 | 0.000 % |
63.61/63.76 c | 133095 | 800 16000 80000 | 78080 71097 110 | 0.000 % |
63.71/63.88 c | 133257 | 800 16000 80000 | 78080 71259 110 | 0.000 % |
63.90/64.00 c | 133433 | 800 16000 80000 | 78080 71435 110 | 0.000 % |
64.00/64.11 c | 133628 | 800 16000 80000 | 78080 71630 110 | 0.000 % |
64.10/64.25 c | 133840 | 800 16000 80000 | 78080 71842 110 | 0.000 % |
64.30/64.43 c | 134073 | 800 16000 80000 | 78080 72075 110 | 0.000 % |
64.51/64.61 c | 134329 | 800 16000 80000 | 78080 72331 110 | 0.000 % |
64.71/64.80 c | 134610 | 800 16000 80000 | 78080 72612 110 | 0.000 % |
64.81/64.99 c | 134919 | 800 16000 80000 | 78080 72921 110 | 0.000 % |
65.11/65.23 c | 135258 | 800 16000 80000 | 78080 73260 110 | 0.000 % |
65.31/65.45 c | 135631 | 800 16000 80000 | 78080 73633 110 | 0.000 % |
65.51/65.70 c | 136040 | 800 16000 80000 | 78080 74042 110 | 0.000 % |
65.91/66.02 c | 136490 | 800 16000 80000 | 78080 74492 110 | 0.000 % |
66.21/66.35 c | 136983 | 800 16000 80000 | 78080 74985 110 | 0.000 % |
66.61/66.74 c | 137527 | 800 16000 80000 | 78080 75529 110 | 0.000 % |
67.01/67.17 c | 138124 | 800 16000 80000 | 78080 76126 110 | 0.000 % |
67.51/67.63 c | 138779 | 800 16000 80000 | 78080 76781 110 | 0.000 % |
68.01/68.12 c | 139502 | 800 16000 80000 | 78080 77504 110 | 0.000 % |
68.51/68.65 c | 140294 | 800 16000 80000 | 78006 78296 110 | 0.000 % |
69.11/69.22 c | 141165 | 800 16000 80000 | 78006 68567 110 | 0.000 % |
69.61/69.79 c | 142125 | 800 16000 80000 | 78006 69527 110 | 0.000 % |
70.31/70.40 c | 143178 | 800 16000 80000 | 78006 70580 110 | 0.000 % |
71.01/71.13 c | 144336 | 800 16000 80000 | 78006 71738 110 | 0.000 % |
71.71/71.89 c | 145609 | 800 16000 80000 | 78006 73011 110 | 0.000 % |
72.61/72.76 c | 147009 | 800 16000 80000 | 78006 74411 110 | 0.000 % |
73.61/73.76 c | 148550 | 800 16000 80000 | 78006 75952 110 | 0.000 % |
73.71/73.85 c | 148651 | 800 16000 80000 | 78006 76053 110 | 0.000 % |
73.81/73.93 c | 148761 | 800 16000 80000 | 78006 76163 110 | 0.000 % |
73.91/74.01 c | 148884 | 800 16000 80000 | 78006 76286 110 | 0.000 % |
74.01/74.11 c | 149017 | 800 16000 80000 | 78006 76419 110 | 0.000 % |
74.11/74.23 c | 149163 | 800 16000 80000 | 78006 76565 110 | 0.000 % |
74.21/74.36 c | 149324 | 800 16000 80000 | 78006 76726 110 | 0.000 % |
74.31/74.49 c | 149500 | 800 16000 80000 | 78006 76902 110 | 0.000 % |
74.51/74.66 c | 149693 | 800 16000 80000 | 78006 77095 110 | 0.000 % |
74.71/74.81 c | 149906 | 800 16000 80000 | 78006 77308 110 | 0.000 % |
74.81/74.96 c | 150141 | 800 16000 80000 | 77405 77543 110 | 0.000 % |
75.01/75.16 c | 150397 | 800 16000 80000 | 77405 67651 110 | 0.000 % |
75.21/75.32 c | 150678 | 800 16000 80000 | 77405 67932 110 | 0.000 % |
75.41/75.51 c | 150987 | 800 16000 80000 | 77405 68241 110 | 0.000 % |
75.61/75.72 c | 151326 | 800 16000 80000 | 77405 68580 110 | 0.000 % |
75.81/75.95 c | 151701 | 800 16000 80000 | 77405 68955 110 | 0.000 % |
76.11/76.20 c | 152110 | 800 16000 80000 | 77405 69364 110 | 0.000 % |
76.31/76.47 c | 152559 | 800 16000 80000 | 77405 69813 110 | 0.000 % |
76.71/76.81 c | 153053 | 800 16000 80000 | 77405 70307 110 | 0.000 % |
77.01/77.18 c | 153596 | 800 16000 80000 | 77405 70850 110 | 0.000 % |
77.41/77.57 c | 154193 | 800 16000 80000 | 77405 71447 110 | 0.000 % |
77.81/77.97 c | 154849 | 800 16000 80000 | 77405 72103 110 | 0.000 % |
78.30/78.46 c | 155569 | 800 16000 80000 | 77405 72823 110 | 0.000 % |
78.91/79.01 c | 156361 | 800 16000 80000 | 77405 73615 110 | 0.000 % |
79.40/79.58 c | 157236 | 800 16000 80000 | 77405 74490 110 | 0.000 % |
80.00/80.19 c | 158196 | 800 16000 80000 | 77405 75450 110 | 0.000 % |
80.70/80.86 c | 159251 | 800 16000 80000 | 77405 76505 110 | 0.000 % |
81.50/81.64 c | 160410 | 800 16000 80000 | 77254 67973 110 | 0.000 % |
82.20/82.39 c | 161685 | 800 16000 80000 | 77254 69248 110 | 0.000 % |
83.10/83.24 c | 163085 | 800 16000 80000 | 77254 70648 110 | 0.000 % |
84.10/84.22 c | 164625 | 800 16000 80000 | 77254 72188 110 | 0.000 % |
85.20/85.35 c | 166319 | 800 16000 80000 | 77254 73882 111 | 0.000 % |
85.30/85.43 c | 166419 | 800 16000 80000 | 77254 73982 111 | 0.000 % |
85.40/85.50 c | 166530 | 800 16000 80000 | 77254 74093 111 | 0.000 % |
85.50/85.61 c | 166651 | 800 16000 80000 | 77254 74214 111 | 0.000 % |
85.50/85.70 c | 166784 | 800 16000 80000 | 77254 74347 111 | 0.000 % |
85.60/85.80 c | 166931 | 800 16000 80000 | 77254 74494 111 | 0.000 % |
85.80/85.92 c | 167091 | 800 16000 80000 | 77254 74654 111 | 0.000 % |
85.90/86.05 c | 167267 | 800 16000 80000 | 77254 74830 111 | 0.000 % |
86.10/86.21 c | 167460 | 800 16000 80000 | 77254 75023 111 | 0.000 % |
86.20/86.37 c | 167672 | 800 16000 80000 | 77254 75235 111 | 0.000 % |
86.40/86.52 c | 167905 | 800 16000 80000 | 77254 75468 111 | 0.000 % |
86.50/86.69 c | 168163 | 800 16000 80000 | 77254 75726 111 | 0.000 % |
86.70/86.90 c | 168447 | 800 16000 80000 | 77254 76010 111 | 0.000 % |
87.00/87.10 c | 168757 | 800 16000 80000 | 77254 76320 111 | 0.000 % |
87.20/87.33 c | 169096 | 800 16000 80000 | 77254 76659 111 | 0.000 % |
87.50/87.60 c | 169469 | 800 16000 80000 | 77254 77032 111 | 0.000 % |
87.70/87.87 c | 169878 | 800 16000 80000 | 77254 77441 111 | 0.000 % |
88.10/88.21 c | 170329 | 800 16000 80000 | 67975 60109 111 | 0.000 % |
88.30/88.47 c | 170822 | 800 16000 80000 | 67975 60602 111 | 0.000 % |
88.60/88.78 c | 171364 | 800 16000 80000 | 67975 61144 111 | 0.000 % |
88.90/89.10 c | 171960 | 800 16000 80000 | 67975 61740 111 | 0.000 % |
89.30/89.46 c | 172616 | 800 16000 80000 | 67975 62396 111 | 0.000 % |
89.70/89.85 c | 173336 | 800 16000 80000 | 67975 63116 111 | 0.000 % |
90.10/90.26 c | 174130 | 800 16000 80000 | 67975 63910 111 | 0.000 % |
90.50/90.69 c | 175001 | 800 16000 80000 | 67975 64781 111 | 0.000 % |
91.10/91.27 c | 175961 | 800 16000 80000 | 67975 65741 111 | 0.000 % |
91.79/91.92 c | 177016 | 800 16000 80000 | 67975 66796 111 | 0.000 % |
92.59/92.70 c | 178174 | 800 16000 80000 | 67975 67954 111 | 0.000 % |
93.30/93.44 c | 179447 | 800 16000 80000 | 67975 62401 111 | 0.000 % |
94.09/94.21 c | 180848 | 800 16000 80000 | 2147483647 63802 111 | 0.000 % |
94.89/95.07 c | 182388 | 800 16000 80000 | 2147483647 65342 110 | 0.000 % |
95.89/96.06 c | 184083 | 800 16000 80000 | 2147483647 67037 111 | 0.000 % |
96.99/97.16 c | 185947 | 800 16000 80000 | 2147483647 68901 111 | 0.000 % |
97.09/97.24 c | 186047 | 800 16000 80000 | 2147483647 69001 111 | 0.000 % |
97.19/97.33 c | 186157 | 800 16000 80000 | 2147483647 69111 111 | 0.000 % |
97.29/97.41 c | 186279 | 800 16000 80000 | 2147483647 69233 111 | 0.000 % |
97.29/97.49 c | 186413 | 800 16000 80000 | 2147483647 69367 111 | 0.000 % |
97.39/97.59 c | 186560 | 800 16000 80000 | 2147483647 69514 111 | 0.000 % |
97.59/97.70 c | 186720 | 800 16000 80000 | 2147483647 69674 111 | 0.000 % |
97.70/97.83 c | 186896 | 800 16000 80000 | 2147483647 69850 111 | 0.000 % |
97.80/97.96 c | 187089 | 800 16000 80000 | 2147483647 70043 111 | 0.000 % |
97.99/98.12 c | 187301 | 800 16000 80000 | 2147483647 70255 111 | 0.000 % |
98.09/98.27 c | 187535 | 800 16000 80000 | 2147483647 70489 110 | 0.000 % |
98.29/98.44 c | 187791 | 800 16000 80000 | 2147483647 70745 110 | 0.000 % |
98.49/98.63 c | 188072 | 800 16000 80000 | 2147483647 71026 110 | 0.000 % |
98.69/98.86 c | 188381 | 800 16000 80000 | 2147483647 71335 110 | 0.000 % |
98.89/99.08 c | 188720 | 800 16000 80000 | 2147483647 71674 110 | 0.000 % |
99.19/99.31 c | 189093 | 800 16000 80000 | 2147483647 72047 111 | 0.000 % |
99.39/99.60 c | 189502 | 800 16000 80000 | 2147483647 72456 110 | 0.000 % |
99.69/99.88 c | 189952 | 800 16000 80000 | 2147483647 72906 110 | 0.000 % |
99.99/100.19 c | 190445 | 800 16000 80000 | 2147483647 73399 110 | 0.000 % |
100.39/100.53 c | 190988 | 800 16000 80000 | 2147483647 73942 110 | 0.000 % |
100.79/100.92 c | 191584 | 800 16000 80000 | 2147483647 74538 110 | 0.000 % |
101.29/101.40 c | 192240 | 800 16000 80000 | 2147483647 75194 110 | 0.000 % |
101.69/101.87 c | 192960 | 800 16000 80000 | 2147483647 75914 110 | 0.000 % |
102.19/102.37 c | 193753 | 800 16000 80000 | 2147483647 76707 110 | 0.000 % |
102.79/102.94 c | 194624 | 800 16000 80000 | 2147483647 77578 110 | 0.000 % |
103.39/103.57 c | 195582 | 800 16000 80000 | 2147483647 78536 111 | 0.000 % |
104.19/104.34 c | 196637 | 800 16000 80000 | 2147483647 79591 111 | 0.000 % |
104.99/105.10 c | 197795 | 800 16000 80000 | 2147483647 80749 111 | 0.000 % |
105.78/105.95 c | 199068 | 800 16000 80000 | 2147483647 82022 111 | 0.000 % |
106.88/107.01 c | 200468 | 800 16000 80000 | 82954 71957 111 | 0.000 % |
107.78/107.92 c | 202009 | 800 16000 80000 | 82954 73498 111 | 0.000 % |
108.88/109.09 c | 203703 | 800 16000 80000 | 82954 75192 111 | 0.000 % |
110.18/110.30 c | 205567 | 800 16000 80000 | 82954 77056 111 | 0.000 % |
111.58/111.72 c | 207617 | 800 16000 80000 | 82954 79106 111 | 0.000 % |
111.58/111.78 c | 207718 | 800 16000 80000 | 82954 79207 111 | 0.000 % |
111.68/111.88 c | 207830 | 800 16000 80000 | 82954 79319 111 | 0.000 % |
111.78/111.97 c | 207951 | 800 16000 80000 | 82954 79440 111 | 0.000 % |
111.88/112.08 c | 208084 | 800 16000 80000 | 82954 79573 111 | 0.000 % |
112.08/112.21 c | 208232 | 800 16000 80000 | 82954 79721 111 | 0.000 % |
112.18/112.34 c | 208392 | 800 16000 80000 | 82954 79881 111 | 0.000 % |
112.38/112.50 c | 208568 | 800 16000 80000 | 82954 80057 111 | 0.000 % |
112.48/112.67 c | 208762 | 800 16000 80000 | 82954 80251 111 | 0.000 % |
112.68/112.84 c | 208974 | 800 16000 80000 | 82954 80463 111 | 0.000 % |
112.88/113.03 c | 209209 | 800 16000 80000 | 82954 80698 111 | 0.000 % |
113.08/113.23 c | 209465 | 800 16000 80000 | 82954 80954 111 | 0.000 % |
113.28/113.43 c | 209747 | 800 16000 80000 | 82954 81236 111 | 0.000 % |
113.48/113.65 c | 210057 | 800 16000 80000 | 81490 81546 111 | 0.000 % |
113.78/113.95 c | 210396 | 800 16000 80000 | 81490 70122 111 | 0.000 % |
114.08/114.21 c | 210768 | 800 16000 80000 | 81490 70494 111 | 0.000 % |
114.28/114.48 c | 211177 | 800 16000 80000 | 81490 70903 111 | 0.000 % |
114.58/114.76 c | 211627 | 800 16000 80000 | 81490 71353 111 | 0.000 % |
114.88/115.09 c | 212120 | 800 16000 80000 | 81490 71846 111 | 0.000 % |
115.28/115.42 c | 212664 | 800 16000 80000 | 81490 72390 111 | 0.000 % |
115.58/115.79 c | 213261 | 800 16000 80000 | 81490 72987 111 | 0.000 % |
115.98/116.19 c | 213916 | 800 16000 80000 | 81490 73642 111 | 0.000 % |
116.48/116.63 c | 214636 | 800 16000 80000 | 81490 74362 111 | 0.000 % |
116.98/117.11 c | 215428 | 800 16000 80000 | 81490 75154 111 | 0.000 % |
117.48/117.65 c | 216299 | 800 16000 80000 | 81490 76025 111 | 0.000 % |
118.08/118.24 c | 217259 | 800 16000 80000 | 81490 76985 111 | 0.000 % |
118.68/118.87 c | 218312 | 800 16000 80000 | 81490 78038 111 | 0.000 % |
119.37/119.59 c | 219472 | 800 16000 80000 | 81490 79198 111 | 0.000 % |
120.27/120.44 c | 220747 | 800 16000 80000 | 79727 70210 111 | 0.000 % |
121.07/121.26 c | 222147 | 800 16000 80000 | 79727 71610 111 | 0.000 % |
121.98/122.17 c | 223687 | 800 16000 80000 | 79727 73150 112 | 0.000 % |
123.08/123.27 c | 225383 | 800 16000 80000 | 79727 74846 112 | 0.000 % |
124.27/124.49 c | 227248 | 800 16000 80000 | 79727 76711 112 | 0.000 % |
125.67/125.89 c | 229297 | 800 16000 80000 | 79727 78760 112 | 0.000 % |
127.17/127.30 c | 231550 | 800 16000 80000 | 79463 71109 112 | 0.000 % |
127.27/127.40 c | 231650 | 800 16000 80000 | 79463 71209 112 | 0.000 % |
127.27/127.49 c | 231761 | 800 16000 80000 | 79463 71320 112 | 0.000 % |
127.37/127.56 c | 231882 | 800 16000 80000 | 79463 71441 112 | 0.000 % |
127.47/127.66 c | 232016 | 800 16000 80000 | 79463 71575 112 | 0.000 % |
127.57/127.79 c | 232162 | 800 16000 80000 | 79463 71721 112 | 0.000 % |
127.77/127.91 c | 232322 | 800 16000 80000 | 79463 71881 112 | 0.000 % |
127.87/128.04 c | 232499 | 800 16000 80000 | 79463 72058 112 | 0.000 % |
127.97/128.17 c | 232693 | 800 16000 80000 | 79463 72252 112 | 0.000 % |
128.17/128.33 c | 232905 | 800 16000 80000 | 79463 72464 112 | 0.000 % |
128.27/128.47 c | 233139 | 800 16000 80000 | 79463 72698 112 | 0.000 % |
128.47/128.64 c | 233396 | 800 16000 80000 | 79463 72955 112 | 0.000 % |
128.67/128.82 c | 233678 | 800 16000 80000 | 79463 73237 112 | 0.000 % |
128.87/129.02 c | 233987 | 800 16000 80000 | 79463 73546 112 | 0.000 % |
129.07/129.23 c | 234328 | 800 16000 80000 | 79463 73887 112 | 0.000 % |
129.27/129.47 c | 234700 | 800 16000 80000 | 79463 74259 112 | 0.000 % |
129.57/129.73 c | 235110 | 800 16000 80000 | 79463 74669 112 | 0.000 % |
129.87/130.01 c | 235559 | 800 16000 80000 | 79463 75118 112 | 0.000 % |
130.17/130.36 c | 236052 | 800 16000 80000 | 79463 75611 112 | 0.000 % |
130.57/130.77 c | 236594 | 800 16000 80000 | 79463 76153 112 | 0.000 % |
130.97/131.16 c | 237190 | 800 16000 80000 | 79463 76749 112 | 0.000 % |
131.37/131.59 c | 237850 | 800 16000 80000 | 79463 77409 112 | 0.000 % |
131.87/132.07 c | 238570 | 800 16000 80000 | 79463 78129 112 | 0.000 % |
132.47/132.62 c | 239362 | 800 16000 80000 | 79463 78921 112 | 0.000 % |
133.07/133.22 c | 240234 | 800 16000 80000 | 79560 79793 112 | 0.000 % |
133.67/133.85 c | 241192 | 800 16000 80000 | 79560 69669 111 | 0.000 % |
134.27/134.47 c | 242246 | 800 16000 80000 | 79560 70723 111 | 0.000 % |
134.97/135.13 c | 243404 | 800 16000 80000 | 79560 71881 111 | 0.000 % |
135.76/135.90 c | 244679 | 800 16000 80000 | 79560 73156 111 | 0.000 % |
136.56/136.79 c | 246079 | 800 16000 80000 | 79560 74556 111 | 0.000 % |
137.56/137.78 c | 247619 | 800 16000 80000 | 79560 76096 111 | 0.000 % |
138.76/138.95 c | 249313 | 800 16000 80000 | 79560 77790 112 | 0.000 % |
139.96/140.13 c | 251176 | 800 16000 80000 | 78478 69838 112 | 0.000 % |
141.16/141.35 c | 253226 | 800 16000 80000 | 78478 71888 112 | 0.000 % |
142.56/142.77 c | 255480 | 800 16000 80000 | 78478 74142 112 | 0.000 % |
144.16/144.34 c | 257959 | 800 16000 80000 | 78478 76621 112 | 0.000 % |
144.26/144.41 c | 258059 | 800 16000 80000 | 78478 76721 112 | 0.000 % |
144.26/144.49 c | 258170 | 800 16000 80000 | 78478 76832 112 | 0.000 % |
144.36/144.59 c | 258293 | 800 16000 80000 | 78478 76955 112 | 0.000 % |
144.46/144.68 c | 258427 | 800 16000 80000 | 78478 77089 112 | 0.000 % |
144.56/144.79 c | 258574 | 800 16000 80000 | 78478 77236 112 | 0.000 % |
144.76/144.94 c | 258737 | 800 16000 80000 | 78478 77399 112 | 0.000 % |
144.86/145.08 c | 258913 | 800 16000 80000 | 78478 77575 112 | 0.000 % |
145.06/145.21 c | 259106 | 800 16000 80000 | 78478 77768 112 | 0.000 % |
145.16/145.35 c | 259319 | 800 16000 80000 | 78478 77981 112 | 0.000 % |
145.36/145.52 c | 259553 | 800 16000 80000 | 78478 78215 112 | 0.000 % |
145.56/145.72 c | 259810 | 800 16000 80000 | 78478 78472 112 | 0.000 % |
145.76/145.93 c | 260092 | 800 16000 80000 | 78662 78754 112 | 0.000 % |
145.96/146.18 c | 260403 | 800 16000 80000 | 78662 69430 112 | 0.000 % |
146.26/146.41 c | 260742 | 800 16000 80000 | 78662 69769 112 | 0.000 % |
146.46/146.64 c | 261115 | 800 16000 80000 | 78662 70142 112 | 0.000 % |
146.66/146.88 c | 261524 | 800 16000 80000 | 78662 70551 112 | 0.000 % |
146.96/147.18 c | 261973 | 800 16000 80000 | 78662 71000 112 | 0.000 % |
147.36/147.50 c | 262466 | 800 16000 80000 | 78662 71493 112 | 0.000 % |
147.66/147.83 c | 263008 | 800 16000 80000 | 78662 72035 112 | 0.000 % |
148.06/148.26 c | 263607 | 800 16000 80000 | 78662 72634 112 | 0.000 % |
148.56/148.71 c | 264262 | 800 16000 80000 | 78662 73289 112 | 0.000 % |
149.06/149.22 c | 264982 | 800 16000 80000 | 78662 74009 112 | 0.000 % |
149.56/149.76 c | 265777 | 800 16000 80000 | 78662 74804 112 | 0.000 % |
150.16/150.34 c | 266649 | 800 16000 80000 | 78662 75676 112 | 0.000 % |
150.76/150.93 c | 267608 | 800 16000 80000 | 78662 76635 112 | 0.000 % |
151.45/151.62 c | 268661 | 800 16000 80000 | 78662 77688 112 | 0.000 % |
152.15/152.38 c | 269822 | 800 16000 80000 | 78662 78849 112 | 0.000 % |
152.95/153.17 c | 271095 | 800 16000 80000 | 68979 61424 111 | 0.000 % |
153.76/153.93 c | 272495 | 800 16000 80000 | 68979 62824 111 | 0.000 % |
154.55/154.71 c | 274036 | 800 16000 80000 | 68979 64365 112 | 0.000 % |
155.45/155.67 c | 275731 | 800 16000 80000 | 68979 66060 112 | 0.000 % |
156.55/156.70 c | 277595 | 800 16000 80000 | 68979 67924 112 | 0.000 % |
157.65/157.88 c | 279647 | 800 16000 80000 | 68979 63052 112 | 0.000 % |
158.85/159.02 c | 281900 | 800 16000 80000 | 2147483647 65305 112 | 0.000 % |
160.25/160.41 c | 284379 | 800 16000 80000 | 2147483647 67784 112 | 0.000 % |
161.75/161.99 c | 287104 | 800 16000 80000 | 2147483647 70509 112 | 0.000 % |
161.85/162.04 c | 287204 | 800 16000 80000 | 2147483647 70609 112 | 0.000 % |
161.95/162.12 c | 287315 | 800 16000 80000 | 2147483647 70720 112 | 0.000 % |
162.05/162.21 c | 287439 | 800 16000 80000 | 2147483647 70844 112 | 0.000 % |
162.05/162.29 c | 287572 | 800 16000 80000 | 2147483647 70977 112 | 0.000 % |
162.25/162.40 c | 287718 | 800 16000 80000 | 2147483647 71123 112 | 0.000 % |
162.35/162.51 c | 287879 | 800 16000 80000 | 2147483647 71284 112 | 0.000 % |
162.45/162.62 c | 288056 | 800 16000 80000 | 2147483647 71461 112 | 0.000 % |
162.55/162.77 c | 288252 | 800 16000 80000 | 2147483647 71657 112 | 0.000 % |
162.75/162.91 c | 288464 | 800 16000 80000 | 2147483647 71869 112 | 0.000 % |
162.85/163.07 c | 288698 | 800 16000 80000 | 2147483647 72103 112 | 0.000 % |
163.05/163.24 c | 288954 | 800 16000 80000 | 2147483647 72359 112 | 0.000 % |
163.25/163.41 c | 289235 | 800 16000 80000 | 2147483647 72640 112 | 0.000 % |
163.35/163.59 c | 289544 | 800 16000 80000 | 2147483647 72949 112 | 0.000 % |
163.65/163.82 c | 289883 | 800 16000 80000 | 2147483647 73288 112 | 0.000 % |
163.85/164.07 c | 290256 | 800 16000 80000 | 2147483647 73661 112 | 0.000 % |
164.15/164.34 c | 290665 | 800 16000 80000 | 2147483647 74070 112 | 0.000 % |
164.45/164.61 c | 291114 | 800 16000 80000 | 2147483647 74519 112 | 0.000 % |
164.75/164.93 c | 291609 | 800 16000 80000 | 2147483647 75014 112 | 0.000 % |
165.05/165.29 c | 292151 | 800 16000 80000 | 2147483647 75556 112 | 0.000 % |
165.45/165.67 c | 292747 | 800 16000 80000 | 2147483647 76152 112 | 0.000 % |
165.95/166.10 c | 293402 | 800 16000 80000 | 2147483647 76807 112 | 0.000 % |
166.35/166.59 c | 294124 | 800 16000 80000 | 2147483647 77529 112 | 0.000 % |
166.85/167.09 c | 294919 | 800 16000 80000 | 2147483647 78324 112 | 0.000 % |
167.45/167.64 c | 295793 | 800 16000 80000 | 2147483647 79198 112 | 0.000 % |
168.05/168.24 c | 296751 | 800 16000 80000 | 2147483647 80156 112 | 0.000 % |
168.75/168.91 c | 297805 | 800 16000 80000 | 2147483647 81210 112 | 0.000 % |
169.54/169.70 c | 298963 | 800 16000 80000 | 2147483647 82368 112 | 0.000 % |
170.45/170.60 c | 300238 | 800 16000 80000 | 83405 83643 112 | 0.000 % |
171.35/171.56 c | 301639 | 800 16000 80000 | 83405 74188 111 | 0.000 % |
172.25/172.47 c | 303179 | 800 16000 80000 | 83405 75728 111 | 0.000 % |
173.45/173.63 c | 304874 | 800 16000 80000 | 83405 77423 111 | 0.000 % |
174.65/174.84 c | 306738 | 800 16000 80000 | 83405 79287 111 | 0.000 % |
176.05/176.25 c | 308789 | 800 16000 80000 | 83405 81338 112 | 0.000 % |
177.65/177.82 c | 311042 | 800 16000 80000 | 82552 72259 112 | 0.000 % |
179.15/179.34 c | 313521 | 800 16000 80000 | 82552 74738 112 | 0.000 % |
180.85/181.07 c | 316246 | 800 16000 80000 | 82552 77463 112 | 0.000 % |
182.74/183.00 c | 319244 | 800 16000 80000 | 82552 80461 112 | 0.000 % |
182.84/183.07 c | 319344 | 800 16000 80000 | 82552 80561 112 | 0.000 % |
182.94/183.15 c | 319454 | 800 16000 80000 | 82552 80671 112 | 0.000 % |
183.04/183.25 c | 319575 | 800 16000 80000 | 82552 80792 112 | 0.000 % |
183.14/183.37 c | 319708 | 800 16000 80000 | 82552 80925 112 | 0.000 % |
183.24/183.49 c | 319855 | 800 16000 80000 | 82552 81072 112 | 0.000 % |
183.45/183.61 c | 320016 | 800 16000 80000 | 81218 81233 112 | 0.000 % |
183.64/183.80 c | 320192 | 800 16000 80000 | 81218 69989 112 | 0.000 % |
183.74/183.92 c | 320385 | 800 16000 80000 | 81218 70182 112 | 0.000 % |
183.84/184.06 c | 320599 | 800 16000 80000 | 81218 70396 112 | 0.000 % |
184.04/184.24 c | 320834 | 800 16000 80000 | 81218 70631 112 | 0.000 % |
184.24/184.40 c | 321090 | 800 16000 80000 | 81218 70887 112 | 0.000 % |
184.44/184.60 c | 321372 | 800 16000 80000 | 81218 71169 112 | 0.000 % |
184.55/184.80 c | 321681 | 800 16000 80000 | 81218 71478 112 | 0.000 % |
184.84/185.02 c | 322020 | 800 16000 80000 | 81218 71817 112 | 0.000 % |
185.04/185.28 c | 322393 | 800 16000 80000 | 81218 72190 112 | 0.000 % |
185.34/185.54 c | 322804 | 800 16000 80000 | 81218 72601 112 | 0.000 % |
185.64/185.83 c | 323254 | 800 16000 80000 | 81218 73051 112 | 0.000 % |
185.94/186.16 c | 323748 | 800 16000 80000 | 81218 73545 112 | 0.000 % |
186.34/186.53 c | 324292 | 800 16000 80000 | 81218 74089 112 | 0.000 % |
186.64/186.90 c | 324890 | 800 16000 80000 | 81218 74687 112 | 0.000 % |
187.14/187.35 c | 325545 | 800 16000 80000 | 81218 75342 112 | 0.000 % |
187.64/187.88 c | 326265 | 800 16000 80000 | 81218 76062 112 | 0.000 % |
188.24/188.45 c | 327058 | 800 16000 80000 | 81218 76855 112 | 0.000 % |
188.84/189.06 c | 327929 | 800 16000 80000 | 81218 77726 112 | 0.000 % |
189.44/189.70 c | 328887 | 800 16000 80000 | 81218 78684 112 | 0.000 % |
190.24/190.40 c | 329941 | 800 16000 80000 | 81218 79738 112 | 0.000 % |
190.94/191.17 c | 331099 | 800 16000 80000 | 79797 69589 112 | 0.000 % |
191.74/191.96 c | 332372 | 800 16000 80000 | 79797 70862 112 | 0.000 % |
192.64/192.83 c | 333772 | 800 16000 80000 | 79797 72262 112 | 0.000 % |
193.54/193.77 c | 335313 | 800 16000 80000 | 79797 73803 112 | 0.000 % |
194.64/194.84 c | 337007 | 800 16000 80000 | 79797 75497 112 | 0.000 % |
195.94/196.11 c | 338870 | 800 16000 80000 | 79797 77360 112 | 0.000 % |
197.33/197.52 c | 340921 | 800 16000 80000 | 78491 68894 112 | 0.000 % |
198.73/198.92 c | 343174 | 800 16000 80000 | 78491 71147 113 | 0.000 % |
200.23/200.47 c | 345653 | 800 16000 80000 | 78491 73626 113 | 0.000 % |
201.93/202.18 c | 348378 | 800 16000 80000 | 78491 76351 113 | 0.000 % |
203.83/204.06 c | 351376 | 800 16000 80000 | 77974 69619 113 | 0.000 % |
205.73/205.98 c | 354672 | 800 16000 80000 | 77974 72915 113 | 0.000 % |
205.83/206.04 c | 354774 | 800 16000 80000 | 77974 73017 113 | 0.000 % |
205.93/206.12 c | 354884 | 800 16000 80000 | 77974 73127 113 | 0.000 % |
206.03/206.21 c | 355005 | 800 16000 80000 | 77974 73248 113 | 0.000 % |
206.13/206.32 c | 355138 | 800 16000 80000 | 77974 73381 113 | 0.000 % |
206.23/206.42 c | 355285 | 800 16000 80000 | 77974 73528 113 | 0.000 % |
206.33/206.54 c | 355445 | 800 16000 80000 | 77974 73688 113 | 0.000 % |
206.43/206.67 c | 355621 | 800 16000 80000 | 77974 73864 113 | 0.000 % |
206.63/206.80 c | 355814 | 800 16000 80000 | 77974 74057 113 | 0.000 % |
206.73/206.93 c | 356027 | 800 16000 80000 | 77974 74270 113 | 0.000 % |
206.93/207.12 c | 356260 | 800 16000 80000 | 77974 74503 113 | 0.000 % |
207.03/207.28 c | 356516 | 800 16000 80000 | 77974 74759 113 | 0.000 % |
207.23/207.48 c | 356798 | 800 16000 80000 | 77974 75041 113 | 0.000 % |
207.53/207.71 c | 357110 | 800 16000 80000 | 77974 75353 113 | 0.000 % |
207.73/207.94 c | 357450 | 800 16000 80000 | 77974 75693 113 | 0.000 % |
207.93/208.20 c | 357825 | 800 16000 80000 | 77974 76068 113 | 0.000 % |
208.23/208.47 c | 358234 | 800 16000 80000 | 77974 76477 113 | 0.000 % |
208.53/208.79 c | 358686 | 800 16000 80000 | 77974 76929 113 | 0.000 % |
208.83/209.09 c | 359181 | 800 16000 80000 | 77974 77424 113 | 0.000 % |
209.23/209.48 c | 359723 | 800 16000 80000 | 77974 77966 113 | 0.000 % |
209.73/209.93 c | 360321 | 800 16000 80000 | 78243 68849 113 | 0.000 % |
210.13/210.34 c | 360976 | 800 16000 80000 | 78243 69504 113 | 0.000 % |
210.63/210.81 c | 361698 | 800 16000 80000 | 78243 70226 113 | 0.000 % |
211.03/211.28 c | 362491 | 800 16000 80000 | 78243 71019 112 | 0.000 % |
211.63/211.81 c | 363362 | 800 16000 80000 | 78243 71890 112 | 0.000 % |
212.13/212.39 c | 364320 | 800 16000 80000 | 78243 72848 113 | 0.000 % |
212.83/213.02 c | 365373 | 800 16000 80000 | 78243 73901 113 | 0.000 % |
213.53/213.70 c | 366531 | 800 16000 80000 | 78243 75059 112 | 0.000 % |
214.42/214.60 c | 367804 | 800 16000 80000 | 78243 76332 112 | 0.000 % |
215.22/215.48 c | 369206 | 800 16000 80000 | 78243 77734 112 | 0.000 % |
216.22/216.45 c | 370748 | 800 16000 80000 | 78530 69935 112 | 0.000 % |
217.22/217.43 c | 372444 | 800 16000 80000 | 78530 71631 112 | 0.000 % |
218.42/218.62 c | 374307 | 800 16000 80000 | 78530 73494 112 | 0.000 % |
219.72/219.92 c | 376356 | 800 16000 80000 | 78530 75543 113 | 0.000 % |
221.12/221.34 c | 378611 | 800 16000 80000 | 78530 77798 113 | 0.000 % |
222.62/222.87 c | 381089 | 800 16000 80000 | 69655 62431 112 | 0.000 % |
224.22/224.46 c | 383816 | 800 16000 80000 | 69655 65158 113 | 0.000 % |
225.92/226.11 c | 386813 | 800 16000 80000 | 69655 68155 113 | 0.000 % |
227.81/228.03 c | 390110 | 800 16000 80000 | 2147483647 64463 113 | 0.000 % |
229.81/230.04 c | 393735 | 800 16000 80000 | 2147483647 68088 113 | 0.000 % |
229.81/230.10 c | 393835 | 800 16000 80000 | 2147483647 68188 113 | 0.000 % |
229.91/230.18 c | 393945 | 800 16000 80000 | 2147483647 68298 113 | 0.000 % |
230.01/230.25 c | 394067 | 800 16000 80000 | 2147483647 68420 113 | 0.000 % |
230.11/230.36 c | 394203 | 800 16000 80000 | 2147483647 68556 113 | 0.000 % |
230.21/230.45 c | 394350 | 800 16000 80000 | 2147483647 68703 113 | 0.000 % |
230.31/230.54 c | 394510 | 800 16000 80000 | 2147483647 68863 113 | 0.000 % |
230.41/230.68 c | 394686 | 800 16000 80000 | 2147483647 69039 113 | 0.000 % |
230.61/230.80 c | 394882 | 800 16000 80000 | 2147483647 69235 113 | 0.000 % |
230.72/230.94 c | 395096 | 800 16000 80000 | 2147483647 69449 113 | 0.000 % |
230.91/231.10 c | 395329 | 800 16000 80000 | 2147483647 69682 113 | 0.000 % |
231.01/231.28 c | 395586 | 800 16000 80000 | 2147483647 69939 113 | 0.000 % |
231.21/231.48 c | 395870 | 800 16000 80000 | 2147483647 70223 113 | 0.000 % |
231.41/231.68 c | 396180 | 800 16000 80000 | 2147483647 70533 113 | 0.000 % |
231.71/231.90 c | 396519 | 800 16000 80000 | 2147483647 70872 113 | 0.000 % |
231.91/232.17 c | 396893 | 800 16000 80000 | 2147483647 71246 113 | 0.000 % |
232.21/232.42 c | 397303 | 800 16000 80000 | 2147483647 71656 113 | 0.000 % |
232.41/232.69 c | 397753 | 800 16000 80000 | 2147483647 72106 113 | 0.000 % |
232.81/233.02 c | 398246 | 800 16000 80000 | 2147483647 72599 113 | 0.000 % |
233.11/233.35 c | 398790 | 800 16000 80000 | 2147483647 73143 113 | 0.000 % |
233.51/233.73 c | 399386 | 800 16000 80000 | 2147483647 73739 113 | 0.000 % |
233.91/234.12 c | 400042 | 800 16000 80000 | 2147483647 74395 113 | 0.000 % |
234.41/234.63 c | 400764 | 800 16000 80000 | 2147483647 75117 113 | 0.000 % |
235.00/235.21 c | 401557 | 800 16000 80000 | 2147483647 75910 113 | 0.000 % |
235.60/235.81 c | 402430 | 800 16000 80000 | 2147483647 76783 113 | 0.000 % |
236.20/236.49 c | 403388 | 800 16000 80000 | 2147483647 77741 113 | 0.000 % |
236.99/237.23 c | 404443 | 800 16000 80000 | 2147483647 78796 113 | 0.000 % |
237.89/238.11 c | 405601 | 800 16000 80000 | 2147483647 79954 113 | 0.000 % |
238.69/238.99 c | 406874 | 800 16000 80000 | 2147483647 81227 113 | 0.000 % |
239.69/239.96 c | 408274 | 800 16000 80000 | 2147483647 82627 113 | 0.000 % |
240.79/241.06 c | 409815 | 800 16000 80000 | 2147483647 84168 113 | 0.000 % |
241.99/242.21 c | 411510 | 800 16000 80000 | 84353 74087 113 | 0.000 % |
243.19/243.47 c | 413373 | 800 16000 80000 | 84353 75950 113 | 0.000 % |
244.59/244.85 c | 415422 | 800 16000 80000 | 84353 77999 113 | 0.000 % |
245.99/246.29 c | 417675 | 800 16000 80000 | 84353 80252 113 | 0.000 % |
247.69/247.94 c | 420154 | 800 16000 80000 | 82578 82731 113 | 0.000 % |
249.39/249.61 c | 422879 | 800 16000 80000 | 82578 74105 112 | 0.000 % |
251.29/251.53 c | 425876 | 800 16000 80000 | 82578 77102 112 | 0.000 % |
253.50/253.70 c | 429172 | 800 16000 80000 | 82578 80398 113 | 0.000 % |
255.90/256.13 c | 432798 | 800 16000 80000 | 81226 73725 113 | 0.000 % |
258.49/258.72 c | 436787 | 800 16000 80000 | 81226 77714 113 | 0.000 % |
258.49/258.79 c | 436888 | 800 16000 80000 | 81226 77815 113 | 0.000 % |
258.59/258.87 c | 436998 | 800 16000 80000 | 81226 77925 113 | 0.000 % |
258.69/258.97 c | 437119 | 800 16000 80000 | 81226 78046 113 | 0.000 % |
258.79/259.07 c | 437253 | 800 16000 80000 | 81226 78180 113 | 0.000 % |
258.89/259.17 c | 437401 | 800 16000 80000 | 81226 78328 113 | 0.000 % |
258.99/259.29 c | 437561 | 800 16000 80000 | 81226 78488 113 | 0.000 % |
259.19/259.45 c | 437740 | 800 16000 80000 | 81226 78667 113 | 0.000 % |
259.39/259.61 c | 437933 | 800 16000 80000 | 81226 78860 113 | 0.000 % |
259.49/259.77 c | 438145 | 800 16000 80000 | 81226 79072 113 | 0.000 % |
259.69/259.92 c | 438379 | 800 16000 80000 | 81226 79306 113 | 0.000 % |
259.89/260.12 c | 438637 | 800 16000 80000 | 81226 79564 113 | 0.000 % |
260.09/260.33 c | 438919 | 800 16000 80000 | 81226 79846 113 | 0.000 % |
260.29/260.54 c | 439228 | 800 16000 80000 | 81226 80155 113 | 0.000 % |
260.49/260.78 c | 439568 | 800 16000 80000 | 81226 80495 113 | 0.000 % |
260.89/261.11 c | 439945 | 800 16000 80000 | 81226 80872 113 | 0.000 % |
261.19/261.47 c | 440355 | 800 16000 80000 | 80928 70327 113 | 0.000 % |
261.49/261.74 c | 440804 | 800 16000 80000 | 80928 70776 113 | 0.000 % |
261.79/262.03 c | 441297 | 800 16000 80000 | 80928 71269 113 | 0.000 % |
262.09/262.36 c | 441839 | 800 16000 80000 | 80928 71811 113 | 0.000 % |
262.49/262.72 c | 442436 | 800 16000 80000 | 80928 72408 113 | 0.000 % |
262.89/263.13 c | 443091 | 800 16000 80000 | 80928 73063 113 | 0.000 % |
263.39/263.61 c | 443811 | 800 16000 80000 | 80928 73783 113 | 0.000 % |
263.79/264.10 c | 444604 | 800 16000 80000 | 80928 74576 114 | 0.000 % |
264.39/264.65 c | 445475 | 800 16000 80000 | 80928 75447 114 | 0.000 % |
264.99/265.27 c | 446434 | 800 16000 80000 | 80928 76406 113 | 0.000 % |
265.69/265.94 c | 447491 | 800 16000 80000 | 80928 77463 113 | 0.000 % |
266.49/266.71 c | 448650 | 800 16000 80000 | 80928 78622 113 | 0.000 % |
267.28/267.53 c | 449925 | 800 16000 80000 | 80928 79897 113 | 0.000 % |
268.19/268.42 c | 451325 | 800 16000 80000 | 79973 70865 113 | 0.000 % |
268.98/269.28 c | 452867 | 800 16000 80000 | 79973 72407 113 | 0.000 % |
269.98/270.28 c | 454561 | 800 16000 80000 | 79973 74101 113 | 0.000 % |
271.18/271.47 c | 456424 | 800 16000 80000 | 79973 75964 113 | 0.000 % |
272.48/272.78 c | 458478 | 800 16000 80000 | 79973 78018 113 | 0.000 % |
273.98/274.23 c | 460731 | 800 16000 80000 | 79541 70552 113 | 0.000 % |
275.38/275.68 c | 463210 | 800 16000 80000 | 79541 73031 113 | 0.000 % |
277.18/277.43 c | 465936 | 800 16000 80000 | 79541 75757 113 | 0.000 % |
279.08/279.36 c | 468933 | 800 16000 80000 | 79541 78754 113 | 0.000 % |
281.18/281.41 c | 472229 | 800 16000 80000 | 69972 63590 114 | 0.000 % |
283.18/283.40 c | 475854 | 800 16000 80000 | 69972 67215 114 | 0.000 % |
285.48/285.72 c | 479841 | 800 16000 80000 | 69972 64178 114 | 0.000 % |
288.07/288.35 c | 484227 | 800 16000 80000 | 2147483647 68564 114 | 0.000 % |
288.17/288.41 c | 484327 | 800 16000 80000 | 2147483647 68664 114 | 0.000 % |
288.17/288.48 c | 484439 | 800 16000 80000 | 2147483647 68776 114 | 0.000 % |
288.27/288.57 c | 484560 | 800 16000 80000 | 2147483647 68897 114 | 0.000 % |
288.37/288.67 c | 484693 | 800 16000 80000 | 2147483647 69030 114 | 0.000 % |
288.47/288.77 c | 484839 | 800 16000 80000 | 2147483647 69176 114 | 0.000 % |
288.57/288.86 c | 485001 | 800 16000 80000 | 2147483647 69338 114 | 0.000 % |
288.77/289.00 c | 485179 | 800 16000 80000 | 2147483647 69516 114 | 0.000 % |
288.87/289.12 c | 485373 | 800 16000 80000 | 2147483647 69710 114 | 0.000 % |
288.98/289.26 c | 485586 | 800 16000 80000 | 2147483647 69923 114 | 0.000 % |
289.17/289.41 c | 485819 | 800 16000 80000 | 2147483647 70156 114 | 0.000 % |
289.27/289.57 c | 486075 | 800 16000 80000 | 2147483647 70412 114 | 0.000 % |
289.47/289.78 c | 486359 | 800 16000 80000 | 2147483647 70696 114 | 0.000 % |
289.67/289.97 c | 486668 | 800 16000 80000 | 2147483647 71005 114 | 0.000 % |
289.97/290.22 c | 487008 | 800 16000 80000 | 2147483647 71345 114 | 0.000 % |
290.18/290.49 c | 487380 | 800 16000 80000 | 2147483647 71717 114 | 0.000 % |
290.47/290.77 c | 487789 | 800 16000 80000 | 2147483647 72126 114 | 0.000 % |
290.77/291.06 c | 488238 | 800 16000 80000 | 2147483647 72575 114 | 0.000 % |
291.07/291.37 c | 488733 | 800 16000 80000 | 2147483647 73070 114 | 0.000 % |
291.47/291.72 c | 489280 | 800 16000 80000 | 2147483647 73617 114 | 0.000 % |
291.87/292.13 c | 489879 | 800 16000 80000 | 2147483647 74216 114 | 0.000 % |
292.28/292.56 c | 490534 | 800 16000 80000 | 74338 67116 114 | 0.000 % |
292.67/292.99 c | 491255 | 800 16000 80000 | 74338 67837 114 | 0.000 % |
293.17/293.49 c | 492049 | 800 16000 80000 | 74338 68631 114 | 0.000 % |
293.77/294.01 c | 492920 | 800 16000 80000 | 74338 69502 114 | 0.000 % |
294.27/294.57 c | 493878 | 800 16000 80000 | 74338 70460 114 | 0.000 % |
294.97/295.23 c | 494932 | 800 16000 80000 | 74338 71514 114 | 0.000 % |
295.67/295.91 c | 496090 | 800 16000 80000 | 74338 72672 114 | 0.000 % |
296.47/296.71 c | 497364 | 800 16000 80000 | 74338 73946 114 | 0.000 % |
297.27/297.57 c | 498768 | 800 16000 80000 | 74338 67512 113 | 0.000 % |
298.27/298.52 c | 500312 | 800 16000 80000 | 68745 62155 114 | 0.000 % |
299.17/299.42 c | 502006 | 800 16000 80000 | 68745 63849 113 | 0.000 % |
300.17/300.49 c | 503869 | 800 16000 80000 | 68745 65712 113 | 0.000 % |
301.37/301.62 c | 505919 | 800 16000 80000 | 68745 67762 113 | 0.000 % |
302.67/302.91 c | 508172 | 800 16000 80000 | 68745 63114 114 | 0.000 % |
304.06/304.32 c | 510650 | 800 16000 80000 | 2147483647 65592 114 | 0.000 % |
305.57/305.88 c | 513375 | 800 16000 80000 | 2147483647 68317 114 | 0.000 % |
307.36/307.70 c | 516372 | 800 16000 80000 | 2147483647 71314 115 | 0.000 % |
309.36/309.61 c | 519672 | 800 16000 80000 | 2147483647 74614 115 | 0.000 % |
311.66/311.98 c | 523297 | 800 16000 80000 | 2147483647 78239 115 | 0.000 % |
314.36/314.69 c | 527287 | 800 16000 80000 | 2147483647 82229 115 | 0.000 % |
317.36/317.70 c | 531672 | 800 16000 80000 | 84942 74955 115 | 0.000 % |
320.45/320.78 c | 536495 | 800 16000 80000 | 84942 79778 115 | 0.000 % |
320.55/320.85 c | 536595 | 800 16000 80000 | 84942 79878 115 | 0.000 % |
320.65/320.96 c | 536706 | 800 16000 80000 | 84942 79989 115 | 0.000 % |
320.75/321.05 c | 536829 | 800 16000 80000 | 84942 80112 115 | 0.000 % |
320.86/321.14 c | 536963 | 800 16000 80000 | 84942 80246 115 | 0.000 % |
320.96/321.26 c | 537112 | 800 16000 80000 | 84942 80395 115 | 0.000 % |
321.05/321.38 c | 537272 | 800 16000 80000 | 84942 80555 115 | 0.000 % |
321.25/321.51 c | 537448 | 800 16000 80000 | 84942 80731 115 | 0.000 % |
321.35/321.66 c | 537642 | 800 16000 80000 | 84942 80925 115 | 0.000 % |
321.55/321.81 c | 537854 | 800 16000 80000 | 84942 81137 115 | 0.000 % |
321.65/321.97 c | 538088 | 800 16000 80000 | 84942 81371 115 | 0.000 % |
321.85/322.19 c | 538344 | 800 16000 80000 | 84942 81627 114 | 0.000 % |
322.06/322.39 c | 538625 | 800 16000 80000 | 84942 81908 114 | 0.000 % |
322.35/322.63 c | 538934 | 800 16000 80000 | 84942 82217 114 | 0.000 % |
322.65/322.90 c | 539276 | 800 16000 80000 | 84942 82559 114 | 0.000 % |
322.85/323.18 c | 539648 | 800 16000 80000 | 84942 82931 114 | 0.000 % |
323.16/323.49 c | 540057 | 800 16000 80000 | 83286 83340 114 | 0.000 % |
323.55/323.83 c | 540507 | 800 16000 80000 | 83286 71533 114 | 0.000 % |
323.85/324.14 c | 541000 | 800 16000 80000 | 83286 72026 114 | 0.000 % |
324.15/324.48 c | 541543 | 800 16000 80000 | 83286 72569 114 | 0.000 % |
324.55/324.86 c | 542140 | 800 16000 80000 | 83286 73166 114 | 0.000 % |
325.05/325.30 c | 542796 | 800 16000 80000 | 83286 73822 114 | 0.000 % |
325.45/325.75 c | 543516 | 800 16000 80000 | 83286 74542 114 | 0.000 % |
326.05/326.31 c | 544309 | 800 16000 80000 | 83286 75335 114 | 0.000 % |
326.55/326.88 c | 545182 | 800 16000 80000 | 83286 76208 114 | 0.000 % |
327.15/327.47 c | 546143 | 800 16000 80000 | 83286 77169 114 | 0.000 % |
327.85/328.16 c | 547198 | 800 16000 80000 | 83286 78224 114 | 0.000 % |
328.65/328.95 c | 548359 | 800 16000 80000 | 83286 79385 113 | 0.000 % |
329.55/329.87 c | 549633 | 800 16000 80000 | 83286 80659 113 | 0.000 % |
330.45/330.78 c | 551036 | 800 16000 80000 | 81028 70627 113 | 0.000 % |
331.45/331.79 c | 552576 | 800 16000 80000 | 81028 72167 113 | 0.000 % |
332.55/332.88 c | 554271 | 800 16000 80000 | 81028 73862 113 | 0.000 % |
333.85/334.11 c | 556134 | 800 16000 80000 | 81028 75725 113 | 0.000 % |
335.05/335.38 c | 558183 | 800 16000 80000 | 81028 77774 113 | 0.000 % |
336.54/336.82 c | 560437 | 800 16000 80000 | 79592 69279 114 | 0.000 % |
337.94/338.28 c | 562918 | 800 16000 80000 | 79592 71760 114 | 0.000 % |
339.65/339.91 c | 565644 | 800 16000 80000 | 79592 74486 114 | 0.000 % |
341.54/341.81 c | 568641 | 800 16000 80000 | 79592 77483 114 | 0.000 % |
343.64/343.95 c | 571937 | 800 16000 80000 | 78842 71100 114 | 0.000 % |
345.74/346.04 c | 575563 | 800 16000 80000 | 78842 74726 114 | 0.000 % |
348.24/348.56 c | 579551 | 800 16000 80000 | 78842 78714 114 | 0.000 % |
350.84/351.13 c | 583937 | 800 16000 80000 | 69428 64911 114 | 0.000 % |
353.74/354.03 c | 588761 | 800 16000 80000 | 69428 62766 114 | 0.000 % |
356.93/357.23 c | 594066 | 800 16000 80000 | 2147483647 68071 115 | 0.000 % |
357.03/357.31 c | 594168 | 800 16000 80000 | 2147483647 68173 115 | 0.000 % |
357.03/357.38 c | 594279 | 800 16000 80000 | 2147483647 68284 115 | 0.000 % |
357.14/357.46 c | 594400 | 800 16000 80000 | 2147483647 68405 115 | 0.000 % |
357.24/357.54 c | 594534 | 800 16000 80000 | 2147483647 68539 115 | 0.000 % |
357.33/357.66 c | 594680 | 800 16000 80000 | 2147483647 68685 115 | 0.000 % |
357.43/357.76 c | 594840 | 800 16000 80000 | 2147483647 68845 115 | 0.000 % |
357.53/357.89 c | 595017 | 800 16000 80000 | 2147483647 69022 115 | 0.000 % |
357.73/358.04 c | 595210 | 800 16000 80000 | 2147483647 69215 115 | 0.000 % |
357.83/358.17 c | 595424 | 800 16000 80000 | 2147483647 69429 115 | 0.000 % |
358.03/358.32 c | 595658 | 800 16000 80000 | 2147483647 69663 115 | 0.000 % |
358.13/358.48 c | 595916 | 800 16000 80000 | 2147483647 69921 115 | 0.000 % |
358.34/358.67 c | 596197 | 800 16000 80000 | 2147483647 70202 115 | 0.000 % |
358.53/358.87 c | 596506 | 800 16000 80000 | 2147483647 70511 115 | 0.000 % |
358.73/359.09 c | 596845 | 800 16000 80000 | 2147483647 70850 115 | 0.000 % |
359.03/359.36 c | 597217 | 800 16000 80000 | 2147483647 71222 114 | 0.000 % |
359.34/359.62 c | 597626 | 800 16000 80000 | 2147483647 71631 114 | 0.000 % |
359.63/359.92 c | 598075 | 800 16000 80000 | 2147483647 72080 114 | 0.000 % |
359.93/360.25 c | 598569 | 800 16000 80000 | 2147483647 72574 114 | 0.000 % |
360.33/360.64 c | 599112 | 800 16000 80000 | 2147483647 73117 114 | 0.000 % |
360.73/361.03 c | 599708 | 800 16000 80000 | 2147483647 73713 114 | 0.000 % |
361.13/361.48 c | 600363 | 800 16000 80000 | 74007 66774 114 | 0.000 % |
361.53/361.90 c | 601083 | 800 16000 80000 | 74007 67494 114 | 0.000 % |
362.13/362.42 c | 601879 | 800 16000 80000 | 74007 68290 114 | 0.000 % |
362.63/362.94 c | 602754 | 800 16000 80000 | 74007 69165 114 | 0.000 % |
363.23/363.51 c | 603713 | 800 16000 80000 | 74007 70124 114 | 0.000 % |
363.83/364.17 c | 604766 | 800 16000 80000 | 74007 71177 114 | 0.000 % |
364.63/364.91 c | 605925 | 800 16000 80000 | 74007 72336 115 | 0.000 % |
365.33/365.67 c | 607199 | 800 16000 80000 | 74007 73610 114 | 0.000 % |
366.23/366.51 c | 608600 | 800 16000 80000 | 74007 67161 115 | 0.000 % |
367.03/367.36 c | 610140 | 800 16000 80000 | 68562 68701 115 | 0.000 % |
367.93/368.27 c | 611835 | 800 16000 80000 | 68562 63478 115 | 0.000 % |
368.93/369.24 c | 613702 | 800 16000 80000 | 68562 65345 115 | 0.000 % |
370.02/370.32 c | 615752 | 800 16000 80000 | 68562 67395 115 | 0.000 % |
371.22/371.57 c | 618006 | 800 16000 80000 | 68562 62766 115 | 0.000 % |
372.63/372.94 c | 620484 | 800 16000 80000 | 2147483647 65244 115 | 0.000 % |
374.12/374.46 c | 623210 | 800 16000 80000 | 2147483647 67970 116 | 0.000 % |
375.83/376.13 c | 626207 | 800 16000 80000 | 2147483647 70967 115 | 0.000 % |
377.72/378.10 c | 629505 | 800 16000 80000 | 2147483647 74265 116 | 0.000 % |
380.23/380.52 c | 633130 | 800 16000 80000 | 2147483647 77890 116 | 0.000 % |
382.92/383.27 c | 637117 | 800 16000 80000 | 2147483647 81877 116 | 0.000 % |
385.93/386.21 c | 641504 | 800 16000 80000 | 84761 73640 116 | 0.000 % |
389.13/389.43 c | 646327 | 800 16000 80000 | 84761 78463 116 | 0.000 % |
392.52/392.89 c | 651632 | 800 16000 80000 | 82136 71625 116 | 0.000 % |
396.22/396.58 c | 657467 | 800 16000 80000 | 82136 77460 117 | 0.000 % |
396.32/396.65 c | 657567 | 800 16000 80000 | 82136 77560 117 | 0.000 % |
396.42/396.74 c | 657677 | 800 16000 80000 | 82136 77670 117 | 0.000 % |
396.52/396.83 c | 657800 | 800 16000 80000 | 82136 77793 117 | 0.000 % |
396.62/396.93 c | 657934 | 800 16000 80000 | 82136 77927 117 | 0.000 % |
396.72/397.03 c | 658081 | 800 16000 80000 | 82136 78074 116 | 0.000 % |
396.82/397.19 c | 658241 | 800 16000 80000 | 82136 78234 116 | 0.000 % |
397.02/397.30 c | 658417 | 800 16000 80000 | 82136 78410 116 | 0.000 % |
397.12/397.45 c | 658610 | 800 16000 80000 | 82136 78603 116 | 0.000 % |
397.32/397.61 c | 658824 | 800 16000 80000 | 82136 78817 116 | 0.000 % |
397.42/397.79 c | 659058 | 800 16000 80000 | 82136 79051 116 | 0.000 % |
397.62/397.99 c | 659316 | 800 16000 80000 | 82136 79309 116 | 0.000 % |
397.82/398.20 c | 659597 | 800 16000 80000 | 82136 79590 116 | 0.000 % |
398.12/398.47 c | 659906 | 800 16000 80000 | 82136 79899 116 | 0.000 % |
398.42/398.72 c | 660247 | 800 16000 80000 | 79995 80240 116 | 0.000 % |
398.72/399.02 c | 660619 | 800 16000 80000 | 79995 69183 115 | 0.000 % |
398.92/399.27 c | 661029 | 800 16000 80000 | 79995 69593 115 | 0.000 % |
399.22/399.58 c | 661478 | 800 16000 80000 | 79995 70042 115 | 0.000 % |
399.52/399.88 c | 661971 | 800 16000 80000 | 79995 70535 115 | 0.000 % |
399.92/400.25 c | 662515 | 800 16000 80000 | 79995 71079 115 | 0.000 % |
400.32/400.68 c | 663113 | 800 16000 80000 | 79995 71677 115 | 0.000 % |
400.82/401.12 c | 663771 | 800 16000 80000 | 79995 72335 115 | 0.000 % |
401.22/401.55 c | 664491 | 800 16000 80000 | 79995 73055 115 | 0.000 % |
401.72/402.07 c | 665284 | 800 16000 80000 | 79995 73848 115 | 0.000 % |
402.32/402.63 c | 666155 | 800 16000 80000 | 79995 74719 115 | 0.000 % |
402.92/403.24 c | 667115 | 800 16000 80000 | 79995 75679 115 | 0.000 % |
403.62/403.91 c | 668168 | 800 16000 80000 | 79995 76732 115 | 0.000 % |
404.32/404.69 c | 669326 | 800 16000 80000 | 79995 77890 115 | 0.000 % |
405.21/405.56 c | 670600 | 800 16000 80000 | 78565 68849 115 | 0.000 % |
406.01/406.31 c | 672003 | 800 16000 80000 | 78565 70252 115 | 0.000 % |
407.01/407.36 c | 673544 | 800 16000 80000 | 78565 71793 115 | 0.000 % |
408.11/408.44 c | 675238 | 800 16000 80000 | 78565 73487 115 | 0.000 % |
409.31/409.68 c | 677101 | 800 16000 80000 | 78565 75350 116 | 0.000 % |
410.71/411.00 c | 679151 | 800 16000 80000 | 78565 77400 116 | 0.000 % |
412.12/412.47 c | 681407 | 800 16000 80000 | 78249 70080 116 | 0.000 % |
413.61/413.96 c | 683887 | 800 16000 80000 | 78249 72560 116 | 0.000 % |
415.31/415.62 c | 686612 | 800 16000 80000 | 78249 75285 116 | 0.000 % |
417.31/417.66 c | 689609 | 800 16000 80000 | 78249 78282 116 | 0.000 % |
419.31/419.62 c | 692905 | 800 16000 80000 | 69837 65024 116 | 0.000 % |
421.41/421.78 c | 696530 | 800 16000 80000 | 69837 68649 116 | 0.000 % |
423.81/424.11 c | 700517 | 800 16000 80000 | 2147483647 65625 116 | 0.000 % |
426.30/426.63 c | 704903 | 800 16000 80000 | 2147483647 70011 116 | 0.000 % |
429.09/429.49 c | 709729 | 800 16000 80000 | 2147483647 74837 116 | 0.000 % |
432.49/432.82 c | 715034 | 800 16000 80000 | 2147483647 80142 116 | 0.000 % |
436.69/437.03 c | 720869 | 800 16000 80000 | 85108 73761 116 | 0.000 % |
440.88/441.20 c | 727288 | 800 16000 80000 | 85108 80180 116 | 0.000 % |
440.88/441.27 c | 727388 | 800 16000 80000 | 85108 80280 116 | 0.000 % |
440.98/441.34 c | 727498 | 800 16000 80000 | 85108 80390 116 | 0.000 % |
441.08/441.44 c | 727619 | 800 16000 80000 | 85108 80511 116 | 0.000 % |
441.18/441.55 c | 727754 | 800 16000 80000 | 85108 80646 116 | 0.000 % |
441.28/441.65 c | 727900 | 800 16000 80000 | 85108 80792 116 | 0.000 % |
441.38/441.77 c | 728060 | 800 16000 80000 | 85108 80952 116 | 0.000 % |
441.58/441.94 c | 728238 | 800 16000 80000 | 85108 81130 116 | 0.000 % |
441.68/442.09 c | 728434 | 800 16000 80000 | 85108 81326 116 | 0.000 % |
441.89/442.24 c | 728646 | 800 16000 80000 | 85108 81538 116 | 0.000 % |
442.08/442.41 c | 728880 | 800 16000 80000 | 85108 81772 116 | 0.000 % |
442.28/442.61 c | 729138 | 800 16000 80000 | 85108 82030 116 | 0.000 % |
442.48/442.81 c | 729420 | 800 16000 80000 | 85108 82312 116 | 0.000 % |
442.68/443.03 c | 729729 | 800 16000 80000 | 85108 82621 116 | 0.000 % |
442.89/443.28 c | 730068 | 800 16000 80000 | 82892 82960 116 | 0.000 % |
443.18/443.59 c | 730441 | 800 16000 80000 | 82892 71350 116 | 0.000 % |
443.48/443.86 c | 730850 | 800 16000 80000 | 82892 71759 116 | 0.000 % |
443.78/444.15 c | 731299 | 800 16000 80000 | 82892 72208 116 | 0.000 % |
444.09/444.48 c | 731792 | 800 16000 80000 | 82892 72701 116 | 0.000 % |
444.48/444.82 c | 732334 | 800 16000 80000 | 82892 73243 116 | 0.000 % |
444.78/445.19 c | 732930 | 800 16000 80000 | 82892 73839 116 | 0.000 % |
445.19/445.59 c | 733587 | 800 16000 80000 | 82892 74496 116 | 0.000 % |
445.78/446.14 c | 734307 | 800 16000 80000 | 82892 75216 116 | 0.000 % |
446.38/446.71 c | 735099 | 800 16000 80000 | 82892 76008 116 | 0.000 % |
446.98/447.35 c | 735973 | 800 16000 80000 | 82892 76882 116 | 0.000 % |
447.58/447.98 c | 736931 | 800 16000 80000 | 82892 77840 116 | 0.000 % |
448.28/448.68 c | 737984 | 800 16000 80000 | 82892 78893 116 | 0.000 % |
449.08/449.44 c | 739142 | 800 16000 80000 | 82892 80051 116 | 0.000 % |
449.88/450.28 c | 740416 | 800 16000 80000 | 80909 70125 116 | 0.000 % |
450.78/451.18 c | 741818 | 800 16000 80000 | 80909 71527 116 | 0.000 % |
451.78/452.11 c | 743358 | 800 16000 80000 | 80909 73067 116 | 0.000 % |
452.78/453.13 c | 745052 | 800 16000 80000 | 80909 74761 116 | 0.000 % |
454.08/454.45 c | 746917 | 800 16000 80000 | 80909 76626 116 | 0.000 % |
455.48/455.83 c | 748969 | 800 16000 80000 | 80909 78678 116 | 0.000 % |
456.98/457.34 c | 751223 | 800 16000 80000 | 79709 70634 116 | 0.000 % |
458.58/458.90 c | 753701 | 800 16000 80000 | 79709 73112 116 | 0.000 % |
460.18/460.56 c | 756426 | 800 16000 80000 | 79709 75837 115 | 0.000 % |
461.97/462.38 c | 759423 | 800 16000 80000 | 79709 78834 116 | 0.000 % |
464.07/464.44 c | 762721 | 800 16000 80000 | 79411 72124 115 | 0.000 % |
466.27/466.70 c | 766347 | 800 16000 80000 | 79411 75750 115 | 0.000 % |
468.96/469.36 c | 770335 | 800 16000 80000 | 79405 69483 115 | 0.000 % |
471.56/471.97 c | 774721 | 800 16000 80000 | 79405 73869 115 | 0.000 % |
474.65/475.09 c | 779544 | 800 16000 80000 | 79405 78692 116 | 0.000 % |
478.06/478.46 c | 784851 | 800 16000 80000 | 79149 74075 115 | 0.000 % |
481.95/482.31 c | 790688 | 800 16000 80000 | 79224 70081 115 | 0.000 % |
485.75/486.19 c | 797107 | 800 16000 80000 | 79224 76500 115 | 0.000 % |
490.45/490.85 c | 804166 | 800 16000 80000 | 79393 73875 115 | 0.000 % |
490.55/490.91 c | 804266 | 800 16000 80000 | 79393 73975 115 | 0.000 % |
490.55/491.00 c | 804376 | 800 16000 80000 | 79393 74085 115 | 0.000 % |
490.65/491.07 c | 804497 | 800 16000 80000 | 79393 74206 115 | 0.000 % |
490.75/491.18 c | 804631 | 800 16000 80000 | 79393 74340 115 | 0.000 % |
490.85/491.29 c | 804779 | 800 16000 80000 | 79393 74488 115 | 0.000 % |
491.05/491.41 c | 804942 | 800 16000 80000 | 79393 74651 115 | 0.000 % |
491.15/491.54 c | 805120 | 800 16000 80000 | 79393 74829 115 | 0.000 % |
491.25/491.66 c | 805314 | 800 16000 80000 | 79393 75023 115 | 0.000 % |
491.45/491.81 c | 805526 | 800 16000 80000 | 79393 75235 115 | 0.000 % |
491.55/492.00 c | 805759 | 800 16000 80000 | 79393 75468 115 | 0.000 % |
491.75/492.19 c | 806016 | 800 16000 80000 | 79393 75725 115 | 0.000 % |
492.05/492.40 c | 806297 | 800 16000 80000 | 79393 76006 115 | 0.000 % |
492.25/492.60 c | 806608 | 800 16000 80000 | 79393 76317 115 | 0.000 % |
492.45/492.82 c | 806947 | 800 16000 80000 | 79393 76656 115 | 0.000 % |
492.64/493.08 c | 807320 | 800 16000 80000 | 79393 77029 115 | 0.000 % |
492.94/493.35 c | 807729 | 800 16000 80000 | 79393 77438 115 | 0.000 % |
493.24/493.64 c | 808179 | 800 16000 80000 | 79393 77888 115 | 0.000 % |
493.55/493.99 c | 808673 | 800 16000 80000 | 79393 78382 115 | 0.000 % |
493.94/494.36 c | 809215 | 800 16000 80000 | 79393 78924 115 | 0.000 % |
494.34/494.79 c | 809811 | 800 16000 80000 | 79393 79520 115 | 0.000 % |
494.84/495.24 c | 810466 | 800 16000 80000 | 69383 60912 115 | 0.000 % |
495.24/495.62 c | 811186 | 800 16000 80000 | 69383 61632 115 | 0.000 % |
495.65/496.05 c | 811979 | 800 16000 80000 | 69383 62425 115 | 0.000 % |
496.14/496.53 c | 812851 | 800 16000 80000 | 69383 63297 115 | 0.000 % |
496.64/497.09 c | 813809 | 800 16000 80000 | 69383 64255 115 | 0.000 % |
497.24/497.69 c | 814862 | 800 16000 80000 | 69383 65308 115 | 0.000 % |
497.94/498.33 c | 816020 | 800 16000 80000 | 69383 66466 115 | 0.000 % |
498.74/499.13 c | 817295 | 800 16000 80000 | 69383 67741 115 | 0.000 % |
499.54/499.94 c | 818695 | 800 16000 80000 | 69383 69141 115 | 0.000 % |
500.34/500.79 c | 820236 | 800 16000 80000 | 2147483647 63716 115 | 0.000 % |
501.34/501.71 c | 821930 | 800 16000 80000 | 2147483647 65410 115 | 0.000 % |
502.34/502.77 c | 823793 | 800 16000 80000 | 2147483647 67273 115 | 0.000 % |
503.64/504.04 c | 825842 | 800 16000 80000 | 2147483647 69322 115 | 0.000 % |
505.04/505.44 c | 828095 | 800 16000 80000 | 2147483647 71575 115 | 0.000 % |
506.64/507.03 c | 830573 | 800 16000 80000 | 73480 66476 115 | 0.000 % |
508.13/508.55 c | 833298 | 800 16000 80000 | 73480 69201 115 | 0.000 % |
509.83/510.28 c | 836296 | 800 16000 80000 | 73480 72199 115 | 0.000 % |
511.93/512.35 c | 839592 | 800 16000 80000 | 73480 68120 115 | 0.000 % |
514.23/514.62 c | 843217 | 800 16000 80000 | 2147483647 71745 115 | 0.000 % |
516.73/517.15 c | 847204 | 800 16000 80000 | 2147483647 75732 115 | 0.000 % |
519.53/519.99 c | 851592 | 800 16000 80000 | 78528 70849 116 | 0.000 % |
522.52/522.94 c | 856415 | 800 16000 80000 | 78528 75672 115 | 0.000 % |
526.12/526.54 c | 861720 | 800 16000 80000 | 69827 63265 115 | 0.000 % |
529.62/530.01 c | 867556 | 800 16000 80000 | 69827 69101 116 | 0.000 % |
533.32/533.74 c | 873975 | 800 16000 80000 | 2147483647 68507 116 | 0.000 % |
537.62/538.08 c | 881034 | 800 16000 80000 | 2147483647 75566 116 | 0.000 % |
542.82/543.20 c | 888800 | 800 16000 80000 | 2147483647 83332 116 | 0.000 % |
542.82/543.29 c | 888900 | 800 16000 80000 | 2147483647 83432 116 | 0.000 % |
542.92/543.39 c | 889010 | 800 16000 80000 | 2147483647 83542 116 | 0.000 % |
543.11/543.50 c | 889133 | 800 16000 80000 | 2147483647 83665 116 | 0.000 % |
543.21/543.61 c | 889267 | 800 16000 80000 | 2147483647 83799 116 | 0.000 % |
543.31/543.73 c | 889413 | 800 16000 80000 | 2147483647 83945 116 | 0.000 % |
543.41/543.86 c | 889575 | 800 16000 80000 | 2147483647 84107 116 | 0.000 % |
543.61/544.01 c | 889751 | 800 16000 80000 | 2147483647 84283 116 | 0.000 % |
543.71/544.15 c | 889944 | 800 16000 80000 | 2147483647 84476 116 | 0.000 % |
543.91/544.33 c | 890156 | 800 16000 80000 | 84533 84688 116 | 0.000 % |
544.12/544.53 c | 890390 | 800 16000 80000 | 84533 72317 116 | 0.000 % |
544.31/544.70 c | 890646 | 800 16000 80000 | 84533 72573 116 | 0.000 % |
544.51/544.90 c | 890929 | 800 16000 80000 | 84533 72856 116 | 0.000 % |
544.71/545.11 c | 891239 | 800 16000 80000 | 84533 73166 116 | 0.000 % |
544.91/545.35 c | 891581 | 800 16000 80000 | 84533 73508 116 | 0.000 % |
545.22/545.67 c | 891955 | 800 16000 80000 | 84533 73882 116 | 0.000 % |
545.51/545.98 c | 892364 | 800 16000 80000 | 84533 74291 116 | 0.000 % |
545.81/546.29 c | 892813 | 800 16000 80000 | 84533 74740 116 | 0.000 % |
546.22/546.63 c | 893307 | 800 16000 80000 | 84533 75234 116 | 0.000 % |
546.51/546.98 c | 893850 | 800 16000 80000 | 84533 75777 116 | 0.000 % |
546.91/547.38 c | 894446 | 800 16000 80000 | 84533 76373 116 | 0.000 % |
547.41/547.84 c | 895103 | 800 16000 80000 | 84533 77030 116 | 0.000 % |
547.81/548.28 c | 895823 | 800 16000 80000 | 84533 77750 116 | 0.000 % |
548.31/548.77 c | 896617 | 800 16000 80000 | 84533 78544 116 | 0.000 % |
548.91/549.34 c | 897488 | 800 16000 80000 | 84533 79415 116 | 0.000 % |
549.51/549.94 c | 898446 | 800 16000 80000 | 84533 80373 116 | 0.000 % |
550.21/550.64 c | 899499 | 800 16000 80000 | 84533 81426 116 | 0.000 % |
551.01/551.42 c | 900658 | 800 16000 80000 | 81927 70945 115 | 0.000 % |
551.71/552.12 c | 901933 | 800 16000 80000 | 81927 72220 116 | 0.000 % |
552.51/552.93 c | 903333 | 800 16000 80000 | 81927 73620 116 | 0.000 % |
553.51/553.93 c | 904873 | 800 16000 80000 | 81927 75160 116 | 0.000 % |
554.50/554.97 c | 906567 | 800 16000 80000 | 81927 76854 116 | 0.000 % |
555.90/556.37 c | 908430 | 800 16000 80000 | 81927 78717 116 | 0.000 % |
557.50/557.90 c | 910479 | 800 16000 80000 | 80287 70278 116 | 0.000 % |
559.00/559.42 c | 912734 | 800 16000 80000 | 80287 72533 116 | 0.000 % |
560.60/561.07 c | 915213 | 800 16000 80000 | 80287 75012 116 | 0.000 % |
562.40/562.88 c | 917938 | 800 16000 80000 | 80287 77737 116 | 0.000 % |
564.70/565.10 c | 920936 | 800 16000 80000 | 79799 69693 115 | 0.000 % |
566.70/567.15 c | 924234 | 800 16000 80000 | 79799 72991 116 | 0.000 % |
569.09/569.53 c | 927860 | 800 16000 80000 | 79799 76617 116 | 0.000 % |
571.50/571.94 c | 931847 | 800 16000 80000 | 78757 70371 116 | 0.000 % |
574.29/574.71 c | 936232 | 800 16000 80000 | 78757 74756 117 | 0.000 % |
577.29/577.77 c | 941056 | 800 16000 80000 | 78525 70215 117 | 0.000 % |
580.39/580.85 c | 946362 | 800 16000 80000 | 78525 75521 117 | 0.000 % |
584.09/584.52 c | 952198 | 800 16000 80000 | 69746 63641 117 | 0.000 % |
587.79/588.23 c | 958618 | 800 16000 80000 | 69746 63059 118 | 0.000 % |
591.99/592.43 c | 965681 | 800 16000 80000 | 2147483647 70122 118 | 0.000 % |
596.98/597.49 c | 973445 | 800 16000 80000 | 2147483647 77886 118 | 0.000 % |
602.98/603.42 c | 981986 | 800 16000 80000 | 84441 75495 120 | 0.000 % |
602.98/603.49 c | 982087 | 800 16000 80000 | 84441 75596 120 | 0.000 % |
603.08/603.58 c | 982197 | 800 16000 80000 | 84441 75706 120 | 0.000 % |
603.18/603.68 c | 982320 | 800 16000 80000 | 84441 75829 120 | 0.000 % |
603.28/603.78 c | 982454 | 800 16000 80000 | 84441 75963 120 | 0.000 % |
603.39/603.87 c | 982601 | 800 16000 80000 | 84441 76110 120 | 0.000 % |
603.49/604.00 c | 982761 | 800 16000 80000 | 84441 76270 120 | 0.000 % |
603.68/604.12 c | 982938 | 800 16000 80000 | 84441 76447 120 | 0.000 % |
603.78/604.27 c | 983133 | 800 16000 80000 | 84441 76642 120 | 0.000 % |
603.98/604.44 c | 983348 | 800 16000 80000 | 84441 76857 120 | 0.000 % |
604.18/604.62 c | 983583 | 800 16000 80000 | 84441 77092 120 | 0.000 % |
604.38/604.81 c | 983839 | 800 16000 80000 | 84441 77348 120 | 0.000 % |
604.58/605.00 c | 984124 | 800 16000 80000 | 84441 77633 120 | 0.000 % |
604.78/605.22 c | 984434 | 800 16000 80000 | 84441 77943 119 | 0.000 % |
604.98/605.46 c | 984775 | 800 16000 80000 | 84441 78284 119 | 0.000 % |
605.28/605.72 c | 985147 | 800 16000 80000 | 84441 78656 119 | 0.000 % |
605.48/605.99 c | 985556 | 800 16000 80000 | 84441 79065 119 | 0.000 % |
605.88/606.33 c | 986006 | 800 16000 80000 | 84441 79515 119 | 0.000 % |
606.18/606.69 c | 986499 | 800 16000 80000 | 84441 80008 119 | 0.000 % |
606.58/607.08 c | 987041 | 800 16000 80000 | 84441 80550 119 | 0.000 % |
607.08/607.53 c | 987639 | 800 16000 80000 | 84441 81148 119 | 0.000 % |
607.48/607.97 c | 988294 | 800 16000 80000 | 84441 81803 119 | 0.000 % |
607.98/608.50 c | 989015 | 800 16000 80000 | 84441 82524 119 | 0.000 % |
608.58/609.08 c | 989807 | 800 16000 80000 | 84441 83316 119 | 0.000 % |
609.28/609.73 c | 990678 | 800 16000 80000 | 83509 72029 119 | 0.000 % |
609.88/610.35 c | 991636 | 800 16000 80000 | 83509 72987 119 | 0.000 % |
610.48/610.98 c | 992689 | 800 16000 80000 | 83509 74040 119 | 0.000 % |
611.28/611.70 c | 993847 | 800 16000 80000 | 83509 75198 119 | 0.000 % |
612.08/612.55 c | 995120 | 800 16000 80000 | 83509 76471 119 | 0.000 % |
612.98/613.46 c | 996520 | 800 16000 80000 | 83509 77871 119 | 0.000 % |
614.08/614.57 c | 998061 | 800 16000 80000 | 83509 79412 119 | 0.000 % |
615.28/615.79 c | 999755 | 800 16000 80000 | 83509 81106 119 | 0.000 % |
616.48/616.97 c | 1001618 | 800 16000 80000 | 81351 71655 118 | 0.000 % |
617.78/618.23 c | 1003670 | 800 16000 80000 | 81351 73707 118 | 0.000 % |
619.17/619.67 c | 1005923 | 800 16000 80000 | 81351 75960 118 | 0.000 % |
620.77/621.21 c | 1008402 | 800 16000 80000 | 81351 78439 118 | 0.000 % |
622.47/622.97 c | 1011127 | 800 16000 80000 | 80038 71230 117 | 0.000 % |
624.38/624.88 c | 1014125 | 800 16000 80000 | 80038 74228 117 | 0.000 % |
626.47/626.95 c | 1017422 | 800 16000 80000 | 80038 77525 117 | 0.000 % |
628.87/629.33 c | 1021049 | 800 16000 80000 | 80103 70862 117 | 0.000 % |
631.37/631.83 c | 1025036 | 800 16000 80000 | 80103 74849 117 | 0.000 % |
634.27/634.75 c | 1029422 | 800 16000 80000 | 80103 79235 117 | 0.000 % |
637.37/637.84 c | 1034245 | 800 16000 80000 | 79813 72764 117 | 0.000 % |
640.87/641.34 c | 1039550 | 800 16000 80000 | 79813 78069 117 | 0.000 % |
644.46/644.96 c | 1045386 | 800 16000 80000 | 78520 73885 116 | 0.000 % |
649.06/649.55 c | 1051804 | 800 16000 80000 | 78499 69627 115 | 0.000 % |
653.66/654.15 c | 1058864 | 800 16000 80000 | 78499 76687 116 | 0.000 % |
658.85/659.39 c | 1066628 | 800 16000 80000 | 77826 74636 117 | 0.000 % |
664.45/664.98 c | 1075169 | 800 16000 80000 | 78009 73418 118 | 0.000 % |
671.15/671.61 c | 1084563 | 800 16000 80000 | 78249 72453 118 | 0.000 % |
671.15/671.70 c | 1084663 | 800 16000 80000 | 78249 72553 118 | 0.000 % |
671.25/671.77 c | 1084774 | 800 16000 80000 | 78249 72664 118 | 0.000 % |
671.35/671.85 c | 1084897 | 800 16000 80000 | 78249 72787 118 | 0.000 % |
671.45/671.95 c | 1085030 | 800 16000 80000 | 78249 72920 118 | 0.000 % |
671.55/672.08 c | 1085176 | 800 16000 80000 | 78249 73066 118 | 0.000 % |
671.65/672.19 c | 1085336 | 800 16000 80000 | 78249 73226 118 | 0.000 % |
671.85/672.32 c | 1085517 | 800 16000 80000 | 78249 73407 118 | 0.000 % |
671.95/672.47 c | 1085712 | 800 16000 80000 | 78249 73602 118 | 0.000 % |
672.15/672.65 c | 1085924 | 800 16000 80000 | 78249 73814 118 | 0.000 % |
672.35/672.81 c | 1086157 | 800 16000 80000 | 78249 74047 118 | 0.000 % |
672.45/672.99 c | 1086413 | 800 16000 80000 | 78249 74303 118 | 0.000 % |
672.65/673.19 c | 1086696 | 800 16000 80000 | 78249 74586 118 | 0.000 % |
672.85/673.37 c | 1087007 | 800 16000 80000 | 78249 74897 118 | 0.000 % |
673.15/673.61 c | 1087346 | 800 16000 80000 | 78249 75236 118 | 0.000 % |
673.35/673.88 c | 1087718 | 800 16000 80000 | 78249 75608 118 | 0.000 % |
673.65/674.15 c | 1088128 | 800 16000 80000 | 78249 76018 118 | 0.000 % |
673.95/674.45 c | 1088579 | 800 16000 80000 | 78249 76469 118 | 0.000 % |
674.35/674.82 c | 1089074 | 800 16000 80000 | 78249 76964 117 | 0.000 % |
674.75/675.21 c | 1089616 | 800 16000 80000 | 78249 77506 117 | 0.000 % |
675.14/675.63 c | 1090213 | 800 16000 80000 | 77890 78103 117 | 0.000 % |
675.54/676.08 c | 1090868 | 800 16000 80000 | 77890 67767 118 | 0.000 % |
676.05/676.53 c | 1091588 | 800 16000 80000 | 77890 68487 118 | 0.000 % |
676.54/677.05 c | 1092384 | 800 16000 80000 | 77890 69283 118 | 0.000 % |
677.05/677.59 c | 1093258 | 800 16000 80000 | 77890 70157 118 | 0.000 % |
677.64/678.15 c | 1094217 | 800 16000 80000 | 77890 71116 118 | 0.000 % |
678.34/678.81 c | 1095270 | 800 16000 80000 | 77890 72169 118 | 0.000 % |
679.04/679.51 c | 1096428 | 800 16000 80000 | 77890 73327 118 | 0.000 % |
679.84/680.31 c | 1097703 | 800 16000 80000 | 77890 74602 118 | 0.000 % |
680.74/681.23 c | 1099105 | 800 16000 80000 | 77890 76004 117 | 0.000 % |
681.64/682.19 c | 1100646 | 800 16000 80000 | 76900 68160 118 | 0.000 % |
682.65/683.14 c | 1102340 | 800 16000 80000 | 76900 69854 118 | 0.000 % |
683.75/684.27 c | 1104204 | 800 16000 80000 | 76900 71718 117 | 0.000 % |
685.04/685.53 c | 1106253 | 800 16000 80000 | 76900 73767 117 | 0.000 % |
686.44/686.95 c | 1108506 | 800 16000 80000 | 76900 76020 117 | 0.000 % |
688.04/688.58 c | 1110984 | 800 16000 80000 | 68535 61616 117 | 0.000 % |
689.64/690.10 c | 1113710 | 800 16000 80000 | 68535 64342 117 | 0.000 % |
691.33/691.83 c | 1116708 | 800 16000 80000 | 68535 67340 117 | 0.000 % |
693.23/693.73 c | 1120004 | 800 16000 80000 | 2147483647 63755 116 | 0.000 % |
695.22/695.79 c | 1123629 | 800 16000 80000 | 2147483647 67380 116 | 0.000 % |
697.62/698.13 c | 1127619 | 800 16000 80000 | 2147483647 71370 116 | 0.000 % |
700.32/700.85 c | 1132004 | 800 16000 80000 | 2147483647 75755 116 | 0.000 % |
703.62/704.17 c | 1136829 | 800 16000 80000 | 2147483647 80580 116 | 0.000 % |
707.11/707.66 c | 1142135 | 800 16000 80000 | 83751 73903 116 | 0.000 % |
711.12/711.67 c | 1147970 | 800 16000 80000 | 83751 79738 116 | 0.000 % |
715.52/716.02 c | 1154388 | 800 16000 80000 | 81769 74212 116 | 0.000 % |
720.41/720.97 c | 1161450 | 800 16000 80000 | 79828 70419 117 | 0.000 % |
725.61/726.18 c | 1169215 | 800 16000 80000 | 79828 78184 118 | 0.000 % |
731.21/731.79 c | 1177756 | 800 16000 80000 | 78970 76582 118 | 0.000 % |
738.19/738.75 c | 1187150 | 800 16000 80000 | 78827 75563 119 | 0.000 % |
745.39/745.98 c | 1197484 | 800 16000 80000 | 78415 75359 119 | 0.000 % |
745.49/746.04 c | 1197584 | 800 16000 80000 | 78415 75459 119 | 0.000 % |
745.59/746.13 c | 1197694 | 800 16000 80000 | 78415 75569 119 | 0.000 % |
745.69/746.22 c | 1197816 | 800 16000 80000 | 78415 75691 119 | 0.000 % |
745.79/746.31 c | 1197949 | 800 16000 80000 | 78415 75824 119 | 0.000 % |
745.89/746.43 c | 1198095 | 800 16000 80000 | 78415 75970 119 | 0.000 % |
745.99/746.57 c | 1198258 | 800 16000 80000 | 78415 76133 119 | 0.000 % |
746.09/746.69 c | 1198434 | 800 16000 80000 | 78415 76309 119 | 0.000 % |
746.29/746.83 c | 1198627 | 800 16000 80000 | 78415 76502 119 | 0.000 % |
746.39/746.98 c | 1198839 | 800 16000 80000 | 78415 76714 119 | 0.000 % |
746.59/747.13 c | 1199073 | 800 16000 80000 | 78415 76948 119 | 0.000 % |
746.79/747.33 c | 1199333 | 800 16000 80000 | 78415 77208 119 | 0.000 % |
746.99/747.55 c | 1199614 | 800 16000 80000 | 78415 77489 119 | 0.000 % |
747.19/747.76 c | 1199923 | 800 16000 80000 | 78415 77798 119 | 0.000 % |
747.49/748.02 c | 1200262 | 800 16000 80000 | 77876 78137 119 | 0.000 % |
747.79/748.30 c | 1200634 | 800 16000 80000 | 77876 67690 119 | 0.000 % |
747.99/748.56 c | 1201043 | 800 16000 80000 | 77876 68099 119 | 0.000 % |
748.29/748.86 c | 1201492 | 800 16000 80000 | 77876 68548 119 | 0.000 % |
748.59/749.16 c | 1201986 | 800 16000 80000 | 77876 69042 119 | 0.000 % |
748.89/749.46 c | 1202528 | 800 16000 80000 | 77876 69584 119 | 0.000 % |
749.29/749.83 c | 1203124 | 800 16000 80000 | 77876 70180 119 | 0.000 % |
749.69/750.24 c | 1203781 | 800 16000 80000 | 77876 70837 119 | 0.000 % |
750.09/750.68 c | 1204501 | 800 16000 80000 | 77876 71557 119 | 0.000 % |
750.59/751.14 c | 1205293 | 800 16000 80000 | 77876 72349 119 | 0.000 % |
751.09/751.64 c | 1206164 | 800 16000 80000 | 77876 73220 118 | 0.000 % |
751.69/752.25 c | 1207122 | 800 16000 80000 | 77876 74178 118 | 0.000 % |
752.39/752.92 c | 1208175 | 800 16000 80000 | 77876 75231 118 | 0.000 % |
753.08/753.62 c | 1209333 | 800 16000 80000 | 77876 76389 118 | 0.000 % |
753.88/754.49 c | 1210607 | 800 16000 80000 | 77058 68621 118 | 0.000 % |
754.88/755.40 c | 1212009 | 800 16000 80000 | 77058 70023 118 | 0.000 % |
755.78/756.35 c | 1213550 | 800 16000 80000 | 77058 71564 118 | 0.000 % |
756.88/757.43 c | 1215244 | 800 16000 80000 | 77058 73258 118 | 0.000 % |
757.98/758.52 c | 1217107 | 800 16000 80000 | 77058 75121 118 | 0.000 % |
759.18/759.77 c | 1219156 | 800 16000 80000 | 77058 77170 118 | 0.000 % |
760.48/761.10 c | 1221411 | 800 16000 80000 | 68978 62617 117 | 0.000 % |
761.88/762.44 c | 1223890 | 800 16000 80000 | 68978 65096 117 | 0.000 % |
763.48/764.06 c | 1226615 | 800 16000 80000 | 68978 67821 117 | 0.000 % |
765.18/765.78 c | 1229614 | 800 16000 80000 | 68978 63897 116 | 0.000 % |
767.08/767.67 c | 1232911 | 800 16000 80000 | 2147483647 67194 116 | 0.000 % |
769.08/769.68 c | 1236536 | 800 16000 80000 | 2147483647 70819 116 | 0.000 % |
771.48/772.09 c | 1240525 | 800 16000 80000 | 2147483647 74808 117 | 0.000 % |
774.28/774.86 c | 1244910 | 800 16000 80000 | 2147483647 79193 117 | 0.000 % |
777.47/778.07 c | 1249734 | 800 16000 80000 | 2147483647 84017 116 | 0.000 % |
780.77/781.35 c | 1255041 | 800 16000 80000 | 84287 78738 116 | 0.000 % |
784.57/785.16 c | 1260876 | 800 16000 80000 | 83697 72535 115 | 0.000 % |
788.66/789.22 c | 1267294 | 800 16000 80000 | 83697 78953 116 | 0.000 % |
793.26/793.85 c | 1274353 | 800 16000 80000 | 81660 74392 116 | 0.000 % |
798.26/798.83 c | 1282117 | 800 16000 80000 | 80041 71796 117 | 0.000 % |
803.86/804.50 c | 1290659 | 800 16000 80000 | 79680 69938 118 | 0.000 % |
810.06/810.64 c | 1300054 | 800 16000 80000 | 79279 79333 118 | 0.000 % |
816.45/817.04 c | 1310387 | 800 16000 80000 | 69262 60605 118 | 0.000 % |
823.35/823.92 c | 1321754 | 800 16000 80000 | 62996 58079 119 | 0.000 % |
823.35/823.98 c | 1321855 | 800 16000 80000 | 62996 58180 119 | 0.000 % |
823.45/824.04 c | 1321965 | 800 16000 80000 | 62996 58290 119 | 0.000 % |
823.55/824.11 c | 1322088 | 800 16000 80000 | 62996 58413 119 | 0.000 % |
823.55/824.19 c | 1322222 | 800 16000 80000 | 62996 58547 119 | 0.000 % |
823.65/824.28 c | 1322368 | 800 16000 80000 | 62996 58693 119 | 0.000 % |
823.75/824.38 c | 1322528 | 800 16000 80000 | 62996 58853 119 | 0.000 % |
823.95/824.50 c | 1322704 | 800 16000 80000 | 62996 59029 119 | 0.000 % |
824.05/824.60 c | 1322897 | 800 16000 80000 | 62996 59222 119 | 0.000 % |
824.15/824.72 c | 1323109 | 800 16000 80000 | 62996 59434 119 | 0.000 % |
824.25/824.84 c | 1323342 | 800 16000 80000 | 62996 59667 119 | 0.000 % |
824.35/824.99 c | 1323598 | 800 16000 80000 | 62996 59923 119 | 0.000 % |
824.55/825.18 c | 1323880 | 800 16000 80000 | 62996 60205 119 | 0.000 % |
824.75/825.37 c | 1324189 | 800 16000 80000 | 62996 60514 119 | 0.000 % |
824.95/825.56 c | 1324529 | 800 16000 80000 | 62996 60854 119 | 0.000 % |
825.25/825.81 c | 1324904 | 800 16000 80000 | 62996 61229 119 | 0.000 % |
825.45/826.04 c | 1325313 | 800 16000 80000 | 62996 61638 118 | 0.000 % |
825.74/826.31 c | 1325762 | 800 16000 80000 | 62996 62087 118 | 0.000 % |
825.94/826.58 c | 1326255 | 800 16000 80000 | 62996 62580 118 | 0.000 % |
826.24/826.88 c | 1326798 | 800 16000 80000 | 62996 63123 118 | 0.000 % |
826.64/827.22 c | 1327394 | 800 16000 80000 | 62996 57407 118 | 0.000 % |
826.94/827.54 c | 1328049 | 800 16000 80000 | 62996 58062 118 | 0.000 % |
827.34/827.96 c | 1328769 | 800 16000 80000 | 62996 58782 118 | 0.000 % |
827.74/828.36 c | 1329561 | 800 16000 80000 | 62996 59574 118 | 0.000 % |
828.24/828.83 c | 1330433 | 800 16000 80000 | 2147483647 60446 118 | 0.000 % |
828.74/829.39 c | 1331391 | 800 16000 80000 | 2147483647 61404 118 | 0.000 % |
829.34/829.99 c | 1332444 | 800 16000 80000 | 2147483647 62457 118 | 0.000 % |
830.04/830.62 c | 1333603 | 800 16000 80000 | 2147483647 63616 117 | 0.000 % |
830.64/831.22 c | 1334877 | 800 16000 80000 | 2147483647 64890 117 | 0.000 % |
831.43/832.05 c | 1336278 | 800 16000 80000 | 2147483647 66291 117 | 0.000 % |
832.33/832.90 c | 1337818 | 800 16000 80000 | 2147483647 67831 117 | 0.000 % |
833.24/833.85 c | 1339513 | 800 16000 80000 | 2147483647 69526 117 | 0.000 % |
834.43/835.03 c | 1341376 | 800 16000 80000 | 2147483647 71389 117 | 0.000 % |
835.63/836.24 c | 1343426 | 800 16000 80000 | 2147483647 73439 117 | 0.000 % |
837.03/837.65 c | 1345683 | 800 16000 80000 | 2147483647 75696 117 | 0.000 % |
838.64/839.27 c | 1348163 | 800 16000 80000 | 2147483647 78176 117 | 0.000 % |
840.33/840.95 c | 1350888 | 800 16000 80000 | 80013 71644 117 | 0.000 % |
842.13/842.73 c | 1353887 | 800 16000 80000 | 80013 74643 117 | 0.000 % |
844.23/844.83 c | 1357183 | 800 16000 80000 | 80013 77939 116 | 0.000 % |
846.73/847.33 c | 1360808 | 800 16000 80000 | 71328 63745 116 | 0.000 % |
849.03/849.63 c | 1364796 | 800 16000 80000 | 71328 67733 116 | 0.000 % |
851.63/852.20 c | 1369181 | 800 16000 80000 | 71328 64956 116 | 0.000 % |
854.43/855.08 c | 1374004 | 800 16000 80000 | 2147483647 69779 116 | 0.000 % |
857.82/858.46 c | 1379310 | 800 16000 80000 | 2147483647 75085 116 | 0.000 % |
861.52/862.10 c | 1385145 | 800 16000 80000 | 75775 73006 116 | 0.000 % |
865.52/866.14 c | 1391563 | 800 16000 80000 | 2147483647 71818 115 | 0.000 % |
870.12/870.74 c | 1398623 | 800 16000 80000 | 2147483647 78878 115 | 0.000 % |
875.11/875.72 c | 1406389 | 800 16000 80000 | 80259 76521 117 | 0.000 % |
880.61/881.29 c | 1414930 | 800 16000 80000 | 80132 74701 118 | 0.000 % |
886.90/887.50 c | 1424325 | 800 16000 80000 | 79771 73761 118 | 0.000 % |
894.20/894.85 c | 1434661 | 800 16000 80000 | 79436 73113 119 | 0.000 % |
902.50/903.19 c | 1446028 | 800 16000 80000 | 78453 74079 120 | 0.000 % |
909.99/910.67 c | 1458530 | 800 16000 80000 | 78052 75725 120 | 0.000 % |
910.10/910.74 c | 1458631 | 800 16000 80000 | 78052 75826 120 | 0.000 % |
910.20/910.83 c | 1458743 | 800 16000 80000 | 78052 75938 120 | 0.000 % |
910.29/910.93 c | 1458864 | 800 16000 80000 | 78052 76059 120 | 0.000 % |
910.39/911.02 c | 1458997 | 800 16000 80000 | 78052 76192 120 | 0.000 % |
910.49/911.11 c | 1459144 | 800 16000 80000 | 78052 76339 120 | 0.000 % |
910.59/911.23 c | 1459304 | 800 16000 80000 | 78052 76499 120 | 0.000 % |
910.69/911.37 c | 1459481 | 800 16000 80000 | 78052 76676 120 | 0.000 % |
910.89/911.50 c | 1459674 | 800 16000 80000 | 78052 76869 120 | 0.000 % |
910.99/911.65 c | 1459886 | 800 16000 80000 | 78052 77081 120 | 0.000 % |
911.09/911.80 c | 1460120 | 800 16000 80000 | 77199 77315 120 | 0.000 % |
911.39/912.01 c | 1460376 | 800 16000 80000 | 77199 66623 120 | 0.000 % |
911.49/912.19 c | 1460658 | 800 16000 80000 | 77199 66905 120 | 0.000 % |
911.69/912.40 c | 1460967 | 800 16000 80000 | 77199 67214 120 | 0.000 % |
911.99/912.61 c | 1461306 | 800 16000 80000 | 77199 67553 120 | 0.000 % |
912.19/912.84 c | 1461679 | 800 16000 80000 | 77199 67926 120 | 0.000 % |
912.39/913.09 c | 1462088 | 800 16000 80000 | 77199 68335 120 | 0.000 % |
912.69/913.39 c | 1462538 | 800 16000 80000 | 77199 68785 120 | 0.000 % |
913.09/913.70 c | 1463031 | 800 16000 80000 | 77199 69278 120 | 0.000 % |
913.39/914.05 c | 1463573 | 800 16000 80000 | 77199 69820 120 | 0.000 % |
913.79/914.44 c | 1464170 | 800 16000 80000 | 77199 70417 120 | 0.000 % |
914.19/914.85 c | 1464828 | 800 16000 80000 | 77199 71075 120 | 0.000 % |
914.69/915.32 c | 1465548 | 800 16000 80000 | 77199 71795 120 | 0.000 % |
915.19/915.87 c | 1466341 | 800 16000 80000 | 77199 72588 120 | 0.000 % |
915.79/916.49 c | 1467215 | 800 16000 80000 | 77199 73462 120 | 0.000 % |
916.39/917.09 c | 1468173 | 800 16000 80000 | 77199 74420 120 | 0.000 % |
917.18/917.85 c | 1469226 | 800 16000 80000 | 77199 75473 119 | 0.000 % |
917.98/918.64 c | 1470384 | 800 16000 80000 | 76247 67519 119 | 0.000 % |
918.78/919.43 c | 1471659 | 800 16000 80000 | 76247 68794 119 | 0.000 % |
919.58/920.26 c | 1473060 | 800 16000 80000 | 76247 70195 119 | 0.000 % |
920.58/921.22 c | 1474601 | 800 16000 80000 | 76247 71736 119 | 0.000 % |
921.68/922.30 c | 1476295 | 800 16000 80000 | 76247 73430 119 | 0.000 % |
922.78/923.41 c | 1478159 | 800 16000 80000 | 76247 75294 119 | 0.000 % |
923.98/924.69 c | 1480210 | 800 16000 80000 | 68400 68609 119 | 0.000 % |
925.28/925.96 c | 1482464 | 800 16000 80000 | 68400 63388 118 | 0.000 % |
926.58/927.28 c | 1484944 | 800 16000 80000 | 68400 65868 118 | 0.000 % |
928.28/928.92 c | 1487669 | 800 16000 80000 | 68400 68593 118 | 0.000 % |
929.98/930.67 c | 1490667 | 800 16000 80000 | 2147483647 64732 118 | 0.000 % |
931.88/932.59 c | 1493963 | 800 16000 80000 | 2147483647 68028 118 | 0.000 % |
934.07/934.75 c | 1497589 | 800 16000 80000 | 2147483647 71654 118 | 0.000 % |
936.48/937.19 c | 1501576 | 800 16000 80000 | 2147483647 75641 118 | 0.000 % |
939.37/940.09 c | 1505964 | 800 16000 80000 | 2147483647 80029 118 | 0.000 % |
942.97/943.62 c | 1510787 | 800 16000 80000 | 84065 72849 118 | 0.000 % |
946.27/946.96 c | 1516092 | 800 16000 80000 | 84065 78154 118 | 0.000 % |
950.27/950.96 c | 1521928 | 800 16000 80000 | 82062 72080 117 | 0.000 % |
954.66/955.36 c | 1528347 | 800 16000 80000 | 82062 78499 117 | 0.000 % |
959.26/959.94 c | 1535411 | 800 16000 80000 | 80153 73626 118 | 0.000 % |
964.35/965.00 c | 1543177 | 800 16000 80000 | 78215 71134 120 | 0.000 % |
970.15/970.81 c | 1551720 | 800 16000 80000 | 77957 69684 120 | 0.000 % |
976.35/977.07 c | 1561114 | 800 16000 80000 | 77964 68907 120 | 0.000 % |
983.25/983.97 c | 1571450 | 800 16000 80000 | 77794 68003 120 | 0.000 % |
990.74/991.46 c | 1582816 | 800 16000 80000 | 76553 69285 120 | 0.000 % |
999.94/1000.63 c | 1595318 | 800 16000 80000 | 76470 71533 121 | 0.000 % |
1010.32/1011.08 c | 1609071 | 800 16000 80000 | 76216 75072 121 | 0.000 % |
1010.42/1011.16 c | 1609171 | 800 16000 80000 | 76216 75172 121 | 0.000 % |
1010.52/1011.24 c | 1609281 | 800 16000 80000 | 76216 75282 121 | 0.000 % |
1010.62/1011.33 c | 1609403 | 800 16000 80000 | 76216 75404 121 | 0.000 % |
1010.72/1011.43 c | 1609537 | 800 16000 80000 | 76216 75538 121 | 0.000 % |
1010.82/1011.55 c | 1609683 | 800 16000 80000 | 76216 75684 121 | 0.000 % |
1010.92/1011.67 c | 1609844 | 800 16000 80000 | 76216 75845 121 | 0.000 % |
1011.02/1011.79 c | 1610021 | 800 16000 80000 | 76003 76022 121 | 0.000 % |
1011.22/1011.97 c | 1610220 | 800 16000 80000 | 76003 65853 120 | 0.000 % |
1011.42/1012.10 c | 1610432 | 800 16000 80000 | 76003 66065 120 | 0.000 % |
1011.52/1012.24 c | 1610668 | 800 16000 80000 | 76003 66301 120 | 0.000 % |
1011.72/1012.40 c | 1610925 | 800 16000 80000 | 76003 66558 120 | 0.000 % |
1011.82/1012.57 c | 1611206 | 800 16000 80000 | 76003 66839 120 | 0.000 % |
1012.02/1012.75 c | 1611517 | 800 16000 80000 | 76003 67150 120 | 0.000 % |
1012.22/1012.96 c | 1611856 | 800 16000 80000 | 76003 67489 120 | 0.000 % |
1012.42/1013.18 c | 1612228 | 800 16000 80000 | 76003 67861 120 | 0.000 % |
1012.72/1013.42 c | 1612638 | 800 16000 80000 | 76003 68271 120 | 0.000 % |
1012.92/1013.68 c | 1613089 | 800 16000 80000 | 76003 68722 119 | 0.000 % |
1013.32/1014.03 c | 1613584 | 800 16000 80000 | 76003 69217 119 | 0.000 % |
1013.62/1014.39 c | 1614126 | 800 16000 80000 | 76003 69759 119 | 0.000 % |
1014.01/1014.77 c | 1614722 | 800 16000 80000 | 76003 70355 119 | 0.000 % |
1014.41/1015.18 c | 1615377 | 800 16000 80000 | 76003 71010 119 | 0.000 % |
1014.91/1015.67 c | 1616099 | 800 16000 80000 | 76003 71732 119 | 0.000 % |
1015.41/1016.14 c | 1616892 | 800 16000 80000 | 76003 72525 119 | 0.000 % |
1016.01/1016.73 c | 1617764 | 800 16000 80000 | 76003 73397 119 | 0.000 % |
1016.61/1017.32 c | 1618724 | 800 16000 80000 | 76003 74357 119 | 0.000 % |
1017.21/1017.94 c | 1619777 | 800 16000 80000 | 76003 75410 119 | 0.000 % |
1017.92/1018.69 c | 1620936 | 800 16000 80000 | 75635 67566 119 | 0.000 % |
1018.61/1019.37 c | 1622210 | 800 16000 80000 | 75635 68840 119 | 0.000 % |
1019.41/1020.12 c | 1623611 | 800 16000 80000 | 75635 70241 119 | 0.000 % |
1020.31/1021.01 c | 1625151 | 800 16000 80000 | 75635 71781 119 | 0.000 % |
1021.31/1022.04 c | 1626848 | 800 16000 80000 | 75635 73478 118 | 0.000 % |
1022.51/1023.24 c | 1628711 | 800 16000 80000 | 75635 75341 118 | 0.000 % |
1023.81/1024.59 c | 1630760 | 800 16000 80000 | 68420 61948 118 | 0.000 % |
1025.11/1025.81 c | 1633014 | 800 16000 80000 | 68420 64202 118 | 0.000 % |
1026.41/1027.12 c | 1635492 | 800 16000 80000 | 68420 66680 118 | 0.000 % |
1028.01/1028.77 c | 1638220 | 800 16000 80000 | 68420 62539 118 | 0.000 % |
1029.61/1030.38 c | 1641217 | 800 16000 80000 | 2147483647 65536 118 | 0.000 % |
1031.51/1032.27 c | 1644514 | 800 16000 80000 | 2147483647 68833 118 | 0.000 % |
1033.80/1034.50 c | 1648140 | 800 16000 80000 | 2147483647 72459 118 | 0.000 % |
1036.40/1037.11 c | 1652127 | 800 16000 80000 | 2147483647 76446 117 | 0.000 % |
1039.20/1039.97 c | 1656513 | 800 16000 80000 | 2147483647 80832 117 | 0.000 % |
1042.30/1043.07 c | 1661336 | 800 16000 80000 | 84319 73454 117 | 0.000 % |
1045.30/1046.04 c | 1666641 | 800 16000 80000 | 84319 78759 117 | 0.000 % |
1049.20/1049.96 c | 1672477 | 800 16000 80000 | 82121 73394 117 | 0.000 % |
1053.49/1054.22 c | 1678895 | 800 16000 80000 | 82121 79812 117 | 0.000 % |
1058.19/1058.94 c | 1685954 | 800 16000 80000 | 80919 75969 116 | 0.000 % |
1063.49/1064.22 c | 1693720 | 800 16000 80000 | 80016 73326 117 | 0.000 % |
1069.09/1069.88 c | 1702260 | 800 16000 80000 | 79607 71370 118 | 0.000 % |
1075.98/1076.79 c | 1711654 | 800 16000 80000 | 79111 69957 119 | 0.000 % |
1083.58/1084.39 c | 1721989 | 800 16000 80000 | 78304 69445 120 | 0.000 % |
1091.48/1092.26 c | 1733356 | 800 16000 80000 | 77459 70505 120 | 0.000 % |
1100.37/1101.16 c | 1745859 | 800 16000 80000 | 77150 73355 120 | 0.000 % |
1109.96/1110.79 c | 1759612 | 800 16000 80000 | 67727 62005 121 | 0.000 % |
1121.36/1122.12 c | 1774740 | 800 16000 80000 | 2147483647 77133 121 | 0.000 % |
1121.46/1122.20 c | 1774841 | 800 16000 80000 | 2147483647 77234 121 | 0.000 % |
1121.46/1122.29 c | 1774954 | 800 16000 80000 | 2147483647 77347 121 | 0.000 % |
1121.56/1122.39 c | 1775076 | 800 16000 80000 | 2147483647 77469 121 | 0.000 % |
1121.66/1122.49 c | 1775210 | 800 16000 80000 | 2147483647 77603 121 | 0.000 % |
1121.76/1122.58 c | 1775356 | 800 16000 80000 | 2147483647 77749 121 | 0.000 % |
1121.86/1122.69 c | 1775516 | 800 16000 80000 | 2147483647 77909 121 | 0.000 % |
1122.06/1122.84 c | 1775693 | 800 16000 80000 | 2147483647 78086 121 | 0.000 % |
1122.16/1122.97 c | 1775886 | 800 16000 80000 | 2147483647 78279 121 | 0.000 % |
1122.36/1123.13 c | 1776098 | 800 16000 80000 | 2147483647 78491 120 | 0.000 % |
1122.56/1123.32 c | 1776331 | 800 16000 80000 | 2147483647 78724 120 | 0.000 % |
1122.66/1123.50 c | 1776588 | 800 16000 80000 | 2147483647 78981 120 | 0.000 % |
1122.86/1123.68 c | 1776870 | 800 16000 80000 | 2147483647 79263 120 | 0.000 % |
1123.06/1123.88 c | 1777179 | 800 16000 80000 | 2147483647 79572 120 | 0.000 % |
1123.36/1124.10 c | 1777518 | 800 16000 80000 | 2147483647 79911 120 | 0.000 % |
1123.56/1124.38 c | 1777890 | 800 16000 80000 | 2147483647 80283 120 | 0.000 % |
1123.86/1124.67 c | 1778301 | 800 16000 80000 | 2147483647 80694 120 | 0.000 % |
1124.16/1125.00 c | 1778751 | 800 16000 80000 | 2147483647 81144 120 | 0.000 % |
1124.56/1125.30 c | 1779246 | 800 16000 80000 | 2147483647 81639 120 | 0.000 % |
1124.86/1125.69 c | 1779789 | 800 16000 80000 | 2147483647 82182 120 | 0.000 % |
1125.36/1126.15 c | 1780386 | 800 16000 80000 | 82395 70699 119 | 0.000 % |
1125.76/1126.56 c | 1781041 | 800 16000 80000 | 82395 71354 119 | 0.000 % |
1126.16/1126.99 c | 1781763 | 800 16000 80000 | 82395 72076 119 | 0.000 % |
1126.67/1127.49 c | 1782555 | 800 16000 80000 | 82395 72868 119 | 0.000 % |
1127.26/1128.07 c | 1783428 | 800 16000 80000 | 82395 73741 119 | 0.000 % |
1127.96/1128.72 c | 1784387 | 800 16000 80000 | 82395 74700 119 | 0.000 % |
1128.56/1129.39 c | 1785440 | 800 16000 80000 | 82395 75753 118 | 0.000 % |
1129.26/1130.09 c | 1786598 | 800 16000 80000 | 82395 76911 118 | 0.000 % |
1130.07/1130.89 c | 1787873 | 800 16000 80000 | 82395 78186 118 | 0.000 % |
1130.96/1131.73 c | 1789277 | 800 16000 80000 | 82395 79590 118 | 0.000 % |
1131.96/1132.75 c | 1790817 | 800 16000 80000 | 80313 69514 118 | 0.000 % |
1132.96/1133.72 c | 1792513 | 800 16000 80000 | 80313 71210 118 | 0.000 % |
1134.06/1134.83 c | 1794377 | 800 16000 80000 | 80313 73074 117 | 0.000 % |
1135.26/1136.01 c | 1796427 | 800 16000 80000 | 80313 75124 117 | 0.000 % |
1136.56/1137.37 c | 1798680 | 800 16000 80000 | 80313 77377 117 | 0.000 % |
1138.06/1138.89 c | 1801158 | 800 16000 80000 | 78698 70583 117 | 0.000 % |
1139.66/1140.44 c | 1803885 | 800 16000 80000 | 78698 73310 117 | 0.000 % |
1141.45/1142.20 c | 1806882 | 800 16000 80000 | 78698 76307 117 | 0.000 % |
1143.55/1144.32 c | 1810179 | 800 16000 80000 | 71478 71654 116 | 0.000 % |
1145.54/1146.37 c | 1813805 | 800 16000 80000 | 71478 68100 115 | 0.000 % |
1148.04/1148.81 c | 1817793 | 800 16000 80000 | 71478 64913 114 | 0.000 % |
1150.54/1151.34 c | 1822179 | 800 16000 80000 | 2147483647 69299 115 | 0.000 % |
1153.74/1154.54 c | 1827002 | 800 16000 80000 | 2147483647 74122 115 | 0.000 % |
1156.84/1157.69 c | 1832308 | 800 16000 80000 | 77121 70306 115 | 0.000 % |
1160.24/1161.07 c | 1838144 | 800 16000 80000 | 77121 76142 115 | 0.000 % |
1163.94/1164.77 c | 1844563 | 800 16000 80000 | 69207 66161 115 | 0.000 % |
1167.94/1168.74 c | 1851623 | 800 16000 80000 | 2147483647 66271 116 | 0.000 % |
1172.84/1173.68 c | 1859387 | 800 16000 80000 | 2147483647 74035 116 | 0.000 % |
1178.23/1179.05 c | 1867929 | 800 16000 80000 | 74648 67472 117 | 0.000 % |
1184.23/1185.08 c | 1877323 | 800 16000 80000 | 2147483647 76866 118 | 0.000 % |
1191.92/1192.71 c | 1887656 | 800 16000 80000 | 79543 78030 118 | 0.000 % |
1199.92/1200.70 c | 1899022 | 800 16000 80000 | 69872 69975 121 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832477-1242773826/watcher-1832477-1242773826 -o /tmp/evaluation-result-1832477-1242773826/solver-1832477-1242773826 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832477-1242773826.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 28811
/proc/meminfo: memFree=1893496/2055920 swapFree=4177008/4192956
[pid=28811] ppid=28809 vsize=5356 CPUtime=0
/proc/28811/stat : 28811 (SatELiteGTI) R 28809 28811 28415 0 -1 4194304 292 249 0 0 0 0 0 0 18 0 1 0 305412978 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 228043844255 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/28811/statm: 1339 237 197 169 0 50 0
[pid=28815] ppid=28811 vsize=872 CPUtime=0
/proc/28815/stat : 28815 (SatELite_releas) R 28811 28811 28415 0 -1 4194304 103 0 0 0 0 0 0 0 18 0 1 0 305412978 892928 89 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 0 0 0
/proc/28815/statm: 218 89 49 173 0 43 0
[startup+0.097751 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 28811
/proc/meminfo: memFree=1893496/2055920 swapFree=4177008/4192956
[pid=28811] ppid=28809 vsize=5356 CPUtime=0.03
/proc/28811/stat : 28811 (SatELiteGTI) S 28809 28811 28415 0 -1 4194304 336 690 0 0 0 0 3 0 18 0 1 0 305412978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28811/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.10175 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 28811
/proc/meminfo: memFree=1893496/2055920 swapFree=4177008/4192956
[pid=28811] ppid=28809 vsize=5356 CPUtime=0.03
/proc/28811/stat : 28811 (SatELiteGTI) S 28809 28811 28415 0 -1 4194304 336 690 0 0 0 0 3 0 18 0 1 0 305412978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28811/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.301789 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 28811
/proc/meminfo: memFree=1893496/2055920 swapFree=4177008/4192956
[pid=28811] ppid=28809 vsize=5356 CPUtime=0.03
/proc/28811/stat : 28811 (SatELiteGTI) S 28809 28811 28415 0 -1 4194304 336 690 0 0 0 0 3 0 18 0 1 0 305412978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28811/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.701873 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 28811
/proc/meminfo: memFree=1893496/2055920 swapFree=4177008/4192956
[pid=28811] ppid=28809 vsize=5356 CPUtime=0.03
/proc/28811/stat : 28811 (SatELiteGTI) S 28809 28811 28415 0 -1 4194304 336 690 0 0 0 0 3 0 18 0 1 0 305412978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28811/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+1.50203 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 28817
/proc/meminfo: memFree=1888808/2055920 swapFree=4177008/4192956
[pid=28811] ppid=28809 vsize=5356 CPUtime=0.03
/proc/28811/stat : 28811 (SatELiteGTI) S 28809 28811 28415 0 -1 4194304 336 690 0 0 0 0 3 0 18 0 1 0 305412978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28811/statm: 1339 239 197 169 0 50 0
[pid=28817] ppid=28811 vsize=6320 CPUtime=1.43
/proc/28817/stat : 28817 (minisat_static) R 28811 28811 28415 0 -1 4194304 1315 0 0 0 143 0 0 0 25 0 1 0 305412982 6471680 1301 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/28817/statm: 1580 1301 77 171 0 1407 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 11676
[startup+3.10234 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 28817
/proc/meminfo: memFree=1885800/2055920 swapFree=4177008/4192956
[pid=28811] ppid=28809 vsize=5356 CPUtime=0.03
/proc/28811/stat : 28811 (SatELiteGTI) S 28809 28811 28415 0 -1 4194304 336 690 0 0 0 0 3 0 18 0 1 0 305412978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28811/statm: 1339 239 197 169 0 50 0
[pid=28817] ppid=28811 vsize=10704 CPUtime=3.04
/proc/28817/stat : 28817 (minisat_static) R 28811 28811 28415 0 -1 4194304 2418 0 0 0 303 1 0 0 25 0 1 0 305412982 10960896 2404 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28817/statm: 2676 2404 77 171 0 2503 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 16060
[startup+6.30196 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 28817
/proc/meminfo: memFree=1878696/2055920 swapFree=4177008/4192956
[pid=28811] ppid=28809 vsize=5356 CPUtime=0.03
/proc/28811/stat : 28811 (SatELiteGTI) S 28809 28811 28415 0 -1 4194304 336 690 0 0 0 0 3 0 18 0 1 0 305412978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28811/statm: 1339 239 197 169 0 50 0
[pid=28817] ppid=28811 vsize=16676 CPUtime=6.23
/proc/28817/stat : 28817 (minisat_static) R 28811 28811 28415 0 -1 4194304 3898 0 0 0 621 2 0 0 25 0 1 0 305412982 17076224 3884 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28817/statm: 4169 3884 77 171 0 3996 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 22032
[startup+12.7012 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 28817
/proc/meminfo: memFree=1870000/2055920 swapFree=4177008/4192956
[pid=28811] ppid=28809 vsize=5356 CPUtime=0.03
/proc/28811/stat : 28811 (SatELiteGTI) S 28809 28811 28415 0 -1 4194304 336 690 0 0 0 0 3 0 18 0 1 0 305412978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28811/statm: 1339 239 197 169 0 50 0
[pid=28817] ppid=28811 vsize=24676 CPUtime=12.61
/proc/28817/stat : 28817 (minisat_static) R 28811 28811 28415 0 -1 4194304 5898 0 0 0 1258 3 0 0 25 0 1 0 305412982 25268224 5884 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28817/statm: 6169 5884 77 171 0 5996 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 30032
[startup+25.5018 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 28817
/proc/meminfo: memFree=1858288/2055920 swapFree=4177008/4192956
[pid=28811] ppid=28809 vsize=5356 CPUtime=0.03
/proc/28811/stat : 28811 (SatELiteGTI) S 28809 28811 28415 0 -1 4194304 336 690 0 0 0 0 3 0 18 0 1 0 305412978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28811/statm: 1339 239 197 169 0 50 0
[pid=28817] ppid=28811 vsize=35884 CPUtime=25.4
/proc/28817/stat : 28817 (minisat_static) R 28811 28811 28415 0 -1 4194304 8690 0 0 0 2535 5 0 0 25 0 1 0 305412982 36745216 8676 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28817/statm: 8971 8676 77 171 0 8798 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 41240
[startup+51.1017 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 28817
/proc/meminfo: memFree=1851376/2055920 swapFree=4177008/4192956
[pid=28811] ppid=28809 vsize=5356 CPUtime=0.03
/proc/28811/stat : 28811 (SatELiteGTI) S 28809 28811 28415 0 -1 4194304 336 690 0 0 0 0 3 0 18 0 1 0 305412978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28811/statm: 1339 239 197 169 0 50 0
[pid=28817] ppid=28811 vsize=42484 CPUtime=50.98
/proc/28817/stat : 28817 (minisat_static) R 28811 28811 28415 0 -1 4194304 10347 0 0 0 5091 7 0 0 25 0 1 0 305412982 43503616 10333 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28817/statm: 10621 10333 77 171 0 10448 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 47840
[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 28817
/proc/meminfo: memFree=1851184/2055920 swapFree=4177008/4192956
[pid=28811] ppid=28809 vsize=5356 CPUtime=0.03
/proc/28811/stat : 28811 (SatELiteGTI) S 28809 28811 28415 0 -1 4194304 336 690 0 0 0 0 3 0 18 0 1 0 305412978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28811/statm: 1339 239 197 169 0 50 0
[pid=28817] ppid=28811 vsize=42484 CPUtime=102.16
/proc/28817/stat : 28817 (minisat_static) R 28811 28811 28415 0 -1 4194304 10347 0 0 0 10208 8 0 0 25 0 1 0 305412982 43503616 10333 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/28817/statm: 10621 10333 77 171 0 10448 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 47840
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 28817
/proc/meminfo: memFree=1850672/2055920 swapFree=4177008/4192956
[pid=28811] ppid=28809 vsize=5356 CPUtime=0.03
/proc/28811/stat : 28811 (SatELiteGTI) S 28809 28811 28415 0 -1 4194304 336 690 0 0 0 0 3 0 18 0 1 0 305412978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28811/statm: 1339 239 197 169 0 50 0
[pid=28817] ppid=28811 vsize=42880 CPUtime=162.12
/proc/28817/stat : 28817 (minisat_static) R 28811 28811 28415 0 -1 4194304 10452 0 0 0 16204 8 0 0 25 0 1 0 305412982 43909120 10438 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28817/statm: 10720 10438 77 171 0 10547 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 48236
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 28817
/proc/meminfo: memFree=1849712/2055920 swapFree=4177008/4192956
[pid=28811] ppid=28809 vsize=5356 CPUtime=0.03
/proc/28811/stat : 28811 (SatELiteGTI) S 28809 28811 28415 0 -1 4194304 336 690 0 0 0 0 3 0 18 0 1 0 305412978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28811/statm: 1339 239 197 169 0 50 0
[pid=28817] ppid=28811 vsize=43776 CPUtime=222.09
/proc/28817/stat : 28817 (minisat_static) R 28811 28811 28415 0 -1 4194304 10671 0 0 0 22200 9 0 0 25 0 1 0 305412982 44826624 10657 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/28817/statm: 10944 10657 77 171 0 10771 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 49132
[startup+282.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 28823
/proc/meminfo: memFree=1848368/2055920 swapFree=4177008/4192956
[pid=28811] ppid=28809 vsize=5356 CPUtime=0.03
/proc/28811/stat : 28811 (SatELiteGTI) S 28809 28811 28415 0 -1 4194304 336 690 0 0 0 0 3 0 18 0 1 0 305412978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28811/statm: 1339 239 197 169 0 50 0
[pid=28817] ppid=28811 vsize=44832 CPUtime=282.05
/proc/28817/stat : 28817 (minisat_static) R 28811 28811 28415 0 -1 4194304 10953 0 0 0 28195 10 0 0 25 0 1 0 305412982 45907968 10939 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28817/statm: 11208 10939 77 171 0 11035 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 50188
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 28823
/proc/meminfo: memFree=1847152/2055920 swapFree=4177008/4192956
[pid=28811] ppid=28809 vsize=5356 CPUtime=0.03
/proc/28811/stat : 28811 (SatELiteGTI) S 28809 28811 28415 0 -1 4194304 336 690 0 0 0 0 3 0 18 0 1 0 305412978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28811/statm: 1339 239 197 169 0 50 0
[pid=28817] ppid=28811 vsize=46000 CPUtime=342.01
/proc/28817/stat : 28817 (minisat_static) R 28811 28811 28415 0 -1 4194304 11238 0 0 0 34191 10 0 0 25 0 1 0 305412982 47104000 11220 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/28817/statm: 11500 11220 77 171 0 11327 0
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (KiB) 51356
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 28823
/proc/meminfo: memFree=1846512/2055920 swapFree=4177008/4192956
[pid=28811] ppid=28809 vsize=5356 CPUtime=0.03
/proc/28811/stat : 28811 (SatELiteGTI) S 28809 28811 28415 0 -1 4194304 336 690 0 0 0 0 3 0 18 0 1 0 305412978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28811/statm: 1339 239 197 169 0 50 0
[pid=28817] ppid=28811 vsize=46640 CPUtime=401.99
/proc/28817/stat : 28817 (minisat_static) R 28811 28811 28415 0 -1 4194304 11419 0 0 0 40188 11 0 0 25 0 1 0 305412982 47759360 11375 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/28817/statm: 11660 11375 77 171 0 11487 0
Current children cumulated CPU time (s) 402.02
################
# More data... #
################
/proc/28817/statm: 11759 11491 77 171 0 11586 0
Current children cumulated CPU time (s) 521.92
Current children cumulated vsize (KiB) 52392
[startup+582.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 28823
/proc/meminfo: memFree=1845808/2055920 swapFree=4177008/4192956
[pid=28811] ppid=28809 vsize=5356 CPUtime=0.03
/proc/28811/stat : 28811 (SatELiteGTI) S 28809 28811 28415 0 -1 4194304 336 690 0 0 0 0 3 0 18 0 1 0 305412978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28811/statm: 1339 239 197 169 0 50 0
[pid=28817] ppid=28811 vsize=47036 CPUtime=581.86
/proc/28817/stat : 28817 (minisat_static) R 28811 28811 28415 0 -1 4194304 11535 0 0 0 58175 11 0 0 25 0 1 0 305412982 48164864 11491 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/28817/statm: 11759 11491 77 171 0 11586 0
Current children cumulated CPU time (s) 581.89
Current children cumulated vsize (KiB) 52392
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 28823
/proc/meminfo: memFree=1844528/2055920 swapFree=4177008/4192956
[pid=28811] ppid=28809 vsize=5356 CPUtime=0.03
/proc/28811/stat : 28811 (SatELiteGTI) S 28809 28811 28415 0 -1 4194304 336 690 0 0 0 0 3 0 18 0 1 0 305412978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28811/statm: 1339 239 197 169 0 50 0
[pid=28817] ppid=28811 vsize=48224 CPUtime=641.84
/proc/28817/stat : 28817 (minisat_static) R 28811 28811 28415 0 -1 4194304 11831 0 0 0 64172 12 0 0 25 0 1 0 305412982 49381376 11787 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28817/statm: 12056 11787 77 171 0 11883 0
Current children cumulated CPU time (s) 641.87
Current children cumulated vsize (KiB) 53580
[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 28823
/proc/meminfo: memFree=1844336/2055920 swapFree=4177008/4192956
[pid=28811] ppid=28809 vsize=5356 CPUtime=0.03
/proc/28811/stat : 28811 (SatELiteGTI) S 28809 28811 28415 0 -1 4194304 336 690 0 0 0 0 3 0 18 0 1 0 305412978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28811/statm: 1339 239 197 169 0 50 0
[pid=28817] ppid=28811 vsize=48224 CPUtime=701.79
/proc/28817/stat : 28817 (minisat_static) R 28811 28811 28415 0 -1 4194304 11831 0 0 0 70167 12 0 0 25 0 1 0 305412982 49381376 11787 1992294400 134512640 135215339 4294956240 18446744073709551615 134538488 0 0 4096 3 0 0 0 17 0 0 0
/proc/28817/statm: 12056 11787 77 171 0 11883 0
Current children cumulated CPU time (s) 701.82
Current children cumulated vsize (KiB) 53580
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 28823
/proc/meminfo: memFree=1844208/2055920 swapFree=4177008/4192956
[pid=28811] ppid=28809 vsize=5356 CPUtime=0.03
/proc/28811/stat : 28811 (SatELiteGTI) S 28809 28811 28415 0 -1 4194304 336 690 0 0 0 0 3 0 18 0 1 0 305412978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28811/statm: 1339 239 197 169 0 50 0
[pid=28817] ppid=28811 vsize=48224 CPUtime=761.75
/proc/28817/stat : 28817 (minisat_static) R 28811 28811 28415 0 -1 4194304 11831 0 0 0 76163 12 0 0 25 0 1 0 305412982 49381376 11787 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28817/statm: 12056 11787 77 171 0 11883 0
Current children cumulated CPU time (s) 761.78
Current children cumulated vsize (KiB) 53580
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 28823
/proc/meminfo: memFree=1844080/2055920 swapFree=4177008/4192956
[pid=28811] ppid=28809 vsize=5356 CPUtime=0.03
/proc/28811/stat : 28811 (SatELiteGTI) S 28809 28811 28415 0 -1 4194304 336 690 0 0 0 0 3 0 18 0 1 0 305412978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28811/statm: 1339 239 197 169 0 50 0
[pid=28817] ppid=28811 vsize=48224 CPUtime=821.72
/proc/28817/stat : 28817 (minisat_static) R 28811 28811 28415 0 -1 4194304 11831 0 0 0 82160 12 0 0 25 0 1 0 305412982 49381376 11787 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/28817/statm: 12056 11787 77 171 0 11883 0
Current children cumulated CPU time (s) 821.75
Current children cumulated vsize (KiB) 53580
[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 28823
/proc/meminfo: memFree=1843952/2055920 swapFree=4177008/4192956
[pid=28811] ppid=28809 vsize=5356 CPUtime=0.03
/proc/28811/stat : 28811 (SatELiteGTI) S 28809 28811 28415 0 -1 4194304 336 690 0 0 0 0 3 0 18 0 1 0 305412978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28811/statm: 1339 239 197 169 0 50 0
[pid=28817] ppid=28811 vsize=48224 CPUtime=881.67
/proc/28817/stat : 28817 (minisat_static) R 28811 28811 28415 0 -1 4194304 11831 0 0 0 88155 12 0 0 25 0 1 0 305412982 49381376 11787 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28817/statm: 12056 11787 77 171 0 11883 0
Current children cumulated CPU time (s) 881.7
Current children cumulated vsize (KiB) 53580
[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 28823
/proc/meminfo: memFree=1843888/2055920 swapFree=4177008/4192956
[pid=28811] ppid=28809 vsize=5356 CPUtime=0.03
/proc/28811/stat : 28811 (SatELiteGTI) S 28809 28811 28415 0 -1 4194304 336 690 0 0 0 0 3 0 18 0 1 0 305412978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28811/statm: 1339 239 197 169 0 50 0
[pid=28817] ppid=28811 vsize=48488 CPUtime=941.64
/proc/28817/stat : 28817 (minisat_static) R 28811 28811 28415 0 -1 4194304 11870 0 0 0 94152 12 0 0 25 0 1 0 305412982 49651712 11826 1992294400 134512640 135215339 4294956240 18446744073709551615 134525032 0 0 4096 3 0 0 0 17 0 0 0
/proc/28817/statm: 12122 11826 77 171 0 11949 0
Current children cumulated CPU time (s) 941.67
Current children cumulated vsize (KiB) 53844
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 28823
/proc/meminfo: memFree=1843120/2055920 swapFree=4177008/4192956
[pid=28811] ppid=28809 vsize=5356 CPUtime=0.03
/proc/28811/stat : 28811 (SatELiteGTI) S 28809 28811 28415 0 -1 4194304 336 690 0 0 0 0 3 0 18 0 1 0 305412978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28811/statm: 1339 239 197 169 0 50 0
[pid=28817] ppid=28811 vsize=48996 CPUtime=1001.61
/proc/28817/stat : 28817 (minisat_static) R 28811 28811 28415 0 -1 4194304 12025 0 0 0 100149 12 0 0 25 0 1 0 305412982 50171904 11981 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28817/statm: 12249 11981 77 171 0 12076 0
Current children cumulated CPU time (s) 1001.64
Current children cumulated vsize (KiB) 54352
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 28823
/proc/meminfo: memFree=1842992/2055920 swapFree=4177008/4192956
[pid=28811] ppid=28809 vsize=5356 CPUtime=0.03
/proc/28811/stat : 28811 (SatELiteGTI) S 28809 28811 28415 0 -1 4194304 336 690 0 0 0 0 3 0 18 0 1 0 305412978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28811/statm: 1339 239 197 169 0 50 0
[pid=28817] ppid=28811 vsize=49260 CPUtime=1061.56
/proc/28817/stat : 28817 (minisat_static) R 28811 28811 28415 0 -1 4194304 12061 0 0 0 106144 12 0 0 25 0 1 0 305412982 50442240 12017 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28817/statm: 12315 12017 77 171 0 12142 0
Current children cumulated CPU time (s) 1061.59
Current children cumulated vsize (KiB) 54616
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 28823
/proc/meminfo: memFree=1842928/2055920 swapFree=4177008/4192956
[pid=28811] ppid=28809 vsize=5356 CPUtime=0.03
/proc/28811/stat : 28811 (SatELiteGTI) S 28809 28811 28415 0 -1 4194304 336 690 0 0 0 0 3 0 18 0 1 0 305412978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28811/statm: 1339 239 197 169 0 50 0
[pid=28817] ppid=28811 vsize=48996 CPUtime=1121.53
/proc/28817/stat : 28817 (minisat_static) R 28811 28811 28415 0 -1 4194304 12061 0 0 0 112141 12 0 0 25 0 1 0 305412982 50171904 11981 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28817/statm: 12249 11981 77 171 0 12076 0
Current children cumulated CPU time (s) 1121.56
Current children cumulated vsize (KiB) 54352
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 28823
/proc/meminfo: memFree=1842608/2055920 swapFree=4177008/4192956
[pid=28811] ppid=28809 vsize=5356 CPUtime=0.03
/proc/28811/stat : 28811 (SatELiteGTI) S 28809 28811 28415 0 -1 4194304 336 690 0 0 0 0 3 0 18 0 1 0 305412978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28811/statm: 1339 239 197 169 0 50 0
[pid=28817] ppid=28811 vsize=49260 CPUtime=1181.5
/proc/28817/stat : 28817 (minisat_static) R 28811 28811 28415 0 -1 4194304 12126 0 0 0 118137 13 0 0 25 0 1 0 305412982 50442240 12046 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/28817/statm: 12315 12046 77 171 0 12142 0
Current children cumulated CPU time (s) 1181.53
Current children cumulated vsize (KiB) 54616
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 28823
/proc/meminfo: memFree=1842608/2055920 swapFree=4177008/4192956
[pid=28811] ppid=28809 vsize=5356 CPUtime=0.03
/proc/28811/stat : 28811 (SatELiteGTI) S 28809 28811 28415 0 -1 4194304 336 690 0 0 0 0 3 0 18 0 1 0 305412978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28811/statm: 1339 239 197 169 0 50 0
[pid=28817] ppid=28811 vsize=49260 CPUtime=1199.99
/proc/28817/stat : 28817 (minisat_static) R 28811 28811 28415 0 -1 4194304 12126 0 0 0 119986 13 0 0 25 0 1 0 305412982 50442240 12046 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28817/statm: 12315 12046 77 171 0 12142 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 54616
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28811 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=37994
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=7998
# CPU time returned by wait4() is 0.045992
# while last known CPU time is 1200.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.81
CPU time (s): 1200.02
CPU user time (s): 1199.89
CPU system time (s): 0.13
CPU usage (%): 99.934
Max. virtual memory (cumulated for all children) (KiB): 54616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.037994
system time used= 0.007998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1026
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 7
runsolver used 1.09683 second user time and 3.42948 second system time
The end
Begin job on node77 at 2009-05-20 00:57:06
IDJOB=1832477
IDBENCH=70202
IDSOLVER=671
FILE ID=node77/1832477-1242773826
PBS_JOBID= 9322226
Free space on /tmp= 66212 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/800/unif-k5-r20-v800-c16000-S1724014998-099.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832477-1242773826/watcher-1832477-1242773826 -o /tmp/evaluation-result-1832477-1242773826/solver-1832477-1242773826 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832477-1242773826.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 30e7a593e751ee62bb5b03787006ccc0
RANDOM SEED=1388766447
node77.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.270
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.270
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1893976 kB
Buffers: 16224 kB
Cached: 106584 kB
SwapCached: 10200 kB
Active: 32540 kB
Inactive: 102156 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1893976 kB
SwapTotal: 4192956 kB
SwapFree: 4177008 kB
Dirty: 1956 kB
Writeback: 0 kB
Mapped: 17012 kB
Slab: 13192 kB
Committed_AS: 1071740 kB
PageTables: 1384 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66212 MiB
End job on node77 at 2009-05-20 01:17:09