0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.02/0.91	c #variables 10000 #constraints 10000
0.62/1.51	c bounds - >= 0 @ 0.034118
0.62/1.51	c bounds 3334 >= 0 @ 0.534327
0.62/1.51	c bounds 3334 >= 1 @ 0.535162
0.62/1.51	c bounds 3334 >= 2 @ 0.535162
0.62/1.51	c bounds 3334 >= 3 @ 0.535614
0.62/1.51	c bounds 3334 >= 4 @ 0.536084
0.62/1.51	c bounds 3334 >= 5 @ 0.536577
0.62/1.51	c bounds 3334 >= 6 @ 0.537068
0.62/1.51	c bounds 3334 >= 7 @ 0.537589
0.62/1.51	c bounds 3334 >= 8 @ 0.538052
0.62/1.51	c bounds 3334 >= 9 @ 0.538537
0.62/1.51	c bounds 3334 >= 10 @ 0.539015
0.62/1.51	c bounds 3334 >= 11 @ 0.539474
0.62/1.51	c bounds 3334 >= 12 @ 0.539935
0.62/1.51	c bounds 3334 >= 13 @ 0.540381
0.62/1.51	c bounds 3334 >= 14 @ 0.540847
0.62/1.51	c bounds 3334 >= 15 @ 0.541309
0.62/1.51	c bounds 3334 >= 16 @ 0.541793
0.62/1.51	c bounds 3334 >= 17 @ 0.542273
0.62/1.51	c bounds 3334 >= 18 @ 0.542776
0.62/1.51	c bounds 3334 >= 19 @ 0.543232
0.62/1.51	c bounds 3334 >= 20 @ 0.543732
0.62/1.51	c bounds 3334 >= 21 @ 0.5442
0.62/1.51	c bounds 3334 >= 22 @ 0.544718
0.62/1.51	c bounds 3334 >= 23 @ 0.545205
0.62/1.51	c bounds 3334 >= 24 @ 0.545687
0.62/1.51	c bounds 3334 >= 25 @ 0.546155
0.62/1.51	c bounds 3334 >= 26 @ 0.546622
0.62/1.51	c bounds 3334 >= 27 @ 0.547084
0.62/1.51	c bounds 3334 >= 28 @ 0.54755
0.62/1.51	c bounds 3334 >= 29 @ 0.548014
0.62/1.51	c bounds 3334 >= 30 @ 0.548475
0.62/1.51	c bounds 3334 >= 31 @ 0.548974
0.62/1.51	c bounds 3334 >= 32 @ 0.549434
0.62/1.51	c bounds 3334 >= 33 @ 0.549892
0.62/1.51	c bounds 3334 >= 34 @ 0.550365
0.62/1.51	c bounds 3334 >= 35 @ 0.550937
0.62/1.51	c bounds 3334 >= 36 @ 0.550937
0.62/1.51	c bounds 3334 >= 37 @ 0.551073
0.62/1.51	c bounds 3334 >= 38 @ 0.551662
0.62/1.51	c bounds 3334 >= 39 @ 0.552191
0.62/1.51	c bounds 3334 >= 40 @ 0.552727
0.62/1.51	c bounds 3334 >= 41 @ 0.553273
0.62/1.51	c bounds 3334 >= 42 @ 0.55383
0.62/1.51	c bounds 3334 >= 43 @ 0.554248
0.62/1.51	c bounds 3334 >= 44 @ 0.554248
0.62/1.51	c bounds 3334 >= 45 @ 0.554476
0.62/1.51	c bounds 3334 >= 46 @ 0.555017
0.62/1.51	c bounds 3334 >= 47 @ 0.555547
0.62/1.51	c bounds 3334 >= 48 @ 0.55608
0.62/1.51	c bounds 3334 >= 49 @ 0.556643
0.62/1.51	c bounds 3334 >= 50 @ 0.557165
0.62/1.51	c bounds 3334 >= 51 @ 0.557726
0.62/1.51	c bounds 3334 >= 52 @ 0.558255
0.62/1.51	c bounds 3334 >= 53 @ 0.558794
0.62/1.51	c bounds 3334 >= 54 @ 0.559318
0.62/1.51	c bounds 3334 >= 55 @ 0.559859
0.62/1.51	c bounds 3334 >= 56 @ 0.560236
0.62/1.51	c bounds 3334 >= 57 @ 0.560236
0.62/1.51	c bounds 3334 >= 58 @ 0.560527
0.62/1.51	c bounds 3334 >= 59 @ 0.561027
0.62/1.51	c bounds 3334 >= 60 @ 0.561573
0.62/1.51	c bounds 3334 >= 61 @ 0.562067
0.62/1.51	c bounds 3334 >= 62 @ 0.562565
0.62/1.51	c bounds 3334 >= 63 @ 0.563069
0.62/1.51	c bounds 3334 >= 64 @ 0.563612
0.62/1.51	c bounds 3334 >= 65 @ 0.564113
0.62/1.51	c bounds 3334 >= 66 @ 0.564669
0.62/1.51	c bounds 3334 >= 67 @ 0.565208
0.62/1.51	c bounds 3334 >= 68 @ 0.56583
0.62/1.51	c bounds 3334 >= 69 @ 0.566222
0.62/1.51	c bounds 3334 >= 70 @ 0.566222
0.62/1.51	c bounds 3334 >= 71 @ 0.56669
0.62/1.51	c bounds 3334 >= 72 @ 0.567229
0.62/1.51	c bounds 3334 >= 73 @ 0.567802
0.62/1.51	c bounds 3334 >= 74 @ 0.568217
0.62/1.51	c bounds 3334 >= 75 @ 0.568217
0.62/1.51	c bounds 3334 >= 76 @ 0.568606
0.62/1.51	c bounds 3334 >= 77 @ 0.569142
0.62/1.51	c bounds 3334 >= 78 @ 0.569759
0.62/1.51	c bounds 3334 >= 79 @ 0.570336
0.62/1.51	c bounds 3334 >= 80 @ 0.57092
0.62/1.51	c bounds 3334 >= 81 @ 0.571501
0.62/1.51	c bounds 3334 >= 82 @ 0.572071
0.62/1.51	c bounds 3334 >= 83 @ 0.572633
0.62/1.51	c bounds 3334 >= 84 @ 0.573233
0.62/1.51	c bounds 3334 >= 85 @ 0.573787
0.62/1.51	c bounds 3334 >= 86 @ 0.574202
0.62/1.51	c bounds 3334 >= 87 @ 0.574202
0.62/1.51	c bounds 3334 >= 88 @ 0.574546
0.62/1.51	c bounds 3334 >= 89 @ 0.575101
0.62/1.51	c bounds 3334 >= 90 @ 0.575694
0.62/1.51	c bounds 3334 >= 91 @ 0.576295
0.62/1.51	c bounds 3334 >= 92 @ 0.576856
0.62/1.51	c bounds 3334 >= 93 @ 0.577422
0.62/1.51	c bounds 3334 >= 94 @ 0.577983
0.62/1.51	c bounds 3334 >= 95 @ 0.578585
0.62/1.51	c bounds 3334 >= 96 @ 0.579122
0.62/1.51	c bounds 3334 >= 97 @ 0.579658
0.62/1.51	c bounds 3334 >= 98 @ 0.580216
0.62/1.51	c bounds 3334 >= 99 @ 0.580756
0.62/1.51	c bounds 3334 >= 100 @ 0.581187
0.62/1.51	c bounds 3334 >= 101 @ 0.581187
0.62/1.51	c bounds 3334 >= 102 @ 0.581534
0.62/1.51	c bounds 3334 >= 103 @ 0.582141
0.62/1.51	c bounds 3334 >= 104 @ 0.58279
0.62/1.51	c bounds 3334 >= 105 @ 0.583181
0.62/1.51	c bounds 3334 >= 106 @ 0.583181
0.62/1.51	c bounds 3334 >= 107 @ 0.583719
0.62/1.51	c bounds 3334 >= 108 @ 0.584179
0.62/1.51	c bounds 3334 >= 109 @ 0.584179
0.62/1.51	c bounds 3334 >= 110 @ 0.584646
0.62/1.51	c bounds 3334 >= 111 @ 0.585222
0.62/1.51	c bounds 3334 >= 112 @ 0.585836
0.62/1.51	c bounds 3334 >= 113 @ 0.586173
0.62/1.51	c bounds 3334 >= 114 @ 0.586173
0.62/1.51	c bounds 3334 >= 115 @ 0.586735
0.62/1.51	c bounds 3334 >= 116 @ 0.58717
0.62/1.51	c bounds 3334 >= 117 @ 0.58717
0.62/1.51	c bounds 3334 >= 118 @ 0.587612
0.62/1.51	c bounds 3334 >= 119 @ 0.588149
0.62/1.51	c bounds 3334 >= 120 @ 0.588771
0.62/1.51	c bounds 3334 >= 121 @ 0.589166
0.62/1.51	c bounds 3334 >= 122 @ 0.589166
0.62/1.51	c bounds 3334 >= 123 @ 0.589666
0.62/1.51	c bounds 3334 >= 124 @ 0.590225
0.62/1.51	c bounds 3334 >= 125 @ 0.590824
0.62/1.51	c bounds 3334 >= 126 @ 0.591161
0.62/1.51	c bounds 3334 >= 127 @ 0.591161
0.62/1.51	c bounds 3334 >= 128 @ 0.591695
0.62/1.51	c bounds 3334 >= 129 @ 0.592239
0.62/1.51	c bounds 3334 >= 130 @ 0.592824
0.82/1.71	c bounds 3334 >= 131 @ 0.593417
0.82/1.71	c bounds 3334 >= 132 @ 0.594003
0.82/1.71	c bounds 3334 >= 133 @ 0.594621
0.82/1.71	c bounds 3334 >= 134 @ 0.595196
0.82/1.71	c bounds 3334 >= 135 @ 0.595869
0.82/1.71	c bounds 3334 >= 136 @ 0.596508
0.82/1.71	c bounds 3334 >= 137 @ 0.597144
0.82/1.71	c bounds 3334 >= 138 @ 0.597144
0.82/1.71	c bounds 3334 >= 139 @ 0.597484
0.82/1.71	c bounds 3334 >= 140 @ 0.598145
0.82/1.71	c bounds 3334 >= 141 @ 0.598814
0.82/1.71	c bounds 3334 >= 142 @ 0.599479
0.82/1.71	c bounds 3334 >= 143 @ 0.600177
0.82/1.71	c bounds 3334 >= 144 @ 0.600825
0.82/1.71	c bounds 3334 >= 145 @ 0.601477
0.82/1.71	c bounds 3334 >= 146 @ 0.602129
0.82/1.71	c bounds 3334 >= 147 @ 0.602798
0.82/1.71	c bounds 3334 >= 148 @ 0.60347
0.82/1.71	c bounds 3334 >= 149 @ 0.604153
0.82/1.71	c bounds 3334 >= 150 @ 0.604794
0.82/1.71	c bounds 3334 >= 151 @ 0.605129
0.82/1.71	c bounds 3334 >= 152 @ 0.605129
0.82/1.71	c bounds 3334 >= 153 @ 0.605794
0.82/1.71	c bounds 3334 >= 154 @ 0.606126
0.82/1.71	c bounds 3334 >= 155 @ 0.606126
0.82/1.71	c bounds 3334 >= 156 @ 0.60677
0.82/1.71	c bounds 3334 >= 157 @ 0.607124
0.82/1.71	c bounds 3334 >= 158 @ 0.607124
0.82/1.71	c bounds 3334 >= 159 @ 0.607724
0.82/1.71	c bounds 3334 >= 160 @ 0.608372
0.82/1.71	c bounds 3334 >= 161 @ 0.609
0.82/1.71	c bounds 3334 >= 162 @ 0.609655
0.82/1.71	c bounds 3334 >= 163 @ 0.610118
0.82/1.71	c bounds 3334 >= 164 @ 0.610118
0.82/1.71	c bounds 3334 >= 165 @ 0.610617
0.82/1.71	c bounds 3334 >= 166 @ 0.611216
0.82/1.71	c bounds 3334 >= 167 @ 0.611859
0.82/1.71	c bounds 3334 >= 168 @ 0.612498
0.82/1.71	c bounds 3334 >= 169 @ 0.613207
0.82/1.71	c bounds 3334 >= 170 @ 0.613902
0.82/1.71	c bounds 3334 >= 171 @ 0.614611
0.82/1.71	c bounds 3334 >= 172 @ 0.615281
0.82/1.71	c bounds 3334 >= 173 @ 0.615946
0.82/1.71	c bounds 3334 >= 174 @ 0.616656
0.82/1.71	c bounds 3334 >= 175 @ 0.617099
0.82/1.71	c bounds 3334 >= 176 @ 0.617099
0.82/1.71	c bounds 3334 >= 177 @ 0.61769
0.82/1.71	c bounds 3334 >= 178 @ 0.618097
0.82/1.71	c bounds 3334 >= 179 @ 0.618097
0.82/1.71	c bounds 3334 >= 180 @ 0.618738
0.82/1.71	c bounds 3334 >= 181 @ 0.619095
0.82/1.71	c bounds 3334 >= 182 @ 0.619095
0.82/1.71	c bounds 3334 >= 183 @ 0.619768
0.82/1.71	c bounds 3334 >= 184 @ 0.62041
0.82/1.71	c bounds 3334 >= 185 @ 0.621057
0.82/1.71	c bounds 3334 >= 186 @ 0.621705
0.82/1.71	c bounds 3334 >= 187 @ 0.622088
0.82/1.71	c bounds 3334 >= 188 @ 0.622088
0.82/1.71	c bounds 3334 >= 189 @ 0.62271
0.82/1.71	c bounds 3333 >= 189 @ 0.662927
0.82/1.71	c bounds 3333 >= 190 @ 0.663637
0.82/1.71	c bounds 3333 >= 191 @ 0.664278
0.82/1.71	c bounds 3333 >= 192 @ 0.664928
0.82/1.71	c bounds 3333 >= 193 @ 0.665632
0.82/1.71	c bounds 3333 >= 194 @ 0.665968
0.82/1.71	c bounds 3333 >= 195 @ 0.665968
0.82/1.71	c bounds 3333 >= 196 @ 0.666646
0.82/1.71	c bounds 3333 >= 197 @ 0.666966
0.82/1.71	c bounds 3333 >= 198 @ 0.666966
0.82/1.71	c bounds 3333 >= 199 @ 0.667621
0.82/1.71	c bounds 3333 >= 200 @ 0.667964
0.82/1.71	c bounds 3333 >= 201 @ 0.667964
0.82/1.71	c bounds 3333 >= 202 @ 0.668687
0.82/1.71	c bounds 3333 >= 203 @ 0.668961
0.82/1.71	c bounds 3333 >= 204 @ 0.669081
0.82/1.71	c bounds 3333 >= 205 @ 0.669808
0.82/1.71	c bounds 3333 >= 206 @ 0.670551
0.82/1.71	c bounds 3333 >= 207 @ 0.671286
0.82/1.71	c bounds 3333 >= 208 @ 0.671985
0.82/1.71	c bounds 3333 >= 209 @ 0.672684
0.82/1.71	c bounds 3333 >= 210 @ 0.673402
0.82/1.71	c bounds 3333 >= 211 @ 0.673951
0.82/1.71	c bounds 3333 >= 212 @ 0.673951
0.82/1.71	c bounds 3333 >= 213 @ 0.674594
0.82/1.71	c bounds 3333 >= 214 @ 0.674949
0.82/1.71	c bounds 3333 >= 215 @ 0.674949
0.82/1.71	c bounds 3333 >= 216 @ 0.675642
0.82/1.71	c bounds 3333 >= 217 @ 0.675946
0.82/1.71	c bounds 3333 >= 218 @ 0.676066
0.82/1.71	c bounds 3333 >= 219 @ 0.676771
0.82/1.71	c bounds 3333 >= 220 @ 0.677455
0.82/1.71	c bounds 3333 >= 221 @ 0.677942
0.82/1.71	c bounds 3333 >= 222 @ 0.677942
0.82/1.71	c bounds 3333 >= 223 @ 0.678624
0.82/1.71	c bounds 3333 >= 224 @ 0.67894
0.82/1.71	c bounds 3333 >= 225 @ 0.67904
0.82/1.71	c bounds 3333 >= 226 @ 0.679709
0.82/1.71	c bounds 3333 >= 227 @ 0.680383
0.82/1.71	c bounds 3333 >= 228 @ 0.681033
0.82/1.71	c bounds 3333 >= 229 @ 0.681765
0.82/1.71	c bounds 3333 >= 230 @ 0.682474
0.82/1.71	c bounds 3333 >= 231 @ 0.683146
0.82/1.71	c bounds 3333 >= 232 @ 0.683841
0.82/1.71	c bounds 3333 >= 233 @ 0.684535
0.82/1.71	c bounds 3333 >= 234 @ 0.684927
0.82/1.71	c bounds 3333 >= 235 @ 0.684927
0.82/1.71	c bounds 3333 >= 236 @ 0.684927
0.82/1.71	c bounds 3333 >= 237 @ 0.685513
0.82/1.71	c bounds 3333 >= 238 @ 0.685924
0.82/1.71	c bounds 3333 >= 239 @ 0.686027
0.82/1.71	c bounds 3333 >= 240 @ 0.686778
0.82/1.71	c bounds 3333 >= 241 @ 0.687552
0.82/1.71	c bounds 3333 >= 242 @ 0.687919
0.82/1.71	c bounds 3333 >= 243 @ 0.68804
0.82/1.71	c bounds 3333 >= 244 @ 0.688803
0.82/1.71	c bounds 3333 >= 245 @ 0.689599
0.82/1.71	c bounds 3333 >= 246 @ 0.690356
0.82/1.71	c bounds 3333 >= 247 @ 0.690914
0.82/1.71	c bounds 3333 >= 248 @ 0.690914
0.82/1.71	c bounds 3333 >= 249 @ 0.691694
0.82/1.71	c bounds 3333 >= 250 @ 0.692461
0.82/1.71	c bounds 3333 >= 251 @ 0.692907
0.82/1.71	c bounds 3333 >= 252 @ 0.693024
0.82/1.71	c bounds 3333 >= 253 @ 0.693725
0.82/1.71	c bounds 3333 >= 254 @ 0.69444
0.82/1.71	c bounds 3333 >= 255 @ 0.694903
0.82/1.71	c bounds 3333 >= 256 @ 0.694903
0.82/1.71	c bounds 3333 >= 257 @ 0.69564
0.82/1.71	c bounds 3333 >= 258 @ 0.696332
0.92/1.81	c bounds 3333 >= 259 @ 0.696899
0.92/1.81	c bounds 3333 >= 260 @ 0.696899
0.92/1.81	c bounds 3333 >= 261 @ 0.697637
0.92/1.81	c bounds 3333 >= 262 @ 0.697895
0.92/1.81	c bounds 3333 >= 263 @ 0.697895
0.92/1.81	c bounds 3333 >= 264 @ 0.697895
0.92/1.81	c bounds 3333 >= 265 @ 0.698574
0.92/1.81	c bounds 3333 >= 266 @ 0.698876
0.92/1.81	c bounds 3333 >= 267 @ 0.698876
0.92/1.81	c bounds 3333 >= 268 @ 0.698876
0.92/1.81	c bounds 3333 >= 269 @ 0.699583
0.92/1.81	c bounds 3333 >= 270 @ 0.700336
0.92/1.81	c bounds 3333 >= 271 @ 0.700871
0.92/1.81	c bounds 3333 >= 272 @ 0.700998
0.92/1.81	c bounds 3333 >= 273 @ 0.701793
0.92/1.81	c bounds 3333 >= 274 @ 0.702601
0.92/1.81	c bounds 3333 >= 275 @ 0.703419
0.92/1.81	c bounds 3333 >= 276 @ 0.703864
0.92/1.81	c bounds 3333 >= 277 @ 0.703864
0.92/1.81	c bounds 3333 >= 278 @ 0.703864
0.92/1.81	c bounds 3333 >= 279 @ 0.704597
0.92/1.81	c bounds 3333 >= 280 @ 0.704861
0.92/1.81	c bounds 3333 >= 281 @ 0.704861
0.92/1.81	c bounds 3333 >= 282 @ 0.704976
0.92/1.81	c bounds 3333 >= 283 @ 0.705709
0.92/1.81	c bounds 3333 >= 284 @ 0.706467
0.92/1.81	c bounds 3333 >= 285 @ 0.707192
0.92/1.81	c bounds 3333 >= 286 @ 0.707855
0.92/1.81	c bounds 3333 >= 287 @ 0.707855
0.92/1.81	c bounds 3333 >= 288 @ 0.708599
0.92/1.81	c bounds 3333 >= 289 @ 0.708852
0.92/1.81	c bounds 3333 >= 290 @ 0.708852
0.92/1.81	c bounds 3333 >= 291 @ 0.708852
0.92/1.81	c bounds 3333 >= 292 @ 0.709645
0.92/1.81	c bounds 3333 >= 293 @ 0.710425
0.92/1.81	c bounds 3333 >= 294 @ 0.710847
0.92/1.81	c bounds 3333 >= 295 @ 0.710945
0.92/1.81	c bounds 3333 >= 296 @ 0.711688
0.92/1.81	c bounds 3333 >= 297 @ 0.712468
0.92/1.81	c bounds 3333 >= 298 @ 0.713224
0.92/1.81	c bounds 3333 >= 299 @ 0.713841
0.92/1.81	c bounds 3333 >= 300 @ 0.713841
0.92/1.81	c bounds 3333 >= 301 @ 0.714578
0.92/1.81	c bounds 3333 >= 302 @ 0.715329
0.92/1.81	c bounds 3333 >= 303 @ 0.71619
0.92/1.81	c bounds 3333 >= 304 @ 0.716835
0.92/1.81	c bounds 3333 >= 305 @ 0.716835
0.92/1.81	c bounds 3333 >= 306 @ 0.717647
0.92/1.81	c bounds 3333 >= 307 @ 0.718518
0.92/1.81	c bounds 3333 >= 308 @ 0.71883
0.92/1.81	c bounds 3333 >= 309 @ 0.71883
0.92/1.81	c bounds 3333 >= 310 @ 0.71883
0.92/1.81	c bounds 3333 >= 311 @ 0.71883
0.92/1.81	c bounds 3333 >= 312 @ 0.719678
0.92/1.81	c bounds 3333 >= 313 @ 0.720495
0.92/1.81	c bounds 3333 >= 314 @ 0.720825
0.92/1.81	c bounds 3333 >= 315 @ 0.720825
0.92/1.81	c bounds 3333 >= 316 @ 0.720952
0.92/1.81	c bounds 3333 >= 317 @ 0.721762
0.92/1.81	c bounds 3333 >= 318 @ 0.722597
0.92/1.81	c bounds 3333 >= 319 @ 0.723387
0.92/1.81	c bounds 3333 >= 320 @ 0.724175
0.92/1.81	c bounds 3333 >= 321 @ 0.724985
0.92/1.81	c bounds 3333 >= 322 @ 0.725794
0.92/1.81	c bounds 3333 >= 323 @ 0.726619
0.92/1.81	c bounds 3333 >= 324 @ 0.727449
0.92/1.81	c bounds 3333 >= 325 @ 0.727796
0.92/1.81	c bounds 3333 >= 326 @ 0.727797
0.92/1.81	c bounds 3333 >= 327 @ 0.727911
0.92/1.81	c bounds 3333 >= 328 @ 0.728675
0.92/1.81	c bounds 3333 >= 329 @ 0.729453
0.92/1.81	c bounds 3333 >= 330 @ 0.730201
0.92/1.81	c bounds 3333 >= 331 @ 0.730972
0.92/1.81	c bounds 3333 >= 332 @ 0.731744
0.92/1.81	c bounds 3333 >= 333 @ 0.73259
0.92/1.81	c bounds 3333 >= 334 @ 0.733394
0.92/1.81	c bounds 3333 >= 335 @ 0.733783
0.92/1.81	c bounds 3333 >= 336 @ 0.734042
0.92/1.81	c bounds 3333 >= 337 @ 0.734781
0.92/1.81	c bounds 3333 >= 338 @ 0.734896
0.92/1.81	c bounds 3333 >= 339 @ 0.735733
0.92/1.81	c bounds 3333 >= 340 @ 0.736618
0.92/1.81	c bounds 3333 >= 341 @ 0.737504
0.92/1.81	c bounds 3333 >= 342 @ 0.738384
0.92/1.81	c bounds 3333 >= 343 @ 0.738772
0.92/1.81	c bounds 3333 >= 344 @ 0.739137
0.92/1.81	c bounds 3333 >= 345 @ 0.73977
0.92/1.81	c bounds 3333 >= 346 @ 0.73977
0.92/1.81	c bounds 3333 >= 347 @ 0.73977
0.92/1.81	c bounds 3333 >= 348 @ 0.740647
0.92/1.81	c bounds 3333 >= 349 @ 0.741517
0.92/1.81	c bounds 3333 >= 350 @ 0.742392
0.92/1.81	c bounds 3333 >= 351 @ 0.742763
0.92/1.81	c bounds 3333 >= 352 @ 0.742763
0.92/1.81	c bounds 3333 >= 353 @ 0.742975
0.92/1.81	c bounds 3333 >= 354 @ 0.74384
0.92/1.81	c bounds 3333 >= 355 @ 0.744689
0.92/1.81	c bounds 3333 >= 356 @ 0.74557
0.92/1.81	c bounds 3333 >= 357 @ 0.746425
0.92/1.81	c bounds 3333 >= 358 @ 0.746754
0.92/1.81	c bounds 3333 >= 359 @ 0.746754
0.92/1.81	c bounds 3333 >= 360 @ 0.746754
0.92/1.81	c bounds 3333 >= 361 @ 0.746868
0.92/1.81	c bounds 3333 >= 362 @ 0.747667
0.92/1.81	c bounds 3333 >= 363 @ 0.748476
0.92/1.81	c bounds 3333 >= 364 @ 0.749315
0.92/1.81	c bounds 3333 >= 365 @ 0.749746
0.92/1.81	c bounds 3333 >= 366 @ 0.749978
0.92/1.81	c bounds 3333 >= 367 @ 0.750822
0.92/1.81	c bounds 3333 >= 368 @ 0.751666
0.92/1.81	c bounds 3333 >= 369 @ 0.752534
0.92/1.81	c bounds 3333 >= 370 @ 0.753469
0.92/1.81	c bounds 3333 >= 371 @ 0.754391
0.92/1.81	c bounds 3333 >= 372 @ 0.755313
0.92/1.81	c bounds 3333 >= 373 @ 0.755734
0.92/1.81	c bounds 3333 >= 374 @ 0.755734
0.92/1.81	c bounds 3333 >= 375 @ 0.755734
0.92/1.81	c bounds 3333 >= 376 @ 0.755968
0.92/1.81	c bounds 3333 >= 377 @ 0.756731
0.92/1.81	c bounds 3333 >= 378 @ 0.756844
0.92/1.81	c bounds 3333 >= 379 @ 0.757691
0.92/1.81	c bounds 3333 >= 380 @ 0.758601
0.92/1.81	c bounds 3333 >= 381 @ 0.759509
0.92/1.81	c bounds 3333 >= 382 @ 0.760411
0.92/1.81	c bounds 3333 >= 383 @ 0.760721
0.92/1.81	c bounds 3333 >= 384 @ 0.760721
0.92/1.81	c bounds 3333 >= 385 @ 0.760721
0.92/1.81	c bounds 3333 >= 386 @ 0.760721
1.01/1.94	c bounds 3333 >= 387 @ 0.760721
1.01/1.94	c bounds 3333 >= 388 @ 0.760836
1.01/1.94	c bounds 3333 >= 389 @ 0.761709
1.01/1.94	c bounds 3333 >= 390 @ 0.762563
1.01/1.94	c bounds 3333 >= 391 @ 0.763454
1.01/1.94	c bounds 3333 >= 392 @ 0.764345
1.01/1.94	c bounds 3333 >= 393 @ 0.764712
1.01/1.94	c bounds 3333 >= 394 @ 0.765042
1.01/1.94	c bounds 3333 >= 395 @ 0.76571
1.01/1.94	c bounds 3333 >= 396 @ 0.765823
1.01/1.94	c bounds 3333 >= 397 @ 0.766662
1.01/1.94	c bounds 3333 >= 398 @ 0.767505
1.01/1.94	c bounds 3333 >= 399 @ 0.768351
1.01/1.94	c bounds 3333 >= 400 @ 0.768704
1.01/1.94	c bounds 3333 >= 401 @ 0.769093
1.01/1.94	c bounds 3333 >= 402 @ 0.769701
1.01/1.94	c bounds 3333 >= 403 @ 0.769701
1.01/1.94	c bounds 3333 >= 404 @ 0.769811
1.01/1.94	c bounds 3333 >= 405 @ 0.770744
1.01/1.94	c bounds 3333 >= 406 @ 0.771679
1.01/1.94	c bounds 3333 >= 407 @ 0.772685
1.01/1.94	c bounds 3333 >= 408 @ 0.773596
1.01/1.94	c bounds 3333 >= 409 @ 0.774545
1.01/1.94	c bounds 3333 >= 410 @ 0.775536
1.01/1.94	c bounds 3333 >= 411 @ 0.776465
1.01/1.94	c bounds 3333 >= 412 @ 0.777393
1.01/1.94	c bounds 3333 >= 413 @ 0.777683
1.01/1.94	c bounds 3333 >= 414 @ 0.777683
1.01/1.94	c bounds 3333 >= 415 @ 0.777683
1.01/1.94	c bounds 3333 >= 416 @ 0.777683
1.01/1.94	c bounds 3333 >= 417 @ 0.777683
1.01/1.94	c bounds 3333 >= 418 @ 0.777683
1.01/1.94	c bounds 3333 >= 419 @ 0.777683
1.01/1.94	c bounds 3333 >= 420 @ 0.777683
1.01/1.94	c bounds 3333 >= 421 @ 0.777792
1.01/1.94	c bounds 3333 >= 422 @ 0.778677
1.01/1.94	c bounds 3333 >= 423 @ 0.779575
1.01/1.94	c bounds 3333 >= 424 @ 0.780517
1.01/1.94	c bounds 3333 >= 425 @ 0.781405
1.01/1.94	c bounds 3333 >= 426 @ 0.782337
1.01/1.94	c bounds 3333 >= 427 @ 0.782669
1.01/1.94	c bounds 3333 >= 428 @ 0.783153
1.01/1.94	c bounds 3333 >= 429 @ 0.784067
1.01/1.94	c bounds 3333 >= 430 @ 0.785041
1.01/1.94	c bounds 3333 >= 431 @ 0.785663
1.01/1.94	c bounds 3333 >= 432 @ 0.785663
1.01/1.94	c bounds 3333 >= 433 @ 0.785757
1.01/1.94	c bounds 3333 >= 434 @ 0.786624
1.01/1.94	c bounds 3333 >= 435 @ 0.787518
1.01/1.94	c bounds 3333 >= 436 @ 0.788448
1.01/1.94	c bounds 3333 >= 437 @ 0.78944
1.01/1.94	c bounds 3333 >= 438 @ 0.790492
1.01/1.94	c bounds 3333 >= 439 @ 0.791482
1.01/1.94	c bounds 3333 >= 440 @ 0.79247
1.01/1.94	c bounds 3333 >= 441 @ 0.793455
1.01/1.94	c bounds 3333 >= 442 @ 0.794453
1.01/1.94	c bounds 3333 >= 443 @ 0.795436
1.01/1.94	c bounds 3333 >= 444 @ 0.796415
1.01/1.94	c bounds 3333 >= 445 @ 0.797391
1.01/1.94	c bounds 3333 >= 446 @ 0.79838
1.01/1.94	c bounds 3333 >= 447 @ 0.799347
1.01/1.94	c bounds 3333 >= 448 @ 0.79963
1.01/1.94	c bounds 3333 >= 449 @ 0.800258
1.01/1.94	c bounds 3333 >= 450 @ 0.801194
1.01/1.94	c bounds 3333 >= 451 @ 0.802168
1.01/1.94	c bounds 3333 >= 452 @ 0.802624
1.01/1.94	c bounds 3333 >= 453 @ 0.802625
1.01/1.94	c bounds 3333 >= 454 @ 0.803006
1.01/1.94	c bounds 3333 >= 455 @ 0.80393
1.01/1.94	c bounds 3333 >= 456 @ 0.804854
1.01/1.94	c bounds 3333 >= 457 @ 0.805619
1.01/1.94	c bounds 3333 >= 458 @ 0.805619
1.01/1.94	c bounds 3333 >= 459 @ 0.80573
1.01/1.94	c bounds 3333 >= 460 @ 0.806642
1.01/1.94	c bounds 3333 >= 461 @ 0.807581
1.01/1.94	c bounds 3333 >= 462 @ 0.808505
1.01/1.94	c bounds 3333 >= 463 @ 0.809419
1.01/1.94	c bounds 3333 >= 464 @ 0.810374
1.01/1.94	c bounds 3333 >= 465 @ 0.811323
1.01/1.94	c bounds 3333 >= 466 @ 0.811605
1.01/1.94	c bounds 3333 >= 467 @ 0.812159
1.01/1.94	c bounds 3333 >= 468 @ 0.812604
1.01/1.94	c bounds 3333 >= 469 @ 0.812604
1.01/1.94	c bounds 3333 >= 470 @ 0.812604
1.01/1.94	c bounds 3333 >= 471 @ 0.813088
1.01/1.94	c bounds 3333 >= 472 @ 0.813601
1.01/1.94	c bounds 3333 >= 473 @ 0.813601
1.01/1.94	c bounds 3333 >= 474 @ 0.813601
1.01/1.94	c bounds 3333 >= 475 @ 0.814122
1.01/1.94	c bounds 3333 >= 476 @ 0.814597
1.01/1.94	c bounds 3333 >= 477 @ 0.814597
1.01/1.94	c bounds 3333 >= 478 @ 0.815195
1.01/1.94	c bounds 3333 >= 479 @ 0.816229
1.01/1.94	c bounds 3333 >= 480 @ 0.816591
1.01/1.94	c bounds 3333 >= 481 @ 0.817278
1.01/1.94	c bounds 3333 >= 482 @ 0.817589
1.01/1.94	c bounds 3333 >= 483 @ 0.817589
1.01/1.94	c bounds 3333 >= 484 @ 0.818407
1.01/1.94	c bounds 3333 >= 485 @ 0.8194
1.01/1.94	c bounds 3333 >= 486 @ 0.820385
1.01/1.94	c bounds 3333 >= 487 @ 0.821398
1.01/1.94	c bounds 3333 >= 488 @ 0.822402
1.01/1.94	c bounds 3333 >= 489 @ 0.823364
1.01/1.94	c bounds 3333 >= 490 @ 0.82432
1.01/1.94	c bounds 3333 >= 491 @ 0.825321
1.01/1.94	c bounds 3333 >= 492 @ 0.826317
1.01/1.94	c bounds 3333 >= 493 @ 0.827272
1.01/1.94	c bounds 3333 >= 494 @ 0.828224
1.01/1.94	c bounds 3333 >= 495 @ 0.82922
1.01/1.94	c bounds 3333 >= 496 @ 0.829563
1.01/1.94	c bounds 3333 >= 497 @ 0.829563
1.01/1.94	c bounds 3333 >= 498 @ 0.829563
1.01/1.94	c bounds 3333 >= 499 @ 0.829563
1.01/1.94	c bounds 3333 >= 500 @ 0.829563
1.01/1.94	c bounds 3333 >= 501 @ 0.829563
1.01/1.94	c bounds 3333 >= 502 @ 0.830031
1.01/1.94	c bounds 3333 >= 503 @ 0.830558
1.01/1.94	c bounds 3333 >= 504 @ 0.830558
1.01/1.94	c bounds 3333 >= 505 @ 0.831132
1.01/1.94	c bounds 3333 >= 506 @ 0.831556
1.01/1.94	c bounds 3333 >= 507 @ 0.832247
1.01/1.94	c bounds 3333 >= 508 @ 0.832553
1.01/1.94	c bounds 3333 >= 509 @ 0.833337
1.01/1.94	c bounds 3333 >= 510 @ 0.834396
1.01/1.94	c bounds 3333 >= 511 @ 0.83543
1.01/1.94	c bounds 3333 >= 512 @ 0.836479
1.01/1.94	c bounds 3333 >= 513 @ 0.837523
1.01/1.94	c bounds 3333 >= 514 @ 0.838531
1.01/1.94	c bounds 3333 >= 515 @ 0.839554
1.22/2.11	c bounds 3333 >= 516 @ 0.840614
1.22/2.11	c bounds 3333 >= 517 @ 0.841624
1.22/2.11	c bounds 3333 >= 518 @ 0.842636
1.22/2.11	c bounds 3333 >= 519 @ 0.843531
1.22/2.11	c bounds 3333 >= 520 @ 0.843531
1.22/2.11	c bounds 3333 >= 521 @ 0.843531
1.22/2.11	c bounds 3333 >= 522 @ 0.843531
1.22/2.11	c bounds 3333 >= 523 @ 0.843531
1.22/2.11	c bounds 3333 >= 524 @ 0.843531
1.22/2.11	c bounds 3333 >= 525 @ 0.843531
1.22/2.11	c bounds 3333 >= 526 @ 0.843531
1.22/2.11	c bounds 3333 >= 527 @ 0.843531
1.22/2.11	c bounds 3333 >= 528 @ 0.843531
1.22/2.11	c bounds 3333 >= 529 @ 0.843531
1.22/2.11	c bounds 3333 >= 530 @ 0.843531
1.22/2.11	c bounds 3333 >= 531 @ 0.843531
1.22/2.11	c bounds 3333 >= 532 @ 0.843531
1.22/2.11	c bounds 3333 >= 533 @ 0.843531
1.22/2.11	c bounds 3333 >= 534 @ 0.843531
1.22/2.11	c bounds 3333 >= 535 @ 0.843531
1.22/2.11	c bounds 3333 >= 536 @ 0.843531
1.22/2.11	c bounds 3333 >= 537 @ 0.843531
1.22/2.11	c bounds 3333 >= 538 @ 0.843531
1.22/2.11	c bounds 3333 >= 539 @ 0.843531
1.22/2.11	c bounds 3333 >= 540 @ 0.843531
1.22/2.11	c bounds 3333 >= 541 @ 0.844234
1.22/2.11	c bounds 3333 >= 542 @ 0.844521
1.22/2.11	c bounds 3333 >= 543 @ 0.845421
1.22/2.11	c bounds 3333 >= 544 @ 0.846489
1.22/2.11	c bounds 3333 >= 545 @ 0.847555
1.22/2.11	c bounds 3333 >= 546 @ 0.848635
1.22/2.11	c bounds 3333 >= 547 @ 0.849705
1.22/2.11	c bounds 3333 >= 548 @ 0.85051
1.22/2.11	c bounds 3333 >= 549 @ 0.850825
1.22/2.11	c bounds 3333 >= 550 @ 0.851508
1.22/2.11	c bounds 3333 >= 551 @ 0.851508
1.22/2.11	c bounds 3333 >= 552 @ 0.851508
1.22/2.11	c bounds 3333 >= 553 @ 0.851508
1.22/2.11	c bounds 3333 >= 554 @ 0.851508
1.22/2.11	c bounds 3333 >= 555 @ 0.852325
1.22/2.11	c bounds 3333 >= 556 @ 0.853375
1.22/2.11	c bounds 3333 >= 557 @ 0.85445
1.22/2.11	c bounds 3333 >= 558 @ 0.855528
1.22/2.11	c bounds 3333 >= 559 @ 0.856575
1.22/2.11	c bounds 3333 >= 560 @ 0.857639
1.22/2.11	c bounds 3333 >= 561 @ 0.858493
1.22/2.11	c bounds 3333 >= 562 @ 0.858493
1.22/2.11	c bounds 3333 >= 563 @ 0.858493
1.22/2.11	c bounds 3333 >= 564 @ 0.858493
1.22/2.11	c bounds 3333 >= 565 @ 0.858493
1.22/2.11	c bounds 3333 >= 566 @ 0.858915
1.22/2.11	c bounds 3333 >= 567 @ 0.859489
1.22/2.11	c bounds 3333 >= 568 @ 0.859489
1.22/2.11	c bounds 3333 >= 569 @ 0.859489
1.22/2.11	c bounds 3333 >= 570 @ 0.859489
1.22/2.11	c bounds 3333 >= 571 @ 0.859489
1.22/2.11	c bounds 3333 >= 572 @ 0.859489
1.22/2.11	c bounds 3333 >= 573 @ 0.860526
1.22/2.11	c bounds 3333 >= 574 @ 0.861484
1.22/2.11	c bounds 3333 >= 575 @ 0.861484
1.22/2.11	c bounds 3333 >= 576 @ 0.86186
1.22/2.11	c bounds 3333 >= 577 @ 0.862983
1.22/2.11	c bounds 3333 >= 578 @ 0.863475
1.22/2.11	c bounds 3333 >= 579 @ 0.863475
1.22/2.11	c bounds 3333 >= 580 @ 0.86441
1.22/2.11	c bounds 3333 >= 581 @ 0.865551
1.22/2.11	c bounds 3333 >= 582 @ 0.866664
1.22/2.11	c bounds 3333 >= 583 @ 0.867465
1.22/2.11	c bounds 3333 >= 584 @ 0.867465
1.22/2.11	c bounds 3333 >= 585 @ 0.867465
1.22/2.11	c bounds 3333 >= 586 @ 0.868145
1.22/2.11	c bounds 3332 >= 586 @ 0.899084
1.22/2.11	c bounds 3332 >= 587 @ 0.899387
1.22/2.11	c bounds 3332 >= 588 @ 0.900367
1.22/2.11	c bounds 3332 >= 589 @ 0.901484
1.22/2.11	c bounds 3332 >= 590 @ 0.902381
1.22/2.11	c bounds 3332 >= 591 @ 0.902381
1.22/2.11	c bounds 3332 >= 592 @ 0.902381
1.22/2.11	c bounds 3332 >= 593 @ 0.902818
1.22/2.11	c bounds 3332 >= 594 @ 0.903378
1.22/2.11	c bounds 3332 >= 595 @ 0.903971
1.22/2.11	c bounds 3332 >= 596 @ 0.904376
1.22/2.11	c bounds 3332 >= 597 @ 0.905128
1.22/2.11	c bounds 3332 >= 598 @ 0.906175
1.22/2.11	c bounds 3332 >= 599 @ 0.907275
1.22/2.11	c bounds 3332 >= 600 @ 0.908346
1.22/2.11	c bounds 3332 >= 601 @ 0.909387
1.22/2.11	c bounds 3332 >= 602 @ 0.910469
1.22/2.11	c bounds 3332 >= 603 @ 0.911362
1.22/2.11	c bounds 3332 >= 604 @ 0.911363
1.22/2.11	c bounds 3332 >= 605 @ 0.911363
1.22/2.11	c bounds 3332 >= 606 @ 0.911363
1.22/2.11	c bounds 3332 >= 607 @ 0.91212
1.22/2.11	c bounds 3332 >= 608 @ 0.913324
1.22/2.11	c bounds 3332 >= 609 @ 0.914336
1.22/2.11	c bounds 3332 >= 610 @ 0.914342
1.22/2.11	c bounds 3332 >= 611 @ 0.914342
1.22/2.11	c bounds 3332 >= 612 @ 0.914342
1.22/2.11	c bounds 3332 >= 613 @ 0.914342
1.22/2.11	c bounds 3332 >= 614 @ 0.915262
1.22/2.11	c bounds 3332 >= 615 @ 0.916351
1.22/2.11	c bounds 3332 >= 616 @ 0.917477
1.22/2.11	c bounds 3332 >= 617 @ 0.918331
1.22/2.11	c bounds 3332 >= 618 @ 0.918798
1.22/2.11	c bounds 3332 >= 619 @ 0.91991
1.22/2.11	c bounds 3332 >= 620 @ 0.920326
1.22/2.11	c bounds 3332 >= 621 @ 0.920326
1.22/2.11	c bounds 3332 >= 622 @ 0.921323
1.22/2.11	c bounds 3332 >= 623 @ 0.922437
1.22/2.11	c bounds 3332 >= 624 @ 0.923318
1.22/2.11	c bounds 3332 >= 625 @ 0.923318
1.22/2.11	c bounds 3332 >= 626 @ 0.923318
1.22/2.11	c bounds 3332 >= 627 @ 0.923862
1.22/2.11	c bounds 3332 >= 628 @ 0.924316
1.22/2.11	c bounds 3332 >= 629 @ 0.924316
1.22/2.11	c bounds 3332 >= 630 @ 0.925176
1.22/2.11	c bounds 3332 >= 631 @ 0.926326
1.22/2.11	c bounds 3332 >= 632 @ 0.92745
1.22/2.11	c bounds 3332 >= 633 @ 0.928308
1.22/2.11	c bounds 3332 >= 634 @ 0.928308
1.22/2.11	c bounds 3332 >= 635 @ 0.928308
1.22/2.11	c bounds 3332 >= 636 @ 0.928958
1.22/2.11	c bounds 3332 >= 637 @ 0.930078
1.22/2.11	c bounds 3332 >= 638 @ 0.931287
1.22/2.11	c bounds 3332 >= 639 @ 0.9323
1.22/2.11	c bounds 3332 >= 640 @ 0.932688
1.22/2.11	c bounds 3332 >= 641 @ 0.933298
1.22/2.11	c bounds 3332 >= 642 @ 0.933298
1.41/2.32	c bounds 3332 >= 643 @ 0.934272
1.41/2.32	c bounds 3332 >= 644 @ 0.935294
1.41/2.32	c bounds 3332 >= 645 @ 0.935294
1.41/2.32	c bounds 3332 >= 646 @ 0.935835
1.41/2.32	c bounds 3332 >= 647 @ 0.937026
1.41/2.32	c bounds 3332 >= 648 @ 0.93729
1.41/2.32	c bounds 3332 >= 649 @ 0.938366
1.41/2.32	c bounds 3332 >= 650 @ 0.939285
1.41/2.32	c bounds 3332 >= 651 @ 0.939285
1.41/2.32	c bounds 3332 >= 652 @ 0.939285
1.41/2.32	c bounds 3332 >= 653 @ 0.939285
1.41/2.32	c bounds 3332 >= 654 @ 0.94021
1.41/2.32	c bounds 3332 >= 655 @ 0.941377
1.41/2.32	c bounds 3332 >= 656 @ 0.942278
1.41/2.32	c bounds 3332 >= 657 @ 0.942278
1.41/2.32	c bounds 3332 >= 658 @ 0.942838
1.41/2.32	c bounds 3332 >= 659 @ 0.943276
1.41/2.32	c bounds 3332 >= 660 @ 0.943276
1.41/2.32	c bounds 3332 >= 661 @ 0.94433
1.41/2.32	c bounds 3332 >= 662 @ 0.945271
1.41/2.32	c bounds 3332 >= 663 @ 0.945601
1.41/2.32	c bounds 3332 >= 664 @ 0.946269
1.41/2.32	c bounds 3332 >= 665 @ 0.94627
1.41/2.32	c bounds 3332 >= 666 @ 0.94627
1.41/2.32	c bounds 3332 >= 667 @ 0.947199
1.41/2.32	c bounds 3332 >= 668 @ 0.948332
1.41/2.32	c bounds 3332 >= 669 @ 0.949465
1.41/2.32	c bounds 3332 >= 670 @ 0.950629
1.41/2.32	c bounds 3332 >= 671 @ 0.95126
1.41/2.32	c bounds 3332 >= 672 @ 0.95126
1.41/2.32	c bounds 3332 >= 673 @ 0.952318
1.41/2.32	c bounds 3332 >= 674 @ 0.953255
1.41/2.32	c bounds 3332 >= 675 @ 0.953255
1.41/2.32	c bounds 3332 >= 676 @ 0.953255
1.41/2.32	c bounds 3332 >= 677 @ 0.954181
1.41/2.32	c bounds 3332 >= 678 @ 0.955251
1.41/2.32	c bounds 3332 >= 679 @ 0.955251
1.41/2.32	c bounds 3332 >= 680 @ 0.955251
1.41/2.32	c bounds 3332 >= 681 @ 0.955251
1.41/2.32	c bounds 3332 >= 682 @ 0.956237
1.41/2.32	c bounds 3332 >= 683 @ 0.957247
1.41/2.32	c bounds 3332 >= 684 @ 0.957637
1.41/2.32	c bounds 3332 >= 685 @ 0.958245
1.41/2.32	c bounds 3332 >= 686 @ 0.958245
1.41/2.32	c bounds 3332 >= 687 @ 0.959301
1.41/2.32	c bounds 3332 >= 688 @ 0.960241
1.41/2.32	c bounds 3332 >= 689 @ 0.960241
1.41/2.32	c bounds 3332 >= 690 @ 0.960241
1.41/2.32	c bounds 3332 >= 691 @ 0.960241
1.41/2.32	c bounds 3332 >= 692 @ 0.96132
1.41/2.32	c bounds 3332 >= 693 @ 0.962528
1.41/2.32	c bounds 3332 >= 694 @ 0.963234
1.41/2.32	c bounds 3332 >= 695 @ 0.963234
1.41/2.32	c bounds 3332 >= 696 @ 0.963234
1.41/2.32	c bounds 3332 >= 697 @ 0.96431
1.41/2.32	c bounds 3332 >= 698 @ 0.96523
1.41/2.32	c bounds 3332 >= 699 @ 0.96523
1.41/2.32	c bounds 3332 >= 700 @ 0.96523
1.41/2.32	c bounds 3332 >= 701 @ 0.966062
1.41/2.32	c bounds 3332 >= 702 @ 0.967281
1.41/2.32	c bounds 3332 >= 703 @ 0.968224
1.41/2.32	c bounds 3332 >= 704 @ 0.968224
1.41/2.32	c bounds 3332 >= 705 @ 0.968224
1.41/2.32	c bounds 3332 >= 706 @ 0.968224
1.41/2.32	c bounds 3332 >= 707 @ 0.969367
1.41/2.32	c bounds 3332 >= 708 @ 0.970219
1.41/2.32	c bounds 3332 >= 709 @ 0.970219
1.41/2.32	c bounds 3332 >= 710 @ 0.970219
1.41/2.32	c bounds 3332 >= 711 @ 0.971459
1.41/2.32	c bounds 3332 >= 712 @ 0.972747
1.41/2.32	c bounds 3332 >= 713 @ 0.973212
1.41/2.32	c bounds 3332 >= 714 @ 0.974297
1.41/2.32	c bounds 3332 >= 715 @ 0.975208
1.41/2.32	c bounds 3332 >= 716 @ 0.975208
1.41/2.32	c bounds 3332 >= 717 @ 0.975208
1.41/2.32	c bounds 3332 >= 718 @ 0.976362
1.41/2.32	c bounds 3332 >= 719 @ 0.977204
1.41/2.32	c bounds 3332 >= 720 @ 0.977834
1.41/2.32	c bounds 3332 >= 721 @ 0.9782
1.41/2.32	c bounds 3332 >= 722 @ 0.979284
1.41/2.32	c bounds 3332 >= 723 @ 0.980484
1.41/2.32	c bounds 3332 >= 724 @ 0.981729
1.41/2.32	c bounds 3332 >= 725 @ 0.98297
1.41/2.32	c bounds 3332 >= 726 @ 0.984238
1.41/2.32	c bounds 3332 >= 727 @ 0.985187
1.41/2.32	c bounds 3332 >= 728 @ 0.985188
1.41/2.32	c bounds 3332 >= 729 @ 0.985936
1.41/2.32	c bounds 3332 >= 730 @ 0.987152
1.41/2.32	c bounds 3332 >= 731 @ 0.988182
1.41/2.32	c bounds 3332 >= 732 @ 0.988623
1.41/2.32	c bounds 3332 >= 733 @ 0.98918
1.41/2.32	c bounds 3332 >= 734 @ 0.99004
1.41/2.32	c bounds 3332 >= 735 @ 0.991265
1.41/2.32	c bounds 3332 >= 736 @ 0.992175
1.41/2.32	c bounds 3332 >= 737 @ 0.992175
1.41/2.32	c bounds 3332 >= 738 @ 0.992175
1.41/2.32	c bounds 3332 >= 739 @ 0.993172
1.41/2.32	c bounds 3332 >= 740 @ 0.993661
1.41/2.32	c bounds 3332 >= 741 @ 0.99417
1.41/2.32	c bounds 3332 >= 742 @ 0.995238
1.41/2.32	c bounds 3332 >= 743 @ 0.996166
1.41/2.32	c bounds 3332 >= 744 @ 0.996166
1.41/2.32	c bounds 3332 >= 745 @ 0.996166
1.41/2.32	c bounds 3332 >= 746 @ 0.997164
1.41/2.32	c bounds 3332 >= 747 @ 0.997164
1.41/2.32	c bounds 3332 >= 748 @ 0.997164
1.41/2.32	c bounds 3332 >= 749 @ 0.997196
1.41/2.32	c bounds 3332 >= 750 @ 0.998161
1.41/2.32	c bounds 3332 >= 751 @ 0.998743
1.41/2.32	c bounds 3332 >= 752 @ 0.99916
1.41/2.32	c bounds 3332 >= 753 @ 1.00016
1.41/2.32	c bounds 3332 >= 754 @ 1.00055
1.41/2.32	c bounds 3332 >= 755 @ 1.00116
1.41/2.32	c bounds 3332 >= 756 @ 1.00116
1.41/2.32	c bounds 3332 >= 757 @ 1.00215
1.41/2.32	c bounds 3332 >= 758 @ 1.00215
1.41/2.32	c bounds 3332 >= 759 @ 1.00215
1.41/2.32	c bounds 3332 >= 760 @ 1.00312
1.41/2.32	c bounds 3332 >= 761 @ 1.00415
1.41/2.32	c bounds 3331 >= 761 @ 1.04814
1.41/2.32	c bounds 3331 >= 762 @ 1.04905
1.41/2.32	c bounds 3331 >= 763 @ 1.04905
1.41/2.32	c bounds 3331 >= 764 @ 1.04905
1.41/2.32	c bounds 3331 >= 765 @ 1.05005
1.41/2.32	c bounds 3331 >= 766 @ 1.05005
1.41/2.32	c bounds 3331 >= 767 @ 1.05084
1.41/2.32	c bounds 3331 >= 768 @ 1.05213
1.41/2.32	c bounds 3331 >= 769 @ 1.05341
1.41/2.32	c bounds 3331 >= 770 @ 1.05464
1.62/2.50	c bounds 3331 >= 771 @ 1.05591
1.62/2.50	c bounds 3331 >= 772 @ 1.05703
1.62/2.50	c bounds 3331 >= 773 @ 1.05703
1.62/2.50	c bounds 3331 >= 774 @ 1.05703
1.62/2.50	c bounds 3331 >= 775 @ 1.05803
1.62/2.50	c bounds 3331 >= 776 @ 1.05803
1.62/2.50	c bounds 3331 >= 777 @ 1.05894
1.62/2.50	c bounds 3331 >= 778 @ 1.06002
1.62/2.50	c bounds 3331 >= 779 @ 1.06057
1.62/2.50	c bounds 3331 >= 780 @ 1.0619
1.62/2.50	c bounds 3331 >= 781 @ 1.06302
1.62/2.50	c bounds 3331 >= 782 @ 1.06302
1.62/2.50	c bounds 3331 >= 783 @ 1.06302
1.62/2.50	c bounds 3331 >= 784 @ 1.06401
1.62/2.50	c bounds 3331 >= 785 @ 1.06455
1.62/2.50	c bounds 3331 >= 786 @ 1.06586
1.62/2.50	c bounds 3331 >= 787 @ 1.067
1.62/2.50	c bounds 3331 >= 788 @ 1.06755
1.62/2.50	c bounds 3331 >= 789 @ 1.06883
1.62/2.50	c bounds 3331 >= 790 @ 1.06998
1.62/2.50	c bounds 3331 >= 791 @ 1.06998
1.62/2.50	c bounds 3331 >= 792 @ 1.06998
1.62/2.50	c bounds 3331 >= 793 @ 1.07112
1.62/2.50	c bounds 3331 >= 794 @ 1.07198
1.62/2.50	c bounds 3331 >= 795 @ 1.07198
1.62/2.50	c bounds 3331 >= 796 @ 1.07304
1.62/2.50	c bounds 3331 >= 797 @ 1.07397
1.62/2.50	c bounds 3331 >= 798 @ 1.07397
1.62/2.50	c bounds 3331 >= 799 @ 1.07501
1.62/2.50	c bounds 3331 >= 800 @ 1.07597
1.62/2.50	c bounds 3331 >= 801 @ 1.07665
1.62/2.50	c bounds 3331 >= 802 @ 1.07696
1.62/2.50	c bounds 3331 >= 803 @ 1.07796
1.62/2.50	c bounds 3331 >= 804 @ 1.07796
1.62/2.50	c bounds 3331 >= 805 @ 1.07891
1.62/2.50	c bounds 3331 >= 806 @ 1.07996
1.62/2.50	c bounds 3331 >= 807 @ 1.08059
1.62/2.50	c bounds 3331 >= 808 @ 1.08097
1.62/2.50	c bounds 3331 >= 809 @ 1.08195
1.62/2.50	c bounds 3331 >= 810 @ 1.0827
1.62/2.50	c bounds 3331 >= 811 @ 1.08395
1.62/2.50	c bounds 3331 >= 812 @ 1.08395
1.62/2.50	c bounds 3331 >= 813 @ 1.08395
1.62/2.50	c bounds 3331 >= 814 @ 1.08495
1.62/2.50	c bounds 3331 >= 815 @ 1.08546
1.62/2.50	c bounds 3331 >= 816 @ 1.08594
1.62/2.50	c bounds 3331 >= 817 @ 1.08694
1.62/2.50	c bounds 3331 >= 818 @ 1.08746
1.62/2.50	c bounds 3331 >= 819 @ 1.08794
1.62/2.50	c bounds 3331 >= 820 @ 1.08894
1.62/2.50	c bounds 3331 >= 821 @ 1.08894
1.62/2.50	c bounds 3331 >= 822 @ 1.08894
1.62/2.50	c bounds 3331 >= 823 @ 1.08994
1.62/2.50	c bounds 3331 >= 824 @ 1.08994
1.62/2.50	c bounds 3331 >= 825 @ 1.08997
1.62/2.50	c bounds 3331 >= 826 @ 1.09093
1.62/2.50	c bounds 3331 >= 827 @ 1.09167
1.62/2.50	c bounds 3331 >= 828 @ 1.09203
1.62/2.50	c bounds 3331 >= 829 @ 1.09293
1.62/2.50	c bounds 3331 >= 830 @ 1.09373
1.62/2.50	c bounds 3331 >= 831 @ 1.09509
1.62/2.50	c bounds 3331 >= 832 @ 1.09592
1.62/2.50	c bounds 3331 >= 833 @ 1.09679
1.62/2.50	c bounds 3331 >= 834 @ 1.09792
1.62/2.50	c bounds 3331 >= 835 @ 1.09792
1.62/2.50	c bounds 3331 >= 836 @ 1.0988
1.62/2.50	c bounds 3331 >= 837 @ 1.10011
1.62/2.50	c bounds 3331 >= 838 @ 1.10091
1.62/2.50	c bounds 3331 >= 839 @ 1.10186
1.62/2.50	c bounds 3331 >= 840 @ 1.10327
1.62/2.50	c bounds 3331 >= 841 @ 1.1039
1.62/2.50	c bounds 3331 >= 842 @ 1.1039
1.62/2.50	c bounds 3331 >= 843 @ 1.10445
1.62/2.50	c bounds 3331 >= 844 @ 1.1049
1.62/2.50	c bounds 3331 >= 845 @ 1.1059
1.62/2.50	c bounds 3331 >= 846 @ 1.1059
1.62/2.50	c bounds 3331 >= 847 @ 1.1069
1.62/2.50	c bounds 3331 >= 848 @ 1.1069
1.62/2.50	c bounds 3331 >= 849 @ 1.1069
1.62/2.50	c bounds 3331 >= 850 @ 1.10789
1.62/2.50	c bounds 3331 >= 851 @ 1.10789
1.62/2.50	c bounds 3331 >= 852 @ 1.108
1.62/2.50	c bounds 3331 >= 853 @ 1.10889
1.62/2.50	c bounds 3331 >= 854 @ 1.10975
1.62/2.50	c bounds 3331 >= 855 @ 1.11089
1.62/2.50	c bounds 3331 >= 856 @ 1.11089
1.62/2.50	c bounds 3331 >= 857 @ 1.11098
1.62/2.50	c bounds 3331 >= 858 @ 1.11188
1.62/2.50	c bounds 3331 >= 859 @ 1.11188
1.62/2.50	c bounds 3331 >= 860 @ 1.11288
1.62/2.50	c bounds 3331 >= 861 @ 1.11288
1.62/2.50	c bounds 3331 >= 862 @ 1.11288
1.62/2.50	c bounds 3331 >= 863 @ 1.11411
1.62/2.50	c bounds 3331 >= 864 @ 1.11488
1.62/2.50	c bounds 3331 >= 865 @ 1.11581
1.62/2.50	c bounds 3331 >= 866 @ 1.11687
1.62/2.50	c bounds 3331 >= 867 @ 1.11687
1.62/2.50	c bounds 3331 >= 868 @ 1.11687
1.62/2.50	c bounds 3331 >= 869 @ 1.11787
1.62/2.50	c bounds 3331 >= 870 @ 1.11787
1.62/2.50	c bounds 3331 >= 871 @ 1.11799
1.62/2.50	c bounds 3331 >= 872 @ 1.11887
1.62/2.50	c bounds 3331 >= 873 @ 1.11887
1.62/2.50	c bounds 3331 >= 874 @ 1.11986
1.62/2.50	c bounds 3331 >= 875 @ 1.11987
1.62/2.50	c bounds 3331 >= 876 @ 1.12086
1.62/2.50	c bounds 3331 >= 877 @ 1.12086
1.62/2.50	c bounds 3331 >= 878 @ 1.12186
1.62/2.50	c bounds 3331 >= 879 @ 1.12245
1.62/2.50	c bounds 3331 >= 880 @ 1.12296
1.62/2.50	c bounds 3331 >= 881 @ 1.12385
1.62/2.50	c bounds 3331 >= 882 @ 1.12385
1.62/2.50	c bounds 3331 >= 883 @ 1.12484
1.62/2.50	c bounds 3331 >= 884 @ 1.12485
1.62/2.50	c bounds 3331 >= 885 @ 1.12485
1.62/2.50	c bounds 3331 >= 886 @ 1.12485
1.62/2.50	c bounds 3331 >= 887 @ 1.12485
1.62/2.50	c bounds 3331 >= 888 @ 1.12622
1.62/2.50	c bounds 3331 >= 889 @ 1.12684
1.62/2.50	c bounds 3331 >= 890 @ 1.12784
1.62/2.50	c bounds 3331 >= 891 @ 1.12784
1.62/2.50	c bounds 3331 >= 892 @ 1.12794
1.62/2.50	c bounds 3331 >= 893 @ 1.12884
1.62/2.50	c bounds 3331 >= 894 @ 1.12884
1.62/2.50	c bounds 3331 >= 895 @ 1.13013
1.62/2.50	c bounds 3331 >= 896 @ 1.13083
1.62/2.50	c bounds 3331 >= 897 @ 1.13091
1.62/2.50	c bounds 3331 >= 898 @ 1.13183
1.62/2.50	c bounds 3331 >= 899 @ 1.13183
1.62/2.50	c bounds 3331 >= 900 @ 1.13282
1.62/2.50	c bounds 3331 >= 901 @ 1.13282
1.62/2.50	c bounds 3331 >= 902 @ 1.13282
1.62/2.50	c bounds 3331 >= 903 @ 1.13282
1.81/2.70	c bounds 3331 >= 904 @ 1.13292
1.81/2.70	c bounds 3331 >= 905 @ 1.13382
1.81/2.70	c bounds 3331 >= 906 @ 1.13382
1.81/2.70	c bounds 3331 >= 907 @ 1.13482
1.81/2.70	c bounds 3331 >= 908 @ 1.13569
1.81/2.70	c bounds 3331 >= 909 @ 1.13719
1.81/2.70	c bounds 3331 >= 910 @ 1.13781
1.81/2.70	c bounds 3331 >= 911 @ 1.13881
1.81/2.70	c bounds 3331 >= 912 @ 1.13881
1.81/2.70	c bounds 3331 >= 913 @ 1.13881
1.81/2.70	c bounds 3331 >= 914 @ 1.13881
1.81/2.70	c bounds 3331 >= 915 @ 1.13881
1.81/2.70	c bounds 3331 >= 916 @ 1.13881
1.81/2.70	c bounds 3331 >= 917 @ 1.13881
1.81/2.70	c bounds 3331 >= 918 @ 1.13881
1.81/2.70	c bounds 3331 >= 919 @ 1.13984
1.81/2.70	c bounds 3331 >= 920 @ 1.1408
1.81/2.70	c bounds 3331 >= 921 @ 1.1408
1.81/2.70	c bounds 3331 >= 922 @ 1.14225
1.81/2.70	c bounds 3331 >= 923 @ 1.1428
1.81/2.70	c bounds 3331 >= 924 @ 1.14415
1.81/2.70	c bounds 3331 >= 925 @ 1.14479
1.81/2.70	c bounds 3331 >= 926 @ 1.14579
1.81/2.70	c bounds 3331 >= 927 @ 1.14579
1.81/2.70	c bounds 3331 >= 928 @ 1.14595
1.81/2.70	c bounds 3331 >= 929 @ 1.14678
1.81/2.70	c bounds 3331 >= 930 @ 1.14678
1.81/2.70	c bounds 3331 >= 931 @ 1.14678
1.81/2.70	c bounds 3331 >= 932 @ 1.14764
1.81/2.70	c bounds 3331 >= 933 @ 1.14878
1.81/2.70	c bounds 3331 >= 934 @ 1.14878
1.81/2.70	c bounds 3331 >= 935 @ 1.1489
1.81/2.70	c bounds 3331 >= 936 @ 1.15035
1.81/2.70	c bounds 3331 >= 937 @ 1.15079
1.81/2.70	c bounds 3331 >= 938 @ 1.15217
1.81/2.70	c bounds 3331 >= 939 @ 1.15277
1.81/2.70	c bounds 3331 >= 940 @ 1.15377
1.81/2.70	c bounds 3331 >= 941 @ 1.15377
1.81/2.70	c bounds 3331 >= 942 @ 1.15477
1.81/2.70	c bounds 3331 >= 943 @ 1.15477
1.81/2.70	c bounds 3331 >= 944 @ 1.15576
1.81/2.70	c bounds 3331 >= 945 @ 1.15576
1.81/2.70	c bounds 3331 >= 946 @ 1.15722
1.81/2.70	c bounds 3331 >= 947 @ 1.15775
1.81/2.70	c bounds 3331 >= 948 @ 1.15875
1.81/2.70	c bounds 3331 >= 949 @ 1.15875
1.81/2.70	c bounds 3331 >= 950 @ 1.15974
1.81/2.70	c bounds 3331 >= 951 @ 1.16068
1.81/2.70	c bounds 3331 >= 952 @ 1.16173
1.81/2.70	c bounds 3331 >= 953 @ 1.16174
1.81/2.70	c bounds 3331 >= 954 @ 1.16314
1.81/2.70	c bounds 3331 >= 955 @ 1.16463
1.81/2.70	c bounds 3331 >= 956 @ 1.16608
1.81/2.70	c bounds 3331 >= 957 @ 1.16672
1.81/2.70	c bounds 3331 >= 958 @ 1.16771
1.81/2.70	c bounds 3331 >= 959 @ 1.16771
1.81/2.70	c bounds 3331 >= 960 @ 1.16871
1.81/2.70	c bounds 3331 >= 961 @ 1.16871
1.81/2.70	c bounds 3331 >= 962 @ 1.16971
1.81/2.70	c bounds 3331 >= 963 @ 1.16971
1.81/2.70	c bounds 3331 >= 964 @ 1.16971
1.81/2.70	c bounds 3331 >= 965 @ 1.16971
1.81/2.70	c bounds 3331 >= 966 @ 1.1698
1.81/2.70	c bounds 3331 >= 967 @ 1.1707
1.81/2.70	c bounds 3331 >= 968 @ 1.17081
1.81/2.70	c bounds 3331 >= 969 @ 1.17228
1.81/2.70	c bounds 3331 >= 970 @ 1.17279
1.81/2.70	c bounds 3331 >= 971 @ 1.1737
1.81/2.70	c bounds 3331 >= 972 @ 1.17379
1.81/2.70	c bounds 3331 >= 973 @ 1.17469
1.81/2.70	c bounds 3331 >= 974 @ 1.1749
1.81/2.70	c bounds 3331 >= 975 @ 1.17569
1.81/2.70	c bounds 3331 >= 976 @ 1.17569
1.81/2.70	c bounds 3331 >= 977 @ 1.17569
1.81/2.70	c bounds 3331 >= 978 @ 1.17596
1.81/2.70	c bounds 3331 >= 979 @ 1.17669
1.81/2.70	c bounds 3331 >= 980 @ 1.17768
1.81/2.70	c bounds 3331 >= 981 @ 1.17769
1.81/2.70	c bounds 3331 >= 982 @ 1.17868
1.81/2.70	c bounds 3331 >= 983 @ 1.17958
1.81/2.70	c bounds 3331 >= 984 @ 1.18068
1.81/2.70	c bounds 3331 >= 985 @ 1.18162
1.81/2.70	c bounds 3331 >= 986 @ 1.18268
1.81/2.70	c bounds 3331 >= 987 @ 1.18268
1.81/2.70	c bounds 3331 >= 988 @ 1.18367
1.81/2.70	c bounds 3331 >= 989 @ 1.18371
1.81/2.70	c bounds 3331 >= 990 @ 1.18525
1.81/2.70	c bounds 3331 >= 991 @ 1.18575
1.81/2.70	c bounds 3331 >= 992 @ 1.18667
1.81/2.70	c bounds 3331 >= 993 @ 1.18674
1.81/2.70	c bounds 3331 >= 994 @ 1.18766
1.81/2.70	c bounds 3331 >= 995 @ 1.18778
1.81/2.70	c bounds 3331 >= 996 @ 1.18866
1.81/2.70	c bounds 3331 >= 997 @ 1.18866
1.81/2.70	c bounds 3331 >= 998 @ 1.18866
1.81/2.70	c bounds 3331 >= 999 @ 1.18882
1.81/2.70	c bounds 3331 >= 1000 @ 1.19035
1.81/2.70	c bounds 3331 >= 1001 @ 1.19166
1.81/2.70	c bounds 3331 >= 1002 @ 1.19166
1.81/2.70	c bounds 3331 >= 1003 @ 1.19265
1.81/2.70	c bounds 3331 >= 1004 @ 1.19265
1.81/2.70	c bounds 3331 >= 1005 @ 1.19365
1.81/2.70	c bounds 3331 >= 1006 @ 1.19365
1.81/2.70	c bounds 3331 >= 1007 @ 1.19365
1.81/2.70	c bounds 3331 >= 1008 @ 1.1946
1.81/2.70	c bounds 3331 >= 1009 @ 1.19564
1.81/2.70	c bounds 3331 >= 1010 @ 1.19564
1.81/2.70	c bounds 3331 >= 1011 @ 1.19639
1.81/2.70	c bounds 3331 >= 1012 @ 1.19664
1.81/2.70	c bounds 3331 >= 1013 @ 1.19664
1.81/2.70	c bounds 3331 >= 1014 @ 1.19764
1.81/2.70	c bounds 3331 >= 1015 @ 1.19866
1.81/2.70	c bounds 3331 >= 1016 @ 1.19963
1.81/2.70	c bounds 3331 >= 1017 @ 1.19976
1.81/2.70	c bounds 3331 >= 1018 @ 1.20132
1.81/2.70	c bounds 3331 >= 1019 @ 1.20184
1.81/2.70	c bounds 3331 >= 1020 @ 1.20261
1.81/2.70	c bounds 3331 >= 1021 @ 1.20261
1.81/2.70	c bounds 3331 >= 1022 @ 1.20354
1.81/2.70	c bounds 3331 >= 1023 @ 1.20514
1.81/2.70	c bounds 3331 >= 1024 @ 1.20568
1.81/2.70	c bounds 3331 >= 1025 @ 1.2066
1.81/2.70	c bounds 3331 >= 1026 @ 1.2066
1.81/2.70	c bounds 3331 >= 1027 @ 1.2066
1.81/2.70	c bounds 3331 >= 1028 @ 1.2066
1.81/2.70	c bounds 3331 >= 1029 @ 1.20743
1.81/2.70	c bounds 3331 >= 1030 @ 1.20859
1.81/2.70	c bounds 3331 >= 1031 @ 1.20859
1.81/2.70	c bounds 3331 >= 1032 @ 1.20959
1.81/2.70	c bounds 3331 >= 1033 @ 1.20959
1.81/2.70	c bounds 3331 >= 1034 @ 1.21034
2.12/3.04	c bounds 3331 >= 1035 @ 1.21093
2.12/3.04	c bounds 3331 >= 1036 @ 1.21159
2.12/3.04	c bounds 3331 >= 1037 @ 1.21297
2.12/3.04	c bounds 3331 >= 1038 @ 1.21447
2.12/3.04	c bounds 3331 >= 1039 @ 1.21605
2.12/3.04	c bounds 3331 >= 1040 @ 1.21667
2.12/3.04	c bounds 3331 >= 1041 @ 1.21757
2.12/3.04	c bounds 3331 >= 1042 @ 1.21757
2.12/3.04	c bounds 3331 >= 1043 @ 1.21852
2.12/3.04	c bounds 3331 >= 1044 @ 1.21957
2.12/3.04	c bounds 3331 >= 1045 @ 1.2197
2.12/3.04	c bounds 3331 >= 1046 @ 1.22131
2.12/3.04	c bounds 3331 >= 1047 @ 1.22156
2.12/3.04	c bounds 3331 >= 1048 @ 1.22156
2.12/3.04	c bounds 3331 >= 1049 @ 1.22256
2.12/3.04	c bounds 3331 >= 1050 @ 1.22268
2.12/3.04	c bounds 3331 >= 1051 @ 1.22356
2.12/3.04	c bounds 3331 >= 1052 @ 1.2239
2.12/3.04	c bounds 3331 >= 1053 @ 1.22456
2.12/3.04	c bounds 3331 >= 1054 @ 1.22608
2.12/3.04	c bounds 3331 >= 1055 @ 1.22666
2.12/3.04	c bounds 3331 >= 1056 @ 1.22755
2.12/3.04	c bounds 3331 >= 1057 @ 1.22755
2.12/3.04	c bounds 3331 >= 1058 @ 1.22755
2.12/3.04	c bounds 3331 >= 1059 @ 1.22897
2.12/3.04	c bounds 3331 >= 1060 @ 1.22954
2.12/3.04	c bounds 3331 >= 1061 @ 1.23054
2.12/3.04	c bounds 3331 >= 1062 @ 1.23054
2.12/3.04	c bounds 3331 >= 1063 @ 1.23127
2.12/3.04	c bounds 3331 >= 1064 @ 1.23154
2.12/3.04	c bounds 3331 >= 1065 @ 1.23154
2.12/3.04	c bounds 3331 >= 1066 @ 1.23253
2.12/3.04	c bounds 3331 >= 1067 @ 1.23253
2.12/3.04	c bounds 3331 >= 1068 @ 1.23353
2.12/3.04	c bounds 3331 >= 1069 @ 1.23361
2.12/3.04	c bounds 3331 >= 1070 @ 1.23514
2.12/3.04	c bounds 3331 >= 1071 @ 1.23553
2.12/3.04	c bounds 3331 >= 1072 @ 1.23553
2.12/3.04	c bounds 3331 >= 1073 @ 1.23596
2.12/3.04	c bounds 3331 >= 1074 @ 1.2366
2.12/3.04	c bounds 3331 >= 1075 @ 1.23752
2.12/3.04	c bounds 3331 >= 1076 @ 1.23752
2.12/3.04	c bounds 3331 >= 1077 @ 1.23752
2.12/3.04	c bounds 3331 >= 1078 @ 1.23911
2.12/3.04	c bounds 3331 >= 1079 @ 1.23952
2.12/3.04	c bounds 3331 >= 1080 @ 1.23952
2.12/3.04	c bounds 3331 >= 1081 @ 1.24108
2.12/3.04	c bounds 3331 >= 1082 @ 1.24151
2.12/3.04	c bounds 3331 >= 1083 @ 1.24151
2.12/3.04	c bounds 3331 >= 1084 @ 1.24293
2.12/3.04	c bounds 3331 >= 1085 @ 1.24356
2.12/3.04	c bounds 3331 >= 1086 @ 1.24516
2.12/3.04	c bounds 3331 >= 1087 @ 1.24547
2.12/3.04	c bounds 3331 >= 1088 @ 1.24642
2.12/3.04	c bounds 3331 >= 1089 @ 1.24746
2.12/3.04	c bounds 3330 >= 1089 @ 1.36368
2.12/3.04	c bounds 3330 >= 1090 @ 1.36508
2.12/3.04	c bounds 3330 >= 1091 @ 1.36522
2.12/3.04	c bounds 3330 >= 1092 @ 1.36608
2.12/3.04	c bounds 3330 >= 1093 @ 1.36708
2.12/3.04	c bounds 3330 >= 1094 @ 1.36708
2.12/3.04	c bounds 3330 >= 1095 @ 1.36867
2.12/3.04	c bounds 3330 >= 1096 @ 1.37007
2.12/3.04	c bounds 3330 >= 1097 @ 1.37007
2.12/3.04	c bounds 3330 >= 1098 @ 1.3715
2.12/3.04	c bounds 3330 >= 1099 @ 1.37214
2.12/3.04	c bounds 3330 >= 1100 @ 1.37306
2.12/3.04	c bounds 3330 >= 1101 @ 1.37307
2.12/3.04	c bounds 3330 >= 1102 @ 1.37307
2.12/3.04	c bounds 3330 >= 1103 @ 1.37458
2.12/3.04	c bounds 3330 >= 1104 @ 1.37517
2.12/3.04	c bounds 3330 >= 1105 @ 1.37604
2.12/3.04	c bounds 3330 >= 1106 @ 1.37705
2.12/3.04	c bounds 3330 >= 1107 @ 1.37712
2.12/3.04	c bounds 3330 >= 1108 @ 1.37804
2.12/3.04	c bounds 3330 >= 1109 @ 1.37903
2.12/3.04	c bounds 3330 >= 1110 @ 1.3792
2.12/3.04	c bounds 3330 >= 1111 @ 1.38089
2.12/3.04	c bounds 3330 >= 1112 @ 1.38257
2.12/3.04	c bounds 3330 >= 1113 @ 1.38402
2.12/3.04	c bounds 3330 >= 1114 @ 1.38402
2.12/3.04	c bounds 3330 >= 1115 @ 1.38561
2.12/3.04	c bounds 3330 >= 1116 @ 1.38602
2.12/3.04	c bounds 3330 >= 1117 @ 1.38693
2.12/3.04	c bounds 3330 >= 1118 @ 1.38801
2.12/3.04	c bounds 3330 >= 1119 @ 1.38901
2.12/3.04	c bounds 3330 >= 1120 @ 1.38905
2.12/3.04	c bounds 3330 >= 1121 @ 1.39001
2.12/3.04	c bounds 3330 >= 1122 @ 1.39001
2.12/3.04	c bounds 3330 >= 1123 @ 1.391
2.12/3.04	c bounds 3330 >= 1124 @ 1.392
2.12/3.04	c bounds 3330 >= 1125 @ 1.393
2.12/3.04	c bounds 3330 >= 1126 @ 1.393
2.12/3.04	c bounds 3330 >= 1127 @ 1.394
2.12/3.04	c bounds 3330 >= 1128 @ 1.395
2.12/3.04	c bounds 3330 >= 1129 @ 1.395
2.12/3.04	c bounds 3330 >= 1130 @ 1.39663
2.12/3.04	c bounds 3330 >= 1131 @ 1.39699
2.12/3.04	c bounds 3330 >= 1132 @ 1.39699
2.12/3.04	c bounds 3330 >= 1133 @ 1.39799
2.12/3.04	c bounds 3330 >= 1134 @ 1.39799
2.12/3.04	c bounds 3330 >= 1135 @ 1.39884
2.12/3.04	c bounds 3330 >= 1136 @ 1.39998
2.12/3.04	c bounds 3330 >= 1137 @ 1.39998
2.12/3.04	c bounds 3330 >= 1138 @ 1.39999
2.12/3.04	c bounds 3330 >= 1139 @ 1.40038
2.12/3.04	c bounds 3330 >= 1140 @ 1.40198
2.12/3.04	c bounds 3330 >= 1141 @ 1.40198
2.12/3.04	c bounds 3330 >= 1142 @ 1.40298
2.12/3.04	c bounds 3330 >= 1143 @ 1.40298
2.12/3.04	c bounds 3330 >= 1144 @ 1.40298
2.12/3.04	c bounds 3330 >= 1145 @ 1.40298
2.12/3.04	c bounds 3330 >= 1146 @ 1.40397
2.12/3.04	c bounds 3330 >= 1147 @ 1.40397
2.12/3.04	c bounds 3330 >= 1148 @ 1.40496
2.12/3.04	c bounds 3330 >= 1149 @ 1.40497
2.12/3.04	c bounds 3330 >= 1150 @ 1.40597
2.12/3.04	c bounds 3330 >= 1151 @ 1.40597
2.12/3.04	c bounds 3330 >= 1152 @ 1.40607
2.12/3.04	c bounds 3330 >= 1153 @ 1.40778
2.12/3.04	c bounds 3330 >= 1154 @ 1.4085
2.12/3.04	c bounds 3330 >= 1155 @ 1.40896
2.12/3.04	c bounds 3330 >= 1156 @ 1.40896
2.12/3.04	c bounds 3330 >= 1157 @ 1.40996
2.12/3.04	c bounds 3330 >= 1158 @ 1.41037
2.12/3.04	c bounds 3330 >= 1159 @ 1.41107
2.12/3.04	c bounds 3330 >= 1160 @ 1.41195
2.12/3.04	c bounds 3330 >= 1161 @ 1.41247
2.12/3.04	c bounds 3330 >= 1162 @ 1.41295
2.32/3.27	c bounds 3330 >= 1163 @ 1.41295
2.32/3.27	c bounds 3330 >= 1164 @ 1.41395
2.32/3.27	c bounds 3330 >= 1165 @ 1.41395
2.32/3.27	c bounds 3330 >= 1166 @ 1.41402
2.32/3.27	c bounds 3330 >= 1167 @ 1.41565
2.32/3.27	c bounds 3330 >= 1168 @ 1.41595
2.32/3.27	c bounds 3330 >= 1169 @ 1.41704
2.32/3.27	c bounds 3330 >= 1170 @ 1.41794
2.32/3.27	c bounds 3330 >= 1171 @ 1.41894
2.32/3.27	c bounds 3330 >= 1172 @ 1.41903
2.32/3.27	c bounds 3330 >= 1173 @ 1.41994
2.32/3.27	c bounds 3330 >= 1174 @ 1.42143
2.32/3.27	c bounds 3330 >= 1175 @ 1.42293
2.32/3.27	c bounds 3330 >= 1176 @ 1.42293
2.32/3.27	c bounds 3330 >= 1177 @ 1.42468
2.32/3.27	c bounds 3330 >= 1178 @ 1.42493
2.32/3.27	c bounds 3330 >= 1179 @ 1.42493
2.32/3.27	c bounds 3330 >= 1180 @ 1.42504
2.32/3.27	c bounds 3330 >= 1181 @ 1.42593
2.32/3.27	c bounds 3330 >= 1182 @ 1.42593
2.32/3.27	c bounds 3330 >= 1183 @ 1.42722
2.32/3.27	c bounds 3330 >= 1184 @ 1.42805
2.32/3.27	c bounds 3330 >= 1185 @ 1.42975
2.32/3.27	c bounds 3330 >= 1186 @ 1.42992
2.32/3.27	c bounds 3330 >= 1187 @ 1.42992
2.32/3.27	c bounds 3330 >= 1188 @ 1.42993
2.32/3.27	c bounds 3330 >= 1189 @ 1.43169
2.32/3.27	c bounds 3330 >= 1190 @ 1.43191
2.32/3.27	c bounds 3330 >= 1191 @ 1.43321
2.32/3.27	c bounds 3330 >= 1192 @ 1.43398
2.32/3.27	c bounds 3330 >= 1193 @ 1.43572
2.32/3.27	c bounds 3330 >= 1194 @ 1.43742
2.32/3.27	c bounds 3330 >= 1195 @ 1.4379
2.32/3.27	c bounds 3330 >= 1196 @ 1.43797
2.32/3.27	c bounds 3330 >= 1197 @ 1.4389
2.32/3.27	c bounds 3330 >= 1198 @ 1.4389
2.32/3.27	c bounds 3330 >= 1199 @ 1.4389
2.32/3.27	c bounds 3330 >= 1200 @ 1.43898
2.32/3.27	c bounds 3330 >= 1201 @ 1.4407
2.32/3.27	c bounds 3330 >= 1202 @ 1.44089
2.32/3.27	c bounds 3330 >= 1203 @ 1.44089
2.32/3.27	c bounds 3330 >= 1204 @ 1.44101
2.32/3.27	c bounds 3330 >= 1205 @ 1.44189
2.32/3.27	c bounds 3330 >= 1206 @ 1.44289
2.32/3.27	c bounds 3330 >= 1207 @ 1.44289
2.32/3.27	c bounds 3330 >= 1208 @ 1.44289
2.32/3.27	c bounds 3330 >= 1209 @ 1.44388
2.32/3.27	c bounds 3330 >= 1210 @ 1.44388
2.32/3.27	c bounds 3330 >= 1211 @ 1.44488
2.32/3.27	c bounds 3330 >= 1212 @ 1.4455
2.32/3.27	c bounds 3330 >= 1213 @ 1.44631
2.32/3.27	c bounds 3330 >= 1214 @ 1.44688
2.32/3.27	c bounds 3330 >= 1215 @ 1.447
2.32/3.27	c bounds 3330 >= 1216 @ 1.44787
2.32/3.27	c bounds 3330 >= 1217 @ 1.44967
2.32/3.27	c bounds 3330 >= 1218 @ 1.45149
2.32/3.27	c bounds 3330 >= 1219 @ 1.45185
2.32/3.27	c bounds 3330 >= 1220 @ 1.45185
2.32/3.27	c bounds 3330 >= 1221 @ 1.45185
2.32/3.27	c bounds 3330 >= 1222 @ 1.45285
2.32/3.27	c bounds 3330 >= 1223 @ 1.45333
2.32/3.27	c bounds 3330 >= 1224 @ 1.45485
2.32/3.27	c bounds 3330 >= 1225 @ 1.45585
2.32/3.27	c bounds 3330 >= 1226 @ 1.45684
2.32/3.27	c bounds 3330 >= 1227 @ 1.45684
2.32/3.27	c bounds 3330 >= 1228 @ 1.45733
2.32/3.27	c bounds 3330 >= 1229 @ 1.45812
2.32/3.27	c bounds 3330 >= 1230 @ 1.45882
2.32/3.27	c bounds 3330 >= 1231 @ 1.45883
2.32/3.27	c bounds 3330 >= 1232 @ 1.45982
2.32/3.27	c bounds 3330 >= 1233 @ 1.46028
2.32/3.27	c bounds 3330 >= 1234 @ 1.46114
2.32/3.27	c bounds 3330 >= 1235 @ 1.46193
2.32/3.27	c bounds 3330 >= 1236 @ 1.46273
2.32/3.27	c bounds 3330 >= 1237 @ 1.46275
2.32/3.27	c bounds 3330 >= 1238 @ 1.46375
2.32/3.27	c bounds 3330 >= 1239 @ 1.46375
2.32/3.27	c bounds 3330 >= 1240 @ 1.46375
2.32/3.27	c bounds 3330 >= 1241 @ 1.46375
2.32/3.27	c bounds 3330 >= 1242 @ 1.46561
2.32/3.27	c bounds 3330 >= 1243 @ 1.46674
2.32/3.27	c bounds 3330 >= 1244 @ 1.46674
2.32/3.27	c bounds 3330 >= 1245 @ 1.46774
2.32/3.27	c bounds 3330 >= 1246 @ 1.46774
2.32/3.27	c bounds 3330 >= 1247 @ 1.46787
2.32/3.27	c bounds 3330 >= 1248 @ 1.46874
2.32/3.27	c bounds 3330 >= 1249 @ 1.46973
2.32/3.27	c bounds 3330 >= 1250 @ 1.47073
2.32/3.27	c bounds 3330 >= 1251 @ 1.47173
2.32/3.27	c bounds 3330 >= 1252 @ 1.47173
2.32/3.27	c bounds 3330 >= 1253 @ 1.47182
2.32/3.27	c bounds 3330 >= 1254 @ 1.47273
2.32/3.27	c bounds 3330 >= 1255 @ 1.47373
2.32/3.27	c bounds 3330 >= 1256 @ 1.47473
2.32/3.27	c bounds 3330 >= 1257 @ 1.47572
2.32/3.27	c bounds 3330 >= 1258 @ 1.47572
2.32/3.27	c bounds 3330 >= 1259 @ 1.47572
2.32/3.27	c bounds 3330 >= 1260 @ 1.47672
2.32/3.27	c bounds 3330 >= 1261 @ 1.47672
2.32/3.27	c bounds 3330 >= 1262 @ 1.47672
2.32/3.27	c bounds 3330 >= 1263 @ 1.47679
2.32/3.27	c bounds 3330 >= 1264 @ 1.47772
2.32/3.27	c bounds 3330 >= 1265 @ 1.47872
2.32/3.27	c bounds 3330 >= 1266 @ 1.47918
2.32/3.27	c bounds 3330 >= 1267 @ 1.47993
2.32/3.27	c bounds 3330 >= 1268 @ 1.48071
2.32/3.27	c bounds 3330 >= 1269 @ 1.48071
2.32/3.27	c bounds 3330 >= 1270 @ 1.48071
2.32/3.27	c bounds 3330 >= 1271 @ 1.48114
2.32/3.27	c bounds 3330 >= 1272 @ 1.48171
2.32/3.27	c bounds 3330 >= 1273 @ 1.48173
2.32/3.27	c bounds 3330 >= 1274 @ 1.48271
2.32/3.27	c bounds 3330 >= 1275 @ 1.48271
2.32/3.27	c bounds 3330 >= 1276 @ 1.48271
2.32/3.27	c bounds 3330 >= 1277 @ 1.48271
2.32/3.27	c bounds 3330 >= 1278 @ 1.4837
2.32/3.27	c bounds 3330 >= 1279 @ 1.48396
2.32/3.27	c bounds 3330 >= 1280 @ 1.4847
2.32/3.27	c bounds 3330 >= 1281 @ 1.48573
2.32/3.27	c bounds 3330 >= 1282 @ 1.4867
2.32/3.27	c bounds 3330 >= 1283 @ 1.4877
2.32/3.27	c bounds 3330 >= 1284 @ 1.4887
2.32/3.27	c bounds 3330 >= 1285 @ 1.4887
2.32/3.27	c bounds 3330 >= 1286 @ 1.4887
2.32/3.27	c bounds 3330 >= 1287 @ 1.4887
2.32/3.27	c bounds 3330 >= 1288 @ 1.4887
2.32/3.27	c bounds 3330 >= 1289 @ 1.48882
2.32/3.27	c bounds 3330 >= 1290 @ 1.48969
2.61/3.52	c bounds 3330 >= 1291 @ 1.49069
2.61/3.52	c bounds 3330 >= 1292 @ 1.49169
2.61/3.52	c bounds 3330 >= 1293 @ 1.49269
2.61/3.52	c bounds 3330 >= 1294 @ 1.49269
2.61/3.52	c bounds 3330 >= 1295 @ 1.49269
2.61/3.52	c bounds 3330 >= 1296 @ 1.49269
2.61/3.52	c bounds 3330 >= 1297 @ 1.49281
2.61/3.52	c bounds 3330 >= 1298 @ 1.49371
2.61/3.52	c bounds 3330 >= 1299 @ 1.49556
2.61/3.52	c bounds 3330 >= 1300 @ 1.49668
2.61/3.52	c bounds 3330 >= 1301 @ 1.49831
2.61/3.52	c bounds 3330 >= 1302 @ 1.49967
2.61/3.52	c bounds 3330 >= 1303 @ 1.50004
2.61/3.52	c bounds 3330 >= 1304 @ 1.50067
2.61/3.52	c bounds 3330 >= 1305 @ 1.50079
2.61/3.52	c bounds 3330 >= 1306 @ 1.50167
2.61/3.52	c bounds 3330 >= 1307 @ 1.50346
2.61/3.52	c bounds 3330 >= 1308 @ 1.50541
2.61/3.52	c bounds 3330 >= 1309 @ 1.50735
2.61/3.52	c bounds 3330 >= 1310 @ 1.50828
2.61/3.52	c bounds 3330 >= 1311 @ 1.50866
2.61/3.52	c bounds 3330 >= 1312 @ 1.50866
2.61/3.52	c bounds 3330 >= 1313 @ 1.50866
2.61/3.52	c bounds 3330 >= 1314 @ 1.50887
2.61/3.52	c bounds 3330 >= 1315 @ 1.50965
2.61/3.52	c bounds 3330 >= 1316 @ 1.50974
2.61/3.52	c bounds 3330 >= 1317 @ 1.51163
2.61/3.52	c bounds 3330 >= 1318 @ 1.51265
2.61/3.52	c bounds 3330 >= 1319 @ 1.51448
2.61/3.52	c bounds 3330 >= 1320 @ 1.51464
2.61/3.52	c bounds 3330 >= 1321 @ 1.51532
2.61/3.52	c bounds 3330 >= 1322 @ 1.51564
2.61/3.52	c bounds 3330 >= 1323 @ 1.51664
2.61/3.52	c bounds 3330 >= 1324 @ 1.51764
2.61/3.52	c bounds 3330 >= 1325 @ 1.51764
2.61/3.52	c bounds 3330 >= 1326 @ 1.51764
2.61/3.52	c bounds 3330 >= 1327 @ 1.51764
2.61/3.52	c bounds 3330 >= 1328 @ 1.51776
2.61/3.52	c bounds 3330 >= 1329 @ 1.51875
2.61/3.52	c bounds 3330 >= 1330 @ 1.52055
2.61/3.52	c bounds 3330 >= 1331 @ 1.52241
2.61/3.52	c bounds 3330 >= 1332 @ 1.52428
2.61/3.52	c bounds 3330 >= 1333 @ 1.52453
2.61/3.52	c bounds 3330 >= 1334 @ 1.52508
2.61/3.52	c bounds 3330 >= 1335 @ 1.52553
2.61/3.52	c bounds 3330 >= 1336 @ 1.52685
2.61/3.52	c bounds 3330 >= 1337 @ 1.52771
2.61/3.52	c bounds 3330 >= 1338 @ 1.52957
2.61/3.52	c bounds 3330 >= 1339 @ 1.53047
2.61/3.52	c bounds 3330 >= 1340 @ 1.53147
2.61/3.52	c bounds 3330 >= 1341 @ 1.53247
2.61/3.52	c bounds 3330 >= 1342 @ 1.53347
2.61/3.52	c bounds 3330 >= 1343 @ 1.53427
2.61/3.52	c bounds 3330 >= 1344 @ 1.53524
2.61/3.52	c bounds 3330 >= 1345 @ 1.53617
2.61/3.52	c bounds 3330 >= 1346 @ 1.5381
2.61/3.52	c bounds 3330 >= 1347 @ 1.53846
2.61/3.52	c bounds 3330 >= 1348 @ 1.53846
2.61/3.52	c bounds 3330 >= 1349 @ 1.53846
2.61/3.52	c bounds 3330 >= 1350 @ 1.53846
2.61/3.52	c bounds 3330 >= 1351 @ 1.53846
2.61/3.52	c bounds 3330 >= 1352 @ 1.53846
2.61/3.52	c bounds 3330 >= 1353 @ 1.53956
2.61/3.52	c bounds 3330 >= 1354 @ 1.54045
2.61/3.52	c bounds 3330 >= 1355 @ 1.54145
2.61/3.52	c bounds 3330 >= 1356 @ 1.54245
2.61/3.52	c bounds 3330 >= 1357 @ 1.54427
2.61/3.52	c bounds 3330 >= 1358 @ 1.54445
2.61/3.52	c bounds 3330 >= 1359 @ 1.54516
2.61/3.52	c bounds 3330 >= 1360 @ 1.54544
2.61/3.52	c bounds 3330 >= 1361 @ 1.54644
2.61/3.52	c bounds 3330 >= 1362 @ 1.54644
2.61/3.52	c bounds 3330 >= 1363 @ 1.54644
2.61/3.52	c bounds 3330 >= 1364 @ 1.54682
2.61/3.52	c bounds 3330 >= 1365 @ 1.54744
2.61/3.52	c bounds 3330 >= 1366 @ 1.54744
2.61/3.52	c bounds 3330 >= 1367 @ 1.54747
2.61/3.52	c bounds 3330 >= 1368 @ 1.54844
2.61/3.52	c bounds 3330 >= 1369 @ 1.54943
2.61/3.52	c bounds 3330 >= 1370 @ 1.55043
2.61/3.52	c bounds 3330 >= 1371 @ 1.55208
2.61/3.52	c bounds 3330 >= 1372 @ 1.55342
2.61/3.52	c bounds 3330 >= 1373 @ 1.55342
2.61/3.52	c bounds 3330 >= 1374 @ 1.55342
2.61/3.52	c bounds 3330 >= 1375 @ 1.55342
2.61/3.52	c bounds 3330 >= 1376 @ 1.55342
2.61/3.52	c bounds 3330 >= 1377 @ 1.55342
2.61/3.52	c bounds 3330 >= 1378 @ 1.55342
2.61/3.52	c bounds 3330 >= 1379 @ 1.55342
2.61/3.52	c bounds 3330 >= 1380 @ 1.55496
2.61/3.52	c bounds 3330 >= 1381 @ 1.55541
2.61/3.52	c bounds 3330 >= 1382 @ 1.55541
2.61/3.52	c bounds 3330 >= 1383 @ 1.55541
2.61/3.52	c bounds 3330 >= 1384 @ 1.55541
2.61/3.52	c bounds 3330 >= 1385 @ 1.55641
2.61/3.52	c bounds 3330 >= 1386 @ 1.55699
2.61/3.52	c bounds 3330 >= 1387 @ 1.5574
2.61/3.52	c bounds 3330 >= 1388 @ 1.5574
2.61/3.52	c bounds 3330 >= 1389 @ 1.55839
2.61/3.52	c bounds 3330 >= 1390 @ 1.55939
2.61/3.52	c bounds 3330 >= 1391 @ 1.55996
2.61/3.52	c bounds 3330 >= 1392 @ 1.56139
2.61/3.52	c bounds 3330 >= 1393 @ 1.56139
2.61/3.52	c bounds 3330 >= 1394 @ 1.56139
2.61/3.52	c bounds 3330 >= 1395 @ 1.56139
2.61/3.52	c bounds 3330 >= 1396 @ 1.56139
2.61/3.52	c bounds 3330 >= 1397 @ 1.56139
2.61/3.52	c bounds 3330 >= 1398 @ 1.56139
2.61/3.52	c bounds 3330 >= 1399 @ 1.56181
2.61/3.52	c bounds 3330 >= 1400 @ 1.56338
2.61/3.52	c bounds 3330 >= 1401 @ 1.56338
2.61/3.52	c bounds 3330 >= 1402 @ 1.56338
2.61/3.52	c bounds 3330 >= 1403 @ 1.56338
2.61/3.52	c bounds 3330 >= 1404 @ 1.56338
2.61/3.52	c bounds 3330 >= 1405 @ 1.56338
2.61/3.52	c bounds 3330 >= 1406 @ 1.56338
2.61/3.52	c bounds 3330 >= 1407 @ 1.56338
2.61/3.52	c bounds 3330 >= 1408 @ 1.56338
2.61/3.52	c bounds 3330 >= 1409 @ 1.56338
2.61/3.52	c bounds 3330 >= 1410 @ 1.56338
2.61/3.52	c bounds 3330 >= 1411 @ 1.56378
2.61/3.52	c bounds 3330 >= 1412 @ 1.56438
2.61/3.52	c bounds 3330 >= 1413 @ 1.56438
2.61/3.52	c bounds 3330 >= 1414 @ 1.56538
2.61/3.52	c bounds 3330 >= 1415 @ 1.56594
2.61/3.52	c bounds 3330 >= 1416 @ 1.56737
2.61/3.52	c bounds 3330 >= 1417 @ 1.56837
2.61/3.52	c bounds 3330 >= 1418 @ 1.56905
2.81/3.78	c bounds 3330 >= 1419 @ 1.56937
2.81/3.78	c bounds 3330 >= 1420 @ 1.56937
2.81/3.78	c bounds 3330 >= 1421 @ 1.56937
2.81/3.78	c bounds 3330 >= 1422 @ 1.56937
2.81/3.78	c bounds 3330 >= 1423 @ 1.56937
2.81/3.78	c bounds 3330 >= 1424 @ 1.56937
2.81/3.78	c bounds 3330 >= 1425 @ 1.57022
2.81/3.78	c bounds 3330 >= 1426 @ 1.5712
2.81/3.78	c bounds 3330 >= 1427 @ 1.57136
2.81/3.78	c bounds 3330 >= 1428 @ 1.57236
2.81/3.78	c bounds 3330 >= 1429 @ 1.57315
2.81/3.78	c bounds 3330 >= 1430 @ 1.57336
2.81/3.78	c bounds 3330 >= 1431 @ 1.57336
2.81/3.78	c bounds 3330 >= 1432 @ 1.57408
2.81/3.78	c bounds 3330 >= 1433 @ 1.57436
2.81/3.78	c bounds 3330 >= 1434 @ 1.57436
2.81/3.78	c bounds 3330 >= 1435 @ 1.57436
2.81/3.78	c bounds 3330 >= 1436 @ 1.57436
2.81/3.78	c bounds 3330 >= 1437 @ 1.57436
2.81/3.78	c bounds 3330 >= 1438 @ 1.57436
2.81/3.78	c bounds 3330 >= 1439 @ 1.57475
2.81/3.78	c bounds 3330 >= 1440 @ 1.57535
2.81/3.78	c bounds 3330 >= 1441 @ 1.57635
2.81/3.78	c bounds 3330 >= 1442 @ 1.57735
2.81/3.78	c bounds 3330 >= 1443 @ 1.57735
2.81/3.78	c bounds 3330 >= 1444 @ 1.57735
2.81/3.78	c bounds 3330 >= 1445 @ 1.57735
2.81/3.78	c bounds 3330 >= 1446 @ 1.57735
2.81/3.78	c bounds 3330 >= 1447 @ 1.57735
2.81/3.78	c bounds 3330 >= 1448 @ 1.57789
2.81/3.78	c bounds 3330 >= 1449 @ 1.57934
2.81/3.78	c bounds 3330 >= 1450 @ 1.58034
2.81/3.78	c bounds 3330 >= 1451 @ 1.58134
2.81/3.78	c bounds 3330 >= 1452 @ 1.58134
2.81/3.78	c bounds 3330 >= 1453 @ 1.58134
2.81/3.78	c bounds 3330 >= 1454 @ 1.58234
2.81/3.78	c bounds 3330 >= 1455 @ 1.58298
2.81/3.78	c bounds 3330 >= 1456 @ 1.58334
2.81/3.78	c bounds 3330 >= 1457 @ 1.58507
2.81/3.78	c bounds 3330 >= 1458 @ 1.58613
2.81/3.78	c bounds 3330 >= 1459 @ 1.58818
2.81/3.78	c bounds 3330 >= 1460 @ 1.58924
2.81/3.78	c bounds 3330 >= 1461 @ 1.59032
2.81/3.78	c bounds 3330 >= 1462 @ 1.59134
2.81/3.78	c bounds 3330 >= 1463 @ 1.59331
2.81/3.78	c bounds 3330 >= 1464 @ 1.59438
2.81/3.78	c bounds 3330 >= 1465 @ 1.59533
2.81/3.78	c bounds 3330 >= 1466 @ 1.59728
2.81/3.78	c bounds 3330 >= 1467 @ 1.59831
2.81/3.78	c bounds 3330 >= 1468 @ 1.59931
2.81/3.78	c bounds 3330 >= 1469 @ 1.60031
2.81/3.78	c bounds 3330 >= 1470 @ 1.60225
2.81/3.78	c bounds 3330 >= 1471 @ 1.6033
2.81/3.78	c bounds 3330 >= 1472 @ 1.6043
2.81/3.78	c bounds 3330 >= 1473 @ 1.6062
2.81/3.78	c bounds 3330 >= 1474 @ 1.6073
2.81/3.78	c bounds 3330 >= 1475 @ 1.6083
2.81/3.78	c bounds 3330 >= 1476 @ 1.60929
2.81/3.78	c bounds 3330 >= 1477 @ 1.61133
2.81/3.78	c bounds 3330 >= 1478 @ 1.61229
2.81/3.78	c bounds 3330 >= 1479 @ 1.61229
2.81/3.78	c bounds 3330 >= 1480 @ 1.61229
2.81/3.78	c bounds 3330 >= 1481 @ 1.61328
2.81/3.78	c bounds 3330 >= 1482 @ 1.61428
2.81/3.78	c bounds 3330 >= 1483 @ 1.61471
2.81/3.78	c bounds 3330 >= 1484 @ 1.61528
2.81/3.78	c bounds 3330 >= 1485 @ 1.61528
2.81/3.78	c bounds 3330 >= 1486 @ 1.61528
2.81/3.78	c bounds 3330 >= 1487 @ 1.61628
2.81/3.78	c bounds 3330 >= 1488 @ 1.61692
2.81/3.78	c bounds 3330 >= 1489 @ 1.61728
2.81/3.78	c bounds 3330 >= 1490 @ 1.61728
2.81/3.78	c bounds 3330 >= 1491 @ 1.61799
2.81/3.78	c bounds 3330 >= 1492 @ 1.61927
2.81/3.78	c bounds 3330 >= 1493 @ 1.62027
2.81/3.78	c bounds 3330 >= 1494 @ 1.62127
2.81/3.78	c bounds 3330 >= 1495 @ 1.6221
2.81/3.78	c bounds 3330 >= 1496 @ 1.62319
2.81/3.78	c bounds 3330 >= 1497 @ 1.62426
2.81/3.78	c bounds 3330 >= 1498 @ 1.62526
2.81/3.78	c bounds 3330 >= 1499 @ 1.62724
2.81/3.78	c bounds 3330 >= 1500 @ 1.62832
2.81/3.78	c bounds 3330 >= 1501 @ 1.62936
2.81/3.78	c bounds 3330 >= 1502 @ 1.63036
2.81/3.78	c bounds 3330 >= 1503 @ 1.63137
2.81/3.78	c bounds 3330 >= 1504 @ 1.63225
2.81/3.78	c bounds 3330 >= 1505 @ 1.63225
2.81/3.78	c bounds 3330 >= 1506 @ 1.63325
2.81/3.78	c bounds 3330 >= 1507 @ 1.63325
2.81/3.78	c bounds 3330 >= 1508 @ 1.63325
2.81/3.78	c bounds 3330 >= 1509 @ 1.63375
2.81/3.78	c bounds 3330 >= 1510 @ 1.63425
2.81/3.78	c bounds 3330 >= 1511 @ 1.63525
2.81/3.78	c bounds 3330 >= 1512 @ 1.63525
2.81/3.78	c bounds 3330 >= 1513 @ 1.63736
2.81/3.78	c bounds 3330 >= 1514 @ 1.63944
2.81/3.78	c bounds 3330 >= 1515 @ 1.64054
2.81/3.78	c bounds 3330 >= 1516 @ 1.64124
2.81/3.78	c bounds 3330 >= 1517 @ 1.6417
2.81/3.78	c bounds 3330 >= 1518 @ 1.64323
2.81/3.78	c bounds 3330 >= 1519 @ 1.64323
2.81/3.78	c bounds 3330 >= 1520 @ 1.64323
2.81/3.78	c bounds 3330 >= 1521 @ 1.64323
2.81/3.78	c bounds 3330 >= 1522 @ 1.64323
2.81/3.78	c bounds 3330 >= 1523 @ 1.64323
2.81/3.78	c bounds 3330 >= 1524 @ 1.64429
2.81/3.78	c bounds 3330 >= 1525 @ 1.64623
2.81/3.78	c bounds 3330 >= 1526 @ 1.64623
2.81/3.78	c bounds 3330 >= 1527 @ 1.64623
2.81/3.78	c bounds 3330 >= 1528 @ 1.64623
2.81/3.78	c bounds 3330 >= 1529 @ 1.6466
2.81/3.78	c bounds 3330 >= 1530 @ 1.64722
2.81/3.78	c bounds 3330 >= 1531 @ 1.64722
2.81/3.78	c bounds 3330 >= 1532 @ 1.64781
2.81/3.78	c bounds 3330 >= 1533 @ 1.64822
2.81/3.78	c bounds 3330 >= 1534 @ 1.64822
2.81/3.78	c bounds 3330 >= 1535 @ 1.64822
2.81/3.78	c bounds 3330 >= 1536 @ 1.64822
2.81/3.78	c bounds 3330 >= 1537 @ 1.64822
2.81/3.78	c bounds 3330 >= 1538 @ 1.64923
2.81/3.78	c bounds 3330 >= 1539 @ 1.65126
2.81/3.78	c bounds 3330 >= 1540 @ 1.65231
2.81/3.78	c bounds 3330 >= 1541 @ 1.65321
2.81/3.78	c bounds 3330 >= 1542 @ 1.65321
2.81/3.78	c bounds 3330 >= 1543 @ 1.65421
2.81/3.78	c bounds 3330 >= 1544 @ 1.65421
2.81/3.78	c bounds 3330 >= 1545 @ 1.65421
2.81/3.78	c bounds 3330 >= 1546 @ 1.65502
2.81/3.78	c bounds 3330 >= 1547 @ 1.6552
3.31/4.25	c bounds 3330 >= 1548 @ 1.65631
3.31/4.25	c bounds 3330 >= 1549 @ 1.65747
3.31/4.25	c bounds 3330 >= 1550 @ 1.6582
3.31/4.25	c bounds 3330 >= 1551 @ 1.6582
3.31/4.25	c bounds 3330 >= 1552 @ 1.6582
3.31/4.25	c bounds 3330 >= 1553 @ 1.65893
3.31/4.25	c bounds 3330 >= 1554 @ 1.66006
3.31/4.25	c bounds 3330 >= 1555 @ 1.66124
3.31/4.25	c bounds 3330 >= 1556 @ 1.66219
3.31/4.25	c bounds 3330 >= 1557 @ 1.66219
3.31/4.25	c bounds 3330 >= 1558 @ 1.66275
3.31/4.25	c bounds 3330 >= 1559 @ 1.66419
3.31/4.25	c bounds 3330 >= 1560 @ 1.66607
3.31/4.25	c bounds 3330 >= 1561 @ 1.6662
3.31/4.25	c bounds 3330 >= 1562 @ 1.66818
3.31/4.25	c bounds 3330 >= 1563 @ 1.66818
3.31/4.25	c bounds 3330 >= 1564 @ 1.66818
3.31/4.25	c bounds 3330 >= 1565 @ 1.66818
3.31/4.25	c bounds 3330 >= 1566 @ 1.66918
3.31/4.25	c bounds 3330 >= 1567 @ 1.67018
3.31/4.25	c bounds 3330 >= 1568 @ 1.67118
3.31/4.25	c bounds 3330 >= 1569 @ 1.67118
3.31/4.25	c bounds 3330 >= 1570 @ 1.67118
3.31/4.25	c bounds 3329 >= 1570 @ 1.84587
3.31/4.25	c bounds 3329 >= 1571 @ 1.84679
3.31/4.25	c bounds 3329 >= 1572 @ 1.84679
3.31/4.25	c bounds 3329 >= 1573 @ 1.84679
3.31/4.25	c bounds 3329 >= 1574 @ 1.84679
3.31/4.25	c bounds 3329 >= 1575 @ 1.84754
3.31/4.25	c bounds 3329 >= 1576 @ 1.84879
3.31/4.25	c bounds 3329 >= 1577 @ 1.85086
3.31/4.25	c bounds 3329 >= 1578 @ 1.85278
3.31/4.25	c bounds 3329 >= 1579 @ 1.85278
3.31/4.25	c bounds 3329 >= 1580 @ 1.85278
3.31/4.25	c bounds 3329 >= 1581 @ 1.85278
3.31/4.25	c bounds 3329 >= 1582 @ 1.85362
3.31/4.25	c bounds 3329 >= 1583 @ 1.85378
3.31/4.25	c bounds 3329 >= 1584 @ 1.85478
3.31/4.25	c bounds 3329 >= 1585 @ 1.85478
3.31/4.25	c bounds 3329 >= 1586 @ 1.85478
3.31/4.25	c bounds 3329 >= 1587 @ 1.85577
3.31/4.25	c bounds 3329 >= 1588 @ 1.85653
3.31/4.25	c bounds 3329 >= 1589 @ 1.85677
3.31/4.25	c bounds 3329 >= 1590 @ 1.85677
3.31/4.25	c bounds 3329 >= 1591 @ 1.85777
3.31/4.25	c bounds 3329 >= 1592 @ 1.85777
3.31/4.25	c bounds 3329 >= 1593 @ 1.85777
3.31/4.25	c bounds 3329 >= 1594 @ 1.85777
3.31/4.25	c bounds 3329 >= 1595 @ 1.85777
3.31/4.25	c bounds 3329 >= 1596 @ 1.85777
3.31/4.25	c bounds 3329 >= 1597 @ 1.85877
3.31/4.25	c bounds 3329 >= 1598 @ 1.85988
3.31/4.25	c bounds 3329 >= 1599 @ 1.86097
3.31/4.25	c bounds 3329 >= 1600 @ 1.86176
3.31/4.25	c bounds 3329 >= 1601 @ 1.86176
3.31/4.25	c bounds 3329 >= 1602 @ 1.86238
3.31/4.25	c bounds 3329 >= 1603 @ 1.86447
3.31/4.25	c bounds 3329 >= 1604 @ 1.86476
3.31/4.25	c bounds 3329 >= 1605 @ 1.86476
3.31/4.25	c bounds 3329 >= 1606 @ 1.86593
3.31/4.25	c bounds 3329 >= 1607 @ 1.86675
3.31/4.25	c bounds 3329 >= 1608 @ 1.86675
3.31/4.25	c bounds 3329 >= 1609 @ 1.86775
3.31/4.25	c bounds 3329 >= 1610 @ 1.86874
3.31/4.25	c bounds 3329 >= 1611 @ 1.86975
3.31/4.25	c bounds 3329 >= 1612 @ 1.86975
3.31/4.25	c bounds 3329 >= 1613 @ 1.87036
3.31/4.25	c bounds 3329 >= 1614 @ 1.87075
3.31/4.25	c bounds 3329 >= 1615 @ 1.87081
3.31/4.25	c bounds 3329 >= 1616 @ 1.87175
3.31/4.25	c bounds 3329 >= 1617 @ 1.87175
3.31/4.25	c bounds 3329 >= 1618 @ 1.87175
3.31/4.25	c bounds 3329 >= 1619 @ 1.87175
3.31/4.25	c bounds 3329 >= 1620 @ 1.87175
3.31/4.25	c bounds 3329 >= 1621 @ 1.87274
3.31/4.25	c bounds 3329 >= 1622 @ 1.87274
3.31/4.25	c bounds 3329 >= 1623 @ 1.87274
3.31/4.25	c bounds 3329 >= 1624 @ 1.87358
3.31/4.25	c bounds 3329 >= 1625 @ 1.87374
3.31/4.25	c bounds 3329 >= 1626 @ 1.87474
3.31/4.25	c bounds 3329 >= 1627 @ 1.87574
3.31/4.25	c bounds 3329 >= 1628 @ 1.87628
3.31/4.25	c bounds 3329 >= 1629 @ 1.87674
3.31/4.25	c bounds 3329 >= 1630 @ 1.87766
3.31/4.25	c bounds 3329 >= 1631 @ 1.87873
3.31/4.25	c bounds 3329 >= 1632 @ 1.87873
3.31/4.25	c bounds 3329 >= 1633 @ 1.87933
3.31/4.25	c bounds 3329 >= 1634 @ 1.87973
3.31/4.25	c bounds 3329 >= 1635 @ 1.88076
3.31/4.25	c bounds 3329 >= 1636 @ 1.88272
3.31/4.25	c bounds 3329 >= 1637 @ 1.88272
3.31/4.25	c bounds 3329 >= 1638 @ 1.88428
3.31/4.25	c bounds 3329 >= 1639 @ 1.88472
3.31/4.25	c bounds 3329 >= 1640 @ 1.88472
3.31/4.25	c bounds 3329 >= 1641 @ 1.88472
3.31/4.25	c bounds 3329 >= 1642 @ 1.88572
3.31/4.25	c bounds 3329 >= 1643 @ 1.88572
3.31/4.25	c bounds 3329 >= 1644 @ 1.88572
3.31/4.25	c bounds 3329 >= 1645 @ 1.88658
3.31/4.25	c bounds 3329 >= 1646 @ 1.88882
3.31/4.25	c bounds 3329 >= 1647 @ 1.88971
3.31/4.25	c bounds 3329 >= 1648 @ 1.89027
3.31/4.25	c bounds 3329 >= 1649 @ 1.89071
3.31/4.25	c bounds 3329 >= 1650 @ 1.89071
3.31/4.25	c bounds 3329 >= 1651 @ 1.89071
3.31/4.25	c bounds 3329 >= 1652 @ 1.89071
3.31/4.25	c bounds 3329 >= 1653 @ 1.89071
3.31/4.25	c bounds 3329 >= 1654 @ 1.89171
3.31/4.25	c bounds 3329 >= 1655 @ 1.8927
3.31/4.25	c bounds 3329 >= 1656 @ 1.89271
3.31/4.25	c bounds 3329 >= 1657 @ 1.89272
3.31/4.25	c bounds 3329 >= 1658 @ 1.8947
3.31/4.25	c bounds 3329 >= 1659 @ 1.8947
3.31/4.25	c bounds 3329 >= 1660 @ 1.8947
3.31/4.25	c bounds 3329 >= 1661 @ 1.8947
3.31/4.25	c bounds 3329 >= 1662 @ 1.89582
3.31/4.25	c bounds 3329 >= 1663 @ 1.8967
3.31/4.25	c bounds 3329 >= 1664 @ 1.8967
3.31/4.25	c bounds 3329 >= 1665 @ 1.89749
3.31/4.25	c bounds 3329 >= 1666 @ 1.89771
3.31/4.25	c bounds 3329 >= 1667 @ 1.89969
3.31/4.25	c bounds 3329 >= 1668 @ 1.89969
3.31/4.25	c bounds 3329 >= 1669 @ 1.90029
3.31/4.25	c bounds 3329 >= 1670 @ 1.90245
3.31/4.25	c bounds 3329 >= 1671 @ 1.90365
3.31/4.25	c bounds 3329 >= 1672 @ 1.90468
3.31/4.25	c bounds 3329 >= 1673 @ 1.90468
3.31/4.25	c bounds 3329 >= 1674 @ 1.90468
90.51/91.64	c bounds 3329 >= 1675 @ 1.90545
90.51/91.64	c bounds 3329 >= 1676 @ 1.90574
90.51/91.64	c bounds 3329 >= 1677 @ 1.90668
90.51/91.64	c bounds 3329 >= 1678 @ 1.90823
90.51/91.64	c bounds 3329 >= 1679 @ 1.90967
90.51/91.64	c bounds 3329 >= 1680 @ 1.91077
90.51/91.64	c bounds 3329 >= 1681 @ 1.91167
90.51/91.64	c bounds 3329 >= 1682 @ 1.91267
90.51/91.64	c bounds 3329 >= 1683 @ 1.91267
90.51/91.64	c bounds 3329 >= 1684 @ 1.91267
90.51/91.64	c bounds 3329 >= 1685 @ 1.91267
90.51/91.64	c bounds 3329 >= 1686 @ 1.91267
90.51/91.64	c bounds 3329 >= 1687 @ 1.91267
90.51/91.64	c bounds 3329 >= 1688 @ 1.91382
90.51/91.64	c bounds 3329 >= 1689 @ 1.91566
90.51/91.64	c bounds 3329 >= 1690 @ 1.91566
90.51/91.64	c bounds 3329 >= 1691 @ 1.91666
90.51/91.64	c bounds 3329 >= 1692 @ 1.91778
90.51/91.64	c bounds 3329 >= 1693 @ 1.91901
90.51/91.64	c bounds 3329 >= 1694 @ 1.92032
90.51/91.64	c bounds 3329 >= 1695 @ 1.9226
90.51/91.64	c bounds 3329 >= 1696 @ 1.92365
90.51/91.64	c bounds 3329 >= 1697 @ 1.92365
90.51/91.64	c bounds 3329 >= 1698 @ 1.92449
90.51/91.64	c bounds 3329 >= 1699 @ 1.92465
90.51/91.64	c bounds 3329 >= 1700 @ 1.92602
90.51/91.64	c bounds 3329 >= 1701 @ 1.95024
90.51/91.64	c bounds 3329 >= 1702 @ 1.95883
90.51/91.64	c bounds 3329 >= 1703 @ 1.98355
90.51/91.64	c bounds 3329 >= 1704 @ 1.99856
90.51/91.64	c bounds 3329 >= 1705 @ 2.008
90.51/91.64	c bounds 3329 >= 1706 @ 2.01831
90.51/91.64	c bounds 3329 >= 1707 @ 2.03834
90.51/91.64	c bounds 3329 >= 1708 @ 2.06091
90.51/91.64	c #Conflicts:       1000 | #Constraints:      14793
90.51/91.64	c bounds 3328 >= 1708 @ 2.36159
90.51/91.64	c bounds 3328 >= 1709 @ 2.36814
90.51/91.64	c bounds 3328 >= 1710 @ 2.3784
90.51/91.64	c bounds 3328 >= 1711 @ 2.41793
90.51/91.64	c #Conflicts:       2000 | #Constraints:      15881
90.51/91.64	c INPROCESSING
90.51/91.64	c GARBAGE COLLECT
90.51/91.64	c bounds 3328 >= 1712 @ 5.63983
90.51/91.64	c bounds 3328 >= 1713 @ 5.68914
90.51/91.64	c bounds 3324 >= 1713 @ 5.69758
90.51/91.64	c bounds 3323 >= 1713 @ 5.7778
90.51/91.64	c bounds 3322 >= 1713 @ 5.89386
90.51/91.64	c #Conflicts:       3000 | #Constraints:      16013
90.51/91.64	c bounds 3322 >= 1714 @ 5.93921
90.51/91.64	c bounds 3321 >= 1714 @ 6.05602
90.51/91.64	c bounds 3321 >= 1715 @ 6.05757
90.51/91.64	c bounds 3321 >= 1716 @ 6.06259
90.51/91.64	c bounds 3321 >= 1717 @ 6.06529
90.51/91.64	c bounds 3321 >= 1718 @ 6.0802
90.51/91.64	c bounds 3320 >= 1718 @ 6.15951
90.51/91.64	c #Conflicts:       4000 | #Constraints:      17178
90.51/91.64	c INPROCESSING
90.51/91.64	c GARBAGE COLLECT
90.51/91.64	c bounds 3319 >= 1718 @ 6.2711
90.51/91.64	c bounds 3319 >= 1719 @ 6.27184
90.51/91.64	c bounds 3319 >= 1720 @ 6.28054
90.51/91.64	c bounds 3318 >= 1720 @ 6.32126
90.51/91.64	c bounds 3318 >= 1721 @ 6.33293
90.51/91.64	c bounds 3318 >= 1722 @ 6.34445
90.51/91.64	c bounds 3318 >= 1723 @ 6.35068
90.51/91.64	c bounds 3317 >= 1723 @ 6.38739
90.51/91.64	c #Conflicts:       5000 | #Constraints:      16753
90.51/91.64	c bounds 3317 >= 1724 @ 6.46806
90.51/91.64	c bounds 3316 >= 1724 @ 6.50766
90.51/91.64	c bounds 3315 >= 1724 @ 6.99768
90.51/91.64	c #Conflicts:       6000 | #Constraints:      17817
90.51/91.64	c bounds 3315 >= 1725 @ 17.1391
90.51/91.64	c INPROCESSING
90.51/91.64	c GARBAGE COLLECT
90.51/91.64	c #Conflicts:       7000 | #Constraints:      16903
90.51/91.64	c bounds 3315 >= 1726 @ 17.2641
90.51/91.64	c bounds 3315 >= 1727 @ 17.3072
90.51/91.64	c bounds 3314 >= 1727 @ 17.6567
90.51/91.64	c bounds 3314 >= 1728 @ 17.6635
90.51/91.64	c bounds 3314 >= 1729 @ 17.6713
90.51/91.64	c #Conflicts:       8000 | #Constraints:      18077
90.51/91.64	c bounds 3314 >= 1730 @ 17.6829
90.51/91.64	c bounds 3314 >= 1731 @ 17.7416
90.51/91.64	c #Conflicts:       9000 | #Constraints:      19150
90.51/91.64	c INPROCESSING
90.51/91.64	c GARBAGE COLLECT
90.51/91.64	c bounds 3314 >= 1732 @ 84.3255
90.51/91.64	c bounds 3313 >= 1732 @ 84.5072
90.51/91.64	c bounds 3313 >= 1733 @ 84.545
90.51/91.64	c #Conflicts:      10000 | #Constraints:      17944
90.51/91.64	c bounds 3313 >= 1734 @ 84.5805
90.51/91.64	c bounds 3312 >= 1734 @ 84.8985
90.51/91.64	c bounds 3312 >= 1735 @ 84.9606
90.51/91.64	c bounds 3312 >= 1736 @ 84.9786
90.51/91.64	c #Conflicts:      11000 | #Constraints:      19071
90.51/91.64	c bounds 3312 >= 1737 @ 85.1318
90.51/91.64	c bounds 3311 >= 1737 @ 85.5535
90.51/91.64	c #Conflicts:      12000 | #Constraints:      20116
90.51/91.64	c bounds 3311 >= 1738 @ 85.7173
90.51/91.64	c bounds 3310 >= 1738 @ 86.1469
90.51/91.64	c bounds 3310 >= 1739 @ 86.1615
90.51/91.64	c bounds 3310 >= 1740 @ 86.1917
90.51/91.64	c #Conflicts:      13000 | #Constraints:      21225
90.51/91.64	c bounds 3310 >= 1741 @ 86.2616
90.51/91.64	c #Conflicts:      14000 | #Constraints:      22248
90.51/91.64	c bounds 3310 >= 1742 @ 86.4789
90.51/91.64	c bounds 3309 >= 1742 @ 86.503
90.51/91.64	c bounds 3308 >= 1742 @ 86.6071
90.51/91.64	c bounds 3307 >= 1742 @ 86.6971
90.51/91.64	c bounds 3306 >= 1742 @ 86.871
90.51/91.64	c bounds 3305 >= 1742 @ 86.9835
90.51/91.64	c bounds 3305 >= 1743 @ 86.9901
90.51/91.64	c #Conflicts:      15000 | #Constraints:      23329
90.51/91.64	c bounds 3305 >= 1744 @ 86.9972
90.51/91.64	c bounds 3304 >= 1744 @ 87.2022
90.51/91.64	c bounds 3304 >= 1745 @ 87.2041
90.51/91.64	c bounds 3304 >= 1746 @ 87.2376
90.51/91.64	c #Conflicts:      16000 | #Constraints:      24414
90.51/91.64	c bounds 3304 >= 1747 @ 87.3582
90.51/91.64	c bounds 3303 >= 1747 @ 87.5585
90.51/91.64	c bounds 3303 >= 1748 @ 87.5694
90.51/91.64	c bounds 3303 >= 1749 @ 87.5708
215.44/216.81	c bounds 3303 >= 1750 @ 87.5728
215.44/216.81	c bounds 3303 >= 1751 @ 87.5917
215.44/216.81	c INPROCESSING
215.44/216.81	c GARBAGE COLLECT
215.44/216.81	c bounds 3303 >= 1752 @ 87.6706
215.44/216.81	c #Conflicts:      17000 | #Constraints:      20803
215.44/216.81	c bounds 3303 >= 1753 @ 87.6917
215.44/216.81	c bounds 3303 >= 1754 @ 87.7272
215.44/216.81	c bounds 3303 >= 1755 @ 87.7644
215.44/216.81	c bounds 3302 >= 1755 @ 87.7858
215.44/216.81	c bounds 3301 >= 1755 @ 87.7921
215.44/216.81	c bounds 3300 >= 1755 @ 87.8701
215.44/216.81	c bounds 3300 >= 1756 @ 87.8868
215.44/216.81	c bounds 3299 >= 1756 @ 87.9642
215.44/216.81	c #Conflicts:      18000 | #Constraints:      21962
215.44/216.81	c bounds 3299 >= 1757 @ 88.0517
215.44/216.81	c bounds 3298 >= 1757 @ 88.1407
215.44/216.81	c bounds 3297 >= 1757 @ 88.2798
215.44/216.81	c bounds 3296 >= 1757 @ 88.3513
215.44/216.81	c bounds 3295 >= 1757 @ 88.4167
215.44/216.81	c bounds 3295 >= 1758 @ 88.4266
215.44/216.81	c bounds 3295 >= 1759 @ 88.428
215.44/216.81	c bounds 3295 >= 1760 @ 88.4421
215.44/216.81	c bounds 3295 >= 1761 @ 88.4509
215.44/216.81	c #Conflicts:      19000 | #Constraints:      23105
215.44/216.81	c bounds 3295 >= 1762 @ 88.4629
215.44/216.81	c bounds 3294 >= 1762 @ 88.4743
215.44/216.81	c bounds 3294 >= 1763 @ 88.5583
215.44/216.81	c bounds 3293 >= 1763 @ 88.6386
215.44/216.81	c #Conflicts:      20000 | #Constraints:      24183
215.44/216.81	c bounds 3292 >= 1763 @ 88.7063
215.44/216.81	c bounds 3291 >= 1763 @ 89.085
215.44/216.81	c bounds 3291 >= 1764 @ 89.0884
215.44/216.81	c INPROCESSING
215.44/216.81	c GARBAGE COLLECT
215.44/216.81	c #Conflicts:      21000 | #Constraints:      21125
215.44/216.81	c bounds 3291 >= 1765 @ 89.2747
215.44/216.81	c bounds 3291 >= 1766 @ 89.3761
215.44/216.81	c bounds 3290 >= 1766 @ 89.3862
215.44/216.81	c bounds 3289 >= 1766 @ 89.455
215.44/216.81	c bounds 3288 >= 1766 @ 89.5305
215.44/216.81	c bounds 3287 >= 1766 @ 89.5799
215.44/216.81	c bounds 3286 >= 1766 @ 89.632
215.44/216.81	c #Conflicts:      22000 | #Constraints:      22236
215.44/216.81	c bounds 3286 >= 1767 @ 196.092
215.44/216.81	c bounds 3285 >= 1767 @ 196.166
215.44/216.81	c bounds 3284 >= 1767 @ 196.348
215.44/216.81	c bounds 3284 >= 1768 @ 196.362
215.44/216.81	c bounds 3283 >= 1768 @ 196.437
215.44/216.81	c bounds 3283 >= 1769 @ 196.439
215.44/216.81	c bounds 3283 >= 1770 @ 196.454
215.44/216.81	c #Conflicts:      23000 | #Constraints:      23409
215.44/216.81	c bounds 3283 >= 1771 @ 196.49
215.44/216.81	c bounds 3282 >= 1771 @ 196.595
215.44/216.81	c bounds 3282 >= 1772 @ 196.6
215.44/216.81	c bounds 3282 >= 1773 @ 196.612
215.44/216.81	c bounds 3282 >= 1774 @ 196.628
215.44/216.81	c bounds 3282 >= 1775 @ 196.644
215.44/216.81	c bounds 3277 >= 1775 @ 196.665
215.44/216.81	c #Conflicts:      24000 | #Constraints:      24592
215.44/216.81	c bounds 3277 >= 1776 @ 196.752
215.44/216.81	c bounds 3276 >= 1776 @ 196.839
215.44/216.81	c bounds 3275 >= 1776 @ 197.068
215.44/216.81	c bounds 3275 >= 1777 @ 197.132
215.44/216.81	c #Conflicts:      25000 | #Constraints:      25676
215.44/216.81	c #Conflicts:      26000 | #Constraints:      26676
215.44/216.81	c bounds 3275 >= 1778 @ 197.565
215.44/216.81	c bounds 3273 >= 1778 @ 197.59
215.44/216.81	c bounds 3272 >= 1778 @ 197.854
215.44/216.81	c bounds 3271 >= 1778 @ 198.755
215.44/216.81	c bounds 3271 >= 1779 @ 198.765
215.44/216.81	c bounds 3271 >= 1780 @ 198.769
215.44/216.81	c bounds 3271 >= 1781 @ 198.804
215.44/216.81	c #Conflicts:      27000 | #Constraints:      27831
215.44/216.81	c bounds 3271 >= 1782 @ 198.93
215.44/216.81	c bounds 3271 >= 1783 @ 198.948
215.44/216.81	c #Conflicts:      28000 | #Constraints:      28898
215.44/216.81	c bounds 3271 >= 1784 @ 199.258
215.44/216.81	c bounds 3270 >= 1784 @ 199.439
215.44/216.81	c bounds 3269 >= 1784 @ 199.545
215.44/216.81	c #Conflicts:      29000 | #Constraints:      29935
215.44/216.81	c bounds 3268 >= 1784 @ 199.67
215.44/216.81	c bounds 3268 >= 1785 @ 199.687
215.44/216.81	c bounds 3267 >= 1785 @ 199.804
215.44/216.81	c bounds 3267 >= 1786 @ 199.819
215.44/216.81	c bounds 3267 >= 1787 @ 199.854
215.44/216.81	c bounds 3267 >= 1788 @ 199.879
215.44/216.81	c bounds 3267 >= 1789 @ 199.989
215.44/216.81	c #Conflicts:      30000 | #Constraints:      31139
215.44/216.81	c bounds 3266 >= 1789 @ 201.243
215.44/216.81	c INPROCESSING
215.44/216.81	c GARBAGE COLLECT
215.44/216.81	c bounds 3266 >= 1790 @ 201.495
215.44/216.81	c #Conflicts:      31000 | #Constraints:      24690
215.44/216.81	c bounds 3266 >= 1791 @ 201.597
215.44/216.81	c #Conflicts:      32000 | #Constraints:      25729
215.44/216.81	c #Conflicts:      33000 | #Constraints:      26729
215.44/216.81	c bounds 3266 >= 1792 @ 201.833
215.44/216.81	c #Conflicts:      34000 | #Constraints:      27758
215.44/216.81	c #Conflicts:      35000 | #Constraints:      28758
215.44/216.81	c bounds 3266 >= 1793 @ 202.475
215.44/216.81	c #Conflicts:      36000 | #Constraints:      29796
215.44/216.81	c INPROCESSING
215.44/216.81	c GARBAGE COLLECT
215.44/216.81	c bounds 3265 >= 1793 @ 202.746
215.44/216.81	c bounds 3264 >= 1793 @ 202.94
215.44/216.81	c bounds 3263 >= 1793 @ 203.241
215.44/216.81	c bounds 3262 >= 1793 @ 203.759
215.44/216.81	c #Conflicts:      37000 | #Constraints:      26017
215.44/216.81	c bounds 3261 >= 1793 @ 209.684
215.44/216.81	c bounds 3261 >= 1794 @ 209.7
215.44/216.81	c bounds 3261 >= 1795 @ 209.71
215.44/216.81	c #Conflicts:      38000 | #Constraints:      27067
215.44/216.81	c bounds 3261 >= 1796 @ 209.837
215.44/216.81	c #Conflicts:      39000 | #Constraints:      28117
215.44/216.81	c bounds 3261 >= 1797 @ 210.335
215.44/216.81	c #Conflicts:      40000 | #Constraints:      29161
781.10/783.73	c bounds 3261 >= 1798 @ 210.635
781.10/783.73	c #Conflicts:      41000 | #Constraints:      30196
781.10/783.73	c #Conflicts:      42000 | #Constraints:      31196
781.10/783.73	c bounds 3261 >= 1799 @ 211.085
781.10/783.73	c #Conflicts:      43000 | #Constraints:      32243
781.10/783.73	c #Conflicts:      44000 | #Constraints:      33243
781.10/783.73	c #Conflicts:      45000 | #Constraints:      34243
781.10/783.73	c bounds 3261 >= 1800 @ 212.988
781.10/783.73	c #Conflicts:      46000 | #Constraints:      35287
781.10/783.73	c bounds 3261 >= 1801 @ 213.272
781.10/783.73	c bounds 3261 >= 1802 @ 213.309
781.10/783.73	c bounds 3261 >= 1803 @ 213.346
781.10/783.73	c bounds 3261 >= 1804 @ 213.383
781.10/783.73	c bounds 3261 >= 1805 @ 213.428
781.10/783.73	c bounds 3261 >= 1806 @ 213.49
781.10/783.73	c #Conflicts:      47000 | #Constraints:      36477
781.10/783.73	c #Conflicts:      48000 | #Constraints:      37477
781.10/783.73	c bounds 3261 >= 1807 @ 213.837
781.10/783.73	c bounds 3261 >= 1808 @ 214.124
781.10/783.73	c #Conflicts:      49000 | #Constraints:      38592
781.10/783.73	c bounds 3261 >= 1809 @ 214.303
781.10/783.73	c INPROCESSING
781.10/783.73	c GARBAGE COLLECT
781.10/783.73	c rational objective 2022.3
812.53/815.22	c bounds 3261 >= 1810 @ 775.15
812.53/815.22	c #Conflicts:      50000 | #Constraints:      29131
812.53/815.22	c #Conflicts:      51000 | #Constraints:      30131
812.53/815.22	c bounds 3261 >= 1811 @ 775.403
812.53/815.22	c #Conflicts:      52000 | #Constraints:      31166
812.53/815.22	c bounds 3261 >= 1812 @ 775.69
812.53/815.22	c bounds 3261 >= 1813 @ 775.717
812.53/815.22	c bounds 3261 >= 1814 @ 775.739
812.53/815.22	c bounds 3261 >= 1815 @ 775.744
812.53/815.22	c bounds 3261 >= 1816 @ 775.762
812.53/815.22	c #Conflicts:      53000 | #Constraints:      32368
812.53/815.22	c bounds 3261 >= 1817 @ 775.839
812.53/815.22	c #Conflicts:      54000 | #Constraints:      33412
812.53/815.22	c #Conflicts:      55000 | #Constraints:      34412
812.53/815.22	c bounds 3261 >= 1818 @ 776.186
812.53/815.22	c bounds 3253 >= 1818 @ 776.236
812.53/815.22	c bounds 3252 >= 1818 @ 776.335
812.53/815.22	c bounds 3251 >= 1818 @ 776.47
812.53/815.22	c bounds 3250 >= 1818 @ 776.552
812.53/815.22	c bounds 3249 >= 1818 @ 776.622
812.53/815.22	c bounds 3248 >= 1818 @ 776.711
812.53/815.22	c bounds 3247 >= 1818 @ 776.918
812.53/815.22	c bounds 3246 >= 1818 @ 777.049
812.53/815.22	c bounds 3245 >= 1818 @ 777.158
812.53/815.22	c #Conflicts:      56000 | #Constraints:      35447
812.53/815.22	c bounds 3244 >= 1818 @ 777.497
812.53/815.22	c bounds 3244 >= 1819 @ 777.596
812.53/815.22	c bounds 3243 >= 1819 @ 777.86
812.53/815.22	c #Conflicts:      57000 | #Constraints:      36475
812.53/815.22	c #Conflicts:      58000 | #Constraints:      37475
812.53/815.22	c #Conflicts:      59000 | #Constraints:      38475
812.53/815.22	c #Conflicts:      60000 | #Constraints:      39475
812.53/815.22	c #Conflicts:      61000 | #Constraints:      40475
812.53/815.22	c #Conflicts:      62000 | #Constraints:      41475
812.53/815.22	c bounds 3243 >= 1820 @ 780.241
812.53/815.22	c bounds 3242 >= 1820 @ 780.439
812.53/815.22	c #Conflicts:      63000 | #Constraints:      42571
812.53/815.22	c bounds 3241 >= 1820 @ 780.627
812.53/815.22	c bounds 3240 >= 1820 @ 780.753
812.53/815.22	c bounds 3239 >= 1820 @ 780.991
812.53/815.22	c bounds 3238 >= 1820 @ 781.274
812.53/815.22	c bounds 3237 >= 1820 @ 782.507
812.53/815.22	c #Conflicts:      64000 | #Constraints:      43576
812.53/815.22	c bounds 3236 >= 1820 @ 783.544
812.53/815.22	c bounds 3235 >= 1820 @ 784.314
812.53/815.22	c bounds 3234 >= 1820 @ 784.767
812.53/815.22	c bounds 3233 >= 1820 @ 785.851
812.53/815.22	c bounds 3232 >= 1820 @ 786.233
812.53/815.22	c bounds 3232 >= 1821 @ 786.363
812.53/815.22	c #Conflicts:      65000 | #Constraints:      44634
812.53/815.22	c INPROCESSING
812.53/815.22	c GARBAGE COLLECT
812.53/815.22	c bounds 3232 >= 1822 @ 786.6
812.53/815.22	c #Conflicts:      66000 | #Constraints:      32540
812.53/815.22	c bounds 3232 >= 1823 @ 786.833
812.53/815.22	c bounds 3231 >= 1823 @ 787.023
812.53/815.22	c bounds 3230 >= 1823 @ 787.557
812.53/815.22	c bounds 3229 >= 1823 @ 787.773
812.53/815.22	c #Conflicts:      67000 | #Constraints:      33578
812.53/815.22	c bounds 3228 >= 1823 @ 788.323
812.53/815.22	c bounds 3228 >= 1824 @ 788.336
812.53/815.22	c bounds 3228 >= 1825 @ 788.361
812.53/815.22	c bounds 3228 >= 1826 @ 788.372
812.53/815.22	c bounds 3228 >= 1827 @ 788.387
812.53/815.22	c bounds 3228 >= 1828 @ 788.418
812.53/815.22	c #Conflicts:      68000 | #Constraints:      34748
812.53/815.22	c bounds 3228 >= 1829 @ 788.626
812.53/815.22	c bounds 3221 >= 1829 @ 788.674
812.53/815.22	c bounds 3220 >= 1829 @ 788.827
812.53/815.22	c #Conflicts:      69000 | #Constraints:      35782
812.53/815.22	c #Conflicts:      70000 | #Constraints:      36782
812.53/815.22	c #Conflicts:      71000 | #Constraints:      37782
812.53/815.22	c bounds 3220 >= 1830 @ 789.723
812.53/815.22	c bounds 3219 >= 1830 @ 789.82
812.53/815.22	c bounds 3218 >= 1830 @ 789.914
812.53/815.22	c bounds 3217 >= 1830 @ 790.017
812.53/815.22	c bounds 3216 >= 1830 @ 790.255
812.53/815.22	c bounds 3215 >= 1830 @ 790.524
812.53/815.22	c #Conflicts:      72000 | #Constraints:      38840
812.53/815.22	c bounds 3214 >= 1830 @ 792.497
812.53/815.22	c bounds 3214 >= 1831 @ 792.524
812.53/815.22	c bounds 3214 >= 1832 @ 792.562
812.53/815.22	c bounds 3214 >= 1833 @ 792.629
812.53/815.22	c bounds 3214 >= 1834 @ 792.741
812.53/815.22	c #Conflicts:      73000 | #Constraints:      39990
812.53/815.22	c bounds 3214 >= 1835 @ 793.107
812.53/815.22	c #Conflicts:      74000 | #Constraints:      41022
812.53/815.22	c #Conflicts:      75000 | #Constraints:      42022
812.53/815.22	c #Conflicts:      76000 | #Constraints:      43022
812.53/815.22	c #Conflicts:      77000 | #Constraints:      44022
812.53/815.22	c bounds 3214 >= 1836 @ 794.732
812.53/815.22	c bounds 3213 >= 1836 @ 795.056
812.53/815.22	c bounds 3212 >= 1836 @ 795.223
812.53/815.22	c bounds 3211 >= 1836 @ 795.376
812.53/815.22	c #Conflicts:      78000 | #Constraints:      45081
812.53/815.22	c bounds 3210 >= 1836 @ 795.898
812.53/815.22	c #Conflicts:      79000 | #Constraints:      46082
812.53/815.22	c bounds 3210 >= 1837 @ 796.726
812.53/815.22	c bounds 3209 >= 1837 @ 796.948
812.53/815.22	c bounds 3208 >= 1837 @ 797.106
812.53/815.22	c bounds 3207 >= 1837 @ 797.275
812.53/815.22	c bounds 3206 >= 1837 @ 797.434
812.53/815.22	c bounds 3205 >= 1837 @ 797.697
812.53/815.22	c #Conflicts:      80000 | #Constraints:      47155
812.53/815.22	c bounds 3205 >= 1838 @ 797.999
812.53/815.22	c bounds 3204 >= 1838 @ 798.152
812.53/815.22	c #Conflicts:      81000 | #Constraints:      48203
812.53/815.22	c bounds 3203 >= 1838 @ 803.046
812.53/815.22	c #Conflicts:      82000 | #Constraints:      49204
1953.01/1958.58	c INPROCESSING
1953.01/1958.58	c GARBAGE COLLECT
1953.01/1958.58	c #Conflicts:      83000 | #Constraints:      35349
1953.01/1958.58	c #Conflicts:      84000 | #Constraints:      36349
1953.01/1958.58	c bounds 3203 >= 1839 @ 804.305
1953.01/1958.58	c #Conflicts:      85000 | #Constraints:      37402
1953.01/1958.58	c #Conflicts:      86000 | #Constraints:      38402
1953.01/1958.58	c bounds 3203 >= 1840 @ 1036.58
1953.01/1958.58	c #Conflicts:      87000 | #Constraints:      39455
1953.01/1958.58	c #Conflicts:      88000 | #Constraints:      40455
1953.01/1958.58	c #Conflicts:      89000 | #Constraints:      41455
1953.01/1958.58	c #Conflicts:      90000 | #Constraints:      42455
1953.01/1958.58	c bounds 3203 >= 1841 @ 1038.24
1953.01/1958.58	c bounds 3202 >= 1841 @ 1038.26
1953.01/1958.58	c #Conflicts:      91000 | #Constraints:      43515
1953.01/1958.58	c bounds 3201 >= 1841 @ 1038.43
1953.01/1958.58	c bounds 3200 >= 1841 @ 1038.64
1953.01/1958.58	c bounds 3199 >= 1841 @ 1039.67
1953.01/1958.58	c bounds 3199 >= 1842 @ 1039.69
1953.01/1958.58	c #Conflicts:      92000 | #Constraints:      44541
1953.01/1958.58	c bounds 3199 >= 1843 @ 1039.98
1953.01/1958.58	c #Conflicts:      93000 | #Constraints:      45612
1953.01/1958.58	c bounds 3198 >= 1843 @ 1040.29
1953.01/1958.58	c #Conflicts:      94000 | #Constraints:      46613
1953.01/1958.58	c #Conflicts:      95000 | #Constraints:      47613
1953.01/1958.58	c #Conflicts:      96000 | #Constraints:      48613
1953.01/1958.58	c #Conflicts:      97000 | #Constraints:      49613
1953.01/1958.58	c #Conflicts:      98000 | #Constraints:      50613
1953.01/1958.58	c bounds 3198 >= 1844 @ 1042.54
1953.01/1958.58	c bounds 3197 >= 1844 @ 1042.69
1953.01/1958.58	c bounds 3196 >= 1844 @ 1042.83
1953.01/1958.58	c bounds 3195 >= 1844 @ 1043
1953.01/1958.58	c bounds 3194 >= 1844 @ 1043.15
1953.01/1958.58	c bounds 3193 >= 1844 @ 1043.3
1953.01/1958.58	c bounds 3192 >= 1844 @ 1043.46
1953.01/1958.58	c bounds 3191 >= 1844 @ 1043.7
1953.01/1958.58	c bounds 3190 >= 1844 @ 1043.95
1953.01/1958.58	c bounds 3189 >= 1844 @ 1044.27
1953.01/1958.58	c bounds 3188 >= 1844 @ 1044.55
1953.01/1958.58	c #Conflicts:      99000 | #Constraints:      51658
1953.01/1958.58	c #Conflicts:     100000 | #Constraints:      52658
1953.01/1958.58	c #Conflicts:     101000 | #Constraints:      53658
1953.01/1958.58	c #Conflicts:     102000 | #Constraints:      54658
1953.01/1958.58	c INPROCESSING
1953.01/1958.58	c GARBAGE COLLECT
1953.01/1958.58	c #Conflicts:     103000 | #Constraints:      38980
1953.01/1958.58	c #Conflicts:     104000 | #Constraints:      39980
1953.01/1958.58	c #Conflicts:     105000 | #Constraints:      40980
1953.01/1958.58	c #Conflicts:     106000 | #Constraints:      41980
1953.01/1958.58	c #Conflicts:     107000 | #Constraints:      42980
1953.01/1958.58	c #Conflicts:     108000 | #Constraints:      43980
1953.01/1958.58	c #Conflicts:     109000 | #Constraints:      44980
1953.01/1958.58	c #Conflicts:     110000 | #Constraints:      45980
1953.01/1958.58	c #Conflicts:     111000 | #Constraints:      46980
1953.01/1958.58	c #Conflicts:     112000 | #Constraints:      47980
1953.01/1958.58	c #Conflicts:     113000 | #Constraints:      48980
1953.01/1958.58	c #Conflicts:     114000 | #Constraints:      49980
1953.01/1958.58	c bounds 3188 >= 1845 @ 1062.3
1953.01/1958.58	c bounds 3187 >= 1845 @ 1062.57
1953.01/1958.58	c bounds 3186 >= 1845 @ 1062.98
1953.01/1958.58	c #Conflicts:     115000 | #Constraints:      51026
1953.01/1958.58	c bounds 3185 >= 1845 @ 1063.27
1953.01/1958.58	c bounds 3184 >= 1845 @ 1064.11
1953.01/1958.58	c bounds 3183 >= 1845 @ 1064.66
1953.01/1958.58	c bounds 3182 >= 1845 @ 1065.67
1953.01/1958.58	c #Conflicts:     116000 | #Constraints:      52030
1953.01/1958.58	c bounds 3181 >= 1845 @ 1066.61
1953.01/1958.58	c bounds 3180 >= 1845 @ 1067.6
1953.01/1958.58	c #Conflicts:     117000 | #Constraints:      53032
1953.01/1958.58	c bounds 3179 >= 1845 @ 1070.44
1953.01/1958.58	c #Conflicts:     118000 | #Constraints:      54033
1953.01/1958.58	c #Conflicts:     119000 | #Constraints:      55033
1953.01/1958.58	c #Conflicts:     120000 | #Constraints:      56033
1953.01/1958.58	c bounds 3178 >= 1845 @ 1087.66
1953.01/1958.58	c bounds 3178 >= 1846 @ 1087.74
1953.01/1958.58	c #Conflicts:     121000 | #Constraints:      57078
1953.01/1958.58	c bounds 3178 >= 1847 @ 1087.9
1953.01/1958.58	c #Conflicts:     122000 | #Constraints:      58104
1953.01/1958.58	c bounds 3178 >= 1848 @ 1088.6
1953.01/1958.58	c bounds 3178 >= 1849 @ 1089.48
1953.01/1958.58	c #Conflicts:     123000 | #Constraints:      59201
1953.01/1958.58	c INPROCESSING
1953.01/1958.58	c GARBAGE COLLECT
1953.01/1958.58	c bounds 3178 >= 1850 @ 1938.31
1953.01/1958.58	c #Conflicts:     124000 | #Constraints:      41500
1953.01/1958.58	c bounds 3178 >= 1851 @ 1938.41
1953.01/1958.58	c #Conflicts:     125000 | #Constraints:      42529
1953.01/1958.58	c bounds 3178 >= 1852 @ 1938.6
1953.01/1958.58	c bounds 3178 >= 1853 @ 1938.69
1953.01/1958.58	c #Conflicts:     126000 | #Constraints:      43614
1953.01/1958.58	c bounds 3178 >= 1854 @ 1938.7
1953.01/1958.58	c bounds 3178 >= 1855 @ 1938.72
1953.01/1958.58	c bounds 3178 >= 1856 @ 1938.74
1953.01/1958.58	c bounds 3178 >= 1857 @ 1938.77
1953.01/1958.58	c bounds 3178 >= 1858 @ 1938.78
1953.01/1958.58	c bounds 3178 >= 1859 @ 1938.83
1953.01/1958.58	c #Conflicts:     127000 | #Constraints:      44842
1953.01/1958.58	c #Conflicts:     128000 | #Constraints:      45842
1953.01/1958.58	c #Conflicts:     129000 | #Constraints:      46842
1953.01/1958.58	c #Conflicts:     130000 | #Constraints:      47842
1953.01/1958.58	c #Conflicts:     131000 | #Constraints:      48842
2541.93/2549.08	c #Conflicts:     132000 | #Constraints:      49842
2541.93/2549.08	c #Conflicts:     133000 | #Constraints:      50842
2541.93/2549.08	c #Conflicts:     134000 | #Constraints:      51842
2541.93/2549.08	c #Conflicts:     135000 | #Constraints:      52842
2541.93/2549.08	c #Conflicts:     136000 | #Constraints:      53842
2541.93/2549.08	c #Conflicts:     137000 | #Constraints:      54842
2541.93/2549.08	c #Conflicts:     138000 | #Constraints:      55842
2541.93/2549.08	c #Conflicts:     139000 | #Constraints:      56842
2541.93/2549.08	c #Conflicts:     140000 | #Constraints:      57842
2541.93/2549.08	c #Conflicts:     141000 | #Constraints:      58842
2541.93/2549.08	c #Conflicts:     142000 | #Constraints:      59842
2541.93/2549.08	c #Conflicts:     143000 | #Constraints:      60842
2541.93/2549.08	c #Conflicts:     144000 | #Constraints:      61842
2541.93/2549.08	c #Conflicts:     145000 | #Constraints:      62842
2541.93/2549.08	c #Conflicts:     146000 | #Constraints:      63842
2541.93/2549.08	c #Conflicts:     147000 | #Constraints:      64842
2541.93/2549.08	c INPROCESSING
2541.93/2549.08	c GARBAGE COLLECT
2541.93/2549.08	c bounds 3177 >= 1859 @ 1958.75
2541.93/2549.08	c bounds 3176 >= 1859 @ 1959.23
2541.93/2549.08	c #Conflicts:     148000 | #Constraints:      45268
2541.93/2549.08	c bounds 3175 >= 1859 @ 1959.67
2541.93/2549.08	c bounds 3174 >= 1859 @ 1961.71
2541.93/2549.08	c bounds 3173 >= 1859 @ 1962.22
2541.93/2549.08	c #Conflicts:     149000 | #Constraints:      46271
2541.93/2549.08	c bounds 3172 >= 1859 @ 1963.39
2541.93/2549.08	c #Conflicts:     150000 | #Constraints:      47272
2541.93/2549.08	c bounds 3171 >= 1859 @ 1965.07
2541.93/2549.08	c #Conflicts:     151000 | #Constraints:      48275
2541.93/2549.08	c bounds 3170 >= 1859 @ 1972.48
2541.93/2549.08	c bounds 3169 >= 1859 @ 1973.93
2541.93/2549.08	c #Conflicts:     152000 | #Constraints:      49319
2541.93/2549.08	c #Conflicts:     153000 | #Constraints:      50319
2541.93/2549.08	c #Conflicts:     154000 | #Constraints:      51319
2541.93/2549.08	c #Conflicts:     155000 | #Constraints:      52319
2541.93/2549.08	c #Conflicts:     156000 | #Constraints:      53319
2541.93/2549.08	c #Conflicts:     157000 | #Constraints:      54319
2541.93/2549.08	c #Conflicts:     158000 | #Constraints:      55319
2541.93/2549.08	c #Conflicts:     159000 | #Constraints:      56319
2541.93/2549.08	c #Conflicts:     160000 | #Constraints:      57319
2541.93/2549.08	c #Conflicts:     161000 | #Constraints:      58319
2541.93/2549.08	c #Conflicts:     162000 | #Constraints:      59319
2541.93/2549.08	c #Conflicts:     163000 | #Constraints:      60319
2541.93/2549.08	c #Conflicts:     164000 | #Constraints:      61319
2541.93/2549.08	c #Conflicts:     165000 | #Constraints:      62319
2541.93/2549.08	c #Conflicts:     166000 | #Constraints:      63319
2541.93/2549.08	c #Conflicts:     167000 | #Constraints:      64319
2541.93/2549.08	c #Conflicts:     168000 | #Constraints:      65319
2541.93/2549.08	c #Conflicts:     169000 | #Constraints:      66319
2541.93/2549.08	c #Conflicts:     170000 | #Constraints:      67319
2541.93/2549.08	c #Conflicts:     171000 | #Constraints:      68319
2541.93/2549.08	c #Conflicts:     172000 | #Constraints:      69319
2541.93/2549.08	c INPROCESSING
2541.93/2549.08	c GARBAGE COLLECT
2541.93/2549.08	c #Conflicts:     173000 | #Constraints:      47498
2541.93/2549.08	c #Conflicts:     174000 | #Constraints:      48498
2541.93/2549.08	c bounds 3168 >= 1859 @ 2401.31
2541.93/2549.08	c #Conflicts:     175000 | #Constraints:      49499
2541.93/2549.08	c bounds 3167 >= 1859 @ 2408.39
2541.93/2549.08	c bounds 3166 >= 1859 @ 2409.61
2541.93/2549.08	c #Conflicts:     176000 | #Constraints:      50501
2541.93/2549.08	c bounds 3165 >= 1859 @ 2411.83
2541.93/2549.08	c bounds 3164 >= 1859 @ 2412.72
2541.93/2549.08	c #Conflicts:     177000 | #Constraints:      51503
2541.93/2549.08	c bounds 3163 >= 1859 @ 2418.12
2541.93/2549.08	c #Conflicts:     178000 | #Constraints:      52504
2541.93/2549.08	c bounds 3162 >= 1859 @ 2419.88
2541.93/2549.08	c bounds 3161 >= 1859 @ 2420.76
2541.93/2549.08	c bounds 3160 >= 1859 @ 2421.7
2541.93/2549.08	c bounds 3159 >= 1859 @ 2422.25
2541.93/2549.08	c #Conflicts:     179000 | #Constraints:      53508
2541.93/2549.08	c bounds 3158 >= 1859 @ 2423.67
2541.93/2549.08	c bounds 3157 >= 1859 @ 2429.77
2541.93/2549.08	c #Conflicts:     180000 | #Constraints:      54510
2541.93/2549.08	c bounds 3156 >= 1859 @ 2431.73
2541.93/2549.08	c bounds 3155 >= 1859 @ 2433.95
2541.93/2549.08	c #Conflicts:     181000 | #Constraints:      55512
2541.93/2549.08	c bounds 3154 >= 1859 @ 2435.65
2541.93/2549.08	c #Conflicts:     182000 | #Constraints:      56513
2541.93/2549.08	c #Conflicts:     183000 | #Constraints:      57513
2541.93/2549.08	c #Conflicts:     184000 | #Constraints:      58513
2541.93/2549.08	c #Conflicts:     185000 | #Constraints:      59513
2541.93/2549.08	c #Conflicts:     186000 | #Constraints:      60513
2541.93/2549.08	c #Conflicts:     187000 | #Constraints:      61513
2541.93/2549.08	c #Conflicts:     188000 | #Constraints:      62513
2541.93/2549.08	c #Conflicts:     189000 | #Constraints:      63513
2541.93/2549.08	c #Conflicts:     190000 | #Constraints:      64513
2541.93/2549.08	c #Conflicts:     191000 | #Constraints:      65513
2541.93/2549.08	c #Conflicts:     192000 | #Constraints:      66513
2541.93/2549.08	c bounds 3153 >= 1859 @ 2522.29
2541.93/2549.08	c #Conflicts:     193000 | #Constraints:      67514
3056.10/3064.65	c #Conflicts:     194000 | #Constraints:      68514
3056.10/3064.65	c #Conflicts:     195000 | #Constraints:      69514
3056.10/3064.65	c #Conflicts:     196000 | #Constraints:      70514
3056.10/3064.65	c #Conflicts:     197000 | #Constraints:      71514
3056.10/3064.65	c #Conflicts:     198000 | #Constraints:      72514
3056.10/3064.65	c #Conflicts:     199000 | #Constraints:      73514
3056.10/3064.65	c bounds 3153 >= 1860 @ 2541.91
3056.10/3064.65	c #Conflicts:     200000 | #Constraints:      74567
3056.10/3064.65	c INPROCESSING
3056.10/3064.65	c GARBAGE COLLECT
3056.10/3064.65	c #Conflicts:     201000 | #Constraints:      49074
3056.10/3064.65	c #Conflicts:     202000 | #Constraints:      50074
3056.10/3064.65	c #Conflicts:     203000 | #Constraints:      51074
3056.10/3064.65	c #Conflicts:     204000 | #Constraints:      52074
3056.10/3064.65	c #Conflicts:     205000 | #Constraints:      53074
3056.10/3064.65	c #Conflicts:     206000 | #Constraints:      54074
3056.10/3064.65	c #Conflicts:     207000 | #Constraints:      55074
3056.10/3064.65	c #Conflicts:     208000 | #Constraints:      56074
3056.10/3064.65	c #Conflicts:     209000 | #Constraints:      57074
3056.10/3064.65	c #Conflicts:     210000 | #Constraints:      58074
3056.10/3064.65	c #Conflicts:     211000 | #Constraints:      59074
3056.10/3064.65	c #Conflicts:     212000 | #Constraints:      60074
3056.10/3064.65	c #Conflicts:     213000 | #Constraints:      61074
3056.10/3064.65	c #Conflicts:     214000 | #Constraints:      62074
3056.10/3064.65	c #Conflicts:     215000 | #Constraints:      63074
3056.10/3064.65	c #Conflicts:     216000 | #Constraints:      64074
3056.10/3064.65	c #Conflicts:     217000 | #Constraints:      65074
3056.10/3064.65	c #Conflicts:     218000 | #Constraints:      66074
3056.10/3064.65	c #Conflicts:     219000 | #Constraints:      67074
3056.10/3064.65	c #Conflicts:     220000 | #Constraints:      68074
3056.10/3064.65	c #Conflicts:     221000 | #Constraints:      69074
3056.10/3064.65	c #Conflicts:     222000 | #Constraints:      70074
3056.10/3064.65	c #Conflicts:     223000 | #Constraints:      71074
3056.10/3064.65	c #Conflicts:     224000 | #Constraints:      72074
3056.10/3064.65	c #Conflicts:     225000 | #Constraints:      73074
3056.10/3064.65	c #Conflicts:     226000 | #Constraints:      74074
3056.10/3064.65	c #Conflicts:     227000 | #Constraints:      75074
3056.10/3064.65	c #Conflicts:     228000 | #Constraints:      76074
3056.10/3064.65	c #Conflicts:     229000 | #Constraints:      77074
3056.10/3064.65	c INPROCESSING
3056.10/3064.65	c GARBAGE COLLECT
3056.10/3064.65	c #Conflicts:     230000 | #Constraints:      52033
3056.10/3064.65	c #Conflicts:     231000 | #Constraints:      53033
3056.10/3064.65	c #Conflicts:     232000 | #Constraints:      54033
3056.10/3064.65	c #Conflicts:     233000 | #Constraints:      55033
3056.10/3064.65	c #Conflicts:     234000 | #Constraints:      56033
3056.10/3064.65	c #Conflicts:     235000 | #Constraints:      57033
3056.10/3064.65	c #Conflicts:     236000 | #Constraints:      58033
3056.10/3064.65	c #Conflicts:     237000 | #Constraints:      59033
3056.10/3064.65	c #Conflicts:     238000 | #Constraints:      60033
3056.10/3064.65	c #Conflicts:     239000 | #Constraints:      61033
3056.10/3064.65	c #Conflicts:     240000 | #Constraints:      62033
3056.10/3064.65	c #Conflicts:     241000 | #Constraints:      63033
3056.10/3064.65	c #Conflicts:     242000 | #Constraints:      64033
3056.10/3064.65	c #Conflicts:     243000 | #Constraints:      65033
3056.10/3064.65	c #Conflicts:     244000 | #Constraints:      66033
3056.10/3064.65	c #Conflicts:     245000 | #Constraints:      67033
3056.10/3064.65	c #Conflicts:     246000 | #Constraints:      68033
3056.10/3064.65	c #Conflicts:     247000 | #Constraints:      69033
3056.10/3064.65	c #Conflicts:     248000 | #Constraints:      70033
3056.10/3064.65	c #Conflicts:     249000 | #Constraints:      71033
3056.10/3064.65	c #Conflicts:     250000 | #Constraints:      72033
3056.10/3064.65	c #Conflicts:     251000 | #Constraints:      73033
3056.10/3064.65	c #Conflicts:     252000 | #Constraints:      74033
3056.10/3064.65	c #Conflicts:     253000 | #Constraints:      75033
3056.10/3064.65	c #Conflicts:     254000 | #Constraints:      76033
3056.10/3064.65	c #Conflicts:     255000 | #Constraints:      77033
3056.10/3064.65	c #Conflicts:     256000 | #Constraints:      78033
3056.10/3064.65	c #Conflicts:     257000 | #Constraints:      79033
3056.10/3064.65	c bounds 3153 >= 1861 @ 3020.83
3056.10/3064.65	c bounds 3152 >= 1861 @ 3020.89
3056.10/3064.65	c bounds 3151 >= 1861 @ 3021.05
3056.10/3064.65	c bounds 3150 >= 1861 @ 3021.14
3056.10/3064.65	c bounds 3149 >= 1861 @ 3021.23
3056.10/3064.65	c bounds 3148 >= 1861 @ 3021.29
3056.10/3064.65	c bounds 3147 >= 1861 @ 3021.35
3056.10/3064.65	c #Conflicts:     258000 | #Constraints:      80101
3056.10/3064.65	c bounds 3146 >= 1861 @ 3022.56
3056.10/3064.65	c bounds 3145 >= 1861 @ 3022.99
3056.10/3064.65	c bounds 3144 >= 1861 @ 3024.12
3056.10/3064.65	c bounds 3143 >= 1861 @ 3024.49
3056.10/3064.65	c bounds 3142 >= 1861 @ 3024.89
3056.10/3064.65	c bounds 3141 >= 1861 @ 3025.17
3056.10/3064.65	c #Conflicts:     259000 | #Constraints:      81107
3056.10/3064.65	c #Conflicts:     260000 | #Constraints:      82107
3056.10/3064.65	c #Conflicts:     261000 | #Constraints:      83107
3056.10/3064.65	c INPROCESSING
3056.10/3064.65	c GARBAGE CO

ERROR: no interpretation found !

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (63528 MiB free)
  memory of node 1: 64473 MiB (63744 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462546-1722340764/watcher-4462546-1722340764 -o /tmp/evaluation-result-4462546-1722340764/solver-4462546-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722340763-7946 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462546-1722340764 --lp-cut-gomory=0 HOME/instance-4462546-1722340764.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=7997, runsolver pid=7994
Current StackSize limit: 8192 KiB


[startup+0.100101 s]*
/proc/loadavg: 0.15 0.11 0.09 1/258 8008
/proc/meminfo: memFree=130323744/131524600 swapFree=131071996/131071996
[pid=7997] ppid=7994 vsize=37376 memory=2592 CPUtime=0 cores=4,6
/proc/7997/stat : 7997 (roundingsat) D 7994 7997 7935 0 -1 4194304 216 0 0 0 0 0 0 0 20 0 1 0 678699 38273024 648 134679101440 4194304 8255733 140729601609024 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 40980480 140729601614686 140729601614948 140729601614948 140729601621961 0
/proc/7997/statm: 9344 648 591 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2592 KiB

[startup+0.204463 s]*
/proc/loadavg: 0.15 0.11 0.09 1/258 8008
/proc/meminfo: memFree=130323364/131524600 swapFree=131071996/131071996
[pid=7997] ppid=7994 vsize=37376 memory=2592 CPUtime=0 cores=4,6
/proc/7997/stat : 7997 (roundingsat) D 7994 7997 7935 0 -1 4194304 216 0 0 0 0 0 0 0 20 0 1 0 678699 38273024 648 134679101440 4194304 8255733 140729601609024 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 40980480 140729601614686 140729601614948 140729601614948 140729601621961 0
/proc/7997/statm: 9344 648 591 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2592 KiB

[startup+0.304077 s]*
/proc/loadavg: 0.15 0.11 0.09 2/258 8008
/proc/meminfo: memFree=130322972/131524600 swapFree=131071996/131071996
[pid=7997] ppid=7994 vsize=37376 memory=2592 CPUtime=0 cores=4,6
/proc/7997/stat : 7997 (roundingsat) D 7994 7997 7935 0 -1 4194304 216 0 0 0 0 0 0 0 20 0 1 0 678699 38273024 648 134679101440 4194304 8255733 140729601609024 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 40980480 140729601614686 140729601614948 140729601614948 140729601621961 0
/proc/7997/statm: 9344 648 591 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2592 KiB

[startup+0.700148 s]
/proc/loadavg: 0.15 0.11 0.09 1/258 8008
/proc/meminfo: memFree=130322692/131524600 swapFree=131071996/131071996
[pid=7997] ppid=7994 vsize=37376 memory=2592 CPUtime=0 cores=4,6
/proc/7997/stat : 7997 (roundingsat) D 7994 7997 7935 0 -1 1077936128 216 0 0 0 0 0 0 0 20 0 1 0 678699 38273024 648 134679101440 4194304 8255733 140729601609024 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 40980480 140729601614686 140729601614948 140729601614948 140729601621961 0
/proc/7997/statm: 9344 648 591 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2592 KiB

[startup+1.50017 s]
/proc/loadavg: 0.15 0.11 0.09 4/257 8017
/proc/meminfo: memFree=130245656/131524600 swapFree=131071996/131071996
[pid=7997] ppid=7994 vsize=57372 memory=27692 CPUtime=0.62 cores=4,6
/proc/7997/stat : 7997 (roundingsat) R 7994 7997 7935 0 -1 4194304 5517 0 0 0 58 4 0 0 20 0 1 0 678699 58748928 6923 134679101440 4194304 8255733 140729601609024 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40980480 140729601614686 140729601614948 140729601614948 140729601621961 0
/proc/7997/statm: 14343 6923 1774 992 0 6201 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 57372 KiB
Current children cumulated memory: 27692 KiB

[startup+3.10493 s]
/proc/loadavg: 0.15 0.11 0.09 4/254 8017
/proc/meminfo: memFree=130210508/131524600 swapFree=131071996/131071996
[pid=7997] ppid=7994 vsize=68776 memory=39320 CPUtime=2.21 cores=4,6
/proc/7997/stat : 7997 (roundingsat) R 7994 7997 7935 0 -1 4194304 8459 0 0 0 143 78 0 0 20 0 1 0 678699 70426624 9830 134679101440 4194304 8255733 140729601609024 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40980480 140729601614686 140729601614948 140729601614948 140729601621961 0
/proc/7997/statm: 17194 9830 1774 992 0 9052 0
Current children cumulated CPU time: 2.21 s
Current children cumulated vsize: 68776 KiB
Current children cumulated memory: 39320 KiB
heavy processes:

[startup+6.3002 s]
/proc/loadavg: 0.46 0.17 0.11 6/261 8060
/proc/meminfo: memFree=130096804/131524600 swapFree=131071996/131071996
[pid=7997] ppid=7994 vsize=112736 memory=83196 CPUtime=5.41 cores=4,6
/proc/7997/stat : 7997 (roundingsat) R 7994 7997 7935 0 -1 4194304 17917 0 0 0 361 180 0 0 20 0 1 0 678699 115441664 20799 134679101440 4194304 8255733 140729601609024 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40980480 140729601614686 140729601614948 140729601614948 140729601621961 0
/proc/7997/statm: 28184 20799 1774 992 0 20042 0
Current children cumulated CPU time: 5.41 s
Current children cumulated vsize: 112736 KiB
Current children cumulated memory: 83196 KiB

[startup+12.7001 s]
/proc/loadavg: 0.74 0.24 0.14 5/261 8060
/proc/meminfo: memFree=130030092/131524600 swapFree=131071996/131071996
[pid=7997] ppid=7994 vsize=112736 memory=83628 CPUtime=11.79 cores=4,6
/proc/7997/stat : 7997 (roundingsat) R 7994 7997 7935 0 -1 4194304 17965 0 0 0 964 215 0 0 20 0 1 0 678699 115441664 20907 134679101440 4194304 8255733 140729601609024 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40980480 140729601614686 140729601614948 140729601614948 140729601621961 0
/proc/7997/statm: 28184 20907 1819 992 0 20042 0
Current children cumulated CPU time: 11.79 s
Current children cumulated vsize: 112736 KiB
Current children cumulated memory: 83628 KiB

[startup+25.5002 s]
/proc/loadavg: 1.46 0.42 0.20 5/262 8109
/proc/meminfo: memFree=129975440/131524600 swapFree=131071996/131071996
[pid=7997] ppid=7994 vsize=115704 memory=86208 CPUtime=24.56 cores=4,6
/proc/7997/stat : 7997 (roundingsat) R 7994 7997 7935 0 -1 4194304 20420 0 0 0 2219 237 0 0 20 0 1 0 678699 118480896 21552 134679101440 4194304 8255733 140729601609024 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40980480 140729601614686 140729601614948 140729601614948 140729601621961 0
/proc/7997/statm: 28926 21552 1835 992 0 20784 0
Current children cumulated CPU time: 24.56 s
Current children cumulated vsize: 115704 KiB
Current children cumulated memory: 86208 KiB

[startup+51.1057 s]
/proc/loadavg: 2.40 0.73 0.31 5/262 8116
/proc/meminfo: memFree=129810048/131524600 swapFree=131071996/131071996
[pid=7997] ppid=7994 vsize=129376 memory=98372 CPUtime=50.11 cores=4,6
/proc/7997/stat : 7997 (roundingsat) R 7994 7997 7935 0 -1 4194304 23533 0 0 0 4768 243 0 0 20 0 1 0 678699 132481024 24593 134679101440 4194304 8255733 140729601609024 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40980480 140729601614686 140729601614948 140729601614948 140729601621961 0
/proc/7997/statm: 32344 24593 1835 992 0 24202 0
Current children cumulated CPU time: 50.11 s
Current children cumulated vsize: 129376 KiB
Current children cumulated memory: 98372 KiB

[startup+102.3 s]
/proc/loadavg: 3.37 1.25 0.51 6/260 8135
/proc/meminfo: memFree=129389276/131524600 swapFree=131071996/131071996
[pid=7997] ppid=7994 vsize=207956 memory=176968 CPUtime=101.2 cores=4,6
/proc/7997/stat : 7997 (roundingsat) R 7994 7997 7935 0 -1 4194304 35849 0 0 0 9760 360 0 0 20 0 1 0 678699 212946944 44242 134679101440 4194304 8255733 140729601609024 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40980480 140729601614686 140729601614948 140729601614948 140729601621961 0
/proc/7997/statm: 51989 44242 1835 992 0 43847 0
Current children cumulated CPU time: 101.2 s
Current children cumulated vsize: 207956 KiB
Current children cumulated memory: 176968 KiB

[startup+162.3 s]
/proc/loadavg: 3.82 1.77 0.73 5/260 8145
/proc/meminfo: memFree=129090632/131524600 swapFree=131071996/131071996
[pid=7997] ppid=7994 vsize=209724 memory=178524 CPUtime=161.06 cores=4,6
/proc/7997/stat : 7997 (roundingsat) R 7994 7997 7935 0 -1 4194304 36297 0 0 0 15731 375 0 0 20 0 1 0 678699 214757376 44631 134679101440 4194304 8255733 140729601609024 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40980480 140729601614686 140729601614948 140729601614948 140729601621961 0
/proc/7997/statm: 52431 44631 1835 992 0 44289 0
Current children cumulated CPU time: 161.06 s
Current children cumulated vsize: 209724 KiB
Current children cumulated memory: 178524 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 2.21 0.95 5/260 8156
/proc/meminfo: memFree=128510852/131524600 swapFree=131071996/131071996
[pid=7997] ppid=7994 vsize=372020 memory=315004 CPUtime=220.92 cores=4,6
/proc/7997/stat : 7997 (roundingsat) R 7994 7997 7935 0 -1 4194304 56615 0 0 0 21536 556 0 0 20 0 1 0 678699 380948480 78751 134679101440 4194304 8255733 140729601609024 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40980480 140729601614686 140729601614948 140729601614948 140729601621961 0
/proc/7997/statm: 93005 78751 1835 992 0 84863 0
Current children cumulated CPU time: 220.92 s
Current children cumulated vsize: 372020 KiB
Current children cumulated memory: 315004 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 2.55 1.15 5/259 8167
/proc/meminfo: memFree=128249052/131524600 swapFree=131071996/131071996
[pid=7997] ppid=7994 vsize=381388 memory=321512 CPUtime=280.79 cores=4,6
/proc/7997/stat : 7997 (roundingsat) R 7994 7997 7935 0 -1 4194304 57754 0 0 0 27508 571 0 0 20 0 1 0 678699 390541312 80378 134679101440 4194304 8255733 140729601609024 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40980480 140729601614686 140729601614948 140729601614948 140729601621961 0
/proc/7997/statm: 95347 80378 1835 992 0 87205 0
Current children cumulated CPU time: 280.79 s
Current children cumulated vsize: 381388 KiB
Current children cumulated memory: 321512 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 2.85 1.34 6/256 8177
/proc/meminfo: memFree=127982760/131524600 swapFree=131071996/131071996
[pid=7997] ppid=7994 vsize=399688 memory=336332 CPUtime=340.66 cores=4,6
/proc/7997/stat : 7997 (roundingsat) R 7994 7997 7935 0 -1 4194304 59667 0 0 0 33489 577 0 0 20 0 1 0 678699 409280512 84083 134679101440 4194304 8255733 140729601609024 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40980480 140729601614686 140729601614948 140729601614948 140729601621961 0
/proc/7997/statm: 99922 84083 1835 992 0 91780 0
Current children cumulated CPU time: 340.66 s
Current children cumulated vsize: 399688 KiB
Current children cumulated memory: 336332 KiB

[startup+402.3 s]
/proc/loadavg: 4.19 3.10 1.53 5/258 8190
/proc/meminfo: memFree=127704016/131524600 swapFree=131071996/131071996
[pid=7997] ppid=7994 vsize=436648 memory=362156 CPUtime=400.52 cores=4,6
/proc/7997/stat : 7997 (roundingsat) R 7994 7997 7935 0 -1 4194304 62574 0 0 0 39470 582 0 0 20 0 1 0 678699 447127552 90539 134679101440 4194304 8255733 140729601609024 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40980480 140729601614686 140729601614948 140729601614948 140729601621961 0
/proc/7997/statm: 109162 90539 1835 992 0 101020 0
Current children cumulated CPU time: 400.52 s
Current children cumulated vsize: 436648 KiB
Current children cumulated memory: 362156 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 3.27 1.68 5/258 8200
/proc/meminfo: memFree=127461216/131524600 swapFree=131071996/131071996
[pid=7997] ppid=7994 vsize=442512 memory=375516 CPUtime=460.39 cores=4,6
/proc/7997/stat : 7997 (roundingsat) R 7994 7997 7935 0 -1 4194304 63923 0 0 0 45453 586 0 0 20 0 1 0 678699 453132288 93879 134679101440 4194304 8255733 140729601609024 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40980480 140729601614686 140729601614948 140729601614948 140729601621961 0

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

[startup+3042.3 s]
/proc/loadavg: 4.16 4.16 4.03 5/261 9346
/proc/meminfo: memFree=64255452/131524600 swapFree=131071996/131071996
[pid=7997] ppid=7994 vsize=3062344 memory=2433128 CPUtime=3033.87 cores=4,6
/proc/7997/stat : 7997 (roundingsat) R 7994 7997 7935 0 -1 4194304 338494 0 0 0 301378 2009 0 0 20 0 1 0 678699 3135840256 608282 134679101440 4194304 8255733 140729601609024 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40980480 140729601614686 140729601614948 140729601614948 140729601621961 0
/proc/7997/statm: 765586 608282 1851 992 0 757444 0
Current children cumulated CPU time: 3033.87 s
Current children cumulated vsize: 3062344 KiB
Current children cumulated memory: 2433128 KiB

[startup+3102.3 s]
/proc/loadavg: 4.23 4.18 4.04 5/262 9359
/proc/meminfo: memFree=62693148/131524600 swapFree=131071996/131071996
[pid=7997] ppid=7994 vsize=3062344 memory=2433140 CPUtime=3093.7 cores=4,6
/proc/7997/stat : 7997 (roundingsat) R 7994 7997 7935 0 -1 4194304 339089 0 0 0 307301 2069 0 0 20 0 1 0 678699 3135840256 608285 134679101440 4194304 8255733 140729601609024 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40980480 140729601614686 140729601614948 140729601614948 140729601621961 0
/proc/7997/statm: 765586 608285 1851 992 0 757444 0
Current children cumulated CPU time: 3093.7 s
Current children cumulated vsize: 3062344 KiB
Current children cumulated memory: 2433140 KiB

[startup+3162.3 s]
/proc/loadavg: 4.25 4.19 4.05 5/262 9369
/proc/meminfo: memFree=62032412/131524600 swapFree=131071996/131071996
[pid=7997] ppid=7994 vsize=3062344 memory=2433140 CPUtime=3153.53 cores=4,6
/proc/7997/stat : 7997 (roundingsat) R 7994 7997 7935 0 -1 4194304 339287 0 0 0 313276 2077 0 0 20 0 1 0 678699 3135840256 608285 134679101440 4194304 8255733 140729601609024 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40980480 140729601614686 140729601614948 140729601614948 140729601621961 0
/proc/7997/statm: 765586 608285 1851 992 0 757444 0
Current children cumulated CPU time: 3153.53 s
Current children cumulated vsize: 3062344 KiB
Current children cumulated memory: 2433140 KiB

[startup+3222.3 s]
/proc/loadavg: 4.38 4.24 4.08 5/261 9379
/proc/meminfo: memFree=60410140/131524600 swapFree=131071996/131071996
[pid=7997] ppid=7994 vsize=3065656 memory=2436452 CPUtime=3213.37 cores=4,6
/proc/7997/stat : 7997 (roundingsat) R 7994 7997 7935 0 -1 4194304 339834 0 0 0 319253 2084 0 0 20 0 1 0 678699 3139231744 609113 134679101440 4194304 8255733 140729601609024 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40980480 140729601614686 140729601614948 140729601614948 140729601621961 0
/proc/7997/statm: 766414 609113 1851 992 0 758272 0
Current children cumulated CPU time: 3213.37 s
Current children cumulated vsize: 3065656 KiB
Current children cumulated memory: 2436452 KiB

[startup+3282.3 s]
/proc/loadavg: 4.24 4.23 4.09 5/261 9389
/proc/meminfo: memFree=59165468/131524600 swapFree=131071996/131071996
[pid=7997] ppid=7994 vsize=3065656 memory=2436452 CPUtime=3273.2 cores=4,6
/proc/7997/stat : 7997 (roundingsat) R 7994 7997 7935 0 -1 4194304 339995 0 0 0 325230 2090 0 0 20 0 1 0 678699 3139231744 609113 134679101440 4194304 8255733 140729601609024 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40980480 140729601614686 140729601614948 140729601614948 140729601621961 0
/proc/7997/statm: 766414 609113 1851 992 0 758272 0
Current children cumulated CPU time: 3273.2 s
Current children cumulated vsize: 3065656 KiB
Current children cumulated memory: 2436452 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.20 4.09 5/262 9783
/proc/meminfo: memFree=58226824/131524600 swapFree=131071996/131071996
[pid=7997] ppid=7994 vsize=3065656 memory=2436452 CPUtime=3333.04 cores=4,6
/proc/7997/stat : 7997 (roundingsat) R 7994 7997 7935 0 -1 4194304 340123 0 0 0 331209 2095 0 0 20 0 1 0 678699 3139231744 609113 134679101440 4194304 8255733 140729601609024 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40980480 140729601614686 140729601614948 140729601614948 140729601621961 0
/proc/7997/statm: 766414 609113 1851 992 0 758272 0
Current children cumulated CPU time: 3333.04 s
Current children cumulated vsize: 3065656 KiB
Current children cumulated memory: 2436452 KiB

[startup+3402.3 s]
/proc/loadavg: 4.21 4.21 4.10 6/259 9794
/proc/meminfo: memFree=56651204/131524600 swapFree=131071996/131071996
[pid=7997] ppid=7994 vsize=3072784 memory=2441560 CPUtime=3392.88 cores=4,6
/proc/7997/stat : 7997 (roundingsat) R 7994 7997 7935 0 -1 4194304 340524 0 0 0 337187 2101 0 0 20 0 1 0 678699 3146530816 610390 134679101440 4194304 8255733 140729601609024 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40980480 140729601614686 140729601614948 140729601614948 140729601621961 0
/proc/7997/statm: 768196 610390 1851 992 0 760054 0
Current children cumulated CPU time: 3392.88 s
Current children cumulated vsize: 3072784 KiB
Current children cumulated memory: 2441560 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.20 4.10 5/260 9805
/proc/meminfo: memFree=55459556/131524600 swapFree=131071996/131071996
[pid=7997] ppid=7994 vsize=3072784 memory=2441560 CPUtime=3452.72 cores=4,6
/proc/7997/stat : 7997 (roundingsat) R 7994 7997 7935 0 -1 4194304 340675 0 0 0 343165 2107 0 0 20 0 1 0 678699 3146530816 610390 134679101440 4194304 8255733 140729601609024 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40980480 140729601614686 140729601614948 140729601614948 140729601621961 0
/proc/7997/statm: 768196 610390 1851 992 0 760054 0
Current children cumulated CPU time: 3452.72 s
Current children cumulated vsize: 3072784 KiB
Current children cumulated memory: 2441560 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.17 4.09 5/261 9986
/proc/meminfo: memFree=54547432/131524600 swapFree=131071996/131071996
[pid=7997] ppid=7994 vsize=3072784 memory=2443608 CPUtime=3512.55 cores=4,6
/proc/7997/stat : 7997 (roundingsat) R 7994 7997 7935 0 -1 4194304 340907 0 0 0 349143 2112 0 0 20 0 1 0 678699 3146530816 610902 134679101440 4194304 8255733 140729601609024 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40980480 140729601614686 140729601614948 140729601614948 140729601621961 0
/proc/7997/statm: 768196 610902 1851 992 0 760054 0
Current children cumulated CPU time: 3512.55 s
Current children cumulated vsize: 3072784 KiB
Current children cumulated memory: 2443608 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.17 4.09 5/261 9996
/proc/meminfo: memFree=52697700/131524600 swapFree=131071996/131071996
[pid=7997] ppid=7994 vsize=3072784 memory=2443608 CPUtime=3572.39 cores=4,6
/proc/7997/stat : 7997 (roundingsat) R 7994 7997 7935 0 -1 4194304 341127 0 0 0 355122 2117 0 0 20 0 1 0 678699 3146530816 610902 134679101440 4194304 8255733 140729601609024 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40980480 140729601614686 140729601614948 140729601614948 140729601621961 0
/proc/7997/statm: 768196 610902 1851 992 0 760054 0
Current children cumulated CPU time: 3572.39 s
Current children cumulated vsize: 3072784 KiB
Current children cumulated memory: 2443608 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.26 4.20 4.10 5/261 10001
/proc/meminfo: memFree=52072892/131524600 swapFree=131071996/131071996
[pid=7997] ppid=7994 vsize=3072784 memory=2443608 CPUtime=3600.02 cores=4,6
/proc/7997/stat : 7997 (roundingsat) R 7994 7997 7935 0 -1 4194304 341240 0 0 0 357882 2120 0 0 20 0 1 0 678699 3146530816 610902 134679101440 4194304 8255733 140729601609024 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40980480 140729601614686 140729601614948 140729601614948 140729601621961 0
/proc/7997/statm: 768196 610902 1851 992 0 760054 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 3072784 KiB
Current children cumulated memory: 2443608 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+3614.02 s]
# the end of solver process 7997 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3580.81 s, system=21.253 s

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

[startup+3611.2 s]
/proc/loadavg: 4.24 4.20 4.10 4/256 10010
/proc/meminfo: memFree=52586124/131524600 swapFree=131071996/131071996
[pid=7997] ppid=7994 vsize=3072784 memory=2443608 CPUtime=3601.2 cores=4,6
/proc/7997/stat : 7997 (roundingsat) R 7994 7997 7935 0 -1 4194304 341255 0 0 0 358000 2120 0 0 20 0 1 0 678699 3146530816 610902 134679101440 4194304 8255733 140729601609024 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40980480 140729601614686 140729601614948 140729601614948 140729601621961 0
/proc/7997/statm: 768196 610902 1851 992 0 760054 0
Current children cumulated CPU time: 3601.2 s
Current children cumulated vsize: 3072784 KiB
Current children cumulated memory: 2443608 KiB

[startup+3611.6 s]
/proc/loadavg: 4.24 4.20 4.10 4/256 10010
/proc/meminfo: memFree=52586124/131524600 swapFree=131071996/131071996
[pid=7997] ppid=7994 vsize=3072784 memory=2443608 CPUtime=3601.6 cores=4,6
/proc/7997/stat : 7997 (roundingsat) R 7994 7997 7935 0 -1 4194304 341255 0 0 0 358040 2120 0 0 20 0 1 0 678699 3146530816 610902 134679101440 4194304 8255733 140729601609024 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40980480 140729601614686 140729601614948 140729601614948 140729601621961 0
/proc/7997/statm: 768196 610902 1851 992 0 760054 0
Current children cumulated CPU time: 3601.6 s
Current children cumulated vsize: 3072784 KiB
Current children cumulated memory: 2443608 KiB

[startup+3612 s]*
/proc/loadavg: 4.24 4.20 4.10 4/255 10028
/proc/meminfo: memFree=52570920/131524600 swapFree=131071996/131071996
[pid=7997] ppid=7994 vsize=3072784 memory=2443608 CPUtime=3602 cores=4,6
/proc/7997/stat : 7997 (roundingsat) R 7994 7997 7935 0 -1 4194304 341255 0 0 0 358080 2120 0 0 20 0 1 0 678699 3146530816 610902 134679101440 4194304 8255733 140729601609024 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 40980480 140729601614686 140729601614948 140729601614948 140729601621961 0
/proc/7997/statm: 768196 610902 1851 992 0 760054 0
Current children cumulated CPU time: 3602 s
Current children cumulated vsize: 3072784 KiB
Current children cumulated memory: 2443608 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3614.02
CPU time (s): 3602.06
CPU user time (s): 3580.81
CPU system time (s): 21.253
CPU usage (%): 99.6692
Max. virtual memory (cumulated for all children) (KiB): 3072784
Max. memory (cumulated for all children) (KiB): 2443608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.81
system time used= 21.253
maximum resident set size= 2443608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 341255
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4942736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24
involuntary context switches= 1955


# summary of solver processes directly reported to runsolver:
#   pid: 7997
#   total CPU time (s): 3602.06
#   total CPU user time (s): 3580.81
#   total CPU system time (s): 21.253

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.64807 second user time and 17.0666 second system time

The end

Begin job on nodeC033 at 2024-07-30 13:59:24
IDJOB=4462546
IDBENCH=147222
IDSOLVER=3089
FILE ID=nodeC033/4462546-1722340764
RUNJOBID= nodeC033-1722340763-7946
SLURM_JOB_ID= 8249006
Free space on /tmp= 890068 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/sorensson/garden/normalized-g100x100.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462546-1722340764/watcher-4462546-1722340764 -o /tmp/evaluation-result-4462546-1722340764/solver-4462546-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722340763-7946 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462546-1722340764 --lp-cut-gomory=0 HOME/instance-4462546-1722340764.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 908a9c4c32d975b4e5850834449958a7
RANDOM SEED=1492646933

nodeC033.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3625.960
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 2782.294
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3560.312
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 2945.768
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3589.609
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 1828.588
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3529.225
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3426.869
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        130331740 kB
MemAvailable:   129909960 kB
Buffers:           37688 kB
Cached:           333356 kB
SwapCached:            0 kB
Active:           126216 kB
Inactive:         612208 kB
Active(anon):       1516 kB
Inactive(anon):   387252 kB
Active(file):     124700 kB
Inactive(file):   224956 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             20604 kB
Writeback:             4 kB
AnonPages:        365528 kB
Mapped:            89924 kB
Shmem:             21336 kB
KReclaimable:      43260 kB
Slab:             117340 kB
SReclaimable:      43260 kB
SUnreclaim:        74080 kB
KernelStack:        4080 kB
PageTables:         9832 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     716708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             9024 kB
HardwareCorrupted:     0 kB
AnonHugePages:    241664 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      283348 kB
DirectMap2M:     8927232 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 890052 MiB
End job on nodeC033 at 2024-07-30 14:59:38