0.00/0.00 c Parsing...
0.00/0.03 c ==============================================================================
0.00/0.03 c | | ORIGINAL | LEARNT | |
0.00/0.03 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.03 c ==============================================================================
0.00/0.03 c | 0 | 17000 119000 | 5099 0 0 nan | 0.000 % |
0.00/0.03 c ==============================================================================
0.00/0.03 c Result : #vars: 200 #clauses: 17000 #literals: 119000
0.00/0.03 c CPU time: 0.019996 s
0.00/0.03 c ==============================================================================
0.00/0.06 c This is MiniSat 2.0 beta
0.00/0.06 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06 c ============================[ Problem Statistics ]=============================
0.00/0.06 c | |
0.00/0.06 c | Number of variables: 200 |
0.00/0.06 c | Number of clauses: 17000 |
0.00/0.08 c | Parsing time: 0.01 s |
0.05/0.08 c ============================[ Search Statistics ]==============================
0.05/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.05/0.08 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.05/0.08 c ===============================================================================
0.05/0.08 c | 0 | 200 17000 119000 | 5666 0 nan | 0.000 % |
0.05/0.10 c | 101 | 200 17000 119000 | 5666 101 58 | 0.003 % |
0.05/0.11 c | 201 | 200 17000 119000 | 5666 201 56 | 0.003 % |
0.05/0.12 c | 301 | 200 17000 119000 | 5666 301 58 | 0.003 % |
0.05/0.13 c | 411 | 200 17000 119000 | 5666 411 57 | 0.003 % |
0.05/0.13 c | 511 | 200 17000 119000 | 5666 511 57 | 0.003 % |
0.05/0.14 c | 622 | 200 17000 119000 | 5666 622 57 | 0.003 % |
0.05/0.15 c | 744 | 200 17000 119000 | 5666 744 57 | 0.003 % |
0.05/0.16 c | 845 | 200 17000 119000 | 5666 845 57 | 0.003 % |
0.05/0.17 c | 956 | 200 17000 119000 | 5666 956 56 | 0.003 % |
0.05/0.18 c | 1078 | 200 17000 119000 | 5666 1078 56 | 0.003 % |
0.05/0.20 c | 1211 | 200 17000 119000 | 5666 1211 57 | 0.003 % |
0.05/0.20 c | 1311 | 200 17000 119000 | 5666 1311 56 | 0.003 % |
0.05/0.21 c | 1422 | 200 17000 119000 | 5666 1422 57 | 0.003 % |
0.05/0.22 c | 1544 | 200 17000 119000 | 5666 1544 56 | 0.003 % |
0.05/0.24 c | 1677 | 200 17000 119000 | 5666 1677 56 | 0.003 % |
0.05/0.25 c | 1824 | 200 17000 119000 | 5666 1824 56 | 0.003 % |
0.05/0.26 c | 1924 | 200 17000 119000 | 5666 1924 56 | 0.003 % |
0.05/0.27 c | 2035 | 200 17000 119000 | 5666 2035 56 | 0.003 % |
0.05/0.28 c | 2156 | 200 17000 119000 | 5666 2156 56 | 0.003 % |
0.05/0.30 c | 2290 | 200 17000 119000 | 5666 2290 56 | 0.003 % |
0.05/0.31 c | 2438 | 200 17000 119000 | 5666 2438 57 | 0.003 % |
0.05/0.33 c | 2599 | 200 17000 119000 | 5666 2599 57 | 0.003 % |
0.05/0.34 c | 2699 | 200 17000 119000 | 5666 2699 57 | 0.003 % |
0.05/0.35 c | 2810 | 200 17000 119000 | 5666 2810 57 | 0.003 % |
0.05/0.36 c | 2933 | 200 17000 119000 | 5666 2933 57 | 0.003 % |
0.05/0.37 c | 3066 | 200 17000 119000 | 5666 3066 57 | 0.003 % |
0.05/0.39 c | 3212 | 200 17000 119000 | 5666 3212 57 | 0.003 % |
0.05/0.40 c | 3372 | 200 17000 119000 | 5666 3372 57 | 0.003 % |
0.05/0.42 c | 3548 | 200 17000 119000 | 5666 3548 57 | 0.003 % |
0.05/0.43 c | 3649 | 200 17000 119000 | 5666 3649 57 | 0.003 % |
0.05/0.45 c | 3761 | 200 17000 119000 | 5666 3761 57 | 0.003 % |
0.05/0.46 c | 3883 | 200 17000 119000 | 5666 3883 57 | 0.003 % |
0.05/0.47 c | 4017 | 200 17000 119000 | 5666 4017 57 | 0.003 % |
0.05/0.49 c | 4163 | 200 17000 119000 | 5666 4163 57 | 0.003 % |
0.05/0.50 c | 4323 | 200 17000 119000 | 5666 4323 57 | 0.003 % |
0.05/0.52 c | 4499 | 200 17000 119000 | 5666 4499 57 | 0.003 % |
0.05/0.54 c | 4692 | 200 17000 119000 | 5666 4692 57 | 0.003 % |
0.05/0.56 c | 4792 | 200 17000 119000 | 5666 4792 57 | 0.003 % |
0.05/0.57 c | 4903 | 200 17000 119000 | 5666 4903 57 | 0.003 % |
0.05/0.59 c | 5024 | 200 17000 119000 | 5666 5024 57 | 0.003 % |
0.05/0.60 c | 5158 | 200 17000 119000 | 5666 5158 57 | 0.003 % |
0.05/0.62 c | 5306 | 200 17000 119000 | 5666 5306 57 | 0.003 % |
0.05/0.64 c | 5467 | 200 17000 119000 | 5666 5467 57 | 0.003 % |
0.05/0.66 c | 5644 | 200 17000 119000 | 5666 5644 57 | 0.003 % |
0.05/0.68 c | 5837 | 200 17000 119000 | 5666 5262 56 | 0.003 % |
0.05/0.71 c | 6049 | 200 17000 119000 | 5666 5474 56 | 0.003 % |
0.05/0.72 c | 6151 | 200 17000 119000 | 5666 5576 56 | 0.003 % |
0.05/0.73 c | 6261 | 200 17000 119000 | 5666 5686 56 | 0.003 % |
0.05/0.75 c | 6383 | 200 17000 119000 | 5666 5240 56 | 0.003 % |
0.05/0.77 c | 6517 | 200 17000 119000 | 5666 5374 56 | 0.003 % |
0.05/0.79 c | 6664 | 200 17000 119000 | 5666 5521 56 | 0.003 % |
0.05/0.80 c | 6826 | 200 17000 119000 | 5666 5683 56 | 0.003 % |
0.05/0.83 c | 7004 | 200 17000 119000 | 5666 5293 56 | 0.003 % |
0.05/0.85 c | 7197 | 200 17000 119000 | 5666 5486 56 | 0.003 % |
0.05/0.87 c | 7409 | 200 17000 119000 | 5666 5698 56 | 0.003 % |
0.05/0.90 c | 7643 | 200 17000 119000 | 5666 5363 56 | 0.003 % |
0.05/0.91 c | 7744 | 200 17000 119000 | 5666 5464 56 | 0.003 % |
0.05/0.92 c | 7855 | 200 17000 119000 | 5666 5575 56 | 0.003 % |
0.05/0.94 c | 7976 | 200 17000 119000 | 5666 5696 56 | 0.003 % |
0.05/0.96 c | 8110 | 200 17000 119000 | 5666 5261 56 | 0.003 % |
0.05/0.97 c | 8256 | 200 17000 119000 | 5666 5407 56 | 0.003 % |
0.05/0.99 c | 8417 | 200 17000 119000 | 5666 5568 56 | 0.003 % |
0.98/1.01 c | 8594 | 200 17000 119000 | 5666 5745 56 | 0.003 % |
0.98/1.04 c | 8787 | 200 17000 119000 | 5666 5364 56 | 0.003 % |
0.98/1.06 c | 8999 | 200 17000 119000 | 5666 5576 57 | 0.003 % |
0.98/1.09 c | 9233 | 200 17000 119000 | 5666 5234 57 | 0.003 % |
1.08/1.12 c | 9494 | 200 17000 119000 | 5666 5495 57 | 0.003 % |
1.08/1.13 c | 9595 | 200 17000 119000 | 5666 5596 57 | 0.003 % |
1.08/1.14 c | 9705 | 200 17000 119000 | 5666 5706 57 | 0.003 % |
1.08/1.16 c | 9827 | 200 17000 119000 | 5666 5258 57 | 0.003 % |
1.08/1.18 c | 9960 | 200 17000 119000 | 5666 5391 57 | 0.003 % |
1.08/1.19 c | 10106 | 200 17000 119000 | 2147483647 5537 57 | 0.003 % |
1.17/1.21 c | 10266 | 200 17000 119000 | 2147483647 5697 57 | 0.003 % |
1.17/1.23 c | 10442 | 200 17000 119000 | 2147483647 5873 57 | 0.003 % |
1.17/1.25 c | 10635 | 200 17000 119000 | 2147483647 6066 57 | 0.003 % |
1.17/1.28 c | 10847 | 200 17000 119000 | 2147483647 6278 57 | 0.003 % |
1.27/1.31 c | 11080 | 200 17000 119000 | 2147483647 6511 57 | 0.003 % |
1.27/1.34 c | 11338 | 200 17000 119000 | 2147483647 6769 57 | 0.003 % |
1.27/1.38 c | 11619 | 200 17000 119000 | 2147483647 7050 57 | 0.003 % |
1.27/1.39 c | 11720 | 200 17000 119000 | 2147483647 7151 57 | 0.003 % |
1.37/1.40 c | 11830 | 200 17000 119000 | 2147483647 7261 57 | 0.003 % |
1.37/1.42 c | 11951 | 200 17000 119000 | 2147483647 7382 57 | 0.003 % |
1.37/1.44 c | 12084 | 200 17000 119000 | 2147483647 7515 57 | 0.003 % |
1.37/1.46 c | 12231 | 200 17000 119000 | 2147483647 7662 57 | 0.003 % |
1.37/1.48 c | 12392 | 200 17000 119000 | 2147483647 7823 57 | 0.003 % |
1.47/1.51 c | 12568 | 200 17000 119000 | 2147483647 7999 57 | 0.003 % |
1.47/1.53 c | 12761 | 200 17000 119000 | 2147483647 8192 57 | 0.003 % |
1.47/1.56 c | 12974 | 200 17000 119000 | 2147483647 8405 57 | 0.003 % |
1.47/1.60 c | 13207 | 200 17000 119000 | 2147483647 8638 57 | 0.003 % |
1.57/1.63 c | 13464 | 200 17000 119000 | 2147483647 8895 57 | 0.003 % |
1.57/1.68 c | 13745 | 200 17000 119000 | 2147483647 9176 57 | 0.003 % |
1.67/1.72 c | 14054 | 200 17000 119000 | 2147483647 9485 57 | 0.003 % |
1.67/1.73 c | 14154 | 200 17000 119000 | 2147483647 9585 57 | 0.003 % |
1.67/1.75 c | 14267 | 200 17000 119000 | 2147483647 9698 57 | 0.003 % |
1.67/1.77 c | 14391 | 200 17000 119000 | 2147483647 9822 57 | 0.003 % |
1.67/1.79 c | 14525 | 200 17000 119000 | 2147483647 9956 57 | 0.003 % |
1.77/1.82 c | 14671 | 200 17000 119000 | 2147483647 10102 57 | 0.003 % |
1.77/1.84 c | 14831 | 200 17000 119000 | 2147483647 10262 57 | 0.003 % |
1.77/1.87 c | 15009 | 200 17000 119000 | 2147483647 10440 57 | 0.003 % |
1.87/1.91 c | 15203 | 200 17000 119000 | 2147483647 10634 57 | 0.003 % |
1.87/1.94 c | 15415 | 200 17000 119000 | 2147483647 10846 57 | 0.003 % |
1.87/1.98 c | 15648 | 200 17000 119000 | 2147483647 11079 57 | 0.003 % |
1.97/2.02 c | 15905 | 200 17000 119000 | 2147483647 11336 57 | 0.003 % |
1.97/2.06 c | 16187 | 200 17000 119000 | 2147483647 11618 57 | 0.003 % |
2.07/2.11 c | 16496 | 200 17000 119000 | 2147483647 11927 57 | 0.003 % |
2.07/2.16 c | 16837 | 200 17000 119000 | 2147483647 12268 57 | 0.003 % |
2.07/2.17 c | 16938 | 200 17000 119000 | 2147483647 12369 57 | 0.003 % |
2.07/2.19 c | 17050 | 200 17000 119000 | 2147483647 12481 57 | 0.003 % |
2.17/2.22 c | 17172 | 200 17000 119000 | 2147483647 12603 57 | 0.003 % |
2.17/2.24 c | 17307 | 200 17000 119000 | 2147483647 12738 57 | 0.003 % |
2.17/2.27 c | 17453 | 200 17000 119000 | 2147483647 12884 57 | 0.003 % |
2.27/2.30 c | 17613 | 200 17000 119000 | 2147483647 13044 57 | 0.003 % |
2.27/2.32 c | 17790 | 200 17000 119000 | 2147483647 13221 57 | 0.003 % |
2.27/2.36 c | 17986 | 200 17000 119000 | 2147483647 13417 57 | 0.003 % |
2.37/2.40 c | 18200 | 200 17000 119000 | 2147483647 13631 57 | 0.003 % |
2.37/2.44 c | 18433 | 200 17000 119000 | 2147483647 13864 57 | 0.003 % |
2.37/2.48 c | 18689 | 200 17000 119000 | 2147483647 14120 57 | 0.003 % |
2.46/2.52 c | 18971 | 200 17000 119000 | 2147483647 14402 57 | 0.003 % |
2.46/2.58 c | 19282 | 200 17000 119000 | 2147483647 14713 57 | 0.003 % |
2.56/2.64 c | 19621 | 200 17000 119000 | 2147483647 15052 57 | 0.003 % |
2.66/2.71 c | 19995 | 200 17000 119000 | 2147483647 15426 57 | 0.003 % |
2.66/2.73 c | 20097 | 200 17000 119000 | 2147483647 15528 57 | 0.003 % |
2.66/2.76 c | 20208 | 200 17000 119000 | 2147483647 15639 57 | 0.003 % |
2.66/2.79 c | 20329 | 200 17000 119000 | 2147483647 15760 57 | 0.003 % |
2.76/2.81 c | 20462 | 200 17000 119000 | 2147483647 15893 57 | 0.003 % |
2.76/2.84 c | 20608 | 200 17000 119000 | 2147483647 16039 57 | 0.003 % |
2.76/2.87 c | 20768 | 200 17000 119000 | 2147483647 16199 57 | 0.003 % |
2.86/2.91 c | 20944 | 200 17000 119000 | 2147483647 16375 57 | 0.003 % |
2.86/2.95 c | 21140 | 200 17000 119000 | 2147483647 16571 57 | 0.003 % |
2.86/3.00 c | 21353 | 200 17000 119000 | 2147483647 16784 57 | 0.003 % |
2.96/3.05 c | 21586 | 200 17000 119000 | 2147483647 17017 57 | 0.003 % |
3.06/3.11 c | 21843 | 200 17000 119000 | 2147483647 17274 57 | 0.003 % |
3.06/3.18 c | 22124 | 200 17000 119000 | 2147483647 17555 57 | 0.003 % |
3.16/3.25 c | 22434 | 200 17000 119000 | 2147483647 17865 58 | 0.003 % |
3.26/3.32 c | 22773 | 200 17000 119000 | 2147483647 18204 58 | 0.003 % |
3.36/3.40 c | 23146 | 200 17000 119000 | 2147483647 18577 58 | 0.003 % |
3.36/3.49 c | 23555 | 200 17000 119000 | 2147483647 18986 57 | 0.003 % |
3.46/3.52 c | 23656 | 200 17000 119000 | 2147483647 19087 58 | 0.003 % |
3.46/3.55 c | 23766 | 200 17000 119000 | 2147483647 19197 58 | 0.003 % |
3.46/3.58 c | 23887 | 200 17000 119000 | 2147483647 19318 58 | 0.003 % |
3.56/3.61 c | 24020 | 200 17000 119000 | 2147483647 19451 58 | 0.003 % |
3.56/3.66 c | 24170 | 200 17000 119000 | 2147483647 19601 58 | 0.003 % |
3.66/3.70 c | 24331 | 200 17000 119000 | 2147483647 19762 58 | 0.003 % |
3.66/3.74 c | 24508 | 200 17000 119000 | 2147483647 19939 58 | 0.003 % |
3.66/3.80 c | 24703 | 200 17000 119000 | 2147483647 20134 58 | 0.003 % |
3.76/3.85 c | 24915 | 200 17000 119000 | 2147483647 20346 58 | 0.003 % |
3.86/3.92 c | 25149 | 200 17000 119000 | 2147483647 20580 58 | 0.003 % |
3.86/3.99 c | 25406 | 200 17000 119000 | 2147483647 20837 58 | 0.003 % |
3.95/4.05 c | 25689 | 200 17000 119000 | 2147483647 21120 58 | 0.003 % |
4.05/4.13 c | 26001 | 200 17000 119000 | 2147483647 21432 58 | 0.003 % |
4.15/4.23 c | 26341 | 200 17000 119000 | 2147483647 21772 57 | 0.003 % |
4.26/4.34 c | 26715 | 200 17000 119000 | 2147483647 22146 58 | 0.003 % |
4.36/4.45 c | 27124 | 200 17000 119000 | 2147483647 22555 58 | 0.003 % |
4.45/4.57 c | 27576 | 200 17000 119000 | 2147483647 23007 58 | 0.003 % |
4.56/4.61 c | 27676 | 200 17000 119000 | 2147483647 23107 58 | 0.003 % |
4.56/4.64 c | 27787 | 200 17000 119000 | 2147483647 23218 58 | 0.003 % |
4.56/4.68 c | 27909 | 200 17000 119000 | 2147483647 23340 58 | 0.003 % |
4.65/4.72 c | 28045 | 200 17000 119000 | 2147483647 23476 58 | 0.003 % |
4.65/4.77 c | 28191 | 200 17000 119000 | 2147483647 23622 58 | 0.003 % |
4.75/4.83 c | 28351 | 200 17000 119000 | 2147483647 23782 58 | 0.003 % |
4.75/4.88 c | 28527 | 200 17000 119000 | 2147483647 23958 57 | 0.003 % |
4.85/4.96 c | 28720 | 200 17000 119000 | 2147483647 24151 57 | 0.003 % |
4.95/5.02 c | 28932 | 200 17000 119000 | 2147483647 24363 58 | 0.003 % |
4.95/5.08 c | 29166 | 200 17000 119000 | 2147483647 24597 57 | 0.003 % |
5.05/5.15 c | 29422 | 200 17000 119000 | 2147483647 24853 58 | 0.003 % |
5.15/5.23 c | 29703 | 200 17000 119000 | 2147483647 25134 58 | 0.003 % |
5.25/5.32 c | 30012 | 200 17000 119000 | 2147483647 25443 58 | 0.003 % |
5.35/5.43 c | 30351 | 200 17000 119000 | 2147483647 25782 58 | 0.003 % |
5.45/5.54 c | 30723 | 200 17000 119000 | 2147483647 26154 58 | 0.003 % |
5.56/5.67 c | 31133 | 200 17000 119000 | 2147483647 26564 58 | 0.003 % |
5.76/5.81 c | 31583 | 200 17000 119000 | 2147483647 27014 58 | 0.003 % |
5.86/5.98 c | 32078 | 200 17000 119000 | 2147483647 27509 58 | 0.003 % |
5.96/6.01 c | 32178 | 200 17000 119000 | 2147483647 27609 58 | 0.003 % |
5.96/6.05 c | 32288 | 200 17000 119000 | 2147483647 27719 58 | 0.003 % |
5.96/6.08 c | 32409 | 200 17000 119000 | 2147483647 27840 58 | 0.003 % |
6.06/6.13 c | 32543 | 200 17000 119000 | 2147483647 27974 58 | 0.003 % |
6.06/6.18 c | 32689 | 200 17000 119000 | 2147483647 28120 58 | 0.003 % |
6.16/6.23 c | 32849 | 200 17000 119000 | 2147483647 28280 58 | 0.003 % |
6.16/6.29 c | 33025 | 200 17000 119000 | 2147483647 28456 58 | 0.003 % |
6.26/6.35 c | 33218 | 200 17000 119000 | 2147483647 28649 58 | 0.003 % |
6.36/6.43 c | 33430 | 200 17000 119000 | 2147483647 28861 58 | 0.003 % |
6.46/6.51 c | 33663 | 200 17000 119000 | 2147483647 29094 58 | 0.003 % |
6.46/6.59 c | 33920 | 200 17000 119000 | 2147483647 29351 58 | 0.003 % |
6.56/6.69 c | 34201 | 200 17000 119000 | 2147483647 29632 58 | 0.003 % |
6.66/6.78 c | 34510 | 200 17000 119000 | 2147483647 29941 58 | 0.003 % |
6.85/6.90 c | 34849 | 200 17000 119000 | 2147483647 30280 58 | 0.003 % |
6.95/7.03 c | 35221 | 200 17000 119000 | 2147483647 30652 58 | 0.003 % |
7.05/7.17 c | 35631 | 200 17000 119000 | 2147483647 31062 58 | 0.003 % |
7.25/7.31 c | 36081 | 200 17000 119000 | 2147483647 31512 58 | 0.003 % |
7.45/7.50 c | 36574 | 200 17000 119000 | 2147483647 32005 58 | 0.003 % |
7.65/7.71 c | 37118 | 200 17000 119000 | 2147483647 32549 58 | 0.003 % |
7.65/7.75 c | 37218 | 200 17000 119000 | 2147483647 32649 58 | 0.003 % |
7.75/7.80 c | 37330 | 200 17000 119000 | 2147483647 32761 58 | 0.003 % |
7.75/7.85 c | 37452 | 200 17000 119000 | 2147483647 32883 58 | 0.003 % |
7.85/7.90 c | 37585 | 200 17000 119000 | 2147483647 33016 58 | 0.003 % |
7.85/7.97 c | 37731 | 200 17000 119000 | 2147483647 33162 58 | 0.003 % |
7.95/8.04 c | 37892 | 200 17000 119000 | 2147483647 33323 58 | 0.003 % |
8.05/8.13 c | 38068 | 200 17000 119000 | 2147483647 33499 58 | 0.003 % |
8.15/8.22 c | 38261 | 200 17000 119000 | 2147483647 33692 58 | 0.003 % |
8.25/8.31 c | 38474 | 200 17000 119000 | 2147483647 33905 58 | 0.003 % |
8.25/8.39 c | 38707 | 200 17000 119000 | 2147483647 34138 58 | 0.003 % |
8.45/8.51 c | 38964 | 200 17000 119000 | 2147483647 34395 58 | 0.003 % |
8.55/8.62 c | 39245 | 200 17000 119000 | 2147483647 34676 58 | 0.003 % |
8.65/8.73 c | 39554 | 200 17000 119000 | 2147483647 34985 58 | 0.003 % |
8.85/8.90 c | 39896 | 200 17000 119000 | 2147483647 35327 58 | 0.003 % |
8.95/9.08 c | 40268 | 200 17000 119000 | 2147483647 35699 58 | 0.003 % |
9.15/9.27 c | 40678 | 200 17000 119000 | 2147483647 36109 58 | 0.003 % |
9.35/9.48 c | 41127 | 200 17000 119000 | 2147483647 36558 58 | 0.003 % |
9.55/9.69 c | 41620 | 200 17000 119000 | 2147483647 37051 58 | 0.003 % |
9.85/9.93 c | 42163 | 200 17000 119000 | 2147483647 37594 58 | 0.003 % |
10.04/10.18 c | 42760 | 200 17000 119000 | 2147483647 38191 58 | 0.003 % |
10.14/10.22 c | 42860 | 200 17000 119000 | 2147483647 38291 58 | 0.003 % |
10.14/10.27 c | 42970 | 200 17000 119000 | 2147483647 38401 58 | 0.003 % |
10.24/10.32 c | 43091 | 200 17000 119000 | 2147483647 38522 58 | 0.003 % |
10.34/10.40 c | 43224 | 200 17000 119000 | 2147483647 38655 58 | 0.003 % |
10.34/10.46 c | 43370 | 200 17000 119000 | 2147483647 38801 58 | 0.003 % |
10.44/10.54 c | 43530 | 200 17000 119000 | 2147483647 38961 58 | 0.003 % |
10.54/10.64 c | 43708 | 200 17000 119000 | 2147483647 39139 58 | 0.003 % |
10.64/10.73 c | 43902 | 200 17000 119000 | 2147483647 39333 58 | 0.003 % |
10.74/10.83 c | 44115 | 200 17000 119000 | 2147483647 39546 58 | 0.003 % |
10.85/10.94 c | 44349 | 200 17000 119000 | 2147483647 39780 58 | 0.003 % |
10.95/11.07 c | 44606 | 200 17000 119000 | 2147483647 40037 58 | 0.003 % |
11.14/11.20 c | 44889 | 200 17000 119000 | 2147483647 40320 58 | 0.003 % |
11.24/11.33 c | 45199 | 200 17000 119000 | 2147483647 40630 58 | 0.003 % |
11.34/11.48 c | 45538 | 200 17000 119000 | 2147483647 40969 58 | 0.003 % |
11.54/11.68 c | 45910 | 200 17000 119000 | 2147483647 41341 58 | 0.003 % |
11.74/11.88 c | 46319 | 200 17000 119000 | 2147483647 41750 58 | 0.003 % |
11.95/12.08 c | 46768 | 200 17000 119000 | 2147483647 42199 58 | 0.003 % |
12.24/12.30 c | 47261 | 200 17000 119000 | 2147483647 42692 58 | 0.003 % |
12.45/12.53 c | 47804 | 200 17000 119000 | 2147483647 43235 58 | 0.003 % |
12.75/12.80 c | 48400 | 200 17000 119000 | 2147483647 43831 58 | 0.003 % |
13.05/13.13 c | 49055 | 200 17000 119000 | 2147483647 44486 58 | 0.003 % |
13.16/13.20 c | 49155 | 200 17000 119000 | 2147483647 44586 58 | 0.003 % |
13.16/13.27 c | 49265 | 200 17000 119000 | 2147483647 44696 58 | 0.003 % |
13.25/13.35 c | 49386 | 200 17000 119000 | 2147483647 44817 58 | 0.003 % |
13.35/13.43 c | 49520 | 200 17000 119000 | 2147483647 44951 58 | 0.003 % |
13.45/13.54 c | 49667 | 200 17000 119000 | 2147483647 45098 58 | 0.003 % |
13.55/13.63 c | 49828 | 200 17000 119000 | 2147483647 45259 58 | 0.003 % |
13.65/13.72 c | 50006 | 200 17000 119000 | 2147483647 45437 58 | 0.003 % |
13.75/13.86 c | 50199 | 200 17000 119000 | 2147483647 45630 58 | 0.003 % |
13.85/13.98 c | 50412 | 200 17000 119000 | 2147483647 45843 58 | 0.003 % |
14.05/14.12 c | 50647 | 200 17000 119000 | 2147483647 46078 58 | 0.003 % |
14.15/14.28 c | 50903 | 200 17000 119000 | 2147483647 46334 58 | 0.003 % |
14.35/14.42 c | 51185 | 200 17000 119000 | 2147483647 46616 58 | 0.003 % |
14.45/14.57 c | 51495 | 200 17000 119000 | 2147483647 46926 58 | 0.003 % |
14.65/14.73 c | 51834 | 200 17000 119000 | 2147483647 47265 58 | 0.003 % |
14.85/14.93 c | 52208 | 200 17000 119000 | 2147483647 47639 58 | 0.003 % |
15.05/15.15 c | 52618 | 200 17000 119000 | 2147483647 48049 58 | 0.003 % |
15.25/15.39 c | 53067 | 200 17000 119000 | 2147483647 48498 58 | 0.003 % |
15.65/15.72 c | 53560 | 200 17000 119000 | 2147483647 48991 58 | 0.003 % |
15.95/16.04 c | 54102 | 200 17000 119000 | 2147483647 49533 58 | 0.003 % |
16.24/16.37 c | 54698 | 200 17000 119000 | 2147483647 50129 58 | 0.003 % |
16.64/16.72 c | 55354 | 200 17000 119000 | 2147483647 50785 58 | 0.003 % |
17.04/17.11 c | 56076 | 200 17000 119000 | 2147483647 51507 58 | 0.003 % |
17.04/17.19 c | 56177 | 200 17000 119000 | 2147483647 51608 58 | 0.003 % |
17.14/17.26 c | 56287 | 200 17000 119000 | 2147483647 51718 58 | 0.003 % |
17.24/17.34 c | 56409 | 200 17000 119000 | 2147483647 51840 58 | 0.003 % |
17.34/17.43 c | 56542 | 200 17000 119000 | 2147483647 51973 58 | 0.003 % |
17.45/17.54 c | 56689 | 200 17000 119000 | 2147483647 52120 58 | 0.003 % |
17.55/17.66 c | 56851 | 200 17000 119000 | 2147483647 52282 58 | 0.003 % |
17.64/17.77 c | 57028 | 200 17000 119000 | 2147483647 52459 58 | 0.003 % |
17.84/17.90 c | 57222 | 200 17000 119000 | 2147483647 52653 58 | 0.003 % |
17.94/18.05 c | 57436 | 200 17000 119000 | 2147483647 52867 58 | 0.003 % |
18.14/18.21 c | 57670 | 200 17000 119000 | 2147483647 53101 58 | 0.003 % |
18.24/18.36 c | 57928 | 200 17000 119000 | 2147483647 53359 58 | 0.003 % |
18.44/18.51 c | 58209 | 200 17000 119000 | 2147483647 53640 58 | 0.003 % |
18.54/18.68 c | 58518 | 200 17000 119000 | 2147483647 53949 58 | 0.003 % |
18.84/18.94 c | 58858 | 200 17000 119000 | 2147483647 54289 58 | 0.003 % |
19.04/19.19 c | 59230 | 200 17000 119000 | 2147483647 54661 58 | 0.003 % |
19.34/19.48 c | 59640 | 200 17000 119000 | 2147483647 55071 58 | 0.003 % |
19.64/19.73 c | 60089 | 200 17000 119000 | 2147483647 55520 58 | 0.003 % |
19.94/20.09 c | 60583 | 200 17000 119000 | 2147483647 56014 58 | 0.003 % |
20.34/20.45 c | 61127 | 200 17000 119000 | 2147483647 56558 58 | 0.003 % |
20.74/20.83 c | 61723 | 200 17000 119000 | 2147483647 57154 58 | 0.003 % |
21.13/21.23 c | 62381 | 200 17000 119000 | 2147483647 57812 58 | 0.003 % |
21.54/21.67 c | 63102 | 200 17000 119000 | 2147483647 58533 58 | 0.003 % |
22.04/22.16 c | 63894 | 200 17000 119000 | 2147483647 59325 58 | 0.003 % |
22.14/22.24 c | 63996 | 200 17000 119000 | 2147483647 59427 58 | 0.003 % |
22.24/22.31 c | 64106 | 200 17000 119000 | 2147483647 59537 58 | 0.003 % |
22.24/22.39 c | 64227 | 200 17000 119000 | 2147483647 59658 58 | 0.003 % |
22.34/22.48 c | 64360 | 200 17000 119000 | 2147483647 59791 58 | 0.003 % |
22.44/22.56 c | 64507 | 200 17000 119000 | 2147483647 59938 58 | 0.003 % |
22.64/22.72 c | 64667 | 200 17000 119000 | 2147483647 60098 58 | 0.003 % |
22.74/22.84 c | 64846 | 200 17000 119000 | 2147483647 60277 58 | 0.003 % |
22.84/22.98 c | 65039 | 200 17000 119000 | 2147483647 60470 58 | 0.003 % |
23.04/23.16 c | 65251 | 200 17000 119000 | 2147483647 60682 58 | 0.003 % |
23.24/23.32 c | 65484 | 200 17000 119000 | 2147483647 60915 58 | 0.003 % |
23.44/23.50 c | 65741 | 200 17000 119000 | 2147483647 61172 58 | 0.003 % |
23.54/23.70 c | 66022 | 200 17000 119000 | 2147483647 61453 58 | 0.003 % |
23.84/23.97 c | 66331 | 200 17000 119000 | 2147483647 61762 58 | 0.003 % |
24.14/24.25 c | 66670 | 200 17000 119000 | 2147483647 62101 58 | 0.003 % |
24.44/24.52 c | 67043 | 200 17000 119000 | 2147483647 62474 58 | 0.003 % |
24.74/24.84 c | 67452 | 200 17000 119000 | 2147483647 62883 58 | 0.003 % |
25.03/25.16 c | 67902 | 200 17000 119000 | 2147483647 63333 58 | 0.003 % |
25.33/25.48 c | 68396 | 200 17000 119000 | 2147483647 63827 58 | 0.003 % |
25.73/25.84 c | 68940 | 200 17000 119000 | 2147483647 64371 58 | 0.003 % |
26.13/26.24 c | 69541 | 200 17000 119000 | 2147483647 64972 58 | 0.003 % |
26.73/26.82 c | 70196 | 200 17000 119000 | 2147483647 65627 58 | 0.003 % |
27.23/27.37 c | 70917 | 200 17000 119000 | 2147483647 66348 58 | 0.003 % |
27.92/28.00 c | 71709 | 200 17000 119000 | 2147483647 67140 58 | 0.003 % |
28.52/28.61 c | 72581 | 200 17000 119000 | 2147483647 68012 58 | 0.003 % |
28.62/28.73 c | 72682 | 200 17000 119000 | 2147483647 68113 58 | 0.003 % |
28.72/28.81 c | 72792 | 200 17000 119000 | 2147483647 68223 58 | 0.003 % |
28.82/28.92 c | 72913 | 200 17000 119000 | 2147483647 68344 58 | 0.003 % |
28.92/29.04 c | 73046 | 200 17000 119000 | 2147483647 68477 58 | 0.003 % |
29.12/29.22 c | 73192 | 200 17000 119000 | 2147483647 68623 58 | 0.003 % |
29.22/29.37 c | 73353 | 200 17000 119000 | 2147483647 68784 58 | 0.003 % |
29.42/29.52 c | 73529 | 200 17000 119000 | 2147483647 68960 58 | 0.003 % |
29.62/29.73 c | 73723 | 200 17000 119000 | 2147483647 69154 58 | 0.003 % |
29.81/29.91 c | 73936 | 200 17000 119000 | 2147483647 69367 58 | 0.003 % |
30.01/30.10 c | 74169 | 200 17000 119000 | 2147483647 69600 58 | 0.003 % |
30.11/30.28 c | 74425 | 200 17000 119000 | 2147483647 69856 58 | 0.003 % |
30.42/30.52 c | 74706 | 200 17000 119000 | 2147483647 70137 58 | 0.003 % |
30.62/30.77 c | 75016 | 200 17000 119000 | 2147483647 70447 58 | 0.003 % |
30.92/31.08 c | 75359 | 200 17000 119000 | 2147483647 70790 58 | 0.003 % |
31.22/31.37 c | 75731 | 200 17000 119000 | 2147483647 71162 58 | 0.003 % |
31.62/31.72 c | 76142 | 200 17000 119000 | 2147483647 71573 58 | 0.003 % |
31.92/32.09 c | 76591 | 200 17000 119000 | 2147483647 72022 58 | 0.003 % |
32.42/32.53 c | 77085 | 200 17000 119000 | 2147483647 72516 58 | 0.003 % |
32.92/33.02 c | 77629 | 200 17000 119000 | 2147483647 73060 58 | 0.003 % |
33.42/33.53 c | 78225 | 200 17000 119000 | 2147483647 73656 58 | 0.003 % |
33.92/34.08 c | 78881 | 200 17000 119000 | 2147483647 74312 58 | 0.003 % |
34.51/34.67 c | 79601 | 200 17000 119000 | 2147483647 75032 58 | 0.003 % |
35.21/35.33 c | 80394 | 200 17000 119000 | 75432 67290 58 | 0.003 % |
35.81/35.94 c | 81268 | 200 17000 119000 | 75432 68164 58 | 0.003 % |
36.41/36.56 c | 82229 | 200 17000 119000 | 75432 69125 58 | 0.003 % |
36.51/36.63 c | 82331 | 200 17000 119000 | 75432 69227 58 | 0.003 % |
36.61/36.71 c | 82441 | 200 17000 119000 | 75432 69337 58 | 0.003 % |
36.61/36.79 c | 82562 | 200 17000 119000 | 75432 69458 58 | 0.003 % |
36.81/36.96 c | 82697 | 200 17000 119000 | 75432 69593 58 | 0.003 % |
36.91/37.07 c | 82844 | 200 17000 119000 | 75432 69740 58 | 0.003 % |
37.11/37.22 c | 83004 | 200 17000 119000 | 75432 69900 58 | 0.003 % |
37.22/37.40 c | 83181 | 200 17000 119000 | 75432 70077 58 | 0.003 % |
37.41/37.57 c | 83374 | 200 17000 119000 | 75432 70270 58 | 0.003 % |
37.61/37.74 c | 83587 | 200 17000 119000 | 75432 70483 58 | 0.003 % |
37.81/37.95 c | 83820 | 200 17000 119000 | 75432 70716 58 | 0.003 % |
38.01/38.18 c | 84076 | 200 17000 119000 | 75432 70972 58 | 0.003 % |
38.32/38.40 c | 84358 | 200 17000 119000 | 75432 71254 58 | 0.003 % |
38.51/38.68 c | 84667 | 200 17000 119000 | 75432 71563 58 | 0.003 % |
38.81/38.98 c | 85008 | 200 17000 119000 | 75432 71904 58 | 0.003 % |
39.11/39.29 c | 85381 | 200 17000 119000 | 75432 72277 58 | 0.003 % |
39.52/39.63 c | 85791 | 200 17000 119000 | 75432 72687 58 | 0.003 % |
39.91/40.00 c | 86240 | 200 17000 119000 | 75432 73136 58 | 0.003 % |
40.21/40.37 c | 86733 | 200 17000 119000 | 75432 73629 58 | 0.003 % |
40.61/40.76 c | 87275 | 200 17000 119000 | 75432 74171 58 | 0.003 % |
41.11/41.21 c | 87871 | 200 17000 119000 | 75432 74767 58 | 0.003 % |
41.51/41.66 c | 88526 | 200 17000 119000 | 75432 75422 58 | 0.003 % |
42.21/42.32 c | 89250 | 200 17000 119000 | 75432 66595 58 | 0.003 % |
42.71/42.89 c | 90042 | 200 17000 119000 | 67345 67387 58 | 0.003 % |
43.41/43.58 c | 90913 | 200 17000 119000 | 67345 59914 58 | 0.003 % |
44.11/44.22 c | 91872 | 200 17000 119000 | 67345 60873 58 | 0.003 % |
44.81/44.96 c | 92926 | 200 17000 119000 | 67345 61927 58 | 0.003 % |
44.91/45.03 c | 93028 | 200 17000 119000 | 67345 62029 58 | 0.003 % |
45.01/45.13 c | 93138 | 200 17000 119000 | 67345 62139 58 | 0.003 % |
45.11/45.23 c | 93259 | 200 17000 119000 | 67345 62260 58 | 0.003 % |
45.21/45.33 c | 93393 | 200 17000 119000 | 67345 62394 58 | 0.003 % |
45.31/45.44 c | 93539 | 200 17000 119000 | 67345 62540 58 | 0.003 % |
45.41/45.59 c | 93700 | 200 17000 119000 | 67345 62701 58 | 0.003 % |
45.61/45.74 c | 93877 | 200 17000 119000 | 67345 62878 58 | 0.003 % |
45.71/45.88 c | 94071 | 200 17000 119000 | 67345 63072 58 | 0.003 % |
45.91/46.04 c | 94283 | 200 17000 119000 | 67345 63284 58 | 0.003 % |
46.01/46.19 c | 94516 | 200 17000 119000 | 67345 63517 58 | 0.003 % |
46.31/46.40 c | 94773 | 200 17000 119000 | 67345 63774 58 | 0.003 % |
46.51/46.61 c | 95054 | 200 17000 119000 | 67345 64055 58 | 0.003 % |
46.71/46.88 c | 95364 | 200 17000 119000 | 67345 64365 58 | 0.003 % |
47.01/47.16 c | 95703 | 200 17000 119000 | 67345 64704 58 | 0.003 % |
47.31/47.42 c | 96075 | 200 17000 119000 | 67345 65076 58 | 0.003 % |
47.61/47.76 c | 96484 | 200 17000 119000 | 67345 65485 58 | 0.003 % |
47.91/48.06 c | 96933 | 200 17000 119000 | 67345 65934 58 | 0.003 % |
48.31/48.42 c | 97427 | 200 17000 119000 | 67345 66428 58 | 0.003 % |
48.71/48.83 c | 97970 | 200 17000 119000 | 67345 66971 58 | 0.003 % |
49.21/49.31 c | 98568 | 200 17000 119000 | 67345 60716 58 | 0.003 % |
49.61/49.79 c | 99224 | 200 17000 119000 | 67345 61372 58 | 0.003 % |
50.11/50.26 c | 99944 | 200 17000 119000 | 67345 62092 58 | 0.003 % |
50.61/50.78 c | 100737 | 200 17000 119000 | 2147483647 62885 58 | 0.003 % |
51.21/51.33 c | 101609 | 200 17000 119000 | 2147483647 63757 58 | 0.003 % |
51.81/51.99 c | 102567 | 200 17000 119000 | 2147483647 64715 58 | 0.003 % |
52.71/52.83 c | 103620 | 200 17000 119000 | 2147483647 65768 58 | 0.003 % |
53.50/53.66 c | 104778 | 200 17000 119000 | 2147483647 66926 58 | 0.003 % |
53.60/53.74 c | 104878 | 200 17000 119000 | 2147483647 67026 58 | 0.003 % |
53.71/53.83 c | 104989 | 200 17000 119000 | 2147483647 67137 58 | 0.003 % |
53.81/53.93 c | 105110 | 200 17000 119000 | 2147483647 67258 58 | 0.003 % |
53.90/54.02 c | 105244 | 200 17000 119000 | 2147483647 67392 58 | 0.003 % |
54.00/54.12 c | 105391 | 200 17000 119000 | 2147483647 67539 58 | 0.003 % |
54.10/54.25 c | 105551 | 200 17000 119000 | 2147483647 67699 58 | 0.003 % |
54.30/54.41 c | 105728 | 200 17000 119000 | 2147483647 67876 58 | 0.003 % |
54.40/54.56 c | 105921 | 200 17000 119000 | 2147483647 68069 58 | 0.003 % |
54.60/54.73 c | 106133 | 200 17000 119000 | 2147483647 68281 58 | 0.003 % |
54.81/54.90 c | 106368 | 200 17000 119000 | 2147483647 68516 58 | 0.003 % |
54.91/55.08 c | 106624 | 200 17000 119000 | 2147483647 68772 58 | 0.003 % |
55.20/55.31 c | 106906 | 200 17000 119000 | 2147483647 69054 58 | 0.003 % |
55.40/55.53 c | 107216 | 200 17000 119000 | 2147483647 69364 58 | 0.003 % |
55.60/55.78 c | 107556 | 200 17000 119000 | 2147483647 69704 58 | 0.003 % |
56.01/56.13 c | 107929 | 200 17000 119000 | 2147483647 70077 58 | 0.003 % |
56.30/56.47 c | 108338 | 200 17000 119000 | 2147483647 70486 58 | 0.003 % |
56.70/56.82 c | 108789 | 200 17000 119000 | 2147483647 70937 58 | 0.003 % |
57.11/57.23 c | 109282 | 200 17000 119000 | 2147483647 71430 58 | 0.003 % |
57.50/57.63 c | 109824 | 200 17000 119000 | 2147483647 71972 58 | 0.003 % |
58.00/58.11 c | 110421 | 200 17000 119000 | 72150 64969 58 | 0.003 % |
58.40/58.53 c | 111077 | 200 17000 119000 | 72150 65625 58 | 0.003 % |
59.10/59.20 c | 111799 | 200 17000 119000 | 72150 66347 58 | 0.003 % |
59.70/59.81 c | 112591 | 200 17000 119000 | 72150 67139 58 | 0.003 % |
60.30/60.48 c | 113463 | 200 17000 119000 | 72150 68011 58 | 0.003 % |
61.00/61.14 c | 114422 | 200 17000 119000 | 72150 68970 58 | 0.003 % |
61.80/61.94 c | 115475 | 200 17000 119000 | 72150 70023 58 | 0.003 % |
62.60/62.78 c | 116634 | 200 17000 119000 | 72150 71182 58 | 0.003 % |
63.60/63.73 c | 117910 | 200 17000 119000 | 72150 64782 58 | 0.003 % |
63.60/63.79 c | 118010 | 200 17000 119000 | 72150 64882 58 | 0.003 % |
63.80/63.91 c | 118122 | 200 17000 119000 | 72150 64994 58 | 0.003 % |
63.90/64.00 c | 118244 | 200 17000 119000 | 72150 65116 58 | 0.003 % |
64.00/64.11 c | 118382 | 200 17000 119000 | 72150 65254 58 | 0.003 % |
64.10/64.22 c | 118529 | 200 17000 119000 | 72150 65401 58 | 0.003 % |
64.20/64.33 c | 118689 | 200 17000 119000 | 72150 65561 58 | 0.003 % |
64.30/64.49 c | 118866 | 200 17000 119000 | 72150 65738 58 | 0.003 % |
64.50/64.65 c | 119060 | 200 17000 119000 | 72150 65932 58 | 0.003 % |
64.70/64.84 c | 119273 | 200 17000 119000 | 72150 66145 58 | 0.003 % |
64.90/65.03 c | 119506 | 200 17000 119000 | 72150 66378 58 | 0.003 % |
65.10/65.25 c | 119762 | 200 17000 119000 | 72150 66634 58 | 0.003 % |
65.30/65.46 c | 120045 | 200 17000 119000 | 66875 66917 58 | 0.003 % |
65.60/65.74 c | 120354 | 200 17000 119000 | 66875 59950 58 | 0.003 % |
65.80/65.97 c | 120694 | 200 17000 119000 | 66875 60290 58 | 0.003 % |
66.09/66.21 c | 121066 | 200 17000 119000 | 66875 60662 58 | 0.003 % |
66.39/66.53 c | 121475 | 200 17000 119000 | 66875 61071 58 | 0.003 % |
66.69/66.81 c | 121924 | 200 17000 119000 | 66875 61520 58 | 0.003 % |
66.90/67.08 c | 122419 | 200 17000 119000 | 66875 62015 58 | 0.003 % |
67.29/67.41 c | 122961 | 200 17000 119000 | 66875 62557 58 | 0.003 % |
67.59/67.79 c | 123557 | 200 17000 119000 | 66875 63153 58 | 0.003 % |
68.19/68.33 c | 124212 | 200 17000 119000 | 66875 63808 58 | 0.003 % |
68.69/68.83 c | 124934 | 200 17000 119000 | 66875 64530 58 | 0.003 % |
69.29/69.41 c | 125728 | 200 17000 119000 | 66875 65324 58 | 0.003 % |
69.89/70.01 c | 126599 | 200 17000 119000 | 66875 66195 58 | 0.003 % |
70.69/70.86 c | 127558 | 200 17000 119000 | 66875 60457 58 | 0.003 % |
71.49/71.63 c | 128613 | 200 17000 119000 | 66875 61512 58 | 0.003 % |
72.39/72.50 c | 129771 | 200 17000 119000 | 66875 62670 58 | 0.003 % |
73.18/73.32 c | 131046 | 200 17000 119000 | 2147483647 63945 58 | 0.003 % |
74.18/74.37 c | 132448 | 200 17000 119000 | 2147483647 65347 58 | 0.003 % |
74.28/74.46 c | 132550 | 200 17000 119000 | 2147483647 65449 58 | 0.003 % |
74.38/74.55 c | 132662 | 200 17000 119000 | 2147483647 65561 58 | 0.003 % |
74.48/74.66 c | 132783 | 200 17000 119000 | 2147483647 65682 58 | 0.003 % |
74.59/74.76 c | 132917 | 200 17000 119000 | 2147483647 65816 58 | 0.003 % |
74.69/74.86 c | 133063 | 200 17000 119000 | 2147483647 65962 58 | 0.003 % |
74.88/75.02 c | 133225 | 200 17000 119000 | 2147483647 66124 58 | 0.003 % |
74.98/75.18 c | 133402 | 200 17000 119000 | 2147483647 66301 58 | 0.003 % |
75.18/75.34 c | 133596 | 200 17000 119000 | 2147483647 66495 58 | 0.003 % |
75.38/75.51 c | 133808 | 200 17000 119000 | 2147483647 66707 58 | 0.003 % |
75.58/75.73 c | 134043 | 200 17000 119000 | 2147483647 66942 58 | 0.003 % |
75.79/75.95 c | 134299 | 200 17000 119000 | 2147483647 67198 58 | 0.003 % |
75.98/76.18 c | 134580 | 200 17000 119000 | 2147483647 67479 58 | 0.003 % |
76.28/76.44 c | 134890 | 200 17000 119000 | 2147483647 67789 58 | 0.003 % |
76.58/76.71 c | 135230 | 200 17000 119000 | 2147483647 68129 58 | 0.003 % |
76.89/77.02 c | 135602 | 200 17000 119000 | 2147483647 68501 58 | 0.003 % |
77.18/77.32 c | 136011 | 200 17000 119000 | 2147483647 68910 58 | 0.003 % |
77.58/77.75 c | 136463 | 200 17000 119000 | 2147483647 69362 58 | 0.003 % |
77.98/78.15 c | 136956 | 200 17000 119000 | 2147483647 69855 58 | 0.003 % |
78.38/78.56 c | 137498 | 200 17000 119000 | 2147483647 70397 58 | 0.003 % |
78.78/78.98 c | 138094 | 200 17000 119000 | 2147483647 70993 58 | 0.003 % |
79.38/79.50 c | 138750 | 200 17000 119000 | 2147483647 71649 58 | 0.003 % |
79.88/80.08 c | 139470 | 200 17000 119000 | 2147483647 72369 58 | 0.003 % |
80.58/80.73 c | 140262 | 200 17000 119000 | 72900 65009 58 | 0.003 % |
81.18/81.34 c | 141135 | 200 17000 119000 | 72900 65882 58 | 0.003 % |
81.78/81.99 c | 142095 | 200 17000 119000 | 72900 66842 58 | 0.003 % |
82.78/82.93 c | 143150 | 200 17000 119000 | 72900 67897 58 | 0.003 % |
83.68/83.80 c | 144308 | 200 17000 119000 | 72900 69055 58 | 0.003 % |
84.68/84.82 c | 145581 | 200 17000 119000 | 72900 70328 58 | 0.003 % |
85.78/85.97 c | 146984 | 200 17000 119000 | 72900 71731 58 | 0.003 % |
87.08/87.22 c | 148524 | 200 17000 119000 | 72900 64484 58 | 0.003 % |
87.18/87.32 c | 148625 | 200 17000 119000 | 72900 64585 58 | 0.003 % |
87.28/87.41 c | 148735 | 200 17000 119000 | 72900 64695 58 | 0.003 % |
87.38/87.51 c | 148856 | 200 17000 119000 | 72900 64816 58 | 0.003 % |
87.48/87.62 c | 148990 | 200 17000 119000 | 72900 64950 58 | 0.003 % |
87.58/87.74 c | 149136 | 200 17000 119000 | 72900 65096 58 | 0.003 % |
87.68/87.88 c | 149296 | 200 17000 119000 | 72900 65256 58 | 0.003 % |
87.88/88.01 c | 149473 | 200 17000 119000 | 72900 65433 58 | 0.003 % |
87.98/88.16 c | 149666 | 200 17000 119000 | 72900 65626 58 | 0.003 % |
88.18/88.31 c | 149878 | 200 17000 119000 | 72900 65838 58 | 0.003 % |
88.38/88.53 c | 150113 | 200 17000 119000 | 65961 58259 58 | 0.003 % |
88.48/88.69 c | 150370 | 200 17000 119000 | 65961 58516 58 | 0.003 % |
88.68/88.85 c | 150651 | 200 17000 119000 | 65961 58797 58 | 0.003 % |
88.88/89.03 c | 150960 | 200 17000 119000 | 65961 59106 58 | 0.003 % |
89.07/89.24 c | 151299 | 200 17000 119000 | 65961 59445 58 | 0.003 % |
89.37/89.51 c | 151673 | 200 17000 119000 | 65961 59819 58 | 0.003 % |
89.57/89.77 c | 152083 | 200 17000 119000 | 65961 60229 58 | 0.003 % |
89.98/90.15 c | 152532 | 200 17000 119000 | 65961 60678 58 | 0.003 % |
90.38/90.54 c | 153025 | 200 17000 119000 | 65961 61171 58 | 0.003 % |
90.78/90.93 c | 153568 | 200 17000 119000 | 65961 61714 58 | 0.003 % |
91.18/91.39 c | 154165 | 200 17000 119000 | 65961 62311 58 | 0.003 % |
91.67/91.84 c | 154820 | 200 17000 119000 | 65961 62966 58 | 0.003 % |
92.18/92.37 c | 155540 | 200 17000 119000 | 65961 63686 58 | 0.003 % |
92.77/92.98 c | 156332 | 200 17000 119000 | 65961 64478 58 | 0.003 % |
93.38/93.60 c | 157203 | 200 17000 119000 | 65961 65349 58 | 0.003 % |
94.07/94.26 c | 158161 | 200 17000 119000 | 65961 59702 58 | 0.003 % |
94.77/94.97 c | 159215 | 200 17000 119000 | 65961 60756 58 | 0.003 % |
95.48/95.67 c | 160373 | 200 17000 119000 | 2147483647 61914 58 | 0.003 % |
96.27/96.49 c | 161648 | 200 17000 119000 | 2147483647 63189 58 | 0.003 % |
97.27/97.41 c | 163048 | 200 17000 119000 | 2147483647 64589 58 | 0.003 % |
98.47/98.64 c | 164589 | 200 17000 119000 | 2147483647 66130 58 | 0.003 % |
99.77/99.90 c | 166288 | 200 17000 119000 | 2147483647 67829 58 | 0.003 % |
99.77/99.98 c | 166388 | 200 17000 119000 | 2147483647 67929 58 | 0.003 % |
99.88/100.06 c | 166499 | 200 17000 119000 | 2147483647 68040 58 | 0.003 % |
99.97/100.16 c | 166620 | 200 17000 119000 | 2147483647 68161 58 | 0.003 % |
100.07/100.26 c | 166754 | 200 17000 119000 | 2147483647 68295 58 | 0.003 % |
100.17/100.36 c | 166901 | 200 17000 119000 | 2147483647 68442 58 | 0.003 % |
100.27/100.47 c | 167061 | 200 17000 119000 | 2147483647 68602 58 | 0.003 % |
100.47/100.64 c | 167237 | 200 17000 119000 | 2147483647 68778 58 | 0.003 % |
100.57/100.78 c | 167430 | 200 17000 119000 | 2147483647 68971 58 | 0.003 % |
100.77/100.97 c | 167644 | 200 17000 119000 | 2147483647 69185 58 | 0.003 % |
100.97/101.15 c | 167879 | 200 17000 119000 | 2147483647 69420 58 | 0.003 % |
101.17/101.38 c | 168137 | 200 17000 119000 | 2147483647 69678 58 | 0.003 % |
101.37/101.59 c | 168418 | 200 17000 119000 | 2147483647 69959 58 | 0.003 % |
101.67/101.85 c | 168728 | 200 17000 119000 | 2147483647 70269 58 | 0.003 % |
101.97/102.13 c | 169068 | 200 17000 119000 | 2147483647 70609 58 | 0.003 % |
102.37/102.50 c | 169441 | 200 17000 119000 | 2147483647 70982 58 | 0.003 % |
102.67/102.83 c | 169850 | 200 17000 119000 | 2147483647 71391 58 | 0.003 % |
103.07/103.23 c | 170299 | 200 17000 119000 | 71542 64319 58 | 0.003 % |
103.37/103.58 c | 170793 | 200 17000 119000 | 71542 64813 58 | 0.003 % |
103.77/103.94 c | 171335 | 200 17000 119000 | 71542 65355 58 | 0.003 % |
104.17/104.32 c | 171931 | 200 17000 119000 | 71542 65951 58 | 0.003 % |
104.57/104.75 c | 172586 | 200 17000 119000 | 71542 66606 58 | 0.003 % |
105.17/105.37 c | 173306 | 200 17000 119000 | 71542 67326 58 | 0.003 % |
105.87/106.01 c | 174099 | 200 17000 119000 | 71542 68119 58 | 0.003 % |
106.57/106.73 c | 174971 | 200 17000 119000 | 71542 68991 58 | 0.003 % |
107.27/107.42 c | 175929 | 200 17000 119000 | 71542 69949 58 | 0.003 % |
108.07/108.23 c | 176983 | 200 17000 119000 | 71542 71003 58 | 0.003 % |
108.97/109.12 c | 178143 | 200 17000 119000 | 71542 64630 58 | 0.003 % |
109.77/109.93 c | 179419 | 200 17000 119000 | 71542 65906 58 | 0.003 % |
110.67/110.88 c | 180819 | 200 17000 119000 | 2147483647 67306 58 | 0.003 % |
111.76/111.92 c | 182359 | 200 17000 119000 | 2147483647 68846 58 | 0.003 % |
112.86/113.09 c | 184055 | 200 17000 119000 | 2147483647 70542 58 | 0.003 % |
114.56/114.72 c | 185919 | 200 17000 119000 | 2147483647 72406 58 | 0.003 % |
114.66/114.81 c | 186021 | 200 17000 119000 | 2147483647 72508 58 | 0.003 % |
114.76/114.92 c | 186132 | 200 17000 119000 | 2147483647 72619 58 | 0.003 % |
114.86/115.04 c | 186253 | 200 17000 119000 | 2147483647 72740 58 | 0.003 % |
114.96/115.16 c | 186388 | 200 17000 119000 | 2147483647 72875 58 | 0.003 % |
115.06/115.28 c | 186534 | 200 17000 119000 | 2147483647 73021 58 | 0.003 % |
115.26/115.45 c | 186697 | 200 17000 119000 | 2147483647 73184 58 | 0.003 % |
115.46/115.61 c | 186874 | 200 17000 119000 | 2147483647 73361 58 | 0.003 % |
115.66/115.80 c | 187067 | 200 17000 119000 | 2147483647 73554 58 | 0.003 % |
115.86/116.02 c | 187279 | 200 17000 119000 | 2147483647 73766 58 | 0.003 % |
116.06/116.24 c | 187512 | 200 17000 119000 | 2147483647 73999 58 | 0.003 % |
116.27/116.49 c | 187768 | 200 17000 119000 | 2147483647 74255 58 | 0.003 % |
116.57/116.74 c | 188049 | 200 17000 119000 | 2147483647 74536 58 | 0.003 % |
116.87/117.08 c | 188359 | 200 17000 119000 | 2147483647 74846 58 | 0.003 % |
117.16/117.39 c | 188699 | 200 17000 119000 | 2147483647 75186 58 | 0.003 % |
117.57/117.73 c | 189072 | 200 17000 119000 | 2147483647 75559 58 | 0.003 % |
117.96/118.12 c | 189483 | 200 17000 119000 | 2147483647 75970 58 | 0.003 % |
118.36/118.54 c | 189934 | 200 17000 119000 | 2147483647 76421 58 | 0.003 % |
118.76/118.97 c | 190427 | 200 17000 119000 | 76488 66873 58 | 0.003 % |
119.16/119.37 c | 190969 | 200 17000 119000 | 76488 67415 58 | 0.003 % |
119.56/119.78 c | 191565 | 200 17000 119000 | 76488 68011 58 | 0.003 % |
120.16/120.34 c | 192221 | 200 17000 119000 | 76488 68667 58 | 0.003 % |
120.66/120.89 c | 192941 | 200 17000 119000 | 76488 69387 58 | 0.003 % |
121.26/121.47 c | 193733 | 200 17000 119000 | 76488 70179 58 | 0.003 % |
121.96/122.13 c | 194605 | 200 17000 119000 | 76488 71051 58 | 0.003 % |
122.66/122.81 c | 195564 | 200 17000 119000 | 76488 72010 58 | 0.003 % |
123.46/123.69 c | 196617 | 200 17000 119000 | 76488 73063 58 | 0.003 % |
124.46/124.60 c | 197776 | 200 17000 119000 | 76488 74222 58 | 0.003 % |
125.36/125.58 c | 199050 | 200 17000 119000 | 76488 75496 58 | 0.003 % |
126.66/126.83 c | 200450 | 200 17000 119000 | 76448 67116 58 | 0.003 % |
127.76/127.96 c | 201990 | 200 17000 119000 | 76448 68656 58 | 0.003 % |
129.06/129.22 c | 203684 | 200 17000 119000 | 76448 70350 58 | 0.003 % |
130.46/130.62 c | 205547 | 200 17000 119000 | 76448 72213 58 | 0.003 % |
132.16/132.32 c | 207596 | 200 17000 119000 | 76448 74262 58 | 0.003 % |
132.26/132.41 c | 207696 | 200 17000 119000 | 76448 74362 58 | 0.003 % |
132.36/132.52 c | 207806 | 200 17000 119000 | 76448 74472 58 | 0.003 % |
132.46/132.62 c | 207927 | 200 17000 119000 | 76448 74593 58 | 0.003 % |
132.56/132.73 c | 208060 | 200 17000 119000 | 76448 74726 58 | 0.003 % |
132.65/132.88 c | 208208 | 200 17000 119000 | 76448 74874 58 | 0.003 % |
132.86/133.02 c | 208368 | 200 17000 119000 | 76448 75034 58 | 0.003 % |
132.96/133.19 c | 208545 | 200 17000 119000 | 76448 75211 58 | 0.003 % |
133.16/133.39 c | 208739 | 200 17000 119000 | 76448 75405 58 | 0.003 % |
133.36/133.58 c | 208951 | 200 17000 119000 | 76448 75617 58 | 0.003 % |
133.66/133.80 c | 209184 | 200 17000 119000 | 76448 75850 58 | 0.003 % |
133.86/134.01 c | 209440 | 200 17000 119000 | 76448 76106 58 | 0.003 % |
134.06/134.23 c | 209722 | 200 17000 119000 | 76448 76388 58 | 0.003 % |
134.35/134.54 c | 210031 | 200 17000 119000 | 66754 66785 58 | 0.003 % |
134.65/134.85 c | 210371 | 200 17000 119000 | 66754 58540 58 | 0.003 % |
134.95/135.12 c | 210743 | 200 17000 119000 | 66754 58912 58 | 0.003 % |
135.25/135.43 c | 211153 | 200 17000 119000 | 66754 59322 58 | 0.003 % |
135.45/135.69 c | 211607 | 200 17000 119000 | 66754 59776 58 | 0.003 % |
135.75/135.98 c | 212100 | 200 17000 119000 | 66754 60269 58 | 0.003 % |
136.16/136.31 c | 212643 | 200 17000 119000 | 66754 60812 58 | 0.003 % |
136.45/136.64 c | 213239 | 200 17000 119000 | 66754 61408 58 | 0.003 % |
136.85/137.04 c | 213894 | 200 17000 119000 | 66754 62063 58 | 0.003 % |
137.26/137.50 c | 214614 | 200 17000 119000 | 66754 62783 58 | 0.003 % |
137.85/138.06 c | 215410 | 200 17000 119000 | 66754 63579 58 | 0.003 % |
138.36/138.59 c | 216283 | 200 17000 119000 | 66754 64452 58 | 0.003 % |
139.05/139.23 c | 217241 | 200 17000 119000 | 66754 65410 58 | 0.003 % |
139.65/139.88 c | 218295 | 200 17000 119000 | 66754 66464 58 | 0.003 % |
140.45/140.65 c | 219455 | 200 17000 119000 | 66754 60939 58 | 0.003 % |
141.35/141.51 c | 220728 | 200 17000 119000 | 2147483647 62212 58 | 0.003 % |
142.25/142.41 c | 222128 | 200 17000 119000 | 2147483647 63612 58 | 0.003 % |
143.25/143.44 c | 223669 | 200 17000 119000 | 2147483647 65153 58 | 0.003 % |
144.35/144.54 c | 225364 | 200 17000 119000 | 2147483647 66848 58 | 0.003 % |
145.55/145.71 c | 227228 | 200 17000 119000 | 2147483647 68712 58 | 0.003 % |
146.85/147.03 c | 229277 | 200 17000 119000 | 2147483647 70761 58 | 0.003 % |
148.35/148.51 c | 231532 | 200 17000 119000 | 2147483647 73016 58 | 0.003 % |
148.45/148.63 c | 231632 | 200 17000 119000 | 2147483647 73116 58 | 0.003 % |
148.55/148.73 c | 231742 | 200 17000 119000 | 2147483647 73226 58 | 0.003 % |
148.65/148.83 c | 231865 | 200 17000 119000 | 2147483647 73349 58 | 0.003 % |
148.75/148.95 c | 231998 | 200 17000 119000 | 2147483647 73482 58 | 0.003 % |
148.85/149.09 c | 232144 | 200 17000 119000 | 2147483647 73628 58 | 0.003 % |
149.05/149.22 c | 232304 | 200 17000 119000 | 2147483647 73788 58 | 0.003 % |
149.15/149.36 c | 232480 | 200 17000 119000 | 2147483647 73964 58 | 0.003 % |
149.35/149.51 c | 232673 | 200 17000 119000 | 2147483647 74157 58 | 0.003 % |
149.45/149.69 c | 232885 | 200 17000 119000 | 2147483647 74369 58 | 0.003 % |
149.65/149.87 c | 233118 | 200 17000 119000 | 2147483647 74602 58 | 0.003 % |
149.85/150.09 c | 233375 | 200 17000 119000 | 2147483647 74859 58 | 0.003 % |
150.15/150.34 c | 233658 | 200 17000 119000 | 2147483647 75142 58 | 0.003 % |
150.35/150.60 c | 233967 | 200 17000 119000 | 2147483647 75451 58 | 0.003 % |
150.65/150.90 c | 234307 | 200 17000 119000 | 2147483647 75791 58 | 0.003 % |
150.95/151.17 c | 234680 | 200 17000 119000 | 2147483647 76164 58 | 0.003 % |
151.34/151.52 c | 235089 | 200 17000 119000 | 2147483647 76573 58 | 0.003 % |
151.74/151.96 c | 235539 | 200 17000 119000 | 2147483647 77023 58 | 0.003 % |
152.24/152.46 c | 236033 | 200 17000 119000 | 2147483647 77517 58 | 0.003 % |
152.84/153.01 c | 236577 | 200 17000 119000 | 2147483647 78061 58 | 0.003 % |
153.44/153.60 c | 237173 | 200 17000 119000 | 2147483647 78657 58 | 0.003 % |
153.94/154.13 c | 237831 | 200 17000 119000 | 2147483647 79315 58 | 0.003 % |
154.54/154.73 c | 238553 | 200 17000 119000 | 2147483647 80037 58 | 0.003 % |
155.24/155.43 c | 239345 | 200 17000 119000 | 2147483647 80829 58 | 0.003 % |
156.14/156.30 c | 240217 | 200 17000 119000 | 81486 70146 58 | 0.003 % |
156.94/157.14 c | 241176 | 200 17000 119000 | 81486 71105 58 | 0.003 % |
157.74/157.91 c | 242229 | 200 17000 119000 | 81486 72158 58 | 0.003 % |
158.54/158.73 c | 243388 | 200 17000 119000 | 81486 73317 58 | 0.003 % |
159.54/159.72 c | 244662 | 200 17000 119000 | 81486 74591 58 | 0.003 % |
160.63/160.80 c | 246062 | 200 17000 119000 | 81486 75991 58 | 0.003 % |
161.83/162.08 c | 247605 | 200 17000 119000 | 81486 77534 58 | 0.003 % |
163.43/163.61 c | 249299 | 200 17000 119000 | 81486 79228 58 | 0.003 % |
164.83/165.01 c | 251165 | 200 17000 119000 | 79929 69930 58 | 0.003 % |
166.13/166.40 c | 253217 | 200 17000 119000 | 79929 71982 58 | 0.003 % |
167.83/168.06 c | 255470 | 200 17000 119000 | 79929 74235 58 | 0.003 % |
169.73/169.96 c | 257948 | 200 17000 119000 | 79929 76713 58 | 0.003 % |
169.83/170.04 c | 258048 | 200 17000 119000 | 79929 76813 58 | 0.003 % |
169.93/170.17 c | 258158 | 200 17000 119000 | 79929 76923 58 | 0.003 % |
170.13/170.32 c | 258281 | 200 17000 119000 | 79929 77046 58 | 0.003 % |
170.24/170.44 c | 258415 | 200 17000 119000 | 79929 77180 58 | 0.003 % |
170.34/170.56 c | 258561 | 200 17000 119000 | 79929 77326 58 | 0.003 % |
170.53/170.75 c | 258722 | 200 17000 119000 | 79929 77487 58 | 0.003 % |
170.73/170.92 c | 258899 | 200 17000 119000 | 79929 77664 58 | 0.003 % |
170.83/171.09 c | 259092 | 200 17000 119000 | 79929 77857 58 | 0.003 % |
171.03/171.30 c | 259305 | 200 17000 119000 | 79929 78070 58 | 0.003 % |
171.34/171.52 c | 259540 | 200 17000 119000 | 79929 78305 58 | 0.003 % |
171.53/171.77 c | 259796 | 200 17000 119000 | 79929 78561 58 | 0.003 % |
171.83/172.03 c | 260078 | 200 17000 119000 | 78766 78843 58 | 0.003 % |
172.13/172.35 c | 260387 | 200 17000 119000 | 78766 68464 58 | 0.003 % |
172.44/172.61 c | 260727 | 200 17000 119000 | 78766 68804 58 | 0.003 % |
172.63/172.87 c | 261099 | 200 17000 119000 | 78766 69176 58 | 0.003 % |
172.93/173.17 c | 261509 | 200 17000 119000 | 78766 69586 58 | 0.003 % |
173.33/173.57 c | 261958 | 200 17000 119000 | 78766 70035 58 | 0.003 % |
173.73/173.95 c | 262451 | 200 17000 119000 | 78766 70528 58 | 0.003 % |
174.13/174.35 c | 262993 | 200 17000 119000 | 78766 71070 58 | 0.003 % |
174.63/174.83 c | 263589 | 200 17000 119000 | 78766 71666 58 | 0.003 % |
175.13/175.38 c | 264246 | 200 17000 119000 | 78766 72323 58 | 0.003 % |
175.73/175.97 c | 264968 | 200 17000 119000 | 78766 73045 58 | 0.003 % |
176.43/176.66 c | 265763 | 200 17000 119000 | 78766 73840 58 | 0.003 % |
177.13/177.38 c | 266634 | 200 17000 119000 | 78766 74711 58 | 0.003 % |
177.93/178.13 c | 267593 | 200 17000 119000 | 78766 75670 58 | 0.003 % |
178.73/178.96 c | 268647 | 200 17000 119000 | 78766 76724 58 | 0.003 % |
179.63/179.81 c | 269807 | 200 17000 119000 | 78766 77884 58 | 0.003 % |
180.53/180.75 c | 271080 | 200 17000 119000 | 78079 68495 58 | 0.003 % |
181.63/181.88 c | 272481 | 200 17000 119000 | 78079 69896 58 | 0.003 % |
182.73/182.94 c | 274022 | 200 17000 119000 | 78079 71437 58 | 0.003 % |
184.03/184.23 c | 275718 | 200 17000 119000 | 78079 73133 58 | 0.003 % |
185.33/185.59 c | 277582 | 200 17000 119000 | 78079 74997 58 | 0.003 % |
187.02/187.28 c | 279632 | 200 17000 119000 | 78079 77047 58 | 0.003 % |
188.72/188.99 c | 281885 | 200 17000 119000 | 77415 69261 59 | 0.003 % |
190.52/190.79 c | 284364 | 200 17000 119000 | 77415 71740 59 | 0.003 % |
192.62/192.84 c | 287090 | 200 17000 119000 | 77415 74466 59 | 0.003 % |
192.72/192.95 c | 287192 | 200 17000 119000 | 77415 74568 59 | 0.003 % |
192.82/193.06 c | 287302 | 200 17000 119000 | 77415 74678 59 | 0.003 % |
192.92/193.18 c | 287423 | 200 17000 119000 | 77415 74799 59 | 0.003 % |
193.12/193.30 c | 287556 | 200 17000 119000 | 77415 74932 59 | 0.003 % |
193.22/193.45 c | 287703 | 200 17000 119000 | 77415 75079 59 | 0.003 % |
193.33/193.58 c | 287864 | 200 17000 119000 | 77415 75240 58 | 0.003 % |
193.52/193.74 c | 288040 | 200 17000 119000 | 77415 75416 58 | 0.003 % |
193.72/193.93 c | 288235 | 200 17000 119000 | 77415 75611 58 | 0.003 % |
193.92/194.12 c | 288448 | 200 17000 119000 | 77415 75824 58 | 0.003 % |
194.12/194.31 c | 288681 | 200 17000 119000 | 77415 76057 58 | 0.003 % |
194.32/194.54 c | 288937 | 200 17000 119000 | 77415 76313 58 | 0.003 % |
194.52/194.79 c | 289218 | 200 17000 119000 | 77415 76594 58 | 0.003 % |
194.82/195.05 c | 289528 | 200 17000 119000 | 77415 76904 58 | 0.003 % |
195.22/195.43 c | 289868 | 200 17000 119000 | 77415 77244 58 | 0.003 % |
195.52/195.80 c | 290240 | 200 17000 119000 | 77376 67649 58 | 0.003 % |
195.92/196.11 c | 290652 | 200 17000 119000 | 77376 68061 58 | 0.003 % |
196.22/196.46 c | 291101 | 200 17000 119000 | 77376 68510 58 | 0.003 % |
196.62/196.81 c | 291594 | 200 17000 119000 | 77376 69003 58 | 0.003 % |
197.02/197.25 c | 292137 | 200 17000 119000 | 77376 69546 58 | 0.003 % |
197.52/197.72 c | 292733 | 200 17000 119000 | 77376 70142 58 | 0.003 % |
198.02/198.25 c | 293388 | 200 17000 119000 | 77376 70797 58 | 0.003 % |
198.52/198.79 c | 294110 | 200 17000 119000 | 77376 71519 58 | 0.003 % |
199.22/199.40 c | 294902 | 200 17000 119000 | 77376 72311 58 | 0.003 % |
199.82/200.02 c | 295773 | 200 17000 119000 | 77376 73182 58 | 0.003 % |
200.52/200.72 c | 296734 | 200 17000 119000 | 77376 74143 58 | 0.003 % |
201.22/201.48 c | 297788 | 200 17000 119000 | 77376 75197 58 | 0.003 % |
202.02/202.30 c | 298946 | 200 17000 119000 | 77376 76355 58 | 0.003 % |
203.02/203.29 c | 300219 | 200 17000 119000 | 77409 68371 58 | 0.003 % |
204.02/204.20 c | 301620 | 200 17000 119000 | 77409 69772 58 | 0.003 % |
205.01/205.25 c | 303161 | 200 17000 119000 | 77409 71313 58 | 0.003 % |
206.21/206.43 c | 304856 | 200 17000 119000 | 77409 73008 58 | 0.003 % |
207.51/207.76 c | 306719 | 200 17000 119000 | 77409 74871 58 | 0.003 % |
209.01/209.26 c | 308771 | 200 17000 119000 | 77409 76923 58 | 0.003 % |
210.71/210.91 c | 311026 | 200 17000 119000 | 69623 63039 58 | 0.003 % |
212.51/212.70 c | 313504 | 200 17000 119000 | 69623 65517 58 | 0.003 % |
214.51/214.73 c | 316230 | 200 17000 119000 | 69623 68243 58 | 0.003 % |
216.41/216.64 c | 319227 | 200 17000 119000 | 69623 63936 58 | 0.003 % |
216.51/216.72 c | 319327 | 200 17000 119000 | 69623 64036 58 | 0.003 % |
216.51/216.80 c | 319438 | 200 17000 119000 | 69623 64147 58 | 0.003 % |
216.61/216.90 c | 319562 | 200 17000 119000 | 69623 64271 58 | 0.003 % |
216.81/217.03 c | 319695 | 200 17000 119000 | 69623 64404 58 | 0.003 % |
216.90/217.16 c | 319842 | 200 17000 119000 | 69623 64551 58 | 0.003 % |
217.00/217.28 c | 320004 | 200 17000 119000 | 2147483647 64713 58 | 0.003 % |
217.20/217.43 c | 320180 | 200 17000 119000 | 2147483647 64889 58 | 0.003 % |
217.30/217.59 c | 320373 | 200 17000 119000 | 2147483647 65082 58 | 0.003 % |
217.51/217.75 c | 320585 | 200 17000 119000 | 2147483647 65294 58 | 0.003 % |
217.70/217.95 c | 320819 | 200 17000 119000 | 2147483647 65528 58 | 0.003 % |
217.90/218.15 c | 321075 | 200 17000 119000 | 2147483647 65784 58 | 0.003 % |
218.10/218.38 c | 321357 | 200 17000 119000 | 2147483647 66066 58 | 0.003 % |
218.40/218.63 c | 321666 | 200 17000 119000 | 2147483647 66375 58 | 0.003 % |
218.61/218.86 c | 322005 | 200 17000 119000 | 2147483647 66714 58 | 0.003 % |
218.90/219.17 c | 322377 | 200 17000 119000 | 2147483647 67086 58 | 0.003 % |
219.20/219.47 c | 322786 | 200 17000 119000 | 2147483647 67495 58 | 0.003 % |
219.60/219.82 c | 323235 | 200 17000 119000 | 2147483647 67944 58 | 0.003 % |
220.00/220.20 c | 323729 | 200 17000 119000 | 2147483647 68438 58 | 0.003 % |
220.30/220.56 c | 324271 | 200 17000 119000 | 2147483647 68980 58 | 0.003 % |
220.70/220.97 c | 324869 | 200 17000 119000 | 2147483647 69578 58 | 0.003 % |
221.20/221.43 c | 325524 | 200 17000 119000 | 2147483647 70233 58 | 0.003 % |
221.80/222.07 c | 326245 | 200 17000 119000 | 2147483647 70954 58 | 0.003 % |
222.40/222.65 c | 327037 | 200 17000 119000 | 2147483647 71746 58 | 0.003 % |
223.10/223.33 c | 327909 | 200 17000 119000 | 2147483647 72618 58 | 0.003 % |
223.80/224.08 c | 328868 | 200 17000 119000 | 2147483647 73577 58 | 0.003 % |
224.80/225.02 c | 329921 | 200 17000 119000 | 2147483647 74630 58 | 0.003 % |
225.70/225.90 c | 331079 | 200 17000 119000 | 74712 66960 58 | 0.003 % |
226.70/226.97 c | 332353 | 200 17000 119000 | 74712 68234 58 | 0.003 % |
227.79/228.03 c | 333753 | 200 17000 119000 | 74712 69634 58 | 0.003 % |
228.99/229.24 c | 335293 | 200 17000 119000 | 74712 71174 58 | 0.003 % |
230.29/230.51 c | 336987 | 200 17000 119000 | 74712 72868 58 | 0.003 % |
231.80/232.03 c | 338850 | 200 17000 119000 | 74712 74731 58 | 0.003 % |
233.30/233.54 c | 340899 | 200 17000 119000 | 67488 60966 58 | 0.003 % |
234.80/235.03 c | 343152 | 200 17000 119000 | 67488 63219 58 | 0.003 % |
236.40/236.69 c | 345630 | 200 17000 119000 | 67488 65697 58 | 0.003 % |
238.30/238.57 c | 348357 | 200 17000 119000 | 67488 61665 58 | 0.003 % |
240.20/240.46 c | 351355 | 200 17000 119000 | 2147483647 64663 58 | 0.003 % |
242.49/242.74 c | 354651 | 200 17000 119000 | 2147483647 67959 58 | 0.003 % |
242.59/242.80 c | 354751 | 200 17000 119000 | 2147483647 68059 58 | 0.003 % |
242.59/242.88 c | 354861 | 200 17000 119000 | 2147483647 68169 58 | 0.003 % |
242.69/242.96 c | 354983 | 200 17000 119000 | 2147483647 68291 58 | 0.003 % |
242.80/243.07 c | 355119 | 200 17000 119000 | 2147483647 68427 58 | 0.003 % |
242.90/243.18 c | 355266 | 200 17000 119000 | 2147483647 68574 58 | 0.003 % |
243.09/243.31 c | 355426 | 200 17000 119000 | 2147483647 68734 58 | 0.003 % |
243.19/243.46 c | 355602 | 200 17000 119000 | 2147483647 68910 58 | 0.003 % |
243.39/243.60 c | 355795 | 200 17000 119000 | 2147483647 69103 58 | 0.003 % |
243.49/243.76 c | 356008 | 200 17000 119000 | 2147483647 69316 58 | 0.003 % |
243.69/243.98 c | 356241 | 200 17000 119000 | 2147483647 69549 58 | 0.003 % |
243.90/244.20 c | 356498 | 200 17000 119000 | 2147483647 69806 58 | 0.003 % |
244.09/244.39 c | 356780 | 200 17000 119000 | 2147483647 70088 58 | 0.003 % |
244.39/244.64 c | 357090 | 200 17000 119000 | 2147483647 70398 58 | 0.003 % |
244.69/244.93 c | 357430 | 200 17000 119000 | 2147483647 70738 58 | 0.003 % |
245.00/245.23 c | 357804 | 200 17000 119000 | 2147483647 71112 58 | 0.003 % |
245.29/245.53 c | 358214 | 200 17000 119000 | 2147483647 71522 58 | 0.003 % |
245.59/245.84 c | 358664 | 200 17000 119000 | 2147483647 71972 58 | 0.003 % |
245.99/246.20 c | 359158 | 200 17000 119000 | 2147483647 72466 58 | 0.003 % |
246.29/246.59 c | 359700 | 200 17000 119000 | 2147483647 73008 58 | 0.003 % |
246.79/247.08 c | 360298 | 200 17000 119000 | 2147483647 73606 58 | 0.003 % |
247.29/247.58 c | 360954 | 200 17000 119000 | 2147483647 74262 58 | 0.003 % |
247.89/248.10 c | 361676 | 200 17000 119000 | 2147483647 74984 58 | 0.003 % |
248.49/248.74 c | 362468 | 200 17000 119000 | 2147483647 75776 58 | 0.003 % |
249.19/249.42 c | 363339 | 200 17000 119000 | 2147483647 76647 58 | 0.003 % |
249.89/250.16 c | 364297 | 200 17000 119000 | 2147483647 77605 58 | 0.003 % |
250.68/250.98 c | 365351 | 200 17000 119000 | 2147483647 78659 58 | 0.003 % |
251.59/251.89 c | 366511 | 200 17000 119000 | 2147483647 79819 58 | 0.003 % |
252.78/253.04 c | 367786 | 200 17000 119000 | 2147483647 81094 58 | 0.003 % |
253.88/254.17 c | 369186 | 200 17000 119000 | 2147483647 82494 58 | 0.003 % |
255.27/255.57 c | 370726 | 200 17000 119000 | 83308 72799 58 | 0.003 % |
256.57/256.83 c | 372421 | 200 17000 119000 | 83308 74494 58 | 0.003 % |
258.07/258.30 c | 374286 | 200 17000 119000 | 83308 76359 58 | 0.003 % |
259.57/259.85 c | 376339 | 200 17000 119000 | 83308 78412 58 | 0.003 % |
261.37/261.60 c | 378592 | 200 17000 119000 | 83308 80665 58 | 0.003 % |
263.57/263.83 c | 381071 | 200 17000 119000 | 82073 71794 58 | 0.003 % |
265.57/265.89 c | 383796 | 200 17000 119000 | 82073 74519 58 | 0.003 % |
267.98/268.30 c | 386794 | 200 17000 119000 | 82073 77517 58 | 0.003 % |
270.68/270.94 c | 390090 | 200 17000 119000 | 80723 80813 58 | 0.003 % |
273.58/273.81 c | 393716 | 200 17000 119000 | 80723 73264 58 | 0.003 % |
273.58/273.89 c | 393816 | 200 17000 119000 | 80723 73364 58 | 0.003 % |
273.68/273.99 c | 393929 | 200 17000 119000 | 80723 73477 58 | 0.003 % |
273.87/274.10 c | 394050 | 200 17000 119000 | 80723 73598 58 | 0.003 % |
273.97/274.24 c | 394183 | 200 17000 119000 | 80723 73731 58 | 0.003 % |
274.17/274.42 c | 394329 | 200 17000 119000 | 80723 73877 58 | 0.003 % |
274.27/274.57 c | 394490 | 200 17000 119000 | 80723 74038 58 | 0.003 % |
274.47/274.73 c | 394668 | 200 17000 119000 | 80723 74216 58 | 0.003 % |
274.57/274.88 c | 394861 | 200 17000 119000 | 80723 74409 58 | 0.003 % |
274.78/275.08 c | 395074 | 200 17000 119000 | 80723 74622 58 | 0.003 % |
275.07/275.32 c | 395307 | 200 17000 119000 | 80723 74855 58 | 0.003 % |
275.27/275.55 c | 395567 | 200 17000 119000 | 80723 75115 58 | 0.003 % |
275.57/275.82 c | 395850 | 200 17000 119000 | 80723 75398 58 | 0.003 % |
275.78/276.09 c | 396160 | 200 17000 119000 | 80723 75708 58 | 0.003 % |
276.17/276.42 c | 396503 | 200 17000 119000 | 80723 76051 58 | 0.003 % |
276.57/276.81 c | 396875 | 200 17000 119000 | 80723 76423 58 | 0.003 % |
276.88/277.18 c | 397285 | 200 17000 119000 | 80723 76833 58 | 0.003 % |
277.37/277.61 c | 397734 | 200 17000 119000 | 80723 77282 58 | 0.003 % |
277.77/278.01 c | 398228 | 200 17000 119000 | 80723 77776 58 | 0.003 % |
278.17/278.45 c | 398771 | 200 17000 119000 | 80723 78319 58 | 0.003 % |
278.67/278.97 c | 399368 | 200 17000 119000 | 80723 78916 58 | 0.003 % |
279.27/279.54 c | 400024 | 200 17000 119000 | 79548 79572 58 | 0.003 % |
279.87/280.15 c | 400746 | 200 17000 119000 | 79548 68400 58 | 0.003 % |
280.47/280.72 c | 401539 | 200 17000 119000 | 79548 69193 58 | 0.003 % |
281.07/281.34 c | 402410 | 200 17000 119000 | 79548 70064 58 | 0.003 % |
281.87/282.12 c | 403370 | 200 17000 119000 | 79548 71024 58 | 0.003 % |
282.67/282.92 c | 404423 | 200 17000 119000 | 79548 72077 58 | 0.003 % |
283.57/283.83 c | 405581 | 200 17000 119000 | 79548 73235 58 | 0.003 % |
284.67/284.91 c | 406855 | 200 17000 119000 | 79548 74509 58 | 0.003 % |
285.67/285.95 c | 408256 | 200 17000 119000 | 79548 75910 58 | 0.003 % |
286.97/287.26 c | 409796 | 200 17000 119000 | 79548 77450 58 | 0.003 % |
288.27/288.52 c | 411491 | 200 17000 119000 | 77654 68514 58 | 0.003 % |
289.56/289.83 c | 413355 | 200 17000 119000 | 77654 70378 58 | 0.003 % |
290.96/291.29 c | 415404 | 200 17000 119000 | 77654 72427 58 | 0.003 % |
292.66/292.94 c | 417658 | 200 17000 119000 | 77654 74681 58 | 0.003 % |
294.57/294.89 c | 420142 | 200 17000 119000 | 77023 68232 58 | 0.003 % |
296.46/296.77 c | 422868 | 200 17000 119000 | 77023 70958 58 | 0.003 % |
298.55/298.85 c | 425865 | 200 17000 119000 | 77023 73955 58 | 0.003 % |
301.06/301.38 c | 429162 | 200 17000 119000 | 77023 68705 58 | 0.003 % |
303.45/303.74 c | 432790 | 200 17000 119000 | 69543 64748 59 | 0.003 % |
306.05/306.34 c | 436777 | 200 17000 119000 | 69543 68735 59 | 0.003 % |
306.15/306.41 c | 436877 | 200 17000 119000 | 69543 68835 59 | 0.003 % |
306.25/306.50 c | 436988 | 200 17000 119000 | 69543 68946 59 | 0.003 % |
306.35/306.61 c | 437109 | 200 17000 119000 | 69543 69067 59 | 0.003 % |
306.45/306.73 c | 437242 | 200 17000 119000 | 69543 69200 59 | 0.003 % |
306.56/306.83 c | 437388 | 200 17000 119000 | 69543 69346 59 | 0.003 % |
306.66/306.95 c | 437548 | 200 17000 119000 | 69543 69506 59 | 0.003 % |
306.85/307.18 c | 437724 | 200 17000 119000 | 69543 62719 59 | 0.003 % |
307.05/307.31 c | 437917 | 200 17000 119000 | 69543 62912 59 | 0.003 % |
307.15/307.47 c | 438131 | 200 17000 119000 | 69543 63126 59 | 0.003 % |
307.35/307.64 c | 438365 | 200 17000 119000 | 69543 63360 59 | 0.003 % |
307.55/307.83 c | 438622 | 200 17000 119000 | 69543 63617 59 | 0.003 % |
307.76/308.04 c | 438905 | 200 17000 119000 | 69543 63900 59 | 0.003 % |
307.95/308.28 c | 439214 | 200 17000 119000 | 69543 64209 59 | 0.003 % |
308.25/308.54 c | 439553 | 200 17000 119000 | 69543 64548 59 | 0.003 % |
308.55/308.84 c | 439925 | 200 17000 119000 | 69543 64920 59 | 0.003 % |
308.85/309.16 c | 440334 | 200 17000 119000 | 2147483647 65329 59 | 0.003 % |
309.15/309.47 c | 440785 | 200 17000 119000 | 2147483647 65780 59 | 0.003 % |
309.55/309.82 c | 441280 | 200 17000 119000 | 2147483647 66275 59 | 0.003 % |
309.95/310.21 c | 441822 | 200 17000 119000 | 2147483647 66817 59 | 0.003 % |
310.35/310.65 c | 442419 | 200 17000 119000 | 2147483647 67414 59 | 0.003 % |
310.85/311.13 c | 443074 | 200 17000 119000 | 2147483647 68069 59 | 0.003 % |
311.35/311.69 c | 443794 | 200 17000 119000 | 2147483647 68789 59 | 0.003 % |
312.05/312.31 c | 444586 | 200 17000 119000 | 2147483647 69581 59 | 0.003 % |
312.65/313.00 c | 445459 | 200 17000 119000 | 2147483647 70454 59 | 0.003 % |
313.45/313.80 c | 446418 | 200 17000 119000 | 2147483647 71413 59 | 0.003 % |
314.25/314.58 c | 447471 | 200 17000 119000 | 2147483647 72466 59 | 0.003 % |
315.15/315.43 c | 448630 | 200 17000 119000 | 2147483647 73625 59 | 0.003 % |
316.05/316.34 c | 449903 | 200 17000 119000 | 2147483647 74898 59 | 0.003 % |
317.14/317.42 c | 451303 | 200 17000 119000 | 74995 68474 59 | 0.003 % |
318.14/318.47 c | 452844 | 200 17000 119000 | 74995 70015 59 | 0.003 % |
319.34/319.68 c | 454538 | 200 17000 119000 | 74995 71709 59 | 0.003 % |
320.85/321.13 c | 456402 | 200 17000 119000 | 74995 73573 59 | 0.003 % |
322.44/322.74 c | 458451 | 200 17000 119000 | 74995 67200 59 | 0.003 % |
323.94/324.28 c | 460704 | 200 17000 119000 | 68752 62036 59 | 0.003 % |
325.54/325.84 c | 463183 | 200 17000 119000 | 68752 64515 59 | 0.003 % |
327.24/327.55 c | 465908 | 200 17000 119000 | 68752 67240 59 | 0.003 % |
329.14/329.44 c | 468905 | 200 17000 119000 | 68752 63352 59 | 0.003 % |
331.14/331.43 c | 472201 | 200 17000 119000 | 2147483647 66648 59 | 0.003 % |
333.54/333.88 c | 475827 | 200 17000 119000 | 2147483647 70274 59 | 0.003 % |
336.64/336.90 c | 479814 | 200 17000 119000 | 2147483647 74261 59 | 0.003 % |
339.74/340.07 c | 484200 | 200 17000 119000 | 2147483647 78647 59 | 0.003 % |
339.84/340.15 c | 484300 | 200 17000 119000 | 2147483647 78747 59 | 0.003 % |
339.94/340.25 c | 484412 | 200 17000 119000 | 2147483647 78859 59 | 0.003 % |
340.04/340.36 c | 484535 | 200 17000 119000 | 2147483647 78982 59 | 0.003 % |
340.24/340.51 c | 484668 | 200 17000 119000 | 2147483647 79115 59 | 0.003 % |
340.34/340.64 c | 484814 | 200 17000 119000 | 2147483647 79261 59 | 0.003 % |
340.44/340.79 c | 484974 | 200 17000 119000 | 2147483647 79421 59 | 0.003 % |
340.64/340.94 c | 485150 | 200 17000 119000 | 2147483647 79597 59 | 0.003 % |
340.84/341.13 c | 485344 | 200 17000 119000 | 2147483647 79791 59 | 0.003 % |
341.04/341.32 c | 485556 | 200 17000 119000 | 2147483647 80003 59 | 0.003 % |
341.24/341.55 c | 485790 | 200 17000 119000 | 2147483647 80237 59 | 0.003 % |
341.44/341.76 c | 486046 | 200 17000 119000 | 2147483647 80493 59 | 0.003 % |
341.74/342.05 c | 486327 | 200 17000 119000 | 2147483647 80774 59 | 0.003 % |
342.03/342.35 c | 486637 | 200 17000 119000 | 2147483647 81084 59 | 0.003 % |
342.33/342.64 c | 486976 | 200 17000 119000 | 2147483647 81423 59 | 0.003 % |
342.63/342.95 c | 487348 | 200 17000 119000 | 2147483647 81795 59 | 0.003 % |
343.03/343.30 c | 487757 | 200 17000 119000 | 2147483647 82204 59 | 0.003 % |
343.33/343.69 c | 488208 | 200 17000 119000 | 2147483647 82655 59 | 0.003 % |
343.83/344.13 c | 488703 | 200 17000 119000 | 2147483647 83150 59 | 0.003 % |
344.33/344.60 c | 489245 | 200 17000 119000 | 2147483647 83692 59 | 0.003 % |
344.73/345.07 c | 489841 | 200 17000 119000 | 2147483647 84288 59 | 0.003 % |
345.33/345.68 c | 490496 | 200 17000 119000 | 84447 73341 59 | 0.003 % |
345.93/346.22 c | 491219 | 200 17000 119000 | 84447 74064 59 | 0.003 % |
346.43/346.78 c | 492011 | 200 17000 119000 | 84447 74856 59 | 0.003 % |
347.23/347.53 c | 492884 | 200 17000 119000 | 84447 75729 59 | 0.003 % |
348.03/348.30 c | 493843 | 200 17000 119000 | 84447 76688 59 | 0.003 % |
348.83/349.13 c | 494896 | 200 17000 119000 | 84447 77741 59 | 0.003 % |
349.73/350.03 c | 496054 | 200 17000 119000 | 84447 78899 59 | 0.003 % |
350.73/351.09 c | 497328 | 200 17000 119000 | 84447 80173 59 | 0.003 % |
351.83/352.17 c | 498731 | 200 17000 119000 | 84447 81576 59 | 0.003 % |
353.13/353.47 c | 500271 | 200 17000 119000 | 82847 70671 59 | 0.003 % |
354.33/354.65 c | 501965 | 200 17000 119000 | 82847 72365 59 | 0.003 % |
355.73/356.02 c | 503829 | 200 17000 119000 | 82847 74229 59 | 0.003 % |
357.33/357.60 c | 505878 | 200 17000 119000 | 82847 76278 59 | 0.003 % |
359.03/359.38 c | 508132 | 200 17000 119000 | 82847 78532 59 | 0.003 % |
361.03/361.36 c | 510611 | 200 17000 119000 | 80402 70242 59 | 0.003 % |
363.02/363.31 c | 513336 | 200 17000 119000 | 80402 72967 59 | 0.003 % |
365.12/365.42 c | 516333 | 200 17000 119000 | 80402 75964 59 | 0.003 % |
367.52/367.82 c | 519629 | 200 17000 119000 | 80402 79260 59 | 0.003 % |
370.12/370.48 c | 523255 | 200 17000 119000 | 79632 73516 59 | 0.003 % |
372.92/373.27 c | 527242 | 200 17000 119000 | 79632 77503 59 | 0.003 % |
376.22/376.51 c | 531629 | 200 17000 119000 | 70873 64124 58 | 0.003 % |
379.42/379.72 c | 536453 | 200 17000 119000 | 70873 68948 59 | 0.003 % |
379.52/379.80 c | 536553 | 200 17000 119000 | 70873 69048 59 | 0.003 % |
379.62/379.90 c | 536665 | 200 17000 119000 | 70873 69160 59 | 0.003 % |
379.62/379.99 c | 536786 | 200 17000 119000 | 70873 69281 59 | 0.003 % |
379.72/380.09 c | 536919 | 200 17000 119000 | 70873 69414 59 | 0.003 % |
379.92/380.20 c | 537066 | 200 17000 119000 | 70873 69561 59 | 0.003 % |
380.02/380.33 c | 537227 | 200 17000 119000 | 70873 69722 59 | 0.003 % |
380.12/380.48 c | 537403 | 200 17000 119000 | 70873 69898 59 | 0.003 % |
380.32/380.65 c | 537598 | 200 17000 119000 | 70873 70093 59 | 0.003 % |
380.52/380.82 c | 537812 | 200 17000 119000 | 70873 70307 59 | 0.003 % |
380.62/380.99 c | 538045 | 200 17000 119000 | 70873 70540 59 | 0.003 % |
380.82/381.19 c | 538301 | 200 17000 119000 | 70873 70796 59 | 0.003 % |
381.12/381.45 c | 538582 | 200 17000 119000 | 70873 63878 59 | 0.003 % |
381.32/381.65 c | 538893 | 200 17000 119000 | 70873 64189 59 | 0.003 % |
381.52/381.87 c | 539233 | 200 17000 119000 | 70873 64529 59 | 0.003 % |
381.82/382.12 c | 539607 | 200 17000 119000 | 70873 64903 59 | 0.003 % |
382.02/382.36 c | 540016 | 200 17000 119000 | 2147483647 65312 59 | 0.003 % |
382.32/382.69 c | 540466 | 200 17000 119000 | 2147483647 65762 59 | 0.003 % |
382.72/383.03 c | 540960 | 200 17000 119000 | 2147483647 66256 59 | 0.003 % |
383.02/383.38 c | 541503 | 200 17000 119000 | 2147483647 66799 59 | 0.003 % |
383.52/383.85 c | 542099 | 200 17000 119000 | 2147483647 67395 59 | 0.003 % |
384.02/384.31 c | 542754 | 200 17000 119000 | 2147483647 68050 58 | 0.003 % |
384.52/384.81 c | 543474 | 200 17000 119000 | 2147483647 68770 58 | 0.003 % |
385.02/385.40 c | 544266 | 200 17000 119000 | 2147483647 69562 58 | 0.003 % |
385.62/385.97 c | 545138 | 200 17000 119000 | 2147483647 70434 58 | 0.003 % |
386.32/386.65 c | 546098 | 200 17000 119000 | 2147483647 71394 58 | 0.003 % |
387.11/387.43 c | 547151 | 200 17000 119000 | 2147483647 72447 59 | 0.003 % |
387.91/388.30 c | 548312 | 200 17000 119000 | 2147483647 73608 59 | 0.003 % |
388.81/389.19 c | 549586 | 200 17000 119000 | 2147483647 74882 59 | 0.003 % |
389.81/390.19 c | 550988 | 200 17000 119000 | 75298 68378 59 | 0.003 % |
390.91/391.25 c | 552528 | 200 17000 119000 | 75298 69918 59 | 0.003 % |
392.11/392.47 c | 554223 | 200 17000 119000 | 75298 71613 59 | 0.003 % |
393.51/393.84 c | 556087 | 200 17000 119000 | 75298 73477 59 | 0.003 % |
395.11/395.45 c | 558136 | 200 17000 119000 | 75298 66992 59 | 0.003 % |
396.81/397.13 c | 560389 | 200 17000 119000 | 68858 61564 59 | 0.003 % |
398.41/398.75 c | 562867 | 200 17000 119000 | 68858 64042 59 | 0.003 % |
400.21/400.53 c | 565592 | 200 17000 119000 | 68858 66767 59 | 0.003 % |
402.40/402.79 c | 568589 | 200 17000 119000 | 68858 62869 59 | 0.003 % |
404.70/405.09 c | 571887 | 200 17000 119000 | 2147483647 66167 59 | 0.003 % |
407.20/407.57 c | 575514 | 200 17000 119000 | 2147483647 69794 59 | 0.003 % |
410.20/410.52 c | 579502 | 200 17000 119000 | 2147483647 73782 59 | 0.003 % |
413.40/413.77 c | 583888 | 200 17000 119000 | 74283 70553 59 | 0.003 % |
416.80/417.19 c | 588711 | 200 17000 119000 | 74283 67575 59 | 0.003 % |
420.60/420.94 c | 594018 | 200 17000 119000 | 2147483647 72882 59 | 0.003 % |
420.70/421.05 c | 594118 | 200 17000 119000 | 2147483647 72982 59 | 0.003 % |
420.80/421.14 c | 594229 | 200 17000 119000 | 2147483647 73093 59 | 0.003 % |
420.90/421.25 c | 594353 | 200 17000 119000 | 2147483647 73217 59 | 0.003 % |
421.00/421.37 c | 594487 | 200 17000 119000 | 2147483647 73351 59 | 0.003 % |
421.10/421.49 c | 594635 | 200 17000 119000 | 2147483647 73499 59 | 0.003 % |
421.30/421.61 c | 594795 | 200 17000 119000 | 2147483647 73659 59 | 0.003 % |
421.40/421.77 c | 594972 | 200 17000 119000 | 2147483647 73836 59 | 0.003 % |
421.60/421.95 c | 595168 | 200 17000 119000 | 2147483647 74032 59 | 0.003 % |
421.80/422.13 c | 595381 | 200 17000 119000 | 2147483647 74245 59 | 0.003 % |
422.00/422.32 c | 595616 | 200 17000 119000 | 2147483647 74480 59 | 0.003 % |
422.20/422.52 c | 595872 | 200 17000 119000 | 2147483647 74736 59 | 0.003 % |
422.40/422.76 c | 596156 | 200 17000 119000 | 2147483647 75020 59 | 0.003 % |
422.70/423.01 c | 596465 | 200 17000 119000 | 2147483647 75329 59 | 0.003 % |
422.90/423.30 c | 596805 | 200 17000 119000 | 2147483647 75669 59 | 0.003 % |
423.20/423.58 c | 597179 | 200 17000 119000 | 2147483647 76043 59 | 0.003 % |
423.60/423.93 c | 597588 | 200 17000 119000 | 2147483647 76452 59 | 0.003 % |
424.10/424.41 c | 598038 | 200 17000 119000 | 2147483647 76902 59 | 0.003 % |
424.60/424.90 c | 598534 | 200 17000 119000 | 2147483647 77398 59 | 0.003 % |
425.10/425.46 c | 599080 | 200 17000 119000 | 2147483647 77944 59 | 0.003 % |
425.70/426.06 c | 599677 | 200 17000 119000 | 2147483647 78541 59 | 0.003 % |
426.40/426.71 c | 600333 | 200 17000 119000 | 78865 68798 59 | 0.003 % |
426.90/427.21 c | 601054 | 200 17000 119000 | 78865 69519 59 | 0.003 % |
427.60/427.93 c | 601847 | 200 17000 119000 | 78865 70312 59 | 0.003 % |
428.30/428.61 c | 602719 | 200 17000 119000 | 78865 71184 59 | 0.003 % |
429.09/429.41 c | 603678 | 200 17000 119000 | 78865 72143 59 | 0.003 % |
429.89/430.23 c | 604732 | 200 17000 119000 | 78865 73197 59 | 0.003 % |
430.80/431.16 c | 605892 | 200 17000 119000 | 78865 74357 59 | 0.003 % |
431.79/432.11 c | 607165 | 200 17000 119000 | 78865 75630 59 | 0.003 % |
432.89/433.23 c | 608568 | 200 17000 119000 | 78865 77033 59 | 0.003 % |
434.29/434.66 c | 610109 | 200 17000 119000 | 78465 67829 59 | 0.003 % |
435.59/435.98 c | 611803 | 200 17000 119000 | 78465 69523 59 | 0.003 % |
437.09/437.48 c | 613668 | 200 17000 119000 | 78465 71388 59 | 0.003 % |
438.69/439.04 c | 615718 | 200 17000 119000 | 78465 73438 59 | 0.003 % |
440.59/440.97 c | 617971 | 200 17000 119000 | 78465 75691 59 | 0.003 % |
442.78/443.12 c | 620449 | 200 17000 119000 | 77721 67399 59 | 0.003 % |
444.88/445.23 c | 623175 | 200 17000 119000 | 77721 70125 59 | 0.003 % |
447.08/447.48 c | 626173 | 200 17000 119000 | 77721 73123 59 | 0.003 % |
449.59/449.95 c | 629469 | 200 17000 119000 | 77721 76419 59 | 0.003 % |
452.18/452.57 c | 633094 | 200 17000 119000 | 76950 70589 59 | 0.003 % |
455.48/455.82 c | 637081 | 200 17000 119000 | 76950 74576 59 | 0.003 % |
458.68/459.07 c | 641466 | 200 17000 119000 | 68356 61742 59 | 0.003 % |
461.98/462.32 c | 646290 | 200 17000 119000 | 68356 66566 59 | 0.003 % |
465.68/466.08 c | 651595 | 200 17000 119000 | 2147483647 65027 59 | 0.003 % |
470.07/470.47 c | 657431 | 200 17000 119000 | 2147483647 70863 59 | 0.003 % |
470.17/470.56 c | 657531 | 200 17000 119000 | 2147483647 70963 59 | 0.003 % |
470.27/470.66 c | 657642 | 200 17000 119000 | 2147483647 71074 59 | 0.003 % |
470.38/470.76 c | 657765 | 200 17000 119000 | 2147483647 71197 59 | 0.003 % |
470.48/470.89 c | 657898 | 200 17000 119000 | 2147483647 71330 59 | 0.003 % |
470.67/471.00 c | 658044 | 200 17000 119000 | 2147483647 71476 59 | 0.003 % |
470.77/471.17 c | 658204 | 200 17000 119000 | 2147483647 71636 59 | 0.003 % |
470.97/471.32 c | 658380 | 200 17000 119000 | 2147483647 71812 59 | 0.003 % |
471.07/471.49 c | 658575 | 200 17000 119000 | 2147483647 72007 59 | 0.003 % |
471.27/471.67 c | 658789 | 200 17000 119000 | 2147483647 72221 59 | 0.003 % |
471.48/471.87 c | 659023 | 200 17000 119000 | 2147483647 72455 59 | 0.003 % |
471.77/472.12 c | 659280 | 200 17000 119000 | 2147483647 72712 59 | 0.003 % |
472.07/472.40 c | 659563 | 200 17000 119000 | 2147483647 72995 59 | 0.003 % |
472.37/472.70 c | 659875 | 200 17000 119000 | 2147483647 73307 59 | 0.003 % |
472.68/473.06 c | 660215 | 200 17000 119000 | 73432 64984 59 | 0.003 % |
472.97/473.39 c | 660587 | 200 17000 119000 | 73432 65356 59 | 0.003 % |
473.37/473.77 c | 660997 | 200 17000 119000 | 73432 65766 59 | 0.003 % |
473.78/474.12 c | 661449 | 200 17000 119000 | 73432 66218 59 | 0.003 % |
474.17/474.50 c | 661942 | 200 17000 119000 | 73432 66711 59 | 0.003 % |
474.57/474.91 c | 662486 | 200 17000 119000 | 73432 67255 59 | 0.003 % |
474.97/475.38 c | 663082 | 200 17000 119000 | 73432 67851 59 | 0.003 % |
475.67/476.00 c | 663737 | 200 17000 119000 | 73432 68506 59 | 0.003 % |
476.17/476.57 c | 664458 | 200 17000 119000 | 73432 69227 59 | 0.003 % |
476.77/477.11 c | 665253 | 200 17000 119000 | 73432 70022 59 | 0.003 % |
477.37/477.74 c | 666125 | 200 17000 119000 | 73432 70894 59 | 0.003 % |
477.97/478.38 c | 667083 | 200 17000 119000 | 73432 71852 59 | 0.003 % |
478.96/479.40 c | 668136 | 200 17000 119000 | 73432 72905 59 | 0.003 % |
479.86/480.29 c | 669294 | 200 17000 119000 | 73432 64965 59 | 0.003 % |
480.66/481.09 c | 670568 | 200 17000 119000 | 65671 58308 59 | 0.003 % |
481.66/482.02 c | 671968 | 200 17000 119000 | 65671 59708 59 | 0.003 % |
482.66/483.01 c | 673509 | 200 17000 119000 | 65671 61249 59 | 0.003 % |
483.86/484.21 c | 675204 | 200 17000 119000 | 65671 62944 59 | 0.003 % |
485.06/485.49 c | 677067 | 200 17000 119000 | 65671 64807 59 | 0.003 % |
486.76/487.13 c | 679119 | 200 17000 119000 | 65671 60284 59 | 0.003 % |
488.26/488.63 c | 681372 | 200 17000 119000 | 2147483647 62537 59 | 0.003 % |
489.86/490.24 c | 683851 | 200 17000 119000 | 2147483647 65016 59 | 0.003 % |
491.66/492.01 c | 686577 | 200 17000 119000 | 2147483647 67742 59 | 0.003 % |
494.06/494.42 c | 689577 | 200 17000 119000 | 2147483647 70742 59 | 0.003 % |
496.56/496.96 c | 692873 | 200 17000 119000 | 2147483647 74038 59 | 0.003 % |
499.66/500.01 c | 696498 | 200 17000 119000 | 2147483647 77663 59 | 0.003 % |
503.06/503.48 c | 700485 | 200 17000 119000 | 81167 70037 59 | 0.003 % |
506.26/506.65 c | 704870 | 200 17000 119000 | 81167 74422 59 | 0.003 % |
509.96/510.32 c | 709694 | 200 17000 119000 | 81167 79246 59 | 0.003 % |
513.95/514.34 c | 715000 | 200 17000 119000 | 79552 74257 59 | 0.003 % |
518.95/519.34 c | 720835 | 200 17000 119000 | 79257 69392 59 | 0.003 % |
523.85/524.20 c | 727253 | 200 17000 119000 | 79257 75810 59 | 0.003 % |
523.85/524.28 c | 727354 | 200 17000 119000 | 79257 75911 59 | 0.003 % |
523.95/524.36 c | 727464 | 200 17000 119000 | 79257 76021 59 | 0.003 % |
524.05/524.46 c | 727585 | 200 17000 119000 | 79257 76142 59 | 0.003 % |
524.15/524.59 c | 727718 | 200 17000 119000 | 79257 76275 59 | 0.003 % |
524.35/524.72 c | 727865 | 200 17000 119000 | 79257 76422 59 | 0.003 % |
524.45/524.87 c | 728028 | 200 17000 119000 | 79257 76585 59 | 0.003 % |
524.65/525.08 c | 728205 | 200 17000 119000 | 79257 76762 59 | 0.003 % |
524.85/525.29 c | 728398 | 200 17000 119000 | 79257 76955 59 | 0.003 % |
525.05/525.50 c | 728610 | 200 17000 119000 | 79257 77167 59 | 0.003 % |
525.35/525.72 c | 728843 | 200 17000 119000 | 79257 77400 59 | 0.003 % |
525.54/525.94 c | 729100 | 200 17000 119000 | 79257 77657 59 | 0.003 % |
525.74/526.17 c | 729382 | 200 17000 119000 | 79257 77939 59 | 0.003 % |
526.04/526.43 c | 729692 | 200 17000 119000 | 79257 78249 59 | 0.003 % |
526.35/526.72 c | 730031 | 200 17000 119000 | 78560 78588 59 | 0.003 % |
526.74/527.15 c | 730405 | 200 17000 119000 | 78560 68363 59 | 0.003 % |
527.04/527.48 c | 730814 | 200 17000 119000 | 78560 68772 59 | 0.003 % |
527.44/527.81 c | 731266 | 200 17000 119000 | 78560 69224 59 | 0.003 % |
527.74/528.15 c | 731761 | 200 17000 119000 | 78560 69719 59 | 0.003 % |
528.14/528.58 c | 732303 | 200 17000 119000 | 78560 70261 59 | 0.003 % |
528.65/529.09 c | 732900 | 200 17000 119000 | 78560 70858 59 | 0.003 % |
529.24/529.61 c | 733555 | 200 17000 119000 | 78560 71513 59 | 0.003 % |
529.85/530.29 c | 734276 | 200 17000 119000 | 78560 72234 59 | 0.003 % |
530.54/530.99 c | 735068 | 200 17000 119000 | 78560 73026 59 | 0.003 % |
531.44/531.82 c | 735939 | 200 17000 119000 | 78560 73897 59 | 0.003 % |
532.14/532.55 c | 736899 | 200 17000 119000 | 78560 74857 59 | 0.003 % |
532.94/533.36 c | 737953 | 200 17000 119000 | 78560 75911 59 | 0.003 % |
533.94/534.34 c | 739111 | 200 17000 119000 | 78560 77069 59 | 0.003 % |
535.04/535.44 c | 740384 | 200 17000 119000 | 77959 67192 59 | 0.003 % |
536.14/536.50 c | 741784 | 200 17000 119000 | 77959 68592 59 | 0.003 % |
537.24/537.62 c | 743324 | 200 17000 119000 | 77959 70132 59 | 0.003 % |
538.44/538.81 c | 745019 | 200 17000 119000 | 77959 71827 59 | 0.003 % |
539.94/540.31 c | 746882 | 200 17000 119000 | 77959 73690 59 | 0.003 % |
541.44/541.85 c | 748931 | 200 17000 119000 | 77959 75739 59 | 0.003 % |
543.14/543.57 c | 751186 | 200 17000 119000 | 76808 68371 59 | 0.003 % |
544.94/545.37 c | 753664 | 200 17000 119000 | 76808 70849 59 | 0.003 % |
546.83/547.26 c | 756389 | 200 17000 119000 | 76808 73574 59 | 0.003 % |
549.13/549.50 c | 759387 | 200 17000 119000 | 76808 76572 59 | 0.003 % |
551.23/551.65 c | 762683 | 200 17000 119000 | 68289 63220 59 | 0.003 % |
553.63/554.03 c | 766309 | 200 17000 119000 | 68289 66846 59 | 0.003 % |
556.24/556.65 c | 770296 | 200 17000 119000 | 2147483647 63995 59 | 0.003 % |
559.13/559.55 c | 774684 | 200 17000 119000 | 2147483647 68383 59 | 0.003 % |
562.53/562.97 c | 779509 | 200 17000 119000 | 2147483647 73208 59 | 0.003 % |
566.93/567.32 c | 784815 | 200 17000 119000 | 2147483647 78514 59 | 0.003 % |
571.83/572.29 c | 790651 | 200 17000 119000 | 83700 71830 59 | 0.003 % |
576.63/577.02 c | 797069 | 200 17000 119000 | 83700 78248 59 | 0.003 % |
581.83/582.20 c | 804128 | 200 17000 119000 | 81180 73817 59 | 0.003 % |
581.83/582.29 c | 804228 | 200 17000 119000 | 81180 73917 59 | 0.003 % |
581.93/582.39 c | 804338 | 200 17000 119000 | 81180 74027 59 | 0.003 % |
582.03/582.49 c | 804459 | 200 17000 119000 | 81180 74148 59 | 0.003 % |
582.23/582.61 c | 804592 | 200 17000 119000 | 81180 74281 59 | 0.003 % |
582.33/582.77 c | 804738 | 200 17000 119000 | 81180 74427 59 | 0.003 % |
582.53/582.90 c | 804900 | 200 17000 119000 | 81180 74589 59 | 0.003 % |
582.63/583.05 c | 805076 | 200 17000 119000 | 81180 74765 59 | 0.003 % |
582.83/583.26 c | 805269 | 200 17000 119000 | 81180 74958 59 | 0.003 % |
583.03/583.44 c | 805482 | 200 17000 119000 | 81180 75171 59 | 0.003 % |
583.23/583.64 c | 805716 | 200 17000 119000 | 81180 75405 59 | 0.003 % |
583.43/583.83 c | 805974 | 200 17000 119000 | 81180 75663 59 | 0.003 % |
583.63/584.08 c | 806255 | 200 17000 119000 | 81180 75944 59 | 0.003 % |
583.93/584.35 c | 806565 | 200 17000 119000 | 81180 76254 59 | 0.003 % |
584.33/584.72 c | 806905 | 200 17000 119000 | 81180 76594 59 | 0.003 % |
584.63/585.05 c | 807277 | 200 17000 119000 | 81180 76966 59 | 0.003 % |
584.93/585.36 c | 807687 | 200 17000 119000 | 81180 77376 59 | 0.003 % |
585.33/585.77 c | 808138 | 200 17000 119000 | 81180 77827 59 | 0.003 % |
585.73/586.16 c | 808632 | 200 17000 119000 | 81180 78321 59 | 0.003 % |
586.23/586.60 c | 809175 | 200 17000 119000 | 81180 78864 59 | 0.003 % |
586.63/587.07 c | 809773 | 200 17000 119000 | 81180 79462 59 | 0.003 % |
587.23/587.64 c | 810428 | 200 17000 119000 | 79689 68491 59 | 0.003 % |
587.72/588.16 c | 811152 | 200 17000 119000 | 79689 69215 59 | 0.003 % |
588.32/588.75 c | 811944 | 200 17000 119000 | 79689 70007 59 | 0.003 % |
588.92/589.35 c | 812815 | 200 17000 119000 | 79689 70878 59 | 0.003 % |
589.62/590.02 c | 813775 | 200 17000 119000 | 79689 71838 59 | 0.003 % |
590.23/590.69 c | 814828 | 200 17000 119000 | 79689 72891 59 | 0.003 % |
591.12/591.57 c | 815989 | 200 17000 119000 | 79689 74052 59 | 0.003 % |
592.12/592.55 c | 817262 | 200 17000 119000 | 79689 75325 59 | 0.003 % |
593.22/593.61 c | 818663 | 200 17000 119000 | 79689 76726 59 | 0.003 % |
594.52/594.90 c | 820203 | 200 17000 119000 | 78063 68782 59 | 0.003 % |
595.62/596.09 c | 821897 | 200 17000 119000 | 78063 70476 59 | 0.003 % |
596.82/597.30 c | 823760 | 200 17000 119000 | 78063 72339 59 | 0.003 % |
598.32/598.73 c | 825810 | 200 17000 119000 | 78063 74389 59 | 0.003 % |
600.12/600.50 c | 828063 | 200 17000 119000 | 78063 76642 59 | 0.003 % |
602.12/602.55 c | 830541 | 200 17000 119000 | 69411 61758 59 | 0.003 % |
603.92/604.38 c | 833268 | 200 17000 119000 | 69411 64485 59 | 0.003 % |
606.02/606.40 c | 836266 | 200 17000 119000 | 69411 67483 59 | 0.003 % |
608.22/608.62 c | 839564 | 200 17000 119000 | 69411 63831 59 | 0.003 % |
610.82/611.23 c | 843190 | 200 17000 119000 | 2147483647 67457 59 | 0.003 % |
613.71/614.11 c | 847177 | 200 17000 119000 | 2147483647 71444 59 | 0.003 % |
617.11/617.56 c | 851563 | 200 17000 119000 | 2147483647 75830 59 | 0.003 % |
621.21/621.70 c | 856387 | 200 17000 119000 | 2147483647 80654 59 | 0.003 % |
625.80/626.28 c | 861693 | 200 17000 119000 | 84267 73727 59 | 0.003 % |
630.60/631.01 c | 867528 | 200 17000 119000 | 84267 79562 59 | 0.003 % |
635.80/636.21 c | 873946 | 200 17000 119000 | 82034 73517 59 | 0.003 % |
641.10/641.52 c | 881005 | 200 17000 119000 | 79572 70352 59 | 0.003 % |
646.70/647.15 c | 888769 | 200 17000 119000 | 79572 78116 59 | 0.003 % |
646.80/647.24 c | 888869 | 200 17000 119000 | 79572 78216 59 | 0.003 % |
646.90/647.33 c | 888979 | 200 17000 119000 | 79572 78326 59 | 0.003 % |
647.00/647.44 c | 889100 | 200 17000 119000 | 79572 78447 59 | 0.003 % |
647.10/647.54 c | 889235 | 200 17000 119000 | 79572 78582 59 | 0.003 % |
647.20/647.67 c | 889381 | 200 17000 119000 | 79572 78728 59 | 0.003 % |
647.40/647.83 c | 889541 | 200 17000 119000 | 79572 78888 59 | 0.003 % |
647.60/648.02 c | 889717 | 200 17000 119000 | 79572 79064 59 | 0.003 % |
647.80/648.22 c | 889910 | 200 17000 119000 | 79572 79257 59 | 0.003 % |
648.00/648.49 c | 890123 | 200 17000 119000 | 79348 68690 59 | 0.003 % |
648.19/648.67 c | 890359 | 200 17000 119000 | 79348 68926 59 | 0.003 % |
648.39/648.87 c | 890615 | 200 17000 119000 | 79348 69182 59 | 0.003 % |
648.60/649.07 c | 890896 | 200 17000 119000 | 79348 69463 59 | 0.003 % |
648.89/649.30 c | 891206 | 200 17000 119000 | 79348 69773 59 | 0.003 % |
649.09/649.56 c | 891545 | 200 17000 119000 | 79348 70112 59 | 0.003 % |
649.49/649.91 c | 891918 | 200 17000 119000 | 79348 70485 59 | 0.003 % |
649.79/650.26 c | 892328 | 200 17000 119000 | 79348 70895 59 | 0.003 % |
650.19/650.63 c | 892780 | 200 17000 119000 | 79348 71347 59 | 0.003 % |
650.59/651.03 c | 893276 | 200 17000 119000 | 79348 71843 59 | 0.003 % |
650.99/651.45 c | 893818 | 200 17000 119000 | 79348 72385 59 | 0.003 % |
651.49/651.90 c | 894414 | 200 17000 119000 | 79348 72981 59 | 0.003 % |
651.90/652.35 c | 895069 | 200 17000 119000 | 79348 73636 59 | 0.003 % |
652.59/653.04 c | 895792 | 200 17000 119000 | 79348 74359 59 | 0.003 % |
653.19/653.66 c | 896586 | 200 17000 119000 | 79348 75153 59 | 0.003 % |
653.99/654.43 c | 897459 | 200 17000 119000 | 79348 76026 59 | 0.003 % |
654.89/655.31 c | 898417 | 200 17000 119000 | 79348 76984 59 | 0.003 % |
655.79/656.20 c | 899472 | 200 17000 119000 | 79348 78039 59 | 0.003 % |
656.69/657.19 c | 900632 | 200 17000 119000 | 78567 68014 59 | 0.003 % |
657.58/658.06 c | 901905 | 200 17000 119000 | 78567 69287 59 | 0.003 % |
658.58/659.04 c | 903305 | 200 17000 119000 | 78567 70687 59 | 0.003 % |
659.59/660.04 c | 904846 | 200 17000 119000 | 78567 72228 59 | 0.003 % |
660.78/661.21 c | 906540 | 200 17000 119000 | 78567 73922 59 | 0.003 % |
662.38/662.83 c | 908404 | 200 17000 119000 | 78567 75786 59 | 0.003 % |
664.18/664.68 c | 910453 | 200 17000 119000 | 77382 67484 59 | 0.003 % |
665.88/666.39 c | 912706 | 200 17000 119000 | 77382 69737 59 | 0.003 % |
667.78/668.20 c | 915185 | 200 17000 119000 | 77382 72216 59 | 0.003 % |
669.78/670.24 c | 917911 | 200 17000 119000 | 77382 74942 59 | 0.003 % |
672.08/672.57 c | 920908 | 200 17000 119000 | 77032 68821 59 | 0.003 % |
674.48/674.91 c | 924205 | 200 17000 119000 | 77032 72118 59 | 0.003 % |
677.18/677.67 c | 927830 | 200 17000 119000 | 77032 75743 59 | 0.003 % |
680.08/680.54 c | 931817 | 200 17000 119000 | 69546 64003 59 | 0.003 % |
682.98/683.43 c | 936202 | 200 17000 119000 | 69546 68388 59 | 0.003 % |
686.37/686.89 c | 941025 | 200 17000 119000 | 2147483647 66247 58 | 0.003 % |
689.98/690.47 c | 946330 | 200 17000 119000 | 2147483647 71552 58 | 0.003 % |
694.37/694.87 c | 952167 | 200 17000 119000 | 2147483647 77389 58 | 0.003 % |
699.57/700.01 c | 958585 | 200 17000 119000 | 2147483647 83807 58 | 0.003 % |
705.06/705.55 c | 965644 | 200 17000 119000 | 85224 78915 59 | 0.003 % |
710.76/711.21 c | 973409 | 200 17000 119000 | 83271 74202 59 | 0.003 % |
716.86/717.32 c | 981950 | 200 17000 119000 | 80793 72028 59 | 0.003 % |
716.96/717.40 c | 982050 | 200 17000 119000 | 80793 72128 59 | 0.003 % |
717.06/717.50 c | 982161 | 200 17000 119000 | 80793 72239 59 | 0.003 % |
717.06/717.59 c | 982282 | 200 17000 119000 | 80793 72360 59 | 0.003 % |
717.16/717.68 c | 982418 | 200 17000 119000 | 80793 72496 59 | 0.003 % |
717.26/717.79 c | 982566 | 200 17000 119000 | 80793 72644 59 | 0.003 % |
717.46/717.94 c | 982726 | 200 17000 119000 | 80793 72804 59 | 0.003 % |
717.56/718.10 c | 982902 | 200 17000 119000 | 80793 72980 59 | 0.003 % |
717.76/718.24 c | 983096 | 200 17000 119000 | 80793 73174 59 | 0.003 % |
717.96/718.44 c | 983309 | 200 17000 119000 | 80793 73387 59 | 0.003 % |
718.15/718.63 c | 983543 | 200 17000 119000 | 80793 73621 59 | 0.003 % |
718.35/718.86 c | 983799 | 200 17000 119000 | 80793 73877 59 | 0.003 % |
718.65/719.10 c | 984080 | 200 17000 119000 | 80793 74158 59 | 0.003 % |
718.86/719.39 c | 984391 | 200 17000 119000 | 80793 74469 59 | 0.003 % |
719.15/719.66 c | 984730 | 200 17000 119000 | 80793 74808 59 | 0.003 % |
719.45/719.95 c | 985102 | 200 17000 119000 | 80793 75180 59 | 0.003 % |
719.75/720.27 c | 985511 | 200 17000 119000 | 80793 75589 59 | 0.003 % |
720.15/720.69 c | 985961 | 200 17000 119000 | 80793 76039 59 | 0.003 % |
720.65/721.12 c | 986455 | 200 17000 119000 | 80793 76533 59 | 0.003 % |
721.06/721.59 c | 986997 | 200 17000 119000 | 80793 77075 59 | 0.003 % |
721.65/722.10 c | 987593 | 200 17000 119000 | 80793 77671 59 | 0.003 % |
722.16/722.69 c | 988248 | 200 17000 119000 | 80793 78326 59 | 0.003 % |
722.95/723.40 c | 988969 | 200 17000 119000 | 80793 79047 59 | 0.003 % |
723.55/724.09 c | 989761 | 200 17000 119000 | 80793 79839 59 | 0.003 % |
724.35/724.88 c | 990633 | 200 17000 119000 | 80078 69090 59 | 0.003 % |
725.15/725.65 c | 991591 | 200 17000 119000 | 80078 70048 59 | 0.003 % |
726.05/726.51 c | 992646 | 200 17000 119000 | 80078 71103 59 | 0.003 % |
726.95/727.45 c | 993804 | 200 17000 119000 | 80078 72261 59 | 0.003 % |
727.85/728.37 c | 995078 | 200 17000 119000 | 80078 73535 59 | 0.003 % |
729.05/729.59 c | 996480 | 200 17000 119000 | 80078 74937 59 | 0.003 % |
730.25/730.79 c | 998020 | 200 17000 119000 | 80078 76477 59 | 0.003 % |
731.75/732.21 c | 999716 | 200 17000 119000 | 80078 78173 59 | 0.003 % |
733.15/733.70 c | 1001583 | 200 17000 119000 | 78458 69120 59 | 0.003 % |
734.85/735.37 c | 1003632 | 200 17000 119000 | 78458 71169 59 | 0.003 % |
736.65/737.14 c | 1005886 | 200 17000 119000 | 78458 73423 59 | 0.003 % |
738.65/739.17 c | 1008364 | 200 17000 119000 | 78458 75901 59 | 0.003 % |
740.75/741.23 c | 1011089 | 200 17000 119000 | 77537 68489 59 | 0.003 % |
743.15/743.64 c | 1014089 | 200 17000 119000 | 77537 71489 59 | 0.003 % |
745.94/746.41 c | 1017385 | 200 17000 119000 | 77537 74785 59 | 0.003 % |
748.84/749.31 c | 1021010 | 200 17000 119000 | 77402 68050 59 | 0.003 % |
752.04/752.56 c | 1024997 | 200 17000 119000 | 77402 72037 59 | 0.003 % |
755.74/756.27 c | 1029382 | 200 17000 119000 | 77402 76422 59 | 0.003 % |
759.33/759.86 c | 1034208 | 200 17000 119000 | 77041 71018 59 | 0.003 % |
763.03/763.55 c | 1039514 | 200 17000 119000 | 77041 76324 59 | 0.003 % |
767.73/768.23 c | 1045349 | 200 17000 119000 | 76811 73340 59 | 0.003 % |
772.33/772.89 c | 1051769 | 200 17000 119000 | 68749 62429 59 | 0.003 % |
776.93/777.49 c | 1058829 | 200 17000 119000 | 68749 62606 59 | 0.003 % |
782.33/782.83 c | 1066593 | 200 17000 119000 | 2147483647 70370 59 | 0.003 % |
788.72/789.28 c | 1075134 | 200 17000 119000 | 2147483647 78911 59 | 0.003 % |
795.82/796.34 c | 1084529 | 200 17000 119000 | 83777 76611 60 | 0.003 % |
795.92/796.45 c | 1084629 | 200 17000 119000 | 83777 76711 60 | 0.003 % |
796.02/796.57 c | 1084740 | 200 17000 119000 | 83777 76822 60 | 0.003 % |
796.12/796.69 c | 1084861 | 200 17000 119000 | 83777 76943 60 | 0.003 % |
796.32/796.81 c | 1084995 | 200 17000 119000 | 83777 77077 59 | 0.003 % |
796.42/796.93 c | 1085142 | 200 17000 119000 | 83777 77224 59 | 0.003 % |
796.52/797.06 c | 1085303 | 200 17000 119000 | 83777 77385 59 | 0.003 % |
796.72/797.21 c | 1085479 | 200 17000 119000 | 83777 77561 59 | 0.003 % |
796.82/797.37 c | 1085673 | 200 17000 119000 | 83777 77755 59 | 0.003 % |
797.02/797.54 c | 1085886 | 200 17000 119000 | 83777 77968 59 | 0.003 % |
797.22/797.72 c | 1086121 | 200 17000 119000 | 83777 78203 59 | 0.003 % |
797.42/797.95 c | 1086377 | 200 17000 119000 | 83777 78459 59 | 0.003 % |
797.62/798.18 c | 1086659 | 200 17000 119000 | 83777 78741 59 | 0.003 % |
797.92/798.40 c | 1086969 | 200 17000 119000 | 83777 79051 59 | 0.003 % |
798.12/798.64 c | 1087308 | 200 17000 119000 | 83777 79390 59 | 0.003 % |
798.42/798.92 c | 1087682 | 200 17000 119000 | 83777 79764 59 | 0.003 % |
798.72/799.26 c | 1088091 | 200 17000 119000 | 83777 80173 59 | 0.003 % |
799.22/799.76 c | 1088541 | 200 17000 119000 | 83777 80623 59 | 0.003 % |
799.72/800.23 c | 1089034 | 200 17000 119000 | 83777 81116 59 | 0.003 % |
800.32/800.80 c | 1089577 | 200 17000 119000 | 83777 81659 59 | 0.003 % |
800.92/801.46 c | 1090174 | 200 17000 119000 | 82082 69884 59 | 0.003 % |
801.42/801.99 c | 1090829 | 200 17000 119000 | 82082 70539 59 | 0.003 % |
802.12/802.61 c | 1091549 | 200 17000 119000 | 82082 71259 59 | 0.003 % |
802.71/803.27 c | 1092343 | 200 17000 119000 | 82082 72053 59 | 0.003 % |
803.52/804.02 c | 1093216 | 200 17000 119000 | 82082 72926 59 | 0.003 % |
804.21/804.77 c | 1094174 | 200 17000 119000 | 82082 73884 59 | 0.003 % |
805.01/805.58 c | 1095228 | 200 17000 119000 | 82082 74938 59 | 0.003 % |
805.91/806.49 c | 1096388 | 200 17000 119000 | 82082 76098 59 | 0.003 % |
807.01/807.54 c | 1097661 | 200 17000 119000 | 82082 77371 59 | 0.003 % |
808.21/808.70 c | 1099061 | 200 17000 119000 | 82082 78771 59 | 0.003 % |
809.71/810.20 c | 1100603 | 200 17000 119000 | 79710 68154 59 | 0.003 % |
810.91/811.47 c | 1102298 | 200 17000 119000 | 79710 69849 59 | 0.003 % |
812.21/812.77 c | 1104161 | 200 17000 119000 | 79710 71712 59 | 0.003 % |
813.71/814.20 c | 1106210 | 200 17000 119000 | 79710 73761 59 | 0.003 % |
815.31/815.83 c | 1108464 | 200 17000 119000 | 79710 76015 59 | 0.003 % |
817.11/817.70 c | 1110942 | 200 17000 119000 | 77553 68438 59 | 0.003 % |
819.11/819.60 c | 1113668 | 200 17000 119000 | 77553 71164 59 | 0.003 % |
821.11/821.70 c | 1116665 | 200 17000 119000 | 77553 74161 59 | 0.003 % |
823.51/824.04 c | 1119961 | 200 17000 119000 | 77553 77457 59 | 0.003 % |
826.21/826.72 c | 1123586 | 200 17000 119000 | 77498 72286 59 | 0.003 % |
829.51/830.06 c | 1127574 | 200 17000 119000 | 77498 76274 59 | 0.003 % |
832.80/833.36 c | 1131959 | 200 17000 119000 | 68763 62154 59 | 0.003 % |
835.90/836.48 c | 1136782 | 200 17000 119000 | 68763 66977 59 | 0.003 % |
839.30/839.83 c | 1142089 | 200 17000 119000 | 2147483647 65399 59 | 0.003 % |
843.30/843.82 c | 1147925 | 200 17000 119000 | 2147483647 71235 59 | 0.003 % |
847.70/848.23 c | 1154344 | 200 17000 119000 | 2147483647 77654 59 | 0.003 % |
853.30/853.82 c | 1161404 | 200 17000 119000 | 83310 73872 59 | 0.003 % |
859.39/859.92 c | 1169169 | 200 17000 119000 | 83310 81637 59 | 0.003 % |
866.10/866.64 c | 1177710 | 200 17000 119000 | 82468 78898 59 | 0.003 % |
874.10/874.67 c | 1187105 | 200 17000 119000 | 81188 78020 59 | 0.003 % |
882.69/883.26 c | 1197439 | 200 17000 119000 | 80917 77970 59 | 0.003 % |
882.79/883.34 c | 1197540 | 200 17000 119000 | 80917 78071 59 | 0.003 % |
882.89/883.46 c | 1197650 | 200 17000 119000 | 80917 78181 59 | 0.003 % |
882.99/883.56 c | 1197773 | 200 17000 119000 | 80917 78304 59 | 0.003 % |
883.09/883.67 c | 1197907 | 200 17000 119000 | 80917 78438 59 | 0.003 % |
883.29/883.80 c | 1198053 | 200 17000 119000 | 80917 78584 59 | 0.003 % |
883.39/883.96 c | 1198213 | 200 17000 119000 | 80917 78744 59 | 0.003 % |
883.59/884.12 c | 1198391 | 200 17000 119000 | 80917 78922 59 | 0.003 % |
883.69/884.28 c | 1198584 | 200 17000 119000 | 80917 79115 59 | 0.003 % |
883.90/884.49 c | 1198798 | 200 17000 119000 | 80917 79329 59 | 0.003 % |
884.09/884.70 c | 1199031 | 200 17000 119000 | 80917 79562 59 | 0.003 % |
884.39/884.98 c | 1199287 | 200 17000 119000 | 80917 79818 59 | 0.003 % |
884.69/885.22 c | 1199568 | 200 17000 119000 | 80917 80099 59 | 0.003 % |
885.00/885.55 c | 1199877 | 200 17000 119000 | 80917 80408 59 | 0.003 % |
885.39/885.95 c | 1200216 | 200 17000 119000 | 80531 69466 59 | 0.003 % |
885.69/886.23 c | 1200590 | 200 17000 119000 | 80531 69840 59 | 0.003 % |
885.99/886.55 c | 1201002 | 200 17000 119000 | 80531 70252 59 | 0.003 % |
886.39/886.94 c | 1201452 | 200 17000 119000 | 80531 70702 59 | 0.003 % |
886.69/887.23 c | 1201945 | 200 17000 119000 | 80531 71195 59 | 0.003 % |
887.09/887.67 c | 1202488 | 200 17000 119000 | 80531 71738 59 | 0.003 % |
887.59/888.12 c | 1203084 | 200 17000 119000 | 80531 72334 59 | 0.003 % |
888.19/888.72 c | 1203741 | 200 17000 119000 | 80531 72991 59 | 0.003 % |
888.69/889.28 c | 1204463 | 200 17000 119000 | 80531 73713 59 | 0.003 % |
889.29/889.89 c | 1205255 | 200 17000 119000 | 80531 74505 59 | 0.003 % |
889.99/890.56 c | 1206126 | 200 17000 119000 | 80531 75376 59 | 0.003 % |
890.69/891.29 c | 1207086 | 200 17000 119000 | 80531 76336 59 | 0.003 % |
891.69/892.22 c | 1208139 | 200 17000 119000 | 80531 77389 59 | 0.003 % |
892.59/893.15 c | 1209297 | 200 17000 119000 | 80531 78547 59 | 0.003 % |
893.59/894.19 c | 1210571 | 200 17000 119000 | 79251 68741 59 | 0.003 % |
894.69/895.26 c | 1211972 | 200 17000 119000 | 79251 70142 59 | 0.003 % |
895.79/896.34 c | 1213512 | 200 17000 119000 | 79251 71682 59 | 0.003 % |
897.09/897.62 c | 1215207 | 200 17000 119000 | 79251 73377 59 | 0.003 % |
898.39/898.97 c | 1217071 | 200 17000 119000 | 79251 75241 59 | 0.003 % |
899.99/900.55 c | 1219120 | 200 17000 119000 | 79251 77290 59 | 0.003 % |
901.78/902.31 c | 1221373 | 200 17000 119000 | 78171 70057 59 | 0.003 % |
903.48/904.06 c | 1223852 | 200 17000 119000 | 78171 72536 58 | 0.003 % |
905.38/905.94 c | 1226579 | 200 17000 119000 | 78171 75263 58 | 0.003 % |
907.68/908.21 c | 1229579 | 200 17000 119000 | 78171 78263 59 | 0.003 % |
909.98/910.59 c | 1232876 | 200 17000 119000 | 69362 63996 58 | 0.003 % |
912.39/912.93 c | 1236501 | 200 17000 119000 | 69362 67621 58 | 0.003 % |
915.38/915.99 c | 1240488 | 200 17000 119000 | 2147483647 64663 59 | 0.003 % |
918.48/919.01 c | 1244873 | 200 17000 119000 | 2147483647 69048 59 | 0.003 % |
921.98/922.58 c | 1249697 | 200 17000 119000 | 2147483647 73872 59 | 0.003 % |
926.28/926.84 c | 1255003 | 200 17000 119000 | 2147483647 79178 59 | 0.003 % |
931.37/931.97 c | 1260838 | 200 17000 119000 | 84175 72407 59 | 0.003 % |
936.47/937.01 c | 1267256 | 200 17000 119000 | 84175 78825 59 | 0.003 % |
941.77/942.36 c | 1274315 | 200 17000 119000 | 81569 74335 59 | 0.003 % |
948.37/948.93 c | 1282079 | 200 17000 119000 | 80022 71465 59 | 0.003 % |
955.27/955.85 c | 1290619 | 200 17000 119000 | 79386 68836 60 | 0.003 % |
963.36/963.92 c | 1300013 | 200 17000 119000 | 78218 78230 60 | 0.003 % |
971.36/971.91 c | 1310346 | 200 17000 119000 | 76807 67635 60 | 0.003 % |
980.15/980.71 c | 1321712 | 200 17000 119000 | 68649 62620 59 | 0.003 % |
980.15/980.78 c | 1321812 | 200 17000 119000 | 68649 62720 59 | 0.003 % |
980.25/980.87 c | 1321923 | 200 17000 119000 | 68649 62831 59 | 0.003 % |
980.35/980.96 c | 1322046 | 200 17000 119000 | 68649 62954 59 | 0.003 % |
980.45/981.08 c | 1322182 | 200 17000 119000 | 68649 63090 59 | 0.003 % |
980.55/981.19 c | 1322328 | 200 17000 119000 | 68649 63236 59 | 0.003 % |
980.65/981.29 c | 1322488 | 200 17000 119000 | 68649 63396 59 | 0.003 % |
980.85/981.42 c | 1322666 | 200 17000 119000 | 68649 63574 59 | 0.003 % |
980.95/981.57 c | 1322860 | 200 17000 119000 | 68649 63768 59 | 0.003 % |
981.15/981.71 c | 1323073 | 200 17000 119000 | 68649 63981 59 | 0.003 % |
981.35/981.94 c | 1323306 | 200 17000 119000 | 68649 64214 59 | 0.003 % |
981.55/982.16 c | 1323562 | 200 17000 119000 | 68649 64470 59 | 0.003 % |
981.85/982.41 c | 1323844 | 200 17000 119000 | 68649 64752 59 | 0.003 % |
982.05/982.65 c | 1324156 | 200 17000 119000 | 68649 65064 59 | 0.003 % |
982.35/982.91 c | 1324495 | 200 17000 119000 | 68649 65403 59 | 0.003 % |
982.55/983.17 c | 1324868 | 200 17000 119000 | 68649 65776 59 | 0.003 % |
982.85/983.45 c | 1325277 | 200 17000 119000 | 68649 66185 59 | 0.003 % |
983.15/983.73 c | 1325727 | 200 17000 119000 | 68649 66635 59 | 0.003 % |
983.45/984.04 c | 1326220 | 200 17000 119000 | 68649 67128 59 | 0.003 % |
983.85/984.45 c | 1326762 | 200 17000 119000 | 68649 67670 59 | 0.003 % |
984.25/984.89 c | 1327359 | 200 17000 119000 | 68649 68267 59 | 0.003 % |
984.85/985.42 c | 1328014 | 200 17000 119000 | 68649 62048 59 | 0.003 % |
985.45/986.05 c | 1328734 | 200 17000 119000 | 68649 62768 59 | 0.003 % |
986.05/986.62 c | 1329527 | 200 17000 119000 | 68649 63561 59 | 0.003 % |
986.65/987.24 c | 1330399 | 200 17000 119000 | 64034 57987 59 | 0.003 % |
987.25/987.88 c | 1331357 | 200 17000 119000 | 64034 58945 59 | 0.003 % |
987.95/988.58 c | 1332410 | 200 17000 119000 | 64034 59998 59 | 0.003 % |
988.65/989.27 c | 1333568 | 200 17000 119000 | 64034 61156 59 | 0.003 % |
989.65/990.26 c | 1334841 | 200 17000 119000 | 64034 62429 59 | 0.003 % |
990.65/991.29 c | 1336241 | 200 17000 119000 | 64034 63829 59 | 0.003 % |
991.75/992.36 c | 1337782 | 200 17000 119000 | 64034 58958 59 | 0.003 % |
992.85/993.41 c | 1339477 | 200 17000 119000 | 64034 60653 59 | 0.003 % |
993.94/994.57 c | 1341342 | 200 17000 119000 | 2147483647 62518 59 | 0.003 % |
995.24/995.89 c | 1343393 | 200 17000 119000 | 2147483647 64569 59 | 0.003 % |
996.75/997.35 c | 1345646 | 200 17000 119000 | 2147483647 66822 58 | 0.003 % |
998.34/998.96 c | 1348125 | 200 17000 119000 | 2147483647 69301 59 | 0.003 % |
1000.14/1000.77 c | 1350850 | 200 17000 119000 | 2147483647 72026 59 | 0.003 % |
1002.44/1003.02 c | 1353848 | 200 17000 119000 | 2147483647 75024 59 | 0.003 % |
1004.85/1005.42 c | 1357144 | 200 17000 119000 | 2147483647 78320 59 | 0.003 % |
1007.64/1008.23 c | 1360772 | 200 17000 119000 | 81176 72833 58 | 0.003 % |
1010.54/1011.10 c | 1364759 | 200 17000 119000 | 81176 76820 58 | 0.003 % |
1014.04/1014.63 c | 1369144 | 200 17000 119000 | 81176 81205 59 | 0.003 % |
1017.34/1017.90 c | 1373969 | 200 17000 119000 | 71320 65970 58 | 0.003 % |
1020.93/1021.55 c | 1379274 | 200 17000 119000 | 71320 71275 58 | 0.003 % |
1024.43/1025.07 c | 1385110 | 200 17000 119000 | 64774 63397 59 | 0.003 % |
1028.23/1028.84 c | 1391529 | 200 17000 119000 | 2147483647 63329 59 | 0.003 % |
1032.73/1033.34 c | 1398589 | 200 17000 119000 | 2147483647 70389 59 | 0.003 % |
1038.33/1038.92 c | 1406354 | 200 17000 119000 | 2147483647 78154 59 | 0.003 % |
1044.63/1045.25 c | 1414894 | 200 17000 119000 | 81801 75826 60 | 0.003 % |
1051.63/1052.29 c | 1424290 | 200 17000 119000 | 80933 74267 60 | 0.003 % |
1059.62/1060.23 c | 1434624 | 200 17000 119000 | 79977 74230 60 | 0.003 % |
1068.51/1069.13 c | 1445991 | 200 17000 119000 | 79606 75817 60 | 0.003 % |
1077.70/1078.33 c | 1458495 | 200 17000 119000 | 70150 70152 60 | 0.003 % |
1077.80/1078.46 c | 1458595 | 200 17000 119000 | 70150 63237 60 | 0.003 % |
1077.90/1078.55 c | 1458705 | 200 17000 119000 | 70150 63347 60 | 0.003 % |
1078.00/1078.61 c | 1458828 | 200 17000 119000 | 70150 63470 60 | 0.003 % |
1078.10/1078.71 c | 1458962 | 200 17000 119000 | 70150 63604 60 | 0.003 % |
1078.20/1078.82 c | 1459112 | 200 17000 119000 | 70150 63754 60 | 0.003 % |
1078.30/1078.93 c | 1459275 | 200 17000 119000 | 70150 63917 60 | 0.003 % |
1078.41/1079.05 c | 1459453 | 200 17000 119000 | 70150 64095 60 | 0.003 % |
1078.50/1079.18 c | 1459646 | 200 17000 119000 | 70150 64288 60 | 0.003 % |
1078.70/1079.34 c | 1459858 | 200 17000 119000 | 70150 64500 60 | 0.003 % |
1078.90/1079.54 c | 1460092 | 200 17000 119000 | 2147483647 64734 60 | 0.003 % |
1079.10/1079.76 c | 1460349 | 200 17000 119000 | 2147483647 64991 60 | 0.003 % |
1079.30/1080.00 c | 1460630 | 200 17000 119000 | 2147483647 65272 60 | 0.003 % |
1079.60/1080.22 c | 1460940 | 200 17000 119000 | 2147483647 65582 60 | 0.003 % |
1079.80/1080.47 c | 1461279 | 200 17000 119000 | 2147483647 65921 60 | 0.003 % |
1080.10/1080.78 c | 1461651 | 200 17000 119000 | 2147483647 66293 60 | 0.003 % |
1080.40/1081.06 c | 1462060 | 200 17000 119000 | 2147483647 66702 60 | 0.003 % |
1080.80/1081.47 c | 1462509 | 200 17000 119000 | 2147483647 67151 60 | 0.003 % |
1081.20/1081.83 c | 1463002 | 200 17000 119000 | 2147483647 67644 60 | 0.003 % |
1081.60/1082.29 c | 1463544 | 200 17000 119000 | 2147483647 68186 60 | 0.003 % |
1082.10/1082.74 c | 1464142 | 200 17000 119000 | 2147483647 68784 60 | 0.003 % |
1082.60/1083.24 c | 1464797 | 200 17000 119000 | 2147483647 69439 60 | 0.003 % |
1083.10/1083.76 c | 1465517 | 200 17000 119000 | 2147483647 70159 60 | 0.003 % |
1083.70/1084.34 c | 1466311 | 200 17000 119000 | 2147483647 70953 60 | 0.003 % |
1084.30/1084.96 c | 1467183 | 200 17000 119000 | 2147483647 71825 60 | 0.003 % |
1085.00/1085.64 c | 1468142 | 200 17000 119000 | 2147483647 72784 60 | 0.003 % |
1085.80/1086.42 c | 1469198 | 200 17000 119000 | 2147483647 73840 60 | 0.003 % |
1086.70/1087.36 c | 1470356 | 200 17000 119000 | 74643 66872 60 | 0.003 % |
1087.60/1088.23 c | 1471630 | 200 17000 119000 | 74643 68146 60 | 0.003 % |
1088.50/1089.17 c | 1473030 | 200 17000 119000 | 74643 69546 60 | 0.003 % |
1089.70/1090.32 c | 1474570 | 200 17000 119000 | 74643 71086 60 | 0.003 % |
1091.10/1091.73 c | 1476264 | 200 17000 119000 | 74643 72780 60 | 0.003 % |
1092.70/1093.40 c | 1478127 | 200 17000 119000 | 74643 74643 60 | 0.003 % |
1094.30/1094.95 c | 1480176 | 200 17000 119000 | 67429 59861 59 | 0.003 % |
1095.70/1096.39 c | 1482429 | 200 17000 119000 | 67429 62114 59 | 0.003 % |
1097.30/1097.94 c | 1484908 | 200 17000 119000 | 67429 64593 59 | 0.003 % |
1098.89/1099.60 c | 1487634 | 200 17000 119000 | 67429 67319 59 | 0.003 % |
1100.69/1101.34 c | 1490631 | 200 17000 119000 | 2147483647 63564 59 | 0.003 % |
1102.70/1103.38 c | 1493929 | 200 17000 119000 | 2147483647 66862 59 | 0.003 % |
1104.99/1105.65 c | 1497555 | 200 17000 119000 | 2147483647 70488 59 | 0.003 % |
1107.99/1108.61 c | 1501542 | 200 17000 119000 | 2147483647 74475 59 | 0.003 % |
1111.49/1112.12 c | 1505928 | 200 17000 119000 | 2147483647 78861 59 | 0.003 % |
1115.49/1116.10 c | 1510751 | 200 17000 119000 | 82933 72186 59 | 0.003 % |
1119.29/1119.93 c | 1516057 | 200 17000 119000 | 82933 77492 59 | 0.003 % |
1123.88/1124.53 c | 1521893 | 200 17000 119000 | 81436 72342 59 | 0.003 % |
1128.68/1129.39 c | 1528311 | 200 17000 119000 | 81436 78760 59 | 0.003 % |
1133.98/1134.60 c | 1535370 | 200 17000 119000 | 80450 75149 59 | 0.003 % |
1140.08/1140.73 c | 1543136 | 200 17000 119000 | 79780 72835 59 | 0.003 % |
1146.98/1147.67 c | 1551677 | 200 17000 119000 | 79699 71303 59 | 0.003 % |
1154.16/1154.85 c | 1561071 | 200 17000 119000 | 79627 71315 59 | 0.003 % |
1161.76/1162.43 c | 1571405 | 200 17000 119000 | 69878 62285 60 | 0.003 % |
1168.96/1169.64 c | 1582771 | 200 17000 119000 | 2147483647 66654 60 | 0.003 % |
1178.05/1178.75 c | 1595274 | 200 17000 119000 | 2147483647 79157 60 | 0.003 % |
1188.25/1188.90 c | 1609026 | 200 17000 119000 | 83883 82297 60 | 0.003 % |
1188.35/1189.02 c | 1609126 | 200 17000 119000 | 83883 82397 60 | 0.003 % |
1188.45/1189.14 c | 1609239 | 200 17000 119000 | 83883 82510 60 | 0.003 % |
1188.55/1189.26 c | 1609363 | 200 17000 119000 | 83883 82634 60 | 0.003 % |
1188.65/1189.38 c | 1609498 | 200 17000 119000 | 83883 82769 60 | 0.003 % |
1188.85/1189.52 c | 1609644 | 200 17000 119000 | 83883 82915 60 | 0.003 % |
1188.95/1189.64 c | 1609805 | 200 17000 119000 | 83883 83076 60 | 0.003 % |
1189.05/1189.79 c | 1609982 | 200 17000 119000 | 83883 83253 60 | 0.003 % |
1189.35/1190.05 c | 1610179 | 200 17000 119000 | 83271 72038 60 | 0.003 % |
1189.55/1190.22 c | 1610392 | 200 17000 119000 | 83271 72251 60 | 0.003 % |
1189.65/1190.38 c | 1610626 | 200 17000 119000 | 83271 72485 60 | 0.003 % |
1189.85/1190.57 c | 1610883 | 200 17000 119000 | 83271 72742 60 | 0.003 % |
1190.15/1190.82 c | 1611164 | 200 17000 119000 | 83271 73023 60 | 0.003 % |
1190.35/1191.08 c | 1611473 | 200 17000 119000 | 83271 73332 60 | 0.003 % |
1190.65/1191.34 c | 1611815 | 200 17000 119000 | 83271 73674 60 | 0.003 % |
1190.95/1191.63 c | 1612187 | 200 17000 119000 | 83271 74046 60 | 0.003 % |
1191.25/1191.96 c | 1612596 | 200 17000 119000 | 83271 74455 60 | 0.003 % |
1191.75/1192.45 c | 1613047 | 200 17000 119000 | 83271 74906 60 | 0.003 % |
1192.15/1192.89 c | 1613544 | 200 17000 119000 | 83271 75403 60 | 0.003 % |
1192.75/1193.40 c | 1614086 | 200 17000 119000 | 83271 75945 60 | 0.003 % |
1193.25/1193.96 c | 1614684 | 200 17000 119000 | 83271 76543 60 | 0.003 % |
1193.75/1194.47 c | 1615339 | 200 17000 119000 | 83271 77198 60 | 0.003 % |
1194.35/1195.06 c | 1616059 | 200 17000 119000 | 83271 77918 59 | 0.003 % |
1195.05/1195.73 c | 1616851 | 200 17000 119000 | 83271 78710 59 | 0.003 % |
1195.85/1196.51 c | 1617722 | 200 17000 119000 | 83271 79581 59 | 0.003 % |
1196.64/1197.36 c | 1618682 | 200 17000 119000 | 83271 80541 59 | 0.003 % |
1197.54/1198.23 c | 1619739 | 200 17000 119000 | 83271 81598 59 | 0.003 % |
1198.54/1199.23 c | 1620900 | 200 17000 119000 | 81861 70277 59 | 0.003 % |
1199.44/1200.19 c | 1622173 | 200 17000 119000 | 81861 71550 59 | 0.003 % |
1200.04/1200.71 HOME/SatELiteGTI: line 36: 15421 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832569-1242784694/watcher-1832569-1242784694 -o /tmp/evaluation-result-1832569-1242784694/solver-1832569-1242784694 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832569-1242784694.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.92 0.98 0.99 3/64 15415
/proc/meminfo: memFree=1684760/2055920 swapFree=4087080/4192956
[pid=15415] ppid=15413 vsize=5356 CPUtime=0
/proc/15415/stat : 15415 (SatELiteGTI) S 15413 15415 15126 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306496926 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 236437864530 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/15415/statm: 1339 235 195 169 0 50 0
[pid=15416] ppid=15415 vsize=5356 CPUtime=0
/proc/15416/stat : 15416 (SatELiteGTI) S 15415 15415 15126 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 306496926 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/15416/statm: 1339 238 198 169 0 50 0
[pid=15418] ppid=15416 vsize=192 CPUtime=0
/proc/15418/stat : 15418 (sed) R 15416 15415 15126 0 -1 4194304 42 0 0 0 0 0 0 0 18 0 1 0 306496926 196608 23 1992294400 4194304 4240196 548682069056 18446744073709551615 236435076373 0 0 4096 0 0 0 0 17 0 0 0
/proc/15418/statm: 48 23 16 11 0 11 0
[startup+0.0852069 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 15415
/proc/meminfo: memFree=1684760/2055920 swapFree=4087080/4192956
[pid=15415] ppid=15413 vsize=5356 CPUtime=0.05
/proc/15415/stat : 15415 (SatELiteGTI) S 15413 15415 15126 0 -1 4194304 336 746 0 0 0 0 5 0 18 0 1 0 306496926 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15415/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356
[startup+0.101203 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 15415
/proc/meminfo: memFree=1684760/2055920 swapFree=4087080/4192956
[pid=15415] ppid=15413 vsize=5356 CPUtime=0.05
/proc/15415/stat : 15415 (SatELiteGTI) S 15413 15415 15126 0 -1 4194304 336 746 0 0 0 0 5 0 18 0 1 0 306496926 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15415/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356
[startup+0.301226 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 15415
/proc/meminfo: memFree=1684760/2055920 swapFree=4087080/4192956
[pid=15415] ppid=15413 vsize=5356 CPUtime=0.05
/proc/15415/stat : 15415 (SatELiteGTI) S 15413 15415 15126 0 -1 4194304 336 746 0 0 0 0 5 0 18 0 1 0 306496926 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15415/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356
[startup+0.701272 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 15415
/proc/meminfo: memFree=1684760/2055920 swapFree=4087080/4192956
[pid=15415] ppid=15413 vsize=5356 CPUtime=0.05
/proc/15415/stat : 15415 (SatELiteGTI) S 15413 15415 15126 0 -1 4194304 336 746 0 0 0 0 5 0 18 0 1 0 306496926 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15415/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356
[startup+1.50136 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 15421
/proc/meminfo: memFree=1680776/2055920 swapFree=4087080/4192956
[pid=15415] ppid=15413 vsize=5356 CPUtime=0.05
/proc/15415/stat : 15415 (SatELiteGTI) S 15413 15415 15126 0 -1 4194304 336 746 0 0 0 0 5 0 18 0 1 0 306496926 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15415/statm: 1339 239 197 169 0 50 0
[pid=15421] ppid=15415 vsize=5064 CPUtime=1.42
/proc/15421/stat : 15421 (minisat_static) R 15415 15415 15126 0 -1 4194304 1028 0 0 0 142 0 0 0 25 0 1 0 306496933 5185536 1014 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/15421/statm: 1266 1014 76 171 0 1093 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10420
[startup+3.10155 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 15421
/proc/meminfo: memFree=1678920/2055920 swapFree=4087080/4192956
[pid=15415] ppid=15413 vsize=5356 CPUtime=0.05
/proc/15415/stat : 15415 (SatELiteGTI) S 15413 15415 15126 0 -1 4194304 336 746 0 0 0 0 5 0 18 0 1 0 306496926 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15415/statm: 1339 239 197 169 0 50 0
[pid=15421] ppid=15415 vsize=7460 CPUtime=3.01
/proc/15421/stat : 15421 (minisat_static) R 15415 15415 15126 0 -1 4194304 1641 0 0 0 301 0 0 0 25 0 1 0 306496933 7639040 1627 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 0 0 0
/proc/15421/statm: 1865 1627 76 171 0 1692 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 12816
[startup+6.30191 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 15421
/proc/meminfo: memFree=1675208/2055920 swapFree=4087080/4192956
[pid=15415] ppid=15413 vsize=5356 CPUtime=0.05
/proc/15415/stat : 15415 (SatELiteGTI) S 15413 15415 15126 0 -1 4194304 336 746 0 0 0 0 5 0 18 0 1 0 306496926 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15415/statm: 1339 239 197 169 0 50 0
[pid=15421] ppid=15415 vsize=10600 CPUtime=6.21
/proc/15421/stat : 15421 (minisat_static) R 15415 15415 15126 0 -1 4194304 2397 0 0 0 620 1 0 0 25 0 1 0 306496933 10854400 2383 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15421/statm: 2650 2383 76 171 0 2477 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 15956
[startup+12.7016 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 15421
/proc/meminfo: memFree=1670728/2055920 swapFree=4087080/4192956
[pid=15415] ppid=15413 vsize=5356 CPUtime=0.05
/proc/15415/stat : 15415 (SatELiteGTI) S 15413 15415 15126 0 -1 4194304 336 746 0 0 0 0 5 0 18 0 1 0 306496926 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15415/statm: 1339 239 197 169 0 50 0
[pid=15421] ppid=15415 vsize=14772 CPUtime=12.6
/proc/15421/stat : 15421 (minisat_static) R 15415 15415 15126 0 -1 4194304 3426 0 0 0 1258 2 0 0 25 0 1 0 306496933 15126528 3412 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15421/statm: 3693 3412 76 171 0 3520 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 20128
[startup+25.5011 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 15421
/proc/meminfo: memFree=1665096/2055920 swapFree=4087080/4192956
[pid=15415] ppid=15413 vsize=5356 CPUtime=0.05
/proc/15415/stat : 15415 (SatELiteGTI) S 15413 15415 15126 0 -1 4194304 336 746 0 0 0 0 5 0 18 0 1 0 306496926 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15415/statm: 1339 239 197 169 0 50 0
[pid=15421] ppid=15415 vsize=20188 CPUtime=25.38
/proc/15421/stat : 15421 (minisat_static) R 15415 15415 15126 0 -1 4194304 4795 0 0 0 2535 3 0 0 25 0 1 0 306496933 20672512 4781 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15421/statm: 5047 4781 76 171 0 4874 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 25544
[startup+51.102 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 15421
/proc/meminfo: memFree=1661704/2055920 swapFree=4087080/4192956
[pid=15415] ppid=15413 vsize=5356 CPUtime=0.05
/proc/15415/stat : 15415 (SatELiteGTI) S 15413 15415 15126 0 -1 4194304 336 746 0 0 0 0 5 0 18 0 1 0 306496926 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15415/statm: 1339 239 197 169 0 50 0
[pid=15421] ppid=15415 vsize=23356 CPUtime=50.96
/proc/15421/stat : 15421 (minisat_static) R 15415 15415 15126 0 -1 4194304 5605 0 0 0 5092 4 0 0 25 0 1 0 306496933 23916544 5591 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/15421/statm: 5839 5591 76 171 0 5666 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 28712
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 15421
/proc/meminfo: memFree=1661448/2055920 swapFree=4087080/4192956
[pid=15415] ppid=15413 vsize=5356 CPUtime=0.05
/proc/15415/stat : 15415 (SatELiteGTI) S 15413 15415 15126 0 -1 4194304 336 746 0 0 0 0 5 0 18 0 1 0 306496926 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15415/statm: 1339 239 197 169 0 50 0
[pid=15421] ppid=15415 vsize=23356 CPUtime=102.12
/proc/15421/stat : 15421 (minisat_static) R 15415 15415 15126 0 -1 4194304 5605 0 0 0 10208 4 0 0 25 0 1 0 306496933 23916544 5591 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/15421/statm: 5839 5591 76 171 0 5666 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 28712
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15421
/proc/meminfo: memFree=1659144/2055920 swapFree=4087080/4192956
[pid=15415] ppid=15413 vsize=5356 CPUtime=0.05
/proc/15415/stat : 15415 (SatELiteGTI) S 15413 15415 15126 0 -1 4194304 336 746 0 0 0 0 5 0 18 0 1 0 306496926 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15415/statm: 1339 239 197 169 0 50 0
[pid=15421] ppid=15415 vsize=25600 CPUtime=162.08
/proc/15421/stat : 15421 (minisat_static) R 15415 15415 15126 0 -1 4194304 6165 0 0 0 16203 5 0 0 25 0 1 0 306496933 26214400 6151 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15421/statm: 6400 6151 76 171 0 6227 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 30956
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15427
/proc/meminfo: memFree=1658888/2055920 swapFree=4087080/4192956
[pid=15415] ppid=15413 vsize=5356 CPUtime=0.05
/proc/15415/stat : 15415 (SatELiteGTI) S 15413 15415 15126 0 -1 4194304 336 746 0 0 0 0 5 0 18 0 1 0 306496926 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15415/statm: 1339 239 197 169 0 50 0
[pid=15421] ppid=15415 vsize=25600 CPUtime=222.05
/proc/15421/stat : 15421 (minisat_static) R 15415 15415 15126 0 -1 4194304 6165 0 0 0 22199 6 0 0 25 0 1 0 306496933 26214400 6151 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15421/statm: 6400 6151 76 171 0 6227 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 30956
[startup+282.301 s]
/proc/loadavg: 1.07 1.01 1.00 2/66 15903
/proc/meminfo: memFree=1616456/2055920 swapFree=4087080/4192956
[pid=15415] ppid=15413 vsize=5356 CPUtime=0.05
/proc/15415/stat : 15415 (SatELiteGTI) S 15413 15415 15126 0 -1 4194304 336 746 0 0 0 0 5 0 18 0 1 0 306496926 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15415/statm: 1339 239 197 169 0 50 0
[pid=15421] ppid=15415 vsize=26392 CPUtime=282.02
/proc/15421/stat : 15421 (minisat_static) R 15415 15415 15126 0 -1 4194304 6367 0 0 0 28194 8 0 0 25 0 1 0 306496933 27025408 6353 1992294400 134512640 135215339 4294956240 18446744073709551615 134528866 0 0 4096 3 0 0 0 17 0 0 0
/proc/15421/statm: 6598 6353 76 171 0 6425 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 31748
[startup+342.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/66 15903
/proc/meminfo: memFree=1616328/2055920 swapFree=4087080/4192956
[pid=15415] ppid=15413 vsize=5356 CPUtime=0.05
/proc/15415/stat : 15415 (SatELiteGTI) S 15413 15415 15126 0 -1 4194304 336 746 0 0 0 0 5 0 18 0 1 0 306496926 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15415/statm: 1339 239 197 169 0 50 0
[pid=15421] ppid=15415 vsize=26392 CPUtime=341.98
/proc/15421/stat : 15421 (minisat_static) R 15415 15415 15126 0 -1 4194304 6367 0 0 0 34190 8 0 0 25 0 1 0 306496933 27025408 6353 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15421/statm: 6598 6353 76 171 0 6425 0
Current children cumulated CPU time (s) 342.03
Current children cumulated vsize (KiB) 31748
[startup+402.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 15903
/proc/meminfo: memFree=1615624/2055920 swapFree=4087080/4192956
[pid=15415] ppid=15413 vsize=5356 CPUtime=0.05
/proc/15415/stat : 15415 (SatELiteGTI) S 15413 15415 15126 0 -1 4194304 336 746 0 0 0 0 5 0 18 0 1 0 306496926 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15415/statm: 1339 239 197 169 0 50 0
[pid=15421] ppid=15415 vsize=27184 CPUtime=401.95
################
# More data... #
################
[pid=15421] ppid=15415 vsize=27184 CPUtime=521.9
/proc/15421/stat : 15421 (minisat_static) R 15415 15415 15126 0 -1 4194304 6554 0 0 0 52182 8 0 0 25 0 1 0 306496933 27836416 6540 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15421/statm: 6796 6540 76 171 0 6623 0
Current children cumulated CPU time (s) 521.95
Current children cumulated vsize (KiB) 32540
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15903
/proc/meminfo: memFree=1614800/2055920 swapFree=4087080/4192956
[pid=15415] ppid=15413 vsize=5356 CPUtime=0.05
/proc/15415/stat : 15415 (SatELiteGTI) S 15413 15415 15126 0 -1 4194304 336 746 0 0 0 0 5 0 18 0 1 0 306496926 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15415/statm: 1339 239 197 169 0 50 0
[pid=15421] ppid=15415 vsize=27712 CPUtime=581.88
/proc/15421/stat : 15421 (minisat_static) R 15415 15415 15126 0 -1 4194304 6694 0 0 0 58179 9 0 0 25 0 1 0 306496933 28377088 6680 1992294400 134512640 135215339 4294956240 18446744073709551615 134529091 0 0 4096 3 0 0 0 17 0 0 0
/proc/15421/statm: 6928 6680 76 171 0 6755 0
Current children cumulated CPU time (s) 581.93
Current children cumulated vsize (KiB) 33068
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15903
/proc/meminfo: memFree=1614480/2055920 swapFree=4087080/4192956
[pid=15415] ppid=15413 vsize=5356 CPUtime=0.05
/proc/15415/stat : 15415 (SatELiteGTI) S 15413 15415 15126 0 -1 4194304 336 746 0 0 0 0 5 0 18 0 1 0 306496926 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15415/statm: 1339 239 197 169 0 50 0
[pid=15421] ppid=15415 vsize=27856 CPUtime=641.85
/proc/15421/stat : 15421 (minisat_static) R 15415 15415 15126 0 -1 4194304 6731 0 0 0 64176 9 0 0 25 0 1 0 306496933 28524544 6717 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15421/statm: 6964 6717 76 171 0 6791 0
Current children cumulated CPU time (s) 641.9
Current children cumulated vsize (KiB) 33212
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15903
/proc/meminfo: memFree=1614224/2055920 swapFree=4087080/4192956
[pid=15415] ppid=15413 vsize=5356 CPUtime=0.05
/proc/15415/stat : 15415 (SatELiteGTI) S 15413 15415 15126 0 -1 4194304 336 746 0 0 0 0 5 0 18 0 1 0 306496926 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15415/statm: 1339 239 197 169 0 50 0
[pid=15421] ppid=15415 vsize=28120 CPUtime=701.82
/proc/15421/stat : 15421 (minisat_static) R 15415 15415 15126 0 -1 4194304 6781 0 0 0 70173 9 0 0 25 0 1 0 306496933 28794880 6767 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/15421/statm: 7030 6767 76 171 0 6857 0
Current children cumulated CPU time (s) 701.87
Current children cumulated vsize (KiB) 33476
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15903
/proc/meminfo: memFree=1614096/2055920 swapFree=4087080/4192956
[pid=15415] ppid=15413 vsize=5356 CPUtime=0.05
/proc/15415/stat : 15415 (SatELiteGTI) S 15413 15415 15126 0 -1 4194304 336 746 0 0 0 0 5 0 18 0 1 0 306496926 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15415/statm: 1339 239 197 169 0 50 0
[pid=15421] ppid=15415 vsize=28120 CPUtime=761.79
/proc/15421/stat : 15421 (minisat_static) R 15415 15415 15126 0 -1 4194304 6796 0 0 0 76170 9 0 0 25 0 1 0 306496933 28794880 6782 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15421/statm: 7030 6782 76 171 0 6857 0
Current children cumulated CPU time (s) 761.84
Current children cumulated vsize (KiB) 33476
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15903
/proc/meminfo: memFree=1613776/2055920 swapFree=4087080/4192956
[pid=15415] ppid=15413 vsize=5356 CPUtime=0.05
/proc/15415/stat : 15415 (SatELiteGTI) S 15413 15415 15126 0 -1 4194304 336 746 0 0 0 0 5 0 18 0 1 0 306496926 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15415/statm: 1339 239 197 169 0 50 0
[pid=15421] ppid=15415 vsize=28392 CPUtime=821.76
/proc/15421/stat : 15421 (minisat_static) R 15415 15415 15126 0 -1 4194304 6837 0 0 0 82167 9 0 0 25 0 1 0 306496933 29073408 6823 1992294400 134512640 135215339 4294956240 18446744073709551615 134528673 0 0 4096 3 0 0 0 17 0 0 0
/proc/15421/statm: 7098 6823 76 171 0 6925 0
Current children cumulated CPU time (s) 821.81
Current children cumulated vsize (KiB) 33748
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15903
/proc/meminfo: memFree=1613712/2055920 swapFree=4087080/4192956
[pid=15415] ppid=15413 vsize=5356 CPUtime=0.05
/proc/15415/stat : 15415 (SatELiteGTI) S 15413 15415 15126 0 -1 4194304 336 746 0 0 0 0 5 0 18 0 1 0 306496926 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15415/statm: 1339 239 197 169 0 50 0
[pid=15421] ppid=15415 vsize=28392 CPUtime=881.74
/proc/15421/stat : 15421 (minisat_static) R 15415 15415 15126 0 -1 4194304 6837 0 0 0 88164 10 0 0 25 0 1 0 306496933 29073408 6823 1992294400 134512640 135215339 4294956240 18446744073709551615 134538920 0 0 4096 3 0 0 0 17 0 0 0
/proc/15421/statm: 7098 6823 76 171 0 6925 0
Current children cumulated CPU time (s) 881.79
Current children cumulated vsize (KiB) 33748
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15903
/proc/meminfo: memFree=1613520/2055920 swapFree=4087080/4192956
[pid=15415] ppid=15413 vsize=5356 CPUtime=0.05
/proc/15415/stat : 15415 (SatELiteGTI) S 15413 15415 15126 0 -1 4194304 336 746 0 0 0 0 5 0 18 0 1 0 306496926 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15415/statm: 1339 239 197 169 0 50 0
[pid=15421] ppid=15415 vsize=28528 CPUtime=941.72
/proc/15421/stat : 15421 (minisat_static) R 15415 15415 15126 0 -1 4194304 6876 0 0 0 94162 10 0 0 25 0 1 0 306496933 29212672 6862 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15421/statm: 7132 6862 76 171 0 6959 0
Current children cumulated CPU time (s) 941.77
Current children cumulated vsize (KiB) 33884
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15903
/proc/meminfo: memFree=1613264/2055920 swapFree=4087080/4192956
[pid=15415] ppid=15413 vsize=5356 CPUtime=0.05
/proc/15415/stat : 15415 (SatELiteGTI) S 15413 15415 15126 0 -1 4194304 336 746 0 0 0 0 5 0 18 0 1 0 306496926 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15415/statm: 1339 239 197 169 0 50 0
[pid=15421] ppid=15415 vsize=28528 CPUtime=1001.69
/proc/15421/stat : 15421 (minisat_static) R 15415 15415 15126 0 -1 4194304 6900 0 0 0 100159 10 0 0 25 0 1 0 306496933 29212672 6886 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15421/statm: 7132 6886 76 171 0 6959 0
Current children cumulated CPU time (s) 1001.74
Current children cumulated vsize (KiB) 33884
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15903
/proc/meminfo: memFree=1613200/2055920 swapFree=4087080/4192956
[pid=15415] ppid=15413 vsize=5356 CPUtime=0.05
/proc/15415/stat : 15415 (SatELiteGTI) S 15413 15415 15126 0 -1 4194304 336 746 0 0 0 0 5 0 18 0 1 0 306496926 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15415/statm: 1339 239 197 169 0 50 0
[pid=15421] ppid=15415 vsize=28528 CPUtime=1061.67
/proc/15421/stat : 15421 (minisat_static) R 15415 15415 15126 0 -1 4194304 6900 0 0 0 106157 10 0 0 25 0 1 0 306496933 29212672 6886 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/15421/statm: 7132 6886 76 171 0 6959 0
Current children cumulated CPU time (s) 1061.72
Current children cumulated vsize (KiB) 33884
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15903
/proc/meminfo: memFree=1613072/2055920 swapFree=4087080/4192956
[pid=15415] ppid=15413 vsize=5356 CPUtime=0.05
/proc/15415/stat : 15415 (SatELiteGTI) S 15413 15415 15126 0 -1 4194304 336 746 0 0 0 0 5 0 18 0 1 0 306496926 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15415/statm: 1339 239 197 169 0 50 0
[pid=15421] ppid=15415 vsize=28660 CPUtime=1121.64
/proc/15421/stat : 15421 (minisat_static) R 15415 15415 15126 0 -1 4194304 6911 0 0 0 112154 10 0 0 25 0 1 0 306496933 29347840 6897 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15421/statm: 7165 6897 76 171 0 6992 0
Current children cumulated CPU time (s) 1121.69
Current children cumulated vsize (KiB) 34016
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15903
/proc/meminfo: memFree=1613008/2055920 swapFree=4087080/4192956
[pid=15415] ppid=15413 vsize=5356 CPUtime=0.05
/proc/15415/stat : 15415 (SatELiteGTI) S 15413 15415 15126 0 -1 4194304 336 746 0 0 0 0 5 0 18 0 1 0 306496926 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15415/statm: 1339 239 197 169 0 50 0
[pid=15421] ppid=15415 vsize=29056 CPUtime=1181.6
/proc/15421/stat : 15421 (minisat_static) R 15415 15415 15126 0 -1 4194304 7013 0 0 0 118150 10 0 0 25 0 1 0 306496933 29753344 6999 1992294400 134512640 135215339 4294956240 18446744073709551615 134534176 0 0 4096 3 0 0 0 17 0 0 0
/proc/15421/statm: 7264 6999 76 171 0 7091 0
Current children cumulated CPU time (s) 1181.65
Current children cumulated vsize (KiB) 34412
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15903
/proc/meminfo: memFree=1612560/2055920 swapFree=4087080/4192956
[pid=15415] ppid=15413 vsize=5356 CPUtime=0.05
/proc/15415/stat : 15415 (SatELiteGTI) S 15413 15415 15126 0 -1 4194304 336 746 0 0 0 0 5 0 18 0 1 0 306496926 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15415/statm: 1339 239 197 169 0 50 0
[pid=15421] ppid=15415 vsize=29192 CPUtime=1199.99
/proc/15421/stat : 15421 (minisat_static) R 15415 15415 15126 0 -1 4194304 7044 0 0 0 119989 10 0 0 25 0 1 0 306496933 29892608 7030 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/15421/statm: 7298 7030 76 171 0 7125 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 34548
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15903
/proc/meminfo: memFree=1612560/2055920 swapFree=4087080/4192956
[pid=15415] ppid=15413 vsize=5356 CPUtime=0.05
/proc/15415/stat : 15415 (SatELiteGTI) S 15413 15415 15126 0 -1 4194304 336 746 0 0 0 0 5 0 18 0 1 0 306496926 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15415/statm: 1339 239 197 169 0 50 0
[pid=15421] ppid=15415 vsize=29192 CPUtime=1199.99
/proc/15421/stat : 15421 (minisat_static) R 15415 15415 15126 0 -1 4194304 7044 0 0 0 119989 10 0 0 25 0 1 0 306496933 29892608 7030 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/15421/statm: 7298 7030 76 171 0 7125 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 34548
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.71
CPU time (s): 1200.08
CPU user time (s): 1199.95
CPU system time (s): 0.124981
CPU usage (%): 99.9471
Max. virtual memory (cumulated for all children) (KiB): 34548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.95
system time used= 0.124981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8135
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= 26
involuntary context switches= 5330
runsolver used 1.26081 second user time and 3.24551 second system time
The end
Begin job on node62 at 2009-05-20 03:58:14
IDJOB=1832569
IDBENCH=70248
IDSOLVER=671
FILE ID=node62/1832569-1242784694
PBS_JOBID= 9322371
Free space on /tmp= 66272 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/200/unif-k7-r85-v200-c17000-S2140929154-062.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832569-1242784694/watcher-1832569-1242784694 -o /tmp/evaluation-result-1832569-1242784694/solver-1832569-1242784694 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832569-1242784694.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d3e388145b1dc90e0d73a294f0c3ce44
RANDOM SEED=121136473
node62.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.220
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.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1685304 kB
Buffers: 26280 kB
Cached: 207840 kB
SwapCached: 99420 kB
Active: 115612 kB
Inactive: 220420 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1685304 kB
SwapTotal: 4192956 kB
SwapFree: 4087080 kB
Dirty: 2132 kB
Writeback: 0 kB
Mapped: 14728 kB
Slab: 20472 kB
Committed_AS: 832868 kB
PageTables: 1476 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66272 MiB
End job on node62 at 2009-05-20 04:18:16