Trace number 4528903

Some explanations

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

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

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

Solver answer on this benchmark

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

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

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 benchmark3600.06
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.01	c RoundingSat 2
0.00/0.01	c branch 
0.00/0.01	c commit 
0.00/0.01	c with Papilo
0.00/0.01	c with SCIP
0.00/0.01	c [STEP] parsing instance
0.00/0.05	c [STEP] preprocessing with Papilo
0.00/0.06	c Papilo could not simplify the problem
0.00/0.06	c [STEP] solving with SCIP
299.34/300.43	c [STEP] preprocessing done, loading into solver
299.34/300.45	c [STEP] solving
299.34/300.45	c #variables 10001 #constraints 10000
299.34/300.45	c SMALL=int, LARGE=long long
299.34/300.45	d SCIPUB 2535
299.34/300.45	c bounds - >= 0 @ 299.259
299.34/300.45	c stratification level: 0
299.64/300.70	c bounds - >= 1 @ 299.321
299.64/300.70	c bounds - >= 2 @ 299.323
299.64/300.70	c bounds - >= 3 @ 299.324
299.64/300.70	c bounds - >= 4 @ 299.325
299.64/300.70	c bounds - >= 5 @ 299.326
299.64/300.70	c bounds - >= 6 @ 299.327
299.64/300.70	c bounds - >= 7 @ 299.328
299.64/300.70	c bounds - >= 8 @ 299.329
299.64/300.70	c bounds - >= 9 @ 299.331
299.64/300.70	c bounds - >= 10 @ 299.332
299.64/300.70	c bounds - >= 11 @ 299.333
299.64/300.70	c bounds - >= 12 @ 299.334
299.64/300.70	c bounds - >= 13 @ 299.335
299.64/300.70	c bounds - >= 14 @ 299.336
299.64/300.70	c bounds - >= 15 @ 299.337
299.64/300.70	c bounds - >= 16 @ 299.338
299.64/300.70	c bounds - >= 17 @ 299.34
299.64/300.70	c bounds - >= 18 @ 299.341
299.64/300.70	c bounds - >= 19 @ 299.342
299.64/300.70	c bounds - >= 20 @ 299.343
299.64/300.70	c bounds - >= 21 @ 299.344
299.64/300.70	c bounds - >= 22 @ 299.345
299.64/300.70	c bounds - >= 23 @ 299.346
299.64/300.70	c bounds - >= 24 @ 299.348
299.64/300.70	c bounds - >= 25 @ 299.349
299.64/300.70	c bounds - >= 26 @ 299.35
299.64/300.70	c bounds - >= 27 @ 299.351
299.64/300.70	c bounds - >= 28 @ 299.352
299.64/300.70	c bounds - >= 29 @ 299.353
299.64/300.70	c bounds - >= 30 @ 299.354
299.64/300.70	c bounds - >= 31 @ 299.355
299.64/300.70	c bounds - >= 32 @ 299.357
299.64/300.70	c bounds - >= 33 @ 299.358
299.64/300.70	c bounds - >= 34 @ 299.359
299.64/300.70	c bounds - >= 35 @ 299.36
299.64/300.70	c bounds - >= 36 @ 299.361
299.64/300.70	c bounds - >= 37 @ 299.362
299.64/300.70	c bounds - >= 38 @ 299.364
299.64/300.70	c bounds - >= 39 @ 299.364
299.64/300.70	c bounds - >= 40 @ 299.365
299.64/300.70	c bounds - >= 41 @ 299.366
299.64/300.70	c bounds - >= 42 @ 299.367
299.64/300.70	c bounds - >= 43 @ 299.369
299.64/300.70	c bounds - >= 44 @ 299.37
299.64/300.70	c bounds - >= 45 @ 299.371
299.64/300.70	c bounds - >= 46 @ 299.372
299.64/300.70	c bounds - >= 47 @ 299.373
299.64/300.70	c bounds - >= 48 @ 299.375
299.64/300.70	c bounds - >= 49 @ 299.376
299.64/300.70	c bounds - >= 50 @ 299.376
299.64/300.70	c bounds - >= 51 @ 299.377
299.64/300.70	c bounds - >= 52 @ 299.378
299.64/300.70	c bounds - >= 53 @ 299.379
299.64/300.70	c bounds - >= 54 @ 299.38
299.64/300.70	c bounds - >= 55 @ 299.381
299.64/300.70	c bounds - >= 56 @ 299.382
299.64/300.70	c bounds - >= 57 @ 299.384
299.64/300.70	c bounds - >= 58 @ 299.385
299.64/300.70	c bounds - >= 59 @ 299.386
299.64/300.70	c bounds - >= 60 @ 299.387
299.64/300.70	c bounds - >= 61 @ 299.388
299.64/300.70	c bounds - >= 62 @ 299.389
299.64/300.70	c bounds - >= 63 @ 299.391
299.64/300.70	c bounds - >= 64 @ 299.391
299.64/300.70	c bounds - >= 65 @ 299.392
299.64/300.70	c bounds - >= 66 @ 299.393
299.64/300.70	c bounds - >= 67 @ 299.394
299.64/300.70	c bounds - >= 68 @ 299.395
299.64/300.70	c bounds - >= 69 @ 299.397
299.64/300.70	c bounds - >= 70 @ 299.398
299.64/300.70	c bounds - >= 71 @ 299.399
299.64/300.70	c bounds - >= 72 @ 299.4
299.64/300.70	c bounds - >= 73 @ 299.401
299.64/300.70	c bounds - >= 74 @ 299.402
299.64/300.70	c bounds - >= 75 @ 299.404
299.64/300.70	c bounds - >= 76 @ 299.405
299.64/300.70	c bounds - >= 77 @ 299.406
299.64/300.70	c bounds - >= 78 @ 299.407
299.64/300.70	c bounds - >= 79 @ 299.408
299.64/300.70	c bounds - >= 80 @ 299.409
299.64/300.70	c bounds - >= 81 @ 299.41
299.64/300.70	c bounds - >= 82 @ 299.412
299.64/300.70	c bounds - >= 83 @ 299.412
299.64/300.70	c bounds - >= 84 @ 299.413
299.64/300.70	c bounds - >= 85 @ 299.414
299.64/300.70	c bounds - >= 86 @ 299.415
299.64/300.70	c bounds - >= 87 @ 299.416
299.64/300.70	c bounds - >= 88 @ 299.418
299.64/300.70	c bounds - >= 89 @ 299.419
299.64/300.70	c bounds - >= 90 @ 299.42
299.64/300.70	c bounds - >= 91 @ 299.421
299.64/300.70	c bounds - >= 92 @ 299.422
299.64/300.70	c bounds - >= 93 @ 299.424
299.64/300.70	c bounds - >= 94 @ 299.425
299.64/300.70	c bounds - >= 95 @ 299.426
299.64/300.70	c bounds - >= 96 @ 299.427
299.64/300.70	c bounds - >= 97 @ 299.427
299.64/300.70	c bounds - >= 98 @ 299.428
299.64/300.70	c bounds - >= 99 @ 299.429
299.64/300.70	c bounds - >= 100 @ 299.43
299.64/300.70	c bounds - >= 101 @ 299.431
299.64/300.70	c bounds - >= 102 @ 299.432
299.64/300.70	c bounds - >= 103 @ 299.433
299.64/300.70	c bounds - >= 104 @ 299.434
299.64/300.70	c bounds - >= 105 @ 299.436
299.64/300.70	c bounds - >= 106 @ 299.437
299.64/300.70	c bounds - >= 107 @ 299.438
299.64/300.70	c bounds - >= 108 @ 299.439
299.64/300.70	c bounds - >= 109 @ 299.44
299.64/300.70	c bounds - >= 110 @ 299.441
299.64/300.70	c bounds - >= 111 @ 299.442
299.64/300.70	c bounds - >= 112 @ 299.443
299.64/300.70	c bounds - >= 113 @ 299.444
299.64/300.70	c bounds - >= 114 @ 299.445
299.64/300.70	c bounds - >= 115 @ 299.447
299.64/300.70	c bounds - >= 116 @ 299.448
299.64/300.70	c bounds - >= 117 @ 299.449
299.64/300.70	c bounds - >= 118 @ 299.45
299.64/300.70	c bounds - >= 119 @ 299.451
299.64/300.70	c bounds - >= 120 @ 299.452
299.64/300.70	c bounds - >= 121 @ 299.454
299.64/300.70	c bounds - >= 122 @ 299.455
299.64/300.70	c bounds - >= 123 @ 299.456
299.64/300.70	c bounds - >= 124 @ 299.457
299.64/300.70	c bounds - >= 125 @ 299.458
299.64/300.70	c bounds - >= 126 @ 299.459
299.64/300.70	c bounds - >= 127 @ 299.461
299.64/300.70	c bounds - >= 128 @ 299.462
299.64/300.70	c bounds - >= 129 @ 299.463
299.64/300.70	c bounds - >= 130 @ 299.464
299.64/300.70	c bounds - >= 131 @ 299.465
299.64/300.70	c bounds - >= 132 @ 299.466
299.64/300.70	c bounds - >= 133 @ 299.468
299.64/300.70	c bounds - >= 134 @ 299.469
299.64/300.70	c bounds - >= 135 @ 299.47
299.64/300.70	c bounds - >= 136 @ 299.471
299.64/300.70	c bounds - >= 137 @ 299.472
299.64/300.70	c bounds - >= 138 @ 299.474
299.64/300.70	c bounds - >= 139 @ 299.475
299.64/300.70	c bounds - >= 140 @ 299.476
299.64/300.70	c bounds - >= 141 @ 299.477
299.64/300.70	c bounds - >= 142 @ 299.478
299.64/300.70	c bounds - >= 143 @ 299.479
299.64/300.70	c bounds - >= 144 @ 299.48
299.64/300.70	c bounds - >= 145 @ 299.481
299.64/300.70	c bounds - >= 146 @ 299.482
299.64/300.70	c bounds - >= 147 @ 299.483
299.64/300.70	c bounds - >= 148 @ 299.484
299.64/300.70	c bounds - >= 149 @ 299.485
299.64/300.70	c bounds - >= 150 @ 299.486
299.64/300.70	c bounds - >= 151 @ 299.487
299.74/300.89	c bounds - >= 152 @ 299.488
299.74/300.89	c bounds - >= 153 @ 299.489
299.74/300.89	c bounds - >= 154 @ 299.491
299.74/300.89	c bounds - >= 155 @ 299.492
299.74/300.89	c bounds - >= 156 @ 299.493
299.74/300.89	c bounds - >= 157 @ 299.494
299.74/300.89	c bounds - >= 158 @ 299.495
299.74/300.89	c bounds - >= 159 @ 299.497
299.74/300.89	c bounds - >= 160 @ 299.498
299.74/300.89	c bounds - >= 161 @ 299.499
299.74/300.89	c bounds - >= 162 @ 299.5
299.74/300.89	c bounds - >= 163 @ 299.501
299.74/300.89	c bounds - >= 164 @ 299.502
299.74/300.89	c bounds - >= 165 @ 299.503
299.74/300.89	c bounds - >= 166 @ 299.504
299.74/300.89	c bounds - >= 167 @ 299.505
299.74/300.89	c bounds - >= 168 @ 299.506
299.74/300.89	c bounds - >= 169 @ 299.507
299.74/300.89	c bounds - >= 170 @ 299.508
299.74/300.89	c bounds - >= 171 @ 299.509
299.74/300.89	c bounds - >= 172 @ 299.51
299.74/300.89	c bounds - >= 173 @ 299.511
299.74/300.89	c bounds - >= 174 @ 299.513
299.74/300.89	c bounds - >= 175 @ 299.514
299.74/300.89	c bounds - >= 176 @ 299.515
299.74/300.89	c bounds - >= 177 @ 299.516
299.74/300.89	c bounds - >= 178 @ 299.517
299.74/300.89	c bounds - >= 179 @ 299.518
299.74/300.89	c bounds - >= 180 @ 299.518
299.74/300.89	c bounds - >= 181 @ 299.519
299.74/300.89	c bounds - >= 182 @ 299.52
299.74/300.89	c bounds - >= 183 @ 299.521
299.74/300.89	c bounds - >= 184 @ 299.522
299.74/300.89	c bounds - >= 185 @ 299.523
299.74/300.89	c bounds - >= 186 @ 299.524
299.74/300.89	c bounds - >= 187 @ 299.525
299.74/300.89	c bounds - >= 188 @ 299.527
299.74/300.89	c bounds - >= 189 @ 299.528
299.74/300.89	c bounds - >= 190 @ 299.529
299.74/300.89	c bounds - >= 191 @ 299.53
299.74/300.89	c bounds - >= 192 @ 299.531
299.74/300.89	c bounds - >= 193 @ 299.532
299.74/300.89	c bounds - >= 194 @ 299.533
299.74/300.89	c bounds - >= 195 @ 299.534
299.74/300.89	c bounds - >= 196 @ 299.535
299.74/300.89	c bounds - >= 197 @ 299.536
299.74/300.89	c bounds - >= 198 @ 299.538
299.74/300.89	c bounds - >= 199 @ 299.539
299.74/300.89	c bounds - >= 200 @ 299.54
299.74/300.89	c bounds - >= 201 @ 299.541
299.74/300.89	c bounds - >= 202 @ 299.542
299.74/300.89	c bounds - >= 203 @ 299.543
299.74/300.89	c bounds - >= 204 @ 299.544
299.74/300.89	c bounds - >= 205 @ 299.545
299.74/300.89	c bounds - >= 206 @ 299.546
299.74/300.89	c bounds - >= 207 @ 299.547
299.74/300.89	c bounds - >= 208 @ 299.548
299.74/300.89	c bounds - >= 209 @ 299.549
299.74/300.89	c bounds - >= 210 @ 299.55
299.74/300.89	c bounds - >= 211 @ 299.552
299.74/300.89	c bounds - >= 212 @ 299.553
299.74/300.89	c bounds - >= 213 @ 299.554
299.74/300.89	c bounds - >= 214 @ 299.555
299.74/300.89	c bounds - >= 215 @ 299.556
299.74/300.89	c bounds - >= 216 @ 299.557
299.74/300.89	c bounds - >= 217 @ 299.558
299.74/300.89	c bounds - >= 218 @ 299.56
299.74/300.89	c bounds - >= 219 @ 299.561
299.74/300.89	c bounds - >= 220 @ 299.562
299.74/300.89	c bounds - >= 221 @ 299.563
299.74/300.89	c bounds - >= 222 @ 299.565
299.74/300.89	c bounds - >= 223 @ 299.566
299.74/300.89	c bounds - >= 224 @ 299.567
299.74/300.89	c bounds - >= 225 @ 299.568
299.74/300.89	c bounds - >= 226 @ 299.57
299.74/300.89	c bounds - >= 227 @ 299.571
299.74/300.89	c bounds - >= 228 @ 299.572
299.74/300.89	c bounds - >= 229 @ 299.573
299.74/300.89	c bounds - >= 230 @ 299.575
299.74/300.89	c bounds - >= 231 @ 299.576
299.74/300.89	c bounds - >= 232 @ 299.577
299.74/300.89	c bounds - >= 233 @ 299.578
299.74/300.89	c bounds - >= 234 @ 299.579
299.74/300.89	c bounds - >= 235 @ 299.581
299.74/300.89	c bounds - >= 236 @ 299.582
299.74/300.89	c bounds - >= 237 @ 299.583
299.74/300.89	c bounds - >= 238 @ 299.584
299.74/300.89	c bounds - >= 239 @ 299.585
299.74/300.89	c bounds - >= 240 @ 299.586
299.74/300.89	c bounds - >= 241 @ 299.588
299.74/300.89	c bounds - >= 242 @ 299.589
299.74/300.89	c bounds - >= 243 @ 299.59
299.74/300.89	c bounds - >= 244 @ 299.591
299.74/300.89	c bounds - >= 245 @ 299.592
299.74/300.89	c bounds - >= 246 @ 299.593
299.74/300.89	c bounds - >= 247 @ 299.594
299.74/300.89	c bounds - >= 248 @ 299.595
299.74/300.89	c bounds - >= 249 @ 299.597
299.74/300.89	c bounds - >= 250 @ 299.598
299.74/300.89	c bounds - >= 251 @ 299.599
299.74/300.89	c bounds - >= 252 @ 299.6
299.74/300.89	c bounds - >= 253 @ 299.601
299.74/300.89	c bounds - >= 254 @ 299.602
299.74/300.89	c bounds - >= 255 @ 299.603
299.74/300.89	c bounds - >= 256 @ 299.604
299.74/300.89	c bounds - >= 257 @ 299.604
299.74/300.89	c bounds - >= 258 @ 299.605
299.74/300.89	c bounds - >= 259 @ 299.606
299.74/300.89	c bounds - >= 260 @ 299.607
299.74/300.89	c bounds - >= 261 @ 299.608
299.74/300.89	c bounds - >= 262 @ 299.609
299.74/300.89	c bounds - >= 263 @ 299.61
299.74/300.89	c bounds - >= 264 @ 299.611
299.74/300.89	c bounds - >= 265 @ 299.612
299.74/300.89	c bounds - >= 266 @ 299.613
299.74/300.89	c bounds - >= 267 @ 299.614
299.74/300.89	c bounds - >= 268 @ 299.615
299.74/300.89	c bounds - >= 269 @ 299.616
299.74/300.89	c bounds - >= 270 @ 299.617
299.74/300.89	c bounds - >= 271 @ 299.618
299.74/300.89	c bounds - >= 272 @ 299.619
299.74/300.89	c bounds - >= 273 @ 299.62
299.74/300.89	c bounds - >= 274 @ 299.622
299.74/300.89	c bounds - >= 275 @ 299.623
299.74/300.89	c bounds - >= 276 @ 299.624
299.74/300.89	c bounds - >= 277 @ 299.625
299.74/300.89	c bounds - >= 278 @ 299.626
299.74/300.89	c bounds - >= 279 @ 299.627
299.74/300.89	c bounds - >= 280 @ 299.628
299.74/300.89	c bounds - >= 281 @ 299.629
299.74/300.89	c bounds - >= 282 @ 299.63
299.74/300.89	c bounds - >= 283 @ 299.631
299.74/300.89	c bounds - >= 284 @ 299.632
299.74/300.89	c bounds - >= 285 @ 299.633
299.74/300.89	c bounds - >= 286 @ 299.634
299.74/300.89	c bounds - >= 287 @ 299.635
299.74/300.89	c bounds - >= 288 @ 299.636
299.74/300.89	c bounds - >= 289 @ 299.637
299.74/300.89	c bounds - >= 290 @ 299.638
299.74/300.89	c bounds - >= 291 @ 299.639
299.74/300.89	c bounds - >= 292 @ 299.641
299.74/300.89	c bounds - >= 293 @ 299.642
299.74/300.89	c bounds - >= 294 @ 299.643
299.74/300.89	c bounds - >= 295 @ 299.643
299.74/300.89	c bounds - >= 296 @ 299.645
299.74/300.89	c bounds - >= 297 @ 299.646
299.74/300.89	c bounds - >= 298 @ 299.647
299.95/301.08	c bounds - >= 299 @ 299.648
299.95/301.08	c bounds - >= 300 @ 299.65
299.95/301.08	c bounds - >= 301 @ 299.651
299.95/301.08	c bounds - >= 302 @ 299.652
299.95/301.08	c bounds - >= 303 @ 299.654
299.95/301.08	c bounds - >= 304 @ 299.655
299.95/301.08	c bounds - >= 305 @ 299.656
299.95/301.08	c bounds - >= 306 @ 299.657
299.95/301.08	c bounds - >= 307 @ 299.659
299.95/301.08	c bounds - >= 308 @ 299.66
299.95/301.08	c bounds - >= 309 @ 299.661
299.95/301.08	c bounds - >= 310 @ 299.662
299.95/301.08	c bounds - >= 311 @ 299.663
299.95/301.08	c bounds - >= 312 @ 299.664
299.95/301.08	c bounds - >= 313 @ 299.665
299.95/301.08	c bounds - >= 314 @ 299.666
299.95/301.08	c bounds - >= 315 @ 299.666
299.95/301.08	c bounds - >= 316 @ 299.667
299.95/301.08	c bounds - >= 317 @ 299.669
299.95/301.08	c bounds - >= 318 @ 299.67
299.95/301.08	c bounds - >= 319 @ 299.67
299.95/301.08	c bounds - >= 320 @ 299.671
299.95/301.08	c bounds - >= 321 @ 299.672
299.95/301.08	c bounds - >= 322 @ 299.673
299.95/301.08	c bounds - >= 323 @ 299.674
299.95/301.08	c bounds - >= 324 @ 299.676
299.95/301.08	c bounds - >= 325 @ 299.677
299.95/301.08	c bounds - >= 326 @ 299.677
299.95/301.08	c bounds - >= 327 @ 299.679
299.95/301.08	c bounds - >= 328 @ 299.68
299.95/301.08	c bounds - >= 329 @ 299.681
299.95/301.08	c bounds - >= 330 @ 299.683
299.95/301.08	c bounds - >= 331 @ 299.684
299.95/301.08	c bounds - >= 332 @ 299.684
299.95/301.08	c bounds - >= 333 @ 299.686
299.95/301.08	c bounds - >= 334 @ 299.687
299.95/301.08	c bounds - >= 335 @ 299.688
299.95/301.08	c bounds - >= 336 @ 299.688
299.95/301.08	c bounds - >= 337 @ 299.69
299.95/301.08	c bounds - >= 338 @ 299.691
299.95/301.08	c bounds - >= 339 @ 299.691
299.95/301.08	c bounds - >= 340 @ 299.693
299.95/301.08	c bounds - >= 341 @ 299.694
299.95/301.08	c bounds - >= 342 @ 299.694
299.95/301.08	c bounds - >= 343 @ 299.696
299.95/301.08	c bounds - >= 344 @ 299.697
299.95/301.08	c bounds - >= 345 @ 299.697
299.95/301.08	c bounds - >= 346 @ 299.698
299.95/301.08	c bounds - >= 347 @ 299.7
299.95/301.08	c bounds - >= 348 @ 299.7
299.95/301.08	c bounds - >= 349 @ 299.701
299.95/301.08	c bounds - >= 350 @ 299.703
299.95/301.08	c bounds - >= 351 @ 299.704
299.95/301.08	c bounds - >= 352 @ 299.705
299.95/301.08	c bounds - >= 353 @ 299.707
299.95/301.08	c bounds - >= 354 @ 299.707
299.95/301.08	c bounds - >= 355 @ 299.708
299.95/301.08	c bounds - >= 356 @ 299.71
299.95/301.08	c bounds - >= 357 @ 299.71
299.95/301.08	c bounds - >= 358 @ 299.711
299.95/301.08	c bounds - >= 359 @ 299.713
299.95/301.08	c bounds - >= 360 @ 299.713
299.95/301.08	c bounds - >= 361 @ 299.714
299.95/301.08	c bounds - >= 362 @ 299.716
299.95/301.08	c bounds - >= 363 @ 299.717
299.95/301.08	c bounds - >= 364 @ 299.718
299.95/301.08	c bounds - >= 365 @ 299.72
299.95/301.08	c bounds - >= 366 @ 299.72
299.95/301.08	c bounds - >= 367 @ 299.721
299.95/301.08	c bounds - >= 368 @ 299.723
299.95/301.08	c bounds - >= 369 @ 299.724
299.95/301.08	c bounds - >= 370 @ 299.724
299.95/301.08	c bounds - >= 371 @ 299.726
299.95/301.08	c bounds - >= 372 @ 299.726
299.95/301.08	c bounds - >= 373 @ 299.727
299.95/301.08	c bounds - >= 374 @ 299.729
299.95/301.08	c bounds - >= 375 @ 299.73
299.95/301.08	c bounds - >= 376 @ 299.731
299.95/301.08	c bounds - >= 377 @ 299.733
299.95/301.08	c bounds - >= 378 @ 299.734
299.95/301.08	c bounds - >= 379 @ 299.736
299.95/301.08	c bounds - >= 380 @ 299.737
299.95/301.08	c bounds - >= 381 @ 299.737
299.95/301.08	c bounds - >= 382 @ 299.737
299.95/301.08	c bounds - >= 383 @ 299.737
299.95/301.08	c bounds - >= 384 @ 299.739
299.95/301.08	c bounds - >= 385 @ 299.74
299.95/301.08	c bounds - >= 386 @ 299.74
299.95/301.08	c bounds - >= 387 @ 299.741
299.95/301.08	c bounds - >= 388 @ 299.743
299.95/301.08	c bounds - >= 389 @ 299.743
299.95/301.08	c bounds - >= 390 @ 299.744
299.95/301.08	c bounds - >= 391 @ 299.746
299.95/301.08	c bounds - >= 392 @ 299.746
299.95/301.08	c bounds - >= 393 @ 299.747
299.95/301.08	c bounds - >= 394 @ 299.749
299.95/301.08	c bounds - >= 395 @ 299.749
299.95/301.08	c bounds - >= 396 @ 299.75
299.95/301.08	c bounds - >= 397 @ 299.752
299.95/301.08	c bounds - >= 398 @ 299.753
299.95/301.08	c bounds - >= 399 @ 299.754
299.95/301.08	c bounds - >= 400 @ 299.756
299.95/301.08	c bounds - >= 401 @ 299.757
299.95/301.08	c bounds - >= 402 @ 299.758
299.95/301.08	c bounds - >= 403 @ 299.76
299.95/301.08	c bounds - >= 404 @ 299.76
299.95/301.08	c bounds - >= 405 @ 299.761
299.95/301.08	c bounds - >= 406 @ 299.763
299.95/301.08	c bounds - >= 407 @ 299.763
299.95/301.08	c bounds - >= 408 @ 299.765
299.95/301.08	c bounds - >= 409 @ 299.765
299.95/301.08	c bounds - >= 410 @ 299.766
299.95/301.08	c bounds - >= 411 @ 299.768
299.95/301.08	c bounds - >= 412 @ 299.768
299.95/301.08	c bounds - >= 413 @ 299.769
299.95/301.08	c bounds - >= 414 @ 299.771
299.95/301.08	c bounds - >= 415 @ 299.771
299.95/301.08	c bounds - >= 416 @ 299.772
299.95/301.08	c bounds - >= 417 @ 299.774
299.95/301.08	c bounds - >= 418 @ 299.774
299.95/301.08	c bounds - >= 419 @ 299.775
299.95/301.08	c bounds - >= 420 @ 299.777
299.95/301.08	c bounds - >= 421 @ 299.777
299.95/301.08	c bounds - >= 422 @ 299.778
299.95/301.08	c bounds - >= 423 @ 299.78
299.95/301.08	c bounds - >= 424 @ 299.78
299.95/301.08	c bounds - >= 425 @ 299.781
299.95/301.08	c bounds - >= 426 @ 299.782
299.95/301.08	c bounds - >= 427 @ 299.783
299.95/301.08	c bounds - >= 428 @ 299.785
299.95/301.08	c bounds - >= 429 @ 299.785
299.95/301.08	c bounds - >= 430 @ 299.786
299.95/301.08	c bounds - >= 431 @ 299.788
299.95/301.08	c bounds - >= 432 @ 299.788
299.95/301.08	c bounds - >= 433 @ 299.789
299.95/301.08	c bounds - >= 434 @ 299.791
299.95/301.08	c bounds - >= 435 @ 299.791
299.95/301.08	c bounds - >= 436 @ 299.792
299.95/301.08	c bounds - >= 437 @ 299.794
299.95/301.08	c bounds - >= 438 @ 299.794
299.95/301.08	c bounds - >= 439 @ 299.795
299.95/301.08	c bounds - >= 440 @ 299.796
299.95/301.08	c bounds - >= 441 @ 299.797
299.95/301.08	c bounds - >= 442 @ 299.799
299.95/301.08	c bounds - >= 443 @ 299.799
299.95/301.08	c bounds - >= 444 @ 299.8
299.95/301.08	c bounds - >= 445 @ 299.802
300.14/301.29	c bounds - >= 446 @ 299.802
300.14/301.29	c bounds - >= 447 @ 299.804
300.14/301.29	c bounds - >= 448 @ 299.804
300.14/301.29	c bounds - >= 449 @ 299.805
300.14/301.29	c bounds - >= 450 @ 299.807
300.14/301.29	c bounds - >= 451 @ 299.807
300.14/301.29	c bounds - >= 452 @ 299.808
300.14/301.29	c bounds - >= 453 @ 299.81
300.14/301.29	c bounds - >= 454 @ 299.81
300.14/301.29	c bounds - >= 455 @ 299.811
300.14/301.29	c bounds - >= 456 @ 299.812
300.14/301.29	c bounds - >= 457 @ 299.812
300.14/301.29	c bounds - >= 458 @ 299.813
300.14/301.29	c bounds - >= 459 @ 299.815
300.14/301.29	c bounds - >= 460 @ 299.816
300.14/301.29	c bounds - >= 461 @ 299.818
300.14/301.29	c bounds - >= 462 @ 299.818
300.14/301.29	c bounds - >= 463 @ 299.819
300.14/301.29	c bounds - >= 464 @ 299.821
300.14/301.29	c bounds - >= 465 @ 299.822
300.14/301.29	c bounds - >= 466 @ 299.823
300.14/301.29	c bounds - >= 467 @ 299.825
300.14/301.29	c bounds - >= 468 @ 299.826
300.14/301.29	c bounds - >= 469 @ 299.827
300.14/301.29	c bounds - >= 470 @ 299.828
300.14/301.29	c bounds - >= 471 @ 299.829
300.14/301.29	c bounds - >= 472 @ 299.831
300.14/301.29	c bounds - >= 473 @ 299.831
300.14/301.29	c bounds - >= 474 @ 299.832
300.14/301.29	c bounds - >= 475 @ 299.834
300.14/301.29	c bounds - >= 476 @ 299.835
300.14/301.29	c bounds - >= 477 @ 299.837
300.14/301.29	c bounds - >= 478 @ 299.837
300.14/301.29	c bounds - >= 479 @ 299.838
300.14/301.29	c bounds - >= 480 @ 299.839
300.14/301.29	c bounds - >= 481 @ 299.84
300.14/301.29	c bounds - >= 482 @ 299.842
300.14/301.29	c bounds - >= 483 @ 299.842
300.14/301.29	c bounds - >= 484 @ 299.843
300.14/301.29	c bounds - >= 485 @ 299.845
300.14/301.29	c bounds - >= 486 @ 299.845
300.14/301.29	c bounds - >= 487 @ 299.846
300.14/301.29	c bounds - >= 488 @ 299.847
300.14/301.29	c bounds - >= 489 @ 299.849
300.14/301.29	c bounds - >= 490 @ 299.85
300.14/301.29	c bounds - >= 491 @ 299.851
300.14/301.29	c bounds - >= 492 @ 299.852
300.14/301.29	c bounds - >= 493 @ 299.853
300.14/301.29	c bounds - >= 494 @ 299.854
300.14/301.29	c bounds - >= 495 @ 299.855
300.14/301.29	c bounds - >= 496 @ 299.856
300.14/301.29	c bounds - >= 497 @ 299.857
300.14/301.29	c bounds - >= 498 @ 299.858
300.14/301.29	c bounds - >= 499 @ 299.859
300.14/301.29	c bounds - >= 500 @ 299.86
300.14/301.29	c bounds - >= 501 @ 299.861
300.14/301.29	c bounds - >= 502 @ 299.862
300.14/301.29	c bounds - >= 503 @ 299.863
300.14/301.29	c bounds - >= 504 @ 299.865
300.14/301.29	c bounds - >= 505 @ 299.866
300.14/301.29	c bounds - >= 506 @ 299.867
300.14/301.29	c bounds - >= 507 @ 299.867
300.14/301.29	c bounds - >= 508 @ 299.868
300.14/301.29	c bounds - >= 509 @ 299.869
300.14/301.29	c bounds - >= 510 @ 299.87
300.14/301.29	c bounds - >= 511 @ 299.871
300.14/301.29	c bounds - >= 512 @ 299.872
300.14/301.29	c bounds - >= 513 @ 299.874
300.14/301.29	c bounds - >= 514 @ 299.875
300.14/301.29	c bounds - >= 515 @ 299.877
300.14/301.29	c bounds - >= 516 @ 299.878
300.14/301.29	c bounds - >= 517 @ 299.879
300.14/301.29	c bounds - >= 518 @ 299.88
300.14/301.29	c bounds - >= 519 @ 299.881
300.14/301.29	c bounds - >= 520 @ 299.883
300.14/301.29	c bounds - >= 521 @ 299.884
300.14/301.29	c bounds - >= 522 @ 299.886
300.14/301.29	c bounds - >= 523 @ 299.886
300.14/301.29	c bounds - >= 524 @ 299.887
300.14/301.29	c bounds - >= 525 @ 299.888
300.14/301.29	c bounds - >= 526 @ 299.889
300.14/301.29	c bounds - >= 527 @ 299.89
300.14/301.29	c bounds - >= 528 @ 299.891
300.14/301.29	c bounds - >= 529 @ 299.892
300.14/301.29	c bounds - >= 530 @ 299.893
300.14/301.29	c bounds - >= 531 @ 299.894
300.14/301.29	c bounds - >= 532 @ 299.895
300.14/301.29	c bounds - >= 533 @ 299.896
300.14/301.29	c bounds - >= 534 @ 299.897
300.14/301.29	c bounds - >= 535 @ 299.898
300.14/301.29	c bounds - >= 536 @ 299.899
300.14/301.29	c bounds - >= 537 @ 299.9
300.14/301.29	c bounds - >= 538 @ 299.902
300.14/301.29	c bounds - >= 539 @ 299.903
300.14/301.29	c bounds - >= 540 @ 299.904
300.14/301.29	c bounds - >= 541 @ 299.905
300.14/301.29	c bounds - >= 542 @ 299.906
300.14/301.29	c bounds - >= 543 @ 299.907
300.14/301.29	c bounds - >= 544 @ 299.908
300.14/301.29	c bounds - >= 545 @ 299.909
300.14/301.29	c bounds - >= 546 @ 299.91
300.14/301.29	c bounds - >= 547 @ 299.911
300.14/301.29	c bounds - >= 548 @ 299.912
300.14/301.29	c bounds - >= 549 @ 299.913
300.14/301.29	c bounds - >= 550 @ 299.914
300.14/301.29	c bounds - >= 551 @ 299.915
300.14/301.29	c bounds - >= 552 @ 299.917
300.14/301.29	c bounds - >= 553 @ 299.918
300.14/301.29	c bounds - >= 554 @ 299.919
300.14/301.29	c bounds - >= 555 @ 299.92
300.14/301.29	c bounds - >= 556 @ 299.921
300.14/301.29	c bounds - >= 557 @ 299.922
300.14/301.29	c bounds - >= 558 @ 299.923
300.14/301.29	c bounds - >= 559 @ 299.924
300.14/301.29	c bounds - >= 560 @ 299.925
300.14/301.29	c bounds - >= 561 @ 299.926
300.14/301.29	c bounds - >= 562 @ 299.927
300.14/301.29	c bounds - >= 563 @ 299.928
300.14/301.29	c bounds - >= 564 @ 299.929
300.14/301.29	c bounds - >= 565 @ 299.93
300.14/301.29	c bounds - >= 566 @ 299.931
300.14/301.29	c bounds - >= 567 @ 299.932
300.14/301.29	c bounds - >= 568 @ 299.933
300.14/301.29	c bounds - >= 569 @ 299.934
300.14/301.29	c bounds - >= 570 @ 299.935
300.14/301.29	c bounds - >= 571 @ 299.936
300.14/301.29	c bounds - >= 572 @ 299.937
300.14/301.29	c bounds - >= 573 @ 299.938
300.14/301.29	c bounds - >= 574 @ 299.94
300.14/301.29	c bounds - >= 575 @ 299.941
300.14/301.29	c bounds - >= 576 @ 299.942
300.14/301.29	c bounds - >= 577 @ 299.943
300.14/301.29	c bounds - >= 578 @ 299.944
300.14/301.29	c bounds - >= 579 @ 299.945
300.14/301.29	c bounds - >= 580 @ 299.946
300.14/301.29	c bounds - >= 581 @ 299.947
300.14/301.29	c bounds - >= 582 @ 299.948
300.14/301.29	c bounds - >= 583 @ 299.949
300.14/301.29	c bounds - >= 584 @ 299.95
300.14/301.29	c bounds - >= 585 @ 299.951
300.14/301.29	c bounds - >= 586 @ 299.952
300.14/301.29	c bounds - >= 587 @ 299.954
300.14/301.29	c bounds - >= 588 @ 299.955
300.14/301.29	c bounds - >= 589 @ 299.957
300.14/301.29	c bounds - >= 590 @ 299.958
300.14/301.29	c bounds - >= 591 @ 299.96
300.14/301.29	c bounds - >= 592 @ 299.961
300.44/301.52	c bounds - >= 593 @ 299.963
300.44/301.52	c bounds - >= 594 @ 299.964
300.44/301.52	c bounds - >= 595 @ 299.965
300.44/301.52	c bounds - >= 596 @ 299.966
300.44/301.52	c bounds - >= 597 @ 299.967
300.44/301.52	c bounds - >= 598 @ 299.968
300.44/301.52	c bounds - >= 599 @ 299.97
300.44/301.52	c bounds - >= 600 @ 299.971
300.44/301.52	c bounds - >= 601 @ 299.972
300.44/301.52	c bounds - >= 602 @ 299.973
300.44/301.52	c bounds - >= 603 @ 299.974
300.44/301.52	c bounds - >= 604 @ 299.975
300.44/301.52	c bounds - >= 605 @ 299.976
300.44/301.52	c bounds - >= 606 @ 299.977
300.44/301.52	c bounds - >= 607 @ 299.978
300.44/301.52	c bounds - >= 608 @ 299.979
300.44/301.52	c bounds - >= 609 @ 299.98
300.44/301.52	c bounds - >= 610 @ 299.981
300.44/301.52	c bounds - >= 611 @ 299.982
300.44/301.52	c bounds - >= 612 @ 299.983
300.44/301.52	c bounds - >= 613 @ 299.984
300.44/301.52	c bounds - >= 614 @ 299.985
300.44/301.52	c bounds - >= 615 @ 299.986
300.44/301.52	c bounds - >= 616 @ 299.987
300.44/301.52	c bounds - >= 617 @ 299.988
300.44/301.52	c bounds - >= 618 @ 299.989
300.44/301.52	c bounds - >= 619 @ 299.99
300.44/301.52	c bounds - >= 620 @ 299.991
300.44/301.52	c bounds - >= 621 @ 299.992
300.44/301.52	c bounds - >= 622 @ 299.993
300.44/301.52	c bounds - >= 623 @ 299.994
300.44/301.52	c bounds - >= 624 @ 299.995
300.44/301.52	c bounds - >= 625 @ 299.996
300.44/301.52	c bounds - >= 626 @ 299.997
300.44/301.52	c bounds - >= 627 @ 299.998
300.44/301.52	c bounds - >= 628 @ 300
300.44/301.52	c bounds - >= 629 @ 300.001
300.44/301.52	c bounds - >= 630 @ 300.002
300.44/301.52	c bounds - >= 631 @ 300.003
300.44/301.52	c bounds - >= 632 @ 300.004
300.44/301.52	c bounds - >= 633 @ 300.005
300.44/301.52	c bounds - >= 634 @ 300.006
300.44/301.52	c bounds - >= 635 @ 300.007
300.44/301.52	c bounds - >= 636 @ 300.008
300.44/301.52	c bounds - >= 637 @ 300.009
300.44/301.52	c bounds - >= 638 @ 300.01
300.44/301.52	c bounds - >= 639 @ 300.011
300.44/301.52	c bounds - >= 640 @ 300.012
300.44/301.52	c bounds - >= 641 @ 300.013
300.44/301.52	c bounds - >= 642 @ 300.014
300.44/301.52	c bounds - >= 643 @ 300.015
300.44/301.52	c bounds - >= 644 @ 300.017
300.44/301.52	c bounds - >= 645 @ 300.018
300.44/301.52	c bounds - >= 646 @ 300.019
300.44/301.52	c bounds - >= 647 @ 300.02
300.44/301.52	c bounds - >= 648 @ 300.021
300.44/301.52	c bounds - >= 649 @ 300.022
300.44/301.52	c bounds - >= 650 @ 300.024
300.44/301.52	c bounds - >= 651 @ 300.025
300.44/301.52	c bounds - >= 652 @ 300.026
300.44/301.52	c bounds - >= 653 @ 300.027
300.44/301.52	c bounds - >= 654 @ 300.028
300.44/301.52	c bounds - >= 655 @ 300.029
300.44/301.52	c bounds - >= 656 @ 300.03
300.44/301.52	c bounds - >= 657 @ 300.031
300.44/301.52	c bounds - >= 658 @ 300.032
300.44/301.52	c bounds - >= 659 @ 300.033
300.44/301.52	c bounds - >= 660 @ 300.034
300.44/301.52	c bounds - >= 661 @ 300.035
300.44/301.52	c bounds - >= 662 @ 300.037
300.44/301.52	c bounds - >= 663 @ 300.038
300.44/301.52	c bounds - >= 664 @ 300.04
300.44/301.52	c bounds - >= 665 @ 300.041
300.44/301.52	c bounds - >= 666 @ 300.042
300.44/301.52	c bounds - >= 667 @ 300.043
300.44/301.52	c bounds - >= 668 @ 300.044
300.44/301.52	c bounds - >= 669 @ 300.045
300.44/301.52	c bounds - >= 670 @ 300.046
300.44/301.52	c bounds - >= 671 @ 300.047
300.44/301.52	c bounds - >= 672 @ 300.049
300.44/301.52	c bounds - >= 673 @ 300.05
300.44/301.52	c bounds - >= 674 @ 300.051
300.44/301.52	c bounds - >= 675 @ 300.052
300.44/301.52	c bounds - >= 676 @ 300.053
300.44/301.52	c bounds - >= 677 @ 300.054
300.44/301.52	c bounds - >= 678 @ 300.055
300.44/301.52	c bounds - >= 679 @ 300.057
300.44/301.52	c bounds - >= 680 @ 300.058
300.44/301.52	c bounds - >= 681 @ 300.059
300.44/301.52	c bounds - >= 682 @ 300.06
300.44/301.52	c bounds - >= 683 @ 300.062
300.44/301.52	c bounds - >= 684 @ 300.063
300.44/301.52	c bounds - >= 685 @ 300.065
300.44/301.52	c bounds - >= 686 @ 300.066
300.44/301.52	c bounds - >= 687 @ 300.067
300.44/301.52	c bounds - >= 688 @ 300.068
300.44/301.52	c bounds - >= 689 @ 300.069
300.44/301.52	c bounds - >= 690 @ 300.07
300.44/301.52	c bounds - >= 691 @ 300.071
300.44/301.52	c bounds - >= 692 @ 300.073
300.44/301.52	c bounds - >= 693 @ 300.074
300.44/301.52	c bounds - >= 694 @ 300.075
300.44/301.52	c bounds - >= 695 @ 300.076
300.44/301.52	c bounds - >= 696 @ 300.077
300.44/301.52	c bounds - >= 697 @ 300.077
300.44/301.52	c bounds - >= 698 @ 300.078
300.44/301.52	c bounds - >= 699 @ 300.079
300.44/301.52	c bounds - >= 700 @ 300.08
300.44/301.52	c bounds - >= 701 @ 300.081
300.44/301.52	c bounds - >= 702 @ 300.082
300.44/301.52	c bounds - >= 703 @ 300.083
300.44/301.52	c bounds - >= 704 @ 300.084
300.44/301.52	c bounds - >= 705 @ 300.086
300.44/301.52	c bounds - >= 706 @ 300.086
300.44/301.52	c bounds - >= 707 @ 300.088
300.44/301.52	c bounds - >= 708 @ 300.089
300.44/301.52	c bounds - >= 709 @ 300.089
300.44/301.52	c bounds - >= 710 @ 300.091
300.44/301.52	c bounds - >= 711 @ 300.091
300.44/301.52	c bounds - >= 712 @ 300.093
300.44/301.52	c bounds - >= 713 @ 300.093
300.44/301.52	c bounds - >= 714 @ 300.095
300.44/301.52	c bounds - >= 715 @ 300.096
300.44/301.52	c bounds - >= 716 @ 300.098
300.44/301.52	c bounds - >= 717 @ 300.099
300.44/301.52	c bounds - >= 718 @ 300.1
300.44/301.52	c bounds - >= 719 @ 300.101
300.44/301.52	c bounds - >= 720 @ 300.101
300.44/301.52	c bounds - >= 721 @ 300.103
300.44/301.52	c bounds - >= 722 @ 300.103
300.44/301.52	c bounds - >= 723 @ 300.105
300.44/301.52	c bounds - >= 724 @ 300.105
300.44/301.52	c bounds - >= 725 @ 300.107
300.44/301.52	c bounds - >= 726 @ 300.107
300.44/301.52	c bounds - >= 727 @ 300.109
300.44/301.52	c bounds - >= 728 @ 300.11
300.44/301.52	c bounds - >= 729 @ 300.111
300.44/301.52	c bounds - >= 730 @ 300.112
300.44/301.52	c bounds - >= 731 @ 300.112
300.44/301.52	c bounds - >= 732 @ 300.114
300.44/301.52	c bounds - >= 733 @ 300.114
300.44/301.52	c bounds - >= 734 @ 300.116
300.44/301.52	c bounds - >= 735 @ 300.117
300.44/301.52	c bounds - >= 736 @ 300.119
300.44/301.52	c bounds - >= 737 @ 300.119
300.44/301.52	c bounds - >= 738 @ 300.121
300.44/301.52	c bounds - >= 739 @ 300.122
300.64/301.75	c bounds - >= 740 @ 300.123
300.64/301.75	c bounds - >= 741 @ 300.124
300.64/301.75	c bounds - >= 742 @ 300.124
300.64/301.75	c bounds - >= 743 @ 300.126
300.64/301.75	c bounds - >= 744 @ 300.126
300.64/301.75	c bounds - >= 745 @ 300.127
300.64/301.75	c bounds - >= 746 @ 300.128
300.64/301.75	c bounds - >= 747 @ 300.128
300.64/301.75	c bounds - >= 748 @ 300.13
300.64/301.75	c bounds - >= 749 @ 300.131
300.64/301.75	c bounds - >= 750 @ 300.133
300.64/301.75	c bounds - >= 751 @ 300.133
300.64/301.75	c bounds - >= 752 @ 300.135
300.64/301.75	c bounds - >= 753 @ 300.135
300.64/301.75	c bounds - >= 754 @ 300.137
300.64/301.75	c bounds - >= 755 @ 300.139
300.64/301.75	c bounds - >= 756 @ 300.14
300.64/301.75	c bounds - >= 757 @ 300.142
300.64/301.75	c bounds - >= 758 @ 300.142
300.64/301.75	c bounds - >= 759 @ 300.144
300.64/301.75	c bounds - >= 760 @ 300.144
300.64/301.75	c bounds - >= 761 @ 300.146
300.64/301.75	c bounds - >= 762 @ 300.146
300.64/301.75	c bounds - >= 763 @ 300.148
300.64/301.75	c bounds - >= 764 @ 300.15
300.64/301.75	c bounds - >= 765 @ 300.15
300.64/301.75	c bounds - >= 766 @ 300.152
300.64/301.75	c bounds - >= 767 @ 300.153
300.64/301.75	c bounds - >= 768 @ 300.155
300.64/301.75	c bounds - >= 769 @ 300.155
300.64/301.75	c bounds - >= 770 @ 300.157
300.64/301.75	c bounds - >= 771 @ 300.158
300.64/301.75	c bounds - >= 772 @ 300.158
300.64/301.75	c bounds - >= 773 @ 300.16
300.64/301.75	c bounds - >= 774 @ 300.16
300.64/301.75	c bounds - >= 775 @ 300.162
300.64/301.75	c bounds - >= 776 @ 300.163
300.64/301.75	c bounds - >= 777 @ 300.164
300.64/301.75	c bounds - >= 778 @ 300.165
300.64/301.75	c bounds - >= 779 @ 300.165
300.64/301.75	c bounds - >= 780 @ 300.167
300.64/301.75	c bounds - >= 781 @ 300.167
300.64/301.75	c bounds - >= 782 @ 300.169
300.64/301.75	c bounds - >= 783 @ 300.169
300.64/301.75	c bounds - >= 784 @ 300.17
300.64/301.75	c bounds - >= 785 @ 300.172
300.64/301.75	c bounds - >= 786 @ 300.172
300.64/301.75	c bounds - >= 787 @ 300.174
300.64/301.75	c bounds - >= 788 @ 300.175
300.64/301.75	c bounds - >= 789 @ 300.177
300.64/301.75	c bounds - >= 790 @ 300.178
300.64/301.75	c bounds - >= 791 @ 300.18
300.64/301.75	c bounds - >= 792 @ 300.182
300.64/301.75	c bounds - >= 793 @ 300.182
300.64/301.75	c bounds - >= 794 @ 300.184
300.64/301.75	c bounds - >= 795 @ 300.184
300.64/301.75	c bounds - >= 796 @ 300.186
300.64/301.75	c bounds - >= 797 @ 300.186
300.64/301.75	c bounds - >= 798 @ 300.188
300.64/301.75	c bounds - >= 799 @ 300.19
300.64/301.75	c bounds - >= 800 @ 300.19
300.64/301.75	c bounds - >= 801 @ 300.192
300.64/301.75	c bounds - >= 802 @ 300.192
300.64/301.75	c bounds - >= 803 @ 300.194
300.64/301.75	c bounds - >= 804 @ 300.195
300.64/301.75	c bounds - >= 805 @ 300.196
300.64/301.75	c bounds - >= 806 @ 300.197
300.64/301.75	c bounds - >= 807 @ 300.198
300.64/301.75	c bounds - >= 808 @ 300.2
300.64/301.75	c bounds - >= 809 @ 300.202
300.64/301.75	c bounds - >= 810 @ 300.202
300.64/301.75	c bounds - >= 811 @ 300.203
300.64/301.75	c bounds - >= 812 @ 300.203
300.64/301.75	c bounds - >= 813 @ 300.205
300.64/301.75	c bounds - >= 814 @ 300.207
300.64/301.75	c bounds - >= 815 @ 300.207
300.64/301.75	c bounds - >= 816 @ 300.209
300.64/301.75	c bounds - >= 817 @ 300.21
300.64/301.75	c bounds - >= 818 @ 300.211
300.64/301.75	c bounds - >= 819 @ 300.212
300.64/301.75	c bounds - >= 820 @ 300.213
300.64/301.75	c bounds - >= 821 @ 300.215
300.64/301.75	c bounds - >= 822 @ 300.215
300.64/301.75	c bounds - >= 823 @ 300.217
300.64/301.75	c bounds - >= 824 @ 300.217
300.64/301.75	c bounds - >= 825 @ 300.219
300.64/301.75	c bounds - >= 826 @ 300.22
300.64/301.75	c bounds - >= 827 @ 300.221
300.64/301.75	c bounds - >= 828 @ 300.223
300.64/301.75	c bounds - >= 829 @ 300.223
300.64/301.75	c bounds - >= 830 @ 300.225
300.64/301.75	c bounds - >= 831 @ 300.225
300.64/301.75	c bounds - >= 832 @ 300.227
300.64/301.75	c bounds - >= 833 @ 300.227
300.64/301.75	c bounds - >= 834 @ 300.228
300.64/301.75	c bounds - >= 835 @ 300.23
300.64/301.75	c bounds - >= 836 @ 300.231
300.64/301.75	c bounds - >= 837 @ 300.233
300.64/301.75	c bounds - >= 838 @ 300.233
300.64/301.75	c bounds - >= 839 @ 300.235
300.64/301.75	c bounds - >= 840 @ 300.237
300.64/301.75	c bounds - >= 841 @ 300.237
300.64/301.75	c bounds - >= 842 @ 300.239
300.64/301.75	c bounds - >= 843 @ 300.24
300.64/301.75	c bounds - >= 844 @ 300.241
300.64/301.75	c bounds - >= 845 @ 300.242
300.64/301.75	c bounds - >= 846 @ 300.242
300.64/301.75	c bounds - >= 847 @ 300.243
300.64/301.75	c bounds - >= 848 @ 300.245
300.64/301.75	c bounds - >= 849 @ 300.246
300.64/301.75	c bounds - >= 850 @ 300.247
300.64/301.75	c bounds - >= 851 @ 300.249
300.64/301.75	c bounds - >= 852 @ 300.25
300.64/301.75	c bounds - >= 853 @ 300.252
300.64/301.75	c bounds - >= 854 @ 300.253
300.64/301.75	c bounds - >= 855 @ 300.254
300.64/301.75	c bounds - >= 856 @ 300.255
300.64/301.75	c bounds - >= 857 @ 300.256
300.64/301.75	c bounds - >= 858 @ 300.257
300.64/301.75	c bounds - >= 859 @ 300.259
300.64/301.75	c bounds - >= 860 @ 300.261
300.64/301.75	c bounds - >= 861 @ 300.261
300.64/301.75	c bounds - >= 862 @ 300.263
300.64/301.75	c bounds - >= 863 @ 300.263
300.64/301.75	c bounds - >= 864 @ 300.264
300.64/301.75	c bounds - >= 865 @ 300.265
300.64/301.75	c bounds - >= 866 @ 300.266
300.64/301.75	c bounds - >= 867 @ 300.268
300.64/301.75	c bounds - >= 868 @ 300.269
300.64/301.75	c bounds - >= 869 @ 300.27
300.64/301.75	c bounds - >= 870 @ 300.271
300.64/301.75	c bounds - >= 871 @ 300.272
300.64/301.75	c bounds - >= 872 @ 300.273
300.64/301.75	c bounds - >= 873 @ 300.273
300.64/301.75	c bounds - >= 874 @ 300.275
300.64/301.75	c bounds - >= 875 @ 300.276
300.64/301.75	c bounds - >= 876 @ 300.276
300.64/301.75	c bounds - >= 877 @ 300.277
300.64/301.75	c bounds - >= 878 @ 300.279
300.64/301.75	c bounds - >= 879 @ 300.279
300.64/301.75	c bounds - >= 880 @ 300.281
300.64/301.75	c bounds - >= 881 @ 300.283
300.64/301.75	c bounds - >= 882 @ 300.283
300.64/301.75	c bounds - >= 883 @ 300.284
300.64/301.75	c bounds - >= 884 @ 300.286
300.64/301.75	c bounds - >= 885 @ 300.286
300.64/301.75	c bounds - >= 886 @ 300.288
300.84/302.00	c bounds - >= 887 @ 300.29
300.84/302.00	c bounds - >= 888 @ 300.29
300.84/302.00	c bounds - >= 889 @ 300.292
300.84/302.00	c bounds - >= 890 @ 300.293
300.84/302.00	c bounds - >= 891 @ 300.294
300.84/302.00	c bounds - >= 892 @ 300.295
300.84/302.00	c bounds - >= 893 @ 300.296
300.84/302.00	c bounds - >= 894 @ 300.298
300.84/302.00	c bounds - >= 895 @ 300.299
300.84/302.00	c bounds - >= 896 @ 300.3
300.84/302.00	c bounds - >= 897 @ 300.301
300.84/302.00	c bounds - >= 898 @ 300.303
300.84/302.00	c bounds - >= 899 @ 300.303
300.84/302.00	c bounds - >= 900 @ 300.304
300.84/302.00	c bounds - >= 901 @ 300.305
300.84/302.00	c bounds - >= 902 @ 300.307
300.84/302.00	c bounds - >= 903 @ 300.308
300.84/302.00	c bounds - >= 904 @ 300.309
300.84/302.00	c bounds - >= 905 @ 300.31
300.84/302.00	c bounds - >= 906 @ 300.312
300.84/302.00	c bounds - >= 907 @ 300.313
300.84/302.00	c bounds - >= 908 @ 300.314
300.84/302.00	c bounds - >= 909 @ 300.315
300.84/302.00	c bounds - >= 910 @ 300.316
300.84/302.00	c bounds - >= 911 @ 300.316
300.84/302.00	c bounds - >= 912 @ 300.318
300.84/302.00	c bounds - >= 913 @ 300.32
300.84/302.00	c bounds - >= 914 @ 300.32
300.84/302.00	c bounds - >= 915 @ 300.321
300.84/302.00	c bounds - >= 916 @ 300.322
300.84/302.00	c bounds - >= 917 @ 300.323
300.84/302.00	c bounds - >= 918 @ 300.324
300.84/302.00	c bounds - >= 919 @ 300.326
300.84/302.00	c bounds - >= 920 @ 300.326
300.84/302.00	c bounds - >= 921 @ 300.327
300.84/302.00	c bounds - >= 922 @ 300.329
300.84/302.00	c bounds - >= 923 @ 300.329
300.84/302.00	c bounds - >= 924 @ 300.33
300.84/302.00	c bounds - >= 925 @ 300.332
300.84/302.00	c bounds - >= 926 @ 300.332
300.84/302.00	c bounds - >= 927 @ 300.333
300.84/302.00	c bounds - >= 928 @ 300.334
300.84/302.00	c bounds - >= 929 @ 300.335
300.84/302.00	c bounds - >= 930 @ 300.337
300.84/302.00	c bounds - >= 931 @ 300.338
300.84/302.00	c bounds - >= 932 @ 300.339
300.84/302.00	c bounds - >= 933 @ 300.34
300.84/302.00	c bounds - >= 934 @ 300.341
300.84/302.00	c bounds - >= 935 @ 300.343
300.84/302.00	c bounds - >= 936 @ 300.344
300.84/302.00	c bounds - >= 937 @ 300.345
300.84/302.00	c bounds - >= 938 @ 300.346
300.84/302.00	c bounds - >= 939 @ 300.347
300.84/302.00	c bounds - >= 940 @ 300.348
300.84/302.00	c bounds - >= 941 @ 300.35
300.84/302.00	c bounds - >= 942 @ 300.351
300.84/302.00	c bounds - >= 943 @ 300.352
300.84/302.00	c bounds - >= 944 @ 300.354
300.84/302.00	c bounds - >= 945 @ 300.355
300.84/302.00	c bounds - >= 946 @ 300.357
300.84/302.00	c bounds - >= 947 @ 300.358
300.84/302.00	c bounds - >= 948 @ 300.359
300.84/302.00	c bounds - >= 949 @ 300.36
300.84/302.00	c bounds - >= 950 @ 300.361
300.84/302.00	c bounds - >= 951 @ 300.362
300.84/302.00	c bounds - >= 952 @ 300.363
300.84/302.00	c bounds - >= 953 @ 300.364
300.84/302.00	c bounds - >= 954 @ 300.365
300.84/302.00	c bounds - >= 955 @ 300.366
300.84/302.00	c bounds - >= 956 @ 300.367
300.84/302.00	c bounds - >= 957 @ 300.369
300.84/302.00	c bounds - >= 958 @ 300.37
300.84/302.00	c bounds - >= 959 @ 300.371
300.84/302.00	c bounds - >= 960 @ 300.372
300.84/302.00	c bounds - >= 961 @ 300.373
300.84/302.00	c bounds - >= 962 @ 300.373
300.84/302.00	c bounds - >= 963 @ 300.374
300.84/302.00	c bounds - >= 964 @ 300.376
300.84/302.00	c bounds - >= 965 @ 300.377
300.84/302.00	c bounds - >= 966 @ 300.378
300.84/302.00	c bounds - >= 967 @ 300.38
300.84/302.00	c bounds - >= 968 @ 300.381
300.84/302.00	c bounds - >= 969 @ 300.382
300.84/302.00	c bounds - >= 970 @ 300.384
300.84/302.00	c bounds - >= 971 @ 300.385
300.84/302.00	c bounds - >= 972 @ 300.386
300.84/302.00	c bounds - >= 973 @ 300.387
300.84/302.00	c bounds - >= 974 @ 300.388
300.84/302.00	c bounds - >= 975 @ 300.389
300.84/302.00	c bounds - >= 976 @ 300.39
300.84/302.00	c bounds - >= 977 @ 300.391
300.84/302.00	c bounds - >= 978 @ 300.393
300.84/302.00	c bounds - >= 979 @ 300.394
300.84/302.00	c bounds - >= 980 @ 300.396
300.84/302.00	c bounds - >= 981 @ 300.397
300.84/302.00	c bounds - >= 982 @ 300.398
300.84/302.00	c bounds - >= 983 @ 300.399
300.84/302.00	c bounds - >= 984 @ 300.4
300.84/302.00	c bounds - >= 985 @ 300.401
300.84/302.00	c bounds - >= 986 @ 300.401
300.84/302.00	c bounds - >= 987 @ 300.403
300.84/302.00	c bounds - >= 988 @ 300.404
300.84/302.00	c bounds - >= 989 @ 300.405
300.84/302.00	c bounds - >= 990 @ 300.406
300.84/302.00	c bounds - >= 991 @ 300.408
300.84/302.00	c bounds - >= 992 @ 300.409
300.84/302.00	c bounds - >= 993 @ 300.409
300.84/302.00	c bounds - >= 994 @ 300.411
300.84/302.00	c bounds - >= 995 @ 300.412
300.84/302.00	c bounds - >= 996 @ 300.413
300.84/302.00	c bounds - >= 997 @ 300.415
300.84/302.00	c bounds - >= 998 @ 300.416
300.84/302.00	c bounds - >= 999 @ 300.417
300.84/302.00	c bounds - >= 1000 @ 300.418
300.84/302.00	c bounds - >= 1001 @ 300.419
300.84/302.00	c bounds - >= 1002 @ 300.42
300.84/302.00	c bounds - >= 1003 @ 300.42
300.84/302.00	c bounds - >= 1004 @ 300.422
300.84/302.00	c bounds - >= 1005 @ 300.423
300.84/302.00	c bounds - >= 1006 @ 300.424
300.84/302.00	c bounds - >= 1007 @ 300.426
300.84/302.00	c bounds - >= 1008 @ 300.428
300.84/302.00	c bounds - >= 1009 @ 300.429
300.84/302.00	c bounds - >= 1010 @ 300.43
300.84/302.00	c bounds - >= 1011 @ 300.431
300.84/302.00	c bounds - >= 1012 @ 300.432
300.84/302.00	c bounds - >= 1013 @ 300.433
300.84/302.00	c bounds - >= 1014 @ 300.434
300.84/302.00	c bounds - >= 1015 @ 300.435
300.84/302.00	c bounds - >= 1016 @ 300.436
300.84/302.00	c bounds - >= 1017 @ 300.437
300.84/302.00	c bounds - >= 1018 @ 300.439
300.84/302.00	c bounds - >= 1019 @ 300.44
300.84/302.00	c bounds - >= 1020 @ 300.441
300.84/302.00	c bounds - >= 1021 @ 300.442
300.84/302.00	c bounds - >= 1022 @ 300.444
300.84/302.00	c bounds - >= 1023 @ 300.445
300.84/302.00	c bounds - >= 1024 @ 300.446
300.84/302.00	c bounds - >= 1025 @ 300.448
300.84/302.00	c bounds - >= 1026 @ 300.45
300.84/302.00	c bounds - >= 1027 @ 300.451
300.84/302.00	c bounds - >= 1028 @ 300.452
300.84/302.00	c bounds - >= 1029 @ 300.452
300.84/302.00	c bounds - >= 1030 @ 300.453
300.84/302.00	c bounds - >= 1031 @ 300.454
300.84/302.00	c bounds - >= 1032 @ 300.456
301.13/302.25	c bounds - >= 1033 @ 300.457
301.13/302.25	c bounds - >= 1034 @ 300.458
301.13/302.25	c bounds - >= 1035 @ 300.459
301.13/302.25	c bounds - >= 1036 @ 300.459
301.13/302.25	c bounds - >= 1037 @ 300.46
301.13/302.25	c bounds - >= 1038 @ 300.461
301.13/302.25	c bounds - >= 1039 @ 300.462
301.13/302.25	c bounds - >= 1040 @ 300.463
301.13/302.25	c bounds - >= 1041 @ 300.464
301.13/302.25	c bounds - >= 1042 @ 300.465
301.13/302.25	c bounds - >= 1043 @ 300.466
301.13/302.25	c bounds - >= 1044 @ 300.468
301.13/302.25	c bounds - >= 1045 @ 300.47
301.13/302.25	c bounds - >= 1046 @ 300.472
301.13/302.25	c bounds - >= 1047 @ 300.473
301.13/302.25	c bounds - >= 1048 @ 300.474
301.13/302.25	c bounds - >= 1049 @ 300.475
301.13/302.25	c bounds - >= 1050 @ 300.476
301.13/302.25	c bounds - >= 1051 @ 300.477
301.13/302.25	c bounds - >= 1052 @ 300.477
301.13/302.25	c bounds - >= 1053 @ 300.479
301.13/302.25	c bounds - >= 1054 @ 300.481
301.13/302.25	c bounds - >= 1055 @ 300.482
301.13/302.25	c bounds - >= 1056 @ 300.483
301.13/302.25	c bounds - >= 1057 @ 300.484
301.13/302.25	c bounds - >= 1058 @ 300.485
301.13/302.25	c bounds - >= 1059 @ 300.486
301.13/302.25	c bounds - >= 1060 @ 300.488
301.13/302.25	c bounds - >= 1061 @ 300.49
301.13/302.25	c bounds - >= 1062 @ 300.491
301.13/302.25	c bounds - >= 1063 @ 300.492
301.13/302.25	c bounds - >= 1064 @ 300.493
301.13/302.25	c bounds - >= 1065 @ 300.494
301.13/302.25	c bounds - >= 1066 @ 300.495
301.13/302.25	c bounds - >= 1067 @ 300.495
301.13/302.25	c bounds - >= 1068 @ 300.496
301.13/302.25	c bounds - >= 1069 @ 300.496
301.13/302.25	c bounds - >= 1070 @ 300.497
301.13/302.25	c bounds - >= 1071 @ 300.498
301.13/302.25	c bounds - >= 1072 @ 300.498
301.13/302.25	c bounds - >= 1073 @ 300.499
301.13/302.25	c bounds - >= 1074 @ 300.501
301.13/302.25	c bounds - >= 1075 @ 300.502
301.13/302.25	c bounds - >= 1076 @ 300.503
301.13/302.25	c bounds - >= 1077 @ 300.503
301.13/302.25	c bounds - >= 1078 @ 300.505
301.13/302.25	c bounds - >= 1079 @ 300.507
301.13/302.25	c bounds - >= 1080 @ 300.508
301.13/302.25	c bounds - >= 1081 @ 300.509
301.13/302.25	c bounds - >= 1082 @ 300.51
301.13/302.25	c bounds - >= 1083 @ 300.512
301.13/302.25	c bounds - >= 1084 @ 300.513
301.13/302.25	c bounds - >= 1085 @ 300.514
301.13/302.25	c bounds - >= 1086 @ 300.515
301.13/302.25	c bounds - >= 1087 @ 300.516
301.13/302.25	c bounds - >= 1088 @ 300.517
301.13/302.25	c bounds - >= 1089 @ 300.519
301.13/302.25	c bounds - >= 1090 @ 300.519
301.13/302.25	c bounds - >= 1091 @ 300.52
301.13/302.25	c bounds - >= 1092 @ 300.521
301.13/302.25	c bounds - >= 1093 @ 300.522
301.13/302.25	c bounds - >= 1094 @ 300.523
301.13/302.25	c bounds - >= 1095 @ 300.524
301.13/302.25	c bounds - >= 1096 @ 300.525
301.13/302.25	c bounds - >= 1097 @ 300.525
301.13/302.25	c bounds - >= 1098 @ 300.527
301.13/302.25	c bounds - >= 1099 @ 300.528
301.13/302.25	c bounds - >= 1100 @ 300.529
301.13/302.25	c bounds - >= 1101 @ 300.529
301.13/302.25	c bounds - >= 1102 @ 300.531
301.13/302.25	c bounds - >= 1103 @ 300.533
301.13/302.25	c bounds - >= 1104 @ 300.534
301.13/302.25	c bounds - >= 1105 @ 300.534
301.13/302.25	c bounds - >= 1106 @ 300.535
301.13/302.25	c bounds - >= 1107 @ 300.537
301.13/302.25	c bounds - >= 1108 @ 300.538
301.13/302.25	c bounds - >= 1109 @ 300.539
301.13/302.25	c bounds - >= 1110 @ 300.539
301.13/302.25	c bounds - >= 1111 @ 300.54
301.13/302.25	c bounds - >= 1112 @ 300.541
301.13/302.25	c bounds - >= 1113 @ 300.543
301.13/302.25	c bounds - >= 1114 @ 300.545
301.13/302.25	c bounds - >= 1115 @ 300.545
301.13/302.25	c bounds - >= 1116 @ 300.547
301.13/302.25	c bounds - >= 1117 @ 300.549
301.13/302.25	c bounds - >= 1118 @ 300.55
301.13/302.25	c bounds - >= 1119 @ 300.551
301.13/302.25	c bounds - >= 1120 @ 300.552
301.13/302.25	c bounds - >= 1121 @ 300.553
301.13/302.25	c bounds - >= 1122 @ 300.553
301.13/302.25	c bounds - >= 1123 @ 300.555
301.13/302.25	c bounds - >= 1124 @ 300.557
301.13/302.25	c bounds - >= 1125 @ 300.558
301.13/302.25	c bounds - >= 1126 @ 300.558
301.13/302.25	c bounds - >= 1127 @ 300.559
301.13/302.25	c bounds - >= 1128 @ 300.561
301.13/302.25	c bounds - >= 1129 @ 300.562
301.13/302.25	c bounds - >= 1130 @ 300.563
301.13/302.25	c bounds - >= 1131 @ 300.563
301.13/302.25	c bounds - >= 1132 @ 300.564
301.13/302.25	c bounds - >= 1133 @ 300.565
301.13/302.25	c bounds - >= 1134 @ 300.566
301.13/302.25	c bounds - >= 1135 @ 300.566
301.13/302.25	c bounds - >= 1136 @ 300.568
301.13/302.25	c bounds - >= 1137 @ 300.57
301.13/302.25	c bounds - >= 1138 @ 300.572
301.13/302.25	c bounds - >= 1139 @ 300.572
301.13/302.25	c bounds - >= 1140 @ 300.573
301.13/302.25	c bounds - >= 1141 @ 300.574
301.13/302.25	c bounds - >= 1142 @ 300.575
301.13/302.25	c bounds - >= 1143 @ 300.576
301.13/302.25	c bounds - >= 1144 @ 300.577
301.13/302.25	c bounds - >= 1145 @ 300.579
301.13/302.25	c bounds - >= 1146 @ 300.579
301.13/302.25	c bounds - >= 1147 @ 300.581
301.13/302.25	c bounds - >= 1148 @ 300.583
301.13/302.25	c bounds - >= 1149 @ 300.584
301.13/302.25	c bounds - >= 1150 @ 300.585
301.13/302.25	c bounds - >= 1151 @ 300.587
301.13/302.25	c bounds - >= 1152 @ 300.588
301.13/302.25	c bounds - >= 1153 @ 300.589
301.13/302.25	c bounds - >= 1154 @ 300.59
301.13/302.25	c bounds - >= 1155 @ 300.592
301.13/302.25	c bounds - >= 1156 @ 300.594
301.13/302.25	c bounds - >= 1157 @ 300.594
301.13/302.25	c bounds - >= 1158 @ 300.596
301.13/302.25	c bounds - >= 1159 @ 300.598
301.13/302.25	c bounds - >= 1160 @ 300.6
301.13/302.25	c bounds - >= 1161 @ 300.602
301.13/302.25	c bounds - >= 1162 @ 300.603
301.13/302.25	c bounds - >= 1163 @ 300.603
301.13/302.25	c bounds - >= 1164 @ 300.604
301.13/302.25	c bounds - >= 1165 @ 300.605
301.13/302.25	c bounds - >= 1166 @ 300.606
301.13/302.25	c bounds - >= 1167 @ 300.607
301.13/302.25	c bounds - >= 1168 @ 300.607
301.13/302.25	c bounds - >= 1169 @ 300.609
301.13/302.25	c bounds - >= 1170 @ 300.61
301.13/302.25	c bounds - >= 1171 @ 300.611
301.13/302.25	c bounds - >= 1172 @ 300.612
301.13/302.25	c bounds - >= 1173 @ 300.613
301.43/302.51	c bounds - >= 1174 @ 300.614
301.43/302.51	c bounds - >= 1175 @ 300.615
301.43/302.51	c bounds - >= 1176 @ 300.615
301.43/302.51	c bounds - >= 1177 @ 300.615
301.43/302.51	c bounds - >= 1178 @ 300.617
301.43/302.51	c bounds - >= 1179 @ 300.618
301.43/302.51	c bounds - >= 1180 @ 300.62
301.43/302.51	c bounds - >= 1181 @ 300.621
301.43/302.51	c bounds - >= 1182 @ 300.621
301.43/302.51	c bounds - >= 1183 @ 300.622
301.43/302.51	c bounds - >= 1184 @ 300.624
301.43/302.51	c bounds - >= 1185 @ 300.625
301.43/302.51	c bounds - >= 1186 @ 300.626
301.43/302.51	c bounds - >= 1187 @ 300.628
301.43/302.51	c bounds - >= 1188 @ 300.628
301.43/302.51	c bounds - >= 1189 @ 300.63
301.43/302.51	c bounds - >= 1190 @ 300.632
301.43/302.51	c bounds - >= 1191 @ 300.634
301.43/302.51	c bounds - >= 1192 @ 300.635
301.43/302.51	c bounds - >= 1193 @ 300.636
301.43/302.51	c bounds - >= 1194 @ 300.637
301.43/302.51	c bounds - >= 1195 @ 300.638
301.43/302.51	c bounds - >= 1196 @ 300.64
301.43/302.51	c bounds - >= 1197 @ 300.641
301.43/302.51	c bounds - >= 1198 @ 300.642
301.43/302.51	c bounds - >= 1199 @ 300.643
301.43/302.51	c bounds - >= 1200 @ 300.644
301.43/302.51	c bounds - >= 1201 @ 300.645
301.43/302.51	c bounds - >= 1202 @ 300.647
301.43/302.51	c bounds - >= 1203 @ 300.648
301.43/302.51	c bounds - >= 1204 @ 300.649
301.43/302.51	c bounds - >= 1205 @ 300.649
301.43/302.51	c bounds - >= 1206 @ 300.65
301.43/302.51	c bounds - >= 1207 @ 300.651
301.43/302.51	c bounds - >= 1208 @ 300.652
301.43/302.51	c bounds - >= 1209 @ 300.654
301.43/302.51	c bounds - >= 1210 @ 300.655
301.43/302.51	c bounds - >= 1211 @ 300.657
301.43/302.51	c bounds - >= 1212 @ 300.658
301.43/302.51	c bounds - >= 1213 @ 300.66
301.43/302.51	c bounds - >= 1214 @ 300.662
301.43/302.51	c bounds - >= 1215 @ 300.663
301.43/302.51	c bounds - >= 1216 @ 300.664
301.43/302.51	c bounds - >= 1217 @ 300.666
301.43/302.51	c bounds - >= 1218 @ 300.667
301.43/302.51	c bounds - >= 1219 @ 300.667
301.43/302.51	c bounds - >= 1220 @ 300.668
301.43/302.51	c bounds - >= 1221 @ 300.669
301.43/302.51	c bounds - >= 1222 @ 300.67
301.43/302.51	c bounds - >= 1223 @ 300.671
301.43/302.51	c bounds - >= 1224 @ 300.671
301.43/302.51	c bounds - >= 1225 @ 300.673
301.43/302.51	c bounds - >= 1226 @ 300.674
301.43/302.51	c bounds - >= 1227 @ 300.674
301.43/302.51	c bounds - >= 1228 @ 300.675
301.43/302.51	c bounds - >= 1229 @ 300.676
301.43/302.51	c bounds - >= 1230 @ 300.677
301.43/302.51	c bounds - >= 1231 @ 300.678
301.43/302.51	c bounds - >= 1232 @ 300.68
301.43/302.51	c bounds - >= 1233 @ 300.68
301.43/302.51	c bounds - >= 1234 @ 300.681
301.43/302.51	c bounds - >= 1235 @ 300.682
301.43/302.51	c bounds - >= 1236 @ 300.683
301.43/302.51	c bounds - >= 1237 @ 300.685
301.43/302.51	c bounds - >= 1238 @ 300.686
301.43/302.51	c bounds - >= 1239 @ 300.686
301.43/302.51	c bounds - >= 1240 @ 300.688
301.43/302.51	c bounds - >= 1241 @ 300.69
301.43/302.51	c bounds - >= 1242 @ 300.692
301.43/302.51	c bounds - >= 1243 @ 300.694
301.43/302.51	c bounds - >= 1244 @ 300.695
301.43/302.51	c bounds - >= 1245 @ 300.696
301.43/302.51	c bounds - >= 1246 @ 300.697
301.43/302.51	c bounds - >= 1247 @ 300.699
301.43/302.51	c bounds - >= 1248 @ 300.699
301.43/302.51	c bounds - >= 1249 @ 300.701
301.43/302.51	c bounds - >= 1250 @ 300.703
301.43/302.51	c bounds - >= 1251 @ 300.704
301.43/302.51	c bounds - >= 1252 @ 300.705
301.43/302.51	c bounds - >= 1253 @ 300.706
301.43/302.51	c bounds - >= 1254 @ 300.707
301.43/302.51	c bounds - >= 1255 @ 300.708
301.43/302.51	c bounds - >= 1256 @ 300.708
301.43/302.51	c bounds - >= 1257 @ 300.709
301.43/302.51	c bounds - >= 1258 @ 300.71
301.43/302.51	c bounds - >= 1259 @ 300.711
301.43/302.51	c bounds - >= 1260 @ 300.712
301.43/302.51	c bounds - >= 1261 @ 300.714
301.43/302.51	c bounds - >= 1262 @ 300.715
301.43/302.51	c bounds - >= 1263 @ 300.716
301.43/302.51	c bounds - >= 1264 @ 300.716
301.43/302.51	c bounds - >= 1265 @ 300.718
301.43/302.51	c bounds - >= 1266 @ 300.72
301.43/302.51	c bounds - >= 1267 @ 300.721
301.43/302.51	c bounds - >= 1268 @ 300.722
301.43/302.51	c bounds - >= 1269 @ 300.722
301.43/302.51	c bounds - >= 1270 @ 300.723
301.43/302.51	c bounds - >= 1271 @ 300.723
301.43/302.51	c bounds - >= 1272 @ 300.725
301.43/302.51	c bounds - >= 1273 @ 300.726
301.43/302.51	c bounds - >= 1274 @ 300.727
301.43/302.51	c bounds - >= 1275 @ 300.728
301.43/302.51	c bounds - >= 1276 @ 300.73
301.43/302.51	c bounds - >= 1277 @ 300.732
301.43/302.51	c bounds - >= 1278 @ 300.734
301.43/302.51	c bounds - >= 1279 @ 300.735
301.43/302.51	c bounds - >= 1280 @ 300.736
301.43/302.52	c bounds - >= 1281 @ 300.737
301.43/302.52	c bounds - >= 1282 @ 300.738
301.43/302.52	c bounds - >= 1283 @ 300.738
301.43/302.52	c bounds - >= 1284 @ 300.739
301.43/302.52	c bounds - >= 1285 @ 300.74
301.43/302.52	c bounds - >= 1286 @ 300.742
301.43/302.52	c bounds - >= 1287 @ 300.743
301.43/302.52	c bounds - >= 1288 @ 300.744
301.43/302.52	c bounds - >= 1289 @ 300.745
301.43/302.52	c bounds - >= 1290 @ 300.746
301.43/302.52	c bounds - >= 1291 @ 300.747
301.43/302.52	c bounds - >= 1292 @ 300.748
301.43/302.52	c bounds - >= 1293 @ 300.749
301.43/302.52	c bounds - >= 1294 @ 300.751
301.43/302.52	c bounds - >= 1295 @ 300.753
301.43/302.52	c bounds - >= 1296 @ 300.753
301.43/302.52	c bounds - >= 1297 @ 300.753
301.43/302.52	c bounds - >= 1298 @ 300.755
301.43/302.52	c bounds - >= 1299 @ 300.757
301.43/302.52	c bounds - >= 1300 @ 300.758
301.43/302.52	c bounds - >= 1301 @ 300.76
301.43/302.52	c bounds - >= 1302 @ 300.762
301.43/302.52	c bounds - >= 1303 @ 300.763
301.43/302.52	c bounds - >= 1304 @ 300.764
301.43/302.52	c bounds - >= 1305 @ 300.764
301.43/302.52	c bounds - >= 1306 @ 300.766
301.43/302.52	c bounds - >= 1307 @ 300.767
301.43/302.52	c bounds - >= 1308 @ 300.768
301.43/302.52	c bounds - >= 1309 @ 300.77
301.43/302.52	c bounds - >= 1310 @ 300.771
301.43/302.52	c bounds - >= 1311 @ 300.772
301.43/302.52	c bounds - >= 1312 @ 300.773
301.43/302.52	c bounds - >= 1313 @ 300.774
301.43/302.52	c bounds - >= 1314 @ 300.775
301.43/302.52	c bounds - >= 1315 @ 300.776
301.63/302.79	c bounds - >= 1316 @ 300.776
301.63/302.79	c bounds - >= 1317 @ 300.777
301.63/302.79	c bounds - >= 1318 @ 300.778
301.63/302.79	c bounds - >= 1319 @ 300.779
301.63/302.79	c bounds - >= 1320 @ 300.78
301.63/302.79	c bounds - >= 1321 @ 300.781
301.63/302.79	c bounds - >= 1322 @ 300.782
301.63/302.79	c bounds - >= 1323 @ 300.783
301.63/302.79	c bounds - >= 1324 @ 300.785
301.63/302.79	c bounds - >= 1325 @ 300.786
301.63/302.79	c bounds - >= 1326 @ 300.787
301.63/302.79	c bounds - >= 1327 @ 300.787
301.63/302.79	c bounds - >= 1328 @ 300.79
301.63/302.79	c bounds - >= 1329 @ 300.79
301.63/302.79	c bounds - >= 1330 @ 300.791
301.63/302.79	c bounds - >= 1331 @ 300.792
301.63/302.79	c bounds - >= 1332 @ 300.793
301.63/302.79	c bounds - >= 1333 @ 300.794
301.63/302.79	c bounds - >= 1334 @ 300.795
301.63/302.79	c bounds - >= 1335 @ 300.797
301.63/302.79	c bounds - >= 1336 @ 300.798
301.63/302.79	c bounds - >= 1337 @ 300.799
301.63/302.79	c bounds - >= 1338 @ 300.8
301.63/302.79	c bounds - >= 1339 @ 300.8
301.63/302.79	c bounds - >= 1340 @ 300.802
301.63/302.79	c bounds - >= 1341 @ 300.803
301.63/302.79	c bounds - >= 1342 @ 300.805
301.63/302.79	c bounds - >= 1343 @ 300.806
301.63/302.79	c bounds - >= 1344 @ 300.807
301.63/302.79	c bounds - >= 1345 @ 300.808
301.63/302.79	c bounds - >= 1346 @ 300.809
301.63/302.79	c bounds - >= 1347 @ 300.81
301.63/302.79	c bounds - >= 1348 @ 300.811
301.63/302.79	c bounds - >= 1349 @ 300.812
301.63/302.79	c bounds - >= 1350 @ 300.813
301.63/302.79	c bounds - >= 1351 @ 300.814
301.63/302.79	c bounds - >= 1352 @ 300.815
301.63/302.79	c bounds - >= 1353 @ 300.817
301.63/302.79	c bounds - >= 1354 @ 300.819
301.63/302.79	c bounds - >= 1355 @ 300.821
301.63/302.79	c bounds - >= 1356 @ 300.822
301.63/302.79	c bounds - >= 1357 @ 300.823
301.63/302.79	c bounds - >= 1358 @ 300.824
301.63/302.79	c bounds - >= 1359 @ 300.825
301.63/302.79	c bounds - >= 1360 @ 300.826
301.63/302.79	c bounds - >= 1361 @ 300.828
301.63/302.79	c bounds - >= 1362 @ 300.829
301.63/302.79	c bounds - >= 1363 @ 300.831
301.63/302.79	c bounds - >= 1364 @ 300.831
301.63/302.79	c bounds - >= 1365 @ 300.832
301.63/302.79	c bounds - >= 1366 @ 300.832
301.63/302.79	c bounds - >= 1367 @ 300.833
301.63/302.79	c bounds - >= 1368 @ 300.834
301.63/302.79	c bounds - >= 1369 @ 300.835
301.63/302.79	c bounds - >= 1370 @ 300.836
301.63/302.79	c bounds - >= 1371 @ 300.838
301.63/302.79	c bounds - >= 1372 @ 300.84
301.63/302.79	c bounds - >= 1373 @ 300.841
301.63/302.79	c bounds - >= 1374 @ 300.842
301.63/302.79	c bounds - >= 1375 @ 300.843
301.63/302.79	c bounds - >= 1376 @ 300.844
301.63/302.79	c bounds - >= 1377 @ 300.845
301.63/302.79	c bounds - >= 1378 @ 300.846
301.63/302.79	c bounds - >= 1379 @ 300.847
301.63/302.79	c bounds - >= 1380 @ 300.848
301.63/302.79	c bounds - >= 1381 @ 300.85
301.63/302.79	c bounds - >= 1382 @ 300.851
301.63/302.79	c bounds - >= 1383 @ 300.853
301.63/302.79	c bounds - >= 1384 @ 300.854
301.63/302.79	c bounds - >= 1385 @ 300.855
301.63/302.79	c bounds - >= 1386 @ 300.857
301.63/302.79	c bounds - >= 1387 @ 300.858
301.63/302.79	c bounds - >= 1388 @ 300.86
301.63/302.79	c bounds - >= 1389 @ 300.861
301.63/302.79	c bounds - >= 1390 @ 300.862
301.63/302.79	c bounds - >= 1391 @ 300.863
301.63/302.79	c bounds - >= 1392 @ 300.864
301.63/302.79	c bounds - >= 1393 @ 300.864
301.63/302.79	c bounds - >= 1394 @ 300.865
301.63/302.79	c bounds - >= 1395 @ 300.865
301.63/302.79	c bounds - >= 1396 @ 300.866
301.63/302.79	c bounds - >= 1397 @ 300.868
301.63/302.79	c bounds - >= 1398 @ 300.869
301.63/302.79	c bounds - >= 1399 @ 300.87
301.63/302.79	c bounds - >= 1400 @ 300.871
301.63/302.79	c bounds - >= 1401 @ 300.872
301.63/302.79	c bounds - >= 1402 @ 300.873
301.63/302.79	c bounds - >= 1403 @ 300.875
301.63/302.79	c bounds - >= 1404 @ 300.877
301.63/302.79	c bounds - >= 1405 @ 300.879
301.63/302.79	c bounds - >= 1406 @ 300.881
301.63/302.79	c bounds - >= 1407 @ 300.883
301.63/302.79	c bounds - >= 1408 @ 300.884
301.63/302.79	c bounds - >= 1409 @ 300.885
301.63/302.79	c bounds - >= 1410 @ 300.886
301.63/302.79	c bounds - >= 1411 @ 300.887
301.63/302.79	c bounds - >= 1412 @ 300.887
301.63/302.79	c bounds - >= 1413 @ 300.887
301.63/302.79	c bounds - >= 1414 @ 300.888
301.63/302.79	c bounds - >= 1415 @ 300.889
301.63/302.79	c bounds - >= 1416 @ 300.89
301.63/302.79	c bounds - >= 1417 @ 300.892
301.63/302.79	c bounds - >= 1418 @ 300.894
301.63/302.79	c bounds - >= 1419 @ 300.895
301.63/302.79	c bounds - >= 1420 @ 300.896
301.63/302.79	c bounds - >= 1421 @ 300.898
301.63/302.79	c bounds - >= 1422 @ 300.899
301.63/302.79	c bounds - >= 1423 @ 300.9
301.63/302.79	c bounds - >= 1424 @ 300.901
301.63/302.79	c bounds - >= 1425 @ 300.903
301.63/302.79	c bounds - >= 1426 @ 300.905
301.63/302.79	c bounds - >= 1427 @ 300.906
301.63/302.79	c bounds - >= 1428 @ 300.908
301.63/302.79	c bounds - >= 1429 @ 300.91
301.63/302.79	c bounds - >= 1430 @ 300.911
301.63/302.79	c bounds - >= 1431 @ 300.912
301.63/302.79	c bounds - >= 1432 @ 300.913
301.63/302.79	c bounds - >= 1433 @ 300.914
301.63/302.79	c bounds - >= 1434 @ 300.914
301.63/302.79	c bounds - >= 1435 @ 300.914
301.63/302.79	c bounds - >= 1436 @ 300.915
301.63/302.79	c bounds - >= 1437 @ 300.916
301.63/302.79	c bounds - >= 1438 @ 300.917
301.63/302.79	c bounds - >= 1439 @ 300.918
301.63/302.79	c bounds - >= 1440 @ 300.92
301.63/302.79	c bounds - >= 1441 @ 300.921
301.63/302.79	c bounds - >= 1442 @ 300.922
301.63/302.79	c bounds - >= 1443 @ 300.924
301.63/302.79	c bounds - >= 1444 @ 300.925
301.63/302.79	c bounds - >= 1445 @ 300.926
301.63/302.79	c bounds - >= 1446 @ 300.928
301.63/302.79	c bounds - >= 1447 @ 300.93
301.63/302.79	c bounds - >= 1448 @ 300.931
301.63/302.79	c bounds - >= 1449 @ 300.932
301.63/302.79	c bounds - >= 1450 @ 300.934
301.63/302.79	c bounds - >= 1451 @ 300.936
301.63/302.79	c bounds - >= 1452 @ 300.937
301.63/302.79	c bounds - >= 1453 @ 300.939
301.63/302.79	c bounds - >= 1454 @ 300.941
301.63/302.79	c bounds - >= 1455 @ 300.942
301.63/302.79	c bounds - >= 1456 @ 300.943
301.63/302.79	c bounds - >= 1457 @ 300.944
301.94/303.08	c bounds - >= 1458 @ 300.946
301.94/303.08	c bounds - >= 1459 @ 300.947
301.94/303.08	c bounds - >= 1460 @ 300.948
301.94/303.08	c bounds - >= 1461 @ 300.949
301.94/303.08	c bounds - >= 1462 @ 300.951
301.94/303.08	c bounds - >= 1463 @ 300.952
301.94/303.08	c bounds - >= 1464 @ 300.954
301.94/303.08	c bounds - >= 1465 @ 300.955
301.94/303.08	c bounds - >= 1466 @ 300.956
301.94/303.08	c bounds - >= 1467 @ 300.957
301.94/303.08	c bounds - >= 1468 @ 300.959
301.94/303.08	c bounds - >= 1469 @ 300.96
301.94/303.08	c bounds - >= 1470 @ 300.961
301.94/303.08	c bounds - >= 1471 @ 300.963
301.94/303.08	c bounds - >= 1472 @ 300.964
301.94/303.08	c bounds - >= 1473 @ 300.965
301.94/303.08	c bounds - >= 1474 @ 300.966
301.94/303.08	c bounds - >= 1475 @ 300.967
301.94/303.08	c bounds - >= 1476 @ 300.968
301.94/303.08	c bounds - >= 1477 @ 300.97
301.94/303.08	c bounds - >= 1478 @ 300.972
301.94/303.08	c bounds - >= 1479 @ 300.973
301.94/303.08	c bounds - >= 1480 @ 300.974
301.94/303.08	c bounds - >= 1481 @ 300.976
301.94/303.08	c bounds - >= 1482 @ 300.977
301.94/303.08	c bounds - >= 1483 @ 300.978
301.94/303.08	c bounds - >= 1484 @ 300.979
301.94/303.08	c bounds - >= 1485 @ 300.98
301.94/303.08	c bounds - >= 1486 @ 300.981
301.94/303.08	c bounds - >= 1487 @ 300.983
301.94/303.08	c bounds - >= 1488 @ 300.984
301.94/303.08	c bounds - >= 1489 @ 300.985
301.94/303.08	c bounds - >= 1490 @ 300.986
301.94/303.08	c bounds - >= 1491 @ 300.988
301.94/303.08	c bounds - >= 1492 @ 300.989
301.94/303.08	c bounds - >= 1493 @ 300.991
301.94/303.08	c bounds - >= 1494 @ 300.992
301.94/303.08	c bounds - >= 1495 @ 300.994
301.94/303.08	c bounds - >= 1496 @ 300.995
301.94/303.08	c bounds - >= 1497 @ 300.996
301.94/303.08	c bounds - >= 1498 @ 300.998
301.94/303.08	c bounds - >= 1499 @ 300.999
301.94/303.08	c bounds - >= 1500 @ 301.001
301.94/303.08	c bounds - >= 1501 @ 301.003
301.94/303.08	c bounds - >= 1502 @ 301.004
301.94/303.08	c bounds - >= 1503 @ 301.005
301.94/303.08	c bounds - >= 1504 @ 301.006
301.94/303.08	c bounds - >= 1505 @ 301.007
301.94/303.08	c bounds - >= 1506 @ 301.008
301.94/303.08	c bounds - >= 1507 @ 301.009
301.94/303.08	c bounds - >= 1508 @ 301.011
301.94/303.08	c bounds - >= 1509 @ 301.013
301.94/303.08	c bounds - >= 1510 @ 301.015
301.94/303.08	c bounds - >= 1511 @ 301.016
301.94/303.08	c bounds - >= 1512 @ 301.018
301.94/303.08	c bounds - >= 1513 @ 301.02
301.94/303.08	c bounds - >= 1514 @ 301.022
301.94/303.08	c bounds - >= 1515 @ 301.023
301.94/303.08	c bounds - >= 1516 @ 301.024
301.94/303.08	c bounds - >= 1517 @ 301.026
301.94/303.08	c bounds - >= 1518 @ 301.028
301.94/303.08	c bounds - >= 1519 @ 301.029
301.94/303.08	c bounds - >= 1520 @ 301.03
301.94/303.08	c bounds - >= 1521 @ 301.031
301.94/303.08	c bounds - >= 1522 @ 301.033
301.94/303.08	c bounds - >= 1523 @ 301.035
301.94/303.08	c bounds - >= 1524 @ 301.036
301.94/303.08	c bounds - >= 1525 @ 301.037
301.94/303.08	c bounds - >= 1526 @ 301.038
301.94/303.08	c bounds - >= 1527 @ 301.039
301.94/303.08	c bounds - >= 1528 @ 301.04
301.94/303.08	c bounds - >= 1529 @ 301.04
301.94/303.08	c bounds - >= 1530 @ 301.042
301.94/303.08	c bounds - >= 1531 @ 301.042
301.94/303.08	c bounds - >= 1532 @ 301.042
301.94/303.08	c bounds - >= 1533 @ 301.042
301.94/303.08	c bounds - >= 1534 @ 301.043
301.94/303.08	c bounds - >= 1535 @ 301.044
301.94/303.08	c bounds - >= 1536 @ 301.044
301.94/303.08	c bounds - >= 1537 @ 301.044
301.94/303.08	c bounds - >= 1538 @ 301.045
301.94/303.08	c bounds - >= 1539 @ 301.046
301.94/303.08	c bounds - >= 1540 @ 301.047
301.94/303.08	c bounds - >= 1541 @ 301.048
301.94/303.08	c bounds - >= 1542 @ 301.05
301.94/303.08	c bounds - >= 1543 @ 301.052
301.94/303.08	c bounds - >= 1544 @ 301.054
301.94/303.08	c bounds - >= 1545 @ 301.055
301.94/303.08	c bounds - >= 1546 @ 301.055
301.94/303.08	c bounds - >= 1547 @ 301.056
301.94/303.08	c bounds - >= 1548 @ 301.057
301.94/303.08	c bounds - >= 1549 @ 301.059
301.94/303.08	c bounds - >= 1550 @ 301.06
301.94/303.08	c bounds - >= 1551 @ 301.061
301.94/303.08	c bounds - >= 1552 @ 301.062
301.94/303.08	c bounds - >= 1553 @ 301.065
301.94/303.08	c bounds - >= 1554 @ 301.066
301.94/303.08	c bounds - >= 1555 @ 301.067
301.94/303.08	c bounds - >= 1556 @ 301.068
301.94/303.08	c bounds - >= 1557 @ 301.069
301.94/303.08	c bounds - >= 1558 @ 301.07
301.94/303.08	c bounds - >= 1559 @ 301.07
301.94/303.08	c bounds - >= 1560 @ 301.071
301.94/303.08	c bounds - >= 1561 @ 301.071
301.94/303.08	c bounds - >= 1562 @ 301.072
301.94/303.08	c bounds - >= 1563 @ 301.072
301.94/303.08	c bounds - >= 1564 @ 301.073
301.94/303.08	c bounds - >= 1565 @ 301.074
301.94/303.08	c bounds - >= 1566 @ 301.076
301.94/303.08	c bounds - >= 1567 @ 301.077
301.94/303.08	c bounds - >= 1568 @ 301.078
301.94/303.08	c bounds - >= 1569 @ 301.08
301.94/303.08	c bounds - >= 1570 @ 301.082
301.94/303.08	c bounds - >= 1571 @ 301.083
301.94/303.08	c bounds - >= 1572 @ 301.084
301.94/303.08	c bounds - >= 1573 @ 301.085
301.94/303.08	c bounds - >= 1574 @ 301.087
301.94/303.08	c bounds - >= 1575 @ 301.089
301.94/303.08	c bounds - >= 1576 @ 301.089
301.94/303.08	c bounds - >= 1577 @ 301.09
301.94/303.08	c bounds - >= 1578 @ 301.091
301.94/303.08	c bounds - >= 1579 @ 301.091
301.94/303.08	c bounds - >= 1580 @ 301.092
301.94/303.08	c bounds - >= 1581 @ 301.093
301.94/303.08	c bounds - >= 1582 @ 301.095
301.94/303.08	c bounds - >= 1583 @ 301.097
301.94/303.08	c bounds - >= 1584 @ 301.098
301.94/303.08	c bounds - >= 1585 @ 301.099
301.94/303.08	c bounds - >= 1586 @ 301.101
301.94/303.08	c bounds - >= 1587 @ 301.103
301.94/303.08	c bounds - >= 1588 @ 301.103
301.94/303.08	c bounds - >= 1589 @ 301.103
301.94/303.08	c bounds - >= 1590 @ 301.104
301.94/303.08	c bounds - >= 1591 @ 301.105
301.94/303.08	c bounds - >= 1592 @ 301.106
301.94/303.08	c bounds - >= 1593 @ 301.108
301.94/303.08	c bounds - >= 1594 @ 301.109
301.94/303.08	c bounds - >= 1595 @ 301.11
301.94/303.08	c bounds - >= 1596 @ 301.11
301.94/303.08	c bounds - >= 1597 @ 301.111
301.94/303.08	c bounds - >= 1598 @ 301.112
301.94/303.08	c bounds - >= 1599 @ 301.114
383.63/384.96	c bounds - >= 1600 @ 301.116
383.63/384.96	c bounds - >= 1601 @ 301.117
383.63/384.96	c bounds - >= 1602 @ 301.118
383.63/384.96	c bounds - >= 1603 @ 301.119
383.63/384.96	c bounds - >= 1604 @ 301.12
383.63/384.96	c bounds - >= 1605 @ 301.123
383.63/384.96	c bounds - >= 1606 @ 301.124
383.63/384.96	c bounds - >= 1607 @ 301.126
383.63/384.96	c bounds - >= 1608 @ 301.127
383.63/384.96	c bounds - >= 1609 @ 301.128
383.63/384.96	c bounds - >= 1610 @ 301.13
383.63/384.96	c bounds - >= 1611 @ 301.13
383.63/384.96	c bounds - >= 1612 @ 301.13
383.63/384.96	c bounds - >= 1613 @ 301.132
383.63/384.96	c bounds - >= 1614 @ 301.133
383.63/384.96	c bounds - >= 1615 @ 301.134
383.63/384.96	c bounds - >= 1616 @ 301.136
383.63/384.96	c bounds - >= 1617 @ 301.137
383.63/384.96	c bounds - >= 1618 @ 301.139
383.63/384.96	c bounds - >= 1619 @ 301.14
383.63/384.96	c bounds - >= 1620 @ 301.14
383.63/384.96	c bounds - >= 1621 @ 301.142
383.63/384.96	c bounds - >= 1622 @ 301.144
383.63/384.96	c bounds - >= 1623 @ 301.145
383.63/384.96	c bounds - >= 1624 @ 301.146
383.63/384.96	c bounds - >= 1625 @ 301.147
383.63/384.96	c bounds - >= 1626 @ 301.148
383.63/384.96	c bounds - >= 1627 @ 301.15
383.63/384.96	c bounds - >= 1628 @ 301.152
383.63/384.96	c bounds - >= 1629 @ 301.152
383.63/384.96	c bounds - >= 1630 @ 301.154
383.63/384.96	c bounds - >= 1631 @ 301.154
383.63/384.96	c bounds - >= 1632 @ 301.155
383.63/384.96	c bounds - >= 1633 @ 301.156
383.63/384.96	c bounds - >= 1634 @ 301.157
383.63/384.96	c bounds - >= 1635 @ 301.159
383.63/384.96	c bounds - >= 1636 @ 301.16
383.63/384.96	c bounds - >= 1637 @ 301.162
383.63/384.96	c bounds - >= 1638 @ 301.163
383.63/384.96	c bounds - >= 1639 @ 301.165
383.63/384.96	c bounds - >= 1640 @ 301.166
383.63/384.96	c bounds - >= 1641 @ 301.167
383.63/384.96	c bounds - >= 1642 @ 301.167
383.63/384.96	c bounds - >= 1643 @ 301.168
383.63/384.96	c bounds - >= 1644 @ 301.171
383.63/384.96	c bounds - >= 1645 @ 301.171
383.63/384.96	c bounds - >= 1646 @ 301.172
383.63/384.96	c bounds - >= 1647 @ 301.172
383.63/384.96	c bounds - >= 1648 @ 301.173
383.63/384.96	c bounds - >= 1649 @ 301.174
383.63/384.96	c bounds - >= 1650 @ 301.175
383.63/384.96	c bounds - >= 1651 @ 301.176
383.63/384.96	c bounds - >= 1652 @ 301.178
383.63/384.96	c bounds - >= 1653 @ 301.179
383.63/384.96	c bounds - >= 1654 @ 301.179
383.63/384.96	c bounds - >= 1655 @ 301.18
383.63/384.96	c bounds - >= 1656 @ 301.181
383.63/384.96	c bounds - >= 1657 @ 301.182
383.63/384.96	c bounds - >= 1658 @ 301.183
383.63/384.96	c bounds - >= 1659 @ 301.184
383.63/384.96	c bounds - >= 1660 @ 301.186
383.63/384.96	c bounds - >= 1661 @ 301.188
383.63/384.96	c bounds - >= 1662 @ 301.188
383.63/384.96	c bounds - >= 1663 @ 301.188
383.63/384.96	c bounds - >= 1664 @ 301.188
383.63/384.96	c bounds - >= 1665 @ 301.189
383.63/384.96	c bounds - >= 1666 @ 301.19
383.63/384.96	c bounds - >= 1667 @ 301.191
383.63/384.96	c bounds - >= 1668 @ 301.192
383.63/384.96	c bounds - >= 1669 @ 301.194
383.63/384.96	c bounds - >= 1670 @ 301.195
383.63/384.96	c bounds - >= 1671 @ 301.196
383.63/384.96	c bounds - >= 1672 @ 301.196
383.63/384.96	c bounds - >= 1673 @ 301.197
383.63/384.96	c bounds - >= 1674 @ 301.199
383.63/384.96	c bounds - >= 1675 @ 301.2
383.63/384.96	c bounds - >= 1676 @ 301.202
383.63/384.96	c bounds - >= 1677 @ 301.203
383.63/384.96	c bounds - >= 1678 @ 301.205
383.63/384.96	c bounds - >= 1679 @ 301.205
383.63/384.96	c bounds - >= 1680 @ 301.206
383.63/384.96	c bounds - >= 1681 @ 301.207
383.63/384.96	c bounds - >= 1682 @ 301.209
383.63/384.96	c bounds - >= 1683 @ 301.21
383.63/384.96	c bounds - >= 1684 @ 301.212
383.63/384.96	c bounds - >= 1685 @ 301.212
383.63/384.96	c bounds - >= 1686 @ 301.212
383.63/384.96	c bounds - >= 1687 @ 301.213
383.63/384.96	c bounds - >= 1688 @ 301.214
383.63/384.96	c bounds - >= 1689 @ 301.216
383.63/384.96	c bounds - >= 1690 @ 301.218
383.63/384.96	c bounds - >= 1691 @ 301.218
383.63/384.96	c bounds - >= 1692 @ 301.218
383.63/384.96	c bounds - >= 1693 @ 301.219
383.63/384.96	c bounds - >= 1694 @ 301.221
383.63/384.96	c bounds - >= 1695 @ 301.222
383.63/384.96	c bounds - >= 1696 @ 301.224
383.63/384.96	c bounds - >= 1697 @ 301.224
383.63/384.96	c bounds - >= 1698 @ 301.225
383.63/384.96	c bounds - >= 1699 @ 301.226
383.63/384.96	c bounds - >= 1700 @ 301.227
383.63/384.96	c #Conflicts:       1000 | #Constraints:      12700
383.63/384.96	c #Conflicts:       2000 | #Constraints:      13700
383.63/384.96	c INPROCESSING
383.63/384.96	c GARBAGE COLLECT
383.63/384.96	c #Conflicts:       3000 | #Constraints:      12105
383.63/384.96	c #Conflicts:       4000 | #Constraints:      13105
383.63/384.96	c INPROCESSING
383.63/384.96	c GARBAGE COLLECT
383.63/384.96	c #Conflicts:       5000 | #Constraints:      12551
383.63/384.96	c #Conflicts:       6000 | #Constraints:      13551
383.63/384.96	c INPROCESSING
383.63/384.96	c GARBAGE COLLECT
383.63/384.96	c #Conflicts:       7000 | #Constraints:      12575
383.63/384.96	c #Conflicts:       8000 | #Constraints:      13575
383.63/384.96	c #Conflicts:       9000 | #Constraints:      14575
383.63/384.96	c INPROCESSING
383.63/384.96	c GARBAGE COLLECT
383.63/384.96	c #Conflicts:      10000 | #Constraints:      13302
383.63/384.96	c #Conflicts:      11000 | #Constraints:      14302
383.63/384.96	c #Conflicts:      12000 | #Constraints:      15302
383.63/384.96	c INPROCESSING
383.63/384.96	c GARBAGE COLLECT
383.63/384.96	c #Conflicts:      13000 | #Constraints:      13780
383.63/384.96	c #Conflicts:      14000 | #Constraints:      14780
383.63/384.96	c #Conflicts:      15000 | #Constraints:      15780
383.63/384.96	c INPROCESSING
383.63/384.96	c GARBAGE COLLECT
383.63/384.96	c #Conflicts:      16000 | #Constraints:      14012
383.63/384.96	c #Conflicts:      17000 | #Constraints:      15012
383.63/384.96	c #Conflicts:      18000 | #Constraints:      16012
383.63/384.96	c INPROCESSING
383.63/384.96	c GARBAGE COLLECT
765.90/768.26	c #Conflicts:      19000 | #Constraints:      14043
765.90/768.26	c #Conflicts:      20000 | #Constraints:      15043
765.90/768.26	c #Conflicts:      21000 | #Constraints:      16043
765.90/768.26	c INPROCESSING
765.90/768.26	c GARBAGE COLLECT
765.90/768.26	c #Conflicts:      22000 | #Constraints:      13863
765.90/768.26	c #Conflicts:      23000 | #Constraints:      14863
765.90/768.26	c #Conflicts:      24000 | #Constraints:      15863
765.90/768.26	c #Conflicts:      25000 | #Constraints:      16863
765.90/768.26	c INPROCESSING
765.90/768.26	c GARBAGE COLLECT
765.90/768.26	c #Conflicts:      26000 | #Constraints:      14462
765.90/768.26	c #Conflicts:      27000 | #Constraints:      15462
765.90/768.26	c #Conflicts:      28000 | #Constraints:      16462
765.90/768.26	c #Conflicts:      29000 | #Constraints:      17462
765.90/768.26	c INPROCESSING
765.90/768.26	c GARBAGE COLLECT
765.90/768.26	c #Conflicts:      30000 | #Constraints:      14879
765.90/768.26	c #Conflicts:      31000 | #Constraints:      15879
765.90/768.26	c #Conflicts:      32000 | #Constraints:      16879
765.90/768.26	c #Conflicts:      33000 | #Constraints:      17879
765.90/768.26	c INPROCESSING
765.90/768.26	c GARBAGE COLLECT
765.90/768.26	c #Conflicts:      34000 | #Constraints:      15075
765.90/768.26	c #Conflicts:      35000 | #Constraints:      16075
765.90/768.26	c #Conflicts:      36000 | #Constraints:      17075
765.90/768.26	c #Conflicts:      37000 | #Constraints:      18075
765.90/768.26	c INPROCESSING
765.90/768.26	c GARBAGE COLLECT
765.90/768.26	c #Conflicts:      38000 | #Constraints:      15071
765.90/768.26	c #Conflicts:      39000 | #Constraints:      16071
765.90/768.26	c #Conflicts:      40000 | #Constraints:      17071
765.90/768.26	c #Conflicts:      41000 | #Constraints:      18071
765.90/768.26	c INPROCESSING
765.90/768.26	c GARBAGE COLLECT
765.90/768.26	c #Conflicts:      42000 | #Constraints:      14869
765.90/768.26	c #Conflicts:      43000 | #Constraints:      15869
765.90/768.26	c #Conflicts:      44000 | #Constraints:      16869
765.90/768.26	c #Conflicts:      45000 | #Constraints:      17869
765.90/768.26	c #Conflicts:      46000 | #Constraints:      18869
765.90/768.26	c INPROCESSING
765.90/768.26	c GARBAGE COLLECT
765.90/768.26	c #Conflicts:      47000 | #Constraints:      15473
765.90/768.26	c #Conflicts:      48000 | #Constraints:      16473
765.90/768.26	c #Conflicts:      49000 | #Constraints:      17473
765.90/768.26	c #Conflicts:      50000 | #Constraints:      18473
765.90/768.26	c #Conflicts:      51000 | #Constraints:      19473
765.90/768.26	c INPROCESSING
765.90/768.26	c GARBAGE COLLECT
765.90/768.26	c #Conflicts:      52000 | #Constraints:      15884
765.90/768.26	c #Conflicts:      53000 | #Constraints:      16884
765.90/768.26	c #Conflicts:      54000 | #Constraints:      17884
765.90/768.26	c #Conflicts:      55000 | #Constraints:      18884
765.90/768.26	c #Conflicts:      56000 | #Constraints:      19884
765.90/768.26	c INPROCESSING
765.90/768.26	c GARBAGE COLLECT
765.90/768.26	c #Conflicts:      57000 | #Constraints:      16098
765.90/768.26	c #Conflicts:      58000 | #Constraints:      17098
765.90/768.26	c #Conflicts:      59000 | #Constraints:      18098
765.90/768.26	c #Conflicts:      60000 | #Constraints:      19098
765.90/768.26	c #Conflicts:      61000 | #Constraints:      20098
765.90/768.26	c INPROCESSING
765.90/768.26	c GARBAGE COLLECT
765.90/768.26	c #Conflicts:      62000 | #Constraints:      16102
765.90/768.26	c #Conflicts:      63000 | #Constraints:      17102
765.90/768.26	c #Conflicts:      64000 | #Constraints:      18102
765.90/768.26	c #Conflicts:      65000 | #Constraints:      19102
765.90/768.26	c #Conflicts:      66000 | #Constraints:      20102
765.90/768.26	c INPROCESSING
765.90/768.26	c GARBAGE COLLECT
765.90/768.26	c #Conflicts:      67000 | #Constraints:      15900
765.90/768.26	c #Conflicts:      68000 | #Constraints:      16900
765.90/768.26	c #Conflicts:      69000 | #Constraints:      17900
765.90/768.26	c #Conflicts:      70000 | #Constraints:      18900
765.90/768.26	c #Conflicts:      71000 | #Constraints:      19900
765.90/768.26	c #Conflicts:      72000 | #Constraints:      20900
765.90/768.26	c INPROCESSING
765.90/768.26	c GARBAGE COLLECT
765.90/768.26	c #Conflicts:      73000 | #Constraints:      16490
765.90/768.26	c #Conflicts:      74000 | #Constraints:      17490
765.90/768.26	c #Conflicts:      75000 | #Constraints:      18490
765.90/768.26	c #Conflicts:      76000 | #Constraints:      19490
765.90/768.26	c #Conflicts:      77000 | #Constraints:      20490
765.90/768.26	c #Conflicts:      78000 | #Constraints:      21490
765.90/768.26	c INPROCESSING
765.90/768.26	c GARBAGE COLLECT
765.90/768.26	c #Conflicts:      79000 | #Constraints:      16905
765.90/768.26	c #Conflicts:      80000 | #Constraints:      17905
765.90/768.26	c #Conflicts:      81000 | #Constraints:      18905
765.90/768.26	c #Conflicts:      82000 | #Constraints:      19905
765.90/768.26	c #Conflicts:      83000 | #Constraints:      20905
765.90/768.26	c #Conflicts:      84000 | #Constraints:      21905
765.90/768.26	c INPROCESSING
765.90/768.26	c GARBAGE COLLECT
765.90/768.26	c #Conflicts:      85000 | #Constraints:      17107
765.90/768.26	c #Conflicts:      86000 | #Constraints:      18107
765.90/768.26	c #Conflicts:      87000 | #Constraints:      19107
765.90/768.26	c #Conflicts:      88000 | #Constraints:      20107
1339.97/1343.87	c #Conflicts:      89000 | #Constraints:      21107
1339.97/1343.87	c #Conflicts:      90000 | #Constraints:      22107
1339.97/1343.87	c INPROCESSING
1339.97/1343.87	c GARBAGE COLLECT
1339.97/1343.87	c #Conflicts:      91000 | #Constraints:      17096
1339.97/1343.87	c #Conflicts:      92000 | #Constraints:      18096
1339.97/1343.87	c #Conflicts:      93000 | #Constraints:      19096
1339.97/1343.87	c #Conflicts:      94000 | #Constraints:      20096
1339.97/1343.87	c #Conflicts:      95000 | #Constraints:      21096
1339.97/1343.87	c #Conflicts:      96000 | #Constraints:      22096
1339.97/1343.87	c INPROCESSING
1339.97/1343.87	c GARBAGE COLLECT
1339.97/1343.87	c #Conflicts:      97000 | #Constraints:      16886
1339.97/1343.87	c #Conflicts:      98000 | #Constraints:      17886
1339.97/1343.87	c #Conflicts:      99000 | #Constraints:      18886
1339.97/1343.87	c #Conflicts:     100000 | #Constraints:      19886
1339.97/1343.87	c #Conflicts:     101000 | #Constraints:      20886
1339.97/1343.87	c #Conflicts:     102000 | #Constraints:      21886
1339.97/1343.87	c #Conflicts:     103000 | #Constraints:      22886
1339.97/1343.87	c INPROCESSING
1339.97/1343.87	c GARBAGE COLLECT
1339.97/1343.87	c #Conflicts:     104000 | #Constraints:      17481
1339.97/1343.87	c #Conflicts:     105000 | #Constraints:      18481
1339.97/1343.87	c #Conflicts:     106000 | #Constraints:      19481
1339.97/1343.87	c #Conflicts:     107000 | #Constraints:      20481
1339.97/1343.87	c #Conflicts:     108000 | #Constraints:      21481
1339.97/1343.87	c #Conflicts:     109000 | #Constraints:      22481
1339.97/1343.87	c #Conflicts:     110000 | #Constraints:      23481
1339.97/1343.87	c INPROCESSING
1339.97/1343.87	c GARBAGE COLLECT
1339.97/1343.87	c #Conflicts:     111000 | #Constraints:      17886
1339.97/1343.87	c #Conflicts:     112000 | #Constraints:      18886
1339.97/1343.87	c #Conflicts:     113000 | #Constraints:      19886
1339.97/1343.87	c #Conflicts:     114000 | #Constraints:      20886
1339.97/1343.87	c #Conflicts:     115000 | #Constraints:      21886
1339.97/1343.87	c #Conflicts:     116000 | #Constraints:      22886
1339.97/1343.87	c #Conflicts:     117000 | #Constraints:      23886
1339.97/1343.87	c INPROCESSING
1339.97/1343.87	c GARBAGE COLLECT
1339.97/1343.87	c #Conflicts:     118000 | #Constraints:      18083
1339.97/1343.87	c #Conflicts:     119000 | #Constraints:      19083
1339.97/1343.87	c #Conflicts:     120000 | #Constraints:      20083
1339.97/1343.87	c #Conflicts:     121000 | #Constraints:      21083
1339.97/1343.87	c #Conflicts:     122000 | #Constraints:      22083
1339.97/1343.87	c #Conflicts:     123000 | #Constraints:      23083
1339.97/1343.87	c #Conflicts:     124000 | #Constraints:      24083
1339.97/1343.87	c INPROCESSING
1339.97/1343.87	c GARBAGE COLLECT
1339.97/1343.87	c #Conflicts:     125000 | #Constraints:      18085
1339.97/1343.87	c #Conflicts:     126000 | #Constraints:      19085
1339.97/1343.87	c #Conflicts:     127000 | #Constraints:      20085
1339.97/1343.87	c #Conflicts:     128000 | #Constraints:      21085
1339.97/1343.87	c #Conflicts:     129000 | #Constraints:      22085
1339.97/1343.87	c #Conflicts:     130000 | #Constraints:      23085
1339.97/1343.87	c #Conflicts:     131000 | #Constraints:      24085
1339.97/1343.87	c INPROCESSING
1339.97/1343.87	c GARBAGE COLLECT
1339.97/1343.87	c #Conflicts:     132000 | #Constraints:      17888
1339.97/1343.87	c #Conflicts:     133000 | #Constraints:      18888
1339.97/1343.87	c #Conflicts:     134000 | #Constraints:      19888
1339.97/1343.87	c #Conflicts:     135000 | #Constraints:      20888
1339.97/1343.87	c #Conflicts:     136000 | #Constraints:      21888
1339.97/1343.87	c #Conflicts:     137000 | #Constraints:      22888
1339.97/1343.87	c #Conflicts:     138000 | #Constraints:      23888
1339.97/1343.87	c #Conflicts:     139000 | #Constraints:      24888
1339.97/1343.87	c INPROCESSING
1339.97/1343.87	c GARBAGE COLLECT
1339.97/1343.87	c #Conflicts:     140000 | #Constraints:      18487
1339.97/1343.87	c #Conflicts:     141000 | #Constraints:      19487
1339.97/1343.87	c #Conflicts:     142000 | #Constraints:      20487
1339.97/1343.87	c #Conflicts:     143000 | #Constraints:      21487
1339.97/1343.87	c #Conflicts:     144000 | #Constraints:      22487
1339.97/1343.87	c #Conflicts:     145000 | #Constraints:      23487
1339.97/1343.87	c #Conflicts:     146000 | #Constraints:      24487
1339.97/1343.87	c #Conflicts:     147000 | #Constraints:      25487
1339.97/1343.87	c INPROCESSING
1339.97/1343.87	c GARBAGE COLLECT
1339.97/1343.87	c #Conflicts:     148000 | #Constraints:      18885
1339.97/1343.87	c #Conflicts:     149000 | #Constraints:      19885
1339.97/1343.87	c #Conflicts:     150000 | #Constraints:      20885
1339.97/1343.87	c #Conflicts:     151000 | #Constraints:      21885
1339.97/1343.87	c #Conflicts:     152000 | #Constraints:      22885
1339.97/1343.87	c #Conflicts:     153000 | #Constraints:      23885
1339.97/1343.87	c #Conflicts:     154000 | #Constraints:      24885
1339.97/1343.87	c #Conflicts:     155000 | #Constraints:      25885
1339.97/1343.87	c INPROCESSING
1339.97/1343.87	c GARBAGE COLLECT
1339.97/1343.87	c #Conflicts:     156000 | #Constraints:      19087
1339.97/1343.87	c #Conflicts:     157000 | #Constraints:      20087
1339.97/1343.87	c #Conflicts:     158000 | #Constraints:      21087
1339.97/1343.87	c #Conflicts:     159000 | #Constraints:      22087
1339.97/1343.87	c #Conflicts:     160000 | #Constraints:      23087
1339.97/1343.87	c #Conflicts:     161000 | #Constraints:      24087
1967.83/1973.30	c #Conflicts:     162000 | #Constraints:      25087
1967.83/1973.30	c #Conflicts:     163000 | #Constraints:      26087
1967.83/1973.30	c INPROCESSING
1967.83/1973.30	c GARBAGE COLLECT
1967.83/1973.30	c #Conflicts:     164000 | #Constraints:      19091
1967.83/1973.30	c #Conflicts:     165000 | #Constraints:      20091
1967.83/1973.30	c #Conflicts:     166000 | #Constraints:      21091
1967.83/1973.30	c #Conflicts:     167000 | #Constraints:      22091
1967.83/1973.30	c #Conflicts:     168000 | #Constraints:      23091
1967.83/1973.30	c #Conflicts:     169000 | #Constraints:      24091
1967.83/1973.30	c #Conflicts:     170000 | #Constraints:      25091
1967.83/1973.30	c #Conflicts:     171000 | #Constraints:      26091
1967.83/1973.30	c INPROCESSING
1967.83/1973.30	c GARBAGE COLLECT
1967.83/1973.30	c #Conflicts:     172000 | #Constraints:      18889
1967.83/1973.30	c #Conflicts:     173000 | #Constraints:      19889
1967.83/1973.30	c #Conflicts:     174000 | #Constraints:      20889
1967.83/1973.30	c #Conflicts:     175000 | #Constraints:      21889
1967.83/1973.30	c #Conflicts:     176000 | #Constraints:      22889
1967.83/1973.30	c #Conflicts:     177000 | #Constraints:      23889
1967.83/1973.30	c #Conflicts:     178000 | #Constraints:      24889
1967.83/1973.30	c #Conflicts:     179000 | #Constraints:      25889
1967.83/1973.30	c #Conflicts:     180000 | #Constraints:      26889
1967.83/1973.30	c INPROCESSING
1967.83/1973.30	c GARBAGE COLLECT
1967.83/1973.30	c #Conflicts:     181000 | #Constraints:      19489
1967.83/1973.30	c #Conflicts:     182000 | #Constraints:      20489
1967.83/1973.30	c #Conflicts:     183000 | #Constraints:      21489
1967.83/1973.30	c #Conflicts:     184000 | #Constraints:      22489
1967.83/1973.30	c #Conflicts:     185000 | #Constraints:      23489
1967.83/1973.30	c #Conflicts:     186000 | #Constraints:      24489
1967.83/1973.30	c #Conflicts:     187000 | #Constraints:      25489
1967.83/1973.30	c #Conflicts:     188000 | #Constraints:      26489
1967.83/1973.30	c #Conflicts:     189000 | #Constraints:      27489
1967.83/1973.30	c INPROCESSING
1967.83/1973.30	c GARBAGE COLLECT
1967.83/1973.30	c #Conflicts:     190000 | #Constraints:      19890
1967.83/1973.30	c #Conflicts:     191000 | #Constraints:      20890
1967.83/1973.30	c #Conflicts:     192000 | #Constraints:      21890
1967.83/1973.30	c #Conflicts:     193000 | #Constraints:      22890
1967.83/1973.30	c #Conflicts:     194000 | #Constraints:      23890
1967.83/1973.30	c #Conflicts:     195000 | #Constraints:      24890
1967.83/1973.30	c #Conflicts:     196000 | #Constraints:      25890
1967.83/1973.30	c #Conflicts:     197000 | #Constraints:      26890
1967.83/1973.30	c #Conflicts:     198000 | #Constraints:      27890
1967.83/1973.30	c INPROCESSING
1967.83/1973.30	c GARBAGE COLLECT
1967.83/1973.30	c #Conflicts:     199000 | #Constraints:      20087
1967.83/1973.30	c #Conflicts:     200000 | #Constraints:      21087
1967.83/1973.30	c #Conflicts:     201000 | #Constraints:      22087
1967.83/1973.30	c #Conflicts:     202000 | #Constraints:      23087
1967.83/1973.30	c #Conflicts:     203000 | #Constraints:      24087
1967.83/1973.30	c #Conflicts:     204000 | #Constraints:      25087
1967.83/1973.30	c #Conflicts:     205000 | #Constraints:      26087
1967.83/1973.30	c #Conflicts:     206000 | #Constraints:      27087
1967.83/1973.30	c #Conflicts:     207000 | #Constraints:      28087
1967.83/1973.30	c INPROCESSING
1967.83/1973.30	c GARBAGE COLLECT
1967.83/1973.30	c #Conflicts:     208000 | #Constraints:      20091
1967.83/1973.30	c #Conflicts:     209000 | #Constraints:      21091
1967.83/1973.30	c #Conflicts:     210000 | #Constraints:      22091
1967.83/1973.30	c #Conflicts:     211000 | #Constraints:      23091
1967.83/1973.30	c #Conflicts:     212000 | #Constraints:      24091
1967.83/1973.30	c #Conflicts:     213000 | #Constraints:      25091
1967.83/1973.30	c #Conflicts:     214000 | #Constraints:      26091
1967.83/1973.30	c #Conflicts:     215000 | #Constraints:      27091
1967.83/1973.30	c #Conflicts:     216000 | #Constraints:      28091
1967.83/1973.30	c INPROCESSING
1967.83/1973.30	c GARBAGE COLLECT
1967.83/1973.30	c #Conflicts:     217000 | #Constraints:      19892
1967.83/1973.30	c #Conflicts:     218000 | #Constraints:      20892
1967.83/1973.30	c #Conflicts:     219000 | #Constraints:      21892
1967.83/1973.30	c #Conflicts:     220000 | #Constraints:      22892
1967.83/1973.30	c #Conflicts:     221000 | #Constraints:      23892
1967.83/1973.30	c #Conflicts:     222000 | #Constraints:      24892
1967.83/1973.30	c #Conflicts:     223000 | #Constraints:      25892
1967.83/1973.30	c #Conflicts:     224000 | #Constraints:      26892
1967.83/1973.30	c #Conflicts:     225000 | #Constraints:      27892
1967.83/1973.30	c #Conflicts:     226000 | #Constraints:      28892
1967.83/1973.30	c INPROCESSING
1967.83/1973.30	c GARBAGE COLLECT
1967.83/1973.30	c #Conflicts:     227000 | #Constraints:      20502
1967.83/1973.30	c #Conflicts:     228000 | #Constraints:      21502
1967.83/1973.30	c #Conflicts:     229000 | #Constraints:      22502
1967.83/1973.30	c #Conflicts:     230000 | #Constraints:      23502
1967.83/1973.30	c #Conflicts:     231000 | #Constraints:      24502
1967.83/1973.30	c #Conflicts:     232000 | #Constraints:      25502
1967.83/1973.30	c #Conflicts:     233000 | #Constraints:      26502
1967.83/1973.30	c #Conflicts:     234000 | #Constraints:      27502
2806.15/2813.82	c #Conflicts:     235000 | #Constraints:      28502
2806.15/2813.82	c #Conflicts:     236000 | #Constraints:      29502
2806.15/2813.82	c INPROCESSING
2806.15/2813.82	c GARBAGE COLLECT
2806.15/2813.82	c #Conflicts:     237000 | #Constraints:      20898
2806.15/2813.82	c #Conflicts:     238000 | #Constraints:      21898
2806.15/2813.82	c #Conflicts:     239000 | #Constraints:      22898
2806.15/2813.82	c #Conflicts:     240000 | #Constraints:      23898
2806.15/2813.82	c #Conflicts:     241000 | #Constraints:      24898
2806.15/2813.82	c #Conflicts:     242000 | #Constraints:      25898
2806.15/2813.82	c #Conflicts:     243000 | #Constraints:      26898
2806.15/2813.82	c #Conflicts:     244000 | #Constraints:      27898
2806.15/2813.82	c #Conflicts:     245000 | #Constraints:      28898
2806.15/2813.82	c #Conflicts:     246000 | #Constraints:      29898
2806.15/2813.82	c INPROCESSING
2806.15/2813.82	c GARBAGE COLLECT
2806.15/2813.82	c #Conflicts:     247000 | #Constraints:      21097
2806.15/2813.82	c #Conflicts:     248000 | #Constraints:      22097
2806.15/2813.82	c #Conflicts:     249000 | #Constraints:      23097
2806.15/2813.82	c #Conflicts:     250000 | #Constraints:      24097
2806.15/2813.82	c #Conflicts:     251000 | #Constraints:      25097
2806.15/2813.82	c #Conflicts:     252000 | #Constraints:      26097
2806.15/2813.82	c #Conflicts:     253000 | #Constraints:      27097
2806.15/2813.82	c #Conflicts:     254000 | #Constraints:      28097
2806.15/2813.82	c #Conflicts:     255000 | #Constraints:      29097
2806.15/2813.82	c #Conflicts:     256000 | #Constraints:      30097
2806.15/2813.82	c INPROCESSING
2806.15/2813.82	c GARBAGE COLLECT
2806.15/2813.82	c #Conflicts:     257000 | #Constraints:      21088
2806.15/2813.82	c #Conflicts:     258000 | #Constraints:      22088
2806.15/2813.82	c #Conflicts:     259000 | #Constraints:      23088
2806.15/2813.82	c #Conflicts:     260000 | #Constraints:      24088
2806.15/2813.82	c #Conflicts:     261000 | #Constraints:      25088
2806.15/2813.82	c #Conflicts:     262000 | #Constraints:      26088
2806.15/2813.82	c #Conflicts:     263000 | #Constraints:      27088
2806.15/2813.82	c #Conflicts:     264000 | #Constraints:      28088
2806.15/2813.82	c #Conflicts:     265000 | #Constraints:      29088
2806.15/2813.82	c #Conflicts:     266000 | #Constraints:      30088
2806.15/2813.82	c INPROCESSING
2806.15/2813.82	c GARBAGE COLLECT
2806.15/2813.82	c #Conflicts:     267000 | #Constraints:      20896
2806.15/2813.82	c #Conflicts:     268000 | #Constraints:      21896
2806.15/2813.82	c #Conflicts:     269000 | #Constraints:      22896
2806.15/2813.82	c #Conflicts:     270000 | #Constraints:      23896
2806.15/2813.82	c #Conflicts:     271000 | #Constraints:      24896
2806.15/2813.82	c #Conflicts:     272000 | #Constraints:      25896
2806.15/2813.82	c #Conflicts:     273000 | #Constraints:      26896
2806.15/2813.82	c #Conflicts:     274000 | #Constraints:      27896
2806.15/2813.82	c #Conflicts:     275000 | #Constraints:      28896
2806.15/2813.82	c #Conflicts:     276000 | #Constraints:      29896
2806.15/2813.82	c #Conflicts:     277000 | #Constraints:      30896
2806.15/2813.82	c INPROCESSING
2806.15/2813.82	c GARBAGE COLLECT
2806.15/2813.82	c #Conflicts:     278000 | #Constraints:      21510
2806.15/2813.82	c #Conflicts:     279000 | #Constraints:      22510
2806.15/2813.82	c #Conflicts:     280000 | #Constraints:      23510
2806.15/2813.82	c #Conflicts:     281000 | #Constraints:      24510
2806.15/2813.82	c #Conflicts:     282000 | #Constraints:      25510
2806.15/2813.82	c #Conflicts:     283000 | #Constraints:      26510
2806.15/2813.82	c #Conflicts:     284000 | #Constraints:      27510
2806.15/2813.82	c #Conflicts:     285000 | #Constraints:      28510
2806.15/2813.82	c #Conflicts:     286000 | #Constraints:      29510
2806.15/2813.82	c #Conflicts:     287000 | #Constraints:      30510
2806.15/2813.82	c #Conflicts:     288000 | #Constraints:      31510
2806.15/2813.82	c INPROCESSING
2806.15/2813.82	c GARBAGE COLLECT
2806.15/2813.82	c #Conflicts:     289000 | #Constraints:      21895
2806.15/2813.82	c #Conflicts:     290000 | #Constraints:      22895
2806.15/2813.82	c #Conflicts:     291000 | #Constraints:      23895
2806.15/2813.82	c #Conflicts:     292000 | #Constraints:      24895
2806.15/2813.82	c #Conflicts:     293000 | #Constraints:      25895
2806.15/2813.82	c #Conflicts:     294000 | #Constraints:      26895
2806.15/2813.82	c #Conflicts:     295000 | #Constraints:      27895
2806.15/2813.82	c #Conflicts:     296000 | #Constraints:      28895
2806.15/2813.82	c #Conflicts:     297000 | #Constraints:      29895
2806.15/2813.82	c #Conflicts:     298000 | #Constraints:      30895
2806.15/2813.82	c #Conflicts:     299000 | #Constraints:      31895
2806.15/2813.82	c INPROCESSING
2806.15/2813.82	c GARBAGE COLLECT
2806.15/2813.82	c #Conflicts:     300000 | #Constraints:      22098
2806.15/2813.82	c #Conflicts:     301000 | #Constraints:      23098
2806.15/2813.82	c #Conflicts:     302000 | #Constraints:      24098
2806.15/2813.82	c #Conflicts:     303000 | #Constraints:      25098
2806.15/2813.82	c #Conflicts:     304000 | #Constraints:      26098
2806.15/2813.82	c #Conflicts:     305000 | #Constraints:      27098
2806.15/2813.82	c #Conflicts:     306000 | #Constraints:      28098
2806.15/2813.82	c #Conflicts:     307000 | #Constraints:      29098
2806.15/2813.82	c #Conflicts:     308000 | #Constraints:      30098
2806.15/2813.82	c #Conflicts:     309000 | #Constraints:      31098
3600.03/3609.80	c #Conflicts:     310000 | #Constraints:      32098
3600.03/3609.80	c INPROCESSING
3600.03/3609.80	c GARBAGE COLLECT
3600.03/3609.80	c #Conflicts:     311000 | #Constraints:      22107
3600.03/3609.80	c #Conflicts:     312000 | #Constraints:      23107
3600.03/3609.80	c #Conflicts:     313000 | #Constraints:      24107
3600.03/3609.80	c #Conflicts:     314000 | #Constraints:      25107
3600.03/3609.80	c #Conflicts:     315000 | #Constraints:      26107
3600.03/3609.80	c #Conflicts:     316000 | #Constraints:      27107
3600.03/3609.80	c #Conflicts:     317000 | #Constraints:      28107
3600.03/3609.80	c #Conflicts:     318000 | #Constraints:      29107
3600.03/3609.80	c #Conflicts:     319000 | #Constraints:      30107
3600.03/3609.80	c #Conflicts:     320000 | #Constraints:      31107
3600.03/3609.80	c #Conflicts:     321000 | #Constraints:      32107
3600.03/3609.80	c INPROCESSING
3600.03/3609.80	c GARBAGE COLLECT
3600.03/3609.80	c #Conflicts:     322000 | #Constraints:      21895
3600.03/3609.80	c #Conflicts:     323000 | #Constraints:      22895
3600.03/3609.80	c #Conflicts:     324000 | #Constraints:      23895
3600.03/3609.80	c #Conflicts:     325000 | #Constraints:      24895
3600.03/3609.80	c #Conflicts:     326000 | #Constraints:      25895
3600.03/3609.80	c #Conflicts:     327000 | #Constraints:      26895
3600.03/3609.80	c #Conflicts:     328000 | #Constraints:      27895
3600.03/3609.80	c #Conflicts:     329000 | #Constraints:      28895
3600.03/3609.80	c #Conflicts:     330000 | #Constraints:      29895
3600.03/3609.80	c #Conflicts:     331000 | #Constraints:      30895
3600.03/3609.80	c #Conflicts:     332000 | #Constraints:      31895
3600.03/3609.80	c #Conflicts:     333000 | #Constraints:      32895
3600.03/3609.80	c INPROCESSING
3600.03/3609.80	c GARBAGE COLLECT
3600.03/3609.80	c #Conflicts:     334000 | #Constraints:      22475
3600.03/3609.80	c #Conflicts:     335000 | #Constraints:      23475
3600.03/3609.80	c #Conflicts:     336000 | #Constraints:      24475
3600.03/3609.80	c #Conflicts:     337000 | #Constraints:      25475
3600.03/3609.80	c #Conflicts:     338000 | #Constraints:      26475
3600.03/3609.80	c #Conflicts:     339000 | #Constraints:      27475
3600.03/3609.80	c #Conflicts:     340000 | #Constraints:      28475
3600.03/3609.80	c #Conflicts:     341000 | #Constraints:      29475
3600.03/3609.80	c #Conflicts:     342000 | #Constraints:      30475
3600.03/3609.80	c #Conflicts:     343000 | #Constraints:      31475
3600.03/3609.80	c #Conflicts:     344000 | #Constraints:      32475
3600.03/3609.80	c #Conflicts:     345000 | #Constraints:      33475
3600.03/3609.80	c INPROCESSING
3600.03/3609.80	c GARBAGE COLLECT
3600.03/3609.80	c #Conflicts:     346000 | #Constraints:      22874
3600.03/3609.80	c #Conflicts:     347000 | #Constraints:      23874
3600.03/3609.80	c #Conflicts:     348000 | #Constraints:      24874
3600.03/3609.80	c #Conflicts:     349000 | #Constraints:      25874
3600.03/3609.80	c #Conflicts:     350000 | #Constraints:      26874
3600.03/3609.80	c #Conflicts:     351000 | #Constraints:      27874
3600.03/3609.80	c #Conflicts:     352000 | #Constraints:      28874
3600.03/3609.80	c #Conflicts:     353000 | #Constraints:      29874
3600.03/3609.80	c #Conflicts:     354000 | #Constraints:      30874
3600.03/3609.80	c #Conflicts:     355000 | #Constraints:      31874
3600.03/3609.80	c #Conflicts:     356000 | #Constraints:      32874
3600.03/3609.80	c #Conflicts:     357000 | #Constraints:      33874
3600.03/3609.80	c INPROCESSING
3600.03/3609.80	c GARBAGE COLLECT
3600.03/3609.80	c #Conflicts:     358000 | #Constraints:      23049
3600.03/3609.80	c #Conflicts:     359000 | #Constraints:      24049
3600.03/3609.80	c #Conflicts:     360000 | #Constraints:      25049
3600.03/3609.80	c #Conflicts:     361000 | #Constraints:      26049
3600.03/3609.80	c #Conflicts:     362000 | #Constraints:      27049
3600.03/3609.80	c #Conflicts:     363000 | #Constraints:      28049
3600.03/3609.80	c Program interrupted by user.
3600.03/3609.80	c cpu time 3584.09 s
3600.03/3609.80	c deterministic time 409776948715 4.10e+11
3600.03/3609.80	c optimization time 69.5027 s
3600.03/3609.80	c total solve time 3215.33 s
3600.03/3609.80	c core-guided solve time 3215.33 s
3600.03/3609.80	c propagation time 2052.41 s
3600.03/3609.80	c conflict analysis time 608.724 s
3600.03/3609.80	c propagations 159583565
3600.03/3609.80	c resolve steps 1232985
3600.03/3609.80	c decisions 17409279
3600.03/3609.80	c conflicts 363907
3600.03/3609.80	c restarts 880
3600.03/3609.80	c inprocessing phases 51
3600.03/3609.80	c input clauses 10001
3600.03/3609.80	c input cardinalities 1700
3600.03/3609.80	c input general constraints 0
3600.03/3609.80	c input average constraint length 1457.96
3600.03/3609.80	c input average constraint degree 125.06
3600.03/3609.80	c learned clauses 46406
3600.03/3609.80	c learned cardinalities 625
3600.03/3609.80	c learned general constraints 316875
3600.03/3609.80	c learned average constraint length 6916.43
3600.03/3609.80	c learned average constraint degree 10934987.34
3600.03/3609.80	c watched constraints 44699
3600.03/3609.80	c counting constraints 272176
3600.03/3609.80	c gcd simplifications 1163
3600.03/3609.80	c detected cardinalities 25
3600.03/3609.80	c weakened non-implied lits 354375632
3600.03/3609.80	c weakened non-implying lits 2637
3600.03/3609.80	c original variables 10000
3600.03/3609.80	c clausal propagations 7823481
3600.03/3609.80	c cardinality propagations 18950
3600.03/3609.80	c watched propagations 3495705
3600.03/3609.80	c counting propagations 143975323
3600.03/3609.80	c watch lookups 35038748725
3600.03/3609.80	c watch backjump lookups 34902378287
3600.03/3609.80	c watch checks 90394510716
3600.03/3609.80	c propagation checks 243104128609
3600.03/3609.80	c constraint additions 5982840363
3600.03/3609.80	c trail pops 177349170
3600.03/3609.80	c formula constraints 10000
3600.03/3609.80	c learned constraints 363906
3600.03/3609.80	c bound constraints 1701
3600.03/3609.80	c core-guided constraints 0
3600.03/3609.80	c encountered formula constraints 805485
3600.03/3609.80	c encountered learned constraints 791406
3600.03/3609.80	c encountered bound constraints 1
3600.03/3609.80	c encountered core-guided constraints 0
3600.03/3609.80	c LP total time 0 s
3600.03/3609.80	c LP solve time 0 s
3600.03/3609.80	c LP constraints added 0
3600.03/3609.80	c LP constraints removed 0
3600.03/3609.80	c LP pivots internal 0
3600.03/3609.80	c LP pivots root 0
3600.03/3609.80	c LP calls 0
3600.03/3609.80	c LP optimalities 0
3600.03/3609.80	c LP no pivot count 0
3600.03/3609.80	c LP infeasibilities 0
3600.03/3609.80	c LP valid Farkas constraints 0
3600.03/3609.80	c LP learned Farkas constraints 0
3600.03/3609.80	c LP basis resets 0
3600.03/3609.80	c LP cycling count 0
3600.03/3609.80	c LP singular count 0
3600.03/3609.80	c LP no primal count 0
3600.03/3609.80	c LP no farkas count 0
3600.03/3609.80	c LP other issue count 0
3600.03/3609.80	c LP Gomory cuts 0
3600.03/3609.80	c LP learned cuts 0
3600.03/3609.80	c LP deleted cuts 0
3600.03/3609.80	c LP encountered Gomory constraints 0
3600.03/3609.80	c LP encountered Farkas constraints 0
3600.03/3609.80	c LP encountered learned Farkas constraints 0
3600.03/3609.80	c CG auxiliary variables introduced 0
3600.03/3609.80	c CG solutions found 0
3600.03/3609.80	c CG cores constructed 1700
3600.03/3609.80	c CG core cardinality constraints returned 0
3600.03/3609.80	c CG unit cores 0
3600.03/3609.80	c CG single cores 1700
3600.03/3609.80	c CG blocks removed during cardinality reduction 0
3600.03/3609.80	c CG first core best 0
3600.03/3609.80	c CG decision core best 0
3600.03/3609.80	c CG core reduction tie 0
3600.03/3609.80	c CG core degree average 1.00
3600.03/3609.80	c CG core slack average 3.94
3600.03/3609.80	c CG exhausted 0
3600.03/3609.80	c CG exhaust time 0 s
3600.03/3609.80	c CG trimmed 0
3600.03/3609.80	c CG trim time 0.010044 s
3600.03/3609.80	c CG minimized 0
3600.03/3609.80	c CG minimize time 0 s
3600.03/3609.80	c CG am1 prop time 0.010732 s
3600.03/3609.80	c CG # am1s reformulated 0
3600.03/3609.80	c CG lower bound derived from am1s 0
3600.03/3609.80	c CG # clausal cores 1700
3600.03/3609.80	c CG # cardinality cores 0
3600.03/3609.80	c CG # pb cores 0
3600.03/3609.80	c CG # pb reforms 0
3600.03/3609.80	c CG # cores discarded because of pb reform 0
3600.03/3609.80	d LOWERBOUND 1700
3600.03/3609.80	d NCORES 1700
3600.03/3609.80	d NPBCORES 0
3600.03/3609.80	d NPBREFORM 0
3600.03/3609.80	d NTRIMMED 0
3600.03/3609.80	d NEXHAUSTED 0
3600.03/3609.80	d NAM1S 0
3600.03/3609.80	d AM1LB 0
3600.03/3609.80	c [Papilo Statistics]
3600.03/3609.80	c prepro time 0.0133648s
3600.03/3609.80	c # tsx applied 0
3600.03/3609.80	c # tsx conflicts 0
3600.03/3609.80	c # bound changes 0
3600.03/3609.80	c # side changes 0
3600.03/3609.80	c # coef changes 0
3600.03/3609.80	c # rounds 1
3600.03/3609.80	c # deted vars 0
3600.03/3609.80	c # deted constrs 0
3600.03/3609.80	c # consecutive rounds of only bound changes 0
3600.03/3609.80	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: 63665 MiB (59473 MiB free)
  memory of node 1: 64507 MiB (63571 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528903-1752256340/watcher-4528903-1752256340 -o /tmp/evaluation-result-4528903-1752256340/solver-4528903-1752256340 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1752256328-122580 --watchdog 3760 mixed-bag HOME/instance-4528903-1752256340.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=123358, runsolver pid=123354

[startup+0.100063 s]*
/proc/loadavg: 3.13 4.02 4.09 4/256 123369
/proc/meminfo: memFree=125970284/131249996 swapFree=33005016/33010684
[pid=123358] ppid=123354 vsize=132812 memory=60900 CPUtime=0.09 cores=0,2
/proc/123358/stat : 123358 (mixed-bag) R 123354 123358 122570 0 -1 4194304 13660 0 0 0 7 2 0 0 20 0 1 0 141313550 135999488 15225 18446744073709551615 4235264 15840557 140727549450352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 31490048 140727549458842 140727549458919 140727549458919 140727549464523 0
/proc/123358/statm: 33203 15225 3904 2834 0 15408 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 132812 KiB
Current children cumulated memory: 60900 KiB

[startup+0.205848 s]*
/proc/loadavg: 3.13 4.02 4.09 3/260 123391
/proc/meminfo: memFree=125946696/131249996 swapFree=33005016/33010684
[pid=123358] ppid=123354 vsize=148752 memory=74680 CPUtime=0.19 cores=0,2
/proc/123358/stat : 123358 (mixed-bag) R 123354 123358 122570 0 -1 4194304 19109 0 0 0 17 2 0 0 20 0 1 0 141313550 152322048 18670 18446744073709551615 4235264 15840557 140727549450352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 31490048 140727549458842 140727549458919 140727549458919 140727549464523 0
/proc/123358/statm: 37188 18670 3968 2834 0 19393 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 148752 KiB
Current children cumulated memory: 74680 KiB

[startup+0.305622 s]*
/proc/loadavg: 3.13 4.02 4.09 5/259 123396
/proc/meminfo: memFree=125898920/131249996 swapFree=33005016/33010684
[pid=123358] ppid=123354 vsize=231508 memory=126644 CPUtime=0.29 cores=0,2
/proc/123358/stat : 123358 (mixed-bag) R 123354 123358 122570 0 -1 4194304 33294 0 0 0 24 5 0 0 20 0 1 0 141313550 237064192 31661 18446744073709551615 4235264 15840557 140727549450352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 31490048 140727549458842 140727549458919 140727549458919 140727549464523 0
/proc/123358/statm: 57877 31661 4032 2834 0 40082 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 231508 KiB
Current children cumulated memory: 126644 KiB

[startup+0.700146 s]
/proc/loadavg: 3.13 4.02 4.09 5/261 123405
/proc/meminfo: memFree=125883420/131249996 swapFree=33005016/33010684
[pid=123358] ppid=123354 vsize=255312 memory=148532 CPUtime=0.67 cores=0,2
/proc/123358/stat : 123358 (mixed-bag) R 123354 123358 122570 0 -1 4194304 38618 0 0 0 61 6 0 0 20 0 1 0 141313550 261439488 37133 18446744073709551615 4235264 15840557 140727549450352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 31490048 140727549458842 140727549458919 140727549458919 140727549464523 0
/proc/123358/statm: 63828 37133 4192 2834 0 46033 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 255312 KiB
Current children cumulated memory: 148532 KiB

[startup+1.50015 s]
/proc/loadavg: 3.13 4.02 4.09 4/256 123421
/proc/meminfo: memFree=125873480/131249996 swapFree=33005016/33010684
[pid=123358] ppid=123354 vsize=258376 memory=151860 CPUtime=1.46 cores=0,2
/proc/123358/stat : 123358 (mixed-bag) R 123354 123358 122570 0 -1 4194304 39454 0 0 0 139 7 0 0 20 0 1 0 141313550 264577024 37965 18446744073709551615 4235264 15840557 140727549450352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 31490048 140727549458842 140727549458919 140727549458919 140727549464523 0
/proc/123358/statm: 64594 37965 4192 2834 0 46799 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 258376 KiB
Current children cumulated memory: 151860 KiB

[startup+3.10543 s]
/proc/loadavg: 3.28 4.04 4.10 3/256 123511
/proc/meminfo: memFree=125904160/131249996 swapFree=33005016/33010684
[pid=123358] ppid=123354 vsize=258508 memory=152116 CPUtime=3.04 cores=0,2
/proc/123358/stat : 123358 (mixed-bag) R 123354 123358 122570 0 -1 4194304 39523 0 0 0 296 8 0 0 20 0 1 0 141313550 264712192 38029 18446744073709551615 4235264 15840557 140727549450352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 31490048 140727549458842 140727549458919 140727549458919 140727549464523 0
/proc/123358/statm: 64627 38029 4192 2834 0 46832 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 258508 KiB
Current children cumulated memory: 152116 KiB

[startup+6.30013 s]
/proc/loadavg: 3.28 4.04 4.10 5/260 123638
/proc/meminfo: memFree=125837964/131249996 swapFree=33005016/33010684
[pid=123358] ppid=123354 vsize=261228 memory=154880 CPUtime=6.22 cores=0,2
/proc/123358/stat : 123358 (mixed-bag) R 123354 123358 122570 0 -1 4194304 39714 0 0 0 612 10 0 0 20 0 1 0 141313550 267497472 38720 18446744073709551615 4235264 15840557 140727549450352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 31490048 140727549458842 140727549458919 140727549458919 140727549464523 0
/proc/123358/statm: 65307 38720 4192 2834 0 47512 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 261228 KiB
Current children cumulated memory: 154880 KiB

[startup+12.7001 s]
/proc/loadavg: 3.34 4.04 4.10 5/264 123811
/proc/meminfo: memFree=125745824/131249996 swapFree=33005016/33010684
[pid=123358] ppid=123354 vsize=265256 memory=156684 CPUtime=12.59 cores=0,2
/proc/123358/stat : 123358 (mixed-bag) R 123354 123358 122570 0 -1 4194304 40222 0 0 0 1249 10 0 0 20 0 1 0 141313550 271622144 39171 18446744073709551615 4235264 15840557 140727549450352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 31490048 140727549458842 140727549458919 140727549458919 140727549464523 0
/proc/123358/statm: 66314 39171 4192 2834 0 48519 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 265256 KiB
Current children cumulated memory: 156684 KiB

[startup+25.5002 s]
/proc/loadavg: 3.56 4.05 4.10 5/263 123825
/proc/meminfo: memFree=125730524/131249996 swapFree=33005016/33010684
[pid=123358] ppid=123354 vsize=268108 memory=159580 CPUtime=25.35 cores=0,2
/proc/123358/stat : 123358 (mixed-bag) R 123354 123358 122570 0 -1 4194304 41123 0 0 0 2524 11 0 0 20 0 1 0 141313550 274542592 39895 18446744073709551615 4235264 15840557 140727549450352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 31490048 140727549458842 140727549458919 140727549458919 140727549464523 0
/proc/123358/statm: 67027 39895 4192 2834 0 49232 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 268108 KiB
Current children cumulated memory: 159580 KiB

[startup+51.1056 s]
/proc/loadavg: 3.71 4.05 4.10 5/264 123946
/proc/meminfo: memFree=125576728/131249996 swapFree=33005016/33010684
[pid=123358] ppid=123354 vsize=281144 memory=168128 CPUtime=50.86 cores=0,2
/proc/123358/stat : 123358 (mixed-bag) R 123354 123358 122570 0 -1 4194304 43185 0 0 0 5075 11 0 0 20 0 1 0 141313550 287891456 42032 18446744073709551615 4235264 15840557 140727549450352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 31490048 140727549458842 140727549458919 140727549458919 140727549464523 0
/proc/123358/statm: 70286 42032 4192 2834 0 52491 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 281144 KiB
Current children cumulated memory: 168128 KiB

[startup+102.3 s]
/proc/loadavg: 3.92 4.05 4.09 5/264 123948
/proc/meminfo: memFree=125415592/131249996 swapFree=33005016/33010684
[pid=123358] ppid=123354 vsize=302436 memory=193248 CPUtime=101.89 cores=0,2
/proc/123358/stat : 123358 (mixed-bag) R 123354 123358 122570 0 -1 4194304 45381 0 0 0 10177 12 0 0 20 0 1 0 141313550 309694464 48312 18446744073709551615 4235264 15840557 140727549450352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 31490048 140727549458842 140727549458919 140727549458919 140727549464523 0
/proc/123358/statm: 75609 48312 4192 2834 0 57814 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 302436 KiB
Current children cumulated memory: 193248 KiB

[startup+162.3 s]
/proc/loadavg: 4.03 4.06 4.09 5/264 123994
/proc/meminfo: memFree=125314692/131249996 swapFree=33005016/33010684
[pid=123358] ppid=123354 vsize=312728 memory=200028 CPUtime=161.68 cores=0,2
/proc/123358/stat : 123358 (mixed-bag) R 123354 123358 122570 0 -1 4194304 45615 0 0 0 16156 12 0 0 20 0 1 0 141313550 320233472 50007 18446744073709551615 4235264 15840557 140727549450352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 31490048 140727549458842 140727549458919 140727549458919 140727549464523 0
/proc/123358/statm: 78182 50007 4192 2834 0 60387 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 312728 KiB
Current children cumulated memory: 200028 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.06 4.09 5/265 124003
/proc/meminfo: memFree=125144744/131249996 swapFree=33005016/33010684
[pid=123358] ppid=123354 vsize=316084 memory=208020 CPUtime=221.49 cores=0,2
/proc/123358/stat : 123358 (mixed-bag) R 123354 123358 122570 0 -1 4194304 46615 0 0 0 22136 13 0 0 20 0 1 0 141313550 323670016 52005 18446744073709551615 4235264 15840557 140727549450352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 31490048 140727549458842 140727549458919 140727549458919 140727549464523 0
/proc/123358/statm: 79021 52005 4192 2834 0 61226 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 316084 KiB
Current children cumulated memory: 208020 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.08 4.09 5/264 124005
/proc/meminfo: memFree=125045172/131249996 swapFree=33005016/33010684
[pid=123358] ppid=123354 vsize=320728 memory=213268 CPUtime=281.29 cores=0,2
/proc/123358/stat : 123358 (mixed-bag) R 123354 123358 122570 0 -1 4194304 47919 0 0 0 28116 13 0 0 20 0 1 0 141313550 328425472 53317 18446744073709551615 4235264 15840557 140727549450352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 31490048 140727549458842 140727549458919 140727549458919 140727549464523 0
/proc/123358/statm: 80182 53317 4192 2834 0 62387 0
Current children cumulated CPU time: 281.29 s
Current children cumulated vsize: 320728 KiB
Current children cumulated memory: 213268 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.08 4.09 5/263 124007
/proc/meminfo: memFree=124928128/131249996 swapFree=33005016/33010684
[pid=123358] ppid=123354 vsize=766688 memory=623240 CPUtime=341.14 cores=0,2
/proc/123358/stat : 123358 (mixed-bag) R 123354 123358 122570 0 -1 4194304 122700 0 0 0 33960 154 0 0 20 0 1 0 141313550 785088512 155810 18446744073709551615 4235264 15840557 140727549450352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 31490048 140727549458842 140727549458919 140727549458919 140727549464523 0
/proc/123358/statm: 191672 155810 4384 2834 0 173877 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 766688 KiB
Current children cumulated memory: 623240 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 124009
/proc/meminfo: memFree=124597212/131249996 swapFree=33005016/33010684
[pid=123358] ppid=123354 vsize=1067568 memory=908280 CPUtime=400.98 cores=0,2
/proc/123358/stat : 123358 (mixed-bag) R 123354 123358 122570 0 -1 4194304 175066 0 0 0 39887 211 0 0 20 0 1 0 141313550 1093189632 227070 18446744073709551615 4235264 15840557 140727549450352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 31490048 140727549458842 140727549458919 140727549458919 140727549464523 0
/proc/123358/statm: 266892 227070 4384 2834 0 249097 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 1067568 KiB
Current children cumulated memory: 908280 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/263 124011
/proc/meminfo: memFree=124538632/131249996 swapFree=33005016/33010684
[pid=123358] ppid=123354 vsize=1283312 memory=974136 CPUtime=460.83 cores=0,2
/proc/123358/stat : 123358 (mixed-bag) R 123354 123358 122570 0 -1 4194304 181374 0 0 0 45809 274 0 0 20 0 1 0 141313550 1314111488 243534 18446744073709551615 4235264 15840557 140727549450352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 31490048 140727549458842 140727549458919 140727549458919 140727549464523 0
/proc/123358/statm: 320828 243534 4384 2834 0 303033 0
Current children cumulated CPU time: 460.83 s

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

Current children cumulated memory: 3366952 KiB

[startup+2862.3 s]
/proc/loadavg: 4.14 4.09 4.09 5/263 124135
/proc/meminfo: memFree=121651160/131249996 swapFree=33005016/33010684
[pid=123358] ppid=123354 vsize=3926808 memory=3509860 CPUtime=2854.52 cores=0,2
/proc/123358/stat : 123358 (mixed-bag) R 123354 123358 122570 0 -1 4194304 519015 0 0 0 284138 1314 0 0 20 0 1 0 141313550 4021051392 877465 18446744073709551615 4235264 15840557 140727549450352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 31490048 140727549458842 140727549458919 140727549458919 140727549464523 0
/proc/123358/statm: 981702 877465 4384 2834 0 963907 0
Current children cumulated CPU time: 2854.52 s
Current children cumulated vsize: 3926808 KiB
Current children cumulated memory: 3509860 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 124138
/proc/meminfo: memFree=121613760/131249996 swapFree=33005016/33010684
[pid=123358] ppid=123354 vsize=3926808 memory=3546596 CPUtime=2914.37 cores=0,2
/proc/123358/stat : 123358 (mixed-bag) R 123354 123358 122570 0 -1 4194304 519020 0 0 0 290114 1323 0 0 20 0 1 0 141313550 4021051392 886649 18446744073709551615 4235264 15840557 140727549450352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 31490048 140727549458842 140727549458919 140727549458919 140727549464523 0
/proc/123358/statm: 981702 886649 4384 2834 0 963907 0
Current children cumulated CPU time: 2914.37 s
Current children cumulated vsize: 3926808 KiB
Current children cumulated memory: 3546596 KiB

[startup+2982.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/263 124140
/proc/meminfo: memFree=121558276/131249996 swapFree=33005016/33010684
[pid=123358] ppid=123354 vsize=3926808 memory=3595780 CPUtime=2974.2 cores=0,2
/proc/123358/stat : 123358 (mixed-bag) R 123354 123358 122570 0 -1 4194304 519265 0 0 0 296090 1330 0 0 20 0 1 0 141313550 4021051392 898945 18446744073709551615 4235264 15840557 140727549450352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 31490048 140727549458842 140727549458919 140727549458919 140727549464523 0
/proc/123358/statm: 981702 898945 4384 2834 0 963907 0
Current children cumulated CPU time: 2974.2 s
Current children cumulated vsize: 3926808 KiB
Current children cumulated memory: 3595780 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 124142
/proc/meminfo: memFree=121515904/131249996 swapFree=33005016/33010684
[pid=123358] ppid=123354 vsize=3926808 memory=3634308 CPUtime=3034.05 cores=0,2
/proc/123358/stat : 123358 (mixed-bag) R 123354 123358 122570 0 -1 4194304 519292 0 0 0 302064 1341 0 0 20 0 1 0 141313550 4021051392 908577 18446744073709551615 4235264 15840557 140727549450352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 31490048 140727549458842 140727549458919 140727549458919 140727549464523 0
/proc/123358/statm: 981702 908577 4384 2834 0 963907 0
Current children cumulated CPU time: 3034.05 s
Current children cumulated vsize: 3926808 KiB
Current children cumulated memory: 3634308 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 124144
/proc/meminfo: memFree=121477132/131249996 swapFree=33005016/33010684
[pid=123358] ppid=123354 vsize=3926808 memory=3672708 CPUtime=3093.9 cores=0,2
/proc/123358/stat : 123358 (mixed-bag) R 123354 123358 122570 0 -1 4194304 519297 0 0 0 308039 1351 0 0 20 0 1 0 141313550 4021051392 918177 18446744073709551615 4235264 15840557 140727549450352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 31490048 140727549458842 140727549458919 140727549458919 140727549464523 0
/proc/123358/statm: 981702 918177 4384 2834 0 963907 0
Current children cumulated CPU time: 3093.9 s
Current children cumulated vsize: 3926808 KiB
Current children cumulated memory: 3672708 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 124146
/proc/meminfo: memFree=121464344/131249996 swapFree=33005016/33010684
[pid=123358] ppid=123354 vsize=3926808 memory=3684484 CPUtime=3153.73 cores=0,2
/proc/123358/stat : 123358 (mixed-bag) R 123354 123358 122570 0 -1 4194304 519315 0 0 0 314013 1360 0 0 20 0 1 0 141313550 4021051392 921121 18446744073709551615 4235264 15840557 140727549450352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 31490048 140727549458842 140727549458919 140727549458919 140727549464523 0
/proc/123358/statm: 981702 921121 4384 2834 0 963907 0
Current children cumulated CPU time: 3153.73 s
Current children cumulated vsize: 3926808 KiB
Current children cumulated memory: 3684484 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.10 4.09 5/264 124155
/proc/meminfo: memFree=121440420/131249996 swapFree=33005016/33010684
[pid=123358] ppid=123354 vsize=3926808 memory=3707012 CPUtime=3213.57 cores=0,2
/proc/123358/stat : 123358 (mixed-bag) R 123354 123358 122570 0 -1 4194304 520746 0 0 0 319985 1372 0 0 20 0 1 0 141313550 4021051392 926753 18446744073709551615 4235264 15840557 140727549450352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 31490048 140727549458842 140727549458919 140727549458919 140727549464523 0
/proc/123358/statm: 981702 926753 4384 2834 0 963907 0
Current children cumulated CPU time: 3213.57 s
Current children cumulated vsize: 3926808 KiB
Current children cumulated memory: 3707012 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 124157
/proc/meminfo: memFree=121385092/131249996 swapFree=33005016/33010684
[pid=123358] ppid=123354 vsize=3926808 memory=3762308 CPUtime=3273.41 cores=0,2
/proc/123358/stat : 123358 (mixed-bag) R 123354 123358 122570 0 -1 4194304 520808 0 0 0 325946 1395 0 0 20 0 1 0 141313550 4021051392 940577 18446744073709551615 4235264 15840557 140727549450352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 31490048 140727549458842 140727549458919 140727549458919 140727549464523 0
/proc/123358/statm: 981702 940577 4384 2834 0 963907 0
Current children cumulated CPU time: 3273.41 s
Current children cumulated vsize: 3926808 KiB
Current children cumulated memory: 3762308 KiB

[startup+3342.3 s]
/proc/loadavg: 4.46 4.18 4.12 5/263 124159
/proc/meminfo: memFree=121386556/131249996 swapFree=33005016/33010684
[pid=123358] ppid=123354 vsize=3926808 memory=3762308 CPUtime=3333.26 cores=0,2
/proc/123358/stat : 123358 (mixed-bag) R 123354 123358 122570 0 -1 4194304 520838 0 0 0 331896 1430 0 0 20 0 1 0 141313550 4021051392 940577 18446744073709551615 4235264 15840557 140727549450352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 31490048 140727549458842 140727549458919 140727549458919 140727549464523 0
/proc/123358/statm: 981702 940577 4384 2834 0 963907 0
Current children cumulated CPU time: 3333.26 s
Current children cumulated vsize: 3926808 KiB
Current children cumulated memory: 3762308 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/263 124161
/proc/meminfo: memFree=121389168/131249996 swapFree=33005016/33010684
[pid=123358] ppid=123354 vsize=3926808 memory=3762308 CPUtime=3393.09 cores=0,2
/proc/123358/stat : 123358 (mixed-bag) R 123354 123358 122570 0 -1 4194304 521893 0 0 0 337851 1458 0 0 20 0 1 0 141313550 4021051392 940577 18446744073709551615 4235264 15840557 140727549450352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 31490048 140727549458842 140727549458919 140727549458919 140727549464523 0
/proc/123358/statm: 981702 940577 4384 2834 0 963907 0
Current children cumulated CPU time: 3393.09 s
Current children cumulated vsize: 3926808 KiB
Current children cumulated memory: 3762308 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.15 4.11 5/263 124163
/proc/meminfo: memFree=121390260/131249996 swapFree=33005016/33010684
[pid=123358] ppid=123354 vsize=3926808 memory=3762308 CPUtime=3452.93 cores=0,2
/proc/123358/stat : 123358 (mixed-bag) R 123354 123358 122570 0 -1 4194304 522348 0 0 0 343806 1487 0 0 20 0 1 0 141313550 4021051392 940577 18446744073709551615 4235264 15840557 140727549450352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 31490048 140727549458842 140727549458919 140727549458919 140727549464523 0
/proc/123358/statm: 981702 940577 4384 2834 0 963907 0
Current children cumulated CPU time: 3452.93 s
Current children cumulated vsize: 3926808 KiB
Current children cumulated memory: 3762308 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/264 124166
/proc/meminfo: memFree=121390584/131249996 swapFree=33005016/33010684
[pid=123358] ppid=123354 vsize=3926808 memory=3762308 CPUtime=3512.77 cores=0,2
/proc/123358/stat : 123358 (mixed-bag) R 123354 123358 122570 0 -1 4194304 522478 0 0 0 349753 1524 0 0 20 0 1 0 141313550 4021051392 940577 18446744073709551615 4235264 15840557 140727549450352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 31490048 140727549458842 140727549458919 140727549458919 140727549464523 0
/proc/123358/statm: 981702 940577 4384 2834 0 963907 0
Current children cumulated CPU time: 3512.77 s
Current children cumulated vsize: 3926808 KiB
Current children cumulated memory: 3762308 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/263 124168
/proc/meminfo: memFree=121378784/131249996 swapFree=33005016/33010684
[pid=123358] ppid=123354 vsize=3926808 memory=3762308 CPUtime=3572.61 cores=0,2
/proc/123358/stat : 123358 (mixed-bag) R 123354 123358 122570 0 -1 4194304 522668 0 0 0 355687 1574 0 0 20 0 1 0 141313550 4021051392 940577 18446744073709551615 4235264 15840557 140727549450352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 31490048 140727549458842 140727549458919 140727549458919 140727549464523 0
/proc/123358/statm: 981702 940577 4384 2834 0 963907 0
Current children cumulated CPU time: 3572.61 s
Current children cumulated vsize: 3926808 KiB
Current children cumulated memory: 3762308 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.06 4.11 4.09 5/263 124213
/proc/meminfo: memFree=121930284/131249996 swapFree=33005016/33010684
[pid=123358] ppid=123354 vsize=3926808 memory=3762308 CPUtime=3600.03 cores=0,2
/proc/123358/stat : 123358 (mixed-bag) R 123354 123358 122570 0 -1 4194304 523580 0 0 0 358409 1594 0 0 20 0 1 0 141313550 4021051392 940577 18446744073709551615 4235264 15840557 140727549450352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 31490048 140727549458842 140727549458919 140727549458919 140727549464523 0
/proc/123358/statm: 981702 940577 4384 2834 0 963907 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 3926808 KiB
Current children cumulated memory: 3762308 KiB

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

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

# cumulated CPU time of all completed processes:  user=3584.1 s, system=15.9593 s

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

Child status: 0

Real time (s): 3609.81
CPU time (s): 3600.06
CPU user time (s): 3584.1
CPU system time (s): 15.9593
CPU usage (%): 99.7297
Max. virtual memory (cumulated for all children) (KiB): 3926808
Max. memory (cumulated for all children) (KiB): 3762308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.1
system time used= 15.9593
maximum resident set size= 3762948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 523608
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= 552
involuntary context switches= 7948


# summary of solver processes directly reported to runsolver:
#   pid: 123358
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3584.1
#   total CPU system time (s): 15.9593

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.64429 second user time and 15.6716 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2025-07-11 19:52:20
IDJOB=4528903
IDBENCH=147222
IDSOLVER=3386
FILE ID=nodeC030/4528903-1752256340
RUNJOBID= nodeC030-1752256328-122580
SLURM_JOB_ID= 9682597
Free space on /tmp= 432468 MiB

SOLVER NAME= mixed-bag-2024 2025-07-10
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 -w /tmp/evaluation-result-4528903-1752256340/watcher-4528903-1752256340 -o /tmp/evaluation-result-4528903-1752256340/solver-4528903-1752256340 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1752256328-122580 --watchdog 3760  mixed-bag HOME/instance-4528903-1752256340.opb

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

MD5SUM BENCH= 908a9c4c32d975b4e5850834449958a7
RANDOM SEED=1441877482

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        125999500 kB
MemAvailable:   129052412 kB
Buffers:              16 kB
Cached:          3837524 kB
SwapCached:          216 kB
Active:           779488 kB
Inactive:        3730060 kB
Active(anon):     624468 kB
Inactive(anon):    61088 kB
Active(file):     155020 kB
Inactive(file):  3668972 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005016 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             47632 kB
Writeback:            44 kB
AnonPages:        674716 kB
Mapped:           113672 kB
Shmem:             13548 kB
KReclaimable:     135916 kB
Slab:             228116 kB
SReclaimable:     135916 kB
SUnreclaim:        92200 kB
KernelStack:        4160 kB
PageTables:         4288 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1051760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150488 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    251904 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      189140 kB
DirectMap2M:     9019392 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432452 MiB
End job on nodeC030 at 2025-07-11 20:52:30