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-4531791-1752584620.opb'
0.00/0.02	c 	read 0.60MB  (8.58ms)
0.00/0.02	c	 [cnf: #variables 10000 #clauses 10001 #duplicates 0 #arr 59600]
0.00/0.02	c output proof to 'PROOFDIR/proof-4531791-1752584620'
0.00/0.02	c 
0.00/0.02	c make graph and approximate orbits
0.00/0.03	c	 [group: #orbits ~= 2550] (8.56ms)
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.17/0.28	c 	 (252.18ms)
0.17/0.28	c 
0.17/0.28	c detect symmetries on remainder
0.17/0.28	c 	[graph: #vertices 40001 #edges 159200]
0.17/0.28	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.17/0.30	c 	 [group: #symmetries 8.00*10^0 #generators 2] (25.60ms)
0.17/0.30	c 
0.17/0.30	c optimize generators (opt_passes=64, conjugate_limit=256)
0.17/0.30	c 	(0.03ms)
0.17/0.30	c 
0.17/0.30	c finalize break order and special generators
0.17/0.31	c 
0.17/0.31	c add generic predicates (break_depth=20)
0.17/0.31	c 	added predicates for 2 generators (0.16ms)
1.66/1.76	c 
1.66/1.76	c generation finished
1.66/1.76	c 	[sbp: #constraints 116 #add_vars 38]
1.66/1.76	c 
1.66/1.76	c write result to 'HOME/instance-4531791-1752584620.opb.pre'
1.66/1.77	c 	wrote 0.61MB (1.58ms)
1.66/1.77	c ------------------------------------------------------------------
1.66/1.77	c                1460.14ms 83.09% other
1.66/1.77	c                 252.18ms 14.35% detect_special
1.66/1.77	c                  25.60ms  1.46% detect_generic
1.66/1.77	c                   8.58ms  0.49% parse
1.66/1.77	c                   8.56ms  0.49% approx_orbits
1.66/1.77	c                   1.58ms  0.09% output
1.66/1.77	c                   0.57ms  0.03% finalize_order
1.66/1.77	c                   0.16ms  0.01% break_generic
1.66/1.77	c                   0.03ms  0.00% optimize_gens
1.66/1.77	c         ───────────────────────────────────────────────
1.66/1.77	c                1757.39ms   100% total
1.66/1.77	c ------------------------------------------------------------------
1.74/1.87	c RoundingSat 2
1.74/1.87	c branch pb25
1.74/1.87	c commit 0f876b3
1.76/1.95	c #variables 10038 #constraints 10116
1.76/1.95	c objective is ce32 
2.47/2.62	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
2.47/2.62	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
2.47/2.62	c bounds 2853 >= 0 @ 0.732893
2.98/3.11	c bounds 2852 >= 0 @ 1.2156
2.98/3.12	c bounds 2852 >= 1 @ 1.21972
2.98/3.12	c bounds 2852 >= 2 @ 1.22238
2.98/3.12	c bounds 2852 >= 3 @ 1.22504
2.98/3.12	c bounds 2852 >= 4 @ 1.22766
2.98/3.13	c bounds 2852 >= 5 @ 1.23024
2.98/3.13	c bounds 2852 >= 6 @ 1.23282
2.98/3.13	c bounds 2852 >= 7 @ 1.23541
2.98/3.13	c bounds 2852 >= 8 @ 1.23798
2.98/3.14	c bounds 2852 >= 9 @ 1.24055
2.98/3.14	c bounds 2852 >= 10 @ 1.24311
2.98/3.14	c bounds 2852 >= 11 @ 1.24567
2.98/3.14	c bounds 2852 >= 12 @ 1.24823
2.98/3.15	c bounds 2852 >= 13 @ 1.25078
2.98/3.15	c bounds 2852 >= 14 @ 1.25335
2.98/3.15	c bounds 2852 >= 15 @ 1.25591
2.98/3.16	c bounds 2852 >= 16 @ 1.25847
2.98/3.16	c bounds 2852 >= 17 @ 1.26106
2.98/3.16	c bounds 2852 >= 18 @ 1.26362
2.98/3.16	c bounds 2852 >= 19 @ 1.26618
2.98/3.17	c bounds 2852 >= 20 @ 1.26874
2.98/3.17	c bounds 2852 >= 21 @ 1.27131
2.98/3.17	c bounds 2852 >= 22 @ 1.27388
2.98/3.17	c bounds 2852 >= 23 @ 1.27646
2.98/3.18	c bounds 2852 >= 24 @ 1.27902
2.98/3.18	c bounds 2852 >= 25 @ 1.28159
2.98/3.18	c bounds 2852 >= 26 @ 1.28415
2.98/3.18	c bounds 2852 >= 27 @ 1.28671
2.98/3.19	c bounds 2852 >= 28 @ 1.28966
2.98/3.19	c bounds 2852 >= 29 @ 1.2922
2.98/3.19	c bounds 2852 >= 30 @ 1.29474
2.98/3.19	c bounds 2852 >= 31 @ 1.29727
3.08/3.20	c bounds 2852 >= 32 @ 1.29981
3.08/3.20	c bounds 2852 >= 33 @ 1.30234
3.08/3.20	c bounds 2852 >= 34 @ 1.30487
3.08/3.20	c bounds 2852 >= 35 @ 1.30804
3.08/3.21	c bounds 2852 >= 36 @ 1.31069
3.08/3.21	c bounds 2852 >= 37 @ 1.31328
3.08/3.21	c bounds 2852 >= 38 @ 1.31587
3.08/3.22	c bounds 2852 >= 39 @ 1.31845
3.08/3.22	c bounds 2852 >= 40 @ 1.32103
3.08/3.22	c bounds 2852 >= 41 @ 1.32261
3.08/3.22	c bounds 2852 >= 42 @ 1.32519
3.08/3.23	c bounds 2852 >= 43 @ 1.32776
3.08/3.23	c bounds 2852 >= 44 @ 1.33034
3.08/3.23	c bounds 2852 >= 45 @ 1.33293
3.08/3.23	c bounds 2852 >= 46 @ 1.33567
3.08/3.24	c bounds 2852 >= 47 @ 1.3383
3.08/3.24	c bounds 2852 >= 48 @ 1.34088
3.08/3.24	c bounds 2852 >= 49 @ 1.34345
3.08/3.24	c bounds 2852 >= 50 @ 1.34601
3.08/3.25	c bounds 2852 >= 51 @ 1.34858
3.08/3.25	c bounds 2852 >= 52 @ 1.35113
3.08/3.25	c bounds 2852 >= 53 @ 1.35386
3.08/3.25	c bounds 2852 >= 54 @ 1.35543
3.08/3.26	c bounds 2852 >= 55 @ 1.35799
3.08/3.26	c bounds 2852 >= 56 @ 1.36072
3.08/3.26	c bounds 2852 >= 57 @ 1.36328
3.08/3.26	c bounds 2852 >= 58 @ 1.36585
3.08/3.27	c bounds 2852 >= 59 @ 1.36843
3.08/3.27	c bounds 2852 >= 60 @ 1.37099
3.08/3.27	c bounds 2852 >= 61 @ 1.37353
3.08/3.28	c bounds 2852 >= 62 @ 1.37608
3.08/3.28	c bounds 2852 >= 63 @ 1.37864
3.08/3.28	c bounds 2852 >= 64 @ 1.38119
3.08/3.28	c bounds 2852 >= 65 @ 1.38374
3.08/3.29	c bounds 2852 >= 66 @ 1.38628
3.08/3.29	c bounds 2852 >= 67 @ 1.38882
3.08/3.29	c bounds 2852 >= 68 @ 1.39147
3.08/3.29	c bounds 2852 >= 69 @ 1.39407
3.17/3.30	c bounds 2852 >= 70 @ 1.39665
3.17/3.30	c bounds 2852 >= 71 @ 1.39926
3.17/3.30	c bounds 2852 >= 72 @ 1.40186
3.17/3.30	c bounds 2852 >= 73 @ 1.40345
3.17/3.31	c bounds 2852 >= 74 @ 1.40605
3.17/3.31	c bounds 2852 >= 75 @ 1.40864
3.17/3.31	c bounds 2852 >= 76 @ 1.41123
3.17/3.31	c bounds 2852 >= 77 @ 1.41383
3.17/3.32	c bounds 2852 >= 78 @ 1.41641
3.17/3.32	c bounds 2852 >= 79 @ 1.41811
3.17/3.32	c bounds 2852 >= 80 @ 1.42088
3.17/3.32	c bounds 2852 >= 81 @ 1.42358
3.17/3.33	c bounds 2852 >= 82 @ 1.42624
3.17/3.33	c bounds 2852 >= 83 @ 1.42786
3.17/3.33	c bounds 2852 >= 84 @ 1.43045
3.17/3.34	c bounds 2852 >= 85 @ 1.43304
3.17/3.34	c bounds 2852 >= 86 @ 1.43564
3.17/3.34	c bounds 2852 >= 87 @ 1.43822
3.17/3.34	c bounds 2852 >= 88 @ 1.4408
3.17/3.35	c bounds 2852 >= 89 @ 1.44347
3.17/3.35	c bounds 2852 >= 90 @ 1.44607
3.17/3.35	c bounds 2852 >= 91 @ 1.44865
3.17/3.35	c bounds 2852 >= 92 @ 1.45123
3.17/3.36	c bounds 2852 >= 93 @ 1.4538
3.17/3.36	c bounds 2852 >= 94 @ 1.45638
3.17/3.36	c bounds 2852 >= 95 @ 1.45895
3.17/3.36	c bounds 2852 >= 96 @ 1.46153
3.17/3.37	c bounds 2852 >= 97 @ 1.4641
3.17/3.37	c bounds 2852 >= 98 @ 1.46668
3.17/3.37	c bounds 2852 >= 99 @ 1.46824
3.17/3.37	c bounds 2852 >= 100 @ 1.47
3.17/3.38	c bounds 2852 >= 101 @ 1.47257
3.17/3.38	c bounds 2852 >= 102 @ 1.47421
3.17/3.38	c bounds 2852 >= 103 @ 1.47685
3.17/3.38	c bounds 2852 >= 104 @ 1.47848
3.17/3.39	c bounds 2852 >= 105 @ 1.48109
3.17/3.39	c bounds 2852 >= 106 @ 1.48369
3.17/3.39	c bounds 2852 >= 107 @ 1.48631
3.17/3.40	c bounds 2852 >= 108 @ 1.48892
3.28/3.40	c bounds 2852 >= 109 @ 1.49153
3.28/3.40	c bounds 2852 >= 110 @ 1.49413
3.28/3.40	c bounds 2852 >= 111 @ 1.49673
3.28/3.41	c bounds 2852 >= 112 @ 1.49933
3.28/3.41	c bounds 2852 >= 113 @ 1.50192
3.28/3.41	c bounds 2852 >= 114 @ 1.50452
3.28/3.41	c bounds 2852 >= 115 @ 1.50612
3.28/3.42	c bounds 2852 >= 116 @ 1.50871
3.28/3.42	c bounds 2852 >= 117 @ 1.51129
3.28/3.42	c bounds 2852 >= 118 @ 1.51406
3.28/3.42	c bounds 2852 >= 119 @ 1.51665
3.28/3.43	c bounds 2852 >= 120 @ 1.51941
3.28/3.43	c bounds 2852 >= 121 @ 1.52199
3.28/3.43	c bounds 2852 >= 122 @ 1.52458
3.28/3.43	c bounds 2852 >= 123 @ 1.52716
3.28/3.44	c bounds 2852 >= 124 @ 1.52975
3.28/3.44	c bounds 2852 >= 125 @ 1.53234
3.28/3.44	c bounds 2852 >= 126 @ 1.53493
3.28/3.44	c bounds 2852 >= 127 @ 1.53751
3.28/3.45	c bounds 2852 >= 128 @ 1.53912
3.28/3.45	c bounds 2852 >= 129 @ 1.5417
3.28/3.45	c bounds 2852 >= 130 @ 1.54427
3.28/3.46	c bounds 2852 >= 131 @ 1.54685
3.28/3.46	c bounds 2852 >= 132 @ 1.54942
3.28/3.46	c bounds 2852 >= 133 @ 1.55199
3.28/3.46	c bounds 2852 >= 134 @ 1.55455
3.28/3.47	c bounds 2852 >= 135 @ 1.5572
3.28/3.47	c bounds 2852 >= 136 @ 1.55982
3.28/3.47	c bounds 2852 >= 137 @ 1.56243
3.28/3.47	c bounds 2852 >= 138 @ 1.56521
3.28/3.48	c bounds 2852 >= 139 @ 1.56782
3.28/3.48	c bounds 2852 >= 140 @ 1.57044
3.28/3.48	c bounds 2852 >= 141 @ 1.57107
3.28/3.48	c bounds 2852 >= 142 @ 1.57368
3.28/3.49	c bounds 2852 >= 143 @ 1.57629
3.28/3.49	c bounds 2852 >= 144 @ 1.57889
3.28/3.49	c bounds 2852 >= 145 @ 1.5815
3.28/3.49	c bounds 2852 >= 146 @ 1.5841
3.37/3.50	c bounds 2852 >= 147 @ 1.58672
3.37/3.50	c bounds 2852 >= 148 @ 1.58934
3.37/3.50	c bounds 2852 >= 149 @ 1.59094
3.37/3.51	c bounds 2852 >= 150 @ 1.5937
3.37/3.51	c bounds 2852 >= 151 @ 1.59647
3.37/3.51	c bounds 2852 >= 152 @ 1.59913
3.37/3.51	c bounds 2852 >= 153 @ 1.60176
3.37/3.52	c bounds 2852 >= 154 @ 1.60438
3.37/3.52	c bounds 2852 >= 155 @ 1.60701
3.37/3.52	c bounds 2852 >= 156 @ 1.6096
3.37/3.52	c bounds 2852 >= 157 @ 1.61223
3.37/3.53	c bounds 2852 >= 158 @ 1.61484
3.37/3.53	c bounds 2852 >= 159 @ 1.61645
3.37/3.53	c bounds 2852 >= 160 @ 1.61905
3.37/3.53	c bounds 2852 >= 161 @ 1.62164
3.37/3.54	c bounds 2852 >= 162 @ 1.62424
3.37/3.54	c bounds 2852 >= 163 @ 1.62584
3.37/3.54	c bounds 2852 >= 164 @ 1.62846
3.37/3.54	c bounds 2852 >= 165 @ 1.63104
3.37/3.55	c bounds 2852 >= 166 @ 1.63377
3.37/3.55	c bounds 2852 >= 167 @ 1.63636
3.37/3.55	c bounds 2852 >= 168 @ 1.63795
3.37/3.56	c bounds 2852 >= 169 @ 1.64063
3.37/3.56	c bounds 2852 >= 170 @ 1.64326
3.37/3.56	c bounds 2852 >= 171 @ 1.64389
3.37/3.56	c bounds 2852 >= 172 @ 1.64651
3.37/3.57	c bounds 2852 >= 173 @ 1.64912
3.37/3.57	c bounds 2852 >= 174 @ 1.65173
3.37/3.57	c bounds 2852 >= 175 @ 1.65435
3.37/3.57	c bounds 2852 >= 176 @ 1.65697
3.37/3.58	c bounds 2852 >= 177 @ 1.65958
3.37/3.58	c bounds 2852 >= 178 @ 1.6622
3.37/3.58	c bounds 2852 >= 179 @ 1.664
3.37/3.58	c bounds 2852 >= 180 @ 1.66658
3.37/3.59	c bounds 2852 >= 181 @ 1.66919
3.37/3.59	c bounds 2852 >= 182 @ 1.67098
3.37/3.59	c bounds 2852 >= 183 @ 1.67358
3.37/3.59	c bounds 2852 >= 184 @ 1.67625
3.47/3.60	c bounds 2852 >= 185 @ 1.67885
3.47/3.60	c bounds 2852 >= 186 @ 1.68161
3.47/3.60	c bounds 2852 >= 187 @ 1.68422
3.47/3.61	c bounds 2852 >= 188 @ 1.68583
3.47/3.61	c bounds 2852 >= 189 @ 1.68841
3.47/3.61	c bounds 2852 >= 190 @ 1.69101
3.47/3.61	c bounds 2852 >= 191 @ 1.6936
3.47/3.62	c bounds 2852 >= 192 @ 1.6962
3.47/3.62	c bounds 2852 >= 193 @ 1.69879
3.47/3.62	c bounds 2852 >= 194 @ 1.70137
3.47/3.62	c bounds 2852 >= 195 @ 1.70396
3.47/3.63	c bounds 2852 >= 196 @ 1.70655
3.47/3.63	c bounds 2852 >= 197 @ 1.70914
3.47/3.63	c bounds 2852 >= 198 @ 1.71072
3.47/3.63	c bounds 2852 >= 199 @ 1.71331
3.47/3.64	c bounds 2852 >= 200 @ 1.71625
3.47/3.64	c bounds 2852 >= 201 @ 1.719
3.47/3.64	c bounds 2852 >= 202 @ 1.72165
3.47/3.65	c bounds 2852 >= 203 @ 1.72427
3.47/3.65	c bounds 2852 >= 204 @ 1.72688
3.47/3.65	c bounds 2852 >= 205 @ 1.7285
3.47/3.65	c bounds 2852 >= 206 @ 1.73112
3.47/3.66	c bounds 2852 >= 207 @ 1.73373
3.47/3.66	c bounds 2852 >= 208 @ 1.7365
3.47/3.66	c bounds 2852 >= 209 @ 1.73911
3.47/3.66	c bounds 2852 >= 210 @ 1.74171
3.47/3.67	c bounds 2852 >= 211 @ 1.74431
3.47/3.67	c bounds 2852 >= 212 @ 1.74691
3.47/3.67	c bounds 2852 >= 213 @ 1.74851
3.47/3.67	c bounds 2852 >= 214 @ 1.75112
3.47/3.68	c bounds 2852 >= 215 @ 1.75372
3.47/3.68	c bounds 2852 >= 216 @ 1.75631
3.47/3.68	c bounds 2852 >= 217 @ 1.75908
3.47/3.68	c bounds 2852 >= 218 @ 1.76169
3.47/3.69	c bounds 2852 >= 219 @ 1.76428
3.47/3.69	c bounds 2852 >= 220 @ 1.76688
3.47/3.69	c bounds 2852 >= 221 @ 1.76847
3.47/3.70	c bounds 2852 >= 222 @ 1.77116
3.57/3.70	c bounds 2852 >= 223 @ 1.77376
3.57/3.70	c bounds 2852 >= 224 @ 1.77634
3.57/3.70	c bounds 2852 >= 225 @ 1.77893
3.57/3.71	c bounds 2852 >= 226 @ 1.78051
3.57/3.71	c bounds 2852 >= 227 @ 1.78309
3.57/3.71	c bounds 2852 >= 228 @ 1.78567
3.57/3.71	c bounds 2852 >= 229 @ 1.78724
3.57/3.72	c bounds 2852 >= 230 @ 1.78981
3.57/3.72	c bounds 2852 >= 231 @ 1.7914
3.57/3.72	c bounds 2852 >= 232 @ 1.79397
3.57/3.72	c bounds 2852 >= 233 @ 1.79653
3.57/3.73	c bounds 2852 >= 234 @ 1.7991
3.57/3.73	c bounds 2852 >= 235 @ 1.80166
3.57/3.73	c bounds 2852 >= 236 @ 1.80431
3.57/3.73	c bounds 2852 >= 237 @ 1.80595
3.57/3.74	c bounds 2852 >= 238 @ 1.80856
3.57/3.74	c bounds 2852 >= 239 @ 1.81117
3.57/3.74	c bounds 2852 >= 240 @ 1.81379
3.57/3.74	c bounds 2852 >= 241 @ 1.8164
3.57/3.75	c bounds 2852 >= 242 @ 1.81803
3.57/3.75	c bounds 2852 >= 243 @ 1.82064
3.57/3.75	c bounds 2852 >= 244 @ 1.82325
3.57/3.75	c bounds 2852 >= 245 @ 1.82586
3.57/3.76	c bounds 2852 >= 246 @ 1.82847
3.57/3.76	c bounds 2852 >= 247 @ 1.83108
3.57/3.76	c bounds 2852 >= 248 @ 1.83369
3.57/3.77	c bounds 2852 >= 249 @ 1.83531
3.57/3.77	c bounds 2852 >= 250 @ 1.83791
3.57/3.77	c bounds 2852 >= 251 @ 1.84051
3.57/3.77	c bounds 2852 >= 252 @ 1.84313
3.57/3.78	c bounds 2852 >= 253 @ 1.84574
3.57/3.78	c bounds 2852 >= 254 @ 1.84735
3.57/3.78	c bounds 2852 >= 255 @ 1.84997
3.57/3.78	c bounds 2852 >= 256 @ 1.85258
3.57/3.79	c bounds 2852 >= 257 @ 1.85519
3.57/3.79	c bounds 2852 >= 258 @ 1.85781
3.57/3.79	c bounds 2852 >= 259 @ 1.85944
3.57/3.79	c bounds 2852 >= 260 @ 1.86203
3.67/3.80	c bounds 2852 >= 261 @ 1.86464
3.67/3.80	c bounds 2852 >= 262 @ 1.86625
3.67/3.80	c bounds 2852 >= 263 @ 1.86787
3.67/3.80	c bounds 2852 >= 264 @ 1.87055
3.67/3.81	c bounds 2852 >= 265 @ 1.87315
3.67/3.81	c bounds 2852 >= 266 @ 1.87575
3.67/3.81	c bounds 2852 >= 267 @ 1.87737
3.67/3.82	c bounds 2852 >= 268 @ 1.87994
3.67/3.82	c bounds 2852 >= 269 @ 1.88262
3.67/3.82	c bounds 2852 >= 270 @ 1.88432
3.67/3.82	c bounds 2852 >= 271 @ 1.88695
3.67/3.83	c bounds 2852 >= 272 @ 1.88959
3.67/3.83	c bounds 2852 >= 273 @ 1.89222
3.67/3.83	c bounds 2852 >= 274 @ 1.89486
3.67/3.83	c bounds 2852 >= 275 @ 1.89751
3.67/3.84	c bounds 2852 >= 276 @ 1.90017
3.67/3.84	c bounds 2852 >= 277 @ 1.9028
3.67/3.84	c bounds 2852 >= 278 @ 1.90545
3.67/3.84	c bounds 2852 >= 279 @ 1.90709
3.67/3.85	c bounds 2852 >= 280 @ 1.90987
3.67/3.85	c bounds 2852 >= 281 @ 1.91251
3.67/3.85	c bounds 2852 >= 282 @ 1.91413
3.67/3.86	c bounds 2852 >= 283 @ 1.91675
3.67/3.86	c bounds 2852 >= 284 @ 1.91939
3.67/3.86	c bounds 2852 >= 285 @ 1.92201
3.67/3.86	c bounds 2852 >= 286 @ 1.92464
3.67/3.87	c bounds 2852 >= 287 @ 1.92727
3.67/3.87	c bounds 2852 >= 288 @ 1.93004
3.67/3.87	c bounds 2852 >= 289 @ 1.93267
3.67/3.87	c bounds 2852 >= 290 @ 1.93529
3.67/3.88	c bounds 2852 >= 291 @ 1.93824
3.67/3.88	c bounds 2852 >= 292 @ 1.94086
3.67/3.88	c bounds 2852 >= 293 @ 1.94364
3.67/3.88	c bounds 2852 >= 294 @ 1.94625
3.67/3.89	c bounds 2852 >= 295 @ 1.94886
3.67/3.89	c bounds 2852 >= 296 @ 1.95147
3.67/3.89	c bounds 2852 >= 297 @ 1.95309
3.67/3.90	c bounds 2852 >= 298 @ 1.95569
3.77/3.90	c bounds 2852 >= 299 @ 1.95831
3.77/3.90	c bounds 2852 >= 300 @ 1.96091
3.77/3.90	c bounds 2852 >= 301 @ 1.96351
3.77/3.91	c bounds 2852 >= 302 @ 1.96515
3.77/3.91	c bounds 2852 >= 303 @ 1.96781
3.77/3.91	c bounds 2852 >= 304 @ 1.97047
3.77/3.91	c bounds 2852 >= 305 @ 1.97214
3.77/3.92	c bounds 2852 >= 306 @ 1.97378
3.77/3.92	c bounds 2852 >= 307 @ 1.97646
3.77/3.92	c bounds 2852 >= 308 @ 1.9791
3.77/3.92	c bounds 2852 >= 309 @ 1.98174
3.77/3.93	c bounds 2852 >= 310 @ 1.98477
3.77/3.93	c bounds 2852 >= 311 @ 1.98741
3.77/3.93	c bounds 2852 >= 312 @ 1.98907
3.77/3.94	c bounds 2852 >= 313 @ 1.99166
3.77/3.94	c bounds 2852 >= 314 @ 1.99429
3.77/3.94	c bounds 2852 >= 315 @ 1.99591
3.77/3.94	c bounds 2852 >= 316 @ 1.99851
3.77/3.95	c bounds 2852 >= 317 @ 2.00113
3.77/3.95	c bounds 2852 >= 318 @ 2.00375
3.77/3.95	c bounds 2852 >= 319 @ 2.00636
3.77/3.95	c bounds 2852 >= 320 @ 2.00814
3.77/3.96	c bounds 2852 >= 321 @ 2.00974
3.77/3.96	c bounds 2852 >= 322 @ 2.01236
3.77/3.96	c bounds 2852 >= 323 @ 2.01298
3.77/3.96	c bounds 2852 >= 324 @ 2.01558
3.77/3.97	c bounds 2852 >= 325 @ 2.01819
3.77/3.97	c bounds 2852 >= 326 @ 2.02078
3.77/3.97	c bounds 2852 >= 327 @ 2.02338
3.77/3.97	c bounds 2852 >= 328 @ 2.02505
3.77/3.98	c bounds 2852 >= 329 @ 2.02761
3.77/3.98	c bounds 2852 >= 330 @ 2.03022
3.77/3.98	c bounds 2852 >= 331 @ 2.03281
3.77/3.99	c bounds 2852 >= 332 @ 2.0354
3.77/3.99	c bounds 2852 >= 333 @ 2.03799
3.77/3.99	c bounds 2852 >= 334 @ 2.04057
3.77/3.99	c bounds 2852 >= 335 @ 2.04316
3.77/4.00	c bounds 2852 >= 336 @ 2.04484
3.77/4.00	c bounds 2852 >= 337 @ 2.04749
3.88/4.00	c bounds 2852 >= 338 @ 2.05015
3.88/4.00	c bounds 2852 >= 339 @ 2.05179
3.88/4.01	c bounds 2852 >= 340 @ 2.05443
3.88/4.01	c bounds 2852 >= 341 @ 2.05708
3.88/4.01	c bounds 2852 >= 342 @ 2.05873
3.88/4.01	c bounds 2852 >= 343 @ 2.06137
3.88/4.02	c bounds 2852 >= 344 @ 2.06399
3.88/4.02	c bounds 2852 >= 345 @ 2.06662
3.88/4.02	c bounds 2852 >= 346 @ 2.0694
3.88/4.02	c bounds 2852 >= 347 @ 2.07219
3.88/4.03	c bounds 2852 >= 348 @ 2.07483
3.88/4.03	c bounds 2852 >= 349 @ 2.07745
3.88/4.03	c bounds 2852 >= 350 @ 2.08009
3.88/4.04	c bounds 2852 >= 351 @ 2.08272
3.88/4.04	c bounds 2852 >= 352 @ 2.08536
3.88/4.04	c bounds 2852 >= 353 @ 2.08813
3.88/4.04	c bounds 2852 >= 354 @ 2.08979
3.88/4.05	c bounds 2852 >= 355 @ 2.09239
3.88/4.05	c bounds 2852 >= 356 @ 2.09403
3.88/4.05	c bounds 2852 >= 357 @ 2.09563
3.88/4.05	c bounds 2852 >= 358 @ 2.09823
3.88/4.06	c bounds 2852 >= 359 @ 2.10084
3.88/4.06	c bounds 2852 >= 360 @ 2.10346
3.88/4.06	c bounds 2852 >= 361 @ 2.10607
3.88/4.06	c bounds 2852 >= 362 @ 2.10767
3.88/4.07	c bounds 2852 >= 363 @ 2.11067
3.88/4.07	c bounds 2852 >= 364 @ 2.11328
3.88/4.07	c bounds 2852 >= 365 @ 2.11588
3.88/4.08	c bounds 2852 >= 366 @ 2.11749
3.88/4.08	c bounds 2852 >= 367 @ 2.1201
3.88/4.08	c bounds 2852 >= 368 @ 2.1227
3.88/4.08	c bounds 2852 >= 369 @ 2.1253
3.88/4.09	c bounds 2852 >= 370 @ 2.12799
3.88/4.09	c bounds 2852 >= 371 @ 2.12868
3.88/4.09	c bounds 2852 >= 372 @ 2.13129
3.88/4.09	c bounds 2852 >= 373 @ 2.13395
3.88/4.10	c bounds 2852 >= 374 @ 2.13574
3.88/4.10	c bounds 2852 >= 375 @ 2.13837
3.98/4.10	c bounds 2852 >= 376 @ 2.14101
3.98/4.10	c bounds 2852 >= 377 @ 2.14268
3.98/4.11	c bounds 2852 >= 378 @ 2.14529
3.98/4.11	c bounds 2852 >= 379 @ 2.14793
3.98/4.11	c bounds 2852 >= 380 @ 2.14957
3.98/4.12	c bounds 2852 >= 381 @ 2.15219
3.98/4.12	c bounds 2852 >= 382 @ 2.15482
3.98/4.12	c bounds 2852 >= 383 @ 2.15645
3.98/4.12	c bounds 2852 >= 384 @ 2.15908
3.98/4.13	c bounds 2852 >= 385 @ 2.16171
3.98/4.13	c bounds 2852 >= 386 @ 2.16333
3.98/4.13	c bounds 2852 >= 387 @ 2.16596
3.98/4.13	c bounds 2852 >= 388 @ 2.16762
3.98/4.14	c bounds 2852 >= 389 @ 2.17021
3.98/4.14	c bounds 2852 >= 390 @ 2.17284
3.98/4.14	c bounds 2852 >= 391 @ 2.17446
3.98/4.14	c bounds 2852 >= 392 @ 2.17708
3.98/4.15	c bounds 2852 >= 393 @ 2.1797
3.98/4.15	c bounds 2852 >= 394 @ 2.18133
3.98/4.15	c bounds 2852 >= 395 @ 2.18394
3.98/4.15	c bounds 2852 >= 396 @ 2.18558
3.98/4.16	c bounds 2852 >= 397 @ 2.18815
3.98/4.16	c bounds 2852 >= 398 @ 2.19076
3.98/4.16	c bounds 2852 >= 399 @ 2.19337
3.98/4.17	c bounds 2852 >= 400 @ 2.19597
3.98/4.17	c bounds 2852 >= 401 @ 2.19857
3.98/4.17	c bounds 2852 >= 402 @ 2.20115
3.98/4.17	c bounds 2852 >= 403 @ 2.20384
3.98/4.18	c bounds 2852 >= 404 @ 2.20554
3.98/4.18	c bounds 2852 >= 405 @ 2.20816
3.98/4.18	c bounds 2852 >= 406 @ 2.21081
3.98/4.18	c bounds 2852 >= 407 @ 2.21249
3.98/4.19	c bounds 2852 >= 408 @ 2.21512
3.98/4.19	c bounds 2852 >= 409 @ 2.2168
4.07/4.24	c bounds 2851 >= 409 @ 2.25643
4.07/4.24	c bounds 2851 >= 410 @ 2.25932
4.07/4.25	c bounds 2851 >= 411 @ 2.26198
4.07/4.25	c bounds 2851 >= 412 @ 2.26464
4.07/4.25	c bounds 2851 >= 413 @ 2.26633
4.07/4.26	c bounds 2851 >= 414 @ 2.26895
4.07/4.26	c bounds 2851 >= 415 @ 2.2716
4.07/4.26	c bounds 2851 >= 416 @ 2.27325
4.07/4.26	c bounds 2851 >= 417 @ 2.27589
4.07/4.27	c bounds 2851 >= 418 @ 2.27853
4.07/4.27	c bounds 2851 >= 419 @ 2.28117
4.07/4.27	c bounds 2851 >= 420 @ 2.28381
4.07/4.27	c bounds 2851 >= 421 @ 2.28645
4.07/4.28	c bounds 2851 >= 422 @ 2.28809
4.07/4.28	c bounds 2851 >= 423 @ 2.29073
4.07/4.28	c bounds 2851 >= 424 @ 2.29353
4.07/4.28	c bounds 2851 >= 425 @ 2.29517
4.07/4.29	c bounds 2851 >= 426 @ 2.29782
4.07/4.29	c bounds 2851 >= 427 @ 2.30047
4.07/4.29	c bounds 2851 >= 428 @ 2.3031
4.07/4.30	c bounds 2851 >= 429 @ 2.30574
4.17/4.30	c bounds 2851 >= 430 @ 2.30837
4.17/4.30	c bounds 2851 >= 431 @ 2.31002
4.17/4.30	c bounds 2851 >= 432 @ 2.31265
4.17/4.31	c bounds 2851 >= 433 @ 2.31529
4.17/4.31	c bounds 2851 >= 434 @ 2.31791
4.17/4.31	c bounds 2851 >= 435 @ 2.32053
4.17/4.31	c bounds 2851 >= 436 @ 2.3212
4.17/4.32	c bounds 2851 >= 437 @ 2.32387
4.17/4.32	c bounds 2851 >= 438 @ 2.32655
4.17/4.32	c bounds 2851 >= 439 @ 2.32725
4.17/4.32	c bounds 2851 >= 440 @ 2.3289
4.17/4.33	c bounds 2851 >= 441 @ 2.33157
4.17/4.33	c bounds 2851 >= 442 @ 2.33329
4.17/4.33	c bounds 2851 >= 443 @ 2.33493
4.17/4.34	c bounds 2851 >= 444 @ 2.3376
4.17/4.34	c bounds 2851 >= 445 @ 2.34027
4.17/4.34	c bounds 2851 >= 446 @ 2.34133
4.17/4.34	c bounds 2851 >= 447 @ 2.34395
4.17/4.35	c bounds 2851 >= 448 @ 2.34659
4.17/4.35	c bounds 2851 >= 449 @ 2.34924
4.17/4.35	c bounds 2851 >= 450 @ 2.3509
4.17/4.35	c bounds 2851 >= 451 @ 2.35353
4.17/4.36	c bounds 2851 >= 452 @ 2.35618
4.17/4.36	c bounds 2851 >= 453 @ 2.35782
4.17/4.36	c bounds 2851 >= 454 @ 2.36046
4.17/4.36	c bounds 2851 >= 455 @ 2.36214
4.17/4.37	c bounds 2851 >= 456 @ 2.36474
4.17/4.37	c bounds 2851 >= 457 @ 2.36738
4.17/4.37	c bounds 2851 >= 458 @ 2.36901
4.17/4.38	c bounds 2851 >= 459 @ 2.37164
4.17/4.38	c bounds 2851 >= 460 @ 2.3733
4.17/4.38	c bounds 2851 >= 461 @ 2.37591
4.17/4.38	c bounds 2851 >= 462 @ 2.37854
4.17/4.39	c bounds 2851 >= 463 @ 2.38116
4.17/4.39	c bounds 2851 >= 464 @ 2.38278
4.17/4.39	c bounds 2851 >= 465 @ 2.38442
4.17/4.39	c bounds 2851 >= 466 @ 2.38608
4.27/4.40	c bounds 2851 >= 467 @ 2.38865
4.27/4.40	c bounds 2851 >= 468 @ 2.39129
4.27/4.40	c bounds 2851 >= 469 @ 2.39292
4.27/4.40	c bounds 2851 >= 470 @ 2.39562
4.27/4.41	c bounds 2851 >= 471 @ 2.39731
4.27/4.41	c bounds 2851 >= 472 @ 2.39912
4.27/4.41	c bounds 2851 >= 473 @ 2.40079
4.27/4.42	c bounds 2851 >= 474 @ 2.40348
4.27/4.42	c bounds 2851 >= 475 @ 2.40616
4.27/4.42	c bounds 2851 >= 476 @ 2.40881
4.27/4.42	c bounds 2851 >= 477 @ 2.41145
4.27/4.43	c bounds 2851 >= 478 @ 2.41411
4.27/4.43	c bounds 2851 >= 479 @ 2.41577
4.27/4.43	c bounds 2851 >= 480 @ 2.41844
4.27/4.43	c bounds 2851 >= 481 @ 2.42109
4.27/4.44	c bounds 2851 >= 482 @ 2.42275
4.27/4.44	c bounds 2851 >= 483 @ 2.4254
4.27/4.44	c bounds 2851 >= 484 @ 2.42806
4.27/4.44	c bounds 2851 >= 485 @ 2.42971
4.27/4.45	c bounds 2851 >= 486 @ 2.43251
4.27/4.45	c bounds 2851 >= 487 @ 2.43517
4.27/4.45	c bounds 2851 >= 488 @ 2.43586
4.27/4.46	c bounds 2851 >= 489 @ 2.43847
4.27/4.46	c bounds 2851 >= 490 @ 2.44111
4.27/4.46	c bounds 2851 >= 491 @ 2.44275
4.27/4.46	c bounds 2851 >= 492 @ 2.44539
4.27/4.47	c bounds 2851 >= 493 @ 2.44802
4.27/4.47	c bounds 2851 >= 494 @ 2.45065
4.27/4.47	c bounds 2851 >= 495 @ 2.45328
4.27/4.47	c bounds 2851 >= 496 @ 2.45495
4.27/4.48	c bounds 2851 >= 497 @ 2.45654
4.27/4.48	c bounds 2851 >= 498 @ 2.45956
4.27/4.48	c bounds 2851 >= 499 @ 2.46219
4.27/4.48	c bounds 2851 >= 500 @ 2.46386
4.27/4.49	c bounds 2851 >= 501 @ 2.46644
4.27/4.49	c bounds 2851 >= 502 @ 2.46907
4.27/4.49	c bounds 2851 >= 503 @ 2.4707
4.27/4.50	c bounds 2851 >= 504 @ 2.47352
4.37/4.50	c bounds 2851 >= 505 @ 2.47621
4.37/4.50	c bounds 2851 >= 506 @ 2.47791
4.37/4.50	c bounds 2851 >= 507 @ 2.48055
4.37/4.51	c bounds 2851 >= 508 @ 2.48322
4.37/4.51	c bounds 2851 >= 509 @ 2.48493
4.37/4.51	c bounds 2851 >= 510 @ 2.48757
4.37/4.51	c bounds 2851 >= 511 @ 2.49023
4.37/4.52	c bounds 2851 >= 512 @ 2.4929
4.37/4.52	c bounds 2851 >= 513 @ 2.49457
4.37/4.52	c bounds 2851 >= 514 @ 2.49725
4.37/4.52	c bounds 2851 >= 515 @ 2.49994
4.37/4.53	c bounds 2851 >= 516 @ 2.50165
4.37/4.53	c bounds 2851 >= 517 @ 2.50433
4.37/4.53	c bounds 2851 >= 518 @ 2.50701
4.37/4.54	c bounds 2851 >= 519 @ 2.50867
4.37/4.54	c bounds 2851 >= 520 @ 2.51134
4.37/4.54	c bounds 2851 >= 521 @ 2.51401
4.37/4.54	c bounds 2851 >= 522 @ 2.51672
4.37/4.55	c bounds 2851 >= 523 @ 2.51941
4.37/4.55	c bounds 2851 >= 524 @ 2.52223
4.37/4.55	c bounds 2851 >= 525 @ 2.52393
4.37/4.55	c bounds 2851 >= 526 @ 2.52555
4.37/4.56	c bounds 2851 >= 527 @ 2.52819
4.37/4.56	c bounds 2851 >= 528 @ 2.53083
4.37/4.56	c bounds 2851 >= 529 @ 2.53248
4.37/4.57	c bounds 2851 >= 530 @ 2.53512
4.37/4.57	c bounds 2851 >= 531 @ 2.53679
4.37/4.57	c bounds 2851 >= 532 @ 2.5384
4.37/4.57	c bounds 2851 >= 533 @ 2.54102
4.37/4.58	c bounds 2851 >= 534 @ 2.54366
4.37/4.58	c bounds 2851 >= 535 @ 2.5463
4.37/4.58	c bounds 2851 >= 536 @ 2.54897
4.37/4.58	c bounds 2851 >= 537 @ 2.55078
4.37/4.59	c bounds 2851 >= 538 @ 2.55249
4.37/4.59	c bounds 2851 >= 539 @ 2.55529
4.37/4.59	c bounds 2851 >= 540 @ 2.55699
4.37/4.59	c bounds 2851 >= 541 @ 2.5587
4.47/4.60	c bounds 2851 >= 542 @ 2.56032
4.47/4.60	c bounds 2851 >= 543 @ 2.56299
4.47/4.60	c bounds 2851 >= 544 @ 2.56567
4.47/4.61	c bounds 2851 >= 545 @ 2.56734
4.47/4.61	c bounds 2851 >= 546 @ 2.57001
4.47/4.61	c bounds 2851 >= 547 @ 2.57269
4.47/4.61	c bounds 2851 >= 548 @ 2.57437
4.47/4.62	c bounds 2851 >= 549 @ 2.57704
4.47/4.62	c bounds 2851 >= 550 @ 2.5801
4.47/4.62	c bounds 2851 >= 551 @ 2.58277
4.47/4.62	c bounds 2851 >= 552 @ 2.58444
4.47/4.63	c bounds 2851 >= 553 @ 2.58711
4.47/4.63	c bounds 2851 >= 554 @ 2.58986
4.47/4.63	c bounds 2851 >= 555 @ 2.59252
4.47/4.64	c bounds 2851 >= 556 @ 2.59418
4.47/4.64	c bounds 2851 >= 557 @ 2.59683
4.47/4.64	c bounds 2851 >= 558 @ 2.59854
4.47/4.64	c bounds 2851 >= 559 @ 2.60015
4.47/4.65	c bounds 2851 >= 560 @ 2.60281
4.47/4.65	c bounds 2851 >= 561 @ 2.6045
4.47/4.65	c bounds 2851 >= 562 @ 2.60711
4.47/4.65	c bounds 2851 >= 563 @ 2.60976
4.47/4.66	c bounds 2851 >= 564 @ 2.61146
4.47/4.66	c bounds 2851 >= 565 @ 2.61405
4.47/4.66	c bounds 2851 >= 566 @ 2.6167
4.47/4.66	c bounds 2851 >= 567 @ 2.61935
4.47/4.67	c bounds 2851 >= 568 @ 2.622
4.47/4.67	c bounds 2851 >= 569 @ 2.62479
4.47/4.67	c bounds 2851 >= 570 @ 2.62559
4.47/4.68	c bounds 2851 >= 571 @ 2.62729
4.47/4.68	c bounds 2851 >= 572 @ 2.62996
4.47/4.68	c bounds 2851 >= 573 @ 2.63265
4.47/4.68	c bounds 2851 >= 574 @ 2.63439
4.47/4.69	c bounds 2851 >= 575 @ 2.63604
4.47/4.69	c bounds 2851 >= 576 @ 2.63872
4.47/4.69	c bounds 2851 >= 577 @ 2.64046
4.47/4.69	c bounds 2851 >= 578 @ 2.64212
4.57/4.70	c bounds 2851 >= 579 @ 2.64479
4.57/4.70	c bounds 2851 >= 580 @ 2.64649
4.57/4.70	c bounds 2851 >= 581 @ 2.64816
4.57/4.71	c bounds 2851 >= 582 @ 2.65083
4.57/4.71	c bounds 2851 >= 583 @ 2.65351
4.57/4.71	c bounds 2851 >= 584 @ 2.65618
4.57/4.71	c bounds 2851 >= 585 @ 2.65884
4.57/4.72	c bounds 2851 >= 586 @ 2.66166
4.57/4.72	c bounds 2851 >= 587 @ 2.66239
4.57/4.72	c bounds 2851 >= 588 @ 2.66501
4.57/4.72	c bounds 2851 >= 589 @ 2.66768
4.57/4.73	c bounds 2851 >= 590 @ 2.67035
4.57/4.73	c bounds 2851 >= 591 @ 2.672
4.57/4.73	c bounds 2851 >= 592 @ 2.67466
4.57/4.73	c bounds 2851 >= 593 @ 2.67635
4.57/4.74	c bounds 2851 >= 594 @ 2.67896
4.57/4.74	c bounds 2851 >= 595 @ 2.68161
4.57/4.74	c bounds 2851 >= 596 @ 2.6833
4.57/4.75	c bounds 2851 >= 597 @ 2.68591
4.57/4.75	c bounds 2851 >= 598 @ 2.68855
4.57/4.75	c bounds 2851 >= 599 @ 2.69024
4.57/4.75	c bounds 2851 >= 600 @ 2.69283
4.57/4.76	c bounds 2851 >= 601 @ 2.69559
4.57/4.76	c bounds 2851 >= 602 @ 2.69862
4.57/4.76	c bounds 2851 >= 603 @ 2.70127
4.57/4.76	c bounds 2851 >= 604 @ 2.70299
4.57/4.77	c bounds 2851 >= 605 @ 2.70567
4.57/4.77	c bounds 2851 >= 606 @ 2.70836
4.57/4.77	c bounds 2851 >= 607 @ 2.71005
4.57/4.78	c bounds 2851 >= 608 @ 2.71273
4.57/4.78	c bounds 2851 >= 609 @ 2.71541
4.57/4.78	c bounds 2851 >= 610 @ 2.71809
4.57/4.78	c bounds 2851 >= 611 @ 2.72077
4.57/4.79	c bounds 2851 >= 612 @ 2.72345
4.57/4.79	c bounds 2851 >= 613 @ 2.72517
4.57/4.79	c bounds 2851 >= 614 @ 2.72681
4.57/4.79	c bounds 2851 >= 615 @ 2.72947
4.67/4.80	c bounds 2851 >= 616 @ 2.73119
4.67/4.80	c bounds 2851 >= 617 @ 2.73282
4.67/4.80	c bounds 2851 >= 618 @ 2.73562
4.67/4.80	c bounds 2851 >= 619 @ 2.73828
4.67/4.81	c bounds 2851 >= 620 @ 2.73902
4.67/4.81	c bounds 2851 >= 621 @ 2.74163
4.67/4.81	c bounds 2851 >= 622 @ 2.74429
4.67/4.82	c bounds 2851 >= 623 @ 2.74594
4.67/4.82	c bounds 2851 >= 624 @ 2.74861
4.67/4.82	c bounds 2851 >= 625 @ 2.75127
4.67/4.82	c bounds 2851 >= 626 @ 2.75391
4.67/4.83	c bounds 2851 >= 627 @ 2.75656
4.67/4.83	c bounds 2851 >= 628 @ 2.75922
4.67/4.83	c bounds 2851 >= 629 @ 2.76088
4.67/4.83	c bounds 2851 >= 630 @ 2.76354
4.67/4.84	c bounds 2851 >= 631 @ 2.76619
4.67/4.84	c bounds 2851 >= 632 @ 2.76786
4.67/4.84	c bounds 2851 >= 633 @ 2.7705
4.67/4.84	c bounds 2851 >= 634 @ 2.77315
4.67/4.85	c bounds 2851 >= 635 @ 2.77581
4.67/4.85	c bounds 2851 >= 636 @ 2.77845
4.67/4.85	c bounds 2851 >= 637 @ 2.78015
4.67/4.86	c bounds 2851 >= 638 @ 2.7809
4.67/4.86	c bounds 2851 >= 639 @ 2.78354
4.67/4.86	c bounds 2851 >= 640 @ 2.7854
4.67/4.86	c bounds 2851 >= 641 @ 2.78713
4.67/4.87	c bounds 2851 >= 642 @ 2.78978
4.67/4.87	c bounds 2851 >= 643 @ 2.79247
4.67/4.87	c bounds 2851 >= 644 @ 2.79516
4.67/4.87	c bounds 2851 >= 645 @ 2.79687
4.67/4.88	c bounds 2851 >= 646 @ 2.79955
4.67/4.88	c bounds 2851 >= 647 @ 2.80266
4.67/4.88	c bounds 2851 >= 648 @ 2.80535
4.67/4.89	c bounds 2851 >= 649 @ 2.80709
4.67/4.89	c bounds 2851 >= 650 @ 2.80876
4.67/4.89	c bounds 2851 >= 651 @ 2.81144
4.67/4.89	c bounds 2851 >= 652 @ 2.81413
4.77/4.90	c bounds 2851 >= 653 @ 2.81581
4.77/4.90	c bounds 2851 >= 654 @ 2.81751
4.77/4.90	c bounds 2851 >= 655 @ 2.82058
4.77/4.90	c bounds 2851 >= 656 @ 2.82229
4.77/4.91	c bounds 2851 >= 657 @ 2.82399
4.77/4.91	c bounds 2851 >= 658 @ 2.82563
4.77/4.91	c bounds 2851 >= 659 @ 2.82831
4.77/4.92	c bounds 2851 >= 660 @ 2.83099
4.77/4.92	c bounds 2851 >= 661 @ 2.83268
4.77/4.92	c bounds 2851 >= 662 @ 2.83536
4.77/4.92	c bounds 2851 >= 663 @ 2.83708
4.77/4.93	c bounds 2851 >= 664 @ 2.83793
4.77/4.93	c bounds 2851 >= 665 @ 2.84053
4.77/4.93	c bounds 2851 >= 666 @ 2.8417
4.77/4.94	c bounds 2851 >= 667 @ 2.84448
4.77/4.94	c bounds 2851 >= 668 @ 2.84727
4.77/4.94	c bounds 2851 >= 669 @ 2.84994
4.77/4.94	c bounds 2851 >= 670 @ 2.85162
4.77/4.95	c bounds 2851 >= 671 @ 2.85436
4.77/4.95	c bounds 2851 >= 672 @ 2.85708
4.77/4.95	c bounds 2851 >= 673 @ 2.85886
4.77/4.95	c bounds 2851 >= 674 @ 2.86052
4.77/4.96	c bounds 2851 >= 675 @ 2.86324
4.77/4.96	c bounds 2851 >= 676 @ 2.86499
4.77/4.96	c bounds 2851 >= 677 @ 2.86765
4.77/4.97	c bounds 2851 >= 678 @ 2.87036
4.77/4.97	c bounds 2851 >= 679 @ 2.87306
4.77/4.97	c bounds 2851 >= 680 @ 2.87577
4.77/4.97	c bounds 2851 >= 681 @ 2.87747
4.77/4.98	c bounds 2851 >= 682 @ 2.88017
4.77/4.98	c bounds 2851 >= 683 @ 2.88287
4.77/4.98	c bounds 2851 >= 684 @ 2.88457
4.77/4.98	c bounds 2851 >= 685 @ 2.88725
4.77/4.99	c bounds 2851 >= 686 @ 2.88995
4.77/4.99	c bounds 2851 >= 687 @ 2.89165
4.77/4.99	c bounds 2851 >= 688 @ 2.89433
4.77/4.99	c bounds 2851 >= 689 @ 2.89703
4.77/5.00	c bounds 2851 >= 690 @ 2.89878
4.77/5.00	c bounds 2851 >= 691 @ 2.90142
4.87/5.00	c bounds 2851 >= 692 @ 2.90405
4.87/5.06	c bounds 2850 >= 692 @ 2.95201
4.87/5.06	c bounds 2850 >= 693 @ 2.95495
4.87/5.06	c bounds 2850 >= 694 @ 2.95764
4.87/5.07	c bounds 2850 >= 695 @ 2.95935
4.87/5.07	c bounds 2850 >= 696 @ 2.96204
4.87/5.07	c bounds 2850 >= 697 @ 2.96472
4.87/5.07	c bounds 2850 >= 698 @ 2.96547
4.87/5.08	c bounds 2850 >= 699 @ 2.96711
4.87/5.08	c bounds 2850 >= 700 @ 2.96994
4.87/5.08	c bounds 2850 >= 701 @ 2.97284
4.87/5.08	c bounds 2850 >= 702 @ 2.97458
4.87/5.09	c bounds 2850 >= 703 @ 2.97625
4.87/5.09	c bounds 2850 >= 704 @ 2.97892
4.87/5.09	c bounds 2850 >= 705 @ 2.98168
4.87/5.10	c bounds 2850 >= 706 @ 2.98346
4.87/5.10	c bounds 2850 >= 707 @ 2.98615
4.98/5.10	c bounds 2850 >= 708 @ 2.98889
4.98/5.10	c bounds 2850 >= 709 @ 2.99162
4.98/5.11	c bounds 2850 >= 710 @ 2.99342
4.98/5.11	c bounds 2850 >= 711 @ 2.9951
4.98/5.11	c bounds 2850 >= 712 @ 2.99783
4.98/5.11	c bounds 2850 >= 713 @ 3.00057
4.98/5.12	c bounds 2850 >= 714 @ 3.00228
4.98/5.12	c bounds 2850 >= 715 @ 3.00401
4.98/5.12	c bounds 2850 >= 716 @ 3.00672
4.98/5.13	c bounds 2850 >= 717 @ 3.00849
4.98/5.13	c bounds 2850 >= 718 @ 3.01117
4.98/5.13	c bounds 2850 >= 719 @ 3.01388
4.98/5.13	c bounds 2850 >= 720 @ 3.01658
4.98/5.14	c bounds 2850 >= 721 @ 3.01929
4.98/5.14	c bounds 2850 >= 722 @ 3.02199
4.98/5.14	c bounds 2850 >= 723 @ 3.02469
4.98/5.14	c bounds 2850 >= 724 @ 3.02646
4.98/5.15	c bounds 2850 >= 725 @ 3.02814
4.98/5.15	c bounds 2850 >= 726 @ 3.03085
4.98/5.15	c bounds 2850 >= 727 @ 3.03354
4.98/5.16	c bounds 2850 >= 728 @ 3.0353
4.98/5.16	c bounds 2850 >= 729 @ 3.03695
4.98/5.16	c bounds 2850 >= 730 @ 3.03965
4.98/5.16	c bounds 2850 >= 731 @ 3.04139
4.98/5.17	c bounds 2850 >= 732 @ 3.04305
4.98/5.17	c bounds 2850 >= 733 @ 3.04573
4.98/5.17	c bounds 2850 >= 734 @ 3.04841
4.98/5.17	c bounds 2850 >= 735 @ 3.0511
4.98/5.18	c bounds 2850 >= 736 @ 3.05379
4.98/5.18	c bounds 2850 >= 737 @ 3.0555
4.98/5.18	c bounds 2850 >= 738 @ 3.05729
4.98/5.19	c bounds 2850 >= 739 @ 3.059
4.98/5.19	c bounds 2850 >= 740 @ 3.0621
4.98/5.19	c bounds 2850 >= 741 @ 3.06295
4.98/5.19	c bounds 2850 >= 742 @ 3.06555
5.06/5.20	c bounds 2850 >= 743 @ 3.06731
5.06/5.20	c bounds 2850 >= 744 @ 3.06899
5.06/5.20	c bounds 2850 >= 745 @ 3.07168
5.06/5.20	c bounds 2850 >= 746 @ 3.07453
5.06/5.21	c bounds 2850 >= 747 @ 3.07629
5.06/5.21	c bounds 2850 >= 748 @ 3.07796
5.06/5.21	c bounds 2850 >= 749 @ 3.08063
5.06/5.22	c bounds 2850 >= 750 @ 3.08333
5.06/5.22	c bounds 2850 >= 751 @ 3.08604
5.06/5.22	c bounds 2850 >= 752 @ 3.08776
5.06/5.22	c bounds 2850 >= 753 @ 3.09046
5.06/5.23	c bounds 2850 >= 754 @ 3.0922
5.06/5.23	c bounds 2850 >= 755 @ 3.09385
5.06/5.23	c bounds 2850 >= 756 @ 3.09657
5.06/5.23	c bounds 2850 >= 757 @ 3.09832
5.06/5.24	c bounds 2850 >= 758 @ 3.09905
5.06/5.24	c bounds 2850 >= 759 @ 3.10169
5.06/5.24	c bounds 2850 >= 760 @ 3.10441
5.06/5.25	c bounds 2850 >= 761 @ 3.10616
5.06/5.25	c bounds 2850 >= 762 @ 3.10683
5.06/5.25	c bounds 2850 >= 763 @ 3.1095
5.06/5.25	c bounds 2850 >= 764 @ 3.11123
5.06/5.26	c bounds 2850 >= 765 @ 3.11288
5.06/5.26	c bounds 2850 >= 766 @ 3.11559
5.06/5.26	c bounds 2850 >= 767 @ 3.11828
5.06/5.26	c bounds 2850 >= 768 @ 3.11911
5.06/5.27	c bounds 2850 >= 769 @ 3.12074
5.06/5.27	c bounds 2850 >= 770 @ 3.12343
5.06/5.27	c bounds 2850 >= 771 @ 3.1261
5.06/5.28	c bounds 2850 >= 772 @ 3.12787
5.06/5.28	c bounds 2850 >= 773 @ 3.12962
5.06/5.28	c bounds 2850 >= 774 @ 3.13234
5.06/5.28	c bounds 2850 >= 775 @ 3.13413
5.06/5.29	c bounds 2850 >= 776 @ 3.1358
5.06/5.29	c bounds 2850 >= 777 @ 3.13851
5.06/5.29	c bounds 2850 >= 778 @ 3.14124
5.06/5.29	c bounds 2850 >= 779 @ 3.14398
5.17/5.30	c bounds 2850 >= 780 @ 3.1457
5.17/5.30	c bounds 2850 >= 781 @ 3.14843
5.17/5.30	c bounds 2850 >= 782 @ 3.1502
5.17/5.31	c bounds 2850 >= 783 @ 3.15288
5.17/5.31	c bounds 2850 >= 784 @ 3.15459
5.17/5.31	c bounds 2850 >= 785 @ 3.15731
5.17/5.31	c bounds 2850 >= 786 @ 3.16002
5.17/5.32	c bounds 2850 >= 787 @ 3.16173
5.17/5.32	c bounds 2850 >= 788 @ 3.16443
5.17/5.32	c bounds 2850 >= 789 @ 3.16715
5.17/5.32	c bounds 2850 >= 790 @ 3.16886
5.17/5.33	c bounds 2850 >= 791 @ 3.17155
5.17/5.33	c bounds 2850 >= 792 @ 3.17465
5.17/5.33	c bounds 2850 >= 793 @ 3.17736
5.17/5.34	c bounds 2850 >= 794 @ 3.17816
5.17/5.34	c bounds 2850 >= 795 @ 3.18094
5.17/5.34	c bounds 2850 >= 796 @ 3.18265
5.17/5.34	c bounds 2850 >= 797 @ 3.18534
5.17/5.35	c bounds 2850 >= 798 @ 3.18805
5.17/5.35	c bounds 2850 >= 799 @ 3.18975
5.17/5.35	c bounds 2850 >= 800 @ 3.19244
5.17/5.35	c bounds 2850 >= 801 @ 3.19514
5.17/5.36	c bounds 2850 >= 802 @ 3.1969
5.17/5.36	c bounds 2850 >= 803 @ 3.19854
5.17/5.36	c bounds 2850 >= 804 @ 3.20123
5.17/5.37	c bounds 2850 >= 805 @ 3.20315
5.17/5.37	c bounds 2850 >= 806 @ 3.20585
5.17/5.37	c bounds 2850 >= 807 @ 3.2076
5.17/5.37	c bounds 2850 >= 808 @ 3.20935
5.17/5.38	c bounds 2850 >= 809 @ 3.21209
5.17/5.38	c bounds 2850 >= 810 @ 3.21481
5.17/5.38	c bounds 2850 >= 811 @ 3.21655
5.17/5.39	c bounds 2850 >= 812 @ 3.21926
5.17/5.39	c bounds 2850 >= 813 @ 3.22209
5.17/5.39	c bounds 2850 >= 814 @ 3.22387
5.17/5.39	c bounds 2850 >= 815 @ 3.22557
5.26/5.40	c bounds 2850 >= 816 @ 3.22825
5.26/5.40	c bounds 2850 >= 817 @ 3.23098
5.26/5.40	c bounds 2850 >= 818 @ 3.23381
5.26/5.40	c bounds 2850 >= 819 @ 3.23536
5.26/5.41	c bounds 2850 >= 820 @ 3.23635
5.26/5.41	c bounds 2850 >= 821 @ 3.23911
5.26/5.41	c bounds 2850 >= 822 @ 3.24087
5.26/5.42	c bounds 2850 >= 823 @ 3.24254
5.26/5.42	c bounds 2850 >= 824 @ 3.24524
5.26/5.42	c bounds 2850 >= 825 @ 3.24795
5.26/5.42	c bounds 2850 >= 826 @ 3.25066
5.26/5.43	c bounds 2850 >= 827 @ 3.25238
5.26/5.43	c bounds 2850 >= 828 @ 3.25508
5.26/5.43	c bounds 2850 >= 829 @ 3.25683
5.26/5.43	c bounds 2850 >= 830 @ 3.25948
5.26/5.44	c bounds 2850 >= 831 @ 3.26217
5.26/5.44	c bounds 2850 >= 832 @ 3.26392
5.26/5.44	c bounds 2850 >= 833 @ 3.26558
5.26/5.45	c bounds 2850 >= 834 @ 3.26729
5.26/5.45	c bounds 2850 >= 835 @ 3.26998
5.26/5.45	c bounds 2850 >= 836 @ 3.27174
5.26/5.45	c bounds 2850 >= 837 @ 3.2734
5.26/5.46	c bounds 2850 >= 838 @ 3.27607
5.26/5.46	c bounds 2850 >= 839 @ 3.27791
5.26/5.46	c bounds 2850 >= 840 @ 3.27969
5.26/5.46	c bounds 2850 >= 841 @ 3.28138
5.26/5.47	c bounds 2850 >= 842 @ 3.28411
5.26/5.47	c bounds 2850 >= 843 @ 3.28686
5.26/5.47	c bounds 2850 >= 844 @ 3.28866
5.26/5.48	c bounds 2850 >= 845 @ 3.2898
5.26/5.48	c bounds 2850 >= 846 @ 3.29149
5.26/5.48	c bounds 2850 >= 847 @ 3.29322
5.26/5.48	c bounds 2850 >= 848 @ 3.29607
5.26/5.49	c bounds 2850 >= 849 @ 3.29892
5.26/5.49	c bounds 2850 >= 850 @ 3.3007
5.26/5.49	c bounds 2850 >= 851 @ 3.30238
5.26/5.50	c bounds 2850 >= 852 @ 3.30508
5.36/5.50	c bounds 2850 >= 853 @ 3.30781
5.36/5.50	c bounds 2850 >= 854 @ 3.31054
5.36/5.50	c bounds 2850 >= 855 @ 3.31228
5.36/5.51	c bounds 2850 >= 856 @ 3.31498
5.36/5.51	c bounds 2850 >= 857 @ 3.31676
5.36/5.51	c bounds 2850 >= 858 @ 3.31943
5.36/5.51	c bounds 2850 >= 859 @ 3.32126
5.36/5.52	c bounds 2850 >= 860 @ 3.32397
5.36/5.52	c bounds 2850 >= 861 @ 3.32668
5.36/5.52	c bounds 2850 >= 862 @ 3.32939
5.36/5.53	c bounds 2850 >= 863 @ 3.33211
5.36/5.53	c bounds 2850 >= 864 @ 3.33482
5.36/5.53	c bounds 2850 >= 865 @ 3.33659
5.36/5.53	c bounds 2850 >= 866 @ 3.33826
5.36/5.54	c bounds 2850 >= 867 @ 3.34094
5.36/5.54	c bounds 2850 >= 868 @ 3.34366
5.36/5.54	c bounds 2850 >= 869 @ 3.34637
5.36/5.54	c bounds 2850 >= 870 @ 3.34809
5.36/5.55	c bounds 2850 >= 871 @ 3.35078
5.36/5.55	c bounds 2850 >= 872 @ 3.35355
5.36/5.55	c bounds 2850 >= 873 @ 3.3553
5.36/5.56	c bounds 2850 >= 874 @ 3.35805
5.36/5.56	c bounds 2850 >= 875 @ 3.36079
5.36/5.56	c bounds 2850 >= 876 @ 3.36259
5.36/5.56	c bounds 2850 >= 877 @ 3.36429
5.36/5.57	c bounds 2850 >= 878 @ 3.36604
5.36/5.57	c bounds 2850 >= 879 @ 3.3689
5.36/5.57	c bounds 2850 >= 880 @ 3.37164
5.36/5.57	c bounds 2850 >= 881 @ 3.37439
5.36/5.58	c bounds 2850 >= 882 @ 3.37712
5.36/5.58	c bounds 2850 >= 883 @ 3.37988
5.36/5.58	c bounds 2850 >= 884 @ 3.38261
5.36/5.59	c bounds 2850 >= 885 @ 3.3844
5.36/5.59	c bounds 2850 >= 886 @ 3.38706
5.36/5.59	c bounds 2850 >= 887 @ 3.38979
5.36/5.59	c bounds 2850 >= 888 @ 3.39252
5.47/5.60	c bounds 2850 >= 889 @ 3.39425
5.47/5.60	c bounds 2850 >= 890 @ 3.39599
5.47/5.60	c bounds 2850 >= 891 @ 3.39871
5.47/5.60	c bounds 2850 >= 892 @ 3.40143
5.47/5.61	c bounds 2850 >= 893 @ 3.40317
5.47/5.61	c bounds 2850 >= 894 @ 3.4049
5.47/5.61	c bounds 2850 >= 895 @ 3.4076
5.47/5.62	c bounds 2850 >= 896 @ 3.40937
5.47/5.62	c bounds 2850 >= 897 @ 3.41048
5.47/5.62	c bounds 2850 >= 898 @ 3.41314
5.47/5.62	c bounds 2850 >= 899 @ 3.41486
5.47/5.63	c bounds 2850 >= 900 @ 3.41756
5.47/5.63	c bounds 2850 >= 901 @ 3.42025
5.47/5.63	c bounds 2850 >= 902 @ 3.42197
5.47/5.63	c bounds 2850 >= 903 @ 3.42467
5.47/5.64	c bounds 2850 >= 904 @ 3.42737
5.47/5.64	c bounds 2850 >= 905 @ 3.43008
5.47/5.64	c bounds 2850 >= 906 @ 3.43188
5.47/5.65	c bounds 2850 >= 907 @ 3.43463
5.47/5.65	c bounds 2850 >= 908 @ 3.43645
5.47/5.65	c bounds 2850 >= 909 @ 3.43914
5.47/5.65	c bounds 2850 >= 910 @ 3.4419
5.47/5.66	c bounds 2850 >= 911 @ 3.44466
5.47/5.66	c bounds 2850 >= 912 @ 3.44646
5.47/5.66	c bounds 2850 >= 913 @ 3.44823
5.47/5.67	c bounds 2850 >= 914 @ 3.45091
5.47/5.67	c bounds 2850 >= 915 @ 3.45266
5.47/5.67	c bounds 2850 >= 916 @ 3.45539
5.47/5.67	c bounds 2850 >= 917 @ 3.45713
5.47/5.68	c bounds 2850 >= 918 @ 3.45794
5.47/5.68	c bounds 2850 >= 919 @ 3.46062
5.47/5.68	c bounds 2850 >= 920 @ 3.46239
5.57/5.77	c bounds 2849 >= 920 @ 3.53579
5.57/5.77	c bounds 2849 >= 921 @ 3.53791
5.57/5.77	c bounds 2849 >= 922 @ 3.54064
5.57/5.78	c bounds 2849 >= 923 @ 3.54347
5.57/5.78	c bounds 2849 >= 924 @ 3.54621
5.57/5.78	c bounds 2849 >= 925 @ 3.54801
5.57/5.79	c bounds 2849 >= 926 @ 3.55069
5.57/5.79	c bounds 2849 >= 927 @ 3.5534
5.57/5.79	c bounds 2849 >= 928 @ 3.55517
5.57/5.79	c bounds 2849 >= 929 @ 3.55701
5.67/5.80	c bounds 2849 >= 930 @ 3.55967
5.67/5.80	c bounds 2849 >= 931 @ 3.5624
5.67/5.80	c bounds 2849 >= 932 @ 3.56417
5.67/5.80	c bounds 2849 >= 933 @ 3.56695
5.67/5.81	c bounds 2849 >= 934 @ 3.56869
5.67/5.81	c bounds 2849 >= 935 @ 3.57138
5.67/5.81	c bounds 2849 >= 936 @ 3.57316
5.67/5.82	c bounds 2849 >= 937 @ 3.57484
5.67/5.82	c bounds 2849 >= 938 @ 3.57656
5.67/5.82	c bounds 2849 >= 939 @ 3.57934
5.67/5.82	c bounds 2849 >= 940 @ 3.58116
5.67/5.83	c bounds 2849 >= 941 @ 3.58294
5.67/5.83	c bounds 2849 >= 942 @ 3.58564
5.67/5.83	c bounds 2849 >= 943 @ 3.58841
5.67/5.83	c bounds 2849 >= 944 @ 3.59115
5.67/5.84	c bounds 2849 >= 945 @ 3.59297
5.67/5.84	c bounds 2849 >= 946 @ 3.59468
5.67/5.84	c bounds 2849 >= 947 @ 3.59643
5.67/5.85	c bounds 2849 >= 948 @ 3.59917
5.67/5.85	c bounds 2849 >= 949 @ 3.60098
5.67/5.85	c bounds 2849 >= 950 @ 3.60367
5.67/5.85	c bounds 2849 >= 951 @ 3.60543
5.67/5.86	c bounds 2849 >= 952 @ 3.60818
5.67/5.86	c bounds 2849 >= 953 @ 3.60998
5.67/5.86	c bounds 2849 >= 954 @ 3.61267
5.67/5.87	c bounds 2849 >= 955 @ 3.61446
5.67/5.87	c bounds 2849 >= 956 @ 3.61719
5.67/5.87	c bounds 2849 >= 957 @ 3.61898
5.67/5.87	c bounds 2849 >= 958 @ 3.62069
5.67/5.88	c bounds 2849 >= 959 @ 3.62242
5.67/5.88	c bounds 2849 >= 960 @ 3.62526
5.67/5.88	c bounds 2849 >= 961 @ 3.62704
5.67/5.88	c bounds 2849 >= 962 @ 3.62879
5.67/5.89	c bounds 2849 >= 963 @ 3.63045
5.67/5.89	c bounds 2849 >= 964 @ 3.63355
5.67/5.89	c bounds 2849 >= 965 @ 3.63532
5.76/5.90	c bounds 2849 >= 966 @ 3.63804
5.76/5.90	c bounds 2849 >= 967 @ 3.64075
5.76/5.90	c bounds 2849 >= 968 @ 3.64248
5.76/5.90	c bounds 2849 >= 969 @ 3.64519
5.76/5.91	c bounds 2849 >= 970 @ 3.64706
5.76/5.91	c bounds 2849 >= 971 @ 3.64891
5.76/5.91	c bounds 2849 >= 972 @ 3.65159
5.76/5.92	c bounds 2849 >= 973 @ 3.65339
5.76/5.92	c bounds 2849 >= 974 @ 3.65615
5.76/5.92	c bounds 2849 >= 975 @ 3.65797
5.76/5.92	c bounds 2849 >= 976 @ 3.66068
5.76/5.93	c bounds 2849 >= 977 @ 3.66247
5.76/5.93	c bounds 2849 >= 978 @ 3.66425
5.76/5.93	c bounds 2849 >= 979 @ 3.66698
5.76/5.93	c bounds 2849 >= 980 @ 3.66888
5.76/5.94	c bounds 2849 >= 981 @ 3.67061
5.76/5.94	c bounds 2849 >= 982 @ 3.67237
5.76/5.94	c bounds 2849 >= 983 @ 3.67514
5.76/5.95	c bounds 2849 >= 984 @ 3.67696
5.76/5.95	c bounds 2849 >= 985 @ 3.67876
5.76/5.95	c bounds 2849 >= 986 @ 3.67955
5.76/5.95	c bounds 2849 >= 987 @ 3.68221
5.76/5.96	c bounds 2849 >= 988 @ 3.68495
5.76/5.96	c bounds 2849 >= 989 @ 3.68676
5.76/5.96	c bounds 2849 >= 990 @ 3.68846
5.76/5.97	c bounds 2849 >= 991 @ 3.69022
5.76/5.97	c bounds 2849 >= 992 @ 3.69294
5.76/5.97	c bounds 2849 >= 993 @ 3.69474
5.76/5.97	c bounds 2849 >= 994 @ 3.69642
5.76/5.98	c bounds 2849 >= 995 @ 3.69916
5.76/5.98	c bounds 2849 >= 996 @ 3.7019
5.76/5.98	c bounds 2849 >= 997 @ 3.7037
5.76/5.98	c bounds 2849 >= 998 @ 3.70637
5.76/5.99	c bounds 2849 >= 999 @ 3.70812
5.76/5.99	c bounds 2849 >= 1000 @ 3.71095
5.76/5.99	c bounds 2849 >= 1001 @ 3.71274
5.76/6.00	c bounds 2849 >= 1002 @ 3.71443
5.76/6.00	c bounds 2849 >= 1003 @ 3.71717
5.87/6.00	c bounds 2849 >= 1004 @ 3.71991
5.87/6.00	c bounds 2849 >= 1005 @ 3.7217
5.87/6.01	c bounds 2849 >= 1006 @ 3.72352
5.87/6.01	c bounds 2849 >= 1007 @ 3.72522
5.87/6.01	c bounds 2849 >= 1008 @ 3.72703
5.87/6.01	c bounds 2849 >= 1009 @ 3.72979
5.87/6.02	c bounds 2849 >= 1010 @ 3.73163
5.87/6.02	c bounds 2849 >= 1011 @ 3.73335
5.87/6.02	c bounds 2849 >= 1012 @ 3.73514
5.87/6.03	c bounds 2849 >= 1013 @ 3.73693
5.87/6.03	c bounds 2849 >= 1014 @ 3.73872
5.87/6.03	c bounds 2849 >= 1015 @ 3.74052
5.87/6.03	c bounds 2849 >= 1016 @ 3.74322
5.87/6.04	c bounds 2849 >= 1017 @ 3.74545
5.87/6.04	c bounds 2849 >= 1018 @ 3.74825
5.87/6.04	c bounds 2849 >= 1019 @ 3.75005
5.87/6.05	c bounds 2849 >= 1020 @ 3.75278
5.87/6.05	c bounds 2849 >= 1021 @ 3.7546
5.87/6.05	c bounds 2849 >= 1022 @ 3.7573
5.87/6.05	c bounds 2849 >= 1023 @ 3.75908
5.87/6.06	c bounds 2849 >= 1024 @ 3.76183
5.87/6.06	c bounds 2849 >= 1025 @ 3.76363
5.87/6.06	c bounds 2849 >= 1026 @ 3.76541
5.87/6.07	c bounds 2849 >= 1027 @ 3.76708
5.87/6.07	c bounds 2849 >= 1028 @ 3.76886
5.87/6.07	c bounds 2849 >= 1029 @ 3.77064
5.87/6.07	c bounds 2849 >= 1030 @ 3.77334
5.87/6.08	c bounds 2849 >= 1031 @ 3.77609
5.87/6.08	c bounds 2849 >= 1032 @ 3.77786
5.87/6.08	c bounds 2849 >= 1033 @ 3.7806
5.87/6.08	c bounds 2849 >= 1034 @ 3.78241
5.87/6.09	c bounds 2849 >= 1035 @ 3.7851
5.87/6.09	c bounds 2849 >= 1036 @ 3.78688
5.87/6.09	c bounds 2849 >= 1037 @ 3.78959
5.87/6.10	c bounds 2849 >= 1038 @ 3.79139
5.87/6.10	c bounds 2849 >= 1039 @ 3.79307
5.97/6.10	c bounds 2849 >= 1040 @ 3.79587
5.97/6.10	c bounds 2849 >= 1041 @ 3.79865
5.97/6.11	c bounds 2849 >= 1042 @ 3.80048
5.97/6.11	c bounds 2849 >= 1043 @ 3.80231
5.97/6.11	c bounds 2849 >= 1044 @ 3.80502
5.97/6.12	c bounds 2849 >= 1045 @ 3.80682
5.97/6.12	c bounds 2849 >= 1046 @ 3.80958
5.97/6.12	c bounds 2849 >= 1047 @ 3.81146
5.97/6.12	c bounds 2849 >= 1048 @ 3.81331
5.97/6.13	c bounds 2849 >= 1049 @ 3.81604
5.97/6.13	c bounds 2849 >= 1050 @ 3.81783
5.97/6.13	c bounds 2849 >= 1051 @ 3.82058
5.97/6.13	c bounds 2849 >= 1052 @ 3.82334
5.97/6.14	c bounds 2849 >= 1053 @ 3.82512
5.97/6.14	c bounds 2849 >= 1054 @ 3.82689
5.97/6.14	c bounds 2849 >= 1055 @ 3.82869
5.97/6.15	c bounds 2849 >= 1056 @ 3.83048
5.97/6.15	c bounds 2849 >= 1057 @ 3.83319
5.97/6.15	c bounds 2849 >= 1058 @ 3.83498
5.97/6.15	c bounds 2849 >= 1059 @ 3.8377
5.97/6.16	c bounds 2849 >= 1060 @ 3.84047
5.97/6.16	c bounds 2849 >= 1061 @ 3.84322
5.97/6.16	c bounds 2849 >= 1062 @ 3.84499
5.97/6.17	c bounds 2849 >= 1063 @ 3.84674
5.97/6.17	c bounds 2849 >= 1064 @ 3.84949
5.97/6.17	c bounds 2849 >= 1065 @ 3.8513
5.97/6.17	c bounds 2849 >= 1066 @ 3.853
5.97/6.18	c bounds 2849 >= 1067 @ 3.85474
5.97/6.18	c bounds 2849 >= 1068 @ 3.85746
5.97/6.18	c bounds 2849 >= 1069 @ 3.85961
5.97/6.18	c bounds 2849 >= 1070 @ 3.86139
5.97/6.19	c bounds 2849 >= 1071 @ 3.86317
5.97/6.19	c bounds 2849 >= 1072 @ 3.86484
5.97/6.19	c bounds 2849 >= 1073 @ 3.8668
6.07/6.20	c bounds 2849 >= 1074 @ 3.8696
6.07/6.20	c bounds 2849 >= 1075 @ 3.87239
6.07/6.20	c bounds 2849 >= 1076 @ 3.87426
6.07/6.20	c bounds 2849 >= 1077 @ 3.87602
6.07/6.21	c bounds 2849 >= 1078 @ 3.87783
6.07/6.21	c bounds 2849 >= 1079 @ 3.87963
6.07/6.21	c bounds 2849 >= 1080 @ 3.88252
6.07/6.22	c bounds 2849 >= 1081 @ 3.88437
6.07/6.22	c bounds 2849 >= 1082 @ 3.88712
6.07/6.22	c bounds 2849 >= 1083 @ 3.8889
6.07/6.22	c bounds 2849 >= 1084 @ 3.89068
6.07/6.23	c bounds 2849 >= 1085 @ 3.8925
6.07/6.23	c bounds 2849 >= 1086 @ 3.8943
6.07/6.23	c bounds 2849 >= 1087 @ 3.89611
6.07/6.24	c bounds 2849 >= 1088 @ 3.89881
6.07/6.24	c bounds 2849 >= 1089 @ 3.90061
6.07/6.24	c bounds 2849 >= 1090 @ 3.90336
6.07/6.24	c bounds 2849 >= 1091 @ 3.9052
6.07/6.25	c bounds 2849 >= 1092 @ 3.90693
6.07/6.25	c bounds 2849 >= 1093 @ 3.9087
6.07/6.25	c bounds 2849 >= 1094 @ 3.91052
6.07/6.25	c bounds 2849 >= 1095 @ 3.91231
6.07/6.26	c bounds 2849 >= 1096 @ 3.91504
6.07/6.26	c bounds 2849 >= 1097 @ 3.91683
6.07/6.26	c bounds 2849 >= 1098 @ 3.91863
6.07/6.27	c bounds 2849 >= 1099 @ 3.92042
6.07/6.27	c bounds 2849 >= 1100 @ 3.9222
6.07/6.27	c bounds 2849 >= 1101 @ 3.92398
6.07/6.27	c bounds 2849 >= 1102 @ 3.92666
6.07/6.28	c bounds 2849 >= 1103 @ 3.92844
6.07/6.28	c bounds 2849 >= 1104 @ 3.93119
6.07/6.28	c bounds 2849 >= 1105 @ 3.93395
6.07/6.29	c bounds 2849 >= 1106 @ 3.9367
6.07/6.29	c bounds 2849 >= 1107 @ 3.93963
6.07/6.29	c bounds 2849 >= 1108 @ 3.94244
6.07/6.29	c bounds 2849 >= 1109 @ 3.94522
6.16/6.30	c bounds 2849 >= 1110 @ 3.94803
6.16/6.30	c bounds 2849 >= 1111 @ 3.94993
6.16/6.30	c bounds 2849 >= 1112 @ 3.95264
6.16/6.31	c bounds 2849 >= 1113 @ 3.95448
6.16/6.31	c bounds 2849 >= 1114 @ 3.95727
6.16/6.31	c bounds 2849 >= 1115 @ 3.95913
6.16/6.31	c bounds 2849 >= 1116 @ 3.96097
6.16/6.32	c bounds 2849 >= 1117 @ 3.9618
6.16/6.32	c bounds 2849 >= 1118 @ 3.96352
6.16/6.32	c bounds 2849 >= 1119 @ 3.96534
6.16/6.32	c bounds 2849 >= 1120 @ 3.96716
6.16/6.33	c bounds 2849 >= 1121 @ 3.96899
6.16/6.33	c bounds 2849 >= 1122 @ 3.97072
6.16/6.33	c bounds 2849 >= 1123 @ 3.97354
6.16/6.34	c bounds 2849 >= 1124 @ 3.97633
6.16/6.34	c bounds 2849 >= 1125 @ 3.97817
6.16/6.34	c bounds 2849 >= 1126 @ 3.98001
6.16/6.34	c bounds 2849 >= 1127 @ 3.98084
6.16/6.35	c bounds 2849 >= 1128 @ 3.98356
6.16/6.35	c bounds 2849 >= 1129 @ 3.98538
6.16/6.35	c bounds 2849 >= 1130 @ 3.98816
6.16/6.36	c bounds 2849 >= 1131 @ 3.99095
6.16/6.36	c bounds 2849 >= 1132 @ 3.99282
6.16/6.36	c bounds 2849 >= 1133 @ 3.99451
6.16/6.36	c bounds 2849 >= 1134 @ 3.99731
6.16/6.37	c bounds 2849 >= 1135 @ 4.00012
6.16/6.37	c bounds 2849 >= 1136 @ 4.00198
6.16/6.37	c bounds 2849 >= 1137 @ 4.0038
6.16/6.38	c bounds 2849 >= 1138 @ 4.00552
6.16/6.38	c bounds 2849 >= 1139 @ 4.00827
6.16/6.38	c bounds 2849 >= 1140 @ 4.00932
6.16/6.38	c bounds 2849 >= 1141 @ 4.01214
6.16/6.39	c bounds 2849 >= 1142 @ 4.0141
6.16/6.39	c bounds 2849 >= 1143 @ 4.01596
6.16/6.39	c bounds 2849 >= 1144 @ 4.01681
6.27/6.40	c bounds 2849 >= 1145 @ 4.01858
6.27/6.40	c bounds 2849 >= 1146 @ 4.02039
6.27/6.40	c bounds 2849 >= 1147 @ 4.02224
6.27/6.40	c bounds 2849 >= 1148 @ 4.02408
6.27/6.41	c bounds 2849 >= 1149 @ 4.02688
6.27/6.41	c bounds 2849 >= 1150 @ 4.02778
6.27/6.41	c bounds 2849 >= 1151 @ 4.02961
6.27/6.42	c bounds 2849 >= 1152 @ 4.03142
6.27/6.42	c bounds 2849 >= 1153 @ 4.03226
6.27/6.42	c bounds 2849 >= 1154 @ 4.03505
6.27/6.42	c bounds 2849 >= 1155 @ 4.03786
6.27/6.43	c bounds 2849 >= 1156 @ 4.03976
6.27/6.43	c bounds 2849 >= 1157 @ 4.04152
6.27/6.43	c bounds 2849 >= 1158 @ 4.04333
6.27/6.44	c bounds 2849 >= 1159 @ 4.04515
6.27/6.44	c bounds 2849 >= 1160 @ 4.04791
6.27/6.44	c bounds 2849 >= 1161 @ 4.05073
6.27/6.44	c bounds 2849 >= 1162 @ 4.05354
6.27/6.45	c bounds 2849 >= 1163 @ 4.05634
6.27/6.45	c bounds 2849 >= 1164 @ 4.05817
6.27/6.45	c bounds 2849 >= 1165 @ 4.05995
6.27/6.45	c bounds 2849 >= 1166 @ 4.06275
6.27/6.46	c bounds 2849 >= 1167 @ 4.06454
6.27/6.46	c bounds 2849 >= 1168 @ 4.06637
6.27/6.46	c bounds 2849 >= 1169 @ 4.06817
6.27/6.47	c bounds 2849 >= 1170 @ 4.07096
6.27/6.47	c bounds 2849 >= 1171 @ 4.07383
6.27/6.47	c bounds 2849 >= 1172 @ 4.07585
6.36/6.59	c bounds 2848 >= 1172 @ 4.18206
6.46/6.60	c bounds 2848 >= 1173 @ 4.18419
6.46/6.60	c bounds 2848 >= 1174 @ 4.18611
6.46/6.60	c bounds 2848 >= 1175 @ 4.18891
6.46/6.61	c bounds 2848 >= 1176 @ 4.19076
6.46/6.61	c bounds 2848 >= 1177 @ 4.19355
6.46/6.61	c bounds 2848 >= 1178 @ 4.19562
6.46/6.61	c bounds 2848 >= 1179 @ 4.19747
6.46/6.62	c bounds 2848 >= 1180 @ 4.19865
6.46/6.62	c bounds 2848 >= 1181 @ 4.20051
6.46/6.62	c bounds 2848 >= 1182 @ 4.20235
6.46/6.63	c bounds 2848 >= 1183 @ 4.20513
6.46/6.63	c bounds 2848 >= 1184 @ 4.20709
6.46/6.63	c bounds 2848 >= 1185 @ 4.20905
6.46/6.63	c bounds 2848 >= 1186 @ 4.21
6.46/6.64	c bounds 2848 >= 1187 @ 4.21181
6.46/6.64	c bounds 2848 >= 1188 @ 4.21365
6.46/6.64	c bounds 2848 >= 1189 @ 4.21649
6.46/6.65	c bounds 2848 >= 1190 @ 4.21929
6.46/6.65	c bounds 2848 >= 1191 @ 4.22208
6.46/6.65	c bounds 2848 >= 1192 @ 4.22389
6.46/6.65	c bounds 2848 >= 1193 @ 4.22669
6.46/6.66	c bounds 2848 >= 1194 @ 4.22851
6.46/6.66	c bounds 2848 >= 1195 @ 4.23035
6.46/6.66	c bounds 2848 >= 1196 @ 4.23208
6.46/6.67	c bounds 2848 >= 1197 @ 4.23485
6.46/6.67	c bounds 2848 >= 1198 @ 4.23668
6.46/6.67	c bounds 2848 >= 1199 @ 4.23854
6.46/6.67	c bounds 2848 >= 1200 @ 4.24041
6.46/6.68	c bounds 2848 >= 1201 @ 4.24226
6.46/6.68	c bounds 2848 >= 1202 @ 4.24398
6.46/6.68	c bounds 2848 >= 1203 @ 4.24576
6.46/6.68	c bounds 2848 >= 1204 @ 4.24852
6.46/6.69	c bounds 2848 >= 1205 @ 4.25131
6.46/6.69	c bounds 2848 >= 1206 @ 4.25308
6.46/6.69	c bounds 2848 >= 1207 @ 4.25498
6.56/6.70	c bounds 2848 >= 1208 @ 4.2568
6.56/6.70	c bounds 2848 >= 1209 @ 4.25865
6.56/6.70	c bounds 2848 >= 1210 @ 4.26145
6.56/6.70	c bounds 2848 >= 1211 @ 4.26335
6.56/6.71	c bounds 2848 >= 1212 @ 4.2652
6.56/6.71	c bounds 2848 >= 1213 @ 4.26696
6.56/6.71	c bounds 2848 >= 1214 @ 4.26785
6.56/6.72	c bounds 2848 >= 1215 @ 4.26962
6.56/6.72	c bounds 2848 >= 1216 @ 4.2715
6.56/6.72	c bounds 2848 >= 1217 @ 4.27438
6.56/6.72	c bounds 2848 >= 1218 @ 4.27726
6.56/6.73	c bounds 2848 >= 1219 @ 4.28015
6.56/6.73	c bounds 2848 >= 1220 @ 4.28214
6.56/6.73	c bounds 2848 >= 1221 @ 4.2839
6.56/6.74	c bounds 2848 >= 1222 @ 4.2867
6.56/6.74	c bounds 2848 >= 1223 @ 4.2895
6.56/6.74	c bounds 2848 >= 1224 @ 4.29229
6.56/6.74	c bounds 2848 >= 1225 @ 4.29417
6.56/6.75	c bounds 2848 >= 1226 @ 4.29589
6.56/6.75	c bounds 2848 >= 1227 @ 4.29769
6.56/6.75	c bounds 2848 >= 1228 @ 4.29954
6.56/6.76	c bounds 2848 >= 1229 @ 4.3023
6.56/6.76	c bounds 2848 >= 1230 @ 4.30418
6.56/6.76	c bounds 2848 >= 1231 @ 4.30591
6.56/6.76	c bounds 2848 >= 1232 @ 4.30718
6.56/6.77	c bounds 2848 >= 1233 @ 4.30891
6.56/6.77	c bounds 2848 >= 1234 @ 4.31172
6.56/6.77	c bounds 2848 >= 1235 @ 4.31355
6.56/6.78	c bounds 2848 >= 1236 @ 4.31631
6.56/6.78	c bounds 2848 >= 1237 @ 4.31819
6.56/6.78	c bounds 2848 >= 1238 @ 4.31991
6.56/6.78	c bounds 2848 >= 1239 @ 4.32168
6.56/6.79	c bounds 2848 >= 1240 @ 4.32445
6.56/6.79	c bounds 2848 >= 1241 @ 4.32542
6.56/6.79	c bounds 2848 >= 1242 @ 4.32822
6.67/6.80	c bounds 2848 >= 1243 @ 4.33015
6.67/6.80	c bounds 2848 >= 1244 @ 4.33291
6.67/6.80	c bounds 2848 >= 1245 @ 4.33475
6.67/6.80	c bounds 2848 >= 1246 @ 4.33657
6.67/6.81	c bounds 2848 >= 1247 @ 4.33937
6.67/6.81	c bounds 2848 >= 1248 @ 4.3422
6.67/6.81	c bounds 2848 >= 1249 @ 4.34411
6.67/6.82	c bounds 2848 >= 1250 @ 4.34587
6.67/6.82	c bounds 2848 >= 1251 @ 4.34771
6.67/6.82	c bounds 2848 >= 1252 @ 4.35051
6.67/6.82	c bounds 2848 >= 1253 @ 4.35237
6.67/6.83	c bounds 2848 >= 1254 @ 4.35514
6.67/6.83	c bounds 2848 >= 1255 @ 4.35705
6.67/6.83	c bounds 2848 >= 1256 @ 4.35879
6.67/6.84	c bounds 2848 >= 1257 @ 4.3616
6.67/6.84	c bounds 2848 >= 1258 @ 4.3635
6.67/6.84	c bounds 2848 >= 1259 @ 4.3654
6.67/6.84	c bounds 2848 >= 1260 @ 4.3673
6.67/6.85	c bounds 2848 >= 1261 @ 4.36922
6.67/6.85	c bounds 2848 >= 1262 @ 4.37206
6.67/6.85	c bounds 2848 >= 1263 @ 4.37403
6.67/6.86	c bounds 2848 >= 1264 @ 4.37593
6.67/6.86	c bounds 2848 >= 1265 @ 4.37775
6.67/6.86	c bounds 2848 >= 1266 @ 4.37956
6.67/6.86	c bounds 2848 >= 1267 @ 4.38139
6.67/6.87	c bounds 2848 >= 1268 @ 4.38318
6.67/6.87	c bounds 2848 >= 1269 @ 4.38596
6.67/6.87	c bounds 2848 >= 1270 @ 4.38776
6.67/6.88	c bounds 2848 >= 1271 @ 4.38958
6.67/6.88	c bounds 2848 >= 1272 @ 4.39235
6.67/6.88	c bounds 2848 >= 1273 @ 4.39318
6.67/6.88	c bounds 2848 >= 1274 @ 4.39606
6.67/6.89	c bounds 2848 >= 1275 @ 4.39799
6.67/6.89	c bounds 2848 >= 1276 @ 4.40077
6.67/6.89	c bounds 2848 >= 1277 @ 4.40362
6.67/6.90	c bounds 2848 >= 1278 @ 4.40546
6.76/6.90	c bounds 2848 >= 1279 @ 4.40831
6.76/6.90	c bounds 2848 >= 1280 @ 4.40919
6.76/6.90	c bounds 2848 >= 1281 @ 4.41101
6.76/6.91	c bounds 2848 >= 1282 @ 4.41384
6.76/6.91	c bounds 2848 >= 1283 @ 4.41566
6.76/6.91	c bounds 2848 >= 1284 @ 4.41794
6.76/6.92	c bounds 2848 >= 1285 @ 4.4198
6.76/6.92	c bounds 2848 >= 1286 @ 4.42253
6.76/6.92	c bounds 2848 >= 1287 @ 4.42535
6.76/6.92	c bounds 2848 >= 1288 @ 4.4272
6.76/6.93	c bounds 2848 >= 1289 @ 4.429
6.76/6.93	c bounds 2848 >= 1290 @ 4.43088
6.76/6.93	c bounds 2848 >= 1291 @ 4.43263
6.76/6.94	c bounds 2848 >= 1292 @ 4.43453
6.76/6.94	c bounds 2848 >= 1293 @ 4.43741
6.76/6.94	c bounds 2848 >= 1294 @ 4.43934
6.76/6.94	c bounds 2848 >= 1295 @ 4.44128
6.76/6.95	c bounds 2848 >= 1296 @ 4.44314
6.76/6.95	c bounds 2848 >= 1297 @ 4.44494
6.76/6.95	c bounds 2848 >= 1298 @ 4.44686
6.76/6.96	c bounds 2848 >= 1299 @ 4.44862
6.76/6.96	c bounds 2848 >= 1300 @ 4.4505
6.76/6.96	c bounds 2848 >= 1301 @ 4.45234
6.76/6.96	c bounds 2848 >= 1302 @ 4.45418
6.76/6.97	c bounds 2848 >= 1303 @ 4.45596
6.76/6.97	c bounds 2848 >= 1304 @ 4.45784
6.76/6.97	c bounds 2848 >= 1305 @ 4.45967
6.76/6.98	c bounds 2848 >= 1306 @ 4.46139
6.76/6.98	c bounds 2848 >= 1307 @ 4.46318
6.76/6.98	c bounds 2848 >= 1308 @ 4.46506
6.76/6.98	c bounds 2848 >= 1309 @ 4.46687
6.76/6.99	c bounds 2848 >= 1310 @ 4.46971
6.76/6.99	c bounds 2848 >= 1311 @ 4.47256
6.76/6.99	c bounds 2848 >= 1312 @ 4.47441
6.76/7.00	c bounds 2848 >= 1313 @ 4.47625
6.76/7.00	c bounds 2848 >= 1314 @ 4.47908
6.87/7.00	c bounds 2848 >= 1315 @ 4.47997
6.87/7.00	c bounds 2848 >= 1316 @ 4.4818
6.87/7.01	c bounds 2848 >= 1317 @ 4.4838
6.87/7.01	c bounds 2848 >= 1318 @ 4.48567
6.87/7.01	c bounds 2848 >= 1319 @ 4.48744
6.87/7.02	c bounds 2848 >= 1320 @ 4.48927
6.87/7.02	c bounds 2848 >= 1321 @ 4.49113
6.87/7.02	c bounds 2848 >= 1322 @ 4.49393
6.87/7.02	c bounds 2848 >= 1323 @ 4.49577
6.87/7.03	c bounds 2848 >= 1324 @ 4.49767
6.87/7.03	c bounds 2848 >= 1325 @ 4.50042
6.87/7.03	c bounds 2848 >= 1326 @ 4.50324
6.87/7.04	c bounds 2848 >= 1327 @ 4.50412
6.87/7.04	c bounds 2848 >= 1328 @ 4.50598
6.87/7.04	c bounds 2848 >= 1329 @ 4.50783
6.87/7.04	c bounds 2848 >= 1330 @ 4.50971
6.87/7.05	c bounds 2848 >= 1331 @ 4.51157
6.87/7.05	c bounds 2848 >= 1332 @ 4.51338
6.87/7.05	c bounds 2848 >= 1333 @ 4.51525
6.87/7.06	c bounds 2848 >= 1334 @ 4.5171
6.87/7.06	c bounds 2848 >= 1335 @ 4.51895
6.87/7.06	c bounds 2848 >= 1336 @ 4.52112
6.87/7.06	c bounds 2848 >= 1337 @ 4.52303
6.87/7.07	c bounds 2848 >= 1338 @ 4.5249
6.87/7.07	c bounds 2848 >= 1339 @ 4.52675
6.87/7.07	c bounds 2848 >= 1340 @ 4.52863
6.87/7.08	c bounds 2848 >= 1341 @ 4.53055
6.87/7.08	c bounds 2848 >= 1342 @ 4.53332
6.87/7.08	c bounds 2848 >= 1343 @ 4.53619
6.87/7.08	c bounds 2848 >= 1344 @ 4.53807
6.87/7.09	c bounds 2848 >= 1345 @ 4.54001
6.87/7.09	c bounds 2848 >= 1346 @ 4.54189
6.87/7.09	c bounds 2848 >= 1347 @ 4.54471
6.87/7.10	c bounds 2848 >= 1348 @ 4.5467
6.87/7.10	c bounds 2848 >= 1349 @ 4.54857
6.97/7.10	c bounds 2848 >= 1350 @ 4.55133
6.97/7.10	c bounds 2848 >= 1351 @ 4.5532
6.97/7.11	c bounds 2848 >= 1352 @ 4.55504
6.97/7.11	c bounds 2848 >= 1353 @ 4.55691
6.97/7.11	c bounds 2848 >= 1354 @ 4.55878
6.97/7.12	c bounds 2848 >= 1355 @ 4.5606
6.97/7.12	c bounds 2848 >= 1356 @ 4.56252
6.97/7.12	c bounds 2848 >= 1357 @ 4.5644
6.97/7.12	c bounds 2848 >= 1358 @ 4.56713
6.97/7.13	c bounds 2848 >= 1359 @ 4.56899
6.97/7.13	c bounds 2848 >= 1360 @ 4.57181
6.97/7.13	c bounds 2848 >= 1361 @ 4.5737
6.97/7.14	c bounds 2848 >= 1362 @ 4.57556
6.97/7.14	c bounds 2848 >= 1363 @ 4.57746
6.97/7.14	c bounds 2848 >= 1364 @ 4.57921
6.97/7.14	c bounds 2848 >= 1365 @ 4.58108
6.97/7.15	c bounds 2848 >= 1366 @ 4.58293
6.97/7.15	c bounds 2848 >= 1367 @ 4.5848
6.97/7.15	c bounds 2848 >= 1368 @ 4.58663
6.97/7.16	c bounds 2848 >= 1369 @ 4.58946
6.97/7.16	c bounds 2848 >= 1370 @ 4.59039
6.97/7.16	c bounds 2848 >= 1371 @ 4.59317
6.97/7.16	c bounds 2848 >= 1372 @ 4.59509
6.97/7.17	c bounds 2848 >= 1373 @ 4.59696
6.97/7.17	c bounds 2848 >= 1374 @ 4.59887
6.97/7.17	c bounds 2848 >= 1375 @ 4.60182
6.97/7.18	c bounds 2848 >= 1376 @ 4.60475
6.97/7.18	c bounds 2848 >= 1377 @ 4.60663
6.97/7.18	c bounds 2848 >= 1378 @ 4.60852
6.97/7.18	c bounds 2848 >= 1379 @ 4.61046
6.97/7.19	c bounds 2848 >= 1380 @ 4.61325
6.97/7.19	c bounds 2848 >= 1381 @ 4.61512
6.97/7.19	c bounds 2848 >= 1382 @ 4.61797
7.07/7.20	c bounds 2848 >= 1383 @ 4.6199
7.07/7.20	c bounds 2848 >= 1384 @ 4.62183
7.07/7.20	c bounds 2848 >= 1385 @ 4.62377
7.07/7.21	c bounds 2848 >= 1386 @ 4.62571
7.07/7.21	c bounds 2848 >= 1387 @ 4.62763
7.07/7.21	c bounds 2848 >= 1388 @ 4.6299
7.07/7.21	c bounds 2848 >= 1389 @ 4.63177
7.07/7.22	c bounds 2848 >= 1390 @ 4.63363
7.07/7.22	c bounds 2848 >= 1391 @ 4.63544
7.07/7.22	c bounds 2848 >= 1392 @ 4.63736
7.07/7.23	c bounds 2848 >= 1393 @ 4.64011
7.07/7.23	c bounds 2848 >= 1394 @ 4.64198
7.07/7.23	c bounds 2848 >= 1395 @ 4.6448
7.07/7.23	c bounds 2848 >= 1396 @ 4.64668
7.07/7.24	c bounds 2848 >= 1397 @ 4.64755
7.07/7.24	c bounds 2848 >= 1398 @ 4.64935
7.07/7.24	c bounds 2848 >= 1399 @ 4.65129
7.07/7.25	c bounds 2848 >= 1400 @ 4.65205
7.07/7.25	c bounds 2848 >= 1401 @ 4.65488
7.07/7.25	c bounds 2848 >= 1402 @ 4.65674
7.07/7.25	c bounds 2848 >= 1403 @ 4.65859
7.07/7.26	c bounds 2848 >= 1404 @ 4.66044
7.07/7.26	c bounds 2848 >= 1405 @ 4.66228
7.07/7.26	c bounds 2848 >= 1406 @ 4.66412
7.07/7.27	c bounds 2848 >= 1407 @ 4.66586
7.07/7.27	c bounds 2848 >= 1408 @ 4.66874
7.07/7.27	c bounds 2848 >= 1409 @ 4.67064
7.07/7.27	c bounds 2848 >= 1410 @ 4.6725
7.07/7.28	c bounds 2848 >= 1411 @ 4.67343
7.07/7.28	c bounds 2848 >= 1412 @ 4.67525
7.07/7.28	c bounds 2848 >= 1413 @ 4.67719
7.07/7.29	c bounds 2848 >= 1414 @ 4.6791
7.07/7.29	c bounds 2848 >= 1415 @ 4.68186
7.07/7.29	c bounds 2848 >= 1416 @ 4.68474
7.07/7.29	c bounds 2848 >= 1417 @ 4.68759
7.17/7.30	c bounds 2848 >= 1418 @ 4.69046
7.17/7.30	c bounds 2848 >= 1419 @ 4.69138
7.17/7.30	c bounds 2848 >= 1420 @ 4.6932
7.17/7.31	c bounds 2848 >= 1421 @ 4.69515
7.17/7.31	c bounds 2848 >= 1422 @ 4.69695
7.17/7.31	c bounds 2848 >= 1423 @ 4.69906
7.17/7.31	c bounds 2848 >= 1424 @ 4.70066
7.17/7.32	c bounds 2848 >= 1425 @ 4.70161
7.17/7.32	c bounds 2848 >= 1426 @ 4.70278
7.17/7.32	c bounds 2848 >= 1427 @ 4.70469
7.17/7.33	c bounds 2848 >= 1428 @ 4.70768
7.17/7.33	c bounds 2848 >= 1429 @ 4.7096
7.17/7.33	c bounds 2848 >= 1430 @ 4.71147
7.17/7.33	c bounds 2848 >= 1431 @ 4.71235
7.17/7.34	c bounds 2848 >= 1432 @ 4.71515
7.17/7.34	c bounds 2848 >= 1433 @ 4.7171
7.17/7.34	c bounds 2848 >= 1434 @ 4.71888
7.17/7.35	c bounds 2848 >= 1435 @ 4.72076
7.17/7.35	c bounds 2848 >= 1436 @ 4.7226
7.17/7.35	c bounds 2848 >= 1437 @ 4.72545
7.17/7.35	c bounds 2848 >= 1438 @ 4.7283
7.17/7.36	c bounds 2848 >= 1439 @ 4.73017
7.17/7.36	c bounds 2848 >= 1440 @ 4.73243
7.17/7.36	c bounds 2848 >= 1441 @ 4.73329
7.17/7.37	c bounds 2848 >= 1442 @ 4.73616
7.17/7.37	c bounds 2848 >= 1443 @ 4.73819
7.17/7.37	c bounds 2848 >= 1444 @ 4.74104
7.17/7.38	c bounds 2848 >= 1445 @ 4.74394
7.17/7.38	c bounds 2848 >= 1446 @ 4.74594
7.17/7.38	c bounds 2848 >= 1447 @ 4.74774
7.17/7.38	c bounds 2848 >= 1448 @ 4.74964
7.17/7.39	c bounds 2848 >= 1449 @ 4.7515
7.26/7.48	c bounds 2847 >= 1449 @ 4.84066
7.26/7.49	c bounds 2847 >= 1450 @ 4.84304
7.26/7.49	c bounds 2847 >= 1451 @ 4.84492
7.26/7.49	c bounds 2847 >= 1452 @ 4.84681
7.36/7.50	c bounds 2847 >= 1453 @ 4.84776
7.36/7.50	c bounds 2847 >= 1454 @ 4.84969
7.36/7.50	c bounds 2847 >= 1455 @ 4.85148
7.36/7.51	c bounds 2847 >= 1456 @ 4.85337
7.36/7.51	c bounds 2847 >= 1457 @ 4.85621
7.36/7.51	c bounds 2847 >= 1458 @ 4.85907
7.36/7.51	c bounds 2847 >= 1459 @ 4.85998
7.36/7.52	c bounds 2847 >= 1460 @ 4.86184
7.36/7.52	c bounds 2847 >= 1461 @ 4.86376
7.36/7.52	c bounds 2847 >= 1462 @ 4.86563
7.36/7.53	c bounds 2847 >= 1463 @ 4.86739
7.36/7.53	c bounds 2847 >= 1464 @ 4.87023
7.36/7.53	c bounds 2847 >= 1465 @ 4.87308
7.36/7.53	c bounds 2847 >= 1466 @ 4.87399
7.36/7.54	c bounds 2847 >= 1467 @ 4.8758
7.36/7.54	c bounds 2847 >= 1468 @ 4.87773
7.36/7.54	c bounds 2847 >= 1469 @ 4.88055
7.36/7.55	c bounds 2847 >= 1470 @ 4.88242
7.36/7.55	c bounds 2847 >= 1471 @ 4.88425
7.36/7.55	c bounds 2847 >= 1472 @ 4.8871
7.36/7.55	c bounds 2847 >= 1473 @ 4.88797
7.36/7.56	c bounds 2847 >= 1474 @ 4.88981
7.36/7.56	c bounds 2847 >= 1475 @ 4.89181
7.36/7.56	c bounds 2847 >= 1476 @ 4.89377
7.36/7.57	c bounds 2847 >= 1477 @ 4.89567
7.36/7.57	c bounds 2847 >= 1478 @ 4.89853
7.36/7.57	c bounds 2847 >= 1479 @ 4.90043
7.36/7.57	c bounds 2847 >= 1480 @ 4.90233
7.36/7.58	c bounds 2847 >= 1481 @ 4.90519
7.36/7.58	c bounds 2847 >= 1482 @ 4.9071
7.36/7.58	c bounds 2847 >= 1483 @ 4.90899
7.36/7.59	c bounds 2847 >= 1484 @ 4.9099
7.36/7.59	c bounds 2847 >= 1485 @ 4.91174
7.36/7.59	c bounds 2847 >= 1486 @ 4.91361
7.36/7.59	c bounds 2847 >= 1487 @ 4.91558
7.46/7.60	c bounds 2847 >= 1488 @ 4.91736
7.46/7.60	c bounds 2847 >= 1489 @ 4.92022
7.46/7.60	c bounds 2847 >= 1490 @ 4.92209
7.46/7.61	c bounds 2847 >= 1491 @ 4.92399
7.46/7.61	c bounds 2847 >= 1492 @ 4.92488
7.46/7.61	c bounds 2847 >= 1493 @ 4.92676
7.46/7.61	c bounds 2847 >= 1494 @ 4.92857
7.46/7.62	c bounds 2847 >= 1495 @ 4.93142
7.46/7.62	c bounds 2847 >= 1496 @ 4.93329
7.46/7.62	c bounds 2847 >= 1497 @ 4.93513
7.46/7.63	c bounds 2847 >= 1498 @ 4.93701
7.46/7.63	c bounds 2847 >= 1499 @ 4.93986
7.46/7.63	c bounds 2847 >= 1500 @ 4.94077
7.46/7.64	c bounds 2847 >= 1501 @ 4.94303
7.46/7.64	c bounds 2847 >= 1502 @ 4.94491
7.46/7.64	c bounds 2847 >= 1503 @ 4.94676
7.46/7.64	c bounds 2847 >= 1504 @ 4.94768
7.46/7.65	c bounds 2847 >= 1505 @ 4.94951
7.46/7.65	c bounds 2847 >= 1506 @ 4.95142
7.46/7.65	c bounds 2847 >= 1507 @ 4.95414
7.46/7.66	c bounds 2847 >= 1508 @ 4.956
7.46/7.66	c bounds 2847 >= 1509 @ 4.95891
7.46/7.66	c bounds 2847 >= 1510 @ 4.95984
7.46/7.66	c bounds 2847 >= 1511 @ 4.96176
7.46/7.67	c bounds 2847 >= 1512 @ 4.96362
7.46/7.67	c bounds 2847 >= 1513 @ 4.96652
7.46/7.67	c bounds 2847 >= 1514 @ 4.96846
7.46/7.68	c bounds 2847 >= 1515 @ 4.97133
7.46/7.68	c bounds 2847 >= 1516 @ 4.9742
7.46/7.68	c bounds 2847 >= 1517 @ 4.97522
7.46/7.68	c bounds 2847 >= 1518 @ 4.977
7.46/7.69	c bounds 2847 >= 1519 @ 4.97989
7.46/7.69	c bounds 2847 >= 1520 @ 4.98278
7.46/7.69	c bounds 2847 >= 1521 @ 4.98373
7.56/7.70	c bounds 2847 >= 1522 @ 4.98564
7.56/7.70	c bounds 2847 >= 1523 @ 4.98749
7.56/7.70	c bounds 2847 >= 1524 @ 4.9894
7.56/7.70	c bounds 2847 >= 1525 @ 4.99221
7.56/7.71	c bounds 2847 >= 1526 @ 4.9951
7.56/7.71	c bounds 2847 >= 1527 @ 4.99697
7.56/7.71	c bounds 2847 >= 1528 @ 4.99984
7.56/7.72	c bounds 2847 >= 1529 @ 5.00174
7.56/7.72	c bounds 2847 >= 1530 @ 5.00265
7.56/7.72	c bounds 2847 >= 1531 @ 5.00354
7.56/7.72	c bounds 2847 >= 1532 @ 5.00633
7.56/7.73	c bounds 2847 >= 1533 @ 5.00831
7.56/7.73	c bounds 2847 >= 1534 @ 5.01007
7.56/7.73	c bounds 2847 >= 1535 @ 5.01295
7.56/7.74	c bounds 2847 >= 1536 @ 5.01581
7.56/7.74	c bounds 2847 >= 1537 @ 5.0177
7.56/7.74	c bounds 2847 >= 1538 @ 5.02051
7.56/7.74	c bounds 2847 >= 1539 @ 5.02238
7.56/7.75	c bounds 2847 >= 1540 @ 5.02522
7.56/7.75	c bounds 2847 >= 1541 @ 5.02707
7.56/7.75	c bounds 2847 >= 1542 @ 5.029
7.56/7.76	c bounds 2847 >= 1543 @ 5.03092
7.56/7.76	c bounds 2847 >= 1544 @ 5.03279
7.56/7.76	c bounds 2847 >= 1545 @ 5.03567
7.56/7.77	c bounds 2847 >= 1546 @ 5.03663
7.56/7.77	c bounds 2847 >= 1547 @ 5.03755
7.56/7.77	c bounds 2847 >= 1548 @ 5.03847
7.56/7.77	c bounds 2847 >= 1549 @ 5.0413
7.56/7.78	c bounds 2847 >= 1550 @ 5.04325
7.56/7.78	c bounds 2847 >= 1551 @ 5.04518
7.56/7.78	c bounds 2847 >= 1552 @ 5.04677
7.56/7.79	c bounds 2847 >= 1553 @ 5.04834
7.56/7.79	c bounds 2847 >= 1554 @ 5.05025
7.56/7.79	c bounds 2847 >= 1555 @ 5.05307
7.56/7.79	c bounds 2847 >= 1556 @ 5.05495
7.66/7.80	c bounds 2847 >= 1557 @ 5.05782
7.66/7.80	c bounds 2847 >= 1558 @ 5.05971
7.66/7.80	c bounds 2847 >= 1559 @ 5.06164
7.66/7.81	c bounds 2847 >= 1560 @ 5.06354
7.66/7.81	c bounds 2847 >= 1561 @ 5.06638
7.66/7.81	c bounds 2847 >= 1562 @ 5.0683
7.66/7.81	c bounds 2847 >= 1563 @ 5.07018
7.66/7.82	c bounds 2847 >= 1564 @ 5.07216
7.66/7.82	c bounds 2847 >= 1565 @ 5.07394
7.66/7.82	c bounds 2847 >= 1566 @ 5.07584
7.66/7.83	c bounds 2847 >= 1567 @ 5.07868
7.66/7.83	c bounds 2847 >= 1568 @ 5.08057
7.66/7.83	c bounds 2847 >= 1569 @ 5.08241
7.66/7.83	c bounds 2847 >= 1570 @ 5.08434
7.66/7.84	c bounds 2847 >= 1571 @ 5.08614
7.66/7.84	c bounds 2847 >= 1572 @ 5.08899
7.66/7.84	c bounds 2847 >= 1573 @ 5.09086
7.66/7.85	c bounds 2847 >= 1574 @ 5.0937
7.66/7.85	c bounds 2847 >= 1575 @ 5.09563
7.66/7.85	c bounds 2847 >= 1576 @ 5.09761
7.66/7.86	c bounds 2847 >= 1577 @ 5.09954
7.66/7.86	c bounds 2847 >= 1578 @ 5.1005
7.66/7.86	c bounds 2847 >= 1579 @ 5.10243
7.66/7.86	c bounds 2847 >= 1580 @ 5.1034
7.66/7.87	c bounds 2847 >= 1581 @ 5.10433
7.66/7.87	c bounds 2847 >= 1582 @ 5.10618
7.66/7.87	c bounds 2847 >= 1583 @ 5.10808
7.66/7.88	c bounds 2847 >= 1584 @ 5.11009
7.66/7.88	c bounds 2847 >= 1585 @ 5.11189
7.66/7.88	c bounds 2847 >= 1586 @ 5.1138
7.66/7.88	c bounds 2847 >= 1587 @ 5.11572
7.66/7.89	c bounds 2847 >= 1588 @ 5.11858
7.66/7.89	c bounds 2847 >= 1589 @ 5.12049
7.66/7.89	c bounds 2847 >= 1590 @ 5.1214
7.76/7.90	c bounds 2847 >= 1591 @ 5.12232
7.76/7.90	c bounds 2847 >= 1592 @ 5.12323
7.76/7.90	c bounds 2847 >= 1593 @ 5.12506
7.76/7.90	c bounds 2847 >= 1594 @ 5.12703
7.76/7.91	c bounds 2847 >= 1595 @ 5.1298
7.76/7.91	c bounds 2847 >= 1596 @ 5.13269
7.76/7.91	c bounds 2847 >= 1597 @ 5.13458
7.76/7.92	c bounds 2847 >= 1598 @ 5.13744
7.76/7.92	c bounds 2847 >= 1599 @ 5.13933
7.76/7.92	c bounds 2847 >= 1600 @ 5.14127
7.76/7.92	c bounds 2847 >= 1601 @ 5.14217
7.76/7.93	c bounds 2847 >= 1602 @ 5.14497
7.76/7.93	c bounds 2847 >= 1603 @ 5.14696
7.76/7.93	c bounds 2847 >= 1604 @ 5.14972
7.76/7.94	c bounds 2847 >= 1605 @ 5.15163
7.76/7.94	c bounds 2847 >= 1606 @ 5.15485
7.76/7.94	c bounds 2847 >= 1607 @ 5.15653
7.76/7.95	c bounds 2847 >= 1608 @ 5.15762
7.76/7.95	c bounds 2847 >= 1609 @ 5.15955
7.76/7.95	c bounds 2847 >= 1610 @ 5.1615
7.76/7.95	c bounds 2847 >= 1611 @ 5.16343
7.76/7.96	c bounds 2847 >= 1612 @ 5.16437
7.76/7.96	c bounds 2847 >= 1613 @ 5.16627
7.76/7.96	c bounds 2847 >= 1614 @ 5.16824
7.76/7.97	c bounds 2847 >= 1615 @ 5.16915
7.76/7.97	c bounds 2847 >= 1616 @ 5.17101
7.76/7.97	c bounds 2847 >= 1617 @ 5.17296
7.76/7.97	c bounds 2847 >= 1618 @ 5.17595
7.76/7.98	c bounds 2847 >= 1619 @ 5.1779
7.76/7.98	c bounds 2847 >= 1620 @ 5.17989
7.76/7.98	c bounds 2847 >= 1621 @ 5.18169
7.76/7.99	c bounds 2847 >= 1622 @ 5.18361
7.76/7.99	c bounds 2847 >= 1623 @ 5.18648
7.76/7.99	c bounds 2847 >= 1624 @ 5.18839
7.76/8.00	c bounds 2847 >= 1625 @ 5.1893
7.76/8.00	c bounds 2847 >= 1626 @ 5.19118
7.87/8.00	c bounds 2847 >= 1627 @ 5.19309
7.87/8.00	c bounds 2847 >= 1628 @ 5.19507
7.87/8.01	c bounds 2847 >= 1629 @ 5.196
7.87/8.01	c bounds 2847 >= 1630 @ 5.19881
7.87/8.01	c bounds 2847 >= 1631 @ 5.2017
7.87/8.02	c bounds 2847 >= 1632 @ 5.20459
7.87/8.02	c bounds 2847 >= 1633 @ 5.20748
7.87/8.02	c bounds 2847 >= 1634 @ 5.20938
7.87/8.02	c bounds 2847 >= 1635 @ 5.21228
7.87/8.03	c bounds 2847 >= 1636 @ 5.21421
7.87/8.03	c bounds 2847 >= 1637 @ 5.21611
7.87/8.03	c bounds 2847 >= 1638 @ 5.21895
7.87/8.04	c bounds 2847 >= 1639 @ 5.22092
7.87/8.04	c bounds 2847 >= 1640 @ 5.22371
7.87/8.04	c bounds 2847 >= 1641 @ 5.22659
7.87/8.04	c bounds 2847 >= 1642 @ 5.22948
7.87/8.05	c bounds 2847 >= 1643 @ 5.23244
7.87/8.05	c bounds 2847 >= 1644 @ 5.23439
7.87/8.05	c bounds 2847 >= 1645 @ 5.23731
7.87/8.06	c bounds 2847 >= 1646 @ 5.24024
7.87/8.06	c bounds 2847 >= 1647 @ 5.24218
7.87/8.06	c bounds 2847 >= 1648 @ 5.24406
7.87/8.06	c bounds 2847 >= 1649 @ 5.24503
7.87/8.07	c bounds 2847 >= 1650 @ 5.24689
7.87/8.07	c bounds 2847 >= 1651 @ 5.24887
7.87/8.07	c bounds 2847 >= 1652 @ 5.25169
7.87/8.08	c bounds 2847 >= 1653 @ 5.25364
7.87/8.08	c bounds 2847 >= 1654 @ 5.25562
7.87/8.08	c bounds 2847 >= 1655 @ 5.25741
7.87/8.09	c bounds 2847 >= 1656 @ 5.25933
7.87/8.09	c bounds 2847 >= 1657 @ 5.26123
7.87/8.09	c bounds 2847 >= 1658 @ 5.26362
7.87/8.09	c bounds 2847 >= 1659 @ 5.26541
7.87/8.10	c bounds 2847 >= 1660 @ 5.26735
7.87/8.10	c bounds 2847 >= 1661 @ 5.27023
7.97/8.10	c bounds 2847 >= 1662 @ 5.27312
7.97/8.11	c bounds 2847 >= 1663 @ 5.27602
7.97/8.11	c bounds 2847 >= 1664 @ 5.27891
7.97/8.11	c bounds 2847 >= 1665 @ 5.28184
7.97/8.11	c bounds 2847 >= 1666 @ 5.28471
7.97/8.12	c bounds 2847 >= 1667 @ 5.28664
8.06/8.22	c bounds 2846 >= 1667 @ 5.37987
8.06/8.22	c bounds 2846 >= 1668 @ 5.38137
8.06/8.22	c bounds 2846 >= 1669 @ 5.38417
8.06/8.22	c bounds 2846 >= 1670 @ 5.38607
8.06/8.23	c bounds 2846 >= 1671 @ 5.38795
8.06/8.23	c bounds 2846 >= 1672 @ 5.38985
8.06/8.23	c bounds 2846 >= 1673 @ 5.39177
8.06/8.24	c bounds 2846 >= 1674 @ 5.39369
8.06/8.24	c bounds 2846 >= 1675 @ 5.39461
8.06/8.24	c bounds 2846 >= 1676 @ 5.39752
8.06/8.24	c bounds 2846 >= 1677 @ 5.40046
8.06/8.25	c bounds 2846 >= 1678 @ 5.40153
8.06/8.25	c bounds 2846 >= 1679 @ 5.40351
8.06/8.25	c bounds 2846 >= 1680 @ 5.40445
8.06/8.26	c bounds 2846 >= 1681 @ 5.40635
8.06/8.26	c bounds 2846 >= 1682 @ 5.40826
8.06/8.26	c bounds 2846 >= 1683 @ 5.41025
8.06/8.27	c bounds 2846 >= 1684 @ 5.41207
8.06/8.27	c bounds 2846 >= 1685 @ 5.41401
8.06/8.27	c bounds 2846 >= 1686 @ 5.41596
8.06/8.27	c bounds 2846 >= 1687 @ 5.41786
8.06/8.28	c bounds 2846 >= 1688 @ 5.42079
8.06/8.28	c bounds 2846 >= 1689 @ 5.4237
8.06/8.28	c bounds 2846 >= 1690 @ 5.42564
8.06/8.29	c bounds 2846 >= 1691 @ 5.42757
8.06/8.29	c bounds 2846 >= 1692 @ 5.42853
8.06/8.29	c bounds 2846 >= 1693 @ 5.42947
8.06/8.29	c bounds 2846 >= 1694 @ 5.43134
8.16/8.30	c bounds 2846 >= 1695 @ 5.43326
8.16/8.30	c bounds 2846 >= 1696 @ 5.43519
8.16/8.30	c bounds 2846 >= 1697 @ 5.43718
8.16/8.31	c bounds 2846 >= 1698 @ 5.43997
8.16/8.31	c bounds 2846 >= 1699 @ 5.44189
8.16/8.31	c bounds 2846 >= 1700 @ 5.44283
8.16/8.33	c bounds 2846 >= 1701 @ 5.45254
8.16/8.34	c bounds 2846 >= 1702 @ 5.45727
8.16/8.35	c bounds 2846 >= 1703 @ 5.46822
8.16/8.38	c bounds 2846 >= 1704 @ 5.48716
8.26/8.48	c #Conflicts:       1000 | #Constraints:      16430
8.26/8.48	c bounds 2846 >= 1705 @ 5.57167
8.86/9.01	c bounds 2845 >= 1705 @ 6.07439
8.86/9.02	c bounds 2845 >= 1706 @ 6.08358
8.86/9.04	c bounds 2845 >= 1707 @ 6.0934
8.86/9.06	c bounds 2845 >= 1708 @ 6.11697
13.65/13.86	c #Conflicts:       2000 | #Constraints:      17605
13.65/13.86	c INPROCESSING
13.65/13.86	c GARBAGE COLLECT
13.65/13.86	c #Conflicts:       3000 | #Constraints:      15850
13.65/13.86	c bounds 2845 >= 1709 @ 10.8535
14.14/14.36	c #Conflicts:       4000 | #Constraints:      16901
14.14/14.36	c INPROCESSING
14.14/14.36	c bounds 2844 >= 1709 @ 11.3266
14.14/14.37	c bounds 2844 >= 1710 @ 11.3305
14.14/14.38	c bounds 2844 >= 1711 @ 11.3384
14.25/14.40	c bounds 2844 >= 1712 @ 11.3566
14.25/14.49	c #Conflicts:       5000 | #Constraints:      16399
14.25/14.49	c bounds 2844 >= 1713 @ 11.4241
14.54/14.71	c bounds 2843 >= 1713 @ 11.6373
14.54/14.71	c bounds 2843 >= 1714 @ 11.6401
14.54/14.72	c bounds 2843 >= 1715 @ 11.6433
14.54/14.73	c bounds 2843 >= 1716 @ 11.6477
14.54/14.74	c bounds 2843 >= 1717 @ 11.6566
14.54/14.76	c bounds 2843 >= 1718 @ 11.6773
25.22/25.42	c #Conflicts:       6000 | #Constraints:      17547
25.22/25.42	c bounds 2843 >= 1719 @ 22.2278
25.22/25.48	c INPROCESSING
25.22/25.48	c GARBAGE COLLECT
25.22/25.48	c bounds 2842 >= 1719 @ 22.2851
25.32/25.54	c #Conflicts:       7000 | #Constraints:      16511
25.32/25.54	c bounds 2842 >= 1720 @ 22.3363
25.52/25.73	c bounds 2841 >= 1720 @ 22.5184
82.68/83.06	c #Conflicts:       8000 | #Constraints:      17560
82.68/83.06	c #Conflicts:       9000 | #Constraints:      18560
82.68/83.06	c INPROCESSING
82.68/83.06	c GARBAGE COLLECT
82.68/83.06	c bounds 2840 >= 1720 @ 79.5227
82.87/83.22	c bounds 2839 >= 1720 @ 79.6657
82.97/83.36	c bounds 2838 >= 1720 @ 79.8025
83.17/83.51	c bounds 2837 >= 1720 @ 79.9464
83.27/83.67	c bounds 2836 >= 1720 @ 80.0995
83.27/83.68	c bounds 2836 >= 1721 @ 80.1065
83.36/83.70	c bounds 2836 >= 1722 @ 80.1162
83.36/83.72	c bounds 2836 >= 1723 @ 80.1358
83.57/84.00	c bounds 2835 >= 1723 @ 80.3807
83.77/84.11	c #Conflicts:      10000 | #Constraints:      17313
83.77/84.11	c bounds 2835 >= 1724 @ 80.4851
83.87/84.28	c bounds 2834 >= 1724 @ 80.6468
83.97/84.30	c bounds 2834 >= 1725 @ 80.6555
83.97/84.31	c bounds 2834 >= 1726 @ 80.6643
83.97/84.33	c bounds 2834 >= 1727 @ 80.6816
83.97/84.37	c #Conflicts:      11000 | #Constraints:      18461
83.97/84.37	c bounds 2834 >= 1728 @ 80.719
84.06/84.40	c bounds 2832 >= 1728 @ 80.7374
84.16/84.51	c bounds 2832 >= 1729 @ 80.8304
84.36/84.75	c #Conflicts:      12000 | #Constraints:      19549
84.36/84.75	c INPROCESSING
84.36/84.75	c GARBAGE COLLECT
84.36/84.75	c bounds 2831 >= 1729 @ 81.056
84.67/85.07	c bounds 2830 >= 1729 @ 81.3617
84.67/85.08	c bounds 2830 >= 1730 @ 81.3672
84.67/85.09	c bounds 2830 >= 1731 @ 81.3736
84.77/85.10	c bounds 2830 >= 1732 @ 81.3863
84.77/85.17	c #Conflicts:      13000 | #Constraints:      17939
84.77/85.17	c bounds 2830 >= 1733 @ 81.4399
85.06/85.46	c #Conflicts:      14000 | #Constraints:      18981
85.06/85.46	c #Conflicts:      15000 | #Constraints:      19981
85.06/85.46	c INPROCESSING
85.06/85.46	c GARBAGE COLLECT
85.06/85.46	c bounds 2828 >= 1733 @ 81.7025
85.36/85.74	c bounds 2827 >= 1733 @ 81.9753
85.56/85.90	c bounds 2826 >= 1733 @ 82.1287
85.67/86.06	c bounds 2825 >= 1733 @ 82.2827
85.76/86.11	c bounds 2825 >= 1734 @ 82.3286
85.86/86.29	c bounds 2824 >= 1734 @ 82.4979
86.46/86.86	c #Conflicts:      16000 | #Constraints:      18182
86.46/86.86	c #Conflicts:      17000 | #Constraints:      19182
86.46/86.86	c #Conflicts:      18000 | #Constraints:      20182
86.46/86.86	c INPROCESSING
86.46/86.86	c GARBAGE COLLECT
86.46/86.86	c bounds 2823 >= 1734 @ 83.0426
86.66/87.04	c bounds 2822 >= 1734 @ 83.2201
86.85/87.22	c bounds 2821 >= 1734 @ 83.3874
86.96/87.39	c bounds 2820 >= 1734 @ 83.5549
87.16/87.59	c bounds 2819 >= 1734 @ 83.7437
87.36/87.78	c bounds 2818 >= 1734 @ 83.931
87.45/87.80	c bounds 2818 >= 1735 @ 83.9456
87.45/87.81	c bounds 2818 >= 1736 @ 83.9603
87.45/87.85	c #Conflicts:      19000 | #Constraints:      18244
87.45/87.85	c bounds 2818 >= 1737 @ 83.992
87.66/88.03	c bounds 2817 >= 1737 @ 84.1653
87.86/88.22	c #Conflicts:      20000 | #Constraints:      19284
87.86/88.22	c bounds 2817 >= 1738 @ 84.3352
88.06/88.44	c bounds 2816 >= 1738 @ 84.5405
88.45/88.85	c bounds 2815 >= 1738 @ 84.9417
88.45/88.86	c bounds 2815 >= 1739 @ 84.9503
88.45/88.88	c bounds 2815 >= 1740 @ 84.9622
88.55/88.91	c bounds 2815 >= 1741 @ 84.9866
88.66/89.01	c #Conflicts:      21000 | #Constraints:      20421
88.66/89.01	c bounds 2815 >= 1742 @ 85.0766
89.05/89.42	c bounds 2814 >= 1742 @ 85.4437
89.05/89.43	c bounds 2814 >= 1743 @ 85.4475
189.18/189.83	c INPROCESSING
189.18/189.83	c GARBAGE COLLECT
189.18/189.83	c #Conflicts:      22000 | #Constraints:      18146
189.18/189.83	c bounds 2814 >= 1744 @ 185.296
189.57/190.22	c #Conflicts:      23000 | #Constraints:      19218
189.57/190.22	c #Conflicts:      24000 | #Constraints:      20218
189.57/190.22	c #Conflicts:      25000 | #Constraints:      21218
189.57/190.22	c bounds 2814 >= 1745 @ 185.655
189.67/190.33	c bounds 2813 >= 1745 @ 185.753
189.78/190.45	c bounds 2812 >= 1745 @ 185.86
189.88/190.55	c bounds 2811 >= 1745 @ 185.954
190.07/190.72	c INPROCESSING
190.07/190.72	c GARBAGE COLLECT
190.07/190.72	c bounds 2810 >= 1745 @ 186.115
190.17/190.85	c bounds 2809 >= 1745 @ 186.237
190.37/191.08	c bounds 2808 >= 1745 @ 186.454
190.37/191.09	c bounds 2808 >= 1746 @ 186.459
190.37/191.09	c bounds 2808 >= 1747 @ 186.465
190.57/191.27	c bounds 2807 >= 1747 @ 186.633
190.57/191.29	c bounds 2807 >= 1748 @ 186.651
190.67/191.33	c #Conflicts:      26000 | #Constraints:      18831
190.67/191.33	c bounds 2807 >= 1749 @ 186.686
190.67/191.38	c bounds 2807 >= 1750 @ 186.715
190.87/191.53	c bounds 2806 >= 1750 @ 186.855
190.97/191.67	c #Conflicts:      27000 | #Constraints:      19961
190.97/191.67	c bounds 2806 >= 1751 @ 186.99
191.17/191.81	c bounds 2805 >= 1751 @ 187.126
191.27/191.98	c bounds 2804 >= 1751 @ 187.286
191.87/192.52	c #Conflicts:      28000 | #Constraints:      21020
191.87/192.52	c #Conflicts:      29000 | #Constraints:      22020
191.87/192.52	c INPROCESSING
191.87/192.52	c GARBAGE COLLECT
191.87/192.52	c bounds 2803 >= 1751 @ 187.787
192.57/193.24	c bounds 2802 >= 1751 @ 188.48
192.67/193.35	c #Conflicts:      30000 | #Constraints:      19358
192.67/193.35	c bounds 2802 >= 1752 @ 188.576
194.16/194.86	c #Conflicts:      31000 | #Constraints:      20403
194.16/194.86	c #Conflicts:      32000 | #Constraints:      21403
194.16/194.86	c #Conflicts:      33000 | #Constraints:      22403
194.16/194.86	c #Conflicts:      34000 | #Constraints:      23403
194.16/194.86	c #Conflicts:      35000 | #Constraints:      24403
194.16/194.86	c #Conflicts:      36000 | #Constraints:      25403
194.16/194.86	c bounds 2802 >= 1753 @ 190.021
205.23/205.93	c #Conflicts:      37000 | #Constraints:      26463
205.23/205.93	c #Conflicts:      38000 | #Constraints:      27463
205.23/205.93	c bounds 2801 >= 1753 @ 200.856
205.23/205.94	c bounds 2801 >= 1754 @ 200.865
205.23/205.95	c bounds 2801 >= 1755 @ 200.873
205.33/206.00	c #Conflicts:      39000 | #Constraints:      28518
205.33/206.00	c bounds 2801 >= 1756 @ 200.917
205.53/206.21	c #Conflicts:      40000 | #Constraints:      29557
205.53/206.21	c bounds 2801 >= 1757 @ 201.123
579.01/580.86	c #Conflicts:      41000 | #Constraints:      30593
579.01/580.86	c #Conflicts:      42000 | #Constraints:      31593
579.01/580.86	c INPROCESSING
579.01/580.86	c GARBAGE COLLECT
579.01/580.86	c rational objective 2022.3
585.58/587.46	c #Conflicts:      43000 | #Constraints:      23712
585.58/587.46	c bounds 2801 >= 1758 @ 580.704
587.19/589.06	c #Conflicts:      44000 | #Constraints:      24772
587.19/589.06	c #Conflicts:      45000 | #Constraints:      25772
587.19/589.06	c #Conflicts:      46000 | #Constraints:      26772
587.19/589.06	c #Conflicts:      47000 | #Constraints:      27772
587.19/589.06	c #Conflicts:      48000 | #Constraints:      28772
587.19/589.06	c INPROCESSING
587.19/589.06	c GARBAGE COLLECT
587.19/589.06	c #Conflicts:      49000 | #Constraints:      22774
587.19/589.06	c #Conflicts:      50000 | #Constraints:      23774
587.19/589.06	c bounds 2801 >= 1759 @ 582.197
589.28/591.15	c #Conflicts:      51000 | #Constraints:      24819
589.28/591.15	c #Conflicts:      52000 | #Constraints:      25819
589.28/591.15	c #Conflicts:      53000 | #Constraints:      26819
589.28/591.15	c INPROCESSING
589.28/591.15	c GARBAGE COLLECT
589.28/591.15	c #Conflicts:      54000 | #Constraints:      21659
589.28/591.15	c #Conflicts:      55000 | #Constraints:      22659
589.28/591.15	c #Conflicts:      56000 | #Constraints:      23659
589.28/591.15	c #Conflicts:      57000 | #Constraints:      24659
589.28/591.15	c #Conflicts:      58000 | #Constraints:      25659
589.28/591.15	c INPROCESSING
589.28/591.15	c GARBAGE COLLECT
589.28/591.15	c #Conflicts:      59000 | #Constraints:      20835
589.28/591.15	c #Conflicts:      60000 | #Constraints:      21835
589.28/591.15	c #Conflicts:      61000 | #Constraints:      22835
589.28/591.15	c bounds 2801 >= 1760 @ 584.171
589.67/591.56	c #Conflicts:      62000 | #Constraints:      23949
589.67/591.56	c #Conflicts:      63000 | #Constraints:      24949
589.67/591.56	c bounds 2801 >= 1761 @ 584.565
589.88/591.72	c #Conflicts:      64000 | #Constraints:      25997
589.88/591.72	c bounds 2801 >= 1762 @ 584.718
590.08/591.91	c INPROCESSING
590.08/591.91	c GARBAGE COLLECT
590.08/591.91	c #Conflicts:      65000 | #Constraints:      21228
590.08/591.91	c bounds 2801 >= 1763 @ 584.889
590.57/592.45	c #Conflicts:      66000 | #Constraints:      22297
590.57/592.45	c #Conflicts:      67000 | #Constraints:      23297
590.57/592.45	c #Conflicts:      68000 | #Constraints:      24297
590.57/592.45	c bounds 2801 >= 1764 @ 585.398
592.37/594.27	c #Conflicts:      69000 | #Constraints:      25363
592.37/594.27	c #Conflicts:      70000 | #Constraints:      26363
592.37/594.27	c #Conflicts:      71000 | #Constraints:      27363
592.37/594.27	c #Conflicts:      72000 | #Constraints:      28363
592.37/594.27	c #Conflicts:      73000 | #Constraints:      29363
592.37/594.27	c bounds 2801 >= 1765 @ 587.163
596.05/597.92	c #Conflicts:      74000 | #Constraints:      30414
596.05/597.92	c #Conflicts:      75000 | #Constraints:      31414
596.05/597.92	c #Conflicts:      76000 | #Constraints:      32414
596.05/597.92	c #Conflicts:      77000 | #Constraints:      33414
596.05/597.92	c #Conflicts:      78000 | #Constraints:      34414
596.05/597.92	c #Conflicts:      79000 | #Constraints:      35414
596.05/597.92	c bounds 2801 >= 1766 @ 590.735
1012.12/1015.38	c #Conflicts:      80000 | #Constraints:      36462
1012.12/1015.38	c #Conflicts:      81000 | #Constraints:      37462
1012.12/1015.38	c #Conflicts:      82000 | #Constraints:      38462
1012.12/1015.38	c #Conflicts:      83000 | #Constraints:      39462
1012.12/1015.38	c #Conflicts:      84000 | #Constraints:      40462
1012.12/1015.38	c INPROCESSING
1012.12/1015.38	c GARBAGE COLLECT
1012.12/1015.38	c #Conflicts:      85000 | #Constraints:      28387
1012.12/1015.38	c #Conflicts:      86000 | #Constraints:      29387
1012.12/1015.38	c #Conflicts:      87000 | #Constraints:      30387
1012.12/1015.38	c #Conflicts:      88000 | #Constraints:      31387
1012.12/1015.38	c #Conflicts:      89000 | #Constraints:      32387
1012.12/1015.38	c #Conflicts:      90000 | #Constraints:      33387
1012.12/1015.38	c bounds 2800 >= 1766 @ 1006.06
1012.41/1015.62	c bounds 2799 >= 1766 @ 1006.3
1012.61/1015.86	c bounds 2798 >= 1766 @ 1006.53
1012.92/1016.11	c bounds 2797 >= 1766 @ 1006.77
1015.41/1018.69	c #Conflicts:      91000 | #Constraints:      34391
1015.41/1018.69	c INPROCESSING
1015.41/1018.69	c GARBAGE COLLECT
1015.41/1018.69	c bounds 2796 >= 1766 @ 1009.31
1016.00/1019.29	c #Conflicts:      92000 | #Constraints:      25273
1016.00/1019.29	c bounds 2795 >= 1766 @ 1009.9
1016.09/1019.30	c bounds 2795 >= 1767 @ 1009.91
1016.90/1020.17	c #Conflicts:      93000 | #Constraints:      26307
1016.90/1020.17	c #Conflicts:      94000 | #Constraints:      27307
1016.90/1020.17	c #Conflicts:      95000 | #Constraints:      28307
1016.90/1020.17	c #Conflicts:      96000 | #Constraints:      29307
1016.90/1020.17	c bounds 2795 >= 1768 @ 1010.75
1022.17/1025.45	c #Conflicts:      97000 | #Constraints:      30424
1022.17/1025.45	c #Conflicts:      98000 | #Constraints:      31424
1022.17/1025.45	c #Conflicts:      99000 | #Constraints:      32424
1022.17/1025.45	c INPROCESSING
1022.17/1025.45	c GARBAGE COLLECT
1022.17/1025.45	c bounds 2795 >= 1769 @ 1015.97
1022.17/1025.46	c bounds 2795 >= 1770 @ 1015.97
1022.17/1025.47	c bounds 2795 >= 1771 @ 1015.98
1022.28/1025.53	c bounds 2795 >= 1772 @ 1016.04
1022.48/1025.76	c #Conflicts:     100000 | #Constraints:      24905
1022.48/1025.76	c #Conflicts:     101000 | #Constraints:      25905
1022.48/1025.76	c bounds 2795 >= 1773 @ 1016.26
1023.37/1026.68	c #Conflicts:     102000 | #Constraints:      26953
1023.37/1026.68	c #Conflicts:     103000 | #Constraints:      27953
1023.37/1026.68	c #Conflicts:     104000 | #Constraints:      28953
1023.37/1026.68	c #Conflicts:     105000 | #Constraints:      29953
1023.37/1026.68	c bounds 2795 >= 1774 @ 1017.14
1629.32/1634.44	c #Conflicts:     106000 | #Constraints:      30989
1629.32/1634.44	c INPROCESSING
1629.32/1634.44	c GARBAGE COLLECT
1629.32/1634.44	c rational objective 2022.36
1637.30/1642.44	c #Conflicts:     107000 | #Constraints:      23938
1637.30/1642.44	c #Conflicts:     108000 | #Constraints:      24938
1637.30/1642.44	c #Conflicts:     109000 | #Constraints:      25938
1637.30/1642.44	c #Conflicts:     110000 | #Constraints:      26938
1637.30/1642.44	c #Conflicts:     111000 | #Constraints:      27938
1637.30/1642.44	c #Conflicts:     112000 | #Constraints:      28938
1637.30/1642.44	c bounds 2795 >= 1775 @ 1630.28
1646.27/1651.49	c #Conflicts:     113000 | #Constraints:      30016
1646.27/1651.49	c #Conflicts:     114000 | #Constraints:      31016
1646.27/1651.49	c #Conflicts:     115000 | #Constraints:      32016
1646.27/1651.49	c #Conflicts:     116000 | #Constraints:      33016
1646.27/1651.49	c #Conflicts:     117000 | #Constraints:      34016
1646.27/1651.49	c #Conflicts:     118000 | #Constraints:      35016
1646.27/1651.49	c #Conflicts:     119000 | #Constraints:      36016
1646.27/1651.49	c #Conflicts:     120000 | #Constraints:      37016
1646.27/1651.49	c #Conflicts:     121000 | #Constraints:      38016
1646.27/1651.49	c #Conflicts:     122000 | #Constraints:      39016
1646.27/1651.49	c #Conflicts:     123000 | #Constraints:      40016
1646.27/1651.49	c #Conflicts:     124000 | #Constraints:      41016
1646.27/1651.49	c #Conflicts:     125000 | #Constraints:      42016
1646.27/1651.49	c #Conflicts:     126000 | #Constraints:      43016
1646.27/1651.49	c #Conflicts:     127000 | #Constraints:      44016
1646.27/1651.49	c #Conflicts:     128000 | #Constraints:      45016
1646.27/1651.49	c #Conflicts:     129000 | #Constraints:      46016
1646.27/1651.49	c bounds 2795 >= 1776 @ 1639.11
1646.37/1651.53	c bounds 2791 >= 1776 @ 1639.13
1646.57/1651.74	c bounds 2790 >= 1776 @ 1639.34
1646.77/1651.92	c bounds 2789 >= 1776 @ 1639.51
1646.98/1652.11	c bounds 2788 >= 1776 @ 1639.69
1647.17/1652.30	c bounds 2787 >= 1776 @ 1639.87
1647.37/1652.55	c bounds 2786 >= 1776 @ 1640.11
1647.77/1652.92	c bounds 2785 >= 1776 @ 1640.48
1648.17/1653.35	c #Conflicts:     130000 | #Constraints:      47110
1648.17/1653.35	c bounds 2784 >= 1776 @ 1640.9
1648.57/1653.72	c bounds 2783 >= 1776 @ 1641.25
1648.76/1653.98	c bounds 2782 >= 1776 @ 1641.5
1649.16/1654.39	c bounds 2781 >= 1776 @ 1641.9
1649.76/1654.91	c bounds 2780 >= 1776 @ 1642.39
1650.07/1655.27	c #Conflicts:     131000 | #Constraints:      48115
1650.07/1655.27	c bounds 2779 >= 1776 @ 1642.74
1650.36/1655.59	c bounds 2778 >= 1776 @ 1643.05
1651.26/1656.40	c bounds 2777 >= 1776 @ 1643.84
1651.76/1656.91	c bounds 2776 >= 1776 @ 1644.34
1652.65/1657.89	c #Conflicts:     132000 | #Constraints:      49119
1652.65/1657.89	c INPROCESSING
1652.65/1657.89	c GARBAGE COLLECT
1652.65/1657.89	c bounds 2775 >= 1776 @ 1645.29
1653.45/1658.64	c bounds 2774 >= 1776 @ 1646.02
1655.04/1660.23	c #Conflicts:     133000 | #Constraints:      33164
1655.04/1660.23	c bounds 2773 >= 1776 @ 1647.59
1655.45/1660.60	c bounds 2772 >= 1776 @ 1647.96
1656.04/1661.25	c bounds 2771 >= 1776 @ 1648.59
1656.44/1661.61	c bounds 2770 >= 1776 @ 1648.93
1656.85/1662.03	c #Conflicts:     134000 | #Constraints:      34168
1656.85/1662.03	c bounds 2769 >= 1776 @ 1649.33
1657.24/1662.47	c bounds 2768 >= 1776 @ 1649.73
1657.70/1662.93	c bounds 2767 >= 1776 @ 1650.17
1658.20/1663.40	c bounds 2766 >= 1776 @ 1650.61
1658.80/1664.00	c #Conflicts:     135000 | #Constraints:      35172
1658.80/1664.00	c bounds 2765 >= 1776 @ 1651.19
1659.19/1664.42	c bounds 2764 >= 1776 @ 1651.59
1659.98/1665.20	c bounds 2763 >= 1776 @ 1652.34
1660.89/1666.16	c #Conflicts:     136000 | #Constraints:      36175
1660.89/1666.16	c bounds 2762 >= 1776 @ 1653.17
1661.48/1666.77	c bounds 2761 >= 1776 @ 1653.75
1662.08/1667.30	c bounds 2760 >= 1776 @ 1654.27
1663.08/1668.35	c #Conflicts:     137000 | #Constraints:      37178
1663.08/1668.35	c bounds 2759 >= 1776 @ 1655.28
1664.57/1669.85	c bounds 2758 >= 1776 @ 1656.73
1666.17/1671.41	c #Conflicts:     138000 | #Constraints:      38180
1666.17/1671.41	c bounds 2757 >= 1776 @ 1658.25
1667.27/1672.55	c bounds 2756 >= 1776 @ 1659.37
1675.05/1680.35	c #Conflicts:     139000 | #Constraints:      39182
1675.05/1680.35	c #Conflicts:     140000 | #Constraints:      40182
1675.05/1680.35	c bounds 2755 >= 1776 @ 1667.02
1675.15/1680.40	c bounds 2755 >= 1777 @ 1667.06
1675.15/1680.49	c bounds 2755 >= 1778 @ 1667.15
1675.65/1680.96	c INPROCESSING
1675.65/1680.96	c GARBAGE COLLECT
1675.65/1680.96	c bounds 2755 >= 1779 @ 1667.62
1675.76/1681.00	c #Conflicts:     141000 | #Constraints:      28438
1675.76/1681.00	c bounds 2755 >= 1780 @ 1667.65
1675.76/1681.05	c bounds 2755 >= 1781 @ 1667.69
1675.95/1681.24	c #Conflicts:     142000 | #Constraints:      29534
1675.95/1681.24	c #Conflicts:     143000 | #Constraints:      30534
1675.95/1681.24	c bounds 2755 >= 1782 @ 1667.88
1677.54/1682.83	c #Conflicts:     144000 | #Constraints:      31582
1677.54/1682.83	c #Conflicts:     145000 | #Constraints:      32582
1677.54/1682.83	c #Conflicts:     146000 | #Constraints:      33582
1677.54/1682.83	c #Conflicts:     147000 | #Constraints:      34582
1677.54/1682.83	c #Conflicts:     148000 | #Constraints:      35582
1677.54/1682.83	c #Conflicts:     149000 | #Constraints:      36582
1677.54/1682.83	c bounds 2755 >= 1783 @ 1669.42
1682.63/1687.94	c INPROCESSING
1682.63/1687.94	c GARBAGE COLLECT
1682.63/1687.94	c #Conflicts:     150000 | #Constraints:      26742
1682.63/1687.94	c #Conflicts:     151000 | #Constraints:      27742
1682.63/1687.94	c #Conflicts:     152000 | #Constraints:      28742
1682.63/1687.94	c #Conflicts:     153000 | #Constraints:      29742
1682.63/1687.94	c #Conflicts:     154000 | #Constraints:      30742
1682.63/1687.94	c #Conflicts:     155000 | #Constraints:      31742
1682.63/1687.94	c #Conflicts:     156000 | #Constraints:      32742
1682.63/1687.94	c #Conflicts:     157000 | #Constraints:      33742
1682.63/1687.94	c #Conflicts:     158000 | #Constraints:      34742
1682.63/1687.94	c INPROCESSING
1682.63/1687.94	c GARBAGE COLLECT
1682.63/1687.94	c #Conflicts:     159000 | #Constraints:      25752
1682.63/1687.94	c #Conflicts:     160000 | #Constraints:      26752
1682.63/1687.94	c #Conflicts:     161000 | #Constraints:      27752
1682.63/1687.94	c #Conflicts:     162000 | #Constraints:      28752
1682.63/1687.94	c #Conflicts:     163000 | #Constraints:      29752
1682.63/1687.94	c #Conflicts:     164000 | #Constraints:      30752
1682.63/1687.94	c #Conflicts:     165000 | #Constraints:      31752
1682.63/1687.94	c #Conflicts:     166000 | #Constraints:      32752
1682.63/1687.94	c #Conflicts:     167000 | #Constraints:      33752
1682.63/1687.94	c #Conflicts:     168000 | #Constraints:      34752
1682.63/1687.94	c bounds 2755 >= 1784 @ 1674.33
1711.79/1717.50	c #Conflicts:     169000 | #Constraints:      35827
1711.79/1717.50	c #Conflicts:     170000 | #Constraints:      36827
1711.79/1717.50	c #Conflicts:     171000 | #Constraints:      37827
1711.79/1717.50	c #Conflicts:     172000 | #Constraints:      38827
1711.79/1717.50	c #Conflicts:     173000 | #Constraints:      39827
1711.79/1717.50	c #Conflicts:     174000 | #Constraints:      40827
1711.79/1717.50	c #Conflicts:     175000 | #Constraints:      41827
1711.79/1717.50	c #Conflicts:     176000 | #Constraints:      42827
1711.79/1717.50	c #Conflicts:     177000 | #Constraints:      43827
1711.79/1717.50	c #Conflicts:     178000 | #Constraints:      44827
1711.79/1717.50	c #Conflicts:     179000 | #Constraints:      45827
1711.79/1717.50	c #Conflicts:     180000 | #Constraints:      46827
1711.79/1717.50	c #Conflicts:     181000 | #Constraints:      47827
1711.79/1717.50	c #Conflicts:     182000 | #Constraints:      48827
1711.79/1717.50	c #Conflicts:     183000 | #Constraints:      49827
1711.79/1717.50	c #Conflicts:     184000 | #Constraints:      50827
1711.79/1717.50	c #Conflicts:     185000 | #Constraints:      51827
1711.79/1717.50	c #Conflicts:     186000 | #Constraints:      52827
1711.79/1717.50	c #Conflicts:     187000 | #Constraints:      53827
1711.79/1717.50	c #Conflicts:     188000 | #Constraints:      54827
1711.79/1717.50	c #Conflicts:     189000 | #Constraints:      55827
1711.79/1717.50	c INPROCESSING
1711.79/1717.50	c GARBAGE COLLECT
1711.79/1717.50	c #Conflicts:     190000 | #Constraints:      36384
1711.79/1717.50	c #Conflicts:     191000 | #Constraints:      37384
1711.79/1717.50	c #Conflicts:     192000 | #Constraints:      38384
1711.79/1717.50	c #Conflicts:     193000 | #Constraints:      39384
1711.79/1717.50	c bounds 2754 >= 1784 @ 1703.13
1711.79/1717.53	c bounds 2754 >= 1785 @ 1703.14
1711.79/1717.55	c bounds 2754 >= 1786 @ 1703.17
1711.79/1717.59	c bounds 2754 >= 1787 @ 1703.2
1711.99/1717.72	c #Conflicts:     194000 | #Constraints:      40499
1711.99/1717.72	c bounds 2754 >= 1788 @ 1703.32
1712.40/1718.18	c #Conflicts:     195000 | #Constraints:      41538
1712.40/1718.18	c bounds 2754 >= 1789 @ 1703.79
1713.99/1719.73	c #Conflicts:     196000 | #Constraints:      42598
1713.99/1719.73	c #Conflicts:     197000 | #Constraints:      43598
1713.99/1719.73	c #Conflicts:     198000 | #Constraints:      44598
1713.99/1719.73	c #Conflicts:     199000 | #Constraints:      45598
1713.99/1719.73	c bounds 2754 >= 1790 @ 1705.31
1716.48/1722.21	c #Conflicts:     200000 | #Constraints:      46640
1716.48/1722.21	c INPROCESSING
1716.48/1722.21	c GARBAGE COLLECT
1716.48/1722.21	c #Conflicts:     201000 | #Constraints:      32121
1716.48/1722.21	c #Conflicts:     202000 | #Constraints:      33121
1716.48/1722.21	c #Conflicts:     203000 | #Constraints:      34121
1716.48/1722.21	c #Conflicts:     204000 | #Constraints:      35121
1716.48/1722.21	c #Conflicts:     205000 | #Constraints:      36121
1716.48/1722.21	c #Conflicts:     206000 | #Constraints:      37121
1716.48/1722.21	c #Conflicts:     207000 | #Constraints:      38121
1716.48/1722.21	c bounds 2754 >= 1791 @ 1707.75
2277.82/2286.17	c #Conflicts:     208000 | #Constraints:      39193
2277.82/2286.17	c #Conflicts:     209000 | #Constraints:      40193
2277.82/2286.17	c #Conflicts:     210000 | #Constraints:      41193
2277.82/2286.17	c INPROCESSING
2277.82/2286.17	c GARBAGE COLLECT
2277.82/2286.17	c #Conflicts:     211000 | #Constraints:      29129
2277.82/2286.17	c #Conflicts:     212000 | #Constraints:      30129
2277.82/2286.17	c #Conflicts:     213000 | #Constraints:      31129
2277.82/2286.17	c #Conflicts:     214000 | #Constraints:      32129
2277.82/2286.17	c #Conflicts:     215000 | #Constraints:      33129
2277.82/2286.17	c #Conflicts:     216000 | #Constraints:      34129
2277.82/2286.17	c #Conflicts:     217000 | #Constraints:      35129
2277.82/2286.17	c #Conflicts:     218000 | #Constraints:      36129
2277.82/2286.17	c #Conflicts:     219000 | #Constraints:      37129
2277.82/2286.17	c #Conflicts:     220000 | #Constraints:      38129
2277.82/2286.17	c #Conflicts:     221000 | #Constraints:      39129
2277.82/2286.17	c INPROCESSING
2277.82/2286.17	c GARBAGE COLLECT
2277.82/2286.17	c #Conflicts:     222000 | #Constraints:      28200
2277.82/2286.17	c #Conflicts:     223000 | #Constraints:      29200
2277.82/2286.17	c #Conflicts:     224000 | #Constraints:      30200
2277.82/2286.17	c #Conflicts:     225000 | #Constraints:      31200
2277.82/2286.17	c #Conflicts:     226000 | #Constraints:      32200
2277.82/2286.17	c #Conflicts:     227000 | #Constraints:      33200
2277.82/2286.17	c #Conflicts:     228000 | #Constraints:      34200
2277.82/2286.17	c #Conflicts:     229000 | #Constraints:      35200
2277.82/2286.17	c #Conflicts:     230000 | #Constraints:      36200
2277.82/2286.17	c #Conflicts:     231000 | #Constraints:      37200
2277.82/2286.17	c #Conflicts:     232000 | #Constraints:      38200
2277.82/2286.17	c bounds 2753 >= 1791 @ 2266.91
2278.62/2286.93	c #Conflicts:     233000 | #Constraints:      39201
2278.62/2286.93	c #Conflicts:     234000 | #Constraints:      40201
2278.62/2286.93	c bounds 2753 >= 1792 @ 2267.62
2280.52/2288.82	c #Conflicts:     235000 | #Constraints:      41273
2280.52/2288.82	c #Conflicts:     236000 | #Constraints:      42273
2280.52/2288.82	c #Conflicts:     237000 | #Constraints:      43273
2280.52/2288.82	c #Conflicts:     238000 | #Constraints:      44273
2280.52/2288.82	c #Conflicts:     239000 | #Constraints:      45273
2280.52/2288.82	c bounds 2753 >= 1793 @ 2269.46
2289.69/2298.08	c #Conflicts:     240000 | #Constraints:      46309
2289.69/2298.08	c #Conflicts:     241000 | #Constraints:      47309
2289.69/2298.08	c #Conflicts:     242000 | #Constraints:      48309
2289.69/2298.08	c #Conflicts:     243000 | #Constraints:      49309
2289.69/2298.08	c #Conflicts:     244000 | #Constraints:      50309
2289.69/2298.08	c #Conflicts:     245000 | #Constraints:      51309
2289.69/2298.08	c #Conflicts:     246000 | #Constraints:      52309
2289.69/2298.08	c #Conflicts:     247000 | #Constraints:      53309
2289.69/2298.08	c #Conflicts:     248000 | #Constraints:      54309
2289.69/2298.08	c #Conflicts:     249000 | #Constraints:      55309
2289.69/2298.08	c #Conflicts:     250000 | #Constraints:      56309
2289.69/2298.08	c #Conflicts:     251000 | #Constraints:      57309
2289.69/2298.08	c #Conflicts:     252000 | #Constraints:      58309
2289.69/2298.08	c #Conflicts:     253000 | #Constraints:      59309
2289.69/2298.08	c #Conflicts:     254000 | #Constraints:      60309
2289.69/2298.08	c #Conflicts:     255000 | #Constraints:      61309
2289.69/2298.08	c bounds 2753 >= 1794 @ 2278.54
2313.03/2321.48	c #Conflicts:     256000 | #Constraints:      62372
2313.03/2321.48	c #Conflicts:     257000 | #Constraints:      63372
2313.03/2321.48	c INPROCESSING
2313.03/2321.48	c GARBAGE COLLECT
2313.03/2321.48	c #Conflicts:     258000 | #Constraints:      40268
2313.03/2321.48	c #Conflicts:     259000 | #Constraints:      41268
2313.03/2321.48	c #Conflicts:     260000 | #Constraints:      42268
2313.03/2321.48	c #Conflicts:     261000 | #Constraints:      43268
2313.03/2321.48	c #Conflicts:     262000 | #Constraints:      44268
2313.03/2321.48	c #Conflicts:     263000 | #Constraints:      45268
2313.03/2321.48	c #Conflicts:     264000 | #Constraints:      46268
2313.03/2321.48	c #Conflicts:     265000 | #Constraints:      47268
2313.03/2321.48	c #Conflicts:     266000 | #Constraints:      48268
2313.03/2321.48	c #Conflicts:     267000 | #Constraints:      49268
2313.03/2321.48	c #Conflicts:     268000 | #Constraints:      50268
2313.03/2321.48	c #Conflicts:     269000 | #Constraints:      51268
2313.03/2321.48	c INPROCESSING
2313.03/2321.48	c GARBAGE COLLECT
2313.03/2321.48	c #Conflicts:     270000 | #Constraints:      34179
2313.03/2321.48	c #Conflicts:     271000 | #Constraints:      35179
2313.03/2321.48	c #Conflicts:     272000 | #Constraints:      36179
2313.03/2321.48	c #Conflicts:     273000 | #Constraints:      37179
2313.03/2321.48	c #Conflicts:     274000 | #Constraints:      38179
2313.03/2321.48	c #Conflicts:     275000 | #Constraints:      39179
2313.03/2321.48	c #Conflicts:     276000 | #Constraints:      40179
2313.03/2321.48	c #Conflicts:     277000 | #Constraints:      41179
2313.03/2321.48	c #Conflicts:     278000 | #Constraints:      42179
2313.03/2321.48	c #Conflicts:     279000 | #Constraints:      43179
2313.03/2321.48	c #Conflicts:     280000 | #Constraints:      44179
2313.03/2321.48	c #Conflicts:     281000 | #Constraints:      45179
2313.03/2321.48	c #Conflicts:     282000 | #Constraints:      46179
2313.03/2321.48	c INPROCESSING
2313.03/2321.48	c GARBAGE COLLECT
2313.03/2321.48	c #Conflicts:     283000 | #Constraints:      31983
2313.03/2321.48	c #Conflicts:     284000 | #Constraints:      32983
2313.03/2321.48	c #Conflicts:     285000 | #Constraints:      33983
2313.03/2321.48	c #Conflicts:     286000 | #Constraints:      34983
2313.03/2321.48	c #Conflicts:     287000 | #Constraints:      35983
2313.03/2321.48	c #Conflicts:     288000 | #Constraints:      36983
2313.03/2321.48	c #Conflicts:     289000 | #Constraints:      37983
2313.03/2321.48	c #Conflicts:     290000 | #Constraints:      38983
2313.03/2321.48	c #Conflicts:     291000 | #Constraints:      39983
2313.03/2321.48	c #Conflicts:     292000 | #Constraints:      40983
2313.03/2321.48	c #Conflicts:     293000 | #Constraints:      41983
2313.03/2321.48	c #Conflicts:     294000 | #Constraints:      42983
2313.03/2321.48	c INPROCESSING
2313.03/2321.48	c GARBAGE COLLECT
2313.03/2321.48	c #Conflicts:     295000 | #Constraints:      30132
2313.03/2321.48	c #Conflicts:     296000 | #Constraints:      31132
2313.03/2321.48	c #Conflicts:     297000 | #Constraints:      32132
2313.03/2321.48	c #Conflicts:     298000 | #Constraints:      33132
2313.03/2321.48	c #Conflicts:     299000 | #Constraints:      34132
2313.03/2321.48	c #Conflicts:     300000 | #Constraints:      35132
2313.03/2321.48	c #Conflicts:     301000 | #Constraints:      36132
2313.03/2321.48	c #Conflicts:     302000 | #Constraints:      37132
2313.03/2321.48	c #Conflicts:     303000 | #Constraints:      38132
2313.03/2321.48	c #Conflicts:     304000 | #Constraints:      39132
2313.03/2321.48	c #Conflicts:     305000 | #Constraints:      40132
2313.03/2321.48	c #Conflicts:     306000 | #Constraints:      41132
2313.03/2321.48	c #Conflicts:     307000 | #Constraints:      42132
2313.03/2321.48	c #Conflicts:     308000 | #Constraints:      43132
2313.03/2321.48	c #Conflicts:     309000 | #Constraints:      44132
2313.03/2321.48	c #Conflicts:     310000 | #Constraints:      45132
2313.03/2321.48	c bounds 2753 >= 1795 @ 2301.34
2347.42/2355.96	c #Conflicts:     311000 | #Constraints:      46201
2347.42/2355.96	c #Conflicts:     312000 | #Constraints:      47201
2347.42/2355.96	c #Conflicts:     313000 | #Constraints:      48201
2347.42/2355.96	c #Conflicts:     314000 | #Constraints:      49201
2347.42/2355.96	c #Conflicts:     315000 | #Constraints:      50201
2347.42/2355.96	c #Conflicts:     316000 | #Constraints:      51201
2347.42/2355.96	c #Conflicts:     317000 | #Constraints:      52201
2347.42/2355.96	c #Conflicts:     318000 | #Constraints:      53201
2347.42/2355.96	c #Conflicts:     319000 | #Constraints:      54201
2347.42/2355.96	c #Conflicts:     320000 | #Constraints:      55201
2347.42/2355.96	c #Conflicts:     321000 | #Constraints:      56201
2347.42/2355.96	c #Conflicts:     322000 | #Constraints:      57201
2347.42/2355.96	c #Conflicts:     323000 | #Constraints:      58201
2347.42/2355.96	c #Conflicts:     324000 | #Constraints:      59201
2347.42/2355.96	c #Conflicts:     325000 | #Constraints:      60201
2347.42/2355.96	c #Conflicts:     326000 | #Constraints:      61201
2347.42/2355.96	c #Conflicts:     327000 | #Constraints:      62201
2347.42/2355.96	c #Conflicts:     328000 | #Constraints:      63201
2347.42/2355.96	c #Conflicts:     329000 | #Constraints:      64201
2347.42/2355.96	c #Conflicts:     330000 | #Constraints:      65201
2347.42/2355.96	c #Conflicts:     331000 | #Constraints:      66201
2347.42/2355.96	c #Conflicts:     332000 | #Constraints:      67201
2347.42/2355.96	c #Conflicts:     333000 | #Constraints:      68201
2347.42/2355.96	c #Conflicts:     334000 | #Constraints:      69201
2347.42/2355.96	c #Conflicts:     335000 | #Constraints:      70201
2347.42/2355.96	c #Conflicts:     336000 | #Constraints:      71201
2347.42/2355.96	c INPROCESSING
2347.42/2355.96	c GARBAGE COLLECT
2347.42/2355.96	c #Conflicts:     337000 | #Constraints:      44518
2347.42/2355.96	c #Conflicts:     338000 | #Constraints:      45518
2347.42/2355.96	c #Conflicts:     339000 | #Constraints:      46518
2347.42/2355.96	c #Conflicts:     340000 | #Constraints:      47518
2347.42/2355.96	c #Conflicts:     341000 | #Constraints:      48518
2347.42/2355.96	c #Conflicts:     342000 | #Constraints:      49518
2347.42/2355.96	c #Conflicts:     343000 | #Constraints:      50518
2347.42/2355.96	c #Conflicts:     344000 | #Constraints:      51518
2347.42/2355.96	c #Conflicts:     345000 | #Constraints:      52518
2347.42/2355.96	c #Conflicts:     346000 | #Constraints:      53518
2347.42/2355.96	c #Conflicts:     347000 | #Constraints:      54518
2347.42/2355.96	c #Conflicts:     348000 | #Constraints:      55518
2347.42/2355.96	c #Conflicts:     349000 | #Constraints:      56518
2347.42/2355.96	c INPROCESSING
2347.42/2355.96	c GARBAGE COLLECT
2347.42/2355.96	c #Conflicts:     350000 | #Constraints:      36777
2347.42/2355.96	c bounds 2752 >= 1795 @ 2335.38
2349.53/2358.02	c #Conflicts:     351000 | #Constraints:      37778
2349.53/2358.02	c bounds 2751 >= 1795 @ 2337.42
2350.58/2359.82	c bounds 2750 >= 1795 @ 2338.46
2351.27/2360.56	c bounds 2749 >= 1795 @ 2339.2
2351.27/2360.57	c bounds 2749 >= 1796 @ 2339.21
2351.38/2360.60	c bounds 2749 >= 1797 @ 2339.23
2351.38/2360.66	c #Conflicts:     352000 | #Constraints:      38836
2351.38/2360.66	c bounds 2749 >= 1798 @ 2339.29
2351.57/2360.85	c bounds 2749 >= 1799 @ 2339.48
2351.98/2361.24	c #Conflicts:     353000 | #Constraints:      39917
2351.98/2361.24	c bounds 2749 >= 1800 @ 2339.86
2352.38/2361.64	c bounds 2748 >= 1800 @ 2340.25
2353.37/2362.65	c #Conflicts:     354000 | #Constraints:      40981
2353.37/2362.65	c #Conflicts:     355000 | #Constraints:      41981
2353.37/2362.65	c bounds 2748 >= 1801 @ 2341.24
2353.77/2363.05	c bounds 2747 >= 1801 @ 2341.62
2354.37/2363.62	c bounds 2746 >= 1801 @ 2342.18
2362.75/2372.10	c #Conflicts:     356000 | #Constraints:      43022
2362.75/2372.10	c #Conflicts:     357000 | #Constraints:      44022
2362.75/2372.10	c bounds 2745 >= 1801 @ 2350.49
2362.85/2372.13	c bounds 2745 >= 1802 @ 2350.5
2362.85/2372.18	c bounds 2745 >= 1803 @ 2350.55
2363.04/2372.31	c #Conflicts:     358000 | #Constraints:      45086
2363.04/2372.31	c bounds 2745 >= 1804 @ 2350.68
2363.35/2372.63	c bounds 2745 >= 1805 @ 2350.99
2364.84/2374.17	c #Conflicts:     359000 | #Constraints:      46191
2364.84/2374.17	c #Conflicts:     360000 | #Constraints:      47191
2364.84/2374.17	c bounds 2745 >= 1806 @ 2352.5
3106.22/3117.59	c #Conflicts:     361000 | #Constraints:      48230
3106.22/3117.59	c #Conflicts:     362000 | #Constraints:      49230
3106.22/3117.59	c #Conflicts:     363000 | #Constraints:      50230
3106.22/3117.59	c INPROCESSING
3106.22/3117.59	c GARBAGE COLLECT
3106.22/3117.59	c #Conflicts:     364000 | #Constraints:      33689
3106.22/3117.59	c #Conflicts:     365000 | #Constraints:      34689
3106.22/3117.59	c bounds 2745 >= 1807 @ 3091.93
3107.12/3118.46	c #Conflicts:     366000 | #Constraints:      35755
3107.12/3118.46	c #Conflicts:     367000 | #Constraints:      36755
3107.12/3118.46	c #Conflicts:     368000 | #Constraints:      37755
3107.12/3118.46	c #Conflicts:     369000 | #Constraints:      38755
3107.12/3118.46	c bounds 2745 >= 1808 @ 3092.75
3108.01/3119.37	c #Conflicts:     370000 | #Constraints:      39845
3108.01/3119.37	c #Conflicts:     371000 | #Constraints:      40845
3108.01/3119.37	c bounds 2745 >= 1809 @ 3093.65
3111.20/3122.51	c #Conflicts:     372000 | #Constraints:      41890
3111.20/3122.51	c #Conflicts:     373000 | #Constraints:      42890
3111.20/3122.51	c #Conflicts:     374000 | #Constraints:      43890
3111.20/3122.51	c #Conflicts:     375000 | #Constraints:      44890
3111.20/3122.51	c #Conflicts:     376000 | #Constraints:      45890
3111.20/3122.51	c #Conflicts:     377000 | #Constraints:      46890
3111.20/3122.51	c #Conflicts:     378000 | #Constraints:      47890
3111.20/3122.51	c INPROCESSING
3111.20/3122.51	c GARBAGE COLLECT
3111.20/3122.51	c #Conflicts:     379000 | #Constraints:      33001
3111.20/3122.51	c bounds 2744 >= 1809 @ 3096.73
3113.10/3124.47	c bounds 2743 >= 1809 @ 3098.66
3113.19/3124.51	c #Conflicts:     380000 | #Constraints:      34003
3113.19/3124.51	c bounds 2743 >= 1810 @ 3098.68
3113.19/3124.52	c bounds 2743 >= 1811 @ 3098.69
3113.19/3124.55	c bounds 2743 >= 1812 @ 3098.72
3113.29/3124.63	c bounds 2743 >= 1813 @ 3098.8
3113.40/3124.77	c #Conflicts:     381000 | #Constraints:      35147
3113.40/3124.77	c bounds 2743 >= 1814 @ 3098.92
3113.80/3125.13	c #Conflicts:     382000 | #Constraints:      36192
3113.80/3125.13	c #Conflicts:     383000 | #Constraints:      37192
3113.80/3125.13	c bounds 2743 >= 1815 @ 3099.26
3115.09/3126.47	c #Conflicts:     384000 | #Constraints:      38240
3115.09/3126.47	c #Conflicts:     385000 | #Constraints:      39240
3115.09/3126.47	c #Conflicts:     386000 | #Constraints:      40240
3115.09/3126.47	c #Conflicts:     387000 | #Constraints:      41240
3115.09/3126.47	c bounds 2743 >= 1816 @ 3100.54
3120.27/3131.62	c #Conflicts:     388000 | #Constraints:      42294
3120.27/3131.62	c #Conflicts:     389000 | #Constraints:      43294
3120.27/3131.62	c bounds 2742 >= 1816 @ 3105.6
3120.27/3131.64	c bounds 2742 >= 1817 @ 3105.61
3120.27/3131.66	c bounds 2742 >= 1818 @ 3105.63
3120.38/3131.71	c bounds 2742 >= 1819 @ 3105.67
3120.47/3131.86	c #Conflicts:     390000 | #Constraints:      44403
3120.47/3131.86	c bounds 2742 >= 1820 @ 3105.82
3120.97/3132.38	c #Conflicts:     391000 | #Constraints:      45457
3120.97/3132.38	c #Conflicts:     392000 | #Constraints:      46457
3120.97/3132.38	c bounds 2742 >= 1821 @ 3106.32
3125.46/3136.87	c #Conflicts:     393000 | #Constraints:      47505
3125.46/3136.87	c #Conflicts:     394000 | #Constraints:      48505
3125.46/3136.87	c #Conflicts:     395000 | #Constraints:      49505
3125.46/3136.87	c #Conflicts:     396000 | #Constraints:      50505
3125.46/3136.87	c #Conflicts:     397000 | #Constraints:      51505
3125.46/3136.87	c #Conflicts:     398000 | #Constraints:      52505
3125.46/3136.87	c #Conflicts:     399000 | #Constraints:      53505
3125.46/3136.87	c #Conflicts:     400000 | #Constraints:      54505
3125.46/3136.87	c #Conflicts:     401000 | #Constraints:      55505
3125.46/3136.87	c bounds 2742 >= 1822 @ 3110.71
3129.55/3140.99	c #Conflicts:     402000 | #Constraints:      56550
3129.55/3140.99	c bounds 2741 >= 1822 @ 3114.74
3131.75/3143.12	c #Conflicts:     403000 | #Constraints:      57551
3131.75/3143.12	c #Conflicts:     404000 | #Constraints:      58551
3131.75/3143.12	c #Conflicts:     405000 | #Constraints:      59551
3131.75/3143.12	c #Conflicts:     406000 | #Constraints:      60551
3131.75/3143.12	c #Conflicts:     407000 | #Constraints:      61551
3131.75/3143.12	c #Conflicts:     408000 | #Constraints:      62551
3131.75/3143.12	c bounds 2741 >= 1823 @ 3116.81
3132.05/3143.49	c bounds 2740 >= 1823 @ 3117.17
3143.41/3155.65	c #Conflicts:     409000 | #Constraints:      63639
3143.41/3155.65	c #Conflicts:     410000 | #Constraints:      64639
3143.41/3155.65	c #Conflicts:     411000 | #Constraints:      65639
3143.41/3155.65	c #Conflicts:     412000 | #Constraints:      66639
3143.41/3155.65	c #Conflicts:     413000 | #Constraints:      67639
3143.41/3155.65	c #Conflicts:     414000 | #Constraints:      68639
3143.41/3155.65	c #Conflicts:     415000 | #Constraints:      69639
3143.41/3155.65	c #Conflicts:     416000 | #Constraints:      70639
3143.41/3155.65	c #Conflicts:     417000 | #Constraints:      71639
3143.41/3155.65	c #Conflicts:     418000 | #Constraints:      72639
3143.41/3155.65	c #Conflicts:     419000 | #Constraints:      73639
3143.41/3155.65	c #Conflicts:     420000 | #Constraints:      74639
3143.41/3155.65	c #Conflicts:     421000 | #Constraints:      75639
3143.41/3155.65	c #Conflicts:     422000 | #Constraints:      76639
3143.41/3155.65	c #Conflicts:     423000 | #Constraints:      77639
3143.41/3155.65	c #Conflicts:     424000 | #Constraints:      78639
3143.41/3155.65	c INPROCESSING
3143.41/3155.65	c GARBAGE COLLECT
3143.41/3155.65	c bounds 2739 >= 1823 @ 3128.36
3143.61/3155.87	c #Conflicts:     425000 | #Constraints:      48126
3143.61/3155.87	c bounds 2738 >= 1823 @ 3128.57
3144.11/3156.31	c bounds 2737 >= 1823 @ 3129.01
3144.51/3156.74	c bounds 2736 >= 1823 @ 3129.43
3145.31/3157.50	c bounds 2735 >= 1823 @ 3130.18
3155.38/3167.66	c #Conflicts:     426000 | #Constraints:      49130
3155.38/3167.66	c #Conflicts:     427000 | #Constraints:      50130
3155.38/3167.66	c #Conflicts:     428000 | #Constraints:      51130
3155.38/3167.66	c bounds 2734 >= 1823 @ 3140.23
3163.66/3175.93	c #Conflicts:     429000 | #Constraints:      52131
3163.66/3175.93	c #Conflicts:     430000 | #Constraints:      53131
3163.66/3175.93	c #Conflicts:     431000 | #Constraints:      54131
3163.66/3175.93	c #Conflicts:     432000 | #Constraints:      55131
3163.66/3175.93	c #Conflicts:     433000 | #Constraints:      56131
3163.66/3175.93	c #Conflicts:     434000 | #Constraints:      57131
3163.66/3175.93	c #Conflicts:     435000 | #Constraints:      58131
3163.66/3175.93	c #Conflicts:     436000 | #Constraints:      59131
3163.66/3175.93	c #Conflicts:     437000 | #Constraints:      60131
3163.66/3175.93	c #Conflicts:     438000 | #Constraints:      61131
3163.66/3175.93	c #Conflicts:     439000 | #Constraints:      62131
3163.66/3175.93	c #Conflicts:     440000 | #Constraints:      63131
3163.66/3175.93	c INPROCESSING
3163.66/3175.93	c GARBAGE COLLECT
3163.66/3175.93	c bounds 2733 >= 1823 @ 3148.4
3190.74/3204.25	c #Conflicts:     441000 | #Constraints:      40628
3190.74/3204.25	c #Conflicts:     442000 | #Constraints:      41628
3190.74/3204.25	c #Conflicts:     443000 | #Constraints:      42628
3190.74/3204.25	c #Conflicts:     444000 | #Constraints:      43628
3190.74/3204.25	c #Conflicts:     445000 | #Constraints:      44628
3190.74/3204.25	c bounds 2732 >= 1823 @ 3175.25

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4531791-1752584620/watcher-4531791-1752584620 -o /tmp/evaluation-result-4531791-1752584620/solver-4531791-1752584620 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1752584602-134598 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4531791-1752584620.opb PROOFDIR/proof-4531791-1752584620 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100061 s]*
/proc/loadavg: 1.06 0.53 0.32 4/263 134840
/proc/meminfo: memFree=128723728/131250000 swapFree=33008356/33010684
[pid=134837] ppid=134833 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/134837/stat : 134837 (run-opt-ls-log.) S 134833 134837 134587 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 174139564 4292608 736 18446744073709551615 94612233945088 94612234839621 140722067581952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94612235078672 94612235126416 94612250677248 140722067585305 140722067585503 140722067585503 140722067591107 0
/proc/134837/statm: 1048 736 672 219 0 110 0
[pid=134840] ppid=134837 vsize=25576 memory=16516 CPUtime=0.07 cores=4,6
/proc/134840/stat : 134840 (pbsuma) R 134837 134837 134587 0 -1 4194304 3985 0 0 0 7 0 0 0 20 0 1 0 174139564 26189824 4129 18446744073709551615 4210688 4653049 140721219449040 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 14286848 140721219455201 140721219455536 140721219455536 140721219461103 0
/proc/134840/statm: 6394 4129 1024 108 0 3802 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 29768 KiB
Current children cumulated memory: 19460 KiB

[startup+0.20554 s]*
/proc/loadavg: 1.06 0.53 0.32 5/265 134847
/proc/meminfo: memFree=128720240/131250000 swapFree=33008356/33010684
[pid=134837] ppid=134833 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/134837/stat : 134837 (run-opt-ls-log.) S 134833 134837 134587 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 174139564 4292608 736 18446744073709551615 94612233945088 94612234839621 140722067581952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94612235078672 94612235126416 94612250677248 140722067585305 140722067585503 140722067585503 140722067591107 0
/proc/134837/statm: 1048 736 672 219 0 110 0
[pid=134840] ppid=134837 vsize=25576 memory=16516 CPUtime=0.17 cores=4,6
/proc/134840/stat : 134840 (pbsuma) R 134837 134837 134587 0 -1 4194304 3985 0 0 0 17 0 0 0 20 0 1 0 174139564 26189824 4129 18446744073709551615 4210688 4653049 140721219449040 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 14286848 140721219455201 140721219455536 140721219455536 140721219461103 0
/proc/134840/statm: 6394 4129 1024 108 0 3802 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 29768 KiB
Current children cumulated memory: 19460 KiB

[startup+0.305509 s]*
/proc/loadavg: 1.06 0.53 0.32 5/269 134856
/proc/meminfo: memFree=128711248/131250000 swapFree=33008356/33010684
[pid=134837] ppid=134833 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/134837/stat : 134837 (run-opt-ls-log.) S 134833 134837 134587 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 174139564 4292608 736 18446744073709551615 94612233945088 94612234839621 140722067581952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94612235078672 94612235126416 94612250677248 140722067585305 140722067585503 140722067585503 140722067591107 0
/proc/134837/statm: 1048 736 672 219 0 110 0
[pid=134840] ppid=134837 vsize=31832 memory=21560 CPUtime=0.27 cores=4,6
/proc/134840/stat : 134840 (pbsuma) R 134837 134837 134587 0 -1 4194304 6409 0 0 0 26 1 0 0 20 0 1 0 174139564 32595968 5390 18446744073709551615 4210688 4653049 140721219449040 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 14286848 140721219455201 140721219455536 140721219455536 140721219461103 0
/proc/134840/statm: 7958 5390 1024 108 0 5366 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 36024 KiB
Current children cumulated memory: 24504 KiB

[startup+0.70014 s]
/proc/loadavg: 1.06 0.53 0.32 5/269 134856
/proc/meminfo: memFree=128706212/131250000 swapFree=33008356/33010684
[pid=134837] ppid=134833 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/134837/stat : 134837 (run-opt-ls-log.) S 134833 134837 134587 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 174139564 4292608 736 18446744073709551615 94612233945088 94612234839621 140722067581952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94612235078672 94612235126416 94612250677248 140722067585305 140722067585503 140722067585503 140722067591107 0
/proc/134837/statm: 1048 736 672 219 0 110 0
[pid=134840] ppid=134837 vsize=31832 memory=23096 CPUtime=0.66 cores=4,6
/proc/134840/stat : 134840 (pbsuma) R 134837 134837 134587 0 -1 4194304 6781 0 0 0 64 2 0 0 20 0 1 0 174139564 32595968 5774 18446744073709551615 4210688 4653049 140721219449040 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 14286848 140721219455201 140721219455536 140721219455536 140721219461103 0
/proc/134840/statm: 7958 5774 1024 108 0 5366 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 36024 KiB
Current children cumulated memory: 26040 KiB

[startup+1.50014 s]
/proc/loadavg: 1.06 0.53 0.32 5/269 134856
/proc/meminfo: memFree=128678492/131250000 swapFree=33008356/33010684
[pid=134837] ppid=134833 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/134837/stat : 134837 (run-opt-ls-log.) S 134833 134837 134587 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 174139564 4292608 736 18446744073709551615 94612233945088 94612234839621 140722067581952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94612235078672 94612235126416 94612250677248 140722067585305 140722067585503 140722067585503 140722067591107 0
/proc/134837/statm: 1048 736 672 219 0 110 0
[pid=134840] ppid=134837 vsize=38828 memory=30008 CPUtime=1.46 cores=4,6
/proc/134840/stat : 134840 (pbsuma) R 134837 134837 134587 0 -1 4194304 8511 0 0 0 143 3 0 0 20 0 1 0 174139564 39759872 7502 18446744073709551615 4210688 4653049 140721219449040 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 14286848 140721219455201 140721219455536 140721219455536 140721219461103 0
/proc/134840/statm: 9707 7502 1024 108 0 7115 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 43020 KiB
Current children cumulated memory: 32952 KiB

[startup+3.10544 s]
/proc/loadavg: 1.30 0.59 0.34 5/270 134858
/proc/meminfo: memFree=128581956/131250000 swapFree=33008356/33010684
[pid=134837] ppid=134833 vsize=4192 memory=2944 CPUtime=1.76 cores=4,6
/proc/134837/stat : 134837 (run-opt-ls-log.) S 134833 134837 134587 0 -1 4194304 239 9147 0 0 0 0 168 8 20 0 1 0 174139564 4292608 736 18446744073709551615 94612233945088 94612234839621 140722067581952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94612235078672 94612235126416 94612250677248 140722067585305 140722067585503 140722067585503 140722067591107 0
/proc/134837/statm: 1048 736 672 219 0 110 0
[pid=134858] ppid=134837 vsize=91108 memory=43420 CPUtime=1.22 cores=4,6
/proc/134858/stat : 134858 (roundingsat) R 134837 134837 134587 0 -1 4194304 8926 0 0 0 120 2 0 0 20 0 1 0 174139751 93294592 10855 18446744073709551615 4227072 8923577 140723091139392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19836928 140723091142900 140723091143206 140723091143206 140723091148778 0
/proc/134858/statm: 22777 10855 2432 1147 0 10203 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 95300 KiB
Current children cumulated memory: 46364 KiB

[startup+6.30016 s]
/proc/loadavg: 1.30 0.59 0.34 5/270 134858
/proc/meminfo: memFree=128359476/131250000 swapFree=33008356/33010684
[pid=134837] ppid=134833 vsize=4192 memory=2944 CPUtime=1.76 cores=4,6
/proc/134837/stat : 134837 (run-opt-ls-log.) S 134833 134837 134587 0 -1 4194304 239 9147 0 0 0 0 168 8 20 0 1 0 174139564 4292608 736 18446744073709551615 94612233945088 94612234839621 140722067581952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94612235078672 94612235126416 94612250677248 140722067585305 140722067585503 140722067585503 140722067591107 0
/proc/134837/statm: 1048 736 672 219 0 110 0
[pid=134858] ppid=134837 vsize=164900 memory=118544 CPUtime=4.4 cores=4,6
/proc/134858/stat : 134858 (roundingsat) R 134837 134837 134587 0 -1 4194304 19230 0 0 0 394 46 0 0 20 0 1 0 174139751 168857600 29636 18446744073709551615 4227072 8923577 140723091139392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19836928 140723091142900 140723091143206 140723091143206 140723091148778 0
/proc/134858/statm: 41225 29636 2432 1147 0 28651 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 169092 KiB
Current children cumulated memory: 121488 KiB

[startup+12.7002 s]
/proc/loadavg: 1.52 0.65 0.36 5/270 134858
/proc/meminfo: memFree=127879332/131250000 swapFree=33008356/33010684
[pid=134837] ppid=134833 vsize=4192 memory=2944 CPUtime=1.76 cores=4,6
/proc/134837/stat : 134837 (run-opt-ls-log.) S 134833 134837 134587 0 -1 4194304 239 9147 0 0 0 0 168 8 20 0 1 0 174139564 4292608 736 18446744073709551615 94612233945088 94612234839621 140722067581952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94612235078672 94612235126416 94612250677248 140722067585305 140722067585503 140722067585503 140722067591107 0
/proc/134837/statm: 1048 736 672 219 0 110 0
[pid=134858] ppid=134837 vsize=313688 memory=224384 CPUtime=10.79 cores=4,6
/proc/134858/stat : 134858 (roundingsat) R 134837 134837 134587 0 -1 4194304 36447 0 0 0 970 109 0 0 20 0 1 0 174139751 321216512 56096 18446744073709551615 4227072 8923577 140723091139392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19836928 140723091142900 140723091143206 140723091143206 140723091148778 0
/proc/134858/statm: 78422 56096 2464 1147 0 65848 0
Current children cumulated CPU time: 12.55 s
Current children cumulated vsize: 317880 KiB
Current children cumulated memory: 227328 KiB

[startup+25.5002 s]
/proc/loadavg: 2.07 0.81 0.42 5/271 134860
/proc/meminfo: memFree=127478648/131250000 swapFree=33008356/33010684
[pid=134837] ppid=134833 vsize=4192 memory=2944 CPUtime=1.76 cores=4,6
/proc/134837/stat : 134837 (run-opt-ls-log.) S 134833 134837 134587 0 -1 4194304 239 9147 0 0 0 0 168 8 20 0 1 0 174139564 4292608 736 18446744073709551615 94612233945088 94612234839621 140722067581952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94612235078672 94612235126416 94612250677248 140722067585305 140722067585503 140722067585503 140722067591107 0
/proc/134837/statm: 1048 736 672 219 0 110 0
[pid=134858] ppid=134837 vsize=314600 memory=225664 CPUtime=23.56 cores=4,6
/proc/134858/stat : 134858 (roundingsat) R 134837 134837 134587 0 -1 4194304 36765 0 0 0 2229 127 0 0 20 0 1 0 174139751 322150400 56416 18446744073709551615 4227072 8923577 140723091139392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19836928 140723091142900 140723091143206 140723091143206 140723091148778 0
/proc/134858/statm: 78650 56416 2464 1147 0 66076 0
Current children cumulated CPU time: 25.32 s
Current children cumulated vsize: 318792 KiB
Current children cumulated memory: 228608 KiB

[startup+51.1057 s]
/proc/loadavg: 2.78 1.09 0.52 5/271 134860
/proc/meminfo: memFree=127147400/131250000 swapFree=33008356/33010684
[pid=134837] ppid=134833 vsize=4192 memory=2944 CPUtime=1.76 cores=4,6
/proc/134837/stat : 134837 (run-opt-ls-log.) S 134833 134837 134587 0 -1 4194304 239 9147 0 0 0 0 168 8 20 0 1 0 174139564 4292608 736 18446744073709551615 94612233945088 94612234839621 140722067581952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94612235078672 94612235126416 94612250677248 140722067585305 140722067585503 140722067585503 140722067591107 0
/proc/134837/statm: 1048 736 672 219 0 110 0
[pid=134858] ppid=134837 vsize=320236 memory=231648 CPUtime=49.1 cores=4,6
/proc/134858/stat : 134858 (roundingsat) R 134837 134837 134587 0 -1 4194304 37237 0 0 0 4771 139 0 0 20 0 1 0 174139751 327921664 57912 18446744073709551615 4227072 8923577 140723091139392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19836928 140723091142900 140723091143206 140723091143206 140723091148778 0
/proc/134858/statm: 80059 57912 2464 1147 0 67485 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 324428 KiB
Current children cumulated memory: 234592 KiB

[startup+102.3 s]
/proc/loadavg: 3.53 1.55 0.71 5/271 134862
/proc/meminfo: memFree=126381796/131250000 swapFree=33008356/33010684
[pid=134837] ppid=134833 vsize=4192 memory=2944 CPUtime=1.76 cores=4,6
/proc/134837/stat : 134837 (run-opt-ls-log.) S 134833 134837 134587 0 -1 4194304 239 9147 0 0 0 0 168 8 20 0 1 0 174139564 4292608 736 18446744073709551615 94612233945088 94612234839621 140722067581952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94612235078672 94612235126416 94612250677248 140722067585305 140722067585503 140722067585503 140722067591107 0
/proc/134837/statm: 1048 736 672 219 0 110 0
[pid=134858] ppid=134837 vsize=523944 memory=393408 CPUtime=100.16 cores=4,6
/proc/134858/stat : 134858 (roundingsat) R 134837 134837 134587 0 -1 4194304 76534 0 0 0 9820 196 0 0 20 0 1 0 174139751 536518656 98352 18446744073709551615 4227072 8923577 140723091139392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19836928 140723091142900 140723091143206 140723091143206 140723091148778 0
/proc/134858/statm: 130986 98352 2464 1147 0 118412 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 528136 KiB
Current children cumulated memory: 396352 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 2.02 0.93 5/272 134865
/proc/meminfo: memFree=125828772/131250000 swapFree=33008356/33010684
[pid=134837] ppid=134833 vsize=4192 memory=2944 CPUtime=1.76 cores=4,6
/proc/134837/stat : 134837 (run-opt-ls-log.) S 134833 134837 134587 0 -1 4194304 239 9147 0 0 0 0 168 8 20 0 1 0 174139564 4292608 736 18446744073709551615 94612233945088 94612234839621 140722067581952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94612235078672 94612235126416 94612250677248 140722067585305 140722067585503 140722067585503 140722067591107 0
/proc/134837/statm: 1048 736 672 219 0 110 0
[pid=134858] ppid=134837 vsize=526648 memory=396224 CPUtime=159.99 cores=4,6
/proc/134858/stat : 134858 (roundingsat) R 134837 134837 134587 0 -1 4194304 77213 0 0 0 15790 209 0 0 20 0 1 0 174139751 539287552 99056 18446744073709551615 4227072 8923577 140723091139392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19836928 140723091142900 140723091143206 140723091143206 140723091148778 0
/proc/134858/statm: 131662 99056 2464 1147 0 119088 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 530840 KiB
Current children cumulated memory: 399168 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 2.40 1.13 5/273 134868
/proc/meminfo: memFree=124543704/131250000 swapFree=33008356/33010684
[pid=134837] ppid=134833 vsize=4192 memory=2944 CPUtime=1.76 cores=4,6
/proc/134837/stat : 134837 (run-opt-ls-log.) S 134833 134837 134587 0 -1 4194304 239 9147 0 0 0 0 168 8 20 0 1 0 174139564 4292608 736 18446744073709551615 94612233945088 94612234839621 140722067581952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94612235078672 94612235126416 94612250677248 140722067585305 140722067585503 140722067585503 140722067591107 0
/proc/134837/statm: 1048 736 672 219 0 110 0
[pid=134858] ppid=134837 vsize=910740 memory=735540 CPUtime=219.82 cores=4,6
/proc/134858/stat : 134858 (roundingsat) R 134837 134837 134587 0 -1 4194304 143139 0 0 0 21706 276 0 0 20 0 1 0 174139751 932597760 183885 18446744073709551615 4227072 8923577 140723091139392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19836928 140723091142900 140723091143206 140723091143206 140723091148778 0
/proc/134858/statm: 227685 183885 2464 1147 0 215111 0
Current children cumulated CPU time: 221.58 s

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

/proc/meminfo: memFree=95126224/131250000 swapFree=33008356/33010684
[pid=134837] ppid=134833 vsize=4192 memory=2944 CPUtime=1.76 cores=4,6
/proc/134837/stat : 134837 (run-opt-ls-log.) S 134833 134837 134587 0 -1 4194304 239 9147 0 0 0 0 168 8 20 0 1 0 174139564 4292608 736 18446744073709551615 94612233945088 94612234839621 140722067581952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94612235078672 94612235126416 94612250677248 140722067585305 140722067585503 140722067585503 140722067591107 0
/proc/134837/statm: 1048 736 672 219 0 110 0
[pid=134858] ppid=134837 vsize=2003536 memory=1778020 CPUtime=3266.9 cores=4,6
/proc/134858/stat : 134858 (roundingsat) R 134837 134837 134587 0 -1 4194304 333856 0 0 0 325282 1408 0 0 20 0 1 0 174139751 2051620864 444505 18446744073709551615 4227072 8923577 140723091139392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19836928 140723091142900 140723091143206 140723091143206 140723091148778 0
/proc/134858/statm: 500884 444505 2592 1147 0 488310 0
Current children cumulated CPU time: 3268.66 s
Current children cumulated vsize: 2007728 KiB
Current children cumulated memory: 1780964 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.12 4.04 5/273 135038
/proc/meminfo: memFree=94813152/131250000 swapFree=33008356/33010684
[pid=134837] ppid=134833 vsize=4192 memory=2944 CPUtime=1.76 cores=4,6
/proc/134837/stat : 134837 (run-opt-ls-log.) S 134833 134837 134587 0 -1 4194304 239 9147 0 0 0 0 168 8 20 0 1 0 174139564 4292608 736 18446744073709551615 94612233945088 94612234839621 140722067581952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94612235078672 94612235126416 94612250677248 140722067585305 140722067585503 140722067585503 140722067591107 0
/proc/134837/statm: 1048 736 672 219 0 110 0
[pid=134858] ppid=134837 vsize=2007176 memory=1784732 CPUtime=3326.73 cores=4,6
/proc/134858/stat : 134858 (roundingsat) R 134837 134837 134587 0 -1 4194304 334514 0 0 0 331258 1415 0 0 20 0 1 0 174139751 2055348224 446183 18446744073709551615 4227072 8923577 140723091139392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19836928 140723091142900 140723091143206 140723091143206 140723091148778 0
/proc/134858/statm: 501794 446183 2592 1147 0 489220 0
Current children cumulated CPU time: 3328.49 s
Current children cumulated vsize: 2011368 KiB
Current children cumulated memory: 1787676 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.11 4.04 5/271 135039
/proc/meminfo: memFree=94479124/131250000 swapFree=33008356/33010684
[pid=134837] ppid=134833 vsize=4192 memory=2944 CPUtime=1.76 cores=4,6
/proc/134837/stat : 134837 (run-opt-ls-log.) S 134833 134837 134587 0 -1 4194304 239 9147 0 0 0 0 168 8 20 0 1 0 174139564 4292608 736 18446744073709551615 94612233945088 94612234839621 140722067581952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94612235078672 94612235126416 94612250677248 140722067585305 140722067585503 140722067585503 140722067591107 0
/proc/134837/statm: 1048 736 672 219 0 110 0
[pid=134858] ppid=134837 vsize=2023252 memory=1794408 CPUtime=3386.55 cores=4,6
/proc/134858/stat : 134858 (roundingsat) R 134837 134837 134587 0 -1 4194304 335408 0 0 0 337235 1420 0 0 20 0 1 0 174139751 2071810048 448602 18446744073709551615 4227072 8923577 140723091139392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19836928 140723091142900 140723091143206 140723091143206 140723091148778 0
/proc/134858/statm: 505813 448602 2592 1147 0 493239 0
Current children cumulated CPU time: 3388.31 s
Current children cumulated vsize: 2027444 KiB
Current children cumulated memory: 1797352 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.11 4.04 5/271 135052
/proc/meminfo: memFree=94291436/131250000 swapFree=33008356/33010684
[pid=134837] ppid=134833 vsize=4192 memory=2944 CPUtime=1.76 cores=4,6
/proc/134837/stat : 134837 (run-opt-ls-log.) S 134833 134837 134587 0 -1 4194304 239 9147 0 0 0 0 168 8 20 0 1 0 174139564 4292608 736 18446744073709551615 94612233945088 94612234839621 140722067581952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94612235078672 94612235126416 94612250677248 140722067585305 140722067585503 140722067585503 140722067591107 0
/proc/134837/statm: 1048 736 672 219 0 110 0
[pid=134858] ppid=134837 vsize=2032916 memory=1810456 CPUtime=3446.38 cores=4,6
/proc/134858/stat : 134858 (roundingsat) R 134837 134837 134587 0 -1 4194304 336467 0 0 0 343215 1423 0 0 20 0 1 0 174139751 2081705984 452614 18446744073709551615 4227072 8923577 140723091139392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19836928 140723091142900 140723091143206 140723091143206 140723091148778 0
/proc/134858/statm: 508229 452614 2592 1147 0 495655 0
Current children cumulated CPU time: 3448.14 s
Current children cumulated vsize: 2037108 KiB
Current children cumulated memory: 1813400 KiB

[startup+3522.3 s]
/proc/loadavg: 4.35 4.17 4.06 5/271 135054
/proc/meminfo: memFree=93991576/131250000 swapFree=33008356/33010684
[pid=134837] ppid=134833 vsize=4192 memory=2944 CPUtime=1.76 cores=4,6
/proc/134837/stat : 134837 (run-opt-ls-log.) S 134833 134837 134587 0 -1 4194304 239 9147 0 0 0 0 168 8 20 0 1 0 174139564 4292608 736 18446744073709551615 94612233945088 94612234839621 140722067581952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94612235078672 94612235126416 94612250677248 140722067585305 140722067585503 140722067585503 140722067591107 0
/proc/134837/statm: 1048 736 672 219 0 110 0
[pid=134858] ppid=134837 vsize=2004772 memory=1772272 CPUtime=3506.2 cores=4,6
/proc/134858/stat : 134858 (roundingsat) R 134837 134837 134587 0 -1 4194304 336860 0 0 0 349183 1437 0 0 20 0 1 0 174139751 2052886528 443068 18446744073709551615 4227072 8923577 140723091139392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19836928 140723091142900 140723091143206 140723091143206 140723091148778 0
/proc/134858/statm: 501193 443068 2592 1147 0 488619 0
Current children cumulated CPU time: 3507.96 s
Current children cumulated vsize: 2008964 KiB
Current children cumulated memory: 1775216 KiB

[startup+3582.3 s]
/proc/loadavg: 4.25 4.18 4.08 5/272 135059
/proc/meminfo: memFree=92628992/131250000 swapFree=33008356/33010684
[pid=134837] ppid=134833 vsize=4192 memory=2944 CPUtime=1.76 cores=4,6
/proc/134837/stat : 134837 (run-opt-ls-log.) S 134833 134837 134587 0 -1 4194304 239 9147 0 0 0 0 168 8 20 0 1 0 174139564 4292608 736 18446744073709551615 94612233945088 94612234839621 140722067581952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94612235078672 94612235126416 94612250677248 140722067585305 140722067585503 140722067585503 140722067591107 0
/proc/134837/statm: 1048 736 672 219 0 110 0
[pid=134858] ppid=134837 vsize=2005920 memory=1773296 CPUtime=3566.02 cores=4,6
/proc/134858/stat : 134858 (roundingsat) R 134837 134837 134587 0 -1 4194304 337120 0 0 0 355146 1456 0 0 20 0 1 0 174139751 2054062080 443324 18446744073709551615 4227072 8923577 140723091139392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19836928 140723091142900 140723091143206 140723091143206 140723091148778 0
/proc/134858/statm: 501480 443324 2592 1147 0 488906 0
Current children cumulated CPU time: 3567.78 s
Current children cumulated vsize: 2010112 KiB
Current children cumulated memory: 1776240 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3614.7 s]
/proc/loadavg: 4.24 4.19 4.08 4/272 135061
/proc/meminfo: memFree=91966036/131250000 swapFree=33008356/33010684
[pid=134837] ppid=134833 vsize=4192 memory=2944 CPUtime=1.76 cores=4,6
/proc/134837/stat : 134837 (run-opt-ls-log.) S 134833 134837 134587 0 -1 4194304 239 9147 0 0 0 0 168 8 20 0 1 0 174139564 4292608 736 18446744073709551615 94612233945088 94612234839621 140722067581952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94612235078672 94612235126416 94612250677248 140722067585305 140722067585503 140722067585503 140722067591107 0
/proc/134837/statm: 1048 736 672 219 0 110 0
[pid=134858] ppid=134837 vsize=2005920 memory=1773296 CPUtime=3598.3 cores=4,6
/proc/134858/stat : 134858 (roundingsat) R 134837 134837 134587 0 -1 4194304 337128 0 0 0 358360 1470 0 0 20 0 1 0 174139751 2054062080 443324 18446744073709551615 4227072 8923577 140723091139392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19836928 140723091142900 140723091143206 140723091143206 140723091148778 0
/proc/134858/statm: 501480 443324 2592 1147 0 488906 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2010112 KiB
Current children cumulated memory: 1776240 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

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

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

Solver just ended.
Dumping a history of the last processes samples

[startup+3616 s]*
/proc/loadavg: 4.24 4.19 4.08 5/271 135061
/proc/meminfo: memFree=91925484/131250000 swapFree=33008356/33010684
[pid=134858] ppid=134833 vsize=2005920 memory=1773296 CPUtime=3599.6 cores=4,6
/proc/134858/stat : 134858 (roundingsat) R 134833 134837 134587 0 -1 4194304 337128 0 0 0 358488 1472 0 0 20 0 1 0 174139751 2054062080 443324 18446744073709551615 4227072 8923577 140723091139392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19836928 140723091142900 140723091143206 140723091143206 140723091148778 0
/proc/134858/statm: 501480 443324 2592 1147 0 488906 0
Current cumulated CPU time of completed processes: 1.76383 s
Current children cumulated CPU time: 3599.6 s
Current children cumulated vsize: 2005920 KiB
Current children cumulated memory: 1773296 KiB

[startup+3616.4 s]
/proc/loadavg: 4.24 4.19 4.08 5/271 135061
/proc/meminfo: memFree=91925484/131250000 swapFree=33008356/33010684
[pid=134858] ppid=134833 vsize=2005920 memory=1773296 CPUtime=3599.99 cores=4,6
/proc/134858/stat : 134858 (roundingsat) R 134833 134837 134587 0 -1 4194304 337128 0 0 0 358526 1473 0 0 20 0 1 0 174139751 2054062080 443324 18446744073709551615 4227072 8923577 140723091139392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19836928 140723091142900 140723091143206 140723091143206 140723091148778 0
/proc/134858/statm: 501480 443324 2592 1147 0 488906 0
Current cumulated CPU time of completed processes: 1.76383 s
Current children cumulated CPU time: 3599.99 s
Current children cumulated vsize: 2005920 KiB
Current children cumulated memory: 1773296 KiB

[startup+3616.6 s]
/proc/loadavg: 4.24 4.19 4.08 5/271 135061
/proc/meminfo: memFree=91925484/131250000 swapFree=33008356/33010684
[pid=134858] ppid=134833 vsize=2005920 memory=1773296 CPUtime=3600.18 cores=4,6
/proc/134858/stat : 134858 (roundingsat) R 134833 134837 134587 0 -1 4194304 337128 0 0 0 358545 1473 0 0 20 0 1 0 174139751 2054062080 443324 18446744073709551615 4227072 8923577 140723091139392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19836928 140723091142900 140723091143206 140723091143206 140723091148778 0
/proc/134858/statm: 501480 443324 2592 1147 0 488906 0
Current cumulated CPU time of completed processes: 1.76383 s
Current children cumulated CPU time: 3600.18 s
Current children cumulated vsize: 2005920 KiB
Current children cumulated memory: 1773296 KiB

[startup+3616.7 s]
/proc/loadavg: 4.24 4.19 4.08 5/271 135061
/proc/meminfo: memFree=91925484/131250000 swapFree=33008356/33010684
[pid=134858] ppid=134833 vsize=2005920 memory=1773296 CPUtime=3600.28 cores=4,6
/proc/134858/stat : 134858 (roundingsat) R 134833 134837 134587 0 -1 4194304 337128 0 0 0 358555 1473 0 0 20 0 1 0 174139751 2054062080 443324 18446744073709551615 4227072 8923577 140723091139392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 19836928 140723091142900 140723091143206 140723091143206 140723091148778 0
/proc/134858/statm: 501480 443324 2592 1147 0 488906 0
Current cumulated CPU time of completed processes: 1.76383 s
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 2005920 KiB
Current children cumulated memory: 1773296 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3616.75
CPU time (s): 3602.06
CPU user time (s): 3587.24
CPU system time (s): 14.8214
CPU usage (%): 99.5937
Max. virtual memory (cumulated for all children) (KiB): 2050556
Max. memory (cumulated for all children) (KiB): 1816680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.24
system time used= 14.8214
maximum resident set size= 1829224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 346514
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5421632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3411
involuntary context switches= 2258


# summary of solver processes directly reported to runsolver:
#   pid: 134837,134858
#   total CPU time (s): 3602.06
#   total CPU user time (s): 3587.24
#   total CPU system time (s): 14.8214

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.56451 second user time and 15.9828 second system time

The end

Begin job on nodeC019 at 2025-07-15 15:03:41
IDJOB=4531791
IDBENCH=147222
IDSOLVER=3392
FILE ID=nodeC019/4531791-1752584620
RUNJOBID= nodeC019-1752584602-134598
SLURM_JOB_ID= 9684349
Free space on /tmp= 432944 MiB

SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
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 -w /tmp/evaluation-result-4531791-1752584620/watcher-4531791-1752584620 -o /tmp/evaluation-result-4531791-1752584620/solver-4531791-1752584620 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1752584602-134598 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4531791-1752584620.opb PROOFDIR/proof-4531791-1752584620

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

MD5SUM BENCH= 908a9c4c32d975b4e5850834449958a7
RANDOM SEED=1427959576

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128738292 kB
MemAvailable:   129535812 kB
Buffers:             904 kB
Cached:          1605064 kB
SwapCached:          436 kB
Active:           528960 kB
Inactive:        1384492 kB
Active(anon):     305624 kB
Inactive(anon):    27304 kB
Active(file):     223336 kB
Inactive(file):  1357188 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008356 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            169520 kB
Writeback:             0 kB
AnonPages:        310572 kB
Mapped:           116920 kB
Shmem:             25412 kB
KReclaimable:     112468 kB
Slab:             209256 kB
SReclaimable:     112468 kB
SUnreclaim:        96788 kB
KernelStack:        4256 kB
PageTables:         3568 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     637204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 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:      176852 kB
DirectMap2M:     9031680 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432936 MiB
End job on nodeC019 at 2025-07-15 16:03:57