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-4487761-1751328751.opb'
0.00/0.02	c 	read 0.60MB  (8.51ms)
0.00/0.02	c	 [cnf: #variables 10000 #clauses 10001 #duplicates 0 #arr 59600]
0.00/0.02	c output proof to 'PROOFDIR/proof-4487761-1751328751'
0.00/0.02	c 
0.00/0.02	c make graph and approximate orbits
0.00/0.03	c	 [group: #orbits ~= 2550] (8.39ms)
0.00/0.03	c 
0.00/0.03	c detect special group actions
0.00/0.03	c 	probe for Johnson action (limit=64)
0.00/0.03	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.03	c 	probe for row symmetry (limit=64, splits=16.78M)
0.18/0.27	c 	 (240.08ms)
0.18/0.27	c 
0.18/0.27	c detect symmetries on remainder
0.18/0.27	c 	[graph: #vertices 40001 #edges 159200]
0.18/0.27	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.18/0.29	c 	 [group: #symmetries 8.00*10^0 #generators 2] (23.51ms)
0.18/0.29	c 
0.18/0.29	c optimize generators (opt_passes=64, conjugate_limit=256)
0.18/0.29	c 	(0.00ms)
0.18/0.29	c 
0.18/0.29	c finalize break order and special generators
0.18/0.29	c 
0.18/0.29	c add generic predicates (break_depth=20)
0.18/0.29	c 	added predicates for 2 generators (0.12ms)
1.67/1.75	c 
1.67/1.75	c generation finished
1.67/1.75	c 	[sbp: #constraints 116 #add_vars 38]
1.67/1.75	c 
1.67/1.75	c write result to 'HOME/instance-4487761-1751328751.opb.pre'
1.67/1.75	c 	wrote 0.61MB (1.57ms)
1.67/1.75	c ------------------------------------------------------------------
1.67/1.75	c                1457.04ms 83.75% other
1.67/1.75	c                 240.08ms 13.80% detect_special
1.67/1.75	c                  23.51ms  1.35% detect_generic
1.67/1.75	c                   8.50ms  0.49% parse
1.67/1.75	c                   8.39ms  0.48% approx_orbits
1.67/1.75	c                   1.57ms  0.09% output
1.67/1.75	c                   0.55ms  0.03% finalize_order
1.67/1.75	c                   0.12ms  0.01% break_generic
1.67/1.75	c                   0.00ms  0.00% optimize_gens
1.67/1.75	c         ───────────────────────────────────────────────
1.67/1.75	c                1739.75ms   100% total
1.67/1.75	c ------------------------------------------------------------------
1.74/1.86	c RoundingSat 2
1.74/1.86	c branch pb25
1.74/1.86	c commit 63f22ad
1.75/1.94	c #variables 10038 #constraints 10116
1.75/1.94	c objective is ce32 
2.38/2.59	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
2.38/2.59	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
2.38/2.59	c bounds 2853 >= 0 @ 0.705881
2.88/3.08	c bounds 2852 >= 0 @ 1.18329
2.88/3.08	c bounds 2852 >= 1 @ 1.1874
2.88/3.09	c bounds 2852 >= 2 @ 1.1901
2.88/3.09	c bounds 2852 >= 3 @ 1.19296
2.88/3.09	c bounds 2852 >= 4 @ 1.19564
2.88/3.10	c bounds 2852 >= 5 @ 1.19826
2.88/3.10	c bounds 2852 >= 6 @ 1.2009
2.98/3.10	c bounds 2852 >= 7 @ 1.20353
2.98/3.10	c bounds 2852 >= 8 @ 1.20614
2.98/3.11	c bounds 2852 >= 9 @ 1.20876
2.98/3.11	c bounds 2852 >= 10 @ 1.21138
2.98/3.11	c bounds 2852 >= 11 @ 1.21398
2.98/3.11	c bounds 2852 >= 12 @ 1.21659
2.98/3.12	c bounds 2852 >= 13 @ 1.2192
2.98/3.12	c bounds 2852 >= 14 @ 1.22199
2.98/3.12	c bounds 2852 >= 15 @ 1.22476
2.98/3.12	c bounds 2852 >= 16 @ 1.22738
2.98/3.13	c bounds 2852 >= 17 @ 1.22998
2.98/3.13	c bounds 2852 >= 18 @ 1.23259
2.98/3.13	c bounds 2852 >= 19 @ 1.2352
2.98/3.14	c bounds 2852 >= 20 @ 1.23781
2.98/3.14	c bounds 2852 >= 21 @ 1.24061
2.98/3.14	c bounds 2852 >= 22 @ 1.24323
2.98/3.14	c bounds 2852 >= 23 @ 1.24585
2.98/3.15	c bounds 2852 >= 24 @ 1.24846
2.98/3.15	c bounds 2852 >= 25 @ 1.25108
2.98/3.15	c bounds 2852 >= 26 @ 1.25369
2.98/3.15	c bounds 2852 >= 27 @ 1.2563
2.98/3.16	c bounds 2852 >= 28 @ 1.25931
2.98/3.16	c bounds 2852 >= 29 @ 1.26106
2.98/3.16	c bounds 2852 >= 30 @ 1.26382
2.98/3.17	c bounds 2852 >= 31 @ 1.26659
2.98/3.17	c bounds 2852 >= 32 @ 1.26934
2.98/3.17	c bounds 2852 >= 33 @ 1.2721
2.98/3.17	c bounds 2852 >= 34 @ 1.27484
2.98/3.18	c bounds 2852 >= 35 @ 1.27814
2.98/3.18	c bounds 2852 >= 36 @ 1.28099
2.98/3.18	c bounds 2852 >= 37 @ 1.28381
2.98/3.19	c bounds 2852 >= 38 @ 1.28664
2.98/3.19	c bounds 2852 >= 39 @ 1.28946
2.98/3.19	c bounds 2852 >= 40 @ 1.29227
2.98/3.19	c bounds 2852 >= 41 @ 1.29408
3.07/3.20	c bounds 2852 >= 42 @ 1.29588
3.07/3.20	c bounds 2852 >= 43 @ 1.29868
3.07/3.20	c bounds 2852 >= 44 @ 1.3015
3.07/3.20	c bounds 2852 >= 45 @ 1.30431
3.07/3.21	c bounds 2852 >= 46 @ 1.30708
3.07/3.21	c bounds 2852 >= 47 @ 1.30974
3.07/3.21	c bounds 2852 >= 48 @ 1.31253
3.07/3.22	c bounds 2852 >= 49 @ 1.31434
3.07/3.22	c bounds 2852 >= 50 @ 1.31711
3.07/3.22	c bounds 2852 >= 51 @ 1.31989
3.07/3.22	c bounds 2852 >= 52 @ 1.32257
3.07/3.23	c bounds 2852 >= 53 @ 1.32518
3.07/3.23	c bounds 2852 >= 54 @ 1.32779
3.07/3.23	c bounds 2852 >= 55 @ 1.33039
3.07/3.23	c bounds 2852 >= 56 @ 1.33298
3.07/3.24	c bounds 2852 >= 57 @ 1.33557
3.07/3.24	c bounds 2852 >= 58 @ 1.33817
3.07/3.24	c bounds 2852 >= 59 @ 1.34076
3.07/3.25	c bounds 2852 >= 60 @ 1.34336
3.07/3.25	c bounds 2852 >= 61 @ 1.34612
3.07/3.25	c bounds 2852 >= 62 @ 1.34871
3.07/3.25	c bounds 2852 >= 63 @ 1.35132
3.07/3.26	c bounds 2852 >= 64 @ 1.35392
3.07/3.26	c bounds 2852 >= 65 @ 1.35651
3.07/3.26	c bounds 2852 >= 66 @ 1.35912
3.07/3.26	c bounds 2852 >= 67 @ 1.36171
3.07/3.27	c bounds 2852 >= 68 @ 1.36457
3.07/3.27	c bounds 2852 >= 69 @ 1.36722
3.07/3.27	c bounds 2852 >= 70 @ 1.36985
3.07/3.27	c bounds 2852 >= 71 @ 1.37251
3.07/3.28	c bounds 2852 >= 72 @ 1.37515
3.07/3.28	c bounds 2852 >= 73 @ 1.37779
3.07/3.28	c bounds 2852 >= 74 @ 1.38044
3.07/3.28	c bounds 2852 >= 75 @ 1.38309
3.07/3.29	c bounds 2852 >= 76 @ 1.38572
3.07/3.29	c bounds 2852 >= 77 @ 1.38836
3.07/3.29	c bounds 2852 >= 78 @ 1.39
3.18/3.30	c bounds 2852 >= 79 @ 1.39262
3.18/3.30	c bounds 2852 >= 80 @ 1.39527
3.18/3.30	c bounds 2852 >= 81 @ 1.39793
3.18/3.30	c bounds 2852 >= 82 @ 1.40063
3.18/3.31	c bounds 2852 >= 83 @ 1.40328
3.18/3.31	c bounds 2852 >= 84 @ 1.4061
3.18/3.31	c bounds 2852 >= 85 @ 1.40873
3.18/3.31	c bounds 2852 >= 86 @ 1.41137
3.18/3.32	c bounds 2852 >= 87 @ 1.41401
3.18/3.32	c bounds 2852 >= 88 @ 1.41663
3.18/3.32	c bounds 2852 >= 89 @ 1.41934
3.18/3.32	c bounds 2852 >= 90 @ 1.42199
3.18/3.33	c bounds 2852 >= 91 @ 1.42462
3.18/3.33	c bounds 2852 >= 92 @ 1.42725
3.18/3.33	c bounds 2852 >= 93 @ 1.42987
3.18/3.34	c bounds 2852 >= 94 @ 1.43249
3.18/3.34	c bounds 2852 >= 95 @ 1.43529
3.18/3.34	c bounds 2852 >= 96 @ 1.43807
3.18/3.34	c bounds 2852 >= 97 @ 1.44083
3.18/3.35	c bounds 2852 >= 98 @ 1.44346
3.18/3.35	c bounds 2852 >= 99 @ 1.44607
3.18/3.35	c bounds 2852 >= 100 @ 1.44869
3.18/3.35	c bounds 2852 >= 101 @ 1.45146
3.18/3.36	c bounds 2852 >= 102 @ 1.45415
3.18/3.36	c bounds 2852 >= 103 @ 1.45701
3.18/3.36	c bounds 2852 >= 104 @ 1.45967
3.18/3.37	c bounds 2852 >= 105 @ 1.46233
3.18/3.37	c bounds 2852 >= 106 @ 1.46499
3.18/3.37	c bounds 2852 >= 107 @ 1.46766
3.18/3.37	c bounds 2852 >= 108 @ 1.47032
3.18/3.38	c bounds 2852 >= 109 @ 1.47313
3.18/3.38	c bounds 2852 >= 110 @ 1.47479
3.18/3.38	c bounds 2852 >= 111 @ 1.47743
3.18/3.38	c bounds 2852 >= 112 @ 1.48024
3.18/3.39	c bounds 2852 >= 113 @ 1.48191
3.18/3.39	c bounds 2852 >= 114 @ 1.48453
3.18/3.39	c bounds 2852 >= 115 @ 1.48734
3.18/3.40	c bounds 2852 >= 116 @ 1.48999
3.28/3.40	c bounds 2852 >= 117 @ 1.49261
3.28/3.40	c bounds 2852 >= 118 @ 1.49525
3.28/3.40	c bounds 2852 >= 119 @ 1.49789
3.28/3.41	c bounds 2852 >= 120 @ 1.50054
3.28/3.41	c bounds 2852 >= 121 @ 1.50316
3.28/3.41	c bounds 2852 >= 122 @ 1.5058
3.28/3.41	c bounds 2852 >= 123 @ 1.50843
3.28/3.42	c bounds 2852 >= 124 @ 1.51106
3.28/3.42	c bounds 2852 >= 125 @ 1.51286
3.28/3.42	c bounds 2852 >= 126 @ 1.51547
3.28/3.42	c bounds 2852 >= 127 @ 1.5181
3.28/3.43	c bounds 2852 >= 128 @ 1.51977
3.28/3.43	c bounds 2852 >= 129 @ 1.52238
3.28/3.43	c bounds 2852 >= 130 @ 1.52501
3.28/3.43	c bounds 2852 >= 131 @ 1.52776
3.28/3.44	c bounds 2852 >= 132 @ 1.53053
3.28/3.44	c bounds 2852 >= 133 @ 1.53315
3.28/3.44	c bounds 2852 >= 134 @ 1.53576
3.28/3.45	c bounds 2852 >= 135 @ 1.53861
3.28/3.45	c bounds 2852 >= 136 @ 1.54142
3.28/3.45	c bounds 2852 >= 137 @ 1.54408
3.28/3.45	c bounds 2852 >= 138 @ 1.54591
3.28/3.46	c bounds 2852 >= 139 @ 1.54856
3.28/3.46	c bounds 2852 >= 140 @ 1.55122
3.28/3.46	c bounds 2852 >= 141 @ 1.55388
3.28/3.46	c bounds 2852 >= 142 @ 1.55654
3.28/3.47	c bounds 2852 >= 143 @ 1.55836
3.28/3.47	c bounds 2852 >= 144 @ 1.56102
3.28/3.47	c bounds 2852 >= 145 @ 1.56383
3.28/3.48	c bounds 2852 >= 146 @ 1.56565
3.28/3.48	c bounds 2852 >= 147 @ 1.56829
3.28/3.48	c bounds 2852 >= 148 @ 1.57095
3.28/3.48	c bounds 2852 >= 149 @ 1.57278
3.28/3.49	c bounds 2852 >= 150 @ 1.57558
3.28/3.49	c bounds 2852 >= 151 @ 1.57822
3.28/3.49	c bounds 2852 >= 152 @ 1.58091
3.28/3.50	c bounds 2852 >= 153 @ 1.58376
3.38/3.50	c bounds 2852 >= 154 @ 1.58643
3.38/3.50	c bounds 2852 >= 155 @ 1.58911
3.38/3.50	c bounds 2852 >= 156 @ 1.59077
3.38/3.51	c bounds 2852 >= 157 @ 1.59341
3.38/3.51	c bounds 2852 >= 158 @ 1.59608
3.38/3.51	c bounds 2852 >= 159 @ 1.59888
3.38/3.51	c bounds 2852 >= 160 @ 1.60167
3.38/3.52	c bounds 2852 >= 161 @ 1.60431
3.38/3.52	c bounds 2852 >= 162 @ 1.60695
3.38/3.52	c bounds 2852 >= 163 @ 1.60976
3.38/3.52	c bounds 2852 >= 164 @ 1.61258
3.38/3.53	c bounds 2852 >= 165 @ 1.6152
3.38/3.53	c bounds 2852 >= 166 @ 1.61795
3.38/3.53	c bounds 2852 >= 167 @ 1.62058
3.38/3.54	c bounds 2852 >= 168 @ 1.6232
3.38/3.54	c bounds 2852 >= 169 @ 1.62491
3.38/3.54	c bounds 2852 >= 170 @ 1.62758
3.38/3.54	c bounds 2852 >= 171 @ 1.63022
3.38/3.55	c bounds 2852 >= 172 @ 1.63289
3.38/3.55	c bounds 2852 >= 173 @ 1.63555
3.38/3.55	c bounds 2852 >= 174 @ 1.63723
3.38/3.55	c bounds 2852 >= 175 @ 1.6399
3.38/3.56	c bounds 2852 >= 176 @ 1.64257
3.38/3.56	c bounds 2852 >= 177 @ 1.64522
3.38/3.56	c bounds 2852 >= 178 @ 1.64789
3.38/3.57	c bounds 2852 >= 179 @ 1.65069
3.38/3.57	c bounds 2852 >= 180 @ 1.65234
3.38/3.57	c bounds 2852 >= 181 @ 1.65499
3.38/3.57	c bounds 2852 >= 182 @ 1.65765
3.38/3.58	c bounds 2852 >= 183 @ 1.65931
3.38/3.58	c bounds 2852 >= 184 @ 1.66196
3.38/3.58	c bounds 2852 >= 185 @ 1.66461
3.38/3.58	c bounds 2852 >= 186 @ 1.66726
3.38/3.59	c bounds 2852 >= 187 @ 1.66992
3.38/3.59	c bounds 2852 >= 188 @ 1.67255
3.38/3.59	c bounds 2852 >= 189 @ 1.67519
3.38/3.59	c bounds 2852 >= 190 @ 1.67784
3.48/3.60	c bounds 2852 >= 191 @ 1.68048
3.48/3.60	c bounds 2852 >= 192 @ 1.68327
3.48/3.60	c bounds 2852 >= 193 @ 1.68607
3.48/3.61	c bounds 2852 >= 194 @ 1.6887
3.48/3.61	c bounds 2852 >= 195 @ 1.69149
3.48/3.61	c bounds 2852 >= 196 @ 1.69412
3.48/3.61	c bounds 2852 >= 197 @ 1.69675
3.48/3.62	c bounds 2852 >= 198 @ 1.69937
3.48/3.62	c bounds 2852 >= 199 @ 1.70199
3.48/3.62	c bounds 2852 >= 200 @ 1.70499
3.48/3.62	c bounds 2852 >= 201 @ 1.70759
3.48/3.63	c bounds 2852 >= 202 @ 1.71028
3.48/3.63	c bounds 2852 >= 203 @ 1.71294
3.48/3.63	c bounds 2852 >= 204 @ 1.7156
3.48/3.63	c bounds 2852 >= 205 @ 1.71727
3.48/3.64	c bounds 2852 >= 206 @ 1.72006
3.48/3.64	c bounds 2852 >= 207 @ 1.72272
3.48/3.64	c bounds 2852 >= 208 @ 1.72537
3.48/3.65	c bounds 2852 >= 209 @ 1.72801
3.48/3.65	c bounds 2852 >= 210 @ 1.73064
3.48/3.65	c bounds 2852 >= 211 @ 1.73329
3.48/3.65	c bounds 2852 >= 212 @ 1.73609
3.48/3.66	c bounds 2852 >= 213 @ 1.73873
3.48/3.66	c bounds 2852 >= 214 @ 1.74138
3.48/3.66	c bounds 2852 >= 215 @ 1.74402
3.48/3.66	c bounds 2852 >= 216 @ 1.74567
3.48/3.67	c bounds 2852 >= 217 @ 1.74832
3.48/3.67	c bounds 2852 >= 218 @ 1.75096
3.48/3.67	c bounds 2852 >= 219 @ 1.7536
3.48/3.67	c bounds 2852 >= 220 @ 1.75624
3.48/3.68	c bounds 2852 >= 221 @ 1.75902
3.48/3.68	c bounds 2852 >= 222 @ 1.76164
3.48/3.68	c bounds 2852 >= 223 @ 1.76428
3.48/3.69	c bounds 2852 >= 224 @ 1.76691
3.48/3.69	c bounds 2852 >= 225 @ 1.76969
3.48/3.69	c bounds 2852 >= 226 @ 1.77232
3.48/3.69	c bounds 2852 >= 227 @ 1.77494
3.57/3.70	c bounds 2852 >= 228 @ 1.77756
3.57/3.70	c bounds 2852 >= 229 @ 1.78018
3.57/3.70	c bounds 2852 >= 230 @ 1.78279
3.57/3.70	c bounds 2852 >= 231 @ 1.78557
3.57/3.71	c bounds 2852 >= 232 @ 1.78819
3.57/3.71	c bounds 2852 >= 233 @ 1.79079
3.57/3.71	c bounds 2852 >= 234 @ 1.79341
3.57/3.72	c bounds 2852 >= 235 @ 1.79618
3.57/3.72	c bounds 2852 >= 236 @ 1.79903
3.57/3.72	c bounds 2852 >= 237 @ 1.80184
3.57/3.72	c bounds 2852 >= 238 @ 1.80352
3.57/3.73	c bounds 2852 >= 239 @ 1.80618
3.57/3.73	c bounds 2852 >= 240 @ 1.80883
3.57/3.73	c bounds 2852 >= 241 @ 1.81149
3.57/3.73	c bounds 2852 >= 242 @ 1.81415
3.57/3.74	c bounds 2852 >= 243 @ 1.8168
3.57/3.74	c bounds 2852 >= 244 @ 1.81946
3.57/3.74	c bounds 2852 >= 245 @ 1.82209
3.57/3.74	c bounds 2852 >= 246 @ 1.82489
3.57/3.75	c bounds 2852 >= 247 @ 1.82755
3.57/3.75	c bounds 2852 >= 248 @ 1.83036
3.57/3.75	c bounds 2852 >= 249 @ 1.83205
3.57/3.76	c bounds 2852 >= 250 @ 1.83467
3.57/3.76	c bounds 2852 >= 251 @ 1.83732
3.57/3.76	c bounds 2852 >= 252 @ 1.83998
3.57/3.76	c bounds 2852 >= 253 @ 1.84264
3.57/3.77	c bounds 2852 >= 254 @ 1.84544
3.57/3.77	c bounds 2852 >= 255 @ 1.84825
3.57/3.77	c bounds 2852 >= 256 @ 1.85007
3.57/3.77	c bounds 2852 >= 257 @ 1.85271
3.57/3.78	c bounds 2852 >= 258 @ 1.85537
3.57/3.78	c bounds 2852 >= 259 @ 1.85804
3.57/3.78	c bounds 2852 >= 260 @ 1.8607
3.57/3.79	c bounds 2852 >= 261 @ 1.86336
3.57/3.79	c bounds 2852 >= 262 @ 1.86601
3.57/3.79	c bounds 2852 >= 263 @ 1.8688
3.57/3.79	c bounds 2852 >= 264 @ 1.87152
3.68/3.80	c bounds 2852 >= 265 @ 1.87432
3.68/3.80	c bounds 2852 >= 266 @ 1.87598
3.68/3.80	c bounds 2852 >= 267 @ 1.8786
3.68/3.80	c bounds 2852 >= 268 @ 1.88124
3.68/3.81	c bounds 2852 >= 269 @ 1.88297
3.68/3.81	c bounds 2852 >= 270 @ 1.88566
3.68/3.81	c bounds 2852 >= 271 @ 1.88835
3.68/3.82	c bounds 2852 >= 272 @ 1.89118
3.68/3.82	c bounds 2852 >= 273 @ 1.89289
3.68/3.82	c bounds 2852 >= 274 @ 1.89554
3.68/3.82	c bounds 2852 >= 275 @ 1.89823
3.68/3.83	c bounds 2852 >= 276 @ 1.90108
3.68/3.83	c bounds 2852 >= 277 @ 1.90376
3.68/3.83	c bounds 2852 >= 278 @ 1.90645
3.68/3.83	c bounds 2852 >= 279 @ 1.90913
3.68/3.84	c bounds 2852 >= 280 @ 1.90984
3.68/3.84	c bounds 2852 >= 281 @ 1.91264
3.68/3.84	c bounds 2852 >= 282 @ 1.9153
3.68/3.85	c bounds 2852 >= 283 @ 1.91797
3.68/3.85	c bounds 2852 >= 284 @ 1.91978
3.68/3.85	c bounds 2852 >= 285 @ 1.92243
3.68/3.85	c bounds 2852 >= 286 @ 1.92525
3.68/3.86	c bounds 2852 >= 287 @ 1.92807
3.68/3.86	c bounds 2852 >= 288 @ 1.9299
3.68/3.86	c bounds 2852 >= 289 @ 1.93289
3.68/3.86	c bounds 2852 >= 290 @ 1.93555
3.68/3.87	c bounds 2852 >= 291 @ 1.93822
3.68/3.87	c bounds 2852 >= 292 @ 1.94089
3.68/3.87	c bounds 2852 >= 293 @ 1.94354
3.68/3.88	c bounds 2852 >= 294 @ 1.94619
3.68/3.88	c bounds 2852 >= 295 @ 1.94885
3.68/3.88	c bounds 2852 >= 296 @ 1.9515
3.68/3.88	c bounds 2852 >= 297 @ 1.95415
3.68/3.89	c bounds 2852 >= 298 @ 1.95679
3.68/3.89	c bounds 2852 >= 299 @ 1.95944
3.68/3.89	c bounds 2852 >= 300 @ 1.96208
3.68/3.89	c bounds 2852 >= 301 @ 1.96472
3.77/3.90	c bounds 2852 >= 302 @ 1.96737
3.77/3.90	c bounds 2852 >= 303 @ 1.9701
3.77/3.90	c bounds 2852 >= 304 @ 1.9728
3.77/3.90	c bounds 2852 >= 305 @ 1.9745
3.77/3.91	c bounds 2852 >= 306 @ 1.9772
3.77/3.91	c bounds 2852 >= 307 @ 1.97989
3.77/3.91	c bounds 2852 >= 308 @ 1.98258
3.77/3.92	c bounds 2852 >= 309 @ 1.98527
3.77/3.92	c bounds 2852 >= 310 @ 1.98834
3.77/3.92	c bounds 2852 >= 311 @ 1.99102
3.77/3.92	c bounds 2852 >= 312 @ 1.99369
3.77/3.93	c bounds 2852 >= 313 @ 1.99649
3.77/3.93	c bounds 2852 >= 314 @ 1.9993
3.77/3.93	c bounds 2852 >= 315 @ 2.00097
3.77/3.93	c bounds 2852 >= 316 @ 2.00264
3.77/3.94	c bounds 2852 >= 317 @ 2.00542
3.77/3.94	c bounds 2852 >= 318 @ 2.00808
3.77/3.94	c bounds 2852 >= 319 @ 2.01074
3.77/3.95	c bounds 2852 >= 320 @ 2.01239
3.77/3.95	c bounds 2852 >= 321 @ 2.01504
3.77/3.95	c bounds 2852 >= 322 @ 2.01784
3.77/3.95	c bounds 2852 >= 323 @ 2.01948
3.77/3.96	c bounds 2852 >= 324 @ 2.02214
3.77/3.96	c bounds 2852 >= 325 @ 2.0248
3.77/3.96	c bounds 2852 >= 326 @ 2.02644
3.77/3.96	c bounds 2852 >= 327 @ 2.02907
3.77/3.97	c bounds 2852 >= 328 @ 2.03171
3.77/3.97	c bounds 2852 >= 329 @ 2.03334
3.77/3.97	c bounds 2852 >= 330 @ 2.03613
3.77/3.98	c bounds 2852 >= 331 @ 2.03876
3.77/3.98	c bounds 2852 >= 332 @ 2.04041
3.77/3.98	c bounds 2852 >= 333 @ 2.04318
3.77/3.98	c bounds 2852 >= 334 @ 2.04581
3.77/3.99	c bounds 2852 >= 335 @ 2.04661
3.77/3.99	c bounds 2852 >= 336 @ 2.0483
3.77/3.99	c bounds 2852 >= 337 @ 2.05098
3.77/3.99	c bounds 2852 >= 338 @ 2.05366
3.77/4.00	c bounds 2852 >= 339 @ 2.05633
3.77/4.00	c bounds 2852 >= 340 @ 2.05903
3.88/4.00	c bounds 2852 >= 341 @ 2.06172
3.88/4.00	c bounds 2852 >= 342 @ 2.06441
3.88/4.01	c bounds 2852 >= 343 @ 2.06709
3.88/4.01	c bounds 2852 >= 344 @ 2.06975
3.88/4.01	c bounds 2852 >= 345 @ 2.07146
3.88/4.02	c bounds 2852 >= 346 @ 2.07413
3.88/4.02	c bounds 2852 >= 347 @ 2.0768
3.88/4.02	c bounds 2852 >= 348 @ 2.07947
3.88/4.02	c bounds 2852 >= 349 @ 2.08213
3.88/4.03	c bounds 2852 >= 350 @ 2.08481
3.88/4.03	c bounds 2852 >= 351 @ 2.08748
3.88/4.03	c bounds 2852 >= 352 @ 2.08917
3.88/4.03	c bounds 2852 >= 353 @ 2.09197
3.88/4.04	c bounds 2852 >= 354 @ 2.09464
3.88/4.04	c bounds 2852 >= 355 @ 2.09633
3.88/4.04	c bounds 2852 >= 356 @ 2.09796
3.88/4.05	c bounds 2852 >= 357 @ 2.10062
3.88/4.05	c bounds 2852 >= 358 @ 2.10326
3.88/4.05	c bounds 2852 >= 359 @ 2.10591
3.88/4.05	c bounds 2852 >= 360 @ 2.10856
3.88/4.06	c bounds 2852 >= 361 @ 2.11038
3.88/4.06	c bounds 2852 >= 362 @ 2.11299
3.88/4.06	c bounds 2852 >= 363 @ 2.11603
3.88/4.06	c bounds 2852 >= 364 @ 2.11783
3.88/4.07	c bounds 2852 >= 365 @ 2.12061
3.88/4.07	c bounds 2852 >= 366 @ 2.12241
3.88/4.07	c bounds 2852 >= 367 @ 2.12504
3.88/4.08	c bounds 2852 >= 368 @ 2.12768
3.88/4.08	c bounds 2852 >= 369 @ 2.13032
3.88/4.08	c bounds 2852 >= 370 @ 2.13304
3.88/4.08	c bounds 2852 >= 371 @ 2.13573
3.88/4.09	c bounds 2852 >= 372 @ 2.13842
3.88/4.09	c bounds 2852 >= 373 @ 2.14012
3.88/4.09	c bounds 2852 >= 374 @ 2.14281
3.88/4.09	c bounds 2852 >= 375 @ 2.1455
3.88/4.10	c bounds 2852 >= 376 @ 2.14819
3.88/4.10	c bounds 2852 >= 377 @ 2.15087
3.98/4.10	c bounds 2852 >= 378 @ 2.15355
3.98/4.11	c bounds 2852 >= 379 @ 2.15637
3.98/4.11	c bounds 2852 >= 380 @ 2.15805
3.98/4.11	c bounds 2852 >= 381 @ 2.16087
3.98/4.11	c bounds 2852 >= 382 @ 2.16354
3.98/4.12	c bounds 2852 >= 383 @ 2.16524
3.98/4.12	c bounds 2852 >= 384 @ 2.16801
3.98/4.12	c bounds 2852 >= 385 @ 2.17069
3.98/4.12	c bounds 2852 >= 386 @ 2.17336
3.98/4.13	c bounds 2852 >= 387 @ 2.17603
3.98/4.13	c bounds 2852 >= 388 @ 2.17868
3.98/4.13	c bounds 2852 >= 389 @ 2.18135
3.98/4.13	c bounds 2852 >= 390 @ 2.18401
3.98/4.14	c bounds 2852 >= 391 @ 2.18681
3.98/4.14	c bounds 2852 >= 392 @ 2.18946
3.98/4.14	c bounds 2852 >= 393 @ 2.19115
3.98/4.15	c bounds 2852 >= 394 @ 2.19378
3.98/4.15	c bounds 2852 >= 395 @ 2.19643
3.98/4.15	c bounds 2852 >= 396 @ 2.19825
3.98/4.15	c bounds 2852 >= 397 @ 2.19988
3.98/4.16	c bounds 2852 >= 398 @ 2.20253
3.98/4.16	c bounds 2852 >= 399 @ 2.20518
3.98/4.16	c bounds 2852 >= 400 @ 2.20782
3.98/4.16	c bounds 2852 >= 401 @ 2.21046
3.98/4.17	c bounds 2852 >= 402 @ 2.21212
3.98/4.17	c bounds 2852 >= 403 @ 2.21383
3.98/4.17	c bounds 2852 >= 404 @ 2.21653
3.98/4.18	c bounds 2852 >= 405 @ 2.21936
3.98/4.18	c bounds 2852 >= 406 @ 2.22204
3.98/4.18	c bounds 2852 >= 407 @ 2.22474
3.98/4.18	c bounds 2852 >= 408 @ 2.22743
3.98/4.19	c bounds 2852 >= 409 @ 2.23012
4.07/4.24	c bounds 2851 >= 409 @ 2.27559
4.07/4.24	c bounds 2851 >= 410 @ 2.27849
4.07/4.24	c bounds 2851 >= 411 @ 2.2812
4.07/4.25	c bounds 2851 >= 412 @ 2.28294
4.07/4.25	c bounds 2851 >= 413 @ 2.2856
4.07/4.25	c bounds 2851 >= 414 @ 2.28829
4.07/4.25	c bounds 2851 >= 415 @ 2.28902
4.07/4.26	c bounds 2851 >= 416 @ 2.2907
4.07/4.26	c bounds 2851 >= 417 @ 2.29339
4.07/4.26	c bounds 2851 >= 418 @ 2.29508
4.07/4.26	c bounds 2851 >= 419 @ 2.29691
4.07/4.27	c bounds 2851 >= 420 @ 2.29956
4.07/4.27	c bounds 2851 >= 421 @ 2.30238
4.07/4.27	c bounds 2851 >= 422 @ 2.30505
4.07/4.28	c bounds 2851 >= 423 @ 2.30674
4.07/4.28	c bounds 2851 >= 424 @ 2.30943
4.07/4.28	c bounds 2851 >= 425 @ 2.31212
4.07/4.28	c bounds 2851 >= 426 @ 2.31285
4.07/4.29	c bounds 2851 >= 427 @ 2.31563
4.07/4.29	c bounds 2851 >= 428 @ 2.31844
4.07/4.29	c bounds 2851 >= 429 @ 2.32112
4.07/4.29	c bounds 2851 >= 430 @ 2.32283
4.17/4.30	c bounds 2851 >= 431 @ 2.32547
4.17/4.30	c bounds 2851 >= 432 @ 2.32816
4.17/4.30	c bounds 2851 >= 433 @ 2.33001
4.17/4.31	c bounds 2851 >= 434 @ 2.33182
4.17/4.31	c bounds 2851 >= 435 @ 2.33446
4.17/4.31	c bounds 2851 >= 436 @ 2.33713
4.17/4.31	c bounds 2851 >= 437 @ 2.3389
4.17/4.32	c bounds 2851 >= 438 @ 2.33964
4.17/4.32	c bounds 2851 >= 439 @ 2.3423
4.17/4.32	c bounds 2851 >= 440 @ 2.34503
4.17/4.33	c bounds 2851 >= 441 @ 2.3469
4.17/4.33	c bounds 2851 >= 442 @ 2.3496
4.17/4.33	c bounds 2851 >= 443 @ 2.35231
4.17/4.33	c bounds 2851 >= 444 @ 2.35502
4.17/4.34	c bounds 2851 >= 445 @ 2.35677
4.17/4.34	c bounds 2851 >= 446 @ 2.35786
4.17/4.34	c bounds 2851 >= 447 @ 2.35952
4.17/4.34	c bounds 2851 >= 448 @ 2.3622
4.17/4.35	c bounds 2851 >= 449 @ 2.36502
4.17/4.35	c bounds 2851 >= 450 @ 2.36783
4.17/4.35	c bounds 2851 >= 451 @ 2.36969
4.17/4.36	c bounds 2851 >= 452 @ 2.37234
4.17/4.36	c bounds 2851 >= 453 @ 2.37504
4.17/4.36	c bounds 2851 >= 454 @ 2.37675
4.17/4.36	c bounds 2851 >= 455 @ 2.37839
4.17/4.37	c bounds 2851 >= 456 @ 2.38107
4.17/4.37	c bounds 2851 >= 457 @ 2.38375
4.17/4.37	c bounds 2851 >= 458 @ 2.38642
4.17/4.37	c bounds 2851 >= 459 @ 2.38909
4.17/4.38	c bounds 2851 >= 460 @ 2.39189
4.17/4.38	c bounds 2851 >= 461 @ 2.39456
4.17/4.38	c bounds 2851 >= 462 @ 2.39735
4.17/4.39	c bounds 2851 >= 463 @ 2.40015
4.17/4.39	c bounds 2851 >= 464 @ 2.4028
4.17/4.39	c bounds 2851 >= 465 @ 2.40447
4.17/4.39	c bounds 2851 >= 466 @ 2.40714
4.28/4.40	c bounds 2851 >= 467 @ 2.40994
4.28/4.40	c bounds 2851 >= 468 @ 2.41166
4.28/4.40	c bounds 2851 >= 469 @ 2.41428
4.28/4.40	c bounds 2851 >= 470 @ 2.41704
4.28/4.41	c bounds 2851 >= 471 @ 2.41975
4.28/4.41	c bounds 2851 >= 472 @ 2.42051
4.28/4.41	c bounds 2851 >= 473 @ 2.42319
4.28/4.42	c bounds 2851 >= 474 @ 2.42592
4.28/4.42	c bounds 2851 >= 475 @ 2.42768
4.28/4.42	c bounds 2851 >= 476 @ 2.42953
4.28/4.42	c bounds 2851 >= 477 @ 2.43231
4.28/4.43	c bounds 2851 >= 478 @ 2.43501
4.28/4.43	c bounds 2851 >= 479 @ 2.43771
4.28/4.43	c bounds 2851 >= 480 @ 2.44041
4.28/4.43	c bounds 2851 >= 481 @ 2.4431
4.28/4.44	c bounds 2851 >= 482 @ 2.44581
4.28/4.44	c bounds 2851 >= 483 @ 2.44863
4.28/4.44	c bounds 2851 >= 484 @ 2.45133
4.28/4.45	c bounds 2851 >= 485 @ 2.45415
4.28/4.45	c bounds 2851 >= 486 @ 2.45685
4.28/4.45	c bounds 2851 >= 487 @ 2.45858
4.28/4.45	c bounds 2851 >= 488 @ 2.46025
4.28/4.46	c bounds 2851 >= 489 @ 2.46293
4.28/4.46	c bounds 2851 >= 490 @ 2.46561
4.28/4.46	c bounds 2851 >= 491 @ 2.46746
4.28/4.46	c bounds 2851 >= 492 @ 2.47009
4.28/4.47	c bounds 2851 >= 493 @ 2.47276
4.28/4.47	c bounds 2851 >= 494 @ 2.47543
4.28/4.47	c bounds 2851 >= 495 @ 2.47809
4.28/4.48	c bounds 2851 >= 496 @ 2.48076
4.28/4.48	c bounds 2851 >= 497 @ 2.48342
4.28/4.48	c bounds 2851 >= 498 @ 2.48551
4.28/4.48	c bounds 2851 >= 499 @ 2.48716
4.28/4.49	c bounds 2851 >= 500 @ 2.48982
4.28/4.49	c bounds 2851 >= 501 @ 2.49248
4.28/4.49	c bounds 2851 >= 502 @ 2.49415
4.28/4.49	c bounds 2851 >= 503 @ 2.4968
4.38/4.50	c bounds 2851 >= 504 @ 2.49954
4.38/4.50	c bounds 2851 >= 505 @ 2.50127
4.38/4.50	c bounds 2851 >= 506 @ 2.50397
4.38/4.51	c bounds 2851 >= 507 @ 2.50668
4.38/4.51	c bounds 2851 >= 508 @ 2.50843
4.38/4.51	c bounds 2851 >= 509 @ 2.50928
4.38/4.51	c bounds 2851 >= 510 @ 2.51194
4.38/4.52	c bounds 2851 >= 511 @ 2.51465
4.38/4.52	c bounds 2851 >= 512 @ 2.5154
4.38/4.52	c bounds 2851 >= 513 @ 2.51706
4.38/4.52	c bounds 2851 >= 514 @ 2.51877
4.38/4.53	c bounds 2851 >= 515 @ 2.52145
4.38/4.53	c bounds 2851 >= 516 @ 2.52317
4.38/4.53	c bounds 2851 >= 517 @ 2.52587
4.38/4.54	c bounds 2851 >= 518 @ 2.52859
4.38/4.54	c bounds 2851 >= 519 @ 2.53031
4.38/4.54	c bounds 2851 >= 520 @ 2.53296
4.38/4.54	c bounds 2851 >= 521 @ 2.53578
4.38/4.55	c bounds 2851 >= 522 @ 2.53847
4.38/4.55	c bounds 2851 >= 523 @ 2.54016
4.38/4.55	c bounds 2851 >= 524 @ 2.54285
4.38/4.55	c bounds 2851 >= 525 @ 2.54554
4.38/4.56	c bounds 2851 >= 526 @ 2.54725
4.38/4.56	c bounds 2851 >= 527 @ 2.54889
4.38/4.56	c bounds 2851 >= 528 @ 2.5517
4.38/4.57	c bounds 2851 >= 529 @ 2.55439
4.38/4.57	c bounds 2851 >= 530 @ 2.55606
4.38/4.57	c bounds 2851 >= 531 @ 2.55874
4.38/4.57	c bounds 2851 >= 532 @ 2.56141
4.38/4.58	c bounds 2851 >= 533 @ 2.56418
4.38/4.58	c bounds 2851 >= 534 @ 2.56685
4.38/4.58	c bounds 2851 >= 535 @ 2.56966
4.38/4.58	c bounds 2851 >= 536 @ 2.57236
4.38/4.59	c bounds 2851 >= 537 @ 2.57421
4.38/4.59	c bounds 2851 >= 538 @ 2.57693
4.38/4.59	c bounds 2851 >= 539 @ 2.57966
4.38/4.60	c bounds 2851 >= 540 @ 2.58237
4.47/4.60	c bounds 2851 >= 541 @ 2.58413
4.47/4.60	c bounds 2851 >= 542 @ 2.58679
4.47/4.60	c bounds 2851 >= 543 @ 2.5895
4.47/4.61	c bounds 2851 >= 544 @ 2.59137
4.47/4.61	c bounds 2851 >= 545 @ 2.59305
4.47/4.61	c bounds 2851 >= 546 @ 2.59578
4.47/4.61	c bounds 2851 >= 547 @ 2.59863
4.47/4.62	c bounds 2851 >= 548 @ 2.60049
4.47/4.62	c bounds 2851 >= 549 @ 2.60221
4.47/4.62	c bounds 2851 >= 550 @ 2.60332
4.47/4.63	c bounds 2851 >= 551 @ 2.60599
4.47/4.63	c bounds 2851 >= 552 @ 2.6087
4.47/4.63	c bounds 2851 >= 553 @ 2.61141
4.47/4.63	c bounds 2851 >= 554 @ 2.61322
4.47/4.64	c bounds 2851 >= 555 @ 2.6149
4.47/4.64	c bounds 2851 >= 556 @ 2.61772
4.47/4.64	c bounds 2851 >= 557 @ 2.62055
4.47/4.65	c bounds 2851 >= 558 @ 2.62324
4.47/4.65	c bounds 2851 >= 559 @ 2.62493
4.47/4.65	c bounds 2851 >= 560 @ 2.62762
4.47/4.65	c bounds 2851 >= 561 @ 2.62933
4.47/4.66	c bounds 2851 >= 562 @ 2.63105
4.47/4.66	c bounds 2851 >= 563 @ 2.63368
4.47/4.66	c bounds 2851 >= 564 @ 2.63637
4.47/4.66	c bounds 2851 >= 565 @ 2.63917
4.47/4.67	c bounds 2851 >= 566 @ 2.64086
4.47/4.67	c bounds 2851 >= 567 @ 2.64354
4.47/4.67	c bounds 2851 >= 568 @ 2.64623
4.47/4.67	c bounds 2851 >= 569 @ 2.64892
4.47/4.68	c bounds 2851 >= 570 @ 2.65158
4.47/4.68	c bounds 2851 >= 571 @ 2.65434
4.47/4.68	c bounds 2851 >= 572 @ 2.6561
4.47/4.69	c bounds 2851 >= 573 @ 2.6578
4.47/4.69	c bounds 2851 >= 574 @ 2.66052
4.47/4.69	c bounds 2851 >= 575 @ 2.66325
4.47/4.69	c bounds 2851 >= 576 @ 2.664
4.57/4.70	c bounds 2851 >= 577 @ 2.66569
4.57/4.70	c bounds 2851 >= 578 @ 2.66854
4.57/4.70	c bounds 2851 >= 579 @ 2.67139
4.57/4.71	c bounds 2851 >= 580 @ 2.67422
4.57/4.71	c bounds 2851 >= 581 @ 2.67694
4.57/4.71	c bounds 2851 >= 582 @ 2.67965
4.57/4.71	c bounds 2851 >= 583 @ 2.68236
4.57/4.72	c bounds 2851 >= 584 @ 2.6851
4.57/4.72	c bounds 2851 >= 585 @ 2.6868
4.57/4.72	c bounds 2851 >= 586 @ 2.68952
4.57/4.72	c bounds 2851 >= 587 @ 2.69224
4.57/4.73	c bounds 2851 >= 588 @ 2.69411
4.57/4.73	c bounds 2851 >= 589 @ 2.69691
4.57/4.73	c bounds 2851 >= 590 @ 2.69863
4.57/4.74	c bounds 2851 >= 591 @ 2.70131
4.57/4.74	c bounds 2851 >= 592 @ 2.70413
4.57/4.74	c bounds 2851 >= 593 @ 2.70585
4.57/4.74	c bounds 2851 >= 594 @ 2.70849
4.57/4.75	c bounds 2851 >= 595 @ 2.71118
4.57/4.75	c bounds 2851 >= 596 @ 2.7129
4.57/4.75	c bounds 2851 >= 597 @ 2.71453
4.57/4.75	c bounds 2851 >= 598 @ 2.71721
4.57/4.76	c bounds 2851 >= 599 @ 2.71893
4.57/4.76	c bounds 2851 >= 600 @ 2.7207
4.57/4.76	c bounds 2851 >= 601 @ 2.72338
4.57/4.77	c bounds 2851 >= 602 @ 2.72644
4.57/4.77	c bounds 2851 >= 603 @ 2.72913
4.57/4.77	c bounds 2851 >= 604 @ 2.73092
4.57/4.77	c bounds 2851 >= 605 @ 2.73262
4.57/4.78	c bounds 2851 >= 606 @ 2.73533
4.57/4.78	c bounds 2851 >= 607 @ 2.73805
4.57/4.78	c bounds 2851 >= 608 @ 2.73983
4.57/4.78	c bounds 2851 >= 609 @ 2.74152
4.57/4.79	c bounds 2851 >= 610 @ 2.74423
4.57/4.79	c bounds 2851 >= 611 @ 2.74694
4.57/4.79	c bounds 2851 >= 612 @ 2.74865
4.68/4.80	c bounds 2851 >= 613 @ 2.75135
4.68/4.80	c bounds 2851 >= 614 @ 2.75406
4.68/4.80	c bounds 2851 >= 615 @ 2.75677
4.68/4.80	c bounds 2851 >= 616 @ 2.75847
4.68/4.81	c bounds 2851 >= 617 @ 2.76118
4.68/4.81	c bounds 2851 >= 618 @ 2.7639
4.68/4.81	c bounds 2851 >= 619 @ 2.7656
4.68/4.81	c bounds 2851 >= 620 @ 2.76831
4.68/4.82	c bounds 2851 >= 621 @ 2.77113
4.68/4.82	c bounds 2851 >= 622 @ 2.77384
4.68/4.82	c bounds 2851 >= 623 @ 2.77554
4.68/4.83	c bounds 2851 >= 624 @ 2.77824
4.68/4.83	c bounds 2851 >= 625 @ 2.78093
4.68/4.83	c bounds 2851 >= 626 @ 2.78361
4.68/4.83	c bounds 2851 >= 627 @ 2.78531
4.68/4.84	c bounds 2851 >= 628 @ 2.78801
4.68/4.84	c bounds 2851 >= 629 @ 2.78973
4.68/4.84	c bounds 2851 >= 630 @ 2.7914
4.68/4.84	c bounds 2851 >= 631 @ 2.79407
4.68/4.85	c bounds 2851 >= 632 @ 2.79676
4.68/4.85	c bounds 2851 >= 633 @ 2.79944
4.68/4.85	c bounds 2851 >= 634 @ 2.80214
4.68/4.86	c bounds 2851 >= 635 @ 2.80386
4.68/4.86	c bounds 2851 >= 636 @ 2.8065
4.68/4.86	c bounds 2851 >= 637 @ 2.80918
4.68/4.86	c bounds 2851 >= 638 @ 2.81194
4.68/4.87	c bounds 2851 >= 639 @ 2.81396
4.68/4.87	c bounds 2851 >= 640 @ 2.81572
4.68/4.87	c bounds 2851 >= 641 @ 2.81841
4.68/4.87	c bounds 2851 >= 642 @ 2.82127
4.68/4.88	c bounds 2851 >= 643 @ 2.824
4.68/4.88	c bounds 2851 >= 644 @ 2.82672
4.68/4.88	c bounds 2851 >= 645 @ 2.82846
4.68/4.89	c bounds 2851 >= 646 @ 2.83117
4.68/4.89	c bounds 2851 >= 647 @ 2.8339
4.68/4.89	c bounds 2851 >= 648 @ 2.83567
4.68/4.89	c bounds 2851 >= 649 @ 2.83736
4.78/4.90	c bounds 2851 >= 650 @ 2.84009
4.78/4.90	c bounds 2851 >= 651 @ 2.84282
4.78/4.90	c bounds 2851 >= 652 @ 2.84459
4.78/4.90	c bounds 2851 >= 653 @ 2.84726
4.78/4.91	c bounds 2851 >= 654 @ 2.85011
4.78/4.91	c bounds 2851 >= 655 @ 2.85323
4.78/4.91	c bounds 2851 >= 656 @ 2.85595
4.78/4.92	c bounds 2851 >= 657 @ 2.85866
4.78/4.92	c bounds 2851 >= 658 @ 2.86038
4.78/4.92	c bounds 2851 >= 659 @ 2.86211
4.78/4.92	c bounds 2851 >= 660 @ 2.86484
4.78/4.93	c bounds 2851 >= 661 @ 2.8666
4.78/4.93	c bounds 2851 >= 662 @ 2.86827
4.78/4.93	c bounds 2851 >= 663 @ 2.87099
4.78/4.94	c bounds 2851 >= 664 @ 2.87287
4.78/4.94	c bounds 2851 >= 665 @ 2.87577
4.78/4.94	c bounds 2851 >= 666 @ 2.87764
4.78/4.94	c bounds 2851 >= 667 @ 2.87932
4.78/4.95	c bounds 2851 >= 668 @ 2.882
4.78/4.95	c bounds 2851 >= 669 @ 2.88483
4.78/4.95	c bounds 2851 >= 670 @ 2.88755
4.78/4.95	c bounds 2851 >= 671 @ 2.88939
4.78/4.96	c bounds 2851 >= 672 @ 2.8911
4.78/4.96	c bounds 2851 >= 673 @ 2.89386
4.78/4.96	c bounds 2851 >= 674 @ 2.8966
4.78/4.97	c bounds 2851 >= 675 @ 2.89933
4.78/4.97	c bounds 2851 >= 676 @ 2.90108
4.78/4.97	c bounds 2851 >= 677 @ 2.90382
4.78/4.97	c bounds 2851 >= 678 @ 2.90657
4.78/4.98	c bounds 2851 >= 679 @ 2.90835
4.78/4.98	c bounds 2851 >= 680 @ 2.91003
4.78/4.98	c bounds 2851 >= 681 @ 2.91276
4.78/4.99	c bounds 2851 >= 682 @ 2.91453
4.78/4.99	c bounds 2851 >= 683 @ 2.91623
4.78/4.99	c bounds 2851 >= 684 @ 2.91894
4.78/4.99	c bounds 2851 >= 685 @ 2.92069
4.78/5.00	c bounds 2851 >= 686 @ 2.92339
4.78/5.00	c bounds 2851 >= 687 @ 2.92613
4.87/5.00	c bounds 2851 >= 688 @ 2.92886
4.87/5.00	c bounds 2851 >= 689 @ 2.93159
4.87/5.01	c bounds 2851 >= 690 @ 2.93337
4.87/5.01	c bounds 2851 >= 691 @ 2.93505
4.87/5.01	c bounds 2851 >= 692 @ 2.93776
4.87/5.07	c bounds 2850 >= 692 @ 2.98133
4.87/5.07	c bounds 2850 >= 693 @ 2.98341
4.87/5.07	c bounds 2850 >= 694 @ 2.98416
4.87/5.07	c bounds 2850 >= 695 @ 2.98585
4.87/5.08	c bounds 2850 >= 696 @ 2.98857
4.87/5.08	c bounds 2850 >= 697 @ 2.99129
4.87/5.08	c bounds 2850 >= 698 @ 2.99301
4.87/5.09	c bounds 2850 >= 699 @ 2.99574
4.87/5.09	c bounds 2850 >= 700 @ 2.9986
4.87/5.09	c bounds 2850 >= 701 @ 3.00155
4.87/5.09	c bounds 2850 >= 702 @ 3.00427
4.87/5.10	c bounds 2850 >= 703 @ 3.00701
4.87/5.10	c bounds 2850 >= 704 @ 3.00972
4.98/5.10	c bounds 2850 >= 705 @ 3.01251
4.98/5.11	c bounds 2850 >= 706 @ 3.01527
4.98/5.11	c bounds 2850 >= 707 @ 3.01709
4.98/5.11	c bounds 2850 >= 708 @ 3.01982
4.98/5.11	c bounds 2850 >= 709 @ 3.02258
4.98/5.12	c bounds 2850 >= 710 @ 3.02534
4.98/5.12	c bounds 2850 >= 711 @ 3.0281
4.98/5.12	c bounds 2850 >= 712 @ 3.02988
4.98/5.12	c bounds 2850 >= 713 @ 3.03165
4.98/5.13	c bounds 2850 >= 714 @ 3.03439
4.98/5.13	c bounds 2850 >= 715 @ 3.03619
4.98/5.13	c bounds 2850 >= 716 @ 3.03789
4.98/5.14	c bounds 2850 >= 717 @ 3.03967
4.98/5.14	c bounds 2850 >= 718 @ 3.04144
4.98/5.14	c bounds 2850 >= 719 @ 3.04428
4.98/5.14	c bounds 2850 >= 720 @ 3.04702
4.98/5.15	c bounds 2850 >= 721 @ 3.04975
4.98/5.15	c bounds 2850 >= 722 @ 3.05259
4.98/5.15	c bounds 2850 >= 723 @ 3.05533
4.98/5.16	c bounds 2850 >= 724 @ 3.05712
4.98/5.16	c bounds 2850 >= 725 @ 3.05882
4.98/5.16	c bounds 2850 >= 726 @ 3.06059
4.98/5.16	c bounds 2850 >= 727 @ 3.06332
4.98/5.17	c bounds 2850 >= 728 @ 3.06604
4.98/5.17	c bounds 2850 >= 729 @ 3.06778
4.98/5.17	c bounds 2850 >= 730 @ 3.0705
4.98/5.17	c bounds 2850 >= 731 @ 3.07322
4.98/5.18	c bounds 2850 >= 732 @ 3.07594
4.98/5.18	c bounds 2850 >= 733 @ 3.07866
4.98/5.18	c bounds 2850 >= 734 @ 3.08137
4.98/5.19	c bounds 2850 >= 735 @ 3.0842
4.98/5.19	c bounds 2850 >= 736 @ 3.08694
4.98/5.19	c bounds 2850 >= 737 @ 3.08866
4.98/5.19	c bounds 2850 >= 738 @ 3.09145
5.07/5.20	c bounds 2850 >= 739 @ 3.09422
5.07/5.20	c bounds 2850 >= 740 @ 3.09638
5.07/5.20	c bounds 2850 >= 741 @ 3.09912
5.07/5.20	c bounds 2850 >= 742 @ 3.10091
5.07/5.21	c bounds 2850 >= 743 @ 3.10361
5.07/5.21	c bounds 2850 >= 744 @ 3.10636
5.07/5.21	c bounds 2850 >= 745 @ 3.1091
5.07/5.22	c bounds 2850 >= 746 @ 3.11185
5.07/5.22	c bounds 2850 >= 747 @ 3.11466
5.07/5.22	c bounds 2850 >= 748 @ 3.1164
5.07/5.22	c bounds 2850 >= 749 @ 3.11912
5.07/5.23	c bounds 2850 >= 750 @ 3.12089
5.07/5.23	c bounds 2850 >= 751 @ 3.1237
5.07/5.23	c bounds 2850 >= 752 @ 3.12644
5.07/5.24	c bounds 2850 >= 753 @ 3.12916
5.07/5.24	c bounds 2850 >= 754 @ 3.13093
5.07/5.24	c bounds 2850 >= 755 @ 3.13262
5.07/5.24	c bounds 2850 >= 756 @ 3.13348
5.07/5.25	c bounds 2850 >= 757 @ 3.13622
5.07/5.25	c bounds 2850 >= 758 @ 3.13896
5.07/5.25	c bounds 2850 >= 759 @ 3.13974
5.07/5.25	c bounds 2850 >= 760 @ 3.14239
5.07/5.26	c bounds 2850 >= 761 @ 3.14511
5.07/5.26	c bounds 2850 >= 762 @ 3.14794
5.07/5.26	c bounds 2850 >= 763 @ 3.15068
5.07/5.27	c bounds 2850 >= 764 @ 3.15252
5.07/5.27	c bounds 2850 >= 765 @ 3.15523
5.07/5.27	c bounds 2850 >= 766 @ 3.15795
5.07/5.27	c bounds 2850 >= 767 @ 3.15974
5.07/5.28	c bounds 2850 >= 768 @ 3.16238
5.07/5.28	c bounds 2850 >= 769 @ 3.16509
5.07/5.28	c bounds 2850 >= 770 @ 3.16586
5.07/5.28	c bounds 2850 >= 771 @ 3.16862
5.07/5.29	c bounds 2850 >= 772 @ 3.17043
5.07/5.29	c bounds 2850 >= 773 @ 3.17317
5.07/5.29	c bounds 2850 >= 774 @ 3.17593
5.17/5.30	c bounds 2850 >= 775 @ 3.17881
5.17/5.30	c bounds 2850 >= 776 @ 3.18063
5.17/5.30	c bounds 2850 >= 777 @ 3.18331
5.17/5.30	c bounds 2850 >= 778 @ 3.18607
5.17/5.31	c bounds 2850 >= 779 @ 3.18884
5.17/5.31	c bounds 2850 >= 780 @ 3.1916
5.17/5.31	c bounds 2850 >= 781 @ 3.19336
5.17/5.32	c bounds 2850 >= 782 @ 3.1961
5.17/5.32	c bounds 2850 >= 783 @ 3.19885
5.17/5.32	c bounds 2850 >= 784 @ 3.20064
5.17/5.32	c bounds 2850 >= 785 @ 3.20333
5.17/5.33	c bounds 2850 >= 786 @ 3.20617
5.17/5.33	c bounds 2850 >= 787 @ 3.20891
5.17/5.33	c bounds 2850 >= 788 @ 3.2107
5.17/5.33	c bounds 2850 >= 789 @ 3.21241
5.17/5.34	c bounds 2850 >= 790 @ 3.21416
5.17/5.34	c bounds 2850 >= 791 @ 3.2169
5.17/5.34	c bounds 2850 >= 792 @ 3.21904
5.17/5.35	c bounds 2850 >= 793 @ 3.22178
5.17/5.35	c bounds 2850 >= 794 @ 3.22355
5.17/5.35	c bounds 2850 >= 795 @ 3.22523
5.17/5.35	c bounds 2850 >= 796 @ 3.22804
5.17/5.36	c bounds 2850 >= 797 @ 3.23078
5.17/5.36	c bounds 2850 >= 798 @ 3.23256
5.17/5.36	c bounds 2850 >= 799 @ 3.23424
5.17/5.37	c bounds 2850 >= 800 @ 3.23696
5.17/5.37	c bounds 2850 >= 801 @ 3.23969
5.17/5.37	c bounds 2850 >= 802 @ 3.24242
5.17/5.37	c bounds 2850 >= 803 @ 3.24336
5.17/5.38	c bounds 2850 >= 804 @ 3.246
5.17/5.38	c bounds 2850 >= 805 @ 3.24881
5.17/5.38	c bounds 2850 >= 806 @ 3.25062
5.17/5.38	c bounds 2850 >= 807 @ 3.25235
5.17/5.39	c bounds 2850 >= 808 @ 3.25423
5.17/5.39	c bounds 2850 >= 809 @ 3.25699
5.17/5.39	c bounds 2850 >= 810 @ 3.25975
5.27/5.40	c bounds 2850 >= 811 @ 3.26155
5.27/5.40	c bounds 2850 >= 812 @ 3.26326
5.27/5.40	c bounds 2850 >= 813 @ 3.26502
5.27/5.40	c bounds 2850 >= 814 @ 3.26777
5.27/5.41	c bounds 2850 >= 815 @ 3.26957
5.27/5.41	c bounds 2850 >= 816 @ 3.27226
5.27/5.41	c bounds 2850 >= 817 @ 3.27402
5.27/5.42	c bounds 2850 >= 818 @ 3.27676
5.27/5.42	c bounds 2850 >= 819 @ 3.27859
5.27/5.42	c bounds 2850 >= 820 @ 3.28154
5.27/5.42	c bounds 2850 >= 821 @ 3.28334
5.27/5.43	c bounds 2850 >= 822 @ 3.2851
5.27/5.43	c bounds 2850 >= 823 @ 3.28782
5.27/5.43	c bounds 2850 >= 824 @ 3.29056
5.27/5.43	c bounds 2850 >= 825 @ 3.29236
5.27/5.44	c bounds 2850 >= 826 @ 3.29405
5.27/5.44	c bounds 2850 >= 827 @ 3.29679
5.27/5.44	c bounds 2850 >= 828 @ 3.29952
5.27/5.45	c bounds 2850 >= 829 @ 3.30224
5.27/5.45	c bounds 2850 >= 830 @ 3.30398
5.27/5.45	c bounds 2850 >= 831 @ 3.30671
5.27/5.45	c bounds 2850 >= 832 @ 3.30849
5.27/5.46	c bounds 2850 >= 833 @ 3.31032
5.27/5.46	c bounds 2850 >= 834 @ 3.31212
5.27/5.46	c bounds 2850 >= 835 @ 3.31483
5.27/5.47	c bounds 2850 >= 836 @ 3.31766
5.27/5.47	c bounds 2850 >= 837 @ 3.31943
5.27/5.47	c bounds 2850 >= 838 @ 3.32111
5.27/5.47	c bounds 2850 >= 839 @ 3.32292
5.27/5.48	c bounds 2850 >= 840 @ 3.3258
5.27/5.48	c bounds 2850 >= 841 @ 3.32761
5.27/5.48	c bounds 2850 >= 842 @ 3.3294
5.27/5.48	c bounds 2850 >= 843 @ 3.33212
5.27/5.49	c bounds 2850 >= 844 @ 3.33402
5.27/5.49	c bounds 2850 >= 845 @ 3.33717
5.27/5.49	c bounds 2850 >= 846 @ 3.33894
5.37/5.50	c bounds 2850 >= 847 @ 3.34169
5.37/5.50	c bounds 2850 >= 848 @ 3.34349
5.37/5.50	c bounds 2850 >= 849 @ 3.34529
5.37/5.50	c bounds 2850 >= 850 @ 3.347
5.37/5.51	c bounds 2850 >= 851 @ 3.34972
5.37/5.51	c bounds 2850 >= 852 @ 3.35247
5.37/5.51	c bounds 2850 >= 853 @ 3.35428
5.37/5.52	c bounds 2850 >= 854 @ 3.35698
5.37/5.52	c bounds 2850 >= 855 @ 3.35973
5.37/5.52	c bounds 2850 >= 856 @ 3.36258
5.37/5.52	c bounds 2850 >= 857 @ 3.36448
5.37/5.53	c bounds 2850 >= 858 @ 3.36625
5.37/5.53	c bounds 2850 >= 859 @ 3.36795
5.37/5.53	c bounds 2850 >= 860 @ 3.37068
5.37/5.54	c bounds 2850 >= 861 @ 3.37352
5.37/5.54	c bounds 2850 >= 862 @ 3.37541
5.37/5.54	c bounds 2850 >= 863 @ 3.37718
5.37/5.54	c bounds 2850 >= 864 @ 3.37886
5.37/5.55	c bounds 2850 >= 865 @ 3.3816
5.37/5.55	c bounds 2850 >= 866 @ 3.38347
5.37/5.55	c bounds 2850 >= 867 @ 3.38522
5.37/5.55	c bounds 2850 >= 868 @ 3.38701
5.37/5.56	c bounds 2850 >= 869 @ 3.38875
5.37/5.56	c bounds 2850 >= 870 @ 3.39148
5.37/5.56	c bounds 2850 >= 871 @ 3.39326
5.37/5.57	c bounds 2850 >= 872 @ 3.39501
5.37/5.57	c bounds 2850 >= 873 @ 3.39678
5.37/5.57	c bounds 2850 >= 874 @ 3.39956
5.37/5.57	c bounds 2850 >= 875 @ 3.40233
5.37/5.58	c bounds 2850 >= 876 @ 3.40417
5.37/5.58	c bounds 2850 >= 877 @ 3.4059
5.37/5.58	c bounds 2850 >= 878 @ 3.40876
5.37/5.59	c bounds 2850 >= 879 @ 3.41154
5.37/5.59	c bounds 2850 >= 880 @ 3.41336
5.37/5.59	c bounds 2850 >= 881 @ 3.41514
5.37/5.59	c bounds 2850 >= 882 @ 3.41693
5.48/5.60	c bounds 2850 >= 883 @ 3.4197
5.48/5.60	c bounds 2850 >= 884 @ 3.42256
5.48/5.60	c bounds 2850 >= 885 @ 3.42531
5.48/5.60	c bounds 2850 >= 886 @ 3.42713
5.48/5.61	c bounds 2850 >= 887 @ 3.42885
5.48/5.61	c bounds 2850 >= 888 @ 3.43069
5.48/5.61	c bounds 2850 >= 889 @ 3.43344
5.48/5.62	c bounds 2850 >= 890 @ 3.43524
5.48/5.62	c bounds 2850 >= 891 @ 3.43702
5.48/5.62	c bounds 2850 >= 892 @ 3.43882
5.48/5.62	c bounds 2850 >= 893 @ 3.44058
5.48/5.63	c bounds 2850 >= 894 @ 3.44332
5.48/5.63	c bounds 2850 >= 895 @ 3.4451
5.48/5.63	c bounds 2850 >= 896 @ 3.44777
5.48/5.64	c bounds 2850 >= 897 @ 3.4509
5.48/5.64	c bounds 2850 >= 898 @ 3.45265
5.48/5.64	c bounds 2850 >= 899 @ 3.45538
5.48/5.64	c bounds 2850 >= 900 @ 3.45811
5.48/5.65	c bounds 2850 >= 901 @ 3.46001
5.48/5.65	c bounds 2850 >= 902 @ 3.46268
5.48/5.65	c bounds 2850 >= 903 @ 3.46553
5.48/5.66	c bounds 2850 >= 904 @ 3.46826
5.48/5.66	c bounds 2850 >= 905 @ 3.47099
5.48/5.66	c bounds 2850 >= 906 @ 3.47282
5.48/5.66	c bounds 2850 >= 907 @ 3.47569
5.48/5.67	c bounds 2850 >= 908 @ 3.4775
5.48/5.67	c bounds 2850 >= 909 @ 3.48027
5.48/5.67	c bounds 2850 >= 910 @ 3.48209
5.48/5.67	c bounds 2850 >= 911 @ 3.48399
5.48/5.68	c bounds 2850 >= 912 @ 3.48572
5.48/5.68	c bounds 2850 >= 913 @ 3.48751
5.48/5.68	c bounds 2850 >= 914 @ 3.49028
5.48/5.69	c bounds 2850 >= 915 @ 3.4921
5.48/5.69	c bounds 2850 >= 916 @ 3.4938
5.48/5.69	c bounds 2850 >= 917 @ 3.49557
5.48/5.69	c bounds 2850 >= 918 @ 3.49845
5.58/5.70	c bounds 2850 >= 919 @ 3.50122
5.58/5.70	c bounds 2850 >= 920 @ 3.50407
5.58/5.79	c bounds 2849 >= 920 @ 3.58115
5.58/5.79	c bounds 2849 >= 921 @ 3.58428
5.58/5.79	c bounds 2849 >= 922 @ 3.58704
5.58/5.79	c bounds 2849 >= 923 @ 3.58886
5.67/5.80	c bounds 2849 >= 924 @ 3.59072
5.67/5.80	c bounds 2849 >= 925 @ 3.59253
5.67/5.80	c bounds 2849 >= 926 @ 3.5953
5.67/5.81	c bounds 2849 >= 927 @ 3.59805
5.67/5.81	c bounds 2849 >= 928 @ 3.59984
5.67/5.81	c bounds 2849 >= 929 @ 3.60254
5.67/5.81	c bounds 2849 >= 930 @ 3.6043
5.67/5.82	c bounds 2849 >= 931 @ 3.60705
5.67/5.82	c bounds 2849 >= 932 @ 3.60885
5.67/5.82	c bounds 2849 >= 933 @ 3.61155
5.67/5.82	c bounds 2849 >= 934 @ 3.6133
5.67/5.83	c bounds 2849 >= 935 @ 3.61605
5.67/5.83	c bounds 2849 >= 936 @ 3.61785
5.67/5.83	c bounds 2849 >= 937 @ 3.62055
5.67/5.84	c bounds 2849 >= 938 @ 3.6223
5.67/5.84	c bounds 2849 >= 939 @ 3.62413
5.67/5.84	c bounds 2849 >= 940 @ 3.62692
5.67/5.84	c bounds 2849 >= 941 @ 3.62875
5.67/5.85	c bounds 2849 >= 942 @ 3.63149
5.67/5.85	c bounds 2849 >= 943 @ 3.63429
5.67/5.85	c bounds 2849 >= 944 @ 3.63617
5.67/5.86	c bounds 2849 >= 945 @ 3.63895
5.67/5.86	c bounds 2849 >= 946 @ 3.64078
5.67/5.86	c bounds 2849 >= 947 @ 3.64267
5.67/5.86	c bounds 2849 >= 948 @ 3.6444
5.67/5.87	c bounds 2849 >= 949 @ 3.6463
5.67/5.87	c bounds 2849 >= 950 @ 3.64807
5.67/5.87	c bounds 2849 >= 951 @ 3.65093
5.67/5.88	c bounds 2849 >= 952 @ 3.65277
5.67/5.88	c bounds 2849 >= 953 @ 3.65549
5.67/5.88	c bounds 2849 >= 954 @ 3.65728
5.67/5.88	c bounds 2849 >= 955 @ 3.65822
5.67/5.89	c bounds 2849 >= 956 @ 3.661
5.67/5.89	c bounds 2849 >= 957 @ 3.66387
5.67/5.89	c bounds 2849 >= 958 @ 3.66578
5.67/5.90	c bounds 2849 >= 959 @ 3.66766
5.78/5.90	c bounds 2849 >= 960 @ 3.66938
5.78/5.90	c bounds 2849 >= 961 @ 3.67126
5.78/5.90	c bounds 2849 >= 962 @ 3.67309
5.78/5.91	c bounds 2849 >= 963 @ 3.67593
5.78/5.91	c bounds 2849 >= 964 @ 3.67917
5.78/5.91	c bounds 2849 >= 965 @ 3.68097
5.78/5.92	c bounds 2849 >= 966 @ 3.68372
5.78/5.92	c bounds 2849 >= 967 @ 3.68552
5.78/5.92	c bounds 2849 >= 968 @ 3.68731
5.78/5.92	c bounds 2849 >= 969 @ 3.69013
5.78/5.93	c bounds 2849 >= 970 @ 3.69189
5.78/5.93	c bounds 2849 >= 971 @ 3.69465
5.78/5.93	c bounds 2849 >= 972 @ 3.69646
5.78/5.93	c bounds 2849 >= 973 @ 3.69921
5.78/5.94	c bounds 2849 >= 974 @ 3.70209
5.78/5.94	c bounds 2849 >= 975 @ 3.70391
5.78/5.94	c bounds 2849 >= 976 @ 3.70669
5.78/5.95	c bounds 2849 >= 977 @ 3.70947
5.78/5.95	c bounds 2849 >= 978 @ 3.71127
5.78/5.95	c bounds 2849 >= 979 @ 3.71305
5.78/5.95	c bounds 2849 >= 980 @ 3.71583
5.78/5.96	c bounds 2849 >= 981 @ 3.71766
5.78/5.96	c bounds 2849 >= 982 @ 3.71848
5.78/5.96	c bounds 2849 >= 983 @ 3.72121
5.78/5.97	c bounds 2849 >= 984 @ 3.72302
5.78/5.97	c bounds 2849 >= 985 @ 3.72582
5.78/5.97	c bounds 2849 >= 986 @ 3.7286
5.78/5.97	c bounds 2849 >= 987 @ 3.73138
5.78/5.98	c bounds 2849 >= 988 @ 3.73323
5.78/5.98	c bounds 2849 >= 989 @ 3.735
5.78/5.98	c bounds 2849 >= 990 @ 3.73778
5.78/5.99	c bounds 2849 >= 991 @ 3.74055
5.78/5.99	c bounds 2849 >= 992 @ 3.74331
5.78/5.99	c bounds 2849 >= 993 @ 3.7451
5.78/5.99	c bounds 2849 >= 994 @ 3.74686
5.78/6.00	c bounds 2849 >= 995 @ 3.74971
5.78/6.00	c bounds 2849 >= 996 @ 3.7525
5.88/6.00	c bounds 2849 >= 997 @ 3.75442
5.88/6.00	c bounds 2849 >= 998 @ 3.75712
5.88/6.01	c bounds 2849 >= 999 @ 3.75989
5.88/6.01	c bounds 2849 >= 1000 @ 3.76265
5.88/6.01	c bounds 2849 >= 1001 @ 3.76542
5.88/6.02	c bounds 2849 >= 1002 @ 3.76819
5.88/6.02	c bounds 2849 >= 1003 @ 3.76996
5.88/6.02	c bounds 2849 >= 1004 @ 3.77172
5.88/6.02	c bounds 2849 >= 1005 @ 3.77446
5.88/6.03	c bounds 2849 >= 1006 @ 3.77633
5.88/6.03	c bounds 2849 >= 1007 @ 3.77807
5.88/6.03	c bounds 2849 >= 1008 @ 3.78088
5.88/6.04	c bounds 2849 >= 1009 @ 3.78269
5.88/6.04	c bounds 2849 >= 1010 @ 3.78558
5.88/6.04	c bounds 2849 >= 1011 @ 3.78743
5.88/6.04	c bounds 2849 >= 1012 @ 3.79018
5.88/6.05	c bounds 2849 >= 1013 @ 3.79207
5.88/6.05	c bounds 2849 >= 1014 @ 3.79397
5.88/6.05	c bounds 2849 >= 1015 @ 3.79576
5.88/6.06	c bounds 2849 >= 1016 @ 3.79854
5.88/6.06	c bounds 2849 >= 1017 @ 3.80074
5.88/6.06	c bounds 2849 >= 1018 @ 3.80256
5.88/6.06	c bounds 2849 >= 1019 @ 3.80437
5.88/6.07	c bounds 2849 >= 1020 @ 3.80517
5.88/6.07	c bounds 2849 >= 1021 @ 3.80788
5.88/6.07	c bounds 2849 >= 1022 @ 3.81066
5.88/6.08	c bounds 2849 >= 1023 @ 3.81354
5.88/6.08	c bounds 2849 >= 1024 @ 3.81537
5.88/6.08	c bounds 2849 >= 1025 @ 3.81717
5.88/6.08	c bounds 2849 >= 1026 @ 3.81797
5.88/6.09	c bounds 2849 >= 1027 @ 3.82075
5.88/6.09	c bounds 2849 >= 1028 @ 3.82352
5.88/6.09	c bounds 2849 >= 1029 @ 3.82435
5.88/6.10	c bounds 2849 >= 1030 @ 3.82623
5.88/6.10	c bounds 2849 >= 1031 @ 3.82794
5.98/6.10	c bounds 2849 >= 1032 @ 3.82984
5.98/6.10	c bounds 2849 >= 1033 @ 3.83162
5.98/6.11	c bounds 2849 >= 1034 @ 3.83438
5.98/6.11	c bounds 2849 >= 1035 @ 3.83716
5.98/6.11	c bounds 2849 >= 1036 @ 3.83893
5.98/6.11	c bounds 2849 >= 1037 @ 3.84069
5.98/6.12	c bounds 2849 >= 1038 @ 3.84353
5.98/6.12	c bounds 2849 >= 1039 @ 3.84638
5.98/6.12	c bounds 2849 >= 1040 @ 3.84826
5.98/6.13	c bounds 2849 >= 1041 @ 3.85007
5.98/6.13	c bounds 2849 >= 1042 @ 3.8528
5.98/6.13	c bounds 2849 >= 1043 @ 3.85462
5.98/6.13	c bounds 2849 >= 1044 @ 3.85751
5.98/6.14	c bounds 2849 >= 1045 @ 3.8603
5.98/6.14	c bounds 2849 >= 1046 @ 3.86116
5.98/6.14	c bounds 2849 >= 1047 @ 3.86301
5.98/6.15	c bounds 2849 >= 1048 @ 3.8648
5.98/6.15	c bounds 2849 >= 1049 @ 3.86661
5.98/6.15	c bounds 2849 >= 1050 @ 3.8694
5.98/6.15	c bounds 2849 >= 1051 @ 3.87218
5.98/6.16	c bounds 2849 >= 1052 @ 3.87404
5.98/6.16	c bounds 2849 >= 1053 @ 3.87578
5.98/6.16	c bounds 2849 >= 1054 @ 3.87757
5.98/6.17	c bounds 2849 >= 1055 @ 3.88035
5.98/6.17	c bounds 2849 >= 1056 @ 3.88219
5.98/6.17	c bounds 2849 >= 1057 @ 3.884
5.98/6.17	c bounds 2849 >= 1058 @ 3.88672
5.98/6.18	c bounds 2849 >= 1059 @ 3.8885
5.98/6.18	c bounds 2849 >= 1060 @ 3.89127
5.98/6.18	c bounds 2849 >= 1061 @ 3.89311
5.98/6.18	c bounds 2849 >= 1062 @ 3.8949
5.98/6.19	c bounds 2849 >= 1063 @ 3.8966
5.98/6.19	c bounds 2849 >= 1064 @ 3.8984
5.98/6.19	c bounds 2849 >= 1065 @ 3.90115
6.07/6.20	c bounds 2849 >= 1066 @ 3.90392
6.07/6.20	c bounds 2849 >= 1067 @ 3.90569
6.07/6.20	c bounds 2849 >= 1068 @ 3.90744
6.07/6.20	c bounds 2849 >= 1069 @ 3.91058
6.07/6.21	c bounds 2849 >= 1070 @ 3.91246
6.07/6.21	c bounds 2849 >= 1071 @ 3.91522
6.07/6.21	c bounds 2849 >= 1072 @ 3.91605
6.07/6.22	c bounds 2849 >= 1073 @ 3.91808
6.07/6.22	c bounds 2849 >= 1074 @ 3.91993
6.07/6.22	c bounds 2849 >= 1075 @ 3.92267
6.07/6.22	c bounds 2849 >= 1076 @ 3.9246
6.07/6.23	c bounds 2849 >= 1077 @ 3.92742
6.07/6.23	c bounds 2849 >= 1078 @ 3.93024
6.07/6.23	c bounds 2849 >= 1079 @ 3.9322
6.07/6.24	c bounds 2849 >= 1080 @ 3.93403
6.07/6.24	c bounds 2849 >= 1081 @ 3.93588
6.07/6.24	c bounds 2849 >= 1082 @ 3.93763
6.07/6.24	c bounds 2849 >= 1083 @ 3.93942
6.07/6.25	c bounds 2849 >= 1084 @ 3.94222
6.07/6.25	c bounds 2849 >= 1085 @ 3.94503
6.07/6.25	c bounds 2849 >= 1086 @ 3.94691
6.07/6.26	c bounds 2849 >= 1087 @ 3.94865
6.07/6.26	c bounds 2849 >= 1088 @ 3.95045
6.07/6.26	c bounds 2849 >= 1089 @ 3.95228
6.07/6.26	c bounds 2849 >= 1090 @ 3.95505
6.07/6.27	c bounds 2849 >= 1091 @ 3.95692
6.07/6.27	c bounds 2849 >= 1092 @ 3.95965
6.07/6.27	c bounds 2849 >= 1093 @ 3.96244
6.07/6.28	c bounds 2849 >= 1094 @ 3.96329
6.07/6.28	c bounds 2849 >= 1095 @ 3.96605
6.07/6.28	c bounds 2849 >= 1096 @ 3.96792
6.07/6.28	c bounds 2849 >= 1097 @ 3.96974
6.07/6.29	c bounds 2849 >= 1098 @ 3.97149
6.07/6.29	c bounds 2849 >= 1099 @ 3.97327
6.07/6.29	c bounds 2849 >= 1100 @ 3.97602
6.07/6.30	c bounds 2849 >= 1101 @ 3.9788
6.17/6.30	c bounds 2849 >= 1102 @ 3.98059
6.17/6.30	c bounds 2849 >= 1103 @ 3.98337
6.17/6.30	c bounds 2849 >= 1104 @ 3.98615
6.17/6.31	c bounds 2849 >= 1105 @ 3.98893
6.17/6.31	c bounds 2849 >= 1106 @ 3.99178
6.17/6.31	c bounds 2849 >= 1107 @ 3.9938
6.17/6.31	c bounds 2849 >= 1108 @ 3.99557
6.17/6.32	c bounds 2849 >= 1109 @ 3.99748
6.17/6.32	c bounds 2849 >= 1110 @ 3.99931
6.17/6.32	c bounds 2849 >= 1111 @ 4.00116
6.17/6.33	c bounds 2849 >= 1112 @ 4.00396
6.17/6.33	c bounds 2849 >= 1113 @ 4.00584
6.17/6.33	c bounds 2849 >= 1114 @ 4.0086
6.17/6.33	c bounds 2849 >= 1115 @ 4.01141
6.17/6.34	c bounds 2849 >= 1116 @ 4.01324
6.17/6.34	c bounds 2849 >= 1117 @ 4.01507
6.17/6.34	c bounds 2849 >= 1118 @ 4.01784
6.17/6.35	c bounds 2849 >= 1119 @ 4.01973
6.17/6.35	c bounds 2849 >= 1120 @ 4.02147
6.17/6.35	c bounds 2849 >= 1121 @ 4.02328
6.17/6.35	c bounds 2849 >= 1122 @ 4.02609
6.17/6.36	c bounds 2849 >= 1123 @ 4.02893
6.17/6.36	c bounds 2849 >= 1124 @ 4.03174
6.17/6.36	c bounds 2849 >= 1125 @ 4.03263
6.17/6.37	c bounds 2849 >= 1126 @ 4.0344
6.17/6.37	c bounds 2849 >= 1127 @ 4.03622
6.17/6.37	c bounds 2849 >= 1128 @ 4.03903
6.17/6.37	c bounds 2849 >= 1129 @ 4.0409
6.17/6.38	c bounds 2849 >= 1130 @ 4.04274
6.17/6.38	c bounds 2849 >= 1131 @ 4.04465
6.17/6.38	c bounds 2849 >= 1132 @ 4.04738
6.17/6.39	c bounds 2849 >= 1133 @ 4.04917
6.17/6.39	c bounds 2849 >= 1134 @ 4.05101
6.17/6.39	c bounds 2849 >= 1135 @ 4.05285
6.17/6.39	c bounds 2849 >= 1136 @ 4.05562
6.27/6.40	c bounds 2849 >= 1137 @ 4.05843
6.27/6.40	c bounds 2849 >= 1138 @ 4.06025
6.27/6.40	c bounds 2849 >= 1139 @ 4.06205
6.27/6.41	c bounds 2849 >= 1140 @ 4.06418
6.27/6.41	c bounds 2849 >= 1141 @ 4.06605
6.27/6.41	c bounds 2849 >= 1142 @ 4.06889
6.27/6.41	c bounds 2849 >= 1143 @ 4.07174
6.27/6.42	c bounds 2849 >= 1144 @ 4.07266
6.27/6.42	c bounds 2849 >= 1145 @ 4.07544
6.27/6.42	c bounds 2849 >= 1146 @ 4.07807
6.27/6.43	c bounds 2849 >= 1147 @ 4.07913
6.27/6.43	c bounds 2849 >= 1148 @ 4.08106
6.27/6.43	c bounds 2849 >= 1149 @ 4.08293
6.27/6.43	c bounds 2849 >= 1150 @ 4.08477
6.27/6.44	c bounds 2849 >= 1151 @ 4.08665
6.27/6.44	c bounds 2849 >= 1152 @ 4.0885
6.27/6.44	c bounds 2849 >= 1153 @ 4.09026
6.27/6.45	c bounds 2849 >= 1154 @ 4.0921
6.27/6.45	c bounds 2849 >= 1155 @ 4.09395
6.27/6.45	c bounds 2849 >= 1156 @ 4.09675
6.27/6.45	c bounds 2849 >= 1157 @ 4.09865
6.27/6.46	c bounds 2849 >= 1158 @ 4.10049
6.27/6.46	c bounds 2849 >= 1159 @ 4.10225
6.27/6.46	c bounds 2849 >= 1160 @ 4.10406
6.27/6.47	c bounds 2849 >= 1161 @ 4.10591
6.27/6.47	c bounds 2849 >= 1162 @ 4.10871
6.27/6.47	c bounds 2849 >= 1163 @ 4.11059
6.27/6.47	c bounds 2849 >= 1164 @ 4.11142
6.27/6.48	c bounds 2849 >= 1165 @ 4.11317
6.27/6.48	c bounds 2849 >= 1166 @ 4.11498
6.27/6.48	c bounds 2849 >= 1167 @ 4.11777
6.27/6.49	c bounds 2849 >= 1168 @ 4.12059
6.27/6.49	c bounds 2849 >= 1169 @ 4.12255
6.27/6.49	c bounds 2849 >= 1170 @ 4.1234
6.27/6.49	c bounds 2849 >= 1171 @ 4.12497
6.37/6.50	c bounds 2849 >= 1172 @ 4.12604
6.47/6.62	c bounds 2848 >= 1172 @ 4.23025
6.47/6.62	c bounds 2848 >= 1173 @ 4.23334
6.47/6.62	c bounds 2848 >= 1174 @ 4.23625
6.47/6.62	c bounds 2848 >= 1175 @ 4.23817
6.47/6.63	c bounds 2848 >= 1176 @ 4.23994
6.47/6.63	c bounds 2848 >= 1177 @ 4.24178
6.47/6.63	c bounds 2848 >= 1178 @ 4.24467
6.47/6.64	c bounds 2848 >= 1179 @ 4.24573
6.47/6.64	c bounds 2848 >= 1180 @ 4.24796
6.47/6.64	c bounds 2848 >= 1181 @ 4.24983
6.47/6.65	c bounds 2848 >= 1182 @ 4.25265
6.47/6.65	c bounds 2848 >= 1183 @ 4.25548
6.47/6.65	c bounds 2848 >= 1184 @ 4.25734
6.47/6.65	c bounds 2848 >= 1185 @ 4.26014
6.47/6.66	c bounds 2848 >= 1186 @ 4.26205
6.47/6.66	c bounds 2848 >= 1187 @ 4.26479
6.47/6.66	c bounds 2848 >= 1188 @ 4.26663
6.47/6.67	c bounds 2848 >= 1189 @ 4.26848
6.47/6.67	c bounds 2848 >= 1190 @ 4.2703
6.47/6.67	c bounds 2848 >= 1191 @ 4.27216
6.47/6.67	c bounds 2848 >= 1192 @ 4.27391
6.47/6.68	c bounds 2848 >= 1193 @ 4.27576
6.47/6.68	c bounds 2848 >= 1194 @ 4.27757
6.47/6.68	c bounds 2848 >= 1195 @ 4.28036
6.47/6.69	c bounds 2848 >= 1196 @ 4.28318
6.47/6.69	c bounds 2848 >= 1197 @ 4.28597
6.47/6.69	c bounds 2848 >= 1198 @ 4.2888
6.47/6.69	c bounds 2848 >= 1199 @ 4.2916
6.57/6.70	c bounds 2848 >= 1200 @ 4.2944
6.57/6.70	c bounds 2848 >= 1201 @ 4.29623
6.57/6.70	c bounds 2848 >= 1202 @ 4.29806
6.57/6.70	c bounds 2848 >= 1203 @ 4.30078
6.57/6.71	c bounds 2848 >= 1204 @ 4.30358
6.57/6.71	c bounds 2848 >= 1205 @ 4.30637
6.57/6.71	c bounds 2848 >= 1206 @ 4.3082
6.57/6.72	c bounds 2848 >= 1207 @ 4.3101
6.57/6.72	c bounds 2848 >= 1208 @ 4.31195
6.57/6.72	c bounds 2848 >= 1209 @ 4.31373
6.57/6.72	c bounds 2848 >= 1210 @ 4.31556
6.57/6.73	c bounds 2848 >= 1211 @ 4.31743
6.57/6.73	c bounds 2848 >= 1212 @ 4.32025
6.57/6.73	c bounds 2848 >= 1213 @ 4.32215
6.57/6.74	c bounds 2848 >= 1214 @ 4.324
6.57/6.74	c bounds 2848 >= 1215 @ 4.32577
6.57/6.74	c bounds 2848 >= 1216 @ 4.32769
6.57/6.74	c bounds 2848 >= 1217 @ 4.32961
6.57/6.75	c bounds 2848 >= 1218 @ 4.33149
6.57/6.75	c bounds 2848 >= 1219 @ 4.3334
6.57/6.75	c bounds 2848 >= 1220 @ 4.33533
6.57/6.76	c bounds 2848 >= 1221 @ 4.33816
6.57/6.76	c bounds 2848 >= 1222 @ 4.34007
6.57/6.76	c bounds 2848 >= 1223 @ 4.34191
6.57/6.76	c bounds 2848 >= 1224 @ 4.34365
6.57/6.77	c bounds 2848 >= 1225 @ 4.34645
6.57/6.77	c bounds 2848 >= 1226 @ 4.34925
6.57/6.77	c bounds 2848 >= 1227 @ 4.35108
6.57/6.78	c bounds 2848 >= 1228 @ 4.35299
6.57/6.78	c bounds 2848 >= 1229 @ 4.35581
6.57/6.78	c bounds 2848 >= 1230 @ 4.35872
6.57/6.78	c bounds 2848 >= 1231 @ 4.36063
6.57/6.79	c bounds 2848 >= 1232 @ 4.36192
6.57/6.79	c bounds 2848 >= 1233 @ 4.36367
6.57/6.79	c bounds 2848 >= 1234 @ 4.36548
6.66/6.80	c bounds 2848 >= 1235 @ 4.36829
6.66/6.80	c bounds 2848 >= 1236 @ 4.3711
6.66/6.80	c bounds 2848 >= 1237 @ 4.37391
6.66/6.80	c bounds 2848 >= 1238 @ 4.37672
6.66/6.81	c bounds 2848 >= 1239 @ 4.37853
6.66/6.81	c bounds 2848 >= 1240 @ 4.38033
6.66/6.81	c bounds 2848 >= 1241 @ 4.38325
6.66/6.82	c bounds 2848 >= 1242 @ 4.38612
6.66/6.82	c bounds 2848 >= 1243 @ 4.38799
6.66/6.82	c bounds 2848 >= 1244 @ 4.38991
6.66/6.82	c bounds 2848 >= 1245 @ 4.39177
6.66/6.83	c bounds 2848 >= 1246 @ 4.39451
6.66/6.83	c bounds 2848 >= 1247 @ 4.39735
6.66/6.83	c bounds 2848 >= 1248 @ 4.39922
6.66/6.84	c bounds 2848 >= 1249 @ 4.40105
6.66/6.84	c bounds 2848 >= 1250 @ 4.40294
6.66/6.84	c bounds 2848 >= 1251 @ 4.40481
6.66/6.84	c bounds 2848 >= 1252 @ 4.40603
6.66/6.85	c bounds 2848 >= 1253 @ 4.40854
6.66/6.85	c bounds 2848 >= 1254 @ 4.41136
6.66/6.85	c bounds 2848 >= 1255 @ 4.4142
6.66/6.86	c bounds 2848 >= 1256 @ 4.41704
6.66/6.86	c bounds 2848 >= 1257 @ 4.4189
6.66/6.86	c bounds 2848 >= 1258 @ 4.42078
6.66/6.86	c bounds 2848 >= 1259 @ 4.42352
6.66/6.87	c bounds 2848 >= 1260 @ 4.42634
6.66/6.87	c bounds 2848 >= 1261 @ 4.42917
6.66/6.87	c bounds 2848 >= 1262 @ 4.43104
6.66/6.88	c bounds 2848 >= 1263 @ 4.43381
6.66/6.88	c bounds 2848 >= 1264 @ 4.43571
6.66/6.88	c bounds 2848 >= 1265 @ 4.43748
6.66/6.88	c bounds 2848 >= 1266 @ 4.4393
6.66/6.89	c bounds 2848 >= 1267 @ 4.44114
6.66/6.89	c bounds 2848 >= 1268 @ 4.44294
6.66/6.89	c bounds 2848 >= 1269 @ 4.44482
6.77/6.90	c bounds 2848 >= 1270 @ 4.44665
6.77/6.90	c bounds 2848 >= 1271 @ 4.4484
6.77/6.90	c bounds 2848 >= 1272 @ 4.45021
6.77/6.90	c bounds 2848 >= 1273 @ 4.45203
6.77/6.91	c bounds 2848 >= 1274 @ 4.45297
6.77/6.91	c bounds 2848 >= 1275 @ 4.45579
6.77/6.91	c bounds 2848 >= 1276 @ 4.45773
6.77/6.92	c bounds 2848 >= 1277 @ 4.4596
6.77/6.92	c bounds 2848 >= 1278 @ 4.46237
6.77/6.92	c bounds 2848 >= 1279 @ 4.46424
6.77/6.92	c bounds 2848 >= 1280 @ 4.4661
6.77/6.93	c bounds 2848 >= 1281 @ 4.46796
6.77/6.93	c bounds 2848 >= 1282 @ 4.46979
6.77/6.93	c bounds 2848 >= 1283 @ 4.47262
6.77/6.94	c bounds 2848 >= 1284 @ 4.4739
6.77/6.94	c bounds 2848 >= 1285 @ 4.47576
6.77/6.94	c bounds 2848 >= 1286 @ 4.47762
6.77/6.94	c bounds 2848 >= 1287 @ 4.48038
6.77/6.95	c bounds 2848 >= 1288 @ 4.48223
6.77/6.95	c bounds 2848 >= 1289 @ 4.48503
6.77/6.95	c bounds 2848 >= 1290 @ 4.48794
6.77/6.96	c bounds 2848 >= 1291 @ 4.48986
6.77/6.96	c bounds 2848 >= 1292 @ 4.49178
6.77/6.96	c bounds 2848 >= 1293 @ 4.49466
6.77/6.97	c bounds 2848 >= 1294 @ 4.49665
6.77/6.97	c bounds 2848 >= 1295 @ 4.4986
6.77/6.97	c bounds 2848 >= 1296 @ 4.50047
6.77/6.97	c bounds 2848 >= 1297 @ 4.50321
6.77/6.98	c bounds 2848 >= 1298 @ 4.50607
6.77/6.98	c bounds 2848 >= 1299 @ 4.50892
6.77/6.98	c bounds 2848 >= 1300 @ 4.51079
6.77/6.99	c bounds 2848 >= 1301 @ 4.51365
6.77/6.99	c bounds 2848 >= 1302 @ 4.51648
6.77/6.99	c bounds 2848 >= 1303 @ 4.51732
6.77/6.99	c bounds 2848 >= 1304 @ 4.51915
6.77/7.00	c bounds 2848 >= 1305 @ 4.52097
6.77/7.00	c bounds 2848 >= 1306 @ 4.52282
6.87/7.00	c bounds 2848 >= 1307 @ 4.5247
6.87/7.01	c bounds 2848 >= 1308 @ 4.52665
6.87/7.01	c bounds 2848 >= 1309 @ 4.52863
6.87/7.01	c bounds 2848 >= 1310 @ 4.53058
6.87/7.01	c bounds 2848 >= 1311 @ 4.53253
6.87/7.02	c bounds 2848 >= 1312 @ 4.53439
6.87/7.02	c bounds 2848 >= 1313 @ 4.53618
6.87/7.02	c bounds 2848 >= 1314 @ 4.53803
6.87/7.03	c bounds 2848 >= 1315 @ 4.53988
6.87/7.03	c bounds 2848 >= 1316 @ 4.54176
6.87/7.03	c bounds 2848 >= 1317 @ 4.54264
6.87/7.03	c bounds 2848 >= 1318 @ 4.54451
6.87/7.04	c bounds 2848 >= 1319 @ 4.5464
6.87/7.04	c bounds 2848 >= 1320 @ 4.54916
6.87/7.04	c bounds 2848 >= 1321 @ 4.55201
6.87/7.05	c bounds 2848 >= 1322 @ 4.55386
6.87/7.05	c bounds 2848 >= 1323 @ 4.55571
6.87/7.05	c bounds 2848 >= 1324 @ 4.55852
6.87/7.05	c bounds 2848 >= 1325 @ 4.56044
6.87/7.06	c bounds 2848 >= 1326 @ 4.5623
6.87/7.06	c bounds 2848 >= 1327 @ 4.56387
6.87/7.06	c bounds 2848 >= 1328 @ 4.56492
6.87/7.07	c bounds 2848 >= 1329 @ 4.56679
6.87/7.07	c bounds 2848 >= 1330 @ 4.56767
6.87/7.07	c bounds 2848 >= 1331 @ 4.57048
6.87/7.07	c bounds 2848 >= 1332 @ 4.5724
6.87/7.08	c bounds 2848 >= 1333 @ 4.57518
6.87/7.08	c bounds 2848 >= 1334 @ 4.57706
6.87/7.08	c bounds 2848 >= 1335 @ 4.57889
6.87/7.09	c bounds 2848 >= 1336 @ 4.5821
6.87/7.09	c bounds 2848 >= 1337 @ 4.58493
6.87/7.09	c bounds 2848 >= 1338 @ 4.58678
6.87/7.09	c bounds 2848 >= 1339 @ 4.58961
6.87/7.10	c bounds 2848 >= 1340 @ 4.59145
6.87/7.10	c bounds 2848 >= 1341 @ 4.59342
6.97/7.10	c bounds 2848 >= 1342 @ 4.59532
6.97/7.11	c bounds 2848 >= 1343 @ 4.59722
6.97/7.11	c bounds 2848 >= 1344 @ 4.59902
6.97/7.11	c bounds 2848 >= 1345 @ 4.60189
6.97/7.11	c bounds 2848 >= 1346 @ 4.60378
6.97/7.12	c bounds 2848 >= 1347 @ 4.60663
6.97/7.12	c bounds 2848 >= 1348 @ 4.60755
6.97/7.12	c bounds 2848 >= 1349 @ 4.60944
6.97/7.13	c bounds 2848 >= 1350 @ 4.61223
6.97/7.13	c bounds 2848 >= 1351 @ 4.61424
6.97/7.13	c bounds 2848 >= 1352 @ 4.61603
6.97/7.13	c bounds 2848 >= 1353 @ 4.61887
6.97/7.14	c bounds 2848 >= 1354 @ 4.62075
6.97/7.14	c bounds 2848 >= 1355 @ 4.6236
6.97/7.14	c bounds 2848 >= 1356 @ 4.62451
6.97/7.15	c bounds 2848 >= 1357 @ 4.62633
6.97/7.15	c bounds 2848 >= 1358 @ 4.62924
6.97/7.15	c bounds 2848 >= 1359 @ 4.63025
6.97/7.15	c bounds 2848 >= 1360 @ 4.63213
6.97/7.16	c bounds 2848 >= 1361 @ 4.63391
6.97/7.16	c bounds 2848 >= 1362 @ 4.63577
6.97/7.16	c bounds 2848 >= 1363 @ 4.63765
6.97/7.17	c bounds 2848 >= 1364 @ 4.63952
6.97/7.17	c bounds 2848 >= 1365 @ 4.64136
6.97/7.17	c bounds 2848 >= 1366 @ 4.64329
6.97/7.17	c bounds 2848 >= 1367 @ 4.64516
6.97/7.18	c bounds 2848 >= 1368 @ 4.64695
6.97/7.18	c bounds 2848 >= 1369 @ 4.6488
6.97/7.18	c bounds 2848 >= 1370 @ 4.65064
6.97/7.19	c bounds 2848 >= 1371 @ 4.65249
6.97/7.19	c bounds 2848 >= 1372 @ 4.65528
6.97/7.19	c bounds 2848 >= 1373 @ 4.65718
6.97/7.19	c bounds 2848 >= 1374 @ 4.65804
7.07/7.20	c bounds 2848 >= 1375 @ 4.65986
7.07/7.20	c bounds 2848 >= 1376 @ 4.66273
7.07/7.20	c bounds 2848 >= 1377 @ 4.66362
7.07/7.21	c bounds 2848 >= 1378 @ 4.66648
7.07/7.21	c bounds 2848 >= 1379 @ 4.66843
7.07/7.21	c bounds 2848 >= 1380 @ 4.67029
7.07/7.22	c bounds 2848 >= 1381 @ 4.6722
7.07/7.22	c bounds 2848 >= 1382 @ 4.67412
7.07/7.22	c bounds 2848 >= 1383 @ 4.67601
7.07/7.22	c bounds 2848 >= 1384 @ 4.67878
7.07/7.23	c bounds 2848 >= 1385 @ 4.68164
7.07/7.23	c bounds 2848 >= 1386 @ 4.68451
7.07/7.23	c bounds 2848 >= 1387 @ 4.6864
7.07/7.24	c bounds 2848 >= 1388 @ 4.68863
7.07/7.24	c bounds 2848 >= 1389 @ 4.69148
7.07/7.24	c bounds 2848 >= 1390 @ 4.69338
7.07/7.24	c bounds 2848 >= 1391 @ 4.69621
7.07/7.25	c bounds 2848 >= 1392 @ 4.69814
7.07/7.25	c bounds 2848 >= 1393 @ 4.70001
7.07/7.25	c bounds 2848 >= 1394 @ 4.7018
7.07/7.26	c bounds 2848 >= 1395 @ 4.70368
7.07/7.26	c bounds 2848 >= 1396 @ 4.70553
7.07/7.26	c bounds 2848 >= 1397 @ 4.70837
7.07/7.26	c bounds 2848 >= 1398 @ 4.71029
7.07/7.27	c bounds 2848 >= 1399 @ 4.71211
7.07/7.27	c bounds 2848 >= 1400 @ 4.71404
7.07/7.27	c bounds 2848 >= 1401 @ 4.71602
7.07/7.28	c bounds 2848 >= 1402 @ 4.71779
7.07/7.28	c bounds 2848 >= 1403 @ 4.72063
7.07/7.28	c bounds 2848 >= 1404 @ 4.72347
7.07/7.28	c bounds 2848 >= 1405 @ 4.72533
7.07/7.29	c bounds 2848 >= 1406 @ 4.72814
7.07/7.29	c bounds 2848 >= 1407 @ 4.73097
7.07/7.29	c bounds 2848 >= 1408 @ 4.73298
7.17/7.30	c bounds 2848 >= 1409 @ 4.73488
7.17/7.30	c bounds 2848 >= 1410 @ 4.73669
7.17/7.30	c bounds 2848 >= 1411 @ 4.73859
7.17/7.30	c bounds 2848 >= 1412 @ 4.74144
7.17/7.31	c bounds 2848 >= 1413 @ 4.74341
7.17/7.31	c bounds 2848 >= 1414 @ 4.74631
7.17/7.31	c bounds 2848 >= 1415 @ 4.74918
7.17/7.32	c bounds 2848 >= 1416 @ 4.75108
7.17/7.32	c bounds 2848 >= 1417 @ 4.75299
7.17/7.32	c bounds 2848 >= 1418 @ 4.75392
7.17/7.32	c bounds 2848 >= 1419 @ 4.75669
7.17/7.33	c bounds 2848 >= 1420 @ 4.75858
7.17/7.33	c bounds 2848 >= 1421 @ 4.76045
7.17/7.33	c bounds 2848 >= 1422 @ 4.76236
7.17/7.34	c bounds 2848 >= 1423 @ 4.76535
7.17/7.34	c bounds 2848 >= 1424 @ 4.76729
7.17/7.34	c bounds 2848 >= 1425 @ 4.76924
7.17/7.35	c bounds 2848 >= 1426 @ 4.77019
7.17/7.35	c bounds 2848 >= 1427 @ 4.77309
7.17/7.35	c bounds 2848 >= 1428 @ 4.7751
7.17/7.35	c bounds 2848 >= 1429 @ 4.77704
7.17/7.36	c bounds 2848 >= 1430 @ 4.77893
7.17/7.36	c bounds 2848 >= 1431 @ 4.78085
7.17/7.36	c bounds 2848 >= 1432 @ 4.78262
7.17/7.37	c bounds 2848 >= 1433 @ 4.78451
7.17/7.37	c bounds 2848 >= 1434 @ 4.78635
7.17/7.37	c bounds 2848 >= 1435 @ 4.78919
7.17/7.37	c bounds 2848 >= 1436 @ 4.79011
7.17/7.38	c bounds 2848 >= 1437 @ 4.79194
7.17/7.38	c bounds 2848 >= 1438 @ 4.79388
7.17/7.38	c bounds 2848 >= 1439 @ 4.79665
7.17/7.39	c bounds 2848 >= 1440 @ 4.79797
7.17/7.39	c bounds 2848 >= 1441 @ 4.80076
7.17/7.39	c bounds 2848 >= 1442 @ 4.80278
7.17/7.39	c bounds 2848 >= 1443 @ 4.80459
7.27/7.40	c bounds 2848 >= 1444 @ 4.8065
7.27/7.40	c bounds 2848 >= 1445 @ 4.80941
7.27/7.40	c bounds 2848 >= 1446 @ 4.81132
7.27/7.41	c bounds 2848 >= 1447 @ 4.81324
7.27/7.41	c bounds 2848 >= 1448 @ 4.81611
7.27/7.41	c bounds 2848 >= 1449 @ 4.81706
7.37/7.51	c bounds 2847 >= 1449 @ 4.90657
7.37/7.51	c bounds 2847 >= 1450 @ 4.908
7.37/7.52	c bounds 2847 >= 1451 @ 4.91088
7.37/7.52	c bounds 2847 >= 1452 @ 4.91183
7.37/7.52	c bounds 2847 >= 1453 @ 4.91368
7.37/7.52	c bounds 2847 >= 1454 @ 4.91561
7.37/7.53	c bounds 2847 >= 1455 @ 4.91758
7.37/7.53	c bounds 2847 >= 1456 @ 4.91849
7.37/7.53	c bounds 2847 >= 1457 @ 4.92029
7.37/7.54	c bounds 2847 >= 1458 @ 4.92316
7.37/7.54	c bounds 2847 >= 1459 @ 4.92504
7.37/7.54	c bounds 2847 >= 1460 @ 4.92694
7.37/7.54	c bounds 2847 >= 1461 @ 4.92783
7.37/7.55	c bounds 2847 >= 1462 @ 4.92873
7.37/7.55	c bounds 2847 >= 1463 @ 4.93056
7.37/7.55	c bounds 2847 >= 1464 @ 4.9325
7.37/7.56	c bounds 2847 >= 1465 @ 4.9344
7.37/7.56	c bounds 2847 >= 1466 @ 4.93617
7.37/7.56	c bounds 2847 >= 1467 @ 4.93802
7.37/7.56	c bounds 2847 >= 1468 @ 4.94087
7.37/7.57	c bounds 2847 >= 1469 @ 4.94178
7.37/7.57	c bounds 2847 >= 1470 @ 4.94268
7.37/7.57	c bounds 2847 >= 1471 @ 4.9445
7.37/7.58	c bounds 2847 >= 1472 @ 4.94545
7.37/7.58	c bounds 2847 >= 1473 @ 4.94722
7.37/7.58	c bounds 2847 >= 1474 @ 4.94907
7.37/7.58	c bounds 2847 >= 1475 @ 4.95197
7.37/7.59	c bounds 2847 >= 1476 @ 4.95486
7.37/7.59	c bounds 2847 >= 1477 @ 4.9568
7.37/7.59	c bounds 2847 >= 1478 @ 4.95772
7.47/7.60	c bounds 2847 >= 1479 @ 4.95958
7.47/7.60	c bounds 2847 >= 1480 @ 4.96148
7.47/7.60	c bounds 2847 >= 1481 @ 4.96345
7.47/7.60	c bounds 2847 >= 1482 @ 4.96537
7.47/7.61	c bounds 2847 >= 1483 @ 4.96717
7.47/7.61	c bounds 2847 >= 1484 @ 4.96909
7.47/7.61	c bounds 2847 >= 1485 @ 4.97096
7.47/7.62	c bounds 2847 >= 1486 @ 4.97385
7.47/7.62	c bounds 2847 >= 1487 @ 4.97576
7.47/7.62	c bounds 2847 >= 1488 @ 4.97667
7.47/7.63	c bounds 2847 >= 1489 @ 4.97951
7.47/7.63	c bounds 2847 >= 1490 @ 4.98142
7.47/7.63	c bounds 2847 >= 1491 @ 4.98429
7.47/7.63	c bounds 2847 >= 1492 @ 4.98633
7.47/7.64	c bounds 2847 >= 1493 @ 4.98917
7.47/7.64	c bounds 2847 >= 1494 @ 4.99205
7.47/7.64	c bounds 2847 >= 1495 @ 4.99493
7.47/7.65	c bounds 2847 >= 1496 @ 4.99682
7.47/7.65	c bounds 2847 >= 1497 @ 4.99967
7.47/7.65	c bounds 2847 >= 1498 @ 5.00161
7.47/7.65	c bounds 2847 >= 1499 @ 5.0035
7.47/7.66	c bounds 2847 >= 1500 @ 5.00534
7.47/7.66	c bounds 2847 >= 1501 @ 5.00762
7.47/7.66	c bounds 2847 >= 1502 @ 5.00851
7.47/7.67	c bounds 2847 >= 1503 @ 5.01133
7.47/7.67	c bounds 2847 >= 1504 @ 5.01329
7.47/7.67	c bounds 2847 >= 1505 @ 5.01506
7.47/7.67	c bounds 2847 >= 1506 @ 5.01694
7.47/7.68	c bounds 2847 >= 1507 @ 5.01977
7.47/7.68	c bounds 2847 >= 1508 @ 5.02166
7.47/7.68	c bounds 2847 >= 1509 @ 5.0226
7.47/7.69	c bounds 2847 >= 1510 @ 5.02452
7.47/7.69	c bounds 2847 >= 1511 @ 5.02555
7.47/7.69	c bounds 2847 >= 1512 @ 5.02654
7.47/7.70	c bounds 2847 >= 1513 @ 5.02852
7.57/7.70	c bounds 2847 >= 1514 @ 5.03047
7.57/7.70	c bounds 2847 >= 1515 @ 5.0315
7.57/7.70	c bounds 2847 >= 1516 @ 5.03247
7.57/7.71	c bounds 2847 >= 1517 @ 5.03344
7.57/7.71	c bounds 2847 >= 1518 @ 5.03538
7.57/7.71	c bounds 2847 >= 1519 @ 5.03731
7.57/7.72	c bounds 2847 >= 1520 @ 5.03923
7.57/7.72	c bounds 2847 >= 1521 @ 5.04021
7.57/7.72	c bounds 2847 >= 1522 @ 5.04213
7.57/7.72	c bounds 2847 >= 1523 @ 5.04394
7.57/7.73	c bounds 2847 >= 1524 @ 5.04583
7.57/7.73	c bounds 2847 >= 1525 @ 5.04771
7.57/7.73	c bounds 2847 >= 1526 @ 5.04961
7.57/7.74	c bounds 2847 >= 1527 @ 5.05051
7.57/7.74	c bounds 2847 >= 1528 @ 5.05236
7.57/7.74	c bounds 2847 >= 1529 @ 5.05425
7.57/7.75	c bounds 2847 >= 1530 @ 5.05713
7.57/7.75	c bounds 2847 >= 1531 @ 5.05917
7.57/7.75	c bounds 2847 >= 1532 @ 5.06112
7.57/7.75	c bounds 2847 >= 1533 @ 5.06306
7.57/7.76	c bounds 2847 >= 1534 @ 5.06489
7.57/7.76	c bounds 2847 >= 1535 @ 5.06686
7.57/7.76	c bounds 2847 >= 1536 @ 5.06971
7.57/7.77	c bounds 2847 >= 1537 @ 5.07159
7.57/7.77	c bounds 2847 >= 1538 @ 5.07348
7.57/7.77	c bounds 2847 >= 1539 @ 5.07536
7.57/7.77	c bounds 2847 >= 1540 @ 5.0772
7.57/7.78	c bounds 2847 >= 1541 @ 5.07923
7.57/7.78	c bounds 2847 >= 1542 @ 5.08112
7.57/7.78	c bounds 2847 >= 1543 @ 5.0831
7.57/7.79	c bounds 2847 >= 1544 @ 5.08504
7.57/7.79	c bounds 2847 >= 1545 @ 5.08785
7.57/7.79	c bounds 2847 >= 1546 @ 5.09076
7.57/7.79	c bounds 2847 >= 1547 @ 5.09368
7.67/7.80	c bounds 2847 >= 1548 @ 5.09659
7.67/7.80	c bounds 2847 >= 1549 @ 5.09852
7.67/7.80	c bounds 2847 >= 1550 @ 5.09943
7.67/7.81	c bounds 2847 >= 1551 @ 5.10229
7.67/7.81	c bounds 2847 >= 1552 @ 5.10427
7.67/7.81	c bounds 2847 >= 1553 @ 5.10652
7.67/7.82	c bounds 2847 >= 1554 @ 5.10943
7.67/7.82	c bounds 2847 >= 1555 @ 5.11235
7.67/7.82	c bounds 2847 >= 1556 @ 5.11424
7.67/7.82	c bounds 2847 >= 1557 @ 5.1162
7.67/7.83	c bounds 2847 >= 1558 @ 5.11902
7.67/7.83	c bounds 2847 >= 1559 @ 5.12191
7.67/7.83	c bounds 2847 >= 1560 @ 5.12392
7.67/7.84	c bounds 2847 >= 1561 @ 5.12572
7.67/7.84	c bounds 2847 >= 1562 @ 5.12764
7.67/7.84	c bounds 2847 >= 1563 @ 5.1305
7.67/7.84	c bounds 2847 >= 1564 @ 5.13339
7.67/7.85	c bounds 2847 >= 1565 @ 5.13433
7.67/7.85	c bounds 2847 >= 1566 @ 5.13523
7.67/7.85	c bounds 2847 >= 1567 @ 5.13707
7.67/7.86	c bounds 2847 >= 1568 @ 5.13897
7.67/7.86	c bounds 2847 >= 1569 @ 5.14092
7.67/7.86	c bounds 2847 >= 1570 @ 5.1427
7.67/7.86	c bounds 2847 >= 1571 @ 5.14458
7.67/7.87	c bounds 2847 >= 1572 @ 5.14645
7.67/7.87	c bounds 2847 >= 1573 @ 5.14834
7.67/7.87	c bounds 2847 >= 1574 @ 5.15024
7.67/7.88	c bounds 2847 >= 1575 @ 5.15217
7.67/7.88	c bounds 2847 >= 1576 @ 5.15414
7.67/7.88	c bounds 2847 >= 1577 @ 5.1561
7.67/7.89	c bounds 2847 >= 1578 @ 5.15801
7.67/7.89	c bounds 2847 >= 1579 @ 5.15996
7.67/7.89	c bounds 2847 >= 1580 @ 5.1619
7.67/7.89	c bounds 2847 >= 1581 @ 5.1639
7.76/7.90	c bounds 2847 >= 1582 @ 5.16583
7.76/7.90	c bounds 2847 >= 1583 @ 5.16863
7.76/7.90	c bounds 2847 >= 1584 @ 5.17056
7.76/7.91	c bounds 2847 >= 1585 @ 5.17245
7.76/7.91	c bounds 2847 >= 1586 @ 5.1754
7.76/7.91	c bounds 2847 >= 1587 @ 5.17734
7.76/7.91	c bounds 2847 >= 1588 @ 5.17826
7.76/7.92	c bounds 2847 >= 1589 @ 5.17917
7.76/7.92	c bounds 2847 >= 1590 @ 5.18008
7.76/7.92	c bounds 2847 >= 1591 @ 5.18293
7.76/7.93	c bounds 2847 >= 1592 @ 5.18582
7.76/7.93	c bounds 2847 >= 1593 @ 5.18872
7.76/7.93	c bounds 2847 >= 1594 @ 5.19061
7.76/7.93	c bounds 2847 >= 1595 @ 5.19252
7.76/7.94	c bounds 2847 >= 1596 @ 5.19343
7.76/7.94	c bounds 2847 >= 1597 @ 5.19533
7.76/7.94	c bounds 2847 >= 1598 @ 5.19723
7.76/7.95	c bounds 2847 >= 1599 @ 5.19814
7.76/7.95	c bounds 2847 >= 1600 @ 5.19906
7.76/7.95	c bounds 2847 >= 1601 @ 5.20091
7.76/7.96	c bounds 2847 >= 1602 @ 5.2038
7.76/7.96	c bounds 2847 >= 1603 @ 5.20579
7.76/7.96	c bounds 2847 >= 1604 @ 5.20758
7.76/7.96	c bounds 2847 >= 1605 @ 5.20948
7.76/7.97	c bounds 2847 >= 1606 @ 5.21082
7.76/7.97	c bounds 2847 >= 1607 @ 5.21273
7.76/7.97	c bounds 2847 >= 1608 @ 5.21551
7.76/7.98	c bounds 2847 >= 1609 @ 5.21658
7.76/7.98	c bounds 2847 >= 1610 @ 5.21842
7.76/7.98	c bounds 2847 >= 1611 @ 5.22132
7.76/7.98	c bounds 2847 >= 1612 @ 5.22327
7.76/7.99	c bounds 2847 >= 1613 @ 5.22522
7.76/7.99	c bounds 2847 >= 1614 @ 5.22715
7.76/7.99	c bounds 2847 >= 1615 @ 5.22908
7.76/8.00	c bounds 2847 >= 1616 @ 5.23003
7.76/8.00	c bounds 2847 >= 1617 @ 5.23199
7.87/8.00	c bounds 2847 >= 1618 @ 5.23293
7.87/8.01	c bounds 2847 >= 1619 @ 5.2348
7.87/8.01	c bounds 2847 >= 1620 @ 5.23679
7.87/8.01	c bounds 2847 >= 1621 @ 5.23867
7.87/8.01	c bounds 2847 >= 1622 @ 5.24066
7.87/8.02	c bounds 2847 >= 1623 @ 5.24259
7.87/8.02	c bounds 2847 >= 1624 @ 5.24444
7.87/8.02	c bounds 2847 >= 1625 @ 5.24734
7.87/8.03	c bounds 2847 >= 1626 @ 5.25025
7.87/8.03	c bounds 2847 >= 1627 @ 5.25214
7.87/8.03	c bounds 2847 >= 1628 @ 5.25505
7.87/8.03	c bounds 2847 >= 1629 @ 5.25796
7.87/8.04	c bounds 2847 >= 1630 @ 5.25988
7.87/8.04	c bounds 2847 >= 1631 @ 5.26084
7.87/8.04	c bounds 2847 >= 1632 @ 5.26272
7.87/8.05	c bounds 2847 >= 1633 @ 5.26461
7.87/8.05	c bounds 2847 >= 1634 @ 5.26659
7.87/8.05	c bounds 2847 >= 1635 @ 5.26942
7.87/8.05	c bounds 2847 >= 1636 @ 5.27133
7.87/8.06	c bounds 2847 >= 1637 @ 5.27324
7.87/8.06	c bounds 2847 >= 1638 @ 5.27513
7.87/8.06	c bounds 2847 >= 1639 @ 5.27703
7.87/8.07	c bounds 2847 >= 1640 @ 5.2789
7.87/8.07	c bounds 2847 >= 1641 @ 5.27985
7.87/8.07	c bounds 2847 >= 1642 @ 5.28077
7.87/8.08	c bounds 2847 >= 1643 @ 5.28267
7.87/8.08	c bounds 2847 >= 1644 @ 5.2856
7.87/8.08	c bounds 2847 >= 1645 @ 5.28756
7.87/8.08	c bounds 2847 >= 1646 @ 5.28957
7.87/8.09	c bounds 2847 >= 1647 @ 5.29244
7.87/8.09	c bounds 2847 >= 1648 @ 5.29447
7.87/8.09	c bounds 2847 >= 1649 @ 5.29535
7.87/8.10	c bounds 2847 >= 1650 @ 5.29722
7.87/8.10	c bounds 2847 >= 1651 @ 5.29912
7.97/8.10	c bounds 2847 >= 1652 @ 5.30203
7.97/8.10	c bounds 2847 >= 1653 @ 5.30495
7.97/8.11	c bounds 2847 >= 1654 @ 5.3069
7.97/8.11	c bounds 2847 >= 1655 @ 5.30783
7.97/8.11	c bounds 2847 >= 1656 @ 5.31068
7.97/8.12	c bounds 2847 >= 1657 @ 5.31169
7.97/8.12	c bounds 2847 >= 1658 @ 5.31492
7.97/8.12	c bounds 2847 >= 1659 @ 5.31782
7.97/8.13	c bounds 2847 >= 1660 @ 5.31881
7.97/8.13	c bounds 2847 >= 1661 @ 5.31974
7.97/8.13	c bounds 2847 >= 1662 @ 5.32066
7.97/8.13	c bounds 2847 >= 1663 @ 5.32255
7.97/8.14	c bounds 2847 >= 1664 @ 5.32445
7.97/8.14	c bounds 2847 >= 1665 @ 5.32642
7.97/8.14	c bounds 2847 >= 1666 @ 5.3282
7.97/8.15	c bounds 2847 >= 1667 @ 5.33109
8.06/8.24	c bounds 2846 >= 1667 @ 5.42032
8.06/8.25	c bounds 2846 >= 1668 @ 5.42179
8.06/8.25	c bounds 2846 >= 1669 @ 5.42371
8.06/8.25	c bounds 2846 >= 1670 @ 5.4256
8.06/8.25	c bounds 2846 >= 1671 @ 5.42655
8.06/8.26	c bounds 2846 >= 1672 @ 5.42747
8.06/8.26	c bounds 2846 >= 1673 @ 5.42939
8.06/8.26	c bounds 2846 >= 1674 @ 5.43127
8.06/8.27	c bounds 2846 >= 1675 @ 5.43319
8.06/8.27	c bounds 2846 >= 1676 @ 5.43517
8.06/8.27	c bounds 2846 >= 1677 @ 5.43718
8.06/8.27	c bounds 2846 >= 1678 @ 5.44006
8.06/8.28	c bounds 2846 >= 1679 @ 5.44216
8.06/8.28	c bounds 2846 >= 1680 @ 5.44413
8.06/8.28	c bounds 2846 >= 1681 @ 5.44613
8.06/8.29	c bounds 2846 >= 1682 @ 5.44795
8.06/8.29	c bounds 2846 >= 1683 @ 5.45088
8.06/8.29	c bounds 2846 >= 1684 @ 5.45284
8.16/8.30	c bounds 2846 >= 1685 @ 5.45556
8.16/8.30	c bounds 2846 >= 1686 @ 5.45672
8.16/8.30	c bounds 2846 >= 1687 @ 5.45865
8.16/8.30	c bounds 2846 >= 1688 @ 5.46157
8.16/8.31	c bounds 2846 >= 1689 @ 5.46353
8.16/8.31	c bounds 2846 >= 1690 @ 5.46448
8.16/8.31	c bounds 2846 >= 1691 @ 5.46643
8.16/8.32	c bounds 2846 >= 1692 @ 5.46736
8.16/8.32	c bounds 2846 >= 1693 @ 5.4683
8.16/8.32	c bounds 2846 >= 1694 @ 5.47024
8.16/8.33	c bounds 2846 >= 1695 @ 5.47208
8.16/8.33	c bounds 2846 >= 1696 @ 5.47499
8.16/8.33	c bounds 2846 >= 1697 @ 5.47791
8.16/8.33	c bounds 2846 >= 1698 @ 5.47984
8.16/8.34	c bounds 2846 >= 1699 @ 5.48176
8.16/8.34	c bounds 2846 >= 1700 @ 5.48465
8.16/8.36	c bounds 2846 >= 1701 @ 5.49418
8.16/8.36	c bounds 2846 >= 1702 @ 5.49895
8.16/8.38	c bounds 2846 >= 1703 @ 5.5097
8.27/8.40	c bounds 2846 >= 1704 @ 5.52723
8.36/8.50	c #Conflicts:       1000 | #Constraints:      16430
8.36/8.50	c bounds 2846 >= 1705 @ 5.61097
8.86/9.03	c bounds 2845 >= 1705 @ 6.10771
8.86/9.04	c bounds 2845 >= 1706 @ 6.11382
8.86/9.06	c bounds 2845 >= 1707 @ 6.12218
8.86/9.08	c bounds 2845 >= 1708 @ 6.14135
13.65/13.83	c #Conflicts:       2000 | #Constraints:      17605
13.65/13.83	c INPROCESSING
13.65/13.83	c GARBAGE COLLECT
13.65/13.83	c #Conflicts:       3000 | #Constraints:      15850
13.65/13.83	c bounds 2845 >= 1709 @ 10.8281
14.15/14.32	c #Conflicts:       4000 | #Constraints:      16901
14.15/14.32	c INPROCESSING
14.15/14.32	c bounds 2844 >= 1709 @ 11.294
14.15/14.33	c bounds 2844 >= 1710 @ 11.2969
14.15/14.34	c bounds 2844 >= 1711 @ 11.3015
14.15/14.37	c bounds 2844 >= 1712 @ 11.3186
14.25/14.44	c #Conflicts:       5000 | #Constraints:      16399
14.25/14.44	c bounds 2844 >= 1713 @ 11.3858
14.45/14.66	c bounds 2843 >= 1713 @ 11.6006
14.45/14.67	c bounds 2843 >= 1714 @ 11.6044
14.45/14.67	c bounds 2843 >= 1715 @ 11.6074
14.45/14.68	c bounds 2843 >= 1716 @ 11.6128
14.45/14.69	c bounds 2843 >= 1717 @ 11.6214
14.55/14.71	c bounds 2843 >= 1718 @ 11.6399
25.12/25.32	c #Conflicts:       6000 | #Constraints:      17547
25.12/25.32	c bounds 2843 >= 1719 @ 22.1586
25.12/25.39	c INPROCESSING
25.12/25.39	c GARBAGE COLLECT
25.12/25.39	c bounds 2842 >= 1719 @ 22.2146
25.23/25.45	c #Conflicts:       7000 | #Constraints:      16511
25.23/25.45	c bounds 2842 >= 1720 @ 22.2655
25.42/25.63	c bounds 2841 >= 1720 @ 22.443
83.38/83.71	c #Conflicts:       8000 | #Constraints:      17560
83.38/83.71	c #Conflicts:       9000 | #Constraints:      18560
83.38/83.71	c INPROCESSING
83.38/83.71	c GARBAGE COLLECT
83.38/83.71	c bounds 2840 >= 1720 @ 80.2076
83.48/83.87	c bounds 2839 >= 1720 @ 80.3522
83.68/84.01	c bounds 2838 >= 1720 @ 80.4862
83.78/84.17	c bounds 2837 >= 1720 @ 80.6245
83.97/84.33	c bounds 2836 >= 1720 @ 80.779
83.97/84.34	c bounds 2836 >= 1721 @ 80.7865
83.97/84.35	c bounds 2836 >= 1722 @ 80.7957
83.97/84.38	c bounds 2836 >= 1723 @ 80.8187
84.28/84.66	c bounds 2835 >= 1723 @ 81.0626
84.38/84.77	c #Conflicts:      10000 | #Constraints:      17313
84.38/84.77	c bounds 2835 >= 1724 @ 81.1684
84.58/84.94	c bounds 2834 >= 1724 @ 81.3315
84.58/84.96	c bounds 2834 >= 1725 @ 81.3431
84.58/84.97	c bounds 2834 >= 1726 @ 81.3496
84.58/84.99	c bounds 2834 >= 1727 @ 81.3656
84.68/85.03	c #Conflicts:      11000 | #Constraints:      18461
84.68/85.03	c bounds 2834 >= 1728 @ 81.4055
84.68/85.05	c bounds 2832 >= 1728 @ 81.4252
84.78/85.17	c bounds 2832 >= 1729 @ 81.525
85.08/85.41	c #Conflicts:      12000 | #Constraints:      19549
85.08/85.41	c INPROCESSING
85.08/85.41	c GARBAGE COLLECT
85.08/85.41	c bounds 2831 >= 1729 @ 81.749
85.37/85.73	c bounds 2830 >= 1729 @ 82.0496
85.37/85.74	c bounds 2830 >= 1730 @ 82.0552
85.37/85.75	c bounds 2830 >= 1731 @ 82.0619
85.37/85.76	c bounds 2830 >= 1732 @ 82.0757
85.48/85.83	c #Conflicts:      13000 | #Constraints:      17939
85.48/85.83	c bounds 2830 >= 1733 @ 82.1303
85.78/86.12	c #Conflicts:      14000 | #Constraints:      18981
85.78/86.12	c #Conflicts:      15000 | #Constraints:      19981
85.78/86.12	c INPROCESSING
85.78/86.12	c GARBAGE COLLECT
85.78/86.12	c bounds 2828 >= 1733 @ 82.3956
86.07/86.40	c bounds 2827 >= 1733 @ 82.6683
86.17/86.56	c bounds 2826 >= 1733 @ 82.8228
86.37/86.72	c bounds 2825 >= 1733 @ 82.9734
86.37/86.78	c bounds 2825 >= 1734 @ 83.0222
86.57/86.95	c bounds 2824 >= 1734 @ 83.1925
87.17/87.52	c #Conflicts:      16000 | #Constraints:      18182
87.17/87.52	c #Conflicts:      17000 | #Constraints:      19182
87.17/87.52	c #Conflicts:      18000 | #Constraints:      20182
87.17/87.52	c INPROCESSING
87.17/87.52	c GARBAGE COLLECT
87.17/87.52	c bounds 2823 >= 1734 @ 83.7372
87.36/87.71	c bounds 2822 >= 1734 @ 83.9172
87.47/87.88	c bounds 2821 >= 1734 @ 84.0831
87.67/88.05	c bounds 2820 >= 1734 @ 84.2493
87.87/88.25	c bounds 2819 >= 1734 @ 84.4368
88.07/88.44	c bounds 2818 >= 1734 @ 84.6208
88.07/88.46	c bounds 2818 >= 1735 @ 84.6364
88.07/88.47	c bounds 2818 >= 1736 @ 84.6535
88.17/88.51	c #Conflicts:      19000 | #Constraints:      18244
88.17/88.51	c bounds 2818 >= 1737 @ 84.6905
88.27/88.69	c bounds 2817 >= 1737 @ 84.8637
88.47/88.89	c #Conflicts:      20000 | #Constraints:      19284
88.47/88.89	c bounds 2817 >= 1738 @ 85.0441
88.77/89.10	c bounds 2816 >= 1738 @ 85.2563
89.17/89.52	c bounds 2815 >= 1738 @ 85.656
89.17/89.53	c bounds 2815 >= 1739 @ 85.6606
89.17/89.54	c bounds 2815 >= 1740 @ 85.6737
89.17/89.58	c bounds 2815 >= 1741 @ 85.6994
89.26/89.68	c #Conflicts:      21000 | #Constraints:      20421
89.26/89.68	c bounds 2815 >= 1742 @ 85.7898
89.67/90.09	c bounds 2814 >= 1742 @ 86.1582
89.67/90.09	c bounds 2814 >= 1743 @ 86.1651
188.62/189.26	c INPROCESSING
188.62/189.26	c GARBAGE COLLECT
188.62/189.26	c #Conflicts:      22000 | #Constraints:      18146
188.62/189.26	c bounds 2814 >= 1744 @ 184.818
189.02/189.66	c #Conflicts:      23000 | #Constraints:      19218
189.02/189.66	c #Conflicts:      24000 | #Constraints:      20218
189.02/189.66	c #Conflicts:      25000 | #Constraints:      21218
189.02/189.66	c bounds 2814 >= 1745 @ 185.176
189.12/189.76	c bounds 2813 >= 1745 @ 185.274
189.22/189.88	c bounds 2812 >= 1745 @ 185.384
189.32/189.98	c bounds 2811 >= 1745 @ 185.48
189.53/190.14	c INPROCESSING
189.53/190.14	c GARBAGE COLLECT
189.53/190.14	c bounds 2810 >= 1745 @ 185.629
189.63/190.27	c bounds 2809 >= 1745 @ 185.756
189.92/190.50	c bounds 2808 >= 1745 @ 185.973
189.92/190.51	c bounds 2808 >= 1746 @ 185.979
189.92/190.51	c bounds 2808 >= 1747 @ 185.986
190.02/190.69	c bounds 2807 >= 1747 @ 186.15
190.13/190.71	c bounds 2807 >= 1748 @ 186.17
190.13/190.75	c #Conflicts:      26000 | #Constraints:      18831
190.13/190.75	c bounds 2807 >= 1749 @ 186.201
190.13/190.79	c bounds 2807 >= 1750 @ 186.227
190.32/190.94	c bounds 2806 >= 1750 @ 186.367
190.43/191.08	c #Conflicts:      27000 | #Constraints:      19961
190.43/191.08	c bounds 2806 >= 1751 @ 186.495
190.62/191.22	c bounds 2805 >= 1751 @ 186.63
190.72/191.39	c bounds 2804 >= 1751 @ 186.787
191.32/191.91	c #Conflicts:      28000 | #Constraints:      21020
191.32/191.91	c #Conflicts:      29000 | #Constraints:      22020
191.32/191.91	c INPROCESSING
191.32/191.91	c GARBAGE COLLECT
191.32/191.91	c bounds 2803 >= 1751 @ 187.279
192.01/192.62	c bounds 2802 >= 1751 @ 187.968
192.12/192.73	c #Conflicts:      30000 | #Constraints:      19358
192.12/192.73	c bounds 2802 >= 1752 @ 188.062
193.62/194.21	c #Conflicts:      31000 | #Constraints:      20403
193.62/194.21	c #Conflicts:      32000 | #Constraints:      21403
193.62/194.21	c #Conflicts:      33000 | #Constraints:      22403
193.62/194.21	c #Conflicts:      34000 | #Constraints:      23403
193.62/194.21	c #Conflicts:      35000 | #Constraints:      24403
193.62/194.21	c #Conflicts:      36000 | #Constraints:      25403
193.62/194.21	c bounds 2802 >= 1753 @ 189.476
204.39/205.09	c #Conflicts:      37000 | #Constraints:      26463
204.39/205.09	c #Conflicts:      38000 | #Constraints:      27463
204.39/205.09	c bounds 2801 >= 1753 @ 200.125
204.49/205.10	c bounds 2801 >= 1754 @ 200.135
204.49/205.11	c bounds 2801 >= 1755 @ 200.144
204.49/205.16	c #Conflicts:      39000 | #Constraints:      28518
204.49/205.16	c bounds 2801 >= 1756 @ 200.188
204.69/205.37	c #Conflicts:      40000 | #Constraints:      29557
204.69/205.37	c bounds 2801 >= 1757 @ 200.396
571.57/573.14	c #Conflicts:      41000 | #Constraints:      30593
571.57/573.14	c #Conflicts:      42000 | #Constraints:      31593
571.57/573.14	c INPROCESSING
571.57/573.14	c GARBAGE COLLECT
571.57/573.14	c rational objective 2022.3
578.28/580.00	c #Conflicts:      43000 | #Constraints:      23712
578.28/580.00	c bounds 2801 >= 1758 @ 573.549
579.88/581.57	c #Conflicts:      44000 | #Constraints:      24772
579.88/581.57	c #Conflicts:      45000 | #Constraints:      25772
579.88/581.57	c #Conflicts:      46000 | #Constraints:      26772
579.88/581.57	c #Conflicts:      47000 | #Constraints:      27772
579.88/581.57	c #Conflicts:      48000 | #Constraints:      28772
579.88/581.57	c INPROCESSING
579.88/581.57	c GARBAGE COLLECT
579.88/581.57	c #Conflicts:      49000 | #Constraints:      22774
579.88/581.57	c #Conflicts:      50000 | #Constraints:      23774
579.88/581.57	c bounds 2801 >= 1759 @ 575.026
581.98/583.64	c #Conflicts:      51000 | #Constraints:      24819
581.98/583.64	c #Conflicts:      52000 | #Constraints:      25819
581.98/583.64	c #Conflicts:      53000 | #Constraints:      26819
581.98/583.64	c INPROCESSING
581.98/583.64	c GARBAGE COLLECT
581.98/583.64	c #Conflicts:      54000 | #Constraints:      21659
581.98/583.64	c #Conflicts:      55000 | #Constraints:      22659
581.98/583.64	c #Conflicts:      56000 | #Constraints:      23659
581.98/583.64	c #Conflicts:      57000 | #Constraints:      24659
581.98/583.64	c #Conflicts:      58000 | #Constraints:      25659
581.98/583.64	c INPROCESSING
581.98/583.64	c GARBAGE COLLECT
581.98/583.64	c #Conflicts:      59000 | #Constraints:      20835
581.98/583.64	c #Conflicts:      60000 | #Constraints:      21835
581.98/583.64	c #Conflicts:      61000 | #Constraints:      22835
581.98/583.64	c bounds 2801 >= 1760 @ 576.98
582.38/584.04	c #Conflicts:      62000 | #Constraints:      23949
582.38/584.04	c #Conflicts:      63000 | #Constraints:      24949
582.38/584.04	c bounds 2801 >= 1761 @ 577.369
582.58/584.20	c #Conflicts:      64000 | #Constraints:      25997
582.58/584.20	c bounds 2801 >= 1762 @ 577.521
582.67/584.39	c INPROCESSING
582.67/584.39	c GARBAGE COLLECT
582.67/584.39	c #Conflicts:      65000 | #Constraints:      21228
582.67/584.39	c bounds 2801 >= 1763 @ 577.691
583.27/584.93	c #Conflicts:      66000 | #Constraints:      22297
583.27/584.93	c #Conflicts:      67000 | #Constraints:      23297
583.27/584.93	c #Conflicts:      68000 | #Constraints:      24297
583.27/584.93	c bounds 2801 >= 1764 @ 578.187
585.06/586.73	c #Conflicts:      69000 | #Constraints:      25363
585.06/586.73	c #Conflicts:      70000 | #Constraints:      26363
585.06/586.73	c #Conflicts:      71000 | #Constraints:      27363
585.06/586.73	c #Conflicts:      72000 | #Constraints:      28363
585.06/586.73	c #Conflicts:      73000 | #Constraints:      29363
585.06/586.73	c bounds 2801 >= 1765 @ 579.935
588.65/590.35	c #Conflicts:      74000 | #Constraints:      30414
588.65/590.35	c #Conflicts:      75000 | #Constraints:      31414
588.65/590.35	c #Conflicts:      76000 | #Constraints:      32414
588.65/590.35	c #Conflicts:      77000 | #Constraints:      33414
588.65/590.35	c #Conflicts:      78000 | #Constraints:      34414
588.65/590.35	c #Conflicts:      79000 | #Constraints:      35414
588.65/590.35	c bounds 2801 >= 1766 @ 583.473
994.97/997.61	c #Conflicts:      80000 | #Constraints:      36462
994.97/997.61	c #Conflicts:      81000 | #Constraints:      37462
994.97/997.61	c #Conflicts:      82000 | #Constraints:      38462
994.97/997.61	c #Conflicts:      83000 | #Constraints:      39462
994.97/997.61	c #Conflicts:      84000 | #Constraints:      40462
994.97/997.61	c INPROCESSING
994.97/997.61	c GARBAGE COLLECT
994.97/997.61	c #Conflicts:      85000 | #Constraints:      28387
994.97/997.61	c #Conflicts:      86000 | #Constraints:      29387
994.97/997.61	c #Conflicts:      87000 | #Constraints:      30387
994.97/997.61	c #Conflicts:      88000 | #Constraints:      31387
994.97/997.61	c #Conflicts:      89000 | #Constraints:      32387
994.97/997.61	c #Conflicts:      90000 | #Constraints:      33387
994.97/997.61	c bounds 2800 >= 1766 @ 989.138
995.17/997.85	c bounds 2799 >= 1766 @ 989.366
995.38/998.08	c bounds 2798 >= 1766 @ 989.586
995.67/998.32	c bounds 2797 >= 1766 @ 989.819
998.17/1000.80	c #Conflicts:      91000 | #Constraints:      34391
998.17/1000.80	c INPROCESSING
998.17/1000.80	c GARBAGE COLLECT
998.17/1000.80	c bounds 2796 >= 1766 @ 992.275
998.66/1001.38	c #Conflicts:      92000 | #Constraints:      25273
998.66/1001.38	c bounds 2795 >= 1766 @ 992.85
998.66/1001.39	c bounds 2795 >= 1767 @ 992.855
999.56/1002.20	c #Conflicts:      93000 | #Constraints:      26307
999.56/1002.20	c #Conflicts:      94000 | #Constraints:      27307
999.56/1002.20	c #Conflicts:      95000 | #Constraints:      28307
999.56/1002.20	c #Conflicts:      96000 | #Constraints:      29307
999.56/1002.20	c bounds 2795 >= 1768 @ 993.642
1004.64/1007.38	c #Conflicts:      97000 | #Constraints:      30424
1004.64/1007.38	c #Conflicts:      98000 | #Constraints:      31424
1004.64/1007.38	c #Conflicts:      99000 | #Constraints:      32424
1004.64/1007.38	c INPROCESSING
1004.64/1007.38	c GARBAGE COLLECT
1004.64/1007.38	c bounds 2795 >= 1769 @ 998.771
1004.64/1007.39	c bounds 2795 >= 1770 @ 998.776
1004.75/1007.40	c bounds 2795 >= 1771 @ 998.787
1004.75/1007.46	c bounds 2795 >= 1772 @ 998.841
1004.95/1007.69	c #Conflicts:     100000 | #Constraints:      24905
1004.95/1007.69	c #Conflicts:     101000 | #Constraints:      25905
1004.95/1007.69	c bounds 2795 >= 1773 @ 999.059
1005.85/1008.59	c #Conflicts:     102000 | #Constraints:      26953
1005.85/1008.59	c #Conflicts:     103000 | #Constraints:      27953
1005.85/1008.59	c #Conflicts:     104000 | #Constraints:      28953
1005.85/1008.59	c #Conflicts:     105000 | #Constraints:      29953
1005.85/1008.59	c bounds 2795 >= 1774 @ 999.921
1592.53/1596.90	c #Conflicts:     106000 | #Constraints:      30989
1592.53/1596.90	c INPROCESSING
1592.53/1596.90	c GARBAGE COLLECT
1592.53/1596.90	c rational objective 2022.36
1600.57/1605.10	c #Conflicts:     107000 | #Constraints:      23938
1600.57/1605.10	c #Conflicts:     108000 | #Constraints:      24938
1600.57/1605.10	c #Conflicts:     109000 | #Constraints:      25938
1600.57/1605.10	c #Conflicts:     110000 | #Constraints:      26938
1600.57/1605.10	c #Conflicts:     111000 | #Constraints:      27938
1600.57/1605.10	c #Conflicts:     112000 | #Constraints:      28938
1600.57/1605.10	c bounds 2795 >= 1775 @ 1594.09
1609.44/1613.91	c #Conflicts:     113000 | #Constraints:      30016
1609.44/1613.91	c #Conflicts:     114000 | #Constraints:      31016
1609.44/1613.91	c #Conflicts:     115000 | #Constraints:      32016
1609.44/1613.91	c #Conflicts:     116000 | #Constraints:      33016
1609.44/1613.91	c #Conflicts:     117000 | #Constraints:      34016
1609.44/1613.91	c #Conflicts:     118000 | #Constraints:      35016
1609.44/1613.91	c #Conflicts:     119000 | #Constraints:      36016
1609.44/1613.91	c #Conflicts:     120000 | #Constraints:      37016
1609.44/1613.91	c #Conflicts:     121000 | #Constraints:      38016
1609.44/1613.91	c #Conflicts:     122000 | #Constraints:      39016
1609.44/1613.91	c #Conflicts:     123000 | #Constraints:      40016
1609.44/1613.91	c #Conflicts:     124000 | #Constraints:      41016
1609.44/1613.91	c #Conflicts:     125000 | #Constraints:      42016
1609.44/1613.91	c #Conflicts:     126000 | #Constraints:      43016
1609.44/1613.91	c #Conflicts:     127000 | #Constraints:      44016
1609.44/1613.91	c #Conflicts:     128000 | #Constraints:      45016
1609.44/1613.91	c #Conflicts:     129000 | #Constraints:      46016
1609.44/1613.91	c bounds 2795 >= 1776 @ 1602.7
1609.44/1613.94	c bounds 2791 >= 1776 @ 1602.72
1609.64/1614.15	c bounds 2790 >= 1776 @ 1602.92
1609.84/1614.33	c bounds 2789 >= 1776 @ 1603.1
1610.04/1614.51	c bounds 2788 >= 1776 @ 1603.28
1610.23/1614.70	c bounds 2787 >= 1776 @ 1603.46
1610.44/1614.94	c bounds 2786 >= 1776 @ 1603.69
1610.83/1615.31	c bounds 2785 >= 1776 @ 1604.05
1611.23/1615.73	c #Conflicts:     130000 | #Constraints:      47110
1611.23/1615.73	c bounds 2784 >= 1776 @ 1604.46
1611.54/1616.08	c bounds 2783 >= 1776 @ 1604.8
1611.83/1616.34	c bounds 2782 >= 1776 @ 1605.05
1612.23/1616.74	c bounds 2781 >= 1776 @ 1605.44
1612.73/1617.24	c bounds 2780 >= 1776 @ 1605.91
1613.03/1617.59	c #Conflicts:     131000 | #Constraints:      48115
1613.03/1617.59	c bounds 2779 >= 1776 @ 1606.25
1613.43/1617.90	c bounds 2778 >= 1776 @ 1606.56
1614.13/1618.69	c bounds 2777 >= 1776 @ 1607.33
1614.63/1619.19	c bounds 2776 >= 1776 @ 1607.81
1615.63/1620.13	c #Conflicts:     132000 | #Constraints:      49119
1615.63/1620.13	c INPROCESSING
1615.63/1620.13	c GARBAGE COLLECT
1615.63/1620.13	c bounds 2775 >= 1776 @ 1608.72
1616.32/1620.85	c bounds 2774 >= 1776 @ 1609.43
1617.92/1622.40	c #Conflicts:     133000 | #Constraints:      33164
1617.92/1622.40	c bounds 2773 >= 1776 @ 1610.95
1618.21/1622.76	c bounds 2772 >= 1776 @ 1611.31
1618.81/1623.39	c bounds 2771 >= 1776 @ 1611.93
1619.21/1623.74	c bounds 2770 >= 1776 @ 1612.26
1619.62/1624.15	c #Conflicts:     134000 | #Constraints:      34168
1619.62/1624.15	c bounds 2769 >= 1776 @ 1612.65
1620.01/1624.54	c bounds 2768 >= 1776 @ 1613.04
1620.41/1624.98	c bounds 2767 >= 1776 @ 1613.46
1620.91/1625.42	c bounds 2766 >= 1776 @ 1613.89
1621.40/1626.00	c #Conflicts:     135000 | #Constraints:      35172
1621.40/1626.00	c bounds 2765 >= 1776 @ 1614.45
1621.80/1626.39	c bounds 2764 >= 1776 @ 1614.83
1622.61/1627.14	c bounds 2763 >= 1776 @ 1615.54
1623.50/1628.05	c #Conflicts:     136000 | #Constraints:      36175
1623.50/1628.05	c bounds 2762 >= 1776 @ 1616.34
1624.10/1628.65	c bounds 2761 >= 1776 @ 1616.91
1624.60/1629.17	c bounds 2760 >= 1776 @ 1617.41
1625.60/1630.19	c #Conflicts:     137000 | #Constraints:      37178
1625.60/1630.19	c bounds 2759 >= 1776 @ 1618.39
1627.09/1631.65	c bounds 2758 >= 1776 @ 1619.81
1628.60/1633.16	c #Conflicts:     138000 | #Constraints:      38180
1628.60/1633.16	c bounds 2757 >= 1776 @ 1621.27
1629.69/1634.26	c bounds 2756 >= 1776 @ 1622.35
1637.27/1641.83	c #Conflicts:     139000 | #Constraints:      39182
1637.27/1641.83	c #Conflicts:     140000 | #Constraints:      40182
1637.27/1641.83	c bounds 2755 >= 1776 @ 1629.8
1637.27/1641.88	c bounds 2755 >= 1777 @ 1629.84
1637.37/1641.97	c bounds 2755 >= 1778 @ 1629.93
1637.87/1642.45	c INPROCESSING
1637.87/1642.45	c GARBAGE COLLECT
1637.87/1642.45	c bounds 2755 >= 1779 @ 1630.4
1637.87/1642.49	c #Conflicts:     141000 | #Constraints:      28438
1637.87/1642.49	c bounds 2755 >= 1780 @ 1630.44
1637.97/1642.53	c bounds 2755 >= 1781 @ 1630.47
1638.16/1642.72	c #Conflicts:     142000 | #Constraints:      29534
1638.16/1642.72	c #Conflicts:     143000 | #Constraints:      30534
1638.16/1642.72	c bounds 2755 >= 1782 @ 1630.65
1639.76/1644.30	c #Conflicts:     144000 | #Constraints:      31582
1639.76/1644.30	c #Conflicts:     145000 | #Constraints:      32582
1639.76/1644.30	c #Conflicts:     146000 | #Constraints:      33582
1639.76/1644.30	c #Conflicts:     147000 | #Constraints:      34582
1639.76/1644.30	c #Conflicts:     148000 | #Constraints:      35582
1639.76/1644.30	c #Conflicts:     149000 | #Constraints:      36582
1639.76/1644.30	c bounds 2755 >= 1783 @ 1632.19
1644.75/1649.34	c INPROCESSING
1644.75/1649.34	c GARBAGE COLLECT
1644.75/1649.34	c #Conflicts:     150000 | #Constraints:      26742
1644.75/1649.34	c #Conflicts:     151000 | #Constraints:      27742
1644.75/1649.34	c #Conflicts:     152000 | #Constraints:      28742
1644.75/1649.34	c #Conflicts:     153000 | #Constraints:      29742
1644.75/1649.34	c #Conflicts:     154000 | #Constraints:      30742
1644.75/1649.34	c #Conflicts:     155000 | #Constraints:      31742
1644.75/1649.34	c #Conflicts:     156000 | #Constraints:      32742
1644.75/1649.34	c #Conflicts:     157000 | #Constraints:      33742
1644.75/1649.34	c #Conflicts:     158000 | #Constraints:      34742
1644.75/1649.34	c INPROCESSING
1644.75/1649.34	c GARBAGE COLLECT
1644.75/1649.34	c #Conflicts:     159000 | #Constraints:      25752
1644.75/1649.34	c #Conflicts:     160000 | #Constraints:      26752
1644.75/1649.34	c #Conflicts:     161000 | #Constraints:      27752
1644.75/1649.34	c #Conflicts:     162000 | #Constraints:      28752
1644.75/1649.34	c #Conflicts:     163000 | #Constraints:      29752
1644.75/1649.34	c #Conflicts:     164000 | #Constraints:      30752
1644.75/1649.34	c #Conflicts:     165000 | #Constraints:      31752
1644.75/1649.34	c #Conflicts:     166000 | #Constraints:      32752
1644.75/1649.34	c #Conflicts:     167000 | #Constraints:      33752
1644.75/1649.34	c #Conflicts:     168000 | #Constraints:      34752
1644.75/1649.34	c bounds 2755 >= 1784 @ 1637.03
1673.69/1678.59	c #Conflicts:     169000 | #Constraints:      35827
1673.69/1678.59	c #Conflicts:     170000 | #Constraints:      36827
1673.69/1678.59	c #Conflicts:     171000 | #Constraints:      37827
1673.69/1678.59	c #Conflicts:     172000 | #Constraints:      38827
1673.69/1678.59	c #Conflicts:     173000 | #Constraints:      39827
1673.69/1678.59	c #Conflicts:     174000 | #Constraints:      40827
1673.69/1678.59	c #Conflicts:     175000 | #Constraints:      41827
1673.69/1678.59	c #Conflicts:     176000 | #Constraints:      42827
1673.69/1678.59	c #Conflicts:     177000 | #Constraints:      43827
1673.69/1678.59	c #Conflicts:     178000 | #Constraints:      44827
1673.69/1678.59	c #Conflicts:     179000 | #Constraints:      45827
1673.69/1678.59	c #Conflicts:     180000 | #Constraints:      46827
1673.69/1678.59	c #Conflicts:     181000 | #Constraints:      47827
1673.69/1678.59	c #Conflicts:     182000 | #Constraints:      48827
1673.69/1678.59	c #Conflicts:     183000 | #Constraints:      49827
1673.69/1678.59	c #Conflicts:     184000 | #Constraints:      50827
1673.69/1678.59	c #Conflicts:     185000 | #Constraints:      51827
1673.69/1678.59	c #Conflicts:     186000 | #Constraints:      52827
1673.69/1678.59	c #Conflicts:     187000 | #Constraints:      53827
1673.69/1678.59	c #Conflicts:     188000 | #Constraints:      54827
1673.69/1678.59	c #Conflicts:     189000 | #Constraints:      55827
1673.69/1678.59	c INPROCESSING
1673.69/1678.59	c GARBAGE COLLECT
1673.69/1678.59	c #Conflicts:     190000 | #Constraints:      36384
1673.69/1678.59	c #Conflicts:     191000 | #Constraints:      37384
1673.69/1678.59	c #Conflicts:     192000 | #Constraints:      38384
1673.69/1678.59	c #Conflicts:     193000 | #Constraints:      39384
1673.69/1678.59	c bounds 2754 >= 1784 @ 1665.66
1673.79/1678.61	c bounds 2754 >= 1785 @ 1665.68
1673.79/1678.64	c bounds 2754 >= 1786 @ 1665.7
1673.79/1678.68	c bounds 2754 >= 1787 @ 1665.74
1673.99/1678.81	c #Conflicts:     194000 | #Constraints:      40499
1673.99/1678.81	c bounds 2754 >= 1788 @ 1665.86
1674.39/1679.27	c #Conflicts:     195000 | #Constraints:      41538
1674.39/1679.27	c bounds 2754 >= 1789 @ 1666.31
1675.89/1680.76	c #Conflicts:     196000 | #Constraints:      42598
1675.89/1680.76	c #Conflicts:     197000 | #Constraints:      43598
1675.89/1680.76	c #Conflicts:     198000 | #Constraints:      44598
1675.89/1680.76	c #Conflicts:     199000 | #Constraints:      45598
1675.89/1680.76	c bounds 2754 >= 1790 @ 1667.78
1678.28/1683.18	c #Conflicts:     200000 | #Constraints:      46640
1678.28/1683.18	c INPROCESSING
1678.28/1683.18	c GARBAGE COLLECT
1678.28/1683.18	c #Conflicts:     201000 | #Constraints:      32121
1678.28/1683.18	c #Conflicts:     202000 | #Constraints:      33121
1678.28/1683.18	c #Conflicts:     203000 | #Constraints:      34121
1678.28/1683.18	c #Conflicts:     204000 | #Constraints:      35121
1678.28/1683.18	c #Conflicts:     205000 | #Constraints:      36121
1678.28/1683.18	c #Conflicts:     206000 | #Constraints:      37121
1678.28/1683.18	c #Conflicts:     207000 | #Constraints:      38121
1678.28/1683.18	c bounds 2754 >= 1791 @ 1670.16
2231.54/2237.95	c #Conflicts:     208000 | #Constraints:      39193
2231.54/2237.95	c #Conflicts:     209000 | #Constraints:      40193
2231.54/2237.95	c #Conflicts:     210000 | #Constraints:      41193
2231.54/2237.95	c INPROCESSING
2231.54/2237.95	c GARBAGE COLLECT
2231.54/2237.95	c #Conflicts:     211000 | #Constraints:      29129
2231.54/2237.95	c #Conflicts:     212000 | #Constraints:      30129
2231.54/2237.95	c #Conflicts:     213000 | #Constraints:      31129
2231.54/2237.95	c #Conflicts:     214000 | #Constraints:      32129
2231.54/2237.95	c #Conflicts:     215000 | #Constraints:      33129
2231.54/2237.95	c #Conflicts:     216000 | #Constraints:      34129
2231.54/2237.95	c #Conflicts:     217000 | #Constraints:      35129
2231.54/2237.95	c #Conflicts:     218000 | #Constraints:      36129
2231.54/2237.95	c #Conflicts:     219000 | #Constraints:      37129
2231.54/2237.95	c #Conflicts:     220000 | #Constraints:      38129
2231.54/2237.95	c #Conflicts:     221000 | #Constraints:      39129
2231.54/2237.95	c INPROCESSING
2231.54/2237.95	c GARBAGE COLLECT
2231.54/2237.95	c #Conflicts:     222000 | #Constraints:      28200
2231.54/2237.95	c #Conflicts:     223000 | #Constraints:      29200
2231.54/2237.95	c #Conflicts:     224000 | #Constraints:      30200
2231.54/2237.95	c #Conflicts:     225000 | #Constraints:      31200
2231.54/2237.95	c #Conflicts:     226000 | #Constraints:      32200
2231.54/2237.95	c #Conflicts:     227000 | #Constraints:      33200
2231.54/2237.95	c #Conflicts:     228000 | #Constraints:      34200
2231.54/2237.95	c #Conflicts:     229000 | #Constraints:      35200
2231.54/2237.95	c #Conflicts:     230000 | #Constraints:      36200
2231.54/2237.95	c #Conflicts:     231000 | #Constraints:      37200
2231.54/2237.95	c #Conflicts:     232000 | #Constraints:      38200
2231.54/2237.95	c bounds 2753 >= 1791 @ 2221.18
2232.33/2238.71	c #Conflicts:     233000 | #Constraints:      39201
2232.33/2238.71	c #Conflicts:     234000 | #Constraints:      40201
2232.33/2238.71	c bounds 2753 >= 1792 @ 2221.91
2234.22/2240.64	c #Conflicts:     235000 | #Constraints:      41273
2234.22/2240.64	c #Conflicts:     236000 | #Constraints:      42273
2234.22/2240.64	c #Conflicts:     237000 | #Constraints:      43273
2234.22/2240.64	c #Conflicts:     238000 | #Constraints:      44273
2234.22/2240.64	c #Conflicts:     239000 | #Constraints:      45273
2234.22/2240.64	c bounds 2753 >= 1793 @ 2223.78
2243.60/2250.10	c #Conflicts:     240000 | #Constraints:      46309
2243.60/2250.10	c #Conflicts:     241000 | #Constraints:      47309
2243.60/2250.10	c #Conflicts:     242000 | #Constraints:      48309
2243.60/2250.10	c #Conflicts:     243000 | #Constraints:      49309
2243.60/2250.10	c #Conflicts:     244000 | #Constraints:      50309
2243.60/2250.10	c #Conflicts:     245000 | #Constraints:      51309
2243.60/2250.10	c #Conflicts:     246000 | #Constraints:      52309
2243.60/2250.10	c #Conflicts:     247000 | #Constraints:      53309
2243.60/2250.10	c #Conflicts:     248000 | #Constraints:      54309
2243.60/2250.10	c #Conflicts:     249000 | #Constraints:      55309
2243.60/2250.10	c #Conflicts:     250000 | #Constraints:      56309
2243.60/2250.10	c #Conflicts:     251000 | #Constraints:      57309
2243.60/2250.10	c #Conflicts:     252000 | #Constraints:      58309
2243.60/2250.10	c #Conflicts:     253000 | #Constraints:      59309
2243.60/2250.10	c #Conflicts:     254000 | #Constraints:      60309
2243.60/2250.10	c #Conflicts:     255000 | #Constraints:      61309
2243.60/2250.10	c bounds 2753 >= 1794 @ 2233.03
2266.74/2273.26	c #Conflicts:     256000 | #Constraints:      62372
2266.74/2273.26	c #Conflicts:     257000 | #Constraints:      63372
2266.74/2273.26	c INPROCESSING
2266.74/2273.26	c GARBAGE COLLECT
2266.74/2273.26	c #Conflicts:     258000 | #Constraints:      40268
2266.74/2273.26	c #Conflicts:     259000 | #Constraints:      41268
2266.74/2273.26	c #Conflicts:     260000 | #Constraints:      42268
2266.74/2273.26	c #Conflicts:     261000 | #Constraints:      43268
2266.74/2273.26	c #Conflicts:     262000 | #Constraints:      44268
2266.74/2273.26	c #Conflicts:     263000 | #Constraints:      45268
2266.74/2273.26	c #Conflicts:     264000 | #Constraints:      46268
2266.74/2273.26	c #Conflicts:     265000 | #Constraints:      47268
2266.74/2273.26	c #Conflicts:     266000 | #Constraints:      48268
2266.74/2273.26	c #Conflicts:     267000 | #Constraints:      49268
2266.74/2273.26	c #Conflicts:     268000 | #Constraints:      50268
2266.74/2273.26	c #Conflicts:     269000 | #Constraints:      51268
2266.74/2273.26	c INPROCESSING
2266.74/2273.26	c GARBAGE COLLECT
2266.74/2273.26	c #Conflicts:     270000 | #Constraints:      34179
2266.74/2273.26	c #Conflicts:     271000 | #Constraints:      35179
2266.74/2273.26	c #Conflicts:     272000 | #Constraints:      36179
2266.74/2273.26	c #Conflicts:     273000 | #Constraints:      37179
2266.74/2273.26	c #Conflicts:     274000 | #Constraints:      38179
2266.74/2273.26	c #Conflicts:     275000 | #Constraints:      39179
2266.74/2273.26	c #Conflicts:     276000 | #Constraints:      40179
2266.74/2273.26	c #Conflicts:     277000 | #Constraints:      41179
2266.74/2273.26	c #Conflicts:     278000 | #Constraints:      42179
2266.74/2273.26	c #Conflicts:     279000 | #Constraints:      43179
2266.74/2273.26	c #Conflicts:     280000 | #Constraints:      44179
2266.74/2273.26	c #Conflicts:     281000 | #Constraints:      45179
2266.74/2273.26	c #Conflicts:     282000 | #Constraints:      46179
2266.74/2273.26	c INPROCESSING
2266.74/2273.26	c GARBAGE COLLECT
2266.74/2273.26	c #Conflicts:     283000 | #Constraints:      31983
2266.74/2273.26	c #Conflicts:     284000 | #Constraints:      32983
2266.74/2273.26	c #Conflicts:     285000 | #Constraints:      33983
2266.74/2273.26	c #Conflicts:     286000 | #Constraints:      34983
2266.74/2273.26	c #Conflicts:     287000 | #Constraints:      35983
2266.74/2273.26	c #Conflicts:     288000 | #Constraints:      36983
2266.74/2273.26	c #Conflicts:     289000 | #Constraints:      37983
2266.74/2273.26	c #Conflicts:     290000 | #Constraints:      38983
2266.74/2273.26	c #Conflicts:     291000 | #Constraints:      39983
2266.74/2273.26	c #Conflicts:     292000 | #Constraints:      40983
2266.74/2273.26	c #Conflicts:     293000 | #Constraints:      41983
2266.74/2273.26	c #Conflicts:     294000 | #Constraints:      42983
2266.74/2273.26	c INPROCESSING
2266.74/2273.26	c GARBAGE COLLECT
2266.74/2273.26	c #Conflicts:     295000 | #Constraints:      30132
2266.74/2273.26	c #Conflicts:     296000 | #Constraints:      31132
2266.74/2273.26	c #Conflicts:     297000 | #Constraints:      32132
2266.74/2273.26	c #Conflicts:     298000 | #Constraints:      33132
2266.74/2273.26	c #Conflicts:     299000 | #Constraints:      34132
2266.74/2273.26	c #Conflicts:     300000 | #Constraints:      35132
2266.74/2273.26	c #Conflicts:     301000 | #Constraints:      36132
2266.74/2273.26	c #Conflicts:     302000 | #Constraints:      37132
2266.74/2273.26	c #Conflicts:     303000 | #Constraints:      38132
2266.74/2273.26	c #Conflicts:     304000 | #Constraints:      39132
2266.74/2273.26	c #Conflicts:     305000 | #Constraints:      40132
2266.74/2273.26	c #Conflicts:     306000 | #Constraints:      41132
2266.74/2273.26	c #Conflicts:     307000 | #Constraints:      42132
2266.74/2273.26	c #Conflicts:     308000 | #Constraints:      43132
2266.74/2273.26	c #Conflicts:     309000 | #Constraints:      44132
2266.74/2273.26	c #Conflicts:     310000 | #Constraints:      45132
2266.74/2273.26	c bounds 2753 >= 1795 @ 2255.58
2300.94/2307.75	c #Conflicts:     311000 | #Constraints:      46201
2300.94/2307.75	c #Conflicts:     312000 | #Constraints:      47201
2300.94/2307.75	c #Conflicts:     313000 | #Constraints:      48201
2300.94/2307.75	c #Conflicts:     314000 | #Constraints:      49201
2300.94/2307.75	c #Conflicts:     315000 | #Constraints:      50201
2300.94/2307.75	c #Conflicts:     316000 | #Constraints:      51201
2300.94/2307.75	c #Conflicts:     317000 | #Constraints:      52201
2300.94/2307.75	c #Conflicts:     318000 | #Constraints:      53201
2300.94/2307.75	c #Conflicts:     319000 | #Constraints:      54201
2300.94/2307.75	c #Conflicts:     320000 | #Constraints:      55201
2300.94/2307.75	c #Conflicts:     321000 | #Constraints:      56201
2300.94/2307.75	c #Conflicts:     322000 | #Constraints:      57201
2300.94/2307.75	c #Conflicts:     323000 | #Constraints:      58201
2300.94/2307.75	c #Conflicts:     324000 | #Constraints:      59201
2300.94/2307.75	c #Conflicts:     325000 | #Constraints:      60201
2300.94/2307.75	c #Conflicts:     326000 | #Constraints:      61201
2300.94/2307.75	c #Conflicts:     327000 | #Constraints:      62201
2300.94/2307.75	c #Conflicts:     328000 | #Constraints:      63201
2300.94/2307.75	c #Conflicts:     329000 | #Constraints:      64201
2300.94/2307.75	c #Conflicts:     330000 | #Constraints:      65201
2300.94/2307.75	c #Conflicts:     331000 | #Constraints:      66201
2300.94/2307.75	c #Conflicts:     332000 | #Constraints:      67201
2300.94/2307.75	c #Conflicts:     333000 | #Constraints:      68201
2300.94/2307.75	c #Conflicts:     334000 | #Constraints:      69201
2300.94/2307.75	c #Conflicts:     335000 | #Constraints:      70201
2300.94/2307.75	c #Conflicts:     336000 | #Constraints:      71201
2300.94/2307.75	c INPROCESSING
2300.94/2307.75	c GARBAGE COLLECT
2300.94/2307.75	c #Conflicts:     337000 | #Constraints:      44518
2300.94/2307.75	c #Conflicts:     338000 | #Constraints:      45518
2300.94/2307.75	c #Conflicts:     339000 | #Constraints:      46518
2300.94/2307.75	c #Conflicts:     340000 | #Constraints:      47518
2300.94/2307.75	c #Conflicts:     341000 | #Constraints:      48518
2300.94/2307.75	c #Conflicts:     342000 | #Constraints:      49518
2300.94/2307.75	c #Conflicts:     343000 | #Constraints:      50518
2300.94/2307.75	c #Conflicts:     344000 | #Constraints:      51518
2300.94/2307.75	c #Conflicts:     345000 | #Constraints:      52518
2300.94/2307.75	c #Conflicts:     346000 | #Constraints:      53518
2300.94/2307.75	c #Conflicts:     347000 | #Constraints:      54518
2300.94/2307.75	c #Conflicts:     348000 | #Constraints:      55518
2300.94/2307.75	c #Conflicts:     349000 | #Constraints:      56518
2300.94/2307.75	c INPROCESSING
2300.94/2307.75	c GARBAGE COLLECT
2300.94/2307.75	c #Conflicts:     350000 | #Constraints:      36777
2300.94/2307.75	c bounds 2752 >= 1795 @ 2289.43
2303.03/2309.81	c #Conflicts:     351000 | #Constraints:      37778
2303.03/2309.81	c bounds 2751 >= 1795 @ 2291.47
2304.02/2310.86	c bounds 2750 >= 1795 @ 2292.5
2304.72/2311.59	c bounds 2749 >= 1795 @ 2293.23
2304.82/2311.61	c bounds 2749 >= 1796 @ 2293.24
2304.82/2311.63	c bounds 2749 >= 1797 @ 2293.26
2304.92/2311.70	c #Conflicts:     352000 | #Constraints:      38836
2304.92/2311.70	c bounds 2749 >= 1798 @ 2293.33
2305.12/2311.91	c bounds 2749 >= 1799 @ 2293.53
2305.52/2312.34	c #Conflicts:     353000 | #Constraints:      39917
2305.52/2312.34	c bounds 2749 >= 1800 @ 2293.96
2305.92/2312.74	c bounds 2748 >= 1800 @ 2294.35
2307.02/2313.83	c #Conflicts:     354000 | #Constraints:      40981
2307.02/2313.83	c #Conflicts:     355000 | #Constraints:      41981
2307.02/2313.83	c bounds 2748 >= 1801 @ 2295.42
2307.41/2314.23	c bounds 2747 >= 1801 @ 2295.8
2308.01/2314.80	c bounds 2746 >= 1801 @ 2296.36
2316.89/2323.73	c #Conflicts:     356000 | #Constraints:      43022
2316.89/2323.73	c #Conflicts:     357000 | #Constraints:      44022
2316.89/2323.73	c bounds 2745 >= 1801 @ 2305.11
2316.89/2323.76	c bounds 2745 >= 1802 @ 2305.13
2316.99/2323.82	c bounds 2745 >= 1803 @ 2305.18
2317.09/2323.96	c #Conflicts:     358000 | #Constraints:      45086
2317.09/2323.96	c bounds 2745 >= 1804 @ 2305.32
2317.49/2324.31	c bounds 2745 >= 1805 @ 2305.66
2319.07/2325.96	c #Conflicts:     359000 | #Constraints:      46191
2319.07/2325.96	c #Conflicts:     360000 | #Constraints:      47191
2319.07/2325.96	c bounds 2745 >= 1806 @ 2307.29
3058.44/3067.31	c #Conflicts:     361000 | #Constraints:      48230
3058.44/3067.31	c #Conflicts:     362000 | #Constraints:      49230
3058.44/3067.31	c #Conflicts:     363000 | #Constraints:      50230
3058.44/3067.31	c INPROCESSING
3058.44/3067.31	c GARBAGE COLLECT
3058.44/3067.31	c #Conflicts:     364000 | #Constraints:      33689
3058.44/3067.31	c #Conflicts:     365000 | #Constraints:      34689
3058.44/3067.31	c bounds 2745 >= 1807 @ 3044.67
3059.25/3068.17	c #Conflicts:     366000 | #Constraints:      35755
3059.25/3068.17	c #Conflicts:     367000 | #Constraints:      36755
3059.25/3068.17	c #Conflicts:     368000 | #Constraints:      37755
3059.25/3068.17	c #Conflicts:     369000 | #Constraints:      38755
3059.25/3068.17	c bounds 2745 >= 1808 @ 3045.48
3060.14/3069.08	c #Conflicts:     370000 | #Constraints:      39845
3060.14/3069.08	c #Conflicts:     371000 | #Constraints:      40845
3060.14/3069.08	c bounds 2745 >= 1809 @ 3046.36
3063.32/3072.22	c #Conflicts:     372000 | #Constraints:      41890
3063.32/3072.22	c #Conflicts:     373000 | #Constraints:      42890
3063.32/3072.22	c #Conflicts:     374000 | #Constraints:      43890
3063.32/3072.22	c #Conflicts:     375000 | #Constraints:      44890
3063.32/3072.22	c #Conflicts:     376000 | #Constraints:      45890
3063.32/3072.22	c #Conflicts:     377000 | #Constraints:      46890
3063.32/3072.22	c #Conflicts:     378000 | #Constraints:      47890
3063.32/3072.22	c INPROCESSING
3063.32/3072.22	c GARBAGE COLLECT
3063.32/3072.22	c #Conflicts:     379000 | #Constraints:      33001
3063.32/3072.22	c bounds 2744 >= 1809 @ 3049.45
3065.22/3074.16	c bounds 2743 >= 1809 @ 3051.36
3065.22/3074.20	c #Conflicts:     380000 | #Constraints:      34003
3065.22/3074.20	c bounds 2743 >= 1810 @ 3051.39
3065.32/3074.21	c bounds 2743 >= 1811 @ 3051.41
3065.32/3074.24	c bounds 2743 >= 1812 @ 3051.43
3065.42/3074.32	c bounds 2743 >= 1813 @ 3051.5
3065.52/3074.45	c #Conflicts:     381000 | #Constraints:      35147
3065.52/3074.45	c bounds 2743 >= 1814 @ 3051.62
3065.92/3074.80	c #Conflicts:     382000 | #Constraints:      36192
3065.92/3074.80	c #Conflicts:     383000 | #Constraints:      37192
3065.92/3074.80	c bounds 2743 >= 1815 @ 3051.95
3067.22/3076.10	c #Conflicts:     384000 | #Constraints:      38240
3067.22/3076.10	c #Conflicts:     385000 | #Constraints:      39240
3067.22/3076.10	c #Conflicts:     386000 | #Constraints:      40240
3067.22/3076.10	c #Conflicts:     387000 | #Constraints:      41240
3067.22/3076.10	c bounds 2743 >= 1816 @ 3053.2
3072.20/3081.17	c #Conflicts:     388000 | #Constraints:      42294
3072.20/3081.17	c #Conflicts:     389000 | #Constraints:      43294
3072.20/3081.17	c bounds 2742 >= 1816 @ 3058.17
3072.20/3081.19	c bounds 2742 >= 1817 @ 3058.18
3072.30/3081.20	c bounds 2742 >= 1818 @ 3058.2
3072.30/3081.25	c bounds 2742 >= 1819 @ 3058.24
3072.40/3081.39	c #Conflicts:     390000 | #Constraints:      44403
3072.40/3081.39	c bounds 2742 >= 1820 @ 3058.37
3072.90/3081.89	c #Conflicts:     391000 | #Constraints:      45457
3072.90/3081.89	c #Conflicts:     392000 | #Constraints:      46457
3072.90/3081.89	c bounds 2742 >= 1821 @ 3058.85
3077.29/3086.21	c #Conflicts:     393000 | #Constraints:      47505
3077.29/3086.21	c #Conflicts:     394000 | #Constraints:      48505
3077.29/3086.21	c #Conflicts:     395000 | #Constraints:      49505
3077.29/3086.21	c #Conflicts:     396000 | #Constraints:      50505
3077.29/3086.21	c #Conflicts:     397000 | #Constraints:      51505
3077.29/3086.21	c #Conflicts:     398000 | #Constraints:      52505
3077.29/3086.21	c #Conflicts:     399000 | #Constraints:      53505
3077.29/3086.21	c #Conflicts:     400000 | #Constraints:      54505
3077.29/3086.21	c #Conflicts:     401000 | #Constraints:      55505
3077.29/3086.21	c bounds 2742 >= 1822 @ 3063.09
3081.28/3090.29	c #Conflicts:     402000 | #Constraints:      56550
3081.28/3090.29	c bounds 2741 >= 1822 @ 3067.08
3083.26/3092.23	c #Conflicts:     403000 | #Constraints:      57551
3083.26/3092.23	c #Conflicts:     404000 | #Constraints:      58551
3083.26/3092.23	c #Conflicts:     405000 | #Constraints:      59551
3083.26/3092.23	c #Conflicts:     406000 | #Constraints:      60551
3083.26/3092.23	c #Conflicts:     407000 | #Constraints:      61551
3083.26/3092.23	c #Conflicts:     408000 | #Constraints:      62551
3083.26/3092.23	c bounds 2741 >= 1823 @ 3068.95
3083.67/3092.60	c bounds 2740 >= 1823 @ 3069.31
3094.13/3103.29	c #Conflicts:     409000 | #Constraints:      63639
3094.13/3103.29	c #Conflicts:     410000 | #Constraints:      64639
3094.13/3103.29	c #Conflicts:     411000 | #Constraints:      65639
3094.13/3103.29	c #Conflicts:     412000 | #Constraints:      66639
3094.13/3103.29	c #Conflicts:     413000 | #Constraints:      67639
3094.13/3103.29	c #Conflicts:     414000 | #Constraints:      68639
3094.13/3103.29	c #Conflicts:     415000 | #Constraints:      69639
3094.13/3103.29	c #Conflicts:     416000 | #Constraints:      70639
3094.13/3103.29	c #Conflicts:     417000 | #Constraints:      71639
3094.13/3103.29	c #Conflicts:     418000 | #Constraints:      72639
3094.13/3103.29	c #Conflicts:     419000 | #Constraints:      73639
3094.13/3103.29	c #Conflicts:     420000 | #Constraints:      74639
3094.13/3103.29	c #Conflicts:     421000 | #Constraints:      75639
3094.13/3103.29	c #Conflicts:     422000 | #Constraints:      76639
3094.13/3103.29	c #Conflicts:     423000 | #Constraints:      77639
3094.13/3103.29	c #Conflicts:     424000 | #Constraints:      78639
3094.13/3103.29	c INPROCESSING
3094.13/3103.29	c GARBAGE COLLECT
3094.13/3103.29	c bounds 2739 >= 1823 @ 3079.74
3094.44/3103.51	c #Conflicts:     425000 | #Constraints:      48126
3094.44/3103.51	c bounds 2738 >= 1823 @ 3079.95
3094.83/3103.95	c bounds 2737 >= 1823 @ 3080.39
3095.22/3104.38	c bounds 2736 >= 1823 @ 3080.81
3096.03/3105.14	c bounds 2735 >= 1823 @ 3081.56
3106.10/3115.23	c #Conflicts:     426000 | #Constraints:      49130
3106.10/3115.23	c #Conflicts:     427000 | #Constraints:      50130
3106.10/3115.23	c #Conflicts:     428000 | #Constraints:      51130
3106.10/3115.23	c bounds 2734 >= 1823 @ 3091.53
3114.17/3123.34	c #Conflicts:     429000 | #Constraints:      52131
3114.17/3123.34	c #Conflicts:     430000 | #Constraints:      53131
3114.17/3123.34	c #Conflicts:     431000 | #Constraints:      54131
3114.17/3123.34	c #Conflicts:     432000 | #Constraints:      55131
3114.17/3123.34	c #Conflicts:     433000 | #Constraints:      56131
3114.17/3123.34	c #Conflicts:     434000 | #Constraints:      57131
3114.17/3123.34	c #Conflicts:     435000 | #Constraints:      58131
3114.17/3123.34	c #Conflicts:     436000 | #Constraints:      59131
3114.17/3123.34	c #Conflicts:     437000 | #Constraints:      60131
3114.17/3123.34	c #Conflicts:     438000 | #Constraints:      61131
3114.17/3123.34	c #Conflicts:     439000 | #Constraints:      62131
3114.17/3123.34	c #Conflicts:     440000 | #Constraints:      63131
3114.17/3123.34	c INPROCESSING
3114.17/3123.34	c GARBAGE COLLECT
3114.17/3123.34	c bounds 2733 >= 1823 @ 3099.57
3141.43/3150.87	c #Conflicts:     441000 | #Constraints:      40628
3141.43/3150.87	c #Conflicts:     442000 | #Constraints:      41628
3141.43/3150.87	c #Conflicts:     443000 | #Constraints:      42628
3141.43/3150.87	c #Conflicts:     444000 | #Constraints:      43628
3141.43/3150.87	c #Conflicts:     445000 | #Constraints:      44628
3141.43/3150.87	c bounds 2732 >= 1823 @ 3126.58

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Linux 5.14.0-503.14.1.el
solver pid=49019, runsolver pid=49016
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.15 3.82 3.08 5/273 49021
/proc/meminfo: memFree=126230916/131250000 swapFree=33009904/33010684
[pid=49019] ppid=49016 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/49019/stat : 49019 (run-opt-ls-log.) S 49016 49019 47807 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48554502 4292608 768 18446744073709551615 93931842445312 93931843339845 140727338461888 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93931843578896 93931843626640 93931873853440 140727338465563 140727338465761 140727338465761 140727338471363 0
/proc/49019/statm: 1048 768 704 219 0 110 0
[pid=49021] ppid=49019 vsize=25576 memory=16632 CPUtime=0.08 cores=1,3
/proc/49021/stat : 49021 (pbsuma) R 49019 49019 47807 0 -1 4194304 3982 0 0 0 8 0 0 0 20 0 1 0 48554503 26189824 4158 18446744073709551615 4210688 4653049 140737141741840 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 23703552 140737141749987 140737141750322 140737141750322 140737141755887 0
/proc/49021/statm: 6394 4158 1056 108 0 3802 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 29768 KiB
Current children cumulated memory: 19704 KiB

[startup+0.205577 s]*
/proc/loadavg: 4.15 3.82 3.08 5/273 49021
/proc/meminfo: memFree=126230916/131250000 swapFree=33009904/33010684
[pid=49019] ppid=49016 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/49019/stat : 49019 (run-opt-ls-log.) S 49016 49019 47807 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48554502 4292608 768 18446744073709551615 93931842445312 93931843339845 140727338461888 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93931843578896 93931843626640 93931873853440 140727338465563 140727338465761 140727338465761 140727338471363 0
/proc/49019/statm: 1048 768 704 219 0 110 0
[pid=49021] ppid=49019 vsize=25576 memory=16632 CPUtime=0.18 cores=1,3
/proc/49021/stat : 49021 (pbsuma) R 49019 49019 47807 0 -1 4194304 3982 0 0 0 18 0 0 0 20 0 1 0 48554503 26189824 4158 18446744073709551615 4210688 4653049 140737141741840 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 23703552 140737141749987 140737141750322 140737141750322 140737141755887 0
/proc/49021/statm: 6394 4158 1056 108 0 3802 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 29768 KiB
Current children cumulated memory: 19704 KiB

[startup+0.304851 s]*
/proc/loadavg: 4.15 3.82 3.08 5/273 49021
/proc/meminfo: memFree=126230916/131250000 swapFree=33009904/33010684
[pid=49019] ppid=49016 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/49019/stat : 49019 (run-opt-ls-log.) S 49016 49019 47807 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48554502 4292608 768 18446744073709551615 93931842445312 93931843339845 140727338461888 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93931843578896 93931843626640 93931873853440 140727338465563 140727338465761 140727338465761 140727338471363 0
/proc/49019/statm: 1048 768 704 219 0 110 0
[pid=49021] ppid=49019 vsize=31832 memory=21704 CPUtime=0.29 cores=1,3
/proc/49021/stat : 49021 (pbsuma) R 49019 49019 47807 0 -1 4194304 6406 0 0 0 28 1 0 0 20 0 1 0 48554503 32595968 5426 18446744073709551615 4210688 4653049 140737141741840 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 23703552 140737141749987 140737141750322 140737141750322 140737141755887 0
/proc/49021/statm: 7958 5426 1056 108 0 5366 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 36024 KiB
Current children cumulated memory: 24776 KiB

[startup+0.700129 s]
/proc/loadavg: 4.15 3.82 3.08 5/273 49021
/proc/meminfo: memFree=126230916/131250000 swapFree=33009904/33010684
[pid=49019] ppid=49016 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/49019/stat : 49019 (run-opt-ls-log.) S 49016 49019 47807 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48554502 4292608 768 18446744073709551615 93931842445312 93931843339845 140727338461888 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93931843578896 93931843626640 93931873853440 140727338465563 140727338465761 140727338465761 140727338471363 0
/proc/49019/statm: 1048 768 704 219 0 110 0
[pid=49021] ppid=49019 vsize=31832 memory=23240 CPUtime=0.67 cores=1,3
/proc/49021/stat : 49021 (pbsuma) R 49019 49019 47807 0 -1 4194304 6778 0 0 0 66 1 0 0 20 0 1 0 48554503 32595968 5810 18446744073709551615 4210688 4653049 140737141741840 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 23703552 140737141749987 140737141750322 140737141750322 140737141755887 0
/proc/49021/statm: 7958 5810 1056 108 0 5366 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 36024 KiB
Current children cumulated memory: 26312 KiB

[startup+1.50013 s]
/proc/loadavg: 4.15 3.82 3.08 5/273 49021
/proc/meminfo: memFree=126230160/131250000 swapFree=33009904/33010684
[pid=49019] ppid=49016 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/49019/stat : 49019 (run-opt-ls-log.) S 49016 49019 47807 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48554502 4292608 768 18446744073709551615 93931842445312 93931843339845 140727338461888 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93931843578896 93931843626640 93931873853440 140727338465563 140727338465761 140727338465761 140727338471363 0
/proc/49019/statm: 1048 768 704 219 0 110 0
[pid=49021] ppid=49019 vsize=38960 memory=30280 CPUtime=1.47 cores=1,3
/proc/49021/stat : 49021 (pbsuma) R 49019 49019 47807 0 -1 4194304 8542 0 0 0 145 2 0 0 20 0 1 0 48554503 39895040 7570 18446744073709551615 4210688 4653049 140737141741840 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 23703552 140737141749987 140737141750322 140737141750322 140737141755887 0
/proc/49021/statm: 9740 7570 1056 108 0 7148 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 43152 KiB
Current children cumulated memory: 33352 KiB

[startup+3.10543 s]
/proc/loadavg: 4.14 3.83 3.09 5/273 49022
/proc/meminfo: memFree=126259124/131250000 swapFree=33009904/33010684
[pid=49019] ppid=49016 vsize=4192 memory=3072 CPUtime=1.75 cores=1,3
/proc/49019/stat : 49019 (run-opt-ls-log.) S 49016 49019 47807 0 -1 4194304 240 9145 0 0 0 0 167 8 20 0 1 0 48554502 4292608 768 18446744073709551615 93931842445312 93931843339845 140727338461888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93931843578896 93931843626640 93931873853440 140727338465563 140727338465761 140727338465761 140727338471363 0
/proc/49019/statm: 1048 768 704 219 0 110 0
[pid=49022] ppid=49019 vsize=93840 memory=45364 CPUtime=1.23 cores=1,3
/proc/49022/stat : 49022 (roundingsat) R 49019 49019 47807 0 -1 4194304 9588 0 0 0 120 3 0 0 20 0 1 0 48554687 96092160 11341 18446744073709551615 4227072 8923433 140720657021280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26914816 140720657029366 140720657029672 140720657029672 140720657035242 0
/proc/49022/statm: 23460 11341 2432 1147 0 10887 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 98032 KiB
Current children cumulated memory: 48436 KiB

[startup+6.30013 s]
/proc/loadavg: 4.14 3.83 3.09 5/273 49022
/proc/meminfo: memFree=126187668/131250000 swapFree=33009904/33010684
[pid=49019] ppid=49016 vsize=4192 memory=3072 CPUtime=1.75 cores=1,3
/proc/49019/stat : 49019 (run-opt-ls-log.) S 49016 49019 47807 0 -1 4194304 240 9145 0 0 0 0 167 8 20 0 1 0 48554502 4292608 768 18446744073709551615 93931842445312 93931843339845 140727338461888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93931843578896 93931843626640 93931873853440 140727338465563 140727338465761 140727338465761 140727338471363 0
/proc/49019/statm: 1048 768 704 219 0 110 0
[pid=49022] ppid=49019 vsize=164760 memory=118544 CPUtime=4.42 cores=1,3
/proc/49022/stat : 49022 (roundingsat) R 49019 49019 47807 0 -1 4194304 19202 0 0 0 398 44 0 0 20 0 1 0 48554687 168714240 29636 18446744073709551615 4227072 8923433 140720657021280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26914816 140720657029366 140720657029672 140720657029672 140720657035242 0
/proc/49022/statm: 41190 29636 2432 1147 0 28617 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 168952 KiB
Current children cumulated memory: 121616 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 3.83 3.10 5/273 49022
/proc/meminfo: memFree=126044304/131250000 swapFree=33009904/33010684
[pid=49019] ppid=49016 vsize=4192 memory=3072 CPUtime=1.75 cores=1,3
/proc/49019/stat : 49019 (run-opt-ls-log.) S 49016 49019 47807 0 -1 4194304 240 9145 0 0 0 0 167 8 20 0 1 0 48554502 4292608 768 18446744073709551615 93931842445312 93931843339845 140727338461888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93931843578896 93931843626640 93931873853440 140727338465563 140727338465761 140727338465761 140727338471363 0
/proc/49019/statm: 1048 768 704 219 0 110 0
[pid=49022] ppid=49019 vsize=313684 memory=223632 CPUtime=10.81 cores=1,3
/proc/49022/stat : 49022 (roundingsat) R 49019 49019 47807 0 -1 4194304 36816 0 0 0 971 110 0 0 20 0 1 0 48554687 321212416 55908 18446744073709551615 4227072 8923433 140720657021280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26914816 140720657029366 140720657029672 140720657029672 140720657035242 0
/proc/49022/statm: 78421 55908 2432 1147 0 65848 0
Current children cumulated CPU time: 12.56 s
Current children cumulated vsize: 317876 KiB
Current children cumulated memory: 226704 KiB

[startup+25.5002 s]
/proc/loadavg: 4.17 3.85 3.12 5/273 49022
/proc/meminfo: memFree=126040040/131250000 swapFree=33009904/33010684
[pid=49019] ppid=49016 vsize=4192 memory=3072 CPUtime=1.75 cores=1,3
/proc/49019/stat : 49019 (run-opt-ls-log.) S 49016 49019 47807 0 -1 4194304 240 9145 0 0 0 0 167 8 20 0 1 0 48554502 4292608 768 18446744073709551615 93931842445312 93931843339845 140727338461888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93931843578896 93931843626640 93931873853440 140727338465563 140727338465761 140727338465761 140727338471363 0
/proc/49019/statm: 1048 768 704 219 0 110 0
[pid=49022] ppid=49019 vsize=314596 memory=225296 CPUtime=23.57 cores=1,3
/proc/49022/stat : 49022 (roundingsat) R 49019 49019 47807 0 -1 4194304 37203 0 0 0 2230 127 0 0 20 0 1 0 48554687 322146304 56324 18446744073709551615 4227072 8923433 140720657021280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26914816 140720657029366 140720657029672 140720657029672 140720657035242 0
/proc/49022/statm: 78649 56324 2432 1147 0 66076 0
Current children cumulated CPU time: 25.32 s
Current children cumulated vsize: 318788 KiB
Current children cumulated memory: 228368 KiB

[startup+51.1056 s]
/proc/loadavg: 4.11 3.87 3.14 5/273 49023
/proc/meminfo: memFree=125963984/131250000 swapFree=33009904/33010684
[pid=49019] ppid=49016 vsize=4192 memory=3072 CPUtime=1.75 cores=1,3
/proc/49019/stat : 49019 (run-opt-ls-log.) S 49016 49019 47807 0 -1 4194304 240 9145 0 0 0 0 167 8 20 0 1 0 48554502 4292608 768 18446744073709551615 93931842445312 93931843339845 140727338461888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93931843578896 93931843626640 93931873853440 140727338465563 140727338465761 140727338465761 140727338471363 0
/proc/49019/statm: 1048 768 704 219 0 110 0
[pid=49022] ppid=49019 vsize=320232 memory=231444 CPUtime=49.12 cores=1,3
/proc/49022/stat : 49022 (roundingsat) R 49019 49019 47807 0 -1 4194304 37746 0 0 0 4773 139 0 0 20 0 1 0 48554687 327917568 57861 18446744073709551615 4227072 8923433 140720657021280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26914816 140720657029366 140720657029672 140720657029672 140720657035242 0
/proc/49022/statm: 80058 57861 2432 1147 0 67485 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 324424 KiB
Current children cumulated memory: 234516 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 3.90 3.19 5/272 49026
/proc/meminfo: memFree=125599860/131250000 swapFree=33009904/33010684
[pid=49019] ppid=49016 vsize=4192 memory=3072 CPUtime=1.75 cores=1,3
/proc/49019/stat : 49019 (run-opt-ls-log.) S 49016 49019 47807 0 -1 4194304 240 9145 0 0 0 0 167 8 20 0 1 0 48554502 4292608 768 18446744073709551615 93931842445312 93931843339845 140727338461888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93931843578896 93931843626640 93931873853440 140727338465563 140727338465761 140727338465761 140727338471363 0
/proc/49019/statm: 1048 768 704 219 0 110 0
[pid=49022] ppid=49019 vsize=523940 memory=393168 CPUtime=100.18 cores=1,3
/proc/49022/stat : 49022 (roundingsat) R 49019 49019 47807 0 -1 4194304 76505 0 0 0 9825 193 0 0 20 0 1 0 48554687 536514560 98292 18446744073709551615 4227072 8923433 140720657021280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26914816 140720657029366 140720657029672 140720657029672 140720657035242 0
/proc/49022/statm: 130985 98292 2432 1147 0 118412 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 528132 KiB
Current children cumulated memory: 396240 KiB

[startup+162.3 s]
/proc/loadavg: 4.50 4.05 3.29 5/272 49029
/proc/meminfo: memFree=125492096/131250000 swapFree=33009904/33010684
[pid=49019] ppid=49016 vsize=4192 memory=3072 CPUtime=1.75 cores=1,3
/proc/49019/stat : 49019 (run-opt-ls-log.) S 49016 49019 47807 0 -1 4194304 240 9145 0 0 0 0 167 8 20 0 1 0 48554502 4292608 768 18446744073709551615 93931842445312 93931843339845 140727338461888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93931843578896 93931843626640 93931873853440 140727338465563 140727338465761 140727338465761 140727338471363 0
/proc/49019/statm: 1048 768 704 219 0 110 0
[pid=49022] ppid=49019 vsize=526644 memory=395984 CPUtime=160.04 cores=1,3
/proc/49022/stat : 49022 (roundingsat) R 49019 49019 47807 0 -1 4194304 77184 0 0 0 15797 207 0 0 20 0 1 0 48554687 539283456 98996 18446744073709551615 4227072 8923433 140720657021280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26914816 140720657029366 140720657029672 140720657029672 140720657035242 0
/proc/49022/statm: 131661 98996 2432 1147 0 119088 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 530836 KiB
Current children cumulated memory: 399056 KiB

[startup+222.3 s]
/proc/loadavg: 4.23 4.05 3.34 5/273 49032
/proc/meminfo: memFree=124932940/131250000 swapFree=33009904/33010684
[pid=49019] ppid=49016 vsize=4192 memory=3072 CPUtime=1.75 cores=1,3
/proc/49019/stat : 49019 (run-opt-ls-log.) S 49016 49019 47807 0 -1 4194304 240 9145 0 0 0 0 167 8 20 0 1 0 48554502 4292608 768 18446744073709551615 93931842445312 93931843339845 140727338461888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93931843578896 93931843626640 93931873853440 140727338465563 140727338465761 140727338465761 140727338471363 0
/proc/49019/statm: 1048 768 704 219 0 110 0
[pid=49022] ppid=49019 vsize=910736 memory=735300 CPUtime=219.89 cores=1,3
/proc/49022/stat : 49022 (roundingsat) R 49019 49019 47807 0 -1 4194304 143111 0 0 0 21717 272 0 0 20 0 1 0 48554687 932593664 183825 18446744073709551615 4227072 8923433 140720657021280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26914816 140720657029366 140720657029672 140720657029672 140720657035242 0
/proc/49022/statm: 227684 183825 2432 1147 0 215111 0

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

/proc/meminfo: memFree=120343288/131250000 swapFree=33009904/33010684
[pid=49019] ppid=49016 vsize=4192 memory=3072 CPUtime=1.75 cores=1,3
/proc/49019/stat : 49019 (run-opt-ls-log.) S 49016 49019 47807 0 -1 4194304 240 9145 0 0 0 0 167 8 20 0 1 0 48554502 4292608 768 18446744073709551615 93931842445312 93931843339845 140727338461888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93931843578896 93931843626640 93931873853440 140727338465563 140727338465761 140727338465761 140727338471363 0
/proc/49019/statm: 1048 768 704 219 0 110 0
[pid=49022] ppid=49019 vsize=2007172 memory=1785580 CPUtime=3270.8 cores=1,3
/proc/49022/stat : 49022 (roundingsat) R 49019 49019 47807 0 -1 4194304 313725 0 0 0 325729 1351 0 0 20 0 1 0 48554687 2055344128 446395 18446744073709551615 4227072 8923433 140720657021280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26914816 140720657029366 140720657029672 140720657029672 140720657035242 0
/proc/49022/statm: 501793 446395 2560 1147 0 489220 0
Current children cumulated CPU time: 3272.55 s
Current children cumulated vsize: 2011364 KiB
Current children cumulated memory: 1788652 KiB

[startup+3342.3 s]
/proc/loadavg: 4.21 4.11 4.06 5/276 49356
/proc/meminfo: memFree=119698708/131250000 swapFree=33009904/33010684
[pid=49019] ppid=49016 vsize=4192 memory=3072 CPUtime=1.75 cores=1,3
/proc/49019/stat : 49019 (run-opt-ls-log.) S 49016 49019 47807 0 -1 4194304 240 9145 0 0 0 0 167 8 20 0 1 0 48554502 4292608 768 18446744073709551615 93931842445312 93931843339845 140727338461888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93931843578896 93931843626640 93931873853440 140727338465563 140727338465761 140727338465761 140727338471363 0
/proc/49019/statm: 1048 768 704 219 0 110 0
[pid=49022] ppid=49019 vsize=2023248 memory=1796556 CPUtime=3330.62 cores=1,3
/proc/49022/stat : 49022 (roundingsat) R 49019 49019 47807 0 -1 4194304 314451 0 0 0 331707 1355 0 0 20 0 1 0 48554687 2071805952 449139 18446744073709551615 4227072 8923433 140720657021280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26914816 140720657029366 140720657029672 140720657029672 140720657035242 0
/proc/49022/statm: 505812 449139 2560 1147 0 493239 0
Current children cumulated CPU time: 3332.37 s
Current children cumulated vsize: 2027440 KiB
Current children cumulated memory: 1799628 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.06 5/276 49358
/proc/meminfo: memFree=119056120/131250000 swapFree=33009904/33010684
[pid=49019] ppid=49016 vsize=4192 memory=3072 CPUtime=1.75 cores=1,3
/proc/49019/stat : 49019 (run-opt-ls-log.) S 49016 49019 47807 0 -1 4194304 240 9145 0 0 0 0 167 8 20 0 1 0 48554502 4292608 768 18446744073709551615 93931842445312 93931843339845 140727338461888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93931843578896 93931843626640 93931873853440 140727338465563 140727338465761 140727338465761 140727338471363 0
/proc/49019/statm: 1048 768 704 219 0 110 0
[pid=49022] ppid=49019 vsize=2032912 memory=1811324 CPUtime=3390.45 cores=1,3
/proc/49022/stat : 49022 (roundingsat) R 49019 49019 47807 0 -1 4194304 315102 0 0 0 337686 1359 0 0 20 0 1 0 48554687 2081701888 452831 18446744073709551615 4227072 8923433 140720657021280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26914816 140720657029366 140720657029672 140720657029672 140720657035242 0
/proc/49022/statm: 508228 452831 2560 1147 0 495655 0
Current children cumulated CPU time: 3392.2 s
Current children cumulated vsize: 2037104 KiB
Current children cumulated memory: 1814396 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.06 5/274 49367
/proc/meminfo: memFree=118459052/131250000 swapFree=33009904/33010684
[pid=49019] ppid=49016 vsize=4192 memory=3072 CPUtime=1.75 cores=1,3
/proc/49019/stat : 49019 (run-opt-ls-log.) S 49016 49019 47807 0 -1 4194304 240 9145 0 0 0 0 167 8 20 0 1 0 48554502 4292608 768 18446744073709551615 93931842445312 93931843339845 140727338461888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93931843578896 93931843626640 93931873853440 140727338465563 140727338465761 140727338465761 140727338471363 0
/proc/49019/statm: 1048 768 704 219 0 110 0
[pid=49022] ppid=49019 vsize=2004768 memory=1772116 CPUtime=3450.27 cores=1,3
/proc/49022/stat : 49022 (roundingsat) R 49019 49019 47807 0 -1 4194304 315465 0 0 0 343658 1369 0 0 20 0 1 0 48554687 2052882432 443029 18446744073709551615 4227072 8923433 140720657021280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26914816 140720657029366 140720657029672 140720657029672 140720657035242 0
/proc/49022/statm: 501192 443029 2560 1147 0 488619 0
Current children cumulated CPU time: 3452.02 s
Current children cumulated vsize: 2008960 KiB
Current children cumulated memory: 1775188 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.06 5/274 49372
/proc/meminfo: memFree=117884112/131250000 swapFree=33009904/33010684
[pid=49019] ppid=49016 vsize=4192 memory=3072 CPUtime=1.75 cores=1,3
/proc/49019/stat : 49019 (run-opt-ls-log.) S 49016 49019 47807 0 -1 4194304 240 9145 0 0 0 0 167 8 20 0 1 0 48554502 4292608 768 18446744073709551615 93931842445312 93931843339845 140727338461888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93931843578896 93931843626640 93931873853440 140727338465563 140727338465761 140727338465761 140727338471363 0
/proc/49019/statm: 1048 768 704 219 0 110 0
[pid=49022] ppid=49019 vsize=2004768 memory=1772116 CPUtime=3510.09 cores=1,3
/proc/49022/stat : 49022 (roundingsat) R 49019 49019 47807 0 -1 4194304 315502 0 0 0 349621 1388 0 0 20 0 1 0 48554687 2052882432 443029 18446744073709551615 4227072 8923433 140720657021280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26914816 140720657029366 140720657029672 140720657029672 140720657035242 0
/proc/49022/statm: 501192 443029 2560 1147 0 488619 0
Current children cumulated CPU time: 3511.84 s
Current children cumulated vsize: 2008960 KiB
Current children cumulated memory: 1775188 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.06 5/274 49375
/proc/meminfo: memFree=117346208/131250000 swapFree=33009904/33010684
[pid=49019] ppid=49016 vsize=4192 memory=3072 CPUtime=1.75 cores=1,3
/proc/49019/stat : 49019 (run-opt-ls-log.) S 49016 49019 47807 0 -1 4194304 240 9145 0 0 0 0 167 8 20 0 1 0 48554502 4292608 768 18446744073709551615 93931842445312 93931843339845 140727338461888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93931843578896 93931843626640 93931873853440 140727338465563 140727338465761 140727338465761 140727338471363 0
/proc/49019/statm: 1048 768 704 219 0 110 0
[pid=49022] ppid=49019 vsize=2005916 memory=1773140 CPUtime=3569.92 cores=1,3
/proc/49022/stat : 49022 (roundingsat) R 49019 49019 47807 0 -1 4194304 315799 0 0 0 355587 1405 0 0 20 0 1 0 48554687 2054057984 443285 18446744073709551615 4227072 8923433 140720657021280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26914816 140720657029366 140720657029672 140720657029672 140720657035242 0
/proc/49022/statm: 501479 443285 2560 1147 0 488906 0
Current children cumulated CPU time: 3571.67 s
Current children cumulated vsize: 2010108 KiB
Current children cumulated memory: 1776212 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 4.11 4.10 4.06 5/274 49377
/proc/meminfo: memFree=117068960/131250000 swapFree=33009904/33010684
[pid=49019] ppid=49016 vsize=4192 memory=3072 CPUtime=1.75 cores=1,3
/proc/49019/stat : 49019 (run-opt-ls-log.) S 49016 49019 47807 0 -1 4194304 240 9145 0 0 0 0 167 8 20 0 1 0 48554502 4292608 768 18446744073709551615 93931842445312 93931843339845 140727338461888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93931843578896 93931843626640 93931873853440 140727338465563 140727338465761 140727338465761 140727338471363 0
/proc/49019/statm: 1048 768 704 219 0 110 0
[pid=49022] ppid=49019 vsize=2005916 memory=1773140 CPUtime=3598.33 cores=1,3
/proc/49022/stat : 49022 (roundingsat) R 49019 49019 47807 0 -1 4194304 315799 0 0 0 358418 1415 0 0 20 0 1 0 48554687 2054057984 443285 18446744073709551615 4227072 8923433 140720657021280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26914816 140720657029366 140720657029672 140720657029672 140720657035242 0
/proc/49022/statm: 501479 443285 2560 1147 0 488906 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2010108 KiB
Current children cumulated memory: 1776212 KiB

Sending SIGTERM to process tree (bottom up)

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

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

Sending SIGKILL to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3587.85 s, system=14.252 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3611.2 s]
/proc/loadavg: 4.11 4.10 4.06 5/273 49377
/proc/meminfo: memFree=117060896/131250000 swapFree=33009904/33010684
[pid=49022] ppid=49016 vsize=2005916 memory=1773140 CPUtime=3598.73 cores=1,3
/proc/49022/stat : 49022 (roundingsat) R 49016 49019 47807 0 -1 4194304 315799 0 0 0 358458 1415 0 0 20 0 1 0 48554687 2054057984 443285 18446744073709551615 4227072 8923433 140720657021280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26914816 140720657029366 140720657029672 140720657029672 140720657035242 0
/proc/49022/statm: 501479 443285 2560 1147 0 488906 0
Current cumulated CPU time of completed processes: 1.76076 s
Current children cumulated CPU time: 3598.73 s
Current children cumulated vsize: 2005916 KiB
Current children cumulated memory: 1773140 KiB

[startup+3612 s]*
/proc/loadavg: 4.11 4.10 4.06 5/273 49377
/proc/meminfo: memFree=117052832/131250000 swapFree=33009904/33010684
[pid=49022] ppid=49016 vsize=2005916 memory=1773140 CPUtime=3599.54 cores=1,3
/proc/49022/stat : 49022 (roundingsat) R 49016 49019 47807 0 -1 4194304 315799 0 0 0 358538 1416 0 0 20 0 1 0 48554687 2054057984 443285 18446744073709551615 4227072 8923433 140720657021280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26914816 140720657029366 140720657029672 140720657029672 140720657035242 0
/proc/49022/statm: 501479 443285 2560 1147 0 488906 0
Current cumulated CPU time of completed processes: 1.76076 s
Current children cumulated CPU time: 3599.54 s
Current children cumulated vsize: 2005916 KiB
Current children cumulated memory: 1773140 KiB

[startup+3612.4 s]
/proc/loadavg: 4.11 4.10 4.06 5/273 49377
/proc/meminfo: memFree=117052832/131250000 swapFree=33009904/33010684
[pid=49022] ppid=49016 vsize=2005916 memory=1773140 CPUtime=3599.93 cores=1,3
/proc/49022/stat : 49022 (roundingsat) R 49016 49019 47807 0 -1 4194304 315799 0 0 0 358577 1416 0 0 20 0 1 0 48554687 2054057984 443285 18446744073709551615 4227072 8923433 140720657021280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26914816 140720657029366 140720657029672 140720657029672 140720657035242 0
/proc/49022/statm: 501479 443285 2560 1147 0 488906 0
Current cumulated CPU time of completed processes: 1.76076 s
Current children cumulated CPU time: 3599.93 s
Current children cumulated vsize: 2005916 KiB
Current children cumulated memory: 1773140 KiB

[startup+3612.8 s]
/proc/loadavg: 4.11 4.10 4.06 5/273 49377
/proc/meminfo: memFree=117052832/131250000 swapFree=33009904/33010684
[pid=49022] ppid=49016 vsize=2005916 memory=1773140 CPUtime=3600.33 cores=1,3
/proc/49022/stat : 49022 (roundingsat) R 49016 49019 47807 0 -1 4194304 315799 0 0 0 358617 1416 0 0 20 0 1 0 48554687 2054057984 443285 18446744073709551615 4227072 8923433 140720657021280 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26914816 140720657029366 140720657029672 140720657029672 140720657035242 0
/proc/49022/statm: 501479 443285 2560 1147 0 488906 0
Current cumulated CPU time of completed processes: 1.76076 s
Current children cumulated CPU time: 3600.33 s
Current children cumulated vsize: 2005916 KiB
Current children cumulated memory: 1773140 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3612.81
CPU time (s): 3602.1
CPU user time (s): 3587.85
CPU system time (s): 14.252
CPU usage (%): 99.7038
Max. virtual memory (cumulated for all children) (KiB): 2050552
Max. memory (cumulated for all children) (KiB): 1816652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.85
system time used= 14.252
maximum resident set size= 1829068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 325184
page faults= 0
swaps= 0
block input operations= 8
block output operations= 5421648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2456
involuntary context switches= 2697


# summary of solver processes directly reported to runsolver:
#   pid: 49019,49022
#   total CPU time (s): 3602.1
#   total CPU user time (s): 3587.85
#   total CPU system time (s): 14.252

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.34654 second user time and 15.7841 second system time

The end

Begin job on nodeC033 at 2025-07-01 02:12:31
IDJOB=4487761
IDBENCH=147222
IDSOLVER=3356
FILE ID=nodeC033/4487761-1751328751
RUNJOBID= nodeC033-1751328114-47819
SLURM_JOB_ID= 9594373
Free space on /tmp= 432444 MiB

SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/sorensson/garden/normalized-g100x100.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4487761-1751328751/watcher-4487761-1751328751 -o /tmp/evaluation-result-4487761-1751328751/solver-4487761-1751328751 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751328114-47819 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4487761-1751328751.opb PROOFDIR/proof-4487761-1751328751

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

MD5SUM BENCH= 908a9c4c32d975b4e5850834449958a7
RANDOM SEED=1508943237

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        126244388 kB
MemAvailable:   129151808 kB
Buffers:            2128 kB
Cached:          3706260 kB
SwapCached:           68 kB
Active:           805948 kB
Inactive:        3529080 kB
Active(anon):     619948 kB
Inactive(anon):    24732 kB
Active(file):     186000 kB
Inactive(file):  3504348 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              8512 kB
Writeback:             0 kB
AnonPages:        628320 kB
Mapped:           118600 kB
Shmem:             18028 kB
KReclaimable:     112624 kB
Slab:             202284 kB
SReclaimable:     112624 kB
SUnreclaim:        89660 kB
KernelStack:        4432 kB
PageTables:         4440 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    1017252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150664 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:    524288 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432444 MiB
End job on nodeC033 at 2025-07-01 03:12:44