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 | 33600 100800 | 10079 0 0 nan | 0.000 % |
0.00/0.10 c | 0 | 33437 101418 | -- 0 -- -- | -- | -163/618
0.00/0.10 c ==============================================================================
0.00/0.10 c Result : #vars: 7822 #clauses: 33437 #literals: 101418
0.00/0.10 c CPU time: 0.093985 s
0.00/0.10 c ==============================================================================
0.00/0.14 c This is MiniSat 2.0 beta
0.00/0.14 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.14 c ============================[ Problem Statistics ]=============================
0.00/0.14 c | |
0.00/0.14 c | Number of variables: 7822 |
0.00/0.14 c | Number of clauses: 33437 |
0.00/0.16 c | Parsing time: 0.02 s |
0.00/0.16 c ============================[ Search Statistics ]==============================
0.00/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.16 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.16 c ===============================================================================
0.00/0.16 c | 0 | 7822 33437 101418 | 11145 0 nan | 0.000 % |
0.00/0.18 c | 100 | 7822 33437 101418 | 11145 100 136 | 0.000 % |
0.13/0.21 c | 202 | 7822 33437 101418 | 11145 202 135 | 0.000 % |
0.13/0.23 c | 302 | 7822 33437 101418 | 11145 302 131 | 0.000 % |
0.13/0.25 c | 413 | 7822 33437 101418 | 11145 413 130 | 0.000 % |
0.13/0.27 c | 513 | 7822 33437 101418 | 11145 513 139 | 0.000 % |
0.13/0.30 c | 623 | 7822 33437 101418 | 11145 623 148 | 0.000 % |
0.13/0.33 c | 745 | 7822 33437 101418 | 11145 745 145 | 0.000 % |
0.13/0.35 c | 845 | 7822 33437 101418 | 11145 845 138 | 0.000 % |
0.13/0.38 c | 956 | 7822 33437 101418 | 11145 956 136 | 0.000 % |
0.13/0.40 c | 1078 | 7822 33437 101418 | 11145 1078 136 | 0.000 % |
0.13/0.43 c | 1212 | 7822 33437 101418 | 11145 1212 137 | 0.000 % |
0.13/0.46 c | 1312 | 7822 33437 101418 | 11145 1312 134 | 0.000 % |
0.13/0.48 c | 1424 | 7822 33437 101418 | 11145 1424 134 | 0.000 % |
0.13/0.51 c | 1545 | 7822 33437 101418 | 11145 1545 135 | 0.000 % |
0.13/0.54 c | 1679 | 7822 33437 101418 | 11145 1679 133 | 0.000 % |
0.13/0.57 c | 1826 | 7822 33437 101418 | 11145 1826 137 | 0.000 % |
0.13/0.59 c | 1926 | 7822 33437 101418 | 11145 1926 135 | 0.000 % |
0.13/0.62 c | 2038 | 7822 33437 101418 | 11145 2038 135 | 0.000 % |
0.13/0.65 c | 2159 | 7822 33437 101418 | 11145 2159 133 | 0.000 % |
0.13/0.68 c | 2292 | 7822 33437 101418 | 11145 2292 132 | 0.000 % |
0.13/0.72 c | 2438 | 7822 33437 101418 | 11145 2438 133 | 0.000 % |
0.13/0.76 c | 2599 | 7822 33437 101418 | 11145 2599 134 | 0.000 % |
0.13/0.78 c | 2699 | 7822 33437 101418 | 11145 2699 134 | 0.000 % |
0.13/0.81 c | 2809 | 7822 33437 101418 | 11145 2809 134 | 0.000 % |
0.13/0.84 c | 2930 | 7822 33437 101418 | 11145 2930 134 | 0.000 % |
0.13/0.87 c | 3063 | 7822 33437 101418 | 11145 3063 134 | 0.000 % |
0.13/0.91 c | 3209 | 7822 33437 101418 | 11145 3209 135 | 0.000 % |
0.13/0.95 c | 3369 | 7822 33437 101418 | 11145 3369 135 | 0.000 % |
0.13/0.99 c | 3545 | 7822 33437 101418 | 11145 3545 134 | 0.000 % |
0.99/1.02 c | 3647 | 7822 33437 101418 | 11145 3647 134 | 0.000 % |
0.99/1.05 c | 3757 | 7822 33437 101418 | 11145 3757 134 | 0.000 % |
0.99/1.08 c | 3878 | 7822 33437 101418 | 11145 3878 134 | 0.000 % |
1.09/1.11 c | 4011 | 7822 33437 101418 | 11145 4011 133 | 0.000 % |
1.09/1.15 c | 4158 | 7822 33437 101418 | 11145 4158 133 | 0.000 % |
1.09/1.19 c | 4320 | 7822 33437 101418 | 11145 4320 133 | 0.000 % |
1.18/1.24 c | 4497 | 7822 33437 101418 | 11145 4497 134 | 0.000 % |
1.18/1.29 c | 4690 | 7822 33437 101418 | 11145 4690 135 | 0.000 % |
1.28/1.31 c | 4791 | 7822 33437 101418 | 11145 4791 134 | 0.000 % |
1.28/1.34 c | 4903 | 7822 33437 101418 | 11145 4903 134 | 0.000 % |
1.28/1.37 c | 5024 | 7822 33437 101418 | 11145 5024 135 | 0.000 % |
1.38/1.41 c | 5159 | 7822 33437 101418 | 11145 5159 135 | 0.000 % |
1.38/1.45 c | 5305 | 7822 33437 101418 | 11145 5305 135 | 0.000 % |
1.38/1.49 c | 5465 | 7822 33437 101418 | 11145 5465 135 | 0.000 % |
1.48/1.53 c | 5641 | 7822 33437 101418 | 11145 5641 134 | 0.000 % |
1.48/1.58 c | 5834 | 7822 33437 101418 | 11145 5834 134 | 0.000 % |
1.58/1.64 c | 6046 | 7822 33437 101418 | 11145 6046 134 | 0.000 % |
1.58/1.67 c | 6147 | 7822 33437 101418 | 11145 6147 134 | 0.000 % |
1.68/1.71 c | 6257 | 7822 33437 101418 | 11145 6257 135 | 0.000 % |
1.68/1.74 c | 6379 | 7822 33437 101418 | 11145 6379 134 | 0.000 % |
1.68/1.78 c | 6512 | 7822 33437 101418 | 11145 6512 134 | 0.000 % |
1.78/1.82 c | 6659 | 7822 33437 101418 | 11145 6659 134 | 0.000 % |
1.78/1.86 c | 6820 | 7822 33437 101418 | 11145 6820 135 | 0.000 % |
1.88/1.90 c | 6998 | 7822 33437 101418 | 11145 6998 134 | 0.000 % |
1.88/1.95 c | 7194 | 7822 33437 101418 | 11145 7194 133 | 0.000 % |
1.98/2.01 c | 7406 | 7822 33437 101418 | 11145 7406 133 | 0.000 % |
1.98/2.08 c | 7640 | 7822 33437 101418 | 11145 7640 133 | 0.000 % |
1.98/2.10 c | 7743 | 7822 33437 101418 | 11145 7743 133 | 0.000 % |
2.08/2.13 c | 7853 | 7822 33437 101418 | 11145 7853 133 | 0.000 % |
2.08/2.17 c | 7977 | 7822 33437 101418 | 11145 7977 134 | 0.000 % |
2.18/2.20 c | 8111 | 7822 33437 101418 | 11145 8111 134 | 0.000 % |
2.18/2.24 c | 8257 | 7822 33437 101418 | 11145 8257 134 | 0.000 % |
2.18/2.29 c | 8417 | 7822 33437 101418 | 11145 8417 135 | 0.000 % |
2.27/2.34 c | 8593 | 7822 33437 101418 | 11145 8593 134 | 0.000 % |
2.37/2.40 c | 8786 | 7822 33437 101418 | 11145 8786 134 | 0.000 % |
2.37/2.46 c | 8998 | 7822 33437 101418 | 11145 8998 135 | 0.000 % |
2.47/2.53 c | 9232 | 7822 33437 101418 | 11145 9232 135 | 0.000 % |
2.57/2.61 c | 9488 | 7822 33437 101418 | 11145 9488 137 | 0.000 % |
2.57/2.64 c | 9588 | 7822 33437 101418 | 11145 9588 137 | 0.000 % |
2.57/2.67 c | 9699 | 7822 33437 101418 | 11145 9699 137 | 0.000 % |
2.67/2.70 c | 9823 | 7822 33437 101418 | 11145 9823 137 | 0.000 % |
2.67/2.74 c | 9957 | 7822 33437 101418 | 11145 9957 137 | 0.000 % |
2.67/2.78 c | 10103 | 7822 33437 101418 | 2147483647 10103 136 | 0.000 % |
2.77/2.83 c | 10263 | 7822 33437 101418 | 2147483647 10263 137 | 0.000 % |
2.77/2.88 c | 10439 | 7822 33437 101418 | 2147483647 10439 137 | 0.000 % |
2.87/2.94 c | 10633 | 7822 33437 101418 | 2147483647 10633 137 | 0.000 % |
2.97/3.00 c | 10846 | 7822 33437 101418 | 2147483647 10846 138 | 0.000 % |
2.97/3.07 c | 11079 | 7822 33437 101418 | 2147483647 11079 138 | 0.000 % |
3.07/3.14 c | 11335 | 7822 33437 101418 | 2147483647 11335 137 | 0.000 % |
3.18/3.23 c | 11619 | 7822 33437 101418 | 2147483647 11619 137 | 0.000 % |
3.18/3.26 c | 11719 | 7822 33437 101418 | 2147483647 11719 137 | 0.000 % |
3.18/3.29 c | 11829 | 7822 33437 101418 | 2147483647 11829 137 | 0.000 % |
3.28/3.33 c | 11951 | 7822 33437 101418 | 2147483647 11951 137 | 0.000 % |
3.28/3.38 c | 12090 | 7822 33437 101418 | 2147483647 12090 137 | 0.000 % |
3.37/3.43 c | 12237 | 7822 33437 101418 | 2147483647 12237 137 | 0.000 % |
3.37/3.49 c | 12399 | 7822 33437 101418 | 2147483647 12399 137 | 0.000 % |
3.47/3.54 c | 12575 | 7822 33437 101418 | 2147483647 12575 137 | 0.000 % |
3.57/3.61 c | 12768 | 7822 33437 101418 | 2147483647 12768 137 | 0.000 % |
3.57/3.67 c | 12981 | 7822 33437 101418 | 2147483647 12981 137 | 0.000 % |
3.67/3.74 c | 13214 | 7822 33437 101418 | 2147483647 13214 137 | 0.000 % |
3.77/3.82 c | 13471 | 7822 33437 101418 | 2147483647 13471 138 | 0.000 % |
3.87/3.90 c | 13754 | 7822 33437 101418 | 2147483647 13754 138 | 0.000 % |
3.87/4.00 c | 14066 | 7822 33437 101418 | 2147483647 14066 138 | 0.000 % |
3.97/4.03 c | 14168 | 7822 33437 101418 | 2147483647 14168 138 | 0.000 % |
3.97/4.07 c | 14278 | 7822 33437 101418 | 2147483647 14278 138 | 0.000 % |
4.07/4.11 c | 14400 | 7822 33437 101418 | 2147483647 14400 138 | 0.000 % |
4.07/4.16 c | 14535 | 7822 33437 101418 | 2147483647 14535 138 | 0.000 % |
4.17/4.21 c | 14681 | 7822 33437 101418 | 2147483647 14681 139 | 0.000 % |
4.17/4.26 c | 14842 | 7822 33437 101418 | 2147483647 14842 138 | 0.000 % |
4.27/4.32 c | 15018 | 7822 33437 101418 | 2147483647 15018 138 | 0.000 % |
4.27/4.39 c | 15211 | 7822 33437 101418 | 2147483647 15211 138 | 0.000 % |
4.37/4.46 c | 15424 | 7822 33437 101418 | 2147483647 15424 138 | 0.000 % |
4.47/4.53 c | 15657 | 7822 33437 101418 | 2147483647 15657 138 | 0.000 % |
4.57/4.61 c | 15914 | 7822 33437 101418 | 2147483647 15914 138 | 0.000 % |
4.66/4.71 c | 16196 | 7822 33437 101418 | 2147483647 16196 138 | 0.000 % |
4.76/4.81 c | 16506 | 7822 33437 101418 | 2147483647 16506 139 | 0.000 % |
4.86/4.92 c | 16846 | 7822 33437 101418 | 2147483647 16846 139 | 0.000 % |
4.86/4.95 c | 16946 | 7822 33437 101418 | 2147483647 16946 139 | 0.000 % |
4.96/5.00 c | 17057 | 7822 33437 101418 | 2147483647 17057 139 | 0.000 % |
4.96/5.04 c | 17179 | 7822 33437 101418 | 2147483647 17179 139 | 0.000 % |
4.96/5.09 c | 17313 | 7822 33437 101418 | 2147483647 17313 139 | 0.000 % |
5.06/5.14 c | 17459 | 7822 33437 101418 | 2147483647 17459 139 | 0.000 % |
5.06/5.19 c | 17621 | 7822 33437 101418 | 2147483647 17621 139 | 0.000 % |
5.16/5.25 c | 17797 | 7822 33437 101418 | 2147483647 17797 139 | 0.000 % |
5.27/5.32 c | 17990 | 7822 33437 101418 | 2147483647 17990 139 | 0.000 % |
5.27/5.40 c | 18203 | 7822 33437 101418 | 2147483647 18203 139 | 0.000 % |
5.37/5.48 c | 18436 | 7822 33437 101418 | 2147483647 18436 139 | 0.000 % |
5.47/5.57 c | 18693 | 7822 33437 101418 | 2147483647 18693 139 | 0.000 % |
5.57/5.67 c | 18974 | 7822 33437 101418 | 2147483647 18974 139 | 0.000 % |
5.66/5.79 c | 19283 | 7822 33437 101418 | 2147483647 19283 139 | 0.000 % |
5.86/5.90 c | 19622 | 7822 33437 101418 | 2147483647 19622 139 | 0.000 % |
5.96/6.04 c | 19995 | 7822 33437 101418 | 2147483647 19995 139 | 0.000 % |
5.96/6.08 c | 20095 | 7822 33437 101418 | 2147483647 20095 139 | 0.000 % |
6.06/6.13 c | 20206 | 7822 33437 101418 | 2147483647 20206 139 | 0.000 % |
6.06/6.17 c | 20327 | 7822 33437 101418 | 2147483647 20327 139 | 0.000 % |
6.16/6.23 c | 20461 | 7822 33437 101418 | 2147483647 20461 139 | 0.000 % |
6.16/6.28 c | 20608 | 7822 33437 101418 | 2147483647 20608 139 | 0.000 % |
6.26/6.34 c | 20770 | 7822 33437 101418 | 2147483647 20770 139 | 0.000 % |
6.36/6.40 c | 20946 | 7822 33437 101418 | 2147483647 20946 139 | 0.000 % |
6.36/6.48 c | 21140 | 7822 33437 101418 | 2147483647 21140 139 | 0.000 % |
6.46/6.55 c | 21352 | 7822 33437 101418 | 2147483647 21352 139 | 0.000 % |
6.56/6.64 c | 21587 | 7822 33437 101418 | 2147483647 21587 139 | 0.000 % |
6.66/6.73 c | 21844 | 7822 33437 101418 | 2147483647 21844 139 | 0.000 % |
6.76/6.83 c | 22127 | 7822 33437 101418 | 2147483647 22127 139 | 0.000 % |
6.86/6.96 c | 22438 | 7822 33437 101418 | 2147483647 22438 139 | 0.000 % |
6.96/7.08 c | 22778 | 7822 33437 101418 | 2147483647 22778 139 | 0.000 % |
7.16/7.23 c | 23150 | 7822 33437 101418 | 2147483647 23150 140 | 0.000 % |
7.26/7.38 c | 23563 | 7822 33437 101418 | 2147483647 23563 140 | 0.000 % |
7.36/7.43 c | 23663 | 7822 33437 101418 | 2147483647 23663 140 | 0.000 % |
7.36/7.47 c | 23773 | 7822 33437 101418 | 2147483647 23773 140 | 0.000 % |
7.46/7.52 c | 23895 | 7822 33437 101418 | 2147483647 23895 140 | 0.000 % |
7.46/7.57 c | 24029 | 7822 33437 101418 | 2147483647 24029 140 | 0.000 % |
7.57/7.63 c | 24175 | 7822 33437 101418 | 2147483647 24175 140 | 0.000 % |
7.57/7.70 c | 24335 | 7822 33437 101418 | 2147483647 24335 140 | 0.000 % |
7.67/7.77 c | 24514 | 7822 33437 101418 | 2147483647 24514 140 | 0.000 % |
7.77/7.85 c | 24707 | 7822 33437 101418 | 2147483647 24707 140 | 0.000 % |
7.87/7.93 c | 24921 | 7822 33437 101418 | 2147483647 24921 140 | 0.000 % |
7.96/8.02 c | 25155 | 7822 33437 101418 | 2147483647 25155 141 | 0.000 % |
8.06/8.11 c | 25411 | 7822 33437 101418 | 2147483647 25411 141 | 0.000 % |
8.16/8.22 c | 25692 | 7822 33437 101418 | 2147483647 25692 141 | 0.000 % |
8.26/8.34 c | 26003 | 7822 33437 101418 | 2147483647 26003 141 | 0.000 % |
8.36/8.47 c | 26342 | 7822 33437 101418 | 2147483647 26342 141 | 0.000 % |
8.56/8.63 c | 26715 | 7822 33437 101418 | 2147483647 26715 141 | 0.000 % |
8.76/8.81 c | 27126 | 7822 33437 101418 | 2147483647 27126 142 | 0.000 % |
8.86/8.98 c | 27575 | 7822 33437 101418 | 2147483647 27575 142 | 0.000 % |
8.96/9.03 c | 27676 | 7822 33437 101418 | 2147483647 27676 142 | 0.000 % |
8.96/9.07 c | 27786 | 7822 33437 101418 | 2147483647 27786 142 | 0.000 % |
9.06/9.12 c | 27907 | 7822 33437 101418 | 2147483647 27907 142 | 0.000 % |
9.06/9.18 c | 28040 | 7822 33437 101418 | 2147483647 28040 142 | 0.000 % |
9.16/9.25 c | 28187 | 7822 33437 101418 | 2147483647 28187 142 | 0.000 % |
9.26/9.31 c | 28347 | 7822 33437 101418 | 2147483647 28347 142 | 0.000 % |
9.26/9.38 c | 28523 | 7822 33437 101418 | 2147483647 28523 142 | 0.000 % |
9.36/9.48 c | 28716 | 7822 33437 101418 | 2147483647 28716 142 | 0.000 % |
9.46/9.56 c | 28928 | 7822 33437 101418 | 2147483647 28928 142 | 0.000 % |
9.56/9.66 c | 29162 | 7822 33437 101418 | 2147483647 29162 142 | 0.000 % |
9.66/9.77 c | 29421 | 7822 33437 101418 | 2147483647 29421 142 | 0.000 % |
9.76/9.89 c | 29702 | 7822 33437 101418 | 2147483647 29702 142 | 0.000 % |
9.95/10.02 c | 30012 | 7822 33437 101418 | 2147483647 30012 142 | 0.000 % |
10.05/10.17 c | 30352 | 7822 33437 101418 | 2147483647 30352 142 | 0.000 % |
10.26/10.32 c | 30725 | 7822 33437 101418 | 2147483647 30725 143 | 0.000 % |
10.36/10.48 c | 31134 | 7822 33437 101418 | 2147483647 31134 143 | 0.000 % |
10.56/10.66 c | 31584 | 7822 33437 101418 | 2147483647 31584 143 | 0.000 % |
10.76/10.88 c | 32077 | 7822 33437 101418 | 2147483647 32077 143 | 0.000 % |
10.86/10.93 c | 32177 | 7822 33437 101418 | 2147483647 32177 143 | 0.000 % |
10.86/10.98 c | 32287 | 7822 33437 101418 | 2147483647 32287 143 | 0.000 % |
10.96/11.03 c | 32410 | 7822 33437 101418 | 2147483647 32410 143 | 0.000 % |
11.06/11.11 c | 32545 | 7822 33437 101418 | 2147483647 32545 143 | 0.000 % |
11.06/11.17 c | 32691 | 7822 33437 101418 | 2147483647 32691 143 | 0.000 % |
11.16/11.25 c | 32851 | 7822 33437 101418 | 2147483647 32851 143 | 0.000 % |
11.26/11.32 c | 33027 | 7822 33437 101418 | 2147483647 33027 143 | 0.000 % |
11.36/11.42 c | 33221 | 7822 33437 101418 | 2147483647 33221 143 | 0.000 % |
11.45/11.52 c | 33434 | 7822 33437 101418 | 2147483647 33434 143 | 0.000 % |
11.55/11.63 c | 33671 | 7822 33437 101418 | 2147483647 33671 143 | 0.000 % |
11.65/11.74 c | 33928 | 7822 33437 101418 | 2147483647 33928 144 | 0.000 % |
11.75/11.87 c | 34210 | 7822 33437 101418 | 2147483647 34210 144 | 0.000 % |
11.85/12.00 c | 34519 | 7822 33437 101418 | 2147483647 34519 144 | 0.000 % |
12.06/12.16 c | 34858 | 7822 33437 101418 | 2147483647 34858 144 | 0.000 % |
12.26/12.32 c | 35230 | 7822 33437 101418 | 2147483647 35230 144 | 0.000 % |
12.46/12.50 c | 35639 | 7822 33437 101418 | 2147483647 35639 144 | 0.000 % |
12.66/12.71 c | 36088 | 7822 33437 101418 | 2147483647 36088 144 | 0.000 % |
12.85/12.92 c | 36582 | 7822 33437 101418 | 2147483647 36582 145 | 0.000 % |
13.06/13.16 c | 37125 | 7822 33437 101418 | 2147483647 37125 145 | 0.000 % |
13.16/13.21 c | 37226 | 7822 33437 101418 | 2147483647 37226 145 | 0.000 % |
13.16/13.27 c | 37337 | 7822 33437 101418 | 2147483647 37337 145 | 0.000 % |
13.25/13.33 c | 37458 | 7822 33437 101418 | 2147483647 37458 145 | 0.000 % |
13.35/13.40 c | 37592 | 7822 33437 101418 | 2147483647 37592 145 | 0.000 % |
13.35/13.47 c | 37743 | 7822 33437 101418 | 2147483647 37743 145 | 0.000 % |
13.45/13.55 c | 37905 | 7822 33437 101418 | 2147483647 37905 144 | 0.000 % |
13.55/13.63 c | 38081 | 7822 33437 101418 | 2147483647 38081 144 | 0.000 % |
13.65/13.73 c | 38274 | 7822 33437 101418 | 2147483647 38274 144 | 0.000 % |
13.75/13.83 c | 38486 | 7822 33437 101418 | 2147483647 38486 144 | 0.000 % |
13.85/13.94 c | 38719 | 7822 33437 101418 | 2147483647 38719 145 | 0.000 % |
13.95/14.06 c | 38976 | 7822 33437 101418 | 2147483647 38976 145 | 0.000 % |
14.05/14.19 c | 39257 | 7822 33437 101418 | 2147483647 39257 145 | 0.000 % |
14.25/14.33 c | 39566 | 7822 33437 101418 | 2147483647 39566 145 | 0.000 % |
14.45/14.50 c | 39906 | 7822 33437 101418 | 2147483647 39906 145 | 0.000 % |
14.55/14.68 c | 40279 | 7822 33437 101418 | 2147483647 40279 145 | 0.000 % |
14.75/14.88 c | 40688 | 7822 33437 101418 | 2147483647 40688 145 | 0.000 % |
14.95/15.09 c | 41137 | 7822 33437 101418 | 2147483647 41137 146 | 0.000 % |
15.25/15.33 c | 41633 | 7822 33437 101418 | 2147483647 41633 146 | 0.000 % |
15.45/15.59 c | 42175 | 7822 33437 101418 | 2147483647 42175 146 | 0.000 % |
15.75/15.89 c | 42772 | 7822 33437 101418 | 2147483647 42772 146 | 0.000 % |
15.85/15.94 c | 42872 | 7822 33437 101418 | 2147483647 42872 146 | 0.000 % |
15.95/16.00 c | 42982 | 7822 33437 101418 | 2147483647 42982 146 | 0.000 % |
15.95/16.06 c | 43103 | 7822 33437 101418 | 2147483647 43103 146 | 0.000 % |
16.05/16.13 c | 43236 | 7822 33437 101418 | 2147483647 43236 146 | 0.000 % |
16.15/16.21 c | 43382 | 7822 33437 101418 | 2147483647 43382 146 | 0.000 % |
16.15/16.30 c | 43544 | 7822 33437 101418 | 2147483647 43544 146 | 0.000 % |
16.25/16.40 c | 43723 | 7822 33437 101418 | 2147483647 43723 146 | 0.000 % |
16.36/16.49 c | 43916 | 7822 33437 101418 | 2147483647 43916 146 | 0.000 % |
16.55/16.61 c | 44128 | 7822 33437 101418 | 2147483647 44128 146 | 0.000 % |
16.65/16.73 c | 44361 | 7822 33437 101418 | 2147483647 44361 146 | 0.000 % |
16.75/16.86 c | 44617 | 7822 33437 101418 | 2147483647 44617 146 | 0.000 % |
16.85/16.99 c | 44898 | 7822 33437 101418 | 2147483647 44898 146 | 0.000 % |
17.05/17.17 c | 45208 | 7822 33437 101418 | 2147483647 45208 147 | 0.000 % |
17.25/17.34 c | 45547 | 7822 33437 101418 | 2147483647 45547 147 | 0.000 % |
17.45/17.53 c | 45920 | 7822 33437 101418 | 2147483647 45920 147 | 0.000 % |
17.65/17.73 c | 46330 | 7822 33437 101418 | 2147483647 46330 147 | 0.000 % |
17.85/17.97 c | 46779 | 7822 33437 101418 | 2147483647 46779 147 | 0.000 % |
18.15/18.21 c | 47273 | 7822 33437 101418 | 2147483647 47273 148 | 0.000 % |
18.35/18.48 c | 47815 | 7822 33437 101418 | 2147483647 47815 148 | 0.000 % |
18.65/18.77 c | 48413 | 7822 33437 101418 | 2147483647 48413 148 | 0.000 % |
19.04/19.12 c | 49069 | 7822 33437 101418 | 2147483647 49069 149 | 0.000 % |
19.04/19.18 c | 49170 | 7822 33437 101418 | 2147483647 49170 149 | 0.000 % |
19.14/19.25 c | 49280 | 7822 33437 101418 | 2147483647 49280 149 | 0.000 % |
19.25/19.31 c | 49401 | 7822 33437 101418 | 2147483647 49401 149 | 0.000 % |
19.25/19.39 c | 49534 | 7822 33437 101418 | 2147483647 49534 149 | 0.000 % |
19.35/19.47 c | 49682 | 7822 33437 101418 | 2147483647 49682 148 | 0.000 % |
19.45/19.56 c | 49842 | 7822 33437 101418 | 2147483647 49842 148 | 0.000 % |
19.55/19.66 c | 50020 | 7822 33437 101418 | 2147483647 50020 148 | 0.000 % |
19.66/19.78 c | 50214 | 7822 33437 101418 | 2147483647 50214 148 | 0.000 % |
19.85/19.90 c | 50429 | 7822 33437 101418 | 2147483647 50429 148 | 0.000 % |
19.95/20.04 c | 50663 | 7822 33437 101418 | 2147483647 50663 148 | 0.000 % |
20.05/20.18 c | 50920 | 7822 33437 101418 | 2147483647 50920 148 | 0.000 % |
20.25/20.34 c | 51203 | 7822 33437 101418 | 2147483647 51203 148 | 0.000 % |
20.45/20.51 c | 51513 | 7822 33437 101418 | 2147483647 51513 148 | 0.000 % |
20.55/20.69 c | 51852 | 7822 33437 101418 | 2147483647 51852 148 | 0.000 % |
20.75/20.88 c | 52224 | 7822 33437 101418 | 2147483647 52224 148 | 0.000 % |
21.05/21.11 c | 52634 | 7822 33437 101418 | 2147483647 52634 148 | 0.000 % |
21.25/21.37 c | 53085 | 7822 33437 101418 | 2147483647 53085 149 | 0.000 % |
21.54/21.64 c | 53580 | 7822 33437 101418 | 2147483647 53580 149 | 0.000 % |
21.85/21.94 c | 54122 | 7822 33437 101418 | 2147483647 54122 149 | 0.000 % |
22.14/22.25 c | 54720 | 7822 33437 101418 | 2147483647 54720 149 | 0.000 % |
22.54/22.62 c | 55375 | 7822 33437 101418 | 2147483647 55375 149 | 0.000 % |
22.94/23.03 c | 56095 | 7822 33437 101418 | 2147483647 56095 149 | 0.000 % |
22.94/23.09 c | 56196 | 7822 33437 101418 | 2147483647 56196 149 | 0.000 % |
23.04/23.16 c | 56309 | 7822 33437 101418 | 2147483647 56309 149 | 0.000 % |
23.15/23.25 c | 56434 | 7822 33437 101418 | 2147483647 56434 149 | 0.000 % |
23.25/23.33 c | 56567 | 7822 33437 101418 | 2147483647 56567 149 | 0.000 % |
23.35/23.43 c | 56714 | 7822 33437 101418 | 2147483647 56714 149 | 0.000 % |
23.45/23.52 c | 56874 | 7822 33437 101418 | 2147483647 56874 149 | 0.000 % |
23.55/23.63 c | 57050 | 7822 33437 101418 | 2147483647 57050 149 | 0.000 % |
23.65/23.74 c | 57243 | 7822 33437 101418 | 2147483647 57243 149 | 0.000 % |
23.75/23.87 c | 57457 | 7822 33437 101418 | 2147483647 57457 149 | 0.000 % |
23.84/23.99 c | 57691 | 7822 33437 101418 | 2147483647 57691 149 | 0.000 % |
24.05/24.16 c | 57948 | 7822 33437 101418 | 2147483647 57948 149 | 0.000 % |
24.24/24.33 c | 58229 | 7822 33437 101418 | 2147483647 58229 149 | 0.000 % |
24.44/24.52 c | 58540 | 7822 33437 101418 | 2147483647 58540 149 | 0.000 % |
24.64/24.74 c | 58882 | 7822 33437 101418 | 2147483647 58882 149 | 0.000 % |
24.84/24.97 c | 59254 | 7822 33437 101418 | 2147483647 59254 149 | 0.000 % |
25.15/25.20 c | 59663 | 7822 33437 101418 | 2147483647 59663 149 | 0.000 % |
25.34/25.46 c | 60112 | 7822 33437 101418 | 2147483647 60112 149 | 0.000 % |
25.64/25.75 c | 60605 | 7822 33437 101418 | 2147483647 60605 149 | 0.000 % |
25.94/26.07 c | 61149 | 7822 33437 101418 | 2147483647 61149 149 | 0.000 % |
26.35/26.42 c | 61745 | 7822 33437 101418 | 2147483647 61745 149 | 0.000 % |
26.74/26.81 c | 62400 | 7822 33437 101418 | 2147483647 62400 149 | 0.000 % |
27.14/27.25 c | 63120 | 7822 33437 101418 | 2147483647 63120 150 | 0.000 % |
27.63/27.74 c | 63913 | 7822 33437 101418 | 2147483647 63913 150 | 0.000 % |
27.73/27.81 c | 64013 | 7822 33437 101418 | 2147483647 64013 150 | 0.000 % |
27.73/27.89 c | 64124 | 7822 33437 101418 | 2147483647 64124 150 | 0.000 % |
27.83/27.97 c | 64248 | 7822 33437 101418 | 2147483647 64248 150 | 0.000 % |
27.93/28.07 c | 64381 | 7822 33437 101418 | 2147483647 64381 150 | 0.000 % |
28.03/28.17 c | 64527 | 7822 33437 101418 | 2147483647 64527 150 | 0.000 % |
28.13/28.29 c | 64687 | 7822 33437 101418 | 2147483647 64687 150 | 0.000 % |
28.33/28.41 c | 64863 | 7822 33437 101418 | 2147483647 64863 150 | 0.000 % |
28.43/28.56 c | 65056 | 7822 33437 101418 | 2147483647 65056 150 | 0.000 % |
28.64/28.71 c | 65268 | 7822 33437 101418 | 2147483647 65268 149 | 0.000 % |
28.74/28.86 c | 65502 | 7822 33437 101418 | 2147483647 65502 150 | 0.000 % |
28.94/29.04 c | 65758 | 7822 33437 101418 | 2147483647 65758 149 | 0.000 % |
29.14/29.20 c | 66040 | 7822 33437 101418 | 2147483647 66040 149 | 0.000 % |
29.34/29.40 c | 66349 | 7822 33437 101418 | 2147483647 66349 149 | 0.000 % |
29.54/29.64 c | 66690 | 7822 33437 101418 | 2147483647 66690 149 | 0.000 % |
29.73/29.86 c | 67062 | 7822 33437 101418 | 2147483647 67062 149 | 0.000 % |
30.03/30.13 c | 67472 | 7822 33437 101418 | 2147483647 67472 149 | 0.000 % |
30.33/30.41 c | 67921 | 7822 33437 101418 | 2147483647 67921 150 | 0.000 % |
30.63/30.75 c | 68414 | 7822 33437 101418 | 2147483647 68414 150 | 0.000 % |
30.93/31.09 c | 68956 | 7822 33437 101418 | 2147483647 68956 150 | 0.000 % |
31.33/31.46 c | 69554 | 7822 33437 101418 | 2147483647 69554 150 | 0.000 % |
31.73/31.89 c | 70209 | 7822 33437 101418 | 2147483647 70209 150 | 0.000 % |
32.23/32.35 c | 70929 | 7822 33437 101418 | 2147483647 70929 150 | 0.000 % |
32.72/32.85 c | 71723 | 7822 33437 101418 | 2147483647 71723 150 | 0.000 % |
33.23/33.39 c | 72595 | 7822 33437 101418 | 2147483647 72595 150 | 0.000 % |
33.33/33.48 c | 72695 | 7822 33437 101418 | 2147483647 72695 150 | 0.000 % |
33.43/33.58 c | 72805 | 7822 33437 101418 | 2147483647 72805 150 | 0.000 % |
33.53/33.66 c | 72927 | 7822 33437 101418 | 2147483647 72927 150 | 0.000 % |
33.63/33.77 c | 73061 | 7822 33437 101418 | 2147483647 73061 150 | 0.000 % |
33.73/33.88 c | 73208 | 7822 33437 101418 | 2147483647 73208 150 | 0.000 % |
33.83/34.00 c | 73368 | 7822 33437 101418 | 2147483647 73368 150 | 0.000 % |
34.03/34.13 c | 73544 | 7822 33437 101418 | 2147483647 73544 150 | 0.000 % |
34.13/34.27 c | 73737 | 7822 33437 101418 | 2147483647 73737 150 | 0.000 % |
34.33/34.42 c | 73950 | 7822 33437 101418 | 2147483647 73950 150 | 0.000 % |
34.53/34.61 c | 74185 | 7822 33437 101418 | 2147483647 74185 150 | 0.000 % |
34.73/34.81 c | 74442 | 7822 33437 101418 | 2147483647 74442 150 | 0.000 % |
34.83/35.00 c | 74726 | 7822 33437 101418 | 2147483647 74726 150 | 0.000 % |
35.13/35.20 c | 75035 | 7822 33437 101418 | 2147483647 75035 150 | 0.000 % |
35.32/35.46 c | 75375 | 7822 33437 101418 | 2147483647 75375 150 | 0.000 % |
35.62/35.72 c | 75747 | 7822 33437 101418 | 2147483647 75747 150 | 0.000 % |
35.92/36.01 c | 76157 | 7822 33437 101418 | 2147483647 76157 150 | 0.000 % |
36.23/36.32 c | 76606 | 7822 33437 101418 | 2147483647 76606 151 | 0.000 % |
36.53/36.68 c | 77099 | 7822 33437 101418 | 2147483647 77099 151 | 0.000 % |
36.93/37.07 c | 77641 | 7822 33437 101418 | 2147483647 77641 151 | 0.000 % |
37.33/37.45 c | 78237 | 7822 33437 101418 | 2147483647 78237 151 | 0.000 % |
37.72/37.88 c | 78893 | 7822 33437 101418 | 2147483647 78893 151 | 0.000 % |
38.22/38.39 c | 79613 | 7822 33437 101418 | 2147483647 79613 151 | 0.000 % |
38.83/38.90 c | 80408 | 7822 33437 101418 | 2147483647 80408 151 | 0.000 % |
39.43/39.52 c | 81280 | 7822 33437 101418 | 2147483647 81280 151 | 0.000 % |
40.03/40.18 c | 82239 | 7822 33437 101418 | 2147483647 82239 151 | 0.000 % |
40.13/40.26 c | 82342 | 7822 33437 101418 | 2147483647 82342 151 | 0.000 % |
40.22/40.36 c | 82453 | 7822 33437 101418 | 2147483647 82453 151 | 0.000 % |
40.32/40.46 c | 82575 | 7822 33437 101418 | 2147483647 82575 151 | 0.000 % |
40.42/40.58 c | 82708 | 7822 33437 101418 | 2147483647 82708 151 | 0.000 % |
40.53/40.69 c | 82857 | 7822 33437 101418 | 2147483647 82857 151 | 0.000 % |
40.72/40.83 c | 83017 | 7822 33437 101418 | 2147483647 83017 151 | 0.000 % |
40.82/40.98 c | 83194 | 7822 33437 101418 | 2147483647 83194 151 | 0.000 % |
41.02/41.13 c | 83387 | 7822 33437 101418 | 2147483647 83387 151 | 0.000 % |
41.12/41.30 c | 83599 | 7822 33437 101418 | 2147483647 83599 151 | 0.000 % |
41.32/41.49 c | 83832 | 7822 33437 101418 | 2147483647 83832 151 | 0.000 % |
41.52/41.69 c | 84088 | 7822 33437 101418 | 2147483647 84088 151 | 0.000 % |
41.82/41.91 c | 84369 | 7822 33437 101418 | 2147483647 84369 151 | 0.000 % |
42.02/42.14 c | 84678 | 7822 33437 101418 | 2147483647 84678 151 | 0.000 % |
42.22/42.36 c | 85019 | 7822 33437 101418 | 2147483647 85019 151 | 0.000 % |
42.53/42.64 c | 85392 | 7822 33437 101418 | 2147483647 85392 151 | 0.000 % |
42.83/42.94 c | 85803 | 7822 33437 101418 | 2147483647 85803 151 | 0.000 % |
43.12/43.28 c | 86252 | 7822 33437 101418 | 2147483647 86252 151 | 0.000 % |
43.52/43.62 c | 86745 | 7822 33437 101418 | 2147483647 86745 151 | 0.000 % |
43.93/44.03 c | 87287 | 7822 33437 101418 | 2147483647 87287 151 | 0.000 % |
44.32/44.48 c | 87886 | 7822 33437 101418 | 2147483647 87886 151 | 0.000 % |
44.82/44.97 c | 88544 | 7822 33437 101418 | 2147483647 88544 151 | 0.000 % |
45.42/45.52 c | 89265 | 7822 33437 101418 | 2147483647 89265 151 | 0.000 % |
46.02/46.13 c | 90057 | 7822 33437 101418 | 2147483647 90057 152 | 0.000 % |
46.71/46.84 c | 90928 | 7822 33437 101418 | 2147483647 90928 152 | 0.000 % |
47.42/47.54 c | 91886 | 7822 33437 101418 | 2147483647 91886 152 | 0.000 % |
48.12/48.27 c | 92939 | 7822 33437 101418 | 2147483647 92939 152 | 0.000 % |
48.22/48.36 c | 93041 | 7822 33437 101418 | 2147483647 93041 152 | 0.000 % |
48.32/48.48 c | 93153 | 7822 33437 101418 | 2147483647 93153 152 | 0.000 % |
48.42/48.59 c | 93275 | 7822 33437 101418 | 2147483647 93275 152 | 0.000 % |
48.62/48.72 c | 93409 | 7822 33437 101418 | 2147483647 93409 152 | 0.000 % |
48.72/48.83 c | 93557 | 7822 33437 101418 | 2147483647 93557 152 | 0.000 % |
48.82/48.97 c | 93717 | 7822 33437 101418 | 2147483647 93717 152 | 0.000 % |
49.02/49.12 c | 93894 | 7822 33437 101418 | 2147483647 93894 152 | 0.000 % |
49.22/49.31 c | 94087 | 7822 33437 101418 | 2147483647 94087 152 | 0.000 % |
49.42/49.50 c | 94300 | 7822 33437 101418 | 2147483647 94300 152 | 0.000 % |
49.62/49.72 c | 94534 | 7822 33437 101418 | 2147483647 94534 152 | 0.000 % |
49.82/49.94 c | 94790 | 7822 33437 101418 | 2147483647 94790 152 | 0.000 % |
50.02/50.17 c | 95073 | 7822 33437 101418 | 2147483647 95073 152 | 0.000 % |
50.32/50.44 c | 95382 | 7822 33437 101418 | 2147483647 95382 152 | 0.000 % |
50.61/50.73 c | 95721 | 7822 33437 101418 | 2147483647 95721 152 | 0.000 % |
50.91/51.03 c | 96093 | 7822 33437 101418 | 2147483647 96093 152 | 0.000 % |
51.21/51.37 c | 96502 | 7822 33437 101418 | 2147483647 96502 152 | 0.000 % |
51.62/51.77 c | 96952 | 7822 33437 101418 | 2147483647 96952 152 | 0.000 % |
52.02/52.14 c | 97445 | 7822 33437 101418 | 2147483647 97445 152 | 0.000 % |
52.42/52.58 c | 97990 | 7822 33437 101418 | 2147483647 97990 152 | 0.000 % |
52.92/53.07 c | 98586 | 7822 33437 101418 | 2147483647 98586 152 | 0.000 % |
53.52/53.61 c | 99242 | 7822 33437 101418 | 2147483647 99242 152 | 0.000 % |
54.12/54.23 c | 99964 | 7822 33437 101418 | 2147483647 99964 152 | 0.000 % |
54.72/54.86 c | 100759 | 7822 33437 101418 | 2147483647 100759 153 | 0.000 % |
55.42/55.54 c | 101630 | 7822 33437 101418 | 2147483647 101630 153 | 0.000 % |
56.11/56.30 c | 102589 | 7822 33437 101418 | 2147483647 102589 153 | 0.000 % |
57.02/57.17 c | 103642 | 7822 33437 101418 | 2147483647 103642 153 | 0.000 % |
58.02/58.14 c | 104802 | 7822 33437 101418 | 2147483647 104802 154 | 0.000 % |
58.12/58.24 c | 104902 | 7822 33437 101418 | 2147483647 104902 153 | 0.000 % |
58.22/58.35 c | 105013 | 7822 33437 101418 | 2147483647 105013 153 | 0.000 % |
58.31/58.49 c | 105134 | 7822 33437 101418 | 2147483647 105134 153 | 0.000 % |
58.51/58.61 c | 105267 | 7822 33437 101418 | 2147483647 105267 153 | 0.000 % |
58.61/58.76 c | 105413 | 7822 33437 101418 | 2147483647 105413 153 | 0.000 % |
58.81/58.92 c | 105574 | 7822 33437 101418 | 2147483647 105574 153 | 0.000 % |
58.91/59.08 c | 105752 | 7822 33437 101418 | 2147483647 105752 153 | 0.000 % |
59.11/59.26 c | 105945 | 7822 33437 101418 | 2147483647 105945 153 | 0.000 % |
59.32/59.44 c | 106157 | 7822 33437 101418 | 2147483647 106157 153 | 0.000 % |
59.51/59.64 c | 106391 | 7822 33437 101418 | 2147483647 106391 153 | 0.000 % |
59.71/59.88 c | 106647 | 7822 33437 101418 | 2147483647 106647 153 | 0.000 % |
60.01/60.12 c | 106930 | 7822 33437 101418 | 2147483647 106930 153 | 0.000 % |
60.21/60.39 c | 107240 | 7822 33437 101418 | 2147483647 107240 153 | 0.000 % |
60.61/60.70 c | 107579 | 7822 33437 101418 | 2147483647 107579 153 | 0.000 % |
60.91/61.03 c | 107952 | 7822 33437 101418 | 2147483647 107952 153 | 0.000 % |
61.22/61.40 c | 108362 | 7822 33437 101418 | 2147483647 108362 153 | 0.000 % |
61.62/61.79 c | 108813 | 7822 33437 101418 | 2147483647 108813 153 | 0.000 % |
62.11/62.22 c | 109306 | 7822 33437 101418 | 2147483647 109306 153 | 0.000 % |
62.52/62.68 c | 109848 | 7822 33437 101418 | 2147483647 109848 153 | 0.000 % |
63.11/63.21 c | 110444 | 7822 33437 101418 | 2147483647 110444 154 | 0.000 % |
63.71/63.82 c | 111099 | 7822 33437 101418 | 2147483647 111099 154 | 0.000 % |
64.31/64.44 c | 111819 | 7822 33437 101418 | 2147483647 111819 154 | 0.000 % |
65.01/65.12 c | 112612 | 7822 33437 101418 | 2147483647 112612 154 | 0.000 % |
65.70/65.87 c | 113484 | 7822 33437 101418 | 2147483647 113484 154 | 0.000 % |
66.51/66.68 c | 114445 | 7822 33437 101418 | 2147483647 114445 155 | 0.000 % |
67.41/67.57 c | 115500 | 7822 33437 101418 | 2147483647 115500 155 | 0.000 % |
68.50/68.68 c | 116659 | 7822 33437 101418 | 2147483647 116659 155 | 0.000 % |
69.71/69.88 c | 117935 | 7822 33437 101418 | 2147483647 117935 156 | 0.000 % |
69.81/69.99 c | 118035 | 7822 33437 101418 | 2147483647 118035 156 | 0.000 % |
70.01/70.14 c | 118146 | 7822 33437 101418 | 2147483647 118146 156 | 0.000 % |
70.11/70.27 c | 118267 | 7822 33437 101418 | 2147483647 118267 156 | 0.000 % |
70.31/70.41 c | 118400 | 7822 33437 101418 | 2147483647 118400 156 | 0.000 % |
70.41/70.56 c | 118548 | 7822 33437 101418 | 2147483647 118548 156 | 0.000 % |
70.61/70.75 c | 118709 | 7822 33437 101418 | 2147483647 118709 156 | 0.000 % |
70.81/70.92 c | 118885 | 7822 33437 101418 | 2147483647 118885 156 | 0.000 % |
71.01/71.11 c | 119078 | 7822 33437 101418 | 2147483647 119078 156 | 0.000 % |
71.21/71.33 c | 119291 | 7822 33437 101418 | 2147483647 119291 155 | 0.000 % |
71.41/71.58 c | 119524 | 7822 33437 101418 | 2147483647 119524 155 | 0.000 % |
71.71/71.86 c | 119780 | 7822 33437 101418 | 2147483647 119780 155 | 0.000 % |
72.00/72.14 c | 120061 | 7822 33437 101418 | 2147483647 120061 155 | 0.000 % |
72.30/72.45 c | 120370 | 7822 33437 101418 | 2147483647 120370 155 | 0.000 % |
72.59/72.79 c | 120709 | 7822 33437 101418 | 2147483647 120709 155 | 0.000 % |
72.99/73.11 c | 121082 | 7822 33437 101418 | 2147483647 121082 156 | 0.000 % |
73.39/73.51 c | 121491 | 7822 33437 101418 | 2147483647 121491 156 | 0.000 % |
73.80/73.93 c | 121941 | 7822 33437 101418 | 2147483647 121941 156 | 0.000 % |
74.30/74.42 c | 122436 | 7822 33437 101418 | 2147483647 122436 156 | 0.000 % |
74.70/74.89 c | 122978 | 7822 33437 101418 | 2147483647 122978 156 | 0.000 % |
75.30/75.42 c | 123574 | 7822 33437 101418 | 2147483647 123574 156 | 0.000 % |
75.89/76.07 c | 124229 | 7822 33437 101418 | 2147483647 124229 156 | 0.000 % |
76.59/76.74 c | 124949 | 7822 33437 101418 | 2147483647 124949 156 | 0.000 % |
77.30/77.48 c | 125742 | 7822 33437 101418 | 2147483647 125742 156 | 0.000 % |
78.10/78.28 c | 126613 | 7822 33437 101418 | 2147483647 126613 156 | 0.000 % |
79.00/79.14 c | 127572 | 7822 33437 101418 | 2147483647 127572 156 | 0.000 % |
79.99/80.16 c | 128626 | 7822 33437 101418 | 2147483647 128626 156 | 0.000 % |
81.09/81.20 c | 129785 | 7822 33437 101418 | 2147483647 129785 157 | 0.000 % |
82.30/82.41 c | 131059 | 7822 33437 101418 | 2147483647 131059 157 | 0.000 % |
83.60/83.78 c | 132461 | 7822 33437 101418 | 2147483647 132461 157 | 0.000 % |
83.80/83.90 c | 132565 | 7822 33437 101418 | 2147483647 132565 157 | 0.000 % |
83.89/84.05 c | 132677 | 7822 33437 101418 | 2147483647 132677 157 | 0.000 % |
83.99/84.18 c | 132798 | 7822 33437 101418 | 2147483647 132798 157 | 0.000 % |
84.19/84.35 c | 132933 | 7822 33437 101418 | 2147483647 132933 157 | 0.000 % |
84.39/84.51 c | 133079 | 7822 33437 101418 | 2147483647 133079 157 | 0.000 % |
84.60/84.70 c | 133240 | 7822 33437 101418 | 2147483647 133240 157 | 0.000 % |
84.69/84.89 c | 133417 | 7822 33437 101418 | 2147483647 133417 157 | 0.000 % |
84.89/85.06 c | 133610 | 7822 33437 101418 | 2147483647 133610 156 | 0.000 % |
85.19/85.30 c | 133822 | 7822 33437 101418 | 2147483647 133822 156 | 0.000 % |
85.39/85.57 c | 134056 | 7822 33437 101418 | 2147483647 134056 156 | 0.000 % |
85.70/85.85 c | 134312 | 7822 33437 101418 | 2147483647 134312 156 | 0.000 % |
85.99/86.14 c | 134595 | 7822 33437 101418 | 2147483647 134595 156 | 0.000 % |
86.39/86.52 c | 134906 | 7822 33437 101418 | 2147483647 134906 156 | 0.000 % |
86.80/86.91 c | 135245 | 7822 33437 101418 | 2147483647 135245 156 | 0.000 % |
87.19/87.33 c | 135618 | 7822 33437 101418 | 2147483647 135618 156 | 0.000 % |
87.59/87.75 c | 136027 | 7822 33437 101418 | 2147483647 136027 156 | 0.000 % |
88.10/88.28 c | 136476 | 7822 33437 101418 | 2147483647 136476 156 | 0.000 % |
88.69/88.80 c | 136970 | 7822 33437 101418 | 2147483647 136970 156 | 0.000 % |
89.19/89.38 c | 137512 | 7822 33437 101418 | 2147483647 137512 156 | 0.000 % |
89.89/90.03 c | 138108 | 7822 33437 101418 | 2147483647 138108 156 | 0.000 % |
90.59/90.73 c | 138765 | 7822 33437 101418 | 2147483647 138765 156 | 0.000 % |
91.29/91.42 c | 139485 | 7822 33437 101418 | 2147483647 139485 156 | 0.000 % |
92.09/92.26 c | 140278 | 7822 33437 101418 | 2147483647 140278 156 | 0.000 % |
92.99/93.13 c | 141149 | 7822 33437 101418 | 2147483647 141149 156 | 0.000 % |
93.99/94.11 c | 142107 | 7822 33437 101418 | 2147483647 142107 156 | 0.000 % |
94.99/95.11 c | 143161 | 7822 33437 101418 | 2147483647 143161 157 | 0.000 % |
96.19/96.33 c | 144319 | 7822 33437 101418 | 2147483647 144319 157 | 0.000 % |
97.38/97.56 c | 145592 | 7822 33437 101418 | 2147483647 145592 157 | 0.000 % |
98.89/99.01 c | 146994 | 7822 33437 101418 | 2147483647 146994 157 | 0.000 % |
100.38/100.50 c | 148536 | 7822 33437 101418 | 2147483647 148536 158 | 0.000 % |
100.48/100.65 c | 148636 | 7822 33437 101418 | 2147483647 148636 158 | 0.000 % |
100.58/100.79 c | 148746 | 7822 33437 101418 | 2147483647 148746 158 | 0.000 % |
100.78/100.95 c | 148870 | 7822 33437 101418 | 2147483647 148870 158 | 0.000 % |
100.99/101.12 c | 149004 | 7822 33437 101418 | 2147483647 149004 158 | 0.000 % |
101.18/101.33 c | 149150 | 7822 33437 101418 | 2147483647 149150 158 | 0.000 % |
101.38/101.52 c | 149310 | 7822 33437 101418 | 2147483647 149310 158 | 0.000 % |
101.58/101.73 c | 149486 | 7822 33437 101418 | 2147483647 149486 158 | 0.000 % |
101.78/101.98 c | 149680 | 7822 33437 101418 | 2147483647 149680 158 | 0.000 % |
102.09/102.22 c | 149892 | 7822 33437 101418 | 2147483647 149892 158 | 0.000 % |
102.39/102.51 c | 150125 | 7822 33437 101418 | 2147483647 150125 158 | 0.000 % |
102.58/102.78 c | 150382 | 7822 33437 101418 | 2147483647 150382 158 | 0.000 % |
102.98/103.14 c | 150665 | 7822 33437 101418 | 2147483647 150665 158 | 0.000 % |
103.38/103.55 c | 150977 | 7822 33437 101418 | 2147483647 150977 158 | 0.000 % |
103.78/103.96 c | 151318 | 7822 33437 101418 | 2147483647 151318 158 | 0.000 % |
104.18/104.37 c | 151690 | 7822 33437 101418 | 2147483647 151690 158 | 0.000 % |
104.68/104.82 c | 152099 | 7822 33437 101418 | 2147483647 152099 158 | 0.000 % |
105.18/105.33 c | 152548 | 7822 33437 101418 | 2147483647 152548 158 | 0.000 % |
105.78/105.95 c | 153041 | 7822 33437 101418 | 2147483647 153041 158 | 0.000 % |
106.38/106.57 c | 153584 | 7822 33437 101418 | 2147483647 153584 158 | 0.000 % |
107.07/107.29 c | 154183 | 7822 33437 101418 | 2147483647 154183 158 | 0.000 % |
107.88/108.09 c | 154840 | 7822 33437 101418 | 2147483647 154840 158 | 0.000 % |
108.68/108.82 c | 155560 | 7822 33437 101418 | 2147483647 155560 158 | 0.000 % |
109.58/109.72 c | 156355 | 7822 33437 101418 | 2147483647 156355 158 | 0.000 % |
110.48/110.67 c | 157228 | 7822 33437 101418 | 2147483647 157228 158 | 0.000 % |
111.57/111.73 c | 158188 | 7822 33437 101418 | 2147483647 158188 158 | 0.000 % |
112.67/112.85 c | 159242 | 7822 33437 101418 | 2147483647 159242 158 | 0.000 % |
113.97/114.15 c | 160400 | 7822 33437 101418 | 2147483647 160400 158 | 0.000 % |
115.28/115.49 c | 161673 | 7822 33437 101418 | 2147483647 161673 158 | 0.000 % |
116.88/117.00 c | 163073 | 7822 33437 101418 | 2147483647 163073 158 | 0.000 % |
118.58/118.77 c | 164614 | 7822 33437 101418 | 2147483647 164614 158 | 0.000 % |
120.47/120.64 c | 166308 | 7822 33437 101418 | 2147483647 166308 158 | 0.000 % |
120.57/120.78 c | 166408 | 7822 33437 101418 | 2147483647 166408 158 | 0.000 % |
120.77/120.94 c | 166519 | 7822 33437 101418 | 2147483647 166519 158 | 0.000 % |
120.97/121.12 c | 166640 | 7822 33437 101418 | 2147483647 166640 158 | 0.000 % |
121.17/121.32 c | 166773 | 7822 33437 101418 | 2147483647 166773 158 | 0.000 % |
121.27/121.48 c | 166920 | 7822 33437 101418 | 2147483647 166920 158 | 0.000 % |
121.57/121.70 c | 167080 | 7822 33437 101418 | 2147483647 167080 158 | 0.000 % |
121.77/121.96 c | 167257 | 7822 33437 101418 | 2147483647 167257 158 | 0.000 % |
122.07/122.22 c | 167451 | 7822 33437 101418 | 2147483647 167451 158 | 0.000 % |
122.37/122.51 c | 167663 | 7822 33437 101418 | 2147483647 167663 158 | 0.000 % |
122.57/122.78 c | 167897 | 7822 33437 101418 | 2147483647 167897 158 | 0.000 % |
122.97/123.14 c | 168153 | 7822 33437 101418 | 2147483647 168153 158 | 0.000 % |
123.26/123.47 c | 168436 | 7822 33437 101418 | 2147483647 168436 158 | 0.000 % |
123.67/123.86 c | 168746 | 7822 33437 101418 | 2147483647 168746 158 | 0.000 % |
124.07/124.28 c | 169085 | 7822 33437 101418 | 2147483647 169085 158 | 0.000 % |
124.57/124.75 c | 169458 | 7822 33437 101418 | 2147483647 169458 158 | 0.000 % |
125.17/125.30 c | 169867 | 7822 33437 101418 | 2147483647 169867 158 | 0.000 % |
125.76/125.90 c | 170316 | 7822 33437 101418 | 2147483647 170316 158 | 0.000 % |
126.37/126.51 c | 170809 | 7822 33437 101418 | 2147483647 170809 158 | 0.000 % |
126.96/127.19 c | 171351 | 7822 33437 101418 | 2147483647 171351 158 | 0.000 % |
127.76/127.93 c | 171947 | 7822 33437 101418 | 2147483647 171947 158 | 0.000 % |
128.46/128.70 c | 172603 | 7822 33437 101418 | 2147483647 172603 158 | 0.000 % |
129.36/129.53 c | 173323 | 7822 33437 101418 | 2147483647 173323 158 | 0.000 % |
130.27/130.50 c | 174115 | 7822 33437 101418 | 2147483647 174115 158 | 0.000 % |
131.37/131.51 c | 174986 | 7822 33437 101418 | 2147483647 174986 158 | 0.000 % |
132.46/132.69 c | 175944 | 7822 33437 101418 | 2147483647 175944 158 | 0.000 % |
133.76/133.98 c | 177001 | 7822 33437 101418 | 2147483647 177001 158 | 0.000 % |
135.16/135.33 c | 178161 | 7822 33437 101418 | 2147483647 178161 159 | 0.000 % |
136.76/136.93 c | 179434 | 7822 33437 101418 | 2147483647 179434 159 | 0.000 % |
138.37/138.52 c | 180834 | 7822 33437 101418 | 2147483647 180834 159 | 0.000 % |
140.16/140.35 c | 182374 | 7822 33437 101418 | 2147483647 182374 159 | 0.000 % |
142.26/142.41 c | 184069 | 7822 33437 101418 | 2147483647 184069 159 | 0.000 % |
144.46/144.69 c | 185932 | 7822 33437 101418 | 2147483647 185932 160 | 0.000 % |
144.66/144.85 c | 186032 | 7822 33437 101418 | 2147483647 186032 160 | 0.000 % |
144.85/145.04 c | 186142 | 7822 33437 101418 | 2147483647 186142 160 | 0.000 % |
145.06/145.23 c | 186263 | 7822 33437 101418 | 2147483647 186263 160 | 0.000 % |
145.25/145.44 c | 186397 | 7822 33437 101418 | 2147483647 186397 160 | 0.000 % |
145.45/145.65 c | 186543 | 7822 33437 101418 | 2147483647 186543 160 | 0.000 % |
145.75/145.91 c | 186703 | 7822 33437 101418 | 2147483647 186703 160 | 0.000 % |
145.95/146.15 c | 186880 | 7822 33437 101418 | 2147483647 186880 160 | 0.000 % |
146.26/146.43 c | 187074 | 7822 33437 101418 | 2147483647 187074 159 | 0.000 % |
146.56/146.76 c | 187287 | 7822 33437 101418 | 2147483647 187287 159 | 0.000 % |
146.86/147.07 c | 187520 | 7822 33437 101418 | 2147483647 187520 159 | 0.000 % |
147.26/147.45 c | 187777 | 7822 33437 101418 | 2147483647 187777 159 | 0.000 % |
147.66/147.88 c | 188060 | 7822 33437 101418 | 2147483647 188060 159 | 0.000 % |
148.15/148.34 c | 188369 | 7822 33437 101418 | 2147483647 188369 159 | 0.000 % |
148.55/148.77 c | 188710 | 7822 33437 101418 | 2147483647 188710 159 | 0.000 % |
149.15/149.30 c | 189083 | 7822 33437 101418 | 2147483647 189083 159 | 0.000 % |
149.65/149.89 c | 189493 | 7822 33437 101418 | 2147483647 189493 159 | 0.000 % |
150.25/150.49 c | 189945 | 7822 33437 101418 | 2147483647 189945 159 | 0.000 % |
150.96/151.18 c | 190443 | 7822 33437 101418 | 2147483647 190443 159 | 0.000 % |
151.66/151.89 c | 190985 | 7822 33437 101418 | 2147483647 190985 159 | 0.000 % |
152.45/152.66 c | 191583 | 7822 33437 101418 | 2147483647 191583 160 | 0.000 % |
153.35/153.55 c | 192238 | 7822 33437 101418 | 2147483647 192238 160 | 0.000 % |
154.35/154.55 c | 192958 | 7822 33437 101418 | 2147483647 192958 160 | 0.000 % |
155.46/155.60 c | 193751 | 7822 33437 101418 | 2147483647 193751 160 | 0.000 % |
156.55/156.79 c | 194623 | 7822 33437 101418 | 2147483647 194623 160 | 0.000 % |
157.75/157.99 c | 195581 | 7822 33437 101418 | 2147483647 195581 160 | 0.000 % |
159.26/159.45 c | 196635 | 7822 33437 101418 | 2147483647 196635 160 | 0.000 % |
160.75/160.98 c | 197793 | 7822 33437 101418 | 2147483647 197793 160 | 0.000 % |
162.45/162.62 c | 199066 | 7822 33437 101418 | 2147483647 199066 160 | 0.000 % |
164.24/164.48 c | 200468 | 7822 33437 101418 | 2147483647 200468 160 | 0.000 % |
166.24/166.46 c | 202008 | 7822 33437 101418 | 2147483647 202008 160 | 0.000 % |
168.54/168.75 c | 203703 | 7822 33437 101418 | 2147483647 203703 161 | 0.000 % |
170.95/171.16 c | 205566 | 7822 33437 101418 | 2147483647 205566 161 | 0.000 % |
173.75/173.97 c | 207617 | 7822 33437 101418 | 2147483647 207617 161 | 0.000 % |
173.95/174.14 c | 207717 | 7822 33437 101418 | 2147483647 207717 161 | 0.000 % |
174.15/174.31 c | 207827 | 7822 33437 101418 | 2147483647 207827 161 | 0.000 % |
174.35/174.52 c | 207949 | 7822 33437 101418 | 2147483647 207949 161 | 0.000 % |
174.55/174.72 c | 208082 | 7822 33437 101418 | 2147483647 208082 161 | 0.000 % |
174.85/175.00 c | 208231 | 7822 33437 101418 | 2147483647 208231 161 | 0.000 % |
175.05/175.27 c | 208393 | 7822 33437 101418 | 2147483647 208393 161 | 0.000 % |
175.35/175.59 c | 208569 | 7822 33437 101418 | 2147483647 208569 161 | 0.000 % |
175.75/175.90 c | 208766 | 7822 33437 101418 | 2147483647 208766 161 | 0.000 % |
176.05/176.22 c | 208979 | 7822 33437 101418 | 2147483647 208979 161 | 0.000 % |
176.44/176.60 c | 209213 | 7822 33437 101418 | 2147483647 209213 161 | 0.000 % |
176.74/176.98 c | 209471 | 7822 33437 101418 | 2147483647 209471 161 | 0.000 % |
177.14/177.39 c | 209753 | 7822 33437 101418 | 2147483647 209753 161 | 0.000 % |
177.74/177.90 c | 210062 | 7822 33437 101418 | 2147483647 210062 161 | 0.000 % |
178.24/178.45 c | 210401 | 7822 33437 101418 | 2147483647 210401 161 | 0.000 % |
178.84/179.00 c | 210774 | 7822 33437 101418 | 2147483647 210774 161 | 0.000 % |
179.44/179.61 c | 211184 | 7822 33437 101418 | 2147483647 211184 161 | 0.000 % |
180.04/180.21 c | 211635 | 7822 33437 101418 | 2147483647 211635 161 | 0.000 % |
180.73/180.95 c | 212132 | 7822 33437 101418 | 2147483647 212132 161 | 0.000 % |
181.53/181.75 c | 212675 | 7822 33437 101418 | 2147483647 212675 161 | 0.000 % |
182.44/182.66 c | 213272 | 7822 33437 101418 | 2147483647 213272 161 | 0.000 % |
183.34/183.59 c | 213928 | 7822 33437 101418 | 2147483647 213928 161 | 0.000 % |
184.43/184.67 c | 214648 | 7822 33437 101418 | 2147483647 214648 161 | 0.000 % |
185.63/185.86 c | 215442 | 7822 33437 101418 | 2147483647 215442 161 | 0.000 % |
186.94/187.14 c | 216313 | 7822 33437 101418 | 2147483647 216313 161 | 0.000 % |
188.33/188.58 c | 217271 | 7822 33437 101418 | 2147483647 217271 161 | 0.000 % |
189.83/190.08 c | 218324 | 7822 33437 101418 | 2147483647 218324 161 | 0.000 % |
191.43/191.67 c | 219482 | 7822 33437 101418 | 2147483647 219482 161 | 0.000 % |
193.24/193.44 c | 220756 | 7822 33437 101418 | 2147483647 220756 161 | 0.000 % |
195.13/195.30 c | 222156 | 7822 33437 101418 | 2147483647 222156 161 | 0.000 % |
197.23/197.41 c | 223697 | 7822 33437 101418 | 2147483647 223697 161 | 0.000 % |
199.62/199.83 c | 225391 | 7822 33437 101418 | 2147483647 225391 162 | 0.000 % |
202.33/202.50 c | 227254 | 7822 33437 101418 | 2147483647 227254 162 | 0.000 % |
205.12/205.37 c | 229303 | 7822 33437 101418 | 2147483647 229303 162 | 0.000 % |
208.32/208.57 c | 231557 | 7822 33437 101418 | 2147483647 231557 162 | 0.000 % |
208.52/208.78 c | 231657 | 7822 33437 101418 | 2147483647 231657 162 | 0.000 % |
208.73/208.99 c | 231767 | 7822 33437 101418 | 2147483647 231767 162 | 0.000 % |
209.02/209.22 c | 231888 | 7822 33437 101418 | 2147483647 231888 162 | 0.000 % |
209.22/209.45 c | 232023 | 7822 33437 101418 | 2147483647 232023 162 | 0.000 % |
209.52/209.74 c | 232171 | 7822 33437 101418 | 2147483647 232171 162 | 0.000 % |
209.82/210.03 c | 232331 | 7822 33437 101418 | 2147483647 232331 162 | 0.000 % |
210.12/210.36 c | 232507 | 7822 33437 101418 | 2147483647 232507 162 | 0.000 % |
210.52/210.73 c | 232700 | 7822 33437 101418 | 2147483647 232700 162 | 0.000 % |
210.82/211.09 c | 232912 | 7822 33437 101418 | 2147483647 232912 162 | 0.000 % |
211.22/211.45 c | 233146 | 7822 33437 101418 | 2147483647 233146 162 | 0.000 % |
211.61/211.89 c | 233403 | 7822 33437 101418 | 2147483647 233403 162 | 0.000 % |
212.12/212.37 c | 233684 | 7822 33437 101418 | 2147483647 233684 162 | 0.000 % |
212.61/212.87 c | 233994 | 7822 33437 101418 | 2147483647 233994 162 | 0.000 % |
213.22/213.45 c | 234333 | 7822 33437 101418 | 2147483647 234333 162 | 0.000 % |
213.81/214.06 c | 234705 | 7822 33437 101418 | 2147483647 234705 162 | 0.000 % |
214.41/214.65 c | 235114 | 7822 33437 101418 | 2147483647 235114 162 | 0.000 % |
215.21/215.43 c | 235563 | 7822 33437 101418 | 2147483647 235563 162 | 0.000 % |
216.01/216.26 c | 236057 | 7822 33437 101418 | 2147483647 236057 162 | 0.000 % |
216.91/217.13 c | 236599 | 7822 33437 101418 | 2147483647 236599 162 | 0.000 % |
217.82/218.06 c | 237195 | 7822 33437 101418 | 2147483647 237195 162 | 0.000 % |
218.91/219.10 c | 237851 | 7822 33437 101418 | 2147483647 237851 162 | 0.000 % |
220.01/220.26 c | 238572 | 7822 33437 101418 | 2147483647 238572 162 | 0.000 % |
221.31/221.55 c | 239364 | 7822 33437 101418 | 2147483647 239364 162 | 0.000 % |
222.61/222.87 c | 240235 | 7822 33437 101418 | 2147483647 240235 162 | 0.000 % |
224.12/224.36 c | 241193 | 7822 33437 101418 | 2147483647 241193 162 | 0.000 % |
225.81/226.03 c | 242247 | 7822 33437 101418 | 2147483647 242247 162 | 0.000 % |
227.61/227.88 c | 243409 | 7822 33437 101418 | 2147483647 243409 162 | 0.000 % |
229.62/229.87 c | 244682 | 7822 33437 101418 | 2147483647 244682 162 | 0.000 % |
231.61/231.84 c | 246082 | 7822 33437 101418 | 2147483647 246082 162 | 0.000 % |
234.02/234.29 c | 247623 | 7822 33437 101418 | 2147483647 247623 162 | 0.000 % |
236.71/236.90 c | 249317 | 7822 33437 101418 | 2147483647 249317 162 | 0.000 % |
239.61/239.85 c | 251180 | 7822 33437 101418 | 2147483647 251180 162 | 0.000 % |
242.81/243.01 c | 253230 | 7822 33437 101418 | 2147483647 253230 162 | 0.000 % |
246.11/246.37 c | 255484 | 7822 33437 101418 | 2147483647 255484 163 | 0.000 % |
249.90/250.15 c | 257966 | 7822 33437 101418 | 2147483647 257966 163 | 0.000 % |
250.10/250.36 c | 258067 | 7822 33437 101418 | 2147483647 258067 163 | 0.000 % |
250.40/250.64 c | 258177 | 7822 33437 101418 | 2147483647 258177 163 | 0.000 % |
250.60/250.89 c | 258299 | 7822 33437 101418 | 2147483647 258299 163 | 0.000 % |
250.90/251.18 c | 258433 | 7822 33437 101418 | 2147483647 258433 163 | 0.000 % |
251.20/251.46 c | 258579 | 7822 33437 101418 | 2147483647 258579 163 | 0.000 % |
251.60/251.82 c | 258740 | 7822 33437 101418 | 2147483647 258740 163 | 0.000 % |
251.90/252.15 c | 258917 | 7822 33437 101418 | 2147483647 258917 163 | 0.000 % |
252.30/252.59 c | 259113 | 7822 33437 101418 | 2147483647 259113 163 | 0.000 % |
252.70/252.95 c | 259326 | 7822 33437 101418 | 2147483647 259326 163 | 0.000 % |
253.09/253.39 c | 259560 | 7822 33437 101418 | 2147483647 259560 163 | 0.000 % |
253.59/253.87 c | 259816 | 7822 33437 101418 | 2147483647 259816 163 | 0.000 % |
254.19/254.44 c | 260097 | 7822 33437 101418 | 2147483647 260097 163 | 0.000 % |
254.79/255.03 c | 260408 | 7822 33437 101418 | 2147483647 260408 163 | 0.000 % |
255.29/255.60 c | 260747 | 7822 33437 101418 | 2147483647 260747 163 | 0.000 % |
255.99/256.25 c | 261119 | 7822 33437 101418 | 2147483647 261119 163 | 0.000 % |
256.69/256.92 c | 261529 | 7822 33437 101418 | 2147483647 261529 163 | 0.000 % |
257.49/257.72 c | 261981 | 7822 33437 101418 | 2147483647 261981 163 | 0.000 % |
258.39/258.63 c | 262475 | 7822 33437 101418 | 2147483647 262475 163 | 0.000 % |
259.30/259.57 c | 263017 | 7822 33437 101418 | 2147483647 263017 163 | 0.000 % |
260.39/260.62 c | 263614 | 7822 33437 101418 | 2147483647 263614 163 | 0.000 % |
261.49/261.75 c | 264270 | 7822 33437 101418 | 2147483647 264270 163 | 0.000 % |
262.59/262.86 c | 264991 | 7822 33437 101418 | 2147483647 264991 163 | 0.000 % |
263.99/264.29 c | 265784 | 7822 33437 101418 | 2147483647 265784 163 | 0.000 % |
265.38/265.62 c | 266656 | 7822 33437 101418 | 2147483647 266656 163 | 0.000 % |
267.09/267.30 c | 267615 | 7822 33437 101418 | 2147483647 267615 163 | 0.000 % |
268.88/269.12 c | 268668 | 7822 33437 101418 | 2147483647 268668 163 | 0.000 % |
270.78/271.05 c | 269826 | 7822 33437 101418 | 2147483647 269826 163 | 0.000 % |
272.89/273.17 c | 271100 | 7822 33437 101418 | 2147483647 271100 163 | 0.000 % |
275.28/275.54 c | 272500 | 7822 33437 101418 | 2147483647 272500 163 | 0.000 % |
277.88/278.14 c | 274043 | 7822 33437 101418 | 2147483647 274043 163 | 0.000 % |
280.88/281.16 c | 275737 | 7822 33437 101418 | 2147483647 275737 163 | 0.000 % |
284.08/284.32 c | 277600 | 7822 33437 101418 | 2147483647 277600 164 | 0.000 % |
287.38/287.65 c | 279654 | 7822 33437 101418 | 2147483647 279654 164 | 0.000 % |
291.08/291.31 c | 281908 | 7822 33437 101418 | 2147483647 281908 164 | 0.000 % |
294.77/295.03 c | 284387 | 7822 33437 101418 | 2147483647 284387 165 | 0.000 % |
299.27/299.57 c | 287114 | 7822 33437 101418 | 2147483647 287114 165 | 0.000 % |
299.47/299.78 c | 287214 | 7822 33437 101418 | 2147483647 287214 165 | 0.000 % |
299.76/300.02 c | 287325 | 7822 33437 101418 | 2147483647 287325 165 | 0.000 % |
299.97/300.30 c | 287449 | 7822 33437 101418 | 2147483647 287449 165 | 0.000 % |
300.36/300.62 c | 287584 | 7822 33437 101418 | 2147483647 287584 165 | 0.000 % |
300.67/300.98 c | 287731 | 7822 33437 101418 | 2147483647 287731 165 | 0.000 % |
301.07/301.35 c | 287892 | 7822 33437 101418 | 2147483647 287892 165 | 0.000 % |
301.47/301.71 c | 288069 | 7822 33437 101418 | 2147483647 288069 165 | 0.000 % |
301.87/302.15 c | 288263 | 7822 33437 101418 | 2147483647 288263 165 | 0.000 % |
302.37/302.61 c | 288478 | 7822 33437 101418 | 2147483647 288478 165 | 0.000 % |
302.77/303.09 c | 288711 | 7822 33437 101418 | 2147483647 288711 165 | 0.000 % |
303.37/303.62 c | 288967 | 7822 33437 101418 | 2147483647 288967 165 | 0.000 % |
303.97/304.23 c | 289250 | 7822 33437 101418 | 2147483647 289250 165 | 0.000 % |
304.57/304.86 c | 289561 | 7822 33437 101418 | 2147483647 289561 165 | 0.000 % |
305.36/305.63 c | 289901 | 7822 33437 101418 | 2147483647 289901 165 | 0.000 % |
306.06/306.37 c | 290274 | 7822 33437 101418 | 2147483647 290274 165 | 0.000 % |
306.86/307.16 c | 290683 | 7822 33437 101418 | 2147483647 290683 165 | 0.000 % |
307.77/308.00 c | 291132 | 7822 33437 101418 | 2147483647 291132 165 | 0.000 % |
308.66/308.96 c | 291626 | 7822 33437 101418 | 2147483647 291626 165 | 0.000 % |
309.67/309.94 c | 292169 | 7822 33437 101418 | 2147483647 292169 165 | 0.000 % |
310.77/311.06 c | 292769 | 7822 33437 101418 | 2147483647 292769 165 | 0.000 % |
311.96/312.29 c | 293424 | 7822 33437 101418 | 2147483647 293424 165 | 0.000 % |
313.36/313.65 c | 294144 | 7822 33437 101418 | 2147483647 294144 165 | 0.000 % |
314.76/315.07 c | 294938 | 7822 33437 101418 | 2147483647 294938 165 | 0.000 % |
316.46/316.72 c | 295809 | 7822 33437 101418 | 2147483647 295809 165 | 0.000 % |
318.27/318.54 c | 296768 | 7822 33437 101418 | 2147483647 296768 165 | 0.000 % |
320.16/320.44 c | 297821 | 7822 33437 101418 | 2147483647 297821 165 | 0.000 % |
322.36/322.62 c | 298979 | 7822 33437 101418 | 2147483647 298979 165 | 0.000 % |
324.65/324.99 c | 300253 | 7822 33437 101418 | 2147483647 300253 165 | 0.000 % |
327.16/327.44 c | 301655 | 7822 33437 101418 | 2147483647 301655 165 | 0.000 % |
330.06/330.39 c | 303196 | 7822 33437 101418 | 2147483647 303196 165 | 0.000 % |
333.15/333.46 c | 304892 | 7822 33437 101418 | 2147483647 304892 165 | 0.000 % |
336.46/336.78 c | 306756 | 7822 33437 101418 | 2147483647 306756 166 | 0.000 % |
340.05/340.33 c | 308805 | 7822 33437 101418 | 2147483647 308805 166 | 0.000 % |
344.14/344.42 c | 311059 | 7822 33437 101418 | 2147483647 311059 166 | 0.000 % |
348.84/349.14 c | 313537 | 7822 33437 101418 | 2147483647 313537 166 | 0.000 % |
353.74/354.08 c | 316263 | 7822 33437 101418 | 2147483647 316263 166 | 0.000 % |
359.35/359.67 c | 319262 | 7822 33437 101418 | 2147483647 319262 166 | 0.000 % |
359.54/359.89 c | 319363 | 7822 33437 101418 | 2147483647 319363 166 | 0.000 % |
359.84/360.16 c | 319474 | 7822 33437 101418 | 2147483647 319474 166 | 0.000 % |
360.14/360.45 c | 319596 | 7822 33437 101418 | 2147483647 319596 166 | 0.000 % |
360.55/360.87 c | 319730 | 7822 33437 101418 | 2147483647 319730 166 | 0.000 % |
360.94/361.29 c | 319877 | 7822 33437 101418 | 2147483647 319877 166 | 0.000 % |
361.34/361.67 c | 320037 | 7822 33437 101418 | 2147483647 320037 166 | 0.000 % |
361.84/362.14 c | 320216 | 7822 33437 101418 | 2147483647 320216 166 | 0.000 % |
362.34/362.60 c | 320409 | 7822 33437 101418 | 2147483647 320409 166 | 0.000 % |
362.74/363.06 c | 320622 | 7822 33437 101418 | 2147483647 320622 166 | 0.000 % |
363.24/363.59 c | 320855 | 7822 33437 101418 | 2147483647 320855 166 | 0.000 % |
363.84/364.16 c | 321113 | 7822 33437 101418 | 2147483647 321113 166 | 0.000 % |
364.44/364.79 c | 321394 | 7822 33437 101418 | 2147483647 321394 166 | 0.000 % |
365.14/365.41 c | 321703 | 7822 33437 101418 | 2147483647 321703 166 | 0.000 % |
365.83/366.17 c | 322042 | 7822 33437 101418 | 2147483647 322042 166 | 0.000 % |
366.63/367.00 c | 322414 | 7822 33437 101418 | 2147483647 322414 166 | 0.000 % |
367.63/367.92 c | 322824 | 7822 33437 101418 | 2147483647 322824 166 | 0.000 % |
368.63/368.92 c | 323274 | 7822 33437 101418 | 2147483647 323274 166 | 0.000 % |
369.64/369.96 c | 323767 | 7822 33437 101418 | 2147483647 323767 166 | 0.000 % |
370.84/371.12 c | 324310 | 7822 33437 101418 | 2147483647 324310 166 | 0.000 % |
372.04/372.38 c | 324907 | 7822 33437 101418 | 2147483647 324907 166 | 0.000 % |
373.43/373.77 c | 325563 | 7822 33437 101418 | 2147483647 325563 166 | 0.000 % |
375.03/375.39 c | 326285 | 7822 33437 101418 | 2147483647 326285 166 | 0.000 % |
376.63/376.99 c | 327079 | 7822 33437 101418 | 2147483647 327079 166 | 0.000 % |
378.54/378.88 c | 327951 | 7822 33437 101418 | 2147483647 327951 166 | 0.000 % |
380.34/380.69 c | 328911 | 7822 33437 101418 | 2147483647 328911 166 | 0.000 % |
382.43/382.77 c | 329964 | 7822 33437 101418 | 2147483647 329964 166 | 0.000 % |
384.84/385.17 c | 331122 | 7822 33437 101418 | 2147483647 331122 166 | 0.000 % |
387.33/387.69 c | 332395 | 7822 33437 101418 | 2147483647 332395 166 | 0.000 % |
390.12/390.45 c | 333798 | 7822 33437 101418 | 2147483647 333798 166 | 0.000 % |
393.02/393.32 c | 335338 | 7822 33437 101418 | 2147483647 335338 167 | 0.000 % |
396.42/396.75 c | 337032 | 7822 33437 101418 | 2147483647 337032 167 | 0.000 % |
400.22/400.57 c | 338895 | 7822 33437 101418 | 2147483647 338895 167 | 0.000 % |
404.31/404.61 c | 340945 | 7822 33437 101418 | 2147483647 340945 167 | 0.000 % |
408.62/408.95 c | 343199 | 7822 33437 101418 | 2147483647 343199 167 | 0.000 % |
413.51/413.89 c | 345677 | 7822 33437 101418 | 2147483647 345677 167 | 0.000 % |
419.01/419.30 c | 348402 | 7822 33437 101418 | 2147483647 348402 167 | 0.000 % |
424.70/425.03 c | 351399 | 7822 33437 101418 | 2147483647 351399 167 | 0.000 % |
431.20/431.50 c | 354698 | 7822 33437 101418 | 2147483647 354698 167 | 0.000 % |
431.40/431.72 c | 354800 | 7822 33437 101418 | 2147483647 354800 167 | 0.000 % |
431.70/432.01 c | 354910 | 7822 33437 101418 | 2147483647 354910 167 | 0.000 % |
432.00/432.35 c | 355033 | 7822 33437 101418 | 2147483647 355033 167 | 0.000 % |
432.41/432.78 c | 355168 | 7822 33437 101418 | 2147483647 355168 167 | 0.000 % |
432.81/433.14 c | 355314 | 7822 33437 101418 | 2147483647 355314 167 | 0.000 % |
433.20/433.56 c | 355477 | 7822 33437 101418 | 2147483647 355477 167 | 0.000 % |
433.60/433.96 c | 355653 | 7822 33437 101418 | 2147483647 355653 167 | 0.000 % |
434.11/434.46 c | 355846 | 7822 33437 101418 | 2147483647 355846 167 | 0.000 % |
434.70/435.03 c | 356059 | 7822 33437 101418 | 2147483647 356059 167 | 0.000 % |
435.30/435.67 c | 356293 | 7822 33437 101418 | 2147483647 356293 167 | 0.000 % |
436.00/436.33 c | 356551 | 7822 33437 101418 | 2147483647 356551 167 | 0.000 % |
436.70/437.06 c | 356832 | 7822 33437 101418 | 2147483647 356832 167 | 0.000 % |
437.50/437.81 c | 357141 | 7822 33437 101418 | 2147483647 357141 167 | 0.000 % |
438.30/438.63 c | 357480 | 7822 33437 101418 | 2147483647 357480 167 | 0.000 % |
439.20/439.57 c | 357853 | 7822 33437 101418 | 2147483647 357853 167 | 0.000 % |
440.20/440.55 c | 358262 | 7822 33437 101418 | 2147483647 358262 167 | 0.000 % |
441.30/441.66 c | 358711 | 7822 33437 101418 | 2147483647 358711 167 | 0.000 % |
442.49/442.81 c | 359205 | 7822 33437 101418 | 2147483647 359205 167 | 0.000 % |
443.69/444.08 c | 359747 | 7822 33437 101418 | 2147483647 359747 167 | 0.000 % |
445.10/445.44 c | 360343 | 7822 33437 101418 | 2147483647 360343 167 | 0.000 % |
446.50/446.85 c | 360999 | 7822 33437 101418 | 2147483647 360999 167 | 0.000 % |
448.09/448.44 c | 361720 | 7822 33437 101418 | 2147483647 361720 167 | 0.000 % |
449.79/450.18 c | 362512 | 7822 33437 101418 | 2147483647 362512 167 | 0.000 % |
451.89/452.21 c | 363384 | 7822 33437 101418 | 2147483647 363384 167 | 0.000 % |
454.09/454.44 c | 364343 | 7822 33437 101418 | 2147483647 364343 167 | 0.000 % |
456.29/456.69 c | 365397 | 7822 33437 101418 | 2147483647 365397 167 | 0.000 % |
458.79/459.15 c | 366555 | 7822 33437 101418 | 2147483647 366555 167 | 0.000 % |
461.79/462.18 c | 367828 | 7822 33437 101418 | 2147483647 367828 167 | 0.000 % |
464.99/465.32 c | 369228 | 7822 33437 101418 | 2147483647 369228 168 | 0.000 % |
468.19/468.54 c | 370768 | 7822 33437 101418 | 2147483647 370768 168 | 0.000 % |
471.59/471.98 c | 372464 | 7822 33437 101418 | 2147483647 372464 168 | 0.000 % |
475.69/476.01 c | 374327 | 7822 33437 101418 | 2147483647 374327 168 | 0.000 % |
480.18/480.53 c | 376376 | 7822 33437 101418 | 2147483647 376376 168 | 0.000 % |
485.07/485.43 c | 378630 | 7822 33437 101418 | 2147483647 378630 168 | 0.000 % |
490.78/491.18 c | 381111 | 7822 33437 101418 | 2147483647 381111 168 | 0.000 % |
496.68/497.02 c | 383836 | 7822 33437 101418 | 2147483647 383836 168 | 0.000 % |
503.17/503.56 c | 386833 | 7822 33437 101418 | 2147483647 386833 168 | 0.000 % |
510.36/510.71 c | 390130 | 7822 33437 101418 | 2147483647 390130 168 | 0.000 % |
517.96/518.36 c | 393755 | 7822 33437 101418 | 2147483647 393755 169 | 0.000 % |
518.26/518.65 c | 393855 | 7822 33437 101418 | 2147483647 393855 169 | 0.000 % |
518.56/518.99 c | 393966 | 7822 33437 101418 | 2147483647 393966 169 | 0.000 % |
518.96/519.39 c | 394088 | 7822 33437 101418 | 2147483647 394088 169 | 0.000 % |
519.47/519.82 c | 394222 | 7822 33437 101418 | 2147483647 394222 169 | 0.000 % |
519.87/520.26 c | 394370 | 7822 33437 101418 | 2147483647 394370 169 | 0.000 % |
520.37/520.76 c | 394530 | 7822 33437 101418 | 2147483647 394530 169 | 0.000 % |
520.97/521.34 c | 394708 | 7822 33437 101418 | 2147483647 394708 169 | 0.000 % |
521.47/521.85 c | 394901 | 7822 33437 101418 | 2147483647 394901 169 | 0.000 % |
522.07/522.44 c | 395115 | 7822 33437 101418 | 2147483647 395115 169 | 0.000 % |
522.76/523.10 c | 395350 | 7822 33437 101418 | 2147483647 395350 169 | 0.000 % |
523.46/523.80 c | 395610 | 7822 33437 101418 | 2147483647 395610 169 | 0.000 % |
524.26/524.62 c | 395891 | 7822 33437 101418 | 2147483647 395891 169 | 0.000 % |
524.96/525.39 c | 396203 | 7822 33437 101418 | 2147483647 396203 169 | 0.000 % |
525.86/526.25 c | 396543 | 7822 33437 101418 | 2147483647 396543 169 | 0.000 % |
526.96/527.31 c | 396917 | 7822 33437 101418 | 2147483647 396917 169 | 0.000 % |
527.96/528.39 c | 397326 | 7822 33437 101418 | 2147483647 397326 169 | 0.000 % |
529.25/529.61 c | 397775 | 7822 33437 101418 | 2147483647 397775 169 | 0.000 % |
530.55/530.92 c | 398269 | 7822 33437 101418 | 2147483647 398269 169 | 0.000 % |
531.85/532.29 c | 398813 | 7822 33437 101418 | 2147483647 398813 169 | 0.000 % |
533.46/533.83 c | 399409 | 7822 33437 101418 | 2147483647 399409 169 | 0.000 % |
535.15/535.52 c | 400064 | 7822 33437 101418 | 2147483647 400064 169 | 0.000 % |
536.95/537.38 c | 400784 | 7822 33437 101418 | 2147483647 400784 169 | 0.000 % |
538.95/539.31 c | 401576 | 7822 33437 101418 | 2147483647 401576 169 | 0.000 % |
541.15/541.59 c | 402447 | 7822 33437 101418 | 2147483647 402447 169 | 0.000 % |
543.65/544.09 c | 403407 | 7822 33437 101418 | 2147483647 403407 169 | 0.000 % |
546.36/546.74 c | 404462 | 7822 33437 101418 | 2147483647 404462 169 | 0.000 % |
549.05/549.46 c | 405620 | 7822 33437 101418 | 2147483647 405620 169 | 0.000 % |
551.95/552.38 c | 406893 | 7822 33437 101418 | 2147483647 406893 169 | 0.000 % |
555.34/555.75 c | 408295 | 7822 33437 101418 | 2147483647 408295 169 | 0.000 % |
559.15/559.59 c | 409836 | 7822 33437 101418 | 2147483647 409836 169 | 0.000 % |
563.14/563.55 c | 411531 | 7822 33437 101418 | 2147483647 411531 169 | 0.000 % |
567.64/568.02 c | 413394 | 7822 33437 101418 | 2147483647 413394 169 | 0.000 % |
572.72/573.17 c | 415446 | 7822 33437 101418 | 2147483647 415446 169 | 0.000 % |
578.21/578.63 c | 417700 | 7822 33437 101418 | 2147483647 417700 169 | 0.000 % |
583.71/584.18 c | 420179 | 7822 33437 101418 | 2147483647 420179 169 | 0.000 % |
590.00/590.46 c | 422904 | 7822 33437 101418 | 2147483647 422904 170 | 0.000 % |
597.10/597.51 c | 425901 | 7822 33437 101418 | 2147483647 425901 170 | 0.000 % |
605.10/605.54 c | 429198 | 7822 33437 101418 | 2147483647 429198 170 | 0.000 % |
613.40/613.89 c | 432824 | 7822 33437 101418 | 2147483647 432824 170 | 0.000 % |
623.39/623.81 c | 436811 | 7822 33437 101418 | 2147483647 436811 170 | 0.000 % |
623.69/624.10 c | 436914 | 7822 33437 101418 | 2147483647 436914 170 | 0.000 % |
623.98/624.48 c | 437025 | 7822 33437 101418 | 2147483647 437025 170 | 0.000 % |
624.49/624.99 c | 437147 | 7822 33437 101418 | 2147483647 437147 170 | 0.000 % |
624.99/625.46 c | 437280 | 7822 33437 101418 | 2147483647 437280 170 | 0.000 % |
625.50/625.91 c | 437427 | 7822 33437 101418 | 2147483647 437427 170 | 0.000 % |
625.99/626.43 c | 437588 | 7822 33437 101418 | 2147483647 437588 170 | 0.000 % |
626.60/627.07 c | 437765 | 7822 33437 101418 | 2147483647 437765 170 | 0.000 % |
627.19/627.65 c | 437958 | 7822 33437 101418 | 2147483647 437958 170 | 0.000 % |
627.89/628.33 c | 438170 | 7822 33437 101418 | 2147483647 438170 170 | 0.000 % |
628.59/629.04 c | 438404 | 7822 33437 101418 | 2147483647 438404 170 | 0.000 % |
629.39/629.85 c | 438660 | 7822 33437 101418 | 2147483647 438660 170 | 0.000 % |
630.19/630.67 c | 438946 | 7822 33437 101418 | 2147483647 438946 170 | 0.000 % |
631.09/631.57 c | 439255 | 7822 33437 101418 | 2147483647 439255 170 | 0.000 % |
632.09/632.51 c | 439594 | 7822 33437 101418 | 2147483647 439594 170 | 0.000 % |
633.19/633.63 c | 439966 | 7822 33437 101418 | 2147483647 439966 170 | 0.000 % |
634.29/634.76 c | 440375 | 7822 33437 101418 | 2147483647 440375 170 | 0.000 % |
635.58/636.09 c | 440824 | 7822 33437 101418 | 2147483647 440824 170 | 0.000 % |
636.98/637.40 c | 441320 | 7822 33437 101418 | 2147483647 441320 170 | 0.000 % |
638.49/638.94 c | 441862 | 7822 33437 101418 | 2147483647 441862 170 | 0.000 % |
639.98/640.49 c | 442458 | 7822 33437 101418 | 2147483647 442458 170 | 0.000 % |
641.99/642.44 c | 443113 | 7822 33437 101418 | 2147483647 443113 170 | 0.000 % |
643.98/644.41 c | 443836 | 7822 33437 101418 | 2147483647 443836 170 | 0.000 % |
646.18/646.60 c | 444629 | 7822 33437 101418 | 2147483647 444629 170 | 0.000 % |
648.48/648.92 c | 445500 | 7822 33437 101418 | 2147483647 445500 170 | 0.000 % |
651.28/651.75 c | 446458 | 7822 33437 101418 | 2147483647 446458 170 | 0.000 % |
654.28/654.73 c | 447513 | 7822 33437 101418 | 2147483647 447513 170 | 0.000 % |
657.67/658.12 c | 448671 | 7822 33437 101418 | 2147483647 448671 170 | 0.000 % |
660.97/661.47 c | 449944 | 7822 33437 101418 | 2147483647 449944 170 | 0.000 % |
664.98/665.43 c | 451344 | 7822 33437 101418 | 450001 451344 170 | 0.000 % |
668.97/669.44 c | 452888 | 7822 33437 101418 | 450001 397224 170 | 0.000 % |
672.77/673.21 c | 454583 | 7822 33437 101418 | 450001 398919 170 | 0.000 % |
677.17/677.66 c | 456446 | 7822 33437 101418 | 450001 400782 170 | 0.000 % |
682.37/682.81 c | 458496 | 7822 33437 101418 | 450001 402832 170 | 0.000 % |
687.36/687.88 c | 460749 | 7822 33437 101418 | 2147483647 405085 170 | 0.000 % |
693.36/693.83 c | 463227 | 7822 33437 101418 | 2147483647 407563 170 | 0.000 % |
699.86/700.39 c | 465953 | 7822 33437 101418 | 2147483647 410289 170 | 0.000 % |
706.65/707.19 c | 468950 | 7822 33437 101418 | 2147483647 413286 170 | 0.000 % |
714.05/714.59 c | 472247 | 7822 33437 101418 | 2147483647 416583 170 | 0.000 % |
722.35/722.81 c | 475874 | 7822 33437 101418 | 2147483647 420210 171 | 0.000 % |
731.74/732.28 c | 479861 | 7822 33437 101418 | 2147483647 424197 171 | 0.000 % |
742.05/742.50 c | 484247 | 7822 33437 101418 | 2147483647 428583 171 | 0.000 % |
742.24/742.78 c | 484347 | 7822 33437 101418 | 2147483647 428683 171 | 0.000 % |
742.64/743.19 c | 484459 | 7822 33437 101418 | 2147483647 428795 171 | 0.000 % |
743.05/743.60 c | 484580 | 7822 33437 101418 | 2147483647 428916 171 | 0.000 % |
743.54/744.08 c | 484717 | 7822 33437 101418 | 2147483647 429053 171 | 0.000 % |
744.04/744.52 c | 484863 | 7822 33437 101418 | 2147483647 429199 171 | 0.000 % |
744.64/745.10 c | 485024 | 7822 33437 101418 | 2147483647 429360 171 | 0.000 % |
745.14/745.70 c | 485200 | 7822 33437 101418 | 2147483647 429536 171 | 0.000 % |
745.84/746.36 c | 485396 | 7822 33437 101418 | 2147483647 429732 171 | 0.000 % |
746.64/747.10 c | 485608 | 7822 33437 101418 | 2147483647 429944 171 | 0.000 % |
747.23/747.76 c | 485841 | 7822 33437 101418 | 2147483647 430177 171 | 0.000 % |
748.03/748.52 c | 486097 | 7822 33437 101418 | 2147483647 430433 171 | 0.000 % |
748.93/749.44 c | 486380 | 7822 33437 101418 | 2147483647 430716 171 | 0.000 % |
749.93/750.41 c | 486691 | 7822 33437 101418 | 2147483647 431027 171 | 0.000 % |
750.83/751.36 c | 487030 | 7822 33437 101418 | 2147483647 431366 171 | 0.000 % |
752.03/752.50 c | 487402 | 7822 33437 101418 | 2147483647 431738 171 | 0.000 % |
753.23/753.70 c | 487812 | 7822 33437 101418 | 2147483647 432148 171 | 0.000 % |
754.33/754.87 c | 488261 | 7822 33437 101418 | 2147483647 432597 171 | 0.000 % |
755.82/756.30 c | 488755 | 7822 33437 101418 | 2147483647 433091 171 | 0.000 % |
757.33/757.86 c | 489298 | 7822 33437 101418 | 2147483647 433634 171 | 0.000 % |
758.92/759.44 c | 489894 | 7822 33437 101418 | 2147483647 434230 171 | 0.000 % |
760.73/761.22 c | 490550 | 7822 33437 101418 | 2147483647 434886 171 | 0.000 % |
762.83/763.34 c | 491271 | 7822 33437 101418 | 2147483647 435607 171 | 0.000 % |
765.12/765.62 c | 492064 | 7822 33437 101418 | 2147483647 436400 171 | 0.000 % |
767.52/768.09 c | 492937 | 7822 33437 101418 | 2147483647 437273 171 | 0.000 % |
770.02/770.58 c | 493895 | 7822 33437 101418 | 2147483647 438231 171 | 0.000 % |
772.82/773.39 c | 494948 | 7822 33437 101418 | 2147483647 439284 171 | 0.000 % |
776.02/776.58 c | 496107 | 7822 33437 101418 | 2147483647 440443 171 | 0.000 % |
779.42/779.90 c | 497381 | 7822 33437 101418 | 2147483647 441717 171 | 0.000 % |
783.01/783.59 c | 498783 | 7822 33437 101418 | 2147483647 443119 171 | 0.000 % |
787.01/787.59 c | 500325 | 7822 33437 101418 | 444336 444661 171 | 0.000 % |
791.41/791.98 c | 502019 | 7822 33437 101418 | 444336 401145 171 | 0.000 % |
796.20/796.72 c | 503882 | 7822 33437 101418 | 444336 403008 171 | 0.000 % |
801.20/801.76 c | 505932 | 7822 33437 101418 | 444336 405058 172 | 0.000 % |
806.70/807.22 c | 508185 | 7822 33437 101418 | 444336 407311 171 | 0.000 % |
812.20/812.73 c | 510663 | 7822 33437 101418 | 2147483647 409789 172 | 0.000 % |
818.59/819.10 c | 513389 | 7822 33437 101418 | 2147483647 412515 172 | 0.000 % |
825.39/825.98 c | 516386 | 7822 33437 101418 | 2147483647 415512 172 | 0.000 % |
833.09/833.65 c | 519682 | 7822 33437 101418 | 2147483647 418808 172 | 0.000 % |
841.99/842.55 c | 523308 | 7822 33437 101418 | 2147483647 422434 173 | 0.000 % |
851.78/852.30 c | 527295 | 7822 33437 101418 | 2147483647 426421 173 | 0.000 % |
861.78/862.35 c | 531681 | 7822 33437 101418 | 2147483647 430807 173 | 0.000 % |
873.07/873.69 c | 536504 | 7822 33437 101418 | 2147483647 435630 173 | 0.000 % |
873.57/874.15 c | 536605 | 7822 33437 101418 | 2147483647 435731 173 | 0.000 % |
873.97/874.53 c | 536716 | 7822 33437 101418 | 2147483647 435842 173 | 0.000 % |
874.37/874.93 c | 536838 | 7822 33437 101418 | 2147483647 435964 173 | 0.000 % |
874.77/875.37 c | 536971 | 7822 33437 101418 | 2147483647 436097 173 | 0.000 % |
875.27/875.83 c | 537119 | 7822 33437 101418 | 2147483647 436245 173 | 0.000 % |
875.77/876.33 c | 537279 | 7822 33437 101418 | 2147483647 436405 173 | 0.000 % |
876.26/876.87 c | 537455 | 7822 33437 101418 | 2147483647 436581 173 | 0.000 % |
876.86/877.47 c | 537649 | 7822 33437 101418 | 2147483647 436775 173 | 0.000 % |
877.46/878.00 c | 537863 | 7822 33437 101418 | 2147483647 436989 173 | 0.000 % |
878.06/878.69 c | 538096 | 7822 33437 101418 | 2147483647 437222 173 | 0.000 % |
878.96/879.54 c | 538353 | 7822 33437 101418 | 2147483647 437479 173 | 0.000 % |
879.86/880.42 c | 538635 | 7822 33437 101418 | 2147483647 437761 173 | 0.000 % |
880.76/881.34 c | 538945 | 7822 33437 101418 | 2147483647 438071 173 | 0.000 % |
881.76/882.39 c | 539286 | 7822 33437 101418 | 2147483647 438412 173 | 0.000 % |
882.86/883.49 c | 539658 | 7822 33437 101418 | 2147483647 438784 173 | 0.000 % |
883.96/884.51 c | 540067 | 7822 33437 101418 | 2147483647 439193 173 | 0.000 % |
885.26/885.82 c | 540518 | 7822 33437 101418 | 2147483647 439644 173 | 0.000 % |
886.66/887.22 c | 541011 | 7822 33437 101418 | 2147483647 440137 173 | 0.000 % |
888.35/888.97 c | 541553 | 7822 33437 101418 | 2147483647 440679 173 | 0.000 % |
890.15/890.71 c | 542152 | 7822 33437 101418 | 2147483647 441278 173 | 0.000 % |
892.05/892.62 c | 542809 | 7822 33437 101418 | 2147483647 441935 173 | 0.000 % |
893.95/894.59 c | 543529 | 7822 33437 101418 | 2147483647 442655 173 | 0.000 % |
896.15/896.79 c | 544321 | 7822 33437 101418 | 2147483647 443447 173 | 0.000 % |
898.55/899.11 c | 545192 | 7822 33437 101418 | 2147483647 444318 173 | 0.000 % |
901.05/901.65 c | 546151 | 7822 33437 101418 | 2147483647 445277 173 | 0.000 % |
903.95/904.58 c | 547204 | 7822 33437 101418 | 2147483647 446330 173 | 0.000 % |
906.84/907.42 c | 548363 | 7822 33437 101418 | 2147483647 447489 173 | 0.000 % |
910.05/910.65 c | 549638 | 7822 33437 101418 | 2147483647 448764 173 | 0.000 % |
913.74/914.32 c | 551038 | 7822 33437 101418 | 449128 450164 173 | 0.000 % |
918.24/918.80 c | 552579 | 7822 33437 101418 | 449128 402794 174 | 0.000 % |
922.24/922.84 c | 554273 | 7822 33437 101418 | 449128 404488 174 | 0.000 % |
926.44/927.00 c | 556138 | 7822 33437 101418 | 449128 406353 174 | 0.000 % |
931.53/932.14 c | 558187 | 7822 33437 101418 | 449128 408402 174 | 0.000 % |
936.63/937.28 c | 560440 | 7822 33437 101418 | 2147483647 410655 174 | 0.000 % |
942.63/943.20 c | 562918 | 7822 33437 101418 | 2147483647 413133 175 | 0.000 % |
949.12/949.73 c | 565644 | 7822 33437 101418 | 2147483647 415859 175 | 0.000 % |
956.02/956.60 c | 568641 | 7822 33437 101418 | 2147483647 418856 175 | 0.000 % |
963.92/964.53 c | 571938 | 7822 33437 101418 | 2147483647 422153 175 | 0.000 % |
972.51/973.18 c | 575563 | 7822 33437 101418 | 2147483647 425778 175 | 0.000 % |
982.30/982.97 c | 579550 | 7822 33437 101418 | 2147483647 429765 176 | 0.000 % |
992.80/993.50 c | 583935 | 7822 33437 101418 | 2147483647 434150 176 | 0.000 % |
1004.60/1005.24 c | 588760 | 7822 33437 101418 | 2147483647 438975 176 | 0.000 % |
1017.39/1018.03 c | 594065 | 7822 33437 101418 | 2147483647 444280 176 | 0.000 % |
1017.79/1018.49 c | 594165 | 7822 33437 101418 | 2147483647 444380 176 | 0.000 % |
1018.20/1018.87 c | 594276 | 7822 33437 101418 | 2147483647 444491 176 | 0.000 % |
1018.60/1019.29 c | 594397 | 7822 33437 101418 | 2147483647 444612 176 | 0.000 % |
1019.10/1019.71 c | 594532 | 7822 33437 101418 | 2147483647 444747 176 | 0.000 % |
1019.60/1020.27 c | 594678 | 7822 33437 101418 | 2147483647 444893 176 | 0.000 % |
1020.10/1020.78 c | 594838 | 7822 33437 101418 | 2147483647 445053 176 | 0.000 % |
1020.79/1021.40 c | 595017 | 7822 33437 101418 | 2147483647 445232 176 | 0.000 % |
1021.49/1022.12 c | 595212 | 7822 33437 101418 | 2147483647 445427 176 | 0.000 % |
1022.19/1022.80 c | 595427 | 7822 33437 101418 | 2147483647 445642 176 | 0.000 % |
1022.89/1023.56 c | 595663 | 7822 33437 101418 | 2147483647 445878 176 | 0.000 % |
1023.69/1024.33 c | 595924 | 7822 33437 101418 | 2147483647 446139 176 | 0.000 % |
1024.59/1025.24 c | 596205 | 7822 33437 101418 | 2147483647 446420 176 | 0.000 % |
1025.59/1026.20 c | 596515 | 7822 33437 101418 | 2147483647 446730 176 | 0.000 % |
1026.79/1027.45 c | 596854 | 7822 33437 101418 | 2147483647 447069 176 | 0.000 % |
1027.99/1028.63 c | 597227 | 7822 33437 101418 | 2147483647 447442 176 | 0.000 % |
1029.18/1029.83 c | 597636 | 7822 33437 101418 | 2147483647 447851 176 | 0.000 % |
1030.48/1031.10 c | 598085 | 7822 33437 101418 | 2147483647 448300 176 | 0.000 % |
1031.88/1032.53 c | 598578 | 7822 33437 101418 | 2147483647 448793 176 | 0.000 % |
1033.58/1034.22 c | 599123 | 7822 33437 101418 | 2147483647 449338 176 | 0.000 % |
1035.29/1035.95 c | 599721 | 7822 33437 101418 | 2147483647 449936 176 | 0.000 % |
1037.09/1037.73 c | 600376 | 7822 33437 101418 | 450215 450591 176 | 0.000 % |
1039.39/1040.08 c | 601097 | 7822 33437 101418 | 450215 399625 176 | 0.000 % |
1041.69/1042.33 c | 601889 | 7822 33437 101418 | 450215 400417 176 | 0.000 % |
1043.78/1044.41 c | 602760 | 7822 33437 101418 | 450215 401288 176 | 0.000 % |
1046.08/1046.77 c | 603719 | 7822 33437 101418 | 450215 402247 176 | 0.000 % |
1048.79/1049.40 c | 604772 | 7822 33437 101418 | 450215 403300 176 | 0.000 % |
1051.68/1052.35 c | 605930 | 7822 33437 101418 | 450215 404458 176 | 0.000 % |
1054.88/1055.54 c | 607203 | 7822 33437 101418 | 450215 405731 176 | 0.000 % |
1058.28/1058.90 c | 608603 | 7822 33437 101418 | 450215 407131 176 | 0.000 % |
1061.58/1062.27 c | 610143 | 7822 33437 101418 | 2147483647 408671 176 | 0.000 % |
1065.57/1066.28 c | 611838 | 7822 33437 101418 | 2147483647 410366 177 | 0.000 % |
1069.87/1070.59 c | 613701 | 7822 33437 101418 | 2147483647 412229 177 | 0.000 % |
1074.87/1075.50 c | 615751 | 7822 33437 101418 | 2147483647 414279 177 | 0.000 % |
1080.37/1081.01 c | 618005 | 7822 33437 101418 | 2147483647 416533 177 | 0.000 % |
1086.86/1087.53 c | 620483 | 7822 33437 101418 | 2147483647 419011 177 | 0.000 % |
1093.46/1094.18 c | 623208 | 7822 33437 101418 | 2147483647 421736 177 | 0.000 % |
1100.36/1101.08 c | 626205 | 7822 33437 101418 | 2147483647 424733 177 | 0.000 % |
1108.45/1109.14 c | 629502 | 7822 33437 101418 | 2147483647 428030 177 | 0.000 % |
1117.84/1118.53 c | 633127 | 7822 33437 101418 | 2147483647 431655 177 | 0.000 % |
1127.74/1128.50 c | 637114 | 7822 33437 101418 | 2147483647 435642 177 | 0.000 % |
1138.64/1139.40 c | 641501 | 7822 33437 101418 | 2147483647 440029 177 | 0.000 % |
1150.83/1151.58 c | 646324 | 7822 33437 101418 | 2147483647 444852 177 | 0.000 % |
1163.03/1163.71 c | 651629 | 7822 33437 101418 | 2147483647 450157 178 | 0.000 % |
1177.33/1178.05 c | 657466 | 7822 33437 101418 | 2147483647 455994 178 | 0.000 % |
1177.72/1178.48 c | 657566 | 7822 33437 101418 | 2147483647 456094 178 | 0.000 % |
1178.22/1178.91 c | 657676 | 7822 33437 101418 | 2147483647 456204 178 | 0.000 % |
1178.62/1179.37 c | 657798 | 7822 33437 101418 | 2147483647 456326 178 | 0.000 % |
1179.02/1179.74 c | 657931 | 7822 33437 101418 | 2147483647 456459 178 | 0.000 % |
1179.42/1180.18 c | 658079 | 7822 33437 101418 | 2147483647 456607 178 | 0.000 % |
1180.12/1180.85 c | 658239 | 7822 33437 101418 | 2147483647 456767 178 | 0.000 % |
1180.62/1181.40 c | 658418 | 7822 33437 101418 | 2147483647 456946 178 | 0.000 % |
1181.32/1182.04 c | 658613 | 7822 33437 101418 | 2147483647 457141 178 | 0.000 % |
1182.02/1182.78 c | 658826 | 7822 33437 101418 | 2147483647 457354 178 | 0.000 % |
1182.82/1183.56 c | 659062 | 7822 33437 101418 | 2147483647 457590 178 | 0.000 % |
1183.72/1184.46 c | 659318 | 7822 33437 101418 | 2147483647 457846 178 | 0.000 % |
1184.62/1185.31 c | 659599 | 7822 33437 101418 | 2147483647 458127 178 | 0.000 % |
1185.72/1186.40 c | 659908 | 7822 33437 101418 | 2147483647 458436 178 | 0.000 % |
1186.61/1187.34 c | 660247 | 7822 33437 101418 | 458528 458775 178 | 0.000 % |
1188.21/1188.93 c | 660620 | 7822 33437 101418 | 458528 410401 178 | 0.000 % |
1189.31/1190.09 c | 661030 | 7822 33437 101418 | 458528 410811 178 | 0.000 % |
1190.71/1191.44 c | 661480 | 7822 33437 101418 | 458528 411261 178 | 0.000 % |
1192.21/1192.90 c | 661973 | 7822 33437 101418 | 458528 411754 178 | 0.000 % |
1193.61/1194.35 c | 662515 | 7822 33437 101418 | 458528 412296 178 | 0.000 % |
1195.31/1196.07 c | 663111 | 7822 33437 101418 | 458528 412892 178 | 0.000 % |
1197.21/1197.91 c | 663766 | 7822 33437 101418 | 458528 413547 178 | 0.000 % |
1199.10/1199.82 c | 664486 | 7822 33437 101418 | 458528 414267 178 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832695-1242786363/watcher-1832695-1242786363 -o /tmp/evaluation-result-1832695-1242786363/solver-1832695-1242786363 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832695-1242786363.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 1489
/proc/meminfo: memFree=1705040/2055920 swapFree=4124168/4192956
[pid=1489] ppid=1487 vsize=5356 CPUtime=0
/proc/1489/stat : 1489 (SatELiteGTI) R 1487 1489 888 0 -1 4194304 279 249 0 0 0 0 0 0 18 0 1 0 306665992 5484544 236 1992294400 4194304 4889804 548682068832 18446744073709551615 4408712 0 0 4100 65538 0 0 0 17 0 0 0
/proc/1489/statm: 1339 236 196 169 0 50 0
[startup+0.0679971 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 1489
/proc/meminfo: memFree=1705040/2055920 swapFree=4124168/4192956
[pid=1489] ppid=1487 vsize=5356 CPUtime=0
/proc/1489/stat : 1489 (SatELiteGTI) S 1487 1489 888 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306665992 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1489/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102998 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 1489
/proc/meminfo: memFree=1705040/2055920 swapFree=4124168/4192956
[pid=1489] ppid=1487 vsize=5356 CPUtime=0
/proc/1489/stat : 1489 (SatELiteGTI) S 1487 1489 888 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306665992 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1489/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302013 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 1489
/proc/meminfo: memFree=1705040/2055920 swapFree=4124168/4192956
[pid=1489] ppid=1487 vsize=5356 CPUtime=0.13
/proc/1489/stat : 1489 (SatELiteGTI) S 1487 1489 888 0 -1 4194304 336 1324 0 0 0 0 12 1 15 0 1 0 306665992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1489/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 5356
[startup+0.701058 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 1489
/proc/meminfo: memFree=1705040/2055920 swapFree=4124168/4192956
[pid=1489] ppid=1487 vsize=5356 CPUtime=0.13
/proc/1489/stat : 1489 (SatELiteGTI) S 1487 1489 888 0 -1 4194304 336 1324 0 0 0 0 12 1 15 0 1 0 306665992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1489/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 5356
[startup+1.50215 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 1495
/proc/meminfo: memFree=1699328/2055920 swapFree=4124168/4192956
[pid=1489] ppid=1487 vsize=5356 CPUtime=0.13
/proc/1489/stat : 1489 (SatELiteGTI) S 1487 1489 888 0 -1 4194304 336 1324 0 0 0 0 12 1 15 0 1 0 306665992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1489/statm: 1339 239 197 169 0 50 0
[pid=1495] ppid=1489 vsize=7136 CPUtime=1.35
/proc/1495/stat : 1495 (minisat_static) R 1489 1489 888 0 -1 4194304 1554 0 0 0 134 1 0 0 25 0 1 0 306666006 7307264 1540 1992294400 134512640 135215339 4294956240 18446744073709551615 134529148 0 0 4096 3 0 0 0 17 0 0 0
/proc/1495/statm: 1784 1540 77 171 0 1611 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 12492
[startup+3.10133 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 1495
/proc/meminfo: memFree=1696832/2055920 swapFree=4124168/4192956
[pid=1489] ppid=1487 vsize=5356 CPUtime=0.13
/proc/1489/stat : 1489 (SatELiteGTI) S 1487 1489 888 0 -1 4194304 336 1324 0 0 0 0 12 1 15 0 1 0 306665992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1489/statm: 1339 239 197 169 0 50 0
[pid=1495] ppid=1489 vsize=10436 CPUtime=2.94
/proc/1495/stat : 1495 (minisat_static) R 1489 1489 888 0 -1 4194304 2395 0 0 0 292 2 0 0 25 0 1 0 306666006 10686464 2381 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1495/statm: 2609 2381 77 171 0 2436 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15792
[startup+6.30169 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 1495
/proc/meminfo: memFree=1690368/2055920 swapFree=4124168/4192956
[pid=1489] ppid=1487 vsize=5356 CPUtime=0.13
/proc/1489/stat : 1489 (SatELiteGTI) S 1487 1489 888 0 -1 4194304 336 1324 0 0 0 0 12 1 15 0 1 0 306665992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1489/statm: 1339 239 197 169 0 50 0
[pid=1495] ppid=1489 vsize=16160 CPUtime=6.13
/proc/1495/stat : 1495 (minisat_static) R 1489 1489 888 0 -1 4194304 3805 0 0 0 610 3 0 0 25 0 1 0 306666006 16547840 3791 1992294400 134512640 135215339 4294956240 18446744073709551615 134539403 0 0 4096 3 0 0 0 17 0 0 0
/proc/1495/statm: 4040 3791 77 171 0 3867 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 21516
[startup+12.7014 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 1495
/proc/meminfo: memFree=1680128/2055920 swapFree=4124168/4192956
[pid=1489] ppid=1487 vsize=5356 CPUtime=0.13
/proc/1489/stat : 1489 (SatELiteGTI) S 1487 1489 888 0 -1 4194304 336 1324 0 0 0 0 12 1 15 0 1 0 306665992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1489/statm: 1339 239 197 169 0 50 0
[pid=1495] ppid=1489 vsize=25828 CPUtime=12.53
/proc/1495/stat : 1495 (minisat_static) R 1489 1489 888 0 -1 4194304 6247 0 0 0 1247 6 0 0 25 0 1 0 306666006 26447872 6233 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 0 0 0
/proc/1495/statm: 6457 6233 77 171 0 6284 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 31184
[startup+25.5019 s]
/proc/loadavg: 0.95 0.98 0.99 2/67 1495
/proc/meminfo: memFree=1663936/2055920 swapFree=4124168/4192956
[pid=1489] ppid=1487 vsize=5356 CPUtime=0.13
/proc/1489/stat : 1489 (SatELiteGTI) S 1487 1489 888 0 -1 4194304 336 1324 0 0 0 0 12 1 15 0 1 0 306665992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1489/statm: 1339 239 197 169 0 50 0
[pid=1495] ppid=1489 vsize=41484 CPUtime=25.31
/proc/1495/stat : 1495 (minisat_static) R 1489 1489 888 0 -1 4194304 10144 0 0 0 2522 9 0 0 25 0 1 0 306666006 42479616 10130 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/1495/statm: 10371 10130 77 171 0 10198 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 46840
[startup+51.1018 s]
/proc/loadavg: 0.96 0.98 0.99 2/67 1495
/proc/meminfo: memFree=1640448/2055920 swapFree=4124168/4192956
[pid=1489] ppid=1487 vsize=5356 CPUtime=0.13
/proc/1489/stat : 1489 (SatELiteGTI) S 1487 1489 888 0 -1 4194304 336 1324 0 0 0 0 12 1 15 0 1 0 306665992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1489/statm: 1339 239 197 169 0 50 0
[pid=1495] ppid=1489 vsize=65148 CPUtime=50.88
/proc/1495/stat : 1495 (minisat_static) R 1489 1489 888 0 -1 4194304 16033 0 0 0 5072 16 0 0 25 0 1 0 306666006 66711552 16019 1992294400 134512640 135215339 4294956240 18446744073709551615 134528899 0 0 4096 3 0 0 0 17 0 0 0
/proc/1495/statm: 16287 16019 77 171 0 16114 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 70504
[startup+102.306 s]
/proc/loadavg: 1.02 1.00 1.00 2/67 1495
/proc/meminfo: memFree=1602368/2055920 swapFree=4124168/4192956
[pid=1489] ppid=1487 vsize=5356 CPUtime=0.13
/proc/1489/stat : 1489 (SatELiteGTI) S 1487 1489 888 0 -1 4194304 336 1324 0 0 0 0 12 1 15 0 1 0 306665992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1489/statm: 1339 239 197 169 0 50 0
[pid=1495] ppid=1489 vsize=102640 CPUtime=102.06
/proc/1495/stat : 1495 (minisat_static) R 1489 1489 888 0 -1 4194304 25381 0 0 0 10177 29 0 0 25 0 1 0 306666006 105103360 25367 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/1495/statm: 25660 25367 77 171 0 25487 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 107996
[startup+162.301 s]
/proc/loadavg: 1.04 1.01 1.00 2/67 1495
/proc/meminfo: memFree=1568896/2055920 swapFree=4124168/4192956
[pid=1489] ppid=1487 vsize=5356 CPUtime=0.13
/proc/1489/stat : 1489 (SatELiteGTI) S 1487 1489 888 0 -1 4194304 336 1324 0 0 0 0 12 1 15 0 1 0 306665992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1489/statm: 1339 239 197 169 0 50 0
[pid=1495] ppid=1489 vsize=136164 CPUtime=162.02
/proc/1495/stat : 1495 (minisat_static) R 1489 1489 888 0 -1 4194304 33813 0 0 0 16163 39 0 0 25 0 1 0 306666006 139431936 33799 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/1495/statm: 34041 33799 77 171 0 33868 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 141520
[startup+222.301 s]
/proc/loadavg: 1.12 1.04 1.01 2/67 1495
/proc/meminfo: memFree=1539264/2055920 swapFree=4124168/4192956
[pid=1489] ppid=1487 vsize=5356 CPUtime=0.13
/proc/1489/stat : 1489 (SatELiteGTI) S 1487 1489 888 0 -1 4194304 336 1324 0 0 0 0 12 1 15 0 1 0 306665992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1489/statm: 1339 239 197 169 0 50 0
[pid=1495] ppid=1489 vsize=165612 CPUtime=221.98
/proc/1495/stat : 1495 (minisat_static) R 1489 1489 888 0 -1 4194304 41097 0 0 0 22150 48 0 0 25 0 1 0 306666006 169586688 41083 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/1495/statm: 41403 41083 77 171 0 41230 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 170968
[startup+282.302 s]
/proc/loadavg: 1.12 1.04 1.00 2/67 1495
/proc/meminfo: memFree=1513024/2055920 swapFree=4124168/4192956
[pid=1489] ppid=1487 vsize=5356 CPUtime=0.13
/proc/1489/stat : 1489 (SatELiteGTI) S 1487 1489 888 0 -1 4194304 336 1324 0 0 0 0 12 1 15 0 1 0 306665992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1489/statm: 1339 239 197 169 0 50 0
[pid=1495] ppid=1489 vsize=191748 CPUtime=281.95
/proc/1495/stat : 1495 (minisat_static) R 1489 1489 888 0 -1 4194304 47688 0 0 0 28139 56 0 0 25 0 1 0 306666006 196349952 47674 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1495/statm: 47937 47674 77 171 0 47764 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 197104
[startup+342.302 s]
/proc/loadavg: 1.11 1.05 1.00 2/67 1495
/proc/meminfo: memFree=1486720/2055920 swapFree=4124168/4192956
[pid=1489] ppid=1487 vsize=5356 CPUtime=0.13
/proc/1489/stat : 1489 (SatELiteGTI) S 1487 1489 888 0 -1 4194304 336 1324 0 0 0 0 12 1 15 0 1 0 306665992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1489/statm: 1339 239 197 169 0 50 0
[pid=1495] ppid=1489 vsize=217488 CPUtime=341.92
/proc/1495/stat : 1495 (minisat_static) R 1489 1489 888 0 -1 4194304 54154 0 0 0 34128 64 0 0 25 0 1 0 306666006 222707712 54140 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1495/statm: 54372 54140 77 171 0 54199 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 222844
[startup+402.301 s]
/proc/loadavg: 1.17 1.08 1.01 2/67 1495
/proc/meminfo: memFree=1465472/2055920 swapFree=4124168/4192956
[pid=1489] ppid=1487 vsize=5356 CPUtime=0.13
/proc/1489/stat : 1489 (SatELiteGTI) S 1487 1489 888 0 -1 4194304 336 1324 0 0 0 0 12 1 15 0 1 0 306665992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1489/statm: 1339 239 197 169 0 50 0
[pid=1495] ppid=1489 vsize=239608 CPUtime=401.89
/proc/1495/stat : 1495 (minisat_static) R 1489 1489 888 0 -1 4194304 59544 0 0 0 40118 71 0 0 25 0 1 0 306666006 245358592 59530 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 0 0 0
/proc/1495/statm: 59902 59530 77 171 0 59729 0
Current children cumulated CPU time (s) 402.02
Current children cumulated vsize (KiB) 244964
[startup+462.301 s]
################
# More data... #
################
/proc/1495/statm: 74587 74305 77 171 0 74414 0
Current children cumulated CPU time (s) 581.91
Current children cumulated vsize (KiB) 303704
[startup+642.301 s]
/proc/loadavg: 1.04 1.09 1.02 2/67 1495
/proc/meminfo: memFree=1387840/2055920 swapFree=4124168/4192956
[pid=1489] ppid=1487 vsize=5356 CPUtime=0.13
/proc/1489/stat : 1489 (SatELiteGTI) S 1487 1489 888 0 -1 4194304 336 1324 0 0 0 0 12 1 15 0 1 0 306665992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1489/statm: 1339 239 197 169 0 50 0
[pid=1495] ppid=1489 vsize=315772 CPUtime=641.76
/proc/1495/stat : 1495 (minisat_static) R 1489 1489 888 0 -1 4194304 78708 0 0 0 64083 93 0 0 25 0 1 0 306666006 323350528 78694 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 0 0 0
/proc/1495/statm: 78943 78694 77 171 0 78770 0
Current children cumulated CPU time (s) 641.89
Current children cumulated vsize (KiB) 321128
[startup+702.301 s]
/proc/loadavg: 1.06 1.08 1.02 2/67 1495
/proc/meminfo: memFree=1381696/2055920 swapFree=4124168/4192956
[pid=1489] ppid=1487 vsize=5356 CPUtime=0.13
/proc/1489/stat : 1489 (SatELiteGTI) S 1487 1489 888 0 -1 4194304 336 1324 0 0 0 0 12 1 15 0 1 0 306665992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1489/statm: 1339 239 197 169 0 50 0
[pid=1495] ppid=1489 vsize=321712 CPUtime=701.73
/proc/1495/stat : 1495 (minisat_static) R 1489 1489 888 0 -1 4194304 80191 0 0 0 70078 95 0 0 25 0 1 0 306666006 329433088 80177 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/1495/statm: 80428 80177 77 171 0 80255 0
Current children cumulated CPU time (s) 701.86
Current children cumulated vsize (KiB) 327068
[startup+762.306 s]
/proc/loadavg: 1.02 1.07 1.02 2/67 1495
/proc/meminfo: memFree=1381568/2055920 swapFree=4124168/4192956
[pid=1489] ppid=1487 vsize=5356 CPUtime=0.13
/proc/1489/stat : 1489 (SatELiteGTI) S 1487 1489 888 0 -1 4194304 336 1324 0 0 0 0 12 1 15 0 1 0 306665992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1489/statm: 1339 239 197 169 0 50 0
[pid=1495] ppid=1489 vsize=321712 CPUtime=761.7
/proc/1495/stat : 1495 (minisat_static) R 1489 1489 888 0 -1 4194304 80191 0 0 0 76075 95 0 0 25 0 1 0 306666006 329433088 80177 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1495/statm: 80428 80177 77 171 0 80255 0
Current children cumulated CPU time (s) 761.83
Current children cumulated vsize (KiB) 327068
[startup+822.302 s]
/proc/loadavg: 1.00 1.05 1.01 2/67 1495
/proc/meminfo: memFree=1381568/2055920 swapFree=4124168/4192956
[pid=1489] ppid=1487 vsize=5356 CPUtime=0.13
/proc/1489/stat : 1489 (SatELiteGTI) S 1487 1489 888 0 -1 4194304 336 1324 0 0 0 0 12 1 15 0 1 0 306665992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1489/statm: 1339 239 197 169 0 50 0
[pid=1495] ppid=1489 vsize=321712 CPUtime=821.66
/proc/1495/stat : 1495 (minisat_static) R 1489 1489 888 0 -1 4194304 80191 0 0 0 82071 95 0 0 25 0 1 0 306666006 329433088 80177 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/1495/statm: 80428 80177 77 171 0 80255 0
Current children cumulated CPU time (s) 821.79
Current children cumulated vsize (KiB) 327068
[startup+882.301 s]
/proc/loadavg: 1.00 1.04 1.01 2/67 1495
/proc/meminfo: memFree=1381568/2055920 swapFree=4124168/4192956
[pid=1489] ppid=1487 vsize=5356 CPUtime=0.13
/proc/1489/stat : 1489 (SatELiteGTI) S 1487 1489 888 0 -1 4194304 336 1324 0 0 0 0 12 1 15 0 1 0 306665992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1489/statm: 1339 239 197 169 0 50 0
[pid=1495] ppid=1489 vsize=321712 CPUtime=881.63
/proc/1495/stat : 1495 (minisat_static) R 1489 1489 888 0 -1 4194304 80191 0 0 0 88068 95 0 0 25 0 1 0 306666006 329433088 80177 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/1495/statm: 80428 80177 77 171 0 80255 0
Current children cumulated CPU time (s) 881.76
Current children cumulated vsize (KiB) 327068
[startup+942.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/67 1495
/proc/meminfo: memFree=1375104/2055920 swapFree=4124168/4192956
[pid=1489] ppid=1487 vsize=5356 CPUtime=0.13
/proc/1489/stat : 1489 (SatELiteGTI) S 1487 1489 888 0 -1 4194304 336 1324 0 0 0 0 12 1 15 0 1 0 306665992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1489/statm: 1339 239 197 169 0 50 0
[pid=1495] ppid=1489 vsize=328048 CPUtime=941.6
/proc/1495/stat : 1495 (minisat_static) R 1489 1489 888 0 -1 4194304 81777 0 0 0 94063 97 0 0 25 0 1 0 306666006 335921152 81763 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1495/statm: 82012 81763 77 171 0 81839 0
Current children cumulated CPU time (s) 941.73
Current children cumulated vsize (KiB) 333404
[startup+1002.3 s]
/proc/loadavg: 1.06 1.04 1.00 2/67 1495
/proc/meminfo: memFree=1374976/2055920 swapFree=4124168/4192956
[pid=1489] ppid=1487 vsize=5356 CPUtime=0.13
/proc/1489/stat : 1489 (SatELiteGTI) S 1487 1489 888 0 -1 4194304 336 1324 0 0 0 0 12 1 15 0 1 0 306665992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1489/statm: 1339 239 197 169 0 50 0
[pid=1495] ppid=1489 vsize=328048 CPUtime=1001.57
/proc/1495/stat : 1495 (minisat_static) R 1489 1489 888 0 -1 4194304 81777 0 0 0 100060 97 0 0 25 0 1 0 306666006 335921152 81763 1992294400 134512640 135215339 4294956240 18446744073709551615 134538977 0 0 4096 3 0 0 0 17 0 0 0
/proc/1495/statm: 82012 81763 77 171 0 81839 0
Current children cumulated CPU time (s) 1001.7
Current children cumulated vsize (KiB) 333404
[startup+1062.3 s]
/proc/loadavg: 1.02 1.03 1.00 2/67 1496
/proc/meminfo: memFree=1369344/2055920 swapFree=4124168/4192956
[pid=1489] ppid=1487 vsize=5356 CPUtime=0.13
/proc/1489/stat : 1489 (SatELiteGTI) S 1487 1489 888 0 -1 4194304 336 1324 0 0 0 0 12 1 15 0 1 0 306665992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1489/statm: 1339 239 197 169 0 50 0
[pid=1495] ppid=1489 vsize=333460 CPUtime=1061.55
/proc/1495/stat : 1495 (minisat_static) R 1489 1489 888 0 -1 4194304 83122 0 0 0 106056 99 0 0 25 0 1 0 306666006 341463040 83108 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1495/statm: 83365 83108 77 171 0 83192 0
Current children cumulated CPU time (s) 1061.68
Current children cumulated vsize (KiB) 338816
[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/67 1497
/proc/meminfo: memFree=1369152/2055920 swapFree=4124168/4192956
[pid=1489] ppid=1487 vsize=5356 CPUtime=0.13
/proc/1489/stat : 1489 (SatELiteGTI) S 1487 1489 888 0 -1 4194304 336 1324 0 0 0 0 12 1 15 0 1 0 306665992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1489/statm: 1339 239 197 169 0 50 0
[pid=1495] ppid=1489 vsize=333460 CPUtime=1121.51
/proc/1495/stat : 1495 (minisat_static) R 1489 1489 888 0 -1 4194304 83122 0 0 0 112052 99 0 0 25 0 1 0 306666006 341463040 83108 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/1495/statm: 83365 83108 77 171 0 83192 0
Current children cumulated CPU time (s) 1121.64
Current children cumulated vsize (KiB) 338816
[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/67 1497
/proc/meminfo: memFree=1360640/2055920 swapFree=4124168/4192956
[pid=1489] ppid=1487 vsize=5356 CPUtime=0.13
/proc/1489/stat : 1489 (SatELiteGTI) S 1487 1489 888 0 -1 4194304 336 1324 0 0 0 0 12 1 15 0 1 0 306665992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1489/statm: 1339 239 197 169 0 50 0
[pid=1495] ppid=1489 vsize=342172 CPUtime=1181.49
/proc/1495/stat : 1495 (minisat_static) R 1489 1489 888 0 -1 4194304 85318 0 0 0 118047 102 0 0 25 0 1 0 306666006 350384128 85304 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/1495/statm: 85543 85304 77 171 0 85370 0
Current children cumulated CPU time (s) 1181.62
Current children cumulated vsize (KiB) 347528
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 1497
/proc/meminfo: memFree=1359488/2055920 swapFree=4124168/4192956
[pid=1489] ppid=1487 vsize=5356 CPUtime=0.13
/proc/1489/stat : 1489 (SatELiteGTI) S 1487 1489 888 0 -1 4194304 336 1324 0 0 0 0 12 1 15 0 1 0 306665992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1489/statm: 1339 239 197 169 0 50 0
[pid=1495] ppid=1489 vsize=343228 CPUtime=1199.88
/proc/1495/stat : 1495 (minisat_static) R 1489 1489 888 0 -1 4194304 85569 0 0 0 119886 102 0 0 25 0 1 0 306666006 351465472 85555 1992294400 134512640 135215339 4294956240 18446744073709551615 134528568 0 0 4096 3 0 0 0 17 0 0 0
/proc/1495/statm: 85807 85555 77 171 0 85634 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 348584
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 1497
/proc/meminfo: memFree=1359488/2055920 swapFree=4124168/4192956
[pid=1489] ppid=1487 vsize=5356 CPUtime=0.13
/proc/1489/stat : 1489 (SatELiteGTI) S 1487 1489 888 0 -1 4194304 336 1324 0 0 0 0 12 1 15 0 1 0 306665992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1489/statm: 1339 239 197 169 0 50 0
[pid=1495] ppid=1489 vsize=343228 CPUtime=1199.88
/proc/1495/stat : 1495 (minisat_static) R 1489 1489 888 0 -1 4194304 85569 0 0 0 119886 102 0 0 25 0 1 0 306666006 351465472 85555 1992294400 134512640 135215339 4294956240 18446744073709551615 134528568 0 0 4096 3 0 0 0 17 0 0 0
/proc/1495/statm: 85807 85555 77 171 0 85634 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 348584
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1489 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=121981
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=16997
# CPU time returned by wait4() is 0.138978
# 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.71
CPU time (s): 1200.01
CPU user time (s): 1198.98
CPU system time (s): 1.03
CPU usage (%): 99.9416
Max. virtual memory (cumulated for all children) (KiB): 348584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.121981
system time used= 0.016997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1660
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= 12
involuntary context switches= 9
runsolver used 1.21881 second user time and 3.2625 second system time
The end
Begin job on node85 at 2009-05-20 04:26:03
IDJOB=1832695
IDBENCH=70311
IDSOLVER=671
FILE ID=node85/1832695-1242786363
PBS_JOBID= 9322370
Free space on /tmp= 126512 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/8000/unif-k3-r4.2-v8000-c33600-S2044894925-062.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832695-1242786363/watcher-1832695-1242786363 -o /tmp/evaluation-result-1832695-1242786363/solver-1832695-1242786363 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832695-1242786363.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e2770daa493ba034d910db34ba341508
RANDOM SEED=1299031597
node85.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.238
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.238
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1705584 kB
Buffers: 31484 kB
Cached: 209780 kB
SwapCached: 63444 kB
Active: 82948 kB
Inactive: 223788 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1705584 kB
SwapTotal: 4192956 kB
SwapFree: 4124168 kB
Dirty: 2180 kB
Writeback: 0 kB
Mapped: 14040 kB
Slab: 29684 kB
Committed_AS: 946536 kB
PageTables: 1376 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 126508 MiB
End job on node85 at 2009-05-20 04:46:06