Trace number 4435441

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
mixed-bag 2024-07-02? (TO) 3600.12 3608.65

DiagnosticValue
AM1LB0
LOWERBOUND1700
NAM1S0
NCORES1700
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g100x100.opb
MD5SUM908a9c4c32d975b4e5850834449958a7
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2076
Best CPU time to get the best result obtained on this benchmark3558.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints10000
Number of constraints which are clauses10000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 10000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 10000
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 10000
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435441-1721077875/watcher-4435441-1721077875 -o /tmp/evaluation-result-4435441-1721077875/solver-4435441-1721077875 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721074233-821793 --watchdog 3760 mixed-bag HOME/instance-4435441-1721077875.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=825049, runsolver pid=825046

[startup+0.10008 s]*
/proc/loadavg: 4.02 4.07 4.08 5/257 825050
/proc/meminfo: memFree=128175284/131524600 swapFree=131071996/131071996
[pid=825049] ppid=825046 vsize=131656 memory=63504 CPUtime=0.1 cores=4,6
/proc/825049/stat : 825049 (mixed-bag) R 825046 825049 821782 0 -1 4194304 14381 0 0 0 8 2 0 0 20 0 1 0 159953728 134815744 15876 134679101440 4194304 16487941 140736587708128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37302272 140736587711511 140736587711588 140736587711588 140736587718603 0
/proc/825049/statm: 32914 15876 3786 3002 0 16665 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 131656 KiB
Current children cumulated memory: 63504 KiB

[startup+0.205769 s]*
/proc/loadavg: 4.02 4.07 4.08 5/257 825050
/proc/meminfo: memFree=128156856/131524600 swapFree=131071996/131071996
[pid=825049] ppid=825046 vsize=167820 memory=84556 CPUtime=0.19 cores=4,6
/proc/825049/stat : 825049 (mixed-bag) R 825046 825049 821782 0 -1 4194304 20337 0 0 0 17 2 0 0 20 0 1 0 159953728 171847680 21139 134679101440 4194304 16487941 140736587708128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37302272 140736587711511 140736587711588 140736587711588 140736587718603 0
/proc/825049/statm: 41955 21139 3834 3002 0 25706 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 167820 KiB
Current children cumulated memory: 84556 KiB

[startup+0.305753 s]*
/proc/loadavg: 4.02 4.07 4.08 5/257 825050
/proc/meminfo: memFree=128098868/131524600 swapFree=131071996/131071996
[pid=825049] ppid=825046 vsize=240576 memory=139848 CPUtime=0.3 cores=4,6
/proc/825049/stat : 825049 (mixed-bag) R 825046 825049 821782 0 -1 4194304 36797 0 0 0 25 5 0 0 20 0 1 0 159953728 246349824 34962 134679101440 4194304 16487941 140736587708128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37302272 140736587711511 140736587711588 140736587711588 140736587718603 0
/proc/825049/statm: 60144 34962 3892 3002 0 43895 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 240576 KiB
Current children cumulated memory: 139848 KiB

[startup+0.700224 s]
/proc/loadavg: 4.02 4.07 4.08 5/257 825050
/proc/meminfo: memFree=128093100/131524600 swapFree=131071996/131071996
[pid=825049] ppid=825046 vsize=250140 memory=149228 CPUtime=0.68 cores=4,6
/proc/825049/stat : 825049 (mixed-bag) R 825046 825049 821782 0 -1 4194304 39021 0 0 0 63 5 0 0 20 0 1 0 159953728 256143360 37307 134679101440 4194304 16487941 140736587708128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37302272 140736587711511 140736587711588 140736587711588 140736587718603 0
/proc/825049/statm: 62535 37307 4020 3002 0 46286 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 250140 KiB
Current children cumulated memory: 149228 KiB

[startup+1.50022 s]
/proc/loadavg: 4.02 4.07 4.08 5/257 825050
/proc/meminfo: memFree=128087688/131524600 swapFree=131071996/131071996
[pid=825049] ppid=825046 vsize=252236 memory=151340 CPUtime=1.48 cores=4,6
/proc/825049/stat : 825049 (mixed-bag) R 825046 825049 821782 0 -1 4194304 39596 0 0 0 143 5 0 0 20 0 1 0 159953728 258289664 37835 134679101440 4194304 16487941 140736587708128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37302272 140736587711511 140736587711588 140736587711588 140736587718603 0
/proc/825049/statm: 63059 37835 4020 3002 0 46810 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 252236 KiB
Current children cumulated memory: 151340 KiB

[startup+3.10593 s]
/proc/loadavg: 4.10 4.09 4.08 5/257 825050
/proc/meminfo: memFree=128089628/131524600 swapFree=131071996/131071996
[pid=825049] ppid=825046 vsize=252384 memory=151604 CPUtime=3.08 cores=4,6
/proc/825049/stat : 825049 (mixed-bag) R 825046 825049 821782 0 -1 4194304 39644 0 0 0 303 5 0 0 20 0 1 0 159953728 258441216 37901 134679101440 4194304 16487941 140736587708128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37302272 140736587711511 140736587711588 140736587711588 140736587718603 0
/proc/825049/statm: 63096 37901 4020 3002 0 46847 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 252384 KiB
Current children cumulated memory: 151604 KiB

[startup+6.30021 s]
/proc/loadavg: 4.10 4.09 4.08 5/257 825050
/proc/meminfo: memFree=128079268/131524600 swapFree=131071996/131071996
[pid=825049] ppid=825046 vsize=253324 memory=152720 CPUtime=6.27 cores=4,6
/proc/825049/stat : 825049 (mixed-bag) R 825046 825049 821782 0 -1 4194304 39929 0 0 0 622 5 0 0 20 0 1 0 159953728 259403776 38180 134679101440 4194304 16487941 140736587708128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37302272 140736587711511 140736587711588 140736587711588 140736587718603 0
/proc/825049/statm: 63331 38180 4036 3002 0 47082 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 253324 KiB
Current children cumulated memory: 152720 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.09 4.08 5/257 825052
/proc/meminfo: memFree=128076440/131524600 swapFree=131071996/131071996
[pid=825049] ppid=825046 vsize=257364 memory=155096 CPUtime=12.65 cores=4,6
/proc/825049/stat : 825049 (mixed-bag) R 825046 825049 821782 0 -1 4194304 40493 0 0 0 1260 5 0 0 20 0 1 0 159953728 263540736 38774 134679101440 4194304 16487941 140736587708128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37302272 140736587711511 140736587711588 140736587711588 140736587718603 0
/proc/825049/statm: 64341 38774 4036 3002 0 48092 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 257364 KiB
Current children cumulated memory: 155096 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.08 4.08 5/257 825329
/proc/meminfo: memFree=128366812/131524600 swapFree=131071996/131071996
[pid=825049] ppid=825046 vsize=266088 memory=163996 CPUtime=25.43 cores=4,6
/proc/825049/stat : 825049 (mixed-bag) R 825046 825049 821782 0 -1 4194304 41581 0 0 0 2537 6 0 0 20 0 1 0 159953728 272474112 40999 134679101440 4194304 16487941 140736587708128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37302272 140736587711511 140736587711588 140736587711588 140736587718603 0
/proc/825049/statm: 66522 40999 4036 3002 0 50273 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 266088 KiB
Current children cumulated memory: 163996 KiB

[startup+51.1057 s]
/proc/loadavg: 4.05 4.08 4.08 5/253 825415
/proc/meminfo: memFree=128531716/131524600 swapFree=131071996/131071996
[pid=825049] ppid=825046 vsize=277164 memory=172904 CPUtime=50.97 cores=4,6
/proc/825049/stat : 825049 (mixed-bag) R 825046 825049 821782 0 -1 4194304 42884 0 0 0 5091 6 0 0 20 0 1 0 159953728 283815936 43226 134679101440 4194304 16487941 140736587708128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37302272 140736587711511 140736587711588 140736587711588 140736587718603 0
/proc/825049/statm: 69291 43226 4036 3002 0 53042 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 277164 KiB
Current children cumulated memory: 172904 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.08 4.08 5/257 825433
/proc/meminfo: memFree=128202760/131524600 swapFree=131071996/131071996
[pid=825049] ppid=825046 vsize=286304 memory=181916 CPUtime=102.03 cores=4,6
/proc/825049/stat : 825049 (mixed-bag) R 825046 825049 821782 0 -1 4194304 44764 0 0 0 10197 6 0 0 20 0 1 0 159953728 293175296 45479 134679101440 4194304 16487941 140736587708128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37302272 140736587711511 140736587711588 140736587711588 140736587718603 0
/proc/825049/statm: 71576 45479 4036 3002 0 55327 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 286304 KiB
Current children cumulated memory: 181916 KiB

[startup+162.3 s]
/proc/loadavg: 4.20 4.11 4.09 5/257 825445
/proc/meminfo: memFree=128113664/131524600 swapFree=131071996/131071996
[pid=825049] ppid=825046 vsize=304300 memory=197436 CPUtime=161.88 cores=4,6
/proc/825049/stat : 825049 (mixed-bag) R 825046 825049 821782 0 -1 4194304 46392 0 0 0 16181 7 0 0 20 0 1 0 159953728 311603200 49359 134679101440 4194304 16487941 140736587708128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37302272 140736587711511 140736587711588 140736587711588 140736587718603 0
/proc/825049/statm: 76075 49359 4036 3002 0 59826 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 304300 KiB
Current children cumulated memory: 197436 KiB

[startup+222.3 s]
/proc/loadavg: 4.19 4.12 4.09 5/257 825456
/proc/meminfo: memFree=128058892/131524600 swapFree=131071996/131071996
[pid=825049] ppid=825046 vsize=304300 memory=211756 CPUtime=221.73 cores=4,6
/proc/825049/stat : 825049 (mixed-bag) R 825046 825049 821782 0 -1 4194304 46424 0 0 0 22166 7 0 0 20 0 1 0 159953728 311603200 52939 134679101440 4194304 16487941 140736587708128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37302272 140736587711511 140736587711588 140736587711588 140736587718603 0
/proc/825049/statm: 76075 52939 4036 3002 0 59826 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 304300 KiB
Current children cumulated memory: 211756 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/255 825466
/proc/meminfo: memFree=127992792/131524600 swapFree=131071996/131071996
[pid=825049] ppid=825046 vsize=320052 memory=231812 CPUtime=281.59 cores=4,6
/proc/825049/stat : 825049 (mixed-bag) R 825046 825049 821782 0 -1 4194304 47453 0 0 0 28151 8 0 0 20 0 1 0 159953728 327733248 57953 134679101440 4194304 16487941 140736587708128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37302272 140736587711511 140736587711588 140736587711588 140736587718603 0
/proc/825049/statm: 80013 57953 4036 3002 0 63764 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 320052 KiB
Current children cumulated memory: 231812 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/255 825477
/proc/meminfo: memFree=127534060/131524600 swapFree=131071996/131071996
[pid=825049] ppid=825046 vsize=758760 memory=622740 CPUtime=341.46 cores=4,6
/proc/825049/stat : 825049 (mixed-bag) R 825046 825049 821782 0 -1 4194304 92331 0 0 0 33986 160 0 0 20 0 1 0 159953728 776970240 155685 134679101440 4194304 16487941 140736587708128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37302272 140736587711511 140736587711588 140736587711588 140736587718603 0
/proc/825049/statm: 189690 155685 4179 3002 0 173441 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 758760 KiB
Current children cumulated memory: 622740 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/255 825488
/proc/meminfo: memFree=127193972/131524600 swapFree=131071996/131071996
[pid=825049] ppid=825046 vsize=1278200 memory=922732 CPUtime=401.32 cores=4,6
/proc/825049/stat : 825049 (mixed-bag) R 825046 825049 821782 0 -1 4194304 146883 0 0 0 39913 219 0 0 20 0 1 0 159953728 1308876800 230683 134679101440 4194304 16487941 140736587708128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37302272 140736587711511 140736587711588 140736587711588 140736587718603 0
/proc/825049/statm: 319550 230683 4179 3002 0 303301 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 1278200 KiB
Current children cumulated memory: 922732 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/255 825498
/proc/meminfo: memFree=127068392/131524600 swapFree=131071996/131071996
[pid=825049] ppid=825046 vsize=1278584 memory=1006992 CPUtime=461.18 cores=4,6
/proc/825049/stat : 825049 (mixed-bag) R 825046 825049 821782 0 -1 4194304 154184 0 0 0 45829 289 0 0 20 0 1 0 159953728 1309270016 251748 134679101440 4194304 16487941 140736587708128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37302272 140736587711511 140736587711588 140736587711588 140736587718603 0
/proc/825049/statm: 319646 251748 4179 3002 0 303397 0

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

Current children cumulated memory: 3255924 KiB

[startup+2862.3 s]
/proc/loadavg: 4.11 4.15 4.15 5/259 827104
/proc/meminfo: memFree=123853652/131524600 swapFree=131071996/131071996
[pid=825049] ppid=825046 vsize=3919520 memory=3255924 CPUtime=2855.47 cores=4,6
/proc/825049/stat : 825049 (mixed-bag) R 825046 825049 821782 0 -1 4194304 513493 0 0 0 284113 1434 0 0 20 0 1 0 159953728 4013588480 813981 134679101440 4194304 16487941 140736587708128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37302272 140736587711511 140736587711588 140736587711588 140736587718603 0
/proc/825049/statm: 979880 813981 4179 3002 0 963631 0
Current children cumulated CPU time: 2855.47 s
Current children cumulated vsize: 3919520 KiB
Current children cumulated memory: 3255924 KiB

[startup+2922.3 s]
/proc/loadavg: 4.04 4.12 4.14 5/258 827120
/proc/meminfo: memFree=123831928/131524600 swapFree=131071996/131071996
[pid=825049] ppid=825046 vsize=3919520 memory=3267304 CPUtime=2915.34 cores=4,6
/proc/825049/stat : 825049 (mixed-bag) R 825046 825049 821782 0 -1 4194304 515147 0 0 0 290086 1448 0 0 20 0 1 0 159953728 4013588480 816826 134679101440 4194304 16487941 140736587708128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37302272 140736587711511 140736587711588 140736587711588 140736587718603 0
/proc/825049/statm: 979880 816826 4179 3002 0 963631 0
Current children cumulated CPU time: 2915.34 s
Current children cumulated vsize: 3919520 KiB
Current children cumulated memory: 3267304 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.12 4.14 5/258 827144
/proc/meminfo: memFree=123814164/131524600 swapFree=131071996/131071996
[pid=825049] ppid=825046 vsize=3919520 memory=3267304 CPUtime=2975.2 cores=4,6
/proc/825049/stat : 825049 (mixed-bag) R 825046 825049 821782 0 -1 4194304 516226 0 0 0 296060 1460 0 0 20 0 1 0 159953728 4013588480 816826 134679101440 4194304 16487941 140736587708128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37302272 140736587711511 140736587711588 140736587711588 140736587718603 0
/proc/825049/statm: 979880 816826 4179 3002 0 963631 0
Current children cumulated CPU time: 2975.2 s
Current children cumulated vsize: 3919520 KiB
Current children cumulated memory: 3267304 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.11 4.13 5/258 827154
/proc/meminfo: memFree=123788868/131524600 swapFree=131071996/131071996
[pid=825049] ppid=825046 vsize=3919520 memory=3267304 CPUtime=3035.06 cores=4,6
/proc/825049/stat : 825049 (mixed-bag) R 825046 825049 821782 0 -1 4194304 517431 0 0 0 302035 1471 0 0 20 0 1 0 159953728 4013588480 816826 134679101440 4194304 16487941 140736587708128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37302272 140736587711511 140736587711588 140736587711588 140736587718603 0
/proc/825049/statm: 979880 816826 4179 3002 0 963631 0
Current children cumulated CPU time: 3035.06 s
Current children cumulated vsize: 3919520 KiB
Current children cumulated memory: 3267304 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.11 4.13 5/258 827164
/proc/meminfo: memFree=123773224/131524600 swapFree=131071996/131071996
[pid=825049] ppid=825046 vsize=3919520 memory=3267328 CPUtime=3094.93 cores=4,6
/proc/825049/stat : 825049 (mixed-bag) R 825046 825049 821782 0 -1 4194304 519090 0 0 0 308010 1483 0 0 20 0 1 0 159953728 4013588480 816832 134679101440 4194304 16487941 140736587708128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37302272 140736587711511 140736587711588 140736587711588 140736587718603 0
/proc/825049/statm: 979880 816832 4179 3002 0 963631 0
Current children cumulated CPU time: 3094.93 s
Current children cumulated vsize: 3919520 KiB
Current children cumulated memory: 3267328 KiB

[startup+3162.3 s]
/proc/loadavg: 4.49 4.20 4.16 5/256 827176
/proc/meminfo: memFree=123642660/131524600 swapFree=131071996/131071996
[pid=825049] ppid=825046 vsize=3919520 memory=3374124 CPUtime=3154.78 cores=4,6
/proc/825049/stat : 825049 (mixed-bag) R 825046 825049 821782 0 -1 4194304 529716 0 0 0 313981 1497 0 0 20 0 1 0 159953728 4013588480 843531 134679101440 4194304 16487941 140736587708128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37302272 140736587711511 140736587711588 140736587711588 140736587718603 0
/proc/825049/statm: 979880 843531 4179 3002 0 963631 0
Current children cumulated CPU time: 3154.78 s
Current children cumulated vsize: 3919520 KiB
Current children cumulated memory: 3374124 KiB

[startup+3222.3 s]
/proc/loadavg: 4.26 4.19 4.16 5/255 827186
/proc/meminfo: memFree=123616980/131524600 swapFree=131071996/131071996
[pid=825049] ppid=825046 vsize=3919520 memory=3387292 CPUtime=3214.65 cores=4,6
/proc/825049/stat : 825049 (mixed-bag) R 825046 825049 821782 0 -1 4194304 532063 0 0 0 319931 1534 0 0 20 0 1 0 159953728 4013588480 846823 134679101440 4194304 16487941 140736587708128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37302272 140736587711511 140736587711588 140736587711588 140736587718603 0
/proc/825049/statm: 979880 846823 4179 3002 0 963631 0
Current children cumulated CPU time: 3214.65 s
Current children cumulated vsize: 3919520 KiB
Current children cumulated memory: 3387292 KiB

[startup+3282.3 s]
/proc/loadavg: 4.27 4.20 4.16 5/255 827197
/proc/meminfo: memFree=123591252/131524600 swapFree=131071996/131071996
[pid=825049] ppid=825046 vsize=3919520 memory=3387292 CPUtime=3274.51 cores=4,6
/proc/825049/stat : 825049 (mixed-bag) R 825046 825049 821782 0 -1 4194304 533349 0 0 0 325880 1571 0 0 20 0 1 0 159953728 4013588480 846823 134679101440 4194304 16487941 140736587708128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37302272 140736587711511 140736587711588 140736587711588 140736587718603 0
/proc/825049/statm: 979880 846823 4179 3002 0 963631 0
Current children cumulated CPU time: 3274.51 s
Current children cumulated vsize: 3919520 KiB
Current children cumulated memory: 3387292 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.16 4.15 5/257 827221
/proc/meminfo: memFree=123566928/131524600 swapFree=131071996/131071996
[pid=825049] ppid=825046 vsize=3919520 memory=3387312 CPUtime=3334.37 cores=4,6
/proc/825049/stat : 825049 (mixed-bag) R 825046 825049 821782 0 -1 4194304 534694 0 0 0 331836 1601 0 0 20 0 1 0 159953728 4013588480 846828 134679101440 4194304 16487941 140736587708128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37302272 140736587711511 140736587711588 140736587711588 140736587718603 0
/proc/825049/statm: 979880 846828 4179 3002 0 963631 0
Current children cumulated CPU time: 3334.37 s
Current children cumulated vsize: 3919520 KiB
Current children cumulated memory: 3387312 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.16 4.15 5/259 827459
/proc/meminfo: memFree=123558136/131524600 swapFree=131071996/131071996
[pid=825049] ppid=825046 vsize=3919520 memory=3387312 CPUtime=3394.24 cores=4,6
/proc/825049/stat : 825049 (mixed-bag) R 825046 825049 821782 0 -1 4194304 535733 0 0 0 337790 1634 0 0 20 0 1 0 159953728 4013588480 846828 134679101440 4194304 16487941 140736587708128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37302272 140736587711511 140736587711588 140736587711588 140736587718603 0
/proc/825049/statm: 979880 846828 4179 3002 0 963631 0
Current children cumulated CPU time: 3394.24 s
Current children cumulated vsize: 3919520 KiB
Current children cumulated memory: 3387312 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.16 4.15 5/259 827469
/proc/meminfo: memFree=123533060/131524600 swapFree=131071996/131071996
[pid=825049] ppid=825046 vsize=3919520 memory=3387356 CPUtime=3454.09 cores=4,6
/proc/825049/stat : 825049 (mixed-bag) R 825046 825049 821782 0 -1 4194304 536930 0 0 0 343731 1678 0 0 20 0 1 0 159953728 4013588480 846839 134679101440 4194304 16487941 140736587708128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37302272 140736587711511 140736587711588 140736587711588 140736587718603 0
/proc/825049/statm: 979880 846839 4179 3002 0 963631 0
Current children cumulated CPU time: 3454.09 s
Current children cumulated vsize: 3919520 KiB
Current children cumulated memory: 3387356 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.15 5/261 827770
/proc/meminfo: memFree=123605128/131524600 swapFree=131071996/131071996
[pid=825049] ppid=825046 vsize=3919520 memory=3387356 CPUtime=3513.96 cores=4,6
/proc/825049/stat : 825049 (mixed-bag) R 825046 825049 821782 0 -1 4194304 538085 0 0 0 349669 1727 0 0 20 0 1 0 159953728 4013588480 846839 134679101440 4194304 16487941 140736587708128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37302272 140736587711511 140736587711588 140736587711588 140736587718603 0
/proc/825049/statm: 979880 846839 4179 3002 0 963631 0
Current children cumulated CPU time: 3513.96 s
Current children cumulated vsize: 3919520 KiB
Current children cumulated memory: 3387356 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.13 4.14 5/261 827830
/proc/meminfo: memFree=123761660/131524600 swapFree=131071996/131071996
[pid=825049] ppid=825046 vsize=3919520 memory=3387356 CPUtime=3573.82 cores=4,6
/proc/825049/stat : 825049 (mixed-bag) R 825046 825049 821782 0 -1 4194304 539416 0 0 0 355616 1766 0 0 20 0 1 0 159953728 4013588480 846839 134679101440 4194304 16487941 140736587708128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37302272 140736587711511 140736587711588 140736587711588 140736587718603 0
/proc/825049/statm: 979880 846839 4179 3002 0 963631 0
Current children cumulated CPU time: 3573.82 s
Current children cumulated vsize: 3919520 KiB
Current children cumulated memory: 3387356 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.6 s]
/proc/loadavg: 4.07 4.12 4.13 5/261 827833
/proc/meminfo: memFree=123727216/131524600 swapFree=131071996/131071996
[pid=825049] ppid=825046 vsize=3919520 memory=3387360 CPUtime=3600.05 cores=4,6
/proc/825049/stat : 825049 (mixed-bag) R 825046 825049 821782 0 -1 4194304 539794 0 0 0 358230 1775 0 0 20 0 1 0 159953728 4013588480 846840 134679101440 4194304 16487941 140736587708128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 37302272 140736587711511 140736587711588 140736587711588 140736587718603 0
/proc/825049/statm: 979880 846840 4179 3002 0 963631 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 3919520 KiB
Current children cumulated memory: 3387360 KiB

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

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

# cumulated CPU time of all completed processes:  user=3582.32 s, system=17.8038 s

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

Child status: 0

Real time (s): 3608.65
CPU time (s): 3600.12
CPU user time (s): 3582.32
CPU system time (s): 17.8038
CPU usage (%): 99.7635
Max. virtual memory (cumulated for all children) (KiB): 3919520
Max. memory (cumulated for all children) (KiB): 3387360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.32
system time used= 17.8038
maximum resident set size= 3387360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 539815
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= 365
involuntary context switches= 2120


# summary of solver processes directly reported to runsolver:
#   pid: 825049
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3582.32
#   total CPU system time (s): 17.8038

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.33802 second user time and 16.7238 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2024-07-15 23:11:28
IDJOB=4435441
IDBENCH=147222
IDSOLVER=3066
FILE ID=nodeC026/4435441-1721077875
RUNJOBID= nodeC026-1721074233-821793
SLURM_JOB_ID= 7505548
Free space on /tmp= 890036 MiB

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

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

MD5SUM BENCH= 908a9c4c32d975b4e5850834449958a7
RANDOM SEED=536788641

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128224444 kB
MemAvailable:   129093876 kB
Buffers:          380904 kB
Cached:          1323464 kB
SwapCached:            0 kB
Active:           667708 kB
Inactive:        2036992 kB
Active(anon):       1564 kB
Inactive(anon):  1036160 kB
Active(file):     666144 kB
Inactive(file):  1000832 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             16860 kB
Writeback:             0 kB
AnonPages:        995824 kB
Mapped:           137908 kB
Shmem:             37720 kB
KReclaimable:      84560 kB
Slab:             188964 kB
SReclaimable:      84560 kB
SUnreclaim:       104404 kB
KernelStack:        4092 kB
PageTables:        11656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1404248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61408 kB
HardwareCorrupted:     0 kB
AnonHugePages:    587776 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      232148 kB
DirectMap2M:    20512768 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 889992 MiB
End job on nodeC026 at 2024-07-16 00:11:37