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-4520621-1751556055.opb'
0.00/0.01	c 	read 0.33MB  (4.83ms)
0.00/0.01	c	 [cnf: #variables 6460 #clauses 6461 #duplicates 0 #arr 32300]
0.00/0.01	c output proof to 'PROOFDIR/proof-4520621-1751556055'
0.00/0.01	c 
0.00/0.01	c make graph and approximate orbits
0.00/0.02	c	 [group: #orbits ~= 2] (3.79ms)
0.00/0.02	c 
0.00/0.02	c detect special group actions
0.00/0.02	c 	probe for Johnson action (limit=64)
0.00/0.02	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.02	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.02	c 	 (2.94ms)
0.00/0.02	c 
0.00/0.02	c detect symmetries on remainder
0.00/0.02	c 	[graph: #vertices 25841 #edges 90440]
0.00/0.02	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.03	c 	 [group: #symmetries 6.46*10^3 #generators 2] (13.54ms)
0.00/0.03	c 
0.00/0.03	c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.03	c 	(0.00ms)
0.00/0.03	c 
0.00/0.03	c finalize break order and special generators
0.00/0.03	c 
0.00/0.03	c add generic predicates (break_depth=20)
0.00/0.03	c 	added predicates for 2 generators (0.08ms)
0.39/0.45	c 
0.39/0.45	c generation finished
0.39/0.45	c 	[sbp: #constraints 116 #add_vars 38]
0.39/0.45	c 
0.39/0.45	c write result to 'HOME/instance-4520621-1751556055.opb.pre'
0.39/0.45	c 	wrote 0.34MB (0.95ms)
0.39/0.45	c ------------------------------------------------------------------
0.39/0.45	c                 418.94ms 94.05% other
0.39/0.45	c                  13.54ms  3.04% detect_generic
0.39/0.45	c                   4.83ms  1.08% parse
0.39/0.45	c                   3.79ms  0.85% approx_orbits
0.39/0.45	c                   2.94ms  0.66% detect_special
0.39/0.45	c                   0.95ms  0.21% output
0.39/0.45	c                   0.36ms  0.08% finalize_order
0.39/0.45	c                   0.08ms  0.02% break_generic
0.39/0.45	c                   0.00ms  0.00% optimize_gens
0.39/0.45	c         ───────────────────────────────────────────────
0.39/0.45	c                 445.42ms   100% total
0.39/0.45	c ------------------------------------------------------------------
0.39/0.50	c RoundingSat 2
0.39/0.50	c branch pb25
0.39/0.50	c commit 63f22ad
0.44/0.55	c #variables 6498 #constraints 6576
0.44/0.55	c objective is ce32 
0.72/0.83	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.72/0.83	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.72/0.83	c bounds 2028 >= 0 @ 0.307197
1.13/1.25	c bounds 2027 >= 0 @ 0.712845
1.13/1.25	c bounds 2027 >= 1 @ 0.714414
1.13/1.25	c bounds 2027 >= 2 @ 0.716105
1.13/1.26	c bounds 2027 >= 3 @ 0.716787
1.13/1.26	c bounds 2027 >= 4 @ 0.718418
1.13/1.26	c bounds 2027 >= 5 @ 0.720089
1.13/1.26	c bounds 2027 >= 6 @ 0.720788
1.13/1.26	c bounds 2027 >= 7 @ 0.722424
1.13/1.26	c bounds 2027 >= 8 @ 0.72409
1.13/1.27	c bounds 2027 >= 9 @ 0.725757
1.13/1.27	c bounds 2027 >= 10 @ 0.727415
1.13/1.27	c bounds 2027 >= 11 @ 0.72917
1.13/1.27	c bounds 2027 >= 12 @ 0.730824
1.13/1.27	c bounds 2027 >= 13 @ 0.732472
1.13/1.27	c bounds 2027 >= 14 @ 0.734238
1.13/1.28	c bounds 2027 >= 15 @ 0.735971
1.13/1.28	c bounds 2027 >= 16 @ 0.737624
1.13/1.28	c bounds 2027 >= 17 @ 0.739283
1.13/1.28	c bounds 2027 >= 18 @ 0.739974
1.13/1.28	c bounds 2027 >= 19 @ 0.741605
1.13/1.28	c bounds 2027 >= 20 @ 0.743261
1.13/1.29	c bounds 2027 >= 21 @ 0.744915
1.13/1.29	c bounds 2027 >= 22 @ 0.74656
1.13/1.29	c bounds 2027 >= 23 @ 0.748209
1.13/1.29	c bounds 2027 >= 24 @ 0.749855
1.13/1.29	c bounds 2027 >= 25 @ 0.751515
1.13/1.29	c bounds 2027 >= 26 @ 0.75317
1.22/1.30	c bounds 2027 >= 27 @ 0.754822
1.22/1.30	c bounds 2027 >= 28 @ 0.756484
1.22/1.30	c bounds 2027 >= 29 @ 0.758144
1.22/1.30	c bounds 2027 >= 30 @ 0.7598
1.22/1.30	c bounds 2027 >= 31 @ 0.761449
1.22/1.30	c bounds 2027 >= 32 @ 0.763096
1.22/1.31	c bounds 2027 >= 33 @ 0.764759
1.22/1.31	c bounds 2027 >= 34 @ 0.766408
1.22/1.31	c bounds 2027 >= 35 @ 0.76818
1.22/1.31	c bounds 2027 >= 36 @ 0.769829
1.22/1.31	c bounds 2027 >= 37 @ 0.771489
1.22/1.31	c bounds 2027 >= 38 @ 0.773136
1.22/1.32	c bounds 2027 >= 39 @ 0.77478
1.22/1.32	c bounds 2027 >= 40 @ 0.776421
1.22/1.32	c bounds 2027 >= 41 @ 0.778076
1.22/1.32	c bounds 2027 >= 42 @ 0.779731
1.22/1.32	c bounds 2027 >= 43 @ 0.781379
1.22/1.32	c bounds 2027 >= 44 @ 0.783029
1.22/1.33	c bounds 2027 >= 45 @ 0.784671
1.22/1.33	c bounds 2027 >= 46 @ 0.786318
1.22/1.33	c bounds 2027 >= 47 @ 0.787961
1.22/1.33	c bounds 2027 >= 48 @ 0.789607
1.22/1.33	c bounds 2027 >= 49 @ 0.791269
1.22/1.33	c bounds 2027 >= 50 @ 0.792916
1.22/1.34	c bounds 2027 >= 51 @ 0.794564
1.22/1.34	c bounds 2027 >= 52 @ 0.796209
1.22/1.34	c bounds 2027 >= 53 @ 0.797858
1.22/1.34	c bounds 2027 >= 54 @ 0.799598
1.22/1.34	c bounds 2027 >= 55 @ 0.801236
1.22/1.34	c bounds 2027 >= 56 @ 0.80289
1.22/1.35	c bounds 2027 >= 57 @ 0.804649
1.22/1.35	c bounds 2027 >= 58 @ 0.806301
1.22/1.35	c bounds 2027 >= 59 @ 0.807945
1.22/1.35	c bounds 2027 >= 60 @ 0.809588
1.22/1.35	c bounds 2027 >= 61 @ 0.81123
1.22/1.35	c bounds 2027 >= 62 @ 0.812875
1.22/1.36	c bounds 2027 >= 63 @ 0.814507
1.22/1.36	c bounds 2027 >= 64 @ 0.816142
1.22/1.36	c bounds 2027 >= 65 @ 0.817793
1.22/1.36	c bounds 2027 >= 66 @ 0.819542
1.22/1.36	c bounds 2027 >= 67 @ 0.821182
1.22/1.36	c bounds 2027 >= 68 @ 0.822815
1.22/1.37	c bounds 2027 >= 69 @ 0.824844
1.22/1.37	c bounds 2027 >= 70 @ 0.826475
1.22/1.37	c bounds 2027 >= 71 @ 0.828203
1.22/1.37	c bounds 2027 >= 72 @ 0.829827
1.22/1.37	c bounds 2027 >= 73 @ 0.831451
1.22/1.37	c bounds 2027 >= 74 @ 0.832089
1.22/1.38	c bounds 2027 >= 75 @ 0.83371
1.22/1.38	c bounds 2027 >= 76 @ 0.835323
1.22/1.38	c bounds 2027 >= 77 @ 0.836946
1.22/1.38	c bounds 2027 >= 78 @ 0.838576
1.22/1.38	c bounds 2027 >= 79 @ 0.840192
1.22/1.38	c bounds 2027 >= 80 @ 0.841807
1.22/1.39	c bounds 2027 >= 81 @ 0.843445
1.22/1.39	c bounds 2027 >= 82 @ 0.845086
1.22/1.39	c bounds 2027 >= 83 @ 0.846708
1.22/1.39	c bounds 2027 >= 84 @ 0.848343
1.22/1.39	c bounds 2027 >= 85 @ 0.850077
1.22/1.39	c bounds 2027 >= 86 @ 0.851704
1.32/1.40	c bounds 2027 >= 87 @ 0.853435
1.32/1.40	c bounds 2027 >= 88 @ 0.855064
1.32/1.40	c bounds 2027 >= 89 @ 0.856811
1.32/1.40	c bounds 2027 >= 90 @ 0.858438
1.32/1.40	c bounds 2027 >= 91 @ 0.86005
1.32/1.40	c bounds 2027 >= 92 @ 0.861664
1.32/1.41	c bounds 2027 >= 93 @ 0.863285
1.32/1.41	c bounds 2027 >= 94 @ 0.865009
1.32/1.41	c bounds 2027 >= 95 @ 0.866624
1.32/1.41	c bounds 2027 >= 96 @ 0.868353
1.32/1.41	c bounds 2027 >= 97 @ 0.870078
1.32/1.41	c bounds 2027 >= 98 @ 0.870719
1.32/1.42	c bounds 2027 >= 99 @ 0.872329
1.32/1.42	c bounds 2027 >= 100 @ 0.873946
1.32/1.42	c bounds 2027 >= 101 @ 0.875549
1.32/1.42	c bounds 2027 >= 102 @ 0.877172
1.32/1.42	c bounds 2027 >= 103 @ 0.878891
1.32/1.42	c bounds 2027 >= 104 @ 0.880501
1.32/1.43	c bounds 2027 >= 105 @ 0.882122
1.32/1.43	c bounds 2027 >= 106 @ 0.883735
1.32/1.43	c bounds 2027 >= 107 @ 0.885356
1.32/1.43	c bounds 2027 >= 108 @ 0.886961
1.32/1.43	c bounds 2027 >= 109 @ 0.888675
1.32/1.43	c bounds 2027 >= 110 @ 0.890287
1.32/1.44	c bounds 2027 >= 111 @ 0.892
1.32/1.44	c bounds 2027 >= 112 @ 0.893615
1.32/1.44	c bounds 2027 >= 113 @ 0.895242
1.32/1.44	c bounds 2027 >= 114 @ 0.896858
1.32/1.44	c bounds 2027 >= 115 @ 0.897518
1.32/1.44	c bounds 2027 >= 116 @ 0.899099
1.32/1.45	c bounds 2027 >= 117 @ 0.899844
1.32/1.45	c bounds 2027 >= 118 @ 0.901555
1.32/1.45	c bounds 2027 >= 119 @ 0.903273
1.32/1.45	c bounds 2027 >= 120 @ 0.904873
1.32/1.45	c bounds 2027 >= 121 @ 0.906484
1.32/1.45	c bounds 2027 >= 122 @ 0.908091
1.32/1.46	c bounds 2027 >= 123 @ 0.908712
1.32/1.46	c bounds 2027 >= 124 @ 0.910314
1.32/1.46	c bounds 2027 >= 125 @ 0.912031
1.32/1.46	c bounds 2027 >= 126 @ 0.91364
1.32/1.46	c bounds 2027 >= 127 @ 0.915258
1.32/1.46	c bounds 2027 >= 128 @ 0.916874
1.32/1.47	c bounds 2027 >= 129 @ 0.918601
1.32/1.47	c bounds 2027 >= 130 @ 0.920227
1.32/1.47	c bounds 2027 >= 131 @ 0.921932
1.32/1.47	c bounds 2027 >= 132 @ 0.923551
1.32/1.47	c bounds 2027 >= 133 @ 0.925159
1.32/1.47	c bounds 2027 >= 134 @ 0.926773
1.32/1.48	c bounds 2027 >= 135 @ 0.928382
1.32/1.48	c bounds 2027 >= 136 @ 0.930002
1.32/1.48	c bounds 2027 >= 137 @ 0.931616
1.32/1.48	c bounds 2027 >= 138 @ 0.933231
1.32/1.48	c bounds 2027 >= 139 @ 0.934846
1.32/1.48	c bounds 2027 >= 140 @ 0.936451
1.32/1.49	c bounds 2027 >= 141 @ 0.938052
1.32/1.49	c bounds 2027 >= 142 @ 0.939663
1.32/1.49	c bounds 2027 >= 143 @ 0.941272
1.32/1.49	c bounds 2027 >= 144 @ 0.942873
1.32/1.49	c bounds 2027 >= 145 @ 0.943502
1.32/1.49	c bounds 2027 >= 146 @ 0.945101
1.32/1.49	c bounds 2027 >= 147 @ 0.946703
1.42/1.50	c bounds 2027 >= 148 @ 0.9483
1.42/1.50	c bounds 2027 >= 149 @ 0.949942
1.42/1.50	c bounds 2027 >= 150 @ 0.951549
1.42/1.50	c bounds 2027 >= 151 @ 0.953158
1.42/1.50	c bounds 2027 >= 152 @ 0.954861
1.42/1.50	c bounds 2027 >= 153 @ 0.956562
1.42/1.51	c bounds 2027 >= 154 @ 0.958182
1.42/1.51	c bounds 2027 >= 155 @ 0.959215
1.42/1.51	c bounds 2027 >= 156 @ 0.960793
1.42/1.51	c bounds 2027 >= 157 @ 0.962397
1.42/1.51	c bounds 2027 >= 158 @ 0.962998
1.42/1.51	c bounds 2027 >= 159 @ 0.964578
1.42/1.52	c bounds 2027 >= 160 @ 0.966189
1.42/1.52	c bounds 2027 >= 161 @ 0.967784
1.42/1.52	c bounds 2027 >= 162 @ 0.968406
1.42/1.52	c bounds 2027 >= 163 @ 0.96998
1.42/1.52	c bounds 2027 >= 164 @ 0.971588
1.42/1.52	c bounds 2027 >= 165 @ 0.97221
1.42/1.53	c bounds 2027 >= 166 @ 0.973776
1.42/1.53	c bounds 2027 >= 167 @ 0.975358
1.42/1.53	c bounds 2027 >= 168 @ 0.977055
1.42/1.53	c bounds 2027 >= 169 @ 0.978749
1.42/1.53	c bounds 2027 >= 170 @ 0.980346
1.42/1.53	c bounds 2027 >= 171 @ 0.981931
1.42/1.54	c bounds 2027 >= 172 @ 0.983521
1.42/1.54	c bounds 2027 >= 173 @ 0.985234
1.42/1.54	c bounds 2027 >= 174 @ 0.986824
1.42/1.54	c bounds 2027 >= 175 @ 0.988422
1.42/1.54	c bounds 2027 >= 176 @ 0.990005
1.42/1.54	c bounds 2027 >= 177 @ 0.991609
1.42/1.55	c bounds 2027 >= 178 @ 0.993204
1.42/1.55	c bounds 2027 >= 179 @ 0.994797
1.42/1.55	c bounds 2027 >= 180 @ 0.996387
1.42/1.55	c bounds 2027 >= 181 @ 0.997983
1.42/1.55	c bounds 2027 >= 182 @ 0.999573
1.42/1.55	c bounds 2027 >= 183 @ 1.00127
1.42/1.56	c bounds 2027 >= 184 @ 1.00296
1.42/1.56	c bounds 2027 >= 185 @ 1.00466
1.42/1.56	c bounds 2027 >= 186 @ 1.00625
1.42/1.56	c bounds 2027 >= 187 @ 1.00784
1.42/1.56	c bounds 2027 >= 188 @ 1.00942
1.42/1.56	c bounds 2027 >= 189 @ 1.01101
1.42/1.56	c bounds 2027 >= 190 @ 1.01263
1.42/1.57	c bounds 2027 >= 191 @ 1.01421
1.42/1.57	c bounds 2027 >= 192 @ 1.01579
1.42/1.57	c bounds 2027 >= 193 @ 1.01738
1.42/1.57	c bounds 2027 >= 194 @ 1.01897
1.42/1.57	c bounds 2027 >= 195 @ 1.02065
1.42/1.57	c bounds 2027 >= 196 @ 1.02234
1.42/1.58	c bounds 2027 >= 197 @ 1.02402
1.42/1.58	c bounds 2027 >= 198 @ 1.02557
1.42/1.58	c bounds 2027 >= 199 @ 1.02629
1.42/1.58	c bounds 2027 >= 200 @ 1.02797
1.42/1.58	c bounds 2027 >= 201 @ 1.02955
1.42/1.58	c bounds 2027 >= 202 @ 1.03123
1.42/1.59	c bounds 2027 >= 203 @ 1.03293
1.42/1.59	c bounds 2027 >= 204 @ 1.0345
1.42/1.59	c bounds 2027 >= 205 @ 1.03609
1.42/1.59	c bounds 2027 >= 206 @ 1.03765
1.42/1.59	c bounds 2027 >= 207 @ 1.03923
1.42/1.59	c bounds 2027 >= 208 @ 1.0408
1.52/1.60	c bounds 2027 >= 209 @ 1.04237
1.52/1.60	c bounds 2027 >= 210 @ 1.04406
1.52/1.60	c bounds 2027 >= 211 @ 1.04563
1.52/1.60	c bounds 2027 >= 212 @ 1.04631
1.52/1.60	c bounds 2027 >= 213 @ 1.04788
1.52/1.60	c bounds 2027 >= 214 @ 1.04847
1.52/1.61	c bounds 2027 >= 215 @ 1.05015
1.52/1.61	c bounds 2027 >= 216 @ 1.05173
1.52/1.61	c bounds 2027 >= 217 @ 1.05331
1.52/1.61	c bounds 2027 >= 218 @ 1.05489
1.52/1.61	c bounds 2027 >= 219 @ 1.05646
1.52/1.61	c bounds 2027 >= 220 @ 1.05815
1.52/1.62	c bounds 2027 >= 221 @ 1.05973
1.52/1.62	c bounds 2027 >= 222 @ 1.06141
1.52/1.62	c bounds 2027 >= 223 @ 1.06308
1.52/1.62	c bounds 2027 >= 224 @ 1.06471
1.52/1.62	c bounds 2027 >= 225 @ 1.06629
1.52/1.62	c bounds 2027 >= 226 @ 1.06786
1.52/1.62	c bounds 2027 >= 227 @ 1.06943
1.52/1.63	c bounds 2027 >= 228 @ 1.071
1.52/1.63	c bounds 2027 >= 229 @ 1.07256
1.52/1.63	c bounds 2027 >= 230 @ 1.07413
1.52/1.63	c bounds 2027 >= 231 @ 1.0757
1.52/1.63	c bounds 2027 >= 232 @ 1.07628
1.52/1.63	c bounds 2027 >= 233 @ 1.07784
1.52/1.64	c bounds 2027 >= 234 @ 1.0794
1.52/1.64	c bounds 2027 >= 235 @ 1.08098
1.52/1.64	c bounds 2027 >= 236 @ 1.08256
1.52/1.64	c bounds 2027 >= 237 @ 1.08423
1.52/1.64	c bounds 2027 >= 238 @ 1.0858
1.52/1.64	c bounds 2027 >= 239 @ 1.08737
1.52/1.65	c bounds 2027 >= 240 @ 1.08905
1.52/1.65	c bounds 2027 >= 241 @ 1.09063
1.52/1.65	c bounds 2027 >= 242 @ 1.09221
1.52/1.65	c bounds 2027 >= 243 @ 1.09379
1.52/1.65	c bounds 2027 >= 244 @ 1.09536
1.52/1.65	c bounds 2027 >= 245 @ 1.09695
1.52/1.66	c bounds 2027 >= 246 @ 1.09851
1.52/1.66	c bounds 2027 >= 247 @ 1.10008
1.52/1.66	c bounds 2027 >= 248 @ 1.10166
1.52/1.66	c bounds 2027 >= 249 @ 1.10335
1.52/1.66	c bounds 2027 >= 250 @ 1.10493
1.52/1.66	c bounds 2027 >= 251 @ 1.1066
1.52/1.66	c bounds 2027 >= 252 @ 1.10818
1.52/1.67	c bounds 2027 >= 253 @ 1.10975
1.52/1.67	c bounds 2027 >= 254 @ 1.11134
1.52/1.67	c bounds 2027 >= 255 @ 1.11301
1.52/1.67	c bounds 2027 >= 256 @ 1.11457
1.52/1.67	c bounds 2027 >= 257 @ 1.11615
1.52/1.67	c bounds 2027 >= 258 @ 1.11677
1.52/1.68	c bounds 2027 >= 259 @ 1.11839
1.52/1.68	c bounds 2027 >= 260 @ 1.11998
1.52/1.68	c bounds 2027 >= 261 @ 1.12154
1.52/1.68	c bounds 2027 >= 262 @ 1.12312
1.52/1.68	c bounds 2027 >= 263 @ 1.12469
1.52/1.68	c bounds 2027 >= 264 @ 1.12626
1.52/1.69	c bounds 2027 >= 265 @ 1.12784
1.52/1.69	c bounds 2027 >= 266 @ 1.12941
1.52/1.69	c bounds 2027 >= 267 @ 1.13001
1.52/1.69	c bounds 2027 >= 268 @ 1.13156
1.52/1.69	c bounds 2027 >= 269 @ 1.13314
1.52/1.69	c bounds 2027 >= 270 @ 1.13379
1.52/1.69	c bounds 2027 >= 271 @ 1.13533
1.62/1.70	c bounds 2027 >= 272 @ 1.1369
1.62/1.70	c bounds 2027 >= 273 @ 1.13848
1.62/1.70	c bounds 2027 >= 274 @ 1.14006
1.62/1.70	c bounds 2027 >= 275 @ 1.14163
1.62/1.70	c bounds 2027 >= 276 @ 1.14319
1.62/1.70	c bounds 2027 >= 277 @ 1.14476
1.62/1.71	c bounds 2027 >= 278 @ 1.14642
1.62/1.71	c bounds 2027 >= 279 @ 1.148
1.62/1.71	c bounds 2027 >= 280 @ 1.14956
1.62/1.71	c bounds 2027 >= 281 @ 1.15113
1.62/1.71	c bounds 2027 >= 282 @ 1.15269
1.62/1.71	c bounds 2027 >= 283 @ 1.15326
1.62/1.72	c bounds 2027 >= 284 @ 1.15388
1.62/1.72	c bounds 2027 >= 285 @ 1.15483
1.62/1.72	c bounds 2027 >= 286 @ 1.15637
1.62/1.72	c bounds 2027 >= 287 @ 1.15792
1.62/1.72	c bounds 2027 >= 288 @ 1.15945
1.62/1.72	c bounds 2027 >= 289 @ 1.16111
1.62/1.73	c bounds 2027 >= 290 @ 1.16266
1.62/1.73	c bounds 2027 >= 291 @ 1.16333
1.62/1.73	c bounds 2027 >= 292 @ 1.16488
1.62/1.73	c bounds 2027 >= 293 @ 1.16653
1.62/1.73	c bounds 2027 >= 294 @ 1.16809
1.62/1.73	c bounds 2027 >= 295 @ 1.16973
1.62/1.74	c bounds 2027 >= 296 @ 1.17128
1.62/1.74	c bounds 2027 >= 297 @ 1.17283
1.62/1.74	c bounds 2027 >= 298 @ 1.17438
1.62/1.74	c bounds 2027 >= 299 @ 1.17593
1.62/1.74	c bounds 2027 >= 300 @ 1.1775
1.62/1.74	c bounds 2027 >= 301 @ 1.17904
1.62/1.74	c bounds 2027 >= 302 @ 1.17961
1.62/1.75	c bounds 2027 >= 303 @ 1.18113
1.62/1.75	c bounds 2027 >= 304 @ 1.18266
1.62/1.75	c bounds 2027 >= 305 @ 1.1832
1.62/1.75	c bounds 2027 >= 306 @ 1.18474
1.62/1.75	c bounds 2027 >= 307 @ 1.18628
1.62/1.75	c bounds 2027 >= 308 @ 1.18684
1.62/1.76	c bounds 2027 >= 309 @ 1.18835
1.62/1.76	c bounds 2027 >= 310 @ 1.18989
1.62/1.76	c bounds 2027 >= 311 @ 1.19151
1.62/1.76	c bounds 2027 >= 312 @ 1.19313
1.62/1.76	c bounds 2027 >= 313 @ 1.19477
1.62/1.76	c bounds 2027 >= 314 @ 1.19632
1.62/1.76	c bounds 2027 >= 315 @ 1.19788
1.62/1.77	c bounds 2027 >= 316 @ 1.19951
1.62/1.77	c bounds 2027 >= 317 @ 1.20105
1.62/1.77	c bounds 2027 >= 318 @ 1.20258
1.62/1.77	c bounds 2027 >= 319 @ 1.20411
1.62/1.77	c bounds 2027 >= 320 @ 1.20566
1.62/1.77	c bounds 2027 >= 321 @ 1.20722
1.62/1.78	c bounds 2027 >= 322 @ 1.20878
1.62/1.78	c bounds 2027 >= 323 @ 1.21034
1.62/1.78	c bounds 2027 >= 324 @ 1.21089
1.62/1.78	c bounds 2027 >= 325 @ 1.21146
1.62/1.78	c bounds 2027 >= 326 @ 1.21296
1.62/1.78	c bounds 2027 >= 327 @ 1.21449
1.62/1.78	c bounds 2027 >= 328 @ 1.21612
1.62/1.79	c bounds 2027 >= 329 @ 1.21776
1.62/1.79	c bounds 2027 >= 330 @ 1.2194
1.62/1.79	c bounds 2027 >= 331 @ 1.22102
1.62/1.79	c bounds 2027 >= 332 @ 1.22264
1.62/1.79	c bounds 2027 >= 333 @ 1.22426
1.62/1.79	c bounds 2027 >= 334 @ 1.22586
1.72/1.80	c bounds 2027 >= 335 @ 1.22748
1.72/1.80	c bounds 2027 >= 336 @ 1.22901
1.72/1.80	c bounds 2027 >= 337 @ 1.23054
1.72/1.80	c bounds 2027 >= 338 @ 1.23207
1.72/1.80	c bounds 2027 >= 339 @ 1.23359
1.72/1.80	c bounds 2027 >= 340 @ 1.23512
1.72/1.81	c bounds 2027 >= 341 @ 1.23674
1.72/1.81	c bounds 2027 >= 342 @ 1.23827
1.72/1.81	c bounds 2027 >= 343 @ 1.23978
1.72/1.81	c bounds 2027 >= 344 @ 1.2414
1.72/1.81	c bounds 2027 >= 345 @ 1.24294
1.72/1.81	c bounds 2027 >= 346 @ 1.24456
1.72/1.82	c bounds 2027 >= 347 @ 1.24609
1.72/1.82	c bounds 2027 >= 348 @ 1.24771
1.72/1.82	c bounds 2027 >= 349 @ 1.24924
1.72/1.82	c bounds 2027 >= 350 @ 1.25076
1.72/1.82	c bounds 2027 >= 351 @ 1.25228
1.72/1.82	c bounds 2027 >= 352 @ 1.2539
1.72/1.82	c bounds 2027 >= 353 @ 1.25545
1.72/1.83	c bounds 2027 >= 354 @ 1.25698
1.72/1.83	c bounds 2027 >= 355 @ 1.25851
1.72/1.83	c bounds 2027 >= 356 @ 1.26013
1.72/1.83	c bounds 2027 >= 357 @ 1.26165
1.72/1.83	c bounds 2027 >= 358 @ 1.26328
1.72/1.83	c bounds 2027 >= 359 @ 1.26479
1.72/1.84	c bounds 2027 >= 360 @ 1.26632
1.72/1.84	c bounds 2027 >= 361 @ 1.26786
1.72/1.84	c bounds 2027 >= 362 @ 1.26938
1.72/1.84	c bounds 2027 >= 363 @ 1.26991
1.72/1.84	c bounds 2027 >= 364 @ 1.27143
1.72/1.84	c bounds 2027 >= 365 @ 1.27296
1.72/1.84	c bounds 2027 >= 366 @ 1.27449
1.72/1.85	c bounds 2027 >= 367 @ 1.27602
1.72/1.85	c bounds 2027 >= 368 @ 1.27657
1.72/1.85	c bounds 2027 >= 369 @ 1.27808
1.72/1.85	c bounds 2027 >= 370 @ 1.2796
1.72/1.85	c bounds 2027 >= 371 @ 1.28116
1.72/1.85	c bounds 2027 >= 372 @ 1.28267
1.72/1.86	c bounds 2027 >= 373 @ 1.28429
1.72/1.86	c bounds 2027 >= 374 @ 1.28581
1.72/1.86	c bounds 2027 >= 375 @ 1.28733
1.72/1.86	c bounds 2027 >= 376 @ 1.28886
1.72/1.86	c bounds 2027 >= 377 @ 1.2904
1.72/1.86	c bounds 2027 >= 378 @ 1.29192
1.72/1.86	c bounds 2027 >= 379 @ 1.29354
1.72/1.87	c bounds 2027 >= 380 @ 1.29506
1.72/1.87	c bounds 2027 >= 381 @ 1.29667
1.72/1.87	c bounds 2027 >= 382 @ 1.2982
1.72/1.87	c bounds 2027 >= 383 @ 1.29973
1.72/1.87	c bounds 2027 >= 384 @ 1.30125
1.72/1.87	c bounds 2027 >= 385 @ 1.30279
1.72/1.88	c bounds 2027 >= 386 @ 1.30432
1.72/1.88	c bounds 2027 >= 387 @ 1.30585
1.72/1.88	c bounds 2027 >= 388 @ 1.30737
1.72/1.88	c bounds 2027 >= 389 @ 1.30891
1.72/1.88	c bounds 2027 >= 390 @ 1.31052
1.72/1.88	c bounds 2027 >= 391 @ 1.31217
1.72/1.88	c bounds 2027 >= 392 @ 1.3137
1.72/1.89	c bounds 2027 >= 393 @ 1.31524
1.72/1.89	c bounds 2027 >= 394 @ 1.31676
1.72/1.89	c bounds 2027 >= 395 @ 1.31829
1.72/1.89	c bounds 2027 >= 396 @ 1.31982
1.72/1.89	c bounds 2027 >= 397 @ 1.32037
1.72/1.89	c bounds 2027 >= 398 @ 1.32189
1.82/1.90	c bounds 2027 >= 399 @ 1.32341
1.82/1.90	c bounds 2027 >= 400 @ 1.32397
1.82/1.90	c bounds 2027 >= 401 @ 1.32447
1.82/1.90	c bounds 2027 >= 402 @ 1.326
1.82/1.90	c bounds 2027 >= 403 @ 1.32752
1.82/1.90	c bounds 2027 >= 404 @ 1.32904
1.82/1.90	c bounds 2027 >= 405 @ 1.33056
1.82/1.91	c bounds 2027 >= 406 @ 1.33208
1.82/1.91	c bounds 2027 >= 407 @ 1.33368
1.82/1.91	c bounds 2027 >= 408 @ 1.33529
1.82/1.91	c bounds 2027 >= 409 @ 1.33682
1.82/1.91	c bounds 2027 >= 410 @ 1.33834
1.82/1.91	c bounds 2027 >= 411 @ 1.33986
1.82/1.92	c bounds 2027 >= 412 @ 1.34147
1.82/1.92	c bounds 2027 >= 413 @ 1.34203
1.82/1.92	c bounds 2027 >= 414 @ 1.3436
1.82/1.92	c bounds 2027 >= 415 @ 1.34513
1.82/1.92	c bounds 2027 >= 416 @ 1.34664
1.82/1.92	c bounds 2027 >= 417 @ 1.34817
1.82/1.93	c bounds 2027 >= 418 @ 1.34967
1.82/1.93	c bounds 2027 >= 419 @ 1.35119
1.82/1.93	c bounds 2027 >= 420 @ 1.35271
1.82/1.93	c bounds 2027 >= 421 @ 1.35422
1.82/1.93	c bounds 2027 >= 422 @ 1.35581
1.82/1.93	c bounds 2027 >= 423 @ 1.35732
1.82/1.93	c bounds 2027 >= 424 @ 1.35892
1.82/1.94	c bounds 2027 >= 425 @ 1.36053
1.82/1.94	c bounds 2027 >= 426 @ 1.36213
1.82/1.94	c bounds 2027 >= 427 @ 1.36372
1.82/1.94	c bounds 2027 >= 428 @ 1.36524
1.82/1.94	c bounds 2027 >= 429 @ 1.36676
1.82/1.94	c bounds 2027 >= 430 @ 1.36825
1.82/1.95	c bounds 2027 >= 431 @ 1.36984
1.82/1.95	c bounds 2027 >= 432 @ 1.37142
1.82/1.95	c bounds 2027 >= 433 @ 1.37205
1.82/1.95	c bounds 2027 >= 434 @ 1.37363
1.82/1.95	c bounds 2027 >= 435 @ 1.37522
1.82/1.95	c bounds 2027 >= 436 @ 1.37682
1.82/1.95	c bounds 2027 >= 437 @ 1.37833
1.82/1.96	c bounds 2027 >= 438 @ 1.37983
1.82/1.96	c bounds 2027 >= 439 @ 1.38132
1.82/1.96	c bounds 2027 >= 440 @ 1.38292
1.82/1.96	c bounds 2027 >= 441 @ 1.38453
1.82/1.96	c bounds 2027 >= 442 @ 1.38613
1.82/1.96	c bounds 2027 >= 443 @ 1.38677
1.82/1.97	c bounds 2027 >= 444 @ 1.38825
1.82/1.97	c bounds 2027 >= 445 @ 1.38982
1.82/1.97	c bounds 2027 >= 446 @ 1.39133
1.82/1.97	c bounds 2027 >= 447 @ 1.39186
1.82/1.97	c bounds 2027 >= 448 @ 1.39333
1.82/1.97	c bounds 2027 >= 449 @ 1.39492
1.82/1.97	c bounds 2027 >= 450 @ 1.39643
1.82/1.98	c bounds 2027 >= 451 @ 1.39794
1.82/1.98	c bounds 2027 >= 452 @ 1.39945
1.82/1.98	c bounds 2027 >= 453 @ 1.40105
1.82/1.98	c bounds 2027 >= 454 @ 1.40257
1.82/1.98	c bounds 2027 >= 455 @ 1.40446
1.82/1.98	c bounds 2027 >= 456 @ 1.40595
1.82/1.99	c bounds 2027 >= 457 @ 1.40746
1.82/1.99	c bounds 2027 >= 458 @ 1.40897
1.82/1.99	c bounds 2027 >= 459 @ 1.41046
1.82/1.99	c bounds 2027 >= 460 @ 1.41196
1.82/1.99	c bounds 2027 >= 461 @ 1.41343
1.82/1.99	c bounds 2027 >= 462 @ 1.41492
1.82/2.00	c bounds 2027 >= 463 @ 1.41649
1.82/2.00	c bounds 2027 >= 464 @ 1.41797
1.82/2.00	c bounds 2027 >= 465 @ 1.41949
1.82/2.00	c bounds 2027 >= 466 @ 1.42099
1.93/2.00	c bounds 2027 >= 467 @ 1.42249
1.93/2.00	c bounds 2027 >= 468 @ 1.42399
1.93/2.00	c bounds 2027 >= 469 @ 1.42548
1.93/2.01	c bounds 2027 >= 470 @ 1.42697
1.93/2.01	c bounds 2027 >= 471 @ 1.42855
1.93/2.01	c bounds 2027 >= 472 @ 1.43004
1.93/2.01	c bounds 2027 >= 473 @ 1.43153
1.93/2.01	c bounds 2027 >= 474 @ 1.43311
1.93/2.01	c bounds 2027 >= 475 @ 1.43365
1.93/2.01	c bounds 2027 >= 476 @ 1.43521
1.93/2.02	c bounds 2027 >= 477 @ 1.4368
1.93/2.02	c bounds 2027 >= 478 @ 1.43827
1.93/2.02	c bounds 2027 >= 479 @ 1.43975
1.93/2.02	c bounds 2027 >= 480 @ 1.44131
1.93/2.02	c bounds 2027 >= 481 @ 1.4428
1.93/2.02	c bounds 2027 >= 482 @ 1.44437
1.93/2.03	c bounds 2027 >= 483 @ 1.44586
1.93/2.03	c bounds 2027 >= 484 @ 1.44734
1.93/2.03	c bounds 2027 >= 485 @ 1.4489
1.93/2.03	c bounds 2027 >= 486 @ 1.44939
1.93/2.03	c bounds 2027 >= 487 @ 1.45093
1.93/2.03	c bounds 2027 >= 488 @ 1.45242
1.93/2.03	c bounds 2027 >= 489 @ 1.4539
1.93/2.04	c bounds 2027 >= 490 @ 1.45539
1.93/2.04	c bounds 2027 >= 491 @ 1.45687
1.93/2.04	c bounds 2027 >= 492 @ 1.45835
1.93/2.04	c bounds 2027 >= 493 @ 1.45981
1.93/2.04	c bounds 2027 >= 494 @ 1.4613
1.93/2.04	c bounds 2027 >= 495 @ 1.46276
1.93/2.04	c bounds 2027 >= 496 @ 1.46423
1.93/2.05	c bounds 2027 >= 497 @ 1.46572
1.93/2.05	c bounds 2027 >= 498 @ 1.46728
1.93/2.05	c bounds 2027 >= 499 @ 1.46777
1.93/2.05	c bounds 2027 >= 500 @ 1.46932
1.93/2.05	c bounds 2027 >= 501 @ 1.47089
1.93/2.05	c bounds 2027 >= 502 @ 1.47236
1.93/2.06	c bounds 2027 >= 503 @ 1.47392
1.93/2.06	c bounds 2027 >= 504 @ 1.4754
1.93/2.06	c bounds 2027 >= 505 @ 1.47689
1.93/2.06	c bounds 2027 >= 506 @ 1.47846
1.93/2.06	c bounds 2027 >= 507 @ 1.48001
1.93/2.06	c bounds 2027 >= 508 @ 1.48052
1.93/2.06	c bounds 2027 >= 509 @ 1.48198
1.93/2.07	c bounds 2027 >= 510 @ 1.48344
1.93/2.07	c bounds 2027 >= 511 @ 1.485
1.93/2.07	c bounds 2027 >= 512 @ 1.48656
1.93/2.07	c bounds 2027 >= 513 @ 1.48804
1.93/2.07	c bounds 2027 >= 514 @ 1.48952
1.93/2.07	c bounds 2027 >= 515 @ 1.491
1.93/2.08	c bounds 2027 >= 516 @ 1.49151
1.93/2.08	c bounds 2027 >= 517 @ 1.49303
1.93/2.08	c bounds 2027 >= 518 @ 1.49461
1.93/2.08	c bounds 2027 >= 519 @ 1.49608
1.93/2.08	c bounds 2027 >= 520 @ 1.49755
1.93/2.08	c bounds 2027 >= 521 @ 1.49903
1.93/2.08	c bounds 2027 >= 522 @ 1.5005
1.93/2.09	c bounds 2027 >= 523 @ 1.50198
1.93/2.09	c bounds 2027 >= 524 @ 1.50344
1.93/2.09	c bounds 2027 >= 525 @ 1.50393
1.93/2.09	c bounds 2027 >= 526 @ 1.50443
1.93/2.09	c bounds 2027 >= 527 @ 1.50587
1.93/2.09	c bounds 2027 >= 528 @ 1.5074
1.93/2.09	c bounds 2027 >= 529 @ 1.50889
1.93/2.10	c bounds 2027 >= 530 @ 1.51043
1.93/2.10	c bounds 2027 >= 531 @ 1.51198
1.93/2.10	c bounds 2027 >= 532 @ 1.51354
2.02/2.10	c bounds 2027 >= 533 @ 1.515
2.02/2.10	c bounds 2027 >= 534 @ 1.51659
2.02/2.10	c bounds 2027 >= 535 @ 1.51805
2.02/2.11	c bounds 2027 >= 536 @ 1.5199
2.02/2.11	c bounds 2027 >= 537 @ 1.52142
2.02/2.11	c bounds 2027 >= 538 @ 1.52289
2.02/2.11	c bounds 2027 >= 539 @ 1.52339
2.02/2.11	c bounds 2027 >= 540 @ 1.52482
2.02/2.11	c bounds 2027 >= 541 @ 1.52628
2.02/2.11	c bounds 2027 >= 542 @ 1.52775
2.02/2.12	c bounds 2027 >= 543 @ 1.5292
2.02/2.12	c bounds 2027 >= 544 @ 1.53066
2.02/2.12	c bounds 2027 >= 545 @ 1.53214
2.02/2.12	c bounds 2027 >= 546 @ 1.53361
2.02/2.12	c bounds 2027 >= 547 @ 1.53508
2.02/2.12	c bounds 2027 >= 548 @ 1.53557
2.02/2.12	c bounds 2027 >= 549 @ 1.53701
2.02/2.13	c bounds 2027 >= 550 @ 1.53847
2.02/2.13	c bounds 2027 >= 551 @ 1.53993
2.02/2.13	c bounds 2027 >= 552 @ 1.54139
2.02/2.13	c bounds 2027 >= 553 @ 1.54286
2.02/2.13	c bounds 2027 >= 554 @ 1.54345
2.02/2.13	c bounds 2027 >= 555 @ 1.5449
2.02/2.14	c bounds 2027 >= 556 @ 1.54636
2.02/2.14	c bounds 2027 >= 557 @ 1.5479
2.02/2.14	c bounds 2027 >= 558 @ 1.54944
2.02/2.14	c bounds 2027 >= 559 @ 1.55091
2.02/2.14	c bounds 2027 >= 560 @ 1.55235
2.02/2.14	c bounds 2027 >= 561 @ 1.55383
2.02/2.14	c bounds 2027 >= 562 @ 1.55535
2.02/2.15	c bounds 2027 >= 563 @ 1.5568
2.02/2.16	c bounds 2026 >= 563 @ 1.5694
2.02/2.16	c bounds 2026 >= 564 @ 1.57096
2.02/2.16	c bounds 2026 >= 565 @ 1.57241
2.02/2.16	c bounds 2026 >= 566 @ 1.57387
2.02/2.17	c bounds 2026 >= 567 @ 1.57532
2.02/2.17	c bounds 2026 >= 568 @ 1.57677
2.02/2.17	c bounds 2026 >= 569 @ 1.57822
2.02/2.17	c bounds 2026 >= 570 @ 1.57967
2.02/2.17	c bounds 2026 >= 571 @ 1.58017
2.02/2.17	c bounds 2026 >= 572 @ 1.5816
2.02/2.17	c bounds 2026 >= 573 @ 1.58302
2.02/2.18	c bounds 2026 >= 574 @ 1.58447
2.02/2.18	c bounds 2026 >= 575 @ 1.58591
2.02/2.18	c bounds 2026 >= 576 @ 1.58736
2.02/2.18	c bounds 2026 >= 577 @ 1.58882
2.02/2.18	c bounds 2026 >= 578 @ 1.59028
2.02/2.18	c bounds 2026 >= 579 @ 1.59173
2.02/2.18	c bounds 2026 >= 580 @ 1.59318
2.02/2.19	c bounds 2026 >= 581 @ 1.59471
2.02/2.19	c bounds 2026 >= 582 @ 1.59615
2.02/2.19	c bounds 2026 >= 583 @ 1.59761
2.02/2.19	c bounds 2026 >= 584 @ 1.5981
2.02/2.19	c bounds 2026 >= 585 @ 1.59952
2.02/2.19	c bounds 2026 >= 586 @ 1.60095
2.02/2.19	c bounds 2026 >= 587 @ 1.60241
2.12/2.20	c bounds 2026 >= 588 @ 1.60386
2.12/2.20	c bounds 2026 >= 589 @ 1.60531
2.12/2.20	c bounds 2026 >= 590 @ 1.60675
2.12/2.20	c bounds 2026 >= 591 @ 1.60819
2.12/2.20	c bounds 2026 >= 592 @ 1.60962
2.12/2.20	c bounds 2026 >= 593 @ 1.61108
2.12/2.20	c bounds 2026 >= 594 @ 1.61252
2.12/2.21	c bounds 2026 >= 595 @ 1.61396
2.12/2.21	c bounds 2026 >= 596 @ 1.61443
2.12/2.21	c bounds 2026 >= 597 @ 1.61585
2.12/2.21	c bounds 2026 >= 598 @ 1.61729
2.12/2.21	c bounds 2026 >= 599 @ 1.61874
2.12/2.21	c bounds 2026 >= 600 @ 1.62018
2.12/2.21	c bounds 2026 >= 601 @ 1.62163
2.12/2.22	c bounds 2026 >= 602 @ 1.62308
2.12/2.22	c bounds 2026 >= 603 @ 1.62453
2.12/2.22	c bounds 2026 >= 604 @ 1.62606
2.12/2.22	c bounds 2026 >= 605 @ 1.6275
2.12/2.22	c bounds 2026 >= 606 @ 1.62894
2.12/2.22	c bounds 2026 >= 607 @ 1.63039
2.12/2.23	c bounds 2026 >= 608 @ 1.63189
2.12/2.23	c bounds 2026 >= 609 @ 1.63236
2.12/2.23	c bounds 2026 >= 610 @ 1.63379
2.12/2.23	c bounds 2026 >= 611 @ 1.63525
2.12/2.23	c bounds 2026 >= 612 @ 1.63611
2.12/2.23	c bounds 2026 >= 613 @ 1.63752
2.12/2.23	c bounds 2026 >= 614 @ 1.638
2.12/2.24	c bounds 2026 >= 615 @ 1.63949
2.12/2.24	c bounds 2026 >= 616 @ 1.64099
2.12/2.24	c bounds 2026 >= 617 @ 1.64252
2.12/2.24	c bounds 2026 >= 618 @ 1.64396
2.12/2.24	c bounds 2026 >= 619 @ 1.64541
2.12/2.24	c bounds 2026 >= 620 @ 1.64692
2.12/2.24	c bounds 2026 >= 621 @ 1.64836
2.12/2.25	c bounds 2026 >= 622 @ 1.6498
2.12/2.25	c bounds 2026 >= 623 @ 1.65124
2.12/2.25	c bounds 2026 >= 624 @ 1.65275
2.12/2.25	c bounds 2026 >= 625 @ 1.65419
2.12/2.25	c bounds 2026 >= 626 @ 1.65563
2.12/2.25	c bounds 2026 >= 627 @ 1.6571
2.12/2.25	c bounds 2026 >= 628 @ 1.65856
2.12/2.26	c bounds 2026 >= 629 @ 1.66
2.12/2.26	c bounds 2026 >= 630 @ 1.66142
2.12/2.26	c bounds 2026 >= 631 @ 1.66285
2.12/2.26	c bounds 2026 >= 632 @ 1.66429
2.12/2.26	c bounds 2026 >= 633 @ 1.66573
2.12/2.26	c bounds 2026 >= 634 @ 1.66715
2.12/2.26	c bounds 2026 >= 635 @ 1.66858
2.12/2.27	c bounds 2026 >= 636 @ 1.67002
2.12/2.27	c bounds 2026 >= 637 @ 1.67145
2.12/2.27	c bounds 2026 >= 638 @ 1.672
2.12/2.27	c bounds 2026 >= 639 @ 1.67342
2.12/2.27	c bounds 2026 >= 640 @ 1.67388
2.12/2.27	c bounds 2026 >= 641 @ 1.67529
2.12/2.28	c bounds 2026 >= 642 @ 1.67671
2.12/2.28	c bounds 2026 >= 643 @ 1.67814
2.12/2.28	c bounds 2026 >= 644 @ 1.67966
2.12/2.28	c bounds 2026 >= 645 @ 1.68116
2.12/2.28	c bounds 2026 >= 646 @ 1.68267
2.12/2.28	c bounds 2026 >= 647 @ 1.68411
2.12/2.28	c bounds 2026 >= 648 @ 1.68553
2.12/2.29	c bounds 2026 >= 649 @ 1.68697
2.12/2.29	c bounds 2026 >= 650 @ 1.68741
2.12/2.29	c bounds 2026 >= 651 @ 1.68787
2.12/2.29	c bounds 2026 >= 652 @ 1.68928
2.12/2.29	c bounds 2026 >= 653 @ 1.69068
2.12/2.29	c bounds 2026 >= 654 @ 1.69211
2.12/2.29	c bounds 2026 >= 655 @ 1.6936
2.12/2.30	c bounds 2026 >= 656 @ 1.69502
2.22/2.30	c bounds 2026 >= 657 @ 1.69647
2.22/2.30	c bounds 2026 >= 658 @ 1.69791
2.22/2.30	c bounds 2026 >= 659 @ 1.69932
2.22/2.30	c bounds 2026 >= 660 @ 1.69977
2.22/2.30	c bounds 2026 >= 661 @ 1.70116
2.22/2.30	c bounds 2026 >= 662 @ 1.70256
2.22/2.31	c bounds 2026 >= 663 @ 1.70398
2.22/2.31	c bounds 2026 >= 664 @ 1.70546
2.22/2.31	c bounds 2026 >= 665 @ 1.7069
2.22/2.31	c bounds 2026 >= 666 @ 1.70832
2.22/2.31	c bounds 2026 >= 667 @ 1.70877
2.22/2.31	c bounds 2026 >= 668 @ 1.71017
2.22/2.31	c bounds 2026 >= 669 @ 1.71163
2.22/2.32	c bounds 2026 >= 670 @ 1.71313
2.22/2.32	c bounds 2026 >= 671 @ 1.71455
2.22/2.32	c bounds 2026 >= 672 @ 1.71595
2.22/2.32	c bounds 2026 >= 673 @ 1.71736
2.22/2.32	c bounds 2026 >= 674 @ 1.71886
2.22/2.32	c bounds 2026 >= 675 @ 1.72028
2.22/2.32	c bounds 2026 >= 676 @ 1.72076
2.22/2.33	c bounds 2026 >= 677 @ 1.72216
2.22/2.33	c bounds 2026 >= 678 @ 1.72356
2.22/2.33	c bounds 2026 >= 679 @ 1.72497
2.22/2.33	c bounds 2026 >= 680 @ 1.72637
2.22/2.33	c bounds 2026 >= 681 @ 1.7278
2.22/2.33	c bounds 2026 >= 682 @ 1.72921
2.22/2.33	c bounds 2026 >= 683 @ 1.72975
2.22/2.34	c bounds 2026 >= 684 @ 1.73115
2.22/2.34	c bounds 2026 >= 685 @ 1.73255
2.22/2.34	c bounds 2026 >= 686 @ 1.73395
2.22/2.34	c bounds 2026 >= 687 @ 1.73536
2.22/2.34	c bounds 2026 >= 688 @ 1.73679
2.22/2.34	c bounds 2026 >= 689 @ 1.73821
2.22/2.34	c bounds 2026 >= 690 @ 1.73876
2.22/2.35	c bounds 2026 >= 691 @ 1.74031
2.22/2.35	c bounds 2026 >= 692 @ 1.74176
2.22/2.35	c bounds 2026 >= 693 @ 1.74317
2.22/2.35	c bounds 2026 >= 694 @ 1.74364
2.22/2.35	c bounds 2026 >= 695 @ 1.74503
2.22/2.35	c bounds 2026 >= 696 @ 1.74643
2.22/2.35	c bounds 2026 >= 697 @ 1.74785
2.22/2.36	c bounds 2026 >= 698 @ 1.74935
2.22/2.36	c bounds 2026 >= 699 @ 1.75084
2.22/2.36	c bounds 2026 >= 700 @ 1.75226
2.22/2.36	c bounds 2026 >= 701 @ 1.75379
2.22/2.36	c bounds 2026 >= 702 @ 1.75529
2.22/2.36	c bounds 2026 >= 703 @ 1.75678
2.22/2.36	c bounds 2026 >= 704 @ 1.75821
2.22/2.37	c bounds 2026 >= 705 @ 1.75963
2.22/2.37	c bounds 2026 >= 706 @ 1.76106
2.22/2.37	c bounds 2026 >= 707 @ 1.76249
2.22/2.37	c bounds 2026 >= 708 @ 1.7639
2.22/2.37	c bounds 2026 >= 709 @ 1.76538
2.22/2.37	c bounds 2026 >= 710 @ 1.76679
2.22/2.37	c bounds 2026 >= 711 @ 1.76822
2.22/2.38	c bounds 2026 >= 712 @ 1.76963
2.22/2.38	c bounds 2026 >= 713 @ 1.77104
2.22/2.38	c bounds 2026 >= 714 @ 1.77246
2.22/2.38	c bounds 2026 >= 715 @ 1.77387
2.22/2.38	c bounds 2026 >= 716 @ 1.77536
2.22/2.38	c bounds 2026 >= 717 @ 1.77678
2.22/2.38	c bounds 2026 >= 718 @ 1.77819
2.22/2.39	c bounds 2026 >= 719 @ 1.7796
2.22/2.39	c bounds 2026 >= 720 @ 1.78101
2.22/2.39	c bounds 2026 >= 721 @ 1.7825
2.22/2.39	c bounds 2026 >= 722 @ 1.78391
2.22/2.39	c bounds 2026 >= 723 @ 1.78433
2.22/2.39	c bounds 2026 >= 724 @ 1.78575
2.22/2.39	c bounds 2026 >= 725 @ 1.78716
2.32/2.40	c bounds 2026 >= 726 @ 1.78857
2.32/2.40	c bounds 2026 >= 727 @ 1.79005
2.32/2.40	c bounds 2026 >= 728 @ 1.7905
2.32/2.40	c bounds 2026 >= 729 @ 1.79189
2.32/2.40	c bounds 2026 >= 730 @ 1.79328
2.32/2.40	c bounds 2026 >= 731 @ 1.79373
2.32/2.40	c bounds 2026 >= 732 @ 1.79512
2.32/2.41	c bounds 2026 >= 733 @ 1.7966
2.32/2.41	c bounds 2026 >= 734 @ 1.79801
2.32/2.41	c bounds 2026 >= 735 @ 1.7994
2.32/2.41	c bounds 2026 >= 736 @ 1.80079
2.32/2.41	c bounds 2026 >= 737 @ 1.80221
2.32/2.41	c bounds 2026 >= 738 @ 1.80363
2.32/2.41	c bounds 2026 >= 739 @ 1.80504
2.32/2.42	c bounds 2026 >= 740 @ 1.80549
2.32/2.42	c bounds 2026 >= 741 @ 1.80688
2.32/2.42	c bounds 2026 >= 742 @ 1.80828
2.32/2.42	c bounds 2026 >= 743 @ 1.80967
2.32/2.42	c bounds 2026 >= 744 @ 1.81107
2.32/2.42	c bounds 2026 >= 745 @ 1.81248
2.32/2.42	c bounds 2026 >= 746 @ 1.81388
2.32/2.43	c bounds 2026 >= 747 @ 1.81529
2.32/2.43	c bounds 2026 >= 748 @ 1.81669
2.32/2.43	c bounds 2026 >= 749 @ 1.81808
2.32/2.43	c bounds 2026 >= 750 @ 1.81948
2.32/2.43	c bounds 2026 >= 751 @ 1.8199
2.32/2.43	c bounds 2026 >= 752 @ 1.82127
2.32/2.43	c bounds 2026 >= 753 @ 1.82268
2.32/2.44	c bounds 2026 >= 754 @ 1.82408
2.32/2.44	c bounds 2026 >= 755 @ 1.82546
2.32/2.44	c bounds 2026 >= 756 @ 1.82686
2.32/2.44	c bounds 2026 >= 757 @ 1.82825
2.32/2.44	c bounds 2026 >= 758 @ 1.82966
2.32/2.44	c bounds 2026 >= 759 @ 1.83106
2.32/2.44	c bounds 2026 >= 760 @ 1.83244
2.32/2.45	c bounds 2026 >= 761 @ 1.83392
2.32/2.45	c bounds 2026 >= 762 @ 1.83532
2.32/2.45	c bounds 2026 >= 763 @ 1.83672
2.32/2.45	c bounds 2026 >= 764 @ 1.83813
2.32/2.45	c bounds 2026 >= 765 @ 1.83857
2.32/2.45	c bounds 2026 >= 766 @ 1.83994
2.32/2.45	c bounds 2026 >= 767 @ 1.84015
2.32/2.46	c bounds 2026 >= 768 @ 1.8408
2.32/2.46	c bounds 2026 >= 769 @ 1.84226
2.32/2.46	c bounds 2026 >= 770 @ 1.84365
2.32/2.46	c bounds 2026 >= 771 @ 1.84504
2.32/2.46	c bounds 2026 >= 772 @ 1.84644
2.32/2.46	c bounds 2026 >= 773 @ 1.8482
2.32/2.46	c bounds 2026 >= 774 @ 1.84957
2.32/2.47	c bounds 2026 >= 775 @ 1.85095
2.32/2.47	c bounds 2026 >= 776 @ 1.85137
2.32/2.47	c bounds 2026 >= 777 @ 1.85274
2.32/2.47	c bounds 2026 >= 778 @ 1.8541
2.32/2.47	c bounds 2026 >= 779 @ 1.85548
2.32/2.47	c bounds 2026 >= 780 @ 1.85685
2.32/2.47	c bounds 2026 >= 781 @ 1.85823
2.32/2.48	c bounds 2026 >= 782 @ 1.85959
2.32/2.48	c bounds 2026 >= 783 @ 1.86098
2.32/2.48	c bounds 2026 >= 784 @ 1.86235
2.32/2.48	c bounds 2026 >= 785 @ 1.86373
2.32/2.48	c bounds 2026 >= 786 @ 1.86518
2.32/2.48	c bounds 2026 >= 787 @ 1.86656
2.32/2.48	c bounds 2026 >= 788 @ 1.86793
2.32/2.49	c bounds 2026 >= 789 @ 1.86931
2.32/2.49	c bounds 2026 >= 790 @ 1.87069
2.32/2.49	c bounds 2026 >= 791 @ 1.87214
2.32/2.49	c bounds 2026 >= 792 @ 1.87352
2.32/2.49	c bounds 2026 >= 793 @ 1.87491
2.32/2.49	c bounds 2026 >= 794 @ 1.8763
2.32/2.49	c bounds 2026 >= 795 @ 1.87774
2.32/2.50	c bounds 2026 >= 796 @ 1.87911
2.42/2.50	c bounds 2026 >= 797 @ 1.88048
2.42/2.50	c bounds 2026 >= 798 @ 1.88185
2.42/2.50	c bounds 2026 >= 799 @ 1.88233
2.42/2.50	c bounds 2026 >= 800 @ 1.88368
2.42/2.50	c bounds 2026 >= 801 @ 1.88503
2.42/2.50	c bounds 2026 >= 802 @ 1.8864
2.42/2.50	c bounds 2026 >= 803 @ 1.88777
2.42/2.51	c bounds 2026 >= 804 @ 1.88844
2.42/2.51	c bounds 2026 >= 805 @ 1.88983
2.42/2.51	c bounds 2026 >= 806 @ 1.89024
2.42/2.51	c bounds 2026 >= 807 @ 1.89158
2.42/2.51	c bounds 2026 >= 808 @ 1.89293
2.42/2.51	c bounds 2026 >= 809 @ 1.89431
2.42/2.51	c bounds 2026 >= 810 @ 1.89568
2.42/2.52	c bounds 2026 >= 811 @ 1.89705
2.42/2.52	c bounds 2026 >= 812 @ 1.89841
2.42/2.52	c bounds 2026 >= 813 @ 1.89978
2.42/2.52	c bounds 2026 >= 814 @ 1.90018
2.42/2.52	c bounds 2026 >= 815 @ 1.90154
2.42/2.52	c bounds 2026 >= 816 @ 1.90296
2.42/2.52	c bounds 2026 >= 817 @ 1.90439
2.42/2.53	c bounds 2026 >= 818 @ 1.90594
2.42/2.53	c bounds 2026 >= 819 @ 1.90667
2.42/2.53	c bounds 2026 >= 820 @ 1.90722
2.42/2.53	c bounds 2026 >= 821 @ 1.90857
2.42/2.53	c bounds 2026 >= 822 @ 1.90992
2.42/2.53	c bounds 2026 >= 823 @ 1.91128
2.42/2.53	c bounds 2026 >= 824 @ 1.91262
2.42/2.54	c bounds 2026 >= 825 @ 1.91406
2.42/2.54	c bounds 2026 >= 826 @ 1.91543
2.42/2.54	c bounds 2026 >= 827 @ 1.9158
2.42/2.54	c bounds 2026 >= 828 @ 1.91723
2.42/2.54	c bounds 2026 >= 829 @ 1.91867
2.42/2.54	c bounds 2026 >= 830 @ 1.91915
2.42/2.54	c bounds 2026 >= 831 @ 1.92055
2.42/2.55	c bounds 2026 >= 832 @ 1.92188
2.42/2.55	c bounds 2026 >= 833 @ 1.92327
2.42/2.55	c bounds 2026 >= 834 @ 1.92464
2.42/2.55	c bounds 2026 >= 835 @ 1.92601
2.42/2.55	c bounds 2026 >= 836 @ 1.9274
2.42/2.55	c bounds 2026 >= 837 @ 1.92876
2.42/2.55	c bounds 2026 >= 838 @ 1.93012
2.42/2.56	c bounds 2026 >= 839 @ 1.93148
2.42/2.56	c bounds 2026 >= 840 @ 1.93185
2.42/2.56	c bounds 2026 >= 841 @ 1.93322
2.42/2.56	c bounds 2026 >= 842 @ 1.93458
2.42/2.56	c bounds 2026 >= 843 @ 1.93594
2.42/2.56	c bounds 2026 >= 844 @ 1.9373
2.42/2.56	c bounds 2026 >= 845 @ 1.93865
2.42/2.57	c bounds 2026 >= 846 @ 1.93906
2.42/2.57	c bounds 2026 >= 847 @ 1.9404
2.42/2.57	c bounds 2026 >= 848 @ 1.94173
2.42/2.57	c bounds 2026 >= 849 @ 1.94312
2.42/2.57	c bounds 2026 >= 850 @ 1.94447
2.42/2.57	c bounds 2026 >= 851 @ 1.94589
2.42/2.57	c bounds 2026 >= 852 @ 1.94731
2.42/2.58	c bounds 2026 >= 853 @ 1.94816
2.42/2.58	c bounds 2026 >= 854 @ 1.9495
2.42/2.58	c bounds 2026 >= 855 @ 1.95084
2.42/2.58	c bounds 2026 >= 856 @ 1.95225
2.42/2.58	c bounds 2026 >= 857 @ 1.95367
2.42/2.58	c bounds 2026 >= 858 @ 1.95502
2.42/2.58	c bounds 2026 >= 859 @ 1.95637
2.42/2.58	c bounds 2026 >= 860 @ 1.95772
2.42/2.59	c bounds 2026 >= 861 @ 1.95907
2.42/2.59	c bounds 2026 >= 862 @ 1.96042
2.42/2.59	c bounds 2026 >= 863 @ 1.96176
2.42/2.59	c bounds 2026 >= 864 @ 1.9631
2.42/2.59	c bounds 2026 >= 865 @ 1.96446
2.42/2.59	c bounds 2026 >= 866 @ 1.96581
2.42/2.59	c bounds 2026 >= 867 @ 1.96718
2.51/2.60	c bounds 2026 >= 868 @ 1.96853
2.51/2.60	c bounds 2026 >= 869 @ 1.96986
2.51/2.60	c bounds 2026 >= 870 @ 1.97121
2.51/2.60	c bounds 2026 >= 871 @ 1.97255
2.51/2.60	c bounds 2026 >= 872 @ 1.9729
2.51/2.60	c bounds 2026 >= 873 @ 1.97425
2.51/2.60	c bounds 2026 >= 874 @ 1.97566
2.51/2.61	c bounds 2026 >= 875 @ 1.97701
2.51/2.61	c bounds 2026 >= 876 @ 1.97834
2.51/2.61	c bounds 2026 >= 877 @ 1.97969
2.51/2.61	c bounds 2026 >= 878 @ 1.98104
2.51/2.61	c bounds 2026 >= 879 @ 1.98239
2.51/2.61	c bounds 2026 >= 880 @ 1.98375
2.51/2.61	c bounds 2026 >= 881 @ 1.9851
2.51/2.63	c bounds 2025 >= 881 @ 1.996
2.51/2.63	c bounds 2025 >= 882 @ 1.99744
2.51/2.63	c bounds 2025 >= 883 @ 1.99885
2.51/2.63	c bounds 2025 >= 884 @ 2.00027
2.51/2.63	c bounds 2025 >= 885 @ 2.00161
2.51/2.63	c bounds 2025 >= 886 @ 2.00295
2.51/2.63	c bounds 2025 >= 887 @ 2.00429
2.51/2.64	c bounds 2025 >= 888 @ 2.00563
2.51/2.64	c bounds 2025 >= 889 @ 2.00698
2.51/2.64	c bounds 2025 >= 890 @ 2.00831
2.51/2.64	c bounds 2025 >= 891 @ 2.00966
2.51/2.64	c bounds 2025 >= 892 @ 2.011
2.51/2.64	c bounds 2025 >= 893 @ 2.01233
2.51/2.64	c bounds 2025 >= 894 @ 2.01366
2.51/2.65	c bounds 2025 >= 895 @ 2.01499
2.51/2.65	c bounds 2025 >= 896 @ 2.01631
2.51/2.65	c bounds 2025 >= 897 @ 2.01766
2.51/2.65	c bounds 2025 >= 898 @ 2.01901
2.51/2.65	c bounds 2025 >= 899 @ 2.02035
2.51/2.65	c bounds 2025 >= 900 @ 2.02175
2.51/2.65	c bounds 2025 >= 901 @ 2.02308
2.51/2.65	c bounds 2025 >= 902 @ 2.02441
2.51/2.66	c bounds 2025 >= 903 @ 2.02475
2.51/2.66	c bounds 2025 >= 904 @ 2.02608
2.51/2.66	c bounds 2025 >= 905 @ 2.02742
2.51/2.66	c bounds 2025 >= 906 @ 2.0278
2.51/2.66	c bounds 2025 >= 907 @ 2.02912
2.51/2.66	c bounds 2025 >= 908 @ 2.03042
2.51/2.66	c bounds 2025 >= 909 @ 2.03079
2.51/2.67	c bounds 2025 >= 910 @ 2.0321
2.51/2.67	c bounds 2025 >= 911 @ 2.03347
2.51/2.67	c bounds 2025 >= 912 @ 2.03481
2.51/2.67	c bounds 2025 >= 913 @ 2.03615
2.51/2.67	c bounds 2025 >= 914 @ 2.03754
2.51/2.67	c bounds 2025 >= 915 @ 2.03894
2.51/2.67	c bounds 2025 >= 916 @ 2.04027
2.51/2.68	c bounds 2025 >= 917 @ 2.0416
2.51/2.68	c bounds 2025 >= 918 @ 2.04293
2.51/2.68	c bounds 2025 >= 919 @ 2.04426
2.51/2.68	c bounds 2025 >= 920 @ 2.04618
2.51/2.68	c bounds 2025 >= 921 @ 2.04752
2.51/2.68	c bounds 2025 >= 922 @ 2.04886
2.51/2.68	c bounds 2025 >= 923 @ 2.05019
2.51/2.68	c bounds 2025 >= 924 @ 2.05151
2.51/2.69	c bounds 2025 >= 925 @ 2.05283
2.51/2.69	c bounds 2025 >= 926 @ 2.05415
2.51/2.69	c bounds 2025 >= 927 @ 2.05546
2.51/2.69	c bounds 2025 >= 928 @ 2.05678
2.51/2.69	c bounds 2025 >= 929 @ 2.05817
2.51/2.69	c bounds 2025 >= 930 @ 2.05899
2.51/2.69	c bounds 2025 >= 931 @ 2.06036
2.62/2.70	c bounds 2025 >= 932 @ 2.06072
2.62/2.70	c bounds 2025 >= 933 @ 2.06208
2.62/2.70	c bounds 2025 >= 934 @ 2.06239
2.62/2.70	c bounds 2025 >= 935 @ 2.06375
2.62/2.70	c bounds 2025 >= 936 @ 2.06513
2.62/2.70	c bounds 2025 >= 937 @ 2.06645
2.62/2.70	c bounds 2025 >= 938 @ 2.06778
2.62/2.71	c bounds 2025 >= 939 @ 2.0691
2.62/2.71	c bounds 2025 >= 940 @ 2.07047
2.62/2.71	c bounds 2025 >= 941 @ 2.07179
2.62/2.71	c bounds 2025 >= 942 @ 2.07312
2.62/2.71	c bounds 2025 >= 943 @ 2.07445
2.62/2.71	c bounds 2025 >= 944 @ 2.07575
2.62/2.71	c bounds 2025 >= 945 @ 2.07709
2.62/2.71	c bounds 2025 >= 946 @ 2.07844
2.62/2.72	c bounds 2025 >= 947 @ 2.07977
2.62/2.72	c bounds 2025 >= 948 @ 2.08107
2.62/2.72	c bounds 2025 >= 949 @ 2.08239
2.62/2.72	c bounds 2025 >= 950 @ 2.08379
2.62/2.72	c bounds 2025 >= 951 @ 2.08511
2.62/2.72	c bounds 2025 >= 952 @ 2.08641
2.62/2.72	c bounds 2025 >= 953 @ 2.08772
2.62/2.73	c bounds 2025 >= 954 @ 2.0891
2.62/2.73	c bounds 2025 >= 955 @ 2.09047
2.62/2.73	c bounds 2025 >= 956 @ 2.09179
2.62/2.73	c bounds 2025 >= 957 @ 2.09317
2.62/2.73	c bounds 2025 >= 958 @ 2.09355
2.62/2.73	c bounds 2025 >= 959 @ 2.09486
2.62/2.73	c bounds 2025 >= 960 @ 2.09617
2.62/2.74	c bounds 2025 >= 961 @ 2.09655
2.62/2.74	c bounds 2025 >= 962 @ 2.09785
2.62/2.74	c bounds 2025 >= 963 @ 2.09914
2.62/2.74	c bounds 2025 >= 964 @ 2.10043
2.62/2.74	c bounds 2025 >= 965 @ 2.10173
2.62/2.74	c bounds 2025 >= 966 @ 2.10305
2.62/2.74	c bounds 2025 >= 967 @ 2.10436
2.62/2.74	c bounds 2025 >= 968 @ 2.10567
2.62/2.75	c bounds 2025 >= 969 @ 2.10698
2.62/2.75	c bounds 2025 >= 970 @ 2.1083
2.62/2.75	c bounds 2025 >= 971 @ 2.10962
2.62/2.75	c bounds 2025 >= 972 @ 2.11093
2.62/2.75	c bounds 2025 >= 973 @ 2.11223
2.62/2.75	c bounds 2025 >= 974 @ 2.11258
2.62/2.75	c bounds 2025 >= 975 @ 2.11388
2.62/2.75	c bounds 2025 >= 976 @ 2.11516
2.62/2.76	c bounds 2025 >= 977 @ 2.11549
2.62/2.76	c bounds 2025 >= 978 @ 2.11685
2.62/2.76	c bounds 2025 >= 979 @ 2.11816
2.62/2.76	c bounds 2025 >= 980 @ 2.11848
2.62/2.76	c bounds 2025 >= 981 @ 2.11977
2.62/2.76	c bounds 2025 >= 982 @ 2.12107
2.62/2.76	c bounds 2025 >= 983 @ 2.12235
2.62/2.77	c bounds 2025 >= 984 @ 2.12365
2.62/2.77	c bounds 2025 >= 985 @ 2.12497
2.62/2.77	c bounds 2025 >= 986 @ 2.12628
2.62/2.77	c bounds 2025 >= 987 @ 2.12758
2.62/2.77	c bounds 2025 >= 988 @ 2.12898
2.62/2.77	c bounds 2025 >= 989 @ 2.13029
2.62/2.77	c bounds 2025 >= 990 @ 2.13159
2.62/2.77	c bounds 2025 >= 991 @ 2.13289
2.62/2.78	c bounds 2025 >= 992 @ 2.1332
2.62/2.78	c bounds 2025 >= 993 @ 2.13458
2.62/2.78	c bounds 2025 >= 994 @ 2.13589
2.62/2.78	c bounds 2025 >= 995 @ 2.13721
2.62/2.78	c bounds 2025 >= 996 @ 2.13853
2.62/2.78	c bounds 2025 >= 997 @ 2.13983
2.62/2.78	c bounds 2025 >= 998 @ 2.14113
2.62/2.79	c bounds 2025 >= 999 @ 2.14155
2.62/2.79	c bounds 2025 >= 1000 @ 2.14284
2.62/2.79	c bounds 2025 >= 1001 @ 2.14413
2.62/2.79	c bounds 2025 >= 1002 @ 2.14551
2.62/2.79	c bounds 2025 >= 1003 @ 2.14681
2.62/2.79	c bounds 2025 >= 1004 @ 2.1481
2.62/2.79	c bounds 2025 >= 1005 @ 2.14846
2.62/2.79	c bounds 2025 >= 1006 @ 2.14975
2.72/2.80	c bounds 2025 >= 1007 @ 2.1511
2.72/2.80	c bounds 2025 >= 1008 @ 2.15241
2.72/2.80	c bounds 2025 >= 1009 @ 2.15378
2.72/2.80	c bounds 2025 >= 1010 @ 2.15456
2.72/2.80	c bounds 2025 >= 1011 @ 2.15584
2.72/2.80	c bounds 2025 >= 1012 @ 2.15711
2.72/2.80	c bounds 2025 >= 1013 @ 2.15746
2.72/2.81	c bounds 2025 >= 1014 @ 2.15874
2.72/2.81	c bounds 2025 >= 1015 @ 2.16002
2.72/2.81	c bounds 2025 >= 1016 @ 2.16035
2.72/2.81	c bounds 2025 >= 1017 @ 2.16166
2.72/2.81	c bounds 2025 >= 1018 @ 2.16294
2.72/2.81	c bounds 2025 >= 1019 @ 2.16422
2.72/2.81	c bounds 2025 >= 1020 @ 2.16553
2.72/2.81	c bounds 2025 >= 1021 @ 2.16683
2.72/2.82	c bounds 2025 >= 1022 @ 2.16813
2.72/2.82	c bounds 2025 >= 1023 @ 2.16942
2.72/2.82	c bounds 2025 >= 1024 @ 2.17072
2.72/2.82	c bounds 2025 >= 1025 @ 2.17208
2.72/2.82	c bounds 2025 >= 1026 @ 2.17338
2.72/2.82	c bounds 2025 >= 1027 @ 2.17468
2.72/2.82	c bounds 2025 >= 1028 @ 2.17596
2.72/2.83	c bounds 2025 >= 1029 @ 2.17632
2.72/2.83	c bounds 2025 >= 1030 @ 2.17764
2.72/2.83	c bounds 2025 >= 1031 @ 2.17897
2.72/2.83	c bounds 2025 >= 1032 @ 2.1793
2.72/2.83	c bounds 2025 >= 1033 @ 2.18066
2.72/2.83	c bounds 2025 >= 1034 @ 2.18194
2.72/2.83	c bounds 2025 >= 1035 @ 2.1823
2.72/2.83	c bounds 2025 >= 1036 @ 2.18363
2.72/2.84	c bounds 2025 >= 1037 @ 2.18491
2.72/2.84	c bounds 2025 >= 1038 @ 2.18625
2.72/2.84	c bounds 2025 >= 1039 @ 2.18753
2.72/2.84	c bounds 2025 >= 1040 @ 2.18882
2.72/2.84	c bounds 2025 >= 1041 @ 2.19015
2.72/2.84	c bounds 2025 >= 1042 @ 2.19146
2.72/2.84	c bounds 2025 >= 1043 @ 2.19178
2.72/2.84	c bounds 2025 >= 1044 @ 2.19304
2.72/2.85	c bounds 2025 >= 1045 @ 2.19433
2.72/2.85	c bounds 2025 >= 1046 @ 2.19562
2.72/2.85	c bounds 2025 >= 1047 @ 2.19689
2.72/2.85	c bounds 2025 >= 1048 @ 2.19804
2.72/2.85	c bounds 2025 >= 1049 @ 2.19854
2.72/2.85	c bounds 2025 >= 1050 @ 2.19982
2.72/2.85	c bounds 2025 >= 1051 @ 2.2011
2.72/2.86	c bounds 2025 >= 1052 @ 2.20242
2.72/2.86	c bounds 2025 >= 1053 @ 2.20371
2.72/2.86	c bounds 2025 >= 1054 @ 2.20499
2.72/2.86	c bounds 2025 >= 1055 @ 2.20627
2.72/2.86	c bounds 2025 >= 1056 @ 2.20755
2.72/2.86	c bounds 2025 >= 1057 @ 2.20892
2.72/2.86	c bounds 2025 >= 1058 @ 2.20922
2.72/2.86	c bounds 2025 >= 1059 @ 2.21052
2.72/2.87	c bounds 2025 >= 1060 @ 2.21179
2.72/2.87	c bounds 2025 >= 1061 @ 2.21313
2.72/2.87	c bounds 2025 >= 1062 @ 2.21441
2.72/2.87	c bounds 2025 >= 1063 @ 2.21568
2.72/2.87	c bounds 2025 >= 1064 @ 2.21703
2.72/2.87	c bounds 2025 >= 1065 @ 2.21834
2.72/2.87	c bounds 2025 >= 1066 @ 2.21964
2.72/2.87	c bounds 2025 >= 1067 @ 2.22093
2.72/2.88	c bounds 2025 >= 1068 @ 2.22127
2.72/2.88	c bounds 2025 >= 1069 @ 2.22254
2.72/2.88	c bounds 2025 >= 1070 @ 2.2238
2.72/2.88	c bounds 2025 >= 1071 @ 2.22505
2.72/2.88	c bounds 2025 >= 1072 @ 2.22633
2.72/2.88	c bounds 2025 >= 1073 @ 2.22763
2.72/2.88	c bounds 2025 >= 1074 @ 2.22892
2.72/2.89	c bounds 2025 >= 1075 @ 2.23021
2.72/2.89	c bounds 2025 >= 1076 @ 2.23148
2.72/2.89	c bounds 2025 >= 1077 @ 2.23277
2.72/2.89	c bounds 2025 >= 1078 @ 2.23404
2.72/2.89	c bounds 2025 >= 1079 @ 2.23532
2.72/2.89	c bounds 2025 >= 1080 @ 2.23662
2.72/2.89	c bounds 2025 >= 1081 @ 2.23792
2.72/2.89	c bounds 2025 >= 1082 @ 2.2392
2.82/2.90	c bounds 2025 >= 1083 @ 2.24047
2.82/2.90	c bounds 2025 >= 1084 @ 2.24174
2.82/2.90	c bounds 2025 >= 1085 @ 2.24301
2.82/2.90	c bounds 2025 >= 1086 @ 2.24429
2.82/2.90	c bounds 2025 >= 1087 @ 2.24561
2.82/2.90	c bounds 2025 >= 1088 @ 2.24688
2.82/2.90	c bounds 2025 >= 1089 @ 2.24818
2.82/2.90	c bounds 2025 >= 1090 @ 2.24948
2.82/2.91	c bounds 2025 >= 1091 @ 2.25077
2.82/2.91	c bounds 2025 >= 1092 @ 2.25111
2.82/2.91	c bounds 2025 >= 1093 @ 2.25238
2.82/2.91	c bounds 2025 >= 1094 @ 2.25365
2.82/2.92	c bounds 2024 >= 1094 @ 2.26192
2.82/2.92	c bounds 2024 >= 1095 @ 2.2633
2.82/2.92	c bounds 2024 >= 1096 @ 2.26458
2.82/2.93	c bounds 2024 >= 1097 @ 2.26587
2.82/2.93	c bounds 2024 >= 1098 @ 2.26714
2.82/2.93	c bounds 2024 >= 1099 @ 2.26847
2.82/2.93	c bounds 2024 >= 1100 @ 2.26876
2.82/2.93	c bounds 2024 >= 1101 @ 2.27001
2.82/2.93	c bounds 2024 >= 1102 @ 2.27135
2.82/2.93	c bounds 2024 >= 1103 @ 2.27262
2.82/2.94	c bounds 2024 >= 1104 @ 2.27389
2.82/2.94	c bounds 2024 >= 1105 @ 2.27518
2.82/2.94	c bounds 2024 >= 1106 @ 2.27647
2.82/2.94	c bounds 2024 >= 1107 @ 2.27775
2.82/2.94	c bounds 2024 >= 1108 @ 2.27808
2.82/2.94	c bounds 2024 >= 1109 @ 2.27933
2.82/2.94	c bounds 2024 >= 1110 @ 2.28058
2.82/2.94	c bounds 2024 >= 1111 @ 2.28184
2.82/2.95	c bounds 2024 >= 1112 @ 2.2831
2.82/2.95	c bounds 2024 >= 1113 @ 2.28438
2.82/2.95	c bounds 2024 >= 1114 @ 2.28566
2.82/2.95	c bounds 2024 >= 1115 @ 2.28692
2.82/2.95	c bounds 2024 >= 1116 @ 2.28819
2.82/2.95	c bounds 2024 >= 1117 @ 2.28946
2.82/2.95	c bounds 2024 >= 1118 @ 2.29073
2.82/2.95	c bounds 2024 >= 1119 @ 2.29104
2.82/2.96	c bounds 2024 >= 1120 @ 2.29229
2.82/2.96	c bounds 2024 >= 1121 @ 2.29356
2.82/2.96	c bounds 2024 >= 1122 @ 2.29482
2.82/2.96	c bounds 2024 >= 1123 @ 2.29609
2.82/2.96	c bounds 2024 >= 1124 @ 2.29734
2.82/2.96	c bounds 2024 >= 1125 @ 2.29862
2.82/2.96	c bounds 2024 >= 1126 @ 2.29892
2.82/2.96	c bounds 2024 >= 1127 @ 2.30019
2.82/2.97	c bounds 2024 >= 1128 @ 2.30052
2.82/2.97	c bounds 2024 >= 1129 @ 2.30183
2.82/2.97	c bounds 2024 >= 1130 @ 2.30316
2.82/2.97	c bounds 2024 >= 1131 @ 2.30442
2.82/2.97	c bounds 2024 >= 1132 @ 2.30568
2.82/2.97	c bounds 2024 >= 1133 @ 2.30694
2.82/2.97	c bounds 2024 >= 1134 @ 2.30819
2.82/2.97	c bounds 2024 >= 1135 @ 2.30945
2.82/2.98	c bounds 2024 >= 1136 @ 2.3107
2.82/2.98	c bounds 2024 >= 1137 @ 2.31198
2.82/2.98	c bounds 2024 >= 1138 @ 2.31325
2.82/2.98	c bounds 2024 >= 1139 @ 2.31456
2.82/2.98	c bounds 2024 >= 1140 @ 2.31489
2.82/2.98	c bounds 2024 >= 1141 @ 2.31614
2.82/2.98	c bounds 2024 >= 1142 @ 2.31737
2.82/2.98	c bounds 2024 >= 1143 @ 2.31867
2.82/2.99	c bounds 2024 >= 1144 @ 2.31993
2.82/2.99	c bounds 2024 >= 1145 @ 2.3212
2.82/2.99	c bounds 2024 >= 1146 @ 2.32248
2.82/2.99	c bounds 2024 >= 1147 @ 2.32374
2.82/2.99	c bounds 2024 >= 1148 @ 2.32499
2.82/2.99	c bounds 2024 >= 1149 @ 2.32625
2.82/2.99	c bounds 2024 >= 1150 @ 2.3275
2.82/3.00	c bounds 2024 >= 1151 @ 2.32782
2.82/3.00	c bounds 2024 >= 1152 @ 2.32906
2.82/3.00	c bounds 2024 >= 1153 @ 2.33033
2.82/3.00	c bounds 2024 >= 1154 @ 2.33164
2.82/3.00	c bounds 2024 >= 1155 @ 2.33197
2.92/3.00	c bounds 2024 >= 1156 @ 2.33321
2.92/3.00	c bounds 2024 >= 1157 @ 2.33446
2.92/3.00	c bounds 2024 >= 1158 @ 2.33462
2.92/3.01	c bounds 2024 >= 1159 @ 2.33504
2.92/3.01	c bounds 2024 >= 1160 @ 2.33627
2.92/3.01	c bounds 2024 >= 1161 @ 2.33753
2.92/3.01	c bounds 2024 >= 1162 @ 2.33804
2.92/3.01	c bounds 2024 >= 1163 @ 2.33928
2.92/3.01	c bounds 2024 >= 1164 @ 2.34052
2.92/3.01	c bounds 2024 >= 1165 @ 2.34177
2.92/3.01	c bounds 2024 >= 1166 @ 2.34302
2.92/3.02	c bounds 2024 >= 1167 @ 2.34427
2.92/3.02	c bounds 2024 >= 1168 @ 2.34552
2.92/3.02	c bounds 2024 >= 1169 @ 2.34679
2.92/3.02	c bounds 2024 >= 1170 @ 2.34805
2.92/3.02	c bounds 2024 >= 1171 @ 2.3493
2.92/3.02	c bounds 2024 >= 1172 @ 2.35055
2.92/3.02	c bounds 2024 >= 1173 @ 2.35179
2.92/3.02	c bounds 2024 >= 1174 @ 2.35308
2.92/3.03	c bounds 2024 >= 1175 @ 2.35471
2.92/3.03	c bounds 2024 >= 1176 @ 2.356
2.92/3.03	c bounds 2024 >= 1177 @ 2.35726
2.92/3.03	c bounds 2024 >= 1178 @ 2.3587
2.92/3.03	c bounds 2024 >= 1179 @ 2.35994
2.92/3.03	c bounds 2024 >= 1180 @ 2.36117
2.92/3.03	c bounds 2024 >= 1181 @ 2.3624
2.92/3.04	c bounds 2024 >= 1182 @ 2.36363
2.92/3.04	c bounds 2024 >= 1183 @ 2.36486
2.92/3.04	c bounds 2024 >= 1184 @ 2.3661
2.92/3.04	c bounds 2024 >= 1185 @ 2.36638
2.92/3.04	c bounds 2024 >= 1186 @ 2.36666
2.92/3.04	c bounds 2024 >= 1187 @ 2.36788
2.92/3.04	c bounds 2024 >= 1188 @ 2.36909
2.92/3.04	c bounds 2024 >= 1189 @ 2.37031
2.92/3.05	c bounds 2024 >= 1190 @ 2.3706
2.92/3.05	c bounds 2024 >= 1191 @ 2.3718
2.92/3.05	c bounds 2024 >= 1192 @ 2.373
2.92/3.05	c bounds 2024 >= 1193 @ 2.37423
2.92/3.05	c bounds 2024 >= 1194 @ 2.37546
2.92/3.05	c bounds 2024 >= 1195 @ 2.37669
2.92/3.05	c bounds 2024 >= 1196 @ 2.37791
2.92/3.05	c bounds 2024 >= 1197 @ 2.37919
2.92/3.05	c bounds 2024 >= 1198 @ 2.38042
2.92/3.06	c bounds 2024 >= 1199 @ 2.38165
2.92/3.06	c bounds 2024 >= 1200 @ 2.38288
2.92/3.06	c bounds 2024 >= 1201 @ 2.38412
2.92/3.06	c bounds 2024 >= 1202 @ 2.38534
2.92/3.06	c bounds 2024 >= 1203 @ 2.38561
2.92/3.06	c bounds 2024 >= 1204 @ 2.38683
2.92/3.06	c bounds 2024 >= 1205 @ 2.38805
2.92/3.06	c bounds 2024 >= 1206 @ 2.38925
2.92/3.07	c bounds 2024 >= 1207 @ 2.38953
2.92/3.07	c bounds 2024 >= 1208 @ 2.39073
2.92/3.07	c bounds 2024 >= 1209 @ 2.39195
2.92/3.07	c bounds 2024 >= 1210 @ 2.39316
2.92/3.07	c bounds 2024 >= 1211 @ 2.39436
2.92/3.07	c bounds 2024 >= 1212 @ 2.39558
2.92/3.07	c bounds 2024 >= 1213 @ 2.39681
2.92/3.07	c bounds 2024 >= 1214 @ 2.39803
2.92/3.08	c bounds 2024 >= 1215 @ 2.39925
2.92/3.08	c bounds 2024 >= 1216 @ 2.39954
2.92/3.08	c bounds 2024 >= 1217 @ 2.40075
2.92/3.08	c bounds 2024 >= 1218 @ 2.40196
2.92/3.08	c bounds 2024 >= 1219 @ 2.4032
2.92/3.08	c bounds 2024 >= 1220 @ 2.40443
2.92/3.08	c bounds 2024 >= 1221 @ 2.4057
2.92/3.08	c bounds 2024 >= 1222 @ 2.40697
2.92/3.09	c bounds 2024 >= 1223 @ 2.40822
2.92/3.09	c bounds 2024 >= 1224 @ 2.40944
2.92/3.09	c bounds 2024 >= 1225 @ 2.41068
2.92/3.09	c bounds 2024 >= 1226 @ 2.41189
2.92/3.09	c bounds 2024 >= 1227 @ 2.4131
2.92/3.09	c bounds 2024 >= 1228 @ 2.41431
2.92/3.09	c bounds 2024 >= 1229 @ 2.41552
2.92/3.09	c bounds 2024 >= 1230 @ 2.41674
2.92/3.10	c bounds 2024 >= 1231 @ 2.41701
3.03/3.11	c bounds 2023 >= 1231 @ 2.42779
3.03/3.11	c bounds 2023 >= 1232 @ 2.42912
3.03/3.11	c bounds 2023 >= 1233 @ 2.43033
3.03/3.11	c bounds 2023 >= 1234 @ 2.43155
3.03/3.11	c bounds 2023 >= 1235 @ 2.43276
3.03/3.12	c bounds 2023 >= 1236 @ 2.43396
3.03/3.12	c bounds 2023 >= 1237 @ 2.43519
3.03/3.12	c bounds 2023 >= 1238 @ 2.43546
3.03/3.12	c bounds 2023 >= 1239 @ 2.43666
3.03/3.12	c bounds 2023 >= 1240 @ 2.43785
3.03/3.12	c bounds 2023 >= 1241 @ 2.43908
3.03/3.12	c bounds 2023 >= 1242 @ 2.44028
3.03/3.12	c bounds 2023 >= 1243 @ 2.4415
3.03/3.13	c bounds 2023 >= 1244 @ 2.44271
3.03/3.13	c bounds 2023 >= 1245 @ 2.44391
3.03/3.13	c bounds 2023 >= 1246 @ 2.44511
3.03/3.13	c bounds 2023 >= 1247 @ 2.44538
3.03/3.13	c bounds 2023 >= 1248 @ 2.44657
3.03/3.13	c bounds 2023 >= 1249 @ 2.44779
3.03/3.13	c bounds 2023 >= 1250 @ 2.44937
3.03/3.13	c bounds 2023 >= 1251 @ 2.45058
3.03/3.14	c bounds 2023 >= 1252 @ 2.45178
3.03/3.14	c bounds 2023 >= 1253 @ 2.45299
3.03/3.14	c bounds 2023 >= 1254 @ 2.45419
3.03/3.14	c bounds 2023 >= 1255 @ 2.45539
3.03/3.14	c bounds 2023 >= 1256 @ 2.4566
3.03/3.14	c bounds 2023 >= 1257 @ 2.45781
3.03/3.14	c bounds 2023 >= 1258 @ 2.45903
3.03/3.14	c bounds 2023 >= 1259 @ 2.45935
3.03/3.15	c bounds 2023 >= 1260 @ 2.46058
3.03/3.15	c bounds 2023 >= 1261 @ 2.46177
3.03/3.15	c bounds 2023 >= 1262 @ 2.46297
3.03/3.15	c bounds 2023 >= 1263 @ 2.46416
3.03/3.15	c bounds 2023 >= 1264 @ 2.46539
3.03/3.15	c bounds 2023 >= 1265 @ 2.46661
3.03/3.15	c bounds 2023 >= 1266 @ 2.46782
3.03/3.15	c bounds 2023 >= 1267 @ 2.46902
3.03/3.16	c bounds 2023 >= 1268 @ 2.46923
3.03/3.16	c bounds 2023 >= 1269 @ 2.47044
3.03/3.16	c bounds 2023 >= 1270 @ 2.4717
3.03/3.16	c bounds 2023 >= 1271 @ 2.4729
3.03/3.16	c bounds 2023 >= 1272 @ 2.47409
3.03/3.16	c bounds 2023 >= 1273 @ 2.4753
3.03/3.16	c bounds 2023 >= 1274 @ 2.47651
3.03/3.16	c bounds 2023 >= 1275 @ 2.47772
3.03/3.16	c bounds 2023 >= 1276 @ 2.47891
3.03/3.17	c bounds 2023 >= 1277 @ 2.48011
3.03/3.17	c bounds 2023 >= 1278 @ 2.48131
3.03/3.17	c bounds 2023 >= 1279 @ 2.48252
3.03/3.17	c bounds 2023 >= 1280 @ 2.48372
3.03/3.17	c bounds 2023 >= 1281 @ 2.48493
3.03/3.17	c bounds 2023 >= 1282 @ 2.48615
3.03/3.17	c bounds 2023 >= 1283 @ 2.48737
3.03/3.17	c bounds 2023 >= 1284 @ 2.48856
3.03/3.18	c bounds 2023 >= 1285 @ 2.48976
3.03/3.18	c bounds 2023 >= 1286 @ 2.491
3.03/3.18	c bounds 2023 >= 1287 @ 2.49225
3.03/3.18	c bounds 2023 >= 1288 @ 2.4935
3.03/3.18	c bounds 2023 >= 1289 @ 2.49476
3.03/3.18	c bounds 2023 >= 1290 @ 2.49597
3.03/3.18	c bounds 2023 >= 1291 @ 2.49624
3.03/3.18	c bounds 2023 >= 1292 @ 2.49742
3.03/3.19	c bounds 2023 >= 1293 @ 2.4986
3.03/3.19	c bounds 2023 >= 1294 @ 2.49978
3.03/3.19	c bounds 2023 >= 1295 @ 2.50096
3.03/3.19	c bounds 2023 >= 1296 @ 2.50122
3.03/3.19	c bounds 2023 >= 1297 @ 2.50241
3.03/3.19	c bounds 2023 >= 1298 @ 2.50361
3.03/3.19	c bounds 2023 >= 1299 @ 2.5048
3.03/3.19	c bounds 2023 >= 1300 @ 2.50603
3.03/3.20	c bounds 2023 >= 1301 @ 2.50722
3.11/3.20	c bounds 2023 >= 1302 @ 2.5084
3.11/3.20	c bounds 2023 >= 1303 @ 2.50959
3.11/3.20	c bounds 2023 >= 1304 @ 2.51079
3.11/3.20	c bounds 2023 >= 1305 @ 2.51199
3.11/3.20	c bounds 2023 >= 1306 @ 2.5132
3.11/3.20	c bounds 2023 >= 1307 @ 2.51438
3.11/3.20	c bounds 2023 >= 1308 @ 2.51557
3.11/3.20	c bounds 2023 >= 1309 @ 2.51677
3.11/3.21	c bounds 2023 >= 1310 @ 2.51796
3.11/3.21	c bounds 2023 >= 1311 @ 2.51914
3.11/3.21	c bounds 2023 >= 1312 @ 2.52033
3.11/3.21	c bounds 2023 >= 1313 @ 2.52152
3.11/3.21	c bounds 2023 >= 1314 @ 2.52274
3.11/3.21	c bounds 2023 >= 1315 @ 2.52393
3.11/3.21	c bounds 2023 >= 1316 @ 2.52516
3.11/3.21	c bounds 2023 >= 1317 @ 2.52639
3.11/3.22	c bounds 2023 >= 1318 @ 2.52758
3.11/3.22	c bounds 2023 >= 1319 @ 2.52877
3.11/3.22	c bounds 2023 >= 1320 @ 2.52995
3.11/3.22	c bounds 2023 >= 1321 @ 2.53116
3.11/3.22	c bounds 2023 >= 1322 @ 2.53236
3.11/3.22	c bounds 2023 >= 1323 @ 2.53355
3.11/3.22	c bounds 2023 >= 1324 @ 2.53473
3.11/3.22	c bounds 2023 >= 1325 @ 2.53592
3.11/3.23	c bounds 2023 >= 1326 @ 2.53618
3.11/3.23	c bounds 2023 >= 1327 @ 2.53734
3.11/3.23	c bounds 2023 >= 1328 @ 2.53852
3.11/3.23	c bounds 2023 >= 1329 @ 2.5397
3.11/3.23	c bounds 2023 >= 1330 @ 2.54087
3.11/3.23	c bounds 2023 >= 1331 @ 2.54101
3.11/3.23	c bounds 2023 >= 1332 @ 2.54101
3.11/3.23	c bounds 2023 >= 1333 @ 2.54101
3.11/3.23	c bounds 2023 >= 1334 @ 2.54101
3.11/3.24	c bounds 2023 >= 1335 @ 2.5422
3.11/3.24	c bounds 2023 >= 1336 @ 2.54338
3.11/3.24	c bounds 2023 >= 1337 @ 2.54456
3.11/3.24	c bounds 2023 >= 1338 @ 2.54573
3.11/3.24	c bounds 2023 >= 1339 @ 2.5469
3.11/3.24	c bounds 2023 >= 1340 @ 2.54713
3.11/3.24	c bounds 2023 >= 1341 @ 2.54834
3.11/3.24	c bounds 2023 >= 1342 @ 2.54951
3.11/3.25	c bounds 2023 >= 1343 @ 2.55067
3.11/3.25	c bounds 2023 >= 1344 @ 2.55184
3.11/3.25	c bounds 2023 >= 1345 @ 2.5521
3.11/3.25	c bounds 2023 >= 1346 @ 2.55326
3.11/3.25	c bounds 2023 >= 1347 @ 2.55446
3.11/3.25	c bounds 2023 >= 1348 @ 2.55561
3.11/3.25	c bounds 2023 >= 1349 @ 2.55678
3.11/3.25	c bounds 2023 >= 1350 @ 2.55795
3.11/3.26	c bounds 2023 >= 1351 @ 2.55912
3.11/3.26	c bounds 2023 >= 1352 @ 2.5603
3.11/3.26	c bounds 2023 >= 1353 @ 2.56148
3.11/3.26	c bounds 2023 >= 1354 @ 2.56264
3.11/3.26	c bounds 2023 >= 1355 @ 2.56383
3.11/3.26	c bounds 2023 >= 1356 @ 2.56487
3.11/3.26	c bounds 2023 >= 1357 @ 2.56525
3.11/3.26	c bounds 2023 >= 1358 @ 2.56644
3.11/3.26	c bounds 2023 >= 1359 @ 2.56763
3.11/3.27	c bounds 2023 >= 1360 @ 2.56881
3.11/3.27	c bounds 2023 >= 1361 @ 2.57
3.11/3.27	c bounds 2023 >= 1362 @ 2.57118
3.11/3.27	c bounds 2023 >= 1363 @ 2.57235
3.11/3.27	c bounds 2023 >= 1364 @ 2.57352
3.11/3.27	c bounds 2023 >= 1365 @ 2.57468
3.11/3.27	c bounds 2023 >= 1366 @ 2.57585
3.11/3.27	c bounds 2023 >= 1367 @ 2.57701
3.11/3.28	c bounds 2023 >= 1368 @ 2.57817
3.11/3.28	c bounds 2023 >= 1369 @ 2.57938
3.11/3.28	c bounds 2023 >= 1370 @ 2.58054
3.11/3.28	c bounds 2023 >= 1371 @ 2.58171
3.11/3.28	c bounds 2023 >= 1372 @ 2.58287
3.11/3.28	c bounds 2023 >= 1373 @ 2.58404
3.11/3.28	c bounds 2023 >= 1374 @ 2.5852
3.11/3.28	c bounds 2023 >= 1375 @ 2.58636
3.11/3.28	c bounds 2023 >= 1376 @ 2.58751
3.11/3.29	c bounds 2023 >= 1377 @ 2.58869
3.11/3.29	c bounds 2023 >= 1378 @ 2.58888
3.11/3.29	c bounds 2023 >= 1379 @ 2.59006
3.11/3.29	c bounds 2023 >= 1380 @ 2.59123
3.21/3.31	c bounds 2022 >= 1380 @ 2.6076
3.21/3.31	c bounds 2022 >= 1381 @ 2.60796
3.21/3.31	c bounds 2022 >= 1382 @ 2.60911
3.21/3.31	c bounds 2022 >= 1383 @ 2.61027
3.21/3.31	c bounds 2022 >= 1384 @ 2.61141
3.21/3.31	c bounds 2022 >= 1385 @ 2.61257
3.21/3.31	c bounds 2022 >= 1386 @ 2.61372
3.21/3.31	c bounds 2022 >= 1387 @ 2.61394
3.21/3.32	c bounds 2022 >= 1388 @ 2.6151
3.21/3.32	c bounds 2022 >= 1389 @ 2.61625
3.21/3.32	c bounds 2022 >= 1390 @ 2.61741
3.21/3.32	c bounds 2022 >= 1391 @ 2.61856
3.21/3.32	c bounds 2022 >= 1392 @ 2.61971
3.21/3.32	c bounds 2022 >= 1393 @ 2.61979
3.21/3.32	c bounds 2022 >= 1394 @ 2.62016
3.21/3.32	c bounds 2022 >= 1395 @ 2.6213
3.21/3.32	c bounds 2022 >= 1396 @ 2.62245
3.21/3.33	c bounds 2022 >= 1397 @ 2.62363
3.21/3.33	c bounds 2022 >= 1398 @ 2.62389
3.21/3.33	c bounds 2022 >= 1399 @ 2.62502
3.21/3.33	c bounds 2022 >= 1400 @ 2.62617
3.21/3.33	c bounds 2022 >= 1401 @ 2.62733
3.21/3.33	c bounds 2022 >= 1402 @ 2.62849
3.21/3.33	c bounds 2022 >= 1403 @ 2.62964
3.21/3.33	c bounds 2022 >= 1404 @ 2.62976
3.21/3.34	c bounds 2022 >= 1405 @ 2.6304
3.21/3.34	c bounds 2022 >= 1406 @ 2.63153
3.21/3.34	c bounds 2022 >= 1407 @ 2.63266
3.21/3.34	c bounds 2022 >= 1408 @ 2.63275
3.21/3.34	c bounds 2022 >= 1409 @ 2.63305
3.21/3.34	c bounds 2022 >= 1410 @ 2.63419
3.21/3.34	c bounds 2022 >= 1411 @ 2.63531
3.21/3.34	c bounds 2022 >= 1412 @ 2.63645
3.21/3.34	c bounds 2022 >= 1413 @ 2.6376
3.21/3.35	c bounds 2022 >= 1414 @ 2.63783
3.21/3.35	c bounds 2022 >= 1415 @ 2.63896
3.21/3.35	c bounds 2022 >= 1416 @ 2.6401
3.21/3.35	c bounds 2022 >= 1417 @ 2.64126
3.21/3.35	c bounds 2022 >= 1418 @ 2.64239
3.21/3.35	c bounds 2022 >= 1419 @ 2.64354
3.21/3.35	c bounds 2022 >= 1420 @ 2.64467
3.21/3.35	c bounds 2022 >= 1421 @ 2.64582
3.21/3.36	c bounds 2022 >= 1422 @ 2.64696
3.21/3.36	c bounds 2022 >= 1423 @ 2.64811
3.21/3.36	c bounds 2022 >= 1424 @ 2.64925
3.21/3.36	c bounds 2022 >= 1425 @ 2.6504
3.21/3.36	c bounds 2022 >= 1426 @ 2.65156
3.21/3.36	c bounds 2022 >= 1427 @ 2.65177
3.21/3.36	c bounds 2022 >= 1428 @ 2.65291
3.21/3.36	c bounds 2022 >= 1429 @ 2.65406
3.21/3.36	c bounds 2022 >= 1430 @ 2.65519
3.21/3.37	c bounds 2022 >= 1431 @ 2.65631
3.21/3.37	c bounds 2022 >= 1432 @ 2.65657
3.21/3.37	c bounds 2022 >= 1433 @ 2.65668
3.21/3.37	c bounds 2022 >= 1434 @ 2.6578
3.21/3.37	c bounds 2022 >= 1435 @ 2.65895
3.21/3.37	c bounds 2022 >= 1436 @ 2.66009
3.21/3.37	c bounds 2022 >= 1437 @ 2.66122
3.21/3.37	c bounds 2022 >= 1438 @ 2.66237
3.21/3.37	c bounds 2022 >= 1439 @ 2.66354
3.21/3.38	c bounds 2022 >= 1440 @ 2.66379
3.21/3.38	c bounds 2022 >= 1441 @ 2.66492
3.21/3.38	c bounds 2022 >= 1442 @ 2.66606
3.21/3.38	c bounds 2022 >= 1443 @ 2.6672
3.21/3.38	c bounds 2022 >= 1444 @ 2.66835
3.21/3.38	c bounds 2022 >= 1445 @ 2.66948
3.21/3.38	c bounds 2022 >= 1446 @ 2.66965
3.21/3.38	c bounds 2022 >= 1447 @ 2.67076
3.21/3.39	c bounds 2022 >= 1448 @ 2.6719
3.21/3.39	c bounds 2022 >= 1449 @ 2.67305
3.21/3.39	c bounds 2022 >= 1450 @ 2.67419
3.21/3.39	c bounds 2022 >= 1451 @ 2.67447
3.21/3.39	c bounds 2022 >= 1452 @ 2.67547
3.21/3.39	c bounds 2022 >= 1453 @ 2.67563
3.21/3.39	c bounds 2022 >= 1454 @ 2.67674
3.21/3.39	c bounds 2022 >= 1455 @ 2.67787
3.21/3.39	c bounds 2022 >= 1456 @ 2.67904
3.32/3.40	c bounds 2022 >= 1457 @ 2.68021
3.32/3.40	c bounds 2022 >= 1458 @ 2.68134
3.32/3.40	c bounds 2022 >= 1459 @ 2.68248
3.32/3.40	c bounds 2022 >= 1460 @ 2.68361
3.32/3.40	c bounds 2022 >= 1461 @ 2.68474
3.32/3.40	c bounds 2022 >= 1462 @ 2.68588
3.32/3.40	c bounds 2022 >= 1463 @ 2.68701
3.32/3.40	c bounds 2022 >= 1464 @ 2.68815
3.32/3.40	c bounds 2022 >= 1465 @ 2.68928
3.32/3.41	c bounds 2022 >= 1466 @ 2.69041
3.32/3.41	c bounds 2022 >= 1467 @ 2.69154
3.32/3.41	c bounds 2022 >= 1468 @ 2.69266
3.32/3.41	c bounds 2022 >= 1469 @ 2.6938
3.32/3.41	c bounds 2022 >= 1470 @ 2.69494
3.32/3.41	c bounds 2022 >= 1471 @ 2.69607
3.32/3.41	c bounds 2022 >= 1472 @ 2.69721
3.32/3.41	c bounds 2022 >= 1473 @ 2.69835
3.32/3.41	c bounds 2022 >= 1474 @ 2.69858
3.32/3.42	c bounds 2022 >= 1475 @ 2.69858
3.32/3.42	c bounds 2022 >= 1476 @ 2.69884
3.32/3.42	c bounds 2022 >= 1477 @ 2.69995
3.32/3.42	c bounds 2022 >= 1478 @ 2.70107
3.32/3.42	c bounds 2022 >= 1479 @ 2.70219
3.32/3.42	c bounds 2022 >= 1480 @ 2.70331
3.32/3.42	c bounds 2022 >= 1481 @ 2.70444
3.32/3.42	c bounds 2022 >= 1482 @ 2.70465
3.32/3.43	c bounds 2022 >= 1483 @ 2.70575
3.32/3.43	c bounds 2022 >= 1484 @ 2.70688
3.32/3.43	c bounds 2022 >= 1485 @ 2.70837
3.32/3.43	c bounds 2022 >= 1486 @ 2.70854
3.32/3.43	c bounds 2022 >= 1487 @ 2.70962
3.32/3.43	c bounds 2022 >= 1488 @ 2.71074
3.32/3.43	c bounds 2022 >= 1489 @ 2.71187
3.32/3.43	c bounds 2022 >= 1490 @ 2.71303
3.32/3.43	c bounds 2022 >= 1491 @ 2.71416
3.32/3.44	c bounds 2022 >= 1492 @ 2.71529
3.32/3.44	c bounds 2022 >= 1493 @ 2.7164
3.32/3.44	c bounds 2022 >= 1494 @ 2.7166
3.32/3.44	c bounds 2022 >= 1495 @ 2.71766
3.32/3.44	c bounds 2022 >= 1496 @ 2.71878
3.32/3.44	c bounds 2022 >= 1497 @ 2.71992
3.32/3.44	c bounds 2022 >= 1498 @ 2.72106
3.32/3.44	c bounds 2022 >= 1499 @ 2.72219
3.32/3.44	c bounds 2022 >= 1500 @ 2.72331
3.32/3.45	c bounds 2022 >= 1501 @ 2.7235
3.32/3.45	c bounds 2022 >= 1502 @ 2.72456
3.32/3.45	c bounds 2022 >= 1503 @ 2.72568
3.32/3.45	c bounds 2022 >= 1504 @ 2.72681
3.32/3.45	c bounds 2022 >= 1505 @ 2.72796
3.32/3.45	c bounds 2022 >= 1506 @ 2.72911
3.32/3.45	c bounds 2022 >= 1507 @ 2.73028
3.32/3.45	c bounds 2022 >= 1508 @ 2.73048
3.32/3.46	c bounds 2022 >= 1509 @ 2.73159
3.32/3.46	c bounds 2022 >= 1510 @ 2.73272
3.32/3.46	c bounds 2022 >= 1511 @ 2.73384
3.32/3.46	c bounds 2022 >= 1512 @ 2.73495
3.32/3.46	c bounds 2022 >= 1513 @ 2.73608
3.32/3.46	c bounds 2022 >= 1514 @ 2.73719
3.32/3.46	c bounds 2022 >= 1515 @ 2.7383
3.32/3.46	c bounds 2022 >= 1516 @ 2.73845
3.32/3.46	c bounds 2022 >= 1517 @ 2.73953
3.32/3.47	c bounds 2022 >= 1518 @ 2.74065
3.32/3.47	c bounds 2022 >= 1519 @ 2.74175
3.32/3.47	c bounds 2022 >= 1520 @ 2.74287
3.32/3.47	c bounds 2022 >= 1521 @ 2.74399
3.32/3.47	c bounds 2022 >= 1522 @ 2.7451
3.32/3.47	c bounds 2022 >= 1523 @ 2.74621
3.32/3.47	c bounds 2022 >= 1524 @ 2.74643
3.32/3.47	c bounds 2022 >= 1525 @ 2.74643
3.32/3.47	c bounds 2022 >= 1526 @ 2.74753
3.32/3.48	c bounds 2022 >= 1527 @ 2.74864
3.32/3.48	c bounds 2022 >= 1528 @ 2.74976
3.32/3.48	c bounds 2022 >= 1529 @ 2.75089
3.32/3.48	c bounds 2022 >= 1530 @ 2.75202
3.32/3.48	c bounds 2022 >= 1531 @ 2.75313
3.32/3.48	c bounds 2022 >= 1532 @ 2.75429
3.32/3.48	c bounds 2022 >= 1533 @ 2.75441
3.32/3.48	c bounds 2022 >= 1534 @ 2.7555
3.32/3.48	c bounds 2022 >= 1535 @ 2.7566
3.32/3.49	c bounds 2022 >= 1536 @ 2.7577
3.32/3.49	c bounds 2022 >= 1537 @ 2.75882
3.32/3.49	c bounds 2022 >= 1538 @ 2.75994
3.32/3.49	c bounds 2022 >= 1539 @ 2.76104
3.32/3.49	c bounds 2022 >= 1540 @ 2.76214
3.32/3.49	c bounds 2022 >= 1541 @ 2.76239
3.32/3.49	c bounds 2022 >= 1542 @ 2.76335
3.32/3.49	c bounds 2022 >= 1543 @ 2.76445
3.32/3.49	c bounds 2022 >= 1544 @ 2.76556
3.32/3.50	c bounds 2022 >= 1545 @ 2.76667
3.41/3.50	c bounds 2022 >= 1546 @ 2.7678
3.41/3.50	c bounds 2022 >= 1547 @ 2.7689
3.41/3.50	c bounds 2022 >= 1548 @ 2.77
3.41/3.50	c bounds 2022 >= 1549 @ 2.7711
3.41/3.50	c bounds 2022 >= 1550 @ 2.7722
3.41/3.50	c bounds 2022 >= 1551 @ 2.77236
3.41/3.50	c bounds 2022 >= 1552 @ 2.77342
3.41/3.50	c bounds 2022 >= 1553 @ 2.77453
3.41/3.51	c bounds 2022 >= 1554 @ 2.77565
3.41/3.51	c bounds 2022 >= 1555 @ 2.77675
3.41/3.51	c bounds 2022 >= 1556 @ 2.77784
3.41/3.51	c bounds 2022 >= 1557 @ 2.77811
3.41/3.51	c bounds 2022 >= 1558 @ 2.77904
3.41/3.51	c bounds 2022 >= 1559 @ 2.78013
3.41/3.51	c bounds 2022 >= 1560 @ 2.78033
3.41/3.51	c bounds 2022 >= 1561 @ 2.78042
3.41/3.51	c bounds 2022 >= 1562 @ 2.78157
3.41/3.52	c bounds 2022 >= 1563 @ 2.78266
3.41/3.52	c bounds 2022 >= 1564 @ 2.78374
3.41/3.55	c bounds 2021 >= 1564 @ 2.81561
3.41/3.56	c bounds 2021 >= 1565 @ 2.81962
3.41/3.56	c bounds 2021 >= 1566 @ 2.82599
3.41/3.59	c bounds 2021 >= 1567 @ 2.84044
3.51/3.62	c bounds 2021 >= 1568 @ 2.87141
3.51/3.64	c bounds 2013 >= 1568 @ 2.88269
3.51/3.66	c bounds 2012 >= 1568 @ 2.90328
3.61/3.70	c bounds 2011 >= 1568 @ 2.92987
3.61/3.78	c bounds 2011 >= 1569 @ 3.00318
3.72/3.81	c bounds 2010 >= 1569 @ 3.03254
3.72/3.87	c #Conflicts:       1000 | #Constraints:      13179
3.72/3.87	c bounds 2009 >= 1569 @ 3.09122
3.81/3.91	c bounds 2008 >= 1569 @ 3.12414
3.81/3.95	c bounds 2007 >= 1569 @ 3.16037
3.81/3.97	c bounds 2007 >= 1570 @ 3.16847
3.92/4.02	c bounds 2006 >= 1570 @ 3.21238
3.92/4.03	c bounds 2006 >= 1571 @ 3.22361
3.92/4.05	c bounds 2006 >= 1572 @ 3.23246
4.02/4.11	c bounds 2006 >= 1573 @ 3.28895
4.02/4.16	c bounds 2005 >= 1573 @ 3.34211
4.12/4.20	c bounds 2004 >= 1573 @ 3.37894
4.12/4.22	c bounds 2004 >= 1574 @ 3.38964
4.12/4.28	c bounds 2003 >= 1574 @ 3.44325
4.21/4.30	c bounds 2003 >= 1575 @ 3.46361
4.21/4.33	c bounds 2003 >= 1576 @ 3.48366
4.21/4.37	c bounds 2002 >= 1576 @ 3.52665
4.21/4.40	c bounds 2002 >= 1577 @ 3.54432
5.71/5.84	c #Conflicts:       2000 | #Constraints:      16456
5.71/5.84	c INPROCESSING
5.71/5.84	c GARBAGE COLLECT
5.71/5.84	c bounds 2002 >= 1578 @ 4.95108
5.71/5.86	c bounds 2001 >= 1578 @ 4.96069
5.71/5.89	c bounds 2000 >= 1578 @ 4.98512
5.81/5.95	c bounds 2000 >= 1579 @ 5.04792
5.92/6.04	c bounds 1999 >= 1579 @ 5.13171
6.01/6.15	c bounds 1998 >= 1579 @ 5.23794
6.01/6.16	c bounds 1998 >= 1580 @ 5.24404
6.11/6.23	c #Conflicts:       3000 | #Constraints:      14927
6.11/6.23	c bounds 1998 >= 1581 @ 5.30143
6.41/6.58	c #Conflicts:       4000 | #Constraints:      16353
6.41/6.58	c INPROCESSING
6.41/6.58	c GARBAGE COLLECT
6.41/6.58	c bounds 1997 >= 1581 @ 5.63282
6.51/6.62	c bounds 1996 >= 1581 @ 5.66231
6.51/6.64	c bounds 1995 >= 1581 @ 5.68098
6.61/6.70	c bounds 1994 >= 1581 @ 5.7373
6.61/6.77	c bounds 1993 >= 1581 @ 5.80961
6.70/6.85	c bounds 1992 >= 1581 @ 5.88021
6.81/6.91	c bounds 1991 >= 1581 @ 5.93745
6.81/6.96	c bounds 1990 >= 1581 @ 5.98585
6.92/7.03	c bounds 1989 >= 1581 @ 6.04915
7.01/7.10	c bounds 1988 >= 1581 @ 6.11571
7.01/7.18	c bounds 1987 >= 1581 @ 6.18478
7.10/7.27	c bounds 1986 >= 1581 @ 6.26579
15.78/15.94	c #Conflicts:       5000 | #Constraints:      15135
15.78/15.94	c #Conflicts:       6000 | #Constraints:      16135
15.78/15.94	c INPROCESSING
15.78/15.94	c GARBAGE COLLECT
15.78/15.94	c bounds 1985 >= 1581 @ 14.8416
16.19/16.36	c bounds 1984 >= 1581 @ 15.2554
16.38/16.59	c #Conflicts:       7000 | #Constraints:      14786
16.38/16.59	c bounds 1983 >= 1581 @ 15.4732
16.88/17.04	c #Conflicts:       8000 | #Constraints:      15787
16.88/17.04	c bounds 1983 >= 1582 @ 15.9123
17.18/17.37	c bounds 1982 >= 1582 @ 16.2215
17.28/17.46	c bounds 1981 >= 1582 @ 16.3133
17.38/17.55	c bounds 1980 >= 1582 @ 16.4012
17.48/17.65	c bounds 1979 >= 1582 @ 16.4903
17.58/17.77	c bounds 1978 >= 1582 @ 16.5924
17.68/17.87	c bounds 1977 >= 1582 @ 16.6886
17.78/17.96	c #Conflicts:       9000 | #Constraints:      16994
17.78/17.96	c bounds 1976 >= 1582 @ 16.7658
18.08/18.20	c INPROCESSING
18.08/18.20	c GARBAGE COLLECT
18.08/18.20	c bounds 1975 >= 1582 @ 16.9971
18.18/18.34	c bounds 1974 >= 1582 @ 17.1267
42.01/42.21	c #Conflicts:      10000 | #Constraints:      15305
42.01/42.21	c #Conflicts:      11000 | #Constraints:      16305
42.01/42.21	c #Conflicts:      12000 | #Constraints:      17305
42.01/42.21	c INPROCESSING
42.01/42.21	c GARBAGE COLLECT
42.01/42.21	c bounds 1973 >= 1582 @ 40.7726
42.11/42.35	c bounds 1972 >= 1582 @ 40.8994
42.21/42.44	c bounds 1971 >= 1582 @ 40.9892
42.31/42.52	c bounds 1970 >= 1582 @ 41.0705
42.41/42.63	c bounds 1969 >= 1582 @ 41.1673
42.50/42.71	c bounds 1968 >= 1582 @ 41.2479
42.61/42.82	c bounds 1967 >= 1582 @ 41.3484
42.70/42.92	c bounds 1966 >= 1582 @ 41.4519
42.81/43.09	c bounds 1965 >= 1582 @ 41.6068
43.10/43.39	c bounds 1964 >= 1582 @ 41.8976
44.20/44.44	c #Conflicts:      13000 | #Constraints:      15660
44.20/44.44	c bounds 1963 >= 1582 @ 42.8862
45.69/45.92	c #Conflicts:      14000 | #Constraints:      16661
45.69/45.92	c #Conflicts:      15000 | #Constraints:      17661
45.69/45.92	c INPROCESSING
45.69/45.92	c GARBAGE COLLECT
45.69/45.92	c bounds 1962 >= 1582 @ 44.3416
45.90/46.14	c bounds 1961 >= 1582 @ 44.5552
46.19/46.40	c bounds 1960 >= 1582 @ 44.8057
47.90/48.19	c #Conflicts:      16000 | #Constraints:      15776
47.90/48.19	c bounds 1959 >= 1582 @ 46.5514
49.68/49.91	c #Conflicts:      17000 | #Constraints:      16777
49.68/49.91	c #Conflicts:      18000 | #Constraints:      17777
49.68/49.91	c INPROCESSING
49.68/49.91	c GARBAGE COLLECT
49.68/49.91	c #Conflicts:      19000 | #Constraints:      15803
49.68/49.91	c #Conflicts:      20000 | #Constraints:      16803
49.68/49.91	c bounds 1959 >= 1583 @ 48.2171
49.79/50.02	c bounds 1958 >= 1583 @ 48.311
49.79/50.09	c bounds 1957 >= 1583 @ 48.3802
50.08/50.32	c #Conflicts:      21000 | #Constraints:      18036
50.08/50.32	c bounds 1956 >= 1583 @ 48.6013
50.38/50.61	c bounds 1955 >= 1583 @ 48.878
50.79/51.06	c bounds 1954 >= 1583 @ 49.3106
102.71/103.11	c INPROCESSING
102.71/103.11	c GARBAGE COLLECT
102.71/103.11	c rational objective 1615
106.69/107.15	c bounds 1954 >= 1584 @ 104.949
107.78/108.25	c #Conflicts:      22000 | #Constraints:      15923
107.78/108.25	c #Conflicts:      23000 | #Constraints:      16923
107.78/108.25	c #Conflicts:      24000 | #Constraints:      17923
107.78/108.25	c #Conflicts:      25000 | #Constraints:      18923
107.78/108.25	c INPROCESSING
107.78/108.25	c GARBAGE COLLECT
107.78/108.25	c bounds 1940 >= 1584 @ 105.994
107.88/108.36	c bounds 1939 >= 1584 @ 106.106
108.19/108.61	c bounds 1938 >= 1584 @ 106.341
108.28/108.72	c bounds 1937 >= 1584 @ 106.449
108.49/108.96	c bounds 1936 >= 1584 @ 106.686
108.79/109.21	c bounds 1935 >= 1584 @ 106.923
108.98/109.47	c #Conflicts:      26000 | #Constraints:      16619
108.98/109.47	c bounds 1934 >= 1584 @ 107.18
109.98/110.45	c bounds 1933 >= 1584 @ 108.139
110.08/110.52	c bounds 1933 >= 1585 @ 108.206
111.77/112.29	c #Conflicts:      27000 | #Constraints:      17996
111.77/112.29	c #Conflicts:      28000 | #Constraints:      18996
111.77/112.29	c #Conflicts:      29000 | #Constraints:      19996
111.77/112.29	c INPROCESSING
111.77/112.29	c GARBAGE COLLECT
111.77/112.29	c bounds 1932 >= 1585 @ 109.942
111.97/112.42	c bounds 1931 >= 1585 @ 110.069
112.57/113.09	c bounds 1930 >= 1585 @ 110.701
113.26/113.71	c bounds 1929 >= 1585 @ 111.313
114.96/115.48	c #Conflicts:      30000 | #Constraints:      17259
114.96/115.48	c bounds 1928 >= 1585 @ 113.033
116.36/116.81	c #Conflicts:      31000 | #Constraints:      18260
116.36/116.81	c #Conflicts:      32000 | #Constraints:      19260
116.36/116.81	c #Conflicts:      33000 | #Constraints:      20260
116.36/116.81	c INPROCESSING
116.36/116.81	c GARBAGE COLLECT
116.36/116.81	c bounds 1927 >= 1585 @ 114.311
116.66/117.16	c bounds 1926 >= 1585 @ 114.655
118.45/118.94	c #Conflicts:      34000 | #Constraints:      17494
118.45/118.94	c bounds 1925 >= 1585 @ 116.41
120.35/120.81	c #Conflicts:      35000 | #Constraints:      18495
120.35/120.81	c #Conflicts:      36000 | #Constraints:      19495
120.35/120.81	c #Conflicts:      37000 | #Constraints:      20495
120.35/120.81	c INPROCESSING
120.35/120.81	c GARBAGE COLLECT
120.35/120.81	c bounds 1924 >= 1585 @ 118.247
120.54/121.03	c bounds 1923 >= 1585 @ 118.456
120.65/121.19	c bounds 1922 >= 1585 @ 118.609
120.84/121.30	c bounds 1921 >= 1585 @ 118.718
121.34/121.84	c bounds 1920 >= 1585 @ 119.252
124.73/125.28	c #Conflicts:      38000 | #Constraints:      17466
124.73/125.28	c #Conflicts:      39000 | #Constraints:      18466
124.73/125.28	c #Conflicts:      40000 | #Constraints:      19466
124.73/125.28	c #Conflicts:      41000 | #Constraints:      20466
124.73/125.28	c INPROCESSING
124.73/125.28	c GARBAGE COLLECT
124.73/125.28	c #Conflicts:      42000 | #Constraints:      17252
124.73/125.28	c bounds 1919 >= 1585 @ 122.624
128.22/128.75	c #Conflicts:      43000 | #Constraints:      18263
128.22/128.75	c bounds 1918 >= 1585 @ 126.045
208.15/208.91	c #Conflicts:      44000 | #Constraints:      19267
208.15/208.91	c bounds 1917 >= 1585 @ 205.675
209.35/210.17	c #Conflicts:      45000 | #Constraints:      20268
209.35/210.17	c #Conflicts:      46000 | #Constraints:      21268
209.35/210.17	c INPROCESSING
209.35/210.17	c GARBAGE COLLECT
209.35/210.17	c #Conflicts:      47000 | #Constraints:      17736
209.35/210.17	c bounds 1917 >= 1586 @ 206.883
211.15/211.95	c #Conflicts:      48000 | #Constraints:      19078
211.15/211.95	c #Conflicts:      49000 | #Constraints:      20078
211.15/211.95	c #Conflicts:      50000 | #Constraints:      21078
211.15/211.95	c #Conflicts:      51000 | #Constraints:      22078
211.15/211.95	c INPROCESSING
211.15/211.95	c GARBAGE COLLECT
211.15/211.95	c bounds 1916 >= 1586 @ 208.601
211.44/212.27	c bounds 1915 >= 1586 @ 208.915
219.41/220.22	c #Conflicts:      52000 | #Constraints:      18365
219.41/220.22	c #Conflicts:      53000 | #Constraints:      19365
219.41/220.22	c #Conflicts:      54000 | #Constraints:      20365
219.41/220.22	c #Conflicts:      55000 | #Constraints:      21365
219.41/220.22	c #Conflicts:      56000 | #Constraints:      22365
219.41/220.22	c INPROCESSING
219.41/220.22	c GARBAGE COLLECT
219.41/220.22	c #Conflicts:      57000 | #Constraints:      18501
219.41/220.22	c bounds 1914 >= 1586 @ 216.652
258.67/259.67	c #Conflicts:      58000 | #Constraints:      19502
258.67/259.67	c #Conflicts:      59000 | #Constraints:      20502
258.67/259.67	c #Conflicts:      60000 | #Constraints:      21502
258.67/259.67	c #Conflicts:      61000 | #Constraints:      22502
258.67/259.67	c INPROCESSING
258.67/259.67	c GARBAGE COLLECT
258.67/259.67	c #Conflicts:      62000 | #Constraints:      18589
258.67/259.67	c #Conflicts:      63000 | #Constraints:      19589
258.67/259.67	c #Conflicts:      64000 | #Constraints:      20589
258.67/259.67	c #Conflicts:      65000 | #Constraints:      21589
258.67/259.67	c #Conflicts:      66000 | #Constraints:      22589
258.67/259.67	c INPROCESSING
258.67/259.67	c GARBAGE COLLECT
258.67/259.67	c #Conflicts:      67000 | #Constraints:      18448
258.67/259.67	c #Conflicts:      68000 | #Constraints:      19448
258.67/259.67	c #Conflicts:      69000 | #Constraints:      20448
258.67/259.67	c #Conflicts:      70000 | #Constraints:      21448
258.67/259.67	c #Conflicts:      71000 | #Constraints:      22448
258.67/259.67	c #Conflicts:      72000 | #Constraints:      23448
258.67/259.67	c INPROCESSING
258.67/259.67	c GARBAGE COLLECT
258.67/259.67	c rational objective 1615
262.95/263.95	c bounds 1913 >= 1586 @ 259.856
263.06/264.05	c bounds 1912 >= 1586 @ 259.941
263.16/264.15	c bounds 1911 >= 1586 @ 260.038
264.06/265.09	c #Conflicts:      73000 | #Constraints:      19100
264.06/265.09	c bounds 1910 >= 1586 @ 260.948
267.99/276.18	c #Conflicts:      74000 | #Constraints:      20101
267.99/276.18	c #Conflicts:      75000 | #Constraints:      21101
267.99/276.18	c #Conflicts:      76000 | #Constraints:      22101
267.99/276.18	c #Conflicts:      77000 | #Constraints:      23101
267.99/276.18	c #Conflicts:      78000 | #Constraints:      24101
267.99/276.18	c INPROCESSING
267.99/276.18	c GARBAGE COLLECT
267.99/276.18	c bounds 1909 >= 1586 @ 264.694
268.00/276.26	c bounds 1908 >= 1586 @ 264.77
268.11/276.36	c bounds 1907 >= 1586 @ 264.871
268.21/276.46	c bounds 1906 >= 1586 @ 264.959
268.41/276.60	c bounds 1905 >= 1586 @ 265.095
283.46/291.76	c #Conflicts:      79000 | #Constraints:      19591
283.46/291.76	c #Conflicts:      80000 | #Constraints:      20591
283.46/291.76	c #Conflicts:      81000 | #Constraints:      21591
283.46/291.76	c #Conflicts:      82000 | #Constraints:      22591
283.46/291.76	c bounds 1904 >= 1586 @ 279.996
454.71/463.69	c #Conflicts:      83000 | #Constraints:      23592
454.71/463.69	c #Conflicts:      84000 | #Constraints:      24592
454.71/463.69	c INPROCESSING
454.71/463.69	c GARBAGE COLLECT
454.71/463.69	c #Conflicts:      85000 | #Constraints:      19664
454.71/463.69	c #Conflicts:      86000 | #Constraints:      20664
454.71/463.69	c #Conflicts:      87000 | #Constraints:      21664
454.71/463.69	c #Conflicts:      88000 | #Constraints:      22664
454.71/463.69	c #Conflicts:      89000 | #Constraints:      23664
454.71/463.69	c #Conflicts:      90000 | #Constraints:      24664
454.71/463.69	c INPROCESSING
454.71/463.69	c GARBAGE COLLECT
454.71/463.69	c #Conflicts:      91000 | #Constraints:      19770
454.71/463.69	c #Conflicts:      92000 | #Constraints:      20770
454.71/463.69	c #Conflicts:      93000 | #Constraints:      21770
454.71/463.69	c #Conflicts:      94000 | #Constraints:      22770
454.71/463.69	c #Conflicts:      95000 | #Constraints:      23770
454.71/463.69	c #Conflicts:      96000 | #Constraints:      24770
454.71/463.69	c INPROCESSING
454.71/463.69	c GARBAGE COLLECT
454.71/463.69	c #Conflicts:      97000 | #Constraints:      19628
454.71/463.69	c #Conflicts:      98000 | #Constraints:      20628
454.71/463.69	c #Conflicts:      99000 | #Constraints:      21628
454.71/463.69	c #Conflicts:     100000 | #Constraints:      22628
454.71/463.69	c #Conflicts:     101000 | #Constraints:      23628
454.71/463.69	c #Conflicts:     102000 | #Constraints:      24628
454.71/463.69	c #Conflicts:     103000 | #Constraints:      25628
454.71/463.69	c INPROCESSING
454.71/463.69	c GARBAGE COLLECT
454.71/463.69	c #Conflicts:     104000 | #Constraints:      20266
454.71/463.69	c #Conflicts:     105000 | #Constraints:      21266
454.71/463.69	c #Conflicts:     106000 | #Constraints:      22266
454.71/463.69	c #Conflicts:     107000 | #Constraints:      23266
454.71/463.69	c #Conflicts:     108000 | #Constraints:      24266
454.71/463.69	c #Conflicts:     109000 | #Constraints:      25266
454.71/463.69	c #Conflicts:     110000 | #Constraints:      26266
454.71/463.69	c INPROCESSING
454.71/463.69	c GARBAGE COLLECT
454.71/463.69	c rational objective 1615
467.72/477.08	c #Conflicts:     111000 | #Constraints:      20696
467.72/477.08	c #Conflicts:     112000 | #Constraints:      21696
467.72/477.08	c #Conflicts:     113000 | #Constraints:      22696
467.72/477.08	c #Conflicts:     114000 | #Constraints:      23696
467.72/477.08	c #Conflicts:     115000 | #Constraints:      24696
467.72/477.08	c #Conflicts:     116000 | #Constraints:      25696
467.72/477.08	c #Conflicts:     117000 | #Constraints:      26696
467.72/477.08	c INPROCESSING
467.72/477.08	c GARBAGE COLLECT
467.72/477.08	c #Conflicts:     118000 | #Constraints:      20921
467.72/477.08	c #Conflicts:     119000 | #Constraints:      21921
467.72/477.08	c #Conflicts:     120000 | #Constraints:      22921
467.72/477.08	c #Conflicts:     121000 | #Constraints:      23921
467.72/477.08	c #Conflicts:     122000 | #Constraints:      24921
467.72/477.08	c #Conflicts:     123000 | #Constraints:      25921
467.72/477.08	c #Conflicts:     124000 | #Constraints:      26921
467.72/477.08	c INPROCESSING
467.72/477.08	c GARBAGE COLLECT
467.72/477.08	c bounds 1903 >= 1586 @ 463.28
467.91/477.20	c bounds 1902 >= 1586 @ 463.387
468.22/477.57	c bounds 1901 >= 1586 @ 463.757
481.97/491.31	c #Conflicts:     125000 | #Constraints:      20922
481.97/491.31	c #Conflicts:     126000 | #Constraints:      21922
481.97/491.31	c #Conflicts:     127000 | #Constraints:      22922
481.97/491.31	c #Conflicts:     128000 | #Constraints:      23922
481.97/491.31	c #Conflicts:     129000 | #Constraints:      24922
481.97/491.31	c #Conflicts:     130000 | #Constraints:      25922
481.97/491.31	c bounds 1900 >= 1586 @ 477.132
526.50/536.28	c #Conflicts:     131000 | #Constraints:      26923
526.50/536.28	c INPROCESSING
526.50/536.28	c GARBAGE COLLECT
526.50/536.28	c #Conflicts:     132000 | #Constraints:      20533
526.50/536.28	c #Conflicts:     133000 | #Constraints:      21533
526.50/536.28	c #Conflicts:     134000 | #Constraints:      22533
526.50/536.28	c #Conflicts:     135000 | #Constraints:      23533
526.50/536.28	c #Conflicts:     136000 | #Constraints:      24533
526.50/536.28	c #Conflicts:     137000 | #Constraints:      25533
526.50/536.28	c #Conflicts:     138000 | #Constraints:      26533
526.50/536.28	c #Conflicts:     139000 | #Constraints:      27533
526.50/536.28	c INPROCESSING
526.50/536.28	c GARBAGE COLLECT
526.50/536.28	c #Conflicts:     140000 | #Constraints:      21030
526.50/536.28	c #Conflicts:     141000 | #Constraints:      22030
526.50/536.28	c #Conflicts:     142000 | #Constraints:      23030
526.50/536.28	c #Conflicts:     143000 | #Constraints:      24030
526.50/536.28	c bounds 1900 >= 1587 @ 521.426
538.95/548.77	c #Conflicts:     144000 | #Constraints:      25144
538.95/548.77	c #Conflicts:     145000 | #Constraints:      26144
538.95/548.77	c #Conflicts:     146000 | #Constraints:      27144
538.95/548.77	c #Conflicts:     147000 | #Constraints:      28144
538.95/548.77	c INPROCESSING
538.95/548.77	c GARBAGE COLLECT
538.95/548.77	c #Conflicts:     148000 | #Constraints:      21500
538.95/548.77	c #Conflicts:     149000 | #Constraints:      22500
538.95/548.77	c #Conflicts:     150000 | #Constraints:      23500
538.95/548.77	c #Conflicts:     151000 | #Constraints:      24500
538.95/548.77	c #Conflicts:     152000 | #Constraints:      25500
538.95/548.77	c #Conflicts:     153000 | #Constraints:      26500
538.95/548.77	c #Conflicts:     154000 | #Constraints:      27500
538.95/548.77	c #Conflicts:     155000 | #Constraints:      28500
538.95/548.77	c INPROCESSING
538.95/548.77	c GARBAGE COLLECT
538.95/548.77	c bounds 1899 >= 1587 @ 533.699
539.36/549.20	c #Conflicts:     156000 | #Constraints:      21671
539.36/549.20	c bounds 1898 >= 1587 @ 534.105
539.75/549.58	c bounds 1897 >= 1587 @ 534.474
622.26/635.03	c #Conflicts:     157000 | #Constraints:      22673
622.26/635.03	c #Conflicts:     158000 | #Constraints:      23673
622.26/635.03	c #Conflicts:     159000 | #Constraints:      24673
622.26/635.03	c #Conflicts:     160000 | #Constraints:      25673
622.26/635.03	c #Conflicts:     161000 | #Constraints:      26673
622.26/635.03	c #Conflicts:     162000 | #Constraints:      27673
622.26/635.03	c #Conflicts:     163000 | #Constraints:      28673
622.26/635.03	c INPROCESSING
622.26/635.03	c GARBAGE COLLECT
622.26/635.03	c #Conflicts:     164000 | #Constraints:      21308
622.26/635.03	c #Conflicts:     165000 | #Constraints:      22308
622.26/635.03	c #Conflicts:     166000 | #Constraints:      23308
622.26/635.03	c #Conflicts:     167000 | #Constraints:      24308
622.26/635.03	c #Conflicts:     168000 | #Constraints:      25308
622.26/635.03	c #Conflicts:     169000 | #Constraints:      26308
622.26/635.03	c #Conflicts:     170000 | #Constraints:      27308
622.26/635.03	c #Conflicts:     171000 | #Constraints:      28308
622.26/635.03	c INPROCESSING
622.26/635.03	c GARBAGE COLLECT
622.26/635.03	c #Conflicts:     172000 | #Constraints:      21302
622.26/635.03	c #Conflicts:     173000 | #Constraints:      22302
622.26/635.03	c #Conflicts:     174000 | #Constraints:      23302
622.26/635.03	c #Conflicts:     175000 | #Constraints:      24302
622.26/635.03	c #Conflicts:     176000 | #Constraints:      25302
622.26/635.03	c #Conflicts:     177000 | #Constraints:      26302
622.26/635.03	c #Conflicts:     178000 | #Constraints:      27302
622.26/635.03	c #Conflicts:     179000 | #Constraints:      28302
622.26/635.03	c #Conflicts:     180000 | #Constraints:      29302
622.26/635.03	c INPROCESSING
622.26/635.03	c GARBAGE COLLECT
622.26/635.03	c #Conflicts:     181000 | #Constraints:      21993
622.26/635.03	c #Conflicts:     182000 | #Constraints:      22993
622.26/635.03	c #Conflicts:     183000 | #Constraints:      23993
622.26/635.03	c #Conflicts:     184000 | #Constraints:      24993
622.26/635.03	c #Conflicts:     185000 | #Constraints:      25993
622.26/635.03	c #Conflicts:     186000 | #Constraints:      26993
622.26/635.03	c #Conflicts:     187000 | #Constraints:      27993
622.26/635.03	c #Conflicts:     188000 | #Constraints:      28993
622.26/635.03	c #Conflicts:     189000 | #Constraints:      29993
622.26/635.03	c INPROCESSING
622.26/635.03	c GARBAGE COLLECT
622.26/635.03	c bounds 1896 >= 1587 @ 615.866
630.93/643.73	c #Conflicts:     190000 | #Constraints:      22485
630.93/643.73	c #Conflicts:     191000 | #Constraints:      23485
630.93/643.73	c #Conflicts:     192000 | #Constraints:      24485
630.93/643.73	c #Conflicts:     193000 | #Constraints:      25485
630.93/643.73	c bounds 1895 >= 1587 @ 624.44
700.92/713.90	c #Conflicts:     194000 | #Constraints:      26486
700.92/713.90	c #Conflicts:     195000 | #Constraints:      27486
700.92/713.90	c #Conflicts:     196000 | #Constraints:      28486
700.92/713.90	c #Conflicts:     197000 | #Constraints:      29486
700.92/713.90	c #Conflicts:     198000 | #Constraints:      30486
700.92/713.90	c INPROCESSING
700.92/713.90	c GARBAGE COLLECT
700.92/713.90	c rational objective 1615
722.29/740.90	c #Conflicts:     199000 | #Constraints:      22722
722.29/740.90	c #Conflicts:     200000 | #Constraints:      23722
722.29/740.90	c #Conflicts:     201000 | #Constraints:      24722
722.29/740.90	c #Conflicts:     202000 | #Constraints:      25722
722.29/740.90	c #Conflicts:     203000 | #Constraints:      26722
722.29/740.90	c #Conflicts:     204000 | #Constraints:      27722
722.29/740.90	c #Conflicts:     205000 | #Constraints:      28722
722.29/740.90	c #Conflicts:     206000 | #Constraints:      29722
722.29/740.90	c #Conflicts:     207000 | #Constraints:      30722
722.29/740.90	c INPROCESSING
722.29/740.90	c GARBAGE COLLECT
722.29/740.90	c #Conflicts:     208000 | #Constraints:      22752
722.29/740.90	c #Conflicts:     209000 | #Constraints:      23752
722.29/740.90	c #Conflicts:     210000 | #Constraints:      24752
722.29/740.90	c bounds 1894 >= 1587 @ 715.278
730.56/749.25	c #Conflicts:     211000 | #Constraints:      25753
730.56/749.25	c #Conflicts:     212000 | #Constraints:      26753
730.56/749.25	c #Conflicts:     213000 | #Constraints:      27753
730.56/749.25	c #Conflicts:     214000 | #Constraints:      28753
730.56/749.25	c #Conflicts:     215000 | #Constraints:      29753
730.56/749.25	c #Conflicts:     216000 | #Constraints:      30753
730.56/749.25	c INPROCESSING
730.56/749.25	c GARBAGE COLLECT
730.56/749.25	c bounds 1893 >= 1587 @ 723.543
734.65/753.31	c #Conflicts:     217000 | #Constraints:      22680
734.65/753.31	c #Conflicts:     218000 | #Constraints:      23708
734.65/753.31	c bounds 1892 >= 1587 @ 727.449
743.63/762.31	c #Conflicts:     219000 | #Constraints:      24730
743.63/762.31	c #Conflicts:     220000 | #Constraints:      25749
743.63/762.31	c bounds 1891 >= 1587 @ 736.253
790.70/809.57	c #Conflicts:     221000 | #Constraints:      26760
790.70/809.57	c #Conflicts:     222000 | #Constraints:      27760
790.70/809.57	c #Conflicts:     223000 | #Constraints:      28760
790.70/809.57	c #Conflicts:     224000 | #Constraints:      29760
790.70/809.57	c #Conflicts:     225000 | #Constraints:      30760
790.70/809.57	c #Conflicts:     226000 | #Constraints:      31760
790.70/809.57	c INPROCESSING
790.70/809.57	c GARBAGE COLLECT
790.70/809.57	c bounds 1890 >= 1587 @ 783.18
806.43/842.80	c #Conflicts:     227000 | #Constraints:      23616
806.43/842.80	c #Conflicts:     228000 | #Constraints:      24616
806.43/842.80	c #Conflicts:     229000 | #Constraints:      25616
806.43/842.80	c #Conflicts:     230000 | #Constraints:      26616
806.43/842.80	c #Conflicts:     231000 | #Constraints:      27616
806.43/842.80	c #Conflicts:     232000 | #Constraints:      28616
806.43/842.80	c bounds 1889 >= 1587 @ 798.637
923.52/960.26	c #Conflicts:     233000 | #Constraints:      29617
923.52/960.26	c #Conflicts:     234000 | #Constraints:      30617
923.52/960.26	c #Conflicts:     235000 | #Constraints:      31617
923.52/960.26	c #Conflicts:     236000 | #Constraints:      32617
923.52/960.26	c INPROCESSING
923.52/960.26	c GARBAGE COLLECT
923.52/960.26	c #Conflicts:     237000 | #Constraints:      23764
923.52/960.26	c #Conflicts:     238000 | #Constraints:      24764
923.52/960.26	c #Conflicts:     239000 | #Constraints:      25764
923.52/960.26	c #Conflicts:     240000 | #Constraints:      26764
923.52/960.26	c #Conflicts:     241000 | #Constraints:      27764
923.52/960.26	c #Conflicts:     242000 | #Constraints:      28764
923.52/960.26	c #Conflicts:     243000 | #Constraints:      29764
923.52/960.26	c #Conflicts:     244000 | #Constraints:      30764
923.52/960.26	c #Conflicts:     245000 | #Constraints:      31764
923.52/960.26	c #Conflicts:     246000 | #Constraints:      32764
923.52/960.26	c INPROCESSING
923.52/960.26	c GARBAGE COLLECT
923.52/960.26	c rational objective 1615
949.44/986.20	c #Conflicts:     247000 | #Constraints:      23853
949.44/986.20	c #Conflicts:     248000 | #Constraints:      24853
949.44/986.20	c #Conflicts:     249000 | #Constraints:      25853
949.44/986.20	c #Conflicts:     250000 | #Constraints:      26853
949.44/986.20	c #Conflicts:     251000 | #Constraints:      27853
949.44/986.20	c #Conflicts:     252000 | #Constraints:      28853
949.44/986.20	c #Conflicts:     253000 | #Constraints:      29853
949.44/986.20	c #Conflicts:     254000 | #Constraints:      30853
949.44/986.20	c #Conflicts:     255000 | #Constraints:      31853
949.44/986.20	c #Conflicts:     256000 | #Constraints:      32853
949.44/986.20	c INPROCESSING
949.44/986.20	c GARBAGE COLLECT
949.44/986.20	c #Conflicts:     257000 | #Constraints:      23794
949.44/986.20	c #Conflicts:     258000 | #Constraints:      24794
949.44/986.20	c #Conflicts:     259000 | #Constraints:      25794
949.44/986.20	c bounds 1888 >= 1587 @ 940.755
987.18/1024.16	c #Conflicts:     260000 | #Constraints:      26795
987.18/1024.16	c #Conflicts:     261000 | #Constraints:      27795
987.18/1024.16	c #Conflicts:     262000 | #Constraints:      28795
987.18/1024.16	c #Conflicts:     263000 | #Constraints:      29795
987.18/1024.16	c #Conflicts:     264000 | #Constraints:      30795
987.18/1024.16	c #Conflicts:     265000 | #Constraints:      31795
987.18/1024.16	c #Conflicts:     266000 | #Constraints:      32795
987.18/1024.16	c INPROCESSING
987.18/1024.16	c GARBAGE COLLECT
987.18/1024.16	c #Conflicts:     267000 | #Constraints:      23574
987.18/1024.16	c #Conflicts:     268000 | #Constraints:      24574
987.18/1024.16	c bounds 1887 >= 1587 @ 978.252
989.27/1026.21	c #Conflicts:     269000 | #Constraints:      25575
989.27/1026.21	c bounds 1886 >= 1587 @ 980.261
990.46/1027.47	c bounds 1885 >= 1587 @ 981.503
996.35/1033.30	c #Conflicts:     270000 | #Constraints:      26577
996.35/1033.30	c #Conflicts:     271000 | #Constraints:      27577
996.35/1033.30	c bounds 1884 >= 1587 @ 987.209
1003.53/1040.51	c #Conflicts:     272000 | #Constraints:      28578
1003.53/1040.51	c #Conflicts:     273000 | #Constraints:      29578
1003.53/1040.51	c #Conflicts:     274000 | #Constraints:      30578
1003.53/1040.51	c #Conflicts:     275000 | #Constraints:      31578
1003.53/1040.51	c #Conflicts:     276000 | #Constraints:      32578
1003.53/1040.51	c #Conflicts:     277000 | #Constraints:      33578
1003.53/1040.51	c INPROCESSING
1003.53/1040.51	c GARBAGE COLLECT
1003.53/1040.51	c bounds 1883 >= 1587 @ 994.316
1009.81/1046.85	c #Conflicts:     278000 | #Constraints:      24090
1009.81/1046.85	c #Conflicts:     279000 | #Constraints:      25090
1009.81/1046.85	c bounds 1882 >= 1587 @ 1000.52
1010.71/1047.76	c #Conflicts:     280000 | #Constraints:      26091
1010.71/1047.76	c #Conflicts:     281000 | #Constraints:      27091
1010.71/1047.76	c bounds 1882 >= 1588 @ 1001.4
1023.36/1062.43	c #Conflicts:     282000 | #Constraints:      28469
1023.36/1062.43	c #Conflicts:     283000 | #Constraints:      29469
1023.36/1062.43	c #Conflicts:     284000 | #Constraints:      30469
1023.36/1062.43	c #Conflicts:     285000 | #Constraints:      31469
1023.36/1062.43	c #Conflicts:     286000 | #Constraints:      32469
1023.36/1062.43	c #Conflicts:     287000 | #Constraints:      33469
1023.36/1062.43	c #Conflicts:     288000 | #Constraints:      34469
1023.36/1062.43	c INPROCESSING
1023.36/1062.43	c GARBAGE COLLECT
1023.36/1062.43	c #Conflicts:     289000 | #Constraints:      24595
1023.36/1062.43	c #Conflicts:     290000 | #Constraints:      25595
1023.36/1062.43	c bounds 1881 >= 1588 @ 1013.81
1068.23/1107.40	c #Conflicts:     291000 | #Constraints:      26596
1068.23/1107.40	c #Conflicts:     292000 | #Constraints:      27596
1068.23/1107.40	c #Conflicts:     293000 | #Constraints:      28596
1068.23/1107.40	c #Conflicts:     294000 | #Constraints:      29596
1068.23/1107.40	c #Conflicts:     295000 | #Constraints:      30596
1068.23/1107.40	c #Conflicts:     296000 | #Constraints:      31596
1068.23/1107.40	c #Conflicts:     297000 | #Constraints:      32596
1068.23/1107.40	c #Conflicts:     298000 | #Constraints:      33596
1068.23/1107.40	c #Conflicts:     299000 | #Constraints:      34596
1068.23/1107.40	c INPROCESSING
1068.23/1107.40	c GARBAGE COLLECT
1068.23/1107.40	c bounds 1880 >= 1588 @ 1058.37
1068.54/1107.70	c bounds 1879 >= 1588 @ 1058.65
1070.13/1109.34	c #Conflicts:     300000 | #Constraints:      25235
1070.13/1109.34	c bounds 1878 >= 1588 @ 1060.21
1079.31/1118.51	c #Conflicts:     301000 | #Constraints:      26236
1079.31/1118.51	c #Conflicts:     302000 | #Constraints:      27236
1079.31/1118.51	c #Conflicts:     303000 | #Constraints:      28236
1079.31/1118.51	c bounds 1877 >= 1588 @ 1069.23
1088.02/1127.42	c #Conflicts:     304000 | #Constraints:      29237
1088.02/1127.42	c #Conflicts:     305000 | #Constraints:      30237
1088.02/1127.42	c #Conflicts:     306000 | #Constraints:      31237
1088.02/1127.42	c #Conflicts:     307000 | #Constraints:      32237
1088.02/1127.42	c #Conflicts:     308000 | #Constraints:      33237
1088.02/1127.42	c #Conflicts:     309000 | #Constraints:      34237
1088.02/1127.42	c #Conflicts:     310000 | #Constraints:      35237
1088.02/1127.42	c INPROCESSING
1088.02/1127.42	c GARBAGE COLLECT
1088.02/1127.42	c bounds 1876 >= 1588 @ 1077.85
1088.12/1127.50	c bounds 1875 >= 1588 @ 1077.93
1092.21/1131.63	c #Conflicts:     311000 | #Constraints:      25300
1092.21/1131.63	c bounds 1874 >= 1588 @ 1082
1210.99/1250.72	c #Conflicts:     312000 | #Constraints:      26301
1210.99/1250.72	c #Conflicts:     313000 | #Constraints:      27301
1210.99/1250.72	c #Conflicts:     314000 | #Constraints:      28301
1210.99/1250.72	c #Conflicts:     315000 | #Constraints:      29301
1210.99/1250.72	c #Conflicts:     316000 | #Constraints:      30301
1210.99/1250.72	c #Conflicts:     317000 | #Constraints:      31301
1210.99/1250.72	c #Conflicts:     318000 | #Constraints:      32301
1210.99/1250.72	c #Conflicts:     319000 | #Constraints:      33301
1210.99/1250.72	c #Conflicts:     320000 | #Constraints:      34301
1210.99/1250.72	c #Conflicts:     321000 | #Constraints:      35301
1210.99/1250.72	c INPROCESSING
1210.99/1250.72	c GARBAGE COLLECT
1210.99/1250.72	c rational objective 1615
1219.17/1258.95	c #Conflicts:     322000 | #Constraints:      24893
1219.17/1258.95	c #Conflicts:     323000 | #Constraints:      25893
1219.17/1258.95	c bounds 1873 >= 1588 @ 1208.47
1219.38/1259.13	c bounds 1872 >= 1588 @ 1208.65
1219.47/1259.23	c bounds 1871 >= 1588 @ 1208.75
1238.17/1280.32	c #Conflicts:     324000 | #Constraints:      26896
1238.17/1280.32	c #Conflicts:     325000 | #Constraints:      27896
1238.17/1280.32	c #Conflicts:     326000 | #Constraints:      28896
1238.17/1280.32	c #Conflicts:     327000 | #Constraints:      29896
1238.17/1280.32	c #Conflicts:     328000 | #Constraints:      30896
1238.17/1280.32	c #Conflicts:     329000 | #Constraints:      31896
1238.17/1280.32	c bounds 1870 >= 1588 @ 1227.24
1298.31/1340.64	c #Conflicts:     330000 | #Constraints:      32906
1298.31/1340.64	c #Conflicts:     331000 | #Constraints:      33906
1298.31/1340.64	c #Conflicts:     332000 | #Constraints:      34906
1298.31/1340.64	c #Conflicts:     333000 | #Constraints:      35906
1298.31/1340.64	c INPROCESSING
1298.31/1340.64	c GARBAGE COLLECT
1298.31/1340.64	c #Conflicts:     334000 | #Constraints:      25235
1298.31/1340.64	c #Conflicts:     335000 | #Constraints:      26235
1298.31/1340.64	c #Conflicts:     336000 | #Constraints:      27235
1298.31/1340.64	c #Conflicts:     337000 | #Constraints:      28235
1298.31/1340.64	c bounds 1870 >= 1589 @ 1287.14
1318.25/1360.62	c #Conflicts:     338000 | #Constraints:      29553
1318.25/1360.62	c #Conflicts:     339000 | #Constraints:      30553
1318.25/1360.62	c #Conflicts:     340000 | #Constraints:      31553
1318.25/1360.62	c #Conflicts:     341000 | #Constraints:      32553
1318.25/1360.62	c #Conflicts:     342000 | #Constraints:      33553
1318.25/1360.62	c #Conflicts:     343000 | #Constraints:      34553
1318.25/1360.62	c #Conflicts:     344000 | #Constraints:      35553
1318.25/1360.62	c #Conflicts:     345000 | #Constraints:      36553
1318.25/1360.62	c INPROCESSING
1318.25/1360.62	c GARBAGE COLLECT
1318.25/1360.62	c #Conflicts:     346000 | #Constraints:      26113
1318.25/1360.62	c #Conflicts:     347000 | #Constraints:      27113
1318.25/1360.62	c #Conflicts:     348000 | #Constraints:      28113
1318.25/1360.62	c #Conflicts:     349000 | #Constraints:      29113
1318.25/1360.62	c #Conflicts:     350000 | #Constraints:      30113
1318.25/1360.62	c #Conflicts:     351000 | #Constraints:      31113
1318.25/1360.62	c #Conflicts:     352000 | #Constraints:      32113
1318.25/1360.62	c #Conflicts:     353000 | #Constraints:      33113
1318.25/1360.62	c #Conflicts:     354000 | #Constraints:      34113
1318.25/1360.62	c #Conflicts:     355000 | #Constraints:      35113
1318.25/1360.62	c #Conflicts:     356000 | #Constraints:      36113
1318.25/1360.62	c #Conflicts:     357000 | #Constraints:      37113
1318.25/1360.62	c INPROCESSING
1318.25/1360.62	c GARBAGE COLLECT
1318.25/1360.62	c bounds 1869 >= 1589 @ 1306.81
1318.25/1360.69	c bounds 1868 >= 1589 @ 1306.87
1318.46/1360.89	c bounds 1867 >= 1589 @ 1307.06
1318.65/1361.03	c bounds 1866 >= 1589 @ 1307.19
1323.05/1365.50	c #Conflicts:     358000 | #Constraints:      26857
1323.05/1365.50	c #Conflicts:     359000 | #Constraints:      27857
1323.05/1365.50	c bounds 1865 >= 1589 @ 1311.4
1326.13/1368.65	c #Conflicts:     360000 | #Constraints:      28858
1326.13/1368.65	c bounds 1864 >= 1589 @ 1314.49
1326.73/1369.21	c bounds 1863 >= 1589 @ 1315.03
1523.79/1566.81	c #Conflicts:     361000 | #Constraints:      29860
1523.79/1566.81	c #Conflicts:     362000 | #Constraints:      30860
1523.79/1566.81	c #Conflicts:     363000 | #Constraints:      31860
1523.79/1566.81	c #Conflicts:     364000 | #Constraints:      32860
1523.79/1566.81	c #Conflicts:     365000 | #Constraints:      33860
1523.79/1566.81	c #Conflicts:     366000 | #Constraints:      34860
1523.79/1566.81	c #Conflicts:     367000 | #Constraints:      35860
1523.79/1566.81	c #Conflicts:     368000 | #Constraints:      36860
1523.79/1566.81	c #Conflicts:     369000 | #Constraints:      37860
1523.79/1566.81	c INPROCESSING
1523.79/1566.81	c GARBAGE COLLECT
1523.79/1566.81	c #Conflicts:     370000 | #Constraints:      26015
1523.79/1566.81	c #Conflicts:     371000 | #Constraints:      27015
1523.79/1566.81	c #Conflicts:     372000 | #Constraints:      28015
1523.79/1566.81	c #Conflicts:     373000 | #Constraints:      29015
1523.79/1566.81	c #Conflicts:     374000 | #Constraints:      30015
1523.79/1566.81	c #Conflicts:     375000 | #Constraints:      31015
1523.79/1566.81	c #Conflicts:     376000 | #Constraints:      32015
1523.79/1566.81	c #Conflicts:     377000 | #Constraints:      33015
1523.79/1566.81	c #Conflicts:     378000 | #Constraints:      34015
1523.79/1566.81	c #Conflicts:     379000 | #Constraints:      35015
1523.79/1566.81	c #Conflicts:     380000 | #Constraints:      36015
1523.79/1566.81	c #Conflicts:     381000 | #Constraints:      37015
1523.79/1566.81	c INPROCESSING
1523.79/1566.81	c GARBAGE COLLECT
1523.79/1566.81	c #Conflicts:     382000 | #Constraints:      25742
1523.79/1566.81	c #Conflicts:     383000 | #Constraints:      26742
1523.79/1566.81	c #Conflicts:     384000 | #Constraints:      27742
1523.79/1566.81	c #Conflicts:     385000 | #Constraints:      28742
1523.79/1566.81	c #Conflicts:     386000 | #Constraints:      29742
1523.79/1566.81	c #Conflicts:     387000 | #Constraints:      30742
1523.79/1566.81	c #Conflicts:     388000 | #Constraints:      31742
1523.79/1566.81	c #Conflicts:     389000 | #Constraints:      32742
1523.79/1566.81	c #Conflicts:     390000 | #Constraints:      33742
1523.79/1566.81	c #Conflicts:     391000 | #Constraints:      34742
1523.79/1566.81	c #Conflicts:     392000 | #Constraints:      35742
1523.79/1566.81	c #Conflicts:     393000 | #Constraints:      36742
1523.79/1566.81	c #Conflicts:     394000 | #Constraints:      37742
1523.79/1566.81	c INPROCESSING
1523.79/1566.81	c GARBAGE COLLECT
1523.79/1566.81	c #Conflicts:     395000 | #Constraints:      26347
1523.79/1566.81	c #Conflicts:     396000 | #Constraints:      27347
1523.79/1566.81	c #Conflicts:     397000 | #Constraints:      28347
1523.79/1566.81	c #Conflicts:     398000 | #Constraints:      29347
1523.79/1566.81	c #Conflicts:     399000 | #Constraints:      30347
1523.79/1566.81	c #Conflicts:     400000 | #Constraints:      31347
1523.79/1566.81	c #Conflicts:     401000 | #Constraints:      32347
1523.79/1566.81	c #Conflicts:     402000 | #Constraints:      33347
1523.79/1566.81	c #Conflicts:     403000 | #Constraints:      34347
1523.79/1566.81	c #Conflicts:     404000 | #Constraints:      35347
1523.79/1566.81	c #Conflicts:     405000 | #Constraints:      36347
1523.79/1566.81	c #Conflicts:     406000 | #Constraints:      37347
1523.79/1566.81	c #Conflicts:     407000 | #Constraints:      38347
1523.79/1566.81	c INPROCESSING
1523.79/1566.81	c GARBAGE COLLECT
1523.79/1566.81	c rational objective 1615
1727.29/1770.95	c #Conflicts:     408000 | #Constraints:      27211
1727.29/1770.95	c #Conflicts:     409000 | #Constraints:      28211
1727.29/1770.95	c #Conflicts:     410000 | #Constraints:      29211
1727.29/1770.95	c #Conflicts:     411000 | #Constraints:      30211
1727.29/1770.95	c #Conflicts:     412000 | #Constraints:      31211
1727.29/1770.95	c #Conflicts:     413000 | #Constraints:      32211
1727.29/1770.95	c #Conflicts:     414000 | #Constraints:      33211
1727.29/1770.95	c #Conflicts:     415000 | #Constraints:      34211
1727.29/1770.95	c #Conflicts:     416000 | #Constraints:      35211
1727.29/1770.95	c #Conflicts:     417000 | #Constraints:      36211
1727.29/1770.95	c #Conflicts:     418000 | #Constraints:      37211
1727.29/1770.95	c #Conflicts:     419000 | #Constraints:      38211
1727.29/1770.95	c #Conflicts:     420000 | #Constraints:      39211
1727.29/1770.95	c INPROCESSING
1727.29/1770.95	c GARBAGE COLLECT
1727.29/1770.95	c #Conflicts:     421000 | #Constraints:      27674
1727.29/1770.95	c #Conflicts:     422000 | #Constraints:      28674
1727.29/1770.95	c #Conflicts:     423000 | #Constraints:      29674
1727.29/1770.95	c #Conflicts:     424000 | #Constraints:      30674
1727.29/1770.95	c #Conflicts:     425000 | #Constraints:      31674
1727.29/1770.95	c #Conflicts:     426000 | #Constraints:      32674
1727.29/1770.95	c #Conflicts:     427000 | #Constraints:      33674
1727.29/1770.95	c #Conflicts:     428000 | #Constraints:      34674
1727.29/1770.95	c #Conflicts:     429000 | #Constraints:      35674
1727.29/1770.95	c #Conflicts:     430000 | #Constraints:      36674
1727.29/1770.95	c #Conflicts:     431000 | #Constraints:      37674
1727.29/1770.95	c #Conflicts:     432000 | #Constraints:      38674
1727.29/1770.95	c #Conflicts:     433000 | #Constraints:      39674
1727.29/1770.95	c INPROCESSING
1727.29/1770.95	c GARBAGE COLLECT
1727.29/1770.95	c #Conflicts:     434000 | #Constraints:      27767
1727.29/1770.95	c #Conflicts:     435000 | #Constraints:      28767
1727.29/1770.95	c #Conflicts:     436000 | #Constraints:      29767
1727.29/1770.95	c #Conflicts:     437000 | #Constraints:      30767
1727.29/1770.95	c #Conflicts:     438000 | #Constraints:      31767
1727.29/1770.95	c #Conflicts:     439000 | #Constraints:      32767
1727.29/1770.95	c #Conflicts:     440000 | #Constraints:      33767
1727.29/1770.95	c #Conflicts:     441000 | #Constraints:      34767
1727.29/1770.95	c #Conflicts:     442000 | #Constraints:      35767
1727.29/1770.95	c #Conflicts:     443000 | #Constraints:      36767
1727.29/1770.95	c #Conflicts:     444000 | #Constraints:      37767
1727.29/1770.95	c #Conflicts:     445000 | #Constraints:      38767
1727.29/1770.95	c #Conflicts:     446000 | #Constraints:      39767
1727.29/1770.95	c INPROCESSING
1727.29/1770.95	c GARBAGE COLLECT
1727.29/1770.95	c rational objective 1615
1862.31/1906.46	c #Conflicts:     447000 | #Constraints:      27618
1862.31/1906.46	c #Conflicts:     448000 | #Constraints:      28618
1862.31/1906.46	c #Conflicts:     449000 | #Constraints:      29618
1862.31/1906.46	c #Conflicts:     450000 | #Constraints:      30618
1862.31/1906.46	c #Conflicts:     451000 | #Constraints:      31618
1862.31/1906.46	c #Conflicts:     452000 | #Constraints:      32618
1862.31/1906.46	c #Conflicts:     453000 | #Constraints:      33618
1862.31/1906.46	c #Conflicts:     454000 | #Constraints:      34618
1862.31/1906.46	c #Conflicts:     455000 | #Constraints:      35618
1862.31/1906.46	c #Conflicts:     456000 | #Constraints:      36618
1862.31/1906.46	c #Conflicts:     457000 | #Constraints:      37618
1862.31/1906.46	c #Conflicts:     458000 | #Constraints:      38618
1862.31/1906.46	c #Conflicts:     459000 | #Constraints:      39618
1862.31/1906.46	c #Conflicts:     460000 | #Constraints:      40618
1862.31/1906.46	c INPROCESSING
1862.31/1906.46	c GARBAGE COLLECT
1862.31/1906.46	c #Conflicts:     461000 | #Constraints:      28261
1862.31/1906.46	c #Conflicts:     462000 | #Constraints:      29261
1862.31/1906.46	c #Conflicts:     463000 | #Constraints:      30261
1862.31/1906.46	c #Conflicts:     464000 | #Constraints:      31261
1862.31/1906.46	c #Conflicts:     465000 | #Constraints:      32261
1862.31/1906.46	c #Conflicts:     466000 | #Constraints:      33261
1862.31/1906.46	c #Conflicts:     467000 | #Constraints:      34261
1862.31/1906.46	c #Conflicts:     468000 | #Constraints:      35261
1862.31/1906.46	c #Conflicts:     469000 | #Constraints:      36261
1862.31/1906.46	c #Conflicts:     470000 | #Constraints:      37261
1862.31/1906.46	c #Conflicts:     471000 | #Constraints:      38261
1862.31/1906.46	c #Conflicts:     472000 | #Constraints:      39261
1862.31/1906.46	c #Conflicts:     473000 | #Constraints:      40261
1862.31/1906.46	c #Conflicts:     474000 | #Constraints:      41261
1862.31/1906.46	c INPROCESSING
1862.31/1906.46	c GARBAGE COLLECT
1862.31/1906.46	c #Conflicts:     475000 | #Constraints:      28669
1862.31/1906.46	c #Conflicts:     476000 | #Constraints:      29669
1862.31/1906.46	c #Conflicts:     477000 | #Constraints:      30669
1862.31/1906.46	c #Conflicts:     478000 | #Constraints:      31669
1862.31/1906.46	c #Conflicts:     479000 | #Constraints:      32669
1862.31/1906.46	c #Conflicts:     480000 | #Constraints:      33669
1862.31/1906.46	c #Conflicts:     481000 | #Constraints:      34669
1862.31/1906.46	c #Conflicts:     482000 | #Constraints:      35669
1862.31/1906.46	c #Conflicts:     483000 | #Constraints:      36669
1862.31/1906.46	c #Conflicts:     484000 | #Constraints:      37669
1862.31/1906.46	c #Conflicts:     485000 | #Constraints:      38669
1862.31/1906.46	c #Conflicts:     486000 | #Constraints:      39669
1862.31/1906.46	c #Conflicts:     487000 | #Constraints:      40669
1862.31/1906.46	c #Conflicts:     488000 | #Constraints:      41669
1862.31/1906.46	c INPROCESSING
1862.31/1906.46	c GARBAGE COLLECT
1862.31/1906.46	c #Conflicts:     489000 | #Constraints:      28889
1862.31/1906.46	c #Conflicts:     490000 | #Constraints:      29889
1862.31/1906.46	c #Conflicts:     491000 | #Constraints:      30889
1862.31/1906.46	c #Conflicts:     492000 | #Constraints:      31889
1862.31/1906.46	c #Conflicts:     493000 | #Constraints:      32889
1862.31/1906.46	c #Conflicts:     494000 | #Constraints:      33889
1862.31/1906.46	c #Conflicts:     495000 | #Constraints:      34889
1862.31/1906.46	c #Conflicts:     496000 | #Constraints:      35889
1862.31/1906.46	c #Conflicts:     497000 | #Constraints:      36889
1862.31/1906.46	c #Conflicts:     498000 | #Constraints:      37889
1862.31/1906.46	c #Conflicts:     499000 | #Constraints:      38889
1862.31/1906.46	c #Conflicts:     500000 | #Constraints:      39889
1862.31/1906.46	c #Conflicts:     501000 | #Constraints:      40889
1862.31/1906.46	c #Conflicts:     502000 | #Constraints:      41889
1862.31/1906.46	c INPROCESSING
1862.31/1906.46	c GARBAGE COLLECT
1862.31/1906.46	c bounds 1862 >= 1589 @ 1847.18
2088.17/2132.94	c #Conflicts:     503000 | #Constraints:      28895
2088.17/2132.94	c #Conflicts:     504000 | #Constraints:      29895
2088.17/2132.94	c #Conflicts:     505000 | #Constraints:      30895
2088.17/2132.94	c #Conflicts:     506000 | #Constraints:      31895
2088.17/2132.94	c #Conflicts:     507000 | #Constraints:      32895
2088.17/2132.94	c #Conflicts:     508000 | #Constraints:      33895
2088.17/2132.94	c #Conflicts:     509000 | #Constraints:      34895
2088.17/2132.94	c #Conflicts:     510000 | #Constraints:      35895
2088.17/2132.94	c #Conflicts:     511000 | #Constraints:      36895
2088.17/2132.94	c #Conflicts:     512000 | #Constraints:      37895
2088.17/2132.94	c #Conflicts:     513000 | #Constraints:      38895
2088.17/2132.94	c #Conflicts:     514000 | #Constraints:      39895
2088.17/2132.94	c #Conflicts:     515000 | #Constraints:      40895
2088.17/2132.94	c #Conflicts:     516000 | #Constraints:      41895
2088.17/2132.94	c INPROCESSING
2088.17/2132.94	c GARBAGE COLLECT
2088.17/2132.94	c #Conflicts:     517000 | #Constraints:      27815
2088.17/2132.94	c #Conflicts:     518000 | #Constraints:      28815
2088.17/2132.94	c #Conflicts:     519000 | #Constraints:      29815
2088.17/2132.94	c #Conflicts:     520000 | #Constraints:      30815
2088.17/2132.94	c #Conflicts:     521000 | #Constraints:      31815
2088.17/2132.94	c #Conflicts:     522000 | #Constraints:      32815
2088.17/2132.94	c #Conflicts:     523000 | #Constraints:      33815
2088.17/2132.94	c #Conflicts:     524000 | #Constraints:      34815
2088.17/2132.94	c #Conflicts:     525000 | #Constraints:      35815
2088.17/2132.94	c #Conflicts:     526000 | #Constraints:      36815
2088.17/2132.94	c #Conflicts:     527000 | #Constraints:      37815
2088.17/2132.94	c #Conflicts:     528000 | #Constraints:      38815
2088.17/2132.94	c #Conflicts:     529000 | #Constraints:      39815
2088.17/2132.94	c #Conflicts:     530000 | #Constraints:      40815
2088.17/2132.94	c #Conflicts:     531000 | #Constraints:      41815
2088.17/2132.94	c INPROCESSING
2088.17/2132.94	c GARBAGE COLLECT
2088.17/2132.94	c #Conflicts:     532000 | #Constraints:      28757
2088.17/2132.94	c #Conflicts:     533000 | #Constraints:      29757
2088.17/2132.94	c #Conflicts:     534000 | #Constraints:      30757
2088.17/2132.94	c #Conflicts:     535000 | #Constraints:      31757
2088.17/2132.94	c #Conflicts:     536000 | #Constraints:      32757
2088.17/2132.94	c #Conflicts:     537000 | #Constraints:      33757
2088.17/2132.94	c #Conflicts:     538000 | #Constraints:      34757
2088.17/2132.94	c #Conflicts:     539000 | #Constraints:      35757
2088.17/2132.94	c #Conflicts:     540000 | #Constraints:      36757
2088.17/2132.94	c #Conflicts:     541000 | #Constraints:      37757
2088.17/2132.94	c #Conflicts:     542000 | #Constraints:      38757
2088.17/2132.94	c #Conflicts:     543000 | #Constraints:      39757
2088.17/2132.94	c #Conflicts:     544000 | #Constraints:      40757
2088.17/2132.94	c #Conflicts:     545000 | #Constraints:      41757
2088.17/2132.94	c #Conflicts:     546000 | #Constraints:      42757
2088.17/2132.94	c INPROCESSING
2088.17/2132.94	c GARBAGE COLLECT
2088.17/2132.94	c #Conflicts:     547000 | #Constraints:      29329
2088.17/2132.94	c #Conflicts:     548000 | #Constraints:      30329
2088.17/2132.94	c #Conflicts:     549000 | #Constraints:      31329
2088.17/2132.94	c #Conflicts:     550000 | #Constraints:      32329
2088.17/2132.94	c #Conflicts:     551000 | #Constraints:      33329
2088.17/2132.94	c #Conflicts:     552000 | #Constraints:      34329
2088.17/2132.94	c #Conflicts:     553000 | #Constraints:      35329
2088.17/2132.94	c #Conflicts:     554000 | #Constraints:      36329
2088.17/2132.94	c #Conflicts:     555000 | #Constraints:      37329
2088.17/2132.94	c #Conflicts:     556000 | #Constraints:      38329
2088.17/2132.94	c #Conflicts:     557000 | #Constraints:      39329
2088.17/2132.94	c #Conflicts:     558000 | #Constraints:      40329
2088.17/2132.94	c #Conflicts:     559000 | #Constraints:      41329
2088.17/2132.94	c #Conflicts:     560000 | #Constraints:      42329
2088.17/2132.94	c #Conflicts:     561000 | #Constraints:      43329
2088.17/2132.94	c INPROCESSING
2088.17/2132.94	c GARBAGE COLLECT
2088.17/2132.94	c rational objective 1615
2094.26/2139.07	c bounds 1861 >= 1589 @ 2077.47
2097.95/2142.78	c #Conflicts:     562000 | #Constraints:      29628
2097.95/2142.78	c #Conflicts:     563000 | #Constraints:      30628
2097.95/2142.78	c bounds 1860 >= 1589 @ 2081.03
2101.03/2145.80	c #Conflicts:     564000 | #Constraints:      31629
2101.03/2145.80	c bounds 1859 >= 1589 @ 2083.98
2109.70/2154.65	c #Conflicts:     565000 | #Constraints:      32630
2109.70/2154.65	c #Conflicts:     566000 | #Constraints:      33630
2109.70/2154.65	c #Conflicts:     567000 | #Constraints:      34630
2109.70/2154.65	c bounds 1858 >= 1589 @ 2092.48
2126.75/2171.73	c #Conflicts:     568000 | #Constraints:      35631
2126.75/2171.73	c #Conflicts:     569000 | #Constraints:      36631
2126.75/2171.73	c #Conflicts:     570000 | #Constraints:      37631
2126.75/2171.73	c #Conflicts:     571000 | #Constraints:      38631
2126.75/2171.73	c #Conflicts:     572000 | #Constraints:      39631
2126.75/2171.73	c #Conflicts:     573000 | #Constraints:      40631
2126.75/2171.73	c #Conflicts:     574000 | #Constraints:      41631
2126.75/2171.73	c #Conflicts:     575000 | #Constraints:      42631
2126.75/2171.73	c #Conflicts:     576000 | #Constraints:      43631
2126.75/2171.73	c INPROCESSING
2126.75/2171.73	c GARBAGE COLLECT
2126.75/2171.73	c bounds 1857 >= 1589 @ 2109.38
2126.96/2171.96	c bounds 1856 >= 1589 @ 2109.61
2127.06/2172.03	c bounds 1855 >= 1589 @ 2109.67
2128.05/2173.01	c bounds 1854 >= 1589 @ 2110.63
2133.14/2178.11	c #Conflicts:     577000 | #Constraints:      29448
2133.14/2178.11	c #Conflicts:     578000 | #Constraints:      30448
2133.14/2178.11	c #Conflicts:     579000 | #Constraints:      31455
2133.14/2178.11	c bounds 1853 >= 1589 @ 2115.58
2140.07/2185.27	c #Conflicts:     580000 | #Constraints:      32492
2140.07/2185.27	c #Conflicts:     581000 | #Constraints:      33526
2140.07/2185.27	c bounds 1852 >= 1589 @ 2122.35
2166.90/2212.11	c #Conflicts:     582000 | #Constraints:      34559
2166.90/2212.11	c #Conflicts:     583000 | #Constraints:      35582
2166.90/2212.11	c #Conflicts:     584000 | #Constraints:      36608
2166.90/2212.11	c #Conflicts:     585000 | #Constraints:      37633
2166.90/2212.11	c #Conflicts:     586000 | #Constraints:      38661
2166.90/2212.11	c #Conflicts:     587000 | #Constraints:      39681
2166.90/2212.11	c bounds 1851 >= 1589 @ 2148.47
2276.37/2321.99	c #Conflicts:     588000 | #Constraints:      40688
2276.37/2321.99	c #Conflicts:     589000 | #Constraints:      41688
2276.37/2321.99	c #Conflicts:     590000 | #Constraints:      42688
2276.37/2321.99	c #Conflicts:     591000 | #Constraints:      43688
2276.37/2321.99	c INPROCESSING
2276.37/2321.99	c GARBAGE COLLECT
2276.37/2321.99	c rational objective 1615
2295.99/2342.24	c #Conflicts:     592000 | #Constraints:      29175
2295.99/2342.24	c #Conflicts:     593000 | #Constraints:      30175
2295.99/2342.24	c #Conflicts:     594000 | #Constraints:      31175
2295.99/2342.24	c #Conflicts:     595000 | #Constraints:      32175
2295.99/2342.24	c #Conflicts:     596000 | #Constraints:      33175
2295.99/2342.24	c #Conflicts:     597000 | #Constraints:      34175
2295.99/2342.24	c #Conflicts:     598000 | #Constraints:      35175
2295.99/2342.24	c #Conflicts:     599000 | #Constraints:      36175
2295.99/2342.24	c #Conflicts:     600000 | #Constraints:      37175
2295.99/2342.24	c #Conflicts:     601000 | #Constraints:      38175
2295.99/2342.24	c #Conflicts:     602000 | #Constraints:      39175
2295.99/2342.24	c #Conflicts:     603000 | #Constraints:      40175
2295.99/2342.24	c #Conflicts:     604000 | #Constraints:      41175
2295.99/2342.24	c #Conflicts:     605000 | #Constraints:      42175
2295.99/2342.24	c #Conflicts:     606000 | #Constraints:      43175
2295.99/2342.24	c #Conflicts:     607000 | #Constraints:      44175
2295.99/2342.24	c INPROCESSING
2295.99/2342.24	c GARBAGE COLLECT
2295.99/2342.24	c bounds 1850 >= 1589 @ 2276.98
2301.57/2347.85	c #Conflicts:     608000 | #Constraints:      30071
2301.57/2347.85	c #Conflicts:     609000 | #Constraints:      31071
2301.57/2347.85	c bounds 1849 >= 1589 @ 2282.51
2310.47/2356.86	c #Conflicts:     610000 | #Constraints:      32072
2310.47/2356.86	c #Conflicts:     611000 | #Constraints:      33072
2310.47/2356.86	c #Conflicts:     612000 | #Constraints:      34072
2310.47/2356.86	c bounds 1848 >= 1589 @ 2291.31
2348.05/2394.55	c #Conflicts:     613000 | #Constraints:      35073
2348.05/2394.55	c #Conflicts:     614000 | #Constraints:      36073
2348.05/2394.55	c #Conflicts:     615000 | #Constraints:      37073
2348.05/2394.55	c #Conflicts:     616000 | #Constraints:      38073
2348.05/2394.55	c #Conflicts:     617000 | #Constraints:      39073
2348.05/2394.55	c #Conflicts:     618000 | #Constraints:      40073
2348.05/2394.55	c #Conflicts:     619000 | #Constraints:      41073
2348.05/2394.55	c #Conflicts:     620000 | #Constraints:      42073
2348.05/2394.55	c bounds 1847 >= 1589 @ 2328.18
2457.12/2503.96	c #Conflicts:     621000 | #Constraints:      43075
2457.12/2503.96	c #Conflicts:     622000 | #Constraints:      44075
2457.12/2503.96	c #Conflicts:     623000 | #Constraints:      45075
2457.12/2503.96	c INPROCESSING
2457.12/2503.96	c GARBAGE COLLECT
2457.12/2503.96	c rational objective 1615
2607.45/2656.59	c #Conflicts:     624000 | #Constraints:      29910
2607.45/2656.59	c #Conflicts:     625000 | #Constraints:      30910
2607.45/2656.59	c #Conflicts:     626000 | #Constraints:      31910
2607.45/2656.59	c #Conflicts:     627000 | #Constraints:      32910
2607.45/2656.59	c #Conflicts:     628000 | #Constraints:      33910
2607.45/2656.59	c #Conflicts:     629000 | #Constraints:      34910
2607.45/2656.59	c #Conflicts:     630000 | #Constraints:      35910
2607.45/2656.59	c #Conflicts:     631000 | #Constraints:      36910
2607.45/2656.59	c #Conflicts:     632000 | #Constraints:      37910
2607.45/2656.59	c #Conflicts:     633000 | #Constraints:      38910
2607.45/2656.59	c #Conflicts:     634000 | #Constraints:      39910
2607.45/2656.59	c #Conflicts:     635000 | #Constraints:      40910
2607.45/2656.59	c #Conflicts:     636000 | #Constraints:      41910
2607.45/2656.59	c #Conflicts:     637000 | #Constraints:      42910
2607.45/2656.59	c #Conflicts:     638000 | #Constraints:      43910
2607.45/2656.59	c #Conflicts:     639000 | #Constraints:      44910
2607.45/2656.59	c INPROCESSING
2607.45/2656.59	c GARBAGE COLLECT
2607.45/2656.59	c #Conflicts:     640000 | #Constraints:      29902
2607.45/2656.59	c #Conflicts:     641000 | #Constraints:      30902
2607.45/2656.59	c #Conflicts:     642000 | #Constraints:      31902
2607.45/2656.59	c #Conflicts:     643000 | #Constraints:      32902
2607.45/2656.59	c #Conflicts:     644000 | #Constraints:      33902
2607.45/2656.59	c #Conflicts:     645000 | #Constraints:      34902
2607.45/2656.59	c #Conflicts:     646000 | #Constraints:      35902
2607.45/2656.59	c #Conflicts:     647000 | #Constraints:      36902
2607.45/2656.59	c #Conflicts:     648000 | #Constraints:      37902
2607.45/2656.59	c #Conflicts:     649000 | #Constraints:      38902
2607.45/2656.59	c #Conflicts:     650000 | #Constraints:      39902
2607.45/2656.59	c #Conflicts:     651000 | #Constraints:      40902
2607.45/2656.59	c #Conflicts:     652000 | #Constraints:      41902
2607.45/2656.59	c #Conflicts:     653000 | #Constraints:      42902
2607.45/2656.59	c #Conflicts:     654000 | #Constraints:      43902
2607.45/2656.59	c #Conflicts:     655000 | #Constraints:      44902
2607.45/2656.59	c INPROCESSING
2607.45/2656.59	c GARBAGE COLLECT
2607.45/2656.59	c #Conflicts:     656000 | #Constraints:      29819
2607.45/2656.59	c #Conflicts:     657000 | #Constraints:      30819
2607.45/2656.59	c #Conflicts:     658000 | #Constraints:      31819
2607.45/2656.59	c #Conflicts:     659000 | #Constraints:      32819
2607.45/2656.59	c #Conflicts:     660000 | #Constraints:      33819
2607.45/2656.59	c #Conflicts:     661000 | #Constraints:      34819
2607.45/2656.59	c #Conflicts:     662000 | #Constraints:      35819
2607.45/2656.59	c #Conflicts:     663000 | #Constraints:      36819
2607.45/2656.59	c #Conflicts:     664000 | #Constraints:      37819
2607.45/2656.59	c #Conflicts:     665000 | #Constraints:      38819
2607.45/2656.59	c #Conflicts:     666000 | #Constraints:      39819
2607.45/2656.59	c #Conflicts:     667000 | #Constraints:      40819
2607.45/2656.59	c #Conflicts:     668000 | #Constraints:      41819
2607.45/2656.59	c #Conflicts:     669000 | #Constraints:      42819
2607.45/2656.59	c #Conflicts:     670000 | #Constraints:      43819
2607.45/2656.59	c #Conflicts:     671000 | #Constraints:      44819
2607.45/2656.59	c INPROCESSING
2607.45/2656.59	c GARBAGE COLLECT
2607.45/2656.59	c rational objective 1615
2615.77/2664.99	c #Conflicts:     672000 | #Constraints:      29611
2615.77/2664.99	c #Conflicts:     673000 | #Constraints:      30611
2615.77/2664.99	c bounds 1846 >= 1589 @ 2594.43
2660.15/2709.44	c #Conflicts:     674000 | #Constraints:      31612
2660.15/2709.44	c #Conflicts:     675000 | #Constraints:      32612
2660.15/2709.44	c #Conflicts:     676000 | #Constraints:      33612
2660.15/2709.44	c #Conflicts:     677000 | #Constraints:      34612
2660.15/2709.44	c #Conflicts:     678000 | #Constraints:      35612
2660.15/2709.44	c #Conflicts:     679000 | #Constraints:      36612
2660.15/2709.44	c #Conflicts:     680000 | #Constraints:      37612
2660.15/2709.44	c #Conflicts:     681000 | #Constraints:      38612
2660.15/2709.44	c #Conflicts:     682000 | #Constraints:      39612
2660.15/2709.44	c #Conflicts:     683000 | #Constraints:      40612
2660.15/2709.44	c #Conflicts:     684000 | #Constraints:      41612
2660.15/2709.44	c #Conflicts:     685000 | #Constraints:      42612
2660.15/2709.44	c #Conflicts:     686000 | #Constraints:      43612
2660.15/2709.44	c bounds 1845 >= 1589 @ 2637.95
2693.16/2742.52	c #Conflicts:     687000 | #Constraints:      44613
2693.16/2742.52	c #Conflicts:     688000 | #Constraints:      45613
2693.16/2742.52	c INPROCESSING
2693.16/2742.52	c GARBAGE COLLECT
2693.16/2742.52	c rational objective 1615
2868.52/2920.15	c #Conflicts:     689000 | #Constraints:      30160
2868.52/2920.15	c #Conflicts:     690000 | #Constraints:      31160
2868.52/2920.15	c #Conflicts:     691000 | #Constraints:      32160
2868.52/2920.15	c #Conflicts:     692000 | #Constraints:      33160
2868.52/2920.15	c #Conflicts:     693000 | #Constraints:      34160
2868.52/2920.15	c #Conflicts:     694000 | #Constraints:      35160
2868.52/2920.15	c #Conflicts:     695000 | #Constraints:      36160
2868.52/2920.15	c #Conflicts:     696000 | #Constraints:      37160
2868.52/2920.15	c #Conflicts:     697000 | #Constraints:      38160
2868.52/2920.15	c #Conflicts:     698000 | #Constraints:      39160
2868.52/2920.15	c #Conflicts:     699000 | #Constraints:      40160
2868.52/2920.15	c #Conflicts:     700000 | #Constraints:      41160
2868.52/2920.15	c #Conflicts:     701000 | #Constraints:      42160
2868.52/2920.15	c #Conflicts:     702000 | #Constraints:      43160
2868.52/2920.15	c #Conflicts:     703000 | #Constraints:      44160
2868.52/2920.15	c #Conflicts:     704000 | #Constraints:      45160
2868.52/2920.15	c #Conflicts:     705000 | #Constraints:      46160
2868.52/2920.15	c INPROCESSING
2868.52/2920.15	c GARBAGE COLLECT
2868.52/2920.15	c #Conflicts:     706000 | #Constraints:      30717
2868.52/2920.15	c #Conflicts:     707000 | #Constraints:      31717
2868.52/2920.15	c #Conflicts:     708000 | #Constraints:      32717
2868.52/2920.15	c #Conflicts:     709000 | #Constraints:      33717
2868.52/2920.15	c #Conflicts:     710000 | #Constraints:      34717
2868.52/2920.15	c #Conflicts:     711000 | #Constraints:      35717
2868.52/2920.15	c #Conflicts:     712000 | #Constraints:      36717
2868.52/2920.15	c #Conflicts:     713000 | #Constraints:      37717
2868.52/2920.15	c #Conflicts:     714000 | #Constraints:      38717
2868.52/2920.15	c #Conflicts:     715000 | #Constraints:      39717
2868.52/2920.15	c #Conflicts:     716000 | #Constraints:      40717
2868.52/2920.15	c #Conflicts:     717000 | #Constraints:      41717
2868.52/2920.15	c #Conflicts:     718000 | #Constraints:      42717
2868.52/2920.15	c #Conflicts:     719000 | #Constraints:      43717
2868.52/2920.15	c #Conflicts:     720000 | #Constraints:      44717
2868.52/2920.15	c #Conflicts:     721000 | #Constraints:      45717
2868.52/2920.15	c #Conflicts:     722000 | #Constraints:      46717
2868.52/2920.15	c INPROCESSING
2868.52/2920.15	c GARBAGE COLLECT
2868.52/2920.15	c rational objective 1615
2982.77/3034.75	c #Conflicts:     723000 | #Constraints:      30986
2982.77/3034.75	c #Conflicts:     724000 | #Constraints:      31986
2982.77/3034.75	c #Conflicts:     725000 | #Constraints:      32986
2982.77/3034.75	c #Conflicts:     726000 | #Constraints:      33986
2982.77/3034.75	c #Conflicts:     727000 | #Constraints:      34986
2982.77/3034.75	c #Conflicts:     728000 | #Constraints:      35986
2982.77/3034.75	c #Conflicts:     729000 | #Constraints:      36986
2982.77/3034.75	c #Conflicts:     730000 | #Constraints:      37986
2982.77/3034.75	c #Conflicts:     731000 | #Constraints:      38986
2982.77/3034.75	c #Conflicts:     732000 | #Constraints:      39986
2982.77/3034.75	c #Conflicts:     733000 | #Constraints:      40986
2982.77/3034.75	c #Conflicts:     734000 | #Constraints:      41986
2982.77/3034.75	c #Conflicts:     735000 | #Constraints:      42986
2982.77/3034.75	c #Conflicts:     736000 | #Constraints:      43986
2982.77/3034.75	c #Conflicts:     737000 | #Constraints:      44986
2982.77/3034.75	c #Conflicts:     738000 | #Constraints:      45986
2982.77/3034.75	c #Conflicts:     739000 | #Constraints:      46986
2982.77/3034.75	c INPROCESSING
2982.77/3034.75	c GARBAGE COLLECT
2982.77/3034.75	c #Conflicts:     740000 | #Constraints:      31018
2982.77/3034.75	c #Conflicts:     741000 | #Constraints:      32018
2982.77/3034.75	c #Conflicts:     742000 | #Constraints:      33018
2982.77/3034.75	c #Conflicts:     743000 | #Constraints:      34018
2982.77/3034.75	c #Conflicts:     744000 | #Constraints:      35018
2982.77/3034.75	c #Conflicts:     745000 | #Constraints:      36018
2982.77/3034.75	c #Conflicts:     746000 | #Constraints:      37018
2982.77/3034.75	c #Conflicts:     747000 | #Constraints:      38018
2982.77/3034.75	c #Conflicts:     748000 | #Constraints:      39018
2982.77/3034.75	c #Conflicts:     749000 | #Constraints:      40018
2982.77/3034.75	c #Conflicts:     750000 | #Constraints:      41018
2982.77/3034.75	c #Conflicts:     751000 | #Constraints:      42018
2982.77/3034.75	c #Conflicts:     752000 | #Constraints:      43018
2982.77/3034.75	c #Conflicts:     753000 | #Constraints:      44018
2982.77/3034.75	c #Conflicts:     754000 | #Constraints:      45018
2982.77/3034.75	c #Conflicts:     755000 | #Constraints:      46018
2982.77/3034.75	c #Conflicts:     756000 | #Constraints:      47018
2982.77/3034.75	c INPROCESSING
2982.77/3034.75	c GARBAGE COLLECT
2982.77/3034.75	c rational objective 1615
2987.36/3039.30	c bounds 1844 >= 1589 @ 2963.45
2987.46/3039.40	c bounds 1843 >= 1589 @ 2963.54
3043.59/3095.77	c #Conflicts:     757000 | #Constraints:      31319
3043.59/3095.77	c #Conflicts:     758000 | #Constraints:      32319
3043.59/3095.77	c #Conflicts:     759000 | #Constraints:      33319
3043.59/3095.77	c #Conflicts:     760000 | #Constraints:      34319
3043.59/3095.77	c #Conflicts:     761000 | #Constraints:      35319
3043.59/3095.77	c #Conflicts:     762000 | #Constraints:      36319
3043.59/3095.77	c #Conflicts:     763000 | #Constraints:      37319
3043.59/3095.77	c #Conflicts:     764000 | #Constraints:      38319
3043.59/3095.77	c #Conflicts:     765000 | #Constraints:      39319
3043.59/3095.77	c #Conflicts:     766000 | #Constraints:      40319
3043.59/3095.77	c #Conflicts:     767000 | #Constraints:      41319
3043.59/3095.77	c #Conflicts:     768000 | #Constraints:      42319
3043.59/3095.77	c #Conflicts:     769000 | #Constraints:      43319
3043.59/3095.77	c #Conflicts:     770000 | #Constraints:      44319
3043.59/3095.77	c #Conflicts:     771000 | #Constraints:      45319
3043.59/3095.77	c #Conflicts:     772000 | #Constraints:      46319
3043.59/3095.77	c #Conflicts:     773000 | #Constraints:      47319
3043.59/3095.77	c bounds 1842 >= 1589 @ 3018.52
3155.17/3207.60	c #Conflicts:     774000 | #Constraints:      48320
3155.17/3207.60	c INPROCESSING
3155.17/3207.60	c GARBAGE COLLECT
3155.17/3207.60	c #Conflicts:     775000 | #Constraints:      31471
3155.17/3207.60	c #Conflicts:     776000 | #Constraints:      32471
3155.17/3207.60	c #Conflicts:     777000 | #Constraints:      33471
3155.17/3207.60	c #Conflicts:     778000 | #Constraints:      34471
3155.17/3207.60	c #Conflicts:     779000 | #Constraints:      35471
3155.17/3207.60	c #Conflicts:     780000 | #Constraints:      36471
3155.17/3207.60	c #Conflicts:     781000 | #Constraints:      37471
3155.17/3207.60	c #Conflicts:     782000 | #Constraints:      38471
3155.17/3207.60	c #Conflicts:     783000 | #Constraints:      39471
3155.17/3207.60	c #Conflicts:     784000 | #Constraints:      40471
3155.17/3207.60	c #Conflicts:     785000 | #Constraints:      41471
3155.17/3207.60	c #Conflicts:     786000 | #Constraints:      42471
3155.17/3207.60	c #Conflicts:     787000 | #Constraints:      43471
3155.17/3207.60	c #Conflicts:     788000 | #Constraints:      44471
3155.17/3207.60	c #Conflicts:     789000 | #Constraints:      45471
3155.17/3207.60	c #Conflicts:     790000 | #Constraints:      46471
3155.17/3207.60	c #Conflicts:     791000 | #Constraints:      47471
3155.17/3207.60	c #Conflicts:     792000 | #Constraints:      48471
3155.17/3207.60	c INPROCESSING
3155.17/3207.60	c GARBAGE COLLECT
3155.17/3207.60	c rational objective 1615
3309.40/3362.42	c #Conflicts:     793000 | #Constraints:      32259
3309.40/3362.42	c #Conflicts:     794000 | #Constraints:      33259
3309.40/3362.42	c #Conflicts:     795000 | #Constraints:      34259
3309.40/3362.42	c #Conflicts:     796000 | #Constraints:      35259
3309.40/3362.42	c #Conflicts:     797000 | #Constraints:      36259
3309.40/3362.42	c #Conflicts:     798000 | #Constraints:      37259
3309.40/3362.42	c #Conflicts:     799000 | #Constraints:      38259
3309.40/3362.42	c #Conflicts:     800000 | #Constraints:      39259
3309.40/3362.42	c #Conflicts:     801000 | #Constraints:      40259
3309.40/3362.42	c #Conflicts:     802000 | #Constraints:      41259
3309.40/3362.42	c #Conflicts:     803000 | #Constraints:      42259
3309.40/3362.42	c #Conflicts:     804000 | #Constraints:      43259
3309.40/3362.42	c #Conflicts:     805000 | #Constraints:      44259
3309.40/3362.42	c #Conflicts:     806000 | #Constraints:      45259
3309.40/3362.42	c #Conflicts:     807000 | #Constraints:      46259
3309.40/3362.42	c #Conflicts:     808000 | #Constraints:      47259
3309.40/3362.42	c #Conflicts:     809000 | #Constraints:      48259
3309.40/3362.42	c #Conflicts:     810000 | #Constraints:      49259
3309.40/3362.42	c INPROCESSING
3309.40/3362.42	c GARBAGE COLLECT
3309.40/3362.42	c #Conflicts:     811000 | #Constraints:      32651
3309.40/3362.42	c #Conflicts:     812000 | #Constraints:      33651
3309.40/3362.42	c #Conflicts:     813000 | #Constraints:      34651
3309.40/3362.42	c #Conflicts:     814000 | #Constraints:      35651
3309.40/3362.42	c #Conflicts:     815000 | #Constraints:      36651
3309.40/3362.42	c #Conflicts:     816000 | #Constraints:      37651
3309.40/3362.42	c #Conflicts:     817000 | #Constraints:      38651
3309.40/3362.42	c #Conflicts:     818000 | #Constraints:      39651
3309.40/3362.42	c #Conflicts:     819000 | #Constraints:      40651
3309.40/3362.42	c #Conflicts:     820000 | #Constraints:      41651
3309.40/3362.42	c #Conflicts:     821000 | #Constraints:      42651
3309.40/3362.42	c #Conflicts:     822000 | #Constraints:      43651
3309.40/3362.42	c #Conflicts:     823000 | #Constraints:      44651
3309.40/3362.42	c #Conflicts:     824000 | #Constraints:      45651
3309.40/3362.42	c #Conflicts:     825000 | #Constraints:      46651
3309.40/3362.42	c #Conflicts:     826000 | #Constraints:      47651
3309.40/3362.42	c #Conflicts:     827000 | #Constraints:      48651
3309.40/3362.42	c #Conflicts:     828000 | #Constraints:      49651
3309.40/3362.42	c INPROCESSING
3309.40/3362.42	c GARBAGE COLLECT
3309.40/3362.42	c rational objective 1615
3381.67/3434.93	c #Conflicts:     829000 | #Constraints:      32786
3381.67/3434.93	c #Conflicts:     830000 | #Constraints:      33786
3381.67/3434.93	c #Conflicts:     831000 | #Constraints:      34786
3381.67/3434.93	c #Conflicts:     832000 | #Constraints:      35786
3381.67/3434.93	c #Conflicts:     833000 | #Constraints:      36786
3381.67/3434.93	c #Conflicts:     834000 | #Constraints:      37786
3381.67/3434.93	c #Conflicts:     835000 | #Constraints:      38786
3381.67/3434.93	c #Conflicts:     836000 | #Constraints:      39786
3381.67/3434.93	c #Conflicts:     837000 | #Constraints:      40786
3381.67/3434.93	c #Conflicts:     838000 | #Constraints:      41786
3381.67/3434.93	c #Conflicts:     839000 | #Constraints:      42786
3381.67/3434.93	c #Conflicts:     840000 | #Constraints:      43786
3381.67/3434.93	c #Conflicts:     841000 | #Constraints:      44786
3381.67/3434.93	c #Conflicts:     842000 | #Constraints:      45786
3381.67/3434.93	c #Conflicts:     843000 | #Constraints:      46786
3381.67/3434.93	c #Conflicts:     844000 | #Constraints:      47786
3381.67/3434.93	c #Conflicts:     845000 | #Constraints:      48786
3381.67/3434.93	c #Conflicts:     846000 | #Constraints:      49786
3381.67/3434.93	c INPROCESSING
3381.67/3434.93	c GARBAGE COLLECT
3381.67/3434.93	c rational objective 1615
3409.99/3463.34	c #Conflicts:     847000 | #Constraints:      31765
3409.99/3463.34	c #Conflicts:     848000 | #Constraints:      32765
3409.99/3463.34	c #Conflicts:     849000 | #Constraints:      33765
3409.99/3463.34	c #Conflicts:     850000 | #Constraints:      34765
3409.99/3463.34	c #Conflicts:     851000 | #Constraints:      35765
3409.99/3463.34	c #Conflicts:     852000 | #Constraints:      36765
3409.99/3463.34	c #Conflicts:     853000 | #Constraints:      37765
3409.99/3463.34	c #Conflicts:     854000 | #Constraints:      38765
3409.99/3463.34	c #Conflicts:     855000 | #Constraints:      39765
3409.99/3463.34	c #Conflicts:     856000 | #Constraints:      40765
3409.99/3463.34	c #Conflicts:     857000 | #Constraints:      41765
3409.99/3463.34	c #Conflicts:     858000 | #Constraints:      42765
3409.99/3463.34	c #Conflicts:     859000 | #Constraints:      43765
3409.99/3463.34	c #Conflicts:     860000 | #Constraints:      44765
3409.99/3463.34	c #Conflicts:     861000 | #Constraints:      45765
3409.99/3463.34	c #Conflicts:     862000 | #Constraints:      46765
3409.99/3463.34	c #Conflicts:     863000 | #Constraints:      47765
3409.99/3463.34	c #Conflicts:     864000 | #Constraints:      48765
3409.99/3463.34	c #Conflicts:     865000 | #Constraints:      49765
3409.99/3463.34	c INPROCESSING
3409.99/3463.34	c GARBAGE COLLECT
3409.99/3463.34	c rational objective 1615
3495.47/3549.28	c #Conflicts:     866000 | #Constraints:      32431
3495.47/3549.28	c #Conflicts:     867000 | #Constraints:      33431
3495.47/3549.28	c #Conflicts:     868000 | #Constraints:      34431
3495.47/3549.28	c #Conflicts:     869000 | #Constraints:      35431
3495.47/3549.28	c #Conflicts:     870000 | #Constraints:      36431
3495.47/3549.28	c #Conflicts:     871000 | #Constraints:      37431
3495.47/3549.28	c #Conflicts:     872000 | #Constraints:      38431
3495.47/3549.28	c #Conflicts:     873000 | #Constraints:      39431
3495.47/3549.28	c #Conflicts:     874000 | #Constraints:      40431
3495.47/3549.28	c #Conflicts:     875000 | #Constraints:      41431
3495.47/3549.28	c #Conflicts:     876000 | #Constraints:      42431
3495.47/3549.28	c #Conflicts:     877000 | #Constraints:      43431
3495.47/3549.28	c #Conflicts:     878000 | #Constraints:      44431
3495.47/3549.28	c #Conflicts:     879000 | #Constraints:      45431
3495.47/3549.28	c #Conflicts:     880000 | #Constraints:      46431
3495.47/3549.28	c #Conflicts:     881000 | #Constraints:      47431
3495.47/3549.28	c #Conflicts:     882000 | #Constraints:      48431
3495.47/3549.28	c #Conflicts:     883000 | #Constraints:      49431
3495.47/3549.28	c #Conflicts:     884000 | #Constraints:      50431
3495.47/3549.28	c INPROCESSING
3495.47/3549.28	c GARBAGE COLLECT
3495.47/3549.28	c rational objective 1615
3599.69/3653.76	c #Conflicts:     885000 | #Constraints:      32867
3599.69/3653.76	c #Conflicts:     886000 | #Constraints:      33867
3599.69/3653.76	c #Conflicts:     887000 | #Constraints:      34867
3599.69/3653.76	c #Conflicts:     888000 | #Constraints:      35867
3599.69/3653.76	c #Conflicts:     889000 | #Constraints:      36867
3599.69/3653.76	c #Conflicts:     890000 | #Constraints:      37867
3599.69/3653.76	c #Conflicts:     891000 | #Constraints:      38867
3599.69/3653.76	c #Conflicts:     892000 | #Constraints:      39867
3599.69/3653.76	c #Conflicts:     893000 | #Constraints:      40867
3599.69/3653.76	c #Conflicts:     894000 | #Constraints:      41867
3599.69/3653.76	c #Conflicts:     895000 | #Constraints:      42867
3599.69/3653.76	c #Conflicts:     896000 | #Constraints:      43867
3599.69/3653.76	c #Conflicts:     897000 | #Constraints:      44867
3599.69/3653.76	c #Conflicts:     898000 | #Constraints:      45867
3599.69/3653.76	c #Conflicts:     899000 | #Constraints:      46867
3599.69/3653.76	c #Conflicts:     900000 | #Constraints:      47867
3599.69/3653.76	c #Conflicts:     901000 | #Constraints:      48867
3599.69/3653.76	c #Conflicts:     902000 | #Constraints:      49867
3599.69/3653.76	c #Conflicts:     903000 | #Constraints:      50867
3599.69/3653.76	c INPROCESSING
3599.69/3653.76	c GARBAGE COLLECT
3599.69/3653.76	c rational objective 1615

ERROR: no interpretation found !

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 (59358 MiB free)
  memory of node 1: 64465 MiB (58902 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520621-1751556055/watcher-4520621-1751556055 -o /tmp/evaluation-result-4520621-1751556055/solver-4520621-1751556055 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751555170-93569 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4520621-1751556055.opb PROOFDIR/proof-4520621-1751556055 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=94685, runsolver pid=94682
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 4.11 3.95 3.08 5/276 94687
/proc/meminfo: memFree=121074636/131250000 swapFree=33010160/33010684
[pid=94685] ppid=94682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/94685/stat : 94685 (run-opt-ls-log.) S 94682 94685 93530 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 71283092 4292608 736 18446744073709551615 94525963460608 94525964355141 140729726634528 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94525964594192 94525964641936 94525970255872 140729726642459 140729726642657 140729726642657 140729726648259 0
/proc/94685/statm: 1048 736 672 219 0 110 0
[pid=94687] ppid=94685 vsize=25100 memory=15980 CPUtime=0.09 cores=0,2
/proc/94687/stat : 94687 (pbsuma) R 94685 94685 93530 0 -1 4194304 3980 0 0 0 8 1 0 0 20 0 1 0 71283092 25702400 3995 18446744073709551615 4210688 4653049 140733794379824 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 27648000 140733794388195 140733794388530 140733794388530 140733794394095 0
/proc/94687/statm: 6275 3995 1024 108 0 3683 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 29292 KiB
Current children cumulated memory: 18924 KiB

[startup+0.205738 s]*
/proc/loadavg: 4.11 3.95 3.08 5/276 94687
/proc/meminfo: memFree=121073880/131250000 swapFree=33010160/33010684
[pid=94685] ppid=94682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/94685/stat : 94685 (run-opt-ls-log.) S 94682 94685 93530 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 71283092 4292608 736 18446744073709551615 94525963460608 94525964355141 140729726634528 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94525964594192 94525964641936 94525970255872 140729726642459 140729726642657 140729726642657 140729726648259 0
/proc/94685/statm: 1048 736 672 219 0 110 0
[pid=94687] ppid=94685 vsize=25100 memory=16236 CPUtime=0.19 cores=0,2
/proc/94687/stat : 94687 (pbsuma) R 94685 94685 93530 0 -1 4194304 4054 0 0 0 18 1 0 0 20 0 1 0 71283092 25702400 4059 18446744073709551615 4210688 4653049 140733794379824 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 27648000 140733794388195 140733794388530 140733794388530 140733794394095 0
/proc/94687/statm: 6275 4059 1024 108 0 3683 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 29292 KiB
Current children cumulated memory: 19180 KiB

[startup+0.305664 s]*
/proc/loadavg: 4.11 3.95 3.08 5/276 94687
/proc/meminfo: memFree=121073880/131250000 swapFree=33010160/33010684
[pid=94685] ppid=94682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/94685/stat : 94685 (run-opt-ls-log.) S 94682 94685 93530 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 71283092 4292608 736 18446744073709551615 94525963460608 94525964355141 140729726634528 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94525964594192 94525964641936 94525970255872 140729726642459 140729726642657 140729726642657 140729726648259 0
/proc/94685/statm: 1048 736 672 219 0 110 0
[pid=94687] ppid=94685 vsize=25100 memory=16876 CPUtime=0.29 cores=0,2
/proc/94687/stat : 94687 (pbsuma) R 94685 94685 93530 0 -1 4194304 4217 0 0 0 28 1 0 0 20 0 1 0 71283092 25702400 4219 18446744073709551615 4210688 4653049 140733794379824 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 27648000 140733794388195 140733794388530 140733794388530 140733794394095 0
/proc/94687/statm: 6275 4219 1024 108 0 3683 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 29292 KiB
Current children cumulated memory: 19820 KiB

[startup+0.700211 s]
/proc/loadavg: 4.11 3.95 3.08 5/276 94688
/proc/meminfo: memFree=121063424/131250000 swapFree=33010160/33010684
[pid=94685] ppid=94682 vsize=4192 memory=2944 CPUtime=0.44 cores=0,2
/proc/94685/stat : 94685 (run-opt-ls-log.) S 94682 94685 93530 0 -1 4194304 240 4544 0 0 0 0 41 3 20 0 1 0 71283092 4292608 736 18446744073709551615 94525963460608 94525964355141 140729726634528 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94525964594192 94525964641936 94525970255872 140729726642459 140729726642657 140729726642657 140729726648259 0
/proc/94685/statm: 1048 736 672 219 0 110 0
[pid=94688] ppid=94685 vsize=65792 memory=19696 CPUtime=0.18 cores=0,2
/proc/94688/stat : 94688 (roundingsat) R 94685 94685 93530 0 -1 4194304 3556 0 0 0 17 1 0 0 20 0 1 0 71283142 67371008 4924 18446744073709551615 4227072 8923433 140722502524144 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16293888 140722502531318 140722502531624 140722502531624 140722502537194 0
/proc/94688/statm: 16448 4924 2304 1147 0 3875 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 69984 KiB
Current children cumulated memory: 22640 KiB

[startup+1.50019 s]
/proc/loadavg: 4.11 3.95 3.08 5/276 94688
/proc/meminfo: memFree=121041784/131250000 swapFree=33010160/33010684
[pid=94685] ppid=94682 vsize=4192 memory=2944 CPUtime=0.44 cores=0,2
/proc/94685/stat : 94685 (run-opt-ls-log.) S 94682 94685 93530 0 -1 4194304 240 4544 0 0 0 0 41 3 20 0 1 0 71283092 4292608 736 18446744073709551615 94525963460608 94525964355141 140729726634528 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94525964594192 94525964641936 94525970255872 140729726642459 140729726642657 140729726642657 140729726648259 0
/proc/94685/statm: 1048 736 672 219 0 110 0
[pid=94688] ppid=94685 vsize=77416 memory=33992 CPUtime=0.98 cores=0,2
/proc/94688/stat : 94688 (roundingsat) R 94685 94685 93530 0 -1 4194304 6680 0 0 0 94 4 0 0 20 0 1 0 71283142 79273984 8498 18446744073709551615 4227072 8923433 140722502524144 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16293888 140722502531318 140722502531624 140722502531624 140722502537194 0
/proc/94688/statm: 19354 8498 2368 1147 0 6781 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 81608 KiB
Current children cumulated memory: 36936 KiB

[startup+3.10552 s]
/proc/loadavg: 4.10 3.95 3.09 5/276 94689
/proc/meminfo: memFree=120846872/131250000 swapFree=33010160/33010684
[pid=94685] ppid=94682 vsize=4192 memory=2944 CPUtime=0.44 cores=0,2
/proc/94685/stat : 94685 (run-opt-ls-log.) S 94682 94685 93530 0 -1 4194304 240 4544 0 0 0 0 41 3 20 0 1 0 71283092 4292608 736 18446744073709551615 94525963460608 94525964355141 140729726634528 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94525964594192 94525964641936 94525970255872 140729726642459 140729726642657 140729726642657 140729726648259 0
/proc/94685/statm: 1048 736 672 219 0 110 0
[pid=94688] ppid=94685 vsize=137820 memory=77964 CPUtime=2.59 cores=0,2
/proc/94688/stat : 94688 (roundingsat) R 94685 94685 93530 0 -1 4194304 12572 0 0 0 242 17 0 0 20 0 1 0 71283142 141127680 19491 18446744073709551615 4227072 8923433 140722502524144 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16293888 140722502531318 140722502531624 140722502531624 140722502537194 0
/proc/94688/statm: 34455 19491 2368 1147 0 21882 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 142012 KiB
Current children cumulated memory: 80908 KiB

[startup+6.3002 s]
/proc/loadavg: 4.10 3.95 3.09 5/276 94689
/proc/meminfo: memFree=120604692/131250000 swapFree=33010160/33010684
[pid=94685] ppid=94682 vsize=4192 memory=2944 CPUtime=0.44 cores=0,2
/proc/94685/stat : 94685 (run-opt-ls-log.) S 94682 94685 93530 0 -1 4194304 240 4544 0 0 0 0 41 3 20 0 1 0 71283092 4292608 736 18446744073709551615 94525963460608 94525964355141 140729726634528 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94525964594192 94525964641936 94525970255872 140729726642459 140729726642657 140729726642657 140729726648259 0
/proc/94685/statm: 1048 736 672 219 0 110 0
[pid=94688] ppid=94685 vsize=221072 memory=147124 CPUtime=5.77 cores=0,2
/proc/94688/stat : 94688 (roundingsat) R 94685 94685 93530 0 -1 4194304 25842 0 0 0 536 41 0 0 20 0 1 0 71283142 226377728 36781 18446744073709551615 4227072 8923433 140722502524144 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16293888 140722502531318 140722502531624 140722502531624 140722502537194 0
/proc/94688/statm: 55268 36781 2400 1147 0 42695 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 225264 KiB
Current children cumulated memory: 150068 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 3.95 3.10 5/274 94689
/proc/meminfo: memFree=120309832/131250000 swapFree=33010160/33010684
[pid=94685] ppid=94682 vsize=4192 memory=2944 CPUtime=0.44 cores=0,2
/proc/94685/stat : 94685 (run-opt-ls-log.) S 94682 94685 93530 0 -1 4194304 240 4544 0 0 0 0 41 3 20 0 1 0 71283092 4292608 736 18446744073709551615 94525963460608 94525964355141 140729726634528 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94525964594192 94525964641936 94525970255872 140729726642459 140729726642657 140729726642657 140729726648259 0
/proc/94685/statm: 1048 736 672 219 0 110 0
[pid=94688] ppid=94685 vsize=246876 memory=170420 CPUtime=12.15 cores=0,2
/proc/94688/stat : 94688 (roundingsat) R 94685 94685 93530 0 -1 4194304 31675 0 0 0 1162 53 0 0 20 0 1 0 71283142 252801024 42605 18446744073709551615 4227072 8923433 140722502524144 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16293888 140722502531318 140722502531624 140722502531624 140722502537194 0
/proc/94688/statm: 61719 42605 2400 1147 0 49146 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 251068 KiB
Current children cumulated memory: 173364 KiB

[startup+25.5001 s]
/proc/loadavg: 4.07 3.95 3.11 3/274 94689
/proc/meminfo: memFree=119801464/131250000 swapFree=33010160/33010684
[pid=94685] ppid=94682 vsize=4192 memory=2944 CPUtime=0.44 cores=0,2
/proc/94685/stat : 94685 (run-opt-ls-log.) S 94682 94685 93530 0 -1 4194304 240 4544 0 0 0 0 41 3 20 0 1 0 71283092 4292608 736 18446744073709551615 94525963460608 94525964355141 140729726634528 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94525964594192 94525964641936 94525970255872 140729726642459 140729726642657 140729726642657 140729726648259 0
/proc/94685/statm: 1048 736 672 219 0 110 0
[pid=94688] ppid=94685 vsize=311680 memory=225348 CPUtime=24.92 cores=0,2
/proc/94688/stat : 94688 (roundingsat) R 94685 94685 93530 0 -1 4194304 44901 0 0 0 2420 72 0 0 20 0 1 0 71283142 319160320 56337 18446744073709551615 4227072 8923433 140722502524144 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16293888 140722502531318 140722502531624 140722502531624 140722502537194 0
/proc/94688/statm: 77920 56337 2400 1147 0 65347 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 315872 KiB
Current children cumulated memory: 228292 KiB

[startup+51.1055 s]
/proc/loadavg: 4.11 3.97 3.14 5/273 94689
/proc/meminfo: memFree=119568368/131250000 swapFree=33010160/33010684
[pid=94685] ppid=94682 vsize=4192 memory=2944 CPUtime=0.44 cores=0,2
/proc/94685/stat : 94685 (run-opt-ls-log.) S 94682 94685 93530 0 -1 4194304 240 4544 0 0 0 0 41 3 20 0 1 0 71283092 4292608 736 18446744073709551615 94525963460608 94525964355141 140729726634528 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94525964594192 94525964641936 94525970255872 140729726642459 140729726642657 140729726642657 140729726648259 0
/proc/94685/statm: 1048 736 672 219 0 110 0
[pid=94688] ppid=94685 vsize=356576 memory=272324 CPUtime=50.45 cores=0,2
/proc/94688/stat : 94688 (roundingsat) R 94685 94685 93530 0 -1 4194304 56636 0 0 0 4935 110 0 0 20 0 1 0 71283142 365133824 68081 18446744073709551615 4227072 8923433 140722502524144 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16293888 140722502531318 140722502531624 140722502531624 140722502537194 0
/proc/94688/statm: 89144 68081 2400 1147 0 76571 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 360768 KiB
Current children cumulated memory: 275268 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 3.99 3.19 6/269 94719
/proc/meminfo: memFree=123328516/131250000 swapFree=33010160/33010684
[pid=94685] ppid=94682 vsize=4192 memory=2944 CPUtime=0.44 cores=0,2
/proc/94685/stat : 94685 (run-opt-ls-log.) S 94682 94685 93530 0 -1 4194304 240 4544 0 0 0 0 41 3 20 0 1 0 71283092 4292608 736 18446744073709551615 94525963460608 94525964355141 140729726634528 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94525964594192 94525964641936 94525970255872 140729726642459 140729726642657 140729726642657 140729726648259 0
/proc/94685/statm: 1048 736 672 219 0 110 0
[pid=94688] ppid=94685 vsize=359052 memory=275396 CPUtime=101.46 cores=0,2
/proc/94688/stat : 94688 (roundingsat) R 94685 94685 93530 0 -1 4194304 57418 0 0 0 10018 128 0 0 20 0 1 0 71283142 367669248 68849 18446744073709551615 4227072 8923433 140722502524144 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16293888 140722502531318 140722502531624 140722502531624 140722502537194 0
/proc/94688/statm: 89763 68849 2400 1147 0 77190 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 363244 KiB
Current children cumulated memory: 278340 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.01 3.25 5/267 94721
/proc/meminfo: memFree=121416624/131250000 swapFree=33010160/33010684
[pid=94685] ppid=94682 vsize=4192 memory=2944 CPUtime=0.44 cores=0,2
/proc/94685/stat : 94685 (run-opt-ls-log.) S 94682 94685 93530 0 -1 4194304 240 4544 0 0 0 0 41 3 20 0 1 0 71283092 4292608 736 18446744073709551615 94525963460608 94525964355141 140729726634528 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94525964594192 94525964641936 94525970255872 140729726642459 140729726642657 140729726642657 140729726648259 0
/proc/94685/statm: 1048 736 672 219 0 110 0
[pid=94688] ppid=94685 vsize=419540 memory=336932 CPUtime=161.27 cores=0,2
/proc/94688/stat : 94688 (roundingsat) R 94685 94685 93530 0 -1 4194304 71757 0 0 0 15936 191 0 0 20 0 1 0 71283142 429608960 84233 18446744073709551615 4227072 8923433 140722502524144 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16293888 140722502531318 140722502531624 140722502531624 140722502537194 0
/proc/94688/statm: 104885 84233 2432 1147 0 92312 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 423732 KiB
Current children cumulated memory: 339876 KiB

[startup+222.3 s]
/proc/loadavg: 4.24 4.07 3.32 5/271 94727
/proc/meminfo: memFree=118549560/131250000 swapFree=33010160/33010684
[pid=94685] ppid=94682 vsize=4192 memory=2944 CPUtime=0.44 cores=0,2
/proc/94685/stat : 94685 (run-opt-ls-log.) S 94682 94685 93530 0 -1 4194304 240 4544 0 0 0 0 41 3 20 0 1 0 71283092 4292608 736 18446744073709551615 94525963460608 94525964355141 140729726634528 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94525964594192 94525964641936 94525970255872 140729726642459 140729726642657 140729726642657 140729726648259 0
/proc/94685/statm: 1048 736 672 219 0 110 0
[pid=94688] ppid=94685 vsize=501872 memory=393892 CPUtime=221.05 cores=0,2
/proc/94688/stat : 94688 (roundingsat) R 94685 94685 93530 0 -1 4194304 79359 0 0 0 21866 239 0 0 20 0 1 0 71283142 513916928 98473 18446744073709551615 4227072 8923433 140722502524144 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16293888 140722502531318 140722502531624 140722502531624 140722502537194 0
/proc/94688/statm: 125468 98473 2432 1147 0 112895 0

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

[startup+3402.3 s]
/proc/loadavg: 4.19 4.12 4.10 5/275 95041
/proc/meminfo: memFree=93485240/131250000 swapFree=33010160/33010684
[pid=94685] ppid=94682 vsize=4192 memory=2944 CPUtime=0.44 cores=0,2
/proc/94685/stat : 94685 (run-opt-ls-log.) S 94682 94685 93530 0 -1 4194304 240 4544 0 0 0 0 41 3 20 0 1 0 71283092 4292608 736 18446744073709551615 94525963460608 94525964355141 140729726634528 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94525964594192 94525964641936 94525970255872 140729726642459 140729726642657 140729726642657 140729726648259 0
/proc/94685/statm: 1048 736 672 219 0 110 0
[pid=94688] ppid=94685 vsize=2437780 memory=2229452 CPUtime=3348.73 cores=0,2
/proc/94688/stat : 94688 (roundingsat) R 94685 94685 93530 0 -1 4194304 363955 0 0 0 332223 2650 0 0 20 0 1 0 71283142 2496286720 557363 18446744073709551615 4227072 8923433 140722502524144 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16293888 140722502531318 140722502531624 140722502531624 140722502537194 0
/proc/94688/statm: 609445 557363 2432 1147 0 596872 0
Current children cumulated CPU time: 3349.17 s
Current children cumulated vsize: 2441972 KiB
Current children cumulated memory: 2232396 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/273 95047
/proc/meminfo: memFree=92842760/131250000 swapFree=33010160/33010684
[pid=94685] ppid=94682 vsize=4192 memory=2944 CPUtime=0.44 cores=0,2
/proc/94685/stat : 94685 (run-opt-ls-log.) S 94682 94685 93530 0 -1 4194304 240 4544 0 0 0 0 41 3 20 0 1 0 71283092 4292608 736 18446744073709551615 94525963460608 94525964355141 140729726634528 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94525964594192 94525964641936 94525970255872 140729726642459 140729726642657 140729726642657 140729726648259 0
/proc/94685/statm: 1048 736 672 219 0 110 0
[pid=94688] ppid=94685 vsize=2823256 memory=2366152 CPUtime=3408.55 cores=0,2
/proc/94688/stat : 94688 (roundingsat) R 94685 94685 93530 0 -1 4194304 375702 0 0 0 338148 2707 0 0 20 0 1 0 71283142 2891014144 591538 18446744073709551615 4227072 8923433 140722502524144 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16293888 140722502531318 140722502531624 140722502531624 140722502537194 0
/proc/94688/statm: 705814 591538 2432 1147 0 693241 0
Current children cumulated CPU time: 3408.99 s
Current children cumulated vsize: 2827448 KiB
Current children cumulated memory: 2369096 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/275 95051
/proc/meminfo: memFree=92615836/131250000 swapFree=33010160/33010684
[pid=94685] ppid=94682 vsize=4192 memory=2944 CPUtime=0.44 cores=0,2
/proc/94685/stat : 94685 (run-opt-ls-log.) S 94682 94685 93530 0 -1 4194304 240 4544 0 0 0 0 41 3 20 0 1 0 71283092 4292608 736 18446744073709551615 94525963460608 94525964355141 140729726634528 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94525964594192 94525964641936 94525970255872 140729726642459 140729726642657 140729726642657 140729726648259 0
/proc/94685/statm: 1048 736 672 219 0 110 0
[pid=94688] ppid=94685 vsize=2825608 memory=2368712 CPUtime=3468.2 cores=0,2
/proc/94688/stat : 94688 (roundingsat) R 94685 94685 93530 0 -1 4194304 376372 0 0 0 344076 2744 0 0 20 0 1 0 71283142 2893422592 592178 18446744073709551615 4227072 8923433 140722502524144 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16293888 140722502531318 140722502531624 140722502531624 140722502537194 0
/proc/94688/statm: 706402 592178 2432 1147 0 693829 0
Current children cumulated CPU time: 3468.64 s
Current children cumulated vsize: 2829800 KiB
Current children cumulated memory: 2371656 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/274 95053
/proc/meminfo: memFree=92194376/131250000 swapFree=33010160/33010684
[pid=94685] ppid=94682 vsize=4192 memory=2944 CPUtime=0.44 cores=0,2
/proc/94685/stat : 94685 (run-opt-ls-log.) S 94682 94685 93530 0 -1 4194304 240 4544 0 0 0 0 41 3 20 0 1 0 71283092 4292608 736 18446744073709551615 94525963460608 94525964355141 140729726634528 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94525964594192 94525964641936 94525970255872 140729726642459 140729726642657 140729726642657 140729726648259 0
/proc/94685/statm: 1048 736 672 219 0 110 0
[pid=94688] ppid=94685 vsize=2825608 memory=2368712 CPUtime=3528.04 cores=0,2
/proc/94688/stat : 94688 (roundingsat) R 94685 94685 93530 0 -1 4194304 376374 0 0 0 350025 2779 0 0 20 0 1 0 71283142 2893422592 592178 18446744073709551615 4227072 8923433 140722502524144 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16293888 140722502531318 140722502531624 140722502531624 140722502537194 0
/proc/94688/statm: 706402 592178 2432 1147 0 693829 0
Current children cumulated CPU time: 3528.48 s
Current children cumulated vsize: 2829800 KiB
Current children cumulated memory: 2371656 KiB

[startup+3642.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/274 95055
/proc/meminfo: memFree=91786004/131250000 swapFree=33010160/33010684
[pid=94685] ppid=94682 vsize=4192 memory=2944 CPUtime=0.44 cores=0,2
/proc/94685/stat : 94685 (run-opt-ls-log.) S 94682 94685 93530 0 -1 4194304 240 4544 0 0 0 0 41 3 20 0 1 0 71283092 4292608 736 18446744073709551615 94525963460608 94525964355141 140729726634528 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94525964594192 94525964641936 94525970255872 140729726642459 140729726642657 140729726642657 140729726648259 0
/proc/94685/statm: 1048 736 672 219 0 110 0
[pid=94688] ppid=94685 vsize=2825608 memory=2368712 CPUtime=3587.88 cores=0,2
/proc/94688/stat : 94688 (roundingsat) R 94685 94685 93530 0 -1 4194304 376376 0 0 0 355986 2802 0 0 20 0 1 0 71283142 2893422592 592178 18446744073709551615 4227072 8923433 140722502524144 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16293888 140722502531318 140722502531624 140722502531624 140722502537194 0
/proc/94688/statm: 706402 592178 2432 1147 0 693829 0
Current children cumulated CPU time: 3588.32 s
Current children cumulated vsize: 2829800 KiB
Current children cumulated memory: 2371656 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3654.11 s]
/proc/loadavg: 4.11 4.10 4.09 5/273 95056
/proc/meminfo: memFree=91632940/131250000 swapFree=33010160/33010684
[pid=94685] ppid=94682 vsize=4192 memory=2944 CPUtime=0.44 cores=0,2
/proc/94685/stat : 94685 (run-opt-ls-log.) S 94682 94685 93530 0 -1 4194304 240 4544 0 0 0 0 41 3 20 0 1 0 71283092 4292608 736 18446744073709551615 94525963460608 94525964355141 140729726634528 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94525964594192 94525964641936 94525970255872 140729726642459 140729726642657 140729726642657 140729726648259 0
/proc/94685/statm: 1048 736 672 219 0 110 0
[pid=94688] ppid=94685 vsize=2825608 memory=2368712 CPUtime=3599.65 cores=0,2
/proc/94688/stat : 94688 (roundingsat) R 94685 94685 93530 0 -1 4194304 376381 0 0 0 357160 2805 0 0 20 0 1 0 71283142 2893422592 592178 18446744073709551615 4227072 8923433 140722502524144 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16293888 140722502531318 140722502531624 140722502531624 140722502537194 0
/proc/94688/statm: 706402 592178 2432 1147 0 693829 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2829800 KiB
Current children cumulated memory: 2371656 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3654.11 s]
# the end of solver process 94685 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.417223 s, system=0.037737 s
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+3656.16 s]
# the end of solver process 94688 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3574 s, system=28.1276 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+3654.4 s]
/proc/loadavg: 4.11 4.10 4.09 5/272 95056
/proc/meminfo: memFree=91632940/131250000 swapFree=33010160/33010684
[pid=94688] ppid=94682 vsize=2825608 memory=2368712 CPUtime=3599.95 cores=0,2
/proc/94688/stat : 94688 (roundingsat) R 94682 94685 93530 0 -1 4194304 376381 0 0 0 357189 2806 0 0 20 0 1 0 71283142 2893422592 592178 18446744073709551615 4227072 8923433 140722502524144 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16293888 140722502531318 140722502531624 140722502531624 140722502537194 0
/proc/94688/statm: 706402 592178 2432 1147 0 693829 0
Current cumulated CPU time of completed processes: 0.45496 s
Current children cumulated CPU time: 3599.95 s
Current children cumulated vsize: 2825608 KiB
Current children cumulated memory: 2368712 KiB

[startup+3655.2 s]
/proc/loadavg: 4.11 4.10 4.09 5/272 95056
/proc/meminfo: memFree=91617064/131250000 swapFree=33010160/33010684
[pid=94688] ppid=94682 vsize=2825608 memory=2368712 CPUtime=3600.75 cores=0,2
/proc/94688/stat : 94688 (roundingsat) R 94682 94685 93530 0 -1 4194304 376381 0 0 0 357269 2806 0 0 20 0 1 0 71283142 2893422592 592178 18446744073709551615 4227072 8923433 140722502524144 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16293888 140722502531318 140722502531624 140722502531624 140722502537194 0
/proc/94688/statm: 706402 592178 2432 1147 0 693829 0
Current cumulated CPU time of completed processes: 0.45496 s
Current children cumulated CPU time: 3600.75 s
Current children cumulated vsize: 2825608 KiB
Current children cumulated memory: 2368712 KiB

[startup+3655.6 s]
/proc/loadavg: 4.11 4.10 4.09 5/272 95056
/proc/meminfo: memFree=91617064/131250000 swapFree=33010160/33010684
[pid=94688] ppid=94682 vsize=2825608 memory=2368712 CPUtime=3601.14 cores=0,2
/proc/94688/stat : 94688 (roundingsat) R 94682 94685 93530 0 -1 4194304 376381 0 0 0 357308 2806 0 0 20 0 1 0 71283142 2893422592 592178 18446744073709551615 4227072 8923433 140722502524144 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16293888 140722502531318 140722502531624 140722502531624 140722502537194 0
/proc/94688/statm: 706402 592178 2432 1147 0 693829 0
Current cumulated CPU time of completed processes: 0.45496 s
Current children cumulated CPU time: 3601.14 s
Current children cumulated vsize: 2825608 KiB
Current children cumulated memory: 2368712 KiB

[startup+3656 s]*
/proc/loadavg: 4.11 4.10 4.09 5/272 95056
/proc/meminfo: memFree=91600936/131250000 swapFree=33010160/33010684
[pid=94688] ppid=94682 vsize=2825608 memory=2368712 CPUtime=3601.55 cores=0,2
/proc/94688/stat : 94688 (roundingsat) R 94682 94685 93530 0 -1 4194304 376381 0 0 0 357348 2807 0 0 20 0 1 0 71283142 2893422592 592178 18446744073709551615 4227072 8923433 140722502524144 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16293888 140722502531318 140722502531624 140722502531624 140722502537194 0
/proc/94688/statm: 706402 592178 2432 1147 0 693829 0
Current cumulated CPU time of completed processes: 0.45496 s
Current children cumulated CPU time: 3601.55 s
Current children cumulated vsize: 2825608 KiB
Current children cumulated memory: 2368712 KiB

[startup+3656.11 s]
/proc/loadavg: 4.11 4.10 4.09 5/272 95056
/proc/meminfo: memFree=91600936/131250000 swapFree=33010160/33010684
[pid=94688] ppid=94682 vsize=2825608 memory=2368712 CPUtime=3601.65 cores=0,2
/proc/94688/stat : 94688 (roundingsat) R 94682 94685 93530 0 -1 4194304 376381 0 0 0 357358 2807 0 0 20 0 1 0 71283142 2893422592 592178 18446744073709551615 4227072 8923433 140722502524144 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16293888 140722502531318 140722502531624 140722502531624 140722502537194 0
/proc/94688/statm: 706402 592178 2432 1147 0 693829 0
Current cumulated CPU time of completed processes: 0.45496 s
Current children cumulated CPU time: 3601.65 s
Current children cumulated vsize: 2825608 KiB
Current children cumulated memory: 2368712 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3656.16
CPU time (s): 3602.13
CPU user time (s): 3574
CPU system time (s): 28.1276
CPU usage (%): 98.5223
Max. virtual memory (cumulated for all children) (KiB): 2829800
Max. memory (cumulated for all children) (KiB): 2371656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574
system time used= 28.1276
maximum resident set size= 2368712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 381165
page faults= 0
swaps= 0
block input operations= 0
block output operations= 19797112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1789
involuntary context switches= 8591


# summary of solver processes directly reported to runsolver:
#   pid: 94685,94688
#   total CPU time (s): 3602.13
#   total CPU user time (s): 3574
#   total CPU system time (s): 28.1276

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.24124 second user time and 16.684 second system time

The end

Begin job on nodeC016 at 2025-07-03 17:20:55
IDJOB=4520621
IDBENCH=178111
IDSOLVER=3356
FILE ID=nodeC016/4520621-1751556055
RUNJOBID= nodeC016-1751555170-93569
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_380.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520621-1751556055/watcher-4520621-1751556055 -o /tmp/evaluation-result-4520621-1751556055/solver-4520621-1751556055 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751555170-93569 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4520621-1751556055.opb PROOFDIR/proof-4520621-1751556055

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

MD5SUM BENCH= dc7892cb3dbd530fdb83331c968a6da2
RANDOM SEED=2068516631

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		: 3603.558
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.748
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		: 3599.925
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		: 3935.846
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.734
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.709
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		: 3574.828
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		: 3965.461
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:        121099092 kB
MemAvailable:   128787832 kB
Buffers:            2144 kB
Cached:          8456564 kB
SwapCached:           28 kB
Active:          1491004 kB
Inactive:        7836720 kB
Active(anon):     881836 kB
Inactive(anon):     5288 kB
Active(file):     609168 kB
Inactive(file):  7831432 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             99656 kB
Writeback:             0 kB
AnonPages:        871364 kB
Mapped:           118628 kB
Shmem:             18044 kB
KReclaimable:     174756 kB
Slab:             269752 kB
SReclaimable:     174756 kB
SUnreclaim:        94996 kB
KernelStack:        4448 kB
PageTables:         5076 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    1307580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150664 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    538624 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= 432852 MiB
End job on nodeC016 at 2025-07-03 18:21:52