0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4520759-1751559344.opb'
0.00/0.01 c read 0.21MB (2.95ms)
0.00/0.01 c [cnf: #variables 4060 #clauses 4061 #duplicates 0 #arr 20300]
0.00/0.03 c output proof to 'PROOFDIR/proof-4520759-1751559344'
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.03 c [group: #orbits ~= 2] (2.40ms)
0.00/0.03 c
0.00/0.03 c detect special group actions
0.00/0.03 c probe for Johnson action (limit=64)
0.00/0.04 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.04 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.04 c (2.43ms)
0.00/0.04 c
0.00/0.04 c detect symmetries on remainder
0.00/0.04 c [graph: #vertices 16241 #edges 56840]
0.00/0.04 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.05 c [group: #symmetries 8.12*10^3 #generators 3] (12.80ms)
0.00/0.05 c
0.00/0.05 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.05 c ran it=0, +gens=3
0.16/0.21 c con best_support=8064, best_gens=1, +gens=253
0.16/0.21 c (158.41ms)
0.16/0.21 c
0.16/0.21 c finalize break order and special generators
0.16/0.21 c
0.16/0.21 c add generic predicates (break_depth=20)
0.16/0.23 c added predicates for 259 generators (14.32ms)
1.15/1.24 c
1.15/1.24 c generation finished
1.15/1.24 c [sbp: #constraints 10730 #add_vars 3515]
1.15/1.24 c
1.15/1.24 c write result to 'HOME/instance-4520759-1751559344.opb.pre'
1.15/1.25 c wrote 0.60MB (1.51ms)
1.15/1.25 c ------------------------------------------------------------------
1.15/1.25 c 1038.23ms 83.76% other
1.15/1.25 c 158.41ms 12.78% optimize_gens
1.15/1.25 c 14.32ms 1.16% break_generic
1.15/1.25 c 12.80ms 1.03% detect_generic
1.15/1.25 c 6.42ms 0.52% finalize_order
1.15/1.25 c 2.95ms 0.24% parse
1.15/1.25 c 2.43ms 0.20% detect_special
1.15/1.25 c 2.40ms 0.19% approx_orbits
1.15/1.25 c 1.51ms 0.12% output
1.15/1.25 c ───────────────────────────────────────────────
1.15/1.25 c 1239.47ms 100% total
1.15/1.25 c ------------------------------------------------------------------
1.34/2.16 c RoundingSat 2
1.34/2.16 c branch pb25
1.34/2.16 c commit 63f22ad
1.34/2.26 c #variables 7575 #constraints 14790
1.34/2.26 c objective is ce32
1.34/2.53 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.34/2.53 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
1.34/2.53 c bounds 1288 >= 0 @ 0.339326
1.34/2.66 c bounds 1287 >= 0 @ 0.44984
1.34/2.66 c bounds 1287 >= 1 @ 0.45092
1.34/2.66 c bounds 1287 >= 2 @ 0.452022
1.34/2.66 c bounds 1287 >= 3 @ 0.45312
1.34/2.66 c bounds 1287 >= 4 @ 0.454191
1.34/2.66 c bounds 1287 >= 5 @ 0.455227
1.34/2.66 c bounds 1287 >= 6 @ 0.455396
1.34/2.66 c bounds 1287 >= 7 @ 0.456406
1.34/2.67 c bounds 1287 >= 8 @ 0.457517
1.34/2.67 c bounds 1287 >= 9 @ 0.458552
1.34/2.67 c bounds 1287 >= 10 @ 0.459663
1.34/2.67 c bounds 1287 >= 11 @ 0.460703
1.34/2.67 c bounds 1287 >= 12 @ 0.461747
1.34/2.67 c bounds 1287 >= 13 @ 0.462795
1.34/2.67 c bounds 1287 >= 14 @ 0.463843
1.34/2.67 c bounds 1287 >= 15 @ 0.464884
1.34/2.67 c bounds 1287 >= 16 @ 0.465991
1.34/2.67 c bounds 1287 >= 17 @ 0.466188
1.34/2.68 c bounds 1287 >= 18 @ 0.466232
1.34/2.68 c bounds 1287 >= 19 @ 0.466264
1.34/2.68 c bounds 1287 >= 20 @ 0.467142
1.34/2.68 c bounds 1287 >= 21 @ 0.468243
1.34/2.68 c bounds 1287 >= 22 @ 0.469285
1.34/2.68 c bounds 1287 >= 23 @ 0.470323
1.34/2.68 c bounds 1287 >= 24 @ 0.47143
1.34/2.68 c bounds 1287 >= 25 @ 0.472545
1.34/2.68 c bounds 1287 >= 26 @ 0.473662
1.34/2.69 c bounds 1287 >= 27 @ 0.47386
1.34/2.69 c bounds 1287 >= 28 @ 0.474832
1.34/2.69 c bounds 1287 >= 29 @ 0.475859
1.34/2.69 c bounds 1287 >= 30 @ 0.476957
1.34/2.69 c bounds 1287 >= 31 @ 0.477997
1.34/2.69 c bounds 1287 >= 32 @ 0.479037
1.34/2.69 c bounds 1287 >= 33 @ 0.480158
1.34/2.69 c bounds 1287 >= 34 @ 0.480315
1.34/2.69 c bounds 1287 >= 35 @ 0.481235
1.34/2.70 c bounds 1287 >= 36 @ 0.482358
1.34/2.70 c bounds 1287 >= 37 @ 0.483404
1.34/2.70 c bounds 1287 >= 38 @ 0.484456
1.34/2.70 c bounds 1287 >= 39 @ 0.485491
1.34/2.70 c bounds 1287 >= 40 @ 0.486613
1.34/2.70 c bounds 1287 >= 41 @ 0.487723
1.34/2.70 c bounds 1287 >= 42 @ 0.488758
1.34/2.70 c bounds 1287 >= 43 @ 0.488957
1.34/2.70 c bounds 1287 >= 44 @ 0.489858
1.34/2.70 c bounds 1287 >= 45 @ 0.490894
1.34/2.71 c bounds 1287 >= 46 @ 0.492012
1.34/2.71 c bounds 1287 >= 47 @ 0.493039
1.34/2.71 c bounds 1287 >= 48 @ 0.494149
1.34/2.71 c bounds 1287 >= 49 @ 0.495262
1.34/2.71 c bounds 1287 >= 50 @ 0.496302
1.34/2.71 c bounds 1287 >= 51 @ 0.497333
1.34/2.71 c bounds 1287 >= 52 @ 0.498364
1.34/2.71 c bounds 1287 >= 53 @ 0.499468
1.34/2.71 c bounds 1287 >= 54 @ 0.500564
1.34/2.72 c bounds 1287 >= 55 @ 0.501655
1.34/2.72 c bounds 1287 >= 56 @ 0.502752
1.34/2.72 c bounds 1287 >= 57 @ 0.50379
1.34/2.72 c bounds 1287 >= 58 @ 0.50483
1.34/2.72 c bounds 1287 >= 59 @ 0.505886
1.34/2.72 c bounds 1287 >= 60 @ 0.506917
1.34/2.72 c bounds 1287 >= 61 @ 0.50796
1.34/2.72 c bounds 1287 >= 62 @ 0.509009
1.34/2.72 c bounds 1287 >= 63 @ 0.510055
1.34/2.73 c bounds 1287 >= 64 @ 0.511166
1.34/2.73 c bounds 1287 >= 65 @ 0.512263
1.34/2.73 c bounds 1287 >= 66 @ 0.513292
1.34/2.73 c bounds 1287 >= 67 @ 0.514312
1.34/2.73 c bounds 1287 >= 68 @ 0.515354
1.34/2.73 c bounds 1287 >= 69 @ 0.51638
1.34/2.73 c bounds 1287 >= 70 @ 0.517402
1.34/2.73 c bounds 1287 >= 71 @ 0.518491
1.34/2.73 c bounds 1287 >= 72 @ 0.519519
1.34/2.73 c bounds 1287 >= 73 @ 0.520547
1.34/2.74 c bounds 1287 >= 74 @ 0.521568
1.34/2.74 c bounds 1287 >= 75 @ 0.522605
1.34/2.74 c bounds 1287 >= 76 @ 0.523631
1.34/2.74 c bounds 1287 >= 77 @ 0.524664
1.34/2.74 c bounds 1287 >= 78 @ 0.525755
1.34/2.74 c bounds 1287 >= 79 @ 0.526844
1.34/2.74 c bounds 1287 >= 80 @ 0.527887
1.34/2.74 c bounds 1287 >= 81 @ 0.528368
1.34/2.74 c bounds 1287 >= 82 @ 0.52936
1.34/2.75 c bounds 1287 >= 83 @ 0.530369
1.34/2.75 c bounds 1287 >= 84 @ 0.531381
1.34/2.75 c bounds 1287 >= 85 @ 0.532386
1.34/2.75 c bounds 1287 >= 86 @ 0.533396
1.34/2.75 c bounds 1287 >= 87 @ 0.534424
1.34/2.75 c bounds 1287 >= 88 @ 0.535436
1.34/2.75 c bounds 1287 >= 89 @ 0.536518
1.34/2.75 c bounds 1287 >= 90 @ 0.537531
1.34/2.75 c bounds 1287 >= 91 @ 0.538613
1.34/2.75 c bounds 1287 >= 92 @ 0.539682
1.34/2.76 c bounds 1287 >= 93 @ 0.540759
1.34/2.76 c bounds 1287 >= 94 @ 0.540967
1.34/2.76 c bounds 1287 >= 95 @ 0.541846
1.34/2.76 c bounds 1287 >= 96 @ 0.542861
1.34/2.76 c bounds 1287 >= 97 @ 0.543875
1.34/2.76 c bounds 1287 >= 98 @ 0.544056
1.34/2.76 c bounds 1287 >= 99 @ 0.544056
1.34/2.76 c bounds 1287 >= 100 @ 0.544925
1.34/2.76 c bounds 1287 >= 101 @ 0.545931
1.34/2.76 c bounds 1287 >= 102 @ 0.546997
1.34/2.77 c bounds 1287 >= 103 @ 0.548019
1.34/2.77 c bounds 1287 >= 104 @ 0.549035
1.34/2.77 c bounds 1287 >= 105 @ 0.550111
1.34/2.77 c bounds 1287 >= 106 @ 0.551121
1.34/2.77 c bounds 1287 >= 107 @ 0.552131
1.34/2.77 c bounds 1287 >= 108 @ 0.553139
1.34/2.77 c bounds 1287 >= 109 @ 0.554207
1.34/2.77 c bounds 1287 >= 110 @ 0.555229
1.34/2.77 c bounds 1287 >= 111 @ 0.556241
1.34/2.78 c bounds 1287 >= 112 @ 0.557322
1.34/2.78 c bounds 1287 >= 113 @ 0.558325
1.34/2.78 c bounds 1287 >= 114 @ 0.55934
1.34/2.78 c bounds 1287 >= 115 @ 0.560418
1.34/2.78 c bounds 1287 >= 116 @ 0.561429
1.34/2.78 c bounds 1287 >= 117 @ 0.562504
1.34/2.78 c bounds 1287 >= 118 @ 0.563513
1.34/2.78 c bounds 1287 >= 119 @ 0.564527
1.34/2.78 c bounds 1287 >= 120 @ 0.565526
1.34/2.78 c bounds 1287 >= 121 @ 0.56653
1.34/2.79 c bounds 1287 >= 122 @ 0.567531
1.34/2.79 c bounds 1287 >= 123 @ 0.568545
1.34/2.79 c bounds 1287 >= 124 @ 0.569554
1.34/2.79 c bounds 1287 >= 125 @ 0.570559
1.34/2.79 c bounds 1287 >= 126 @ 0.571565
1.34/2.79 c bounds 1287 >= 127 @ 0.572633
1.34/2.79 c bounds 1287 >= 128 @ 0.573651
1.34/2.79 c bounds 1287 >= 129 @ 0.574665
1.34/2.79 c bounds 1287 >= 130 @ 0.575743
1.34/2.79 c bounds 1287 >= 131 @ 0.576749
1.34/2.80 c bounds 1287 >= 132 @ 0.577768
1.34/2.80 c bounds 1287 >= 133 @ 0.578781
1.34/2.80 c bounds 1287 >= 134 @ 0.579858
1.34/2.80 c bounds 1287 >= 135 @ 0.580881
1.34/2.80 c bounds 1287 >= 136 @ 0.5819
1.34/2.80 c bounds 1287 >= 137 @ 0.582907
1.34/2.80 c bounds 1287 >= 138 @ 0.583911
1.34/2.80 c bounds 1287 >= 139 @ 0.584921
1.34/2.80 c bounds 1287 >= 140 @ 0.585917
1.34/2.81 c bounds 1287 >= 141 @ 0.587002
1.34/2.81 c bounds 1287 >= 142 @ 0.588013
1.34/2.81 c bounds 1287 >= 143 @ 0.58902
1.34/2.81 c bounds 1287 >= 144 @ 0.590095
1.34/2.81 c bounds 1287 >= 145 @ 0.591164
1.34/2.81 c bounds 1287 >= 146 @ 0.592166
1.34/2.81 c bounds 1287 >= 147 @ 0.593193
1.34/2.81 c bounds 1287 >= 148 @ 0.594205
1.34/2.81 c bounds 1287 >= 149 @ 0.595218
1.34/2.81 c bounds 1287 >= 150 @ 0.596222
1.34/2.82 c bounds 1287 >= 151 @ 0.597292
1.34/2.82 c bounds 1287 >= 152 @ 0.598296
1.34/2.82 c bounds 1287 >= 153 @ 0.599295
1.34/2.82 c bounds 1287 >= 154 @ 0.60036
1.34/2.82 c bounds 1287 >= 155 @ 0.601366
1.34/2.82 c bounds 1287 >= 156 @ 0.602375
1.34/2.82 c bounds 1287 >= 157 @ 0.603373
1.34/2.82 c bounds 1287 >= 158 @ 0.604432
1.34/2.82 c bounds 1287 >= 159 @ 0.605432
1.34/2.82 c bounds 1287 >= 160 @ 0.606438
1.34/2.83 c bounds 1287 >= 161 @ 0.607434
1.34/2.83 c bounds 1287 >= 162 @ 0.608436
1.34/2.83 c bounds 1287 >= 163 @ 0.609442
1.34/2.83 c bounds 1287 >= 164 @ 0.610444
1.34/2.83 c bounds 1287 >= 165 @ 0.611445
1.34/2.83 c bounds 1287 >= 166 @ 0.612501
1.34/2.83 c bounds 1287 >= 167 @ 0.613571
1.34/2.83 c bounds 1287 >= 168 @ 0.614569
1.34/2.83 c bounds 1287 >= 169 @ 0.615574
1.34/2.84 c bounds 1287 >= 170 @ 0.616571
1.34/2.84 c bounds 1287 >= 171 @ 0.617565
1.34/2.84 c bounds 1287 >= 172 @ 0.618563
1.34/2.84 c bounds 1287 >= 173 @ 0.619564
1.34/2.84 c bounds 1287 >= 174 @ 0.620563
1.34/2.84 c bounds 1287 >= 175 @ 0.621567
1.34/2.84 c bounds 1287 >= 176 @ 0.622566
1.34/2.84 c bounds 1287 >= 177 @ 0.623567
1.34/2.84 c bounds 1287 >= 178 @ 0.624557
1.34/2.84 c bounds 1287 >= 179 @ 0.625615
1.34/2.85 c bounds 1287 >= 180 @ 0.626619
1.34/2.85 c bounds 1287 >= 181 @ 0.627623
1.34/2.85 c bounds 1287 >= 182 @ 0.628686
1.34/2.85 c bounds 1287 >= 183 @ 0.629686
1.34/2.85 c bounds 1287 >= 184 @ 0.630685
1.34/2.85 c bounds 1287 >= 185 @ 0.631745
1.34/2.85 c bounds 1287 >= 186 @ 0.632733
1.34/2.85 c bounds 1287 >= 187 @ 0.633728
1.34/2.85 c bounds 1287 >= 188 @ 0.634727
1.34/2.85 c bounds 1287 >= 189 @ 0.635726
1.34/2.86 c bounds 1287 >= 190 @ 0.63672
1.34/2.86 c bounds 1287 >= 191 @ 0.637706
1.34/2.86 c bounds 1287 >= 192 @ 0.638763
1.34/2.86 c bounds 1287 >= 193 @ 0.639816
1.34/2.86 c bounds 1287 >= 194 @ 0.640803
1.34/2.86 c bounds 1287 >= 195 @ 0.641813
1.34/2.86 c bounds 1287 >= 196 @ 0.642811
1.34/2.86 c bounds 1287 >= 197 @ 0.643793
1.34/2.86 c bounds 1287 >= 198 @ 0.64478
1.34/2.86 c bounds 1287 >= 199 @ 0.645826
1.34/2.87 c bounds 1287 >= 200 @ 0.64688
1.34/2.87 c bounds 1287 >= 201 @ 0.64793
1.34/2.87 c bounds 1287 >= 202 @ 0.648982
1.34/2.87 c bounds 1287 >= 203 @ 0.649977
1.34/2.87 c bounds 1287 >= 204 @ 0.650967
1.34/2.87 c bounds 1287 >= 205 @ 0.651956
1.34/2.87 c bounds 1287 >= 206 @ 0.652191
1.34/2.87 c bounds 1287 >= 207 @ 0.653118
1.34/2.87 c bounds 1287 >= 208 @ 0.654169
1.34/2.87 c bounds 1287 >= 209 @ 0.655161
1.34/2.88 c bounds 1287 >= 210 @ 0.656147
1.34/2.88 c bounds 1287 >= 211 @ 0.657132
1.34/2.88 c bounds 1287 >= 212 @ 0.658125
1.34/2.88 c bounds 1287 >= 213 @ 0.659195
1.34/2.88 c bounds 1287 >= 214 @ 0.659375
1.34/2.88 c bounds 1287 >= 215 @ 0.660316
1.34/2.88 c bounds 1287 >= 216 @ 0.661363
1.34/2.88 c bounds 1287 >= 217 @ 0.662352
1.34/2.88 c bounds 1287 >= 218 @ 0.663342
1.34/2.89 c bounds 1287 >= 219 @ 0.664323
1.34/2.89 c bounds 1287 >= 220 @ 0.665315
1.34/2.89 c bounds 1287 >= 221 @ 0.666311
1.34/2.89 c bounds 1287 >= 222 @ 0.667307
1.34/2.89 c bounds 1287 >= 223 @ 0.668295
1.34/2.89 c bounds 1287 >= 224 @ 0.669277
1.34/2.89 c bounds 1287 >= 225 @ 0.670261
1.34/2.89 c bounds 1287 >= 226 @ 0.671345
1.34/2.89 c bounds 1287 >= 227 @ 0.672337
1.34/2.89 c bounds 1287 >= 228 @ 0.672337
1.34/2.90 c bounds 1287 >= 229 @ 0.673313
1.34/2.90 c bounds 1287 >= 230 @ 0.674315
1.34/2.90 c bounds 1287 >= 231 @ 0.675301
1.34/2.90 c bounds 1287 >= 232 @ 0.676321
1.34/2.90 c bounds 1287 >= 233 @ 0.677312
1.34/2.90 c bounds 1287 >= 234 @ 0.67831
1.34/2.90 c bounds 1287 >= 235 @ 0.679297
1.34/2.90 c bounds 1287 >= 236 @ 0.68029
1.34/2.90 c bounds 1287 >= 237 @ 0.681278
1.34/2.90 c bounds 1287 >= 238 @ 0.682258
1.34/2.91 c bounds 1287 >= 239 @ 0.68331
1.34/2.91 c bounds 1287 >= 240 @ 0.684301
1.34/2.91 c bounds 1287 >= 241 @ 0.685295
1.34/2.91 c bounds 1287 >= 242 @ 0.686288
1.34/2.91 c bounds 1287 >= 243 @ 0.687279
1.34/2.91 c bounds 1287 >= 244 @ 0.688272
1.34/2.91 c bounds 1287 >= 245 @ 0.689266
1.34/2.91 c bounds 1287 >= 246 @ 0.690253
1.34/2.91 c bounds 1287 >= 247 @ 0.691237
1.34/2.91 c bounds 1287 >= 248 @ 0.692229
1.34/2.92 c bounds 1287 >= 249 @ 0.693219
1.34/2.92 c bounds 1287 >= 250 @ 0.694221
1.34/2.92 c bounds 1287 >= 251 @ 0.6952
1.34/2.92 c bounds 1287 >= 252 @ 0.696189
1.34/2.92 c bounds 1287 >= 253 @ 0.696274
1.34/2.92 c bounds 1287 >= 254 @ 0.697282
1.34/2.92 c bounds 1287 >= 255 @ 0.698269
1.34/2.92 c bounds 1287 >= 256 @ 0.699265
1.34/2.92 c bounds 1287 >= 257 @ 0.700249
1.34/2.92 c bounds 1287 >= 258 @ 0.70124
1.34/2.93 c bounds 1287 >= 259 @ 0.701474
1.34/2.93 c bounds 1287 >= 260 @ 0.70232
1.34/2.93 c bounds 1287 >= 261 @ 0.703317
1.34/2.93 c bounds 1287 >= 262 @ 0.704173
1.34/2.93 c bounds 1287 >= 263 @ 0.704258
1.34/2.93 c bounds 1287 >= 264 @ 0.705243
1.34/2.93 c bounds 1287 >= 265 @ 0.706232
1.34/2.93 c bounds 1287 >= 266 @ 0.707215
1.34/2.93 c bounds 1287 >= 267 @ 0.708198
1.34/2.93 c bounds 1287 >= 268 @ 0.709194
1.34/2.94 c bounds 1287 >= 269 @ 0.710288
1.34/2.94 c bounds 1287 >= 270 @ 0.71131
1.34/2.94 c bounds 1287 >= 271 @ 0.712307
1.34/2.94 c bounds 1287 >= 272 @ 0.713296
1.34/2.94 c bounds 1287 >= 273 @ 0.714289
1.34/2.94 c bounds 1287 >= 274 @ 0.715275
1.34/2.94 c bounds 1287 >= 275 @ 0.71625
1.34/2.94 c bounds 1287 >= 276 @ 0.717284
1.34/2.94 c bounds 1287 >= 277 @ 0.718263
1.34/2.94 c bounds 1287 >= 278 @ 0.71925
1.34/2.95 c bounds 1287 >= 279 @ 0.720223
1.34/2.95 c bounds 1287 >= 280 @ 0.721216
1.34/2.95 c bounds 1287 >= 281 @ 0.722197
1.34/2.95 c bounds 1287 >= 282 @ 0.723178
1.34/2.95 c bounds 1287 >= 283 @ 0.724166
1.34/2.95 c bounds 1287 >= 284 @ 0.725143
1.34/2.95 c bounds 1287 >= 285 @ 0.72618
1.34/2.95 c bounds 1287 >= 286 @ 0.727163
1.34/2.95 c bounds 1287 >= 287 @ 0.72815
1.34/2.95 c bounds 1287 >= 288 @ 0.729125
1.34/2.96 c bounds 1287 >= 289 @ 0.730111
1.34/2.96 c bounds 1287 >= 290 @ 0.731078
1.34/2.96 c bounds 1287 >= 291 @ 0.732062
1.34/2.96 c bounds 1287 >= 292 @ 0.733048
1.34/2.96 c bounds 1287 >= 293 @ 0.734093
1.34/2.96 c bounds 1287 >= 294 @ 0.735073
1.34/2.96 c bounds 1287 >= 295 @ 0.736051
1.34/2.96 c bounds 1287 >= 296 @ 0.737034
1.34/2.96 c bounds 1287 >= 297 @ 0.738054
1.34/2.96 c bounds 1287 >= 298 @ 0.739039
1.34/2.96 c bounds 1287 >= 299 @ 0.740021
1.34/2.97 c bounds 1287 >= 300 @ 0.74101
1.34/2.97 c bounds 1287 >= 301 @ 0.741991
1.34/2.97 c bounds 1287 >= 302 @ 0.742968
1.34/2.97 c bounds 1287 >= 303 @ 0.743989
1.34/2.97 c bounds 1287 >= 304 @ 0.745015
1.34/2.97 c bounds 1287 >= 305 @ 0.746043
1.34/2.97 c bounds 1287 >= 306 @ 0.747017
1.34/2.97 c bounds 1287 >= 307 @ 0.74799
1.34/2.97 c bounds 1287 >= 308 @ 0.748964
1.34/2.97 c bounds 1287 >= 309 @ 0.749938
1.34/2.98 c bounds 1287 >= 310 @ 0.750908
1.34/2.98 c bounds 1287 >= 311 @ 0.751045
1.34/2.98 c bounds 1287 >= 312 @ 0.751864
1.34/2.98 c bounds 1287 >= 313 @ 0.752047
1.34/2.98 c bounds 1287 >= 314 @ 0.752818
1.34/2.98 c bounds 1287 >= 315 @ 0.753792
1.34/2.98 c bounds 1287 >= 316 @ 0.754758
1.34/2.98 c bounds 1287 >= 317 @ 0.755784
1.34/2.98 c bounds 1287 >= 318 @ 0.756761
1.34/2.98 c bounds 1287 >= 319 @ 0.757732
1.34/2.99 c bounds 1287 >= 320 @ 0.758762
1.34/2.99 c bounds 1287 >= 321 @ 0.759727
1.34/2.99 c bounds 1287 >= 322 @ 0.760695
1.34/2.99 c bounds 1287 >= 323 @ 0.761658
1.34/2.99 c bounds 1287 >= 324 @ 0.762627
1.34/2.99 c bounds 1287 >= 325 @ 0.763643
1.34/2.99 c bounds 1287 >= 326 @ 0.764607
1.34/2.99 c bounds 1287 >= 327 @ 0.765573
1.34/2.99 c bounds 1287 >= 328 @ 0.766538
1.34/2.99 c bounds 1287 >= 329 @ 0.767504
1.34/3.00 c bounds 1287 >= 330 @ 0.76849
1.34/3.00 c bounds 1287 >= 331 @ 0.769492
1.34/3.00 c bounds 1287 >= 332 @ 0.770482
1.34/3.00 c bounds 1287 >= 333 @ 0.771466
1.34/3.00 c bounds 1287 >= 334 @ 0.772441
2.16/3.00 c bounds 1287 >= 335 @ 0.773485
2.16/3.00 c bounds 1287 >= 336 @ 0.774458
2.16/3.00 c bounds 1287 >= 337 @ 0.775434
2.16/3.00 c bounds 1287 >= 338 @ 0.7764
2.16/3.01 c bounds 1287 >= 339 @ 0.777365
2.16/3.01 c bounds 1287 >= 340 @ 0.778341
2.16/3.01 c bounds 1287 >= 341 @ 0.77931
2.16/3.01 c bounds 1287 >= 342 @ 0.780275
2.16/3.01 c bounds 1287 >= 343 @ 0.781244
2.16/3.01 c bounds 1287 >= 344 @ 0.782203
2.16/3.01 c bounds 1287 >= 345 @ 0.783173
2.16/3.01 c bounds 1287 >= 346 @ 0.784143
2.16/3.01 c bounds 1287 >= 347 @ 0.785116
2.16/3.01 c bounds 1287 >= 348 @ 0.786091
2.16/3.01 c bounds 1287 >= 349 @ 0.78706
2.16/3.02 c bounds 1287 >= 350 @ 0.788032
2.16/3.02 c bounds 1287 >= 351 @ 0.788997
2.16/3.02 c bounds 1287 >= 352 @ 0.78998
2.16/3.02 c bounds 1287 >= 353 @ 0.790951
2.16/3.02 c bounds 1287 >= 354 @ 0.791094
2.16/3.02 c bounds 1287 >= 355 @ 0.792021
2.16/3.02 c bounds 1287 >= 356 @ 0.792985
2.16/3.02 c bounds 1287 >= 357 @ 0.793965
2.16/3.02 c bounds 1287 >= 358 @ 0.794087
2.16/3.02 c bounds 1287 >= 359 @ 0.794914
2.16/3.03 c bounds 1287 >= 360 @ 0.795924
2.16/3.03 c bounds 1287 >= 361 @ 0.79608
2.16/3.03 c bounds 1287 >= 362 @ 0.79608
2.16/3.03 c bounds 1287 >= 363 @ 0.796868
2.16/3.03 c bounds 1287 >= 364 @ 0.797872
2.16/3.03 c bounds 1287 >= 365 @ 0.798071
2.16/3.03 c bounds 1287 >= 366 @ 0.798823
2.16/3.03 c bounds 1287 >= 367 @ 0.799781
2.16/3.03 c bounds 1287 >= 368 @ 0.800792
2.16/3.03 c bounds 1287 >= 369 @ 0.801755
2.16/3.04 c bounds 1287 >= 370 @ 0.802716
2.16/3.04 c bounds 1287 >= 371 @ 0.803693
2.16/3.04 c bounds 1287 >= 372 @ 0.804659
2.16/3.04 c bounds 1287 >= 373 @ 0.80562
2.16/3.04 c bounds 1287 >= 374 @ 0.806581
2.16/3.04 c bounds 1287 >= 375 @ 0.80754
2.16/3.04 c bounds 1287 >= 376 @ 0.808509
2.16/3.04 c bounds 1287 >= 377 @ 0.809463
2.16/3.04 c bounds 1287 >= 378 @ 0.810421
2.16/3.04 c bounds 1287 >= 379 @ 0.811376
2.16/3.05 c bounds 1287 >= 380 @ 0.812335
2.16/3.05 c bounds 1287 >= 381 @ 0.813291
2.16/3.05 c bounds 1287 >= 382 @ 0.814299
2.16/3.05 c bounds 1287 >= 383 @ 0.815354
2.16/3.05 c bounds 1287 >= 384 @ 0.816322
2.16/3.05 c bounds 1287 >= 385 @ 0.817288
2.16/3.05 c bounds 1287 >= 386 @ 0.818246
2.16/3.05 c bounds 1287 >= 387 @ 0.819208
2.16/3.05 c bounds 1287 >= 388 @ 0.820169
2.16/3.05 c bounds 1287 >= 389 @ 0.821129
2.16/3.06 c bounds 1287 >= 390 @ 0.822093
2.16/3.06 c bounds 1287 >= 391 @ 0.822968
2.16/3.06 c bounds 1287 >= 392 @ 0.823053
2.16/3.06 c bounds 1287 >= 393 @ 0.823977
2.16/3.06 c bounds 1287 >= 394 @ 0.824943
2.16/3.06 c bounds 1287 >= 395 @ 0.825893
2.16/3.06 c bounds 1287 >= 396 @ 0.826896
2.16/3.06 c bounds 1287 >= 397 @ 0.827852
2.16/3.06 c bounds 1287 >= 398 @ 0.827983
2.16/3.06 c bounds 1287 >= 399 @ 0.82883
2.16/3.06 c bounds 1287 >= 400 @ 0.828978
2.16/3.07 c bounds 1287 >= 401 @ 0.829736
2.16/3.07 c bounds 1287 >= 402 @ 0.830693
2.16/3.07 c bounds 1287 >= 403 @ 0.83165
2.16/3.07 c bounds 1287 >= 404 @ 0.832608
2.16/3.07 c bounds 1287 >= 405 @ 0.833566
2.16/3.07 c bounds 1287 >= 406 @ 0.834522
2.16/3.07 c bounds 1287 >= 407 @ 0.835474
2.16/3.07 c bounds 1287 >= 408 @ 0.836465
2.16/3.07 c bounds 1287 >= 409 @ 0.837428
2.16/3.07 c bounds 1287 >= 410 @ 0.838379
2.16/3.08 c bounds 1287 >= 411 @ 0.839336
2.16/3.08 c bounds 1287 >= 412 @ 0.840283
2.16/3.08 c bounds 1287 >= 413 @ 0.84124
2.16/3.08 c bounds 1287 >= 414 @ 0.842194
2.16/3.08 c bounds 1287 >= 415 @ 0.843138
2.16/3.08 c bounds 1287 >= 416 @ 0.844082
2.16/3.08 c bounds 1287 >= 417 @ 0.845023
2.16/3.08 c bounds 1287 >= 418 @ 0.845404
2.16/3.08 c bounds 1287 >= 419 @ 0.846342
2.16/3.08 c bounds 1287 >= 420 @ 0.847293
2.16/3.09 c bounds 1287 >= 421 @ 0.848233
2.16/3.09 c bounds 1287 >= 422 @ 0.849186
2.16/3.09 c bounds 1287 >= 423 @ 0.850134
2.16/3.09 c bounds 1287 >= 424 @ 0.851128
2.16/3.09 c bounds 1287 >= 425 @ 0.852077
2.16/3.09 c bounds 1287 >= 426 @ 0.853066
2.16/3.09 c bounds 1287 >= 427 @ 0.854055
2.16/3.09 c bounds 1287 >= 428 @ 0.854968
2.16/3.09 c bounds 1287 >= 429 @ 0.855908
2.16/3.09 c bounds 1287 >= 430 @ 0.856854
2.16/3.09 c bounds 1287 >= 431 @ 0.857802
2.16/3.10 c bounds 1287 >= 432 @ 0.858798
2.16/3.10 c bounds 1287 >= 433 @ 0.85974
2.16/3.10 c bounds 1287 >= 434 @ 0.859898
2.16/3.10 c bounds 1287 >= 435 @ 0.86063
2.16/3.10 c bounds 1287 >= 436 @ 0.861616
2.26/3.10 c bounds 1287 >= 437 @ 0.862604
2.26/3.10 c bounds 1287 >= 438 @ 0.863551
2.26/3.10 c bounds 1287 >= 439 @ 0.864495
2.26/3.10 c bounds 1287 >= 440 @ 0.865446
2.26/3.10 c bounds 1287 >= 441 @ 0.866393
2.26/3.11 c bounds 1287 >= 442 @ 0.867333
2.26/3.11 c bounds 1287 >= 443 @ 0.868267
2.26/3.11 c bounds 1287 >= 444 @ 0.869219
2.26/3.11 c bounds 1287 >= 445 @ 0.870172
2.26/3.11 c bounds 1287 >= 446 @ 0.871153
2.26/3.11 c bounds 1287 >= 447 @ 0.872113
2.26/3.11 c bounds 1287 >= 448 @ 0.873061
2.26/3.11 c bounds 1287 >= 449 @ 0.874047
2.26/3.11 c bounds 1287 >= 450 @ 0.874994
2.26/3.11 c bounds 1287 >= 451 @ 0.875933
2.26/3.12 c bounds 1287 >= 452 @ 0.876865
2.26/3.12 c bounds 1287 >= 453 @ 0.877801
2.26/3.12 c bounds 1287 >= 454 @ 0.878743
2.26/3.12 c bounds 1287 >= 455 @ 0.879679
2.26/3.12 c bounds 1287 >= 456 @ 0.87984
2.26/3.12 c bounds 1287 >= 457 @ 0.880575
2.26/3.12 c bounds 1287 >= 458 @ 0.881515
2.26/3.12 c bounds 1287 >= 459 @ 0.882452
2.26/3.12 c bounds 1287 >= 460 @ 0.883443
2.26/3.12 c bounds 1287 >= 461 @ 0.883694
2.26/3.12 c bounds 1287 >= 462 @ 0.884405
2.26/3.13 c bounds 1287 >= 463 @ 0.885365
2.26/3.13 c bounds 1287 >= 464 @ 0.886314
2.26/3.13 c bounds 1287 >= 465 @ 0.88729
2.26/3.13 c bounds 1287 >= 466 @ 0.888223
2.26/3.13 c bounds 1287 >= 467 @ 0.889153
2.26/3.13 c bounds 1287 >= 468 @ 0.890133
2.26/3.13 c bounds 1287 >= 469 @ 0.891084
2.26/3.13 c bounds 1287 >= 470 @ 0.892026
2.26/3.13 c bounds 1287 >= 471 @ 0.892968
2.26/3.13 c bounds 1287 >= 472 @ 0.893912
2.26/3.14 c bounds 1287 >= 473 @ 0.894835
2.26/3.14 c bounds 1287 >= 474 @ 0.895768
2.26/3.14 c bounds 1287 >= 475 @ 0.896704
2.26/3.14 c bounds 1287 >= 476 @ 0.897636
2.26/3.14 c bounds 1287 >= 477 @ 0.898569
2.26/3.14 c bounds 1287 >= 478 @ 0.899506
2.26/3.14 c bounds 1287 >= 479 @ 0.900435
2.26/3.14 c bounds 1287 >= 480 @ 0.901355
2.26/3.14 c bounds 1287 >= 481 @ 0.902295
2.26/3.14 c bounds 1287 >= 482 @ 0.903224
2.26/3.14 c bounds 1287 >= 483 @ 0.904155
2.26/3.15 c bounds 1287 >= 484 @ 0.905079
2.26/3.15 c bounds 1287 >= 485 @ 0.906017
2.26/3.15 c bounds 1287 >= 486 @ 0.906983
2.26/3.15 c bounds 1287 >= 487 @ 0.907919
2.26/3.15 c bounds 1287 >= 488 @ 0.908898
2.26/3.15 c bounds 1287 >= 489 @ 0.90986
2.26/3.15 c bounds 1287 >= 490 @ 0.910783
2.26/3.15 c bounds 1287 >= 491 @ 0.911748
2.26/3.15 c bounds 1287 >= 492 @ 0.912718
2.26/3.15 c bounds 1287 >= 493 @ 0.913649
2.26/3.15 c bounds 1287 >= 494 @ 0.913749
2.26/3.16 c bounds 1287 >= 495 @ 0.91375
2.26/3.16 c bounds 1287 >= 496 @ 0.914458
2.26/3.16 c bounds 1287 >= 497 @ 0.91538
2.26/3.16 c bounds 1287 >= 498 @ 0.916309
2.26/3.16 c bounds 1287 >= 499 @ 0.917233
2.26/3.16 c bounds 1287 >= 500 @ 0.918159
2.26/3.16 c bounds 1287 >= 501 @ 0.918414
2.26/3.16 c bounds 1287 >= 502 @ 0.919048
2.26/3.16 c bounds 1287 >= 503 @ 0.919996
2.26/3.16 c bounds 1287 >= 504 @ 0.920919
2.26/3.17 c bounds 1287 >= 505 @ 0.9219
2.26/3.17 c bounds 1287 >= 506 @ 0.922925
2.26/3.17 c bounds 1287 >= 507 @ 0.92386
2.26/3.17 c bounds 1287 >= 508 @ 0.924752
2.26/3.17 c bounds 1287 >= 509 @ 0.92568
2.26/3.17 c bounds 1287 >= 510 @ 0.926614
2.26/3.17 c bounds 1287 >= 511 @ 0.927545
2.26/3.17 c bounds 1287 >= 512 @ 0.927711
2.26/3.17 c bounds 1287 >= 513 @ 0.927711
2.26/3.17 c bounds 1287 >= 514 @ 0.928359
2.26/3.17 c bounds 1287 >= 515 @ 0.929266
2.26/3.18 c bounds 1287 >= 516 @ 0.930193
2.26/3.18 c bounds 1287 >= 517 @ 0.931126
2.26/3.18 c bounds 1287 >= 518 @ 0.932047
2.26/3.18 c bounds 1287 >= 519 @ 0.93298
2.26/3.18 c bounds 1287 >= 520 @ 0.933904
2.26/3.18 c bounds 1287 >= 521 @ 0.934831
2.26/3.18 c bounds 1287 >= 522 @ 0.935752
2.26/3.18 c bounds 1287 >= 523 @ 0.936678
2.26/3.18 c bounds 1287 >= 524 @ 0.937645
2.26/3.18 c bounds 1287 >= 525 @ 0.938573
2.26/3.18 c bounds 1287 >= 526 @ 0.938677
2.26/3.19 c bounds 1287 >= 527 @ 0.939472
2.26/3.19 c bounds 1287 >= 528 @ 0.94041
2.26/3.19 c bounds 1287 >= 529 @ 0.941337
2.26/3.19 c bounds 1287 >= 530 @ 0.942248
2.26/3.19 c bounds 1287 >= 531 @ 0.943213
2.26/3.19 c bounds 1287 >= 532 @ 0.944135
2.26/3.19 c bounds 1287 >= 533 @ 0.945113
2.26/3.19 c bounds 1287 >= 534 @ 0.946032
2.26/3.19 c bounds 1287 >= 535 @ 0.946997
2.26/3.19 c bounds 1287 >= 536 @ 0.947928
2.26/3.20 c bounds 1287 >= 537 @ 0.9489
2.26/3.20 c bounds 1287 >= 538 @ 0.949817
2.26/3.20 c bounds 1287 >= 539 @ 0.950781
2.26/3.20 c bounds 1287 >= 540 @ 0.951759
2.26/3.20 c bounds 1287 >= 541 @ 0.952589
2.26/3.20 c bounds 1287 >= 542 @ 0.952614
2.26/3.20 c bounds 1287 >= 543 @ 0.953584
2.36/3.20 c bounds 1287 >= 544 @ 0.95456
2.36/3.21 c bounds 1286 >= 544 @ 0.965079
2.36/3.22 c bounds 1286 >= 545 @ 0.96538
2.36/3.22 c bounds 1286 >= 546 @ 0.966075
2.36/3.22 c bounds 1286 >= 547 @ 0.966971
2.36/3.22 c bounds 1286 >= 548 @ 0.967901
2.36/3.22 c bounds 1286 >= 549 @ 0.968819
2.36/3.22 c bounds 1286 >= 550 @ 0.969772
2.36/3.22 c bounds 1286 >= 551 @ 0.970692
2.36/3.22 c bounds 1286 >= 552 @ 0.97164
2.36/3.22 c bounds 1286 >= 553 @ 0.972598
2.36/3.22 c bounds 1286 >= 554 @ 0.973622
2.36/3.23 c bounds 1286 >= 555 @ 0.974581
2.36/3.23 c bounds 1286 >= 556 @ 0.975494
2.36/3.23 c bounds 1286 >= 557 @ 0.976418
2.36/3.23 c bounds 1286 >= 558 @ 0.976548
2.36/3.23 c bounds 1286 >= 559 @ 0.976548
2.36/3.23 c bounds 1286 >= 560 @ 0.977231
2.36/3.23 c bounds 1286 >= 561 @ 0.978172
2.36/3.23 c bounds 1286 >= 562 @ 0.979213
2.36/3.23 c bounds 1286 >= 563 @ 0.980136
2.36/3.23 c bounds 1286 >= 564 @ 0.981045
2.36/3.23 c bounds 1286 >= 565 @ 0.98196
2.36/3.24 c bounds 1286 >= 566 @ 0.982941
2.36/3.24 c bounds 1286 >= 567 @ 0.983862
2.36/3.24 c bounds 1286 >= 568 @ 0.98479
2.36/3.24 c bounds 1286 >= 569 @ 0.985696
2.36/3.24 c bounds 1286 >= 570 @ 0.986605
2.36/3.24 c bounds 1286 >= 571 @ 0.987524
2.36/3.24 c bounds 1286 >= 572 @ 0.988439
2.36/3.24 c bounds 1286 >= 573 @ 0.989352
2.36/3.24 c bounds 1286 >= 574 @ 0.990264
2.36/3.24 c bounds 1286 >= 575 @ 0.991185
2.36/3.24 c bounds 1286 >= 576 @ 0.992108
2.36/3.25 c bounds 1286 >= 577 @ 0.993022
2.36/3.25 c bounds 1286 >= 578 @ 0.993939
2.36/3.25 c bounds 1286 >= 579 @ 0.994858
2.36/3.25 c bounds 1286 >= 580 @ 0.995776
2.36/3.25 c bounds 1286 >= 581 @ 0.996695
2.36/3.25 c bounds 1286 >= 582 @ 0.997654
2.36/3.25 c bounds 1286 >= 583 @ 0.998572
2.36/3.25 c bounds 1286 >= 584 @ 0.999486
2.36/3.25 c bounds 1286 >= 585 @ 1.00039
2.36/3.25 c bounds 1286 >= 586 @ 1.0013
2.36/3.25 c bounds 1286 >= 587 @ 1.00148
2.36/3.26 c bounds 1286 >= 588 @ 1.00213
2.36/3.26 c bounds 1286 >= 589 @ 1.00317
2.36/3.26 c bounds 1286 >= 590 @ 1.00409
2.36/3.26 c bounds 1286 >= 591 @ 1.00501
2.36/3.26 c bounds 1286 >= 592 @ 1.00593
2.36/3.26 c bounds 1286 >= 593 @ 1.00684
2.36/3.26 c bounds 1286 >= 594 @ 1.00775
2.36/3.26 c bounds 1286 >= 595 @ 1.00867
2.36/3.26 c bounds 1286 >= 596 @ 1.00958
2.36/3.26 c bounds 1286 >= 597 @ 1.01049
2.36/3.26 c bounds 1286 >= 598 @ 1.0114
2.36/3.27 c bounds 1286 >= 599 @ 1.01231
2.36/3.27 c bounds 1286 >= 600 @ 1.01322
2.36/3.27 c bounds 1286 >= 601 @ 1.01345
2.36/3.27 c bounds 1286 >= 602 @ 1.01408
2.36/3.27 c bounds 1286 >= 603 @ 1.01433
2.36/3.27 c bounds 1286 >= 604 @ 1.01492
2.36/3.27 c bounds 1286 >= 605 @ 1.01581
2.36/3.27 c bounds 1286 >= 606 @ 1.01673
2.36/3.27 c bounds 1286 >= 607 @ 1.01765
2.36/3.27 c bounds 1286 >= 608 @ 1.01858
2.36/3.28 c bounds 1286 >= 609 @ 1.01949
2.36/3.28 c bounds 1286 >= 610 @ 1.02039
2.36/3.28 c bounds 1286 >= 611 @ 1.02133
2.36/3.28 c bounds 1286 >= 612 @ 1.02143
2.36/3.28 c bounds 1286 >= 613 @ 1.02215
2.36/3.28 c bounds 1286 >= 614 @ 1.02307
2.36/3.28 c bounds 1286 >= 615 @ 1.02399
2.36/3.28 c bounds 1286 >= 616 @ 1.02554
2.36/3.29 c bounds 1286 >= 617 @ 1.02918
2.36/3.29 c bounds 1286 >= 618 @ 1.03026
2.36/3.29 c bounds 1286 >= 619 @ 1.0304
2.36/3.29 c bounds 1286 >= 620 @ 1.0304
2.36/3.29 c bounds 1286 >= 621 @ 1.03103
2.36/3.29 c bounds 1286 >= 622 @ 1.03192
2.36/3.29 c bounds 1286 >= 623 @ 1.03281
2.36/3.29 c bounds 1286 >= 624 @ 1.03371
2.36/3.29 c bounds 1286 >= 625 @ 1.0346
2.36/3.30 c bounds 1286 >= 626 @ 1.0355
2.45/3.30 c bounds 1286 >= 627 @ 1.03641
2.45/3.30 c bounds 1286 >= 628 @ 1.03731
2.45/3.30 c bounds 1286 >= 629 @ 1.03824
2.45/3.30 c bounds 1286 >= 630 @ 1.03913
2.45/3.30 c bounds 1286 >= 631 @ 1.04004
2.45/3.30 c bounds 1286 >= 632 @ 1.04094
2.45/3.30 c bounds 1286 >= 633 @ 1.04184
2.45/3.30 c bounds 1286 >= 634 @ 1.04279
2.45/3.30 c bounds 1286 >= 635 @ 1.04368
2.45/3.30 c bounds 1286 >= 636 @ 1.04458
2.45/3.31 c bounds 1286 >= 637 @ 1.04547
2.45/3.31 c bounds 1286 >= 638 @ 1.04641
2.45/3.31 c bounds 1286 >= 639 @ 1.04733
2.45/3.31 c bounds 1286 >= 640 @ 1.04823
2.45/3.31 c bounds 1286 >= 641 @ 1.04914
2.45/3.31 c bounds 1286 >= 642 @ 1.04934
2.45/3.31 c bounds 1286 >= 643 @ 1.04996
2.45/3.31 c bounds 1286 >= 644 @ 1.05084
2.45/3.31 c bounds 1286 >= 645 @ 1.05113
2.45/3.31 c bounds 1286 >= 646 @ 1.0517
2.45/3.31 c bounds 1286 >= 647 @ 1.05258
2.45/3.32 c bounds 1286 >= 648 @ 1.05348
2.45/3.32 c bounds 1286 >= 649 @ 1.05436
2.45/3.32 c bounds 1286 >= 650 @ 1.05533
2.45/3.32 c bounds 1286 >= 651 @ 1.05627
2.45/3.32 c bounds 1286 >= 652 @ 1.05717
2.45/3.32 c bounds 1286 >= 653 @ 1.05811
2.45/3.32 c bounds 1286 >= 654 @ 1.05831
2.45/3.32 c bounds 1286 >= 655 @ 1.05894
2.45/3.32 c bounds 1286 >= 656 @ 1.05982
2.45/3.32 c bounds 1286 >= 657 @ 1.06072
2.45/3.32 c bounds 1286 >= 658 @ 1.06163
2.45/3.33 c bounds 1286 >= 659 @ 1.06253
2.45/3.33 c bounds 1286 >= 660 @ 1.06343
2.45/3.33 c bounds 1286 >= 661 @ 1.06433
2.45/3.33 c bounds 1286 >= 662 @ 1.06524
2.45/3.33 c bounds 1286 >= 663 @ 1.06615
2.45/3.33 c bounds 1286 >= 664 @ 1.06706
2.45/3.33 c bounds 1286 >= 665 @ 1.06797
2.45/3.33 c bounds 1286 >= 666 @ 1.06888
2.45/3.33 c bounds 1286 >= 667 @ 1.06978
2.45/3.33 c bounds 1286 >= 668 @ 1.07068
2.45/3.33 c bounds 1286 >= 669 @ 1.07159
2.45/3.34 c bounds 1286 >= 670 @ 1.07248
2.45/3.34 c bounds 1286 >= 671 @ 1.07277
2.45/3.34 c bounds 1286 >= 672 @ 1.07329
2.45/3.34 c bounds 1286 >= 673 @ 1.07421
2.45/3.34 c bounds 1286 >= 674 @ 1.07511
2.45/3.34 c bounds 1286 >= 675 @ 1.07526
2.45/3.34 c bounds 1286 >= 676 @ 1.07591
2.45/3.34 c bounds 1286 >= 677 @ 1.07682
2.45/3.34 c bounds 1286 >= 678 @ 1.07771
2.45/3.34 c bounds 1286 >= 679 @ 1.07865
2.45/3.34 c bounds 1286 >= 680 @ 1.07994
2.45/3.35 c bounds 1286 >= 681 @ 1.08084
2.45/3.35 c bounds 1286 >= 682 @ 1.08174
2.45/3.35 c bounds 1286 >= 683 @ 1.08262
2.45/3.35 c bounds 1286 >= 684 @ 1.08354
2.45/3.35 c bounds 1286 >= 685 @ 1.08444
2.45/3.35 c bounds 1286 >= 686 @ 1.08474
2.45/3.35 c bounds 1286 >= 687 @ 1.08531
2.45/3.35 c bounds 1286 >= 688 @ 1.08622
2.45/3.35 c bounds 1286 >= 689 @ 1.08719
2.45/3.35 c bounds 1286 >= 690 @ 1.08815
2.45/3.35 c bounds 1286 >= 691 @ 1.08823
2.45/3.36 c bounds 1286 >= 692 @ 1.08897
2.45/3.36 c bounds 1286 >= 693 @ 1.08988
2.45/3.36 c bounds 1286 >= 694 @ 1.09079
2.45/3.36 c bounds 1286 >= 695 @ 1.09167
2.45/3.36 c bounds 1286 >= 696 @ 1.09254
2.45/3.36 c bounds 1286 >= 697 @ 1.09342
2.45/3.36 c bounds 1286 >= 698 @ 1.09429
2.45/3.36 c bounds 1286 >= 699 @ 1.09518
2.45/3.36 c bounds 1286 >= 700 @ 1.09607
2.45/3.36 c bounds 1286 >= 701 @ 1.09696
2.45/3.36 c bounds 1286 >= 702 @ 1.09783
2.45/3.37 c bounds 1286 >= 703 @ 1.09871
2.45/3.37 c bounds 1286 >= 704 @ 1.09959
2.45/3.37 c bounds 1286 >= 705 @ 1.10046
2.45/3.37 c bounds 1286 >= 706 @ 1.10139
2.45/3.37 c bounds 1286 >= 707 @ 1.10228
2.45/3.37 c bounds 1286 >= 708 @ 1.10317
2.45/3.37 c bounds 1286 >= 709 @ 1.10405
2.45/3.37 c bounds 1286 >= 710 @ 1.10419
2.45/3.37 c bounds 1286 >= 711 @ 1.10482
2.45/3.37 c bounds 1286 >= 712 @ 1.1057
2.45/3.37 c bounds 1286 >= 713 @ 1.10658
2.45/3.38 c bounds 1286 >= 714 @ 1.10745
2.45/3.38 c bounds 1286 >= 715 @ 1.10833
2.45/3.38 c bounds 1286 >= 716 @ 1.10919
2.45/3.38 c bounds 1286 >= 717 @ 1.11007
2.45/3.38 c bounds 1286 >= 718 @ 1.11094
2.45/3.38 c bounds 1286 >= 719 @ 1.11118
2.45/3.38 c bounds 1286 >= 720 @ 1.11173
2.45/3.38 c bounds 1286 >= 721 @ 1.11259
2.45/3.38 c bounds 1286 >= 722 @ 1.11346
2.45/3.38 c bounds 1286 >= 723 @ 1.11433
2.45/3.38 c bounds 1286 >= 724 @ 1.11512
2.45/3.38 c bounds 1286 >= 725 @ 1.11512
2.45/3.39 c bounds 1286 >= 726 @ 1.11516
2.45/3.39 c bounds 1286 >= 727 @ 1.11516
2.45/3.39 c bounds 1286 >= 728 @ 1.11575
2.45/3.39 c bounds 1286 >= 729 @ 1.11661
2.45/3.39 c bounds 1286 >= 730 @ 1.11749
2.45/3.39 c bounds 1286 >= 731 @ 1.11836
2.45/3.39 c bounds 1286 >= 732 @ 1.11922
2.45/3.39 c bounds 1286 >= 733 @ 1.12009
2.45/3.39 c bounds 1286 >= 734 @ 1.12096
2.45/3.39 c bounds 1286 >= 735 @ 1.12183
2.45/3.39 c bounds 1286 >= 736 @ 1.12271
2.56/3.40 c bounds 1286 >= 737 @ 1.1236
2.56/3.40 c bounds 1286 >= 738 @ 1.12447
2.56/3.40 c bounds 1286 >= 739 @ 1.12534
2.56/3.40 c bounds 1286 >= 740 @ 1.12622
2.56/3.40 c bounds 1286 >= 741 @ 1.12709
2.56/3.40 c bounds 1286 >= 742 @ 1.12796
2.56/3.40 c bounds 1286 >= 743 @ 1.12813
2.56/3.40 c bounds 1286 >= 744 @ 1.12874
2.56/3.40 c bounds 1286 >= 745 @ 1.12962
2.56/3.40 c bounds 1286 >= 746 @ 1.13048
2.56/3.40 c bounds 1286 >= 747 @ 1.13136
2.56/3.41 c bounds 1286 >= 748 @ 1.13223
2.56/3.41 c bounds 1286 >= 749 @ 1.13311
2.56/3.41 c bounds 1286 >= 750 @ 1.13311
2.56/3.41 c bounds 1286 >= 751 @ 1.13386
2.56/3.41 c bounds 1286 >= 752 @ 1.13474
2.56/3.41 c bounds 1286 >= 753 @ 1.13561
2.56/3.41 c bounds 1286 >= 754 @ 1.13648
2.56/3.41 c bounds 1286 >= 755 @ 1.13735
2.56/3.41 c bounds 1286 >= 756 @ 1.13821
2.56/3.41 c bounds 1286 >= 757 @ 1.1391
2.56/3.41 c bounds 1286 >= 758 @ 1.13997
2.56/3.41 c bounds 1286 >= 759 @ 1.14009
2.56/3.42 c bounds 1286 >= 760 @ 1.14009
2.56/3.42 c bounds 1286 >= 761 @ 1.14066
2.56/3.42 c bounds 1286 >= 762 @ 1.1415
2.56/3.42 c bounds 1286 >= 763 @ 1.14238
2.56/3.42 c bounds 1286 >= 764 @ 1.14326
2.56/3.42 c bounds 1286 >= 765 @ 1.14413
2.56/3.42 c bounds 1286 >= 766 @ 1.14501
2.56/3.42 c bounds 1286 >= 767 @ 1.14508
2.56/3.42 c bounds 1286 >= 768 @ 1.14508
2.56/3.42 c bounds 1286 >= 769 @ 1.14565
2.56/3.42 c bounds 1286 >= 770 @ 1.14651
2.56/3.43 c bounds 1286 >= 771 @ 1.14739
2.56/3.43 c bounds 1286 >= 772 @ 1.14829
2.56/3.43 c bounds 1286 >= 773 @ 1.14916
2.56/3.43 c bounds 1286 >= 774 @ 1.15003
2.56/3.43 c bounds 1286 >= 775 @ 1.15089
2.56/3.44 c bounds 1285 >= 775 @ 1.15648
2.56/3.44 c bounds 1285 >= 776 @ 1.1574
2.56/3.44 c bounds 1285 >= 777 @ 1.15826
2.56/3.44 c bounds 1285 >= 778 @ 1.15912
2.56/3.44 c bounds 1285 >= 779 @ 1.15998
2.56/3.44 c bounds 1285 >= 780 @ 1.16085
2.56/3.44 c bounds 1285 >= 781 @ 1.16103
2.56/3.45 c bounds 1285 >= 782 @ 1.16159
2.56/3.45 c bounds 1285 >= 783 @ 1.16187
2.56/3.45 c bounds 1285 >= 784 @ 1.16236
2.56/3.45 c bounds 1285 >= 785 @ 1.16321
2.56/3.45 c bounds 1285 >= 786 @ 1.16404
2.56/3.45 c bounds 1285 >= 787 @ 1.1649
2.56/3.45 c bounds 1285 >= 788 @ 1.16576
2.56/3.45 c bounds 1285 >= 789 @ 1.16662
2.56/3.45 c bounds 1285 >= 790 @ 1.16748
2.56/3.45 c bounds 1285 >= 791 @ 1.16835
2.56/3.45 c bounds 1285 >= 792 @ 1.16922
2.56/3.46 c bounds 1285 >= 793 @ 1.17009
2.56/3.46 c bounds 1285 >= 794 @ 1.17095
2.56/3.46 c bounds 1285 >= 795 @ 1.17184
2.56/3.46 c bounds 1285 >= 796 @ 1.172
2.56/3.46 c bounds 1285 >= 797 @ 1.172
2.56/3.46 c bounds 1285 >= 798 @ 1.17254
2.56/3.46 c bounds 1285 >= 799 @ 1.17339
2.56/3.46 c bounds 1285 >= 800 @ 1.17425
2.56/3.46 c bounds 1285 >= 801 @ 1.17511
2.56/3.46 c bounds 1285 >= 802 @ 1.17596
2.56/3.46 c bounds 1285 >= 803 @ 1.17684
2.56/3.47 c bounds 1285 >= 804 @ 1.17717
2.56/3.47 c bounds 1285 >= 805 @ 1.17796
2.56/3.47 c bounds 1285 >= 806 @ 1.17882
2.56/3.47 c bounds 1285 >= 807 @ 1.17898
2.56/3.47 c bounds 1285 >= 808 @ 1.17957
2.56/3.47 c bounds 1285 >= 809 @ 1.18044
2.56/3.47 c bounds 1285 >= 810 @ 1.1813
2.56/3.47 c bounds 1285 >= 811 @ 1.18217
2.56/3.47 c bounds 1285 >= 812 @ 1.18302
2.56/3.47 c bounds 1285 >= 813 @ 1.18388
2.56/3.47 c bounds 1285 >= 814 @ 1.18397
2.56/3.47 c bounds 1285 >= 815 @ 1.18397
2.56/3.48 c bounds 1285 >= 816 @ 1.18451
2.56/3.48 c bounds 1285 >= 817 @ 1.18536
2.56/3.48 c bounds 1285 >= 818 @ 1.18622
2.56/3.48 c bounds 1285 >= 819 @ 1.18708
2.56/3.48 c bounds 1285 >= 820 @ 1.18793
2.56/3.48 c bounds 1285 >= 821 @ 1.18879
2.56/3.48 c bounds 1285 >= 822 @ 1.18895
2.56/3.48 c bounds 1285 >= 823 @ 1.18957
2.56/3.48 c bounds 1285 >= 824 @ 1.19046
2.56/3.48 c bounds 1285 >= 825 @ 1.19132
2.56/3.48 c bounds 1285 >= 826 @ 1.19218
2.56/3.49 c bounds 1285 >= 827 @ 1.19304
2.56/3.49 c bounds 1285 >= 828 @ 1.1939
2.56/3.49 c bounds 1285 >= 829 @ 1.19475
2.56/3.49 c bounds 1285 >= 830 @ 1.19561
2.56/3.49 c bounds 1285 >= 831 @ 1.19648
2.56/3.49 c bounds 1285 >= 832 @ 1.19733
2.56/3.49 c bounds 1285 >= 833 @ 1.19819
2.56/3.49 c bounds 1285 >= 834 @ 1.19905
2.56/3.49 c bounds 1285 >= 835 @ 1.19991
2.56/3.49 c bounds 1285 >= 836 @ 1.20076
2.56/3.49 c bounds 1285 >= 837 @ 1.20162
2.56/3.49 c bounds 1285 >= 838 @ 1.20188
2.66/3.50 c bounds 1285 >= 839 @ 1.20242
2.66/3.50 c bounds 1285 >= 840 @ 1.20324
2.66/3.50 c bounds 1285 >= 841 @ 1.2041
2.66/3.50 c bounds 1285 >= 842 @ 1.20494
2.66/3.50 c bounds 1285 >= 843 @ 1.2058
2.66/3.50 c bounds 1285 >= 844 @ 1.20587
2.66/3.50 c bounds 1285 >= 845 @ 1.20587
2.66/3.50 c bounds 1285 >= 846 @ 1.20642
2.66/3.50 c bounds 1285 >= 847 @ 1.20725
2.66/3.50 c bounds 1285 >= 848 @ 1.20812
2.66/3.50 c bounds 1285 >= 849 @ 1.20897
2.66/3.50 c bounds 1285 >= 850 @ 1.20981
2.66/3.51 c bounds 1285 >= 851 @ 1.21068
2.66/3.51 c bounds 1285 >= 852 @ 1.21085
2.66/3.51 c bounds 1285 >= 853 @ 1.2114
2.66/3.51 c bounds 1285 >= 854 @ 1.21226
2.66/3.51 c bounds 1285 >= 855 @ 1.21312
2.66/3.51 c bounds 1285 >= 856 @ 1.21398
2.66/3.51 c bounds 1285 >= 857 @ 1.21483
2.66/3.51 c bounds 1285 >= 858 @ 1.21569
2.66/3.53 c bounds 1284 >= 858 @ 1.23172
2.66/3.53 c bounds 1284 >= 859 @ 1.2318
2.66/3.53 c bounds 1284 >= 860 @ 1.2318
2.66/3.53 c bounds 1284 >= 861 @ 1.2323
2.66/3.53 c bounds 1284 >= 862 @ 1.23312
2.66/3.54 c bounds 1284 >= 863 @ 1.23399
2.66/3.54 c bounds 1284 >= 864 @ 1.23483
2.66/3.54 c bounds 1284 >= 865 @ 1.23571
2.66/3.54 c bounds 1284 >= 866 @ 1.23657
2.66/3.54 c bounds 1284 >= 867 @ 1.23678
2.66/3.54 c bounds 1284 >= 868 @ 1.23733
2.66/3.54 c bounds 1284 >= 869 @ 1.23817
2.66/3.54 c bounds 1284 >= 870 @ 1.23904
2.66/3.54 c bounds 1284 >= 871 @ 1.2399
2.66/3.54 c bounds 1284 >= 872 @ 1.24074
2.66/3.54 c bounds 1284 >= 873 @ 1.24158
2.66/3.54 c bounds 1284 >= 874 @ 1.24177
2.66/3.55 c bounds 1284 >= 875 @ 1.24232
2.66/3.55 c bounds 1284 >= 876 @ 1.24314
2.66/3.55 c bounds 1284 >= 877 @ 1.24399
2.66/3.55 c bounds 1284 >= 878 @ 1.24482
2.66/3.55 c bounds 1284 >= 879 @ 1.24566
2.66/3.55 c bounds 1284 >= 880 @ 1.24576
2.66/3.55 c bounds 1284 >= 881 @ 1.24635
2.66/3.55 c bounds 1284 >= 882 @ 1.24666
2.66/3.55 c bounds 1284 >= 883 @ 1.24713
2.66/3.55 c bounds 1284 >= 884 @ 1.24796
2.66/3.55 c bounds 1284 >= 885 @ 1.24877
2.66/3.55 c bounds 1284 >= 886 @ 1.24962
2.66/3.56 c bounds 1284 >= 887 @ 1.24975
2.66/3.56 c bounds 1284 >= 888 @ 1.25032
2.66/3.56 c bounds 1284 >= 889 @ 1.25117
2.66/3.56 c bounds 1284 >= 890 @ 1.25202
2.66/3.56 c bounds 1284 >= 891 @ 1.25287
2.66/3.56 c bounds 1284 >= 892 @ 1.25371
2.66/3.56 c bounds 1284 >= 893 @ 1.25456
2.66/3.56 c bounds 1284 >= 894 @ 1.25542
2.66/3.56 c bounds 1284 >= 895 @ 1.25626
2.66/3.56 c bounds 1284 >= 896 @ 1.25711
2.66/3.56 c bounds 1284 >= 897 @ 1.25796
2.66/3.57 c bounds 1284 >= 898 @ 1.2588
2.66/3.57 c bounds 1284 >= 899 @ 1.25974
2.66/3.57 c bounds 1284 >= 900 @ 1.26059
2.66/3.57 c bounds 1284 >= 901 @ 1.26072
2.66/3.57 c bounds 1284 >= 902 @ 1.26128
2.66/3.57 c bounds 1284 >= 903 @ 1.26213
2.66/3.57 c bounds 1284 >= 904 @ 1.26297
2.66/3.57 c bounds 1284 >= 905 @ 1.26381
2.66/3.57 c bounds 1284 >= 906 @ 1.26466
2.66/3.57 c bounds 1284 >= 907 @ 1.26471
2.66/3.57 c bounds 1284 >= 908 @ 1.26471
2.66/3.57 c bounds 1284 >= 909 @ 1.26524
2.66/3.58 c bounds 1284 >= 910 @ 1.26605
2.66/3.58 c bounds 1284 >= 911 @ 1.26689
2.66/3.58 c bounds 1284 >= 912 @ 1.26771
2.66/3.58 c bounds 1284 >= 913 @ 1.26857
2.66/3.58 c bounds 1284 >= 914 @ 1.2687
2.66/3.58 c bounds 1284 >= 915 @ 1.26963
2.66/3.58 c bounds 1284 >= 916 @ 1.26969
2.66/3.58 c bounds 1284 >= 917 @ 1.26969
2.66/3.58 c bounds 1284 >= 918 @ 1.2702
2.66/3.58 c bounds 1284 >= 919 @ 1.27102
2.66/3.58 c bounds 1284 >= 920 @ 1.27186
2.66/3.59 c bounds 1284 >= 921 @ 1.27268
2.66/3.59 c bounds 1284 >= 922 @ 1.27352
2.66/3.59 c bounds 1284 >= 923 @ 1.27368
2.66/3.59 c bounds 1284 >= 924 @ 1.27423
2.66/3.59 c bounds 1284 >= 925 @ 1.27507
2.66/3.59 c bounds 1284 >= 926 @ 1.27594
2.66/3.59 c bounds 1284 >= 927 @ 1.27679
2.66/3.59 c bounds 1284 >= 928 @ 1.27762
2.66/3.59 c bounds 1284 >= 929 @ 1.27845
2.66/3.59 c bounds 1284 >= 930 @ 1.27867
2.66/3.59 c bounds 1284 >= 931 @ 1.27918
2.66/3.59 c bounds 1284 >= 932 @ 1.27999
2.66/3.60 c bounds 1284 >= 933 @ 1.28082
2.76/3.60 c bounds 1284 >= 934 @ 1.28163
2.76/3.60 c bounds 1284 >= 935 @ 1.28247
2.76/3.60 c bounds 1284 >= 936 @ 1.28266
2.76/3.60 c bounds 1284 >= 937 @ 1.28318
2.76/3.60 c bounds 1284 >= 938 @ 1.28402
2.76/3.60 c bounds 1284 >= 939 @ 1.28486
2.76/3.60 c bounds 1284 >= 940 @ 1.28569
2.76/3.60 c bounds 1284 >= 941 @ 1.28655
2.76/3.60 c bounds 1284 >= 942 @ 1.28664
2.76/3.60 c bounds 1284 >= 943 @ 1.28664
2.76/3.60 c bounds 1284 >= 944 @ 1.28713
2.76/3.61 c bounds 1284 >= 945 @ 1.28793
2.76/3.61 c bounds 1284 >= 946 @ 1.28876
2.76/3.61 c bounds 1284 >= 947 @ 1.28958
2.76/3.61 c bounds 1284 >= 948 @ 1.29081
2.76/3.61 c bounds 1284 >= 949 @ 1.29183
2.76/3.61 c bounds 1284 >= 950 @ 1.29343
2.76/3.62 c bounds 1284 >= 951 @ 1.29712
2.76/3.62 c bounds 1284 >= 952 @ 1.30285
2.86/3.71 c bounds 1283 >= 952 @ 1.38162
2.86/3.72 c bounds 1283 >= 953 @ 1.38518
2.86/3.72 c bounds 1283 >= 954 @ 1.38801
2.86/3.73 c bounds 1283 >= 955 @ 1.39837
2.86/3.76 c bounds 1283 >= 956 @ 1.42065
2.96/3.87 c #Conflicts: 1000 | #Constraints: 19213
2.96/3.87 c bounds 1283 >= 957 @ 1.52761
3.06/3.90 c bounds 1282 >= 957 @ 1.55666
3.06/3.93 c bounds 1281 >= 957 @ 1.57551
3.06/3.96 c bounds 1280 >= 957 @ 1.60588
3.06/4.00 c bounds 1279 >= 957 @ 1.6345
3.16/4.02 c bounds 1278 >= 957 @ 1.65268
3.16/4.04 c bounds 1277 >= 957 @ 1.67229
3.16/4.07 c bounds 1276 >= 957 @ 1.69593
3.16/4.08 c bounds 1276 >= 958 @ 1.6997
3.26/4.10 c bounds 1275 >= 958 @ 1.72116
3.26/4.11 c bounds 1275 >= 959 @ 1.72421
3.26/4.11 c bounds 1275 >= 960 @ 1.73004
8.73/9.62 c #Conflicts: 2000 | #Constraints: 20603
8.73/9.62 c INPROCESSING
8.73/9.62 c GARBAGE COLLECT
8.73/9.62 c bounds 1274 >= 960 @ 7.16877
8.73/9.65 c bounds 1273 >= 960 @ 7.19126
8.73/9.66 c bounds 1273 >= 961 @ 7.19784
8.83/9.74 c bounds 1273 >= 962 @ 7.2791
8.83/9.77 c bounds 1272 >= 962 @ 7.30115
8.93/9.80 c bounds 1271 >= 962 @ 7.33392
8.93/9.83 c #Conflicts: 3000 | #Constraints: 19711
8.93/9.83 c bounds 1270 >= 962 @ 7.36223
8.93/9.87 c bounds 1269 >= 962 @ 7.39522
9.03/9.93 c bounds 1268 >= 962 @ 7.44909
9.03/9.93 c bounds 1268 >= 963 @ 7.45344
9.03/9.94 c bounds 1268 >= 964 @ 7.46023
9.03/9.98 c bounds 1267 >= 964 @ 7.49437
9.03/9.98 c bounds 1267 >= 965 @ 7.5019
9.13/10.00 c bounds 1267 >= 966 @ 7.51817
9.13/10.04 c bounds 1266 >= 966 @ 7.55748
9.24/10.11 c bounds 1266 >= 967 @ 7.61565
9.24/10.16 c bounds 1265 >= 967 @ 7.65848
9.33/10.22 c #Conflicts: 4000 | #Constraints: 21212
9.33/10.22 c bounds 1264 >= 967 @ 7.70835
9.33/10.27 c bounds 1263 >= 967 @ 7.75451
9.43/10.37 c INPROCESSING
9.43/10.37 c GARBAGE COLLECT
9.43/10.37 c bounds 1262 >= 967 @ 7.85352
9.53/10.42 c bounds 1262 >= 968 @ 7.89855
9.53/10.45 c bounds 1261 >= 968 @ 7.93015
9.53/10.49 c bounds 1260 >= 968 @ 7.96228
9.63/10.53 c bounds 1259 >= 968 @ 7.99903
9.63/10.53 c bounds 1259 >= 969 @ 8.00183
9.63/10.54 c bounds 1259 >= 970 @ 8.00771
9.63/10.56 c #Conflicts: 5000 | #Constraints: 20559
9.63/10.56 c bounds 1259 >= 971 @ 8.02935
9.63/10.57 c bounds 1258 >= 971 @ 8.03801
9.74/10.61 c bounds 1257 >= 971 @ 8.06951
9.74/10.62 c bounds 1257 >= 972 @ 8.07624
9.74/10.66 c bounds 1257 >= 973 @ 8.1104
9.74/10.69 c bounds 1256 >= 973 @ 8.14254
9.83/10.74 c bounds 1255 >= 973 @ 8.18279
9.83/10.79 c bounds 1254 >= 973 @ 8.23173
20.50/21.40 c #Conflicts: 6000 | #Constraints: 21918
20.50/21.40 c INPROCESSING
20.50/21.40 c GARBAGE COLLECT
20.50/21.40 c bounds 1253 >= 973 @ 18.7318
20.50/21.43 c bounds 1252 >= 973 @ 18.7656
20.50/21.47 c bounds 1251 >= 973 @ 18.7972
20.59/21.51 c bounds 1250 >= 973 @ 18.8324
20.59/21.56 c bounds 1249 >= 973 @ 18.8795
20.70/21.60 c bounds 1248 >= 973 @ 18.9202
20.70/21.64 c bounds 1247 >= 973 @ 18.9575
20.70/21.68 c bounds 1246 >= 973 @ 18.9929
21.19/22.17 c #Conflicts: 7000 | #Constraints: 20616
21.19/22.17 c bounds 1245 >= 973 @ 19.4727
21.29/22.28 c bounds 1245 >= 974 @ 19.5774
31.96/32.96 c #Conflicts: 8000 | #Constraints: 21716
31.96/32.96 c #Conflicts: 9000 | #Constraints: 22716
31.96/32.96 c INPROCESSING
31.96/32.96 c GARBAGE COLLECT
31.96/32.96 WSVECS04 Frhs2[2103]: 6 -1.00007 0 shouldn't be
40.25/41.27 WSVECS04 Frhs2[2592]: 6 -1.00006 0 shouldn't be
40.25/41.27 WSVECS04 Frhs2[2648]: 6 -1.00007 0 shouldn't be
53.21/54.22 c bounds 1244 >= 974 @ 51.2902
53.81/54.87 c #Conflicts: 10000 | #Constraints: 21252
53.81/54.87 c #Conflicts: 11000 | #Constraints: 22252
53.81/54.87 c #Conflicts: 12000 | #Constraints: 23252
53.81/54.87 c INPROCESSING
53.81/54.87 c GARBAGE COLLECT
53.81/54.87 c bounds 1243 >= 974 @ 51.9045
54.02/55.07 c bounds 1242 >= 974 @ 52.1082
54.21/55.21 c bounds 1241 >= 974 @ 52.2387
54.31/55.33 c bounds 1240 >= 974 @ 52.3539
54.41/55.41 c bounds 1239 >= 974 @ 52.431
54.90/55.92 c #Conflicts: 13000 | #Constraints: 21633
54.90/55.92 c bounds 1238 >= 974 @ 52.9177
54.90/55.93 c bounds 1238 >= 975 @ 52.9274
54.90/55.94 c bounds 1238 >= 976 @ 52.9318
54.90/55.96 c bounds 1238 >= 977 @ 52.9468
54.90/56.00 c bounds 1238 >= 978 @ 52.9841
55.30/56.38 c #Conflicts: 14000 | #Constraints: 23019
55.30/56.38 c bounds 1238 >= 979 @ 53.355
55.80/56.81 c #Conflicts: 15000 | #Constraints: 24196
55.80/56.81 c INPROCESSING
55.80/56.81 c GARBAGE COLLECT
55.80/56.81 c bounds 1238 >= 980 @ 53.7733
56.41/57.44 c #Conflicts: 16000 | #Constraints: 22202
56.41/57.44 c #Conflicts: 17000 | #Constraints: 23202
56.41/57.44 c #Conflicts: 18000 | #Constraints: 24202
56.41/57.44 c INPROCESSING
56.41/57.44 c GARBAGE COLLECT
56.41/57.44 c bounds 1237 >= 980 @ 54.3919
56.51/57.51 c bounds 1236 >= 980 @ 54.4487
56.51/57.55 c bounds 1235 >= 980 @ 54.488
56.51/57.59 c bounds 1234 >= 980 @ 54.5271
56.60/57.63 c bounds 1233 >= 980 @ 54.5647
56.71/57.71 c bounds 1232 >= 980 @ 54.6379
56.71/57.74 c bounds 1231 >= 980 @ 54.6715
56.71/57.78 c bounds 1230 >= 980 @ 54.7096
56.80/57.82 c bounds 1229 >= 980 @ 54.7476
56.80/57.87 c bounds 1228 >= 980 @ 54.7955
56.90/57.92 c bounds 1227 >= 980 @ 54.8379
56.90/57.96 c bounds 1226 >= 980 @ 54.8729
57.01/58.00 c bounds 1225 >= 980 @ 54.9148
57.01/58.04 c bounds 1224 >= 980 @ 54.9486
57.01/58.09 c bounds 1223 >= 980 @ 54.9943
57.11/58.15 c #Conflicts: 19000 | #Constraints: 22173
57.11/58.15 c bounds 1222 >= 980 @ 55.0451
57.11/58.19 c bounds 1221 >= 980 @ 55.088
57.20/58.24 c bounds 1220 >= 980 @ 55.1371
57.20/58.25 c bounds 1220 >= 981 @ 55.1424
57.20/58.26 c bounds 1220 >= 982 @ 55.1532
57.20/58.30 c bounds 1220 >= 983 @ 55.1842
57.30/58.35 c bounds 1219 >= 983 @ 55.2294
57.40/58.40 c bounds 1218 >= 983 @ 55.2771
58.19/59.26 c #Conflicts: 20000 | #Constraints: 23427
58.19/59.26 c #Conflicts: 21000 | #Constraints: 24427
58.19/59.26 c INPROCESSING
58.19/59.26 c GARBAGE COLLECT
58.19/59.26 c bounds 1217 >= 983 @ 56.1158
58.30/59.30 c bounds 1216 >= 983 @ 56.1506
58.30/59.34 c bounds 1215 >= 983 @ 56.1928
58.30/59.38 c bounds 1214 >= 983 @ 56.227
58.40/59.41 c bounds 1213 >= 983 @ 56.2554
58.40/59.45 c bounds 1212 >= 983 @ 56.2952
58.79/59.83 c #Conflicts: 22000 | #Constraints: 22107
58.79/59.83 c bounds 1211 >= 983 @ 56.67
58.79/59.88 c bounds 1210 >= 983 @ 56.7183
59.10/60.10 c bounds 1209 >= 983 @ 56.9332
59.30/60.30 c bounds 1208 >= 983 @ 57.1261
59.39/60.43 c bounds 1207 >= 983 @ 57.2521
59.60/60.63 c bounds 1206 >= 983 @ 57.4422
72.56/73.64 c #Conflicts: 23000 | #Constraints: 23137
72.56/73.64 c #Conflicts: 24000 | #Constraints: 24137
72.56/73.64 c #Conflicts: 25000 | #Constraints: 25137
72.56/73.64 c INPROCESSING
72.56/73.64 c GARBAGE COLLECT
72.56/73.64 c #Conflicts: 26000 | #Constraints: 22601
72.56/73.64 c #Conflicts: 27000 | #Constraints: 23601
72.56/73.64 c bounds 1205 >= 983 @ 70.2433
72.97/74.09 c #Conflicts: 28000 | #Constraints: 24602
72.97/74.09 c #Conflicts: 29000 | #Constraints: 25602
72.97/74.09 c INPROCESSING
72.97/74.09 c GARBAGE COLLECT
72.97/74.09 c bounds 1205 >= 984 @ 70.6818
111.87/113.05 c #Conflicts: 30000 | #Constraints: 23127
111.87/113.05 c #Conflicts: 31000 | #Constraints: 24127
111.87/113.05 c #Conflicts: 32000 | #Constraints: 25127
111.87/113.05 c #Conflicts: 33000 | #Constraints: 26127
111.87/113.05 c INPROCESSING
111.87/113.05 c GARBAGE COLLECT
111.87/113.05 c #Conflicts: 34000 | #Constraints: 23301
111.87/113.05 c #Conflicts: 35000 | #Constraints: 24301
111.87/113.05 c #Conflicts: 36000 | #Constraints: 25301
111.87/113.05 c #Conflicts: 37000 | #Constraints: 26301
111.87/113.05 c INPROCESSING
111.87/113.05 c GARBAGE COLLECT
111.87/113.05 c #Conflicts: 38000 | #Constraints: 23290
111.87/113.05 c #Conflicts: 39000 | #Constraints: 24290
111.87/113.05 c #Conflicts: 40000 | #Constraints: 25290
111.87/113.05 c #Conflicts: 41000 | #Constraints: 26290
111.87/113.05 c INPROCESSING
111.87/113.05 c GARBAGE COLLECT
111.87/113.05 c rational objective 1015
114.87/116.01 c #Conflicts: 42000 | #Constraints: 23099
114.87/116.01 c bounds 1205 >= 985 @ 112.219
168.13/169.40 c #Conflicts: 43000 | #Constraints: 24378
168.13/169.40 c #Conflicts: 44000 | #Constraints: 25378
168.13/169.40 c #Conflicts: 45000 | #Constraints: 26378
168.13/169.40 c #Conflicts: 46000 | #Constraints: 27378
168.13/169.40 c INPROCESSING
168.13/169.40 c GARBAGE COLLECT
168.13/169.40 c #Conflicts: 47000 | #Constraints: 23908
168.13/169.40 c #Conflicts: 48000 | #Constraints: 24908
168.13/169.40 c #Conflicts: 49000 | #Constraints: 25908
168.13/169.40 c #Conflicts: 50000 | #Constraints: 26908
168.13/169.40 c #Conflicts: 51000 | #Constraints: 27908
168.13/169.40 c INPROCESSING
168.13/169.40 c GARBAGE COLLECT
168.13/169.40 c #Conflicts: 52000 | #Constraints: 24295
168.13/169.40 c #Conflicts: 53000 | #Constraints: 25295
168.13/169.40 c #Conflicts: 54000 | #Constraints: 26295
168.13/169.40 c #Conflicts: 55000 | #Constraints: 27295
168.13/169.40 c #Conflicts: 56000 | #Constraints: 28295
168.13/169.40 c INPROCESSING
168.13/169.40 c GARBAGE COLLECT
168.13/169.40 c rational objective 1015.23
171.22/172.52 c #Conflicts: 57000 | #Constraints: 24487
171.22/172.52 c #Conflicts: 58000 | #Constraints: 25487
171.22/172.52 c #Conflicts: 59000 | #Constraints: 26487
171.22/172.52 c bounds 1205 >= 986 @ 168.272
171.32/172.63 c bounds 1204 >= 986 @ 168.376
172.02/173.31 c bounds 1203 >= 986 @ 169.047
173.32/174.64 c #Conflicts: 60000 | #Constraints: 27675
173.32/174.64 c #Conflicts: 61000 | #Constraints: 28675
173.32/174.64 c INPROCESSING
173.32/174.64 c GARBAGE COLLECT
173.32/174.64 c bounds 1202 >= 986 @ 170.352
177.90/179.28 c #Conflicts: 62000 | #Constraints: 24538
177.90/179.28 c #Conflicts: 63000 | #Constraints: 25538
177.90/179.28 c #Conflicts: 64000 | #Constraints: 26538
177.90/179.28 c #Conflicts: 65000 | #Constraints: 27538
177.90/179.28 c #Conflicts: 66000 | #Constraints: 28538
177.90/179.28 c INPROCESSING
177.90/179.28 c GARBAGE COLLECT
177.90/179.28 c #Conflicts: 67000 | #Constraints: 24410
177.90/179.28 c #Conflicts: 68000 | #Constraints: 25410
177.90/179.28 c bounds 1201 >= 986 @ 174.861
179.70/181.01 c #Conflicts: 69000 | #Constraints: 26411
179.70/181.01 c #Conflicts: 70000 | #Constraints: 27411
179.70/181.01 c #Conflicts: 71000 | #Constraints: 28411
179.70/181.01 c #Conflicts: 72000 | #Constraints: 29411
179.70/181.01 c INPROCESSING
179.70/181.01 c GARBAGE COLLECT
179.70/181.01 c bounds 1200 >= 986 @ 176.557
179.70/181.04 c bounds 1199 >= 986 @ 176.575
179.70/181.07 c bounds 1198 >= 986 @ 176.604
179.81/181.10 c bounds 1197 >= 986 @ 176.634
179.81/181.15 c bounds 1196 >= 986 @ 176.673
180.20/181.50 c bounds 1195 >= 986 @ 177.017
247.84/249.35 c #Conflicts: 73000 | #Constraints: 25006
247.84/249.35 c #Conflicts: 74000 | #Constraints: 26006
247.84/249.35 c #Conflicts: 75000 | #Constraints: 27006
247.84/249.35 c #Conflicts: 76000 | #Constraints: 28006
247.84/249.35 c #Conflicts: 77000 | #Constraints: 29006
247.84/249.35 c #Conflicts: 78000 | #Constraints: 30006
247.84/249.35 c INPROCESSING
247.84/249.35 c GARBAGE COLLECT
247.84/249.35 c bounds 1194 >= 986 @ 244.462
247.93/249.42 c bounds 1193 >= 986 @ 244.528
247.93/249.46 c bounds 1192 >= 986 @ 244.561
252.32/253.87 c #Conflicts: 79000 | #Constraints: 25391
252.32/253.87 c #Conflicts: 80000 | #Constraints: 26391
252.32/253.87 c bounds 1191 >= 986 @ 248.887
257.21/258.73 c #Conflicts: 81000 | #Constraints: 27392
257.21/258.73 c #Conflicts: 82000 | #Constraints: 28392
257.21/258.73 c #Conflicts: 83000 | #Constraints: 29392
257.21/258.73 c #Conflicts: 84000 | #Constraints: 30392
257.21/258.73 c INPROCESSING
257.21/258.73 c GARBAGE COLLECT
257.21/258.73 c #Conflicts: 85000 | #Constraints: 25479
257.21/258.73 c #Conflicts: 86000 | #Constraints: 26479
257.21/258.73 c #Conflicts: 87000 | #Constraints: 27479
257.21/258.73 c #Conflicts: 88000 | #Constraints: 28479
257.21/258.73 c #Conflicts: 89000 | #Constraints: 29479
257.21/258.73 c #Conflicts: 90000 | #Constraints: 30479
257.21/258.73 c INPROCESSING
257.21/258.73 c GARBAGE COLLECT
257.21/258.73 c #Conflicts: 91000 | #Constraints: 25451
257.21/258.73 c bounds 1190 >= 986 @ 253.663
343.40/345.13 c #Conflicts: 92000 | #Constraints: 26452
343.40/345.13 c #Conflicts: 93000 | #Constraints: 27452
343.40/345.13 c #Conflicts: 94000 | #Constraints: 28452
343.40/345.13 c #Conflicts: 95000 | #Constraints: 29452
343.40/345.13 c #Conflicts: 96000 | #Constraints: 30452
343.40/345.13 c INPROCESSING
343.40/345.13 c GARBAGE COLLECT
343.40/345.13 c #Conflicts: 97000 | #Constraints: 25431
343.40/345.13 c bounds 1189 >= 986 @ 339.584
343.40/345.18 c bounds 1188 >= 986 @ 339.631
343.50/345.25 c bounds 1187 >= 986 @ 339.698
355.76/357.57 c #Conflicts: 98000 | #Constraints: 26434
355.76/357.57 c #Conflicts: 99000 | #Constraints: 27434
355.76/357.57 c #Conflicts: 100000 | #Constraints: 28434
355.76/357.57 c #Conflicts: 101000 | #Constraints: 29434
355.76/357.57 c #Conflicts: 102000 | #Constraints: 30434
355.76/357.57 c #Conflicts: 103000 | #Constraints: 31434
355.76/357.57 c INPROCESSING
355.76/357.57 c GARBAGE COLLECT
355.76/357.57 c #Conflicts: 104000 | #Constraints: 25779
355.76/357.57 c #Conflicts: 105000 | #Constraints: 26779
355.76/357.57 c #Conflicts: 106000 | #Constraints: 27779
355.76/357.57 c #Conflicts: 107000 | #Constraints: 28779
355.76/357.57 c bounds 1187 >= 987 @ 351.739
362.45/364.25 c #Conflicts: 108000 | #Constraints: 29941
362.45/364.25 c #Conflicts: 109000 | #Constraints: 30941
362.45/364.25 c #Conflicts: 110000 | #Constraints: 31941
362.45/364.25 c INPROCESSING
362.45/364.25 c GARBAGE COLLECT
362.45/364.25 c #Conflicts: 111000 | #Constraints: 26257
362.45/364.25 c #Conflicts: 112000 | #Constraints: 27257
362.45/364.25 c #Conflicts: 113000 | #Constraints: 28257
362.45/364.25 c #Conflicts: 114000 | #Constraints: 29257
362.45/364.25 c #Conflicts: 115000 | #Constraints: 30257
362.45/364.25 c #Conflicts: 116000 | #Constraints: 31257
362.45/364.25 c #Conflicts: 117000 | #Constraints: 32257
362.45/364.25 c INPROCESSING
362.45/364.25 c GARBAGE COLLECT
362.45/364.25 c #Conflicts: 118000 | #Constraints: 26412
362.45/364.25 c #Conflicts: 119000 | #Constraints: 27412
362.45/364.25 c #Conflicts: 120000 | #Constraints: 28412
362.45/364.25 c #Conflicts: 121000 | #Constraints: 29412
362.45/364.25 c #Conflicts: 122000 | #Constraints: 30412
362.45/364.25 c #Conflicts: 123000 | #Constraints: 31412
362.45/364.25 c bounds 1187 >= 988 @ 358.267
430.21/432.24 c #Conflicts: 124000 | #Constraints: 32475
430.21/432.24 c INPROCESSING
430.21/432.24 c GARBAGE COLLECT
430.21/432.24 c #Conflicts: 125000 | #Constraints: 26434
430.21/432.24 c #Conflicts: 126000 | #Constraints: 27434
430.21/432.24 c #Conflicts: 127000 | #Constraints: 28434
430.21/432.24 c #Conflicts: 128000 | #Constraints: 29434
430.21/432.24 c #Conflicts: 129000 | #Constraints: 30434
430.21/432.24 c #Conflicts: 130000 | #Constraints: 31434
430.21/432.24 c #Conflicts: 131000 | #Constraints: 32434
430.21/432.24 c INPROCESSING
430.21/432.24 c GARBAGE COLLECT
430.21/432.24 c #Conflicts: 132000 | #Constraints: 26225
430.21/432.24 c #Conflicts: 133000 | #Constraints: 27225
430.21/432.24 c #Conflicts: 134000 | #Constraints: 28225
430.21/432.24 c #Conflicts: 135000 | #Constraints: 29225
430.21/432.24 c #Conflicts: 136000 | #Constraints: 30225
430.21/432.24 c #Conflicts: 137000 | #Constraints: 31225
430.21/432.24 c #Conflicts: 138000 | #Constraints: 32225
430.21/432.24 c #Conflicts: 139000 | #Constraints: 33225
430.21/432.24 c INPROCESSING
430.21/432.24 c GARBAGE COLLECT
430.21/432.24 c #Conflicts: 140000 | #Constraints: 26833
430.21/432.24 c #Conflicts: 141000 | #Constraints: 27833
430.21/432.24 c #Conflicts: 142000 | #Constraints: 28833
430.21/432.24 c #Conflicts: 143000 | #Constraints: 29833
430.21/432.24 c #Conflicts: 144000 | #Constraints: 30833
430.21/432.24 c #Conflicts: 145000 | #Constraints: 31833
430.21/432.24 c #Conflicts: 146000 | #Constraints: 32833
430.21/432.24 c #Conflicts: 147000 | #Constraints: 33833
430.21/432.24 c INPROCESSING
430.21/432.24 c GARBAGE COLLECT
430.21/432.24 c #Conflicts: 148000 | #Constraints: 27321
430.21/432.24 c #Conflicts: 149000 | #Constraints: 28321
430.21/432.24 c #Conflicts: 150000 | #Constraints: 29321
430.21/432.24 c #Conflicts: 151000 | #Constraints: 30321
430.21/432.24 c #Conflicts: 152000 | #Constraints: 31321
430.21/432.24 c #Conflicts: 153000 | #Constraints: 32321
430.21/432.24 c #Conflicts: 154000 | #Constraints: 33321
430.21/432.24 c #Conflicts: 155000 | #Constraints: 34321
430.21/432.24 c INPROCESSING
430.21/432.24 c GARBAGE COLLECT
430.21/432.24 c #Conflicts: 156000 | #Constraints: 27748
430.21/432.24 c bounds 1186 >= 988 @ 425.403
486.57/488.80 c #Conflicts: 157000 | #Constraints: 28749
486.57/488.80 c #Conflicts: 158000 | #Constraints: 29749
486.57/488.80 c #Conflicts: 159000 | #Constraints: 30749
486.57/488.80 c #Conflicts: 160000 | #Constraints: 31749
486.57/488.80 c #Conflicts: 161000 | #Constraints: 32749
486.57/488.80 c #Conflicts: 162000 | #Constraints: 33749
486.57/488.80 c #Conflicts: 163000 | #Constraints: 34749
486.57/488.80 c INPROCESSING
486.57/488.80 c GARBAGE COLLECT
486.57/488.80 WSVECS04 Frhs2[3562]: 6 -1.00009 0 shouldn't be
486.57/488.80 WSVECS04 Frhs2[3615]: 6 -1.00007 0 shouldn't be
486.57/488.80 WSVECS04 Frhs2[3644]: 6 -1.00006 0 shouldn't be
486.57/488.80 WSVECS04 Frhs2[3645]: 6 -1.00005 0 shouldn't be
486.57/488.80 WSVECS04 Frhs2[3901]: 6 -1.00005 0 shouldn't be
520.89/523.15 c rational objective 1015.23
523.78/526.06 c bounds 1185 >= 988 @ 518.644
523.98/526.21 c bounds 1184 >= 988 @ 518.784
524.18/526.45 c bounds 1183 >= 988 @ 519.025
525.38/527.62 c #Conflicts: 164000 | #Constraints: 27664
525.38/527.62 c bounds 1182 >= 988 @ 520.177
535.35/537.60 c #Conflicts: 165000 | #Constraints: 28665
535.35/537.60 c #Conflicts: 166000 | #Constraints: 29665
535.35/537.60 c #Conflicts: 167000 | #Constraints: 30665
535.35/537.60 c #Conflicts: 168000 | #Constraints: 31665
535.35/537.60 c #Conflicts: 169000 | #Constraints: 32665
535.35/537.60 c #Conflicts: 170000 | #Constraints: 33665
535.35/537.60 c #Conflicts: 171000 | #Constraints: 34665
535.35/537.60 c INPROCESSING
535.35/537.60 c GARBAGE COLLECT
535.35/537.60 c #Conflicts: 172000 | #Constraints: 27338
535.35/537.60 c #Conflicts: 173000 | #Constraints: 28338
535.35/537.60 c #Conflicts: 174000 | #Constraints: 29338
535.35/537.60 c #Conflicts: 175000 | #Constraints: 30338
535.35/537.60 c bounds 1181 >= 988 @ 529.887
978.95/982.70 c #Conflicts: 176000 | #Constraints: 31339
978.95/982.70 c #Conflicts: 177000 | #Constraints: 32339
978.95/982.70 c #Conflicts: 178000 | #Constraints: 33339
978.95/982.70 c #Conflicts: 179000 | #Constraints: 34339
978.95/982.70 c #Conflicts: 180000 | #Constraints: 35339
978.95/982.70 c INPROCESSING
978.95/982.70 c GARBAGE COLLECT
978.95/982.70 c #Conflicts: 181000 | #Constraints: 27878
978.95/982.70 c #Conflicts: 182000 | #Constraints: 28878
978.95/982.70 c #Conflicts: 183000 | #Constraints: 29878
978.95/982.70 c #Conflicts: 184000 | #Constraints: 30878
978.95/982.70 c #Conflicts: 185000 | #Constraints: 31878
978.95/982.70 c #Conflicts: 186000 | #Constraints: 32878
978.95/982.70 c #Conflicts: 187000 | #Constraints: 33878
978.95/982.70 c #Conflicts: 188000 | #Constraints: 34878
978.95/982.70 c #Conflicts: 189000 | #Constraints: 35878
978.95/982.70 c INPROCESSING
978.95/982.70 c GARBAGE COLLECT
978.95/982.70 c #Conflicts: 190000 | #Constraints: 28261
978.95/982.70 c #Conflicts: 191000 | #Constraints: 29261
978.95/982.70 c #Conflicts: 192000 | #Constraints: 30261
978.95/982.70 c #Conflicts: 193000 | #Constraints: 31261
978.95/982.70 c #Conflicts: 194000 | #Constraints: 32261
978.95/982.70 c #Conflicts: 195000 | #Constraints: 33261
978.95/982.70 c #Conflicts: 196000 | #Constraints: 34261
978.95/982.70 c #Conflicts: 197000 | #Constraints: 35261
978.95/982.70 c #Conflicts: 198000 | #Constraints: 36261
978.95/982.70 c INPROCESSING
978.95/982.70 c GARBAGE COLLECT
978.95/982.70 c #Conflicts: 199000 | #Constraints: 28364
978.95/982.70 c #Conflicts: 200000 | #Constraints: 29364
978.95/982.70 c #Conflicts: 201000 | #Constraints: 30364
978.95/982.70 c #Conflicts: 202000 | #Constraints: 31364
978.95/982.70 c #Conflicts: 203000 | #Constraints: 32364
978.95/982.70 c #Conflicts: 204000 | #Constraints: 33364
978.95/982.70 c #Conflicts: 205000 | #Constraints: 34364
978.95/982.70 c #Conflicts: 206000 | #Constraints: 35364
978.95/982.70 c #Conflicts: 207000 | #Constraints: 36364
978.95/982.70 c INPROCESSING
978.95/982.70 c GARBAGE COLLECT
978.95/982.70 c #Conflicts: 208000 | #Constraints: 28407
978.95/982.70 c #Conflicts: 209000 | #Constraints: 29407
978.95/982.70 c #Conflicts: 210000 | #Constraints: 30407
978.95/982.70 c #Conflicts: 211000 | #Constraints: 31407
978.95/982.70 c #Conflicts: 212000 | #Constraints: 32407
978.95/982.70 c #Conflicts: 213000 | #Constraints: 33407
978.95/982.70 c #Conflicts: 214000 | #Constraints: 34407
978.95/982.70 c #Conflicts: 215000 | #Constraints: 35407
978.95/982.70 c #Conflicts: 216000 | #Constraints: 36407
978.95/982.70 c INPROCESSING
978.95/982.70 c GARBAGE COLLECT
978.95/982.70 c #Conflicts: 217000 | #Constraints: 28253
978.95/982.70 c #Conflicts: 218000 | #Constraints: 29253
978.95/982.70 c #Conflicts: 219000 | #Constraints: 30253
978.95/982.70 c #Conflicts: 220000 | #Constraints: 31253
978.95/982.70 c #Conflicts: 221000 | #Constraints: 32253
978.95/982.70 c #Conflicts: 222000 | #Constraints: 33253
978.95/982.70 c #Conflicts: 223000 | #Constraints: 34253
978.95/982.70 c #Conflicts: 224000 | #Constraints: 35253
978.95/982.70 c #Conflicts: 225000 | #Constraints: 36253
978.95/982.70 c #Conflicts: 226000 | #Constraints: 37253
978.95/982.70 c INPROCESSING
978.95/982.70 c GARBAGE COLLECT
978.95/982.70 c #Conflicts: 227000 | #Constraints: 28867
978.95/982.70 c #Conflicts: 228000 | #Constraints: 29867
978.95/982.70 c #Conflicts: 229000 | #Constraints: 30867
978.95/982.70 c #Conflicts: 230000 | #Constraints: 31867
978.95/982.70 c #Conflicts: 231000 | #Constraints: 32867
978.95/982.70 c #Conflicts: 232000 | #Constraints: 33867
978.95/982.70 c #Conflicts: 233000 | #Constraints: 34867
978.95/982.70 c #Conflicts: 234000 | #Constraints: 35867
978.95/982.70 c #Conflicts: 235000 | #Constraints: 36867
978.95/982.70 c #Conflicts: 236000 | #Constraints: 37867
978.95/982.70 c INPROCESSING
978.95/982.70 c GARBAGE COLLECT
978.95/982.70 c #Conflicts: 237000 | #Constraints: 29283
978.95/982.70 c #Conflicts: 238000 | #Constraints: 30283
978.95/982.70 c #Conflicts: 239000 | #Constraints: 31283
978.95/982.70 c #Conflicts: 240000 | #Constraints: 32283
978.95/982.70 c #Conflicts: 241000 | #Constraints: 33283
978.95/982.70 c #Conflicts: 242000 | #Constraints: 34283
978.95/982.70 c #Conflicts: 243000 | #Constraints: 35283
978.95/982.70 c #Conflicts: 244000 | #Constraints: 36283
978.95/982.70 c #Conflicts: 245000 | #Constraints: 37283
978.95/982.70 c #Conflicts: 246000 | #Constraints: 38283
978.95/982.70 c INPROCESSING
978.95/982.70 c GARBAGE COLLECT
978.95/982.70 c bounds 1180 >= 988 @ 971.714
984.34/988.06 c #Conflicts: 247000 | #Constraints: 29490
984.34/988.06 c #Conflicts: 248000 | #Constraints: 30490
984.34/988.06 c #Conflicts: 249000 | #Constraints: 31490
984.34/988.06 c #Conflicts: 250000 | #Constraints: 32490
984.34/988.06 c #Conflicts: 251000 | #Constraints: 33490
984.34/988.06 c #Conflicts: 252000 | #Constraints: 34490
984.34/988.06 c #Conflicts: 253000 | #Constraints: 35490
984.34/988.06 c #Conflicts: 254000 | #Constraints: 36490
984.34/988.06 c #Conflicts: 255000 | #Constraints: 37490
984.34/988.06 c #Conflicts: 256000 | #Constraints: 38490
984.34/988.06 c INPROCESSING
984.34/988.06 c GARBAGE COLLECT
984.34/988.06 c bounds 1179 >= 988 @ 976.967
988.43/992.17 c #Conflicts: 257000 | #Constraints: 29512
988.43/992.17 c #Conflicts: 258000 | #Constraints: 30512
988.43/992.17 c #Conflicts: 259000 | #Constraints: 31512
988.43/992.17 c bounds 1178 >= 988 @ 980.999
993.11/996.83 c #Conflicts: 260000 | #Constraints: 32513
993.11/996.83 c #Conflicts: 261000 | #Constraints: 33513
993.11/996.83 c #Conflicts: 262000 | #Constraints: 34513
993.11/996.83 c #Conflicts: 263000 | #Constraints: 35513
993.11/996.83 c #Conflicts: 264000 | #Constraints: 36513
993.11/996.83 c #Conflicts: 265000 | #Constraints: 37513
993.11/996.83 c #Conflicts: 266000 | #Constraints: 38513
993.11/996.83 c INPROCESSING
993.11/996.83 c GARBAGE COLLECT
993.11/996.83 c bounds 1177 >= 988 @ 985.573
996.50/1000.22 c #Conflicts: 267000 | #Constraints: 29276
996.50/1000.22 c #Conflicts: 268000 | #Constraints: 30276
996.50/1000.22 c #Conflicts: 269000 | #Constraints: 31276
996.50/1000.22 c bounds 1176 >= 988 @ 988.913
996.70/1000.47 c bounds 1175 >= 988 @ 989.155
1010.09/1031.34 c #Conflicts: 270000 | #Constraints: 32278
1010.09/1031.34 c #Conflicts: 271000 | #Constraints: 33278
1010.09/1031.34 c #Conflicts: 272000 | #Constraints: 34278
1010.09/1031.34 c #Conflicts: 273000 | #Constraints: 35278
1010.09/1031.34 c #Conflicts: 274000 | #Constraints: 36278
1010.09/1031.34 c #Conflicts: 275000 | #Constraints: 37278
1010.09/1031.34 c bounds 1174 >= 988 @ 1002.39
1014.68/1035.94 c #Conflicts: 276000 | #Constraints: 38279
1014.68/1035.94 c #Conflicts: 277000 | #Constraints: 39279
1014.68/1035.94 c INPROCESSING
1014.68/1035.94 c GARBAGE COLLECT
1014.68/1035.94 c #Conflicts: 278000 | #Constraints: 29946
1014.68/1035.94 c #Conflicts: 279000 | #Constraints: 30946
1014.68/1035.94 c #Conflicts: 280000 | #Constraints: 31946
1014.68/1035.94 c #Conflicts: 281000 | #Constraints: 32946
1014.68/1035.94 c #Conflicts: 282000 | #Constraints: 33946
1014.68/1035.94 c #Conflicts: 283000 | #Constraints: 34946
1014.68/1035.94 c #Conflicts: 284000 | #Constraints: 35946
1014.68/1035.94 c #Conflicts: 285000 | #Constraints: 36946
1014.68/1035.94 c bounds 1174 >= 989 @ 1006.9
1039.56/1061.19 c #Conflicts: 286000 | #Constraints: 38111
1039.56/1061.19 c #Conflicts: 287000 | #Constraints: 39111
1039.56/1061.19 c #Conflicts: 288000 | #Constraints: 40111
1039.56/1061.19 c INPROCESSING
1039.56/1061.19 c GARBAGE COLLECT
1039.56/1061.19 c #Conflicts: 289000 | #Constraints: 30540
1039.56/1061.19 c #Conflicts: 290000 | #Constraints: 31540
1039.56/1061.19 c #Conflicts: 291000 | #Constraints: 32540
1039.56/1061.19 c #Conflicts: 292000 | #Constraints: 33540
1039.56/1061.19 c #Conflicts: 293000 | #Constraints: 34540
1039.56/1061.19 c #Conflicts: 294000 | #Constraints: 35540
1039.56/1061.19 c #Conflicts: 295000 | #Constraints: 36540
1039.56/1061.19 c #Conflicts: 296000 | #Constraints: 37540
1039.56/1061.19 c #Conflicts: 297000 | #Constraints: 38540
1039.56/1061.19 c #Conflicts: 298000 | #Constraints: 39540
1039.56/1061.19 c #Conflicts: 299000 | #Constraints: 40540
1039.56/1061.19 c INPROCESSING
1039.56/1061.19 c GARBAGE COLLECT
1039.56/1061.19 c #Conflicts: 300000 | #Constraints: 30759
1039.56/1061.19 c #Conflicts: 301000 | #Constraints: 31759
1039.56/1061.19 c #Conflicts: 302000 | #Constraints: 32759
1039.56/1061.19 c #Conflicts: 303000 | #Constraints: 33759
1039.56/1061.19 c #Conflicts: 304000 | #Constraints: 34759
1039.56/1061.19 c #Conflicts: 305000 | #Constraints: 35759
1039.56/1061.19 c #Conflicts: 306000 | #Constraints: 36759
1039.56/1061.19 c #Conflicts: 307000 | #Constraints: 37759
1039.56/1061.19 c #Conflicts: 308000 | #Constraints: 38759
1039.56/1061.19 c #Conflicts: 309000 | #Constraints: 39759
1039.56/1061.19 c #Conflicts: 310000 | #Constraints: 40759
1039.56/1061.19 c INPROCESSING
1039.56/1061.19 c GARBAGE COLLECT
1039.56/1061.19 c #Conflicts: 311000 | #Constraints: 30803
1039.56/1061.19 c #Conflicts: 312000 | #Constraints: 31803
1039.56/1061.19 c #Conflicts: 313000 | #Constraints: 32803
1039.56/1061.19 c #Conflicts: 314000 | #Constraints: 33803
1039.56/1061.19 c #Conflicts: 315000 | #Constraints: 34803
1039.56/1061.19 c #Conflicts: 316000 | #Constraints: 35803
1039.56/1061.19 c #Conflicts: 317000 | #Constraints: 36803
1039.56/1061.19 c #Conflicts: 318000 | #Constraints: 37803
1039.56/1061.19 c #Conflicts: 319000 | #Constraints: 38803
1039.56/1061.19 c #Conflicts: 320000 | #Constraints: 39803
1039.56/1061.19 c #Conflicts: 321000 | #Constraints: 40803
1039.56/1061.19 c INPROCESSING
1039.56/1061.19 c GARBAGE COLLECT
1039.56/1061.19 c #Conflicts: 322000 | #Constraints: 30631
1039.56/1061.19 c #Conflicts: 323000 | #Constraints: 31631
1039.56/1061.19 c #Conflicts: 324000 | #Constraints: 32631
1039.56/1061.19 c #Conflicts: 325000 | #Constraints: 33631
1039.56/1061.19 c #Conflicts: 326000 | #Constraints: 34631
1039.56/1061.19 c #Conflicts: 327000 | #Constraints: 35631
1039.56/1061.19 c #Conflicts: 328000 | #Constraints: 36631
1039.56/1061.19 c #Conflicts: 329000 | #Constraints: 37631
1039.56/1061.19 c #Conflicts: 330000 | #Constraints: 38631
1039.56/1061.19 c #Conflicts: 331000 | #Constraints: 39631
1039.56/1061.19 c #Conflicts: 332000 | #Constraints: 40631
1039.56/1061.19 c #Conflicts: 333000 | #Constraints: 41631
1039.56/1061.19 c INPROCESSING
1039.56/1061.19 c GARBAGE COLLECT
1039.56/1061.19 c bounds 1173 >= 989 @ 1031.48
1039.75/1061.36 c bounds 1172 >= 989 @ 1031.64
1040.25/1061.83 c bounds 1171 >= 989 @ 1032.1
1040.35/1061.95 c bounds 1170 >= 989 @ 1032.21
1040.56/1062.19 c #Conflicts: 334000 | #Constraints: 31238
1040.56/1062.19 c bounds 1169 >= 989 @ 1032.45
1040.76/1062.30 c bounds 1168 >= 989 @ 1032.55
1040.86/1062.41 c bounds 1167 >= 989 @ 1032.66
1040.95/1062.53 c bounds 1166 >= 989 @ 1032.77
1041.75/1063.34 c bounds 1165 >= 989 @ 1033.58
1066.59/1088.25 c #Conflicts: 335000 | #Constraints: 32243
1066.59/1088.25 c #Conflicts: 336000 | #Constraints: 33243
1066.59/1088.25 c #Conflicts: 337000 | #Constraints: 34243
1066.59/1088.25 c #Conflicts: 338000 | #Constraints: 35243
1066.59/1088.25 c #Conflicts: 339000 | #Constraints: 36243
1066.59/1088.25 c #Conflicts: 340000 | #Constraints: 37243
1066.59/1088.25 c #Conflicts: 341000 | #Constraints: 38243
1066.59/1088.25 c #Conflicts: 342000 | #Constraints: 39243
1066.59/1088.25 c #Conflicts: 343000 | #Constraints: 40243
1066.59/1088.25 c #Conflicts: 344000 | #Constraints: 41243
1066.59/1088.25 c #Conflicts: 345000 | #Constraints: 42243
1066.59/1088.25 c INPROCESSING
1066.59/1088.25 c GARBAGE COLLECT
1066.59/1088.25 c #Conflicts: 346000 | #Constraints: 31349
1066.59/1088.25 c #Conflicts: 347000 | #Constraints: 32349
1066.59/1088.25 c #Conflicts: 348000 | #Constraints: 33349
1066.59/1088.25 c #Conflicts: 349000 | #Constraints: 34349
1066.59/1088.25 c #Conflicts: 350000 | #Constraints: 35349
1066.59/1088.25 c #Conflicts: 351000 | #Constraints: 36349
1066.59/1088.25 c bounds 1165 >= 990 @ 1057.96
1381.24/1405.18 c #Conflicts: 352000 | #Constraints: 37514
1381.24/1405.18 c #Conflicts: 353000 | #Constraints: 38514
1381.24/1405.18 c #Conflicts: 354000 | #Constraints: 39514
1381.24/1405.18 c #Conflicts: 355000 | #Constraints: 40514
1381.24/1405.18 c #Conflicts: 356000 | #Constraints: 41514
1381.24/1405.18 c #Conflicts: 357000 | #Constraints: 42514
1381.24/1405.18 c INPROCESSING
1381.24/1405.18 c GARBAGE COLLECT
1381.24/1405.18 c #Conflicts: 358000 | #Constraints: 31879
1381.24/1405.18 c #Conflicts: 359000 | #Constraints: 32879
1381.24/1405.18 c #Conflicts: 360000 | #Constraints: 33879
1381.24/1405.18 c #Conflicts: 361000 | #Constraints: 34879
1381.24/1405.18 c #Conflicts: 362000 | #Constraints: 35879
1381.24/1405.18 c #Conflicts: 363000 | #Constraints: 36879
1381.24/1405.18 c #Conflicts: 364000 | #Constraints: 37879
1381.24/1405.18 c #Conflicts: 365000 | #Constraints: 38879
1381.24/1405.18 c #Conflicts: 366000 | #Constraints: 39879
1381.24/1405.18 c #Conflicts: 367000 | #Constraints: 40879
1381.24/1405.18 c #Conflicts: 368000 | #Constraints: 41879
1381.24/1405.18 c #Conflicts: 369000 | #Constraints: 42879
1381.24/1405.18 c INPROCESSING
1381.24/1405.18 c GARBAGE COLLECT
1381.24/1405.18 c rational objective 1015.23
1405.97/1429.93 c #Conflicts: 370000 | #Constraints: 31985
1405.97/1429.93 c #Conflicts: 371000 | #Constraints: 32985
1405.97/1429.93 c #Conflicts: 372000 | #Constraints: 33985
1405.97/1429.93 c #Conflicts: 373000 | #Constraints: 34985
1405.97/1429.93 c #Conflicts: 374000 | #Constraints: 35985
1405.97/1429.93 c #Conflicts: 375000 | #Constraints: 36985
1405.97/1429.93 c #Conflicts: 376000 | #Constraints: 37985
1405.97/1429.93 c #Conflicts: 377000 | #Constraints: 38985
1405.97/1429.93 c #Conflicts: 378000 | #Constraints: 39985
1405.97/1429.93 c #Conflicts: 379000 | #Constraints: 40985
1405.97/1429.93 c #Conflicts: 380000 | #Constraints: 41985
1405.97/1429.93 c #Conflicts: 381000 | #Constraints: 42985
1405.97/1429.93 c INPROCESSING
1405.97/1429.93 c GARBAGE COLLECT
1405.97/1429.93 c #Conflicts: 382000 | #Constraints: 31848
1405.97/1429.93 c #Conflicts: 383000 | #Constraints: 32848
1405.97/1429.93 c #Conflicts: 384000 | #Constraints: 33848
1405.97/1429.93 c #Conflicts: 385000 | #Constraints: 34848
1405.97/1429.93 c #Conflicts: 386000 | #Constraints: 35848
1405.97/1429.93 c #Conflicts: 387000 | #Constraints: 36848
1405.97/1429.93 c #Conflicts: 388000 | #Constraints: 37848
1405.97/1429.93 c #Conflicts: 389000 | #Constraints: 38848
1405.97/1429.93 c #Conflicts: 390000 | #Constraints: 39848
1405.97/1429.93 c #Conflicts: 391000 | #Constraints: 40848
1405.97/1429.93 c #Conflicts: 392000 | #Constraints: 41848
1405.97/1429.93 c #Conflicts: 393000 | #Constraints: 42848
1405.97/1429.93 c #Conflicts: 394000 | #Constraints: 43848
1405.97/1429.93 c INPROCESSING
1405.97/1429.93 c GARBAGE COLLECT
1405.97/1429.93 c #Conflicts: 395000 | #Constraints: 32483
1405.97/1429.93 c #Conflicts: 396000 | #Constraints: 33483
1405.97/1429.93 c #Conflicts: 397000 | #Constraints: 34483
1405.97/1429.93 c #Conflicts: 398000 | #Constraints: 35483
1405.97/1429.93 c #Conflicts: 399000 | #Constraints: 36483
1405.97/1429.93 c #Conflicts: 400000 | #Constraints: 37483
1405.97/1429.93 c #Conflicts: 401000 | #Constraints: 38483
1405.97/1429.93 c #Conflicts: 402000 | #Constraints: 39483
1405.97/1429.93 c #Conflicts: 403000 | #Constraints: 40483
1405.97/1429.93 c #Conflicts: 404000 | #Constraints: 41483
1405.97/1429.93 c bounds 1165 >= 991 @ 1395.85
1415.77/1451.98 c #Conflicts: 405000 | #Constraints: 42627
1415.77/1451.98 c #Conflicts: 406000 | #Constraints: 43627
1415.77/1451.98 c #Conflicts: 407000 | #Constraints: 44627
1415.77/1451.98 c INPROCESSING
1415.77/1451.98 c GARBAGE COLLECT
1415.77/1451.98 c #Conflicts: 408000 | #Constraints: 33011
1415.77/1451.98 c #Conflicts: 409000 | #Constraints: 34011
1415.77/1451.98 c #Conflicts: 410000 | #Constraints: 35011
1415.77/1451.98 c #Conflicts: 411000 | #Constraints: 36011
1415.77/1451.98 c #Conflicts: 412000 | #Constraints: 37011
1415.77/1451.98 c #Conflicts: 413000 | #Constraints: 38011
1415.77/1451.98 c #Conflicts: 414000 | #Constraints: 39011
1415.77/1451.98 c #Conflicts: 415000 | #Constraints: 40011
1415.77/1451.98 c #Conflicts: 416000 | #Constraints: 41011
1415.77/1451.98 c #Conflicts: 417000 | #Constraints: 42011
1415.77/1451.98 c #Conflicts: 418000 | #Constraints: 43011
1415.77/1451.98 c #Conflicts: 419000 | #Constraints: 44011
1415.77/1451.98 c #Conflicts: 420000 | #Constraints: 45011
1415.77/1451.98 c INPROCESSING
1415.77/1451.98 c GARBAGE COLLECT
1415.77/1451.98 c bounds 1164 >= 991 @ 1405.62
1415.88/1452.07 c bounds 1163 >= 991 @ 1405.69
1416.08/1452.23 c bounds 1162 >= 991 @ 1405.85
1421.45/1457.67 c #Conflicts: 421000 | #Constraints: 33309
1421.45/1457.67 c #Conflicts: 422000 | #Constraints: 34309
1421.45/1457.67 c bounds 1161 >= 991 @ 1411.2
1438.11/1474.35 c #Conflicts: 423000 | #Constraints: 35310
1438.11/1474.35 c #Conflicts: 424000 | #Constraints: 36310
1438.11/1474.35 c #Conflicts: 425000 | #Constraints: 37310
1438.11/1474.35 c #Conflicts: 426000 | #Constraints: 38310
1438.11/1474.35 c #Conflicts: 427000 | #Constraints: 39310
1438.11/1474.35 c #Conflicts: 428000 | #Constraints: 40310
1438.11/1474.35 c #Conflicts: 429000 | #Constraints: 41310
1438.11/1474.35 c #Conflicts: 430000 | #Constraints: 42310
1438.11/1474.35 c #Conflicts: 431000 | #Constraints: 43310
1438.11/1474.35 c #Conflicts: 432000 | #Constraints: 44310
1438.11/1474.35 c #Conflicts: 433000 | #Constraints: 45310
1438.11/1474.35 c INPROCESSING
1438.11/1474.35 c GARBAGE COLLECT
1438.11/1474.35 c #Conflicts: 434000 | #Constraints: 33150
1438.11/1474.35 c #Conflicts: 435000 | #Constraints: 34150
1438.11/1474.35 c #Conflicts: 436000 | #Constraints: 35150
1438.11/1474.35 c #Conflicts: 437000 | #Constraints: 36150
1438.11/1474.35 c #Conflicts: 438000 | #Constraints: 37150
1438.11/1474.35 c bounds 1160 >= 991 @ 1427.62
1464.90/1515.50 c #Conflicts: 439000 | #Constraints: 38151
1464.90/1515.50 c #Conflicts: 440000 | #Constraints: 39151
1464.90/1515.50 c #Conflicts: 441000 | #Constraints: 40151
1464.90/1515.50 c #Conflicts: 442000 | #Constraints: 41151
1464.90/1515.50 c #Conflicts: 443000 | #Constraints: 42151
1464.90/1515.50 c #Conflicts: 444000 | #Constraints: 43151
1464.90/1515.50 c #Conflicts: 445000 | #Constraints: 44151
1464.90/1515.50 c #Conflicts: 446000 | #Constraints: 45151
1464.90/1515.50 c INPROCESSING
1464.90/1515.50 c GARBAGE COLLECT
1464.90/1515.50 c #Conflicts: 447000 | #Constraints: 32805
1464.90/1515.50 c #Conflicts: 448000 | #Constraints: 33805
1464.90/1515.50 c #Conflicts: 449000 | #Constraints: 34805
1464.90/1515.50 c #Conflicts: 450000 | #Constraints: 35805
1464.90/1515.50 c #Conflicts: 451000 | #Constraints: 36805
1464.90/1515.50 c #Conflicts: 452000 | #Constraints: 37805
1464.90/1515.50 c #Conflicts: 453000 | #Constraints: 38805
1464.90/1515.50 c #Conflicts: 454000 | #Constraints: 39805
1464.90/1515.50 c #Conflicts: 455000 | #Constraints: 40805
1464.90/1515.50 c #Conflicts: 456000 | #Constraints: 41805
1464.90/1515.50 c #Conflicts: 457000 | #Constraints: 42805
1464.90/1515.50 c #Conflicts: 458000 | #Constraints: 43805
1464.90/1515.50 c #Conflicts: 459000 | #Constraints: 44805
1464.90/1515.50 c #Conflicts: 460000 | #Constraints: 45805
1464.90/1515.50 c INPROCESSING
1464.90/1515.50 c GARBAGE COLLECT
1464.90/1515.50 c #Conflicts: 461000 | #Constraints: 33420
1464.90/1515.50 c #Conflicts: 462000 | #Constraints: 34420
1464.90/1515.50 c #Conflicts: 463000 | #Constraints: 35420
1464.90/1515.50 c #Conflicts: 464000 | #Constraints: 36420
1464.90/1515.50 c #Conflicts: 465000 | #Constraints: 37420
1464.90/1515.50 c #Conflicts: 466000 | #Constraints: 38420
1464.90/1515.50 c #Conflicts: 467000 | #Constraints: 39420
1464.90/1515.50 c bounds 1159 >= 991 @ 1454.05
1880.10/1932.04 c #Conflicts: 468000 | #Constraints: 40421
1880.10/1932.04 c #Conflicts: 469000 | #Constraints: 41421
1880.10/1932.04 c #Conflicts: 470000 | #Constraints: 42421
1880.10/1932.04 c #Conflicts: 471000 | #Constraints: 43421
1880.10/1932.04 c #Conflicts: 472000 | #Constraints: 44421
1880.10/1932.04 c #Conflicts: 473000 | #Constraints: 45421
1880.10/1932.04 c #Conflicts: 474000 | #Constraints: 46421
1880.10/1932.04 c INPROCESSING
1880.10/1932.04 c GARBAGE COLLECT
1880.10/1932.04 c #Conflicts: 475000 | #Constraints: 33632
1880.10/1932.04 c #Conflicts: 476000 | #Constraints: 34632
1880.10/1932.04 c #Conflicts: 477000 | #Constraints: 35632
1880.10/1932.04 c #Conflicts: 478000 | #Constraints: 36632
1880.10/1932.04 c #Conflicts: 479000 | #Constraints: 37632
1880.10/1932.04 c #Conflicts: 480000 | #Constraints: 38632
1880.10/1932.04 c #Conflicts: 481000 | #Constraints: 39632
1880.10/1932.04 c #Conflicts: 482000 | #Constraints: 40632
1880.10/1932.04 c #Conflicts: 483000 | #Constraints: 41632
1880.10/1932.04 c #Conflicts: 484000 | #Constraints: 42632
1880.10/1932.04 c #Conflicts: 485000 | #Constraints: 43632
1880.10/1932.04 c #Conflicts: 486000 | #Constraints: 44632
1880.10/1932.04 c #Conflicts: 487000 | #Constraints: 45632
1880.10/1932.04 c #Conflicts: 488000 | #Constraints: 46632
1880.10/1932.04 c INPROCESSING
1880.10/1932.04 c GARBAGE COLLECT
1880.10/1932.04 c #Conflicts: 489000 | #Constraints: 33744
1880.10/1932.04 c #Conflicts: 490000 | #Constraints: 34744
1880.10/1932.04 c #Conflicts: 491000 | #Constraints: 35744
1880.10/1932.04 c #Conflicts: 492000 | #Constraints: 36744
1880.10/1932.04 c #Conflicts: 493000 | #Constraints: 37744
1880.10/1932.04 c #Conflicts: 494000 | #Constraints: 38744
1880.10/1932.04 c #Conflicts: 495000 | #Constraints: 39745
1880.10/1932.04 c #Conflicts: 496000 | #Constraints: 40745
1880.10/1932.04 c #Conflicts: 497000 | #Constraints: 41745
1880.10/1932.04 c #Conflicts: 498000 | #Constraints: 42752
1880.10/1932.04 c #Conflicts: 499000 | #Constraints: 43752
1880.10/1932.04 c #Conflicts: 500000 | #Constraints: 44775
1880.10/1932.04 c bounds 1158 >= 991 @ 1867.85
1950.13/2002.37 c #Conflicts: 501000 | #Constraints: 45790
1950.13/2002.37 c #Conflicts: 502000 | #Constraints: 46790
1950.13/2002.37 c INPROCESSING
1950.13/2002.37 c GARBAGE COLLECT
1950.13/2002.37 c #Conflicts: 503000 | #Constraints: 33788
1950.13/2002.37 c #Conflicts: 504000 | #Constraints: 34788
1950.13/2002.37 c #Conflicts: 505000 | #Constraints: 35788
1950.13/2002.37 c #Conflicts: 506000 | #Constraints: 36788
1950.13/2002.37 c #Conflicts: 507000 | #Constraints: 37788
1950.13/2002.37 c #Conflicts: 508000 | #Constraints: 38788
1950.13/2002.37 c #Conflicts: 509000 | #Constraints: 39788
1950.13/2002.37 c #Conflicts: 510000 | #Constraints: 40788
1950.13/2002.37 c #Conflicts: 511000 | #Constraints: 41788
1950.13/2002.37 c #Conflicts: 512000 | #Constraints: 42788
1950.13/2002.37 c #Conflicts: 513000 | #Constraints: 43788
1950.13/2002.37 c #Conflicts: 514000 | #Constraints: 44788
1950.13/2002.37 c #Conflicts: 515000 | #Constraints: 45788
1950.13/2002.37 c #Conflicts: 516000 | #Constraints: 46788
1950.13/2002.37 c INPROCESSING
1950.13/2002.37 c GARBAGE COLLECT
1950.13/2002.37 c #Conflicts: 517000 | #Constraints: 33681
1950.13/2002.37 c #Conflicts: 518000 | #Constraints: 34681
1950.13/2002.37 c #Conflicts: 519000 | #Constraints: 35681
1950.13/2002.37 c #Conflicts: 520000 | #Constraints: 36681
1950.13/2002.37 c #Conflicts: 521000 | #Constraints: 37681
1950.13/2002.37 c #Conflicts: 522000 | #Constraints: 38681
1950.13/2002.37 c #Conflicts: 523000 | #Constraints: 39681
1950.13/2002.37 c #Conflicts: 524000 | #Constraints: 40681
1950.13/2002.37 c #Conflicts: 525000 | #Constraints: 41681
1950.13/2002.37 c #Conflicts: 526000 | #Constraints: 42681
1950.13/2002.37 c #Conflicts: 527000 | #Constraints: 43681
1950.13/2002.37 c #Conflicts: 528000 | #Constraints: 44681
1950.13/2002.37 c #Conflicts: 529000 | #Constraints: 45681
1950.13/2002.37 c #Conflicts: 530000 | #Constraints: 46681
1950.13/2002.37 c #Conflicts: 531000 | #Constraints: 47681
1950.13/2002.37 c INPROCESSING
1950.13/2002.37 c GARBAGE COLLECT
1950.13/2002.37 c #Conflicts: 532000 | #Constraints: 34348
1950.13/2002.37 c #Conflicts: 533000 | #Constraints: 35348
1950.13/2002.37 c #Conflicts: 534000 | #Constraints: 36348
1950.13/2002.37 c #Conflicts: 535000 | #Constraints: 37348
1950.13/2002.37 c #Conflicts: 536000 | #Constraints: 38348
1950.13/2002.37 c #Conflicts: 537000 | #Constraints: 39348
1950.13/2002.37 c #Conflicts: 538000 | #Constraints: 40348
1950.13/2002.37 c #Conflicts: 539000 | #Constraints: 41348
1950.13/2002.37 c #Conflicts: 540000 | #Constraints: 42348
1950.13/2002.37 c #Conflicts: 541000 | #Constraints: 43348
1950.13/2002.37 c #Conflicts: 542000 | #Constraints: 44348
1950.13/2002.37 c #Conflicts: 543000 | #Constraints: 45348
1950.13/2002.37 c #Conflicts: 544000 | #Constraints: 46348
1950.13/2002.37 c #Conflicts: 545000 | #Constraints: 47348
1950.13/2002.37 c #Conflicts: 546000 | #Constraints: 48348
1950.13/2002.37 c INPROCESSING
1950.13/2002.37 c GARBAGE COLLECT
1950.13/2002.37 c #Conflicts: 547000 | #Constraints: 34774
1950.13/2002.37 c #Conflicts: 548000 | #Constraints: 35774
1950.13/2002.37 c #Conflicts: 549000 | #Constraints: 36774
1950.13/2002.37 c #Conflicts: 550000 | #Constraints: 37774
1950.13/2002.37 c #Conflicts: 551000 | #Constraints: 38774
1950.13/2002.37 c #Conflicts: 552000 | #Constraints: 39774
1950.13/2002.37 c #Conflicts: 553000 | #Constraints: 40774
1950.13/2002.37 WSVECS04 Frhs2[27]: 6 -1.00002 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[28]: 6 -1.00002 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[50]: 6 -1.00008 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[66]: 6 -1.00004 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[68]: 6 -1.00001 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[102]: 6 -1.00002 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[109]: 6 -1.00002 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[119]: 6 -1.00003 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[121]: 6 -1.00005 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[129]: 6 -1.00003 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[131]: 6 -1.00006 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[150]: 6 -1.00008 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[157]: 6 -1.00009 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[158]: 6 -1.00002 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[169]: 6 -1.00003 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[173]: 6 0 0.50006 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[177]: 6 -1.00008 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[200]: 6 -1.00009 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[202]: 6 -1.00003 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[204]: 6 -1.00004 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[206]: 6 -1.00008 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[223]: 6 -1.00005 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[230]: 6 0 0.600078 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[296]: 6 0 1.60003 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[301]: 6 0 0.400088 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[332]: 6 0 0.333368 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[369]: 6 -1.00008 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[370]: 6 0 0.266755 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[374]: 6 0 0.266692 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[393]: 6 0 1.00004 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[415]: 6 0 0.266717 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[469]: 6 0 0.0666935 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[568]: 6 -1.00005 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[573]: 6 -1.00002 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[580]: 6 -1.00007 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[598]: 6 0 1.8667 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[602]: 6 -1.00008 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[624]: 6 0 0.86672 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[629]: 6 -1.00002 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[635]: 6 0 0.933401 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[656]: 6 0 0.133377 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[677]: 6 -1.00001 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[697]: 6 0 0.0667503 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[701]: 6 -1.00003 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[713]: 6 -1.0001 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[724]: 6 -1.0001 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[749]: 6 -1.00007 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[774]: 6 0 1.00001 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[787]: 6 0 1.00005 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[794]: 6 0 1.03338 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[812]: 6 0 0.0333816 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[823]: 6 -1.00004 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[832]: 6 0 1.00003 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[841]: 6 -1.0001 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[848]: 6 -1.00003 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[869]: 6 -1.00006 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[872]: 6 -1.00006 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[879]: 6 -1.00005 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[904]: 6 -1.00003 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[910]: 6 -1.00002 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[915]: 6 -1.00001 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[917]: 6 -1.00007 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[918]: 6 -1.00006 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[925]: 6 -1.00006 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[937]: 6 -1.00009 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[942]: 6 -1.00001 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[944]: 6 -1.00002 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[958]: 6 -1.00006 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[960]: 6 -1.0001 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[964]: 6 -1.00005 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[972]: 6 -1.00004 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[990]: 6 -1.00007 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[993]: 6 -1.00004 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1001]: 6 -1.00004 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1010]: 6 -1.00008 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1018]: 6 -1.00003 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1044]: 6 -1.00009 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1047]: 6 -1.00006 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1079]: 6 0 0.250094 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1092]: 6 -1.00009 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1132]: 6 0 1.75005 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1194]: 6 0 0.0769503 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1197]: 6 0 1.57697 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1207]: 6 -1.07694 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1216]: 6 0 0.826969 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1252]: 6 0 0.0193468 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1266]: 6 -1.00004 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1289]: 6 0 0.346277 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1293]: 6 -1.00007 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1322]: 6 -1.00008 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1348]: 6 0 0.403842 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1395]: 6 0 0.403883 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1429]: 6 0 0.423176 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1489]: 6 0 0.596267 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1521]: 6 -1.00007 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1528]: 6 -1.00005 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1534]: 6 0 0.134568 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1546]: 6 0 0.279011 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1557]: 6 -1.00005 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1614]: 6 0 0.346249 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1645]: 6 0 0.534393 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1661]: 6 -1.00006 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1693]: 6 0 0.99042 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1711]: 6 0 1.00004 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1712]: 6 0 0.567282 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1755]: 6 0 1.0619 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1783]: 6 0 1.46574 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1822]: 6 0 1.40386 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1838]: 6 0 2.00005 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1841]: 6 0 0.59081 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1850]: 6 0 1.00009 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1855]: 6 -1.00006 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1880]: 6 -1.00006 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1909]: 6 -1.0001 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1918]: 6 0 1.15388 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1931]: 6 0 0.811887 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1934]: 6 -1.00009 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1965]: 6 -1.00006 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1977]: 6 0 0.107034 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1983]: 6 0 0.842039 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1986]: 6 0 0.36 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1988]: 6 0 0.271422 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1990]: 6 -1.00007 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[1998]: 6 0 0.644376 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2015]: 6 0 0.425255 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2034]: 6 0 0.51511 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2084]: 6 -1.00004 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2106]: 6 -1.00005 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2107]: 6 -1.00004 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2158]: 6 0 1.04923 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2216]: 6 -1.00001 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2235]: 6 0 0.20253 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2239]: 6 -1.00003 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2255]: 6 -1.00007 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2260]: 6 -1.00007 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2269]: 6 0 0.320624 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2284]: 6 0 1.35898 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2292]: 6 -1.0001 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2293]: 6 0 0.878192 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2311]: 6 -1.00005 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2314]: 6 0 0.365515 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2367]: 6 -1.00007 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2404]: 6 -1.00008 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2408]: 6 -1.00006 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2429]: 6 0 1.92012 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2434]: 6 -1.00003 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2447]: 6 0 0.920079 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2459]: 6 0 0.920119 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2463]: 6 0 1.62947 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2466]: 6 -1.02901 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2469]: 6 0 1.03972 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2471]: 6 0 0.90746 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2484]: 6 0 0.907508 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2488]: 6 -1.00004 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2498]: 6 0 0.82819 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2513]: 6 0 0.0526402 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2538]: 6 0 0.828164 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2541]: 6 -1.00007 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2582]: 6 0 0.867836 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2589]: 6 -0.907523 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2622]: 6 0 1.13263 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2631]: 6 0 0.0926236 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2639]: 6 -1.00008 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2680]: 6 -1.00007 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2701]: 6 0 0.449941 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2718]: 6 0 0.285731 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2802]: 6 0 0.642768 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2820]: 6 0 0.357319 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2826]: 6 0 0.714312 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2832]: 6 0 0.142869 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2833]: 6 0 0.703723 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2879]: 6 -1.00008 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2907]: 6 0 0.142878 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2925]: 6 0 0.785742 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2937]: 6 0 0.142897 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2949]: 6 0 0.857158 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2952]: 6 0 1.00006 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2958]: 6 0 0.142888 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2970]: 6 -1.00004 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[2977]: 6 -1.00006 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[3019]: 6 -1.00004 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[3075]: 6 0 0.428633 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[3083]: 6 -1.00003 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[3096]: 6 0 0.0561543 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[3109]: 6 0 0.858994 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[3118]: 6 0 1.55489 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[3144]: 6 -1.00002 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[3147]: 6 0 0.0868538 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[3201]: 6 -1.00006 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[3208]: 6 0 0.159499 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[3211]: 6 0 0.354751 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[3214]: 6 0 0.269811 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[3246]: 6 0 0.0555377 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[3317]: 6 0 0.97412 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[3348]: 6 -1.00005 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[3433]: 6 0 1.05372 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[3449]: 6 0 0.0555168 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[3464]: 6 -0.943358 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[3469]: 6 0 0.00182549 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[3493]: 6 -1.00001 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[3566]: 6 0 1.00125 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[3636]: 6 -1.00004 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[3651]: 6 0 0.333386 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[3799]: 6 -0.666763 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[3802]: 6 0 0.167034 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[3820]: 6 0 0.333388 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[3827]: 6 -1.00007 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[3843]: 6 -1.00006 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[3866]: 6 -1.00005 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[3867]: 6 -1.00008 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[3869]: 6 -1.00007 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[3893]: 6 -1.00005 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[3896]: 6 -1.00003 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[3922]: 6 -1.00007 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[3928]: 6 -1.00009 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[3954]: 6 -1.00006 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[3963]: 6 0 1.0001 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[4025]: 6 -1.00003 0 shouldn't be
1950.13/2002.37 WSVECS04 Frhs2[7025]: 6 -0.0529529 0 shouldn't be
1957.32/2009.54 WSVECS04 Frhs2[193]: 6 -1.00005 0 shouldn't be
1957.32/2009.54 WSVECS04 Frhs2[239]: 6 0 0.0666801 shouldn't be
1957.32/2009.54 WSVECS04 Frhs2[404]: 6 0 0.0667315 shouldn't be
1957.32/2009.54 WSVECS04 Frhs2[436]: 6 0 0.933349 shouldn't be
1957.32/2009.54 WSVECS04 Frhs2[765]: 6 -1.00004 0 shouldn't be
1957.32/2009.54 WSVECS04 Frhs2[779]: 6 0 0.966726 shouldn't be
1957.32/2009.54 WSVECS04 Frhs2[1430]: 6 -1.00005 0 shouldn't be
1957.32/2009.54 WSVECS04 Frhs2[1432]: 6 -1.00002 0 shouldn't be
1957.32/2009.54 WSVECS04 Frhs2[1633]: 6 0 0.40382 shouldn't be
1957.32/2009.54 WSVECS04 Frhs2[1667]: 6 0 0.563364 shouldn't be
1957.32/2009.54 WSVECS04 Frhs2[2211]: 6 0 0.000871801 shouldn't be
1957.32/2009.54 WSVECS04 Frhs2[2920]: 6 0 0.285792 shouldn't be
1957.32/2009.54 WSVECS04 Frhs2[2962]: 6 0 0.14292 shouldn't be
1957.32/2009.54 WSVECS04 Frhs2[3352]: 6 0 0.0302351 shouldn't be
1957.32/2009.54 WSVECS04 Frhs2[3546]: 6 0 0.166435 shouldn't be
1957.32/2009.54 WSVECS04 Frhs2[3605]: 6 0 1.1664 shouldn't be
1957.32/2009.54 WSVECS04 Frhs2[3661]: 6 0 0.833059 shouldn't be
1957.32/2009.54 WSVECS04 Frhs2[3798]: 6 0 0.666132 shouldn't be
1957.32/2009.54 WSVECS04 Frhs2[3816]: 6 -0.666677 0 shouldn't be
1965.40/2017.63 WSVECS04 Frhs2[17]: 6 0 1.00004 shouldn't be
1965.40/2017.63 WSVECS04 Frhs2[151]: 6 -1.00003 0 shouldn't be
1965.40/2017.63 WSVECS04 Frhs2[216]: 6 0 0.400025 shouldn't be
1965.40/2017.63 WSVECS04 Frhs2[662]: 6 -1.00005 0 shouldn't be
1965.40/2017.63 WSVECS04 Frhs2[694]: 6 -0.93335 0 shouldn't be
1965.40/2017.63 WSVECS04 Frhs2[719]: 6 -1.00002 0 shouldn't be
1965.40/2017.63 WSVECS04 Frhs2[821]: 6 -1.00006 0 shouldn't be
1965.40/2017.63 WSVECS04 Frhs2[1274]: 6 0 0.173169 shouldn't be
1965.40/2017.63 WSVECS04 Frhs2[2675]: 6 0 0.417972 shouldn't be
1965.40/2017.63 WSVECS04 Frhs2[2868]: 6 0 0.142919 shouldn't be
1965.40/2017.63 WSVECS04 Frhs2[3457]: 6 0 0.0548648 shouldn't be
2001.31/2053.67 c #Conflicts: 554000 | #Constraints: 41774
2001.31/2053.67 c #Conflicts: 555000 | #Constraints: 42774
2001.31/2053.67 c #Conflicts: 556000 | #Constraints: 43774
2001.31/2053.67 c #Conflicts: 557000 | #Constraints: 44774
2001.31/2053.67 c #Conflicts: 558000 | #Constraints: 45774
2001.31/2053.67 c #Conflicts: 559000 | #Constraints: 46774
2001.31/2053.67 c #Conflicts: 560000 | #Constraints: 47774
2001.31/2053.67 c #Conflicts: 561000 | #Constraints: 48774
2001.31/2053.67 c INPROCESSING
2001.31/2053.67 c GARBAGE COLLECT
2001.31/2053.67 c bounds 1157 >= 991 @ 1988.28
2002.91/2055.24 c #Conflicts: 562000 | #Constraints: 34997
2002.91/2055.24 c bounds 1156 >= 991 @ 1989.8
2016.78/2069.14 c #Conflicts: 563000 | #Constraints: 35998
2016.78/2069.14 c #Conflicts: 564000 | #Constraints: 36998
2016.78/2069.14 c #Conflicts: 565000 | #Constraints: 37998
2016.78/2069.14 c #Conflicts: 566000 | #Constraints: 38998
2016.78/2069.14 c #Conflicts: 567000 | #Constraints: 39998
2016.78/2069.14 c #Conflicts: 568000 | #Constraints: 40998
2016.78/2069.14 c #Conflicts: 569000 | #Constraints: 41998
2016.78/2069.14 c #Conflicts: 570000 | #Constraints: 42998
2016.78/2069.14 c bounds 1155 >= 991 @ 2003.4
2258.91/2311.90 c #Conflicts: 571000 | #Constraints: 43999
2258.91/2311.90 c #Conflicts: 572000 | #Constraints: 44999
2258.91/2311.90 c #Conflicts: 573000 | #Constraints: 45999
2258.91/2311.90 c #Conflicts: 574000 | #Constraints: 46999
2258.91/2311.90 c #Conflicts: 575000 | #Constraints: 47999
2258.91/2311.90 c #Conflicts: 576000 | #Constraints: 48999
2258.91/2311.90 c INPROCESSING
2258.91/2311.90 c GARBAGE COLLECT
2258.91/2311.90 c #Conflicts: 577000 | #Constraints: 34837
2258.91/2311.90 c #Conflicts: 578000 | #Constraints: 35837
2258.91/2311.90 c #Conflicts: 579000 | #Constraints: 36837
2258.91/2311.90 c #Conflicts: 580000 | #Constraints: 37837
2258.91/2311.90 c #Conflicts: 581000 | #Constraints: 38837
2258.91/2311.90 c #Conflicts: 582000 | #Constraints: 39837
2258.91/2311.90 c #Conflicts: 583000 | #Constraints: 40837
2258.91/2311.90 c #Conflicts: 584000 | #Constraints: 41837
2258.91/2311.90 c #Conflicts: 585000 | #Constraints: 42837
2258.91/2311.90 c #Conflicts: 586000 | #Constraints: 43837
2258.91/2311.90 c #Conflicts: 587000 | #Constraints: 44837
2258.91/2311.90 c #Conflicts: 588000 | #Constraints: 45837
2258.91/2311.90 c #Conflicts: 589000 | #Constraints: 46837
2258.91/2311.90 c #Conflicts: 590000 | #Constraints: 47837
2258.91/2311.90 c #Conflicts: 591000 | #Constraints: 48837
2258.91/2311.90 c INPROCESSING
2258.91/2311.90 c GARBAGE COLLECT
2258.91/2311.90 c #Conflicts: 592000 | #Constraints: 34836
2258.91/2311.90 c #Conflicts: 593000 | #Constraints: 35836
2258.91/2311.90 c #Conflicts: 594000 | #Constraints: 36836
2258.91/2311.90 c #Conflicts: 595000 | #Constraints: 37836
2258.91/2311.90 c #Conflicts: 596000 | #Constraints: 38836
2258.91/2311.90 c #Conflicts: 597000 | #Constraints: 39836
2258.91/2311.90 c #Conflicts: 598000 | #Constraints: 40836
2258.91/2311.90 c #Conflicts: 599000 | #Constraints: 41836
2258.91/2311.90 c #Conflicts: 600000 | #Constraints: 42836
2258.91/2311.90 c #Conflicts: 601000 | #Constraints: 43836
2258.91/2311.90 c #Conflicts: 602000 | #Constraints: 44836
2258.91/2311.90 c #Conflicts: 603000 | #Constraints: 45836
2258.91/2311.90 c #Conflicts: 604000 | #Constraints: 46836
2258.91/2311.90 c #Conflicts: 605000 | #Constraints: 47836
2258.91/2311.90 c #Conflicts: 606000 | #Constraints: 48836
2258.91/2311.90 c #Conflicts: 607000 | #Constraints: 49836
2258.91/2311.90 c INPROCESSING
2258.91/2311.90 c GARBAGE COLLECT
2258.91/2311.90 c #Conflicts: 608000 | #Constraints: 35535
2258.91/2311.90 c #Conflicts: 609000 | #Constraints: 36535
2258.91/2311.90 c #Conflicts: 610000 | #Constraints: 37535
2258.91/2311.90 c #Conflicts: 611000 | #Constraints: 38535
2258.91/2311.90 c bounds 1154 >= 991 @ 2244.57
2340.10/2393.78 c #Conflicts: 612000 | #Constraints: 39536
2340.10/2393.78 c #Conflicts: 613000 | #Constraints: 40536
2340.10/2393.78 c #Conflicts: 614000 | #Constraints: 41536
2340.10/2393.78 c #Conflicts: 615000 | #Constraints: 42536
2340.10/2393.78 c #Conflicts: 616000 | #Constraints: 43536
2340.10/2393.78 c #Conflicts: 617000 | #Constraints: 44536
2340.10/2393.78 c #Conflicts: 618000 | #Constraints: 45536
2340.10/2393.78 c #Conflicts: 619000 | #Constraints: 46536
2340.10/2393.78 c #Conflicts: 620000 | #Constraints: 47536
2340.10/2393.78 c #Conflicts: 621000 | #Constraints: 48536
2340.10/2393.78 c #Conflicts: 622000 | #Constraints: 49536
2340.10/2393.78 c #Conflicts: 623000 | #Constraints: 50536
2340.10/2393.78 c INPROCESSING
2340.10/2393.78 c GARBAGE COLLECT
2340.10/2393.78 c #Conflicts: 624000 | #Constraints: 35579
2340.10/2393.78 c #Conflicts: 625000 | #Constraints: 36579
2340.10/2393.78 c #Conflicts: 626000 | #Constraints: 37579
2340.10/2393.78 c #Conflicts: 627000 | #Constraints: 38579
2340.10/2393.78 c #Conflicts: 628000 | #Constraints: 39579
2340.10/2393.78 c #Conflicts: 629000 | #Constraints: 40579
2340.10/2393.78 c #Conflicts: 630000 | #Constraints: 41579
2340.10/2393.78 c #Conflicts: 631000 | #Constraints: 42579
2340.10/2393.78 c #Conflicts: 632000 | #Constraints: 43579
2340.10/2393.78 c #Conflicts: 633000 | #Constraints: 44579
2340.10/2393.78 c #Conflicts: 634000 | #Constraints: 45579
2340.10/2393.78 c #Conflicts: 635000 | #Constraints: 46579
2340.10/2393.78 c #Conflicts: 636000 | #Constraints: 47579
2340.10/2393.78 c #Conflicts: 637000 | #Constraints: 48579
2340.10/2393.78 c #Conflicts: 638000 | #Constraints: 49579
2340.10/2393.78 c #Conflicts: 639000 | #Constraints: 50579
2340.10/2393.78 c INPROCESSING
2340.10/2393.78 c GARBAGE COLLECT
2340.10/2393.78 c #Conflicts: 640000 | #Constraints: 35870
2340.10/2393.78 c #Conflicts: 641000 | #Constraints: 36870
2340.10/2393.78 c #Conflicts: 642000 | #Constraints: 37870
2340.10/2393.78 c #Conflicts: 643000 | #Constraints: 38870
2340.10/2393.78 c #Conflicts: 644000 | #Constraints: 39870
2340.10/2393.78 c #Conflicts: 645000 | #Constraints: 40870
2340.10/2393.78 c #Conflicts: 646000 | #Constraints: 41870
2340.10/2393.78 c #Conflicts: 647000 | #Constraints: 42870
2340.10/2393.78 c #Conflicts: 648000 | #Constraints: 43870
2340.10/2393.78 c #Conflicts: 649000 | #Constraints: 44870
2340.10/2393.78 c #Conflicts: 650000 | #Constraints: 45870
2340.10/2393.78 c #Conflicts: 651000 | #Constraints: 46870
2340.10/2393.78 c #Conflicts: 652000 | #Constraints: 47870
2340.10/2393.78 c #Conflicts: 653000 | #Constraints: 48870
2340.10/2393.78 c #Conflicts: 654000 | #Constraints: 49870
2340.10/2393.78 c #Conflicts: 655000 | #Constraints: 50870
2340.10/2393.78 c INPROCESSING
2340.10/2393.78 c GARBAGE COLLECT
2340.10/2393.78 c #Conflicts: 656000 | #Constraints: 35909
2340.10/2393.78 c #Conflicts: 657000 | #Constraints: 36909
2340.10/2393.78 c #Conflicts: 658000 | #Constraints: 37909
2340.10/2393.78 c #Conflicts: 659000 | #Constraints: 38909
2340.10/2393.78 c #Conflicts: 660000 | #Constraints: 39909
2340.10/2393.78 c #Conflicts: 661000 | #Constraints: 40909
2340.10/2393.78 c #Conflicts: 662000 | #Constraints: 41909
2340.10/2393.78 c #Conflicts: 663000 | #Constraints: 42909
2340.10/2393.78 c #Conflicts: 664000 | #Constraints: 43909
2340.10/2393.78 c #Conflicts: 665000 | #Constraints: 44909
2340.10/2393.78 c #Conflicts: 666000 | #Constraints: 45909
2340.10/2393.78 c #Conflicts: 667000 | #Constraints: 46909
2340.10/2393.78 c #Conflicts: 668000 | #Constraints: 47909
2340.10/2393.78 c #Conflicts: 669000 | #Constraints: 48909
2340.10/2393.78 c #Conflicts: 670000 | #Constraints: 49909
2340.10/2393.78 c #Conflicts: 671000 | #Constraints: 50909
2340.10/2393.78 c INPROCESSING
2340.10/2393.78 c GARBAGE COLLECT
2340.10/2393.78 c #Conflicts: 672000 | #Constraints: 35732
2340.10/2393.78 c #Conflicts: 673000 | #Constraints: 36732
2340.10/2393.78 c #Conflicts: 674000 | #Constraints: 37732
2340.10/2393.78 c #Conflicts: 675000 | #Constraints: 38732
2340.10/2393.78 c #Conflicts: 676000 | #Constraints: 39732
2340.10/2393.78 c #Conflicts: 677000 | #Constraints: 40732
2340.10/2393.78 c #Conflicts: 678000 | #Constraints: 41732
2340.10/2393.78 c #Conflicts: 679000 | #Constraints: 42732
2340.10/2393.78 c #Conflicts: 680000 | #Constraints: 43732
2340.10/2393.78 c #Conflicts: 681000 | #Constraints: 44732
2340.10/2393.78 c #Conflicts: 682000 | #Constraints: 45732
2340.10/2393.78 c #Conflicts: 683000 | #Constraints: 46732
2340.10/2393.78 c #Conflicts: 684000 | #Constraints: 47732
2340.10/2393.78 c #Conflicts: 685000 | #Constraints: 48732
2340.10/2393.78 c #Conflicts: 686000 | #Constraints: 49732
2340.10/2393.78 c #Conflicts: 687000 | #Constraints: 50732
2340.10/2393.78 c #Conflicts: 688000 | #Constraints: 51732
2345.69/2399.39 c INPROCESSING
2345.69/2399.39 c GARBAGE COLLECT
2345.69/2399.39 c #Conflicts: 689000 | #Constraints: 36361
2345.69/2399.39 c #Conflicts: 690000 | #Constraints: 37361
2345.69/2399.39 c #Conflicts: 691000 | #Constraints: 38361
2345.69/2399.39 c bounds 1153 >= 991 @ 2330.31
2346.58/2400.24 c #Conflicts: 692000 | #Constraints: 39362
2346.58/2400.24 c bounds 1152 >= 991 @ 2331.13
2347.68/2401.34 c bounds 1151 >= 991 @ 2332.21
2350.58/2404.22 c #Conflicts: 693000 | #Constraints: 40364
2350.58/2404.22 c #Conflicts: 694000 | #Constraints: 41364
2350.58/2404.22 c bounds 1150 >= 991 @ 2335.03
2362.94/2416.64 c #Conflicts: 695000 | #Constraints: 42365
2362.94/2416.64 c #Conflicts: 696000 | #Constraints: 43365
2362.94/2416.64 c #Conflicts: 697000 | #Constraints: 44365
2362.94/2416.64 c #Conflicts: 698000 | #Constraints: 45365
2362.94/2416.64 c #Conflicts: 699000 | #Constraints: 46365
2362.94/2416.64 c #Conflicts: 700000 | #Constraints: 47365
2362.94/2416.64 c #Conflicts: 701000 | #Constraints: 48365
2362.94/2416.64 c #Conflicts: 702000 | #Constraints: 49365
2362.94/2416.64 c #Conflicts: 703000 | #Constraints: 50365
2362.94/2416.64 c #Conflicts: 704000 | #Constraints: 51365
2362.94/2416.64 c #Conflicts: 705000 | #Constraints: 52365
2362.94/2416.64 c INPROCESSING
2362.94/2416.64 c GARBAGE COLLECT
2362.94/2416.64 c bounds 1149 >= 991 @ 2347.34
2363.95/2417.68 c #Conflicts: 706000 | #Constraints: 36808
2363.95/2417.68 c bounds 1148 >= 991 @ 2348.36
2657.55/2712.56 c #Conflicts: 707000 | #Constraints: 37809
2657.55/2712.56 c #Conflicts: 708000 | #Constraints: 38809
2657.55/2712.56 c #Conflicts: 709000 | #Constraints: 39809
2657.55/2712.56 c #Conflicts: 710000 | #Constraints: 40809
2657.55/2712.56 c #Conflicts: 711000 | #Constraints: 41809
2657.55/2712.56 c #Conflicts: 712000 | #Constraints: 42809
2657.55/2712.56 c #Conflicts: 713000 | #Constraints: 43809
2657.55/2712.56 c #Conflicts: 714000 | #Constraints: 44809
2657.55/2712.56 c #Conflicts: 715000 | #Constraints: 45809
2657.55/2712.56 c #Conflicts: 716000 | #Constraints: 46809
2657.55/2712.56 c #Conflicts: 717000 | #Constraints: 47809
2657.55/2712.56 c #Conflicts: 718000 | #Constraints: 48809
2657.55/2712.56 c #Conflicts: 719000 | #Constraints: 49809
2657.55/2712.56 c #Conflicts: 720000 | #Constraints: 50809
2657.55/2712.56 c #Conflicts: 721000 | #Constraints: 51809
2657.55/2712.56 c #Conflicts: 722000 | #Constraints: 52809
2657.55/2712.56 c INPROCESSING
2657.55/2712.56 c GARBAGE COLLECT
2657.55/2712.56 c #Conflicts: 723000 | #Constraints: 36760
2657.55/2712.56 c #Conflicts: 724000 | #Constraints: 37760
2657.55/2712.56 c #Conflicts: 725000 | #Constraints: 38760
2657.55/2712.56 c #Conflicts: 726000 | #Constraints: 39760
2657.55/2712.56 c #Conflicts: 727000 | #Constraints: 40760
2657.55/2712.56 c #Conflicts: 728000 | #Constraints: 41760
2657.55/2712.56 c #Conflicts: 729000 | #Constraints: 42760
2657.55/2712.56 c #Conflicts: 730000 | #Constraints: 43760
2657.55/2712.56 c #Conflicts: 731000 | #Constraints: 44760
2657.55/2712.56 c #Conflicts: 732000 | #Constraints: 45760
2657.55/2712.56 c #Conflicts: 733000 | #Constraints: 46760
2657.55/2712.56 c #Conflicts: 734000 | #Constraints: 47760
2657.55/2712.56 c #Conflicts: 735000 | #Constraints: 48760
2657.55/2712.56 c #Conflicts: 736000 | #Constraints: 49760
2657.55/2712.56 c #Conflicts: 737000 | #Constraints: 50760
2657.55/2712.56 c #Conflicts: 738000 | #Constraints: 51760
2657.55/2712.56 c #Conflicts: 739000 | #Constraints: 52760
2657.55/2712.56 c INPROCESSING
2657.55/2712.56 c GARBAGE COLLECT
2657.55/2712.56 c #Conflicts: 740000 | #Constraints: 36815
2657.55/2712.56 c #Conflicts: 741000 | #Constraints: 37815
2657.55/2712.56 c #Conflicts: 742000 | #Constraints: 38815
2657.55/2712.56 c #Conflicts: 743000 | #Constraints: 39815
2657.55/2712.56 c #Conflicts: 744000 | #Constraints: 40815
2657.55/2712.56 c #Conflicts: 745000 | #Constraints: 41815
2657.55/2712.56 c #Conflicts: 746000 | #Constraints: 42815
2657.55/2712.56 c #Conflicts: 747000 | #Constraints: 43815
2657.55/2712.56 c #Conflicts: 748000 | #Constraints: 44815
2657.55/2712.56 c #Conflicts: 749000 | #Constraints: 45815
2657.55/2712.56 c #Conflicts: 750000 | #Constraints: 46815
2657.55/2712.56 c #Conflicts: 751000 | #Constraints: 47815
2657.55/2712.56 c #Conflicts: 752000 | #Constraints: 48815
2657.55/2712.56 c #Conflicts: 753000 | #Constraints: 49815
2657.55/2712.56 c #Conflicts: 754000 | #Constraints: 50815
2657.55/2712.56 c #Conflicts: 755000 | #Constraints: 51815
2657.55/2712.56 c #Conflicts: 756000 | #Constraints: 52815
2657.55/2712.56 c INPROCESSING
2657.55/2712.56 c GARBAGE COLLECT
2657.55/2712.56 c bounds 1147 >= 991 @ 2640.67
2659.04/2714.01 c #Conflicts: 757000 | #Constraints: 36645
2659.04/2714.01 c bounds 1146 >= 991 @ 2642.06
2678.18/2735.69 c #Conflicts: 758000 | #Constraints: 37646
2678.18/2735.69 c #Conflicts: 759000 | #Constraints: 38646
2678.18/2735.69 c #Conflicts: 760000 | #Constraints: 39646
2678.18/2735.69 c #Conflicts: 761000 | #Constraints: 40646
2678.18/2735.69 c #Conflicts: 762000 | #Constraints: 41646
2678.18/2735.69 c #Conflicts: 763000 | #Constraints: 42646
2678.18/2735.69 c #Conflicts: 764000 | #Constraints: 43646
2678.18/2735.69 c #Conflicts: 765000 | #Constraints: 44646
2678.18/2735.69 c #Conflicts: 766000 | #Constraints: 45646
2678.18/2735.69 c #Conflicts: 767000 | #Constraints: 46646
2678.18/2735.69 c #Conflicts: 768000 | #Constraints: 47646
2678.18/2735.69 c bounds 1145 >= 991 @ 2660.93
2704.48/2762.12 c #Conflicts: 769000 | #Constraints: 48647
2704.48/2762.12 c #Conflicts: 770000 | #Constraints: 49647
2704.48/2762.12 c #Conflicts: 771000 | #Constraints: 50647
2704.48/2762.12 c #Conflicts: 772000 | #Constraints: 51647
2704.48/2762.12 c #Conflicts: 773000 | #Constraints: 52647
2704.48/2762.12 c #Conflicts: 774000 | #Constraints: 53647
2704.48/2762.12 c INPROCESSING
2704.48/2762.12 c GARBAGE COLLECT
2704.48/2762.12 c #Conflicts: 775000 | #Constraints: 37188
2704.48/2762.12 c #Conflicts: 776000 | #Constraints: 38188
2704.48/2762.12 c #Conflicts: 777000 | #Constraints: 39188
2704.48/2762.12 c #Conflicts: 778000 | #Constraints: 40188
2704.48/2762.12 c #Conflicts: 779000 | #Constraints: 41188
2704.48/2762.12 c #Conflicts: 780000 | #Constraints: 42188
2704.48/2762.12 c #Conflicts: 781000 | #Constraints: 43188
2704.48/2762.12 c #Conflicts: 782000 | #Constraints: 44188
2704.48/2762.12 c #Conflicts: 783000 | #Constraints: 45188
2704.48/2762.12 c #Conflicts: 784000 | #Constraints: 46188
2704.48/2762.12 c #Conflicts: 785000 | #Constraints: 47188
2704.48/2762.12 c #Conflicts: 786000 | #Constraints: 48188
2704.48/2762.12 c #Conflicts: 787000 | #Constraints: 49188
2704.48/2762.12 c #Conflicts: 788000 | #Constraints: 50188
2704.48/2762.12 c #Conflicts: 789000 | #Constraints: 51188
2704.48/2762.12 c #Conflicts: 790000 | #Constraints: 52188
2704.48/2762.12 c #Conflicts: 791000 | #Constraints: 53188
2704.48/2762.12 c #Conflicts: 792000 | #Constraints: 54188
2704.48/2762.12 c INPROCESSING
2704.48/2762.12 c GARBAGE COLLECT
2704.48/2762.12 c #Conflicts: 793000 | #Constraints: 37598
2704.48/2762.12 c bounds 1144 >= 991 @ 2687.01
2713.06/2770.70 c #Conflicts: 794000 | #Constraints: 38599
2713.06/2770.70 c #Conflicts: 795000 | #Constraints: 39599
2713.06/2770.70 c #Conflicts: 796000 | #Constraints: 40599
2713.06/2770.70 c #Conflicts: 797000 | #Constraints: 41599
2713.06/2770.70 c #Conflicts: 798000 | #Constraints: 42599
2713.06/2770.70 c #Conflicts: 799000 | #Constraints: 43599
2713.06/2770.70 c #Conflicts: 800000 | #Constraints: 44599
2713.06/2770.70 c #Conflicts: 801000 | #Constraints: 45599
2713.06/2770.70 c #Conflicts: 802000 | #Constraints: 46599
2713.06/2770.70 c #Conflicts: 803000 | #Constraints: 47599
2713.06/2770.70 c #Conflicts: 804000 | #Constraints: 48599
2713.06/2770.70 c #Conflicts: 805000 | #Constraints: 49599
2713.06/2770.70 c #Conflicts: 806000 | #Constraints: 50599
2713.06/2770.70 c #Conflicts: 807000 | #Constraints: 51599
2713.06/2770.70 c #Conflicts: 808000 | #Constraints: 52599
2713.06/2770.70 c #Conflicts: 809000 | #Constraints: 53599
2713.06/2770.70 c #Conflicts: 810000 | #Constraints: 54599
2713.06/2770.70 c INPROCESSING
2713.06/2770.70 c GARBAGE COLLECT
2713.06/2770.70 c bounds 1143 >= 991 @ 2695.44
2713.95/2771.68 c bounds 1142 >= 991 @ 2696.39
2714.25/2771.99 c bounds 1141 >= 991 @ 2696.7
2715.25/2772.90 c #Conflicts: 811000 | #Constraints: 38127
2715.25/2772.90 c bounds 1140 >= 991 @ 2697.59
2737.30/2795.23 c #Conflicts: 812000 | #Constraints: 39128
2737.30/2795.23 c #Conflicts: 813000 | #Constraints: 40128
2737.30/2795.23 c #Conflicts: 814000 | #Constraints: 41128
2737.30/2795.23 c #Conflicts: 815000 | #Constraints: 42128
2737.30/2795.23 c #Conflicts: 816000 | #Constraints: 43128
2737.30/2795.23 c #Conflicts: 817000 | #Constraints: 44128
2737.30/2795.23 c #Conflicts: 818000 | #Constraints: 45128
2737.30/2795.23 c #Conflicts: 819000 | #Constraints: 46128
2737.30/2795.23 c bounds 1139 >= 991 @ 2719.26
2987.40/3046.01 c #Conflicts: 820000 | #Constraints: 47129
2987.40/3046.01 c #Conflicts: 821000 | #Constraints: 48129
2987.40/3046.01 c #Conflicts: 822000 | #Constraints: 49129
2987.40/3046.01 c #Conflicts: 823000 | #Constraints: 50129
2987.40/3046.01 c #Conflicts: 824000 | #Constraints: 51129
2987.40/3046.01 c #Conflicts: 825000 | #Constraints: 52129
2987.40/3046.01 c #Conflicts: 826000 | #Constraints: 53129
2987.40/3046.01 c #Conflicts: 827000 | #Constraints: 54129
2987.40/3046.01 c #Conflicts: 828000 | #Constraints: 55129
2987.40/3046.01 c INPROCESSING
2987.40/3046.01 c GARBAGE COLLECT
2987.40/3046.01 c rational objective 1015.23
3182.43/3248.51 c #Conflicts: 829000 | #Constraints: 37863
3182.43/3248.51 c #Conflicts: 830000 | #Constraints: 38863
3182.43/3248.51 c #Conflicts: 831000 | #Constraints: 39863
3182.43/3248.51 c #Conflicts: 832000 | #Constraints: 40863
3182.43/3248.51 c #Conflicts: 833000 | #Constraints: 41863
3182.43/3248.51 c #Conflicts: 834000 | #Constraints: 42863
3182.43/3248.51 c #Conflicts: 835000 | #Constraints: 43863
3182.43/3248.51 c #Conflicts: 836000 | #Constraints: 44863
3182.43/3248.51 c #Conflicts: 837000 | #Constraints: 45863
3182.43/3248.51 c #Conflicts: 838000 | #Constraints: 46863
3182.43/3248.51 c #Conflicts: 839000 | #Constraints: 47863
3182.43/3248.51 c #Conflicts: 840000 | #Constraints: 48863
3182.43/3248.51 c #Conflicts: 841000 | #Constraints: 49863
3182.43/3248.51 c #Conflicts: 842000 | #Constraints: 50863
3182.43/3248.51 c #Conflicts: 843000 | #Constraints: 51863
3182.43/3248.51 c #Conflicts: 844000 | #Constraints: 52863
3182.43/3248.51 c #Conflicts: 845000 | #Constraints: 53863
3182.43/3248.51 c #Conflicts: 846000 | #Constraints: 54863
3182.43/3248.51 c INPROCESSING
3182.43/3248.51 c GARBAGE COLLECT
3182.43/3248.51 c #Conflicts: 847000 | #Constraints: 37538
3182.43/3248.51 c #Conflicts: 848000 | #Constraints: 38538
3182.43/3248.51 c #Conflicts: 849000 | #Constraints: 39538
3182.43/3248.51 c #Conflicts: 850000 | #Constraints: 40538
3182.43/3248.51 c #Conflicts: 851000 | #Constraints: 41538
3182.43/3248.51 c #Conflicts: 852000 | #Constraints: 42538
3182.43/3248.51 c #Conflicts: 853000 | #Constraints: 43538
3182.43/3248.51 c #Conflicts: 854000 | #Constraints: 44538
3182.43/3248.51 c #Conflicts: 855000 | #Constraints: 45538
3182.43/3248.51 c #Conflicts: 856000 | #Constraints: 46538
3182.43/3248.51 c #Conflicts: 857000 | #Constraints: 47538
3182.43/3248.51 c #Conflicts: 858000 | #Constraints: 48538
3182.43/3248.51 c #Conflicts: 859000 | #Constraints: 49538
3182.43/3248.51 c #Conflicts: 860000 | #Constraints: 50538
3182.43/3248.51 c #Conflicts: 861000 | #Constraints: 51538
3182.43/3248.51 c #Conflicts: 862000 | #Constraints: 52538
3182.43/3248.51 c #Conflicts: 863000 | #Constraints: 53538
3182.43/3248.51 c #Conflicts: 864000 | #Constraints: 54538
3182.43/3248.51 c #Conflicts: 865000 | #Constraints: 55538
3182.43/3248.51 c INPROCESSING
3182.43/3248.51 c GARBAGE COLLECT
3182.43/3248.51 c #Conflicts: 866000 | #Constraints: 38231
3182.43/3248.51 c #Conflicts: 867000 | #Constraints: 39231
3182.43/3248.51 c #Conflicts: 868000 | #Constraints: 40231
3182.43/3248.51 c #Conflicts: 869000 | #Constraints: 41231
3182.43/3248.51 c #Conflicts: 870000 | #Constraints: 42231
3182.43/3248.51 c #Conflicts: 871000 | #Constraints: 43231
3182.43/3248.51 c #Conflicts: 872000 | #Constraints: 44231
3182.43/3248.51 c #Conflicts: 873000 | #Constraints: 45231
3182.43/3248.51 c #Conflicts: 874000 | #Constraints: 46231
3182.43/3248.51 c #Conflicts: 875000 | #Constraints: 47231
3182.43/3248.51 c #Conflicts: 876000 | #Constraints: 48231
3182.43/3248.51 c #Conflicts: 877000 | #Constraints: 49231
3182.43/3248.51 c #Conflicts: 878000 | #Constraints: 50231
3182.43/3248.51 c #Conflicts: 879000 | #Constraints: 51231
3182.43/3248.51 c #Conflicts: 880000 | #Constraints: 52231
3182.43/3248.51 c #Conflicts: 881000 | #Constraints: 53231
3182.43/3248.51 c #Conflicts: 882000 | #Constraints: 54231
3182.43/3248.51 c #Conflicts: 883000 | #Constraints: 55231
3182.43/3248.51 c #Conflicts: 884000 | #Constraints: 56231
3182.43/3248.51 c INPROCESSING
3182.43/3248.51 c GARBAGE COLLECT
3182.43/3248.51 c #Conflicts: 885000 | #Constraints: 38673
3182.43/3248.51 c #Conflicts: 886000 | #Constraints: 39673
3182.43/3248.51 c #Conflicts: 887000 | #Constraints: 40673
3182.43/3248.51 c #Conflicts: 888000 | #Constraints: 41673
3182.43/3248.51 c #Conflicts: 889000 | #Constraints: 42673
3182.43/3248.51 c #Conflicts: 890000 | #Constraints: 43673
3182.43/3248.51 c #Conflicts: 891000 | #Constraints: 44673
3182.43/3248.51 c #Conflicts: 892000 | #Constraints: 45673
3182.43/3248.51 c #Conflicts: 893000 | #Constraints: 46673
3182.43/3248.51 c #Conflicts: 894000 | #Constraints: 47673
3182.43/3248.51 c #Conflicts: 895000 | #Constraints: 48673
3182.43/3248.51 c #Conflicts: 896000 | #Constraints: 49673
3182.43/3248.51 c #Conflicts: 897000 | #Constraints: 50673
3182.43/3248.51 c bounds 1139 >= 992 @ 3162.61
3192.37/3258.64 c #Conflicts: 898000 | #Constraints: 52078
3192.37/3258.64 c #Conflicts: 899000 | #Constraints: 53078
3192.37/3258.64 c #Conflicts: 900000 | #Constraints: 54078
3192.37/3258.64 c #Conflicts: 901000 | #Constraints: 55078
3192.37/3258.64 c #Conflicts: 902000 | #Constraints: 56078
3192.37/3258.64 c bounds 1138 >= 992 @ 3172.45
3281.82/3348.41 c #Conflicts: 903000 | #Constraints: 57079
3281.82/3348.41 c INPROCESSING
3281.82/3348.41 c GARBAGE COLLECT
3281.82/3348.41 c #Conflicts: 904000 | #Constraints: 39002
3281.82/3348.41 c #Conflicts: 905000 | #Constraints: 40002
3281.82/3348.41 c #Conflicts: 906000 | #Constraints: 41002
3281.82/3348.41 c #Conflicts: 907000 | #Constraints: 42002
3281.82/3348.41 c #Conflicts: 908000 | #Constraints: 43002
3281.82/3348.41 c #Conflicts: 909000 | #Constraints: 44002
3281.82/3348.41 c #Conflicts: 910000 | #Constraints: 45002
3281.82/3348.41 c #Conflicts: 911000 | #Constraints: 46002
3281.82/3348.41 c #Conflicts: 912000 | #Constraints: 47002
3281.82/3348.41 c #Conflicts: 913000 | #Constraints: 48002
3281.82/3348.41 c #Conflicts: 914000 | #Constraints: 49002
3281.82/3348.41 c #Conflicts: 915000 | #Constraints: 50002
3281.82/3348.41 c #Conflicts: 916000 | #Constraints: 51002
3281.82/3348.41 c #Conflicts: 917000 | #Constraints: 52002
3281.82/3348.41 c #Conflicts: 918000 | #Constraints: 53002
3281.82/3348.41 c #Conflicts: 919000 | #Constraints: 54002
3281.82/3348.41 c #Conflicts: 920000 | #Constraints: 55002
3281.82/3348.41 c #Conflicts: 921000 | #Constraints: 56002
3281.82/3348.41 c #Conflicts: 922000 | #Constraints: 57002
3281.82/3348.41 c INPROCESSING
3281.82/3348.41 c GARBAGE COLLECT
3281.82/3348.41 c #Conflicts: 923000 | #Constraints: 39238
3281.82/3348.41 c #Conflicts: 924000 | #Constraints: 40238
3281.82/3348.41 c #Conflicts: 925000 | #Constraints: 41238
3281.82/3348.41 c #Conflicts: 926000 | #Constraints: 42238
3281.82/3348.41 c #Conflicts: 927000 | #Constraints: 43238
3281.82/3348.41 c #Conflicts: 928000 | #Constraints: 44238
3281.82/3348.41 c #Conflicts: 929000 | #Constraints: 45238
3281.82/3348.41 c #Conflicts: 930000 | #Constraints: 46238
3281.82/3348.41 c #Conflicts: 931000 | #Constraints: 47238
3281.82/3348.41 c #Conflicts: 932000 | #Constraints: 48238
3281.82/3348.41 c #Conflicts: 933000 | #Constraints: 49238
3281.82/3348.41 c #Conflicts: 934000 | #Constraints: 50238
3281.82/3348.41 c #Conflicts: 935000 | #Constraints: 51238
3281.82/3348.41 c #Conflicts: 936000 | #Constraints: 52238
3281.82/3348.41 c #Conflicts: 937000 | #Constraints: 53238
3281.82/3348.41 c #Conflicts: 938000 | #Constraints: 54238
3281.82/3348.41 c #Conflicts: 939000 | #Constraints: 55238
3281.82/3348.41 c #Conflicts: 940000 | #Constraints: 56238
3281.82/3348.41 c #Conflicts: 941000 | #Constraints: 57238
3281.82/3348.41 c INPROCESSING
3281.82/3348.41 c GARBAGE COLLECT
3281.82/3348.41 c #Conflicts: 942000 | #Constraints: 39151
3281.82/3348.41 c #Conflicts: 943000 | #Constraints: 40151
3281.82/3348.41 c #Conflicts: 944000 | #Constraints: 41151
3281.82/3348.41 c #Conflicts: 945000 | #Constraints: 42151
3281.82/3348.41 c #Conflicts: 946000 | #Constraints: 43151
3281.82/3348.41 c #Conflicts: 947000 | #Constraints: 44151
3281.82/3348.41 c #Conflicts: 948000 | #Constraints: 45151
3281.82/3348.41 c #Conflicts: 949000 | #Constraints: 46151
3281.82/3348.41 c #Conflicts: 950000 | #Constraints: 47151
3281.82/3348.41 c #Conflicts: 951000 | #Constraints: 48151
3281.82/3348.41 c #Conflicts: 952000 | #Constraints: 49151
3281.82/3348.41 c #Conflicts: 953000 | #Constraints: 50151
3281.82/3348.41 c #Conflicts: 954000 | #Constraints: 51151
3281.82/3348.41 c #Conflicts: 955000 | #Constraints: 52151
3281.82/3348.41 c #Conflicts: 956000 | #Constraints: 53151
3281.82/3348.41 c #Conflicts: 957000 | #Constraints: 54151
3281.82/3348.41 c #Conflicts: 958000 | #Constraints: 55151
3281.82/3348.41 c #Conflicts: 959000 | #Constraints: 56151
3281.82/3348.41 c #Conflicts: 960000 | #Constraints: 57151
3281.82/3348.41 c #Conflicts: 961000 | #Constraints: 58151
3281.82/3348.41 c INPROCESSING
3281.82/3348.41 c GARBAGE COLLECT
3281.82/3348.41 c #Conflicts: 962000 | #Constraints: 39389
3281.82/3348.41 c #Conflicts: 963000 | #Constraints: 40389
3281.82/3348.41 c #Conflicts: 964000 | #Constraints: 41389
3281.82/3348.41 c #Conflicts: 965000 | #Constraints: 42389
3281.82/3348.41 c #Conflicts: 966000 | #Constraints: 43389
3281.82/3348.41 c #Conflicts: 967000 | #Constraints: 44389
3281.82/3348.41 c #Conflicts: 968000 | #Constraints: 45389
3281.82/3348.41 c #Conflicts: 969000 | #Constraints: 46389
3281.82/3348.41 c #Conflicts: 970000 | #Constraints: 47389
3281.82/3348.41 c #Conflicts: 971000 | #Constraints: 48389
3281.82/3348.41 c #Conflicts: 972000 | #Constraints: 49389
3281.82/3348.41 c #Conflicts: 973000 | #Constraints: 50389
3281.82/3348.41 c #Conflicts: 974000 | #Constraints: 51389
3281.82/3348.41 c #Conflicts: 975000 | #Constraints: 52389
3281.82/3348.41 c #Conflicts: 976000 | #Constraints: 53389
3281.82/3348.41 c #Conflicts: 977000 | #Constraints: 54389
3281.82/3348.41 c #Conflicts: 978000 | #Constraints: 55389
3281.82/3348.41 c #Conflicts
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (50536 MiB free)
memory of node 1: 64465 MiB (45589 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520759-1751559344/watcher-4520759-1751559344 -o /tmp/evaluation-result-4520759-1751559344/solver-4520759-1751559344 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751555170-93570 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4520759-1751559344.opb PROOFDIR/proof-4520759-1751559344
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=95034, runsolver pid=95031
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.08 4.09 4.09 5/275 95036
/proc/meminfo: memFree=98419596/131250000 swapFree=33010160/33010684
[pid=95034] ppid=95031 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/95034/stat : 95034 (run-opt-ls-log.) S 95031 95034 93530 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 71611998 4292608 768 18446744073709551615 94262448889856 94262449784389 140721434898512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94262450023440 94262450071184 94262457262080 140721434900763 140721434900961 140721434900961 140721434906563 0
/proc/95034/statm: 1048 768 704 219 0 110 0
[pid=95036] ppid=95034 vsize=20320 memory=12036 CPUtime=0.06 cores=4,6
/proc/95036/stat : 95036 (pbsuma) R 95034 95034 93530 0 -1 4194304 2593 0 0 0 6 0 0 0 20 0 1 0 71611999 20807680 3009 18446744073709551615 4210688 4653049 140736839909408 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 13332480 140736839915747 140736839916082 140736839916082 140736839921647 0
/proc/95036/statm: 5080 3009 1024 108 0 2488 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 24512 KiB
Current children cumulated memory: 15108 KiB
[startup+0.205897 s]*
/proc/loadavg: 4.08 4.09 4.09 5/275 95036
/proc/meminfo: memFree=98415816/131250000 swapFree=33010160/33010684
[pid=95034] ppid=95031 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/95034/stat : 95034 (run-opt-ls-log.) S 95031 95034 93530 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 71611998 4292608 768 18446744073709551615 94262448889856 94262449784389 140721434898512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94262450023440 94262450071184 94262457262080 140721434900763 140721434900961 140721434900961 140721434906563 0
/proc/95034/statm: 1048 768 704 219 0 110 0
[pid=95036] ppid=95034 vsize=24128 memory=16260 CPUtime=0.16 cores=4,6
/proc/95036/stat : 95036 (pbsuma) R 95034 95034 93530 0 -1 4194304 3644 0 0 0 16 0 0 0 20 0 1 0 71611999 24707072 4065 18446744073709551615 4210688 4653049 140736839909408 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 13332480 140736839915747 140736839916082 140736839916082 140736839921647 0
/proc/95036/statm: 6032 4065 1024 108 0 3440 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 28320 KiB
Current children cumulated memory: 19332 KiB
[startup+0.305552 s]*
/proc/loadavg: 4.08 4.09 4.09 5/275 95036
/proc/meminfo: memFree=98387592/131250000 swapFree=33010160/33010684
[pid=95034] ppid=95031 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/95034/stat : 95034 (run-opt-ls-log.) S 95031 95034 93530 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 71611998 4292608 768 18446744073709551615 94262448889856 94262449784389 140721434898512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94262450023440 94262450071184 94262457262080 140721434900763 140721434900961 140721434900961 140721434906563 0
/proc/95034/statm: 1048 768 704 219 0 110 0
[pid=95036] ppid=95034 vsize=40312 memory=32516 CPUtime=0.26 cores=4,6
/proc/95036/stat : 95036 (pbsuma) R 95034 95034 93530 0 -1 4194304 7695 0 0 0 25 1 0 0 20 0 1 0 71611999 41279488 8129 18446744073709551615 4210688 4653049 140736839909408 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 13332480 140736839915747 140736839916082 140736839916082 140736839921647 0
/proc/95036/statm: 10078 8129 1024 108 0 7486 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 44504 KiB
Current children cumulated memory: 35588 KiB
[startup+0.700202 s]
/proc/loadavg: 4.08 4.09 4.09 5/275 95036
/proc/meminfo: memFree=98218248/131250000 swapFree=33010160/33010684
[pid=95034] ppid=95031 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/95034/stat : 95034 (run-opt-ls-log.) S 95031 95034 93530 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 71611998 4292608 768 18446744073709551615 94262448889856 94262449784389 140721434898512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94262450023440 94262450071184 94262457262080 140721434900763 140721434900961 140721434900961 140721434906563 0
/proc/95034/statm: 1048 768 704 219 0 110 0
[pid=95036] ppid=95034 vsize=40312 memory=32516 CPUtime=0.65 cores=4,6
/proc/95036/stat : 95036 (pbsuma) R 95034 95034 93530 0 -1 4194304 7695 0 0 0 46 19 0 0 20 0 1 0 71611999 41279488 8129 18446744073709551615 4210688 4653049 140736839909408 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 13332480 140736839915747 140736839916082 140736839916082 140736839921647 0
/proc/95036/statm: 10078 8129 1024 108 0 7486 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 44504 KiB
Current children cumulated memory: 35588 KiB
[startup+1.50022 s]
/proc/loadavg: 4.08 4.09 4.09 5/275 95036
/proc/meminfo: memFree=97686656/131250000 swapFree=33010160/33010684
[pid=95034] ppid=95031 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/95034/stat : 95034 (run-opt-ls-log.) S 95031 95034 93530 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 71611998 4292608 768 18446744073709551615 94262448889856 94262449784389 140721434898512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94262450023440 94262450071184 94262457262080 140721434900763 140721434900961 140721434900961 140721434906563 0
/proc/95034/statm: 1048 768 704 219 0 110 0
[pid=95036] ppid=95034 vsize=27252 memory=19996 CPUtime=1.31 cores=4,6
/proc/95036/stat : 95036 (pbsuma) D 95034 95034 93530 0 -1 4194304 7821 0 0 0 74 57 0 0 20 0 1 0 71611999 27906048 4999 18446744073709551615 4210688 4653049 140736839909408 0 0 0 0 0 0 1 0 0 17 6 0 0 0 0 0 4700520 4703148 13332480 140736839915747 140736839916082 140736839916082 140736839921647 0
/proc/95036/statm: 6813 4999 1024 108 0 4221 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 31444 KiB
Current children cumulated memory: 23068 KiB
[startup+3.10543 s]
/proc/loadavg: 4.08 4.09 4.09 5/275 95037
/proc/meminfo: memFree=97384812/131250000 swapFree=33010160/33010684
[pid=95034] ppid=95031 vsize=4192 memory=3072 CPUtime=1.34 cores=4,6
/proc/95034/stat : 95034 (run-opt-ls-log.) S 95031 95034 93530 0 -1 4194304 242 7824 0 0 0 0 74 60 20 0 1 0 71611998 4292608 768 18446744073709551615 94262448889856 94262449784389 140721434898512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94262450023440 94262450071184 94262457262080 140721434900763 140721434900961 140721434900961 140721434906563 0
/proc/95034/statm: 1048 768 704 219 0 110 0
[pid=95037] ppid=95034 vsize=97380 memory=53244 CPUtime=0.92 cores=4,6
/proc/95037/stat : 95037 (roundingsat) R 95034 95034 93530 0 -1 4194304 9976 0 0 0 86 6 0 0 20 0 1 0 71612214 99717120 13311 18446744073709551615 4227072 8923433 140731654148592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42905600 140731654150390 140731654150696 140731654150696 140731654156266 0
/proc/95037/statm: 24345 13311 2400 1147 0 11772 0
Current children cumulated CPU time: 2.26 s
Current children cumulated vsize: 101572 KiB
Current children cumulated memory: 56316 KiB
heavy processes:
[startup+6.30019 s]
/proc/loadavg: 4.07 4.09 4.09 5/275 95037
/proc/meminfo: memFree=97225048/131250000 swapFree=33010160/33010684
[pid=95034] ppid=95031 vsize=4192 memory=3072 CPUtime=1.34 cores=4,6
/proc/95034/stat : 95034 (run-opt-ls-log.) S 95031 95034 93530 0 -1 4194304 242 7824 0 0 0 0 74 60 20 0 1 0 71611998 4292608 768 18446744073709551615 94262448889856 94262449784389 140721434898512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94262450023440 94262450071184 94262457262080 140721434900763 140721434900961 140721434900961 140721434906563 0
/proc/95034/statm: 1048 768 704 219 0 110 0
[pid=95037] ppid=95034 vsize=152952 memory=103892 CPUtime=4.11 cores=4,6
/proc/95037/stat : 95037 (roundingsat) R 95034 95034 93530 0 -1 4194304 20189 0 0 0 388 23 0 0 20 0 1 0 71612214 156622848 25973 18446744073709551615 4227072 8923433 140731654148592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42905600 140731654150390 140731654150696 140731654150696 140731654156266 0
/proc/95037/statm: 38238 25973 2400 1147 0 25665 0
Current children cumulated CPU time: 5.45 s
Current children cumulated vsize: 157144 KiB
Current children cumulated memory: 106964 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.09 4.09 5/275 95037
/proc/meminfo: memFree=97065956/131250000 swapFree=33010160/33010684
[pid=95034] ppid=95031 vsize=4192 memory=3072 CPUtime=1.34 cores=4,6
/proc/95034/stat : 95034 (run-opt-ls-log.) S 95031 95034 93530 0 -1 4194304 242 7824 0 0 0 0 74 60 20 0 1 0 71611998 4292608 768 18446744073709551615 94262448889856 94262449784389 140721434898512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94262450023440 94262450071184 94262457262080 140721434900763 140721434900961 140721434900961 140721434906563 0
/proc/95034/statm: 1048 768 704 219 0 110 0
[pid=95037] ppid=95034 vsize=173896 memory=122964 CPUtime=10.48 cores=4,6
/proc/95037/stat : 95037 (roundingsat) R 95034 95034 93530 0 -1 4194304 24968 0 0 0 1010 38 0 0 20 0 1 0 71612214 178069504 30741 18446744073709551615 4227072 8923433 140731654148592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42905600 140731654150390 140731654150696 140731654150696 140731654156266 0
/proc/95037/statm: 43474 30741 2400 1147 0 30901 0
Current children cumulated CPU time: 11.82 s
Current children cumulated vsize: 178088 KiB
Current children cumulated memory: 126036 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.10 4.09 5/275 95037
/proc/meminfo: memFree=96667828/131250000 swapFree=33010160/33010684
[pid=95034] ppid=95031 vsize=4192 memory=3072 CPUtime=1.34 cores=4,6
/proc/95034/stat : 95034 (run-opt-ls-log.) S 95031 95034 93530 0 -1 4194304 242 7824 0 0 0 0 74 60 20 0 1 0 71611998 4292608 768 18446744073709551615 94262448889856 94262449784389 140721434898512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94262450023440 94262450071184 94262457262080 140721434900763 140721434900961 140721434900961 140721434906563 0
/proc/95034/statm: 1048 768 704 219 0 110 0
[pid=95037] ppid=95034 vsize=179572 memory=129364 CPUtime=23.25 cores=4,6
/proc/95037/stat : 95037 (roundingsat) R 95034 95034 93530 0 -1 4194304 26552 0 0 0 2275 50 0 0 20 0 1 0 71612214 183881728 32341 18446744073709551615 4227072 8923433 140731654148592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42905600 140731654150390 140731654150696 140731654150696 140731654156266 0
/proc/95037/statm: 44893 32341 2400 1147 0 32320 0
Current children cumulated CPU time: 24.59 s
Current children cumulated vsize: 183764 KiB
Current children cumulated memory: 132436 KiB
[startup+51.1055 s]
/proc/loadavg: 4.08 4.09 4.09 5/275 95039
/proc/meminfo: memFree=96050688/131250000 swapFree=33010160/33010684
[pid=95034] ppid=95031 vsize=4192 memory=3072 CPUtime=1.34 cores=4,6
/proc/95034/stat : 95034 (run-opt-ls-log.) S 95031 95034 93530 0 -1 4194304 242 7824 0 0 0 0 74 60 20 0 1 0 71611998 4292608 768 18446744073709551615 94262448889856 94262449784389 140721434898512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94262450023440 94262450071184 94262457262080 140721434900763 140721434900961 140721434900961 140721434906563 0
/proc/95034/statm: 1048 768 704 219 0 110 0
[pid=95037] ppid=95034 vsize=180552 memory=130260 CPUtime=48.78 cores=4,6
/proc/95037/stat : 95037 (roundingsat) R 95034 95034 93530 0 -1 4194304 26791 0 0 0 4819 59 0 0 20 0 1 0 71612214 184885248 32565 18446744073709551615 4227072 8923433 140731654148592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42905600 140731654150390 140731654150696 140731654150696 140731654156266 0
/proc/95037/statm: 45138 32565 2400 1147 0 32565 0
Current children cumulated CPU time: 50.12 s
Current children cumulated vsize: 184744 KiB
Current children cumulated memory: 133332 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/275 95041
/proc/meminfo: memFree=93607188/131250000 swapFree=33010160/33010684
[pid=95034] ppid=95031 vsize=4192 memory=3072 CPUtime=1.34 cores=4,6
/proc/95034/stat : 95034 (run-opt-ls-log.) S 95031 95034 93530 0 -1 4194304 242 7824 0 0 0 0 74 60 20 0 1 0 71611998 4292608 768 18446744073709551615 94262448889856 94262449784389 140721434898512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94262450023440 94262450071184 94262457262080 140721434900763 140721434900961 140721434900961 140721434906563 0
/proc/95034/statm: 1048 768 704 219 0 110 0
[pid=95037] ppid=95034 vsize=273732 memory=221048 CPUtime=99.86 cores=4,6
/proc/95037/stat : 95037 (roundingsat) R 95034 95034 93530 0 -1 4194304 44885 0 0 0 9864 122 0 0 20 0 1 0 71612214 280301568 55262 18446744073709551615 4227072 8923433 140731654148592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42905600 140731654150390 140731654150696 140731654150696 140731654156266 0
/proc/95037/statm: 68433 55262 2400 1147 0 55860 0
Current children cumulated CPU time: 101.2 s
Current children cumulated vsize: 277924 KiB
Current children cumulated memory: 224120 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/273 95047
/proc/meminfo: memFree=92875768/131250000 swapFree=33010160/33010684
[pid=95034] ppid=95031 vsize=4192 memory=3072 CPUtime=1.34 cores=4,6
/proc/95034/stat : 95034 (run-opt-ls-log.) S 95031 95034 93530 0 -1 4194304 242 7824 0 0 0 0 74 60 20 0 1 0 71611998 4292608 768 18446744073709551615 94262448889856 94262449784389 140721434898512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94262450023440 94262450071184 94262457262080 140721434900763 140721434900961 140721434900961 140721434906563 0
/proc/95034/statm: 1048 768 704 219 0 110 0
[pid=95037] ppid=95034 vsize=305476 memory=252920 CPUtime=159.71 cores=4,6
/proc/95037/stat : 95037 (roundingsat) R 95034 95034 93530 0 -1 4194304 52852 0 0 0 15814 157 0 0 20 0 1 0 71612214 312807424 63230 18446744073709551615 4227072 8923433 140731654148592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42905600 140731654150390 140731654150696 140731654150696 140731654156266 0
/proc/95037/statm: 76369 63230 2400 1147 0 63796 0
Current children cumulated CPU time: 161.05 s
Current children cumulated vsize: 309668 KiB
Current children cumulated memory: 255992 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/275 95051
/proc/meminfo: memFree=92629796/131250000 swapFree=33010160/33010684
[pid=95034] ppid=95031 vsize=4192 memory=3072 CPUtime=1.34 cores=4,6
/proc/95034/stat : 95034 (run-opt-ls-log.) S 95031 95034 93530 0 -1 4194304 242 7824 0 0 0 0 74 60 20 0 1 0 71611998 4292608 768 18446744073709551615 94262448889856 94262449784389 140721434898512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94262450023440 94262450071184 94262457262080 140721434900763 140721434900961 140721434900961 140721434906563 0
/proc/95034/statm: 1048 768 704 219 0 110 0
[pid=95037] ppid=95034 vsize=292788 memory=246084 CPUtime=219.56 cores=4,6
/proc/95037/stat : 95037 (roundingsat) R 95034 95034 93530 0 -1 4194304 53997 0 0 0 21759 197 0 0 20 0 1 0 71612214 299814912 61521 18446744073709551615 4227072 8923433 140731654148592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42905600 140731654150390 140731654150696 140731654150696 140731654156266 0
################
# More data... #
################
/proc/meminfo: memFree=106679432/131250000 swapFree=33010160/33010684
[pid=95034] ppid=95031 vsize=4192 memory=3072 CPUtime=1.34 cores=4,6
/proc/95034/stat : 95034 (run-opt-ls-log.) S 95031 95034 93530 0 -1 4194304 242 7824 0 0 0 0 74 60 20 0 1 0 71611998 4292608 768 18446744073709551615 94262448889856 94262449784389 140721434898512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94262450023440 94262450071184 94262457262080 140721434900763 140721434900961 140721434900961 140721434906563 0
/proc/95034/statm: 1048 768 704 219 0 110 0
[pid=95037] ppid=95034 vsize=1517564 memory=1327356 CPUtime=3274.39 cores=4,6
/proc/95037/stat : 95037 (roundingsat) R 95034 95034 93530 0 -1 4194304 248601 0 0 0 325492 1947 0 0 20 0 1 0 71612214 1553985536 331839 18446744073709551615 4227072 8923433 140731654148592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42905600 140731654150390 140731654150696 140731654150696 140731654156266 0
/proc/95037/statm: 379391 331839 2528 1147 0 366818 0
Current children cumulated CPU time: 3275.73 s
Current children cumulated vsize: 1521756 KiB
Current children cumulated memory: 1330428 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.17 4.13 5/273 95571
/proc/meminfo: memFree=106341132/131250000 swapFree=33010160/33010684
[pid=95034] ppid=95031 vsize=4192 memory=3072 CPUtime=1.34 cores=4,6
/proc/95034/stat : 95034 (run-opt-ls-log.) S 95031 95034 93530 0 -1 4194304 242 7824 0 0 0 0 74 60 20 0 1 0 71611998 4292608 768 18446744073709551615 94262448889856 94262449784389 140721434898512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94262450023440 94262450071184 94262457262080 140721434900763 140721434900961 140721434900961 140721434906563 0
/proc/95034/statm: 1048 768 704 219 0 110 0
[pid=95037] ppid=95034 vsize=1522028 memory=1331708 CPUtime=3334.25 cores=4,6
/proc/95037/stat : 95037 (roundingsat) R 95034 95034 93530 0 -1 4194304 249885 0 0 0 331453 1972 0 0 20 0 1 0 71612214 1558556672 332927 18446744073709551615 4227072 8923433 140731654148592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42905600 140731654150390 140731654150696 140731654150696 140731654156266 0
/proc/95037/statm: 380507 332927 2528 1147 0 367934 0
Current children cumulated CPU time: 3335.59 s
Current children cumulated vsize: 1526220 KiB
Current children cumulated memory: 1334780 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.15 4.12 5/274 95577
/proc/meminfo: memFree=105492108/131250000 swapFree=33010160/33010684
[pid=95034] ppid=95031 vsize=4192 memory=3072 CPUtime=1.34 cores=4,6
/proc/95034/stat : 95034 (run-opt-ls-log.) S 95031 95034 93530 0 -1 4194304 242 7824 0 0 0 0 74 60 20 0 1 0 71611998 4292608 768 18446744073709551615 94262448889856 94262449784389 140721434898512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94262450023440 94262450071184 94262457262080 140721434900763 140721434900961 140721434900961 140721434906563 0
/proc/95034/statm: 1048 768 704 219 0 110 0
[pid=95037] ppid=95034 vsize=1522028 memory=1331708 CPUtime=3394.1 cores=4,6
/proc/95037/stat : 95037 (roundingsat) R 95034 95034 93530 0 -1 4194304 249891 0 0 0 337423 1987 0 0 20 0 1 0 71612214 1558556672 332927 18446744073709551615 4227072 8923433 140731654148592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42905600 140731654150390 140731654150696 140731654150696 140731654156266 0
/proc/95037/statm: 380507 332927 2528 1147 0 367934 0
Current children cumulated CPU time: 3395.44 s
Current children cumulated vsize: 1526220 KiB
Current children cumulated memory: 1334780 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.16 4.12 5/274 95580
/proc/meminfo: memFree=104951828/131250000 swapFree=33010160/33010684
[pid=95034] ppid=95031 vsize=4192 memory=3072 CPUtime=1.34 cores=4,6
/proc/95034/stat : 95034 (run-opt-ls-log.) S 95031 95034 93530 0 -1 4194304 242 7824 0 0 0 0 74 60 20 0 1 0 71611998 4292608 768 18446744073709551615 94262448889856 94262449784389 140721434898512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94262450023440 94262450071184 94262457262080 140721434900763 140721434900961 140721434900961 140721434906563 0
/proc/95034/statm: 1048 768 704 219 0 110 0
[pid=95037] ppid=95034 vsize=1522028 memory=1331708 CPUtime=3453.92 cores=4,6
/proc/95037/stat : 95037 (roundingsat) R 95034 95034 93530 0 -1 4194304 249995 0 0 0 343374 2018 0 0 20 0 1 0 71612214 1558556672 332927 18446744073709551615 4227072 8923433 140731654148592 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 42905600 140731654150390 140731654150696 140731654150696 140731654156266 0
/proc/95037/statm: 380507 332927 2528 1147 0 367934 0
Current children cumulated CPU time: 3455.26 s
Current children cumulated vsize: 1526220 KiB
Current children cumulated memory: 1334780 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.14 4.12 5/274 95582
/proc/meminfo: memFree=104351348/131250000 swapFree=33010160/33010684
[pid=95034] ppid=95031 vsize=4192 memory=3072 CPUtime=1.34 cores=4,6
/proc/95034/stat : 95034 (run-opt-ls-log.) S 95031 95034 93530 0 -1 4194304 242 7824 0 0 0 0 74 60 20 0 1 0 71611998 4292608 768 18446744073709551615 94262448889856 94262449784389 140721434898512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94262450023440 94262450071184 94262457262080 140721434900763 140721434900961 140721434900961 140721434906563 0
/proc/95034/statm: 1048 768 704 219 0 110 0
[pid=95037] ppid=95034 vsize=1522028 memory=1331708 CPUtime=3513.74 cores=4,6
/proc/95037/stat : 95037 (roundingsat) R 95034 95034 93530 0 -1 4194304 249995 0 0 0 349337 2037 0 0 20 0 1 0 71612214 1558556672 332927 18446744073709551615 4227072 8923433 140731654148592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42905600 140731654150390 140731654150696 140731654150696 140731654156266 0
/proc/95037/statm: 380507 332927 2528 1147 0 367934 0
Current children cumulated CPU time: 3515.08 s
Current children cumulated vsize: 1526220 KiB
Current children cumulated memory: 1334780 KiB
[startup+3642.3 s]
/proc/loadavg: 4.44 4.22 4.15 5/273 95584
/proc/meminfo: memFree=104286636/131250000 swapFree=33010160/33010684
[pid=95034] ppid=95031 vsize=4192 memory=3072 CPUtime=1.34 cores=4,6
/proc/95034/stat : 95034 (run-opt-ls-log.) S 95031 95034 93530 0 -1 4194304 242 7824 0 0 0 0 74 60 20 0 1 0 71611998 4292608 768 18446744073709551615 94262448889856 94262449784389 140721434898512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94262450023440 94262450071184 94262457262080 140721434900763 140721434900961 140721434900961 140721434906563 0
/proc/95034/statm: 1048 768 704 219 0 110 0
[pid=95037] ppid=95034 vsize=1522864 memory=1332732 CPUtime=3573.6 cores=4,6
/proc/95037/stat : 95037 (roundingsat) R 95034 95034 93530 0 -1 4194304 250244 0 0 0 355306 2054 0 0 20 0 1 0 71612214 1559412736 333183 18446744073709551615 4227072 8923433 140731654148592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42905600 140731654150390 140731654150696 140731654150696 140731654156266 0
/proc/95037/statm: 380716 333183 2528 1147 0 368143 0
Current children cumulated CPU time: 3574.94 s
Current children cumulated vsize: 1527056 KiB
Current children cumulated memory: 1335804 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3667.5 s]
/proc/loadavg: 4.29 4.20 4.14 5/273 95585
/proc/meminfo: memFree=104286788/131250000 swapFree=33010160/33010684
[pid=95034] ppid=95031 vsize=4192 memory=3072 CPUtime=1.34 cores=4,6
/proc/95034/stat : 95034 (run-opt-ls-log.) S 95031 95034 93530 0 -1 4194304 242 7824 0 0 0 0 74 60 20 0 1 0 71611998 4292608 768 18446744073709551615 94262448889856 94262449784389 140721434898512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94262450023440 94262450071184 94262457262080 140721434900763 140721434900961 140721434900961 140721434906563 0
/proc/95034/statm: 1048 768 704 219 0 110 0
[pid=95037] ppid=95034 vsize=1522864 memory=1332732 CPUtime=3598.74 cores=4,6
/proc/95037/stat : 95037 (roundingsat) R 95034 95034 93530 0 -1 4194304 250244 0 0 0 357816 2058 0 0 20 0 1 0 71612214 1559412736 333183 18446744073709551615 4227072 8923433 140731654148592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42905600 140731654150390 140731654150696 140731654150696 140731654156266 0
/proc/95037/statm: 380716 333183 2528 1147 0 368143 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1527056 KiB
Current children cumulated memory: 1335804 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3667.5 s]
# the end of solver process 95034 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.745041 s, system=0.609693 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3669.52 s]
# the end of solver process 95037 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3580.9 s, system=21.2218 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+3668.8 s]
/proc/loadavg: 4.29 4.20 4.14 5/271 95585
/proc/meminfo: memFree=104286536/131250000 swapFree=33010160/33010684
[pid=95037] ppid=95031 vsize=1522864 memory=1332732 CPUtime=3600.04 cores=4,6
/proc/95037/stat : 95037 (roundingsat) R 95031 95034 93530 0 -1 4194304 250244 0 0 0 357945 2059 0 0 20 0 1 0 71612214 1559412736 333183 18446744073709551615 4227072 8923433 140731654148592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42905600 140731654150390 140731654150696 140731654150696 140731654156266 0
/proc/95037/statm: 380716 333183 2528 1147 0 368143 0
Current cumulated CPU time of completed processes: 1.35473 s
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1522864 KiB
Current children cumulated memory: 1332732 KiB
[startup+3669.2 s]
/proc/loadavg: 4.29 4.20 4.14 5/271 95585
/proc/meminfo: memFree=104286536/131250000 swapFree=33010160/33010684
[pid=95037] ppid=95031 vsize=1522864 memory=1332732 CPUtime=3600.44 cores=4,6
/proc/95037/stat : 95037 (roundingsat) R 95031 95034 93530 0 -1 4194304 250244 0 0 0 357985 2059 0 0 20 0 1 0 71612214 1559412736 333183 18446744073709551615 4227072 8923433 140731654148592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42905600 140731654150390 140731654150696 140731654150696 140731654156266 0
/proc/95037/statm: 380716 333183 2528 1147 0 368143 0
Current cumulated CPU time of completed processes: 1.35473 s
Current children cumulated CPU time: 3600.44 s
Current children cumulated vsize: 1522864 KiB
Current children cumulated memory: 1332732 KiB
[startup+3669.4 s]
/proc/loadavg: 4.29 4.20 4.14 5/271 95585
/proc/meminfo: memFree=104286536/131250000 swapFree=33010160/33010684
[pid=95037] ppid=95031 vsize=1522864 memory=1332732 CPUtime=3600.64 cores=4,6
/proc/95037/stat : 95037 (roundingsat) R 95031 95034 93530 0 -1 4194304 250244 0 0 0 358005 2059 0 0 20 0 1 0 71612214 1559412736 333183 18446744073709551615 4227072 8923433 140731654148592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42905600 140731654150390 140731654150696 140731654150696 140731654156266 0
/proc/95037/statm: 380716 333183 2528 1147 0 368143 0
Current cumulated CPU time of completed processes: 1.35473 s
Current children cumulated CPU time: 3600.64 s
Current children cumulated vsize: 1522864 KiB
Current children cumulated memory: 1332732 KiB
[startup+3669.5 s]
/proc/loadavg: 4.29 4.20 4.14 5/271 95585
/proc/meminfo: memFree=104286536/131250000 swapFree=33010160/33010684
[pid=95037] ppid=95031 vsize=1522864 memory=1332732 CPUtime=3600.74 cores=4,6
/proc/95037/stat : 95037 (roundingsat) R 95031 95034 93530 0 -1 4194304 250244 0 0 0 358015 2059 0 0 20 0 1 0 71612214 1559412736 333183 18446744073709551615 4227072 8923433 140731654148592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42905600 140731654150390 140731654150696 140731654150696 140731654156266 0
/proc/95037/statm: 380716 333183 2528 1147 0 368143 0
Current cumulated CPU time of completed processes: 1.35473 s
Current children cumulated CPU time: 3600.74 s
Current children cumulated vsize: 1522864 KiB
Current children cumulated memory: 1332732 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3669.52
CPU time (s): 3602.12
CPU user time (s): 3580.9
CPU system time (s): 21.2218
CPU usage (%): 98.1632
Max. virtual memory (cumulated for all children) (KiB): 1527056
Max. memory (cumulated for all children) (KiB): 1335804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.9
system time used= 21.2218
maximum resident set size= 1332732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258310
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12034040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25207
involuntary context switches= 4109
# summary of solver processes directly reported to runsolver:
# pid: 95034,95037
# total CPU time (s): 3602.12
# total CPU user time (s): 3580.9
# total CPU system time (s): 21.2218
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.60701 second user time and 16.9192 second system time
The end
Begin job on nodeC016 at 2025-07-03 18:15:44
IDJOB=4520759
IDBENCH=178124
IDSOLVER=3356
FILE ID=nodeC016/4520759-1751559344
RUNJOBID= nodeC016-1751555170-93570
SLURM_JOB_ID= 9598745
Free space on /tmp= 432860 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_290.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520759-1751559344/watcher-4520759-1751559344 -o /tmp/evaluation-result-4520759-1751559344/solver-4520759-1751559344 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751555170-93570 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4520759-1751559344.opb PROOFDIR/proof-4520759-1751559344
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ae0481323a61a83bdee40ab7f1cf5730
RANDOM SEED=846662933
nodeC016 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.710
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.48
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.755
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.48
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 : 3672.515
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.499
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.48
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.707
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.48
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.822
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.48
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 : 3656.109
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.48
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 : 3604.125
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 98434524 kB
MemAvailable: 122057092 kB
Buffers: 2144 kB
Cached: 24389164 kB
SwapCached: 28 kB
Active: 8397512 kB
Inactive: 23769328 kB
Active(anon): 7788344 kB
Inactive(anon): 5288 kB
Active(file): 609168 kB
Inactive(file): 23764040 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 337360 kB
Writeback: 0 kB
AnonPages: 7778144 kB
Mapped: 118828 kB
Shmem: 18044 kB
KReclaimable: 177196 kB
Slab: 279668 kB
SReclaimable: 177196 kB
SUnreclaim: 102472 kB
KernelStack: 4432 kB
PageTables: 19844 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 9378592 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150728 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4921344 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432796 MiB
End job on nodeC016 at 2025-07-03 19:16:54