Trace number 4529321

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
mixed-bag-2024 2025-07-10? (TO) 3600.1 3610.21

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_390.opb
MD5SUMafdfd31183e0ea33549619d38bec04c1
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1756
Best CPU time to get the best result obtained on this benchmark46.517
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7020
Total number of constraints7020
Number of constraints which are clauses7020
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint4
Number of terms in the objective function 7020
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 7020
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 7020
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c RoundingSat 2
0.00/0.01	c branch 
0.00/0.01	c commit 
0.00/0.01	c with Papilo
0.00/0.01	c with SCIP
0.00/0.01	c [STEP] parsing instance
0.00/0.03	c [STEP] preprocessing with Papilo
0.00/0.04	c Papilo could not simplify the problem
0.00/0.04	c [STEP] solving with SCIP
299.11/300.08	c [STEP] preprocessing done, loading into solver
299.11/300.09	c [STEP] solving
299.11/300.09	c #variables 7021 #constraints 7020
299.11/300.09	c SMALL=int, LARGE=long long
299.11/300.09	d SCIPUB 1764
299.11/300.09	c bounds - >= 0 @ 299.114
299.11/300.09	c stratification level: 0
299.31/300.24	c bounds - >= 1 @ 299.146
299.31/300.24	c bounds - >= 2 @ 299.147
299.31/300.24	c bounds - >= 3 @ 299.147
299.31/300.24	c bounds - >= 4 @ 299.148
299.31/300.24	c bounds - >= 5 @ 299.149
299.31/300.24	c bounds - >= 6 @ 299.15
299.31/300.24	c bounds - >= 7 @ 299.15
299.31/300.24	c bounds - >= 8 @ 299.151
299.31/300.24	c bounds - >= 9 @ 299.152
299.31/300.24	c bounds - >= 10 @ 299.152
299.31/300.24	c bounds - >= 11 @ 299.153
299.31/300.24	c bounds - >= 12 @ 299.154
299.31/300.24	c bounds - >= 13 @ 299.155
299.31/300.24	c bounds - >= 14 @ 299.156
299.31/300.24	c bounds - >= 15 @ 299.156
299.31/300.24	c bounds - >= 16 @ 299.157
299.31/300.24	c bounds - >= 17 @ 299.158
299.31/300.24	c bounds - >= 18 @ 299.159
299.31/300.24	c bounds - >= 19 @ 299.159
299.31/300.24	c bounds - >= 20 @ 299.16
299.31/300.24	c bounds - >= 21 @ 299.161
299.31/300.24	c bounds - >= 22 @ 299.162
299.31/300.24	c bounds - >= 23 @ 299.163
299.31/300.24	c bounds - >= 24 @ 299.163
299.31/300.24	c bounds - >= 25 @ 299.164
299.31/300.24	c bounds - >= 26 @ 299.165
299.31/300.24	c bounds - >= 27 @ 299.166
299.31/300.24	c bounds - >= 28 @ 299.166
299.31/300.24	c bounds - >= 29 @ 299.167
299.31/300.24	c bounds - >= 30 @ 299.168
299.31/300.24	c bounds - >= 31 @ 299.169
299.31/300.24	c bounds - >= 32 @ 299.17
299.31/300.24	c bounds - >= 33 @ 299.17
299.31/300.24	c bounds - >= 34 @ 299.171
299.31/300.24	c bounds - >= 35 @ 299.172
299.31/300.24	c bounds - >= 36 @ 299.173
299.31/300.24	c bounds - >= 37 @ 299.173
299.31/300.24	c bounds - >= 38 @ 299.174
299.31/300.24	c bounds - >= 39 @ 299.175
299.31/300.24	c bounds - >= 40 @ 299.176
299.31/300.24	c bounds - >= 41 @ 299.176
299.31/300.24	c bounds - >= 42 @ 299.177
299.31/300.24	c bounds - >= 43 @ 299.178
299.31/300.24	c bounds - >= 44 @ 299.179
299.31/300.24	c bounds - >= 45 @ 299.18
299.31/300.24	c bounds - >= 46 @ 299.18
299.31/300.24	c bounds - >= 47 @ 299.181
299.31/300.24	c bounds - >= 48 @ 299.182
299.31/300.24	c bounds - >= 49 @ 299.183
299.31/300.24	c bounds - >= 50 @ 299.183
299.31/300.24	c bounds - >= 51 @ 299.184
299.31/300.24	c bounds - >= 52 @ 299.185
299.31/300.24	c bounds - >= 53 @ 299.186
299.31/300.24	c bounds - >= 54 @ 299.186
299.31/300.24	c bounds - >= 55 @ 299.187
299.31/300.24	c bounds - >= 56 @ 299.188
299.31/300.24	c bounds - >= 57 @ 299.188
299.31/300.24	c bounds - >= 58 @ 299.189
299.31/300.24	c bounds - >= 59 @ 299.189
299.31/300.24	c bounds - >= 60 @ 299.19
299.31/300.24	c bounds - >= 61 @ 299.191
299.31/300.24	c bounds - >= 62 @ 299.192
299.31/300.24	c bounds - >= 63 @ 299.192
299.31/300.24	c bounds - >= 64 @ 299.193
299.31/300.24	c bounds - >= 65 @ 299.194
299.31/300.24	c bounds - >= 66 @ 299.195
299.31/300.24	c bounds - >= 67 @ 299.195
299.31/300.24	c bounds - >= 68 @ 299.197
299.31/300.24	c bounds - >= 69 @ 299.197
299.31/300.24	c bounds - >= 70 @ 299.198
299.31/300.24	c bounds - >= 71 @ 299.199
299.31/300.24	c bounds - >= 72 @ 299.199
299.31/300.24	c bounds - >= 73 @ 299.2
299.31/300.24	c bounds - >= 74 @ 299.201
299.31/300.24	c bounds - >= 75 @ 299.202
299.31/300.24	c bounds - >= 76 @ 299.202
299.31/300.24	c bounds - >= 77 @ 299.203
299.31/300.24	c bounds - >= 78 @ 299.204
299.31/300.24	c bounds - >= 79 @ 299.204
299.31/300.24	c bounds - >= 80 @ 299.205
299.31/300.24	c bounds - >= 81 @ 299.206
299.31/300.24	c bounds - >= 82 @ 299.207
299.31/300.24	c bounds - >= 83 @ 299.207
299.31/300.24	c bounds - >= 84 @ 299.208
299.31/300.24	c bounds - >= 85 @ 299.209
299.31/300.24	c bounds - >= 86 @ 299.21
299.31/300.24	c bounds - >= 87 @ 299.21
299.31/300.24	c bounds - >= 88 @ 299.211
299.31/300.24	c bounds - >= 89 @ 299.212
299.31/300.24	c bounds - >= 90 @ 299.212
299.31/300.24	c bounds - >= 91 @ 299.213
299.31/300.24	c bounds - >= 92 @ 299.214
299.31/300.24	c bounds - >= 93 @ 299.215
299.31/300.24	c bounds - >= 94 @ 299.215
299.31/300.24	c bounds - >= 95 @ 299.216
299.31/300.24	c bounds - >= 96 @ 299.217
299.31/300.24	c bounds - >= 97 @ 299.217
299.31/300.24	c bounds - >= 98 @ 299.218
299.31/300.24	c bounds - >= 99 @ 299.219
299.31/300.24	c bounds - >= 100 @ 299.22
299.31/300.24	c bounds - >= 101 @ 299.22
299.31/300.24	c bounds - >= 102 @ 299.221
299.31/300.24	c bounds - >= 103 @ 299.222
299.31/300.24	c bounds - >= 104 @ 299.222
299.31/300.24	c bounds - >= 105 @ 299.223
299.31/300.24	c bounds - >= 106 @ 299.224
299.31/300.24	c bounds - >= 107 @ 299.225
299.31/300.24	c bounds - >= 108 @ 299.225
299.31/300.24	c bounds - >= 109 @ 299.226
299.31/300.24	c bounds - >= 110 @ 299.227
299.31/300.24	c bounds - >= 111 @ 299.228
299.31/300.24	c bounds - >= 112 @ 299.228
299.31/300.24	c bounds - >= 113 @ 299.229
299.31/300.24	c bounds - >= 114 @ 299.23
299.31/300.24	c bounds - >= 115 @ 299.231
299.31/300.24	c bounds - >= 116 @ 299.231
299.31/300.24	c bounds - >= 117 @ 299.232
299.31/300.24	c bounds - >= 118 @ 299.233
299.31/300.24	c bounds - >= 119 @ 299.234
299.31/300.24	c bounds - >= 120 @ 299.234
299.31/300.24	c bounds - >= 121 @ 299.235
299.31/300.24	c bounds - >= 122 @ 299.236
299.31/300.24	c bounds - >= 123 @ 299.237
299.31/300.24	c bounds - >= 124 @ 299.237
299.31/300.24	c bounds - >= 125 @ 299.238
299.31/300.24	c bounds - >= 126 @ 299.239
299.31/300.24	c bounds - >= 127 @ 299.24
299.31/300.24	c bounds - >= 128 @ 299.24
299.31/300.24	c bounds - >= 129 @ 299.241
299.31/300.24	c bounds - >= 130 @ 299.242
299.31/300.24	c bounds - >= 131 @ 299.243
299.31/300.24	c bounds - >= 132 @ 299.243
299.31/300.24	c bounds - >= 133 @ 299.244
299.31/300.24	c bounds - >= 134 @ 299.245
299.31/300.24	c bounds - >= 135 @ 299.246
299.31/300.24	c bounds - >= 136 @ 299.246
299.31/300.24	c bounds - >= 137 @ 299.247
299.31/300.24	c bounds - >= 138 @ 299.248
299.31/300.24	c bounds - >= 139 @ 299.249
299.31/300.24	c bounds - >= 140 @ 299.249
299.31/300.24	c bounds - >= 141 @ 299.25
299.31/300.24	c bounds - >= 142 @ 299.251
299.31/300.24	c bounds - >= 143 @ 299.252
299.31/300.24	c bounds - >= 144 @ 299.252
299.31/300.24	c bounds - >= 145 @ 299.253
299.31/300.24	c bounds - >= 146 @ 299.254
299.31/300.24	c bounds - >= 147 @ 299.255
299.31/300.24	c bounds - >= 148 @ 299.256
299.31/300.24	c bounds - >= 149 @ 299.256
299.31/300.24	c bounds - >= 150 @ 299.257
299.31/300.24	c bounds - >= 151 @ 299.258
299.40/300.35	c bounds - >= 152 @ 299.258
299.40/300.35	c bounds - >= 153 @ 299.259
299.40/300.35	c bounds - >= 154 @ 299.26
299.40/300.35	c bounds - >= 155 @ 299.261
299.40/300.35	c bounds - >= 156 @ 299.261
299.40/300.35	c bounds - >= 157 @ 299.262
299.40/300.35	c bounds - >= 158 @ 299.262
299.40/300.35	c bounds - >= 159 @ 299.262
299.40/300.35	c bounds - >= 160 @ 299.263
299.40/300.35	c bounds - >= 161 @ 299.264
299.40/300.35	c bounds - >= 162 @ 299.265
299.40/300.35	c bounds - >= 163 @ 299.265
299.40/300.35	c bounds - >= 164 @ 299.266
299.40/300.35	c bounds - >= 165 @ 299.267
299.40/300.35	c bounds - >= 166 @ 299.268
299.40/300.35	c bounds - >= 167 @ 299.268
299.40/300.35	c bounds - >= 168 @ 299.269
299.40/300.35	c bounds - >= 169 @ 299.27
299.40/300.35	c bounds - >= 170 @ 299.271
299.40/300.35	c bounds - >= 171 @ 299.271
299.40/300.35	c bounds - >= 172 @ 299.272
299.40/300.35	c bounds - >= 173 @ 299.273
299.40/300.35	c bounds - >= 174 @ 299.274
299.40/300.35	c bounds - >= 175 @ 299.274
299.40/300.35	c bounds - >= 176 @ 299.275
299.40/300.35	c bounds - >= 177 @ 299.275
299.40/300.35	c bounds - >= 178 @ 299.276
299.40/300.35	c bounds - >= 179 @ 299.276
299.40/300.35	c bounds - >= 180 @ 299.277
299.40/300.35	c bounds - >= 181 @ 299.278
299.40/300.35	c bounds - >= 182 @ 299.278
299.40/300.35	c bounds - >= 183 @ 299.279
299.40/300.35	c bounds - >= 184 @ 299.28
299.40/300.35	c bounds - >= 185 @ 299.281
299.40/300.35	c bounds - >= 186 @ 299.281
299.40/300.35	c bounds - >= 187 @ 299.282
299.40/300.35	c bounds - >= 188 @ 299.283
299.40/300.35	c bounds - >= 189 @ 299.284
299.40/300.35	c bounds - >= 190 @ 299.284
299.40/300.35	c bounds - >= 191 @ 299.285
299.40/300.35	c bounds - >= 192 @ 299.286
299.40/300.35	c bounds - >= 193 @ 299.287
299.40/300.35	c bounds - >= 194 @ 299.287
299.40/300.35	c bounds - >= 195 @ 299.288
299.40/300.35	c bounds - >= 196 @ 299.289
299.40/300.35	c bounds - >= 197 @ 299.289
299.40/300.35	c bounds - >= 198 @ 299.29
299.40/300.35	c bounds - >= 199 @ 299.291
299.40/300.35	c bounds - >= 200 @ 299.292
299.40/300.35	c bounds - >= 201 @ 299.292
299.40/300.35	c bounds - >= 202 @ 299.293
299.40/300.35	c bounds - >= 203 @ 299.294
299.40/300.35	c bounds - >= 204 @ 299.294
299.40/300.35	c bounds - >= 205 @ 299.295
299.40/300.35	c bounds - >= 206 @ 299.296
299.40/300.35	c bounds - >= 207 @ 299.296
299.40/300.35	c bounds - >= 208 @ 299.297
299.40/300.35	c bounds - >= 209 @ 299.298
299.40/300.35	c bounds - >= 210 @ 299.298
299.40/300.35	c bounds - >= 211 @ 299.299
299.40/300.35	c bounds - >= 212 @ 299.3
299.40/300.35	c bounds - >= 213 @ 299.301
299.40/300.35	c bounds - >= 214 @ 299.301
299.40/300.35	c bounds - >= 215 @ 299.302
299.40/300.35	c bounds - >= 216 @ 299.303
299.40/300.35	c bounds - >= 217 @ 299.303
299.40/300.35	c bounds - >= 218 @ 299.304
299.40/300.35	c bounds - >= 219 @ 299.305
299.40/300.35	c bounds - >= 220 @ 299.305
299.40/300.35	c bounds - >= 221 @ 299.306
299.40/300.35	c bounds - >= 222 @ 299.307
299.40/300.35	c bounds - >= 223 @ 299.308
299.40/300.35	c bounds - >= 224 @ 299.308
299.40/300.35	c bounds - >= 225 @ 299.309
299.40/300.35	c bounds - >= 226 @ 299.31
299.40/300.35	c bounds - >= 227 @ 299.31
299.40/300.35	c bounds - >= 228 @ 299.311
299.40/300.35	c bounds - >= 229 @ 299.312
299.40/300.35	c bounds - >= 230 @ 299.312
299.40/300.35	c bounds - >= 231 @ 299.313
299.40/300.35	c bounds - >= 232 @ 299.314
299.40/300.35	c bounds - >= 233 @ 299.315
299.40/300.35	c bounds - >= 234 @ 299.315
299.40/300.35	c bounds - >= 235 @ 299.316
299.40/300.35	c bounds - >= 236 @ 299.317
299.40/300.35	c bounds - >= 237 @ 299.317
299.40/300.35	c bounds - >= 238 @ 299.318
299.40/300.35	c bounds - >= 239 @ 299.319
299.40/300.35	c bounds - >= 240 @ 299.319
299.40/300.35	c bounds - >= 241 @ 299.32
299.40/300.35	c bounds - >= 242 @ 299.321
299.40/300.35	c bounds - >= 243 @ 299.322
299.40/300.35	c bounds - >= 244 @ 299.322
299.40/300.35	c bounds - >= 245 @ 299.322
299.40/300.35	c bounds - >= 246 @ 299.323
299.40/300.35	c bounds - >= 247 @ 299.323
299.40/300.35	c bounds - >= 248 @ 299.324
299.40/300.35	c bounds - >= 249 @ 299.325
299.40/300.35	c bounds - >= 250 @ 299.326
299.40/300.35	c bounds - >= 251 @ 299.326
299.40/300.35	c bounds - >= 252 @ 299.326
299.40/300.35	c bounds - >= 253 @ 299.327
299.40/300.35	c bounds - >= 254 @ 299.327
299.40/300.35	c bounds - >= 255 @ 299.328
299.40/300.35	c bounds - >= 256 @ 299.329
299.40/300.35	c bounds - >= 257 @ 299.33
299.40/300.35	c bounds - >= 258 @ 299.33
299.40/300.35	c bounds - >= 259 @ 299.331
299.40/300.35	c bounds - >= 260 @ 299.332
299.40/300.35	c bounds - >= 261 @ 299.332
299.40/300.35	c bounds - >= 262 @ 299.333
299.40/300.35	c bounds - >= 263 @ 299.334
299.40/300.35	c bounds - >= 264 @ 299.334
299.40/300.35	c bounds - >= 265 @ 299.335
299.40/300.35	c bounds - >= 266 @ 299.336
299.40/300.35	c bounds - >= 267 @ 299.337
299.40/300.35	c bounds - >= 268 @ 299.338
299.40/300.35	c bounds - >= 269 @ 299.338
299.40/300.35	c bounds - >= 270 @ 299.339
299.40/300.35	c bounds - >= 271 @ 299.34
299.40/300.35	c bounds - >= 272 @ 299.34
299.40/300.35	c bounds - >= 273 @ 299.341
299.40/300.35	c bounds - >= 274 @ 299.342
299.40/300.35	c bounds - >= 275 @ 299.343
299.40/300.35	c bounds - >= 276 @ 299.343
299.40/300.35	c bounds - >= 277 @ 299.344
299.40/300.35	c bounds - >= 278 @ 299.345
299.40/300.35	c bounds - >= 279 @ 299.345
299.40/300.35	c bounds - >= 280 @ 299.346
299.40/300.35	c bounds - >= 281 @ 299.347
299.40/300.35	c bounds - >= 282 @ 299.348
299.40/300.35	c bounds - >= 283 @ 299.348
299.40/300.35	c bounds - >= 284 @ 299.349
299.40/300.35	c bounds - >= 285 @ 299.35
299.40/300.35	c bounds - >= 286 @ 299.35
299.40/300.35	c bounds - >= 287 @ 299.351
299.40/300.35	c bounds - >= 288 @ 299.352
299.40/300.35	c bounds - >= 289 @ 299.353
299.40/300.35	c bounds - >= 290 @ 299.353
299.40/300.35	c bounds - >= 291 @ 299.354
299.40/300.35	c bounds - >= 292 @ 299.355
299.40/300.35	c bounds - >= 293 @ 299.355
299.40/300.35	c bounds - >= 294 @ 299.356
299.40/300.35	c bounds - >= 295 @ 299.357
299.40/300.35	c bounds - >= 296 @ 299.358
299.40/300.35	c bounds - >= 297 @ 299.358
299.40/300.35	c bounds - >= 298 @ 299.359
299.51/300.45	c bounds - >= 299 @ 299.36
299.51/300.45	c bounds - >= 300 @ 299.361
299.51/300.45	c bounds - >= 301 @ 299.361
299.51/300.45	c bounds - >= 302 @ 299.362
299.51/300.45	c bounds - >= 303 @ 299.363
299.51/300.45	c bounds - >= 304 @ 299.363
299.51/300.45	c bounds - >= 305 @ 299.364
299.51/300.45	c bounds - >= 306 @ 299.365
299.51/300.45	c bounds - >= 307 @ 299.366
299.51/300.45	c bounds - >= 308 @ 299.366
299.51/300.45	c bounds - >= 309 @ 299.367
299.51/300.45	c bounds - >= 310 @ 299.368
299.51/300.45	c bounds - >= 311 @ 299.368
299.51/300.45	c bounds - >= 312 @ 299.369
299.51/300.45	c bounds - >= 313 @ 299.369
299.51/300.45	c bounds - >= 314 @ 299.37
299.51/300.45	c bounds - >= 315 @ 299.37
299.51/300.45	c bounds - >= 316 @ 299.371
299.51/300.45	c bounds - >= 317 @ 299.372
299.51/300.45	c bounds - >= 318 @ 299.372
299.51/300.45	c bounds - >= 319 @ 299.373
299.51/300.45	c bounds - >= 320 @ 299.374
299.51/300.45	c bounds - >= 321 @ 299.375
299.51/300.45	c bounds - >= 322 @ 299.375
299.51/300.45	c bounds - >= 323 @ 299.376
299.51/300.45	c bounds - >= 324 @ 299.377
299.51/300.45	c bounds - >= 325 @ 299.377
299.51/300.45	c bounds - >= 326 @ 299.378
299.51/300.45	c bounds - >= 327 @ 299.379
299.51/300.45	c bounds - >= 328 @ 299.379
299.51/300.45	c bounds - >= 329 @ 299.38
299.51/300.45	c bounds - >= 330 @ 299.381
299.51/300.45	c bounds - >= 331 @ 299.382
299.51/300.45	c bounds - >= 332 @ 299.382
299.51/300.45	c bounds - >= 333 @ 299.383
299.51/300.45	c bounds - >= 334 @ 299.384
299.51/300.45	c bounds - >= 335 @ 299.384
299.51/300.45	c bounds - >= 336 @ 299.385
299.51/300.45	c bounds - >= 337 @ 299.386
299.51/300.45	c bounds - >= 338 @ 299.387
299.51/300.45	c bounds - >= 339 @ 299.387
299.51/300.45	c bounds - >= 340 @ 299.388
299.51/300.45	c bounds - >= 341 @ 299.389
299.51/300.45	c bounds - >= 342 @ 299.389
299.51/300.45	c bounds - >= 343 @ 299.39
299.51/300.45	c bounds - >= 344 @ 299.391
299.51/300.45	c bounds - >= 345 @ 299.391
299.51/300.45	c bounds - >= 346 @ 299.392
299.51/300.45	c bounds - >= 347 @ 299.392
299.51/300.45	c bounds - >= 348 @ 299.392
299.51/300.45	c bounds - >= 349 @ 299.393
299.51/300.45	c bounds - >= 350 @ 299.394
299.51/300.45	c bounds - >= 351 @ 299.395
299.51/300.45	c bounds - >= 352 @ 299.395
299.51/300.45	c bounds - >= 353 @ 299.396
299.51/300.45	c bounds - >= 354 @ 299.397
299.51/300.45	c bounds - >= 355 @ 299.397
299.51/300.45	c bounds - >= 356 @ 299.398
299.51/300.45	c bounds - >= 357 @ 299.399
299.51/300.45	c bounds - >= 358 @ 299.399
299.51/300.45	c bounds - >= 359 @ 299.4
299.51/300.45	c bounds - >= 360 @ 299.401
299.51/300.45	c bounds - >= 361 @ 299.401
299.51/300.45	c bounds - >= 362 @ 299.402
299.51/300.45	c bounds - >= 363 @ 299.402
299.51/300.45	c bounds - >= 364 @ 299.402
299.51/300.45	c bounds - >= 365 @ 299.403
299.51/300.45	c bounds - >= 366 @ 299.404
299.51/300.45	c bounds - >= 367 @ 299.404
299.51/300.45	c bounds - >= 368 @ 299.405
299.51/300.45	c bounds - >= 369 @ 299.406
299.51/300.45	c bounds - >= 370 @ 299.407
299.51/300.45	c bounds - >= 371 @ 299.407
299.51/300.45	c bounds - >= 372 @ 299.408
299.51/300.45	c bounds - >= 373 @ 299.409
299.51/300.45	c bounds - >= 374 @ 299.409
299.51/300.45	c bounds - >= 375 @ 299.41
299.51/300.45	c bounds - >= 376 @ 299.411
299.51/300.45	c bounds - >= 377 @ 299.411
299.51/300.45	c bounds - >= 378 @ 299.412
299.51/300.45	c bounds - >= 379 @ 299.413
299.51/300.45	c bounds - >= 380 @ 299.413
299.51/300.45	c bounds - >= 381 @ 299.414
299.51/300.45	c bounds - >= 382 @ 299.415
299.51/300.45	c bounds - >= 383 @ 299.415
299.51/300.45	c bounds - >= 384 @ 299.415
299.51/300.45	c bounds - >= 385 @ 299.416
299.51/300.45	c bounds - >= 386 @ 299.416
299.51/300.45	c bounds - >= 387 @ 299.417
299.51/300.45	c bounds - >= 388 @ 299.418
299.51/300.45	c bounds - >= 389 @ 299.418
299.51/300.45	c bounds - >= 390 @ 299.419
299.51/300.45	c bounds - >= 391 @ 299.42
299.51/300.45	c bounds - >= 392 @ 299.421
299.51/300.45	c bounds - >= 393 @ 299.421
299.51/300.45	c bounds - >= 394 @ 299.422
299.51/300.45	c bounds - >= 395 @ 299.423
299.51/300.45	c bounds - >= 396 @ 299.423
299.51/300.45	c bounds - >= 397 @ 299.424
299.51/300.45	c bounds - >= 398 @ 299.425
299.51/300.45	c bounds - >= 399 @ 299.425
299.51/300.45	c bounds - >= 400 @ 299.426
299.51/300.45	c bounds - >= 401 @ 299.427
299.51/300.45	c bounds - >= 402 @ 299.427
299.51/300.45	c bounds - >= 403 @ 299.428
299.51/300.45	c bounds - >= 404 @ 299.429
299.51/300.45	c bounds - >= 405 @ 299.429
299.51/300.45	c bounds - >= 406 @ 299.43
299.51/300.45	c bounds - >= 407 @ 299.43
299.51/300.45	c bounds - >= 408 @ 299.43
299.51/300.45	c bounds - >= 409 @ 299.431
299.51/300.45	c bounds - >= 410 @ 299.432
299.51/300.45	c bounds - >= 411 @ 299.432
299.51/300.45	c bounds - >= 412 @ 299.433
299.51/300.45	c bounds - >= 413 @ 299.434
299.51/300.45	c bounds - >= 414 @ 299.434
299.51/300.45	c bounds - >= 415 @ 299.435
299.51/300.45	c bounds - >= 416 @ 299.436
299.51/300.45	c bounds - >= 417 @ 299.437
299.51/300.45	c bounds - >= 418 @ 299.437
299.51/300.45	c bounds - >= 419 @ 299.438
299.51/300.45	c bounds - >= 420 @ 299.439
299.51/300.45	c bounds - >= 421 @ 299.439
299.51/300.45	c bounds - >= 422 @ 299.44
299.51/300.45	c bounds - >= 423 @ 299.441
299.51/300.45	c bounds - >= 424 @ 299.441
299.51/300.45	c bounds - >= 425 @ 299.441
299.51/300.45	c bounds - >= 426 @ 299.442
299.51/300.45	c bounds - >= 427 @ 299.443
299.51/300.45	c bounds - >= 428 @ 299.443
299.51/300.45	c bounds - >= 429 @ 299.444
299.51/300.45	c bounds - >= 430 @ 299.445
299.51/300.45	c bounds - >= 431 @ 299.445
299.51/300.45	c bounds - >= 432 @ 299.446
299.51/300.45	c bounds - >= 433 @ 299.447
299.51/300.45	c bounds - >= 434 @ 299.447
299.51/300.45	c bounds - >= 435 @ 299.448
299.51/300.45	c bounds - >= 436 @ 299.448
299.51/300.45	c bounds - >= 437 @ 299.449
299.51/300.45	c bounds - >= 438 @ 299.45
299.51/300.45	c bounds - >= 439 @ 299.45
299.51/300.45	c bounds - >= 440 @ 299.451
299.51/300.45	c bounds - >= 441 @ 299.452
299.51/300.45	c bounds - >= 442 @ 299.452
299.51/300.45	c bounds - >= 443 @ 299.453
299.51/300.45	c bounds - >= 444 @ 299.454
299.51/300.45	c bounds - >= 445 @ 299.454
299.60/300.55	c bounds - >= 446 @ 299.455
299.60/300.55	c bounds - >= 447 @ 299.456
299.60/300.55	c bounds - >= 448 @ 299.456
299.60/300.55	c bounds - >= 449 @ 299.457
299.60/300.55	c bounds - >= 450 @ 299.458
299.60/300.55	c bounds - >= 451 @ 299.459
299.60/300.55	c bounds - >= 452 @ 299.459
299.60/300.55	c bounds - >= 453 @ 299.46
299.60/300.55	c bounds - >= 454 @ 299.461
299.60/300.55	c bounds - >= 455 @ 299.461
299.60/300.55	c bounds - >= 456 @ 299.462
299.60/300.55	c bounds - >= 457 @ 299.463
299.60/300.55	c bounds - >= 458 @ 299.463
299.60/300.55	c bounds - >= 459 @ 299.464
299.60/300.55	c bounds - >= 460 @ 299.465
299.60/300.55	c bounds - >= 461 @ 299.465
299.60/300.55	c bounds - >= 462 @ 299.466
299.60/300.55	c bounds - >= 463 @ 299.467
299.60/300.55	c bounds - >= 464 @ 299.467
299.60/300.55	c bounds - >= 465 @ 299.468
299.60/300.55	c bounds - >= 466 @ 299.469
299.60/300.55	c bounds - >= 467 @ 299.469
299.60/300.55	c bounds - >= 468 @ 299.47
299.60/300.55	c bounds - >= 469 @ 299.471
299.60/300.55	c bounds - >= 470 @ 299.471
299.60/300.55	c bounds - >= 471 @ 299.472
299.60/300.55	c bounds - >= 472 @ 299.473
299.60/300.55	c bounds - >= 473 @ 299.473
299.60/300.55	c bounds - >= 474 @ 299.474
299.60/300.55	c bounds - >= 475 @ 299.475
299.60/300.55	c bounds - >= 476 @ 299.476
299.60/300.55	c bounds - >= 477 @ 299.476
299.60/300.55	c bounds - >= 478 @ 299.477
299.60/300.55	c bounds - >= 479 @ 299.478
299.60/300.55	c bounds - >= 480 @ 299.478
299.60/300.55	c bounds - >= 481 @ 299.479
299.60/300.55	c bounds - >= 482 @ 299.48
299.60/300.55	c bounds - >= 483 @ 299.48
299.60/300.55	c bounds - >= 484 @ 299.481
299.60/300.55	c bounds - >= 485 @ 299.482
299.60/300.55	c bounds - >= 486 @ 299.482
299.60/300.55	c bounds - >= 487 @ 299.483
299.60/300.55	c bounds - >= 488 @ 299.484
299.60/300.55	c bounds - >= 489 @ 299.484
299.60/300.55	c bounds - >= 490 @ 299.485
299.60/300.55	c bounds - >= 491 @ 299.486
299.60/300.55	c bounds - >= 492 @ 299.486
299.60/300.55	c bounds - >= 493 @ 299.487
299.60/300.55	c bounds - >= 494 @ 299.488
299.60/300.55	c bounds - >= 495 @ 299.488
299.60/300.55	c bounds - >= 496 @ 299.489
299.60/300.55	c bounds - >= 497 @ 299.49
299.60/300.55	c bounds - >= 498 @ 299.49
299.60/300.55	c bounds - >= 499 @ 299.491
299.60/300.55	c bounds - >= 500 @ 299.491
299.60/300.55	c bounds - >= 501 @ 299.492
299.60/300.55	c bounds - >= 502 @ 299.492
299.60/300.55	c bounds - >= 503 @ 299.493
299.60/300.55	c bounds - >= 504 @ 299.494
299.60/300.55	c bounds - >= 505 @ 299.494
299.60/300.55	c bounds - >= 506 @ 299.495
299.60/300.55	c bounds - >= 507 @ 299.496
299.60/300.55	c bounds - >= 508 @ 299.497
299.60/300.55	c bounds - >= 509 @ 299.497
299.60/300.55	c bounds - >= 510 @ 299.498
299.60/300.55	c bounds - >= 511 @ 299.499
299.60/300.55	c bounds - >= 512 @ 299.499
299.60/300.55	c bounds - >= 513 @ 299.5
299.60/300.55	c bounds - >= 514 @ 299.501
299.60/300.55	c bounds - >= 515 @ 299.501
299.60/300.55	c bounds - >= 516 @ 299.502
299.60/300.55	c bounds - >= 517 @ 299.503
299.60/300.55	c bounds - >= 518 @ 299.503
299.60/300.55	c bounds - >= 519 @ 299.504
299.60/300.55	c bounds - >= 520 @ 299.505
299.60/300.55	c bounds - >= 521 @ 299.505
299.60/300.55	c bounds - >= 522 @ 299.506
299.60/300.55	c bounds - >= 523 @ 299.507
299.60/300.55	c bounds - >= 524 @ 299.507
299.60/300.55	c bounds - >= 525 @ 299.508
299.60/300.55	c bounds - >= 526 @ 299.509
299.60/300.55	c bounds - >= 527 @ 299.509
299.60/300.55	c bounds - >= 528 @ 299.51
299.60/300.55	c bounds - >= 529 @ 299.511
299.60/300.55	c bounds - >= 530 @ 299.511
299.60/300.55	c bounds - >= 531 @ 299.512
299.60/300.55	c bounds - >= 532 @ 299.513
299.60/300.55	c bounds - >= 533 @ 299.513
299.60/300.55	c bounds - >= 534 @ 299.514
299.60/300.55	c bounds - >= 535 @ 299.515
299.60/300.55	c bounds - >= 536 @ 299.515
299.60/300.55	c bounds - >= 537 @ 299.516
299.60/300.55	c bounds - >= 538 @ 299.517
299.60/300.55	c bounds - >= 539 @ 299.517
299.60/300.55	c bounds - >= 540 @ 299.518
299.60/300.55	c bounds - >= 541 @ 299.519
299.60/300.55	c bounds - >= 542 @ 299.519
299.60/300.55	c bounds - >= 543 @ 299.52
299.60/300.55	c bounds - >= 544 @ 299.521
299.60/300.55	c bounds - >= 545 @ 299.521
299.60/300.55	c bounds - >= 546 @ 299.522
299.60/300.55	c bounds - >= 547 @ 299.523
299.60/300.55	c bounds - >= 548 @ 299.523
299.60/300.55	c bounds - >= 549 @ 299.524
299.60/300.55	c bounds - >= 550 @ 299.525
299.60/300.55	c bounds - >= 551 @ 299.525
299.60/300.55	c bounds - >= 552 @ 299.526
299.60/300.55	c bounds - >= 553 @ 299.527
299.60/300.55	c bounds - >= 554 @ 299.527
299.60/300.55	c bounds - >= 555 @ 299.528
299.60/300.55	c bounds - >= 556 @ 299.528
299.60/300.55	c bounds - >= 557 @ 299.529
299.60/300.55	c bounds - >= 558 @ 299.53
299.60/300.55	c bounds - >= 559 @ 299.53
299.60/300.55	c bounds - >= 560 @ 299.531
299.60/300.55	c bounds - >= 561 @ 299.532
299.60/300.55	c bounds - >= 562 @ 299.532
299.60/300.55	c bounds - >= 563 @ 299.533
299.60/300.55	c bounds - >= 564 @ 299.534
299.60/300.55	c bounds - >= 565 @ 299.534
299.60/300.55	c bounds - >= 566 @ 299.535
299.60/300.55	c bounds - >= 567 @ 299.536
299.60/300.55	c bounds - >= 568 @ 299.536
299.60/300.55	c bounds - >= 569 @ 299.537
299.60/300.55	c bounds - >= 570 @ 299.538
299.60/300.55	c bounds - >= 571 @ 299.538
299.60/300.55	c bounds - >= 572 @ 299.539
299.60/300.55	c bounds - >= 573 @ 299.54
299.60/300.55	c bounds - >= 574 @ 299.541
299.60/300.55	c bounds - >= 575 @ 299.541
299.60/300.55	c bounds - >= 576 @ 299.542
299.60/300.55	c bounds - >= 577 @ 299.543
299.60/300.55	c bounds - >= 578 @ 299.543
299.60/300.55	c bounds - >= 579 @ 299.544
299.60/300.55	c bounds - >= 580 @ 299.545
299.60/300.55	c bounds - >= 581 @ 299.545
299.60/300.55	c bounds - >= 582 @ 299.546
299.60/300.55	c bounds - >= 583 @ 299.547
299.60/300.55	c bounds - >= 584 @ 299.547
299.60/300.55	c bounds - >= 585 @ 299.548
299.60/300.55	c bounds - >= 586 @ 299.549
299.60/300.55	c bounds - >= 587 @ 299.549
299.60/300.55	c bounds - >= 588 @ 299.55
299.60/300.55	c bounds - >= 589 @ 299.55
299.60/300.55	c bounds - >= 590 @ 299.551
299.60/300.55	c bounds - >= 591 @ 299.552
299.60/300.55	c bounds - >= 592 @ 299.552
299.70/300.64	c bounds - >= 593 @ 299.553
299.70/300.64	c bounds - >= 594 @ 299.554
299.70/300.64	c bounds - >= 595 @ 299.554
299.70/300.64	c bounds - >= 596 @ 299.555
299.70/300.64	c bounds - >= 597 @ 299.555
299.70/300.64	c bounds - >= 598 @ 299.555
299.70/300.64	c bounds - >= 599 @ 299.556
299.70/300.64	c bounds - >= 600 @ 299.557
299.70/300.64	c bounds - >= 601 @ 299.557
299.70/300.64	c bounds - >= 602 @ 299.558
299.70/300.64	c bounds - >= 603 @ 299.559
299.70/300.64	c bounds - >= 604 @ 299.559
299.70/300.64	c bounds - >= 605 @ 299.56
299.70/300.64	c bounds - >= 606 @ 299.561
299.70/300.64	c bounds - >= 607 @ 299.561
299.70/300.64	c bounds - >= 608 @ 299.562
299.70/300.64	c bounds - >= 609 @ 299.562
299.70/300.64	c bounds - >= 610 @ 299.563
299.70/300.64	c bounds - >= 611 @ 299.564
299.70/300.64	c bounds - >= 612 @ 299.564
299.70/300.64	c bounds - >= 613 @ 299.565
299.70/300.64	c bounds - >= 614 @ 299.566
299.70/300.64	c bounds - >= 615 @ 299.566
299.70/300.64	c bounds - >= 616 @ 299.567
299.70/300.64	c bounds - >= 617 @ 299.568
299.70/300.64	c bounds - >= 618 @ 299.568
299.70/300.64	c bounds - >= 619 @ 299.569
299.70/300.64	c bounds - >= 620 @ 299.57
299.70/300.64	c bounds - >= 621 @ 299.57
299.70/300.64	c bounds - >= 622 @ 299.571
299.70/300.64	c bounds - >= 623 @ 299.571
299.70/300.64	c bounds - >= 624 @ 299.572
299.70/300.64	c bounds - >= 625 @ 299.573
299.70/300.64	c bounds - >= 626 @ 299.573
299.70/300.64	c bounds - >= 627 @ 299.574
299.70/300.64	c bounds - >= 628 @ 299.575
299.70/300.64	c bounds - >= 629 @ 299.575
299.70/300.64	c bounds - >= 630 @ 299.576
299.70/300.64	c bounds - >= 631 @ 299.577
299.70/300.64	c bounds - >= 632 @ 299.577
299.70/300.64	c bounds - >= 633 @ 299.578
299.70/300.64	c bounds - >= 634 @ 299.579
299.70/300.64	c bounds - >= 635 @ 299.579
299.70/300.64	c bounds - >= 636 @ 299.58
299.70/300.64	c bounds - >= 637 @ 299.58
299.70/300.64	c bounds - >= 638 @ 299.581
299.70/300.64	c bounds - >= 639 @ 299.582
299.70/300.64	c bounds - >= 640 @ 299.582
299.70/300.64	c bounds - >= 641 @ 299.583
299.70/300.64	c bounds - >= 642 @ 299.584
299.70/300.64	c bounds - >= 643 @ 299.584
299.70/300.64	c bounds - >= 644 @ 299.585
299.70/300.64	c bounds - >= 645 @ 299.586
299.70/300.64	c bounds - >= 646 @ 299.586
299.70/300.64	c bounds - >= 647 @ 299.587
299.70/300.64	c bounds - >= 648 @ 299.587
299.70/300.64	c bounds - >= 649 @ 299.588
299.70/300.64	c bounds - >= 650 @ 299.589
299.70/300.64	c bounds - >= 651 @ 299.589
299.70/300.64	c bounds - >= 652 @ 299.59
299.70/300.64	c bounds - >= 653 @ 299.591
299.70/300.64	c bounds - >= 654 @ 299.591
299.70/300.64	c bounds - >= 655 @ 299.592
299.70/300.64	c bounds - >= 656 @ 299.593
299.70/300.64	c bounds - >= 657 @ 299.593
299.70/300.64	c bounds - >= 658 @ 299.594
299.70/300.64	c bounds - >= 659 @ 299.594
299.70/300.64	c bounds - >= 660 @ 299.595
299.70/300.64	c bounds - >= 661 @ 299.596
299.70/300.64	c bounds - >= 662 @ 299.596
299.70/300.64	c bounds - >= 663 @ 299.597
299.70/300.64	c bounds - >= 664 @ 299.598
299.70/300.64	c bounds - >= 665 @ 299.598
299.70/300.64	c bounds - >= 666 @ 299.599
299.70/300.64	c bounds - >= 667 @ 299.599
299.70/300.64	c bounds - >= 668 @ 299.6
299.70/300.64	c bounds - >= 669 @ 299.601
299.70/300.64	c bounds - >= 670 @ 299.601
299.70/300.64	c bounds - >= 671 @ 299.602
299.70/300.64	c bounds - >= 672 @ 299.602
299.70/300.64	c bounds - >= 673 @ 299.602
299.70/300.64	c bounds - >= 674 @ 299.603
299.70/300.64	c bounds - >= 675 @ 299.603
299.70/300.64	c bounds - >= 676 @ 299.604
299.70/300.64	c bounds - >= 677 @ 299.605
299.70/300.64	c bounds - >= 678 @ 299.605
299.70/300.64	c bounds - >= 679 @ 299.606
299.70/300.64	c bounds - >= 680 @ 299.606
299.70/300.64	c bounds - >= 681 @ 299.606
299.70/300.64	c bounds - >= 682 @ 299.607
299.70/300.64	c bounds - >= 683 @ 299.607
299.70/300.64	c bounds - >= 684 @ 299.608
299.70/300.64	c bounds - >= 685 @ 299.609
299.70/300.64	c bounds - >= 686 @ 299.609
299.70/300.64	c bounds - >= 687 @ 299.61
299.70/300.64	c bounds - >= 688 @ 299.61
299.70/300.64	c bounds - >= 689 @ 299.611
299.70/300.64	c bounds - >= 690 @ 299.612
299.70/300.64	c bounds - >= 691 @ 299.612
299.70/300.64	c bounds - >= 692 @ 299.613
299.70/300.64	c bounds - >= 693 @ 299.613
299.70/300.64	c bounds - >= 694 @ 299.613
299.70/300.64	c bounds - >= 695 @ 299.614
299.70/300.64	c bounds - >= 696 @ 299.614
299.70/300.64	c bounds - >= 697 @ 299.615
299.70/300.64	c bounds - >= 698 @ 299.616
299.70/300.64	c bounds - >= 699 @ 299.616
299.70/300.64	c bounds - >= 700 @ 299.617
299.70/300.64	c bounds - >= 701 @ 299.617
299.70/300.64	c bounds - >= 702 @ 299.617
299.70/300.64	c bounds - >= 703 @ 299.618
299.70/300.64	c bounds - >= 704 @ 299.618
299.70/300.64	c bounds - >= 705 @ 299.619
299.70/300.64	c bounds - >= 706 @ 299.62
299.70/300.64	c bounds - >= 707 @ 299.62
299.70/300.64	c bounds - >= 708 @ 299.621
299.70/300.64	c bounds - >= 709 @ 299.621
299.70/300.64	c bounds - >= 710 @ 299.622
299.70/300.64	c bounds - >= 711 @ 299.623
299.70/300.64	c bounds - >= 712 @ 299.623
299.70/300.64	c bounds - >= 713 @ 299.623
299.70/300.64	c bounds - >= 714 @ 299.624
299.70/300.64	c bounds - >= 715 @ 299.624
299.70/300.64	c bounds - >= 716 @ 299.625
299.70/300.64	c bounds - >= 717 @ 299.625
299.70/300.64	c bounds - >= 718 @ 299.626
299.70/300.64	c bounds - >= 719 @ 299.626
299.70/300.64	c bounds - >= 720 @ 299.626
299.70/300.64	c bounds - >= 721 @ 299.627
299.70/300.64	c bounds - >= 722 @ 299.627
299.70/300.64	c bounds - >= 723 @ 299.628
299.70/300.64	c bounds - >= 724 @ 299.629
299.70/300.64	c bounds - >= 725 @ 299.63
299.70/300.64	c bounds - >= 726 @ 299.63
299.70/300.64	c bounds - >= 727 @ 299.631
299.70/300.64	c bounds - >= 728 @ 299.631
299.70/300.64	c bounds - >= 729 @ 299.632
299.70/300.64	c bounds - >= 730 @ 299.633
299.70/300.64	c bounds - >= 731 @ 299.633
299.70/300.64	c bounds - >= 732 @ 299.634
299.70/300.64	c bounds - >= 733 @ 299.634
299.70/300.64	c bounds - >= 734 @ 299.635
299.70/300.64	c bounds - >= 735 @ 299.636
299.70/300.64	c bounds - >= 736 @ 299.636
299.70/300.64	c bounds - >= 737 @ 299.637
299.70/300.64	c bounds - >= 738 @ 299.637
299.70/300.64	c bounds - >= 739 @ 299.638
299.80/300.73	c bounds - >= 740 @ 299.639
299.80/300.73	c bounds - >= 741 @ 299.639
299.80/300.73	c bounds - >= 742 @ 299.64
299.80/300.73	c bounds - >= 743 @ 299.641
299.80/300.73	c bounds - >= 744 @ 299.641
299.80/300.73	c bounds - >= 745 @ 299.642
299.80/300.73	c bounds - >= 746 @ 299.642
299.80/300.73	c bounds - >= 747 @ 299.643
299.80/300.73	c bounds - >= 748 @ 299.644
299.80/300.73	c bounds - >= 749 @ 299.644
299.80/300.73	c bounds - >= 750 @ 299.645
299.80/300.73	c bounds - >= 751 @ 299.646
299.80/300.73	c bounds - >= 752 @ 299.646
299.80/300.73	c bounds - >= 753 @ 299.647
299.80/300.73	c bounds - >= 754 @ 299.647
299.80/300.73	c bounds - >= 755 @ 299.648
299.80/300.73	c bounds - >= 756 @ 299.649
299.80/300.73	c bounds - >= 757 @ 299.649
299.80/300.73	c bounds - >= 758 @ 299.65
299.80/300.73	c bounds - >= 759 @ 299.65
299.80/300.73	c bounds - >= 760 @ 299.651
299.80/300.73	c bounds - >= 761 @ 299.652
299.80/300.73	c bounds - >= 762 @ 299.652
299.80/300.73	c bounds - >= 763 @ 299.653
299.80/300.73	c bounds - >= 764 @ 299.654
299.80/300.73	c bounds - >= 765 @ 299.654
299.80/300.73	c bounds - >= 766 @ 299.655
299.80/300.73	c bounds - >= 767 @ 299.655
299.80/300.73	c bounds - >= 768 @ 299.656
299.80/300.73	c bounds - >= 769 @ 299.657
299.80/300.73	c bounds - >= 770 @ 299.657
299.80/300.73	c bounds - >= 771 @ 299.658
299.80/300.73	c bounds - >= 772 @ 299.658
299.80/300.73	c bounds - >= 773 @ 299.659
299.80/300.73	c bounds - >= 774 @ 299.66
299.80/300.73	c bounds - >= 775 @ 299.66
299.80/300.73	c bounds - >= 776 @ 299.661
299.80/300.73	c bounds - >= 777 @ 299.662
299.80/300.73	c bounds - >= 778 @ 299.662
299.80/300.73	c bounds - >= 779 @ 299.663
299.80/300.73	c bounds - >= 780 @ 299.663
299.80/300.73	c bounds - >= 781 @ 299.664
299.80/300.73	c bounds - >= 782 @ 299.665
299.80/300.73	c bounds - >= 783 @ 299.665
299.80/300.73	c bounds - >= 784 @ 299.666
299.80/300.73	c bounds - >= 785 @ 299.666
299.80/300.73	c bounds - >= 786 @ 299.667
299.80/300.73	c bounds - >= 787 @ 299.668
299.80/300.73	c bounds - >= 788 @ 299.668
299.80/300.73	c bounds - >= 789 @ 299.669
299.80/300.73	c bounds - >= 790 @ 299.67
299.80/300.73	c bounds - >= 791 @ 299.67
299.80/300.73	c bounds - >= 792 @ 299.67
299.80/300.73	c bounds - >= 793 @ 299.67
299.80/300.73	c bounds - >= 794 @ 299.671
299.80/300.73	c bounds - >= 795 @ 299.672
299.80/300.73	c bounds - >= 796 @ 299.672
299.80/300.73	c bounds - >= 797 @ 299.673
299.80/300.73	c bounds - >= 798 @ 299.673
299.80/300.73	c bounds - >= 799 @ 299.673
299.80/300.73	c bounds - >= 800 @ 299.674
299.80/300.73	c bounds - >= 801 @ 299.675
299.80/300.73	c bounds - >= 802 @ 299.675
299.80/300.73	c bounds - >= 803 @ 299.675
299.80/300.73	c bounds - >= 804 @ 299.675
299.80/300.73	c bounds - >= 805 @ 299.676
299.80/300.73	c bounds - >= 806 @ 299.677
299.80/300.73	c bounds - >= 807 @ 299.677
299.80/300.73	c bounds - >= 808 @ 299.678
299.80/300.73	c bounds - >= 809 @ 299.678
299.80/300.73	c bounds - >= 810 @ 299.679
299.80/300.73	c bounds - >= 811 @ 299.679
299.80/300.73	c bounds - >= 812 @ 299.68
299.80/300.73	c bounds - >= 813 @ 299.681
299.80/300.73	c bounds - >= 814 @ 299.681
299.80/300.73	c bounds - >= 815 @ 299.682
299.80/300.73	c bounds - >= 816 @ 299.682
299.80/300.73	c bounds - >= 817 @ 299.683
299.80/300.73	c bounds - >= 818 @ 299.684
299.80/300.73	c bounds - >= 819 @ 299.684
299.80/300.73	c bounds - >= 820 @ 299.685
299.80/300.73	c bounds - >= 821 @ 299.685
299.80/300.73	c bounds - >= 822 @ 299.686
299.80/300.73	c bounds - >= 823 @ 299.687
299.80/300.73	c bounds - >= 824 @ 299.687
299.80/300.73	c bounds - >= 825 @ 299.688
299.80/300.73	c bounds - >= 826 @ 299.688
299.80/300.73	c bounds - >= 827 @ 299.689
299.80/300.73	c bounds - >= 828 @ 299.69
299.80/300.73	c bounds - >= 829 @ 299.69
299.80/300.73	c bounds - >= 830 @ 299.691
299.80/300.73	c bounds - >= 831 @ 299.691
299.80/300.73	c bounds - >= 832 @ 299.692
299.80/300.73	c bounds - >= 833 @ 299.693
299.80/300.73	c bounds - >= 834 @ 299.693
299.80/300.73	c bounds - >= 835 @ 299.694
299.80/300.73	c bounds - >= 836 @ 299.694
299.80/300.73	c bounds - >= 837 @ 299.695
299.80/300.73	c bounds - >= 838 @ 299.696
299.80/300.73	c bounds - >= 839 @ 299.696
299.80/300.73	c bounds - >= 840 @ 299.697
299.80/300.73	c bounds - >= 841 @ 299.697
299.80/300.73	c bounds - >= 842 @ 299.698
299.80/300.73	c bounds - >= 843 @ 299.699
299.80/300.73	c bounds - >= 844 @ 299.699
299.80/300.73	c bounds - >= 845 @ 299.7
299.80/300.73	c bounds - >= 846 @ 299.7
299.80/300.73	c bounds - >= 847 @ 299.701
299.80/300.73	c bounds - >= 848 @ 299.702
299.80/300.73	c bounds - >= 849 @ 299.702
299.80/300.73	c bounds - >= 850 @ 299.703
299.80/300.73	c bounds - >= 851 @ 299.703
299.80/300.73	c bounds - >= 852 @ 299.704
299.80/300.73	c bounds - >= 853 @ 299.705
299.80/300.73	c bounds - >= 854 @ 299.705
299.80/300.73	c bounds - >= 855 @ 299.706
299.80/300.73	c bounds - >= 856 @ 299.706
299.80/300.73	c bounds - >= 857 @ 299.707
299.80/300.73	c bounds - >= 858 @ 299.708
299.80/300.73	c bounds - >= 859 @ 299.708
299.80/300.73	c bounds - >= 860 @ 299.709
299.80/300.73	c bounds - >= 861 @ 299.709
299.80/300.73	c bounds - >= 862 @ 299.71
299.80/300.73	c bounds - >= 863 @ 299.711
299.80/300.73	c bounds - >= 864 @ 299.711
299.80/300.73	c bounds - >= 865 @ 299.712
299.80/300.73	c bounds - >= 866 @ 299.712
299.80/300.73	c bounds - >= 867 @ 299.713
299.80/300.73	c bounds - >= 868 @ 299.714
299.80/300.73	c bounds - >= 869 @ 299.714
299.80/300.73	c bounds - >= 870 @ 299.715
299.80/300.73	c bounds - >= 871 @ 299.715
299.80/300.73	c bounds - >= 872 @ 299.716
299.80/300.73	c bounds - >= 873 @ 299.717
299.80/300.73	c bounds - >= 874 @ 299.718
299.80/300.73	c bounds - >= 875 @ 299.718
299.80/300.73	c bounds - >= 876 @ 299.719
299.80/300.73	c bounds - >= 877 @ 299.719
299.80/300.73	c bounds - >= 878 @ 299.72
299.80/300.73	c bounds - >= 879 @ 299.72
299.80/300.73	c bounds - >= 880 @ 299.721
299.80/300.73	c bounds - >= 881 @ 299.722
299.80/300.73	c bounds - >= 882 @ 299.722
299.80/300.73	c bounds - >= 883 @ 299.723
299.80/300.73	c bounds - >= 884 @ 299.723
299.80/300.73	c bounds - >= 885 @ 299.724
299.90/300.82	c bounds - >= 886 @ 299.724
299.90/300.82	c bounds - >= 887 @ 299.725
299.90/300.82	c bounds - >= 888 @ 299.726
299.90/300.82	c bounds - >= 889 @ 299.726
299.90/300.82	c bounds - >= 890 @ 299.727
299.90/300.82	c bounds - >= 891 @ 299.727
299.90/300.82	c bounds - >= 892 @ 299.728
299.90/300.82	c bounds - >= 893 @ 299.729
299.90/300.82	c bounds - >= 894 @ 299.729
299.90/300.82	c bounds - >= 895 @ 299.73
299.90/300.82	c bounds - >= 896 @ 299.73
299.90/300.82	c bounds - >= 897 @ 299.731
299.90/300.82	c bounds - >= 898 @ 299.732
299.90/300.82	c bounds - >= 899 @ 299.732
299.90/300.82	c bounds - >= 900 @ 299.733
299.90/300.82	c bounds - >= 901 @ 299.733
299.90/300.82	c bounds - >= 902 @ 299.734
299.90/300.82	c bounds - >= 903 @ 299.735
299.90/300.82	c bounds - >= 904 @ 299.735
299.90/300.82	c bounds - >= 905 @ 299.736
299.90/300.82	c bounds - >= 906 @ 299.736
299.90/300.82	c bounds - >= 907 @ 299.737
299.90/300.82	c bounds - >= 908 @ 299.737
299.90/300.82	c bounds - >= 909 @ 299.738
299.90/300.82	c bounds - >= 910 @ 299.739
299.90/300.82	c bounds - >= 911 @ 299.739
299.90/300.82	c bounds - >= 912 @ 299.74
299.90/300.82	c bounds - >= 913 @ 299.74
299.90/300.82	c bounds - >= 914 @ 299.741
299.90/300.82	c bounds - >= 915 @ 299.742
299.90/300.82	c bounds - >= 916 @ 299.742
299.90/300.82	c bounds - >= 917 @ 299.743
299.90/300.82	c bounds - >= 918 @ 299.743
299.90/300.82	c bounds - >= 919 @ 299.744
299.90/300.82	c bounds - >= 920 @ 299.745
299.90/300.82	c bounds - >= 921 @ 299.745
299.90/300.82	c bounds - >= 922 @ 299.746
299.90/300.82	c bounds - >= 923 @ 299.746
299.90/300.82	c bounds - >= 924 @ 299.747
299.90/300.82	c bounds - >= 925 @ 299.748
299.90/300.82	c bounds - >= 926 @ 299.748
299.90/300.82	c bounds - >= 927 @ 299.749
299.90/300.82	c bounds - >= 928 @ 299.749
299.90/300.82	c bounds - >= 929 @ 299.75
299.90/300.82	c bounds - >= 930 @ 299.751
299.90/300.82	c bounds - >= 931 @ 299.751
299.90/300.82	c bounds - >= 932 @ 299.752
299.90/300.82	c bounds - >= 933 @ 299.752
299.90/300.82	c bounds - >= 934 @ 299.753
299.90/300.82	c bounds - >= 935 @ 299.753
299.90/300.82	c bounds - >= 936 @ 299.754
299.90/300.82	c bounds - >= 937 @ 299.755
299.90/300.82	c bounds - >= 938 @ 299.755
299.90/300.82	c bounds - >= 939 @ 299.756
299.90/300.82	c bounds - >= 940 @ 299.756
299.90/300.82	c bounds - >= 941 @ 299.757
299.90/300.82	c bounds - >= 942 @ 299.757
299.90/300.82	c bounds - >= 943 @ 299.758
299.90/300.82	c bounds - >= 944 @ 299.759
299.90/300.82	c bounds - >= 945 @ 299.759
299.90/300.82	c bounds - >= 946 @ 299.76
299.90/300.82	c bounds - >= 947 @ 299.761
299.90/300.82	c bounds - >= 948 @ 299.761
299.90/300.82	c bounds - >= 949 @ 299.762
299.90/300.82	c bounds - >= 950 @ 299.762
299.90/300.82	c bounds - >= 951 @ 299.763
299.90/300.82	c bounds - >= 952 @ 299.764
299.90/300.82	c bounds - >= 953 @ 299.764
299.90/300.82	c bounds - >= 954 @ 299.765
299.90/300.82	c bounds - >= 955 @ 299.765
299.90/300.82	c bounds - >= 956 @ 299.766
299.90/300.82	c bounds - >= 957 @ 299.766
299.90/300.82	c bounds - >= 958 @ 299.766
299.90/300.82	c bounds - >= 959 @ 299.767
299.90/300.82	c bounds - >= 960 @ 299.767
299.90/300.82	c bounds - >= 961 @ 299.768
299.90/300.82	c bounds - >= 962 @ 299.768
299.90/300.82	c bounds - >= 963 @ 299.769
299.90/300.82	c bounds - >= 964 @ 299.769
299.90/300.82	c bounds - >= 965 @ 299.77
299.90/300.82	c bounds - >= 966 @ 299.771
299.90/300.82	c bounds - >= 967 @ 299.771
299.90/300.82	c bounds - >= 968 @ 299.772
299.90/300.82	c bounds - >= 969 @ 299.772
299.90/300.82	c bounds - >= 970 @ 299.773
299.90/300.82	c bounds - >= 971 @ 299.773
299.90/300.82	c bounds - >= 972 @ 299.774
299.90/300.82	c bounds - >= 973 @ 299.775
299.90/300.82	c bounds - >= 974 @ 299.775
299.90/300.82	c bounds - >= 975 @ 299.776
299.90/300.82	c bounds - >= 976 @ 299.776
299.90/300.82	c bounds - >= 977 @ 299.777
299.90/300.82	c bounds - >= 978 @ 299.778
299.90/300.82	c bounds - >= 979 @ 299.778
299.90/300.82	c bounds - >= 980 @ 299.779
299.90/300.82	c bounds - >= 981 @ 299.779
299.90/300.82	c bounds - >= 982 @ 299.78
299.90/300.82	c bounds - >= 983 @ 299.78
299.90/300.82	c bounds - >= 984 @ 299.781
299.90/300.82	c bounds - >= 985 @ 299.782
299.90/300.82	c bounds - >= 986 @ 299.782
299.90/300.82	c bounds - >= 987 @ 299.783
299.90/300.82	c bounds - >= 988 @ 299.783
299.90/300.82	c bounds - >= 989 @ 299.784
299.90/300.82	c bounds - >= 990 @ 299.785
299.90/300.82	c bounds - >= 991 @ 299.785
299.90/300.82	c bounds - >= 992 @ 299.786
299.90/300.82	c bounds - >= 993 @ 299.786
299.90/300.82	c bounds - >= 994 @ 299.787
299.90/300.82	c bounds - >= 995 @ 299.787
299.90/300.82	c bounds - >= 996 @ 299.788
299.90/300.82	c bounds - >= 997 @ 299.789
299.90/300.82	c bounds - >= 998 @ 299.789
299.90/300.82	c bounds - >= 999 @ 299.79
299.90/300.82	c bounds - >= 1000 @ 299.79
299.90/300.82	c bounds - >= 1001 @ 299.791
299.90/300.82	c bounds - >= 1002 @ 299.792
299.90/300.82	c bounds - >= 1003 @ 299.792
299.90/300.82	c bounds - >= 1004 @ 299.793
299.90/300.82	c bounds - >= 1005 @ 299.793
299.90/300.82	c bounds - >= 1006 @ 299.794
299.90/300.82	c bounds - >= 1007 @ 299.794
299.90/300.82	c bounds - >= 1008 @ 299.795
299.90/300.82	c bounds - >= 1009 @ 299.796
299.90/300.82	c bounds - >= 1010 @ 299.796
299.90/300.82	c bounds - >= 1011 @ 299.797
299.90/300.82	c bounds - >= 1012 @ 299.797
299.90/300.82	c bounds - >= 1013 @ 299.798
299.90/300.82	c bounds - >= 1014 @ 299.798
299.90/300.82	c bounds - >= 1015 @ 299.799
299.90/300.82	c bounds - >= 1016 @ 299.8
299.90/300.82	c bounds - >= 1017 @ 299.8
299.90/300.82	c bounds - >= 1018 @ 299.801
299.90/300.82	c bounds - >= 1019 @ 299.801
299.90/300.82	c bounds - >= 1020 @ 299.802
299.90/300.82	c bounds - >= 1021 @ 299.802
299.90/300.82	c bounds - >= 1022 @ 299.803
299.90/300.82	c bounds - >= 1023 @ 299.804
299.90/300.82	c bounds - >= 1024 @ 299.804
299.90/300.82	c bounds - >= 1025 @ 299.805
299.90/300.82	c bounds - >= 1026 @ 299.805
299.90/300.82	c bounds - >= 1027 @ 299.806
299.90/300.82	c bounds - >= 1028 @ 299.806
299.90/300.82	c bounds - >= 1029 @ 299.807
299.90/300.82	c bounds - >= 1030 @ 299.808
299.90/300.82	c bounds - >= 1031 @ 299.808
300.00/300.90	c bounds - >= 1032 @ 299.809
300.00/300.90	c bounds - >= 1033 @ 299.809
300.00/300.90	c bounds - >= 1034 @ 299.81
300.00/300.90	c bounds - >= 1035 @ 299.811
300.00/300.90	c bounds - >= 1036 @ 299.811
300.00/300.90	c bounds - >= 1037 @ 299.812
300.00/300.90	c bounds - >= 1038 @ 299.812
300.00/300.90	c bounds - >= 1039 @ 299.813
300.00/300.90	c bounds - >= 1040 @ 299.813
300.00/300.90	c bounds - >= 1041 @ 299.814
300.00/300.90	c bounds - >= 1042 @ 299.815
300.00/300.90	c bounds - >= 1043 @ 299.815
300.00/300.90	c bounds - >= 1044 @ 299.816
300.00/300.90	c bounds - >= 1045 @ 299.816
300.00/300.90	c bounds - >= 1046 @ 299.817
300.00/300.90	c bounds - >= 1047 @ 299.817
300.00/300.90	c bounds - >= 1048 @ 299.818
300.00/300.90	c bounds - >= 1049 @ 299.819
300.00/300.90	c bounds - >= 1050 @ 299.819
300.00/300.90	c bounds - >= 1051 @ 299.82
300.00/300.90	c bounds - >= 1052 @ 299.82
300.00/300.90	c bounds - >= 1053 @ 299.821
300.00/300.90	c bounds - >= 1054 @ 299.821
300.00/300.90	c bounds - >= 1055 @ 299.822
300.00/300.90	c bounds - >= 1056 @ 299.822
300.00/300.90	c bounds - >= 1057 @ 299.823
300.00/300.90	c bounds - >= 1058 @ 299.824
300.00/300.90	c bounds - >= 1059 @ 299.824
300.00/300.90	c bounds - >= 1060 @ 299.825
300.00/300.90	c bounds - >= 1061 @ 299.825
300.00/300.90	c bounds - >= 1062 @ 299.826
300.00/300.90	c bounds - >= 1063 @ 299.826
300.00/300.90	c bounds - >= 1064 @ 299.827
300.00/300.90	c bounds - >= 1065 @ 299.828
300.00/300.90	c bounds - >= 1066 @ 299.828
300.00/300.90	c bounds - >= 1067 @ 299.829
300.00/300.90	c bounds - >= 1068 @ 299.829
300.00/300.90	c bounds - >= 1069 @ 299.83
300.00/300.90	c bounds - >= 1070 @ 299.83
300.00/300.90	c bounds - >= 1071 @ 299.831
300.00/300.90	c bounds - >= 1072 @ 299.832
300.00/300.90	c bounds - >= 1073 @ 299.832
300.00/300.90	c bounds - >= 1074 @ 299.833
300.00/300.90	c bounds - >= 1075 @ 299.833
300.00/300.90	c bounds - >= 1076 @ 299.834
300.00/300.90	c bounds - >= 1077 @ 299.834
300.00/300.90	c bounds - >= 1078 @ 299.835
300.00/300.90	c bounds - >= 1079 @ 299.836
300.00/300.90	c bounds - >= 1080 @ 299.836
300.00/300.90	c bounds - >= 1081 @ 299.837
300.00/300.90	c bounds - >= 1082 @ 299.837
300.00/300.90	c bounds - >= 1083 @ 299.838
300.00/300.90	c bounds - >= 1084 @ 299.838
300.00/300.90	c bounds - >= 1085 @ 299.839
300.00/300.90	c bounds - >= 1086 @ 299.84
300.00/300.90	c bounds - >= 1087 @ 299.84
300.00/300.90	c bounds - >= 1088 @ 299.841
300.00/300.90	c bounds - >= 1089 @ 299.841
300.00/300.90	c bounds - >= 1090 @ 299.842
300.00/300.90	c bounds - >= 1091 @ 299.842
300.00/300.90	c bounds - >= 1092 @ 299.843
300.00/300.90	c bounds - >= 1093 @ 299.843
300.00/300.90	c bounds - >= 1094 @ 299.843
300.00/300.90	c bounds - >= 1095 @ 299.844
300.00/300.90	c bounds - >= 1096 @ 299.844
300.00/300.90	c bounds - >= 1097 @ 299.845
300.00/300.90	c bounds - >= 1098 @ 299.846
300.00/300.90	c bounds - >= 1099 @ 299.846
300.00/300.90	c bounds - >= 1100 @ 299.847
300.00/300.90	c bounds - >= 1101 @ 299.847
300.00/300.90	c bounds - >= 1102 @ 299.847
300.00/300.90	c bounds - >= 1103 @ 299.848
300.00/300.90	c bounds - >= 1104 @ 299.848
300.00/300.90	c bounds - >= 1105 @ 299.849
300.00/300.90	c bounds - >= 1106 @ 299.85
300.00/300.90	c bounds - >= 1107 @ 299.85
300.00/300.90	c bounds - >= 1108 @ 299.851
300.00/300.90	c bounds - >= 1109 @ 299.851
300.00/300.90	c bounds - >= 1110 @ 299.852
300.00/300.90	c bounds - >= 1111 @ 299.852
300.00/300.90	c bounds - >= 1112 @ 299.853
300.00/300.90	c bounds - >= 1113 @ 299.854
300.00/300.90	c bounds - >= 1114 @ 299.854
300.00/300.90	c bounds - >= 1115 @ 299.855
300.00/300.90	c bounds - >= 1116 @ 299.855
300.00/300.90	c bounds - >= 1117 @ 299.856
300.00/300.90	c bounds - >= 1118 @ 299.856
300.00/300.90	c bounds - >= 1119 @ 299.857
300.00/300.90	c bounds - >= 1120 @ 299.858
300.00/300.90	c bounds - >= 1121 @ 299.858
300.00/300.90	c bounds - >= 1122 @ 299.859
300.00/300.90	c bounds - >= 1123 @ 299.859
300.00/300.90	c bounds - >= 1124 @ 299.86
300.00/300.90	c bounds - >= 1125 @ 299.86
300.00/300.90	c bounds - >= 1126 @ 299.861
300.00/300.90	c bounds - >= 1127 @ 299.862
300.00/300.90	c bounds - >= 1128 @ 299.862
300.00/300.90	c bounds - >= 1129 @ 299.863
300.00/300.90	c bounds - >= 1130 @ 299.863
300.00/300.90	c bounds - >= 1131 @ 299.864
300.00/300.90	c bounds - >= 1132 @ 299.864
300.00/300.90	c bounds - >= 1133 @ 299.865
300.00/300.90	c bounds - >= 1134 @ 299.866
300.00/300.90	c bounds - >= 1135 @ 299.866
300.00/300.90	c bounds - >= 1136 @ 299.867
300.00/300.90	c bounds - >= 1137 @ 299.867
300.00/300.90	c bounds - >= 1138 @ 299.867
300.00/300.90	c bounds - >= 1139 @ 299.867
300.00/300.90	c bounds - >= 1140 @ 299.868
300.00/300.90	c bounds - >= 1141 @ 299.869
300.00/300.90	c bounds - >= 1142 @ 299.869
300.00/300.90	c bounds - >= 1143 @ 299.87
300.00/300.90	c bounds - >= 1144 @ 299.87
300.00/300.90	c bounds - >= 1145 @ 299.871
300.00/300.90	c bounds - >= 1146 @ 299.872
300.00/300.90	c bounds - >= 1147 @ 299.872
300.00/300.90	c bounds - >= 1148 @ 299.873
300.00/300.90	c bounds - >= 1149 @ 299.873
300.00/300.90	c bounds - >= 1150 @ 299.874
300.00/300.90	c bounds - >= 1151 @ 299.874
300.00/300.90	c bounds - >= 1152 @ 299.875
300.00/300.90	c bounds - >= 1153 @ 299.876
300.00/300.90	c bounds - >= 1154 @ 299.876
300.00/300.90	c bounds - >= 1155 @ 299.877
300.00/300.90	c bounds - >= 1156 @ 299.877
300.00/300.90	c bounds - >= 1157 @ 299.878
300.00/300.90	c bounds - >= 1158 @ 299.879
300.00/300.90	c bounds - >= 1159 @ 299.879
300.00/300.90	c bounds - >= 1160 @ 299.88
300.00/300.90	c bounds - >= 1161 @ 299.88
300.00/300.90	c bounds - >= 1162 @ 299.881
300.00/300.90	c bounds - >= 1163 @ 299.882
300.00/300.90	c bounds - >= 1164 @ 299.882
300.00/300.90	c bounds - >= 1165 @ 299.883
300.00/300.90	c bounds - >= 1166 @ 299.883
300.00/300.90	c bounds - >= 1167 @ 299.884
300.00/300.90	c bounds - >= 1168 @ 299.885
300.00/300.90	c bounds - >= 1169 @ 299.885
300.00/300.90	c bounds - >= 1170 @ 299.886
300.00/300.90	c bounds - >= 1171 @ 299.886
300.00/300.90	c bounds - >= 1172 @ 299.887
300.00/300.90	c bounds - >= 1173 @ 299.887
300.00/300.98	c bounds - >= 1174 @ 299.888
300.00/300.98	c bounds - >= 1175 @ 299.889
300.00/300.98	c bounds - >= 1176 @ 299.889
300.00/300.98	c bounds - >= 1177 @ 299.889
300.00/300.98	c bounds - >= 1178 @ 299.89
300.00/300.98	c bounds - >= 1179 @ 299.89
300.00/300.98	c bounds - >= 1180 @ 299.891
300.00/300.98	c bounds - >= 1181 @ 299.891
300.00/300.98	c bounds - >= 1182 @ 299.892
300.00/300.98	c bounds - >= 1183 @ 299.892
300.00/300.98	c bounds - >= 1184 @ 299.893
300.00/300.98	c bounds - >= 1185 @ 299.893
300.00/300.98	c bounds - >= 1186 @ 299.894
300.00/300.98	c bounds - >= 1187 @ 299.895
300.00/300.98	c bounds - >= 1188 @ 299.895
300.00/300.98	c bounds - >= 1189 @ 299.896
300.00/300.98	c bounds - >= 1190 @ 299.896
300.00/300.98	c bounds - >= 1191 @ 299.897
300.00/300.98	c bounds - >= 1192 @ 299.897
300.00/300.98	c bounds - >= 1193 @ 299.898
300.00/300.98	c bounds - >= 1194 @ 299.898
300.00/300.98	c bounds - >= 1195 @ 299.899
300.00/300.98	c bounds - >= 1196 @ 299.899
300.00/300.98	c bounds - >= 1197 @ 299.9
300.00/300.98	c bounds - >= 1198 @ 299.901
300.00/300.98	c bounds - >= 1199 @ 299.901
300.00/300.98	c bounds - >= 1200 @ 299.902
300.00/300.98	c bounds - >= 1201 @ 299.902
300.00/300.98	c bounds - >= 1202 @ 299.903
300.00/300.98	c bounds - >= 1203 @ 299.903
300.00/300.98	c bounds - >= 1204 @ 299.904
300.00/300.98	c bounds - >= 1205 @ 299.904
300.00/300.98	c bounds - >= 1206 @ 299.905
300.00/300.98	c bounds - >= 1207 @ 299.905
300.00/300.98	c bounds - >= 1208 @ 299.906
300.00/300.98	c bounds - >= 1209 @ 299.906
300.00/300.98	c bounds - >= 1210 @ 299.907
300.00/300.98	c bounds - >= 1211 @ 299.907
300.00/300.98	c bounds - >= 1212 @ 299.908
300.00/300.98	c bounds - >= 1213 @ 299.909
300.00/300.98	c bounds - >= 1214 @ 299.909
300.00/300.98	c bounds - >= 1215 @ 299.91
300.00/300.98	c bounds - >= 1216 @ 299.91
300.00/300.98	c bounds - >= 1217 @ 299.911
300.00/300.98	c bounds - >= 1218 @ 299.911
300.00/300.98	c bounds - >= 1219 @ 299.912
300.00/300.98	c bounds - >= 1220 @ 299.912
300.00/300.98	c bounds - >= 1221 @ 299.913
300.00/300.98	c bounds - >= 1222 @ 299.913
300.00/300.98	c bounds - >= 1223 @ 299.914
300.00/300.98	c bounds - >= 1224 @ 299.914
300.00/300.98	c bounds - >= 1225 @ 299.915
300.00/300.98	c bounds - >= 1226 @ 299.915
300.00/300.98	c bounds - >= 1227 @ 299.916
300.00/300.98	c bounds - >= 1228 @ 299.917
300.00/300.98	c bounds - >= 1229 @ 299.917
300.00/300.98	c bounds - >= 1230 @ 299.918
300.00/300.98	c bounds - >= 1231 @ 299.918
300.00/300.98	c bounds - >= 1232 @ 299.919
300.00/300.98	c bounds - >= 1233 @ 299.919
300.00/300.98	c bounds - >= 1234 @ 299.92
300.00/300.98	c bounds - >= 1235 @ 299.92
300.00/300.98	c bounds - >= 1236 @ 299.921
300.00/300.98	c bounds - >= 1237 @ 299.921
300.00/300.98	c bounds - >= 1238 @ 299.922
300.00/300.98	c bounds - >= 1239 @ 299.922
300.00/300.98	c bounds - >= 1240 @ 299.923
300.00/300.98	c bounds - >= 1241 @ 299.923
300.00/300.98	c bounds - >= 1242 @ 299.924
300.00/300.98	c bounds - >= 1243 @ 299.925
300.00/300.98	c bounds - >= 1244 @ 299.925
300.00/300.98	c bounds - >= 1245 @ 299.926
300.00/300.98	c bounds - >= 1246 @ 299.926
300.00/300.98	c bounds - >= 1247 @ 299.927
300.00/300.98	c bounds - >= 1248 @ 299.927
300.00/300.98	c bounds - >= 1249 @ 299.928
300.00/300.98	c bounds - >= 1250 @ 299.928
300.00/300.98	c bounds - >= 1251 @ 299.929
300.00/300.98	c bounds - >= 1252 @ 299.93
300.00/300.98	c bounds - >= 1253 @ 299.93
300.00/300.98	c bounds - >= 1254 @ 299.931
300.00/300.98	c bounds - >= 1255 @ 299.931
300.00/300.98	c bounds - >= 1256 @ 299.932
300.00/300.98	c bounds - >= 1257 @ 299.932
300.00/300.98	c bounds - >= 1258 @ 299.933
300.00/300.98	c bounds - >= 1259 @ 299.934
300.00/300.98	c bounds - >= 1260 @ 299.934
300.00/300.98	c bounds - >= 1261 @ 299.935
300.00/300.98	c bounds - >= 1262 @ 299.935
300.00/300.98	c bounds - >= 1263 @ 299.936
300.00/300.98	c bounds - >= 1264 @ 299.936
300.00/300.98	c bounds - >= 1265 @ 299.937
300.00/300.98	c bounds - >= 1266 @ 299.937
300.00/300.98	c bounds - >= 1267 @ 299.938
300.00/300.98	c bounds - >= 1268 @ 299.938
300.00/300.98	c bounds - >= 1269 @ 299.939
300.00/300.98	c bounds - >= 1270 @ 299.94
300.00/300.98	c bounds - >= 1271 @ 299.94
300.00/300.98	c bounds - >= 1272 @ 299.941
300.00/300.98	c bounds - >= 1273 @ 299.941
300.00/300.98	c bounds - >= 1274 @ 299.941
300.00/300.98	c bounds - >= 1275 @ 299.941
300.00/300.98	c bounds - >= 1276 @ 299.942
300.00/300.98	c bounds - >= 1277 @ 299.942
300.00/300.98	c bounds - >= 1278 @ 299.943
300.00/300.98	c bounds - >= 1279 @ 299.943
300.00/300.98	c bounds - >= 1280 @ 299.944
300.00/300.98	c bounds - >= 1281 @ 299.944
300.00/300.98	c bounds - >= 1282 @ 299.945
300.00/300.98	c bounds - >= 1283 @ 299.946
300.00/300.98	c bounds - >= 1284 @ 299.946
300.00/300.98	c bounds - >= 1285 @ 299.947
300.00/300.98	c bounds - >= 1286 @ 299.947
300.00/300.98	c bounds - >= 1287 @ 299.948
300.00/300.98	c bounds - >= 1288 @ 299.948
300.00/300.98	c bounds - >= 1289 @ 299.949
300.00/300.98	c bounds - >= 1290 @ 299.949
300.00/300.98	c bounds - >= 1291 @ 299.95
300.00/300.98	c bounds - >= 1292 @ 299.95
300.00/300.98	c bounds - >= 1293 @ 299.951
300.00/300.98	c bounds - >= 1294 @ 299.951
300.00/300.98	c bounds - >= 1295 @ 299.952
300.00/300.98	c bounds - >= 1296 @ 299.952
300.00/300.98	c bounds - >= 1297 @ 299.953
300.00/300.98	c bounds - >= 1298 @ 299.953
300.00/300.98	c bounds - >= 1299 @ 299.954
300.00/300.98	c bounds - >= 1300 @ 299.954
300.00/300.98	c bounds - >= 1301 @ 299.955
300.00/300.98	c bounds - >= 1302 @ 299.955
300.00/300.98	c bounds - >= 1303 @ 299.956
300.00/300.98	c bounds - >= 1304 @ 299.957
300.00/300.98	c bounds - >= 1305 @ 299.957
300.00/300.98	c bounds - >= 1306 @ 299.958
300.00/300.98	c bounds - >= 1307 @ 299.958
300.00/300.98	c bounds - >= 1308 @ 299.958
300.00/300.98	c bounds - >= 1309 @ 299.958
300.00/300.98	c bounds - >= 1310 @ 299.959
300.00/300.98	c bounds - >= 1311 @ 299.959
300.00/300.98	c bounds - >= 1312 @ 299.96
300.00/300.98	c bounds - >= 1313 @ 299.96
300.00/300.98	c bounds - >= 1314 @ 299.961
300.00/300.98	c bounds - >= 1315 @ 299.961
300.11/301.05	c bounds - >= 1316 @ 299.962
300.11/301.05	c bounds - >= 1317 @ 299.962
300.11/301.05	c bounds - >= 1318 @ 299.963
300.11/301.05	c bounds - >= 1319 @ 299.963
300.11/301.05	c bounds - >= 1320 @ 299.964
300.11/301.05	c bounds - >= 1321 @ 299.964
300.11/301.05	c bounds - >= 1322 @ 299.965
300.11/301.05	c bounds - >= 1323 @ 299.965
300.11/301.05	c bounds - >= 1324 @ 299.966
300.11/301.05	c bounds - >= 1325 @ 299.966
300.11/301.05	c bounds - >= 1326 @ 299.967
300.11/301.05	c bounds - >= 1327 @ 299.968
300.11/301.05	c bounds - >= 1328 @ 299.968
300.11/301.05	c bounds - >= 1329 @ 299.969
300.11/301.05	c bounds - >= 1330 @ 299.969
300.11/301.05	c bounds - >= 1331 @ 299.97
300.11/301.05	c bounds - >= 1332 @ 299.97
300.11/301.05	c bounds - >= 1333 @ 299.971
300.11/301.05	c bounds - >= 1334 @ 299.971
300.11/301.05	c bounds - >= 1335 @ 299.971
300.11/301.05	c bounds - >= 1336 @ 299.971
300.11/301.05	c bounds - >= 1337 @ 299.971
300.11/301.05	c bounds - >= 1338 @ 299.972
300.11/301.05	c bounds - >= 1339 @ 299.972
300.11/301.05	c bounds - >= 1340 @ 299.973
300.11/301.05	c bounds - >= 1341 @ 299.973
300.11/301.05	c bounds - >= 1342 @ 299.974
300.11/301.05	c bounds - >= 1343 @ 299.974
300.11/301.05	c bounds - >= 1344 @ 299.975
300.11/301.05	c bounds - >= 1345 @ 299.975
300.11/301.05	c bounds - >= 1346 @ 299.976
300.11/301.05	c bounds - >= 1347 @ 299.976
300.11/301.05	c bounds - >= 1348 @ 299.977
300.11/301.05	c bounds - >= 1349 @ 299.977
300.11/301.05	c bounds - >= 1350 @ 299.978
300.11/301.05	c bounds - >= 1351 @ 299.978
300.11/301.05	c bounds - >= 1352 @ 299.979
300.11/301.05	c bounds - >= 1353 @ 299.979
300.11/301.05	c bounds - >= 1354 @ 299.98
300.11/301.05	c bounds - >= 1355 @ 299.98
300.11/301.05	c bounds - >= 1356 @ 299.981
300.11/301.05	c bounds - >= 1357 @ 299.981
300.11/301.05	c bounds - >= 1358 @ 299.982
300.11/301.05	c bounds - >= 1359 @ 299.982
300.11/301.05	c bounds - >= 1360 @ 299.983
300.11/301.05	c bounds - >= 1361 @ 299.983
300.11/301.05	c bounds - >= 1362 @ 299.984
300.11/301.05	c bounds - >= 1363 @ 299.984
300.11/301.05	c bounds - >= 1364 @ 299.985
300.11/301.05	c bounds - >= 1365 @ 299.985
300.11/301.05	c bounds - >= 1366 @ 299.986
300.11/301.05	c bounds - >= 1367 @ 299.986
300.11/301.05	c bounds - >= 1368 @ 299.987
300.11/301.05	c bounds - >= 1369 @ 299.987
300.11/301.05	c bounds - >= 1370 @ 299.988
300.11/301.05	c bounds - >= 1371 @ 299.988
300.11/301.05	c bounds - >= 1372 @ 299.989
300.11/301.05	c bounds - >= 1373 @ 299.989
300.11/301.05	c bounds - >= 1374 @ 299.99
300.11/301.05	c bounds - >= 1375 @ 299.99
300.11/301.05	c bounds - >= 1376 @ 299.991
300.11/301.05	c bounds - >= 1377 @ 299.991
300.11/301.05	c bounds - >= 1378 @ 299.992
300.11/301.05	c bounds - >= 1379 @ 299.992
300.11/301.05	c bounds - >= 1380 @ 299.993
300.11/301.05	c bounds - >= 1381 @ 299.993
300.11/301.05	c bounds - >= 1382 @ 299.994
300.11/301.05	c bounds - >= 1383 @ 299.994
300.11/301.05	c bounds - >= 1384 @ 299.994
300.11/301.05	c bounds - >= 1385 @ 299.995
300.11/301.05	c bounds - >= 1386 @ 299.995
300.11/301.05	c bounds - >= 1387 @ 299.996
300.11/301.05	c bounds - >= 1388 @ 299.996
300.11/301.05	c bounds - >= 1389 @ 299.996
300.11/301.05	c bounds - >= 1390 @ 299.996
300.11/301.05	c bounds - >= 1391 @ 299.996
300.11/301.05	c bounds - >= 1392 @ 299.996
300.11/301.05	c bounds - >= 1393 @ 299.996
300.11/301.05	c bounds - >= 1394 @ 299.996
300.11/301.05	c bounds - >= 1395 @ 299.997
300.11/301.05	c bounds - >= 1396 @ 299.997
300.11/301.05	c bounds - >= 1397 @ 299.998
300.11/301.05	c bounds - >= 1398 @ 299.998
300.11/301.05	c bounds - >= 1399 @ 299.999
300.11/301.05	c bounds - >= 1400 @ 299.999
300.11/301.05	c bounds - >= 1401 @ 300
300.11/301.05	c bounds - >= 1402 @ 300.001
300.11/301.05	c bounds - >= 1403 @ 300.001
300.11/301.05	c bounds - >= 1404 @ 300.002
300.11/301.05	c bounds - >= 1405 @ 300.002
300.11/301.05	c bounds - >= 1406 @ 300.003
300.11/301.05	c bounds - >= 1407 @ 300.003
300.11/301.05	c bounds - >= 1408 @ 300.004
300.11/301.05	c bounds - >= 1409 @ 300.004
300.11/301.05	c bounds - >= 1410 @ 300.005
300.11/301.05	c bounds - >= 1411 @ 300.005
300.11/301.05	c bounds - >= 1412 @ 300.005
300.11/301.05	c bounds - >= 1413 @ 300.006
300.11/301.05	c bounds - >= 1414 @ 300.006
300.11/301.05	c bounds - >= 1415 @ 300.007
300.11/301.05	c bounds - >= 1416 @ 300.007
300.11/301.05	c bounds - >= 1417 @ 300.008
300.11/301.05	c bounds - >= 1418 @ 300.008
300.11/301.05	c bounds - >= 1419 @ 300.009
300.11/301.05	c bounds - >= 1420 @ 300.009
300.11/301.05	c bounds - >= 1421 @ 300.01
300.11/301.05	c bounds - >= 1422 @ 300.01
300.11/301.05	c bounds - >= 1423 @ 300.011
300.11/301.05	c bounds - >= 1424 @ 300.011
300.11/301.05	c bounds - >= 1425 @ 300.012
300.11/301.05	c bounds - >= 1426 @ 300.012
300.11/301.05	c bounds - >= 1427 @ 300.013
300.11/301.05	c bounds - >= 1428 @ 300.013
300.11/301.05	c bounds - >= 1429 @ 300.014
300.11/301.05	c bounds - >= 1430 @ 300.014
300.11/301.05	c bounds - >= 1431 @ 300.015
300.11/301.05	c bounds - >= 1432 @ 300.015
300.11/301.05	c bounds - >= 1433 @ 300.015
300.11/301.05	c bounds - >= 1434 @ 300.016
300.11/301.05	c bounds - >= 1435 @ 300.016
300.11/301.05	c bounds - >= 1436 @ 300.017
300.11/301.05	c bounds - >= 1437 @ 300.017
300.11/301.05	c bounds - >= 1438 @ 300.018
300.11/301.05	c bounds - >= 1439 @ 300.018
300.11/301.05	c bounds - >= 1440 @ 300.019
300.11/301.05	c bounds - >= 1441 @ 300.019
300.11/301.05	c bounds - >= 1442 @ 300.02
300.11/301.05	c bounds - >= 1443 @ 300.02
300.11/301.05	c bounds - >= 1444 @ 300.021
300.11/301.05	c bounds - >= 1445 @ 300.021
300.11/301.05	c bounds - >= 1446 @ 300.022
300.11/301.05	c bounds - >= 1447 @ 300.022
300.11/301.05	c bounds - >= 1448 @ 300.023
300.11/301.05	c bounds - >= 1449 @ 300.023
300.11/301.05	c bounds - >= 1450 @ 300.024
300.11/301.05	c bounds - >= 1451 @ 300.024
300.11/301.05	c bounds - >= 1452 @ 300.025
300.11/301.05	c bounds - >= 1453 @ 300.025
300.11/301.05	c bounds - >= 1454 @ 300.026
300.11/301.05	c bounds - >= 1455 @ 300.026
300.11/301.05	c bounds - >= 1456 @ 300.026
300.20/301.11	c bounds - >= 1457 @ 300.027
300.20/301.11	c bounds - >= 1458 @ 300.027
300.20/301.11	c bounds - >= 1459 @ 300.028
300.20/301.11	c bounds - >= 1460 @ 300.028
300.20/301.11	c bounds - >= 1461 @ 300.029
300.20/301.11	c bounds - >= 1462 @ 300.029
300.20/301.11	c bounds - >= 1463 @ 300.03
300.20/301.11	c bounds - >= 1464 @ 300.03
300.20/301.11	c bounds - >= 1465 @ 300.031
300.20/301.11	c bounds - >= 1466 @ 300.031
300.20/301.11	c bounds - >= 1467 @ 300.032
300.20/301.11	c bounds - >= 1468 @ 300.032
300.20/301.11	c bounds - >= 1469 @ 300.033
300.20/301.11	c bounds - >= 1470 @ 300.033
300.20/301.11	c bounds - >= 1471 @ 300.034
300.20/301.11	c bounds - >= 1472 @ 300.034
300.20/301.11	c bounds - >= 1473 @ 300.035
300.20/301.11	c bounds - >= 1474 @ 300.035
300.20/301.11	c bounds - >= 1475 @ 300.035
300.20/301.11	c bounds - >= 1476 @ 300.035
300.20/301.11	c bounds - >= 1477 @ 300.035
300.20/301.11	c bounds - >= 1478 @ 300.035
300.20/301.11	c bounds - >= 1479 @ 300.036
300.20/301.11	c bounds - >= 1480 @ 300.036
300.20/301.11	c bounds - >= 1481 @ 300.037
300.20/301.11	c bounds - >= 1482 @ 300.037
300.20/301.11	c bounds - >= 1483 @ 300.038
300.20/301.11	c bounds - >= 1484 @ 300.038
300.20/301.11	c bounds - >= 1485 @ 300.039
300.20/301.11	c bounds - >= 1486 @ 300.039
300.20/301.11	c bounds - >= 1487 @ 300.039
300.20/301.11	c bounds - >= 1488 @ 300.04
300.20/301.11	c bounds - >= 1489 @ 300.04
300.20/301.11	c bounds - >= 1490 @ 300.041
300.20/301.11	c bounds - >= 1491 @ 300.041
300.20/301.11	c bounds - >= 1492 @ 300.042
300.20/301.11	c bounds - >= 1493 @ 300.042
300.20/301.11	c bounds - >= 1494 @ 300.043
300.20/301.11	c bounds - >= 1495 @ 300.043
300.20/301.11	c bounds - >= 1496 @ 300.044
300.20/301.11	c bounds - >= 1497 @ 300.044
300.20/301.11	c bounds - >= 1498 @ 300.045
300.20/301.11	c bounds - >= 1499 @ 300.045
300.20/301.11	c bounds - >= 1500 @ 300.046
300.20/301.11	c bounds - >= 1501 @ 300.046
300.20/301.11	c bounds - >= 1502 @ 300.046
300.20/301.11	c bounds - >= 1503 @ 300.047
300.20/301.11	c bounds - >= 1504 @ 300.047
300.20/301.11	c bounds - >= 1505 @ 300.048
300.20/301.11	c bounds - >= 1506 @ 300.048
300.20/301.11	c bounds - >= 1507 @ 300.049
300.20/301.11	c bounds - >= 1508 @ 300.049
300.20/301.11	c bounds - >= 1509 @ 300.05
300.20/301.11	c bounds - >= 1510 @ 300.05
300.20/301.11	c bounds - >= 1511 @ 300.051
300.20/301.11	c bounds - >= 1512 @ 300.051
300.20/301.11	c bounds - >= 1513 @ 300.052
300.20/301.11	c bounds - >= 1514 @ 300.052
300.20/301.11	c bounds - >= 1515 @ 300.053
300.20/301.11	c bounds - >= 1516 @ 300.053
300.20/301.11	c bounds - >= 1517 @ 300.053
300.20/301.11	c bounds - >= 1518 @ 300.054
300.20/301.11	c bounds - >= 1519 @ 300.054
300.20/301.11	c bounds - >= 1520 @ 300.055
300.20/301.11	c bounds - >= 1521 @ 300.055
300.20/301.11	c bounds - >= 1522 @ 300.055
300.20/301.11	c bounds - >= 1523 @ 300.055
300.20/301.11	c bounds - >= 1524 @ 300.056
300.20/301.11	c bounds - >= 1525 @ 300.056
300.20/301.11	c bounds - >= 1526 @ 300.057
300.20/301.11	c bounds - >= 1527 @ 300.057
300.20/301.11	c bounds - >= 1528 @ 300.058
300.20/301.11	c bounds - >= 1529 @ 300.058
300.20/301.11	c bounds - >= 1530 @ 300.059
300.20/301.11	c bounds - >= 1531 @ 300.059
300.20/301.11	c bounds - >= 1532 @ 300.059
300.20/301.11	c bounds - >= 1533 @ 300.06
300.20/301.11	c bounds - >= 1534 @ 300.06
300.20/301.11	c bounds - >= 1535 @ 300.061
300.20/301.11	c bounds - >= 1536 @ 300.061
300.20/301.11	c bounds - >= 1537 @ 300.062
300.20/301.11	c bounds - >= 1538 @ 300.062
300.20/301.11	c bounds - >= 1539 @ 300.063
300.20/301.11	c bounds - >= 1540 @ 300.063
300.20/301.11	c bounds - >= 1541 @ 300.064
300.20/301.11	c bounds - >= 1542 @ 300.064
300.20/301.11	c bounds - >= 1543 @ 300.065
300.20/301.11	c bounds - >= 1544 @ 300.065
300.20/301.11	c bounds - >= 1545 @ 300.065
300.20/301.11	c bounds - >= 1546 @ 300.066
300.20/301.11	c bounds - >= 1547 @ 300.066
300.20/301.11	c bounds - >= 1548 @ 300.067
300.20/301.11	c bounds - >= 1549 @ 300.067
300.20/301.11	c bounds - >= 1550 @ 300.068
300.20/301.11	c bounds - >= 1551 @ 300.069
300.20/301.11	c bounds - >= 1552 @ 300.069
300.20/301.11	c bounds - >= 1553 @ 300.069
300.20/301.11	c bounds - >= 1554 @ 300.07
300.20/301.11	c bounds - >= 1555 @ 300.07
300.20/301.11	c bounds - >= 1556 @ 300.071
300.20/301.11	c bounds - >= 1557 @ 300.071
300.20/301.11	c bounds - >= 1558 @ 300.072
300.20/301.11	c bounds - >= 1559 @ 300.072
300.20/301.11	c bounds - >= 1560 @ 300.073
300.20/301.11	c bounds - >= 1561 @ 300.073
300.20/301.11	c bounds - >= 1562 @ 300.074
300.20/301.11	c bounds - >= 1563 @ 300.074
300.20/301.11	c bounds - >= 1564 @ 300.074
300.20/301.11	c bounds - >= 1565 @ 300.075
300.20/301.11	c bounds - >= 1566 @ 300.075
300.20/301.11	c bounds - >= 1567 @ 300.076
300.20/301.11	c bounds - >= 1568 @ 300.076
300.20/301.11	c bounds - >= 1569 @ 300.077
300.20/301.11	c bounds - >= 1570 @ 300.077
300.20/301.11	c bounds - >= 1571 @ 300.078
300.20/301.11	c bounds - >= 1572 @ 300.078
300.20/301.11	c bounds - >= 1573 @ 300.078
300.20/301.11	c bounds - >= 1574 @ 300.079
300.20/301.11	c bounds - >= 1575 @ 300.079
300.20/301.11	c bounds - >= 1576 @ 300.08
300.20/301.11	c bounds - >= 1577 @ 300.08
300.20/301.11	c bounds - >= 1578 @ 300.08
300.20/301.11	c bounds - >= 1579 @ 300.08
300.20/301.11	c bounds - >= 1580 @ 300.081
300.20/301.11	c bounds - >= 1581 @ 300.081
300.20/301.11	c bounds - >= 1582 @ 300.082
300.20/301.11	c bounds - >= 1583 @ 300.082
300.20/301.11	c bounds - >= 1584 @ 300.082
300.20/301.11	c bounds - >= 1585 @ 300.083
300.20/301.11	c bounds - >= 1586 @ 300.083
300.20/301.11	c bounds - >= 1587 @ 300.084
300.20/301.11	c bounds - >= 1588 @ 300.084
300.20/301.11	c bounds - >= 1589 @ 300.085
300.20/301.11	c bounds - >= 1590 @ 300.085
300.20/301.11	c bounds - >= 1591 @ 300.086
300.20/301.11	c bounds - >= 1592 @ 300.086
300.20/301.11	c bounds - >= 1593 @ 300.086
300.20/301.11	c bounds - >= 1594 @ 300.087
300.20/301.11	c bounds - >= 1595 @ 300.087
300.20/301.11	c bounds - >= 1596 @ 300.088
300.20/301.11	c bounds - >= 1597 @ 300.088
300.20/301.11	c bounds - >= 1598 @ 300.089
300.20/301.18	c bounds - >= 1599 @ 300.089
300.20/301.18	c bounds - >= 1600 @ 300.09
300.20/301.18	c bounds - >= 1601 @ 300.09
300.20/301.18	c bounds - >= 1602 @ 300.09
300.20/301.18	c bounds - >= 1603 @ 300.091
300.20/301.18	c bounds - >= 1604 @ 300.091
300.20/301.18	c bounds - >= 1605 @ 300.092
300.20/301.18	c bounds - >= 1606 @ 300.092
300.20/301.18	c bounds - >= 1607 @ 300.092
300.20/301.18	c bounds - >= 1608 @ 300.092
300.20/301.18	c bounds - >= 1609 @ 300.093
300.20/301.18	c bounds - >= 1610 @ 300.093
300.20/301.18	c bounds - >= 1611 @ 300.093
300.20/301.18	c bounds - >= 1612 @ 300.094
300.20/301.18	c bounds - >= 1613 @ 300.094
300.20/301.18	c bounds - >= 1614 @ 300.095
300.20/301.18	c bounds - >= 1615 @ 300.095
300.20/301.18	c bounds - >= 1616 @ 300.096
300.20/301.18	c bounds - >= 1617 @ 300.096
300.20/301.18	c bounds - >= 1618 @ 300.097
300.20/301.18	c bounds - >= 1619 @ 300.097
300.20/301.18	c bounds - >= 1620 @ 300.097
300.20/301.18	c bounds - >= 1621 @ 300.098
300.20/301.18	c bounds - >= 1622 @ 300.098
300.20/301.18	c bounds - >= 1623 @ 300.099
300.20/301.18	c bounds - >= 1624 @ 300.099
300.20/301.18	c bounds - >= 1625 @ 300.099
300.20/301.18	c bounds - >= 1626 @ 300.1
300.20/301.18	c bounds - >= 1627 @ 300.1
300.20/301.18	c bounds - >= 1628 @ 300.1
300.20/301.18	c bounds - >= 1629 @ 300.101
300.20/301.18	c bounds - >= 1630 @ 300.101
300.20/301.18	c bounds - >= 1631 @ 300.102
300.20/301.18	c bounds - >= 1632 @ 300.102
300.20/301.18	c bounds - >= 1633 @ 300.103
300.20/301.18	c bounds - >= 1634 @ 300.103
300.20/301.18	c bounds - >= 1635 @ 300.104
300.20/301.18	c bounds - >= 1636 @ 300.104
300.20/301.18	c bounds - >= 1637 @ 300.104
300.20/301.18	c bounds - >= 1638 @ 300.105
300.20/301.18	c bounds - >= 1639 @ 300.105
300.20/301.18	c bounds - >= 1640 @ 300.106
300.20/301.18	c bounds - >= 1641 @ 300.106
300.20/301.18	c bounds - >= 1642 @ 300.107
300.20/301.18	c bounds - >= 1643 @ 300.107
300.20/301.18	c bounds - >= 1644 @ 300.107
300.20/301.18	c bounds - >= 1645 @ 300.108
300.20/301.18	c bounds - >= 1646 @ 300.108
300.20/301.18	c bounds - >= 1647 @ 300.109
300.20/301.18	c bounds - >= 1648 @ 300.109
300.20/301.18	c bounds - >= 1649 @ 300.11
300.20/301.18	c bounds - >= 1650 @ 300.11
300.20/301.18	c bounds - >= 1651 @ 300.11
300.20/301.18	c bounds - >= 1652 @ 300.111
300.20/301.18	c bounds - >= 1653 @ 300.111
300.20/301.18	c bounds - >= 1654 @ 300.112
300.20/301.18	c bounds - >= 1655 @ 300.112
300.20/301.18	c bounds - >= 1656 @ 300.113
300.20/301.18	c bounds - >= 1657 @ 300.113
300.20/301.18	c bounds - >= 1658 @ 300.114
300.20/301.18	c bounds - >= 1659 @ 300.114
300.20/301.18	c bounds - >= 1660 @ 300.114
300.20/301.18	c bounds - >= 1661 @ 300.115
300.20/301.18	c bounds - >= 1662 @ 300.115
300.20/301.18	c bounds - >= 1663 @ 300.116
300.20/301.18	c bounds - >= 1664 @ 300.116
300.20/301.18	c bounds - >= 1665 @ 300.117
300.20/301.18	c bounds - >= 1666 @ 300.117
300.20/301.18	c bounds - >= 1667 @ 300.117
300.20/301.18	c bounds - >= 1668 @ 300.118
300.20/301.18	c bounds - >= 1669 @ 300.118
300.20/301.18	c bounds - >= 1670 @ 300.119
300.20/301.18	c bounds - >= 1671 @ 300.119
300.20/301.18	c bounds - >= 1672 @ 300.12
300.20/301.18	c bounds - >= 1673 @ 300.12
300.20/301.18	c bounds - >= 1674 @ 300.12
300.20/301.18	c bounds - >= 1675 @ 300.121
300.20/301.18	c bounds - >= 1676 @ 300.121
300.20/301.18	c bounds - >= 1677 @ 300.122
300.20/301.18	c bounds - >= 1678 @ 300.122
300.20/301.18	c bounds - >= 1679 @ 300.123
300.20/301.18	c bounds - >= 1680 @ 300.123
300.20/301.18	c bounds - >= 1681 @ 300.123
300.20/301.18	c bounds - >= 1682 @ 300.124
300.20/301.18	c bounds - >= 1683 @ 300.124
300.20/301.18	c bounds - >= 1684 @ 300.124
300.20/301.18	c bounds - >= 1685 @ 300.124
300.20/301.18	c bounds - >= 1686 @ 300.125
300.20/301.18	c bounds - >= 1687 @ 300.125
300.20/301.18	c bounds - >= 1688 @ 300.125
300.20/301.18	c bounds - >= 1689 @ 300.126
300.20/301.18	c bounds - >= 1690 @ 300.126
300.20/301.18	c bounds - >= 1691 @ 300.127
300.20/301.18	c bounds - >= 1692 @ 300.127
300.20/301.18	c bounds - >= 1693 @ 300.128
300.20/301.18	c bounds - >= 1694 @ 300.128
300.20/301.18	c bounds - >= 1695 @ 300.128
300.20/301.18	c bounds - >= 1696 @ 300.129
300.20/301.18	c bounds - >= 1697 @ 300.129
300.20/301.18	c bounds - >= 1698 @ 300.13
300.20/301.18	c bounds - >= 1699 @ 300.13
300.20/301.18	c bounds - >= 1700 @ 300.13
300.20/301.18	c bounds - >= 1701 @ 300.13
300.20/301.18	c bounds - >= 1702 @ 300.131
300.20/301.18	c bounds - >= 1703 @ 300.131
300.20/301.18	c bounds - >= 1704 @ 300.132
300.20/301.18	c bounds - >= 1705 @ 300.132
300.20/301.18	c bounds - >= 1706 @ 300.132
300.20/301.18	c bounds - >= 1707 @ 300.133
300.20/301.18	c bounds - >= 1708 @ 300.133
300.20/301.18	c bounds - >= 1709 @ 300.134
300.20/301.18	c bounds - >= 1710 @ 300.134
300.20/301.18	c bounds - >= 1711 @ 300.134
300.20/301.18	c bounds - >= 1712 @ 300.134
300.20/301.18	c bounds - >= 1713 @ 300.134
300.20/301.18	c bounds - >= 1714 @ 300.135
300.20/301.18	c bounds - >= 1715 @ 300.135
300.20/301.18	c bounds - >= 1716 @ 300.136
300.20/301.18	c bounds - >= 1717 @ 300.136
300.20/301.18	c bounds - >= 1718 @ 300.137
300.20/301.18	c bounds - >= 1719 @ 300.137
300.20/301.18	c bounds - >= 1720 @ 300.137
300.20/301.18	c bounds - >= 1721 @ 300.138
300.20/301.18	c bounds - >= 1722 @ 300.138
300.20/301.18	c bounds - >= 1723 @ 300.139
300.20/301.18	c bounds - >= 1724 @ 300.139
300.20/301.18	c bounds - >= 1725 @ 300.14
300.20/301.18	c bounds - >= 1726 @ 300.14
300.20/301.18	c bounds - >= 1727 @ 300.14
300.20/301.18	c bounds - >= 1728 @ 300.141
300.20/301.18	c bounds - >= 1729 @ 300.141
300.20/301.18	c bounds - >= 1730 @ 300.142
300.20/301.18	c bounds - >= 1731 @ 300.142
300.20/301.18	c bounds - >= 1732 @ 300.143
300.20/301.18	c bounds - >= 1733 @ 300.143
300.20/301.18	c bounds - >= 1734 @ 300.143
300.20/301.18	c bounds - >= 1735 @ 300.144
300.20/301.18	c bounds - >= 1736 @ 300.144
300.20/301.18	c bounds - >= 1737 @ 300.145
300.20/301.18	c bounds - >= 1738 @ 300.145
300.20/301.18	c bounds - >= 1739 @ 300.145
300.20/301.18	c bounds - >= 1740 @ 300.146
475.43/476.86	c bounds - >= 1741 @ 300.146
475.43/476.86	c bounds - >= 1742 @ 300.147
475.43/476.86	c bounds - >= 1743 @ 300.147
475.43/476.86	c bounds - >= 1744 @ 300.148
475.43/476.86	c bounds - >= 1745 @ 300.148
475.43/476.86	c bounds - >= 1746 @ 300.148
475.43/476.86	c #Conflicts:       1000 | #Constraints:       9766
475.43/476.86	c #Conflicts:       2000 | #Constraints:      10766
475.43/476.86	c INPROCESSING
475.43/476.86	c GARBAGE COLLECT
475.43/476.86	c #Conflicts:       3000 | #Constraints:       9292
475.43/476.86	c #Conflicts:       4000 | #Constraints:      10292
475.43/476.86	c INPROCESSING
475.43/476.86	c GARBAGE COLLECT
475.43/476.86	c #Conflicts:       5000 | #Constraints:       9839
475.43/476.86	c #Conflicts:       6000 | #Constraints:      10839
475.43/476.86	c INPROCESSING
475.43/476.86	c GARBAGE COLLECT
475.43/476.86	c #Conflicts:       7000 | #Constraints:       9904
475.43/476.86	c #Conflicts:       8000 | #Constraints:      10904
475.43/476.86	c #Conflicts:       9000 | #Constraints:      11904
475.43/476.86	c INPROCESSING
475.43/476.86	c GARBAGE COLLECT
475.43/476.86	c #Conflicts:      10000 | #Constraints:      10644
475.43/476.86	c #Conflicts:      11000 | #Constraints:      11644
475.43/476.86	c #Conflicts:      12000 | #Constraints:      12644
475.43/476.86	c INPROCESSING
475.43/476.86	c GARBAGE COLLECT
475.43/476.86	c #Conflicts:      13000 | #Constraints:      11110
475.43/476.86	c #Conflicts:      14000 | #Constraints:      12110
475.43/476.86	c #Conflicts:      15000 | #Constraints:      13110
475.43/476.86	c INPROCESSING
475.43/476.86	c GARBAGE COLLECT
475.43/476.86	c #Conflicts:      16000 | #Constraints:      11351
475.43/476.86	c #Conflicts:      17000 | #Constraints:      12351
475.43/476.86	c #Conflicts:      18000 | #Constraints:      13351
475.43/476.86	c INPROCESSING
475.43/476.86	c GARBAGE COLLECT
475.43/476.86	c #Conflicts:      19000 | #Constraints:      11379
475.43/476.86	c #Conflicts:      20000 | #Constraints:      12379
475.43/476.86	c #Conflicts:      21000 | #Constraints:      13379
475.43/476.86	c INPROCESSING
475.43/476.86	c GARBAGE COLLECT
475.43/476.86	c #Conflicts:      22000 | #Constraints:      11175
475.43/476.86	c #Conflicts:      23000 | #Constraints:      12175
475.43/476.86	c #Conflicts:      24000 | #Constraints:      13175
475.43/476.86	c #Conflicts:      25000 | #Constraints:      14175
475.43/476.86	c INPROCESSING
475.43/476.86	c GARBAGE COLLECT
475.43/476.86	c #Conflicts:      26000 | #Constraints:      11806
475.43/476.86	c #Conflicts:      27000 | #Constraints:      12806
475.43/476.86	c #Conflicts:      28000 | #Constraints:      13806
475.43/476.86	c #Conflicts:      29000 | #Constraints:      14806
475.43/476.86	c INPROCESSING
475.43/476.86	c GARBAGE COLLECT
475.43/476.86	c #Conflicts:      30000 | #Constraints:      12201
475.43/476.86	c #Conflicts:      31000 | #Constraints:      13201
475.43/476.86	c #Conflicts:      32000 | #Constraints:      14201
475.43/476.86	c #Conflicts:      33000 | #Constraints:      15201
475.43/476.86	c INPROCESSING
475.43/476.86	c GARBAGE COLLECT
475.43/476.86	c #Conflicts:      34000 | #Constraints:      12414
475.43/476.86	c #Conflicts:      35000 | #Constraints:      13414
475.43/476.86	c #Conflicts:      36000 | #Constraints:      14414
475.43/476.86	c #Conflicts:      37000 | #Constraints:      15414
475.43/476.86	c INPROCESSING
475.43/476.86	c GARBAGE COLLECT
475.43/476.86	c #Conflicts:      38000 | #Constraints:      12422
475.43/476.86	c #Conflicts:      39000 | #Constraints:      13422
475.43/476.86	c #Conflicts:      40000 | #Constraints:      14422
475.43/476.86	c #Conflicts:      41000 | #Constraints:      15422
475.43/476.86	c INPROCESSING
475.43/476.86	c GARBAGE COLLECT
475.43/476.86	c #Conflicts:      42000 | #Constraints:      12220
475.43/476.86	c #Conflicts:      43000 | #Constraints:      13220
475.43/476.86	c #Conflicts:      44000 | #Constraints:      14220
475.43/476.86	c #Conflicts:      45000 | #Constraints:      15220
475.43/476.86	c #Conflicts:      46000 | #Constraints:      16220
475.43/476.86	c INPROCESSING
475.43/476.86	c GARBAGE COLLECT
475.43/476.86	c #Conflicts:      47000 | #Constraints:      12810
475.43/476.86	c #Conflicts:      48000 | #Constraints:      13810
475.43/476.86	c #Conflicts:      49000 | #Constraints:      14810
475.43/476.86	c #Conflicts:      50000 | #Constraints:      15810
475.43/476.86	c #Conflicts:      51000 | #Constraints:      16810
475.43/476.86	c INPROCESSING
475.43/476.86	c GARBAGE COLLECT
475.43/476.86	c #Conflicts:      52000 | #Constraints:      13213
475.43/476.86	c #Conflicts:      53000 | #Constraints:      14213
475.43/476.86	c #Conflicts:      54000 | #Constraints:      15213
475.43/476.86	c #Conflicts:      55000 | #Constraints:      16213
475.43/476.86	c #Conflicts:      56000 | #Constraints:      17213
475.43/476.86	c INPROCESSING
475.43/476.86	c GARBAGE COLLECT
475.43/476.86	c #Conflicts:      57000 | #Constraints:      13408
475.43/476.86	c #Conflicts:      58000 | #Constraints:      14408
475.43/476.86	c #Conflicts:      59000 | #Constraints:      15408
475.43/476.86	c #Conflicts:      60000 | #Constraints:      16408
475.43/476.86	c #Conflicts:      61000 | #Constraints:      17408
475.43/476.86	c INPROCESSING
475.43/476.86	c GARBAGE COLLECT
475.43/476.86	c #Conflicts:      62000 | #Constraints:      13404
475.43/476.86	c #Conflicts:      63000 | #Constraints:      14404
475.43/476.86	c #Conflicts:      64000 | #Constraints:      15404
475.43/476.86	c #Conflicts:      65000 | #Constraints:      16404
760.56/762.72	c #Conflicts:      66000 | #Constraints:      17404
760.56/762.72	c INPROCESSING
760.56/762.72	c GARBAGE COLLECT
760.56/762.72	c #Conflicts:      67000 | #Constraints:      13203
760.56/762.72	c #Conflicts:      68000 | #Constraints:      14203
760.56/762.72	c #Conflicts:      69000 | #Constraints:      15203
760.56/762.72	c #Conflicts:      70000 | #Constraints:      16203
760.56/762.72	c #Conflicts:      71000 | #Constraints:      17203
760.56/762.72	c #Conflicts:      72000 | #Constraints:      18203
760.56/762.72	c INPROCESSING
760.56/762.72	c GARBAGE COLLECT
760.56/762.72	c #Conflicts:      73000 | #Constraints:      13811
760.56/762.72	c #Conflicts:      74000 | #Constraints:      14811
760.56/762.72	c #Conflicts:      75000 | #Constraints:      15811
760.56/762.72	c #Conflicts:      76000 | #Constraints:      16811
760.56/762.72	c #Conflicts:      77000 | #Constraints:      17811
760.56/762.72	c #Conflicts:      78000 | #Constraints:      18811
760.56/762.72	c INPROCESSING
760.56/762.72	c GARBAGE COLLECT
760.56/762.72	c #Conflicts:      79000 | #Constraints:      14210
760.56/762.72	c #Conflicts:      80000 | #Constraints:      15210
760.56/762.72	c #Conflicts:      81000 | #Constraints:      16210
760.56/762.72	c #Conflicts:      82000 | #Constraints:      17210
760.56/762.72	c #Conflicts:      83000 | #Constraints:      18210
760.56/762.72	c #Conflicts:      84000 | #Constraints:      19210
760.56/762.72	c INPROCESSING
760.56/762.72	c GARBAGE COLLECT
760.56/762.72	c #Conflicts:      85000 | #Constraints:      14415
760.56/762.72	c #Conflicts:      86000 | #Constraints:      15415
760.56/762.72	c #Conflicts:      87000 | #Constraints:      16415
760.56/762.72	c #Conflicts:      88000 | #Constraints:      17415
760.56/762.72	c #Conflicts:      89000 | #Constraints:      18415
760.56/762.72	c #Conflicts:      90000 | #Constraints:      19415
760.56/762.72	c INPROCESSING
760.56/762.72	c GARBAGE COLLECT
760.56/762.72	c #Conflicts:      91000 | #Constraints:      14410
760.56/762.72	c #Conflicts:      92000 | #Constraints:      15410
760.56/762.72	c #Conflicts:      93000 | #Constraints:      16410
760.56/762.72	c #Conflicts:      94000 | #Constraints:      17410
760.56/762.72	c #Conflicts:      95000 | #Constraints:      18410
760.56/762.72	c #Conflicts:      96000 | #Constraints:      19410
760.56/762.72	c INPROCESSING
760.56/762.72	c GARBAGE COLLECT
760.56/762.72	c #Conflicts:      97000 | #Constraints:      14217
760.56/762.72	c #Conflicts:      98000 | #Constraints:      15217
760.56/762.72	c #Conflicts:      99000 | #Constraints:      16217
760.56/762.72	c #Conflicts:     100000 | #Constraints:      17217
760.56/762.72	c #Conflicts:     101000 | #Constraints:      18217
760.56/762.72	c #Conflicts:     102000 | #Constraints:      19217
760.56/762.72	c #Conflicts:     103000 | #Constraints:      20217
760.56/762.72	c INPROCESSING
760.56/762.72	c GARBAGE COLLECT
760.56/762.72	c #Conflicts:     104000 | #Constraints:      14814
760.56/762.72	c #Conflicts:     105000 | #Constraints:      15814
760.56/762.72	c #Conflicts:     106000 | #Constraints:      16814
760.56/762.72	c #Conflicts:     107000 | #Constraints:      17814
760.56/762.72	c #Conflicts:     108000 | #Constraints:      18814
760.56/762.72	c #Conflicts:     109000 | #Constraints:      19814
760.56/762.72	c #Conflicts:     110000 | #Constraints:      20814
760.56/762.72	c INPROCESSING
760.56/762.72	c GARBAGE COLLECT
760.56/762.72	c #Conflicts:     111000 | #Constraints:      15216
760.56/762.72	c #Conflicts:     112000 | #Constraints:      16216
760.56/762.72	c #Conflicts:     113000 | #Constraints:      17216
760.56/762.72	c #Conflicts:     114000 | #Constraints:      18216
760.56/762.72	c #Conflicts:     115000 | #Constraints:      19216
760.56/762.72	c #Conflicts:     116000 | #Constraints:      20216
760.56/762.72	c #Conflicts:     117000 | #Constraints:      21216
760.56/762.72	c INPROCESSING
760.56/762.72	c GARBAGE COLLECT
760.56/762.72	c #Conflicts:     118000 | #Constraints:      15427
760.56/762.72	c #Conflicts:     119000 | #Constraints:      16427
760.56/762.72	c #Conflicts:     120000 | #Constraints:      17427
760.56/762.72	c #Conflicts:     121000 | #Constraints:      18427
760.56/762.72	c #Conflicts:     122000 | #Constraints:      19427
760.56/762.72	c #Conflicts:     123000 | #Constraints:      20427
760.56/762.72	c #Conflicts:     124000 | #Constraints:      21427
760.56/762.72	c INPROCESSING
760.56/762.72	c GARBAGE COLLECT
760.56/762.72	c #Conflicts:     125000 | #Constraints:      15432
760.56/762.72	c #Conflicts:     126000 | #Constraints:      16432
760.56/762.72	c #Conflicts:     127000 | #Constraints:      17432
760.56/762.72	c #Conflicts:     128000 | #Constraints:      18432
760.56/762.72	c #Conflicts:     129000 | #Constraints:      19432
760.56/762.72	c #Conflicts:     130000 | #Constraints:      20432
760.56/762.72	c #Conflicts:     131000 | #Constraints:      21432
760.56/762.72	c INPROCESSING
760.56/762.72	c GARBAGE COLLECT
760.56/762.72	c #Conflicts:     132000 | #Constraints:      15239
760.56/762.72	c #Conflicts:     133000 | #Constraints:      16239
760.56/762.72	c #Conflicts:     134000 | #Constraints:      17239
760.56/762.72	c #Conflicts:     135000 | #Constraints:      18239
760.56/762.72	c #Conflicts:     136000 | #Constraints:      19239
760.56/762.72	c #Conflicts:     137000 | #Constraints:      20239
1073.79/1076.83	c #Conflicts:     138000 | #Constraints:      21239
1073.79/1076.83	c #Conflicts:     139000 | #Constraints:      22239
1073.79/1076.83	c INPROCESSING
1073.79/1076.83	c GARBAGE COLLECT
1073.79/1076.83	c #Conflicts:     140000 | #Constraints:      15842
1073.79/1076.83	c #Conflicts:     141000 | #Constraints:      16842
1073.79/1076.83	c #Conflicts:     142000 | #Constraints:      17842
1073.79/1076.83	c #Conflicts:     143000 | #Constraints:      18842
1073.79/1076.83	c #Conflicts:     144000 | #Constraints:      19842
1073.79/1076.83	c #Conflicts:     145000 | #Constraints:      20842
1073.79/1076.83	c #Conflicts:     146000 | #Constraints:      21842
1073.79/1076.83	c #Conflicts:     147000 | #Constraints:      22842
1073.79/1076.83	c INPROCESSING
1073.79/1076.83	c GARBAGE COLLECT
1073.79/1076.83	c #Conflicts:     148000 | #Constraints:      16243
1073.79/1076.83	c #Conflicts:     149000 | #Constraints:      17243
1073.79/1076.83	c #Conflicts:     150000 | #Constraints:      18243
1073.79/1076.83	c #Conflicts:     151000 | #Constraints:      19243
1073.79/1076.83	c #Conflicts:     152000 | #Constraints:      20243
1073.79/1076.83	c #Conflicts:     153000 | #Constraints:      21243
1073.79/1076.83	c #Conflicts:     154000 | #Constraints:      22243
1073.79/1076.83	c #Conflicts:     155000 | #Constraints:      23243
1073.79/1076.83	c INPROCESSING
1073.79/1076.83	c GARBAGE COLLECT
1073.79/1076.83	c #Conflicts:     156000 | #Constraints:      16436
1073.79/1076.83	c #Conflicts:     157000 | #Constraints:      17436
1073.79/1076.83	c #Conflicts:     158000 | #Constraints:      18436
1073.79/1076.83	c #Conflicts:     159000 | #Constraints:      19436
1073.79/1076.83	c #Conflicts:     160000 | #Constraints:      20436
1073.79/1076.83	c #Conflicts:     161000 | #Constraints:      21436
1073.79/1076.83	c #Conflicts:     162000 | #Constraints:      22436
1073.79/1076.83	c #Conflicts:     163000 | #Constraints:      23436
1073.79/1076.83	c INPROCESSING
1073.79/1076.83	c GARBAGE COLLECT
1073.79/1076.83	c #Conflicts:     164000 | #Constraints:      16432
1073.79/1076.83	c #Conflicts:     165000 | #Constraints:      17432
1073.79/1076.83	c #Conflicts:     166000 | #Constraints:      18432
1073.79/1076.83	c #Conflicts:     167000 | #Constraints:      19432
1073.79/1076.83	c #Conflicts:     168000 | #Constraints:      20432
1073.79/1076.83	c #Conflicts:     169000 | #Constraints:      21432
1073.79/1076.83	c #Conflicts:     170000 | #Constraints:      22432
1073.79/1076.83	c #Conflicts:     171000 | #Constraints:      23432
1073.79/1076.83	c INPROCESSING
1073.79/1076.83	c GARBAGE COLLECT
1073.79/1076.83	c #Conflicts:     172000 | #Constraints:      16233
1073.79/1076.83	c #Conflicts:     173000 | #Constraints:      17233
1073.79/1076.83	c #Conflicts:     174000 | #Constraints:      18233
1073.79/1076.83	c #Conflicts:     175000 | #Constraints:      19233
1073.79/1076.83	c #Conflicts:     176000 | #Constraints:      20233
1073.79/1076.83	c #Conflicts:     177000 | #Constraints:      21233
1073.79/1076.83	c #Conflicts:     178000 | #Constraints:      22233
1073.79/1076.83	c #Conflicts:     179000 | #Constraints:      23233
1073.79/1076.83	c #Conflicts:     180000 | #Constraints:      24233
1073.79/1076.83	c INPROCESSING
1073.79/1076.83	c GARBAGE COLLECT
1073.79/1076.83	c #Conflicts:     181000 | #Constraints:      16840
1073.79/1076.83	c #Conflicts:     182000 | #Constraints:      17840
1073.79/1076.83	c #Conflicts:     183000 | #Constraints:      18840
1073.79/1076.83	c #Conflicts:     184000 | #Constraints:      19840
1073.79/1076.83	c #Conflicts:     185000 | #Constraints:      20840
1073.79/1076.83	c #Conflicts:     186000 | #Constraints:      21840
1073.79/1076.83	c #Conflicts:     187000 | #Constraints:      22840
1073.79/1076.83	c #Conflicts:     188000 | #Constraints:      23840
1073.79/1076.83	c #Conflicts:     189000 | #Constraints:      24840
1073.79/1076.83	c INPROCESSING
1073.79/1076.83	c GARBAGE COLLECT
1073.79/1076.83	c #Conflicts:     190000 | #Constraints:      17237
1073.79/1076.83	c #Conflicts:     191000 | #Constraints:      18237
1073.79/1076.83	c #Conflicts:     192000 | #Constraints:      19237
1073.79/1076.83	c #Conflicts:     193000 | #Constraints:      20237
1073.79/1076.83	c #Conflicts:     194000 | #Constraints:      21237
1073.79/1076.83	c #Conflicts:     195000 | #Constraints:      22237
1073.79/1076.83	c #Conflicts:     196000 | #Constraints:      23237
1073.79/1076.83	c #Conflicts:     197000 | #Constraints:      24237
1073.79/1076.83	c #Conflicts:     198000 | #Constraints:      25237
1073.79/1076.83	c INPROCESSING
1073.79/1076.83	c GARBAGE COLLECT
1073.79/1076.83	c #Conflicts:     199000 | #Constraints:      17448
1073.79/1076.83	c #Conflicts:     200000 | #Constraints:      18448
1073.79/1076.83	c #Conflicts:     201000 | #Constraints:      19448
1073.79/1076.83	c #Conflicts:     202000 | #Constraints:      20448
1073.79/1076.83	c #Conflicts:     203000 | #Constraints:      21448
1073.79/1076.83	c #Conflicts:     204000 | #Constraints:      22448
1073.79/1076.83	c #Conflicts:     205000 | #Constraints:      23448
1073.79/1076.83	c #Conflicts:     206000 | #Constraints:      24448
1073.79/1076.83	c #Conflicts:     207000 | #Constraints:      25448
1073.79/1076.83	c INPROCESSING
1073.79/1076.83	c GARBAGE COLLECT
1073.79/1076.83	c #Conflicts:     208000 | #Constraints:      17439
1073.79/1076.83	c #Conflicts:     209000 | #Constraints:      18439
1073.79/1076.83	c #Conflicts:     210000 | #Constraints:      19439
1431.18/1435.26	c #Conflicts:     211000 | #Constraints:      20439
1431.18/1435.26	c #Conflicts:     212000 | #Constraints:      21439
1431.18/1435.26	c #Conflicts:     213000 | #Constraints:      22439
1431.18/1435.26	c #Conflicts:     214000 | #Constraints:      23439
1431.18/1435.26	c #Conflicts:     215000 | #Constraints:      24439
1431.18/1435.26	c #Conflicts:     216000 | #Constraints:      25439
1431.18/1435.26	c INPROCESSING
1431.18/1435.26	c GARBAGE COLLECT
1431.18/1435.26	c #Conflicts:     217000 | #Constraints:      17252
1431.18/1435.26	c #Conflicts:     218000 | #Constraints:      18252
1431.18/1435.26	c #Conflicts:     219000 | #Constraints:      19252
1431.18/1435.26	c #Conflicts:     220000 | #Constraints:      20252
1431.18/1435.26	c #Conflicts:     221000 | #Constraints:      21252
1431.18/1435.26	c #Conflicts:     222000 | #Constraints:      22252
1431.18/1435.26	c #Conflicts:     223000 | #Constraints:      23252
1431.18/1435.26	c #Conflicts:     224000 | #Constraints:      24252
1431.18/1435.26	c #Conflicts:     225000 | #Constraints:      25252
1431.18/1435.26	c #Conflicts:     226000 | #Constraints:      26252
1431.18/1435.26	c INPROCESSING
1431.18/1435.26	c GARBAGE COLLECT
1431.18/1435.26	c #Conflicts:     227000 | #Constraints:      17860
1431.18/1435.26	c #Conflicts:     228000 | #Constraints:      18860
1431.18/1435.26	c #Conflicts:     229000 | #Constraints:      19860
1431.18/1435.26	c #Conflicts:     230000 | #Constraints:      20860
1431.18/1435.26	c #Conflicts:     231000 | #Constraints:      21860
1431.18/1435.26	c #Conflicts:     232000 | #Constraints:      22860
1431.18/1435.26	c #Conflicts:     233000 | #Constraints:      23860
1431.18/1435.26	c #Conflicts:     234000 | #Constraints:      24860
1431.18/1435.26	c #Conflicts:     235000 | #Constraints:      25860
1431.18/1435.26	c #Conflicts:     236000 | #Constraints:      26860
1431.18/1435.26	c INPROCESSING
1431.18/1435.26	c GARBAGE COLLECT
1431.18/1435.26	c #Conflicts:     237000 | #Constraints:      18246
1431.18/1435.26	c #Conflicts:     238000 | #Constraints:      19246
1431.18/1435.26	c #Conflicts:     239000 | #Constraints:      20246
1431.18/1435.26	c #Conflicts:     240000 | #Constraints:      21246
1431.18/1435.26	c #Conflicts:     241000 | #Constraints:      22246
1431.18/1435.26	c #Conflicts:     242000 | #Constraints:      23246
1431.18/1435.26	c #Conflicts:     243000 | #Constraints:      24246
1431.18/1435.26	c #Conflicts:     244000 | #Constraints:      25246
1431.18/1435.26	c #Conflicts:     245000 | #Constraints:      26246
1431.18/1435.26	c #Conflicts:     246000 | #Constraints:      27246
1431.18/1435.26	c INPROCESSING
1431.18/1435.26	c GARBAGE COLLECT
1431.18/1435.26	c #Conflicts:     247000 | #Constraints:      18438
1431.18/1435.26	c #Conflicts:     248000 | #Constraints:      19438
1431.18/1435.26	c #Conflicts:     249000 | #Constraints:      20438
1431.18/1435.26	c #Conflicts:     250000 | #Constraints:      21438
1431.18/1435.26	c #Conflicts:     251000 | #Constraints:      22438
1431.18/1435.26	c #Conflicts:     252000 | #Constraints:      23438
1431.18/1435.26	c #Conflicts:     253000 | #Constraints:      24438
1431.18/1435.26	c #Conflicts:     254000 | #Constraints:      25438
1431.18/1435.26	c #Conflicts:     255000 | #Constraints:      26438
1431.18/1435.26	c #Conflicts:     256000 | #Constraints:      27438
1431.18/1435.26	c INPROCESSING
1431.18/1435.26	c GARBAGE COLLECT
1431.18/1435.26	c #Conflicts:     257000 | #Constraints:      18437
1431.18/1435.26	c #Conflicts:     258000 | #Constraints:      19437
1431.18/1435.26	c #Conflicts:     259000 | #Constraints:      20437
1431.18/1435.26	c #Conflicts:     260000 | #Constraints:      21437
1431.18/1435.26	c #Conflicts:     261000 | #Constraints:      22437
1431.18/1435.26	c #Conflicts:     262000 | #Constraints:      23437
1431.18/1435.26	c #Conflicts:     263000 | #Constraints:      24437
1431.18/1435.26	c #Conflicts:     264000 | #Constraints:      25437
1431.18/1435.26	c #Conflicts:     265000 | #Constraints:      26437
1431.18/1435.26	c #Conflicts:     266000 | #Constraints:      27437
1431.18/1435.26	c INPROCESSING
1431.18/1435.26	c GARBAGE COLLECT
1431.18/1435.26	c #Conflicts:     267000 | #Constraints:      18228
1431.18/1435.26	c #Conflicts:     268000 | #Constraints:      19228
1431.18/1435.26	c #Conflicts:     269000 | #Constraints:      20228
1431.18/1435.26	c #Conflicts:     270000 | #Constraints:      21228
1431.18/1435.26	c #Conflicts:     271000 | #Constraints:      22228
1431.18/1435.26	c #Conflicts:     272000 | #Constraints:      23228
1431.18/1435.26	c #Conflicts:     273000 | #Constraints:      24228
1431.18/1435.26	c #Conflicts:     274000 | #Constraints:      25228
1431.18/1435.26	c #Conflicts:     275000 | #Constraints:      26228
1431.18/1435.26	c #Conflicts:     276000 | #Constraints:      27228
1431.18/1435.26	c #Conflicts:     277000 | #Constraints:      28228
1431.18/1435.26	c INPROCESSING
1431.18/1435.26	c GARBAGE COLLECT
1431.18/1435.26	c #Conflicts:     278000 | #Constraints:      18824
1431.18/1435.26	c #Conflicts:     279000 | #Constraints:      19824
1431.18/1435.26	c #Conflicts:     280000 | #Constraints:      20824
1431.18/1435.26	c #Conflicts:     281000 | #Constraints:      21824
1431.18/1435.26	c #Conflicts:     282000 | #Constraints:      22824
1431.18/1435.26	c #Conflicts:     283000 | #Constraints:      23824
1431.18/1435.26	c #Conflicts:     284000 | #Constraints:      24824
1882.84/1888.16	c #Conflicts:     285000 | #Constraints:      25824
1882.84/1888.16	c #Conflicts:     286000 | #Constraints:      26824
1882.84/1888.16	c #Conflicts:     287000 | #Constraints:      27824
1882.84/1888.16	c #Conflicts:     288000 | #Constraints:      28824
1882.84/1888.16	c INPROCESSING
1882.84/1888.16	c GARBAGE COLLECT
1882.84/1888.16	c #Conflicts:     289000 | #Constraints:      19228
1882.84/1888.16	c #Conflicts:     290000 | #Constraints:      20228
1882.84/1888.16	c #Conflicts:     291000 | #Constraints:      21228
1882.84/1888.16	c #Conflicts:     292000 | #Constraints:      22228
1882.84/1888.16	c #Conflicts:     293000 | #Constraints:      23228
1882.84/1888.16	c #Conflicts:     294000 | #Constraints:      24228
1882.84/1888.16	c #Conflicts:     295000 | #Constraints:      25228
1882.84/1888.16	c #Conflicts:     296000 | #Constraints:      26228
1882.84/1888.16	c #Conflicts:     297000 | #Constraints:      27228
1882.84/1888.16	c #Conflicts:     298000 | #Constraints:      28228
1882.84/1888.16	c #Conflicts:     299000 | #Constraints:      29228
1882.84/1888.16	c INPROCESSING
1882.84/1888.16	c GARBAGE COLLECT
1882.84/1888.16	c #Conflicts:     300000 | #Constraints:      19420
1882.84/1888.16	c #Conflicts:     301000 | #Constraints:      20420
1882.84/1888.16	c #Conflicts:     302000 | #Constraints:      21420
1882.84/1888.16	c #Conflicts:     303000 | #Constraints:      22420
1882.84/1888.16	c #Conflicts:     304000 | #Constraints:      23420
1882.84/1888.16	c #Conflicts:     305000 | #Constraints:      24420
1882.84/1888.16	c #Conflicts:     306000 | #Constraints:      25420
1882.84/1888.16	c #Conflicts:     307000 | #Constraints:      26420
1882.84/1888.16	c #Conflicts:     308000 | #Constraints:      27420
1882.84/1888.16	c #Conflicts:     309000 | #Constraints:      28420
1882.84/1888.16	c #Conflicts:     310000 | #Constraints:      29420
1882.84/1888.16	c INPROCESSING
1882.84/1888.16	c GARBAGE COLLECT
1882.84/1888.16	c #Conflicts:     311000 | #Constraints:      19423
1882.84/1888.16	c #Conflicts:     312000 | #Constraints:      20423
1882.84/1888.16	c #Conflicts:     313000 | #Constraints:      21423
1882.84/1888.16	c #Conflicts:     314000 | #Constraints:      22423
1882.84/1888.16	c #Conflicts:     315000 | #Constraints:      23423
1882.84/1888.16	c #Conflicts:     316000 | #Constraints:      24423
1882.84/1888.16	c #Conflicts:     317000 | #Constraints:      25423
1882.84/1888.16	c #Conflicts:     318000 | #Constraints:      26423
1882.84/1888.16	c #Conflicts:     319000 | #Constraints:      27423
1882.84/1888.16	c #Conflicts:     320000 | #Constraints:      28423
1882.84/1888.16	c #Conflicts:     321000 | #Constraints:      29423
1882.84/1888.16	c INPROCESSING
1882.84/1888.16	c GARBAGE COLLECT
1882.84/1888.16	c #Conflicts:     322000 | #Constraints:      19225
1882.84/1888.16	c #Conflicts:     323000 | #Constraints:      20225
1882.84/1888.16	c #Conflicts:     324000 | #Constraints:      21225
1882.84/1888.16	c #Conflicts:     325000 | #Constraints:      22225
1882.84/1888.16	c #Conflicts:     326000 | #Constraints:      23225
1882.84/1888.16	c #Conflicts:     327000 | #Constraints:      24225
1882.84/1888.16	c #Conflicts:     328000 | #Constraints:      25225
1882.84/1888.16	c #Conflicts:     329000 | #Constraints:      26225
1882.84/1888.16	c #Conflicts:     330000 | #Constraints:      27225
1882.84/1888.16	c #Conflicts:     331000 | #Constraints:      28225
1882.84/1888.16	c #Conflicts:     332000 | #Constraints:      29225
1882.84/1888.16	c #Conflicts:     333000 | #Constraints:      30225
1882.84/1888.16	c INPROCESSING
1882.84/1888.16	c GARBAGE COLLECT
1882.84/1888.16	c #Conflicts:     334000 | #Constraints:      19833
1882.84/1888.16	c #Conflicts:     335000 | #Constraints:      20833
1882.84/1888.16	c #Conflicts:     336000 | #Constraints:      21833
1882.84/1888.16	c #Conflicts:     337000 | #Constraints:      22833
1882.84/1888.16	c #Conflicts:     338000 | #Constraints:      23833
1882.84/1888.16	c #Conflicts:     339000 | #Constraints:      24833
1882.84/1888.16	c #Conflicts:     340000 | #Constraints:      25833
1882.84/1888.16	c #Conflicts:     341000 | #Constraints:      26833
1882.84/1888.16	c #Conflicts:     342000 | #Constraints:      27833
1882.84/1888.16	c #Conflicts:     343000 | #Constraints:      28833
1882.84/1888.16	c #Conflicts:     344000 | #Constraints:      29833
1882.84/1888.16	c #Conflicts:     345000 | #Constraints:      30833
1882.84/1888.16	c INPROCESSING
1882.84/1888.16	c GARBAGE COLLECT
1882.84/1888.16	c #Conflicts:     346000 | #Constraints:      20227
1882.84/1888.16	c #Conflicts:     347000 | #Constraints:      21227
1882.84/1888.16	c #Conflicts:     348000 | #Constraints:      22227
1882.84/1888.16	c #Conflicts:     349000 | #Constraints:      23227
1882.84/1888.16	c #Conflicts:     350000 | #Constraints:      24227
1882.84/1888.16	c #Conflicts:     351000 | #Constraints:      25227
1882.84/1888.16	c #Conflicts:     352000 | #Constraints:      26227
1882.84/1888.16	c #Conflicts:     353000 | #Constraints:      27227
1882.84/1888.16	c #Conflicts:     354000 | #Constraints:      28227
1882.84/1888.16	c #Conflicts:     355000 | #Constraints:      29227
1882.84/1888.16	c #Conflicts:     356000 | #Constraints:      30227
1882.84/1888.16	c #Conflicts:     357000 | #Constraints:      31227
1882.84/1888.16	c INPROCESSING
1882.84/1888.16	c GARBAGE COLLECT
1882.84/1888.16	c #Conflicts:     358000 | #Constraints:      20426
2350.80/2357.44	c #Conflicts:     359000 | #Constraints:      21426
2350.80/2357.44	c #Conflicts:     360000 | #Constraints:      22426
2350.80/2357.44	c #Conflicts:     361000 | #Constraints:      23426
2350.80/2357.44	c #Conflicts:     362000 | #Constraints:      24426
2350.80/2357.44	c #Conflicts:     363000 | #Constraints:      25426
2350.80/2357.44	c #Conflicts:     364000 | #Constraints:      26426
2350.80/2357.44	c #Conflicts:     365000 | #Constraints:      27426
2350.80/2357.44	c #Conflicts:     366000 | #Constraints:      28426
2350.80/2357.44	c #Conflicts:     367000 | #Constraints:      29426
2350.80/2357.44	c #Conflicts:     368000 | #Constraints:      30426
2350.80/2357.44	c #Conflicts:     369000 | #Constraints:      31426
2350.80/2357.44	c INPROCESSING
2350.80/2357.44	c GARBAGE COLLECT
2350.80/2357.44	c #Conflicts:     370000 | #Constraints:      20425
2350.80/2357.44	c #Conflicts:     371000 | #Constraints:      21425
2350.80/2357.44	c #Conflicts:     372000 | #Constraints:      22425
2350.80/2357.44	c #Conflicts:     373000 | #Constraints:      23425
2350.80/2357.44	c #Conflicts:     374000 | #Constraints:      24425
2350.80/2357.44	c #Conflicts:     375000 | #Constraints:      25425
2350.80/2357.44	c #Conflicts:     376000 | #Constraints:      26425
2350.80/2357.44	c #Conflicts:     377000 | #Constraints:      27425
2350.80/2357.44	c #Conflicts:     378000 | #Constraints:      28425
2350.80/2357.44	c #Conflicts:     379000 | #Constraints:      29425
2350.80/2357.44	c #Conflicts:     380000 | #Constraints:      30425
2350.80/2357.44	c #Conflicts:     381000 | #Constraints:      31425
2350.80/2357.44	c INPROCESSING
2350.80/2357.44	c GARBAGE COLLECT
2350.80/2357.44	c #Conflicts:     382000 | #Constraints:      20224
2350.80/2357.44	c #Conflicts:     383000 | #Constraints:      21224
2350.80/2357.44	c #Conflicts:     384000 | #Constraints:      22224
2350.80/2357.44	c #Conflicts:     385000 | #Constraints:      23224
2350.80/2357.44	c #Conflicts:     386000 | #Constraints:      24224
2350.80/2357.44	c #Conflicts:     387000 | #Constraints:      25224
2350.80/2357.44	c #Conflicts:     388000 | #Constraints:      26224
2350.80/2357.44	c #Conflicts:     389000 | #Constraints:      27224
2350.80/2357.44	c #Conflicts:     390000 | #Constraints:      28224
2350.80/2357.44	c #Conflicts:     391000 | #Constraints:      29224
2350.80/2357.44	c #Conflicts:     392000 | #Constraints:      30224
2350.80/2357.44	c #Conflicts:     393000 | #Constraints:      31224
2350.80/2357.44	c #Conflicts:     394000 | #Constraints:      32224
2350.80/2357.44	c INPROCESSING
2350.80/2357.44	c GARBAGE COLLECT
2350.80/2357.44	c #Conflicts:     395000 | #Constraints:      20820
2350.80/2357.44	c #Conflicts:     396000 | #Constraints:      21820
2350.80/2357.44	c #Conflicts:     397000 | #Constraints:      22820
2350.80/2357.44	c #Conflicts:     398000 | #Constraints:      23820
2350.80/2357.44	c #Conflicts:     399000 | #Constraints:      24820
2350.80/2357.44	c #Conflicts:     400000 | #Constraints:      25820
2350.80/2357.44	c #Conflicts:     401000 | #Constraints:      26820
2350.80/2357.44	c #Conflicts:     402000 | #Constraints:      27820
2350.80/2357.44	c #Conflicts:     403000 | #Constraints:      28820
2350.80/2357.44	c #Conflicts:     404000 | #Constraints:      29820
2350.80/2357.44	c #Conflicts:     405000 | #Constraints:      30820
2350.80/2357.44	c #Conflicts:     406000 | #Constraints:      31820
2350.80/2357.44	c #Conflicts:     407000 | #Constraints:      32820
2350.80/2357.44	c INPROCESSING
2350.80/2357.44	c GARBAGE COLLECT
2350.80/2357.44	c #Conflicts:     408000 | #Constraints:      21224
2350.80/2357.44	c #Conflicts:     409000 | #Constraints:      22224
2350.80/2357.44	c #Conflicts:     410000 | #Constraints:      23224
2350.80/2357.44	c #Conflicts:     411000 | #Constraints:      24224
2350.80/2357.44	c #Conflicts:     412000 | #Constraints:      25224
2350.80/2357.44	c #Conflicts:     413000 | #Constraints:      26224
2350.80/2357.44	c #Conflicts:     414000 | #Constraints:      27224
2350.80/2357.44	c #Conflicts:     415000 | #Constraints:      28224
2350.80/2357.44	c #Conflicts:     416000 | #Constraints:      29224
2350.80/2357.44	c #Conflicts:     417000 | #Constraints:      30224
2350.80/2357.44	c #Conflicts:     418000 | #Constraints:      31224
2350.80/2357.44	c #Conflicts:     419000 | #Constraints:      32224
2350.80/2357.44	c #Conflicts:     420000 | #Constraints:      33224
2350.80/2357.44	c INPROCESSING
2350.80/2357.44	c GARBAGE COLLECT
2350.80/2357.44	c #Conflicts:     421000 | #Constraints:      21443
2350.80/2357.44	c #Conflicts:     422000 | #Constraints:      22443
2350.80/2357.44	c #Conflicts:     423000 | #Constraints:      23443
2350.80/2357.44	c #Conflicts:     424000 | #Constraints:      24443
2350.80/2357.44	c #Conflicts:     425000 | #Constraints:      25443
2350.80/2357.44	c #Conflicts:     426000 | #Constraints:      26443
2350.80/2357.44	c #Conflicts:     427000 | #Constraints:      27443
2350.80/2357.44	c #Conflicts:     428000 | #Constraints:      28443
2350.80/2357.44	c #Conflicts:     429000 | #Constraints:      29443
2350.80/2357.44	c #Conflicts:     430000 | #Constraints:      30443
2350.80/2357.44	c #Conflicts:     431000 | #Constraints:      31443
2350.80/2357.44	c #Conflicts:     432000 | #Constraints:      32443
2350.80/2357.44	c #Conflicts:     433000 | #Constraints:      33443
2350.80/2357.44	c INPROCESSING
2350.80/2357.44	c GARBAGE COLLECT
2745.14/2752.98	c #Conflicts:     434000 | #Constraints:      21448
2745.14/2752.98	c #Conflicts:     435000 | #Constraints:      22448
2745.14/2752.98	c #Conflicts:     436000 | #Constraints:      23448
2745.14/2752.98	c #Conflicts:     437000 | #Constraints:      24448
2745.14/2752.98	c #Conflicts:     438000 | #Constraints:      25448
2745.14/2752.98	c #Conflicts:     439000 | #Constraints:      26448
2745.14/2752.98	c #Conflicts:     440000 | #Constraints:      27448
2745.14/2752.98	c #Conflicts:     441000 | #Constraints:      28448
2745.14/2752.98	c #Conflicts:     442000 | #Constraints:      29448
2745.14/2752.98	c #Conflicts:     443000 | #Constraints:      30448
2745.14/2752.98	c #Conflicts:     444000 | #Constraints:      31448
2745.14/2752.98	c #Conflicts:     445000 | #Constraints:      32448
2745.14/2752.98	c #Conflicts:     446000 | #Constraints:      33448
2745.14/2752.98	c INPROCESSING
2745.14/2752.98	c GARBAGE COLLECT
2745.14/2752.98	c #Conflicts:     447000 | #Constraints:      21254
2745.14/2752.98	c #Conflicts:     448000 | #Constraints:      22254
2745.14/2752.98	c #Conflicts:     449000 | #Constraints:      23254
2745.14/2752.98	c #Conflicts:     450000 | #Constraints:      24254
2745.14/2752.98	c #Conflicts:     451000 | #Constraints:      25254
2745.14/2752.98	c #Conflicts:     452000 | #Constraints:      26254
2745.14/2752.98	c #Conflicts:     453000 | #Constraints:      27254
2745.14/2752.98	c #Conflicts:     454000 | #Constraints:      28254
2745.14/2752.98	c #Conflicts:     455000 | #Constraints:      29254
2745.14/2752.98	c #Conflicts:     456000 | #Constraints:      30254
2745.14/2752.98	c #Conflicts:     457000 | #Constraints:      31254
2745.14/2752.98	c #Conflicts:     458000 | #Constraints:      32254
2745.14/2752.98	c #Conflicts:     459000 | #Constraints:      33254
2745.14/2752.98	c #Conflicts:     460000 | #Constraints:      34254
2745.14/2752.98	c INPROCESSING
2745.14/2752.98	c GARBAGE COLLECT
2745.14/2752.98	c #Conflicts:     461000 | #Constraints:      21848
2745.14/2752.98	c #Conflicts:     462000 | #Constraints:      22848
2745.14/2752.98	c #Conflicts:     463000 | #Constraints:      23848
2745.14/2752.98	c #Conflicts:     464000 | #Constraints:      24848
2745.14/2752.98	c #Conflicts:     465000 | #Constraints:      25848
2745.14/2752.98	c #Conflicts:     466000 | #Constraints:      26848
2745.14/2752.98	c #Conflicts:     467000 | #Constraints:      27848
2745.14/2752.98	c #Conflicts:     468000 | #Constraints:      28848
2745.14/2752.98	c #Conflicts:     469000 | #Constraints:      29848
2745.14/2752.98	c #Conflicts:     470000 | #Constraints:      30848
2745.14/2752.98	c #Conflicts:     471000 | #Constraints:      31848
2745.14/2752.98	c #Conflicts:     472000 | #Constraints:      32848
2745.14/2752.98	c #Conflicts:     473000 | #Constraints:      33848
2745.14/2752.98	c #Conflicts:     474000 | #Constraints:      34848
2745.14/2752.98	c INPROCESSING
2745.14/2752.98	c GARBAGE COLLECT
2745.14/2752.98	c #Conflicts:     475000 | #Constraints:      22252
2745.14/2752.98	c #Conflicts:     476000 | #Constraints:      23252
2745.14/2752.98	c #Conflicts:     477000 | #Constraints:      24252
2745.14/2752.98	c #Conflicts:     478000 | #Constraints:      25252
2745.14/2752.98	c #Conflicts:     479000 | #Constraints:      26252
2745.14/2752.98	c #Conflicts:     480000 | #Constraints:      27252
2745.14/2752.98	c #Conflicts:     481000 | #Constraints:      28252
2745.14/2752.98	c #Conflicts:     482000 | #Constraints:      29252
2745.14/2752.98	c #Conflicts:     483000 | #Constraints:      30252
2745.14/2752.98	c #Conflicts:     484000 | #Constraints:      31252
2745.14/2752.98	c #Conflicts:     485000 | #Constraints:      32252
2745.14/2752.98	c #Conflicts:     486000 | #Constraints:      33252
2745.14/2752.98	c #Conflicts:     487000 | #Constraints:      34252
2745.14/2752.98	c #Conflicts:     488000 | #Constraints:      35252
2745.14/2752.98	c INPROCESSING
2745.14/2752.98	c GARBAGE COLLECT
2745.14/2752.98	c #Conflicts:     489000 | #Constraints:      22447
2745.14/2752.98	c #Conflicts:     490000 | #Constraints:      23447
2745.14/2752.98	c #Conflicts:     491000 | #Constraints:      24447
2745.14/2752.98	c #Conflicts:     492000 | #Constraints:      25447
2745.14/2752.98	c #Conflicts:     493000 | #Constraints:      26447
2745.14/2752.98	c #Conflicts:     494000 | #Constraints:      27447
2745.14/2752.98	c #Conflicts:     495000 | #Constraints:      28447
2745.14/2752.98	c #Conflicts:     496000 | #Constraints:      29447
2745.14/2752.98	c #Conflicts:     497000 | #Constraints:      30447
2745.14/2752.98	c #Conflicts:     498000 | #Constraints:      31447
2745.14/2752.98	c #Conflicts:     499000 | #Constraints:      32447
2745.14/2752.98	c #Conflicts:     500000 | #Constraints:      33447
2745.14/2752.98	c #Conflicts:     501000 | #Constraints:      34447
2745.14/2752.98	c #Conflicts:     502000 | #Constraints:      35447
2745.14/2752.98	c INPROCESSING
2745.14/2752.98	c GARBAGE COLLECT
2745.14/2752.98	c #Conflicts:     503000 | #Constraints:      22452
2745.14/2752.98	c #Conflicts:     504000 | #Constraints:      23452
2745.14/2752.98	c #Conflicts:     505000 | #Constraints:      24452
2745.14/2752.98	c #Conflicts:     506000 | #Constraints:      25452
2745.14/2752.98	c #Conflicts:     507000 | #Constraints:      26452
2745.14/2752.98	c #Conflicts:     508000 | #Constraints:      27452
2745.14/2752.98	c #Conflicts:     509000 | #Constraints:      28452
3299.72/3309.04	c #Conflicts:     510000 | #Constraints:      29452
3299.72/3309.04	c #Conflicts:     511000 | #Constraints:      30452
3299.72/3309.04	c #Conflicts:     512000 | #Constraints:      31452
3299.72/3309.04	c #Conflicts:     513000 | #Constraints:      32452
3299.72/3309.04	c #Conflicts:     514000 | #Constraints:      33452
3299.72/3309.04	c #Conflicts:     515000 | #Constraints:      34452
3299.72/3309.04	c #Conflicts:     516000 | #Constraints:      35452
3299.72/3309.04	c INPROCESSING
3299.72/3309.04	c GARBAGE COLLECT
3299.72/3309.04	c #Conflicts:     517000 | #Constraints:      22244
3299.72/3309.04	c #Conflicts:     518000 | #Constraints:      23244
3299.72/3309.04	c #Conflicts:     519000 | #Constraints:      24244
3299.72/3309.04	c #Conflicts:     520000 | #Constraints:      25244
3299.72/3309.04	c #Conflicts:     521000 | #Constraints:      26244
3299.72/3309.04	c #Conflicts:     522000 | #Constraints:      27244
3299.72/3309.04	c #Conflicts:     523000 | #Constraints:      28244
3299.72/3309.04	c #Conflicts:     524000 | #Constraints:      29244
3299.72/3309.04	c #Conflicts:     525000 | #Constraints:      30244
3299.72/3309.04	c #Conflicts:     526000 | #Constraints:      31244
3299.72/3309.04	c #Conflicts:     527000 | #Constraints:      32244
3299.72/3309.04	c #Conflicts:     528000 | #Constraints:      33244
3299.72/3309.04	c #Conflicts:     529000 | #Constraints:      34244
3299.72/3309.04	c #Conflicts:     530000 | #Constraints:      35244
3299.72/3309.04	c #Conflicts:     531000 | #Constraints:      36244
3299.72/3309.04	c INPROCESSING
3299.72/3309.04	c GARBAGE COLLECT
3299.72/3309.04	c #Conflicts:     532000 | #Constraints:      22843
3299.72/3309.04	c #Conflicts:     533000 | #Constraints:      23843
3299.72/3309.04	c #Conflicts:     534000 | #Constraints:      24843
3299.72/3309.04	c #Conflicts:     535000 | #Constraints:      25843
3299.72/3309.04	c #Conflicts:     536000 | #Constraints:      26843
3299.72/3309.04	c #Conflicts:     537000 | #Constraints:      27843
3299.72/3309.04	c #Conflicts:     538000 | #Constraints:      28843
3299.72/3309.04	c #Conflicts:     539000 | #Constraints:      29843
3299.72/3309.04	c #Conflicts:     540000 | #Constraints:      30843
3299.72/3309.04	c #Conflicts:     541000 | #Constraints:      31843
3299.72/3309.04	c #Conflicts:     542000 | #Constraints:      32843
3299.72/3309.04	c #Conflicts:     543000 | #Constraints:      33843
3299.72/3309.04	c #Conflicts:     544000 | #Constraints:      34843
3299.72/3309.04	c #Conflicts:     545000 | #Constraints:      35843
3299.72/3309.04	c #Conflicts:     546000 | #Constraints:      36843
3299.72/3309.04	c INPROCESSING
3299.72/3309.04	c GARBAGE COLLECT
3299.72/3309.04	c #Conflicts:     547000 | #Constraints:      23245
3299.72/3309.04	c #Conflicts:     548000 | #Constraints:      24245
3299.72/3309.04	c #Conflicts:     549000 | #Constraints:      25245
3299.72/3309.04	c #Conflicts:     550000 | #Constraints:      26245
3299.72/3309.04	c #Conflicts:     551000 | #Constraints:      27245
3299.72/3309.04	c #Conflicts:     552000 | #Constraints:      28245
3299.72/3309.04	c #Conflicts:     553000 | #Constraints:      29245
3299.72/3309.04	c #Conflicts:     554000 | #Constraints:      30245
3299.72/3309.04	c #Conflicts:     555000 | #Constraints:      31245
3299.72/3309.04	c #Conflicts:     556000 | #Constraints:      32245
3299.72/3309.04	c #Conflicts:     557000 | #Constraints:      33245
3299.72/3309.04	c #Conflicts:     558000 | #Constraints:      34245
3299.72/3309.04	c #Conflicts:     559000 | #Constraints:      35245
3299.72/3309.04	c #Conflicts:     560000 | #Constraints:      36245
3299.72/3309.04	c #Conflicts:     561000 | #Constraints:      37245
3299.72/3309.04	c INPROCESSING
3299.72/3309.04	c GARBAGE COLLECT
3299.72/3309.04	c #Conflicts:     562000 | #Constraints:      23443
3299.72/3309.04	c #Conflicts:     563000 | #Constraints:      24443
3299.72/3309.04	c #Conflicts:     564000 | #Constraints:      25443
3299.72/3309.04	c #Conflicts:     565000 | #Constraints:      26443
3299.72/3309.04	c #Conflicts:     566000 | #Constraints:      27443
3299.72/3309.04	c #Conflicts:     567000 | #Constraints:      28443
3299.72/3309.04	c #Conflicts:     568000 | #Constraints:      29443
3299.72/3309.04	c #Conflicts:     569000 | #Constraints:      30443
3299.72/3309.04	c #Conflicts:     570000 | #Constraints:      31443
3299.72/3309.04	c #Conflicts:     571000 | #Constraints:      32443
3299.72/3309.04	c #Conflicts:     572000 | #Constraints:      33443
3299.72/3309.04	c #Conflicts:     573000 | #Constraints:      34443
3299.72/3309.04	c #Conflicts:     574000 | #Constraints:      35443
3299.72/3309.04	c #Conflicts:     575000 | #Constraints:      36443
3299.72/3309.04	c #Conflicts:     576000 | #Constraints:      37443
3299.72/3309.04	c INPROCESSING
3299.72/3309.04	c GARBAGE COLLECT
3299.72/3309.04	c #Conflicts:     577000 | #Constraints:      23449
3299.72/3309.04	c #Conflicts:     578000 | #Constraints:      24449
3299.72/3309.04	c #Conflicts:     579000 | #Constraints:      25449
3299.72/3309.04	c #Conflicts:     580000 | #Constraints:      26449
3299.72/3309.04	c #Conflicts:     581000 | #Constraints:      27449
3299.72/3309.04	c #Conflicts:     582000 | #Constraints:      28449
3299.72/3309.04	c #Conflicts:     583000 | #Constraints:      29449
3299.72/3309.04	c #Conflicts:     584000 | #Constraints:      30449
3299.72/3309.04	c #Conflicts:     585000 | #Constraints:      31449
3600.08/3610.20	c #Conflicts:     586000 | #Constraints:      32449
3600.08/3610.20	c #Conflicts:     587000 | #Constraints:      33449
3600.08/3610.20	c #Conflicts:     588000 | #Constraints:      34449
3600.08/3610.20	c #Conflicts:     589000 | #Constraints:      35449
3600.08/3610.20	c #Conflicts:     590000 | #Constraints:      36449
3600.08/3610.20	c #Conflicts:     591000 | #Constraints:      37449
3600.08/3610.20	c INPROCESSING
3600.08/3610.20	c GARBAGE COLLECT
3600.08/3610.20	c #Conflicts:     592000 | #Constraints:      23248
3600.08/3610.20	c #Conflicts:     593000 | #Constraints:      24248
3600.08/3610.20	c #Conflicts:     594000 | #Constraints:      25248
3600.08/3610.20	c #Conflicts:     595000 | #Constraints:      26248
3600.08/3610.20	c #Conflicts:     596000 | #Constraints:      27248
3600.08/3610.20	c #Conflicts:     597000 | #Constraints:      28248
3600.08/3610.20	c #Conflicts:     598000 | #Constraints:      29248
3600.08/3610.20	c #Conflicts:     599000 | #Constraints:      30248
3600.08/3610.20	c #Conflicts:     600000 | #Constraints:      31248
3600.08/3610.20	c #Conflicts:     601000 | #Constraints:      32248
3600.08/3610.20	c #Conflicts:     602000 | #Constraints:      33248
3600.08/3610.20	c #Conflicts:     603000 | #Constraints:      34248
3600.08/3610.20	c #Conflicts:     604000 | #Constraints:      35248
3600.08/3610.20	c #Conflicts:     605000 | #Constraints:      36248
3600.08/3610.20	c #Conflicts:     606000 | #Constraints:      37248
3600.08/3610.20	c #Conflicts:     607000 | #Constraints:      38248
3600.08/3610.20	c INPROCESSING
3600.08/3610.20	c GARBAGE COLLECT
3600.08/3610.20	c #Conflicts:     608000 | #Constraints:      23843
3600.08/3610.20	c #Conflicts:     609000 | #Constraints:      24843
3600.08/3610.20	c #Conflicts:     610000 | #Constraints:      25843
3600.08/3610.20	c #Conflicts:     611000 | #Constraints:      26843
3600.08/3610.20	c #Conflicts:     612000 | #Constraints:      27843
3600.08/3610.20	c #Conflicts:     613000 | #Constraints:      28843
3600.08/3610.20	c #Conflicts:     614000 | #Constraints:      29843
3600.08/3610.20	c #Conflicts:     615000 | #Constraints:      30843
3600.08/3610.20	c #Conflicts:     616000 | #Constraints:      31843
3600.08/3610.20	c #Conflicts:     617000 | #Constraints:      32843
3600.08/3610.20	c #Conflicts:     618000 | #Constraints:      33843
3600.08/3610.20	c #Conflicts:     619000 | #Constraints:      34843
3600.08/3610.20	c #Conflicts:     620000 | #Constraints:      35843
3600.08/3610.20	c #Conflicts:     621000 | #Constraints:      36843
3600.08/3610.20	c #Conflicts:     622000 | #Constraints:      37843
3600.08/3610.20	c #Conflicts:     623000 | #Constraints:      38843
3600.08/3610.20	c INPROCESSING
3600.08/3610.20	c GARBAGE COLLECT
3600.08/3610.20	c #Conflicts:     624000 | #Constraints:      24245
3600.08/3610.20	c #Conflicts:     625000 | #Constraints:      25245
3600.08/3610.20	c #Conflicts:     626000 | #Constraints:      26245
3600.08/3610.20	c #Conflicts:     627000 | #Constraints:      27245
3600.08/3610.20	c Program interrupted by user.
3600.08/3610.20	c cpu time 3584.4 s
3600.08/3610.20	c deterministic time 488749385598 4.89e+11
3600.08/3610.20	c optimization time 30.1126 s
3600.08/3610.20	c total solve time 3255.17 s
3600.08/3610.20	c core-guided solve time 3255.17 s
3600.08/3610.20	c propagation time 2191.59 s
3600.08/3610.20	c conflict analysis time 636.445 s
3600.08/3610.20	c propagations 172032917
3600.08/3610.20	c resolve steps 2747915
3600.08/3610.20	c decisions 14817309
3600.08/3610.20	c conflicts 627464
3600.08/3610.20	c restarts 1331
3600.08/3610.20	c inprocessing phases 70
3600.08/3610.20	c input clauses 7021
3600.08/3610.20	c input cardinalities 1746
3600.08/3610.20	c input general constraints 0
3600.08/3610.20	c input average constraint length 1402.08
3600.08/3610.20	c input average constraint degree 175.36
3600.08/3610.20	c learned clauses 61485
3600.08/3610.20	c learned cardinalities 3770
3600.08/3610.20	c learned general constraints 562208
3600.08/3610.20	c learned average constraint length 3473.44
3600.08/3610.20	c learned average constraint degree 12081666.34
3600.08/3610.20	c watched constraints 63437
3600.08/3610.20	c counting constraints 498771
3600.08/3610.20	c gcd simplifications 4654
3600.08/3610.20	c detected cardinalities 79
3600.08/3610.20	c weakened non-implied lits 240998432
3600.08/3610.20	c weakened non-implying lits 12654
3600.08/3610.20	c original variables 7020
3600.08/3610.20	c clausal propagations 16125460
3600.08/3610.20	c cardinality propagations 404290
3600.08/3610.20	c watched propagations 4295744
3600.08/3610.20	c counting propagations 145769841
3600.08/3610.20	c watch lookups 38744278849
3600.08/3610.20	c watch backjump lookups 38335084803
3600.08/3610.20	c watch checks 67930689398
3600.08/3610.20	c propagation checks 336998097076
3600.08/3610.20	c constraint additions 6366911892
3600.08/3610.20	c trail pops 187473353
3600.08/3610.20	c formula constraints 7020
3600.08/3610.20	c learned constraints 627463
3600.08/3610.20	c bound constraints 1747
3600.08/3610.20	c core-guided constraints 0
3600.08/3610.20	c encountered formula constraints 1669778
3600.08/3610.20	c encountered learned constraints 1705600
3600.08/3610.20	c encountered bound constraints 1
3600.08/3610.20	c encountered core-guided constraints 0
3600.08/3610.20	c LP total time 0 s
3600.08/3610.20	c LP solve time 0 s
3600.08/3610.20	c LP constraints added 0
3600.08/3610.20	c LP constraints removed 0
3600.08/3610.20	c LP pivots internal 0
3600.08/3610.20	c LP pivots root 0
3600.08/3610.20	c LP calls 0
3600.08/3610.20	c LP optimalities 0
3600.08/3610.20	c LP no pivot count 0
3600.08/3610.20	c LP infeasibilities 0
3600.08/3610.20	c LP valid Farkas constraints 0
3600.08/3610.20	c LP learned Farkas constraints 0
3600.08/3610.20	c LP basis resets 0
3600.08/3610.20	c LP cycling count 0
3600.08/3610.20	c LP singular count 0
3600.08/3610.20	c LP no primal count 0
3600.08/3610.20	c LP no farkas count 0
3600.08/3610.20	c LP other issue count 0
3600.08/3610.20	c LP Gomory cuts 0
3600.08/3610.20	c LP learned cuts 0
3600.08/3610.20	c LP deleted cuts 0
3600.08/3610.20	c LP encountered Gomory constraints 0
3600.08/3610.20	c LP encountered Farkas constraints 0
3600.08/3610.20	c LP encountered learned Farkas constraints 0
3600.08/3610.20	c CG auxiliary variables introduced 0
3600.08/3610.20	c CG solutions found 0
3600.08/3610.20	c CG cores constructed 1746
3600.08/3610.20	c CG core cardinality constraints returned 0
3600.08/3610.20	c CG unit cores 0
3600.08/3610.20	c CG single cores 1746
3600.08/3610.20	c CG blocks removed during cardinality reduction 0
3600.08/3610.20	c CG first core best 0
3600.08/3610.20	c CG decision core best 0
3600.08/3610.20	c CG core reduction tie 0
3600.08/3610.20	c CG core degree average 1.00
3600.08/3610.20	c CG core slack average 3.00
3600.08/3610.20	c CG exhausted 0
3600.08/3610.20	c CG exhaust time 0 s
3600.08/3610.20	c CG trimmed 0
3600.08/3610.20	c CG trim time 0.013062 s
3600.08/3610.20	c CG minimized 0
3600.08/3610.20	c CG minimize time 0 s
3600.08/3610.20	c CG am1 prop time 0.008117 s
3600.08/3610.20	c CG # am1s reformulated 0
3600.08/3610.20	c CG lower bound derived from am1s 0
3600.08/3610.20	c CG # clausal cores 1746
3600.08/3610.20	c CG # cardinality cores 0
3600.08/3610.20	c CG # pb cores 0
3600.08/3610.20	c CG # pb reforms 0
3600.08/3610.20	c CG # cores discarded because of pb reform 0
3600.08/3610.20	d LOWERBOUND 1746
3600.08/3610.20	d NCORES 1746
3600.08/3610.20	d NPBCORES 0
3600.08/3610.20	d NPBREFORM 0
3600.08/3610.20	d NTRIMMED 0
3600.08/3610.20	d NEXHAUSTED 0
3600.08/3610.20	d NAM1S 0
3600.08/3610.20	d AM1LB 0
3600.08/3610.20	c [Papilo Statistics]
3600.08/3610.20	c prepro time 0.00832847s
3600.08/3610.20	c # tsx applied 0
3600.08/3610.20	c # tsx conflicts 0
3600.08/3610.20	c # bound changes 0
3600.08/3610.20	c # side changes 0
3600.08/3610.20	c # coef changes 0
3600.08/3610.20	c # rounds 1
3600.08/3610.20	c # deted vars 0
3600.08/3610.20	c # deted constrs 0
3600.08/3610.20	c # consecutive rounds of only bound changes 0
3600.08/3610.20	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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: 63708 MiB (47235 MiB free)
  memory of node 1: 64465 MiB (51937 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529321-1752264034/watcher-4529321-1752264034 -o /tmp/evaluation-result-4529321-1752264034/solver-4529321-1752264034 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1752256808-114694 --watchdog 3760 mixed-bag HOME/instance-4529321-1752264034.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=115516, runsolver pid=115513
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.09 4.13 4.10 4/260 115517
/proc/meminfo: memFree=101515520/131249996 swapFree=33010160/33010684
[pid=115516] ppid=115513 vsize=129628 memory=57020 CPUtime=0.09 cores=0,2
/proc/115516/stat : 115516 (mixed-bag) R 115513 115516 114684 0 -1 4194304 11963 0 0 0 7 2 0 0 20 0 1 0 142082085 132739072 14255 18446744073709551615 4235264 15840557 140732037060784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54046720 140732037065114 140732037065191 140732037065191 140732037070795 0
/proc/115516/statm: 32407 14255 4000 2834 0 14612 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 129628 KiB
Current children cumulated memory: 57020 KiB

[startup+0.205638 s]*
/proc/loadavg: 4.09 4.13 4.10 4/260 115517
/proc/meminfo: memFree=101499644/131249996 swapFree=33010160/33010684
[pid=115516] ppid=115513 vsize=151916 memory=67860 CPUtime=0.2 cores=0,2
/proc/115516/stat : 115516 (mixed-bag) R 115513 115516 114684 0 -1 4194304 14809 0 0 0 17 3 0 0 20 0 1 0 142082085 155561984 16965 18446744073709551615 4235264 15840557 140732037060784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54046720 140732037065114 140732037065191 140732037065191 140732037070795 0
/proc/115516/statm: 37979 16965 4128 2834 0 20184 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 151916 KiB
Current children cumulated memory: 67860 KiB

[startup+0.305474 s]*
/proc/loadavg: 4.09 4.13 4.10 3/258 115517
/proc/meminfo: memFree=101469696/131249996 swapFree=33010160/33010684
[pid=115516] ppid=115513 vsize=198512 memory=103512 CPUtime=0.29 cores=0,2
/proc/115516/stat : 115516 (mixed-bag) R 115513 115516 114684 0 -1 4194304 24399 0 0 0 25 4 0 0 20 0 1 0 142082085 203276288 25878 18446744073709551615 4235264 15840557 140732037060784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54046720 140732037065114 140732037065191 140732037065191 140732037070795 0
/proc/115516/statm: 49628 25878 4256 2834 0 31833 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 198512 KiB
Current children cumulated memory: 103512 KiB

[startup+0.700197 s]
/proc/loadavg: 4.09 4.13 4.10 4/259 115538
/proc/meminfo: memFree=101463984/131249996 swapFree=33010160/33010684
[pid=115516] ppid=115513 vsize=202020 memory=106456 CPUtime=0.68 cores=0,2
/proc/115516/stat : 115516 (mixed-bag) R 115513 115516 114684 0 -1 4194304 25158 0 0 0 63 5 0 0 20 0 1 0 142082085 206868480 26614 18446744073709551615 4235264 15840557 140732037060784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54046720 140732037065114 140732037065191 140732037065191 140732037070795 0
/proc/115516/statm: 50505 26614 4256 2834 0 32710 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 202020 KiB
Current children cumulated memory: 106456 KiB

[startup+1.50018 s]
/proc/loadavg: 4.09 4.13 4.10 5/261 115590
/proc/meminfo: memFree=101467716/131249996 swapFree=33010160/33010684
[pid=115516] ppid=115513 vsize=203376 memory=108376 CPUtime=1.48 cores=0,2
/proc/115516/stat : 115516 (mixed-bag) R 115513 115516 114684 0 -1 4194304 25638 0 0 0 143 5 0 0 20 0 1 0 142082085 208257024 27094 18446744073709551615 4235264 15840557 140732037060784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54046720 140732037065114 140732037065191 140732037065191 140732037070795 0
/proc/115516/statm: 50844 27094 4256 2834 0 33049 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 203376 KiB
Current children cumulated memory: 108376 KiB

[startup+3.1054 s]
/proc/loadavg: 4.09 4.13 4.10 5/265 115630
/proc/meminfo: memFree=101015588/131249996 swapFree=33010160/33010684
[pid=115516] ppid=115513 vsize=210412 memory=114136 CPUtime=3.08 cores=0,2
/proc/115516/stat : 115516 (mixed-bag) R 115513 115516 114684 0 -1 4194304 27046 0 0 0 303 5 0 0 20 0 1 0 142082085 215461888 28534 18446744073709551615 4235264 15840557 140732037060784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54046720 140732037065114 140732037065191 140732037065191 140732037070795 0
/proc/115516/statm: 52603 28534 4288 2834 0 34808 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 210412 KiB
Current children cumulated memory: 114136 KiB

[startup+6.30019 s]
/proc/loadavg: 4.16 4.14 4.10 5/265 115632
/proc/meminfo: memFree=99923436/131249996 swapFree=33010160/33010684
[pid=115516] ppid=115513 vsize=237088 memory=138968 CPUtime=6.26 cores=0,2
/proc/115516/stat : 115516 (mixed-bag) R 115513 115516 114684 0 -1 4194304 33284 0 0 0 620 6 0 0 20 0 1 0 142082085 242778112 34742 18446744073709551615 4235264 15840557 140732037060784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54046720 140732037065114 140732037065191 140732037065191 140732037070795 0
/proc/115516/statm: 59272 34742 4288 2834 0 41477 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 237088 KiB
Current children cumulated memory: 138968 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.14 4.10 5/265 115632
/proc/meminfo: memFree=99553452/131249996 swapFree=33010160/33010684
[pid=115516] ppid=115513 vsize=246212 memory=147928 CPUtime=12.64 cores=0,2
/proc/115516/stat : 115516 (mixed-bag) R 115513 115516 114684 0 -1 4194304 35532 0 0 0 1258 6 0 0 20 0 1 0 142082085 252121088 36982 18446744073709551615 4235264 15840557 140732037060784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54046720 140732037065114 140732037065191 140732037065191 140732037070795 0
/proc/115516/statm: 61553 36982 4288 2834 0 43758 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 246212 KiB
Current children cumulated memory: 147928 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.13 4.10 5/265 115632
/proc/meminfo: memFree=98885668/131249996 swapFree=33010160/33010684
[pid=115516] ppid=115513 vsize=258700 memory=160132 CPUtime=25.4 cores=0,2
/proc/115516/stat : 115516 (mixed-bag) R 115513 115516 114684 0 -1 4194304 38566 0 0 0 2533 7 0 0 20 0 1 0 142082085 264908800 40033 18446744073709551615 4235264 15840557 140732037060784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54046720 140732037065114 140732037065191 140732037065191 140732037070795 0
/proc/115516/statm: 64675 40033 4288 2834 0 46880 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 258700 KiB
Current children cumulated memory: 160132 KiB

[startup+51.1053 s]
/proc/loadavg: 4.16 4.14 4.10 6/265 115643
/proc/meminfo: memFree=98594392/131249996 swapFree=33010160/33010684
[pid=115516] ppid=115513 vsize=288360 memory=186628 CPUtime=50.92 cores=0,2
/proc/115516/stat : 115516 (mixed-bag) R 115513 115516 114684 0 -1 4194304 45218 0 0 0 5084 8 0 0 20 0 1 0 142082085 295280640 46657 18446744073709551615 4235264 15840557 140732037060784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54046720 140732037065114 140732037065191 140732037065191 140732037070795 0
/proc/115516/statm: 72090 46657 4288 2834 0 54295 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 288360 KiB
Current children cumulated memory: 186628 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/266 115829
/proc/meminfo: memFree=105937660/131249996 swapFree=33010160/33010684
[pid=115516] ppid=115513 vsize=288360 memory=196740 CPUtime=101.95 cores=0,2
/proc/115516/stat : 115516 (mixed-bag) R 115513 115516 114684 0 -1 4194304 45302 0 0 0 10187 8 0 0 20 0 1 0 142082085 295280640 49185 18446744073709551615 4235264 15840557 140732037060784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54046720 140732037065114 140732037065191 140732037065191 140732037070795 0
/proc/115516/statm: 72090 49185 4288 2834 0 54295 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 288360 KiB
Current children cumulated memory: 196740 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/266 115831
/proc/meminfo: memFree=105859168/131249996 swapFree=33010160/33010684
[pid=115516] ppid=115513 vsize=288360 memory=205444 CPUtime=161.76 cores=0,2
/proc/115516/stat : 115516 (mixed-bag) R 115513 115516 114684 0 -1 4194304 45392 0 0 0 16168 8 0 0 20 0 1 0 142082085 295280640 51361 18446744073709551615 4235264 15840557 140732037060784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54046720 140732037065114 140732037065191 140732037065191 140732037070795 0
/proc/115516/statm: 72090 51361 4288 2834 0 54295 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 288360 KiB
Current children cumulated memory: 205444 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/266 115833
/proc/meminfo: memFree=105789340/131249996 swapFree=33010160/33010684
[pid=115516] ppid=115513 vsize=288360 memory=218116 CPUtime=221.61 cores=0,2
/proc/115516/stat : 115516 (mixed-bag) R 115513 115516 114684 0 -1 4194304 45452 0 0 0 22153 8 0 0 20 0 1 0 142082085 295280640 54529 18446744073709551615 4235264 15840557 140732037060784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54046720 140732037065114 140732037065191 140732037065191 140732037070795 0
/proc/115516/statm: 72090 54529 4288 2834 0 54295 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 288360 KiB
Current children cumulated memory: 218116 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 115835
/proc/meminfo: memFree=105743128/131249996 swapFree=33010160/33010684
[pid=115516] ppid=115513 vsize=288360 memory=218116 CPUtime=281.45 cores=0,2
/proc/115516/stat : 115516 (mixed-bag) R 115513 115516 114684 0 -1 4194304 45454 0 0 0 28137 8 0 0 20 0 1 0 142082085 295280640 54529 18446744073709551615 4235264 15840557 140732037060784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54046720 140732037065114 140732037065191 140732037065191 140732037070795 0
/proc/115516/statm: 72090 54529 4288 2834 0 54295 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 288360 KiB
Current children cumulated memory: 218116 KiB

[startup+342.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/264 115838
/proc/meminfo: memFree=106562544/131249996 swapFree=33010160/33010684
[pid=115516] ppid=115513 vsize=600772 memory=466220 CPUtime=341.29 cores=0,2
/proc/115516/stat : 115516 (mixed-bag) R 115513 115516 114684 0 -1 4194304 75741 0 0 0 34043 86 0 0 20 0 1 0 142082085 615190528 116555 18446744073709551615 4235264 15840557 140732037060784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54046720 140732037065114 140732037065191 140732037065191 140732037070795 0
/proc/115516/statm: 150193 116555 4448 2834 0 132398 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 600772 KiB
Current children cumulated memory: 466220 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 115841
/proc/meminfo: memFree=106431952/131249996 swapFree=33010160/33010684
[pid=115516] ppid=115513 vsize=770384 memory=576132 CPUtime=401.13 cores=0,2
/proc/115516/stat : 115516 (mixed-bag) R 115513 115516 114684 0 -1 4194304 88906 0 0 0 39964 149 0 0 20 0 1 0 142082085 788873216 144033 18446744073709551615 4235264 15840557 140732037060784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54046720 140732037065114 140732037065191 140732037065191 140732037070795 0
/proc/115516/statm: 192596 144033 4448 2834 0 174801 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 770384 KiB
Current children cumulated memory: 576132 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 115843
/proc/meminfo: memFree=106265924/131249996 swapFree=33010160/33010684
[pid=115516] ppid=115513 vsize=945652 memory=722692 CPUtime=460.97 cores=0,2
/proc/115516/stat : 115516 (mixed-bag) R 115513 115516 114684 0 -1 4194304 115829 0 0 0 45884 213 0 0 20 0 1 0 142082085 968347648 180673 18446744073709551615 4235264 15840557 140732037060784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54046720 140732037065114 140732037065191 140732037065191 140732037070795 0
/proc/115516/statm: 236413 180673 4448 2834 0 218618 0
Current children cumulated CPU time: 460.97 s

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

Current children cumulated memory: 1985696 KiB

[startup+2862.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 115966
/proc/meminfo: memFree=104711088/131249996 swapFree=33010160/33010684
[pid=115516] ppid=115513 vsize=2176824 memory=1986080 CPUtime=2854.23 cores=0,2
/proc/115516/stat : 115516 (mixed-bag) R 115513 115516 114684 0 -1 4194304 264962 0 0 0 284075 1348 0 0 20 0 1 0 142082085 2229067776 496520 18446744073709551615 4235264 15840557 140732037060784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54046720 140732037065114 140732037065191 140732037065191 140732037070795 0
/proc/115516/statm: 544206 496520 4448 2834 0 526411 0
Current children cumulated CPU time: 2854.23 s
Current children cumulated vsize: 2176824 KiB
Current children cumulated memory: 1986080 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 115968
/proc/meminfo: memFree=104711784/131249996 swapFree=33010160/33010684
[pid=115516] ppid=115513 vsize=2176824 memory=1986080 CPUtime=2914.05 cores=0,2
/proc/115516/stat : 115516 (mixed-bag) R 115513 115516 114684 0 -1 4194304 265253 0 0 0 290039 1366 0 0 20 0 1 0 142082085 2229067776 496520 18446744073709551615 4235264 15840557 140732037060784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54046720 140732037065114 140732037065191 140732037065191 140732037070795 0
/proc/115516/statm: 544206 496520 4448 2834 0 526411 0
Current children cumulated CPU time: 2914.05 s
Current children cumulated vsize: 2176824 KiB
Current children cumulated memory: 1986080 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 115974
/proc/meminfo: memFree=104712524/131249996 swapFree=33010160/33010684
[pid=115516] ppid=115513 vsize=2176824 memory=1986080 CPUtime=2973.89 cores=0,2
/proc/115516/stat : 115516 (mixed-bag) R 115513 115516 114684 0 -1 4194304 265895 0 0 0 296000 1389 0 0 20 0 1 0 142082085 2229067776 496520 18446744073709551615 4235264 15840557 140732037060784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54046720 140732037065114 140732037065191 140732037065191 140732037070795 0
/proc/115516/statm: 544206 496520 4448 2834 0 526411 0
Current children cumulated CPU time: 2973.89 s
Current children cumulated vsize: 2176824 KiB
Current children cumulated memory: 1986080 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 115976
/proc/meminfo: memFree=104709116/131249996 swapFree=33010160/33010684
[pid=115516] ppid=115513 vsize=2176824 memory=1996364 CPUtime=3033.74 cores=0,2
/proc/115516/stat : 115516 (mixed-bag) R 115513 115516 114684 0 -1 4194304 265957 0 0 0 301969 1405 0 0 20 0 1 0 142082085 2229067776 499091 18446744073709551615 4235264 15840557 140732037060784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54046720 140732037065114 140732037065191 140732037065191 140732037070795 0
/proc/115516/statm: 544206 499091 4448 2834 0 526411 0
Current children cumulated CPU time: 3033.74 s
Current children cumulated vsize: 2176824 KiB
Current children cumulated memory: 1996364 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 115982
/proc/meminfo: memFree=104724924/131249996 swapFree=33010160/33010684
[pid=115516] ppid=115513 vsize=2176824 memory=1996364 CPUtime=3093.57 cores=0,2
/proc/115516/stat : 115516 (mixed-bag) R 115513 115516 114684 0 -1 4194304 265957 0 0 0 307938 1419 0 0 20 0 1 0 142082085 2229067776 499091 18446744073709551615 4235264 15840557 140732037060784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54046720 140732037065114 140732037065191 140732037065191 140732037070795 0
/proc/115516/statm: 544206 499091 4448 2834 0 526411 0
Current children cumulated CPU time: 3093.57 s
Current children cumulated vsize: 2176824 KiB
Current children cumulated memory: 1996364 KiB

[startup+3162.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 115984
/proc/meminfo: memFree=104700772/131249996 swapFree=33010160/33010684
[pid=115516] ppid=115513 vsize=2177080 memory=2015052 CPUtime=3153.41 cores=0,2
/proc/115516/stat : 115516 (mixed-bag) R 115513 115516 114684 0 -1 4194304 266030 0 0 0 313896 1445 0 0 20 0 1 0 142082085 2229329920 503763 18446744073709551615 4235264 15840557 140732037060784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54046720 140732037065114 140732037065191 140732037065191 140732037070795 0
/proc/115516/statm: 544270 503763 4448 2834 0 526475 0
Current children cumulated CPU time: 3153.41 s
Current children cumulated vsize: 2177080 KiB
Current children cumulated memory: 2015052 KiB

[startup+3222.3 s]
/proc/loadavg: 4.29 4.13 4.10 5/264 115986
/proc/meminfo: memFree=104700868/131249996 swapFree=33010160/33010684
[pid=115516] ppid=115513 vsize=2177080 memory=2015052 CPUtime=3213.25 cores=0,2
/proc/115516/stat : 115516 (mixed-bag) R 115513 115516 114684 0 -1 4194304 266030 0 0 0 319863 1462 0 0 20 0 1 0 142082085 2229329920 503763 18446744073709551615 4235264 15840557 140732037060784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54046720 140732037065114 140732037065191 140732037065191 140732037070795 0
/proc/115516/statm: 544270 503763 4448 2834 0 526475 0
Current children cumulated CPU time: 3213.25 s
Current children cumulated vsize: 2177080 KiB
Current children cumulated memory: 2015052 KiB

[startup+3282.3 s]
/proc/loadavg: 4.28 4.16 4.11 5/263 115988
/proc/meminfo: memFree=104704660/131249996 swapFree=33010160/33010684
[pid=115516] ppid=115513 vsize=2177592 memory=2015436 CPUtime=3273.09 cores=0,2
/proc/115516/stat : 115516 (mixed-bag) R 115513 115516 114684 0 -1 4194304 266774 0 0 0 325825 1484 0 0 20 0 1 0 142082085 2229854208 503859 18446744073709551615 4235264 15840557 140732037060784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54046720 140732037065114 140732037065191 140732037065191 140732037070795 0
/proc/115516/statm: 544398 503859 4448 2834 0 526603 0
Current children cumulated CPU time: 3273.09 s
Current children cumulated vsize: 2177592 KiB
Current children cumulated memory: 2015436 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/264 115991
/proc/meminfo: memFree=104704360/131249996 swapFree=33010160/33010684
[pid=115516] ppid=115513 vsize=2177592 memory=2015436 CPUtime=3332.91 cores=0,2
/proc/115516/stat : 115516 (mixed-bag) R 115513 115516 114684 0 -1 4194304 267066 0 0 0 331790 1501 0 0 20 0 1 0 142082085 2229854208 503859 18446744073709551615 4235264 15840557 140732037060784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54046720 140732037065114 140732037065191 140732037065191 140732037070795 0
/proc/115516/statm: 544398 503859 4448 2834 0 526603 0
Current children cumulated CPU time: 3332.91 s
Current children cumulated vsize: 2177592 KiB
Current children cumulated memory: 2015436 KiB

[startup+3402.3 s]
/proc/loadavg: 4.50 4.23 4.14 5/264 115993
/proc/meminfo: memFree=104700400/131249996 swapFree=33010160/33010684
[pid=115516] ppid=115513 vsize=2177592 memory=2021628 CPUtime=3392.75 cores=0,2
/proc/115516/stat : 115516 (mixed-bag) R 115513 115516 114684 0 -1 4194304 267110 0 0 0 337754 1521 0 0 20 0 1 0 142082085 2229854208 505407 18446744073709551615 4235264 15840557 140732037060784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54046720 140732037065114 140732037065191 140732037065191 140732037070795 0
/proc/115516/statm: 544398 505407 4448 2834 0 526603 0
Current children cumulated CPU time: 3392.75 s
Current children cumulated vsize: 2177592 KiB
Current children cumulated memory: 2021628 KiB

[startup+3462.3 s]
/proc/loadavg: 4.25 4.20 4.13 5/264 115995
/proc/meminfo: memFree=104696200/131249996 swapFree=33010160/33010684
[pid=115516] ppid=115513 vsize=2177592 memory=2021628 CPUtime=3452.59 cores=0,2
/proc/115516/stat : 115516 (mixed-bag) R 115513 115516 114684 0 -1 4194304 267114 0 0 0 343728 1531 0 0 20 0 1 0 142082085 2229854208 505407 18446744073709551615 4235264 15840557 140732037060784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54046720 140732037065114 140732037065191 140732037065191 140732037070795 0
/proc/115516/statm: 544398 505407 4448 2834 0 526603 0
Current children cumulated CPU time: 3452.59 s
Current children cumulated vsize: 2177592 KiB
Current children cumulated memory: 2021628 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.18 4.13 5/265 115998
/proc/meminfo: memFree=104690164/131249996 swapFree=33010160/33010684
[pid=115516] ppid=115513 vsize=2177592 memory=2025744 CPUtime=3512.42 cores=0,2
/proc/115516/stat : 115516 (mixed-bag) R 115513 115516 114684 0 -1 4194304 267117 0 0 0 349694 1548 0 0 20 0 1 0 142082085 2229854208 506436 18446744073709551615 4235264 15840557 140732037060784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54046720 140732037065114 140732037065191 140732037065191 140732037070795 0
/proc/115516/statm: 544398 506436 4448 2834 0 526603 0
Current children cumulated CPU time: 3512.42 s
Current children cumulated vsize: 2177592 KiB
Current children cumulated memory: 2025744 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.16 4.12 5/266 116003
/proc/meminfo: memFree=104678348/131249996 swapFree=33010160/33010684
[pid=115516] ppid=115513 vsize=2177592 memory=2031888 CPUtime=3572.26 cores=0,2
/proc/115516/stat : 115516 (mixed-bag) R 115513 115516 114684 0 -1 4194304 267120 0 0 0 355666 1560 0 0 20 0 1 0 142082085 2229854208 507972 18446744073709551615 4235264 15840557 140732037060784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54046720 140732037065114 140732037065191 140732037065191 140732037070795 0
/proc/115516/statm: 544398 507972 4448 2834 0 526603 0
Current children cumulated CPU time: 3572.26 s
Current children cumulated vsize: 2177592 KiB
Current children cumulated memory: 2031888 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.2 s]
/proc/loadavg: 4.05 4.14 4.11 5/265 116004
/proc/meminfo: memFree=104678608/131249996 swapFree=33010160/33010684
[pid=115516] ppid=115513 vsize=2177592 memory=2031888 CPUtime=3600.08 cores=0,2
/proc/115516/stat : 115516 (mixed-bag) R 115513 115516 114684 0 -1 4194304 267632 0 0 0 358439 1569 0 0 20 0 1 0 142082085 2229854208 507972 18446744073709551615 4235264 15840557 140732037060784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54046720 140732037065114 140732037065191 140732037065191 140732037070795 0
/proc/115516/statm: 544398 507972 4448 2834 0 526603 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2177592 KiB
Current children cumulated memory: 2031888 KiB

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

[startup+3610.21 s]
# the end of solver process 115516 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3584.4 s, system=15.7023 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0

Real time (s): 3610.21
CPU time (s): 3600.1
CPU user time (s): 3584.4
CPU system time (s): 15.7023
CPU usage (%): 99.7201
Max. virtual memory (cumulated for all children) (KiB): 2177592
Max. memory (cumulated for all children) (KiB): 2031888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.4
system time used= 15.7023
maximum resident set size= 2032400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267661
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 465
involuntary context switches= 7957


# summary of solver processes directly reported to runsolver:
#   pid: 115516
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3584.4
#   total CPU system time (s): 15.7023

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.79744 second user time and 14.4955 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2025-07-11 22:00:34
IDJOB=4529321
IDBENCH=178131
IDSOLVER=3386
FILE ID=nodeC032/4529321-1752264034
RUNJOBID= nodeC032-1752256808-114694
SLURM_JOB_ID= 9682604
Free space on /tmp= 428484 MiB

SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_390.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529321-1752264034/watcher-4529321-1752264034 -o /tmp/evaluation-result-4529321-1752264034/solver-4529321-1752264034 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1752256808-114694 --watchdog 3760  mixed-bag HOME/instance-4529321-1752264034.opb

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

MD5SUM BENCH= afdfd31183e0ea33549619d38bec04c1
RANDOM SEED=387057065

nodeC032 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3599.947
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
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		: 3599.948
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
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		: 3599.843
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
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		: 3599.944
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
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		: 3599.845
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
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		: 3599.843
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
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		: 3600.130
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
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		: 3607.013
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        101553824 kB
MemAvailable:   122152420 kB
Buffers:            2728 kB
Cached:         21273984 kB
SwapCached:           20 kB
Active:          7918736 kB
Inactive:       20850312 kB
Active(anon):    7507260 kB
Inactive(anon):     3124 kB
Active(file):     411476 kB
Inactive(file): 20847188 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             32264 kB
Writeback:           136 kB
AnonPages:       7494848 kB
Mapped:           119552 kB
Shmem:             18048 kB
KReclaimable:     358344 kB
Slab:             455864 kB
SReclaimable:     358344 kB
SUnreclaim:        97520 kB
KernelStack:        4224 kB
PageTables:        17872 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    8043792 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150504 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1708032 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 428560 MiB
End job on nodeC032 at 2025-07-11 23:00:45