Trace number 4529323

Some explanations

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

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

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

Solver answer on this benchmark

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

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_430.opb
MD5SUMb3bab28fe93ea42b1817acfaffdcfb3a
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 benchmark2044
Best CPU time to get the best result obtained on this benchmark3586.66
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8170
Total number of constraints8170
Number of constraints which are clauses8170
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint4
Number of terms in the objective function 8170
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 8170
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 8170
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.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.03	c [STEP] preprocessing with Papilo
0.00/0.04	c Papilo could not simplify the problem
0.00/0.04	c [STEP] solving with SCIP
298.94/300.08	c [STEP] preprocessing done, loading into solver
298.94/300.10	c [STEP] solving
298.94/300.10	c #variables 8171 #constraints 8170
298.94/300.10	c SMALL=int, LARGE=long long
298.94/300.10	d SCIPUB 2103
298.94/300.10	c bounds - >= 0 @ 298.98
298.94/300.10	c stratification level: 0
299.13/300.28	c bounds - >= 1 @ 299.02
299.13/300.28	c bounds - >= 2 @ 299.021
299.13/300.28	c bounds - >= 3 @ 299.022
299.13/300.28	c bounds - >= 4 @ 299.023
299.13/300.28	c bounds - >= 5 @ 299.024
299.13/300.28	c bounds - >= 6 @ 299.025
299.13/300.28	c bounds - >= 7 @ 299.025
299.13/300.28	c bounds - >= 8 @ 299.026
299.13/300.28	c bounds - >= 9 @ 299.027
299.13/300.28	c bounds - >= 10 @ 299.028
299.13/300.28	c bounds - >= 11 @ 299.029
299.13/300.28	c bounds - >= 12 @ 299.03
299.13/300.28	c bounds - >= 13 @ 299.031
299.13/300.28	c bounds - >= 14 @ 299.032
299.13/300.28	c bounds - >= 15 @ 299.033
299.13/300.28	c bounds - >= 16 @ 299.033
299.13/300.28	c bounds - >= 17 @ 299.033
299.13/300.28	c bounds - >= 18 @ 299.034
299.13/300.28	c bounds - >= 19 @ 299.035
299.13/300.28	c bounds - >= 20 @ 299.036
299.13/300.28	c bounds - >= 21 @ 299.036
299.13/300.28	c bounds - >= 22 @ 299.037
299.13/300.28	c bounds - >= 23 @ 299.038
299.13/300.28	c bounds - >= 24 @ 299.039
299.13/300.28	c bounds - >= 25 @ 299.039
299.13/300.28	c bounds - >= 26 @ 299.04
299.13/300.28	c bounds - >= 27 @ 299.041
299.13/300.28	c bounds - >= 28 @ 299.042
299.13/300.28	c bounds - >= 29 @ 299.043
299.13/300.28	c bounds - >= 30 @ 299.044
299.13/300.28	c bounds - >= 31 @ 299.045
299.13/300.28	c bounds - >= 32 @ 299.046
299.13/300.28	c bounds - >= 33 @ 299.047
299.13/300.28	c bounds - >= 34 @ 299.047
299.13/300.28	c bounds - >= 35 @ 299.048
299.13/300.28	c bounds - >= 36 @ 299.049
299.13/300.28	c bounds - >= 37 @ 299.05
299.13/300.28	c bounds - >= 38 @ 299.051
299.13/300.28	c bounds - >= 39 @ 299.051
299.13/300.28	c bounds - >= 40 @ 299.052
299.13/300.28	c bounds - >= 41 @ 299.053
299.13/300.28	c bounds - >= 42 @ 299.054
299.13/300.28	c bounds - >= 43 @ 299.054
299.13/300.28	c bounds - >= 44 @ 299.055
299.13/300.28	c bounds - >= 45 @ 299.056
299.13/300.28	c bounds - >= 46 @ 299.057
299.13/300.28	c bounds - >= 47 @ 299.058
299.13/300.28	c bounds - >= 48 @ 299.059
299.13/300.28	c bounds - >= 49 @ 299.06
299.13/300.28	c bounds - >= 50 @ 299.06
299.13/300.28	c bounds - >= 51 @ 299.061
299.13/300.28	c bounds - >= 52 @ 299.062
299.13/300.28	c bounds - >= 53 @ 299.063
299.13/300.28	c bounds - >= 54 @ 299.063
299.13/300.28	c bounds - >= 55 @ 299.064
299.13/300.28	c bounds - >= 56 @ 299.065
299.13/300.28	c bounds - >= 57 @ 299.065
299.13/300.28	c bounds - >= 58 @ 299.066
299.13/300.28	c bounds - >= 59 @ 299.066
299.13/300.28	c bounds - >= 60 @ 299.067
299.13/300.28	c bounds - >= 61 @ 299.068
299.13/300.28	c bounds - >= 62 @ 299.069
299.13/300.28	c bounds - >= 63 @ 299.07
299.13/300.28	c bounds - >= 64 @ 299.071
299.13/300.28	c bounds - >= 65 @ 299.072
299.13/300.28	c bounds - >= 66 @ 299.072
299.13/300.28	c bounds - >= 67 @ 299.073
299.13/300.28	c bounds - >= 68 @ 299.074
299.13/300.28	c bounds - >= 69 @ 299.075
299.13/300.28	c bounds - >= 70 @ 299.076
299.13/300.28	c bounds - >= 71 @ 299.077
299.13/300.28	c bounds - >= 72 @ 299.078
299.13/300.28	c bounds - >= 73 @ 299.079
299.13/300.28	c bounds - >= 74 @ 299.079
299.13/300.28	c bounds - >= 75 @ 299.08
299.13/300.28	c bounds - >= 76 @ 299.081
299.13/300.28	c bounds - >= 77 @ 299.082
299.13/300.28	c bounds - >= 78 @ 299.083
299.13/300.28	c bounds - >= 79 @ 299.084
299.13/300.28	c bounds - >= 80 @ 299.084
299.13/300.28	c bounds - >= 81 @ 299.085
299.13/300.28	c bounds - >= 82 @ 299.086
299.13/300.28	c bounds - >= 83 @ 299.086
299.13/300.28	c bounds - >= 84 @ 299.087
299.13/300.28	c bounds - >= 85 @ 299.088
299.13/300.28	c bounds - >= 86 @ 299.089
299.13/300.28	c bounds - >= 87 @ 299.09
299.13/300.28	c bounds - >= 88 @ 299.091
299.13/300.28	c bounds - >= 89 @ 299.092
299.13/300.28	c bounds - >= 90 @ 299.092
299.13/300.28	c bounds - >= 91 @ 299.093
299.13/300.28	c bounds - >= 92 @ 299.094
299.13/300.28	c bounds - >= 93 @ 299.095
299.13/300.28	c bounds - >= 94 @ 299.096
299.13/300.28	c bounds - >= 95 @ 299.097
299.13/300.28	c bounds - >= 96 @ 299.098
299.13/300.28	c bounds - >= 97 @ 299.099
299.13/300.28	c bounds - >= 98 @ 299.1
299.13/300.28	c bounds - >= 99 @ 299.1
299.13/300.28	c bounds - >= 100 @ 299.101
299.13/300.28	c bounds - >= 101 @ 299.102
299.13/300.28	c bounds - >= 102 @ 299.103
299.13/300.28	c bounds - >= 103 @ 299.104
299.13/300.28	c bounds - >= 104 @ 299.105
299.13/300.28	c bounds - >= 105 @ 299.106
299.13/300.28	c bounds - >= 106 @ 299.107
299.13/300.28	c bounds - >= 107 @ 299.107
299.13/300.28	c bounds - >= 108 @ 299.108
299.13/300.28	c bounds - >= 109 @ 299.109
299.13/300.28	c bounds - >= 110 @ 299.11
299.13/300.28	c bounds - >= 111 @ 299.111
299.13/300.28	c bounds - >= 112 @ 299.112
299.13/300.28	c bounds - >= 113 @ 299.112
299.13/300.28	c bounds - >= 114 @ 299.113
299.13/300.28	c bounds - >= 115 @ 299.113
299.13/300.28	c bounds - >= 116 @ 299.114
299.13/300.28	c bounds - >= 117 @ 299.115
299.13/300.28	c bounds - >= 118 @ 299.116
299.13/300.28	c bounds - >= 119 @ 299.117
299.13/300.28	c bounds - >= 120 @ 299.118
299.13/300.28	c bounds - >= 121 @ 299.119
299.13/300.28	c bounds - >= 122 @ 299.12
299.13/300.28	c bounds - >= 123 @ 299.12
299.13/300.28	c bounds - >= 124 @ 299.121
299.13/300.28	c bounds - >= 125 @ 299.122
299.13/300.28	c bounds - >= 126 @ 299.122
299.13/300.28	c bounds - >= 127 @ 299.123
299.13/300.28	c bounds - >= 128 @ 299.124
299.13/300.28	c bounds - >= 129 @ 299.125
299.13/300.28	c bounds - >= 130 @ 299.126
299.13/300.28	c bounds - >= 131 @ 299.126
299.13/300.28	c bounds - >= 132 @ 299.127
299.13/300.28	c bounds - >= 133 @ 299.127
299.13/300.28	c bounds - >= 134 @ 299.128
299.13/300.28	c bounds - >= 135 @ 299.129
299.13/300.28	c bounds - >= 136 @ 299.13
299.13/300.28	c bounds - >= 137 @ 299.131
299.13/300.28	c bounds - >= 138 @ 299.132
299.13/300.28	c bounds - >= 139 @ 299.133
299.13/300.28	c bounds - >= 140 @ 299.133
299.13/300.28	c bounds - >= 141 @ 299.134
299.13/300.28	c bounds - >= 142 @ 299.135
299.13/300.28	c bounds - >= 143 @ 299.136
299.13/300.28	c bounds - >= 144 @ 299.137
299.13/300.28	c bounds - >= 145 @ 299.138
299.13/300.28	c bounds - >= 146 @ 299.139
299.13/300.28	c bounds - >= 147 @ 299.14
299.13/300.28	c bounds - >= 148 @ 299.14
299.13/300.28	c bounds - >= 149 @ 299.141
299.13/300.28	c bounds - >= 150 @ 299.142
299.13/300.28	c bounds - >= 151 @ 299.143
299.33/300.40	c bounds - >= 152 @ 299.144
299.33/300.40	c bounds - >= 153 @ 299.145
299.33/300.40	c bounds - >= 154 @ 299.146
299.33/300.40	c bounds - >= 155 @ 299.146
299.33/300.40	c bounds - >= 156 @ 299.147
299.33/300.40	c bounds - >= 157 @ 299.148
299.33/300.40	c bounds - >= 158 @ 299.149
299.33/300.40	c bounds - >= 159 @ 299.15
299.33/300.40	c bounds - >= 160 @ 299.151
299.33/300.40	c bounds - >= 161 @ 299.152
299.33/300.40	c bounds - >= 162 @ 299.152
299.33/300.40	c bounds - >= 163 @ 299.153
299.33/300.40	c bounds - >= 164 @ 299.154
299.33/300.40	c bounds - >= 165 @ 299.155
299.33/300.40	c bounds - >= 166 @ 299.156
299.33/300.40	c bounds - >= 167 @ 299.157
299.33/300.40	c bounds - >= 168 @ 299.158
299.33/300.40	c bounds - >= 169 @ 299.158
299.33/300.40	c bounds - >= 170 @ 299.159
299.33/300.40	c bounds - >= 171 @ 299.16
299.33/300.40	c bounds - >= 172 @ 299.161
299.33/300.40	c bounds - >= 173 @ 299.162
299.33/300.40	c bounds - >= 174 @ 299.163
299.33/300.40	c bounds - >= 175 @ 299.163
299.33/300.40	c bounds - >= 176 @ 299.164
299.33/300.40	c bounds - >= 177 @ 299.165
299.33/300.40	c bounds - >= 178 @ 299.166
299.33/300.40	c bounds - >= 179 @ 299.167
299.33/300.40	c bounds - >= 180 @ 299.168
299.33/300.40	c bounds - >= 181 @ 299.169
299.33/300.40	c bounds - >= 182 @ 299.17
299.33/300.40	c bounds - >= 183 @ 299.171
299.33/300.40	c bounds - >= 184 @ 299.171
299.33/300.40	c bounds - >= 185 @ 299.172
299.33/300.40	c bounds - >= 186 @ 299.173
299.33/300.40	c bounds - >= 187 @ 299.174
299.33/300.40	c bounds - >= 188 @ 299.175
299.33/300.40	c bounds - >= 189 @ 299.176
299.33/300.40	c bounds - >= 190 @ 299.176
299.33/300.40	c bounds - >= 191 @ 299.177
299.33/300.40	c bounds - >= 192 @ 299.178
299.33/300.40	c bounds - >= 193 @ 299.179
299.33/300.40	c bounds - >= 194 @ 299.18
299.33/300.40	c bounds - >= 195 @ 299.181
299.33/300.40	c bounds - >= 196 @ 299.181
299.33/300.40	c bounds - >= 197 @ 299.181
299.33/300.40	c bounds - >= 198 @ 299.182
299.33/300.40	c bounds - >= 199 @ 299.183
299.33/300.40	c bounds - >= 200 @ 299.184
299.33/300.40	c bounds - >= 201 @ 299.185
299.33/300.40	c bounds - >= 202 @ 299.186
299.33/300.40	c bounds - >= 203 @ 299.187
299.33/300.40	c bounds - >= 204 @ 299.187
299.33/300.40	c bounds - >= 205 @ 299.188
299.33/300.40	c bounds - >= 206 @ 299.189
299.33/300.40	c bounds - >= 207 @ 299.19
299.33/300.40	c bounds - >= 208 @ 299.191
299.33/300.40	c bounds - >= 209 @ 299.192
299.33/300.40	c bounds - >= 210 @ 299.193
299.33/300.40	c bounds - >= 211 @ 299.193
299.33/300.40	c bounds - >= 212 @ 299.194
299.33/300.40	c bounds - >= 213 @ 299.195
299.33/300.40	c bounds - >= 214 @ 299.196
299.33/300.40	c bounds - >= 215 @ 299.197
299.33/300.40	c bounds - >= 216 @ 299.198
299.33/300.40	c bounds - >= 217 @ 299.199
299.33/300.40	c bounds - >= 218 @ 299.199
299.33/300.40	c bounds - >= 219 @ 299.2
299.33/300.40	c bounds - >= 220 @ 299.201
299.33/300.40	c bounds - >= 221 @ 299.202
299.33/300.40	c bounds - >= 222 @ 299.203
299.33/300.40	c bounds - >= 223 @ 299.204
299.33/300.40	c bounds - >= 224 @ 299.204
299.33/300.40	c bounds - >= 225 @ 299.205
299.33/300.40	c bounds - >= 226 @ 299.206
299.33/300.40	c bounds - >= 227 @ 299.207
299.33/300.40	c bounds - >= 228 @ 299.208
299.33/300.40	c bounds - >= 229 @ 299.209
299.33/300.40	c bounds - >= 230 @ 299.209
299.33/300.40	c bounds - >= 231 @ 299.21
299.33/300.40	c bounds - >= 232 @ 299.211
299.33/300.40	c bounds - >= 233 @ 299.212
299.33/300.40	c bounds - >= 234 @ 299.213
299.33/300.40	c bounds - >= 235 @ 299.214
299.33/300.40	c bounds - >= 236 @ 299.214
299.33/300.40	c bounds - >= 237 @ 299.214
299.33/300.40	c bounds - >= 238 @ 299.216
299.33/300.40	c bounds - >= 239 @ 299.216
299.33/300.40	c bounds - >= 240 @ 299.217
299.33/300.40	c bounds - >= 241 @ 299.218
299.33/300.40	c bounds - >= 242 @ 299.219
299.33/300.40	c bounds - >= 243 @ 299.22
299.33/300.40	c bounds - >= 244 @ 299.22
299.33/300.40	c bounds - >= 245 @ 299.221
299.33/300.40	c bounds - >= 246 @ 299.222
299.33/300.40	c bounds - >= 247 @ 299.223
299.33/300.40	c bounds - >= 248 @ 299.224
299.33/300.40	c bounds - >= 249 @ 299.225
299.33/300.40	c bounds - >= 250 @ 299.226
299.33/300.40	c bounds - >= 251 @ 299.226
299.33/300.40	c bounds - >= 252 @ 299.227
299.33/300.40	c bounds - >= 253 @ 299.228
299.33/300.40	c bounds - >= 254 @ 299.229
299.33/300.40	c bounds - >= 255 @ 299.23
299.33/300.40	c bounds - >= 256 @ 299.231
299.33/300.40	c bounds - >= 257 @ 299.232
299.33/300.40	c bounds - >= 258 @ 299.232
299.33/300.40	c bounds - >= 259 @ 299.233
299.33/300.40	c bounds - >= 260 @ 299.234
299.33/300.40	c bounds - >= 261 @ 299.235
299.33/300.40	c bounds - >= 262 @ 299.236
299.33/300.40	c bounds - >= 263 @ 299.237
299.33/300.40	c bounds - >= 264 @ 299.237
299.33/300.40	c bounds - >= 265 @ 299.238
299.33/300.40	c bounds - >= 266 @ 299.239
299.33/300.40	c bounds - >= 267 @ 299.24
299.33/300.40	c bounds - >= 268 @ 299.241
299.33/300.40	c bounds - >= 269 @ 299.242
299.33/300.40	c bounds - >= 270 @ 299.243
299.33/300.40	c bounds - >= 271 @ 299.243
299.33/300.40	c bounds - >= 272 @ 299.244
299.33/300.40	c bounds - >= 273 @ 299.245
299.33/300.40	c bounds - >= 274 @ 299.246
299.33/300.40	c bounds - >= 275 @ 299.247
299.33/300.40	c bounds - >= 276 @ 299.248
299.33/300.40	c bounds - >= 277 @ 299.249
299.33/300.40	c bounds - >= 278 @ 299.249
299.33/300.40	c bounds - >= 279 @ 299.25
299.33/300.40	c bounds - >= 280 @ 299.251
299.33/300.40	c bounds - >= 281 @ 299.252
299.33/300.40	c bounds - >= 282 @ 299.253
299.33/300.40	c bounds - >= 283 @ 299.254
299.33/300.40	c bounds - >= 284 @ 299.254
299.33/300.40	c bounds - >= 285 @ 299.255
299.33/300.40	c bounds - >= 286 @ 299.256
299.33/300.40	c bounds - >= 287 @ 299.257
299.33/300.40	c bounds - >= 288 @ 299.258
299.33/300.40	c bounds - >= 289 @ 299.259
299.33/300.40	c bounds - >= 290 @ 299.26
299.33/300.40	c bounds - >= 291 @ 299.26
299.33/300.40	c bounds - >= 292 @ 299.261
299.33/300.40	c bounds - >= 293 @ 299.262
299.33/300.40	c bounds - >= 294 @ 299.263
299.33/300.40	c bounds - >= 295 @ 299.264
299.33/300.40	c bounds - >= 296 @ 299.265
299.33/300.40	c bounds - >= 297 @ 299.266
299.33/300.40	c bounds - >= 298 @ 299.266
299.43/300.53	c bounds - >= 299 @ 299.267
299.43/300.53	c bounds - >= 300 @ 299.268
299.43/300.53	c bounds - >= 301 @ 299.269
299.43/300.53	c bounds - >= 302 @ 299.27
299.43/300.53	c bounds - >= 303 @ 299.271
299.43/300.53	c bounds - >= 304 @ 299.271
299.43/300.53	c bounds - >= 305 @ 299.272
299.43/300.53	c bounds - >= 306 @ 299.273
299.43/300.53	c bounds - >= 307 @ 299.274
299.43/300.53	c bounds - >= 308 @ 299.275
299.43/300.53	c bounds - >= 309 @ 299.276
299.43/300.53	c bounds - >= 310 @ 299.276
299.43/300.53	c bounds - >= 311 @ 299.277
299.43/300.53	c bounds - >= 312 @ 299.278
299.43/300.53	c bounds - >= 313 @ 299.279
299.43/300.53	c bounds - >= 314 @ 299.28
299.43/300.53	c bounds - >= 315 @ 299.281
299.43/300.53	c bounds - >= 316 @ 299.281
299.43/300.53	c bounds - >= 317 @ 299.282
299.43/300.53	c bounds - >= 318 @ 299.282
299.43/300.53	c bounds - >= 319 @ 299.283
299.43/300.53	c bounds - >= 320 @ 299.284
299.43/300.53	c bounds - >= 321 @ 299.285
299.43/300.53	c bounds - >= 322 @ 299.285
299.43/300.53	c bounds - >= 323 @ 299.286
299.43/300.53	c bounds - >= 324 @ 299.287
299.43/300.53	c bounds - >= 325 @ 299.288
299.43/300.53	c bounds - >= 326 @ 299.289
299.43/300.53	c bounds - >= 327 @ 299.29
299.43/300.53	c bounds - >= 328 @ 299.291
299.43/300.53	c bounds - >= 329 @ 299.291
299.43/300.53	c bounds - >= 330 @ 299.292
299.43/300.53	c bounds - >= 331 @ 299.293
299.43/300.53	c bounds - >= 332 @ 299.294
299.43/300.53	c bounds - >= 333 @ 299.295
299.43/300.53	c bounds - >= 334 @ 299.296
299.43/300.53	c bounds - >= 335 @ 299.296
299.43/300.53	c bounds - >= 336 @ 299.297
299.43/300.53	c bounds - >= 337 @ 299.298
299.43/300.53	c bounds - >= 338 @ 299.299
299.43/300.53	c bounds - >= 339 @ 299.3
299.43/300.53	c bounds - >= 340 @ 299.301
299.43/300.53	c bounds - >= 341 @ 299.301
299.43/300.53	c bounds - >= 342 @ 299.302
299.43/300.53	c bounds - >= 343 @ 299.303
299.43/300.53	c bounds - >= 344 @ 299.304
299.43/300.53	c bounds - >= 345 @ 299.305
299.43/300.53	c bounds - >= 346 @ 299.306
299.43/300.53	c bounds - >= 347 @ 299.306
299.43/300.53	c bounds - >= 348 @ 299.307
299.43/300.53	c bounds - >= 349 @ 299.308
299.43/300.53	c bounds - >= 350 @ 299.309
299.43/300.53	c bounds - >= 351 @ 299.31
299.43/300.53	c bounds - >= 352 @ 299.311
299.43/300.53	c bounds - >= 353 @ 299.311
299.43/300.53	c bounds - >= 354 @ 299.312
299.43/300.53	c bounds - >= 355 @ 299.313
299.43/300.53	c bounds - >= 356 @ 299.314
299.43/300.53	c bounds - >= 357 @ 299.315
299.43/300.53	c bounds - >= 358 @ 299.316
299.43/300.53	c bounds - >= 359 @ 299.317
299.43/300.53	c bounds - >= 360 @ 299.317
299.43/300.53	c bounds - >= 361 @ 299.318
299.43/300.53	c bounds - >= 362 @ 299.319
299.43/300.53	c bounds - >= 363 @ 299.32
299.43/300.53	c bounds - >= 364 @ 299.321
299.43/300.53	c bounds - >= 365 @ 299.321
299.43/300.53	c bounds - >= 366 @ 299.322
299.43/300.53	c bounds - >= 367 @ 299.323
299.43/300.53	c bounds - >= 368 @ 299.324
299.43/300.53	c bounds - >= 369 @ 299.325
299.43/300.53	c bounds - >= 370 @ 299.326
299.43/300.53	c bounds - >= 371 @ 299.326
299.43/300.53	c bounds - >= 372 @ 299.327
299.43/300.53	c bounds - >= 373 @ 299.328
299.43/300.53	c bounds - >= 374 @ 299.329
299.43/300.53	c bounds - >= 375 @ 299.33
299.43/300.53	c bounds - >= 376 @ 299.33
299.43/300.53	c bounds - >= 377 @ 299.331
299.43/300.53	c bounds - >= 378 @ 299.332
299.43/300.53	c bounds - >= 379 @ 299.332
299.43/300.53	c bounds - >= 380 @ 299.333
299.43/300.53	c bounds - >= 381 @ 299.334
299.43/300.53	c bounds - >= 382 @ 299.335
299.43/300.53	c bounds - >= 383 @ 299.336
299.43/300.53	c bounds - >= 384 @ 299.337
299.43/300.53	c bounds - >= 385 @ 299.337
299.43/300.53	c bounds - >= 386 @ 299.338
299.43/300.53	c bounds - >= 387 @ 299.339
299.43/300.53	c bounds - >= 388 @ 299.34
299.43/300.53	c bounds - >= 389 @ 299.341
299.43/300.53	c bounds - >= 390 @ 299.342
299.43/300.53	c bounds - >= 391 @ 299.342
299.43/300.53	c bounds - >= 392 @ 299.343
299.43/300.53	c bounds - >= 393 @ 299.344
299.43/300.53	c bounds - >= 394 @ 299.344
299.43/300.53	c bounds - >= 395 @ 299.345
299.43/300.53	c bounds - >= 396 @ 299.346
299.43/300.53	c bounds - >= 397 @ 299.347
299.43/300.53	c bounds - >= 398 @ 299.347
299.43/300.53	c bounds - >= 399 @ 299.348
299.43/300.53	c bounds - >= 400 @ 299.349
299.43/300.53	c bounds - >= 401 @ 299.35
299.43/300.53	c bounds - >= 402 @ 299.351
299.43/300.53	c bounds - >= 403 @ 299.352
299.43/300.53	c bounds - >= 404 @ 299.352
299.43/300.53	c bounds - >= 405 @ 299.353
299.43/300.53	c bounds - >= 406 @ 299.354
299.43/300.53	c bounds - >= 407 @ 299.354
299.43/300.53	c bounds - >= 408 @ 299.355
299.43/300.53	c bounds - >= 409 @ 299.356
299.43/300.53	c bounds - >= 410 @ 299.356
299.43/300.53	c bounds - >= 411 @ 299.357
299.43/300.53	c bounds - >= 412 @ 299.358
299.43/300.53	c bounds - >= 413 @ 299.359
299.43/300.53	c bounds - >= 414 @ 299.36
299.43/300.53	c bounds - >= 415 @ 299.361
299.43/300.53	c bounds - >= 416 @ 299.362
299.43/300.53	c bounds - >= 417 @ 299.362
299.43/300.53	c bounds - >= 418 @ 299.363
299.43/300.53	c bounds - >= 419 @ 299.364
299.43/300.53	c bounds - >= 420 @ 299.365
299.43/300.53	c bounds - >= 421 @ 299.366
299.43/300.53	c bounds - >= 422 @ 299.367
299.43/300.53	c bounds - >= 423 @ 299.367
299.43/300.53	c bounds - >= 424 @ 299.368
299.43/300.53	c bounds - >= 425 @ 299.369
299.43/300.53	c bounds - >= 426 @ 299.369
299.43/300.53	c bounds - >= 427 @ 299.37
299.43/300.53	c bounds - >= 428 @ 299.371
299.43/300.53	c bounds - >= 429 @ 299.371
299.43/300.53	c bounds - >= 430 @ 299.372
299.43/300.53	c bounds - >= 431 @ 299.373
299.43/300.53	c bounds - >= 432 @ 299.374
299.43/300.53	c bounds - >= 433 @ 299.375
299.43/300.53	c bounds - >= 434 @ 299.376
299.43/300.53	c bounds - >= 435 @ 299.377
299.43/300.53	c bounds - >= 436 @ 299.377
299.43/300.53	c bounds - >= 437 @ 299.378
299.43/300.53	c bounds - >= 438 @ 299.379
299.43/300.53	c bounds - >= 439 @ 299.379
299.43/300.53	c bounds - >= 440 @ 299.38
299.43/300.53	c bounds - >= 441 @ 299.381
299.43/300.53	c bounds - >= 442 @ 299.382
299.43/300.53	c bounds - >= 443 @ 299.383
299.43/300.53	c bounds - >= 444 @ 299.383
299.43/300.53	c bounds - >= 445 @ 299.384
299.53/300.65	c bounds - >= 446 @ 299.385
299.53/300.65	c bounds - >= 447 @ 299.385
299.53/300.65	c bounds - >= 448 @ 299.386
299.53/300.65	c bounds - >= 449 @ 299.387
299.53/300.65	c bounds - >= 450 @ 299.387
299.53/300.65	c bounds - >= 451 @ 299.388
299.53/300.65	c bounds - >= 452 @ 299.389
299.53/300.65	c bounds - >= 453 @ 299.39
299.53/300.65	c bounds - >= 454 @ 299.391
299.53/300.65	c bounds - >= 455 @ 299.392
299.53/300.65	c bounds - >= 456 @ 299.392
299.53/300.65	c bounds - >= 457 @ 299.393
299.53/300.65	c bounds - >= 458 @ 299.394
299.53/300.65	c bounds - >= 459 @ 299.395
299.53/300.65	c bounds - >= 460 @ 299.396
299.53/300.65	c bounds - >= 461 @ 299.397
299.53/300.65	c bounds - >= 462 @ 299.398
299.53/300.65	c bounds - >= 463 @ 299.398
299.53/300.65	c bounds - >= 464 @ 299.399
299.53/300.65	c bounds - >= 465 @ 299.4
299.53/300.65	c bounds - >= 466 @ 299.401
299.53/300.65	c bounds - >= 467 @ 299.402
299.53/300.65	c bounds - >= 468 @ 299.403
299.53/300.65	c bounds - >= 469 @ 299.403
299.53/300.65	c bounds - >= 470 @ 299.404
299.53/300.65	c bounds - >= 471 @ 299.405
299.53/300.65	c bounds - >= 472 @ 299.406
299.53/300.65	c bounds - >= 473 @ 299.406
299.53/300.65	c bounds - >= 474 @ 299.407
299.53/300.65	c bounds - >= 475 @ 299.407
299.53/300.65	c bounds - >= 476 @ 299.408
299.53/300.65	c bounds - >= 477 @ 299.409
299.53/300.65	c bounds - >= 478 @ 299.41
299.53/300.65	c bounds - >= 479 @ 299.411
299.53/300.65	c bounds - >= 480 @ 299.412
299.53/300.65	c bounds - >= 481 @ 299.412
299.53/300.65	c bounds - >= 482 @ 299.413
299.53/300.65	c bounds - >= 483 @ 299.414
299.53/300.65	c bounds - >= 484 @ 299.415
299.53/300.65	c bounds - >= 485 @ 299.416
299.53/300.65	c bounds - >= 486 @ 299.417
299.53/300.65	c bounds - >= 487 @ 299.418
299.53/300.65	c bounds - >= 488 @ 299.418
299.53/300.65	c bounds - >= 489 @ 299.419
299.53/300.65	c bounds - >= 490 @ 299.42
299.53/300.65	c bounds - >= 491 @ 299.421
299.53/300.65	c bounds - >= 492 @ 299.422
299.53/300.65	c bounds - >= 493 @ 299.423
299.53/300.65	c bounds - >= 494 @ 299.423
299.53/300.65	c bounds - >= 495 @ 299.424
299.53/300.65	c bounds - >= 496 @ 299.425
299.53/300.65	c bounds - >= 497 @ 299.426
299.53/300.65	c bounds - >= 498 @ 299.427
299.53/300.65	c bounds - >= 499 @ 299.428
299.53/300.65	c bounds - >= 500 @ 299.428
299.53/300.65	c bounds - >= 501 @ 299.429
299.53/300.65	c bounds - >= 502 @ 299.431
299.53/300.65	c bounds - >= 503 @ 299.431
299.53/300.65	c bounds - >= 504 @ 299.432
299.53/300.65	c bounds - >= 505 @ 299.433
299.53/300.65	c bounds - >= 506 @ 299.434
299.53/300.65	c bounds - >= 507 @ 299.435
299.53/300.65	c bounds - >= 508 @ 299.436
299.53/300.65	c bounds - >= 509 @ 299.436
299.53/300.65	c bounds - >= 510 @ 299.437
299.53/300.65	c bounds - >= 511 @ 299.438
299.53/300.65	c bounds - >= 512 @ 299.439
299.53/300.65	c bounds - >= 513 @ 299.44
299.53/300.65	c bounds - >= 514 @ 299.441
299.53/300.65	c bounds - >= 515 @ 299.441
299.53/300.65	c bounds - >= 516 @ 299.442
299.53/300.65	c bounds - >= 517 @ 299.443
299.53/300.65	c bounds - >= 518 @ 299.444
299.53/300.65	c bounds - >= 519 @ 299.445
299.53/300.65	c bounds - >= 520 @ 299.446
299.53/300.65	c bounds - >= 521 @ 299.446
299.53/300.65	c bounds - >= 522 @ 299.447
299.53/300.65	c bounds - >= 523 @ 299.448
299.53/300.65	c bounds - >= 524 @ 299.449
299.53/300.65	c bounds - >= 525 @ 299.45
299.53/300.65	c bounds - >= 526 @ 299.451
299.53/300.65	c bounds - >= 527 @ 299.452
299.53/300.65	c bounds - >= 528 @ 299.452
299.53/300.65	c bounds - >= 529 @ 299.453
299.53/300.65	c bounds - >= 530 @ 299.454
299.53/300.65	c bounds - >= 531 @ 299.455
299.53/300.65	c bounds - >= 532 @ 299.456
299.53/300.65	c bounds - >= 533 @ 299.457
299.53/300.65	c bounds - >= 534 @ 299.457
299.53/300.65	c bounds - >= 535 @ 299.458
299.53/300.65	c bounds - >= 536 @ 299.459
299.53/300.65	c bounds - >= 537 @ 299.46
299.53/300.65	c bounds - >= 538 @ 299.461
299.53/300.65	c bounds - >= 539 @ 299.462
299.53/300.65	c bounds - >= 540 @ 299.462
299.53/300.65	c bounds - >= 541 @ 299.463
299.53/300.65	c bounds - >= 542 @ 299.464
299.53/300.65	c bounds - >= 543 @ 299.465
299.53/300.65	c bounds - >= 544 @ 299.466
299.53/300.65	c bounds - >= 545 @ 299.467
299.53/300.65	c bounds - >= 546 @ 299.467
299.53/300.65	c bounds - >= 547 @ 299.468
299.53/300.65	c bounds - >= 548 @ 299.469
299.53/300.65	c bounds - >= 549 @ 299.469
299.53/300.65	c bounds - >= 550 @ 299.47
299.53/300.65	c bounds - >= 551 @ 299.471
299.53/300.65	c bounds - >= 552 @ 299.471
299.53/300.65	c bounds - >= 553 @ 299.472
299.53/300.65	c bounds - >= 554 @ 299.473
299.53/300.65	c bounds - >= 555 @ 299.473
299.53/300.65	c bounds - >= 556 @ 299.474
299.53/300.65	c bounds - >= 557 @ 299.474
299.53/300.65	c bounds - >= 558 @ 299.475
299.53/300.65	c bounds - >= 559 @ 299.476
299.53/300.65	c bounds - >= 560 @ 299.477
299.53/300.65	c bounds - >= 561 @ 299.478
299.53/300.65	c bounds - >= 562 @ 299.479
299.53/300.65	c bounds - >= 563 @ 299.479
299.53/300.65	c bounds - >= 564 @ 299.48
299.53/300.65	c bounds - >= 565 @ 299.481
299.53/300.65	c bounds - >= 566 @ 299.482
299.53/300.65	c bounds - >= 567 @ 299.483
299.53/300.65	c bounds - >= 568 @ 299.484
299.53/300.65	c bounds - >= 569 @ 299.484
299.53/300.65	c bounds - >= 570 @ 299.485
299.53/300.65	c bounds - >= 571 @ 299.486
299.53/300.65	c bounds - >= 572 @ 299.486
299.53/300.65	c bounds - >= 573 @ 299.487
299.53/300.65	c bounds - >= 574 @ 299.487
299.53/300.65	c bounds - >= 575 @ 299.488
299.53/300.65	c bounds - >= 576 @ 299.489
299.53/300.65	c bounds - >= 577 @ 299.49
299.53/300.65	c bounds - >= 578 @ 299.491
299.53/300.65	c bounds - >= 579 @ 299.492
299.53/300.65	c bounds - >= 580 @ 299.492
299.53/300.65	c bounds - >= 581 @ 299.493
299.53/300.65	c bounds - >= 582 @ 299.494
299.53/300.65	c bounds - >= 583 @ 299.494
299.53/300.65	c bounds - >= 584 @ 299.495
299.53/300.65	c bounds - >= 585 @ 299.495
299.53/300.65	c bounds - >= 586 @ 299.496
299.53/300.65	c bounds - >= 587 @ 299.497
299.53/300.65	c bounds - >= 588 @ 299.498
299.53/300.65	c bounds - >= 589 @ 299.499
299.53/300.65	c bounds - >= 590 @ 299.5
299.53/300.65	c bounds - >= 591 @ 299.5
299.53/300.65	c bounds - >= 592 @ 299.501
299.63/300.77	c bounds - >= 593 @ 299.502
299.63/300.77	c bounds - >= 594 @ 299.503
299.63/300.77	c bounds - >= 595 @ 299.504
299.63/300.77	c bounds - >= 596 @ 299.504
299.63/300.77	c bounds - >= 597 @ 299.505
299.63/300.77	c bounds - >= 598 @ 299.506
299.63/300.77	c bounds - >= 599 @ 299.507
299.63/300.77	c bounds - >= 600 @ 299.508
299.63/300.77	c bounds - >= 601 @ 299.508
299.63/300.77	c bounds - >= 602 @ 299.509
299.63/300.77	c bounds - >= 603 @ 299.51
299.63/300.77	c bounds - >= 604 @ 299.511
299.63/300.77	c bounds - >= 605 @ 299.512
299.63/300.77	c bounds - >= 606 @ 299.513
299.63/300.77	c bounds - >= 607 @ 299.513
299.63/300.77	c bounds - >= 608 @ 299.514
299.63/300.77	c bounds - >= 609 @ 299.515
299.63/300.77	c bounds - >= 610 @ 299.516
299.63/300.77	c bounds - >= 611 @ 299.517
299.63/300.77	c bounds - >= 612 @ 299.517
299.63/300.77	c bounds - >= 613 @ 299.518
299.63/300.77	c bounds - >= 614 @ 299.519
299.63/300.77	c bounds - >= 615 @ 299.52
299.63/300.77	c bounds - >= 616 @ 299.521
299.63/300.77	c bounds - >= 617 @ 299.521
299.63/300.77	c bounds - >= 618 @ 299.522
299.63/300.77	c bounds - >= 619 @ 299.523
299.63/300.77	c bounds - >= 620 @ 299.524
299.63/300.77	c bounds - >= 621 @ 299.525
299.63/300.77	c bounds - >= 622 @ 299.525
299.63/300.77	c bounds - >= 623 @ 299.526
299.63/300.77	c bounds - >= 624 @ 299.527
299.63/300.77	c bounds - >= 625 @ 299.528
299.63/300.77	c bounds - >= 626 @ 299.529
299.63/300.77	c bounds - >= 627 @ 299.529
299.63/300.77	c bounds - >= 628 @ 299.53
299.63/300.77	c bounds - >= 629 @ 299.531
299.63/300.77	c bounds - >= 630 @ 299.532
299.63/300.77	c bounds - >= 631 @ 299.533
299.63/300.77	c bounds - >= 632 @ 299.534
299.63/300.77	c bounds - >= 633 @ 299.535
299.63/300.77	c bounds - >= 634 @ 299.535
299.63/300.77	c bounds - >= 635 @ 299.536
299.63/300.77	c bounds - >= 636 @ 299.537
299.63/300.77	c bounds - >= 637 @ 299.538
299.63/300.77	c bounds - >= 638 @ 299.538
299.63/300.77	c bounds - >= 639 @ 299.539
299.63/300.77	c bounds - >= 640 @ 299.539
299.63/300.77	c bounds - >= 641 @ 299.54
299.63/300.77	c bounds - >= 642 @ 299.541
299.63/300.77	c bounds - >= 643 @ 299.542
299.63/300.77	c bounds - >= 644 @ 299.543
299.63/300.77	c bounds - >= 645 @ 299.543
299.63/300.77	c bounds - >= 646 @ 299.544
299.63/300.77	c bounds - >= 647 @ 299.545
299.63/300.77	c bounds - >= 648 @ 299.546
299.63/300.77	c bounds - >= 649 @ 299.547
299.63/300.77	c bounds - >= 650 @ 299.547
299.63/300.77	c bounds - >= 651 @ 299.548
299.63/300.77	c bounds - >= 652 @ 299.549
299.63/300.77	c bounds - >= 653 @ 299.55
299.63/300.77	c bounds - >= 654 @ 299.551
299.63/300.77	c bounds - >= 655 @ 299.551
299.63/300.77	c bounds - >= 656 @ 299.552
299.63/300.77	c bounds - >= 657 @ 299.553
299.63/300.77	c bounds - >= 658 @ 299.554
299.63/300.77	c bounds - >= 659 @ 299.555
299.63/300.77	c bounds - >= 660 @ 299.556
299.63/300.77	c bounds - >= 661 @ 299.556
299.63/300.77	c bounds - >= 662 @ 299.557
299.63/300.77	c bounds - >= 663 @ 299.558
299.63/300.77	c bounds - >= 664 @ 299.559
299.63/300.77	c bounds - >= 665 @ 299.559
299.63/300.77	c bounds - >= 666 @ 299.56
299.63/300.77	c bounds - >= 667 @ 299.56
299.63/300.77	c bounds - >= 668 @ 299.561
299.63/300.77	c bounds - >= 669 @ 299.562
299.63/300.77	c bounds - >= 670 @ 299.563
299.63/300.77	c bounds - >= 671 @ 299.563
299.63/300.77	c bounds - >= 672 @ 299.563
299.63/300.77	c bounds - >= 673 @ 299.564
299.63/300.77	c bounds - >= 674 @ 299.565
299.63/300.77	c bounds - >= 675 @ 299.566
299.63/300.77	c bounds - >= 676 @ 299.566
299.63/300.77	c bounds - >= 677 @ 299.566
299.63/300.77	c bounds - >= 678 @ 299.567
299.63/300.77	c bounds - >= 679 @ 299.568
299.63/300.77	c bounds - >= 680 @ 299.569
299.63/300.77	c bounds - >= 681 @ 299.57
299.63/300.77	c bounds - >= 682 @ 299.57
299.63/300.77	c bounds - >= 683 @ 299.571
299.63/300.77	c bounds - >= 684 @ 299.572
299.63/300.77	c bounds - >= 685 @ 299.573
299.63/300.77	c bounds - >= 686 @ 299.573
299.63/300.77	c bounds - >= 687 @ 299.574
299.63/300.77	c bounds - >= 688 @ 299.575
299.63/300.77	c bounds - >= 689 @ 299.576
299.63/300.77	c bounds - >= 690 @ 299.577
299.63/300.77	c bounds - >= 691 @ 299.577
299.63/300.77	c bounds - >= 692 @ 299.578
299.63/300.77	c bounds - >= 693 @ 299.579
299.63/300.77	c bounds - >= 694 @ 299.58
299.63/300.77	c bounds - >= 695 @ 299.581
299.63/300.77	c bounds - >= 696 @ 299.582
299.63/300.77	c bounds - >= 697 @ 299.582
299.63/300.77	c bounds - >= 698 @ 299.583
299.63/300.77	c bounds - >= 699 @ 299.584
299.63/300.77	c bounds - >= 700 @ 299.585
299.63/300.77	c bounds - >= 701 @ 299.585
299.63/300.77	c bounds - >= 702 @ 299.585
299.63/300.77	c bounds - >= 703 @ 299.586
299.63/300.77	c bounds - >= 704 @ 299.587
299.63/300.77	c bounds - >= 705 @ 299.588
299.63/300.77	c bounds - >= 706 @ 299.589
299.63/300.77	c bounds - >= 707 @ 299.589
299.63/300.77	c bounds - >= 708 @ 299.59
299.63/300.77	c bounds - >= 709 @ 299.591
299.63/300.77	c bounds - >= 710 @ 299.592
299.63/300.77	c bounds - >= 711 @ 299.592
299.63/300.77	c bounds - >= 712 @ 299.593
299.63/300.77	c bounds - >= 713 @ 299.594
299.63/300.77	c bounds - >= 714 @ 299.595
299.63/300.77	c bounds - >= 715 @ 299.596
299.63/300.77	c bounds - >= 716 @ 299.596
299.63/300.77	c bounds - >= 717 @ 299.597
299.63/300.77	c bounds - >= 718 @ 299.598
299.63/300.77	c bounds - >= 719 @ 299.599
299.63/300.77	c bounds - >= 720 @ 299.6
299.63/300.77	c bounds - >= 721 @ 299.6
299.63/300.77	c bounds - >= 722 @ 299.601
299.63/300.77	c bounds - >= 723 @ 299.602
299.63/300.77	c bounds - >= 724 @ 299.603
299.63/300.77	c bounds - >= 725 @ 299.604
299.63/300.77	c bounds - >= 726 @ 299.604
299.63/300.77	c bounds - >= 727 @ 299.605
299.63/300.77	c bounds - >= 728 @ 299.606
299.63/300.77	c bounds - >= 729 @ 299.607
299.63/300.77	c bounds - >= 730 @ 299.608
299.63/300.77	c bounds - >= 731 @ 299.608
299.63/300.77	c bounds - >= 732 @ 299.609
299.63/300.77	c bounds - >= 733 @ 299.61
299.63/300.77	c bounds - >= 734 @ 299.611
299.63/300.77	c bounds - >= 735 @ 299.612
299.63/300.77	c bounds - >= 736 @ 299.612
299.63/300.77	c bounds - >= 737 @ 299.613
299.63/300.77	c bounds - >= 738 @ 299.614
299.63/300.77	c bounds - >= 739 @ 299.615
299.72/300.88	c bounds - >= 740 @ 299.616
299.72/300.88	c bounds - >= 741 @ 299.616
299.72/300.88	c bounds - >= 742 @ 299.617
299.72/300.88	c bounds - >= 743 @ 299.618
299.72/300.88	c bounds - >= 744 @ 299.619
299.72/300.88	c bounds - >= 745 @ 299.62
299.72/300.88	c bounds - >= 746 @ 299.62
299.72/300.88	c bounds - >= 747 @ 299.621
299.72/300.88	c bounds - >= 748 @ 299.622
299.72/300.88	c bounds - >= 749 @ 299.623
299.72/300.88	c bounds - >= 750 @ 299.624
299.72/300.88	c bounds - >= 751 @ 299.624
299.72/300.88	c bounds - >= 752 @ 299.625
299.72/300.88	c bounds - >= 753 @ 299.626
299.72/300.88	c bounds - >= 754 @ 299.627
299.72/300.88	c bounds - >= 755 @ 299.628
299.72/300.88	c bounds - >= 756 @ 299.628
299.72/300.88	c bounds - >= 757 @ 299.629
299.72/300.88	c bounds - >= 758 @ 299.63
299.72/300.88	c bounds - >= 759 @ 299.63
299.72/300.88	c bounds - >= 760 @ 299.631
299.72/300.88	c bounds - >= 761 @ 299.632
299.72/300.88	c bounds - >= 762 @ 299.632
299.72/300.88	c bounds - >= 763 @ 299.632
299.72/300.88	c bounds - >= 764 @ 299.633
299.72/300.88	c bounds - >= 765 @ 299.634
299.72/300.88	c bounds - >= 766 @ 299.635
299.72/300.88	c bounds - >= 767 @ 299.635
299.72/300.88	c bounds - >= 768 @ 299.635
299.72/300.88	c bounds - >= 769 @ 299.636
299.72/300.88	c bounds - >= 770 @ 299.637
299.72/300.88	c bounds - >= 771 @ 299.638
299.72/300.88	c bounds - >= 772 @ 299.638
299.72/300.88	c bounds - >= 773 @ 299.638
299.72/300.88	c bounds - >= 774 @ 299.639
299.72/300.88	c bounds - >= 775 @ 299.64
299.72/300.88	c bounds - >= 776 @ 299.641
299.72/300.88	c bounds - >= 777 @ 299.641
299.72/300.88	c bounds - >= 778 @ 299.641
299.72/300.88	c bounds - >= 779 @ 299.642
299.72/300.88	c bounds - >= 780 @ 299.643
299.72/300.88	c bounds - >= 781 @ 299.644
299.72/300.88	c bounds - >= 782 @ 299.644
299.72/300.88	c bounds - >= 783 @ 299.644
299.72/300.88	c bounds - >= 784 @ 299.645
299.72/300.88	c bounds - >= 785 @ 299.646
299.72/300.88	c bounds - >= 786 @ 299.647
299.72/300.88	c bounds - >= 787 @ 299.647
299.72/300.88	c bounds - >= 788 @ 299.648
299.72/300.88	c bounds - >= 789 @ 299.649
299.72/300.88	c bounds - >= 790 @ 299.65
299.72/300.88	c bounds - >= 791 @ 299.651
299.72/300.88	c bounds - >= 792 @ 299.651
299.72/300.88	c bounds - >= 793 @ 299.652
299.72/300.88	c bounds - >= 794 @ 299.653
299.72/300.88	c bounds - >= 795 @ 299.654
299.72/300.88	c bounds - >= 796 @ 299.655
299.72/300.88	c bounds - >= 797 @ 299.655
299.72/300.88	c bounds - >= 798 @ 299.656
299.72/300.88	c bounds - >= 799 @ 299.657
299.72/300.88	c bounds - >= 800 @ 299.658
299.72/300.88	c bounds - >= 801 @ 299.659
299.72/300.88	c bounds - >= 802 @ 299.659
299.72/300.88	c bounds - >= 803 @ 299.66
299.72/300.88	c bounds - >= 804 @ 299.661
299.72/300.88	c bounds - >= 805 @ 299.662
299.72/300.88	c bounds - >= 806 @ 299.662
299.72/300.88	c bounds - >= 807 @ 299.663
299.72/300.88	c bounds - >= 808 @ 299.664
299.72/300.88	c bounds - >= 809 @ 299.665
299.72/300.88	c bounds - >= 810 @ 299.666
299.72/300.88	c bounds - >= 811 @ 299.666
299.72/300.88	c bounds - >= 812 @ 299.667
299.72/300.88	c bounds - >= 813 @ 299.668
299.72/300.88	c bounds - >= 814 @ 299.669
299.72/300.88	c bounds - >= 815 @ 299.67
299.72/300.88	c bounds - >= 816 @ 299.67
299.72/300.88	c bounds - >= 817 @ 299.671
299.72/300.88	c bounds - >= 818 @ 299.672
299.72/300.88	c bounds - >= 819 @ 299.673
299.72/300.88	c bounds - >= 820 @ 299.674
299.72/300.88	c bounds - >= 821 @ 299.674
299.72/300.88	c bounds - >= 822 @ 299.675
299.72/300.88	c bounds - >= 823 @ 299.675
299.72/300.88	c bounds - >= 824 @ 299.675
299.72/300.88	c bounds - >= 825 @ 299.676
299.72/300.88	c bounds - >= 826 @ 299.677
299.72/300.88	c bounds - >= 827 @ 299.677
299.72/300.88	c bounds - >= 828 @ 299.678
299.72/300.88	c bounds - >= 829 @ 299.679
299.72/300.88	c bounds - >= 830 @ 299.68
299.72/300.88	c bounds - >= 831 @ 299.681
299.72/300.88	c bounds - >= 832 @ 299.681
299.72/300.88	c bounds - >= 833 @ 299.682
299.72/300.88	c bounds - >= 834 @ 299.683
299.72/300.88	c bounds - >= 835 @ 299.684
299.72/300.88	c bounds - >= 836 @ 299.685
299.72/300.88	c bounds - >= 837 @ 299.685
299.72/300.88	c bounds - >= 838 @ 299.685
299.72/300.88	c bounds - >= 839 @ 299.686
299.72/300.88	c bounds - >= 840 @ 299.686
299.72/300.88	c bounds - >= 841 @ 299.686
299.72/300.88	c bounds - >= 842 @ 299.686
299.72/300.88	c bounds - >= 843 @ 299.687
299.72/300.88	c bounds - >= 844 @ 299.688
299.72/300.88	c bounds - >= 845 @ 299.688
299.72/300.88	c bounds - >= 846 @ 299.689
299.72/300.88	c bounds - >= 847 @ 299.69
299.72/300.88	c bounds - >= 848 @ 299.691
299.72/300.88	c bounds - >= 849 @ 299.692
299.72/300.88	c bounds - >= 850 @ 299.692
299.72/300.88	c bounds - >= 851 @ 299.692
299.72/300.88	c bounds - >= 852 @ 299.693
299.72/300.88	c bounds - >= 853 @ 299.694
299.72/300.88	c bounds - >= 854 @ 299.695
299.72/300.88	c bounds - >= 855 @ 299.695
299.72/300.88	c bounds - >= 856 @ 299.695
299.72/300.88	c bounds - >= 857 @ 299.696
299.72/300.88	c bounds - >= 858 @ 299.697
299.72/300.88	c bounds - >= 859 @ 299.697
299.72/300.88	c bounds - >= 860 @ 299.698
299.72/300.88	c bounds - >= 861 @ 299.698
299.72/300.88	c bounds - >= 862 @ 299.699
299.72/300.88	c bounds - >= 863 @ 299.7
299.72/300.88	c bounds - >= 864 @ 299.7
299.72/300.88	c bounds - >= 865 @ 299.701
299.72/300.88	c bounds - >= 866 @ 299.702
299.72/300.88	c bounds - >= 867 @ 299.703
299.72/300.88	c bounds - >= 868 @ 299.704
299.72/300.88	c bounds - >= 869 @ 299.704
299.72/300.88	c bounds - >= 870 @ 299.705
299.72/300.88	c bounds - >= 871 @ 299.706
299.72/300.88	c bounds - >= 872 @ 299.707
299.72/300.88	c bounds - >= 873 @ 299.708
299.72/300.88	c bounds - >= 874 @ 299.708
299.72/300.88	c bounds - >= 875 @ 299.708
299.72/300.88	c bounds - >= 876 @ 299.709
299.72/300.88	c bounds - >= 877 @ 299.71
299.72/300.88	c bounds - >= 878 @ 299.711
299.72/300.88	c bounds - >= 879 @ 299.711
299.72/300.88	c bounds - >= 880 @ 299.711
299.72/300.88	c bounds - >= 881 @ 299.712
299.72/300.88	c bounds - >= 882 @ 299.713
299.72/300.88	c bounds - >= 883 @ 299.713
299.72/300.88	c bounds - >= 884 @ 299.714
299.72/300.88	c bounds - >= 885 @ 299.715
299.83/301.00	c bounds - >= 886 @ 299.716
299.83/301.00	c bounds - >= 887 @ 299.716
299.83/301.00	c bounds - >= 888 @ 299.717
299.83/301.00	c bounds - >= 889 @ 299.718
299.83/301.00	c bounds - >= 890 @ 299.719
299.83/301.00	c bounds - >= 891 @ 299.72
299.83/301.00	c bounds - >= 892 @ 299.72
299.83/301.00	c bounds - >= 893 @ 299.721
299.83/301.00	c bounds - >= 894 @ 299.722
299.83/301.00	c bounds - >= 895 @ 299.723
299.83/301.00	c bounds - >= 896 @ 299.723
299.83/301.00	c bounds - >= 897 @ 299.724
299.83/301.00	c bounds - >= 898 @ 299.724
299.83/301.00	c bounds - >= 899 @ 299.725
299.83/301.00	c bounds - >= 900 @ 299.726
299.83/301.00	c bounds - >= 901 @ 299.726
299.83/301.00	c bounds - >= 902 @ 299.727
299.83/301.00	c bounds - >= 903 @ 299.728
299.83/301.00	c bounds - >= 904 @ 299.729
299.83/301.00	c bounds - >= 905 @ 299.73
299.83/301.00	c bounds - >= 906 @ 299.73
299.83/301.00	c bounds - >= 907 @ 299.731
299.83/301.00	c bounds - >= 908 @ 299.732
299.83/301.00	c bounds - >= 909 @ 299.733
299.83/301.00	c bounds - >= 910 @ 299.733
299.83/301.00	c bounds - >= 911 @ 299.734
299.83/301.00	c bounds - >= 912 @ 299.734
299.83/301.00	c bounds - >= 913 @ 299.735
299.83/301.00	c bounds - >= 914 @ 299.736
299.83/301.00	c bounds - >= 915 @ 299.736
299.83/301.00	c bounds - >= 916 @ 299.737
299.83/301.00	c bounds - >= 917 @ 299.738
299.83/301.00	c bounds - >= 918 @ 299.739
299.83/301.00	c bounds - >= 919 @ 299.739
299.83/301.00	c bounds - >= 920 @ 299.74
299.83/301.00	c bounds - >= 921 @ 299.74
299.83/301.00	c bounds - >= 922 @ 299.741
299.83/301.00	c bounds - >= 923 @ 299.742
299.83/301.00	c bounds - >= 924 @ 299.742
299.83/301.00	c bounds - >= 925 @ 299.743
299.83/301.00	c bounds - >= 926 @ 299.744
299.83/301.00	c bounds - >= 927 @ 299.745
299.83/301.00	c bounds - >= 928 @ 299.745
299.83/301.00	c bounds - >= 929 @ 299.746
299.83/301.00	c bounds - >= 930 @ 299.746
299.83/301.00	c bounds - >= 931 @ 299.747
299.83/301.00	c bounds - >= 932 @ 299.748
299.83/301.00	c bounds - >= 933 @ 299.748
299.83/301.00	c bounds - >= 934 @ 299.749
299.83/301.00	c bounds - >= 935 @ 299.75
299.83/301.00	c bounds - >= 936 @ 299.751
299.83/301.00	c bounds - >= 937 @ 299.752
299.83/301.00	c bounds - >= 938 @ 299.752
299.83/301.00	c bounds - >= 939 @ 299.753
299.83/301.00	c bounds - >= 940 @ 299.753
299.83/301.00	c bounds - >= 941 @ 299.754
299.83/301.00	c bounds - >= 942 @ 299.755
299.83/301.00	c bounds - >= 943 @ 299.755
299.83/301.00	c bounds - >= 944 @ 299.756
299.83/301.00	c bounds - >= 945 @ 299.757
299.83/301.00	c bounds - >= 946 @ 299.758
299.83/301.00	c bounds - >= 947 @ 299.758
299.83/301.00	c bounds - >= 948 @ 299.759
299.83/301.00	c bounds - >= 949 @ 299.76
299.83/301.00	c bounds - >= 950 @ 299.76
299.83/301.00	c bounds - >= 951 @ 299.761
299.83/301.00	c bounds - >= 952 @ 299.761
299.83/301.00	c bounds - >= 953 @ 299.762
299.83/301.00	c bounds - >= 954 @ 299.763
299.83/301.00	c bounds - >= 955 @ 299.764
299.83/301.00	c bounds - >= 956 @ 299.764
299.83/301.00	c bounds - >= 957 @ 299.765
299.83/301.00	c bounds - >= 958 @ 299.765
299.83/301.00	c bounds - >= 959 @ 299.766
299.83/301.00	c bounds - >= 960 @ 299.767
299.83/301.00	c bounds - >= 961 @ 299.768
299.83/301.00	c bounds - >= 962 @ 299.768
299.83/301.00	c bounds - >= 963 @ 299.769
299.83/301.00	c bounds - >= 964 @ 299.769
299.83/301.00	c bounds - >= 965 @ 299.77
299.83/301.00	c bounds - >= 966 @ 299.77
299.83/301.00	c bounds - >= 967 @ 299.771
299.83/301.00	c bounds - >= 968 @ 299.771
299.83/301.00	c bounds - >= 969 @ 299.772
299.83/301.00	c bounds - >= 970 @ 299.772
299.83/301.00	c bounds - >= 971 @ 299.773
299.83/301.00	c bounds - >= 972 @ 299.773
299.83/301.00	c bounds - >= 973 @ 299.774
299.83/301.00	c bounds - >= 974 @ 299.774
299.83/301.00	c bounds - >= 975 @ 299.775
299.83/301.00	c bounds - >= 976 @ 299.776
299.83/301.00	c bounds - >= 977 @ 299.777
299.83/301.00	c bounds - >= 978 @ 299.778
299.83/301.00	c bounds - >= 979 @ 299.778
299.83/301.00	c bounds - >= 980 @ 299.779
299.83/301.00	c bounds - >= 981 @ 299.78
299.83/301.00	c bounds - >= 982 @ 299.781
299.83/301.00	c bounds - >= 983 @ 299.781
299.83/301.00	c bounds - >= 984 @ 299.782
299.83/301.00	c bounds - >= 985 @ 299.782
299.83/301.00	c bounds - >= 986 @ 299.783
299.83/301.00	c bounds - >= 987 @ 299.783
299.83/301.00	c bounds - >= 988 @ 299.784
299.83/301.00	c bounds - >= 989 @ 299.785
299.83/301.00	c bounds - >= 990 @ 299.786
299.83/301.00	c bounds - >= 991 @ 299.786
299.83/301.00	c bounds - >= 992 @ 299.787
299.83/301.00	c bounds - >= 993 @ 299.788
299.83/301.00	c bounds - >= 994 @ 299.789
299.83/301.00	c bounds - >= 995 @ 299.79
299.83/301.00	c bounds - >= 996 @ 299.79
299.83/301.00	c bounds - >= 997 @ 299.791
299.83/301.00	c bounds - >= 998 @ 299.792
299.83/301.00	c bounds - >= 999 @ 299.793
299.83/301.00	c bounds - >= 1000 @ 299.793
299.83/301.00	c bounds - >= 1001 @ 299.794
299.83/301.00	c bounds - >= 1002 @ 299.795
299.83/301.00	c bounds - >= 1003 @ 299.796
299.83/301.00	c bounds - >= 1004 @ 299.797
299.83/301.00	c bounds - >= 1005 @ 299.797
299.83/301.00	c bounds - >= 1006 @ 299.798
299.83/301.00	c bounds - >= 1007 @ 299.799
299.83/301.00	c bounds - >= 1008 @ 299.8
299.83/301.00	c bounds - >= 1009 @ 299.8
299.83/301.00	c bounds - >= 1010 @ 299.801
299.83/301.00	c bounds - >= 1011 @ 299.802
299.83/301.00	c bounds - >= 1012 @ 299.802
299.83/301.00	c bounds - >= 1013 @ 299.803
299.83/301.00	c bounds - >= 1014 @ 299.803
299.83/301.00	c bounds - >= 1015 @ 299.804
299.83/301.00	c bounds - >= 1016 @ 299.805
299.83/301.00	c bounds - >= 1017 @ 299.806
299.83/301.00	c bounds - >= 1018 @ 299.807
299.83/301.00	c bounds - >= 1019 @ 299.807
299.83/301.00	c bounds - >= 1020 @ 299.808
299.83/301.00	c bounds - >= 1021 @ 299.808
299.83/301.00	c bounds - >= 1022 @ 299.809
299.83/301.00	c bounds - >= 1023 @ 299.809
299.83/301.00	c bounds - >= 1024 @ 299.81
299.83/301.00	c bounds - >= 1025 @ 299.81
299.83/301.00	c bounds - >= 1026 @ 299.811
299.83/301.00	c bounds - >= 1027 @ 299.811
299.83/301.00	c bounds - >= 1028 @ 299.812
299.83/301.00	c bounds - >= 1029 @ 299.812
299.83/301.00	c bounds - >= 1030 @ 299.813
299.83/301.00	c bounds - >= 1031 @ 299.814
300.03/301.11	c bounds - >= 1032 @ 299.815
300.03/301.11	c bounds - >= 1033 @ 299.815
300.03/301.11	c bounds - >= 1034 @ 299.816
300.03/301.11	c bounds - >= 1035 @ 299.817
300.03/301.11	c bounds - >= 1036 @ 299.818
300.03/301.11	c bounds - >= 1037 @ 299.819
300.03/301.11	c bounds - >= 1038 @ 299.819
300.03/301.11	c bounds - >= 1039 @ 299.82
300.03/301.11	c bounds - >= 1040 @ 299.821
300.03/301.11	c bounds - >= 1041 @ 299.822
300.03/301.11	c bounds - >= 1042 @ 299.822
300.03/301.11	c bounds - >= 1043 @ 299.823
300.03/301.11	c bounds - >= 1044 @ 299.824
300.03/301.11	c bounds - >= 1045 @ 299.824
300.03/301.11	c bounds - >= 1046 @ 299.825
300.03/301.11	c bounds - >= 1047 @ 299.825
300.03/301.11	c bounds - >= 1048 @ 299.826
300.03/301.11	c bounds - >= 1049 @ 299.827
300.03/301.11	c bounds - >= 1050 @ 299.828
300.03/301.11	c bounds - >= 1051 @ 299.828
300.03/301.11	c bounds - >= 1052 @ 299.829
300.03/301.11	c bounds - >= 1053 @ 299.83
300.03/301.11	c bounds - >= 1054 @ 299.831
300.03/301.11	c bounds - >= 1055 @ 299.832
300.03/301.11	c bounds - >= 1056 @ 299.832
300.03/301.11	c bounds - >= 1057 @ 299.833
300.03/301.11	c bounds - >= 1058 @ 299.834
300.03/301.11	c bounds - >= 1059 @ 299.835
300.03/301.11	c bounds - >= 1060 @ 299.835
300.03/301.11	c bounds - >= 1061 @ 299.836
300.03/301.11	c bounds - >= 1062 @ 299.837
300.03/301.11	c bounds - >= 1063 @ 299.838
300.03/301.11	c bounds - >= 1064 @ 299.838
300.03/301.11	c bounds - >= 1065 @ 299.839
300.03/301.11	c bounds - >= 1066 @ 299.84
300.03/301.11	c bounds - >= 1067 @ 299.84
300.03/301.11	c bounds - >= 1068 @ 299.84
300.03/301.11	c bounds - >= 1069 @ 299.841
300.03/301.11	c bounds - >= 1070 @ 299.842
300.03/301.11	c bounds - >= 1071 @ 299.843
300.03/301.11	c bounds - >= 1072 @ 299.844
300.03/301.11	c bounds - >= 1073 @ 299.844
300.03/301.11	c bounds - >= 1074 @ 299.845
300.03/301.11	c bounds - >= 1075 @ 299.846
300.03/301.11	c bounds - >= 1076 @ 299.847
300.03/301.11	c bounds - >= 1077 @ 299.847
300.03/301.11	c bounds - >= 1078 @ 299.848
300.03/301.11	c bounds - >= 1079 @ 299.849
300.03/301.11	c bounds - >= 1080 @ 299.85
300.03/301.11	c bounds - >= 1081 @ 299.85
300.03/301.11	c bounds - >= 1082 @ 299.851
300.03/301.11	c bounds - >= 1083 @ 299.852
300.03/301.11	c bounds - >= 1084 @ 299.853
300.03/301.11	c bounds - >= 1085 @ 299.854
300.03/301.11	c bounds - >= 1086 @ 299.855
300.03/301.11	c bounds - >= 1087 @ 299.855
300.03/301.11	c bounds - >= 1088 @ 299.856
300.03/301.11	c bounds - >= 1089 @ 299.857
300.03/301.11	c bounds - >= 1090 @ 299.857
300.03/301.11	c bounds - >= 1091 @ 299.857
300.03/301.11	c bounds - >= 1092 @ 299.858
300.03/301.11	c bounds - >= 1093 @ 299.859
300.03/301.11	c bounds - >= 1094 @ 299.859
300.03/301.11	c bounds - >= 1095 @ 299.859
300.03/301.11	c bounds - >= 1096 @ 299.86
300.03/301.11	c bounds - >= 1097 @ 299.861
300.03/301.11	c bounds - >= 1098 @ 299.862
300.03/301.11	c bounds - >= 1099 @ 299.863
300.03/301.11	c bounds - >= 1100 @ 299.863
300.03/301.11	c bounds - >= 1101 @ 299.864
300.03/301.11	c bounds - >= 1102 @ 299.865
300.03/301.11	c bounds - >= 1103 @ 299.865
300.03/301.11	c bounds - >= 1104 @ 299.865
300.03/301.11	c bounds - >= 1105 @ 299.866
300.03/301.11	c bounds - >= 1106 @ 299.867
300.03/301.11	c bounds - >= 1107 @ 299.868
300.03/301.11	c bounds - >= 1108 @ 299.869
300.03/301.11	c bounds - >= 1109 @ 299.869
300.03/301.11	c bounds - >= 1110 @ 299.87
300.03/301.11	c bounds - >= 1111 @ 299.871
300.03/301.11	c bounds - >= 1112 @ 299.871
300.03/301.11	c bounds - >= 1113 @ 299.871
300.03/301.11	c bounds - >= 1114 @ 299.872
300.03/301.11	c bounds - >= 1115 @ 299.873
300.03/301.11	c bounds - >= 1116 @ 299.874
300.03/301.11	c bounds - >= 1117 @ 299.875
300.03/301.11	c bounds - >= 1118 @ 299.875
300.03/301.11	c bounds - >= 1119 @ 299.876
300.03/301.11	c bounds - >= 1120 @ 299.877
300.03/301.11	c bounds - >= 1121 @ 299.877
300.03/301.11	c bounds - >= 1122 @ 299.877
300.03/301.11	c bounds - >= 1123 @ 299.878
300.03/301.11	c bounds - >= 1124 @ 299.879
300.03/301.11	c bounds - >= 1125 @ 299.88
300.03/301.11	c bounds - >= 1126 @ 299.881
300.03/301.11	c bounds - >= 1127 @ 299.881
300.03/301.11	c bounds - >= 1128 @ 299.882
300.03/301.11	c bounds - >= 1129 @ 299.883
300.03/301.11	c bounds - >= 1130 @ 299.883
300.03/301.11	c bounds - >= 1131 @ 299.883
300.03/301.11	c bounds - >= 1132 @ 299.884
300.03/301.11	c bounds - >= 1133 @ 299.885
300.03/301.11	c bounds - >= 1134 @ 299.886
300.03/301.11	c bounds - >= 1135 @ 299.887
300.03/301.11	c bounds - >= 1136 @ 299.887
300.03/301.11	c bounds - >= 1137 @ 299.888
300.03/301.11	c bounds - >= 1138 @ 299.889
300.03/301.11	c bounds - >= 1139 @ 299.889
300.03/301.11	c bounds - >= 1140 @ 299.889
300.03/301.11	c bounds - >= 1141 @ 299.89
300.03/301.11	c bounds - >= 1142 @ 299.891
300.03/301.11	c bounds - >= 1143 @ 299.892
300.03/301.11	c bounds - >= 1144 @ 299.892
300.03/301.11	c bounds - >= 1145 @ 299.893
300.03/301.11	c bounds - >= 1146 @ 299.894
300.03/301.11	c bounds - >= 1147 @ 299.895
300.03/301.11	c bounds - >= 1148 @ 299.896
300.03/301.11	c bounds - >= 1149 @ 299.897
300.03/301.11	c bounds - >= 1150 @ 299.897
300.03/301.11	c bounds - >= 1151 @ 299.898
300.03/301.11	c bounds - >= 1152 @ 299.899
300.03/301.11	c bounds - >= 1153 @ 299.9
300.03/301.11	c bounds - >= 1154 @ 299.9
300.03/301.11	c bounds - >= 1155 @ 299.9
300.03/301.11	c bounds - >= 1156 @ 299.901
300.03/301.11	c bounds - >= 1157 @ 299.902
300.03/301.11	c bounds - >= 1158 @ 299.902
300.03/301.11	c bounds - >= 1159 @ 299.902
300.03/301.11	c bounds - >= 1160 @ 299.903
300.03/301.11	c bounds - >= 1161 @ 299.904
300.03/301.11	c bounds - >= 1162 @ 299.904
300.03/301.11	c bounds - >= 1163 @ 299.904
300.03/301.11	c bounds - >= 1164 @ 299.905
300.03/301.11	c bounds - >= 1165 @ 299.906
300.03/301.11	c bounds - >= 1166 @ 299.906
300.03/301.11	c bounds - >= 1167 @ 299.906
300.03/301.11	c bounds - >= 1168 @ 299.907
300.03/301.11	c bounds - >= 1169 @ 299.908
300.03/301.11	c bounds - >= 1170 @ 299.908
300.03/301.11	c bounds - >= 1171 @ 299.908
300.03/301.11	c bounds - >= 1172 @ 299.909
300.03/301.11	c bounds - >= 1173 @ 299.91
300.13/301.22	c bounds - >= 1174 @ 299.911
300.13/301.22	c bounds - >= 1175 @ 299.911
300.13/301.22	c bounds - >= 1176 @ 299.912
300.13/301.22	c bounds - >= 1177 @ 299.913
300.13/301.22	c bounds - >= 1178 @ 299.914
300.13/301.22	c bounds - >= 1179 @ 299.914
300.13/301.22	c bounds - >= 1180 @ 299.915
300.13/301.22	c bounds - >= 1181 @ 299.916
300.13/301.22	c bounds - >= 1182 @ 299.917
300.13/301.22	c bounds - >= 1183 @ 299.917
300.13/301.22	c bounds - >= 1184 @ 299.918
300.13/301.22	c bounds - >= 1185 @ 299.919
300.13/301.22	c bounds - >= 1186 @ 299.92
300.13/301.22	c bounds - >= 1187 @ 299.92
300.13/301.22	c bounds - >= 1188 @ 299.921
300.13/301.22	c bounds - >= 1189 @ 299.922
300.13/301.22	c bounds - >= 1190 @ 299.923
300.13/301.22	c bounds - >= 1191 @ 299.923
300.13/301.22	c bounds - >= 1192 @ 299.924
300.13/301.22	c bounds - >= 1193 @ 299.925
300.13/301.22	c bounds - >= 1194 @ 299.926
300.13/301.22	c bounds - >= 1195 @ 299.926
300.13/301.22	c bounds - >= 1196 @ 299.927
300.13/301.22	c bounds - >= 1197 @ 299.928
300.13/301.22	c bounds - >= 1198 @ 299.928
300.13/301.22	c bounds - >= 1199 @ 299.928
300.13/301.22	c bounds - >= 1200 @ 299.929
300.13/301.22	c bounds - >= 1201 @ 299.93
300.13/301.22	c bounds - >= 1202 @ 299.93
300.13/301.22	c bounds - >= 1203 @ 299.93
300.13/301.22	c bounds - >= 1204 @ 299.931
300.13/301.22	c bounds - >= 1205 @ 299.932
300.13/301.22	c bounds - >= 1206 @ 299.932
300.13/301.22	c bounds - >= 1207 @ 299.932
300.13/301.22	c bounds - >= 1208 @ 299.933
300.13/301.22	c bounds - >= 1209 @ 299.934
300.13/301.22	c bounds - >= 1210 @ 299.935
300.13/301.22	c bounds - >= 1211 @ 299.935
300.13/301.22	c bounds - >= 1212 @ 299.937
300.13/301.22	c bounds - >= 1213 @ 299.937
300.13/301.22	c bounds - >= 1214 @ 299.938
300.13/301.22	c bounds - >= 1215 @ 299.939
300.13/301.22	c bounds - >= 1216 @ 299.94
300.13/301.22	c bounds - >= 1217 @ 299.94
300.13/301.22	c bounds - >= 1218 @ 299.941
300.13/301.22	c bounds - >= 1219 @ 299.942
300.13/301.22	c bounds - >= 1220 @ 299.943
300.13/301.22	c bounds - >= 1221 @ 299.943
300.13/301.22	c bounds - >= 1222 @ 299.943
300.13/301.22	c bounds - >= 1223 @ 299.944
300.13/301.22	c bounds - >= 1224 @ 299.945
300.13/301.22	c bounds - >= 1225 @ 299.945
300.13/301.22	c bounds - >= 1226 @ 299.946
300.13/301.22	c bounds - >= 1227 @ 299.947
300.13/301.22	c bounds - >= 1228 @ 299.948
300.13/301.22	c bounds - >= 1229 @ 299.948
300.13/301.22	c bounds - >= 1230 @ 299.948
300.13/301.22	c bounds - >= 1231 @ 299.949
300.13/301.22	c bounds - >= 1232 @ 299.95
300.13/301.22	c bounds - >= 1233 @ 299.951
300.13/301.22	c bounds - >= 1234 @ 299.951
300.13/301.22	c bounds - >= 1235 @ 299.952
300.13/301.22	c bounds - >= 1236 @ 299.953
300.13/301.22	c bounds - >= 1237 @ 299.954
300.13/301.22	c bounds - >= 1238 @ 299.954
300.13/301.22	c bounds - >= 1239 @ 299.954
300.13/301.22	c bounds - >= 1240 @ 299.955
300.13/301.22	c bounds - >= 1241 @ 299.956
300.13/301.22	c bounds - >= 1242 @ 299.957
300.13/301.22	c bounds - >= 1243 @ 299.957
300.13/301.22	c bounds - >= 1244 @ 299.958
300.13/301.22	c bounds - >= 1245 @ 299.959
300.13/301.22	c bounds - >= 1246 @ 299.96
300.13/301.22	c bounds - >= 1247 @ 299.96
300.13/301.22	c bounds - >= 1248 @ 299.96
300.13/301.22	c bounds - >= 1249 @ 299.961
300.13/301.22	c bounds - >= 1250 @ 299.962
300.13/301.22	c bounds - >= 1251 @ 299.963
300.13/301.22	c bounds - >= 1252 @ 299.963
300.13/301.22	c bounds - >= 1253 @ 299.964
300.13/301.22	c bounds - >= 1254 @ 299.965
300.13/301.22	c bounds - >= 1255 @ 299.966
300.13/301.22	c bounds - >= 1256 @ 299.966
300.13/301.22	c bounds - >= 1257 @ 299.966
300.13/301.22	c bounds - >= 1258 @ 299.967
300.13/301.22	c bounds - >= 1259 @ 299.968
300.13/301.22	c bounds - >= 1260 @ 299.969
300.13/301.22	c bounds - >= 1261 @ 299.969
300.13/301.22	c bounds - >= 1262 @ 299.97
300.13/301.22	c bounds - >= 1263 @ 299.971
300.13/301.22	c bounds - >= 1264 @ 299.972
300.13/301.22	c bounds - >= 1265 @ 299.972
300.13/301.22	c bounds - >= 1266 @ 299.972
300.13/301.22	c bounds - >= 1267 @ 299.973
300.13/301.22	c bounds - >= 1268 @ 299.974
300.13/301.22	c bounds - >= 1269 @ 299.975
300.13/301.22	c bounds - >= 1270 @ 299.975
300.13/301.22	c bounds - >= 1271 @ 299.975
300.13/301.22	c bounds - >= 1272 @ 299.976
300.13/301.22	c bounds - >= 1273 @ 299.977
300.13/301.22	c bounds - >= 1274 @ 299.978
300.13/301.22	c bounds - >= 1275 @ 299.978
300.13/301.22	c bounds - >= 1276 @ 299.979
300.13/301.22	c bounds - >= 1277 @ 299.98
300.13/301.22	c bounds - >= 1278 @ 299.981
300.13/301.22	c bounds - >= 1279 @ 299.982
300.13/301.22	c bounds - >= 1280 @ 299.983
300.13/301.22	c bounds - >= 1281 @ 299.983
300.13/301.22	c bounds - >= 1282 @ 299.984
300.13/301.22	c bounds - >= 1283 @ 299.985
300.13/301.22	c bounds - >= 1284 @ 299.986
300.13/301.22	c bounds - >= 1285 @ 299.986
300.13/301.22	c bounds - >= 1286 @ 299.987
300.13/301.22	c bounds - >= 1287 @ 299.988
300.13/301.22	c bounds - >= 1288 @ 299.989
300.13/301.22	c bounds - >= 1289 @ 299.989
300.13/301.22	c bounds - >= 1290 @ 299.99
300.13/301.22	c bounds - >= 1291 @ 299.991
300.13/301.22	c bounds - >= 1292 @ 299.992
300.13/301.22	c bounds - >= 1293 @ 299.993
300.13/301.22	c bounds - >= 1294 @ 299.993
300.13/301.22	c bounds - >= 1295 @ 299.993
300.13/301.22	c bounds - >= 1296 @ 299.994
300.13/301.22	c bounds - >= 1297 @ 299.995
300.13/301.22	c bounds - >= 1298 @ 299.995
300.13/301.22	c bounds - >= 1299 @ 299.995
300.13/301.22	c bounds - >= 1300 @ 299.996
300.13/301.22	c bounds - >= 1301 @ 299.997
300.13/301.22	c bounds - >= 1302 @ 299.997
300.13/301.22	c bounds - >= 1303 @ 299.998
300.13/301.22	c bounds - >= 1304 @ 299.999
300.13/301.22	c bounds - >= 1305 @ 300
300.13/301.22	c bounds - >= 1306 @ 300.001
300.13/301.22	c bounds - >= 1307 @ 300.001
300.13/301.22	c bounds - >= 1308 @ 300.002
300.13/301.22	c bounds - >= 1309 @ 300.003
300.13/301.22	c bounds - >= 1310 @ 300.004
300.13/301.22	c bounds - >= 1311 @ 300.004
300.13/301.22	c bounds - >= 1312 @ 300.005
300.13/301.22	c bounds - >= 1313 @ 300.006
300.13/301.22	c bounds - >= 1314 @ 300.007
300.13/301.22	c bounds - >= 1315 @ 300.008
300.23/301.33	c bounds - >= 1316 @ 300.008
300.23/301.33	c bounds - >= 1317 @ 300.009
300.23/301.33	c bounds - >= 1318 @ 300.01
300.23/301.33	c bounds - >= 1319 @ 300.011
300.23/301.33	c bounds - >= 1320 @ 300.011
300.23/301.33	c bounds - >= 1321 @ 300.012
300.23/301.33	c bounds - >= 1322 @ 300.012
300.23/301.33	c bounds - >= 1323 @ 300.013
300.23/301.33	c bounds - >= 1324 @ 300.014
300.23/301.33	c bounds - >= 1325 @ 300.014
300.23/301.33	c bounds - >= 1326 @ 300.014
300.23/301.33	c bounds - >= 1327 @ 300.015
300.23/301.33	c bounds - >= 1328 @ 300.016
300.23/301.33	c bounds - >= 1329 @ 300.017
300.23/301.33	c bounds - >= 1330 @ 300.017
300.23/301.33	c bounds - >= 1331 @ 300.017
300.23/301.33	c bounds - >= 1332 @ 300.018
300.23/301.33	c bounds - >= 1333 @ 300.019
300.23/301.33	c bounds - >= 1334 @ 300.019
300.23/301.33	c bounds - >= 1335 @ 300.019
300.23/301.33	c bounds - >= 1336 @ 300.02
300.23/301.33	c bounds - >= 1337 @ 300.021
300.23/301.33	c bounds - >= 1338 @ 300.022
300.23/301.33	c bounds - >= 1339 @ 300.022
300.23/301.33	c bounds - >= 1340 @ 300.024
300.23/301.33	c bounds - >= 1341 @ 300.024
300.23/301.33	c bounds - >= 1342 @ 300.024
300.23/301.33	c bounds - >= 1343 @ 300.025
300.23/301.33	c bounds - >= 1344 @ 300.026
300.23/301.33	c bounds - >= 1345 @ 300.026
300.23/301.33	c bounds - >= 1346 @ 300.026
300.23/301.33	c bounds - >= 1347 @ 300.027
300.23/301.33	c bounds - >= 1348 @ 300.028
300.23/301.33	c bounds - >= 1349 @ 300.028
300.23/301.33	c bounds - >= 1350 @ 300.029
300.23/301.33	c bounds - >= 1351 @ 300.03
300.23/301.33	c bounds - >= 1352 @ 300.031
300.23/301.33	c bounds - >= 1353 @ 300.031
300.23/301.33	c bounds - >= 1354 @ 300.032
300.23/301.33	c bounds - >= 1355 @ 300.032
300.23/301.33	c bounds - >= 1356 @ 300.033
300.23/301.33	c bounds - >= 1357 @ 300.034
300.23/301.33	c bounds - >= 1358 @ 300.034
300.23/301.33	c bounds - >= 1359 @ 300.035
300.23/301.33	c bounds - >= 1360 @ 300.036
300.23/301.33	c bounds - >= 1361 @ 300.037
300.23/301.33	c bounds - >= 1362 @ 300.037
300.23/301.33	c bounds - >= 1363 @ 300.038
300.23/301.33	c bounds - >= 1364 @ 300.039
300.23/301.33	c bounds - >= 1365 @ 300.04
300.23/301.33	c bounds - >= 1366 @ 300.041
300.23/301.33	c bounds - >= 1367 @ 300.041
300.23/301.33	c bounds - >= 1368 @ 300.041
300.23/301.33	c bounds - >= 1369 @ 300.042
300.23/301.33	c bounds - >= 1370 @ 300.043
300.23/301.33	c bounds - >= 1371 @ 300.043
300.23/301.33	c bounds - >= 1372 @ 300.044
300.23/301.33	c bounds - >= 1373 @ 300.045
300.23/301.33	c bounds - >= 1374 @ 300.046
300.23/301.33	c bounds - >= 1375 @ 300.046
300.23/301.33	c bounds - >= 1376 @ 300.047
300.23/301.33	c bounds - >= 1377 @ 300.048
300.23/301.33	c bounds - >= 1378 @ 300.049
300.23/301.33	c bounds - >= 1379 @ 300.049
300.23/301.33	c bounds - >= 1380 @ 300.05
300.23/301.33	c bounds - >= 1381 @ 300.05
300.23/301.33	c bounds - >= 1382 @ 300.051
300.23/301.33	c bounds - >= 1383 @ 300.051
300.23/301.33	c bounds - >= 1384 @ 300.052
300.23/301.33	c bounds - >= 1385 @ 300.053
300.23/301.33	c bounds - >= 1386 @ 300.054
300.23/301.33	c bounds - >= 1387 @ 300.054
300.23/301.33	c bounds - >= 1388 @ 300.055
300.23/301.33	c bounds - >= 1389 @ 300.056
300.23/301.33	c bounds - >= 1390 @ 300.057
300.23/301.33	c bounds - >= 1391 @ 300.057
300.23/301.33	c bounds - >= 1392 @ 300.058
300.23/301.33	c bounds - >= 1393 @ 300.059
300.23/301.33	c bounds - >= 1394 @ 300.06
300.23/301.33	c bounds - >= 1395 @ 300.06
300.23/301.33	c bounds - >= 1396 @ 300.061
300.23/301.33	c bounds - >= 1397 @ 300.062
300.23/301.33	c bounds - >= 1398 @ 300.062
300.23/301.33	c bounds - >= 1399 @ 300.063
300.23/301.33	c bounds - >= 1400 @ 300.064
300.23/301.33	c bounds - >= 1401 @ 300.065
300.23/301.33	c bounds - >= 1402 @ 300.065
300.23/301.33	c bounds - >= 1403 @ 300.066
300.23/301.33	c bounds - >= 1404 @ 300.067
300.23/301.33	c bounds - >= 1405 @ 300.068
300.23/301.33	c bounds - >= 1406 @ 300.068
300.23/301.33	c bounds - >= 1407 @ 300.069
300.23/301.33	c bounds - >= 1408 @ 300.069
300.23/301.33	c bounds - >= 1409 @ 300.07
300.23/301.33	c bounds - >= 1410 @ 300.071
300.23/301.33	c bounds - >= 1411 @ 300.072
300.23/301.33	c bounds - >= 1412 @ 300.072
300.23/301.33	c bounds - >= 1413 @ 300.073
300.23/301.33	c bounds - >= 1414 @ 300.074
300.23/301.33	c bounds - >= 1415 @ 300.075
300.23/301.33	c bounds - >= 1416 @ 300.075
300.23/301.33	c bounds - >= 1417 @ 300.076
300.23/301.33	c bounds - >= 1418 @ 300.077
300.23/301.33	c bounds - >= 1419 @ 300.077
300.23/301.33	c bounds - >= 1420 @ 300.078
300.23/301.33	c bounds - >= 1421 @ 300.079
300.23/301.33	c bounds - >= 1422 @ 300.08
300.23/301.33	c bounds - >= 1423 @ 300.08
300.23/301.33	c bounds - >= 1424 @ 300.081
300.23/301.33	c bounds - >= 1425 @ 300.082
300.23/301.33	c bounds - >= 1426 @ 300.083
300.23/301.33	c bounds - >= 1427 @ 300.083
300.23/301.33	c bounds - >= 1428 @ 300.084
300.23/301.33	c bounds - >= 1429 @ 300.085
300.23/301.33	c bounds - >= 1430 @ 300.086
300.23/301.33	c bounds - >= 1431 @ 300.086
300.23/301.33	c bounds - >= 1432 @ 300.087
300.23/301.33	c bounds - >= 1433 @ 300.088
300.23/301.33	c bounds - >= 1434 @ 300.088
300.23/301.33	c bounds - >= 1435 @ 300.089
300.23/301.33	c bounds - >= 1436 @ 300.09
300.23/301.33	c bounds - >= 1437 @ 300.091
300.23/301.33	c bounds - >= 1438 @ 300.091
300.23/301.33	c bounds - >= 1439 @ 300.092
300.23/301.33	c bounds - >= 1440 @ 300.093
300.23/301.33	c bounds - >= 1441 @ 300.094
300.23/301.33	c bounds - >= 1442 @ 300.094
300.23/301.33	c bounds - >= 1443 @ 300.095
300.23/301.33	c bounds - >= 1444 @ 300.095
300.23/301.33	c bounds - >= 1445 @ 300.096
300.23/301.33	c bounds - >= 1446 @ 300.096
300.23/301.33	c bounds - >= 1447 @ 300.097
300.23/301.33	c bounds - >= 1448 @ 300.097
300.23/301.33	c bounds - >= 1449 @ 300.098
300.23/301.33	c bounds - >= 1450 @ 300.098
300.23/301.33	c bounds - >= 1451 @ 300.099
300.23/301.33	c bounds - >= 1452 @ 300.099
300.23/301.33	c bounds - >= 1453 @ 300.1
300.23/301.33	c bounds - >= 1454 @ 300.1
300.23/301.33	c bounds - >= 1455 @ 300.101
300.23/301.33	c bounds - >= 1456 @ 300.101
300.23/301.33	c bounds - >= 1457 @ 300.102
300.33/301.43	c bounds - >= 1458 @ 300.102
300.33/301.43	c bounds - >= 1459 @ 300.103
300.33/301.43	c bounds - >= 1460 @ 300.104
300.33/301.43	c bounds - >= 1461 @ 300.105
300.33/301.43	c bounds - >= 1462 @ 300.105
300.33/301.43	c bounds - >= 1463 @ 300.106
300.33/301.43	c bounds - >= 1464 @ 300.107
300.33/301.43	c bounds - >= 1465 @ 300.108
300.33/301.43	c bounds - >= 1466 @ 300.108
300.33/301.43	c bounds - >= 1467 @ 300.109
300.33/301.43	c bounds - >= 1468 @ 300.109
300.33/301.43	c bounds - >= 1469 @ 300.11
300.33/301.43	c bounds - >= 1470 @ 300.11
300.33/301.43	c bounds - >= 1471 @ 300.111
300.33/301.43	c bounds - >= 1472 @ 300.112
300.33/301.43	c bounds - >= 1473 @ 300.113
300.33/301.43	c bounds - >= 1474 @ 300.113
300.33/301.43	c bounds - >= 1475 @ 300.114
300.33/301.43	c bounds - >= 1476 @ 300.114
300.33/301.43	c bounds - >= 1477 @ 300.115
300.33/301.43	c bounds - >= 1478 @ 300.115
300.33/301.43	c bounds - >= 1479 @ 300.116
300.33/301.43	c bounds - >= 1480 @ 300.117
300.33/301.43	c bounds - >= 1481 @ 300.118
300.33/301.43	c bounds - >= 1482 @ 300.118
300.33/301.43	c bounds - >= 1483 @ 300.119
300.33/301.43	c bounds - >= 1484 @ 300.12
300.33/301.43	c bounds - >= 1485 @ 300.121
300.33/301.43	c bounds - >= 1486 @ 300.121
300.33/301.43	c bounds - >= 1487 @ 300.122
300.33/301.43	c bounds - >= 1488 @ 300.122
300.33/301.43	c bounds - >= 1489 @ 300.123
300.33/301.43	c bounds - >= 1490 @ 300.123
300.33/301.43	c bounds - >= 1491 @ 300.124
300.33/301.43	c bounds - >= 1492 @ 300.124
300.33/301.43	c bounds - >= 1493 @ 300.125
300.33/301.43	c bounds - >= 1494 @ 300.125
300.33/301.43	c bounds - >= 1495 @ 300.126
300.33/301.43	c bounds - >= 1496 @ 300.126
300.33/301.43	c bounds - >= 1497 @ 300.127
300.33/301.43	c bounds - >= 1498 @ 300.127
300.33/301.43	c bounds - >= 1499 @ 300.127
300.33/301.43	c bounds - >= 1500 @ 300.128
300.33/301.43	c bounds - >= 1501 @ 300.128
300.33/301.43	c bounds - >= 1502 @ 300.129
300.33/301.43	c bounds - >= 1503 @ 300.13
300.33/301.43	c bounds - >= 1504 @ 300.131
300.33/301.43	c bounds - >= 1505 @ 300.131
300.33/301.43	c bounds - >= 1506 @ 300.132
300.33/301.43	c bounds - >= 1507 @ 300.133
300.33/301.43	c bounds - >= 1508 @ 300.134
300.33/301.43	c bounds - >= 1509 @ 300.134
300.33/301.43	c bounds - >= 1510 @ 300.135
300.33/301.43	c bounds - >= 1511 @ 300.136
300.33/301.43	c bounds - >= 1512 @ 300.137
300.33/301.43	c bounds - >= 1513 @ 300.137
300.33/301.43	c bounds - >= 1514 @ 300.137
300.33/301.43	c bounds - >= 1515 @ 300.138
300.33/301.43	c bounds - >= 1516 @ 300.138
300.33/301.43	c bounds - >= 1517 @ 300.139
300.33/301.43	c bounds - >= 1518 @ 300.139
300.33/301.43	c bounds - >= 1519 @ 300.14
300.33/301.43	c bounds - >= 1520 @ 300.14
300.33/301.43	c bounds - >= 1521 @ 300.141
300.33/301.43	c bounds - >= 1522 @ 300.142
300.33/301.43	c bounds - >= 1523 @ 300.143
300.33/301.43	c bounds - >= 1524 @ 300.143
300.33/301.43	c bounds - >= 1525 @ 300.144
300.33/301.43	c bounds - >= 1526 @ 300.145
300.33/301.43	c bounds - >= 1527 @ 300.145
300.33/301.43	c bounds - >= 1528 @ 300.146
300.33/301.43	c bounds - >= 1529 @ 300.147
300.33/301.43	c bounds - >= 1530 @ 300.148
300.33/301.43	c bounds - >= 1531 @ 300.148
300.33/301.43	c bounds - >= 1532 @ 300.149
300.33/301.43	c bounds - >= 1533 @ 300.15
300.33/301.43	c bounds - >= 1534 @ 300.15
300.33/301.43	c bounds - >= 1535 @ 300.151
300.33/301.43	c bounds - >= 1536 @ 300.151
300.33/301.43	c bounds - >= 1537 @ 300.152
300.33/301.43	c bounds - >= 1538 @ 300.153
300.33/301.43	c bounds - >= 1539 @ 300.154
300.33/301.43	c bounds - >= 1540 @ 300.154
300.33/301.43	c bounds - >= 1541 @ 300.155
300.33/301.43	c bounds - >= 1542 @ 300.156
300.33/301.43	c bounds - >= 1543 @ 300.156
300.33/301.43	c bounds - >= 1544 @ 300.157
300.33/301.43	c bounds - >= 1545 @ 300.158
300.33/301.43	c bounds - >= 1546 @ 300.159
300.33/301.43	c bounds - >= 1547 @ 300.159
300.33/301.43	c bounds - >= 1548 @ 300.159
300.33/301.43	c bounds - >= 1549 @ 300.16
300.33/301.43	c bounds - >= 1550 @ 300.16
300.33/301.43	c bounds - >= 1551 @ 300.161
300.33/301.43	c bounds - >= 1552 @ 300.162
300.33/301.43	c bounds - >= 1553 @ 300.163
300.33/301.43	c bounds - >= 1554 @ 300.163
300.33/301.43	c bounds - >= 1555 @ 300.163
300.33/301.43	c bounds - >= 1556 @ 300.164
300.33/301.43	c bounds - >= 1557 @ 300.164
300.33/301.43	c bounds - >= 1558 @ 300.165
300.33/301.43	c bounds - >= 1559 @ 300.166
300.33/301.43	c bounds - >= 1560 @ 300.167
300.33/301.43	c bounds - >= 1561 @ 300.167
300.33/301.43	c bounds - >= 1562 @ 300.168
300.33/301.43	c bounds - >= 1563 @ 300.169
300.33/301.43	c bounds - >= 1564 @ 300.169
300.33/301.43	c bounds - >= 1565 @ 300.17
300.33/301.43	c bounds - >= 1566 @ 300.171
300.33/301.43	c bounds - >= 1567 @ 300.171
300.33/301.43	c bounds - >= 1568 @ 300.172
300.33/301.43	c bounds - >= 1569 @ 300.172
300.33/301.43	c bounds - >= 1570 @ 300.173
300.33/301.43	c bounds - >= 1571 @ 300.173
300.33/301.43	c bounds - >= 1572 @ 300.174
300.33/301.43	c bounds - >= 1573 @ 300.175
300.33/301.43	c bounds - >= 1574 @ 300.175
300.33/301.43	c bounds - >= 1575 @ 300.176
300.33/301.43	c bounds - >= 1576 @ 300.176
300.33/301.43	c bounds - >= 1577 @ 300.177
300.33/301.43	c bounds - >= 1578 @ 300.177
300.33/301.43	c bounds - >= 1579 @ 300.178
300.33/301.43	c bounds - >= 1580 @ 300.179
300.33/301.43	c bounds - >= 1581 @ 300.179
300.33/301.43	c bounds - >= 1582 @ 300.18
300.33/301.43	c bounds - >= 1583 @ 300.181
300.33/301.43	c bounds - >= 1584 @ 300.182
300.33/301.43	c bounds - >= 1585 @ 300.182
300.33/301.43	c bounds - >= 1586 @ 300.182
300.33/301.43	c bounds - >= 1587 @ 300.183
300.33/301.43	c bounds - >= 1588 @ 300.183
300.33/301.43	c bounds - >= 1589 @ 300.184
300.33/301.43	c bounds - >= 1590 @ 300.184
300.33/301.43	c bounds - >= 1591 @ 300.185
300.33/301.43	c bounds - >= 1592 @ 300.185
300.33/301.43	c bounds - >= 1593 @ 300.186
300.33/301.43	c bounds - >= 1594 @ 300.187
300.33/301.43	c bounds - >= 1595 @ 300.187
300.33/301.43	c bounds - >= 1596 @ 300.188
300.33/301.43	c bounds - >= 1597 @ 300.188
300.33/301.43	c bounds - >= 1598 @ 300.188
300.43/301.53	c bounds - >= 1599 @ 300.189
300.43/301.53	c bounds - >= 1600 @ 300.189
300.43/301.53	c bounds - >= 1601 @ 300.19
300.43/301.53	c bounds - >= 1602 @ 300.191
300.43/301.53	c bounds - >= 1603 @ 300.192
300.43/301.53	c bounds - >= 1604 @ 300.192
300.43/301.53	c bounds - >= 1605 @ 300.193
300.43/301.53	c bounds - >= 1606 @ 300.194
300.43/301.53	c bounds - >= 1607 @ 300.194
300.43/301.53	c bounds - >= 1608 @ 300.195
300.43/301.53	c bounds - >= 1609 @ 300.196
300.43/301.53	c bounds - >= 1610 @ 300.196
300.43/301.53	c bounds - >= 1611 @ 300.197
300.43/301.53	c bounds - >= 1612 @ 300.198
300.43/301.53	c bounds - >= 1613 @ 300.199
300.43/301.53	c bounds - >= 1614 @ 300.199
300.43/301.53	c bounds - >= 1615 @ 300.2
300.43/301.53	c bounds - >= 1616 @ 300.201
300.43/301.53	c bounds - >= 1617 @ 300.201
300.43/301.53	c bounds - >= 1618 @ 300.202
300.43/301.53	c bounds - >= 1619 @ 300.202
300.43/301.53	c bounds - >= 1620 @ 300.203
300.43/301.53	c bounds - >= 1621 @ 300.203
300.43/301.53	c bounds - >= 1622 @ 300.204
300.43/301.53	c bounds - >= 1623 @ 300.205
300.43/301.53	c bounds - >= 1624 @ 300.205
300.43/301.53	c bounds - >= 1625 @ 300.206
300.43/301.53	c bounds - >= 1626 @ 300.206
300.43/301.53	c bounds - >= 1627 @ 300.206
300.43/301.53	c bounds - >= 1628 @ 300.207
300.43/301.53	c bounds - >= 1629 @ 300.208
300.43/301.53	c bounds - >= 1630 @ 300.209
300.43/301.53	c bounds - >= 1631 @ 300.209
300.43/301.53	c bounds - >= 1632 @ 300.21
300.43/301.53	c bounds - >= 1633 @ 300.211
300.43/301.53	c bounds - >= 1634 @ 300.211
300.43/301.53	c bounds - >= 1635 @ 300.212
300.43/301.53	c bounds - >= 1636 @ 300.212
300.43/301.53	c bounds - >= 1637 @ 300.213
300.43/301.53	c bounds - >= 1638 @ 300.213
300.43/301.53	c bounds - >= 1639 @ 300.214
300.43/301.53	c bounds - >= 1640 @ 300.215
300.43/301.53	c bounds - >= 1641 @ 300.215
300.43/301.53	c bounds - >= 1642 @ 300.216
300.43/301.53	c bounds - >= 1643 @ 300.217
300.43/301.53	c bounds - >= 1644 @ 300.217
300.43/301.53	c bounds - >= 1645 @ 300.218
300.43/301.53	c bounds - >= 1646 @ 300.219
300.43/301.53	c bounds - >= 1647 @ 300.22
300.43/301.53	c bounds - >= 1648 @ 300.22
300.43/301.53	c bounds - >= 1649 @ 300.221
300.43/301.53	c bounds - >= 1650 @ 300.222
300.43/301.53	c bounds - >= 1651 @ 300.222
300.43/301.53	c bounds - >= 1652 @ 300.223
300.43/301.53	c bounds - >= 1653 @ 300.224
300.43/301.53	c bounds - >= 1654 @ 300.225
300.43/301.53	c bounds - >= 1655 @ 300.225
300.43/301.53	c bounds - >= 1656 @ 300.226
300.43/301.53	c bounds - >= 1657 @ 300.227
300.43/301.53	c bounds - >= 1658 @ 300.227
300.43/301.53	c bounds - >= 1659 @ 300.228
300.43/301.53	c bounds - >= 1660 @ 300.229
300.43/301.53	c bounds - >= 1661 @ 300.23
300.43/301.53	c bounds - >= 1662 @ 300.23
300.43/301.53	c bounds - >= 1663 @ 300.23
300.43/301.53	c bounds - >= 1664 @ 300.231
300.43/301.53	c bounds - >= 1665 @ 300.231
300.43/301.53	c bounds - >= 1666 @ 300.232
300.43/301.53	c bounds - >= 1667 @ 300.232
300.43/301.53	c bounds - >= 1668 @ 300.233
300.43/301.53	c bounds - >= 1669 @ 300.234
300.43/301.53	c bounds - >= 1670 @ 300.234
300.43/301.53	c bounds - >= 1671 @ 300.235
300.43/301.53	c bounds - >= 1672 @ 300.235
300.43/301.53	c bounds - >= 1673 @ 300.235
300.43/301.53	c bounds - >= 1674 @ 300.236
300.43/301.53	c bounds - >= 1675 @ 300.237
300.43/301.53	c bounds - >= 1676 @ 300.238
300.43/301.53	c bounds - >= 1677 @ 300.238
300.43/301.53	c bounds - >= 1678 @ 300.239
300.43/301.53	c bounds - >= 1679 @ 300.24
300.43/301.53	c bounds - >= 1680 @ 300.24
300.43/301.53	c bounds - >= 1681 @ 300.241
300.43/301.53	c bounds - >= 1682 @ 300.241
300.43/301.53	c bounds - >= 1683 @ 300.241
300.43/301.53	c bounds - >= 1684 @ 300.242
300.43/301.53	c bounds - >= 1685 @ 300.243
300.43/301.53	c bounds - >= 1686 @ 300.244
300.43/301.53	c bounds - >= 1687 @ 300.244
300.43/301.53	c bounds - >= 1688 @ 300.245
300.43/301.53	c bounds - >= 1689 @ 300.246
300.43/301.53	c bounds - >= 1690 @ 300.246
300.43/301.53	c bounds - >= 1691 @ 300.247
300.43/301.53	c bounds - >= 1692 @ 300.247
300.43/301.53	c bounds - >= 1693 @ 300.247
300.43/301.53	c bounds - >= 1694 @ 300.248
300.43/301.53	c bounds - >= 1695 @ 300.249
300.43/301.53	c bounds - >= 1696 @ 300.25
300.43/301.53	c bounds - >= 1697 @ 300.25
300.43/301.53	c bounds - >= 1698 @ 300.251
300.43/301.53	c bounds - >= 1699 @ 300.251
300.43/301.53	c bounds - >= 1700 @ 300.251
300.43/301.53	c bounds - >= 1701 @ 300.252
300.43/301.53	c bounds - >= 1702 @ 300.252
300.43/301.53	c bounds - >= 1703 @ 300.253
300.43/301.53	c bounds - >= 1704 @ 300.253
300.43/301.53	c bounds - >= 1705 @ 300.254
300.43/301.53	c bounds - >= 1706 @ 300.255
300.43/301.53	c bounds - >= 1707 @ 300.255
300.43/301.53	c bounds - >= 1708 @ 300.256
300.43/301.53	c bounds - >= 1709 @ 300.256
300.43/301.53	c bounds - >= 1710 @ 300.256
300.43/301.53	c bounds - >= 1711 @ 300.257
300.43/301.53	c bounds - >= 1712 @ 300.258
300.43/301.53	c bounds - >= 1713 @ 300.259
300.43/301.53	c bounds - >= 1714 @ 300.259
300.43/301.53	c bounds - >= 1715 @ 300.26
300.43/301.53	c bounds - >= 1716 @ 300.26
300.43/301.53	c bounds - >= 1717 @ 300.26
300.43/301.53	c bounds - >= 1718 @ 300.261
300.43/301.53	c bounds - >= 1719 @ 300.262
300.43/301.53	c bounds - >= 1720 @ 300.263
300.43/301.53	c bounds - >= 1721 @ 300.263
300.43/301.53	c bounds - >= 1722 @ 300.264
300.43/301.53	c bounds - >= 1723 @ 300.264
300.43/301.53	c bounds - >= 1724 @ 300.264
300.43/301.53	c bounds - >= 1725 @ 300.265
300.43/301.53	c bounds - >= 1726 @ 300.265
300.43/301.53	c bounds - >= 1727 @ 300.266
300.43/301.53	c bounds - >= 1728 @ 300.267
300.43/301.53	c bounds - >= 1729 @ 300.267
300.43/301.53	c bounds - >= 1730 @ 300.268
300.43/301.53	c bounds - >= 1731 @ 300.269
300.43/301.53	c bounds - >= 1732 @ 300.269
300.43/301.53	c bounds - >= 1733 @ 300.27
300.43/301.53	c bounds - >= 1734 @ 300.271
300.43/301.53	c bounds - >= 1735 @ 300.272
300.43/301.53	c bounds - >= 1736 @ 300.272
300.43/301.53	c bounds - >= 1737 @ 300.273
300.43/301.53	c bounds - >= 1738 @ 300.273
300.43/301.53	c bounds - >= 1739 @ 300.273
300.43/301.53	c bounds - >= 1740 @ 300.274
300.53/301.63	c bounds - >= 1741 @ 300.274
300.53/301.63	c bounds - >= 1742 @ 300.274
300.53/301.63	c bounds - >= 1743 @ 300.275
300.53/301.63	c bounds - >= 1744 @ 300.276
300.53/301.63	c bounds - >= 1745 @ 300.277
300.53/301.63	c bounds - >= 1746 @ 300.277
300.53/301.63	c bounds - >= 1747 @ 300.278
300.53/301.63	c bounds - >= 1748 @ 300.278
300.53/301.63	c bounds - >= 1749 @ 300.278
300.53/301.63	c bounds - >= 1750 @ 300.279
300.53/301.63	c bounds - >= 1751 @ 300.28
300.53/301.63	c bounds - >= 1752 @ 300.28
300.53/301.63	c bounds - >= 1753 @ 300.281
300.53/301.63	c bounds - >= 1754 @ 300.282
300.53/301.63	c bounds - >= 1755 @ 300.282
300.53/301.63	c bounds - >= 1756 @ 300.282
300.53/301.63	c bounds - >= 1757 @ 300.283
300.53/301.63	c bounds - >= 1758 @ 300.283
300.53/301.63	c bounds - >= 1759 @ 300.283
300.53/301.63	c bounds - >= 1760 @ 300.284
300.53/301.63	c bounds - >= 1761 @ 300.285
300.53/301.63	c bounds - >= 1762 @ 300.286
300.53/301.63	c bounds - >= 1763 @ 300.286
300.53/301.63	c bounds - >= 1764 @ 300.287
300.53/301.63	c bounds - >= 1765 @ 300.287
300.53/301.63	c bounds - >= 1766 @ 300.287
300.53/301.63	c bounds - >= 1767 @ 300.288
300.53/301.63	c bounds - >= 1768 @ 300.288
300.53/301.63	c bounds - >= 1769 @ 300.288
300.53/301.63	c bounds - >= 1770 @ 300.289
300.53/301.63	c bounds - >= 1771 @ 300.29
300.53/301.63	c bounds - >= 1772 @ 300.291
300.53/301.63	c bounds - >= 1773 @ 300.291
300.53/301.63	c bounds - >= 1774 @ 300.292
300.53/301.63	c bounds - >= 1775 @ 300.292
300.53/301.63	c bounds - >= 1776 @ 300.292
300.53/301.63	c bounds - >= 1777 @ 300.293
300.53/301.63	c bounds - >= 1778 @ 300.294
300.53/301.63	c bounds - >= 1779 @ 300.294
300.53/301.63	c bounds - >= 1780 @ 300.295
300.53/301.63	c bounds - >= 1781 @ 300.296
300.53/301.63	c bounds - >= 1782 @ 300.297
300.53/301.63	c bounds - >= 1783 @ 300.297
300.53/301.63	c bounds - >= 1784 @ 300.298
300.53/301.63	c bounds - >= 1785 @ 300.298
300.53/301.63	c bounds - >= 1786 @ 300.298
300.53/301.63	c bounds - >= 1787 @ 300.299
300.53/301.63	c bounds - >= 1788 @ 300.3
300.53/301.63	c bounds - >= 1789 @ 300.301
300.53/301.63	c bounds - >= 1790 @ 300.302
300.53/301.63	c bounds - >= 1791 @ 300.302
300.53/301.63	c bounds - >= 1792 @ 300.303
300.53/301.63	c bounds - >= 1793 @ 300.303
300.53/301.63	c bounds - >= 1794 @ 300.303
300.53/301.63	c bounds - >= 1795 @ 300.304
300.53/301.63	c bounds - >= 1796 @ 300.305
300.53/301.63	c bounds - >= 1797 @ 300.305
300.53/301.63	c bounds - >= 1798 @ 300.306
300.53/301.63	c bounds - >= 1799 @ 300.307
300.53/301.63	c bounds - >= 1800 @ 300.307
300.53/301.63	c bounds - >= 1801 @ 300.308
300.53/301.63	c bounds - >= 1802 @ 300.309
300.53/301.63	c bounds - >= 1803 @ 300.31
300.53/301.63	c bounds - >= 1804 @ 300.31
300.53/301.63	c bounds - >= 1805 @ 300.311
300.53/301.63	c bounds - >= 1806 @ 300.311
300.53/301.63	c bounds - >= 1807 @ 300.311
300.53/301.63	c bounds - >= 1808 @ 300.312
300.53/301.63	c bounds - >= 1809 @ 300.313
300.53/301.63	c bounds - >= 1810 @ 300.313
300.53/301.63	c bounds - >= 1811 @ 300.314
300.53/301.63	c bounds - >= 1812 @ 300.315
300.53/301.63	c bounds - >= 1813 @ 300.316
300.53/301.63	c bounds - >= 1814 @ 300.316
300.53/301.63	c bounds - >= 1815 @ 300.317
300.53/301.63	c bounds - >= 1816 @ 300.317
300.53/301.63	c bounds - >= 1817 @ 300.317
300.53/301.63	c bounds - >= 1818 @ 300.318
300.53/301.63	c bounds - >= 1819 @ 300.319
300.53/301.63	c bounds - >= 1820 @ 300.319
300.53/301.63	c bounds - >= 1821 @ 300.32
300.53/301.63	c bounds - >= 1822 @ 300.321
300.53/301.63	c bounds - >= 1823 @ 300.321
300.53/301.63	c bounds - >= 1824 @ 300.322
300.53/301.63	c bounds - >= 1825 @ 300.323
300.53/301.63	c bounds - >= 1826 @ 300.323
300.53/301.63	c bounds - >= 1827 @ 300.323
300.53/301.63	c bounds - >= 1828 @ 300.324
300.53/301.63	c bounds - >= 1829 @ 300.324
300.53/301.63	c bounds - >= 1830 @ 300.324
300.53/301.63	c bounds - >= 1831 @ 300.325
300.53/301.63	c bounds - >= 1832 @ 300.326
300.53/301.63	c bounds - >= 1833 @ 300.326
300.53/301.63	c bounds - >= 1834 @ 300.327
300.53/301.63	c bounds - >= 1835 @ 300.328
300.53/301.63	c bounds - >= 1836 @ 300.328
300.53/301.63	c bounds - >= 1837 @ 300.329
300.53/301.63	c bounds - >= 1838 @ 300.33
300.53/301.63	c bounds - >= 1839 @ 300.33
300.53/301.63	c bounds - >= 1840 @ 300.33
300.53/301.63	c bounds - >= 1841 @ 300.331
300.53/301.63	c bounds - >= 1842 @ 300.331
300.53/301.63	c bounds - >= 1843 @ 300.331
300.53/301.63	c bounds - >= 1844 @ 300.332
300.53/301.63	c bounds - >= 1845 @ 300.333
300.53/301.63	c bounds - >= 1846 @ 300.333
300.53/301.63	c bounds - >= 1847 @ 300.334
300.53/301.63	c bounds - >= 1848 @ 300.335
300.53/301.63	c bounds - >= 1849 @ 300.335
300.53/301.63	c bounds - >= 1850 @ 300.335
300.53/301.63	c bounds - >= 1851 @ 300.336
300.53/301.63	c bounds - >= 1852 @ 300.336
300.53/301.63	c bounds - >= 1853 @ 300.337
300.53/301.63	c bounds - >= 1854 @ 300.337
300.53/301.63	c bounds - >= 1855 @ 300.338
300.53/301.63	c bounds - >= 1856 @ 300.339
300.53/301.63	c bounds - >= 1857 @ 300.339
300.53/301.63	c bounds - >= 1858 @ 300.34
300.53/301.63	c bounds - >= 1859 @ 300.341
300.53/301.63	c bounds - >= 1860 @ 300.341
300.53/301.63	c bounds - >= 1861 @ 300.341
300.53/301.63	c bounds - >= 1862 @ 300.342
300.53/301.63	c bounds - >= 1863 @ 300.342
300.53/301.63	c bounds - >= 1864 @ 300.342
300.53/301.63	c bounds - >= 1865 @ 300.343
300.53/301.63	c bounds - >= 1866 @ 300.344
300.53/301.63	c bounds - >= 1867 @ 300.344
300.53/301.63	c bounds - >= 1868 @ 300.345
300.53/301.63	c bounds - >= 1869 @ 300.346
300.53/301.63	c bounds - >= 1870 @ 300.346
300.53/301.63	c bounds - >= 1871 @ 300.347
300.53/301.63	c bounds - >= 1872 @ 300.348
300.53/301.63	c bounds - >= 1873 @ 300.348
300.53/301.63	c bounds - >= 1874 @ 300.349
300.53/301.63	c bounds - >= 1875 @ 300.35
300.53/301.63	c bounds - >= 1876 @ 300.35
300.53/301.63	c bounds - >= 1877 @ 300.35
300.53/301.63	c bounds - >= 1878 @ 300.351
300.53/301.63	c bounds - >= 1879 @ 300.352
300.53/301.63	c bounds - >= 1880 @ 300.352
300.53/301.63	c bounds - >= 1881 @ 300.353
300.53/301.63	c bounds - >= 1882 @ 300.354
348.19/349.46	c bounds - >= 1883 @ 300.354
348.19/349.46	c bounds - >= 1884 @ 300.355
348.19/349.46	c bounds - >= 1885 @ 300.356
348.19/349.46	c bounds - >= 1886 @ 300.356
348.19/349.46	c bounds - >= 1887 @ 300.357
348.19/349.46	c bounds - >= 1888 @ 300.358
348.19/349.46	c bounds - >= 1889 @ 300.358
348.19/349.46	c bounds - >= 1890 @ 300.359
348.19/349.46	c bounds - >= 1891 @ 300.36
348.19/349.46	c bounds - >= 1892 @ 300.36
348.19/349.46	c bounds - >= 1893 @ 300.36
348.19/349.46	c bounds - >= 1894 @ 300.361
348.19/349.46	c bounds - >= 1895 @ 300.361
348.19/349.46	c bounds - >= 1896 @ 300.361
348.19/349.46	c bounds - >= 1897 @ 300.362
348.19/349.46	c bounds - >= 1898 @ 300.363
348.19/349.46	c bounds - >= 1899 @ 300.363
348.19/349.46	c bounds - >= 1900 @ 300.364
348.19/349.46	c bounds - >= 1901 @ 300.365
348.19/349.46	c bounds - >= 1902 @ 300.365
348.19/349.46	c bounds - >= 1903 @ 300.366
348.19/349.46	c bounds - >= 1904 @ 300.367
348.19/349.46	c bounds - >= 1905 @ 300.367
348.19/349.46	c bounds - >= 1906 @ 300.368
348.19/349.46	c bounds - >= 1907 @ 300.369
348.19/349.46	c bounds - >= 1908 @ 300.369
348.19/349.46	c bounds - >= 1909 @ 300.369
348.19/349.46	c bounds - >= 1910 @ 300.37
348.19/349.46	c bounds - >= 1911 @ 300.371
348.19/349.46	c bounds - >= 1912 @ 300.371
348.19/349.46	c bounds - >= 1913 @ 300.372
348.19/349.46	c bounds - >= 1914 @ 300.373
348.19/349.46	c bounds - >= 1915 @ 300.373
348.19/349.46	c bounds - >= 1916 @ 300.374
348.19/349.46	c bounds - >= 1917 @ 300.374
348.19/349.46	c bounds - >= 1918 @ 300.375
348.19/349.46	c bounds - >= 1919 @ 300.376
348.19/349.46	c bounds - >= 1920 @ 300.376
348.19/349.46	c bounds - >= 1921 @ 300.377
348.19/349.46	c bounds - >= 1922 @ 300.378
348.19/349.46	c bounds - >= 1923 @ 300.378
348.19/349.46	c bounds - >= 1924 @ 300.379
348.19/349.46	c bounds - >= 1925 @ 300.38
348.19/349.46	c bounds - >= 1926 @ 300.38
348.19/349.46	c bounds - >= 1927 @ 300.381
348.19/349.46	c bounds - >= 1928 @ 300.382
348.19/349.46	c bounds - >= 1929 @ 300.382
348.19/349.46	c bounds - >= 1930 @ 300.382
348.19/349.46	c bounds - >= 1931 @ 300.383
348.19/349.46	c bounds - >= 1932 @ 300.383
348.19/349.46	c bounds - >= 1933 @ 300.383
348.19/349.46	c bounds - >= 1934 @ 300.384
348.19/349.46	c bounds - >= 1935 @ 300.385
348.19/349.46	c bounds - >= 1936 @ 300.385
348.19/349.46	c bounds - >= 1937 @ 300.386
348.19/349.46	c bounds - >= 1938 @ 300.387
348.19/349.46	c bounds - >= 1939 @ 300.387
348.19/349.46	c bounds - >= 1940 @ 300.388
348.19/349.46	c bounds - >= 1941 @ 300.389
348.19/349.46	c bounds - >= 1942 @ 300.389
348.19/349.46	c bounds - >= 1943 @ 300.39
348.19/349.46	c bounds - >= 1944 @ 300.391
348.19/349.46	c bounds - >= 1945 @ 300.391
348.19/349.46	c bounds - >= 1946 @ 300.392
348.19/349.46	c bounds - >= 1947 @ 300.393
348.19/349.46	c bounds - >= 1948 @ 300.393
348.19/349.46	c bounds - >= 1949 @ 300.394
348.19/349.46	c bounds - >= 1950 @ 300.395
348.19/349.46	c bounds - >= 1951 @ 300.395
348.19/349.46	c bounds - >= 1952 @ 300.395
348.19/349.46	c bounds - >= 1953 @ 300.396
348.19/349.46	c bounds - >= 1954 @ 300.396
348.19/349.46	c bounds - >= 1955 @ 300.396
348.19/349.46	c bounds - >= 1956 @ 300.397
348.19/349.46	c bounds - >= 1957 @ 300.397
348.19/349.46	c bounds - >= 1958 @ 300.397
348.19/349.46	c bounds - >= 1959 @ 300.398
348.19/349.46	c bounds - >= 1960 @ 300.398
348.19/349.46	c bounds - >= 1961 @ 300.398
348.19/349.46	c bounds - >= 1962 @ 300.399
348.19/349.46	c bounds - >= 1963 @ 300.4
348.19/349.46	c bounds - >= 1964 @ 300.4
348.19/349.46	c bounds - >= 1965 @ 300.401
348.19/349.46	c bounds - >= 1966 @ 300.402
348.19/349.46	c bounds - >= 1967 @ 300.402
348.19/349.46	c bounds - >= 1968 @ 300.403
348.19/349.46	c bounds - >= 1969 @ 300.404
348.19/349.46	c bounds - >= 1970 @ 300.404
348.19/349.46	c bounds - >= 1971 @ 300.405
348.19/349.46	c bounds - >= 1972 @ 300.406
348.19/349.46	c bounds - >= 1973 @ 300.406
348.19/349.46	c bounds - >= 1974 @ 300.406
348.19/349.46	c bounds - >= 1975 @ 300.407
348.19/349.46	c bounds - >= 1976 @ 300.407
348.19/349.46	c bounds - >= 1977 @ 300.407
348.19/349.46	c bounds - >= 1978 @ 300.408
348.19/349.46	c bounds - >= 1979 @ 300.408
348.19/349.46	c bounds - >= 1980 @ 300.408
348.19/349.46	c bounds - >= 1981 @ 300.408
348.19/349.46	c bounds - >= 1982 @ 300.409
348.19/349.46	c bounds - >= 1983 @ 300.41
348.19/349.46	c bounds - >= 1984 @ 300.41
348.19/349.46	c bounds - >= 1985 @ 300.411
348.19/349.46	c bounds - >= 1986 @ 300.412
348.19/349.46	c bounds - >= 1987 @ 300.412
348.19/349.46	c bounds - >= 1988 @ 300.413
348.19/349.46	c bounds - >= 1989 @ 300.414
348.19/349.46	c #Conflicts:       1000 | #Constraints:      11159
348.19/349.46	c #Conflicts:       2000 | #Constraints:      12159
348.19/349.46	c INPROCESSING
348.19/349.46	c GARBAGE COLLECT
348.19/349.46	c #Conflicts:       3000 | #Constraints:      10344
348.19/349.46	c #Conflicts:       4000 | #Constraints:      11344
348.19/349.46	c INPROCESSING
348.19/349.46	c GARBAGE COLLECT
348.19/349.46	c #Conflicts:       5000 | #Constraints:      10833
348.19/349.46	c #Conflicts:       6000 | #Constraints:      11833
348.19/349.46	c INPROCESSING
348.19/349.46	c GARBAGE COLLECT
348.19/349.46	c #Conflicts:       7000 | #Constraints:      10889
348.19/349.46	c #Conflicts:       8000 | #Constraints:      11889
348.19/349.46	c #Conflicts:       9000 | #Constraints:      12889
348.19/349.46	c INPROCESSING
348.19/349.46	c GARBAGE COLLECT
348.19/349.46	c #Conflicts:      10000 | #Constraints:      11607
348.19/349.46	c #Conflicts:      11000 | #Constraints:      12607
348.19/349.46	c #Conflicts:      12000 | #Constraints:      13607
348.19/349.46	c INPROCESSING
348.19/349.46	c GARBAGE COLLECT
348.19/349.46	c #Conflicts:      13000 | #Constraints:      12059
348.19/349.46	c #Conflicts:      14000 | #Constraints:      13059
348.19/349.46	c #Conflicts:      15000 | #Constraints:      14059
348.19/349.46	c INPROCESSING
348.19/349.46	c GARBAGE COLLECT
348.19/349.46	c #Conflicts:      16000 | #Constraints:      12290
678.41/680.67	c #Conflicts:      17000 | #Constraints:      13290
678.41/680.67	c #Conflicts:      18000 | #Constraints:      14290
678.41/680.67	c INPROCESSING
678.41/680.67	c GARBAGE COLLECT
678.41/680.67	c #Conflicts:      19000 | #Constraints:      12307
678.41/680.67	c #Conflicts:      20000 | #Constraints:      13307
678.41/680.67	c #Conflicts:      21000 | #Constraints:      14307
678.41/680.67	c INPROCESSING
678.41/680.67	c GARBAGE COLLECT
678.41/680.67	c #Conflicts:      22000 | #Constraints:      12110
678.41/680.67	c #Conflicts:      23000 | #Constraints:      13110
678.41/680.67	c #Conflicts:      24000 | #Constraints:      14110
678.41/680.67	c #Conflicts:      25000 | #Constraints:      15110
678.41/680.67	c INPROCESSING
678.41/680.67	c GARBAGE COLLECT
678.41/680.67	c #Conflicts:      26000 | #Constraints:      12733
678.41/680.67	c #Conflicts:      27000 | #Constraints:      13733
678.41/680.67	c #Conflicts:      28000 | #Constraints:      14733
678.41/680.67	c #Conflicts:      29000 | #Constraints:      15733
678.41/680.67	c INPROCESSING
678.41/680.67	c GARBAGE COLLECT
678.41/680.67	c #Conflicts:      30000 | #Constraints:      13140
678.41/680.67	c #Conflicts:      31000 | #Constraints:      14140
678.41/680.67	c #Conflicts:      32000 | #Constraints:      15140
678.41/680.67	c #Conflicts:      33000 | #Constraints:      16140
678.41/680.67	c INPROCESSING
678.41/680.67	c GARBAGE COLLECT
678.41/680.67	c #Conflicts:      34000 | #Constraints:      13345
678.41/680.67	c #Conflicts:      35000 | #Constraints:      14345
678.41/680.67	c #Conflicts:      36000 | #Constraints:      15345
678.41/680.67	c #Conflicts:      37000 | #Constraints:      16345
678.41/680.67	c INPROCESSING
678.41/680.67	c GARBAGE COLLECT
678.41/680.67	c #Conflicts:      38000 | #Constraints:      13350
678.41/680.67	c #Conflicts:      39000 | #Constraints:      14350
678.41/680.67	c #Conflicts:      40000 | #Constraints:      15350
678.41/680.67	c #Conflicts:      41000 | #Constraints:      16350
678.41/680.67	c INPROCESSING
678.41/680.67	c GARBAGE COLLECT
678.41/680.67	c #Conflicts:      42000 | #Constraints:      13151
678.41/680.67	c #Conflicts:      43000 | #Constraints:      14151
678.41/680.67	c #Conflicts:      44000 | #Constraints:      15151
678.41/680.67	c #Conflicts:      45000 | #Constraints:      16151
678.41/680.67	c #Conflicts:      46000 | #Constraints:      17151
678.41/680.67	c INPROCESSING
678.41/680.67	c GARBAGE COLLECT
678.41/680.67	c #Conflicts:      47000 | #Constraints:      13728
678.41/680.67	c #Conflicts:      48000 | #Constraints:      14728
678.41/680.67	c #Conflicts:      49000 | #Constraints:      15728
678.41/680.67	c #Conflicts:      50000 | #Constraints:      16728
678.41/680.67	c #Conflicts:      51000 | #Constraints:      17728
678.41/680.67	c INPROCESSING
678.41/680.67	c GARBAGE COLLECT
678.41/680.67	c #Conflicts:      52000 | #Constraints:      14128
678.41/680.67	c #Conflicts:      53000 | #Constraints:      15128
678.41/680.67	c #Conflicts:      54000 | #Constraints:      16128
678.41/680.67	c #Conflicts:      55000 | #Constraints:      17128
678.41/680.67	c #Conflicts:      56000 | #Constraints:      18128
678.41/680.67	c INPROCESSING
678.41/680.67	c GARBAGE COLLECT
678.41/680.67	c #Conflicts:      57000 | #Constraints:      14338
678.41/680.67	c #Conflicts:      58000 | #Constraints:      15338
678.41/680.67	c #Conflicts:      59000 | #Constraints:      16338
678.41/680.67	c #Conflicts:      60000 | #Constraints:      17338
678.41/680.67	c #Conflicts:      61000 | #Constraints:      18338
678.41/680.67	c INPROCESSING
678.41/680.67	c GARBAGE COLLECT
678.41/680.67	c #Conflicts:      62000 | #Constraints:      14346
678.41/680.67	c #Conflicts:      63000 | #Constraints:      15346
678.41/680.67	c #Conflicts:      64000 | #Constraints:      16346
678.41/680.67	c #Conflicts:      65000 | #Constraints:      17346
678.41/680.67	c #Conflicts:      66000 | #Constraints:      18346
678.41/680.67	c INPROCESSING
678.41/680.67	c GARBAGE COLLECT
678.41/680.67	c #Conflicts:      67000 | #Constraints:      14171
678.41/680.67	c #Conflicts:      68000 | #Constraints:      15171
678.41/680.67	c #Conflicts:      69000 | #Constraints:      16171
678.41/680.67	c #Conflicts:      70000 | #Constraints:      17171
678.41/680.67	c #Conflicts:      71000 | #Constraints:      18171
678.41/680.67	c #Conflicts:      72000 | #Constraints:      19171
678.41/680.67	c INPROCESSING
678.41/680.67	c GARBAGE COLLECT
678.41/680.67	c #Conflicts:      73000 | #Constraints:      14777
678.41/680.67	c #Conflicts:      74000 | #Constraints:      15777
678.41/680.67	c #Conflicts:      75000 | #Constraints:      16777
678.41/680.67	c #Conflicts:      76000 | #Constraints:      17777
678.41/680.67	c #Conflicts:      77000 | #Constraints:      18777
678.41/680.67	c #Conflicts:      78000 | #Constraints:      19777
678.41/680.67	c INPROCESSING
678.41/680.67	c GARBAGE COLLECT
678.41/680.67	c #Conflicts:      79000 | #Constraints:      15197
678.41/680.67	c #Conflicts:      80000 | #Constraints:      16197
678.41/680.67	c #Conflicts:      81000 | #Constraints:      17197
678.41/680.67	c #Conflicts:      82000 | #Constraints:      18197
678.41/680.67	c #Conflicts:      83000 | #Constraints:      19197
678.41/680.67	c #Conflicts:      84000 | #Constraints:      20197
678.41/680.67	c INPROCESSING
678.41/680.67	c GARBAGE COLLECT
678.41/680.67	c #Conflicts:      85000 | #Constraints:      15406
1035.96/1039.08	c #Conflicts:      86000 | #Constraints:      16406
1035.96/1039.08	c #Conflicts:      87000 | #Constraints:      17406
1035.96/1039.08	c #Conflicts:      88000 | #Constraints:      18406
1035.96/1039.08	c #Conflicts:      89000 | #Constraints:      19406
1035.96/1039.08	c #Conflicts:      90000 | #Constraints:      20406
1035.96/1039.08	c INPROCESSING
1035.96/1039.08	c GARBAGE COLLECT
1035.96/1039.08	c #Conflicts:      91000 | #Constraints:      15410
1035.96/1039.08	c #Conflicts:      92000 | #Constraints:      16410
1035.96/1039.08	c #Conflicts:      93000 | #Constraints:      17410
1035.96/1039.08	c #Conflicts:      94000 | #Constraints:      18410
1035.96/1039.08	c #Conflicts:      95000 | #Constraints:      19410
1035.96/1039.08	c #Conflicts:      96000 | #Constraints:      20410
1035.96/1039.08	c INPROCESSING
1035.96/1039.08	c GARBAGE COLLECT
1035.96/1039.08	c #Conflicts:      97000 | #Constraints:      15220
1035.96/1039.08	c #Conflicts:      98000 | #Constraints:      16220
1035.96/1039.08	c #Conflicts:      99000 | #Constraints:      17220
1035.96/1039.08	c #Conflicts:     100000 | #Constraints:      18220
1035.96/1039.08	c #Conflicts:     101000 | #Constraints:      19220
1035.96/1039.08	c #Conflicts:     102000 | #Constraints:      20220
1035.96/1039.08	c #Conflicts:     103000 | #Constraints:      21220
1035.96/1039.08	c INPROCESSING
1035.96/1039.08	c GARBAGE COLLECT
1035.96/1039.08	c #Conflicts:     104000 | #Constraints:      15830
1035.96/1039.08	c #Conflicts:     105000 | #Constraints:      16830
1035.96/1039.08	c #Conflicts:     106000 | #Constraints:      17830
1035.96/1039.08	c #Conflicts:     107000 | #Constraints:      18830
1035.96/1039.08	c #Conflicts:     108000 | #Constraints:      19830
1035.96/1039.08	c #Conflicts:     109000 | #Constraints:      20830
1035.96/1039.08	c #Conflicts:     110000 | #Constraints:      21830
1035.96/1039.08	c INPROCESSING
1035.96/1039.08	c GARBAGE COLLECT
1035.96/1039.08	c #Conflicts:     111000 | #Constraints:      16231
1035.96/1039.08	c #Conflicts:     112000 | #Constraints:      17231
1035.96/1039.08	c #Conflicts:     113000 | #Constraints:      18231
1035.96/1039.08	c #Conflicts:     114000 | #Constraints:      19231
1035.96/1039.08	c #Conflicts:     115000 | #Constraints:      20231
1035.96/1039.08	c #Conflicts:     116000 | #Constraints:      21231
1035.96/1039.08	c #Conflicts:     117000 | #Constraints:      22231
1035.96/1039.08	c INPROCESSING
1035.96/1039.08	c GARBAGE COLLECT
1035.96/1039.08	c #Conflicts:     118000 | #Constraints:      16415
1035.96/1039.08	c #Conflicts:     119000 | #Constraints:      17415
1035.96/1039.08	c #Conflicts:     120000 | #Constraints:      18415
1035.96/1039.08	c #Conflicts:     121000 | #Constraints:      19415
1035.96/1039.08	c #Conflicts:     122000 | #Constraints:      20415
1035.96/1039.08	c #Conflicts:     123000 | #Constraints:      21415
1035.96/1039.08	c #Conflicts:     124000 | #Constraints:      22415
1035.96/1039.08	c INPROCESSING
1035.96/1039.08	c GARBAGE COLLECT
1035.96/1039.08	c #Conflicts:     125000 | #Constraints:      16417
1035.96/1039.08	c #Conflicts:     126000 | #Constraints:      17417
1035.96/1039.08	c #Conflicts:     127000 | #Constraints:      18417
1035.96/1039.08	c #Conflicts:     128000 | #Constraints:      19417
1035.96/1039.08	c #Conflicts:     129000 | #Constraints:      20417
1035.96/1039.08	c #Conflicts:     130000 | #Constraints:      21417
1035.96/1039.08	c #Conflicts:     131000 | #Constraints:      22417
1035.96/1039.08	c INPROCESSING
1035.96/1039.08	c GARBAGE COLLECT
1035.96/1039.08	c #Conflicts:     132000 | #Constraints:      16217
1035.96/1039.08	c #Conflicts:     133000 | #Constraints:      17217
1035.96/1039.08	c #Conflicts:     134000 | #Constraints:      18217
1035.96/1039.08	c #Conflicts:     135000 | #Constraints:      19217
1035.96/1039.08	c #Conflicts:     136000 | #Constraints:      20217
1035.96/1039.08	c #Conflicts:     137000 | #Constraints:      21217
1035.96/1039.08	c #Conflicts:     138000 | #Constraints:      22217
1035.96/1039.08	c #Conflicts:     139000 | #Constraints:      23217
1035.96/1039.08	c INPROCESSING
1035.96/1039.08	c GARBAGE COLLECT
1035.96/1039.08	c #Conflicts:     140000 | #Constraints:      16838
1035.96/1039.08	c #Conflicts:     141000 | #Constraints:      17838
1035.96/1039.08	c #Conflicts:     142000 | #Constraints:      18838
1035.96/1039.08	c #Conflicts:     143000 | #Constraints:      19838
1035.96/1039.08	c #Conflicts:     144000 | #Constraints:      20838
1035.96/1039.08	c #Conflicts:     145000 | #Constraints:      21838
1035.96/1039.08	c #Conflicts:     146000 | #Constraints:      22838
1035.96/1039.08	c #Conflicts:     147000 | #Constraints:      23838
1035.96/1039.08	c INPROCESSING
1035.96/1039.08	c GARBAGE COLLECT
1035.96/1039.08	c #Conflicts:     148000 | #Constraints:      17235
1035.96/1039.08	c #Conflicts:     149000 | #Constraints:      18235
1035.96/1039.08	c #Conflicts:     150000 | #Constraints:      19235
1035.96/1039.08	c #Conflicts:     151000 | #Constraints:      20235
1035.96/1039.08	c #Conflicts:     152000 | #Constraints:      21235
1035.96/1039.08	c #Conflicts:     153000 | #Constraints:      22235
1035.96/1039.08	c #Conflicts:     154000 | #Constraints:      23235
1035.96/1039.08	c #Conflicts:     155000 | #Constraints:      24235
1035.96/1039.08	c INPROCESSING
1035.96/1039.08	c GARBAGE COLLECT
1035.96/1039.08	c #Conflicts:     156000 | #Constraints:      17429
1035.96/1039.08	c #Conflicts:     157000 | #Constraints:      18429
1490.28/1494.59	c #Conflicts:     158000 | #Constraints:      19429
1490.28/1494.59	c #Conflicts:     159000 | #Constraints:      20429
1490.28/1494.59	c #Conflicts:     160000 | #Constraints:      21429
1490.28/1494.59	c #Conflicts:     161000 | #Constraints:      22429
1490.28/1494.59	c #Conflicts:     162000 | #Constraints:      23429
1490.28/1494.59	c #Conflicts:     163000 | #Constraints:      24429
1490.28/1494.59	c INPROCESSING
1490.28/1494.59	c GARBAGE COLLECT
1490.28/1494.59	c #Conflicts:     164000 | #Constraints:      17429
1490.28/1494.59	c #Conflicts:     165000 | #Constraints:      18429
1490.28/1494.59	c #Conflicts:     166000 | #Constraints:      19429
1490.28/1494.59	c #Conflicts:     167000 | #Constraints:      20429
1490.28/1494.59	c #Conflicts:     168000 | #Constraints:      21429
1490.28/1494.59	c #Conflicts:     169000 | #Constraints:      22429
1490.28/1494.59	c #Conflicts:     170000 | #Constraints:      23429
1490.28/1494.59	c #Conflicts:     171000 | #Constraints:      24429
1490.28/1494.59	c INPROCESSING
1490.28/1494.59	c GARBAGE COLLECT
1490.28/1494.59	c #Conflicts:     172000 | #Constraints:      17225
1490.28/1494.59	c #Conflicts:     173000 | #Constraints:      18225
1490.28/1494.59	c #Conflicts:     174000 | #Constraints:      19225
1490.28/1494.59	c #Conflicts:     175000 | #Constraints:      20225
1490.28/1494.59	c #Conflicts:     176000 | #Constraints:      21225
1490.28/1494.59	c #Conflicts:     177000 | #Constraints:      22225
1490.28/1494.59	c #Conflicts:     178000 | #Constraints:      23225
1490.28/1494.59	c #Conflicts:     179000 | #Constraints:      24225
1490.28/1494.59	c #Conflicts:     180000 | #Constraints:      25225
1490.28/1494.59	c INPROCESSING
1490.28/1494.59	c GARBAGE COLLECT
1490.28/1494.59	c #Conflicts:     181000 | #Constraints:      17817
1490.28/1494.59	c #Conflicts:     182000 | #Constraints:      18817
1490.28/1494.59	c #Conflicts:     183000 | #Constraints:      19817
1490.28/1494.59	c #Conflicts:     184000 | #Constraints:      20817
1490.28/1494.59	c #Conflicts:     185000 | #Constraints:      21817
1490.28/1494.59	c #Conflicts:     186000 | #Constraints:      22817
1490.28/1494.59	c #Conflicts:     187000 | #Constraints:      23817
1490.28/1494.59	c #Conflicts:     188000 | #Constraints:      24817
1490.28/1494.59	c #Conflicts:     189000 | #Constraints:      25817
1490.28/1494.59	c INPROCESSING
1490.28/1494.59	c GARBAGE COLLECT
1490.28/1494.59	c #Conflicts:     190000 | #Constraints:      18221
1490.28/1494.59	c #Conflicts:     191000 | #Constraints:      19221
1490.28/1494.59	c #Conflicts:     192000 | #Constraints:      20221
1490.28/1494.59	c #Conflicts:     193000 | #Constraints:      21221
1490.28/1494.59	c #Conflicts:     194000 | #Constraints:      22221
1490.28/1494.59	c #Conflicts:     195000 | #Constraints:      23221
1490.28/1494.59	c #Conflicts:     196000 | #Constraints:      24221
1490.28/1494.59	c #Conflicts:     197000 | #Constraints:      25221
1490.28/1494.59	c #Conflicts:     198000 | #Constraints:      26221
1490.28/1494.59	c INPROCESSING
1490.28/1494.59	c GARBAGE COLLECT
1490.28/1494.59	c #Conflicts:     199000 | #Constraints:      18429
1490.28/1494.59	c #Conflicts:     200000 | #Constraints:      19429
1490.28/1494.59	c #Conflicts:     201000 | #Constraints:      20429
1490.28/1494.59	c #Conflicts:     202000 | #Constraints:      21429
1490.28/1494.59	c #Conflicts:     203000 | #Constraints:      22429
1490.28/1494.59	c #Conflicts:     204000 | #Constraints:      23429
1490.28/1494.59	c #Conflicts:     205000 | #Constraints:      24429
1490.28/1494.59	c #Conflicts:     206000 | #Constraints:      25429
1490.28/1494.59	c #Conflicts:     207000 | #Constraints:      26429
1490.28/1494.59	c INPROCESSING
1490.28/1494.59	c GARBAGE COLLECT
1490.28/1494.59	c #Conflicts:     208000 | #Constraints:      18420
1490.28/1494.59	c #Conflicts:     209000 | #Constraints:      19420
1490.28/1494.59	c #Conflicts:     210000 | #Constraints:      20420
1490.28/1494.59	c #Conflicts:     211000 | #Constraints:      21420
1490.28/1494.59	c #Conflicts:     212000 | #Constraints:      22420
1490.28/1494.59	c #Conflicts:     213000 | #Constraints:      23420
1490.28/1494.59	c #Conflicts:     214000 | #Constraints:      24420
1490.28/1494.59	c #Conflicts:     215000 | #Constraints:      25420
1490.28/1494.59	c #Conflicts:     216000 | #Constraints:      26420
1490.28/1494.59	c INPROCESSING
1490.28/1494.59	c GARBAGE COLLECT
1490.28/1494.59	c #Conflicts:     217000 | #Constraints:      18224
1490.28/1494.59	c #Conflicts:     218000 | #Constraints:      19224
1490.28/1494.59	c #Conflicts:     219000 | #Constraints:      20224
1490.28/1494.59	c #Conflicts:     220000 | #Constraints:      21224
1490.28/1494.59	c #Conflicts:     221000 | #Constraints:      22224
1490.28/1494.59	c #Conflicts:     222000 | #Constraints:      23224
1490.28/1494.59	c #Conflicts:     223000 | #Constraints:      24224
1490.28/1494.59	c #Conflicts:     224000 | #Constraints:      25224
1490.28/1494.59	c #Conflicts:     225000 | #Constraints:      26224
1490.28/1494.59	c #Conflicts:     226000 | #Constraints:      27224
1490.28/1494.59	c INPROCESSING
1490.28/1494.59	c GARBAGE COLLECT
1490.28/1494.59	c #Conflicts:     227000 | #Constraints:      18830
1490.28/1494.59	c #Conflicts:     228000 | #Constraints:      19830
1490.28/1494.59	c #Conflicts:     229000 | #Constraints:      20830
1490.28/1494.59	c #Conflicts:     230000 | #Constraints:      21830
1490.28/1494.59	c #Conflicts:     231000 | #Constraints:      22830
2054.03/2059.78	c #Conflicts:     232000 | #Constraints:      23830
2054.03/2059.78	c #Conflicts:     233000 | #Constraints:      24830
2054.03/2059.78	c #Conflicts:     234000 | #Constraints:      25830
2054.03/2059.78	c #Conflicts:     235000 | #Constraints:      26830
2054.03/2059.78	c #Conflicts:     236000 | #Constraints:      27830
2054.03/2059.78	c INPROCESSING
2054.03/2059.78	c GARBAGE COLLECT
2054.03/2059.78	c #Conflicts:     237000 | #Constraints:      19223
2054.03/2059.78	c #Conflicts:     238000 | #Constraints:      20223
2054.03/2059.78	c #Conflicts:     239000 | #Constraints:      21223
2054.03/2059.78	c #Conflicts:     240000 | #Constraints:      22223
2054.03/2059.78	c #Conflicts:     241000 | #Constraints:      23223
2054.03/2059.78	c #Conflicts:     242000 | #Constraints:      24223
2054.03/2059.78	c #Conflicts:     243000 | #Constraints:      25223
2054.03/2059.78	c #Conflicts:     244000 | #Constraints:      26223
2054.03/2059.78	c #Conflicts:     245000 | #Constraints:      27223
2054.03/2059.78	c #Conflicts:     246000 | #Constraints:      28223
2054.03/2059.78	c INPROCESSING
2054.03/2059.78	c GARBAGE COLLECT
2054.03/2059.78	c #Conflicts:     247000 | #Constraints:      19442
2054.03/2059.78	c #Conflicts:     248000 | #Constraints:      20442
2054.03/2059.78	c #Conflicts:     249000 | #Constraints:      21442
2054.03/2059.78	c #Conflicts:     250000 | #Constraints:      22442
2054.03/2059.78	c #Conflicts:     251000 | #Constraints:      23442
2054.03/2059.78	c #Conflicts:     252000 | #Constraints:      24442
2054.03/2059.78	c #Conflicts:     253000 | #Constraints:      25442
2054.03/2059.78	c #Conflicts:     254000 | #Constraints:      26442
2054.03/2059.78	c #Conflicts:     255000 | #Constraints:      27442
2054.03/2059.78	c #Conflicts:     256000 | #Constraints:      28442
2054.03/2059.78	c INPROCESSING
2054.03/2059.78	c GARBAGE COLLECT
2054.03/2059.78	c #Conflicts:     257000 | #Constraints:      19440
2054.03/2059.78	c #Conflicts:     258000 | #Constraints:      20440
2054.03/2059.78	c #Conflicts:     259000 | #Constraints:      21440
2054.03/2059.78	c #Conflicts:     260000 | #Constraints:      22440
2054.03/2059.78	c #Conflicts:     261000 | #Constraints:      23440
2054.03/2059.78	c #Conflicts:     262000 | #Constraints:      24440
2054.03/2059.78	c #Conflicts:     263000 | #Constraints:      25440
2054.03/2059.78	c #Conflicts:     264000 | #Constraints:      26440
2054.03/2059.78	c #Conflicts:     265000 | #Constraints:      27440
2054.03/2059.78	c #Conflicts:     266000 | #Constraints:      28440
2054.03/2059.78	c INPROCESSING
2054.03/2059.78	c GARBAGE COLLECT
2054.03/2059.78	c #Conflicts:     267000 | #Constraints:      19242
2054.03/2059.78	c #Conflicts:     268000 | #Constraints:      20242
2054.03/2059.78	c #Conflicts:     269000 | #Constraints:      21242
2054.03/2059.78	c #Conflicts:     270000 | #Constraints:      22242
2054.03/2059.78	c #Conflicts:     271000 | #Constraints:      23242
2054.03/2059.78	c #Conflicts:     272000 | #Constraints:      24242
2054.03/2059.78	c #Conflicts:     273000 | #Constraints:      25242
2054.03/2059.78	c #Conflicts:     274000 | #Constraints:      26242
2054.03/2059.78	c #Conflicts:     275000 | #Constraints:      27242
2054.03/2059.78	c #Conflicts:     276000 | #Constraints:      28242
2054.03/2059.78	c #Conflicts:     277000 | #Constraints:      29242
2054.03/2059.78	c INPROCESSING
2054.03/2059.78	c GARBAGE COLLECT
2054.03/2059.78	c #Conflicts:     278000 | #Constraints:      19816
2054.03/2059.78	c #Conflicts:     279000 | #Constraints:      20816
2054.03/2059.78	c #Conflicts:     280000 | #Constraints:      21816
2054.03/2059.78	c #Conflicts:     281000 | #Constraints:      22816
2054.03/2059.78	c #Conflicts:     282000 | #Constraints:      23816
2054.03/2059.78	c #Conflicts:     283000 | #Constraints:      24816
2054.03/2059.78	c #Conflicts:     284000 | #Constraints:      25816
2054.03/2059.78	c #Conflicts:     285000 | #Constraints:      26816
2054.03/2059.78	c #Conflicts:     286000 | #Constraints:      27816
2054.03/2059.78	c #Conflicts:     287000 | #Constraints:      28816
2054.03/2059.78	c #Conflicts:     288000 | #Constraints:      29816
2054.03/2059.78	c INPROCESSING
2054.03/2059.78	c GARBAGE COLLECT
2054.03/2059.78	c #Conflicts:     289000 | #Constraints:      20204
2054.03/2059.78	c #Conflicts:     290000 | #Constraints:      21204
2054.03/2059.78	c #Conflicts:     291000 | #Constraints:      22204
2054.03/2059.78	c #Conflicts:     292000 | #Constraints:      23204
2054.03/2059.78	c #Conflicts:     293000 | #Constraints:      24204
2054.03/2059.78	c #Conflicts:     294000 | #Constraints:      25204
2054.03/2059.78	c #Conflicts:     295000 | #Constraints:      26204
2054.03/2059.78	c #Conflicts:     296000 | #Constraints:      27204
2054.03/2059.78	c #Conflicts:     297000 | #Constraints:      28204
2054.03/2059.78	c #Conflicts:     298000 | #Constraints:      29204
2054.03/2059.78	c #Conflicts:     299000 | #Constraints:      30204
2054.03/2059.78	c INPROCESSING
2054.03/2059.78	c GARBAGE COLLECT
2054.03/2059.78	c #Conflicts:     300000 | #Constraints:      20391
2054.03/2059.78	c #Conflicts:     301000 | #Constraints:      21391
2054.03/2059.78	c #Conflicts:     302000 | #Constraints:      22391
2054.03/2059.78	c #Conflicts:     303000 | #Constraints:      23391
2054.03/2059.78	c #Conflicts:     304000 | #Constraints:      24391
2054.03/2059.78	c #Conflicts:     305000 | #Constraints:      25391
2637.50/2644.87	c #Conflicts:     306000 | #Constraints:      26391
2637.50/2644.87	c #Conflicts:     307000 | #Constraints:      27391
2637.50/2644.87	c #Conflicts:     308000 | #Constraints:      28391
2637.50/2644.87	c #Conflicts:     309000 | #Constraints:      29391
2637.50/2644.87	c #Conflicts:     310000 | #Constraints:      30391
2637.50/2644.87	c INPROCESSING
2637.50/2644.87	c GARBAGE COLLECT
2637.50/2644.87	c #Conflicts:     311000 | #Constraints:      20410
2637.50/2644.87	c #Conflicts:     312000 | #Constraints:      21410
2637.50/2644.87	c #Conflicts:     313000 | #Constraints:      22410
2637.50/2644.87	c #Conflicts:     314000 | #Constraints:      23410
2637.50/2644.87	c #Conflicts:     315000 | #Constraints:      24410
2637.50/2644.87	c #Conflicts:     316000 | #Constraints:      25410
2637.50/2644.87	c #Conflicts:     317000 | #Constraints:      26410
2637.50/2644.87	c #Conflicts:     318000 | #Constraints:      27410
2637.50/2644.87	c #Conflicts:     319000 | #Constraints:      28410
2637.50/2644.87	c #Conflicts:     320000 | #Constraints:      29410
2637.50/2644.87	c #Conflicts:     321000 | #Constraints:      30410
2637.50/2644.87	c INPROCESSING
2637.50/2644.87	c GARBAGE COLLECT
2637.50/2644.87	c #Conflicts:     322000 | #Constraints:      20214
2637.50/2644.87	c #Conflicts:     323000 | #Constraints:      21214
2637.50/2644.87	c #Conflicts:     324000 | #Constraints:      22214
2637.50/2644.87	c #Conflicts:     325000 | #Constraints:      23214
2637.50/2644.87	c #Conflicts:     326000 | #Constraints:      24214
2637.50/2644.87	c #Conflicts:     327000 | #Constraints:      25214
2637.50/2644.87	c #Conflicts:     328000 | #Constraints:      26214
2637.50/2644.87	c #Conflicts:     329000 | #Constraints:      27214
2637.50/2644.87	c #Conflicts:     330000 | #Constraints:      28214
2637.50/2644.87	c #Conflicts:     331000 | #Constraints:      29214
2637.50/2644.87	c #Conflicts:     332000 | #Constraints:      30214
2637.50/2644.87	c #Conflicts:     333000 | #Constraints:      31214
2637.50/2644.87	c INPROCESSING
2637.50/2644.87	c GARBAGE COLLECT
2637.50/2644.87	c #Conflicts:     334000 | #Constraints:      20816
2637.50/2644.87	c #Conflicts:     335000 | #Constraints:      21816
2637.50/2644.87	c #Conflicts:     336000 | #Constraints:      22816
2637.50/2644.87	c #Conflicts:     337000 | #Constraints:      23816
2637.50/2644.87	c #Conflicts:     338000 | #Constraints:      24816
2637.50/2644.87	c #Conflicts:     339000 | #Constraints:      25816
2637.50/2644.87	c #Conflicts:     340000 | #Constraints:      26816
2637.50/2644.87	c #Conflicts:     341000 | #Constraints:      27816
2637.50/2644.87	c #Conflicts:     342000 | #Constraints:      28816
2637.50/2644.87	c #Conflicts:     343000 | #Constraints:      29816
2637.50/2644.87	c #Conflicts:     344000 | #Constraints:      30816
2637.50/2644.87	c #Conflicts:     345000 | #Constraints:      31816
2637.50/2644.87	c INPROCESSING
2637.50/2644.87	c GARBAGE COLLECT
2637.50/2644.87	c #Conflicts:     346000 | #Constraints:      21220
2637.50/2644.87	c #Conflicts:     347000 | #Constraints:      22220
2637.50/2644.87	c #Conflicts:     348000 | #Constraints:      23220
2637.50/2644.87	c #Conflicts:     349000 | #Constraints:      24220
2637.50/2644.87	c #Conflicts:     350000 | #Constraints:      25220
2637.50/2644.87	c #Conflicts:     351000 | #Constraints:      26220
2637.50/2644.87	c #Conflicts:     352000 | #Constraints:      27220
2637.50/2644.87	c #Conflicts:     353000 | #Constraints:      28220
2637.50/2644.87	c #Conflicts:     354000 | #Constraints:      29220
2637.50/2644.87	c #Conflicts:     355000 | #Constraints:      30220
2637.50/2644.87	c #Conflicts:     356000 | #Constraints:      31220
2637.50/2644.87	c #Conflicts:     357000 | #Constraints:      32220
2637.50/2644.87	c INPROCESSING
2637.50/2644.87	c GARBAGE COLLECT
2637.50/2644.87	c #Conflicts:     358000 | #Constraints:      21410
2637.50/2644.87	c #Conflicts:     359000 | #Constraints:      22410
2637.50/2644.87	c #Conflicts:     360000 | #Constraints:      23410
2637.50/2644.87	c #Conflicts:     361000 | #Constraints:      24410
2637.50/2644.87	c #Conflicts:     362000 | #Constraints:      25410
2637.50/2644.87	c #Conflicts:     363000 | #Constraints:      26410
2637.50/2644.87	c #Conflicts:     364000 | #Constraints:      27410
2637.50/2644.87	c #Conflicts:     365000 | #Constraints:      28410
2637.50/2644.87	c #Conflicts:     366000 | #Constraints:      29410
2637.50/2644.87	c #Conflicts:     367000 | #Constraints:      30410
2637.50/2644.87	c #Conflicts:     368000 | #Constraints:      31410
2637.50/2644.87	c #Conflicts:     369000 | #Constraints:      32410
2637.50/2644.87	c INPROCESSING
2637.50/2644.87	c GARBAGE COLLECT
2637.50/2644.87	c #Conflicts:     370000 | #Constraints:      21448
2637.50/2644.87	c #Conflicts:     371000 | #Constraints:      22448
2637.50/2644.87	c #Conflicts:     372000 | #Constraints:      23448
2637.50/2644.87	c #Conflicts:     373000 | #Constraints:      24448
2637.50/2644.87	c #Conflicts:     374000 | #Constraints:      25448
2637.50/2644.87	c #Conflicts:     375000 | #Constraints:      26448
2637.50/2644.87	c #Conflicts:     376000 | #Constraints:      27448
2637.50/2644.87	c #Conflicts:     377000 | #Constraints:      28448
2637.50/2644.87	c #Conflicts:     378000 | #Constraints:      29448
2637.50/2644.87	c #Conflicts:     379000 | #Constraints:      30448
2637.50/2644.87	c #Conflicts:     380000 | #Constraints:      31448
3299.73/3308.94	c #Conflicts:     381000 | #Constraints:      32448
3299.73/3308.94	c INPROCESSING
3299.73/3308.94	c GARBAGE COLLECT
3299.73/3308.94	c #Conflicts:     382000 | #Constraints:      21256
3299.73/3308.94	c #Conflicts:     383000 | #Constraints:      22256
3299.73/3308.94	c #Conflicts:     384000 | #Constraints:      23256
3299.73/3308.94	c #Conflicts:     385000 | #Constraints:      24256
3299.73/3308.94	c #Conflicts:     386000 | #Constraints:      25256
3299.73/3308.94	c #Conflicts:     387000 | #Constraints:      26256
3299.73/3308.94	c #Conflicts:     388000 | #Constraints:      27256
3299.73/3308.94	c #Conflicts:     389000 | #Constraints:      28256
3299.73/3308.94	c #Conflicts:     390000 | #Constraints:      29256
3299.73/3308.94	c #Conflicts:     391000 | #Constraints:      30256
3299.73/3308.94	c #Conflicts:     392000 | #Constraints:      31256
3299.73/3308.94	c #Conflicts:     393000 | #Constraints:      32256
3299.73/3308.94	c #Conflicts:     394000 | #Constraints:      33256
3299.73/3308.94	c INPROCESSING
3299.73/3308.94	c GARBAGE COLLECT
3299.73/3308.94	c #Conflicts:     395000 | #Constraints:      21853
3299.73/3308.94	c #Conflicts:     396000 | #Constraints:      22853
3299.73/3308.94	c #Conflicts:     397000 | #Constraints:      23853
3299.73/3308.94	c #Conflicts:     398000 | #Constraints:      24853
3299.73/3308.94	c #Conflicts:     399000 | #Constraints:      25853
3299.73/3308.94	c #Conflicts:     400000 | #Constraints:      26853
3299.73/3308.94	c #Conflicts:     401000 | #Constraints:      27853
3299.73/3308.94	c #Conflicts:     402000 | #Constraints:      28853
3299.73/3308.94	c #Conflicts:     403000 | #Constraints:      29853
3299.73/3308.94	c #Conflicts:     404000 | #Constraints:      30853
3299.73/3308.94	c #Conflicts:     405000 | #Constraints:      31853
3299.73/3308.94	c #Conflicts:     406000 | #Constraints:      32853
3299.73/3308.94	c #Conflicts:     407000 | #Constraints:      33853
3299.73/3308.94	c INPROCESSING
3299.73/3308.94	c GARBAGE COLLECT
3299.73/3308.94	c #Conflicts:     408000 | #Constraints:      22244
3299.73/3308.94	c #Conflicts:     409000 | #Constraints:      23244
3299.73/3308.94	c #Conflicts:     410000 | #Constraints:      24244
3299.73/3308.94	c #Conflicts:     411000 | #Constraints:      25244
3299.73/3308.94	c #Conflicts:     412000 | #Constraints:      26244
3299.73/3308.94	c #Conflicts:     413000 | #Constraints:      27244
3299.73/3308.94	c #Conflicts:     414000 | #Constraints:      28244
3299.73/3308.94	c #Conflicts:     415000 | #Constraints:      29244
3299.73/3308.94	c #Conflicts:     416000 | #Constraints:      30244
3299.73/3308.94	c #Conflicts:     417000 | #Constraints:      31244
3299.73/3308.94	c #Conflicts:     418000 | #Constraints:      32244
3299.73/3308.94	c #Conflicts:     419000 | #Constraints:      33244
3299.73/3308.94	c #Conflicts:     420000 | #Constraints:      34244
3299.73/3308.94	c INPROCESSING
3299.73/3308.94	c GARBAGE COLLECT
3299.73/3308.94	c #Conflicts:     421000 | #Constraints:      22453
3299.73/3308.94	c #Conflicts:     422000 | #Constraints:      23453
3299.73/3308.94	c #Conflicts:     423000 | #Constraints:      24453
3299.73/3308.94	c #Conflicts:     424000 | #Constraints:      25453
3299.73/3308.94	c #Conflicts:     425000 | #Constraints:      26453
3299.73/3308.94	c #Conflicts:     426000 | #Constraints:      27453
3299.73/3308.94	c #Conflicts:     427000 | #Constraints:      28453
3299.73/3308.94	c #Conflicts:     428000 | #Constraints:      29453
3299.73/3308.94	c #Conflicts:     429000 | #Constraints:      30453
3299.73/3308.94	c #Conflicts:     430000 | #Constraints:      31453
3299.73/3308.94	c #Conflicts:     431000 | #Constraints:      32453
3299.73/3308.94	c #Conflicts:     432000 | #Constraints:      33453
3299.73/3308.94	c #Conflicts:     433000 | #Constraints:      34453
3299.73/3308.94	c INPROCESSING
3299.73/3308.94	c GARBAGE COLLECT
3299.73/3308.94	c #Conflicts:     434000 | #Constraints:      22453
3299.73/3308.94	c #Conflicts:     435000 | #Constraints:      23453
3299.73/3308.94	c #Conflicts:     436000 | #Constraints:      24453
3299.73/3308.94	c #Conflicts:     437000 | #Constraints:      25453
3299.73/3308.94	c #Conflicts:     438000 | #Constraints:      26453
3299.73/3308.94	c #Conflicts:     439000 | #Constraints:      27453
3299.73/3308.94	c #Conflicts:     440000 | #Constraints:      28453
3299.73/3308.94	c #Conflicts:     441000 | #Constraints:      29453
3299.73/3308.94	c #Conflicts:     442000 | #Constraints:      30453
3299.73/3308.94	c #Conflicts:     443000 | #Constraints:      31453
3299.73/3308.94	c #Conflicts:     444000 | #Constraints:      32453
3299.73/3308.94	c #Conflicts:     445000 | #Constraints:      33453
3299.73/3308.94	c #Conflicts:     446000 | #Constraints:      34453
3299.73/3308.94	c INPROCESSING
3299.73/3308.94	c GARBAGE COLLECT
3299.73/3308.94	c #Conflicts:     447000 | #Constraints:      22250
3299.73/3308.94	c #Conflicts:     448000 | #Constraints:      23250
3299.73/3308.94	c #Conflicts:     449000 | #Constraints:      24250
3299.73/3308.94	c #Conflicts:     450000 | #Constraints:      25250
3299.73/3308.94	c #Conflicts:     451000 | #Constraints:      26250
3299.73/3308.94	c #Conflicts:     452000 | #Constraints:      27250
3299.73/3308.94	c #Conflicts:     453000 | #Constraints:      28250
3299.73/3308.94	c #Conflicts:     454000 | #Constraints:      29250
3299.73/3308.94	c #Conflicts:     455000 | #Constraints:      30250
3600.02/3610.11	c #Conflicts:     456000 | #Constraints:      31250
3600.02/3610.11	c #Conflicts:     457000 | #Constraints:      32250
3600.02/3610.11	c #Conflicts:     458000 | #Constraints:      33250
3600.02/3610.11	c #Conflicts:     459000 | #Constraints:      34250
3600.02/3610.11	c #Conflicts:     460000 | #Constraints:      35250
3600.02/3610.11	c INPROCESSING
3600.02/3610.11	c GARBAGE COLLECT
3600.02/3610.11	c #Conflicts:     461000 | #Constraints:      22841
3600.02/3610.11	c #Conflicts:     462000 | #Constraints:      23841
3600.02/3610.11	c #Conflicts:     463000 | #Constraints:      24841
3600.02/3610.11	c #Conflicts:     464000 | #Constraints:      25841
3600.02/3610.11	c #Conflicts:     465000 | #Constraints:      26841
3600.02/3610.11	c #Conflicts:     466000 | #Constraints:      27841
3600.02/3610.11	c #Conflicts:     467000 | #Constraints:      28841
3600.02/3610.11	c #Conflicts:     468000 | #Constraints:      29841
3600.02/3610.11	c #Conflicts:     469000 | #Constraints:      30841
3600.02/3610.11	c #Conflicts:     470000 | #Constraints:      31841
3600.02/3610.11	c #Conflicts:     471000 | #Constraints:      32841
3600.02/3610.11	c #Conflicts:     472000 | #Constraints:      33841
3600.02/3610.11	c #Conflicts:     473000 | #Constraints:      34841
3600.02/3610.11	c #Conflicts:     474000 | #Constraints:      35841
3600.02/3610.11	c INPROCESSING
3600.02/3610.11	c GARBAGE COLLECT
3600.02/3610.11	c #Conflicts:     475000 | #Constraints:      23237
3600.02/3610.11	c #Conflicts:     476000 | #Constraints:      24237
3600.02/3610.11	c #Conflicts:     477000 | #Constraints:      25237
3600.02/3610.11	c #Conflicts:     478000 | #Constraints:      26237
3600.02/3610.11	c #Conflicts:     479000 | #Constraints:      27237
3600.02/3610.11	c #Conflicts:     480000 | #Constraints:      28237
3600.02/3610.11	c #Conflicts:     481000 | #Constraints:      29237
3600.02/3610.11	c #Conflicts:     482000 | #Constraints:      30237
3600.02/3610.11	c Program interrupted by user.
3600.02/3610.11	c cpu time 3584.28 s
3600.02/3610.11	c deterministic time 389866424419 3.90e+11
3600.02/3610.11	c optimization time 106.424 s
3600.02/3610.11	c total solve time 3178.87 s
3600.02/3610.11	c core-guided solve time 3178.87 s
3600.02/3610.11	c propagation time 2102.13 s
3600.02/3610.11	c conflict analysis time 686.59 s
3600.02/3610.11	c propagations 195255039
3600.02/3610.11	c resolve steps 1968966
3600.02/3610.11	c decisions 16104969
3600.02/3610.11	c conflicts 482499
3600.02/3610.11	c restarts 1022
3600.02/3610.11	c inprocessing phases 60
3600.02/3610.11	c input clauses 8171
3600.02/3610.11	c input cardinalities 1989
3600.02/3610.11	c input general constraints 0
3600.02/3610.11	c input average constraint length 1603.44
3600.02/3610.11	c input average constraint degree 196.19
3600.02/3610.11	c learned clauses 14682
3600.02/3610.11	c learned cardinalities 403
3600.02/3610.11	c learned general constraints 467413
3600.02/3610.11	c learned average constraint length 4559.96
3600.02/3610.11	c learned average constraint degree 13562639.36
3600.02/3610.11	c watched constraints 96724
3600.02/3610.11	c counting constraints 370689
3600.02/3610.11	c gcd simplifications 2024
3600.02/3610.11	c detected cardinalities 159
3600.02/3610.11	c weakened non-implied lits 263555708
3600.02/3610.11	c weakened non-implying lits 3563
3600.02/3610.11	c original variables 8170
3600.02/3610.11	c clausal propagations 17637953
3600.02/3610.11	c cardinality propagations 804
3600.02/3610.11	c watched propagations 8047876
3600.02/3610.11	c counting propagations 164031584
3600.02/3610.11	c watch lookups 41594147374
3600.02/3610.11	c watch backjump lookups 41410347354
3600.02/3610.11	c watch checks 68123870217
3600.02/3610.11	c propagation checks 232281785272
3600.02/3610.11	c constraint additions 6033076962
3600.02/3610.11	c trail pops 211837231
3600.02/3610.11	c formula constraints 8170
3600.02/3610.11	c learned constraints 482498
3600.02/3610.11	c bound constraints 1990
3600.02/3610.11	c core-guided constraints 0
3600.02/3610.11	c encountered formula constraints 1221508
3600.02/3610.11	c encountered learned constraints 1229956
3600.02/3610.11	c encountered bound constraints 1
3600.02/3610.11	c encountered core-guided constraints 0
3600.02/3610.11	c LP total time 0 s
3600.02/3610.11	c LP solve time 0 s
3600.02/3610.11	c LP constraints added 0
3600.02/3610.11	c LP constraints removed 0
3600.02/3610.11	c LP pivots internal 0
3600.02/3610.11	c LP pivots root 0
3600.02/3610.11	c LP calls 0
3600.02/3610.11	c LP optimalities 0
3600.02/3610.11	c LP no pivot count 0
3600.02/3610.11	c LP infeasibilities 0
3600.02/3610.11	c LP valid Farkas constraints 0
3600.02/3610.11	c LP learned Farkas constraints 0
3600.02/3610.11	c LP basis resets 0
3600.02/3610.11	c LP cycling count 0
3600.02/3610.11	c LP singular count 0
3600.02/3610.11	c LP no primal count 0
3600.02/3610.11	c LP no farkas count 0
3600.02/3610.11	c LP other issue count 0
3600.02/3610.11	c LP Gomory cuts 0
3600.02/3610.11	c LP learned cuts 0
3600.02/3610.11	c LP deleted cuts 0
3600.02/3610.11	c LP encountered Gomory constraints 0
3600.02/3610.11	c LP encountered Farkas constraints 0
3600.02/3610.11	c LP encountered learned Farkas constraints 0
3600.02/3610.11	c CG auxiliary variables introduced 0
3600.02/3610.11	c CG solutions found 0
3600.02/3610.11	c CG cores constructed 1989
3600.02/3610.11	c CG core cardinality constraints returned 0
3600.02/3610.11	c CG unit cores 0
3600.02/3610.11	c CG single cores 1989
3600.02/3610.11	c CG blocks removed during cardinality reduction 0
3600.02/3610.11	c CG first core best 0
3600.02/3610.11	c CG decision core best 0
3600.02/3610.11	c CG core reduction tie 0
3600.02/3610.11	c CG core degree average 1.00
3600.02/3610.11	c CG core slack average 3.00
3600.02/3610.11	c CG exhausted 0
3600.02/3610.11	c CG exhaust time 0 s
3600.02/3610.11	c CG trimmed 0
3600.02/3610.11	c CG trim time 0.014687 s
3600.02/3610.11	c CG minimized 0
3600.02/3610.11	c CG minimize time 0 s
3600.02/3610.11	c CG am1 prop time 0.009273 s
3600.02/3610.11	c CG # am1s reformulated 0
3600.02/3610.11	c CG lower bound derived from am1s 0
3600.02/3610.11	c CG # clausal cores 1989
3600.02/3610.11	c CG # cardinality cores 0
3600.02/3610.11	c CG # pb cores 0
3600.02/3610.11	c CG # pb reforms 0
3600.02/3610.11	c CG # cores discarded because of pb reform 0
3600.02/3610.11	d LOWERBOUND 1989
3600.02/3610.11	d NCORES 1989
3600.02/3610.11	d NPBCORES 0
3600.02/3610.11	d NPBREFORM 0
3600.02/3610.11	d NTRIMMED 0
3600.02/3610.11	d NEXHAUSTED 0
3600.02/3610.11	d NAM1S 0
3600.02/3610.11	d AM1LB 0
3600.02/3610.11	c [Papilo Statistics]
3600.02/3610.11	c prepro time 0.0101443s
3600.02/3610.11	c # tsx applied 0
3600.02/3610.11	c # tsx conflicts 0
3600.02/3610.11	c # bound changes 0
3600.02/3610.11	c # side changes 0
3600.02/3610.11	c # coef changes 0
3600.02/3610.11	c # rounds 1
3600.02/3610.11	c # deted vars 0
3600.02/3610.11	c # deted constrs 0
3600.02/3610.11	c # consecutive rounds of only bound changes 0
3600.02/3610.11	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (61089 MiB free)
  memory of node 1: 64507 MiB (48403 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529323-1752264018/watcher-4529323-1752264018 -o /tmp/evaluation-result-4529323-1752264018/solver-4529323-1752264018 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1752256448-119452 --watchdog 3760 mixed-bag HOME/instance-4529323-1752264018.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=121137, runsolver pid=121134

[startup+0.100066 s]*
/proc/loadavg: 4.08 4.11 4.09 5/263 121138
/proc/meminfo: memFree=112097304/131249996 swapFree=33010416/33010684
[pid=121137] ppid=121134 vsize=135428 memory=62724 CPUtime=0.09 cores=1,3
/proc/121137/stat : 121137 (mixed-bag) R 121134 121137 119440 0 -1 4194304 13547 0 0 0 7 2 0 0 20 0 1 0 142079570 138678272 15681 18446744073709551615 4235264 15840557 140727717065776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24399872 140727717067162 140727717067239 140727717067239 140727717072843 0
/proc/121137/statm: 33857 15681 4032 2834 0 16062 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 135428 KiB
Current children cumulated memory: 62724 KiB

[startup+0.205882 s]*
/proc/loadavg: 4.08 4.11 4.09 5/263 121138
/proc/meminfo: memFree=112114288/131249996 swapFree=33010416/33010684
[pid=121137] ppid=121134 vsize=202928 memory=102764 CPUtime=0.2 cores=1,3
/proc/121137/stat : 121137 (mixed-bag) R 121134 121137 119440 0 -1 4194304 25092 0 0 0 16 4 0 0 20 0 1 0 142079570 207798272 25691 18446744073709551615 4235264 15840557 140727717065776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24399872 140727717067162 140727717067239 140727717067239 140727717072843 0
/proc/121137/statm: 50732 25691 4128 2834 0 32937 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 202928 KiB
Current children cumulated memory: 102764 KiB

[startup+0.305977 s]*
/proc/loadavg: 4.08 4.11 4.09 5/263 121138
/proc/meminfo: memFree=112114288/131249996 swapFree=33010416/33010684
[pid=121137] ppid=121134 vsize=216692 memory=116460 CPUtime=0.29 cores=1,3
/proc/121137/stat : 121137 (mixed-bag) R 121134 121137 119440 0 -1 4194304 28368 0 0 0 25 4 0 0 20 0 1 0 142079570 221892608 29115 18446744073709551615 4235264 15840557 140727717065776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24399872 140727717067162 140727717067239 140727717067239 140727717072843 0
/proc/121137/statm: 54173 29115 4288 2834 0 36378 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 216692 KiB
Current children cumulated memory: 116460 KiB

[startup+0.700133 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 121138
/proc/meminfo: memFree=112114288/131249996 swapFree=33010416/33010684
[pid=121137] ppid=121134 vsize=219364 memory=119148 CPUtime=0.68 cores=1,3
/proc/121137/stat : 121137 (mixed-bag) R 121134 121137 119440 0 -1 4194304 29041 0 0 0 64 4 0 0 20 0 1 0 142079570 224628736 29787 18446744073709551615 4235264 15840557 140727717065776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24399872 140727717067162 140727717067239 140727717067239 140727717072843 0
/proc/121137/statm: 54841 29787 4288 2834 0 37046 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 219364 KiB
Current children cumulated memory: 119148 KiB

[startup+1.50014 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 121138
/proc/meminfo: memFree=112114288/131249996 swapFree=33010416/33010684
[pid=121137] ppid=121134 vsize=221272 memory=121068 CPUtime=1.48 cores=1,3
/proc/121137/stat : 121137 (mixed-bag) R 121134 121137 119440 0 -1 4194304 29511 0 0 0 144 4 0 0 20 0 1 0 142079570 226582528 30267 18446744073709551615 4235264 15840557 140727717065776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24399872 140727717067162 140727717067239 140727717067239 140727717072843 0
/proc/121137/statm: 55318 30267 4288 2834 0 37523 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 221272 KiB
Current children cumulated memory: 121068 KiB

[startup+3.10545 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 121138
/proc/meminfo: memFree=112120800/131249996 swapFree=33010416/33010684
[pid=121137] ppid=121134 vsize=223044 memory=121816 CPUtime=3.07 cores=1,3
/proc/121137/stat : 121137 (mixed-bag) R 121134 121137 119440 0 -1 4194304 31044 0 0 0 303 4 0 0 20 0 1 0 142079570 228397056 30454 18446744073709551615 4235264 15840557 140727717065776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24399872 140727717067162 140727717067239 140727717067239 140727717072843 0
/proc/121137/statm: 55761 30454 4288 2834 0 37966 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 223044 KiB
Current children cumulated memory: 121816 KiB

[startup+6.30016 s]
/proc/loadavg: 4.16 4.13 4.09 5/263 121138
/proc/meminfo: memFree=112148684/131249996 swapFree=33010416/33010684
[pid=121137] ppid=121134 vsize=223296 memory=122200 CPUtime=6.26 cores=1,3
/proc/121137/stat : 121137 (mixed-bag) R 121134 121137 119440 0 -1 4194304 31127 0 0 0 622 4 0 0 20 0 1 0 142079570 228655104 30550 18446744073709551615 4235264 15840557 140727717065776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24399872 140727717067162 140727717067239 140727717067239 140727717072843 0
/proc/121137/statm: 55824 30550 4288 2834 0 38029 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 223296 KiB
Current children cumulated memory: 122200 KiB

[startup+12.7001 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 121138
/proc/meminfo: memFree=112196680/131249996 swapFree=33010416/33010684
[pid=121137] ppid=121134 vsize=226080 memory=124208 CPUtime=12.64 cores=1,3
/proc/121137/stat : 121137 (mixed-bag) R 121134 121137 119440 0 -1 4194304 31934 0 0 0 1259 5 0 0 20 0 1 0 142079570 231505920 31052 18446744073709551615 4235264 15840557 140727717065776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24399872 140727717067162 140727717067239 140727717067239 140727717072843 0
/proc/121137/statm: 56520 31052 4288 2834 0 38725 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 226080 KiB
Current children cumulated memory: 124208 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 121138
/proc/meminfo: memFree=112212320/131249996 swapFree=33010416/33010684
[pid=121137] ppid=121134 vsize=226080 memory=124208 CPUtime=25.4 cores=1,3
/proc/121137/stat : 121137 (mixed-bag) R 121134 121137 119440 0 -1 4194304 31934 0 0 0 2535 5 0 0 20 0 1 0 142079570 231505920 31052 18446744073709551615 4235264 15840557 140727717065776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24399872 140727717067162 140727717067239 140727717067239 140727717072843 0
/proc/121137/statm: 56520 31052 4288 2834 0 38725 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 226080 KiB
Current children cumulated memory: 124208 KiB

[startup+51.1056 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 121150
/proc/meminfo: memFree=112258464/131249996 swapFree=33010416/33010684
[pid=121137] ppid=121134 vsize=226080 memory=124592 CPUtime=50.91 cores=1,3
/proc/121137/stat : 121137 (mixed-bag) R 121134 121137 119440 0 -1 4194304 32012 0 0 0 5086 5 0 0 20 0 1 0 142079570 231505920 31148 18446744073709551615 4235264 15840557 140727717065776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24399872 140727717067162 140727717067239 140727717067239 140727717072843 0
/proc/121137/statm: 56520 31148 4288 2834 0 38725 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 226080 KiB
Current children cumulated memory: 124592 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 121288
/proc/meminfo: memFree=111651364/131249996 swapFree=33010416/33010684
[pid=121137] ppid=121134 vsize=227276 memory=125104 CPUtime=101.93 cores=1,3
/proc/121137/stat : 121137 (mixed-bag) R 121134 121137 119440 0 -1 4194304 32166 0 0 0 10188 5 0 0 20 0 1 0 142079570 232730624 31276 18446744073709551615 4235264 15840557 140727717065776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24399872 140727717067162 140727717067239 140727717067239 140727717072843 0
/proc/121137/statm: 56819 31276 4288 2834 0 39024 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 227276 KiB
Current children cumulated memory: 125104 KiB

[startup+162.3 s]
/proc/loadavg: 4.24 4.14 4.10 5/265 121291
/proc/meminfo: memFree=97310196/131249996 swapFree=33010416/33010684
[pid=121137] ppid=121134 vsize=231176 memory=127688 CPUtime=161.72 cores=1,3
/proc/121137/stat : 121137 (mixed-bag) R 121134 121137 119440 0 -1 4194304 32884 0 0 0 16167 5 0 0 20 0 1 0 142079570 236724224 31922 18446744073709551615 4235264 15840557 140727717065776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24399872 140727717067162 140727717067239 140727717067239 140727717072843 0
/proc/121137/statm: 57794 31922 4288 2834 0 39999 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 231176 KiB
Current children cumulated memory: 127688 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/265 121293
/proc/meminfo: memFree=96064648/131249996 swapFree=33010416/33010684
[pid=121137] ppid=121134 vsize=231176 memory=127688 CPUtime=221.51 cores=1,3
/proc/121137/stat : 121137 (mixed-bag) R 121134 121137 119440 0 -1 4194304 32885 0 0 0 22146 5 0 0 20 0 1 0 142079570 236724224 31922 18446744073709551615 4235264 15840557 140727717065776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24399872 140727717067162 140727717067239 140727717067239 140727717072843 0
/proc/121137/statm: 57794 31922 4288 2834 0 39999 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 231176 KiB
Current children cumulated memory: 127688 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 121295
/proc/meminfo: memFree=96060908/131249996 swapFree=33010416/33010684
[pid=121137] ppid=121134 vsize=231176 memory=127816 CPUtime=281.3 cores=1,3
/proc/121137/stat : 121137 (mixed-bag) R 121134 121137 119440 0 -1 4194304 32933 0 0 0 28125 5 0 0 20 0 1 0 142079570 236724224 31954 18446744073709551615 4235264 15840557 140727717065776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24399872 140727717067162 140727717067239 140727717067239 140727717072843 0
/proc/121137/statm: 57794 31954 4288 2834 0 39999 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 231176 KiB
Current children cumulated memory: 127816 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 121297
/proc/meminfo: memFree=95564812/131249996 swapFree=33010416/33010684
[pid=121137] ppid=121134 vsize=884940 memory=620048 CPUtime=341.11 cores=1,3
/proc/121137/stat : 121137 (mixed-bag) R 121134 121137 119440 0 -1 4194304 110659 0 0 0 34026 85 0 0 20 0 1 0 142079570 906178560 155012 18446744073709551615 4235264 15840557 140727717065776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24399872 140727717067162 140727717067239 140727717067239 140727717072843 0
/proc/121137/statm: 221235 155012 4480 2834 0 203440 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 884940 KiB
Current children cumulated memory: 620048 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 121299
/proc/meminfo: memFree=95440564/131249996 swapFree=33010416/33010684
[pid=121137] ppid=121134 vsize=890960 memory=734132 CPUtime=400.93 cores=1,3
/proc/121137/stat : 121137 (mixed-bag) R 121134 121137 119440 0 -1 4194304 121310 0 0 0 39944 149 0 0 20 0 1 0 142079570 912343040 183533 18446744073709551615 4235264 15840557 140727717065776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24399872 140727717067162 140727717067239 140727717067239 140727717072843 0
/proc/121137/statm: 222740 183533 4480 2834 0 204945 0
Current children cumulated CPU time: 400.93 s
Current children cumulated vsize: 890960 KiB
Current children cumulated memory: 734132 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 121302
/proc/meminfo: memFree=95370636/131249996 swapFree=33010416/33010684
[pid=121137] ppid=121134 vsize=891532 memory=793884 CPUtime=460.75 cores=1,3
/proc/121137/stat : 121137 (mixed-bag) R 121134 121137 119440 0 -1 4194304 126040 0 0 0 45883 192 0 0 20 0 1 0 142079570 912928768 198471 18446744073709551615 4235264 15840557 140727717065776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24399872 140727717067162 140727717067239 140727717067239 140727717072843 0
/proc/121137/statm: 222883 198471 4480 2834 0 205088 0
Current children cumulated CPU time: 460.75 s

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

Current children cumulated memory: 2402056 KiB

[startup+2922.3 s]
/proc/loadavg: 3.10 3.18 3.48 4/258 121447
/proc/meminfo: memFree=101857300/131249996 swapFree=33010416/33010684
[pid=121137] ppid=121134 vsize=2614024 memory=2466832 CPUtime=2914.22 cores=1,3
/proc/121137/stat : 121137 (mixed-bag) R 121134 121137 119440 0 -1 4194304 355627 0 0 0 289963 1459 0 0 20 0 1 0 142079570 2676760576 616708 18446744073709551615 4235264 15840557 140727717065776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24399872 140727717067162 140727717067239 140727717067239 140727717072843 0
/proc/121137/statm: 653506 616708 4480 2834 0 635711 0
Current children cumulated CPU time: 2914.22 s
Current children cumulated vsize: 2614024 KiB
Current children cumulated memory: 2466832 KiB

[startup+2982.3 s]
/proc/loadavg: 3.15 3.18 3.45 4/258 121449
/proc/meminfo: memFree=101836632/131249996 swapFree=33010416/33010684
[pid=121137] ppid=121134 vsize=2614024 memory=2494992 CPUtime=2974.06 cores=1,3
/proc/121137/stat : 121137 (mixed-bag) R 121134 121137 119440 0 -1 4194304 355637 0 0 0 295928 1478 0 0 20 0 1 0 142079570 2676760576 623748 18446744073709551615 4235264 15840557 140727717065776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24399872 140727717067162 140727717067239 140727717067239 140727717072843 0
/proc/121137/statm: 653506 623748 4480 2834 0 635711 0
Current children cumulated CPU time: 2974.06 s
Current children cumulated vsize: 2614024 KiB
Current children cumulated memory: 2494992 KiB

[startup+3042.3 s]
/proc/loadavg: 3.11 3.16 3.43 4/258 121458
/proc/meminfo: memFree=101773392/131249996 swapFree=33010416/33010684
[pid=121137] ppid=121134 vsize=2614024 memory=2541488 CPUtime=3033.9 cores=1,3
/proc/121137/stat : 121137 (mixed-bag) R 121134 121137 119440 0 -1 4194304 355715 0 0 0 301898 1492 0 0 20 0 1 0 142079570 2676760576 635372 18446744073709551615 4235264 15840557 140727717065776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24399872 140727717067162 140727717067239 140727717067239 140727717072843 0
/proc/121137/statm: 653506 635372 4480 2834 0 635711 0
Current children cumulated CPU time: 3033.9 s
Current children cumulated vsize: 2614024 KiB
Current children cumulated memory: 2541488 KiB

[startup+3102.3 s]
/proc/loadavg: 3.08 3.14 3.41 4/258 121460
/proc/meminfo: memFree=101796264/131249996 swapFree=33010416/33010684
[pid=121137] ppid=121134 vsize=2614024 memory=2541488 CPUtime=3093.72 cores=1,3
/proc/121137/stat : 121137 (mixed-bag) R 121134 121137 119440 0 -1 4194304 355753 0 0 0 307871 1501 0 0 20 0 1 0 142079570 2676760576 635372 18446744073709551615 4235264 15840557 140727717065776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24399872 140727717067162 140727717067239 140727717067239 140727717072843 0
/proc/121137/statm: 653506 635372 4480 2834 0 635711 0
Current children cumulated CPU time: 3093.72 s
Current children cumulated vsize: 2614024 KiB
Current children cumulated memory: 2541488 KiB

[startup+3162.3 s]
/proc/loadavg: 3.13 3.14 3.39 4/257 121462
/proc/meminfo: memFree=101818392/131249996 swapFree=33010416/33010684
[pid=121137] ppid=121134 vsize=2614024 memory=2541488 CPUtime=3153.54 cores=1,3
/proc/121137/stat : 121137 (mixed-bag) R 121134 121137 119440 0 -1 4194304 355952 0 0 0 313843 1511 0 0 20 0 1 0 142079570 2676760576 635372 18446744073709551615 4235264 15840557 140727717065776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24399872 140727717067162 140727717067239 140727717067239 140727717072843 0
/proc/121137/statm: 653506 635372 4480 2834 0 635711 0
Current children cumulated CPU time: 3153.54 s
Current children cumulated vsize: 2614024 KiB
Current children cumulated memory: 2541488 KiB

[startup+3222.3 s]
/proc/loadavg: 3.10 3.13 3.37 4/258 121465
/proc/meminfo: memFree=101763064/131249996 swapFree=33010416/33010684
[pid=121137] ppid=121134 vsize=3181552 memory=2597880 CPUtime=3213.37 cores=1,3
/proc/121137/stat : 121137 (mixed-bag) R 121134 121137 119440 0 -1 4194304 356333 0 0 0 319816 1521 0 0 20 0 1 0 142079570 3257909248 649470 18446744073709551615 4235264 15840557 140727717065776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24399872 140727717067162 140727717067239 140727717067239 140727717072843 0
/proc/121137/statm: 795388 649470 4480 2834 0 777593 0
Current children cumulated CPU time: 3213.37 s
Current children cumulated vsize: 3181552 KiB
Current children cumulated memory: 2597880 KiB

[startup+3282.3 s]
/proc/loadavg: 3.14 3.14 3.35 4/257 121480
/proc/meminfo: memFree=102745700/131249996 swapFree=33010416/33010684
[pid=121137] ppid=121134 vsize=3181552 memory=2597880 CPUtime=3273.22 cores=1,3
/proc/121137/stat : 121137 (mixed-bag) R 121134 121137 119440 0 -1 4194304 356333 0 0 0 325792 1530 0 0 20 0 1 0 142079570 3257909248 649470 18446744073709551615 4235264 15840557 140727717065776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24399872 140727717067162 140727717067239 140727717067239 140727717072843 0
/proc/121137/statm: 795388 649470 4480 2834 0 777593 0
Current children cumulated CPU time: 3273.22 s
Current children cumulated vsize: 3181552 KiB
Current children cumulated memory: 2597880 KiB

[startup+3342.3 s]
/proc/loadavg: 2.48 2.94 3.27 3/251 121498
/proc/meminfo: memFree=102735056/131249996 swapFree=33010416/33010684
[pid=121137] ppid=121134 vsize=3181552 memory=2597880 CPUtime=3333.04 cores=1,3
/proc/121137/stat : 121137 (mixed-bag) R 121134 121137 119440 0 -1 4194304 356333 0 0 0 331768 1536 0 0 20 0 1 0 142079570 3257909248 649470 18446744073709551615 4235264 15840557 140727717065776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24399872 140727717067162 140727717067239 140727717067239 140727717072843 0
/proc/121137/statm: 795388 649470 4480 2834 0 777593 0
Current children cumulated CPU time: 3333.04 s
Current children cumulated vsize: 3181552 KiB
Current children cumulated memory: 2597880 KiB

[startup+3402.3 s]
/proc/loadavg: 2.22 2.78 3.19 3/251 121500
/proc/meminfo: memFree=102708476/131249996 swapFree=33010416/33010684
[pid=121137] ppid=121134 vsize=3182136 memory=2622868 CPUtime=3392.85 cores=1,3
/proc/121137/stat : 121137 (mixed-bag) R 121134 121137 119440 0 -1 4194304 356489 0 0 0 337739 1546 0 0 20 0 1 0 142079570 3258507264 655717 18446744073709551615 4235264 15840557 140727717065776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24399872 140727717067162 140727717067239 140727717067239 140727717072843 0
/proc/121137/statm: 795534 655717 4480 2834 0 777739 0
Current children cumulated CPU time: 3392.85 s
Current children cumulated vsize: 3182136 KiB
Current children cumulated memory: 2622868 KiB

[startup+3462.3 s]
/proc/loadavg: 2.18 2.67 3.13 3/251 121502
/proc/meminfo: memFree=102710080/131249996 swapFree=33010416/33010684
[pid=121137] ppid=121134 vsize=3182136 memory=2622868 CPUtime=3452.67 cores=1,3
/proc/121137/stat : 121137 (mixed-bag) R 121134 121137 119440 0 -1 4194304 356489 0 0 0 343714 1553 0 0 20 0 1 0 142079570 3258507264 655717 18446744073709551615 4235264 15840557 140727717065776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24399872 140727717067162 140727717067239 140727717067239 140727717072843 0
/proc/121137/statm: 795534 655717 4480 2834 0 777739 0
Current children cumulated CPU time: 3452.67 s
Current children cumulated vsize: 3182136 KiB
Current children cumulated memory: 2622868 KiB

[startup+3522.3 s]
/proc/loadavg: 2.11 2.56 3.06 3/251 121504
/proc/meminfo: memFree=102701744/131249996 swapFree=33010416/33010684
[pid=121137] ppid=121134 vsize=3182392 memory=2639616 CPUtime=3512.49 cores=1,3
/proc/121137/stat : 121137 (mixed-bag) R 121134 121137 119440 0 -1 4194304 356569 0 0 0 349685 1564 0 0 20 0 1 0 142079570 3258769408 659904 18446744073709551615 4235264 15840557 140727717065776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24399872 140727717067162 140727717067239 140727717067239 140727717072843 0
/proc/121137/statm: 795598 659904 4480 2834 0 777803 0
Current children cumulated CPU time: 3512.49 s
Current children cumulated vsize: 3182392 KiB
Current children cumulated memory: 2639616 KiB

[startup+3582.3 s]
/proc/loadavg: 2.16 2.49 3.00 3/251 121507
/proc/meminfo: memFree=102702104/131249996 swapFree=33010416/33010684
[pid=121137] ppid=121134 vsize=3182392 memory=2639616 CPUtime=3572.3 cores=1,3
/proc/121137/stat : 121137 (mixed-bag) R 121134 121137 119440 0 -1 4194304 356569 0 0 0 355658 1572 0 0 20 0 1 0 142079570 3258769408 659904 18446744073709551615 4235264 15840557 140727717065776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24399872 140727717067162 140727717067239 140727717067239 140727717072843 0
/proc/121137/statm: 795598 659904 4480 2834 0 777803 0
Current children cumulated CPU time: 3572.3 s
Current children cumulated vsize: 3182392 KiB
Current children cumulated memory: 2639616 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 2.09 2.44 2.97 3/251 121509
/proc/meminfo: memFree=102703124/131249996 swapFree=33010416/33010684
[pid=121137] ppid=121134 vsize=3182392 memory=2639616 CPUtime=3600.02 cores=1,3
/proc/121137/stat : 121137 (mixed-bag) R 121134 121137 119440 0 -1 4194304 356569 0 0 0 358427 1575 0 0 20 0 1 0 142079570 3258769408 659904 18446744073709551615 4235264 15840557 140727717065776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24399872 140727717067162 140727717067239 140727717067239 140727717072843 0
/proc/121137/statm: 795598 659904 4480 2834 0 777803 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 3182392 KiB
Current children cumulated memory: 2639616 KiB

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

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

# cumulated CPU time of all completed processes:  user=3584.28 s, system=15.7715 s

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

[startup+3610.11 s]
/proc/loadavg: 2.09 2.44 2.97 3/251 121509
/proc/meminfo: memFree=102703124/131249996 swapFree=33010416/33010684
[pid=121137] ppid=121134 vsize=3182392 memory=2639616 CPUtime=3600.02 cores=1,3
/proc/121137/stat : 121137 (mixed-bag) R 121134 121137 119440 0 -1 4194304 356569 0 0 0 358427 1575 0 0 20 0 1 0 142079570 3258769408 659904 18446744073709551615 4235264 15840557 140727717065776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24399872 140727717067162 140727717067239 140727717067239 140727717072843 0
/proc/121137/statm: 795598 659904 4480 2834 0 777803 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 3182392 KiB
Current children cumulated memory: 2639616 KiB

Child status: 0

Real time (s): 3610.13
CPU time (s): 3600.05
CPU user time (s): 3584.28
CPU system time (s): 15.7715
CPU usage (%): 99.7208
Max. virtual memory (cumulated for all children) (KiB): 3182392
Max. memory (cumulated for all children) (KiB): 2639616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.28
system time used= 15.7715
maximum resident set size= 2640128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 356599
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= 386
involuntary context switches= 2046


# summary of solver processes directly reported to runsolver:
#   pid: 121137
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3584.28
#   total CPU system time (s): 15.7715

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.19083 second user time and 15.7856 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2025-07-11 22:00:18
IDJOB=4529323
IDBENCH=178115
IDSOLVER=3386
FILE ID=nodeC022/4529323-1752264018
RUNJOBID= nodeC022-1752256448-119452
SLURM_JOB_ID= 9682600
Free space on /tmp= 432044 MiB

SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_430.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529323-1752264018/watcher-4529323-1752264018 -o /tmp/evaluation-result-4529323-1752264018/solver-4529323-1752264018 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1752256448-119452 --watchdog 3760  mixed-bag HOME/instance-4529323-1752264018.opb

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

MD5SUM BENCH= b3bab28fe93ea42b1817acfaffdcfb3a
RANDOM SEED=1829568698

nodeC022 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		: 3599.708
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	: 6999.44
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		: 3601.101
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	: 6999.44
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.844
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	: 6999.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.881
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	: 6999.44
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.736
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	: 6999.44
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		: 3599.718
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	: 6999.44
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		: 3700.000
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	: 6999.44
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		: 3617.347
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	: 6999.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        112121676 kB
MemAvailable:   120274044 kB
Buffers:            2128 kB
Cached:          8900552 kB
SwapCached:           32 kB
Active:          9903140 kB
Inactive:        8243744 kB
Active(anon):    9260108 kB
Inactive(anon):     2124 kB
Active(file):     643032 kB
Inactive(file):  8241620 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15912 kB
Writeback:            48 kB
AnonPages:       9247268 kB
Mapped:           139976 kB
Shmem:             18028 kB
KReclaimable:     213512 kB
Slab:             308200 kB
SReclaimable:     213512 kB
SUnreclaim:        94688 kB
KernelStack:        4240 kB
PageTables:        21608 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   10526848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3008512 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:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432012 MiB
End job on nodeC022 at 2025-07-11 23:00:28