Trace number 4529111

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.09 3610.03

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/heinz/
normalized-methanosarcina.opb
MD5SUMe11b87324a00f3ba152132e9cc03d5bf
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 benchmark2723
Best CPU time to get the best result obtained on this benchmark3600.08
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7930
Total number of constraints14604
Number of constraints which are clauses14604
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 7302
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 7302
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 7302
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.05	c [STEP] preprocessing with Papilo
0.00/0.06	c Papilo could not simplify the problem
0.00/0.06	c [STEP] solving with SCIP
299.29/300.15	c [STEP] preprocessing done, loading into solver
299.29/300.17	c [STEP] solving
299.29/300.17	c #variables 7931 #constraints 14604
299.29/300.17	c SMALL=int, LARGE=long long
299.29/300.18	d SCIPUB 2981
299.29/300.18	c bounds - >= 0 @ 299.192
299.29/300.18	c stratification level: 0
300.39/301.26	c bounds - >= 1 @ 299.225
300.39/301.26	c bounds - >= 2 @ 299.229
300.39/301.26	c bounds - >= 3 @ 299.231
300.39/301.26	c bounds - >= 4 @ 299.232
300.39/301.26	c bounds - >= 5 @ 299.234
300.39/301.26	c bounds - >= 6 @ 299.238
300.39/301.26	c bounds - >= 7 @ 299.241
300.39/301.26	c bounds - >= 8 @ 299.243
300.39/301.26	c bounds - >= 9 @ 299.245
300.39/301.26	c bounds - >= 10 @ 299.248
300.39/301.26	c bounds - >= 11 @ 299.25
300.39/301.26	c bounds - >= 12 @ 299.253
300.39/301.26	c bounds - >= 13 @ 299.257
300.39/301.26	c bounds - >= 14 @ 299.259
300.39/301.26	c bounds - >= 15 @ 299.262
300.39/301.26	c bounds - >= 16 @ 299.265
300.39/301.26	c bounds - >= 17 @ 299.266
300.39/301.26	c bounds - >= 18 @ 299.27
300.39/301.26	c bounds - >= 19 @ 299.272
300.39/301.26	c bounds - >= 20 @ 299.273
300.39/301.26	c bounds - >= 21 @ 299.276
300.39/301.26	c bounds - >= 22 @ 299.278
300.39/301.26	c bounds - >= 23 @ 299.279
300.39/301.26	c bounds - >= 24 @ 299.281
300.39/301.26	c bounds - >= 25 @ 299.285
300.39/301.26	c bounds - >= 26 @ 299.287
300.39/301.26	c bounds - >= 27 @ 299.291
300.39/301.26	c bounds - >= 28 @ 299.294
300.39/301.26	c bounds - >= 29 @ 299.296
300.39/301.26	c bounds - >= 30 @ 299.299
300.39/301.26	c bounds - >= 31 @ 299.302
300.39/301.26	c bounds - >= 32 @ 299.305
300.39/301.26	c bounds - >= 33 @ 299.308
300.39/301.26	c bounds - >= 34 @ 299.312
300.39/301.26	c bounds - >= 35 @ 299.316
300.39/301.26	c bounds - >= 36 @ 299.32
300.39/301.26	c bounds - >= 37 @ 299.323
300.39/301.26	c bounds - >= 38 @ 299.326
300.39/301.26	c bounds - >= 39 @ 299.328
300.39/301.26	c bounds - >= 40 @ 299.329
300.39/301.26	c bounds - >= 41 @ 299.33
300.39/301.26	c bounds - >= 42 @ 299.334
300.39/301.26	c bounds - >= 43 @ 299.337
300.39/301.26	c bounds - >= 44 @ 299.34
300.39/301.26	c bounds - >= 45 @ 299.342
300.39/301.26	c bounds - >= 46 @ 299.346
300.39/301.26	c bounds - >= 47 @ 299.348
300.39/301.26	c bounds - >= 48 @ 299.353
300.39/301.26	c bounds - >= 49 @ 299.355
300.39/301.26	c bounds - >= 50 @ 299.356
300.39/301.26	c bounds - >= 51 @ 299.358
300.39/301.26	c bounds - >= 52 @ 299.361
300.39/301.26	c bounds - >= 53 @ 299.364
300.39/301.26	c bounds - >= 54 @ 299.366
300.39/301.26	c bounds - >= 55 @ 299.369
300.39/301.26	c bounds - >= 56 @ 299.372
300.39/301.26	c bounds - >= 57 @ 299.374
300.39/301.26	c bounds - >= 58 @ 299.375
300.39/301.26	c bounds - >= 59 @ 299.378
300.39/301.26	c bounds - >= 60 @ 299.382
300.39/301.26	c bounds - >= 61 @ 299.385
300.39/301.26	c bounds - >= 62 @ 299.388
300.39/301.26	c bounds - >= 63 @ 299.391
300.39/301.26	c bounds - >= 64 @ 299.395
300.39/301.26	c bounds - >= 65 @ 299.398
300.39/301.26	c bounds - >= 66 @ 299.4
300.39/301.26	c bounds - >= 67 @ 299.403
300.39/301.26	c bounds - >= 68 @ 299.406
300.39/301.26	c bounds - >= 69 @ 299.407
300.39/301.26	c bounds - >= 70 @ 299.41
300.39/301.26	c bounds - >= 71 @ 299.413
300.39/301.26	c bounds - >= 72 @ 299.415
300.39/301.26	c bounds - >= 73 @ 299.417
300.39/301.26	c bounds - >= 74 @ 299.419
300.39/301.26	c bounds - >= 75 @ 299.422
300.39/301.26	c bounds - >= 76 @ 299.424
300.39/301.26	c bounds - >= 77 @ 299.426
300.39/301.26	c bounds - >= 78 @ 299.428
300.39/301.26	c bounds - >= 79 @ 299.43
300.39/301.26	c bounds - >= 80 @ 299.432
300.39/301.26	c bounds - >= 81 @ 299.435
300.39/301.26	c bounds - >= 82 @ 299.437
300.39/301.26	c bounds - >= 83 @ 299.441
300.39/301.26	c bounds - >= 84 @ 299.445
300.39/301.26	c bounds - >= 85 @ 299.448
300.39/301.26	c bounds - >= 86 @ 299.45
300.39/301.26	c bounds - >= 87 @ 299.453
300.39/301.26	c bounds - >= 88 @ 299.456
300.39/301.26	c bounds - >= 89 @ 299.458
300.39/301.26	c bounds - >= 90 @ 299.459
300.39/301.26	c bounds - >= 91 @ 299.461
300.39/301.26	c bounds - >= 92 @ 299.464
300.39/301.26	c bounds - >= 93 @ 299.468
300.39/301.26	c bounds - >= 94 @ 299.472
300.39/301.26	c bounds - >= 95 @ 299.475
300.39/301.26	c bounds - >= 96 @ 299.476
300.39/301.26	c bounds - >= 97 @ 299.478
300.39/301.26	c bounds - >= 98 @ 299.482
300.39/301.26	c bounds - >= 99 @ 299.486
300.39/301.26	c bounds - >= 100 @ 299.486
300.39/301.26	c bounds - >= 101 @ 299.488
300.39/301.26	c bounds - >= 102 @ 299.493
300.39/301.26	c bounds - >= 103 @ 299.494
300.39/301.26	c bounds - >= 104 @ 299.496
300.39/301.26	c bounds - >= 105 @ 299.497
300.39/301.26	c bounds - >= 106 @ 299.498
300.39/301.26	c bounds - >= 107 @ 299.502
300.39/301.26	c bounds - >= 108 @ 299.505
300.39/301.26	c bounds - >= 109 @ 299.509
300.39/301.26	c bounds - >= 110 @ 299.513
300.39/301.26	c bounds - >= 111 @ 299.516
300.39/301.26	c bounds - >= 112 @ 299.519
300.39/301.26	c bounds - >= 113 @ 299.523
300.39/301.26	c bounds - >= 114 @ 299.524
300.39/301.26	c bounds - >= 115 @ 299.525
300.39/301.26	c bounds - >= 116 @ 299.529
300.39/301.26	c bounds - >= 117 @ 299.531
300.39/301.26	c bounds - >= 118 @ 299.534
300.39/301.26	c bounds - >= 119 @ 299.536
300.39/301.26	c bounds - >= 120 @ 299.539
300.39/301.26	c bounds - >= 121 @ 299.542
300.39/301.26	c bounds - >= 122 @ 299.544
300.39/301.26	c bounds - >= 123 @ 299.547
300.39/301.26	c bounds - >= 124 @ 299.551
300.39/301.26	c bounds - >= 125 @ 299.556
300.39/301.26	c bounds - >= 126 @ 299.557
300.39/301.26	c bounds - >= 127 @ 299.56
300.39/301.26	c bounds - >= 128 @ 299.562
300.39/301.26	c bounds - >= 129 @ 299.563
300.39/301.26	c bounds - >= 130 @ 299.565
300.39/301.26	c bounds - >= 131 @ 299.568
300.39/301.26	c bounds - >= 132 @ 299.569
300.39/301.26	c bounds - >= 133 @ 299.57
300.39/301.26	c bounds - >= 134 @ 299.571
300.39/301.26	c bounds - >= 135 @ 299.573
300.39/301.26	c bounds - >= 136 @ 299.575
300.39/301.26	c bounds - >= 137 @ 299.577
300.39/301.26	c bounds - >= 138 @ 299.58
300.39/301.26	c bounds - >= 139 @ 299.583
300.39/301.26	c bounds - >= 140 @ 299.585
300.39/301.26	c bounds - >= 141 @ 299.589
300.39/301.26	c bounds - >= 142 @ 299.592
300.39/301.26	c bounds - >= 143 @ 299.597
300.39/301.26	c bounds - >= 144 @ 299.598
300.39/301.26	c bounds - >= 145 @ 299.6
300.39/301.26	c bounds - >= 146 @ 299.601
300.39/301.26	c bounds - >= 147 @ 299.604
300.39/301.26	c bounds - >= 148 @ 299.607
300.39/301.26	c bounds - >= 149 @ 299.607
300.39/301.26	c bounds - >= 150 @ 299.609
300.39/301.26	c bounds - >= 151 @ 299.611
301.30/302.19	c bounds - >= 152 @ 299.613
301.30/302.19	c bounds - >= 153 @ 299.617
301.30/302.19	c bounds - >= 154 @ 299.618
301.30/302.19	c bounds - >= 155 @ 299.62
301.30/302.19	c bounds - >= 156 @ 299.625
301.30/302.19	c bounds - >= 157 @ 299.627
301.30/302.19	c bounds - >= 158 @ 299.629
301.30/302.19	c bounds - >= 159 @ 299.629
301.30/302.19	c bounds - >= 160 @ 299.634
301.30/302.19	c bounds - >= 161 @ 299.637
301.30/302.19	c bounds - >= 162 @ 299.638
301.30/302.19	c bounds - >= 163 @ 299.641
301.30/302.19	c bounds - >= 164 @ 299.643
301.30/302.19	c bounds - >= 165 @ 299.646
301.30/302.19	c bounds - >= 166 @ 299.648
301.30/302.19	c bounds - >= 167 @ 299.651
301.30/302.19	c bounds - >= 168 @ 299.652
301.30/302.19	c bounds - >= 169 @ 299.655
301.30/302.19	c bounds - >= 170 @ 299.657
301.30/302.19	c bounds - >= 171 @ 299.66
301.30/302.19	c bounds - >= 172 @ 299.661
301.30/302.19	c bounds - >= 173 @ 299.664
301.30/302.19	c bounds - >= 174 @ 299.667
301.30/302.19	c bounds - >= 175 @ 299.67
301.30/302.19	c bounds - >= 176 @ 299.674
301.30/302.19	c bounds - >= 177 @ 299.676
301.30/302.19	c bounds - >= 178 @ 299.677
301.30/302.19	c bounds - >= 179 @ 299.681
301.30/302.19	c bounds - >= 180 @ 299.682
301.30/302.19	c bounds - >= 181 @ 299.686
301.30/302.19	c bounds - >= 182 @ 299.689
301.30/302.19	c bounds - >= 183 @ 299.695
301.30/302.19	c bounds - >= 184 @ 299.695
301.30/302.19	c bounds - >= 185 @ 299.697
301.30/302.19	c bounds - >= 186 @ 299.698
301.30/302.19	c bounds - >= 187 @ 299.7
301.30/302.19	c bounds - >= 188 @ 299.703
301.30/302.19	c bounds - >= 189 @ 299.706
301.30/302.19	c bounds - >= 190 @ 299.706
301.30/302.19	c bounds - >= 191 @ 299.708
301.30/302.19	c bounds - >= 192 @ 299.71
301.30/302.19	c bounds - >= 193 @ 299.713
301.30/302.19	c bounds - >= 194 @ 299.714
301.30/302.19	c bounds - >= 195 @ 299.718
301.30/302.19	c bounds - >= 196 @ 299.722
301.30/302.19	c bounds - >= 197 @ 299.726
301.30/302.19	c bounds - >= 198 @ 299.727
301.30/302.19	c bounds - >= 199 @ 299.731
301.30/302.19	c bounds - >= 200 @ 299.734
301.30/302.19	c bounds - >= 201 @ 299.736
301.30/302.19	c bounds - >= 202 @ 299.74
301.30/302.19	c bounds - >= 203 @ 299.742
301.30/302.19	c bounds - >= 204 @ 299.747
301.30/302.19	c bounds - >= 205 @ 299.749
301.30/302.19	c bounds - >= 206 @ 299.753
301.30/302.19	c bounds - >= 207 @ 299.758
301.30/302.19	c bounds - >= 208 @ 299.761
301.30/302.19	c bounds - >= 209 @ 299.763
301.30/302.19	c bounds - >= 210 @ 299.766
301.30/302.19	c bounds - >= 211 @ 299.768
301.30/302.19	c bounds - >= 212 @ 299.768
301.30/302.19	c bounds - >= 213 @ 299.77
301.30/302.19	c bounds - >= 214 @ 299.77
301.30/302.19	c bounds - >= 215 @ 299.772
301.30/302.19	c bounds - >= 216 @ 299.774
301.30/302.19	c bounds - >= 217 @ 299.776
301.30/302.19	c bounds - >= 218 @ 299.777
301.30/302.19	c bounds - >= 219 @ 299.78
301.30/302.19	c bounds - >= 220 @ 299.782
301.30/302.19	c bounds - >= 221 @ 299.784
301.30/302.19	c bounds - >= 222 @ 299.786
301.30/302.19	c bounds - >= 223 @ 299.788
301.30/302.19	c bounds - >= 224 @ 299.792
301.30/302.19	c bounds - >= 225 @ 299.796
301.30/302.19	c bounds - >= 226 @ 299.796
301.30/302.19	c bounds - >= 227 @ 299.799
301.30/302.19	c bounds - >= 228 @ 299.801
301.30/302.19	c bounds - >= 229 @ 299.804
301.30/302.19	c bounds - >= 230 @ 299.806
301.30/302.19	c bounds - >= 231 @ 299.807
301.30/302.19	c bounds - >= 232 @ 299.807
301.30/302.19	c bounds - >= 233 @ 299.809
301.30/302.19	c bounds - >= 234 @ 299.81
301.30/302.19	c bounds - >= 235 @ 299.811
301.30/302.19	c bounds - >= 236 @ 299.814
301.30/302.19	c bounds - >= 237 @ 299.816
301.30/302.19	c bounds - >= 238 @ 299.817
301.30/302.19	c bounds - >= 239 @ 299.819
301.30/302.19	c bounds - >= 240 @ 299.821
301.30/302.19	c bounds - >= 241 @ 299.823
301.30/302.19	c bounds - >= 242 @ 299.826
301.30/302.19	c bounds - >= 243 @ 299.828
301.30/302.19	c bounds - >= 244 @ 299.829
301.30/302.19	c bounds - >= 245 @ 299.83
301.30/302.19	c bounds - >= 246 @ 299.833
301.30/302.19	c bounds - >= 247 @ 299.835
301.30/302.19	c bounds - >= 248 @ 299.836
301.30/302.19	c bounds - >= 249 @ 299.837
301.30/302.19	c bounds - >= 250 @ 299.84
301.30/302.19	c bounds - >= 251 @ 299.843
301.30/302.19	c bounds - >= 252 @ 299.845
301.30/302.19	c bounds - >= 253 @ 299.846
301.30/302.19	c bounds - >= 254 @ 299.848
301.30/302.19	c bounds - >= 255 @ 299.851
301.30/302.19	c bounds - >= 256 @ 299.853
301.30/302.19	c bounds - >= 257 @ 299.855
301.30/302.19	c bounds - >= 258 @ 299.857
301.30/302.19	c bounds - >= 259 @ 299.86
301.30/302.19	c bounds - >= 260 @ 299.861
301.30/302.19	c bounds - >= 261 @ 299.864
301.30/302.19	c bounds - >= 262 @ 299.867
301.30/302.19	c bounds - >= 263 @ 299.87
301.30/302.19	c bounds - >= 264 @ 299.871
301.30/302.19	c bounds - >= 265 @ 299.874
301.30/302.19	c bounds - >= 266 @ 299.875
301.30/302.19	c bounds - >= 267 @ 299.878
301.30/302.19	c bounds - >= 268 @ 299.88
301.30/302.19	c bounds - >= 269 @ 299.882
301.30/302.19	c bounds - >= 270 @ 299.884
301.30/302.19	c bounds - >= 271 @ 299.886
301.30/302.19	c bounds - >= 272 @ 299.888
301.30/302.19	c bounds - >= 273 @ 299.889
301.30/302.19	c bounds - >= 274 @ 299.891
301.30/302.19	c bounds - >= 275 @ 299.892
301.30/302.19	c bounds - >= 276 @ 299.894
301.30/302.19	c bounds - >= 277 @ 299.896
301.30/302.19	c bounds - >= 278 @ 299.899
301.30/302.19	c bounds - >= 279 @ 299.901
301.30/302.19	c bounds - >= 280 @ 299.903
301.30/302.19	c bounds - >= 281 @ 299.906
301.30/302.19	c bounds - >= 282 @ 299.907
301.30/302.19	c bounds - >= 283 @ 299.908
301.30/302.19	c bounds - >= 284 @ 299.911
301.30/302.19	c bounds - >= 285 @ 299.913
301.30/302.19	c bounds - >= 286 @ 299.915
301.30/302.19	c bounds - >= 287 @ 299.916
301.30/302.19	c bounds - >= 288 @ 299.917
301.30/302.19	c bounds - >= 289 @ 299.919
301.30/302.19	c bounds - >= 290 @ 299.921
301.30/302.19	c bounds - >= 291 @ 299.922
301.30/302.19	c bounds - >= 292 @ 299.923
301.30/302.19	c bounds - >= 293 @ 299.924
301.30/302.19	c bounds - >= 294 @ 299.928
301.30/302.19	c bounds - >= 295 @ 299.931
301.30/302.19	c bounds - >= 296 @ 299.933
301.30/302.19	c bounds - >= 297 @ 299.936
301.30/302.19	c bounds - >= 298 @ 299.939
302.20/303.03	c bounds - >= 299 @ 299.942
302.20/303.03	c bounds - >= 300 @ 299.944
302.20/303.03	c bounds - >= 301 @ 299.948
302.20/303.03	c bounds - >= 302 @ 299.95
302.20/303.03	c bounds - >= 303 @ 299.952
302.20/303.03	c bounds - >= 304 @ 299.955
302.20/303.03	c bounds - >= 305 @ 299.959
302.20/303.03	c bounds - >= 306 @ 299.96
302.20/303.03	c bounds - >= 307 @ 299.963
302.20/303.03	c bounds - >= 308 @ 299.965
302.20/303.03	c bounds - >= 309 @ 299.967
302.20/303.03	c bounds - >= 310 @ 299.97
302.20/303.03	c bounds - >= 311 @ 299.974
302.20/303.03	c bounds - >= 312 @ 299.977
302.20/303.03	c bounds - >= 313 @ 299.978
302.20/303.03	c bounds - >= 314 @ 299.983
302.20/303.03	c bounds - >= 315 @ 299.986
302.20/303.03	c bounds - >= 316 @ 299.988
302.20/303.03	c bounds - >= 317 @ 299.991
302.20/303.03	c bounds - >= 318 @ 299.992
302.20/303.03	c bounds - >= 319 @ 299.996
302.20/303.03	c bounds - >= 320 @ 299.998
302.20/303.03	c bounds - >= 321 @ 300
302.20/303.03	c bounds - >= 322 @ 300.001
302.20/303.03	c bounds - >= 323 @ 300.004
302.20/303.03	c bounds - >= 324 @ 300.005
302.20/303.03	c bounds - >= 325 @ 300.006
302.20/303.03	c bounds - >= 326 @ 300.009
302.20/303.03	c bounds - >= 327 @ 300.012
302.20/303.03	c bounds - >= 328 @ 300.014
302.20/303.03	c bounds - >= 329 @ 300.016
302.20/303.03	c bounds - >= 330 @ 300.017
302.20/303.03	c bounds - >= 331 @ 300.021
302.20/303.03	c bounds - >= 332 @ 300.024
302.20/303.03	c bounds - >= 333 @ 300.025
302.20/303.03	c bounds - >= 334 @ 300.027
302.20/303.03	c bounds - >= 335 @ 300.029
302.20/303.03	c bounds - >= 336 @ 300.032
302.20/303.03	c bounds - >= 337 @ 300.033
302.20/303.03	c bounds - >= 338 @ 300.034
302.20/303.03	c bounds - >= 339 @ 300.038
302.20/303.03	c bounds - >= 340 @ 300.041
302.20/303.03	c bounds - >= 341 @ 300.044
302.20/303.03	c bounds - >= 342 @ 300.045
302.20/303.03	c bounds - >= 343 @ 300.048
302.20/303.03	c bounds - >= 344 @ 300.052
302.20/303.03	c bounds - >= 345 @ 300.054
302.20/303.03	c bounds - >= 346 @ 300.057
302.20/303.03	c bounds - >= 347 @ 300.058
302.20/303.03	c bounds - >= 348 @ 300.06
302.20/303.03	c bounds - >= 349 @ 300.061
302.20/303.03	c bounds - >= 350 @ 300.064
302.20/303.03	c bounds - >= 351 @ 300.066
302.20/303.03	c bounds - >= 352 @ 300.067
302.20/303.03	c bounds - >= 353 @ 300.067
302.20/303.03	c bounds - >= 354 @ 300.069
302.20/303.03	c bounds - >= 355 @ 300.071
302.20/303.03	c bounds - >= 356 @ 300.073
302.20/303.03	c bounds - >= 357 @ 300.074
302.20/303.03	c bounds - >= 358 @ 300.075
302.20/303.03	c bounds - >= 359 @ 300.078
302.20/303.03	c bounds - >= 360 @ 300.081
302.20/303.03	c bounds - >= 361 @ 300.083
302.20/303.03	c bounds - >= 362 @ 300.087
302.20/303.03	c bounds - >= 363 @ 300.089
302.20/303.03	c bounds - >= 364 @ 300.092
302.20/303.03	c bounds - >= 365 @ 300.093
302.20/303.03	c bounds - >= 366 @ 300.094
302.20/303.03	c bounds - >= 367 @ 300.098
302.20/303.03	c bounds - >= 368 @ 300.099
302.20/303.03	c bounds - >= 369 @ 300.101
302.20/303.03	c bounds - >= 370 @ 300.103
302.20/303.03	c bounds - >= 371 @ 300.106
302.20/303.03	c bounds - >= 372 @ 300.108
302.20/303.03	c bounds - >= 373 @ 300.109
302.20/303.03	c bounds - >= 374 @ 300.111
302.20/303.03	c bounds - >= 375 @ 300.113
302.20/303.03	c bounds - >= 376 @ 300.114
302.20/303.03	c bounds - >= 377 @ 300.115
302.20/303.03	c bounds - >= 378 @ 300.116
302.20/303.03	c bounds - >= 379 @ 300.117
302.20/303.03	c bounds - >= 380 @ 300.12
302.20/303.03	c bounds - >= 381 @ 300.122
302.20/303.03	c bounds - >= 382 @ 300.124
302.20/303.03	c bounds - >= 383 @ 300.125
302.20/303.03	c bounds - >= 384 @ 300.127
302.20/303.03	c bounds - >= 385 @ 300.13
302.20/303.03	c bounds - >= 386 @ 300.133
302.20/303.03	c bounds - >= 387 @ 300.135
302.20/303.03	c bounds - >= 388 @ 300.138
302.20/303.03	c bounds - >= 389 @ 300.141
302.20/303.03	c bounds - >= 390 @ 300.142
302.20/303.03	c bounds - >= 391 @ 300.144
302.20/303.03	c bounds - >= 392 @ 300.146
302.20/303.03	c bounds - >= 393 @ 300.147
302.20/303.03	c bounds - >= 394 @ 300.149
302.20/303.03	c bounds - >= 395 @ 300.152
302.20/303.03	c bounds - >= 396 @ 300.152
302.20/303.03	c bounds - >= 397 @ 300.154
302.20/303.03	c bounds - >= 398 @ 300.156
302.20/303.03	c bounds - >= 399 @ 300.157
302.20/303.03	c bounds - >= 400 @ 300.158
302.20/303.03	c bounds - >= 401 @ 300.161
302.20/303.03	c bounds - >= 402 @ 300.163
302.20/303.03	c bounds - >= 403 @ 300.165
302.20/303.03	c bounds - >= 404 @ 300.165
302.20/303.03	c bounds - >= 405 @ 300.168
302.20/303.03	c bounds - >= 406 @ 300.171
302.20/303.03	c bounds - >= 407 @ 300.174
302.20/303.03	c bounds - >= 408 @ 300.174
302.20/303.03	c bounds - >= 409 @ 300.178
302.20/303.03	c bounds - >= 410 @ 300.18
302.20/303.03	c bounds - >= 411 @ 300.18
302.20/303.03	c bounds - >= 412 @ 300.182
302.20/303.03	c bounds - >= 413 @ 300.187
302.20/303.03	c bounds - >= 414 @ 300.191
302.20/303.03	c bounds - >= 415 @ 300.193
302.20/303.03	c bounds - >= 416 @ 300.197
302.20/303.03	c bounds - >= 417 @ 300.198
302.20/303.03	c bounds - >= 418 @ 300.199
302.20/303.03	c bounds - >= 419 @ 300.201
302.20/303.03	c bounds - >= 420 @ 300.203
302.20/303.03	c bounds - >= 421 @ 300.205
302.20/303.03	c bounds - >= 422 @ 300.207
302.20/303.03	c bounds - >= 423 @ 300.209
302.20/303.03	c bounds - >= 424 @ 300.215
302.20/303.03	c bounds - >= 425 @ 300.217
302.20/303.03	c bounds - >= 426 @ 300.217
302.20/303.03	c bounds - >= 427 @ 300.221
302.20/303.03	c bounds - >= 428 @ 300.222
302.20/303.03	c bounds - >= 429 @ 300.224
302.20/303.03	c bounds - >= 430 @ 300.226
302.20/303.03	c bounds - >= 431 @ 300.228
302.20/303.03	c bounds - >= 432 @ 300.23
302.20/303.03	c bounds - >= 433 @ 300.233
302.20/303.03	c bounds - >= 434 @ 300.234
302.20/303.03	c bounds - >= 435 @ 300.235
302.20/303.03	c bounds - >= 436 @ 300.239
302.20/303.03	c #Conflicts:       1000 | #Constraints:      16040
302.20/303.03	c bounds - >= 437 @ 300.241
302.20/303.03	c bounds - >= 438 @ 300.243
302.20/303.03	c bounds - >= 439 @ 300.244
302.20/303.03	c bounds - >= 440 @ 300.247
302.20/303.03	c bounds - >= 441 @ 300.249
302.20/303.03	c bounds - >= 442 @ 300.25
302.20/303.03	c bounds - >= 443 @ 300.251
302.98/303.81	c bounds - >= 444 @ 300.251
302.98/303.81	c bounds - >= 445 @ 300.254
302.98/303.81	c bounds - >= 446 @ 300.256
302.98/303.81	c bounds - >= 447 @ 300.257
302.98/303.81	c bounds - >= 448 @ 300.259
302.98/303.81	c bounds - >= 449 @ 300.259
302.98/303.81	c bounds - >= 450 @ 300.262
302.98/303.81	c bounds - >= 451 @ 300.264
302.98/303.81	c bounds - >= 452 @ 300.267
302.98/303.81	c bounds - >= 453 @ 300.27
302.98/303.81	c bounds - >= 454 @ 300.271
302.98/303.81	c bounds - >= 455 @ 300.273
302.98/303.81	c bounds - >= 456 @ 300.273
302.98/303.81	c bounds - >= 457 @ 300.275
302.98/303.81	c bounds - >= 458 @ 300.276
302.98/303.81	c bounds - >= 459 @ 300.278
302.98/303.81	c bounds - >= 460 @ 300.279
302.98/303.81	c bounds - >= 461 @ 300.28
302.98/303.81	c bounds - >= 462 @ 300.284
302.98/303.81	c bounds - >= 463 @ 300.289
302.98/303.81	c bounds - >= 464 @ 300.292
302.98/303.81	c bounds - >= 465 @ 300.293
302.98/303.81	c bounds - >= 466 @ 300.294
302.98/303.81	c bounds - >= 467 @ 300.296
302.98/303.81	c bounds - >= 468 @ 300.297
302.98/303.81	c bounds - >= 469 @ 300.3
302.98/303.81	c bounds - >= 470 @ 300.301
302.98/303.81	c bounds - >= 471 @ 300.304
302.98/303.81	c bounds - >= 472 @ 300.305
302.98/303.81	c bounds - >= 473 @ 300.307
302.98/303.81	c bounds - >= 474 @ 300.308
302.98/303.81	c bounds - >= 475 @ 300.31
302.98/303.81	c bounds - >= 476 @ 300.312
302.98/303.81	c bounds - >= 477 @ 300.315
302.98/303.81	c bounds - >= 478 @ 300.315
302.98/303.81	c bounds - >= 479 @ 300.318
302.98/303.81	c bounds - >= 480 @ 300.319
302.98/303.81	c bounds - >= 481 @ 300.323
302.98/303.81	c bounds - >= 482 @ 300.324
302.98/303.81	c bounds - >= 483 @ 300.326
302.98/303.81	c bounds - >= 484 @ 300.328
302.98/303.81	c bounds - >= 485 @ 300.329
302.98/303.81	c bounds - >= 486 @ 300.332
302.98/303.81	c bounds - >= 487 @ 300.333
302.98/303.81	c bounds - >= 488 @ 300.335
302.98/303.81	c bounds - >= 489 @ 300.338
302.98/303.81	c bounds - >= 490 @ 300.341
302.98/303.81	c bounds - >= 491 @ 300.343
302.98/303.81	c bounds - >= 492 @ 300.346
302.98/303.81	c bounds - >= 493 @ 300.347
302.98/303.81	c bounds - >= 494 @ 300.349
302.98/303.81	c bounds - >= 495 @ 300.35
302.98/303.81	c bounds - >= 496 @ 300.353
302.98/303.81	c bounds - >= 497 @ 300.355
302.98/303.81	c bounds - >= 498 @ 300.355
302.98/303.81	c bounds - >= 499 @ 300.357
302.98/303.81	c bounds - >= 500 @ 300.36
302.98/303.81	c bounds - >= 501 @ 300.363
302.98/303.81	c bounds - >= 502 @ 300.365
302.98/303.81	c bounds - >= 503 @ 300.369
302.98/303.81	c bounds - >= 504 @ 300.372
302.98/303.81	c bounds - >= 505 @ 300.374
302.98/303.81	c bounds - >= 506 @ 300.376
302.98/303.81	c bounds - >= 507 @ 300.378
302.98/303.81	c bounds - >= 508 @ 300.381
302.98/303.81	c bounds - >= 509 @ 300.384
302.98/303.81	c bounds - >= 510 @ 300.386
302.98/303.81	c bounds - >= 511 @ 300.389
302.98/303.81	c bounds - >= 512 @ 300.39
302.98/303.81	c bounds - >= 513 @ 300.392
302.98/303.81	c bounds - >= 514 @ 300.393
302.98/303.81	c bounds - >= 515 @ 300.394
302.98/303.81	c bounds - >= 516 @ 300.397
302.98/303.81	c bounds - >= 517 @ 300.398
302.98/303.81	c bounds - >= 518 @ 300.399
302.98/303.81	c bounds - >= 519 @ 300.401
302.98/303.81	c bounds - >= 520 @ 300.405
302.98/303.81	c bounds - >= 521 @ 300.406
302.98/303.81	c bounds - >= 522 @ 300.406
302.98/303.81	c bounds - >= 523 @ 300.408
302.98/303.81	c bounds - >= 524 @ 300.409
302.98/303.81	c bounds - >= 525 @ 300.41
302.98/303.81	c bounds - >= 526 @ 300.413
302.98/303.81	c bounds - >= 527 @ 300.416
302.98/303.81	c bounds - >= 528 @ 300.419
302.98/303.81	c bounds - >= 529 @ 300.422
302.98/303.81	c bounds - >= 530 @ 300.424
302.98/303.81	c bounds - >= 531 @ 300.426
302.98/303.81	c bounds - >= 532 @ 300.43
302.98/303.81	c bounds - >= 533 @ 300.431
302.98/303.81	c bounds - >= 534 @ 300.433
302.98/303.81	c bounds - >= 535 @ 300.434
302.98/303.81	c bounds - >= 536 @ 300.437
302.98/303.81	c bounds - >= 537 @ 300.441
302.98/303.81	c bounds - >= 538 @ 300.443
302.98/303.81	c bounds - >= 539 @ 300.445
302.98/303.81	c bounds - >= 540 @ 300.446
302.98/303.81	c bounds - >= 541 @ 300.447
302.98/303.81	c bounds - >= 542 @ 300.448
302.98/303.81	c bounds - >= 543 @ 300.451
302.98/303.81	c bounds - >= 544 @ 300.454
302.98/303.81	c bounds - >= 545 @ 300.457
302.98/303.81	c bounds - >= 546 @ 300.458
302.98/303.81	c bounds - >= 547 @ 300.46
302.98/303.81	c bounds - >= 548 @ 300.463
302.98/303.81	c bounds - >= 549 @ 300.465
302.98/303.81	c bounds - >= 550 @ 300.468
302.98/303.81	c bounds - >= 551 @ 300.47
302.98/303.81	c bounds - >= 552 @ 300.472
302.98/303.81	c bounds - >= 553 @ 300.473
302.98/303.81	c bounds - >= 554 @ 300.474
302.98/303.81	c bounds - >= 555 @ 300.477
302.98/303.81	c bounds - >= 556 @ 300.478
302.98/303.81	c bounds - >= 557 @ 300.48
302.98/303.81	c bounds - >= 558 @ 300.482
302.98/303.81	c bounds - >= 559 @ 300.483
302.98/303.81	c bounds - >= 560 @ 300.484
302.98/303.81	c bounds - >= 561 @ 300.487
302.98/303.81	c bounds - >= 562 @ 300.489
302.98/303.81	c bounds - >= 563 @ 300.49
302.98/303.81	c bounds - >= 564 @ 300.491
302.98/303.81	c bounds - >= 565 @ 300.492
302.98/303.81	c bounds - >= 566 @ 300.493
302.98/303.81	c bounds - >= 567 @ 300.496
302.98/303.81	c bounds - >= 568 @ 300.499
302.98/303.81	c bounds - >= 569 @ 300.501
302.98/303.81	c bounds - >= 570 @ 300.503
302.98/303.81	c bounds - >= 571 @ 300.504
302.98/303.81	c bounds - >= 572 @ 300.504
302.98/303.81	c bounds - >= 573 @ 300.506
302.98/303.81	c bounds - >= 574 @ 300.507
302.98/303.81	c bounds - >= 575 @ 300.508
302.98/303.81	c bounds - >= 576 @ 300.511
302.98/303.81	c bounds - >= 577 @ 300.511
302.98/303.81	c bounds - >= 578 @ 300.512
302.98/303.81	c bounds - >= 579 @ 300.515
302.98/303.81	c bounds - >= 580 @ 300.515
302.98/303.81	c bounds - >= 581 @ 300.516
302.98/303.81	c bounds - >= 582 @ 300.517
302.98/303.81	c bounds - >= 583 @ 300.519
302.98/303.81	c bounds - >= 584 @ 300.522
302.98/303.81	c bounds - >= 585 @ 300.523
302.98/303.81	c bounds - >= 586 @ 300.525
302.98/303.81	c bounds - >= 587 @ 300.526
302.98/303.81	c bounds - >= 588 @ 300.527
302.98/303.81	c bounds - >= 589 @ 300.528
302.98/303.81	c bounds - >= 590 @ 300.531
303.59/304.49	c bounds - >= 591 @ 300.532
303.59/304.49	c bounds - >= 592 @ 300.533
303.59/304.49	c bounds - >= 593 @ 300.535
303.59/304.49	c bounds - >= 594 @ 300.536
303.59/304.49	c bounds - >= 595 @ 300.537
303.59/304.49	c bounds - >= 596 @ 300.539
303.59/304.49	c bounds - >= 597 @ 300.541
303.59/304.49	c bounds - >= 598 @ 300.542
303.59/304.49	c bounds - >= 599 @ 300.544
303.59/304.49	c bounds - >= 600 @ 300.545
303.59/304.49	c bounds - >= 601 @ 300.546
303.59/304.49	c bounds - >= 602 @ 300.548
303.59/304.49	c bounds - >= 603 @ 300.55
303.59/304.49	c bounds - >= 604 @ 300.552
303.59/304.49	c bounds - >= 605 @ 300.553
303.59/304.49	c bounds - >= 606 @ 300.555
303.59/304.49	c bounds - >= 607 @ 300.557
303.59/304.49	c bounds - >= 608 @ 300.56
303.59/304.49	c bounds - >= 609 @ 300.563
303.59/304.49	c bounds - >= 610 @ 300.563
303.59/304.49	c bounds - >= 611 @ 300.564
303.59/304.49	c bounds - >= 612 @ 300.565
303.59/304.49	c bounds - >= 613 @ 300.568
303.59/304.49	c bounds - >= 614 @ 300.569
303.59/304.49	c bounds - >= 615 @ 300.571
303.59/304.49	c bounds - >= 616 @ 300.574
303.59/304.49	c bounds - >= 617 @ 300.576
303.59/304.49	c bounds - >= 618 @ 300.577
303.59/304.49	c bounds - >= 619 @ 300.578
303.59/304.49	c bounds - >= 620 @ 300.579
303.59/304.49	c bounds - >= 621 @ 300.581
303.59/304.49	c bounds - >= 622 @ 300.584
303.59/304.49	c bounds - >= 623 @ 300.585
303.59/304.49	c bounds - >= 624 @ 300.587
303.59/304.49	c bounds - >= 625 @ 300.589
303.59/304.49	c bounds - >= 626 @ 300.59
303.59/304.49	c bounds - >= 627 @ 300.593
303.59/304.49	c bounds - >= 628 @ 300.595
303.59/304.49	c bounds - >= 629 @ 300.597
303.59/304.49	c bounds - >= 630 @ 300.598
303.59/304.49	c bounds - >= 631 @ 300.6
303.59/304.49	c bounds - >= 632 @ 300.6
303.59/304.49	c bounds - >= 633 @ 300.601
303.59/304.49	c bounds - >= 634 @ 300.604
303.59/304.49	c bounds - >= 635 @ 300.605
303.59/304.49	c bounds - >= 636 @ 300.608
303.59/304.49	c bounds - >= 637 @ 300.61
303.59/304.49	c bounds - >= 638 @ 300.611
303.59/304.49	c bounds - >= 639 @ 300.613
303.59/304.49	c bounds - >= 640 @ 300.615
303.59/304.49	c bounds - >= 641 @ 300.617
303.59/304.49	c bounds - >= 642 @ 300.619
303.59/304.49	c bounds - >= 643 @ 300.621
303.59/304.49	c bounds - >= 644 @ 300.622
303.59/304.49	c bounds - >= 645 @ 300.623
303.59/304.49	c bounds - >= 646 @ 300.625
303.59/304.49	c bounds - >= 647 @ 300.627
303.59/304.49	c bounds - >= 648 @ 300.628
303.59/304.49	c bounds - >= 649 @ 300.629
303.59/304.49	c bounds - >= 650 @ 300.632
303.59/304.49	c bounds - >= 651 @ 300.635
303.59/304.49	c bounds - >= 652 @ 300.636
303.59/304.49	c bounds - >= 653 @ 300.637
303.59/304.49	c bounds - >= 654 @ 300.64
303.59/304.49	c bounds - >= 655 @ 300.64
303.59/304.49	c bounds - >= 656 @ 300.643
303.59/304.49	c bounds - >= 657 @ 300.644
303.59/304.49	c bounds - >= 658 @ 300.645
303.59/304.49	c bounds - >= 659 @ 300.648
303.59/304.49	c bounds - >= 660 @ 300.651
303.59/304.49	c bounds - >= 661 @ 300.652
303.59/304.49	c bounds - >= 662 @ 300.654
303.59/304.49	c bounds - >= 663 @ 300.655
303.59/304.49	c bounds - >= 664 @ 300.657
303.59/304.49	c bounds - >= 665 @ 300.659
303.59/304.49	c bounds - >= 666 @ 300.661
303.59/304.49	c bounds - >= 667 @ 300.662
303.59/304.49	c bounds - >= 668 @ 300.665
303.59/304.49	c bounds - >= 669 @ 300.666
303.59/304.49	c bounds - >= 670 @ 300.669
303.59/304.49	c bounds - >= 671 @ 300.67
303.59/304.49	c bounds - >= 672 @ 300.673
303.59/304.49	c bounds - >= 673 @ 300.675
303.59/304.49	c bounds - >= 674 @ 300.675
303.59/304.49	c bounds - >= 675 @ 300.678
303.59/304.49	c bounds - >= 676 @ 300.68
303.59/304.49	c bounds - >= 677 @ 300.681
303.59/304.49	c bounds - >= 678 @ 300.683
303.59/304.49	c bounds - >= 679 @ 300.683
303.59/304.49	c bounds - >= 680 @ 300.686
303.59/304.49	c bounds - >= 681 @ 300.687
303.59/304.49	c bounds - >= 682 @ 300.691
303.59/304.49	c bounds - >= 683 @ 300.692
303.59/304.49	c bounds - >= 684 @ 300.696
303.59/304.49	c bounds - >= 685 @ 300.697
303.59/304.49	c bounds - >= 686 @ 300.699
303.59/304.49	c bounds - >= 687 @ 300.7
303.59/304.49	c bounds - >= 688 @ 300.703
303.59/304.49	c bounds - >= 689 @ 300.705
303.59/304.49	c bounds - >= 690 @ 300.706
303.59/304.49	c bounds - >= 691 @ 300.707
303.59/304.49	c bounds - >= 692 @ 300.71
303.59/304.49	c bounds - >= 693 @ 300.711
303.59/304.49	c bounds - >= 694 @ 300.713
303.59/304.49	c bounds - >= 695 @ 300.713
303.59/304.49	c bounds - >= 696 @ 300.716
303.59/304.49	c bounds - >= 697 @ 300.716
303.59/304.49	c bounds - >= 698 @ 300.718
303.59/304.49	c bounds - >= 699 @ 300.718
303.59/304.49	c bounds - >= 700 @ 300.72
303.59/304.49	c bounds - >= 701 @ 300.722
303.59/304.49	c bounds - >= 702 @ 300.724
303.59/304.49	c bounds - >= 703 @ 300.727
303.59/304.49	c bounds - >= 704 @ 300.728
303.59/304.49	c bounds - >= 705 @ 300.732
303.59/304.49	c bounds - >= 706 @ 300.734
303.59/304.49	c bounds - >= 707 @ 300.736
303.59/304.49	c bounds - >= 708 @ 300.739
303.59/304.49	c bounds - >= 709 @ 300.74
303.59/304.49	c bounds - >= 710 @ 300.74
303.59/304.49	c bounds - >= 711 @ 300.743
303.59/304.49	c bounds - >= 712 @ 300.745
303.59/304.49	c bounds - >= 713 @ 300.746
303.59/304.49	c bounds - >= 714 @ 300.749
303.59/304.49	c bounds - >= 715 @ 300.751
303.59/304.49	c bounds - >= 716 @ 300.752
303.59/304.49	c bounds - >= 717 @ 300.754
303.59/304.49	c bounds - >= 718 @ 300.754
303.59/304.49	c bounds - >= 719 @ 300.755
303.59/304.49	c bounds - >= 720 @ 300.757
303.59/304.49	c bounds - >= 721 @ 300.758
303.59/304.49	c bounds - >= 722 @ 300.759
303.59/304.49	c bounds - >= 723 @ 300.762
303.59/304.49	c bounds - >= 724 @ 300.762
303.59/304.49	c bounds - >= 725 @ 300.764
303.59/304.49	c bounds - >= 726 @ 300.767
303.59/304.49	c bounds - >= 727 @ 300.768
303.59/304.49	c bounds - >= 728 @ 300.768
303.59/304.49	c bounds - >= 729 @ 300.77
303.59/304.49	c bounds - >= 730 @ 300.773
303.59/304.49	c bounds - >= 731 @ 300.774
303.59/304.49	c bounds - >= 732 @ 300.776
303.59/304.49	c bounds - >= 733 @ 300.778
303.59/304.49	c bounds - >= 734 @ 300.78
303.59/304.49	c bounds - >= 735 @ 300.782
303.59/304.49	c bounds - >= 736 @ 300.783
303.59/304.49	c bounds - >= 737 @ 300.784
304.18/305.06	c bounds - >= 738 @ 300.786
304.18/305.06	c bounds - >= 739 @ 300.788
304.18/305.06	c bounds - >= 740 @ 300.788
304.18/305.06	c bounds - >= 741 @ 300.792
304.18/305.06	c bounds - >= 742 @ 300.793
304.18/305.06	c bounds - >= 743 @ 300.794
304.18/305.06	c bounds - >= 744 @ 300.795
304.18/305.06	c bounds - >= 745 @ 300.796
304.18/305.06	c bounds - >= 746 @ 300.798
304.18/305.06	c bounds - >= 747 @ 300.8
304.18/305.06	c bounds - >= 748 @ 300.801
304.18/305.06	c bounds - >= 749 @ 300.802
304.18/305.06	c bounds - >= 750 @ 300.804
304.18/305.06	c bounds - >= 751 @ 300.806
304.18/305.06	c bounds - >= 752 @ 300.807
304.18/305.06	c bounds - >= 753 @ 300.81
304.18/305.06	c bounds - >= 754 @ 300.812
304.18/305.06	c bounds - >= 755 @ 300.813
304.18/305.06	c bounds - >= 756 @ 300.815
304.18/305.06	c bounds - >= 757 @ 300.816
304.18/305.06	c bounds - >= 758 @ 300.817
304.18/305.06	c bounds - >= 759 @ 300.818
304.18/305.06	c bounds - >= 760 @ 300.82
304.18/305.06	c bounds - >= 761 @ 300.823
304.18/305.06	c bounds - >= 762 @ 300.825
304.18/305.06	c bounds - >= 763 @ 300.827
304.18/305.06	c bounds - >= 764 @ 300.83
304.18/305.06	c bounds - >= 765 @ 300.832
304.18/305.06	c bounds - >= 766 @ 300.834
304.18/305.06	c bounds - >= 767 @ 300.834
304.18/305.06	c bounds - >= 768 @ 300.836
304.18/305.06	c bounds - >= 769 @ 300.837
304.18/305.06	c bounds - >= 770 @ 300.838
304.18/305.06	c bounds - >= 771 @ 300.839
304.18/305.06	c bounds - >= 772 @ 300.839
304.18/305.06	c bounds - >= 773 @ 300.84
304.18/305.06	c bounds - >= 774 @ 300.844
304.18/305.06	c bounds - >= 775 @ 300.845
304.18/305.06	c bounds - >= 776 @ 300.846
304.18/305.06	c bounds - >= 777 @ 300.848
304.18/305.06	c bounds - >= 778 @ 300.85
304.18/305.06	c bounds - >= 779 @ 300.851
304.18/305.06	c bounds - >= 780 @ 300.852
304.18/305.06	c bounds - >= 781 @ 300.855
304.18/305.06	c bounds - >= 782 @ 300.856
304.18/305.06	c bounds - >= 783 @ 300.858
304.18/305.06	c bounds - >= 784 @ 300.858
304.18/305.06	c bounds - >= 785 @ 300.86
304.18/305.06	c bounds - >= 786 @ 300.862
304.18/305.06	c bounds - >= 787 @ 300.863
304.18/305.06	c bounds - >= 788 @ 300.865
304.18/305.06	c bounds - >= 789 @ 300.867
304.18/305.06	c bounds - >= 790 @ 300.868
304.18/305.06	c bounds - >= 791 @ 300.87
304.18/305.06	c bounds - >= 792 @ 300.872
304.18/305.06	c bounds - >= 793 @ 300.874
304.18/305.06	c bounds - >= 794 @ 300.875
304.18/305.06	c bounds - >= 795 @ 300.876
304.18/305.06	c bounds - >= 796 @ 300.877
304.18/305.06	c bounds - >= 797 @ 300.879
304.18/305.06	c bounds - >= 798 @ 300.88
304.18/305.06	c bounds - >= 799 @ 300.88
304.18/305.06	c bounds - >= 800 @ 300.88
304.18/305.06	c bounds - >= 801 @ 300.882
304.18/305.06	c bounds - >= 802 @ 300.885
304.18/305.06	c bounds - >= 803 @ 300.887
304.18/305.06	c bounds - >= 804 @ 300.888
304.18/305.06	c bounds - >= 805 @ 300.89
304.18/305.06	c bounds - >= 806 @ 300.891
304.18/305.06	c bounds - >= 807 @ 300.894
304.18/305.06	c bounds - >= 808 @ 300.895
304.18/305.06	c bounds - >= 809 @ 300.896
304.18/305.06	c bounds - >= 810 @ 300.896
304.18/305.06	c bounds - >= 811 @ 300.896
304.18/305.06	c bounds - >= 812 @ 300.897
304.18/305.06	c bounds - >= 813 @ 300.897
304.18/305.06	c bounds - >= 814 @ 300.899
304.18/305.06	c bounds - >= 815 @ 300.9
304.18/305.06	c bounds - >= 816 @ 300.901
304.18/305.06	c bounds - >= 817 @ 300.902
304.18/305.06	c bounds - >= 818 @ 300.903
304.18/305.06	c bounds - >= 819 @ 300.904
304.18/305.06	c bounds - >= 820 @ 300.908
304.18/305.06	c bounds - >= 821 @ 300.909
304.18/305.06	c bounds - >= 822 @ 300.911
304.18/305.06	c bounds - >= 823 @ 300.914
304.18/305.06	c bounds - >= 824 @ 300.916
304.18/305.06	c bounds - >= 825 @ 300.917
304.18/305.06	c bounds - >= 826 @ 300.92
304.18/305.06	c bounds - >= 827 @ 300.921
304.18/305.06	c bounds - >= 828 @ 300.924
304.18/305.06	c bounds - >= 829 @ 300.925
304.18/305.06	c bounds - >= 830 @ 300.926
304.18/305.06	c bounds - >= 831 @ 300.927
304.18/305.06	c bounds - >= 832 @ 300.927
304.18/305.06	c bounds - >= 833 @ 300.928
304.18/305.06	c bounds - >= 834 @ 300.931
304.18/305.06	c bounds - >= 835 @ 300.933
304.18/305.06	c bounds - >= 836 @ 300.933
304.18/305.06	c bounds - >= 837 @ 300.935
304.18/305.06	c bounds - >= 838 @ 300.937
304.18/305.06	c bounds - >= 839 @ 300.94
304.18/305.06	c bounds - >= 840 @ 300.941
304.18/305.06	c bounds - >= 841 @ 300.944
304.18/305.06	c bounds - >= 842 @ 300.946
304.18/305.06	c bounds - >= 843 @ 300.947
304.18/305.06	c bounds - >= 844 @ 300.949
304.18/305.06	c bounds - >= 845 @ 300.949
304.18/305.06	c bounds - >= 846 @ 300.95
304.18/305.06	c bounds - >= 847 @ 300.952
304.18/305.06	c bounds - >= 848 @ 300.954
304.18/305.06	c bounds - >= 849 @ 300.956
304.18/305.06	c bounds - >= 850 @ 300.957
304.18/305.06	c bounds - >= 851 @ 300.958
304.18/305.06	c bounds - >= 852 @ 300.96
304.18/305.06	c bounds - >= 853 @ 300.961
304.18/305.06	c bounds - >= 854 @ 300.961
304.18/305.06	c bounds - >= 855 @ 300.962
304.18/305.06	c bounds - >= 856 @ 300.963
304.18/305.06	c bounds - >= 857 @ 300.966
304.18/305.06	c bounds - >= 858 @ 300.968
304.18/305.06	c bounds - >= 859 @ 300.969
304.18/305.06	c bounds - >= 860 @ 300.97
304.18/305.06	c bounds - >= 861 @ 300.972
304.18/305.06	c bounds - >= 862 @ 300.972
304.18/305.06	c bounds - >= 863 @ 300.974
304.18/305.06	c bounds - >= 864 @ 300.975
304.18/305.06	c bounds - >= 865 @ 300.977
304.18/305.06	c bounds - >= 866 @ 300.977
304.18/305.06	c bounds - >= 867 @ 300.979
304.18/305.06	c bounds - >= 868 @ 300.982
304.18/305.06	c bounds - >= 869 @ 300.983
304.18/305.06	c bounds - >= 870 @ 300.986
304.18/305.06	c bounds - >= 871 @ 300.988
304.18/305.06	c bounds - >= 872 @ 300.988
304.18/305.06	c bounds - >= 873 @ 300.991
304.18/305.06	c bounds - >= 874 @ 300.992
304.18/305.06	c bounds - >= 875 @ 300.995
304.18/305.06	c #Conflicts:       2000 | #Constraints:      17479
304.18/305.06	c INPROCESSING
304.18/305.06	c GARBAGE COLLECT
304.18/305.06	c bounds - >= 876 @ 301.002
304.18/305.06	c bounds - >= 877 @ 301.002
304.18/305.06	c bounds - >= 878 @ 301.005
304.18/305.06	c bounds - >= 879 @ 301.007
304.18/305.06	c bounds - >= 880 @ 301.007
304.18/305.06	c bounds - >= 881 @ 301.009
304.68/305.55	c bounds - >= 882 @ 301.011
304.68/305.55	c bounds - >= 883 @ 301.012
304.68/305.55	c bounds - >= 884 @ 301.013
304.68/305.55	c bounds - >= 885 @ 301.015
304.68/305.55	c bounds - >= 886 @ 301.017
304.68/305.55	c bounds - >= 887 @ 301.018
304.68/305.55	c bounds - >= 888 @ 301.019
304.68/305.55	c bounds - >= 889 @ 301.022
304.68/305.55	c bounds - >= 890 @ 301.023
304.68/305.55	c bounds - >= 891 @ 301.024
304.68/305.55	c bounds - >= 892 @ 301.026
304.68/305.55	c bounds - >= 893 @ 301.027
304.68/305.55	c bounds - >= 894 @ 301.028
304.68/305.55	c bounds - >= 895 @ 301.031
304.68/305.55	c bounds - >= 896 @ 301.031
304.68/305.55	c bounds - >= 897 @ 301.033
304.68/305.55	c bounds - >= 898 @ 301.033
304.68/305.55	c bounds - >= 899 @ 301.036
304.68/305.55	c bounds - >= 900 @ 301.038
304.68/305.55	c bounds - >= 901 @ 301.038
304.68/305.55	c bounds - >= 902 @ 301.039
304.68/305.55	c bounds - >= 903 @ 301.04
304.68/305.55	c bounds - >= 904 @ 301.042
304.68/305.55	c bounds - >= 905 @ 301.044
304.68/305.55	c bounds - >= 906 @ 301.045
304.68/305.55	c bounds - >= 907 @ 301.047
304.68/305.55	c bounds - >= 908 @ 301.047
304.68/305.55	c bounds - >= 909 @ 301.049
304.68/305.55	c bounds - >= 910 @ 301.049
304.68/305.55	c bounds - >= 911 @ 301.052
304.68/305.55	c bounds - >= 912 @ 301.054
304.68/305.55	c bounds - >= 913 @ 301.054
304.68/305.55	c bounds - >= 914 @ 301.056
304.68/305.55	c bounds - >= 915 @ 301.058
304.68/305.55	c bounds - >= 916 @ 301.061
304.68/305.55	c bounds - >= 917 @ 301.061
304.68/305.55	c bounds - >= 918 @ 301.063
304.68/305.55	c bounds - >= 919 @ 301.064
304.68/305.55	c bounds - >= 920 @ 301.065
304.68/305.55	c bounds - >= 921 @ 301.067
304.68/305.55	c bounds - >= 922 @ 301.069
304.68/305.55	c bounds - >= 923 @ 301.07
304.68/305.55	c bounds - >= 924 @ 301.072
304.68/305.55	c bounds - >= 925 @ 301.074
304.68/305.55	c bounds - >= 926 @ 301.075
304.68/305.55	c bounds - >= 927 @ 301.077
304.68/305.55	c bounds - >= 928 @ 301.079
304.68/305.55	c bounds - >= 929 @ 301.08
304.68/305.55	c bounds - >= 930 @ 301.082
304.68/305.55	c bounds - >= 931 @ 301.085
304.68/305.55	c bounds - >= 932 @ 301.086
304.68/305.55	c bounds - >= 933 @ 301.087
304.68/305.55	c bounds - >= 934 @ 301.089
304.68/305.55	c bounds - >= 935 @ 301.091
304.68/305.55	c bounds - >= 936 @ 301.093
304.68/305.55	c bounds - >= 937 @ 301.096
304.68/305.55	c bounds - >= 938 @ 301.097
304.68/305.55	c bounds - >= 939 @ 301.098
304.68/305.55	c bounds - >= 940 @ 301.1
304.68/305.55	c bounds - >= 941 @ 301.102
304.68/305.55	c bounds - >= 942 @ 301.103
304.68/305.55	c bounds - >= 943 @ 301.105
304.68/305.55	c bounds - >= 944 @ 301.107
304.68/305.55	c bounds - >= 945 @ 301.109
304.68/305.55	c bounds - >= 946 @ 301.109
304.68/305.55	c bounds - >= 947 @ 301.112
304.68/305.55	c bounds - >= 948 @ 301.114
304.68/305.55	c bounds - >= 949 @ 301.115
304.68/305.55	c bounds - >= 950 @ 301.116
304.68/305.55	c bounds - >= 951 @ 301.117
304.68/305.55	c bounds - >= 952 @ 301.118
304.68/305.55	c bounds - >= 953 @ 301.12
304.68/305.55	c bounds - >= 954 @ 301.122
304.68/305.55	c bounds - >= 955 @ 301.126
304.68/305.55	c bounds - >= 956 @ 301.127
304.68/305.55	c bounds - >= 957 @ 301.128
304.68/305.55	c bounds - >= 958 @ 301.129
304.68/305.55	c bounds - >= 959 @ 301.131
304.68/305.55	c bounds - >= 960 @ 301.134
304.68/305.55	c bounds - >= 961 @ 301.137
304.68/305.55	c bounds - >= 962 @ 301.137
304.68/305.55	c bounds - >= 963 @ 301.138
304.68/305.55	c bounds - >= 964 @ 301.14
304.68/305.55	c bounds - >= 965 @ 301.141
304.68/305.55	c bounds - >= 966 @ 301.142
304.68/305.55	c bounds - >= 967 @ 301.144
304.68/305.55	c bounds - >= 968 @ 301.144
304.68/305.55	c bounds - >= 969 @ 301.146
304.68/305.55	c bounds - >= 970 @ 301.148
304.68/305.55	c bounds - >= 971 @ 301.15
304.68/305.55	c bounds - >= 972 @ 301.151
304.68/305.55	c bounds - >= 973 @ 301.153
304.68/305.55	c bounds - >= 974 @ 301.154
304.68/305.55	c bounds - >= 975 @ 301.154
304.68/305.55	c bounds - >= 976 @ 301.156
304.68/305.55	c bounds - >= 977 @ 301.157
304.68/305.55	c bounds - >= 978 @ 301.158
304.68/305.55	c bounds - >= 979 @ 301.158
304.68/305.55	c bounds - >= 980 @ 301.159
304.68/305.55	c bounds - >= 981 @ 301.16
304.68/305.55	c bounds - >= 982 @ 301.161
304.68/305.55	c bounds - >= 983 @ 301.162
304.68/305.55	c bounds - >= 984 @ 301.163
304.68/305.55	c bounds - >= 985 @ 301.164
304.68/305.55	c bounds - >= 986 @ 301.165
304.68/305.55	c bounds - >= 987 @ 301.166
304.68/305.55	c bounds - >= 988 @ 301.167
304.68/305.55	c bounds - >= 989 @ 301.168
304.68/305.55	c bounds - >= 990 @ 301.171
304.68/305.55	c bounds - >= 991 @ 301.173
304.68/305.55	c bounds - >= 992 @ 301.174
304.68/305.55	c bounds - >= 993 @ 301.175
304.68/305.55	c bounds - >= 994 @ 301.175
304.68/305.55	c bounds - >= 995 @ 301.176
304.68/305.55	c bounds - >= 996 @ 301.178
304.68/305.55	c bounds - >= 997 @ 301.181
304.68/305.55	c bounds - >= 998 @ 301.181
304.68/305.55	c bounds - >= 999 @ 301.181
304.68/305.55	c bounds - >= 1000 @ 301.183
304.68/305.55	c bounds - >= 1001 @ 301.184
304.68/305.55	c bounds - >= 1002 @ 301.186
304.68/305.55	c bounds - >= 1003 @ 301.187
304.68/305.55	c bounds - >= 1004 @ 301.189
304.68/305.55	c bounds - >= 1005 @ 301.191
304.68/305.55	c bounds - >= 1006 @ 301.192
304.68/305.55	c bounds - >= 1007 @ 301.193
304.68/305.55	c bounds - >= 1008 @ 301.195
304.68/305.55	c bounds - >= 1009 @ 301.196
304.68/305.55	c bounds - >= 1010 @ 301.197
304.68/305.55	c bounds - >= 1011 @ 301.199
304.68/305.55	c bounds - >= 1012 @ 301.201
304.68/305.55	c bounds - >= 1013 @ 301.203
304.68/305.55	c bounds - >= 1014 @ 301.205
304.68/305.55	c bounds - >= 1015 @ 301.208
304.68/305.55	c bounds - >= 1016 @ 301.21
304.68/305.55	c bounds - >= 1017 @ 301.211
304.68/305.55	c bounds - >= 1018 @ 301.211
304.68/305.55	c bounds - >= 1019 @ 301.213
304.68/305.55	c bounds - >= 1020 @ 301.214
304.68/305.55	c bounds - >= 1021 @ 301.215
304.68/305.55	c bounds - >= 1022 @ 301.217
304.68/305.55	c bounds - >= 1023 @ 301.219
304.68/305.55	c bounds - >= 1024 @ 301.222
304.68/305.55	c bounds - >= 1025 @ 301.223
304.68/305.55	c bounds - >= 1026 @ 301.224
305.08/305.95	c bounds - >= 1027 @ 301.225
305.08/305.95	c bounds - >= 1028 @ 301.225
305.08/305.95	c bounds - >= 1029 @ 301.226
305.08/305.95	c bounds - >= 1030 @ 301.226
305.08/305.95	c bounds - >= 1031 @ 301.227
305.08/305.95	c bounds - >= 1032 @ 301.23
305.08/305.95	c bounds - >= 1033 @ 301.233
305.08/305.95	c bounds - >= 1034 @ 301.235
305.08/305.95	c bounds - >= 1035 @ 301.237
305.08/305.95	c bounds - >= 1036 @ 301.239
305.08/305.95	c bounds - >= 1037 @ 301.241
305.08/305.95	c bounds - >= 1038 @ 301.243
305.08/305.95	c bounds - >= 1039 @ 301.245
305.08/305.95	c bounds - >= 1040 @ 301.246
305.08/305.95	c bounds - >= 1041 @ 301.247
305.08/305.95	c bounds - >= 1042 @ 301.249
305.08/305.95	c bounds - >= 1043 @ 301.25
305.08/305.95	c bounds - >= 1044 @ 301.252
305.08/305.95	c bounds - >= 1045 @ 301.254
305.08/305.95	c bounds - >= 1046 @ 301.255
305.08/305.95	c bounds - >= 1047 @ 301.256
305.08/305.95	c bounds - >= 1048 @ 301.257
305.08/305.95	c bounds - >= 1049 @ 301.258
305.08/305.95	c bounds - >= 1050 @ 301.259
305.08/305.95	c bounds - >= 1051 @ 301.26
305.08/305.95	c bounds - >= 1052 @ 301.261
305.08/305.95	c bounds - >= 1053 @ 301.262
305.08/305.95	c bounds - >= 1054 @ 301.265
305.08/305.95	c bounds - >= 1055 @ 301.266
305.08/305.95	c bounds - >= 1056 @ 301.267
305.08/305.95	c bounds - >= 1057 @ 301.268
305.08/305.95	c bounds - >= 1058 @ 301.27
305.08/305.95	c bounds - >= 1059 @ 301.271
305.08/305.95	c bounds - >= 1060 @ 301.273
305.08/305.95	c bounds - >= 1061 @ 301.274
305.08/305.95	c bounds - >= 1062 @ 301.275
305.08/305.95	c bounds - >= 1063 @ 301.277
305.08/305.95	c bounds - >= 1064 @ 301.278
305.08/305.95	c bounds - >= 1065 @ 301.279
305.08/305.95	c bounds - >= 1066 @ 301.281
305.08/305.95	c bounds - >= 1067 @ 301.282
305.08/305.95	c bounds - >= 1068 @ 301.282
305.08/305.95	c bounds - >= 1069 @ 301.282
305.08/305.95	c bounds - >= 1070 @ 301.284
305.08/305.95	c bounds - >= 1071 @ 301.286
305.08/305.95	c bounds - >= 1072 @ 301.288
305.08/305.95	c bounds - >= 1073 @ 301.291
305.08/305.95	c bounds - >= 1074 @ 301.293
305.08/305.95	c bounds - >= 1075 @ 301.294
305.08/305.95	c bounds - >= 1076 @ 301.295
305.08/305.95	c bounds - >= 1077 @ 301.296
305.08/305.95	c bounds - >= 1078 @ 301.297
305.08/305.95	c bounds - >= 1079 @ 301.298
305.08/305.95	c bounds - >= 1080 @ 301.3
305.08/305.95	c bounds - >= 1081 @ 301.301
305.08/305.95	c bounds - >= 1082 @ 301.302
305.08/305.95	c bounds - >= 1083 @ 301.303
305.08/305.95	c bounds - >= 1084 @ 301.304
305.08/305.95	c bounds - >= 1085 @ 301.306
305.08/305.95	c bounds - >= 1086 @ 301.307
305.08/305.95	c bounds - >= 1087 @ 301.308
305.08/305.95	c bounds - >= 1088 @ 301.309
305.08/305.95	c bounds - >= 1089 @ 301.31
305.08/305.95	c bounds - >= 1090 @ 301.313
305.08/305.95	c bounds - >= 1091 @ 301.314
305.08/305.95	c bounds - >= 1092 @ 301.315
305.08/305.95	c bounds - >= 1093 @ 301.317
305.08/305.95	c bounds - >= 1094 @ 301.319
305.08/305.95	c bounds - >= 1095 @ 301.319
305.08/305.95	c bounds - >= 1096 @ 301.321
305.08/305.95	c bounds - >= 1097 @ 301.323
305.08/305.95	c bounds - >= 1098 @ 301.325
305.08/305.95	c bounds - >= 1099 @ 301.326
305.08/305.95	c bounds - >= 1100 @ 301.327
305.08/305.95	c bounds - >= 1101 @ 301.328
305.08/305.95	c bounds - >= 1102 @ 301.33
305.08/305.95	c bounds - >= 1103 @ 301.331
305.08/305.95	c bounds - >= 1104 @ 301.332
305.08/305.95	c bounds - >= 1105 @ 301.333
305.08/305.95	c bounds - >= 1106 @ 301.333
305.08/305.95	c bounds - >= 1107 @ 301.335
305.08/305.95	c bounds - >= 1108 @ 301.337
305.08/305.95	c bounds - >= 1109 @ 301.337
305.08/305.95	c bounds - >= 1110 @ 301.339
305.08/305.95	c bounds - >= 1111 @ 301.34
305.08/305.95	c bounds - >= 1112 @ 301.341
305.08/305.95	c bounds - >= 1113 @ 301.342
305.08/305.95	c bounds - >= 1114 @ 301.343
305.08/305.95	c bounds - >= 1115 @ 301.345
305.08/305.95	c bounds - >= 1116 @ 301.346
305.08/305.95	c bounds - >= 1117 @ 301.347
305.08/305.95	c bounds - >= 1118 @ 301.349
305.08/305.95	c bounds - >= 1119 @ 301.351
305.08/305.95	c bounds - >= 1120 @ 301.352
305.08/305.95	c bounds - >= 1121 @ 301.353
305.08/305.95	c bounds - >= 1122 @ 301.354
305.08/305.95	c bounds - >= 1123 @ 301.354
305.08/305.95	c bounds - >= 1124 @ 301.357
305.08/305.95	c bounds - >= 1125 @ 301.359
305.08/305.95	c bounds - >= 1126 @ 301.361
305.08/305.95	c bounds - >= 1127 @ 301.361
305.08/305.95	c bounds - >= 1128 @ 301.363
305.08/305.95	c bounds - >= 1129 @ 301.364
305.08/305.95	c bounds - >= 1130 @ 301.366
305.08/305.95	c bounds - >= 1131 @ 301.367
305.08/305.95	c bounds - >= 1132 @ 301.369
305.08/305.95	c bounds - >= 1133 @ 301.371
305.08/305.95	c bounds - >= 1134 @ 301.372
305.08/305.95	c bounds - >= 1135 @ 301.373
305.08/305.95	c bounds - >= 1136 @ 301.376
305.08/305.95	c bounds - >= 1137 @ 301.378
305.08/305.95	c bounds - >= 1138 @ 301.378
305.08/305.95	c bounds - >= 1139 @ 301.379
305.08/305.95	c bounds - >= 1140 @ 301.379
305.08/305.95	c bounds - >= 1141 @ 301.381
305.08/305.95	c bounds - >= 1142 @ 301.383
305.08/305.95	c bounds - >= 1143 @ 301.384
305.08/305.95	c bounds - >= 1144 @ 301.387
305.08/305.95	c bounds - >= 1145 @ 301.387
305.08/305.95	c bounds - >= 1146 @ 301.388
305.08/305.95	c bounds - >= 1147 @ 301.391
305.08/305.95	c bounds - >= 1148 @ 301.391
305.08/305.95	c bounds - >= 1149 @ 301.391
305.08/305.95	c bounds - >= 1150 @ 301.391
305.08/305.95	c bounds - >= 1151 @ 301.392
305.08/305.95	c bounds - >= 1152 @ 301.395
305.08/305.95	c bounds - >= 1153 @ 301.395
305.08/305.95	c bounds - >= 1154 @ 301.398
305.08/305.95	c bounds - >= 1155 @ 301.399
305.08/305.95	c bounds - >= 1156 @ 301.401
305.08/305.95	c bounds - >= 1157 @ 301.404
305.08/305.95	c bounds - >= 1158 @ 301.405
305.08/305.95	c bounds - >= 1159 @ 301.406
305.08/305.95	c bounds - >= 1160 @ 301.406
305.08/305.95	c bounds - >= 1161 @ 301.408
305.08/305.95	c bounds - >= 1162 @ 301.408
305.08/305.95	c bounds - >= 1163 @ 301.41
305.08/305.95	c bounds - >= 1164 @ 301.41
305.08/305.95	c bounds - >= 1165 @ 301.412
305.08/305.95	c bounds - >= 1166 @ 301.414
305.08/305.95	c bounds - >= 1167 @ 301.414
305.08/305.95	c bounds - >= 1168 @ 301.416
305.38/306.27	c bounds - >= 1169 @ 301.416
305.38/306.27	c bounds - >= 1170 @ 301.417
305.38/306.27	c bounds - >= 1171 @ 301.419
305.38/306.27	c bounds - >= 1172 @ 301.421
305.38/306.27	c bounds - >= 1173 @ 301.422
305.38/306.27	c bounds - >= 1174 @ 301.425
305.38/306.27	c bounds - >= 1175 @ 301.426
305.38/306.27	c bounds - >= 1176 @ 301.428
305.38/306.27	c bounds - >= 1177 @ 301.428
305.38/306.27	c bounds - >= 1178 @ 301.429
305.38/306.27	c bounds - >= 1179 @ 301.429
305.38/306.27	c bounds - >= 1180 @ 301.431
305.38/306.27	c bounds - >= 1181 @ 301.431
305.38/306.27	c bounds - >= 1182 @ 301.432
305.38/306.27	c bounds - >= 1183 @ 301.432
305.38/306.27	c bounds - >= 1184 @ 301.434
305.38/306.27	c bounds - >= 1185 @ 301.434
305.38/306.27	c bounds - >= 1186 @ 301.435
305.38/306.27	c bounds - >= 1187 @ 301.435
305.38/306.27	c bounds - >= 1188 @ 301.438
305.38/306.27	c bounds - >= 1189 @ 301.438
305.38/306.27	c bounds - >= 1190 @ 301.44
305.38/306.27	c bounds - >= 1191 @ 301.441
305.38/306.27	c bounds - >= 1192 @ 301.442
305.38/306.27	c bounds - >= 1193 @ 301.443
305.38/306.27	c bounds - >= 1194 @ 301.444
305.38/306.27	c bounds - >= 1195 @ 301.445
305.38/306.27	c bounds - >= 1196 @ 301.446
305.38/306.27	c bounds - >= 1197 @ 301.447
305.38/306.27	c bounds - >= 1198 @ 301.448
305.38/306.27	c bounds - >= 1199 @ 301.451
305.38/306.27	c bounds - >= 1200 @ 301.452
305.38/306.27	c bounds - >= 1201 @ 301.455
305.38/306.27	c bounds - >= 1202 @ 301.456
305.38/306.27	c bounds - >= 1203 @ 301.458
305.38/306.27	c bounds - >= 1204 @ 301.459
305.38/306.27	c bounds - >= 1205 @ 301.459
305.38/306.27	c bounds - >= 1206 @ 301.461
305.38/306.27	c bounds - >= 1207 @ 301.461
305.38/306.27	c bounds - >= 1208 @ 301.461
305.38/306.27	c bounds - >= 1209 @ 301.462
305.38/306.27	c bounds - >= 1210 @ 301.462
305.38/306.27	c bounds - >= 1211 @ 301.464
305.38/306.27	c bounds - >= 1212 @ 301.464
305.38/306.27	c bounds - >= 1213 @ 301.465
305.38/306.27	c bounds - >= 1214 @ 301.466
305.38/306.27	c bounds - >= 1215 @ 301.466
305.38/306.27	c bounds - >= 1216 @ 301.468
305.38/306.27	c bounds - >= 1217 @ 301.468
305.38/306.27	c bounds - >= 1218 @ 301.468
305.38/306.27	c bounds - >= 1219 @ 301.469
305.38/306.27	c bounds - >= 1220 @ 301.469
305.38/306.27	c bounds - >= 1221 @ 301.47
305.38/306.27	c bounds - >= 1222 @ 301.471
305.38/306.27	c bounds - >= 1223 @ 301.471
305.38/306.27	c bounds - >= 1224 @ 301.473
305.38/306.27	c bounds - >= 1225 @ 301.475
305.38/306.27	c bounds - >= 1226 @ 301.475
305.38/306.27	c bounds - >= 1227 @ 301.476
305.38/306.27	c bounds - >= 1228 @ 301.477
305.38/306.27	c bounds - >= 1229 @ 301.478
305.38/306.27	c bounds - >= 1230 @ 301.479
305.38/306.27	c bounds - >= 1231 @ 301.48
305.38/306.27	c bounds - >= 1232 @ 301.48
305.38/306.27	c bounds - >= 1233 @ 301.48
305.38/306.27	c bounds - >= 1234 @ 301.483
305.38/306.27	c bounds - >= 1235 @ 301.483
305.38/306.27	c bounds - >= 1236 @ 301.483
305.38/306.27	c bounds - >= 1237 @ 301.484
305.38/306.27	c bounds - >= 1238 @ 301.484
305.38/306.27	c bounds - >= 1239 @ 301.484
305.38/306.27	c bounds - >= 1240 @ 301.486
305.38/306.27	c bounds - >= 1241 @ 301.487
305.38/306.27	c bounds - >= 1242 @ 301.488
305.38/306.27	c bounds - >= 1243 @ 301.49
305.38/306.27	c bounds - >= 1244 @ 301.491
305.38/306.27	c bounds - >= 1245 @ 301.493
305.38/306.27	c bounds - >= 1246 @ 301.493
305.38/306.27	c bounds - >= 1247 @ 301.495
305.38/306.27	c bounds - >= 1248 @ 301.495
305.38/306.27	c bounds - >= 1249 @ 301.496
305.38/306.27	c bounds - >= 1250 @ 301.498
305.38/306.27	c bounds - >= 1251 @ 301.499
305.38/306.27	c bounds - >= 1252 @ 301.499
305.38/306.27	c bounds - >= 1253 @ 301.5
305.38/306.27	c bounds - >= 1254 @ 301.501
305.38/306.27	c bounds - >= 1255 @ 301.502
305.38/306.27	c bounds - >= 1256 @ 301.502
305.38/306.27	c bounds - >= 1257 @ 301.502
305.38/306.27	c bounds - >= 1258 @ 301.504
305.38/306.27	c bounds - >= 1259 @ 301.506
305.38/306.27	c bounds - >= 1260 @ 301.506
305.38/306.27	c bounds - >= 1261 @ 301.506
305.38/306.27	c bounds - >= 1262 @ 301.506
305.38/306.27	c bounds - >= 1263 @ 301.508
305.38/306.27	c bounds - >= 1264 @ 301.51
305.38/306.27	c bounds - >= 1265 @ 301.512
305.38/306.27	c bounds - >= 1266 @ 301.512
305.38/306.27	c bounds - >= 1267 @ 301.513
305.38/306.27	c bounds - >= 1268 @ 301.514
305.38/306.27	c bounds - >= 1269 @ 301.517
305.38/306.27	c bounds - >= 1270 @ 301.518
305.38/306.27	c bounds - >= 1271 @ 301.519
305.38/306.27	c bounds - >= 1272 @ 301.52
305.38/306.27	c bounds - >= 1273 @ 301.521
305.38/306.27	c bounds - >= 1274 @ 301.522
305.38/306.27	c bounds - >= 1275 @ 301.525
305.38/306.27	c bounds - >= 1276 @ 301.526
305.38/306.27	c bounds - >= 1277 @ 301.528
305.38/306.27	c bounds - >= 1278 @ 301.528
305.38/306.27	c bounds - >= 1279 @ 301.529
305.38/306.27	c bounds - >= 1280 @ 301.531
305.38/306.27	c bounds - >= 1281 @ 301.532
305.38/306.27	c bounds - >= 1282 @ 301.532
305.38/306.27	c bounds - >= 1283 @ 301.532
305.38/306.27	c bounds - >= 1284 @ 301.533
305.38/306.27	c bounds - >= 1285 @ 301.534
305.38/306.27	c bounds - >= 1286 @ 301.535
305.38/306.27	c bounds - >= 1287 @ 301.536
305.38/306.27	c bounds - >= 1288 @ 301.537
305.38/306.27	c bounds - >= 1289 @ 301.538
305.38/306.27	c bounds - >= 1290 @ 301.538
305.38/306.27	c bounds - >= 1291 @ 301.54
305.38/306.27	c bounds - >= 1292 @ 301.54
305.38/306.27	c bounds - >= 1293 @ 301.542
305.38/306.27	c bounds - >= 1294 @ 301.543
305.38/306.27	c bounds - >= 1295 @ 301.544
305.38/306.27	c bounds - >= 1296 @ 301.545
305.38/306.27	c bounds - >= 1297 @ 301.547
305.38/306.27	c #Conflicts:       3000 | #Constraints:      17028
305.38/306.27	c bounds - >= 1298 @ 301.55
305.38/306.27	c bounds - >= 1299 @ 301.55
305.38/306.27	c bounds - >= 1300 @ 301.55
305.38/306.27	c bounds - >= 1301 @ 301.55
305.38/306.27	c bounds - >= 1302 @ 301.55
305.38/306.27	c bounds - >= 1303 @ 301.55
305.38/306.27	c bounds - >= 1304 @ 301.551
305.38/306.27	c bounds - >= 1305 @ 301.552
305.38/306.27	c bounds - >= 1306 @ 301.553
305.38/306.27	c bounds - >= 1307 @ 301.554
305.38/306.27	c bounds - >= 1308 @ 301.556
305.68/306.52	c bounds - >= 1309 @ 301.558
305.68/306.52	c bounds - >= 1310 @ 301.559
305.68/306.52	c bounds - >= 1311 @ 301.56
305.68/306.52	c bounds - >= 1312 @ 301.561
305.68/306.52	c bounds - >= 1313 @ 301.562
305.68/306.52	c bounds - >= 1314 @ 301.565
305.68/306.52	c bounds - >= 1315 @ 301.566
305.68/306.52	c bounds - >= 1316 @ 301.567
305.68/306.52	c bounds - >= 1317 @ 301.567
305.68/306.52	c bounds - >= 1318 @ 301.567
305.68/306.52	c bounds - >= 1319 @ 301.568
305.68/306.52	c bounds - >= 1320 @ 301.57
305.68/306.52	c bounds - >= 1321 @ 301.57
305.68/306.52	c bounds - >= 1322 @ 301.57
305.68/306.52	c bounds - >= 1323 @ 301.571
305.68/306.52	c bounds - >= 1324 @ 301.571
305.68/306.52	c bounds - >= 1325 @ 301.572
305.68/306.52	c bounds - >= 1326 @ 301.572
305.68/306.52	c bounds - >= 1327 @ 301.573
305.68/306.52	c bounds - >= 1328 @ 301.574
305.68/306.52	c bounds - >= 1329 @ 301.575
305.68/306.52	c bounds - >= 1330 @ 301.576
305.68/306.52	c bounds - >= 1331 @ 301.577
305.68/306.52	c bounds - >= 1332 @ 301.578
305.68/306.52	c bounds - >= 1333 @ 301.579
305.68/306.52	c bounds - >= 1334 @ 301.58
305.68/306.52	c bounds - >= 1335 @ 301.581
305.68/306.52	c bounds - >= 1336 @ 301.583
305.68/306.52	c bounds - >= 1337 @ 301.585
305.68/306.52	c bounds - >= 1338 @ 301.586
305.68/306.52	c bounds - >= 1339 @ 301.587
305.68/306.52	c bounds - >= 1340 @ 301.589
305.68/306.52	c bounds - >= 1341 @ 301.589
305.68/306.52	c bounds - >= 1342 @ 301.591
305.68/306.52	c bounds - >= 1343 @ 301.592
305.68/306.52	c bounds - >= 1344 @ 301.593
305.68/306.52	c bounds - >= 1345 @ 301.593
305.68/306.52	c bounds - >= 1346 @ 301.594
305.68/306.52	c bounds - >= 1347 @ 301.595
305.68/306.52	c bounds - >= 1348 @ 301.596
305.68/306.52	c bounds - >= 1349 @ 301.597
305.68/306.52	c bounds - >= 1350 @ 301.598
305.68/306.52	c bounds - >= 1351 @ 301.598
305.68/306.52	c bounds - >= 1352 @ 301.598
305.68/306.52	c bounds - >= 1353 @ 301.598
305.68/306.52	c bounds - >= 1354 @ 301.599
305.68/306.52	c bounds - >= 1355 @ 301.6
305.68/306.52	c bounds - >= 1356 @ 301.602
305.68/306.52	c bounds - >= 1357 @ 301.603
305.68/306.52	c bounds - >= 1358 @ 301.604
305.68/306.52	c bounds - >= 1359 @ 301.605
305.68/306.52	c bounds - >= 1360 @ 301.606
305.68/306.52	c bounds - >= 1361 @ 301.606
305.68/306.52	c bounds - >= 1362 @ 301.607
305.68/306.52	c bounds - >= 1363 @ 301.608
305.68/306.52	c bounds - >= 1364 @ 301.609
305.68/306.52	c bounds - >= 1365 @ 301.609
305.68/306.52	c bounds - >= 1366 @ 301.61
305.68/306.52	c bounds - >= 1367 @ 301.611
305.68/306.52	c bounds - >= 1368 @ 301.612
305.68/306.52	c bounds - >= 1369 @ 301.613
305.68/306.52	c bounds - >= 1370 @ 301.614
305.68/306.52	c bounds - >= 1371 @ 301.614
305.68/306.52	c bounds - >= 1372 @ 301.616
305.68/306.52	c bounds - >= 1373 @ 301.617
305.68/306.52	c bounds - >= 1374 @ 301.618
305.68/306.52	c bounds - >= 1375 @ 301.619
305.68/306.52	c bounds - >= 1376 @ 301.619
305.68/306.52	c bounds - >= 1377 @ 301.619
305.68/306.52	c bounds - >= 1378 @ 301.62
305.68/306.52	c bounds - >= 1379 @ 301.621
305.68/306.52	c bounds - >= 1380 @ 301.622
305.68/306.52	c bounds - >= 1381 @ 301.623
305.68/306.52	c bounds - >= 1382 @ 301.624
305.68/306.52	c bounds - >= 1383 @ 301.625
305.68/306.52	c bounds - >= 1384 @ 301.625
305.68/306.52	c bounds - >= 1385 @ 301.626
305.68/306.52	c bounds - >= 1386 @ 301.626
305.68/306.52	c bounds - >= 1387 @ 301.627
305.68/306.52	c bounds - >= 1388 @ 301.629
305.68/306.52	c bounds - >= 1389 @ 301.629
305.68/306.52	c bounds - >= 1390 @ 301.629
305.68/306.52	c bounds - >= 1391 @ 301.63
305.68/306.52	c bounds - >= 1392 @ 301.631
305.68/306.52	c bounds - >= 1393 @ 301.631
305.68/306.52	c bounds - >= 1394 @ 301.632
305.68/306.52	c bounds - >= 1395 @ 301.633
305.68/306.52	c bounds - >= 1396 @ 301.634
305.68/306.52	c bounds - >= 1397 @ 301.635
305.68/306.52	c bounds - >= 1398 @ 301.636
305.68/306.52	c bounds - >= 1399 @ 301.636
305.68/306.52	c bounds - >= 1400 @ 301.637
305.68/306.52	c bounds - >= 1401 @ 301.639
305.68/306.52	c bounds - >= 1402 @ 301.64
305.68/306.52	c bounds - >= 1403 @ 301.64
305.68/306.52	c bounds - >= 1404 @ 301.642
305.68/306.52	c bounds - >= 1405 @ 301.643
305.68/306.52	c bounds - >= 1406 @ 301.643
305.68/306.52	c bounds - >= 1407 @ 301.644
305.68/306.52	c bounds - >= 1408 @ 301.644
305.68/306.52	c bounds - >= 1409 @ 301.645
305.68/306.52	c bounds - >= 1410 @ 301.646
305.68/306.52	c bounds - >= 1411 @ 301.646
305.68/306.52	c bounds - >= 1412 @ 301.647
305.68/306.52	c bounds - >= 1413 @ 301.648
305.68/306.52	c bounds - >= 1414 @ 301.648
305.68/306.52	c bounds - >= 1415 @ 301.65
305.68/306.52	c bounds - >= 1416 @ 301.652
305.68/306.52	c bounds - >= 1417 @ 301.652
305.68/306.52	c bounds - >= 1418 @ 301.653
305.68/306.52	c bounds - >= 1419 @ 301.654
305.68/306.52	c bounds - >= 1420 @ 301.654
305.68/306.52	c bounds - >= 1421 @ 301.655
305.68/306.52	c bounds - >= 1422 @ 301.655
305.68/306.52	c bounds - >= 1423 @ 301.655
305.68/306.52	c bounds - >= 1424 @ 301.656
305.68/306.52	c bounds - >= 1425 @ 301.657
305.68/306.52	c bounds - >= 1426 @ 301.658
305.68/306.52	c bounds - >= 1427 @ 301.658
305.68/306.52	c bounds - >= 1428 @ 301.66
305.68/306.52	c bounds - >= 1429 @ 301.661
305.68/306.52	c bounds - >= 1430 @ 301.661
305.68/306.52	c bounds - >= 1431 @ 301.663
305.68/306.52	c bounds - >= 1432 @ 301.663
305.68/306.52	c bounds - >= 1433 @ 301.664
305.68/306.52	c bounds - >= 1434 @ 301.664
305.68/306.52	c bounds - >= 1435 @ 301.665
305.68/306.52	c bounds - >= 1436 @ 301.666
305.68/306.52	c bounds - >= 1437 @ 301.666
305.68/306.52	c bounds - >= 1438 @ 301.667
305.68/306.52	c bounds - >= 1439 @ 301.667
305.68/306.52	c bounds - >= 1440 @ 301.668
305.68/306.52	c bounds - >= 1441 @ 301.668
305.68/306.52	c bounds - >= 1442 @ 301.669
305.68/306.52	c bounds - >= 1443 @ 301.67
305.68/306.52	c bounds - >= 1444 @ 301.671
305.68/306.52	c bounds - >= 1445 @ 301.671
305.68/306.52	c bounds - >= 1446 @ 301.672
305.68/306.52	c bounds - >= 1447 @ 301.672
305.68/306.52	c bounds - >= 1448 @ 301.674
305.68/306.52	c bounds - >= 1449 @ 301.674
305.68/306.52	c bounds - >= 1450 @ 301.675
310.67/311.55	c bounds - >= 1451 @ 301.675
310.67/311.55	c bounds - >= 1452 @ 301.676
310.67/311.55	c bounds - >= 1453 @ 301.677
310.67/311.55	c bounds - >= 1454 @ 301.678
310.67/311.55	c bounds - >= 1455 @ 301.678
310.67/311.55	c bounds - >= 1456 @ 301.679
310.67/311.55	c bounds - >= 1457 @ 301.68
310.67/311.55	c bounds - >= 1458 @ 301.681
310.67/311.55	c bounds - >= 1459 @ 301.681
310.67/311.55	c bounds - >= 1460 @ 301.682
310.67/311.55	c bounds - >= 1461 @ 301.682
310.67/311.55	c bounds - >= 1462 @ 301.683
310.67/311.55	c bounds - >= 1463 @ 301.684
310.67/311.55	c bounds - >= 1464 @ 301.684
310.67/311.55	c bounds - >= 1465 @ 301.686
310.67/311.55	c bounds - >= 1466 @ 301.686
310.67/311.55	c bounds - >= 1467 @ 301.687
310.67/311.55	c bounds - >= 1468 @ 301.688
310.67/311.55	c bounds - >= 1469 @ 301.689
310.67/311.55	c bounds - >= 1470 @ 301.689
310.67/311.55	c bounds - >= 1471 @ 301.69
310.67/311.55	c bounds - >= 1472 @ 301.691
310.67/311.55	c bounds - >= 1473 @ 301.691
310.67/311.55	c bounds - >= 1474 @ 301.692
310.67/311.55	c bounds - >= 1475 @ 301.693
310.67/311.55	c bounds - >= 1476 @ 301.694
310.67/311.55	c bounds - >= 1477 @ 301.695
310.67/311.55	c bounds - >= 1478 @ 301.697
310.67/311.55	c bounds - >= 1479 @ 301.698
310.67/311.55	c bounds - >= 1480 @ 301.698
310.67/311.55	c bounds - >= 1481 @ 301.699
310.67/311.55	c bounds - >= 1482 @ 301.7
310.67/311.55	c bounds - >= 1483 @ 301.701
310.67/311.55	c bounds - >= 1484 @ 301.702
310.67/311.55	c bounds - >= 1485 @ 301.703
310.67/311.55	c bounds - >= 1486 @ 301.703
310.67/311.55	c bounds - >= 1487 @ 301.704
310.67/311.55	c bounds - >= 1488 @ 301.705
310.67/311.55	c bounds - >= 1489 @ 301.705
310.67/311.55	c bounds - >= 1490 @ 301.706
310.67/311.55	c bounds - >= 1491 @ 301.707
310.67/311.55	c bounds - >= 1492 @ 301.707
310.67/311.55	c bounds - >= 1493 @ 301.708
310.67/311.55	c bounds - >= 1494 @ 301.71
310.67/311.55	c bounds - >= 1495 @ 301.711
310.67/311.55	c bounds - >= 1496 @ 301.712
310.67/311.55	c bounds - >= 1497 @ 301.713
310.67/311.55	c bounds - >= 1498 @ 301.713
310.67/311.55	c bounds - >= 1499 @ 301.714
310.67/311.55	c bounds - >= 1500 @ 301.715
310.67/311.55	c bounds - >= 1501 @ 301.716
310.67/311.55	c bounds - >= 1502 @ 301.717
310.67/311.55	c bounds - >= 1503 @ 301.718
310.67/311.55	c bounds - >= 1504 @ 301.718
310.67/311.55	c bounds - >= 1505 @ 301.718
310.67/311.55	c bounds - >= 1506 @ 301.719
310.67/311.55	c bounds - >= 1507 @ 301.719
310.67/311.55	c bounds - >= 1508 @ 301.719
310.67/311.55	c bounds - >= 1509 @ 301.72
310.67/311.55	c bounds - >= 1510 @ 301.721
310.67/311.55	c bounds - >= 1511 @ 301.722
310.67/311.55	c bounds - >= 1512 @ 301.722
310.67/311.55	c bounds - >= 1513 @ 301.723
310.67/311.55	c bounds - >= 1514 @ 301.723
310.67/311.55	c bounds - >= 1515 @ 301.723
310.67/311.55	c bounds - >= 1516 @ 301.724
310.67/311.55	c bounds - >= 1517 @ 301.725
310.67/311.55	c bounds - >= 1518 @ 301.725
310.67/311.55	c bounds - >= 1519 @ 301.726
310.67/311.55	c bounds - >= 1520 @ 301.727
310.67/311.55	c bounds - >= 1521 @ 301.728
310.67/311.55	c bounds - >= 1522 @ 301.729
310.67/311.55	c bounds - >= 1523 @ 301.729
310.67/311.55	c bounds - >= 1524 @ 301.729
310.67/311.55	c bounds - >= 1525 @ 301.73
310.67/311.55	c bounds - >= 1526 @ 301.731
310.67/311.55	c bounds - >= 1527 @ 301.732
310.67/311.55	c bounds - >= 1528 @ 301.732
310.67/311.55	c bounds - >= 1529 @ 301.733
310.67/311.55	c bounds - >= 1530 @ 301.734
310.67/311.55	c bounds - >= 1531 @ 301.735
310.67/311.55	c bounds - >= 1532 @ 301.735
310.67/311.55	c bounds - >= 1533 @ 301.735
310.67/311.55	c bounds - >= 1534 @ 301.735
310.67/311.55	c bounds - >= 1535 @ 301.736
310.67/311.55	c bounds - >= 1536 @ 301.737
310.67/311.55	c bounds - >= 1537 @ 301.738
310.67/311.55	c bounds - >= 1538 @ 301.738
310.67/311.55	c bounds - >= 1539 @ 301.739
310.67/311.55	c bounds - >= 1540 @ 301.74
310.67/311.55	c bounds - >= 1541 @ 301.74
310.67/311.55	c bounds - >= 1542 @ 301.741
310.67/311.55	c bounds - >= 1543 @ 301.742
310.67/311.55	c bounds - >= 1544 @ 301.743
310.67/311.55	c bounds - >= 1545 @ 301.744
310.67/311.55	c bounds - >= 1546 @ 301.745
310.67/311.55	c bounds - >= 1547 @ 301.746
310.67/311.55	c bounds - >= 1548 @ 301.747
310.67/311.55	c bounds - >= 1549 @ 301.747
310.67/311.55	c bounds - >= 1550 @ 301.747
310.67/311.55	c bounds - >= 1551 @ 301.748
310.67/311.55	c bounds - >= 1552 @ 301.749
310.67/311.55	c bounds - >= 1553 @ 301.75
310.67/311.55	c bounds - >= 1554 @ 301.751
310.67/311.55	c bounds - >= 1555 @ 301.752
310.67/311.55	c bounds - >= 1556 @ 301.753
310.67/311.55	c bounds - >= 1557 @ 301.753
310.67/311.55	c bounds - >= 1558 @ 301.753
310.67/311.55	c bounds - >= 1559 @ 301.753
310.67/311.55	c bounds - >= 1560 @ 301.754
310.67/311.55	c bounds - >= 1561 @ 301.755
310.67/311.55	c bounds - >= 1562 @ 301.756
310.67/311.55	c bounds - >= 1563 @ 301.756
310.67/311.55	c bounds - >= 1564 @ 301.757
310.67/311.55	c bounds - >= 1565 @ 301.757
310.67/311.55	c bounds - >= 1566 @ 301.757
310.67/311.55	c bounds - >= 1567 @ 301.758
310.67/311.55	c bounds - >= 1568 @ 301.759
310.67/311.55	c bounds - >= 1569 @ 301.759
310.67/311.55	c bounds - >= 1570 @ 301.759
310.67/311.55	c bounds - >= 1571 @ 301.759
310.67/311.55	c bounds - >= 1572 @ 301.76
310.67/311.55	c bounds - >= 1573 @ 301.761
310.67/311.55	c bounds - >= 1574 @ 301.761
310.67/311.55	c bounds - >= 1575 @ 301.761
310.67/311.55	c bounds - >= 1576 @ 301.761
310.67/311.55	c bounds - >= 1577 @ 301.761
310.67/311.55	c bounds - >= 1578 @ 301.762
310.67/311.55	c bounds - >= 1579 @ 301.762
310.67/311.55	c bounds - >= 1580 @ 301.762
310.67/311.55	c bounds - >= 1581 @ 301.762
310.67/311.55	c bounds - >= 1582 @ 301.763
310.67/311.55	c bounds - >= 1583 @ 301.763
310.67/311.55	c bounds - >= 1584 @ 301.763
310.67/311.55	c bounds - >= 1585 @ 301.764
310.67/311.55	c bounds - >= 1586 @ 301.764
310.67/311.55	c bounds - >= 1587 @ 301.764
310.67/311.55	c bounds - >= 1588 @ 301.764
310.67/311.55	c bounds - >= 1589 @ 301.765
310.67/311.55	c #Conflicts:       4000 | #Constraints:      18320
310.67/311.55	c #Conflicts:       5000 | #Constraints:      19320
891.84/894.24	c #Conflicts:       6000 | #Constraints:      20320
891.84/894.24	c INPROCESSING
891.84/894.24	c GARBAGE COLLECT
891.84/894.24	c #Conflicts:       7000 | #Constraints:      18197
891.84/894.24	c #Conflicts:       8000 | #Constraints:      19197
891.84/894.24	c #Conflicts:       9000 | #Constraints:      20197
891.84/894.24	c INPROCESSING
891.84/894.24	c GARBAGE COLLECT
891.84/894.24	c #Conflicts:      10000 | #Constraints:      18325
891.84/894.24	c #Conflicts:      11000 | #Constraints:      19325
891.84/894.24	c #Conflicts:      12000 | #Constraints:      20325
891.84/894.24	c INPROCESSING
891.84/894.24	c GARBAGE COLLECT
891.84/894.24	c #Conflicts:      13000 | #Constraints:      18108
891.84/894.24	c #Conflicts:      14000 | #Constraints:      19108
891.84/894.24	c #Conflicts:      15000 | #Constraints:      20108
891.84/894.24	c #Conflicts:      16000 | #Constraints:      21108
891.84/894.24	c INPROCESSING
891.84/894.24	c GARBAGE COLLECT
891.84/894.24	c #Conflicts:      17000 | #Constraints:      18656
891.84/894.24	c #Conflicts:      18000 | #Constraints:      19656
891.84/894.24	c #Conflicts:      19000 | #Constraints:      20656
891.84/894.24	c #Conflicts:      20000 | #Constraints:      21656
891.84/894.24	c INPROCESSING
891.84/894.24	c GARBAGE COLLECT
891.84/894.24	c #Conflicts:      21000 | #Constraints:      18995
891.84/894.24	c #Conflicts:      22000 | #Constraints:      19995
891.84/894.24	c #Conflicts:      23000 | #Constraints:      20995
891.84/894.24	c #Conflicts:      24000 | #Constraints:      21995
891.84/894.24	c INPROCESSING
891.84/894.24	c GARBAGE COLLECT
891.84/894.24	c #Conflicts:      25000 | #Constraints:      19121
891.84/894.24	c #Conflicts:      26000 | #Constraints:      20121
891.84/894.24	c #Conflicts:      27000 | #Constraints:      21121
891.84/894.24	c #Conflicts:      28000 | #Constraints:      22121
891.84/894.24	c INPROCESSING
891.84/894.24	c GARBAGE COLLECT
891.84/894.24	c #Conflicts:      29000 | #Constraints:      18995
891.84/894.24	c #Conflicts:      30000 | #Constraints:      19995
891.84/894.24	c #Conflicts:      31000 | #Constraints:      20995
891.84/894.24	c #Conflicts:      32000 | #Constraints:      21995
891.84/894.24	c #Conflicts:      33000 | #Constraints:      22995
891.84/894.24	c INPROCESSING
891.84/894.24	c GARBAGE COLLECT
891.84/894.24	c #Conflicts:      34000 | #Constraints:      19696
891.84/894.24	c #Conflicts:      35000 | #Constraints:      20696
891.84/894.24	c #Conflicts:      36000 | #Constraints:      21696
891.84/894.24	c #Conflicts:      37000 | #Constraints:      22696
891.84/894.24	c #Conflicts:      38000 | #Constraints:      23696
891.84/894.24	c INPROCESSING
891.84/894.24	c GARBAGE COLLECT
891.84/894.24	c #Conflicts:      39000 | #Constraints:      20187
891.84/894.24	c #Conflicts:      40000 | #Constraints:      21187
891.84/894.24	c #Conflicts:      41000 | #Constraints:      22187
891.84/894.24	c #Conflicts:      42000 | #Constraints:      23187
891.84/894.24	c INPROCESSING
891.84/894.24	c GARBAGE COLLECT
891.84/894.24	c #Conflicts:      43000 | #Constraints:      19500
891.84/894.24	c #Conflicts:      44000 | #Constraints:      20500
891.84/894.24	c #Conflicts:      45000 | #Constraints:      21500
891.84/894.24	c #Conflicts:      46000 | #Constraints:      22500
891.84/894.24	c #Conflicts:      47000 | #Constraints:      23500
891.84/894.24	c #Conflicts:      48000 | #Constraints:      24500
891.84/894.24	c INPROCESSING
891.84/894.24	c GARBAGE COLLECT
891.84/894.24	c #Conflicts:      49000 | #Constraints:      20590
891.84/894.24	c #Conflicts:      50000 | #Constraints:      21590
891.84/894.24	c #Conflicts:      51000 | #Constraints:      22590
891.84/894.24	c #Conflicts:      52000 | #Constraints:      23590
891.84/894.24	c #Conflicts:      53000 | #Constraints:      24590
891.84/894.24	c INPROCESSING
891.84/894.24	c GARBAGE COLLECT
891.84/894.24	c #Conflicts:      54000 | #Constraints:      20493
891.84/894.24	c #Conflicts:      55000 | #Constraints:      21493
891.84/894.24	c #Conflicts:      56000 | #Constraints:      22493
891.84/894.24	c #Conflicts:      57000 | #Constraints:      23493
891.84/894.24	c #Conflicts:      58000 | #Constraints:      24493
891.84/894.24	c INPROCESSING
891.84/894.24	c GARBAGE COLLECT
891.84/894.24	c #Conflicts:      59000 | #Constraints:      20178
891.84/894.24	c #Conflicts:      60000 | #Constraints:      21178
891.84/894.24	c #Conflicts:      61000 | #Constraints:      22178
891.84/894.24	c #Conflicts:      62000 | #Constraints:      23178
891.84/894.24	c #Conflicts:      63000 | #Constraints:      24178
891.84/894.24	c #Conflicts:      64000 | #Constraints:      25178
891.84/894.24	c INPROCESSING
891.84/894.24	c GARBAGE COLLECT
891.84/894.24	c #Conflicts:      65000 | #Constraints:      20677
891.84/894.24	c #Conflicts:      66000 | #Constraints:      21677
891.84/894.24	c #Conflicts:      67000 | #Constraints:      22677
891.84/894.24	c #Conflicts:      68000 | #Constraints:      23677
891.84/894.24	c #Conflicts:      69000 | #Constraints:      24677
891.84/894.24	c #Conflicts:      70000 | #Constraints:      25677
891.84/894.24	c INPROCESSING
891.84/894.24	c GARBAGE COLLECT
891.84/894.24	c #Conflicts:      71000 | #Constraints:      21034
891.84/894.24	c #Conflicts:      72000 | #Constraints:      22034
891.84/894.24	c #Conflicts:      73000 | #Constraints:      23034
891.84/894.24	c #Conflicts:      74000 | #Constraints:      24034
1980.16/1985.55	c #Conflicts:      75000 | #Constraints:      25034
1980.16/1985.55	c #Conflicts:      76000 | #Constraints:      26034
1980.16/1985.55	c INPROCESSING
1980.16/1985.55	c GARBAGE COLLECT
1980.16/1985.55	c #Conflicts:      77000 | #Constraints:      21107
1980.16/1985.55	c #Conflicts:      78000 | #Constraints:      22107
1980.16/1985.55	c #Conflicts:      79000 | #Constraints:      23107
1980.16/1985.55	c #Conflicts:      80000 | #Constraints:      24107
1980.16/1985.55	c #Conflicts:      81000 | #Constraints:      25107
1980.16/1985.55	c #Conflicts:      82000 | #Constraints:      26107
1980.16/1985.55	c INPROCESSING
1980.16/1985.55	c GARBAGE COLLECT
1980.16/1985.55	c #Conflicts:      83000 | #Constraints:      20985
1980.16/1985.55	c #Conflicts:      84000 | #Constraints:      21985
1980.16/1985.55	c #Conflicts:      85000 | #Constraints:      22985
1980.16/1985.55	c #Conflicts:      86000 | #Constraints:      23985
1980.16/1985.55	c #Conflicts:      87000 | #Constraints:      24985
1980.16/1985.55	c #Conflicts:      88000 | #Constraints:      25985
1980.16/1985.55	c #Conflicts:      89000 | #Constraints:      26985
1980.16/1985.55	c INPROCESSING
1980.16/1985.55	c GARBAGE COLLECT
1980.16/1985.55	c #Conflicts:      90000 | #Constraints:      21753
1980.16/1985.55	c #Conflicts:      91000 | #Constraints:      22753
1980.16/1985.55	c #Conflicts:      92000 | #Constraints:      23753
1980.16/1985.55	c #Conflicts:      93000 | #Constraints:      24753
1980.16/1985.55	c #Conflicts:      94000 | #Constraints:      25753
1980.16/1985.55	c #Conflicts:      95000 | #Constraints:      26753
1980.16/1985.55	c #Conflicts:      96000 | #Constraints:      27753
1980.16/1985.55	c INPROCESSING
1980.16/1985.55	c GARBAGE COLLECT
1980.16/1985.55	c #Conflicts:      97000 | #Constraints:      22227
1980.16/1985.55	c #Conflicts:      98000 | #Constraints:      23227
1980.16/1985.55	c #Conflicts:      99000 | #Constraints:      24227
1980.16/1985.55	c #Conflicts:     100000 | #Constraints:      25227
1980.16/1985.55	c #Conflicts:     101000 | #Constraints:      26227
1980.16/1985.55	c #Conflicts:     102000 | #Constraints:      27227
1980.16/1985.55	c INPROCESSING
1980.16/1985.55	c GARBAGE COLLECT
1980.16/1985.55	c #Conflicts:     103000 | #Constraints:      21499
1980.16/1985.55	c #Conflicts:     104000 | #Constraints:      22499
1980.16/1985.55	c #Conflicts:     105000 | #Constraints:      23499
1980.16/1985.55	c #Conflicts:     106000 | #Constraints:      24499
1980.16/1985.55	c #Conflicts:     107000 | #Constraints:      25499
1980.16/1985.55	c #Conflicts:     108000 | #Constraints:      26499
1980.16/1985.55	c #Conflicts:     109000 | #Constraints:      27499
1980.16/1985.55	c #Conflicts:     110000 | #Constraints:      28499
1980.16/1985.55	c INPROCESSING
1980.16/1985.55	c GARBAGE COLLECT
1980.16/1985.55	c #Conflicts:     111000 | #Constraints:      22604
1980.16/1985.55	c #Conflicts:     112000 | #Constraints:      23604
1980.16/1985.55	c #Conflicts:     113000 | #Constraints:      24604
1980.16/1985.55	c #Conflicts:     114000 | #Constraints:      25604
1980.16/1985.55	c #Conflicts:     115000 | #Constraints:      26604
1980.16/1985.55	c #Conflicts:     116000 | #Constraints:      27604
1980.16/1985.55	c #Conflicts:     117000 | #Constraints:      28604
1980.16/1985.55	c INPROCESSING
1980.16/1985.55	c GARBAGE COLLECT
1980.16/1985.55	c #Conflicts:     118000 | #Constraints:      22501
1980.16/1985.55	c #Conflicts:     119000 | #Constraints:      23501
1980.16/1985.55	c #Conflicts:     120000 | #Constraints:      24501
1980.16/1985.55	c #Conflicts:     121000 | #Constraints:      25501
1980.16/1985.55	c #Conflicts:     122000 | #Constraints:      26501
1980.16/1985.55	c #Conflicts:     123000 | #Constraints:      27501
1980.16/1985.55	c #Conflicts:     124000 | #Constraints:      28501
1980.16/1985.55	c INPROCESSING
1980.16/1985.55	c GARBAGE COLLECT
1980.16/1985.55	c #Conflicts:     125000 | #Constraints:      22203
1980.16/1985.55	c #Conflicts:     126000 | #Constraints:      23203
1980.16/1985.55	c #Conflicts:     127000 | #Constraints:      24203
1980.16/1985.55	c #Conflicts:     128000 | #Constraints:      25203
1980.16/1985.55	c #Conflicts:     129000 | #Constraints:      26203
1980.16/1985.55	c #Conflicts:     130000 | #Constraints:      27203
1980.16/1985.55	c #Conflicts:     131000 | #Constraints:      28203
1980.16/1985.55	c #Conflicts:     132000 | #Constraints:      29203
1980.16/1985.55	c INPROCESSING
1980.16/1985.55	c GARBAGE COLLECT
1980.16/1985.55	c #Conflicts:     133000 | #Constraints:      22717
1980.16/1985.55	c #Conflicts:     134000 | #Constraints:      23717
1980.16/1985.55	c #Conflicts:     135000 | #Constraints:      24717
1980.16/1985.55	c #Conflicts:     136000 | #Constraints:      25717
1980.16/1985.55	c #Conflicts:     137000 | #Constraints:      26717
1980.16/1985.55	c #Conflicts:     138000 | #Constraints:      27717
1980.16/1985.55	c #Conflicts:     139000 | #Constraints:      28717
1980.16/1985.55	c #Conflicts:     140000 | #Constraints:      29717
1980.16/1985.55	c INPROCESSING
1980.16/1985.55	c GARBAGE COLLECT
1980.16/1985.55	c #Conflicts:     141000 | #Constraints:      22982
1980.16/1985.55	c #Conflicts:     142000 | #Constraints:      23982
1980.16/1985.55	c #Conflicts:     143000 | #Constraints:      24982
1980.16/1985.55	c #Conflicts:     144000 | #Constraints:      25982
1980.16/1985.55	c #Conflicts:     145000 | #Constraints:      26982
1980.16/1985.55	c #Conflicts:     146000 | #Constraints:      27982
3600.06/3610.00	c #Conflicts:     147000 | #Constraints:      28982
3600.06/3610.00	c #Conflicts:     148000 | #Constraints:      29982
3600.06/3610.00	c INPROCESSING
3600.06/3610.00	c GARBAGE COLLECT
3600.06/3610.00	c #Conflicts:     149000 | #Constraints:      23099
3600.06/3610.00	c #Conflicts:     150000 | #Constraints:      24099
3600.06/3610.00	c #Conflicts:     151000 | #Constraints:      25099
3600.06/3610.00	c #Conflicts:     152000 | #Constraints:      26099
3600.06/3610.00	c #Conflicts:     153000 | #Constraints:      27099
3600.06/3610.00	c #Conflicts:     154000 | #Constraints:      28099
3600.06/3610.00	c #Conflicts:     155000 | #Constraints:      29099
3600.06/3610.00	c #Conflicts:     156000 | #Constraints:      30099
3600.06/3610.00	c INPROCESSING
3600.06/3610.00	c GARBAGE COLLECT
3600.06/3610.00	c #Conflicts:     157000 | #Constraints:      23024
3600.06/3610.00	c #Conflicts:     158000 | #Constraints:      24024
3600.06/3610.00	c #Conflicts:     159000 | #Constraints:      25024
3600.06/3610.00	c #Conflicts:     160000 | #Constraints:      26024
3600.06/3610.00	c #Conflicts:     161000 | #Constraints:      27024
3600.06/3610.00	c #Conflicts:     162000 | #Constraints:      28024
3600.06/3610.00	c #Conflicts:     163000 | #Constraints:      29024
3600.06/3610.00	c #Conflicts:     164000 | #Constraints:      30024
3600.06/3610.00	c #Conflicts:     165000 | #Constraints:      31024
3600.06/3610.00	c INPROCESSING
3600.06/3610.00	c GARBAGE COLLECT
3600.06/3610.00	c #Conflicts:     166000 | #Constraints:      23731
3600.06/3610.00	c #Conflicts:     167000 | #Constraints:      24731
3600.06/3610.00	c #Conflicts:     168000 | #Constraints:      25731
3600.06/3610.00	c #Conflicts:     169000 | #Constraints:      26731
3600.06/3610.00	c #Conflicts:     170000 | #Constraints:      27731
3600.06/3610.00	c #Conflicts:     171000 | #Constraints:      28731
3600.06/3610.00	c #Conflicts:     172000 | #Constraints:      29731
3600.06/3610.00	c #Conflicts:     173000 | #Constraints:      30731
3600.06/3610.00	c #Conflicts:     174000 | #Constraints:      31731
3600.06/3610.00	c INPROCESSING
3600.06/3610.00	c GARBAGE COLLECT
3600.06/3610.00	c #Conflicts:     175000 | #Constraints:      24219
3600.06/3610.00	c #Conflicts:     176000 | #Constraints:      25219
3600.06/3610.00	c #Conflicts:     177000 | #Constraints:      26219
3600.06/3610.00	c #Conflicts:     178000 | #Constraints:      27219
3600.06/3610.00	c #Conflicts:     179000 | #Constraints:      28219
3600.06/3610.00	c #Conflicts:     180000 | #Constraints:      29219
3600.06/3610.00	c #Conflicts:     181000 | #Constraints:      30219
3600.06/3610.00	c #Conflicts:     182000 | #Constraints:      31219
3600.06/3610.00	c INPROCESSING
3600.06/3610.00	c GARBAGE COLLECT
3600.06/3610.00	c #Conflicts:     183000 | #Constraints:      23535
3600.06/3610.00	c #Conflicts:     184000 | #Constraints:      24535
3600.06/3610.00	c #Conflicts:     185000 | #Constraints:      25535
3600.06/3610.00	c #Conflicts:     186000 | #Constraints:      26535
3600.06/3610.00	c #Conflicts:     187000 | #Constraints:      27535
3600.06/3610.00	c #Conflicts:     188000 | #Constraints:      28535
3600.06/3610.00	c #Conflicts:     189000 | #Constraints:      29535
3600.06/3610.00	c #Conflicts:     190000 | #Constraints:      30535
3600.06/3610.00	c #Conflicts:     191000 | #Constraints:      31535
3600.06/3610.00	c #Conflicts:     192000 | #Constraints:      32535
3600.06/3610.00	c INPROCESSING
3600.06/3610.00	c GARBAGE COLLECT
3600.06/3610.00	c #Conflicts:     193000 | #Constraints:      24635
3600.06/3610.00	c #Conflicts:     194000 | #Constraints:      25635
3600.06/3610.00	c #Conflicts:     195000 | #Constraints:      26635
3600.06/3610.00	c #Conflicts:     196000 | #Constraints:      27635
3600.06/3610.00	c #Conflicts:     197000 | #Constraints:      28635
3600.06/3610.00	c #Conflicts:     198000 | #Constraints:      29635
3600.06/3610.00	c #Conflicts:     199000 | #Constraints:      30635
3600.06/3610.00	c #Conflicts:     200000 | #Constraints:      31635
3600.06/3610.00	c #Conflicts:     201000 | #Constraints:      32635
3600.06/3610.00	c INPROCESSING
3600.06/3610.00	c GARBAGE COLLECT
3600.06/3610.00	c #Conflicts:     202000 | #Constraints:      24551
3600.06/3610.00	c #Conflicts:     203000 | #Constraints:      25551
3600.06/3610.00	c #Conflicts:     204000 | #Constraints:      26551
3600.06/3610.00	c #Conflicts:     205000 | #Constraints:      27551
3600.06/3610.00	c #Conflicts:     206000 | #Constraints:      28551
3600.06/3610.00	c #Conflicts:     207000 | #Constraints:      29551
3600.06/3610.00	c #Conflicts:     208000 | #Constraints:      30551
3600.06/3610.00	c #Conflicts:     209000 | #Constraints:      31551
3600.06/3610.00	c #Conflicts:     210000 | #Constraints:      32551
3600.06/3610.00	c INPROCESSING
3600.06/3610.00	c GARBAGE COLLECT
3600.06/3610.00	c #Conflicts:     211000 | #Constraints:      24243
3600.06/3610.00	c #Conflicts:     212000 | #Constraints:      25243
3600.06/3610.00	c #Conflicts:     213000 | #Constraints:      26243
3600.06/3610.00	c #Conflicts:     214000 | #Constraints:      27243
3600.06/3610.00	c #Conflicts:     215000 | #Constraints:      28243
3600.06/3610.00	c #Conflicts:     216000 | #Constraints:      29243
3600.06/3610.00	c #Conflicts:     217000 | #Constraints:      30243
3600.06/3610.00	c #Conflicts:     218000 | #Constraints:      31243
3600.06/3610.00	c #Conflicts:     219000 | #Constraints:      32243
3600.06/3610.00	c Program interrupted by user.
3600.06/3610.00	c cpu time 3583.58 s
3600.06/3610.00	c deterministic time 239301479635 2.39e+11
3600.06/3610.00	c optimization time 235.579 s
3600.06/3610.00	c total solve time 3048.81 s
3600.06/3610.00	c core-guided solve time 3048.81 s
3600.06/3610.00	c propagation time 1796.19 s
3600.06/3610.00	c conflict analysis time 1360.16 s
3600.06/3610.00	c propagations 556390558
3600.06/3610.00	c resolve steps 9352961
3600.06/3610.00	c decisions 25284173
3600.06/3610.00	c conflicts 219839
3600.06/3610.00	c restarts 510
3600.06/3610.00	c inprocessing phases 34
3600.06/3610.00	c input clauses 14605
3600.06/3610.00	c input cardinalities 1589
3600.06/3610.00	c input general constraints 0
3600.06/3610.00	c input average constraint length 719.65
3600.06/3610.00	c input average constraint degree 79.18
3600.06/3610.00	c learned clauses 142410
3600.06/3610.00	c learned cardinalities 175
3600.06/3610.00	c learned general constraints 77253
3600.06/3610.00	c learned average constraint length 3992.25
3600.06/3610.00	c learned average constraint degree 453599.80
3600.06/3610.00	c watched constraints 36015
3600.06/3610.00	c counting constraints 41238
3600.06/3610.00	c gcd simplifications 56483
3600.06/3610.00	c detected cardinalities 0
3600.06/3610.00	c weakened non-implied lits 497410575
3600.06/3610.00	c weakened non-implying lits 309432
3600.06/3610.00	c original variables 7930
3600.06/3610.00	c clausal propagations 21088569
3600.06/3610.00	c cardinality propagations 200316
3600.06/3610.00	c watched propagations 14974929
3600.06/3610.00	c counting propagations 512534121
3600.06/3610.00	c watch lookups 30075925581
3600.06/3610.00	c watch backjump lookups 28344537597
3600.06/3610.00	c watch checks 167136109486
3600.06/3610.00	c propagation checks 9380158994
3600.06/3610.00	c constraint additions 3201182574
3600.06/3610.00	c trail pops 581890671
3600.06/3610.00	c formula constraints 14604
3600.06/3610.00	c learned constraints 219838
3600.06/3610.00	c bound constraints 1590
3600.06/3610.00	c core-guided constraints 0
3600.06/3610.00	c encountered formula constraints 9018738
3600.06/3610.00	c encountered learned constraints 554053
3600.06/3610.00	c encountered bound constraints 9
3600.06/3610.00	c encountered core-guided constraints 0
3600.06/3610.00	c LP total time 0 s
3600.06/3610.00	c LP solve time 0 s
3600.06/3610.00	c LP constraints added 0
3600.06/3610.00	c LP constraints removed 0
3600.06/3610.00	c LP pivots internal 0
3600.06/3610.00	c LP pivots root 0
3600.06/3610.00	c LP calls 0
3600.06/3610.00	c LP optimalities 0
3600.06/3610.00	c LP no pivot count 0
3600.06/3610.00	c LP infeasibilities 0
3600.06/3610.00	c LP valid Farkas constraints 0
3600.06/3610.00	c LP learned Farkas constraints 0
3600.06/3610.00	c LP basis resets 0
3600.06/3610.00	c LP cycling count 0
3600.06/3610.00	c LP singular count 0
3600.06/3610.00	c LP no primal count 0
3600.06/3610.00	c LP no farkas count 0
3600.06/3610.00	c LP other issue count 0
3600.06/3610.00	c LP Gomory cuts 0
3600.06/3610.00	c LP learned cuts 0
3600.06/3610.00	c LP deleted cuts 0
3600.06/3610.00	c LP encountered Gomory constraints 0
3600.06/3610.00	c LP encountered Farkas constraints 0
3600.06/3610.00	c LP encountered learned Farkas constraints 0
3600.06/3610.00	c CG auxiliary variables introduced 0
3600.06/3610.00	c CG solutions found 0
3600.06/3610.00	c CG cores constructed 1589
3600.06/3610.00	c CG core cardinality constraints returned 0
3600.06/3610.00	c CG unit cores 0
3600.06/3610.00	c CG single cores 1589
3600.06/3610.00	c CG blocks removed during cardinality reduction 0
3600.06/3610.00	c CG first core best 0
3600.06/3610.00	c CG decision core best 0
3600.06/3610.00	c CG core reduction tie 0
3600.06/3610.00	c CG core degree average 1.00
3600.06/3610.00	c CG core slack average 3.27
3600.06/3610.00	c CG exhausted 0
3600.06/3610.00	c CG exhaust time 0 s
3600.06/3610.00	c CG trimmed 1297
3600.06/3610.00	c CG trim time 0.011386 s
3600.06/3610.00	c CG minimized 0
3600.06/3610.00	c CG minimize time 0 s
3600.06/3610.00	c CG am1 prop time 0.007116 s
3600.06/3610.00	c CG # am1s reformulated 0
3600.06/3610.00	c CG lower bound derived from am1s 0
3600.06/3610.00	c CG # clausal cores 1589
3600.06/3610.00	c CG # cardinality cores 0
3600.06/3610.00	c CG # pb cores 0
3600.06/3610.00	c CG # pb reforms 0
3600.06/3610.00	c CG # cores discarded because of pb reform 0
3600.06/3610.00	d LOWERBOUND 1589
3600.06/3610.00	d NCORES 1589
3600.06/3610.00	d NPBCORES 0
3600.06/3610.00	d NPBREFORM 0
3600.06/3610.00	d NTRIMMED 1297
3600.06/3610.00	d NEXHAUSTED 0
3600.06/3610.00	d NAM1S 0
3600.06/3610.00	d AM1LB 0
3600.06/3610.00	c [Papilo Statistics]
3600.06/3610.00	c prepro time 0.0128752s
3600.06/3610.00	c # tsx applied 0
3600.06/3610.00	c # tsx conflicts 0
3600.06/3610.00	c # bound changes 0
3600.06/3610.00	c # side changes 0
3600.06/3610.00	c # coef changes 0
3600.06/3610.00	c # rounds 1
3600.06/3610.00	c # deted vars 0
3600.06/3610.00	c # deted constrs 0
3600.06/3610.00	c # consecutive rounds of only bound changes 0
3600.06/3610.02	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 (52215 MiB free)
  memory of node 1: 64507 MiB (62985 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529111-1752260126/watcher-4529111-1752260126 -o /tmp/evaluation-result-4529111-1752260126/solver-4529111-1752260126 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1752256208-133553 --watchdog 3760 mixed-bag HOME/instance-4529111-1752260126.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=134173, runsolver pid=134170

[startup+0.100066 s]*
/proc/loadavg: 4.17 4.14 4.09 4/260 134174
/proc/meminfo: memFree=117933868/131250000 swapFree=33008868/33010684
[pid=134173] ppid=134170 vsize=134316 memory=62620 CPUtime=0.08 cores=1,3
/proc/134173/stat : 134173 (mixed-bag) R 134170 134173 133541 0 -1 4194304 13327 0 0 0 7 1 0 0 20 0 1 0 141692898 137539584 15655 18446744073709551615 4235264 15840557 140734627999616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50966528 140734628002202 140734628002279 140734628002279 140734628007883 0
/proc/134173/statm: 33579 15655 3968 2834 0 15784 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 134316 KiB
Current children cumulated memory: 62620 KiB

[startup+0.205509 s]*
/proc/loadavg: 4.17 4.14 4.09 4/260 134174
/proc/meminfo: memFree=117933868/131250000 swapFree=33008868/33010684
[pid=134173] ppid=134170 vsize=150684 memory=77064 CPUtime=0.18 cores=1,3
/proc/134173/stat : 134173 (mixed-bag) R 134170 134173 133541 0 -1 4194304 17242 0 0 0 16 2 0 0 20 0 1 0 141692898 154300416 19266 18446744073709551615 4235264 15840557 140734627999616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50966528 140734628002202 140734628002279 140734628002279 140734628007883 0
/proc/134173/statm: 37671 19266 4032 2834 0 19876 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 150684 KiB
Current children cumulated memory: 77064 KiB

[startup+0.305445 s]*
/proc/loadavg: 4.17 4.14 4.09 4/260 134174
/proc/meminfo: memFree=117901864/131250000 swapFree=33008868/33010684
[pid=134173] ppid=134170 vsize=225752 memory=135328 CPUtime=0.29 cores=1,3
/proc/134173/stat : 134173 (mixed-bag) R 134170 134173 133541 0 -1 4194304 31325 0 0 0 25 4 0 0 20 0 1 0 141692898 231170048 33832 18446744073709551615 4235264 15840557 140734627999616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50966528 140734628002202 140734628002279 140734628002279 140734628007883 0
/proc/134173/statm: 56438 33832 4096 2834 0 38643 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 225752 KiB
Current children cumulated memory: 135328 KiB

[startup+0.70013 s]
/proc/loadavg: 4.17 4.14 4.09 4/262 134180
/proc/meminfo: memFree=117837400/131250000 swapFree=33008868/33010684
[pid=134173] ppid=134170 vsize=305084 memory=215764 CPUtime=0.68 cores=1,3
/proc/134173/stat : 134173 (mixed-bag) R 134170 134173 133541 0 -1 4194304 51810 0 0 0 60 8 0 0 20 0 1 0 141692898 312406016 53941 18446744073709551615 4235264 15840557 140734627999616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50966528 140734628002202 140734628002279 140734628002279 140734628007883 0
/proc/134173/statm: 76271 53941 4288 2834 0 58476 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 305084 KiB
Current children cumulated memory: 215764 KiB

[startup+1.50016 s]
/proc/loadavg: 4.17 4.14 4.09 5/264 134211
/proc/meminfo: memFree=117805964/131250000 swapFree=33008868/33010684
[pid=134173] ppid=134170 vsize=325520 memory=228820 CPUtime=1.47 cores=1,3
/proc/134173/stat : 134173 (mixed-bag) R 134170 134173 133541 0 -1 4194304 55107 0 0 0 139 8 0 0 20 0 1 0 141692898 333332480 57205 18446744073709551615 4235264 15840557 140734627999616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50966528 140734628002202 140734628002279 140734628002279 140734628007883 0
/proc/134173/statm: 81380 57205 4288 2834 0 63585 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 325520 KiB
Current children cumulated memory: 228820 KiB

[startup+3.10541 s]
/proc/loadavg: 4.17 4.14 4.09 5/264 134211
/proc/meminfo: memFree=117742772/131250000 swapFree=33008868/33010684
[pid=134173] ppid=134170 vsize=342512 memory=238292 CPUtime=3.07 cores=1,3
/proc/134173/stat : 134173 (mixed-bag) R 134170 134173 133541 0 -1 4194304 57474 0 0 0 299 8 0 0 20 0 1 0 141692898 350732288 59573 18446744073709551615 4235264 15840557 140734627999616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50966528 140734628002202 140734628002279 140734628002279 140734628007883 0
/proc/134173/statm: 85628 59573 4288 2834 0 67833 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 342512 KiB
Current children cumulated memory: 238292 KiB

[startup+6.30017 s]
/proc/loadavg: 4.15 4.14 4.09 5/264 134211
/proc/meminfo: memFree=117718780/131250000 swapFree=33008868/33010684
[pid=134173] ppid=134170 vsize=404032 memory=286932 CPUtime=6.26 cores=1,3
/proc/134173/stat : 134173 (mixed-bag) R 134170 134173 133541 0 -1 4194304 69651 0 0 0 615 11 0 0 20 0 1 0 141692898 413728768 71733 18446744073709551615 4235264 15840557 140734627999616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50966528 140734628002202 140734628002279 140734628002279 140734628007883 0
/proc/134173/statm: 101008 71733 4288 2834 0 83213 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 404032 KiB
Current children cumulated memory: 286932 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.14 4.09 5/264 134211
/proc/meminfo: memFree=117670396/131250000 swapFree=33008868/33010684
[pid=134173] ppid=134170 vsize=409852 memory=294176 CPUtime=12.64 cores=1,3
/proc/134173/stat : 134173 (mixed-bag) R 134170 134173 133541 0 -1 4194304 72396 0 0 0 1253 11 0 0 20 0 1 0 141692898 419688448 73544 18446744073709551615 4235264 15840557 140734627999616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50966528 140734628002202 140734628002279 140734628002279 140734628007883 0
/proc/134173/statm: 102463 73544 4288 2834 0 84668 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 409852 KiB
Current children cumulated memory: 294176 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.13 4.09 5/264 134256
/proc/meminfo: memFree=117806780/131250000 swapFree=33008868/33010684
[pid=134173] ppid=134170 vsize=409852 memory=294176 CPUtime=25.41 cores=1,3
/proc/134173/stat : 134173 (mixed-bag) R 134170 134173 133541 0 -1 4194304 72397 0 0 0 2530 11 0 0 20 0 1 0 141692898 419688448 73544 18446744073709551615 4235264 15840557 140734627999616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50966528 140734628002202 140734628002279 140734628002279 140734628007883 0
/proc/134173/statm: 102463 73544 4288 2834 0 84668 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 409852 KiB
Current children cumulated memory: 294176 KiB

[startup+51.1054 s]
/proc/loadavg: 4.14 4.13 4.09 5/264 134257
/proc/meminfo: memFree=117753440/131250000 swapFree=33008868/33010684
[pid=134173] ppid=134170 vsize=409852 memory=294432 CPUtime=50.95 cores=1,3
/proc/134173/stat : 134173 (mixed-bag) R 134170 134173 133541 0 -1 4194304 72453 0 0 0 5084 11 0 0 20 0 1 0 141692898 419688448 73608 18446744073709551615 4235264 15840557 140734627999616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50966528 140734628002202 140734628002279 140734628002279 140734628007883 0
/proc/134173/statm: 102463 73608 4288 2834 0 84668 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 409852 KiB
Current children cumulated memory: 294432 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/264 134259
/proc/meminfo: memFree=117720392/131250000 swapFree=33008868/33010684
[pid=134173] ppid=134170 vsize=432112 memory=308768 CPUtime=102.01 cores=1,3
/proc/134173/stat : 134173 (mixed-bag) R 134170 134173 133541 0 -1 4194304 76119 0 0 0 10189 12 0 0 20 0 1 0 141692898 442482688 77192 18446744073709551615 4235264 15840557 140734627999616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50966528 140734628002202 140734628002279 140734628002279 140734628007883 0
/proc/134173/statm: 108028 77192 4288 2834 0 90233 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 432112 KiB
Current children cumulated memory: 308768 KiB

[startup+162.3 s]
/proc/loadavg: 4.34 4.19 4.12 5/263 134261
/proc/meminfo: memFree=117610832/131250000 swapFree=33008868/33010684
[pid=134173] ppid=134170 vsize=524400 memory=362784 CPUtime=161.85 cores=1,3
/proc/134173/stat : 134173 (mixed-bag) R 134170 134173 133541 0 -1 4194304 89716 0 0 0 16170 15 0 0 20 0 1 0 141692898 536985600 90696 18446744073709551615 4235264 15840557 140734627999616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50966528 140734628002202 140734628002279 140734628002279 140734628007883 0
/proc/134173/statm: 131100 90696 4288 2834 0 113305 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 524400 KiB
Current children cumulated memory: 362784 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.17 4.11 5/263 134263
/proc/meminfo: memFree=117462308/131250000 swapFree=33008868/33010684
[pid=134173] ppid=134170 vsize=618256 memory=421536 CPUtime=221.69 cores=1,3
/proc/134173/stat : 134173 (mixed-bag) R 134170 134173 133541 0 -1 4194304 104395 0 0 0 22152 17 0 0 20 0 1 0 141692898 633094144 105384 18446744073709551615 4235264 15840557 140734627999616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50966528 140734628002202 140734628002279 140734628002279 140734628007883 0
/proc/134173/statm: 154564 105384 4288 2834 0 136769 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 618256 KiB
Current children cumulated memory: 421536 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.15 4.10 5/262 134267
/proc/meminfo: memFree=117460348/131250000 swapFree=33008868/33010684
[pid=134173] ppid=134170 vsize=619540 memory=425120 CPUtime=281.53 cores=1,3
/proc/134173/stat : 134173 (mixed-bag) R 134170 134173 133541 0 -1 4194304 104771 0 0 0 28136 17 0 0 20 0 1 0 141692898 634408960 106280 18446744073709551615 4235264 15840557 140734627999616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50966528 140734628002202 140734628002279 140734628002279 140734628007883 0
/proc/134173/statm: 154885 106280 4288 2834 0 137090 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 619540 KiB
Current children cumulated memory: 425120 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/262 134325
/proc/meminfo: memFree=114323024/131250000 swapFree=33008868/33010684
[pid=134173] ppid=134170 vsize=670828 memory=509812 CPUtime=341.39 cores=1,3
/proc/134173/stat : 134173 (mixed-bag) R 134170 134173 133541 0 -1 4194304 107875 0 0 0 33717 422 0 0 20 0 1 0 141692898 686927872 127453 18446744073709551615 4235264 15840557 140734627999616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50966528 140734628002202 140734628002279 140734628002279 140734628007883 0
/proc/134173/statm: 167707 127453 4448 2834 0 149912 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 670828 KiB
Current children cumulated memory: 509812 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.15 4.10 5/262 134327
/proc/meminfo: memFree=114102032/131250000 swapFree=33008868/33010684
[pid=134173] ppid=134170 vsize=720916 memory=552120 CPUtime=401.22 cores=1,3
/proc/134173/stat : 134173 (mixed-bag) R 134170 134173 133541 0 -1 4194304 108605 0 0 0 39687 435 0 0 20 0 1 0 141692898 738217984 138030 18446744073709551615 4235264 15840557 140734627999616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50966528 140734628002202 140734628002279 140734628002279 140734628007883 0
/proc/134173/statm: 180229 138030 4448 2834 0 162434 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 720916 KiB
Current children cumulated memory: 552120 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/263 134334
/proc/meminfo: memFree=114025904/131250000 swapFree=33008868/33010684
[pid=134173] ppid=134170 vsize=720916 memory=623916 CPUtime=461.06 cores=1,3
/proc/134173/stat : 134173 (mixed-bag) R 134170 134173 133541 0 -1 4194304 108881 0 0 0 45657 449 0 0 20 0 1 0 141692898 738217984 155979 18446744073709551615 4235264 15840557 140734627999616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50966528 140734628002202 140734628002279 140734628002279 140734628007883 0
/proc/134173/statm: 180229 155979 4448 2834 0 162434 0
Current children cumulated CPU time: 461.06 s

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

Current children cumulated memory: 1032480 KiB

[startup+2862.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/262 134667
/proc/meminfo: memFree=107456112/131250000 swapFree=33008868/33010684
[pid=134173] ppid=134170 vsize=1176260 memory=1032736 CPUtime=2854.51 cores=1,3
/proc/134173/stat : 134173 (mixed-bag) R 134170 134173 133541 0 -1 4194304 116452 0 0 0 284286 1165 0 0 20 0 1 0 141692898 1204490240 258184 18446744073709551615 4235264 15840557 140734627999616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50966528 140734628002202 140734628002279 140734628002279 140734628007883 0
/proc/134173/statm: 294065 258184 4448 2834 0 276270 0
Current children cumulated CPU time: 2854.51 s
Current children cumulated vsize: 1176260 KiB
Current children cumulated memory: 1032736 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/263 134675
/proc/meminfo: memFree=107342292/131250000 swapFree=33008868/33010684
[pid=134173] ppid=134170 vsize=1252504 memory=1098152 CPUtime=2914.34 cores=1,3
/proc/134173/stat : 134173 (mixed-bag) R 134170 134173 133541 0 -1 4194304 126682 0 0 0 290245 1189 0 0 20 0 1 0 141692898 1282564096 274538 18446744073709551615 4235264 15840557 140734627999616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50966528 140734628002202 140734628002279 140734628002279 140734628007883 0
/proc/134173/statm: 313126 274538 4448 2834 0 295331 0
Current children cumulated CPU time: 2914.34 s
Current children cumulated vsize: 1252504 KiB
Current children cumulated memory: 1098152 KiB

[startup+2982.3 s]
/proc/loadavg: 4.41 4.22 4.13 5/263 134677
/proc/meminfo: memFree=107267024/131250000 swapFree=33008868/33010684
[pid=134173] ppid=134170 vsize=1257600 memory=1138000 CPUtime=2974.16 cores=1,3
/proc/134173/stat : 134173 (mixed-bag) R 134170 134173 133541 0 -1 4194304 127956 0 0 0 296193 1223 0 0 20 0 1 0 141692898 1287782400 284500 18446744073709551615 4235264 15840557 140734627999616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50966528 140734628002202 140734628002279 140734628002279 140734628007883 0
/proc/134173/statm: 314400 284500 4448 2834 0 296605 0
Current children cumulated CPU time: 2974.16 s
Current children cumulated vsize: 1257600 KiB
Current children cumulated memory: 1138000 KiB

[startup+3042.3 s]
/proc/loadavg: 4.20 4.19 4.12 5/263 134679
/proc/meminfo: memFree=107244096/131250000 swapFree=33008868/33010684
[pid=134173] ppid=134170 vsize=1266712 memory=1144784 CPUtime=3034 cores=1,3
/proc/134173/stat : 134173 (mixed-bag) R 134170 134173 133541 0 -1 4194304 129664 0 0 0 301979 1421 0 0 20 0 1 0 141692898 1297113088 286196 18446744073709551615 4235264 15840557 140734627999616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50966528 140734628002202 140734628002279 140734628002279 140734628007883 0
/proc/134173/statm: 316678 286196 4448 2834 0 298883 0
Current children cumulated CPU time: 3034 s
Current children cumulated vsize: 1266712 KiB
Current children cumulated memory: 1144784 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.17 4.12 5/263 134725
/proc/meminfo: memFree=105611220/131250000 swapFree=33008868/33010684
[pid=134173] ppid=134170 vsize=1835508 memory=1409052 CPUtime=3093.82 cores=1,3
/proc/134173/stat : 134173 (mixed-bag) R 134170 134173 133541 0 -1 4194304 168630 0 0 0 307841 1541 0 0 20 0 1 0 141692898 1879560192 352263 18446744073709551615 4235264 15840557 140734627999616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50966528 140734628002202 140734628002279 140734628002279 140734628007883 0
/proc/134173/statm: 458877 352263 4448 2834 0 441082 0
Current children cumulated CPU time: 3093.82 s
Current children cumulated vsize: 1835508 KiB
Current children cumulated memory: 1409052 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/263 134727
/proc/meminfo: memFree=104910056/131250000 swapFree=33008868/33010684
[pid=134173] ppid=134170 vsize=1842912 memory=1473216 CPUtime=3153.65 cores=1,3
/proc/134173/stat : 134173 (mixed-bag) R 134170 134173 133541 0 -1 4194304 172943 0 0 0 313789 1576 0 0 20 0 1 0 141692898 1887141888 368304 18446744073709551615 4235264 15840557 140734627999616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50966528 140734628002202 140734628002279 140734628002279 140734628007883 0
/proc/134173/statm: 460728 368304 4448 2834 0 442933 0
Current children cumulated CPU time: 3153.65 s
Current children cumulated vsize: 1842912 KiB
Current children cumulated memory: 1473216 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.14 4.11 5/263 134730
/proc/meminfo: memFree=104920848/131250000 swapFree=33008868/33010684
[pid=134173] ppid=134170 vsize=1842912 memory=1473216 CPUtime=3213.49 cores=1,3
/proc/134173/stat : 134173 (mixed-bag) R 134170 134173 133541 0 -1 4194304 172943 0 0 0 319771 1578 0 0 20 0 1 0 141692898 1887141888 368304 18446744073709551615 4235264 15840557 140734627999616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50966528 140734628002202 140734628002279 140734628002279 140734628007883 0
/proc/134173/statm: 460728 368304 4448 2834 0 442933 0
Current children cumulated CPU time: 3213.49 s
Current children cumulated vsize: 1842912 KiB
Current children cumulated memory: 1473216 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.12 4.10 5/263 134731
/proc/meminfo: memFree=104919384/131250000 swapFree=33008868/33010684
[pid=134173] ppid=134170 vsize=1842912 memory=1473216 CPUtime=3273.31 cores=1,3
/proc/134173/stat : 134173 (mixed-bag) R 134170 134173 133541 0 -1 4194304 172943 0 0 0 325750 1581 0 0 20 0 1 0 141692898 1887141888 368304 18446744073709551615 4235264 15840557 140734627999616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50966528 140734628002202 140734628002279 140734628002279 140734628007883 0
/proc/134173/statm: 460728 368304 4448 2834 0 442933 0
Current children cumulated CPU time: 3273.31 s
Current children cumulated vsize: 1842912 KiB
Current children cumulated memory: 1473216 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.11 4.10 5/265 134737
/proc/meminfo: memFree=104790480/131250000 swapFree=33008868/33010684
[pid=134173] ppid=134170 vsize=1842912 memory=1473216 CPUtime=3333.14 cores=1,3
/proc/134173/stat : 134173 (mixed-bag) R 134170 134173 133541 0 -1 4194304 172945 0 0 0 331719 1595 0 0 20 0 1 0 141692898 1887141888 368304 18446744073709551615 4235264 15840557 140734627999616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50966528 140734628002202 140734628002279 140734628002279 140734628007883 0
/proc/134173/statm: 460728 368304 4448 2834 0 442933 0
Current children cumulated CPU time: 3333.14 s
Current children cumulated vsize: 1842912 KiB
Current children cumulated memory: 1473216 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/265 134739
/proc/meminfo: memFree=104736940/131250000 swapFree=33008868/33010684
[pid=134173] ppid=134170 vsize=1842912 memory=1473344 CPUtime=3392.96 cores=1,3
/proc/134173/stat : 134173 (mixed-bag) R 134170 134173 133541 0 -1 4194304 172962 0 0 0 337696 1600 0 0 20 0 1 0 141692898 1887141888 368336 18446744073709551615 4235264 15840557 140734627999616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50966528 140734628002202 140734628002279 140734628002279 140734628007883 0
/proc/134173/statm: 460728 368336 4448 2834 0 442933 0
Current children cumulated CPU time: 3392.96 s
Current children cumulated vsize: 1842912 KiB
Current children cumulated memory: 1473344 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 134741
/proc/meminfo: memFree=104671972/131250000 swapFree=33008868/33010684
[pid=134173] ppid=134170 vsize=1842912 memory=1473344 CPUtime=3452.79 cores=1,3
/proc/134173/stat : 134173 (mixed-bag) R 134170 134173 133541 0 -1 4194304 172963 0 0 0 343660 1619 0 0 20 0 1 0 141692898 1887141888 368336 18446744073709551615 4235264 15840557 140734627999616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50966528 140734628002202 140734628002279 140734628002279 140734628007883 0
/proc/134173/statm: 460728 368336 4448 2834 0 442933 0
Current children cumulated CPU time: 3452.79 s
Current children cumulated vsize: 1842912 KiB
Current children cumulated memory: 1473344 KiB

[startup+3522.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/265 134743
/proc/meminfo: memFree=104521976/131250000 swapFree=33008868/33010684
[pid=134173] ppid=134170 vsize=1842912 memory=1473344 CPUtime=3512.61 cores=1,3
/proc/134173/stat : 134173 (mixed-bag) R 134170 134173 133541 0 -1 4194304 172977 0 0 0 349631 1630 0 0 20 0 1 0 141692898 1887141888 368336 18446744073709551615 4235264 15840557 140734627999616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50966528 140734628002202 140734628002279 140734628002279 140734628007883 0
/proc/134173/statm: 460728 368336 4448 2834 0 442933 0
Current children cumulated CPU time: 3512.61 s
Current children cumulated vsize: 1842912 KiB
Current children cumulated memory: 1473344 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 134749
/proc/meminfo: memFree=104516996/131250000 swapFree=33008868/33010684
[pid=134173] ppid=134170 vsize=1842912 memory=1473600 CPUtime=3572.43 cores=1,3
/proc/134173/stat : 134173 (mixed-bag) R 134170 134173 133541 0 -1 4194304 173015 0 0 0 355602 1641 0 0 20 0 1 0 141692898 1887141888 368400 18446744073709551615 4235264 15840557 140734627999616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50966528 140734628002202 140734628002279 140734628002279 140734628007883 0
/proc/134173/statm: 460728 368400 4448 2834 0 442933 0
Current children cumulated CPU time: 3572.43 s
Current children cumulated vsize: 1842912 KiB
Current children cumulated memory: 1473600 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.07 4.09 4.09 5/263 134751
/proc/meminfo: memFree=104518216/131250000 swapFree=33008868/33010684
[pid=134173] ppid=134170 vsize=1842912 memory=1473728 CPUtime=3600.06 cores=1,3
/proc/134173/stat : 134173 (mixed-bag) R 134170 134173 133541 0 -1 4194304 173056 0 0 0 358358 1648 0 0 20 0 1 0 141692898 1887141888 368432 18446744073709551615 4235264 15840557 140734627999616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50966528 140734628002202 140734628002279 140734628002279 140734628007883 0
/proc/134173/statm: 460728 368432 4448 2834 0 442933 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1842912 KiB
Current children cumulated memory: 1473728 KiB

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

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

# cumulated CPU time of all completed processes:  user=3583.59 s, system=16.5041 s

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

Child status: 0

Real time (s): 3610.03
CPU time (s): 3600.09
CPU user time (s): 3583.59
CPU system time (s): 16.5041
CPU usage (%): 99.7246
Max. virtual memory (cumulated for all children) (KiB): 1842912
Max. memory (cumulated for all children) (KiB): 1473728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.59
system time used= 16.5041
maximum resident set size= 1474240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173085
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= 146
involuntary context switches= 5638


# summary of solver processes directly reported to runsolver:
#   pid: 134173
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3583.59
#   total CPU system time (s): 16.5041

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.08338 second user time and 13.429 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-07-11 20:55:26
IDJOB=4529111
IDBENCH=155329
IDSOLVER=3386
FILE ID=nodeC013/4529111-1752260126
RUNJOBID= nodeC013-1752256208-133553
SLURM_JOB_ID= 9682595
Free space on /tmp= 432200 MiB

SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-methanosarcina.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529111-1752260126/watcher-4529111-1752260126 -o /tmp/evaluation-result-4529111-1752260126/solver-4529111-1752260126 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1752256208-133553 --watchdog 3760  mixed-bag HOME/instance-4529111-1752260126.opb

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

MD5SUM BENCH= e11b87324a00f3ba152132e9cc03d5bf
RANDOM SEED=2037709380

nodeC013 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.741
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.67
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		: 3599.951
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.67
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.016
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.67
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.853
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.67
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.844
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.67
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.884
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.67
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.67
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		: 3599.150
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        117965792 kB
MemAvailable:   129127692 kB
Buffers:            1668 kB
Cached:         11908172 kB
SwapCached:          160 kB
Active:           985656 kB
Inactive:       11465740 kB
Active(anon):     557996 kB
Inactive(anon):     4868 kB
Active(file):     427660 kB
Inactive(file): 11460872 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008868 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             16096 kB
Writeback:             0 kB
AnonPages:        544548 kB
Mapped:           126276 kB
Shmem:             21308 kB
KReclaimable:     224816 kB
Slab:             319068 kB
SReclaimable:     224816 kB
SUnreclaim:        94252 kB
KernelStack:        4240 kB
PageTables:         4252 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     882056 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     47104 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:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432148 MiB
End job on nodeC013 at 2025-07-11 21:55:37