Trace number 4520655

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-05-06? (TO) 3600.07 3611.22

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_430.opb
MD5SUMb3bab28fe93ea42b1817acfaffdcfb3a
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2044
Best CPU time to get the best result obtained on this benchmark3586.66
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8170
Total number of constraints8170
Number of constraints which are clauses8170
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 8170
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 8170
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 8170
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.02	c RoundingSat 2
0.00/0.02	c branch 
0.00/0.02	c commit 
0.00/0.02	c with Papilo
0.00/0.02	c with SCIP
0.00/0.02	c [STEP] parsing instance
0.08/0.11	c [STEP] preprocessing with Papilo
0.08/0.14	c Papilo could not simplify the problem
0.08/0.14	c [STEP] solving with SCIP
299.14/300.19	c [STEP] preprocessing done, loading into solver
299.22/300.21	c [STEP] solving
299.22/300.21	c #variables 8171 #constraints 8170
299.22/300.21	c SMALL=int, LARGE=long long
299.22/300.21	d SCIPUB 2103
299.22/300.21	c bounds - >= 0 @ 299.11
299.22/300.21	c stratification level: 0
299.32/300.38	c bounds - >= 1 @ 299.144
299.32/300.38	c bounds - >= 2 @ 299.145
299.32/300.38	c bounds - >= 3 @ 299.146
299.32/300.38	c bounds - >= 4 @ 299.147
299.32/300.38	c bounds - >= 5 @ 299.148
299.32/300.38	c bounds - >= 6 @ 299.149
299.32/300.38	c bounds - >= 7 @ 299.149
299.32/300.38	c bounds - >= 8 @ 299.15
299.32/300.38	c bounds - >= 9 @ 299.151
299.32/300.38	c bounds - >= 10 @ 299.152
299.32/300.38	c bounds - >= 11 @ 299.153
299.32/300.38	c bounds - >= 12 @ 299.154
299.32/300.38	c bounds - >= 13 @ 299.155
299.32/300.38	c bounds - >= 14 @ 299.156
299.32/300.38	c bounds - >= 15 @ 299.156
299.32/300.38	c bounds - >= 16 @ 299.157
299.32/300.38	c bounds - >= 17 @ 299.157
299.32/300.38	c bounds - >= 18 @ 299.158
299.32/300.38	c bounds - >= 19 @ 299.159
299.32/300.38	c bounds - >= 20 @ 299.16
299.32/300.38	c bounds - >= 21 @ 299.161
299.32/300.38	c bounds - >= 22 @ 299.161
299.32/300.38	c bounds - >= 23 @ 299.162
299.32/300.38	c bounds - >= 24 @ 299.163
299.32/300.38	c bounds - >= 25 @ 299.164
299.32/300.38	c bounds - >= 26 @ 299.165
299.32/300.38	c bounds - >= 27 @ 299.166
299.32/300.38	c bounds - >= 28 @ 299.166
299.32/300.38	c bounds - >= 29 @ 299.167
299.32/300.38	c bounds - >= 30 @ 299.168
299.32/300.38	c bounds - >= 31 @ 299.169
299.32/300.38	c bounds - >= 32 @ 299.17
299.32/300.38	c bounds - >= 33 @ 299.171
299.32/300.38	c bounds - >= 34 @ 299.171
299.32/300.38	c bounds - >= 35 @ 299.172
299.32/300.38	c bounds - >= 36 @ 299.173
299.32/300.38	c bounds - >= 37 @ 299.174
299.32/300.38	c bounds - >= 38 @ 299.175
299.32/300.38	c bounds - >= 39 @ 299.176
299.32/300.38	c bounds - >= 40 @ 299.176
299.32/300.38	c bounds - >= 41 @ 299.177
299.32/300.38	c bounds - >= 42 @ 299.178
299.32/300.38	c bounds - >= 43 @ 299.179
299.32/300.38	c bounds - >= 44 @ 299.18
299.32/300.38	c bounds - >= 45 @ 299.18
299.32/300.38	c bounds - >= 46 @ 299.181
299.32/300.38	c bounds - >= 47 @ 299.182
299.32/300.38	c bounds - >= 48 @ 299.183
299.32/300.38	c bounds - >= 49 @ 299.184
299.32/300.38	c bounds - >= 50 @ 299.185
299.32/300.38	c bounds - >= 51 @ 299.186
299.32/300.38	c bounds - >= 52 @ 299.186
299.32/300.38	c bounds - >= 53 @ 299.187
299.32/300.38	c bounds - >= 54 @ 299.188
299.32/300.38	c bounds - >= 55 @ 299.188
299.32/300.38	c bounds - >= 56 @ 299.189
299.32/300.38	c bounds - >= 57 @ 299.189
299.32/300.38	c bounds - >= 58 @ 299.19
299.32/300.38	c bounds - >= 59 @ 299.191
299.32/300.38	c bounds - >= 60 @ 299.192
299.32/300.38	c bounds - >= 61 @ 299.193
299.32/300.38	c bounds - >= 62 @ 299.193
299.32/300.38	c bounds - >= 63 @ 299.194
299.32/300.38	c bounds - >= 64 @ 299.195
299.32/300.38	c bounds - >= 65 @ 299.196
299.32/300.38	c bounds - >= 66 @ 299.197
299.32/300.38	c bounds - >= 67 @ 299.198
299.32/300.38	c bounds - >= 68 @ 299.198
299.32/300.38	c bounds - >= 69 @ 299.199
299.32/300.38	c bounds - >= 70 @ 299.2
299.32/300.38	c bounds - >= 71 @ 299.2
299.32/300.38	c bounds - >= 72 @ 299.201
299.32/300.38	c bounds - >= 73 @ 299.202
299.32/300.38	c bounds - >= 74 @ 299.203
299.32/300.38	c bounds - >= 75 @ 299.203
299.32/300.38	c bounds - >= 76 @ 299.204
299.32/300.38	c bounds - >= 77 @ 299.205
299.32/300.38	c bounds - >= 78 @ 299.206
299.32/300.38	c bounds - >= 79 @ 299.207
299.32/300.38	c bounds - >= 80 @ 299.208
299.32/300.38	c bounds - >= 81 @ 299.209
299.32/300.38	c bounds - >= 82 @ 299.209
299.32/300.38	c bounds - >= 83 @ 299.21
299.32/300.38	c bounds - >= 84 @ 299.211
299.32/300.38	c bounds - >= 85 @ 299.212
299.32/300.38	c bounds - >= 86 @ 299.213
299.32/300.38	c bounds - >= 87 @ 299.214
299.32/300.38	c bounds - >= 88 @ 299.215
299.32/300.38	c bounds - >= 89 @ 299.215
299.32/300.38	c bounds - >= 90 @ 299.216
299.32/300.38	c bounds - >= 91 @ 299.217
299.32/300.38	c bounds - >= 92 @ 299.218
299.32/300.38	c bounds - >= 93 @ 299.219
299.32/300.38	c bounds - >= 94 @ 299.22
299.32/300.38	c bounds - >= 95 @ 299.221
299.32/300.38	c bounds - >= 96 @ 299.221
299.32/300.38	c bounds - >= 97 @ 299.222
299.32/300.38	c bounds - >= 98 @ 299.223
299.32/300.38	c bounds - >= 99 @ 299.223
299.32/300.38	c bounds - >= 100 @ 299.224
299.32/300.38	c bounds - >= 101 @ 299.225
299.32/300.38	c bounds - >= 102 @ 299.225
299.32/300.38	c bounds - >= 103 @ 299.225
299.32/300.38	c bounds - >= 104 @ 299.226
299.32/300.38	c bounds - >= 105 @ 299.227
299.32/300.38	c bounds - >= 106 @ 299.228
299.32/300.38	c bounds - >= 107 @ 299.229
299.32/300.38	c bounds - >= 108 @ 299.23
299.32/300.38	c bounds - >= 109 @ 299.23
299.32/300.38	c bounds - >= 110 @ 299.231
299.32/300.38	c bounds - >= 111 @ 299.232
299.32/300.38	c bounds - >= 112 @ 299.233
299.32/300.38	c bounds - >= 113 @ 299.234
299.32/300.38	c bounds - >= 114 @ 299.235
299.32/300.38	c bounds - >= 115 @ 299.236
299.32/300.38	c bounds - >= 116 @ 299.236
299.32/300.38	c bounds - >= 117 @ 299.237
299.32/300.38	c bounds - >= 118 @ 299.238
299.32/300.38	c bounds - >= 119 @ 299.239
299.32/300.38	c bounds - >= 120 @ 299.24
299.32/300.38	c bounds - >= 121 @ 299.241
299.32/300.38	c bounds - >= 122 @ 299.242
299.32/300.38	c bounds - >= 123 @ 299.242
299.32/300.38	c bounds - >= 124 @ 299.243
299.32/300.38	c bounds - >= 125 @ 299.244
299.32/300.38	c bounds - >= 126 @ 299.245
299.32/300.38	c bounds - >= 127 @ 299.246
299.32/300.38	c bounds - >= 128 @ 299.247
299.32/300.38	c bounds - >= 129 @ 299.248
299.32/300.38	c bounds - >= 130 @ 299.248
299.32/300.38	c bounds - >= 131 @ 299.249
299.32/300.38	c bounds - >= 132 @ 299.25
299.32/300.38	c bounds - >= 133 @ 299.251
299.32/300.38	c bounds - >= 134 @ 299.252
299.32/300.38	c bounds - >= 135 @ 299.252
299.32/300.38	c bounds - >= 136 @ 299.253
299.32/300.38	c bounds - >= 137 @ 299.254
299.32/300.38	c bounds - >= 138 @ 299.254
299.32/300.38	c bounds - >= 139 @ 299.255
299.32/300.38	c bounds - >= 140 @ 299.256
299.32/300.38	c bounds - >= 141 @ 299.257
299.32/300.38	c bounds - >= 142 @ 299.258
299.32/300.38	c bounds - >= 143 @ 299.258
299.32/300.38	c bounds - >= 144 @ 299.259
299.32/300.38	c bounds - >= 145 @ 299.26
299.32/300.38	c bounds - >= 146 @ 299.261
299.32/300.38	c bounds - >= 147 @ 299.262
299.32/300.38	c bounds - >= 148 @ 299.263
299.32/300.38	c bounds - >= 149 @ 299.263
299.32/300.38	c bounds - >= 150 @ 299.264
299.32/300.38	c bounds - >= 151 @ 299.265
299.52/300.51	c bounds - >= 152 @ 299.266
299.52/300.51	c bounds - >= 153 @ 299.267
299.52/300.51	c bounds - >= 154 @ 299.268
299.52/300.51	c bounds - >= 155 @ 299.268
299.52/300.51	c bounds - >= 156 @ 299.269
299.52/300.51	c bounds - >= 157 @ 299.27
299.52/300.51	c bounds - >= 158 @ 299.271
299.52/300.51	c bounds - >= 159 @ 299.272
299.52/300.51	c bounds - >= 160 @ 299.273
299.52/300.51	c bounds - >= 161 @ 299.274
299.52/300.51	c bounds - >= 162 @ 299.274
299.52/300.51	c bounds - >= 163 @ 299.275
299.52/300.51	c bounds - >= 164 @ 299.276
299.52/300.51	c bounds - >= 165 @ 299.277
299.52/300.51	c bounds - >= 166 @ 299.278
299.52/300.51	c bounds - >= 167 @ 299.279
299.52/300.51	c bounds - >= 168 @ 299.28
299.52/300.51	c bounds - >= 169 @ 299.28
299.52/300.51	c bounds - >= 170 @ 299.281
299.52/300.51	c bounds - >= 171 @ 299.282
299.52/300.51	c bounds - >= 172 @ 299.283
299.52/300.51	c bounds - >= 173 @ 299.284
299.52/300.51	c bounds - >= 174 @ 299.285
299.52/300.51	c bounds - >= 175 @ 299.286
299.52/300.51	c bounds - >= 176 @ 299.286
299.52/300.51	c bounds - >= 177 @ 299.287
299.52/300.51	c bounds - >= 178 @ 299.288
299.52/300.51	c bounds - >= 179 @ 299.289
299.52/300.51	c bounds - >= 180 @ 299.29
299.52/300.51	c bounds - >= 181 @ 299.29
299.52/300.51	c bounds - >= 182 @ 299.291
299.52/300.51	c bounds - >= 183 @ 299.292
299.52/300.51	c bounds - >= 184 @ 299.293
299.52/300.51	c bounds - >= 185 @ 299.294
299.52/300.51	c bounds - >= 186 @ 299.295
299.52/300.51	c bounds - >= 187 @ 299.295
299.52/300.51	c bounds - >= 188 @ 299.296
299.52/300.51	c bounds - >= 189 @ 299.297
299.52/300.51	c bounds - >= 190 @ 299.298
299.52/300.51	c bounds - >= 191 @ 299.299
299.52/300.51	c bounds - >= 192 @ 299.3
299.52/300.51	c bounds - >= 193 @ 299.301
299.52/300.51	c bounds - >= 194 @ 299.301
299.52/300.51	c bounds - >= 195 @ 299.302
299.52/300.51	c bounds - >= 196 @ 299.303
299.52/300.51	c bounds - >= 197 @ 299.304
299.52/300.51	c bounds - >= 198 @ 299.305
299.52/300.51	c bounds - >= 199 @ 299.306
299.52/300.51	c bounds - >= 200 @ 299.307
299.52/300.51	c bounds - >= 201 @ 299.307
299.52/300.51	c bounds - >= 202 @ 299.308
299.52/300.51	c bounds - >= 203 @ 299.309
299.52/300.51	c bounds - >= 204 @ 299.31
299.52/300.51	c bounds - >= 205 @ 299.311
299.52/300.51	c bounds - >= 206 @ 299.312
299.52/300.51	c bounds - >= 207 @ 299.313
299.52/300.51	c bounds - >= 208 @ 299.313
299.52/300.51	c bounds - >= 209 @ 299.314
299.52/300.51	c bounds - >= 210 @ 299.315
299.52/300.51	c bounds - >= 211 @ 299.316
299.52/300.51	c bounds - >= 212 @ 299.317
299.52/300.51	c bounds - >= 213 @ 299.318
299.52/300.51	c bounds - >= 214 @ 299.319
299.52/300.51	c bounds - >= 215 @ 299.319
299.52/300.51	c bounds - >= 216 @ 299.32
299.52/300.51	c bounds - >= 217 @ 299.321
299.52/300.51	c bounds - >= 218 @ 299.322
299.52/300.51	c bounds - >= 219 @ 299.322
299.52/300.51	c bounds - >= 220 @ 299.323
299.52/300.51	c bounds - >= 221 @ 299.323
299.52/300.51	c bounds - >= 222 @ 299.324
299.52/300.51	c bounds - >= 223 @ 299.325
299.52/300.51	c bounds - >= 224 @ 299.326
299.52/300.51	c bounds - >= 225 @ 299.327
299.52/300.51	c bounds - >= 226 @ 299.328
299.52/300.51	c bounds - >= 227 @ 299.329
299.52/300.51	c bounds - >= 228 @ 299.329
299.52/300.51	c bounds - >= 229 @ 299.33
299.52/300.51	c bounds - >= 230 @ 299.331
299.52/300.51	c bounds - >= 231 @ 299.332
299.52/300.51	c bounds - >= 232 @ 299.333
299.52/300.51	c bounds - >= 233 @ 299.334
299.52/300.51	c bounds - >= 234 @ 299.335
299.52/300.51	c bounds - >= 235 @ 299.335
299.52/300.51	c bounds - >= 236 @ 299.336
299.52/300.51	c bounds - >= 237 @ 299.337
299.52/300.51	c bounds - >= 238 @ 299.338
299.52/300.51	c bounds - >= 239 @ 299.339
299.52/300.51	c bounds - >= 240 @ 299.34
299.52/300.51	c bounds - >= 241 @ 299.341
299.52/300.51	c bounds - >= 242 @ 299.342
299.52/300.51	c bounds - >= 243 @ 299.342
299.52/300.51	c bounds - >= 244 @ 299.343
299.52/300.51	c bounds - >= 245 @ 299.344
299.52/300.51	c bounds - >= 246 @ 299.345
299.52/300.51	c bounds - >= 247 @ 299.346
299.52/300.51	c bounds - >= 248 @ 299.347
299.52/300.51	c bounds - >= 249 @ 299.347
299.52/300.51	c bounds - >= 250 @ 299.348
299.52/300.51	c bounds - >= 251 @ 299.349
299.52/300.51	c bounds - >= 252 @ 299.35
299.52/300.51	c bounds - >= 253 @ 299.351
299.52/300.51	c bounds - >= 254 @ 299.351
299.52/300.51	c bounds - >= 255 @ 299.352
299.52/300.51	c bounds - >= 256 @ 299.352
299.52/300.51	c bounds - >= 257 @ 299.353
299.52/300.51	c bounds - >= 258 @ 299.354
299.52/300.51	c bounds - >= 259 @ 299.355
299.52/300.51	c bounds - >= 260 @ 299.356
299.52/300.51	c bounds - >= 261 @ 299.357
299.52/300.51	c bounds - >= 262 @ 299.357
299.52/300.51	c bounds - >= 263 @ 299.358
299.52/300.51	c bounds - >= 264 @ 299.359
299.52/300.51	c bounds - >= 265 @ 299.36
299.52/300.51	c bounds - >= 266 @ 299.361
299.52/300.51	c bounds - >= 267 @ 299.362
299.52/300.51	c bounds - >= 268 @ 299.362
299.52/300.51	c bounds - >= 269 @ 299.363
299.52/300.51	c bounds - >= 270 @ 299.364
299.52/300.51	c bounds - >= 271 @ 299.365
299.52/300.51	c bounds - >= 272 @ 299.366
299.52/300.51	c bounds - >= 273 @ 299.367
299.52/300.51	c bounds - >= 274 @ 299.367
299.52/300.51	c bounds - >= 275 @ 299.368
299.52/300.51	c bounds - >= 276 @ 299.369
299.52/300.51	c bounds - >= 277 @ 299.37
299.52/300.51	c bounds - >= 278 @ 299.371
299.52/300.51	c bounds - >= 279 @ 299.371
299.52/300.51	c bounds - >= 280 @ 299.371
299.52/300.51	c bounds - >= 281 @ 299.372
299.52/300.51	c bounds - >= 282 @ 299.373
299.52/300.51	c bounds - >= 283 @ 299.374
299.52/300.51	c bounds - >= 284 @ 299.375
299.52/300.51	c bounds - >= 285 @ 299.376
299.52/300.51	c bounds - >= 286 @ 299.377
299.52/300.51	c bounds - >= 287 @ 299.377
299.52/300.51	c bounds - >= 288 @ 299.378
299.52/300.51	c bounds - >= 289 @ 299.379
299.52/300.51	c bounds - >= 290 @ 299.38
299.52/300.51	c bounds - >= 291 @ 299.381
299.52/300.51	c bounds - >= 292 @ 299.382
299.52/300.51	c bounds - >= 293 @ 299.382
299.52/300.51	c bounds - >= 294 @ 299.383
299.52/300.51	c bounds - >= 295 @ 299.384
299.52/300.51	c bounds - >= 296 @ 299.385
299.52/300.51	c bounds - >= 297 @ 299.386
299.52/300.51	c bounds - >= 298 @ 299.386
299.63/300.63	c bounds - >= 299 @ 299.387
299.63/300.63	c bounds - >= 300 @ 299.388
299.63/300.63	c bounds - >= 301 @ 299.389
299.63/300.63	c bounds - >= 302 @ 299.39
299.63/300.63	c bounds - >= 303 @ 299.39
299.63/300.63	c bounds - >= 304 @ 299.391
299.63/300.63	c bounds - >= 305 @ 299.392
299.63/300.63	c bounds - >= 306 @ 299.393
299.63/300.63	c bounds - >= 307 @ 299.394
299.63/300.63	c bounds - >= 308 @ 299.394
299.63/300.63	c bounds - >= 309 @ 299.394
299.63/300.63	c bounds - >= 310 @ 299.395
299.63/300.63	c bounds - >= 311 @ 299.396
299.63/300.63	c bounds - >= 312 @ 299.397
299.63/300.63	c bounds - >= 313 @ 299.398
299.63/300.63	c bounds - >= 314 @ 299.399
299.63/300.63	c bounds - >= 315 @ 299.4
299.63/300.63	c bounds - >= 316 @ 299.4
299.63/300.63	c bounds - >= 317 @ 299.401
299.63/300.63	c bounds - >= 318 @ 299.402
299.63/300.63	c bounds - >= 319 @ 299.403
299.63/300.63	c bounds - >= 320 @ 299.404
299.63/300.63	c bounds - >= 321 @ 299.405
299.63/300.63	c bounds - >= 322 @ 299.406
299.63/300.63	c bounds - >= 323 @ 299.406
299.63/300.63	c bounds - >= 324 @ 299.407
299.63/300.63	c bounds - >= 325 @ 299.407
299.63/300.63	c bounds - >= 326 @ 299.408
299.63/300.63	c bounds - >= 327 @ 299.409
299.63/300.63	c bounds - >= 328 @ 299.409
299.63/300.63	c bounds - >= 329 @ 299.409
299.63/300.63	c bounds - >= 330 @ 299.41
299.63/300.63	c bounds - >= 331 @ 299.411
299.63/300.63	c bounds - >= 332 @ 299.412
299.63/300.63	c bounds - >= 333 @ 299.413
299.63/300.63	c bounds - >= 334 @ 299.414
299.63/300.63	c bounds - >= 335 @ 299.414
299.63/300.63	c bounds - >= 336 @ 299.414
299.63/300.63	c bounds - >= 337 @ 299.415
299.63/300.63	c bounds - >= 338 @ 299.416
299.63/300.63	c bounds - >= 339 @ 299.417
299.63/300.63	c bounds - >= 340 @ 299.418
299.63/300.63	c bounds - >= 341 @ 299.418
299.63/300.63	c bounds - >= 342 @ 299.419
299.63/300.63	c bounds - >= 343 @ 299.42
299.63/300.63	c bounds - >= 344 @ 299.421
299.63/300.63	c bounds - >= 345 @ 299.422
299.63/300.63	c bounds - >= 346 @ 299.423
299.63/300.63	c bounds - >= 347 @ 299.424
299.63/300.63	c bounds - >= 348 @ 299.425
299.63/300.63	c bounds - >= 349 @ 299.425
299.63/300.63	c bounds - >= 350 @ 299.426
299.63/300.63	c bounds - >= 351 @ 299.427
299.63/300.63	c bounds - >= 352 @ 299.428
299.63/300.63	c bounds - >= 353 @ 299.429
299.63/300.63	c bounds - >= 354 @ 299.429
299.63/300.63	c bounds - >= 355 @ 299.43
299.63/300.63	c bounds - >= 356 @ 299.431
299.63/300.63	c bounds - >= 357 @ 299.432
299.63/300.63	c bounds - >= 358 @ 299.433
299.63/300.63	c bounds - >= 359 @ 299.434
299.63/300.63	c bounds - >= 360 @ 299.434
299.63/300.63	c bounds - >= 361 @ 299.435
299.63/300.63	c bounds - >= 362 @ 299.436
299.63/300.63	c bounds - >= 363 @ 299.437
299.63/300.63	c bounds - >= 364 @ 299.438
299.63/300.63	c bounds - >= 365 @ 299.438
299.63/300.63	c bounds - >= 366 @ 299.439
299.63/300.63	c bounds - >= 367 @ 299.44
299.63/300.63	c bounds - >= 368 @ 299.441
299.63/300.63	c bounds - >= 369 @ 299.442
299.63/300.63	c bounds - >= 370 @ 299.443
299.63/300.63	c bounds - >= 371 @ 299.443
299.63/300.63	c bounds - >= 372 @ 299.444
299.63/300.63	c bounds - >= 373 @ 299.445
299.63/300.63	c bounds - >= 374 @ 299.445
299.63/300.63	c bounds - >= 375 @ 299.446
299.63/300.63	c bounds - >= 376 @ 299.447
299.63/300.63	c bounds - >= 377 @ 299.448
299.63/300.63	c bounds - >= 378 @ 299.448
299.63/300.63	c bounds - >= 379 @ 299.449
299.63/300.63	c bounds - >= 380 @ 299.45
299.63/300.63	c bounds - >= 381 @ 299.451
299.63/300.63	c bounds - >= 382 @ 299.452
299.63/300.63	c bounds - >= 383 @ 299.452
299.63/300.63	c bounds - >= 384 @ 299.453
299.63/300.63	c bounds - >= 385 @ 299.454
299.63/300.63	c bounds - >= 386 @ 299.455
299.63/300.63	c bounds - >= 387 @ 299.456
299.63/300.63	c bounds - >= 388 @ 299.457
299.63/300.63	c bounds - >= 389 @ 299.457
299.63/300.63	c bounds - >= 390 @ 299.458
299.63/300.63	c bounds - >= 391 @ 299.459
299.63/300.63	c bounds - >= 392 @ 299.46
299.63/300.63	c bounds - >= 393 @ 299.461
299.63/300.63	c bounds - >= 394 @ 299.462
299.63/300.63	c bounds - >= 395 @ 299.462
299.63/300.63	c bounds - >= 396 @ 299.463
299.63/300.63	c bounds - >= 397 @ 299.464
299.63/300.63	c bounds - >= 398 @ 299.465
299.63/300.63	c bounds - >= 399 @ 299.466
299.63/300.63	c bounds - >= 400 @ 299.467
299.63/300.63	c bounds - >= 401 @ 299.467
299.63/300.63	c bounds - >= 402 @ 299.468
299.63/300.63	c bounds - >= 403 @ 299.469
299.63/300.63	c bounds - >= 404 @ 299.47
299.63/300.63	c bounds - >= 405 @ 299.471
299.63/300.63	c bounds - >= 406 @ 299.471
299.63/300.63	c bounds - >= 407 @ 299.471
299.63/300.63	c bounds - >= 408 @ 299.472
299.63/300.63	c bounds - >= 409 @ 299.473
299.63/300.63	c bounds - >= 410 @ 299.474
299.63/300.63	c bounds - >= 411 @ 299.475
299.63/300.63	c bounds - >= 412 @ 299.475
299.63/300.63	c bounds - >= 413 @ 299.475
299.63/300.63	c bounds - >= 414 @ 299.476
299.63/300.63	c bounds - >= 415 @ 299.477
299.63/300.63	c bounds - >= 416 @ 299.478
299.63/300.63	c bounds - >= 417 @ 299.479
299.63/300.63	c bounds - >= 418 @ 299.479
299.63/300.63	c bounds - >= 419 @ 299.48
299.63/300.63	c bounds - >= 420 @ 299.481
299.63/300.63	c bounds - >= 421 @ 299.482
299.63/300.63	c bounds - >= 422 @ 299.483
299.63/300.63	c bounds - >= 423 @ 299.483
299.63/300.63	c bounds - >= 424 @ 299.484
299.63/300.63	c bounds - >= 425 @ 299.485
299.63/300.63	c bounds - >= 426 @ 299.486
299.63/300.63	c bounds - >= 427 @ 299.487
299.63/300.63	c bounds - >= 428 @ 299.488
299.63/300.63	c bounds - >= 429 @ 299.488
299.63/300.63	c bounds - >= 430 @ 299.489
299.63/300.63	c bounds - >= 431 @ 299.49
299.63/300.63	c bounds - >= 432 @ 299.491
299.63/300.63	c bounds - >= 433 @ 299.492
299.63/300.63	c bounds - >= 434 @ 299.493
299.63/300.63	c bounds - >= 435 @ 299.493
299.63/300.63	c bounds - >= 436 @ 299.494
299.63/300.63	c bounds - >= 437 @ 299.495
299.63/300.63	c bounds - >= 438 @ 299.495
299.63/300.63	c bounds - >= 439 @ 299.496
299.63/300.63	c bounds - >= 440 @ 299.497
299.63/300.63	c bounds - >= 441 @ 299.498
299.63/300.63	c bounds - >= 442 @ 299.499
299.63/300.63	c bounds - >= 443 @ 299.499
299.63/300.63	c bounds - >= 444 @ 299.5
299.63/300.63	c bounds - >= 445 @ 299.5
299.72/300.75	c bounds - >= 446 @ 299.501
299.72/300.75	c bounds - >= 447 @ 299.502
299.72/300.75	c bounds - >= 448 @ 299.503
299.72/300.75	c bounds - >= 449 @ 299.503
299.72/300.75	c bounds - >= 450 @ 299.504
299.72/300.75	c bounds - >= 451 @ 299.505
299.72/300.75	c bounds - >= 452 @ 299.506
299.72/300.75	c bounds - >= 453 @ 299.507
299.72/300.75	c bounds - >= 454 @ 299.507
299.72/300.75	c bounds - >= 455 @ 299.508
299.72/300.75	c bounds - >= 456 @ 299.509
299.72/300.75	c bounds - >= 457 @ 299.51
299.72/300.75	c bounds - >= 458 @ 299.511
299.72/300.75	c bounds - >= 459 @ 299.512
299.72/300.75	c bounds - >= 460 @ 299.512
299.72/300.75	c bounds - >= 461 @ 299.513
299.72/300.75	c bounds - >= 462 @ 299.514
299.72/300.75	c bounds - >= 463 @ 299.515
299.72/300.75	c bounds - >= 464 @ 299.516
299.72/300.75	c bounds - >= 465 @ 299.517
299.72/300.75	c bounds - >= 466 @ 299.517
299.72/300.75	c bounds - >= 467 @ 299.518
299.72/300.75	c bounds - >= 468 @ 299.519
299.72/300.75	c bounds - >= 469 @ 299.52
299.72/300.75	c bounds - >= 470 @ 299.521
299.72/300.75	c bounds - >= 471 @ 299.521
299.72/300.75	c bounds - >= 472 @ 299.522
299.72/300.75	c bounds - >= 473 @ 299.522
299.72/300.75	c bounds - >= 474 @ 299.523
299.72/300.75	c bounds - >= 475 @ 299.524
299.72/300.75	c bounds - >= 476 @ 299.525
299.72/300.75	c bounds - >= 477 @ 299.525
299.72/300.75	c bounds - >= 478 @ 299.526
299.72/300.75	c bounds - >= 479 @ 299.527
299.72/300.75	c bounds - >= 480 @ 299.528
299.72/300.75	c bounds - >= 481 @ 299.529
299.72/300.75	c bounds - >= 482 @ 299.53
299.72/300.75	c bounds - >= 483 @ 299.53
299.72/300.75	c bounds - >= 484 @ 299.531
299.72/300.75	c bounds - >= 485 @ 299.532
299.72/300.75	c bounds - >= 486 @ 299.533
299.72/300.75	c bounds - >= 487 @ 299.534
299.72/300.75	c bounds - >= 488 @ 299.534
299.72/300.75	c bounds - >= 489 @ 299.535
299.72/300.75	c bounds - >= 490 @ 299.535
299.72/300.75	c bounds - >= 491 @ 299.536
299.72/300.75	c bounds - >= 492 @ 299.537
299.72/300.75	c bounds - >= 493 @ 299.537
299.72/300.75	c bounds - >= 494 @ 299.538
299.72/300.75	c bounds - >= 495 @ 299.539
299.72/300.75	c bounds - >= 496 @ 299.54
299.72/300.75	c bounds - >= 497 @ 299.541
299.72/300.75	c bounds - >= 498 @ 299.541
299.72/300.75	c bounds - >= 499 @ 299.542
299.72/300.75	c bounds - >= 500 @ 299.543
299.72/300.75	c bounds - >= 501 @ 299.544
299.72/300.75	c bounds - >= 502 @ 299.544
299.72/300.75	c bounds - >= 503 @ 299.545
299.72/300.75	c bounds - >= 504 @ 299.546
299.72/300.75	c bounds - >= 505 @ 299.546
299.72/300.75	c bounds - >= 506 @ 299.547
299.72/300.75	c bounds - >= 507 @ 299.547
299.72/300.75	c bounds - >= 508 @ 299.548
299.72/300.75	c bounds - >= 509 @ 299.548
299.72/300.75	c bounds - >= 510 @ 299.549
299.72/300.75	c bounds - >= 511 @ 299.55
299.72/300.75	c bounds - >= 512 @ 299.551
299.72/300.75	c bounds - >= 513 @ 299.552
299.72/300.75	c bounds - >= 514 @ 299.552
299.72/300.75	c bounds - >= 515 @ 299.553
299.72/300.75	c bounds - >= 516 @ 299.554
299.72/300.75	c bounds - >= 517 @ 299.555
299.72/300.75	c bounds - >= 518 @ 299.556
299.72/300.75	c bounds - >= 519 @ 299.556
299.72/300.75	c bounds - >= 520 @ 299.557
299.72/300.75	c bounds - >= 521 @ 299.558
299.72/300.75	c bounds - >= 522 @ 299.559
299.72/300.75	c bounds - >= 523 @ 299.56
299.72/300.75	c bounds - >= 524 @ 299.561
299.72/300.75	c bounds - >= 525 @ 299.561
299.72/300.75	c bounds - >= 526 @ 299.562
299.72/300.75	c bounds - >= 527 @ 299.563
299.72/300.75	c bounds - >= 528 @ 299.564
299.72/300.75	c bounds - >= 529 @ 299.565
299.72/300.75	c bounds - >= 530 @ 299.565
299.72/300.75	c bounds - >= 531 @ 299.566
299.72/300.75	c bounds - >= 532 @ 299.567
299.72/300.75	c bounds - >= 533 @ 299.568
299.72/300.75	c bounds - >= 534 @ 299.569
299.72/300.75	c bounds - >= 535 @ 299.57
299.72/300.75	c bounds - >= 536 @ 299.57
299.72/300.75	c bounds - >= 537 @ 299.571
299.72/300.75	c bounds - >= 538 @ 299.572
299.72/300.75	c bounds - >= 539 @ 299.573
299.72/300.75	c bounds - >= 540 @ 299.574
299.72/300.75	c bounds - >= 541 @ 299.574
299.72/300.75	c bounds - >= 542 @ 299.575
299.72/300.75	c bounds - >= 543 @ 299.576
299.72/300.75	c bounds - >= 544 @ 299.577
299.72/300.75	c bounds - >= 545 @ 299.578
299.72/300.75	c bounds - >= 546 @ 299.579
299.72/300.75	c bounds - >= 547 @ 299.579
299.72/300.75	c bounds - >= 548 @ 299.58
299.72/300.75	c bounds - >= 549 @ 299.581
299.72/300.75	c bounds - >= 550 @ 299.582
299.72/300.75	c bounds - >= 551 @ 299.583
299.72/300.75	c bounds - >= 552 @ 299.583
299.72/300.75	c bounds - >= 553 @ 299.584
299.72/300.75	c bounds - >= 554 @ 299.585
299.72/300.75	c bounds - >= 555 @ 299.586
299.72/300.75	c bounds - >= 556 @ 299.587
299.72/300.75	c bounds - >= 557 @ 299.587
299.72/300.75	c bounds - >= 558 @ 299.588
299.72/300.75	c bounds - >= 559 @ 299.589
299.72/300.75	c bounds - >= 560 @ 299.589
299.72/300.75	c bounds - >= 561 @ 299.59
299.72/300.75	c bounds - >= 562 @ 299.59
299.72/300.75	c bounds - >= 563 @ 299.591
299.72/300.75	c bounds - >= 564 @ 299.592
299.72/300.75	c bounds - >= 565 @ 299.593
299.72/300.75	c bounds - >= 566 @ 299.594
299.72/300.75	c bounds - >= 567 @ 299.595
299.72/300.75	c bounds - >= 568 @ 299.595
299.72/300.75	c bounds - >= 569 @ 299.596
299.72/300.75	c bounds - >= 570 @ 299.597
299.72/300.75	c bounds - >= 571 @ 299.598
299.72/300.75	c bounds - >= 572 @ 299.599
299.72/300.75	c bounds - >= 573 @ 299.6
299.72/300.75	c bounds - >= 574 @ 299.6
299.72/300.75	c bounds - >= 575 @ 299.601
299.72/300.75	c bounds - >= 576 @ 299.602
299.72/300.75	c bounds - >= 577 @ 299.602
299.72/300.75	c bounds - >= 578 @ 299.603
299.72/300.75	c bounds - >= 579 @ 299.603
299.72/300.75	c bounds - >= 580 @ 299.604
299.72/300.75	c bounds - >= 581 @ 299.605
299.72/300.75	c bounds - >= 582 @ 299.605
299.72/300.75	c bounds - >= 583 @ 299.606
299.72/300.75	c bounds - >= 584 @ 299.606
299.72/300.75	c bounds - >= 585 @ 299.607
299.72/300.75	c bounds - >= 586 @ 299.608
299.72/300.75	c bounds - >= 587 @ 299.609
299.72/300.75	c bounds - >= 588 @ 299.61
299.72/300.75	c bounds - >= 589 @ 299.61
299.72/300.75	c bounds - >= 590 @ 299.611
299.72/300.75	c bounds - >= 591 @ 299.612
299.72/300.75	c bounds - >= 592 @ 299.612
299.82/300.87	c bounds - >= 593 @ 299.613
299.82/300.87	c bounds - >= 594 @ 299.613
299.82/300.87	c bounds - >= 595 @ 299.614
299.82/300.87	c bounds - >= 596 @ 299.615
299.82/300.87	c bounds - >= 597 @ 299.616
299.82/300.87	c bounds - >= 598 @ 299.617
299.82/300.87	c bounds - >= 599 @ 299.617
299.82/300.87	c bounds - >= 600 @ 299.618
299.82/300.87	c bounds - >= 601 @ 299.619
299.82/300.87	c bounds - >= 602 @ 299.62
299.82/300.87	c bounds - >= 603 @ 299.621
299.82/300.87	c bounds - >= 604 @ 299.621
299.82/300.87	c bounds - >= 605 @ 299.622
299.82/300.87	c bounds - >= 606 @ 299.623
299.82/300.87	c bounds - >= 607 @ 299.623
299.82/300.87	c bounds - >= 608 @ 299.624
299.82/300.87	c bounds - >= 609 @ 299.624
299.82/300.87	c bounds - >= 610 @ 299.625
299.82/300.87	c bounds - >= 611 @ 299.626
299.82/300.87	c bounds - >= 612 @ 299.626
299.82/300.87	c bounds - >= 613 @ 299.627
299.82/300.87	c bounds - >= 614 @ 299.627
299.82/300.87	c bounds - >= 615 @ 299.628
299.82/300.87	c bounds - >= 616 @ 299.629
299.82/300.87	c bounds - >= 617 @ 299.63
299.82/300.87	c bounds - >= 618 @ 299.63
299.82/300.87	c bounds - >= 619 @ 299.631
299.82/300.87	c bounds - >= 620 @ 299.632
299.82/300.87	c bounds - >= 621 @ 299.633
299.82/300.87	c bounds - >= 622 @ 299.634
299.82/300.87	c bounds - >= 623 @ 299.634
299.82/300.87	c bounds - >= 624 @ 299.635
299.82/300.87	c bounds - >= 625 @ 299.636
299.82/300.87	c bounds - >= 626 @ 299.637
299.82/300.87	c bounds - >= 627 @ 299.638
299.82/300.87	c bounds - >= 628 @ 299.638
299.82/300.87	c bounds - >= 629 @ 299.639
299.82/300.87	c bounds - >= 630 @ 299.639
299.82/300.87	c bounds - >= 631 @ 299.64
299.82/300.87	c bounds - >= 632 @ 299.64
299.82/300.87	c bounds - >= 633 @ 299.641
299.82/300.87	c bounds - >= 634 @ 299.642
299.82/300.87	c bounds - >= 635 @ 299.642
299.82/300.87	c bounds - >= 636 @ 299.643
299.82/300.87	c bounds - >= 637 @ 299.643
299.82/300.87	c bounds - >= 638 @ 299.644
299.82/300.87	c bounds - >= 639 @ 299.645
299.82/300.87	c bounds - >= 640 @ 299.645
299.82/300.87	c bounds - >= 641 @ 299.646
299.82/300.87	c bounds - >= 642 @ 299.646
299.82/300.87	c bounds - >= 643 @ 299.647
299.82/300.87	c bounds - >= 644 @ 299.648
299.82/300.87	c bounds - >= 645 @ 299.648
299.82/300.87	c bounds - >= 646 @ 299.649
299.82/300.87	c bounds - >= 647 @ 299.649
299.82/300.87	c bounds - >= 648 @ 299.65
299.82/300.87	c bounds - >= 649 @ 299.651
299.82/300.87	c bounds - >= 650 @ 299.651
299.82/300.87	c bounds - >= 651 @ 299.652
299.82/300.87	c bounds - >= 652 @ 299.652
299.82/300.87	c bounds - >= 653 @ 299.653
299.82/300.87	c bounds - >= 654 @ 299.654
299.82/300.87	c bounds - >= 655 @ 299.654
299.82/300.87	c bounds - >= 656 @ 299.655
299.82/300.87	c bounds - >= 657 @ 299.656
299.82/300.87	c bounds - >= 658 @ 299.657
299.82/300.87	c bounds - >= 659 @ 299.658
299.82/300.87	c bounds - >= 660 @ 299.658
299.82/300.87	c bounds - >= 661 @ 299.659
299.82/300.87	c bounds - >= 662 @ 299.659
299.82/300.87	c bounds - >= 663 @ 299.66
299.82/300.87	c bounds - >= 664 @ 299.66
299.82/300.87	c bounds - >= 665 @ 299.661
299.82/300.87	c bounds - >= 666 @ 299.662
299.82/300.87	c bounds - >= 667 @ 299.663
299.82/300.87	c bounds - >= 668 @ 299.664
299.82/300.87	c bounds - >= 669 @ 299.664
299.82/300.87	c bounds - >= 670 @ 299.665
299.82/300.87	c bounds - >= 671 @ 299.666
299.82/300.87	c bounds - >= 672 @ 299.667
299.82/300.87	c bounds - >= 673 @ 299.668
299.82/300.87	c bounds - >= 674 @ 299.668
299.82/300.87	c bounds - >= 675 @ 299.668
299.82/300.87	c bounds - >= 676 @ 299.669
299.82/300.87	c bounds - >= 677 @ 299.67
299.82/300.87	c bounds - >= 678 @ 299.671
299.82/300.87	c bounds - >= 679 @ 299.671
299.82/300.87	c bounds - >= 680 @ 299.672
299.82/300.87	c bounds - >= 681 @ 299.673
299.82/300.87	c bounds - >= 682 @ 299.673
299.82/300.87	c bounds - >= 683 @ 299.674
299.82/300.87	c bounds - >= 684 @ 299.674
299.82/300.87	c bounds - >= 685 @ 299.675
299.82/300.87	c bounds - >= 686 @ 299.676
299.82/300.87	c bounds - >= 687 @ 299.676
299.82/300.87	c bounds - >= 688 @ 299.677
299.82/300.87	c bounds - >= 689 @ 299.677
299.82/300.87	c bounds - >= 690 @ 299.678
299.82/300.87	c bounds - >= 691 @ 299.679
299.82/300.87	c bounds - >= 692 @ 299.68
299.82/300.87	c bounds - >= 693 @ 299.681
299.82/300.87	c bounds - >= 694 @ 299.681
299.82/300.87	c bounds - >= 695 @ 299.682
299.82/300.87	c bounds - >= 696 @ 299.682
299.82/300.87	c bounds - >= 697 @ 299.683
299.82/300.87	c bounds - >= 698 @ 299.684
299.82/300.87	c bounds - >= 699 @ 299.685
299.82/300.87	c bounds - >= 700 @ 299.686
299.82/300.87	c bounds - >= 701 @ 299.686
299.82/300.87	c bounds - >= 702 @ 299.687
299.82/300.87	c bounds - >= 703 @ 299.688
299.82/300.87	c bounds - >= 704 @ 299.689
299.82/300.87	c bounds - >= 705 @ 299.69
299.82/300.87	c bounds - >= 706 @ 299.69
299.82/300.87	c bounds - >= 707 @ 299.691
299.82/300.87	c bounds - >= 708 @ 299.692
299.82/300.87	c bounds - >= 709 @ 299.693
299.82/300.87	c bounds - >= 710 @ 299.694
299.82/300.87	c bounds - >= 711 @ 299.694
299.82/300.87	c bounds - >= 712 @ 299.695
299.82/300.87	c bounds - >= 713 @ 299.696
299.82/300.87	c bounds - >= 714 @ 299.697
299.82/300.87	c bounds - >= 715 @ 299.697
299.82/300.87	c bounds - >= 716 @ 299.698
299.82/300.87	c bounds - >= 717 @ 299.699
299.82/300.87	c bounds - >= 718 @ 299.7
299.82/300.87	c bounds - >= 719 @ 299.701
299.82/300.87	c bounds - >= 720 @ 299.701
299.82/300.87	c bounds - >= 721 @ 299.702
299.82/300.87	c bounds - >= 722 @ 299.703
299.82/300.87	c bounds - >= 723 @ 299.704
299.82/300.87	c bounds - >= 724 @ 299.704
299.82/300.87	c bounds - >= 725 @ 299.705
299.82/300.87	c bounds - >= 726 @ 299.706
299.82/300.87	c bounds - >= 727 @ 299.707
299.82/300.87	c bounds - >= 728 @ 299.708
299.82/300.87	c bounds - >= 729 @ 299.708
299.82/300.87	c bounds - >= 730 @ 299.709
299.82/300.87	c bounds - >= 731 @ 299.71
299.82/300.87	c bounds - >= 732 @ 299.71
299.82/300.87	c bounds - >= 733 @ 299.711
299.82/300.87	c bounds - >= 734 @ 299.711
299.82/300.87	c bounds - >= 735 @ 299.712
299.82/300.87	c bounds - >= 736 @ 299.713
299.82/300.87	c bounds - >= 737 @ 299.713
299.82/300.87	c bounds - >= 738 @ 299.713
299.82/300.87	c bounds - >= 739 @ 299.714
299.93/300.98	c bounds - >= 740 @ 299.714
299.93/300.98	c bounds - >= 741 @ 299.715
299.93/300.98	c bounds - >= 742 @ 299.716
299.93/300.98	c bounds - >= 743 @ 299.716
299.93/300.98	c bounds - >= 744 @ 299.717
299.93/300.98	c bounds - >= 745 @ 299.718
299.93/300.98	c bounds - >= 746 @ 299.718
299.93/300.98	c bounds - >= 747 @ 299.718
299.93/300.98	c bounds - >= 748 @ 299.719
299.93/300.98	c bounds - >= 749 @ 299.72
299.93/300.98	c bounds - >= 750 @ 299.721
299.93/300.98	c bounds - >= 751 @ 299.722
299.93/300.98	c bounds - >= 752 @ 299.722
299.93/300.98	c bounds - >= 753 @ 299.723
299.93/300.98	c bounds - >= 754 @ 299.724
299.93/300.98	c bounds - >= 755 @ 299.725
299.93/300.98	c bounds - >= 756 @ 299.726
299.93/300.98	c bounds - >= 757 @ 299.726
299.93/300.98	c bounds - >= 758 @ 299.727
299.93/300.98	c bounds - >= 759 @ 299.727
299.93/300.98	c bounds - >= 760 @ 299.728
299.93/300.98	c bounds - >= 761 @ 299.729
299.93/300.98	c bounds - >= 762 @ 299.729
299.93/300.98	c bounds - >= 763 @ 299.729
299.93/300.98	c bounds - >= 764 @ 299.73
299.93/300.98	c bounds - >= 765 @ 299.731
299.93/300.98	c bounds - >= 766 @ 299.732
299.93/300.98	c bounds - >= 767 @ 299.732
299.93/300.98	c bounds - >= 768 @ 299.732
299.93/300.98	c bounds - >= 769 @ 299.733
299.93/300.98	c bounds - >= 770 @ 299.734
299.93/300.98	c bounds - >= 771 @ 299.735
299.93/300.98	c bounds - >= 772 @ 299.736
299.93/300.98	c bounds - >= 773 @ 299.736
299.93/300.98	c bounds - >= 774 @ 299.737
299.93/300.98	c bounds - >= 775 @ 299.738
299.93/300.98	c bounds - >= 776 @ 299.739
299.93/300.98	c bounds - >= 777 @ 299.74
299.93/300.98	c bounds - >= 778 @ 299.74
299.93/300.98	c bounds - >= 779 @ 299.741
299.93/300.98	c bounds - >= 780 @ 299.742
299.93/300.98	c bounds - >= 781 @ 299.742
299.93/300.98	c bounds - >= 782 @ 299.742
299.93/300.98	c bounds - >= 783 @ 299.743
299.93/300.98	c bounds - >= 784 @ 299.744
299.93/300.98	c bounds - >= 785 @ 299.745
299.93/300.98	c bounds - >= 786 @ 299.745
299.93/300.98	c bounds - >= 787 @ 299.745
299.93/300.98	c bounds - >= 788 @ 299.746
299.93/300.98	c bounds - >= 789 @ 299.746
299.93/300.98	c bounds - >= 790 @ 299.747
299.93/300.98	c bounds - >= 791 @ 299.748
299.93/300.98	c bounds - >= 792 @ 299.748
299.93/300.98	c bounds - >= 793 @ 299.749
299.93/300.98	c bounds - >= 794 @ 299.75
299.93/300.98	c bounds - >= 795 @ 299.751
299.93/300.98	c bounds - >= 796 @ 299.751
299.93/300.98	c bounds - >= 797 @ 299.752
299.93/300.98	c bounds - >= 798 @ 299.753
299.93/300.98	c bounds - >= 799 @ 299.754
299.93/300.98	c bounds - >= 800 @ 299.755
299.93/300.98	c bounds - >= 801 @ 299.755
299.93/300.98	c bounds - >= 802 @ 299.756
299.93/300.98	c bounds - >= 803 @ 299.757
299.93/300.98	c bounds - >= 804 @ 299.758
299.93/300.98	c bounds - >= 805 @ 299.759
299.93/300.98	c bounds - >= 806 @ 299.759
299.93/300.98	c bounds - >= 807 @ 299.76
299.93/300.98	c bounds - >= 808 @ 299.761
299.93/300.98	c bounds - >= 809 @ 299.762
299.93/300.98	c bounds - >= 810 @ 299.762
299.93/300.98	c bounds - >= 811 @ 299.763
299.93/300.98	c bounds - >= 812 @ 299.764
299.93/300.98	c bounds - >= 813 @ 299.765
299.93/300.98	c bounds - >= 814 @ 299.765
299.93/300.98	c bounds - >= 815 @ 299.765
299.93/300.98	c bounds - >= 816 @ 299.766
299.93/300.98	c bounds - >= 817 @ 299.767
299.93/300.98	c bounds - >= 818 @ 299.768
299.93/300.98	c bounds - >= 819 @ 299.768
299.93/300.98	c bounds - >= 820 @ 299.768
299.93/300.98	c bounds - >= 821 @ 299.769
299.93/300.98	c bounds - >= 822 @ 299.769
299.93/300.98	c bounds - >= 823 @ 299.77
299.93/300.98	c bounds - >= 824 @ 299.771
299.93/300.98	c bounds - >= 825 @ 299.772
299.93/300.98	c bounds - >= 826 @ 299.772
299.93/300.98	c bounds - >= 827 @ 299.773
299.93/300.98	c bounds - >= 828 @ 299.774
299.93/300.98	c bounds - >= 829 @ 299.775
299.93/300.98	c bounds - >= 830 @ 299.775
299.93/300.98	c bounds - >= 831 @ 299.775
299.93/300.98	c bounds - >= 832 @ 299.776
299.93/300.98	c bounds - >= 833 @ 299.777
299.93/300.98	c bounds - >= 834 @ 299.778
299.93/300.98	c bounds - >= 835 @ 299.778
299.93/300.98	c bounds - >= 836 @ 299.779
299.93/300.98	c bounds - >= 837 @ 299.78
299.93/300.98	c bounds - >= 838 @ 299.781
299.93/300.98	c bounds - >= 839 @ 299.781
299.93/300.98	c bounds - >= 840 @ 299.781
299.93/300.98	c bounds - >= 841 @ 299.782
299.93/300.98	c bounds - >= 842 @ 299.783
299.93/300.98	c bounds - >= 843 @ 299.784
299.93/300.98	c bounds - >= 844 @ 299.784
299.93/300.98	c bounds - >= 845 @ 299.785
299.93/300.98	c bounds - >= 846 @ 299.786
299.93/300.98	c bounds - >= 847 @ 299.787
299.93/300.98	c bounds - >= 848 @ 299.787
299.93/300.98	c bounds - >= 849 @ 299.788
299.93/300.98	c bounds - >= 850 @ 299.789
299.93/300.98	c bounds - >= 851 @ 299.79
299.93/300.98	c bounds - >= 852 @ 299.791
299.93/300.98	c bounds - >= 853 @ 299.791
299.93/300.98	c bounds - >= 854 @ 299.792
299.93/300.98	c bounds - >= 855 @ 299.793
299.93/300.98	c bounds - >= 856 @ 299.794
299.93/300.98	c bounds - >= 857 @ 299.794
299.93/300.98	c bounds - >= 858 @ 299.794
299.93/300.98	c bounds - >= 859 @ 299.795
299.93/300.98	c bounds - >= 860 @ 299.796
299.93/300.98	c bounds - >= 861 @ 299.797
299.93/300.98	c bounds - >= 862 @ 299.797
299.93/300.98	c bounds - >= 863 @ 299.798
299.93/300.98	c bounds - >= 864 @ 299.799
299.93/300.98	c bounds - >= 865 @ 299.8
299.93/300.98	c bounds - >= 866 @ 299.8
299.93/300.98	c bounds - >= 867 @ 299.8
299.93/300.98	c bounds - >= 868 @ 299.801
299.93/300.98	c bounds - >= 869 @ 299.802
299.93/300.98	c bounds - >= 870 @ 299.803
299.93/300.98	c bounds - >= 871 @ 299.803
299.93/300.98	c bounds - >= 872 @ 299.804
299.93/300.98	c bounds - >= 873 @ 299.805
299.93/300.98	c bounds - >= 874 @ 299.806
299.93/300.98	c bounds - >= 875 @ 299.806
299.93/300.98	c bounds - >= 876 @ 299.806
299.93/300.98	c bounds - >= 877 @ 299.807
299.93/300.98	c bounds - >= 878 @ 299.808
299.93/300.98	c bounds - >= 879 @ 299.809
299.93/300.98	c bounds - >= 880 @ 299.809
299.93/300.98	c bounds - >= 881 @ 299.81
299.93/300.98	c bounds - >= 882 @ 299.811
299.93/300.98	c bounds - >= 883 @ 299.812
299.93/300.98	c bounds - >= 884 @ 299.812
299.93/300.98	c bounds - >= 885 @ 299.813
299.93/300.98	c bounds - >= 886 @ 299.814
300.03/301.10	c bounds - >= 887 @ 299.815
300.03/301.10	c bounds - >= 888 @ 299.815
300.03/301.10	c bounds - >= 889 @ 299.815
300.03/301.10	c bounds - >= 890 @ 299.816
300.03/301.10	c bounds - >= 891 @ 299.817
300.03/301.10	c bounds - >= 892 @ 299.817
300.03/301.10	c bounds - >= 893 @ 299.817
300.03/301.10	c bounds - >= 894 @ 299.818
300.03/301.10	c bounds - >= 895 @ 299.819
300.03/301.10	c bounds - >= 896 @ 299.82
300.03/301.10	c bounds - >= 897 @ 299.82
300.03/301.10	c bounds - >= 898 @ 299.821
300.03/301.10	c bounds - >= 899 @ 299.822
300.03/301.10	c bounds - >= 900 @ 299.823
300.03/301.10	c bounds - >= 901 @ 299.823
300.03/301.10	c bounds - >= 902 @ 299.824
300.03/301.10	c bounds - >= 903 @ 299.825
300.03/301.10	c bounds - >= 904 @ 299.826
300.03/301.10	c bounds - >= 905 @ 299.827
300.03/301.10	c bounds - >= 906 @ 299.827
300.03/301.10	c bounds - >= 907 @ 299.828
300.03/301.10	c bounds - >= 908 @ 299.829
300.03/301.10	c bounds - >= 909 @ 299.83
300.03/301.10	c bounds - >= 910 @ 299.83
300.03/301.10	c bounds - >= 911 @ 299.831
300.03/301.10	c bounds - >= 912 @ 299.832
300.03/301.10	c bounds - >= 913 @ 299.833
300.03/301.10	c bounds - >= 914 @ 299.834
300.03/301.10	c bounds - >= 915 @ 299.834
300.03/301.10	c bounds - >= 916 @ 299.835
300.03/301.10	c bounds - >= 917 @ 299.836
300.03/301.10	c bounds - >= 918 @ 299.837
300.03/301.10	c bounds - >= 919 @ 299.838
300.03/301.10	c bounds - >= 920 @ 299.838
300.03/301.10	c bounds - >= 921 @ 299.839
300.03/301.10	c bounds - >= 922 @ 299.84
300.03/301.10	c bounds - >= 923 @ 299.841
300.03/301.10	c bounds - >= 924 @ 299.842
300.03/301.10	c bounds - >= 925 @ 299.842
300.03/301.10	c bounds - >= 926 @ 299.843
300.03/301.10	c bounds - >= 927 @ 299.844
300.03/301.10	c bounds - >= 928 @ 299.845
300.03/301.10	c bounds - >= 929 @ 299.845
300.03/301.10	c bounds - >= 930 @ 299.846
300.03/301.10	c bounds - >= 931 @ 299.847
300.03/301.10	c bounds - >= 932 @ 299.848
300.03/301.10	c bounds - >= 933 @ 299.849
300.03/301.10	c bounds - >= 934 @ 299.849
300.03/301.10	c bounds - >= 935 @ 299.849
300.03/301.10	c bounds - >= 936 @ 299.85
300.03/301.10	c bounds - >= 937 @ 299.85
300.03/301.10	c bounds - >= 938 @ 299.851
300.03/301.10	c bounds - >= 939 @ 299.852
300.03/301.10	c bounds - >= 940 @ 299.852
300.03/301.10	c bounds - >= 941 @ 299.853
300.03/301.10	c bounds - >= 942 @ 299.854
300.03/301.10	c bounds - >= 943 @ 299.855
300.03/301.10	c bounds - >= 944 @ 299.856
300.03/301.10	c bounds - >= 945 @ 299.856
300.03/301.10	c bounds - >= 946 @ 299.856
300.03/301.10	c bounds - >= 947 @ 299.857
300.03/301.10	c bounds - >= 948 @ 299.858
300.03/301.10	c bounds - >= 949 @ 299.859
300.03/301.10	c bounds - >= 950 @ 299.859
300.03/301.10	c bounds - >= 951 @ 299.86
300.03/301.10	c bounds - >= 952 @ 299.861
300.03/301.10	c bounds - >= 953 @ 299.862
300.03/301.10	c bounds - >= 954 @ 299.862
300.03/301.10	c bounds - >= 955 @ 299.863
300.03/301.10	c bounds - >= 956 @ 299.864
300.03/301.10	c bounds - >= 957 @ 299.865
300.03/301.10	c bounds - >= 958 @ 299.866
300.03/301.10	c bounds - >= 959 @ 299.867
300.03/301.10	c bounds - >= 960 @ 299.867
300.03/301.10	c bounds - >= 961 @ 299.868
300.03/301.10	c bounds - >= 962 @ 299.869
300.03/301.10	c bounds - >= 963 @ 299.87
300.03/301.10	c bounds - >= 964 @ 299.87
300.03/301.10	c bounds - >= 965 @ 299.87
300.03/301.10	c bounds - >= 966 @ 299.871
300.03/301.10	c bounds - >= 967 @ 299.872
300.03/301.10	c bounds - >= 968 @ 299.872
300.03/301.10	c bounds - >= 969 @ 299.873
300.03/301.10	c bounds - >= 970 @ 299.874
300.03/301.10	c bounds - >= 971 @ 299.875
300.03/301.10	c bounds - >= 972 @ 299.875
300.03/301.10	c bounds - >= 973 @ 299.876
300.03/301.10	c bounds - >= 974 @ 299.877
300.03/301.10	c bounds - >= 975 @ 299.878
300.03/301.10	c bounds - >= 976 @ 299.879
300.03/301.10	c bounds - >= 977 @ 299.879
300.03/301.10	c bounds - >= 978 @ 299.879
300.03/301.10	c bounds - >= 979 @ 299.88
300.03/301.10	c bounds - >= 980 @ 299.881
300.03/301.10	c bounds - >= 981 @ 299.881
300.03/301.10	c bounds - >= 982 @ 299.882
300.03/301.10	c bounds - >= 983 @ 299.883
300.03/301.10	c bounds - >= 984 @ 299.884
300.03/301.10	c bounds - >= 985 @ 299.884
300.03/301.10	c bounds - >= 986 @ 299.885
300.03/301.10	c bounds - >= 987 @ 299.886
300.03/301.10	c bounds - >= 988 @ 299.887
300.03/301.10	c bounds - >= 989 @ 299.887
300.03/301.10	c bounds - >= 990 @ 299.888
300.03/301.10	c bounds - >= 991 @ 299.889
300.03/301.10	c bounds - >= 992 @ 299.89
300.03/301.10	c bounds - >= 993 @ 299.891
300.03/301.10	c bounds - >= 994 @ 299.891
300.03/301.10	c bounds - >= 995 @ 299.892
300.03/301.10	c bounds - >= 996 @ 299.893
300.03/301.10	c bounds - >= 997 @ 299.893
300.03/301.10	c bounds - >= 998 @ 299.893
300.03/301.10	c bounds - >= 999 @ 299.894
300.03/301.10	c bounds - >= 1000 @ 299.895
300.03/301.10	c bounds - >= 1001 @ 299.896
300.03/301.10	c bounds - >= 1002 @ 299.896
300.03/301.10	c bounds - >= 1003 @ 299.897
300.03/301.10	c bounds - >= 1004 @ 299.898
300.03/301.10	c bounds - >= 1005 @ 299.899
300.03/301.10	c bounds - >= 1006 @ 299.899
300.03/301.10	c bounds - >= 1007 @ 299.9
300.03/301.10	c bounds - >= 1008 @ 299.901
300.03/301.10	c bounds - >= 1009 @ 299.902
300.03/301.10	c bounds - >= 1010 @ 299.902
300.03/301.10	c bounds - >= 1011 @ 299.903
300.03/301.10	c bounds - >= 1012 @ 299.903
300.03/301.10	c bounds - >= 1013 @ 299.904
300.03/301.10	c bounds - >= 1014 @ 299.905
300.03/301.10	c bounds - >= 1015 @ 299.905
300.03/301.10	c bounds - >= 1016 @ 299.906
300.03/301.10	c bounds - >= 1017 @ 299.907
300.03/301.10	c bounds - >= 1018 @ 299.908
300.03/301.10	c bounds - >= 1019 @ 299.908
300.03/301.10	c bounds - >= 1020 @ 299.909
300.03/301.10	c bounds - >= 1021 @ 299.91
300.03/301.10	c bounds - >= 1022 @ 299.91
300.03/301.10	c bounds - >= 1023 @ 299.911
300.03/301.10	c bounds - >= 1024 @ 299.911
300.03/301.10	c bounds - >= 1025 @ 299.912
300.03/301.10	c bounds - >= 1026 @ 299.913
300.03/301.10	c bounds - >= 1027 @ 299.914
300.03/301.10	c bounds - >= 1028 @ 299.914
300.03/301.10	c bounds - >= 1029 @ 299.915
300.03/301.10	c bounds - >= 1030 @ 299.915
300.03/301.10	c bounds - >= 1031 @ 299.916
300.22/301.21	c bounds - >= 1032 @ 299.917
300.22/301.21	c bounds - >= 1033 @ 299.917
300.22/301.21	c bounds - >= 1034 @ 299.918
300.22/301.21	c bounds - >= 1035 @ 299.919
300.22/301.21	c bounds - >= 1036 @ 299.92
300.22/301.21	c bounds - >= 1037 @ 299.92
300.22/301.21	c bounds - >= 1038 @ 299.921
300.22/301.21	c bounds - >= 1039 @ 299.922
300.22/301.21	c bounds - >= 1040 @ 299.923
300.22/301.21	c bounds - >= 1041 @ 299.923
300.22/301.21	c bounds - >= 1042 @ 299.924
300.22/301.21	c bounds - >= 1043 @ 299.924
300.22/301.21	c bounds - >= 1044 @ 299.925
300.22/301.21	c bounds - >= 1045 @ 299.925
300.22/301.21	c bounds - >= 1046 @ 299.926
300.22/301.21	c bounds - >= 1047 @ 299.927
300.22/301.21	c bounds - >= 1048 @ 299.928
300.22/301.21	c bounds - >= 1049 @ 299.929
300.22/301.21	c bounds - >= 1050 @ 299.929
300.22/301.21	c bounds - >= 1051 @ 299.93
300.22/301.21	c bounds - >= 1052 @ 299.93
300.22/301.21	c bounds - >= 1053 @ 299.931
300.22/301.21	c bounds - >= 1054 @ 299.931
300.22/301.21	c bounds - >= 1055 @ 299.932
300.22/301.21	c bounds - >= 1056 @ 299.933
300.22/301.21	c bounds - >= 1057 @ 299.934
300.22/301.21	c bounds - >= 1058 @ 299.934
300.22/301.21	c bounds - >= 1059 @ 299.935
300.22/301.21	c bounds - >= 1060 @ 299.936
300.22/301.21	c bounds - >= 1061 @ 299.937
300.22/301.21	c bounds - >= 1062 @ 299.938
300.22/301.21	c bounds - >= 1063 @ 299.938
300.22/301.21	c bounds - >= 1064 @ 299.939
300.22/301.21	c bounds - >= 1065 @ 299.94
300.22/301.21	c bounds - >= 1066 @ 299.941
300.22/301.21	c bounds - >= 1067 @ 299.941
300.22/301.21	c bounds - >= 1068 @ 299.942
300.22/301.21	c bounds - >= 1069 @ 299.943
300.22/301.21	c bounds - >= 1070 @ 299.944
300.22/301.21	c bounds - >= 1071 @ 299.945
300.22/301.21	c bounds - >= 1072 @ 299.945
300.22/301.21	c bounds - >= 1073 @ 299.946
300.22/301.21	c bounds - >= 1074 @ 299.947
300.22/301.21	c bounds - >= 1075 @ 299.948
300.22/301.21	c bounds - >= 1076 @ 299.948
300.22/301.21	c bounds - >= 1077 @ 299.949
300.22/301.21	c bounds - >= 1078 @ 299.95
300.22/301.21	c bounds - >= 1079 @ 299.951
300.22/301.21	c bounds - >= 1080 @ 299.952
300.22/301.21	c bounds - >= 1081 @ 299.952
300.22/301.21	c bounds - >= 1082 @ 299.953
300.22/301.21	c bounds - >= 1083 @ 299.953
300.22/301.21	c bounds - >= 1084 @ 299.954
300.22/301.21	c bounds - >= 1085 @ 299.955
300.22/301.21	c bounds - >= 1086 @ 299.956
300.22/301.21	c bounds - >= 1087 @ 299.956
300.22/301.21	c bounds - >= 1088 @ 299.957
300.22/301.21	c bounds - >= 1089 @ 299.958
300.22/301.21	c bounds - >= 1090 @ 299.959
300.22/301.21	c bounds - >= 1091 @ 299.959
300.22/301.21	c bounds - >= 1092 @ 299.96
300.22/301.21	c bounds - >= 1093 @ 299.961
300.22/301.21	c bounds - >= 1094 @ 299.962
300.22/301.21	c bounds - >= 1095 @ 299.963
300.22/301.21	c bounds - >= 1096 @ 299.963
300.22/301.21	c bounds - >= 1097 @ 299.964
300.22/301.21	c bounds - >= 1098 @ 299.965
300.22/301.21	c bounds - >= 1099 @ 299.966
300.22/301.21	c bounds - >= 1100 @ 299.966
300.22/301.21	c bounds - >= 1101 @ 299.967
300.22/301.21	c bounds - >= 1102 @ 299.968
300.22/301.21	c bounds - >= 1103 @ 299.969
300.22/301.21	c bounds - >= 1104 @ 299.969
300.22/301.21	c bounds - >= 1105 @ 299.97
300.22/301.21	c bounds - >= 1106 @ 299.971
300.22/301.21	c bounds - >= 1107 @ 299.972
300.22/301.21	c bounds - >= 1108 @ 299.972
300.22/301.21	c bounds - >= 1109 @ 299.973
300.22/301.21	c bounds - >= 1110 @ 299.974
300.22/301.21	c bounds - >= 1111 @ 299.974
300.22/301.21	c bounds - >= 1112 @ 299.975
300.22/301.21	c bounds - >= 1113 @ 299.976
300.22/301.21	c bounds - >= 1114 @ 299.976
300.22/301.21	c bounds - >= 1115 @ 299.977
300.22/301.21	c bounds - >= 1116 @ 299.978
300.22/301.21	c bounds - >= 1117 @ 299.979
300.22/301.21	c bounds - >= 1118 @ 299.979
300.22/301.21	c bounds - >= 1119 @ 299.979
300.22/301.21	c bounds - >= 1120 @ 299.98
300.22/301.21	c bounds - >= 1121 @ 299.981
300.22/301.21	c bounds - >= 1122 @ 299.981
300.22/301.21	c bounds - >= 1123 @ 299.982
300.22/301.21	c bounds - >= 1124 @ 299.983
300.22/301.21	c bounds - >= 1125 @ 299.984
300.22/301.21	c bounds - >= 1126 @ 299.984
300.22/301.21	c bounds - >= 1127 @ 299.985
300.22/301.21	c bounds - >= 1128 @ 299.986
300.22/301.21	c bounds - >= 1129 @ 299.987
300.22/301.21	c bounds - >= 1130 @ 299.987
300.22/301.21	c bounds - >= 1131 @ 299.988
300.22/301.21	c bounds - >= 1132 @ 299.988
300.22/301.21	c bounds - >= 1133 @ 299.989
300.22/301.21	c bounds - >= 1134 @ 299.99
300.22/301.21	c bounds - >= 1135 @ 299.99
300.22/301.21	c bounds - >= 1136 @ 299.99
300.22/301.21	c bounds - >= 1137 @ 299.991
300.22/301.21	c bounds - >= 1138 @ 299.992
300.22/301.21	c bounds - >= 1139 @ 299.992
300.22/301.21	c bounds - >= 1140 @ 299.993
300.22/301.21	c bounds - >= 1141 @ 299.994
300.22/301.21	c bounds - >= 1142 @ 299.995
300.22/301.21	c bounds - >= 1143 @ 299.995
300.22/301.21	c bounds - >= 1144 @ 299.996
300.22/301.21	c bounds - >= 1145 @ 299.996
300.22/301.21	c bounds - >= 1146 @ 299.997
300.22/301.21	c bounds - >= 1147 @ 299.997
300.22/301.21	c bounds - >= 1148 @ 299.998
300.22/301.21	c bounds - >= 1149 @ 299.998
300.22/301.21	c bounds - >= 1150 @ 299.999
300.22/301.21	c bounds - >= 1151 @ 300
300.22/301.21	c bounds - >= 1152 @ 300.001
300.22/301.21	c bounds - >= 1153 @ 300.001
300.22/301.21	c bounds - >= 1154 @ 300.002
300.22/301.21	c bounds - >= 1155 @ 300.003
300.22/301.21	c bounds - >= 1156 @ 300.004
300.22/301.21	c bounds - >= 1157 @ 300.004
300.22/301.21	c bounds - >= 1158 @ 300.005
300.22/301.21	c bounds - >= 1159 @ 300.006
300.22/301.21	c bounds - >= 1160 @ 300.007
300.22/301.21	c bounds - >= 1161 @ 300.007
300.22/301.21	c bounds - >= 1162 @ 300.008
300.22/301.21	c bounds - >= 1163 @ 300.009
300.22/301.21	c bounds - >= 1164 @ 300.01
300.22/301.21	c bounds - >= 1165 @ 300.01
300.22/301.21	c bounds - >= 1166 @ 300.011
300.22/301.21	c bounds - >= 1167 @ 300.011
300.22/301.21	c bounds - >= 1168 @ 300.012
300.22/301.21	c bounds - >= 1169 @ 300.012
300.22/301.21	c bounds - >= 1170 @ 300.013
300.22/301.21	c bounds - >= 1171 @ 300.013
300.22/301.21	c bounds - >= 1172 @ 300.014
300.22/301.21	c bounds - >= 1173 @ 300.014
300.32/301.32	c bounds - >= 1174 @ 300.015
300.32/301.32	c bounds - >= 1175 @ 300.016
300.32/301.32	c bounds - >= 1176 @ 300.017
300.32/301.32	c bounds - >= 1177 @ 300.017
300.32/301.32	c bounds - >= 1178 @ 300.018
300.32/301.32	c bounds - >= 1179 @ 300.018
300.32/301.32	c bounds - >= 1180 @ 300.019
300.32/301.32	c bounds - >= 1181 @ 300.019
300.32/301.32	c bounds - >= 1182 @ 300.02
300.32/301.32	c bounds - >= 1183 @ 300.02
300.32/301.32	c bounds - >= 1184 @ 300.021
300.32/301.32	c bounds - >= 1185 @ 300.021
300.32/301.32	c bounds - >= 1186 @ 300.022
300.32/301.32	c bounds - >= 1187 @ 300.022
300.32/301.32	c bounds - >= 1188 @ 300.023
300.32/301.32	c bounds - >= 1189 @ 300.023
300.32/301.32	c bounds - >= 1190 @ 300.024
300.32/301.32	c bounds - >= 1191 @ 300.024
300.32/301.32	c bounds - >= 1192 @ 300.025
300.32/301.32	c bounds - >= 1193 @ 300.026
300.32/301.32	c bounds - >= 1194 @ 300.026
300.32/301.32	c bounds - >= 1195 @ 300.027
300.32/301.32	c bounds - >= 1196 @ 300.028
300.32/301.32	c bounds - >= 1197 @ 300.029
300.32/301.32	c bounds - >= 1198 @ 300.029
300.32/301.32	c bounds - >= 1199 @ 300.03
300.32/301.32	c bounds - >= 1200 @ 300.03
300.32/301.32	c bounds - >= 1201 @ 300.031
300.32/301.32	c bounds - >= 1202 @ 300.031
300.32/301.32	c bounds - >= 1203 @ 300.032
300.32/301.32	c bounds - >= 1204 @ 300.032
300.32/301.32	c bounds - >= 1205 @ 300.033
300.32/301.32	c bounds - >= 1206 @ 300.033
300.32/301.32	c bounds - >= 1207 @ 300.034
300.32/301.32	c bounds - >= 1208 @ 300.035
300.32/301.32	c bounds - >= 1209 @ 300.036
300.32/301.32	c bounds - >= 1210 @ 300.037
300.32/301.32	c bounds - >= 1211 @ 300.037
300.32/301.32	c bounds - >= 1212 @ 300.038
300.32/301.32	c bounds - >= 1213 @ 300.038
300.32/301.32	c bounds - >= 1214 @ 300.039
300.32/301.32	c bounds - >= 1215 @ 300.04
300.32/301.32	c bounds - >= 1216 @ 300.041
300.32/301.32	c bounds - >= 1217 @ 300.041
300.32/301.32	c bounds - >= 1218 @ 300.042
300.32/301.32	c bounds - >= 1219 @ 300.042
300.32/301.32	c bounds - >= 1220 @ 300.043
300.32/301.32	c bounds - >= 1221 @ 300.043
300.32/301.32	c bounds - >= 1222 @ 300.044
300.32/301.32	c bounds - >= 1223 @ 300.045
300.32/301.32	c bounds - >= 1224 @ 300.046
300.32/301.32	c bounds - >= 1225 @ 300.046
300.32/301.32	c bounds - >= 1226 @ 300.047
300.32/301.32	c bounds - >= 1227 @ 300.048
300.32/301.32	c bounds - >= 1228 @ 300.049
300.32/301.32	c bounds - >= 1229 @ 300.049
300.32/301.32	c bounds - >= 1230 @ 300.05
300.32/301.32	c bounds - >= 1231 @ 300.051
300.32/301.32	c bounds - >= 1232 @ 300.052
300.32/301.32	c bounds - >= 1233 @ 300.052
300.32/301.32	c bounds - >= 1234 @ 300.053
300.32/301.32	c bounds - >= 1235 @ 300.054
300.32/301.32	c bounds - >= 1236 @ 300.055
300.32/301.32	c bounds - >= 1237 @ 300.055
300.32/301.32	c bounds - >= 1238 @ 300.056
300.32/301.32	c bounds - >= 1239 @ 300.056
300.32/301.32	c bounds - >= 1240 @ 300.057
300.32/301.32	c bounds - >= 1241 @ 300.057
300.32/301.32	c bounds - >= 1242 @ 300.058
300.32/301.32	c bounds - >= 1243 @ 300.059
300.32/301.32	c bounds - >= 1244 @ 300.059
300.32/301.32	c bounds - >= 1245 @ 300.06
300.32/301.32	c bounds - >= 1246 @ 300.061
300.32/301.32	c bounds - >= 1247 @ 300.062
300.32/301.32	c bounds - >= 1248 @ 300.062
300.32/301.32	c bounds - >= 1249 @ 300.063
300.32/301.32	c bounds - >= 1250 @ 300.064
300.32/301.32	c bounds - >= 1251 @ 300.065
300.32/301.32	c bounds - >= 1252 @ 300.066
300.32/301.32	c bounds - >= 1253 @ 300.066
300.32/301.32	c bounds - >= 1254 @ 300.067
300.32/301.32	c bounds - >= 1255 @ 300.068
300.32/301.32	c bounds - >= 1256 @ 300.069
300.32/301.32	c bounds - >= 1257 @ 300.069
300.32/301.32	c bounds - >= 1258 @ 300.07
300.32/301.32	c bounds - >= 1259 @ 300.071
300.32/301.32	c bounds - >= 1260 @ 300.071
300.32/301.32	c bounds - >= 1261 @ 300.072
300.32/301.32	c bounds - >= 1262 @ 300.072
300.32/301.32	c bounds - >= 1263 @ 300.073
300.32/301.32	c bounds - >= 1264 @ 300.073
300.32/301.32	c bounds - >= 1265 @ 300.074
300.32/301.32	c bounds - >= 1266 @ 300.074
300.32/301.32	c bounds - >= 1267 @ 300.075
300.32/301.32	c bounds - >= 1268 @ 300.076
300.32/301.32	c bounds - >= 1269 @ 300.077
300.32/301.32	c bounds - >= 1270 @ 300.077
300.32/301.32	c bounds - >= 1271 @ 300.078
300.32/301.32	c bounds - >= 1272 @ 300.079
300.32/301.32	c bounds - >= 1273 @ 300.079
300.32/301.32	c bounds - >= 1274 @ 300.08
300.32/301.32	c bounds - >= 1275 @ 300.08
300.32/301.32	c bounds - >= 1276 @ 300.081
300.32/301.32	c bounds - >= 1277 @ 300.081
300.32/301.32	c bounds - >= 1278 @ 300.082
300.32/301.32	c bounds - >= 1279 @ 300.082
300.32/301.32	c bounds - >= 1280 @ 300.082
300.32/301.32	c bounds - >= 1281 @ 300.083
300.32/301.32	c bounds - >= 1282 @ 300.084
300.32/301.32	c bounds - >= 1283 @ 300.085
300.32/301.32	c bounds - >= 1284 @ 300.085
300.32/301.32	c bounds - >= 1285 @ 300.086
300.32/301.32	c bounds - >= 1286 @ 300.087
300.32/301.32	c bounds - >= 1287 @ 300.088
300.32/301.32	c bounds - >= 1288 @ 300.088
300.32/301.32	c bounds - >= 1289 @ 300.089
300.32/301.32	c bounds - >= 1290 @ 300.09
300.32/301.32	c bounds - >= 1291 @ 300.091
300.32/301.32	c bounds - >= 1292 @ 300.092
300.32/301.32	c bounds - >= 1293 @ 300.092
300.32/301.32	c bounds - >= 1294 @ 300.093
300.32/301.32	c bounds - >= 1295 @ 300.094
300.32/301.32	c bounds - >= 1296 @ 300.095
300.32/301.32	c bounds - >= 1297 @ 300.095
300.32/301.32	c bounds - >= 1298 @ 300.096
300.32/301.32	c bounds - >= 1299 @ 300.097
300.32/301.32	c bounds - >= 1300 @ 300.098
300.32/301.32	c bounds - >= 1301 @ 300.098
300.32/301.32	c bounds - >= 1302 @ 300.099
300.32/301.32	c bounds - >= 1303 @ 300.1
300.32/301.32	c bounds - >= 1304 @ 300.101
300.32/301.32	c bounds - >= 1305 @ 300.101
300.32/301.32	c bounds - >= 1306 @ 300.102
300.32/301.32	c bounds - >= 1307 @ 300.103
300.32/301.32	c bounds - >= 1308 @ 300.104
300.32/301.32	c bounds - >= 1309 @ 300.105
300.32/301.32	c bounds - >= 1310 @ 300.105
300.32/301.32	c bounds - >= 1311 @ 300.106
300.32/301.32	c bounds - >= 1312 @ 300.107
300.32/301.32	c bounds - >= 1313 @ 300.108
300.32/301.32	c bounds - >= 1314 @ 300.108
300.32/301.32	c bounds - >= 1315 @ 300.109
300.43/301.42	c bounds - >= 1316 @ 300.11
300.43/301.42	c bounds - >= 1317 @ 300.11
300.43/301.42	c bounds - >= 1318 @ 300.11
300.43/301.42	c bounds - >= 1319 @ 300.111
300.43/301.42	c bounds - >= 1320 @ 300.112
300.43/301.42	c bounds - >= 1321 @ 300.112
300.43/301.42	c bounds - >= 1322 @ 300.112
300.43/301.42	c bounds - >= 1323 @ 300.113
300.43/301.42	c bounds - >= 1324 @ 300.114
300.43/301.42	c bounds - >= 1325 @ 300.115
300.43/301.42	c bounds - >= 1326 @ 300.115
300.43/301.42	c bounds - >= 1327 @ 300.116
300.43/301.42	c bounds - >= 1328 @ 300.117
300.43/301.42	c bounds - >= 1329 @ 300.118
300.43/301.42	c bounds - >= 1330 @ 300.118
300.43/301.42	c bounds - >= 1331 @ 300.119
300.43/301.42	c bounds - >= 1332 @ 300.12
300.43/301.42	c bounds - >= 1333 @ 300.121
300.43/301.42	c bounds - >= 1334 @ 300.122
300.43/301.42	c bounds - >= 1335 @ 300.122
300.43/301.42	c bounds - >= 1336 @ 300.123
300.43/301.42	c bounds - >= 1337 @ 300.124
300.43/301.42	c bounds - >= 1338 @ 300.125
300.43/301.42	c bounds - >= 1339 @ 300.125
300.43/301.42	c bounds - >= 1340 @ 300.127
300.43/301.42	c bounds - >= 1341 @ 300.127
300.43/301.42	c bounds - >= 1342 @ 300.128
300.43/301.42	c bounds - >= 1343 @ 300.129
300.43/301.42	c bounds - >= 1344 @ 300.129
300.43/301.42	c bounds - >= 1345 @ 300.129
300.43/301.42	c bounds - >= 1346 @ 300.13
300.43/301.42	c bounds - >= 1347 @ 300.131
300.43/301.42	c bounds - >= 1348 @ 300.132
300.43/301.42	c bounds - >= 1349 @ 300.132
300.43/301.42	c bounds - >= 1350 @ 300.133
300.43/301.42	c bounds - >= 1351 @ 300.134
300.43/301.42	c bounds - >= 1352 @ 300.134
300.43/301.42	c bounds - >= 1353 @ 300.134
300.43/301.42	c bounds - >= 1354 @ 300.135
300.43/301.42	c bounds - >= 1355 @ 300.136
300.43/301.42	c bounds - >= 1356 @ 300.137
300.43/301.42	c bounds - >= 1357 @ 300.138
300.43/301.42	c bounds - >= 1358 @ 300.138
300.43/301.42	c bounds - >= 1359 @ 300.139
300.43/301.42	c bounds - >= 1360 @ 300.14
300.43/301.42	c bounds - >= 1361 @ 300.141
300.43/301.42	c bounds - >= 1362 @ 300.141
300.43/301.42	c bounds - >= 1363 @ 300.142
300.43/301.42	c bounds - >= 1364 @ 300.143
300.43/301.42	c bounds - >= 1365 @ 300.144
300.43/301.42	c bounds - >= 1366 @ 300.144
300.43/301.42	c bounds - >= 1367 @ 300.145
300.43/301.42	c bounds - >= 1368 @ 300.146
300.43/301.42	c bounds - >= 1369 @ 300.147
300.43/301.42	c bounds - >= 1370 @ 300.147
300.43/301.42	c bounds - >= 1371 @ 300.148
300.43/301.42	c bounds - >= 1372 @ 300.149
300.43/301.42	c bounds - >= 1373 @ 300.15
300.43/301.42	c bounds - >= 1374 @ 300.15
300.43/301.42	c bounds - >= 1375 @ 300.151
300.43/301.42	c bounds - >= 1376 @ 300.152
300.43/301.42	c bounds - >= 1377 @ 300.153
300.43/301.42	c bounds - >= 1378 @ 300.153
300.43/301.42	c bounds - >= 1379 @ 300.154
300.43/301.42	c bounds - >= 1380 @ 300.155
300.43/301.42	c bounds - >= 1381 @ 300.155
300.43/301.42	c bounds - >= 1382 @ 300.155
300.43/301.42	c bounds - >= 1383 @ 300.156
300.43/301.42	c bounds - >= 1384 @ 300.157
300.43/301.42	c bounds - >= 1385 @ 300.157
300.43/301.42	c bounds - >= 1386 @ 300.157
300.43/301.42	c bounds - >= 1387 @ 300.158
300.43/301.42	c bounds - >= 1388 @ 300.159
300.43/301.42	c bounds - >= 1389 @ 300.16
300.43/301.42	c bounds - >= 1390 @ 300.16
300.43/301.42	c bounds - >= 1391 @ 300.161
300.43/301.42	c bounds - >= 1392 @ 300.162
300.43/301.42	c bounds - >= 1393 @ 300.162
300.43/301.42	c bounds - >= 1394 @ 300.162
300.43/301.42	c bounds - >= 1395 @ 300.163
300.43/301.42	c bounds - >= 1396 @ 300.164
300.43/301.42	c bounds - >= 1397 @ 300.164
300.43/301.42	c bounds - >= 1398 @ 300.164
300.43/301.42	c bounds - >= 1399 @ 300.165
300.43/301.42	c bounds - >= 1400 @ 300.166
300.43/301.42	c bounds - >= 1401 @ 300.166
300.43/301.42	c bounds - >= 1402 @ 300.167
300.43/301.42	c bounds - >= 1403 @ 300.168
300.43/301.42	c bounds - >= 1404 @ 300.168
300.43/301.42	c bounds - >= 1405 @ 300.169
300.43/301.42	c bounds - >= 1406 @ 300.169
300.43/301.42	c bounds - >= 1407 @ 300.169
300.43/301.42	c bounds - >= 1408 @ 300.17
300.43/301.42	c bounds - >= 1409 @ 300.171
300.43/301.42	c bounds - >= 1410 @ 300.171
300.43/301.42	c bounds - >= 1411 @ 300.171
300.43/301.42	c bounds - >= 1412 @ 300.172
300.43/301.42	c bounds - >= 1413 @ 300.173
300.43/301.42	c bounds - >= 1414 @ 300.173
300.43/301.42	c bounds - >= 1415 @ 300.174
300.43/301.42	c bounds - >= 1416 @ 300.175
300.43/301.42	c bounds - >= 1417 @ 300.176
300.43/301.42	c bounds - >= 1418 @ 300.176
300.43/301.42	c bounds - >= 1419 @ 300.177
300.43/301.42	c bounds - >= 1420 @ 300.178
300.43/301.42	c bounds - >= 1421 @ 300.178
300.43/301.42	c bounds - >= 1422 @ 300.178
300.43/301.42	c bounds - >= 1423 @ 300.179
300.43/301.42	c bounds - >= 1424 @ 300.179
300.43/301.42	c bounds - >= 1425 @ 300.179
300.43/301.42	c bounds - >= 1426 @ 300.179
300.43/301.42	c bounds - >= 1427 @ 300.18
300.43/301.42	c bounds - >= 1428 @ 300.181
300.43/301.42	c bounds - >= 1429 @ 300.181
300.43/301.42	c bounds - >= 1430 @ 300.181
300.43/301.42	c bounds - >= 1431 @ 300.182
300.43/301.42	c bounds - >= 1432 @ 300.183
300.43/301.42	c bounds - >= 1433 @ 300.183
300.43/301.42	c bounds - >= 1434 @ 300.184
300.43/301.42	c bounds - >= 1435 @ 300.185
300.43/301.42	c bounds - >= 1436 @ 300.186
300.43/301.42	c bounds - >= 1437 @ 300.186
300.43/301.42	c bounds - >= 1438 @ 300.187
300.43/301.42	c bounds - >= 1439 @ 300.188
300.43/301.42	c bounds - >= 1440 @ 300.189
300.43/301.42	c bounds - >= 1441 @ 300.189
300.43/301.42	c bounds - >= 1442 @ 300.19
300.43/301.42	c bounds - >= 1443 @ 300.191
300.43/301.42	c bounds - >= 1444 @ 300.192
300.43/301.42	c bounds - >= 1445 @ 300.192
300.43/301.42	c bounds - >= 1446 @ 300.193
300.43/301.42	c bounds - >= 1447 @ 300.194
300.43/301.42	c bounds - >= 1448 @ 300.195
300.43/301.42	c bounds - >= 1449 @ 300.195
300.43/301.42	c bounds - >= 1450 @ 300.196
300.43/301.42	c bounds - >= 1451 @ 300.197
300.43/301.42	c bounds - >= 1452 @ 300.198
300.43/301.42	c bounds - >= 1453 @ 300.198
300.43/301.42	c bounds - >= 1454 @ 300.198
300.43/301.42	c bounds - >= 1455 @ 300.199
300.43/301.42	c bounds - >= 1456 @ 300.2
300.43/301.42	c bounds - >= 1457 @ 300.2
300.52/301.53	c bounds - >= 1458 @ 300.201
300.52/301.53	c bounds - >= 1459 @ 300.202
300.52/301.53	c bounds - >= 1460 @ 300.203
300.52/301.53	c bounds - >= 1461 @ 300.203
300.52/301.53	c bounds - >= 1462 @ 300.203
300.52/301.53	c bounds - >= 1463 @ 300.204
300.52/301.53	c bounds - >= 1464 @ 300.205
300.52/301.53	c bounds - >= 1465 @ 300.206
300.52/301.53	c bounds - >= 1466 @ 300.206
300.52/301.53	c bounds - >= 1467 @ 300.207
300.52/301.53	c bounds - >= 1468 @ 300.208
300.52/301.53	c bounds - >= 1469 @ 300.209
300.52/301.53	c bounds - >= 1470 @ 300.209
300.52/301.53	c bounds - >= 1471 @ 300.21
300.52/301.53	c bounds - >= 1472 @ 300.211
300.52/301.53	c bounds - >= 1473 @ 300.212
300.52/301.53	c bounds - >= 1474 @ 300.212
300.52/301.53	c bounds - >= 1475 @ 300.212
300.52/301.53	c bounds - >= 1476 @ 300.213
300.52/301.53	c bounds - >= 1477 @ 300.214
300.52/301.53	c bounds - >= 1478 @ 300.214
300.52/301.53	c bounds - >= 1479 @ 300.214
300.52/301.53	c bounds - >= 1480 @ 300.215
300.52/301.53	c bounds - >= 1481 @ 300.215
300.52/301.53	c bounds - >= 1482 @ 300.216
300.52/301.53	c bounds - >= 1483 @ 300.216
300.52/301.53	c bounds - >= 1484 @ 300.217
300.52/301.53	c bounds - >= 1485 @ 300.218
300.52/301.53	c bounds - >= 1486 @ 300.219
300.52/301.53	c bounds - >= 1487 @ 300.219
300.52/301.53	c bounds - >= 1488 @ 300.22
300.52/301.53	c bounds - >= 1489 @ 300.221
300.52/301.53	c bounds - >= 1490 @ 300.222
300.52/301.53	c bounds - >= 1491 @ 300.222
300.52/301.53	c bounds - >= 1492 @ 300.222
300.52/301.53	c bounds - >= 1493 @ 300.223
300.52/301.53	c bounds - >= 1494 @ 300.224
300.52/301.53	c bounds - >= 1495 @ 300.224
300.52/301.53	c bounds - >= 1496 @ 300.224
300.52/301.53	c bounds - >= 1497 @ 300.225
300.52/301.53	c bounds - >= 1498 @ 300.225
300.52/301.53	c bounds - >= 1499 @ 300.225
300.52/301.53	c bounds - >= 1500 @ 300.225
300.52/301.53	c bounds - >= 1501 @ 300.226
300.52/301.53	c bounds - >= 1502 @ 300.227
300.52/301.53	c bounds - >= 1503 @ 300.227
300.52/301.53	c bounds - >= 1504 @ 300.228
300.52/301.53	c bounds - >= 1505 @ 300.229
300.52/301.53	c bounds - >= 1506 @ 300.229
300.52/301.53	c bounds - >= 1507 @ 300.23
300.52/301.53	c bounds - >= 1508 @ 300.231
300.52/301.53	c bounds - >= 1509 @ 300.232
300.52/301.53	c bounds - >= 1510 @ 300.232
300.52/301.53	c bounds - >= 1511 @ 300.232
300.52/301.53	c bounds - >= 1512 @ 300.233
300.52/301.53	c bounds - >= 1513 @ 300.234
300.52/301.53	c bounds - >= 1514 @ 300.234
300.52/301.53	c bounds - >= 1515 @ 300.235
300.52/301.53	c bounds - >= 1516 @ 300.236
300.52/301.53	c bounds - >= 1517 @ 300.236
300.52/301.53	c bounds - >= 1518 @ 300.237
300.52/301.53	c bounds - >= 1519 @ 300.238
300.52/301.53	c bounds - >= 1520 @ 300.239
300.52/301.53	c bounds - >= 1521 @ 300.239
300.52/301.53	c bounds - >= 1522 @ 300.239
300.52/301.53	c bounds - >= 1523 @ 300.24
300.52/301.53	c bounds - >= 1524 @ 300.24
300.52/301.53	c bounds - >= 1525 @ 300.241
300.52/301.53	c bounds - >= 1526 @ 300.242
300.52/301.53	c bounds - >= 1527 @ 300.243
300.52/301.53	c bounds - >= 1528 @ 300.243
300.52/301.53	c bounds - >= 1529 @ 300.243
300.52/301.53	c bounds - >= 1530 @ 300.244
300.52/301.53	c bounds - >= 1531 @ 300.245
300.52/301.53	c bounds - >= 1532 @ 300.245
300.52/301.53	c bounds - >= 1533 @ 300.246
300.52/301.53	c bounds - >= 1534 @ 300.247
300.52/301.53	c bounds - >= 1535 @ 300.248
300.52/301.53	c bounds - >= 1536 @ 300.249
300.52/301.53	c bounds - >= 1537 @ 300.249
300.52/301.53	c bounds - >= 1538 @ 300.25
300.52/301.53	c bounds - >= 1539 @ 300.251
300.52/301.53	c bounds - >= 1540 @ 300.251
300.52/301.53	c bounds - >= 1541 @ 300.251
300.52/301.53	c bounds - >= 1542 @ 300.252
300.52/301.53	c bounds - >= 1543 @ 300.252
300.52/301.53	c bounds - >= 1544 @ 300.253
300.52/301.53	c bounds - >= 1545 @ 300.254
300.52/301.53	c bounds - >= 1546 @ 300.255
300.52/301.53	c bounds - >= 1547 @ 300.255
300.52/301.53	c bounds - >= 1548 @ 300.256
300.52/301.53	c bounds - >= 1549 @ 300.257
300.52/301.53	c bounds - >= 1550 @ 300.257
300.52/301.53	c bounds - >= 1551 @ 300.257
300.52/301.53	c bounds - >= 1552 @ 300.258
300.52/301.53	c bounds - >= 1553 @ 300.258
300.52/301.53	c bounds - >= 1554 @ 300.259
300.52/301.53	c bounds - >= 1555 @ 300.26
300.52/301.53	c bounds - >= 1556 @ 300.261
300.52/301.53	c bounds - >= 1557 @ 300.261
300.52/301.53	c bounds - >= 1558 @ 300.261
300.52/301.53	c bounds - >= 1559 @ 300.262
300.52/301.53	c bounds - >= 1560 @ 300.263
300.52/301.53	c bounds - >= 1561 @ 300.263
300.52/301.53	c bounds - >= 1562 @ 300.263
300.52/301.53	c bounds - >= 1563 @ 300.264
300.52/301.53	c bounds - >= 1564 @ 300.264
300.52/301.53	c bounds - >= 1565 @ 300.265
300.52/301.53	c bounds - >= 1566 @ 300.266
300.52/301.53	c bounds - >= 1567 @ 300.267
300.52/301.53	c bounds - >= 1568 @ 300.267
300.52/301.53	c bounds - >= 1569 @ 300.268
300.52/301.53	c bounds - >= 1570 @ 300.269
300.52/301.53	c bounds - >= 1571 @ 300.269
300.52/301.53	c bounds - >= 1572 @ 300.27
300.52/301.53	c bounds - >= 1573 @ 300.271
300.52/301.53	c bounds - >= 1574 @ 300.271
300.52/301.53	c bounds - >= 1575 @ 300.272
300.52/301.53	c bounds - >= 1576 @ 300.273
300.52/301.53	c bounds - >= 1577 @ 300.274
300.52/301.53	c bounds - >= 1578 @ 300.274
300.52/301.53	c bounds - >= 1579 @ 300.275
300.52/301.53	c bounds - >= 1580 @ 300.276
300.52/301.53	c bounds - >= 1581 @ 300.277
300.52/301.53	c bounds - >= 1582 @ 300.277
300.52/301.53	c bounds - >= 1583 @ 300.277
300.52/301.53	c bounds - >= 1584 @ 300.278
300.52/301.53	c bounds - >= 1585 @ 300.278
300.52/301.53	c bounds - >= 1586 @ 300.279
300.52/301.53	c bounds - >= 1587 @ 300.28
300.52/301.53	c bounds - >= 1588 @ 300.281
300.52/301.53	c bounds - >= 1589 @ 300.281
300.52/301.53	c bounds - >= 1590 @ 300.281
300.52/301.53	c bounds - >= 1591 @ 300.282
300.52/301.53	c bounds - >= 1592 @ 300.283
300.52/301.53	c bounds - >= 1593 @ 300.283
300.52/301.53	c bounds - >= 1594 @ 300.283
300.52/301.53	c bounds - >= 1595 @ 300.284
300.52/301.53	c bounds - >= 1596 @ 300.284
300.52/301.53	c bounds - >= 1597 @ 300.286
300.52/301.53	c bounds - >= 1598 @ 300.286
300.62/301.63	c bounds - >= 1599 @ 300.286
300.62/301.63	c bounds - >= 1600 @ 300.287
300.62/301.63	c bounds - >= 1601 @ 300.288
300.62/301.63	c bounds - >= 1602 @ 300.288
300.62/301.63	c bounds - >= 1603 @ 300.288
300.62/301.63	c bounds - >= 1604 @ 300.289
300.62/301.63	c bounds - >= 1605 @ 300.289
300.62/301.63	c bounds - >= 1606 @ 300.29
300.62/301.63	c bounds - >= 1607 @ 300.291
300.62/301.63	c bounds - >= 1608 @ 300.292
300.62/301.63	c bounds - >= 1609 @ 300.292
300.62/301.63	c bounds - >= 1610 @ 300.293
300.62/301.63	c bounds - >= 1611 @ 300.294
300.62/301.63	c bounds - >= 1612 @ 300.295
300.62/301.63	c bounds - >= 1613 @ 300.295
300.62/301.63	c bounds - >= 1614 @ 300.295
300.62/301.63	c bounds - >= 1615 @ 300.296
300.62/301.63	c bounds - >= 1616 @ 300.296
300.62/301.63	c bounds - >= 1617 @ 300.297
300.62/301.63	c bounds - >= 1618 @ 300.298
300.62/301.63	c bounds - >= 1619 @ 300.299
300.62/301.63	c bounds - >= 1620 @ 300.299
300.62/301.63	c bounds - >= 1621 @ 300.3
300.62/301.63	c bounds - >= 1622 @ 300.301
300.62/301.63	c bounds - >= 1623 @ 300.301
300.62/301.63	c bounds - >= 1624 @ 300.302
300.62/301.63	c bounds - >= 1625 @ 300.302
300.62/301.63	c bounds - >= 1626 @ 300.303
300.62/301.63	c bounds - >= 1627 @ 300.303
300.62/301.63	c bounds - >= 1628 @ 300.304
300.62/301.63	c bounds - >= 1629 @ 300.305
300.62/301.63	c bounds - >= 1630 @ 300.305
300.62/301.63	c bounds - >= 1631 @ 300.306
300.62/301.63	c bounds - >= 1632 @ 300.307
300.62/301.63	c bounds - >= 1633 @ 300.307
300.62/301.63	c bounds - >= 1634 @ 300.308
300.62/301.63	c bounds - >= 1635 @ 300.309
300.62/301.63	c bounds - >= 1636 @ 300.31
300.62/301.63	c bounds - >= 1637 @ 300.31
300.62/301.63	c bounds - >= 1638 @ 300.311
300.62/301.63	c bounds - >= 1639 @ 300.312
300.62/301.63	c bounds - >= 1640 @ 300.312
300.62/301.63	c bounds - >= 1641 @ 300.313
300.62/301.63	c bounds - >= 1642 @ 300.314
300.62/301.63	c bounds - >= 1643 @ 300.314
300.62/301.63	c bounds - >= 1644 @ 300.315
300.62/301.63	c bounds - >= 1645 @ 300.315
300.62/301.63	c bounds - >= 1646 @ 300.316
300.62/301.63	c bounds - >= 1647 @ 300.316
300.62/301.63	c bounds - >= 1648 @ 300.317
300.62/301.63	c bounds - >= 1649 @ 300.318
300.62/301.63	c bounds - >= 1650 @ 300.318
300.62/301.63	c bounds - >= 1651 @ 300.319
300.62/301.63	c bounds - >= 1652 @ 300.319
300.62/301.63	c bounds - >= 1653 @ 300.32
300.62/301.63	c bounds - >= 1654 @ 300.32
300.62/301.63	c bounds - >= 1655 @ 300.321
300.62/301.63	c bounds - >= 1656 @ 300.322
300.62/301.63	c bounds - >= 1657 @ 300.322
300.62/301.63	c bounds - >= 1658 @ 300.323
300.62/301.63	c bounds - >= 1659 @ 300.324
300.62/301.63	c bounds - >= 1660 @ 300.324
300.62/301.63	c bounds - >= 1661 @ 300.325
300.62/301.63	c bounds - >= 1662 @ 300.325
300.62/301.63	c bounds - >= 1663 @ 300.326
300.62/301.63	c bounds - >= 1664 @ 300.327
300.62/301.63	c bounds - >= 1665 @ 300.327
300.62/301.63	c bounds - >= 1666 @ 300.328
300.62/301.63	c bounds - >= 1667 @ 300.328
300.62/301.63	c bounds - >= 1668 @ 300.328
300.62/301.63	c bounds - >= 1669 @ 300.329
300.62/301.63	c bounds - >= 1670 @ 300.329
300.62/301.63	c bounds - >= 1671 @ 300.33
300.62/301.63	c bounds - >= 1672 @ 300.33
300.62/301.63	c bounds - >= 1673 @ 300.331
300.62/301.63	c bounds - >= 1674 @ 300.332
300.62/301.63	c bounds - >= 1675 @ 300.332
300.62/301.63	c bounds - >= 1676 @ 300.333
300.62/301.63	c bounds - >= 1677 @ 300.334
300.62/301.63	c bounds - >= 1678 @ 300.334
300.62/301.63	c bounds - >= 1679 @ 300.335
300.62/301.63	c bounds - >= 1680 @ 300.336
300.62/301.63	c bounds - >= 1681 @ 300.337
300.62/301.63	c bounds - >= 1682 @ 300.337
300.62/301.63	c bounds - >= 1683 @ 300.338
300.62/301.63	c bounds - >= 1684 @ 300.339
300.62/301.63	c bounds - >= 1685 @ 300.339
300.62/301.63	c bounds - >= 1686 @ 300.34
300.62/301.63	c bounds - >= 1687 @ 300.341
300.62/301.63	c bounds - >= 1688 @ 300.341
300.62/301.63	c bounds - >= 1689 @ 300.342
300.62/301.63	c bounds - >= 1690 @ 300.343
300.62/301.63	c bounds - >= 1691 @ 300.344
300.62/301.63	c bounds - >= 1692 @ 300.344
300.62/301.63	c bounds - >= 1693 @ 300.345
300.62/301.63	c bounds - >= 1694 @ 300.346
300.62/301.63	c bounds - >= 1695 @ 300.346
300.62/301.63	c bounds - >= 1696 @ 300.347
300.62/301.63	c bounds - >= 1697 @ 300.347
300.62/301.63	c bounds - >= 1698 @ 300.347
300.62/301.63	c bounds - >= 1699 @ 300.348
300.62/301.63	c bounds - >= 1700 @ 300.348
300.62/301.63	c bounds - >= 1701 @ 300.349
300.62/301.63	c bounds - >= 1702 @ 300.349
300.62/301.63	c bounds - >= 1703 @ 300.35
300.62/301.63	c bounds - >= 1704 @ 300.35
300.62/301.63	c bounds - >= 1705 @ 300.35
300.62/301.63	c bounds - >= 1706 @ 300.351
300.62/301.63	c bounds - >= 1707 @ 300.351
300.62/301.63	c bounds - >= 1708 @ 300.351
300.62/301.63	c bounds - >= 1709 @ 300.352
300.62/301.63	c bounds - >= 1710 @ 300.353
300.62/301.63	c bounds - >= 1711 @ 300.354
300.62/301.63	c bounds - >= 1712 @ 300.354
300.62/301.63	c bounds - >= 1713 @ 300.355
300.62/301.63	c bounds - >= 1714 @ 300.356
300.62/301.63	c bounds - >= 1715 @ 300.356
300.62/301.63	c bounds - >= 1716 @ 300.356
300.62/301.63	c bounds - >= 1717 @ 300.357
300.62/301.63	c bounds - >= 1718 @ 300.357
300.62/301.63	c bounds - >= 1719 @ 300.357
300.62/301.63	c bounds - >= 1720 @ 300.358
300.62/301.63	c bounds - >= 1721 @ 300.358
300.62/301.63	c bounds - >= 1722 @ 300.359
300.62/301.63	c bounds - >= 1723 @ 300.36
300.62/301.63	c bounds - >= 1724 @ 300.361
300.62/301.63	c bounds - >= 1725 @ 300.361
300.62/301.63	c bounds - >= 1726 @ 300.361
300.62/301.63	c bounds - >= 1727 @ 300.362
300.62/301.63	c bounds - >= 1728 @ 300.363
300.62/301.63	c bounds - >= 1729 @ 300.364
300.62/301.63	c bounds - >= 1730 @ 300.364
300.62/301.63	c bounds - >= 1731 @ 300.364
300.62/301.63	c bounds - >= 1732 @ 300.365
300.62/301.63	c bounds - >= 1733 @ 300.365
300.62/301.63	c bounds - >= 1734 @ 300.366
300.62/301.63	c bounds - >= 1735 @ 300.367
300.62/301.63	c bounds - >= 1736 @ 300.368
300.62/301.63	c bounds - >= 1737 @ 300.368
300.62/301.63	c bounds - >= 1738 @ 300.368
300.62/301.63	c bounds - >= 1739 @ 300.369
300.62/301.63	c bounds - >= 1740 @ 300.369
300.72/301.73	c bounds - >= 1741 @ 300.37
300.72/301.73	c bounds - >= 1742 @ 300.371
300.72/301.73	c bounds - >= 1743 @ 300.372
300.72/301.73	c bounds - >= 1744 @ 300.372
300.72/301.73	c bounds - >= 1745 @ 300.372
300.72/301.73	c bounds - >= 1746 @ 300.373
300.72/301.73	c bounds - >= 1747 @ 300.373
300.72/301.73	c bounds - >= 1748 @ 300.374
300.72/301.73	c bounds - >= 1749 @ 300.375
300.72/301.73	c bounds - >= 1750 @ 300.376
300.72/301.73	c bounds - >= 1751 @ 300.376
300.72/301.73	c bounds - >= 1752 @ 300.377
300.72/301.73	c bounds - >= 1753 @ 300.378
300.72/301.73	c bounds - >= 1754 @ 300.378
300.72/301.73	c bounds - >= 1755 @ 300.378
300.72/301.73	c bounds - >= 1756 @ 300.379
300.72/301.73	c bounds - >= 1757 @ 300.379
300.72/301.73	c bounds - >= 1758 @ 300.38
300.72/301.73	c bounds - >= 1759 @ 300.381
300.72/301.73	c bounds - >= 1760 @ 300.381
300.72/301.73	c bounds - >= 1761 @ 300.382
300.72/301.73	c bounds - >= 1762 @ 300.383
300.72/301.73	c bounds - >= 1763 @ 300.383
300.72/301.73	c bounds - >= 1764 @ 300.384
300.72/301.73	c bounds - >= 1765 @ 300.385
300.72/301.73	c bounds - >= 1766 @ 300.386
300.72/301.73	c bounds - >= 1767 @ 300.386
300.72/301.73	c bounds - >= 1768 @ 300.387
300.72/301.73	c bounds - >= 1769 @ 300.388
300.72/301.73	c bounds - >= 1770 @ 300.388
300.72/301.73	c bounds - >= 1771 @ 300.388
300.72/301.73	c bounds - >= 1772 @ 300.389
300.72/301.73	c bounds - >= 1773 @ 300.389
300.72/301.73	c bounds - >= 1774 @ 300.39
300.72/301.73	c bounds - >= 1775 @ 300.391
300.72/301.73	c bounds - >= 1776 @ 300.391
300.72/301.73	c bounds - >= 1777 @ 300.392
300.72/301.73	c bounds - >= 1778 @ 300.393
300.72/301.73	c bounds - >= 1779 @ 300.394
300.72/301.73	c bounds - >= 1780 @ 300.394
300.72/301.73	c bounds - >= 1781 @ 300.394
300.72/301.73	c bounds - >= 1782 @ 300.395
300.72/301.73	c bounds - >= 1783 @ 300.395
300.72/301.73	c bounds - >= 1784 @ 300.395
300.72/301.73	c bounds - >= 1785 @ 300.395
300.72/301.73	c bounds - >= 1786 @ 300.396
300.72/301.73	c bounds - >= 1787 @ 300.396
300.72/301.73	c bounds - >= 1788 @ 300.396
300.72/301.73	c bounds - >= 1789 @ 300.397
300.72/301.73	c bounds - >= 1790 @ 300.398
300.72/301.73	c bounds - >= 1791 @ 300.398
300.72/301.73	c bounds - >= 1792 @ 300.399
300.72/301.73	c bounds - >= 1793 @ 300.4
300.72/301.73	c bounds - >= 1794 @ 300.401
300.72/301.73	c bounds - >= 1795 @ 300.401
300.72/301.73	c bounds - >= 1796 @ 300.401
300.72/301.73	c bounds - >= 1797 @ 300.402
300.72/301.73	c bounds - >= 1798 @ 300.402
300.72/301.73	c bounds - >= 1799 @ 300.402
300.72/301.73	c bounds - >= 1800 @ 300.403
300.72/301.73	c bounds - >= 1801 @ 300.403
300.72/301.73	c bounds - >= 1802 @ 300.404
300.72/301.73	c bounds - >= 1803 @ 300.405
300.72/301.73	c bounds - >= 1804 @ 300.405
300.72/301.73	c bounds - >= 1805 @ 300.406
300.72/301.73	c bounds - >= 1806 @ 300.407
300.72/301.73	c bounds - >= 1807 @ 300.407
300.72/301.73	c bounds - >= 1808 @ 300.408
300.72/301.73	c bounds - >= 1809 @ 300.409
300.72/301.73	c bounds - >= 1810 @ 300.409
300.72/301.73	c bounds - >= 1811 @ 300.41
300.72/301.73	c bounds - >= 1812 @ 300.411
300.72/301.73	c bounds - >= 1813 @ 300.411
300.72/301.73	c bounds - >= 1814 @ 300.412
300.72/301.73	c bounds - >= 1815 @ 300.412
300.72/301.73	c bounds - >= 1816 @ 300.413
300.72/301.73	c bounds - >= 1817 @ 300.413
300.72/301.73	c bounds - >= 1818 @ 300.414
300.72/301.73	c bounds - >= 1819 @ 300.415
300.72/301.73	c bounds - >= 1820 @ 300.415
300.72/301.73	c bounds - >= 1821 @ 300.415
300.72/301.73	c bounds - >= 1822 @ 300.416
300.72/301.73	c bounds - >= 1823 @ 300.416
300.72/301.73	c bounds - >= 1824 @ 300.417
300.72/301.73	c bounds - >= 1825 @ 300.418
300.72/301.73	c bounds - >= 1826 @ 300.418
300.72/301.73	c bounds - >= 1827 @ 300.419
300.72/301.73	c bounds - >= 1828 @ 300.42
300.72/301.73	c bounds - >= 1829 @ 300.42
300.72/301.73	c bounds - >= 1830 @ 300.421
300.72/301.73	c bounds - >= 1831 @ 300.421
300.72/301.73	c bounds - >= 1832 @ 300.422
300.72/301.73	c bounds - >= 1833 @ 300.422
300.72/301.73	c bounds - >= 1834 @ 300.423
300.72/301.73	c bounds - >= 1835 @ 300.424
300.72/301.73	c bounds - >= 1836 @ 300.424
300.72/301.73	c bounds - >= 1837 @ 300.424
300.72/301.73	c bounds - >= 1838 @ 300.425
300.72/301.73	c bounds - >= 1839 @ 300.425
300.72/301.73	c bounds - >= 1840 @ 300.426
300.72/301.73	c bounds - >= 1841 @ 300.427
300.72/301.73	c bounds - >= 1842 @ 300.427
300.72/301.73	c bounds - >= 1843 @ 300.428
300.72/301.73	c bounds - >= 1844 @ 300.428
300.72/301.73	c bounds - >= 1845 @ 300.429
300.72/301.73	c bounds - >= 1846 @ 300.429
300.72/301.73	c bounds - >= 1847 @ 300.43
300.72/301.73	c bounds - >= 1848 @ 300.431
300.72/301.73	c bounds - >= 1849 @ 300.431
300.72/301.73	c bounds - >= 1850 @ 300.431
300.72/301.73	c bounds - >= 1851 @ 300.432
300.72/301.73	c bounds - >= 1852 @ 300.432
300.72/301.73	c bounds - >= 1853 @ 300.433
300.72/301.73	c bounds - >= 1854 @ 300.433
300.72/301.73	c bounds - >= 1855 @ 300.433
300.72/301.73	c bounds - >= 1856 @ 300.434
300.72/301.73	c bounds - >= 1857 @ 300.434
300.72/301.73	c bounds - >= 1858 @ 300.435
300.72/301.73	c bounds - >= 1859 @ 300.436
300.72/301.73	c bounds - >= 1860 @ 300.436
300.72/301.73	c bounds - >= 1861 @ 300.436
300.72/301.73	c bounds - >= 1862 @ 300.437
300.72/301.73	c bounds - >= 1863 @ 300.437
300.72/301.73	c bounds - >= 1864 @ 300.438
300.72/301.73	c bounds - >= 1865 @ 300.439
300.72/301.73	c bounds - >= 1866 @ 300.439
300.72/301.73	c bounds - >= 1867 @ 300.44
300.72/301.73	c bounds - >= 1868 @ 300.44
300.72/301.73	c bounds - >= 1869 @ 300.44
300.72/301.73	c bounds - >= 1870 @ 300.441
300.72/301.73	c bounds - >= 1871 @ 300.441
300.72/301.73	c bounds - >= 1872 @ 300.442
300.72/301.73	c bounds - >= 1873 @ 300.442
300.72/301.73	c bounds - >= 1874 @ 300.443
300.72/301.73	c bounds - >= 1875 @ 300.444
300.72/301.73	c bounds - >= 1876 @ 300.444
300.72/301.73	c bounds - >= 1877 @ 300.445
300.72/301.73	c bounds - >= 1878 @ 300.446
300.72/301.73	c bounds - >= 1879 @ 300.447
300.72/301.73	c bounds - >= 1880 @ 300.447
300.72/301.73	c bounds - >= 1881 @ 300.448
300.72/301.73	c bounds - >= 1882 @ 300.449
348.01/349.12	c bounds - >= 1883 @ 300.449
348.01/349.12	c bounds - >= 1884 @ 300.45
348.01/349.12	c bounds - >= 1885 @ 300.45
348.01/349.12	c bounds - >= 1886 @ 300.451
348.01/349.12	c bounds - >= 1887 @ 300.451
348.01/349.12	c bounds - >= 1888 @ 300.451
348.01/349.12	c bounds - >= 1889 @ 300.452
348.01/349.12	c bounds - >= 1890 @ 300.452
348.01/349.12	c bounds - >= 1891 @ 300.453
348.01/349.12	c bounds - >= 1892 @ 300.453
348.01/349.12	c bounds - >= 1893 @ 300.453
348.01/349.12	c bounds - >= 1894 @ 300.454
348.01/349.12	c bounds - >= 1895 @ 300.454
348.01/349.12	c bounds - >= 1896 @ 300.455
348.01/349.12	c bounds - >= 1897 @ 300.455
348.01/349.12	c bounds - >= 1898 @ 300.456
348.01/349.12	c bounds - >= 1899 @ 300.457
348.01/349.12	c bounds - >= 1900 @ 300.457
348.01/349.12	c bounds - >= 1901 @ 300.458
348.01/349.12	c bounds - >= 1902 @ 300.458
348.01/349.12	c bounds - >= 1903 @ 300.458
348.01/349.12	c bounds - >= 1904 @ 300.459
348.01/349.12	c bounds - >= 1905 @ 300.459
348.01/349.12	c bounds - >= 1906 @ 300.459
348.01/349.12	c bounds - >= 1907 @ 300.46
348.01/349.12	c bounds - >= 1908 @ 300.46
348.01/349.12	c bounds - >= 1909 @ 300.46
348.01/349.12	c bounds - >= 1910 @ 300.461
348.01/349.12	c bounds - >= 1911 @ 300.462
348.01/349.12	c bounds - >= 1912 @ 300.462
348.01/349.12	c bounds - >= 1913 @ 300.463
348.01/349.12	c bounds - >= 1914 @ 300.464
348.01/349.12	c bounds - >= 1915 @ 300.465
348.01/349.12	c bounds - >= 1916 @ 300.465
348.01/349.12	c bounds - >= 1917 @ 300.466
348.01/349.12	c bounds - >= 1918 @ 300.467
348.01/349.12	c bounds - >= 1919 @ 300.468
348.01/349.12	c bounds - >= 1920 @ 300.468
348.01/349.12	c bounds - >= 1921 @ 300.469
348.01/349.12	c bounds - >= 1922 @ 300.469
348.01/349.12	c bounds - >= 1923 @ 300.469
348.01/349.12	c bounds - >= 1924 @ 300.47
348.01/349.12	c bounds - >= 1925 @ 300.471
348.01/349.12	c bounds - >= 1926 @ 300.471
348.01/349.12	c bounds - >= 1927 @ 300.472
348.01/349.12	c bounds - >= 1928 @ 300.472
348.01/349.12	c bounds - >= 1929 @ 300.472
348.01/349.12	c bounds - >= 1930 @ 300.473
348.01/349.12	c bounds - >= 1931 @ 300.474
348.01/349.12	c bounds - >= 1932 @ 300.474
348.01/349.12	c bounds - >= 1933 @ 300.475
348.01/349.12	c bounds - >= 1934 @ 300.476
348.01/349.12	c bounds - >= 1935 @ 300.476
348.01/349.12	c bounds - >= 1936 @ 300.477
348.01/349.12	c bounds - >= 1937 @ 300.477
348.01/349.12	c bounds - >= 1938 @ 300.477
348.01/349.12	c bounds - >= 1939 @ 300.478
348.01/349.12	c bounds - >= 1940 @ 300.478
348.01/349.12	c bounds - >= 1941 @ 300.478
348.01/349.12	c bounds - >= 1942 @ 300.479
348.01/349.12	c bounds - >= 1943 @ 300.479
348.01/349.12	c bounds - >= 1944 @ 300.479
348.01/349.12	c bounds - >= 1945 @ 300.48
348.01/349.12	c bounds - >= 1946 @ 300.48
348.01/349.12	c bounds - >= 1947 @ 300.48
348.01/349.12	c bounds - >= 1948 @ 300.481
348.01/349.12	c bounds - >= 1949 @ 300.482
348.01/349.12	c bounds - >= 1950 @ 300.482
348.01/349.12	c bounds - >= 1951 @ 300.483
348.01/349.12	c bounds - >= 1952 @ 300.484
348.01/349.12	c bounds - >= 1953 @ 300.484
348.01/349.12	c bounds - >= 1954 @ 300.485
348.01/349.12	c bounds - >= 1955 @ 300.485
348.01/349.12	c bounds - >= 1956 @ 300.485
348.01/349.12	c bounds - >= 1957 @ 300.486
348.01/349.12	c bounds - >= 1958 @ 300.487
348.01/349.12	c bounds - >= 1959 @ 300.487
348.01/349.12	c bounds - >= 1960 @ 300.488
348.01/349.12	c bounds - >= 1961 @ 300.489
348.01/349.12	c bounds - >= 1962 @ 300.489
348.01/349.12	c bounds - >= 1963 @ 300.49
348.01/349.12	c bounds - >= 1964 @ 300.491
348.01/349.12	c bounds - >= 1965 @ 300.491
348.01/349.12	c bounds - >= 1966 @ 300.492
348.01/349.12	c bounds - >= 1967 @ 300.493
348.01/349.12	c bounds - >= 1968 @ 300.493
348.01/349.12	c bounds - >= 1969 @ 300.494
348.01/349.12	c bounds - >= 1970 @ 300.495
348.01/349.12	c bounds - >= 1971 @ 300.495
348.01/349.12	c bounds - >= 1972 @ 300.496
348.01/349.12	c bounds - >= 1973 @ 300.497
348.01/349.12	c bounds - >= 1974 @ 300.497
348.01/349.12	c bounds - >= 1975 @ 300.498
348.01/349.12	c bounds - >= 1976 @ 300.498
348.01/349.12	c bounds - >= 1977 @ 300.498
348.01/349.12	c bounds - >= 1978 @ 300.499
348.01/349.12	c bounds - >= 1979 @ 300.5
348.01/349.12	c bounds - >= 1980 @ 300.5
348.01/349.12	c bounds - >= 1981 @ 300.501
348.01/349.12	c bounds - >= 1982 @ 300.501
348.01/349.12	c bounds - >= 1983 @ 300.502
348.01/349.12	c bounds - >= 1984 @ 300.503
348.01/349.12	c bounds - >= 1985 @ 300.503
348.01/349.12	c bounds - >= 1986 @ 300.504
348.01/349.12	c bounds - >= 1987 @ 300.505
348.01/349.12	c bounds - >= 1988 @ 300.505
348.01/349.12	c bounds - >= 1989 @ 300.506
348.01/349.12	c #Conflicts:       1000 | #Constraints:      11159
348.01/349.12	c #Conflicts:       2000 | #Constraints:      12159
348.01/349.12	c INPROCESSING
348.01/349.12	c GARBAGE COLLECT
348.01/349.12	c #Conflicts:       3000 | #Constraints:      10344
348.01/349.12	c #Conflicts:       4000 | #Constraints:      11344
348.01/349.12	c INPROCESSING
348.01/349.12	c GARBAGE COLLECT
348.01/349.12	c #Conflicts:       5000 | #Constraints:      10833
348.01/349.12	c #Conflicts:       6000 | #Constraints:      11833
348.01/349.12	c INPROCESSING
348.01/349.12	c GARBAGE COLLECT
348.01/349.12	c #Conflicts:       7000 | #Constraints:      10889
348.01/349.12	c #Conflicts:       8000 | #Constraints:      11889
348.01/349.12	c #Conflicts:       9000 | #Constraints:      12889
348.01/349.12	c INPROCESSING
348.01/349.12	c GARBAGE COLLECT
348.01/349.12	c #Conflicts:      10000 | #Constraints:      11607
348.01/349.12	c #Conflicts:      11000 | #Constraints:      12607
348.01/349.12	c #Conflicts:      12000 | #Constraints:      13607
348.01/349.12	c INPROCESSING
348.01/349.12	c GARBAGE COLLECT
348.01/349.12	c #Conflicts:      13000 | #Constraints:      12059
348.01/349.12	c #Conflicts:      14000 | #Constraints:      13059
348.01/349.12	c #Conflicts:      15000 | #Constraints:      14059
348.01/349.12	c INPROCESSING
348.01/349.12	c GARBAGE COLLECT
348.01/349.12	c #Conflicts:      16000 | #Constraints:      12290
681.88/683.92	c #Conflicts:      17000 | #Constraints:      13290
681.88/683.92	c #Conflicts:      18000 | #Constraints:      14290
681.88/683.92	c INPROCESSING
681.88/683.92	c GARBAGE COLLECT
681.88/683.92	c #Conflicts:      19000 | #Constraints:      12307
681.88/683.92	c #Conflicts:      20000 | #Constraints:      13307
681.88/683.92	c #Conflicts:      21000 | #Constraints:      14307
681.88/683.92	c INPROCESSING
681.88/683.92	c GARBAGE COLLECT
681.88/683.92	c #Conflicts:      22000 | #Constraints:      12110
681.88/683.92	c #Conflicts:      23000 | #Constraints:      13110
681.88/683.92	c #Conflicts:      24000 | #Constraints:      14110
681.88/683.92	c #Conflicts:      25000 | #Constraints:      15110
681.88/683.92	c INPROCESSING
681.88/683.92	c GARBAGE COLLECT
681.88/683.92	c #Conflicts:      26000 | #Constraints:      12733
681.88/683.92	c #Conflicts:      27000 | #Constraints:      13733
681.88/683.92	c #Conflicts:      28000 | #Constraints:      14733
681.88/683.92	c #Conflicts:      29000 | #Constraints:      15733
681.88/683.92	c INPROCESSING
681.88/683.92	c GARBAGE COLLECT
681.88/683.92	c #Conflicts:      30000 | #Constraints:      13140
681.88/683.92	c #Conflicts:      31000 | #Constraints:      14140
681.88/683.92	c #Conflicts:      32000 | #Constraints:      15140
681.88/683.92	c #Conflicts:      33000 | #Constraints:      16140
681.88/683.92	c INPROCESSING
681.88/683.92	c GARBAGE COLLECT
681.88/683.92	c #Conflicts:      34000 | #Constraints:      13345
681.88/683.92	c #Conflicts:      35000 | #Constraints:      14345
681.88/683.92	c #Conflicts:      36000 | #Constraints:      15345
681.88/683.92	c #Conflicts:      37000 | #Constraints:      16345
681.88/683.92	c INPROCESSING
681.88/683.92	c GARBAGE COLLECT
681.88/683.92	c #Conflicts:      38000 | #Constraints:      13350
681.88/683.92	c #Conflicts:      39000 | #Constraints:      14350
681.88/683.92	c #Conflicts:      40000 | #Constraints:      15350
681.88/683.92	c #Conflicts:      41000 | #Constraints:      16350
681.88/683.92	c INPROCESSING
681.88/683.92	c GARBAGE COLLECT
681.88/683.92	c #Conflicts:      42000 | #Constraints:      13151
681.88/683.92	c #Conflicts:      43000 | #Constraints:      14151
681.88/683.92	c #Conflicts:      44000 | #Constraints:      15151
681.88/683.92	c #Conflicts:      45000 | #Constraints:      16151
681.88/683.92	c #Conflicts:      46000 | #Constraints:      17151
681.88/683.92	c INPROCESSING
681.88/683.92	c GARBAGE COLLECT
681.88/683.92	c #Conflicts:      47000 | #Constraints:      13728
681.88/683.92	c #Conflicts:      48000 | #Constraints:      14728
681.88/683.92	c #Conflicts:      49000 | #Constraints:      15728
681.88/683.92	c #Conflicts:      50000 | #Constraints:      16728
681.88/683.92	c #Conflicts:      51000 | #Constraints:      17728
681.88/683.92	c INPROCESSING
681.88/683.92	c GARBAGE COLLECT
681.88/683.92	c #Conflicts:      52000 | #Constraints:      14128
681.88/683.92	c #Conflicts:      53000 | #Constraints:      15128
681.88/683.92	c #Conflicts:      54000 | #Constraints:      16128
681.88/683.92	c #Conflicts:      55000 | #Constraints:      17128
681.88/683.92	c #Conflicts:      56000 | #Constraints:      18128
681.88/683.92	c INPROCESSING
681.88/683.92	c GARBAGE COLLECT
681.88/683.92	c #Conflicts:      57000 | #Constraints:      14338
681.88/683.92	c #Conflicts:      58000 | #Constraints:      15338
681.88/683.92	c #Conflicts:      59000 | #Constraints:      16338
681.88/683.92	c #Conflicts:      60000 | #Constraints:      17338
681.88/683.92	c #Conflicts:      61000 | #Constraints:      18338
681.88/683.92	c INPROCESSING
681.88/683.92	c GARBAGE COLLECT
681.88/683.92	c #Conflicts:      62000 | #Constraints:      14346
681.88/683.92	c #Conflicts:      63000 | #Constraints:      15346
681.88/683.92	c #Conflicts:      64000 | #Constraints:      16346
681.88/683.92	c #Conflicts:      65000 | #Constraints:      17346
681.88/683.92	c #Conflicts:      66000 | #Constraints:      18346
681.88/683.92	c INPROCESSING
681.88/683.92	c GARBAGE COLLECT
681.88/683.92	c #Conflicts:      67000 | #Constraints:      14171
681.88/683.92	c #Conflicts:      68000 | #Constraints:      15171
681.88/683.92	c #Conflicts:      69000 | #Constraints:      16171
681.88/683.92	c #Conflicts:      70000 | #Constraints:      17171
681.88/683.92	c #Conflicts:      71000 | #Constraints:      18171
681.88/683.92	c #Conflicts:      72000 | #Constraints:      19171
681.88/683.92	c INPROCESSING
681.88/683.92	c GARBAGE COLLECT
681.88/683.92	c #Conflicts:      73000 | #Constraints:      14777
681.88/683.92	c #Conflicts:      74000 | #Constraints:      15777
681.88/683.92	c #Conflicts:      75000 | #Constraints:      16777
681.88/683.92	c #Conflicts:      76000 | #Constraints:      17777
681.88/683.92	c #Conflicts:      77000 | #Constraints:      18777
681.88/683.92	c #Conflicts:      78000 | #Constraints:      19777
681.88/683.92	c INPROCESSING
681.88/683.92	c GARBAGE COLLECT
681.88/683.92	c #Conflicts:      79000 | #Constraints:      15197
681.88/683.92	c #Conflicts:      80000 | #Constraints:      16197
681.88/683.92	c #Conflicts:      81000 | #Constraints:      17197
681.88/683.92	c #Conflicts:      82000 | #Constraints:      18197
681.88/683.92	c #Conflicts:      83000 | #Constraints:      19197
681.88/683.92	c #Conflicts:      84000 | #Constraints:      20197
681.88/683.92	c INPROCESSING
681.88/683.92	c GARBAGE COLLECT
681.88/683.92	c #Conflicts:      85000 | #Constraints:      15406
1078.68/1081.93	c #Conflicts:      86000 | #Constraints:      16406
1078.68/1081.93	c #Conflicts:      87000 | #Constraints:      17406
1078.68/1081.93	c #Conflicts:      88000 | #Constraints:      18406
1078.68/1081.93	c #Conflicts:      89000 | #Constraints:      19406
1078.68/1081.93	c #Conflicts:      90000 | #Constraints:      20406
1078.68/1081.93	c INPROCESSING
1078.68/1081.93	c GARBAGE COLLECT
1078.68/1081.93	c #Conflicts:      91000 | #Constraints:      15410
1078.68/1081.93	c #Conflicts:      92000 | #Constraints:      16410
1078.68/1081.93	c #Conflicts:      93000 | #Constraints:      17410
1078.68/1081.93	c #Conflicts:      94000 | #Constraints:      18410
1078.68/1081.93	c #Conflicts:      95000 | #Constraints:      19410
1078.68/1081.93	c #Conflicts:      96000 | #Constraints:      20410
1078.68/1081.93	c INPROCESSING
1078.68/1081.93	c GARBAGE COLLECT
1078.68/1081.93	c #Conflicts:      97000 | #Constraints:      15220
1078.68/1081.93	c #Conflicts:      98000 | #Constraints:      16220
1078.68/1081.93	c #Conflicts:      99000 | #Constraints:      17220
1078.68/1081.93	c #Conflicts:     100000 | #Constraints:      18220
1078.68/1081.93	c #Conflicts:     101000 | #Constraints:      19220
1078.68/1081.93	c #Conflicts:     102000 | #Constraints:      20220
1078.68/1081.93	c #Conflicts:     103000 | #Constraints:      21220
1078.68/1081.93	c INPROCESSING
1078.68/1081.93	c GARBAGE COLLECT
1078.68/1081.93	c #Conflicts:     104000 | #Constraints:      15830
1078.68/1081.93	c #Conflicts:     105000 | #Constraints:      16830
1078.68/1081.93	c #Conflicts:     106000 | #Constraints:      17830
1078.68/1081.93	c #Conflicts:     107000 | #Constraints:      18830
1078.68/1081.93	c #Conflicts:     108000 | #Constraints:      19830
1078.68/1081.93	c #Conflicts:     109000 | #Constraints:      20830
1078.68/1081.93	c #Conflicts:     110000 | #Constraints:      21830
1078.68/1081.93	c INPROCESSING
1078.68/1081.93	c GARBAGE COLLECT
1078.68/1081.93	c #Conflicts:     111000 | #Constraints:      16231
1078.68/1081.93	c #Conflicts:     112000 | #Constraints:      17231
1078.68/1081.93	c #Conflicts:     113000 | #Constraints:      18231
1078.68/1081.93	c #Conflicts:     114000 | #Constraints:      19231
1078.68/1081.93	c #Conflicts:     115000 | #Constraints:      20231
1078.68/1081.93	c #Conflicts:     116000 | #Constraints:      21231
1078.68/1081.93	c #Conflicts:     117000 | #Constraints:      22231
1078.68/1081.93	c INPROCESSING
1078.68/1081.93	c GARBAGE COLLECT
1078.68/1081.93	c #Conflicts:     118000 | #Constraints:      16415
1078.68/1081.93	c #Conflicts:     119000 | #Constraints:      17415
1078.68/1081.93	c #Conflicts:     120000 | #Constraints:      18415
1078.68/1081.93	c #Conflicts:     121000 | #Constraints:      19415
1078.68/1081.93	c #Conflicts:     122000 | #Constraints:      20415
1078.68/1081.93	c #Conflicts:     123000 | #Constraints:      21415
1078.68/1081.93	c #Conflicts:     124000 | #Constraints:      22415
1078.68/1081.93	c INPROCESSING
1078.68/1081.93	c GARBAGE COLLECT
1078.68/1081.93	c #Conflicts:     125000 | #Constraints:      16417
1078.68/1081.93	c #Conflicts:     126000 | #Constraints:      17417
1078.68/1081.93	c #Conflicts:     127000 | #Constraints:      18417
1078.68/1081.93	c #Conflicts:     128000 | #Constraints:      19417
1078.68/1081.93	c #Conflicts:     129000 | #Constraints:      20417
1078.68/1081.93	c #Conflicts:     130000 | #Constraints:      21417
1078.68/1081.93	c #Conflicts:     131000 | #Constraints:      22417
1078.68/1081.93	c INPROCESSING
1078.68/1081.93	c GARBAGE COLLECT
1078.68/1081.93	c #Conflicts:     132000 | #Constraints:      16217
1078.68/1081.93	c #Conflicts:     133000 | #Constraints:      17217
1078.68/1081.93	c #Conflicts:     134000 | #Constraints:      18217
1078.68/1081.93	c #Conflicts:     135000 | #Constraints:      19217
1078.68/1081.93	c #Conflicts:     136000 | #Constraints:      20217
1078.68/1081.93	c #Conflicts:     137000 | #Constraints:      21217
1078.68/1081.93	c #Conflicts:     138000 | #Constraints:      22217
1078.68/1081.93	c #Conflicts:     139000 | #Constraints:      23217
1078.68/1081.93	c INPROCESSING
1078.68/1081.93	c GARBAGE COLLECT
1078.68/1081.93	c #Conflicts:     140000 | #Constraints:      16838
1078.68/1081.93	c #Conflicts:     141000 | #Constraints:      17838
1078.68/1081.93	c #Conflicts:     142000 | #Constraints:      18838
1078.68/1081.93	c #Conflicts:     143000 | #Constraints:      19838
1078.68/1081.93	c #Conflicts:     144000 | #Constraints:      20838
1078.68/1081.93	c #Conflicts:     145000 | #Constraints:      21838
1078.68/1081.93	c #Conflicts:     146000 | #Constraints:      22838
1078.68/1081.93	c #Conflicts:     147000 | #Constraints:      23838
1078.68/1081.93	c INPROCESSING
1078.68/1081.93	c GARBAGE COLLECT
1078.68/1081.93	c #Conflicts:     148000 | #Constraints:      17235
1078.68/1081.93	c #Conflicts:     149000 | #Constraints:      18235
1078.68/1081.93	c #Conflicts:     150000 | #Constraints:      19235
1078.68/1081.93	c #Conflicts:     151000 | #Constraints:      20235
1078.68/1081.93	c #Conflicts:     152000 | #Constraints:      21235
1078.68/1081.93	c #Conflicts:     153000 | #Constraints:      22235
1078.68/1081.93	c #Conflicts:     154000 | #Constraints:      23235
1078.68/1081.93	c #Conflicts:     155000 | #Constraints:      24235
1078.68/1081.93	c INPROCESSING
1078.68/1081.93	c GARBAGE COLLECT
1078.68/1081.93	c #Conflicts:     156000 | #Constraints:      17429
1078.68/1081.93	c #Conflicts:     157000 | #Constraints:      18429
1585.88/1590.66	c #Conflicts:     158000 | #Constraints:      19429
1585.88/1590.66	c #Conflicts:     159000 | #Constraints:      20429
1585.88/1590.66	c #Conflicts:     160000 | #Constraints:      21429
1585.88/1590.66	c #Conflicts:     161000 | #Constraints:      22429
1585.88/1590.66	c #Conflicts:     162000 | #Constraints:      23429
1585.88/1590.66	c #Conflicts:     163000 | #Constraints:      24429
1585.88/1590.66	c INPROCESSING
1585.88/1590.66	c GARBAGE COLLECT
1585.88/1590.66	c #Conflicts:     164000 | #Constraints:      17429
1585.88/1590.66	c #Conflicts:     165000 | #Constraints:      18429
1585.88/1590.66	c #Conflicts:     166000 | #Constraints:      19429
1585.88/1590.66	c #Conflicts:     167000 | #Constraints:      20429
1585.88/1590.66	c #Conflicts:     168000 | #Constraints:      21429
1585.88/1590.66	c #Conflicts:     169000 | #Constraints:      22429
1585.88/1590.66	c #Conflicts:     170000 | #Constraints:      23429
1585.88/1590.66	c #Conflicts:     171000 | #Constraints:      24429
1585.88/1590.66	c INPROCESSING
1585.88/1590.66	c GARBAGE COLLECT
1585.88/1590.66	c #Conflicts:     172000 | #Constraints:      17225
1585.88/1590.66	c #Conflicts:     173000 | #Constraints:      18225
1585.88/1590.66	c #Conflicts:     174000 | #Constraints:      19225
1585.88/1590.66	c #Conflicts:     175000 | #Constraints:      20225
1585.88/1590.66	c #Conflicts:     176000 | #Constraints:      21225
1585.88/1590.66	c #Conflicts:     177000 | #Constraints:      22225
1585.88/1590.66	c #Conflicts:     178000 | #Constraints:      23225
1585.88/1590.66	c #Conflicts:     179000 | #Constraints:      24225
1585.88/1590.66	c #Conflicts:     180000 | #Constraints:      25225
1585.88/1590.66	c INPROCESSING
1585.88/1590.66	c GARBAGE COLLECT
1585.88/1590.66	c #Conflicts:     181000 | #Constraints:      17817
1585.88/1590.66	c #Conflicts:     182000 | #Constraints:      18817
1585.88/1590.66	c #Conflicts:     183000 | #Constraints:      19817
1585.88/1590.66	c #Conflicts:     184000 | #Constraints:      20817
1585.88/1590.66	c #Conflicts:     185000 | #Constraints:      21817
1585.88/1590.66	c #Conflicts:     186000 | #Constraints:      22817
1585.88/1590.66	c #Conflicts:     187000 | #Constraints:      23817
1585.88/1590.66	c #Conflicts:     188000 | #Constraints:      24817
1585.88/1590.66	c #Conflicts:     189000 | #Constraints:      25817
1585.88/1590.66	c INPROCESSING
1585.88/1590.66	c GARBAGE COLLECT
1585.88/1590.66	c #Conflicts:     190000 | #Constraints:      18221
1585.88/1590.66	c #Conflicts:     191000 | #Constraints:      19221
1585.88/1590.66	c #Conflicts:     192000 | #Constraints:      20221
1585.88/1590.66	c #Conflicts:     193000 | #Constraints:      21221
1585.88/1590.66	c #Conflicts:     194000 | #Constraints:      22221
1585.88/1590.66	c #Conflicts:     195000 | #Constraints:      23221
1585.88/1590.66	c #Conflicts:     196000 | #Constraints:      24221
1585.88/1590.66	c #Conflicts:     197000 | #Constraints:      25221
1585.88/1590.66	c #Conflicts:     198000 | #Constraints:      26221
1585.88/1590.66	c INPROCESSING
1585.88/1590.66	c GARBAGE COLLECT
1585.88/1590.66	c #Conflicts:     199000 | #Constraints:      18429
1585.88/1590.66	c #Conflicts:     200000 | #Constraints:      19429
1585.88/1590.66	c #Conflicts:     201000 | #Constraints:      20429
1585.88/1590.66	c #Conflicts:     202000 | #Constraints:      21429
1585.88/1590.66	c #Conflicts:     203000 | #Constraints:      22429
1585.88/1590.66	c #Conflicts:     204000 | #Constraints:      23429
1585.88/1590.66	c #Conflicts:     205000 | #Constraints:      24429
1585.88/1590.66	c #Conflicts:     206000 | #Constraints:      25429
1585.88/1590.66	c #Conflicts:     207000 | #Constraints:      26429
1585.88/1590.66	c INPROCESSING
1585.88/1590.66	c GARBAGE COLLECT
1585.88/1590.66	c #Conflicts:     208000 | #Constraints:      18420
1585.88/1590.66	c #Conflicts:     209000 | #Constraints:      19420
1585.88/1590.66	c #Conflicts:     210000 | #Constraints:      20420
1585.88/1590.66	c #Conflicts:     211000 | #Constraints:      21420
1585.88/1590.66	c #Conflicts:     212000 | #Constraints:      22420
1585.88/1590.66	c #Conflicts:     213000 | #Constraints:      23420
1585.88/1590.66	c #Conflicts:     214000 | #Constraints:      24420
1585.88/1590.66	c #Conflicts:     215000 | #Constraints:      25420
1585.88/1590.66	c #Conflicts:     216000 | #Constraints:      26420
1585.88/1590.66	c INPROCESSING
1585.88/1590.66	c GARBAGE COLLECT
1585.88/1590.66	c #Conflicts:     217000 | #Constraints:      18224
1585.88/1590.66	c #Conflicts:     218000 | #Constraints:      19224
1585.88/1590.66	c #Conflicts:     219000 | #Constraints:      20224
1585.88/1590.66	c #Conflicts:     220000 | #Constraints:      21224
1585.88/1590.66	c #Conflicts:     221000 | #Constraints:      22224
1585.88/1590.66	c #Conflicts:     222000 | #Constraints:      23224
1585.88/1590.66	c #Conflicts:     223000 | #Constraints:      24224
1585.88/1590.66	c #Conflicts:     224000 | #Constraints:      25224
1585.88/1590.66	c #Conflicts:     225000 | #Constraints:      26224
1585.88/1590.66	c #Conflicts:     226000 | #Constraints:      27224
1585.88/1590.66	c INPROCESSING
1585.88/1590.66	c GARBAGE COLLECT
1585.88/1590.66	c #Conflicts:     227000 | #Constraints:      18830
1585.88/1590.66	c #Conflicts:     228000 | #Constraints:      19830
1585.88/1590.66	c #Conflicts:     229000 | #Constraints:      20830
1585.88/1590.66	c #Conflicts:     230000 | #Constraints:      21830
1585.88/1590.66	c #Conflicts:     231000 | #Constraints:      22830
2216.26/2222.99	c #Conflicts:     232000 | #Constraints:      23830
2216.26/2222.99	c #Conflicts:     233000 | #Constraints:      24830
2216.26/2222.99	c #Conflicts:     234000 | #Constraints:      25830
2216.26/2222.99	c #Conflicts:     235000 | #Constraints:      26830
2216.26/2222.99	c #Conflicts:     236000 | #Constraints:      27830
2216.26/2222.99	c INPROCESSING
2216.26/2222.99	c GARBAGE COLLECT
2216.26/2222.99	c #Conflicts:     237000 | #Constraints:      19223
2216.26/2222.99	c #Conflicts:     238000 | #Constraints:      20223
2216.26/2222.99	c #Conflicts:     239000 | #Constraints:      21223
2216.26/2222.99	c #Conflicts:     240000 | #Constraints:      22223
2216.26/2222.99	c #Conflicts:     241000 | #Constraints:      23223
2216.26/2222.99	c #Conflicts:     242000 | #Constraints:      24223
2216.26/2222.99	c #Conflicts:     243000 | #Constraints:      25223
2216.26/2222.99	c #Conflicts:     244000 | #Constraints:      26223
2216.26/2222.99	c #Conflicts:     245000 | #Constraints:      27223
2216.26/2222.99	c #Conflicts:     246000 | #Constraints:      28223
2216.26/2222.99	c INPROCESSING
2216.26/2222.99	c GARBAGE COLLECT
2216.26/2222.99	c #Conflicts:     247000 | #Constraints:      19442
2216.26/2222.99	c #Conflicts:     248000 | #Constraints:      20442
2216.26/2222.99	c #Conflicts:     249000 | #Constraints:      21442
2216.26/2222.99	c #Conflicts:     250000 | #Constraints:      22442
2216.26/2222.99	c #Conflicts:     251000 | #Constraints:      23442
2216.26/2222.99	c #Conflicts:     252000 | #Constraints:      24442
2216.26/2222.99	c #Conflicts:     253000 | #Constraints:      25442
2216.26/2222.99	c #Conflicts:     254000 | #Constraints:      26442
2216.26/2222.99	c #Conflicts:     255000 | #Constraints:      27442
2216.26/2222.99	c #Conflicts:     256000 | #Constraints:      28442
2216.26/2222.99	c INPROCESSING
2216.26/2222.99	c GARBAGE COLLECT
2216.26/2222.99	c #Conflicts:     257000 | #Constraints:      19440
2216.26/2222.99	c #Conflicts:     258000 | #Constraints:      20440
2216.26/2222.99	c #Conflicts:     259000 | #Constraints:      21440
2216.26/2222.99	c #Conflicts:     260000 | #Constraints:      22440
2216.26/2222.99	c #Conflicts:     261000 | #Constraints:      23440
2216.26/2222.99	c #Conflicts:     262000 | #Constraints:      24440
2216.26/2222.99	c #Conflicts:     263000 | #Constraints:      25440
2216.26/2222.99	c #Conflicts:     264000 | #Constraints:      26440
2216.26/2222.99	c #Conflicts:     265000 | #Constraints:      27440
2216.26/2222.99	c #Conflicts:     266000 | #Constraints:      28440
2216.26/2222.99	c INPROCESSING
2216.26/2222.99	c GARBAGE COLLECT
2216.26/2222.99	c #Conflicts:     267000 | #Constraints:      19242
2216.26/2222.99	c #Conflicts:     268000 | #Constraints:      20242
2216.26/2222.99	c #Conflicts:     269000 | #Constraints:      21242
2216.26/2222.99	c #Conflicts:     270000 | #Constraints:      22242
2216.26/2222.99	c #Conflicts:     271000 | #Constraints:      23242
2216.26/2222.99	c #Conflicts:     272000 | #Constraints:      24242
2216.26/2222.99	c #Conflicts:     273000 | #Constraints:      25242
2216.26/2222.99	c #Conflicts:     274000 | #Constraints:      26242
2216.26/2222.99	c #Conflicts:     275000 | #Constraints:      27242
2216.26/2222.99	c #Conflicts:     276000 | #Constraints:      28242
2216.26/2222.99	c #Conflicts:     277000 | #Constraints:      29242
2216.26/2222.99	c INPROCESSING
2216.26/2222.99	c GARBAGE COLLECT
2216.26/2222.99	c #Conflicts:     278000 | #Constraints:      19816
2216.26/2222.99	c #Conflicts:     279000 | #Constraints:      20816
2216.26/2222.99	c #Conflicts:     280000 | #Constraints:      21816
2216.26/2222.99	c #Conflicts:     281000 | #Constraints:      22816
2216.26/2222.99	c #Conflicts:     282000 | #Constraints:      23816
2216.26/2222.99	c #Conflicts:     283000 | #Constraints:      24816
2216.26/2222.99	c #Conflicts:     284000 | #Constraints:      25816
2216.26/2222.99	c #Conflicts:     285000 | #Constraints:      26816
2216.26/2222.99	c #Conflicts:     286000 | #Constraints:      27816
2216.26/2222.99	c #Conflicts:     287000 | #Constraints:      28816
2216.26/2222.99	c #Conflicts:     288000 | #Constraints:      29816
2216.26/2222.99	c INPROCESSING
2216.26/2222.99	c GARBAGE COLLECT
2216.26/2222.99	c #Conflicts:     289000 | #Constraints:      20204
2216.26/2222.99	c #Conflicts:     290000 | #Constraints:      21204
2216.26/2222.99	c #Conflicts:     291000 | #Constraints:      22204
2216.26/2222.99	c #Conflicts:     292000 | #Constraints:      23204
2216.26/2222.99	c #Conflicts:     293000 | #Constraints:      24204
2216.26/2222.99	c #Conflicts:     294000 | #Constraints:      25204
2216.26/2222.99	c #Conflicts:     295000 | #Constraints:      26204
2216.26/2222.99	c #Conflicts:     296000 | #Constraints:      27204
2216.26/2222.99	c #Conflicts:     297000 | #Constraints:      28204
2216.26/2222.99	c #Conflicts:     298000 | #Constraints:      29204
2216.26/2222.99	c #Conflicts:     299000 | #Constraints:      30204
2216.26/2222.99	c INPROCESSING
2216.26/2222.99	c GARBAGE COLLECT
2216.26/2222.99	c #Conflicts:     300000 | #Constraints:      20391
2216.26/2222.99	c #Conflicts:     301000 | #Constraints:      21391
2216.26/2222.99	c #Conflicts:     302000 | #Constraints:      22391
2216.26/2222.99	c #Conflicts:     303000 | #Constraints:      23391
2216.26/2222.99	c #Conflicts:     304000 | #Constraints:      24391
2216.26/2222.99	c #Conflicts:     305000 | #Constraints:      25391
2901.69/2910.61	c #Conflicts:     306000 | #Constraints:      26391
2901.69/2910.61	c #Conflicts:     307000 | #Constraints:      27391
2901.69/2910.61	c #Conflicts:     308000 | #Constraints:      28391
2901.69/2910.61	c #Conflicts:     309000 | #Constraints:      29391
2901.69/2910.61	c #Conflicts:     310000 | #Constraints:      30391
2901.69/2910.61	c INPROCESSING
2901.69/2910.61	c GARBAGE COLLECT
2901.69/2910.61	c #Conflicts:     311000 | #Constraints:      20410
2901.69/2910.61	c #Conflicts:     312000 | #Constraints:      21410
2901.69/2910.61	c #Conflicts:     313000 | #Constraints:      22410
2901.69/2910.61	c #Conflicts:     314000 | #Constraints:      23410
2901.69/2910.61	c #Conflicts:     315000 | #Constraints:      24410
2901.69/2910.61	c #Conflicts:     316000 | #Constraints:      25410
2901.69/2910.61	c #Conflicts:     317000 | #Constraints:      26410
2901.69/2910.61	c #Conflicts:     318000 | #Constraints:      27410
2901.69/2910.61	c #Conflicts:     319000 | #Constraints:      28410
2901.69/2910.61	c #Conflicts:     320000 | #Constraints:      29410
2901.69/2910.61	c #Conflicts:     321000 | #Constraints:      30410
2901.69/2910.61	c INPROCESSING
2901.69/2910.61	c GARBAGE COLLECT
2901.69/2910.61	c #Conflicts:     322000 | #Constraints:      20214
2901.69/2910.61	c #Conflicts:     323000 | #Constraints:      21214
2901.69/2910.61	c #Conflicts:     324000 | #Constraints:      22214
2901.69/2910.61	c #Conflicts:     325000 | #Constraints:      23214
2901.69/2910.61	c #Conflicts:     326000 | #Constraints:      24214
2901.69/2910.61	c #Conflicts:     327000 | #Constraints:      25214
2901.69/2910.61	c #Conflicts:     328000 | #Constraints:      26214
2901.69/2910.61	c #Conflicts:     329000 | #Constraints:      27214
2901.69/2910.61	c #Conflicts:     330000 | #Constraints:      28214
2901.69/2910.61	c #Conflicts:     331000 | #Constraints:      29214
2901.69/2910.61	c #Conflicts:     332000 | #Constraints:      30214
2901.69/2910.61	c #Conflicts:     333000 | #Constraints:      31214
2901.69/2910.61	c INPROCESSING
2901.69/2910.61	c GARBAGE COLLECT
2901.69/2910.61	c #Conflicts:     334000 | #Constraints:      20816
2901.69/2910.61	c #Conflicts:     335000 | #Constraints:      21816
2901.69/2910.61	c #Conflicts:     336000 | #Constraints:      22816
2901.69/2910.61	c #Conflicts:     337000 | #Constraints:      23816
2901.69/2910.61	c #Conflicts:     338000 | #Constraints:      24816
2901.69/2910.61	c #Conflicts:     339000 | #Constraints:      25816
2901.69/2910.61	c #Conflicts:     340000 | #Constraints:      26816
2901.69/2910.61	c #Conflicts:     341000 | #Constraints:      27816
2901.69/2910.61	c #Conflicts:     342000 | #Constraints:      28816
2901.69/2910.61	c #Conflicts:     343000 | #Constraints:      29816
2901.69/2910.61	c #Conflicts:     344000 | #Constraints:      30816
2901.69/2910.61	c #Conflicts:     345000 | #Constraints:      31816
2901.69/2910.61	c INPROCESSING
2901.69/2910.61	c GARBAGE COLLECT
2901.69/2910.61	c #Conflicts:     346000 | #Constraints:      21220
2901.69/2910.61	c #Conflicts:     347000 | #Constraints:      22220
2901.69/2910.61	c #Conflicts:     348000 | #Constraints:      23220
2901.69/2910.61	c #Conflicts:     349000 | #Constraints:      24220
2901.69/2910.61	c #Conflicts:     350000 | #Constraints:      25220
2901.69/2910.61	c #Conflicts:     351000 | #Constraints:      26220
2901.69/2910.61	c #Conflicts:     352000 | #Constraints:      27220
2901.69/2910.61	c #Conflicts:     353000 | #Constraints:      28220
2901.69/2910.61	c #Conflicts:     354000 | #Constraints:      29220
2901.69/2910.61	c #Conflicts:     355000 | #Constraints:      30220
2901.69/2910.61	c #Conflicts:     356000 | #Constraints:      31220
2901.69/2910.61	c #Conflicts:     357000 | #Constraints:      32220
2901.69/2910.61	c INPROCESSING
2901.69/2910.61	c GARBAGE COLLECT
2901.69/2910.61	c #Conflicts:     358000 | #Constraints:      21410
2901.69/2910.61	c #Conflicts:     359000 | #Constraints:      22410
2901.69/2910.61	c #Conflicts:     360000 | #Constraints:      23410
2901.69/2910.61	c #Conflicts:     361000 | #Constraints:      24410
2901.69/2910.61	c #Conflicts:     362000 | #Constraints:      25410
2901.69/2910.61	c #Conflicts:     363000 | #Constraints:      26410
2901.69/2910.61	c #Conflicts:     364000 | #Constraints:      27410
2901.69/2910.61	c #Conflicts:     365000 | #Constraints:      28410
2901.69/2910.61	c #Conflicts:     366000 | #Constraints:      29410
2901.69/2910.61	c #Conflicts:     367000 | #Constraints:      30410
2901.69/2910.61	c #Conflicts:     368000 | #Constraints:      31410
2901.69/2910.61	c #Conflicts:     369000 | #Constraints:      32410
2901.69/2910.61	c INPROCESSING
2901.69/2910.61	c GARBAGE COLLECT
2901.69/2910.61	c #Conflicts:     370000 | #Constraints:      21448
2901.69/2910.61	c #Conflicts:     371000 | #Constraints:      22448
2901.69/2910.61	c #Conflicts:     372000 | #Constraints:      23448
2901.69/2910.61	c #Conflicts:     373000 | #Constraints:      24448
2901.69/2910.61	c #Conflicts:     374000 | #Constraints:      25448
2901.69/2910.61	c #Conflicts:     375000 | #Constraints:      26448
2901.69/2910.61	c #Conflicts:     376000 | #Constraints:      27448
2901.69/2910.61	c #Conflicts:     377000 | #Constraints:      28448
2901.69/2910.61	c #Conflicts:     378000 | #Constraints:      29448
2901.69/2910.61	c #Conflicts:     379000 | #Constraints:      30448
2901.69/2910.61	c #Conflicts:     380000 | #Constraints:      31448
3600.04/3611.20	c #Conflicts:     381000 | #Constraints:      32448
3600.04/3611.20	c INPROCESSING
3600.04/3611.20	c GARBAGE COLLECT
3600.04/3611.20	c #Conflicts:     382000 | #Constraints:      21256
3600.04/3611.20	c #Conflicts:     383000 | #Constraints:      22256
3600.04/3611.20	c #Conflicts:     384000 | #Constraints:      23256
3600.04/3611.20	c #Conflicts:     385000 | #Constraints:      24256
3600.04/3611.20	c #Conflicts:     386000 | #Constraints:      25256
3600.04/3611.20	c #Conflicts:     387000 | #Constraints:      26256
3600.04/3611.20	c #Conflicts:     388000 | #Constraints:      27256
3600.04/3611.20	c #Conflicts:     389000 | #Constraints:      28256
3600.04/3611.20	c #Conflicts:     390000 | #Constraints:      29256
3600.04/3611.20	c #Conflicts:     391000 | #Constraints:      30256
3600.04/3611.20	c #Conflicts:     392000 | #Constraints:      31256
3600.04/3611.20	c #Conflicts:     393000 | #Constraints:      32256
3600.04/3611.20	c #Conflicts:     394000 | #Constraints:      33256
3600.04/3611.20	c INPROCESSING
3600.04/3611.20	c GARBAGE COLLECT
3600.04/3611.20	c #Conflicts:     395000 | #Constraints:      21853
3600.04/3611.20	c #Conflicts:     396000 | #Constraints:      22853
3600.04/3611.20	c #Conflicts:     397000 | #Constraints:      23853
3600.04/3611.20	c #Conflicts:     398000 | #Constraints:      24853
3600.04/3611.20	c #Conflicts:     399000 | #Constraints:      25853
3600.04/3611.20	c #Conflicts:     400000 | #Constraints:      26853
3600.04/3611.20	c #Conflicts:     401000 | #Constraints:      27853
3600.04/3611.20	c #Conflicts:     402000 | #Constraints:      28853
3600.04/3611.20	c #Conflicts:     403000 | #Constraints:      29853
3600.04/3611.20	c #Conflicts:     404000 | #Constraints:      30853
3600.04/3611.20	c #Conflicts:     405000 | #Constraints:      31853
3600.04/3611.20	c #Conflicts:     406000 | #Constraints:      32853
3600.04/3611.20	c #Conflicts:     407000 | #Constraints:      33853
3600.04/3611.20	c INPROCESSING
3600.04/3611.20	c GARBAGE COLLECT
3600.04/3611.20	c #Conflicts:     408000 | #Constraints:      22244
3600.04/3611.20	c #Conflicts:     409000 | #Constraints:      23244
3600.04/3611.20	c #Conflicts:     410000 | #Constraints:      24244
3600.04/3611.20	c #Conflicts:     411000 | #Constraints:      25244
3600.04/3611.20	c #Conflicts:     412000 | #Constraints:      26244
3600.04/3611.20	c #Conflicts:     413000 | #Constraints:      27244
3600.04/3611.20	c #Conflicts:     414000 | #Constraints:      28244
3600.04/3611.20	c #Conflicts:     415000 | #Constraints:      29244
3600.04/3611.20	c #Conflicts:     416000 | #Constraints:      30244
3600.04/3611.20	c #Conflicts:     417000 | #Constraints:      31244
3600.04/3611.20	c #Conflicts:     418000 | #Constraints:      32244
3600.04/3611.20	c #Conflicts:     419000 | #Constraints:      33244
3600.04/3611.20	c #Conflicts:     420000 | #Constraints:      34244
3600.04/3611.20	c INPROCESSING
3600.04/3611.20	c GARBAGE COLLECT
3600.04/3611.20	c #Conflicts:     421000 | #Constraints:      22453
3600.04/3611.20	c #Conflicts:     422000 | #Constraints:      23453
3600.04/3611.20	c #Conflicts:     423000 | #Constraints:      24453
3600.04/3611.20	c #Conflicts:     424000 | #Constraints:      25453
3600.04/3611.20	c #Conflicts:     425000 | #Constraints:      26453
3600.04/3611.20	c #Conflicts:     426000 | #Constraints:      27453
3600.04/3611.20	c #Conflicts:     427000 | #Constraints:      28453
3600.04/3611.20	c #Conflicts:     428000 | #Constraints:      29453
3600.04/3611.20	c #Conflicts:     429000 | #Constraints:      30453
3600.04/3611.20	c #Conflicts:     430000 | #Constraints:      31453
3600.04/3611.20	c #Conflicts:     431000 | #Constraints:      32453
3600.04/3611.20	c #Conflicts:     432000 | #Constraints:      33453
3600.04/3611.20	c #Conflicts:     433000 | #Constraints:      34453
3600.04/3611.20	c INPROCESSING
3600.04/3611.20	c GARBAGE COLLECT
3600.04/3611.20	c #Conflicts:     434000 | #Constraints:      22453
3600.04/3611.20	c #Conflicts:     435000 | #Constraints:      23453
3600.04/3611.20	c #Conflicts:     436000 | #Constraints:      24453
3600.04/3611.20	c #Conflicts:     437000 | #Constraints:      25453
3600.04/3611.20	c #Conflicts:     438000 | #Constraints:      26453
3600.04/3611.20	c #Conflicts:     439000 | #Constraints:      27453
3600.04/3611.20	c #Conflicts:     440000 | #Constraints:      28453
3600.04/3611.20	c #Conflicts:     441000 | #Constraints:      29453
3600.04/3611.20	c #Conflicts:     442000 | #Constraints:      30453
3600.04/3611.20	c #Conflicts:     443000 | #Constraints:      31453
3600.04/3611.20	c #Conflicts:     444000 | #Constraints:      32453
3600.04/3611.20	c #Conflicts:     445000 | #Constraints:      33453
3600.04/3611.20	c #Conflicts:     446000 | #Constraints:      34453
3600.04/3611.20	c INPROCESSING
3600.04/3611.20	c GARBAGE COLLECT
3600.04/3611.20	c #Conflicts:     447000 | #Constraints:      22250
3600.04/3611.20	c #Conflicts:     448000 | #Constraints:      23250
3600.04/3611.20	c #Conflicts:     449000 | #Constraints:      24250
3600.04/3611.20	c #Conflicts:     450000 | #Constraints:      25250
3600.04/3611.20	c #Conflicts:     451000 | #Constraints:      26250
3600.04/3611.20	c #Conflicts:     452000 | #Constraints:      27250
3600.04/3611.20	c #Conflicts:     453000 | #Constraints:      28250
3600.04/3611.20	c #Conflicts:     454000 | #Constraints:      29250
3600.04/3611.20	c Program interrupted by user.
3600.04/3611.20	c cpu time 3583.24 s
3600.04/3611.20	c deterministic time 320895499331 3.21e+11
3600.04/3611.20	c optimization time 89.695 s
3600.04/3611.20	c total solve time 3194.44 s
3600.04/3611.20	c core-guided solve time 3194.44 s
3600.04/3611.20	c propagation time 2093.93 s
3600.04/3611.20	c conflict analysis time 690.126 s
3600.04/3611.20	c propagations 189225266
3600.04/3611.20	c resolve steps 1840766
3600.04/3611.20	c decisions 15834154
3600.04/3611.20	c conflicts 454386
3600.04/3611.20	c restarts 1021
3600.04/3611.20	c inprocessing phases 58
3600.04/3611.20	c input clauses 8171
3600.04/3611.20	c input cardinalities 1989
3600.04/3611.20	c input general constraints 0
3600.04/3611.20	c input average constraint length 1603.44
3600.04/3611.20	c input average constraint degree 196.19
3600.04/3611.20	c learned clauses 14514
3600.04/3611.20	c learned cardinalities 403
3600.04/3611.20	c learned general constraints 439469
3600.04/3611.20	c learned average constraint length 4558.66
3600.04/3611.20	c learned average constraint degree 12832291.68
3600.04/3611.20	c watched constraints 93810
3600.04/3611.20	c counting constraints 345659
3600.04/3611.20	c gcd simplifications 1963
3600.04/3611.20	c detected cardinalities 159
3600.04/3611.20	c weakened non-implied lits 259358768
3600.04/3611.20	c weakened non-implying lits 3335
3600.04/3611.20	c original variables 8170
3600.04/3611.20	c clausal propagations 16943662
3600.04/3611.20	c cardinality propagations 804
3600.04/3611.20	c watched propagations 7951259
3600.04/3611.20	c counting propagations 158842773
3600.04/3611.20	c watch lookups 38549700437
3600.04/3611.20	c watch backjump lookups 38377773958
3600.04/3611.20	c watch checks 61684800771
3600.04/3611.20	c propagation checks 176234167799
3600.04/3611.20	c constraint additions 5638484799
3600.04/3611.20	c trail pops 205512146
3600.04/3611.20	c formula constraints 8170
3600.04/3611.20	c learned constraints 454386
3600.04/3611.20	c bound constraints 1990
3600.04/3611.20	c core-guided constraints 0
3600.04/3611.20	c encountered formula constraints 1149598
3600.04/3611.20	c encountered learned constraints 1145553
3600.04/3611.20	c encountered bound constraints 1
3600.04/3611.20	c encountered core-guided constraints 0
3600.04/3611.20	c LP total time 0 s
3600.04/3611.20	c LP solve time 0 s
3600.04/3611.20	c LP constraints added 0
3600.04/3611.20	c LP constraints removed 0
3600.04/3611.20	c LP pivots internal 0
3600.04/3611.20	c LP pivots root 0
3600.04/3611.20	c LP calls 0
3600.04/3611.20	c LP optimalities 0
3600.04/3611.20	c LP no pivot count 0
3600.04/3611.20	c LP infeasibilities 0
3600.04/3611.20	c LP valid Farkas constraints 0
3600.04/3611.20	c LP learned Farkas constraints 0
3600.04/3611.20	c LP basis resets 0
3600.04/3611.20	c LP cycling count 0
3600.04/3611.20	c LP singular count 0
3600.04/3611.20	c LP no primal count 0
3600.04/3611.20	c LP no farkas count 0
3600.04/3611.20	c LP other issue count 0
3600.04/3611.20	c LP Gomory cuts 0
3600.04/3611.20	c LP learned cuts 0
3600.04/3611.20	c LP deleted cuts 0
3600.04/3611.20	c LP encountered Gomory constraints 0
3600.04/3611.20	c LP encountered Farkas constraints 0
3600.04/3611.20	c LP encountered learned Farkas constraints 0
3600.04/3611.20	c CG auxiliary variables introduced 0
3600.04/3611.20	c CG solutions found 0
3600.04/3611.20	c CG cores constructed 1989
3600.04/3611.20	c CG core cardinality constraints returned 0
3600.04/3611.20	c CG unit cores 0
3600.04/3611.20	c CG single cores 1989
3600.04/3611.20	c CG blocks removed during cardinality reduction 0
3600.04/3611.20	c CG first core best 0
3600.04/3611.20	c CG decision core best 0
3600.04/3611.20	c CG core reduction tie 0
3600.04/3611.20	c CG core degree average 1.00
3600.04/3611.20	c CG core slack average 3.00
3600.04/3611.20	c CG exhausted 0
3600.04/3611.20	c CG exhaust time 0 s
3600.04/3611.20	c CG trimmed 0
3600.04/3611.20	c CG trim time 0.014518 s
3600.04/3611.20	c CG minimized 0
3600.04/3611.20	c CG minimize time 0 s
3600.04/3611.20	c CG am1 prop time 0.007682 s
3600.04/3611.20	c CG # am1s reformulated 0
3600.04/3611.20	c CG lower bound derived from am1s 0
3600.04/3611.20	c CG # clausal cores 1989
3600.04/3611.20	c CG # cardinality cores 0
3600.04/3611.20	c CG # pb cores 0
3600.04/3611.20	c CG # pb reforms 0
3600.04/3611.20	c CG # cores discarded because of pb reform 0
3600.04/3611.20	d LOWERBOUND 1989
3600.04/3611.20	d NCORES 1989
3600.04/3611.20	d NPBCORES 0
3600.04/3611.20	d NPBREFORM 0
3600.04/3611.20	d NTRIMMED 0
3600.04/3611.20	d NEXHAUSTED 0
3600.04/3611.20	d NAM1S 0
3600.04/3611.20	d AM1LB 0
3600.04/3611.20	c [Papilo Statistics]
3600.04/3611.20	c prepro time 0.0276494s
3600.04/3611.20	c # tsx applied 0
3600.04/3611.20	c # tsx conflicts 0
3600.04/3611.20	c # bound changes 0
3600.04/3611.20	c # side changes 0
3600.04/3611.20	c # coef changes 0
3600.04/3611.20	c # rounds 1
3600.04/3611.20	c # deted vars 0
3600.04/3611.20	c # deted constrs 0
3600.04/3611.20	c # consecutive rounds of only bound changes 0
3600.04/3611.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: 63794 MiB (61197 MiB free)
  memory of node 1: 64507 MiB (60562 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4520655-1751557103/watcher-4520655-1751557103 -o /tmp/evaluation-result-4520655-1751557103/solver-4520655-1751557103 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751553490-77709 --watchdog 3760 mixed-bag HOME/instance-4520655-1751557103.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Current StackSize limit: 8192 KiB

solver pid=79243, runsolver pid=79240

[startup+0.100075 s]*
/proc/loadavg: 4.11 4.13 4.09 5/249 79244
/proc/meminfo: memFree=124675312/131382112 swapFree=33010416/33010684
[pid=79243] ppid=79240 vsize=89092 memory=17144 CPUtime=0.08 cores=5,7
/proc/79243/stat : 79243 (mixed-bag) R 79240 79243 77674 0 -1 4194304 2796 0 0 0 7 1 0 0 20 0 1 0 71390018 91230208 4286 18446744073709551615 4235264 15874749 140720745012688 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18096864 18107984 35180544 140720745019804 140720745019881 140720745019881 140720745025483 0
/proc/79243/statm: 22273 4286 2208 2842 0 4506 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 89092 KiB
Current children cumulated memory: 17144 KiB

[startup+0.213342 s]*
/proc/loadavg: 4.11 4.13 4.09 5/249 79244
/proc/meminfo: memFree=124639276/131382112 swapFree=33010416/33010684
[pid=79243] ppid=79240 vsize=128572 memory=54084 CPUtime=0.18 cores=5,7
/proc/79243/stat : 79243 (mixed-bag) R 79240 79243 77674 0 -1 4194304 11040 0 0 0 14 4 0 0 20 0 1 0 71390018 131657728 13521 18446744073709551615 4235264 15874749 140720745012688 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18096864 18107984 35180544 140720745019804 140720745019881 140720745019881 140720745025483 0
/proc/79243/statm: 32143 13521 4096 2842 0 13837 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 128572 KiB
Current children cumulated memory: 54084 KiB

[startup+0.315292 s]*
/proc/loadavg: 4.11 4.13 4.09 5/249 79244
/proc/meminfo: memFree=124631212/131382112 swapFree=33010416/33010684
[pid=79243] ppid=79240 vsize=137544 memory=63104 CPUtime=0.26 cores=5,7
/proc/79243/stat : 79243 (mixed-bag) R 79240 79243 77674 0 -1 4194304 13569 0 0 0 21 5 0 0 20 0 1 0 71390018 140845056 15776 18446744073709551615 4235264 15874749 140720745012688 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18096864 18107984 35180544 140720745019804 140720745019881 140720745019881 140720745025483 0
/proc/79243/statm: 34386 15776 4096 2842 0 16080 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 137544 KiB
Current children cumulated memory: 63104 KiB

[startup+0.700304 s]
/proc/loadavg: 4.11 4.13 4.09 5/249 79244
/proc/meminfo: memFree=124623400/131382112 swapFree=33010416/33010684
[pid=79243] ppid=79240 vsize=218452 memory=116652 CPUtime=0.62 cores=5,7
/proc/79243/stat : 79243 (mixed-bag) R 79240 79243 77674 0 -1 4194304 26958 0 0 0 52 10 0 0 20 0 1 0 71390018 223694848 29163 18446744073709551615 4235264 15874749 140720745012688 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18096864 18107984 35180544 140720745019804 140720745019881 140720745019881 140720745025483 0
/proc/79243/statm: 54613 29163 4320 2842 0 36307 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 218452 KiB
Current children cumulated memory: 116652 KiB

[startup+1.50021 s]
/proc/loadavg: 4.11 4.13 4.09 5/249 79244
/proc/meminfo: memFree=124575520/131382112 swapFree=33010416/33010684
[pid=79243] ppid=79240 vsize=221500 memory=119724 CPUtime=1.4 cores=5,7
/proc/79243/stat : 79243 (mixed-bag) R 79240 79243 77674 0 -1 4194304 27733 0 0 0 130 10 0 0 20 0 1 0 71390018 226816000 29931 18446744073709551615 4235264 15874749 140720745012688 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18096864 18107984 35180544 140720745019804 140720745019881 140720745019881 140720745025483 0
/proc/79243/statm: 55375 29931 4320 2842 0 37069 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 221500 KiB
Current children cumulated memory: 119724 KiB

[startup+3.10557 s]
/proc/loadavg: 4.10 4.12 4.09 5/249 79244
/proc/meminfo: memFree=124575544/131382112 swapFree=33010416/33010684
[pid=79243] ppid=79240 vsize=224528 memory=122088 CPUtime=2.99 cores=5,7
/proc/79243/stat : 79243 (mixed-bag) R 79240 79243 77674 0 -1 4194304 29343 0 0 0 289 10 0 0 20 0 1 0 71390018 229916672 30522 18446744073709551615 4235264 15874749 140720745012688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35180544 140720745019804 140720745019881 140720745019881 140720745025483 0
/proc/79243/statm: 56132 30522 4320 2842 0 37826 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 224528 KiB
Current children cumulated memory: 122088 KiB

[startup+6.30032 s]
/proc/loadavg: 4.10 4.12 4.09 5/249 79245
/proc/meminfo: memFree=124571700/131382112 swapFree=33010416/33010684
[pid=79243] ppid=79240 vsize=225176 memory=122492 CPUtime=6.17 cores=5,7
/proc/79243/stat : 79243 (mixed-bag) R 79240 79243 77674 0 -1 4194304 29745 0 0 0 607 10 0 0 20 0 1 0 71390018 230580224 30623 18446744073709551615 4235264 15874749 140720745012688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35180544 140720745019804 140720745019881 140720745019881 140720745025483 0
/proc/79243/statm: 56294 30623 4320 2842 0 37988 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 225176 KiB
Current children cumulated memory: 122492 KiB

[startup+12.7003 s]
/proc/loadavg: 4.17 4.14 4.10 5/249 79245
/proc/meminfo: memFree=124574000/131382112 swapFree=33010416/33010684
[pid=79243] ppid=79240 vsize=225688 memory=123004 CPUtime=12.55 cores=5,7
/proc/79243/stat : 79243 (mixed-bag) R 79240 79243 77674 0 -1 4194304 29879 0 0 0 1245 10 0 0 20 0 1 0 71390018 231104512 30751 18446744073709551615 4235264 15874749 140720745012688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35180544 140720745019804 140720745019881 140720745019881 140720745025483 0
/proc/79243/statm: 56422 30751 4320 2842 0 38116 0
Current children cumulated CPU time: 12.55 s
Current children cumulated vsize: 225688 KiB
Current children cumulated memory: 123004 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.13 4.09 5/249 79245
/proc/meminfo: memFree=124576860/131382112 swapFree=33010416/33010684
[pid=79243] ppid=79240 vsize=227948 memory=124572 CPUtime=25.31 cores=5,7
/proc/79243/stat : 79243 (mixed-bag) R 79240 79243 77674 0 -1 4194304 30576 0 0 0 2521 10 0 0 20 0 1 0 71390018 233418752 31143 18446744073709551615 4235264 15874749 140720745012688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35180544 140720745019804 140720745019881 140720745019881 140720745025483 0
/proc/79243/statm: 56987 31143 4320 2842 0 38681 0
Current children cumulated CPU time: 25.31 s
Current children cumulated vsize: 227948 KiB
Current children cumulated memory: 124572 KiB

[startup+51.1131 s]
/proc/loadavg: 4.09 4.12 4.09 5/249 79245
/proc/meminfo: memFree=124566464/131382112 swapFree=33010416/33010684
[pid=79243] ppid=79240 vsize=227948 memory=124700 CPUtime=50.85 cores=5,7
/proc/79243/stat : 79243 (mixed-bag) R 79240 79243 77674 0 -1 4194304 30599 0 0 0 5075 10 0 0 20 0 1 0 71390018 233418752 31175 18446744073709551615 4235264 15874749 140720745012688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35180544 140720745019804 140720745019881 140720745019881 140720745025483 0
/proc/79243/statm: 56987 31175 4320 2842 0 38681 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 227948 KiB
Current children cumulated memory: 124700 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/250 79248
/proc/meminfo: memFree=124553308/131382112 swapFree=33010416/33010684
[pid=79243] ppid=79240 vsize=227948 memory=124956 CPUtime=101.89 cores=5,7
/proc/79243/stat : 79243 (mixed-bag) R 79240 79243 77674 0 -1 4194304 30664 0 0 0 10179 10 0 0 20 0 1 0 71390018 233418752 31239 18446744073709551615 4235264 15874749 140720745012688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35180544 140720745019804 140720745019881 140720745019881 140720745025483 0
/proc/79243/statm: 56987 31239 4320 2842 0 38681 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 227948 KiB
Current children cumulated memory: 124956 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/250 79250
/proc/meminfo: memFree=124553104/131382112 swapFree=33010416/33010684
[pid=79243] ppid=79240 vsize=229748 memory=126492 CPUtime=161.72 cores=5,7
/proc/79243/stat : 79243 (mixed-bag) R 79240 79243 77674 0 -1 4194304 31039 0 0 0 16161 11 0 0 20 0 1 0 71390018 235261952 31623 18446744073709551615 4235264 15874749 140720745012688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35180544 140720745019804 140720745019881 140720745019881 140720745025483 0
/proc/79243/statm: 57437 31623 4320 2842 0 39131 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 229748 KiB
Current children cumulated memory: 126492 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/251 79253
/proc/meminfo: memFree=124546536/131382112 swapFree=33010416/33010684
[pid=79243] ppid=79240 vsize=229748 memory=126492 CPUtime=221.54 cores=5,7
/proc/79243/stat : 79243 (mixed-bag) R 79240 79243 77674 0 -1 4194304 31039 0 0 0 22143 11 0 0 20 0 1 0 71390018 235261952 31623 18446744073709551615 4235264 15874749 140720745012688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35180544 140720745019804 140720745019881 140720745019881 140720745025483 0
/proc/79243/statm: 57437 31623 4320 2842 0 39131 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 229748 KiB
Current children cumulated memory: 126492 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/251 79255
/proc/meminfo: memFree=124166516/131382112 swapFree=33010416/33010684
[pid=79243] ppid=79240 vsize=229748 memory=126492 CPUtime=281.38 cores=5,7
/proc/79243/stat : 79243 (mixed-bag) R 79240 79243 77674 0 -1 4194304 31039 0 0 0 28126 12 0 0 20 0 1 0 71390018 235261952 31623 18446744073709551615 4235264 15874749 140720745012688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35180544 140720745019804 140720745019881 140720745019881 140720745025483 0
/proc/79243/statm: 57437 31623 4320 2842 0 39131 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 229748 KiB
Current children cumulated memory: 126492 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/251 79257
/proc/meminfo: memFree=123665100/131382112 swapFree=33010416/33010684
[pid=79243] ppid=79240 vsize=886212 memory=619260 CPUtime=341.21 cores=5,7
/proc/79243/stat : 79243 (mixed-bag) R 79240 79243 77674 0 -1 4194304 109326 0 0 0 34026 95 0 0 20 0 1 0 71390018 907481088 154815 18446744073709551615 4235264 15874749 140720745012688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35180544 140720745019804 140720745019881 140720745019881 140720745025483 0
/proc/79243/statm: 221553 154815 4480 2842 0 203247 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 886212 KiB
Current children cumulated memory: 619260 KiB

[startup+402.3 s]
/proc/loadavg: 4.49 4.20 4.12 5/250 79259
/proc/meminfo: memFree=123530844/131382112 swapFree=33010416/33010684
[pid=79243] ppid=79240 vsize=893784 memory=734400 CPUtime=401.05 cores=5,7
/proc/79243/stat : 79243 (mixed-bag) R 79240 79243 77674 0 -1 4194304 120246 0 0 0 39943 162 0 0 20 0 1 0 71390018 915234816 183600 18446744073709551615 4235264 15874749 140720745012688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35180544 140720745019804 140720745019881 140720745019881 140720745025483 0
/proc/79243/statm: 223446 183600 4480 2842 0 205140 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 893784 KiB
Current children cumulated memory: 734400 KiB

[startup+462.3 s]
/proc/loadavg: 4.62 4.31 4.17 5/250 79265
/proc/meminfo: memFree=123465360/131382112 swapFree=33010416/33010684
[pid=79243] ppid=79240 vsize=894088 memory=794080 CPUtime=460.89 cores=5,7
/proc/79243/stat : 79243 (mixed-bag) R 79240 79243 77674 0 -1 4194304 124949 0 0 0 45884 205 0 0 20 0 1 0 71390018 915546112 198520 18446744073709551615 4235264 15874749 140720745012688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35180544 140720745019804 140720745019881 140720745019881 140720745025483 0
/proc/79243/statm: 223522 198520 4480 2842 0 205216 0
Current children cumulated CPU time: 460.89 s

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

Current children cumulated memory: 2359392 KiB

[startup+2862.3 s]
/proc/loadavg: 4.14 4.12 4.14 5/249 79703
/proc/meminfo: memFree=123853132/131382112 swapFree=33010416/33010684
[pid=79243] ppid=79240 vsize=2607952 memory=2394592 CPUtime=2853.56 cores=5,7
/proc/79243/stat : 79243 (mixed-bag) R 79240 79243 77674 0 -1 4194304 348006 0 0 0 283892 1464 0 0 20 0 1 0 71390018 2670542848 598648 18446744073709551615 4235264 15874749 140720745012688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35180544 140720745019804 140720745019881 140720745019881 140720745025483 0
/proc/79243/statm: 651988 598648 4480 2842 0 633682 0
Current children cumulated CPU time: 2853.56 s
Current children cumulated vsize: 2607952 KiB
Current children cumulated memory: 2394592 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/250 79710
/proc/meminfo: memFree=123804384/131382112 swapFree=33010416/33010684
[pid=79243] ppid=79240 vsize=2607952 memory=2426336 CPUtime=2913.35 cores=5,7
/proc/79243/stat : 79243 (mixed-bag) R 79240 79243 77674 0 -1 4194304 348073 0 0 0 289850 1485 0 0 20 0 1 0 71390018 2670542848 606584 18446744073709551615 4235264 15874749 140720745012688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35180544 140720745019804 140720745019881 140720745019881 140720745025483 0
/proc/79243/statm: 651988 606584 4480 2842 0 633682 0
Current children cumulated CPU time: 2913.35 s
Current children cumulated vsize: 2607952 KiB
Current children cumulated memory: 2426336 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.11 4.13 5/250 79712
/proc/meminfo: memFree=123754796/131382112 swapFree=33010416/33010684
[pid=79243] ppid=79240 vsize=2608208 memory=2465632 CPUtime=2973.14 cores=5,7
/proc/79243/stat : 79243 (mixed-bag) R 79240 79243 77674 0 -1 4194304 348232 0 0 0 295808 1506 0 0 20 0 1 0 71390018 2670804992 616408 18446744073709551615 4235264 15874749 140720745012688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35180544 140720745019804 140720745019881 140720745019881 140720745025483 0
/proc/79243/statm: 652052 616408 4480 2842 0 633746 0
Current children cumulated CPU time: 2973.14 s
Current children cumulated vsize: 2608208 KiB
Current children cumulated memory: 2465632 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.11 4.13 5/250 79716
/proc/meminfo: memFree=123733924/131382112 swapFree=33010416/33010684
[pid=79243] ppid=79240 vsize=2608208 memory=2480736 CPUtime=3032.94 cores=5,7
/proc/79243/stat : 79243 (mixed-bag) R 79240 79243 77674 0 -1 4194304 348293 0 0 0 301764 1530 0 0 20 0 1 0 71390018 2670804992 620184 18446744073709551615 4235264 15874749 140720745012688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35180544 140720745019804 140720745019881 140720745019881 140720745025483 0
/proc/79243/statm: 652052 620184 4480 2842 0 633746 0
Current children cumulated CPU time: 3032.94 s
Current children cumulated vsize: 2608208 KiB
Current children cumulated memory: 2480736 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.12 4.13 5/250 79718
/proc/meminfo: memFree=123717160/131382112 swapFree=33010416/33010684
[pid=79243] ppid=79240 vsize=2608720 memory=2493336 CPUtime=3092.73 cores=5,7
/proc/79243/stat : 79243 (mixed-bag) R 79240 79243 77674 0 -1 4194304 348566 0 0 0 307716 1557 0 0 20 0 1 0 71390018 2671329280 623334 18446744073709551615 4235264 15874749 140720745012688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35180544 140720745019804 140720745019881 140720745019881 140720745025483 0
/proc/79243/statm: 652180 623334 4480 2842 0 633874 0
Current children cumulated CPU time: 3092.73 s
Current children cumulated vsize: 2608720 KiB
Current children cumulated memory: 2493336 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.13 4.13 5/250 79721
/proc/meminfo: memFree=123665748/131382112 swapFree=33010416/33010684
[pid=79243] ppid=79240 vsize=2608720 memory=2493336 CPUtime=3152.52 cores=5,7
/proc/79243/stat : 79243 (mixed-bag) R 79240 79243 77674 0 -1 4194304 348606 0 0 0 313678 1574 0 0 20 0 1 0 71390018 2671329280 623334 18446744073709551615 4235264 15874749 140720745012688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35180544 140720745019804 140720745019881 140720745019881 140720745025483 0
/proc/79243/statm: 652180 623334 4480 2842 0 633874 0
Current children cumulated CPU time: 3152.52 s
Current children cumulated vsize: 2608720 KiB
Current children cumulated memory: 2493336 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.12 5/249 79723
/proc/meminfo: memFree=123622180/131382112 swapFree=33010416/33010684
[pid=79243] ppid=79240 vsize=2608720 memory=2519980 CPUtime=3212.31 cores=5,7
/proc/79243/stat : 79243 (mixed-bag) R 79240 79243 77674 0 -1 4194304 348661 0 0 0 319630 1601 0 0 20 0 1 0 71390018 2671329280 629995 18446744073709551615 4235264 15874749 140720745012688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35180544 140720745019804 140720745019881 140720745019881 140720745025483 0
/proc/79243/statm: 652180 629995 4480 2842 0 633874 0
Current children cumulated CPU time: 3212.31 s
Current children cumulated vsize: 2608720 KiB
Current children cumulated memory: 2519980 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.13 4.12 5/249 79725
/proc/meminfo: memFree=123612260/131382112 swapFree=33010416/33010684
[pid=79243] ppid=79240 vsize=2608720 memory=2519980 CPUtime=3272.1 cores=5,7
/proc/79243/stat : 79243 (mixed-bag) R 79240 79243 77674 0 -1 4194304 348700 0 0 0 325590 1620 0 0 20 0 1 0 71390018 2671329280 629995 18446744073709551615 4235264 15874749 140720745012688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35180544 140720745019804 140720745019881 140720745019881 140720745025483 0
/proc/79243/statm: 652180 629995 4480 2842 0 633874 0
Current children cumulated CPU time: 3272.1 s
Current children cumulated vsize: 2608720 KiB
Current children cumulated memory: 2519980 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.12 5/249 79727
/proc/meminfo: memFree=123593276/131382112 swapFree=33010416/33010684
[pid=79243] ppid=79240 vsize=2609048 memory=2534572 CPUtime=3331.92 cores=5,7
/proc/79243/stat : 79243 (mixed-bag) R 79240 79243 77674 0 -1 4194304 349132 0 0 0 331557 1635 0 0 20 0 1 0 71390018 2671665152 633643 18446744073709551615 4235264 15874749 140720745012688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35180544 140720745019804 140720745019881 140720745019881 140720745025483 0
/proc/79243/statm: 652262 633643 4480 2842 0 633956 0
Current children cumulated CPU time: 3331.92 s
Current children cumulated vsize: 2609048 KiB
Current children cumulated memory: 2534572 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/249 79729
/proc/meminfo: memFree=123585656/131382112 swapFree=33010416/33010684
[pid=79243] ppid=79240 vsize=2609048 memory=2534572 CPUtime=3391.74 cores=5,7
/proc/79243/stat : 79243 (mixed-bag) R 79240 79243 77674 0 -1 4194304 349214 0 0 0 337529 1645 0 0 20 0 1 0 71390018 2671665152 633643 18446744073709551615 4235264 15874749 140720745012688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35180544 140720745019804 140720745019881 140720745019881 140720745025483 0
/proc/79243/statm: 652262 633643 4480 2842 0 633956 0
Current children cumulated CPU time: 3391.74 s
Current children cumulated vsize: 2609048 KiB
Current children cumulated memory: 2534572 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/249 79731
/proc/meminfo: memFree=123576728/131382112 swapFree=33010416/33010684
[pid=79243] ppid=79240 vsize=2609048 memory=2534572 CPUtime=3451.58 cores=5,7
/proc/79243/stat : 79243 (mixed-bag) R 79240 79243 77674 0 -1 4194304 349214 0 0 0 343504 1654 0 0 20 0 1 0 71390018 2671665152 633643 18446744073709551615 4235264 15874749 140720745012688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35180544 140720745019804 140720745019881 140720745019881 140720745025483 0
/proc/79243/statm: 652262 633643 4480 2842 0 633956 0
Current children cumulated CPU time: 3451.58 s
Current children cumulated vsize: 2609048 KiB
Current children cumulated memory: 2534572 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/250 79738
/proc/meminfo: memFree=123511236/131382112 swapFree=33010416/33010684
[pid=79243] ppid=79240 vsize=3177088 memory=2591316 CPUtime=3511.4 cores=5,7
/proc/79243/stat : 79243 (mixed-bag) R 79240 79243 77674 0 -1 4194304 349604 0 0 0 349476 1664 0 0 20 0 1 0 71390018 3253338112 647829 18446744073709551615 4235264 15874749 140720745012688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35180544 140720745019804 140720745019881 140720745019881 140720745025483 0
/proc/79243/statm: 794272 647829 4480 2842 0 775966 0
Current children cumulated CPU time: 3511.4 s
Current children cumulated vsize: 3177088 KiB
Current children cumulated memory: 2591316 KiB

[startup+3582.3 s]
/proc/loadavg: 4.42 4.19 4.13 5/250 79740
/proc/meminfo: memFree=123468252/131382112 swapFree=33010416/33010684
[pid=79243] ppid=79240 vsize=3177088 memory=2591316 CPUtime=3571.23 cores=5,7
/proc/79243/stat : 79243 (mixed-bag) R 79240 79243 77674 0 -1 4194304 349604 0 0 0 355447 1676 0 0 20 0 1 0 71390018 3253338112 647829 18446744073709551615 4235264 15874749 140720745012688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35180544 140720745019804 140720745019881 140720745019881 140720745025483 0
/proc/79243/statm: 794272 647829 4480 2842 0 775966 0
Current children cumulated CPU time: 3571.23 s
Current children cumulated vsize: 3177088 KiB
Current children cumulated memory: 2591316 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.2 s]
/proc/loadavg: 4.70 4.28 4.16 5/250 79743
/proc/meminfo: memFree=123467240/131382112 swapFree=33010416/33010684
[pid=79243] ppid=79240 vsize=3177088 memory=2591316 CPUtime=3600.04 cores=5,7
/proc/79243/stat : 79243 (mixed-bag) R 79240 79243 77674 0 -1 4194304 349604 0 0 0 358324 1680 0 0 20 0 1 0 71390018 3253338112 647829 18446744073709551615 4235264 15874749 140720745012688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35180544 140720745019804 140720745019881 140720745019881 140720745025483 0
/proc/79243/statm: 794272 647829 4480 2842 0 775966 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 3177088 KiB
Current children cumulated memory: 2591316 KiB

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

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

# cumulated CPU time of all completed processes:  user=3583.25 s, system=16.819 s

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

Child status: 0

Real time (s): 3611.22
CPU time (s): 3600.07
CPU user time (s): 3583.25
CPU system time (s): 16.819
CPU usage (%): 99.6911
Max. virtual memory (cumulated for all children) (KiB): 3177088
Max. memory (cumulated for all children) (KiB): 2591316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.25
system time used= 16.819
maximum resident set size= 2591828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 349634
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= 646
involuntary context switches= 2237


# summary of solver processes directly reported to runsolver:
#   pid: 79243
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3583.25
#   total CPU system time (s): 16.819

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3956 second user time and 35.5685 second system time

The end

Launcher Data

Begin job on nodeC012 at 2025-07-03 17:38:23
IDJOB=4520655
IDBENCH=178115
IDSOLVER=3340
FILE ID=nodeC012/4520655-1751557103
RUNJOBID= nodeC012-1751553490-77709
SLURM_JOB_ID= 9598739
Free space on /tmp= 431816 MiB

SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_430.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4520655-1751557103/watcher-4520655-1751557103 -o /tmp/evaluation-result-4520655-1751557103/solver-4520655-1751557103 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751553490-77709 --watchdog 3760  mixed-bag HOME/instance-4520655-1751557103.opb

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

MD5SUM BENCH= b3bab28fe93ea42b1817acfaffdcfb3a
RANDOM SEED=892767051

nodeC012 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	: 0xb00001f
cpu MHz		: 3491.725
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 3691.268
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.399
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 3491.729
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.535
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.262
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.153
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        124682620 kB
MemAvailable:   124902764 kB
Buffers:            2136 kB
Cached:          1020776 kB
SwapCached:           16 kB
Active:          5708488 kB
Inactive:         402592 kB
Active(anon):    5099120 kB
Inactive(anon):     6996 kB
Active(file):     609368 kB
Inactive(file):   395596 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             16004 kB
Writeback:             8 kB
AnonPages:       5087348 kB
Mapped:           138868 kB
Shmem:             17944 kB
KReclaimable:     109228 kB
Slab:             194684 kB
SReclaimable:     109228 kB
SUnreclaim:        85456 kB
KernelStack:        4016 kB
PageTables:        14464 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    6777780 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149400 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2625536 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431784 MiB
End job on nodeC012 at 2025-07-03 18:38:35