0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 25200 75600 | 7559 0 0 nan | 0.000 % |
0.00/0.08 c | 0 | 25052 76014 | -- 0 -- -- | -- | -148/414
0.00/0.08 c ==============================================================================
0.00/0.08 c Result : #vars: 5862 #clauses: 25052 #literals: 76014
0.00/0.08 c CPU time: 0.072988 s
0.00/0.08 c ==============================================================================
0.00/0.11 c This is MiniSat 2.0 beta
0.00/0.11 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.11 c ============================[ Problem Statistics ]=============================
0.00/0.11 c | |
0.00/0.11 c | Number of variables: 5862 |
0.00/0.11 c | Number of clauses: 25052 |
0.00/0.12 c | Parsing time: 0.01 s |
0.00/0.13 c ============================[ Search Statistics ]==============================
0.00/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.13 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.13 c ===============================================================================
0.00/0.13 c | 0 | 5862 25052 76014 | 8350 0 nan | 0.000 % |
0.00/0.14 c | 100 | 5862 25052 76014 | 8350 100 101 | 0.000 % |
0.00/0.16 c | 203 | 5862 25052 76014 | 8350 203 100 | 0.000 % |
0.00/0.18 c | 303 | 5862 25052 76014 | 8350 303 97 | 0.000 % |
0.00/0.20 c | 413 | 5862 25052 76014 | 8350 413 97 | 0.000 % |
0.09/0.22 c | 513 | 5862 25052 76014 | 8350 513 105 | 0.000 % |
0.09/0.23 c | 623 | 5862 25052 76014 | 8350 623 101 | 0.000 % |
0.09/0.25 c | 744 | 5862 25052 76014 | 8350 744 102 | 0.000 % |
0.09/0.27 c | 846 | 5862 25052 76014 | 8350 846 103 | 0.000 % |
0.09/0.29 c | 956 | 5862 25052 76014 | 8350 956 103 | 0.000 % |
0.09/0.31 c | 1077 | 5862 25052 76014 | 8350 1077 104 | 0.000 % |
0.09/0.33 c | 1210 | 5862 25052 76014 | 8350 1210 105 | 0.000 % |
0.09/0.35 c | 1313 | 5862 25052 76014 | 8350 1313 108 | 0.000 % |
0.09/0.37 c | 1423 | 5862 25052 76014 | 8350 1423 108 | 0.000 % |
0.09/0.40 c | 1544 | 5862 25052 76014 | 8350 1544 108 | 0.000 % |
0.09/0.42 c | 1677 | 5862 25052 76014 | 8350 1677 108 | 0.000 % |
0.09/0.45 c | 1823 | 5862 25052 76014 | 8350 1823 110 | 0.000 % |
0.09/0.47 c | 1924 | 5862 25052 76014 | 8350 1924 109 | 0.000 % |
0.09/0.49 c | 2034 | 5862 25052 76014 | 8350 2034 110 | 0.000 % |
0.09/0.51 c | 2156 | 5862 25052 76014 | 8350 2156 109 | 0.000 % |
0.09/0.53 c | 2289 | 5862 25052 76014 | 8350 2289 109 | 0.000 % |
0.09/0.56 c | 2435 | 5862 25052 76014 | 8350 2435 110 | 0.000 % |
0.09/0.59 c | 2595 | 5862 25052 76014 | 8350 2595 112 | 0.000 % |
0.09/0.61 c | 2695 | 5862 25052 76014 | 8350 2695 112 | 0.000 % |
0.09/0.63 c | 2807 | 5862 25052 76014 | 8350 2807 112 | 0.000 % |
0.09/0.65 c | 2928 | 5862 25052 76014 | 8350 2928 112 | 0.000 % |
0.09/0.68 c | 3061 | 5862 25052 76014 | 8350 3061 112 | 0.000 % |
0.09/0.71 c | 3208 | 5862 25052 76014 | 8350 3208 112 | 0.000 % |
0.09/0.73 c | 3368 | 5862 25052 76014 | 8350 3368 112 | 0.000 % |
0.09/0.77 c | 3549 | 5862 25052 76014 | 8350 3549 111 | 0.000 % |
0.09/0.78 c | 3649 | 5862 25052 76014 | 8350 3649 111 | 0.000 % |
0.09/0.80 c | 3759 | 5862 25052 76014 | 8350 3759 111 | 0.000 % |
0.09/0.83 c | 3880 | 5862 25052 76014 | 8350 3880 112 | 0.000 % |
0.09/0.85 c | 4013 | 5862 25052 76014 | 8350 4013 112 | 0.000 % |
0.09/0.88 c | 4160 | 5862 25052 76014 | 8350 4160 112 | 0.000 % |
0.09/0.91 c | 4320 | 5862 25052 76014 | 8350 4320 112 | 0.000 % |
0.09/0.94 c | 4496 | 5862 25052 76014 | 8350 4496 112 | 0.000 % |
0.09/0.98 c | 4689 | 5862 25052 76014 | 8350 4689 112 | 0.000 % |
0.09/1.00 c | 4790 | 5862 25052 76014 | 8350 4790 113 | 0.000 % |
0.97/1.02 c | 4901 | 5862 25052 76014 | 8350 4901 113 | 0.000 % |
0.97/1.05 c | 5022 | 5862 25052 76014 | 8350 5022 113 | 0.000 % |
0.97/1.08 c | 5155 | 5862 25052 76014 | 8350 5155 114 | 0.000 % |
1.07/1.11 c | 5301 | 5862 25052 76014 | 8350 5301 114 | 0.000 % |
1.07/1.15 c | 5462 | 5862 25052 76014 | 8350 5462 114 | 0.000 % |
1.07/1.18 c | 5638 | 5862 25052 76014 | 8350 5638 114 | 0.000 % |
1.16/1.22 c | 5831 | 5862 25052 76014 | 8350 5831 114 | 0.000 % |
1.16/1.27 c | 6044 | 5862 25052 76014 | 8350 6044 115 | 0.000 % |
1.16/1.29 c | 6145 | 5862 25052 76014 | 8350 6145 115 | 0.000 % |
1.26/1.32 c | 6256 | 5862 25052 76014 | 8350 6256 115 | 0.000 % |
1.26/1.35 c | 6377 | 5862 25052 76014 | 8350 6377 115 | 0.000 % |
1.26/1.38 c | 6510 | 5862 25052 76014 | 8350 6510 115 | 0.000 % |
1.36/1.41 c | 6659 | 5862 25052 76014 | 8350 6659 115 | 0.000 % |
1.36/1.44 c | 6819 | 5862 25052 76014 | 8350 6819 115 | 0.000 % |
1.36/1.48 c | 6996 | 5862 25052 76014 | 8350 6996 115 | 0.000 % |
1.46/1.53 c | 7189 | 5862 25052 76014 | 8350 7189 115 | 0.000 % |
1.46/1.58 c | 7403 | 5862 25052 76014 | 8350 7403 116 | 0.000 % |
1.57/1.63 c | 7637 | 5862 25052 76014 | 8350 7637 115 | 0.000 % |
1.57/1.65 c | 7738 | 5862 25052 76014 | 8350 7738 115 | 0.000 % |
1.57/1.67 c | 7848 | 5862 25052 76014 | 8350 7848 115 | 0.000 % |
1.67/1.70 c | 7970 | 5862 25052 76014 | 8350 7970 115 | 0.000 % |
1.67/1.73 c | 8103 | 5862 25052 76014 | 8350 8103 115 | 0.000 % |
1.67/1.77 c | 8250 | 5862 25052 76014 | 8350 8250 115 | 0.000 % |
1.77/1.80 c | 8411 | 5862 25052 76014 | 8350 8411 115 | 0.000 % |
1.77/1.85 c | 8588 | 5862 25052 76014 | 8350 7747 114 | 0.000 % |
1.77/1.89 c | 8781 | 5862 25052 76014 | 8350 7940 116 | 0.000 % |
1.87/1.94 c | 8996 | 5862 25052 76014 | 8350 8155 115 | 0.000 % |
1.87/1.99 c | 9229 | 5862 25052 76014 | 8350 8388 116 | 0.000 % |
1.97/2.05 c | 9485 | 5862 25052 76014 | 8350 7806 115 | 0.000 % |
1.97/2.08 c | 9588 | 5862 25052 76014 | 8350 7909 115 | 0.000 % |
2.07/2.10 c | 9699 | 5862 25052 76014 | 8350 8020 115 | 0.000 % |
2.07/2.14 c | 9820 | 5862 25052 76014 | 8350 8141 115 | 0.000 % |
2.07/2.17 c | 9953 | 5862 25052 76014 | 8350 8274 115 | 0.000 % |
2.17/2.20 c | 10101 | 5862 25052 76014 | 2147483647 8422 115 | 0.000 % |
2.17/2.24 c | 10265 | 5862 25052 76014 | 2147483647 8586 115 | 0.000 % |
2.17/2.28 c | 10441 | 5862 25052 76014 | 2147483647 8762 115 | 0.000 % |
2.26/2.33 c | 10635 | 5862 25052 76014 | 2147483647 8956 115 | 0.000 % |
2.26/2.38 c | 10847 | 5862 25052 76014 | 2147483647 9168 115 | 0.000 % |
2.36/2.43 c | 11080 | 5862 25052 76014 | 2147483647 9401 115 | 0.000 % |
2.36/2.49 c | 11336 | 5862 25052 76014 | 2147483647 9657 116 | 0.000 % |
2.46/2.56 c | 11618 | 5862 25052 76014 | 2147483647 9939 116 | 0.000 % |
2.46/2.58 c | 11718 | 5862 25052 76014 | 2147483647 10039 116 | 0.000 % |
2.56/2.61 c | 11828 | 5862 25052 76014 | 2147483647 10149 116 | 0.000 % |
2.56/2.64 c | 11949 | 5862 25052 76014 | 2147483647 10270 116 | 0.000 % |
2.56/2.67 c | 12082 | 5862 25052 76014 | 2147483647 10403 116 | 0.000 % |
2.66/2.71 c | 12229 | 5862 25052 76014 | 2147483647 10550 116 | 0.000 % |
2.66/2.76 c | 12392 | 5862 25052 76014 | 2147483647 10713 116 | 0.000 % |
2.76/2.80 c | 12569 | 5862 25052 76014 | 2147483647 10890 116 | 0.000 % |
2.76/2.85 c | 12762 | 5862 25052 76014 | 2147483647 11083 116 | 0.000 % |
2.76/2.90 c | 12975 | 5862 25052 76014 | 2147483647 11296 116 | 0.000 % |
2.86/2.95 c | 13208 | 5862 25052 76014 | 2147483647 11529 116 | 0.000 % |
2.96/3.02 c | 13464 | 5862 25052 76014 | 2147483647 11785 117 | 0.000 % |
2.96/3.09 c | 13745 | 5862 25052 76014 | 2147483647 12066 117 | 0.000 % |
3.06/3.17 c | 14054 | 5862 25052 76014 | 2147483647 12375 118 | 0.000 % |
3.06/3.20 c | 14156 | 5862 25052 76014 | 2147483647 12477 118 | 0.000 % |
3.16/3.23 c | 14266 | 5862 25052 76014 | 2147483647 12587 118 | 0.000 % |
3.16/3.27 c | 14388 | 5862 25052 76014 | 2147483647 12709 118 | 0.000 % |
3.26/3.30 c | 14521 | 5862 25052 76014 | 2147483647 12842 118 | 0.000 % |
3.26/3.35 c | 14669 | 5862 25052 76014 | 2147483647 12990 118 | 0.000 % |
3.26/3.39 c | 14832 | 5862 25052 76014 | 2147483647 13153 118 | 0.000 % |
3.37/3.44 c | 15009 | 5862 25052 76014 | 2147483647 13330 118 | 0.000 % |
3.37/3.49 c | 15202 | 5862 25052 76014 | 2147483647 13523 118 | 0.000 % |
3.46/3.54 c | 15414 | 5862 25052 76014 | 2147483647 13735 119 | 0.000 % |
3.56/3.61 c | 15647 | 5862 25052 76014 | 2147483647 13968 119 | 0.000 % |
3.56/3.68 c | 15903 | 5862 25052 76014 | 2147483647 14224 119 | 0.000 % |
3.66/3.76 c | 16187 | 5862 25052 76014 | 2147483647 14508 119 | 0.000 % |
3.76/3.84 c | 16496 | 5862 25052 76014 | 2147483647 14817 119 | 0.000 % |
3.86/3.93 c | 16836 | 5862 25052 76014 | 2147483647 15157 119 | 0.000 % |
3.86/3.96 c | 16937 | 5862 25052 76014 | 2147483647 15258 119 | 0.000 % |
3.86/4.00 c | 17050 | 5862 25052 76014 | 2147483647 15371 119 | 0.000 % |
3.96/4.03 c | 17173 | 5862 25052 76014 | 2147483647 15494 119 | 0.000 % |
3.96/4.07 c | 17307 | 5862 25052 76014 | 2147483647 15628 119 | 0.000 % |
4.06/4.11 c | 17453 | 5862 25052 76014 | 2147483647 15774 119 | 0.000 % |
4.06/4.16 c | 17615 | 5862 25052 76014 | 2147483647 15936 119 | 0.000 % |
4.16/4.21 c | 17791 | 5862 25052 76014 | 2147483647 16112 119 | 0.000 % |
4.16/4.27 c | 17985 | 5862 25052 76014 | 2147483647 16306 119 | 0.000 % |
4.26/4.33 c | 18200 | 5862 25052 76014 | 2147483647 16521 119 | 0.000 % |
4.26/4.39 c | 18433 | 5862 25052 76014 | 2147483647 16754 119 | 0.000 % |
4.36/4.47 c | 18689 | 5862 25052 76014 | 2147483647 17010 119 | 0.000 % |
4.46/4.55 c | 18974 | 5862 25052 76014 | 2147483647 17295 120 | 0.000 % |
4.56/4.65 c | 19283 | 5862 25052 76014 | 2147483647 17604 120 | 0.000 % |
4.66/4.74 c | 19622 | 5862 25052 76014 | 2147483647 17943 120 | 0.000 % |
4.76/4.85 c | 19994 | 5862 25052 76014 | 2147483647 18315 121 | 0.000 % |
4.76/4.88 c | 20095 | 5862 25052 76014 | 2147483647 18416 120 | 0.000 % |
4.86/4.92 c | 20205 | 5862 25052 76014 | 2147483647 18526 120 | 0.000 % |
4.86/4.96 c | 20326 | 5862 25052 76014 | 2147483647 18647 120 | 0.000 % |
4.86/5.00 c | 20460 | 5862 25052 76014 | 2147483647 18781 120 | 0.000 % |
4.96/5.05 c | 20607 | 5862 25052 76014 | 2147483647 18928 120 | 0.000 % |
4.96/5.10 c | 20768 | 5862 25052 76014 | 2147483647 19089 120 | 0.000 % |
5.06/5.15 c | 20944 | 5862 25052 76014 | 2147483647 19265 120 | 0.000 % |
5.16/5.20 c | 21137 | 5862 25052 76014 | 2147483647 19458 120 | 0.000 % |
5.16/5.27 c | 21351 | 5862 25052 76014 | 2147483647 19672 120 | 0.000 % |
5.26/5.34 c | 21584 | 5862 25052 76014 | 2147483647 19905 120 | 0.000 % |
5.36/5.42 c | 21840 | 5862 25052 76014 | 2147483647 20161 120 | 0.000 % |
5.46/5.51 c | 22121 | 5862 25052 76014 | 2147483647 20442 120 | 0.000 % |
5.55/5.61 c | 22430 | 5862 25052 76014 | 2147483647 20751 120 | 0.000 % |
5.65/5.72 c | 22769 | 5862 25052 76014 | 2147483647 21090 120 | 0.000 % |
5.75/5.85 c | 23143 | 5862 25052 76014 | 2147483647 21464 121 | 0.000 % |
5.86/5.99 c | 23554 | 5862 25052 76014 | 2147483647 21875 121 | 0.000 % |
5.96/6.03 c | 23655 | 5862 25052 76014 | 2147483647 21976 121 | 0.000 % |
5.96/6.07 c | 23767 | 5862 25052 76014 | 2147483647 22088 121 | 0.000 % |
6.06/6.12 c | 23888 | 5862 25052 76014 | 2147483647 22209 121 | 0.000 % |
6.06/6.16 c | 24021 | 5862 25052 76014 | 2147483647 22342 121 | 0.000 % |
6.16/6.21 c | 24171 | 5862 25052 76014 | 2147483647 22492 121 | 0.000 % |
6.16/6.27 c | 24331 | 5862 25052 76014 | 2147483647 22652 121 | 0.000 % |
6.26/6.32 c | 24508 | 5862 25052 76014 | 2147483647 22829 121 | 0.000 % |
6.26/6.39 c | 24701 | 5862 25052 76014 | 2147483647 23022 121 | 0.000 % |
6.36/6.46 c | 24915 | 5862 25052 76014 | 2147483647 23236 121 | 0.000 % |
6.46/6.55 c | 25152 | 5862 25052 76014 | 2147483647 23473 121 | 0.000 % |
6.56/6.64 c | 25408 | 5862 25052 76014 | 2147483647 23729 121 | 0.000 % |
6.65/6.73 c | 25689 | 5862 25052 76014 | 2147483647 24010 121 | 0.000 % |
6.75/6.84 c | 25998 | 5862 25052 76014 | 2147483647 24319 121 | 0.000 % |
6.85/6.95 c | 26338 | 5862 25052 76014 | 2147483647 24659 121 | 0.000 % |
6.95/7.07 c | 26711 | 5862 25052 76014 | 2147483647 25032 121 | 0.000 % |
7.15/7.21 c | 27121 | 5862 25052 76014 | 2147483647 25442 121 | 0.000 % |
7.25/7.35 c | 27570 | 5862 25052 76014 | 2147483647 25891 121 | 0.000 % |
7.25/7.40 c | 27670 | 5862 25052 76014 | 2147483647 25991 121 | 0.000 % |
7.35/7.44 c | 27781 | 5862 25052 76014 | 2147483647 26102 121 | 0.000 % |
7.35/7.49 c | 27904 | 5862 25052 76014 | 2147483647 26225 121 | 0.000 % |
7.45/7.54 c | 28039 | 5862 25052 76014 | 2147483647 26360 121 | 0.000 % |
7.45/7.59 c | 28185 | 5862 25052 76014 | 2147483647 26506 121 | 0.000 % |
7.55/7.65 c | 28346 | 5862 25052 76014 | 2147483647 26667 122 | 0.000 % |
7.65/7.71 c | 28522 | 5862 25052 76014 | 2147483647 26843 122 | 0.000 % |
7.65/7.78 c | 28715 | 5862 25052 76014 | 2147483647 27036 121 | 0.000 % |
7.75/7.86 c | 28928 | 5862 25052 76014 | 2147483647 27249 122 | 0.000 % |
7.86/7.95 c | 29161 | 5862 25052 76014 | 2147483647 27482 122 | 0.000 % |
7.96/8.04 c | 29418 | 5862 25052 76014 | 2147483647 27739 122 | 0.000 % |
8.06/8.15 c | 29699 | 5862 25052 76014 | 2147483647 28020 122 | 0.000 % |
8.16/8.26 c | 30009 | 5862 25052 76014 | 2147483647 28330 122 | 0.000 % |
8.26/8.37 c | 30350 | 5862 25052 76014 | 2147483647 28671 123 | 0.000 % |
8.46/8.51 c | 30722 | 5862 25052 76014 | 2147483647 29043 123 | 0.000 % |
8.55/8.67 c | 31133 | 5862 25052 76014 | 2147483647 29454 123 | 0.000 % |
8.76/8.83 c | 31582 | 5862 25052 76014 | 2147483647 29903 123 | 0.000 % |
8.95/9.02 c | 32077 | 5862 25052 76014 | 2147483647 30398 123 | 0.000 % |
8.95/9.06 c | 32177 | 5862 25052 76014 | 2147483647 30498 123 | 0.000 % |
9.05/9.11 c | 32287 | 5862 25052 76014 | 2147483647 30608 123 | 0.000 % |
9.05/9.16 c | 32409 | 5862 25052 76014 | 2147483647 30730 123 | 0.000 % |
9.15/9.22 c | 32547 | 5862 25052 76014 | 2147483647 30868 123 | 0.000 % |
9.15/9.29 c | 32693 | 5862 25052 76014 | 2147483647 31014 123 | 0.000 % |
9.25/9.36 c | 32855 | 5862 25052 76014 | 2147483647 31176 123 | 0.000 % |
9.35/9.43 c | 33033 | 5862 25052 76014 | 2147483647 31354 123 | 0.000 % |
9.45/9.51 c | 33227 | 5862 25052 76014 | 2147483647 31548 123 | 0.000 % |
9.45/9.59 c | 33440 | 5862 25052 76014 | 2147483647 31761 123 | 0.000 % |
9.55/9.67 c | 33674 | 5862 25052 76014 | 2147483647 31995 123 | 0.000 % |
9.65/9.78 c | 33930 | 5862 25052 76014 | 2147483647 32251 123 | 0.000 % |
9.75/9.90 c | 34213 | 5862 25052 76014 | 2147483647 32534 123 | 0.000 % |
9.95/10.01 c | 34524 | 5862 25052 76014 | 2147483647 32845 123 | 0.000 % |
10.05/10.15 c | 34865 | 5862 25052 76014 | 2147483647 33186 123 | 0.000 % |
10.15/10.29 c | 35237 | 5862 25052 76014 | 2147483647 33558 123 | 0.000 % |
10.35/10.46 c | 35648 | 5862 25052 76014 | 2147483647 33969 124 | 0.000 % |
10.54/10.62 c | 36098 | 5862 25052 76014 | 2147483647 34419 124 | 0.000 % |
10.75/10.83 c | 36591 | 5862 25052 76014 | 2147483647 34912 124 | 0.000 % |
10.96/11.05 c | 37133 | 5862 25052 76014 | 2147483647 35454 124 | 0.000 % |
11.05/11.11 c | 37234 | 5862 25052 76014 | 2147483647 35555 124 | 0.000 % |
11.05/11.16 c | 37345 | 5862 25052 76014 | 2147483647 35666 125 | 0.000 % |
11.15/11.21 c | 37466 | 5862 25052 76014 | 2147483647 35787 125 | 0.000 % |
11.15/11.27 c | 37600 | 5862 25052 76014 | 2147483647 35921 124 | 0.000 % |
11.25/11.34 c | 37748 | 5862 25052 76014 | 2147483647 36069 124 | 0.000 % |
11.35/11.41 c | 37908 | 5862 25052 76014 | 2147483647 36229 124 | 0.000 % |
11.35/11.49 c | 38086 | 5862 25052 76014 | 2147483647 36407 124 | 0.000 % |
11.45/11.58 c | 38279 | 5862 25052 76014 | 2147483647 36600 124 | 0.000 % |
11.55/11.67 c | 38491 | 5862 25052 76014 | 2147483647 36812 124 | 0.000 % |
11.65/11.75 c | 38724 | 5862 25052 76014 | 2147483647 37045 124 | 0.000 % |
11.75/11.86 c | 38981 | 5862 25052 76014 | 2147483647 37302 124 | 0.000 % |
11.85/11.98 c | 39262 | 5862 25052 76014 | 2147483647 37583 124 | 0.000 % |
11.95/12.10 c | 39571 | 5862 25052 76014 | 2147483647 37892 124 | 0.000 % |
12.15/12.24 c | 39912 | 5862 25052 76014 | 2147483647 38233 124 | 0.000 % |
12.25/12.39 c | 40285 | 5862 25052 76014 | 2147483647 38606 125 | 0.000 % |
12.45/12.55 c | 40694 | 5862 25052 76014 | 2147483647 39015 125 | 0.000 % |
12.65/12.75 c | 41144 | 5862 25052 76014 | 2147483647 39465 125 | 0.000 % |
12.85/12.95 c | 41637 | 5862 25052 76014 | 2147483647 39958 125 | 0.000 % |
13.05/13.19 c | 42179 | 5862 25052 76014 | 2147483647 40500 125 | 0.000 % |
13.34/13.46 c | 42775 | 5862 25052 76014 | 2147483647 41096 125 | 0.000 % |
13.44/13.51 c | 42876 | 5862 25052 76014 | 2147483647 41197 125 | 0.000 % |
13.44/13.56 c | 42986 | 5862 25052 76014 | 2147483647 41307 125 | 0.000 % |
13.54/13.62 c | 43107 | 5862 25052 76014 | 2147483647 41428 125 | 0.000 % |
13.54/13.68 c | 43241 | 5862 25052 76014 | 2147483647 41562 125 | 0.000 % |
13.64/13.75 c | 43387 | 5862 25052 76014 | 2147483647 41708 125 | 0.000 % |
13.74/13.83 c | 43547 | 5862 25052 76014 | 2147483647 41868 125 | 0.000 % |
13.84/13.92 c | 43725 | 5862 25052 76014 | 2147483647 42046 125 | 0.000 % |
13.94/14.00 c | 43918 | 5862 25052 76014 | 2147483647 42239 125 | 0.000 % |
14.04/14.11 c | 44131 | 5862 25052 76014 | 2147483647 42452 125 | 0.000 % |
14.14/14.21 c | 44364 | 5862 25052 76014 | 2147483647 42685 125 | 0.000 % |
14.24/14.32 c | 44623 | 5862 25052 76014 | 2147483647 42944 125 | 0.000 % |
14.34/14.45 c | 44906 | 5862 25052 76014 | 2147483647 43227 125 | 0.000 % |
14.44/14.59 c | 45215 | 5862 25052 76014 | 2147483647 43536 125 | 0.000 % |
14.64/14.74 c | 45556 | 5862 25052 76014 | 2147483647 43877 125 | 0.000 % |
14.84/14.93 c | 45929 | 5862 25052 76014 | 2147483647 44250 125 | 0.000 % |
15.04/15.13 c | 46340 | 5862 25052 76014 | 2147483647 44661 125 | 0.000 % |
15.24/15.32 c | 46790 | 5862 25052 76014 | 2147483647 45111 126 | 0.000 % |
15.44/15.54 c | 47287 | 5862 25052 76014 | 2147483647 45608 126 | 0.000 % |
15.64/15.78 c | 47829 | 5862 25052 76014 | 2147483647 46150 127 | 0.000 % |
15.94/16.06 c | 48426 | 5862 25052 76014 | 2147483647 46747 127 | 0.000 % |
16.24/16.38 c | 49082 | 5862 25052 76014 | 2147483647 47403 127 | 0.000 % |
16.35/16.43 c | 49182 | 5862 25052 76014 | 2147483647 47503 127 | 0.000 % |
16.35/16.49 c | 49293 | 5862 25052 76014 | 2147483647 47614 127 | 0.000 % |
16.45/16.55 c | 49416 | 5862 25052 76014 | 2147483647 47737 127 | 0.000 % |
16.54/16.62 c | 49549 | 5862 25052 76014 | 2147483647 47870 127 | 0.000 % |
16.64/16.70 c | 49697 | 5862 25052 76014 | 2147483647 48018 127 | 0.000 % |
16.64/16.78 c | 49857 | 5862 25052 76014 | 2147483647 48178 127 | 0.000 % |
16.74/16.87 c | 50033 | 5862 25052 76014 | 2147483647 48354 127 | 0.000 % |
16.84/16.97 c | 50226 | 5862 25052 76014 | 2147483647 48547 127 | 0.000 % |
16.94/17.08 c | 50438 | 5862 25052 76014 | 2147483647 48759 127 | 0.000 % |
17.14/17.20 c | 50671 | 5862 25052 76014 | 2147483647 48992 127 | 0.000 % |
17.24/17.32 c | 50927 | 5862 25052 76014 | 2147483647 49248 127 | 0.000 % |
17.34/17.46 c | 51208 | 5862 25052 76014 | 2147483647 49529 127 | 0.000 % |
17.54/17.61 c | 51518 | 5862 25052 76014 | 2147483647 49839 127 | 0.000 % |
17.64/17.79 c | 51858 | 5862 25052 76014 | 2147483647 50179 127 | 0.000 % |
17.84/17.95 c | 52232 | 5862 25052 76014 | 2147483647 50553 127 | 0.000 % |
18.04/18.17 c | 52641 | 5862 25052 76014 | 2147483647 50962 127 | 0.000 % |
18.23/18.39 c | 53091 | 5862 25052 76014 | 2147483647 51412 126 | 0.000 % |
18.54/18.63 c | 53585 | 5862 25052 76014 | 2147483647 51906 127 | 0.000 % |
18.83/18.91 c | 54127 | 5862 25052 76014 | 2147483647 52448 127 | 0.000 % |
19.13/19.20 c | 54724 | 5862 25052 76014 | 2147483647 53045 127 | 0.000 % |
19.44/19.53 c | 55380 | 5862 25052 76014 | 2147483647 53701 127 | 0.000 % |
19.75/19.89 c | 56101 | 5862 25052 76014 | 2147483647 54422 128 | 0.000 % |
19.84/19.95 c | 56203 | 5862 25052 76014 | 2147483647 54524 128 | 0.000 % |
19.94/20.01 c | 56313 | 5862 25052 76014 | 2147483647 54634 127 | 0.000 % |
19.94/20.08 c | 56436 | 5862 25052 76014 | 2147483647 54757 127 | 0.000 % |
20.04/20.16 c | 56569 | 5862 25052 76014 | 2147483647 54890 127 | 0.000 % |
20.14/20.25 c | 56715 | 5862 25052 76014 | 2147483647 55036 127 | 0.000 % |
20.24/20.33 c | 56875 | 5862 25052 76014 | 2147483647 55196 127 | 0.000 % |
20.34/20.43 c | 57051 | 5862 25052 76014 | 2147483647 55372 127 | 0.000 % |
20.44/20.55 c | 57245 | 5862 25052 76014 | 2147483647 55566 127 | 0.000 % |
20.54/20.66 c | 57458 | 5862 25052 76014 | 2147483647 55779 127 | 0.000 % |
20.64/20.79 c | 57691 | 5862 25052 76014 | 2147483647 56012 127 | 0.000 % |
20.84/20.93 c | 57947 | 5862 25052 76014 | 2147483647 56268 127 | 0.000 % |
20.93/21.08 c | 58229 | 5862 25052 76014 | 2147483647 56550 127 | 0.000 % |
21.13/21.24 c | 58539 | 5862 25052 76014 | 2147483647 56860 127 | 0.000 % |
21.33/21.43 c | 58878 | 5862 25052 76014 | 2147483647 57199 127 | 0.000 % |
21.53/21.63 c | 59251 | 5862 25052 76014 | 2147483647 57572 127 | 0.000 % |
21.73/21.85 c | 59661 | 5862 25052 76014 | 2147483647 57982 127 | 0.000 % |
21.94/22.08 c | 60110 | 5862 25052 76014 | 2147483647 58431 127 | 0.000 % |
22.23/22.34 c | 60603 | 5862 25052 76014 | 2147483647 58924 127 | 0.000 % |
22.53/22.63 c | 61146 | 5862 25052 76014 | 2147483647 59467 127 | 0.000 % |
22.83/22.93 c | 61744 | 5862 25052 76014 | 2147483647 60065 127 | 0.000 % |
23.13/23.28 c | 62399 | 5862 25052 76014 | 2147483647 60720 127 | 0.000 % |
23.53/23.67 c | 63119 | 5862 25052 76014 | 2147483647 61440 128 | 0.000 % |
23.93/24.10 c | 63912 | 5862 25052 76014 | 2147483647 62233 128 | 0.000 % |
24.03/24.16 c | 64012 | 5862 25052 76014 | 2147483647 62333 128 | 0.000 % |
24.13/24.24 c | 64122 | 5862 25052 76014 | 2147483647 62443 128 | 0.000 % |
24.23/24.32 c | 64243 | 5862 25052 76014 | 2147483647 62564 128 | 0.000 % |
24.23/24.39 c | 64378 | 5862 25052 76014 | 2147483647 62699 128 | 0.000 % |
24.33/24.49 c | 64526 | 5862 25052 76014 | 2147483647 62847 128 | 0.000 % |
24.43/24.59 c | 64687 | 5862 25052 76014 | 2147483647 63008 128 | 0.000 % |
24.64/24.70 c | 64866 | 5862 25052 76014 | 2147483647 63187 128 | 0.000 % |
24.73/24.81 c | 65059 | 5862 25052 76014 | 2147483647 63380 128 | 0.000 % |
24.83/24.95 c | 65272 | 5862 25052 76014 | 2147483647 63593 128 | 0.000 % |
24.93/25.08 c | 65507 | 5862 25052 76014 | 2147483647 63828 128 | 0.000 % |
25.14/25.25 c | 65763 | 5862 25052 76014 | 2147483647 64084 128 | 0.000 % |
25.33/25.41 c | 66046 | 5862 25052 76014 | 2147483647 64367 128 | 0.000 % |
25.53/25.61 c | 66355 | 5862 25052 76014 | 2147483647 64676 128 | 0.000 % |
25.63/25.79 c | 66694 | 5862 25052 76014 | 2147483647 65015 128 | 0.000 % |
25.93/26.01 c | 67066 | 5862 25052 76014 | 2147483647 65387 128 | 0.000 % |
26.13/26.25 c | 67476 | 5862 25052 76014 | 2147483647 65797 128 | 0.000 % |
26.43/26.50 c | 67925 | 5862 25052 76014 | 2147483647 66246 128 | 0.000 % |
26.63/26.76 c | 68418 | 5862 25052 76014 | 2147483647 66739 127 | 0.000 % |
26.93/27.08 c | 68960 | 5862 25052 76014 | 2147483647 67281 128 | 0.000 % |
27.33/27.40 c | 69556 | 5862 25052 76014 | 2147483647 67877 127 | 0.000 % |
27.72/27.82 c | 70212 | 5862 25052 76014 | 2147483647 68533 128 | 0.000 % |
28.13/28.25 c | 70932 | 5862 25052 76014 | 2147483647 69253 128 | 0.000 % |
28.63/28.70 c | 71727 | 5862 25052 76014 | 2147483647 70048 128 | 0.000 % |
29.03/29.18 c | 72598 | 5862 25052 76014 | 2147483647 70919 128 | 0.000 % |
29.13/29.26 c | 72698 | 5862 25052 76014 | 2147483647 71019 128 | 0.000 % |
29.23/29.34 c | 72808 | 5862 25052 76014 | 2147483647 71129 128 | 0.000 % |
29.33/29.42 c | 72929 | 5862 25052 76014 | 2147483647 71250 128 | 0.000 % |
29.43/29.51 c | 73062 | 5862 25052 76014 | 2147483647 71383 128 | 0.000 % |
29.53/29.61 c | 73208 | 5862 25052 76014 | 2147483647 71529 128 | 0.000 % |
29.63/29.71 c | 73370 | 5862 25052 76014 | 2147483647 71691 128 | 0.000 % |
29.72/29.83 c | 73546 | 5862 25052 76014 | 2147483647 71867 128 | 0.000 % |
29.82/29.96 c | 73740 | 5862 25052 76014 | 2147483647 72061 128 | 0.000 % |
30.02/30.10 c | 73952 | 5862 25052 76014 | 2147483647 72273 128 | 0.000 % |
30.12/30.25 c | 74185 | 5862 25052 76014 | 2147483647 72506 128 | 0.000 % |
30.32/30.40 c | 74442 | 5862 25052 76014 | 2147483647 72763 128 | 0.000 % |
30.42/30.59 c | 74723 | 5862 25052 76014 | 2147483647 73044 128 | 0.000 % |
30.63/30.79 c | 75033 | 5862 25052 76014 | 2147483647 73354 128 | 0.000 % |
30.93/31.02 c | 75377 | 5862 25052 76014 | 2147483647 73698 128 | 0.000 % |
31.13/31.25 c | 75749 | 5862 25052 76014 | 2147483647 74070 128 | 0.000 % |
31.43/31.54 c | 76159 | 5862 25052 76014 | 2147483647 74480 128 | 0.000 % |
31.73/31.82 c | 76609 | 5862 25052 76014 | 2147483647 74930 128 | 0.000 % |
32.03/32.15 c | 77102 | 5862 25052 76014 | 2147483647 75423 128 | 0.000 % |
32.33/32.49 c | 77645 | 5862 25052 76014 | 2147483647 75966 128 | 0.000 % |
32.73/32.90 c | 78241 | 5862 25052 76014 | 2147483647 76562 128 | 0.000 % |
33.23/33.33 c | 78897 | 5862 25052 76014 | 2147483647 77218 128 | 0.000 % |
33.63/33.78 c | 79618 | 5862 25052 76014 | 2147483647 77939 128 | 0.000 % |
34.12/34.29 c | 80411 | 5862 25052 76014 | 2147483647 78732 129 | 0.000 % |
34.72/34.85 c | 81283 | 5862 25052 76014 | 2147483647 79604 128 | 0.000 % |
35.32/35.43 c | 82241 | 5862 25052 76014 | 2147483647 80562 129 | 0.000 % |
35.32/35.50 c | 82342 | 5862 25052 76014 | 2147483647 80663 129 | 0.000 % |
35.42/35.58 c | 82452 | 5862 25052 76014 | 2147483647 80773 129 | 0.000 % |
35.52/35.68 c | 82573 | 5862 25052 76014 | 2147483647 80894 129 | 0.000 % |
35.62/35.79 c | 82707 | 5862 25052 76014 | 2147483647 81028 129 | 0.000 % |
35.72/35.89 c | 82853 | 5862 25052 76014 | 2147483647 81174 129 | 0.000 % |
35.92/36.01 c | 83013 | 5862 25052 76014 | 2147483647 81334 129 | 0.000 % |
36.02/36.15 c | 83189 | 5862 25052 76014 | 2147483647 81510 129 | 0.000 % |
36.12/36.29 c | 83384 | 5862 25052 76014 | 2147483647 81705 129 | 0.000 % |
36.32/36.44 c | 83597 | 5862 25052 76014 | 2147483647 81918 129 | 0.000 % |
36.52/36.62 c | 83833 | 5862 25052 76014 | 2147483647 82154 129 | 0.000 % |
36.72/36.80 c | 84089 | 5862 25052 76014 | 2147483647 82410 129 | 0.000 % |
36.92/37.00 c | 84370 | 5862 25052 76014 | 2147483647 82691 129 | 0.000 % |
37.12/37.22 c | 84684 | 5862 25052 76014 | 2147483647 83005 129 | 0.000 % |
37.32/37.46 c | 85024 | 5862 25052 76014 | 2147483647 83345 129 | 0.000 % |
37.62/37.73 c | 85398 | 5862 25052 76014 | 2147483647 83719 129 | 0.000 % |
37.92/38.02 c | 85809 | 5862 25052 76014 | 2147483647 84130 129 | 0.000 % |
38.22/38.32 c | 86258 | 5862 25052 76014 | 2147483647 84579 129 | 0.000 % |
38.52/38.68 c | 86753 | 5862 25052 76014 | 2147483647 85074 129 | 0.000 % |
38.92/39.04 c | 87295 | 5862 25052 76014 | 2147483647 85616 129 | 0.000 % |
39.32/39.45 c | 87892 | 5862 25052 76014 | 2147483647 86213 129 | 0.000 % |
39.81/39.90 c | 88549 | 5862 25052 76014 | 2147483647 86870 129 | 0.000 % |
40.32/40.42 c | 89271 | 5862 25052 76014 | 2147483647 87592 129 | 0.000 % |
40.92/41.03 c | 90063 | 5862 25052 76014 | 2147483647 88384 129 | 0.000 % |
41.52/41.66 c | 90934 | 5862 25052 76014 | 2147483647 89255 129 | 0.000 % |
42.22/42.30 c | 91892 | 5862 25052 76014 | 2147483647 90213 129 | 0.000 % |
42.91/43.02 c | 92947 | 5862 25052 76014 | 2147483647 91268 129 | 0.000 % |
43.01/43.11 c | 93047 | 5862 25052 76014 | 2147483647 91368 129 | 0.000 % |
43.11/43.21 c | 93158 | 5862 25052 76014 | 2147483647 91479 129 | 0.000 % |
43.21/43.31 c | 93279 | 5862 25052 76014 | 2147483647 91600 129 | 0.000 % |
43.31/43.41 c | 93416 | 5862 25052 76014 | 2147483647 91737 129 | 0.000 % |
43.41/43.54 c | 93562 | 5862 25052 76014 | 2147483647 91883 129 | 0.000 % |
43.51/43.68 c | 93722 | 5862 25052 76014 | 2147483647 92043 129 | 0.000 % |
43.71/43.82 c | 93898 | 5862 25052 76014 | 2147483647 92219 129 | 0.000 % |
43.82/43.98 c | 94092 | 5862 25052 76014 | 2147483647 92413 129 | 0.000 % |
44.02/44.16 c | 94304 | 5862 25052 76014 | 2147483647 92625 129 | 0.000 % |
44.22/44.34 c | 94537 | 5862 25052 76014 | 2147483647 92858 129 | 0.000 % |
44.42/44.55 c | 94794 | 5862 25052 76014 | 2147483647 93115 129 | 0.000 % |
44.62/44.78 c | 95075 | 5862 25052 76014 | 2147483647 93396 129 | 0.000 % |
44.92/45.03 c | 95385 | 5862 25052 76014 | 2147483647 93706 129 | 0.000 % |
45.12/45.28 c | 95726 | 5862 25052 76014 | 2147483647 94047 129 | 0.000 % |
45.42/45.56 c | 96098 | 5862 25052 76014 | 2147483647 94419 129 | 0.000 % |
45.82/45.91 c | 96509 | 5862 25052 76014 | 2147483647 94830 129 | 0.000 % |
46.12/46.26 c | 96958 | 5862 25052 76014 | 2147483647 95279 129 | 0.000 % |
46.52/46.64 c | 97452 | 5862 25052 76014 | 2147483647 95773 130 | 0.000 % |
46.91/47.05 c | 97995 | 5862 25052 76014 | 2147483647 96316 130 | 0.000 % |
47.31/47.48 c | 98591 | 5862 25052 76014 | 2147483647 96912 130 | 0.000 % |
47.91/48.01 c | 99246 | 5862 25052 76014 | 2147483647 97567 130 | 0.000 % |
48.41/48.54 c | 99966 | 5862 25052 76014 | 2147483647 98287 130 | 0.000 % |
49.01/49.14 c | 100760 | 5862 25052 76014 | 2147483647 99081 130 | 0.000 % |
49.71/49.82 c | 101631 | 5862 25052 76014 | 2147483647 99952 130 | 0.000 % |
50.51/50.61 c | 102589 | 5862 25052 76014 | 2147483647 100910 131 | 0.000 % |
51.31/51.44 c | 103642 | 5862 25052 76014 | 2147483647 101963 131 | 0.000 % |
52.21/52.39 c | 104803 | 5862 25052 76014 | 2147483647 103124 131 | 0.000 % |
52.31/52.48 c | 104903 | 5862 25052 76014 | 2147483647 103224 131 | 0.000 % |
52.41/52.59 c | 105013 | 5862 25052 76014 | 2147483647 103334 131 | 0.000 % |
52.62/52.71 c | 105135 | 5862 25052 76014 | 2147483647 103456 131 | 0.000 % |
52.72/52.83 c | 105268 | 5862 25052 76014 | 2147483647 103589 131 | 0.000 % |
52.81/52.96 c | 105415 | 5862 25052 76014 | 2147483647 103736 131 | 0.000 % |
53.01/53.10 c | 105575 | 5862 25052 76014 | 2147483647 103896 131 | 0.000 % |
53.11/53.27 c | 105751 | 5862 25052 76014 | 2147483647 104072 131 | 0.000 % |
53.31/53.44 c | 105944 | 5862 25052 76014 | 2147483647 104265 131 | 0.000 % |
53.51/53.65 c | 106156 | 5862 25052 76014 | 2147483647 104477 131 | 0.000 % |
53.72/53.84 c | 106389 | 5862 25052 76014 | 2147483647 104710 131 | 0.000 % |
53.91/54.08 c | 106646 | 5862 25052 76014 | 2147483647 104967 131 | 0.000 % |
54.21/54.32 c | 106927 | 5862 25052 76014 | 2147483647 105248 131 | 0.000 % |
54.51/54.61 c | 107236 | 5862 25052 76014 | 2147483647 105557 131 | 0.000 % |
54.71/54.89 c | 107575 | 5862 25052 76014 | 2147483647 105896 131 | 0.000 % |
55.11/55.22 c | 107948 | 5862 25052 76014 | 2147483647 106269 131 | 0.000 % |
55.41/55.57 c | 108358 | 5862 25052 76014 | 2147483647 106679 131 | 0.000 % |
55.81/55.93 c | 108807 | 5862 25052 76014 | 2147483647 107128 131 | 0.000 % |
56.21/56.36 c | 109300 | 5862 25052 76014 | 2147483647 107621 131 | 0.000 % |
56.71/56.86 c | 109842 | 5862 25052 76014 | 2147483647 108163 131 | 0.000 % |
57.21/57.34 c | 110438 | 5862 25052 76014 | 2147483647 108759 131 | 0.000 % |
57.70/57.87 c | 111093 | 5862 25052 76014 | 2147483647 109414 131 | 0.000 % |
58.30/58.46 c | 111813 | 5862 25052 76014 | 2147483647 110134 131 | 0.000 % |
59.01/59.11 c | 112606 | 5862 25052 76014 | 2147483647 110927 131 | 0.000 % |
59.61/59.77 c | 113477 | 5862 25052 76014 | 2147483647 111798 131 | 0.000 % |
60.41/60.52 c | 114435 | 5862 25052 76014 | 2147483647 112756 131 | 0.000 % |
61.30/61.46 c | 115488 | 5862 25052 76014 | 2147483647 113809 131 | 0.000 % |
62.20/62.38 c | 116646 | 5862 25052 76014 | 2147483647 114967 131 | 0.000 % |
63.31/63.45 c | 117919 | 5862 25052 76014 | 2147483647 116240 132 | 0.000 % |
63.41/63.56 c | 118020 | 5862 25052 76014 | 2147483647 116341 132 | 0.000 % |
63.51/63.67 c | 118131 | 5862 25052 76014 | 2147483647 116452 132 | 0.000 % |
63.71/63.80 c | 118252 | 5862 25052 76014 | 2147483647 116573 132 | 0.000 % |
63.80/63.95 c | 118386 | 5862 25052 76014 | 2147483647 116707 132 | 0.000 % |
63.90/64.09 c | 118532 | 5862 25052 76014 | 2147483647 116853 132 | 0.000 % |
64.10/64.26 c | 118695 | 5862 25052 76014 | 2147483647 117016 132 | 0.000 % |
64.30/64.43 c | 118871 | 5862 25052 76014 | 2147483647 117192 132 | 0.000 % |
64.50/64.65 c | 119065 | 5862 25052 76014 | 2147483647 117386 132 | 0.000 % |
64.71/64.87 c | 119278 | 5862 25052 76014 | 2147483647 117599 131 | 0.000 % |
64.90/65.08 c | 119512 | 5862 25052 76014 | 2147483647 117833 131 | 0.000 % |
65.20/65.34 c | 119769 | 5862 25052 76014 | 2147483647 118090 131 | 0.000 % |
65.50/65.61 c | 120051 | 5862 25052 76014 | 2147483647 118372 131 | 0.000 % |
65.80/65.92 c | 120361 | 5862 25052 76014 | 2147483647 118682 131 | 0.000 % |
66.10/66.26 c | 120701 | 5862 25052 76014 | 2147483647 119022 131 | 0.000 % |
66.50/66.61 c | 121075 | 5862 25052 76014 | 2147483647 119396 131 | 0.000 % |
66.90/67.02 c | 121485 | 5862 25052 76014 | 2147483647 119806 131 | 0.000 % |
67.30/67.46 c | 121935 | 5862 25052 76014 | 2147483647 120256 131 | 0.000 % |
67.79/67.91 c | 122429 | 5862 25052 76014 | 2147483647 120750 131 | 0.000 % |
68.19/68.37 c | 122971 | 5862 25052 76014 | 2147483647 121292 131 | 0.000 % |
68.79/68.92 c | 123567 | 5862 25052 76014 | 2147483647 121888 131 | 0.000 % |
69.40/69.52 c | 124222 | 5862 25052 76014 | 2147483647 122543 132 | 0.000 % |
70.10/70.20 c | 124942 | 5862 25052 76014 | 2147483647 123263 132 | 0.000 % |
70.80/70.93 c | 125734 | 5862 25052 76014 | 2147483647 124055 132 | 0.000 % |
71.60/71.75 c | 126605 | 5862 25052 76014 | 2147483647 124926 132 | 0.000 % |
72.50/72.62 c | 127564 | 5862 25052 76014 | 2147483647 125885 132 | 0.000 % |
73.50/73.66 c | 128618 | 5862 25052 76014 | 2147483647 126939 132 | 0.000 % |
74.60/74.77 c | 129776 | 5862 25052 76014 | 2147483647 128097 132 | 0.000 % |
75.70/75.89 c | 131049 | 5862 25052 76014 | 2147483647 129370 132 | 0.000 % |
76.99/77.18 c | 132449 | 5862 25052 76014 | 2147483647 130770 132 | 0.000 % |
77.09/77.29 c | 132549 | 5862 25052 76014 | 2147483647 130870 132 | 0.000 % |
77.29/77.43 c | 132661 | 5862 25052 76014 | 2147483647 130982 132 | 0.000 % |
77.39/77.56 c | 132782 | 5862 25052 76014 | 2147483647 131103 132 | 0.000 % |
77.59/77.71 c | 132915 | 5862 25052 76014 | 2147483647 131236 132 | 0.000 % |
77.69/77.89 c | 133065 | 5862 25052 76014 | 2147483647 131386 132 | 0.000 % |
78.00/78.10 c | 133226 | 5862 25052 76014 | 2147483647 131547 132 | 0.000 % |
78.19/78.31 c | 133403 | 5862 25052 76014 | 2147483647 131724 132 | 0.000 % |
78.39/78.53 c | 133598 | 5862 25052 76014 | 2147483647 131919 132 | 0.000 % |
78.59/78.76 c | 133811 | 5862 25052 76014 | 2147483647 132132 132 | 0.000 % |
78.79/79.00 c | 134048 | 5862 25052 76014 | 2147483647 132369 132 | 0.000 % |
79.10/79.28 c | 134306 | 5862 25052 76014 | 2147483647 132627 132 | 0.000 % |
79.39/79.59 c | 134590 | 5862 25052 76014 | 2147483647 132911 132 | 0.000 % |
79.79/79.94 c | 134900 | 5862 25052 76014 | 2147483647 133221 132 | 0.000 % |
80.09/80.28 c | 135241 | 5862 25052 76014 | 2147483647 133562 132 | 0.000 % |
80.50/80.64 c | 135613 | 5862 25052 76014 | 2147483647 133934 132 | 0.000 % |
80.90/81.07 c | 136022 | 5862 25052 76014 | 2147483647 134343 132 | 0.000 % |
81.40/81.56 c | 136471 | 5862 25052 76014 | 2147483647 134792 132 | 0.000 % |
81.80/81.99 c | 136965 | 5862 25052 76014 | 2147483647 135286 132 | 0.000 % |
82.40/82.54 c | 137507 | 5862 25052 76014 | 2147483647 135828 132 | 0.000 % |
82.99/83.17 c | 138104 | 5862 25052 76014 | 2147483647 136425 132 | 0.000 % |
83.69/83.83 c | 138760 | 5862 25052 76014 | 2147483647 137081 132 | 0.000 % |
84.39/84.57 c | 139481 | 5862 25052 76014 | 2147483647 137802 132 | 0.000 % |
85.19/85.37 c | 140274 | 5862 25052 76014 | 2147483647 138595 132 | 0.000 % |
86.09/86.23 c | 141146 | 5862 25052 76014 | 2147483647 139467 132 | 0.000 % |
86.98/87.18 c | 142108 | 5862 25052 76014 | 2147483647 140429 132 | 0.000 % |
88.09/88.24 c | 143161 | 5862 25052 76014 | 2147483647 141482 132 | 0.000 % |
89.29/89.40 c | 144319 | 5862 25052 76014 | 2147483647 142640 132 | 0.000 % |
90.48/90.66 c | 145593 | 5862 25052 76014 | 2147483647 143914 133 | 0.000 % |
91.98/92.12 c | 146993 | 5862 25052 76014 | 2147483647 145314 133 | 0.000 % |
93.49/93.66 c | 148534 | 5862 25052 76014 | 2147483647 146855 133 | 0.000 % |
93.69/93.82 c | 148634 | 5862 25052 76014 | 2147483647 146955 133 | 0.000 % |
93.79/93.96 c | 148744 | 5862 25052 76014 | 2147483647 147065 133 | 0.000 % |
93.99/94.10 c | 148866 | 5862 25052 76014 | 2147483647 147187 133 | 0.000 % |
94.09/94.25 c | 149000 | 5862 25052 76014 | 2147483647 147321 133 | 0.000 % |
94.29/94.45 c | 149146 | 5862 25052 76014 | 2147483647 147467 133 | 0.000 % |
94.49/94.65 c | 149307 | 5862 25052 76014 | 2147483647 147628 133 | 0.000 % |
94.69/94.84 c | 149483 | 5862 25052 76014 | 2147483647 147804 133 | 0.000 % |
94.89/95.07 c | 149677 | 5862 25052 76014 | 2147483647 147998 133 | 0.000 % |
95.19/95.31 c | 149892 | 5862 25052 76014 | 2147483647 148213 133 | 0.000 % |
95.49/95.60 c | 150126 | 5862 25052 76014 | 2147483647 148447 133 | 0.000 % |
95.68/95.89 c | 150382 | 5862 25052 76014 | 2147483647 148703 133 | 0.000 % |
95.98/96.18 c | 150664 | 5862 25052 76014 | 2147483647 148985 133 | 0.000 % |
96.38/96.55 c | 150974 | 5862 25052 76014 | 2147483647 149295 133 | 0.000 % |
96.78/96.93 c | 151313 | 5862 25052 76014 | 2147483647 149634 133 | 0.000 % |
97.18/97.30 c | 151685 | 5862 25052 76014 | 2147483647 150006 133 | 0.000 % |
97.58/97.74 c | 152094 | 5862 25052 76014 | 2147483647 150415 133 | 0.000 % |
98.18/98.30 c | 152543 | 5862 25052 76014 | 2147483647 150864 133 | 0.000 % |
98.68/98.85 c | 153038 | 5862 25052 76014 | 2147483647 151359 133 | 0.000 % |
99.29/99.49 c | 153582 | 5862 25052 76014 | 2147483647 151903 133 | 0.000 % |
99.99/100.19 c | 154179 | 5862 25052 76014 | 2147483647 152500 133 | 0.000 % |
100.68/100.88 c | 154835 | 5862 25052 76014 | 2147483647 153156 133 | 0.000 % |
101.48/101.68 c | 155555 | 5862 25052 76014 | 2147483647 153876 133 | 0.000 % |
102.49/102.62 c | 156348 | 5862 25052 76014 | 2147483647 154669 133 | 0.000 % |
103.38/103.57 c | 157219 | 5862 25052 76014 | 2147483647 155540 133 | 0.000 % |
104.38/104.56 c | 158177 | 5862 25052 76014 | 2147483647 156498 133 | 0.000 % |
105.48/105.68 c | 159232 | 5862 25052 76014 | 2147483647 157553 134 | 0.000 % |
106.78/106.93 c | 160390 | 5862 25052 76014 | 2147483647 158711 134 | 0.000 % |
108.28/108.45 c | 161664 | 5862 25052 76014 | 2147483647 159985 134 | 0.000 % |
109.78/109.97 c | 163065 | 5862 25052 76014 | 2147483647 161386 134 | 0.000 % |
111.58/111.74 c | 164605 | 5862 25052 76014 | 2147483647 162926 134 | 0.000 % |
113.47/113.60 c | 166299 | 5862 25052 76014 | 2147483647 164620 134 | 0.000 % |
113.57/113.74 c | 166400 | 5862 25052 76014 | 2147483647 164721 134 | 0.000 % |
113.77/113.90 c | 166510 | 5862 25052 76014 | 2147483647 164831 134 | 0.000 % |
113.97/114.10 c | 166631 | 5862 25052 76014 | 2147483647 164952 134 | 0.000 % |
114.07/114.27 c | 166764 | 5862 25052 76014 | 2147483647 165085 134 | 0.000 % |
114.28/114.48 c | 166910 | 5862 25052 76014 | 2147483647 165231 134 | 0.000 % |
114.47/114.69 c | 167070 | 5862 25052 76014 | 2147483647 165391 134 | 0.000 % |
114.77/114.92 c | 167250 | 5862 25052 76014 | 2147483647 165571 134 | 0.000 % |
114.97/115.16 c | 167443 | 5862 25052 76014 | 2147483647 165764 134 | 0.000 % |
115.28/115.43 c | 167655 | 5862 25052 76014 | 2147483647 165976 134 | 0.000 % |
115.57/115.71 c | 167890 | 5862 25052 76014 | 2147483647 166211 134 | 0.000 % |
115.87/116.04 c | 168146 | 5862 25052 76014 | 2147483647 166467 134 | 0.000 % |
116.27/116.41 c | 168430 | 5862 25052 76014 | 2147483647 166751 134 | 0.000 % |
116.57/116.76 c | 168739 | 5862 25052 76014 | 2147483647 167060 134 | 0.000 % |
116.97/117.17 c | 169079 | 5862 25052 76014 | 2147483647 167400 134 | 0.000 % |
117.47/117.65 c | 169451 | 5862 25052 76014 | 2147483647 167772 134 | 0.000 % |
117.98/118.15 c | 169862 | 5862 25052 76014 | 2147483647 168183 134 | 0.000 % |
118.48/118.65 c | 170311 | 5862 25052 76014 | 2147483647 168632 134 | 0.000 % |
119.07/119.25 c | 170804 | 5862 25052 76014 | 2147483647 169125 134 | 0.000 % |
119.68/119.87 c | 171346 | 5862 25052 76014 | 2147483647 169667 134 | 0.000 % |
120.37/120.58 c | 171942 | 5862 25052 76014 | 2147483647 170263 134 | 0.000 % |
121.17/121.36 c | 172598 | 5862 25052 76014 | 2147483647 170919 134 | 0.000 % |
122.07/122.25 c | 173319 | 5862 25052 76014 | 2147483647 171640 134 | 0.000 % |
123.08/123.20 c | 174111 | 5862 25052 76014 | 2147483647 172432 134 | 0.000 % |
124.07/124.26 c | 174983 | 5862 25052 76014 | 2147483647 173304 134 | 0.000 % |
125.18/125.37 c | 175941 | 5862 25052 76014 | 2147483647 174262 134 | 0.000 % |
126.38/126.55 c | 176995 | 5862 25052 76014 | 2147483647 175316 135 | 0.000 % |
127.77/127.98 c | 178153 | 5862 25052 76014 | 2147483647 176474 135 | 0.000 % |
129.27/129.46 c | 179426 | 5862 25052 76014 | 2147483647 177747 135 | 0.000 % |
130.87/131.02 c | 180827 | 5862 25052 76014 | 2147483647 179148 135 | 0.000 % |
132.67/132.84 c | 182370 | 5862 25052 76014 | 2147483647 180691 135 | 0.000 % |
134.77/134.91 c | 184066 | 5862 25052 76014 | 2147483647 182387 135 | 0.000 % |
137.07/137.20 c | 185930 | 5862 25052 76014 | 2147483647 184251 136 | 0.000 % |
137.17/137.34 c | 186033 | 5862 25052 76014 | 2147483647 184354 136 | 0.000 % |
137.38/137.54 c | 186143 | 5862 25052 76014 | 2147483647 184464 135 | 0.000 % |
137.47/137.69 c | 186264 | 5862 25052 76014 | 2147483647 184585 135 | 0.000 % |
137.67/137.87 c | 186398 | 5862 25052 76014 | 2147483647 184719 135 | 0.000 % |
137.87/138.07 c | 186545 | 5862 25052 76014 | 2147483647 184866 135 | 0.000 % |
138.17/138.33 c | 186705 | 5862 25052 76014 | 2147483647 185026 135 | 0.000 % |
138.37/138.58 c | 186881 | 5862 25052 76014 | 2147483647 185202 135 | 0.000 % |
138.67/138.89 c | 187075 | 5862 25052 76014 | 2147483647 185396 135 | 0.000 % |
139.07/139.22 c | 187288 | 5862 25052 76014 | 2147483647 185609 135 | 0.000 % |
139.37/139.55 c | 187521 | 5862 25052 76014 | 2147483647 185842 135 | 0.000 % |
139.77/139.97 c | 187782 | 5862 25052 76014 | 2147483647 186103 135 | 0.000 % |
140.17/140.37 c | 188064 | 5862 25052 76014 | 2147483647 186385 135 | 0.000 % |
140.57/140.80 c | 188373 | 5862 25052 76014 | 2147483647 186694 135 | 0.000 % |
141.07/141.28 c | 188712 | 5862 25052 76014 | 2147483647 187033 135 | 0.000 % |
141.56/141.77 c | 189086 | 5862 25052 76014 | 2147483647 187407 135 | 0.000 % |
142.17/142.32 c | 189496 | 5862 25052 76014 | 2147483647 187817 135 | 0.000 % |
142.77/142.99 c | 189948 | 5862 25052 76014 | 2147483647 188269 135 | 0.000 % |
143.36/143.57 c | 190441 | 5862 25052 76014 | 2147483647 188762 135 | 0.000 % |
144.06/144.26 c | 190983 | 5862 25052 76014 | 2147483647 189304 135 | 0.000 % |
144.76/144.99 c | 191579 | 5862 25052 76014 | 2147483647 189900 135 | 0.000 % |
145.76/145.91 c | 192235 | 5862 25052 76014 | 2147483647 190556 135 | 0.000 % |
146.66/146.83 c | 192957 | 5862 25052 76014 | 2147483647 191278 135 | 0.000 % |
147.66/147.87 c | 193750 | 5862 25052 76014 | 2147483647 192071 135 | 0.000 % |
148.86/149.05 c | 194623 | 5862 25052 76014 | 2147483647 192944 135 | 0.000 % |
150.06/150.28 c | 195581 | 5862 25052 76014 | 2147483647 193902 135 | 0.000 % |
151.46/151.69 c | 196635 | 5862 25052 76014 | 2147483647 194956 136 | 0.000 % |
152.86/153.04 c | 197793 | 5862 25052 76014 | 2147483647 196114 136 | 0.000 % |
154.46/154.64 c | 199067 | 5862 25052 76014 | 2147483647 197388 136 | 0.000 % |
156.36/156.55 c | 200468 | 5862 25052 76014 | 2147483647 198789 136 | 0.000 % |
158.35/158.55 c | 202008 | 5862 25052 76014 | 2147483647 200329 136 | 0.000 % |
160.65/160.81 c | 203705 | 5862 25052 76014 | 2147483647 202026 136 | 0.000 % |
163.06/163.22 c | 205570 | 5862 25052 76014 | 2147483647 203891 136 | 0.000 % |
165.65/165.89 c | 207619 | 5862 25052 76014 | 2147483647 205940 136 | 0.000 % |
165.85/166.03 c | 207719 | 5862 25052 76014 | 2147483647 206040 136 | 0.000 % |
165.95/166.19 c | 207829 | 5862 25052 76014 | 2147483647 206150 136 | 0.000 % |
166.15/166.38 c | 207950 | 5862 25052 76014 | 2147483647 206271 136 | 0.000 % |
166.35/166.59 c | 208084 | 5862 25052 76014 | 2147483647 206405 136 | 0.000 % |
166.65/166.86 c | 208230 | 5862 25052 76014 | 2147483647 206551 136 | 0.000 % |
166.95/167.16 c | 208391 | 5862 25052 76014 | 2147483647 206712 136 | 0.000 % |
167.25/167.45 c | 208567 | 5862 25052 76014 | 2147483647 206888 136 | 0.000 % |
167.55/167.77 c | 208760 | 5862 25052 76014 | 2147483647 207081 136 | 0.000 % |
167.85/168.06 c | 208972 | 5862 25052 76014 | 2147483647 207293 136 | 0.000 % |
168.25/168.41 c | 209205 | 5862 25052 76014 | 2147483647 207526 136 | 0.000 % |
168.65/168.83 c | 209464 | 5862 25052 76014 | 2147483647 207785 136 | 0.000 % |
169.05/169.26 c | 209745 | 5862 25052 76014 | 2147483647 208066 136 | 0.000 % |
169.45/169.68 c | 210054 | 5862 25052 76014 | 2147483647 208375 136 | 0.000 % |
169.95/170.20 c | 210393 | 5862 25052 76014 | 2147483647 208714 136 | 0.000 % |
170.55/170.78 c | 210765 | 5862 25052 76014 | 2147483647 209086 136 | 0.000 % |
171.15/171.35 c | 211176 | 5862 25052 76014 | 2147483647 209497 136 | 0.000 % |
171.85/172.04 c | 211626 | 5862 25052 76014 | 2147483647 209947 136 | 0.000 % |
172.65/172.80 c | 212119 | 5862 25052 76014 | 2147483647 210440 136 | 0.000 % |
173.45/173.66 c | 212662 | 5862 25052 76014 | 2147483647 210983 136 | 0.000 % |
174.35/174.56 c | 213258 | 5862 25052 76014 | 2147483647 211579 136 | 0.000 % |
175.25/175.45 c | 213913 | 5862 25052 76014 | 2147483647 212234 136 | 0.000 % |
176.25/176.45 c | 214633 | 5862 25052 76014 | 2147483647 212954 136 | 0.000 % |
177.35/177.52 c | 215427 | 5862 25052 76014 | 2147483647 213748 136 | 0.000 % |
178.55/178.76 c | 216300 | 5862 25052 76014 | 2147483647 214621 136 | 0.000 % |
179.95/180.17 c | 217259 | 5862 25052 76014 | 2147483647 215580 136 | 0.000 % |
181.45/181.67 c | 218312 | 5862 25052 76014 | 2147483647 216633 136 | 0.000 % |
183.15/183.35 c | 219470 | 5862 25052 76014 | 2147483647 217791 136 | 0.000 % |
184.94/185.15 c | 220746 | 5862 25052 76014 | 2147483647 219067 136 | 0.000 % |
186.94/187.13 c | 222146 | 5862 25052 76014 | 2147483647 220467 136 | 0.000 % |
188.95/189.14 c | 223686 | 5862 25052 76014 | 2147483647 222007 136 | 0.000 % |
191.44/191.62 c | 225382 | 5862 25052 76014 | 2147483647 223703 136 | 0.000 % |
194.14/194.39 c | 227246 | 5862 25052 76014 | 2147483647 225567 137 | 0.000 % |
197.24/197.40 c | 229296 | 5862 25052 76014 | 2147483647 227617 137 | 0.000 % |
200.34/200.59 c | 231551 | 5862 25052 76014 | 2147483647 229872 137 | 0.000 % |
200.64/200.81 c | 231652 | 5862 25052 76014 | 2147483647 229973 137 | 0.000 % |
200.84/201.02 c | 231765 | 5862 25052 76014 | 2147483647 230086 137 | 0.000 % |
201.04/201.26 c | 231886 | 5862 25052 76014 | 2147483647 230207 137 | 0.000 % |
201.34/201.50 c | 232019 | 5862 25052 76014 | 2147483647 230340 137 | 0.000 % |
201.54/201.79 c | 232166 | 5862 25052 76014 | 2147483647 230487 137 | 0.000 % |
201.84/202.06 c | 232328 | 5862 25052 76014 | 2147483647 230649 137 | 0.000 % |
202.15/202.38 c | 232504 | 5862 25052 76014 | 2147483647 230825 137 | 0.000 % |
202.54/202.71 c | 232697 | 5862 25052 76014 | 2147483647 231018 137 | 0.000 % |
202.84/203.09 c | 232909 | 5862 25052 76014 | 2147483647 231230 137 | 0.000 % |
203.25/203.44 c | 233142 | 5862 25052 76014 | 2147483647 231463 137 | 0.000 % |
203.64/203.88 c | 233399 | 5862 25052 76014 | 2147483647 231720 137 | 0.000 % |
204.14/204.36 c | 233680 | 5862 25052 76014 | 2147483647 232001 137 | 0.000 % |
204.64/204.84 c | 233991 | 5862 25052 76014 | 2147483647 232312 137 | 0.000 % |
205.14/205.37 c | 234332 | 5862 25052 76014 | 2147483647 232653 137 | 0.000 % |
205.84/206.01 c | 234704 | 5862 25052 76014 | 2147483647 233025 137 | 0.000 % |
206.54/206.71 c | 235115 | 5862 25052 76014 | 2147483647 233436 137 | 0.000 % |
207.14/207.39 c | 235565 | 5862 25052 76014 | 2147483647 233886 137 | 0.000 % |
208.04/208.27 c | 236058 | 5862 25052 76014 | 2147483647 234379 137 | 0.000 % |
209.03/209.21 c | 236600 | 5862 25052 76014 | 2147483647 234921 137 | 0.000 % |
209.95/210.13 c | 237196 | 5862 25052 76014 | 2147483647 235517 137 | 0.000 % |
210.94/211.17 c | 237853 | 5862 25052 76014 | 2147483647 236174 137 | 0.000 % |
212.14/212.34 c | 238574 | 5862 25052 76014 | 2147483647 236895 137 | 0.000 % |
213.43/213.64 c | 239367 | 5862 25052 76014 | 2147483647 237688 137 | 0.000 % |
214.83/215.00 c | 240238 | 5862 25052 76014 | 2147483647 238559 137 | 0.000 % |
216.33/216.51 c | 241198 | 5862 25052 76014 | 2147483647 239519 137 | 0.000 % |
217.93/218.14 c | 242251 | 5862 25052 76014 | 2147483647 240572 137 | 0.000 % |
219.73/219.97 c | 243409 | 5862 25052 76014 | 2147483647 241730 137 | 0.000 % |
221.73/221.93 c | 244685 | 5862 25052 76014 | 2147483647 243006 137 | 0.000 % |
223.73/223.97 c | 246086 | 5862 25052 76014 | 2147483647 244407 137 | 0.000 % |
226.23/226.50 c | 247626 | 5862 25052 76014 | 2147483647 245947 137 | 0.000 % |
228.93/229.16 c | 249320 | 5862 25052 76014 | 2147483647 247641 137 | 0.000 % |
231.93/232.14 c | 251183 | 5862 25052 76014 | 2147483647 249504 137 | 0.000 % |
235.03/235.22 c | 253234 | 5862 25052 76014 | 2147483647 251555 137 | 0.000 % |
238.73/238.96 c | 255488 | 5862 25052 76014 | 2147483647 253809 137 | 0.000 % |
242.43/242.62 c | 257966 | 5862 25052 76014 | 2147483647 256287 138 | 0.000 % |
242.63/242.84 c | 258067 | 5862 25052 76014 | 2147483647 256388 138 | 0.000 % |
242.83/243.09 c | 258178 | 5862 25052 76014 | 2147483647 256499 138 | 0.000 % |
243.13/243.34 c | 258299 | 5862 25052 76014 | 2147483647 256620 138 | 0.000 % |
243.42/243.64 c | 258432 | 5862 25052 76014 | 2147483647 256753 138 | 0.000 % |
243.73/243.91 c | 258578 | 5862 25052 76014 | 2147483647 256899 138 | 0.000 % |
244.03/244.27 c | 258738 | 5862 25052 76014 | 2147483647 257059 138 | 0.000 % |
244.42/244.61 c | 258915 | 5862 25052 76014 | 2147483647 257236 138 | 0.000 % |
244.72/244.98 c | 259108 | 5862 25052 76014 | 2147483647 257429 138 | 0.000 % |
245.12/245.37 c | 259322 | 5862 25052 76014 | 2147483647 257643 138 | 0.000 % |
245.62/245.81 c | 259555 | 5862 25052 76014 | 2147483647 257876 138 | 0.000 % |
246.13/246.32 c | 259811 | 5862 25052 76014 | 2147483647 258132 138 | 0.000 % |
246.63/246.87 c | 260092 | 5862 25052 76014 | 2147483647 258413 138 | 0.000 % |
247.23/247.46 c | 260402 | 5862 25052 76014 | 2147483647 258723 138 | 0.000 % |
247.83/248.07 c | 260741 | 5862 25052 76014 | 2147483647 259062 138 | 0.000 % |
248.52/248.74 c | 261113 | 5862 25052 76014 | 2147483647 259434 138 | 0.000 % |
249.23/249.48 c | 261522 | 5862 25052 76014 | 2147483647 259843 138 | 0.000 % |
250.12/250.36 c | 261971 | 5862 25052 76014 | 2147483647 260292 138 | 0.000 % |
251.02/251.27 c | 262465 | 5862 25052 76014 | 2147483647 260786 138 | 0.000 % |
252.02/252.22 c | 263007 | 5862 25052 76014 | 2147483647 261328 138 | 0.000 % |
253.22/253.42 c | 263604 | 5862 25052 76014 | 2147483647 261925 138 | 0.000 % |
254.32/254.55 c | 264260 | 5862 25052 76014 | 2147483647 262581 138 | 0.000 % |
255.52/255.76 c | 264980 | 5862 25052 76014 | 2147483647 263301 138 | 0.000 % |
256.92/257.12 c | 265775 | 5862 25052 76014 | 2147483647 264096 138 | 0.000 % |
258.42/258.68 c | 266646 | 5862 25052 76014 | 2147483647 264967 138 | 0.000 % |
260.02/260.28 c | 267604 | 5862 25052 76014 | 2147483647 265925 138 | 0.000 % |
261.82/262.09 c | 268657 | 5862 25052 76014 | 2147483647 266978 138 | 0.000 % |
263.92/264.10 c | 269815 | 5862 25052 76014 | 2147483647 268136 138 | 0.000 % |
265.92/266.13 c | 271088 | 5862 25052 76014 | 2147483647 269409 138 | 0.000 % |
268.31/268.59 c | 272489 | 5862 25052 76014 | 2147483647 270810 138 | 0.000 % |
270.92/271.13 c | 274033 | 5862 25052 76014 | 2147483647 272354 138 | 0.000 % |
273.72/273.99 c | 275728 | 5862 25052 76014 | 2147483647 274049 138 | 0.000 % |
277.01/277.27 c | 277593 | 5862 25052 76014 | 2147483647 275914 138 | 0.000 % |
280.72/280.90 c | 279642 | 5862 25052 76014 | 2147483647 277963 139 | 0.000 % |
284.62/284.89 c | 281897 | 5862 25052 76014 | 2147483647 280218 139 | 0.000 % |
288.71/288.98 c | 284375 | 5862 25052 76014 | 2147483647 282696 139 | 0.000 % |
293.31/293.56 c | 287100 | 5862 25052 76014 | 2147483647 285421 139 | 0.000 % |
293.51/293.76 c | 287200 | 5862 25052 76014 | 2147483647 285521 139 | 0.000 % |
293.81/294.02 c | 287310 | 5862 25052 76014 | 2147483647 285631 139 | 0.000 % |
294.01/294.27 c | 287431 | 5862 25052 76014 | 2147483647 285752 139 | 0.000 % |
294.31/294.55 c | 287565 | 5862 25052 76014 | 2147483647 285886 139 | 0.000 % |
294.71/294.91 c | 287711 | 5862 25052 76014 | 2147483647 286032 139 | 0.000 % |
295.01/295.25 c | 287871 | 5862 25052 76014 | 2147483647 286192 139 | 0.000 % |
295.41/295.68 c | 288047 | 5862 25052 76014 | 2147483647 286368 139 | 0.000 % |
295.91/296.12 c | 288241 | 5862 25052 76014 | 2147483647 286562 139 | 0.000 % |
296.31/296.58 c | 288453 | 5862 25052 76014 | 2147483647 286774 139 | 0.000 % |
296.81/297.08 c | 288686 | 5862 25052 76014 | 2147483647 287007 139 | 0.000 % |
297.40/297.62 c | 288942 | 5862 25052 76014 | 2147483647 287263 139 | 0.000 % |
298.00/298.22 c | 289225 | 5862 25052 76014 | 2147483647 287546 139 | 0.000 % |
298.60/298.85 c | 289534 | 5862 25052 76014 | 2147483647 287855 139 | 0.000 % |
299.31/299.56 c | 289873 | 5862 25052 76014 | 2147483647 288194 139 | 0.000 % |
300.11/300.36 c | 290245 | 5862 25052 76014 | 2147483647 288566 139 | 0.000 % |
300.90/301.12 c | 290654 | 5862 25052 76014 | 2147483647 288975 139 | 0.000 % |
301.70/301.96 c | 291104 | 5862 25052 76014 | 2147483647 289425 139 | 0.000 % |
302.70/302.92 c | 291597 | 5862 25052 76014 | 2147483647 289918 139 | 0.000 % |
303.80/304.05 c | 292141 | 5862 25052 76014 | 2147483647 290462 139 | 0.000 % |
304.90/305.15 c | 292737 | 5862 25052 76014 | 2147483647 291058 139 | 0.000 % |
306.10/306.33 c | 293392 | 5862 25052 76014 | 2147483647 291713 139 | 0.000 % |
307.50/307.79 c | 294112 | 5862 25052 76014 | 2147483647 292433 139 | 0.000 % |
309.10/309.34 c | 294904 | 5862 25052 76014 | 2147483647 293225 139 | 0.000 % |
310.40/310.69 c | 295775 | 5862 25052 76014 | 2147483647 294096 139 | 0.000 % |
312.30/312.52 c | 296735 | 5862 25052 76014 | 2147483647 295056 139 | 0.000 % |
314.30/314.55 c | 297789 | 5862 25052 76014 | 2147483647 296110 139 | 0.000 % |
316.39/316.69 c | 298947 | 5862 25052 76014 | 2147483647 297268 139 | 0.000 % |
318.70/318.91 c | 300220 | 5862 25052 76014 | 2147483647 298541 139 | 0.000 % |
321.09/321.39 c | 301620 | 5862 25052 76014 | 2147483647 299941 139 | 0.000 % |
324.09/324.31 c | 303161 | 5862 25052 76014 | 2147483647 301482 139 | 0.000 % |
326.89/327.19 c | 304855 | 5862 25052 76014 | 2147483647 303176 139 | 0.000 % |
330.19/330.49 c | 306720 | 5862 25052 76014 | 2147483647 305041 139 | 0.000 % |
334.20/334.42 c | 308771 | 5862 25052 76014 | 2147483647 307092 139 | 0.000 % |
337.98/338.24 c | 311025 | 5862 25052 76014 | 2147483647 309346 140 | 0.000 % |
342.59/342.82 c | 313503 | 5862 25052 76014 | 2147483647 311824 140 | 0.000 % |
347.98/348.28 c | 316229 | 5862 25052 76014 | 2147483647 314550 140 | 0.000 % |
353.68/353.91 c | 319228 | 5862 25052 76014 | 2147483647 317549 140 | 0.000 % |
353.89/354.14 c | 319328 | 5862 25052 76014 | 2147483647 317649 140 | 0.000 % |
354.18/354.40 c | 319438 | 5862 25052 76014 | 2147483647 317759 140 | 0.000 % |
354.48/354.70 c | 319560 | 5862 25052 76014 | 2147483647 317881 140 | 0.000 % |
354.78/355.07 c | 319693 | 5862 25052 76014 | 2147483647 318014 140 | 0.000 % |
355.18/355.42 c | 319839 | 5862 25052 76014 | 2147483647 318160 140 | 0.000 % |
355.48/355.77 c | 320000 | 5862 25052 76014 | 2147483647 318321 140 | 0.000 % |
355.98/356.28 c | 320177 | 5862 25052 76014 | 2147483647 318498 140 | 0.000 % |
356.38/356.69 c | 320370 | 5862 25052 76014 | 2147483647 318691 140 | 0.000 % |
356.88/357.15 c | 320584 | 5862 25052 76014 | 2147483647 318905 140 | 0.000 % |
357.38/357.68 c | 320817 | 5862 25052 76014 | 2147483647 319138 140 | 0.000 % |
357.98/358.22 c | 321073 | 5862 25052 76014 | 2147483647 319394 140 | 0.000 % |
358.58/358.84 c | 321356 | 5862 25052 76014 | 2147483647 319677 140 | 0.000 % |
359.28/359.55 c | 321666 | 5862 25052 76014 | 2147483647 319987 140 | 0.000 % |
359.98/360.27 c | 322007 | 5862 25052 76014 | 2147483647 320328 140 | 0.000 % |
360.78/361.07 c | 322379 | 5862 25052 76014 | 2147483647 320700 140 | 0.000 % |
361.68/362.00 c | 322788 | 5862 25052 76014 | 2147483647 321109 140 | 0.000 % |
362.78/363.01 c | 323237 | 5862 25052 76014 | 2147483647 321558 140 | 0.000 % |
363.78/364.05 c | 323731 | 5862 25052 76014 | 2147483647 322052 140 | 0.000 % |
364.88/365.16 c | 324273 | 5862 25052 76014 | 2147483647 322594 140 | 0.000 % |
366.18/366.44 c | 324869 | 5862 25052 76014 | 2147483647 323190 140 | 0.000 % |
367.68/367.90 c | 325524 | 5862 25052 76014 | 2147483647 323845 140 | 0.000 % |
369.28/369.54 c | 326244 | 5862 25052 76014 | 2147483647 324565 140 | 0.000 % |
370.88/371.13 c | 327037 | 5862 25052 76014 | 2147483647 325358 140 | 0.000 % |
372.87/373.11 c | 327909 | 5862 25052 76014 | 2147483647 326230 140 | 0.000 % |
374.88/375.15 c | 328867 | 5862 25052 76014 | 2147483647 327188 140 | 0.000 % |
377.08/377.37 c | 329924 | 5862 25052 76014 | 2147483647 328245 140 | 0.000 % |
379.88/380.12 c | 331083 | 5862 25052 76014 | 328321 289296 140 | 0.000 % |
382.27/382.52 c | 332356 | 5862 25052 76014 | 328321 290569 140 | 0.000 % |
384.68/384.97 c | 333757 | 5862 25052 76014 | 328321 291970 140 | 0.000 % |
387.57/387.81 c | 335297 | 5862 25052 76014 | 328321 293510 140 | 0.000 % |
390.47/390.80 c | 336991 | 5862 25052 76014 | 328321 295204 140 | 0.000 % |
394.07/394.37 c | 338857 | 5862 25052 76014 | 328321 297070 140 | 0.000 % |
397.67/397.98 c | 340908 | 5862 25052 76014 | 2147483647 299121 140 | 0.000 % |
401.77/402.07 c | 343164 | 5862 25052 76014 | 2147483647 301377 140 | 0.000 % |
406.47/406.72 c | 345643 | 5862 25052 76014 | 2147483647 303856 140 | 0.000 % |
411.37/411.63 c | 348369 | 5862 25052 76014 | 2147483647 306582 140 | 0.000 % |
417.06/417.34 c | 351366 | 5862 25052 76014 | 2147483647 309579 140 | 0.000 % |
423.06/423.31 c | 354663 | 5862 25052 76014 | 2147483647 312876 140 | 0.000 % |
423.26/423.55 c | 354764 | 5862 25052 76014 | 2147483647 312977 140 | 0.000 % |
423.46/423.79 c | 354875 | 5862 25052 76014 | 2147483647 313088 140 | 0.000 % |
423.86/424.11 c | 354996 | 5862 25052 76014 | 2147483647 313209 140 | 0.000 % |
424.16/424.42 c | 355129 | 5862 25052 76014 | 2147483647 313342 140 | 0.000 % |
424.46/424.79 c | 355279 | 5862 25052 76014 | 2147483647 313492 140 | 0.000 % |
424.86/425.11 c | 355440 | 5862 25052 76014 | 2147483647 313653 140 | 0.000 % |
425.26/425.53 c | 355617 | 5862 25052 76014 | 2147483647 313830 140 | 0.000 % |
425.66/425.98 c | 355810 | 5862 25052 76014 | 2147483647 314023 140 | 0.000 % |
426.16/426.48 c | 356025 | 5862 25052 76014 | 2147483647 314238 140 | 0.000 % |
426.76/427.09 c | 356259 | 5862 25052 76014 | 2147483647 314472 140 | 0.000 % |
427.46/427.73 c | 356519 | 5862 25052 76014 | 2147483647 314732 140 | 0.000 % |
428.16/428.40 c | 356801 | 5862 25052 76014 | 2147483647 315014 140 | 0.000 % |
428.76/429.09 c | 357110 | 5862 25052 76014 | 2147483647 315323 140 | 0.000 % |
429.66/429.91 c | 357449 | 5862 25052 76014 | 2147483647 315662 140 | 0.000 % |
430.56/430.81 c | 357821 | 5862 25052 76014 | 2147483647 316034 140 | 0.000 % |
431.36/431.69 c | 358230 | 5862 25052 76014 | 2147483647 316443 140 | 0.000 % |
432.36/432.60 c | 358679 | 5862 25052 76014 | 2147483647 316892 140 | 0.000 % |
433.25/433.58 c | 359173 | 5862 25052 76014 | 2147483647 317386 140 | 0.000 % |
434.45/434.75 c | 359715 | 5862 25052 76014 | 2147483647 317928 140 | 0.000 % |
435.65/435.94 c | 360313 | 5862 25052 76014 | 318213 318526 140 | 0.000 % |
437.25/437.55 c | 360969 | 5862 25052 76014 | 318213 287100 141 | 0.000 % |
438.66/438.98 c | 361689 | 5862 25052 76014 | 318213 287820 141 | 0.000 % |
440.05/440.31 c | 362481 | 5862 25052 76014 | 318213 288612 141 | 0.000 % |
441.65/441.98 c | 363358 | 5862 25052 76014 | 318213 289489 141 | 0.000 % |
443.35/443.67 c | 364317 | 5862 25052 76014 | 318213 290448 142 | 0.000 % |
445.35/445.64 c | 365370 | 5862 25052 76014 | 318213 291501 142 | 0.000 % |
447.45/447.76 c | 366528 | 5862 25052 76014 | 318213 292659 141 | 0.000 % |
449.95/450.26 c | 367804 | 5862 25052 76014 | 318213 293935 141 | 0.000 % |
452.55/452.88 c | 369205 | 5862 25052 76014 | 318213 295336 142 | 0.000 % |
455.25/455.58 c | 370747 | 5862 25052 76014 | 2147483647 296878 142 | 0.000 % |
458.35/458.66 c | 372441 | 5862 25052 76014 | 2147483647 298572 142 | 0.000 % |
461.65/462.00 c | 374304 | 5862 25052 76014 | 2147483647 300435 142 | 0.000 % |
465.24/465.59 c | 376353 | 5862 25052 76014 | 2147483647 302484 142 | 0.000 % |
469.34/469.68 c | 378607 | 5862 25052 76014 | 2147483647 304738 142 | 0.000 % |
474.04/474.33 c | 381086 | 5862 25052 76014 | 2147483647 307217 142 | 0.000 % |
478.74/479.04 c | 383812 | 5862 25052 76014 | 2147483647 309943 142 | 0.000 % |
484.14/484.45 c | 386810 | 5862 25052 76014 | 2147483647 312941 143 | 0.000 % |
490.13/490.47 c | 390107 | 5862 25052 76014 | 2147483647 316238 143 | 0.000 % |
496.84/497.19 c | 393734 | 5862 25052 76014 | 2147483647 319865 143 | 0.000 % |
497.13/497.41 c | 393835 | 5862 25052 76014 | 2147483647 319966 143 | 0.000 % |
497.33/497.64 c | 393946 | 5862 25052 76014 | 2147483647 320077 143 | 0.000 % |
497.63/497.94 c | 394067 | 5862 25052 76014 | 2147483647 320198 143 | 0.000 % |
498.03/498.34 c | 394200 | 5862 25052 76014 | 2147483647 320331 143 | 0.000 % |
498.43/498.72 c | 394346 | 5862 25052 76014 | 2147483647 320477 143 | 0.000 % |
498.83/499.11 c | 394506 | 5862 25052 76014 | 2147483647 320637 143 | 0.000 % |
499.23/499.54 c | 394682 | 5862 25052 76014 | 2147483647 320813 143 | 0.000 % |
499.73/500.01 c | 394875 | 5862 25052 76014 | 2147483647 321006 143 | 0.000 % |
500.23/500.50 c | 395089 | 5862 25052 76014 | 2147483647 321220 143 | 0.000 % |
500.73/501.08 c | 395322 | 5862 25052 76014 | 2147483647 321453 143 | 0.000 % |
501.33/501.61 c | 395578 | 5862 25052 76014 | 2147483647 321709 143 | 0.000 % |
502.03/502.34 c | 395859 | 5862 25052 76014 | 2147483647 321990 143 | 0.000 % |
502.72/503.04 c | 396168 | 5862 25052 76014 | 2147483647 322299 143 | 0.000 % |
503.53/503.89 c | 396510 | 5862 25052 76014 | 2147483647 322641 143 | 0.000 % |
504.53/504.80 c | 396883 | 5862 25052 76014 | 2147483647 323014 143 | 0.000 % |
505.43/505.72 c | 397292 | 5862 25052 76014 | 2147483647 323423 143 | 0.000 % |
506.43/506.73 c | 397741 | 5862 25052 76014 | 2147483647 323872 143 | 0.000 % |
507.43/507.78 c | 398234 | 5862 25052 76014 | 2147483647 324365 143 | 0.000 % |
508.63/508.95 c | 398776 | 5862 25052 76014 | 2147483647 324907 143 | 0.000 % |
509.93/510.21 c | 399372 | 5862 25052 76014 | 2147483647 325503 143 | 0.000 % |
511.23/511.58 c | 400028 | 5862 25052 76014 | 326131 326159 143 | 0.000 % |
513.13/513.48 c | 400748 | 5862 25052 76014 | 326131 292656 143 | 0.000 % |
514.73/515.08 c | 401540 | 5862 25052 76014 | 326131 293448 143 | 0.000 % |
516.43/516.74 c | 402411 | 5862 25052 76014 | 326131 294319 143 | 0.000 % |
518.13/518.48 c | 403370 | 5862 25052 76014 | 326131 295278 143 | 0.000 % |
520.03/520.37 c | 404425 | 5862 25052 76014 | 326131 296333 143 | 0.000 % |
522.13/522.47 c | 405584 | 5862 25052 76014 | 326131 297492 143 | 0.000 % |
524.62/524.91 c | 406858 | 5862 25052 76014 | 326131 298766 143 | 0.000 % |
527.22/527.50 c | 408259 | 5862 25052 76014 | 326131 300167 143 | 0.000 % |
530.02/530.39 c | 409801 | 5862 25052 76014 | 326131 301709 143 | 0.000 % |
533.22/533.60 c | 411496 | 5862 25052 76014 | 2147483647 303404 143 | 0.000 % |
536.62/536.92 c | 413359 | 5862 25052 76014 | 2147483647 305267 143 | 0.000 % |
540.32/540.68 c | 415409 | 5862 25052 76014 | 2147483647 307317 143 | 0.000 % |
544.51/544.84 c | 417663 | 5862 25052 76014 | 2147483647 309571 143 | 0.000 % |
549.21/549.53 c | 420141 | 5862 25052 76014 | 2147483647 312049 143 | 0.000 % |
554.02/554.31 c | 422866 | 5862 25052 76014 | 2147483647 314774 144 | 0.000 % |
559.41/559.75 c | 425863 | 5862 25052 76014 | 2147483647 317771 144 | 0.000 % |
566.11/566.46 c | 429160 | 5862 25052 76014 | 2147483647 321068 144 | 0.000 % |
573.40/573.78 c | 432785 | 5862 25052 76014 | 2147483647 324693 144 | 0.000 % |
580.80/581.13 c | 436772 | 5862 25052 76014 | 2147483647 328680 144 | 0.000 % |
581.00/581.39 c | 436874 | 5862 25052 76014 | 2147483647 328782 144 | 0.000 % |
581.30/581.64 c | 436987 | 5862 25052 76014 | 2147483647 328895 144 | 0.000 % |
581.61/581.97 c | 437108 | 5862 25052 76014 | 2147483647 329016 144 | 0.000 % |
582.00/582.31 c | 437242 | 5862 25052 76014 | 2147483647 329150 144 | 0.000 % |
582.30/582.64 c | 437388 | 5862 25052 76014 | 2147483647 329296 144 | 0.000 % |
582.70/583.04 c | 437549 | 5862 25052 76014 | 2147483647 329457 144 | 0.000 % |
583.10/583.48 c | 437725 | 5862 25052 76014 | 2147483647 329633 144 | 0.000 % |
583.60/583.95 c | 437919 | 5862 25052 76014 | 2147483647 329827 144 | 0.000 % |
584.10/584.48 c | 438131 | 5862 25052 76014 | 2147483647 330039 144 | 0.000 % |
584.70/585.03 c | 438365 | 5862 25052 76014 | 2147483647 330273 144 | 0.000 % |
585.30/585.62 c | 438622 | 5862 25052 76014 | 2147483647 330530 144 | 0.000 % |
585.90/586.22 c | 438906 | 5862 25052 76014 | 2147483647 330814 144 | 0.000 % |
586.60/586.92 c | 439216 | 5862 25052 76014 | 2147483647 331124 144 | 0.000 % |
587.29/587.69 c | 439559 | 5862 25052 76014 | 2147483647 331467 144 | 0.000 % |
588.29/588.65 c | 439931 | 5862 25052 76014 | 2147483647 331839 144 | 0.000 % |
589.20/589.60 c | 440343 | 5862 25052 76014 | 331908 332251 144 | 0.000 % |
590.49/590.87 c | 440793 | 5862 25052 76014 | 331908 296943 144 | 0.000 % |
591.39/591.78 c | 441287 | 5862 25052 76014 | 331908 297437 144 | 0.000 % |
592.49/592.82 c | 441831 | 5862 25052 76014 | 331908 297981 144 | 0.000 % |
593.69/594.04 c | 442427 | 5862 25052 76014 | 331908 298577 144 | 0.000 % |
594.99/595.39 c | 443082 | 5862 25052 76014 | 331908 299232 144 | 0.000 % |
596.59/596.92 c | 443802 | 5862 25052 76014 | 331908 299952 144 | 0.000 % |
598.09/598.42 c | 444594 | 5862 25052 76014 | 331908 300744 144 | 0.000 % |
599.89/600.23 c | 445465 | 5862 25052 76014 | 331908 301615 144 | 0.000 % |
601.79/602.10 c | 446423 | 5862 25052 76014 | 331908 302573 144 | 0.000 % |
603.68/604.09 c | 447478 | 5862 25052 76014 | 331908 303628 144 | 0.000 % |
605.98/606.33 c | 448638 | 5862 25052 76014 | 331908 304788 144 | 0.000 % |
608.28/608.68 c | 449914 | 5862 25052 76014 | 331908 306064 144 | 0.000 % |
610.88/611.22 c | 451315 | 5862 25052 76014 | 2147483647 307465 144 | 0.000 % |
613.88/614.24 c | 452855 | 5862 25052 76014 | 2147483647 309005 144 | 0.000 % |
616.98/617.36 c | 454551 | 5862 25052 76014 | 2147483647 310701 145 | 0.000 % |
620.68/621.03 c | 456415 | 5862 25052 76014 | 2147483647 312565 145 | 0.000 % |
624.58/624.99 c | 458464 | 5862 25052 76014 | 2147483647 314614 145 | 0.000 % |
628.98/629.34 c | 460718 | 5862 25052 76014 | 2147483647 316868 145 | 0.000 % |
633.47/633.81 c | 463196 | 5862 25052 76014 | 2147483647 319346 145 | 0.000 % |
638.57/638.98 c | 465921 | 5862 25052 76014 | 2147483647 322071 145 | 0.000 % |
644.38/644.74 c | 468920 | 5862 25052 76014 | 2147483647 325070 145 | 0.000 % |
651.08/651.40 c | 472217 | 5862 25052 76014 | 2147483647 328367 145 | 0.000 % |
658.17/658.59 c | 475843 | 5862 25052 76014 | 2147483647 331993 145 | 0.000 % |
666.06/666.42 c | 479830 | 5862 25052 76014 | 2147483647 335980 145 | 0.000 % |
674.77/675.16 c | 484215 | 5862 25052 76014 | 2147483647 340365 145 | 0.000 % |
674.97/675.36 c | 484315 | 5862 25052 76014 | 2147483647 340465 145 | 0.000 % |
675.27/675.65 c | 484428 | 5862 25052 76014 | 2147483647 340578 145 | 0.000 % |
675.57/675.99 c | 484549 | 5862 25052 76014 | 2147483647 340699 145 | 0.000 % |
675.97/676.39 c | 484683 | 5862 25052 76014 | 2147483647 340833 145 | 0.000 % |
676.37/676.79 c | 484830 | 5862 25052 76014 | 2147483647 340980 145 | 0.000 % |
676.76/677.19 c | 484990 | 5862 25052 76014 | 2147483647 341140 145 | 0.000 % |
677.27/677.69 c | 485167 | 5862 25052 76014 | 2147483647 341317 145 | 0.000 % |
677.76/678.16 c | 485360 | 5862 25052 76014 | 2147483647 341510 145 | 0.000 % |
678.27/678.67 c | 485572 | 5862 25052 76014 | 2147483647 341722 145 | 0.000 % |
678.96/679.30 c | 485805 | 5862 25052 76014 | 2147483647 341955 145 | 0.000 % |
679.57/679.93 c | 486063 | 5862 25052 76014 | 2147483647 342213 145 | 0.000 % |
680.27/680.62 c | 486345 | 5862 25052 76014 | 2147483647 342495 145 | 0.000 % |
680.97/681.38 c | 486657 | 5862 25052 76014 | 2147483647 342807 145 | 0.000 % |
681.76/682.18 c | 486997 | 5862 25052 76014 | 2147483647 343147 145 | 0.000 % |
682.67/683.01 c | 487369 | 5862 25052 76014 | 2147483647 343519 145 | 0.000 % |
683.66/684.01 c | 487778 | 5862 25052 76014 | 2147483647 343928 145 | 0.000 % |
684.66/685.07 c | 488227 | 5862 25052 76014 | 2147483647 344377 145 | 0.000 % |
685.86/686.27 c | 488721 | 5862 25052 76014 | 2147483647 344871 145 | 0.000 % |
687.06/687.43 c | 489265 | 5862 25052 76014 | 2147483647 345415 145 | 0.000 % |
688.36/688.73 c | 489865 | 5862 25052 76014 | 2147483647 346015 145 | 0.000 % |
689.86/690.27 c | 490521 | 5862 25052 76014 | 346151 346671 145 | 0.000 % |
691.95/692.31 c | 491242 | 5862 25052 76014 | 346151 301608 147 | 0.000 % |
693.55/693.92 c | 492034 | 5862 25052 76014 | 346151 302400 147 | 0.000 % |
695.35/695.75 c | 492905 | 5862 25052 76014 | 346151 303271 147 | 0.000 % |
697.15/697.56 c | 493864 | 5862 25052 76014 | 346151 304230 147 | 0.000 % |
699.26/699.66 c | 494918 | 5862 25052 76014 | 346151 305284 147 | 0.000 % |
701.65/702.07 c | 496076 | 5862 25052 76014 | 346151 306442 147 | 0.000 % |
704.45/704.80 c | 497349 | 5862 25052 76014 | 346151 307715 146 | 0.000 % |
706.95/707.37 c | 498750 | 5862 25052 76014 | 346151 309116 146 | 0.000 % |
710.05/710.43 c | 500290 | 5862 25052 76014 | 310366 310656 146 | 0.000 % |
713.55/713.97 c | 501985 | 5862 25052 76014 | 310366 279941 147 | 0.000 % |
716.75/717.16 c | 503848 | 5862 25052 76014 | 310366 281804 147 | 0.000 % |
720.24/720.66 c | 505898 | 5862 25052 76014 | 310366 283854 147 | 0.000 % |
724.24/724.61 c | 508151 | 5862 25052 76014 | 310366 286107 147 | 0.000 % |
728.64/729.02 c | 510632 | 5862 25052 76014 | 2147483647 288588 147 | 0.000 % |
733.64/734.04 c | 513358 | 5862 25052 76014 | 2147483647 291314 147 | 0.000 % |
739.13/739.59 c | 516357 | 5862 25052 76014 | 2147483647 294313 147 | 0.000 % |
745.23/745.60 c | 519653 | 5862 25052 76014 | 2147483647 297609 147 | 0.000 % |
751.83/752.23 c | 523278 | 5862 25052 76014 | 2147483647 301234 147 | 0.000 % |
759.03/759.47 c | 527265 | 5862 25052 76014 | 2147483647 305221 148 | 0.000 % |
766.93/767.36 c | 531651 | 5862 25052 76014 | 2147483647 309607 148 | 0.000 % |
775.92/776.36 c | 536474 | 5862 25052 76014 | 2147483647 314430 148 | 0.000 % |
776.13/776.58 c | 536575 | 5862 25052 76014 | 2147483647 314531 148 | 0.000 % |
776.52/776.90 c | 536687 | 5862 25052 76014 | 2147483647 314643 148 | 0.000 % |
776.83/777.21 c | 536808 | 5862 25052 76014 | 2147483647 314764 148 | 0.000 % |
777.12/777.57 c | 536941 | 5862 25052 76014 | 2147483647 314897 148 | 0.000 % |
777.52/777.95 c | 537087 | 5862 25052 76014 | 2147483647 315043 148 | 0.000 % |
778.02/778.43 c | 537250 | 5862 25052 76014 | 2147483647 315206 148 | 0.000 % |
778.42/778.88 c | 537426 | 5862 25052 76014 | 2147483647 315382 148 | 0.000 % |
778.92/779.35 c | 537621 | 5862 25052 76014 | 2147483647 315577 148 | 0.000 % |
779.42/779.84 c | 537834 | 5862 25052 76014 | 2147483647 315790 148 | 0.000 % |
780.02/780.41 c | 538068 | 5862 25052 76014 | 2147483647 316024 148 | 0.000 % |
780.62/781.02 c | 538324 | 5862 25052 76014 | 2147483647 316280 148 | 0.000 % |
781.12/781.59 c | 538606 | 5862 25052 76014 | 2147483647 316562 148 | 0.000 % |
781.82/782.29 c | 538917 | 5862 25052 76014 | 2147483647 316873 148 | 0.000 % |
782.52/782.96 c | 539258 | 5862 25052 76014 | 2147483647 317214 148 | 0.000 % |
783.32/783.75 c | 539631 | 5862 25052 76014 | 2147483647 317587 148 | 0.000 % |
784.22/784.60 c | 540040 | 5862 25052 76014 | 2147483647 317996 148 | 0.000 % |
785.12/785.56 c | 540489 | 5862 25052 76014 | 2147483647 318445 148 | 0.000 % |
786.22/786.65 c | 540983 | 5862 25052 76014 | 2147483647 318939 148 | 0.000 % |
787.32/787.78 c | 541525 | 5862 25052 76014 | 2147483647 319481 148 | 0.000 % |
788.72/789.12 c | 542121 | 5862 25052 76014 | 2147483647 320077 148 | 0.000 % |
790.12/790.50 c | 542776 | 5862 25052 76014 | 2147483647 320732 148 | 0.000 % |
791.72/792.15 c | 543500 | 5862 25052 76014 | 2147483647 321456 148 | 0.000 % |
793.51/793.93 c | 544293 | 5862 25052 76014 | 2147483647 322249 148 | 0.000 % |
795.41/795.84 c | 545165 | 5862 25052 76014 | 2147483647 323121 148 | 0.000 % |
797.32/797.73 c | 546123 | 5862 25052 76014 | 2147483647 324079 148 | 0.000 % |
799.42/799.84 c | 547176 | 5862 25052 76014 | 2147483647 325132 148 | 0.000 % |
801.82/802.23 c | 548334 | 5862 25052 76014 | 2147483647 326290 148 | 0.000 % |
804.52/804.91 c | 549609 | 5862 25052 76014 | 2147483647 327565 148 | 0.000 % |
807.62/808.06 c | 551011 | 5862 25052 76014 | 327958 295052 147 | 0.000 % |
810.62/811.02 c | 552551 | 5862 25052 76014 | 327958 296592 147 | 0.000 % |
813.72/814.19 c | 554246 | 5862 25052 76014 | 327958 298287 147 | 0.000 % |
817.21/817.61 c | 556112 | 5862 25052 76014 | 327958 300153 147 | 0.000 % |
821.01/821.48 c | 558161 | 5862 25052 76014 | 327958 302202 147 | 0.000 % |
825.01/825.48 c | 560414 | 5862 25052 76014 | 2147483647 304455 147 | 0.000 % |
829.91/830.36 c | 562893 | 5862 25052 76014 | 2147483647 306934 147 | 0.000 % |
834.91/835.32 c | 565620 | 5862 25052 76014 | 2147483647 309661 147 | 0.000 % |
840.31/840.77 c | 568618 | 5862 25052 76014 | 2147483647 312659 148 | 0.000 % |
846.51/846.90 c | 571914 | 5862 25052 76014 | 2147483647 315955 148 | 0.000 % |
853.21/853.62 c | 575539 | 5862 25052 76014 | 2147483647 319580 148 | 0.000 % |
860.60/861.06 c | 579526 | 5862 25052 76014 | 2147483647 323567 148 | 0.000 % |
868.90/869.36 c | 583911 | 5862 25052 76014 | 2147483647 327952 149 | 0.000 % |
878.59/879.02 c | 588734 | 5862 25052 76014 | 2147483647 332775 149 | 0.000 % |
888.99/889.42 c | 594040 | 5862 25052 76014 | 334041 304597 150 | 0.000 % |
889.29/889.71 c | 594140 | 5862 25052 76014 | 334041 304697 150 | 0.000 % |
889.49/889.98 c | 594250 | 5862 25052 76014 | 334041 304807 150 | 0.000 % |
889.79/890.29 c | 594372 | 5862 25052 76014 | 334041 304929 150 | 0.000 % |
890.19/890.63 c | 594507 | 5862 25052 76014 | 334041 305064 150 | 0.000 % |
890.59/891.04 c | 594653 | 5862 25052 76014 | 334041 305210 150 | 0.000 % |
890.99/891.42 c | 594813 | 5862 25052 76014 | 334041 305370 149 | 0.000 % |
891.29/891.80 c | 594989 | 5862 25052 76014 | 334041 305546 149 | 0.000 % |
891.79/892.27 c | 595182 | 5862 25052 76014 | 334041 305739 149 | 0.000 % |
892.39/892.80 c | 595394 | 5862 25052 76014 | 334041 305951 149 | 0.000 % |
892.89/893.35 c | 595628 | 5862 25052 76014 | 334041 306185 149 | 0.000 % |
893.49/893.93 c | 595887 | 5862 25052 76014 | 334041 306444 149 | 0.000 % |
894.09/894.59 c | 596168 | 5862 25052 76014 | 334041 306725 149 | 0.000 % |
894.79/895.24 c | 596477 | 5862 25052 76014 | 334041 307034 149 | 0.000 % |
895.59/896.02 c | 596817 | 5862 25052 76014 | 334041 307374 149 | 0.000 % |
896.39/896.83 c | 597190 | 5862 25052 76014 | 334041 307747 149 | 0.000 % |
897.19/897.69 c | 597599 | 5862 25052 76014 | 334041 308156 149 | 0.000 % |
898.19/898.65 c | 598048 | 5862 25052 76014 | 334041 308605 149 | 0.000 % |
899.29/899.74 c | 598541 | 5862 25052 76014 | 334041 309098 149 | 0.000 % |
900.49/900.97 c | 599083 | 5862 25052 76014 | 334041 309640 149 | 0.000 % |
901.78/902.30 c | 599679 | 5862 25052 76014 | 334041 310236 149 | 0.000 % |
903.18/903.62 c | 600334 | 5862 25052 76014 | 310557 310891 149 | 0.000 % |
904.88/905.34 c | 601054 | 5862 25052 76014 | 310557 277704 150 | 0.000 % |
906.48/906.90 c | 601847 | 5862 25052 76014 | 310557 278497 150 | 0.000 % |
908.18/908.64 c | 602719 | 5862 25052 76014 | 310557 279369 150 | 0.000 % |
909.98/910.44 c | 603677 | 5862 25052 76014 | 310557 280327 150 | 0.000 % |
911.98/912.43 c | 604731 | 5862 25052 76014 | 310557 281381 150 | 0.000 % |
914.18/914.62 c | 605890 | 5862 25052 76014 | 310557 282540 150 | 0.000 % |
916.57/917.01 c | 607163 | 5862 25052 76014 | 310557 283813 150 | 0.000 % |
919.18/919.61 c | 608563 | 5862 25052 76014 | 310557 285213 149 | 0.000 % |
921.87/922.32 c | 610103 | 5862 25052 76014 | 2147483647 286753 149 | 0.000 % |
924.97/925.47 c | 611797 | 5862 25052 76014 | 2147483647 288447 150 | 0.000 % |
928.27/928.77 c | 613661 | 5862 25052 76014 | 2147483647 290311 150 | 0.000 % |
932.07/932.55 c | 615712 | 5862 25052 76014 | 2147483647 292362 150 | 0.000 % |
935.97/936.48 c | 617965 | 5862 25052 76014 | 2147483647 294615 150 | 0.000 % |
940.17/940.63 c | 620443 | 5862 25052 76014 | 2147483647 297093 150 | 0.000 % |
945.16/945.65 c | 623170 | 5862 25052 76014 | 2147483647 299820 150 | 0.000 % |
950.66/951.12 c | 626167 | 5862 25052 76014 | 2147483647 302817 150 | 0.000 % |
956.66/957.14 c | 629463 | 5862 25052 76014 | 2147483647 306113 150 | 0.000 % |
963.66/964.13 c | 633088 | 5862 25052 76014 | 2147483647 309738 150 | 0.000 % |
971.06/971.56 c | 637077 | 5862 25052 76014 | 2147483647 313727 151 | 0.000 % |
979.35/979.84 c | 641462 | 5862 25052 76014 | 2147483647 318112 151 | 0.000 % |
988.65/989.11 c | 646285 | 5862 25052 76014 | 2147483647 322935 151 | 0.000 % |
999.05/999.53 c | 651590 | 5862 25052 76014 | 2147483647 328240 151 | 0.000 % |
1010.45/1010.98 c | 657427 | 5862 25052 76014 | 2147483647 334077 151 | 0.000 % |
1010.75/1011.22 c | 657527 | 5862 25052 76014 | 2147483647 334177 151 | 0.000 % |
1011.05/1011.55 c | 657639 | 5862 25052 76014 | 2147483647 334289 151 | 0.000 % |
1011.35/1011.84 c | 657760 | 5862 25052 76014 | 2147483647 334410 151 | 0.000 % |
1011.65/1012.18 c | 657894 | 5862 25052 76014 | 2147483647 334544 151 | 0.000 % |
1012.05/1012.56 c | 658041 | 5862 25052 76014 | 2147483647 334691 151 | 0.000 % |
1012.55/1013.03 c | 658201 | 5862 25052 76014 | 2147483647 334851 151 | 0.000 % |
1012.94/1013.48 c | 658377 | 5862 25052 76014 | 2147483647 335027 151 | 0.000 % |
1013.44/1013.97 c | 658571 | 5862 25052 76014 | 2147483647 335221 151 | 0.000 % |
1014.04/1014.56 c | 658783 | 5862 25052 76014 | 2147483647 335433 151 | 0.000 % |
1014.64/1015.14 c | 659016 | 5862 25052 76014 | 2147483647 335666 151 | 0.000 % |
1015.34/1015.81 c | 659274 | 5862 25052 76014 | 2147483647 335924 151 | 0.000 % |
1015.94/1016.45 c | 659555 | 5862 25052 76014 | 2147483647 336205 151 | 0.000 % |
1016.74/1017.22 c | 659864 | 5862 25052 76014 | 2147483647 336514 151 | 0.000 % |
1017.54/1018.05 c | 660203 | 5862 25052 76014 | 336652 336853 151 | 0.000 % |
1018.74/1019.29 c | 660575 | 5862 25052 76014 | 336652 297458 151 | 0.000 % |
1019.64/1020.18 c | 660985 | 5862 25052 76014 | 336652 297868 151 | 0.000 % |
1020.64/1021.13 c | 661435 | 5862 25052 76014 | 336652 298318 151 | 0.000 % |
1021.54/1022.10 c | 661928 | 5862 25052 76014 | 336652 298811 151 | 0.000 % |
1022.74/1023.22 c | 662471 | 5862 25052 76014 | 336652 299354 151 | 0.000 % |
1023.84/1024.34 c | 663068 | 5862 25052 76014 | 336652 299951 151 | 0.000 % |
1025.24/1025.80 c | 663724 | 5862 25052 76014 | 336652 300607 151 | 0.000 % |
1026.64/1027.16 c | 664444 | 5862 25052 76014 | 336652 301327 151 | 0.000 % |
1028.24/1028.78 c | 665237 | 5862 25052 76014 | 336652 302120 151 | 0.000 % |
1030.04/1030.57 c | 666110 | 5862 25052 76014 | 336652 302993 151 | 0.000 % |
1031.94/1032.43 c | 667068 | 5862 25052 76014 | 336652 303951 151 | 0.000 % |
1034.14/1034.60 c | 668121 | 5862 25052 76014 | 336652 305004 151 | 0.000 % |
1036.44/1036.91 c | 669279 | 5862 25052 76014 | 336652 306162 151 | 0.000 % |
1039.04/1039.53 c | 670552 | 5862 25052 76014 | 2147483647 307435 151 | 0.000 % |
1041.83/1042.38 c | 671954 | 5862 25052 76014 | 2147483647 308837 151 | 0.000 % |
1044.83/1045.31 c | 673496 | 5862 25052 76014 | 2147483647 310379 151 | 0.000 % |
1048.23/1048.71 c | 675191 | 5862 25052 76014 | 2147483647 312074 151 | 0.000 % |
1051.93/1052.48 c | 677055 | 5862 25052 76014 | 2147483647 313938 151 | 0.000 % |
1056.03/1056.55 c | 679108 | 5862 25052 76014 | 2147483647 315991 151 | 0.000 % |
1060.43/1060.93 c | 681361 | 5862 25052 76014 | 2147483647 318244 151 | 0.000 % |
1065.23/1065.78 c | 683839 | 5862 25052 76014 | 2147483647 320722 151 | 0.000 % |
1070.42/1070.90 c | 686565 | 5862 25052 76014 | 2147483647 323448 151 | 0.000 % |
1076.52/1077.02 c | 689563 | 5862 25052 76014 | 2147483647 326446 151 | 0.000 % |
1082.92/1083.47 c | 692859 | 5862 25052 76014 | 326887 296633 152 | 0.000 % |
1089.32/1089.81 c | 696484 | 5862 25052 76014 | 326887 300258 152 | 0.000 % |
1096.31/1096.83 c | 700472 | 5862 25052 76014 | 2147483647 304246 152 | 0.000 % |
1104.31/1104.87 c | 704857 | 5862 25052 76014 | 2147483647 308631 152 | 0.000 % |
1113.01/1113.53 c | 709680 | 5862 25052 76014 | 2147483647 313454 152 | 0.000 % |
1122.91/1123.49 c | 714987 | 5862 25052 76014 | 2147483647 318761 153 | 0.000 % |
1133.90/1134.41 c | 720825 | 5862 25052 76014 | 2147483647 324599 153 | 0.000 % |
1146.60/1147.14 c | 727243 | 5862 25052 76014 | 2147483647 331017 153 | 0.000 % |
1146.90/1147.41 c | 727345 | 5862 25052 76014 | 2147483647 331119 153 | 0.000 % |
1147.20/1147.73 c | 727459 | 5862 25052 76014 | 2147483647 331233 153 | 0.000 % |
1147.50/1148.05 c | 727581 | 5862 25052 76014 | 2147483647 331355 153 | 0.000 % |
1147.90/1148.43 c | 727715 | 5862 25052 76014 | 2147483647 331489 153 | 0.000 % |
1148.29/1148.85 c | 727861 | 5862 25052 76014 | 2147483647 331635 153 | 0.000 % |
1148.69/1149.27 c | 728021 | 5862 25052 76014 | 2147483647 331795 153 | 0.000 % |
1149.29/1149.81 c | 728200 | 5862 25052 76014 | 2147483647 331974 153 | 0.000 % |
1149.79/1150.38 c | 728393 | 5862 25052 76014 | 2147483647 332167 153 | 0.000 % |
1150.29/1150.87 c | 728605 | 5862 25052 76014 | 2147483647 332379 153 | 0.000 % |
1150.89/1151.47 c | 728840 | 5862 25052 76014 | 2147483647 332614 153 | 0.000 % |
1151.49/1152.06 c | 729096 | 5862 25052 76014 | 2147483647 332870 153 | 0.000 % |
1152.30/1152.81 c | 729378 | 5862 25052 76014 | 2147483647 333152 153 | 0.000 % |
1152.99/1153.56 c | 729688 | 5862 25052 76014 | 2147483647 333462 153 | 0.000 % |
1153.69/1154.26 c | 730028 | 5862 25052 76014 | 333774 333802 153 | 0.000 % |
1154.99/1155.52 c | 730400 | 5862 25052 76014 | 333774 299780 153 | 0.000 % |
1155.89/1156.41 c | 730809 | 5862 25052 76014 | 333774 300189 153 | 0.000 % |
1156.79/1157.33 c | 731259 | 5862 25052 76014 | 333774 300639 153 | 0.000 % |
1157.69/1158.27 c | 731753 | 5862 25052 76014 | 333774 301133 153 | 0.000 % |
1158.89/1159.43 c | 732296 | 5862 25052 76014 | 333774 301676 153 | 0.000 % |
1160.19/1160.73 c | 732893 | 5862 25052 76014 | 333774 302273 153 | 0.000 % |
1161.39/1161.99 c | 733549 | 5862 25052 76014 | 333774 302929 153 | 0.000 % |
1162.89/1163.43 c | 734270 | 5862 25052 76014 | 333774 303650 153 | 0.000 % |
1164.39/1164.99 c | 735062 | 5862 25052 76014 | 333774 304442 153 | 0.000 % |
1166.28/1166.89 c | 735939 | 5862 25052 76014 | 333774 305319 153 | 0.000 % |
1168.29/1168.80 c | 736897 | 5862 25052 76014 | 333774 306277 153 | 0.000 % |
1170.28/1170.89 c | 737953 | 5862 25052 76014 | 333774 307333 153 | 0.000 % |
1172.58/1173.14 c | 739111 | 5862 25052 76014 | 333774 308491 153 | 0.000 % |
1175.18/1175.73 c | 740386 | 5862 25052 76014 | 2147483647 309766 153 | 0.000 % |
1177.88/1178.45 c | 741787 | 5862 25052 76014 | 2147483647 311167 153 | 0.000 % |
1180.88/1181.44 c | 743327 | 5862 25052 76014 | 2147483647 312707 153 | 0.000 % |
1184.18/1184.77 c | 745021 | 5862 25052 76014 | 2147483647 314401 153 | 0.000 % |
1187.98/1188.53 c | 746884 | 5862 25052 76014 | 2147483647 316264 152 | 0.000 % |
1191.88/1192.44 c | 748933 | 5862 25052 76014 | 2147483647 318313 153 | 0.000 % |
1196.07/1196.70 c | 751186 | 5862 25052 76014 | 2147483647 320566 153 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832713-1242786649/watcher-1832713-1242786649 -o /tmp/evaluation-result-1832713-1242786649/solver-1832713-1242786649 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832713-1242786649.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 14013
/proc/meminfo: memFree=1913528/2055920 swapFree=4179700/4192956
[pid=14013] ppid=14011 vsize=5356 CPUtime=0
/proc/14013/stat : 14013 (SatELiteGTI) S 14011 14013 13387 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306697669 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14013/statm: 1339 237 197 169 0 50 0
[startup+0.0861469 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 14013
/proc/meminfo: memFree=1913528/2055920 swapFree=4179700/4192956
[pid=14013] ppid=14011 vsize=5356 CPUtime=0
/proc/14013/stat : 14013 (SatELiteGTI) S 14011 14013 13387 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306697669 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14013/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102149 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 14013
/proc/meminfo: memFree=1913528/2055920 swapFree=4179700/4192956
[pid=14013] ppid=14011 vsize=5356 CPUtime=0
/proc/14013/stat : 14013 (SatELiteGTI) S 14011 14013 13387 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306697669 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14013/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302184 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 14013
/proc/meminfo: memFree=1913528/2055920 swapFree=4179700/4192956
[pid=14013] ppid=14011 vsize=5356 CPUtime=0.09
/proc/14013/stat : 14013 (SatELiteGTI) S 14011 14013 13387 0 -1 4194304 336 1101 0 0 0 0 9 0 16 0 1 0 306697669 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14013/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5356
[startup+0.701244 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 14013
/proc/meminfo: memFree=1913528/2055920 swapFree=4179700/4192956
[pid=14013] ppid=14011 vsize=5356 CPUtime=0.09
/proc/14013/stat : 14013 (SatELiteGTI) S 14011 14013 13387 0 -1 4194304 336 1101 0 0 0 0 9 0 16 0 1 0 306697669 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14013/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5356
[startup+1.50135 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 14019
/proc/meminfo: memFree=1908264/2055920 swapFree=4179700/4192956
[pid=14013] ppid=14011 vsize=5356 CPUtime=0.09
/proc/14013/stat : 14013 (SatELiteGTI) S 14011 14013 13387 0 -1 4194304 336 1101 0 0 0 0 9 0 16 0 1 0 306697669 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14013/statm: 1339 239 197 169 0 50 0
[pid=14019] ppid=14013 vsize=7008 CPUtime=1.37
/proc/14019/stat : 14019 (minisat_static) R 14013 14013 13387 0 -1 4194304 1485 0 0 0 137 0 0 0 25 0 1 0 306697680 7176192 1471 1992294400 134512640 135215339 4294956240 18446744073709551615 134721303 0 0 4096 3 0 0 0 17 1 0 0
/proc/14019/statm: 1752 1471 77 171 0 1579 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 12364
[startup+3.10158 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 14019
/proc/meminfo: memFree=1906280/2055920 swapFree=4179700/4192956
[pid=14013] ppid=14011 vsize=5356 CPUtime=0.09
/proc/14013/stat : 14013 (SatELiteGTI) S 14011 14013 13387 0 -1 4194304 336 1101 0 0 0 0 9 0 16 0 1 0 306697669 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14013/statm: 1339 239 197 169 0 50 0
[pid=14019] ppid=14013 vsize=9548 CPUtime=2.97
/proc/14019/stat : 14019 (minisat_static) R 14013 14013 13387 0 -1 4194304 2138 0 0 0 296 1 0 0 25 0 1 0 306697680 9777152 2124 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14019/statm: 2387 2125 77 171 0 2214 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 14904
[startup+6.30105 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 14019
/proc/meminfo: memFree=1900008/2055920 swapFree=4179700/4192956
[pid=14013] ppid=14011 vsize=5356 CPUtime=0.09
/proc/14013/stat : 14013 (SatELiteGTI) S 14011 14013 13387 0 -1 4194304 336 1101 0 0 0 0 9 0 16 0 1 0 306697669 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14013/statm: 1339 239 197 169 0 50 0
[pid=14019] ppid=14013 vsize=15232 CPUtime=6.17
/proc/14019/stat : 14019 (minisat_static) R 14013 14013 13387 0 -1 4194304 3555 0 0 0 614 3 0 0 25 0 1 0 306697680 15597568 3541 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14019/statm: 3808 3541 77 171 0 3635 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 20588
[startup+12.702 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 14019
/proc/meminfo: memFree=1890408/2055920 swapFree=4179700/4192956
[pid=14013] ppid=14011 vsize=5356 CPUtime=0.09
/proc/14013/stat : 14013 (SatELiteGTI) S 14011 14013 13387 0 -1 4194304 336 1101 0 0 0 0 9 0 16 0 1 0 306697669 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14013/statm: 1339 239 197 169 0 50 0
[pid=14019] ppid=14013 vsize=24240 CPUtime=12.56
/proc/14019/stat : 14019 (minisat_static) R 14013 14013 13387 0 -1 4194304 5817 0 0 0 1251 5 0 0 25 0 1 0 306697680 24821760 5803 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/14019/statm: 6060 5803 77 171 0 5887 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 29596
[startup+25.5028 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 14019
/proc/meminfo: memFree=1875688/2055920 swapFree=4179700/4192956
[pid=14013] ppid=14011 vsize=5356 CPUtime=0.09
/proc/14013/stat : 14013 (SatELiteGTI) S 14011 14013 13387 0 -1 4194304 336 1101 0 0 0 0 9 0 16 0 1 0 306697669 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14013/statm: 1339 239 197 169 0 50 0
[pid=14019] ppid=14013 vsize=38300 CPUtime=25.34
/proc/14019/stat : 14019 (minisat_static) R 14013 14013 13387 0 -1 4194304 9309 0 0 0 2526 8 0 0 25 0 1 0 306697680 39219200 9295 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14019/statm: 9575 9295 77 171 0 9402 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 43656
[startup+51.1025 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 14019
/proc/meminfo: memFree=1854696/2055920 swapFree=4179700/4192956
[pid=14013] ppid=14011 vsize=5356 CPUtime=0.09
/proc/14013/stat : 14013 (SatELiteGTI) S 14011 14013 13387 0 -1 4194304 336 1101 0 0 0 0 9 0 16 0 1 0 306697669 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14013/statm: 1339 239 197 169 0 50 0
[pid=14019] ppid=14013 vsize=59468 CPUtime=50.93
/proc/14019/stat : 14019 (minisat_static) R 14013 14013 13387 0 -1 4194304 14590 0 0 0 5079 14 0 0 25 0 1 0 306697680 60895232 14576 1992294400 134512640 135215339 4294956240 18446744073709551615 134538488 0 0 4096 3 0 0 0 17 1 0 0
/proc/14019/statm: 14867 14576 77 171 0 14694 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 64824
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 14019
/proc/meminfo: memFree=1823656/2055920 swapFree=4179700/4192956
[pid=14013] ppid=14011 vsize=5356 CPUtime=0.09
/proc/14013/stat : 14013 (SatELiteGTI) S 14011 14013 13387 0 -1 4194304 336 1101 0 0 0 0 9 0 16 0 1 0 306697669 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14013/statm: 1339 239 197 169 0 50 0
[pid=14019] ppid=14013 vsize=90228 CPUtime=102.09
/proc/14019/stat : 14019 (minisat_static) R 14013 14013 13387 0 -1 4194304 22242 0 0 0 10187 22 0 0 25 0 1 0 306697680 92393472 22228 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14019/statm: 22557 22228 77 171 0 22384 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 95584
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14019
/proc/meminfo: memFree=1794024/2055920 swapFree=4179700/4192956
[pid=14013] ppid=14011 vsize=5356 CPUtime=0.09
/proc/14013/stat : 14013 (SatELiteGTI) S 14011 14013 13387 0 -1 4194304 336 1101 0 0 0 0 9 0 16 0 1 0 306697669 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14013/statm: 1339 239 197 169 0 50 0
[pid=14019] ppid=14013 vsize=119664 CPUtime=162.07
/proc/14019/stat : 14019 (minisat_static) R 14013 14013 13387 0 -1 4194304 29668 0 0 0 16175 32 0 0 25 0 1 0 306697680 122535936 29654 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14019/statm: 29916 29654 77 171 0 29743 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 125020
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14019
/proc/meminfo: memFree=1769832/2055920 swapFree=4179700/4192956
[pid=14013] ppid=14011 vsize=5356 CPUtime=0.09
/proc/14013/stat : 14013 (SatELiteGTI) S 14011 14013 13387 0 -1 4194304 336 1101 0 0 0 0 9 0 16 0 1 0 306697669 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14013/statm: 1339 239 197 169 0 50 0
[pid=14019] ppid=14013 vsize=143696 CPUtime=222.04
/proc/14019/stat : 14019 (minisat_static) R 14013 14013 13387 0 -1 4194304 35602 0 0 0 22165 39 0 0 25 0 1 0 306697680 147144704 35588 1992294400 134512640 135215339 4294956240 18446744073709551615 134529157 0 0 4096 3 0 0 0 17 1 0 0
/proc/14019/statm: 35924 35588 77 171 0 35751 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 149052
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14019
/proc/meminfo: memFree=1747816/2055920 swapFree=4179700/4192956
[pid=14013] ppid=14011 vsize=5356 CPUtime=0.09
/proc/14013/stat : 14013 (SatELiteGTI) S 14011 14013 13387 0 -1 4194304 336 1101 0 0 0 0 9 0 16 0 1 0 306697669 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14013/statm: 1339 239 197 169 0 50 0
[pid=14019] ppid=14013 vsize=165740 CPUtime=282.02
/proc/14019/stat : 14019 (minisat_static) R 14013 14013 13387 0 -1 4194304 41140 0 0 0 28155 47 0 0 25 0 1 0 306697680 169717760 41126 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14019/statm: 41435 41126 77 171 0 41262 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 171096
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14019
/proc/meminfo: memFree=1727080/2055920 swapFree=4179700/4192956
[pid=14013] ppid=14011 vsize=5356 CPUtime=0.09
/proc/14013/stat : 14013 (SatELiteGTI) S 14011 14013 13387 0 -1 4194304 336 1101 0 0 0 0 9 0 16 0 1 0 306697669 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14013/statm: 1339 239 197 169 0 50 0
[pid=14019] ppid=14013 vsize=186544 CPUtime=342
/proc/14019/stat : 14019 (minisat_static) R 14013 14013 13387 0 -1 4194304 46240 0 0 0 34146 54 0 0 25 0 1 0 306697680 191021056 46226 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14019/statm: 46636 46226 77 171 0 46463 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 191900
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14019
/proc/meminfo: memFree=1715944/2055920 swapFree=4179700/4192956
[pid=14013] ppid=14011 vsize=5356 CPUtime=0.09
/proc/14013/stat : 14013 (SatELiteGTI) S 14011 14013 13387 0 -1 4194304 336 1101 0 0 0 0 9 0 16 0 1 0 306697669 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14013/statm: 1339 239 197 169 0 50 0
[pid=14019] ppid=14013 vsize=197368 CPUtime=401.98
/proc/14019/stat : 14019 (minisat_static) R 14013 14013 13387 0 -1 4194304 48967 0 0 0 40141 57 0 0 25 0 1 0 306697680 202104832 48953 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14019/statm: 49342 48953 77 171 0 49169 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 202724
[startup+462.302 s]
################
# More data... #
################
/proc/14019/statm: 50035 49621 77 171 0 49862 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 205496
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14019
/proc/meminfo: memFree=1709736/2055920 swapFree=4179700/4192956
[pid=14013] ppid=14011 vsize=5356 CPUtime=0.09
/proc/14013/stat : 14013 (SatELiteGTI) S 14011 14013 13387 0 -1 4194304 336 1101 0 0 0 0 9 0 16 0 1 0 306697669 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14013/statm: 1339 239 197 169 0 50 0
[pid=14019] ppid=14013 vsize=203440 CPUtime=581.91
/proc/14019/stat : 14019 (minisat_static) R 14013 14013 13387 0 -1 4194304 50475 0 0 0 58132 59 0 0 25 0 1 0 306697680 208322560 50461 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14019/statm: 50860 50461 77 171 0 50687 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 208796
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14021
/proc/meminfo: memFree=1707688/2055920 swapFree=4179700/4192956
[pid=14013] ppid=14011 vsize=5356 CPUtime=0.09
/proc/14013/stat : 14013 (SatELiteGTI) S 14011 14013 13387 0 -1 4194304 336 1101 0 0 0 0 9 0 16 0 1 0 306697669 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14013/statm: 1339 239 197 169 0 50 0
[pid=14019] ppid=14013 vsize=205156 CPUtime=641.89
/proc/14019/stat : 14019 (minisat_static) R 14013 14013 13387 0 -1 4194304 50893 0 0 0 64129 60 0 0 25 0 1 0 306697680 210079744 50879 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/14019/statm: 51289 50879 77 171 0 51116 0
Current children cumulated CPU time (s) 641.98
Current children cumulated vsize (KiB) 210512
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14021
/proc/meminfo: memFree=1697256/2055920 swapFree=4179700/4192956
[pid=14013] ppid=14011 vsize=5356 CPUtime=0.09
/proc/14013/stat : 14013 (SatELiteGTI) S 14011 14013 13387 0 -1 4194304 336 1101 0 0 0 0 9 0 16 0 1 0 306697669 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14013/statm: 1339 239 197 169 0 50 0
[pid=14019] ppid=14013 vsize=215584 CPUtime=701.86
/proc/14019/stat : 14019 (minisat_static) R 14013 14013 13387 0 -1 4194304 53515 0 0 0 70123 63 0 0 25 0 1 0 306697680 220758016 53501 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14019/statm: 53896 53501 77 171 0 53723 0
Current children cumulated CPU time (s) 701.95
Current children cumulated vsize (KiB) 220940
[startup+762.307 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14021
/proc/meminfo: memFree=1697128/2055920 swapFree=4179700/4192956
[pid=14013] ppid=14011 vsize=5356 CPUtime=0.09
/proc/14013/stat : 14013 (SatELiteGTI) S 14011 14013 13387 0 -1 4194304 336 1101 0 0 0 0 9 0 16 0 1 0 306697669 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14013/statm: 1339 239 197 169 0 50 0
[pid=14019] ppid=14013 vsize=215584 CPUtime=761.84
/proc/14019/stat : 14019 (minisat_static) R 14013 14013 13387 0 -1 4194304 53515 0 0 0 76121 63 0 0 25 0 1 0 306697680 220758016 53501 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/14019/statm: 53896 53501 77 171 0 53723 0
Current children cumulated CPU time (s) 761.93
Current children cumulated vsize (KiB) 220940
[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14021
/proc/meminfo: memFree=1697128/2055920 swapFree=4179700/4192956
[pid=14013] ppid=14011 vsize=5356 CPUtime=0.09
/proc/14013/stat : 14013 (SatELiteGTI) S 14011 14013 13387 0 -1 4194304 336 1101 0 0 0 0 9 0 16 0 1 0 306697669 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14013/statm: 1339 239 197 169 0 50 0
[pid=14019] ppid=14013 vsize=215584 CPUtime=821.82
/proc/14019/stat : 14019 (minisat_static) R 14013 14013 13387 0 -1 4194304 53515 0 0 0 82118 64 0 0 25 0 1 0 306697680 220758016 53501 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14019/statm: 53896 53501 77 171 0 53723 0
Current children cumulated CPU time (s) 821.91
Current children cumulated vsize (KiB) 220940
[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14021
/proc/meminfo: memFree=1697064/2055920 swapFree=4179700/4192956
[pid=14013] ppid=14011 vsize=5356 CPUtime=0.09
/proc/14013/stat : 14013 (SatELiteGTI) S 14011 14013 13387 0 -1 4194304 336 1101 0 0 0 0 9 0 16 0 1 0 306697669 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14013/statm: 1339 239 197 169 0 50 0
[pid=14019] ppid=14013 vsize=215584 CPUtime=881.8
/proc/14019/stat : 14019 (minisat_static) R 14013 14013 13387 0 -1 4194304 53515 0 0 0 88116 64 0 0 25 0 1 0 306697680 220758016 53501 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14019/statm: 53896 53501 77 171 0 53723 0
Current children cumulated CPU time (s) 881.89
Current children cumulated vsize (KiB) 220940
[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14021
/proc/meminfo: memFree=1696936/2055920 swapFree=4179700/4192956
[pid=14013] ppid=14011 vsize=5356 CPUtime=0.09
/proc/14013/stat : 14013 (SatELiteGTI) S 14011 14013 13387 0 -1 4194304 336 1101 0 0 0 0 9 0 16 0 1 0 306697669 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14013/statm: 1339 239 197 169 0 50 0
[pid=14019] ppid=14013 vsize=215584 CPUtime=941.78
/proc/14019/stat : 14019 (minisat_static) R 14013 14013 13387 0 -1 4194304 53515 0 0 0 94114 64 0 0 25 0 1 0 306697680 220758016 53501 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/14019/statm: 53896 53501 77 171 0 53723 0
Current children cumulated CPU time (s) 941.87
Current children cumulated vsize (KiB) 220940
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14021
/proc/meminfo: memFree=1696808/2055920 swapFree=4179700/4192956
[pid=14013] ppid=14011 vsize=5356 CPUtime=0.09
/proc/14013/stat : 14013 (SatELiteGTI) S 14011 14013 13387 0 -1 4194304 336 1101 0 0 0 0 9 0 16 0 1 0 306697669 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14013/statm: 1339 239 197 169 0 50 0
[pid=14019] ppid=14013 vsize=215584 CPUtime=1001.75
/proc/14019/stat : 14019 (minisat_static) R 14013 14013 13387 0 -1 4194304 53515 0 0 0 100111 64 0 0 25 0 1 0 306697680 220758016 53501 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14019/statm: 53896 53501 77 171 0 53723 0
Current children cumulated CPU time (s) 1001.84
Current children cumulated vsize (KiB) 220940
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14021
/proc/meminfo: memFree=1693800/2055920 swapFree=4179700/4192956
[pid=14013] ppid=14011 vsize=5356 CPUtime=0.09
/proc/14013/stat : 14013 (SatELiteGTI) S 14011 14013 13387 0 -1 4194304 336 1101 0 0 0 0 9 0 16 0 1 0 306697669 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14013/statm: 1339 239 197 169 0 50 0
[pid=14019] ppid=14013 vsize=218488 CPUtime=1061.74
/proc/14019/stat : 14019 (minisat_static) R 14013 14013 13387 0 -1 4194304 54244 0 0 0 106108 66 0 0 25 0 1 0 306697680 223731712 54230 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/14019/statm: 54622 54230 77 171 0 54449 0
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (KiB) 223844
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14021
/proc/meminfo: memFree=1693736/2055920 swapFree=4179700/4192956
[pid=14013] ppid=14011 vsize=5356 CPUtime=0.09
/proc/14013/stat : 14013 (SatELiteGTI) S 14011 14013 13387 0 -1 4194304 336 1101 0 0 0 0 9 0 16 0 1 0 306697669 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14013/statm: 1339 239 197 169 0 50 0
[pid=14019] ppid=14013 vsize=218488 CPUtime=1121.72
/proc/14019/stat : 14019 (minisat_static) R 14013 14013 13387 0 -1 4194304 54244 0 0 0 112106 66 0 0 25 0 1 0 306697680 223731712 54230 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/14019/statm: 54622 54230 77 171 0 54449 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 223844
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14021
/proc/meminfo: memFree=1692776/2055920 swapFree=4179700/4192956
[pid=14013] ppid=14011 vsize=5356 CPUtime=0.09
/proc/14013/stat : 14013 (SatELiteGTI) S 14011 14013 13387 0 -1 4194304 336 1101 0 0 0 0 9 0 16 0 1 0 306697669 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14013/statm: 1339 239 197 169 0 50 0
[pid=14019] ppid=14013 vsize=219280 CPUtime=1181.69
/proc/14019/stat : 14019 (minisat_static) R 14013 14013 13387 0 -1 4194304 54465 0 0 0 118103 66 0 0 25 0 1 0 306697680 224542720 54451 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14019/statm: 54820 54451 77 171 0 54647 0
Current children cumulated CPU time (s) 1181.78
Current children cumulated vsize (KiB) 224636
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14021
/proc/meminfo: memFree=1692712/2055920 swapFree=4179700/4192956
[pid=14013] ppid=14011 vsize=5356 CPUtime=0.09
/proc/14013/stat : 14013 (SatELiteGTI) S 14011 14013 13387 0 -1 4194304 336 1101 0 0 0 0 9 0 16 0 1 0 306697669 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14013/statm: 1339 239 197 169 0 50 0
[pid=14019] ppid=14013 vsize=219280 CPUtime=1199.99
/proc/14019/stat : 14019 (minisat_static) R 14013 14013 13387 0 -1 4194304 54465 0 0 0 119933 66 0 0 25 0 1 0 306697680 224542720 54451 1992294400 134512640 135215339 4294956240 18446744073709551615 134528884 0 0 4096 3 0 0 0 17 1 0 0
/proc/14019/statm: 54820 54451 77 171 0 54647 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 224636
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14013 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=99984
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=10998
# CPU time returned by wait4() is 0.110982
# while last known CPU time is 1200.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.61
CPU time (s): 1200.08
CPU user time (s): 1199.42
CPU system time (s): 0.66
CPU usage (%): 99.9557
Max. virtual memory (cumulated for all children) (KiB): 224636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.099984
system time used= 0.010998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1437
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= 15
involuntary context switches= 7
runsolver used 1.37879 second user time and 3.09753 second system time
The end
Begin job on node30 at 2009-05-20 04:30:49
IDJOB=1832713
IDBENCH=70320
IDSOLVER=671
FILE ID=node30/1832713-1242786649
PBS_JOBID= 9322375
Free space on /tmp= 66400 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/6000/unif-k3-r4.2-v6000-c25200-S2100934911-025.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832713-1242786649/watcher-1832713-1242786649 -o /tmp/evaluation-result-1832713-1242786649/solver-1832713-1242786649 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832713-1242786649.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 094bbc8049ac48071777e2655eaf782a
RANDOM SEED=2075165198
node30.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.265
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.265
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: 1914008 kB
Buffers: 25352 kB
Cached: 70556 kB
SwapCached: 7588 kB
Active: 38824 kB
Inactive: 66084 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1914008 kB
SwapTotal: 4192956 kB
SwapFree: 4179700 kB
Dirty: 2036 kB
Writeback: 0 kB
Mapped: 14048 kB
Slab: 23096 kB
Committed_AS: 1134168 kB
PageTables: 1360 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66396 MiB
End job on node30 at 2009-05-20 04:50:52