339.70/339.75	c WARNING: for repeatability, setting FPU to use double precision
339.70/339.75	c iter 1 time 212.784 not-muc 671 unknown 5112 muc 0
339.70/339.75	c iter 2 time 216.123 not-muc 671 unknown 5111 muc 1
339.70/339.75	c iter 3 time 216.166 not-muc 671 unknown 5110 muc 2
339.70/339.75	c iter 4 time 217.459 not-muc 671 unknown 5109 muc 3
339.70/339.75	c iter 5 time 217.489 not-muc 671 unknown 5108 muc 4
339.70/339.75	c iter 6 time 217.491 not-muc 671 unknown 5107 muc 5
339.70/339.75	c iter 7 time 219.457 not-muc 671 unknown 5106 muc 6
339.70/339.75	c iter 8 time 219.491 not-muc 671 unknown 5105 muc 7
339.70/339.75	c iter 9 time 220.166 not-muc 671 unknown 5104 muc 8
339.70/339.75	c iter 10 time 225.865 not-muc 741 unknown 5034 muc 8
339.70/339.75	c iter 11 time 225.951 not-muc 741 unknown 5033 muc 9
339.70/339.75	c iter 12 time 225.957 not-muc 741 unknown 5032 muc 10
339.70/339.75	c iter 13 time 225.965 not-muc 741 unknown 5031 muc 11
339.70/339.75	c iter 14 time 227.11 not-muc 741 unknown 5030 muc 12
339.70/339.75	c iter 15 time 227.138 not-muc 741 unknown 5029 muc 13
339.70/339.75	c iter 16 time 227.14 not-muc 741 unknown 5028 muc 14
339.70/339.75	c iter 17 time 257.419 not-muc 741 unknown 5027 muc 15
339.70/339.75	c iter 18 time 257.485 not-muc 741 unknown 5026 muc 16
339.70/339.75	c iter 19 time 260.919 not-muc 741 unknown 5025 muc 17
339.70/339.75	c iter 20 time 260.964 not-muc 741 unknown 5024 muc 18
339.70/339.75	c iter 21 time 263.605 not-muc 741 unknown 5023 muc 19
339.70/339.75	c iter 22 time 263.639 not-muc 741 unknown 5022 muc 20
339.70/339.75	c iter 23 time 263.641 not-muc 741 unknown 5021 muc 21
339.70/339.75	c iter 24 time 263.642 not-muc 741 unknown 5020 muc 22
339.70/339.75	c iter 25 time 263.644 not-muc 741 unknown 5019 muc 23
339.70/339.75	c iter 26 time 263.649 not-muc 741 unknown 5018 muc 24
339.70/339.75	c iter 27 time 263.651 not-muc 741 unknown 5017 muc 25
339.70/339.75	c iter 28 time 263.652 not-muc 741 unknown 5016 muc 26
339.70/339.75	c iter 29 time 263.654 not-muc 741 unknown 5015 muc 27
339.70/339.75	c iter 30 time 263.679 not-muc 741 unknown 5014 muc 28
339.70/339.75	c iter 31 time 263.68 not-muc 741 unknown 5013 muc 29
339.70/339.75	c iter 32 time 263.682 not-muc 741 unknown 5012 muc 30
339.70/339.75	c iter 33 time 263.751 not-muc 741 unknown 5011 muc 31
339.70/339.75	c iter 34 time 263.755 not-muc 741 unknown 5010 muc 32
339.70/339.75	c iter 35 time 263.757 not-muc 741 unknown 5009 muc 33
339.70/339.75	c iter 36 time 263.759 not-muc 741 unknown 5008 muc 34
339.70/339.75	c iter 37 time 263.795 not-muc 741 unknown 5007 muc 35
339.70/339.75	c iter 38 time 263.797 not-muc 741 unknown 5006 muc 36
339.70/339.75	c iter 39 time 263.799 not-muc 741 unknown 5005 muc 37
339.70/339.75	c iter 40 time 274.331 not-muc 741 unknown 5004 muc 38
339.70/339.75	c iter 41 time 275.051 not-muc 741 unknown 5003 muc 39
339.70/339.75	c iter 42 time 275.053 not-muc 741 unknown 5002 muc 40
339.70/339.75	c iter 43 time 275.056 not-muc 741 unknown 5001 muc 41
339.70/339.75	c iter 44 time 275.069 not-muc 741 unknown 5000 muc 42
339.70/339.75	c iter 45 time 334.521 not-muc 741 unknown 4999 muc 43
339.70/339.75	c iter 46 time 336.164 not-muc 741 unknown 4998 muc 44
339.70/339.75	c iter 47 time 336.416 not-muc 741 unknown 4997 muc 45
339.70/339.75	c iter 48 time 336.418 not-muc 741 unknown 4996 muc 46
339.70/339.75	c iter 49 time 336.42 not-muc 741 unknown 4995 muc 47
339.70/339.75	c iter 50 time 336.422 not-muc 741 unknown 4994 muc 48
339.70/339.75	c iter 51 time 336.424 not-muc 741 unknown 4993 muc 49
339.70/339.75	c iter 52 time 336.426 not-muc 741 unknown 4992 muc 50
339.70/339.75	c iter 53 time 336.428 not-muc 741 unknown 4991 muc 51
339.70/339.75	c iter 54 time 336.432 not-muc 741 unknown 4990 muc 52
339.70/339.75	c iter 55 time 336.435 not-muc 741 unknown 4989 muc 53
339.70/339.75	c iter 56 time 336.439 not-muc 741 unknown 4988 muc 54
339.70/339.75	c iter 57 time 336.443 not-muc 741 unknown 4987 muc 55
339.70/339.75	c iter 58 time 336.482 not-muc 741 unknown 4986 muc 56
339.70/339.75	c iter 59 time 336.491 not-muc 741 unknown 4985 muc 57
339.70/339.75	c iter 60 time 336.493 not-muc 741 unknown 4984 muc 58
339.70/339.75	c iter 61 time 336.498 not-muc 741 unknown 4983 muc 59
339.70/339.75	c iter 62 time 336.5 not-muc 741 unknown 4982 muc 60
339.70/339.75	c iter 63 time 336.502 not-muc 741 unknown 4981 muc 61
339.70/339.75	c iter 64 time 336.503 not-muc 741 unknown 4980 muc 62
339.70/339.75	c iter 65 time 336.505 not-muc 741 unknown 4979 muc 63
339.70/339.75	c iter 66 time 336.521 not-muc 741 unknown 4978 muc 64
339.70/339.75	c iter 67 time 336.523 not-muc 741 unknown 4977 muc 65
339.70/339.75	c iter 68 time 336.525 not-muc 741 unknown 4976 muc 66
339.70/339.75	c iter 69 time 336.527 not-muc 741 unknown 4975 muc 67
339.70/339.75	c iter 70 time 336.529 not-muc 741 unknown 4974 muc 68
339.70/339.75	c iter 71 time 336.53 not-muc 741 unknown 4973 muc 69
339.70/339.75	c iter 72 time 336.532 not-muc 741 unknown 4972 muc 70
339.70/339.75	c iter 73 time 336.534 not-muc 741 unknown 4971 muc 71
339.70/339.75	c iter 74 time 336.54 not-muc 741 unknown 4970 muc 72
391.20/391.30	c iter 75 time 336.543 not-muc 741 unknown 4969 muc 73
391.20/391.30	c iter 76 time 336.545 not-muc 741 unknown 4968 muc 74
391.20/391.30	c iter 77 time 336.547 not-muc 741 unknown 4967 muc 75
391.20/391.30	c iter 78 time 336.551 not-muc 741 unknown 4966 muc 76
391.20/391.30	c iter 79 time 336.552 not-muc 741 unknown 4965 muc 77
391.20/391.30	c iter 80 time 336.555 not-muc 741 unknown 4964 muc 78
391.20/391.30	c iter 81 time 336.864 not-muc 741 unknown 4963 muc 79
391.20/391.30	c iter 82 time 336.97 not-muc 741 unknown 4962 muc 80
391.20/391.30	c iter 83 time 336.982 not-muc 741 unknown 4961 muc 81
391.20/391.30	c iter 84 time 337.307 not-muc 741 unknown 4960 muc 82
391.20/391.30	c iter 85 time 337.34 not-muc 741 unknown 4959 muc 83
391.20/391.30	c iter 86 time 337.342 not-muc 741 unknown 4958 muc 84
391.20/391.30	c iter 87 time 337.343 not-muc 741 unknown 4957 muc 85
391.20/391.30	c iter 88 time 337.345 not-muc 741 unknown 4956 muc 86
391.20/391.30	c iter 89 time 337.347 not-muc 741 unknown 4955 muc 87
391.20/391.30	c iter 90 time 337.349 not-muc 741 unknown 4954 muc 88
391.20/391.30	c iter 91 time 337.351 not-muc 741 unknown 4953 muc 89
391.20/391.30	c iter 92 time 337.354 not-muc 741 unknown 4952 muc 90
391.20/391.30	c iter 93 time 337.356 not-muc 741 unknown 4951 muc 91
391.30/391.30	c iter 94 time 337.402 not-muc 741 unknown 4950 muc 92
391.30/391.30	c iter 95 time 337.404 not-muc 741 unknown 4949 muc 93
391.30/391.30	c iter 96 time 337.407 not-muc 741 unknown 4948 muc 94
391.30/391.30	c iter 97 time 337.409 not-muc 741 unknown 4947 muc 95
391.30/391.30	c iter 98 time 337.411 not-muc 741 unknown 4946 muc 96
391.30/391.30	c iter 99 time 337.413 not-muc 741 unknown 4945 muc 97
391.30/391.30	c iter 100 time 337.415 not-muc 741 unknown 4944 muc 98
391.30/391.30	c iter 101 time 337.417 not-muc 741 unknown 4943 muc 99
391.30/391.30	c iter 102 time 337.419 not-muc 741 unknown 4942 muc 100
391.30/391.30	c iter 103 time 337.421 not-muc 741 unknown 4941 muc 101
391.30/391.30	c iter 104 time 337.43 not-muc 741 unknown 4940 muc 102
391.30/391.30	c iter 105 time 337.434 not-muc 741 unknown 4939 muc 103
391.30/391.30	c iter 106 time 337.456 not-muc 741 unknown 4938 muc 104
391.30/391.30	c iter 107 time 337.459 not-muc 741 unknown 4937 muc 105
391.30/391.30	c iter 108 time 337.463 not-muc 741 unknown 4936 muc 106
391.30/391.30	c iter 109 time 337.466 not-muc 741 unknown 4935 muc 107
391.30/391.30	c iter 110 time 337.469 not-muc 741 unknown 4934 muc 108
391.30/391.30	c iter 111 time 337.472 not-muc 741 unknown 4933 muc 109
391.30/391.30	c iter 112 time 337.476 not-muc 741 unknown 4932 muc 110
391.30/391.30	c iter 113 time 337.483 not-muc 741 unknown 4931 muc 111
391.30/391.30	c iter 114 time 337.487 not-muc 741 unknown 4930 muc 112
391.30/391.30	c iter 115 time 337.491 not-muc 741 unknown 4929 muc 113
391.30/391.30	c iter 116 time 339.481 not-muc 741 unknown 4928 muc 114
391.30/391.30	c iter 117 time 339.515 not-muc 741 unknown 4927 muc 115
391.30/391.30	c iter 118 time 384.485 not-muc 741 unknown 4926 muc 116
391.30/391.30	c iter 119 time 384.823 not-muc 741 unknown 4925 muc 117
391.30/391.30	c iter 120 time 384.825 not-muc 741 unknown 4924 muc 118
391.30/391.30	c iter 121 time 386.86 not-muc 741 unknown 4923 muc 119
391.30/391.30	c iter 122 time 386.891 not-muc 741 unknown 4922 muc 120
391.30/391.30	c iter 123 time 387.237 not-muc 741 unknown 4921 muc 121
391.30/391.30	c iter 124 time 387.24 not-muc 741 unknown 4920 muc 122
391.30/391.30	c iter 125 time 387.403 not-muc 741 unknown 4919 muc 123
391.30/391.30	c iter 126 time 387.405 not-muc 741 unknown 4918 muc 124
391.30/391.30	c iter 127 time 387.407 not-muc 741 unknown 4917 muc 125
391.30/391.30	c iter 128 time 387.408 not-muc 741 unknown 4916 muc 126
391.30/391.30	c iter 129 time 387.41 not-muc 741 unknown 4915 muc 127
391.30/391.30	c iter 130 time 387.412 not-muc 741 unknown 4914 muc 128
391.30/391.30	c iter 131 time 387.414 not-muc 741 unknown 4913 muc 129
391.30/391.30	c iter 132 time 387.417 not-muc 741 unknown 4912 muc 130
391.30/391.30	c iter 133 time 387.419 not-muc 741 unknown 4911 muc 131
391.30/391.30	c iter 134 time 387.421 not-muc 741 unknown 4910 muc 132
391.30/391.30	c iter 135 time 387.423 not-muc 741 unknown 4909 muc 133
391.30/391.30	c iter 136 time 387.426 not-muc 741 unknown 4908 muc 134
391.30/391.30	c iter 137 time 387.428 not-muc 741 unknown 4907 muc 135
391.30/391.30	c iter 138 time 387.43 not-muc 741 unknown 4906 muc 136
391.30/391.30	c iter 139 time 387.432 not-muc 741 unknown 4905 muc 137
391.30/391.30	c iter 140 time 387.444 not-muc 741 unknown 4904 muc 138
391.30/391.30	c iter 141 time 387.447 not-muc 741 unknown 4903 muc 139
391.30/391.30	c iter 142 time 387.449 not-muc 741 unknown 4902 muc 140
391.30/391.30	c iter 143 time 387.451 not-muc 741 unknown 4901 muc 141
391.30/391.30	c iter 144 time 387.463 not-muc 741 unknown 4900 muc 142
391.30/391.30	c iter 145 time 387.464 not-muc 741 unknown 4899 muc 143
391.30/391.30	c iter 146 time 387.467 not-muc 741 unknown 4898 muc 144
391.30/391.30	c iter 147 time 387.469 not-muc 741 unknown 4897 muc 145
670.21/670.20	c iter 148 time 387.471 not-muc 741 unknown 4896 muc 146
670.21/670.20	c iter 149 time 387.473 not-muc 741 unknown 4895 muc 147
670.21/670.20	c iter 150 time 387.475 not-muc 741 unknown 4894 muc 148
670.21/670.20	c iter 151 time 387.477 not-muc 741 unknown 4893 muc 149
670.21/670.20	c iter 152 time 387.48 not-muc 741 unknown 4892 muc 150
670.21/670.20	c iter 153 time 387.482 not-muc 741 unknown 4891 muc 151
670.21/670.20	c iter 154 time 387.486 not-muc 741 unknown 4890 muc 152
670.21/670.20	c iter 155 time 387.488 not-muc 741 unknown 4889 muc 153
670.21/670.20	c iter 156 time 387.491 not-muc 741 unknown 4888 muc 154
670.21/670.20	c iter 157 time 387.494 not-muc 741 unknown 4887 muc 155
670.21/670.20	c iter 158 time 387.563 not-muc 741 unknown 4886 muc 156
670.21/670.20	c iter 159 time 387.565 not-muc 741 unknown 4885 muc 157
670.21/670.20	c iter 160 time 394.239 not-muc 741 unknown 4884 muc 158
670.21/670.20	c iter 161 time 394.482 not-muc 741 unknown 4883 muc 159
670.21/670.20	c iter 162 time 394.485 not-muc 741 unknown 4882 muc 160
670.21/670.20	c iter 163 time 394.487 not-muc 741 unknown 4881 muc 161
670.21/670.20	c iter 164 time 394.489 not-muc 741 unknown 4880 muc 162
670.21/670.20	c iter 165 time 394.49 not-muc 741 unknown 4879 muc 163
670.21/670.20	c iter 166 time 394.492 not-muc 741 unknown 4878 muc 164
670.21/670.20	c iter 167 time 394.526 not-muc 741 unknown 4877 muc 165
670.21/670.20	c iter 168 time 394.528 not-muc 741 unknown 4876 muc 166
670.21/670.20	c iter 169 time 394.53 not-muc 741 unknown 4875 muc 167
670.21/670.20	c iter 170 time 394.532 not-muc 741 unknown 4874 muc 168
670.21/670.20	c iter 171 time 394.534 not-muc 741 unknown 4873 muc 169
670.21/670.20	c iter 172 time 394.538 not-muc 741 unknown 4872 muc 170
670.21/670.20	c iter 173 time 394.54 not-muc 741 unknown 4871 muc 171
670.21/670.20	c iter 174 time 394.542 not-muc 741 unknown 4870 muc 172
670.21/670.20	c iter 175 time 394.544 not-muc 741 unknown 4869 muc 173
670.21/670.20	c iter 176 time 394.549 not-muc 741 unknown 4868 muc 174
670.21/670.20	c iter 177 time 394.551 not-muc 741 unknown 4867 muc 175
670.21/670.20	c iter 178 time 394.554 not-muc 741 unknown 4866 muc 176
670.21/670.20	c iter 179 time 394.555 not-muc 741 unknown 4865 muc 177
670.21/670.20	c iter 180 time 394.568 not-muc 741 unknown 4864 muc 178
670.21/670.20	c iter 181 time 394.57 not-muc 741 unknown 4863 muc 179
670.21/670.20	c iter 182 time 394.572 not-muc 741 unknown 4862 muc 180
670.21/670.20	c iter 183 time 394.574 not-muc 741 unknown 4861 muc 181
670.21/670.20	c iter 184 time 394.576 not-muc 741 unknown 4860 muc 182
670.21/670.20	c iter 185 time 394.578 not-muc 741 unknown 4859 muc 183
670.21/670.20	c iter 186 time 394.58 not-muc 741 unknown 4858 muc 184
670.21/670.20	c iter 187 time 394.582 not-muc 741 unknown 4857 muc 185
670.21/670.20	c iter 188 time 394.584 not-muc 741 unknown 4856 muc 186
670.21/670.20	c iter 189 time 394.586 not-muc 741 unknown 4855 muc 187
670.21/670.20	c iter 190 time 395.073 not-muc 741 unknown 4854 muc 188
670.21/670.20	c iter 191 time 395.075 not-muc 741 unknown 4853 muc 189
670.21/670.20	c iter 192 time 395.077 not-muc 741 unknown 4852 muc 190
670.21/670.20	c iter 193 time 395.079 not-muc 741 unknown 4851 muc 191
670.21/670.20	c iter 194 time 395.08 not-muc 741 unknown 4850 muc 192
670.21/670.20	c iter 195 time 395.1 not-muc 741 unknown 4849 muc 193
670.21/670.20	c iter 196 time 395.102 not-muc 741 unknown 4848 muc 194
670.21/670.20	c iter 197 time 395.104 not-muc 741 unknown 4847 muc 195
670.21/670.20	c iter 198 time 400.66 not-muc 741 unknown 4846 muc 196
670.21/670.20	c iter 199 time 400.712 not-muc 741 unknown 4845 muc 197
670.21/670.20	c iter 200 time 458.396 not-muc 741 unknown 4844 muc 198
670.21/670.20	c iter 201 time 458.436 not-muc 741 unknown 4843 muc 199
670.21/670.20	c iter 202 time 461.582 not-muc 741 unknown 4842 muc 200
670.21/670.20	c iter 203 time 461.614 not-muc 741 unknown 4841 muc 201
670.21/670.20	c iter 204 time 461.618 not-muc 741 unknown 4840 muc 202
670.21/670.20	c iter 205 time 461.62 not-muc 741 unknown 4839 muc 203
670.21/670.20	c iter 206 time 478.53 not-muc 741 unknown 4838 muc 204
670.21/670.20	c iter 207 time 478.581 not-muc 741 unknown 4837 muc 205
670.21/670.20	c iter 208 time 488.345 not-muc 741 unknown 4836 muc 206
670.21/670.20	c iter 209 time 488.374 not-muc 741 unknown 4835 muc 207
670.21/670.20	c iter 210 time 498.495 not-muc 741 unknown 4834 muc 208
670.21/670.20	c iter 211 time 498.542 not-muc 741 unknown 4833 muc 209
670.21/670.20	c iter 212 time 525.647 not-muc 741 unknown 4832 muc 210
670.21/670.20	c iter 213 time 525.697 not-muc 741 unknown 4831 muc 211
670.21/670.20	c iter 214 time 528.135 not-muc 741 unknown 4830 muc 212
670.21/670.20	c iter 215 time 528.162 not-muc 741 unknown 4829 muc 213
670.21/670.20	c iter 216 time 537.765 not-muc 741 unknown 4828 muc 214
670.21/670.20	c iter 217 time 537.767 not-muc 741 unknown 4827 muc 215
670.21/670.20	c iter 218 time 663.842 not-muc 741 unknown 4826 muc 216
670.21/670.20	c iter 219 time 663.955 not-muc 741 unknown 4825 muc 217
864.52/864.53	c iter 220 time 692.453 not-muc 741 unknown 4824 muc 218
864.52/864.53	c iter 221 time 692.495 not-muc 741 unknown 4823 muc 219
864.52/864.53	c iter 222 time 696.894 not-muc 741 unknown 4822 muc 220
864.52/864.53	c iter 223 time 696.992 not-muc 741 unknown 4821 muc 221
864.52/864.53	c iter 224 time 741.646 not-muc 741 unknown 4820 muc 222
864.52/864.53	c iter 225 time 741.671 not-muc 741 unknown 4819 muc 223
864.52/864.53	c iter 226 time 786.341 not-muc 741 unknown 4818 muc 224
864.52/864.53	c iter 227 time 786.459 not-muc 741 unknown 4817 muc 225
864.52/864.53	c iter 228 time 786.461 not-muc 741 unknown 4816 muc 226
864.52/864.53	c iter 229 time 786.463 not-muc 741 unknown 4815 muc 227
864.52/864.53	c iter 230 time 786.465 not-muc 741 unknown 4814 muc 228
864.52/864.53	c iter 231 time 786.481 not-muc 741 unknown 4813 muc 229
864.52/864.53	c iter 232 time 786.483 not-muc 741 unknown 4812 muc 230
864.52/864.53	c iter 233 time 786.509 not-muc 741 unknown 4811 muc 231
864.52/864.53	c iter 234 time 786.511 not-muc 741 unknown 4810 muc 232
864.52/864.53	c iter 235 time 786.513 not-muc 741 unknown 4809 muc 233
864.52/864.53	c iter 236 time 786.518 not-muc 741 unknown 4808 muc 234
864.52/864.53	c iter 237 time 786.52 not-muc 741 unknown 4807 muc 235
864.52/864.53	c iter 238 time 786.522 not-muc 741 unknown 4806 muc 236
864.52/864.53	c iter 239 time 786.524 not-muc 741 unknown 4805 muc 237
864.52/864.53	c iter 240 time 786.526 not-muc 741 unknown 4804 muc 238
864.52/864.53	c iter 241 time 786.527 not-muc 741 unknown 4803 muc 239
864.52/864.53	c iter 242 time 786.529 not-muc 741 unknown 4802 muc 240
864.52/864.53	c iter 243 time 786.531 not-muc 741 unknown 4801 muc 241
864.52/864.53	c iter 244 time 786.533 not-muc 741 unknown 4800 muc 242
864.52/864.53	c iter 245 time 855.385 not-muc 741 unknown 4799 muc 243
864.52/864.53	c iter 246 time 855.432 not-muc 741 unknown 4798 muc 244
864.52/864.53	c iter 247 time 855.44 not-muc 741 unknown 4797 muc 245
864.52/864.53	c iter 248 time 855.442 not-muc 741 unknown 4796 muc 246
864.52/864.53	c iter 249 time 855.444 not-muc 741 unknown 4795 muc 247
864.52/864.53	c iter 250 time 855.446 not-muc 741 unknown 4794 muc 248
864.52/864.53	c iter 251 time 855.448 not-muc 741 unknown 4793 muc 249
864.52/864.53	c iter 252 time 855.466 not-muc 741 unknown 4792 muc 250
864.52/864.53	c iter 253 time 855.468 not-muc 741 unknown 4791 muc 251
864.52/864.53	c iter 254 time 855.469 not-muc 741 unknown 4790 muc 252
864.52/864.53	c iter 255 time 855.471 not-muc 741 unknown 4789 muc 253
864.52/864.53	c iter 256 time 855.473 not-muc 741 unknown 4788 muc 254
864.52/864.53	c iter 257 time 855.474 not-muc 741 unknown 4787 muc 255
864.52/864.53	c iter 258 time 855.476 not-muc 741 unknown 4786 muc 256
864.52/864.53	c iter 259 time 855.478 not-muc 741 unknown 4785 muc 257
864.52/864.53	c iter 260 time 855.479 not-muc 741 unknown 4784 muc 258
864.52/864.53	c iter 261 time 855.481 not-muc 741 unknown 4783 muc 259
864.52/864.53	c iter 262 time 855.483 not-muc 741 unknown 4782 muc 260
864.52/864.53	c iter 263 time 855.484 not-muc 741 unknown 4781 muc 261
864.52/864.53	c iter 264 time 855.486 not-muc 741 unknown 4780 muc 262
864.52/864.53	c iter 265 time 855.487 not-muc 741 unknown 4779 muc 263
864.52/864.53	c iter 266 time 855.489 not-muc 741 unknown 4778 muc 264
864.52/864.53	c iter 267 time 855.491 not-muc 741 unknown 4777 muc 265
864.52/864.53	c iter 268 time 855.492 not-muc 741 unknown 4776 muc 266
864.52/864.53	c iter 269 time 855.494 not-muc 741 unknown 4775 muc 267
864.52/864.53	c iter 270 time 855.496 not-muc 741 unknown 4774 muc 268
864.52/864.53	c iter 271 time 855.497 not-muc 741 unknown 4773 muc 269
864.52/864.53	c iter 272 time 855.499 not-muc 741 unknown 4772 muc 270
864.52/864.53	c iter 273 time 855.501 not-muc 741 unknown 4771 muc 271
864.52/864.53	c iter 274 time 855.86 not-muc 741 unknown 4770 muc 272
864.52/864.53	c iter 275 time 855.891 not-muc 741 unknown 4769 muc 273
864.52/864.53	c iter 276 time 855.893 not-muc 741 unknown 4768 muc 274
864.52/864.53	c iter 277 time 855.895 not-muc 741 unknown 4767 muc 275
864.52/864.53	c iter 278 time 855.897 not-muc 741 unknown 4766 muc 276
864.52/864.53	c iter 279 time 856.075 not-muc 741 unknown 4765 muc 277
864.52/864.53	c iter 280 time 856.077 not-muc 741 unknown 4764 muc 278
864.52/864.53	c iter 281 time 856.079 not-muc 741 unknown 4763 muc 279
864.52/864.53	c iter 282 time 856.081 not-muc 741 unknown 4762 muc 280
864.52/864.53	c iter 283 time 856.083 not-muc 741 unknown 4761 muc 281
864.52/864.53	c iter 284 time 856.085 not-muc 741 unknown 4760 muc 282
864.52/864.53	c iter 285 time 856.087 not-muc 741 unknown 4759 muc 283
864.52/864.53	c iter 286 time 856.089 not-muc 741 unknown 4758 muc 284
864.52/864.53	c iter 287 time 856.105 not-muc 741 unknown 4757 muc 285
864.52/864.53	c iter 288 time 856.124 not-muc 741 unknown 4756 muc 286
864.52/864.53	c iter 289 time 856.371 not-muc 741 unknown 4755 muc 287
864.52/864.53	c iter 290 time 856.373 not-muc 741 unknown 4754 muc 288
864.52/864.53	c iter 291 time 856.375 not-muc 741 unknown 4753 muc 289
1194.92/1194.98	c iter 292 time 856.483 not-muc 741 unknown 4752 muc 290
1194.92/1194.98	c iter 293 time 856.486 not-muc 741 unknown 4751 muc 291
1194.92/1194.98	c iter 294 time 856.488 not-muc 741 unknown 4750 muc 292
1194.92/1194.98	c iter 295 time 856.49 not-muc 741 unknown 4749 muc 293
1194.92/1194.98	c iter 296 time 856.491 not-muc 741 unknown 4748 muc 294
1194.92/1194.98	c iter 297 time 856.494 not-muc 741 unknown 4747 muc 295
1194.92/1194.98	c iter 298 time 856.496 not-muc 741 unknown 4746 muc 296
1194.92/1194.98	c iter 299 time 856.497 not-muc 741 unknown 4745 muc 297
1194.92/1194.98	c iter 300 time 856.499 not-muc 741 unknown 4744 muc 298
1194.92/1194.98	c iter 301 time 856.501 not-muc 741 unknown 4743 muc 299
1194.92/1194.98	c iter 302 time 856.503 not-muc 741 unknown 4742 muc 300
1194.92/1194.98	c iter 303 time 860.505 not-muc 741 unknown 4741 muc 301
1194.92/1194.98	c iter 304 time 860.547 not-muc 741 unknown 4740 muc 302
1194.92/1194.98	c iter 305 time 872.343 not-muc 741 unknown 4739 muc 303
1194.92/1194.98	c iter 306 time 872.44 not-muc 741 unknown 4738 muc 304
1194.92/1194.98	c iter 307 time 872.442 not-muc 741 unknown 4737 muc 305
1194.92/1194.98	c iter 308 time 872.443 not-muc 741 unknown 4736 muc 306
1194.92/1194.98	c iter 309 time 915.487 not-muc 741 unknown 4735 muc 307
1194.92/1194.98	c iter 310 time 915.558 not-muc 741 unknown 4734 muc 308
1194.92/1194.98	c iter 311 time 918.518 not-muc 741 unknown 4733 muc 309
1194.92/1194.98	c iter 312 time 1158.42 not-muc 760 unknown 4714 muc 309
1194.92/1194.98	c iter 313 time 1169.01 not-muc 765 unknown 4709 muc 309
1194.92/1194.98	c iter 314 time 1170.09 not-muc 765 unknown 4708 muc 310
1194.92/1194.98	c iter 315 time 1170.11 not-muc 765 unknown 4707 muc 311
1194.92/1194.98	c iter 316 time 1170.12 not-muc 765 unknown 4706 muc 312
1194.92/1194.98	c iter 317 time 1182.17 not-muc 765 unknown 4705 muc 313
1194.92/1194.98	c iter 318 time 1182.23 not-muc 765 unknown 4704 muc 314
1194.92/1194.98	c iter 319 time 1182.23 not-muc 765 unknown 4703 muc 315
1194.92/1194.98	c iter 320 time 1182.48 not-muc 765 unknown 4702 muc 316
1194.92/1194.98	c iter 321 time 1182.49 not-muc 765 unknown 4701 muc 317
1194.92/1194.98	c iter 322 time 1182.63 not-muc 765 unknown 4700 muc 318
1194.92/1194.98	c iter 323 time 1182.66 not-muc 765 unknown 4699 muc 319
1194.92/1194.98	c iter 324 time 1182.66 not-muc 765 unknown 4698 muc 320
1194.92/1194.98	c iter 325 time 1182.66 not-muc 765 unknown 4697 muc 321
1194.92/1194.98	c iter 326 time 1182.67 not-muc 765 unknown 4696 muc 322
1194.92/1194.98	c iter 327 time 1182.67 not-muc 765 unknown 4695 muc 323
1194.92/1194.98	c iter 328 time 1182.67 not-muc 765 unknown 4694 muc 324
1194.92/1194.98	c iter 329 time 1182.68 not-muc 765 unknown 4693 muc 325
1194.92/1194.98	c iter 330 time 1182.69 not-muc 765 unknown 4692 muc 326
1194.92/1194.98	c iter 331 time 1182.7 not-muc 765 unknown 4691 muc 327
1194.92/1194.98	c iter 332 time 1183.81 not-muc 765 unknown 4690 muc 328
1194.92/1194.98	c iter 333 time 1183.91 not-muc 765 unknown 4689 muc 329
1194.92/1194.98	c iter 334 time 1183.91 not-muc 765 unknown 4688 muc 330
1194.92/1194.98	c iter 335 time 1184.22 not-muc 765 unknown 4687 muc 331
1194.92/1194.98	c iter 336 time 1184.22 not-muc 765 unknown 4686 muc 332
1194.92/1194.98	c iter 337 time 1184.23 not-muc 765 unknown 4685 muc 333
1194.92/1194.98	c iter 338 time 1184.23 not-muc 765 unknown 4684 muc 334
1194.92/1194.98	c iter 339 time 1184.23 not-muc 765 unknown 4683 muc 335
1194.92/1194.98	c iter 340 time 1184.29 not-muc 765 unknown 4682 muc 336
1194.92/1194.98	c iter 341 time 1184.29 not-muc 765 unknown 4681 muc 337
1194.92/1194.98	c iter 342 time 1184.29 not-muc 765 unknown 4680 muc 338
1194.92/1194.98	c iter 343 time 1184.3 not-muc 765 unknown 4679 muc 339
1194.92/1194.98	c iter 344 time 1184.3 not-muc 765 unknown 4678 muc 340
1194.92/1194.98	c iter 345 time 1184.3 not-muc 765 unknown 4677 muc 341
1194.92/1194.98	c iter 346 time 1184.3 not-muc 765 unknown 4676 muc 342
1194.92/1194.98	c iter 347 time 1184.31 not-muc 765 unknown 4675 muc 343
1194.92/1194.98	c iter 348 time 1184.31 not-muc 765 unknown 4674 muc 344
1194.92/1194.98	c iter 349 time 1184.31 not-muc 765 unknown 4673 muc 345
1194.92/1194.98	c iter 350 time 1184.32 not-muc 765 unknown 4672 muc 346
1194.92/1194.98	c iter 351 time 1184.34 not-muc 765 unknown 4671 muc 347
1194.92/1194.98	c iter 352 time 1184.34 not-muc 765 unknown 4670 muc 348
1194.92/1194.98	c iter 353 time 1184.34 not-muc 765 unknown 4669 muc 349
1194.92/1194.98	c iter 354 time 1184.34 not-muc 765 unknown 4668 muc 350
1194.92/1194.98	c iter 355 time 1184.34 not-muc 765 unknown 4667 muc 351
1194.92/1194.98	c iter 356 time 1184.34 not-muc 765 unknown 4666 muc 352
1194.92/1194.98	c iter 357 time 1184.35 not-muc 765 unknown 4665 muc 353
1194.92/1194.98	c iter 358 time 1184.35 not-muc 765 unknown 4664 muc 354
1194.92/1194.98	c iter 359 time 1184.35 not-muc 765 unknown 4663 muc 355
1194.92/1194.98	c iter 360 time 1184.35 not-muc 765 unknown 4662 muc 356
1194.92/1194.98	c iter 361 time 1184.36 not-muc 765 unknown 4661 muc 357
1194.92/1194.98	c iter 362 time 1184.36 not-muc 765 unknown 4660 muc 358
1194.92/1194.98	c iter 363 time 1184.36 not-muc 765 unknown 4659 muc 359
1276.12/1276.12	c iter 364 time 1184.36 not-muc 765 unknown 4658 muc 360
1276.12/1276.12	c iter 365 time 1184.37 not-muc 765 unknown 4657 muc 361
1276.12/1276.12	c iter 366 time 1184.37 not-muc 765 unknown 4656 muc 362
1276.12/1276.12	c iter 367 time 1184.37 not-muc 765 unknown 4655 muc 363
1276.12/1276.12	c iter 368 time 1184.37 not-muc 765 unknown 4654 muc 364
1276.12/1276.12	c iter 369 time 1184.38 not-muc 765 unknown 4653 muc 365
1276.12/1276.12	c iter 370 time 1184.38 not-muc 765 unknown 4652 muc 366
1276.12/1276.12	c iter 371 time 1184.38 not-muc 765 unknown 4651 muc 367
1276.12/1276.12	c iter 372 time 1184.38 not-muc 765 unknown 4650 muc 368
1276.12/1276.12	c iter 373 time 1184.39 not-muc 765 unknown 4649 muc 369
1276.12/1276.12	c iter 374 time 1184.39 not-muc 765 unknown 4648 muc 370
1276.12/1276.12	c iter 375 time 1184.39 not-muc 765 unknown 4647 muc 371
1276.12/1276.12	c iter 376 time 1184.4 not-muc 765 unknown 4646 muc 372
1276.12/1276.12	c iter 377 time 1184.4 not-muc 765 unknown 4645 muc 373
1276.12/1276.12	c iter 378 time 1184.4 not-muc 765 unknown 4644 muc 374
1276.12/1276.12	c iter 379 time 1184.4 not-muc 765 unknown 4643 muc 375
1276.12/1276.12	c iter 380 time 1184.4 not-muc 765 unknown 4642 muc 376
1276.12/1276.12	c iter 381 time 1184.46 not-muc 765 unknown 4641 muc 377
1276.12/1276.12	c iter 382 time 1184.46 not-muc 765 unknown 4640 muc 378
1276.12/1276.12	c iter 383 time 1184.47 not-muc 765 unknown 4639 muc 379
1276.12/1276.12	c iter 384 time 1184.47 not-muc 765 unknown 4638 muc 380
1276.12/1276.12	c iter 385 time 1184.47 not-muc 765 unknown 4637 muc 381
1276.12/1276.12	c iter 386 time 1184.47 not-muc 765 unknown 4636 muc 382
1276.12/1276.12	c iter 387 time 1184.47 not-muc 765 unknown 4635 muc 383
1276.12/1276.12	c iter 388 time 1184.48 not-muc 765 unknown 4634 muc 384
1276.12/1276.12	c iter 389 time 1184.48 not-muc 765 unknown 4633 muc 385
1276.12/1276.12	c iter 390 time 1184.49 not-muc 765 unknown 4632 muc 386
1276.12/1276.12	c iter 391 time 1184.49 not-muc 765 unknown 4631 muc 387
1276.12/1276.12	c iter 392 time 1184.49 not-muc 765 unknown 4630 muc 388
1276.12/1276.12	c iter 393 time 1184.49 not-muc 765 unknown 4629 muc 389
1276.12/1276.12	c iter 394 time 1184.5 not-muc 765 unknown 4628 muc 390
1276.12/1276.12	c iter 395 time 1184.5 not-muc 765 unknown 4627 muc 391
1276.12/1276.12	c iter 396 time 1184.5 not-muc 765 unknown 4626 muc 392
1276.12/1276.12	c iter 397 time 1184.5 not-muc 765 unknown 4625 muc 393
1276.12/1276.12	c iter 398 time 1184.51 not-muc 765 unknown 4624 muc 394
1276.12/1276.12	c iter 399 time 1184.52 not-muc 765 unknown 4623 muc 395
1276.12/1276.12	c iter 400 time 1184.52 not-muc 765 unknown 4622 muc 396
1276.12/1276.12	c iter 401 time 1184.52 not-muc 765 unknown 4621 muc 397
1276.12/1276.12	c iter 402 time 1184.52 not-muc 765 unknown 4620 muc 398
1276.12/1276.12	c iter 403 time 1184.53 not-muc 765 unknown 4619 muc 399
1276.12/1276.12	c iter 404 time 1184.53 not-muc 765 unknown 4618 muc 400
1276.12/1276.12	c iter 405 time 1184.53 not-muc 765 unknown 4617 muc 401
1276.12/1276.12	c iter 406 time 1184.53 not-muc 765 unknown 4616 muc 402
1276.12/1276.12	c iter 407 time 1184.53 not-muc 765 unknown 4615 muc 403
1276.12/1276.12	c iter 408 time 1184.54 not-muc 765 unknown 4614 muc 404
1276.12/1276.12	c iter 409 time 1255.7 not-muc 765 unknown 4613 muc 405
1276.12/1276.12	c iter 410 time 1255.73 not-muc 765 unknown 4612 muc 406
1276.12/1276.12	c iter 411 time 1256.65 not-muc 765 unknown 4611 muc 407
1276.12/1276.12	c iter 412 time 1256.68 not-muc 765 unknown 4610 muc 408
1276.12/1276.12	c iter 413 time 1256.68 not-muc 765 unknown 4609 muc 409
1276.12/1276.12	c iter 414 time 1256.68 not-muc 765 unknown 4608 muc 410
1276.12/1276.12	c iter 415 time 1264.42 not-muc 765 unknown 4607 muc 411
1276.12/1276.12	c iter 416 time 1264.46 not-muc 765 unknown 4606 muc 412
1276.12/1276.12	c iter 417 time 1264.59 not-muc 765 unknown 4605 muc 413
1276.12/1276.12	c iter 418 time 1264.6 not-muc 765 unknown 4604 muc 414
1276.12/1276.12	c iter 419 time 1264.6 not-muc 765 unknown 4603 muc 415
1276.12/1276.12	c iter 420 time 1264.6 not-muc 765 unknown 4602 muc 416
1276.12/1276.12	c iter 421 time 1264.61 not-muc 765 unknown 4601 muc 417
1276.12/1276.12	c iter 422 time 1264.61 not-muc 765 unknown 4600 muc 418
1276.12/1276.12	c iter 423 time 1264.61 not-muc 765 unknown 4599 muc 419
1276.12/1276.12	c iter 424 time 1264.62 not-muc 765 unknown 4598 muc 420
1276.12/1276.12	c iter 425 time 1264.62 not-muc 765 unknown 4597 muc 421
1276.12/1276.12	c iter 426 time 1264.65 not-muc 765 unknown 4596 muc 422
1276.12/1276.12	c iter 427 time 1264.65 not-muc 765 unknown 4595 muc 423
1276.12/1276.12	c iter 428 time 1264.66 not-muc 765 unknown 4594 muc 424
1276.12/1276.12	c iter 429 time 1264.66 not-muc 765 unknown 4593 muc 425
1276.12/1276.12	c iter 430 time 1264.66 not-muc 765 unknown 4592 muc 426
1276.12/1276.12	c iter 431 time 1264.67 not-muc 765 unknown 4591 muc 427
1276.12/1276.12	c iter 432 time 1264.67 not-muc 765 unknown 4590 muc 428
1276.12/1276.12	c iter 433 time 1264.7 not-muc 765 unknown 4589 muc 429
1276.12/1276.12	c iter 434 time 1264.71 not-muc 765 unknown 4588 muc 430
1276.12/1276.12	c iter 435 time 1264.72 not-muc 765 unknown 4587 muc 431
1276.62/1276.69	c iter 436 time 1264.73 not-muc 765 unknown 4586 muc 432
1276.62/1276.69	c iter 437 time 1264.74 not-muc 765 unknown 4585 muc 433
1276.62/1276.69	c iter 438 time 1264.75 not-muc 765 unknown 4584 muc 434
1276.62/1276.69	c iter 439 time 1264.75 not-muc 765 unknown 4583 muc 435
1276.62/1276.69	c iter 440 time 1264.75 not-muc 765 unknown 4582 muc 436
1276.62/1276.69	c iter 441 time 1264.76 not-muc 765 unknown 4581 muc 437
1276.62/1276.69	c iter 442 time 1264.76 not-muc 765 unknown 4580 muc 438
1276.62/1276.69	c iter 443 time 1264.77 not-muc 765 unknown 4579 muc 439
1276.62/1276.69	c iter 444 time 1264.8 not-muc 765 unknown 4578 muc 440
1276.62/1276.69	c iter 445 time 1264.8 not-muc 765 unknown 4577 muc 441
1276.62/1276.69	c iter 446 time 1264.81 not-muc 765 unknown 4576 muc 442
1276.62/1276.69	c iter 447 time 1264.82 not-muc 765 unknown 4575 muc 443
1276.62/1276.69	c iter 448 time 1264.82 not-muc 765 unknown 4574 muc 444
1276.62/1276.69	c iter 449 time 1264.83 not-muc 765 unknown 4573 muc 445
1276.62/1276.69	c iter 450 time 1264.84 not-muc 765 unknown 4572 muc 446
1276.62/1276.69	c iter 451 time 1264.84 not-muc 765 unknown 4571 muc 447
1276.62/1276.69	c iter 452 time 1264.85 not-muc 765 unknown 4570 muc 448
1276.62/1276.69	c iter 453 time 1264.85 not-muc 765 unknown 4569 muc 449
1276.62/1276.69	c iter 454 time 1264.86 not-muc 765 unknown 4568 muc 450
1276.62/1276.69	c iter 455 time 1264.87 not-muc 765 unknown 4567 muc 451
1276.62/1276.69	c iter 456 time 1264.87 not-muc 765 unknown 4566 muc 452
1276.62/1276.69	c iter 457 time 1264.88 not-muc 765 unknown 4565 muc 453
1276.62/1276.69	c iter 458 time 1264.89 not-muc 765 unknown 4564 muc 454
1276.62/1276.69	c iter 459 time 1264.89 not-muc 765 unknown 4563 muc 455
1276.62/1276.69	c iter 460 time 1264.9 not-muc 765 unknown 4562 muc 456
1276.62/1276.69	c iter 461 time 1264.9 not-muc 765 unknown 4561 muc 457
1276.62/1276.69	c iter 462 time 1264.91 not-muc 765 unknown 4560 muc 458
1276.62/1276.69	c iter 463 time 1264.91 not-muc 765 unknown 4559 muc 459
1276.62/1276.69	c iter 464 time 1264.92 not-muc 765 unknown 4558 muc 460
1276.62/1276.69	c iter 465 time 1264.92 not-muc 765 unknown 4557 muc 461
1276.62/1276.69	c iter 466 time 1264.92 not-muc 765 unknown 4556 muc 462
1276.62/1276.69	c iter 467 time 1264.93 not-muc 765 unknown 4555 muc 463
1276.62/1276.69	c iter 468 time 1264.93 not-muc 765 unknown 4554 muc 464
1276.62/1276.69	c iter 469 time 1264.94 not-muc 765 unknown 4553 muc 465
1276.62/1276.69	c iter 470 time 1264.94 not-muc 765 unknown 4552 muc 466
1276.62/1276.69	c iter 471 time 1264.95 not-muc 765 unknown 4551 muc 467
1276.62/1276.69	c iter 472 time 1264.96 not-muc 765 unknown 4550 muc 468
1276.62/1276.69	c iter 473 time 1264.96 not-muc 765 unknown 4549 muc 469
1276.62/1276.69	c iter 474 time 1264.97 not-muc 765 unknown 4548 muc 470
1276.62/1276.69	c iter 475 time 1264.98 not-muc 765 unknown 4547 muc 471
1276.62/1276.69	c iter 476 time 1264.98 not-muc 765 unknown 4546 muc 472
1276.62/1276.69	c iter 477 time 1264.99 not-muc 765 unknown 4545 muc 473
1276.62/1276.69	c iter 478 time 1265 not-muc 765 unknown 4544 muc 474
1276.62/1276.69	c iter 479 time 1265.01 not-muc 765 unknown 4543 muc 475
1276.62/1276.69	c iter 480 time 1265.02 not-muc 765 unknown 4542 muc 476
1276.62/1276.69	c iter 481 time 1265.03 not-muc 765 unknown 4541 muc 477
1276.62/1276.69	c iter 482 time 1265.04 not-muc 765 unknown 4540 muc 478
1276.62/1276.69	c iter 483 time 1265.04 not-muc 765 unknown 4539 muc 479
1276.62/1276.69	c iter 484 time 1265.05 not-muc 765 unknown 4538 muc 480
1276.62/1276.69	c iter 485 time 1265.06 not-muc 765 unknown 4537 muc 481
1276.62/1276.69	c iter 486 time 1265.07 not-muc 765 unknown 4536 muc 482
1276.62/1276.69	c iter 487 time 1265.08 not-muc 765 unknown 4535 muc 483
1276.62/1276.69	c iter 488 time 1265.08 not-muc 765 unknown 4534 muc 484
1276.62/1276.69	c iter 489 time 1265.09 not-muc 765 unknown 4533 muc 485
1276.62/1276.69	c iter 490 time 1265.1 not-muc 765 unknown 4532 muc 486
1276.62/1276.69	c iter 491 time 1265.11 not-muc 765 unknown 4531 muc 487
1276.62/1276.69	c iter 492 time 1265.11 not-muc 765 unknown 4530 muc 488
1276.62/1276.69	c iter 493 time 1265.12 not-muc 765 unknown 4529 muc 489
1276.62/1276.69	c iter 494 time 1265.13 not-muc 765 unknown 4528 muc 490
1276.62/1276.69	c iter 495 time 1265.14 not-muc 765 unknown 4527 muc 491
1276.62/1276.69	c iter 496 time 1265.15 not-muc 765 unknown 4526 muc 492
1276.62/1276.69	c iter 497 time 1265.16 not-muc 765 unknown 4525 muc 493
1276.62/1276.69	c iter 498 time 1265.17 not-muc 765 unknown 4524 muc 494
1276.62/1276.69	c iter 499 time 1265.19 not-muc 765 unknown 4523 muc 495
1276.62/1276.69	c iter 500 time 1265.2 not-muc 765 unknown 4522 muc 496
1276.62/1276.69	c iter 501 time 1265.22 not-muc 765 unknown 4521 muc 497
1276.62/1276.69	c iter 502 time 1265.23 not-muc 765 unknown 4520 muc 498
1276.62/1276.69	c iter 503 time 1265.25 not-muc 765 unknown 4519 muc 499
1276.62/1276.69	c iter 504 time 1265.26 not-muc 765 unknown 4518 muc 500
1276.62/1276.69	c iter 505 time 1265.27 not-muc 765 unknown 4517 muc 501
1276.62/1276.69	c iter 506 time 1265.28 not-muc 765 unknown 4516 muc 502
1276.62/1276.69	c iter 507 time 1265.29 not-muc 765 unknown 4515 muc 503
1277.32/1277.30	c iter 508 time 1265.3 not-muc 765 unknown 4514 muc 504
1277.32/1277.30	c iter 509 time 1265.31 not-muc 765 unknown 4513 muc 505
1277.32/1277.30	c iter 510 time 1265.32 not-muc 765 unknown 4512 muc 506
1277.32/1277.30	c iter 511 time 1265.34 not-muc 765 unknown 4511 muc 507
1277.32/1277.30	c iter 512 time 1265.35 not-muc 765 unknown 4510 muc 508
1277.32/1277.30	c iter 513 time 1265.36 not-muc 765 unknown 4509 muc 509
1277.32/1277.30	c iter 514 time 1265.37 not-muc 765 unknown 4508 muc 510
1277.32/1277.30	c iter 515 time 1265.39 not-muc 765 unknown 4507 muc 511
1277.32/1277.30	c iter 516 time 1265.4 not-muc 765 unknown 4506 muc 512
1277.32/1277.30	c iter 517 time 1265.41 not-muc 765 unknown 4505 muc 513
1277.32/1277.30	c iter 518 time 1265.43 not-muc 765 unknown 4504 muc 514
1277.32/1277.30	c iter 519 time 1265.44 not-muc 765 unknown 4503 muc 515
1277.32/1277.30	c iter 520 time 1265.46 not-muc 765 unknown 4502 muc 516
1277.32/1277.30	c iter 521 time 1265.46 not-muc 765 unknown 4501 muc 517
1277.32/1277.30	c iter 522 time 1265.48 not-muc 765 unknown 4500 muc 518
1277.32/1277.30	c iter 523 time 1265.49 not-muc 765 unknown 4499 muc 519
1277.32/1277.30	c iter 524 time 1265.51 not-muc 765 unknown 4498 muc 520
1277.32/1277.30	c iter 525 time 1265.52 not-muc 765 unknown 4497 muc 521
1277.32/1277.30	c iter 526 time 1265.54 not-muc 765 unknown 4496 muc 522
1277.32/1277.30	c iter 527 time 1265.55 not-muc 765 unknown 4495 muc 523
1277.32/1277.30	c iter 528 time 1265.57 not-muc 765 unknown 4494 muc 524
1277.32/1277.30	c iter 529 time 1265.58 not-muc 765 unknown 4493 muc 525
1277.32/1277.30	c iter 530 time 1265.59 not-muc 765 unknown 4492 muc 526
1277.32/1277.30	c iter 531 time 1265.6 not-muc 765 unknown 4491 muc 527
1277.32/1277.30	c iter 532 time 1265.61 not-muc 765 unknown 4490 muc 528
1277.32/1277.30	c iter 533 time 1265.63 not-muc 765 unknown 4489 muc 529
1277.32/1277.30	c iter 534 time 1265.65 not-muc 765 unknown 4488 muc 530
1277.32/1277.30	c iter 535 time 1265.65 not-muc 765 unknown 4487 muc 531
1277.32/1277.30	c iter 536 time 1265.66 not-muc 765 unknown 4486 muc 532
1277.32/1277.30	c iter 537 time 1265.66 not-muc 765 unknown 4485 muc 533
1277.32/1277.30	c iter 538 time 1265.67 not-muc 765 unknown 4484 muc 534
1277.32/1277.30	c iter 539 time 1265.67 not-muc 765 unknown 4483 muc 535
1277.32/1277.30	c iter 540 time 1265.68 not-muc 765 unknown 4482 muc 536
1277.32/1277.30	c iter 541 time 1265.69 not-muc 765 unknown 4481 muc 537
1277.32/1277.30	c iter 542 time 1265.7 not-muc 765 unknown 4480 muc 538
1277.32/1277.30	c iter 543 time 1265.71 not-muc 765 unknown 4479 muc 539
1277.32/1277.30	c iter 544 time 1265.71 not-muc 765 unknown 4478 muc 540
1277.32/1277.30	c iter 545 time 1265.71 not-muc 765 unknown 4477 muc 541
1277.32/1277.30	c iter 546 time 1265.72 not-muc 765 unknown 4476 muc 542
1277.32/1277.30	c iter 547 time 1265.72 not-muc 765 unknown 4475 muc 543
1277.32/1277.30	c iter 548 time 1265.72 not-muc 765 unknown 4474 muc 544
1277.32/1277.30	c iter 549 time 1265.73 not-muc 765 unknown 4473 muc 545
1277.32/1277.30	c iter 550 time 1265.74 not-muc 765 unknown 4472 muc 546
1277.32/1277.30	c iter 551 time 1265.74 not-muc 765 unknown 4471 muc 547
1277.32/1277.30	c iter 552 time 1265.74 not-muc 765 unknown 4470 muc 548
1277.32/1277.30	c iter 553 time 1265.75 not-muc 765 unknown 4469 muc 549
1277.32/1277.30	c iter 554 time 1265.75 not-muc 765 unknown 4468 muc 550
1277.32/1277.30	c iter 555 time 1265.76 not-muc 765 unknown 4467 muc 551
1277.32/1277.30	c iter 556 time 1265.76 not-muc 765 unknown 4466 muc 552
1277.32/1277.30	c iter 557 time 1265.77 not-muc 765 unknown 4465 muc 553
1277.32/1277.30	c iter 558 time 1265.77 not-muc 765 unknown 4464 muc 554
1277.32/1277.30	c iter 559 time 1265.77 not-muc 765 unknown 4463 muc 555
1277.32/1277.30	c iter 560 time 1265.79 not-muc 765 unknown 4462 muc 556
1277.32/1277.30	c iter 561 time 1265.79 not-muc 765 unknown 4461 muc 557
1277.32/1277.30	c iter 562 time 1265.8 not-muc 765 unknown 4460 muc 558
1277.32/1277.30	c iter 563 time 1265.8 not-muc 765 unknown 4459 muc 559
1277.32/1277.30	c iter 564 time 1265.8 not-muc 765 unknown 4458 muc 560
1277.32/1277.30	c iter 565 time 1265.81 not-muc 765 unknown 4457 muc 561
1277.32/1277.30	c iter 566 time 1265.81 not-muc 765 unknown 4456 muc 562
1277.32/1277.30	c iter 567 time 1265.82 not-muc 765 unknown 4455 muc 563
1277.32/1277.30	c iter 568 time 1265.82 not-muc 765 unknown 4454 muc 564
1277.32/1277.30	c iter 569 time 1265.83 not-muc 765 unknown 4453 muc 565
1277.32/1277.30	c iter 570 time 1265.83 not-muc 765 unknown 4452 muc 566
1277.32/1277.30	c iter 571 time 1265.84 not-muc 765 unknown 4451 muc 567
1277.32/1277.30	c iter 572 time 1265.85 not-muc 765 unknown 4450 muc 568
1277.32/1277.30	c iter 573 time 1265.86 not-muc 765 unknown 4449 muc 569
1277.32/1277.30	c iter 574 time 1265.86 not-muc 765 unknown 4448 muc 570
1277.32/1277.30	c iter 575 time 1265.87 not-muc 765 unknown 4447 muc 571
1277.32/1277.30	c iter 576 time 1265.88 not-muc 765 unknown 4446 muc 572
1277.32/1277.30	c iter 577 time 1265.88 not-muc 765 unknown 4445 muc 573
1277.32/1277.30	c iter 578 time 1265.89 not-muc 765 unknown 4444 muc 574
1277.32/1277.30	c iter 579 time 1265.9 not-muc 765 unknown 4443 muc 575
1288.03/1288.08	c iter 580 time 1265.91 not-muc 765 unknown 4442 muc 576
1288.03/1288.08	c iter 581 time 1265.91 not-muc 765 unknown 4441 muc 577
1288.03/1288.08	c iter 582 time 1265.92 not-muc 765 unknown 4440 muc 578
1288.03/1288.08	c iter 583 time 1265.93 not-muc 765 unknown 4439 muc 579
1288.03/1288.08	c iter 584 time 1265.94 not-muc 765 unknown 4438 muc 580
1288.03/1288.08	c iter 585 time 1265.94 not-muc 765 unknown 4437 muc 581
1288.03/1288.08	c iter 586 time 1265.95 not-muc 765 unknown 4436 muc 582
1288.03/1288.08	c iter 587 time 1265.96 not-muc 765 unknown 4435 muc 583
1288.03/1288.08	c iter 588 time 1265.97 not-muc 765 unknown 4434 muc 584
1288.03/1288.08	c iter 589 time 1265.98 not-muc 765 unknown 4433 muc 585
1288.03/1288.08	c iter 590 time 1265.99 not-muc 765 unknown 4432 muc 586
1288.03/1288.08	c iter 591 time 1265.99 not-muc 765 unknown 4431 muc 587
1288.03/1288.08	c iter 592 time 1266 not-muc 765 unknown 4430 muc 588
1288.03/1288.08	c iter 593 time 1266.01 not-muc 765 unknown 4429 muc 589
1288.03/1288.08	c iter 594 time 1266.03 not-muc 765 unknown 4428 muc 590
1288.03/1288.08	c iter 595 time 1266.03 not-muc 765 unknown 4427 muc 591
1288.03/1288.08	c iter 596 time 1266.05 not-muc 765 unknown 4426 muc 592
1288.03/1288.08	c iter 597 time 1266.06 not-muc 765 unknown 4425 muc 593
1288.03/1288.08	c iter 598 time 1266.07 not-muc 765 unknown 4424 muc 594
1288.03/1288.08	c iter 599 time 1266.08 not-muc 765 unknown 4423 muc 595
1288.03/1288.08	c iter 600 time 1266.09 not-muc 765 unknown 4422 muc 596
1288.03/1288.08	c iter 601 time 1266.1 not-muc 765 unknown 4421 muc 597
1288.03/1288.08	c iter 602 time 1266.1 not-muc 765 unknown 4420 muc 598
1288.03/1288.08	c iter 603 time 1266.12 not-muc 765 unknown 4419 muc 599
1288.03/1288.08	c iter 604 time 1266.13 not-muc 765 unknown 4418 muc 600
1288.03/1288.08	c iter 605 time 1266.14 not-muc 765 unknown 4417 muc 601
1288.03/1288.08	c iter 606 time 1266.15 not-muc 765 unknown 4416 muc 602
1288.03/1288.08	c iter 607 time 1266.16 not-muc 765 unknown 4415 muc 603
1288.03/1288.08	c iter 608 time 1266.18 not-muc 765 unknown 4414 muc 604
1288.03/1288.08	c iter 609 time 1266.19 not-muc 765 unknown 4413 muc 605
1288.03/1288.08	c iter 610 time 1266.21 not-muc 765 unknown 4412 muc 606
1288.03/1288.08	c iter 611 time 1266.22 not-muc 765 unknown 4411 muc 607
1288.03/1288.08	c iter 612 time 1266.23 not-muc 765 unknown 4410 muc 608
1288.03/1288.08	c iter 613 time 1266.24 not-muc 765 unknown 4409 muc 609
1288.03/1288.08	c iter 614 time 1266.24 not-muc 765 unknown 4408 muc 610
1288.03/1288.08	c iter 615 time 1266.26 not-muc 765 unknown 4407 muc 611
1288.03/1288.08	c iter 616 time 1266.29 not-muc 765 unknown 4406 muc 612
1288.03/1288.08	c iter 617 time 1266.3 not-muc 765 unknown 4405 muc 613
1288.03/1288.08	c iter 618 time 1266.31 not-muc 765 unknown 4404 muc 614
1288.03/1288.08	c iter 619 time 1266.33 not-muc 765 unknown 4403 muc 615
1288.03/1288.08	c iter 620 time 1266.37 not-muc 765 unknown 4402 muc 616
1288.03/1288.08	c iter 621 time 1266.38 not-muc 765 unknown 4401 muc 617
1288.03/1288.08	c iter 622 time 1266.4 not-muc 765 unknown 4400 muc 618
1288.03/1288.08	c iter 623 time 1266.42 not-muc 765 unknown 4399 muc 619
1288.03/1288.08	c iter 624 time 1266.44 not-muc 765 unknown 4398 muc 620
1288.03/1288.08	c iter 625 time 1266.47 not-muc 765 unknown 4397 muc 621
1288.03/1288.08	c iter 626 time 1266.48 not-muc 765 unknown 4396 muc 622
1288.03/1288.08	c iter 627 time 1266.49 not-muc 765 unknown 4395 muc 623
1288.03/1288.08	c iter 628 time 1266.52 not-muc 765 unknown 4394 muc 624
1288.03/1288.08	c iter 629 time 1266.53 not-muc 765 unknown 4393 muc 625
1288.03/1288.08	c iter 630 time 1266.54 not-muc 765 unknown 4392 muc 626
1288.03/1288.08	c iter 631 time 1266.55 not-muc 765 unknown 4391 muc 627
1288.03/1288.08	c iter 632 time 1276.29 not-muc 765 unknown 4390 muc 628
1288.03/1288.08	c iter 633 time 1276.34 not-muc 765 unknown 4389 muc 629
1288.03/1288.08	c iter 634 time 1276.44 not-muc 765 unknown 4388 muc 630
1288.03/1288.08	c iter 635 time 1276.44 not-muc 765 unknown 4387 muc 631
1288.03/1288.08	c iter 636 time 1276.45 not-muc 765 unknown 4386 muc 632
1288.03/1288.08	c iter 637 time 1276.45 not-muc 765 unknown 4385 muc 633
1288.03/1288.08	c iter 638 time 1276.45 not-muc 765 unknown 4384 muc 634
1288.03/1288.08	c iter 639 time 1276.5 not-muc 765 unknown 4383 muc 635
1288.03/1288.08	c iter 640 time 1276.52 not-muc 765 unknown 4382 muc 636
1288.03/1288.08	c iter 641 time 1276.52 not-muc 765 unknown 4381 muc 637
1288.03/1288.08	c iter 642 time 1276.52 not-muc 765 unknown 4380 muc 638
1288.03/1288.08	c iter 643 time 1276.53 not-muc 765 unknown 4379 muc 639
1288.03/1288.08	c iter 644 time 1276.53 not-muc 765 unknown 4378 muc 640
1288.03/1288.08	c iter 645 time 1276.53 not-muc 765 unknown 4377 muc 641
1288.03/1288.08	c iter 646 time 1276.53 not-muc 765 unknown 4376 muc 642
1288.03/1288.08	c iter 647 time 1276.53 not-muc 765 unknown 4375 muc 643
1288.03/1288.08	c iter 648 time 1276.53 not-muc 765 unknown 4374 muc 644
1288.03/1288.08	c iter 649 time 1276.54 not-muc 765 unknown 4373 muc 645
1288.03/1288.08	c iter 650 time 1276.54 not-muc 765 unknown 4372 muc 646
1288.03/1288.08	c iter 651 time 1276.54 not-muc 765 unknown 4371 muc 647
1294.03/1294.08	c iter 652 time 1276.54 not-muc 765 unknown 4370 muc 648
1294.03/1294.08	c iter 653 time 1279.15 not-muc 765 unknown 4369 muc 649
1294.03/1294.08	c iter 654 time 1279.19 not-muc 765 unknown 4368 muc 650
1294.03/1294.08	c iter 655 time 1279.19 not-muc 765 unknown 4367 muc 651
1294.03/1294.08	c iter 656 time 1279.19 not-muc 765 unknown 4366 muc 652
1294.03/1294.08	c iter 657 time 1279.2 not-muc 765 unknown 4365 muc 653
1294.03/1294.08	c iter 658 time 1279.2 not-muc 765 unknown 4364 muc 654
1294.03/1294.08	c iter 659 time 1279.2 not-muc 765 unknown 4363 muc 655
1294.03/1294.08	c iter 660 time 1279.2 not-muc 765 unknown 4362 muc 656
1294.03/1294.08	c iter 661 time 1279.2 not-muc 765 unknown 4361 muc 657
1294.03/1294.08	c iter 662 time 1279.2 not-muc 765 unknown 4360 muc 658
1294.03/1294.08	c iter 663 time 1279.21 not-muc 765 unknown 4359 muc 659
1294.03/1294.08	c iter 664 time 1279.21 not-muc 765 unknown 4358 muc 660
1294.03/1294.08	c iter 665 time 1279.21 not-muc 765 unknown 4357 muc 661
1294.03/1294.08	c iter 666 time 1279.21 not-muc 765 unknown 4356 muc 662
1294.03/1294.08	c iter 667 time 1279.21 not-muc 765 unknown 4355 muc 663
1294.03/1294.08	c iter 668 time 1279.21 not-muc 765 unknown 4354 muc 664
1294.03/1294.08	c iter 669 time 1279.21 not-muc 765 unknown 4353 muc 665
1294.03/1294.08	c iter 670 time 1279.22 not-muc 765 unknown 4352 muc 666
1294.03/1294.08	c iter 671 time 1279.22 not-muc 765 unknown 4351 muc 667
1294.03/1294.08	c iter 672 time 1279.22 not-muc 765 unknown 4350 muc 668
1294.03/1294.08	c iter 673 time 1279.22 not-muc 765 unknown 4349 muc 669
1294.03/1294.08	c iter 674 time 1279.22 not-muc 765 unknown 4348 muc 670
1294.03/1294.08	c iter 675 time 1279.22 not-muc 765 unknown 4347 muc 671
1294.03/1294.08	c iter 676 time 1279.23 not-muc 765 unknown 4346 muc 672
1294.03/1294.08	c iter 677 time 1279.23 not-muc 765 unknown 4345 muc 673
1294.03/1294.08	c iter 678 time 1279.23 not-muc 765 unknown 4344 muc 674
1294.03/1294.08	c iter 679 time 1279.23 not-muc 765 unknown 4343 muc 675
1294.03/1294.08	c iter 680 time 1279.23 not-muc 765 unknown 4342 muc 676
1294.03/1294.08	c iter 681 time 1279.23 not-muc 765 unknown 4341 muc 677
1294.03/1294.08	c iter 682 time 1279.24 not-muc 765 unknown 4340 muc 678
1294.03/1294.08	c iter 683 time 1279.24 not-muc 765 unknown 4339 muc 679
1294.03/1294.08	c iter 684 time 1279.24 not-muc 765 unknown 4338 muc 680
1294.03/1294.08	c iter 685 time 1280.2 not-muc 765 unknown 4337 muc 681
1294.03/1294.08	c iter 686 time 1280.22 not-muc 765 unknown 4336 muc 682
1294.03/1294.08	c iter 687 time 1280.22 not-muc 765 unknown 4335 muc 683
1294.03/1294.08	c iter 688 time 1280.63 not-muc 765 unknown 4334 muc 684
1294.03/1294.08	c iter 689 time 1280.75 not-muc 765 unknown 4333 muc 685
1294.03/1294.08	c iter 690 time 1280.75 not-muc 765 unknown 4332 muc 686
1294.03/1294.08	c iter 691 time 1280.75 not-muc 765 unknown 4331 muc 687
1294.03/1294.08	c iter 692 time 1280.75 not-muc 765 unknown 4330 muc 688
1294.03/1294.08	c iter 693 time 1280.82 not-muc 765 unknown 4329 muc 689
1294.03/1294.08	c iter 694 time 1280.82 not-muc 765 unknown 4328 muc 690
1294.03/1294.08	c iter 695 time 1280.83 not-muc 765 unknown 4327 muc 691
1294.03/1294.08	c iter 696 time 1280.83 not-muc 765 unknown 4326 muc 692
1294.03/1294.08	c iter 697 time 1280.83 not-muc 765 unknown 4325 muc 693
1294.03/1294.08	c iter 698 time 1280.83 not-muc 765 unknown 4324 muc 694
1294.03/1294.08	c iter 699 time 1280.83 not-muc 765 unknown 4323 muc 695
1294.03/1294.08	c iter 700 time 1280.83 not-muc 765 unknown 4322 muc 696
1294.03/1294.08	c iter 701 time 1280.84 not-muc 765 unknown 4321 muc 697
1294.03/1294.08	c iter 702 time 1280.84 not-muc 765 unknown 4320 muc 698
1294.03/1294.08	c iter 703 time 1280.85 not-muc 765 unknown 4319 muc 699
1294.03/1294.08	c iter 704 time 1280.85 not-muc 765 unknown 4318 muc 700
1294.03/1294.08	c iter 705 time 1280.85 not-muc 765 unknown 4317 muc 701
1294.03/1294.08	c iter 706 time 1280.85 not-muc 765 unknown 4316 muc 702
1294.03/1294.08	c iter 707 time 1280.85 not-muc 765 unknown 4315 muc 703
1294.03/1294.08	c iter 708 time 1280.86 not-muc 765 unknown 4314 muc 704
1294.03/1294.08	c iter 709 time 1280.86 not-muc 765 unknown 4313 muc 705
1294.03/1294.08	c iter 710 time 1280.86 not-muc 765 unknown 4312 muc 706
1294.03/1294.08	c iter 711 time 1280.86 not-muc 765 unknown 4311 muc 707
1294.03/1294.08	c iter 712 time 1280.87 not-muc 765 unknown 4310 muc 708
1294.03/1294.08	c iter 713 time 1281.37 not-muc 765 unknown 4309 muc 709
1294.03/1294.08	c iter 714 time 1281.37 not-muc 765 unknown 4308 muc 710
1294.03/1294.08	c iter 715 time 1282.26 not-muc 765 unknown 4307 muc 711
1294.03/1294.08	c iter 716 time 1282.29 not-muc 765 unknown 4306 muc 712
1294.03/1294.08	c iter 717 time 1282.29 not-muc 765 unknown 4305 muc 713
1294.03/1294.08	c iter 718 time 1282.29 not-muc 765 unknown 4304 muc 714
1294.03/1294.08	c iter 719 time 1282.42 not-muc 765 unknown 4303 muc 715
1294.03/1294.08	c iter 720 time 1282.43 not-muc 765 unknown 4302 muc 716
1294.03/1294.08	c iter 721 time 1282.43 not-muc 765 unknown 4301 muc 717
1294.03/1294.08	c iter 722 time 1282.43 not-muc 765 unknown 4300 muc 718
1294.03/1294.08	c iter 723 time 1282.43 not-muc 765 unknown 4299 muc 719
1398.73/1398.76	c iter 724 time 1282.44 not-muc 765 unknown 4298 muc 720
1398.73/1398.76	c iter 725 time 1282.46 not-muc 765 unknown 4297 muc 721
1398.73/1398.76	c iter 726 time 1282.46 not-muc 765 unknown 4296 muc 722
1398.73/1398.76	c iter 727 time 1282.47 not-muc 765 unknown 4295 muc 723
1398.73/1398.76	c iter 728 time 1282.48 not-muc 765 unknown 4294 muc 724
1398.73/1398.76	c iter 729 time 1282.48 not-muc 765 unknown 4293 muc 725
1398.73/1398.76	c iter 730 time 1282.48 not-muc 765 unknown 4292 muc 726
1398.73/1398.76	c iter 731 time 1282.49 not-muc 765 unknown 4291 muc 727
1398.73/1398.76	c iter 732 time 1282.49 not-muc 765 unknown 4290 muc 728
1398.73/1398.76	c iter 733 time 1282.49 not-muc 765 unknown 4289 muc 729
1398.73/1398.76	c iter 734 time 1282.5 not-muc 765 unknown 4288 muc 730
1398.73/1398.76	c iter 735 time 1282.5 not-muc 765 unknown 4287 muc 731
1398.73/1398.76	c iter 736 time 1282.5 not-muc 765 unknown 4286 muc 732
1398.73/1398.76	c iter 737 time 1282.51 not-muc 765 unknown 4285 muc 733
1398.73/1398.76	c iter 738 time 1282.51 not-muc 765 unknown 4284 muc 734
1398.73/1398.76	c iter 739 time 1282.51 not-muc 765 unknown 4283 muc 735
1398.73/1398.76	c iter 740 time 1282.52 not-muc 765 unknown 4282 muc 736
1398.73/1398.76	c iter 741 time 1282.52 not-muc 765 unknown 4281 muc 737
1398.73/1398.76	c iter 742 time 1282.52 not-muc 765 unknown 4280 muc 738
1398.73/1398.76	c iter 743 time 1282.53 not-muc 765 unknown 4279 muc 739
1398.73/1398.76	c iter 744 time 1282.53 not-muc 765 unknown 4278 muc 740
1398.73/1398.76	c iter 745 time 1282.54 not-muc 765 unknown 4277 muc 741
1398.73/1398.76	c iter 746 time 1282.54 not-muc 765 unknown 4276 muc 742
1398.73/1398.76	c iter 747 time 1282.54 not-muc 765 unknown 4275 muc 743
1398.73/1398.76	c iter 748 time 1282.55 not-muc 765 unknown 4274 muc 744
1398.73/1398.76	c iter 749 time 1282.55 not-muc 765 unknown 4273 muc 745
1398.73/1398.76	c iter 750 time 1282.55 not-muc 765 unknown 4272 muc 746
1398.73/1398.76	c iter 751 time 1282.56 not-muc 765 unknown 4271 muc 747
1398.73/1398.76	c iter 752 time 1282.56 not-muc 765 unknown 4270 muc 748
1398.73/1398.76	c iter 753 time 1282.56 not-muc 765 unknown 4269 muc 749
1398.73/1398.76	c iter 754 time 1282.57 not-muc 765 unknown 4268 muc 750
1398.73/1398.76	c iter 755 time 1282.57 not-muc 765 unknown 4267 muc 751
1398.73/1398.76	c iter 756 time 1282.57 not-muc 765 unknown 4266 muc 752
1398.73/1398.76	c iter 757 time 1282.57 not-muc 765 unknown 4265 muc 753
1398.73/1398.76	c iter 758 time 1282.58 not-muc 765 unknown 4264 muc 754
1398.73/1398.76	c iter 759 time 1282.58 not-muc 765 unknown 4263 muc 755
1398.73/1398.76	c iter 760 time 1282.58 not-muc 765 unknown 4262 muc 756
1398.73/1398.76	c iter 761 time 1282.59 not-muc 765 unknown 4261 muc 757
1398.73/1398.76	c iter 762 time 1282.59 not-muc 765 unknown 4260 muc 758
1398.73/1398.76	c iter 763 time 1282.59 not-muc 765 unknown 4259 muc 759
1398.73/1398.76	c iter 764 time 1282.6 not-muc 765 unknown 4258 muc 760
1398.73/1398.76	c iter 765 time 1282.6 not-muc 765 unknown 4257 muc 761
1398.73/1398.76	c iter 766 time 1282.61 not-muc 765 unknown 4256 muc 762
1398.73/1398.76	c iter 767 time 1282.61 not-muc 765 unknown 4255 muc 763
1398.73/1398.76	c iter 768 time 1282.61 not-muc 765 unknown 4254 muc 764
1398.73/1398.76	c iter 769 time 1282.62 not-muc 765 unknown 4253 muc 765
1398.73/1398.76	c iter 770 time 1282.62 not-muc 765 unknown 4252 muc 766
1398.73/1398.76	c iter 771 time 1282.63 not-muc 765 unknown 4251 muc 767
1398.73/1398.76	c iter 772 time 1282.63 not-muc 765 unknown 4250 muc 768
1398.73/1398.76	c iter 773 time 1282.64 not-muc 765 unknown 4249 muc 769
1398.73/1398.76	c iter 774 time 1282.64 not-muc 765 unknown 4248 muc 770
1398.73/1398.76	c iter 775 time 1282.65 not-muc 765 unknown 4247 muc 771
1398.73/1398.76	c iter 776 time 1282.65 not-muc 765 unknown 4246 muc 772
1398.73/1398.76	c iter 777 time 1282.66 not-muc 765 unknown 4245 muc 773
1398.73/1398.76	c iter 778 time 1282.66 not-muc 765 unknown 4244 muc 774
1398.73/1398.76	c iter 779 time 1282.67 not-muc 765 unknown 4243 muc 775
1398.73/1398.76	c iter 780 time 1282.67 not-muc 765 unknown 4242 muc 776
1398.73/1398.76	c iter 781 time 1282.68 not-muc 765 unknown 4241 muc 777
1398.73/1398.76	c iter 782 time 1282.68 not-muc 765 unknown 4240 muc 778
1398.73/1398.76	c iter 783 time 1282.69 not-muc 765 unknown 4239 muc 779
1398.73/1398.76	c iter 784 time 1282.69 not-muc 765 unknown 4238 muc 780
1398.73/1398.76	c iter 785 time 1282.69 not-muc 765 unknown 4237 muc 781
1398.73/1398.76	c iter 786 time 1282.7 not-muc 765 unknown 4236 muc 782
1398.73/1398.76	c iter 787 time 1282.7 not-muc 765 unknown 4235 muc 783
1398.73/1398.76	c iter 788 time 1282.71 not-muc 765 unknown 4234 muc 784
1398.73/1398.76	c iter 789 time 1282.71 not-muc 765 unknown 4233 muc 785
1398.73/1398.76	c iter 790 time 1282.72 not-muc 765 unknown 4232 muc 786
1398.73/1398.76	c iter 791 time 1282.73 not-muc 765 unknown 4231 muc 787
1398.73/1398.76	c iter 792 time 1282.73 not-muc 765 unknown 4230 muc 788
1398.73/1398.76	c iter 793 time 1385.43 not-muc 765 unknown 4229 muc 789
1398.73/1398.76	c iter 794 time 1385.94 not-muc 765 unknown 4228 muc 790
1398.73/1398.76	c iter 795 time 1386.31 not-muc 765 unknown 4227 muc 791
1434.13/1434.10	c iter 796 time 1386.31 not-muc 765 unknown 4226 muc 792
1434.13/1434.10	c iter 797 time 1386.31 not-muc 765 unknown 4225 muc 793
1434.13/1434.10	c iter 798 time 1386.33 not-muc 765 unknown 4224 muc 794
1434.13/1434.10	c iter 799 time 1386.33 not-muc 765 unknown 4223 muc 795
1434.13/1434.10	c iter 800 time 1386.35 not-muc 765 unknown 4222 muc 796
1434.13/1434.10	c iter 801 time 1386.35 not-muc 765 unknown 4221 muc 797
1434.13/1434.10	c iter 802 time 1386.36 not-muc 765 unknown 4220 muc 798
1434.13/1434.10	c iter 803 time 1386.39 not-muc 765 unknown 4219 muc 799
1434.13/1434.10	c iter 804 time 1386.4 not-muc 765 unknown 4218 muc 800
1434.13/1434.10	c iter 805 time 1386.4 not-muc 765 unknown 4217 muc 801
1434.13/1434.10	c iter 806 time 1386.41 not-muc 765 unknown 4216 muc 802
1434.13/1434.10	c iter 807 time 1386.41 not-muc 765 unknown 4215 muc 803
1434.13/1434.10	c iter 808 time 1386.42 not-muc 765 unknown 4214 muc 804
1434.13/1434.10	c iter 809 time 1386.42 not-muc 765 unknown 4213 muc 805
1434.13/1434.10	c iter 810 time 1386.42 not-muc 765 unknown 4212 muc 806
1434.13/1434.10	c iter 811 time 1386.42 not-muc 765 unknown 4211 muc 807
1434.13/1434.10	c iter 812 time 1386.43 not-muc 765 unknown 4210 muc 808
1434.13/1434.10	c iter 813 time 1386.43 not-muc 765 unknown 4209 muc 809
1434.13/1434.10	c iter 814 time 1386.43 not-muc 765 unknown 4208 muc 810
1434.13/1434.10	c iter 815 time 1386.43 not-muc 765 unknown 4207 muc 811
1434.13/1434.10	c iter 816 time 1387.43 not-muc 765 unknown 4206 muc 812
1434.13/1434.10	c iter 817 time 1387.46 not-muc 765 unknown 4205 muc 813
1434.13/1434.10	c iter 818 time 1406.07 not-muc 765 unknown 4204 muc 814
1434.13/1434.10	c iter 819 time 1406.12 not-muc 765 unknown 4203 muc 815
1434.13/1434.10	c iter 820 time 1406.12 not-muc 765 unknown 4202 muc 816
1434.13/1434.10	c iter 821 time 1406.13 not-muc 765 unknown 4201 muc 817
1434.13/1434.10	c iter 822 time 1406.13 not-muc 765 unknown 4200 muc 818
1434.13/1434.10	c iter 823 time 1406.13 not-muc 765 unknown 4199 muc 819
1434.13/1434.10	c iter 824 time 1406.22 not-muc 765 unknown 4198 muc 820
1434.13/1434.10	c iter 825 time 1406.4 not-muc 765 unknown 4197 muc 821
1434.13/1434.10	c iter 826 time 1406.4 not-muc 765 unknown 4196 muc 822
1434.13/1434.10	c iter 827 time 1406.41 not-muc 765 unknown 4195 muc 823
1434.13/1434.10	c iter 828 time 1406.41 not-muc 765 unknown 4194 muc 824
1434.13/1434.10	c iter 829 time 1406.41 not-muc 765 unknown 4193 muc 825
1434.13/1434.10	c iter 830 time 1406.63 not-muc 765 unknown 4192 muc 826
1434.13/1434.10	c iter 831 time 1406.63 not-muc 765 unknown 4191 muc 827
1434.13/1434.10	c iter 832 time 1406.63 not-muc 765 unknown 4190 muc 828
1434.13/1434.10	c iter 833 time 1406.63 not-muc 765 unknown 4189 muc 829
1434.13/1434.10	c iter 834 time 1406.63 not-muc 765 unknown 4188 muc 830
1434.13/1434.10	c iter 835 time 1406.64 not-muc 765 unknown 4187 muc 831
1434.13/1434.10	c iter 836 time 1407.03 not-muc 765 unknown 4186 muc 832
1434.13/1434.10	c iter 837 time 1407.76 not-muc 765 unknown 4185 muc 833
1434.13/1434.10	c iter 838 time 1407.79 not-muc 765 unknown 4184 muc 834
1434.13/1434.10	c iter 839 time 1407.79 not-muc 765 unknown 4183 muc 835
1434.13/1434.10	c iter 840 time 1407.8 not-muc 765 unknown 4182 muc 836
1434.13/1434.10	c iter 841 time 1407.8 not-muc 765 unknown 4181 muc 837
1434.13/1434.10	c iter 842 time 1407.8 not-muc 765 unknown 4180 muc 838
1434.13/1434.10	c iter 843 time 1407.8 not-muc 765 unknown 4179 muc 839
1434.13/1434.10	c iter 844 time 1407.8 not-muc 765 unknown 4178 muc 840
1434.13/1434.10	c iter 845 time 1407.8 not-muc 765 unknown 4177 muc 841
1434.13/1434.10	c iter 846 time 1407.81 not-muc 765 unknown 4176 muc 842
1434.13/1434.10	c iter 847 time 1407.81 not-muc 765 unknown 4175 muc 843
1434.13/1434.10	c iter 848 time 1407.81 not-muc 765 unknown 4174 muc 844
1434.13/1434.10	c iter 849 time 1407.81 not-muc 765 unknown 4173 muc 845
1434.13/1434.10	c iter 850 time 1407.81 not-muc 765 unknown 4172 muc 846
1434.13/1434.10	c iter 851 time 1407.82 not-muc 765 unknown 4171 muc 847
1434.13/1434.10	c iter 852 time 1407.82 not-muc 765 unknown 4170 muc 848
1434.13/1434.10	c iter 853 time 1407.83 not-muc 765 unknown 4169 muc 849
1434.13/1434.10	c iter 854 time 1407.83 not-muc 765 unknown 4168 muc 850
1434.13/1434.10	c iter 855 time 1407.83 not-muc 765 unknown 4167 muc 851
1434.13/1434.10	c iter 856 time 1408.9 not-muc 765 unknown 4166 muc 852
1434.13/1434.10	c iter 857 time 1408.93 not-muc 765 unknown 4165 muc 853
1434.13/1434.10	c iter 858 time 1408.94 not-muc 765 unknown 4164 muc 854
1434.13/1434.10	c iter 859 time 1408.95 not-muc 765 unknown 4163 muc 855
1434.13/1434.10	c iter 860 time 1420.52 not-muc 765 unknown 4162 muc 856
1434.13/1434.10	c iter 861 time 1420.61 not-muc 765 unknown 4161 muc 857
1434.13/1434.10	c iter 862 time 1420.61 not-muc 765 unknown 4160 muc 858
1434.13/1434.10	c iter 863 time 1421.21 not-muc 765 unknown 4159 muc 859
1434.13/1434.10	c iter 864 time 1421.21 not-muc 765 unknown 4158 muc 860
1434.13/1434.10	c iter 865 time 1421.21 not-muc 765 unknown 4157 muc 861
1434.13/1434.10	c iter 866 time 1421.21 not-muc 765 unknown 4156 muc 862
1434.13/1434.10	c iter 867 time 1421.21 not-muc 765 unknown 4155 muc 863
1590.64/1590.62	c iter 868 time 1421.21 not-muc 765 unknown 4154 muc 864
1590.64/1590.62	c iter 869 time 1421.4 not-muc 765 unknown 4153 muc 865
1590.64/1590.62	c iter 870 time 1421.71 not-muc 765 unknown 4152 muc 866
1590.64/1590.62	c iter 871 time 1438.11 not-muc 765 unknown 4151 muc 867
1590.64/1590.62	c iter 872 time 1438.82 not-muc 765 unknown 4150 muc 868
1590.64/1590.62	c iter 873 time 1438.84 not-muc 765 unknown 4149 muc 869
1590.64/1590.62	c iter 874 time 1455.35 not-muc 765 unknown 4148 muc 870
1590.64/1590.62	c iter 875 time 1455.41 not-muc 765 unknown 4147 muc 871
1590.64/1590.62	c iter 876 time 1455.41 not-muc 765 unknown 4146 muc 872
1590.64/1590.62	c iter 877 time 1455.42 not-muc 765 unknown 4145 muc 873
1590.64/1590.62	c iter 878 time 1455.48 not-muc 765 unknown 4144 muc 874
1590.64/1590.62	c iter 879 time 1526.97 not-muc 765 unknown 4143 muc 875
1590.64/1590.62	c iter 880 time 1536.54 not-muc 765 unknown 4142 muc 876
1590.64/1590.62	c iter 881 time 1536.58 not-muc 765 unknown 4141 muc 877
1590.64/1590.62	c iter 882 time 1536.59 not-muc 765 unknown 4140 muc 878
1590.64/1590.62	c iter 883 time 1536.59 not-muc 765 unknown 4139 muc 879
1590.64/1590.62	c iter 884 time 1536.6 not-muc 765 unknown 4138 muc 880
1590.64/1590.62	c iter 885 time 1536.6 not-muc 765 unknown 4137 muc 881
1590.64/1590.62	c iter 886 time 1536.6 not-muc 765 unknown 4136 muc 882
1590.64/1590.62	c iter 887 time 1537.25 not-muc 765 unknown 4135 muc 883
1590.64/1590.62	c iter 888 time 1537.49 not-muc 765 unknown 4134 muc 884
1590.64/1590.62	c iter 889 time 1539.5 not-muc 765 unknown 4133 muc 885
1590.64/1590.62	c iter 890 time 1539.97 not-muc 765 unknown 4132 muc 886
1590.64/1590.62	c iter 891 time 1539.97 not-muc 765 unknown 4131 muc 887
1590.64/1590.62	c iter 892 time 1539.97 not-muc 765 unknown 4130 muc 888
1590.64/1590.62	c iter 893 time 1540.04 not-muc 765 unknown 4129 muc 889
1590.64/1590.62	c iter 894 time 1540.04 not-muc 765 unknown 4128 muc 890
1590.64/1590.62	c iter 895 time 1540.05 not-muc 765 unknown 4127 muc 891
1590.64/1590.62	c iter 896 time 1540.05 not-muc 765 unknown 4126 muc 892
1590.64/1590.62	c iter 897 time 1540.05 not-muc 765 unknown 4125 muc 893
1590.64/1590.62	c iter 898 time 1540.08 not-muc 765 unknown 4124 muc 894
1590.64/1590.62	c iter 899 time 1540.29 not-muc 765 unknown 4123 muc 895
1590.64/1590.62	c iter 900 time 1540.3 not-muc 765 unknown 4122 muc 896
1590.64/1590.62	c iter 901 time 1540.3 not-muc 765 unknown 4121 muc 897
1590.64/1590.62	c iter 902 time 1540.68 not-muc 765 unknown 4120 muc 898
1590.64/1590.62	c iter 903 time 1540.71 not-muc 765 unknown 4119 muc 899
1590.64/1590.62	c iter 904 time 1540.93 not-muc 765 unknown 4118 muc 900
1590.64/1590.62	c iter 905 time 1540.93 not-muc 765 unknown 4117 muc 901
1590.64/1590.62	c iter 906 time 1542.53 not-muc 765 unknown 4116 muc 902
1590.64/1590.62	c iter 907 time 1562.73 not-muc 765 unknown 4115 muc 903
1590.64/1590.62	c iter 908 time 1564.85 not-muc 765 unknown 4114 muc 904
1590.64/1590.62	c iter 909 time 1574.64 not-muc 765 unknown 4113 muc 905
1590.64/1590.62	c iter 910 time 1574.67 not-muc 765 unknown 4112 muc 906
1590.64/1590.62	c iter 911 time 1574.67 not-muc 765 unknown 4111 muc 907
1590.64/1590.62	c iter 912 time 1574.67 not-muc 765 unknown 4110 muc 908
1590.64/1590.62	c iter 913 time 1575.71 not-muc 765 unknown 4109 muc 909
1590.64/1590.62	c iter 914 time 1575.74 not-muc 765 unknown 4108 muc 910
1590.64/1590.62	c iter 915 time 1575.75 not-muc 765 unknown 4107 muc 911
1590.64/1590.62	c iter 916 time 1575.75 not-muc 765 unknown 4106 muc 912
1590.64/1590.62	c iter 917 time 1576.12 not-muc 765 unknown 4105 muc 913
1590.64/1590.62	c iter 918 time 1576.12 not-muc 765 unknown 4104 muc 914
1590.64/1590.62	c iter 919 time 1576.13 not-muc 765 unknown 4103 muc 915
1590.64/1590.62	c iter 920 time 1576.13 not-muc 765 unknown 4102 muc 916
1590.64/1590.62	c iter 921 time 1576.13 not-muc 765 unknown 4101 muc 917
1590.64/1590.62	c iter 922 time 1576.13 not-muc 765 unknown 4100 muc 918
1590.64/1590.62	c iter 923 time 1576.14 not-muc 765 unknown 4099 muc 919
1590.64/1590.62	c iter 924 time 1576.15 not-muc 765 unknown 4098 muc 920
1590.64/1590.62	c iter 925 time 1576.15 not-muc 765 unknown 4097 muc 921
1590.64/1590.62	c iter 926 time 1576.16 not-muc 765 unknown 4096 muc 922
1590.64/1590.62	c iter 927 time 1576.17 not-muc 765 unknown 4095 muc 923
1590.64/1590.62	c iter 928 time 1576.19 not-muc 765 unknown 4094 muc 924
1590.64/1590.62	c iter 929 time 1576.19 not-muc 765 unknown 4093 muc 925
1590.64/1590.62	c iter 930 time 1576.2 not-muc 765 unknown 4092 muc 926
1590.64/1590.62	c iter 931 time 1576.2 not-muc 765 unknown 4091 muc 927
1590.64/1590.62	c iter 932 time 1576.2 not-muc 765 unknown 4090 muc 928
1590.64/1590.62	c iter 933 time 1576.21 not-muc 765 unknown 4089 muc 929
1590.64/1590.62	c iter 934 time 1576.22 not-muc 765 unknown 4088 muc 930
1590.64/1590.62	c iter 935 time 1576.23 not-muc 765 unknown 4087 muc 931
1590.64/1590.62	c iter 936 time 1576.23 not-muc 765 unknown 4086 muc 932
1590.64/1590.62	c iter 937 time 1576.24 not-muc 765 unknown 4085 muc 933
1590.64/1590.62	c iter 938 time 1576.24 not-muc 765 unknown 4084 muc 934
1590.64/1590.62	c iter 939 time 1576.25 not-muc 765 unknown 4083 muc 935
1604.94/1604.92	c iter 940 time 1576.25 not-muc 765 unknown 4082 muc 936
1604.94/1604.92	c iter 941 time 1576.26 not-muc 765 unknown 4081 muc 937
1604.94/1604.92	c iter 942 time 1576.26 not-muc 765 unknown 4080 muc 938
1604.94/1604.92	c iter 943 time 1576.27 not-muc 765 unknown 4079 muc 939
1604.94/1604.92	c iter 944 time 1576.27 not-muc 765 unknown 4078 muc 940
1604.94/1604.92	c iter 945 time 1576.28 not-muc 765 unknown 4077 muc 941
1604.94/1604.92	c iter 946 time 1576.28 not-muc 765 unknown 4076 muc 942
1604.94/1604.92	c iter 947 time 1576.29 not-muc 765 unknown 4075 muc 943
1604.94/1604.92	c iter 948 time 1576.3 not-muc 765 unknown 4074 muc 944
1604.94/1604.92	c iter 949 time 1576.3 not-muc 765 unknown 4073 muc 945
1604.94/1604.92	c iter 950 time 1576.31 not-muc 765 unknown 4072 muc 946
1604.94/1604.92	c iter 951 time 1576.31 not-muc 765 unknown 4071 muc 947
1604.94/1604.92	c iter 952 time 1576.32 not-muc 765 unknown 4070 muc 948
1604.94/1604.92	c iter 953 time 1576.33 not-muc 765 unknown 4069 muc 949
1604.94/1604.92	c iter 954 time 1576.33 not-muc 765 unknown 4068 muc 950
1604.94/1604.92	c iter 955 time 1576.34 not-muc 765 unknown 4067 muc 951
1604.94/1604.92	c iter 956 time 1576.35 not-muc 765 unknown 4066 muc 952
1604.94/1604.92	c iter 957 time 1576.36 not-muc 765 unknown 4065 muc 953
1604.94/1604.92	c iter 958 time 1576.4 not-muc 765 unknown 4064 muc 954
1604.94/1604.92	c iter 959 time 1576.4 not-muc 765 unknown 4063 muc 955
1604.94/1604.92	c iter 960 time 1576.43 not-muc 765 unknown 4062 muc 956
1604.94/1604.92	c iter 961 time 1576.44 not-muc 765 unknown 4061 muc 957
1604.94/1604.92	c iter 962 time 1576.46 not-muc 765 unknown 4060 muc 958
1604.94/1604.92	c iter 963 time 1589.94 not-muc 765 unknown 4059 muc 959
1604.94/1604.92	c iter 964 time 1589.98 not-muc 765 unknown 4058 muc 960
1604.94/1604.92	c iter 965 time 1590 not-muc 765 unknown 4057 muc 961
1604.94/1604.92	c iter 966 time 1590.01 not-muc 765 unknown 4056 muc 962
1604.94/1604.92	c iter 967 time 1590.06 not-muc 765 unknown 4055 muc 963
1604.94/1604.92	c iter 968 time 1590.06 not-muc 765 unknown 4054 muc 964
1604.94/1604.92	c iter 969 time 1590.06 not-muc 765 unknown 4053 muc 965
1604.94/1604.92	c iter 970 time 1590.07 not-muc 765 unknown 4052 muc 966
1604.94/1604.92	c iter 971 time 1590.14 not-muc 765 unknown 4051 muc 967
1604.94/1604.92	c iter 972 time 1590.15 not-muc 765 unknown 4050 muc 968
1604.94/1604.92	c iter 973 time 1590.17 not-muc 765 unknown 4049 muc 969
1604.94/1604.92	c iter 974 time 1590.18 not-muc 765 unknown 4048 muc 970
1604.94/1604.92	c iter 975 time 1590.18 not-muc 765 unknown 4047 muc 971
1604.94/1604.92	c iter 976 time 1590.18 not-muc 765 unknown 4046 muc 972
1604.94/1604.92	c iter 977 time 1590.18 not-muc 765 unknown 4045 muc 973
1604.94/1604.92	c iter 978 time 1590.18 not-muc 765 unknown 4044 muc 974
1604.94/1604.92	c iter 979 time 1590.19 not-muc 765 unknown 4043 muc 975
1604.94/1604.92	c iter 980 time 1590.19 not-muc 765 unknown 4042 muc 976
1604.94/1604.92	c iter 981 time 1590.19 not-muc 765 unknown 4041 muc 977
1604.94/1604.92	c iter 982 time 1590.19 not-muc 765 unknown 4040 muc 978
1604.94/1604.92	c iter 983 time 1590.19 not-muc 765 unknown 4039 muc 979
1604.94/1604.92	c iter 984 time 1590.2 not-muc 765 unknown 4038 muc 980
1604.94/1604.92	c iter 985 time 1590.2 not-muc 765 unknown 4037 muc 981
1604.94/1604.92	c iter 986 time 1590.2 not-muc 765 unknown 4036 muc 982
1604.94/1604.92	c iter 987 time 1590.31 not-muc 765 unknown 4035 muc 983
1604.94/1604.92	c iter 988 time 1590.31 not-muc 765 unknown 4034 muc 984
1604.94/1604.92	c iter 989 time 1590.32 not-muc 765 unknown 4033 muc 985
1604.94/1604.92	c iter 990 time 1590.32 not-muc 765 unknown 4032 muc 986
1604.94/1604.92	c iter 991 time 1590.32 not-muc 765 unknown 4031 muc 987
1604.94/1604.92	c iter 992 time 1590.32 not-muc 765 unknown 4030 muc 988
1604.94/1604.92	c iter 993 time 1590.33 not-muc 765 unknown 4029 muc 989
1604.94/1604.92	c iter 994 time 1590.33 not-muc 765 unknown 4028 muc 990
1604.94/1604.92	c iter 995 time 1590.33 not-muc 765 unknown 4027 muc 991
1604.94/1604.92	c iter 996 time 1590.33 not-muc 765 unknown 4026 muc 992
1604.94/1604.92	c iter 997 time 1590.33 not-muc 765 unknown 4025 muc 993
1604.94/1604.92	c iter 998 time 1590.33 not-muc 765 unknown 4024 muc 994
1604.94/1604.92	c iter 999 time 1590.34 not-muc 765 unknown 4023 muc 995
1604.94/1604.92	c iter 1000 time 1590.34 not-muc 765 unknown 4022 muc 996
1604.94/1604.92	c iter 1001 time 1590.34 not-muc 765 unknown 4021 muc 997
1604.94/1604.92	c iter 1002 time 1590.35 not-muc 765 unknown 4020 muc 998
1604.94/1604.92	c iter 1003 time 1590.35 not-muc 765 unknown 4019 muc 999
1604.94/1604.92	c iter 1004 time 1590.35 not-muc 765 unknown 4018 muc 1000
1604.94/1604.92	c iter 1005 time 1590.35 not-muc 765 unknown 4017 muc 1001
1604.94/1604.92	c iter 1006 time 1590.35 not-muc 765 unknown 4016 muc 1002
1604.94/1604.92	c iter 1007 time 1590.35 not-muc 765 unknown 4015 muc 1003
1604.94/1604.92	c iter 1008 time 1590.36 not-muc 765 unknown 4014 muc 1004
1604.94/1604.92	c iter 1009 time 1590.36 not-muc 765 unknown 4013 muc 1005
1604.94/1604.92	c iter 1010 time 1590.36 not-muc 765 unknown 4012 muc 1006
1604.94/1604.92	c iter 1011 time 1590.36 not-muc 765 unknown 4011 muc 1007
1605.03/1605.09	c iter 1012 time 1590.36 not-muc 765 unknown 4010 muc 1008
1605.03/1605.09	c iter 1013 time 1590.36 not-muc 765 unknown 4009 muc 1009
1605.03/1605.09	c iter 1014 time 1590.37 not-muc 765 unknown 4008 muc 1010
1605.03/1605.09	c iter 1015 time 1590.37 not-muc 765 unknown 4007 muc 1011
1605.03/1605.09	c iter 1016 time 1590.37 not-muc 765 unknown 4006 muc 1012
1605.03/1605.09	c iter 1017 time 1590.37 not-muc 765 unknown 4005 muc 1013
1605.03/1605.09	c iter 1018 time 1590.38 not-muc 765 unknown 4004 muc 1014
1605.03/1605.09	c iter 1019 time 1590.38 not-muc 765 unknown 4003 muc 1015
1605.03/1605.09	c iter 1020 time 1590.38 not-muc 765 unknown 4002 muc 1016
1605.03/1605.09	c iter 1021 time 1590.38 not-muc 765 unknown 4001 muc 1017
1605.03/1605.09	c iter 1022 time 1590.38 not-muc 765 unknown 4000 muc 1018
1605.03/1605.09	c iter 1023 time 1590.38 not-muc 765 unknown 3999 muc 1019
1605.03/1605.09	c iter 1024 time 1590.39 not-muc 765 unknown 3998 muc 1020
1605.03/1605.09	c iter 1025 time 1590.4 not-muc 765 unknown 3997 muc 1021
1605.03/1605.09	c iter 1026 time 1590.4 not-muc 765 unknown 3996 muc 1022
1605.03/1605.09	c iter 1027 time 1590.4 not-muc 765 unknown 3995 muc 1023
1605.03/1605.09	c iter 1028 time 1590.4 not-muc 765 unknown 3994 muc 1024
1605.03/1605.09	c iter 1029 time 1590.41 not-muc 765 unknown 3993 muc 1025
1605.03/1605.09	c iter 1030 time 1590.41 not-muc 765 unknown 3992 muc 1026
1605.03/1605.09	c iter 1031 time 1590.41 not-muc 765 unknown 3991 muc 1027
1605.03/1605.09	c iter 1032 time 1590.41 not-muc 765 unknown 3990 muc 1028
1605.03/1605.09	c iter 1033 time 1590.42 not-muc 765 unknown 3989 muc 1029
1605.03/1605.09	c iter 1034 time 1590.42 not-muc 765 unknown 3988 muc 1030
1605.03/1605.09	c iter 1035 time 1590.42 not-muc 765 unknown 3987 muc 1031
1605.03/1605.09	c iter 1036 time 1590.42 not-muc 765 unknown 3986 muc 1032
1605.03/1605.09	c iter 1037 time 1590.42 not-muc 765 unknown 3985 muc 1033
1605.03/1605.09	c iter 1038 time 1590.43 not-muc 765 unknown 3984 muc 1034
1605.03/1605.09	c iter 1039 time 1590.43 not-muc 765 unknown 3983 muc 1035
1605.03/1605.09	c iter 1040 time 1590.43 not-muc 765 unknown 3982 muc 1036
1605.03/1605.09	c iter 1041 time 1590.43 not-muc 765 unknown 3981 muc 1037
1605.03/1605.09	c iter 1042 time 1590.43 not-muc 765 unknown 3980 muc 1038
1605.03/1605.09	c iter 1043 time 1590.44 not-muc 765 unknown 3979 muc 1039
1605.03/1605.09	c iter 1044 time 1590.44 not-muc 765 unknown 3978 muc 1040
1605.03/1605.09	c iter 1045 time 1590.44 not-muc 765 unknown 3977 muc 1041
1605.03/1605.09	c iter 1046 time 1590.44 not-muc 765 unknown 3976 muc 1042
1605.03/1605.09	c iter 1047 time 1590.45 not-muc 765 unknown 3975 muc 1043
1605.03/1605.09	c iter 1048 time 1590.45 not-muc 765 unknown 3974 muc 1044
1605.03/1605.09	c iter 1049 time 1590.45 not-muc 765 unknown 3973 muc 1045
1605.03/1605.09	c iter 1050 time 1590.45 not-muc 765 unknown 3972 muc 1046
1605.03/1605.09	c iter 1051 time 1590.46 not-muc 765 unknown 3971 muc 1047
1605.03/1605.09	c iter 1052 time 1590.46 not-muc 765 unknown 3970 muc 1048
1605.03/1605.09	c iter 1053 time 1590.46 not-muc 765 unknown 3969 muc 1049
1605.03/1605.09	c iter 1054 time 1590.46 not-muc 765 unknown 3968 muc 1050
1605.03/1605.09	c iter 1055 time 1590.47 not-muc 765 unknown 3967 muc 1051
1605.03/1605.09	c iter 1056 time 1590.47 not-muc 765 unknown 3966 muc 1052
1605.03/1605.09	c iter 1057 time 1590.47 not-muc 765 unknown 3965 muc 1053
1605.03/1605.09	c iter 1058 time 1590.47 not-muc 765 unknown 3964 muc 1054
1605.03/1605.09	c iter 1059 time 1590.47 not-muc 765 unknown 3963 muc 1055
1605.03/1605.09	c iter 1060 time 1590.48 not-muc 765 unknown 3962 muc 1056
1605.03/1605.09	c iter 1061 time 1590.48 not-muc 765 unknown 3961 muc 1057
1605.03/1605.09	c iter 1062 time 1590.48 not-muc 765 unknown 3960 muc 1058
1605.03/1605.09	c iter 1063 time 1590.49 not-muc 765 unknown 3959 muc 1059
1605.03/1605.09	c iter 1064 time 1590.49 not-muc 765 unknown 3958 muc 1060
1605.03/1605.09	c iter 1065 time 1590.49 not-muc 765 unknown 3957 muc 1061
1605.03/1605.09	c iter 1066 time 1590.49 not-muc 765 unknown 3956 muc 1062
1605.03/1605.09	c iter 1067 time 1590.49 not-muc 765 unknown 3955 muc 1063
1605.03/1605.09	c iter 1068 time 1590.5 not-muc 765 unknown 3954 muc 1064
1605.03/1605.09	c iter 1069 time 1590.5 not-muc 765 unknown 3953 muc 1065
1605.03/1605.09	c iter 1070 time 1590.5 not-muc 765 unknown 3952 muc 1066
1605.03/1605.09	c iter 1071 time 1590.5 not-muc 765 unknown 3951 muc 1067
1605.03/1605.09	c iter 1072 time 1590.51 not-muc 765 unknown 3950 muc 1068
1605.03/1605.09	c iter 1073 time 1590.51 not-muc 765 unknown 3949 muc 1069
1605.03/1605.09	c iter 1074 time 1590.51 not-muc 765 unknown 3948 muc 1070
1605.03/1605.09	c iter 1075 time 1590.52 not-muc 765 unknown 3947 muc 1071
1605.03/1605.09	c iter 1076 time 1590.52 not-muc 765 unknown 3946 muc 1072
1605.03/1605.09	c iter 1077 time 1590.52 not-muc 765 unknown 3945 muc 1073
1605.03/1605.09	c iter 1078 time 1590.52 not-muc 765 unknown 3944 muc 1074
1605.03/1605.09	c iter 1079 time 1590.53 not-muc 765 unknown 3943 muc 1075
1605.03/1605.09	c iter 1080 time 1590.53 not-muc 765 unknown 3942 muc 1076
1605.03/1605.09	c ite

ERROR: Unexpected answer ! (UNSATISFIABLE expected)
Got answer: <no 's ' line found>

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3501968-1308043928/watcher-3501968-1308043928 -o /tmp/evaluation-result-3501968-1308043928/solver-3501968-1308043928 -C 1800 -W 1850 -M 7680 HOME/hhlmuc-a HOME/instance-3501968-1308043928.gcnf -mark-learnt-ic 

running on 2 cores: 1,3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.05 1.24 1.98 8/179 8829
/proc/meminfo: memFree=32067792/32951124 swapFree=67060180/67111528
[pid=8826] ppid=8822 vsize=20792 CPUtime=0 cores=1,3
/proc/8826/stat : 8826 (hhlmuc-a) R 8822 8826 8293 0 -1 4202496 722 0 0 0 0 0 0 0 18 0 1 0 915993249 21291008 662 33554432000 4194304 4312002 140735839436640 18446744073709551615 4297257 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/8826/statm: 5198 662 218 29 0 1827 0

[startup+0.0907169 s]
/proc/loadavg: 1.05 1.24 1.98 8/179 8829
/proc/meminfo: memFree=32067792/32951124 swapFree=67060180/67111528
[pid=8826] ppid=8822 vsize=24544 CPUtime=0.08 cores=1,3
/proc/8826/stat : 8826 (hhlmuc-a) R 8822 8826 8293 0 -1 4202496 2570 0 0 0 8 0 0 0 18 0 1 0 915993249 25133056 2326 33554432000 4194304 4312002 140735839436640 18446744073709551615 4232121 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/8826/statm: 6136 2326 226 29 0 2765 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 24544

[startup+0.100702 s]
/proc/loadavg: 1.05 1.24 1.98 8/179 8829
/proc/meminfo: memFree=32067792/32951124 swapFree=67060180/67111528
[pid=8826] ppid=8822 vsize=24544 CPUtime=0.09 cores=1,3
/proc/8826/stat : 8826 (hhlmuc-a) R 8822 8826 8293 0 -1 4202496 2570 0 0 0 9 0 0 0 18 0 1 0 915993249 25133056 2326 33554432000 4194304 4312002 140735839436640 18446744073709551615 4214866 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/8826/statm: 6136 2326 226 29 0 2765 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24544

[startup+0.300666 s]
/proc/loadavg: 1.05 1.24 1.98 8/179 8829
/proc/meminfo: memFree=32067792/32951124 swapFree=67060180/67111528
[pid=8826] ppid=8822 vsize=26644 CPUtime=0.29 cores=1,3
/proc/8826/stat : 8826 (hhlmuc-a) R 8822 8826 8293 0 -1 4202496 4340 0 0 0 29 0 0 0 18 0 1 0 915993249 27283456 3336 33554432000 4194304 4312002 140735839436640 18446744073709551615 4287182 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/8826/statm: 6661 3336 246 29 0 3290 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26644

[startup+0.700597 s]
/proc/loadavg: 1.05 1.24 1.98 8/179 8829
/proc/meminfo: memFree=32067792/32951124 swapFree=67060180/67111528
[pid=8826] ppid=8822 vsize=49920 CPUtime=0.69 cores=1,3
/proc/8826/stat : 8826 (hhlmuc-a) R 8822 8826 8293 0 -1 4202496 8177 0 0 0 68 1 0 0 18 0 1 0 915993249 51118080 7164 33554432000 4194304 4312002 140735839436640 18446744073709551615 4263170 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/8826/statm: 12480 7164 246 29 0 9109 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49920

[startup+1.50045 s]
/proc/loadavg: 1.05 1.24 1.98 7/187 8842
/proc/meminfo: memFree=31889356/32951124 swapFree=67060180/67111528
[pid=8826] ppid=8822 vsize=100068 CPUtime=1.49 cores=1,3
/proc/8826/stat : 8826 (hhlmuc-a) R 8822 8826 8293 0 -1 4202496 15921 0 0 0 147 2 0 0 20 0 1 0 915993249 102469632 14901 33554432000 4194304 4312002 140735839436640 18446744073709551615 4259743 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/8826/statm: 25017 14902 246 29 0 21646 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 100068

[startup+3.10016 s]
/proc/loadavg: 1.05 1.24 1.98 7/187 8842
/proc/meminfo: memFree=31781476/32951124 swapFree=67060180/67111528
[pid=8826] ppid=8822 vsize=151612 CPUtime=3.09 cores=1,3
/proc/8826/stat : 8826 (hhlmuc-a) R 8822 8826 8293 0 -1 4202496 28779 0 0 0 306 3 0 0 25 0 1 0 915993249 155250688 27741 33554432000 4194304 4312002 140735839436640 18446744073709551615 4287182 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/8826/statm: 37903 27741 246 29 0 34532 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 151612

[startup+6.30058 s]
/proc/loadavg: 1.29 1.29 1.99 7/187 8842
/proc/meminfo: memFree=31500212/32951124 swapFree=67060180/67111528
[pid=8826] ppid=8822 vsize=233864 CPUtime=6.29 cores=1,3
/proc/8826/stat : 8826 (hhlmuc-a) R 8822 8826 8293 0 -1 4202496 52004 0 0 0 624 5 0 0 25 0 1 0 915993249 239476736 50939 33554432000 4194304 4312002 140735839436640 18446744073709551615 4271944 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/8826/statm: 58466 50939 246 29 0 55095 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 233864

[startup+12.7004 s]
/proc/loadavg: 1.50 1.33 2.00 7/187 8843
/proc/meminfo: memFree=31050312/32951124 swapFree=67060180/67111528
[pid=8826] ppid=8822 vsize=105324 CPUtime=12.69 cores=1,3
/proc/8826/stat : 8826 (hhlmuc-a) R 8822 8826 8293 0 -1 4202496 107010 0 0 0 1254 15 0 0 25 0 1 0 915993249 107851776 17824 33554432000 4194304 4312002 140735839436640 18446744073709551615 4271902 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/8826/statm: 26331 17827 246 29 0 22960 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 105324

[startup+25.5011 s]
/proc/loadavg: 2.06 1.46 2.03 5/187 8843
/proc/meminfo: memFree=30928424/32951124 swapFree=67060180/67111528
[pid=8826] ppid=8822 vsize=587832 CPUtime=25.49 cores=1,3
/proc/8826/stat : 8826 (hhlmuc-a) R 8822 8826 8293 0 -1 4202496 196212 0 0 0 2522 27 0 0 25 0 1 0 915993249 601939968 106895 33554432000 4194304 4312002 140735839436640 18446744073709551615 4287182 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/8826/statm: 146958 106895 246 29 0 143587 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 587832

[startup+51.1004 s]
/proc/loadavg: 2.72 1.66 2.08 7/187 8844
/proc/meminfo: memFree=30743932/32951124 swapFree=67060180/67111528
[pid=8826] ppid=8822 vsize=939876 CPUtime=51.09 cores=1,3
/proc/8826/stat : 8826 (hhlmuc-a) R 8822 8826 8293 0 -1 4202496 344787 0 0 0 5063 46 0 0 25 0 1 0 915993249 962433024 148684 33554432000 4194304 4312002 140735839436640 18446744073709551615 4264976 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/8826/statm: 234969 148684 246 29 0 231598 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 939876

[startup+102.307 s]
/proc/loadavg: 3.44 2.02 2.18 7/187 8845
/proc/meminfo: memFree=30877804/32951124 swapFree=67060180/67111528
[pid=8826] ppid=8822 vsize=941268 CPUtime=102.3 cores=1,3
/proc/8826/stat : 8826 (hhlmuc-a) R 8822 8826 8293 0 -1 4202496 581779 0 0 0 10151 79 0 0 25 0 1 0 915993249 963858432 183283 33554432000 4194304 4312002 140735839436640 18446744073709551615 4260782 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/8826/statm: 235317 183283 246 29 0 231946 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 941268

[startup+162.3 s]
/proc/loadavg: 3.79 2.38 2.29 7/187 8846
/proc/meminfo: memFree=31060504/32951124 swapFree=67060180/67111528
[pid=8826] ppid=8822 vsize=944268 CPUtime=162.29 cores=1,3
/proc/8826/stat : 8826 (hhlmuc-a) R 8822 8826 8293 0 -1 4202496 962011 0 0 0 16094 135 0 0 25 0 1 0 915993249 966930432 180483 33554432000 4194304 4312002 140735839436640 18446744073709551615 4264603 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/8826/statm: 236067 180483 246 29 0 232696 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 944268

[startup+222.3 s]
/proc/loadavg: 3.92 2.67 2.39 7/187 8848
/proc/meminfo: memFree=31693720/32951124 swapFree=67060180/67111528
[pid=8826] ppid=8822 vsize=121420 CPUtime=222.3 cores=1,3
/proc/8826/stat : 8826 (hhlmuc-a) R 8822 8826 8293 0 -1 4202496 1294726 0 0 0 22050 180 0 0 25 0 1 0 915993249 124334080 26512 33554432000 4194304 4312002 140735839436640 18446744073709551615 4260782 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/8826/statm: 30355 26517 264 29 0 26984 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 121420

[startup+282.3 s]
/proc/loadavg: 3.97 2.91 2.49 7/187 8850
/proc/meminfo: memFree=31550780/32951124 swapFree=67060180/67111528
[pid=8826] ppid=8822 vsize=252896 CPUtime=282.3 cores=1,3
/proc/8826/stat : 8826 (hhlmuc-a) R 8822 8826 8293 0 -1 4202496 1807415 0 0 0 27974 256 0 0 25 0 1 0 915993249 258965504 54865 33554432000 4194304 4312002 140735839436640 18446744073709551615 4264787 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/8826/statm: 63224 54865 264 29 0 59853 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 252896

[startup+342.301 s]
/proc/loadavg: 3.99 3.11 2.58 6/187 8888
/proc/meminfo: memFree=31615136/32951124 swapFree=67060180/67111528
[pid=8826] ppid=8822 vsize=253656 CPUtime=342.3 cores=1,3
/proc/8826/stat : 8826 (hhlmuc-a) R 8822 8826 8293 0 -1 4202496 2263516 0 0 0 33905 325 0 0 25 0 1 0 915993249 259743744 40514 33554432000 4194304 4312002 140735839436640 18446744073709551615 4264368 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/8826/statm: 63414 40514 264 29 0 60043 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 253656

[startup+402.301 s]
/proc/loadavg: 3.99 3.27 2.67 6/187 8890
/proc/meminfo: memFree=31566308/32951124 swapFree=67060180/67111528
[pid=8826] ppid=8822 vsize=255196 CPUtime=402.3 cores=1,3
/proc/8826/stat : 8826 (hhlmuc-a) R 8822 8826 8293 0 -1 4202496 2719678 0 0 0 39834 396 0 0 25 0 1 0 915993249 261320704 46907 33554432000 4194304 4312002 140735839436640 18446744073709551615 4265429 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/8826/statm: 63799 46907 264 29 0 60428 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 255196

[startup+462.301 s]
/proc/loadavg: 3.99 3.40 2.75 5/187 8929
/proc/meminfo: memFree=31485624/32951124 swapFree=67060180/67111528
[pid=8826] ppid=8822 vsize=255480 CPUtime=462.31 cores=1,3
/proc/8826/stat : 8826 (hhlmuc-a) R 8822 8826 8293 0 -1 4202496 3082349 0 0 0 45779 452 0 0 25 0 1 0 915993249 261611520 55804 33554432000 4194304 4312002 140735839436640 18446744073709551615 4287182 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/8826/statm: 63870 55804 264 29 0 60499 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 255480

[startup+522.301 s]
/proc/loadavg: 3.99 3.50 2.83 5/187 8967
/proc/meminfo: memFree=31533792/32951124 swapFree=67060180/67111528
[pid=8826] ppid=8822 vsize=255884 CPUtime=522.31 cores=1,3
/proc/8826/stat : 8826 (hhlmuc-a) R 8822 8826 8293 0 -1 4202496 3564386 0 0 0 51709 522 0 0 25 0 1 0 915993249 262025216 51507 33554432000 4194304 4312002 140735839436640 18446744073709551615 4264784 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/8826/statm: 63971 51507 264 29 0 60600 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 255884

[startup+582.301 s]
/proc/loadavg: 3.99 3.59 2.90 5/187 8969
/proc/meminfo: memFree=31196380/32951124 swapFree=67060180/67111528
[pid=8826] ppid=8822 vsize=604252 CPUtime=582.31 cores=1,3
/proc/8826/stat : 8826 (hhlmuc-a) R 8822 8826 8293 0 -1 4202496 3956522 0 0 0 57655 576 0 0 25 0 1 0 915993249 618754048 129794 33554432000 4194304 4312002 140735839436640 18446744073709551615 4264815 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/8826/statm: 151063 129794 264 29 0 147692 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 604252

[startup+642.301 s]

################
# More data... #
################

[startup+822.3 s]
/proc/loadavg: 3.94 3.81 3.14 4/181 8999
/proc/meminfo: memFree=31667420/32951124 swapFree=67060180/67111528
[pid=8826] ppid=8822 vsize=259488 CPUtime=822.31 cores=1,3
/proc/8826/stat : 8826 (hhlmuc-a) R 8822 8826 8293 0 -1 4202496 5317330 0 0 0 81455 776 0 0 25 0 1 0 915993249 265715712 51809 33554432000 4194304 4312002 140735839436640 18446744073709551615 4287182 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/8826/statm: 64872 51809 264 29 0 61501 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 259488

[startup+882.3 s]
/proc/loadavg: 3.34 3.66 3.12 4/181 9001
/proc/meminfo: memFree=31749648/32951124 swapFree=67060180/67111528
[pid=8826] ppid=8822 vsize=179380 CPUtime=882.31 cores=1,3
/proc/8826/stat : 8826 (hhlmuc-a) R 8822 8826 8293 0 -1 4202496 5773533 0 0 0 87386 845 0 0 25 0 1 0 915993249 183685120 29117 33554432000 4194304 4312002 140735839436640 18446744073709551615 4287182 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/8826/statm: 44845 29117 264 29 0 41474 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 179380

[startup+942.3 s]
/proc/loadavg: 3.18 3.55 3.12 4/181 9002
/proc/meminfo: memFree=31540892/32951124 swapFree=67060180/67111528
[pid=8826] ppid=8822 vsize=261832 CPUtime=942.32 cores=1,3
/proc/8826/stat : 8826 (hhlmuc-a) R 8822 8826 8293 0 -1 4202496 6189702 0 0 0 93328 904 0 0 25 0 1 0 915993249 268115968 50903 33554432000 4194304 4312002 140735839436640 18446744073709551615 4287182 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/8826/statm: 65458 50903 264 29 0 62087 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 261832

[startup+1002.3 s]
/proc/loadavg: 3.06 3.45 3.11 4/181 9004
/proc/meminfo: memFree=31049784/32951124 swapFree=67060180/67111528
[pid=8826] ppid=8822 vsize=958264 CPUtime=1002.32 cores=1,3
/proc/8826/stat : 8826 (hhlmuc-a) R 8822 8826 8293 0 -1 4202496 6473978 0 0 0 99292 940 0 0 25 0 1 0 915993249 981262336 194939 33554432000 4194304 4312002 140735839436640 18446744073709551615 4260770 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/8826/statm: 239566 194939 264 29 0 236195 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 958264

[startup+1062.3 s]
/proc/loadavg: 3.02 3.36 3.10 4/181 9005
/proc/meminfo: memFree=31628900/32951124 swapFree=67060180/67111528
[pid=8826] ppid=8822 vsize=394732 CPUtime=1062.32 cores=1,3
/proc/8826/stat : 8826 (hhlmuc-a) R 8822 8826 8293 0 -1 4202496 6680393 0 0 0 105263 969 0 0 25 0 1 0 915993249 404205568 61781 33554432000 4194304 4312002 140735839436640 18446744073709551615 4273336 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/8826/statm: 98683 61781 264 29 0 95312 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 394732

[startup+1122.3 s]
/proc/loadavg: 2.37 3.14 3.03 2/169 9055
/proc/meminfo: memFree=31153308/32951124 swapFree=67060180/67111528
[pid=8826] ppid=8822 vsize=958904 CPUtime=1122.33 cores=1,3
/proc/8826/stat : 8826 (hhlmuc-a) R 8822 8826 8293 0 -1 4202496 6849552 0 0 0 111240 993 0 0 25 0 1 0 915993249 981917696 230882 33554432000 4194304 4312002 140735839436640 18446744073709551615 4264795 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/8826/statm: 239726 230882 264 29 0 236355 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 958904

[startup+1182.3 s]
/proc/loadavg: 1.50 2.74 2.90 2/169 9057
/proc/meminfo: memFree=31980364/32951124 swapFree=67060180/67111528
[pid=8826] ppid=8822 vsize=182684 CPUtime=1182.33 cores=1,3
/proc/8826/stat : 8826 (hhlmuc-a) R 8822 8826 8293 0 -1 4202496 7231681 0 0 0 117181 1052 0 0 25 0 1 0 915993249 187068416 31462 33554432000 4194304 4312002 140735839436640 18446744073709551615 4264784 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/8826/statm: 45671 31462 264 29 0 42300 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 182684

[startup+1242.3 s]
/proc/loadavg: 1.18 2.42 2.78 2/169 9058
/proc/meminfo: memFree=31894884/32951124 swapFree=67060180/67111528
[pid=8826] ppid=8822 vsize=264072 CPUtime=1242.33 cores=1,3
/proc/8826/stat : 8826 (hhlmuc-a) R 8822 8826 8293 0 -1 4202496 7646987 0 0 0 123122 1111 0 0 25 0 1 0 915993249 270409728 48494 33554432000 4194304 4312002 140735839436640 18446744073709551615 4264486 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/8826/statm: 66018 48494 264 29 0 62647 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 264072

[startup+1302.3 s]
/proc/loadavg: 1.06 2.16 2.67 2/169 9060
/proc/meminfo: memFree=31769852/32951124 swapFree=67060180/67111528
[pid=8826] ppid=8822 vsize=396332 CPUtime=1302.33 cores=1,3
/proc/8826/stat : 8826 (hhlmuc-a) R 8822 8826 8293 0 -1 4202496 8096003 0 0 0 129056 1177 0 0 25 0 1 0 915993249 405843968 76423 33554432000 4194304 4312002 140735839436640 18446744073709551615 4287182 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/8826/statm: 99083 76423 264 29 0 95712 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 396332

[startup+1362.3 s]
/proc/loadavg: 1.02 1.95 2.56 2/169 9061
/proc/meminfo: memFree=31903364/32951124 swapFree=67060180/67111528
[pid=8826] ppid=8822 vsize=264072 CPUtime=1362.33 cores=1,3
/proc/8826/stat : 8826 (hhlmuc-a) R 8822 8826 8293 0 -1 4202496 8387294 0 0 0 135012 1221 0 0 25 0 1 0 915993249 270409728 45084 33554432000 4194304 4312002 140735839436640 18446744073709551615 4261056 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/8826/statm: 66018 45084 264 29 0 62647 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 264072

[startup+1422.31 s]
/proc/loadavg: 1.01 1.77 2.46 2/169 9063
/proc/meminfo: memFree=31987036/32951124 swapFree=67060180/67111528
[pid=8826] ppid=8822 vsize=132596 CPUtime=1422.34 cores=1,3
/proc/8826/stat : 8826 (hhlmuc-a) R 8822 8826 8293 0 -1 4202496 8804373 0 0 0 140954 1280 0 0 25 0 1 0 915993249 135778304 23203 33554432000 4194304 4312002 140735839436640 18446744073709551615 4264795 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/8826/statm: 33149 23204 264 29 0 29778 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 132596

[startup+1482.3 s]
/proc/loadavg: 1.00 1.63 2.36 2/169 9065
/proc/meminfo: memFree=31708356/32951124 swapFree=67060180/67111528
[pid=8826] ppid=8822 vsize=396332 CPUtime=1482.33 cores=1,3
/proc/8826/stat : 8826 (hhlmuc-a) R 8822 8826 8293 0 -1 4202496 9235041 0 0 0 146890 1343 0 0 25 0 1 0 915993249 405843968 94622 33554432000 4194304 4312002 140735839436640 18446744073709551615 4261056 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/8826/statm: 99083 94622 264 29 0 95712 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 396332

[startup+1542.3 s]
/proc/loadavg: 1.00 1.51 2.28 2/169 9066
/proc/meminfo: memFree=31900528/32951124 swapFree=67060180/67111528
[pid=8826] ppid=8822 vsize=264072 CPUtime=1542.33 cores=1,3
/proc/8826/stat : 8826 (hhlmuc-a) R 8822 8826 8293 0 -1 4202496 9484060 0 0 0 152853 1380 0 0 25 0 1 0 915993249 270409728 44992 33554432000 4194304 4312002 140735839436640 18446744073709551615 4287182 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/8826/statm: 66018 44993 264 29 0 62647 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 264072

[startup+1602.3 s]
/proc/loadavg: 1.00 1.42 2.19 2/169 9068
/proc/meminfo: memFree=31945744/32951124 swapFree=67060180/67111528
[pid=8826] ppid=8822 vsize=182684 CPUtime=1602.34 cores=1,3
/proc/8826/stat : 8826 (hhlmuc-a) R 8822 8826 8293 0 -1 4202496 10001686 0 0 0 158778 1456 0 0 25 0 1 0 915993249 187068416 38653 33554432000 4194304 4312002 140735839436640 18446744073709551615 4287182 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/8826/statm: 45671 38653 264 29 0 42300 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 182684

[startup+1662.3 s]
/proc/loadavg: 1.00 1.34 2.12 2/169 9070
/proc/meminfo: memFree=31616104/32951124 swapFree=67060180/67111528
[pid=8826] ppid=8822 vsize=611968 CPUtime=1662.34 cores=1,3
/proc/8826/stat : 8826 (hhlmuc-a) R 8822 8826 8293 0 -1 4202496 10373895 0 0 0 164724 1510 0 0 25 0 1 0 915993249 626655232 116290 33554432000 4194304 4312002 140735839436640 18446744073709551615 4272291 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/8826/statm: 152992 116290 264 29 0 149621 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 611968

[startup+1722.3 s]
/proc/loadavg: 1.00 1.27 2.04 2/169 9071
/proc/meminfo: memFree=31478304/32951124 swapFree=67060180/67111528
[pid=8826] ppid=8822 vsize=962496 CPUtime=1722.34 cores=1,3
/proc/8826/stat : 8826 (hhlmuc-a) R 8822 8826 8293 0 -1 4202496 10829208 0 0 0 170660 1574 0 0 25 0 1 0 915993249 985595904 152781 33554432000 4194304 4312002 140735839436640 18446744073709551615 4260782 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/8826/statm: 240624 152784 264 29 0 237253 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 962496

[startup+1782.3 s]
/proc/loadavg: 1.00 1.22 1.98 2/169 9082
/proc/meminfo: memFree=31799496/32951124 swapFree=67060180/67111528
[pid=8826] ppid=8822 vsize=399176 CPUtime=1782.34 cores=1,3
/proc/8826/stat : 8826 (hhlmuc-a) R 8822 8826 8293 0 -1 4202496 11149996 0 0 0 176612 1622 0 0 25 0 1 0 915993249 408756224 70162 33554432000 4194304 4312002 140735839436640 18446744073709551615 4261056 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/8826/statm: 99794 70162 264 29 0 96423 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 399176



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.00 1.21 1.95 2/169 9082
/proc/meminfo: memFree=31517624/32951124 swapFree=67060180/67111528
[pid=8826] ppid=8822 vsize=614100 CPUtime=1800.04 cores=1,3
/proc/8826/stat : 8826 (hhlmuc-a) R 8822 8826 8293 0 -1 4202496 11219208 0 0 0 178373 1631 0 0 25 0 1 0 915993249 628838400 139337 33554432000 4194304 4312002 140735839436640 18446744073709551615 4287182 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/8826/statm: 153525 139337 264 29 0 150154 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 614100

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.08
CPU user time (s): 1783.74
CPU system time (s): 16.3395
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2644992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.74
system time used= 16.3395
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11219211
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= 51
involuntary context switches= 1710

runsolver used 2.52961 second user time and 6.589 second system time

The end

Begin job on node106 at 2011-06-14 11:32:08
IDJOB=3501968
IDBENCH=90008
IDSOLVER=2003
FILE ID=node106/3501968-1308043928
RUNJOBID= node106-1308043928-8789
PBS_JOBID= 13564709
Free space on /tmp= 74088 MiB

SOLVER NAME= Haifa-HLMUC-A 2011-04-07
BENCH NAME= SAT11/gmus/belov/4pipe.gcnf
COMMAND LINE= HOME/hhlmuc-a BENCHNAME -mark-learnt-ic
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3501968-1308043928/watcher-3501968-1308043928 -o /tmp/evaluation-result-3501968-1308043928/solver-3501968-1308043928 -C 1800 -W 1850 -M 7680  HOME/hhlmuc-a HOME/instance-3501968-1308043928.gcnf -mark-learnt-ic

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 7c0ff5b6fc063a44b2fb545ecba84871
RANDOM SEED=231724872

node106.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      32070192 kB
Buffers:        181888 kB
Cached:         483220 kB
SwapCached:      13084 kB
Active:         215292 kB
Inactive:       468712 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32070192 kB
SwapTotal:    67111528 kB
SwapFree:     67060180 kB
Dirty:           17888 kB
Writeback:           0 kB
AnonPages:       15476 kB
Mapped:           9592 kB
Slab:           132524 kB
PageTables:       4244 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   162384 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74092 MiB
End job on node106 at 2011-06-14 12:02:11