Trace number 4520609

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.09 3611.02

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_380.opb
MD5SUMdc7892cb3dbd530fdb83331c968a6da2
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1616
Best CPU time to get the best result obtained on this benchmark64.671
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6460
Total number of constraints6460
Number of constraints which are clauses6460
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 6460
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 6460
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 6460
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.00/0.08	c [STEP] preprocessing with Papilo
0.00/0.11	c Papilo could not simplify the problem
0.00/0.11	c [STEP] solving with SCIP
299.20/300.15	c [STEP] preprocessing done, loading into solver
299.20/300.17	c [STEP] solving
299.20/300.17	c #variables 6461 #constraints 6460
299.20/300.17	c SMALL=int, LARGE=long long
299.20/300.17	d SCIPUB 1666
299.20/300.17	c bounds - >= 0 @ 299.167
299.20/300.17	c stratification level: 0
299.38/300.31	c bounds - >= 1 @ 299.191
299.38/300.31	c bounds - >= 2 @ 299.191
299.38/300.31	c bounds - >= 3 @ 299.192
299.38/300.31	c bounds - >= 4 @ 299.193
299.38/300.31	c bounds - >= 5 @ 299.194
299.38/300.31	c bounds - >= 6 @ 299.194
299.38/300.31	c bounds - >= 7 @ 299.195
299.38/300.31	c bounds - >= 8 @ 299.196
299.38/300.31	c bounds - >= 9 @ 299.196
299.38/300.31	c bounds - >= 10 @ 299.197
299.38/300.31	c bounds - >= 11 @ 299.198
299.38/300.31	c bounds - >= 12 @ 299.198
299.38/300.31	c bounds - >= 13 @ 299.199
299.38/300.31	c bounds - >= 14 @ 299.2
299.38/300.31	c bounds - >= 15 @ 299.2
299.38/300.31	c bounds - >= 16 @ 299.201
299.38/300.31	c bounds - >= 17 @ 299.202
299.38/300.31	c bounds - >= 18 @ 299.203
299.38/300.31	c bounds - >= 19 @ 299.203
299.38/300.31	c bounds - >= 20 @ 299.204
299.38/300.31	c bounds - >= 21 @ 299.205
299.38/300.31	c bounds - >= 22 @ 299.205
299.38/300.31	c bounds - >= 23 @ 299.206
299.38/300.31	c bounds - >= 24 @ 299.207
299.38/300.31	c bounds - >= 25 @ 299.207
299.38/300.31	c bounds - >= 26 @ 299.208
299.38/300.31	c bounds - >= 27 @ 299.208
299.38/300.31	c bounds - >= 28 @ 299.208
299.38/300.31	c bounds - >= 29 @ 299.209
299.38/300.31	c bounds - >= 30 @ 299.21
299.38/300.31	c bounds - >= 31 @ 299.211
299.38/300.31	c bounds - >= 32 @ 299.211
299.38/300.31	c bounds - >= 33 @ 299.212
299.38/300.31	c bounds - >= 34 @ 299.213
299.38/300.31	c bounds - >= 35 @ 299.213
299.38/300.31	c bounds - >= 36 @ 299.214
299.38/300.31	c bounds - >= 37 @ 299.215
299.38/300.31	c bounds - >= 38 @ 299.215
299.38/300.31	c bounds - >= 39 @ 299.216
299.38/300.31	c bounds - >= 40 @ 299.217
299.38/300.31	c bounds - >= 41 @ 299.217
299.38/300.31	c bounds - >= 42 @ 299.218
299.38/300.31	c bounds - >= 43 @ 299.219
299.38/300.31	c bounds - >= 44 @ 299.22
299.38/300.31	c bounds - >= 45 @ 299.22
299.38/300.31	c bounds - >= 46 @ 299.221
299.38/300.31	c bounds - >= 47 @ 299.222
299.38/300.31	c bounds - >= 48 @ 299.222
299.38/300.31	c bounds - >= 49 @ 299.223
299.38/300.31	c bounds - >= 50 @ 299.224
299.38/300.31	c bounds - >= 51 @ 299.224
299.38/300.31	c bounds - >= 52 @ 299.225
299.38/300.31	c bounds - >= 53 @ 299.226
299.38/300.31	c bounds - >= 54 @ 299.226
299.38/300.31	c bounds - >= 55 @ 299.227
299.38/300.31	c bounds - >= 56 @ 299.228
299.38/300.31	c bounds - >= 57 @ 299.228
299.38/300.31	c bounds - >= 58 @ 299.229
299.38/300.31	c bounds - >= 59 @ 299.23
299.38/300.31	c bounds - >= 60 @ 299.231
299.38/300.31	c bounds - >= 61 @ 299.231
299.38/300.31	c bounds - >= 62 @ 299.232
299.38/300.31	c bounds - >= 63 @ 299.233
299.38/300.31	c bounds - >= 64 @ 299.233
299.38/300.31	c bounds - >= 65 @ 299.234
299.38/300.31	c bounds - >= 66 @ 299.235
299.38/300.31	c bounds - >= 67 @ 299.235
299.38/300.31	c bounds - >= 68 @ 299.236
299.38/300.31	c bounds - >= 69 @ 299.237
299.38/300.31	c bounds - >= 70 @ 299.237
299.38/300.31	c bounds - >= 71 @ 299.238
299.38/300.31	c bounds - >= 72 @ 299.238
299.38/300.31	c bounds - >= 73 @ 299.238
299.38/300.31	c bounds - >= 74 @ 299.238
299.38/300.31	c bounds - >= 75 @ 299.239
299.38/300.31	c bounds - >= 76 @ 299.24
299.38/300.31	c bounds - >= 77 @ 299.241
299.38/300.31	c bounds - >= 78 @ 299.241
299.38/300.31	c bounds - >= 79 @ 299.242
299.38/300.31	c bounds - >= 80 @ 299.243
299.38/300.31	c bounds - >= 81 @ 299.243
299.38/300.31	c bounds - >= 82 @ 299.244
299.38/300.31	c bounds - >= 83 @ 299.245
299.38/300.31	c bounds - >= 84 @ 299.245
299.38/300.31	c bounds - >= 85 @ 299.246
299.38/300.31	c bounds - >= 86 @ 299.247
299.38/300.31	c bounds - >= 87 @ 299.247
299.38/300.31	c bounds - >= 88 @ 299.248
299.38/300.31	c bounds - >= 89 @ 299.249
299.38/300.31	c bounds - >= 90 @ 299.249
299.38/300.31	c bounds - >= 91 @ 299.25
299.38/300.31	c bounds - >= 92 @ 299.251
299.38/300.31	c bounds - >= 93 @ 299.251
299.38/300.31	c bounds - >= 94 @ 299.252
299.38/300.31	c bounds - >= 95 @ 299.253
299.38/300.31	c bounds - >= 96 @ 299.254
299.38/300.31	c bounds - >= 97 @ 299.254
299.38/300.31	c bounds - >= 98 @ 299.255
299.38/300.31	c bounds - >= 99 @ 299.256
299.38/300.31	c bounds - >= 100 @ 299.256
299.38/300.31	c bounds - >= 101 @ 299.257
299.38/300.31	c bounds - >= 102 @ 299.258
299.38/300.31	c bounds - >= 103 @ 299.258
299.38/300.31	c bounds - >= 104 @ 299.259
299.38/300.31	c bounds - >= 105 @ 299.26
299.38/300.31	c bounds - >= 106 @ 299.26
299.38/300.31	c bounds - >= 107 @ 299.26
299.38/300.31	c bounds - >= 108 @ 299.26
299.38/300.31	c bounds - >= 109 @ 299.26
299.38/300.31	c bounds - >= 110 @ 299.261
299.38/300.31	c bounds - >= 111 @ 299.261
299.38/300.31	c bounds - >= 112 @ 299.261
299.38/300.31	c bounds - >= 113 @ 299.262
299.38/300.31	c bounds - >= 114 @ 299.263
299.38/300.31	c bounds - >= 115 @ 299.263
299.38/300.31	c bounds - >= 116 @ 299.264
299.38/300.31	c bounds - >= 117 @ 299.265
299.38/300.31	c bounds - >= 118 @ 299.265
299.38/300.31	c bounds - >= 119 @ 299.266
299.38/300.31	c bounds - >= 120 @ 299.267
299.38/300.31	c bounds - >= 121 @ 299.267
299.38/300.31	c bounds - >= 122 @ 299.268
299.38/300.31	c bounds - >= 123 @ 299.269
299.38/300.31	c bounds - >= 124 @ 299.27
299.38/300.31	c bounds - >= 125 @ 299.27
299.38/300.31	c bounds - >= 126 @ 299.271
299.38/300.31	c bounds - >= 127 @ 299.272
299.38/300.31	c bounds - >= 128 @ 299.272
299.38/300.31	c bounds - >= 129 @ 299.273
299.38/300.31	c bounds - >= 130 @ 299.274
299.38/300.31	c bounds - >= 131 @ 299.274
299.38/300.31	c bounds - >= 132 @ 299.275
299.38/300.31	c bounds - >= 133 @ 299.276
299.38/300.31	c bounds - >= 134 @ 299.276
299.38/300.31	c bounds - >= 135 @ 299.277
299.38/300.31	c bounds - >= 136 @ 299.278
299.38/300.31	c bounds - >= 137 @ 299.278
299.38/300.31	c bounds - >= 138 @ 299.279
299.38/300.31	c bounds - >= 139 @ 299.28
299.38/300.31	c bounds - >= 140 @ 299.28
299.38/300.31	c bounds - >= 141 @ 299.281
299.38/300.31	c bounds - >= 142 @ 299.282
299.38/300.31	c bounds - >= 143 @ 299.282
299.38/300.31	c bounds - >= 144 @ 299.283
299.38/300.31	c bounds - >= 145 @ 299.284
299.38/300.31	c bounds - >= 146 @ 299.285
299.38/300.31	c bounds - >= 147 @ 299.285
299.38/300.31	c bounds - >= 148 @ 299.286
299.38/300.31	c bounds - >= 149 @ 299.287
299.38/300.31	c bounds - >= 150 @ 299.287
299.38/300.31	c bounds - >= 151 @ 299.288
299.48/300.41	c bounds - >= 152 @ 299.288
299.48/300.41	c bounds - >= 153 @ 299.288
299.48/300.41	c bounds - >= 154 @ 299.289
299.48/300.41	c bounds - >= 155 @ 299.29
299.48/300.41	c bounds - >= 156 @ 299.29
299.48/300.41	c bounds - >= 157 @ 299.291
299.48/300.41	c bounds - >= 158 @ 299.292
299.48/300.41	c bounds - >= 159 @ 299.292
299.48/300.41	c bounds - >= 160 @ 299.293
299.48/300.41	c bounds - >= 161 @ 299.294
299.48/300.41	c bounds - >= 162 @ 299.295
299.48/300.41	c bounds - >= 163 @ 299.295
299.48/300.41	c bounds - >= 164 @ 299.296
299.48/300.41	c bounds - >= 165 @ 299.297
299.48/300.41	c bounds - >= 166 @ 299.297
299.48/300.41	c bounds - >= 167 @ 299.298
299.48/300.41	c bounds - >= 168 @ 299.299
299.48/300.41	c bounds - >= 169 @ 299.299
299.48/300.41	c bounds - >= 170 @ 299.3
299.48/300.41	c bounds - >= 171 @ 299.301
299.48/300.41	c bounds - >= 172 @ 299.302
299.48/300.41	c bounds - >= 173 @ 299.302
299.48/300.41	c bounds - >= 174 @ 299.303
299.48/300.41	c bounds - >= 175 @ 299.304
299.48/300.41	c bounds - >= 176 @ 299.304
299.48/300.41	c bounds - >= 177 @ 299.305
299.48/300.41	c bounds - >= 178 @ 299.306
299.48/300.41	c bounds - >= 179 @ 299.306
299.48/300.41	c bounds - >= 180 @ 299.307
299.48/300.41	c bounds - >= 181 @ 299.308
299.48/300.41	c bounds - >= 182 @ 299.308
299.48/300.41	c bounds - >= 183 @ 299.309
299.48/300.41	c bounds - >= 184 @ 299.31
299.48/300.41	c bounds - >= 185 @ 299.31
299.48/300.41	c bounds - >= 186 @ 299.311
299.48/300.41	c bounds - >= 187 @ 299.312
299.48/300.41	c bounds - >= 188 @ 299.312
299.48/300.41	c bounds - >= 189 @ 299.313
299.48/300.41	c bounds - >= 190 @ 299.314
299.48/300.41	c bounds - >= 191 @ 299.315
299.48/300.41	c bounds - >= 192 @ 299.315
299.48/300.41	c bounds - >= 193 @ 299.316
299.48/300.41	c bounds - >= 194 @ 299.317
299.48/300.41	c bounds - >= 195 @ 299.317
299.48/300.41	c bounds - >= 196 @ 299.318
299.48/300.41	c bounds - >= 197 @ 299.319
299.48/300.41	c bounds - >= 198 @ 299.319
299.48/300.41	c bounds - >= 199 @ 299.32
299.48/300.41	c bounds - >= 200 @ 299.321
299.48/300.41	c bounds - >= 201 @ 299.321
299.48/300.41	c bounds - >= 202 @ 299.322
299.48/300.41	c bounds - >= 203 @ 299.323
299.48/300.41	c bounds - >= 204 @ 299.323
299.48/300.41	c bounds - >= 205 @ 299.324
299.48/300.41	c bounds - >= 206 @ 299.325
299.48/300.41	c bounds - >= 207 @ 299.325
299.48/300.41	c bounds - >= 208 @ 299.326
299.48/300.41	c bounds - >= 209 @ 299.327
299.48/300.41	c bounds - >= 210 @ 299.327
299.48/300.41	c bounds - >= 211 @ 299.328
299.48/300.41	c bounds - >= 212 @ 299.329
299.48/300.41	c bounds - >= 213 @ 299.329
299.48/300.41	c bounds - >= 214 @ 299.329
299.48/300.41	c bounds - >= 215 @ 299.33
299.48/300.41	c bounds - >= 216 @ 299.331
299.48/300.41	c bounds - >= 217 @ 299.331
299.48/300.41	c bounds - >= 218 @ 299.332
299.48/300.41	c bounds - >= 219 @ 299.333
299.48/300.41	c bounds - >= 220 @ 299.333
299.48/300.41	c bounds - >= 221 @ 299.334
299.48/300.41	c bounds - >= 222 @ 299.335
299.48/300.41	c bounds - >= 223 @ 299.335
299.48/300.41	c bounds - >= 224 @ 299.336
299.48/300.41	c bounds - >= 225 @ 299.337
299.48/300.41	c bounds - >= 226 @ 299.337
299.48/300.41	c bounds - >= 227 @ 299.338
299.48/300.41	c bounds - >= 228 @ 299.339
299.48/300.41	c bounds - >= 229 @ 299.339
299.48/300.41	c bounds - >= 230 @ 299.339
299.48/300.41	c bounds - >= 231 @ 299.34
299.48/300.41	c bounds - >= 232 @ 299.341
299.48/300.41	c bounds - >= 233 @ 299.341
299.48/300.41	c bounds - >= 234 @ 299.342
299.48/300.41	c bounds - >= 235 @ 299.343
299.48/300.41	c bounds - >= 236 @ 299.343
299.48/300.41	c bounds - >= 237 @ 299.344
299.48/300.41	c bounds - >= 238 @ 299.345
299.48/300.41	c bounds - >= 239 @ 299.345
299.48/300.41	c bounds - >= 240 @ 299.346
299.48/300.41	c bounds - >= 241 @ 299.347
299.48/300.41	c bounds - >= 242 @ 299.347
299.48/300.41	c bounds - >= 243 @ 299.348
299.48/300.41	c bounds - >= 244 @ 299.349
299.48/300.41	c bounds - >= 245 @ 299.349
299.48/300.41	c bounds - >= 246 @ 299.349
299.48/300.41	c bounds - >= 247 @ 299.35
299.48/300.41	c bounds - >= 248 @ 299.35
299.48/300.41	c bounds - >= 249 @ 299.351
299.48/300.41	c bounds - >= 250 @ 299.352
299.48/300.41	c bounds - >= 251 @ 299.353
299.48/300.41	c bounds - >= 252 @ 299.353
299.48/300.41	c bounds - >= 253 @ 299.354
299.48/300.41	c bounds - >= 254 @ 299.355
299.48/300.41	c bounds - >= 255 @ 299.355
299.48/300.41	c bounds - >= 256 @ 299.356
299.48/300.41	c bounds - >= 257 @ 299.357
299.48/300.41	c bounds - >= 258 @ 299.357
299.48/300.41	c bounds - >= 259 @ 299.358
299.48/300.41	c bounds - >= 260 @ 299.359
299.48/300.41	c bounds - >= 261 @ 299.359
299.48/300.41	c bounds - >= 262 @ 299.36
299.48/300.41	c bounds - >= 263 @ 299.361
299.48/300.41	c bounds - >= 264 @ 299.361
299.48/300.41	c bounds - >= 265 @ 299.362
299.48/300.41	c bounds - >= 266 @ 299.363
299.48/300.41	c bounds - >= 267 @ 299.364
299.48/300.41	c bounds - >= 268 @ 299.364
299.48/300.41	c bounds - >= 269 @ 299.365
299.48/300.41	c bounds - >= 270 @ 299.365
299.48/300.41	c bounds - >= 271 @ 299.366
299.48/300.41	c bounds - >= 272 @ 299.366
299.48/300.41	c bounds - >= 273 @ 299.367
299.48/300.41	c bounds - >= 274 @ 299.368
299.48/300.41	c bounds - >= 275 @ 299.368
299.48/300.41	c bounds - >= 276 @ 299.369
299.48/300.41	c bounds - >= 277 @ 299.37
299.48/300.41	c bounds - >= 278 @ 299.37
299.48/300.41	c bounds - >= 279 @ 299.371
299.48/300.41	c bounds - >= 280 @ 299.372
299.48/300.41	c bounds - >= 281 @ 299.372
299.48/300.41	c bounds - >= 282 @ 299.372
299.48/300.41	c bounds - >= 283 @ 299.373
299.48/300.41	c bounds - >= 284 @ 299.373
299.48/300.41	c bounds - >= 285 @ 299.374
299.48/300.41	c bounds - >= 286 @ 299.375
299.48/300.41	c bounds - >= 287 @ 299.375
299.48/300.41	c bounds - >= 288 @ 299.376
299.48/300.41	c bounds - >= 289 @ 299.377
299.48/300.41	c bounds - >= 290 @ 299.377
299.48/300.41	c bounds - >= 291 @ 299.378
299.48/300.41	c bounds - >= 292 @ 299.379
299.48/300.41	c bounds - >= 293 @ 299.379
299.48/300.41	c bounds - >= 294 @ 299.38
299.48/300.41	c bounds - >= 295 @ 299.381
299.48/300.41	c bounds - >= 296 @ 299.382
299.48/300.41	c bounds - >= 297 @ 299.382
299.48/300.41	c bounds - >= 298 @ 299.383
299.59/300.51	c bounds - >= 299 @ 299.384
299.59/300.51	c bounds - >= 300 @ 299.384
299.59/300.51	c bounds - >= 301 @ 299.385
299.59/300.51	c bounds - >= 302 @ 299.386
299.59/300.51	c bounds - >= 303 @ 299.386
299.59/300.51	c bounds - >= 304 @ 299.387
299.59/300.51	c bounds - >= 305 @ 299.388
299.59/300.51	c bounds - >= 306 @ 299.388
299.59/300.51	c bounds - >= 307 @ 299.389
299.59/300.51	c bounds - >= 308 @ 299.39
299.59/300.51	c bounds - >= 309 @ 299.39
299.59/300.51	c bounds - >= 310 @ 299.391
299.59/300.51	c bounds - >= 311 @ 299.392
299.59/300.51	c bounds - >= 312 @ 299.392
299.59/300.51	c bounds - >= 313 @ 299.393
299.59/300.51	c bounds - >= 314 @ 299.394
299.59/300.51	c bounds - >= 315 @ 299.394
299.59/300.51	c bounds - >= 316 @ 299.395
299.59/300.51	c bounds - >= 317 @ 299.396
299.59/300.51	c bounds - >= 318 @ 299.396
299.59/300.51	c bounds - >= 319 @ 299.397
299.59/300.51	c bounds - >= 320 @ 299.398
299.59/300.51	c bounds - >= 321 @ 299.398
299.59/300.51	c bounds - >= 322 @ 299.399
299.59/300.51	c bounds - >= 323 @ 299.4
299.59/300.51	c bounds - >= 324 @ 299.4
299.59/300.51	c bounds - >= 325 @ 299.401
299.59/300.51	c bounds - >= 326 @ 299.402
299.59/300.51	c bounds - >= 327 @ 299.402
299.59/300.51	c bounds - >= 328 @ 299.403
299.59/300.51	c bounds - >= 329 @ 299.404
299.59/300.51	c bounds - >= 330 @ 299.404
299.59/300.51	c bounds - >= 331 @ 299.404
299.59/300.51	c bounds - >= 332 @ 299.405
299.59/300.51	c bounds - >= 333 @ 299.405
299.59/300.51	c bounds - >= 334 @ 299.406
299.59/300.51	c bounds - >= 335 @ 299.407
299.59/300.51	c bounds - >= 336 @ 299.407
299.59/300.51	c bounds - >= 337 @ 299.408
299.59/300.51	c bounds - >= 338 @ 299.409
299.59/300.51	c bounds - >= 339 @ 299.409
299.59/300.51	c bounds - >= 340 @ 299.409
299.59/300.51	c bounds - >= 341 @ 299.41
299.59/300.51	c bounds - >= 342 @ 299.41
299.59/300.51	c bounds - >= 343 @ 299.411
299.59/300.51	c bounds - >= 344 @ 299.412
299.59/300.51	c bounds - >= 345 @ 299.412
299.59/300.51	c bounds - >= 346 @ 299.412
299.59/300.51	c bounds - >= 347 @ 299.413
299.59/300.51	c bounds - >= 348 @ 299.413
299.59/300.51	c bounds - >= 349 @ 299.413
299.59/300.51	c bounds - >= 350 @ 299.413
299.59/300.51	c bounds - >= 351 @ 299.414
299.59/300.51	c bounds - >= 352 @ 299.414
299.59/300.51	c bounds - >= 353 @ 299.415
299.59/300.51	c bounds - >= 354 @ 299.416
299.59/300.51	c bounds - >= 355 @ 299.416
299.59/300.51	c bounds - >= 356 @ 299.417
299.59/300.51	c bounds - >= 357 @ 299.418
299.59/300.51	c bounds - >= 358 @ 299.418
299.59/300.51	c bounds - >= 359 @ 299.419
299.59/300.51	c bounds - >= 360 @ 299.42
299.59/300.51	c bounds - >= 361 @ 299.42
299.59/300.51	c bounds - >= 362 @ 299.421
299.59/300.51	c bounds - >= 363 @ 299.422
299.59/300.51	c bounds - >= 364 @ 299.422
299.59/300.51	c bounds - >= 365 @ 299.423
299.59/300.51	c bounds - >= 366 @ 299.424
299.59/300.51	c bounds - >= 367 @ 299.424
299.59/300.51	c bounds - >= 368 @ 299.425
299.59/300.51	c bounds - >= 369 @ 299.426
299.59/300.51	c bounds - >= 370 @ 299.426
299.59/300.51	c bounds - >= 371 @ 299.427
299.59/300.51	c bounds - >= 372 @ 299.428
299.59/300.51	c bounds - >= 373 @ 299.428
299.59/300.51	c bounds - >= 374 @ 299.429
299.59/300.51	c bounds - >= 375 @ 299.43
299.59/300.51	c bounds - >= 376 @ 299.43
299.59/300.51	c bounds - >= 377 @ 299.431
299.59/300.51	c bounds - >= 378 @ 299.432
299.59/300.51	c bounds - >= 379 @ 299.432
299.59/300.51	c bounds - >= 380 @ 299.433
299.59/300.51	c bounds - >= 381 @ 299.434
299.59/300.51	c bounds - >= 382 @ 299.434
299.59/300.51	c bounds - >= 383 @ 299.435
299.59/300.51	c bounds - >= 384 @ 299.436
299.59/300.51	c bounds - >= 385 @ 299.436
299.59/300.51	c bounds - >= 386 @ 299.436
299.59/300.51	c bounds - >= 387 @ 299.437
299.59/300.51	c bounds - >= 388 @ 299.437
299.59/300.51	c bounds - >= 389 @ 299.438
299.59/300.51	c bounds - >= 390 @ 299.439
299.59/300.51	c bounds - >= 391 @ 299.439
299.59/300.51	c bounds - >= 392 @ 299.44
299.59/300.51	c bounds - >= 393 @ 299.441
299.59/300.51	c bounds - >= 394 @ 299.441
299.59/300.51	c bounds - >= 395 @ 299.442
299.59/300.51	c bounds - >= 396 @ 299.443
299.59/300.51	c bounds - >= 397 @ 299.443
299.59/300.51	c bounds - >= 398 @ 299.444
299.59/300.51	c bounds - >= 399 @ 299.445
299.59/300.51	c bounds - >= 400 @ 299.445
299.59/300.51	c bounds - >= 401 @ 299.446
299.59/300.51	c bounds - >= 402 @ 299.447
299.59/300.51	c bounds - >= 403 @ 299.447
299.59/300.51	c bounds - >= 404 @ 299.448
299.59/300.51	c bounds - >= 405 @ 299.449
299.59/300.51	c bounds - >= 406 @ 299.449
299.59/300.51	c bounds - >= 407 @ 299.45
299.59/300.51	c bounds - >= 408 @ 299.451
299.59/300.51	c bounds - >= 409 @ 299.451
299.59/300.51	c bounds - >= 410 @ 299.452
299.59/300.51	c bounds - >= 411 @ 299.453
299.59/300.51	c bounds - >= 412 @ 299.453
299.59/300.51	c bounds - >= 413 @ 299.454
299.59/300.51	c bounds - >= 414 @ 299.455
299.59/300.51	c bounds - >= 415 @ 299.455
299.59/300.51	c bounds - >= 416 @ 299.456
299.59/300.51	c bounds - >= 417 @ 299.457
299.59/300.51	c bounds - >= 418 @ 299.457
299.59/300.51	c bounds - >= 419 @ 299.458
299.59/300.51	c bounds - >= 420 @ 299.459
299.59/300.51	c bounds - >= 421 @ 299.459
299.59/300.51	c bounds - >= 422 @ 299.46
299.59/300.51	c bounds - >= 423 @ 299.461
299.59/300.51	c bounds - >= 424 @ 299.461
299.59/300.51	c bounds - >= 425 @ 299.462
299.59/300.51	c bounds - >= 426 @ 299.463
299.59/300.51	c bounds - >= 427 @ 299.463
299.59/300.51	c bounds - >= 428 @ 299.464
299.59/300.51	c bounds - >= 429 @ 299.465
299.59/300.51	c bounds - >= 430 @ 299.465
299.59/300.51	c bounds - >= 431 @ 299.466
299.59/300.51	c bounds - >= 432 @ 299.467
299.59/300.51	c bounds - >= 433 @ 299.467
299.59/300.51	c bounds - >= 434 @ 299.468
299.59/300.51	c bounds - >= 435 @ 299.469
299.59/300.51	c bounds - >= 436 @ 299.469
299.59/300.51	c bounds - >= 437 @ 299.47
299.59/300.51	c bounds - >= 438 @ 299.471
299.59/300.51	c bounds - >= 439 @ 299.471
299.59/300.51	c bounds - >= 440 @ 299.472
299.59/300.51	c bounds - >= 441 @ 299.473
299.59/300.51	c bounds - >= 442 @ 299.473
299.59/300.51	c bounds - >= 443 @ 299.474
299.59/300.51	c bounds - >= 444 @ 299.475
299.59/300.51	c bounds - >= 445 @ 299.475
299.68/300.60	c bounds - >= 446 @ 299.476
299.68/300.60	c bounds - >= 447 @ 299.477
299.68/300.60	c bounds - >= 448 @ 299.477
299.68/300.60	c bounds - >= 449 @ 299.478
299.68/300.60	c bounds - >= 450 @ 299.479
299.68/300.60	c bounds - >= 451 @ 299.479
299.68/300.60	c bounds - >= 452 @ 299.48
299.68/300.60	c bounds - >= 453 @ 299.481
299.68/300.60	c bounds - >= 454 @ 299.481
299.68/300.60	c bounds - >= 455 @ 299.482
299.68/300.60	c bounds - >= 456 @ 299.483
299.68/300.60	c bounds - >= 457 @ 299.483
299.68/300.60	c bounds - >= 458 @ 299.484
299.68/300.60	c bounds - >= 459 @ 299.485
299.68/300.60	c bounds - >= 460 @ 299.485
299.68/300.60	c bounds - >= 461 @ 299.486
299.68/300.60	c bounds - >= 462 @ 299.487
299.68/300.60	c bounds - >= 463 @ 299.487
299.68/300.60	c bounds - >= 464 @ 299.488
299.68/300.60	c bounds - >= 465 @ 299.489
299.68/300.60	c bounds - >= 466 @ 299.489
299.68/300.60	c bounds - >= 467 @ 299.49
299.68/300.60	c bounds - >= 468 @ 299.491
299.68/300.60	c bounds - >= 469 @ 299.491
299.68/300.60	c bounds - >= 470 @ 299.492
299.68/300.60	c bounds - >= 471 @ 299.492
299.68/300.60	c bounds - >= 472 @ 299.492
299.68/300.60	c bounds - >= 473 @ 299.493
299.68/300.60	c bounds - >= 474 @ 299.494
299.68/300.60	c bounds - >= 475 @ 299.494
299.68/300.60	c bounds - >= 476 @ 299.495
299.68/300.60	c bounds - >= 477 @ 299.496
299.68/300.60	c bounds - >= 478 @ 299.496
299.68/300.60	c bounds - >= 479 @ 299.497
299.68/300.60	c bounds - >= 480 @ 299.497
299.68/300.60	c bounds - >= 481 @ 299.497
299.68/300.60	c bounds - >= 482 @ 299.498
299.68/300.60	c bounds - >= 483 @ 299.499
299.68/300.60	c bounds - >= 484 @ 299.499
299.68/300.60	c bounds - >= 485 @ 299.5
299.68/300.60	c bounds - >= 486 @ 299.501
299.68/300.60	c bounds - >= 487 @ 299.501
299.68/300.60	c bounds - >= 488 @ 299.502
299.68/300.60	c bounds - >= 489 @ 299.503
299.68/300.60	c bounds - >= 490 @ 299.503
299.68/300.60	c bounds - >= 491 @ 299.504
299.68/300.60	c bounds - >= 492 @ 299.505
299.68/300.60	c bounds - >= 493 @ 299.505
299.68/300.60	c bounds - >= 494 @ 299.506
299.68/300.60	c bounds - >= 495 @ 299.507
299.68/300.60	c bounds - >= 496 @ 299.507
299.68/300.60	c bounds - >= 497 @ 299.508
299.68/300.60	c bounds - >= 498 @ 299.509
299.68/300.60	c bounds - >= 499 @ 299.509
299.68/300.60	c bounds - >= 500 @ 299.51
299.68/300.60	c bounds - >= 501 @ 299.511
299.68/300.60	c bounds - >= 502 @ 299.511
299.68/300.60	c bounds - >= 503 @ 299.512
299.68/300.60	c bounds - >= 504 @ 299.513
299.68/300.60	c bounds - >= 505 @ 299.513
299.68/300.60	c bounds - >= 506 @ 299.514
299.68/300.60	c bounds - >= 507 @ 299.515
299.68/300.60	c bounds - >= 508 @ 299.515
299.68/300.60	c bounds - >= 509 @ 299.516
299.68/300.60	c bounds - >= 510 @ 299.517
299.68/300.60	c bounds - >= 511 @ 299.517
299.68/300.60	c bounds - >= 512 @ 299.518
299.68/300.60	c bounds - >= 513 @ 299.519
299.68/300.60	c bounds - >= 514 @ 299.519
299.68/300.60	c bounds - >= 515 @ 299.52
299.68/300.60	c bounds - >= 516 @ 299.52
299.68/300.60	c bounds - >= 517 @ 299.52
299.68/300.60	c bounds - >= 518 @ 299.521
299.68/300.60	c bounds - >= 519 @ 299.522
299.68/300.60	c bounds - >= 520 @ 299.522
299.68/300.60	c bounds - >= 521 @ 299.523
299.68/300.60	c bounds - >= 522 @ 299.524
299.68/300.60	c bounds - >= 523 @ 299.525
299.68/300.60	c bounds - >= 524 @ 299.525
299.68/300.60	c bounds - >= 525 @ 299.526
299.68/300.60	c bounds - >= 526 @ 299.527
299.68/300.60	c bounds - >= 527 @ 299.527
299.68/300.60	c bounds - >= 528 @ 299.528
299.68/300.60	c bounds - >= 529 @ 299.528
299.68/300.60	c bounds - >= 530 @ 299.529
299.68/300.60	c bounds - >= 531 @ 299.53
299.68/300.60	c bounds - >= 532 @ 299.53
299.68/300.60	c bounds - >= 533 @ 299.531
299.68/300.60	c bounds - >= 534 @ 299.532
299.68/300.60	c bounds - >= 535 @ 299.532
299.68/300.60	c bounds - >= 536 @ 299.533
299.68/300.60	c bounds - >= 537 @ 299.534
299.68/300.60	c bounds - >= 538 @ 299.534
299.68/300.60	c bounds - >= 539 @ 299.535
299.68/300.60	c bounds - >= 540 @ 299.536
299.68/300.60	c bounds - >= 541 @ 299.536
299.68/300.60	c bounds - >= 542 @ 299.537
299.68/300.60	c bounds - >= 543 @ 299.538
299.68/300.60	c bounds - >= 544 @ 299.538
299.68/300.60	c bounds - >= 545 @ 299.538
299.68/300.60	c bounds - >= 546 @ 299.539
299.68/300.60	c bounds - >= 547 @ 299.539
299.68/300.60	c bounds - >= 548 @ 299.54
299.68/300.60	c bounds - >= 549 @ 299.54
299.68/300.60	c bounds - >= 550 @ 299.541
299.68/300.60	c bounds - >= 551 @ 299.542
299.68/300.60	c bounds - >= 552 @ 299.542
299.68/300.60	c bounds - >= 553 @ 299.543
299.68/300.60	c bounds - >= 554 @ 299.544
299.68/300.60	c bounds - >= 555 @ 299.544
299.68/300.60	c bounds - >= 556 @ 299.545
299.68/300.60	c bounds - >= 557 @ 299.546
299.68/300.60	c bounds - >= 558 @ 299.546
299.68/300.60	c bounds - >= 559 @ 299.547
299.68/300.60	c bounds - >= 560 @ 299.548
299.68/300.60	c bounds - >= 561 @ 299.548
299.68/300.60	c bounds - >= 562 @ 299.549
299.68/300.60	c bounds - >= 563 @ 299.55
299.68/300.60	c bounds - >= 564 @ 299.55
299.68/300.60	c bounds - >= 565 @ 299.55
299.68/300.60	c bounds - >= 566 @ 299.55
299.68/300.60	c bounds - >= 567 @ 299.551
299.68/300.60	c bounds - >= 568 @ 299.552
299.68/300.60	c bounds - >= 569 @ 299.552
299.68/300.60	c bounds - >= 570 @ 299.553
299.68/300.60	c bounds - >= 571 @ 299.554
299.68/300.60	c bounds - >= 572 @ 299.554
299.68/300.60	c bounds - >= 573 @ 299.555
299.68/300.60	c bounds - >= 574 @ 299.556
299.68/300.60	c bounds - >= 575 @ 299.556
299.68/300.60	c bounds - >= 576 @ 299.557
299.68/300.60	c bounds - >= 577 @ 299.558
299.68/300.60	c bounds - >= 578 @ 299.558
299.68/300.60	c bounds - >= 579 @ 299.558
299.68/300.60	c bounds - >= 580 @ 299.558
299.68/300.60	c bounds - >= 581 @ 299.559
299.68/300.60	c bounds - >= 582 @ 299.56
299.68/300.60	c bounds - >= 583 @ 299.56
299.68/300.60	c bounds - >= 584 @ 299.561
299.68/300.60	c bounds - >= 585 @ 299.562
299.68/300.60	c bounds - >= 586 @ 299.562
299.68/300.60	c bounds - >= 587 @ 299.563
299.68/300.60	c bounds - >= 588 @ 299.564
299.68/300.60	c bounds - >= 589 @ 299.564
299.68/300.60	c bounds - >= 590 @ 299.565
299.68/300.60	c bounds - >= 591 @ 299.566
299.68/300.60	c bounds - >= 592 @ 299.566
299.78/300.70	c bounds - >= 593 @ 299.567
299.78/300.70	c bounds - >= 594 @ 299.568
299.78/300.70	c bounds - >= 595 @ 299.568
299.78/300.70	c bounds - >= 596 @ 299.568
299.78/300.70	c bounds - >= 597 @ 299.568
299.78/300.70	c bounds - >= 598 @ 299.569
299.78/300.70	c bounds - >= 599 @ 299.57
299.78/300.70	c bounds - >= 600 @ 299.57
299.78/300.70	c bounds - >= 601 @ 299.571
299.78/300.70	c bounds - >= 602 @ 299.572
299.78/300.70	c bounds - >= 603 @ 299.573
299.78/300.70	c bounds - >= 604 @ 299.573
299.78/300.70	c bounds - >= 605 @ 299.574
299.78/300.70	c bounds - >= 606 @ 299.575
299.78/300.70	c bounds - >= 607 @ 299.575
299.78/300.70	c bounds - >= 608 @ 299.576
299.78/300.70	c bounds - >= 609 @ 299.577
299.78/300.70	c bounds - >= 610 @ 299.577
299.78/300.70	c bounds - >= 611 @ 299.578
299.78/300.70	c bounds - >= 612 @ 299.579
299.78/300.70	c bounds - >= 613 @ 299.579
299.78/300.70	c bounds - >= 614 @ 299.58
299.78/300.70	c bounds - >= 615 @ 299.58
299.78/300.70	c bounds - >= 616 @ 299.581
299.78/300.70	c bounds - >= 617 @ 299.581
299.78/300.70	c bounds - >= 618 @ 299.581
299.78/300.70	c bounds - >= 619 @ 299.582
299.78/300.70	c bounds - >= 620 @ 299.583
299.78/300.70	c bounds - >= 621 @ 299.583
299.78/300.70	c bounds - >= 622 @ 299.584
299.78/300.70	c bounds - >= 623 @ 299.585
299.78/300.70	c bounds - >= 624 @ 299.585
299.78/300.70	c bounds - >= 625 @ 299.586
299.78/300.70	c bounds - >= 626 @ 299.587
299.78/300.70	c bounds - >= 627 @ 299.587
299.78/300.70	c bounds - >= 628 @ 299.588
299.78/300.70	c bounds - >= 629 @ 299.588
299.78/300.70	c bounds - >= 630 @ 299.589
299.78/300.70	c bounds - >= 631 @ 299.589
299.78/300.70	c bounds - >= 632 @ 299.589
299.78/300.70	c bounds - >= 633 @ 299.59
299.78/300.70	c bounds - >= 634 @ 299.591
299.78/300.70	c bounds - >= 635 @ 299.591
299.78/300.70	c bounds - >= 636 @ 299.592
299.78/300.70	c bounds - >= 637 @ 299.593
299.78/300.70	c bounds - >= 638 @ 299.593
299.78/300.70	c bounds - >= 639 @ 299.594
299.78/300.70	c bounds - >= 640 @ 299.595
299.78/300.70	c bounds - >= 641 @ 299.595
299.78/300.70	c bounds - >= 642 @ 299.596
299.78/300.70	c bounds - >= 643 @ 299.596
299.78/300.70	c bounds - >= 644 @ 299.597
299.78/300.70	c bounds - >= 645 @ 299.598
299.78/300.70	c bounds - >= 646 @ 299.598
299.78/300.70	c bounds - >= 647 @ 299.599
299.78/300.70	c bounds - >= 648 @ 299.6
299.78/300.70	c bounds - >= 649 @ 299.6
299.78/300.70	c bounds - >= 650 @ 299.601
299.78/300.70	c bounds - >= 651 @ 299.602
299.78/300.70	c bounds - >= 652 @ 299.602
299.78/300.70	c bounds - >= 653 @ 299.603
299.78/300.70	c bounds - >= 654 @ 299.603
299.78/300.70	c bounds - >= 655 @ 299.604
299.78/300.70	c bounds - >= 656 @ 299.604
299.78/300.70	c bounds - >= 657 @ 299.604
299.78/300.70	c bounds - >= 658 @ 299.605
299.78/300.70	c bounds - >= 659 @ 299.606
299.78/300.70	c bounds - >= 660 @ 299.606
299.78/300.70	c bounds - >= 661 @ 299.607
299.78/300.70	c bounds - >= 662 @ 299.608
299.78/300.70	c bounds - >= 663 @ 299.608
299.78/300.70	c bounds - >= 664 @ 299.609
299.78/300.70	c bounds - >= 665 @ 299.609
299.78/300.70	c bounds - >= 666 @ 299.61
299.78/300.70	c bounds - >= 667 @ 299.611
299.78/300.70	c bounds - >= 668 @ 299.611
299.78/300.70	c bounds - >= 669 @ 299.612
299.78/300.70	c bounds - >= 670 @ 299.613
299.78/300.70	c bounds - >= 671 @ 299.613
299.78/300.70	c bounds - >= 672 @ 299.614
299.78/300.70	c bounds - >= 673 @ 299.615
299.78/300.70	c bounds - >= 674 @ 299.615
299.78/300.70	c bounds - >= 675 @ 299.616
299.78/300.70	c bounds - >= 676 @ 299.616
299.78/300.70	c bounds - >= 677 @ 299.617
299.78/300.70	c bounds - >= 678 @ 299.617
299.78/300.70	c bounds - >= 679 @ 299.617
299.78/300.70	c bounds - >= 680 @ 299.618
299.78/300.70	c bounds - >= 681 @ 299.619
299.78/300.70	c bounds - >= 682 @ 299.619
299.78/300.70	c bounds - >= 683 @ 299.62
299.78/300.70	c bounds - >= 684 @ 299.621
299.78/300.70	c bounds - >= 685 @ 299.621
299.78/300.70	c bounds - >= 686 @ 299.622
299.78/300.70	c bounds - >= 687 @ 299.623
299.78/300.70	c bounds - >= 688 @ 299.623
299.78/300.70	c bounds - >= 689 @ 299.624
299.78/300.70	c bounds - >= 690 @ 299.624
299.78/300.70	c bounds - >= 691 @ 299.625
299.78/300.70	c bounds - >= 692 @ 299.626
299.78/300.70	c bounds - >= 693 @ 299.626
299.78/300.70	c bounds - >= 694 @ 299.627
299.78/300.70	c bounds - >= 695 @ 299.628
299.78/300.70	c bounds - >= 696 @ 299.628
299.78/300.70	c bounds - >= 697 @ 299.629
299.78/300.70	c bounds - >= 698 @ 299.629
299.78/300.70	c bounds - >= 699 @ 299.629
299.78/300.70	c bounds - >= 700 @ 299.63
299.78/300.70	c bounds - >= 701 @ 299.631
299.78/300.70	c bounds - >= 702 @ 299.631
299.78/300.70	c bounds - >= 703 @ 299.632
299.78/300.70	c bounds - >= 704 @ 299.633
299.78/300.70	c bounds - >= 705 @ 299.633
299.78/300.70	c bounds - >= 706 @ 299.634
299.78/300.70	c bounds - >= 707 @ 299.635
299.78/300.70	c bounds - >= 708 @ 299.635
299.78/300.70	c bounds - >= 709 @ 299.636
299.78/300.70	c bounds - >= 710 @ 299.636
299.78/300.70	c bounds - >= 711 @ 299.637
299.78/300.70	c bounds - >= 712 @ 299.638
299.78/300.70	c bounds - >= 713 @ 299.638
299.78/300.70	c bounds - >= 714 @ 299.639
299.78/300.70	c bounds - >= 715 @ 299.64
299.78/300.70	c bounds - >= 716 @ 299.64
299.78/300.70	c bounds - >= 717 @ 299.641
299.78/300.70	c bounds - >= 718 @ 299.642
299.78/300.70	c bounds - >= 719 @ 299.642
299.78/300.70	c bounds - >= 720 @ 299.643
299.78/300.70	c bounds - >= 721 @ 299.643
299.78/300.70	c bounds - >= 722 @ 299.643
299.78/300.70	c bounds - >= 723 @ 299.644
299.78/300.70	c bounds - >= 724 @ 299.645
299.78/300.70	c bounds - >= 725 @ 299.645
299.78/300.70	c bounds - >= 726 @ 299.646
299.78/300.70	c bounds - >= 727 @ 299.647
299.78/300.70	c bounds - >= 728 @ 299.647
299.78/300.70	c bounds - >= 729 @ 299.648
299.78/300.70	c bounds - >= 730 @ 299.648
299.78/300.70	c bounds - >= 731 @ 299.649
299.78/300.70	c bounds - >= 732 @ 299.65
299.78/300.70	c bounds - >= 733 @ 299.65
299.78/300.70	c bounds - >= 734 @ 299.651
299.78/300.70	c bounds - >= 735 @ 299.652
299.78/300.70	c bounds - >= 736 @ 299.652
299.78/300.70	c bounds - >= 737 @ 299.653
299.78/300.70	c bounds - >= 738 @ 299.653
299.78/300.70	c bounds - >= 739 @ 299.653
299.78/300.79	c bounds - >= 740 @ 299.653
299.78/300.79	c bounds - >= 741 @ 299.653
299.78/300.79	c bounds - >= 742 @ 299.653
299.78/300.79	c bounds - >= 743 @ 299.654
299.78/300.79	c bounds - >= 744 @ 299.655
299.78/300.79	c bounds - >= 745 @ 299.655
299.78/300.79	c bounds - >= 746 @ 299.656
299.78/300.79	c bounds - >= 747 @ 299.656
299.78/300.79	c bounds - >= 748 @ 299.657
299.78/300.79	c bounds - >= 749 @ 299.658
299.78/300.79	c bounds - >= 750 @ 299.658
299.78/300.79	c bounds - >= 751 @ 299.659
299.78/300.79	c bounds - >= 752 @ 299.66
299.78/300.79	c bounds - >= 753 @ 299.66
299.78/300.79	c bounds - >= 754 @ 299.661
299.78/300.79	c bounds - >= 755 @ 299.662
299.78/300.79	c bounds - >= 756 @ 299.662
299.78/300.79	c bounds - >= 757 @ 299.663
299.78/300.79	c bounds - >= 758 @ 299.664
299.78/300.79	c bounds - >= 759 @ 299.664
299.78/300.79	c bounds - >= 760 @ 299.665
299.78/300.79	c bounds - >= 761 @ 299.666
299.78/300.79	c bounds - >= 762 @ 299.666
299.78/300.79	c bounds - >= 763 @ 299.667
299.78/300.79	c bounds - >= 764 @ 299.668
299.78/300.79	c bounds - >= 765 @ 299.669
299.78/300.79	c bounds - >= 766 @ 299.669
299.78/300.79	c bounds - >= 767 @ 299.67
299.78/300.79	c bounds - >= 768 @ 299.67
299.78/300.79	c bounds - >= 769 @ 299.671
299.78/300.79	c bounds - >= 770 @ 299.672
299.78/300.79	c bounds - >= 771 @ 299.672
299.78/300.79	c bounds - >= 772 @ 299.673
299.78/300.79	c bounds - >= 773 @ 299.673
299.78/300.79	c bounds - >= 774 @ 299.673
299.78/300.79	c bounds - >= 775 @ 299.674
299.78/300.79	c bounds - >= 776 @ 299.674
299.78/300.79	c bounds - >= 777 @ 299.675
299.78/300.79	c bounds - >= 778 @ 299.676
299.78/300.79	c bounds - >= 779 @ 299.676
299.78/300.79	c bounds - >= 780 @ 299.677
299.78/300.79	c bounds - >= 781 @ 299.678
299.78/300.79	c bounds - >= 782 @ 299.678
299.78/300.79	c bounds - >= 783 @ 299.679
299.78/300.79	c bounds - >= 784 @ 299.679
299.78/300.79	c bounds - >= 785 @ 299.679
299.78/300.79	c bounds - >= 786 @ 299.68
299.78/300.79	c bounds - >= 787 @ 299.68
299.78/300.79	c bounds - >= 788 @ 299.681
299.78/300.79	c bounds - >= 789 @ 299.682
299.78/300.79	c bounds - >= 790 @ 299.682
299.78/300.79	c bounds - >= 791 @ 299.683
299.78/300.79	c bounds - >= 792 @ 299.683
299.78/300.79	c bounds - >= 793 @ 299.683
299.78/300.79	c bounds - >= 794 @ 299.684
299.78/300.79	c bounds - >= 795 @ 299.684
299.78/300.79	c bounds - >= 796 @ 299.685
299.78/300.79	c bounds - >= 797 @ 299.686
299.78/300.79	c bounds - >= 798 @ 299.686
299.78/300.79	c bounds - >= 799 @ 299.687
299.78/300.79	c bounds - >= 800 @ 299.688
299.78/300.79	c bounds - >= 801 @ 299.688
299.78/300.79	c bounds - >= 802 @ 299.689
299.78/300.79	c bounds - >= 803 @ 299.689
299.78/300.79	c bounds - >= 804 @ 299.69
299.78/300.79	c bounds - >= 805 @ 299.691
299.78/300.79	c bounds - >= 806 @ 299.691
299.78/300.79	c bounds - >= 807 @ 299.692
299.78/300.79	c bounds - >= 808 @ 299.693
299.78/300.79	c bounds - >= 809 @ 299.693
299.78/300.79	c bounds - >= 810 @ 299.694
299.78/300.79	c bounds - >= 811 @ 299.694
299.78/300.79	c bounds - >= 812 @ 299.694
299.78/300.79	c bounds - >= 813 @ 299.695
299.78/300.79	c bounds - >= 814 @ 299.695
299.78/300.79	c bounds - >= 815 @ 299.696
299.78/300.79	c bounds - >= 816 @ 299.697
299.78/300.79	c bounds - >= 817 @ 299.697
299.78/300.79	c bounds - >= 818 @ 299.698
299.78/300.79	c bounds - >= 819 @ 299.698
299.78/300.79	c bounds - >= 820 @ 299.698
299.78/300.79	c bounds - >= 821 @ 299.699
299.78/300.79	c bounds - >= 822 @ 299.699
299.78/300.79	c bounds - >= 823 @ 299.7
299.78/300.79	c bounds - >= 824 @ 299.701
299.78/300.79	c bounds - >= 825 @ 299.701
299.78/300.79	c bounds - >= 826 @ 299.702
299.78/300.79	c bounds - >= 827 @ 299.702
299.78/300.79	c bounds - >= 828 @ 299.702
299.78/300.79	c bounds - >= 829 @ 299.703
299.78/300.79	c bounds - >= 830 @ 299.703
299.78/300.79	c bounds - >= 831 @ 299.704
299.78/300.79	c bounds - >= 832 @ 299.705
299.78/300.79	c bounds - >= 833 @ 299.705
299.78/300.79	c bounds - >= 834 @ 299.706
299.78/300.79	c bounds - >= 835 @ 299.706
299.78/300.79	c bounds - >= 836 @ 299.706
299.78/300.79	c bounds - >= 837 @ 299.707
299.78/300.79	c bounds - >= 838 @ 299.707
299.78/300.79	c bounds - >= 839 @ 299.708
299.78/300.79	c bounds - >= 840 @ 299.709
299.78/300.79	c bounds - >= 841 @ 299.709
299.78/300.79	c bounds - >= 842 @ 299.71
299.78/300.79	c bounds - >= 843 @ 299.71
299.78/300.79	c bounds - >= 844 @ 299.71
299.78/300.79	c bounds - >= 845 @ 299.71
299.78/300.79	c bounds - >= 846 @ 299.711
299.78/300.79	c bounds - >= 847 @ 299.711
299.78/300.79	c bounds - >= 848 @ 299.712
299.78/300.79	c bounds - >= 849 @ 299.713
299.78/300.79	c bounds - >= 850 @ 299.713
299.78/300.79	c bounds - >= 851 @ 299.714
299.78/300.79	c bounds - >= 852 @ 299.714
299.78/300.79	c bounds - >= 853 @ 299.715
299.78/300.79	c bounds - >= 854 @ 299.716
299.78/300.79	c bounds - >= 855 @ 299.716
299.78/300.79	c bounds - >= 856 @ 299.717
299.78/300.79	c bounds - >= 857 @ 299.718
299.78/300.79	c bounds - >= 858 @ 299.718
299.78/300.79	c bounds - >= 859 @ 299.719
299.78/300.79	c bounds - >= 860 @ 299.719
299.78/300.79	c bounds - >= 861 @ 299.719
299.78/300.79	c bounds - >= 862 @ 299.72
299.78/300.79	c bounds - >= 863 @ 299.72
299.78/300.79	c bounds - >= 864 @ 299.721
299.78/300.79	c bounds - >= 865 @ 299.722
299.78/300.79	c bounds - >= 866 @ 299.722
299.78/300.79	c bounds - >= 867 @ 299.723
299.78/300.79	c bounds - >= 868 @ 299.723
299.78/300.79	c bounds - >= 869 @ 299.724
299.78/300.79	c bounds - >= 870 @ 299.725
299.78/300.79	c bounds - >= 871 @ 299.725
299.78/300.79	c bounds - >= 872 @ 299.726
299.78/300.79	c bounds - >= 873 @ 299.727
299.78/300.79	c bounds - >= 874 @ 299.727
299.78/300.79	c bounds - >= 875 @ 299.728
299.78/300.79	c bounds - >= 876 @ 299.728
299.78/300.79	c bounds - >= 877 @ 299.728
299.78/300.79	c bounds - >= 878 @ 299.729
299.78/300.79	c bounds - >= 879 @ 299.729
299.78/300.79	c bounds - >= 880 @ 299.73
299.78/300.79	c bounds - >= 881 @ 299.731
299.78/300.79	c bounds - >= 882 @ 299.731
299.78/300.79	c bounds - >= 883 @ 299.732
299.78/300.79	c bounds - >= 884 @ 299.732
299.78/300.79	c bounds - >= 885 @ 299.733
299.78/300.79	c bounds - >= 886 @ 299.734
299.88/300.88	c bounds - >= 887 @ 299.734
299.88/300.88	c bounds - >= 888 @ 299.735
299.88/300.88	c bounds - >= 889 @ 299.736
299.88/300.88	c bounds - >= 890 @ 299.736
299.88/300.88	c bounds - >= 891 @ 299.737
299.88/300.88	c bounds - >= 892 @ 299.737
299.88/300.88	c bounds - >= 893 @ 299.738
299.88/300.88	c bounds - >= 894 @ 299.739
299.88/300.88	c bounds - >= 895 @ 299.739
299.88/300.88	c bounds - >= 896 @ 299.739
299.88/300.88	c bounds - >= 897 @ 299.74
299.88/300.88	c bounds - >= 898 @ 299.74
299.88/300.88	c bounds - >= 899 @ 299.741
299.88/300.88	c bounds - >= 900 @ 299.741
299.88/300.88	c bounds - >= 901 @ 299.742
299.88/300.88	c bounds - >= 902 @ 299.743
299.88/300.88	c bounds - >= 903 @ 299.743
299.88/300.88	c bounds - >= 904 @ 299.744
299.88/300.88	c bounds - >= 905 @ 299.745
299.88/300.88	c bounds - >= 906 @ 299.745
299.88/300.88	c bounds - >= 907 @ 299.746
299.88/300.88	c bounds - >= 908 @ 299.746
299.88/300.88	c bounds - >= 909 @ 299.747
299.88/300.88	c bounds - >= 910 @ 299.748
299.88/300.88	c bounds - >= 911 @ 299.748
299.88/300.88	c bounds - >= 912 @ 299.749
299.88/300.88	c bounds - >= 913 @ 299.75
299.88/300.88	c bounds - >= 914 @ 299.75
299.88/300.88	c bounds - >= 915 @ 299.751
299.88/300.88	c bounds - >= 916 @ 299.751
299.88/300.88	c bounds - >= 917 @ 299.752
299.88/300.88	c bounds - >= 918 @ 299.753
299.88/300.88	c bounds - >= 919 @ 299.753
299.88/300.88	c bounds - >= 920 @ 299.754
299.88/300.88	c bounds - >= 921 @ 299.755
299.88/300.88	c bounds - >= 922 @ 299.755
299.88/300.88	c bounds - >= 923 @ 299.756
299.88/300.88	c bounds - >= 924 @ 299.756
299.88/300.88	c bounds - >= 925 @ 299.757
299.88/300.88	c bounds - >= 926 @ 299.757
299.88/300.88	c bounds - >= 927 @ 299.758
299.88/300.88	c bounds - >= 928 @ 299.758
299.88/300.88	c bounds - >= 929 @ 299.759
299.88/300.88	c bounds - >= 930 @ 299.759
299.88/300.88	c bounds - >= 931 @ 299.76
299.88/300.88	c bounds - >= 932 @ 299.761
299.88/300.88	c bounds - >= 933 @ 299.761
299.88/300.88	c bounds - >= 934 @ 299.762
299.88/300.88	c bounds - >= 935 @ 299.763
299.88/300.88	c bounds - >= 936 @ 299.763
299.88/300.88	c bounds - >= 937 @ 299.764
299.88/300.88	c bounds - >= 938 @ 299.764
299.88/300.88	c bounds - >= 939 @ 299.765
299.88/300.88	c bounds - >= 940 @ 299.766
299.88/300.88	c bounds - >= 941 @ 299.766
299.88/300.88	c bounds - >= 942 @ 299.766
299.88/300.88	c bounds - >= 943 @ 299.767
299.88/300.88	c bounds - >= 944 @ 299.767
299.88/300.88	c bounds - >= 945 @ 299.768
299.88/300.88	c bounds - >= 946 @ 299.768
299.88/300.88	c bounds - >= 947 @ 299.769
299.88/300.88	c bounds - >= 948 @ 299.77
299.88/300.88	c bounds - >= 949 @ 299.77
299.88/300.88	c bounds - >= 950 @ 299.771
299.88/300.88	c bounds - >= 951 @ 299.771
299.88/300.88	c bounds - >= 952 @ 299.772
299.88/300.88	c bounds - >= 953 @ 299.773
299.88/300.88	c bounds - >= 954 @ 299.773
299.88/300.88	c bounds - >= 955 @ 299.773
299.88/300.88	c bounds - >= 956 @ 299.774
299.88/300.88	c bounds - >= 957 @ 299.774
299.88/300.88	c bounds - >= 958 @ 299.775
299.88/300.88	c bounds - >= 959 @ 299.775
299.88/300.88	c bounds - >= 960 @ 299.776
299.88/300.88	c bounds - >= 961 @ 299.777
299.88/300.88	c bounds - >= 962 @ 299.777
299.88/300.88	c bounds - >= 963 @ 299.777
299.88/300.88	c bounds - >= 964 @ 299.778
299.88/300.88	c bounds - >= 965 @ 299.778
299.88/300.88	c bounds - >= 966 @ 299.779
299.88/300.88	c bounds - >= 967 @ 299.779
299.88/300.88	c bounds - >= 968 @ 299.78
299.88/300.88	c bounds - >= 969 @ 299.781
299.88/300.88	c bounds - >= 970 @ 299.781
299.88/300.88	c bounds - >= 971 @ 299.781
299.88/300.88	c bounds - >= 972 @ 299.781
299.88/300.88	c bounds - >= 973 @ 299.781
299.88/300.88	c bounds - >= 974 @ 299.782
299.88/300.88	c bounds - >= 975 @ 299.782
299.88/300.88	c bounds - >= 976 @ 299.783
299.88/300.88	c bounds - >= 977 @ 299.784
299.88/300.88	c bounds - >= 978 @ 299.784
299.88/300.88	c bounds - >= 979 @ 299.785
299.88/300.88	c bounds - >= 980 @ 299.785
299.88/300.88	c bounds - >= 981 @ 299.786
299.88/300.88	c bounds - >= 982 @ 299.787
299.88/300.88	c bounds - >= 983 @ 299.787
299.88/300.88	c bounds - >= 984 @ 299.788
299.88/300.88	c bounds - >= 985 @ 299.789
299.88/300.88	c bounds - >= 986 @ 299.789
299.88/300.88	c bounds - >= 987 @ 299.789
299.88/300.88	c bounds - >= 988 @ 299.789
299.88/300.88	c bounds - >= 989 @ 299.79
299.88/300.88	c bounds - >= 990 @ 299.791
299.88/300.88	c bounds - >= 991 @ 299.791
299.88/300.88	c bounds - >= 992 @ 299.792
299.88/300.88	c bounds - >= 993 @ 299.793
299.88/300.88	c bounds - >= 994 @ 299.793
299.88/300.88	c bounds - >= 995 @ 299.793
299.88/300.88	c bounds - >= 996 @ 299.794
299.88/300.88	c bounds - >= 997 @ 299.794
299.88/300.88	c bounds - >= 998 @ 299.795
299.88/300.88	c bounds - >= 999 @ 299.795
299.88/300.88	c bounds - >= 1000 @ 299.796
299.88/300.88	c bounds - >= 1001 @ 299.797
299.88/300.88	c bounds - >= 1002 @ 299.797
299.88/300.88	c bounds - >= 1003 @ 299.798
299.88/300.88	c bounds - >= 1004 @ 299.799
299.88/300.88	c bounds - >= 1005 @ 299.799
299.88/300.88	c bounds - >= 1006 @ 299.799
299.88/300.88	c bounds - >= 1007 @ 299.799
299.88/300.88	c bounds - >= 1008 @ 299.8
299.88/300.88	c bounds - >= 1009 @ 299.8
299.88/300.88	c bounds - >= 1010 @ 299.8
299.88/300.88	c bounds - >= 1011 @ 299.8
299.88/300.88	c bounds - >= 1012 @ 299.801
299.88/300.88	c bounds - >= 1013 @ 299.802
299.88/300.88	c bounds - >= 1014 @ 299.802
299.88/300.88	c bounds - >= 1015 @ 299.803
299.88/300.88	c bounds - >= 1016 @ 299.804
299.88/300.88	c bounds - >= 1017 @ 299.804
299.88/300.88	c bounds - >= 1018 @ 299.805
299.88/300.88	c bounds - >= 1019 @ 299.806
299.88/300.88	c bounds - >= 1020 @ 299.806
299.88/300.88	c bounds - >= 1021 @ 299.807
299.88/300.88	c bounds - >= 1022 @ 299.807
299.88/300.88	c bounds - >= 1023 @ 299.808
299.88/300.88	c bounds - >= 1024 @ 299.809
299.88/300.88	c bounds - >= 1025 @ 299.809
299.88/300.88	c bounds - >= 1026 @ 299.81
299.88/300.88	c bounds - >= 1027 @ 299.811
299.88/300.88	c bounds - >= 1028 @ 299.811
299.88/300.88	c bounds - >= 1029 @ 299.811
299.88/300.88	c bounds - >= 1030 @ 299.812
299.88/300.88	c bounds - >= 1031 @ 299.812
299.98/300.97	c bounds - >= 1032 @ 299.813
299.98/300.97	c bounds - >= 1033 @ 299.813
299.98/300.97	c bounds - >= 1034 @ 299.814
299.98/300.97	c bounds - >= 1035 @ 299.815
299.98/300.97	c bounds - >= 1036 @ 299.815
299.98/300.97	c bounds - >= 1037 @ 299.816
299.98/300.97	c bounds - >= 1038 @ 299.817
299.98/300.97	c bounds - >= 1039 @ 299.817
299.98/300.97	c bounds - >= 1040 @ 299.818
299.98/300.97	c bounds - >= 1041 @ 299.819
299.98/300.97	c bounds - >= 1042 @ 299.819
299.98/300.97	c bounds - >= 1043 @ 299.819
299.98/300.97	c bounds - >= 1044 @ 299.819
299.98/300.97	c bounds - >= 1045 @ 299.82
299.98/300.97	c bounds - >= 1046 @ 299.82
299.98/300.97	c bounds - >= 1047 @ 299.82
299.98/300.97	c bounds - >= 1048 @ 299.821
299.98/300.97	c bounds - >= 1049 @ 299.822
299.98/300.97	c bounds - >= 1050 @ 299.822
299.98/300.97	c bounds - >= 1051 @ 299.823
299.98/300.97	c bounds - >= 1052 @ 299.824
299.98/300.97	c bounds - >= 1053 @ 299.824
299.98/300.97	c bounds - >= 1054 @ 299.825
299.98/300.97	c bounds - >= 1055 @ 299.825
299.98/300.97	c bounds - >= 1056 @ 299.826
299.98/300.97	c bounds - >= 1057 @ 299.827
299.98/300.97	c bounds - >= 1058 @ 299.827
299.98/300.97	c bounds - >= 1059 @ 299.828
299.98/300.97	c bounds - >= 1060 @ 299.829
299.98/300.97	c bounds - >= 1061 @ 299.829
299.98/300.97	c bounds - >= 1062 @ 299.83
299.98/300.97	c bounds - >= 1063 @ 299.831
299.98/300.97	c bounds - >= 1064 @ 299.831
299.98/300.97	c bounds - >= 1065 @ 299.831
299.98/300.97	c bounds - >= 1066 @ 299.831
299.98/300.97	c bounds - >= 1067 @ 299.832
299.98/300.97	c bounds - >= 1068 @ 299.833
299.98/300.97	c bounds - >= 1069 @ 299.833
299.98/300.97	c bounds - >= 1070 @ 299.834
299.98/300.97	c bounds - >= 1071 @ 299.835
299.98/300.97	c bounds - >= 1072 @ 299.835
299.98/300.97	c bounds - >= 1073 @ 299.836
299.98/300.97	c bounds - >= 1074 @ 299.836
299.98/300.97	c bounds - >= 1075 @ 299.837
299.98/300.97	c bounds - >= 1076 @ 299.837
299.98/300.97	c bounds - >= 1077 @ 299.837
299.98/300.97	c bounds - >= 1078 @ 299.838
299.98/300.97	c bounds - >= 1079 @ 299.839
299.98/300.97	c bounds - >= 1080 @ 299.839
299.98/300.97	c bounds - >= 1081 @ 299.84
299.98/300.97	c bounds - >= 1082 @ 299.841
299.98/300.97	c bounds - >= 1083 @ 299.841
299.98/300.97	c bounds - >= 1084 @ 299.841
299.98/300.97	c bounds - >= 1085 @ 299.841
299.98/300.97	c bounds - >= 1086 @ 299.842
299.98/300.97	c bounds - >= 1087 @ 299.843
299.98/300.97	c bounds - >= 1088 @ 299.844
299.98/300.97	c bounds - >= 1089 @ 299.844
299.98/300.97	c bounds - >= 1090 @ 299.845
299.98/300.97	c bounds - >= 1091 @ 299.845
299.98/300.97	c bounds - >= 1092 @ 299.846
299.98/300.97	c bounds - >= 1093 @ 299.846
299.98/300.97	c bounds - >= 1094 @ 299.846
299.98/300.97	c bounds - >= 1095 @ 299.847
299.98/300.97	c bounds - >= 1096 @ 299.848
299.98/300.97	c bounds - >= 1097 @ 299.848
299.98/300.97	c bounds - >= 1098 @ 299.849
299.98/300.97	c bounds - >= 1099 @ 299.849
299.98/300.97	c bounds - >= 1100 @ 299.85
299.98/300.97	c bounds - >= 1101 @ 299.851
299.98/300.97	c bounds - >= 1102 @ 299.851
299.98/300.97	c bounds - >= 1103 @ 299.852
299.98/300.97	c bounds - >= 1104 @ 299.853
299.98/300.97	c bounds - >= 1105 @ 299.853
299.98/300.97	c bounds - >= 1106 @ 299.853
299.98/300.97	c bounds - >= 1107 @ 299.853
299.98/300.97	c bounds - >= 1108 @ 299.854
299.98/300.97	c bounds - >= 1109 @ 299.855
299.98/300.97	c bounds - >= 1110 @ 299.855
299.98/300.97	c bounds - >= 1111 @ 299.856
299.98/300.97	c bounds - >= 1112 @ 299.856
299.98/300.97	c bounds - >= 1113 @ 299.857
299.98/300.97	c bounds - >= 1114 @ 299.857
299.98/300.97	c bounds - >= 1115 @ 299.857
299.98/300.97	c bounds - >= 1116 @ 299.858
299.98/300.97	c bounds - >= 1117 @ 299.859
299.98/300.97	c bounds - >= 1118 @ 299.859
299.98/300.97	c bounds - >= 1119 @ 299.86
299.98/300.97	c bounds - >= 1120 @ 299.86
299.98/300.97	c bounds - >= 1121 @ 299.861
299.98/300.97	c bounds - >= 1122 @ 299.862
299.98/300.97	c bounds - >= 1123 @ 299.862
299.98/300.97	c bounds - >= 1124 @ 299.863
299.98/300.97	c bounds - >= 1125 @ 299.863
299.98/300.97	c bounds - >= 1126 @ 299.864
299.98/300.97	c bounds - >= 1127 @ 299.864
299.98/300.97	c bounds - >= 1128 @ 299.864
299.98/300.97	c bounds - >= 1129 @ 299.865
299.98/300.97	c bounds - >= 1130 @ 299.866
299.98/300.97	c bounds - >= 1131 @ 299.866
299.98/300.97	c bounds - >= 1132 @ 299.867
299.98/300.97	c bounds - >= 1133 @ 299.867
299.98/300.97	c bounds - >= 1134 @ 299.868
299.98/300.97	c bounds - >= 1135 @ 299.868
299.98/300.97	c bounds - >= 1136 @ 299.868
299.98/300.97	c bounds - >= 1137 @ 299.869
299.98/300.97	c bounds - >= 1138 @ 299.87
299.98/300.97	c bounds - >= 1139 @ 299.87
299.98/300.97	c bounds - >= 1140 @ 299.871
299.98/300.97	c bounds - >= 1141 @ 299.871
299.98/300.97	c bounds - >= 1142 @ 299.872
299.98/300.97	c bounds - >= 1143 @ 299.873
299.98/300.97	c bounds - >= 1144 @ 299.873
299.98/300.97	c bounds - >= 1145 @ 299.874
299.98/300.97	c bounds - >= 1146 @ 299.874
299.98/300.97	c bounds - >= 1147 @ 299.874
299.98/300.97	c bounds - >= 1148 @ 299.875
299.98/300.97	c bounds - >= 1149 @ 299.875
299.98/300.97	c bounds - >= 1150 @ 299.876
299.98/300.97	c bounds - >= 1151 @ 299.877
299.98/300.97	c bounds - >= 1152 @ 299.877
299.98/300.97	c bounds - >= 1153 @ 299.878
299.98/300.97	c bounds - >= 1154 @ 299.879
299.98/300.97	c bounds - >= 1155 @ 299.879
299.98/300.97	c bounds - >= 1156 @ 299.88
299.98/300.97	c bounds - >= 1157 @ 299.88
299.98/300.97	c bounds - >= 1158 @ 299.881
299.98/300.97	c bounds - >= 1159 @ 299.881
299.98/300.97	c bounds - >= 1160 @ 299.881
299.98/300.97	c bounds - >= 1161 @ 299.882
299.98/300.97	c bounds - >= 1162 @ 299.882
299.98/300.97	c bounds - >= 1163 @ 299.883
299.98/300.97	c bounds - >= 1164 @ 299.883
299.98/300.97	c bounds - >= 1165 @ 299.883
299.98/300.97	c bounds - >= 1166 @ 299.884
299.98/300.97	c bounds - >= 1167 @ 299.885
299.98/300.97	c bounds - >= 1168 @ 299.885
299.98/300.97	c bounds - >= 1169 @ 299.886
299.98/300.97	c bounds - >= 1170 @ 299.887
299.98/300.97	c bounds - >= 1171 @ 299.887
299.98/300.97	c bounds - >= 1172 @ 299.888
299.98/300.97	c bounds - >= 1173 @ 299.889
300.09/301.06	c bounds - >= 1174 @ 299.889
300.09/301.06	c bounds - >= 1175 @ 299.89
300.09/301.06	c bounds - >= 1176 @ 299.89
300.09/301.06	c bounds - >= 1177 @ 299.891
300.09/301.06	c bounds - >= 1178 @ 299.892
300.09/301.06	c bounds - >= 1179 @ 299.892
300.09/301.06	c bounds - >= 1180 @ 299.893
300.09/301.06	c bounds - >= 1181 @ 299.894
300.09/301.06	c bounds - >= 1182 @ 299.894
300.09/301.06	c bounds - >= 1183 @ 299.895
300.09/301.06	c bounds - >= 1184 @ 299.895
300.09/301.06	c bounds - >= 1185 @ 299.896
300.09/301.06	c bounds - >= 1186 @ 299.896
300.09/301.06	c bounds - >= 1187 @ 299.896
300.09/301.06	c bounds - >= 1188 @ 299.897
300.09/301.06	c bounds - >= 1189 @ 299.898
300.09/301.06	c bounds - >= 1190 @ 299.898
300.09/301.06	c bounds - >= 1191 @ 299.898
300.09/301.06	c bounds - >= 1192 @ 299.899
300.09/301.06	c bounds - >= 1193 @ 299.899
300.09/301.06	c bounds - >= 1194 @ 299.9
300.09/301.06	c bounds - >= 1195 @ 299.9
300.09/301.06	c bounds - >= 1196 @ 299.901
300.09/301.06	c bounds - >= 1197 @ 299.902
300.09/301.06	c bounds - >= 1198 @ 299.902
300.09/301.06	c bounds - >= 1199 @ 299.903
300.09/301.06	c bounds - >= 1200 @ 299.903
300.09/301.06	c bounds - >= 1201 @ 299.904
300.09/301.06	c bounds - >= 1202 @ 299.905
300.09/301.06	c bounds - >= 1203 @ 299.905
300.09/301.06	c bounds - >= 1204 @ 299.906
300.09/301.06	c bounds - >= 1205 @ 299.907
300.09/301.06	c bounds - >= 1206 @ 299.907
300.09/301.06	c bounds - >= 1207 @ 299.908
300.09/301.06	c bounds - >= 1208 @ 299.908
300.09/301.06	c bounds - >= 1209 @ 299.908
300.09/301.06	c bounds - >= 1210 @ 299.909
300.09/301.06	c bounds - >= 1211 @ 299.909
300.09/301.06	c bounds - >= 1212 @ 299.91
300.09/301.06	c bounds - >= 1213 @ 299.91
300.09/301.06	c bounds - >= 1214 @ 299.911
300.09/301.06	c bounds - >= 1215 @ 299.912
300.09/301.06	c bounds - >= 1216 @ 299.912
300.09/301.06	c bounds - >= 1217 @ 299.913
300.09/301.06	c bounds - >= 1218 @ 299.913
300.09/301.06	c bounds - >= 1219 @ 299.913
300.09/301.06	c bounds - >= 1220 @ 299.914
300.09/301.06	c bounds - >= 1221 @ 299.914
300.09/301.06	c bounds - >= 1222 @ 299.915
300.09/301.06	c bounds - >= 1223 @ 299.915
300.09/301.06	c bounds - >= 1224 @ 299.916
300.09/301.06	c bounds - >= 1225 @ 299.917
300.09/301.06	c bounds - >= 1226 @ 299.917
300.09/301.06	c bounds - >= 1227 @ 299.918
300.09/301.06	c bounds - >= 1228 @ 299.918
300.09/301.06	c bounds - >= 1229 @ 299.918
300.09/301.06	c bounds - >= 1230 @ 299.919
300.09/301.06	c bounds - >= 1231 @ 299.919
300.09/301.06	c bounds - >= 1232 @ 299.919
300.09/301.06	c bounds - >= 1233 @ 299.92
300.09/301.06	c bounds - >= 1234 @ 299.92
300.09/301.06	c bounds - >= 1235 @ 299.921
300.09/301.06	c bounds - >= 1236 @ 299.921
300.09/301.06	c bounds - >= 1237 @ 299.922
300.09/301.06	c bounds - >= 1238 @ 299.923
300.09/301.06	c bounds - >= 1239 @ 299.923
300.09/301.06	c bounds - >= 1240 @ 299.923
300.09/301.06	c bounds - >= 1241 @ 299.923
300.09/301.06	c bounds - >= 1242 @ 299.924
300.09/301.06	c bounds - >= 1243 @ 299.925
300.09/301.06	c bounds - >= 1244 @ 299.925
300.09/301.06	c bounds - >= 1245 @ 299.925
300.09/301.06	c bounds - >= 1246 @ 299.926
300.09/301.06	c bounds - >= 1247 @ 299.926
300.09/301.06	c bounds - >= 1248 @ 299.927
300.09/301.06	c bounds - >= 1249 @ 299.927
300.09/301.06	c bounds - >= 1250 @ 299.927
300.09/301.06	c bounds - >= 1251 @ 299.928
300.09/301.06	c bounds - >= 1252 @ 299.928
300.09/301.06	c bounds - >= 1253 @ 299.929
300.09/301.06	c bounds - >= 1254 @ 299.929
300.09/301.06	c bounds - >= 1255 @ 299.93
300.09/301.06	c bounds - >= 1256 @ 299.931
300.09/301.06	c bounds - >= 1257 @ 299.931
300.09/301.06	c bounds - >= 1258 @ 299.931
300.09/301.06	c bounds - >= 1259 @ 299.931
300.09/301.06	c bounds - >= 1260 @ 299.931
300.09/301.06	c bounds - >= 1261 @ 299.932
300.09/301.06	c bounds - >= 1262 @ 299.933
300.09/301.06	c bounds - >= 1263 @ 299.933
300.09/301.06	c bounds - >= 1264 @ 299.934
300.09/301.06	c bounds - >= 1265 @ 299.934
300.09/301.06	c bounds - >= 1266 @ 299.935
300.09/301.06	c bounds - >= 1267 @ 299.936
300.09/301.06	c bounds - >= 1268 @ 299.936
300.09/301.06	c bounds - >= 1269 @ 299.936
300.09/301.06	c bounds - >= 1270 @ 299.936
300.09/301.06	c bounds - >= 1271 @ 299.937
300.09/301.06	c bounds - >= 1272 @ 299.938
300.09/301.06	c bounds - >= 1273 @ 299.938
300.09/301.06	c bounds - >= 1274 @ 299.938
300.09/301.06	c bounds - >= 1275 @ 299.938
300.09/301.06	c bounds - >= 1276 @ 299.939
300.09/301.06	c bounds - >= 1277 @ 299.94
300.09/301.06	c bounds - >= 1278 @ 299.94
300.09/301.06	c bounds - >= 1279 @ 299.94
300.09/301.06	c bounds - >= 1280 @ 299.94
300.09/301.06	c bounds - >= 1281 @ 299.941
300.09/301.06	c bounds - >= 1282 @ 299.942
300.09/301.06	c bounds - >= 1283 @ 299.942
300.09/301.06	c bounds - >= 1284 @ 299.942
300.09/301.06	c bounds - >= 1285 @ 299.942
300.09/301.06	c bounds - >= 1286 @ 299.943
300.09/301.06	c bounds - >= 1287 @ 299.944
300.09/301.06	c bounds - >= 1288 @ 299.944
300.09/301.06	c bounds - >= 1289 @ 299.945
300.09/301.06	c bounds - >= 1290 @ 299.945
300.09/301.06	c bounds - >= 1291 @ 299.946
300.09/301.06	c bounds - >= 1292 @ 299.947
300.09/301.06	c bounds - >= 1293 @ 299.947
300.09/301.06	c bounds - >= 1294 @ 299.948
300.09/301.06	c bounds - >= 1295 @ 299.948
300.09/301.06	c bounds - >= 1296 @ 299.949
300.09/301.06	c bounds - >= 1297 @ 299.95
300.09/301.06	c bounds - >= 1298 @ 299.95
300.09/301.06	c bounds - >= 1299 @ 299.951
300.09/301.06	c bounds - >= 1300 @ 299.951
300.09/301.06	c bounds - >= 1301 @ 299.951
300.09/301.06	c bounds - >= 1302 @ 299.951
300.09/301.06	c bounds - >= 1303 @ 299.952
300.09/301.06	c bounds - >= 1304 @ 299.953
300.09/301.06	c bounds - >= 1305 @ 299.953
300.09/301.06	c bounds - >= 1306 @ 299.953
300.09/301.06	c bounds - >= 1307 @ 299.953
300.09/301.06	c bounds - >= 1308 @ 299.954
300.09/301.06	c bounds - >= 1309 @ 299.955
300.09/301.06	c bounds - >= 1310 @ 299.955
300.09/301.06	c bounds - >= 1311 @ 299.955
300.09/301.06	c bounds - >= 1312 @ 299.955
300.09/301.06	c bounds - >= 1313 @ 299.956
300.09/301.06	c bounds - >= 1314 @ 299.957
300.09/301.06	c bounds - >= 1315 @ 299.957
300.20/301.14	c bounds - >= 1316 @ 299.957
300.20/301.14	c bounds - >= 1317 @ 299.957
300.20/301.14	c bounds - >= 1318 @ 299.958
300.20/301.14	c bounds - >= 1319 @ 299.959
300.20/301.14	c bounds - >= 1320 @ 299.959
300.20/301.14	c bounds - >= 1321 @ 299.959
300.20/301.14	c bounds - >= 1322 @ 299.959
300.20/301.14	c bounds - >= 1323 @ 299.96
300.20/301.14	c bounds - >= 1324 @ 299.961
300.20/301.14	c bounds - >= 1325 @ 299.961
300.20/301.14	c bounds - >= 1326 @ 299.961
300.20/301.14	c bounds - >= 1327 @ 299.961
300.20/301.14	c bounds - >= 1328 @ 299.962
300.20/301.14	c bounds - >= 1329 @ 299.963
300.20/301.14	c bounds - >= 1330 @ 299.963
300.20/301.14	c bounds - >= 1331 @ 299.964
300.20/301.14	c bounds - >= 1332 @ 299.964
300.20/301.14	c bounds - >= 1333 @ 299.965
300.20/301.14	c bounds - >= 1334 @ 299.966
300.20/301.14	c bounds - >= 1335 @ 299.966
300.20/301.14	c bounds - >= 1336 @ 299.967
300.20/301.14	c bounds - >= 1337 @ 299.967
300.20/301.14	c bounds - >= 1338 @ 299.968
300.20/301.14	c bounds - >= 1339 @ 299.969
300.20/301.14	c bounds - >= 1340 @ 299.969
300.20/301.14	c bounds - >= 1341 @ 299.97
300.20/301.14	c bounds - >= 1342 @ 299.971
300.20/301.14	c bounds - >= 1343 @ 299.971
300.20/301.14	c bounds - >= 1344 @ 299.972
300.20/301.14	c bounds - >= 1345 @ 299.972
300.20/301.14	c bounds - >= 1346 @ 299.973
300.20/301.14	c bounds - >= 1347 @ 299.974
300.20/301.14	c bounds - >= 1348 @ 299.974
300.20/301.14	c bounds - >= 1349 @ 299.974
300.20/301.14	c bounds - >= 1350 @ 299.974
300.20/301.14	c bounds - >= 1351 @ 299.975
300.20/301.14	c bounds - >= 1352 @ 299.976
300.20/301.14	c bounds - >= 1353 @ 299.976
300.20/301.14	c bounds - >= 1354 @ 299.977
300.20/301.14	c bounds - >= 1355 @ 299.977
300.20/301.14	c bounds - >= 1356 @ 299.978
300.20/301.14	c bounds - >= 1357 @ 299.979
300.20/301.14	c bounds - >= 1358 @ 299.979
300.20/301.14	c bounds - >= 1359 @ 299.979
300.20/301.14	c bounds - >= 1360 @ 299.979
300.20/301.14	c bounds - >= 1361 @ 299.98
300.20/301.14	c bounds - >= 1362 @ 299.981
300.20/301.14	c bounds - >= 1363 @ 299.981
300.20/301.14	c bounds - >= 1364 @ 299.981
300.20/301.14	c bounds - >= 1365 @ 299.981
300.20/301.14	c bounds - >= 1366 @ 299.982
300.20/301.14	c bounds - >= 1367 @ 299.982
300.20/301.14	c bounds - >= 1368 @ 299.983
300.20/301.14	c bounds - >= 1369 @ 299.983
300.20/301.14	c bounds - >= 1370 @ 299.983
300.20/301.14	c bounds - >= 1371 @ 299.984
300.20/301.14	c bounds - >= 1372 @ 299.984
300.20/301.14	c bounds - >= 1373 @ 299.985
300.20/301.14	c bounds - >= 1374 @ 299.986
300.20/301.14	c bounds - >= 1375 @ 299.986
300.20/301.14	c bounds - >= 1376 @ 299.986
300.20/301.14	c bounds - >= 1377 @ 299.986
300.20/301.14	c bounds - >= 1378 @ 299.987
300.20/301.14	c bounds - >= 1379 @ 299.988
300.20/301.14	c bounds - >= 1380 @ 299.988
300.20/301.14	c bounds - >= 1381 @ 299.988
300.20/301.14	c bounds - >= 1382 @ 299.988
300.20/301.14	c bounds - >= 1383 @ 299.989
300.20/301.14	c bounds - >= 1384 @ 299.99
300.20/301.14	c bounds - >= 1385 @ 299.99
300.20/301.14	c bounds - >= 1386 @ 299.99
300.20/301.14	c bounds - >= 1387 @ 299.99
300.20/301.14	c bounds - >= 1388 @ 299.991
300.20/301.14	c bounds - >= 1389 @ 299.991
300.20/301.14	c bounds - >= 1390 @ 299.992
300.20/301.14	c bounds - >= 1391 @ 299.993
300.20/301.14	c bounds - >= 1392 @ 299.993
300.20/301.14	c bounds - >= 1393 @ 299.994
300.20/301.14	c bounds - >= 1394 @ 299.994
300.20/301.14	c bounds - >= 1395 @ 299.995
300.20/301.14	c bounds - >= 1396 @ 299.996
300.20/301.14	c bounds - >= 1397 @ 299.996
300.20/301.14	c bounds - >= 1398 @ 299.996
300.20/301.14	c bounds - >= 1399 @ 299.996
300.20/301.14	c bounds - >= 1400 @ 299.997
300.20/301.14	c bounds - >= 1401 @ 299.998
300.20/301.14	c bounds - >= 1402 @ 299.998
300.20/301.14	c bounds - >= 1403 @ 299.998
300.20/301.14	c bounds - >= 1404 @ 299.998
300.20/301.14	c bounds - >= 1405 @ 299.999
300.20/301.14	c bounds - >= 1406 @ 299.999
300.20/301.14	c bounds - >= 1407 @ 300
300.20/301.14	c bounds - >= 1408 @ 300
300.20/301.14	c bounds - >= 1409 @ 300
300.20/301.14	c bounds - >= 1410 @ 300.001
300.20/301.14	c bounds - >= 1411 @ 300.001
300.20/301.14	c bounds - >= 1412 @ 300.002
300.20/301.14	c bounds - >= 1413 @ 300.003
300.20/301.14	c bounds - >= 1414 @ 300.003
300.20/301.14	c bounds - >= 1415 @ 300.003
300.20/301.14	c bounds - >= 1416 @ 300.003
300.20/301.14	c bounds - >= 1417 @ 300.004
300.20/301.14	c bounds - >= 1418 @ 300.005
300.20/301.14	c bounds - >= 1419 @ 300.005
300.20/301.14	c bounds - >= 1420 @ 300.005
300.20/301.14	c bounds - >= 1421 @ 300.005
300.20/301.15	c bounds - >= 1422 @ 300.005
300.20/301.15	c bounds - >= 1423 @ 300.006
300.20/301.15	c bounds - >= 1424 @ 300.006
300.20/301.15	c bounds - >= 1425 @ 300.007
300.20/301.15	c bounds - >= 1426 @ 300.008
300.20/301.15	c bounds - >= 1427 @ 300.008
300.20/301.15	c bounds - >= 1428 @ 300.009
300.20/301.15	c bounds - >= 1429 @ 300.009
300.20/301.15	c bounds - >= 1430 @ 300.01
300.20/301.15	c bounds - >= 1431 @ 300.011
300.20/301.15	c bounds - >= 1432 @ 300.011
300.20/301.15	c bounds - >= 1433 @ 300.012
300.20/301.15	c bounds - >= 1434 @ 300.012
300.20/301.15	c bounds - >= 1435 @ 300.013
300.20/301.15	c bounds - >= 1436 @ 300.013
300.20/301.15	c bounds - >= 1437 @ 300.014
300.20/301.15	c bounds - >= 1438 @ 300.014
300.20/301.15	c bounds - >= 1439 @ 300.014
300.20/301.15	c bounds - >= 1440 @ 300.015
300.20/301.15	c bounds - >= 1441 @ 300.015
300.20/301.15	c bounds - >= 1442 @ 300.016
300.20/301.15	c bounds - >= 1443 @ 300.017
300.20/301.15	c bounds - >= 1444 @ 300.017
300.20/301.15	c bounds - >= 1445 @ 300.017
300.20/301.15	c bounds - >= 1446 @ 300.017
300.20/301.15	c bounds - >= 1447 @ 300.018
300.20/301.15	c bounds - >= 1448 @ 300.018
300.20/301.15	c bounds - >= 1449 @ 300.019
300.20/301.15	c bounds - >= 1450 @ 300.02
300.20/301.15	c bounds - >= 1451 @ 300.02
300.20/301.15	c bounds - >= 1452 @ 300.021
300.20/301.15	c bounds - >= 1453 @ 300.021
300.20/301.15	c bounds - >= 1454 @ 300.022
300.20/301.15	c bounds - >= 1455 @ 300.023
300.20/301.15	c bounds - >= 1456 @ 300.023
300.20/301.15	c bounds - >= 1457 @ 300.023
333.88/334.93	c bounds - >= 1458 @ 300.023
333.88/334.93	c bounds - >= 1459 @ 300.024
333.88/334.93	c bounds - >= 1460 @ 300.025
333.88/334.93	c bounds - >= 1461 @ 300.025
333.88/334.93	c bounds - >= 1462 @ 300.025
333.88/334.93	c bounds - >= 1463 @ 300.025
333.88/334.93	c bounds - >= 1464 @ 300.026
333.88/334.93	c bounds - >= 1465 @ 300.026
333.88/334.93	c bounds - >= 1466 @ 300.027
333.88/334.93	c bounds - >= 1467 @ 300.027
333.88/334.93	c bounds - >= 1468 @ 300.027
333.88/334.93	c bounds - >= 1469 @ 300.028
333.88/334.93	c bounds - >= 1470 @ 300.028
333.88/334.93	c bounds - >= 1471 @ 300.029
333.88/334.93	c bounds - >= 1472 @ 300.03
333.88/334.93	c bounds - >= 1473 @ 300.03
333.88/334.93	c bounds - >= 1474 @ 300.03
333.88/334.93	c bounds - >= 1475 @ 300.03
333.88/334.93	c bounds - >= 1476 @ 300.031
333.88/334.93	c bounds - >= 1477 @ 300.031
333.88/334.93	c bounds - >= 1478 @ 300.032
333.88/334.93	c bounds - >= 1479 @ 300.033
333.88/334.93	c bounds - >= 1480 @ 300.033
333.88/334.93	c bounds - >= 1481 @ 300.034
333.88/334.93	c bounds - >= 1482 @ 300.034
333.88/334.93	c bounds - >= 1483 @ 300.035
333.88/334.93	c bounds - >= 1484 @ 300.035
333.88/334.93	c bounds - >= 1485 @ 300.036
333.88/334.93	c bounds - >= 1486 @ 300.036
333.88/334.93	c bounds - >= 1487 @ 300.036
333.88/334.93	c bounds - >= 1488 @ 300.037
333.88/334.93	c bounds - >= 1489 @ 300.037
333.88/334.93	c bounds - >= 1490 @ 300.038
333.88/334.93	c bounds - >= 1491 @ 300.039
333.88/334.93	c bounds - >= 1492 @ 300.039
333.88/334.93	c bounds - >= 1493 @ 300.04
333.88/334.93	c bounds - >= 1494 @ 300.04
333.88/334.93	c bounds - >= 1495 @ 300.041
333.88/334.93	c bounds - >= 1496 @ 300.041
333.88/334.93	c bounds - >= 1497 @ 300.042
333.88/334.93	c bounds - >= 1498 @ 300.043
333.88/334.93	c bounds - >= 1499 @ 300.043
333.88/334.93	c bounds - >= 1500 @ 300.044
333.88/334.93	c bounds - >= 1501 @ 300.045
333.88/334.93	c bounds - >= 1502 @ 300.045
333.88/334.93	c bounds - >= 1503 @ 300.046
333.88/334.93	c bounds - >= 1504 @ 300.046
333.88/334.93	c bounds - >= 1505 @ 300.047
333.88/334.93	c bounds - >= 1506 @ 300.047
333.88/334.93	c bounds - >= 1507 @ 300.047
333.88/334.93	c bounds - >= 1508 @ 300.048
333.88/334.93	c bounds - >= 1509 @ 300.048
333.88/334.93	c bounds - >= 1510 @ 300.049
333.88/334.93	c bounds - >= 1511 @ 300.05
333.88/334.93	c bounds - >= 1512 @ 300.05
333.88/334.93	c bounds - >= 1513 @ 300.051
333.88/334.93	c bounds - >= 1514 @ 300.051
333.88/334.93	c bounds - >= 1515 @ 300.052
333.88/334.93	c bounds - >= 1516 @ 300.052
333.88/334.93	c bounds - >= 1517 @ 300.053
333.88/334.93	c bounds - >= 1518 @ 300.053
333.88/334.93	c bounds - >= 1519 @ 300.053
333.88/334.93	c bounds - >= 1520 @ 300.054
333.88/334.93	c bounds - >= 1521 @ 300.054
333.88/334.93	c bounds - >= 1522 @ 300.055
333.88/334.93	c bounds - >= 1523 @ 300.055
333.88/334.93	c bounds - >= 1524 @ 300.056
333.88/334.93	c bounds - >= 1525 @ 300.056
333.88/334.93	c bounds - >= 1526 @ 300.056
333.88/334.93	c bounds - >= 1527 @ 300.057
333.88/334.93	c bounds - >= 1528 @ 300.057
333.88/334.93	c bounds - >= 1529 @ 300.058
333.88/334.93	c bounds - >= 1530 @ 300.058
333.88/334.93	c bounds - >= 1531 @ 300.058
333.88/334.93	c bounds - >= 1532 @ 300.058
333.88/334.93	c bounds - >= 1533 @ 300.058
333.88/334.93	c bounds - >= 1534 @ 300.059
333.88/334.93	c bounds - >= 1535 @ 300.059
333.88/334.93	c bounds - >= 1536 @ 300.06
333.88/334.93	c bounds - >= 1537 @ 300.06
333.88/334.93	c bounds - >= 1538 @ 300.06
333.88/334.93	c bounds - >= 1539 @ 300.061
333.88/334.93	c bounds - >= 1540 @ 300.061
333.88/334.93	c bounds - >= 1541 @ 300.062
333.88/334.93	c bounds - >= 1542 @ 300.062
333.88/334.93	c bounds - >= 1543 @ 300.063
333.88/334.93	c bounds - >= 1544 @ 300.063
333.88/334.93	c bounds - >= 1545 @ 300.063
333.88/334.93	c bounds - >= 1546 @ 300.064
333.88/334.93	c bounds - >= 1547 @ 300.064
333.88/334.93	c bounds - >= 1548 @ 300.065
333.88/334.93	c bounds - >= 1549 @ 300.065
333.88/334.93	c bounds - >= 1550 @ 300.065
333.88/334.93	c bounds - >= 1551 @ 300.065
333.88/334.93	c bounds - >= 1552 @ 300.065
333.88/334.93	c bounds - >= 1553 @ 300.066
333.88/334.93	c bounds - >= 1554 @ 300.066
333.88/334.93	c bounds - >= 1555 @ 300.067
333.88/334.93	c bounds - >= 1556 @ 300.067
333.88/334.93	c bounds - >= 1557 @ 300.067
333.88/334.93	c bounds - >= 1558 @ 300.068
333.88/334.93	c bounds - >= 1559 @ 300.068
333.88/334.93	c bounds - >= 1560 @ 300.069
333.88/334.93	c bounds - >= 1561 @ 300.069
333.88/334.93	c bounds - >= 1562 @ 300.07
333.88/334.93	c bounds - >= 1563 @ 300.07
333.88/334.93	c bounds - >= 1564 @ 300.07
333.88/334.93	c bounds - >= 1565 @ 300.071
333.88/334.93	c bounds - >= 1566 @ 300.071
333.88/334.93	c bounds - >= 1567 @ 300.072
333.88/334.93	c bounds - >= 1568 @ 300.072
333.88/334.93	c #Conflicts:       1000 | #Constraints:       9028
333.88/334.93	c #Conflicts:       2000 | #Constraints:      10028
333.88/334.93	c INPROCESSING
333.88/334.93	c GARBAGE COLLECT
333.88/334.93	c #Conflicts:       3000 | #Constraints:       8588
333.88/334.93	c #Conflicts:       4000 | #Constraints:       9588
333.88/334.93	c INPROCESSING
333.88/334.93	c GARBAGE COLLECT
333.88/334.93	c #Conflicts:       5000 | #Constraints:       9053
333.88/334.93	c #Conflicts:       6000 | #Constraints:      10053
333.88/334.93	c INPROCESSING
333.88/334.93	c GARBAGE COLLECT
333.88/334.93	c #Conflicts:       7000 | #Constraints:       9087
333.88/334.93	c #Conflicts:       8000 | #Constraints:      10087
333.88/334.93	c #Conflicts:       9000 | #Constraints:      11087
333.88/334.93	c INPROCESSING
333.88/334.93	c GARBAGE COLLECT
333.88/334.93	c #Conflicts:      10000 | #Constraints:       9732
333.88/334.93	c #Conflicts:      11000 | #Constraints:      10732
333.88/334.93	c #Conflicts:      12000 | #Constraints:      11732
333.88/334.93	c INPROCESSING
333.88/334.93	c GARBAGE COLLECT
333.88/334.93	c #Conflicts:      13000 | #Constraints:      10139
333.88/334.93	c #Conflicts:      14000 | #Constraints:      11139
607.91/609.77	c #Conflicts:      15000 | #Constraints:      12139
607.91/609.77	c INPROCESSING
607.91/609.77	c GARBAGE COLLECT
607.91/609.77	c #Conflicts:      16000 | #Constraints:      10372
607.91/609.77	c #Conflicts:      17000 | #Constraints:      11372
607.91/609.77	c #Conflicts:      18000 | #Constraints:      12372
607.91/609.77	c INPROCESSING
607.91/609.77	c GARBAGE COLLECT
607.91/609.77	c #Conflicts:      19000 | #Constraints:      10386
607.91/609.77	c #Conflicts:      20000 | #Constraints:      11386
607.91/609.77	c #Conflicts:      21000 | #Constraints:      12386
607.91/609.77	c INPROCESSING
607.91/609.77	c GARBAGE COLLECT
607.91/609.77	c #Conflicts:      22000 | #Constraints:      10178
607.91/609.77	c #Conflicts:      23000 | #Constraints:      11178
607.91/609.77	c #Conflicts:      24000 | #Constraints:      12178
607.91/609.77	c #Conflicts:      25000 | #Constraints:      13178
607.91/609.77	c INPROCESSING
607.91/609.77	c GARBAGE COLLECT
607.91/609.77	c #Conflicts:      26000 | #Constraints:      10779
607.91/609.77	c #Conflicts:      27000 | #Constraints:      11779
607.91/609.77	c #Conflicts:      28000 | #Constraints:      12779
607.91/609.77	c #Conflicts:      29000 | #Constraints:      13779
607.91/609.77	c INPROCESSING
607.91/609.77	c GARBAGE COLLECT
607.91/609.77	c #Conflicts:      30000 | #Constraints:      11199
607.91/609.77	c #Conflicts:      31000 | #Constraints:      12199
607.91/609.77	c #Conflicts:      32000 | #Constraints:      13199
607.91/609.77	c #Conflicts:      33000 | #Constraints:      14199
607.91/609.77	c INPROCESSING
607.91/609.77	c GARBAGE COLLECT
607.91/609.77	c #Conflicts:      34000 | #Constraints:      11420
607.91/609.77	c #Conflicts:      35000 | #Constraints:      12420
607.91/609.77	c #Conflicts:      36000 | #Constraints:      13420
607.91/609.77	c #Conflicts:      37000 | #Constraints:      14420
607.91/609.77	c INPROCESSING
607.91/609.77	c GARBAGE COLLECT
607.91/609.77	c #Conflicts:      38000 | #Constraints:      11411
607.91/609.77	c #Conflicts:      39000 | #Constraints:      12411
607.91/609.77	c #Conflicts:      40000 | #Constraints:      13411
607.91/609.77	c #Conflicts:      41000 | #Constraints:      14411
607.91/609.77	c INPROCESSING
607.91/609.77	c GARBAGE COLLECT
607.91/609.77	c #Conflicts:      42000 | #Constraints:      11210
607.91/609.77	c #Conflicts:      43000 | #Constraints:      12210
607.91/609.77	c #Conflicts:      44000 | #Constraints:      13210
607.91/609.77	c #Conflicts:      45000 | #Constraints:      14210
607.91/609.77	c #Conflicts:      46000 | #Constraints:      15210
607.91/609.77	c INPROCESSING
607.91/609.77	c GARBAGE COLLECT
607.91/609.77	c #Conflicts:      47000 | #Constraints:      11821
607.91/609.77	c #Conflicts:      48000 | #Constraints:      12821
607.91/609.77	c #Conflicts:      49000 | #Constraints:      13821
607.91/609.77	c #Conflicts:      50000 | #Constraints:      14821
607.91/609.77	c #Conflicts:      51000 | #Constraints:      15821
607.91/609.77	c INPROCESSING
607.91/609.77	c GARBAGE COLLECT
607.91/609.77	c #Conflicts:      52000 | #Constraints:      12211
607.91/609.77	c #Conflicts:      53000 | #Constraints:      13211
607.91/609.77	c #Conflicts:      54000 | #Constraints:      14211
607.91/609.77	c #Conflicts:      55000 | #Constraints:      15211
607.91/609.77	c #Conflicts:      56000 | #Constraints:      16211
607.91/609.77	c INPROCESSING
607.91/609.77	c GARBAGE COLLECT
607.91/609.77	c #Conflicts:      57000 | #Constraints:      12410
607.91/609.77	c #Conflicts:      58000 | #Constraints:      13410
607.91/609.77	c #Conflicts:      59000 | #Constraints:      14410
607.91/609.77	c #Conflicts:      60000 | #Constraints:      15410
607.91/609.77	c #Conflicts:      61000 | #Constraints:      16410
607.91/609.77	c INPROCESSING
607.91/609.77	c GARBAGE COLLECT
607.91/609.77	c #Conflicts:      62000 | #Constraints:      12416
607.91/609.77	c #Conflicts:      63000 | #Constraints:      13416
607.91/609.77	c #Conflicts:      64000 | #Constraints:      14416
607.91/609.77	c #Conflicts:      65000 | #Constraints:      15416
607.91/609.77	c #Conflicts:      66000 | #Constraints:      16416
607.91/609.77	c INPROCESSING
607.91/609.77	c GARBAGE COLLECT
607.91/609.77	c #Conflicts:      67000 | #Constraints:      12204
607.91/609.77	c #Conflicts:      68000 | #Constraints:      13204
607.91/609.77	c #Conflicts:      69000 | #Constraints:      14204
607.91/609.77	c #Conflicts:      70000 | #Constraints:      15204
607.91/609.77	c #Conflicts:      71000 | #Constraints:      16204
607.91/609.77	c #Conflicts:      72000 | #Constraints:      17204
607.91/609.77	c INPROCESSING
607.91/609.77	c GARBAGE COLLECT
607.91/609.77	c #Conflicts:      73000 | #Constraints:      12802
607.91/609.77	c #Conflicts:      74000 | #Constraints:      13802
607.91/609.77	c #Conflicts:      75000 | #Constraints:      14802
607.91/609.77	c #Conflicts:      76000 | #Constraints:      15802
607.91/609.77	c #Conflicts:      77000 | #Constraints:      16802
607.91/609.77	c #Conflicts:      78000 | #Constraints:      17802
607.91/609.77	c INPROCESSING
607.91/609.77	c GARBAGE COLLECT
607.91/609.77	c #Conflicts:      79000 | #Constraints:      13202
607.91/609.77	c #Conflicts:      80000 | #Constraints:      14202
607.91/609.77	c #Conflicts:      81000 | #Constraints:      15202
607.91/609.77	c #Conflicts:      82000 | #Constraints:      16202
607.91/609.77	c #Conflicts:      83000 | #Constraints:      17202
974.47/977.37	c #Conflicts:      84000 | #Constraints:      18202
974.47/977.37	c INPROCESSING
974.47/977.37	c GARBAGE COLLECT
974.47/977.37	c #Conflicts:      85000 | #Constraints:      13400
974.47/977.37	c #Conflicts:      86000 | #Constraints:      14400
974.47/977.37	c #Conflicts:      87000 | #Constraints:      15400
974.47/977.37	c #Conflicts:      88000 | #Constraints:      16400
974.47/977.37	c #Conflicts:      89000 | #Constraints:      17400
974.47/977.37	c #Conflicts:      90000 | #Constraints:      18400
974.47/977.37	c INPROCESSING
974.47/977.37	c GARBAGE COLLECT
974.47/977.37	c #Conflicts:      91000 | #Constraints:      13396
974.47/977.37	c #Conflicts:      92000 | #Constraints:      14396
974.47/977.37	c #Conflicts:      93000 | #Constraints:      15396
974.47/977.37	c #Conflicts:      94000 | #Constraints:      16396
974.47/977.37	c #Conflicts:      95000 | #Constraints:      17396
974.47/977.37	c #Conflicts:      96000 | #Constraints:      18396
974.47/977.37	c INPROCESSING
974.47/977.37	c GARBAGE COLLECT
974.47/977.37	c #Conflicts:      97000 | #Constraints:      13207
974.47/977.37	c #Conflicts:      98000 | #Constraints:      14207
974.47/977.37	c #Conflicts:      99000 | #Constraints:      15207
974.47/977.37	c #Conflicts:     100000 | #Constraints:      16207
974.47/977.37	c #Conflicts:     101000 | #Constraints:      17207
974.47/977.37	c #Conflicts:     102000 | #Constraints:      18207
974.47/977.37	c #Conflicts:     103000 | #Constraints:      19207
974.47/977.37	c INPROCESSING
974.47/977.37	c GARBAGE COLLECT
974.47/977.37	c #Conflicts:     104000 | #Constraints:      13805
974.47/977.37	c #Conflicts:     105000 | #Constraints:      14805
974.47/977.37	c #Conflicts:     106000 | #Constraints:      15805
974.47/977.37	c #Conflicts:     107000 | #Constraints:      16805
974.47/977.37	c #Conflicts:     108000 | #Constraints:      17805
974.47/977.37	c #Conflicts:     109000 | #Constraints:      18805
974.47/977.37	c #Conflicts:     110000 | #Constraints:      19805
974.47/977.37	c INPROCESSING
974.47/977.37	c GARBAGE COLLECT
974.47/977.37	c #Conflicts:     111000 | #Constraints:      14217
974.47/977.37	c #Conflicts:     112000 | #Constraints:      15217
974.47/977.37	c #Conflicts:     113000 | #Constraints:      16217
974.47/977.37	c #Conflicts:     114000 | #Constraints:      17217
974.47/977.37	c #Conflicts:     115000 | #Constraints:      18217
974.47/977.37	c #Conflicts:     116000 | #Constraints:      19217
974.47/977.37	c #Conflicts:     117000 | #Constraints:      20217
974.47/977.37	c INPROCESSING
974.47/977.37	c GARBAGE COLLECT
974.47/977.37	c #Conflicts:     118000 | #Constraints:      14414
974.47/977.37	c #Conflicts:     119000 | #Constraints:      15414
974.47/977.37	c #Conflicts:     120000 | #Constraints:      16414
974.47/977.37	c #Conflicts:     121000 | #Constraints:      17414
974.47/977.37	c #Conflicts:     122000 | #Constraints:      18414
974.47/977.37	c #Conflicts:     123000 | #Constraints:      19414
974.47/977.37	c #Conflicts:     124000 | #Constraints:      20414
974.47/977.37	c INPROCESSING
974.47/977.37	c GARBAGE COLLECT
974.47/977.37	c #Conflicts:     125000 | #Constraints:      14427
974.47/977.37	c #Conflicts:     126000 | #Constraints:      15427
974.47/977.37	c #Conflicts:     127000 | #Constraints:      16427
974.47/977.37	c #Conflicts:     128000 | #Constraints:      17427
974.47/977.37	c #Conflicts:     129000 | #Constraints:      18427
974.47/977.37	c #Conflicts:     130000 | #Constraints:      19427
974.47/977.37	c #Conflicts:     131000 | #Constraints:      20427
974.47/977.37	c INPROCESSING
974.47/977.37	c GARBAGE COLLECT
974.47/977.37	c #Conflicts:     132000 | #Constraints:      14218
974.47/977.37	c #Conflicts:     133000 | #Constraints:      15218
974.47/977.37	c #Conflicts:     134000 | #Constraints:      16218
974.47/977.37	c #Conflicts:     135000 | #Constraints:      17218
974.47/977.37	c #Conflicts:     136000 | #Constraints:      18218
974.47/977.37	c #Conflicts:     137000 | #Constraints:      19218
974.47/977.37	c #Conflicts:     138000 | #Constraints:      20218
974.47/977.37	c #Conflicts:     139000 | #Constraints:      21218
974.47/977.37	c INPROCESSING
974.47/977.37	c GARBAGE COLLECT
974.47/977.37	c #Conflicts:     140000 | #Constraints:      14813
974.47/977.37	c #Conflicts:     141000 | #Constraints:      15813
974.47/977.37	c #Conflicts:     142000 | #Constraints:      16813
974.47/977.37	c #Conflicts:     143000 | #Constraints:      17813
974.47/977.37	c #Conflicts:     144000 | #Constraints:      18813
974.47/977.37	c #Conflicts:     145000 | #Constraints:      19813
974.47/977.37	c #Conflicts:     146000 | #Constraints:      20813
974.47/977.37	c #Conflicts:     147000 | #Constraints:      21813
974.47/977.37	c INPROCESSING
974.47/977.37	c GARBAGE COLLECT
974.47/977.37	c #Conflicts:     148000 | #Constraints:      15212
974.47/977.37	c #Conflicts:     149000 | #Constraints:      16212
974.47/977.37	c #Conflicts:     150000 | #Constraints:      17212
974.47/977.37	c #Conflicts:     151000 | #Constraints:      18212
974.47/977.37	c #Conflicts:     152000 | #Constraints:      19212
974.47/977.37	c #Conflicts:     153000 | #Constraints:      20212
974.47/977.37	c #Conflicts:     154000 | #Constraints:      21212
974.47/977.37	c #Conflicts:     155000 | #Constraints:      22212
974.47/977.37	c INPROCESSING
974.47/977.37	c GARBAGE COLLECT
1363.74/1367.75	c #Conflicts:     156000 | #Constraints:      15430
1363.74/1367.75	c #Conflicts:     157000 | #Constraints:      16430
1363.74/1367.75	c #Conflicts:     158000 | #Constraints:      17430
1363.74/1367.75	c #Conflicts:     159000 | #Constraints:      18430
1363.74/1367.75	c #Conflicts:     160000 | #Constraints:      19430
1363.74/1367.75	c #Conflicts:     161000 | #Constraints:      20430
1363.74/1367.75	c #Conflicts:     162000 | #Constraints:      21430
1363.74/1367.75	c #Conflicts:     163000 | #Constraints:      22430
1363.74/1367.75	c INPROCESSING
1363.74/1367.75	c GARBAGE COLLECT
1363.74/1367.75	c #Conflicts:     164000 | #Constraints:      15419
1363.74/1367.75	c #Conflicts:     165000 | #Constraints:      16419
1363.74/1367.75	c #Conflicts:     166000 | #Constraints:      17419
1363.74/1367.75	c #Conflicts:     167000 | #Constraints:      18419
1363.74/1367.75	c #Conflicts:     168000 | #Constraints:      19419
1363.74/1367.75	c #Conflicts:     169000 | #Constraints:      20419
1363.74/1367.75	c #Conflicts:     170000 | #Constraints:      21419
1363.74/1367.75	c #Conflicts:     171000 | #Constraints:      22419
1363.74/1367.75	c INPROCESSING
1363.74/1367.75	c GARBAGE COLLECT
1363.74/1367.75	c #Conflicts:     172000 | #Constraints:      15217
1363.74/1367.75	c #Conflicts:     173000 | #Constraints:      16217
1363.74/1367.75	c #Conflicts:     174000 | #Constraints:      17217
1363.74/1367.75	c #Conflicts:     175000 | #Constraints:      18217
1363.74/1367.75	c #Conflicts:     176000 | #Constraints:      19217
1363.74/1367.75	c #Conflicts:     177000 | #Constraints:      20217
1363.74/1367.75	c #Conflicts:     178000 | #Constraints:      21217
1363.74/1367.75	c #Conflicts:     179000 | #Constraints:      22217
1363.74/1367.75	c #Conflicts:     180000 | #Constraints:      23217
1363.74/1367.75	c INPROCESSING
1363.74/1367.75	c GARBAGE COLLECT
1363.74/1367.75	c #Conflicts:     181000 | #Constraints:      15832
1363.74/1367.75	c #Conflicts:     182000 | #Constraints:      16832
1363.74/1367.75	c #Conflicts:     183000 | #Constraints:      17832
1363.74/1367.75	c #Conflicts:     184000 | #Constraints:      18832
1363.74/1367.75	c #Conflicts:     185000 | #Constraints:      19832
1363.74/1367.75	c #Conflicts:     186000 | #Constraints:      20832
1363.74/1367.75	c #Conflicts:     187000 | #Constraints:      21832
1363.74/1367.75	c #Conflicts:     188000 | #Constraints:      22832
1363.74/1367.75	c #Conflicts:     189000 | #Constraints:      23832
1363.74/1367.75	c INPROCESSING
1363.74/1367.75	c GARBAGE COLLECT
1363.74/1367.75	c #Conflicts:     190000 | #Constraints:      16249
1363.74/1367.75	c #Conflicts:     191000 | #Constraints:      17249
1363.74/1367.75	c #Conflicts:     192000 | #Constraints:      18249
1363.74/1367.75	c #Conflicts:     193000 | #Constraints:      19249
1363.74/1367.75	c #Conflicts:     194000 | #Constraints:      20249
1363.74/1367.75	c #Conflicts:     195000 | #Constraints:      21249
1363.74/1367.75	c #Conflicts:     196000 | #Constraints:      22249
1363.74/1367.75	c #Conflicts:     197000 | #Constraints:      23249
1363.74/1367.75	c #Conflicts:     198000 | #Constraints:      24249
1363.74/1367.75	c INPROCESSING
1363.74/1367.75	c GARBAGE COLLECT
1363.74/1367.75	c #Conflicts:     199000 | #Constraints:      16455
1363.74/1367.75	c #Conflicts:     200000 | #Constraints:      17455
1363.74/1367.75	c #Conflicts:     201000 | #Constraints:      18455
1363.74/1367.75	c #Conflicts:     202000 | #Constraints:      19455
1363.74/1367.75	c #Conflicts:     203000 | #Constraints:      20455
1363.74/1367.75	c #Conflicts:     204000 | #Constraints:      21455
1363.74/1367.75	c #Conflicts:     205000 | #Constraints:      22455
1363.74/1367.75	c #Conflicts:     206000 | #Constraints:      23455
1363.74/1367.75	c #Conflicts:     207000 | #Constraints:      24455
1363.74/1367.75	c INPROCESSING
1363.74/1367.75	c GARBAGE COLLECT
1363.74/1367.75	c #Conflicts:     208000 | #Constraints:      16459
1363.74/1367.75	c #Conflicts:     209000 | #Constraints:      17459
1363.74/1367.75	c #Conflicts:     210000 | #Constraints:      18459
1363.74/1367.75	c #Conflicts:     211000 | #Constraints:      19459
1363.74/1367.75	c #Conflicts:     212000 | #Constraints:      20459
1363.74/1367.75	c #Conflicts:     213000 | #Constraints:      21459
1363.74/1367.75	c #Conflicts:     214000 | #Constraints:      22459
1363.74/1367.75	c #Conflicts:     215000 | #Constraints:      23459
1363.74/1367.75	c #Conflicts:     216000 | #Constraints:      24459
1363.74/1367.75	c INPROCESSING
1363.74/1367.75	c GARBAGE COLLECT
1363.74/1367.75	c #Conflicts:     217000 | #Constraints:      16262
1363.74/1367.75	c #Conflicts:     218000 | #Constraints:      17262
1363.74/1367.75	c #Conflicts:     219000 | #Constraints:      18262
1363.74/1367.75	c #Conflicts:     220000 | #Constraints:      19262
1363.74/1367.75	c #Conflicts:     221000 | #Constraints:      20262
1363.74/1367.75	c #Conflicts:     222000 | #Constraints:      21262
1363.74/1367.75	c #Conflicts:     223000 | #Constraints:      22262
1363.74/1367.75	c #Conflicts:     224000 | #Constraints:      23262
1363.74/1367.75	c #Conflicts:     225000 | #Constraints:      24262
1363.74/1367.75	c #Conflicts:     226000 | #Constraints:      25262
1363.74/1367.75	c INPROCESSING
1363.74/1367.75	c GARBAGE COLLECT
1363.74/1367.75	c #Conflicts:     227000 | #Constraints:      16857
1363.74/1367.75	c #Conflicts:     228000 | #Constraints:      17857
1363.74/1367.75	c #Conflicts:     229000 | #Constraints:      18857
1992.42/1998.31	c #Conflicts:     230000 | #Constraints:      19857
1992.42/1998.31	c #Conflicts:     231000 | #Constraints:      20857
1992.42/1998.31	c #Conflicts:     232000 | #Constraints:      21857
1992.42/1998.31	c #Conflicts:     233000 | #Constraints:      22857
1992.42/1998.31	c #Conflicts:     234000 | #Constraints:      23857
1992.42/1998.31	c #Conflicts:     235000 | #Constraints:      24857
1992.42/1998.31	c #Conflicts:     236000 | #Constraints:      25857
1992.42/1998.31	c INPROCESSING
1992.42/1998.31	c GARBAGE COLLECT
1992.42/1998.31	c #Conflicts:     237000 | #Constraints:      17240
1992.42/1998.31	c #Conflicts:     238000 | #Constraints:      18240
1992.42/1998.31	c #Conflicts:     239000 | #Constraints:      19240
1992.42/1998.31	c #Conflicts:     240000 | #Constraints:      20240
1992.42/1998.31	c #Conflicts:     241000 | #Constraints:      21240
1992.42/1998.31	c #Conflicts:     242000 | #Constraints:      22240
1992.42/1998.31	c #Conflicts:     243000 | #Constraints:      23240
1992.42/1998.31	c #Conflicts:     244000 | #Constraints:      24240
1992.42/1998.31	c #Conflicts:     245000 | #Constraints:      25240
1992.42/1998.31	c #Conflicts:     246000 | #Constraints:      26240
1992.42/1998.31	c INPROCESSING
1992.42/1998.31	c GARBAGE COLLECT
1992.42/1998.31	c #Conflicts:     247000 | #Constraints:      17441
1992.42/1998.31	c #Conflicts:     248000 | #Constraints:      18441
1992.42/1998.31	c #Conflicts:     249000 | #Constraints:      19441
1992.42/1998.31	c #Conflicts:     250000 | #Constraints:      20441
1992.42/1998.31	c #Conflicts:     251000 | #Constraints:      21441
1992.42/1998.31	c #Conflicts:     252000 | #Constraints:      22441
1992.42/1998.31	c #Conflicts:     253000 | #Constraints:      23441
1992.42/1998.31	c #Conflicts:     254000 | #Constraints:      24441
1992.42/1998.31	c #Conflicts:     255000 | #Constraints:      25441
1992.42/1998.31	c #Conflicts:     256000 | #Constraints:      26441
1992.42/1998.31	c INPROCESSING
1992.42/1998.31	c GARBAGE COLLECT
1992.42/1998.31	c #Conflicts:     257000 | #Constraints:      17436
1992.42/1998.31	c #Conflicts:     258000 | #Constraints:      18436
1992.42/1998.31	c #Conflicts:     259000 | #Constraints:      19436
1992.42/1998.31	c #Conflicts:     260000 | #Constraints:      20436
1992.42/1998.31	c #Conflicts:     261000 | #Constraints:      21436
1992.42/1998.31	c #Conflicts:     262000 | #Constraints:      22436
1992.42/1998.31	c #Conflicts:     263000 | #Constraints:      23436
1992.42/1998.31	c #Conflicts:     264000 | #Constraints:      24436
1992.42/1998.31	c #Conflicts:     265000 | #Constraints:      25436
1992.42/1998.31	c #Conflicts:     266000 | #Constraints:      26436
1992.42/1998.31	c INPROCESSING
1992.42/1998.31	c GARBAGE COLLECT
1992.42/1998.31	c #Conflicts:     267000 | #Constraints:      17231
1992.42/1998.31	c #Conflicts:     268000 | #Constraints:      18231
1992.42/1998.31	c #Conflicts:     269000 | #Constraints:      19231
1992.42/1998.31	c #Conflicts:     270000 | #Constraints:      20231
1992.42/1998.31	c #Conflicts:     271000 | #Constraints:      21231
1992.42/1998.31	c #Conflicts:     272000 | #Constraints:      22231
1992.42/1998.31	c #Conflicts:     273000 | #Constraints:      23231
1992.42/1998.31	c #Conflicts:     274000 | #Constraints:      24231
1992.42/1998.31	c #Conflicts:     275000 | #Constraints:      25231
1992.42/1998.31	c #Conflicts:     276000 | #Constraints:      26231
1992.42/1998.31	c #Conflicts:     277000 | #Constraints:      27231
1992.42/1998.31	c INPROCESSING
1992.42/1998.31	c GARBAGE COLLECT
1992.42/1998.31	c #Conflicts:     278000 | #Constraints:      17826
1992.42/1998.31	c #Conflicts:     279000 | #Constraints:      18826
1992.42/1998.31	c #Conflicts:     280000 | #Constraints:      19826
1992.42/1998.31	c #Conflicts:     281000 | #Constraints:      20826
1992.42/1998.31	c #Conflicts:     282000 | #Constraints:      21826
1992.42/1998.31	c #Conflicts:     283000 | #Constraints:      22826
1992.42/1998.31	c #Conflicts:     284000 | #Constraints:      23826
1992.42/1998.31	c #Conflicts:     285000 | #Constraints:      24826
1992.42/1998.31	c #Conflicts:     286000 | #Constraints:      25826
1992.42/1998.31	c #Conflicts:     287000 | #Constraints:      26826
1992.42/1998.31	c #Conflicts:     288000 | #Constraints:      27826
1992.42/1998.31	c INPROCESSING
1992.42/1998.31	c GARBAGE COLLECT
1992.42/1998.31	c #Conflicts:     289000 | #Constraints:      18222
1992.42/1998.31	c #Conflicts:     290000 | #Constraints:      19222
1992.42/1998.31	c #Conflicts:     291000 | #Constraints:      20222
1992.42/1998.31	c #Conflicts:     292000 | #Constraints:      21222
1992.42/1998.31	c #Conflicts:     293000 | #Constraints:      22222
1992.42/1998.31	c #Conflicts:     294000 | #Constraints:      23222
1992.42/1998.31	c #Conflicts:     295000 | #Constraints:      24222
1992.42/1998.31	c #Conflicts:     296000 | #Constraints:      25222
1992.42/1998.31	c #Conflicts:     297000 | #Constraints:      26222
1992.42/1998.31	c #Conflicts:     298000 | #Constraints:      27222
1992.42/1998.31	c #Conflicts:     299000 | #Constraints:      28222
1992.42/1998.31	c INPROCESSING
1992.42/1998.31	c GARBAGE COLLECT
1992.42/1998.31	c #Conflicts:     300000 | #Constraints:      18448
1992.42/1998.31	c #Conflicts:     301000 | #Constraints:      19448
1992.42/1998.31	c #Conflicts:     302000 | #Constraints:      20448
1992.42/1998.31	c #Conflicts:     303000 | #Constraints:      21448
2650.54/2658.67	c #Conflicts:     304000 | #Constraints:      22448
2650.54/2658.67	c #Conflicts:     305000 | #Constraints:      23448
2650.54/2658.67	c #Conflicts:     306000 | #Constraints:      24448
2650.54/2658.67	c #Conflicts:     307000 | #Constraints:      25448
2650.54/2658.67	c #Conflicts:     308000 | #Constraints:      26448
2650.54/2658.67	c #Conflicts:     309000 | #Constraints:      27448
2650.54/2658.67	c #Conflicts:     310000 | #Constraints:      28448
2650.54/2658.67	c INPROCESSING
2650.54/2658.67	c GARBAGE COLLECT
2650.54/2658.67	c #Conflicts:     311000 | #Constraints:      18456
2650.54/2658.67	c #Conflicts:     312000 | #Constraints:      19456
2650.54/2658.67	c #Conflicts:     313000 | #Constraints:      20456
2650.54/2658.67	c #Conflicts:     314000 | #Constraints:      21456
2650.54/2658.67	c #Conflicts:     315000 | #Constraints:      22456
2650.54/2658.67	c #Conflicts:     316000 | #Constraints:      23456
2650.54/2658.67	c #Conflicts:     317000 | #Constraints:      24456
2650.54/2658.67	c #Conflicts:     318000 | #Constraints:      25456
2650.54/2658.67	c #Conflicts:     319000 | #Constraints:      26456
2650.54/2658.67	c #Conflicts:     320000 | #Constraints:      27456
2650.54/2658.67	c #Conflicts:     321000 | #Constraints:      28456
2650.54/2658.67	c INPROCESSING
2650.54/2658.67	c GARBAGE COLLECT
2650.54/2658.67	c #Conflicts:     322000 | #Constraints:      18263
2650.54/2658.67	c #Conflicts:     323000 | #Constraints:      19263
2650.54/2658.67	c #Conflicts:     324000 | #Constraints:      20263
2650.54/2658.67	c #Conflicts:     325000 | #Constraints:      21263
2650.54/2658.67	c #Conflicts:     326000 | #Constraints:      22263
2650.54/2658.67	c #Conflicts:     327000 | #Constraints:      23263
2650.54/2658.67	c #Conflicts:     328000 | #Constraints:      24263
2650.54/2658.67	c #Conflicts:     329000 | #Constraints:      25263
2650.54/2658.67	c #Conflicts:     330000 | #Constraints:      26263
2650.54/2658.67	c #Conflicts:     331000 | #Constraints:      27263
2650.54/2658.67	c #Conflicts:     332000 | #Constraints:      28263
2650.54/2658.67	c #Conflicts:     333000 | #Constraints:      29263
2650.54/2658.67	c INPROCESSING
2650.54/2658.67	c GARBAGE COLLECT
2650.54/2658.67	c #Conflicts:     334000 | #Constraints:      18867
2650.54/2658.67	c #Conflicts:     335000 | #Constraints:      19867
2650.54/2658.67	c #Conflicts:     336000 | #Constraints:      20867
2650.54/2658.67	c #Conflicts:     337000 | #Constraints:      21867
2650.54/2658.67	c #Conflicts:     338000 | #Constraints:      22867
2650.54/2658.67	c #Conflicts:     339000 | #Constraints:      23867
2650.54/2658.67	c #Conflicts:     340000 | #Constraints:      24867
2650.54/2658.67	c #Conflicts:     341000 | #Constraints:      25867
2650.54/2658.67	c #Conflicts:     342000 | #Constraints:      26867
2650.54/2658.67	c #Conflicts:     343000 | #Constraints:      27867
2650.54/2658.67	c #Conflicts:     344000 | #Constraints:      28867
2650.54/2658.67	c #Conflicts:     345000 | #Constraints:      29867
2650.54/2658.67	c INPROCESSING
2650.54/2658.67	c GARBAGE COLLECT
2650.54/2658.67	c #Conflicts:     346000 | #Constraints:      19255
2650.54/2658.67	c #Conflicts:     347000 | #Constraints:      20255
2650.54/2658.67	c #Conflicts:     348000 | #Constraints:      21255
2650.54/2658.67	c #Conflicts:     349000 | #Constraints:      22255
2650.54/2658.67	c #Conflicts:     350000 | #Constraints:      23255
2650.54/2658.67	c #Conflicts:     351000 | #Constraints:      24255
2650.54/2658.67	c #Conflicts:     352000 | #Constraints:      25255
2650.54/2658.67	c #Conflicts:     353000 | #Constraints:      26255
2650.54/2658.67	c #Conflicts:     354000 | #Constraints:      27255
2650.54/2658.67	c #Conflicts:     355000 | #Constraints:      28255
2650.54/2658.67	c #Conflicts:     356000 | #Constraints:      29255
2650.54/2658.67	c #Conflicts:     357000 | #Constraints:      30255
2650.54/2658.67	c INPROCESSING
2650.54/2658.67	c GARBAGE COLLECT
2650.54/2658.67	c #Conflicts:     358000 | #Constraints:      19453
2650.54/2658.67	c #Conflicts:     359000 | #Constraints:      20453
2650.54/2658.67	c #Conflicts:     360000 | #Constraints:      21453
2650.54/2658.67	c #Conflicts:     361000 | #Constraints:      22453
2650.54/2658.67	c #Conflicts:     362000 | #Constraints:      23453
2650.54/2658.67	c #Conflicts:     363000 | #Constraints:      24453
2650.54/2658.67	c #Conflicts:     364000 | #Constraints:      25453
2650.54/2658.67	c #Conflicts:     365000 | #Constraints:      26453
2650.54/2658.67	c #Conflicts:     366000 | #Constraints:      27453
2650.54/2658.67	c #Conflicts:     367000 | #Constraints:      28453
2650.54/2658.67	c #Conflicts:     368000 | #Constraints:      29453
2650.54/2658.67	c #Conflicts:     369000 | #Constraints:      30453
2650.54/2658.67	c INPROCESSING
2650.54/2658.67	c GARBAGE COLLECT
2650.54/2658.67	c #Conflicts:     370000 | #Constraints:      19449
2650.54/2658.67	c #Conflicts:     371000 | #Constraints:      20449
2650.54/2658.67	c #Conflicts:     372000 | #Constraints:      21449
2650.54/2658.67	c #Conflicts:     373000 | #Constraints:      22449
2650.54/2658.67	c #Conflicts:     374000 | #Constraints:      23449
2650.54/2658.67	c #Conflicts:     375000 | #Constraints:      24449
2650.54/2658.67	c #Conflicts:     376000 | #Constraints:      25449
2650.54/2658.67	c #Conflicts:     377000 | #Constraints:      26449
2650.54/2658.67	c #Conflicts:     378000 | #Constraints:      27449
3272.07/3282.13	c #Conflicts:     379000 | #Constraints:      28449
3272.07/3282.13	c #Conflicts:     380000 | #Constraints:      29449
3272.07/3282.13	c #Conflicts:     381000 | #Constraints:      30449
3272.07/3282.13	c INPROCESSING
3272.07/3282.13	c GARBAGE COLLECT
3272.07/3282.13	c #Conflicts:     382000 | #Constraints:      19250
3272.07/3282.13	c #Conflicts:     383000 | #Constraints:      20250
3272.07/3282.13	c #Conflicts:     384000 | #Constraints:      21250
3272.07/3282.13	c #Conflicts:     385000 | #Constraints:      22250
3272.07/3282.13	c #Conflicts:     386000 | #Constraints:      23250
3272.07/3282.13	c #Conflicts:     387000 | #Constraints:      24250
3272.07/3282.13	c #Conflicts:     388000 | #Constraints:      25250
3272.07/3282.13	c #Conflicts:     389000 | #Constraints:      26250
3272.07/3282.13	c #Conflicts:     390000 | #Constraints:      27250
3272.07/3282.13	c #Conflicts:     391000 | #Constraints:      28250
3272.07/3282.13	c #Conflicts:     392000 | #Constraints:      29250
3272.07/3282.13	c #Conflicts:     393000 | #Constraints:      30250
3272.07/3282.13	c #Conflicts:     394000 | #Constraints:      31250
3272.07/3282.13	c INPROCESSING
3272.07/3282.13	c GARBAGE COLLECT
3272.07/3282.13	c #Conflicts:     395000 | #Constraints:      19856
3272.07/3282.13	c #Conflicts:     396000 | #Constraints:      20856
3272.07/3282.13	c #Conflicts:     397000 | #Constraints:      21856
3272.07/3282.13	c #Conflicts:     398000 | #Constraints:      22856
3272.07/3282.13	c #Conflicts:     399000 | #Constraints:      23856
3272.07/3282.13	c #Conflicts:     400000 | #Constraints:      24856
3272.07/3282.13	c #Conflicts:     401000 | #Constraints:      25856
3272.07/3282.13	c #Conflicts:     402000 | #Constraints:      26856
3272.07/3282.13	c #Conflicts:     403000 | #Constraints:      27856
3272.07/3282.13	c #Conflicts:     404000 | #Constraints:      28856
3272.07/3282.13	c #Conflicts:     405000 | #Constraints:      29856
3272.07/3282.13	c #Conflicts:     406000 | #Constraints:      30856
3272.07/3282.13	c #Conflicts:     407000 | #Constraints:      31856
3272.07/3282.13	c INPROCESSING
3272.07/3282.13	c GARBAGE COLLECT
3272.07/3282.13	c #Conflicts:     408000 | #Constraints:      20250
3272.07/3282.13	c #Conflicts:     409000 | #Constraints:      21250
3272.07/3282.13	c #Conflicts:     410000 | #Constraints:      22250
3272.07/3282.13	c #Conflicts:     411000 | #Constraints:      23250
3272.07/3282.13	c #Conflicts:     412000 | #Constraints:      24250
3272.07/3282.13	c #Conflicts:     413000 | #Constraints:      25250
3272.07/3282.13	c #Conflicts:     414000 | #Constraints:      26250
3272.07/3282.13	c #Conflicts:     415000 | #Constraints:      27250
3272.07/3282.13	c #Conflicts:     416000 | #Constraints:      28250
3272.07/3282.13	c #Conflicts:     417000 | #Constraints:      29250
3272.07/3282.13	c #Conflicts:     418000 | #Constraints:      30250
3272.07/3282.13	c #Conflicts:     419000 | #Constraints:      31250
3272.07/3282.13	c #Conflicts:     420000 | #Constraints:      32250
3272.07/3282.13	c INPROCESSING
3272.07/3282.13	c GARBAGE COLLECT
3272.07/3282.13	c #Conflicts:     421000 | #Constraints:      20467
3272.07/3282.13	c #Conflicts:     422000 | #Constraints:      21467
3272.07/3282.13	c #Conflicts:     423000 | #Constraints:      22467
3272.07/3282.13	c #Conflicts:     424000 | #Constraints:      23467
3272.07/3282.13	c #Conflicts:     425000 | #Constraints:      24467
3272.07/3282.13	c #Conflicts:     426000 | #Constraints:      25467
3272.07/3282.13	c #Conflicts:     427000 | #Constraints:      26467
3272.07/3282.13	c #Conflicts:     428000 | #Constraints:      27467
3272.07/3282.13	c #Conflicts:     429000 | #Constraints:      28467
3272.07/3282.13	c #Conflicts:     430000 | #Constraints:      29467
3272.07/3282.13	c #Conflicts:     431000 | #Constraints:      30467
3272.07/3282.13	c #Conflicts:     432000 | #Constraints:      31467
3272.07/3282.13	c #Conflicts:     433000 | #Constraints:      32467
3272.07/3282.13	c INPROCESSING
3272.07/3282.13	c GARBAGE COLLECT
3272.07/3282.13	c #Conflicts:     434000 | #Constraints:      20473
3272.07/3282.13	c #Conflicts:     435000 | #Constraints:      21473
3272.07/3282.13	c #Conflicts:     436000 | #Constraints:      22473
3272.07/3282.13	c #Conflicts:     437000 | #Constraints:      23473
3272.07/3282.13	c #Conflicts:     438000 | #Constraints:      24473
3272.07/3282.13	c #Conflicts:     439000 | #Constraints:      25473
3272.07/3282.13	c #Conflicts:     440000 | #Constraints:      26473
3272.07/3282.13	c #Conflicts:     441000 | #Constraints:      27473
3272.07/3282.13	c #Conflicts:     442000 | #Constraints:      28473
3272.07/3282.13	c #Conflicts:     443000 | #Constraints:      29473
3272.07/3282.13	c #Conflicts:     444000 | #Constraints:      30473
3272.07/3282.13	c #Conflicts:     445000 | #Constraints:      31473
3272.07/3282.13	c #Conflicts:     446000 | #Constraints:      32473
3272.07/3282.13	c INPROCESSING
3272.07/3282.13	c GARBAGE COLLECT
3272.07/3282.13	c #Conflicts:     447000 | #Constraints:      20265
3272.07/3282.13	c #Conflicts:     448000 | #Constraints:      21265
3272.07/3282.13	c #Conflicts:     449000 | #Constraints:      22265
3272.07/3282.13	c #Conflicts:     450000 | #Constraints:      23265
3272.07/3282.13	c #Conflicts:     451000 | #Constraints:      24265
3272.07/3282.13	c #Conflicts:     452000 | #Constraints:      25265
3272.07/3282.13	c #Conflicts:     453000 | #Constraints:      26265
3600.07/3611.01	c #Conflicts:     454000 | #Constraints:      27265
3600.07/3611.01	c #Conflicts:     455000 | #Constraints:      28265
3600.07/3611.01	c #Conflicts:     456000 | #Constraints:      29265
3600.07/3611.01	c #Conflicts:     457000 | #Constraints:      30265
3600.07/3611.01	c #Conflicts:     458000 | #Constraints:      31265
3600.07/3611.01	c #Conflicts:     459000 | #Constraints:      32265
3600.07/3611.01	c #Conflicts:     460000 | #Constraints:      33265
3600.07/3611.01	c INPROCESSING
3600.07/3611.01	c GARBAGE COLLECT
3600.07/3611.01	c #Conflicts:     461000 | #Constraints:      20871
3600.07/3611.01	c #Conflicts:     462000 | #Constraints:      21871
3600.07/3611.01	c #Conflicts:     463000 | #Constraints:      22871
3600.07/3611.01	c #Conflicts:     464000 | #Constraints:      23871
3600.07/3611.01	c #Conflicts:     465000 | #Constraints:      24871
3600.07/3611.01	c #Conflicts:     466000 | #Constraints:      25871
3600.07/3611.01	c #Conflicts:     467000 | #Constraints:      26871
3600.07/3611.01	c #Conflicts:     468000 | #Constraints:      27871
3600.07/3611.01	c #Conflicts:     469000 | #Constraints:      28871
3600.07/3611.01	c #Conflicts:     470000 | #Constraints:      29871
3600.07/3611.01	c #Conflicts:     471000 | #Constraints:      30871
3600.07/3611.01	c #Conflicts:     472000 | #Constraints:      31871
3600.07/3611.01	c #Conflicts:     473000 | #Constraints:      32871
3600.07/3611.01	c #Conflicts:     474000 | #Constraints:      33871
3600.07/3611.01	c INPROCESSING
3600.07/3611.01	c GARBAGE COLLECT
3600.07/3611.01	c #Conflicts:     475000 | #Constraints:      21245
3600.07/3611.01	c #Conflicts:     476000 | #Constraints:      22245
3600.07/3611.01	c #Conflicts:     477000 | #Constraints:      23245
3600.07/3611.01	c #Conflicts:     478000 | #Constraints:      24245
3600.07/3611.01	c #Conflicts:     479000 | #Constraints:      25245
3600.07/3611.01	c #Conflicts:     480000 | #Constraints:      26245
3600.07/3611.01	c #Conflicts:     481000 | #Constraints:      27245
3600.07/3611.01	c #Conflicts:     482000 | #Constraints:      28245
3600.07/3611.01	c #Conflicts:     483000 | #Constraints:      29245
3600.07/3611.01	c #Conflicts:     484000 | #Constraints:      30245
3600.07/3611.01	c #Conflicts:     485000 | #Constraints:      31245
3600.07/3611.01	c #Conflicts:     486000 | #Constraints:      32245
3600.07/3611.01	c #Conflicts:     487000 | #Constraints:      33245
3600.07/3611.01	c #Conflicts:     488000 | #Constraints:      34245
3600.07/3611.01	c INPROCESSING
3600.07/3611.01	c GARBAGE COLLECT
3600.07/3611.01	c #Conflicts:     489000 | #Constraints:      21448
3600.07/3611.01	c #Conflicts:     490000 | #Constraints:      22448
3600.07/3611.01	c #Conflicts:     491000 | #Constraints:      23448
3600.07/3611.01	c Program interrupted by user.
3600.07/3611.01	c cpu time 3583.64 s
3600.07/3611.01	c deterministic time 337275144952 3.37e+11
3600.07/3611.01	c optimization time 16.1154 s
3600.07/3611.01	c total solve time 3268.36 s
3600.07/3611.01	c core-guided solve time 3268.36 s
3600.07/3611.01	c propagation time 2223.68 s
3600.07/3611.01	c conflict analysis time 666.527 s
3600.07/3611.01	c propagations 238330013
3600.07/3611.01	c resolve steps 1930654
3600.07/3611.01	c decisions 16279094
3600.07/3611.01	c conflicts 491845
3600.07/3611.01	c restarts 1022
3600.07/3611.01	c inprocessing phases 61
3600.07/3611.01	c input clauses 6461
3600.07/3611.01	c input cardinalities 1568
3600.07/3611.01	c input general constraints 0
3600.07/3611.01	c input average constraint length 1265.61
3600.07/3611.01	c input average constraint degree 154.61
3600.07/3611.01	c learned clauses 63791
3600.07/3611.01	c learned cardinalities 245
3600.07/3611.01	c learned general constraints 427808
3600.07/3611.01	c learned average constraint length 3613.33
3600.07/3611.01	c learned average constraint degree 8206870.81
3600.07/3611.01	c watched constraints 45678
3600.07/3611.01	c counting constraints 382130
3600.07/3611.01	c gcd simplifications 3326
3600.07/3611.01	c detected cardinalities 3
3600.07/3611.01	c weakened non-implied lits 197225013
3600.07/3611.01	c weakened non-implying lits 3840
3600.07/3611.01	c original variables 6460
3600.07/3611.01	c clausal propagations 27246338
3600.07/3611.01	c cardinality propagations 3172
3600.07/3611.01	c watched propagations 9862791
3600.07/3611.01	c counting propagations 196009993
3600.07/3611.01	c watch lookups 42160372015
3600.07/3611.01	c watch backjump lookups 42002985777
3600.07/3611.01	c watch checks 63546491608
3600.07/3611.01	c propagation checks 184522649064
3600.07/3611.01	c constraint additions 4532940895
3600.07/3611.01	c trail pops 255096485
3600.07/3611.01	c formula constraints 6460
3600.07/3611.01	c learned constraints 491844
3600.07/3611.01	c bound constraints 1569
3600.07/3611.01	c core-guided constraints 0
3600.07/3611.01	c encountered formula constraints 1260828
3600.07/3611.01	c encountered learned constraints 1161670
3600.07/3611.01	c encountered bound constraints 1
3600.07/3611.01	c encountered core-guided constraints 0
3600.07/3611.01	c LP total time 0 s
3600.07/3611.01	c LP solve time 0 s
3600.07/3611.01	c LP constraints added 0
3600.07/3611.01	c LP constraints removed 0
3600.07/3611.01	c LP pivots internal 0
3600.07/3611.01	c LP pivots root 0
3600.07/3611.01	c LP calls 0
3600.07/3611.01	c LP optimalities 0
3600.07/3611.01	c LP no pivot count 0
3600.07/3611.01	c LP infeasibilities 0
3600.07/3611.01	c LP valid Farkas constraints 0
3600.07/3611.01	c LP learned Farkas constraints 0
3600.07/3611.01	c LP basis resets 0
3600.07/3611.01	c LP cycling count 0
3600.07/3611.01	c LP singular count 0
3600.07/3611.01	c LP no primal count 0
3600.07/3611.01	c LP no farkas count 0
3600.07/3611.01	c LP other issue count 0
3600.07/3611.01	c LP Gomory cuts 0
3600.07/3611.01	c LP learned cuts 0
3600.07/3611.01	c LP deleted cuts 0
3600.07/3611.01	c LP encountered Gomory constraints 0
3600.07/3611.01	c LP encountered Farkas constraints 0
3600.07/3611.01	c LP encountered learned Farkas constraints 0
3600.07/3611.01	c CG auxiliary variables introduced 0
3600.07/3611.01	c CG solutions found 0
3600.07/3611.01	c CG cores constructed 1568
3600.07/3611.01	c CG core cardinality constraints returned 0
3600.07/3611.01	c CG unit cores 0
3600.07/3611.01	c CG single cores 1568
3600.07/3611.01	c CG blocks removed during cardinality reduction 0
3600.07/3611.01	c CG first core best 0
3600.07/3611.01	c CG decision core best 0
3600.07/3611.01	c CG core reduction tie 0
3600.07/3611.01	c CG core degree average 1.00
3600.07/3611.01	c CG core slack average 3.00
3600.07/3611.01	c CG exhausted 0
3600.07/3611.01	c CG exhaust time 0 s
3600.07/3611.01	c CG trimmed 0
3600.07/3611.01	c CG trim time 0.010774 s
3600.07/3611.01	c CG minimized 0
3600.07/3611.01	c CG minimize time 0 s
3600.07/3611.01	c CG am1 prop time 0.00582 s
3600.07/3611.01	c CG # am1s reformulated 0
3600.07/3611.01	c CG lower bound derived from am1s 0
3600.07/3611.01	c CG # clausal cores 1568
3600.07/3611.01	c CG # cardinality cores 0
3600.07/3611.01	c CG # pb cores 0
3600.07/3611.01	c CG # pb reforms 0
3600.07/3611.01	c CG # cores discarded because of pb reform 0
3600.07/3611.01	d LOWERBOUND 1568
3600.07/3611.01	d NCORES 1568
3600.07/3611.01	d NPBCORES 0
3600.07/3611.01	d NPBREFORM 0
3600.07/3611.01	d NTRIMMED 0
3600.07/3611.01	d NEXHAUSTED 0
3600.07/3611.01	d NAM1S 0
3600.07/3611.01	d AM1LB 0
3600.07/3611.01	c [Papilo Statistics]
3600.07/3611.01	c prepro time 0.0213927s
3600.07/3611.01	c # tsx applied 0
3600.07/3611.01	c # tsx conflicts 0
3600.07/3611.01	c # bound changes 0
3600.07/3611.01	c # side changes 0
3600.07/3611.01	c # coef changes 0
3600.07/3611.01	c # rounds 1
3600.07/3611.01	c # deted vars 0
3600.07/3611.01	c # deted constrs 0
3600.07/3611.01	c # consecutive rounds of only bound changes 0
3600.07/3611.02	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 (62740 MiB free)
  memory of node 1: 64507 MiB (61291 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=79131, runsolver pid=79128

[startup+0.1001 s]*
/proc/loadavg: 4.06 4.08 4.04 5/251 79132
/proc/meminfo: memFree=127006404/131382112 swapFree=33010416/33010684
[pid=79131] ppid=79128 vsize=96844 memory=19848 CPUtime=0.09 cores=0,2
/proc/79131/stat : 79131 (mixed-bag) R 79128 79131 77674 0 -1 4194304 3252 0 0 0 8 1 0 0 20 0 1 0 71244140 99168256 4962 18446744073709551615 4235264 15874749 140730844786864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 36847616 140730844789148 140730844789225 140730844789225 140730844794827 0
/proc/79131/statm: 24211 4962 3072 2842 0 5905 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 96844 KiB
Current children cumulated memory: 19848 KiB

[startup+0.213321 s]*
/proc/loadavg: 4.06 4.08 4.04 6/251 79132
/proc/meminfo: memFree=126974400/131382112 swapFree=33010416/33010684
[pid=79131] ppid=79128 vsize=128544 memory=53792 CPUtime=0.21 cores=0,2
/proc/79131/stat : 79131 (mixed-bag) R 79128 79131 77674 0 -1 4194304 11074 0 0 0 17 4 0 0 20 0 1 0 71244140 131629056 13448 18446744073709551615 4235264 15874749 140730844786864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 36847616 140730844789148 140730844789225 140730844789225 140730844794827 0
/proc/79131/statm: 32136 13448 4032 2842 0 13830 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 128544 KiB
Current children cumulated memory: 53792 KiB

[startup+0.313277 s]*
/proc/loadavg: 4.06 4.08 4.04 5/251 79132
/proc/meminfo: memFree=126974148/131382112 swapFree=33010416/33010684
[pid=79131] ppid=79128 vsize=138640 memory=54304 CPUtime=0.31 cores=0,2
/proc/79131/stat : 79131 (mixed-bag) R 79128 79131 77674 0 -1 4194304 11159 0 0 0 27 4 0 0 20 0 1 0 71244140 141967360 13576 18446744073709551615 4235264 15874749 140730844786864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 36847616 140730844789148 140730844789225 140730844789225 140730844794827 0
/proc/79131/statm: 34660 13576 4064 2842 0 16354 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 138640 KiB
Current children cumulated memory: 54304 KiB

[startup+0.700272 s]
/proc/loadavg: 4.06 4.08 4.04 5/251 79132
/proc/meminfo: memFree=126927144/131382112 swapFree=33010416/33010684
[pid=79131] ppid=79128 vsize=193948 memory=97824 CPUtime=0.68 cores=0,2
/proc/79131/stat : 79131 (mixed-bag) R 79128 79131 77674 0 -1 4194304 22027 0 0 0 61 7 0 0 20 0 1 0 71244140 198602752 24456 18446744073709551615 4235264 15874749 140730844786864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 36847616 140730844789148 140730844789225 140730844789225 140730844794827 0
/proc/79131/statm: 48487 24456 4256 2842 0 30181 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 193948 KiB
Current children cumulated memory: 97824 KiB

[startup+1.50028 s]
/proc/loadavg: 4.06 4.08 4.04 5/251 79132
/proc/meminfo: memFree=126927144/131382112 swapFree=33010416/33010684
[pid=79131] ppid=79128 vsize=196700 memory=100256 CPUtime=1.47 cores=0,2
/proc/79131/stat : 79131 (mixed-bag) R 79128 79131 77674 0 -1 4194304 22651 0 0 0 140 7 0 0 20 0 1 0 71244140 201420800 25064 18446744073709551615 4235264 15874749 140730844786864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 36847616 140730844789148 140730844789225 140730844789225 140730844794827 0
/proc/79131/statm: 49175 25064 4256 2842 0 30869 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 196700 KiB
Current children cumulated memory: 100256 KiB

[startup+3.1128 s]
/proc/loadavg: 4.06 4.08 4.04 5/251 79132
/proc/meminfo: memFree=126919080/131382112 swapFree=33010416/33010684
[pid=79131] ppid=79128 vsize=198480 memory=102432 CPUtime=3.08 cores=0,2
/proc/79131/stat : 79131 (mixed-bag) R 79128 79131 77674 0 -1 4194304 23171 0 0 0 301 7 0 0 20 0 1 0 71244140 203243520 25608 18446744073709551615 4235264 15874749 140730844786864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 36847616 140730844789148 140730844789225 140730844789225 140730844794827 0
/proc/79131/statm: 49620 25608 4256 2842 0 31314 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 198480 KiB
Current children cumulated memory: 102432 KiB

[startup+6.30027 s]
/proc/loadavg: 4.06 4.08 4.04 5/250 79132
/proc/meminfo: memFree=126919364/131382112 swapFree=33010416/33010684
[pid=79131] ppid=79128 vsize=200392 memory=103712 CPUtime=6.26 cores=0,2
/proc/79131/stat : 79131 (mixed-bag) R 79128 79131 77674 0 -1 4194304 23504 0 0 0 619 7 0 0 20 0 1 0 71244140 205201408 25928 18446744073709551615 4235264 15874749 140730844786864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 36847616 140730844789148 140730844789225 140730844789225 140730844794827 0
/proc/79131/statm: 50098 25928 4256 2842 0 31792 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 200392 KiB
Current children cumulated memory: 103712 KiB

[startup+12.7003 s]
/proc/loadavg: 4.12 4.09 4.05 5/250 79132
/proc/meminfo: memFree=126919308/131382112 swapFree=33010416/33010684
[pid=79131] ppid=79128 vsize=200392 memory=103712 CPUtime=12.64 cores=0,2
/proc/79131/stat : 79131 (mixed-bag) R 79128 79131 77674 0 -1 4194304 23504 0 0 0 1257 7 0 0 20 0 1 0 71244140 205201408 25928 18446744073709551615 4235264 15874749 140730844786864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 36847616 140730844789148 140730844789225 140730844789225 140730844794827 0
/proc/79131/statm: 50098 25928 4256 2842 0 31792 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 200392 KiB
Current children cumulated memory: 103712 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.09 4.05 6/250 79132
/proc/meminfo: memFree=126924080/131382112 swapFree=33010416/33010684
[pid=79131] ppid=79128 vsize=200392 memory=103968 CPUtime=25.4 cores=0,2
/proc/79131/stat : 79131 (mixed-bag) R 79128 79131 77674 0 -1 4194304 23562 0 0 0 2533 7 0 0 20 0 1 0 71244140 205201408 25992 18446744073709551615 4235264 15874749 140730844786864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 36847616 140730844789148 140730844789225 140730844789225 140730844794827 0
/proc/79131/statm: 50098 25992 4256 2842 0 31792 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 200392 KiB
Current children cumulated memory: 103968 KiB

[startup+51.1128 s]
/proc/loadavg: 4.07 4.08 4.05 5/250 79133
/proc/meminfo: memFree=126922216/131382112 swapFree=33010416/33010684
[pid=79131] ppid=79128 vsize=200392 memory=103968 CPUtime=50.93 cores=0,2
/proc/79131/stat : 79131 (mixed-bag) R 79128 79131 77674 0 -1 4194304 23566 0 0 0 5086 7 0 0 20 0 1 0 71244140 205201408 25992 18446744073709551615 4235264 15874749 140730844786864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 36847616 140730844789148 140730844789225 140730844789225 140730844794827 0
/proc/79131/statm: 50098 25992 4256 2842 0 31792 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 200392 KiB
Current children cumulated memory: 103968 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.10 4.05 5/251 79139
/proc/meminfo: memFree=126923484/131382112 swapFree=33010416/33010684
[pid=79131] ppid=79128 vsize=202992 memory=106140 CPUtime=101.96 cores=0,2
/proc/79131/stat : 79131 (mixed-bag) R 79128 79131 77674 0 -1 4194304 24078 0 0 0 10189 7 0 0 20 0 1 0 71244140 207863808 26535 18446744073709551615 4235264 15874749 140730844786864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 36847616 140730844789148 140730844789225 140730844789225 140730844794827 0
/proc/79131/statm: 50748 26535 4256 2842 0 32442 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 202992 KiB
Current children cumulated memory: 106140 KiB

[startup+162.3 s]
/proc/loadavg: 4.05 4.08 4.05 5/251 79141
/proc/meminfo: memFree=126891416/131382112 swapFree=33010416/33010684
[pid=79131] ppid=79128 vsize=241624 memory=140060 CPUtime=161.79 cores=0,2
/proc/79131/stat : 79131 (mixed-bag) R 79128 79131 77674 0 -1 4194304 32537 0 0 0 16170 9 0 0 20 0 1 0 71244140 247422976 35015 18446744073709551615 4235264 15874749 140730844786864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 36847616 140730844789148 140730844789225 140730844789225 140730844794827 0
/proc/79131/statm: 60406 35015 4288 2842 0 42100 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 241624 KiB
Current children cumulated memory: 140060 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.09 4.05 5/251 79145
/proc/meminfo: memFree=126855164/131382112 swapFree=33010416/33010684
[pid=79131] ppid=79128 vsize=241624 memory=140060 CPUtime=221.62 cores=0,2
/proc/79131/stat : 79131 (mixed-bag) R 79128 79131 77674 0 -1 4194304 32566 0 0 0 22153 9 0 0 20 0 1 0 71244140 247422976 35015 18446744073709551615 4235264 15874749 140730844786864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 36847616 140730844789148 140730844789225 140730844789225 140730844794827 0
/proc/79131/statm: 60406 35015 4288 2842 0 42100 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 241624 KiB
Current children cumulated memory: 140060 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.09 4.05 5/250 79147
/proc/meminfo: memFree=126731004/131382112 swapFree=33010416/33010684
[pid=79131] ppid=79128 vsize=241624 memory=140572 CPUtime=281.44 cores=0,2
/proc/79131/stat : 79131 (mixed-bag) R 79128 79131 77674 0 -1 4194304 32670 0 0 0 28135 9 0 0 20 0 1 0 71244140 247422976 35143 18446744073709551615 4235264 15874749 140730844786864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 36847616 140730844789148 140730844789225 140730844789225 140730844794827 0
/proc/79131/statm: 60406 35143 4288 2842 0 42100 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 241624 KiB
Current children cumulated memory: 140572 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.09 4.05 5/250 79149
/proc/meminfo: memFree=126378452/131382112 swapFree=33010416/33010684
[pid=79131] ppid=79128 vsize=658900 memory=498180 CPUtime=341.26 cores=0,2
/proc/79131/stat : 79131 (mixed-bag) R 79128 79131 77674 0 -1 4194304 85892 0 0 0 34047 79 0 0 20 0 1 0 71244140 674713600 124545 18446744073709551615 4235264 15874749 140730844786864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 36847616 140730844789148 140730844789225 140730844789225 140730844794827 0
/proc/79131/statm: 164725 124545 4448 2842 0 146419 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 658900 KiB
Current children cumulated memory: 498180 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.10 4.06 5/250 79151
/proc/meminfo: memFree=126298144/131382112 swapFree=33010416/33010684
[pid=79131] ppid=79128 vsize=792360 memory=578748 CPUtime=401.1 cores=0,2
/proc/79131/stat : 79131 (mixed-bag) R 79128 79131 77674 0 -1 4194304 94338 0 0 0 39983 127 0 0 20 0 1 0 71244140 811376640 144687 18446744073709551615 4235264 15874749 140730844786864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 36847616 140730844789148 140730844789225 140730844789225 140730844794827 0
/proc/79131/statm: 198090 144687 4448 2842 0 179784 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 792360 KiB
Current children cumulated memory: 578748 KiB

[startup+462.3 s]
/proc/loadavg: 4.73 4.28 4.13 5/250 79153
/proc/meminfo: memFree=125988252/131382112 swapFree=33010416/33010684
[pid=79131] ppid=79128 vsize=1002384 memory=779940 CPUtime=460.93 cores=0,2
/proc/79131/stat : 79131 (mixed-bag) R 79128 79131 77674 0 -1 4194304 129308 0 0 0 45929 164 0 0 20 0 1 0 71244140 1026441216 194985 18446744073709551615 4235264 15874749 140730844786864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 36847616 140730844789148 140730844789225 140730844789225 140730844794827 0
/proc/79131/statm: 250596 194985 4448 2842 0 232290 0
Current children cumulated CPU time: 460.93 s

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

Current children cumulated memory: 1860452 KiB

[startup+2862.3 s]
/proc/loadavg: 4.17 4.11 4.10 5/251 79590
/proc/meminfo: memFree=125058016/131382112 swapFree=33010416/33010684
[pid=79131] ppid=79128 vsize=2253964 memory=1915668 CPUtime=2853.61 cores=0,2
/proc/79131/stat : 79131 (mixed-bag) R 79128 79131 77674 0 -1 4194304 269451 0 0 0 283897 1464 0 0 20 0 1 0 71244140 2308059136 478917 18446744073709551615 4235264 15874749 140730844786864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 36847616 140730844789148 140730844789225 140730844789225 140730844794827 0
/proc/79131/statm: 563491 478917 4448 2842 0 545185 0
Current children cumulated CPU time: 2853.61 s
Current children cumulated vsize: 2253964 KiB
Current children cumulated memory: 1915668 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/251 79592
/proc/meminfo: memFree=125004896/131382112 swapFree=33010416/33010684
[pid=79131] ppid=79128 vsize=2257804 memory=1925196 CPUtime=2913.4 cores=0,2
/proc/79131/stat : 79131 (mixed-bag) R 79128 79131 77674 0 -1 4194304 270007 0 0 0 289856 1484 0 0 20 0 1 0 71244140 2311991296 481299 18446744073709551615 4235264 15874749 140730844786864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 36847616 140730844789148 140730844789225 140730844789225 140730844794827 0
/proc/79131/statm: 564451 481299 4448 2842 0 546145 0
Current children cumulated CPU time: 2913.4 s
Current children cumulated vsize: 2257804 KiB
Current children cumulated memory: 1925196 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/251 79594
/proc/meminfo: memFree=124891580/131382112 swapFree=33010416/33010684
[pid=79131] ppid=79128 vsize=2258828 memory=1944212 CPUtime=2973.19 cores=0,2
/proc/79131/stat : 79131 (mixed-bag) R 79128 79131 77674 0 -1 4194304 270201 0 0 0 295816 1503 0 0 20 0 1 0 71244140 2313039872 486053 18446744073709551615 4235264 15874749 140730844786864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 36847616 140730844789148 140730844789225 140730844789225 140730844794827 0
/proc/79131/statm: 564707 486053 4448 2842 0 546401 0
Current children cumulated CPU time: 2973.19 s
Current children cumulated vsize: 2258828 KiB
Current children cumulated memory: 1944212 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/251 79596
/proc/meminfo: memFree=124492208/131382112 swapFree=33010416/33010684
[pid=79131] ppid=79128 vsize=2260364 memory=1975944 CPUtime=3033 cores=0,2
/proc/79131/stat : 79131 (mixed-bag) R 79128 79131 77674 0 -1 4194304 270630 0 0 0 301775 1525 0 0 20 0 1 0 71244140 2314612736 493986 18446744073709551615 4235264 15874749 140730844786864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 36847616 140730844789148 140730844789225 140730844789225 140730844794827 0
/proc/79131/statm: 565091 493986 4448 2842 0 546785 0
Current children cumulated CPU time: 3033 s
Current children cumulated vsize: 2260364 KiB
Current children cumulated memory: 1975944 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/250 79598
/proc/meminfo: memFree=124462856/131382112 swapFree=33010416/33010684
[pid=79131] ppid=79128 vsize=2260364 memory=1975944 CPUtime=3092.8 cores=0,2
/proc/79131/stat : 79131 (mixed-bag) R 79128 79131 77674 0 -1 4194304 270726 0 0 0 307743 1537 0 0 20 0 1 0 71244140 2314612736 493986 18446744073709551615 4235264 15874749 140730844786864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 36847616 140730844789148 140730844789225 140730844789225 140730844794827 0
/proc/79131/statm: 565091 493986 4448 2842 0 546785 0
Current children cumulated CPU time: 3092.8 s
Current children cumulated vsize: 2260364 KiB
Current children cumulated memory: 1975944 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/249 79604
/proc/meminfo: memFree=124328448/131382112 swapFree=33010416/33010684
[pid=79131] ppid=79128 vsize=2266256 memory=2037064 CPUtime=3152.62 cores=0,2
/proc/79131/stat : 79131 (mixed-bag) R 79128 79131 77674 0 -1 4194304 271708 0 0 0 313708 1554 0 0 20 0 1 0 71244140 2320646144 509266 18446744073709551615 4235264 15874749 140730844786864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 36847616 140730844789148 140730844789225 140730844789225 140730844794827 0
/proc/79131/statm: 566564 509266 4448 2842 0 548258 0
Current children cumulated CPU time: 3152.62 s
Current children cumulated vsize: 2266256 KiB
Current children cumulated memory: 2037064 KiB

[startup+3222.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/251 79608
/proc/meminfo: memFree=124219420/131382112 swapFree=33010416/33010684
[pid=79131] ppid=79128 vsize=2266256 memory=2037064 CPUtime=3212.42 cores=0,2
/proc/79131/stat : 79131 (mixed-bag) R 79128 79131 77674 0 -1 4194304 271748 0 0 0 319675 1567 0 0 20 0 1 0 71244140 2320646144 509266 18446744073709551615 4235264 15874749 140730844786864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 36847616 140730844789148 140730844789225 140730844789225 140730844794827 0
/proc/79131/statm: 566564 509266 4448 2842 0 548258 0
Current children cumulated CPU time: 3212.42 s
Current children cumulated vsize: 2266256 KiB
Current children cumulated memory: 2037064 KiB

[startup+3282.3 s]
/proc/loadavg: 4.61 4.23 4.13 5/253 79615
/proc/meminfo: memFree=124190928/131382112 swapFree=33010416/33010684
[pid=79131] ppid=79128 vsize=2269840 memory=2041124 CPUtime=3272.26 cores=0,2
/proc/79131/stat : 79131 (mixed-bag) R 79128 79131 77674 0 -1 4194304 272254 0 0 0 325644 1582 0 0 20 0 1 0 71244140 2324316160 510281 18446744073709551615 4235264 15874749 140730844786864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 36847616 140730844789148 140730844789225 140730844789225 140730844794827 0
/proc/79131/statm: 567460 510281 4448 2842 0 549154 0
Current children cumulated CPU time: 3272.26 s
Current children cumulated vsize: 2269840 KiB
Current children cumulated memory: 2041124 KiB

[startup+3342.3 s]
/proc/loadavg: 4.47 4.28 4.16 5/253 79617
/proc/meminfo: memFree=124157016/131382112 swapFree=33010416/33010684
[pid=79131] ppid=79128 vsize=2270864 memory=2041636 CPUtime=3332.1 cores=0,2
/proc/79131/stat : 79131 (mixed-bag) R 79128 79131 77674 0 -1 4194304 272394 0 0 0 331613 1597 0 0 20 0 1 0 71244140 2325364736 510409 18446744073709551615 4235264 15874749 140730844786864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 36847616 140730844789148 140730844789225 140730844789225 140730844794827 0
/proc/79131/statm: 567716 510409 4448 2842 0 549410 0
Current children cumulated CPU time: 3332.1 s
Current children cumulated vsize: 2270864 KiB
Current children cumulated memory: 2041636 KiB

[startup+3402.3 s]
/proc/loadavg: 4.74 4.38 4.20 5/253 79619
/proc/meminfo: memFree=124108176/131382112 swapFree=33010416/33010684
[pid=79131] ppid=79128 vsize=2271376 memory=2048144 CPUtime=3391.93 cores=0,2
/proc/79131/stat : 79131 (mixed-bag) R 79128 79131 77674 0 -1 4194304 272752 0 0 0 337581 1612 0 0 20 0 1 0 71244140 2325889024 512036 18446744073709551615 4235264 15874749 140730844786864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 36847616 140730844789148 140730844789225 140730844789225 140730844794827 0
/proc/79131/statm: 567844 512036 4448 2842 0 549538 0
Current children cumulated CPU time: 3391.93 s
Current children cumulated vsize: 2271376 KiB
Current children cumulated memory: 2048144 KiB

[startup+3462.3 s]
/proc/loadavg: 4.52 4.40 4.22 5/253 79621
/proc/meminfo: memFree=123978036/131382112 swapFree=33010416/33010684
[pid=79131] ppid=79128 vsize=2271376 memory=2052240 CPUtime=3451.77 cores=0,2
/proc/79131/stat : 79131 (mixed-bag) R 79128 79131 77674 0 -1 4194304 272826 0 0 0 343556 1621 0 0 20 0 1 0 71244140 2325889024 513060 18446744073709551615 4235264 15874749 140730844786864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 36847616 140730844789148 140730844789225 140730844789225 140730844794827 0
/proc/79131/statm: 567844 513060 4448 2842 0 549538 0
Current children cumulated CPU time: 3451.77 s
Current children cumulated vsize: 2271376 KiB
Current children cumulated memory: 2052240 KiB

[startup+3522.3 s]
/proc/loadavg: 4.31 4.36 4.21 5/251 79623
/proc/meminfo: memFree=123694056/131382112 swapFree=33010416/33010684
[pid=79131] ppid=79128 vsize=2275728 memory=2093928 CPUtime=3511.6 cores=0,2
/proc/79131/stat : 79131 (mixed-bag) R 79128 79131 77674 0 -1 4194304 273563 0 0 0 349529 1631 0 0 20 0 1 0 71244140 2330345472 523482 18446744073709551615 4235264 15874749 140730844786864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 36847616 140730844789148 140730844789225 140730844789225 140730844794827 0
/proc/79131/statm: 568932 523482 4448 2842 0 550626 0
Current children cumulated CPU time: 3511.6 s
Current children cumulated vsize: 2275728 KiB
Current children cumulated memory: 2093928 KiB

[startup+3582.3 s]
/proc/loadavg: 4.23 4.32 4.21 5/250 79626
/proc/meminfo: memFree=123617240/131382112 swapFree=33010416/33010684
[pid=79131] ppid=79128 vsize=2275984 memory=2094056 CPUtime=3571.43 cores=0,2
/proc/79131/stat : 79131 (mixed-bag) R 79128 79131 77674 0 -1 4194304 273596 0 0 0 355506 1637 0 0 20 0 1 0 71244140 2330607616 523514 18446744073709551615 4235264 15874749 140730844786864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 36847616 140730844789148 140730844789225 140730844789225 140730844794827 0
/proc/79131/statm: 568996 523514 4448 2842 0 550690 0
Current children cumulated CPU time: 3571.43 s
Current children cumulated vsize: 2275984 KiB
Current children cumulated memory: 2094056 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611 s]*
/proc/loadavg: 4.15 4.29 4.20 5/250 79627
/proc/meminfo: memFree=123624636/131382112 swapFree=33010416/33010684
[pid=79131] ppid=79128 vsize=2275984 memory=2094056 CPUtime=3600.07 cores=0,2
/proc/79131/stat : 79131 (mixed-bag) R 79128 79131 77674 0 -1 4194304 273601 0 0 0 358364 1643 0 0 20 0 1 0 71244140 2330607616 523514 18446744073709551615 4235264 15874749 140730844786864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 36847616 140730844789148 140730844789225 140730844789225 140730844794827 0
/proc/79131/statm: 568996 523514 4448 2842 0 550690 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2275984 KiB
Current children cumulated memory: 2094056 KiB

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

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

# cumulated CPU time of all completed processes:  user=3583.65 s, system=16.4365 s

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

Child status: 0

Real time (s): 3611.02
CPU time (s): 3600.09
CPU user time (s): 3583.65
CPU system time (s): 16.4365
CPU usage (%): 99.6972
Max. virtual memory (cumulated for all children) (KiB): 2275984
Max. memory (cumulated for all children) (KiB): 2094056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.65
system time used= 16.4365
maximum resident set size= 2094696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273629
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= 531
involuntary context switches= 7986


# summary of solver processes directly reported to runsolver:
#   pid: 79131
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3583.65
#   total CPU system time (s): 16.4365

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2722 second user time and 33.3407 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-07-03 17:14:04
IDJOB=4520609
IDBENCH=178111
IDSOLVER=3340
FILE ID=nodeC012/4520609-1751555644
RUNJOBID= nodeC012-1751553490-77706
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_380.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4520609-1751555644/watcher-4520609-1751555644 -o /tmp/evaluation-result-4520609-1751555644/solver-4520609-1751555644 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751553490-77706 --watchdog 3760  mixed-bag HOME/instance-4520609-1751555644.opb

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

MD5SUM BENCH= dc7892cb3dbd530fdb83331c968a6da2
RANDOM SEED=2044516438

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		: 1197.305
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		: 3491.696
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		: 3491.682
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		: 1197.560
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		: 3662.455
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		: 3491.699
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.205
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.255
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:        127009020 kB
MemAvailable:   127228480 kB
Buffers:            2136 kB
Cached:          1020088 kB
SwapCached:           16 kB
Active:          3370416 kB
Inactive:         401908 kB
Active(anon):    2761048 kB
Inactive(anon):     6996 kB
Active(file):     609368 kB
Inactive(file):   394912 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15896 kB
Writeback:           256 kB
AnonPages:       2751348 kB
Mapped:           130704 kB
Shmem:             17944 kB
KReclaimable:     109228 kB
Slab:             194916 kB
SReclaimable:     109228 kB
SUnreclaim:        85688 kB
KernelStack:        4076 kB
PageTables:         9008 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    3414832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149416 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    395264 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= 431800 MiB
End job on nodeC012 at 2025-07-03 18:14:16