Trace number 4454699

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-07-19? (TO) 3600.08 3609.45

DiagnosticValue
AM1LB0
LOWERBOUND1700
NAM1S0
NCORES1700
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0
SCIPUB2535

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g100x100.opb
MD5SUM908a9c4c32d975b4e5850834449958a7
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2076
Best CPU time to get the best result obtained on this benchmark3558.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints10000
Number of constraints which are clauses10000
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 constraint3
Maximum length of a constraint5
Number of terms in the objective function 10000
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 10000
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 10000
Number of bits of the biggest sum of numbers14
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.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c with Papilo
0.00/0.00	c with SCIP
0.00/0.00	c [STEP] parsing instance
0.00/0.04	c [STEP] preprocessing with Papilo
0.00/0.05	c Papilo could not simplify the problem
0.00/0.05	c [STEP] solving with SCIP
299.17/300.10	c [STEP] preprocessing done, loading into solver
299.27/300.12	c [STEP] solving
299.27/300.12	c #variables 10001 #constraints 10000
299.27/300.12	c SMALL=int, LARGE=long long
299.27/300.12	d SCIPUB 2535
299.27/300.12	c bounds - >= 0 @ 299.21
299.27/300.12	c stratification level: 0
299.47/300.36	c bounds - >= 1 @ 299.269
299.47/300.36	c bounds - >= 2 @ 299.27
299.47/300.36	c bounds - >= 3 @ 299.271
299.47/300.36	c bounds - >= 4 @ 299.273
299.47/300.36	c bounds - >= 5 @ 299.274
299.47/300.36	c bounds - >= 6 @ 299.275
299.47/300.36	c bounds - >= 7 @ 299.276
299.47/300.36	c bounds - >= 8 @ 299.277
299.47/300.36	c bounds - >= 9 @ 299.278
299.47/300.36	c bounds - >= 10 @ 299.279
299.47/300.36	c bounds - >= 11 @ 299.28
299.47/300.36	c bounds - >= 12 @ 299.281
299.47/300.36	c bounds - >= 13 @ 299.282
299.47/300.36	c bounds - >= 14 @ 299.283
299.47/300.36	c bounds - >= 15 @ 299.284
299.47/300.36	c bounds - >= 16 @ 299.286
299.47/300.36	c bounds - >= 17 @ 299.287
299.47/300.36	c bounds - >= 18 @ 299.288
299.47/300.36	c bounds - >= 19 @ 299.289
299.47/300.36	c bounds - >= 20 @ 299.29
299.47/300.36	c bounds - >= 21 @ 299.291
299.47/300.36	c bounds - >= 22 @ 299.292
299.47/300.36	c bounds - >= 23 @ 299.293
299.47/300.36	c bounds - >= 24 @ 299.294
299.47/300.36	c bounds - >= 25 @ 299.295
299.47/300.36	c bounds - >= 26 @ 299.296
299.47/300.36	c bounds - >= 27 @ 299.297
299.47/300.36	c bounds - >= 28 @ 299.298
299.47/300.36	c bounds - >= 29 @ 299.299
299.47/300.36	c bounds - >= 30 @ 299.3
299.47/300.36	c bounds - >= 31 @ 299.301
299.47/300.36	c bounds - >= 32 @ 299.302
299.47/300.36	c bounds - >= 33 @ 299.303
299.47/300.36	c bounds - >= 34 @ 299.304
299.47/300.36	c bounds - >= 35 @ 299.305
299.47/300.36	c bounds - >= 36 @ 299.306
299.47/300.36	c bounds - >= 37 @ 299.307
299.47/300.36	c bounds - >= 38 @ 299.308
299.47/300.36	c bounds - >= 39 @ 299.309
299.47/300.36	c bounds - >= 40 @ 299.311
299.47/300.36	c bounds - >= 41 @ 299.312
299.47/300.36	c bounds - >= 42 @ 299.313
299.47/300.36	c bounds - >= 43 @ 299.314
299.47/300.36	c bounds - >= 44 @ 299.314
299.47/300.36	c bounds - >= 45 @ 299.315
299.47/300.36	c bounds - >= 46 @ 299.316
299.47/300.36	c bounds - >= 47 @ 299.317
299.47/300.36	c bounds - >= 48 @ 299.318
299.47/300.36	c bounds - >= 49 @ 299.319
299.47/300.36	c bounds - >= 50 @ 299.321
299.47/300.36	c bounds - >= 51 @ 299.322
299.47/300.36	c bounds - >= 52 @ 299.323
299.47/300.36	c bounds - >= 53 @ 299.323
299.47/300.36	c bounds - >= 54 @ 299.324
299.47/300.36	c bounds - >= 55 @ 299.325
299.47/300.36	c bounds - >= 56 @ 299.326
299.47/300.36	c bounds - >= 57 @ 299.327
299.47/300.36	c bounds - >= 58 @ 299.328
299.47/300.36	c bounds - >= 59 @ 299.33
299.47/300.36	c bounds - >= 60 @ 299.331
299.47/300.36	c bounds - >= 61 @ 299.332
299.47/300.36	c bounds - >= 62 @ 299.333
299.47/300.36	c bounds - >= 63 @ 299.334
299.47/300.36	c bounds - >= 64 @ 299.335
299.47/300.36	c bounds - >= 65 @ 299.336
299.47/300.36	c bounds - >= 66 @ 299.337
299.47/300.36	c bounds - >= 67 @ 299.338
299.47/300.36	c bounds - >= 68 @ 299.339
299.47/300.36	c bounds - >= 69 @ 299.34
299.47/300.36	c bounds - >= 70 @ 299.342
299.47/300.36	c bounds - >= 71 @ 299.343
299.47/300.36	c bounds - >= 72 @ 299.344
299.47/300.36	c bounds - >= 73 @ 299.345
299.47/300.36	c bounds - >= 74 @ 299.346
299.47/300.36	c bounds - >= 75 @ 299.347
299.47/300.36	c bounds - >= 76 @ 299.348
299.47/300.36	c bounds - >= 77 @ 299.349
299.47/300.36	c bounds - >= 78 @ 299.351
299.47/300.36	c bounds - >= 79 @ 299.352
299.47/300.36	c bounds - >= 80 @ 299.352
299.47/300.36	c bounds - >= 81 @ 299.353
299.47/300.36	c bounds - >= 82 @ 299.354
299.47/300.36	c bounds - >= 83 @ 299.355
299.47/300.36	c bounds - >= 84 @ 299.356
299.47/300.36	c bounds - >= 85 @ 299.357
299.47/300.36	c bounds - >= 86 @ 299.359
299.47/300.36	c bounds - >= 87 @ 299.36
299.47/300.36	c bounds - >= 88 @ 299.361
299.47/300.36	c bounds - >= 89 @ 299.362
299.47/300.36	c bounds - >= 90 @ 299.363
299.47/300.36	c bounds - >= 91 @ 299.364
299.47/300.36	c bounds - >= 92 @ 299.365
299.47/300.36	c bounds - >= 93 @ 299.366
299.47/300.36	c bounds - >= 94 @ 299.367
299.47/300.36	c bounds - >= 95 @ 299.369
299.47/300.36	c bounds - >= 96 @ 299.369
299.47/300.36	c bounds - >= 97 @ 299.37
299.47/300.36	c bounds - >= 98 @ 299.371
299.47/300.36	c bounds - >= 99 @ 299.372
299.47/300.36	c bounds - >= 100 @ 299.373
299.47/300.36	c bounds - >= 101 @ 299.374
299.47/300.36	c bounds - >= 102 @ 299.376
299.47/300.36	c bounds - >= 103 @ 299.377
299.47/300.36	c bounds - >= 104 @ 299.378
299.47/300.36	c bounds - >= 105 @ 299.379
299.47/300.36	c bounds - >= 106 @ 299.379
299.47/300.36	c bounds - >= 107 @ 299.381
299.47/300.36	c bounds - >= 108 @ 299.381
299.47/300.36	c bounds - >= 109 @ 299.382
299.47/300.36	c bounds - >= 110 @ 299.383
299.47/300.36	c bounds - >= 111 @ 299.384
299.47/300.36	c bounds - >= 112 @ 299.385
299.47/300.36	c bounds - >= 113 @ 299.386
299.47/300.36	c bounds - >= 114 @ 299.388
299.47/300.36	c bounds - >= 115 @ 299.389
299.47/300.36	c bounds - >= 116 @ 299.39
299.47/300.36	c bounds - >= 117 @ 299.391
299.47/300.36	c bounds - >= 118 @ 299.392
299.47/300.36	c bounds - >= 119 @ 299.393
299.47/300.36	c bounds - >= 120 @ 299.393
299.47/300.36	c bounds - >= 121 @ 299.395
299.47/300.36	c bounds - >= 122 @ 299.396
299.47/300.36	c bounds - >= 123 @ 299.396
299.47/300.36	c bounds - >= 124 @ 299.397
299.47/300.36	c bounds - >= 125 @ 299.398
299.47/300.36	c bounds - >= 126 @ 299.399
299.47/300.36	c bounds - >= 127 @ 299.4
299.47/300.36	c bounds - >= 128 @ 299.401
299.47/300.36	c bounds - >= 129 @ 299.402
299.47/300.36	c bounds - >= 130 @ 299.404
299.47/300.36	c bounds - >= 131 @ 299.404
299.47/300.36	c bounds - >= 132 @ 299.405
299.47/300.36	c bounds - >= 133 @ 299.406
299.47/300.36	c bounds - >= 134 @ 299.407
299.47/300.36	c bounds - >= 135 @ 299.408
299.47/300.36	c bounds - >= 136 @ 299.409
299.47/300.36	c bounds - >= 137 @ 299.411
299.47/300.36	c bounds - >= 138 @ 299.412
299.47/300.36	c bounds - >= 139 @ 299.413
299.47/300.36	c bounds - >= 140 @ 299.414
299.47/300.36	c bounds - >= 141 @ 299.416
299.47/300.36	c bounds - >= 142 @ 299.416
299.47/300.36	c bounds - >= 143 @ 299.417
299.47/300.36	c bounds - >= 144 @ 299.418
299.47/300.36	c bounds - >= 145 @ 299.419
299.47/300.36	c bounds - >= 146 @ 299.42
299.47/300.36	c bounds - >= 147 @ 299.422
299.47/300.36	c bounds - >= 148 @ 299.423
299.47/300.36	c bounds - >= 149 @ 299.424
299.47/300.36	c bounds - >= 150 @ 299.425
299.47/300.36	c bounds - >= 151 @ 299.426
299.67/300.54	c bounds - >= 152 @ 299.427
299.67/300.54	c bounds - >= 153 @ 299.429
299.67/300.54	c bounds - >= 154 @ 299.429
299.67/300.54	c bounds - >= 155 @ 299.43
299.67/300.54	c bounds - >= 156 @ 299.431
299.67/300.54	c bounds - >= 157 @ 299.432
299.67/300.54	c bounds - >= 158 @ 299.433
299.67/300.54	c bounds - >= 159 @ 299.434
299.67/300.54	c bounds - >= 160 @ 299.436
299.67/300.54	c bounds - >= 161 @ 299.437
299.67/300.54	c bounds - >= 162 @ 299.438
299.67/300.54	c bounds - >= 163 @ 299.439
299.67/300.54	c bounds - >= 164 @ 299.44
299.67/300.54	c bounds - >= 165 @ 299.441
299.67/300.54	c bounds - >= 166 @ 299.442
299.67/300.54	c bounds - >= 167 @ 299.443
299.67/300.54	c bounds - >= 168 @ 299.444
299.67/300.54	c bounds - >= 169 @ 299.445
299.67/300.54	c bounds - >= 170 @ 299.446
299.67/300.54	c bounds - >= 171 @ 299.447
299.67/300.54	c bounds - >= 172 @ 299.448
299.67/300.54	c bounds - >= 173 @ 299.45
299.67/300.54	c bounds - >= 174 @ 299.451
299.67/300.54	c bounds - >= 175 @ 299.452
299.67/300.54	c bounds - >= 176 @ 299.453
299.67/300.54	c bounds - >= 177 @ 299.454
299.67/300.54	c bounds - >= 178 @ 299.456
299.67/300.54	c bounds - >= 179 @ 299.457
299.67/300.54	c bounds - >= 180 @ 299.458
299.67/300.54	c bounds - >= 181 @ 299.459
299.67/300.54	c bounds - >= 182 @ 299.46
299.67/300.54	c bounds - >= 183 @ 299.461
299.67/300.54	c bounds - >= 184 @ 299.462
299.67/300.54	c bounds - >= 185 @ 299.463
299.67/300.54	c bounds - >= 186 @ 299.464
299.67/300.54	c bounds - >= 187 @ 299.465
299.67/300.54	c bounds - >= 188 @ 299.466
299.67/300.54	c bounds - >= 189 @ 299.467
299.67/300.54	c bounds - >= 190 @ 299.468
299.67/300.54	c bounds - >= 191 @ 299.469
299.67/300.54	c bounds - >= 192 @ 299.47
299.67/300.54	c bounds - >= 193 @ 299.471
299.67/300.54	c bounds - >= 194 @ 299.472
299.67/300.54	c bounds - >= 195 @ 299.473
299.67/300.54	c bounds - >= 196 @ 299.474
299.67/300.54	c bounds - >= 197 @ 299.475
299.67/300.54	c bounds - >= 198 @ 299.476
299.67/300.54	c bounds - >= 199 @ 299.477
299.67/300.54	c bounds - >= 200 @ 299.478
299.67/300.54	c bounds - >= 201 @ 299.479
299.67/300.54	c bounds - >= 202 @ 299.48
299.67/300.54	c bounds - >= 203 @ 299.482
299.67/300.54	c bounds - >= 204 @ 299.483
299.67/300.54	c bounds - >= 205 @ 299.484
299.67/300.54	c bounds - >= 206 @ 299.485
299.67/300.54	c bounds - >= 207 @ 299.486
299.67/300.54	c bounds - >= 208 @ 299.487
299.67/300.54	c bounds - >= 209 @ 299.488
299.67/300.54	c bounds - >= 210 @ 299.489
299.67/300.54	c bounds - >= 211 @ 299.49
299.67/300.54	c bounds - >= 212 @ 299.491
299.67/300.54	c bounds - >= 213 @ 299.492
299.67/300.54	c bounds - >= 214 @ 299.493
299.67/300.54	c bounds - >= 215 @ 299.494
299.67/300.54	c bounds - >= 216 @ 299.495
299.67/300.54	c bounds - >= 217 @ 299.496
299.67/300.54	c bounds - >= 218 @ 299.497
299.67/300.54	c bounds - >= 219 @ 299.498
299.67/300.54	c bounds - >= 220 @ 299.498
299.67/300.54	c bounds - >= 221 @ 299.499
299.67/300.54	c bounds - >= 222 @ 299.5
299.67/300.54	c bounds - >= 223 @ 299.501
299.67/300.54	c bounds - >= 224 @ 299.502
299.67/300.54	c bounds - >= 225 @ 299.503
299.67/300.54	c bounds - >= 226 @ 299.504
299.67/300.54	c bounds - >= 227 @ 299.506
299.67/300.54	c bounds - >= 228 @ 299.507
299.67/300.54	c bounds - >= 229 @ 299.508
299.67/300.54	c bounds - >= 230 @ 299.509
299.67/300.54	c bounds - >= 231 @ 299.51
299.67/300.54	c bounds - >= 232 @ 299.511
299.67/300.54	c bounds - >= 233 @ 299.512
299.67/300.54	c bounds - >= 234 @ 299.513
299.67/300.54	c bounds - >= 235 @ 299.514
299.67/300.54	c bounds - >= 236 @ 299.515
299.67/300.54	c bounds - >= 237 @ 299.516
299.67/300.54	c bounds - >= 238 @ 299.517
299.67/300.54	c bounds - >= 239 @ 299.518
299.67/300.54	c bounds - >= 240 @ 299.519
299.67/300.54	c bounds - >= 241 @ 299.52
299.67/300.54	c bounds - >= 242 @ 299.521
299.67/300.54	c bounds - >= 243 @ 299.522
299.67/300.54	c bounds - >= 244 @ 299.523
299.67/300.54	c bounds - >= 245 @ 299.524
299.67/300.54	c bounds - >= 246 @ 299.525
299.67/300.54	c bounds - >= 247 @ 299.527
299.67/300.54	c bounds - >= 248 @ 299.528
299.67/300.54	c bounds - >= 249 @ 299.529
299.67/300.54	c bounds - >= 250 @ 299.53
299.67/300.54	c bounds - >= 251 @ 299.531
299.67/300.54	c bounds - >= 252 @ 299.532
299.67/300.54	c bounds - >= 253 @ 299.533
299.67/300.54	c bounds - >= 254 @ 299.534
299.67/300.54	c bounds - >= 255 @ 299.535
299.67/300.54	c bounds - >= 256 @ 299.536
299.67/300.54	c bounds - >= 257 @ 299.537
299.67/300.54	c bounds - >= 258 @ 299.538
299.67/300.54	c bounds - >= 259 @ 299.539
299.67/300.54	c bounds - >= 260 @ 299.54
299.67/300.54	c bounds - >= 261 @ 299.541
299.67/300.54	c bounds - >= 262 @ 299.542
299.67/300.54	c bounds - >= 263 @ 299.543
299.67/300.54	c bounds - >= 264 @ 299.544
299.67/300.54	c bounds - >= 265 @ 299.545
299.67/300.54	c bounds - >= 266 @ 299.546
299.67/300.54	c bounds - >= 267 @ 299.547
299.67/300.54	c bounds - >= 268 @ 299.548
299.67/300.54	c bounds - >= 269 @ 299.549
299.67/300.54	c bounds - >= 270 @ 299.55
299.67/300.54	c bounds - >= 271 @ 299.551
299.67/300.54	c bounds - >= 272 @ 299.552
299.67/300.54	c bounds - >= 273 @ 299.553
299.67/300.54	c bounds - >= 274 @ 299.554
299.67/300.54	c bounds - >= 275 @ 299.555
299.67/300.54	c bounds - >= 276 @ 299.556
299.67/300.54	c bounds - >= 277 @ 299.557
299.67/300.54	c bounds - >= 278 @ 299.559
299.67/300.54	c bounds - >= 279 @ 299.559
299.67/300.54	c bounds - >= 280 @ 299.56
299.67/300.54	c bounds - >= 281 @ 299.561
299.67/300.54	c bounds - >= 282 @ 299.563
299.67/300.54	c bounds - >= 283 @ 299.564
299.67/300.54	c bounds - >= 284 @ 299.565
299.67/300.54	c bounds - >= 285 @ 299.566
299.67/300.54	c bounds - >= 286 @ 299.567
299.67/300.54	c bounds - >= 287 @ 299.568
299.67/300.54	c bounds - >= 288 @ 299.569
299.67/300.54	c bounds - >= 289 @ 299.57
299.67/300.54	c bounds - >= 290 @ 299.572
299.67/300.54	c bounds - >= 291 @ 299.573
299.67/300.54	c bounds - >= 292 @ 299.574
299.67/300.54	c bounds - >= 293 @ 299.575
299.67/300.54	c bounds - >= 294 @ 299.576
299.67/300.54	c bounds - >= 295 @ 299.577
299.67/300.54	c bounds - >= 296 @ 299.578
299.67/300.54	c bounds - >= 297 @ 299.579
299.67/300.54	c bounds - >= 298 @ 299.58
299.87/300.73	c bounds - >= 299 @ 299.582
299.87/300.73	c bounds - >= 300 @ 299.583
299.87/300.73	c bounds - >= 301 @ 299.584
299.87/300.73	c bounds - >= 302 @ 299.585
299.87/300.73	c bounds - >= 303 @ 299.586
299.87/300.73	c bounds - >= 304 @ 299.587
299.87/300.73	c bounds - >= 305 @ 299.588
299.87/300.73	c bounds - >= 306 @ 299.589
299.87/300.73	c bounds - >= 307 @ 299.591
299.87/300.73	c bounds - >= 308 @ 299.592
299.87/300.73	c bounds - >= 309 @ 299.593
299.87/300.73	c bounds - >= 310 @ 299.594
299.87/300.73	c bounds - >= 311 @ 299.595
299.87/300.73	c bounds - >= 312 @ 299.596
299.87/300.73	c bounds - >= 313 @ 299.597
299.87/300.73	c bounds - >= 314 @ 299.598
299.87/300.73	c bounds - >= 315 @ 299.599
299.87/300.73	c bounds - >= 316 @ 299.6
299.87/300.73	c bounds - >= 317 @ 299.601
299.87/300.73	c bounds - >= 318 @ 299.602
299.87/300.73	c bounds - >= 319 @ 299.603
299.87/300.73	c bounds - >= 320 @ 299.604
299.87/300.73	c bounds - >= 321 @ 299.605
299.87/300.73	c bounds - >= 322 @ 299.606
299.87/300.73	c bounds - >= 323 @ 299.607
299.87/300.73	c bounds - >= 324 @ 299.608
299.87/300.73	c bounds - >= 325 @ 299.609
299.87/300.73	c bounds - >= 326 @ 299.61
299.87/300.73	c bounds - >= 327 @ 299.612
299.87/300.73	c bounds - >= 328 @ 299.613
299.87/300.73	c bounds - >= 329 @ 299.614
299.87/300.73	c bounds - >= 330 @ 299.615
299.87/300.73	c bounds - >= 331 @ 299.616
299.87/300.73	c bounds - >= 332 @ 299.618
299.87/300.73	c bounds - >= 333 @ 299.619
299.87/300.73	c bounds - >= 334 @ 299.62
299.87/300.73	c bounds - >= 335 @ 299.621
299.87/300.73	c bounds - >= 336 @ 299.622
299.87/300.73	c bounds - >= 337 @ 299.623
299.87/300.73	c bounds - >= 338 @ 299.624
299.87/300.73	c bounds - >= 339 @ 299.625
299.87/300.73	c bounds - >= 340 @ 299.626
299.87/300.73	c bounds - >= 341 @ 299.627
299.87/300.73	c bounds - >= 342 @ 299.628
299.87/300.73	c bounds - >= 343 @ 299.629
299.87/300.73	c bounds - >= 344 @ 299.63
299.87/300.73	c bounds - >= 345 @ 299.631
299.87/300.73	c bounds - >= 346 @ 299.632
299.87/300.73	c bounds - >= 347 @ 299.633
299.87/300.73	c bounds - >= 348 @ 299.634
299.87/300.73	c bounds - >= 349 @ 299.635
299.87/300.73	c bounds - >= 350 @ 299.636
299.87/300.73	c bounds - >= 351 @ 299.637
299.87/300.73	c bounds - >= 352 @ 299.638
299.87/300.73	c bounds - >= 353 @ 299.639
299.87/300.73	c bounds - >= 354 @ 299.64
299.87/300.73	c bounds - >= 355 @ 299.641
299.87/300.73	c bounds - >= 356 @ 299.642
299.87/300.73	c bounds - >= 357 @ 299.643
299.87/300.73	c bounds - >= 358 @ 299.644
299.87/300.73	c bounds - >= 359 @ 299.645
299.87/300.73	c bounds - >= 360 @ 299.646
299.87/300.73	c bounds - >= 361 @ 299.647
299.87/300.73	c bounds - >= 362 @ 299.648
299.87/300.73	c bounds - >= 363 @ 299.649
299.87/300.73	c bounds - >= 364 @ 299.65
299.87/300.73	c bounds - >= 365 @ 299.651
299.87/300.73	c bounds - >= 366 @ 299.652
299.87/300.73	c bounds - >= 367 @ 299.653
299.87/300.73	c bounds - >= 368 @ 299.654
299.87/300.73	c bounds - >= 369 @ 299.655
299.87/300.73	c bounds - >= 370 @ 299.656
299.87/300.73	c bounds - >= 371 @ 299.657
299.87/300.73	c bounds - >= 372 @ 299.658
299.87/300.73	c bounds - >= 373 @ 299.658
299.87/300.73	c bounds - >= 374 @ 299.659
299.87/300.73	c bounds - >= 375 @ 299.66
299.87/300.73	c bounds - >= 376 @ 299.661
299.87/300.73	c bounds - >= 377 @ 299.663
299.87/300.73	c bounds - >= 378 @ 299.664
299.87/300.73	c bounds - >= 379 @ 299.665
299.87/300.73	c bounds - >= 380 @ 299.665
299.87/300.73	c bounds - >= 381 @ 299.666
299.87/300.73	c bounds - >= 382 @ 299.667
299.87/300.73	c bounds - >= 383 @ 299.668
299.87/300.73	c bounds - >= 384 @ 299.67
299.87/300.73	c bounds - >= 385 @ 299.671
299.87/300.73	c bounds - >= 386 @ 299.672
299.87/300.73	c bounds - >= 387 @ 299.672
299.87/300.73	c bounds - >= 388 @ 299.673
299.87/300.73	c bounds - >= 389 @ 299.674
299.87/300.73	c bounds - >= 390 @ 299.675
299.87/300.73	c bounds - >= 391 @ 299.677
299.87/300.73	c bounds - >= 392 @ 299.678
299.87/300.73	c bounds - >= 393 @ 299.679
299.87/300.73	c bounds - >= 394 @ 299.68
299.87/300.73	c bounds - >= 395 @ 299.681
299.87/300.73	c bounds - >= 396 @ 299.682
299.87/300.73	c bounds - >= 397 @ 299.683
299.87/300.73	c bounds - >= 398 @ 299.684
299.87/300.73	c bounds - >= 399 @ 299.685
299.87/300.73	c bounds - >= 400 @ 299.686
299.87/300.73	c bounds - >= 401 @ 299.686
299.87/300.73	c bounds - >= 402 @ 299.687
299.87/300.73	c bounds - >= 403 @ 299.688
299.87/300.73	c bounds - >= 404 @ 299.689
299.87/300.73	c bounds - >= 405 @ 299.691
299.87/300.73	c bounds - >= 406 @ 299.692
299.87/300.73	c bounds - >= 407 @ 299.693
299.87/300.73	c bounds - >= 408 @ 299.694
299.87/300.73	c bounds - >= 409 @ 299.695
299.87/300.73	c bounds - >= 410 @ 299.696
299.87/300.73	c bounds - >= 411 @ 299.696
299.87/300.73	c bounds - >= 412 @ 299.698
299.87/300.73	c bounds - >= 413 @ 299.699
299.87/300.73	c bounds - >= 414 @ 299.7
299.87/300.73	c bounds - >= 415 @ 299.702
299.87/300.73	c bounds - >= 416 @ 299.703
299.87/300.73	c bounds - >= 417 @ 299.704
299.87/300.73	c bounds - >= 418 @ 299.705
299.87/300.73	c bounds - >= 419 @ 299.706
299.87/300.73	c bounds - >= 420 @ 299.707
299.87/300.73	c bounds - >= 421 @ 299.709
299.87/300.73	c bounds - >= 422 @ 299.71
299.87/300.73	c bounds - >= 423 @ 299.711
299.87/300.73	c bounds - >= 424 @ 299.712
299.87/300.73	c bounds - >= 425 @ 299.713
299.87/300.73	c bounds - >= 426 @ 299.714
299.87/300.73	c bounds - >= 427 @ 299.716
299.87/300.73	c bounds - >= 428 @ 299.717
299.87/300.73	c bounds - >= 429 @ 299.718
299.87/300.73	c bounds - >= 430 @ 299.72
299.87/300.73	c bounds - >= 431 @ 299.721
299.87/300.73	c bounds - >= 432 @ 299.722
299.87/300.73	c bounds - >= 433 @ 299.723
299.87/300.73	c bounds - >= 434 @ 299.725
299.87/300.73	c bounds - >= 435 @ 299.726
299.87/300.73	c bounds - >= 436 @ 299.726
299.87/300.73	c bounds - >= 437 @ 299.728
299.87/300.73	c bounds - >= 438 @ 299.729
299.87/300.73	c bounds - >= 439 @ 299.73
299.87/300.73	c bounds - >= 440 @ 299.732
299.87/300.73	c bounds - >= 441 @ 299.733
299.87/300.73	c bounds - >= 442 @ 299.733
299.87/300.73	c bounds - >= 443 @ 299.735
299.87/300.73	c bounds - >= 444 @ 299.735
299.87/300.73	c bounds - >= 445 @ 299.736
300.07/300.94	c bounds - >= 446 @ 299.738
300.07/300.94	c bounds - >= 447 @ 299.738
300.07/300.94	c bounds - >= 448 @ 299.739
300.07/300.94	c bounds - >= 449 @ 299.741
300.07/300.94	c bounds - >= 450 @ 299.741
300.07/300.94	c bounds - >= 451 @ 299.742
300.07/300.94	c bounds - >= 452 @ 299.744
300.07/300.94	c bounds - >= 453 @ 299.744
300.07/300.94	c bounds - >= 454 @ 299.744
300.07/300.94	c bounds - >= 455 @ 299.746
300.07/300.94	c bounds - >= 456 @ 299.746
300.07/300.94	c bounds - >= 457 @ 299.747
300.07/300.94	c bounds - >= 458 @ 299.749
300.07/300.94	c bounds - >= 459 @ 299.749
300.07/300.94	c bounds - >= 460 @ 299.75
300.07/300.94	c bounds - >= 461 @ 299.752
300.07/300.94	c bounds - >= 462 @ 299.752
300.07/300.94	c bounds - >= 463 @ 299.754
300.07/300.94	c bounds - >= 464 @ 299.755
300.07/300.94	c bounds - >= 465 @ 299.755
300.07/300.94	c bounds - >= 466 @ 299.756
300.07/300.94	c bounds - >= 467 @ 299.758
300.07/300.94	c bounds - >= 468 @ 299.758
300.07/300.94	c bounds - >= 469 @ 299.759
300.07/300.94	c bounds - >= 470 @ 299.761
300.07/300.94	c bounds - >= 471 @ 299.761
300.07/300.94	c bounds - >= 472 @ 299.763
300.07/300.94	c bounds - >= 473 @ 299.763
300.07/300.94	c bounds - >= 474 @ 299.764
300.07/300.94	c bounds - >= 475 @ 299.766
300.07/300.94	c bounds - >= 476 @ 299.767
300.07/300.94	c bounds - >= 477 @ 299.768
300.07/300.94	c bounds - >= 478 @ 299.77
300.07/300.94	c bounds - >= 479 @ 299.77
300.07/300.94	c bounds - >= 480 @ 299.772
300.07/300.94	c bounds - >= 481 @ 299.773
300.07/300.94	c bounds - >= 482 @ 299.773
300.07/300.94	c bounds - >= 483 @ 299.775
300.07/300.94	c bounds - >= 484 @ 299.776
300.07/300.94	c bounds - >= 485 @ 299.776
300.07/300.94	c bounds - >= 486 @ 299.778
300.07/300.94	c bounds - >= 487 @ 299.779
300.07/300.94	c bounds - >= 488 @ 299.78
300.07/300.94	c bounds - >= 489 @ 299.782
300.07/300.94	c bounds - >= 490 @ 299.783
300.07/300.94	c bounds - >= 491 @ 299.783
300.07/300.94	c bounds - >= 492 @ 299.785
300.07/300.94	c bounds - >= 493 @ 299.786
300.07/300.94	c bounds - >= 494 @ 299.786
300.07/300.94	c bounds - >= 495 @ 299.788
300.07/300.94	c bounds - >= 496 @ 299.788
300.07/300.94	c bounds - >= 497 @ 299.789
300.07/300.94	c bounds - >= 498 @ 299.791
300.07/300.94	c bounds - >= 499 @ 299.792
300.07/300.94	c bounds - >= 500 @ 299.793
300.07/300.94	c bounds - >= 501 @ 299.794
300.07/300.94	c bounds - >= 502 @ 299.794
300.07/300.94	c bounds - >= 503 @ 299.795
300.07/300.94	c bounds - >= 504 @ 299.796
300.07/300.94	c bounds - >= 505 @ 299.797
300.07/300.94	c bounds - >= 506 @ 299.799
300.07/300.94	c bounds - >= 507 @ 299.799
300.07/300.94	c bounds - >= 508 @ 299.8
300.07/300.94	c bounds - >= 509 @ 299.802
300.07/300.94	c bounds - >= 510 @ 299.803
300.07/300.94	c bounds - >= 511 @ 299.805
300.07/300.94	c bounds - >= 512 @ 299.806
300.07/300.94	c bounds - >= 513 @ 299.807
300.07/300.94	c bounds - >= 514 @ 299.809
300.07/300.94	c bounds - >= 515 @ 299.809
300.07/300.94	c bounds - >= 516 @ 299.81
300.07/300.94	c bounds - >= 517 @ 299.812
300.07/300.94	c bounds - >= 518 @ 299.812
300.07/300.94	c bounds - >= 519 @ 299.814
300.07/300.94	c bounds - >= 520 @ 299.815
300.07/300.94	c bounds - >= 521 @ 299.815
300.07/300.94	c bounds - >= 522 @ 299.817
300.07/300.94	c bounds - >= 523 @ 299.817
300.07/300.94	c bounds - >= 524 @ 299.818
300.07/300.94	c bounds - >= 525 @ 299.818
300.07/300.94	c bounds - >= 526 @ 299.819
300.07/300.94	c bounds - >= 527 @ 299.821
300.07/300.94	c bounds - >= 528 @ 299.821
300.07/300.94	c bounds - >= 529 @ 299.822
300.07/300.94	c bounds - >= 530 @ 299.823
300.07/300.94	c bounds - >= 531 @ 299.823
300.07/300.94	c bounds - >= 532 @ 299.825
300.07/300.94	c bounds - >= 533 @ 299.826
300.07/300.94	c bounds - >= 534 @ 299.827
300.07/300.94	c bounds - >= 535 @ 299.829
300.07/300.94	c bounds - >= 536 @ 299.829
300.07/300.94	c bounds - >= 537 @ 299.83
300.07/300.94	c bounds - >= 538 @ 299.832
300.07/300.94	c bounds - >= 539 @ 299.832
300.07/300.94	c bounds - >= 540 @ 299.834
300.07/300.94	c bounds - >= 541 @ 299.834
300.07/300.94	c bounds - >= 542 @ 299.835
300.07/300.94	c bounds - >= 543 @ 299.836
300.07/300.94	c bounds - >= 544 @ 299.836
300.07/300.94	c bounds - >= 545 @ 299.838
300.07/300.94	c bounds - >= 546 @ 299.838
300.07/300.94	c bounds - >= 547 @ 299.839
300.07/300.94	c bounds - >= 548 @ 299.841
300.07/300.94	c bounds - >= 549 @ 299.841
300.07/300.94	c bounds - >= 550 @ 299.843
300.07/300.94	c bounds - >= 551 @ 299.843
300.07/300.94	c bounds - >= 552 @ 299.844
300.07/300.94	c bounds - >= 553 @ 299.846
300.07/300.94	c bounds - >= 554 @ 299.846
300.07/300.94	c bounds - >= 555 @ 299.847
300.07/300.94	c bounds - >= 556 @ 299.849
300.07/300.94	c bounds - >= 557 @ 299.85
300.07/300.94	c bounds - >= 558 @ 299.852
300.07/300.94	c bounds - >= 559 @ 299.852
300.07/300.94	c bounds - >= 560 @ 299.853
300.07/300.94	c bounds - >= 561 @ 299.855
300.07/300.94	c bounds - >= 562 @ 299.855
300.07/300.94	c bounds - >= 563 @ 299.856
300.07/300.94	c bounds - >= 564 @ 299.857
300.07/300.94	c bounds - >= 565 @ 299.857
300.07/300.94	c bounds - >= 566 @ 299.859
300.07/300.94	c bounds - >= 567 @ 299.86
300.07/300.94	c bounds - >= 568 @ 299.861
300.07/300.94	c bounds - >= 569 @ 299.862
300.07/300.94	c bounds - >= 570 @ 299.862
300.07/300.94	c bounds - >= 571 @ 299.864
300.07/300.94	c bounds - >= 572 @ 299.865
300.07/300.94	c bounds - >= 573 @ 299.867
300.07/300.94	c bounds - >= 574 @ 299.867
300.07/300.94	c bounds - >= 575 @ 299.869
300.07/300.94	c bounds - >= 576 @ 299.869
300.07/300.94	c bounds - >= 577 @ 299.87
300.07/300.94	c bounds - >= 578 @ 299.87
300.07/300.94	c bounds - >= 579 @ 299.872
300.07/300.94	c bounds - >= 580 @ 299.872
300.07/300.94	c bounds - >= 581 @ 299.874
300.07/300.94	c bounds - >= 582 @ 299.875
300.07/300.94	c bounds - >= 583 @ 299.876
300.07/300.94	c bounds - >= 584 @ 299.878
300.07/300.94	c bounds - >= 585 @ 299.878
300.07/300.94	c bounds - >= 586 @ 299.88
300.07/300.94	c bounds - >= 587 @ 299.88
300.07/300.94	c bounds - >= 588 @ 299.881
300.07/300.94	c bounds - >= 589 @ 299.883
300.07/300.94	c bounds - >= 590 @ 299.883
300.07/300.94	c bounds - >= 591 @ 299.884
300.07/300.94	c bounds - >= 592 @ 299.886
300.27/301.15	c bounds - >= 593 @ 299.887
300.27/301.15	c bounds - >= 594 @ 299.889
300.27/301.15	c bounds - >= 595 @ 299.889
300.27/301.15	c bounds - >= 596 @ 299.891
300.27/301.15	c bounds - >= 597 @ 299.892
300.27/301.15	c bounds - >= 598 @ 299.893
300.27/301.15	c bounds - >= 599 @ 299.894
300.27/301.15	c bounds - >= 600 @ 299.894
300.27/301.15	c bounds - >= 601 @ 299.896
300.27/301.15	c bounds - >= 602 @ 299.897
300.27/301.15	c bounds - >= 603 @ 299.898
300.27/301.15	c bounds - >= 604 @ 299.9
300.27/301.15	c bounds - >= 605 @ 299.901
300.27/301.15	c bounds - >= 606 @ 299.902
300.27/301.15	c bounds - >= 607 @ 299.903
300.27/301.15	c bounds - >= 608 @ 299.904
300.27/301.15	c bounds - >= 609 @ 299.904
300.27/301.15	c bounds - >= 610 @ 299.906
300.27/301.15	c bounds - >= 611 @ 299.906
300.27/301.15	c bounds - >= 612 @ 299.907
300.27/301.15	c bounds - >= 613 @ 299.909
300.27/301.15	c bounds - >= 614 @ 299.91
300.27/301.15	c bounds - >= 615 @ 299.911
300.27/301.15	c bounds - >= 616 @ 299.912
300.27/301.15	c bounds - >= 617 @ 299.914
300.27/301.15	c bounds - >= 618 @ 299.914
300.27/301.15	c bounds - >= 619 @ 299.915
300.27/301.15	c bounds - >= 620 @ 299.916
300.27/301.15	c bounds - >= 621 @ 299.917
300.27/301.15	c bounds - >= 622 @ 299.919
300.27/301.15	c bounds - >= 623 @ 299.92
300.27/301.15	c bounds - >= 624 @ 299.922
300.27/301.15	c bounds - >= 625 @ 299.923
300.27/301.15	c bounds - >= 626 @ 299.924
300.27/301.15	c bounds - >= 627 @ 299.926
300.27/301.15	c bounds - >= 628 @ 299.928
300.27/301.15	c bounds - >= 629 @ 299.928
300.27/301.15	c bounds - >= 630 @ 299.929
300.27/301.15	c bounds - >= 631 @ 299.931
300.27/301.15	c bounds - >= 632 @ 299.932
300.27/301.15	c bounds - >= 633 @ 299.933
300.27/301.15	c bounds - >= 634 @ 299.934
300.27/301.15	c bounds - >= 635 @ 299.936
300.27/301.15	c bounds - >= 636 @ 299.937
300.27/301.15	c bounds - >= 637 @ 299.938
300.27/301.15	c bounds - >= 638 @ 299.939
300.27/301.15	c bounds - >= 639 @ 299.941
300.27/301.15	c bounds - >= 640 @ 299.941
300.27/301.15	c bounds - >= 641 @ 299.943
300.27/301.15	c bounds - >= 642 @ 299.944
300.27/301.15	c bounds - >= 643 @ 299.945
300.27/301.15	c bounds - >= 644 @ 299.947
300.27/301.15	c bounds - >= 645 @ 299.948
300.27/301.15	c bounds - >= 646 @ 299.95
300.27/301.15	c bounds - >= 647 @ 299.951
300.27/301.15	c bounds - >= 648 @ 299.952
300.27/301.15	c bounds - >= 649 @ 299.953
300.27/301.15	c bounds - >= 650 @ 299.954
300.27/301.15	c bounds - >= 651 @ 299.955
300.27/301.15	c bounds - >= 652 @ 299.956
300.27/301.15	c bounds - >= 653 @ 299.957
300.27/301.15	c bounds - >= 654 @ 299.958
300.27/301.15	c bounds - >= 655 @ 299.958
300.27/301.15	c bounds - >= 656 @ 299.959
300.27/301.15	c bounds - >= 657 @ 299.96
300.27/301.15	c bounds - >= 658 @ 299.961
300.27/301.15	c bounds - >= 659 @ 299.962
300.27/301.15	c bounds - >= 660 @ 299.963
300.27/301.15	c bounds - >= 661 @ 299.964
300.27/301.15	c bounds - >= 662 @ 299.965
300.27/301.15	c bounds - >= 663 @ 299.966
300.27/301.15	c bounds - >= 664 @ 299.966
300.27/301.15	c bounds - >= 665 @ 299.967
300.27/301.15	c bounds - >= 666 @ 299.968
300.27/301.15	c bounds - >= 667 @ 299.969
300.27/301.15	c bounds - >= 668 @ 299.97
300.27/301.15	c bounds - >= 669 @ 299.971
300.27/301.15	c bounds - >= 670 @ 299.972
300.27/301.15	c bounds - >= 671 @ 299.973
300.27/301.15	c bounds - >= 672 @ 299.974
300.27/301.15	c bounds - >= 673 @ 299.975
300.27/301.15	c bounds - >= 674 @ 299.976
300.27/301.15	c bounds - >= 675 @ 299.977
300.27/301.15	c bounds - >= 676 @ 299.979
300.27/301.15	c bounds - >= 677 @ 299.98
300.27/301.15	c bounds - >= 678 @ 299.982
300.27/301.15	c bounds - >= 679 @ 299.983
300.27/301.15	c bounds - >= 680 @ 299.984
300.27/301.15	c bounds - >= 681 @ 299.986
300.27/301.15	c bounds - >= 682 @ 299.987
300.27/301.15	c bounds - >= 683 @ 299.988
300.27/301.15	c bounds - >= 684 @ 299.988
300.27/301.15	c bounds - >= 685 @ 299.989
300.27/301.15	c bounds - >= 686 @ 299.99
300.27/301.15	c bounds - >= 687 @ 299.99
300.27/301.15	c bounds - >= 688 @ 299.991
300.27/301.15	c bounds - >= 689 @ 299.992
300.27/301.15	c bounds - >= 690 @ 299.994
300.27/301.15	c bounds - >= 691 @ 299.995
300.27/301.15	c bounds - >= 692 @ 299.996
300.27/301.15	c bounds - >= 693 @ 299.997
300.27/301.15	c bounds - >= 694 @ 299.998
300.27/301.15	c bounds - >= 695 @ 299.999
300.27/301.15	c bounds - >= 696 @ 300
300.27/301.15	c bounds - >= 697 @ 300
300.27/301.15	c bounds - >= 698 @ 300.001
300.27/301.15	c bounds - >= 699 @ 300.002
300.27/301.15	c bounds - >= 700 @ 300.003
300.27/301.15	c bounds - >= 701 @ 300.004
300.27/301.15	c bounds - >= 702 @ 300.005
300.27/301.15	c bounds - >= 703 @ 300.006
300.27/301.15	c bounds - >= 704 @ 300.007
300.27/301.15	c bounds - >= 705 @ 300.008
300.27/301.15	c bounds - >= 706 @ 300.009
300.27/301.15	c bounds - >= 707 @ 300.011
300.27/301.15	c bounds - >= 708 @ 300.012
300.27/301.15	c bounds - >= 709 @ 300.013
300.27/301.15	c bounds - >= 710 @ 300.014
300.27/301.15	c bounds - >= 711 @ 300.015
300.27/301.15	c bounds - >= 712 @ 300.016
300.27/301.15	c bounds - >= 713 @ 300.016
300.27/301.15	c bounds - >= 714 @ 300.017
300.27/301.15	c bounds - >= 715 @ 300.017
300.27/301.15	c bounds - >= 716 @ 300.018
300.27/301.15	c bounds - >= 717 @ 300.019
300.27/301.15	c bounds - >= 718 @ 300.02
300.27/301.15	c bounds - >= 719 @ 300.021
300.27/301.15	c bounds - >= 720 @ 300.023
300.27/301.15	c bounds - >= 721 @ 300.024
300.27/301.15	c bounds - >= 722 @ 300.026
300.27/301.15	c bounds - >= 723 @ 300.027
300.27/301.15	c bounds - >= 724 @ 300.028
300.27/301.15	c bounds - >= 725 @ 300.028
300.27/301.15	c bounds - >= 726 @ 300.029
300.27/301.15	c bounds - >= 727 @ 300.029
300.27/301.15	c bounds - >= 728 @ 300.03
300.27/301.15	c bounds - >= 729 @ 300.03
300.27/301.15	c bounds - >= 730 @ 300.031
300.27/301.15	c bounds - >= 731 @ 300.032
300.27/301.15	c bounds - >= 732 @ 300.033
300.27/301.15	c bounds - >= 733 @ 300.034
300.27/301.15	c bounds - >= 734 @ 300.035
300.27/301.15	c bounds - >= 735 @ 300.037
300.27/301.15	c bounds - >= 736 @ 300.038
300.27/301.15	c bounds - >= 737 @ 300.039
300.27/301.15	c bounds - >= 738 @ 300.04
300.27/301.15	c bounds - >= 739 @ 300.041
300.47/301.38	c bounds - >= 740 @ 300.042
300.47/301.38	c bounds - >= 741 @ 300.043
300.47/301.38	c bounds - >= 742 @ 300.045
300.47/301.38	c bounds - >= 743 @ 300.046
300.47/301.38	c bounds - >= 744 @ 300.047
300.47/301.38	c bounds - >= 745 @ 300.048
300.47/301.38	c bounds - >= 746 @ 300.049
300.47/301.38	c bounds - >= 747 @ 300.05
300.47/301.38	c bounds - >= 748 @ 300.052
300.47/301.38	c bounds - >= 749 @ 300.053
300.47/301.38	c bounds - >= 750 @ 300.054
300.47/301.38	c bounds - >= 751 @ 300.055
300.47/301.38	c bounds - >= 752 @ 300.055
300.47/301.38	c bounds - >= 753 @ 300.056
300.47/301.38	c bounds - >= 754 @ 300.057
300.47/301.38	c bounds - >= 755 @ 300.058
300.47/301.38	c bounds - >= 756 @ 300.058
300.47/301.38	c bounds - >= 757 @ 300.059
300.47/301.38	c bounds - >= 758 @ 300.06
300.47/301.38	c bounds - >= 759 @ 300.061
300.47/301.38	c bounds - >= 760 @ 300.061
300.47/301.38	c bounds - >= 761 @ 300.062
300.47/301.38	c bounds - >= 762 @ 300.062
300.47/301.38	c bounds - >= 763 @ 300.063
300.47/301.38	c bounds - >= 764 @ 300.064
300.47/301.38	c bounds - >= 765 @ 300.065
300.47/301.38	c bounds - >= 766 @ 300.066
300.47/301.38	c bounds - >= 767 @ 300.068
300.47/301.38	c bounds - >= 768 @ 300.069
300.47/301.38	c bounds - >= 769 @ 300.071
300.47/301.38	c bounds - >= 770 @ 300.072
300.47/301.38	c bounds - >= 771 @ 300.073
300.47/301.38	c bounds - >= 772 @ 300.074
300.47/301.38	c bounds - >= 773 @ 300.075
300.47/301.38	c bounds - >= 774 @ 300.076
300.47/301.38	c bounds - >= 775 @ 300.077
300.47/301.38	c bounds - >= 776 @ 300.079
300.47/301.38	c bounds - >= 777 @ 300.08
300.47/301.38	c bounds - >= 778 @ 300.082
300.47/301.38	c bounds - >= 779 @ 300.083
300.47/301.38	c bounds - >= 780 @ 300.084
300.47/301.38	c bounds - >= 781 @ 300.085
300.47/301.38	c bounds - >= 782 @ 300.086
300.47/301.38	c bounds - >= 783 @ 300.087
300.47/301.38	c bounds - >= 784 @ 300.088
300.47/301.38	c bounds - >= 785 @ 300.089
300.47/301.38	c bounds - >= 786 @ 300.09
300.47/301.38	c bounds - >= 787 @ 300.091
300.47/301.38	c bounds - >= 788 @ 300.091
300.47/301.38	c bounds - >= 789 @ 300.092
300.47/301.38	c bounds - >= 790 @ 300.093
300.47/301.38	c bounds - >= 791 @ 300.094
300.47/301.38	c bounds - >= 792 @ 300.095
300.47/301.38	c bounds - >= 793 @ 300.096
300.47/301.38	c bounds - >= 794 @ 300.096
300.47/301.38	c bounds - >= 795 @ 300.097
300.47/301.38	c bounds - >= 796 @ 300.097
300.47/301.38	c bounds - >= 797 @ 300.098
300.47/301.38	c bounds - >= 798 @ 300.099
300.47/301.38	c bounds - >= 799 @ 300.1
300.47/301.38	c bounds - >= 800 @ 300.1
300.47/301.38	c bounds - >= 801 @ 300.101
300.47/301.38	c bounds - >= 802 @ 300.102
300.47/301.38	c bounds - >= 803 @ 300.103
300.47/301.38	c bounds - >= 804 @ 300.104
300.47/301.38	c bounds - >= 805 @ 300.105
300.47/301.38	c bounds - >= 806 @ 300.106
300.47/301.38	c bounds - >= 807 @ 300.107
300.47/301.38	c bounds - >= 808 @ 300.108
300.47/301.38	c bounds - >= 809 @ 300.109
300.47/301.38	c bounds - >= 810 @ 300.11
300.47/301.38	c bounds - >= 811 @ 300.111
300.47/301.38	c bounds - >= 812 @ 300.112
300.47/301.38	c bounds - >= 813 @ 300.113
300.47/301.38	c bounds - >= 814 @ 300.113
300.47/301.38	c bounds - >= 815 @ 300.114
300.47/301.38	c bounds - >= 816 @ 300.114
300.47/301.38	c bounds - >= 817 @ 300.115
300.47/301.38	c bounds - >= 818 @ 300.116
300.47/301.38	c bounds - >= 819 @ 300.117
300.47/301.38	c bounds - >= 820 @ 300.118
300.47/301.38	c bounds - >= 821 @ 300.119
300.47/301.38	c bounds - >= 822 @ 300.12
300.47/301.38	c bounds - >= 823 @ 300.122
300.47/301.38	c bounds - >= 824 @ 300.123
300.47/301.38	c bounds - >= 825 @ 300.125
300.47/301.38	c bounds - >= 826 @ 300.126
300.47/301.38	c bounds - >= 827 @ 300.126
300.47/301.38	c bounds - >= 828 @ 300.127
300.47/301.38	c bounds - >= 829 @ 300.128
300.47/301.38	c bounds - >= 830 @ 300.129
300.47/301.38	c bounds - >= 831 @ 300.13
300.47/301.38	c bounds - >= 832 @ 300.131
300.47/301.38	c bounds - >= 833 @ 300.132
300.47/301.38	c bounds - >= 834 @ 300.133
300.47/301.38	c bounds - >= 835 @ 300.134
300.47/301.38	c bounds - >= 836 @ 300.135
300.47/301.38	c bounds - >= 837 @ 300.136
300.47/301.38	c bounds - >= 838 @ 300.137
300.47/301.38	c bounds - >= 839 @ 300.138
300.47/301.38	c bounds - >= 840 @ 300.139
300.47/301.38	c bounds - >= 841 @ 300.139
300.47/301.38	c bounds - >= 842 @ 300.14
300.47/301.38	c bounds - >= 843 @ 300.141
300.47/301.38	c bounds - >= 844 @ 300.142
300.47/301.38	c bounds - >= 845 @ 300.144
300.47/301.38	c bounds - >= 846 @ 300.145
300.47/301.38	c bounds - >= 847 @ 300.146
300.47/301.38	c bounds - >= 848 @ 300.147
300.47/301.38	c bounds - >= 849 @ 300.148
300.47/301.38	c bounds - >= 850 @ 300.149
300.47/301.38	c bounds - >= 851 @ 300.15
300.47/301.38	c bounds - >= 852 @ 300.151
300.47/301.38	c bounds - >= 853 @ 300.152
300.47/301.38	c bounds - >= 854 @ 300.153
300.47/301.38	c bounds - >= 855 @ 300.154
300.47/301.38	c bounds - >= 856 @ 300.155
300.47/301.38	c bounds - >= 857 @ 300.156
300.47/301.38	c bounds - >= 858 @ 300.157
300.47/301.38	c bounds - >= 859 @ 300.158
300.47/301.38	c bounds - >= 860 @ 300.159
300.47/301.38	c bounds - >= 861 @ 300.159
300.47/301.38	c bounds - >= 862 @ 300.16
300.47/301.38	c bounds - >= 863 @ 300.162
300.47/301.38	c bounds - >= 864 @ 300.163
300.47/301.38	c bounds - >= 865 @ 300.164
300.47/301.38	c bounds - >= 866 @ 300.165
300.47/301.38	c bounds - >= 867 @ 300.166
300.47/301.38	c bounds - >= 868 @ 300.167
300.47/301.38	c bounds - >= 869 @ 300.169
300.47/301.38	c bounds - >= 870 @ 300.17
300.47/301.38	c bounds - >= 871 @ 300.171
300.47/301.38	c bounds - >= 872 @ 300.172
300.47/301.38	c bounds - >= 873 @ 300.174
300.47/301.38	c bounds - >= 874 @ 300.175
300.47/301.38	c bounds - >= 875 @ 300.176
300.47/301.38	c bounds - >= 876 @ 300.178
300.47/301.38	c bounds - >= 877 @ 300.179
300.47/301.38	c bounds - >= 878 @ 300.18
300.47/301.38	c bounds - >= 879 @ 300.182
300.47/301.38	c bounds - >= 880 @ 300.183
300.47/301.38	c bounds - >= 881 @ 300.183
300.47/301.38	c bounds - >= 882 @ 300.184
300.47/301.38	c bounds - >= 883 @ 300.185
300.47/301.38	c bounds - >= 884 @ 300.186
300.47/301.38	c bounds - >= 885 @ 300.188
300.47/301.38	c bounds - >= 886 @ 300.19
300.77/301.62	c bounds - >= 887 @ 300.191
300.77/301.62	c bounds - >= 888 @ 300.193
300.77/301.62	c bounds - >= 889 @ 300.194
300.77/301.62	c bounds - >= 890 @ 300.195
300.77/301.62	c bounds - >= 891 @ 300.196
300.77/301.62	c bounds - >= 892 @ 300.197
300.77/301.62	c bounds - >= 893 @ 300.197
300.77/301.62	c bounds - >= 894 @ 300.197
300.77/301.62	c bounds - >= 895 @ 300.197
300.77/301.62	c bounds - >= 896 @ 300.199
300.77/301.62	c bounds - >= 897 @ 300.2
300.77/301.62	c bounds - >= 898 @ 300.201
300.77/301.62	c bounds - >= 899 @ 300.203
300.77/301.62	c bounds - >= 900 @ 300.203
300.77/301.62	c bounds - >= 901 @ 300.205
300.77/301.62	c bounds - >= 902 @ 300.206
300.77/301.62	c bounds - >= 903 @ 300.206
300.77/301.62	c bounds - >= 904 @ 300.208
300.77/301.62	c bounds - >= 905 @ 300.208
300.77/301.62	c bounds - >= 906 @ 300.209
300.77/301.62	c bounds - >= 907 @ 300.21
300.77/301.62	c bounds - >= 908 @ 300.211
300.77/301.62	c bounds - >= 909 @ 300.211
300.77/301.62	c bounds - >= 910 @ 300.212
300.77/301.62	c bounds - >= 911 @ 300.213
300.77/301.62	c bounds - >= 912 @ 300.214
300.77/301.62	c bounds - >= 913 @ 300.215
300.77/301.62	c bounds - >= 914 @ 300.215
300.77/301.62	c bounds - >= 915 @ 300.217
300.77/301.62	c bounds - >= 916 @ 300.217
300.77/301.62	c bounds - >= 917 @ 300.218
300.77/301.62	c bounds - >= 918 @ 300.219
300.77/301.62	c bounds - >= 919 @ 300.219
300.77/301.62	c bounds - >= 920 @ 300.221
300.77/301.62	c bounds - >= 921 @ 300.223
300.77/301.62	c bounds - >= 922 @ 300.223
300.77/301.62	c bounds - >= 923 @ 300.224
300.77/301.62	c bounds - >= 924 @ 300.225
300.77/301.62	c bounds - >= 925 @ 300.227
300.77/301.62	c bounds - >= 926 @ 300.228
300.77/301.62	c bounds - >= 927 @ 300.228
300.77/301.62	c bounds - >= 928 @ 300.23
300.77/301.62	c bounds - >= 929 @ 300.23
300.77/301.62	c bounds - >= 930 @ 300.231
300.77/301.62	c bounds - >= 931 @ 300.232
300.77/301.62	c bounds - >= 932 @ 300.232
300.77/301.62	c bounds - >= 933 @ 300.233
300.77/301.62	c bounds - >= 934 @ 300.234
300.77/301.62	c bounds - >= 935 @ 300.235
300.77/301.62	c bounds - >= 936 @ 300.237
300.77/301.62	c bounds - >= 937 @ 300.238
300.77/301.62	c bounds - >= 938 @ 300.239
300.77/301.62	c bounds - >= 939 @ 300.241
300.77/301.62	c bounds - >= 940 @ 300.242
300.77/301.62	c bounds - >= 941 @ 300.242
300.77/301.62	c bounds - >= 942 @ 300.243
300.77/301.62	c bounds - >= 943 @ 300.245
300.77/301.62	c bounds - >= 944 @ 300.245
300.77/301.62	c bounds - >= 945 @ 300.247
300.77/301.62	c bounds - >= 946 @ 300.248
300.77/301.62	c bounds - >= 947 @ 300.249
300.77/301.62	c bounds - >= 948 @ 300.25
300.77/301.62	c bounds - >= 949 @ 300.252
300.77/301.62	c bounds - >= 950 @ 300.254
300.77/301.62	c bounds - >= 951 @ 300.254
300.77/301.62	c bounds - >= 952 @ 300.256
300.77/301.62	c bounds - >= 953 @ 300.258
300.77/301.62	c bounds - >= 954 @ 300.259
300.77/301.62	c bounds - >= 955 @ 300.261
300.77/301.62	c bounds - >= 956 @ 300.261
300.77/301.62	c bounds - >= 957 @ 300.262
300.77/301.62	c bounds - >= 958 @ 300.264
300.77/301.62	c bounds - >= 959 @ 300.264
300.77/301.62	c bounds - >= 960 @ 300.265
300.77/301.62	c bounds - >= 961 @ 300.267
300.77/301.62	c bounds - >= 962 @ 300.267
300.77/301.62	c bounds - >= 963 @ 300.268
300.77/301.62	c bounds - >= 964 @ 300.27
300.77/301.62	c bounds - >= 965 @ 300.27
300.77/301.62	c bounds - >= 966 @ 300.272
300.77/301.62	c bounds - >= 967 @ 300.274
300.77/301.62	c bounds - >= 968 @ 300.275
300.77/301.62	c bounds - >= 969 @ 300.276
300.77/301.62	c bounds - >= 970 @ 300.278
300.77/301.62	c bounds - >= 971 @ 300.278
300.77/301.62	c bounds - >= 972 @ 300.28
300.77/301.62	c bounds - >= 973 @ 300.281
300.77/301.62	c bounds - >= 974 @ 300.281
300.77/301.62	c bounds - >= 975 @ 300.282
300.77/301.62	c bounds - >= 976 @ 300.283
300.77/301.62	c bounds - >= 977 @ 300.283
300.77/301.62	c bounds - >= 978 @ 300.284
300.77/301.62	c bounds - >= 979 @ 300.286
300.77/301.62	c bounds - >= 980 @ 300.286
300.77/301.62	c bounds - >= 981 @ 300.287
300.77/301.62	c bounds - >= 982 @ 300.289
300.77/301.62	c bounds - >= 983 @ 300.289
300.77/301.62	c bounds - >= 984 @ 300.291
300.77/301.62	c bounds - >= 985 @ 300.291
300.77/301.62	c bounds - >= 986 @ 300.293
300.77/301.62	c bounds - >= 987 @ 300.295
300.77/301.62	c bounds - >= 988 @ 300.297
300.77/301.62	c bounds - >= 989 @ 300.297
300.77/301.62	c bounds - >= 990 @ 300.298
300.77/301.62	c bounds - >= 991 @ 300.299
300.77/301.62	c bounds - >= 992 @ 300.299
300.77/301.62	c bounds - >= 993 @ 300.301
300.77/301.62	c bounds - >= 994 @ 300.302
300.77/301.62	c bounds - >= 995 @ 300.302
300.77/301.62	c bounds - >= 996 @ 300.303
300.77/301.62	c bounds - >= 997 @ 300.304
300.77/301.62	c bounds - >= 998 @ 300.304
300.77/301.62	c bounds - >= 999 @ 300.305
300.77/301.62	c bounds - >= 1000 @ 300.306
300.77/301.62	c bounds - >= 1001 @ 300.307
300.77/301.62	c bounds - >= 1002 @ 300.307
300.77/301.62	c bounds - >= 1003 @ 300.309
300.77/301.62	c bounds - >= 1004 @ 300.31
300.77/301.62	c bounds - >= 1005 @ 300.311
300.77/301.62	c bounds - >= 1006 @ 300.313
300.77/301.62	c bounds - >= 1007 @ 300.313
300.77/301.62	c bounds - >= 1008 @ 300.314
300.77/301.62	c bounds - >= 1009 @ 300.316
300.77/301.62	c bounds - >= 1010 @ 300.316
300.77/301.62	c bounds - >= 1011 @ 300.317
300.77/301.62	c bounds - >= 1012 @ 300.319
300.77/301.62	c bounds - >= 1013 @ 300.319
300.77/301.62	c bounds - >= 1014 @ 300.32
300.77/301.62	c bounds - >= 1015 @ 300.321
300.77/301.62	c bounds - >= 1016 @ 300.322
300.77/301.62	c bounds - >= 1017 @ 300.322
300.77/301.62	c bounds - >= 1018 @ 300.323
300.77/301.62	c bounds - >= 1019 @ 300.325
300.77/301.62	c bounds - >= 1020 @ 300.325
300.77/301.62	c bounds - >= 1021 @ 300.326
300.77/301.62	c bounds - >= 1022 @ 300.327
300.77/301.62	c bounds - >= 1023 @ 300.328
300.77/301.62	c bounds - >= 1024 @ 300.328
300.77/301.62	c bounds - >= 1025 @ 300.329
300.77/301.62	c bounds - >= 1026 @ 300.331
300.77/301.62	c bounds - >= 1027 @ 300.332
300.77/301.62	c bounds - >= 1028 @ 300.333
300.77/301.62	c bounds - >= 1029 @ 300.335
300.77/301.62	c bounds - >= 1030 @ 300.335
300.77/301.62	c bounds - >= 1031 @ 300.336
300.97/301.87	c bounds - >= 1032 @ 300.337
300.97/301.87	c bounds - >= 1033 @ 300.338
300.97/301.87	c bounds - >= 1034 @ 300.339
300.97/301.87	c bounds - >= 1035 @ 300.34
300.97/301.87	c bounds - >= 1036 @ 300.34
300.97/301.87	c bounds - >= 1037 @ 300.341
300.97/301.87	c bounds - >= 1038 @ 300.341
300.97/301.87	c bounds - >= 1039 @ 300.342
300.97/301.87	c bounds - >= 1040 @ 300.343
300.97/301.87	c bounds - >= 1041 @ 300.345
300.97/301.87	c bounds - >= 1042 @ 300.345
300.97/301.87	c bounds - >= 1043 @ 300.346
300.97/301.87	c bounds - >= 1044 @ 300.347
300.97/301.87	c bounds - >= 1045 @ 300.347
300.97/301.87	c bounds - >= 1046 @ 300.348
300.97/301.87	c bounds - >= 1047 @ 300.35
300.97/301.87	c bounds - >= 1048 @ 300.35
300.97/301.87	c bounds - >= 1049 @ 300.352
300.97/301.87	c bounds - >= 1050 @ 300.353
300.97/301.87	c bounds - >= 1051 @ 300.355
300.97/301.87	c bounds - >= 1052 @ 300.356
300.97/301.87	c bounds - >= 1053 @ 300.357
300.97/301.87	c bounds - >= 1054 @ 300.357
300.97/301.87	c bounds - >= 1055 @ 300.358
300.97/301.87	c bounds - >= 1056 @ 300.36
300.97/301.87	c bounds - >= 1057 @ 300.36
300.97/301.87	c bounds - >= 1058 @ 300.361
300.97/301.87	c bounds - >= 1059 @ 300.363
300.97/301.87	c bounds - >= 1060 @ 300.364
300.97/301.87	c bounds - >= 1061 @ 300.366
300.97/301.87	c bounds - >= 1062 @ 300.368
300.97/301.87	c bounds - >= 1063 @ 300.369
300.97/301.87	c bounds - >= 1064 @ 300.37
300.97/301.87	c bounds - >= 1065 @ 300.372
300.97/301.87	c bounds - >= 1066 @ 300.373
300.97/301.87	c bounds - >= 1067 @ 300.375
300.97/301.87	c bounds - >= 1068 @ 300.376
300.97/301.87	c bounds - >= 1069 @ 300.376
300.97/301.87	c bounds - >= 1070 @ 300.377
300.97/301.87	c bounds - >= 1071 @ 300.379
300.97/301.87	c bounds - >= 1072 @ 300.379
300.97/301.87	c bounds - >= 1073 @ 300.38
300.97/301.87	c bounds - >= 1074 @ 300.382
300.97/301.87	c bounds - >= 1075 @ 300.384
300.97/301.87	c bounds - >= 1076 @ 300.385
300.97/301.87	c bounds - >= 1077 @ 300.386
300.97/301.87	c bounds - >= 1078 @ 300.387
300.97/301.87	c bounds - >= 1079 @ 300.388
300.97/301.87	c bounds - >= 1080 @ 300.389
300.97/301.87	c bounds - >= 1081 @ 300.39
300.97/301.87	c bounds - >= 1082 @ 300.39
300.97/301.87	c bounds - >= 1083 @ 300.391
300.97/301.87	c bounds - >= 1084 @ 300.392
300.97/301.87	c bounds - >= 1085 @ 300.393
300.97/301.87	c bounds - >= 1086 @ 300.394
300.97/301.87	c bounds - >= 1087 @ 300.396
300.97/301.87	c bounds - >= 1088 @ 300.398
300.97/301.87	c bounds - >= 1089 @ 300.398
300.97/301.87	c bounds - >= 1090 @ 300.399
300.97/301.87	c bounds - >= 1091 @ 300.401
300.97/301.87	c bounds - >= 1092 @ 300.403
300.97/301.87	c bounds - >= 1093 @ 300.404
300.97/301.87	c bounds - >= 1094 @ 300.405
300.97/301.87	c bounds - >= 1095 @ 300.407
300.97/301.87	c bounds - >= 1096 @ 300.407
300.97/301.87	c bounds - >= 1097 @ 300.408
300.97/301.87	c bounds - >= 1098 @ 300.409
300.97/301.87	c bounds - >= 1099 @ 300.409
300.97/301.87	c bounds - >= 1100 @ 300.41
300.97/301.87	c bounds - >= 1101 @ 300.411
300.97/301.87	c bounds - >= 1102 @ 300.412
300.97/301.87	c bounds - >= 1103 @ 300.412
300.97/301.87	c bounds - >= 1104 @ 300.413
300.97/301.87	c bounds - >= 1105 @ 300.414
300.97/301.87	c bounds - >= 1106 @ 300.416
300.97/301.87	c bounds - >= 1107 @ 300.418
300.97/301.87	c bounds - >= 1108 @ 300.419
300.97/301.87	c bounds - >= 1109 @ 300.421
300.97/301.87	c bounds - >= 1110 @ 300.421
300.97/301.87	c bounds - >= 1111 @ 300.423
300.97/301.87	c bounds - >= 1112 @ 300.424
300.97/301.87	c bounds - >= 1113 @ 300.426
300.97/301.87	c bounds - >= 1114 @ 300.426
300.97/301.87	c bounds - >= 1115 @ 300.427
300.97/301.87	c bounds - >= 1116 @ 300.428
300.97/301.87	c bounds - >= 1117 @ 300.43
300.97/301.87	c bounds - >= 1118 @ 300.43
300.97/301.87	c bounds - >= 1119 @ 300.431
300.97/301.87	c bounds - >= 1120 @ 300.433
300.97/301.87	c bounds - >= 1121 @ 300.435
300.97/301.87	c bounds - >= 1122 @ 300.435
300.97/301.87	c bounds - >= 1123 @ 300.436
300.97/301.87	c bounds - >= 1124 @ 300.437
300.97/301.87	c bounds - >= 1125 @ 300.438
300.97/301.87	c bounds - >= 1126 @ 300.438
300.97/301.87	c bounds - >= 1127 @ 300.44
300.97/301.87	c bounds - >= 1128 @ 300.442
300.97/301.87	c bounds - >= 1129 @ 300.442
300.97/301.87	c bounds - >= 1130 @ 300.443
300.97/301.87	c bounds - >= 1131 @ 300.445
300.97/301.87	c bounds - >= 1132 @ 300.446
300.97/301.87	c bounds - >= 1133 @ 300.447
300.97/301.87	c bounds - >= 1134 @ 300.447
300.97/301.87	c bounds - >= 1135 @ 300.448
300.97/301.87	c bounds - >= 1136 @ 300.449
300.97/301.87	c bounds - >= 1137 @ 300.451
300.97/301.87	c bounds - >= 1138 @ 300.451
300.97/301.87	c bounds - >= 1139 @ 300.453
300.97/301.87	c bounds - >= 1140 @ 300.454
300.97/301.87	c bounds - >= 1141 @ 300.456
300.97/301.87	c bounds - >= 1142 @ 300.457
300.97/301.87	c bounds - >= 1143 @ 300.458
300.97/301.87	c bounds - >= 1144 @ 300.458
300.97/301.87	c bounds - >= 1145 @ 300.459
300.97/301.87	c bounds - >= 1146 @ 300.46
300.97/301.87	c bounds - >= 1147 @ 300.462
300.97/301.87	c bounds - >= 1148 @ 300.463
300.97/301.87	c bounds - >= 1149 @ 300.464
300.97/301.87	c bounds - >= 1150 @ 300.465
300.97/301.87	c bounds - >= 1151 @ 300.467
300.97/301.87	c bounds - >= 1152 @ 300.468
300.97/301.87	c bounds - >= 1153 @ 300.468
300.97/301.87	c bounds - >= 1154 @ 300.469
300.97/301.87	c bounds - >= 1155 @ 300.471
300.97/301.87	c bounds - >= 1156 @ 300.472
300.97/301.87	c bounds - >= 1157 @ 300.472
300.97/301.87	c bounds - >= 1158 @ 300.473
300.97/301.87	c bounds - >= 1159 @ 300.473
300.97/301.87	c bounds - >= 1160 @ 300.474
300.97/301.87	c bounds - >= 1161 @ 300.475
300.97/301.87	c bounds - >= 1162 @ 300.477
300.97/301.87	c bounds - >= 1163 @ 300.479
300.97/301.87	c bounds - >= 1164 @ 300.479
300.97/301.87	c bounds - >= 1165 @ 300.48
300.97/301.87	c bounds - >= 1166 @ 300.481
300.97/301.87	c bounds - >= 1167 @ 300.482
300.97/301.87	c bounds - >= 1168 @ 300.483
300.97/301.87	c bounds - >= 1169 @ 300.483
300.97/301.87	c bounds - >= 1170 @ 300.485
300.97/301.87	c bounds - >= 1171 @ 300.486
300.97/301.87	c bounds - >= 1172 @ 300.488
300.97/301.87	c bounds - >= 1173 @ 300.489
301.28/302.13	c bounds - >= 1174 @ 300.491
301.28/302.13	c bounds - >= 1175 @ 300.492
301.28/302.13	c bounds - >= 1176 @ 300.494
301.28/302.13	c bounds - >= 1177 @ 300.496
301.28/302.13	c bounds - >= 1178 @ 300.496
301.28/302.13	c bounds - >= 1179 @ 300.497
301.28/302.13	c bounds - >= 1180 @ 300.499
301.28/302.13	c bounds - >= 1181 @ 300.5
301.28/302.13	c bounds - >= 1182 @ 300.502
301.28/302.13	c bounds - >= 1183 @ 300.502
301.28/302.13	c bounds - >= 1184 @ 300.503
301.28/302.13	c bounds - >= 1185 @ 300.504
301.28/302.13	c bounds - >= 1186 @ 300.506
301.28/302.13	c bounds - >= 1187 @ 300.508
301.28/302.13	c bounds - >= 1188 @ 300.508
301.28/302.13	c bounds - >= 1189 @ 300.51
301.28/302.13	c bounds - >= 1190 @ 300.512
301.28/302.13	c bounds - >= 1191 @ 300.513
301.28/302.13	c bounds - >= 1192 @ 300.515
301.28/302.13	c bounds - >= 1193 @ 300.517
301.28/302.13	c bounds - >= 1194 @ 300.517
301.28/302.13	c bounds - >= 1195 @ 300.518
301.28/302.13	c bounds - >= 1196 @ 300.52
301.28/302.13	c bounds - >= 1197 @ 300.521
301.28/302.13	c bounds - >= 1198 @ 300.522
301.28/302.13	c bounds - >= 1199 @ 300.522
301.28/302.13	c bounds - >= 1200 @ 300.523
301.28/302.13	c bounds - >= 1201 @ 300.524
301.28/302.13	c bounds - >= 1202 @ 300.525
301.28/302.13	c bounds - >= 1203 @ 300.526
301.28/302.13	c bounds - >= 1204 @ 300.527
301.28/302.13	c bounds - >= 1205 @ 300.528
301.28/302.13	c bounds - >= 1206 @ 300.529
301.28/302.13	c bounds - >= 1207 @ 300.53
301.28/302.13	c bounds - >= 1208 @ 300.53
301.28/302.13	c bounds - >= 1209 @ 300.531
301.28/302.13	c bounds - >= 1210 @ 300.533
301.28/302.13	c bounds - >= 1211 @ 300.534
301.28/302.13	c bounds - >= 1212 @ 300.535
301.28/302.13	c bounds - >= 1213 @ 300.536
301.28/302.13	c bounds - >= 1214 @ 300.537
301.28/302.13	c bounds - >= 1215 @ 300.538
301.28/302.13	c bounds - >= 1216 @ 300.54
301.28/302.13	c bounds - >= 1217 @ 300.542
301.28/302.13	c bounds - >= 1218 @ 300.543
301.28/302.13	c bounds - >= 1219 @ 300.544
301.28/302.13	c bounds - >= 1220 @ 300.545
301.28/302.13	c bounds - >= 1221 @ 300.546
301.28/302.13	c bounds - >= 1222 @ 300.546
301.28/302.13	c bounds - >= 1223 @ 300.548
301.28/302.13	c bounds - >= 1224 @ 300.549
301.28/302.13	c bounds - >= 1225 @ 300.55
301.28/302.13	c bounds - >= 1226 @ 300.551
301.28/302.13	c bounds - >= 1227 @ 300.552
301.28/302.13	c bounds - >= 1228 @ 300.553
301.28/302.13	c bounds - >= 1229 @ 300.554
301.28/302.13	c bounds - >= 1230 @ 300.556
301.28/302.13	c bounds - >= 1231 @ 300.558
301.28/302.13	c bounds - >= 1232 @ 300.559
301.28/302.13	c bounds - >= 1233 @ 300.559
301.28/302.13	c bounds - >= 1234 @ 300.56
301.28/302.13	c bounds - >= 1235 @ 300.561
301.28/302.13	c bounds - >= 1236 @ 300.562
301.28/302.13	c bounds - >= 1237 @ 300.563
301.28/302.13	c bounds - >= 1238 @ 300.564
301.28/302.13	c bounds - >= 1239 @ 300.565
301.28/302.13	c bounds - >= 1240 @ 300.567
301.28/302.13	c bounds - >= 1241 @ 300.568
301.28/302.13	c bounds - >= 1242 @ 300.569
301.28/302.13	c bounds - >= 1243 @ 300.57
301.28/302.13	c bounds - >= 1244 @ 300.57
301.28/302.13	c bounds - >= 1245 @ 300.57
301.28/302.13	c bounds - >= 1246 @ 300.571
301.28/302.13	c bounds - >= 1247 @ 300.572
301.28/302.13	c bounds - >= 1248 @ 300.573
301.28/302.13	c bounds - >= 1249 @ 300.574
301.28/302.13	c bounds - >= 1250 @ 300.575
301.28/302.13	c bounds - >= 1251 @ 300.576
301.28/302.13	c bounds - >= 1252 @ 300.577
301.28/302.13	c bounds - >= 1253 @ 300.578
301.28/302.13	c bounds - >= 1254 @ 300.578
301.28/302.13	c bounds - >= 1255 @ 300.58
301.28/302.13	c bounds - >= 1256 @ 300.581
301.28/302.13	c bounds - >= 1257 @ 300.582
301.28/302.13	c bounds - >= 1258 @ 300.583
301.28/302.13	c bounds - >= 1259 @ 300.584
301.28/302.13	c bounds - >= 1260 @ 300.584
301.28/302.13	c bounds - >= 1261 @ 300.586
301.28/302.13	c bounds - >= 1262 @ 300.587
301.28/302.13	c bounds - >= 1263 @ 300.588
301.28/302.13	c bounds - >= 1264 @ 300.589
301.28/302.13	c bounds - >= 1265 @ 300.59
301.28/302.13	c bounds - >= 1266 @ 300.591
301.28/302.13	c bounds - >= 1267 @ 300.591
301.28/302.13	c bounds - >= 1268 @ 300.593
301.28/302.13	c bounds - >= 1269 @ 300.594
301.28/302.13	c bounds - >= 1270 @ 300.595
301.28/302.13	c bounds - >= 1271 @ 300.596
301.28/302.13	c bounds - >= 1272 @ 300.598
301.28/302.13	c bounds - >= 1273 @ 300.599
301.28/302.13	c bounds - >= 1274 @ 300.6
301.28/302.13	c bounds - >= 1275 @ 300.6
301.28/302.13	c bounds - >= 1276 @ 300.601
301.28/302.13	c bounds - >= 1277 @ 300.602
301.28/302.13	c bounds - >= 1278 @ 300.603
301.28/302.13	c bounds - >= 1279 @ 300.604
301.28/302.13	c bounds - >= 1280 @ 300.605
301.28/302.13	c bounds - >= 1281 @ 300.606
301.28/302.13	c bounds - >= 1282 @ 300.606
301.28/302.13	c bounds - >= 1283 @ 300.607
301.28/302.13	c bounds - >= 1284 @ 300.608
301.28/302.13	c bounds - >= 1285 @ 300.61
301.28/302.13	c bounds - >= 1286 @ 300.611
301.28/302.13	c bounds - >= 1287 @ 300.612
301.28/302.13	c bounds - >= 1288 @ 300.613
301.28/302.13	c bounds - >= 1289 @ 300.613
301.28/302.13	c bounds - >= 1290 @ 300.614
301.28/302.13	c bounds - >= 1291 @ 300.615
301.28/302.13	c bounds - >= 1292 @ 300.616
301.28/302.13	c bounds - >= 1293 @ 300.618
301.28/302.13	c bounds - >= 1294 @ 300.619
301.28/302.13	c bounds - >= 1295 @ 300.619
301.28/302.13	c bounds - >= 1296 @ 300.62
301.28/302.13	c bounds - >= 1297 @ 300.621
301.28/302.13	c bounds - >= 1298 @ 300.622
301.28/302.13	c bounds - >= 1299 @ 300.623
301.28/302.13	c bounds - >= 1300 @ 300.624
301.28/302.13	c bounds - >= 1301 @ 300.625
301.28/302.13	c bounds - >= 1302 @ 300.626
301.28/302.13	c bounds - >= 1303 @ 300.627
301.28/302.13	c bounds - >= 1304 @ 300.629
301.28/302.13	c bounds - >= 1305 @ 300.63
301.28/302.13	c bounds - >= 1306 @ 300.631
301.28/302.13	c bounds - >= 1307 @ 300.632
301.28/302.13	c bounds - >= 1308 @ 300.633
301.28/302.13	c bounds - >= 1309 @ 300.633
301.28/302.13	c bounds - >= 1310 @ 300.634
301.28/302.13	c bounds - >= 1311 @ 300.635
301.28/302.13	c bounds - >= 1312 @ 300.636
301.28/302.13	c bounds - >= 1313 @ 300.637
301.28/302.13	c bounds - >= 1314 @ 300.639
301.28/302.13	c bounds - >= 1315 @ 300.641
301.57/302.41	c bounds - >= 1316 @ 300.642
301.57/302.41	c bounds - >= 1317 @ 300.643
301.57/302.41	c bounds - >= 1318 @ 300.644
301.57/302.41	c bounds - >= 1319 @ 300.646
301.57/302.41	c bounds - >= 1320 @ 300.646
301.57/302.41	c bounds - >= 1321 @ 300.646
301.57/302.41	c bounds - >= 1322 @ 300.647
301.57/302.41	c bounds - >= 1323 @ 300.648
301.57/302.41	c bounds - >= 1324 @ 300.649
301.57/302.41	c bounds - >= 1325 @ 300.651
301.57/302.41	c bounds - >= 1326 @ 300.652
301.57/302.41	c bounds - >= 1327 @ 300.653
301.57/302.41	c bounds - >= 1328 @ 300.655
301.57/302.41	c bounds - >= 1329 @ 300.656
301.57/302.41	c bounds - >= 1330 @ 300.657
301.57/302.41	c bounds - >= 1331 @ 300.658
301.57/302.41	c bounds - >= 1332 @ 300.659
301.57/302.41	c bounds - >= 1333 @ 300.66
301.57/302.41	c bounds - >= 1334 @ 300.662
301.57/302.41	c bounds - >= 1335 @ 300.663
301.57/302.41	c bounds - >= 1336 @ 300.665
301.57/302.41	c bounds - >= 1337 @ 300.667
301.57/302.41	c bounds - >= 1338 @ 300.668
301.57/302.41	c bounds - >= 1339 @ 300.669
301.57/302.41	c bounds - >= 1340 @ 300.67
301.57/302.41	c bounds - >= 1341 @ 300.671
301.57/302.41	c bounds - >= 1342 @ 300.672
301.57/302.41	c bounds - >= 1343 @ 300.672
301.57/302.41	c bounds - >= 1344 @ 300.674
301.57/302.41	c bounds - >= 1345 @ 300.675
301.57/302.41	c bounds - >= 1346 @ 300.676
301.57/302.41	c bounds - >= 1347 @ 300.677
301.57/302.41	c bounds - >= 1348 @ 300.678
301.57/302.41	c bounds - >= 1349 @ 300.68
301.57/302.41	c bounds - >= 1350 @ 300.681
301.57/302.41	c bounds - >= 1351 @ 300.682
301.57/302.41	c bounds - >= 1352 @ 300.683
301.57/302.41	c bounds - >= 1353 @ 300.685
301.57/302.41	c bounds - >= 1354 @ 300.687
301.57/302.41	c bounds - >= 1355 @ 300.688
301.57/302.41	c bounds - >= 1356 @ 300.688
301.57/302.41	c bounds - >= 1357 @ 300.688
301.57/302.41	c bounds - >= 1358 @ 300.688
301.57/302.41	c bounds - >= 1359 @ 300.689
301.57/302.41	c bounds - >= 1360 @ 300.69
301.57/302.41	c bounds - >= 1361 @ 300.691
301.57/302.41	c bounds - >= 1362 @ 300.692
301.57/302.41	c bounds - >= 1363 @ 300.693
301.57/302.41	c bounds - >= 1364 @ 300.694
301.57/302.41	c bounds - >= 1365 @ 300.695
301.57/302.41	c bounds - >= 1366 @ 300.696
301.57/302.41	c bounds - >= 1367 @ 300.698
301.57/302.41	c bounds - >= 1368 @ 300.698
301.57/302.41	c bounds - >= 1369 @ 300.698
301.57/302.41	c bounds - >= 1370 @ 300.7
301.57/302.41	c bounds - >= 1371 @ 300.702
301.57/302.41	c bounds - >= 1372 @ 300.703
301.57/302.41	c bounds - >= 1373 @ 300.704
301.57/302.41	c bounds - >= 1374 @ 300.705
301.57/302.41	c bounds - >= 1375 @ 300.707
301.57/302.41	c bounds - >= 1376 @ 300.707
301.57/302.41	c bounds - >= 1377 @ 300.707
301.57/302.41	c bounds - >= 1378 @ 300.708
301.57/302.41	c bounds - >= 1379 @ 300.708
301.57/302.41	c bounds - >= 1380 @ 300.708
301.57/302.41	c bounds - >= 1381 @ 300.709
301.57/302.41	c bounds - >= 1382 @ 300.71
301.57/302.41	c bounds - >= 1383 @ 300.711
301.57/302.41	c bounds - >= 1384 @ 300.713
301.57/302.41	c bounds - >= 1385 @ 300.714
301.57/302.41	c bounds - >= 1386 @ 300.715
301.57/302.41	c bounds - >= 1387 @ 300.717
301.57/302.41	c bounds - >= 1388 @ 300.718
301.57/302.41	c bounds - >= 1389 @ 300.719
301.57/302.41	c bounds - >= 1390 @ 300.721
301.57/302.41	c bounds - >= 1391 @ 300.722
301.57/302.41	c bounds - >= 1392 @ 300.723
301.57/302.41	c bounds - >= 1393 @ 300.723
301.57/302.41	c bounds - >= 1394 @ 300.723
301.57/302.41	c bounds - >= 1395 @ 300.724
301.57/302.41	c bounds - >= 1396 @ 300.725
301.57/302.41	c bounds - >= 1397 @ 300.727
301.57/302.41	c bounds - >= 1398 @ 300.729
301.57/302.41	c bounds - >= 1399 @ 300.73
301.57/302.41	c bounds - >= 1400 @ 300.73
301.57/302.41	c bounds - >= 1401 @ 300.731
301.57/302.41	c bounds - >= 1402 @ 300.733
301.57/302.41	c bounds - >= 1403 @ 300.735
301.57/302.41	c bounds - >= 1404 @ 300.736
301.57/302.41	c bounds - >= 1405 @ 300.737
301.57/302.41	c bounds - >= 1406 @ 300.738
301.57/302.41	c bounds - >= 1407 @ 300.739
301.57/302.41	c bounds - >= 1408 @ 300.739
301.57/302.41	c bounds - >= 1409 @ 300.739
301.57/302.41	c bounds - >= 1410 @ 300.74
301.57/302.41	c bounds - >= 1411 @ 300.741
301.57/302.41	c bounds - >= 1412 @ 300.742
301.57/302.41	c bounds - >= 1413 @ 300.744
301.57/302.41	c bounds - >= 1414 @ 300.745
301.57/302.41	c bounds - >= 1415 @ 300.747
301.57/302.41	c bounds - >= 1416 @ 300.748
301.57/302.41	c bounds - >= 1417 @ 300.75
301.57/302.41	c bounds - >= 1418 @ 300.751
301.57/302.41	c bounds - >= 1419 @ 300.752
301.57/302.41	c bounds - >= 1420 @ 300.753
301.57/302.41	c bounds - >= 1421 @ 300.754
301.57/302.41	c bounds - >= 1422 @ 300.755
301.57/302.41	c bounds - >= 1423 @ 300.755
301.57/302.41	c bounds - >= 1424 @ 300.756
301.57/302.41	c bounds - >= 1425 @ 300.758
301.57/302.41	c bounds - >= 1426 @ 300.759
301.57/302.41	c bounds - >= 1427 @ 300.76
301.57/302.41	c bounds - >= 1428 @ 300.761
301.57/302.41	c bounds - >= 1429 @ 300.762
301.57/302.41	c bounds - >= 1430 @ 300.763
301.57/302.41	c bounds - >= 1431 @ 300.764
301.57/302.41	c bounds - >= 1432 @ 300.765
301.57/302.41	c bounds - >= 1433 @ 300.766
301.57/302.41	c bounds - >= 1434 @ 300.767
301.57/302.41	c bounds - >= 1435 @ 300.768
301.57/302.41	c bounds - >= 1436 @ 300.768
301.57/302.41	c bounds - >= 1437 @ 300.769
301.57/302.41	c bounds - >= 1438 @ 300.77
301.57/302.41	c bounds - >= 1439 @ 300.771
301.57/302.41	c bounds - >= 1440 @ 300.773
301.57/302.41	c bounds - >= 1441 @ 300.774
301.57/302.41	c bounds - >= 1442 @ 300.775
301.57/302.41	c bounds - >= 1443 @ 300.776
301.57/302.41	c bounds - >= 1444 @ 300.778
301.57/302.41	c bounds - >= 1445 @ 300.778
301.57/302.41	c bounds - >= 1446 @ 300.779
301.57/302.41	c bounds - >= 1447 @ 300.78
301.57/302.41	c bounds - >= 1448 @ 300.781
301.57/302.41	c bounds - >= 1449 @ 300.782
301.57/302.41	c bounds - >= 1450 @ 300.783
301.57/302.41	c bounds - >= 1451 @ 300.784
301.57/302.41	c bounds - >= 1452 @ 300.785
301.57/302.41	c bounds - >= 1453 @ 300.787
301.57/302.41	c bounds - >= 1454 @ 300.788
301.57/302.41	c bounds - >= 1455 @ 300.789
301.57/302.41	c bounds - >= 1456 @ 300.79
301.57/302.41	c bounds - >= 1457 @ 300.792
301.77/302.69	c bounds - >= 1458 @ 300.793
301.77/302.69	c bounds - >= 1459 @ 300.794
301.77/302.69	c bounds - >= 1460 @ 300.795
301.77/302.69	c bounds - >= 1461 @ 300.796
301.77/302.69	c bounds - >= 1462 @ 300.797
301.77/302.69	c bounds - >= 1463 @ 300.798
301.77/302.69	c bounds - >= 1464 @ 300.8
301.77/302.69	c bounds - >= 1465 @ 300.801
301.77/302.69	c bounds - >= 1466 @ 300.801
301.77/302.69	c bounds - >= 1467 @ 300.801
301.77/302.69	c bounds - >= 1468 @ 300.801
301.77/302.69	c bounds - >= 1469 @ 300.801
301.77/302.69	c bounds - >= 1470 @ 300.803
301.77/302.69	c bounds - >= 1471 @ 300.805
301.77/302.69	c bounds - >= 1472 @ 300.807
301.77/302.69	c bounds - >= 1473 @ 300.808
301.77/302.69	c bounds - >= 1474 @ 300.808
301.77/302.69	c bounds - >= 1475 @ 300.809
301.77/302.69	c bounds - >= 1476 @ 300.81
301.77/302.69	c bounds - >= 1477 @ 300.81
301.77/302.69	c bounds - >= 1478 @ 300.81
301.77/302.69	c bounds - >= 1479 @ 300.811
301.77/302.69	c bounds - >= 1480 @ 300.812
301.77/302.69	c bounds - >= 1481 @ 300.813
301.77/302.69	c bounds - >= 1482 @ 300.814
301.77/302.69	c bounds - >= 1483 @ 300.816
301.77/302.69	c bounds - >= 1484 @ 300.817
301.77/302.69	c bounds - >= 1485 @ 300.819
301.77/302.69	c bounds - >= 1486 @ 300.819
301.77/302.69	c bounds - >= 1487 @ 300.821
301.77/302.69	c bounds - >= 1488 @ 300.823
301.77/302.69	c bounds - >= 1489 @ 300.825
301.77/302.69	c bounds - >= 1490 @ 300.826
301.77/302.69	c bounds - >= 1491 @ 300.827
301.77/302.69	c bounds - >= 1492 @ 300.828
301.77/302.69	c bounds - >= 1493 @ 300.829
301.77/302.69	c bounds - >= 1494 @ 300.83
301.77/302.69	c bounds - >= 1495 @ 300.832
301.77/302.69	c bounds - >= 1496 @ 300.833
301.77/302.69	c bounds - >= 1497 @ 300.833
301.77/302.69	c bounds - >= 1498 @ 300.834
301.77/302.69	c bounds - >= 1499 @ 300.835
301.77/302.69	c bounds - >= 1500 @ 300.835
301.77/302.69	c bounds - >= 1501 @ 300.835
301.77/302.69	c bounds - >= 1502 @ 300.836
301.77/302.69	c bounds - >= 1503 @ 300.836
301.77/302.69	c bounds - >= 1504 @ 300.836
301.77/302.69	c bounds - >= 1505 @ 300.837
301.77/302.69	c bounds - >= 1506 @ 300.837
301.77/302.69	c bounds - >= 1507 @ 300.838
301.77/302.69	c bounds - >= 1508 @ 300.839
301.77/302.69	c bounds - >= 1509 @ 300.84
301.77/302.69	c bounds - >= 1510 @ 300.841
301.77/302.69	c bounds - >= 1511 @ 300.843
301.77/302.69	c bounds - >= 1512 @ 300.845
301.77/302.69	c bounds - >= 1513 @ 300.847
301.77/302.69	c bounds - >= 1514 @ 300.849
301.77/302.69	c bounds - >= 1515 @ 300.851
301.77/302.69	c bounds - >= 1516 @ 300.853
301.77/302.69	c bounds - >= 1517 @ 300.854
301.77/302.69	c bounds - >= 1518 @ 300.855
301.77/302.69	c bounds - >= 1519 @ 300.856
301.77/302.69	c bounds - >= 1520 @ 300.858
301.77/302.69	c bounds - >= 1521 @ 300.859
301.77/302.69	c bounds - >= 1522 @ 300.861
301.77/302.69	c bounds - >= 1523 @ 300.864
301.77/302.69	c bounds - >= 1524 @ 300.865
301.77/302.69	c bounds - >= 1525 @ 300.866
301.77/302.69	c bounds - >= 1526 @ 300.868
301.77/302.69	c bounds - >= 1527 @ 300.869
301.77/302.69	c bounds - >= 1528 @ 300.87
301.77/302.69	c bounds - >= 1529 @ 300.87
301.77/302.69	c bounds - >= 1530 @ 300.87
301.77/302.69	c bounds - >= 1531 @ 300.87
301.77/302.69	c bounds - >= 1532 @ 300.87
301.77/302.69	c bounds - >= 1533 @ 300.87
301.77/302.69	c bounds - >= 1534 @ 300.87
301.77/302.69	c bounds - >= 1535 @ 300.872
301.77/302.69	c bounds - >= 1536 @ 300.873
301.77/302.69	c bounds - >= 1537 @ 300.875
301.77/302.69	c bounds - >= 1538 @ 300.876
301.77/302.69	c bounds - >= 1539 @ 300.877
301.77/302.69	c bounds - >= 1540 @ 300.878
301.77/302.69	c bounds - >= 1541 @ 300.88
301.77/302.69	c bounds - >= 1542 @ 300.882
301.77/302.69	c bounds - >= 1543 @ 300.883
301.77/302.69	c bounds - >= 1544 @ 300.884
301.77/302.69	c bounds - >= 1545 @ 300.885
301.77/302.69	c bounds - >= 1546 @ 300.887
301.77/302.69	c bounds - >= 1547 @ 300.888
301.77/302.69	c bounds - >= 1548 @ 300.889
301.77/302.69	c bounds - >= 1549 @ 300.89
301.77/302.69	c bounds - >= 1550 @ 300.892
301.77/302.69	c bounds - >= 1551 @ 300.894
301.77/302.69	c bounds - >= 1552 @ 300.896
301.77/302.69	c bounds - >= 1553 @ 300.898
301.77/302.69	c bounds - >= 1554 @ 300.899
301.77/302.69	c bounds - >= 1555 @ 300.899
301.77/302.69	c bounds - >= 1556 @ 300.9
301.77/302.69	c bounds - >= 1557 @ 300.9
301.77/302.69	c bounds - >= 1558 @ 300.901
301.77/302.69	c bounds - >= 1559 @ 300.902
301.77/302.69	c bounds - >= 1560 @ 300.903
301.77/302.69	c bounds - >= 1561 @ 300.905
301.77/302.69	c bounds - >= 1562 @ 300.906
301.77/302.69	c bounds - >= 1563 @ 300.907
301.77/302.69	c bounds - >= 1564 @ 300.908
301.77/302.69	c bounds - >= 1565 @ 300.909
301.77/302.69	c bounds - >= 1566 @ 300.911
301.77/302.69	c bounds - >= 1567 @ 300.912
301.77/302.69	c bounds - >= 1568 @ 300.913
301.77/302.69	c bounds - >= 1569 @ 300.915
301.77/302.69	c bounds - >= 1570 @ 300.916
301.77/302.69	c bounds - >= 1571 @ 300.917
301.77/302.69	c bounds - >= 1572 @ 300.918
301.77/302.69	c bounds - >= 1573 @ 300.919
301.77/302.69	c bounds - >= 1574 @ 300.921
301.77/302.69	c bounds - >= 1575 @ 300.922
301.77/302.69	c bounds - >= 1576 @ 300.923
301.77/302.69	c bounds - >= 1577 @ 300.926
301.77/302.69	c bounds - >= 1578 @ 300.927
301.77/302.69	c bounds - >= 1579 @ 300.927
301.77/302.69	c bounds - >= 1580 @ 300.928
301.77/302.69	c bounds - >= 1581 @ 300.929
301.77/302.69	c bounds - >= 1582 @ 300.929
301.77/302.69	c bounds - >= 1583 @ 300.93
301.77/302.69	c bounds - >= 1584 @ 300.931
301.77/302.69	c bounds - >= 1585 @ 300.933
301.77/302.69	c bounds - >= 1586 @ 300.935
301.77/302.69	c bounds - >= 1587 @ 300.937
301.77/302.69	c bounds - >= 1588 @ 300.938
301.77/302.69	c bounds - >= 1589 @ 300.939
301.77/302.69	c bounds - >= 1590 @ 300.94
301.77/302.69	c bounds - >= 1591 @ 300.941
301.77/302.69	c bounds - >= 1592 @ 300.942
301.77/302.69	c bounds - >= 1593 @ 300.943
301.77/302.69	c bounds - >= 1594 @ 300.944
301.77/302.69	c bounds - >= 1595 @ 300.945
301.77/302.69	c bounds - >= 1596 @ 300.946
301.77/302.69	c bounds - >= 1597 @ 300.948
301.77/302.69	c bounds - >= 1598 @ 300.95
301.77/302.69	c bounds - >= 1599 @ 300.951
381.35/382.44	c bounds - >= 1600 @ 300.952
381.35/382.44	c bounds - >= 1601 @ 300.952
381.35/382.44	c bounds - >= 1602 @ 300.953
381.35/382.44	c bounds - >= 1603 @ 300.953
381.35/382.44	c bounds - >= 1604 @ 300.953
381.35/382.44	c bounds - >= 1605 @ 300.954
381.35/382.44	c bounds - >= 1606 @ 300.956
381.35/382.44	c bounds - >= 1607 @ 300.957
381.35/382.44	c bounds - >= 1608 @ 300.959
381.35/382.44	c bounds - >= 1609 @ 300.96
381.35/382.44	c bounds - >= 1610 @ 300.961
381.35/382.44	c bounds - >= 1611 @ 300.962
381.35/382.44	c bounds - >= 1612 @ 300.964
381.35/382.44	c bounds - >= 1613 @ 300.965
381.35/382.44	c bounds - >= 1614 @ 300.966
381.35/382.44	c bounds - >= 1615 @ 300.968
381.35/382.44	c bounds - >= 1616 @ 300.968
381.35/382.44	c bounds - >= 1617 @ 300.969
381.35/382.44	c bounds - >= 1618 @ 300.969
381.35/382.44	c bounds - >= 1619 @ 300.969
381.35/382.44	c bounds - >= 1620 @ 300.969
381.35/382.44	c bounds - >= 1621 @ 300.969
381.35/382.44	c bounds - >= 1622 @ 300.971
381.35/382.44	c bounds - >= 1623 @ 300.972
381.35/382.44	c bounds - >= 1624 @ 300.974
381.35/382.44	c bounds - >= 1625 @ 300.975
381.35/382.44	c bounds - >= 1626 @ 300.976
381.35/382.44	c bounds - >= 1627 @ 300.979
381.35/382.44	c bounds - >= 1628 @ 300.979
381.35/382.44	c bounds - >= 1629 @ 300.98
381.35/382.44	c bounds - >= 1630 @ 300.982
381.35/382.44	c bounds - >= 1631 @ 300.983
381.35/382.44	c bounds - >= 1632 @ 300.984
381.35/382.44	c bounds - >= 1633 @ 300.986
381.35/382.44	c bounds - >= 1634 @ 300.988
381.35/382.44	c bounds - >= 1635 @ 300.988
381.35/382.44	c bounds - >= 1636 @ 300.988
381.35/382.44	c bounds - >= 1637 @ 300.988
381.35/382.44	c bounds - >= 1638 @ 300.988
381.35/382.44	c bounds - >= 1639 @ 300.989
381.35/382.44	c bounds - >= 1640 @ 300.99
381.35/382.44	c bounds - >= 1641 @ 300.99
381.35/382.44	c bounds - >= 1642 @ 300.991
381.35/382.44	c bounds - >= 1643 @ 300.992
381.35/382.44	c bounds - >= 1644 @ 300.993
381.35/382.44	c bounds - >= 1645 @ 300.994
381.35/382.44	c bounds - >= 1646 @ 300.995
381.35/382.44	c bounds - >= 1647 @ 300.996
381.35/382.44	c bounds - >= 1648 @ 300.997
381.35/382.44	c bounds - >= 1649 @ 301
381.35/382.44	c bounds - >= 1650 @ 301
381.35/382.44	c bounds - >= 1651 @ 301
381.35/382.44	c bounds - >= 1652 @ 301.001
381.35/382.44	c bounds - >= 1653 @ 301.002
381.35/382.44	c bounds - >= 1654 @ 301.004
381.35/382.44	c bounds - >= 1655 @ 301.005
381.35/382.44	c bounds - >= 1656 @ 301.008
381.35/382.44	c bounds - >= 1657 @ 301.008
381.35/382.44	c bounds - >= 1658 @ 301.009
381.35/382.44	c bounds - >= 1659 @ 301.009
381.35/382.44	c bounds - >= 1660 @ 301.01
381.35/382.44	c bounds - >= 1661 @ 301.012
381.35/382.44	c bounds - >= 1662 @ 301.013
381.35/382.44	c bounds - >= 1663 @ 301.014
381.35/382.44	c bounds - >= 1664 @ 301.015
381.35/382.44	c bounds - >= 1665 @ 301.016
381.35/382.44	c bounds - >= 1666 @ 301.017
381.35/382.44	c bounds - >= 1667 @ 301.018
381.35/382.44	c bounds - >= 1668 @ 301.019
381.35/382.44	c bounds - >= 1669 @ 301.02
381.35/382.44	c bounds - >= 1670 @ 301.022
381.35/382.44	c bounds - >= 1671 @ 301.023
381.35/382.44	c bounds - >= 1672 @ 301.023
381.35/382.44	c bounds - >= 1673 @ 301.023
381.35/382.44	c bounds - >= 1674 @ 301.024
381.35/382.44	c bounds - >= 1675 @ 301.025
381.35/382.44	c bounds - >= 1676 @ 301.027
381.35/382.44	c bounds - >= 1677 @ 301.028
381.35/382.44	c bounds - >= 1678 @ 301.029
381.35/382.44	c bounds - >= 1679 @ 301.029
381.35/382.44	c bounds - >= 1680 @ 301.029
381.35/382.44	c bounds - >= 1681 @ 301.029
381.35/382.44	c bounds - >= 1682 @ 301.03
381.35/382.44	c bounds - >= 1683 @ 301.03
381.35/382.44	c bounds - >= 1684 @ 301.03
381.35/382.44	c bounds - >= 1685 @ 301.031
381.35/382.44	c bounds - >= 1686 @ 301.032
381.35/382.44	c bounds - >= 1687 @ 301.034
381.35/382.44	c bounds - >= 1688 @ 301.035
381.35/382.44	c bounds - >= 1689 @ 301.036
381.35/382.44	c bounds - >= 1690 @ 301.037
381.35/382.44	c bounds - >= 1691 @ 301.037
381.35/382.44	c bounds - >= 1692 @ 301.037
381.35/382.44	c bounds - >= 1693 @ 301.037
381.35/382.44	c bounds - >= 1694 @ 301.037
381.35/382.44	c bounds - >= 1695 @ 301.038
381.35/382.44	c bounds - >= 1696 @ 301.039
381.35/382.44	c bounds - >= 1697 @ 301.041
381.35/382.44	c bounds - >= 1698 @ 301.042
381.35/382.44	c bounds - >= 1699 @ 301.043
381.35/382.44	c bounds - >= 1700 @ 301.044
381.35/382.44	c #Conflicts:       1000 | #Constraints:      12700
381.35/382.44	c #Conflicts:       2000 | #Constraints:      13700
381.35/382.44	c INPROCESSING
381.35/382.44	c GARBAGE COLLECT
381.35/382.44	c #Conflicts:       3000 | #Constraints:      12105
381.35/382.44	c #Conflicts:       4000 | #Constraints:      13105
381.35/382.44	c INPROCESSING
381.35/382.44	c GARBAGE COLLECT
381.35/382.44	c #Conflicts:       5000 | #Constraints:      12551
381.35/382.44	c #Conflicts:       6000 | #Constraints:      13551
381.35/382.44	c INPROCESSING
381.35/382.44	c GARBAGE COLLECT
381.35/382.44	c #Conflicts:       7000 | #Constraints:      12575
381.35/382.44	c #Conflicts:       8000 | #Constraints:      13575
381.35/382.44	c #Conflicts:       9000 | #Constraints:      14575
381.35/382.44	c INPROCESSING
381.35/382.44	c GARBAGE COLLECT
381.35/382.44	c #Conflicts:      10000 | #Constraints:      13302
381.35/382.44	c #Conflicts:      11000 | #Constraints:      14302
381.35/382.44	c #Conflicts:      12000 | #Constraints:      15302
381.35/382.44	c INPROCESSING
381.35/382.44	c GARBAGE COLLECT
381.35/382.44	c #Conflicts:      13000 | #Constraints:      13780
381.35/382.44	c #Conflicts:      14000 | #Constraints:      14780
381.35/382.44	c #Conflicts:      15000 | #Constraints:      15780
381.35/382.44	c INPROCESSING
381.35/382.44	c GARBAGE COLLECT
381.35/382.44	c #Conflicts:      16000 | #Constraints:      14012
381.35/382.44	c #Conflicts:      17000 | #Constraints:      15012
381.35/382.44	c #Conflicts:      18000 | #Constraints:      16012
381.35/382.44	c INPROCESSING
381.35/382.44	c GARBAGE COLLECT
757.98/760.12	c #Conflicts:      19000 | #Constraints:      14043
757.98/760.12	c #Conflicts:      20000 | #Constraints:      15043
757.98/760.12	c #Conflicts:      21000 | #Constraints:      16043
757.98/760.12	c INPROCESSING
757.98/760.12	c GARBAGE COLLECT
757.98/760.12	c #Conflicts:      22000 | #Constraints:      13863
757.98/760.12	c #Conflicts:      23000 | #Constraints:      14863
757.98/760.12	c #Conflicts:      24000 | #Constraints:      15863
757.98/760.12	c #Conflicts:      25000 | #Constraints:      16863
757.98/760.12	c INPROCESSING
757.98/760.12	c GARBAGE COLLECT
757.98/760.12	c #Conflicts:      26000 | #Constraints:      14462
757.98/760.12	c #Conflicts:      27000 | #Constraints:      15462
757.98/760.12	c #Conflicts:      28000 | #Constraints:      16462
757.98/760.12	c #Conflicts:      29000 | #Constraints:      17462
757.98/760.12	c INPROCESSING
757.98/760.12	c GARBAGE COLLECT
757.98/760.12	c #Conflicts:      30000 | #Constraints:      14879
757.98/760.12	c #Conflicts:      31000 | #Constraints:      15879
757.98/760.12	c #Conflicts:      32000 | #Constraints:      16879
757.98/760.12	c #Conflicts:      33000 | #Constraints:      17879
757.98/760.12	c INPROCESSING
757.98/760.12	c GARBAGE COLLECT
757.98/760.12	c #Conflicts:      34000 | #Constraints:      15075
757.98/760.12	c #Conflicts:      35000 | #Constraints:      16075
757.98/760.12	c #Conflicts:      36000 | #Constraints:      17075
757.98/760.12	c #Conflicts:      37000 | #Constraints:      18075
757.98/760.12	c INPROCESSING
757.98/760.12	c GARBAGE COLLECT
757.98/760.12	c #Conflicts:      38000 | #Constraints:      15071
757.98/760.12	c #Conflicts:      39000 | #Constraints:      16071
757.98/760.12	c #Conflicts:      40000 | #Constraints:      17071
757.98/760.12	c #Conflicts:      41000 | #Constraints:      18071
757.98/760.12	c INPROCESSING
757.98/760.12	c GARBAGE COLLECT
757.98/760.12	c #Conflicts:      42000 | #Constraints:      14869
757.98/760.12	c #Conflicts:      43000 | #Constraints:      15869
757.98/760.12	c #Conflicts:      44000 | #Constraints:      16869
757.98/760.12	c #Conflicts:      45000 | #Constraints:      17869
757.98/760.12	c #Conflicts:      46000 | #Constraints:      18869
757.98/760.12	c INPROCESSING
757.98/760.12	c GARBAGE COLLECT
757.98/760.12	c #Conflicts:      47000 | #Constraints:      15473
757.98/760.12	c #Conflicts:      48000 | #Constraints:      16473
757.98/760.12	c #Conflicts:      49000 | #Constraints:      17473
757.98/760.12	c #Conflicts:      50000 | #Constraints:      18473
757.98/760.12	c #Conflicts:      51000 | #Constraints:      19473
757.98/760.12	c INPROCESSING
757.98/760.12	c GARBAGE COLLECT
757.98/760.12	c #Conflicts:      52000 | #Constraints:      15884
757.98/760.12	c #Conflicts:      53000 | #Constraints:      16884
757.98/760.12	c #Conflicts:      54000 | #Constraints:      17884
757.98/760.12	c #Conflicts:      55000 | #Constraints:      18884
757.98/760.12	c #Conflicts:      56000 | #Constraints:      19884
757.98/760.12	c INPROCESSING
757.98/760.12	c GARBAGE COLLECT
757.98/760.12	c #Conflicts:      57000 | #Constraints:      16098
757.98/760.12	c #Conflicts:      58000 | #Constraints:      17098
757.98/760.12	c #Conflicts:      59000 | #Constraints:      18098
757.98/760.12	c #Conflicts:      60000 | #Constraints:      19098
757.98/760.12	c #Conflicts:      61000 | #Constraints:      20098
757.98/760.12	c INPROCESSING
757.98/760.12	c GARBAGE COLLECT
757.98/760.12	c #Conflicts:      62000 | #Constraints:      16102
757.98/760.12	c #Conflicts:      63000 | #Constraints:      17102
757.98/760.12	c #Conflicts:      64000 | #Constraints:      18102
757.98/760.12	c #Conflicts:      65000 | #Constraints:      19102
757.98/760.12	c #Conflicts:      66000 | #Constraints:      20102
757.98/760.12	c INPROCESSING
757.98/760.12	c GARBAGE COLLECT
757.98/760.12	c #Conflicts:      67000 | #Constraints:      15900
757.98/760.12	c #Conflicts:      68000 | #Constraints:      16900
757.98/760.12	c #Conflicts:      69000 | #Constraints:      17900
757.98/760.12	c #Conflicts:      70000 | #Constraints:      18900
757.98/760.12	c #Conflicts:      71000 | #Constraints:      19900
757.98/760.12	c #Conflicts:      72000 | #Constraints:      20900
757.98/760.12	c INPROCESSING
757.98/760.12	c GARBAGE COLLECT
757.98/760.12	c #Conflicts:      73000 | #Constraints:      16490
757.98/760.12	c #Conflicts:      74000 | #Constraints:      17490
757.98/760.12	c #Conflicts:      75000 | #Constraints:      18490
757.98/760.12	c #Conflicts:      76000 | #Constraints:      19490
757.98/760.12	c #Conflicts:      77000 | #Constraints:      20490
757.98/760.12	c #Conflicts:      78000 | #Constraints:      21490
757.98/760.12	c INPROCESSING
757.98/760.12	c GARBAGE COLLECT
757.98/760.12	c #Conflicts:      79000 | #Constraints:      16905
757.98/760.12	c #Conflicts:      80000 | #Constraints:      17905
757.98/760.12	c #Conflicts:      81000 | #Constraints:      18905
757.98/760.12	c #Conflicts:      82000 | #Constraints:      19905
757.98/760.12	c #Conflicts:      83000 | #Constraints:      20905
757.98/760.12	c #Conflicts:      84000 | #Constraints:      21905
757.98/760.12	c INPROCESSING
757.98/760.12	c GARBAGE COLLECT
757.98/760.12	c #Conflicts:      85000 | #Constraints:      17107
757.98/760.12	c #Conflicts:      86000 | #Constraints:      18107
757.98/760.12	c #Conflicts:      87000 | #Constraints:      19107
757.98/760.12	c #Conflicts:      88000 | #Constraints:      20107
1325.48/1329.21	c #Conflicts:      89000 | #Constraints:      21107
1325.48/1329.21	c #Conflicts:      90000 | #Constraints:      22107
1325.48/1329.21	c INPROCESSING
1325.48/1329.21	c GARBAGE COLLECT
1325.48/1329.21	c #Conflicts:      91000 | #Constraints:      17096
1325.48/1329.21	c #Conflicts:      92000 | #Constraints:      18096
1325.48/1329.21	c #Conflicts:      93000 | #Constraints:      19096
1325.48/1329.21	c #Conflicts:      94000 | #Constraints:      20096
1325.48/1329.21	c #Conflicts:      95000 | #Constraints:      21096
1325.48/1329.21	c #Conflicts:      96000 | #Constraints:      22096
1325.48/1329.21	c INPROCESSING
1325.48/1329.21	c GARBAGE COLLECT
1325.48/1329.21	c #Conflicts:      97000 | #Constraints:      16886
1325.48/1329.21	c #Conflicts:      98000 | #Constraints:      17886
1325.48/1329.21	c #Conflicts:      99000 | #Constraints:      18886
1325.48/1329.21	c #Conflicts:     100000 | #Constraints:      19886
1325.48/1329.21	c #Conflicts:     101000 | #Constraints:      20886
1325.48/1329.21	c #Conflicts:     102000 | #Constraints:      21886
1325.48/1329.21	c #Conflicts:     103000 | #Constraints:      22886
1325.48/1329.21	c INPROCESSING
1325.48/1329.21	c GARBAGE COLLECT
1325.48/1329.21	c #Conflicts:     104000 | #Constraints:      17481
1325.48/1329.21	c #Conflicts:     105000 | #Constraints:      18481
1325.48/1329.21	c #Conflicts:     106000 | #Constraints:      19481
1325.48/1329.21	c #Conflicts:     107000 | #Constraints:      20481
1325.48/1329.21	c #Conflicts:     108000 | #Constraints:      21481
1325.48/1329.21	c #Conflicts:     109000 | #Constraints:      22481
1325.48/1329.21	c #Conflicts:     110000 | #Constraints:      23481
1325.48/1329.21	c INPROCESSING
1325.48/1329.21	c GARBAGE COLLECT
1325.48/1329.21	c #Conflicts:     111000 | #Constraints:      17886
1325.48/1329.21	c #Conflicts:     112000 | #Constraints:      18886
1325.48/1329.21	c #Conflicts:     113000 | #Constraints:      19886
1325.48/1329.21	c #Conflicts:     114000 | #Constraints:      20886
1325.48/1329.21	c #Conflicts:     115000 | #Constraints:      21886
1325.48/1329.21	c #Conflicts:     116000 | #Constraints:      22886
1325.48/1329.21	c #Conflicts:     117000 | #Constraints:      23886
1325.48/1329.21	c INPROCESSING
1325.48/1329.21	c GARBAGE COLLECT
1325.48/1329.21	c #Conflicts:     118000 | #Constraints:      18083
1325.48/1329.21	c #Conflicts:     119000 | #Constraints:      19083
1325.48/1329.21	c #Conflicts:     120000 | #Constraints:      20083
1325.48/1329.21	c #Conflicts:     121000 | #Constraints:      21083
1325.48/1329.21	c #Conflicts:     122000 | #Constraints:      22083
1325.48/1329.21	c #Conflicts:     123000 | #Constraints:      23083
1325.48/1329.21	c #Conflicts:     124000 | #Constraints:      24083
1325.48/1329.21	c INPROCESSING
1325.48/1329.21	c GARBAGE COLLECT
1325.48/1329.21	c #Conflicts:     125000 | #Constraints:      18085
1325.48/1329.21	c #Conflicts:     126000 | #Constraints:      19085
1325.48/1329.21	c #Conflicts:     127000 | #Constraints:      20085
1325.48/1329.21	c #Conflicts:     128000 | #Constraints:      21085
1325.48/1329.21	c #Conflicts:     129000 | #Constraints:      22085
1325.48/1329.21	c #Conflicts:     130000 | #Constraints:      23085
1325.48/1329.21	c #Conflicts:     131000 | #Constraints:      24085
1325.48/1329.21	c INPROCESSING
1325.48/1329.21	c GARBAGE COLLECT
1325.48/1329.21	c #Conflicts:     132000 | #Constraints:      17888
1325.48/1329.21	c #Conflicts:     133000 | #Constraints:      18888
1325.48/1329.21	c #Conflicts:     134000 | #Constraints:      19888
1325.48/1329.21	c #Conflicts:     135000 | #Constraints:      20888
1325.48/1329.21	c #Conflicts:     136000 | #Constraints:      21888
1325.48/1329.21	c #Conflicts:     137000 | #Constraints:      22888
1325.48/1329.21	c #Conflicts:     138000 | #Constraints:      23888
1325.48/1329.21	c #Conflicts:     139000 | #Constraints:      24888
1325.48/1329.21	c INPROCESSING
1325.48/1329.21	c GARBAGE COLLECT
1325.48/1329.21	c #Conflicts:     140000 | #Constraints:      18487
1325.48/1329.21	c #Conflicts:     141000 | #Constraints:      19487
1325.48/1329.21	c #Conflicts:     142000 | #Constraints:      20487
1325.48/1329.21	c #Conflicts:     143000 | #Constraints:      21487
1325.48/1329.21	c #Conflicts:     144000 | #Constraints:      22487
1325.48/1329.21	c #Conflicts:     145000 | #Constraints:      23487
1325.48/1329.21	c #Conflicts:     146000 | #Constraints:      24487
1325.48/1329.21	c #Conflicts:     147000 | #Constraints:      25487
1325.48/1329.21	c INPROCESSING
1325.48/1329.21	c GARBAGE COLLECT
1325.48/1329.21	c #Conflicts:     148000 | #Constraints:      18885
1325.48/1329.21	c #Conflicts:     149000 | #Constraints:      19885
1325.48/1329.21	c #Conflicts:     150000 | #Constraints:      20885
1325.48/1329.21	c #Conflicts:     151000 | #Constraints:      21885
1325.48/1329.21	c #Conflicts:     152000 | #Constraints:      22885
1325.48/1329.21	c #Conflicts:     153000 | #Constraints:      23885
1325.48/1329.21	c #Conflicts:     154000 | #Constraints:      24885
1325.48/1329.21	c #Conflicts:     155000 | #Constraints:      25885
1325.48/1329.21	c INPROCESSING
1325.48/1329.21	c GARBAGE COLLECT
1325.48/1329.21	c #Conflicts:     156000 | #Constraints:      19087
1325.48/1329.21	c #Conflicts:     157000 | #Constraints:      20087
1325.48/1329.21	c #Conflicts:     158000 | #Constraints:      21087
1325.48/1329.21	c #Conflicts:     159000 | #Constraints:      22087
1325.48/1329.21	c #Conflicts:     160000 | #Constraints:      23087
1325.48/1329.21	c #Conflicts:     161000 | #Constraints:      24087
1943.41/1948.78	c #Conflicts:     162000 | #Constraints:      25087
1943.41/1948.78	c #Conflicts:     163000 | #Constraints:      26087
1943.41/1948.78	c INPROCESSING
1943.41/1948.78	c GARBAGE COLLECT
1943.41/1948.78	c #Conflicts:     164000 | #Constraints:      19091
1943.41/1948.78	c #Conflicts:     165000 | #Constraints:      20091
1943.41/1948.78	c #Conflicts:     166000 | #Constraints:      21091
1943.41/1948.78	c #Conflicts:     167000 | #Constraints:      22091
1943.41/1948.78	c #Conflicts:     168000 | #Constraints:      23091
1943.41/1948.78	c #Conflicts:     169000 | #Constraints:      24091
1943.41/1948.78	c #Conflicts:     170000 | #Constraints:      25091
1943.41/1948.78	c #Conflicts:     171000 | #Constraints:      26091
1943.41/1948.78	c INPROCESSING
1943.41/1948.78	c GARBAGE COLLECT
1943.41/1948.78	c #Conflicts:     172000 | #Constraints:      18889
1943.41/1948.78	c #Conflicts:     173000 | #Constraints:      19889
1943.41/1948.78	c #Conflicts:     174000 | #Constraints:      20889
1943.41/1948.78	c #Conflicts:     175000 | #Constraints:      21889
1943.41/1948.78	c #Conflicts:     176000 | #Constraints:      22889
1943.41/1948.78	c #Conflicts:     177000 | #Constraints:      23889
1943.41/1948.78	c #Conflicts:     178000 | #Constraints:      24889
1943.41/1948.78	c #Conflicts:     179000 | #Constraints:      25889
1943.41/1948.78	c #Conflicts:     180000 | #Constraints:      26889
1943.41/1948.78	c INPROCESSING
1943.41/1948.78	c GARBAGE COLLECT
1943.41/1948.78	c #Conflicts:     181000 | #Constraints:      19489
1943.41/1948.78	c #Conflicts:     182000 | #Constraints:      20489
1943.41/1948.78	c #Conflicts:     183000 | #Constraints:      21489
1943.41/1948.78	c #Conflicts:     184000 | #Constraints:      22489
1943.41/1948.78	c #Conflicts:     185000 | #Constraints:      23489
1943.41/1948.78	c #Conflicts:     186000 | #Constraints:      24489
1943.41/1948.78	c #Conflicts:     187000 | #Constraints:      25489
1943.41/1948.78	c #Conflicts:     188000 | #Constraints:      26489
1943.41/1948.78	c #Conflicts:     189000 | #Constraints:      27489
1943.41/1948.78	c INPROCESSING
1943.41/1948.78	c GARBAGE COLLECT
1943.41/1948.78	c #Conflicts:     190000 | #Constraints:      19890
1943.41/1948.78	c #Conflicts:     191000 | #Constraints:      20890
1943.41/1948.78	c #Conflicts:     192000 | #Constraints:      21890
1943.41/1948.78	c #Conflicts:     193000 | #Constraints:      22890
1943.41/1948.78	c #Conflicts:     194000 | #Constraints:      23890
1943.41/1948.78	c #Conflicts:     195000 | #Constraints:      24890
1943.41/1948.78	c #Conflicts:     196000 | #Constraints:      25890
1943.41/1948.78	c #Conflicts:     197000 | #Constraints:      26890
1943.41/1948.78	c #Conflicts:     198000 | #Constraints:      27890
1943.41/1948.78	c INPROCESSING
1943.41/1948.78	c GARBAGE COLLECT
1943.41/1948.78	c #Conflicts:     199000 | #Constraints:      20087
1943.41/1948.78	c #Conflicts:     200000 | #Constraints:      21087
1943.41/1948.78	c #Conflicts:     201000 | #Constraints:      22087
1943.41/1948.78	c #Conflicts:     202000 | #Constraints:      23087
1943.41/1948.78	c #Conflicts:     203000 | #Constraints:      24087
1943.41/1948.78	c #Conflicts:     204000 | #Constraints:      25087
1943.41/1948.78	c #Conflicts:     205000 | #Constraints:      26087
1943.41/1948.78	c #Conflicts:     206000 | #Constraints:      27087
1943.41/1948.78	c #Conflicts:     207000 | #Constraints:      28087
1943.41/1948.78	c INPROCESSING
1943.41/1948.78	c GARBAGE COLLECT
1943.41/1948.78	c #Conflicts:     208000 | #Constraints:      20091
1943.41/1948.78	c #Conflicts:     209000 | #Constraints:      21091
1943.41/1948.78	c #Conflicts:     210000 | #Constraints:      22091
1943.41/1948.78	c #Conflicts:     211000 | #Constraints:      23091
1943.41/1948.78	c #Conflicts:     212000 | #Constraints:      24091
1943.41/1948.78	c #Conflicts:     213000 | #Constraints:      25091
1943.41/1948.78	c #Conflicts:     214000 | #Constraints:      26091
1943.41/1948.78	c #Conflicts:     215000 | #Constraints:      27091
1943.41/1948.78	c #Conflicts:     216000 | #Constraints:      28091
1943.41/1948.78	c INPROCESSING
1943.41/1948.78	c GARBAGE COLLECT
1943.41/1948.78	c #Conflicts:     217000 | #Constraints:      19892
1943.41/1948.78	c #Conflicts:     218000 | #Constraints:      20892
1943.41/1948.78	c #Conflicts:     219000 | #Constraints:      21892
1943.41/1948.78	c #Conflicts:     220000 | #Constraints:      22892
1943.41/1948.78	c #Conflicts:     221000 | #Constraints:      23892
1943.41/1948.78	c #Conflicts:     222000 | #Constraints:      24892
1943.41/1948.78	c #Conflicts:     223000 | #Constraints:      25892
1943.41/1948.78	c #Conflicts:     224000 | #Constraints:      26892
1943.41/1948.78	c #Conflicts:     225000 | #Constraints:      27892
1943.41/1948.78	c #Conflicts:     226000 | #Constraints:      28892
1943.41/1948.78	c INPROCESSING
1943.41/1948.78	c GARBAGE COLLECT
1943.41/1948.78	c #Conflicts:     227000 | #Constraints:      20502
1943.41/1948.78	c #Conflicts:     228000 | #Constraints:      21502
1943.41/1948.78	c #Conflicts:     229000 | #Constraints:      22502
1943.41/1948.78	c #Conflicts:     230000 | #Constraints:      23502
1943.41/1948.78	c #Conflicts:     231000 | #Constraints:      24502
1943.41/1948.78	c #Conflicts:     232000 | #Constraints:      25502
1943.41/1948.78	c #Conflicts:     233000 | #Constraints:      26502
1943.41/1948.78	c #Conflicts:     234000 | #Constraints:      27502
2777.03/2784.47	c #Conflicts:     235000 | #Constraints:      28502
2777.03/2784.47	c #Conflicts:     236000 | #Constraints:      29502
2777.03/2784.47	c INPROCESSING
2777.03/2784.47	c GARBAGE COLLECT
2777.03/2784.47	c #Conflicts:     237000 | #Constraints:      20898
2777.03/2784.47	c #Conflicts:     238000 | #Constraints:      21898
2777.03/2784.47	c #Conflicts:     239000 | #Constraints:      22898
2777.03/2784.47	c #Conflicts:     240000 | #Constraints:      23898
2777.03/2784.47	c #Conflicts:     241000 | #Constraints:      24898
2777.03/2784.47	c #Conflicts:     242000 | #Constraints:      25898
2777.03/2784.47	c #Conflicts:     243000 | #Constraints:      26898
2777.03/2784.47	c #Conflicts:     244000 | #Constraints:      27898
2777.03/2784.47	c #Conflicts:     245000 | #Constraints:      28898
2777.03/2784.47	c #Conflicts:     246000 | #Constraints:      29898
2777.03/2784.47	c INPROCESSING
2777.03/2784.47	c GARBAGE COLLECT
2777.03/2784.47	c #Conflicts:     247000 | #Constraints:      21097
2777.03/2784.47	c #Conflicts:     248000 | #Constraints:      22097
2777.03/2784.47	c #Conflicts:     249000 | #Constraints:      23097
2777.03/2784.47	c #Conflicts:     250000 | #Constraints:      24097
2777.03/2784.47	c #Conflicts:     251000 | #Constraints:      25097
2777.03/2784.47	c #Conflicts:     252000 | #Constraints:      26097
2777.03/2784.47	c #Conflicts:     253000 | #Constraints:      27097
2777.03/2784.47	c #Conflicts:     254000 | #Constraints:      28097
2777.03/2784.47	c #Conflicts:     255000 | #Constraints:      29097
2777.03/2784.47	c #Conflicts:     256000 | #Constraints:      30097
2777.03/2784.47	c INPROCESSING
2777.03/2784.47	c GARBAGE COLLECT
2777.03/2784.47	c #Conflicts:     257000 | #Constraints:      21088
2777.03/2784.47	c #Conflicts:     258000 | #Constraints:      22088
2777.03/2784.47	c #Conflicts:     259000 | #Constraints:      23088
2777.03/2784.47	c #Conflicts:     260000 | #Constraints:      24088
2777.03/2784.47	c #Conflicts:     261000 | #Constraints:      25088
2777.03/2784.47	c #Conflicts:     262000 | #Constraints:      26088
2777.03/2784.47	c #Conflicts:     263000 | #Constraints:      27088
2777.03/2784.47	c #Conflicts:     264000 | #Constraints:      28088
2777.03/2784.47	c #Conflicts:     265000 | #Constraints:      29088
2777.03/2784.47	c #Conflicts:     266000 | #Constraints:      30088
2777.03/2784.47	c INPROCESSING
2777.03/2784.47	c GARBAGE COLLECT
2777.03/2784.47	c #Conflicts:     267000 | #Constraints:      20896
2777.03/2784.47	c #Conflicts:     268000 | #Constraints:      21896
2777.03/2784.47	c #Conflicts:     269000 | #Constraints:      22896
2777.03/2784.47	c #Conflicts:     270000 | #Constraints:      23896
2777.03/2784.47	c #Conflicts:     271000 | #Constraints:      24896
2777.03/2784.47	c #Conflicts:     272000 | #Constraints:      25896
2777.03/2784.47	c #Conflicts:     273000 | #Constraints:      26896
2777.03/2784.47	c #Conflicts:     274000 | #Constraints:      27896
2777.03/2784.47	c #Conflicts:     275000 | #Constraints:      28896
2777.03/2784.47	c #Conflicts:     276000 | #Constraints:      29896
2777.03/2784.47	c #Conflicts:     277000 | #Constraints:      30896
2777.03/2784.47	c INPROCESSING
2777.03/2784.47	c GARBAGE COLLECT
2777.03/2784.47	c #Conflicts:     278000 | #Constraints:      21510
2777.03/2784.47	c #Conflicts:     279000 | #Constraints:      22510
2777.03/2784.47	c #Conflicts:     280000 | #Constraints:      23510
2777.03/2784.47	c #Conflicts:     281000 | #Constraints:      24510
2777.03/2784.47	c #Conflicts:     282000 | #Constraints:      25510
2777.03/2784.47	c #Conflicts:     283000 | #Constraints:      26510
2777.03/2784.47	c #Conflicts:     284000 | #Constraints:      27510
2777.03/2784.47	c #Conflicts:     285000 | #Constraints:      28510
2777.03/2784.47	c #Conflicts:     286000 | #Constraints:      29510
2777.03/2784.47	c #Conflicts:     287000 | #Constraints:      30510
2777.03/2784.47	c #Conflicts:     288000 | #Constraints:      31510
2777.03/2784.47	c INPROCESSING
2777.03/2784.47	c GARBAGE COLLECT
2777.03/2784.47	c #Conflicts:     289000 | #Constraints:      21895
2777.03/2784.47	c #Conflicts:     290000 | #Constraints:      22895
2777.03/2784.47	c #Conflicts:     291000 | #Constraints:      23895
2777.03/2784.47	c #Conflicts:     292000 | #Constraints:      24895
2777.03/2784.47	c #Conflicts:     293000 | #Constraints:      25895
2777.03/2784.47	c #Conflicts:     294000 | #Constraints:      26895
2777.03/2784.47	c #Conflicts:     295000 | #Constraints:      27895
2777.03/2784.47	c #Conflicts:     296000 | #Constraints:      28895
2777.03/2784.47	c #Conflicts:     297000 | #Constraints:      29895
2777.03/2784.47	c #Conflicts:     298000 | #Constraints:      30895
2777.03/2784.47	c #Conflicts:     299000 | #Constraints:      31895
2777.03/2784.47	c INPROCESSING
2777.03/2784.47	c GARBAGE COLLECT
2777.03/2784.47	c #Conflicts:     300000 | #Constraints:      22098
2777.03/2784.47	c #Conflicts:     301000 | #Constraints:      23098
2777.03/2784.47	c #Conflicts:     302000 | #Constraints:      24098
2777.03/2784.47	c #Conflicts:     303000 | #Constraints:      25098
2777.03/2784.47	c #Conflicts:     304000 | #Constraints:      26098
2777.03/2784.47	c #Conflicts:     305000 | #Constraints:      27098
2777.03/2784.47	c #Conflicts:     306000 | #Constraints:      28098
2777.03/2784.47	c #Conflicts:     307000 | #Constraints:      29098
2777.03/2784.47	c #Conflicts:     308000 | #Constraints:      30098
2777.03/2784.47	c #Conflicts:     309000 | #Constraints:      31098
3600.02/3609.40	c #Conflicts:     310000 | #Constraints:      32098
3600.02/3609.40	c INPROCESSING
3600.02/3609.40	c GARBAGE COLLECT
3600.02/3609.40	c #Conflicts:     311000 | #Constraints:      22107
3600.02/3609.40	c #Conflicts:     312000 | #Constraints:      23107
3600.02/3609.40	c #Conflicts:     313000 | #Constraints:      24107
3600.02/3609.40	c #Conflicts:     314000 | #Constraints:      25107
3600.02/3609.40	c #Conflicts:     315000 | #Constraints:      26107
3600.02/3609.40	c #Conflicts:     316000 | #Constraints:      27107
3600.02/3609.40	c #Conflicts:     317000 | #Constraints:      28107
3600.02/3609.40	c #Conflicts:     318000 | #Constraints:      29107
3600.02/3609.40	c #Conflicts:     319000 | #Constraints:      30107
3600.02/3609.40	c #Conflicts:     320000 | #Constraints:      31107
3600.02/3609.40	c #Conflicts:     321000 | #Constraints:      32107
3600.02/3609.40	c INPROCESSING
3600.02/3609.40	c GARBAGE COLLECT
3600.02/3609.40	c #Conflicts:     322000 | #Constraints:      21895
3600.02/3609.40	c #Conflicts:     323000 | #Constraints:      22895
3600.02/3609.40	c #Conflicts:     324000 | #Constraints:      23895
3600.02/3609.40	c #Conflicts:     325000 | #Constraints:      24895
3600.02/3609.40	c #Conflicts:     326000 | #Constraints:      25895
3600.02/3609.40	c #Conflicts:     327000 | #Constraints:      26895
3600.02/3609.40	c #Conflicts:     328000 | #Constraints:      27895
3600.02/3609.40	c #Conflicts:     329000 | #Constraints:      28895
3600.02/3609.40	c #Conflicts:     330000 | #Constraints:      29895
3600.02/3609.40	c #Conflicts:     331000 | #Constraints:      30895
3600.02/3609.40	c #Conflicts:     332000 | #Constraints:      31895
3600.02/3609.40	c #Conflicts:     333000 | #Constraints:      32895
3600.02/3609.40	c INPROCESSING
3600.02/3609.40	c GARBAGE COLLECT
3600.02/3609.40	c #Conflicts:     334000 | #Constraints:      22475
3600.02/3609.40	c #Conflicts:     335000 | #Constraints:      23475
3600.02/3609.40	c #Conflicts:     336000 | #Constraints:      24475
3600.02/3609.40	c #Conflicts:     337000 | #Constraints:      25475
3600.02/3609.40	c #Conflicts:     338000 | #Constraints:      26475
3600.02/3609.40	c #Conflicts:     339000 | #Constraints:      27475
3600.02/3609.40	c #Conflicts:     340000 | #Constraints:      28475
3600.02/3609.40	c #Conflicts:     341000 | #Constraints:      29475
3600.02/3609.40	c #Conflicts:     342000 | #Constraints:      30475
3600.02/3609.40	c #Conflicts:     343000 | #Constraints:      31475
3600.02/3609.40	c #Conflicts:     344000 | #Constraints:      32475
3600.02/3609.40	c #Conflicts:     345000 | #Constraints:      33475
3600.02/3609.40	c INPROCESSING
3600.02/3609.40	c GARBAGE COLLECT
3600.02/3609.40	c #Conflicts:     346000 | #Constraints:      22874
3600.02/3609.40	c #Conflicts:     347000 | #Constraints:      23874
3600.02/3609.40	c #Conflicts:     348000 | #Constraints:      24874
3600.02/3609.40	c #Conflicts:     349000 | #Constraints:      25874
3600.02/3609.40	c #Conflicts:     350000 | #Constraints:      26874
3600.02/3609.40	c #Conflicts:     351000 | #Constraints:      27874
3600.02/3609.40	c #Conflicts:     352000 | #Constraints:      28874
3600.02/3609.40	c #Conflicts:     353000 | #Constraints:      29874
3600.02/3609.40	c #Conflicts:     354000 | #Constraints:      30874
3600.02/3609.40	c #Conflicts:     355000 | #Constraints:      31874
3600.02/3609.40	c #Conflicts:     356000 | #Constraints:      32874
3600.02/3609.40	c #Conflicts:     357000 | #Constraints:      33874
3600.02/3609.40	c INPROCESSING
3600.02/3609.40	c GARBAGE COLLECT
3600.02/3609.40	c #Conflicts:     358000 | #Constraints:      23049
3600.02/3609.40	c #Conflicts:     359000 | #Constraints:      24049
3600.02/3609.40	c #Conflicts:     360000 | #Constraints:      25049
3600.02/3609.40	c #Conflicts:     361000 | #Constraints:      26049
3600.02/3609.40	c Program interrupted by user.
3600.02/3609.40	c cpu time 3582.38 s
3600.02/3609.40	c deterministic time 408385321790 4.08e+11
3600.02/3609.40	c optimization time 59.913 s
3600.02/3609.40	c total solve time 3223.26 s
3600.02/3609.40	c core-guided solve time 3223.26 s
3600.02/3609.40	c propagation time 2084.7 s
3600.02/3609.40	c conflict analysis time 575.168 s
3600.02/3609.40	c propagations 157946619
3600.02/3609.40	c resolve steps 1228348
3600.02/3609.40	c decisions 17194597
3600.02/3609.40	c conflicts 361777
3600.02/3609.40	c restarts 871
3600.02/3609.40	c inprocessing phases 51
3600.02/3609.40	c input clauses 10001
3600.02/3609.40	c input cardinalities 1700
3600.02/3609.40	c input general constraints 0
3600.02/3609.40	c input average constraint length 1457.96
3600.02/3609.40	c input average constraint degree 125.06
3600.02/3609.40	c learned clauses 45980
3600.02/3609.40	c learned cardinalities 625
3600.02/3609.40	c learned general constraints 315172
3600.02/3609.40	c learned average constraint length 6922.38
3600.02/3609.40	c learned average constraint degree 10999293.83
3600.02/3609.40	c watched constraints 44397
3600.02/3609.40	c counting constraints 270775
3600.02/3609.40	c gcd simplifications 1150
3600.02/3609.40	c detected cardinalities 25
3600.02/3609.40	c weakened non-implied lits 351715121
3600.02/3609.40	c weakened non-implying lits 2615
3600.02/3609.40	c original variables 10000
3600.02/3609.40	c clausal propagations 7793199
3600.02/3609.40	c cardinality propagations 18950
3600.02/3609.40	c watched propagations 3389501
3600.02/3609.40	c counting propagations 142641522
3600.02/3609.40	c watch lookups 34626383990
3600.02/3609.40	c watch backjump lookups 34519258165
3600.02/3609.40	c watch checks 89971911337
3600.02/3609.40	c propagation checks 242957214181
3600.02/3609.40	c constraint additions 5959911588
3600.02/3609.40	c trail pops 175501312
3600.02/3609.40	c formula constraints 10000
3600.02/3609.40	c learned constraints 361777
3600.02/3609.40	c bound constraints 1701
3600.02/3609.40	c core-guided constraints 0
3600.02/3609.40	c encountered formula constraints 802096
3600.02/3609.40	c encountered learned constraints 788028
3600.02/3609.40	c encountered bound constraints 1
3600.02/3609.40	c encountered core-guided constraints 0
3600.02/3609.40	c LP total time 0 s
3600.02/3609.40	c LP solve time 0 s
3600.02/3609.40	c LP constraints added 0
3600.02/3609.40	c LP constraints removed 0
3600.02/3609.40	c LP pivots internal 0
3600.02/3609.40	c LP pivots root 0
3600.02/3609.40	c LP calls 0
3600.02/3609.40	c LP optimalities 0
3600.02/3609.40	c LP no pivot count 0
3600.02/3609.40	c LP infeasibilities 0
3600.02/3609.40	c LP valid Farkas constraints 0
3600.02/3609.40	c LP learned Farkas constraints 0
3600.02/3609.40	c LP basis resets 0
3600.02/3609.40	c LP cycling count 0
3600.02/3609.40	c LP singular count 0
3600.02/3609.40	c LP no primal count 0
3600.02/3609.40	c LP no farkas count 0
3600.02/3609.40	c LP other issue count 0
3600.02/3609.40	c LP Gomory cuts 0
3600.02/3609.40	c LP learned cuts 0
3600.02/3609.40	c LP deleted cuts 0
3600.02/3609.40	c LP encountered Gomory constraints 0
3600.02/3609.40	c LP encountered Farkas constraints 0
3600.02/3609.40	c LP encountered learned Farkas constraints 0
3600.02/3609.40	c CG auxiliary variables introduced 0
3600.02/3609.40	c CG solutions found 0
3600.02/3609.40	c CG cores constructed 1700
3600.02/3609.40	c CG core cardinality constraints returned 0
3600.02/3609.40	c CG unit cores 0
3600.02/3609.40	c CG single cores 1700
3600.02/3609.40	c CG blocks removed during cardinality reduction 0
3600.02/3609.40	c CG first core best 0
3600.02/3609.40	c CG decision core best 0
3600.02/3609.40	c CG core reduction tie 0
3600.02/3609.40	c CG core degree average 1.00
3600.02/3609.40	c CG core slack average 3.94
3600.02/3609.40	c CG exhausted 0
3600.02/3609.40	c CG exhaust time 0 s
3600.02/3609.40	c CG trimmed 0
3600.02/3609.40	c CG trim time 0.009172 s
3600.02/3609.40	c CG minimized 0
3600.02/3609.40	c CG minimize time 0 s
3600.02/3609.40	c CG am1 prop time 0.0104 s
3600.02/3609.40	c CG # am1s reformulated 0
3600.02/3609.40	c CG lower bound derived from am1s 0
3600.02/3609.40	c CG # clausal cores 1700
3600.02/3609.40	c CG # cardinality cores 0
3600.02/3609.40	c CG # pb cores 0
3600.02/3609.40	c CG # pb reforms 0
3600.02/3609.40	c CG # cores discarded because of pb reform 0
3600.02/3609.40	d LOWERBOUND 1700
3600.02/3609.40	d NCORES 1700
3600.02/3609.40	d NPBCORES 0
3600.02/3609.40	d NPBREFORM 0
3600.02/3609.40	d NTRIMMED 0
3600.02/3609.40	d NEXHAUSTED 0
3600.02/3609.40	d NAM1S 0
3600.02/3609.40	d AM1LB 0
3600.02/3609.40	c [Papilo Statistics]
3600.02/3609.40	c prepro time 0.0125201s
3600.02/3609.40	c # tsx applied 0
3600.02/3609.40	c # tsx conflicts 0
3600.02/3609.40	c # bound changes 0
3600.02/3609.40	c # side changes 0
3600.02/3609.40	c # coef changes 0
3600.02/3609.40	c # rounds 1
3600.02/3609.40	c # deted vars 0
3600.02/3609.40	c # deted constrs 0
3600.02/3609.40	c # consecutive rounds of only bound changes 0
3600.02/3609.42	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: 63931 MiB (61256 MiB free)
  memory of node 1: 64510 MiB (62234 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454699-1721465998/watcher-4454699-1721465998 -o /tmp/evaluation-result-4454699-1721465998/solver-4454699-1721465998 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721465999-1079551 --watchdog 3760 mixed-bag HOME/instance-4454699-1721465998.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100098 s]*
/proc/loadavg: 1.64 2.64 3.44 5/259 1080397
/proc/meminfo: memFree=126405984/131524600 swapFree=131071996/131071996
[pid=1080396] ppid=1080393 vsize=131664 memory=63708 CPUtime=0.09 cores=5,7
/proc/1080396/stat : 1080396 (mixed-bag) R 1080393 1080396 1079538 0 -1 4194304 14388 0 0 0 8 1 0 0 20 0 1 0 198761678 134823936 15927 134679101440 4194304 16488053 140731374043536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38010880 140731374048277 140731374048354 140731374048354 140731374055371 0
/proc/1080396/statm: 32916 15927 3838 3002 0 16665 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 131664 KiB
Current children cumulated memory: 63708 KiB

[startup+0.205645 s]*
/proc/loadavg: 1.64 2.64 3.44 5/259 1080397
/proc/meminfo: memFree=126388204/131524600 swapFree=131071996/131071996
[pid=1080396] ppid=1080393 vsize=167828 memory=82720 CPUtime=0.2 cores=5,7
/proc/1080396/stat : 1080396 (mixed-bag) R 1080393 1080396 1079538 0 -1 4194304 20382 0 0 0 18 2 0 0 20 0 1 0 198761678 171855872 20680 134679101440 4194304 16488053 140731374043536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38010880 140731374048277 140731374048354 140731374048354 140731374055371 0
/proc/1080396/statm: 41957 20680 3886 3002 0 25706 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 167828 KiB
Current children cumulated memory: 82720 KiB

[startup+0.305583 s]*
/proc/loadavg: 1.64 2.64 3.44 5/259 1080397
/proc/meminfo: memFree=126331252/131524600 swapFree=131071996/131071996
[pid=1080396] ppid=1080393 vsize=240584 memory=138168 CPUtime=0.29 cores=5,7
/proc/1080396/stat : 1080396 (mixed-bag) R 1080393 1080396 1079538 0 -1 4194304 36842 0 0 0 25 4 0 0 20 0 1 0 198761678 246358016 34542 134679101440 4194304 16488053 140731374043536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38010880 140731374048277 140731374048354 140731374048354 140731374055371 0
/proc/1080396/statm: 60146 34542 3943 3002 0 43895 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 240584 KiB
Current children cumulated memory: 138168 KiB

[startup+0.70022 s]
/proc/loadavg: 1.64 2.64 3.44 5/259 1080397
/proc/meminfo: memFree=126325408/131524600 swapFree=131071996/131071996
[pid=1080396] ppid=1080393 vsize=250148 memory=147548 CPUtime=0.69 cores=5,7
/proc/1080396/stat : 1080396 (mixed-bag) R 1080393 1080396 1079538 0 -1 4194304 39066 0 0 0 64 5 0 0 20 0 1 0 198761678 256151552 36887 134679101440 4194304 16488053 140731374043536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38010880 140731374048277 140731374048354 140731374048354 140731374055371 0
/proc/1080396/statm: 62537 36887 4071 3002 0 46286 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 250148 KiB
Current children cumulated memory: 147548 KiB

[startup+1.50023 s]
/proc/loadavg: 1.91 2.68 3.45 5/260 1080400
/proc/meminfo: memFree=126319892/131524600 swapFree=131071996/131071996
[pid=1080396] ppid=1080393 vsize=252244 memory=149660 CPUtime=1.48 cores=5,7
/proc/1080396/stat : 1080396 (mixed-bag) R 1080393 1080396 1079538 0 -1 4194304 39641 0 0 0 143 5 0 0 20 0 1 0 198761678 258297856 37415 134679101440 4194304 16488053 140731374043536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38010880 140731374048277 140731374048354 140731374048354 140731374055371 0
/proc/1080396/statm: 63061 37415 4071 3002 0 46810 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 252244 KiB
Current children cumulated memory: 149660 KiB

[startup+3.1055 s]
/proc/loadavg: 1.91 2.68 3.45 5/260 1080401
/proc/meminfo: memFree=126312584/131524600 swapFree=131071996/131071996
[pid=1080396] ppid=1080393 vsize=252392 memory=149924 CPUtime=3.09 cores=5,7
/proc/1080396/stat : 1080396 (mixed-bag) R 1080393 1080396 1079538 0 -1 4194304 39688 0 0 0 304 5 0 0 20 0 1 0 198761678 258449408 37481 134679101440 4194304 16488053 140731374043536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38010880 140731374048277 140731374048354 140731374048354 140731374055371 0
/proc/1080396/statm: 63098 37481 4071 3002 0 46847 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 252392 KiB
Current children cumulated memory: 149924 KiB

[startup+6.30021 s]
/proc/loadavg: 2.08 2.70 3.45 5/260 1080401
/proc/meminfo: memFree=126298928/131524600 swapFree=131071996/131071996
[pid=1080396] ppid=1080393 vsize=253332 memory=151040 CPUtime=6.27 cores=5,7
/proc/1080396/stat : 1080396 (mixed-bag) R 1080393 1080396 1079538 0 -1 4194304 39974 0 0 0 622 5 0 0 20 0 1 0 198761678 259411968 37760 134679101440 4194304 16488053 140731374043536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38010880 140731374048277 140731374048354 140731374048354 140731374055371 0
/proc/1080396/statm: 63333 37760 4087 3002 0 47082 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 253332 KiB
Current children cumulated memory: 151040 KiB

[startup+12.7002 s]
/proc/loadavg: 2.23 2.73 3.46 5/260 1080403
/proc/meminfo: memFree=126253592/131524600 swapFree=131071996/131071996
[pid=1080396] ppid=1080393 vsize=257372 memory=153416 CPUtime=12.65 cores=5,7
/proc/1080396/stat : 1080396 (mixed-bag) R 1080393 1080396 1079538 0 -1 4194304 40538 0 0 0 1260 5 0 0 20 0 1 0 198761678 263548928 38354 134679101440 4194304 16488053 140731374043536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38010880 140731374048277 140731374048354 140731374048354 140731374055371 0
/proc/1080396/statm: 64343 38354 4087 3002 0 48092 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 257372 KiB
Current children cumulated memory: 153416 KiB

[startup+25.5003 s]
/proc/loadavg: 2.50 2.77 3.46 5/260 1080680
/proc/meminfo: memFree=126225128/131524600 swapFree=131071996/131071996
[pid=1080396] ppid=1080393 vsize=266096 memory=161476 CPUtime=25.43 cores=5,7
/proc/1080396/stat : 1080396 (mixed-bag) R 1080393 1080396 1079538 0 -1 4194304 41666 0 0 0 2537 6 0 0 20 0 1 0 198761678 272482304 40369 134679101440 4194304 16488053 140731374043536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38010880 140731374048277 140731374048354 140731374048354 140731374055371 0
/proc/1080396/statm: 66524 40369 4087 3002 0 50273 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 266096 KiB
Current children cumulated memory: 161476 KiB

[startup+51.1057 s]
/proc/loadavg: 3.17 2.90 3.49 5/260 1080694
/proc/meminfo: memFree=126139560/131524600 swapFree=131071996/131071996
[pid=1080396] ppid=1080393 vsize=277172 memory=173684 CPUtime=50.96 cores=5,7
/proc/1080396/stat : 1080396 (mixed-bag) R 1080393 1080396 1079538 0 -1 4194304 43306 0 0 0 5090 6 0 0 20 0 1 0 198761678 283824128 43421 134679101440 4194304 16488053 140731374043536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38010880 140731374048277 140731374048354 140731374048354 140731374055371 0
/proc/1080396/statm: 69293 43421 4087 3002 0 53042 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 277172 KiB
Current children cumulated memory: 173684 KiB

[startup+102.3 s]
/proc/loadavg: 3.64 3.08 3.52 5/260 1080795
/proc/meminfo: memFree=126089744/131524600 swapFree=131071996/131071996
[pid=1080396] ppid=1080393 vsize=286312 memory=182044 CPUtime=102.02 cores=5,7
/proc/1080396/stat : 1080396 (mixed-bag) R 1080393 1080396 1079538 0 -1 4194304 44467 0 0 0 10195 7 0 0 20 0 1 0 198761678 293183488 45511 134679101440 4194304 16488053 140731374043536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38010880 140731374048277 140731374048354 140731374048354 140731374055371 0
/proc/1080396/statm: 71578 45511 4087 3002 0 55327 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 286312 KiB
Current children cumulated memory: 182044 KiB

[startup+162.3 s]
/proc/loadavg: 3.95 3.28 3.56 5/259 1080806
/proc/meminfo: memFree=125982168/131524600 swapFree=131071996/131071996
[pid=1080396] ppid=1080393 vsize=304308 memory=196340 CPUtime=161.86 cores=5,7
/proc/1080396/stat : 1080396 (mixed-bag) R 1080393 1080396 1079538 0 -1 4194304 46269 0 0 0 16178 8 0 0 20 0 1 0 198761678 311611392 49085 134679101440 4194304 16488053 140731374043536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38010880 140731374048277 140731374048354 140731374048354 140731374055371 0
/proc/1080396/statm: 76077 49085 4087 3002 0 59826 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 304308 KiB
Current children cumulated memory: 196340 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 3.46 3.60 5/257 1080816
/proc/meminfo: memFree=125933932/131524600 swapFree=131071996/131071996
[pid=1080396] ppid=1080393 vsize=304308 memory=198192 CPUtime=221.69 cores=5,7
/proc/1080396/stat : 1080396 (mixed-bag) R 1080393 1080396 1079538 0 -1 4194304 46297 0 0 0 22161 8 0 0 20 0 1 0 198761678 311611392 49548 134679101440 4194304 16488053 140731374043536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38010880 140731374048277 140731374048354 140731374048354 140731374055371 0
/proc/1080396/statm: 76077 49548 4087 3002 0 59826 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 304308 KiB
Current children cumulated memory: 198192 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 3.57 3.64 5/257 1080827
/proc/meminfo: memFree=125850872/131524600 swapFree=131071996/131071996
[pid=1080396] ppid=1080393 vsize=320060 memory=231744 CPUtime=281.52 cores=5,7
/proc/1080396/stat : 1080396 (mixed-bag) R 1080393 1080396 1079538 0 -1 4194304 47091 0 0 0 28144 8 0 0 20 0 1 0 198761678 327741440 57936 134679101440 4194304 16488053 140731374043536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38010880 140731374048277 140731374048354 140731374048354 140731374055371 0
/proc/1080396/statm: 80015 57936 4087 3002 0 63764 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 320060 KiB
Current children cumulated memory: 231744 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 3.67 3.67 5/255 1080840
/proc/meminfo: memFree=125391032/131524600 swapFree=131071996/131071996
[pid=1080396] ppid=1080393 vsize=758768 memory=624196 CPUtime=341.37 cores=5,7
/proc/1080396/stat : 1080396 (mixed-bag) R 1080393 1080396 1079538 0 -1 4194304 92636 0 0 0 33976 161 0 0 20 0 1 0 198761678 776978432 156049 134679101440 4194304 16488053 140731374043536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38010880 140731374048277 140731374048354 140731374048354 140731374055371 0
/proc/1080396/statm: 189692 156049 4230 3002 0 173441 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 758768 KiB
Current children cumulated memory: 624196 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 3.75 3.70 5/255 1080850
/proc/meminfo: memFree=125055736/131524600 swapFree=131071996/131071996
[pid=1080396] ppid=1080393 vsize=1278208 memory=924184 CPUtime=401.19 cores=5,7
/proc/1080396/stat : 1080396 (mixed-bag) R 1080393 1080396 1079538 0 -1 4194304 147190 0 0 0 39901 218 0 0 20 0 1 0 198761678 1308884992 231046 134679101440 4194304 16488053 140731374043536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38010880 140731374048277 140731374048354 140731374048354 140731374055371 0
/proc/1080396/statm: 319552 231046 4230 3002 0 303301 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 1278208 KiB
Current children cumulated memory: 924184 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 3.81 3.72 5/255 1080860
/proc/meminfo: memFree=124928260/131524600 swapFree=131071996/131071996
[pid=1080396] ppid=1080393 vsize=1278592 memory=1006140 CPUtime=461.02 cores=5,7
/proc/1080396/stat : 1080396 (mixed-bag) R 1080393 1080396 1079538 0 -1 4194304 154489 0 0 0 45815 287 0 0 20 0 1 0 198761678 1309278208 251535 134679101440 4194304 16488053 140731374043536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38010880 140731374048277 140731374048354 140731374048354 140731374055371 0
/proc/1080396/statm: 319648 251535 4230 3002 0 303397 0

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

Current children cumulated memory: 3437956 KiB

[startup+2862.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/255 1081915
/proc/meminfo: memFree=121967804/131524600 swapFree=131071996/131071996
[pid=1080396] ppid=1080393 vsize=3919528 memory=3437956 CPUtime=2854.73 cores=5,7
/proc/1080396/stat : 1080396 (mixed-bag) R 1080393 1080396 1079538 0 -1 4194304 502635 0 0 0 284020 1453 0 0 20 0 1 0 198761678 4013596672 859489 134679101440 4194304 16488053 140731374043536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38010880 140731374048277 140731374048354 140731374048354 140731374055371 0
/proc/1080396/statm: 979882 859489 4230 3002 0 963631 0
Current children cumulated CPU time: 2854.73 s
Current children cumulated vsize: 3919528 KiB
Current children cumulated memory: 3437956 KiB

[startup+2922.3 s]
/proc/loadavg: 4.22 4.15 4.10 5/254 1081925
/proc/meminfo: memFree=121959972/131524600 swapFree=131071996/131071996
[pid=1080396] ppid=1080393 vsize=3919528 memory=3437956 CPUtime=2914.59 cores=5,7
/proc/1080396/stat : 1080396 (mixed-bag) R 1080393 1080396 1079538 0 -1 4194304 504166 0 0 0 289995 1464 0 0 20 0 1 0 198761678 4013596672 859489 134679101440 4194304 16488053 140731374043536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38010880 140731374048277 140731374048354 140731374048354 140731374055371 0
/proc/1080396/statm: 979882 859489 4230 3002 0 963631 0
Current children cumulated CPU time: 2914.59 s
Current children cumulated vsize: 3919528 KiB
Current children cumulated memory: 3437956 KiB

[startup+2982.3 s]
/proc/loadavg: 4.19 4.15 4.10 5/254 1081935
/proc/meminfo: memFree=121943592/131524600 swapFree=131071996/131071996
[pid=1080396] ppid=1080393 vsize=3919528 memory=3449016 CPUtime=2974.45 cores=5,7
/proc/1080396/stat : 1080396 (mixed-bag) R 1080393 1080396 1079538 0 -1 4194304 505642 0 0 0 295966 1479 0 0 20 0 1 0 198761678 4013596672 862254 134679101440 4194304 16488053 140731374043536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38010880 140731374048277 140731374048354 140731374048354 140731374055371 0
/proc/1080396/statm: 979882 862254 4230 3002 0 963631 0
Current children cumulated CPU time: 2974.45 s
Current children cumulated vsize: 3919528 KiB
Current children cumulated memory: 3449016 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/257 1081951
/proc/meminfo: memFree=121930804/131524600 swapFree=131071996/131071996
[pid=1080396] ppid=1080393 vsize=3919528 memory=3449016 CPUtime=3034.29 cores=5,7
/proc/1080396/stat : 1080396 (mixed-bag) R 1080393 1080396 1079538 0 -1 4194304 507145 0 0 0 301937 1492 0 0 20 0 1 0 198761678 4013596672 862254 134679101440 4194304 16488053 140731374043536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38010880 140731374048277 140731374048354 140731374048354 140731374055371 0
/proc/1080396/statm: 979882 862254 4230 3002 0 963631 0
Current children cumulated CPU time: 3034.29 s
Current children cumulated vsize: 3919528 KiB
Current children cumulated memory: 3449016 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.14 4.09 5/257 1081961
/proc/meminfo: memFree=121921604/131524600 swapFree=131071996/131071996
[pid=1080396] ppid=1080393 vsize=3919528 memory=3449016 CPUtime=3094.15 cores=5,7
/proc/1080396/stat : 1080396 (mixed-bag) R 1080393 1080396 1079538 0 -1 4194304 509818 0 0 0 307910 1505 0 0 20 0 1 0 198761678 4013596672 862254 134679101440 4194304 16488053 140731374043536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38010880 140731374048277 140731374048354 140731374048354 140731374055371 0
/proc/1080396/statm: 979882 862254 4230 3002 0 963631 0
Current children cumulated CPU time: 3094.15 s
Current children cumulated vsize: 3919528 KiB
Current children cumulated memory: 3449016 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/257 1081971
/proc/meminfo: memFree=121904600/131524600 swapFree=131071996/131071996
[pid=1080396] ppid=1080393 vsize=3919528 memory=3449032 CPUtime=3154 cores=5,7
/proc/1080396/stat : 1080396 (mixed-bag) R 1080393 1080396 1079538 0 -1 4194304 511217 0 0 0 313882 1518 0 0 20 0 1 0 198761678 4013596672 862258 134679101440 4194304 16488053 140731374043536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38010880 140731374048277 140731374048354 140731374048354 140731374055371 0
/proc/1080396/statm: 979882 862258 4230 3002 0 963631 0
Current children cumulated CPU time: 3154 s
Current children cumulated vsize: 3919528 KiB
Current children cumulated memory: 3449032 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/257 1081981
/proc/meminfo: memFree=121782528/131524600 swapFree=131071996/131071996
[pid=1080396] ppid=1080393 vsize=3919528 memory=3551068 CPUtime=3213.84 cores=5,7
/proc/1080396/stat : 1080396 (mixed-bag) R 1080393 1080396 1079538 0 -1 4194304 518933 0 0 0 319852 1532 0 0 20 0 1 0 198761678 4013596672 887767 134679101440 4194304 16488053 140731374043536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38010880 140731374048277 140731374048354 140731374048354 140731374055371 0
/proc/1080396/statm: 979882 887767 4230 3002 0 963631 0
Current children cumulated CPU time: 3213.84 s
Current children cumulated vsize: 3919528 KiB
Current children cumulated memory: 3551068 KiB

[startup+3282.3 s]
/proc/loadavg: 4.22 4.17 4.10 5/257 1081993
/proc/meminfo: memFree=121769612/131524600 swapFree=131071996/131071996
[pid=1080396] ppid=1080393 vsize=3919528 memory=3551068 CPUtime=3273.71 cores=5,7
/proc/1080396/stat : 1080396 (mixed-bag) R 1080393 1080396 1079538 0 -1 4194304 520121 0 0 0 325804 1567 0 0 20 0 1 0 198761678 4013596672 887767 134679101440 4194304 16488053 140731374043536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38010880 140731374048277 140731374048354 140731374048354 140731374055371 0
/proc/1080396/statm: 979882 887767 4230 3002 0 963631 0
Current children cumulated CPU time: 3273.71 s
Current children cumulated vsize: 3919528 KiB
Current children cumulated memory: 3551068 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.15 4.10 5/256 1082386
/proc/meminfo: memFree=121742500/131524600 swapFree=131071996/131071996
[pid=1080396] ppid=1080393 vsize=3919528 memory=3551068 CPUtime=3333.56 cores=5,7
/proc/1080396/stat : 1080396 (mixed-bag) R 1080393 1080396 1079538 0 -1 4194304 521673 0 0 0 331754 1602 0 0 20 0 1 0 198761678 4013596672 887767 134679101440 4194304 16488053 140731374043536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38010880 140731374048277 140731374048354 140731374048354 140731374055371 0
/proc/1080396/statm: 979882 887767 4230 3002 0 963631 0
Current children cumulated CPU time: 3333.56 s
Current children cumulated vsize: 3919528 KiB
Current children cumulated memory: 3551068 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/257 1082397
/proc/meminfo: memFree=121713948/131524600 swapFree=131071996/131071996
[pid=1080396] ppid=1080393 vsize=3919528 memory=3551080 CPUtime=3393.41 cores=5,7
/proc/1080396/stat : 1080396 (mixed-bag) R 1080393 1080396 1079538 0 -1 4194304 522967 0 0 0 337714 1627 0 0 20 0 1 0 198761678 4013596672 887770 134679101440 4194304 16488053 140731374043536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38010880 140731374048277 140731374048354 140731374048354 140731374055371 0
/proc/1080396/statm: 979882 887770 4230 3002 0 963631 0
Current children cumulated CPU time: 3393.41 s
Current children cumulated vsize: 3919528 KiB
Current children cumulated memory: 3551080 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/257 1082409
/proc/meminfo: memFree=121701960/131524600 swapFree=131071996/131071996
[pid=1080396] ppid=1080393 vsize=3919528 memory=3551080 CPUtime=3453.27 cores=5,7
/proc/1080396/stat : 1080396 (mixed-bag) R 1080393 1080396 1079538 0 -1 4194304 525333 0 0 0 343667 1660 0 0 20 0 1 0 198761678 4013596672 887770 134679101440 4194304 16488053 140731374043536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38010880 140731374048277 140731374048354 140731374048354 140731374055371 0
/proc/1080396/statm: 979882 887770 4230 3002 0 963631 0
Current children cumulated CPU time: 3453.27 s
Current children cumulated vsize: 3919528 KiB
Current children cumulated memory: 3551080 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 1082588
/proc/meminfo: memFree=121679972/131524600 swapFree=131071996/131071996
[pid=1080396] ppid=1080393 vsize=3919528 memory=3551080 CPUtime=3513.12 cores=5,7
/proc/1080396/stat : 1080396 (mixed-bag) R 1080393 1080396 1079538 0 -1 4194304 526777 0 0 0 349621 1691 0 0 20 0 1 0 198761678 4013596672 887770 134679101440 4194304 16488053 140731374043536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38010880 140731374048277 140731374048354 140731374048354 140731374055371 0
/proc/1080396/statm: 979882 887770 4230 3002 0 963631 0
Current children cumulated CPU time: 3513.12 s
Current children cumulated vsize: 3919528 KiB
Current children cumulated memory: 3551080 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/258 1082598
/proc/meminfo: memFree=121672984/131524600 swapFree=131071996/131071996
[pid=1080396] ppid=1080393 vsize=3919528 memory=3551104 CPUtime=3572.99 cores=5,7
/proc/1080396/stat : 1080396 (mixed-bag) R 1080393 1080396 1079538 0 -1 4194304 528012 0 0 0 355551 1748 0 0 20 0 1 0 198761678 4013596672 887776 134679101440 4194304 16488053 140731374043536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38010880 140731374048277 140731374048354 140731374048354 140731374055371 0
/proc/1080396/statm: 979882 887776 4230 3002 0 963631 0
Current children cumulated CPU time: 3572.99 s
Current children cumulated vsize: 3919528 KiB
Current children cumulated memory: 3551104 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 4.04 4.09 4.08 5/257 1082650
/proc/meminfo: memFree=121825720/131524600 swapFree=131071996/131071996
[pid=1080396] ppid=1080393 vsize=3919528 memory=3551104 CPUtime=3600.02 cores=5,7
/proc/1080396/stat : 1080396 (mixed-bag) R 1080393 1080396 1079538 0 -1 4194304 528638 0 0 0 358237 1765 0 0 20 0 1 0 198761678 4013596672 887776 134679101440 4194304 16488053 140731374043536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 38010880 140731374048277 140731374048354 140731374048354 140731374055371 0
/proc/1080396/statm: 979882 887776 4230 3002 0 963631 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 3919528 KiB
Current children cumulated memory: 3551104 KiB

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

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

# cumulated CPU time of all completed processes:  user=3582.38 s, system=17.6992 s

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

Child status: 0

Real time (s): 3609.45
CPU time (s): 3600.08
CPU user time (s): 3582.38
CPU system time (s): 17.6992
CPU usage (%): 99.7405
Max. virtual memory (cumulated for all children) (KiB): 3919528
Max. memory (cumulated for all children) (KiB): 3551104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.38
system time used= 17.6992
maximum resident set size= 3551104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 528660
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= 198
involuntary context switches= 2238


# summary of solver processes directly reported to runsolver:
#   pid: 1080396
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3582.38
#   total CPU system time (s): 17.6992

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.2428 second user time and 12.6585 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2024-07-20 11:00:11
IDJOB=4454699
IDBENCH=147222
IDSOLVER=3083
FILE ID=nodeC017/4454699-1721465998
RUNJOBID= nodeC017-1721465999-1079551
SLURM_JOB_ID= 7545717
Free space on /tmp= 890032 MiB

SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/sorensson/garden/normalized-g100x100.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454699-1721465998/watcher-4454699-1721465998 -o /tmp/evaluation-result-4454699-1721465998/solver-4454699-1721465998 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721465999-1079551 --watchdog 3760  mixed-bag HOME/instance-4454699-1721465998.opb

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

MD5SUM BENCH= 908a9c4c32d975b4e5850834449958a7
RANDOM SEED=1352074626

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126455044 kB
MemAvailable:   129422856 kB
Buffers:          605564 kB
Cached:          3182384 kB
SwapCached:            0 kB
Active:          1307792 kB
Inactive:        3089352 kB
Active(anon):       1544 kB
Inactive(anon):   653560 kB
Active(file):    1306248 kB
Inactive(file):  2435792 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             67576 kB
Writeback:             0 kB
AnonPages:        609236 kB
Mapped:           140640 kB
Shmem:             45912 kB
KReclaimable:     130836 kB
Slab:             247620 kB
SReclaimable:     130836 kB
SUnreclaim:       116784 kB
KernelStack:        4160 kB
PageTables:        10800 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     863364 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            72320 kB
HardwareCorrupted:     0 kB
AnonHugePages:    210944 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      305876 kB
DirectMap2M:    43507712 kB
DirectMap1G:    92274688 kB

Free space on /tmp at the end= 889992 MiB
End job on nodeC017 at 2024-07-20 12:00:20