Trace number 4487749

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
mixed-bag-2024 2025-05-06? (TO) 3600.09 3611.16

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

General information on the benchmark

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

Solver Data 

0.00/0.01	c RoundingSat 2
0.00/0.01	c branch 
0.00/0.01	c commit 
0.00/0.01	c with Papilo
0.00/0.01	c with SCIP
0.00/0.01	c [STEP] parsing instance
0.00/0.05	c [STEP] preprocessing with Papilo
0.00/0.07	c Papilo could not simplify the problem
0.00/0.07	c [STEP] solving with SCIP
299.60/300.62	c [STEP] preprocessing done, loading into solver
299.60/300.65	c [STEP] solving
299.60/300.65	c #variables 10001 #constraints 10000
299.60/300.65	c SMALL=int, LARGE=long long
299.60/300.65	d SCIPUB 2535
299.60/300.65	c bounds - >= 0 @ 299.416
299.60/300.65	c stratification level: 0
299.89/300.90	c bounds - >= 1 @ 299.482
299.89/300.90	c bounds - >= 2 @ 299.483
299.89/300.90	c bounds - >= 3 @ 299.484
299.89/300.90	c bounds - >= 4 @ 299.485
299.89/300.90	c bounds - >= 5 @ 299.486
299.89/300.90	c bounds - >= 6 @ 299.488
299.89/300.90	c bounds - >= 7 @ 299.489
299.89/300.90	c bounds - >= 8 @ 299.49
299.89/300.90	c bounds - >= 9 @ 299.491
299.89/300.90	c bounds - >= 10 @ 299.492
299.89/300.90	c bounds - >= 11 @ 299.493
299.89/300.90	c bounds - >= 12 @ 299.494
299.89/300.90	c bounds - >= 13 @ 299.495
299.89/300.90	c bounds - >= 14 @ 299.496
299.89/300.90	c bounds - >= 15 @ 299.497
299.89/300.90	c bounds - >= 16 @ 299.498
299.89/300.90	c bounds - >= 17 @ 299.499
299.89/300.90	c bounds - >= 18 @ 299.5
299.89/300.90	c bounds - >= 19 @ 299.502
299.89/300.90	c bounds - >= 20 @ 299.503
299.89/300.90	c bounds - >= 21 @ 299.504
299.89/300.90	c bounds - >= 22 @ 299.505
299.89/300.90	c bounds - >= 23 @ 299.506
299.89/300.90	c bounds - >= 24 @ 299.507
299.89/300.90	c bounds - >= 25 @ 299.508
299.89/300.90	c bounds - >= 26 @ 299.509
299.89/300.90	c bounds - >= 27 @ 299.51
299.89/300.90	c bounds - >= 28 @ 299.511
299.89/300.90	c bounds - >= 29 @ 299.512
299.89/300.90	c bounds - >= 30 @ 299.513
299.89/300.90	c bounds - >= 31 @ 299.514
299.89/300.90	c bounds - >= 32 @ 299.516
299.89/300.90	c bounds - >= 33 @ 299.517
299.89/300.90	c bounds - >= 34 @ 299.518
299.89/300.90	c bounds - >= 35 @ 299.519
299.89/300.90	c bounds - >= 36 @ 299.52
299.89/300.90	c bounds - >= 37 @ 299.521
299.89/300.90	c bounds - >= 38 @ 299.522
299.89/300.90	c bounds - >= 39 @ 299.523
299.89/300.90	c bounds - >= 40 @ 299.525
299.89/300.90	c bounds - >= 41 @ 299.526
299.89/300.90	c bounds - >= 42 @ 299.527
299.89/300.90	c bounds - >= 43 @ 299.529
299.89/300.90	c bounds - >= 44 @ 299.53
299.89/300.90	c bounds - >= 45 @ 299.531
299.89/300.90	c bounds - >= 46 @ 299.532
299.89/300.90	c bounds - >= 47 @ 299.533
299.89/300.90	c bounds - >= 48 @ 299.534
299.89/300.90	c bounds - >= 49 @ 299.535
299.89/300.90	c bounds - >= 50 @ 299.536
299.89/300.90	c bounds - >= 51 @ 299.538
299.89/300.90	c bounds - >= 52 @ 299.539
299.89/300.90	c bounds - >= 53 @ 299.54
299.89/300.90	c bounds - >= 54 @ 299.541
299.89/300.90	c bounds - >= 55 @ 299.542
299.89/300.90	c bounds - >= 56 @ 299.543
299.89/300.90	c bounds - >= 57 @ 299.545
299.89/300.90	c bounds - >= 58 @ 299.546
299.89/300.90	c bounds - >= 59 @ 299.547
299.89/300.90	c bounds - >= 60 @ 299.548
299.89/300.90	c bounds - >= 61 @ 299.549
299.89/300.90	c bounds - >= 62 @ 299.55
299.89/300.90	c bounds - >= 63 @ 299.551
299.89/300.90	c bounds - >= 64 @ 299.553
299.89/300.90	c bounds - >= 65 @ 299.554
299.89/300.90	c bounds - >= 66 @ 299.555
299.89/300.90	c bounds - >= 67 @ 299.556
299.89/300.90	c bounds - >= 68 @ 299.557
299.89/300.90	c bounds - >= 69 @ 299.558
299.89/300.90	c bounds - >= 70 @ 299.56
299.89/300.90	c bounds - >= 71 @ 299.561
299.89/300.90	c bounds - >= 72 @ 299.562
299.89/300.90	c bounds - >= 73 @ 299.563
299.89/300.90	c bounds - >= 74 @ 299.565
299.89/300.90	c bounds - >= 75 @ 299.566
299.89/300.90	c bounds - >= 76 @ 299.567
299.89/300.90	c bounds - >= 77 @ 299.567
299.89/300.90	c bounds - >= 78 @ 299.568
299.89/300.90	c bounds - >= 79 @ 299.57
299.89/300.90	c bounds - >= 80 @ 299.571
299.89/300.90	c bounds - >= 81 @ 299.572
299.89/300.90	c bounds - >= 82 @ 299.573
299.89/300.90	c bounds - >= 83 @ 299.574
299.89/300.90	c bounds - >= 84 @ 299.576
299.89/300.90	c bounds - >= 85 @ 299.577
299.89/300.90	c bounds - >= 86 @ 299.578
299.89/300.90	c bounds - >= 87 @ 299.579
299.89/300.90	c bounds - >= 88 @ 299.58
299.89/300.90	c bounds - >= 89 @ 299.581
299.89/300.90	c bounds - >= 90 @ 299.583
299.89/300.90	c bounds - >= 91 @ 299.584
299.89/300.90	c bounds - >= 92 @ 299.584
299.89/300.90	c bounds - >= 93 @ 299.585
299.89/300.90	c bounds - >= 94 @ 299.586
299.89/300.90	c bounds - >= 95 @ 299.588
299.89/300.90	c bounds - >= 96 @ 299.589
299.89/300.90	c bounds - >= 97 @ 299.59
299.89/300.90	c bounds - >= 98 @ 299.591
299.89/300.90	c bounds - >= 99 @ 299.592
299.89/300.90	c bounds - >= 100 @ 299.593
299.89/300.90	c bounds - >= 101 @ 299.595
299.89/300.90	c bounds - >= 102 @ 299.596
299.89/300.90	c bounds - >= 103 @ 299.597
299.89/300.90	c bounds - >= 104 @ 299.598
299.89/300.90	c bounds - >= 105 @ 299.599
299.89/300.90	c bounds - >= 106 @ 299.601
299.89/300.90	c bounds - >= 107 @ 299.602
299.89/300.90	c bounds - >= 108 @ 299.603
299.89/300.90	c bounds - >= 109 @ 299.604
299.89/300.90	c bounds - >= 110 @ 299.605
299.89/300.90	c bounds - >= 111 @ 299.607
299.89/300.90	c bounds - >= 112 @ 299.608
299.89/300.90	c bounds - >= 113 @ 299.609
299.89/300.90	c bounds - >= 114 @ 299.61
299.89/300.90	c bounds - >= 115 @ 299.611
299.89/300.90	c bounds - >= 116 @ 299.612
299.89/300.90	c bounds - >= 117 @ 299.613
299.89/300.90	c bounds - >= 118 @ 299.614
299.89/300.90	c bounds - >= 119 @ 299.614
299.89/300.90	c bounds - >= 120 @ 299.615
299.89/300.90	c bounds - >= 121 @ 299.616
299.89/300.90	c bounds - >= 122 @ 299.617
299.89/300.90	c bounds - >= 123 @ 299.619
299.89/300.90	c bounds - >= 124 @ 299.62
299.89/300.90	c bounds - >= 125 @ 299.62
299.89/300.90	c bounds - >= 126 @ 299.621
299.89/300.90	c bounds - >= 127 @ 299.622
299.89/300.90	c bounds - >= 128 @ 299.624
299.89/300.90	c bounds - >= 129 @ 299.625
299.89/300.90	c bounds - >= 130 @ 299.626
299.89/300.90	c bounds - >= 131 @ 299.626
299.89/300.90	c bounds - >= 132 @ 299.627
299.89/300.90	c bounds - >= 133 @ 299.628
299.89/300.90	c bounds - >= 134 @ 299.629
299.89/300.90	c bounds - >= 135 @ 299.631
299.89/300.90	c bounds - >= 136 @ 299.632
299.89/300.90	c bounds - >= 137 @ 299.633
299.89/300.90	c bounds - >= 138 @ 299.634
299.89/300.90	c bounds - >= 139 @ 299.636
299.89/300.90	c bounds - >= 140 @ 299.637
299.89/300.90	c bounds - >= 141 @ 299.638
299.89/300.90	c bounds - >= 142 @ 299.639
299.89/300.90	c bounds - >= 143 @ 299.64
299.89/300.90	c bounds - >= 144 @ 299.642
299.89/300.90	c bounds - >= 145 @ 299.643
299.89/300.90	c bounds - >= 146 @ 299.644
299.89/300.90	c bounds - >= 147 @ 299.645
299.89/300.90	c bounds - >= 148 @ 299.646
299.89/300.90	c bounds - >= 149 @ 299.647
299.89/300.90	c bounds - >= 150 @ 299.649
299.89/300.90	c bounds - >= 151 @ 299.65
300.00/301.08	c bounds - >= 152 @ 299.651
300.00/301.08	c bounds - >= 153 @ 299.652
300.00/301.08	c bounds - >= 154 @ 299.653
300.00/301.08	c bounds - >= 155 @ 299.655
300.00/301.08	c bounds - >= 156 @ 299.656
300.00/301.08	c bounds - >= 157 @ 299.657
300.00/301.08	c bounds - >= 158 @ 299.658
300.00/301.08	c bounds - >= 159 @ 299.659
300.00/301.08	c bounds - >= 160 @ 299.66
300.00/301.08	c bounds - >= 161 @ 299.661
300.00/301.08	c bounds - >= 162 @ 299.661
300.00/301.08	c bounds - >= 163 @ 299.662
300.00/301.08	c bounds - >= 164 @ 299.663
300.00/301.08	c bounds - >= 165 @ 299.664
300.00/301.08	c bounds - >= 166 @ 299.666
300.00/301.08	c bounds - >= 167 @ 299.667
300.00/301.08	c bounds - >= 168 @ 299.668
300.00/301.08	c bounds - >= 169 @ 299.669
300.00/301.08	c bounds - >= 170 @ 299.671
300.00/301.08	c bounds - >= 171 @ 299.672
300.00/301.08	c bounds - >= 172 @ 299.673
300.00/301.08	c bounds - >= 173 @ 299.674
300.00/301.08	c bounds - >= 174 @ 299.675
300.00/301.08	c bounds - >= 175 @ 299.677
300.00/301.08	c bounds - >= 176 @ 299.678
300.00/301.08	c bounds - >= 177 @ 299.679
300.00/301.08	c bounds - >= 178 @ 299.68
300.00/301.08	c bounds - >= 179 @ 299.682
300.00/301.08	c bounds - >= 180 @ 299.683
300.00/301.08	c bounds - >= 181 @ 299.684
300.00/301.08	c bounds - >= 182 @ 299.685
300.00/301.08	c bounds - >= 183 @ 299.686
300.00/301.08	c bounds - >= 184 @ 299.688
300.00/301.08	c bounds - >= 185 @ 299.688
300.00/301.08	c bounds - >= 186 @ 299.689
300.00/301.08	c bounds - >= 187 @ 299.69
300.00/301.08	c bounds - >= 188 @ 299.691
300.00/301.08	c bounds - >= 189 @ 299.693
300.00/301.08	c bounds - >= 190 @ 299.693
300.00/301.08	c bounds - >= 191 @ 299.694
300.00/301.08	c bounds - >= 192 @ 299.695
300.00/301.08	c bounds - >= 193 @ 299.695
300.00/301.08	c bounds - >= 194 @ 299.697
300.00/301.08	c bounds - >= 195 @ 299.697
300.00/301.08	c bounds - >= 196 @ 299.698
300.00/301.08	c bounds - >= 197 @ 299.699
300.00/301.08	c bounds - >= 198 @ 299.7
300.00/301.08	c bounds - >= 199 @ 299.702
300.00/301.08	c bounds - >= 200 @ 299.703
300.00/301.08	c bounds - >= 201 @ 299.704
300.00/301.08	c bounds - >= 202 @ 299.705
300.00/301.08	c bounds - >= 203 @ 299.707
300.00/301.08	c bounds - >= 204 @ 299.707
300.00/301.08	c bounds - >= 205 @ 299.708
300.00/301.08	c bounds - >= 206 @ 299.709
300.00/301.08	c bounds - >= 207 @ 299.711
300.00/301.08	c bounds - >= 208 @ 299.711
300.00/301.08	c bounds - >= 209 @ 299.712
300.00/301.08	c bounds - >= 210 @ 299.713
300.00/301.08	c bounds - >= 211 @ 299.715
300.00/301.08	c bounds - >= 212 @ 299.715
300.00/301.08	c bounds - >= 213 @ 299.716
300.00/301.08	c bounds - >= 214 @ 299.717
300.00/301.08	c bounds - >= 215 @ 299.719
300.00/301.08	c bounds - >= 216 @ 299.72
300.00/301.08	c bounds - >= 217 @ 299.72
300.00/301.08	c bounds - >= 218 @ 299.722
300.00/301.08	c bounds - >= 219 @ 299.723
300.00/301.08	c bounds - >= 220 @ 299.724
300.00/301.08	c bounds - >= 221 @ 299.725
300.00/301.08	c bounds - >= 222 @ 299.726
300.00/301.08	c bounds - >= 223 @ 299.727
300.00/301.08	c bounds - >= 224 @ 299.728
300.00/301.08	c bounds - >= 225 @ 299.729
300.00/301.08	c bounds - >= 226 @ 299.73
300.00/301.08	c bounds - >= 227 @ 299.731
300.00/301.08	c bounds - >= 228 @ 299.732
300.00/301.08	c bounds - >= 229 @ 299.733
300.00/301.08	c bounds - >= 230 @ 299.734
300.00/301.08	c bounds - >= 231 @ 299.735
300.00/301.08	c bounds - >= 232 @ 299.736
300.00/301.08	c bounds - >= 233 @ 299.737
300.00/301.08	c bounds - >= 234 @ 299.738
300.00/301.08	c bounds - >= 235 @ 299.74
300.00/301.08	c bounds - >= 236 @ 299.741
300.00/301.08	c bounds - >= 237 @ 299.742
300.00/301.08	c bounds - >= 238 @ 299.744
300.00/301.08	c bounds - >= 239 @ 299.745
300.00/301.08	c bounds - >= 240 @ 299.746
300.00/301.08	c bounds - >= 241 @ 299.747
300.00/301.08	c bounds - >= 242 @ 299.748
300.00/301.08	c bounds - >= 243 @ 299.749
300.00/301.08	c bounds - >= 244 @ 299.75
300.00/301.08	c bounds - >= 245 @ 299.752
300.00/301.08	c bounds - >= 246 @ 299.753
300.00/301.08	c bounds - >= 247 @ 299.754
300.00/301.08	c bounds - >= 248 @ 299.755
300.00/301.08	c bounds - >= 249 @ 299.756
300.00/301.08	c bounds - >= 250 @ 299.757
300.00/301.08	c bounds - >= 251 @ 299.758
300.00/301.08	c bounds - >= 252 @ 299.76
300.00/301.08	c bounds - >= 253 @ 299.76
300.00/301.08	c bounds - >= 254 @ 299.761
300.00/301.08	c bounds - >= 255 @ 299.762
300.00/301.08	c bounds - >= 256 @ 299.763
300.00/301.08	c bounds - >= 257 @ 299.764
300.00/301.08	c bounds - >= 258 @ 299.765
300.00/301.08	c bounds - >= 259 @ 299.766
300.00/301.08	c bounds - >= 260 @ 299.768
300.00/301.08	c bounds - >= 261 @ 299.769
300.00/301.08	c bounds - >= 262 @ 299.77
300.00/301.08	c bounds - >= 263 @ 299.771
300.00/301.08	c bounds - >= 264 @ 299.772
300.00/301.08	c bounds - >= 265 @ 299.773
300.00/301.08	c bounds - >= 266 @ 299.774
300.00/301.08	c bounds - >= 267 @ 299.776
300.00/301.08	c bounds - >= 268 @ 299.777
300.00/301.08	c bounds - >= 269 @ 299.778
300.00/301.08	c bounds - >= 270 @ 299.779
300.00/301.08	c bounds - >= 271 @ 299.78
300.00/301.08	c bounds - >= 272 @ 299.781
300.00/301.08	c bounds - >= 273 @ 299.782
300.00/301.08	c bounds - >= 274 @ 299.783
300.00/301.08	c bounds - >= 275 @ 299.784
300.00/301.08	c bounds - >= 276 @ 299.785
300.00/301.08	c bounds - >= 277 @ 299.786
300.00/301.08	c bounds - >= 278 @ 299.788
300.00/301.08	c bounds - >= 279 @ 299.789
300.00/301.08	c bounds - >= 280 @ 299.79
300.00/301.08	c bounds - >= 281 @ 299.792
300.00/301.08	c bounds - >= 282 @ 299.793
300.00/301.08	c bounds - >= 283 @ 299.794
300.00/301.08	c bounds - >= 284 @ 299.795
300.00/301.08	c bounds - >= 285 @ 299.797
300.00/301.08	c bounds - >= 286 @ 299.798
300.00/301.08	c bounds - >= 287 @ 299.799
300.00/301.08	c bounds - >= 288 @ 299.8
300.00/301.08	c bounds - >= 289 @ 299.801
300.00/301.08	c bounds - >= 290 @ 299.802
300.00/301.08	c bounds - >= 291 @ 299.803
300.00/301.08	c bounds - >= 292 @ 299.804
300.00/301.08	c bounds - >= 293 @ 299.805
300.00/301.08	c bounds - >= 294 @ 299.806
300.00/301.08	c bounds - >= 295 @ 299.807
300.00/301.08	c bounds - >= 296 @ 299.808
300.00/301.08	c bounds - >= 297 @ 299.809
300.00/301.08	c bounds - >= 298 @ 299.81
300.19/301.28	c bounds - >= 299 @ 299.811
300.19/301.28	c bounds - >= 300 @ 299.812
300.19/301.28	c bounds - >= 301 @ 299.813
300.19/301.28	c bounds - >= 302 @ 299.814
300.19/301.28	c bounds - >= 303 @ 299.815
300.19/301.28	c bounds - >= 304 @ 299.817
300.19/301.28	c bounds - >= 305 @ 299.818
300.19/301.28	c bounds - >= 306 @ 299.819
300.19/301.28	c bounds - >= 307 @ 299.82
300.19/301.28	c bounds - >= 308 @ 299.821
300.19/301.28	c bounds - >= 309 @ 299.822
300.19/301.28	c bounds - >= 310 @ 299.824
300.19/301.28	c bounds - >= 311 @ 299.825
300.19/301.28	c bounds - >= 312 @ 299.826
300.19/301.28	c bounds - >= 313 @ 299.827
300.19/301.28	c bounds - >= 314 @ 299.828
300.19/301.28	c bounds - >= 315 @ 299.829
300.19/301.28	c bounds - >= 316 @ 299.83
300.19/301.28	c bounds - >= 317 @ 299.831
300.19/301.28	c bounds - >= 318 @ 299.832
300.19/301.28	c bounds - >= 319 @ 299.833
300.19/301.28	c bounds - >= 320 @ 299.834
300.19/301.28	c bounds - >= 321 @ 299.835
300.19/301.28	c bounds - >= 322 @ 299.836
300.19/301.28	c bounds - >= 323 @ 299.837
300.19/301.28	c bounds - >= 324 @ 299.839
300.19/301.28	c bounds - >= 325 @ 299.84
300.19/301.28	c bounds - >= 326 @ 299.841
300.19/301.28	c bounds - >= 327 @ 299.842
300.19/301.28	c bounds - >= 328 @ 299.842
300.19/301.28	c bounds - >= 329 @ 299.843
300.19/301.28	c bounds - >= 330 @ 299.845
300.19/301.28	c bounds - >= 331 @ 299.846
300.19/301.28	c bounds - >= 332 @ 299.847
300.19/301.28	c bounds - >= 333 @ 299.848
300.19/301.28	c bounds - >= 334 @ 299.849
300.19/301.28	c bounds - >= 335 @ 299.85
300.19/301.28	c bounds - >= 336 @ 299.851
300.19/301.28	c bounds - >= 337 @ 299.853
300.19/301.28	c bounds - >= 338 @ 299.854
300.19/301.28	c bounds - >= 339 @ 299.855
300.19/301.28	c bounds - >= 340 @ 299.856
300.19/301.28	c bounds - >= 341 @ 299.857
300.19/301.28	c bounds - >= 342 @ 299.858
300.19/301.28	c bounds - >= 343 @ 299.859
300.19/301.28	c bounds - >= 344 @ 299.86
300.19/301.28	c bounds - >= 345 @ 299.861
300.19/301.28	c bounds - >= 346 @ 299.862
300.19/301.28	c bounds - >= 347 @ 299.863
300.19/301.28	c bounds - >= 348 @ 299.864
300.19/301.28	c bounds - >= 349 @ 299.866
300.19/301.28	c bounds - >= 350 @ 299.867
300.19/301.28	c bounds - >= 351 @ 299.868
300.19/301.28	c bounds - >= 352 @ 299.87
300.19/301.28	c bounds - >= 353 @ 299.871
300.19/301.28	c bounds - >= 354 @ 299.872
300.19/301.28	c bounds - >= 355 @ 299.873
300.19/301.28	c bounds - >= 356 @ 299.874
300.19/301.28	c bounds - >= 357 @ 299.875
300.19/301.28	c bounds - >= 358 @ 299.876
300.19/301.28	c bounds - >= 359 @ 299.877
300.19/301.28	c bounds - >= 360 @ 299.878
300.19/301.28	c bounds - >= 361 @ 299.88
300.19/301.28	c bounds - >= 362 @ 299.881
300.19/301.28	c bounds - >= 363 @ 299.882
300.19/301.28	c bounds - >= 364 @ 299.883
300.19/301.28	c bounds - >= 365 @ 299.885
300.19/301.28	c bounds - >= 366 @ 299.886
300.19/301.28	c bounds - >= 367 @ 299.887
300.19/301.28	c bounds - >= 368 @ 299.889
300.19/301.28	c bounds - >= 369 @ 299.89
300.19/301.28	c bounds - >= 370 @ 299.891
300.19/301.28	c bounds - >= 371 @ 299.892
300.19/301.28	c bounds - >= 372 @ 299.893
300.19/301.28	c bounds - >= 373 @ 299.894
300.19/301.28	c bounds - >= 374 @ 299.895
300.19/301.28	c bounds - >= 375 @ 299.896
300.19/301.28	c bounds - >= 376 @ 299.897
300.19/301.28	c bounds - >= 377 @ 299.898
300.19/301.28	c bounds - >= 378 @ 299.899
300.19/301.28	c bounds - >= 379 @ 299.9
300.19/301.28	c bounds - >= 380 @ 299.901
300.19/301.28	c bounds - >= 381 @ 299.902
300.19/301.28	c bounds - >= 382 @ 299.904
300.19/301.28	c bounds - >= 383 @ 299.905
300.19/301.28	c bounds - >= 384 @ 299.906
300.19/301.28	c bounds - >= 385 @ 299.907
300.19/301.28	c bounds - >= 386 @ 299.908
300.19/301.28	c bounds - >= 387 @ 299.909
300.19/301.28	c bounds - >= 388 @ 299.91
300.19/301.28	c bounds - >= 389 @ 299.911
300.19/301.28	c bounds - >= 390 @ 299.912
300.19/301.28	c bounds - >= 391 @ 299.913
300.19/301.28	c bounds - >= 392 @ 299.915
300.19/301.28	c bounds - >= 393 @ 299.916
300.19/301.28	c bounds - >= 394 @ 299.917
300.19/301.28	c bounds - >= 395 @ 299.918
300.19/301.28	c bounds - >= 396 @ 299.919
300.19/301.28	c bounds - >= 397 @ 299.92
300.19/301.28	c bounds - >= 398 @ 299.921
300.19/301.28	c bounds - >= 399 @ 299.922
300.19/301.28	c bounds - >= 400 @ 299.923
300.19/301.28	c bounds - >= 401 @ 299.924
300.19/301.28	c bounds - >= 402 @ 299.926
300.19/301.28	c bounds - >= 403 @ 299.927
300.19/301.28	c bounds - >= 404 @ 299.928
300.19/301.28	c bounds - >= 405 @ 299.929
300.19/301.28	c bounds - >= 406 @ 299.93
300.19/301.28	c bounds - >= 407 @ 299.931
300.19/301.28	c bounds - >= 408 @ 299.932
300.19/301.28	c bounds - >= 409 @ 299.933
300.19/301.28	c bounds - >= 410 @ 299.934
300.19/301.28	c bounds - >= 411 @ 299.935
300.19/301.28	c bounds - >= 412 @ 299.936
300.19/301.28	c bounds - >= 413 @ 299.937
300.19/301.28	c bounds - >= 414 @ 299.938
300.19/301.28	c bounds - >= 415 @ 299.939
300.19/301.28	c bounds - >= 416 @ 299.941
300.19/301.28	c bounds - >= 417 @ 299.942
300.19/301.28	c bounds - >= 418 @ 299.944
300.19/301.28	c bounds - >= 419 @ 299.945
300.19/301.28	c bounds - >= 420 @ 299.946
300.19/301.28	c bounds - >= 421 @ 299.947
300.19/301.28	c bounds - >= 422 @ 299.948
300.19/301.28	c bounds - >= 423 @ 299.949
300.19/301.28	c bounds - >= 424 @ 299.95
300.19/301.28	c bounds - >= 425 @ 299.951
300.19/301.28	c bounds - >= 426 @ 299.952
300.19/301.28	c bounds - >= 427 @ 299.954
300.19/301.28	c bounds - >= 428 @ 299.955
300.19/301.28	c bounds - >= 429 @ 299.956
300.19/301.28	c bounds - >= 430 @ 299.957
300.19/301.28	c bounds - >= 431 @ 299.958
300.19/301.28	c bounds - >= 432 @ 299.959
300.19/301.28	c bounds - >= 433 @ 299.96
300.19/301.28	c bounds - >= 434 @ 299.961
300.19/301.28	c bounds - >= 435 @ 299.962
300.19/301.28	c bounds - >= 436 @ 299.963
300.19/301.28	c bounds - >= 437 @ 299.964
300.19/301.28	c bounds - >= 438 @ 299.966
300.19/301.28	c bounds - >= 439 @ 299.967
300.19/301.28	c bounds - >= 440 @ 299.968
300.19/301.28	c bounds - >= 441 @ 299.969
300.19/301.28	c bounds - >= 442 @ 299.97
300.19/301.28	c bounds - >= 443 @ 299.971
300.19/301.28	c bounds - >= 444 @ 299.972
300.19/301.28	c bounds - >= 445 @ 299.972
300.40/301.49	c bounds - >= 446 @ 299.974
300.40/301.49	c bounds - >= 447 @ 299.974
300.40/301.49	c bounds - >= 448 @ 299.976
300.40/301.49	c bounds - >= 449 @ 299.977
300.40/301.49	c bounds - >= 450 @ 299.977
300.40/301.49	c bounds - >= 451 @ 299.979
300.40/301.49	c bounds - >= 452 @ 299.98
300.40/301.49	c bounds - >= 453 @ 299.981
300.40/301.49	c bounds - >= 454 @ 299.983
300.40/301.49	c bounds - >= 455 @ 299.984
300.40/301.49	c bounds - >= 456 @ 299.984
300.40/301.49	c bounds - >= 457 @ 299.986
300.40/301.49	c bounds - >= 458 @ 299.987
300.40/301.49	c bounds - >= 459 @ 299.989
300.40/301.49	c bounds - >= 460 @ 299.99
300.40/301.49	c bounds - >= 461 @ 299.99
300.40/301.49	c bounds - >= 462 @ 299.992
300.40/301.49	c bounds - >= 463 @ 299.993
300.40/301.49	c bounds - >= 464 @ 299.994
300.40/301.49	c bounds - >= 465 @ 299.996
300.40/301.49	c bounds - >= 466 @ 299.997
300.40/301.49	c bounds - >= 467 @ 299.997
300.40/301.49	c bounds - >= 468 @ 299.999
300.40/301.49	c bounds - >= 469 @ 300
300.40/301.49	c bounds - >= 470 @ 300.001
300.40/301.49	c bounds - >= 471 @ 300.003
300.40/301.49	c bounds - >= 472 @ 300.003
300.40/301.49	c bounds - >= 473 @ 300.005
300.40/301.49	c bounds - >= 474 @ 300.006
300.40/301.49	c bounds - >= 475 @ 300.007
300.40/301.49	c bounds - >= 476 @ 300.009
300.40/301.49	c bounds - >= 477 @ 300.01
300.40/301.49	c bounds - >= 478 @ 300.012
300.40/301.49	c bounds - >= 479 @ 300.013
300.40/301.49	c bounds - >= 480 @ 300.014
300.40/301.49	c bounds - >= 481 @ 300.016
300.40/301.49	c bounds - >= 482 @ 300.016
300.40/301.49	c bounds - >= 483 @ 300.018
300.40/301.49	c bounds - >= 484 @ 300.018
300.40/301.49	c bounds - >= 485 @ 300.019
300.40/301.49	c bounds - >= 486 @ 300.021
300.40/301.49	c bounds - >= 487 @ 300.023
300.40/301.49	c bounds - >= 488 @ 300.024
300.40/301.49	c bounds - >= 489 @ 300.024
300.40/301.49	c bounds - >= 490 @ 300.026
300.40/301.49	c bounds - >= 491 @ 300.027
300.40/301.49	c bounds - >= 492 @ 300.028
300.40/301.49	c bounds - >= 493 @ 300.03
300.40/301.49	c bounds - >= 494 @ 300.03
300.40/301.49	c bounds - >= 495 @ 300.032
300.40/301.49	c bounds - >= 496 @ 300.032
300.40/301.49	c bounds - >= 497 @ 300.033
300.40/301.49	c bounds - >= 498 @ 300.035
300.40/301.49	c bounds - >= 499 @ 300.036
300.40/301.49	c bounds - >= 500 @ 300.038
300.40/301.49	c bounds - >= 501 @ 300.039
300.40/301.49	c bounds - >= 502 @ 300.04
300.40/301.49	c bounds - >= 503 @ 300.042
300.40/301.49	c bounds - >= 504 @ 300.042
300.40/301.49	c bounds - >= 505 @ 300.044
300.40/301.49	c bounds - >= 506 @ 300.044
300.40/301.49	c bounds - >= 507 @ 300.046
300.40/301.49	c bounds - >= 508 @ 300.047
300.40/301.49	c bounds - >= 509 @ 300.048
300.40/301.49	c bounds - >= 510 @ 300.049
300.40/301.49	c bounds - >= 511 @ 300.05
300.40/301.49	c bounds - >= 512 @ 300.052
300.40/301.49	c bounds - >= 513 @ 300.052
300.40/301.49	c bounds - >= 514 @ 300.054
300.40/301.49	c bounds - >= 515 @ 300.055
300.40/301.49	c bounds - >= 516 @ 300.057
300.40/301.49	c bounds - >= 517 @ 300.057
300.40/301.49	c bounds - >= 518 @ 300.058
300.40/301.49	c bounds - >= 519 @ 300.059
300.40/301.49	c bounds - >= 520 @ 300.06
300.40/301.49	c bounds - >= 521 @ 300.062
300.40/301.49	c bounds - >= 522 @ 300.062
300.40/301.49	c bounds - >= 523 @ 300.064
300.40/301.49	c bounds - >= 524 @ 300.065
300.40/301.49	c bounds - >= 525 @ 300.066
300.40/301.49	c bounds - >= 526 @ 300.067
300.40/301.49	c bounds - >= 527 @ 300.068
300.40/301.49	c bounds - >= 528 @ 300.07
300.40/301.49	c bounds - >= 529 @ 300.07
300.40/301.49	c bounds - >= 530 @ 300.072
300.40/301.49	c bounds - >= 531 @ 300.073
300.40/301.49	c bounds - >= 532 @ 300.074
300.40/301.49	c bounds - >= 533 @ 300.076
300.40/301.49	c bounds - >= 534 @ 300.076
300.40/301.49	c bounds - >= 535 @ 300.078
300.40/301.49	c bounds - >= 536 @ 300.078
300.40/301.49	c bounds - >= 537 @ 300.079
300.40/301.49	c bounds - >= 538 @ 300.08
300.40/301.49	c bounds - >= 539 @ 300.082
300.40/301.49	c bounds - >= 540 @ 300.082
300.40/301.49	c bounds - >= 541 @ 300.084
300.40/301.49	c bounds - >= 542 @ 300.084
300.40/301.49	c bounds - >= 543 @ 300.085
300.40/301.49	c bounds - >= 544 @ 300.086
300.40/301.49	c bounds - >= 545 @ 300.086
300.40/301.49	c bounds - >= 546 @ 300.088
300.40/301.49	c bounds - >= 547 @ 300.088
300.40/301.49	c bounds - >= 548 @ 300.09
300.40/301.49	c bounds - >= 549 @ 300.091
300.40/301.49	c bounds - >= 550 @ 300.092
300.40/301.49	c bounds - >= 551 @ 300.093
300.40/301.49	c bounds - >= 552 @ 300.093
300.40/301.49	c bounds - >= 553 @ 300.095
300.40/301.49	c bounds - >= 554 @ 300.095
300.40/301.49	c bounds - >= 555 @ 300.096
300.40/301.49	c bounds - >= 556 @ 300.097
300.40/301.49	c bounds - >= 557 @ 300.098
300.40/301.49	c bounds - >= 558 @ 300.1
300.40/301.49	c bounds - >= 559 @ 300.1
300.40/301.49	c bounds - >= 560 @ 300.101
300.40/301.49	c bounds - >= 561 @ 300.103
300.40/301.49	c bounds - >= 562 @ 300.104
300.40/301.49	c bounds - >= 563 @ 300.106
300.40/301.49	c bounds - >= 564 @ 300.106
300.40/301.49	c bounds - >= 565 @ 300.107
300.40/301.49	c bounds - >= 566 @ 300.109
300.40/301.49	c bounds - >= 567 @ 300.11
300.40/301.49	c bounds - >= 568 @ 300.112
300.40/301.49	c bounds - >= 569 @ 300.113
300.40/301.49	c bounds - >= 570 @ 300.114
300.40/301.49	c bounds - >= 571 @ 300.115
300.40/301.49	c bounds - >= 572 @ 300.116
300.40/301.49	c bounds - >= 573 @ 300.117
300.40/301.49	c bounds - >= 574 @ 300.117
300.40/301.49	c bounds - >= 575 @ 300.119
300.40/301.49	c bounds - >= 576 @ 300.119
300.40/301.49	c bounds - >= 577 @ 300.121
300.40/301.49	c bounds - >= 578 @ 300.121
300.40/301.49	c bounds - >= 579 @ 300.122
300.40/301.49	c bounds - >= 580 @ 300.123
300.40/301.49	c bounds - >= 581 @ 300.124
300.40/301.49	c bounds - >= 582 @ 300.126
300.40/301.49	c bounds - >= 583 @ 300.126
300.40/301.49	c bounds - >= 584 @ 300.128
300.40/301.49	c bounds - >= 585 @ 300.128
300.40/301.49	c bounds - >= 586 @ 300.129
300.40/301.49	c bounds - >= 587 @ 300.13
300.40/301.49	c bounds - >= 588 @ 300.131
300.40/301.49	c bounds - >= 589 @ 300.132
300.40/301.49	c bounds - >= 590 @ 300.134
300.40/301.49	c bounds - >= 591 @ 300.134
300.40/301.49	c bounds - >= 592 @ 300.135
300.70/301.71	c bounds - >= 593 @ 300.136
300.70/301.71	c bounds - >= 594 @ 300.137
300.70/301.71	c bounds - >= 595 @ 300.138
300.70/301.71	c bounds - >= 596 @ 300.139
300.70/301.71	c bounds - >= 597 @ 300.141
300.70/301.71	c bounds - >= 598 @ 300.141
300.70/301.71	c bounds - >= 599 @ 300.142
300.70/301.71	c bounds - >= 600 @ 300.143
300.70/301.71	c bounds - >= 601 @ 300.144
300.70/301.71	c bounds - >= 602 @ 300.145
300.70/301.71	c bounds - >= 603 @ 300.146
300.70/301.71	c bounds - >= 604 @ 300.148
300.70/301.71	c bounds - >= 605 @ 300.149
300.70/301.71	c bounds - >= 606 @ 300.151
300.70/301.71	c bounds - >= 607 @ 300.152
300.70/301.71	c bounds - >= 608 @ 300.153
300.70/301.71	c bounds - >= 609 @ 300.154
300.70/301.71	c bounds - >= 610 @ 300.155
300.70/301.71	c bounds - >= 611 @ 300.156
300.70/301.71	c bounds - >= 612 @ 300.158
300.70/301.71	c bounds - >= 613 @ 300.159
300.70/301.71	c bounds - >= 614 @ 300.16
300.70/301.71	c bounds - >= 615 @ 300.161
300.70/301.71	c bounds - >= 616 @ 300.162
300.70/301.71	c bounds - >= 617 @ 300.163
300.70/301.71	c bounds - >= 618 @ 300.164
300.70/301.71	c bounds - >= 619 @ 300.165
300.70/301.71	c bounds - >= 620 @ 300.166
300.70/301.71	c bounds - >= 621 @ 300.167
300.70/301.71	c bounds - >= 622 @ 300.168
300.70/301.71	c bounds - >= 623 @ 300.169
300.70/301.71	c bounds - >= 624 @ 300.17
300.70/301.71	c bounds - >= 625 @ 300.171
300.70/301.71	c bounds - >= 626 @ 300.172
300.70/301.71	c bounds - >= 627 @ 300.173
300.70/301.71	c bounds - >= 628 @ 300.175
300.70/301.71	c bounds - >= 629 @ 300.175
300.70/301.71	c bounds - >= 630 @ 300.176
300.70/301.71	c bounds - >= 631 @ 300.177
300.70/301.71	c bounds - >= 632 @ 300.178
300.70/301.71	c bounds - >= 633 @ 300.18
300.70/301.71	c bounds - >= 634 @ 300.181
300.70/301.71	c bounds - >= 635 @ 300.182
300.70/301.71	c bounds - >= 636 @ 300.182
300.70/301.71	c bounds - >= 637 @ 300.184
300.70/301.71	c bounds - >= 638 @ 300.184
300.70/301.71	c bounds - >= 639 @ 300.185
300.70/301.71	c bounds - >= 640 @ 300.186
300.70/301.71	c bounds - >= 641 @ 300.187
300.70/301.71	c bounds - >= 642 @ 300.188
300.70/301.71	c bounds - >= 643 @ 300.19
300.70/301.71	c bounds - >= 644 @ 300.191
300.70/301.71	c bounds - >= 645 @ 300.192
300.70/301.71	c bounds - >= 646 @ 300.193
300.70/301.71	c bounds - >= 647 @ 300.194
300.70/301.71	c bounds - >= 648 @ 300.195
300.70/301.71	c bounds - >= 649 @ 300.197
300.70/301.71	c bounds - >= 650 @ 300.198
300.70/301.71	c bounds - >= 651 @ 300.199
300.70/301.71	c bounds - >= 652 @ 300.2
300.70/301.71	c bounds - >= 653 @ 300.202
300.70/301.71	c bounds - >= 654 @ 300.203
300.70/301.71	c bounds - >= 655 @ 300.204
300.70/301.71	c bounds - >= 656 @ 300.205
300.70/301.71	c bounds - >= 657 @ 300.206
300.70/301.71	c bounds - >= 658 @ 300.207
300.70/301.71	c bounds - >= 659 @ 300.208
300.70/301.71	c bounds - >= 660 @ 300.209
300.70/301.71	c bounds - >= 661 @ 300.21
300.70/301.71	c bounds - >= 662 @ 300.211
300.70/301.71	c bounds - >= 663 @ 300.212
300.70/301.71	c bounds - >= 664 @ 300.213
300.70/301.71	c bounds - >= 665 @ 300.214
300.70/301.71	c bounds - >= 666 @ 300.215
300.70/301.71	c bounds - >= 667 @ 300.216
300.70/301.71	c bounds - >= 668 @ 300.217
300.70/301.71	c bounds - >= 669 @ 300.218
300.70/301.71	c bounds - >= 670 @ 300.219
300.70/301.71	c bounds - >= 671 @ 300.22
300.70/301.71	c bounds - >= 672 @ 300.221
300.70/301.71	c bounds - >= 673 @ 300.222
300.70/301.71	c bounds - >= 674 @ 300.224
300.70/301.71	c bounds - >= 675 @ 300.225
300.70/301.71	c bounds - >= 676 @ 300.226
300.70/301.71	c bounds - >= 677 @ 300.227
300.70/301.71	c bounds - >= 678 @ 300.228
300.70/301.71	c bounds - >= 679 @ 300.229
300.70/301.71	c bounds - >= 680 @ 300.231
300.70/301.71	c bounds - >= 681 @ 300.232
300.70/301.71	c bounds - >= 682 @ 300.234
300.70/301.71	c bounds - >= 683 @ 300.235
300.70/301.71	c bounds - >= 684 @ 300.236
300.70/301.71	c bounds - >= 685 @ 300.237
300.70/301.71	c bounds - >= 686 @ 300.238
300.70/301.71	c bounds - >= 687 @ 300.24
300.70/301.71	c bounds - >= 688 @ 300.241
300.70/301.71	c bounds - >= 689 @ 300.242
300.70/301.71	c bounds - >= 690 @ 300.243
300.70/301.71	c bounds - >= 691 @ 300.244
300.70/301.71	c bounds - >= 692 @ 300.245
300.70/301.71	c bounds - >= 693 @ 300.247
300.70/301.71	c bounds - >= 694 @ 300.248
300.70/301.71	c bounds - >= 695 @ 300.249
300.70/301.71	c bounds - >= 696 @ 300.249
300.70/301.71	c bounds - >= 697 @ 300.25
300.70/301.71	c bounds - >= 698 @ 300.252
300.70/301.71	c bounds - >= 699 @ 300.253
300.70/301.71	c bounds - >= 700 @ 300.254
300.70/301.71	c bounds - >= 701 @ 300.255
300.70/301.71	c bounds - >= 702 @ 300.256
300.70/301.71	c bounds - >= 703 @ 300.257
300.70/301.71	c bounds - >= 704 @ 300.259
300.70/301.71	c bounds - >= 705 @ 300.26
300.70/301.71	c bounds - >= 706 @ 300.261
300.70/301.71	c bounds - >= 707 @ 300.262
300.70/301.71	c bounds - >= 708 @ 300.264
300.70/301.71	c bounds - >= 709 @ 300.265
300.70/301.71	c bounds - >= 710 @ 300.266
300.70/301.71	c bounds - >= 711 @ 300.268
300.70/301.71	c bounds - >= 712 @ 300.269
300.70/301.71	c bounds - >= 713 @ 300.271
300.70/301.71	c bounds - >= 714 @ 300.271
300.70/301.71	c bounds - >= 715 @ 300.273
300.70/301.71	c bounds - >= 716 @ 300.274
300.70/301.71	c bounds - >= 717 @ 300.276
300.70/301.71	c bounds - >= 718 @ 300.277
300.70/301.71	c bounds - >= 719 @ 300.278
300.70/301.71	c bounds - >= 720 @ 300.279
300.70/301.71	c bounds - >= 721 @ 300.28
300.70/301.71	c bounds - >= 722 @ 300.281
300.70/301.71	c bounds - >= 723 @ 300.282
300.70/301.71	c bounds - >= 724 @ 300.283
300.70/301.71	c bounds - >= 725 @ 300.284
300.70/301.71	c bounds - >= 726 @ 300.285
300.70/301.71	c bounds - >= 727 @ 300.286
300.70/301.71	c bounds - >= 728 @ 300.288
300.70/301.71	c bounds - >= 729 @ 300.289
300.70/301.71	c bounds - >= 730 @ 300.29
300.70/301.71	c bounds - >= 731 @ 300.292
300.70/301.71	c bounds - >= 732 @ 300.293
300.70/301.71	c bounds - >= 733 @ 300.294
300.70/301.71	c bounds - >= 734 @ 300.295
300.70/301.71	c bounds - >= 735 @ 300.297
300.70/301.71	c bounds - >= 736 @ 300.298
300.70/301.71	c bounds - >= 737 @ 300.299
300.70/301.71	c bounds - >= 738 @ 300.3
300.70/301.71	c bounds - >= 739 @ 300.302
300.89/301.94	c bounds - >= 740 @ 300.303
300.89/301.94	c bounds - >= 741 @ 300.304
300.89/301.94	c bounds - >= 742 @ 300.305
300.89/301.94	c bounds - >= 743 @ 300.306
300.89/301.94	c bounds - >= 744 @ 300.308
300.89/301.94	c bounds - >= 745 @ 300.309
300.89/301.94	c bounds - >= 746 @ 300.31
300.89/301.94	c bounds - >= 747 @ 300.311
300.89/301.94	c bounds - >= 748 @ 300.312
300.89/301.94	c bounds - >= 749 @ 300.313
300.89/301.94	c bounds - >= 750 @ 300.314
300.89/301.94	c bounds - >= 751 @ 300.315
300.89/301.94	c bounds - >= 752 @ 300.316
300.89/301.94	c bounds - >= 753 @ 300.317
300.89/301.94	c bounds - >= 754 @ 300.318
300.89/301.94	c bounds - >= 755 @ 300.319
300.89/301.94	c bounds - >= 756 @ 300.32
300.89/301.94	c bounds - >= 757 @ 300.321
300.89/301.94	c bounds - >= 758 @ 300.323
300.89/301.94	c bounds - >= 759 @ 300.324
300.89/301.94	c bounds - >= 760 @ 300.325
300.89/301.94	c bounds - >= 761 @ 300.326
300.89/301.94	c bounds - >= 762 @ 300.327
300.89/301.94	c bounds - >= 763 @ 300.328
300.89/301.94	c bounds - >= 764 @ 300.329
300.89/301.94	c bounds - >= 765 @ 300.33
300.89/301.94	c bounds - >= 766 @ 300.331
300.89/301.94	c bounds - >= 767 @ 300.332
300.89/301.94	c bounds - >= 768 @ 300.333
300.89/301.94	c bounds - >= 769 @ 300.333
300.89/301.94	c bounds - >= 770 @ 300.334
300.89/301.94	c bounds - >= 771 @ 300.335
300.89/301.94	c bounds - >= 772 @ 300.336
300.89/301.94	c bounds - >= 773 @ 300.337
300.89/301.94	c bounds - >= 774 @ 300.338
300.89/301.94	c bounds - >= 775 @ 300.339
300.89/301.94	c bounds - >= 776 @ 300.34
300.89/301.94	c bounds - >= 777 @ 300.341
300.89/301.94	c bounds - >= 778 @ 300.343
300.89/301.94	c bounds - >= 779 @ 300.344
300.89/301.94	c bounds - >= 780 @ 300.345
300.89/301.94	c bounds - >= 781 @ 300.346
300.89/301.94	c bounds - >= 782 @ 300.347
300.89/301.94	c bounds - >= 783 @ 300.347
300.89/301.94	c bounds - >= 784 @ 300.348
300.89/301.94	c bounds - >= 785 @ 300.349
300.89/301.94	c bounds - >= 786 @ 300.351
300.89/301.94	c bounds - >= 787 @ 300.352
300.89/301.94	c bounds - >= 788 @ 300.353
300.89/301.94	c bounds - >= 789 @ 300.354
300.89/301.94	c bounds - >= 790 @ 300.355
300.89/301.94	c bounds - >= 791 @ 300.356
300.89/301.94	c bounds - >= 792 @ 300.357
300.89/301.94	c bounds - >= 793 @ 300.358
300.89/301.94	c bounds - >= 794 @ 300.359
300.89/301.94	c bounds - >= 795 @ 300.361
300.89/301.94	c bounds - >= 796 @ 300.362
300.89/301.94	c bounds - >= 797 @ 300.362
300.89/301.94	c bounds - >= 798 @ 300.363
300.89/301.94	c bounds - >= 799 @ 300.365
300.89/301.94	c bounds - >= 800 @ 300.366
300.89/301.94	c bounds - >= 801 @ 300.367
300.89/301.94	c bounds - >= 802 @ 300.368
300.89/301.94	c bounds - >= 803 @ 300.369
300.89/301.94	c bounds - >= 804 @ 300.369
300.89/301.94	c bounds - >= 805 @ 300.37
300.89/301.94	c bounds - >= 806 @ 300.371
300.89/301.94	c bounds - >= 807 @ 300.373
300.89/301.94	c bounds - >= 808 @ 300.374
300.89/301.94	c bounds - >= 809 @ 300.375
300.89/301.94	c bounds - >= 810 @ 300.377
300.89/301.94	c bounds - >= 811 @ 300.378
300.89/301.94	c bounds - >= 812 @ 300.378
300.89/301.94	c bounds - >= 813 @ 300.379
300.89/301.94	c bounds - >= 814 @ 300.38
300.89/301.94	c bounds - >= 815 @ 300.381
300.89/301.94	c bounds - >= 816 @ 300.382
300.89/301.94	c bounds - >= 817 @ 300.383
300.89/301.94	c bounds - >= 818 @ 300.383
300.89/301.94	c bounds - >= 819 @ 300.385
300.89/301.94	c bounds - >= 820 @ 300.385
300.89/301.94	c bounds - >= 821 @ 300.387
300.89/301.94	c bounds - >= 822 @ 300.389
300.89/301.94	c bounds - >= 823 @ 300.389
300.89/301.94	c bounds - >= 824 @ 300.39
300.89/301.94	c bounds - >= 825 @ 300.391
300.89/301.94	c bounds - >= 826 @ 300.393
300.89/301.94	c bounds - >= 827 @ 300.394
300.89/301.94	c bounds - >= 828 @ 300.396
300.89/301.94	c bounds - >= 829 @ 300.397
300.89/301.94	c bounds - >= 830 @ 300.398
300.89/301.94	c bounds - >= 831 @ 300.399
300.89/301.94	c bounds - >= 832 @ 300.399
300.89/301.94	c bounds - >= 833 @ 300.401
300.89/301.94	c bounds - >= 834 @ 300.402
300.89/301.94	c bounds - >= 835 @ 300.402
300.89/301.94	c bounds - >= 836 @ 300.404
300.89/301.94	c bounds - >= 837 @ 300.405
300.89/301.94	c bounds - >= 838 @ 300.407
300.89/301.94	c bounds - >= 839 @ 300.409
300.89/301.94	c bounds - >= 840 @ 300.409
300.89/301.94	c bounds - >= 841 @ 300.411
300.89/301.94	c bounds - >= 842 @ 300.411
300.89/301.94	c bounds - >= 843 @ 300.413
300.89/301.94	c bounds - >= 844 @ 300.414
300.89/301.94	c bounds - >= 845 @ 300.414
300.89/301.94	c bounds - >= 846 @ 300.416
300.89/301.94	c bounds - >= 847 @ 300.417
300.89/301.94	c bounds - >= 848 @ 300.417
300.89/301.94	c bounds - >= 849 @ 300.419
300.89/301.94	c bounds - >= 850 @ 300.42
300.89/301.94	c bounds - >= 851 @ 300.42
300.89/301.94	c bounds - >= 852 @ 300.422
300.89/301.94	c bounds - >= 853 @ 300.423
300.89/301.94	c bounds - >= 854 @ 300.424
300.89/301.94	c bounds - >= 855 @ 300.426
300.89/301.94	c bounds - >= 856 @ 300.426
300.89/301.94	c bounds - >= 857 @ 300.426
300.89/301.94	c bounds - >= 858 @ 300.428
300.89/301.94	c bounds - >= 859 @ 300.429
300.89/301.94	c bounds - >= 860 @ 300.43
300.89/301.94	c bounds - >= 861 @ 300.431
300.89/301.94	c bounds - >= 862 @ 300.431
300.89/301.94	c bounds - >= 863 @ 300.433
300.89/301.94	c bounds - >= 864 @ 300.433
300.89/301.94	c bounds - >= 865 @ 300.434
300.89/301.94	c bounds - >= 866 @ 300.436
300.89/301.94	c bounds - >= 867 @ 300.436
300.89/301.94	c bounds - >= 868 @ 300.438
300.89/301.94	c bounds - >= 869 @ 300.438
300.89/301.94	c bounds - >= 870 @ 300.44
300.89/301.94	c bounds - >= 871 @ 300.442
300.89/301.94	c bounds - >= 872 @ 300.442
300.89/301.94	c bounds - >= 873 @ 300.444
300.89/301.94	c bounds - >= 874 @ 300.445
300.89/301.94	c bounds - >= 875 @ 300.446
300.89/301.94	c bounds - >= 876 @ 300.448
300.89/301.94	c bounds - >= 877 @ 300.448
300.89/301.94	c bounds - >= 878 @ 300.449
300.89/301.94	c bounds - >= 879 @ 300.451
300.89/301.94	c bounds - >= 880 @ 300.452
300.89/301.94	c bounds - >= 881 @ 300.453
300.89/301.94	c bounds - >= 882 @ 300.455
300.89/301.94	c bounds - >= 883 @ 300.455
300.89/301.94	c bounds - >= 884 @ 300.456
300.89/301.94	c bounds - >= 885 @ 300.457
300.89/301.94	c bounds - >= 886 @ 300.458
301.09/302.19	c bounds - >= 887 @ 300.46
301.09/302.19	c bounds - >= 888 @ 300.462
301.09/302.19	c bounds - >= 889 @ 300.463
301.09/302.19	c bounds - >= 890 @ 300.465
301.09/302.19	c bounds - >= 891 @ 300.465
301.09/302.19	c bounds - >= 892 @ 300.466
301.09/302.19	c bounds - >= 893 @ 300.468
301.09/302.19	c bounds - >= 894 @ 300.469
301.09/302.19	c bounds - >= 895 @ 300.471
301.09/302.19	c bounds - >= 896 @ 300.473
301.09/302.19	c bounds - >= 897 @ 300.473
301.09/302.19	c bounds - >= 898 @ 300.475
301.09/302.19	c bounds - >= 899 @ 300.475
301.09/302.19	c bounds - >= 900 @ 300.476
301.09/302.19	c bounds - >= 901 @ 300.478
301.09/302.19	c bounds - >= 902 @ 300.478
301.09/302.19	c bounds - >= 903 @ 300.479
301.09/302.19	c bounds - >= 904 @ 300.481
301.09/302.19	c bounds - >= 905 @ 300.481
301.09/302.19	c bounds - >= 906 @ 300.483
301.09/302.19	c bounds - >= 907 @ 300.484
301.09/302.19	c bounds - >= 908 @ 300.484
301.09/302.19	c bounds - >= 909 @ 300.486
301.09/302.19	c bounds - >= 910 @ 300.487
301.09/302.19	c bounds - >= 911 @ 300.489
301.09/302.19	c bounds - >= 912 @ 300.489
301.09/302.19	c bounds - >= 913 @ 300.491
301.09/302.19	c bounds - >= 914 @ 300.491
301.09/302.19	c bounds - >= 915 @ 300.492
301.09/302.19	c bounds - >= 916 @ 300.494
301.09/302.19	c bounds - >= 917 @ 300.495
301.09/302.19	c bounds - >= 918 @ 300.496
301.09/302.19	c bounds - >= 919 @ 300.498
301.09/302.19	c bounds - >= 920 @ 300.498
301.09/302.19	c bounds - >= 921 @ 300.499
301.09/302.19	c bounds - >= 922 @ 300.5
301.09/302.19	c bounds - >= 923 @ 300.5
301.09/302.19	c bounds - >= 924 @ 300.502
301.09/302.19	c bounds - >= 925 @ 300.503
301.09/302.19	c bounds - >= 926 @ 300.504
301.09/302.19	c bounds - >= 927 @ 300.506
301.09/302.19	c bounds - >= 928 @ 300.506
301.09/302.19	c bounds - >= 929 @ 300.508
301.09/302.19	c bounds - >= 930 @ 300.51
301.09/302.19	c bounds - >= 931 @ 300.51
301.09/302.19	c bounds - >= 932 @ 300.512
301.09/302.19	c bounds - >= 933 @ 300.512
301.09/302.19	c bounds - >= 934 @ 300.513
301.09/302.19	c bounds - >= 935 @ 300.515
301.09/302.19	c bounds - >= 936 @ 300.516
301.09/302.19	c bounds - >= 937 @ 300.517
301.09/302.19	c bounds - >= 938 @ 300.519
301.09/302.19	c bounds - >= 939 @ 300.519
301.09/302.19	c bounds - >= 940 @ 300.52
301.09/302.19	c bounds - >= 941 @ 300.522
301.09/302.19	c bounds - >= 942 @ 300.522
301.09/302.19	c bounds - >= 943 @ 300.523
301.09/302.19	c bounds - >= 944 @ 300.525
301.09/302.19	c bounds - >= 945 @ 300.526
301.09/302.19	c bounds - >= 946 @ 300.528
301.09/302.19	c bounds - >= 947 @ 300.529
301.09/302.19	c bounds - >= 948 @ 300.531
301.09/302.19	c bounds - >= 949 @ 300.531
301.09/302.19	c bounds - >= 950 @ 300.532
301.09/302.19	c bounds - >= 951 @ 300.534
301.09/302.19	c bounds - >= 952 @ 300.534
301.09/302.19	c bounds - >= 953 @ 300.536
301.09/302.19	c bounds - >= 954 @ 300.538
301.09/302.19	c bounds - >= 955 @ 300.538
301.09/302.19	c bounds - >= 956 @ 300.54
301.09/302.19	c bounds - >= 957 @ 300.542
301.09/302.19	c bounds - >= 958 @ 300.542
301.09/302.19	c bounds - >= 959 @ 300.543
301.09/302.19	c bounds - >= 960 @ 300.545
301.09/302.19	c bounds - >= 961 @ 300.547
301.09/302.19	c bounds - >= 962 @ 300.548
301.09/302.19	c bounds - >= 963 @ 300.55
301.09/302.19	c bounds - >= 964 @ 300.551
301.09/302.19	c bounds - >= 965 @ 300.551
301.09/302.19	c bounds - >= 966 @ 300.552
301.09/302.19	c bounds - >= 967 @ 300.554
301.09/302.19	c bounds - >= 968 @ 300.554
301.09/302.19	c bounds - >= 969 @ 300.555
301.09/302.19	c bounds - >= 970 @ 300.557
301.09/302.19	c bounds - >= 971 @ 300.557
301.09/302.19	c bounds - >= 972 @ 300.559
301.09/302.19	c bounds - >= 973 @ 300.561
301.09/302.19	c bounds - >= 974 @ 300.561
301.09/302.19	c bounds - >= 975 @ 300.562
301.09/302.19	c bounds - >= 976 @ 300.563
301.09/302.19	c bounds - >= 977 @ 300.565
301.09/302.19	c bounds - >= 978 @ 300.565
301.09/302.19	c bounds - >= 979 @ 300.566
301.09/302.19	c bounds - >= 980 @ 300.568
301.09/302.19	c bounds - >= 981 @ 300.568
301.09/302.19	c bounds - >= 982 @ 300.57
301.09/302.19	c bounds - >= 983 @ 300.571
301.09/302.19	c bounds - >= 984 @ 300.572
301.09/302.19	c bounds - >= 985 @ 300.573
301.09/302.19	c bounds - >= 986 @ 300.574
301.09/302.19	c bounds - >= 987 @ 300.576
301.09/302.19	c bounds - >= 988 @ 300.576
301.09/302.19	c bounds - >= 989 @ 300.577
301.09/302.19	c bounds - >= 990 @ 300.579
301.09/302.19	c bounds - >= 991 @ 300.579
301.09/302.19	c bounds - >= 992 @ 300.58
301.09/302.19	c bounds - >= 993 @ 300.58
301.09/302.19	c bounds - >= 994 @ 300.581
301.09/302.19	c bounds - >= 995 @ 300.582
301.09/302.19	c bounds - >= 996 @ 300.583
301.09/302.19	c bounds - >= 997 @ 300.585
301.09/302.19	c bounds - >= 998 @ 300.585
301.09/302.19	c bounds - >= 999 @ 300.586
301.09/302.19	c bounds - >= 1000 @ 300.588
301.09/302.19	c bounds - >= 1001 @ 300.589
301.09/302.19	c bounds - >= 1002 @ 300.59
301.09/302.19	c bounds - >= 1003 @ 300.591
301.09/302.19	c bounds - >= 1004 @ 300.591
301.09/302.19	c bounds - >= 1005 @ 300.592
301.09/302.19	c bounds - >= 1006 @ 300.593
301.09/302.19	c bounds - >= 1007 @ 300.595
301.09/302.19	c bounds - >= 1008 @ 300.596
301.09/302.19	c bounds - >= 1009 @ 300.597
301.09/302.19	c bounds - >= 1010 @ 300.598
301.09/302.19	c bounds - >= 1011 @ 300.598
301.09/302.19	c bounds - >= 1012 @ 300.599
301.09/302.19	c bounds - >= 1013 @ 300.6
301.09/302.19	c bounds - >= 1014 @ 300.601
301.09/302.19	c bounds - >= 1015 @ 300.602
301.09/302.19	c bounds - >= 1016 @ 300.603
301.09/302.19	c bounds - >= 1017 @ 300.604
301.09/302.19	c bounds - >= 1018 @ 300.605
301.09/302.19	c bounds - >= 1019 @ 300.606
301.09/302.19	c bounds - >= 1020 @ 300.606
301.09/302.19	c bounds - >= 1021 @ 300.607
301.09/302.19	c bounds - >= 1022 @ 300.608
301.09/302.19	c bounds - >= 1023 @ 300.608
301.09/302.19	c bounds - >= 1024 @ 300.61
301.09/302.19	c bounds - >= 1025 @ 300.612
301.09/302.19	c bounds - >= 1026 @ 300.613
301.09/302.19	c bounds - >= 1027 @ 300.614
301.09/302.19	c bounds - >= 1028 @ 300.616
301.09/302.19	c bounds - >= 1029 @ 300.618
301.09/302.19	c bounds - >= 1030 @ 300.618
301.09/302.19	c bounds - >= 1031 @ 300.619
301.39/302.44	c bounds - >= 1032 @ 300.62
301.39/302.44	c bounds - >= 1033 @ 300.62
301.39/302.44	c bounds - >= 1034 @ 300.622
301.39/302.44	c bounds - >= 1035 @ 300.623
301.39/302.44	c bounds - >= 1036 @ 300.623
301.39/302.44	c bounds - >= 1037 @ 300.624
301.39/302.44	c bounds - >= 1038 @ 300.626
301.39/302.44	c bounds - >= 1039 @ 300.627
301.39/302.44	c bounds - >= 1040 @ 300.629
301.39/302.44	c bounds - >= 1041 @ 300.63
301.39/302.44	c bounds - >= 1042 @ 300.631
301.39/302.44	c bounds - >= 1043 @ 300.632
301.39/302.44	c bounds - >= 1044 @ 300.634
301.39/302.44	c bounds - >= 1045 @ 300.635
301.39/302.44	c bounds - >= 1046 @ 300.636
301.39/302.44	c bounds - >= 1047 @ 300.637
301.39/302.44	c bounds - >= 1048 @ 300.638
301.39/302.44	c bounds - >= 1049 @ 300.639
301.39/302.44	c bounds - >= 1050 @ 300.641
301.39/302.44	c bounds - >= 1051 @ 300.642
301.39/302.44	c bounds - >= 1052 @ 300.643
301.39/302.44	c bounds - >= 1053 @ 300.644
301.39/302.44	c bounds - >= 1054 @ 300.646
301.39/302.44	c bounds - >= 1055 @ 300.647
301.39/302.44	c bounds - >= 1056 @ 300.648
301.39/302.44	c bounds - >= 1057 @ 300.649
301.39/302.44	c bounds - >= 1058 @ 300.65
301.39/302.44	c bounds - >= 1059 @ 300.651
301.39/302.44	c bounds - >= 1060 @ 300.652
301.39/302.44	c bounds - >= 1061 @ 300.653
301.39/302.44	c bounds - >= 1062 @ 300.655
301.39/302.44	c bounds - >= 1063 @ 300.656
301.39/302.44	c bounds - >= 1064 @ 300.657
301.39/302.44	c bounds - >= 1065 @ 300.659
301.39/302.44	c bounds - >= 1066 @ 300.66
301.39/302.44	c bounds - >= 1067 @ 300.661
301.39/302.44	c bounds - >= 1068 @ 300.662
301.39/302.44	c bounds - >= 1069 @ 300.664
301.39/302.44	c bounds - >= 1070 @ 300.666
301.39/302.44	c bounds - >= 1071 @ 300.667
301.39/302.44	c bounds - >= 1072 @ 300.667
301.39/302.44	c bounds - >= 1073 @ 300.668
301.39/302.44	c bounds - >= 1074 @ 300.669
301.39/302.44	c bounds - >= 1075 @ 300.67
301.39/302.44	c bounds - >= 1076 @ 300.671
301.39/302.44	c bounds - >= 1077 @ 300.671
301.39/302.44	c bounds - >= 1078 @ 300.673
301.39/302.44	c bounds - >= 1079 @ 300.674
301.39/302.44	c bounds - >= 1080 @ 300.675
301.39/302.44	c bounds - >= 1081 @ 300.676
301.39/302.44	c bounds - >= 1082 @ 300.676
301.39/302.44	c bounds - >= 1083 @ 300.678
301.39/302.44	c bounds - >= 1084 @ 300.679
301.39/302.44	c bounds - >= 1085 @ 300.68
301.39/302.44	c bounds - >= 1086 @ 300.68
301.39/302.44	c bounds - >= 1087 @ 300.681
301.39/302.44	c bounds - >= 1088 @ 300.683
301.39/302.44	c bounds - >= 1089 @ 300.684
301.39/302.44	c bounds - >= 1090 @ 300.685
301.39/302.44	c bounds - >= 1091 @ 300.686
301.39/302.44	c bounds - >= 1092 @ 300.687
301.39/302.44	c bounds - >= 1093 @ 300.688
301.39/302.44	c bounds - >= 1094 @ 300.689
301.39/302.44	c bounds - >= 1095 @ 300.69
301.39/302.44	c bounds - >= 1096 @ 300.691
301.39/302.44	c bounds - >= 1097 @ 300.692
301.39/302.44	c bounds - >= 1098 @ 300.693
301.39/302.44	c bounds - >= 1099 @ 300.694
301.39/302.44	c bounds - >= 1100 @ 300.695
301.39/302.44	c bounds - >= 1101 @ 300.696
301.39/302.44	c bounds - >= 1102 @ 300.697
301.39/302.44	c bounds - >= 1103 @ 300.698
301.39/302.44	c bounds - >= 1104 @ 300.699
301.39/302.44	c bounds - >= 1105 @ 300.701
301.39/302.44	c bounds - >= 1106 @ 300.702
301.39/302.44	c bounds - >= 1107 @ 300.702
301.39/302.44	c bounds - >= 1108 @ 300.703
301.39/302.44	c bounds - >= 1109 @ 300.704
301.39/302.44	c bounds - >= 1110 @ 300.705
301.39/302.44	c bounds - >= 1111 @ 300.706
301.39/302.44	c bounds - >= 1112 @ 300.707
301.39/302.44	c bounds - >= 1113 @ 300.709
301.39/302.44	c bounds - >= 1114 @ 300.71
301.39/302.44	c bounds - >= 1115 @ 300.711
301.39/302.44	c bounds - >= 1116 @ 300.712
301.39/302.44	c bounds - >= 1117 @ 300.712
301.39/302.44	c bounds - >= 1118 @ 300.713
301.39/302.44	c bounds - >= 1119 @ 300.714
301.39/302.44	c bounds - >= 1120 @ 300.715
301.39/302.44	c bounds - >= 1121 @ 300.716
301.39/302.44	c bounds - >= 1122 @ 300.717
301.39/302.44	c bounds - >= 1123 @ 300.718
301.39/302.44	c bounds - >= 1124 @ 300.718
301.39/302.44	c bounds - >= 1125 @ 300.72
301.39/302.44	c bounds - >= 1126 @ 300.721
301.39/302.44	c bounds - >= 1127 @ 300.722
301.39/302.44	c bounds - >= 1128 @ 300.723
301.39/302.44	c bounds - >= 1129 @ 300.724
301.39/302.44	c bounds - >= 1130 @ 300.726
301.39/302.44	c bounds - >= 1131 @ 300.728
301.39/302.44	c bounds - >= 1132 @ 300.729
301.39/302.44	c bounds - >= 1133 @ 300.729
301.39/302.44	c bounds - >= 1134 @ 300.731
301.39/302.44	c bounds - >= 1135 @ 300.732
301.39/302.44	c bounds - >= 1136 @ 300.733
301.39/302.44	c bounds - >= 1137 @ 300.734
301.39/302.44	c bounds - >= 1138 @ 300.735
301.39/302.44	c bounds - >= 1139 @ 300.736
301.39/302.44	c bounds - >= 1140 @ 300.737
301.39/302.44	c bounds - >= 1141 @ 300.739
301.39/302.44	c bounds - >= 1142 @ 300.741
301.39/302.44	c bounds - >= 1143 @ 300.742
301.39/302.44	c bounds - >= 1144 @ 300.743
301.39/302.44	c bounds - >= 1145 @ 300.744
301.39/302.44	c bounds - >= 1146 @ 300.746
301.39/302.44	c bounds - >= 1147 @ 300.747
301.39/302.44	c bounds - >= 1148 @ 300.749
301.39/302.44	c bounds - >= 1149 @ 300.751
301.39/302.44	c bounds - >= 1150 @ 300.752
301.39/302.44	c bounds - >= 1151 @ 300.752
301.39/302.44	c bounds - >= 1152 @ 300.753
301.39/302.44	c bounds - >= 1153 @ 300.754
301.39/302.44	c bounds - >= 1154 @ 300.755
301.39/302.44	c bounds - >= 1155 @ 300.756
301.39/302.44	c bounds - >= 1156 @ 300.757
301.39/302.44	c bounds - >= 1157 @ 300.758
301.39/302.44	c bounds - >= 1158 @ 300.759
301.39/302.44	c bounds - >= 1159 @ 300.76
301.39/302.44	c bounds - >= 1160 @ 300.761
301.39/302.44	c bounds - >= 1161 @ 300.762
301.39/302.44	c bounds - >= 1162 @ 300.763
301.39/302.44	c bounds - >= 1163 @ 300.763
301.39/302.44	c bounds - >= 1164 @ 300.764
301.39/302.44	c bounds - >= 1165 @ 300.765
301.39/302.44	c bounds - >= 1166 @ 300.766
301.39/302.44	c bounds - >= 1167 @ 300.767
301.39/302.44	c bounds - >= 1168 @ 300.768
301.39/302.44	c bounds - >= 1169 @ 300.769
301.39/302.44	c bounds - >= 1170 @ 300.77
301.39/302.44	c bounds - >= 1171 @ 300.771
301.39/302.44	c bounds - >= 1172 @ 300.772
301.39/302.44	c bounds - >= 1173 @ 300.773
301.69/302.71	c bounds - >= 1174 @ 300.774
301.69/302.71	c bounds - >= 1175 @ 300.775
301.69/302.71	c bounds - >= 1176 @ 300.776
301.69/302.71	c bounds - >= 1177 @ 300.777
301.69/302.71	c bounds - >= 1178 @ 300.778
301.69/302.71	c bounds - >= 1179 @ 300.78
301.69/302.71	c bounds - >= 1180 @ 300.781
301.69/302.71	c bounds - >= 1181 @ 300.782
301.69/302.71	c bounds - >= 1182 @ 300.782
301.69/302.71	c bounds - >= 1183 @ 300.784
301.69/302.71	c bounds - >= 1184 @ 300.785
301.69/302.71	c bounds - >= 1185 @ 300.787
301.69/302.71	c bounds - >= 1186 @ 300.788
301.69/302.71	c bounds - >= 1187 @ 300.79
301.69/302.71	c bounds - >= 1188 @ 300.791
301.69/302.71	c bounds - >= 1189 @ 300.792
301.69/302.71	c bounds - >= 1190 @ 300.793
301.69/302.71	c bounds - >= 1191 @ 300.794
301.69/302.71	c bounds - >= 1192 @ 300.795
301.69/302.71	c bounds - >= 1193 @ 300.797
301.69/302.71	c bounds - >= 1194 @ 300.797
301.69/302.71	c bounds - >= 1195 @ 300.799
301.69/302.71	c bounds - >= 1196 @ 300.8
301.69/302.71	c bounds - >= 1197 @ 300.801
301.69/302.71	c bounds - >= 1198 @ 300.802
301.69/302.71	c bounds - >= 1199 @ 300.804
301.69/302.71	c bounds - >= 1200 @ 300.804
301.69/302.71	c bounds - >= 1201 @ 300.805
301.69/302.71	c bounds - >= 1202 @ 300.806
301.69/302.71	c bounds - >= 1203 @ 300.807
301.69/302.71	c bounds - >= 1204 @ 300.808
301.69/302.71	c bounds - >= 1205 @ 300.81
301.69/302.71	c bounds - >= 1206 @ 300.811
301.69/302.71	c bounds - >= 1207 @ 300.813
301.69/302.71	c bounds - >= 1208 @ 300.815
301.69/302.71	c bounds - >= 1209 @ 300.816
301.69/302.71	c bounds - >= 1210 @ 300.816
301.69/302.71	c bounds - >= 1211 @ 300.818
301.69/302.71	c bounds - >= 1212 @ 300.819
301.69/302.71	c bounds - >= 1213 @ 300.82
301.69/302.71	c bounds - >= 1214 @ 300.822
301.69/302.71	c bounds - >= 1215 @ 300.823
301.69/302.71	c bounds - >= 1216 @ 300.824
301.69/302.71	c bounds - >= 1217 @ 300.824
301.69/302.71	c bounds - >= 1218 @ 300.825
301.69/302.71	c bounds - >= 1219 @ 300.826
301.69/302.71	c bounds - >= 1220 @ 300.827
301.69/302.71	c bounds - >= 1221 @ 300.828
301.69/302.71	c bounds - >= 1222 @ 300.83
301.69/302.71	c bounds - >= 1223 @ 300.83
301.69/302.71	c bounds - >= 1224 @ 300.831
301.69/302.71	c bounds - >= 1225 @ 300.832
301.69/302.71	c bounds - >= 1226 @ 300.833
301.69/302.71	c bounds - >= 1227 @ 300.834
301.69/302.71	c bounds - >= 1228 @ 300.835
301.69/302.71	c bounds - >= 1229 @ 300.836
301.69/302.71	c bounds - >= 1230 @ 300.836
301.69/302.71	c bounds - >= 1231 @ 300.838
301.69/302.71	c bounds - >= 1232 @ 300.839
301.69/302.71	c bounds - >= 1233 @ 300.841
301.69/302.71	c bounds - >= 1234 @ 300.842
301.69/302.71	c bounds - >= 1235 @ 300.843
301.69/302.71	c bounds - >= 1236 @ 300.844
301.69/302.71	c bounds - >= 1237 @ 300.845
301.69/302.71	c bounds - >= 1238 @ 300.847
301.69/302.71	c bounds - >= 1239 @ 300.848
301.69/302.71	c bounds - >= 1240 @ 300.849
301.69/302.71	c bounds - >= 1241 @ 300.85
301.69/302.71	c bounds - >= 1242 @ 300.852
301.69/302.71	c bounds - >= 1243 @ 300.853
301.69/302.71	c bounds - >= 1244 @ 300.855
301.69/302.71	c bounds - >= 1245 @ 300.856
301.69/302.71	c bounds - >= 1246 @ 300.857
301.69/302.71	c bounds - >= 1247 @ 300.859
301.69/302.71	c bounds - >= 1248 @ 300.861
301.69/302.71	c bounds - >= 1249 @ 300.863
301.69/302.71	c bounds - >= 1250 @ 300.864
301.69/302.71	c bounds - >= 1251 @ 300.866
301.69/302.71	c bounds - >= 1252 @ 300.866
301.69/302.71	c bounds - >= 1253 @ 300.867
301.69/302.71	c bounds - >= 1254 @ 300.868
301.69/302.71	c bounds - >= 1255 @ 300.868
301.69/302.71	c bounds - >= 1256 @ 300.869
301.69/302.71	c bounds - >= 1257 @ 300.87
301.69/302.71	c bounds - >= 1258 @ 300.871
301.69/302.71	c bounds - >= 1259 @ 300.872
301.69/302.71	c bounds - >= 1260 @ 300.872
301.69/302.71	c bounds - >= 1261 @ 300.874
301.69/302.71	c bounds - >= 1262 @ 300.875
301.69/302.71	c bounds - >= 1263 @ 300.876
301.69/302.71	c bounds - >= 1264 @ 300.877
301.69/302.71	c bounds - >= 1265 @ 300.879
301.69/302.71	c bounds - >= 1266 @ 300.88
301.69/302.71	c bounds - >= 1267 @ 300.88
301.69/302.71	c bounds - >= 1268 @ 300.881
301.69/302.71	c bounds - >= 1269 @ 300.882
301.69/302.71	c bounds - >= 1270 @ 300.884
301.69/302.71	c bounds - >= 1271 @ 300.885
301.69/302.71	c bounds - >= 1272 @ 300.886
301.69/302.71	c bounds - >= 1273 @ 300.888
301.69/302.71	c bounds - >= 1274 @ 300.889
301.69/302.71	c bounds - >= 1275 @ 300.89
301.69/302.71	c bounds - >= 1276 @ 300.891
301.69/302.71	c bounds - >= 1277 @ 300.893
301.69/302.71	c bounds - >= 1278 @ 300.895
301.69/302.71	c bounds - >= 1279 @ 300.895
301.69/302.71	c bounds - >= 1280 @ 300.897
301.69/302.71	c bounds - >= 1281 @ 300.899
301.69/302.71	c bounds - >= 1282 @ 300.9
301.69/302.71	c bounds - >= 1283 @ 300.9
301.69/302.71	c bounds - >= 1284 @ 300.901
301.69/302.71	c bounds - >= 1285 @ 300.902
301.69/302.71	c bounds - >= 1286 @ 300.903
301.69/302.71	c bounds - >= 1287 @ 300.904
301.69/302.71	c bounds - >= 1288 @ 300.904
301.69/302.71	c bounds - >= 1289 @ 300.905
301.69/302.71	c bounds - >= 1290 @ 300.906
301.69/302.71	c bounds - >= 1291 @ 300.907
301.69/302.71	c bounds - >= 1292 @ 300.908
301.69/302.71	c bounds - >= 1293 @ 300.909
301.69/302.71	c bounds - >= 1294 @ 300.91
301.69/302.71	c bounds - >= 1295 @ 300.911
301.69/302.71	c bounds - >= 1296 @ 300.911
301.69/302.71	c bounds - >= 1297 @ 300.912
301.69/302.71	c bounds - >= 1298 @ 300.913
301.69/302.71	c bounds - >= 1299 @ 300.915
301.69/302.71	c bounds - >= 1300 @ 300.917
301.69/302.71	c bounds - >= 1301 @ 300.918
301.69/302.71	c bounds - >= 1302 @ 300.919
301.69/302.71	c bounds - >= 1303 @ 300.92
301.69/302.71	c bounds - >= 1304 @ 300.92
301.69/302.71	c bounds - >= 1305 @ 300.921
301.69/302.71	c bounds - >= 1306 @ 300.922
301.69/302.71	c bounds - >= 1307 @ 300.923
301.69/302.71	c bounds - >= 1308 @ 300.923
301.69/302.71	c bounds - >= 1309 @ 300.925
301.69/302.71	c bounds - >= 1310 @ 300.927
301.69/302.71	c bounds - >= 1311 @ 300.928
301.69/302.71	c bounds - >= 1312 @ 300.929
301.69/302.71	c bounds - >= 1313 @ 300.93
301.69/302.71	c bounds - >= 1314 @ 300.93
301.69/302.71	c bounds - >= 1315 @ 300.931
301.89/302.99	c bounds - >= 1316 @ 300.932
301.89/302.99	c bounds - >= 1317 @ 300.934
301.89/302.99	c bounds - >= 1318 @ 300.935
301.89/302.99	c bounds - >= 1319 @ 300.937
301.89/302.99	c bounds - >= 1320 @ 300.939
301.89/302.99	c bounds - >= 1321 @ 300.939
301.89/302.99	c bounds - >= 1322 @ 300.939
301.89/302.99	c bounds - >= 1323 @ 300.94
301.89/302.99	c bounds - >= 1324 @ 300.941
301.89/302.99	c bounds - >= 1325 @ 300.942
301.89/302.99	c bounds - >= 1326 @ 300.943
301.89/302.99	c bounds - >= 1327 @ 300.944
301.89/302.99	c bounds - >= 1328 @ 300.946
301.89/302.99	c bounds - >= 1329 @ 300.947
301.89/302.99	c bounds - >= 1330 @ 300.947
301.89/302.99	c bounds - >= 1331 @ 300.948
301.89/302.99	c bounds - >= 1332 @ 300.949
301.89/302.99	c bounds - >= 1333 @ 300.951
301.89/302.99	c bounds - >= 1334 @ 300.952
301.89/302.99	c bounds - >= 1335 @ 300.953
301.89/302.99	c bounds - >= 1336 @ 300.954
301.89/302.99	c bounds - >= 1337 @ 300.956
301.89/302.99	c bounds - >= 1338 @ 300.957
301.89/302.99	c bounds - >= 1339 @ 300.957
301.89/302.99	c bounds - >= 1340 @ 300.958
301.89/302.99	c bounds - >= 1341 @ 300.959
301.89/302.99	c bounds - >= 1342 @ 300.96
301.89/302.99	c bounds - >= 1343 @ 300.961
301.89/302.99	c bounds - >= 1344 @ 300.963
301.89/302.99	c bounds - >= 1345 @ 300.963
301.89/302.99	c bounds - >= 1346 @ 300.964
301.89/302.99	c bounds - >= 1347 @ 300.965
301.89/302.99	c bounds - >= 1348 @ 300.966
301.89/302.99	c bounds - >= 1349 @ 300.967
301.89/302.99	c bounds - >= 1350 @ 300.968
301.89/302.99	c bounds - >= 1351 @ 300.969
301.89/302.99	c bounds - >= 1352 @ 300.97
301.89/302.99	c bounds - >= 1353 @ 300.971
301.89/302.99	c bounds - >= 1354 @ 300.973
301.89/302.99	c bounds - >= 1355 @ 300.974
301.89/302.99	c bounds - >= 1356 @ 300.976
301.89/302.99	c bounds - >= 1357 @ 300.978
301.89/302.99	c bounds - >= 1358 @ 300.979
301.89/302.99	c bounds - >= 1359 @ 300.981
301.89/302.99	c bounds - >= 1360 @ 300.982
301.89/302.99	c bounds - >= 1361 @ 300.983
301.89/302.99	c bounds - >= 1362 @ 300.984
301.89/302.99	c bounds - >= 1363 @ 300.985
301.89/302.99	c bounds - >= 1364 @ 300.986
301.89/302.99	c bounds - >= 1365 @ 300.987
301.89/302.99	c bounds - >= 1366 @ 300.989
301.89/302.99	c bounds - >= 1367 @ 300.99
301.89/302.99	c bounds - >= 1368 @ 300.991
301.89/302.99	c bounds - >= 1369 @ 300.993
301.89/302.99	c bounds - >= 1370 @ 300.993
301.89/302.99	c bounds - >= 1371 @ 300.994
301.89/302.99	c bounds - >= 1372 @ 300.995
301.89/302.99	c bounds - >= 1373 @ 300.995
301.89/302.99	c bounds - >= 1374 @ 300.996
301.89/302.99	c bounds - >= 1375 @ 300.997
301.89/302.99	c bounds - >= 1376 @ 300.998
301.89/302.99	c bounds - >= 1377 @ 300.999
301.89/302.99	c bounds - >= 1378 @ 301
301.89/302.99	c bounds - >= 1379 @ 301.001
301.89/302.99	c bounds - >= 1380 @ 301.003
301.89/302.99	c bounds - >= 1381 @ 301.004
301.89/302.99	c bounds - >= 1382 @ 301.005
301.89/302.99	c bounds - >= 1383 @ 301.006
301.89/302.99	c bounds - >= 1384 @ 301.007
301.89/302.99	c bounds - >= 1385 @ 301.007
301.89/302.99	c bounds - >= 1386 @ 301.009
301.89/302.99	c bounds - >= 1387 @ 301.01
301.89/302.99	c bounds - >= 1388 @ 301.011
301.89/302.99	c bounds - >= 1389 @ 301.012
301.89/302.99	c bounds - >= 1390 @ 301.013
301.89/302.99	c bounds - >= 1391 @ 301.015
301.89/302.99	c bounds - >= 1392 @ 301.016
301.89/302.99	c bounds - >= 1393 @ 301.018
301.89/302.99	c bounds - >= 1394 @ 301.019
301.89/302.99	c bounds - >= 1395 @ 301.02
301.89/302.99	c bounds - >= 1396 @ 301.022
301.89/302.99	c bounds - >= 1397 @ 301.024
301.89/302.99	c bounds - >= 1398 @ 301.025
301.89/302.99	c bounds - >= 1399 @ 301.027
301.89/302.99	c bounds - >= 1400 @ 301.028
301.89/302.99	c bounds - >= 1401 @ 301.028
301.89/302.99	c bounds - >= 1402 @ 301.028
301.89/302.99	c bounds - >= 1403 @ 301.028
301.89/302.99	c bounds - >= 1404 @ 301.029
301.89/302.99	c bounds - >= 1405 @ 301.029
301.89/302.99	c bounds - >= 1406 @ 301.03
301.89/302.99	c bounds - >= 1407 @ 301.031
301.89/302.99	c bounds - >= 1408 @ 301.032
301.89/302.99	c bounds - >= 1409 @ 301.033
301.89/302.99	c bounds - >= 1410 @ 301.034
301.89/302.99	c bounds - >= 1411 @ 301.035
301.89/302.99	c bounds - >= 1412 @ 301.036
301.89/302.99	c bounds - >= 1413 @ 301.038
301.89/302.99	c bounds - >= 1414 @ 301.04
301.89/302.99	c bounds - >= 1415 @ 301.041
301.89/302.99	c bounds - >= 1416 @ 301.042
301.89/302.99	c bounds - >= 1417 @ 301.043
301.89/302.99	c bounds - >= 1418 @ 301.044
301.89/302.99	c bounds - >= 1419 @ 301.045
301.89/302.99	c bounds - >= 1420 @ 301.046
301.89/302.99	c bounds - >= 1421 @ 301.047
301.89/302.99	c bounds - >= 1422 @ 301.048
301.89/302.99	c bounds - >= 1423 @ 301.049
301.89/302.99	c bounds - >= 1424 @ 301.05
301.89/302.99	c bounds - >= 1425 @ 301.052
301.89/302.99	c bounds - >= 1426 @ 301.053
301.89/302.99	c bounds - >= 1427 @ 301.054
301.89/302.99	c bounds - >= 1428 @ 301.055
301.89/302.99	c bounds - >= 1429 @ 301.056
301.89/302.99	c bounds - >= 1430 @ 301.057
301.89/302.99	c bounds - >= 1431 @ 301.058
301.89/302.99	c bounds - >= 1432 @ 301.058
301.89/302.99	c bounds - >= 1433 @ 301.059
301.89/302.99	c bounds - >= 1434 @ 301.06
301.89/302.99	c bounds - >= 1435 @ 301.061
301.89/302.99	c bounds - >= 1436 @ 301.062
301.89/302.99	c bounds - >= 1437 @ 301.062
301.89/302.99	c bounds - >= 1438 @ 301.062
301.89/302.99	c bounds - >= 1439 @ 301.064
301.89/302.99	c bounds - >= 1440 @ 301.064
301.89/302.99	c bounds - >= 1441 @ 301.065
301.89/302.99	c bounds - >= 1442 @ 301.067
301.89/302.99	c bounds - >= 1443 @ 301.069
301.89/302.99	c bounds - >= 1444 @ 301.071
301.89/302.99	c bounds - >= 1445 @ 301.072
301.89/302.99	c bounds - >= 1446 @ 301.073
301.89/302.99	c bounds - >= 1447 @ 301.074
301.89/302.99	c bounds - >= 1448 @ 301.075
301.89/302.99	c bounds - >= 1449 @ 301.076
301.89/302.99	c bounds - >= 1450 @ 301.078
301.89/302.99	c bounds - >= 1451 @ 301.079
301.89/302.99	c bounds - >= 1452 @ 301.079
301.89/302.99	c bounds - >= 1453 @ 301.081
301.89/302.99	c bounds - >= 1454 @ 301.082
301.89/302.99	c bounds - >= 1455 @ 301.083
301.89/302.99	c bounds - >= 1456 @ 301.085
301.89/302.99	c bounds - >= 1457 @ 301.086
302.19/303.28	c bounds - >= 1458 @ 301.087
302.19/303.28	c bounds - >= 1459 @ 301.088
302.19/303.28	c bounds - >= 1460 @ 301.089
302.19/303.28	c bounds - >= 1461 @ 301.09
302.19/303.28	c bounds - >= 1462 @ 301.092
302.19/303.28	c bounds - >= 1463 @ 301.093
302.19/303.28	c bounds - >= 1464 @ 301.095
302.19/303.28	c bounds - >= 1465 @ 301.097
302.19/303.28	c bounds - >= 1466 @ 301.098
302.19/303.28	c bounds - >= 1467 @ 301.099
302.19/303.28	c bounds - >= 1468 @ 301.101
302.19/303.28	c bounds - >= 1469 @ 301.103
302.19/303.28	c bounds - >= 1470 @ 301.104
302.19/303.28	c bounds - >= 1471 @ 301.105
302.19/303.28	c bounds - >= 1472 @ 301.107
302.19/303.28	c bounds - >= 1473 @ 301.109
302.19/303.28	c bounds - >= 1474 @ 301.11
302.19/303.28	c bounds - >= 1475 @ 301.111
302.19/303.28	c bounds - >= 1476 @ 301.112
302.19/303.28	c bounds - >= 1477 @ 301.114
302.19/303.28	c bounds - >= 1478 @ 301.116
302.19/303.28	c bounds - >= 1479 @ 301.117
302.19/303.28	c bounds - >= 1480 @ 301.118
302.19/303.28	c bounds - >= 1481 @ 301.119
302.19/303.28	c bounds - >= 1482 @ 301.12
302.19/303.28	c bounds - >= 1483 @ 301.121
302.19/303.28	c bounds - >= 1484 @ 301.121
302.19/303.28	c bounds - >= 1485 @ 301.121
302.19/303.28	c bounds - >= 1486 @ 301.121
302.19/303.28	c bounds - >= 1487 @ 301.122
302.19/303.28	c bounds - >= 1488 @ 301.123
302.19/303.28	c bounds - >= 1489 @ 301.125
302.19/303.28	c bounds - >= 1490 @ 301.126
302.19/303.28	c bounds - >= 1491 @ 301.127
302.19/303.28	c bounds - >= 1492 @ 301.128
302.19/303.28	c bounds - >= 1493 @ 301.129
302.19/303.28	c bounds - >= 1494 @ 301.13
302.19/303.28	c bounds - >= 1495 @ 301.131
302.19/303.28	c bounds - >= 1496 @ 301.132
302.19/303.28	c bounds - >= 1497 @ 301.134
302.19/303.28	c bounds - >= 1498 @ 301.135
302.19/303.28	c bounds - >= 1499 @ 301.136
302.19/303.28	c bounds - >= 1500 @ 301.137
302.19/303.28	c bounds - >= 1501 @ 301.138
302.19/303.28	c bounds - >= 1502 @ 301.139
302.19/303.28	c bounds - >= 1503 @ 301.14
302.19/303.28	c bounds - >= 1504 @ 301.141
302.19/303.28	c bounds - >= 1505 @ 301.142
302.19/303.28	c bounds - >= 1506 @ 301.143
302.19/303.28	c bounds - >= 1507 @ 301.145
302.19/303.28	c bounds - >= 1508 @ 301.146
302.19/303.28	c bounds - >= 1509 @ 301.148
302.19/303.28	c bounds - >= 1510 @ 301.149
302.19/303.28	c bounds - >= 1511 @ 301.15
302.19/303.28	c bounds - >= 1512 @ 301.151
302.19/303.28	c bounds - >= 1513 @ 301.152
302.19/303.28	c bounds - >= 1514 @ 301.153
302.19/303.28	c bounds - >= 1515 @ 301.153
302.19/303.28	c bounds - >= 1516 @ 301.153
302.19/303.28	c bounds - >= 1517 @ 301.154
302.19/303.28	c bounds - >= 1518 @ 301.154
302.19/303.28	c bounds - >= 1519 @ 301.154
302.19/303.28	c bounds - >= 1520 @ 301.155
302.19/303.28	c bounds - >= 1521 @ 301.157
302.19/303.28	c bounds - >= 1522 @ 301.158
302.19/303.28	c bounds - >= 1523 @ 301.159
302.19/303.28	c bounds - >= 1524 @ 301.161
302.19/303.28	c bounds - >= 1525 @ 301.163
302.19/303.28	c bounds - >= 1526 @ 301.164
302.19/303.28	c bounds - >= 1527 @ 301.165
302.19/303.28	c bounds - >= 1528 @ 301.166
302.19/303.28	c bounds - >= 1529 @ 301.168
302.19/303.28	c bounds - >= 1530 @ 301.169
302.19/303.28	c bounds - >= 1531 @ 301.17
302.19/303.28	c bounds - >= 1532 @ 301.171
302.19/303.28	c bounds - >= 1533 @ 301.172
302.19/303.28	c bounds - >= 1534 @ 301.174
302.19/303.28	c bounds - >= 1535 @ 301.175
302.19/303.28	c bounds - >= 1536 @ 301.176
302.19/303.28	c bounds - >= 1537 @ 301.178
302.19/303.28	c bounds - >= 1538 @ 301.18
302.19/303.28	c bounds - >= 1539 @ 301.182
302.19/303.28	c bounds - >= 1540 @ 301.183
302.19/303.28	c bounds - >= 1541 @ 301.184
302.19/303.28	c bounds - >= 1542 @ 301.185
302.19/303.28	c bounds - >= 1543 @ 301.186
302.19/303.28	c bounds - >= 1544 @ 301.187
302.19/303.28	c bounds - >= 1545 @ 301.189
302.19/303.28	c bounds - >= 1546 @ 301.19
302.19/303.28	c bounds - >= 1547 @ 301.192
302.19/303.28	c bounds - >= 1548 @ 301.193
302.19/303.28	c bounds - >= 1549 @ 301.194
302.19/303.28	c bounds - >= 1550 @ 301.195
302.19/303.28	c bounds - >= 1551 @ 301.196
302.19/303.28	c bounds - >= 1552 @ 301.196
302.19/303.28	c bounds - >= 1553 @ 301.196
302.19/303.28	c bounds - >= 1554 @ 301.196
302.19/303.28	c bounds - >= 1555 @ 301.198
302.19/303.28	c bounds - >= 1556 @ 301.2
302.19/303.28	c bounds - >= 1557 @ 301.201
302.19/303.28	c bounds - >= 1558 @ 301.202
302.19/303.28	c bounds - >= 1559 @ 301.203
302.19/303.28	c bounds - >= 1560 @ 301.204
302.19/303.28	c bounds - >= 1561 @ 301.206
302.19/303.28	c bounds - >= 1562 @ 301.207
302.19/303.28	c bounds - >= 1563 @ 301.209
302.19/303.28	c bounds - >= 1564 @ 301.21
302.19/303.28	c bounds - >= 1565 @ 301.211
302.19/303.28	c bounds - >= 1566 @ 301.212
302.19/303.28	c bounds - >= 1567 @ 301.214
302.19/303.28	c bounds - >= 1568 @ 301.214
302.19/303.28	c bounds - >= 1569 @ 301.214
302.19/303.28	c bounds - >= 1570 @ 301.214
302.19/303.28	c bounds - >= 1571 @ 301.214
302.19/303.28	c bounds - >= 1572 @ 301.214
302.19/303.28	c bounds - >= 1573 @ 301.215
302.19/303.28	c bounds - >= 1574 @ 301.217
302.19/303.28	c bounds - >= 1575 @ 301.218
302.19/303.28	c bounds - >= 1576 @ 301.219
302.19/303.28	c bounds - >= 1577 @ 301.221
302.19/303.28	c bounds - >= 1578 @ 301.223
302.19/303.28	c bounds - >= 1579 @ 301.224
302.19/303.28	c bounds - >= 1580 @ 301.225
302.19/303.28	c bounds - >= 1581 @ 301.226
302.19/303.28	c bounds - >= 1582 @ 301.227
302.19/303.28	c bounds - >= 1583 @ 301.227
302.19/303.28	c bounds - >= 1584 @ 301.227
302.19/303.28	c bounds - >= 1585 @ 301.229
302.19/303.28	c bounds - >= 1586 @ 301.231
302.19/303.28	c bounds - >= 1587 @ 301.232
302.19/303.28	c bounds - >= 1588 @ 301.233
302.19/303.28	c bounds - >= 1589 @ 301.234
302.19/303.28	c bounds - >= 1590 @ 301.236
302.19/303.28	c bounds - >= 1591 @ 301.239
302.19/303.28	c bounds - >= 1592 @ 301.24
302.19/303.28	c bounds - >= 1593 @ 301.241
302.19/303.28	c bounds - >= 1594 @ 301.243
302.19/303.28	c bounds - >= 1595 @ 301.245
302.19/303.28	c bounds - >= 1596 @ 301.246
302.19/303.28	c bounds - >= 1597 @ 301.247
302.19/303.28	c bounds - >= 1598 @ 301.248
385.97/387.29	c bounds - >= 1599 @ 301.249
385.97/387.29	c bounds - >= 1600 @ 301.25
385.97/387.29	c bounds - >= 1601 @ 301.252
385.97/387.29	c bounds - >= 1602 @ 301.252
385.97/387.29	c bounds - >= 1603 @ 301.253
385.97/387.29	c bounds - >= 1604 @ 301.255
385.97/387.29	c bounds - >= 1605 @ 301.257
385.97/387.29	c bounds - >= 1606 @ 301.258
385.97/387.29	c bounds - >= 1607 @ 301.259
385.97/387.29	c bounds - >= 1608 @ 301.26
385.97/387.29	c bounds - >= 1609 @ 301.262
385.97/387.29	c bounds - >= 1610 @ 301.264
385.97/387.29	c bounds - >= 1611 @ 301.264
385.97/387.29	c bounds - >= 1612 @ 301.264
385.97/387.29	c bounds - >= 1613 @ 301.265
385.97/387.29	c bounds - >= 1614 @ 301.265
385.97/387.29	c bounds - >= 1615 @ 301.267
385.97/387.29	c bounds - >= 1616 @ 301.268
385.97/387.29	c bounds - >= 1617 @ 301.269
385.97/387.29	c bounds - >= 1618 @ 301.27
385.97/387.29	c bounds - >= 1619 @ 301.271
385.97/387.29	c bounds - >= 1620 @ 301.273
385.97/387.29	c bounds - >= 1621 @ 301.274
385.97/387.29	c bounds - >= 1622 @ 301.274
385.97/387.29	c bounds - >= 1623 @ 301.274
385.97/387.29	c bounds - >= 1624 @ 301.275
385.97/387.29	c bounds - >= 1625 @ 301.278
385.97/387.29	c bounds - >= 1626 @ 301.279
385.97/387.29	c bounds - >= 1627 @ 301.28
385.97/387.29	c bounds - >= 1628 @ 301.282
385.97/387.29	c bounds - >= 1629 @ 301.283
385.97/387.29	c bounds - >= 1630 @ 301.284
385.97/387.29	c bounds - >= 1631 @ 301.285
385.97/387.29	c bounds - >= 1632 @ 301.285
385.97/387.29	c bounds - >= 1633 @ 301.287
385.97/387.29	c bounds - >= 1634 @ 301.287
385.97/387.29	c bounds - >= 1635 @ 301.288
385.97/387.29	c bounds - >= 1636 @ 301.29
385.97/387.29	c bounds - >= 1637 @ 301.291
385.97/387.29	c bounds - >= 1638 @ 301.293
385.97/387.29	c bounds - >= 1639 @ 301.295
385.97/387.29	c bounds - >= 1640 @ 301.297
385.97/387.29	c bounds - >= 1641 @ 301.298
385.97/387.29	c bounds - >= 1642 @ 301.298
385.97/387.29	c bounds - >= 1643 @ 301.3
385.97/387.29	c bounds - >= 1644 @ 301.301
385.97/387.29	c bounds - >= 1645 @ 301.303
385.97/387.29	c bounds - >= 1646 @ 301.304
385.97/387.29	c bounds - >= 1647 @ 301.306
385.97/387.29	c bounds - >= 1648 @ 301.307
385.97/387.29	c bounds - >= 1649 @ 301.308
385.97/387.29	c bounds - >= 1650 @ 301.31
385.97/387.29	c bounds - >= 1651 @ 301.312
385.97/387.29	c bounds - >= 1652 @ 301.313
385.97/387.29	c bounds - >= 1653 @ 301.314
385.97/387.29	c bounds - >= 1654 @ 301.315
385.97/387.29	c bounds - >= 1655 @ 301.315
385.97/387.29	c bounds - >= 1656 @ 301.316
385.97/387.29	c bounds - >= 1657 @ 301.317
385.97/387.29	c bounds - >= 1658 @ 301.318
385.97/387.29	c bounds - >= 1659 @ 301.32
385.97/387.29	c bounds - >= 1660 @ 301.322
385.97/387.29	c bounds - >= 1661 @ 301.323
385.97/387.29	c bounds - >= 1662 @ 301.324
385.97/387.29	c bounds - >= 1663 @ 301.325
385.97/387.29	c bounds - >= 1664 @ 301.325
385.97/387.29	c bounds - >= 1665 @ 301.326
385.97/387.29	c bounds - >= 1666 @ 301.327
385.97/387.29	c bounds - >= 1667 @ 301.328
385.97/387.29	c bounds - >= 1668 @ 301.329
385.97/387.29	c bounds - >= 1669 @ 301.331
385.97/387.29	c bounds - >= 1670 @ 301.332
385.97/387.29	c bounds - >= 1671 @ 301.333
385.97/387.29	c bounds - >= 1672 @ 301.334
385.97/387.29	c bounds - >= 1673 @ 301.334
385.97/387.29	c bounds - >= 1674 @ 301.334
385.97/387.29	c bounds - >= 1675 @ 301.334
385.97/387.29	c bounds - >= 1676 @ 301.335
385.97/387.29	c bounds - >= 1677 @ 301.337
385.97/387.29	c bounds - >= 1678 @ 301.339
385.97/387.29	c bounds - >= 1679 @ 301.34
385.97/387.29	c bounds - >= 1680 @ 301.342
385.97/387.29	c bounds - >= 1681 @ 301.342
385.97/387.29	c bounds - >= 1682 @ 301.344
385.97/387.29	c bounds - >= 1683 @ 301.345
385.97/387.29	c bounds - >= 1684 @ 301.347
385.97/387.29	c bounds - >= 1685 @ 301.348
385.97/387.29	c bounds - >= 1686 @ 301.349
385.97/387.29	c bounds - >= 1687 @ 301.35
385.97/387.29	c bounds - >= 1688 @ 301.35
385.97/387.29	c bounds - >= 1689 @ 301.35
385.97/387.29	c bounds - >= 1690 @ 301.352
385.97/387.29	c bounds - >= 1691 @ 301.355
385.97/387.29	c bounds - >= 1692 @ 301.357
385.97/387.29	c bounds - >= 1693 @ 301.358
385.97/387.29	c bounds - >= 1694 @ 301.358
385.97/387.29	c bounds - >= 1695 @ 301.359
385.97/387.29	c bounds - >= 1696 @ 301.361
385.97/387.29	c bounds - >= 1697 @ 301.362
385.97/387.29	c bounds - >= 1698 @ 301.363
385.97/387.29	c bounds - >= 1699 @ 301.363
385.97/387.29	c bounds - >= 1700 @ 301.363
385.97/387.29	c #Conflicts:       1000 | #Constraints:      12700
385.97/387.29	c #Conflicts:       2000 | #Constraints:      13700
385.97/387.29	c INPROCESSING
385.97/387.29	c GARBAGE COLLECT
385.97/387.29	c #Conflicts:       3000 | #Constraints:      12105
385.97/387.29	c #Conflicts:       4000 | #Constraints:      13105
385.97/387.29	c INPROCESSING
385.97/387.29	c GARBAGE COLLECT
385.97/387.29	c #Conflicts:       5000 | #Constraints:      12551
385.97/387.29	c #Conflicts:       6000 | #Constraints:      13551
385.97/387.29	c INPROCESSING
385.97/387.29	c GARBAGE COLLECT
385.97/387.29	c #Conflicts:       7000 | #Constraints:      12575
385.97/387.29	c #Conflicts:       8000 | #Constraints:      13575
385.97/387.29	c #Conflicts:       9000 | #Constraints:      14575
385.97/387.29	c INPROCESSING
385.97/387.29	c GARBAGE COLLECT
385.97/387.29	c #Conflicts:      10000 | #Constraints:      13302
385.97/387.29	c #Conflicts:      11000 | #Constraints:      14302
385.97/387.29	c #Conflicts:      12000 | #Constraints:      15302
385.97/387.29	c INPROCESSING
385.97/387.29	c GARBAGE COLLECT
385.97/387.29	c #Conflicts:      13000 | #Constraints:      13780
385.97/387.29	c #Conflicts:      14000 | #Constraints:      14780
385.97/387.29	c #Conflicts:      15000 | #Constraints:      15780
385.97/387.29	c INPROCESSING
385.97/387.29	c GARBAGE COLLECT
385.97/387.29	c #Conflicts:      16000 | #Constraints:      14012
385.97/387.29	c #Conflicts:      17000 | #Constraints:      15012
385.97/387.29	c #Conflicts:      18000 | #Constraints:      16012
385.97/387.29	c INPROCESSING
385.97/387.29	c GARBAGE COLLECT
802.61/805.03	c #Conflicts:      19000 | #Constraints:      14043
802.61/805.03	c #Conflicts:      20000 | #Constraints:      15043
802.61/805.03	c #Conflicts:      21000 | #Constraints:      16043
802.61/805.03	c INPROCESSING
802.61/805.03	c GARBAGE COLLECT
802.61/805.03	c #Conflicts:      22000 | #Constraints:      13863
802.61/805.03	c #Conflicts:      23000 | #Constraints:      14863
802.61/805.03	c #Conflicts:      24000 | #Constraints:      15863
802.61/805.03	c #Conflicts:      25000 | #Constraints:      16863
802.61/805.03	c INPROCESSING
802.61/805.03	c GARBAGE COLLECT
802.61/805.03	c #Conflicts:      26000 | #Constraints:      14462
802.61/805.03	c #Conflicts:      27000 | #Constraints:      15462
802.61/805.03	c #Conflicts:      28000 | #Constraints:      16462
802.61/805.03	c #Conflicts:      29000 | #Constraints:      17462
802.61/805.03	c INPROCESSING
802.61/805.03	c GARBAGE COLLECT
802.61/805.03	c #Conflicts:      30000 | #Constraints:      14879
802.61/805.03	c #Conflicts:      31000 | #Constraints:      15879
802.61/805.03	c #Conflicts:      32000 | #Constraints:      16879
802.61/805.03	c #Conflicts:      33000 | #Constraints:      17879
802.61/805.03	c INPROCESSING
802.61/805.03	c GARBAGE COLLECT
802.61/805.03	c #Conflicts:      34000 | #Constraints:      15075
802.61/805.03	c #Conflicts:      35000 | #Constraints:      16075
802.61/805.03	c #Conflicts:      36000 | #Constraints:      17075
802.61/805.03	c #Conflicts:      37000 | #Constraints:      18075
802.61/805.03	c INPROCESSING
802.61/805.03	c GARBAGE COLLECT
802.61/805.03	c #Conflicts:      38000 | #Constraints:      15071
802.61/805.03	c #Conflicts:      39000 | #Constraints:      16071
802.61/805.03	c #Conflicts:      40000 | #Constraints:      17071
802.61/805.03	c #Conflicts:      41000 | #Constraints:      18071
802.61/805.03	c INPROCESSING
802.61/805.03	c GARBAGE COLLECT
802.61/805.03	c #Conflicts:      42000 | #Constraints:      14869
802.61/805.03	c #Conflicts:      43000 | #Constraints:      15869
802.61/805.03	c #Conflicts:      44000 | #Constraints:      16869
802.61/805.03	c #Conflicts:      45000 | #Constraints:      17869
802.61/805.03	c #Conflicts:      46000 | #Constraints:      18869
802.61/805.03	c INPROCESSING
802.61/805.03	c GARBAGE COLLECT
802.61/805.03	c #Conflicts:      47000 | #Constraints:      15473
802.61/805.03	c #Conflicts:      48000 | #Constraints:      16473
802.61/805.03	c #Conflicts:      49000 | #Constraints:      17473
802.61/805.03	c #Conflicts:      50000 | #Constraints:      18473
802.61/805.03	c #Conflicts:      51000 | #Constraints:      19473
802.61/805.03	c INPROCESSING
802.61/805.03	c GARBAGE COLLECT
802.61/805.03	c #Conflicts:      52000 | #Constraints:      15884
802.61/805.03	c #Conflicts:      53000 | #Constraints:      16884
802.61/805.03	c #Conflicts:      54000 | #Constraints:      17884
802.61/805.03	c #Conflicts:      55000 | #Constraints:      18884
802.61/805.03	c #Conflicts:      56000 | #Constraints:      19884
802.61/805.03	c INPROCESSING
802.61/805.03	c GARBAGE COLLECT
802.61/805.03	c #Conflicts:      57000 | #Constraints:      16098
802.61/805.03	c #Conflicts:      58000 | #Constraints:      17098
802.61/805.03	c #Conflicts:      59000 | #Constraints:      18098
802.61/805.03	c #Conflicts:      60000 | #Constraints:      19098
802.61/805.03	c #Conflicts:      61000 | #Constraints:      20098
802.61/805.03	c INPROCESSING
802.61/805.03	c GARBAGE COLLECT
802.61/805.03	c #Conflicts:      62000 | #Constraints:      16102
802.61/805.03	c #Conflicts:      63000 | #Constraints:      17102
802.61/805.03	c #Conflicts:      64000 | #Constraints:      18102
802.61/805.03	c #Conflicts:      65000 | #Constraints:      19102
802.61/805.03	c #Conflicts:      66000 | #Constraints:      20102
802.61/805.03	c INPROCESSING
802.61/805.03	c GARBAGE COLLECT
802.61/805.03	c #Conflicts:      67000 | #Constraints:      15900
802.61/805.03	c #Conflicts:      68000 | #Constraints:      16900
802.61/805.03	c #Conflicts:      69000 | #Constraints:      17900
802.61/805.03	c #Conflicts:      70000 | #Constraints:      18900
802.61/805.03	c #Conflicts:      71000 | #Constraints:      19900
802.61/805.03	c #Conflicts:      72000 | #Constraints:      20900
802.61/805.03	c INPROCESSING
802.61/805.03	c GARBAGE COLLECT
802.61/805.03	c #Conflicts:      73000 | #Constraints:      16490
802.61/805.03	c #Conflicts:      74000 | #Constraints:      17490
802.61/805.03	c #Conflicts:      75000 | #Constraints:      18490
802.61/805.03	c #Conflicts:      76000 | #Constraints:      19490
802.61/805.03	c #Conflicts:      77000 | #Constraints:      20490
802.61/805.03	c #Conflicts:      78000 | #Constraints:      21490
802.61/805.03	c INPROCESSING
802.61/805.03	c GARBAGE COLLECT
802.61/805.03	c #Conflicts:      79000 | #Constraints:      16905
802.61/805.03	c #Conflicts:      80000 | #Constraints:      17905
802.61/805.03	c #Conflicts:      81000 | #Constraints:      18905
802.61/805.03	c #Conflicts:      82000 | #Constraints:      19905
802.61/805.03	c #Conflicts:      83000 | #Constraints:      20905
802.61/805.03	c #Conflicts:      84000 | #Constraints:      21905
802.61/805.03	c INPROCESSING
802.61/805.03	c GARBAGE COLLECT
802.61/805.03	c #Conflicts:      85000 | #Constraints:      17107
802.61/805.03	c #Conflicts:      86000 | #Constraints:      18107
802.61/805.03	c #Conflicts:      87000 | #Constraints:      19107
802.61/805.03	c #Conflicts:      88000 | #Constraints:      20107
1422.29/1426.65	c #Conflicts:      89000 | #Constraints:      21107
1422.29/1426.65	c #Conflicts:      90000 | #Constraints:      22107
1422.29/1426.65	c INPROCESSING
1422.29/1426.65	c GARBAGE COLLECT
1422.29/1426.65	c #Conflicts:      91000 | #Constraints:      17096
1422.29/1426.65	c #Conflicts:      92000 | #Constraints:      18096
1422.29/1426.65	c #Conflicts:      93000 | #Constraints:      19096
1422.29/1426.65	c #Conflicts:      94000 | #Constraints:      20096
1422.29/1426.65	c #Conflicts:      95000 | #Constraints:      21096
1422.29/1426.65	c #Conflicts:      96000 | #Constraints:      22096
1422.29/1426.65	c INPROCESSING
1422.29/1426.65	c GARBAGE COLLECT
1422.29/1426.65	c #Conflicts:      97000 | #Constraints:      16886
1422.29/1426.65	c #Conflicts:      98000 | #Constraints:      17886
1422.29/1426.65	c #Conflicts:      99000 | #Constraints:      18886
1422.29/1426.65	c #Conflicts:     100000 | #Constraints:      19886
1422.29/1426.65	c #Conflicts:     101000 | #Constraints:      20886
1422.29/1426.65	c #Conflicts:     102000 | #Constraints:      21886
1422.29/1426.65	c #Conflicts:     103000 | #Constraints:      22886
1422.29/1426.65	c INPROCESSING
1422.29/1426.65	c GARBAGE COLLECT
1422.29/1426.65	c #Conflicts:     104000 | #Constraints:      17481
1422.29/1426.65	c #Conflicts:     105000 | #Constraints:      18481
1422.29/1426.65	c #Conflicts:     106000 | #Constraints:      19481
1422.29/1426.65	c #Conflicts:     107000 | #Constraints:      20481
1422.29/1426.65	c #Conflicts:     108000 | #Constraints:      21481
1422.29/1426.65	c #Conflicts:     109000 | #Constraints:      22481
1422.29/1426.65	c #Conflicts:     110000 | #Constraints:      23481
1422.29/1426.65	c INPROCESSING
1422.29/1426.65	c GARBAGE COLLECT
1422.29/1426.65	c #Conflicts:     111000 | #Constraints:      17886
1422.29/1426.65	c #Conflicts:     112000 | #Constraints:      18886
1422.29/1426.65	c #Conflicts:     113000 | #Constraints:      19886
1422.29/1426.65	c #Conflicts:     114000 | #Constraints:      20886
1422.29/1426.65	c #Conflicts:     115000 | #Constraints:      21886
1422.29/1426.65	c #Conflicts:     116000 | #Constraints:      22886
1422.29/1426.65	c #Conflicts:     117000 | #Constraints:      23886
1422.29/1426.65	c INPROCESSING
1422.29/1426.65	c GARBAGE COLLECT
1422.29/1426.65	c #Conflicts:     118000 | #Constraints:      18083
1422.29/1426.65	c #Conflicts:     119000 | #Constraints:      19083
1422.29/1426.65	c #Conflicts:     120000 | #Constraints:      20083
1422.29/1426.65	c #Conflicts:     121000 | #Constraints:      21083
1422.29/1426.65	c #Conflicts:     122000 | #Constraints:      22083
1422.29/1426.65	c #Conflicts:     123000 | #Constraints:      23083
1422.29/1426.65	c #Conflicts:     124000 | #Constraints:      24083
1422.29/1426.65	c INPROCESSING
1422.29/1426.65	c GARBAGE COLLECT
1422.29/1426.65	c #Conflicts:     125000 | #Constraints:      18085
1422.29/1426.65	c #Conflicts:     126000 | #Constraints:      19085
1422.29/1426.65	c #Conflicts:     127000 | #Constraints:      20085
1422.29/1426.65	c #Conflicts:     128000 | #Constraints:      21085
1422.29/1426.65	c #Conflicts:     129000 | #Constraints:      22085
1422.29/1426.65	c #Conflicts:     130000 | #Constraints:      23085
1422.29/1426.65	c #Conflicts:     131000 | #Constraints:      24085
1422.29/1426.65	c INPROCESSING
1422.29/1426.65	c GARBAGE COLLECT
1422.29/1426.65	c #Conflicts:     132000 | #Constraints:      17888
1422.29/1426.65	c #Conflicts:     133000 | #Constraints:      18888
1422.29/1426.65	c #Conflicts:     134000 | #Constraints:      19888
1422.29/1426.65	c #Conflicts:     135000 | #Constraints:      20888
1422.29/1426.65	c #Conflicts:     136000 | #Constraints:      21888
1422.29/1426.65	c #Conflicts:     137000 | #Constraints:      22888
1422.29/1426.65	c #Conflicts:     138000 | #Constraints:      23888
1422.29/1426.65	c #Conflicts:     139000 | #Constraints:      24888
1422.29/1426.65	c INPROCESSING
1422.29/1426.65	c GARBAGE COLLECT
1422.29/1426.65	c #Conflicts:     140000 | #Constraints:      18487
1422.29/1426.65	c #Conflicts:     141000 | #Constraints:      19487
1422.29/1426.65	c #Conflicts:     142000 | #Constraints:      20487
1422.29/1426.65	c #Conflicts:     143000 | #Constraints:      21487
1422.29/1426.65	c #Conflicts:     144000 | #Constraints:      22487
1422.29/1426.65	c #Conflicts:     145000 | #Constraints:      23487
1422.29/1426.65	c #Conflicts:     146000 | #Constraints:      24487
1422.29/1426.65	c #Conflicts:     147000 | #Constraints:      25487
1422.29/1426.65	c INPROCESSING
1422.29/1426.65	c GARBAGE COLLECT
1422.29/1426.65	c #Conflicts:     148000 | #Constraints:      18885
1422.29/1426.65	c #Conflicts:     149000 | #Constraints:      19885
1422.29/1426.65	c #Conflicts:     150000 | #Constraints:      20885
1422.29/1426.65	c #Conflicts:     151000 | #Constraints:      21885
1422.29/1426.65	c #Conflicts:     152000 | #Constraints:      22885
1422.29/1426.65	c #Conflicts:     153000 | #Constraints:      23885
1422.29/1426.65	c #Conflicts:     154000 | #Constraints:      24885
1422.29/1426.65	c #Conflicts:     155000 | #Constraints:      25885
1422.29/1426.65	c INPROCESSING
1422.29/1426.65	c GARBAGE COLLECT
1422.29/1426.65	c #Conflicts:     156000 | #Constraints:      19087
1422.29/1426.65	c #Conflicts:     157000 | #Constraints:      20087
1422.29/1426.65	c #Conflicts:     158000 | #Constraints:      21087
1422.29/1426.65	c #Conflicts:     159000 | #Constraints:      22087
1422.29/1426.65	c #Conflicts:     160000 | #Constraints:      23087
2030.36/2036.51	c #Conflicts:     161000 | #Constraints:      24087
2030.36/2036.51	c #Conflicts:     162000 | #Constraints:      25087
2030.36/2036.51	c #Conflicts:     163000 | #Constraints:      26087
2030.36/2036.51	c INPROCESSING
2030.36/2036.51	c GARBAGE COLLECT
2030.36/2036.51	c #Conflicts:     164000 | #Constraints:      19091
2030.36/2036.51	c #Conflicts:     165000 | #Constraints:      20091
2030.36/2036.51	c #Conflicts:     166000 | #Constraints:      21091
2030.36/2036.51	c #Conflicts:     167000 | #Constraints:      22091
2030.36/2036.51	c #Conflicts:     168000 | #Constraints:      23091
2030.36/2036.51	c #Conflicts:     169000 | #Constraints:      24091
2030.36/2036.51	c #Conflicts:     170000 | #Constraints:      25091
2030.36/2036.51	c #Conflicts:     171000 | #Constraints:      26091
2030.36/2036.51	c INPROCESSING
2030.36/2036.51	c GARBAGE COLLECT
2030.36/2036.51	c #Conflicts:     172000 | #Constraints:      18889
2030.36/2036.51	c #Conflicts:     173000 | #Constraints:      19889
2030.36/2036.51	c #Conflicts:     174000 | #Constraints:      20889
2030.36/2036.51	c #Conflicts:     175000 | #Constraints:      21889
2030.36/2036.51	c #Conflicts:     176000 | #Constraints:      22889
2030.36/2036.51	c #Conflicts:     177000 | #Constraints:      23889
2030.36/2036.51	c #Conflicts:     178000 | #Constraints:      24889
2030.36/2036.51	c #Conflicts:     179000 | #Constraints:      25889
2030.36/2036.51	c #Conflicts:     180000 | #Constraints:      26889
2030.36/2036.51	c INPROCESSING
2030.36/2036.51	c GARBAGE COLLECT
2030.36/2036.51	c #Conflicts:     181000 | #Constraints:      19489
2030.36/2036.51	c #Conflicts:     182000 | #Constraints:      20489
2030.36/2036.51	c #Conflicts:     183000 | #Constraints:      21489
2030.36/2036.51	c #Conflicts:     184000 | #Constraints:      22489
2030.36/2036.51	c #Conflicts:     185000 | #Constraints:      23489
2030.36/2036.51	c #Conflicts:     186000 | #Constraints:      24489
2030.36/2036.51	c #Conflicts:     187000 | #Constraints:      25489
2030.36/2036.51	c #Conflicts:     188000 | #Constraints:      26489
2030.36/2036.51	c #Conflicts:     189000 | #Constraints:      27489
2030.36/2036.51	c INPROCESSING
2030.36/2036.51	c GARBAGE COLLECT
2030.36/2036.51	c #Conflicts:     190000 | #Constraints:      19890
2030.36/2036.51	c #Conflicts:     191000 | #Constraints:      20890
2030.36/2036.51	c #Conflicts:     192000 | #Constraints:      21890
2030.36/2036.51	c #Conflicts:     193000 | #Constraints:      22890
2030.36/2036.51	c #Conflicts:     194000 | #Constraints:      23890
2030.36/2036.51	c #Conflicts:     195000 | #Constraints:      24890
2030.36/2036.51	c #Conflicts:     196000 | #Constraints:      25890
2030.36/2036.51	c #Conflicts:     197000 | #Constraints:      26890
2030.36/2036.51	c #Conflicts:     198000 | #Constraints:      27890
2030.36/2036.51	c INPROCESSING
2030.36/2036.51	c GARBAGE COLLECT
2030.36/2036.51	c #Conflicts:     199000 | #Constraints:      20087
2030.36/2036.51	c #Conflicts:     200000 | #Constraints:      21087
2030.36/2036.51	c #Conflicts:     201000 | #Constraints:      22087
2030.36/2036.51	c #Conflicts:     202000 | #Constraints:      23087
2030.36/2036.51	c #Conflicts:     203000 | #Constraints:      24087
2030.36/2036.51	c #Conflicts:     204000 | #Constraints:      25087
2030.36/2036.51	c #Conflicts:     205000 | #Constraints:      26087
2030.36/2036.51	c #Conflicts:     206000 | #Constraints:      27087
2030.36/2036.51	c #Conflicts:     207000 | #Constraints:      28087
2030.36/2036.51	c INPROCESSING
2030.36/2036.51	c GARBAGE COLLECT
2030.36/2036.51	c #Conflicts:     208000 | #Constraints:      20091
2030.36/2036.51	c #Conflicts:     209000 | #Constraints:      21091
2030.36/2036.51	c #Conflicts:     210000 | #Constraints:      22091
2030.36/2036.51	c #Conflicts:     211000 | #Constraints:      23091
2030.36/2036.51	c #Conflicts:     212000 | #Constraints:      24091
2030.36/2036.51	c #Conflicts:     213000 | #Constraints:      25091
2030.36/2036.51	c #Conflicts:     214000 | #Constraints:      26091
2030.36/2036.51	c #Conflicts:     215000 | #Constraints:      27091
2030.36/2036.51	c #Conflicts:     216000 | #Constraints:      28091
2030.36/2036.51	c INPROCESSING
2030.36/2036.51	c GARBAGE COLLECT
2030.36/2036.51	c #Conflicts:     217000 | #Constraints:      19892
2030.36/2036.51	c #Conflicts:     218000 | #Constraints:      20892
2030.36/2036.51	c #Conflicts:     219000 | #Constraints:      21892
2030.36/2036.51	c #Conflicts:     220000 | #Constraints:      22892
2030.36/2036.51	c #Conflicts:     221000 | #Constraints:      23892
2030.36/2036.51	c #Conflicts:     222000 | #Constraints:      24892
2030.36/2036.51	c #Conflicts:     223000 | #Constraints:      25892
2030.36/2036.51	c #Conflicts:     224000 | #Constraints:      26892
2030.36/2036.51	c #Conflicts:     225000 | #Constraints:      27892
2030.36/2036.51	c #Conflicts:     226000 | #Constraints:      28892
2030.36/2036.51	c INPROCESSING
2030.36/2036.51	c GARBAGE COLLECT
2030.36/2036.51	c #Conflicts:     227000 | #Constraints:      20502
2030.36/2036.51	c #Conflicts:     228000 | #Constraints:      21502
2030.36/2036.51	c #Conflicts:     229000 | #Constraints:      22502
2030.36/2036.51	c #Conflicts:     230000 | #Constraints:      23502
2030.36/2036.51	c #Conflicts:     231000 | #Constraints:      24502
2030.36/2036.51	c #Conflicts:     232000 | #Constraints:      25502
2030.36/2036.51	c #Conflicts:     233000 | #Constraints:      26502
2030.36/2036.51	c #Conflicts:     234000 | #Constraints:      27502
2761.48/2769.87	c #Conflicts:     235000 | #Constraints:      28502
2761.48/2769.87	c #Conflicts:     236000 | #Constraints:      29502
2761.48/2769.87	c INPROCESSING
2761.48/2769.87	c GARBAGE COLLECT
2761.48/2769.87	c #Conflicts:     237000 | #Constraints:      20898
2761.48/2769.87	c #Conflicts:     238000 | #Constraints:      21898
2761.48/2769.87	c #Conflicts:     239000 | #Constraints:      22898
2761.48/2769.87	c #Conflicts:     240000 | #Constraints:      23898
2761.48/2769.87	c #Conflicts:     241000 | #Constraints:      24898
2761.48/2769.87	c #Conflicts:     242000 | #Constraints:      25898
2761.48/2769.87	c #Conflicts:     243000 | #Constraints:      26898
2761.48/2769.87	c #Conflicts:     244000 | #Constraints:      27898
2761.48/2769.87	c #Conflicts:     245000 | #Constraints:      28898
2761.48/2769.87	c #Conflicts:     246000 | #Constraints:      29898
2761.48/2769.87	c INPROCESSING
2761.48/2769.87	c GARBAGE COLLECT
2761.48/2769.87	c #Conflicts:     247000 | #Constraints:      21097
2761.48/2769.87	c #Conflicts:     248000 | #Constraints:      22097
2761.48/2769.87	c #Conflicts:     249000 | #Constraints:      23097
2761.48/2769.87	c #Conflicts:     250000 | #Constraints:      24097
2761.48/2769.87	c #Conflicts:     251000 | #Constraints:      25097
2761.48/2769.87	c #Conflicts:     252000 | #Constraints:      26097
2761.48/2769.87	c #Conflicts:     253000 | #Constraints:      27097
2761.48/2769.87	c #Conflicts:     254000 | #Constraints:      28097
2761.48/2769.87	c #Conflicts:     255000 | #Constraints:      29097
2761.48/2769.87	c #Conflicts:     256000 | #Constraints:      30097
2761.48/2769.87	c INPROCESSING
2761.48/2769.87	c GARBAGE COLLECT
2761.48/2769.87	c #Conflicts:     257000 | #Constraints:      21088
2761.48/2769.87	c #Conflicts:     258000 | #Constraints:      22088
2761.48/2769.87	c #Conflicts:     259000 | #Constraints:      23088
2761.48/2769.87	c #Conflicts:     260000 | #Constraints:      24088
2761.48/2769.87	c #Conflicts:     261000 | #Constraints:      25088
2761.48/2769.87	c #Conflicts:     262000 | #Constraints:      26088
2761.48/2769.87	c #Conflicts:     263000 | #Constraints:      27088
2761.48/2769.87	c #Conflicts:     264000 | #Constraints:      28088
2761.48/2769.87	c #Conflicts:     265000 | #Constraints:      29088
2761.48/2769.87	c #Conflicts:     266000 | #Constraints:      30088
2761.48/2769.87	c INPROCESSING
2761.48/2769.87	c GARBAGE COLLECT
2761.48/2769.87	c #Conflicts:     267000 | #Constraints:      20896
2761.48/2769.87	c #Conflicts:     268000 | #Constraints:      21896
2761.48/2769.87	c #Conflicts:     269000 | #Constraints:      22896
2761.48/2769.87	c #Conflicts:     270000 | #Constraints:      23896
2761.48/2769.87	c #Conflicts:     271000 | #Constraints:      24896
2761.48/2769.87	c #Conflicts:     272000 | #Constraints:      25896
2761.48/2769.87	c #Conflicts:     273000 | #Constraints:      26896
2761.48/2769.87	c #Conflicts:     274000 | #Constraints:      27896
2761.48/2769.87	c #Conflicts:     275000 | #Constraints:      28896
2761.48/2769.87	c #Conflicts:     276000 | #Constraints:      29896
2761.48/2769.87	c #Conflicts:     277000 | #Constraints:      30896
2761.48/2769.87	c INPROCESSING
2761.48/2769.87	c GARBAGE COLLECT
2761.48/2769.87	c #Conflicts:     278000 | #Constraints:      21510
2761.48/2769.87	c #Conflicts:     279000 | #Constraints:      22510
2761.48/2769.87	c #Conflicts:     280000 | #Constraints:      23510
2761.48/2769.87	c #Conflicts:     281000 | #Constraints:      24510
2761.48/2769.87	c #Conflicts:     282000 | #Constraints:      25510
2761.48/2769.87	c #Conflicts:     283000 | #Constraints:      26510
2761.48/2769.87	c #Conflicts:     284000 | #Constraints:      27510
2761.48/2769.87	c #Conflicts:     285000 | #Constraints:      28510
2761.48/2769.87	c #Conflicts:     286000 | #Constraints:      29510
2761.48/2769.87	c #Conflicts:     287000 | #Constraints:      30510
2761.48/2769.87	c #Conflicts:     288000 | #Constraints:      31510
2761.48/2769.87	c INPROCESSING
2761.48/2769.87	c GARBAGE COLLECT
2761.48/2769.87	c #Conflicts:     289000 | #Constraints:      21895
2761.48/2769.87	c #Conflicts:     290000 | #Constraints:      22895
2761.48/2769.87	c #Conflicts:     291000 | #Constraints:      23895
2761.48/2769.87	c #Conflicts:     292000 | #Constraints:      24895
2761.48/2769.87	c #Conflicts:     293000 | #Constraints:      25895
2761.48/2769.87	c #Conflicts:     294000 | #Constraints:      26895
2761.48/2769.87	c #Conflicts:     295000 | #Constraints:      27895
2761.48/2769.87	c #Conflicts:     296000 | #Constraints:      28895
2761.48/2769.87	c #Conflicts:     297000 | #Constraints:      29895
2761.48/2769.87	c #Conflicts:     298000 | #Constraints:      30895
2761.48/2769.87	c #Conflicts:     299000 | #Constraints:      31895
2761.48/2769.87	c INPROCESSING
2761.48/2769.87	c GARBAGE COLLECT
2761.48/2769.87	c #Conflicts:     300000 | #Constraints:      22098
2761.48/2769.87	c #Conflicts:     301000 | #Constraints:      23098
2761.48/2769.87	c #Conflicts:     302000 | #Constraints:      24098
2761.48/2769.87	c #Conflicts:     303000 | #Constraints:      25098
2761.48/2769.87	c #Conflicts:     304000 | #Constraints:      26098
2761.48/2769.87	c #Conflicts:     305000 | #Constraints:      27098
2761.48/2769.87	c #Conflicts:     306000 | #Constraints:      28098
2761.48/2769.87	c #Conflicts:     307000 | #Constraints:      29098
2761.48/2769.87	c #Conflicts:     308000 | #Constraints:      30098
2761.48/2769.87	c #Conflicts:     309000 | #Constraints:      31098
3600.04/3611.10	c #Conflicts:     310000 | #Constraints:      32098
3600.04/3611.10	c INPROCESSING
3600.04/3611.10	c GARBAGE COLLECT
3600.04/3611.10	c #Conflicts:     311000 | #Constraints:      22107
3600.04/3611.10	c #Conflicts:     312000 | #Constraints:      23107
3600.04/3611.10	c #Conflicts:     313000 | #Constraints:      24107
3600.04/3611.10	c #Conflicts:     314000 | #Constraints:      25107
3600.04/3611.10	c #Conflicts:     315000 | #Constraints:      26107
3600.04/3611.10	c #Conflicts:     316000 | #Constraints:      27107
3600.04/3611.10	c #Conflicts:     317000 | #Constraints:      28107
3600.04/3611.10	c #Conflicts:     318000 | #Constraints:      29107
3600.04/3611.10	c #Conflicts:     319000 | #Constraints:      30107
3600.04/3611.10	c #Conflicts:     320000 | #Constraints:      31107
3600.04/3611.10	c #Conflicts:     321000 | #Constraints:      32107
3600.04/3611.10	c INPROCESSING
3600.04/3611.10	c GARBAGE COLLECT
3600.04/3611.10	c #Conflicts:     322000 | #Constraints:      21895
3600.04/3611.10	c #Conflicts:     323000 | #Constraints:      22895
3600.04/3611.10	c #Conflicts:     324000 | #Constraints:      23895
3600.04/3611.10	c #Conflicts:     325000 | #Constraints:      24895
3600.04/3611.10	c #Conflicts:     326000 | #Constraints:      25895
3600.04/3611.10	c #Conflicts:     327000 | #Constraints:      26895
3600.04/3611.10	c #Conflicts:     328000 | #Constraints:      27895
3600.04/3611.10	c #Conflicts:     329000 | #Constraints:      28895
3600.04/3611.10	c #Conflicts:     330000 | #Constraints:      29895
3600.04/3611.10	c #Conflicts:     331000 | #Constraints:      30895
3600.04/3611.10	c #Conflicts:     332000 | #Constraints:      31895
3600.04/3611.10	c #Conflicts:     333000 | #Constraints:      32895
3600.04/3611.10	c INPROCESSING
3600.04/3611.10	c GARBAGE COLLECT
3600.04/3611.10	c #Conflicts:     334000 | #Constraints:      22475
3600.04/3611.10	c #Conflicts:     335000 | #Constraints:      23475
3600.04/3611.10	c #Conflicts:     336000 | #Constraints:      24475
3600.04/3611.10	c #Conflicts:     337000 | #Constraints:      25475
3600.04/3611.10	c #Conflicts:     338000 | #Constraints:      26475
3600.04/3611.10	c #Conflicts:     339000 | #Constraints:      27475
3600.04/3611.10	c #Conflicts:     340000 | #Constraints:      28475
3600.04/3611.10	c #Conflicts:     341000 | #Constraints:      29475
3600.04/3611.10	c #Conflicts:     342000 | #Constraints:      30475
3600.04/3611.10	c #Conflicts:     343000 | #Constraints:      31475
3600.04/3611.10	c #Conflicts:     344000 | #Constraints:      32475
3600.04/3611.10	c #Conflicts:     345000 | #Constraints:      33475
3600.04/3611.10	c INPROCESSING
3600.04/3611.10	c GARBAGE COLLECT
3600.04/3611.11	c #Conflicts:     346000 | #Constraints:      22874
3600.04/3611.11	c #Conflicts:     347000 | #Constraints:      23874
3600.04/3611.11	c #Conflicts:     348000 | #Constraints:      24874
3600.04/3611.11	c #Conflicts:     349000 | #Constraints:      25874
3600.04/3611.11	c #Conflicts:     350000 | #Constraints:      26874
3600.04/3611.11	c #Conflicts:     351000 | #Constraints:      27874
3600.04/3611.11	c #Conflicts:     352000 | #Constraints:      28874
3600.04/3611.11	c #Conflicts:     353000 | #Constraints:      29874
3600.04/3611.11	c #Conflicts:     354000 | #Constraints:      30874
3600.04/3611.11	c #Conflicts:     355000 | #Constraints:      31874
3600.04/3611.11	c #Conflicts:     356000 | #Constraints:      32874
3600.04/3611.11	c #Conflicts:     357000 | #Constraints:      33874
3600.04/3611.11	c INPROCESSING
3600.04/3611.11	c GARBAGE COLLECT
3600.04/3611.11	c #Conflicts:     358000 | #Constraints:      23049
3600.04/3611.11	c #Conflicts:     359000 | #Constraints:      24049
3600.04/3611.11	c #Conflicts:     360000 | #Constraints:      25049
3600.04/3611.11	c #Conflicts:     361000 | #Constraints:      26049
3600.04/3611.11	c #Conflicts:     362000 | #Constraints:      27049
3600.04/3611.11	c #Conflicts:     363000 | #Constraints:      28049
3600.04/3611.11	c #Conflicts:     364000 | #Constraints:      29049
3600.04/3611.11	c #Conflicts:     365000 | #Constraints:      30049
3600.04/3611.11	c #Conflicts:     366000 | #Constraints:      31049
3600.04/3611.11	c #Conflicts:     367000 | #Constraints:      32049
3600.04/3611.11	c #Conflicts:     368000 | #Constraints:      33049
3600.04/3611.11	c #Conflicts:     369000 | #Constraints:      34049
3600.04/3611.11	c INPROCESSING
3600.04/3611.11	c GARBAGE COLLECT
3600.04/3611.11	c Program interrupted by user.
3600.04/3611.11	c cpu time 3583.25 s
3600.04/3611.11	c deterministic time 415090177096 4.15e+11
3600.04/3611.11	c optimization time 8.34377 s
3600.04/3611.11	c total solve time 3275.49 s
3600.04/3611.11	c core-guided solve time 3275.49 s
3600.04/3611.11	c propagation time 2076.49 s
3600.04/3611.11	c conflict analysis time 635.957 s
3600.04/3611.11	c propagations 168810679
3600.04/3611.11	c resolve steps 1255647
3600.04/3611.11	c decisions 17842610
3600.04/3611.11	c conflicts 369879
3600.04/3611.11	c restarts 891
3600.04/3611.11	c inprocessing phases 52
3600.04/3611.11	c input clauses 10001
3600.04/3611.11	c input cardinalities 1700
3600.04/3611.11	c input general constraints 0
3600.04/3611.11	c input average constraint length 1457.96
3600.04/3611.11	c input average constraint degree 125.06
3600.04/3611.11	c learned clauses 47744
3600.04/3611.11	c learned cardinalities 625
3600.04/3611.11	c learned general constraints 321510
3600.04/3611.11	c learned average constraint length 6898.61
3600.04/3611.11	c learned average constraint degree 10763070.27
3600.04/3611.11	c watched constraints 46132
3600.04/3611.11	c counting constraints 275378
3600.04/3611.11	c gcd simplifications 1206
3600.04/3611.11	c detected cardinalities 25
3600.04/3611.11	c weakened non-implied lits 363625299
3600.04/3611.11	c weakened non-implying lits 2759
3600.04/3611.11	c original variables 10000
3600.04/3611.11	c clausal propagations 8106161
3600.04/3611.11	c cardinality propagations 18950
3600.04/3611.11	c watched propagations 4077022
3600.04/3611.11	c counting propagations 151730377
3600.04/3611.11	c watch lookups 36079559316
3600.04/3611.11	c watch backjump lookups 35939512054
3600.04/3611.11	c watch checks 92418593826
3600.04/3611.11	c propagation checks 244207873184
3600.04/3611.11	c constraint additions 6070970674
3600.04/3611.11	c trail pops 187014752
3600.04/3611.11	c formula constraints 10000
3600.04/3611.11	c learned constraints 369879
3600.04/3611.11	c bound constraints 1701
3600.04/3611.11	c core-guided constraints 0
3600.04/3611.11	c encountered formula constraints 821495
3600.04/3611.11	c encountered learned constraints 804030
3600.04/3611.11	c encountered bound constraints 1
3600.04/3611.11	c encountered core-guided constraints 0
3600.04/3611.11	c LP total time 0 s
3600.04/3611.11	c LP solve time 0 s
3600.04/3611.11	c LP constraints added 0
3600.04/3611.11	c LP constraints removed 0
3600.04/3611.11	c LP pivots internal 0
3600.04/3611.11	c LP pivots root 0
3600.04/3611.11	c LP calls 0
3600.04/3611.11	c LP optimalities 0
3600.04/3611.11	c LP no pivot count 0
3600.04/3611.11	c LP infeasibilities 0
3600.04/3611.11	c LP valid Farkas constraints 0
3600.04/3611.11	c LP learned Farkas constraints 0
3600.04/3611.11	c LP basis resets 0
3600.04/3611.11	c LP cycling count 0
3600.04/3611.11	c LP singular count 0
3600.04/3611.11	c LP no primal count 0
3600.04/3611.11	c LP no farkas count 0
3600.04/3611.11	c LP other issue count 0
3600.04/3611.11	c LP Gomory cuts 0
3600.04/3611.11	c LP learned cuts 0
3600.04/3611.11	c LP deleted cuts 0
3600.04/3611.11	c LP encountered Gomory constraints 0
3600.04/3611.11	c LP encountered Farkas constraints 0
3600.04/3611.11	c LP encountered learned Farkas constraints 0
3600.04/3611.11	c CG auxiliary variables introduced 0
3600.04/3611.11	c CG solutions found 0
3600.04/3611.11	c CG cores constructed 1700
3600.04/3611.11	c CG core cardinality constraints returned 0
3600.04/3611.11	c CG unit cores 0
3600.04/3611.11	c CG single cores 1700
3600.04/3611.11	c CG blocks removed during cardinality reduction 0
3600.04/3611.11	c CG first core best 0
3600.04/3611.11	c CG decision core best 0
3600.04/3611.11	c CG core reduction tie 0
3600.04/3611.11	c CG core degree average 1.00
3600.04/3611.11	c CG core slack average 3.94
3600.04/3611.11	c CG exhausted 0
3600.04/3611.11	c CG exhaust time 0 s
3600.04/3611.11	c CG trimmed 0
3600.04/3611.11	c CG trim time 0.00993 s
3600.04/3611.11	c CG minimized 0
3600.04/3611.11	c CG minimize time 0 s
3600.04/3611.11	c CG am1 prop time 0.011374 s
3600.04/3611.11	c CG # am1s reformulated 0
3600.04/3611.11	c CG lower bound derived from am1s 0
3600.04/3611.11	c CG # clausal cores 1700
3600.04/3611.11	c CG # cardinality cores 0
3600.04/3611.11	c CG # pb cores 0
3600.04/3611.11	c CG # pb reforms 0
3600.04/3611.11	c CG # cores discarded because of pb reform 0
3600.04/3611.11	d LOWERBOUND 1700
3600.04/3611.11	d NCORES 1700
3600.04/3611.11	d NPBCORES 0
3600.04/3611.11	d NPBREFORM 0
3600.04/3611.11	d NTRIMMED 0
3600.04/3611.11	d NEXHAUSTED 0
3600.04/3611.11	d NAM1S 0
3600.04/3611.11	d AM1LB 0
3600.04/3611.11	c [Papilo Statistics]
3600.04/3611.11	c prepro time 0.0129513s
3600.04/3611.11	c # tsx applied 0
3600.04/3611.11	c # tsx conflicts 0
3600.04/3611.11	c # bound changes 0
3600.04/3611.11	c # side changes 0
3600.04/3611.11	c # coef changes 0
3600.04/3611.11	c # rounds 1
3600.04/3611.11	c # deted vars 0
3600.04/3611.11	c # deted constrs 0
3600.04/3611.11	c # consecutive rounds of only bound changes 0
3600.04/3611.15	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: 63708 MiB (62961 MiB free)
  memory of node 1: 64465 MiB (63960 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4487749-1751326383/watcher-4487749-1751326383 -o /tmp/evaluation-result-4487749-1751326383/solver-4487749-1751326383 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751326375-45655 --watchdog 3760 mixed-bag HOME/instance-4487749-1751326383.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100064 s]*
/proc/loadavg: 2.34 5.80 7.21 2/254 46448
/proc/meminfo: memFree=129917404/131249996 swapFree=33010416/33010684
[pid=46442] ppid=46438 vsize=131840 memory=57324 CPUtime=0.07 cores=0,2
/proc/46442/stat : 46442 (mixed-bag) R 46438 46442 45645 0 -1 4194304 12750 0 0 0 5 2 0 0 20 0 1 0 48315812 135004160 14331 18446744073709551615 4235264 15874749 140735776697232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40263680 140735776700828 140735776700905 140735776700905 140735776706507 0
/proc/46442/statm: 32960 14331 3936 2842 0 14654 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 131840 KiB
Current children cumulated memory: 57324 KiB

[startup+0.206024 s]*
/proc/loadavg: 2.34 5.80 7.21 4/258 46452
/proc/meminfo: memFree=129893772/131249996 swapFree=33010416/33010684
[pid=46442] ppid=46438 vsize=151328 memory=75440 CPUtime=0.18 cores=0,2
/proc/46442/stat : 46442 (mixed-bag) R 46438 46442 45645 0 -1 4194304 18444 0 0 0 15 3 0 0 20 0 1 0 48315812 154959872 18860 18446744073709551615 4235264 15874749 140735776697232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40263680 140735776700828 140735776700905 140735776700905 140735776706507 0
/proc/46442/statm: 37832 18860 4032 2842 0 19526 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 151328 KiB
Current children cumulated memory: 75440 KiB

[startup+0.305441 s]*
/proc/loadavg: 2.34 5.80 7.21 3/258 46452
/proc/meminfo: memFree=129842112/131249996 swapFree=33010416/33010684
[pid=46442] ppid=46438 vsize=242020 memory=131856 CPUtime=0.27 cores=0,2
/proc/46442/stat : 46442 (mixed-bag) R 46438 46442 45645 0 -1 4194304 35176 0 0 0 21 6 0 0 20 0 1 0 48315812 247828480 32964 18446744073709551615 4235264 15874749 140735776697232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40263680 140735776700828 140735776700905 140735776700905 140735776706507 0
/proc/46442/statm: 60505 32964 4064 2842 0 42199 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 242020 KiB
Current children cumulated memory: 131856 KiB

[startup+0.700137 s]
/proc/loadavg: 2.34 5.80 7.21 3/261 46467
/proc/meminfo: memFree=129825556/131249996 swapFree=33010416/33010684
[pid=46442] ppid=46438 vsize=257424 memory=147088 CPUtime=0.66 cores=0,2
/proc/46442/stat : 46442 (mixed-bag) R 46438 46442 45645 0 -1 4194304 38875 0 0 0 58 8 0 0 20 0 1 0 48315812 263602176 36772 18446744073709551615 4235264 15874749 140735776697232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40263680 140735776700828 140735776700905 140735776700905 140735776706507 0
/proc/46442/statm: 64356 36772 4224 2842 0 46050 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 257424 KiB
Current children cumulated memory: 147088 KiB

[startup+1.50016 s]
/proc/loadavg: 2.34 5.80 7.21 3/260 46534
/proc/meminfo: memFree=129844684/131249996 swapFree=33010416/33010684
[pid=46442] ppid=46438 vsize=260488 memory=150416 CPUtime=1.44 cores=0,2
/proc/46442/stat : 46442 (mixed-bag) R 46438 46442 45645 0 -1 4194304 39699 0 0 0 134 10 0 0 20 0 1 0 48315812 266739712 37604 18446744073709551615 4235264 15874749 140735776697232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40263680 140735776700828 140735776700905 140735776700905 140735776706507 0
/proc/46442/statm: 65122 37604 4224 2842 0 46816 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 260488 KiB
Current children cumulated memory: 150416 KiB

[startup+3.10594 s]
/proc/loadavg: 2.34 5.80 7.21 4/259 46678
/proc/meminfo: memFree=129807604/131249996 swapFree=33010416/33010684
[pid=46442] ppid=46438 vsize=260628 memory=150672 CPUtime=2.99 cores=0,2
/proc/46442/stat : 46442 (mixed-bag) R 46438 46442 45645 0 -1 4194304 39757 0 0 0 286 13 0 0 20 0 1 0 48315812 266883072 37668 18446744073709551615 4235264 15874749 140735776697232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40263680 140735776700828 140735776700905 140735776700905 140735776706507 0
/proc/46442/statm: 65157 37668 4224 2842 0 46851 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 260628 KiB
Current children cumulated memory: 150672 KiB

[startup+6.30012 s]
/proc/loadavg: 2.56 5.78 7.20 4/263 46861
/proc/meminfo: memFree=129775512/131249996 swapFree=33010416/33010684
[pid=46442] ppid=46438 vsize=263236 memory=153480 CPUtime=6.16 cores=0,2
/proc/46442/stat : 46442 (mixed-bag) R 46438 46442 45645 0 -1 4194304 39966 0 0 0 600 16 0 0 20 0 1 0 48315812 269553664 38370 18446744073709551615 4235264 15874749 140735776697232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40263680 140735776700828 140735776700905 140735776700905 140735776706507 0
/proc/46442/statm: 65809 38370 4224 2842 0 47503 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 263236 KiB
Current children cumulated memory: 153480 KiB

[startup+12.7002 s]
/proc/loadavg: 2.75 5.77 7.19 5/266 47022
/proc/meminfo: memFree=129565356/131249996 swapFree=33010416/33010684
[pid=46442] ppid=46438 vsize=264560 memory=154248 CPUtime=12.54 cores=0,2
/proc/46442/stat : 46442 (mixed-bag) R 46438 46442 45645 0 -1 4194304 40148 0 0 0 1236 18 0 0 20 0 1 0 48315812 270909440 38562 18446744073709551615 4235264 15874749 140735776697232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40263680 140735776700828 140735776700905 140735776700905 140735776706507 0
/proc/46442/statm: 66140 38562 4224 2842 0 47834 0
Current children cumulated CPU time: 12.54 s
Current children cumulated vsize: 264560 KiB
Current children cumulated memory: 154248 KiB

[startup+25.5002 s]
/proc/loadavg: 3.33 5.75 7.16 5/266 47067
/proc/meminfo: memFree=129557404/131249996 swapFree=33010416/33010684
[pid=46442] ppid=46438 vsize=275316 memory=164012 CPUtime=25.29 cores=0,2
/proc/46442/stat : 46442 (mixed-bag) R 46438 46442 45645 0 -1 4194304 42011 0 0 0 2511 18 0 0 20 0 1 0 48315812 281923584 41003 18446744073709551615 4235264 15874749 140735776697232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40263680 140735776700828 140735776700905 140735776700905 140735776706507 0
/proc/46442/statm: 68829 41003 4224 2842 0 50523 0
Current children cumulated CPU time: 25.29 s
Current children cumulated vsize: 275316 KiB
Current children cumulated memory: 164012 KiB

[startup+51.1055 s]
/proc/loadavg: 3.84 5.67 7.09 5/266 47157
/proc/meminfo: memFree=129430776/131249996 swapFree=33010416/33010684
[pid=46442] ppid=46438 vsize=283744 memory=169488 CPUtime=50.81 cores=0,2
/proc/46442/stat : 46442 (mixed-bag) R 46438 46442 45645 0 -1 4194304 42873 0 0 0 5063 18 0 0 20 0 1 0 48315812 290553856 42372 18446744073709551615 4235264 15874749 140735776697232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40263680 140735776700828 140735776700905 140735776700905 140735776706507 0
/proc/46442/statm: 70936 42372 4224 2842 0 52630 0
Current children cumulated CPU time: 50.81 s
Current children cumulated vsize: 283744 KiB
Current children cumulated memory: 169488 KiB

[startup+102.3 s]
/proc/loadavg: 4.05 5.45 6.95 5/265 47159
/proc/meminfo: memFree=129331704/131249996 swapFree=33010416/33010684
[pid=46442] ppid=46438 vsize=293436 memory=190960 CPUtime=101.86 cores=0,2
/proc/46442/stat : 46442 (mixed-bag) R 46438 46442 45645 0 -1 4194304 43683 0 0 0 10167 19 0 0 20 0 1 0 48315812 300478464 47740 18446744073709551615 4235264 15874749 140735776697232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40263680 140735776700828 140735776700905 140735776700905 140735776706507 0
/proc/46442/statm: 73359 47740 4224 2842 0 55053 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 293436 KiB
Current children cumulated memory: 190960 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 5.22 6.77 5/265 47206
/proc/meminfo: memFree=129324240/131249996 swapFree=33010416/33010684
[pid=46442] ppid=46438 vsize=310824 memory=218588 CPUtime=161.66 cores=0,2
/proc/46442/stat : 46442 (mixed-bag) R 46438 46442 45645 0 -1 4194304 44360 0 0 0 16144 22 0 0 20 0 1 0 48315812 318283776 54647 18446744073709551615 4235264 15874749 140735776697232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40263680 140735776700828 140735776700905 140735776700905 140735776706507 0
/proc/46442/statm: 77706 54647 4224 2842 0 59400 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 310824 KiB
Current children cumulated memory: 218588 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 5.01 6.60 5/265 47255
/proc/meminfo: memFree=129161236/131249996 swapFree=33010416/33010684
[pid=46442] ppid=46438 vsize=310824 memory=232540 CPUtime=221.5 cores=0,2
/proc/46442/stat : 46442 (mixed-bag) R 46438 46442 45645 0 -1 4194304 44363 0 0 0 22128 22 0 0 20 0 1 0 48315812 318283776 58135 18446744073709551615 4235264 15874749 140735776697232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40263680 140735776700828 140735776700905 140735776700905 140735776706507 0
/proc/46442/statm: 77706 58135 4224 2842 0 59400 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 310824 KiB
Current children cumulated memory: 232540 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.84 6.44 5/267 47263
/proc/meminfo: memFree=129104668/131249996 swapFree=33010416/33010684
[pid=46442] ppid=46438 vsize=329484 memory=242376 CPUtime=281.35 cores=0,2
/proc/46442/stat : 46442 (mixed-bag) R 46438 46442 45645 0 -1 4194304 44806 0 0 0 28112 23 0 0 20 0 1 0 48315812 337391616 60594 18446744073709551615 4235264 15874749 140735776697232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40263680 140735776700828 140735776700905 140735776700905 140735776706507 0
/proc/46442/statm: 82371 60594 4224 2842 0 64065 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 329484 KiB
Current children cumulated memory: 242376 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.70 6.29 5/266 47265
/proc/meminfo: memFree=128667552/131249996 swapFree=33010416/33010684
[pid=46442] ppid=46438 vsize=767688 memory=626492 CPUtime=341.19 cores=0,2
/proc/46442/stat : 46442 (mixed-bag) R 46438 46442 45645 0 -1 4194304 96068 0 0 0 33951 168 0 0 20 0 1 0 48315812 786112512 156623 18446744073709551615 4235264 15874749 140735776697232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40263680 140735776700828 140735776700905 140735776700905 140735776706507 0
/proc/46442/statm: 191922 156623 4384 2842 0 173616 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 767688 KiB
Current children cumulated memory: 626492 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.58 6.15 5/266 47268
/proc/meminfo: memFree=128311896/131249996 swapFree=33010416/33010684
[pid=46442] ppid=46438 vsize=1069512 memory=891320 CPUtime=401.03 cores=0,2
/proc/46442/stat : 46442 (mixed-bag) R 46438 46442 45645 0 -1 4194304 146441 0 0 0 39884 219 0 0 20 0 1 0 48315812 1095180288 222830 18446744073709551615 4235264 15874749 140735776697232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40263680 140735776700828 140735776700905 140735776700905 140735776706507 0
/proc/46442/statm: 267378 222830 4384 2842 0 249072 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 1069512 KiB
Current children cumulated memory: 891320 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.51 6.02 5/266 47270
/proc/meminfo: memFree=128348528/131249996 swapFree=33010416/33010684
[pid=46442] ppid=46438 vsize=1286292 memory=975832 CPUtime=460.86 cores=0,2
/proc/46442/stat : 46442 (mixed-bag) R 46438 46442 45645 0 -1 4194304 154862 0 0 0 45800 286 0 0 20 0 1 0 48315812 1317163008 243958 18446744073709551615 4235264 15874749 140735776697232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40263680 140735776700828 140735776700905 140735776700905 140735776706507 0
/proc/46442/statm: 321573 243958 4384 2842 0 303267 0
Current children cumulated CPU time: 460.86 s

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

Current children cumulated memory: 3254904 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.11 4.23 5/265 47410
/proc/meminfo: memFree=125248028/131249996 swapFree=33010416/33010684
[pid=46442] ppid=46438 vsize=3922556 memory=3255288 CPUtime=2913.47 cores=0,2
/proc/46442/stat : 46442 (mixed-bag) R 46438 46442 45645 0 -1 4194304 481441 0 0 0 289965 1382 0 0 20 0 1 0 48315812 4016697344 813822 18446744073709551615 4235264 15874749 140735776697232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40263680 140735776700828 140735776700905 140735776700905 140735776706507 0
/proc/46442/statm: 980639 813822 4384 2842 0 962333 0
Current children cumulated CPU time: 2913.47 s
Current children cumulated vsize: 3922556 KiB
Current children cumulated memory: 3255288 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.22 5/264 47412
/proc/meminfo: memFree=125215840/131249996 swapFree=33010416/33010684
[pid=46442] ppid=46438 vsize=3922556 memory=3266188 CPUtime=2973.28 cores=0,2
/proc/46442/stat : 46442 (mixed-bag) R 46438 46442 45645 0 -1 4194304 482038 0 0 0 295932 1396 0 0 20 0 1 0 48315812 4016697344 816547 18446744073709551615 4235264 15874749 140735776697232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40263680 140735776700828 140735776700905 140735776700905 140735776706507 0
/proc/46442/statm: 980639 816547 4384 2842 0 962333 0
Current children cumulated CPU time: 2973.28 s
Current children cumulated vsize: 3922556 KiB
Current children cumulated memory: 3266188 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.12 4.21 5/264 47414
/proc/meminfo: memFree=125217708/131249996 swapFree=33010416/33010684
[pid=46442] ppid=46438 vsize=3922556 memory=3266188 CPUtime=3033.08 cores=0,2
/proc/46442/stat : 46442 (mixed-bag) R 46438 46442 45645 0 -1 4194304 482109 0 0 0 301901 1407 0 0 20 0 1 0 48315812 4016697344 816547 18446744073709551615 4235264 15874749 140735776697232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40263680 140735776700828 140735776700905 140735776700905 140735776706507 0
/proc/46442/statm: 980639 816547 4384 2842 0 962333 0
Current children cumulated CPU time: 3033.08 s
Current children cumulated vsize: 3922556 KiB
Current children cumulated memory: 3266188 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.11 4.20 5/264 47416
/proc/meminfo: memFree=125226712/131249996 swapFree=33010416/33010684
[pid=46442] ppid=46438 vsize=3922556 memory=3266188 CPUtime=3092.89 cores=0,2
/proc/46442/stat : 46442 (mixed-bag) R 46438 46442 45645 0 -1 4194304 482192 0 0 0 307872 1417 0 0 20 0 1 0 48315812 4016697344 816547 18446744073709551615 4235264 15874749 140735776697232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40263680 140735776700828 140735776700905 140735776700905 140735776706507 0
/proc/46442/statm: 980639 816547 4384 2842 0 962333 0
Current children cumulated CPU time: 3092.89 s
Current children cumulated vsize: 3922556 KiB
Current children cumulated memory: 3266188 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.12 4.19 5/265 47419
/proc/meminfo: memFree=125167272/131249996 swapFree=33010416/33010684
[pid=46442] ppid=46438 vsize=3922556 memory=3326636 CPUtime=3152.7 cores=0,2
/proc/46442/stat : 46442 (mixed-bag) R 46438 46442 45645 0 -1 4194304 487794 0 0 0 313840 1430 0 0 20 0 1 0 48315812 4016697344 831659 18446744073709551615 4235264 15874749 140735776697232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40263680 140735776700828 140735776700905 140735776700905 140735776706507 0
/proc/46442/statm: 980639 831659 4384 2842 0 962333 0
Current children cumulated CPU time: 3152.7 s
Current children cumulated vsize: 3922556 KiB
Current children cumulated memory: 3326636 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.18 5/265 47423
/proc/meminfo: memFree=125091836/131249996 swapFree=33010416/33010684
[pid=46442] ppid=46438 vsize=3922556 memory=3386408 CPUtime=3212.5 cores=0,2
/proc/46442/stat : 46442 (mixed-bag) R 46438 46442 45645 0 -1 4194304 493554 0 0 0 319795 1455 0 0 20 0 1 0 48315812 4016697344 846602 18446744073709551615 4235264 15874749 140735776697232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40263680 140735776700828 140735776700905 140735776700905 140735776706507 0
/proc/46442/statm: 980639 846602 4384 2842 0 962333 0
Current children cumulated CPU time: 3212.5 s
Current children cumulated vsize: 3922556 KiB
Current children cumulated memory: 3386408 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.18 5/265 47431
/proc/meminfo: memFree=125071212/131249996 swapFree=33010416/33010684
[pid=46442] ppid=46438 vsize=3922556 memory=3386408 CPUtime=3272.31 cores=0,2
/proc/46442/stat : 46442 (mixed-bag) R 46438 46442 45645 0 -1 4194304 493554 0 0 0 325743 1488 0 0 20 0 1 0 48315812 4016697344 846602 18446744073709551615 4235264 15874749 140735776697232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40263680 140735776700828 140735776700905 140735776700905 140735776706507 0
/proc/46442/statm: 980639 846602 4384 2842 0 962333 0
Current children cumulated CPU time: 3272.31 s
Current children cumulated vsize: 3922556 KiB
Current children cumulated memory: 3386408 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.18 5/265 47433
/proc/meminfo: memFree=125079272/131249996 swapFree=33010416/33010684
[pid=46442] ppid=46438 vsize=3922556 memory=3386408 CPUtime=3332.11 cores=0,2
/proc/46442/stat : 46442 (mixed-bag) R 46438 46442 45645 0 -1 4194304 493560 0 0 0 331697 1514 0 0 20 0 1 0 48315812 4016697344 846602 18446744073709551615 4235264 15874749 140735776697232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40263680 140735776700828 140735776700905 140735776700905 140735776706507 0
/proc/46442/statm: 980639 846602 4384 2842 0 962333 0
Current children cumulated CPU time: 3332.11 s
Current children cumulated vsize: 3922556 KiB
Current children cumulated memory: 3386408 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.17 5/265 47435
/proc/meminfo: memFree=125083152/131249996 swapFree=33010416/33010684
[pid=46442] ppid=46438 vsize=3922556 memory=3386408 CPUtime=3391.91 cores=0,2
/proc/46442/stat : 46442 (mixed-bag) R 46438 46442 45645 0 -1 4194304 494089 0 0 0 337642 1549 0 0 20 0 1 0 48315812 4016697344 846602 18446744073709551615 4235264 15874749 140735776697232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40263680 140735776700828 140735776700905 140735776700905 140735776706507 0
/proc/46442/statm: 980639 846602 4384 2842 0 962333 0
Current children cumulated CPU time: 3391.91 s
Current children cumulated vsize: 3922556 KiB
Current children cumulated memory: 3386408 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.16 5/265 47437
/proc/meminfo: memFree=125084048/131249996 swapFree=33010416/33010684
[pid=46442] ppid=46438 vsize=3922556 memory=3386408 CPUtime=3451.72 cores=0,2
/proc/46442/stat : 46442 (mixed-bag) R 46438 46442 45645 0 -1 4194304 494204 0 0 0 343581 1591 0 0 20 0 1 0 48315812 4016697344 846602 18446744073709551615 4235264 15874749 140735776697232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40263680 140735776700828 140735776700905 140735776700905 140735776706507 0
/proc/46442/statm: 980639 846602 4384 2842 0 962333 0
Current children cumulated CPU time: 3451.72 s
Current children cumulated vsize: 3922556 KiB
Current children cumulated memory: 3386408 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.16 5/265 47439
/proc/meminfo: memFree=125071688/131249996 swapFree=33010416/33010684
[pid=46442] ppid=46438 vsize=3922556 memory=3386408 CPUtime=3511.52 cores=0,2
/proc/46442/stat : 46442 (mixed-bag) R 46438 46442 45645 0 -1 4194304 494207 0 0 0 349519 1633 0 0 20 0 1 0 48315812 4016697344 846602 18446744073709551615 4235264 15874749 140735776697232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40263680 140735776700828 140735776700905 140735776700905 140735776706507 0
/proc/46442/statm: 980639 846602 4384 2842 0 962333 0
Current children cumulated CPU time: 3511.52 s
Current children cumulated vsize: 3922556 KiB
Current children cumulated memory: 3386408 KiB

[startup+3582.3 s]
/proc/loadavg: 4.04 4.09 4.15 5/264 47441
/proc/meminfo: memFree=125083744/131249996 swapFree=33010416/33010684
[pid=46442] ppid=46438 vsize=3922556 memory=3386408 CPUtime=3571.33 cores=0,2
/proc/46442/stat : 46442 (mixed-bag) R 46438 46442 45645 0 -1 4194304 494719 0 0 0 355464 1669 0 0 20 0 1 0 48315812 4016697344 846602 18446744073709551615 4235264 15874749 140735776697232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40263680 140735776700828 140735776700905 140735776700905 140735776706507 0
/proc/46442/statm: 980639 846602 4384 2842 0 962333 0
Current children cumulated CPU time: 3571.33 s
Current children cumulated vsize: 3922556 KiB
Current children cumulated memory: 3386408 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.11 s]
/proc/loadavg: 4.08 4.09 4.15 5/264 47442
/proc/meminfo: memFree=125082860/131249996 swapFree=33010416/33010684
[pid=46442] ppid=46438 vsize=3922556 memory=3386408 CPUtime=3600.04 cores=0,2
/proc/46442/stat : 46442 (mixed-bag) R 46438 46442 45645 0 -1 4194304 494827 0 0 0 358325 1679 0 0 20 0 1 0 48315812 4016697344 846602 18446744073709551615 4235264 15874749 140735776697232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40263680 140735776700828 140735776700905 140735776700905 140735776706507 0
/proc/46442/statm: 980639 846602 4384 2842 0 962333 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 3922556 KiB
Current children cumulated memory: 3386408 KiB

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

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

# cumulated CPU time of all completed processes:  user=3583.26 s, system=16.8358 s

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

[startup+3611.11 s]
/proc/loadavg: 4.08 4.09 4.15 5/264 47442
/proc/meminfo: memFree=125082860/131249996 swapFree=33010416/33010684
[pid=46442] ppid=46438 vsize=3922556 memory=3386408 CPUtime=3600.04 cores=0,2
/proc/46442/stat : 46442 (mixed-bag) R 46438 46442 45645 0 -1 4194304 494827 0 0 0 358325 1679 0 0 20 0 1 0 48315812 4016697344 846602 18446744073709551615 4235264 15874749 140735776697232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40263680 140735776700828 140735776700905 140735776700905 140735776706507 0
/proc/46442/statm: 980639 846602 4384 2842 0 962333 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 3922556 KiB
Current children cumulated memory: 3386408 KiB

Child status: 0

Real time (s): 3611.16
CPU time (s): 3600.09
CPU user time (s): 3583.26
CPU system time (s): 16.8358
CPU usage (%): 99.6936
Max. virtual memory (cumulated for all children) (KiB): 3922556
Max. memory (cumulated for all children) (KiB): 3386408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.26
system time used= 16.8358
maximum resident set size= 3386920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 494856
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= 518
involuntary context switches= 4750


# summary of solver processes directly reported to runsolver:
#   pid: 46442
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3583.26
#   total CPU system time (s): 16.8358

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.75973 second user time and 16.281 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2025-07-01 01:33:03
IDJOB=4487749
IDBENCH=147222
IDSOLVER=3340
FILE ID=nodeC015/4487749-1751326383
RUNJOBID= nodeC015-1751326375-45655
SLURM_JOB_ID= 9594361
Free space on /tmp= 432972 MiB

SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/sorensson/garden/normalized-g100x100.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4487749-1751326383/watcher-4487749-1751326383 -o /tmp/evaluation-result-4487749-1751326383/solver-4487749-1751326383 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751326375-45655 --watchdog 3760  mixed-bag HOME/instance-4487749-1751326383.opb

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

MD5SUM BENCH= 908a9c4c32d975b4e5850834449958a7
RANDOM SEED=1587256152

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129974388 kB
MemAvailable:   129680460 kB
Buffers:            2128 kB
Cached:           494928 kB
SwapCached:           24 kB
Active:           384072 kB
Inactive:         190524 kB
Active(anon):      75508 kB
Inactive(anon):    20084 kB
Active(file):     308564 kB
Inactive(file):   170440 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             47740 kB
Writeback:             0 kB
AnonPages:         80740 kB
Mapped:           103332 kB
Shmem:             18052 kB
KReclaimable:     132612 kB
Slab:             221892 kB
SReclaimable:     132612 kB
SUnreclaim:        89280 kB
KernelStack:        4016 kB
PageTables:         2768 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     343888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150456 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432956 MiB
End job on nodeC015 at 2025-07-01 02:33:15