0.00/0.00 c Parsing...
0.00/0.03 c ==============================================================================
0.00/0.03 c | | ORIGINAL | LEARNT | |
0.00/0.03 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.03 c ==============================================================================
0.00/0.03 c | 0 | 48442 97560 | 14532 0 0 nan | 0.000 % |
0.00/0.11 c | 0 | 47714 131916 | -- 0 -- -- | -- | -728/34356
0.00/0.11 c ==============================================================================
0.00/0.11 c Result : #vars: 702 #clauses: 47714 #literals: 131916
0.00/0.11 c CPU time: 0.104984 s
0.00/0.11 c ==============================================================================
0.00/0.15 c This is MiniSat 2.0 beta
0.00/0.15 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.15 c ============================[ Problem Statistics ]=============================
0.00/0.15 c | |
0.00/0.16 c | Number of variables: 702 |
0.00/0.16 c | Number of clauses: 47714 |
0.00/0.18 c | Parsing time: 0.02 s |
0.00/0.18 c ============================[ Search Statistics ]==============================
0.00/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.18 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.18 c ===============================================================================
0.00/0.18 c | 0 | 702 47714 131916 | 15904 0 nan | 0.000 % |
0.00/0.19 c | 101 | 702 47714 131916 | 15904 101 142 | 0.000 % |
0.00/0.19 c | 201 | 702 47714 131916 | 15904 201 128 | 0.000 % |
0.14/0.20 c | 302 | 702 47714 131916 | 15904 302 126 | 0.000 % |
0.14/0.21 c | 413 | 702 47714 131916 | 15904 413 126 | 0.000 % |
0.14/0.22 c | 513 | 702 47714 131916 | 15904 513 121 | 0.000 % |
0.14/0.23 c | 626 | 702 47714 131916 | 15904 626 122 | 0.000 % |
0.14/0.23 c | 747 | 702 47714 131916 | 15904 747 122 | 0.000 % |
0.14/0.24 c | 847 | 702 47714 131916 | 15904 847 121 | 0.000 % |
0.14/0.25 c | 957 | 702 47714 131916 | 15904 957 118 | 0.000 % |
0.14/0.26 c | 1079 | 702 47714 131916 | 15904 1079 118 | 0.000 % |
0.14/0.27 c | 1212 | 702 47714 131916 | 15904 1212 119 | 0.000 % |
0.14/0.28 c | 1312 | 702 47714 131916 | 15904 1312 116 | 0.000 % |
0.14/0.29 c | 1422 | 702 47714 131916 | 15904 1422 114 | 0.000 % |
0.14/0.30 c | 1543 | 702 47714 131916 | 15904 1543 114 | 0.000 % |
0.14/0.31 c | 1676 | 702 47714 131916 | 15904 1676 115 | 0.000 % |
0.14/0.32 c | 1823 | 702 47714 131916 | 15904 1823 114 | 0.000 % |
0.14/0.33 c | 1923 | 702 47714 131916 | 15904 1923 112 | 0.000 % |
0.14/0.34 c | 2033 | 702 47714 131916 | 15904 2033 111 | 0.000 % |
0.14/0.35 c | 2154 | 702 47714 131916 | 15904 2154 112 | 0.000 % |
0.14/0.36 c | 2289 | 702 47714 131916 | 15904 2289 113 | 0.000 % |
0.14/0.38 c | 2435 | 702 47714 131916 | 15904 2435 112 | 0.000 % |
0.14/0.39 c | 2596 | 702 47714 131916 | 15904 2596 111 | 0.000 % |
0.14/0.40 c | 2696 | 702 47714 131916 | 15904 2696 111 | 0.000 % |
0.14/0.41 c | 2806 | 702 47714 131916 | 15904 2806 111 | 0.000 % |
0.14/0.42 c | 2927 | 702 47714 131916 | 15904 2927 112 | 0.000 % |
0.14/0.43 c | 3063 | 702 47714 131916 | 15904 3063 112 | 0.000 % |
0.14/0.45 c | 3211 | 702 47714 131916 | 15904 3211 114 | 0.000 % |
0.14/0.46 c | 3371 | 702 47714 131916 | 15904 3371 114 | 0.000 % |
0.14/0.48 c | 3547 | 702 47714 131916 | 15904 3547 115 | 0.000 % |
0.14/0.49 c | 3647 | 702 47714 131916 | 15904 3647 116 | 0.000 % |
0.14/0.50 c | 3758 | 702 47714 131916 | 15904 3758 116 | 0.000 % |
0.14/0.51 c | 3879 | 702 47714 131916 | 15904 3879 117 | 0.000 % |
0.14/0.53 c | 4013 | 702 47714 131916 | 15904 4013 117 | 0.000 % |
0.14/0.54 c | 4159 | 702 47714 131916 | 15904 4159 118 | 0.000 % |
0.14/0.56 c | 4319 | 702 47714 131916 | 15904 4319 117 | 0.000 % |
0.14/0.58 c | 4495 | 702 47714 131916 | 15904 4495 117 | 0.000 % |
0.14/0.60 c | 4688 | 702 47714 131916 | 15904 4688 117 | 0.000 % |
0.14/0.61 c | 4789 | 702 47714 131916 | 15904 4789 117 | 0.000 % |
0.14/0.62 c | 4901 | 702 47714 131916 | 15904 4901 116 | 0.000 % |
0.14/0.63 c | 5026 | 702 47714 131916 | 15904 5026 116 | 0.000 % |
0.14/0.65 c | 5162 | 702 47714 131916 | 15904 5162 116 | 0.000 % |
0.14/0.66 c | 5309 | 702 47714 131916 | 15904 5309 116 | 0.000 % |
0.14/0.68 c | 5469 | 702 47714 131916 | 15904 5469 116 | 0.000 % |
0.14/0.71 c | 5646 | 702 47714 131916 | 15904 5646 117 | 0.000 % |
0.14/0.73 c | 5839 | 702 47714 131916 | 15904 5839 117 | 0.000 % |
0.14/0.76 c | 6051 | 702 47714 131916 | 15904 6051 117 | 0.000 % |
0.14/0.78 c | 6151 | 702 47714 131916 | 15904 6151 118 | 0.000 % |
0.14/0.79 c | 6262 | 702 47714 131916 | 15904 6262 118 | 0.000 % |
0.14/0.82 c | 6384 | 702 47714 131916 | 15904 6384 119 | 0.000 % |
0.14/0.84 c | 6518 | 702 47714 131916 | 15904 6518 120 | 0.000 % |
0.14/0.86 c | 6664 | 702 47714 131916 | 15904 6664 119 | 0.000 % |
0.14/0.88 c | 6824 | 702 47714 131916 | 15904 6824 119 | 0.000 % |
0.14/0.91 c | 7000 | 702 47714 131916 | 15904 7000 118 | 0.030 % |
0.14/0.93 c | 7195 | 702 47714 131916 | 15904 7195 119 | 0.000 % |
0.14/0.96 c | 7408 | 702 47714 131916 | 15904 7408 119 | 0.000 % |
0.14/0.99 c | 7643 | 702 47714 131916 | 15904 7643 120 | 0.000 % |
0.97/1.00 c | 7746 | 702 47714 131916 | 15904 7746 120 | 0.000 % |
0.97/1.02 c | 7857 | 702 47714 131916 | 15904 7857 120 | 0.000 % |
0.97/1.03 c | 7978 | 702 47714 131916 | 15904 7978 120 | 0.000 % |
0.97/1.04 c | 8112 | 702 47714 131916 | 15904 8112 119 | 0.000 % |
0.97/1.06 c | 8258 | 702 47714 131916 | 15904 8258 119 | 0.000 % |
0.97/1.08 c | 8418 | 702 47714 131916 | 15904 8418 118 | 0.000 % |
0.97/1.10 c | 8594 | 702 47714 131916 | 15904 8594 118 | 0.000 % |
1.07/1.12 c | 8787 | 702 47714 131916 | 15904 8787 118 | 0.000 % |
1.07/1.15 c | 9001 | 702 47714 131916 | 15904 9001 119 | 0.000 % |
1.07/1.20 c | 9234 | 702 47714 131916 | 15904 9234 120 | 0.000 % |
1.17/1.23 c | 9490 | 702 47714 131916 | 15904 9490 120 | 0.000 % |
1.17/1.25 c | 9590 | 702 47714 131916 | 15904 9590 120 | 0.000 % |
1.17/1.26 c | 9700 | 702 47714 131916 | 15904 9700 121 | 0.000 % |
1.17/1.28 c | 9822 | 702 47714 131916 | 15904 9822 121 | 0.000 % |
1.26/1.31 c | 9956 | 702 47714 131916 | 15904 9956 121 | 0.000 % |
1.26/1.33 c | 10102 | 702 47714 131916 | 2147483647 10102 121 | 0.000 % |
1.26/1.36 c | 10262 | 702 47714 131916 | 2147483647 10262 121 | 0.000 % |
1.26/1.39 c | 10440 | 702 47714 131916 | 2147483647 10440 121 | 0.000 % |
1.36/1.42 c | 10634 | 702 47714 131916 | 2147483647 10634 120 | 0.000 % |
1.36/1.45 c | 10847 | 702 47714 131916 | 2147483647 10847 120 | 0.000 % |
1.36/1.48 c | 11080 | 702 47714 131916 | 2147483647 11080 119 | 0.000 % |
1.46/1.54 c | 11336 | 702 47714 131916 | 2147483647 11336 119 | 0.000 % |
1.46/1.60 c | 11618 | 702 47714 131916 | 2147483647 11618 119 | 0.000 % |
1.56/1.62 c | 11718 | 702 47714 131916 | 2147483647 11718 119 | 0.000 % |
1.56/1.65 c | 11828 | 702 47714 131916 | 2147483647 11828 119 | 0.000 % |
1.56/1.67 c | 11950 | 702 47714 131916 | 2147483647 11950 119 | 0.000 % |
1.66/1.70 c | 12084 | 702 47714 131916 | 2147483647 12084 119 | 0.000 % |
1.66/1.74 c | 12232 | 702 47714 131916 | 2147483647 12232 119 | 0.000 % |
1.66/1.77 c | 12392 | 702 47714 131916 | 2147483647 12392 119 | 0.000 % |
1.77/1.82 c | 12568 | 702 47714 131916 | 2147483647 12568 119 | 0.000 % |
1.77/1.86 c | 12762 | 702 47714 131916 | 2147483647 12762 119 | 0.000 % |
1.86/1.90 c | 12974 | 702 47714 131916 | 2147483647 12974 120 | 0.000 % |
1.86/1.94 c | 13211 | 702 47714 131916 | 2147483647 13211 120 | 0.000 % |
1.86/1.99 c | 13467 | 702 47714 131916 | 2147483647 13467 120 | 0.000 % |
1.96/2.03 c | 13749 | 702 47714 131916 | 2147483647 13749 120 | 0.000 % |
1.96/2.08 c | 14059 | 702 47714 131916 | 2147483647 14059 120 | 0.000 % |
2.07/2.11 c | 14160 | 702 47714 131916 | 2147483647 14160 120 | 0.000 % |
2.07/2.13 c | 14270 | 702 47714 131916 | 2147483647 14270 120 | 0.000 % |
2.07/2.15 c | 14391 | 702 47714 131916 | 2147483647 14391 120 | 0.000 % |
2.07/2.17 c | 14525 | 702 47714 131916 | 2147483647 14525 120 | 0.000 % |
2.07/2.19 c | 14671 | 702 47714 131916 | 2147483647 14671 120 | 0.000 % |
2.17/2.22 c | 14831 | 702 47714 131916 | 2147483647 14831 120 | 0.000 % |
2.17/2.25 c | 15009 | 702 47714 131916 | 2147483647 15009 119 | 0.000 % |
2.17/2.30 c | 15203 | 702 47714 131916 | 2147483647 15203 120 | 0.000 % |
2.26/2.34 c | 15416 | 702 47714 131916 | 2147483647 15416 120 | 0.000 % |
2.26/2.39 c | 15651 | 702 47714 131916 | 2147483647 15651 120 | 0.000 % |
2.36/2.45 c | 15908 | 702 47714 131916 | 2147483647 15908 120 | 0.000 % |
2.46/2.52 c | 16190 | 702 47714 131916 | 2147483647 16190 120 | 0.000 % |
2.46/2.58 c | 16501 | 702 47714 131916 | 2147483647 16501 120 | 0.000 % |
2.56/2.69 c | 16840 | 702 47714 131916 | 2147483647 16840 120 | 0.000 % |
2.66/2.73 c | 16940 | 702 47714 131916 | 2147483647 16940 121 | 0.000 % |
2.66/2.75 c | 17050 | 702 47714 131916 | 2147483647 17050 121 | 0.000 % |
2.76/2.80 c | 17173 | 702 47714 131916 | 2147483647 17173 121 | 0.000 % |
2.76/2.83 c | 17306 | 702 47714 131916 | 2147483647 17306 121 | 0.000 % |
2.76/2.87 c | 17454 | 702 47714 131916 | 2147483647 17454 121 | 0.000 % |
2.86/2.91 c | 17614 | 702 47714 131916 | 2147483647 17614 121 | 0.000 % |
2.86/2.94 c | 17793 | 702 47714 131916 | 2147483647 17793 121 | 0.000 % |
2.86/2.99 c | 17986 | 702 47714 131916 | 2147483647 17986 121 | 0.000 % |
2.96/3.04 c | 18199 | 702 47714 131916 | 2147483647 18199 121 | 0.000 % |
3.06/3.10 c | 18432 | 702 47714 131916 | 2147483647 18432 120 | 0.000 % |
3.06/3.19 c | 18689 | 702 47714 131916 | 2147483647 18689 120 | 0.000 % |
3.16/3.28 c | 18970 | 702 47714 131916 | 2147483647 18970 121 | 0.000 % |
3.26/3.37 c | 19279 | 702 47714 131916 | 2147483647 19279 121 | 0.000 % |
3.36/3.45 c | 19618 | 702 47714 131916 | 2147483647 19618 121 | 0.000 % |
3.46/3.56 c | 19992 | 702 47714 131916 | 2147483647 19992 121 | 0.000 % |
3.56/3.60 c | 20092 | 702 47714 131916 | 2147483647 20092 121 | 0.000 % |
3.56/3.64 c | 20202 | 702 47714 131916 | 2147483647 20202 121 | 0.000 % |
3.56/3.70 c | 20323 | 702 47714 131916 | 2147483647 20323 121 | 0.000 % |
3.65/3.73 c | 20457 | 702 47714 131916 | 2147483647 20457 121 | 0.000 % |
3.65/3.78 c | 20604 | 702 47714 131916 | 2147483647 20604 121 | 0.000 % |
3.76/3.82 c | 20764 | 702 47714 131916 | 2147483647 20764 121 | 0.000 % |
3.76/3.86 c | 20940 | 702 47714 131916 | 2147483647 20940 121 | 0.000 % |
3.86/3.91 c | 21136 | 702 47714 131916 | 2147483647 21136 121 | 0.000 % |
3.86/3.97 c | 21348 | 702 47714 131916 | 2147483647 21348 120 | 0.000 % |
3.96/4.04 c | 21582 | 702 47714 131916 | 2147483647 21582 120 | 0.000 % |
4.06/4.12 c | 21838 | 702 47714 131916 | 2147483647 21838 120 | 0.000 % |
4.16/4.21 c | 22119 | 702 47714 131916 | 2147483647 22119 120 | 0.000 % |
4.16/4.29 c | 22429 | 702 47714 131916 | 2147483647 22429 121 | 0.000 % |
4.26/4.38 c | 22768 | 702 47714 131916 | 2147483647 22768 121 | 0.000 % |
4.36/4.47 c | 23140 | 702 47714 131916 | 2147483647 23140 121 | 0.000 % |
4.56/4.62 c | 23549 | 702 47714 131916 | 2147483647 23549 122 | 0.000 % |
4.56/4.67 c | 23650 | 702 47714 131916 | 2147483647 23650 122 | 0.000 % |
4.66/4.71 c | 23761 | 702 47714 131916 | 2147483647 23761 122 | 0.000 % |
4.66/4.76 c | 23883 | 702 47714 131916 | 2147483647 23883 122 | 0.000 % |
4.66/4.80 c | 24016 | 702 47714 131916 | 2147483647 24016 122 | 0.000 % |
4.75/4.87 c | 24162 | 702 47714 131916 | 2147483647 24162 122 | 0.000 % |
4.85/4.92 c | 24324 | 702 47714 131916 | 2147483647 24324 123 | 0.000 % |
4.85/4.99 c | 24500 | 702 47714 131916 | 2147483647 24500 123 | 0.000 % |
4.95/5.09 c | 24694 | 702 47714 131916 | 2147483647 24694 123 | 0.000 % |
5.05/5.17 c | 24908 | 702 47714 131916 | 2147483647 24908 123 | 0.000 % |
5.15/5.24 c | 25141 | 702 47714 131916 | 2147483647 25141 123 | 0.000 % |
5.25/5.34 c | 25399 | 702 47714 131916 | 2147483647 25399 123 | 0.000 % |
5.35/5.43 c | 25681 | 702 47714 131916 | 2147483647 25681 123 | 0.000 % |
5.45/5.53 c | 25991 | 702 47714 131916 | 2147483647 25991 123 | 0.000 % |
5.55/5.65 c | 26333 | 702 47714 131916 | 2147483647 26333 123 | 0.000 % |
5.66/5.79 c | 26705 | 702 47714 131916 | 2147483647 26705 123 | 0.000 % |
5.86/5.91 c | 27114 | 702 47714 131916 | 2147483647 27114 123 | 0.000 % |
5.96/6.05 c | 27564 | 702 47714 131916 | 2147483647 27564 123 | 0.000 % |
5.96/6.09 c | 27666 | 702 47714 131916 | 2147483647 27666 123 | 0.000 % |
6.06/6.13 c | 27777 | 702 47714 131916 | 2147483647 27777 124 | 0.000 % |
6.06/6.19 c | 27898 | 702 47714 131916 | 2147483647 27898 124 | 0.000 % |
6.16/6.25 c | 28031 | 702 47714 131916 | 2147483647 28031 124 | 0.000 % |
6.26/6.34 c | 28177 | 702 47714 131916 | 2147483647 28177 124 | 0.000 % |
6.36/6.41 c | 28339 | 702 47714 131916 | 2147483647 28339 124 | 0.000 % |
6.36/6.47 c | 28516 | 702 47714 131916 | 2147483647 28516 124 | 0.000 % |
6.46/6.58 c | 28711 | 702 47714 131916 | 2147483647 28711 124 | 0.000 % |
6.65/6.73 c | 28927 | 702 47714 131916 | 2147483647 28927 124 | 0.000 % |
6.75/6.90 c | 29160 | 702 47714 131916 | 2147483647 29160 125 | 0.000 % |
6.95/7.02 c | 29418 | 702 47714 131916 | 2147483647 29418 125 | 0.000 % |
7.05/7.18 c | 29700 | 702 47714 131916 | 2147483647 29700 125 | 0.000 % |
7.15/7.29 c | 30011 | 702 47714 131916 | 2147483647 30011 125 | 0.000 % |
7.45/7.50 c | 30350 | 702 47714 131916 | 2147483647 30350 126 | 0.000 % |
7.56/7.68 c | 30722 | 702 47714 131916 | 2147483647 30722 126 | 0.000 % |
7.76/7.85 c | 31132 | 702 47714 131916 | 2147483647 31132 126 | 0.000 % |
7.96/8.04 c | 31582 | 702 47714 131916 | 2147483647 31582 126 | 0.000 % |
8.16/8.28 c | 32078 | 702 47714 131916 | 2147483647 32078 126 | 0.000 % |
8.26/8.32 c | 32180 | 702 47714 131916 | 2147483647 32180 126 | 0.000 % |
8.26/8.39 c | 32293 | 702 47714 131916 | 2147483647 32293 127 | 0.000 % |
8.36/8.45 c | 32414 | 702 47714 131916 | 2147483647 32414 127 | 0.000 % |
8.46/8.55 c | 32548 | 702 47714 131916 | 2147483647 32548 127 | 0.000 % |
8.56/8.63 c | 32694 | 702 47714 131916 | 2147483647 32694 127 | 0.000 % |
8.66/8.73 c | 32855 | 702 47714 131916 | 2147483647 32855 127 | 0.000 % |
8.76/8.84 c | 33032 | 702 47714 131916 | 2147483647 33032 127 | 0.000 % |
8.86/8.94 c | 33225 | 702 47714 131916 | 2147483647 33225 127 | 0.000 % |
8.96/9.07 c | 33444 | 702 47714 131916 | 2147483647 33444 127 | 0.000 % |
9.06/9.19 c | 33677 | 702 47714 131916 | 2147483647 33677 127 | 0.000 % |
9.26/9.31 c | 33935 | 702 47714 131916 | 2147483647 33935 128 | 0.000 % |
9.46/9.52 c | 34216 | 702 47714 131916 | 2147483647 34216 128 | 0.000 % |
9.66/9.72 c | 34526 | 702 47714 131916 | 2147483647 34526 128 | 0.000 % |
9.86/9.97 c | 34865 | 702 47714 131916 | 2147483647 34865 129 | 0.000 % |
10.16/10.26 c | 35237 | 702 47714 131916 | 2147483647 35237 129 | 0.000 % |
10.46/10.56 c | 35648 | 702 47714 131916 | 2147483647 35648 129 | 0.000 % |
10.76/10.89 c | 36098 | 702 47714 131916 | 2147483647 36098 129 | 0.000 % |
11.16/11.21 c | 36591 | 702 47714 131916 | 2147483647 36591 130 | 0.000 % |
11.46/11.58 c | 37134 | 702 47714 131916 | 2147483647 37134 130 | 0.000 % |
11.56/11.65 c | 37237 | 702 47714 131916 | 2147483647 37237 130 | 0.000 % |
11.66/11.73 c | 37349 | 702 47714 131916 | 2147483647 37349 131 | 0.000 % |
11.76/11.81 c | 37473 | 702 47714 131916 | 2147483647 37473 131 | 0.000 % |
11.85/11.95 c | 37607 | 702 47714 131916 | 2147483647 37607 131 | 0.000 % |
11.96/12.07 c | 37754 | 702 47714 131916 | 2147483647 37754 131 | 0.000 % |
12.15/12.24 c | 37915 | 702 47714 131916 | 2147483647 37915 131 | 0.000 % |
12.35/12.42 c | 38094 | 702 47714 131916 | 2147483647 38094 131 | 0.000 % |
12.55/12.61 c | 38288 | 702 47714 131916 | 2147483647 38288 132 | 0.000 % |
12.75/12.80 c | 38502 | 702 47714 131916 | 2147483647 38502 132 | 0.000 % |
12.95/13.04 c | 38738 | 702 47714 131916 | 2147483647 38738 132 | 0.000 % |
13.16/13.25 c | 38996 | 702 47714 131916 | 2147483647 38996 132 | 0.000 % |
13.35/13.44 c | 39280 | 702 47714 131916 | 2147483647 39280 132 | 0.000 % |
13.65/13.76 c | 39589 | 702 47714 131916 | 2147483647 39589 132 | 0.000 % |
14.05/14.12 c | 39930 | 702 47714 131916 | 2147483647 39930 133 | 0.000 % |
14.35/14.45 c | 40303 | 702 47714 131916 | 40000 40303 133 | 0.000 % |
14.75/14.87 c | 40712 | 702 47714 131916 | 40000 36226 134 | 0.000 % |
15.25/15.33 c | 41162 | 702 47714 131916 | 40000 36676 134 | 0.000 % |
15.75/15.87 c | 41656 | 702 47714 131916 | 40000 37170 135 | 0.000 % |
16.35/16.42 c | 42199 | 702 47714 131916 | 40000 37713 135 | 0.000 % |
16.85/16.99 c | 42795 | 702 47714 131916 | 40000 38309 136 | 0.000 % |
16.95/17.06 c | 42896 | 702 47714 131916 | 40000 38410 136 | 0.000 % |
17.05/17.16 c | 43008 | 702 47714 131916 | 40000 38522 136 | 0.000 % |
17.25/17.33 c | 43129 | 702 47714 131916 | 40000 38643 136 | 0.000 % |
17.35/17.44 c | 43262 | 702 47714 131916 | 40000 38776 136 | 0.000 % |
17.46/17.58 c | 43408 | 702 47714 131916 | 40000 38922 137 | 0.000 % |
17.66/17.75 c | 43568 | 702 47714 131916 | 40000 39082 137 | 0.000 % |
17.95/18.00 c | 43746 | 702 47714 131916 | 40000 39260 137 | 0.000 % |
18.15/18.24 c | 43939 | 702 47714 131916 | 40000 39453 137 | 0.000 % |
18.45/18.50 c | 44151 | 702 47714 131916 | 40000 39665 137 | 0.000 % |
18.66/18.73 c | 44384 | 702 47714 131916 | 40000 39898 137 | 0.000 % |
18.95/19.02 c | 44640 | 702 47714 131916 | 40000 40154 137 | 0.000 % |
19.35/19.41 c | 44921 | 702 47714 131916 | 40000 33202 139 | 0.000 % |
19.66/19.74 c | 45231 | 702 47714 131916 | 40000 33512 139 | 0.000 % |
20.05/20.10 c | 45571 | 702 47714 131916 | 40000 33852 140 | 0.000 % |
20.55/20.64 c | 45943 | 702 47714 131916 | 40000 34224 140 | 0.000 % |
21.15/21.29 c | 46352 | 702 47714 131916 | 40000 34633 140 | 0.000 % |
21.86/21.99 c | 46801 | 702 47714 131916 | 40000 35082 140 | 0.000 % |
22.65/22.78 c | 47294 | 702 47714 131916 | 40000 35575 140 | 0.000 % |
23.35/23.45 c | 47837 | 702 47714 131916 | 40000 36118 140 | 0.000 % |
24.16/24.24 c | 48433 | 702 47714 131916 | 40000 36714 140 | 0.000 % |
24.95/25.01 c | 49089 | 702 47714 131916 | 40000 37370 141 | 0.000 % |
25.16/25.21 c | 49190 | 702 47714 131916 | 40000 37471 141 | 0.000 % |
25.35/25.41 c | 49301 | 702 47714 131916 | 40000 37582 141 | 0.000 % |
25.45/25.57 c | 49423 | 702 47714 131916 | 40000 37704 141 | 0.000 % |
25.65/25.76 c | 49558 | 702 47714 131916 | 40000 37839 141 | 0.000 % |
25.95/26.04 c | 49704 | 702 47714 131916 | 40000 37985 141 | 0.000 % |
26.15/26.25 c | 49864 | 702 47714 131916 | 40000 38145 141 | 0.000 % |
26.36/26.45 c | 50041 | 702 47714 131916 | 38283 38322 141 | 0.000 % |
26.75/26.88 c | 50236 | 702 47714 131916 | 38283 30067 146 | 0.000 % |
27.15/27.20 c | 50448 | 702 47714 131916 | 38283 30279 146 | 0.000 % |
27.55/27.60 c | 50681 | 702 47714 131916 | 38283 30512 146 | 0.000 % |
27.95/28.01 c | 50939 | 702 47714 131916 | 38283 30770 146 | 0.000 % |
28.35/28.43 c | 51220 | 702 47714 131916 | 38283 31051 146 | 0.000 % |
28.85/28.91 c | 51532 | 702 47714 131916 | 38283 31363 147 | 0.000 % |
29.45/29.55 c | 51871 | 702 47714 131916 | 38283 31702 147 | 0.000 % |
30.35/30.41 c | 52245 | 702 47714 131916 | 38283 32076 147 | 0.000 % |
31.05/31.11 c | 52654 | 702 47714 131916 | 38283 32485 147 | 0.000 % |
31.94/32.00 c | 53103 | 702 47714 131916 | 38283 32934 148 | 0.000 % |
32.94/33.02 c | 53600 | 702 47714 131916 | 38283 33431 148 | 0.000 % |
33.64/33.73 c | 54142 | 702 47714 131916 | 38283 33973 148 | 0.000 % |
34.84/34.97 c | 54741 | 702 47714 131916 | 38283 34572 148 | 0.000 % |
35.74/35.89 c | 55397 | 702 47714 131916 | 38283 35228 148 | 0.000 % |
37.24/37.36 c | 56119 | 702 47714 131916 | 38283 35950 149 | 0.000 % |
37.44/37.52 c | 56219 | 702 47714 131916 | 38283 36050 149 | 0.000 % |
37.64/37.79 c | 56329 | 702 47714 131916 | 38283 36160 149 | 0.000 % |
37.84/37.97 c | 56450 | 702 47714 131916 | 38283 36281 149 | 0.000 % |
38.14/38.21 c | 56583 | 702 47714 131916 | 38283 36414 149 | 0.000 % |
38.44/38.54 c | 56733 | 702 47714 131916 | 38283 36564 149 | 0.000 % |
38.74/38.89 c | 56894 | 702 47714 131916 | 38283 36725 149 | 0.000 % |
39.24/39.30 c | 57070 | 702 47714 131916 | 38283 36901 149 | 0.000 % |
39.64/39.70 c | 57263 | 702 47714 131916 | 38283 37094 149 | 0.000 % |
40.04/40.17 c | 57477 | 702 47714 131916 | 38283 37308 149 | 0.000 % |
40.44/40.52 c | 57711 | 702 47714 131916 | 38283 37542 150 | 0.000 % |
40.94/41.00 c | 57967 | 702 47714 131916 | 38283 37798 150 | 0.000 % |
41.34/41.40 c | 58248 | 702 47714 131916 | 38283 38079 150 | 0.000 % |
41.84/41.97 c | 58559 | 702 47714 131916 | 38283 38390 150 | 0.000 % |
42.75/42.88 c | 58898 | 702 47714 131916 | 38283 27754 153 | 0.000 % |
43.34/43.41 c | 59270 | 702 47714 131916 | 38283 28126 153 | 0.000 % |
44.04/44.12 c | 59680 | 702 47714 131916 | 38283 28536 153 | 0.000 % |
44.95/45.02 c | 60129 | 702 47714 131916 | 28857 28985 153 | 0.000 % |
45.64/45.74 c | 60625 | 702 47714 131916 | 28857 21247 151 | 0.000 % |
46.34/46.49 c | 61169 | 702 47714 131916 | 28857 21791 151 | 0.000 % |
47.25/47.38 c | 61765 | 702 47714 131916 | 28857 22387 152 | 0.000 % |
48.44/48.54 c | 62424 | 702 47714 131916 | 28857 23046 153 | 0.000 % |
49.54/49.66 c | 63145 | 702 47714 131916 | 28857 23767 153 | 0.000 % |
50.84/50.97 c | 63937 | 702 47714 131916 | 28857 24559 154 | 0.000 % |
51.04/51.14 c | 64038 | 702 47714 131916 | 28857 24660 154 | 0.000 % |
51.24/51.34 c | 64149 | 702 47714 131916 | 28857 24771 154 | 0.000 % |
51.44/51.50 c | 64271 | 702 47714 131916 | 28857 24893 154 | 0.000 % |
51.65/51.72 c | 64404 | 702 47714 131916 | 28857 25026 154 | 0.000 % |
51.84/51.90 c | 64550 | 702 47714 131916 | 28857 25172 154 | 0.000 % |
52.04/52.19 c | 64713 | 702 47714 131916 | 28857 25335 154 | 0.000 % |
52.34/52.44 c | 64892 | 702 47714 131916 | 28857 25514 155 | 0.000 % |
52.64/52.74 c | 65085 | 702 47714 131916 | 28857 25707 155 | 0.000 % |
53.14/53.21 c | 65297 | 702 47714 131916 | 28857 25919 155 | 0.000 % |
53.54/53.67 c | 65530 | 702 47714 131916 | 28857 26152 155 | 0.000 % |
54.14/54.27 c | 65788 | 702 47714 131916 | 28857 26410 155 | 0.000 % |
54.74/54.87 c | 66070 | 702 47714 131916 | 28857 26692 155 | 0.000 % |
55.44/55.56 c | 66379 | 702 47714 131916 | 28857 27001 156 | 0.000 % |
55.94/56.07 c | 66719 | 702 47714 131916 | 28857 27341 156 | 0.000 % |
56.74/56.88 c | 67091 | 702 47714 131916 | 28857 27713 156 | 0.000 % |
57.74/57.88 c | 67500 | 702 47714 131916 | 28857 28122 156 | 0.000 % |
58.94/59.02 c | 67951 | 702 47714 131916 | 28857 28573 157 | 0.000 % |
59.64/59.74 c | 68444 | 702 47714 131916 | 28857 21532 154 | 0.000 % |
60.54/60.62 c | 68987 | 702 47714 131916 | 28857 22075 154 | 0.000 % |
61.54/61.69 c | 69584 | 702 47714 131916 | 28857 22672 154 | 0.000 % |
62.84/62.92 c | 70240 | 702 47714 131916 | 23088 23328 155 | 0.000 % |
63.74/63.87 c | 70960 | 702 47714 131916 | 23088 18122 152 | 0.000 % |
64.44/64.58 c | 71752 | 702 47714 131916 | 23088 18914 153 | 0.000 % |
65.24/65.35 c | 72624 | 702 47714 131916 | 23088 19786 153 | 0.000 % |
65.44/65.55 c | 72724 | 702 47714 131916 | 23088 19886 153 | 0.000 % |
65.64/65.73 c | 72835 | 702 47714 131916 | 23088 19997 153 | 0.000 % |
65.74/65.89 c | 72956 | 702 47714 131916 | 23088 20118 154 | 0.000 % |
66.04/66.15 c | 73090 | 702 47714 131916 | 23088 20252 154 | 0.000 % |
66.24/66.40 c | 73237 | 702 47714 131916 | 23088 20399 154 | 0.000 % |
66.54/66.60 c | 73398 | 702 47714 131916 | 23088 20560 154 | 0.000 % |
66.64/66.75 c | 73579 | 702 47714 131916 | 23088 20741 154 | 0.000 % |
66.94/67.02 c | 73772 | 702 47714 131916 | 23088 20934 154 | 0.000 % |
67.13/67.23 c | 73986 | 702 47714 131916 | 23088 21148 154 | 0.000 % |
67.43/67.57 c | 74220 | 702 47714 131916 | 23088 21382 154 | 0.000 % |
67.73/67.81 c | 74476 | 702 47714 131916 | 23088 21638 153 | 0.000 % |
67.93/68.04 c | 74759 | 702 47714 131916 | 23088 21921 153 | 0.000 % |
68.23/68.38 c | 75069 | 702 47714 131916 | 23088 22231 154 | 0.000 % |
68.63/68.76 c | 75409 | 702 47714 131916 | 23088 22571 154 | 0.000 % |
69.33/69.45 c | 75781 | 702 47714 131916 | 23088 22943 154 | 0.000 % |
70.03/70.10 c | 76195 | 702 47714 131916 | 23088 23357 154 | 0.000 % |
70.53/70.67 c | 76644 | 702 47714 131916 | 23088 19021 152 | 0.000 % |
71.23/71.38 c | 77138 | 702 47714 131916 | 23088 19515 153 | 0.000 % |
72.03/72.18 c | 77680 | 702 47714 131916 | 23088 20057 153 | 0.000 % |
72.73/72.83 c | 78277 | 702 47714 131916 | 23088 20654 153 | 0.000 % |
73.54/73.67 c | 78933 | 702 47714 131916 | 23088 21310 154 | 0.000 % |
74.13/74.21 c | 79656 | 702 47714 131916 | 23088 22033 154 | 0.000 % |
74.93/75.04 c | 80454 | 702 47714 131916 | 22378 18669 150 | 0.000 % |
75.83/75.99 c | 81325 | 702 47714 131916 | 22378 19540 151 | 0.000 % |
76.93/77.06 c | 82286 | 702 47714 131916 | 22378 20501 152 | 0.000 % |
77.02/77.17 c | 82387 | 702 47714 131916 | 22378 20602 152 | 0.000 % |
77.12/77.26 c | 82498 | 702 47714 131916 | 22378 20713 152 | 0.000 % |
77.32/77.40 c | 82621 | 702 47714 131916 | 22378 20836 152 | 0.000 % |
77.52/77.64 c | 82755 | 702 47714 131916 | 22378 20970 152 | 0.000 % |
77.82/77.90 c | 82905 | 702 47714 131916 | 22378 21120 152 | 0.000 % |
78.12/78.25 c | 83066 | 702 47714 131916 | 22378 21281 152 | 0.000 % |
78.42/78.56 c | 83243 | 702 47714 131916 | 22378 21458 152 | 0.000 % |
78.82/78.91 c | 83436 | 702 47714 131916 | 22378 21651 152 | 0.000 % |
78.92/79.07 c | 83650 | 702 47714 131916 | 22378 21865 152 | 0.000 % |
79.32/79.44 c | 83883 | 702 47714 131916 | 22378 22098 153 | 0.000 % |
79.82/79.90 c | 84139 | 702 47714 131916 | 22378 22354 153 | 0.000 % |
80.32/80.46 c | 84421 | 702 47714 131916 | 22378 22636 153 | 0.000 % |
80.92/81.08 c | 84733 | 702 47714 131916 | 22378 19037 151 | 0.000 % |
81.42/81.50 c | 85072 | 702 47714 131916 | 22378 19376 151 | 0.000 % |
81.92/82.01 c | 85444 | 702 47714 131916 | 22378 19748 151 | 0.000 % |
82.43/82.58 c | 85853 | 702 47714 131916 | 22378 20157 151 | 0.000 % |
83.02/83.19 c | 86303 | 702 47714 131916 | 22378 20607 151 | 0.000 % |
83.62/83.74 c | 86798 | 702 47714 131916 | 22378 21102 152 | 0.000 % |
84.32/84.47 c | 87341 | 702 47714 131916 | 22378 21645 152 | 0.000 % |
85.42/85.56 c | 87938 | 702 47714 131916 | 22378 22242 152 | 0.000 % |
86.42/86.56 c | 88593 | 702 47714 131916 | 22378 22897 153 | 0.000 % |
87.12/87.28 c | 89317 | 702 47714 131916 | 22378 19480 152 | 0.000 % |
88.02/88.20 c | 90110 | 702 47714 131916 | 20163 20273 153 | 0.000 % |
89.22/89.39 c | 90981 | 702 47714 131916 | 20163 17667 150 | 0.000 % |
90.32/90.44 c | 91940 | 702 47714 131916 | 20163 18626 151 | 0.000 % |
91.42/91.56 c | 92994 | 702 47714 131916 | 20163 19680 152 | 0.000 % |
91.52/91.69 c | 93096 | 702 47714 131916 | 20163 19782 152 | 0.000 % |
91.72/91.89 c | 93207 | 702 47714 131916 | 20163 19893 152 | 0.000 % |
91.92/92.08 c | 93330 | 702 47714 131916 | 20163 20016 152 | 0.000 % |
92.12/92.29 c | 93463 | 702 47714 131916 | 20163 20149 152 | 0.000 % |
92.42/92.50 c | 93609 | 702 47714 131916 | 20163 20295 152 | 0.000 % |
92.52/92.65 c | 93770 | 702 47714 131916 | 20163 17551 150 | 0.000 % |
92.62/92.78 c | 93947 | 702 47714 131916 | 20163 17728 150 | 0.000 % |
92.82/92.98 c | 94140 | 702 47714 131916 | 20163 17921 150 | 0.000 % |
93.12/93.28 c | 94352 | 702 47714 131916 | 20163 18133 150 | 0.000 % |
93.42/93.57 c | 94585 | 702 47714 131916 | 20163 18366 150 | 0.000 % |
93.82/93.92 c | 94841 | 702 47714 131916 | 20163 18622 151 | 0.000 % |
94.12/94.26 c | 95123 | 702 47714 131916 | 20163 18904 151 | 0.000 % |
94.62/94.70 c | 95433 | 702 47714 131916 | 20163 19214 151 | 0.000 % |
94.82/94.98 c | 95773 | 702 47714 131916 | 20163 19554 151 | 0.000 % |
95.32/95.42 c | 96145 | 702 47714 131916 | 20163 19926 151 | 0.000 % |
95.92/96.06 c | 96557 | 702 47714 131916 | 20163 20338 152 | 0.000 % |
96.52/96.67 c | 97008 | 702 47714 131916 | 20163 18089 150 | 0.000 % |
97.22/97.38 c | 97503 | 702 47714 131916 | 20163 18584 150 | 0.000 % |
98.02/98.13 c | 98047 | 702 47714 131916 | 20163 19128 151 | 0.000 % |
98.82/98.91 c | 98645 | 702 47714 131916 | 20163 19726 151 | 0.000 % |
99.82/99.96 c | 99300 | 702 47714 131916 | 20163 20381 151 | 0.000 % |
100.72/100.80 c | 100021 | 702 47714 131916 | 18391 18409 151 | 0.000 % |
101.52/101.67 c | 100815 | 702 47714 131916 | 18391 16868 149 | 0.000 % |
102.82/102.97 c | 101687 | 702 47714 131916 | 18391 17740 150 | 0.000 % |
103.62/103.75 c | 102645 | 702 47714 131916 | 18391 18698 150 | 0.000 % |
104.72/104.87 c | 103698 | 702 47714 131916 | 18391 17882 150 | 0.000 % |
105.82/105.95 c | 104856 | 702 47714 131916 | 18391 17170 150 | 0.000 % |
105.92/106.04 c | 104958 | 702 47714 131916 | 18391 17272 150 | 0.000 % |
106.02/106.16 c | 105070 | 702 47714 131916 | 18391 17384 150 | 0.000 % |
106.22/106.35 c | 105193 | 702 47714 131916 | 18391 17507 150 | 0.000 % |
106.42/106.51 c | 105327 | 702 47714 131916 | 18391 17641 150 | 0.000 % |
106.52/106.61 c | 105473 | 702 47714 131916 | 18391 17787 150 | 0.000 % |
106.62/106.71 c | 105633 | 702 47714 131916 | 18391 17947 150 | 0.000 % |
106.92/107.01 c | 105809 | 702 47714 131916 | 18391 18123 150 | 0.000 % |
107.22/107.39 c | 106002 | 702 47714 131916 | 18391 18316 150 | 0.000 % |
107.62/107.77 c | 106215 | 702 47714 131916 | 18391 18529 151 | 0.000 % |
108.02/108.10 c | 106450 | 702 47714 131916 | 18391 16912 150 | 0.000 % |
108.42/108.59 c | 106706 | 702 47714 131916 | 18391 17168 150 | 0.000 % |
108.82/108.91 c | 106988 | 702 47714 131916 | 18391 17450 150 | 0.000 % |
109.02/109.17 c | 107302 | 702 47714 131916 | 18391 17764 150 | 0.000 % |
109.42/109.51 c | 107643 | 702 47714 131916 | 18391 18105 150 | 0.000 % |
109.72/109.80 c | 108015 | 702 47714 131916 | 18391 18477 151 | 0.000 % |
110.12/110.22 c | 108425 | 702 47714 131916 | 18391 17040 150 | 0.000 % |
110.52/110.68 c | 108875 | 702 47714 131916 | 18391 17490 150 | 0.000 % |
111.31/111.48 c | 109369 | 702 47714 131916 | 18391 17984 151 | 0.000 % |
112.02/112.11 c | 109911 | 702 47714 131916 | 18391 18526 151 | 0.000 % |
112.81/112.90 c | 110507 | 702 47714 131916 | 2147483647 17270 150 | 0.000 % |
113.71/113.85 c | 111163 | 702 47714 131916 | 2147483647 17926 150 | 0.000 % |
114.71/114.80 c | 111884 | 702 47714 131916 | 2147483647 18647 151 | 0.000 % |
115.71/115.89 c | 112680 | 702 47714 131916 | 2147483647 19443 151 | 0.000 % |
117.11/117.22 c | 113555 | 702 47714 131916 | 2147483647 20318 151 | 0.000 % |
118.41/118.50 c | 114513 | 702 47714 131916 | 2147483647 21276 151 | 0.000 % |
119.81/119.99 c | 115571 | 702 47714 131916 | 2147483647 22334 151 | 0.000 % |
121.71/121.88 c | 116729 | 702 47714 131916 | 2147483647 23492 151 | 0.000 % |
123.11/123.21 c | 118002 | 702 47714 131916 | 2147483647 24765 152 | 0.000 % |
123.31/123.43 c | 118103 | 702 47714 131916 | 2147483647 24866 152 | 0.000 % |
123.41/123.56 c | 118214 | 702 47714 131916 | 2147483647 24977 152 | 0.000 % |
123.51/123.69 c | 118338 | 702 47714 131916 | 2147483647 25101 152 | 0.000 % |
123.81/123.91 c | 118479 | 702 47714 131916 | 2147483647 25242 152 | 0.000 % |
123.91/124.01 c | 118627 | 702 47714 131916 | 2147483647 25390 152 | 0.000 % |
124.11/124.21 c | 118787 | 702 47714 131916 | 2147483647 25550 152 | 0.000 % |
124.21/124.35 c | 118963 | 702 47714 131916 | 2147483647 25726 152 | 0.000 % |
124.31/124.46 c | 119156 | 702 47714 131916 | 2147483647 25919 152 | 0.000 % |
124.61/124.76 c | 119370 | 702 47714 131916 | 2147483647 26133 152 | 0.000 % |
124.91/125.02 c | 119603 | 702 47714 131916 | 2147483647 26366 152 | 0.000 % |
125.11/125.28 c | 119861 | 702 47714 131916 | 2147483647 26624 152 | 0.000 % |
125.31/125.42 c | 120142 | 702 47714 131916 | 26765 26905 152 | 0.000 % |
125.80/125.95 c | 120452 | 702 47714 131916 | 26765 23801 151 | 0.000 % |
126.31/126.46 c | 120793 | 702 47714 131916 | 26765 24142 151 | 0.000 % |
126.60/126.73 c | 121168 | 702 47714 131916 | 26765 24517 151 | 0.000 % |
127.20/127.36 c | 121579 | 702 47714 131916 | 26765 24928 151 | 0.000 % |
127.80/127.90 c | 122029 | 702 47714 131916 | 26765 25378 151 | 0.000 % |
128.40/128.57 c | 122522 | 702 47714 131916 | 26765 25871 151 | 0.000 % |
129.61/129.79 c | 123064 | 702 47714 131916 | 26765 26413 151 | 0.000 % |
130.90/131.06 c | 123661 | 702 47714 131916 | 26765 27010 151 | 0.000 % |
131.60/131.74 c | 124316 | 702 47714 131916 | 26765 23195 149 | 0.000 % |
132.40/132.51 c | 125036 | 702 47714 131916 | 26765 23915 149 | 0.000 % |
133.20/133.31 c | 125830 | 702 47714 131916 | 26765 24709 149 | 0.000 % |
134.50/134.63 c | 126703 | 702 47714 131916 | 26765 25582 150 | 0.000 % |
136.00/136.15 c | 127662 | 702 47714 131916 | 26765 26541 149 | 0.000 % |
137.20/137.32 c | 128716 | 702 47714 131916 | 26765 23071 148 | 0.000 % |
138.80/138.97 c | 129874 | 702 47714 131916 | 26765 24229 148 | 0.000 % |
140.40/140.52 c | 131147 | 702 47714 131916 | 24361 21362 146 | 0.000 % |
142.00/142.18 c | 132549 | 702 47714 131916 | 24361 22764 146 | 0.000 % |
142.10/142.29 c | 132650 | 702 47714 131916 | 24361 22865 146 | 0.000 % |
142.30/142.48 c | 132760 | 702 47714 131916 | 24361 22975 146 | 0.000 % |
142.40/142.60 c | 132881 | 702 47714 131916 | 24361 23096 146 | 0.000 % |
142.50/142.68 c | 133019 | 702 47714 131916 | 24361 23234 146 | 0.000 % |
142.70/142.81 c | 133165 | 702 47714 131916 | 24361 23380 146 | 0.000 % |
142.80/142.92 c | 133328 | 702 47714 131916 | 24361 23543 146 | 0.000 % |
142.90/143.07 c | 133507 | 702 47714 131916 | 24361 23722 146 | 0.000 % |
143.10/143.21 c | 133700 | 702 47714 131916 | 24361 23915 146 | 0.000 % |
143.20/143.34 c | 133916 | 702 47714 131916 | 24361 24131 146 | 0.000 % |
143.30/143.49 c | 134152 | 702 47714 131916 | 24361 24367 146 | 0.000 % |
143.50/143.65 c | 134409 | 702 47714 131916 | 24361 21344 145 | 0.000 % |
143.70/143.82 c | 134691 | 702 47714 131916 | 24361 21626 145 | 0.000 % |
143.80/143.92 c | 135001 | 702 47714 131916 | 24361 21936 145 | 0.000 % |
144.00/144.12 c | 135341 | 702 47714 131916 | 24361 22276 145 | 0.000 % |
144.10/144.29 c | 135713 | 702 47714 131916 | 24361 22648 145 | 0.000 % |
144.30/144.49 c | 136122 | 702 47714 131916 | 24361 23057 145 | 0.000 % |
144.60/144.74 c | 136572 | 702 47714 131916 | 24361 23507 145 | 0.000 % |
144.90/145.02 c | 137066 | 702 47714 131916 | 24361 24001 145 | 0.000 % |
145.10/145.28 c | 137609 | 702 47714 131916 | 24361 24544 145 | 0.000 % |
145.60/145.76 c | 138207 | 702 47714 131916 | 24361 22688 144 | 0.000 % |
145.90/146.06 c | 138863 | 702 47714 131916 | 24361 23344 144 | 0.000 % |
146.30/146.47 c | 139584 | 702 47714 131916 | 24361 24065 144 | 0.000 % |
146.90/147.01 c | 140376 | 702 47714 131916 | 2147483647 24857 144 | 0.000 % |
147.70/147.84 c | 141248 | 702 47714 131916 | 2147483647 25729 145 | 0.000 % |
148.50/148.65 c | 142210 | 702 47714 131916 | 2147483647 26691 145 | 0.000 % |
149.60/149.77 c | 143264 | 702 47714 131916 | 2147483647 27745 145 | 0.000 % |
150.90/151.05 c | 144422 | 702 47714 131916 | 2147483647 28903 145 | 0.000 % |
152.40/152.57 c | 145698 | 702 47714 131916 | 2147483647 30179 145 | 0.000 % |
153.60/153.74 c | 147098 | 702 47714 131916 | 2147483647 31579 144 | 0.000 % |
155.50/155.60 c | 148638 | 702 47714 131916 | 2147483647 33119 144 | 0.000 % |
155.50/155.66 c | 148740 | 702 47714 131916 | 2147483647 33221 144 | 0.000 % |
156.00/156.19 c | 148851 | 702 47714 131916 | 2147483647 33332 144 | 0.000 % |
156.30/156.46 c | 148972 | 702 47714 131916 | 2147483647 33453 144 | 0.000 % |
156.50/156.63 c | 149105 | 702 47714 131916 | 2147483647 33586 144 | 0.000 % |
157.00/157.11 c | 149251 | 702 47714 131916 | 2147483647 33732 144 | 0.000 % |
157.60/157.72 c | 149411 | 702 47714 131916 | 2147483647 33892 144 | 0.000 % |
158.09/158.28 c | 149587 | 702 47714 131916 | 2147483647 34068 144 | 0.000 % |
158.69/158.85 c | 149780 | 702 47714 131916 | 2147483647 34261 144 | 0.000 % |
159.30/159.45 c | 149994 | 702 47714 131916 | 2147483647 34475 144 | 0.000 % |
160.69/160.82 c | 150227 | 702 47714 131916 | 34482 34708 144 | 0.000 % |
161.99/162.13 c | 150483 | 702 47714 131916 | 34482 25902 142 | 0.000 % |
163.29/163.44 c | 150764 | 702 47714 131916 | 34482 26183 142 | 0.000 % |
164.59/164.74 c | 151075 | 702 47714 131916 | 34482 26494 142 | 0.000 % |
166.19/166.31 c | 151415 | 702 47714 131916 | 34482 26834 143 | 0.000 % |
167.39/167.59 c | 151787 | 702 47714 131916 | 34482 27206 143 | 0.000 % |
169.19/169.33 c | 152196 | 702 47714 131916 | 34482 27615 143 | 0.000 % |
171.19/171.36 c | 152647 | 702 47714 131916 | 34482 28066 144 | 0.000 % |
173.18/173.31 c | 153142 | 702 47714 131916 | 34482 28561 144 | 0.000 % |
174.48/174.61 c | 153686 | 702 47714 131916 | 34482 29105 144 | 0.000 % |
176.78/176.92 c | 154284 | 702 47714 131916 | 34482 29703 144 | 0.000 % |
180.08/180.22 c | 154939 | 702 47714 131916 | 34482 30358 144 | 0.000 % |
183.49/183.66 c | 155659 | 702 47714 131916 | 34482 31078 145 | 0.000 % |
186.58/186.76 c | 156451 | 702 47714 131916 | 34482 31870 145 | 0.000 % |
190.88/191.02 c | 157325 | 702 47714 131916 | 34482 32744 145 | 0.000 % |
193.78/193.91 c | 158283 | 702 47714 131916 | 34482 33702 146 | 0.000 % |
197.48/197.63 c | 159336 | 702 47714 131916 | 34482 34755 146 | 0.000 % |
199.78/199.96 c | 160495 | 702 47714 131916 | 23112 15479 147 | 0.000 % |
201.48/201.66 c | 161769 | 702 47714 131916 | 23112 16753 148 | 0.000 % |
203.18/203.36 c | 163170 | 702 47714 131916 | 23112 18154 149 | 0.000 % |
205.07/205.23 c | 164710 | 702 47714 131916 | 23112 19694 149 | 0.000 % |
207.17/207.31 c | 166405 | 702 47714 131916 | 23112 21389 150 | 0.000 % |
207.27/207.41 c | 166505 | 702 47714 131916 | 23112 21489 150 | 0.000 % |
207.37/207.56 c | 166617 | 702 47714 131916 | 23112 21601 150 | 0.000 % |
207.57/207.73 c | 166739 | 702 47714 131916 | 23112 21723 150 | 0.000 % |
207.78/207.94 c | 166873 | 702 47714 131916 | 23112 21857 150 | 0.000 % |
207.88/208.08 c | 167019 | 702 47714 131916 | 23112 22003 150 | 0.000 % |
208.17/208.36 c | 167179 | 702 47714 131916 | 23112 22163 151 | 0.000 % |
208.57/208.76 c | 167357 | 702 47714 131916 | 23112 22341 151 | 0.000 % |
208.88/209.08 c | 167551 | 702 47714 131916 | 23112 22535 151 | 0.000 % |
209.37/209.57 c | 167764 | 702 47714 131916 | 23112 22748 151 | 0.000 % |
209.67/209.89 c | 167998 | 702 47714 131916 | 23112 22982 151 | 0.000 % |
210.37/210.57 c | 168254 | 702 47714 131916 | 23112 23238 151 | 0.000 % |
210.77/210.99 c | 168536 | 702 47714 131916 | 23112 18015 150 | 0.000 % |
211.36/211.53 c | 168845 | 702 47714 131916 | 23112 18324 150 | 0.000 % |
211.96/212.16 c | 169184 | 702 47714 131916 | 23112 18663 150 | 0.000 % |
212.66/212.86 c | 169556 | 702 47714 131916 | 23112 19035 151 | 0.000 % |
213.36/213.53 c | 169966 | 702 47714 131916 | 23112 19445 151 | 0.000 % |
213.96/214.10 c | 170417 | 702 47714 131916 | 19481 15580 149 | 0.000 % |
214.37/214.56 c | 170911 | 702 47714 131916 | 19481 16074 149 | 0.000 % |
214.76/214.97 c | 171453 | 702 47714 131916 | 19481 16616 149 | 0.000 % |
215.47/215.68 c | 172050 | 702 47714 131916 | 19481 17213 149 | 0.000 % |
216.47/216.61 c | 172705 | 702 47714 131916 | 19481 17868 150 | 0.000 % |
217.36/217.57 c | 173425 | 702 47714 131916 | 19481 18588 150 | 0.000 % |
218.56/218.73 c | 174219 | 702 47714 131916 | 19481 19382 150 | 0.000 % |
219.56/219.79 c | 175091 | 702 47714 131916 | 19481 16789 149 | 0.000 % |
220.86/221.02 c | 176053 | 702 47714 131916 | 19481 17751 149 | 0.000 % |
222.36/222.56 c | 177106 | 702 47714 131916 | 19481 18804 150 | 0.000 % |
223.76/223.90 c | 178265 | 702 47714 131916 | 19481 17065 148 | 0.000 % |
225.26/225.44 c | 179539 | 702 47714 131916 | 19481 18339 148 | 0.000 % |
227.26/227.49 c | 180939 | 702 47714 131916 | 18802 16814 148 | 0.000 % |
229.36/229.51 c | 182480 | 702 47714 131916 | 18802 18355 149 | 0.000 % |
231.16/231.39 c | 184177 | 702 47714 131916 | 18802 17575 149 | 0.000 % |
233.16/233.38 c | 186040 | 702 47714 131916 | 18802 17193 151 | 0.000 % |
233.36/233.54 c | 186142 | 702 47714 131916 | 18802 17295 151 | 0.000 % |
233.56/233.73 c | 186253 | 702 47714 131916 | 18802 17406 151 | 0.000 % |
233.76/233.95 c | 186374 | 702 47714 131916 | 18802 17527 151 | 0.000 % |
234.06/234.21 c | 186509 | 702 47714 131916 | 18802 17662 151 | 0.000 % |
234.26/234.41 c | 186657 | 702 47714 131916 | 18802 17810 151 | 0.000 % |
234.45/234.69 c | 186820 | 702 47714 131916 | 18802 17973 151 | 0.000 % |
234.75/234.97 c | 186998 | 702 47714 131916 | 18802 18151 151 | 0.000 % |
234.95/235.19 c | 187191 | 702 47714 131916 | 18802 18344 151 | 0.000 % |
235.05/235.27 c | 187403 | 702 47714 131916 | 18802 18556 151 | 0.000 % |
235.16/235.39 c | 187637 | 702 47714 131916 | 18802 18790 151 | 0.000 % |
235.35/235.53 c | 187894 | 702 47714 131916 | 18802 19047 151 | 0.000 % |
235.55/235.76 c | 188175 | 702 47714 131916 | 18802 17290 151 | 0.000 % |
235.65/235.87 c | 188486 | 702 47714 131916 | 18802 17601 151 | 0.000 % |
236.05/236.29 c | 188825 | 702 47714 131916 | 18802 17940 151 | 0.000 % |
236.45/236.63 c | 189197 | 702 47714 131916 | 18802 18312 151 | 0.000 % |
236.85/237.09 c | 189608 | 702 47714 131916 | 18802 18723 152 | 0.000 % |
237.55/237.73 c | 190058 | 702 47714 131916 | 19116 19173 152 | 0.000 % |
238.15/238.34 c | 190551 | 702 47714 131916 | 19116 17697 151 | 0.000 % |
239.05/239.28 c | 191093 | 702 47714 131916 | 19116 18239 151 | 0.000 % |
240.15/240.37 c | 191691 | 702 47714 131916 | 19116 18837 152 | 0.000 % |
241.05/241.24 c | 192347 | 702 47714 131916 | 19116 17375 151 | 0.000 % |
241.55/241.75 c | 193067 | 702 47714 131916 | 19116 18095 152 | 0.000 % |
242.96/243.14 c | 193860 | 702 47714 131916 | 19116 18888 152 | 0.000 % |
244.06/244.20 c | 194732 | 702 47714 131916 | 19116 17734 151 | 0.000 % |
245.65/245.87 c | 195692 | 702 47714 131916 | 19116 18694 151 | 0.000 % |
247.15/247.30 c | 196747 | 702 47714 131916 | 19116 17706 149 | 0.000 % |
248.55/248.76 c | 197905 | 702 47714 131916 | 19116 18864 150 | 0.000 % |
250.05/250.27 c | 199179 | 702 47714 131916 | 19116 18205 147 | 0.000 % |
251.85/252.04 c | 200579 | 702 47714 131916 | 2147483647 19605 147 | 0.000 % |
253.75/253.92 c | 202119 | 702 47714 131916 | 2147483647 21145 147 | 0.000 % |
255.65/255.84 c | 203814 | 702 47714 131916 | 2147483647 22840 147 | 0.000 % |
258.74/258.95 c | 205680 | 702 47714 131916 | 2147483647 24706 149 | 0.000 % |
262.14/262.30 c | 207732 | 702 47714 131916 | 2147483647 26758 150 | 0.000 % |
262.24/262.45 c | 207833 | 702 47714 131916 | 2147483647 26859 150 | 0.000 % |
262.54/262.75 c | 207947 | 702 47714 131916 | 2147483647 26973 150 | 0.000 % |
262.75/262.94 c | 208071 | 702 47714 131916 | 2147483647 27097 150 | 0.000 % |
263.04/263.26 c | 208204 | 702 47714 131916 | 2147483647 27230 150 | 0.000 % |
263.54/263.74 c | 208352 | 702 47714 131916 | 2147483647 27378 150 | 0.000 % |
264.04/264.23 c | 208513 | 702 47714 131916 | 2147483647 27539 150 | 0.000 % |
264.44/264.69 c | 208689 | 702 47714 131916 | 2147483647 27715 150 | 0.000 % |
264.85/265.01 c | 208882 | 702 47714 131916 | 2147483647 27908 150 | 0.000 % |
265.45/265.68 c | 209094 | 702 47714 131916 | 2147483647 28120 150 | 0.000 % |
266.06/266.23 c | 209327 | 702 47714 131916 | 2147483647 28353 150 | 0.000 % |
266.65/266.85 c | 209584 | 702 47714 131916 | 2147483647 28610 150 | 0.000 % |
267.35/267.55 c | 209865 | 702 47714 131916 | 2147483647 28891 150 | 0.000 % |
268.16/268.37 c | 210174 | 702 47714 131916 | 29026 29200 150 | 0.000 % |
268.75/268.91 c | 210518 | 702 47714 131916 | 29026 24396 147 | 0.000 % |
269.65/269.80 c | 210890 | 702 47714 131916 | 29026 24768 147 | 0.000 % |
270.15/270.39 c | 211299 | 702 47714 131916 | 29026 25177 147 | 0.000 % |
271.25/271.49 c | 211752 | 702 47714 131916 | 29026 25630 147 | 0.000 % |
272.45/272.69 c | 212245 | 702 47714 131916 | 29026 26123 147 | 0.000 % |
273.55/273.73 c | 212788 | 702 47714 131916 | 29026 26666 148 | 0.000 % |
274.65/274.84 c | 213384 | 702 47714 131916 | 29026 27262 147 | 0.000 % |
275.85/276.09 c | 214046 | 702 47714 131916 | 29026 27924 148 | 0.000 % |
277.55/277.72 c | 214766 | 702 47714 131916 | 29026 28644 148 | 0.000 % |
278.95/279.13 c | 215558 | 702 47714 131916 | 29026 23913 146 | 0.000 % |
280.65/280.82 c | 216429 | 702 47714 131916 | 29026 24784 146 | 0.000 % |
282.25/282.48 c | 217388 | 702 47714 131916 | 29026 25743 146 | 0.000 % |
284.05/284.23 c | 218442 | 702 47714 131916 | 29026 26797 147 | 0.000 % |
286.15/286.35 c | 219600 | 702 47714 131916 | 29026 27955 147 | 0.000 % |
288.84/289.00 c | 220873 | 702 47714 131916 | 28356 23276 147 | 0.000 % |
291.94/292.16 c | 222274 | 702 47714 131916 | 28356 24677 147 | 0.000 % |
294.34/294.53 c | 223814 | 702 47714 131916 | 28356 26217 147 | 0.000 % |
297.54/297.70 c | 225509 | 702 47714 131916 | 28356 27912 147 | 0.000 % |
300.74/300.93 c | 227373 | 702 47714 131916 | 28356 23890 145 | 0.000 % |
303.44/303.61 c | 229424 | 702 47714 131916 | 28356 25941 145 | 0.000 % |
306.53/306.76 c | 231678 | 702 47714 131916 | 26519 23394 143 | 0.000 % |
306.74/306.94 c | 231779 | 702 47714 131916 | 26519 23495 143 | 0.000 % |
306.93/307.17 c | 231889 | 702 47714 131916 | 26519 23605 143 | 0.000 % |
307.13/307.40 c | 232011 | 702 47714 131916 | 26519 23727 143 | 0.000 % |
307.43/307.60 c | 232144 | 702 47714 131916 | 26519 23860 143 | 0.000 % |
307.74/307.95 c | 232290 | 702 47714 131916 | 26519 24006 143 | 0.000 % |
308.03/308.24 c | 232450 | 702 47714 131916 | 26519 24166 143 | 0.000 % |
308.43/308.64 c | 232626 | 702 47714 131916 | 26519 24342 143 | 0.000 % |
308.63/308.80 c | 232823 | 702 47714 131916 | 26519 24539 143 | 0.000 % |
309.13/309.36 c | 233037 | 702 47714 131916 | 26519 24753 144 | 0.000 % |
309.63/309.84 c | 233271 | 702 47714 131916 | 26519 24987 144 | 0.000 % |
310.04/310.27 c | 233528 | 702 47714 131916 | 26519 25244 144 | 0.000 % |
310.63/310.89 c | 233811 | 702 47714 131916 | 26519 25527 144 | 0.000 % |
311.23/311.41 c | 234120 | 702 47714 131916 | 26519 25836 144 | 0.000 % |
311.83/312.02 c | 234460 | 702 47714 131916 | 26519 26176 144 | 0.000 % |
312.43/312.63 c | 234833 | 702 47714 131916 | 26519 26549 144 | 0.000 % |
312.93/313.14 c | 235242 | 702 47714 131916 | 26519 22319 142 | 0.000 % |
313.53/313.73 c | 235691 | 702 47714 131916 | 26519 22768 142 | 0.000 % |
314.13/314.37 c | 236184 | 702 47714 131916 | 26519 23261 142 | 0.000 % |
315.03/315.29 c | 236727 | 702 47714 131916 | 26519 23804 142 | 0.000 % |
316.13/316.30 c | 237325 | 702 47714 131916 | 26519 24402 142 | 0.000 % |
317.23/317.46 c | 237984 | 702 47714 131916 | 26519 25061 143 | 0.000 % |
318.33/318.59 c | 238704 | 702 47714 131916 | 26519 25781 143 | 0.000 % |
319.23/319.47 c | 239496 | 702 47714 131916 | 26519 26573 143 | 0.000 % |
320.33/320.55 c | 240367 | 702 47714 131916 | 22849 19652 139 | 0.000 % |
321.63/321.89 c | 241326 | 702 47714 131916 | 22849 20611 140 | 0.000 % |
322.93/323.16 c | 242381 | 702 47714 131916 | 22849 21666 140 | 0.000 % |
324.83/325.07 c | 243539 | 702 47714 131916 | 22849 22824 141 | 0.000 % |
327.03/327.26 c | 244813 | 702 47714 131916 | 22849 20722 141 | 0.000 % |
328.93/329.19 c | 246214 | 702 47714 131916 | 22849 22123 142 | 0.000 % |
331.32/331.54 c | 247756 | 702 47714 131916 | 22849 20271 142 | 0.000 % |
333.92/334.13 c | 249451 | 702 47714 131916 | 22849 21966 143 | 0.000 % |
336.43/336.69 c | 251315 | 702 47714 131916 | 22516 20540 143 | 0.000 % |
338.02/338.29 c | 253364 | 702 47714 131916 | 22516 22589 144 | 0.000 % |
341.02/341.28 c | 255619 | 702 47714 131916 | 22516 22219 144 | 0.000 % |
344.91/345.15 c | 258097 | 702 47714 131916 | 22516 22177 145 | 0.000 % |
345.22/345.41 c | 258198 | 702 47714 131916 | 22516 22278 145 | 0.000 % |
345.51/345.78 c | 258312 | 702 47714 131916 | 22516 22392 145 | 0.000 % |
345.71/345.99 c | 258435 | 702 47714 131916 | 22516 22515 145 | 0.000 % |
346.01/346.27 c | 258569 | 702 47714 131916 | 22516 22649 145 | 0.000 % |
346.32/346.57 c | 258717 | 702 47714 131916 | 22516 20105 144 | 0.000 % |
346.61/346.86 c | 258881 | 702 47714 131916 | 22516 20269 144 | 0.000 % |
347.01/347.29 c | 259057 | 702 47714 131916 | 22516 20445 144 | 0.000 % |
347.42/347.70 c | 259253 | 702 47714 131916 | 22516 20641 144 | 0.000 % |
347.81/348.09 c | 259465 | 702 47714 131916 | 22516 20853 144 | 0.000 % |
348.31/348.60 c | 259699 | 702 47714 131916 | 22516 21087 144 | 0.000 % |
348.81/349.05 c | 259956 | 702 47714 131916 | 22516 21344 144 | 0.000 % |
349.52/349.75 c | 260238 | 702 47714 131916 | 21390 21626 145 | 0.000 % |
350.11/350.36 c | 260548 | 702 47714 131916 | 21390 19073 143 | 0.000 % |
350.81/351.01 c | 260888 | 702 47714 131916 | 21390 19413 143 | 0.000 % |
351.61/351.81 c | 261260 | 702 47714 131916 | 21390 19785 143 | 0.000 % |
352.41/352.65 c | 261669 | 702 47714 131916 | 21390 20194 143 | 0.000 % |
353.61/353.87 c | 262120 | 702 47714 131916 | 21390 20645 144 | 0.000 % |
354.81/355.08 c | 262614 | 702 47714 131916 | 21390 21139 143 | 0.000 % |
355.61/355.87 c | 263157 | 702 47714 131916 | 21390 21682 143 | 0.000 % |
356.51/356.72 c | 263756 | 702 47714 131916 | 21390 19034 141 | 0.000 % |
357.31/357.50 c | 264411 | 702 47714 131916 | 21390 19689 142 | 0.000 % |
358.61/358.88 c | 265131 | 702 47714 131916 | 21390 20409 142 | 0.000 % |
359.71/359.90 c | 265931 | 702 47714 131916 | 21390 21209 143 | 0.000 % |
361.11/361.35 c | 266802 | 702 47714 131916 | 21390 19073 141 | 0.000 % |
362.41/362.63 c | 267762 | 702 47714 131916 | 21390 20033 142 | 0.000 % |
363.61/363.88 c | 268815 | 702 47714 131916 | 21390 21086 142 | 0.000 % |
364.91/365.17 c | 269973 | 702 47714 131916 | 21390 19657 141 | 0.000 % |
365.81/366.02 c | 271246 | 702 47714 131916 | 19686 18795 141 | 0.000 % |
367.61/367.81 c | 272646 | 702 47714 131916 | 19686 18212 141 | 0.000 % |
369.11/369.33 c | 274186 | 702 47714 131916 | 19686 19752 141 | 0.000 % |
371.41/371.66 c | 275881 | 702 47714 131916 | 19686 19472 140 | 0.000 % |
373.31/373.55 c | 277745 | 702 47714 131916 | 19686 19331 140 | 0.000 % |
375.21/375.47 c | 279795 | 702 47714 131916 | 19686 19370 139 | 0.000 % |
377.20/377.45 c | 282049 | 702 47714 131916 | 2147483647 21624 139 | 0.000 % |
379.21/379.49 c | 284528 | 702 47714 131916 | 2147483647 24103 140 | 0.000 % |
383.61/383.85 c | 287253 | 702 47714 131916 | 2147483647 26828 141 | 0.000 % |
383.80/384.02 c | 287354 | 702 47714 131916 | 2147483647 26929 141 | 0.000 % |
383.90/384.15 c | 287464 | 702 47714 131916 | 2147483647 27039 141 | 0.000 % |
384.10/384.31 c | 287589 | 702 47714 131916 | 2147483647 27164 141 | 0.000 % |
384.40/384.63 c | 287722 | 702 47714 131916 | 2147483647 27297 141 | 0.000 % |
384.60/384.86 c | 287868 | 702 47714 131916 | 2147483647 27443 141 | 0.000 % |
385.00/385.28 c | 288030 | 702 47714 131916 | 2147483647 27605 141 | 0.000 % |
385.30/385.53 c | 288206 | 702 47714 131916 | 2147483647 27781 141 | 0.000 % |
385.40/385.68 c | 288399 | 702 47714 131916 | 2147483647 27974 141 | 0.000 % |
385.81/386.05 c | 288611 | 702 47714 131916 | 2147483647 28186 141 | 0.000 % |
386.20/386.49 c | 288844 | 702 47714 131916 | 2147483647 28419 141 | 0.000 % |
386.70/386.91 c | 289101 | 702 47714 131916 | 2147483647 28676 141 | 0.000 % |
387.01/387.26 c | 289386 | 702 47714 131916 | 2147483647 28961 141 | 0.000 % |
387.50/387.78 c | 289698 | 702 47714 131916 | 2147483647 29273 141 | 0.000 % |
388.30/388.59 c | 290037 | 702 47714 131916 | 2147483647 29612 141 | 0.000 % |
389.10/389.35 c | 290409 | 702 47714 131916 | 2147483647 29984 141 | 0.000 % |
390.00/390.29 c | 290820 | 702 47714 131916 | 2147483647 30395 141 | 0.000 % |
390.79/391.06 c | 291271 | 702 47714 131916 | 2147483647 30846 141 | 0.000 % |
391.59/391.80 c | 291767 | 702 47714 131916 | 2147483647 31342 141 | 0.000 % |
392.40/392.65 c | 292309 | 702 47714 131916 | 2147483647 31884 141 | 0.000 % |
393.19/393.49 c | 292907 | 702 47714 131916 | 2147483647 32482 141 | 0.000 % |
394.59/394.85 c | 293563 | 702 47714 131916 | 2147483647 33138 141 | 0.000 % |
396.09/396.30 c | 294283 | 702 47714 131916 | 2147483647 33858 141 | 0.000 % |
397.39/397.66 c | 295075 | 702 47714 131916 | 2147483647 34650 141 | 0.000 % |
399.09/399.36 c | 295946 | 702 47714 131916 | 2147483647 35521 141 | 0.000 % |
400.79/401.06 c | 296908 | 702 47714 131916 | 2147483647 36483 141 | 0.000 % |
402.99/403.24 c | 297964 | 702 47714 131916 | 2147483647 37539 141 | 0.000 % |
404.59/404.88 c | 299124 | 702 47714 131916 | 2147483647 38699 141 | 0.000 % |
406.69/406.97 c | 300398 | 702 47714 131916 | 39576 39973 140 | 0.000 % |
409.18/409.47 c | 301799 | 702 47714 131916 | 39576 31869 138 | 0.000 % |
410.28/410.52 c | 303339 | 702 47714 131916 | 39576 33409 139 | 0.000 % |
411.58/411.86 c | 305033 | 702 47714 131916 | 39576 35103 139 | 0.000 % |
412.78/413.09 c | 306899 | 702 47714 131916 | 39576 36969 139 | 0.000 % |
414.78/415.03 c | 308948 | 702 47714 131916 | 39576 39018 139 | 0.000 % |
417.28/417.54 c | 311204 | 702 47714 131916 | 32808 27838 137 | 0.000 % |
418.18/418.48 c | 313684 | 702 47714 131916 | 32808 30318 140 | 0.000 % |
420.48/420.73 c | 316409 | 702 47714 131916 | 32808 33043 142 | 0.000 % |
422.58/422.82 c | 319408 | 702 47714 131916 | 32808 30555 143 | 0.000 % |
422.58/422.87 c | 319509 | 702 47714 131916 | 32808 30656 143 | 0.000 % |
422.68/422.94 c | 319621 | 702 47714 131916 | 32808 30768 143 | 0.000 % |
422.78/423.01 c | 319744 | 702 47714 131916 | 32808 30891 143 | 0.000 % |
422.78/423.07 c | 319878 | 702 47714 131916 | 32808 31025 143 | 0.000 % |
422.98/423.21 c | 320024 | 702 47714 131916 | 31149 31171 143 | 0.000 % |
423.28/423.56 c | 320187 | 702 47714 131916 | 31149 27178 145 | 0.000 % |
423.38/423.68 c | 320364 | 702 47714 131916 | 31149 27355 145 | 0.000 % |
423.48/423.79 c | 320557 | 702 47714 131916 | 31149 27548 145 | 0.000 % |
423.68/423.97 c | 320770 | 702 47714 131916 | 31149 27761 145 | 0.000 % |
423.88/424.15 c | 321003 | 702 47714 131916 | 31149 27994 145 | 0.000 % |
424.09/424.36 c | 321260 | 702 47714 131916 | 31149 28251 146 | 0.000 % |
424.29/424.52 c | 321543 | 702 47714 131916 | 31149 28534 146 | 0.000 % |
424.49/424.74 c | 321855 | 702 47714 131916 | 31149 28846 146 | 0.000 % |
424.69/424.99 c | 322197 | 702 47714 131916 | 31149 29188 146 | 0.000 % |
424.99/425.26 c | 322569 | 702 47714 131916 | 31149 29560 146 | 0.000 % |
425.39/425.66 c | 322978 | 702 47714 131916 | 31149 29969 147 | 0.000 % |
425.89/426.10 c | 323427 | 702 47714 131916 | 31149 30418 147 | 0.000 % |
426.29/426.54 c | 323920 | 702 47714 131916 | 31149 30911 147 | 0.000 % |
426.79/427.03 c | 324464 | 702 47714 131916 | 31149 31455 147 | 0.000 % |
427.39/427.67 c | 325061 | 702 47714 131916 | 31149 28559 149 | 0.000 % |
427.98/428.21 c | 325716 | 702 47714 131916 | 31149 29214 149 | 0.000 % |
428.58/428.85 c | 326437 | 702 47714 131916 | 31149 29935 150 | 0.000 % |
429.38/429.68 c | 327230 | 702 47714 131916 | 31149 30728 150 | 0.000 % |
430.78/431.06 c | 328101 | 702 47714 131916 | 31149 27464 151 | 0.000 % |
432.18/432.49 c | 329059 | 702 47714 131916 | 31149 28422 152 | 0.000 % |
433.68/433.90 c | 330115 | 702 47714 131916 | 29366 29478 152 | 0.000 % |
435.18/435.50 c | 331274 | 702 47714 131916 | 29366 26196 153 | 0.000 % |
436.98/437.24 c | 332548 | 702 47714 131916 | 29366 27470 154 | 0.000 % |
439.08/439.38 c | 333948 | 702 47714 131916 | 29366 28870 154 | 0.000 % |
440.88/441.16 c | 335491 | 702 47714 131916 | 29366 24620 156 | 0.000 % |
442.87/443.13 c | 337185 | 702 47714 131916 | 29366 26314 156 | 0.000 % |
445.67/445.95 c | 339049 | 702 47714 131916 | 29366 28178 156 | 0.000 % |
448.27/448.55 c | 341098 | 702 47714 131916 | 29131 24019 155 | 0.000 % |
451.67/451.91 c | 343352 | 702 47714 131916 | 29131 26273 155 | 0.000 % |
453.67/453.90 c | 345832 | 702 47714 131916 | 29131 28753 154 | 0.000 % |
458.17/458.44 c | 348557 | 702 47714 131916 | 29131 25063 152 | 0.000 % |
462.67/462.94 c | 351554 | 702 47714 131916 | 26506 21785 149 | 0.000 % |
467.07/467.31 c | 354850 | 702 47714 131916 | 26506 25081 149 | 0.000 % |
467.27/467.53 c | 354950 | 702 47714 131916 | 26506 25181 149 | 0.000 % |
467.47/467.74 c | 355060 | 702 47714 131916 | 26506 25291 149 | 0.000 % |
467.77/468.04 c | 355183 | 702 47714 131916 | 26506 25414 149 | 0.000 % |
467.97/468.24 c | 355316 | 702 47714 131916 | 26506 25547 149 | 0.000 % |
468.07/468.40 c | 355462 | 702 47714 131916 | 26506 25693 149 | 0.000 % |
468.27/468.54 c | 355622 | 702 47714 131916 | 26506 25853 149 | 0.000 % |
468.57/468.80 c | 355799 | 702 47714 131916 | 26506 26030 149 | 0.000 % |
468.77/469.01 c | 355993 | 702 47714 131916 | 26506 26224 149 | 0.000 % |
469.07/469.35 c | 356207 | 702 47714 131916 | 26506 26438 149 | 0.000 % |
469.37/469.63 c | 356440 | 702 47714 131916 | 26506 26671 150 | 0.000 % |
469.77/470.04 c | 356698 | 702 47714 131916 | 26506 20853 147 | 0.000 % |
470.16/470.46 c | 356979 | 702 47714 131916 | 26506 21134 147 | 0.000 % |
470.66/470.93 c | 357289 | 702 47714 131916 | 26506 21444 148 | 0.000 % |
470.96/471.26 c | 357629 | 702 47714 131916 | 26506 21784 148 | 0.000 % |
471.46/471.72 c | 358003 | 702 47714 131916 | 26506 22158 148 | 0.000 % |
472.06/472.31 c | 358412 | 702 47714 131916 | 26506 22567 148 | 0.000 % |
472.46/472.79 c | 358861 | 702 47714 131916 | 26506 23016 148 | 0.000 % |
473.36/473.67 c | 359354 | 702 47714 131916 | 26506 23509 148 | 0.000 % |
474.06/474.37 c | 359897 | 702 47714 131916 | 26506 24052 148 | 0.000 % |
474.76/475.06 c | 360494 | 702 47714 131916 | 24155 19639 147 | 0.000 % |
475.36/475.69 c | 361151 | 702 47714 131916 | 24155 20296 147 | 0.000 % |
476.16/476.48 c | 361871 | 702 47714 131916 | 24155 21016 148 | 0.000 % |
476.96/477.28 c | 362664 | 702 47714 131916 | 24155 21809 147 | 0.000 % |
478.06/478.34 c | 363536 | 702 47714 131916 | 24155 22681 147 | 0.000 % |
479.65/479.98 c | 364494 | 702 47714 131916 | 24155 23639 148 | 0.000 % |
481.05/481.38 c | 365548 | 702 47714 131916 | 24155 20060 146 | 0.000 % |
482.85/483.13 c | 366707 | 702 47714 131916 | 24155 21219 147 | 0.000 % |
484.45/484.72 c | 367982 | 702 47714 131916 | 24155 22494 148 | 0.000 % |
486.15/486.48 c | 369382 | 702 47714 131916 | 24155 23894 149 | 0.000 % |
487.65/487.92 c | 370922 | 702 47714 131916 | 24518 21262 149 | 0.000 % |
490.45/490.76 c | 372616 | 702 47714 131916 | 24518 22956 150 | 0.000 % |
493.25/493.53 c | 374480 | 702 47714 131916 | 24518 24820 151 | 0.000 % |
496.25/496.55 c | 376530 | 702 47714 131916 | 24518 22238 152 | 0.000 % |
499.55/499.84 c | 378783 | 702 47714 131916 | 24518 24491 153 | 0.000 % |
503.14/503.40 c | 381261 | 702 47714 131916 | 20644 17616 152 | 0.000 % |
507.04/507.34 c | 383990 | 702 47714 131916 | 20644 20345 153 | 0.000 % |
511.04/511.39 c | 386987 | 702 47714 131916 | 20644 19660 152 | 0.000 % |
514.64/514.96 c | 390285 | 702 47714 131916 | 19301 19585 150 | 0.000 % |
517.94/518.28 c | 393910 | 702 47714 131916 | 19301 17730 151 | 0.000 % |
518.14/518.47 c | 394011 | 702 47714 131916 | 19301 17831 151 | 0.000 % |
518.44/518.72 c | 394122 | 702 47714 131916 | 19301 17942 152 | 0.000 % |
518.54/518.89 c | 394244 | 702 47714 131916 | 19301 18064 152 | 0.000 % |
518.74/519.09 c | 394379 | 702 47714 131916 | 19301 18199 152 | 0.000 % |
519.04/519.35 c | 394529 | 702 47714 131916 | 19301 18349 152 | 0.000 % |
519.34/519.67 c | 394690 | 702 47714 131916 | 19301 18510 152 | 0.000 % |
519.64/519.97 c | 394869 | 702 47714 131916 | 19301 18689 152 | 0.000 % |
519.74/520.04 c | 395063 | 702 47714 131916 | 19301 18883 152 | 0.000 % |
520.24/520.50 c | 395277 | 702 47714 131916 | 19301 19097 152 | 0.000 % |
520.44/520.77 c | 395510 | 702 47714 131916 | 19301 19330 153 | 0.000 % |
520.84/521.16 c | 395766 | 702 47714 131916 | 19301 17065 152 | 0.000 % |
521.34/521.68 c | 396050 | 702 47714 131916 | 19301 17349 152 | 0.000 % |
521.84/522.17 c | 396359 | 702 47714 131916 | 19301 17658 152 | 0.000 % |
522.24/522.57 c | 396700 | 702 47714 131916 | 19301 17999 152 | 0.000 % |
522.94/523.29 c | 397072 | 702 47714 131916 | 19301 18371 152 | 0.000 % |
523.74/524.04 c | 397482 | 702 47714 131916 | 19301 18781 152 | 0.000 % |
524.24/524.52 c | 397932 | 702 47714 131916 | 19301 19231 152 | 0.000 % |
524.84/525.14 c | 398425 | 702 47714 131916 | 19301 17158 152 | 0.000 % |
525.44/525.74 c | 398968 | 702 47714 131916 | 19301 17701 151 | 0.000 % |
526.13/526.41 c | 399568 | 702 47714 131916 | 19301 18301 151 | 0.000 % |
526.83/527.16 c | 400223 | 702 47714 131916 | 18735 18956 151 | 0.000 % |
527.93/528.20 c | 400943 | 702 47714 131916 | 18735 17256 151 | 0.000 % |
528.63/528.98 c | 401735 | 702 47714 131916 | 18735 18048 151 | 0.000 % |
529.93/530.26 c | 402607 | 702 47714 131916 | 18735 18920 152 | 0.000 % |
530.93/531.30 c | 403567 | 702 47714 131916 | 18735 17560 152 | 0.000 % |
532.73/533.04 c | 404622 | 702 47714 131916 | 18735 18615 152 | 0.000 % |
534.23/534.56 c | 405780 | 702 47714 131916 | 18735 17835 150 | 0.000 % |
536.03/536.31 c | 407054 | 702 47714 131916 | 18735 19109 150 | 0.000 % |
537.63/537.99 c | 408454 | 702 47714 131916 | 18735 18525 148 | 0.000 % |
538.93/539.26 c | 409996 | 702 47714 131916 | 18735 18165 147 | 0.000 % |
541.23/541.53 c | 411690 | 702 47714 131916 | 2147483647 19859 147 | 0.000 % |
544.23/544.56 c | 413554 | 702 47714 131916 | 2147483647 21723 149 | 0.000 % |
548.82/549.11 c | 415603 | 702 47714 131916 | 2147483647 23772 150 | 0.000 % |
555.12/555.41 c | 417859 | 702 47714 131916 | 2147483647 26028 152 | 0.000 % |
561.42/561.74 c | 420340 | 702 47714 131916 | 28169 28509 152 | 0.000 % |
565.52/565.83 c | 423065 | 702 47714 131916 | 28169 23787 152 | 0.000 % |
570.01/570.30 c | 426062 | 702 47714 131916 | 28169 26784 152 | 0.000 % |
574.51/574.87 c | 429358 | 702 47714 131916 | 28169 23547 153 | 0.000 % |
578.71/579.08 c | 432983 | 702 47714 131916 | 24189 21918 149 | 0.000 % |
581.41/581.80 c | 436973 | 702 47714 131916 | 24189 21929 146 | 0.000 % |
581.61/581.99 c | 437074 | 702 47714 131916 | 24189 22030 146 | 0.000 % |
581.91/582.26 c | 437186 | 702 47714 131916 | 24189 22142 146 | 0.000 % |
582.11/582.42 c | 437313 | 702 47714 131916 | 24189 22269 146 | 0.000 % |
582.21/582.60 c | 437447 | 702 47714 131916 | 24189 22403 146 | 0.000 % |
582.51/582.89 c | 437593 | 702 47714 131916 | 24189 22549 146 | 0.000 % |
582.91/583.22 c | 437754 | 702 47714 131916 | 24189 22710 146 | 0.000 % |
583.41/583.79 c | 437930 | 702 47714 131916 | 24189 22886 146 | 0.000 % |
583.81/584.12 c | 438123 | 702 47714 131916 | 24189 23079 146 | 0.000 % |
584.01/584.38 c | 438335 | 702 47714 131916 | 24189 23291 146 | 0.000 % |
584.41/584.79 c | 438568 | 702 47714 131916 | 24189 23524 146 | 0.000 % |
585.11/585.41 c | 438825 | 702 47714 131916 | 24189 23781 146 | 0.000 % |
585.41/585.72 c | 439111 | 702 47714 131916 | 24189 24067 146 | 0.000 % |
586.20/586.50 c | 439421 | 702 47714 131916 | 24189 24377 147 | 0.000 % |
586.90/587.21 c | 439760 | 702 47714 131916 | 24189 20574 144 | 0.000 % |
587.60/587.91 c | 440135 | 702 47714 131916 | 20815 20949 145 | 0.000 % |
588.21/588.52 c | 440546 | 702 47714 131916 | 20815 17826 143 | 0.000 % |
588.90/589.29 c | 440995 | 702 47714 131916 | 20815 18275 143 | 0.000 % |
590.00/590.33 c | 441488 | 702 47714 131916 | 20815 18768 144 | 0.000 % |
590.80/591.17 c | 442036 | 702 47714 131916 | 20815 19316 144 | 0.000 % |
592.20/592.59 c | 442632 | 702 47714 131916 | 20815 19912 145 | 0.000 % |
593.50/593.87 c | 443289 | 702 47714 131916 | 20815 20569 145 | 0.000 % |
594.81/595.11 c | 444012 | 702 47714 131916 | 20815 17938 144 | 0.000 % |
595.80/596.18 c | 444807 | 702 47714 131916 | 20815 18733 145 | 0.000 % |
597.10/597.47 c | 445681 | 702 47714 131916 | 20815 19607 145 | 0.000 % |
598.60/598.91 c | 446645 | 702 47714 131916 | 20815 20571 146 | 0.000 % |
599.80/600.15 c | 447701 | 702 47714 131916 | 20815 18648 147 | 0.000 % |
601.10/601.50 c | 448860 | 702 47714 131916 | 20815 19807 148 | 0.000 % |
603.30/603.63 c | 450133 | 702 47714 131916 | 20949 21080 148 | 0.000 % |
605.10/605.47 c | 451533 | 702 47714 131916 | 20949 19714 149 | 0.000 % |
608.00/608.39 c | 453073 | 702 47714 131916 | 20949 18638 150 | 0.000 % |
609.50/609.83 c | 454767 | 702 47714 131916 | 20949 20332 150 | 0.000 % |
611.60/611.97 c | 456631 | 702 47714 131916 | 20949 19928 151 | 0.000 % |
615.09/615.47 c | 458681 | 702 47714 131916 | 20949 19727 151 | 0.000 % |
618.29/618.61 c | 460936 | 702 47714 131916 | 21046 19725 150 | 0.000 % |
621.59/621.97 c | 463414 | 702 47714 131916 | 21046 20087 151 | 0.000 % |
624.89/625.29 c | 466140 | 702 47714 131916 | 21046 20692 152 | 0.000 % |
628.49/628.87 c | 469137 | 702 47714 131916 | 21046 19430 152 | 0.000 % |
633.38/633.73 c | 472435 | 702 47714 131916 | 2147483647 22728 153 | 0.000 % |
639.28/639.64 c | 476065 | 702 47714 131916 | 2147483647 26358 153 | 0.000 % |
645.18/645.55 c | 480054 | 702 47714 131916 | 30294 30347 153 | 0.000 % |
652.18/652.55 c | 484442 | 702 47714 131916 | 30294 25997 150 | 0.000 % |
652.38/652.79 c | 484545 | 702 47714 131916 | 30294 26100 150 | 0.000 % |
652.78/653.12 c | 484655 | 702 47714 131916 | 30294 26210 150 | 0.000 % |
653.08/653.41 c | 484777 | 702 47714 131916 | 30294 26332 150 | 0.000 % |
653.38/653.73 c | 484910 | 702 47714 131916 | 30294 26465 150 | 0.000 % |
653.58/653.91 c | 485056 | 702 47714 131916 | 30294 26611 150 | 0.000 % |
653.88/654.25 c | 485220 | 702 47714 131916 | 30294 26775 150 | 0.000 % |
654.28/654.68 c | 485397 | 702 47714 131916 | 30294 26952 150 | 0.000 % |
654.68/655.07 c | 485592 | 702 47714 131916 | 30294 27147 150 | 0.000 % |
654.98/655.38 c | 485806 | 702 47714 131916 | 30294 27361 150 | 0.000 % |
655.28/655.69 c | 486041 | 702 47714 131916 | 30294 27596 150 | 0.000 % |
656.08/656.42 c | 486300 | 702 47714 131916 | 30294 27855 150 | 0.000 % |
656.68/657.04 c | 486584 | 702 47714 131916 | 30294 28139 150 | 0.000 % |
657.28/657.69 c | 486897 | 702 47714 131916 | 30294 28452 150 | 0.000 % |
657.98/658.34 c | 487237 | 702 47714 131916 | 30294 28792 150 | 0.000 % |
658.48/658.90 c | 487611 | 702 47714 131916 | 30294 29166 150 | 0.000 % |
659.17/659.53 c | 488021 | 702 47714 131916 | 30294 29576 150 | 0.000 % |
660.27/660.68 c | 488471 | 702 47714 131916 | 30294 30026 151 | 0.000 % |
660.87/661.29 c | 488967 | 702 47714 131916 | 30294 30522 151 | 0.000 % |
662.37/662.71 c | 489512 | 702 47714 131916 | 30294 26009 149 | 0.000 % |
663.67/664.03 c | 490109 | 702 47714 131916 | 26498 26606 149 | 0.000 % |
664.77/665.13 c | 490765 | 702 47714 131916 | 26498 22560 147 | 0.000 % |
665.77/666.10 c | 491485 | 702 47714 131916 | 26498 23280 147 | 0.000 % |
667.07/667.44 c | 492279 | 702 47714 131916 | 26498 24074 147 | 0.000 % |
668.07/668.40 c | 493151 | 702 47714 131916 | 26498 24946 147 | 0.000 % |
668.97/669.33 c | 494109 | 702 47714 131916 | 26498 25904 147 | 0.000 % |
671.27/671.63 c | 495165 | 702 47714 131916 | 26498 22282 147 | 0.000 % |
672.97/673.34 c | 496324 | 702 47714 131916 | 26498 23441 147 | 0.000 % |
675.67/676.09 c | 497598 | 702 47714 131916 | 26498 24715 148 | 0.000 % |
678.47/678.86 c | 499000 | 702 47714 131916 | 26498 26117 148 | 0.000 % |
681.67/682.02 c | 500540 | 702 47714 131916 | 21791 17998 145 | 0.000 % |
684.16/684.57 c | 502234 | 702 47714 131916 | 21791 19692 146 | 0.000 % |
687.17/687.50 c | 504097 | 702 47714 131916 | 21791 21555 149 | 0.000 % |
690.47/690.90 c | 506147 | 702 47714 131916 | 21791 19300 151 | 0.000 % |
693.67/694.08 c | 508400 | 702 47714 131916 | 21791 21553 151 | 0.000 % |
696.56/696.92 c | 510878 | 702 47714 131916 | 19332 17022 150 | 0.000 % |
699.16/699.57 c | 513603 | 702 47714 131916 | 19332 17586 150 | 0.000 % |
702.86/703.22 c | 516601 | 702 47714 131916 | 19332 18395 148 | 0.000 % |
706.35/706.76 c | 519899 | 702 47714 131916 | 19332 19728 147 | 0.000 % |
710.85/711.24 c | 523526 | 702 47714 131916 | 2147483647 21383 147 | 0.000 % |
717.45/717.81 c | 527518 | 702 47714 131916 | 2147483647 25375 148 | 0.000 % |
725.65/726.04 c | 531906 | 702 47714 131916 | 27858 25879 147 | 0.000 % |
731.85/732.23 c | 536730 | 702 47714 131916 | 27858 25543 146 | 0.000 % |
732.05/732.42 c | 536831 | 702 47714 131916 | 27858 25644 146 | 0.000 % |
732.15/732.57 c | 536943 | 702 47714 131916 | 27858 25756 146 | 0.000 % |
732.25/732.67 c | 537066 | 702 47714 131916 | 27858 25879 146 | 0.000 % |
732.54/732.92 c | 537199 | 702 47714 131916 | 27858 26012 146 | 0.000 % |
732.84/733.26 c | 537345 | 702 47714 131916 | 27858 26158 146 | 0.000 % |
733.25/733.64 c | 537506 | 702 47714 131916 | 27858 26319 146 | 0.000 % |
733.74/734.12 c | 537683 | 702 47714 131916 | 27858 26496 145 | 0.000 % |
734.04/734.43 c | 537879 | 702 47714 131916 | 27858 26692 145 | 0.000 % |
734.24/734.67 c | 538091 | 702 47714 131916 | 27858 26904 145 | 0.000 % |
734.64/735.04 c | 538325 | 702 47714 131916 | 27858 27138 145 | 0.000 % |
735.04/735.48 c | 538581 | 702 47714 131916 | 27858 27394 145 | 0.000 % |
735.64/736.02 c | 538862 | 702 47714 131916 | 27858 27675 145 | 0.000 % |
735.74/736.19 c | 539172 | 702 47714 131916 | 27858 27985 145 | 0.000 % |
736.14/736.59 c | 539511 | 702 47714 131916 | 27858 23670 143 | 0.000 % |
736.55/736.96 c | 539884 | 702 47714 131916 | 27858 24043 143 | 0.000 % |
736.84/737.29 c | 540294 | 702 47714 131916 | 24160 24453 144 | 0.000 % |
737.14/737.59 c | 540746 | 702 47714 131916 | 24160 21243 142 | 0.000 % |
737.65/738.08 c | 541240 | 702 47714 131916 | 24160 21737 142 | 0.000 % |
738.14/738.51 c | 541783 | 702 47714 131916 | 24160 22280 143 | 0.000 % |
738.64/739.02 c | 542379 | 702 47714 131916 | 24160 22876 143 | 0.000 % |
738.94/739.33 c | 543034 | 702 47714 131916 | 24160 23531 143 | 0.000 % |
739.34/739.79 c | 543755 | 702 47714 131916 | 24160 24252 144 | 0.000 % |
740.14/740.50 c | 544548 | 702 47714 131916 | 24160 22620 143 | 0.000 % |
741.34/741.71 c | 545420 | 702 47714 131916 | 24160 23492 144 | 0.000 % |
742.44/742.87 c | 546380 | 702 47714 131916 | 24160 22010 144 | 0.000 % |
743.44/743.84 c | 547436 | 702 47714 131916 | 24160 23066 144 | 0.000 % |
744.54/744.98 c | 548600 | 702 47714 131916 | 24160 24230 145 | 0.000 % |
745.64/746.06 c | 549873 | 702 47714 131916 | 24160 23080 145 | 0.000 % |
746.94/747.36 c | 551277 | 702 47714 131916 | 2147483647 24484 145 | 0.000 % |
748.64/749.04 c | 552822 | 702 47714 131916 | 2147483647 26029 145 | 0.000 % |
750.73/751.14 c | 554521 | 702 47714 131916 | 2147483647 27728 146 | 0.000 % |
753.14/753.53 c | 556389 | 702 47714 131916 | 2147483647 29596 148 | 0.000 % |
755.93/756.35 c | 558439 | 702 47714 131916 | 2147483647 31646 148 | 0.000 % |
759.33/759.75 c | 560693 | 702 47714 131916 | 33212 27933 148 | 0.000 % |
762.63/763.08 c | 563172 | 702 47714 131916 | 33212 30412 148 | 0.000 % |
766.43/766.81 c | 565897 | 702 47714 131916 | 33212 33137 148 | 0.000 % |
769.93/770.31 c | 568895 | 702 47714 131916 | 33212 29234 147 | 0.000 % |
774.03/774.41 c | 572193 | 702 47714 131916 | 30340 26877 145 | 0.000 % |
777.93/778.33 c | 575820 | 702 47714 131916 | 30340 30504 146 | 0.000 % |
783.02/783.47 c | 579813 | 702 47714 131916 | 30340 29041 143 | 0.000 % |
787.42/787.83 c | 584199 | 702 47714 131916 | 29228 28956 142 | 0.000 % |
792.12/792.57 c | 589022 | 702 47714 131916 | 29228 26827 140 | 0.000 % |
796.11/796.59 c | 594327 | 702 47714 131916 | 27808 26263 137 | 0.000 % |
796.31/796.71 c | 594429 | 702 47714 131916 | 27808 26365 137 | 0.000 % |
796.41/796.84 c | 594539 | 702 47714 131916 | 27808 26475 137 | 0.000 % |
796.41/796.89 c | 594660 | 702 47714 131916 | 27808 26596 138 | 0.000 % |
796.61/797.02 c | 594793 | 702 47714 131916 | 27808 26729 138 | 0.000 % |
796.71/797.15 c | 594940 | 702 47714 131916 | 27808 26876 138 | 0.000 % |
796.71/797.19 c | 595102 | 702 47714 131916 | 27808 27038 138 | 0.000 % |
797.02/797.41 c | 595278 | 702 47714 131916 | 27808 27214 138 | 0.000 % |
797.21/797.60 c | 595471 | 702 47714 131916 | 27808 27407 138 | 0.000 % |
797.31/797.76 c | 595683 | 702 47714 131916 | 27808 27619 138 | 0.000 % |
797.41/797.86 c | 595917 | 702 47714 131916 | 27808 27853 138 | 0.000 % |
797.71/798.16 c | 596173 | 702 47714 131916 | 27808 25324 137 | 0.000 % |
798.01/798.41 c | 596454 | 702 47714 131916 | 27808 25605 137 | 0.000 % |
798.22/798.65 c | 596766 | 702 47714 131916 | 27808 25917 137 | 0.000 % |
798.31/798.77 c | 597105 | 702 47714 131916 | 27808 26256 138 | 0.000 % |
798.41/798.86 c | 597477 | 702 47714 131916 | 27808 26628 138 | 0.000 % |
798.91/799.30 c | 597886 | 702 47714 131916 | 27808 27037 138 | 0.000 % |
799.21/799.61 c | 598336 | 702 47714 131916 | 27808 27487 138 | 0.000 % |
799.51/799.98 c | 598829 | 702 47714 131916 | 27808 27980 139 | 0.000 % |
800.01/800.45 c | 599371 | 702 47714 131916 | 27808 25724 139 | 0.000 % |
800.71/801.14 c | 599967 | 702 47714 131916 | 27808 26320 140 | 0.000 % |
801.61/802.01 c | 600629 | 702 47714 131916 | 2147483647 26982 140 | 0.000 % |
802.71/803.14 c | 601350 | 702 47714 131916 | 2147483647 27703 140 | 0.000 % |
803.61/804.02 c | 602143 | 702 47714 131916 | 2147483647 28496 141 | 0.000 % |
804.31/804.78 c | 603014 | 702 47714 131916 | 2147483647 29367 141 | 0.000 % |
804.91/805.36 c | 603972 | 702 47714 131916 | 2147483647 30325 142 | 0.000 % |
805.61/806.04 c | 605025 | 702 47714 131916 | 2147483647 31378 141 | 0.000 % |
806.81/807.23 c | 606183 | 702 47714 131916 | 2147483647 32536 142 | 0.000 % |
808.80/809.26 c | 607457 | 702 47714 131916 | 2147483647 33810 142 | 0.000 % |
810.10/810.58 c | 608858 | 702 47714 131916 | 2147483647 35211 142 | 0.000 % |
812.30/812.73 c | 610398 | 702 47714 131916 | 36353 30375 143 | 0.000 % |
814.71/815.15 c | 612094 | 702 47714 131916 | 36353 32071 144 | 0.000 % |
817.30/817.70 c | 613958 | 702 47714 131916 | 36353 33935 145 | 0.000 % |
819.70/820.19 c | 616007 | 702 47714 131916 | 36353 35984 145 | 0.000 % |
824.40/824.80 c | 618260 | 702 47714 131916 | 36353 29951 148 | 0.000 % |
828.90/829.32 c | 620738 | 702 47714 131916 | 31691 25090 149 | 0.000 % |
832.80/833.24 c | 623464 | 702 47714 131916 | 31691 27816 149 | 0.000 % |
838.00/838.47 c | 626461 | 702 47714 131916 | 31691 30813 149 | 0.000 % |
844.69/845.16 c | 629757 | 702 47714 131916 | 31691 26682 145 | 0.000 % |
849.09/849.51 c | 633382 | 702 47714 131916 | 26929 24033 141 | 0.000 % |
851.49/851.96 c | 637370 | 702 47714 131916 | 26929 24192 142 | 0.000 % |
856.09/856.57 c | 641759 | 702 47714 131916 | 26827 25011 140 | 0.000 % |
859.79/860.21 c | 646582 | 702 47714 131916 | 26827 27133 139 | 0.000 % |
862.68/863.20 c | 651887 | 702 47714 131916 | 2147483647 26999 139 | 0.000 % |
867.39/867.86 c | 657726 | 702 47714 131916 | 2147483647 32838 140 | 0.000 % |
867.49/867.99 c | 657829 | 702 47714 131916 | 2147483647 32941 140 | 0.000 % |
867.68/868.10 c | 657940 | 702 47714 131916 | 2147483647 33052 140 | 0.000 % |
867.88/868.32 c | 658061 | 702 47714 131916 | 2147483647 33173 140 | 0.000 % |
868.08/868.51 c | 658194 | 702 47714 131916 | 2147483647 33306 140 | 0.000 % |
868.18/868.62 c | 658340 | 702 47714 131916 | 2147483647 33452 140 | 0.000 % |
868.38/868.86 c | 658500 | 702 47714 131916 | 2147483647 33612 140 | 0.000 % |
868.68/869.18 c | 658677 | 702 47714 131916 | 2147483647 33789 140 | 0.000 % |
868.98/869.40 c | 658870 | 702 47714 131916 | 2147483647 33982 140 | 0.000 % |
869.18/869.60 c | 659082 | 702 47714 131916 | 2147483647 34194 141 | 0.000 % |
869.38/869.88 c | 659317 | 702 47714 131916 | 2147483647 34429 141 | 0.000 % |
869.69/870.19 c | 659573 | 702 47714 131916 | 2147483647 34685 141 | 0.000 % |
870.28/870.76 c | 659855 | 702 47714 131916 | 2147483647 34967 141 | 0.000 % |
870.79/871.24 c | 660164 | 702 47714 131916 | 2147483647 35276 141 | 0.000 % |
871.28/871.73 c | 660505 | 702 47714 131916 | 2147483647 35617 140 | 0.000 % |
871.68/872.13 c | 660878 | 702 47714 131916 | 2147483647 35990 140 | 0.000 % |
872.28/872.70 c | 661291 | 702 47714 131916 | 2147483647 36403 140 | 0.000 % |
872.78/873.25 c | 661740 | 702 47714 131916 | 2147483647 36852 140 | 0.000 % |
873.88/874.30 c | 662235 | 702 47714 131916 | 2147483647 37347 140 | 0.000 % |
874.58/875.02 c | 662777 | 702 47714 131916 | 2147483647 37889 140 | 0.000 % |
875.08/875.58 c | 663373 | 702 47714 131916 | 2147483647 38485 140 | 0.000 % |
875.89/876.31 c | 664028 | 702 47714 131916 | 2147483647 39140 140 | 0.000 % |
876.49/876.92 c | 664748 | 702 47714 131916 | 2147483647 39860 140 | 0.000 % |
877.29/877.79 c | 665542 | 702 47714 131916 | 2147483647 40654 140 | 0.000 % |
878.18/878.66 c | 666416 | 702 47714 131916 | 2147483647 41528 140 | 0.000 % |
878.98/879.45 c | 667376 | 702 47714 131916 | 2147483647 42488 139 | 0.000 % |
881.28/881.77 c | 668429 | 702 47714 131916 | 2147483647 43541 139 | 0.000 % |
884.87/885.34 c | 669589 | 702 47714 131916 | 2147483647 44701 139 | 0.000 % |
886.27/886.75 c | 670862 | 702 47714 131916 | 45113 34693 137 | 0.000 % |
889.07/889.51 c | 672262 | 702 47714 131916 | 45113 36093 139 | 0.000 % |
895.46/895.90 c | 673803 | 702 47714 131916 | 45113 37634 140 | 0.000 % |
895.97/896.41 c | 675503 | 702 47714 131916 | 45113 39334 140 | 0.000 % |
902.86/903.33 c | 677366 | 702 47714 131916 | 45113 41197 141 | 0.000 % |
908.26/908.74 c | 679415 | 702 47714 131916 | 45113 43246 142 | 0.000 % |
910.96/911.41 c | 681669 | 702 47714 131916 | 43832 31032 141 | 0.000 % |
917.06/917.55 c | 684147 | 702 47714 131916 | 43832 33510 141 | 0.000 % |
923.56/924.03 c | 686875 | 702 47714 131916 | 43832 36238 141 | 0.000 % |
930.55/931.03 c | 689875 | 702 47714 131916 | 43832 39238 140 | 0.000 % |
935.15/935.69 c | 693171 | 702 47714 131916 | 39364 28210 140 | 0.000 % |
940.14/940.65 c | 696797 | 702 47714 131916 | 39364 31836 139 | 0.000 % |
944.04/944.56 c | 700784 | 702 47714 131916 | 35040 25732 128 | 0.000 % |
946.94/947.42 c | 705172 | 702 47714 131916 | 35040 30120 126 | 0.000 % |
949.54/950.04 c | 709996 | 702 47714 131916 | 35040 34944 133 | 0.000 % |
953.54/954.00 c | 715301 | 702 47714 131916 | 34950 33641 137 | 0.000 % |
959.24/959.73 c | 721136 | 702 47714 131916 | 32712 28425 147 | 0.000 % |
967.33/967.89 c | 727555 | 702 47714 131916 | 32712 29525 156 | 0.000 % |
967.63/968.10 c | 727656 | 702 47714 131916 | 32712 29626 156 | 0.000 % |
967.73/968.27 c | 727767 | 702 47714 131916 | 32712 29737 156 | 0.000 % |
967.93/968.43 c | 727888 | 702 47714 131916 | 32712 29858 156 | 0.000 % |
968.23/968.72 c | 728028 | 702 47714 131916 | 32712 29998 156 | 0.000 % |
968.54/969.06 c | 728175 | 702 47714 131916 | 32712 30145 156 | 0.000 % |
968.83/969.31 c | 728336 | 702 47714 131916 | 32712 30306 156 | 0.000 % |
969.03/969.57 c | 728513 | 702 47714 131916 | 32712 30483 156 | 0.000 % |
969.43/969.99 c | 728706 | 702 47714 131916 | 32712 30676 156 | 0.000 % |
969.93/970.45 c | 728918 | 702 47714 131916 | 32712 30888 156 | 0.000 % |
970.33/970.81 c | 729152 | 702 47714 131916 | 32712 31122 157 | 0.000 % |
970.63/971.10 c | 729408 | 702 47714 131916 | 32712 31378 157 | 0.000 % |
971.13/971.68 c | 729691 | 702 47714 131916 | 32712 31661 157 | 0.000 % |
971.53/972.00 c | 730000 | 702 47714 131916 | 32712 31970 157 | 0.000 % |
972.23/972.73 c | 730343 | 702 47714 131916 | 31970 26401 162 | 0.000 % |
972.94/973.44 c | 730716 | 702 47714 131916 | 31970 26774 162 | 0.000 % |
973.63/974.19 c | 731126 | 702 47714 131916 | 31970 27184 162 | 0.000 % |
974.62/975.10 c | 731575 | 702 47714 131916 | 31970 27633 162 | 0.000 % |
975.42/975.91 c | 732070 | 702 47714 131916 | 31970 28128 162 | 0.000 % |
976.23/976.76 c | 732612 | 702 47714 131916 | 31970 28670 162 | 0.000 % |
977.33/977.85 c | 733210 | 702 47714 131916 | 31970 29268 163 | 0.000 % |
978.62/979.11 c | 733865 | 702 47714 131916 | 31970 29923 163 | 0.000 % |
980.02/980.53 c | 734588 | 702 47714 131916 | 31970 30646 163 | 0.000 % |
981.62/982.13 c | 735380 | 702 47714 131916 | 31970 31438 163 | 0.000 % |
983.02/983.52 c | 736251 | 702 47714 131916 | 31970 32309 163 | 0.000 % |
984.53/985.05 c | 737209 | 702 47714 131916 | 31970 26727 159 | 0.000 % |
986.63/987.10 c | 738264 | 702 47714 131916 | 31970 27782 159 | 0.000 % |
988.63/989.14 c | 739423 | 702 47714 131916 | 31970 28941 159 | 0.000 % |
990.93/991.50 c | 740696 | 702 47714 131916 | 29519 24016 155 | 0.000 % |
992.23/992.70 c | 742096 | 702 47714 131916 | 29519 25416 156 | 0.000 % |
994.93/995.45 c | 743636 | 702 47714 131916 | 29519 26956 157 | 0.000 % |
996.03/996.57 c | 745331 | 702 47714 131916 | 29519 28651 157 | 0.000 % |
999.33/999.84 c | 747194 | 702 47714 131916 | 29519 24239 155 | 0.000 % |
1002.62/1003.12 c | 749245 | 702 47714 131916 | 29519 26290 156 | 0.000 % |
1006.32/1006.86 c | 751498 | 702 47714 131916 | 27046 22246 154 | 0.000 % |
1009.32/1009.84 c | 753976 | 702 47714 131916 | 27046 24724 153 | 0.000 % |
1011.32/1011.89 c | 756701 | 702 47714 131916 | 27046 27449 153 | 0.000 % |
1014.82/1015.39 c | 759698 | 702 47714 131916 | 27046 24754 154 | 0.000 % |
1018.52/1019.02 c | 762995 | 702 47714 131916 | 25056 23285 153 | 0.000 % |
1022.41/1023.00 c | 766620 | 702 47714 131916 | 25056 23347 154 | 0.000 % |
1027.00/1027.59 c | 770608 | 702 47714 131916 | 23328 20921 154 | 0.000 % |
1033.00/1033.57 c | 774993 | 702 47714 131916 | 23328 22174 157 | 0.000 % |
1039.00/1039.51 c | 779817 | 702 47714 131916 | 23328 23546 157 | 0.000 % |
1047.10/1047.65 c | 785126 | 702 47714 131916 | 20530 20052 157 | 0.000 % |
1054.90/1055.49 c | 790961 | 702 47714 131916 | 20318 19152 155 | 0.000 % |
1062.89/1063.45 c | 797379 | 702 47714 131916 | 20318 19000 154 | 0.000 % |
1071.77/1072.38 c | 804439 | 702 47714 131916 | 19511 18071 154 | 0.000 % |
1071.98/1072.54 c | 804541 | 702 47714 131916 | 19511 18173 154 | 0.000 % |
1072.07/1072.70 c | 804651 | 702 47714 131916 | 19511 18283 154 | 0.000 % |
1072.27/1072.83 c | 804772 | 702 47714 131916 | 19511 18404 154 | 0.000 % |
1072.47/1073.05 c | 804905 | 702 47714 131916 | 19511 18537 154 | 0.000 % |
1072.77/1073.32 c | 805051 | 702 47714 131916 | 19511 18683 154 | 0.000 % |
1072.98/1073.56 c | 805211 | 702 47714 131916 | 19511 18843 154 | 0.000 % |
1073.27/1073.81 c | 805389 | 702 47714 131916 | 19511 19021 154 | 0.000 % |
1073.47/1074.05 c | 805582 | 702 47714 131916 | 19511 19214 154 | 0.000 % |
1073.87/1074.47 c | 805795 | 702 47714 131916 | 19511 19427 154 | 0.000 % |
1074.27/1074.86 c | 806030 | 702 47714 131916 | 19511 19662 154 | 0.000 % |
1074.77/1075.33 c | 806287 | 702 47714 131916 | 19511 17953 154 | 0.000 % |
1075.07/1075.69 c | 806570 | 702 47714 131916 | 19511 18236 154 | 0.000 % |
1075.47/1076.04 c | 806879 | 702 47714 131916 | 19511 18545 154 | 0.000 % |
1075.97/1076.54 c | 807220 | 702 47714 131916 | 19511 18886 154 | 0.000 % |
1076.47/1077.04 c | 807592 | 702 47714 131916 | 19511 19258 154 | 0.000 % |
1077.07/1077.64 c | 808001 | 702 47714 131916 | 19511 19667 154 | 0.000 % |
1077.67/1078.23 c | 808451 | 702 47714 131916 | 19511 18151 153 | 0.000 % |
1078.17/1078.71 c | 808946 | 702 47714 131916 | 19511 18646 153 | 0.000 % |
1078.87/1079.49 c | 809488 | 702 47714 131916 | 19511 19188 153 | 0.000 % |
1079.87/1080.43 c | 810085 | 702 47714 131916 | 2147483647 19785 154 | 0.000 % |
1080.87/1081.48 c | 810741 | 702 47714 131916 | 2147483647 20441 154 | 0.000 % |
1082.16/1082.71 c | 811463 | 702 47714 131916 | 2147483647 21163 154 | 0.000 % |
1083.46/1084.08 c | 812257 | 702 47714 131916 | 2147483647 21957 154 | 0.000 % |
1085.36/1085.96 c | 813132 | 702 47714 131916 | 2147483647 22832 154 | 0.000 % |
1086.66/1087.27 c | 814091 | 702 47714 131916 | 2147483647 23791 154 | 0.000 % |
1088.06/1088.62 c | 815145 | 702 47714 131916 | 2147483647 24845 155 | 0.000 % |
1089.66/1090.21 c | 816304 | 702 47714 131916 | 2147483647 26004 155 | 0.000 % |
1091.77/1092.39 c | 817577 | 702 47714 131916 | 2147483647 27277 155 | 0.000 % |
1094.86/1095.48 c | 818977 | 702 47714 131916 | 2147483647 28677 155 | 0.000 % |
1097.36/1097.90 c | 820518 | 702 47714 131916 | 29704 25344 153 | 0.000 % |
1099.06/1099.66 c | 822213 | 702 47714 131916 | 29704 27039 154 | 0.000 % |
1100.96/1101.58 c | 824079 | 702 47714 131916 | 29704 28905 154 | 0.000 % |
1104.76/1105.37 c | 826130 | 702 47714 131916 | 29704 26434 153 | 0.000 % |
1109.55/1110.10 c | 828383 | 702 47714 131916 | 29704 28687 153 | 0.000 % |
1114.25/1114.80 c | 830862 | 702 47714 131916 | 23961 19608 151 | 0.000 % |
1117.65/1118.27 c | 833592 | 702 47714 131916 | 23961 22338 152 | 0.000 % |
1122.55/1123.20 c | 836592 | 702 47714 131916 | 23961 21286 155 | 0.000 % |
1128.05/1128.66 c | 839893 | 702 47714 131916 | 23961 20545 157 | 0.000 % |
1130.74/1131.38 c | 843518 | 702 47714 131916 | 20653 20897 157 | 0.000 % |
1135.44/1136.05 c | 847505 | 702 47714 131916 | 20653 20434 159 | 0.000 % |
1141.64/1142.20 c | 851892 | 702 47714 131916 | 20546 20198 160 | 0.000 % |
1146.84/1147.43 c | 856716 | 702 47714 131916 | 20546 20170 161 | 0.000 % |
1154.93/1155.54 c | 862021 | 702 47714 131916 | 19080 19094 158 | 0.000 % |
1161.13/1161.77 c | 867858 | 702 47714 131916 | 19080 19115 158 | 0.000 % |
1169.73/1170.38 c | 874277 | 702 47714 131916 | 2147483647 23623 161 | 0.000 % |
1179.73/1180.37 c | 881338 | 702 47714 131916 | 29349 26179 161 | 0.000 % |
1190.42/1191.05 c | 889102 | 702 47714 131916 | 29349 28375 160 | 0.000 % |
1190.62/1191.26 c | 889203 | 702 47714 131916 | 29349 28476 160 | 0.000 % |
1190.92/1191.58 c | 889314 | 702 47714 131916 | 29349 28587 160 | 0.000 % |
1191.22/1191.80 c | 889435 | 702 47714 131916 | 29349 28708 160 | 0.000 % |
1191.42/1192.01 c | 889569 | 702 47714 131916 | 29349 28842 160 | 0.000 % |
1191.72/1192.34 c | 889717 | 702 47714 131916 | 29349 28990 160 | 0.000 % |
1192.12/1192.74 c | 889877 | 702 47714 131916 | 29349 29150 160 | 0.000 % |
1192.62/1193.20 c | 890058 | 702 47714 131916 | 29274 29331 160 | 0.000 % |
1193.12/1193.71 c | 890251 | 702 47714 131916 | 29274 24375 158 | 0.000 % |
1193.52/1194.18 c | 890463 | 702 47714 131916 | 29274 24587 158 | 0.000 % |
1194.31/1194.93 c | 890696 | 702 47714 131916 | 29274 24820 158 | 0.000 % |
1195.02/1195.64 c | 890952 | 702 47714 131916 | 29274 25076 158 | 0.000 % |
1195.91/1196.54 c | 891233 | 702 47714 131916 | 29274 25357 158 | 0.000 % |
1196.71/1197.33 c | 891542 | 702 47714 131916 | 29274 25666 158 | 0.000 % |
1197.41/1198.02 c | 891884 | 702 47714 131916 | 29274 26008 158 | 0.000 % |
1198.11/1198.72 c | 892256 | 702 47714 131916 | 29274 26380 158 | 0.000 % |
1198.71/1199.39 c | 892666 | 702 47714 131916 | 29274 26790 158 | 0.000 % |
1199.51/1200.12 c | 893116 | 702 47714 131916 | 29274 27240 158 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834279-1242829348/watcher-1834279-1242829348 -o /tmp/evaluation-result-1834279-1242829348/solver-1834279-1242829348 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834279-1242829348.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.97 0.99 3/65 19232
/proc/meminfo: memFree=1839736/2055920 swapFree=4177460/4192956
[pid=19232] ppid=19230 vsize=5356 CPUtime=0
/proc/19232/stat : 19232 (SatELiteGTI) S 19230 19232 18811 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310967993 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 268213911634 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/19232/statm: 1339 235 195 169 0 50 0
[pid=19233] ppid=19232 vsize=5356 CPUtime=0
/proc/19233/stat : 19233 (SatELiteGTI) S 19232 19232 18811 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310967993 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/19233/statm: 1339 238 198 169 0 50 0
[pid=19235] ppid=19233 vsize=192 CPUtime=0
/proc/19235/stat : 19235 (sed) R 19233 19232 18811 0 -1 4194304 37 0 0 0 0 0 0 0 18 0 1 0 310967993 196608 18 1992294400 4194304 4240196 548682069056 18446744073709551615 268211123785 0 0 4096 0 0 0 0 17 0 0 0
/proc/19235/statm: 48 23 16 11 0 11 0
[startup+0.079439 s]
/proc/loadavg: 0.99 0.97 0.99 3/65 19232
/proc/meminfo: memFree=1839736/2055920 swapFree=4177460/4192956
[pid=19232] ppid=19230 vsize=5356 CPUtime=0
/proc/19232/stat : 19232 (SatELiteGTI) S 19230 19232 18811 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310967993 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19232/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101434 s]
/proc/loadavg: 0.99 0.97 0.99 3/65 19232
/proc/meminfo: memFree=1839736/2055920 swapFree=4177460/4192956
[pid=19232] ppid=19230 vsize=5356 CPUtime=0
/proc/19232/stat : 19232 (SatELiteGTI) S 19230 19232 18811 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310967993 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19232/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301456 s]
/proc/loadavg: 0.99 0.97 0.99 3/65 19232
/proc/meminfo: memFree=1839736/2055920 swapFree=4177460/4192956
[pid=19232] ppid=19230 vsize=5356 CPUtime=0.14
/proc/19232/stat : 19232 (SatELiteGTI) S 19230 19232 18811 0 -1 4194304 336 1305 0 0 0 0 13 1 16 0 1 0 310967993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19232/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 5356
[startup+0.701502 s]
/proc/loadavg: 0.99 0.97 0.99 3/65 19232
/proc/meminfo: memFree=1839736/2055920 swapFree=4177460/4192956
[pid=19232] ppid=19230 vsize=5356 CPUtime=0.14
/proc/19232/stat : 19232 (SatELiteGTI) S 19230 19232 18811 0 -1 4194304 336 1305 0 0 0 0 13 1 16 0 1 0 310967993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19232/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 5356
[startup+1.50159 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 19238
/proc/meminfo: memFree=1831784/2055920 swapFree=4177460/4192956
[pid=19232] ppid=19230 vsize=5356 CPUtime=0.14
/proc/19232/stat : 19232 (SatELiteGTI) S 19230 19232 18811 0 -1 4194304 336 1305 0 0 0 0 13 1 16 0 1 0 310967993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19232/statm: 1339 239 197 169 0 50 0
[pid=19238] ppid=19232 vsize=9784 CPUtime=1.32
/proc/19238/stat : 19238 (minisat_static) R 19232 19232 18811 0 -1 4194304 2259 0 0 0 131 1 0 0 25 0 1 0 310968009 10018816 2245 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/19238/statm: 2446 2245 77 171 0 2273 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 15140
[startup+3.10277 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 19238
/proc/meminfo: memFree=1828264/2055920 swapFree=4177460/4192956
[pid=19232] ppid=19230 vsize=5356 CPUtime=0.14
/proc/19232/stat : 19232 (SatELiteGTI) S 19230 19232 18811 0 -1 4194304 336 1305 0 0 0 0 13 1 16 0 1 0 310967993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19232/statm: 1339 239 197 169 0 50 0
[pid=19238] ppid=19232 vsize=13832 CPUtime=2.92
/proc/19238/stat : 19238 (minisat_static) R 19232 19232 18811 0 -1 4194304 3244 0 0 0 290 2 0 0 25 0 1 0 310968009 14163968 3230 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/19238/statm: 3458 3230 77 171 0 3285 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 19188
[startup+6.30114 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 19238
/proc/meminfo: memFree=1821672/2055920 swapFree=4177460/4192956
[pid=19232] ppid=19230 vsize=5356 CPUtime=0.14
/proc/19232/stat : 19232 (SatELiteGTI) S 19230 19232 18811 0 -1 4194304 336 1305 0 0 0 0 13 1 16 0 1 0 310967993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19232/statm: 1339 239 197 169 0 50 0
[pid=19238] ppid=19232 vsize=19408 CPUtime=6.12
/proc/19238/stat : 19238 (minisat_static) R 19232 19232 18811 0 -1 4194304 4642 0 0 0 608 4 0 0 25 0 1 0 310968009 19873792 4628 1992294400 134512640 135215339 4294956240 18446744073709551615 134528830 0 0 4096 3 0 0 0 17 0 0 0
/proc/19238/statm: 4852 4628 77 171 0 4679 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 24764
[startup+12.7019 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 19238
/proc/meminfo: memFree=1813808/2055920 swapFree=4177460/4192956
[pid=19232] ppid=19230 vsize=5356 CPUtime=0.14
/proc/19232/stat : 19232 (SatELiteGTI) S 19230 19232 18811 0 -1 4194304 336 1305 0 0 0 0 13 1 16 0 1 0 310967993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19232/statm: 1339 239 197 169 0 50 0
[pid=19238] ppid=19232 vsize=26272 CPUtime=12.51
/proc/19238/stat : 19238 (minisat_static) R 19232 19232 18811 0 -1 4194304 6364 0 0 0 1246 5 0 0 25 0 1 0 310968009 26902528 6350 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19238/statm: 6568 6350 77 171 0 6395 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 31628
[startup+25.5013 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 19238
/proc/meminfo: memFree=1810928/2055920 swapFree=4177460/4192956
[pid=19232] ppid=19230 vsize=5356 CPUtime=0.14
/proc/19232/stat : 19232 (SatELiteGTI) S 19230 19232 18811 0 -1 4194304 336 1305 0 0 0 0 13 1 16 0 1 0 310967993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19232/statm: 1339 239 197 169 0 50 0
[pid=19238] ppid=19232 vsize=28652 CPUtime=25.31
/proc/19238/stat : 19238 (minisat_static) R 19232 19232 18811 0 -1 4194304 6977 0 0 0 2525 6 0 0 25 0 1 0 310968009 29339648 6963 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19238/statm: 7163 6963 77 171 0 6990 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 34008
[startup+51.1012 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 19238
/proc/meminfo: memFree=1809200/2055920 swapFree=4177460/4192956
[pid=19232] ppid=19230 vsize=5356 CPUtime=0.14
/proc/19232/stat : 19232 (SatELiteGTI) S 19230 19232 18811 0 -1 4194304 336 1305 0 0 0 0 13 1 16 0 1 0 310967993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19232/statm: 1339 239 197 169 0 50 0
[pid=19238] ppid=19232 vsize=30376 CPUtime=50.9
/proc/19238/stat : 19238 (minisat_static) R 19232 19232 18811 0 -1 4194304 7399 0 0 0 5083 7 0 0 25 0 1 0 310968009 31105024 7385 1992294400 134512640 135215339 4294956240 18446744073709551615 134528776 0 0 4096 3 0 0 0 17 0 0 0
/proc/19238/statm: 7594 7385 77 171 0 7421 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 35732
[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 19238
/proc/meminfo: memFree=1808944/2055920 swapFree=4177460/4192956
[pid=19232] ppid=19230 vsize=5356 CPUtime=0.14
/proc/19232/stat : 19232 (SatELiteGTI) S 19230 19232 18811 0 -1 4194304 336 1305 0 0 0 0 13 1 16 0 1 0 310967993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19232/statm: 1339 239 197 169 0 50 0
[pid=19238] ppid=19232 vsize=30376 CPUtime=102.08
/proc/19238/stat : 19238 (minisat_static) R 19232 19232 18811 0 -1 4194304 7399 0 0 0 10201 7 0 0 25 0 1 0 310968009 31105024 7385 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/19238/statm: 7594 7385 77 171 0 7421 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 35732
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 19238
/proc/meminfo: memFree=1807408/2055920 swapFree=4177460/4192956
[pid=19232] ppid=19230 vsize=5356 CPUtime=0.14
/proc/19232/stat : 19232 (SatELiteGTI) S 19230 19232 18811 0 -1 4194304 336 1305 0 0 0 0 13 1 16 0 1 0 310967993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19232/statm: 1339 239 197 169 0 50 0
[pid=19238] ppid=19232 vsize=32264 CPUtime=162.05
/proc/19238/stat : 19238 (minisat_static) R 19232 19232 18811 0 -1 4194304 7787 0 0 0 16198 7 0 0 25 0 1 0 310968009 33038336 7773 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/19238/statm: 8066 7773 77 171 0 7893 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 37620
[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 19238
/proc/meminfo: memFree=1807216/2055920 swapFree=4177460/4192956
[pid=19232] ppid=19230 vsize=5356 CPUtime=0.14
/proc/19232/stat : 19232 (SatELiteGTI) S 19230 19232 18811 0 -1 4194304 336 1305 0 0 0 0 13 1 16 0 1 0 310967993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19232/statm: 1339 239 197 169 0 50 0
[pid=19238] ppid=19232 vsize=32264 CPUtime=222.02
/proc/19238/stat : 19238 (minisat_static) R 19232 19232 18811 0 -1 4194304 7803 0 0 0 22195 7 0 0 25 0 1 0 310968009 33038336 7789 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/19238/statm: 8066 7789 77 171 0 7893 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 37620
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 19238
/proc/meminfo: memFree=1807088/2055920 swapFree=4177460/4192956
[pid=19232] ppid=19230 vsize=5356 CPUtime=0.14
/proc/19232/stat : 19232 (SatELiteGTI) S 19230 19232 18811 0 -1 4194304 336 1305 0 0 0 0 13 1 16 0 1 0 310967993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19232/statm: 1339 239 197 169 0 50 0
[pid=19238] ppid=19232 vsize=32264 CPUtime=282.01
/proc/19238/stat : 19238 (minisat_static) R 19232 19232 18811 0 -1 4194304 7803 0 0 0 28193 8 0 0 25 0 1 0 310968009 33038336 7789 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/19238/statm: 8066 7789 77 171 0 7893 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 37620
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 19238
/proc/meminfo: memFree=1806960/2055920 swapFree=4177460/4192956
[pid=19232] ppid=19230 vsize=5356 CPUtime=0.14
/proc/19232/stat : 19232 (SatELiteGTI) S 19230 19232 18811 0 -1 4194304 336 1305 0 0 0 0 13 1 16 0 1 0 310967993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19232/statm: 1339 239 197 169 0 50 0
[pid=19238] ppid=19232 vsize=32264 CPUtime=341.98
/proc/19238/stat : 19238 (minisat_static) R 19232 19232 18811 0 -1 4194304 7804 0 0 0 34190 8 0 0 25 0 1 0 310968009 33038336 7790 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19238/statm: 8066 7790 77 171 0 7893 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 37620
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 19238
/proc/meminfo: memFree=1806384/2055920 swapFree=4177460/4192956
[pid=19232] ppid=19230 vsize=5356 CPUtime=0.14
/proc/19232/stat : 19232 (SatELiteGTI) S 19230 19232 18811 0 -1 4194304 336 1305 0 0 0 0 13 1 16 0 1 0 310967993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19232/statm: 1339 239 197 169 0 50 0
[pid=19238] ppid=19232 vsize=33088 CPUtime=401.95
################
# More data... #
################
/proc/19238/statm: 8799 8472 77 171 0 8626 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 40552
[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 19238
/proc/meminfo: memFree=1803888/2055920 swapFree=4177460/4192956
[pid=19232] ppid=19230 vsize=5356 CPUtime=0.14
/proc/19232/stat : 19232 (SatELiteGTI) S 19230 19232 18811 0 -1 4194304 336 1305 0 0 0 0 13 1 16 0 1 0 310967993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19232/statm: 1339 239 197 169 0 50 0
[pid=19238] ppid=19232 vsize=35196 CPUtime=581.87
/proc/19238/stat : 19238 (minisat_static) R 19232 19232 18811 0 -1 4194304 8487 0 0 0 58178 9 0 0 25 0 1 0 310968009 36040704 8473 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19238/statm: 8799 8473 77 171 0 8626 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 40552
[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 19238
/proc/meminfo: memFree=1803760/2055920 swapFree=4177460/4192956
[pid=19232] ppid=19230 vsize=5356 CPUtime=0.14
/proc/19232/stat : 19232 (SatELiteGTI) S 19230 19232 18811 0 -1 4194304 336 1305 0 0 0 0 13 1 16 0 1 0 310967993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19232/statm: 1339 239 197 169 0 50 0
[pid=19238] ppid=19232 vsize=35196 CPUtime=641.85
/proc/19238/stat : 19238 (minisat_static) R 19232 19232 18811 0 -1 4194304 8487 0 0 0 64176 9 0 0 25 0 1 0 310968009 36040704 8473 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 0 0 0
/proc/19238/statm: 8799 8473 77 171 0 8626 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 40552
[startup+702.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 19238
/proc/meminfo: memFree=1803632/2055920 swapFree=4177460/4192956
[pid=19232] ppid=19230 vsize=5356 CPUtime=0.14
/proc/19232/stat : 19232 (SatELiteGTI) S 19230 19232 18811 0 -1 4194304 336 1305 0 0 0 0 13 1 16 0 1 0 310967993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19232/statm: 1339 239 197 169 0 50 0
[pid=19238] ppid=19232 vsize=35196 CPUtime=701.82
/proc/19238/stat : 19238 (minisat_static) R 19232 19232 18811 0 -1 4194304 8488 0 0 0 70173 9 0 0 25 0 1 0 310968009 36040704 8474 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19238/statm: 8799 8474 77 171 0 8626 0
Current children cumulated CPU time (s) 701.96
Current children cumulated vsize (KiB) 40552
[startup+762.307 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 19238
/proc/meminfo: memFree=1803504/2055920 swapFree=4177460/4192956
[pid=19232] ppid=19230 vsize=5356 CPUtime=0.14
/proc/19232/stat : 19232 (SatELiteGTI) S 19230 19232 18811 0 -1 4194304 336 1305 0 0 0 0 13 1 16 0 1 0 310967993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19232/statm: 1339 239 197 169 0 50 0
[pid=19238] ppid=19232 vsize=35196 CPUtime=761.8
/proc/19238/stat : 19238 (minisat_static) R 19232 19232 18811 0 -1 4194304 8490 0 0 0 76171 9 0 0 25 0 1 0 310968009 36040704 8476 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/19238/statm: 8799 8476 77 171 0 8626 0
Current children cumulated CPU time (s) 761.94
Current children cumulated vsize (KiB) 40552
[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 19238
/proc/meminfo: memFree=1803312/2055920 swapFree=4177460/4192956
[pid=19232] ppid=19230 vsize=5356 CPUtime=0.14
/proc/19232/stat : 19232 (SatELiteGTI) S 19230 19232 18811 0 -1 4194304 336 1305 0 0 0 0 13 1 16 0 1 0 310967993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19232/statm: 1339 239 197 169 0 50 0
[pid=19238] ppid=19232 vsize=35328 CPUtime=821.76
/proc/19238/stat : 19238 (minisat_static) R 19232 19232 18811 0 -1 4194304 8543 0 0 0 82167 9 0 0 25 0 1 0 310968009 36175872 8529 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19238/statm: 8832 8529 77 171 0 8659 0
Current children cumulated CPU time (s) 821.9
Current children cumulated vsize (KiB) 40684
[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 19238
/proc/meminfo: memFree=1800048/2055920 swapFree=4177460/4192956
[pid=19232] ppid=19230 vsize=5356 CPUtime=0.14
/proc/19232/stat : 19232 (SatELiteGTI) S 19230 19232 18811 0 -1 4194304 336 1305 0 0 0 0 13 1 16 0 1 0 310967993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19232/statm: 1339 239 197 169 0 50 0
[pid=19238] ppid=19232 vsize=38732 CPUtime=881.74
/proc/19238/stat : 19238 (minisat_static) R 19232 19232 18811 0 -1 4194304 9354 0 0 0 88164 10 0 0 25 0 1 0 310968009 39661568 9340 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19238/statm: 9683 9340 77 171 0 9510 0
Current children cumulated CPU time (s) 881.88
Current children cumulated vsize (KiB) 44088
[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 19238
/proc/meminfo: memFree=1798512/2055920 swapFree=4177460/4192956
[pid=19232] ppid=19230 vsize=5356 CPUtime=0.14
/proc/19232/stat : 19232 (SatELiteGTI) S 19230 19232 18811 0 -1 4194304 336 1305 0 0 0 0 13 1 16 0 1 0 310967993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19232/statm: 1339 239 197 169 0 50 0
[pid=19238] ppid=19232 vsize=40060 CPUtime=941.7
/proc/19238/stat : 19238 (minisat_static) R 19232 19232 18811 0 -1 4194304 9704 0 0 0 94160 10 0 0 25 0 1 0 310968009 41021440 9690 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19238/statm: 10015 9690 77 171 0 9842 0
Current children cumulated CPU time (s) 941.84
Current children cumulated vsize (KiB) 45416
[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 19238
/proc/meminfo: memFree=1798384/2055920 swapFree=4177460/4192956
[pid=19232] ppid=19230 vsize=5356 CPUtime=0.14
/proc/19232/stat : 19232 (SatELiteGTI) S 19230 19232 18811 0 -1 4194304 336 1305 0 0 0 0 13 1 16 0 1 0 310967993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19232/statm: 1339 239 197 169 0 50 0
[pid=19238] ppid=19232 vsize=40060 CPUtime=1001.68
/proc/19238/stat : 19238 (minisat_static) R 19232 19232 18811 0 -1 4194304 9704 0 0 0 100157 11 0 0 25 0 1 0 310968009 41021440 9690 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/19238/statm: 10015 9690 77 171 0 9842 0
Current children cumulated CPU time (s) 1001.82
Current children cumulated vsize (KiB) 45416
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 19238
/proc/meminfo: memFree=1798384/2055920 swapFree=4177460/4192956
[pid=19232] ppid=19230 vsize=5356 CPUtime=0.14
/proc/19232/stat : 19232 (SatELiteGTI) S 19230 19232 18811 0 -1 4194304 336 1305 0 0 0 0 13 1 16 0 1 0 310967993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19232/statm: 1339 239 197 169 0 50 0
[pid=19238] ppid=19232 vsize=40060 CPUtime=1061.65
/proc/19238/stat : 19238 (minisat_static) R 19232 19232 18811 0 -1 4194304 9704 0 0 0 106154 11 0 0 25 0 1 0 310968009 41021440 9690 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/19238/statm: 10015 9690 77 171 0 9842 0
Current children cumulated CPU time (s) 1061.79
Current children cumulated vsize (KiB) 45416
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 19238
/proc/meminfo: memFree=1798320/2055920 swapFree=4177460/4192956
[pid=19232] ppid=19230 vsize=5356 CPUtime=0.14
/proc/19232/stat : 19232 (SatELiteGTI) S 19230 19232 18811 0 -1 4194304 336 1305 0 0 0 0 13 1 16 0 1 0 310967993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19232/statm: 1339 239 197 169 0 50 0
[pid=19238] ppid=19232 vsize=40060 CPUtime=1121.61
/proc/19238/stat : 19238 (minisat_static) R 19232 19232 18811 0 -1 4194304 9705 0 0 0 112150 11 0 0 25 0 1 0 310968009 41021440 9691 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19238/statm: 10015 9691 77 171 0 9842 0
Current children cumulated CPU time (s) 1121.75
Current children cumulated vsize (KiB) 45416
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 19238
/proc/meminfo: memFree=1798192/2055920 swapFree=4177460/4192956
[pid=19232] ppid=19230 vsize=5356 CPUtime=0.14
/proc/19232/stat : 19232 (SatELiteGTI) S 19230 19232 18811 0 -1 4194304 336 1305 0 0 0 0 13 1 16 0 1 0 310967993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19232/statm: 1339 239 197 169 0 50 0
[pid=19238] ppid=19232 vsize=40060 CPUtime=1181.58
/proc/19238/stat : 19238 (minisat_static) R 19232 19232 18811 0 -1 4194304 9705 0 0 0 118147 11 0 0 25 0 1 0 310968009 41021440 9691 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19238/statm: 10015 9691 77 171 0 9842 0
Current children cumulated CPU time (s) 1181.72
Current children cumulated vsize (KiB) 45416
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 19238
/proc/meminfo: memFree=1798192/2055920 swapFree=4177460/4192956
[pid=19232] ppid=19230 vsize=5356 CPUtime=0.14
/proc/19232/stat : 19232 (SatELiteGTI) S 19230 19232 18811 0 -1 4194304 336 1305 0 0 0 0 13 1 16 0 1 0 310967993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19232/statm: 1339 239 197 169 0 50 0
[pid=19238] ppid=19232 vsize=40060 CPUtime=1199.87
/proc/19238/stat : 19238 (minisat_static) R 19232 19232 18811 0 -1 4194304 9705 0 0 0 119976 11 0 0 25 0 1 0 310968009 41021440 9691 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/19238/statm: 10015 9691 77 171 0 9842 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 45416
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 19232 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=139978
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=15997
# CPU time returned by wait4() is 0.155975
# while last known CPU time is 1200.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.61
CPU time (s): 1200.01
CPU user time (s): 1199.89
CPU system time (s): 0.12
CPU usage (%): 99.9497
Max. virtual memory (cumulated for all children) (KiB): 45416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.139978
system time used= 0.015997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1641
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= 14
involuntary context switches= 8
runsolver used 1.2838 second user time and 3.20451 second system time
The end
Begin job on node32 at 2009-05-20 16:22:28
IDJOB=1834279
IDBENCH=71806
IDSOLVER=671
FILE ID=node32/1834279-1242829348
PBS_JOBID= 9322548
Free space on /tmp= 66224 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/sgi/new-difficult-28-302-26-75.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834279-1242829348/watcher-1834279-1242829348 -o /tmp/evaluation-result-1834279-1242829348/solver-1834279-1242829348 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834279-1242829348.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c8a761b6d0b0b208363324b0ab04d363
RANDOM SEED=173261127
node32.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.216
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.216
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1840280 kB
Buffers: 31204 kB
Cached: 111752 kB
SwapCached: 8548 kB
Active: 40268 kB
Inactive: 112716 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1840280 kB
SwapTotal: 4192956 kB
SwapFree: 4177460 kB
Dirty: 2228 kB
Writeback: 0 kB
Mapped: 14288 kB
Slab: 48472 kB
Committed_AS: 1138948 kB
PageTables: 1492 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66220 MiB
End job on node32 at 2009-05-20 16:42:31