0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
3.88/3.97 c [STEP] solving
3.88/3.97 c #variables 4576880 #constraints 176770
3.88/3.97 c SMALL=int, LARGE=long long
3.88/3.98 c bounds - >= 0 @ 3.48129
3.88/3.98 c stratification level: 0
60.61/60.87 c bounds - >= 1 @ 18.6911
60.61/60.87 c bounds - >= 2 @ 18.7062
60.61/60.87 c bounds - >= 3 @ 18.7202
60.61/60.87 c bounds - >= 4 @ 18.7348
60.61/60.87 c bounds - >= 5 @ 18.7512
60.61/60.87 c bounds - >= 6 @ 18.7667
60.61/60.87 c bounds - >= 7 @ 18.7857
60.61/60.87 c bounds - >= 8 @ 18.8042
60.61/60.87 c bounds - >= 9 @ 18.8238
60.61/60.87 c bounds - >= 10 @ 18.8471
60.61/60.87 c bounds - >= 11 @ 18.8743
60.61/60.87 c bounds - >= 12 @ 18.9005
60.61/60.87 c bounds - >= 13 @ 18.9262
60.61/60.87 c bounds - >= 14 @ 18.9559
60.61/60.87 c bounds - >= 15 @ 18.9871
60.61/60.87 c bounds - >= 16 @ 19.0217
60.61/60.87 c bounds - >= 17 @ 19.0555
60.61/60.87 c bounds - >= 18 @ 19.0978
60.61/60.87 c #Conflicts: 1000 | #Constraints: 177787
60.61/60.87 c bounds - >= 19 @ 19.1339
60.61/60.87 c bounds - >= 20 @ 19.1786
60.61/60.87 c bounds - >= 21 @ 19.2108
60.61/60.87 c bounds - >= 22 @ 19.256
60.61/60.87 c bounds - >= 23 @ 19.3038
60.61/60.87 c bounds - >= 24 @ 19.3457
60.61/60.87 c bounds - >= 25 @ 19.3932
60.61/60.87 c bounds - >= 26 @ 19.4397
60.61/60.87 c bounds - >= 27 @ 19.4918
60.61/60.87 c bounds - >= 28 @ 19.541
60.61/60.87 c bounds - >= 29 @ 19.5938
60.61/60.87 c bounds - >= 30 @ 19.6405
60.61/60.87 c bounds - >= 31 @ 19.694
60.61/60.87 c bounds - >= 32 @ 19.7464
60.61/60.87 c bounds - >= 33 @ 19.801
60.61/60.87 c bounds - >= 34 @ 19.8488
60.61/60.87 c bounds - >= 35 @ 19.9149
60.61/60.87 c bounds - >= 36 @ 19.9756
60.61/60.87 c bounds - >= 37 @ 20.0404
60.61/60.87 c #Conflicts: 2000 | #Constraints: 178806
60.61/60.87 c INPROCESSING
60.61/60.87 c bounds - >= 38 @ 20.2112
60.61/60.87 c bounds - >= 39 @ 20.2849
60.61/60.87 c bounds - >= 40 @ 20.3541
60.61/60.87 c bounds - >= 41 @ 20.4274
60.61/60.87 c bounds - >= 42 @ 20.4962
60.61/60.87 c bounds - >= 43 @ 20.5634
60.61/60.87 c bounds - >= 44 @ 20.6387
60.61/60.87 c bounds - >= 45 @ 20.715
60.61/60.87 c bounds - >= 46 @ 20.7844
60.61/60.87 c bounds - >= 47 @ 20.8603
60.61/60.87 c bounds - >= 48 @ 20.9443
60.61/60.87 c bounds - >= 49 @ 21.0283
60.61/60.87 c bounds - >= 50 @ 21.0933
60.61/60.87 c bounds - >= 51 @ 21.1701
60.61/60.87 c bounds - >= 52 @ 21.2681
60.61/60.87 c bounds - >= 53 @ 21.3587
60.61/60.87 c bounds - >= 54 @ 21.4485
60.61/60.87 c bounds - >= 55 @ 21.5275
60.61/60.87 c #Conflicts: 3000 | #Constraints: 178798
60.61/60.87 c bounds - >= 56 @ 21.643
60.61/60.87 c bounds - >= 57 @ 21.7606
60.61/60.87 c bounds - >= 58 @ 21.8768
60.61/60.87 c bounds - >= 59 @ 21.9945
60.61/60.87 c #Conflicts: 4000 | #Constraints: 179802
60.61/60.87 c bounds - >= 60 @ 22.1225
60.61/60.87 c INPROCESSING
60.61/60.87 c bounds - >= 61 @ 22.3379
60.61/60.87 c bounds - >= 62 @ 22.4781
60.61/60.87 c bounds - >= 63 @ 22.6043
60.61/60.87 c bounds - >= 64 @ 22.7314
60.61/60.87 c #Conflicts: 5000 | #Constraints: 179216
60.61/60.87 c bounds - >= 65 @ 22.8604
60.61/60.87 c bounds - >= 66 @ 22.9864
60.61/60.87 c bounds - >= 67 @ 23.1207
60.61/60.87 c bounds - >= 68 @ 23.2528
60.61/60.87 c bounds - >= 69 @ 23.3851
60.61/60.87 c #Conflicts: 6000 | #Constraints: 180221
60.61/60.87 c bounds - >= 70 @ 23.5239
60.61/60.87 c bounds - >= 71 @ 23.6558
60.61/60.87 c INPROCESSING
60.61/60.87 c GARBAGE COLLECT
60.61/60.87 c bounds - >= 72 @ 24.1013
60.61/60.87 c bounds - >= 73 @ 24.2378
60.61/60.87 c #Conflicts: 7000 | #Constraints: 179218
60.61/60.87 c bounds - >= 74 @ 24.3961
60.61/60.87 c bounds - >= 75 @ 24.5456
60.61/60.87 c bounds - >= 76 @ 24.7035
60.61/60.87 c bounds - >= 77 @ 24.836
60.61/60.87 c bounds - >= 78 @ 24.9751
60.61/60.87 c #Conflicts: 8000 | #Constraints: 180223
60.61/60.87 c bounds - >= 79 @ 25.123
60.61/60.87 c bounds - >= 80 @ 25.2967
60.61/60.87 c bounds - >= 81 @ 25.4546
60.61/60.87 c bounds - >= 82 @ 25.6115
60.61/60.87 c #Conflicts: 9000 | #Constraints: 181227
60.61/60.87 c bounds - >= 83 @ 25.7739
60.61/60.87 c INPROCESSING
60.61/60.87 c bounds - >= 84 @ 26.0462
60.61/60.87 c bounds - >= 85 @ 26.2045
60.61/60.87 c bounds - >= 86 @ 26.36
60.61/60.87 c bounds - >= 87 @ 26.5203
60.61/60.87 c #Conflicts: 10000 | #Constraints: 179929
60.61/60.87 c bounds - >= 88 @ 26.6775
60.61/60.87 c bounds - >= 89 @ 26.8414
60.61/60.87 c bounds - >= 90 @ 27.006
60.61/60.87 c bounds - >= 91 @ 27.1705
60.61/60.87 c bounds - >= 92 @ 27.331
60.61/60.87 c #Conflicts: 11000 | #Constraints: 180934
60.61/60.87 c bounds - >= 93 @ 27.5018
60.61/60.87 c bounds - >= 94 @ 27.6735
60.61/60.87 c bounds - >= 95 @ 27.8294
60.61/60.87 c bounds - >= 96 @ 28.0204
60.61/60.87 c #Conflicts: 12000 | #Constraints: 181938
60.61/60.87 c INPROCESSING
60.61/60.87 c GARBAGE COLLECT
60.61/60.87 c bounds - >= 97 @ 28.5045
60.61/60.87 c bounds - >= 98 @ 28.673
60.61/60.87 c bounds - >= 99 @ 28.8447
60.61/60.87 c bounds - >= 100 @ 29.0267
60.61/60.87 c bounds - >= 101 @ 29.2047
60.61/60.87 c #Conflicts: 13000 | #Constraints: 180384
60.61/60.87 c bounds - >= 102 @ 29.3799
60.61/60.87 c bounds - >= 103 @ 29.5646
60.61/60.87 c bounds - >= 104 @ 29.7494
60.61/60.87 c bounds - >= 105 @ 29.935
60.61/60.87 c bounds - >= 106 @ 30.1289
60.61/60.87 c #Conflicts: 14000 | #Constraints: 181389
60.61/60.87 c bounds - >= 107 @ 30.306
60.61/60.87 c bounds - >= 108 @ 30.4987
60.61/60.87 c bounds - >= 109 @ 30.6852
60.61/60.87 c bounds - >= 110 @ 30.8865
60.61/60.87 c #Conflicts: 15000 | #Constraints: 182393
60.61/60.87 c INPROCESSING
60.61/60.87 c bounds - >= 111 @ 31.1981
60.61/60.87 c bounds - >= 112 @ 31.4059
60.61/60.87 c bounds - >= 113 @ 31.5819
60.61/60.87 c bounds - >= 114 @ 31.7781
60.61/60.87 c bounds - >= 115 @ 31.9626
60.61/60.87 c #Conflicts: 16000 | #Constraints: 180628
60.61/60.87 c bounds - >= 116 @ 32.1566
60.61/60.87 c bounds - >= 117 @ 32.3537
123.46/123.87 c bounds - >= 118 @ 32.5421
123.46/123.87 c bounds - >= 119 @ 32.7572
123.46/123.87 c #Conflicts: 17000 | #Constraints: 181632
123.46/123.87 c bounds - >= 120 @ 32.9621
123.46/123.87 c bounds - >= 121 @ 33.1721
123.46/123.87 c bounds - >= 122 @ 33.387
123.46/123.87 c bounds - >= 123 @ 33.5785
123.46/123.87 c bounds - >= 124 @ 33.7963
123.46/123.87 c #Conflicts: 18000 | #Constraints: 182637
123.46/123.87 c bounds - >= 125 @ 34.0054
123.46/123.87 c INPROCESSING
123.46/123.87 c GARBAGE COLLECT
123.46/123.87 c bounds - >= 126 @ 34.5466
123.46/123.87 c bounds - >= 127 @ 34.7507
123.46/123.87 c bounds - >= 128 @ 34.9668
123.46/123.87 c bounds - >= 129 @ 35.1787
123.46/123.87 c #Conflicts: 19000 | #Constraints: 180629
123.46/123.87 c bounds - >= 130 @ 35.4008
123.46/123.87 c bounds - >= 131 @ 35.5956
123.46/123.87 c bounds - >= 132 @ 35.8187
123.46/123.87 c bounds - >= 133 @ 36.0574
123.46/123.87 c #Conflicts: 20000 | #Constraints: 181633
123.46/123.87 c bounds - >= 134 @ 36.2616
123.46/123.87 c bounds - >= 135 @ 36.4746
123.46/123.87 c bounds - >= 136 @ 36.6924
123.46/123.87 c bounds - >= 137 @ 36.9199
123.46/123.87 c bounds - >= 138 @ 37.1232
123.46/123.87 c #Conflicts: 21000 | #Constraints: 182638
123.46/123.87 c bounds - >= 139 @ 37.3692
123.46/123.87 c bounds - >= 140 @ 37.5951
123.46/123.87 c bounds - >= 141 @ 37.8142
123.46/123.87 c INPROCESSING
123.46/123.87 c GARBAGE COLLECT
123.46/123.87 c bounds - >= 142 @ 38.3725
123.46/123.87 c bounds - >= 143 @ 38.6218
123.46/123.87 c #Conflicts: 22000 | #Constraints: 180453
123.46/123.87 c bounds - >= 144 @ 38.8692
123.46/123.87 c bounds - >= 145 @ 39.111
123.46/123.87 c bounds - >= 146 @ 39.3619
123.46/123.87 c bounds - >= 147 @ 39.6121
123.46/123.87 c #Conflicts: 23000 | #Constraints: 181457
123.46/123.87 c bounds - >= 148 @ 39.8433
123.46/123.87 c bounds - >= 149 @ 40.0719
123.46/123.87 c bounds - >= 150 @ 40.2983
123.46/123.87 c bounds - >= 151 @ 40.5347
123.46/123.87 c bounds - >= 152 @ 40.7962
123.46/123.87 c #Conflicts: 24000 | #Constraints: 182462
123.46/123.87 c bounds - >= 153 @ 41.0519
123.46/123.87 c bounds - >= 154 @ 41.3038
123.46/123.87 c bounds - >= 155 @ 41.5433
123.46/123.87 c bounds - >= 156 @ 41.7853
123.46/123.87 c #Conflicts: 25000 | #Constraints: 183466
123.46/123.87 c bounds - >= 157 @ 42.0187
123.46/123.87 c INPROCESSING
123.46/123.87 c GARBAGE COLLECT
123.46/123.87 c bounds - >= 158 @ 42.5997
123.46/123.87 c bounds - >= 159 @ 42.8725
123.46/123.87 c bounds - >= 160 @ 43.1158
123.46/123.87 c bounds - >= 161 @ 43.3737
123.46/123.87 c #Conflicts: 26000 | #Constraints: 181060
123.46/123.87 c bounds - >= 162 @ 43.6339
123.46/123.87 c bounds - >= 163 @ 43.8906
123.46/123.87 c bounds - >= 164 @ 44.1448
123.46/123.87 c bounds - >= 165 @ 44.403
123.46/123.87 c bounds - >= 166 @ 44.6602
123.46/123.87 c #Conflicts: 27000 | #Constraints: 182065
123.46/123.87 c bounds - >= 167 @ 44.9068
123.46/123.87 c bounds - >= 168 @ 45.1728
123.46/123.87 c bounds - >= 169 @ 45.4113
123.46/123.87 c bounds - >= 170 @ 45.6702
123.46/123.87 c #Conflicts: 28000 | #Constraints: 183069
123.46/123.87 c bounds - >= 171 @ 45.9323
123.46/123.87 c bounds - >= 172 @ 46.209
123.46/123.87 c bounds - >= 173 @ 46.4818
123.46/123.87 c bounds - >= 174 @ 46.7473
123.46/123.87 c bounds - >= 175 @ 47.0263
123.46/123.87 c #Conflicts: 29000 | #Constraints: 184074
123.46/123.87 c INPROCESSING
123.46/123.87 c GARBAGE COLLECT
123.46/123.87 c bounds - >= 176 @ 47.6064
123.46/123.87 c bounds - >= 177 @ 47.8964
123.46/123.87 c bounds - >= 178 @ 48.1829
123.46/123.87 c bounds - >= 179 @ 48.4604
123.46/123.87 c bounds - >= 180 @ 48.7642
123.46/123.87 c #Conflicts: 30000 | #Constraints: 181446
123.46/123.87 c bounds - >= 181 @ 49.0699
123.46/123.87 c bounds - >= 182 @ 49.3408
123.46/123.87 c bounds - >= 183 @ 49.6253
123.46/123.87 c bounds - >= 184 @ 49.9268
123.46/123.87 c #Conflicts: 31000 | #Constraints: 182450
123.46/123.87 c bounds - >= 185 @ 50.1995
123.46/123.87 c bounds - >= 186 @ 50.4953
123.46/123.87 c bounds - >= 187 @ 50.7734
123.46/123.87 c bounds - >= 188 @ 51.0744
123.46/123.87 c bounds - >= 189 @ 51.3834
123.46/123.87 c #Conflicts: 32000 | #Constraints: 183455
123.46/123.87 c bounds - >= 190 @ 51.6825
123.46/123.87 c bounds - >= 191 @ 51.9672
123.46/123.87 c bounds - >= 192 @ 52.2705
123.46/123.87 c bounds - >= 193 @ 52.5605
123.46/123.87 c bounds - >= 194 @ 52.8634
123.46/123.87 c #Conflicts: 33000 | #Constraints: 184460
123.46/123.87 c INPROCESSING
123.46/123.87 c GARBAGE COLLECT
123.46/123.87 c bounds - >= 195 @ 53.4777
123.46/123.87 c bounds - >= 196 @ 53.8049
123.46/123.87 c bounds - >= 197 @ 54.0985
123.46/123.87 c bounds - >= 198 @ 54.3933
123.46/123.87 c #Conflicts: 34000 | #Constraints: 181639
123.46/123.87 c bounds - >= 199 @ 54.6975
123.46/123.87 c bounds - >= 200 @ 54.9958
123.46/123.87 c bounds - >= 201 @ 55.2939
123.46/123.87 c bounds - >= 202 @ 55.5944
123.46/123.87 c bounds - >= 203 @ 55.921
123.46/123.87 c #Conflicts: 35000 | #Constraints: 182644
123.46/123.87 c bounds - >= 204 @ 56.2338
123.46/123.87 c bounds - >= 205 @ 56.5525
123.46/123.87 c bounds - >= 206 @ 56.868
123.46/123.87 c bounds - >= 207 @ 57.1758
123.46/123.87 c #Conflicts: 36000 | #Constraints: 183648
123.46/123.87 c bounds - >= 208 @ 57.4975
123.46/123.87 c bounds - >= 209 @ 57.8108
123.46/123.87 c bounds - >= 210 @ 58.1134
123.46/123.87 c bounds - >= 211 @ 58.4346
123.46/123.87 c bounds - >= 212 @ 58.7571
123.46/123.87 c #Conflicts: 37000 | #Constraints: 184653
123.46/123.87 c bounds - >= 213 @ 59.0556
123.46/123.87 c INPROCESSING
123.46/123.87 c GARBAGE COLLECT
123.46/123.87 c bounds - >= 214 @ 59.7071
123.46/123.87 c bounds - >= 215 @ 60.0432
123.46/123.87 c bounds - >= 216 @ 60.3504
123.46/123.87 c bounds - >= 217 @ 60.6834
219.52/220.13 c #Conflicts: 38000 | #Constraints: 181658
219.52/220.13 c bounds - >= 218 @ 61.0112
219.52/220.13 c bounds - >= 219 @ 61.3414
219.52/220.13 c bounds - >= 220 @ 61.6876
219.52/220.13 c bounds - >= 221 @ 62.0253
219.52/220.13 c #Conflicts: 39000 | #Constraints: 182662
219.52/220.13 c bounds - >= 222 @ 62.3719
219.52/220.13 c bounds - >= 223 @ 62.7031
219.52/220.13 c bounds - >= 224 @ 63.0287
219.52/220.13 c bounds - >= 225 @ 63.3699
219.52/220.13 c bounds - >= 226 @ 63.7054
219.52/220.13 c #Conflicts: 40000 | #Constraints: 183667
219.52/220.13 c bounds - >= 227 @ 64.0476
219.52/220.13 c bounds - >= 228 @ 64.3989
219.52/220.13 c bounds - >= 229 @ 64.7219
219.52/220.13 c bounds - >= 230 @ 65.0729
219.52/220.13 c bounds - >= 231 @ 65.4355
219.52/220.13 c #Conflicts: 41000 | #Constraints: 184672
219.52/220.13 c bounds - >= 232 @ 65.8084
219.52/220.13 c bounds - >= 233 @ 66.1475
219.52/220.13 c INPROCESSING
219.52/220.13 c GARBAGE COLLECT
219.52/220.13 c bounds - >= 234 @ 66.8328
219.52/220.13 c bounds - >= 235 @ 67.206
219.52/220.13 c #Conflicts: 42000 | #Constraints: 181451
219.52/220.13 c bounds - >= 236 @ 67.5784
219.52/220.13 c bounds - >= 237 @ 67.9355
219.52/220.13 c bounds - >= 238 @ 68.2838
219.52/220.13 c bounds - >= 239 @ 68.653
219.52/220.13 c bounds - >= 240 @ 69.0165
219.52/220.13 c #Conflicts: 43000 | #Constraints: 182456
219.52/220.13 c bounds - >= 241 @ 69.3784
219.52/220.13 c bounds - >= 242 @ 69.7387
219.52/220.13 c bounds - >= 243 @ 70.0818
219.52/220.13 c bounds - >= 244 @ 70.4402
219.52/220.13 c #Conflicts: 44000 | #Constraints: 183460
219.52/220.13 c bounds - >= 245 @ 70.8361
219.52/220.13 c bounds - >= 246 @ 71.1934
219.52/220.13 c bounds - >= 247 @ 71.5633
219.52/220.13 c bounds - >= 248 @ 71.9343
219.52/220.13 c bounds - >= 249 @ 72.288
219.52/220.13 c #Conflicts: 45000 | #Constraints: 184465
219.52/220.13 c bounds - >= 250 @ 72.6546
219.52/220.13 c bounds - >= 251 @ 73.0356
219.52/220.13 c bounds - >= 252 @ 73.4157
219.52/220.13 c bounds - >= 253 @ 73.8205
219.52/220.13 c bounds - >= 254 @ 74.2068
219.52/220.13 c #Conflicts: 46000 | #Constraints: 185470
219.52/220.13 c bounds - >= 255 @ 74.5847
219.52/220.13 c INPROCESSING
219.52/220.13 c GARBAGE COLLECT
219.52/220.13 c bounds - >= 256 @ 75.3247
219.52/220.13 c bounds - >= 257 @ 75.7095
219.52/220.13 c bounds - >= 258 @ 76.0965
219.52/220.13 c #Conflicts: 47000 | #Constraints: 182053
219.52/220.13 c bounds - >= 259 @ 76.4779
219.52/220.13 c bounds - >= 260 @ 76.8581
219.52/220.13 c bounds - >= 261 @ 77.2554
219.52/220.13 c bounds - >= 262 @ 77.6462
219.52/220.13 c bounds - >= 263 @ 78.0402
219.52/220.13 c #Conflicts: 48000 | #Constraints: 183058
219.52/220.13 c bounds - >= 264 @ 78.4345
219.52/220.13 c bounds - >= 265 @ 78.8419
219.52/220.13 c bounds - >= 266 @ 79.2191
219.52/220.13 c bounds - >= 267 @ 79.6348
219.52/220.13 c bounds - >= 268 @ 80.0543
219.52/220.13 c #Conflicts: 49000 | #Constraints: 184063
219.52/220.13 c bounds - >= 269 @ 80.4547
219.52/220.13 c bounds - >= 270 @ 80.8423
219.52/220.13 c bounds - >= 271 @ 81.2406
219.52/220.13 c bounds - >= 272 @ 81.6581
219.52/220.13 c #Conflicts: 50000 | #Constraints: 185067
219.52/220.13 c bounds - >= 273 @ 82.0672
219.52/220.13 c bounds - >= 274 @ 82.4701
219.52/220.13 c bounds - >= 275 @ 82.8705
219.52/220.13 c bounds - >= 276 @ 83.2664
219.52/220.13 c bounds - >= 277 @ 83.6686
219.52/220.13 c #Conflicts: 51000 | #Constraints: 186072
219.52/220.13 c INPROCESSING
219.52/220.13 c GARBAGE COLLECT
219.52/220.13 c bounds - >= 278 @ 84.4126
219.52/220.13 c bounds - >= 279 @ 84.8523
219.52/220.13 c bounds - >= 280 @ 85.27
219.52/220.13 c bounds - >= 281 @ 85.6896
219.52/220.13 c #Conflicts: 52000 | #Constraints: 182452
219.52/220.13 c bounds - >= 282 @ 86.1107
219.52/220.13 c bounds - >= 283 @ 86.5465
219.52/220.13 c bounds - >= 284 @ 86.9614
219.52/220.13 c bounds - >= 285 @ 87.3969
219.52/220.13 c bounds - >= 286 @ 87.8229
219.52/220.13 c #Conflicts: 53000 | #Constraints: 183457
219.52/220.13 c bounds - >= 287 @ 88.2379
219.52/220.13 c bounds - >= 288 @ 88.663
219.52/220.13 c bounds - >= 289 @ 89.0699
219.52/220.13 c bounds - >= 290 @ 89.5038
219.52/220.13 c bounds - >= 291 @ 89.9251
219.52/220.13 c #Conflicts: 54000 | #Constraints: 184462
219.52/220.13 c bounds - >= 292 @ 90.3539
219.52/220.13 c bounds - >= 293 @ 90.7957
219.52/220.13 c bounds - >= 294 @ 91.2427
219.52/220.13 c bounds - >= 295 @ 91.6913
219.52/220.13 c #Conflicts: 55000 | #Constraints: 185466
219.52/220.13 c bounds - >= 296 @ 92.1335
219.52/220.13 c bounds - >= 297 @ 92.5382
219.52/220.13 c bounds - >= 298 @ 92.9659
219.52/220.13 c bounds - >= 299 @ 93.4157
219.52/220.13 c bounds - >= 300 @ 93.866
219.52/220.13 c #Conflicts: 56000 | #Constraints: 186471
219.52/220.13 c INPROCESSING
219.52/220.13 c GARBAGE COLLECT
219.52/220.13 c bounds - >= 301 @ 94.6591
219.52/220.13 c bounds - >= 302 @ 95.0819
219.52/220.13 c bounds - >= 303 @ 95.5319
219.52/220.13 c bounds - >= 304 @ 95.9717
219.52/220.13 c bounds - >= 305 @ 96.4461
219.52/220.13 c #Conflicts: 57000 | #Constraints: 182641
219.52/220.13 c bounds - >= 306 @ 96.8689
219.52/220.13 c bounds - >= 307 @ 97.3032
219.52/220.13 c bounds - >= 308 @ 97.7486
219.52/220.13 c bounds - >= 309 @ 98.2179
219.52/220.13 c #Conflicts: 58000 | #Constraints: 183645
219.52/220.13 c bounds - >= 310 @ 98.6739
219.52/220.13 c bounds - >= 311 @ 99.1222
219.52/220.13 c bounds - >= 312 @ 99.5935
219.52/220.13 c bounds - >= 313 @ 100.056
219.52/220.13 c bounds - >= 314 @ 100.537
219.52/220.13 c #Conflicts: 59000 | #Constraints: 184650
219.52/220.13 c bounds - >= 315 @ 101.012
219.52/220.13 c bounds - >= 316 @ 101.467
219.52/220.13 c bounds - >= 317 @ 101.927
219.52/220.13 c bounds - >= 318 @ 102.385
349.00/349.96 c bounds - >= 319 @ 102.82
349.00/349.96 c #Conflicts: 60000 | #Constraints: 185655
349.00/349.96 c bounds - >= 320 @ 103.277
349.00/349.96 c bounds - >= 321 @ 103.736
349.00/349.96 c bounds - >= 322 @ 104.198
349.00/349.96 c bounds - >= 323 @ 104.664
349.00/349.96 c #Conflicts: 61000 | #Constraints: 186659
349.00/349.96 c bounds - >= 324 @ 105.175
349.00/349.96 c INPROCESSING
349.00/349.96 c GARBAGE COLLECT
349.00/349.96 c bounds - >= 325 @ 105.972
349.00/349.96 c bounds - >= 326 @ 106.429
349.00/349.96 c bounds - >= 327 @ 106.902
349.00/349.96 c bounds - >= 328 @ 107.378
349.00/349.96 c #Conflicts: 62000 | #Constraints: 182642
349.00/349.96 c bounds - >= 329 @ 107.849
349.00/349.96 c bounds - >= 330 @ 108.314
349.00/349.96 c bounds - >= 331 @ 108.793
349.00/349.96 c bounds - >= 332 @ 109.273
349.00/349.96 c #Conflicts: 63000 | #Constraints: 183646
349.00/349.96 c bounds - >= 333 @ 109.756
349.00/349.96 c bounds - >= 334 @ 110.249
349.00/349.96 c bounds - >= 335 @ 110.751
349.00/349.96 c bounds - >= 336 @ 111.245
349.00/349.96 c bounds - >= 337 @ 111.756
349.00/349.96 c #Conflicts: 64000 | #Constraints: 184651
349.00/349.96 c bounds - >= 338 @ 112.271
349.00/349.96 c bounds - >= 339 @ 112.767
349.00/349.96 c bounds - >= 340 @ 113.285
349.00/349.96 c bounds - >= 341 @ 113.739
349.00/349.96 c bounds - >= 342 @ 114.23
349.00/349.96 c #Conflicts: 65000 | #Constraints: 185656
349.00/349.96 c bounds - >= 343 @ 114.744
349.00/349.96 c bounds - >= 344 @ 115.238
349.00/349.96 c bounds - >= 345 @ 115.737
349.00/349.96 c bounds - >= 346 @ 116.255
349.00/349.96 c #Conflicts: 66000 | #Constraints: 186660
349.00/349.96 c bounds - >= 347 @ 116.762
349.00/349.96 c bounds - >= 348 @ 117.248
349.00/349.96 c bounds - >= 349 @ 117.776
349.00/349.96 c INPROCESSING
349.00/349.96 c GARBAGE COLLECT
349.00/349.96 c bounds - >= 350 @ 118.632
349.00/349.96 c bounds - >= 351 @ 119.136
349.00/349.96 c #Conflicts: 67000 | #Constraints: 182441
349.00/349.96 c bounds - >= 352 @ 119.642
349.00/349.96 c bounds - >= 353 @ 120.119
349.00/349.96 c bounds - >= 354 @ 120.627
349.00/349.96 c bounds - >= 355 @ 121.162
349.00/349.96 c bounds - >= 356 @ 121.64
349.00/349.96 c #Conflicts: 68000 | #Constraints: 183446
349.00/349.96 c bounds - >= 357 @ 122.109
349.00/349.96 c bounds - >= 358 @ 122.628
349.00/349.96 c bounds - >= 359 @ 123.148
349.00/349.96 c bounds - >= 360 @ 123.667
349.00/349.96 c #Conflicts: 69000 | #Constraints: 184450
349.00/349.96 c bounds - >= 361 @ 124.188
349.00/349.96 c bounds - >= 362 @ 124.706
349.00/349.96 c bounds - >= 363 @ 125.253
349.00/349.96 c bounds - >= 364 @ 125.785
349.00/349.96 c bounds - >= 365 @ 126.298
349.00/349.96 c #Conflicts: 70000 | #Constraints: 185455
349.00/349.96 c bounds - >= 366 @ 126.832
349.00/349.96 c bounds - >= 367 @ 127.387
349.00/349.96 c bounds - >= 368 @ 127.921
349.00/349.96 c bounds - >= 369 @ 128.462
349.00/349.96 c #Conflicts: 71000 | #Constraints: 186459
349.00/349.96 c bounds - >= 370 @ 129.021
349.00/349.96 c bounds - >= 371 @ 129.538
349.00/349.96 c bounds - >= 372 @ 130.059
349.00/349.96 c bounds - >= 373 @ 130.584
349.00/349.96 c bounds - >= 374 @ 131.13
349.00/349.96 c #Conflicts: 72000 | #Constraints: 187464
349.00/349.96 c bounds - >= 375 @ 131.696
349.00/349.96 c INPROCESSING
349.00/349.96 c GARBAGE COLLECT
349.00/349.96 c bounds - >= 376 @ 132.572
349.00/349.96 c bounds - >= 377 @ 133.128
349.00/349.96 c bounds - >= 378 @ 133.658
349.00/349.96 c bounds - >= 379 @ 134.2
349.00/349.96 c #Conflicts: 73000 | #Constraints: 183035
349.00/349.96 c bounds - >= 380 @ 134.759
349.00/349.96 c bounds - >= 381 @ 135.313
349.00/349.96 c bounds - >= 382 @ 135.853
349.00/349.96 c bounds - >= 383 @ 136.415
349.00/349.96 c #Conflicts: 74000 | #Constraints: 184039
349.00/349.96 c bounds - >= 384 @ 136.977
349.00/349.96 c bounds - >= 385 @ 137.55
349.00/349.96 c bounds - >= 386 @ 138.114
349.00/349.96 c bounds - >= 387 @ 138.681
349.00/349.96 c bounds - >= 388 @ 139.223
349.00/349.96 c #Conflicts: 75000 | #Constraints: 185044
349.00/349.96 c bounds - >= 389 @ 139.762
349.00/349.96 c bounds - >= 390 @ 140.292
349.00/349.96 c bounds - >= 391 @ 140.846
349.00/349.96 c bounds - >= 392 @ 141.397
349.00/349.96 c bounds - >= 393 @ 141.957
349.00/349.96 c #Conflicts: 76000 | #Constraints: 186049
349.00/349.96 c bounds - >= 394 @ 142.53
349.00/349.96 c bounds - >= 395 @ 143.081
349.00/349.96 c bounds - >= 396 @ 143.631
349.00/349.96 c bounds - >= 397 @ 144.21
349.00/349.96 c #Conflicts: 77000 | #Constraints: 187053
349.00/349.96 c bounds - >= 398 @ 144.791
349.00/349.96 c bounds - >= 399 @ 145.35
349.00/349.96 c bounds - >= 400 @ 145.922
349.00/349.96 c bounds - >= 401 @ 146.508
349.00/349.96 c bounds - >= 402 @ 147.085
349.00/349.96 c #Conflicts: 78000 | #Constraints: 188058
349.00/349.96 c INPROCESSING
349.00/349.96 c GARBAGE COLLECT
349.00/349.96 c bounds - >= 403 @ 148.021
349.00/349.96 c bounds - >= 404 @ 148.582
349.00/349.96 c bounds - >= 405 @ 149.156
349.00/349.96 c bounds - >= 406 @ 149.755
349.00/349.96 c #Conflicts: 79000 | #Constraints: 183442
349.00/349.96 c bounds - >= 407 @ 150.328
349.00/349.96 c bounds - >= 408 @ 150.885
349.00/349.96 c bounds - >= 409 @ 151.486
349.00/349.96 c bounds - >= 410 @ 152.084
349.00/349.96 c bounds - >= 411 @ 152.678
349.00/349.96 c #Conflicts: 80000 | #Constraints: 184447
349.00/349.96 c bounds - >= 412 @ 153.285
349.00/349.96 c bounds - >= 413 @ 153.866
349.00/349.96 c bounds - >= 414 @ 154.447
349.00/349.96 c bounds - >= 415 @ 155.062
349.00/349.96 c bounds - >= 416 @ 155.632
349.00/349.96 c #Conflicts: 81000 | #Constraints: 185452
349.00/349.96 c bounds - >= 417 @ 156.242
349.00/349.96 c bounds - >= 418 @ 156.826
349.00/349.96 c bounds - >= 419 @ 157.405
513.69/515.09 c bounds - >= 420 @ 158.017
513.69/515.09 c #Conflicts: 82000 | #Constraints: 186456
513.69/515.09 c bounds - >= 421 @ 158.592
513.69/515.09 c bounds - >= 422 @ 159.214
513.69/515.09 c bounds - >= 423 @ 159.813
513.69/515.09 c bounds - >= 424 @ 160.435
513.69/515.09 c bounds - >= 425 @ 161.039
513.69/515.09 c #Conflicts: 83000 | #Constraints: 187461
513.69/515.09 c bounds - >= 426 @ 161.66
513.69/515.09 c bounds - >= 427 @ 162.263
513.69/515.09 c bounds - >= 428 @ 162.856
513.69/515.09 c bounds - >= 429 @ 163.485
513.69/515.09 c bounds - >= 430 @ 164.105
513.69/515.09 c #Conflicts: 84000 | #Constraints: 188466
513.69/515.09 c INPROCESSING
513.69/515.09 c GARBAGE COLLECT
513.69/515.09 c bounds - >= 431 @ 165.093
513.69/515.09 c bounds - >= 432 @ 165.7
513.69/515.09 c bounds - >= 433 @ 166.313
513.69/515.09 c bounds - >= 434 @ 166.926
513.69/515.09 c #Conflicts: 85000 | #Constraints: 183647
513.69/515.09 c bounds - >= 435 @ 167.509
513.69/515.09 c bounds - >= 436 @ 168.097
513.69/515.09 c bounds - >= 437 @ 168.687
513.69/515.09 c bounds - >= 438 @ 169.308
513.69/515.09 c bounds - >= 439 @ 169.915
513.69/515.09 c #Conflicts: 86000 | #Constraints: 184652
513.69/515.09 c bounds - >= 440 @ 170.525
513.69/515.09 c bounds - >= 441 @ 171.151
513.69/515.09 c bounds - >= 442 @ 171.776
513.69/515.09 c bounds - >= 443 @ 172.405
513.69/515.09 c bounds - >= 444 @ 173.024
513.69/515.09 c #Conflicts: 87000 | #Constraints: 185657
513.69/515.09 c bounds - >= 445 @ 173.677
513.69/515.09 c bounds - >= 446 @ 174.301
513.69/515.09 c bounds - >= 447 @ 174.911
513.69/515.09 c bounds - >= 448 @ 175.551
513.69/515.09 c #Conflicts: 88000 | #Constraints: 186661
513.69/515.09 c bounds - >= 449 @ 176.199
513.69/515.09 c bounds - >= 450 @ 176.854
513.69/515.09 c bounds - >= 451 @ 177.473
513.69/515.09 c bounds - >= 452 @ 178.099
513.69/515.09 c bounds - >= 453 @ 178.757
513.69/515.09 c #Conflicts: 89000 | #Constraints: 187666
513.69/515.09 c bounds - >= 454 @ 179.389
513.69/515.09 c bounds - >= 455 @ 180.019
513.69/515.09 c bounds - >= 456 @ 180.672
513.69/515.09 c bounds - >= 457 @ 181.345
513.69/515.09 c #Conflicts: 90000 | #Constraints: 188670
513.69/515.09 c bounds - >= 458 @ 181.981
513.69/515.09 c INPROCESSING
513.69/515.09 c GARBAGE COLLECT
513.69/515.09 c bounds - >= 459 @ 182.99
513.69/515.09 c bounds - >= 460 @ 183.622
513.69/515.09 c bounds - >= 461 @ 184.228
513.69/515.09 c bounds - >= 462 @ 184.898
513.69/515.09 c #Conflicts: 91000 | #Constraints: 183645
513.69/515.09 c bounds - >= 463 @ 185.569
513.69/515.09 c bounds - >= 464 @ 186.232
513.69/515.09 c bounds - >= 465 @ 186.895
513.69/515.09 c bounds - >= 466 @ 187.545
513.69/515.09 c bounds - >= 467 @ 188.199
513.69/515.09 c #Conflicts: 92000 | #Constraints: 184650
513.69/515.09 c bounds - >= 468 @ 188.892
513.69/515.09 c bounds - >= 469 @ 189.568
513.69/515.09 c bounds - >= 470 @ 190.23
513.69/515.09 c bounds - >= 471 @ 190.906
513.69/515.09 c #Conflicts: 93000 | #Constraints: 185654
513.69/515.09 c bounds - >= 472 @ 191.585
513.69/515.09 c bounds - >= 473 @ 192.24
513.69/515.09 c bounds - >= 474 @ 192.893
513.69/515.09 c bounds - >= 475 @ 193.536
513.69/515.09 c bounds - >= 476 @ 194.195
513.69/515.09 c #Conflicts: 94000 | #Constraints: 186659
513.69/515.09 c bounds - >= 477 @ 194.858
513.69/515.09 c bounds - >= 478 @ 195.521
513.69/515.09 c bounds - >= 479 @ 196.166
513.69/515.09 c bounds - >= 480 @ 196.791
513.69/515.09 c bounds - >= 481 @ 197.484
513.69/515.09 c #Conflicts: 95000 | #Constraints: 187664
513.69/515.09 c bounds - >= 482 @ 198.148
513.69/515.09 c bounds - >= 483 @ 198.829
513.69/515.09 c bounds - >= 484 @ 199.531
513.69/515.09 c bounds - >= 485 @ 200.214
513.69/515.09 c #Conflicts: 96000 | #Constraints: 188668
513.69/515.09 c bounds - >= 486 @ 200.892
513.69/515.09 c bounds - >= 487 @ 201.57
513.69/515.09 c bounds - >= 488 @ 202.263
513.69/515.09 c INPROCESSING
513.69/515.09 c GARBAGE COLLECT
513.69/515.09 c bounds - >= 489 @ 203.284
513.69/515.09 c bounds - >= 490 @ 203.982
513.69/515.09 c #Conflicts: 97000 | #Constraints: 183456
513.69/515.09 c bounds - >= 491 @ 204.692
513.69/515.09 c bounds - >= 492 @ 205.345
513.69/515.09 c bounds - >= 493 @ 206.03
513.69/515.09 c bounds - >= 494 @ 206.713
513.69/515.09 c #Conflicts: 98000 | #Constraints: 184460
513.69/515.09 c bounds - >= 495 @ 207.404
513.69/515.09 c bounds - >= 496 @ 208.121
513.69/515.09 c bounds - >= 497 @ 208.853
513.69/515.09 c bounds - >= 498 @ 209.542
513.69/515.09 c bounds - >= 499 @ 210.227
513.69/515.09 c #Conflicts: 99000 | #Constraints: 185465
513.69/515.09 c bounds - >= 500 @ 210.969
513.69/515.09 c bounds - >= 501 @ 211.657
513.69/515.09 c bounds - >= 502 @ 212.401
513.69/515.09 c bounds - >= 503 @ 213.108
513.69/515.09 c bounds - >= 504 @ 213.817
513.69/515.09 c #Conflicts: 100000 | #Constraints: 186470
513.69/515.09 c bounds - >= 505 @ 214.525
513.69/515.09 c bounds - >= 506 @ 215.258
513.69/515.09 c bounds - >= 507 @ 216.012
513.69/515.09 c bounds - >= 508 @ 216.717
513.69/515.09 c #Conflicts: 101000 | #Constraints: 187474
513.69/515.09 c bounds - >= 509 @ 217.425
513.69/515.09 c bounds - >= 510 @ 218.144
513.69/515.09 c bounds - >= 511 @ 218.862
513.69/515.09 c bounds - >= 512 @ 219.565
513.69/515.09 c bounds - >= 513 @ 220.291
513.69/515.09 c #Conflicts: 102000 | #Constraints: 188479
513.69/515.09 c bounds - >= 514 @ 220.995
513.69/515.09 c bounds - >= 515 @ 221.702
513.69/515.09 c bounds - >= 516 @ 222.444
513.69/515.09 c bounds - >= 517 @ 223.146
513.69/515.09 c bounds - >= 518 @ 223.9
513.69/515.09 c #Conflicts: 103000 | #Constraints: 189484
513.69/515.09 c bounds - >= 519 @ 224.599
513.69/515.09 c INPROCESSING
513.69/515.09 c GARBAGE COLLECT
513.69/515.09 c bounds - >= 520 @ 225.723
712.48/714.34 c bounds - >= 521 @ 226.459
712.48/714.34 c bounds - >= 522 @ 227.222
712.48/714.34 c #Conflicts: 104000 | #Constraints: 184041
712.48/714.34 c bounds - >= 523 @ 227.944
712.48/714.34 c bounds - >= 524 @ 228.662
712.48/714.34 c bounds - >= 525 @ 229.41
712.48/714.34 c bounds - >= 526 @ 230.135
712.48/714.34 c bounds - >= 527 @ 230.882
712.48/714.34 c #Conflicts: 105000 | #Constraints: 185046
712.48/714.34 c bounds - >= 528 @ 231.602
712.48/714.34 c bounds - >= 529 @ 232.33
712.48/714.34 c bounds - >= 530 @ 233.073
712.48/714.34 c bounds - >= 531 @ 233.833
712.48/714.34 c #Conflicts: 106000 | #Constraints: 186050
712.48/714.34 c bounds - >= 532 @ 234.579
712.48/714.34 c bounds - >= 533 @ 235.298
712.48/714.34 c bounds - >= 534 @ 236.044
712.48/714.34 c bounds - >= 535 @ 236.812
712.48/714.34 c bounds - >= 536 @ 237.593
712.48/714.34 c #Conflicts: 107000 | #Constraints: 187055
712.48/714.34 c bounds - >= 537 @ 238.379
712.48/714.34 c bounds - >= 538 @ 239.158
712.48/714.34 c bounds - >= 539 @ 239.907
712.48/714.34 c bounds - >= 540 @ 240.963
712.48/714.34 c bounds - >= 541 @ 241.726
712.48/714.34 c #Conflicts: 108000 | #Constraints: 188060
712.48/714.34 c bounds - >= 542 @ 242.46
712.48/714.34 c bounds - >= 543 @ 243.222
712.48/714.34 c bounds - >= 544 @ 243.971
712.48/714.34 c bounds - >= 545 @ 244.748
712.48/714.34 c #Conflicts: 109000 | #Constraints: 189064
712.48/714.34 c bounds - >= 546 @ 245.489
712.48/714.34 c bounds - >= 547 @ 246.272
712.48/714.34 c bounds - >= 548 @ 247.045
712.48/714.34 c bounds - >= 549 @ 247.816
712.48/714.34 c bounds - >= 550 @ 248.584
712.48/714.34 c #Conflicts: 110000 | #Constraints: 190069
712.48/714.34 c INPROCESSING
712.48/714.34 c GARBAGE COLLECT
712.48/714.34 c bounds - >= 551 @ 249.714
712.48/714.34 c bounds - >= 552 @ 250.436
712.48/714.34 c bounds - >= 553 @ 251.19
712.48/714.34 c bounds - >= 554 @ 251.959
712.48/714.34 c bounds - >= 555 @ 252.709
712.48/714.34 c #Conflicts: 111000 | #Constraints: 184433
712.48/714.34 c bounds - >= 556 @ 253.509
712.48/714.34 c bounds - >= 557 @ 254.281
712.48/714.34 c bounds - >= 558 @ 255.069
712.48/714.34 c bounds - >= 559 @ 255.858
712.48/714.34 c #Conflicts: 112000 | #Constraints: 185437
712.48/714.34 c bounds - >= 560 @ 256.644
712.48/714.34 c bounds - >= 561 @ 257.455
712.48/714.34 c bounds - >= 562 @ 258.223
712.48/714.34 c bounds - >= 563 @ 258.992
712.48/714.34 c bounds - >= 564 @ 259.755
712.48/714.34 c #Conflicts: 113000 | #Constraints: 186442
712.48/714.34 c bounds - >= 565 @ 260.571
712.48/714.34 c bounds - >= 566 @ 261.363
712.48/714.34 c bounds - >= 567 @ 262.132
712.48/714.34 c bounds - >= 568 @ 262.962
712.48/714.34 c bounds - >= 569 @ 263.77
712.48/714.34 c #Conflicts: 114000 | #Constraints: 187447
712.48/714.34 c bounds - >= 570 @ 264.562
712.48/714.34 c bounds - >= 571 @ 265.321
712.48/714.34 c bounds - >= 572 @ 266.133
712.48/714.34 c bounds - >= 573 @ 266.94
712.48/714.34 c #Conflicts: 115000 | #Constraints: 188451
712.48/714.34 c bounds - >= 574 @ 267.708
712.48/714.34 c bounds - >= 575 @ 268.53
712.48/714.34 c bounds - >= 576 @ 269.339
712.48/714.34 c bounds - >= 577 @ 270.16
712.48/714.34 c bounds - >= 578 @ 270.953
712.48/714.34 c #Conflicts: 116000 | #Constraints: 189456
712.48/714.34 c bounds - >= 579 @ 271.781
712.48/714.34 c bounds - >= 580 @ 272.581
712.48/714.34 c bounds - >= 581 @ 273.356
712.48/714.34 c bounds - >= 582 @ 274.184
712.48/714.34 c #Conflicts: 117000 | #Constraints: 190460
712.48/714.34 c INPROCESSING
712.48/714.34 c GARBAGE COLLECT
712.48/714.34 c bounds - >= 583 @ 275.346
712.48/714.34 c bounds - >= 584 @ 276.169
712.48/714.34 c bounds - >= 585 @ 276.979
712.48/714.34 c bounds - >= 586 @ 277.794
712.48/714.34 c bounds - >= 587 @ 278.622
712.48/714.34 c #Conflicts: 118000 | #Constraints: 184645
712.48/714.34 c bounds - >= 588 @ 279.468
712.48/714.34 c bounds - >= 589 @ 280.31
712.48/714.34 c bounds - >= 590 @ 281.139
712.48/714.34 c bounds - >= 591 @ 281.963
712.48/714.34 c bounds - >= 592 @ 282.773
712.48/714.34 c #Conflicts: 119000 | #Constraints: 185650
712.48/714.34 c bounds - >= 593 @ 283.623
712.48/714.34 c bounds - >= 594 @ 284.438
712.48/714.34 c bounds - >= 595 @ 285.241
712.48/714.34 c bounds - >= 596 @ 286.1
712.48/714.34 c #Conflicts: 120000 | #Constraints: 186654
712.48/714.34 c bounds - >= 597 @ 286.918
712.48/714.34 c bounds - >= 598 @ 287.734
712.48/714.34 c bounds - >= 599 @ 288.547
712.48/714.34 c bounds - >= 600 @ 289.394
712.48/714.34 c bounds - >= 601 @ 290.235
712.48/714.34 c #Conflicts: 121000 | #Constraints: 187659
712.48/714.34 c bounds - >= 602 @ 291.032
712.48/714.34 c bounds - >= 603 @ 291.862
712.48/714.34 c bounds - >= 604 @ 292.685
712.48/714.34 c bounds - >= 605 @ 293.537
712.48/714.34 c bounds - >= 606 @ 294.407
712.48/714.34 c #Conflicts: 122000 | #Constraints: 188664
712.48/714.34 c bounds - >= 607 @ 295.226
712.48/714.34 c bounds - >= 608 @ 296.052
712.48/714.34 c bounds - >= 609 @ 296.93
712.48/714.34 c bounds - >= 610 @ 297.778
712.48/714.34 c #Conflicts: 123000 | #Constraints: 189668
712.48/714.34 c bounds - >= 611 @ 298.605
712.48/714.34 c bounds - >= 612 @ 299.471
712.48/714.34 c bounds - >= 613 @ 300.293
712.48/714.34 c bounds - >= 614 @ 301.121
712.48/714.34 c bounds - >= 615 @ 301.977
712.48/714.34 c #Conflicts: 124000 | #Constraints: 190673
712.48/714.34 c bounds - >= 616 @ 302.79
712.48/714.34 c INPROCESSING
712.48/714.34 c GARBAGE COLLECT
712.48/714.34 c bounds - >= 617 @ 303.995
712.48/714.34 c bounds - >= 618 @ 304.856
712.48/714.34 c bounds - >= 619 @ 305.734
712.48/714.34 c #Conflicts: 125000 | #Constraints: 184657
712.48/714.34 c bounds - >= 620 @ 306.59
712.48/714.34 c bounds - >= 621 @ 307.455
712.48/714.34 c bounds - >= 622 @ 308.283
712.48/714.34 c bounds - >= 623 @ 309.152
945.11/947.59 c bounds - >= 624 @ 310.041
945.11/947.59 c #Conflicts: 126000 | #Constraints: 185662
945.11/947.59 c bounds - >= 625 @ 310.889
945.11/947.59 c bounds - >= 626 @ 311.765
945.11/947.59 c bounds - >= 627 @ 312.632
945.11/947.59 c bounds - >= 628 @ 313.511
945.11/947.59 c bounds - >= 629 @ 314.409
945.11/947.59 c #Conflicts: 127000 | #Constraints: 186667
945.11/947.59 c bounds - >= 630 @ 315.265
945.11/947.59 c bounds - >= 631 @ 316.17
945.11/947.59 c bounds - >= 632 @ 317.049
945.11/947.59 c bounds - >= 633 @ 317.938
945.11/947.59 c #Conflicts: 128000 | #Constraints: 187671
945.11/947.59 c bounds - >= 634 @ 318.827
945.11/947.59 c bounds - >= 635 @ 319.724
945.11/947.59 c bounds - >= 636 @ 320.62
945.11/947.59 c bounds - >= 637 @ 321.467
945.11/947.59 c bounds - >= 638 @ 322.347
945.11/947.59 c #Conflicts: 129000 | #Constraints: 188676
945.11/947.59 c bounds - >= 639 @ 323.234
945.11/947.59 c bounds - >= 640 @ 324.149
945.11/947.59 c bounds - >= 641 @ 325.048
945.11/947.59 c bounds - >= 642 @ 325.968
945.11/947.59 c bounds - >= 643 @ 326.856
945.11/947.59 c #Conflicts: 130000 | #Constraints: 189681
945.11/947.59 c bounds - >= 644 @ 327.718
945.11/947.59 c bounds - >= 645 @ 328.623
945.11/947.59 c bounds - >= 646 @ 329.53
945.11/947.59 c bounds - >= 647 @ 330.422
945.11/947.59 c #Conflicts: 131000 | #Constraints: 190685
945.11/947.59 c bounds - >= 648 @ 331.368
945.11/947.59 c bounds - >= 649 @ 332.253
945.11/947.59 c bounds - >= 650 @ 333.162
945.11/947.59 c INPROCESSING
945.11/947.59 c GARBAGE COLLECT
945.11/947.59 c bounds - >= 651 @ 334.455
945.11/947.59 c bounds - >= 652 @ 335.385
945.11/947.59 c #Conflicts: 132000 | #Constraints: 184437
945.11/947.59 c bounds - >= 653 @ 336.302
945.11/947.59 c bounds - >= 654 @ 337.194
945.11/947.59 c bounds - >= 655 @ 338.112
945.11/947.59 c bounds - >= 656 @ 339.009
945.11/947.59 c #Conflicts: 133000 | #Constraints: 185441
945.11/947.59 c bounds - >= 657 @ 339.899
945.11/947.59 c bounds - >= 658 @ 340.858
945.11/947.59 c bounds - >= 659 @ 341.785
945.11/947.59 c bounds - >= 660 @ 342.706
945.11/947.59 c bounds - >= 661 @ 343.619
945.11/947.59 c #Conflicts: 134000 | #Constraints: 186446
945.11/947.59 c bounds - >= 662 @ 344.554
945.11/947.59 c bounds - >= 663 @ 345.486
945.11/947.59 c bounds - >= 664 @ 346.401
945.11/947.59 c bounds - >= 665 @ 347.356
945.11/947.59 c bounds - >= 666 @ 348.277
945.11/947.59 c #Conflicts: 135000 | #Constraints: 187451
945.11/947.59 c bounds - >= 667 @ 349.186
945.11/947.59 c bounds - >= 668 @ 350.137
945.11/947.59 c bounds - >= 669 @ 351.068
945.11/947.59 c bounds - >= 670 @ 351.997
945.11/947.59 c #Conflicts: 136000 | #Constraints: 188455
945.11/947.59 c bounds - >= 671 @ 352.916
945.11/947.59 c bounds - >= 672 @ 353.847
945.11/947.59 c bounds - >= 673 @ 354.775
945.11/947.59 c bounds - >= 674 @ 355.705
945.11/947.59 c bounds - >= 675 @ 356.652
945.11/947.59 c #Conflicts: 137000 | #Constraints: 189460
945.11/947.59 c bounds - >= 676 @ 357.585
945.11/947.59 c bounds - >= 677 @ 358.511
945.11/947.59 c bounds - >= 678 @ 359.462
945.11/947.59 c bounds - >= 679 @ 360.41
945.11/947.59 c bounds - >= 680 @ 361.382
945.11/947.59 c #Conflicts: 138000 | #Constraints: 190465
945.11/947.59 c bounds - >= 681 @ 362.346
945.11/947.59 c bounds - >= 682 @ 363.268
945.11/947.59 c bounds - >= 683 @ 364.2
945.11/947.59 c bounds - >= 684 @ 365.121
945.11/947.59 c #Conflicts: 139000 | #Constraints: 191469
945.11/947.59 c bounds - >= 685 @ 366.108
945.11/947.59 c INPROCESSING
945.11/947.59 c GARBAGE COLLECT
945.11/947.59 c bounds - >= 686 @ 367.455
945.11/947.59 c bounds - >= 687 @ 368.377
945.11/947.59 c bounds - >= 688 @ 369.292
945.11/947.59 c bounds - >= 689 @ 370.261
945.11/947.59 c #Conflicts: 140000 | #Constraints: 185049
945.11/947.59 c bounds - >= 690 @ 371.232
945.11/947.59 c bounds - >= 691 @ 372.171
945.11/947.59 c bounds - >= 692 @ 373.101
945.11/947.59 c bounds - >= 693 @ 374.056
945.11/947.59 c bounds - >= 694 @ 375.002
945.11/947.59 c #Conflicts: 141000 | #Constraints: 186054
945.11/947.59 c bounds - >= 695 @ 375.96
945.11/947.59 c bounds - >= 696 @ 376.951
945.11/947.59 c bounds - >= 697 @ 377.886
945.11/947.59 c bounds - >= 698 @ 378.825
945.11/947.59 c #Conflicts: 142000 | #Constraints: 187058
945.11/947.59 c bounds - >= 699 @ 379.794
945.11/947.59 c bounds - >= 700 @ 380.755
945.11/947.59 c bounds - >= 701 @ 381.746
945.11/947.59 c bounds - >= 702 @ 382.672
945.11/947.59 c bounds - >= 703 @ 383.638
945.11/947.59 c #Conflicts: 143000 | #Constraints: 188063
945.11/947.59 c bounds - >= 704 @ 384.61
945.11/947.59 c bounds - >= 705 @ 385.585
945.11/947.59 c bounds - >= 706 @ 386.562
945.11/947.59 c bounds - >= 707 @ 387.534
945.11/947.59 c #Conflicts: 144000 | #Constraints: 189067
945.11/947.59 c bounds - >= 708 @ 388.531
945.11/947.59 c bounds - >= 709 @ 389.495
945.11/947.59 c bounds - >= 710 @ 390.501
945.11/947.59 c bounds - >= 711 @ 391.485
945.11/947.59 c bounds - >= 712 @ 392.473
945.11/947.59 c #Conflicts: 145000 | #Constraints: 190072
945.11/947.59 c bounds - >= 713 @ 393.454
945.11/947.59 c bounds - >= 714 @ 394.469
945.11/947.59 c bounds - >= 715 @ 395.456
945.11/947.59 c bounds - >= 716 @ 396.424
945.11/947.59 c bounds - >= 717 @ 397.429
945.11/947.59 c #Conflicts: 146000 | #Constraints: 191077
945.11/947.59 c bounds - >= 718 @ 398.428
945.11/947.59 c bounds - >= 719 @ 399.42
945.11/947.59 c bounds - >= 720 @ 400.407
945.11/947.59 c bounds - >= 721 @ 401.405
945.11/947.59 c #Conflicts: 147000 | #Constraints: 192081
945.11/947.59 c INPROCESSING
945.11/947.59 c GARBAGE COLLECT
945.11/947.59 c bounds - >= 722 @ 402.812
945.11/947.59 c bounds - >= 723 @ 403.794
945.11/947.59 c bounds - >= 724 @ 404.797
945.11/947.59 c bounds - >= 725 @ 405.784
1216.70/1219.73 c bounds - >= 726 @ 406.775
1216.70/1219.73 c #Conflicts: 148000 | #Constraints: 185440
1216.70/1219.73 c bounds - >= 727 @ 407.735
1216.70/1219.73 c bounds - >= 728 @ 408.759
1216.70/1219.73 c bounds - >= 729 @ 409.742
1216.70/1219.73 c bounds - >= 730 @ 410.73
1216.70/1219.73 c bounds - >= 731 @ 411.707
1216.70/1219.73 c #Conflicts: 149000 | #Constraints: 186445
1216.70/1219.73 c bounds - >= 732 @ 412.696
1216.70/1219.73 c bounds - >= 733 @ 413.735
1216.70/1219.73 c bounds - >= 734 @ 414.767
1216.70/1219.73 c bounds - >= 735 @ 415.75
1216.70/1219.73 c #Conflicts: 150000 | #Constraints: 187449
1216.70/1219.73 c bounds - >= 736 @ 416.796
1216.70/1219.73 c bounds - >= 737 @ 417.821
1216.70/1219.73 c bounds - >= 738 @ 418.846
1216.70/1219.73 c bounds - >= 739 @ 419.88
1216.70/1219.73 c bounds - >= 740 @ 420.879
1216.70/1219.73 c #Conflicts: 151000 | #Constraints: 188454
1216.70/1219.73 c bounds - >= 741 @ 421.93
1216.70/1219.73 c bounds - >= 742 @ 422.935
1216.70/1219.73 c bounds - >= 743 @ 423.974
1216.70/1219.73 c bounds - >= 744 @ 424.992
1216.70/1219.73 c #Conflicts: 152000 | #Constraints: 189458
1216.70/1219.73 c bounds - >= 745 @ 426.014
1216.70/1219.73 c bounds - >= 746 @ 427.055
1216.70/1219.73 c bounds - >= 747 @ 428.093
1216.70/1219.73 c bounds - >= 748 @ 429.134
1216.70/1219.73 c bounds - >= 749 @ 430.2
1216.70/1219.73 c #Conflicts: 153000 | #Constraints: 190463
1216.70/1219.73 c bounds - >= 750 @ 431.24
1216.70/1219.73 c bounds - >= 751 @ 432.317
1216.70/1219.73 c bounds - >= 752 @ 433.335
1216.70/1219.73 c bounds - >= 753 @ 434.347
1216.70/1219.73 c bounds - >= 754 @ 435.404
1216.70/1219.73 c #Conflicts: 154000 | #Constraints: 191468
1216.70/1219.73 c bounds - >= 755 @ 436.446
1216.70/1219.73 c bounds - >= 756 @ 437.443
1216.70/1219.73 c bounds - >= 757 @ 438.498
1216.70/1219.73 c bounds - >= 758 @ 439.54
1216.70/1219.73 c #Conflicts: 155000 | #Constraints: 192472
1216.70/1219.73 c INPROCESSING
1216.70/1219.73 c GARBAGE COLLECT
1216.70/1219.73 c bounds - >= 759 @ 440.972
1216.70/1219.73 c bounds - >= 760 @ 442.005
1216.70/1219.73 c bounds - >= 761 @ 443.081
1216.70/1219.73 c bounds - >= 762 @ 444.129
1216.70/1219.73 c bounds - >= 763 @ 445.196
1216.70/1219.73 c #Conflicts: 156000 | #Constraints: 185639
1216.70/1219.73 c bounds - >= 764 @ 446.236
1216.70/1219.73 c bounds - >= 765 @ 447.264
1216.70/1219.73 c bounds - >= 766 @ 448.295
1216.70/1219.73 c bounds - >= 767 @ 449.361
1216.70/1219.73 c bounds - >= 768 @ 450.441
1216.70/1219.73 c #Conflicts: 157000 | #Constraints: 186644
1216.70/1219.73 c bounds - >= 769 @ 451.571
1216.70/1219.73 c bounds - >= 770 @ 452.594
1216.70/1219.73 c bounds - >= 771 @ 453.628
1216.70/1219.73 c bounds - >= 772 @ 454.661
1216.70/1219.73 c #Conflicts: 158000 | #Constraints: 187648
1216.70/1219.73 c bounds - >= 773 @ 455.74
1216.70/1219.73 c bounds - >= 774 @ 456.762
1216.70/1219.73 c bounds - >= 775 @ 457.829
1216.70/1219.73 c bounds - >= 776 @ 458.895
1216.70/1219.73 c bounds - >= 777 @ 459.979
1216.70/1219.73 c #Conflicts: 159000 | #Constraints: 188653
1216.70/1219.73 c bounds - >= 778 @ 461.025
1216.70/1219.73 c bounds - >= 779 @ 462.102
1216.70/1219.73 c bounds - >= 780 @ 463.135
1216.70/1219.73 c bounds - >= 781 @ 464.214
1216.70/1219.73 c #Conflicts: 160000 | #Constraints: 189657
1216.70/1219.73 c bounds - >= 782 @ 465.306
1216.70/1219.73 c bounds - >= 783 @ 466.358
1216.70/1219.73 c bounds - >= 784 @ 467.412
1216.70/1219.73 c bounds - >= 785 @ 468.487
1216.70/1219.73 c bounds - >= 786 @ 469.525
1216.70/1219.73 c #Conflicts: 161000 | #Constraints: 190662
1216.70/1219.73 c bounds - >= 787 @ 470.583
1216.70/1219.73 c bounds - >= 788 @ 471.641
1216.70/1219.73 c bounds - >= 789 @ 472.696
1216.70/1219.73 c bounds - >= 790 @ 473.799
1216.70/1219.73 c bounds - >= 791 @ 474.87
1216.70/1219.73 c #Conflicts: 162000 | #Constraints: 191667
1216.70/1219.73 c bounds - >= 792 @ 475.988
1216.70/1219.73 c bounds - >= 793 @ 477.046
1216.70/1219.73 c bounds - >= 794 @ 478.15
1216.70/1219.73 c bounds - >= 795 @ 479.254
1216.70/1219.73 c #Conflicts: 163000 | #Constraints: 192671
1216.70/1219.73 c bounds - >= 796 @ 480.334
1216.70/1219.73 c INPROCESSING
1216.70/1219.73 c GARBAGE COLLECT
1216.70/1219.73 c bounds - >= 797 @ 481.793
1216.70/1219.73 c bounds - >= 798 @ 482.867
1216.70/1219.73 c bounds - >= 799 @ 483.967
1216.70/1219.73 c bounds - >= 800 @ 485.085
1216.70/1219.73 c #Conflicts: 164000 | #Constraints: 185633
1216.70/1219.73 c bounds - >= 801 @ 486.205
1216.70/1219.73 c bounds - >= 802 @ 487.255
1216.70/1219.73 c bounds - >= 803 @ 488.322
1216.70/1219.73 c bounds - >= 804 @ 489.42
1216.70/1219.73 c bounds - >= 805 @ 490.511
1216.70/1219.73 c #Conflicts: 165000 | #Constraints: 186638
1216.70/1219.73 c bounds - >= 806 @ 491.603
1216.70/1219.73 c bounds - >= 807 @ 492.736
1216.70/1219.73 c bounds - >= 808 @ 493.807
1216.70/1219.73 c bounds - >= 809 @ 494.912
1216.70/1219.73 c #Conflicts: 166000 | #Constraints: 187642
1216.70/1219.73 c bounds - >= 810 @ 495.974
1216.70/1219.73 c bounds - >= 811 @ 497.116
1216.70/1219.73 c bounds - >= 812 @ 498.259
1216.70/1219.73 c bounds - >= 813 @ 499.378
1216.70/1219.73 c bounds - >= 814 @ 500.5
1216.70/1219.73 c #Conflicts: 167000 | #Constraints: 188647
1216.70/1219.73 c bounds - >= 815 @ 501.596
1216.70/1219.73 c bounds - >= 816 @ 502.681
1216.70/1219.73 c bounds - >= 817 @ 503.775
1216.70/1219.73 c bounds - >= 818 @ 504.902
1216.70/1219.73 c bounds - >= 819 @ 506.035
1216.70/1219.73 c #Conflicts: 168000 | #Constraints: 189652
1216.70/1219.73 c bounds - >= 820 @ 507.179
1216.70/1219.73 c bounds - >= 821 @ 508.298
1216.70/1219.73 c bounds - >= 822 @ 509.402
1216.70/1219.73 c bounds - >= 823 @ 510.527
1216.70/1219.73 c #Conflicts: 169000 | #Constraints: 190656
1216.70/1219.73 c bounds - >= 824 @ 511.638
1216.70/1219.73 c bounds - >= 825 @ 512.735
1216.70/1219.73 c bounds - >= 826 @ 513.821
1216.70/1219.73 c bounds - >= 827 @ 514.963
1216.70/1219.73 c bounds - >= 828 @ 516.08
1216.70/1219.73 c #Conflicts: 170000 | #Constraints: 191661
1512.59/1516.03 c bounds - >= 829 @ 517.186
1512.59/1516.03 c bounds - >= 830 @ 518.31
1512.59/1516.03 c bounds - >= 831 @ 519.456
1512.59/1516.03 c bounds - >= 832 @ 520.616
1512.59/1516.03 c #Conflicts: 171000 | #Constraints: 192665
1512.59/1516.03 c bounds - >= 833 @ 521.709
1512.59/1516.03 c bounds - >= 834 @ 522.833
1512.59/1516.03 c bounds - >= 835 @ 523.942
1512.59/1516.03 c INPROCESSING
1512.59/1516.03 c GARBAGE COLLECT
1512.59/1516.03 c bounds - >= 836 @ 525.438
1512.59/1516.03 c bounds - >= 837 @ 526.604
1512.59/1516.03 c #Conflicts: 172000 | #Constraints: 185443
1512.59/1516.03 c bounds - >= 838 @ 527.776
1512.59/1516.03 c bounds - >= 839 @ 528.944
1512.59/1516.03 c bounds - >= 840 @ 530.09
1512.59/1516.03 c bounds - >= 841 @ 531.287
1512.59/1516.03 c bounds - >= 842 @ 532.361
1512.59/1516.03 c #Conflicts: 173000 | #Constraints: 186448
1512.59/1516.03 c bounds - >= 843 @ 533.474
1512.59/1516.03 c bounds - >= 844 @ 534.625
1512.59/1516.03 c bounds - >= 845 @ 535.812
1512.59/1516.03 c bounds - >= 846 @ 536.944
1512.59/1516.03 c #Conflicts: 174000 | #Constraints: 187452
1512.59/1516.03 c bounds - >= 847 @ 538.099
1512.59/1516.03 c bounds - >= 848 @ 539.27
1512.59/1516.03 c bounds - >= 849 @ 540.45
1512.59/1516.03 c bounds - >= 850 @ 541.611
1512.59/1516.03 c bounds - >= 851 @ 542.756
1512.59/1516.03 c #Conflicts: 175000 | #Constraints: 188457
1512.59/1516.03 c bounds - >= 852 @ 543.903
1512.59/1516.03 c bounds - >= 853 @ 545.033
1512.59/1516.03 c bounds - >= 854 @ 546.197
1512.59/1516.03 c bounds - >= 855 @ 547.325
1512.59/1516.03 c bounds - >= 856 @ 548.454
1512.59/1516.03 c #Conflicts: 176000 | #Constraints: 189462
1512.59/1516.03 c bounds - >= 857 @ 549.604
1512.59/1516.03 c bounds - >= 858 @ 550.777
1512.59/1516.03 c bounds - >= 859 @ 551.929
1512.59/1516.03 c bounds - >= 860 @ 553.102
1512.59/1516.03 c #Conflicts: 177000 | #Constraints: 190466
1512.59/1516.03 c bounds - >= 861 @ 554.274
1512.59/1516.03 c bounds - >= 862 @ 555.453
1512.59/1516.03 c bounds - >= 863 @ 556.57
1512.59/1516.03 c bounds - >= 864 @ 557.722
1512.59/1516.03 c bounds - >= 865 @ 558.865
1512.59/1516.03 c #Conflicts: 178000 | #Constraints: 191471
1512.59/1516.03 c bounds - >= 866 @ 560.039
1512.59/1516.03 c bounds - >= 867 @ 561.15
1512.59/1516.03 c bounds - >= 868 @ 562.3
1512.59/1516.03 c bounds - >= 869 @ 563.502
1512.59/1516.03 c #Conflicts: 179000 | #Constraints: 192475
1512.59/1516.03 c bounds - >= 870 @ 564.71
1512.59/1516.03 c bounds - >= 871 @ 565.9
1512.59/1516.03 c bounds - >= 872 @ 567.095
1512.59/1516.03 c bounds - >= 873 @ 568.282
1512.59/1516.03 c bounds - >= 874 @ 569.451
1512.59/1516.03 c #Conflicts: 180000 | #Constraints: 193480
1512.59/1516.03 c bounds - >= 875 @ 570.592
1512.59/1516.03 c INPROCESSING
1512.59/1516.03 c GARBAGE COLLECT
1512.59/1516.03 c bounds - >= 876 @ 572.12
1512.59/1516.03 c bounds - >= 877 @ 573.252
1512.59/1516.03 c bounds - >= 878 @ 574.423
1512.59/1516.03 c bounds - >= 879 @ 575.573
1512.59/1516.03 c #Conflicts: 181000 | #Constraints: 186030
1512.59/1516.03 c bounds - >= 880 @ 576.767
1512.59/1516.03 c bounds - >= 881 @ 577.936
1512.59/1516.03 c bounds - >= 882 @ 579.099
1512.59/1516.03 c bounds - >= 883 @ 580.246
1512.59/1516.03 c #Conflicts: 182000 | #Constraints: 187034
1512.59/1516.03 c bounds - >= 884 @ 581.437
1512.59/1516.03 c bounds - >= 885 @ 582.578
1512.59/1516.03 c bounds - >= 886 @ 583.76
1512.59/1516.03 c bounds - >= 887 @ 584.913
1512.59/1516.03 c bounds - >= 888 @ 586.072
1512.59/1516.03 c #Conflicts: 183000 | #Constraints: 188039
1512.59/1516.03 c bounds - >= 889 @ 587.264
1512.59/1516.03 c bounds - >= 890 @ 588.457
1512.59/1516.03 c bounds - >= 891 @ 589.61
1512.59/1516.03 c bounds - >= 892 @ 590.799
1512.59/1516.03 c bounds - >= 893 @ 591.997
1512.59/1516.03 c #Conflicts: 184000 | #Constraints: 189044
1512.59/1516.03 c bounds - >= 894 @ 593.165
1512.59/1516.03 c bounds - >= 895 @ 594.355
1512.59/1516.03 c bounds - >= 896 @ 595.573
1512.59/1516.03 c bounds - >= 897 @ 596.747
1512.59/1516.03 c #Conflicts: 185000 | #Constraints: 190048
1512.59/1516.03 c bounds - >= 898 @ 597.97
1512.59/1516.03 c bounds - >= 899 @ 599.152
1512.59/1516.03 c bounds - >= 900 @ 600.352
1512.59/1516.03 c bounds - >= 901 @ 601.547
1512.59/1516.03 c bounds - >= 902 @ 602.789
1512.59/1516.03 c #Conflicts: 186000 | #Constraints: 191053
1512.59/1516.03 c bounds - >= 903 @ 603.971
1512.59/1516.03 c bounds - >= 904 @ 605.178
1512.59/1516.03 c bounds - >= 905 @ 606.406
1512.59/1516.03 c bounds - >= 906 @ 607.644
1512.59/1516.03 c #Conflicts: 187000 | #Constraints: 192057
1512.59/1516.03 c bounds - >= 907 @ 608.821
1512.59/1516.03 c bounds - >= 908 @ 610.026
1512.59/1516.03 c bounds - >= 909 @ 611.232
1512.59/1516.03 c bounds - >= 910 @ 612.421
1512.59/1516.03 c bounds - >= 911 @ 613.614
1512.59/1516.03 c #Conflicts: 188000 | #Constraints: 193062
1512.59/1516.03 c bounds - >= 912 @ 614.807
1512.59/1516.03 c bounds - >= 913 @ 616.003
1512.59/1516.03 c bounds - >= 914 @ 617.232
1512.59/1516.03 c bounds - >= 915 @ 618.449
1512.59/1516.03 c bounds - >= 916 @ 619.671
1512.59/1516.03 c #Conflicts: 189000 | #Constraints: 194067
1512.59/1516.03 c INPROCESSING
1512.59/1516.03 c GARBAGE COLLECT
1512.59/1516.03 c bounds - >= 917 @ 621.227
1512.59/1516.03 c bounds - >= 918 @ 622.452
1512.59/1516.03 c bounds - >= 919 @ 623.618
1512.59/1516.03 c bounds - >= 920 @ 624.807
1512.59/1516.03 c #Conflicts: 190000 | #Constraints: 186447
1512.59/1516.03 c bounds - >= 921 @ 626.004
1512.59/1516.03 c bounds - >= 922 @ 627.273
1512.59/1516.03 c bounds - >= 923 @ 628.466
1512.59/1516.03 c bounds - >= 924 @ 629.692
1512.59/1516.03 c bounds - >= 925 @ 630.904
1512.59/1516.03 c #Conflicts: 191000 | #Constraints: 187452
1512.59/1516.03 c bounds - >= 926 @ 632.118
1512.59/1516.03 c bounds - >= 927 @ 633.37
1512.59/1516.03 c bounds - >= 928 @ 634.601
1512.59/1516.03 c bounds - >= 929 @ 635.822
1512.59/1516.03 c bounds - >= 930 @ 637.077
1512.59/1516.03 c #Conflicts: 192000 | #Constraints: 188457
1837.56/1841.45 c bounds - >= 931 @ 638.322
1837.56/1841.45 c bounds - >= 932 @ 639.572
1837.56/1841.45 c bounds - >= 933 @ 640.83
1837.56/1841.45 c bounds - >= 934 @ 642.068
1837.56/1841.45 c #Conflicts: 193000 | #Constraints: 189461
1837.56/1841.45 c bounds - >= 935 @ 643.275
1837.56/1841.45 c bounds - >= 936 @ 644.487
1837.56/1841.45 c bounds - >= 937 @ 645.713
1837.56/1841.45 c bounds - >= 938 @ 646.915
1837.56/1841.45 c bounds - >= 939 @ 648.147
1837.56/1841.45 c #Conflicts: 194000 | #Constraints: 190466
1837.56/1841.45 c bounds - >= 940 @ 649.409
1837.56/1841.45 c bounds - >= 941 @ 650.601
1837.56/1841.45 c bounds - >= 942 @ 651.904
1837.56/1841.45 c bounds - >= 943 @ 653.175
1837.56/1841.45 c bounds - >= 944 @ 654.409
1837.56/1841.45 c #Conflicts: 195000 | #Constraints: 191471
1837.56/1841.45 c bounds - >= 945 @ 655.608
1837.56/1841.45 c bounds - >= 946 @ 656.837
1837.56/1841.45 c bounds - >= 947 @ 658.105
1837.56/1841.45 c bounds - >= 948 @ 659.311
1837.56/1841.45 c #Conflicts: 196000 | #Constraints: 192475
1837.56/1841.45 c bounds - >= 949 @ 660.541
1837.56/1841.45 c bounds - >= 950 @ 661.82
1837.56/1841.45 c bounds - >= 951 @ 663.106
1837.56/1841.45 c bounds - >= 952 @ 664.368
1837.56/1841.45 c bounds - >= 953 @ 665.602
1837.56/1841.45 c #Conflicts: 197000 | #Constraints: 193480
1837.56/1841.45 c bounds - >= 954 @ 666.888
1837.56/1841.45 c bounds - >= 955 @ 668.165
1837.56/1841.45 c bounds - >= 956 @ 669.413
1837.56/1841.45 c bounds - >= 957 @ 670.669
1837.56/1841.45 c #Conflicts: 198000 | #Constraints: 194484
1837.56/1841.45 c INPROCESSING
1837.56/1841.45 c GARBAGE COLLECT
1837.56/1841.45 c bounds - >= 958 @ 672.342
1837.56/1841.45 c bounds - >= 959 @ 673.627
1837.56/1841.45 c bounds - >= 960 @ 674.898
1837.56/1841.45 c bounds - >= 961 @ 676.225
1837.56/1841.45 c bounds - >= 962 @ 677.484
1837.56/1841.45 c #Conflicts: 199000 | #Constraints: 186648
1837.56/1841.45 c bounds - >= 963 @ 678.741
1837.56/1841.45 c bounds - >= 964 @ 680.003
1837.56/1841.45 c bounds - >= 965 @ 681.245
1837.56/1841.45 c bounds - >= 966 @ 682.552
1837.56/1841.45 c bounds - >= 967 @ 683.843
1837.56/1841.45 c #Conflicts: 200000 | #Constraints: 187653
1837.56/1841.45 c bounds - >= 968 @ 685.137
1837.56/1841.45 c bounds - >= 969 @ 686.381
1837.56/1841.45 c bounds - >= 970 @ 687.689
1837.56/1841.45 c bounds - >= 971 @ 688.967
1837.56/1841.45 c #Conflicts: 201000 | #Constraints: 188657
1837.56/1841.45 c bounds - >= 972 @ 690.234
1837.56/1841.45 c bounds - >= 973 @ 691.535
1837.56/1841.45 c bounds - >= 974 @ 692.821
1837.56/1841.45 c bounds - >= 975 @ 694.11
1837.56/1841.45 c bounds - >= 976 @ 695.378
1837.56/1841.45 c #Conflicts: 202000 | #Constraints: 189662
1837.56/1841.45 c bounds - >= 977 @ 696.679
1837.56/1841.45 c bounds - >= 978 @ 697.992
1837.56/1841.45 c bounds - >= 979 @ 699.328
1837.56/1841.45 c bounds - >= 980 @ 700.619
1837.56/1841.45 c bounds - >= 981 @ 701.904
1837.56/1841.45 c #Conflicts: 203000 | #Constraints: 190667
1837.56/1841.45 c bounds - >= 982 @ 703.199
1837.56/1841.45 c bounds - >= 983 @ 704.527
1837.56/1841.45 c bounds - >= 984 @ 705.82
1837.56/1841.45 c bounds - >= 985 @ 707.107
1837.56/1841.45 c #Conflicts: 204000 | #Constraints: 191671
1837.56/1841.45 c bounds - >= 986 @ 708.44
1837.56/1841.45 c bounds - >= 987 @ 709.727
1837.56/1841.45 c bounds - >= 988 @ 710.999
1837.56/1841.45 c bounds - >= 989 @ 712.321
1837.56/1841.45 c bounds - >= 990 @ 713.628
1837.56/1841.45 c #Conflicts: 205000 | #Constraints: 192676
1837.56/1841.45 c bounds - >= 991 @ 714.973
1837.56/1841.45 c bounds - >= 992 @ 716.303
1837.56/1841.45 c bounds - >= 993 @ 717.591
1837.56/1841.45 c bounds - >= 994 @ 718.99
1837.56/1841.45 c #Conflicts: 206000 | #Constraints: 193680
1837.56/1841.45 c bounds - >= 995 @ 720.285
1837.56/1841.45 c bounds - >= 996 @ 721.625
1837.56/1841.45 c bounds - >= 997 @ 722.911
1837.56/1841.45 c bounds - >= 998 @ 724.258
1837.56/1841.45 c bounds - >= 999 @ 725.651
1837.56/1841.45 c #Conflicts: 207000 | #Constraints: 194685
1837.56/1841.45 c bounds - >= 1000 @ 727.001
1837.56/1841.45 c INPROCESSING
1837.56/1841.45 c GARBAGE COLLECT
1837.56/1841.45 c bounds - >= 1001 @ 728.682
1837.56/1841.45 c bounds - >= 1002 @ 730.04
1837.56/1841.45 c bounds - >= 1003 @ 731.41
1837.56/1841.45 c bounds - >= 1004 @ 732.758
1837.56/1841.45 c #Conflicts: 208000 | #Constraints: 186629
1837.56/1841.45 c bounds - >= 1005 @ 734.112
1837.56/1841.45 c bounds - >= 1006 @ 735.472
1837.56/1841.45 c bounds - >= 1007 @ 736.782
1837.56/1841.45 c bounds - >= 1008 @ 738.087
1837.56/1841.45 c #Conflicts: 209000 | #Constraints: 187633
1837.56/1841.45 c bounds - >= 1009 @ 739.436
1837.56/1841.45 c bounds - >= 1010 @ 740.77
1837.56/1841.45 c bounds - >= 1011 @ 742.093
1837.56/1841.45 c bounds - >= 1012 @ 743.443
1837.56/1841.45 c bounds - >= 1013 @ 744.745
1837.56/1841.45 c #Conflicts: 210000 | #Constraints: 188638
1837.56/1841.45 c bounds - >= 1014 @ 746.102
1837.56/1841.45 c bounds - >= 1015 @ 747.504
1837.56/1841.45 c bounds - >= 1016 @ 748.867
1837.56/1841.45 c bounds - >= 1017 @ 750.202
1837.56/1841.45 c bounds - >= 1018 @ 751.536
1837.56/1841.45 c #Conflicts: 211000 | #Constraints: 189643
1837.56/1841.45 c bounds - >= 1019 @ 752.899
1837.56/1841.45 c bounds - >= 1020 @ 754.219
1837.56/1841.45 c bounds - >= 1021 @ 755.588
1837.56/1841.45 c bounds - >= 1022 @ 756.956
1837.56/1841.45 c #Conflicts: 212000 | #Constraints: 190647
1837.56/1841.45 c bounds - >= 1023 @ 758.273
1837.56/1841.45 c bounds - >= 1024 @ 759.587
1837.56/1841.45 c bounds - >= 1025 @ 760.935
1837.56/1841.45 c bounds - >= 1026 @ 762.352
1837.56/1841.45 c bounds - >= 1027 @ 763.71
1837.56/1841.45 c #Conflicts: 213000 | #Constraints: 191652
1837.56/1841.45 c bounds - >= 1028 @ 765.05
1837.56/1841.45 c bounds - >= 1029 @ 766.4
1837.56/1841.45 c bounds - >= 1030 @ 767.763
1837.56/1841.45 c bounds - >= 1031 @ 769.156
1837.56/1841.45 c #Conflicts: 214000 | #Constraints: 192656
1837.56/1841.45 c bounds - >= 1032 @ 770.522
2194.60/2198.99 c bounds - >= 1033 @ 771.881
2194.60/2198.99 c bounds - >= 1034 @ 773.253
2194.60/2198.99 c bounds - >= 1035 @ 774.604
2194.60/2198.99 c bounds - >= 1036 @ 775.962
2194.60/2198.99 c #Conflicts: 215000 | #Constraints: 193661
2194.60/2198.99 c bounds - >= 1037 @ 777.364
2194.60/2198.99 c bounds - >= 1038 @ 778.69
2194.60/2198.99 c bounds - >= 1039 @ 780.099
2194.60/2198.99 c bounds - >= 1040 @ 781.453
2194.60/2198.99 c bounds - >= 1041 @ 782.846
2194.60/2198.99 c #Conflicts: 216000 | #Constraints: 194666
2194.60/2198.99 c bounds - >= 1042 @ 784.236
2194.60/2198.99 c bounds - >= 1043 @ 785.618
2194.60/2198.99 c bounds - >= 1044 @ 787.033
2194.60/2198.99 c INPROCESSING
2194.60/2198.99 c GARBAGE COLLECT
2194.60/2198.99 c bounds - >= 1045 @ 788.786
2194.60/2198.99 c #Conflicts: 217000 | #Constraints: 186418
2194.60/2198.99 c bounds - >= 1046 @ 790.174
2194.60/2198.99 c bounds - >= 1047 @ 791.534
2194.60/2198.99 c bounds - >= 1048 @ 792.993
2194.60/2198.99 c bounds - >= 1049 @ 794.335
2194.60/2198.99 c bounds - >= 1050 @ 795.725
2194.60/2198.99 c #Conflicts: 218000 | #Constraints: 187423
2194.60/2198.99 c bounds - >= 1051 @ 797.053
2194.60/2198.99 c bounds - >= 1052 @ 798.426
2194.60/2198.99 c bounds - >= 1053 @ 799.79
2194.60/2198.99 c bounds - >= 1054 @ 801.147
2194.60/2198.99 c bounds - >= 1055 @ 802.558
2194.60/2198.99 c #Conflicts: 219000 | #Constraints: 188428
2194.60/2198.99 c bounds - >= 1056 @ 803.952
2194.60/2198.99 c bounds - >= 1057 @ 805.346
2194.60/2198.99 c bounds - >= 1058 @ 806.703
2194.60/2198.99 c bounds - >= 1059 @ 808.074
2194.60/2198.99 c #Conflicts: 220000 | #Constraints: 189432
2194.60/2198.99 c bounds - >= 1060 @ 809.443
2194.60/2198.99 c bounds - >= 1061 @ 810.815
2194.60/2198.99 c bounds - >= 1062 @ 812.219
2194.60/2198.99 c bounds - >= 1063 @ 813.633
2194.60/2198.99 c bounds - >= 1064 @ 815.007
2194.60/2198.99 c #Conflicts: 221000 | #Constraints: 190437
2194.60/2198.99 c bounds - >= 1065 @ 816.415
2194.60/2198.99 c bounds - >= 1066 @ 817.796
2194.60/2198.99 c bounds - >= 1067 @ 819.209
2194.60/2198.99 c bounds - >= 1068 @ 820.641
2194.60/2198.99 c bounds - >= 1069 @ 822.039
2194.60/2198.99 c #Conflicts: 222000 | #Constraints: 191442
2194.60/2198.99 c bounds - >= 1070 @ 823.413
2194.60/2198.99 c bounds - >= 1071 @ 824.865
2194.60/2198.99 c bounds - >= 1072 @ 826.243
2194.60/2198.99 c bounds - >= 1073 @ 827.688
2194.60/2198.99 c #Conflicts: 223000 | #Constraints: 192446
2194.60/2198.99 c bounds - >= 1074 @ 829.143
2194.60/2198.99 c bounds - >= 1075 @ 830.582
2194.60/2198.99 c bounds - >= 1076 @ 832.027
2194.60/2198.99 c bounds - >= 1077 @ 833.441
2194.60/2198.99 c bounds - >= 1078 @ 834.856
2194.60/2198.99 c #Conflicts: 224000 | #Constraints: 193451
2194.60/2198.99 c bounds - >= 1079 @ 836.297
2194.60/2198.99 c bounds - >= 1080 @ 837.715
2194.60/2198.99 c bounds - >= 1081 @ 839.168
2194.60/2198.99 c bounds - >= 1082 @ 840.621
2194.60/2198.99 c #Conflicts: 225000 | #Constraints: 194455
2194.60/2198.99 c bounds - >= 1083 @ 842.031
2194.60/2198.99 c bounds - >= 1084 @ 843.467
2194.60/2198.99 c bounds - >= 1085 @ 844.918
2194.60/2198.99 c bounds - >= 1086 @ 846.321
2194.60/2198.99 c bounds - >= 1087 @ 847.761
2194.60/2198.99 c #Conflicts: 226000 | #Constraints: 195460
2194.60/2198.99 c bounds - >= 1088 @ 849.201
2194.60/2198.99 c INPROCESSING
2194.60/2198.99 c GARBAGE COLLECT
2194.60/2198.99 c bounds - >= 1089 @ 850.985
2194.60/2198.99 c bounds - >= 1090 @ 852.401
2194.60/2198.99 c bounds - >= 1091 @ 853.795
2194.60/2198.99 c bounds - >= 1092 @ 855.244
2194.60/2198.99 c #Conflicts: 227000 | #Constraints: 187038
2194.60/2198.99 c bounds - >= 1093 @ 856.671
2194.60/2198.99 c bounds - >= 1094 @ 858.108
2194.60/2198.99 c bounds - >= 1095 @ 859.595
2194.60/2198.99 c bounds - >= 1096 @ 861.027
2194.60/2198.99 c #Conflicts: 228000 | #Constraints: 188042
2194.60/2198.99 c bounds - >= 1097 @ 862.432
2194.60/2198.99 c bounds - >= 1098 @ 863.857
2194.60/2198.99 c bounds - >= 1099 @ 865.308
2194.60/2198.99 c bounds - >= 1100 @ 866.727
2194.60/2198.99 c bounds - >= 1101 @ 868.145
2194.60/2198.99 c #Conflicts: 229000 | #Constraints: 189047
2194.60/2198.99 c bounds - >= 1102 @ 869.617
2194.60/2198.99 c bounds - >= 1103 @ 871.048
2194.60/2198.99 c bounds - >= 1104 @ 872.464
2194.60/2198.99 c bounds - >= 1105 @ 873.948
2194.60/2198.99 c bounds - >= 1106 @ 875.34
2194.60/2198.99 c #Conflicts: 230000 | #Constraints: 190052
2194.60/2198.99 c bounds - >= 1107 @ 876.753
2194.60/2198.99 c bounds - >= 1108 @ 878.225
2194.60/2198.99 c bounds - >= 1109 @ 879.678
2194.60/2198.99 c bounds - >= 1110 @ 881.136
2194.60/2198.99 c #Conflicts: 231000 | #Constraints: 191056
2194.60/2198.99 c bounds - >= 1111 @ 882.615
2194.60/2198.99 c bounds - >= 1112 @ 884.11
2194.60/2198.99 c bounds - >= 1113 @ 885.604
2194.60/2198.99 c bounds - >= 1114 @ 887.069
2194.60/2198.99 c bounds - >= 1115 @ 888.488
2194.60/2198.99 c #Conflicts: 232000 | #Constraints: 192061
2194.60/2198.99 c bounds - >= 1116 @ 889.971
2194.60/2198.99 c bounds - >= 1117 @ 891.464
2194.60/2198.99 c bounds - >= 1118 @ 892.937
2194.60/2198.99 c bounds - >= 1119 @ 894.405
2194.60/2198.99 c #Conflicts: 233000 | #Constraints: 193065
2194.60/2198.99 c bounds - >= 1120 @ 895.92
2194.60/2198.99 c bounds - >= 1121 @ 897.399
2194.60/2198.99 c bounds - >= 1122 @ 898.814
2194.60/2198.99 c bounds - >= 1123 @ 900.287
2194.60/2198.99 c bounds - >= 1124 @ 901.775
2194.60/2198.99 c #Conflicts: 234000 | #Constraints: 194070
2194.60/2198.99 c bounds - >= 1125 @ 903.224
2194.60/2198.99 c bounds - >= 1126 @ 904.7
2194.60/2198.99 c bounds - >= 1127 @ 906.214
2194.60/2198.99 c bounds - >= 1128 @ 907.685
2194.60/2198.99 c bounds - >= 1129 @ 909.21
2194.60/2198.99 c #Conflicts: 235000 | #Constraints: 195075
2194.60/2198.99 c bounds - >= 1130 @ 910.681
2194.60/2198.99 c bounds - >= 1131 @ 912.116
2194.60/2198.99 c bounds - >= 1132 @ 913.613
2194.60/2198.99 c bounds - >= 1133 @ 915.076
2576.71/2581.54 c #Conflicts: 236000 | #Constraints: 196079
2576.71/2581.54 c INPROCESSING
2576.71/2581.54 c GARBAGE COLLECT
2576.71/2581.54 c bounds - >= 1134 @ 916.988
2576.71/2581.54 c bounds - >= 1135 @ 918.468
2576.71/2581.54 c bounds - >= 1136 @ 919.937
2576.71/2581.54 c bounds - >= 1137 @ 921.402
2576.71/2581.54 c bounds - >= 1138 @ 922.896
2576.71/2581.54 c #Conflicts: 237000 | #Constraints: 187433
2576.71/2581.54 c bounds - >= 1139 @ 924.372
2576.71/2581.54 c bounds - >= 1140 @ 925.913
2576.71/2581.54 c bounds - >= 1141 @ 927.415
2576.71/2581.54 c bounds - >= 1142 @ 928.905
2576.71/2581.54 c bounds - >= 1143 @ 930.421
2576.71/2581.54 c #Conflicts: 238000 | #Constraints: 188438
2576.71/2581.54 c bounds - >= 1144 @ 931.946
2576.71/2581.54 c bounds - >= 1145 @ 933.459
2576.71/2581.54 c bounds - >= 1146 @ 934.951
2576.71/2581.54 c bounds - >= 1147 @ 936.406
2576.71/2581.54 c #Conflicts: 239000 | #Constraints: 189442
2576.71/2581.54 c bounds - >= 1148 @ 937.913
2576.71/2581.54 c bounds - >= 1149 @ 939.427
2576.71/2581.54 c bounds - >= 1150 @ 940.982
2576.71/2581.54 c bounds - >= 1151 @ 942.496
2576.71/2581.54 c bounds - >= 1152 @ 943.971
2576.71/2581.54 c #Conflicts: 240000 | #Constraints: 190447
2576.71/2581.54 c bounds - >= 1153 @ 945.436
2576.71/2581.54 c bounds - >= 1154 @ 947.032
2576.71/2581.54 c bounds - >= 1155 @ 948.539
2576.71/2581.54 c bounds - >= 1156 @ 950.077
2576.71/2581.54 c #Conflicts: 241000 | #Constraints: 191451
2576.71/2581.54 c bounds - >= 1157 @ 951.585
2576.71/2581.54 c bounds - >= 1158 @ 953.105
2576.71/2581.54 c bounds - >= 1159 @ 954.606
2576.71/2581.54 c bounds - >= 1160 @ 956.125
2576.71/2581.54 c bounds - >= 1161 @ 957.683
2576.71/2581.54 c #Conflicts: 242000 | #Constraints: 192456
2576.71/2581.54 c bounds - >= 1162 @ 959.169
2576.71/2581.54 c bounds - >= 1163 @ 960.688
2576.71/2581.54 c bounds - >= 1164 @ 962.167
2576.71/2581.54 c bounds - >= 1165 @ 963.735
2576.71/2581.54 c bounds - >= 1166 @ 965.268
2576.71/2581.54 c #Conflicts: 243000 | #Constraints: 193461
2576.71/2581.54 c bounds - >= 1167 @ 966.796
2576.71/2581.54 c bounds - >= 1168 @ 968.351
2576.71/2581.54 c bounds - >= 1169 @ 969.862
2576.71/2581.54 c bounds - >= 1170 @ 971.357
2576.71/2581.54 c #Conflicts: 244000 | #Constraints: 194465
2576.71/2581.54 c bounds - >= 1171 @ 972.902
2576.71/2581.54 c bounds - >= 1172 @ 974.422
2576.71/2581.54 c bounds - >= 1173 @ 975.978
2576.71/2581.54 c bounds - >= 1174 @ 977.527
2576.71/2581.54 c bounds - >= 1175 @ 979.067
2576.71/2581.54 c #Conflicts: 245000 | #Constraints: 195470
2576.71/2581.54 c bounds - >= 1176 @ 980.609
2576.71/2581.54 c bounds - >= 1177 @ 982.185
2576.71/2581.54 c bounds - >= 1178 @ 983.754
2576.71/2581.54 c bounds - >= 1179 @ 985.327
2576.71/2581.54 c bounds - >= 1180 @ 986.871
2576.71/2581.54 c #Conflicts: 246000 | #Constraints: 196475
2576.71/2581.54 c INPROCESSING
2576.71/2581.54 c GARBAGE COLLECT
2576.71/2581.54 c bounds - >= 1181 @ 988.776
2576.71/2581.54 c bounds - >= 1182 @ 990.318
2576.71/2581.54 c bounds - >= 1183 @ 991.872
2576.71/2581.54 c bounds - >= 1184 @ 993.429
2576.71/2581.54 c #Conflicts: 247000 | #Constraints: 187632
2576.71/2581.54 c bounds - >= 1185 @ 994.972
2576.71/2581.54 c bounds - >= 1186 @ 996.523
2576.71/2581.54 c bounds - >= 1187 @ 998.081
2576.71/2581.54 c bounds - >= 1188 @ 999.66
2576.71/2581.54 c bounds - >= 1189 @ 1001.2
2576.71/2581.54 c #Conflicts: 248000 | #Constraints: 188637
2576.71/2581.54 c bounds - >= 1190 @ 1002.74
2576.71/2581.54 c bounds - >= 1191 @ 1004.28
2576.71/2581.54 c bounds - >= 1192 @ 1005.81
2576.71/2581.54 c bounds - >= 1193 @ 1007.35
2576.71/2581.54 c bounds - >= 1194 @ 1008.89
2576.71/2581.54 c #Conflicts: 249000 | #Constraints: 189642
2576.71/2581.54 c bounds - >= 1195 @ 1010.49
2576.71/2581.54 c bounds - >= 1196 @ 1012.08
2576.71/2581.54 c bounds - >= 1197 @ 1013.7
2576.71/2581.54 c bounds - >= 1198 @ 1015.27
2576.71/2581.54 c #Conflicts: 250000 | #Constraints: 190646
2576.71/2581.54 c bounds - >= 1199 @ 1016.88
2576.71/2581.54 c bounds - >= 1200 @ 1018.44
2576.71/2581.54 c bounds - >= 1201 @ 1019.99
2576.71/2581.54 c bounds - >= 1202 @ 1021.6
2576.71/2581.54 c bounds - >= 1203 @ 1023.2
2576.71/2581.54 c #Conflicts: 251000 | #Constraints: 191651
2576.71/2581.54 c bounds - >= 1204 @ 1024.74
2576.71/2581.54 c bounds - >= 1205 @ 1026.39
2576.71/2581.54 c bounds - >= 1206 @ 1027.95
2576.71/2581.54 c bounds - >= 1207 @ 1029.53
2576.71/2581.54 c #Conflicts: 252000 | #Constraints: 192655
2576.71/2581.54 c bounds - >= 1208 @ 1031.13
2576.71/2581.54 c bounds - >= 1209 @ 1032.76
2576.71/2581.54 c bounds - >= 1210 @ 1034.33
2576.71/2581.54 c bounds - >= 1211 @ 1035.91
2576.71/2581.54 c bounds - >= 1212 @ 1037.53
2576.71/2581.54 c #Conflicts: 253000 | #Constraints: 193660
2576.71/2581.54 c bounds - >= 1213 @ 1039.14
2576.71/2581.54 c bounds - >= 1214 @ 1040.77
2576.71/2581.54 c bounds - >= 1215 @ 1042.4
2576.71/2581.54 c bounds - >= 1216 @ 1044.07
2576.71/2581.54 c bounds - >= 1217 @ 1045.67
2576.71/2581.54 c #Conflicts: 254000 | #Constraints: 194665
2576.71/2581.54 c bounds - >= 1218 @ 1047.29
2576.71/2581.54 c bounds - >= 1219 @ 1048.88
2576.71/2581.54 c bounds - >= 1220 @ 1050.52
2576.71/2581.54 c bounds - >= 1221 @ 1052.1
2576.71/2581.54 c #Conflicts: 255000 | #Constraints: 195669
2576.71/2581.54 c bounds - >= 1222 @ 1053.69
2576.71/2581.54 c bounds - >= 1223 @ 1055.29
2576.71/2581.54 c bounds - >= 1224 @ 1056.95
2576.71/2581.54 c bounds - >= 1225 @ 1058.55
2576.71/2581.54 c bounds - >= 1226 @ 1060.11
2576.71/2581.54 c #Conflicts: 256000 | #Constraints: 196674
2576.71/2581.54 c bounds - >= 1227 @ 1061.73
2576.71/2581.54 c INPROCESSING
2576.71/2581.54 c GARBAGE COLLECT
2576.71/2581.54 c bounds - >= 1228 @ 1063.74
2576.71/2581.54 c bounds - >= 1229 @ 1065.33
2576.71/2581.54 c bounds - >= 1230 @ 1066.91
2576.71/2581.54 c bounds - >= 1231 @ 1068.57
2576.71/2581.54 c #Conflicts: 257000 | #Constraints: 187629
2576.71/2581.54 c bounds - >= 1232 @ 1070.19
2998.38/3003.78 c bounds - >= 1233 @ 1071.78
2998.38/3003.78 c bounds - >= 1234 @ 1073.44
2998.38/3003.78 c bounds - >= 1235 @ 1075.03
2998.38/3003.78 c #Conflicts: 258000 | #Constraints: 188633
2998.38/3003.78 c bounds - >= 1236 @ 1076.65
2998.38/3003.78 c bounds - >= 1237 @ 1078.23
2998.38/3003.78 c bounds - >= 1238 @ 1079.9
2998.38/3003.78 c bounds - >= 1239 @ 1081.53
2998.38/3003.78 c bounds - >= 1240 @ 1083.11
2998.38/3003.78 c #Conflicts: 259000 | #Constraints: 189638
2998.38/3003.78 c bounds - >= 1241 @ 1084.71
2998.38/3003.78 c bounds - >= 1242 @ 1086.33
2998.38/3003.78 c bounds - >= 1243 @ 1087.99
2998.38/3003.78 c bounds - >= 1244 @ 1089.71
2998.38/3003.78 c #Conflicts: 260000 | #Constraints: 190642
2998.38/3003.78 c bounds - >= 1245 @ 1091.33
2998.38/3003.78 c bounds - >= 1246 @ 1092.94
2998.38/3003.78 c bounds - >= 1247 @ 1094.58
2998.38/3003.78 c bounds - >= 1248 @ 1096.21
2998.38/3003.78 c bounds - >= 1249 @ 1097.82
2998.38/3003.78 c #Conflicts: 261000 | #Constraints: 191647
2998.38/3003.78 c bounds - >= 1250 @ 1099.49
2998.38/3003.78 c bounds - >= 1251 @ 1101.1
2998.38/3003.78 c bounds - >= 1252 @ 1102.73
2998.38/3003.78 c bounds - >= 1253 @ 1104.31
2998.38/3003.78 c bounds - >= 1254 @ 1105.92
2998.38/3003.78 c #Conflicts: 262000 | #Constraints: 192652
2998.38/3003.78 c bounds - >= 1255 @ 1107.52
2998.38/3003.78 c bounds - >= 1256 @ 1109.12
2998.38/3003.78 c bounds - >= 1257 @ 1110.8
2998.38/3003.78 c bounds - >= 1258 @ 1112.47
2998.38/3003.78 c #Conflicts: 263000 | #Constraints: 193656
2998.38/3003.78 c bounds - >= 1259 @ 1114.14
2998.38/3003.78 c bounds - >= 1260 @ 1115.84
2998.38/3003.78 c bounds - >= 1261 @ 1117.46
2998.38/3003.78 c bounds - >= 1262 @ 1119.13
2998.38/3003.78 c bounds - >= 1263 @ 1120.76
2998.38/3003.78 c #Conflicts: 264000 | #Constraints: 194661
2998.38/3003.78 c bounds - >= 1264 @ 1122.38
2998.38/3003.78 c bounds - >= 1265 @ 1124.03
2998.38/3003.78 c bounds - >= 1266 @ 1125.65
2998.38/3003.78 c bounds - >= 1267 @ 1127.33
2998.38/3003.78 c bounds - >= 1268 @ 1128.93
2998.38/3003.78 c #Conflicts: 265000 | #Constraints: 195666
2998.38/3003.78 c bounds - >= 1269 @ 1130.55
2998.38/3003.78 c bounds - >= 1270 @ 1132.19
2998.38/3003.78 c bounds - >= 1271 @ 1133.86
2998.38/3003.78 c bounds - >= 1272 @ 1135.53
2998.38/3003.78 c #Conflicts: 266000 | #Constraints: 196670
2998.38/3003.78 c bounds - >= 1273 @ 1137.22
2998.38/3003.78 c bounds - >= 1274 @ 1138.89
2998.38/3003.78 c bounds - >= 1275 @ 1140.57
2998.38/3003.78 c INPROCESSING
2998.38/3003.78 c GARBAGE COLLECT
2998.38/3003.78 c bounds - >= 1276 @ 1142.61
2998.38/3003.78 c bounds - >= 1277 @ 1144.28
2998.38/3003.78 c #Conflicts: 267000 | #Constraints: 187413
2998.38/3003.78 c bounds - >= 1278 @ 1145.97
2998.38/3003.78 c bounds - >= 1279 @ 1147.63
2998.38/3003.78 c bounds - >= 1280 @ 1149.28
2998.38/3003.78 c bounds - >= 1281 @ 1150.94
2998.38/3003.78 c #Conflicts: 268000 | #Constraints: 188417
2998.38/3003.78 c bounds - >= 1282 @ 1152.53
2998.38/3003.78 c bounds - >= 1283 @ 1154.19
2998.38/3003.78 c bounds - >= 1284 @ 1155.84
2998.38/3003.78 c bounds - >= 1285 @ 1157.49
2998.38/3003.78 c bounds - >= 1286 @ 1159.18
2998.38/3003.78 c #Conflicts: 269000 | #Constraints: 189422
2998.38/3003.78 c bounds - >= 1287 @ 1160.84
2998.38/3003.78 c bounds - >= 1288 @ 1162.48
2998.38/3003.78 c bounds - >= 1289 @ 1164.14
2998.38/3003.78 c bounds - >= 1290 @ 1165.83
2998.38/3003.78 c bounds - >= 1291 @ 1167.53
2998.38/3003.78 c #Conflicts: 270000 | #Constraints: 190427
2998.38/3003.78 c bounds - >= 1292 @ 1169.21
2998.38/3003.78 c bounds - >= 1293 @ 1170.88
2998.38/3003.78 c bounds - >= 1294 @ 1172.56
2998.38/3003.78 c bounds - >= 1295 @ 1174.23
2998.38/3003.78 c #Conflicts: 271000 | #Constraints: 191431
2998.38/3003.78 c bounds - >= 1296 @ 1175.9
2998.38/3003.78 c bounds - >= 1297 @ 1177.56
2998.38/3003.78 c bounds - >= 1298 @ 1179.29
2998.38/3003.78 c bounds - >= 1299 @ 1181
2998.38/3003.78 c bounds - >= 1300 @ 1182.69
2998.38/3003.78 c #Conflicts: 272000 | #Constraints: 192436
2998.38/3003.78 c bounds - >= 1301 @ 1184.36
2998.38/3003.78 c bounds - >= 1302 @ 1186.09
2998.38/3003.78 c bounds - >= 1303 @ 1187.82
2998.38/3003.78 c bounds - >= 1304 @ 1189.56
2998.38/3003.78 c bounds - >= 1305 @ 1191.26
2998.38/3003.78 c #Conflicts: 273000 | #Constraints: 193441
2998.38/3003.78 c bounds - >= 1306 @ 1192.96
2998.38/3003.78 c bounds - >= 1307 @ 1194.64
2998.38/3003.78 c bounds - >= 1308 @ 1196.36
2998.38/3003.78 c bounds - >= 1309 @ 1198.01
2998.38/3003.78 c #Conflicts: 274000 | #Constraints: 194445
2998.38/3003.78 c bounds - >= 1310 @ 1199.76
2998.38/3003.78 c bounds - >= 1311 @ 1201.46
2998.38/3003.78 c bounds - >= 1312 @ 1203.2
2998.38/3003.78 c bounds - >= 1313 @ 1204.95
2998.38/3003.78 c bounds - >= 1314 @ 1206.67
2998.38/3003.78 c #Conflicts: 275000 | #Constraints: 195450
2998.38/3003.78 c bounds - >= 1315 @ 1208.35
2998.38/3003.78 c bounds - >= 1316 @ 1210.02
2998.38/3003.78 c bounds - >= 1317 @ 1211.73
2998.38/3003.78 c bounds - >= 1318 @ 1213.45
2998.38/3003.78 c bounds - >= 1319 @ 1215.15
2998.38/3003.78 c #Conflicts: 276000 | #Constraints: 196455
2998.38/3003.78 c bounds - >= 1320 @ 1216.91
2998.38/3003.78 c bounds - >= 1321 @ 1218.63
2998.38/3003.78 c bounds - >= 1322 @ 1220.36
2998.38/3003.78 c bounds - >= 1323 @ 1222.12
2998.38/3003.78 c #Conflicts: 277000 | #Constraints: 197459
2998.38/3003.78 c bounds - >= 1324 @ 1223.86
2998.38/3003.78 c INPROCESSING
2998.38/3003.78 c GARBAGE COLLECT
2998.38/3003.78 c bounds - >= 1325 @ 1225.99
2998.38/3003.78 c bounds - >= 1326 @ 1227.69
2998.38/3003.78 c bounds - >= 1327 @ 1229.43
2998.38/3003.78 c bounds - >= 1328 @ 1231.14
2998.38/3003.78 c #Conflicts: 278000 | #Constraints: 188015
2998.38/3003.78 c bounds - >= 1329 @ 1232.86
2998.38/3003.78 c bounds - >= 1330 @ 1234.59
2998.38/3003.78 c bounds - >= 1331 @ 1236.32
2998.38/3003.78 c bounds - >= 1332 @ 1238.07
2998.38/3003.78 c #Conflicts: 279000 | #Constraints: 189019
3448.21/3454.12 c bounds - >= 1333 @ 1239.79
3448.21/3454.12 c bounds - >= 1334 @ 1241.49
3448.21/3454.12 c bounds - >= 1335 @ 1243.23
3448.21/3454.12 c bounds - >= 1336 @ 1244.98
3448.21/3454.12 c bounds - >= 1337 @ 1246.73
3448.21/3454.12 c #Conflicts: 280000 | #Constraints: 190024
3448.21/3454.12 c bounds - >= 1338 @ 1248.52
3448.21/3454.12 c bounds - >= 1339 @ 1250.23
3448.21/3454.12 c bounds - >= 1340 @ 1252.01
3448.21/3454.12 c bounds - >= 1341 @ 1253.79
3448.21/3454.12 c bounds - >= 1342 @ 1255.55
3448.21/3454.12 c #Conflicts: 281000 | #Constraints: 191029
3448.21/3454.12 c bounds - >= 1343 @ 1257.24
3448.21/3454.12 c bounds - >= 1344 @ 1258.95
3448.21/3454.12 c bounds - >= 1345 @ 1260.7
3448.21/3454.12 c bounds - >= 1346 @ 1262.45
3448.21/3454.12 c #Conflicts: 282000 | #Constraints: 192033
3448.21/3454.12 c bounds - >= 1347 @ 1264.15
3448.21/3454.12 c bounds - >= 1348 @ 1265.93
3448.21/3454.12 c bounds - >= 1349 @ 1267.75
3448.21/3454.12 c bounds - >= 1350 @ 1269.49
3448.21/3454.12 c bounds - >= 1351 @ 1271.26
3448.21/3454.12 c #Conflicts: 283000 | #Constraints: 193038
3448.21/3454.12 c bounds - >= 1352 @ 1273.04
3448.21/3454.12 c bounds - >= 1353 @ 1274.77
3448.21/3454.12 c bounds - >= 1354 @ 1276.54
3448.21/3454.12 c bounds - >= 1355 @ 1278.29
3448.21/3454.12 c bounds - >= 1356 @ 1280.05
3448.21/3454.12 c #Conflicts: 284000 | #Constraints: 194043
3448.21/3454.12 c bounds - >= 1357 @ 1281.79
3448.21/3454.12 c bounds - >= 1358 @ 1283.52
3448.21/3454.12 c bounds - >= 1359 @ 1285.31
3448.21/3454.12 c bounds - >= 1360 @ 1287.12
3448.21/3454.12 c #Conflicts: 285000 | #Constraints: 195047
3448.21/3454.12 c bounds - >= 1361 @ 1288.94
3448.21/3454.12 c bounds - >= 1362 @ 1290.71
3448.21/3454.12 c bounds - >= 1363 @ 1292.5
3448.21/3454.12 c bounds - >= 1364 @ 1294.28
3448.21/3454.12 c bounds - >= 1365 @ 1296.02
3448.21/3454.12 c #Conflicts: 286000 | #Constraints: 196052
3448.21/3454.12 c bounds - >= 1366 @ 1297.78
3448.21/3454.12 c bounds - >= 1367 @ 1299.58
3448.21/3454.12 c bounds - >= 1368 @ 1301.32
3448.21/3454.12 c bounds - >= 1369 @ 1303.09
3448.21/3454.12 c #Conflicts: 287000 | #Constraints: 197056
3448.21/3454.12 c bounds - >= 1370 @ 1304.88
3448.21/3454.12 c bounds - >= 1371 @ 1306.75
3448.21/3454.12 c bounds - >= 1372 @ 1308.54
3448.21/3454.12 c bounds - >= 1373 @ 1310.33
3448.21/3454.12 c bounds - >= 1374 @ 1312.15
3448.21/3454.12 c #Conflicts: 288000 | #Constraints: 198061
3448.21/3454.12 c INPROCESSING
3448.21/3454.12 c GARBAGE COLLECT
3448.21/3454.12 c bounds - >= 1375 @ 1314.4
3448.21/3454.12 c bounds - >= 1376 @ 1316.18
3448.21/3454.12 c bounds - >= 1377 @ 1317.98
3448.21/3454.12 c bounds - >= 1378 @ 1319.79
3448.21/3454.12 c bounds - >= 1379 @ 1321.63
3448.21/3454.12 c #Conflicts: 289000 | #Constraints: 188415
3448.21/3454.12 c bounds - >= 1380 @ 1323.51
3448.21/3454.12 c bounds - >= 1381 @ 1325.28
3448.21/3454.12 c bounds - >= 1382 @ 1327.1
3448.21/3454.12 c bounds - >= 1383 @ 1328.95
3448.21/3454.12 c #Conflicts: 290000 | #Constraints: 189419
3448.21/3454.12 c bounds - >= 1384 @ 1330.7
3448.21/3454.12 c bounds - >= 1385 @ 1332.52
3448.21/3454.12 c bounds - >= 1386 @ 1334.32
3448.21/3454.12 c bounds - >= 1387 @ 1336.16
3448.21/3454.12 c bounds - >= 1388 @ 1337.93
3448.21/3454.12 c #Conflicts: 291000 | #Constraints: 190424
3448.21/3454.12 c bounds - >= 1389 @ 1339.69
3448.21/3454.12 c bounds - >= 1390 @ 1341.53
3448.21/3454.12 c bounds - >= 1391 @ 1343.38
3448.21/3454.12 c bounds - >= 1392 @ 1345.13
3448.21/3454.12 c bounds - >= 1393 @ 1346.99
3448.21/3454.12 c #Conflicts: 292000 | #Constraints: 191429
3448.21/3454.12 c bounds - >= 1394 @ 1348.79
3448.21/3454.12 c bounds - >= 1395 @ 1350.64
3448.21/3454.12 c bounds - >= 1396 @ 1352.45
3448.21/3454.12 c bounds - >= 1397 @ 1354.29
3448.21/3454.12 c #Conflicts: 293000 | #Constraints: 192433
3448.21/3454.12 c bounds - >= 1398 @ 1356.05
3448.21/3454.12 c bounds - >= 1399 @ 1357.86
3448.21/3454.12 c bounds - >= 1400 @ 1359.65
3448.21/3454.12 c bounds - >= 1401 @ 1361.53
3448.21/3454.12 c bounds - >= 1402 @ 1363.35
3448.21/3454.12 c #Conflicts: 294000 | #Constraints: 193438
3448.21/3454.12 c bounds - >= 1403 @ 1365.16
3448.21/3454.12 c bounds - >= 1404 @ 1366.93
3448.21/3454.12 c bounds - >= 1405 @ 1368.82
3448.21/3454.12 c bounds - >= 1406 @ 1370.65
3448.21/3454.12 c #Conflicts: 295000 | #Constraints: 194442
3448.21/3454.12 c bounds - >= 1407 @ 1372.46
3448.21/3454.12 c bounds - >= 1408 @ 1374.28
3448.21/3454.12 c bounds - >= 1409 @ 1376.09
3448.21/3454.12 c bounds - >= 1410 @ 1377.91
3448.21/3454.12 c bounds - >= 1411 @ 1379.72
3448.21/3454.12 c #Conflicts: 296000 | #Constraints: 195447
3448.21/3454.12 c bounds - >= 1412 @ 1381.58
3448.21/3454.12 c bounds - >= 1413 @ 1383.47
3448.21/3454.12 c bounds - >= 1414 @ 1385.34
3448.21/3454.12 c bounds - >= 1415 @ 1387.18
3448.21/3454.12 c bounds - >= 1416 @ 1388.95
3448.21/3454.12 c #Conflicts: 297000 | #Constraints: 196452
3448.21/3454.12 c bounds - >= 1417 @ 1390.82
3448.21/3454.12 c bounds - >= 1418 @ 1392.6
3448.21/3454.12 c bounds - >= 1419 @ 1394.48
3448.21/3454.12 c bounds - >= 1420 @ 1396.33
3448.21/3454.12 c #Conflicts: 298000 | #Constraints: 197456
3448.21/3454.12 c bounds - >= 1421 @ 1398.1
3448.21/3454.12 c bounds - >= 1422 @ 1399.92
3448.21/3454.12 c bounds - >= 1423 @ 1401.73
3448.21/3454.12 c bounds - >= 1424 @ 1403.58
3448.21/3454.12 c bounds - >= 1425 @ 1405.43
3448.21/3454.12 c #Conflicts: 299000 | #Constraints: 198461
3448.21/3454.12 c INPROCESSING
3448.21/3454.12 c GARBAGE COLLECT
3448.21/3454.12 c bounds - >= 1426 @ 1407.67
3448.21/3454.12 c bounds - >= 1427 @ 1409.56
3448.21/3454.12 c bounds - >= 1428 @ 1411.41
3448.21/3454.12 c bounds - >= 1429 @ 1413.22
3448.21/3454.12 c bounds - >= 1430 @ 1415.09
3448.21/3454.12 c #Conflicts: 300000 | #Constraints: 188605
3448.21/3454.12 c bounds - >= 1431 @ 1416.96
3448.21/3454.12 c bounds - >= 1432 @ 1418.78
3448.21/3454.12 c bounds - >= 1433 @ 1420.62
3600.01/3606.10 c bounds - >= 1434 @ 1422.56
3600.01/3606.10 c #Conflicts: 301000 | #Constraints: 189609
3600.01/3606.10 c bounds - >= 1435 @ 1424.43
3600.01/3606.10 c bounds - >= 1436 @ 1426.29
3600.01/3606.10 c bounds - >= 1437 @ 1428.14
3600.01/3606.10 c bounds - >= 1438 @ 1429.99
3600.01/3606.10 c bounds - >= 1439 @ 1431.9
3600.01/3606.10 c #Conflicts: 302000 | #Constraints: 190614
3600.01/3606.10 c bounds - >= 1440 @ 1433.78
3600.01/3606.10 c bounds - >= 1441 @ 1435.64
3600.01/3606.10 c bounds - >= 1442 @ 1437.53
3600.01/3606.10 c bounds - >= 1443 @ 1439.4
3600.01/3606.10 c bounds - >= 1444 @ 1441.25
3600.01/3606.10 c #Conflicts: 303000 | #Constraints: 191619
3600.01/3606.10 c bounds - >= 1445 @ 1443.14
3600.01/3606.10 c bounds - >= 1446 @ 1445.01
3600.01/3606.10 c bounds - >= 1447 @ 1446.91
3600.01/3606.10 c bounds - >= 1448 @ 1448.81
3600.01/3606.10 c #Conflicts: 304000 | #Constraints: 192623
3600.01/3606.10 c bounds - >= 1449 @ 1450.7
3600.01/3606.10 c bounds - >= 1450 @ 1452.6
3600.01/3606.10 c bounds - >= 1451 @ 1454.53
3600.01/3606.10 c bounds - >= 1452 @ 1456.41
3600.01/3606.10 c bounds - >= 1453 @ 1458.3
3600.01/3606.10 c #Conflicts: 305000 | #Constraints: 193628
3600.01/3606.10 c bounds - >= 1454 @ 1460.22
3600.01/3606.10 c bounds - >= 1455 @ 1462.09
3600.01/3606.10 c bounds - >= 1456 @ 1464.02
3600.01/3606.10 c bounds - >= 1457 @ 1465.96
3600.01/3606.10 c #Conflicts: 306000 | #Constraints: 194632
3600.01/3606.10 c bounds - >= 1458 @ 1467.82
3600.01/3606.10 c bounds - >= 1459 @ 1469.7
3600.01/3606.10 c bounds - >= 1460 @ 1471.57
3600.01/3606.10 c bounds - >= 1461 @ 1473.49
3600.01/3606.10 c bounds - >= 1462 @ 1475.41
3600.01/3606.10 c #Conflicts: 307000 | #Constraints: 195637
3600.01/3606.10 c bounds - >= 1463 @ 1477.32
3600.01/3606.10 c bounds - >= 1464 @ 1479.23
3600.01/3606.10 c bounds - >= 1465 @ 1481.12
3600.01/3606.10 c Program interrupted by user.
3600.01/3606.10 c cpu time 1481.56 s
3600.01/3606.10 c deterministic time 13517471668 1.35e+10
3600.01/3606.10 c optimization time 27.9919 s
3600.01/3606.10 c total solve time 1450.09 s
3600.01/3606.10 c core-guided solve time 1450.09 s
3600.01/3606.10 c propagation time 777.07 s
3600.01/3606.10 c conflict analysis time 12.6502 s
3600.01/3606.10 c propagations 111334354
3600.01/3606.10 c resolve steps 616415
3600.01/3606.10 c decisions 3106520037
3600.01/3606.10 c conflicts 307530
3600.01/3606.10 c restarts 715
3600.01/3606.10 c inprocessing phases 46
3600.01/3606.10 c input clauses 89156
3600.01/3606.10 c input cardinalities 89079
3600.01/3606.10 c input general constraints 0
3600.01/3606.10 c input average constraint length 79.63
3600.01/3606.10 c input average constraint degree 33.07
3600.01/3606.10 c learned clauses 5695
3600.01/3606.10 c learned cardinalities 301835
3600.01/3606.10 c learned general constraints 0
3600.01/3606.10 c learned average constraint length 1001.15
3600.01/3606.10 c learned average constraint degree 512.35
3600.01/3606.10 c watched constraints 0
3600.01/3606.10 c counting constraints 0
3600.01/3606.10 c gcd simplifications 0
3600.01/3606.10 c detected cardinalities 0
3600.01/3606.10 c weakened non-implied lits 0
3600.01/3606.10 c weakened non-implying lits 0
3600.01/3606.10 c original variables 4576880
3600.01/3606.10 c clausal propagations 57315825
3600.01/3606.10 c cardinality propagations 51102743
3600.01/3606.10 c watched propagations 0
3600.01/3606.10 c counting propagations 0
3600.01/3606.10 c watch lookups 121874722
3600.01/3606.10 c watch backjump lookups 0
3600.01/3606.10 c watch checks 3261130301
3600.01/3606.10 c propagation checks 3357917678
3600.01/3606.10 c constraint additions 341766410
3600.01/3606.10 c trail pops 3216928165
3600.01/3606.10 c formula constraints 176770
3600.01/3606.10 c learned constraints 307530
3600.01/3606.10 c bound constraints 1465
3600.01/3606.10 c core-guided constraints 0
3600.01/3606.10 c encountered formula constraints 620755
3600.01/3606.10 c encountered learned constraints 303190
3600.01/3606.10 c encountered bound constraints 0
3600.01/3606.10 c encountered core-guided constraints 0
3600.01/3606.10 c LP total time 0 s
3600.01/3606.10 c LP solve time 0 s
3600.01/3606.10 c LP constraints added 0
3600.01/3606.10 c LP constraints removed 0
3600.01/3606.10 c LP pivots internal 0
3600.01/3606.10 c LP pivots root 0
3600.01/3606.10 c LP calls 0
3600.01/3606.10 c LP optimalities 0
3600.01/3606.10 c LP no pivot count 0
3600.01/3606.10 c LP infeasibilities 0
3600.01/3606.10 c LP valid Farkas constraints 0
3600.01/3606.10 c LP learned Farkas constraints 0
3600.01/3606.10 c LP basis resets 0
3600.01/3606.10 c LP cycling count 0
3600.01/3606.10 c LP singular count 0
3600.01/3606.10 c LP no primal count 0
3600.01/3606.10 c LP no farkas count 0
3600.01/3606.10 c LP other issue count 0
3600.01/3606.10 c LP Gomory cuts 0
3600.01/3606.10 c LP learned cuts 0
3600.01/3606.10 c LP deleted cuts 0
3600.01/3606.10 c LP encountered Gomory constraints 0
3600.01/3606.10 c LP encountered Farkas constraints 0
3600.01/3606.10 c LP encountered learned Farkas constraints 0
3600.01/3606.10 c CG auxiliary variables introduced 0
3600.01/3606.10 c CG solutions found 0
3600.01/3606.10 c CG cores constructed 1465
3600.01/3606.10 c CG core cardinality constraints returned 0
3600.01/3606.10 c CG unit cores 0
3600.01/3606.10 c CG single cores 1465
3600.01/3606.10 c CG blocks removed during cardinality reduction 0
3600.01/3606.10 c CG first core best 0
3600.01/3606.10 c CG decision core best 0
3600.01/3606.10 c CG core reduction tie 0
3600.01/3606.10 c CG core degree average 1.00
3600.01/3606.10 c CG core slack average 1.00
3600.01/3606.10 c CG exhausted 0
3600.01/3606.10 c CG exhaust time 0 s
3600.01/3606.10 c CG trimmed 0
3600.01/3606.10 c CG trim time 4.13324 s
3600.01/3606.10 c CG minimized 0
3600.01/3606.10 c CG minimize time 0 s
3600.01/3606.10 c CG am1 prop time 0.044025 s
3600.01/3606.10 c CG # am1s reformulated 0
3600.01/3606.10 c CG lower bound derived from am1s 0
3600.01/3606.10 c CG # clausal cores 1465
3600.01/3606.10 c CG # cardinality cores 0
3600.01/3606.10 c CG # pb cores 0
3600.01/3606.10 c CG # pb reforms 0
3600.01/3606.10 c CG # cores discarded because of pb reform 0
3600.01/3606.10 d LOWERBOUND 1465
3600.01/3606.10 d NCORES 1465
3600.01/3606.10 d NPBCORES 0
3600.01/3606.10 d NPBREFORM 0
3600.01/3606.10 d NTRIMMED 0
3600.01/3606.10 d NEXHAUSTED 0
3600.01/3606.10 d NAM1S 0
3600.01/3606.10 d AM1LB 0
3600.50/3606.62 s UNKNOWN
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: 63931 MiB (61226 MiB free)
memory of node 1: 64510 MiB (53476 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459140-1721885634/watcher-4459140-1721885634 -o /tmp/evaluation-result-4459140-1721885634/solver-4459140-1721885634 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721875931-217936 --watchdog 3760 pb-oll-rs HOME/instance-4459140-1721885634.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=224144, runsolver pid=224141
[startup+0.10033 s]*
/proc/loadavg: 4.18 4.22 4.15 6/256 224145
/proc/meminfo: memFree=117060596/131524600 swapFree=131056028/131071996
[pid=224144] ppid=224141 vsize=431876 memory=397908 CPUtime=0.08 cores=4,6
/proc/224144/stat : 224144 (pb-oll-rs) R 224141 224144 217925 0 -1 4194304 924 0 0 0 1 7 0 0 20 0 1 0 25092003 442241024 99477 134679101440 4194304 5384485 140723136441232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37896192 140723136443415 140723136443492 140723136443492 140723136450507 0
/proc/224144/statm: 107969 99477 1126 291 0 99503 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 431876 KiB
Current children cumulated memory: 397908 KiB
[startup+0.205966 s]*
/proc/loadavg: 4.17 4.22 4.15 5/256 224145
/proc/meminfo: memFree=116905196/131524600 swapFree=131056028/131071996
[pid=224144] ppid=224141 vsize=604692 memory=569544 CPUtime=0.2 cores=4,6
/proc/224144/stat : 224144 (pb-oll-rs) R 224141 224144 217925 0 -1 4194304 2429 0 0 0 9 11 0 0 20 0 1 0 25092003 619204608 142386 134679101440 4194304 5384485 140723136441232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37896192 140723136443415 140723136443492 140723136443492 140723136450507 0
/proc/224144/statm: 151173 142386 1126 291 0 142707 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 604692 KiB
Current children cumulated memory: 569544 KiB
[startup+0.305744 s]*
/proc/loadavg: 4.17 4.22 4.15 5/256 224145
/proc/meminfo: memFree=116755208/131524600 swapFree=131056028/131071996
[pid=224144] ppid=224141 vsize=774212 memory=709016 CPUtime=0.3 cores=4,6
/proc/224144/stat : 224144 (pb-oll-rs) R 224141 224144 217925 0 -1 4194304 24035 0 0 0 16 14 0 0 20 0 1 0 25092003 792793088 177254 134679101440 4194304 5384485 140723136441232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37896192 140723136443415 140723136443492 140723136443492 140723136450507 0
/proc/224144/statm: 193553 177254 1126 291 0 185087 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 774212 KiB
Current children cumulated memory: 709016 KiB
[startup+0.700182 s]
/proc/loadavg: 4.17 4.22 4.15 5/256 224145
/proc/meminfo: memFree=116486128/131524600 swapFree=131056028/131071996
[pid=224144] ppid=224141 vsize=1142112 memory=1109084 CPUtime=0.69 cores=4,6
/proc/224144/stat : 224144 (pb-oll-rs) R 224141 224144 217925 0 -1 4194304 79091 0 0 0 44 25 0 0 20 0 1 0 25092003 1169522688 277271 134679101440 4194304 5384485 140723136441232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37896192 140723136443415 140723136443492 140723136443492 140723136450507 0
/proc/224144/statm: 285528 277271 1162 291 0 277062 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 1142112 KiB
Current children cumulated memory: 1109084 KiB
[startup+1.50022 s]
/proc/loadavg: 4.17 4.22 4.15 5/256 224145
/proc/meminfo: memFree=116330124/131524600 swapFree=131056028/131071996
[pid=224144] ppid=224141 vsize=1192080 memory=1155272 CPUtime=1.48 cores=4,6
/proc/224144/stat : 224144 (pb-oll-rs) R 224141 224144 217925 0 -1 4194304 89660 0 0 0 118 30 0 0 20 0 1 0 25092003 1220689920 288818 134679101440 4194304 5384485 140723136441232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37896192 140723136443415 140723136443492 140723136443492 140723136450507 0
/proc/224144/statm: 298020 288818 1162 291 0 289554 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 1192080 KiB
Current children cumulated memory: 1155272 KiB
[startup+3.1058 s]
/proc/loadavg: 4.17 4.22 4.15 5/256 224145
/proc/meminfo: memFree=116214072/131524600 swapFree=131056028/131071996
[pid=224144] ppid=224141 vsize=1293480 memory=1249316 CPUtime=3.08 cores=4,6
/proc/224144/stat : 224144 (pb-oll-rs) R 224141 224144 217925 0 -1 4194304 108579 0 0 0 267 41 0 0 20 0 1 0 25092003 1324523520 312329 134679101440 4194304 5384485 140723136441232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37896192 140723136443415 140723136443492 140723136443492 140723136450507 0
/proc/224144/statm: 323370 312329 1162 291 0 314904 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1293480 KiB
Current children cumulated memory: 1249316 KiB
[startup+6.30022 s]
/proc/loadavg: 4.15 4.21 4.15 5/256 224145
/proc/meminfo: memFree=116027044/131524600 swapFree=131056028/131071996
[pid=224144] ppid=224141 vsize=1462840 memory=1429504 CPUtime=6.27 cores=4,6
/proc/224144/stat : 224144 (pb-oll-rs) R 224141 224144 217925 0 -1 4194304 126596 0 0 0 574 53 0 0 20 0 1 0 25092003 1497948160 357376 134679101440 4194304 5384485 140723136441232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37896192 140723136443415 140723136443492 140723136443492 140723136450507 0
/proc/224144/statm: 365710 357376 1288 291 0 357244 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1462840 KiB
Current children cumulated memory: 1429504 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.21 4.15 5/256 224146
/proc/meminfo: memFree=116003256/131524600 swapFree=131056028/131071996
[pid=224144] ppid=224141 vsize=1484036 memory=1448572 CPUtime=12.65 cores=4,6
/proc/224144/stat : 224144 (pb-oll-rs) R 224141 224144 217925 0 -1 4194304 355260 0 0 0 910 355 0 0 20 0 1 0 25092003 1519652864 362143 134679101440 4194304 5384485 140723136441232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37896192 140723136443415 140723136443492 140723136443492 140723136450507 0
/proc/224144/statm: 371009 362143 1288 291 0 362543 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1484036 KiB
Current children cumulated memory: 1448572 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.20 4.15 5/256 224148
/proc/meminfo: memFree=116000740/131524600 swapFree=131056028/131071996
[pid=224144] ppid=224141 vsize=1484036 memory=1450824 CPUtime=25.41 cores=4,6
/proc/224144/stat : 224144 (pb-oll-rs) R 224141 224144 217925 0 -1 4194304 865955 0 0 0 1515 1026 0 0 20 0 1 0 25092003 1519652864 362706 134679101440 4194304 5384485 140723136441232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37896192 140723136443415 140723136443492 140723136443492 140723136450507 0
/proc/224144/statm: 371009 362706 1288 291 0 362543 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1484036 KiB
Current children cumulated memory: 1450824 KiB
[startup+51.1056 s]
/proc/loadavg: 4.13 4.20 4.15 6/256 224152
/proc/meminfo: memFree=115644020/131524600 swapFree=131056028/131071996
[pid=224144] ppid=224141 vsize=1835516 memory=1799692 CPUtime=50.94 cores=4,6
/proc/224144/stat : 224144 (pb-oll-rs) R 224141 224144 217925 0 -1 4194304 1037119 0 0 0 2768 2326 0 0 20 0 1 0 25092003 1879568384 449923 134679101440 4194304 5384485 140723136441232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37896192 140723136443415 140723136443492 140723136443492 140723136450507 0
/proc/224144/statm: 458879 449923 1445 291 0 450413 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1835516 KiB
Current children cumulated memory: 1799692 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.20 4.15 6/256 224162
/proc/meminfo: memFree=115488908/131524600 swapFree=131056028/131071996
[pid=224144] ppid=224141 vsize=1974812 memory=1945332 CPUtime=102.01 cores=4,6
/proc/224144/stat : 224144 (pb-oll-rs) R 224141 224144 217925 0 -1 4194304 1067432 0 0 0 5113 5088 0 0 20 0 1 0 25092003 2022207488 486333 134679101440 4194304 5384485 140723136441232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37896192 140723136443415 140723136443492 140723136443492 140723136450507 0
/proc/224144/statm: 493703 486333 1445 291 0 485237 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 1974812 KiB
Current children cumulated memory: 1945332 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.17 4.14 5/255 224172
/proc/meminfo: memFree=115379608/131524600 swapFree=131056028/131071996
[pid=224144] ppid=224141 vsize=2070792 memory=2041192 CPUtime=161.87 cores=4,6
/proc/224144/stat : 224144 (pb-oll-rs) R 224141 224144 217925 0 -1 4194304 1091751 0 0 0 7746 8441 0 0 20 0 1 0 25092003 2120491008 510298 134679101440 4194304 5384485 140723136441232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37896192 140723136443415 140723136443492 140723136443492 140723136450507 0
/proc/224144/statm: 517698 510298 1445 291 0 509232 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 2070792 KiB
Current children cumulated memory: 2041192 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.15 4.14 5/254 224183
/proc/meminfo: memFree=115288940/131524600 swapFree=131056028/131071996
[pid=224144] ppid=224141 vsize=2146616 memory=2117160 CPUtime=221.71 cores=4,6
/proc/224144/stat : 224144 (pb-oll-rs) R 224141 224144 217925 0 -1 4194304 1110988 0 0 0 10323 11848 0 0 20 0 1 0 25092003 2198134784 529290 134679101440 4194304 5384485 140723136441232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37896192 140723136443415 140723136443492 140723136443492 140723136450507 0
/proc/224144/statm: 536654 529290 1445 291 0 528188 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 2146616 KiB
Current children cumulated memory: 2117160 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.14 4.13 5/254 224193
/proc/meminfo: memFree=115175792/131524600 swapFree=131056028/131071996
[pid=224144] ppid=224141 vsize=2250368 memory=2220972 CPUtime=281.57 cores=4,6
/proc/224144/stat : 224144 (pb-oll-rs) R 224141 224144 217925 0 -1 4194304 1123918 0 0 0 12877 15280 0 0 20 0 1 0 25092003 2304376832 555243 134679101440 4194304 5384485 140723136441232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37896192 140723136443415 140723136443492 140723136443492 140723136450507 0
/proc/224144/statm: 562592 555243 1445 291 0 554126 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 2250368 KiB
Current children cumulated memory: 2220972 KiB
[startup+342.3 s]
/proc/loadavg: 4.23 4.16 4.14 5/254 224204
/proc/meminfo: memFree=115093616/131524600 swapFree=131056028/131071996
[pid=224144] ppid=224141 vsize=2302016 memory=2272600 CPUtime=341.41 cores=4,6
/proc/224144/stat : 224144 (pb-oll-rs) R 224141 224144 217925 0 -1 4194304 1136125 0 0 0 15418 18723 0 0 20 0 1 0 25092003 2357264384 568150 134679101440 4194304 5384485 140723136441232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37896192 140723136443415 140723136443492 140723136443492 140723136450507 0
/proc/224144/statm: 575504 568150 1445 291 0 567038 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 2302016 KiB
Current children cumulated memory: 2272600 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/254 224214
/proc/meminfo: memFree=115000228/131524600 swapFree=131056028/131071996
[pid=224144] ppid=224141 vsize=2354784 memory=2325352 CPUtime=401.26 cores=4,6
/proc/224144/stat : 224144 (pb-oll-rs) R 224141 224144 217925 0 -1 4194304 1149132 0 0 0 17919 22207 0 0 20 0 1 0 25092003 2411298816 581338 134679101440 4194304 5384485 140723136441232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37896192 140723136443415 140723136443492 140723136443492 140723136450507 0
/proc/224144/statm: 588696 581338 1445 291 0 580230 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 2354784 KiB
Current children cumulated memory: 2325352 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.13 4.12 5/258 224232
/proc/meminfo: memFree=114726648/131524600 swapFree=131056028/131071996
[pid=224144] ppid=224141 vsize=2405448 memory=2375952 CPUtime=461.11 cores=4,6
/proc/224144/stat : 224144 (pb-oll-rs) R 224141 224144 217925 0 -1 4194304 1159590 0 0 0 20433 25678 0 0 20 0 1 0 25092003 2463178752 593988 134679101440 4194304 5384485 140723136441232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37896192 140723136443415 140723136443492 140723136443492 140723136450507 0
/proc/224144/statm: 601362 593988 1445 291 0 592896 0
################
# More data... #
################
Current children cumulated memory: 3501180 KiB
[startup+2982.3 s]
/proc/loadavg: 1.11 1.10 1.50 2/235 225358
/proc/meminfo: memFree=123018292/131524600 swapFree=131056028/131071996
[pid=224144] ppid=224141 vsize=3594600 memory=3527144 CPUtime=2977.01 cores=4,6
/proc/224144/stat : 224144 (pb-oll-rs) R 224141 224144 217925 0 -1 4194304 1772318 0 0 0 123120 174581 0 0 20 0 1 0 25092003 3680870400 881786 134679101440 4194304 5384485 140723136441232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37896192 140723136443415 140723136443492 140723136443492 140723136450507 0
/proc/224144/statm: 898650 881786 1445 291 0 890184 0
Current children cumulated CPU time: 2977.01 s
Current children cumulated vsize: 3594600 KiB
Current children cumulated memory: 3527144 KiB
[startup+3042.3 s]
/proc/loadavg: 1.04 1.08 1.47 2/235 225369
/proc/meminfo: memFree=123006332/131524600 swapFree=131056028/131071996
[pid=224144] ppid=224141 vsize=3605884 memory=3538540 CPUtime=3036.93 cores=4,6
/proc/224144/stat : 224144 (pb-oll-rs) R 224141 224144 217925 0 -1 4194304 1783049 0 0 0 125511 178182 0 0 20 0 1 0 25092003 3692425216 884635 134679101440 4194304 5384485 140723136441232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37896192 140723136443415 140723136443492 140723136443492 140723136450507 0
/proc/224144/statm: 901471 884635 1445 291 0 893005 0
Current children cumulated CPU time: 3036.93 s
Current children cumulated vsize: 3605884 KiB
Current children cumulated memory: 3538540 KiB
[startup+3102.3 s]
/proc/loadavg: 1.11 1.09 1.45 2/235 225380
/proc/meminfo: memFree=122986884/131524600 swapFree=131056028/131071996
[pid=224144] ppid=224141 vsize=3624392 memory=3557056 CPUtime=3096.85 cores=4,6
/proc/224144/stat : 224144 (pb-oll-rs) R 224141 224144 217925 0 -1 4194304 1796188 0 0 0 127915 181770 0 0 20 0 1 0 25092003 3711377408 889264 134679101440 4194304 5384485 140723136441232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37896192 140723136443415 140723136443492 140723136443492 140723136450507 0
/proc/224144/statm: 906098 889264 1445 291 0 897632 0
Current children cumulated CPU time: 3096.85 s
Current children cumulated vsize: 3624392 KiB
Current children cumulated memory: 3557056 KiB
[startup+3162.3 s]
/proc/loadavg: 1.09 1.09 1.42 2/234 225773
/proc/meminfo: memFree=122967556/131524600 swapFree=131056028/131071996
[pid=224144] ppid=224141 vsize=3642976 memory=3575604 CPUtime=3156.78 cores=4,6
/proc/224144/stat : 224144 (pb-oll-rs) R 224141 224144 217925 0 -1 4194304 1809278 0 0 0 130322 185356 0 0 20 0 1 0 25092003 3730407424 893901 134679101440 4194304 5384485 140723136441232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37896192 140723136443415 140723136443492 140723136443492 140723136450507 0
/proc/224144/statm: 910744 893901 1445 291 0 902278 0
Current children cumulated CPU time: 3156.78 s
Current children cumulated vsize: 3642976 KiB
Current children cumulated memory: 3575604 KiB
[startup+3222.3 s]
/proc/loadavg: 1.07 1.08 1.40 2/234 225785
/proc/meminfo: memFree=122949572/131524600 swapFree=131056028/131071996
[pid=224144] ppid=224141 vsize=3660324 memory=3592884 CPUtime=3216.7 cores=4,6
/proc/224144/stat : 224144 (pb-oll-rs) R 224141 224144 217925 0 -1 4194304 1820854 0 0 0 132779 188891 0 0 20 0 1 0 25092003 3748171776 898221 134679101440 4194304 5384485 140723136441232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37896192 140723136443415 140723136443492 140723136443492 140723136450507 0
/proc/224144/statm: 915081 898221 1445 291 0 906615 0
Current children cumulated CPU time: 3216.7 s
Current children cumulated vsize: 3660324 KiB
Current children cumulated memory: 3592884 KiB
[startup+3282.3 s]
/proc/loadavg: 1.08 1.08 1.38 2/234 225795
/proc/meminfo: memFree=122931900/131524600 swapFree=131056028/131071996
[pid=224144] ppid=224141 vsize=3676984 memory=3609564 CPUtime=3276.62 cores=4,6
/proc/224144/stat : 224144 (pb-oll-rs) R 224141 224144 217925 0 -1 4194304 1832780 0 0 0 135179 192483 0 0 20 0 1 0 25092003 3765231616 902391 134679101440 4194304 5384485 140723136441232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37896192 140723136443415 140723136443492 140723136443492 140723136450507 0
/proc/224144/statm: 919246 902391 1445 291 0 910780 0
Current children cumulated CPU time: 3276.62 s
Current children cumulated vsize: 3676984 KiB
Current children cumulated memory: 3609564 KiB
[startup+3342.3 s]
/proc/loadavg: 1.07 1.08 1.36 2/236 225977
/proc/meminfo: memFree=122914084/131524600 swapFree=131056028/131071996
[pid=224144] ppid=224141 vsize=3694124 memory=3626772 CPUtime=3336.55 cores=4,6
/proc/224144/stat : 224144 (pb-oll-rs) R 224141 224144 217925 0 -1 4194304 1844889 0 0 0 137571 196084 0 0 20 0 1 0 25092003 3782782976 906693 134679101440 4194304 5384485 140723136441232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37896192 140723136443415 140723136443492 140723136443492 140723136450507 0
/proc/224144/statm: 923531 906693 1445 291 0 915065 0
Current children cumulated CPU time: 3336.55 s
Current children cumulated vsize: 3694124 KiB
Current children cumulated memory: 3626772 KiB
[startup+3402.3 s]
/proc/loadavg: 1.13 1.10 1.34 2/236 225990
/proc/meminfo: memFree=122858492/131524600 swapFree=131056028/131071996
[pid=224144] ppid=224141 vsize=3763672 memory=3681516 CPUtime=3396.47 cores=4,6
/proc/224144/stat : 224144 (pb-oll-rs) R 224141 224144 217925 0 -1 4194304 1854787 0 0 0 139959 199688 0 0 20 0 1 0 25092003 3854000128 920379 134679101440 4194304 5384485 140723136441232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37896192 140723136443415 140723136443492 140723136443492 140723136450507 0
/proc/224144/statm: 940918 920379 1445 291 0 932452 0
Current children cumulated CPU time: 3396.47 s
Current children cumulated vsize: 3763672 KiB
Current children cumulated memory: 3681516 KiB
[startup+3462.3 s]
/proc/loadavg: 1.05 1.08 1.32 2/237 226060
/proc/meminfo: memFree=122843960/131524600 swapFree=131056028/131071996
[pid=224144] ppid=224141 vsize=3777356 memory=3695176 CPUtime=3456.39 cores=4,6
/proc/224144/stat : 224144 (pb-oll-rs) R 224141 224144 217925 0 -1 4194304 1866282 0 0 0 142382 203257 0 0 20 0 1 0 25092003 3868012544 923794 134679101440 4194304 5384485 140723136441232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37896192 140723136443415 140723136443492 140723136443492 140723136450507 0
/proc/224144/statm: 944339 923794 1445 291 0 935873 0
Current children cumulated CPU time: 3456.39 s
Current children cumulated vsize: 3777356 KiB
Current children cumulated memory: 3695176 KiB
[startup+3522.3 s]
/proc/loadavg: 1.13 1.09 1.31 2/237 226070
/proc/meminfo: memFree=122825932/131524600 swapFree=131056028/131071996
[pid=224144] ppid=224141 vsize=3794500 memory=3712412 CPUtime=3516.32 cores=4,6
/proc/224144/stat : 224144 (pb-oll-rs) R 224141 224144 217925 0 -1 4194304 1878730 0 0 0 144788 206844 0 0 20 0 1 0 25092003 3885568000 928103 134679101440 4194304 5384485 140723136441232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37896192 140723136443415 140723136443492 140723136443492 140723136450507 0
/proc/224144/statm: 948625 928103 1445 291 0 940159 0
Current children cumulated CPU time: 3516.32 s
Current children cumulated vsize: 3794500 KiB
Current children cumulated memory: 3712412 KiB
[startup+3582.3 s]
/proc/loadavg: 1.11 1.09 1.29 2/238 226082
/proc/meminfo: memFree=122759724/131524600 swapFree=131056028/131071996
[pid=224144] ppid=224141 vsize=3875924 memory=3777724 CPUtime=3576.24 cores=4,6
/proc/224144/stat : 224144 (pb-oll-rs) R 224141 224144 217925 0 -1 4194304 1891656 0 0 0 147199 210425 0 0 20 0 1 0 25092003 3968946176 944431 134679101440 4194304 5384485 140723136441232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37896192 140723136443415 140723136443492 140723136443492 140723136450507 0
/proc/224144/statm: 968981 944431 1445 291 0 960515 0
Current children cumulated CPU time: 3576.24 s
Current children cumulated vsize: 3875924 KiB
Current children cumulated memory: 3777724 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3606.1 s]
/proc/loadavg: 1.07 1.08 1.28 2/237 226086
/proc/meminfo: memFree=122759196/131524600 swapFree=131056028/131071996
[pid=224144] ppid=224141 vsize=3875924 memory=3777724 CPUtime=3600.01 cores=4,6
/proc/224144/stat : 224144 (pb-oll-rs) R 224141 224144 217925 0 -1 4194304 1894915 0 0 0 148155 211846 0 0 20 0 1 0 25092003 3968946176 944431 134679101440 4194304 5384485 140723136441232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37896192 140723136443415 140723136443492 140723136443492 140723136450507 0
/proc/224144/statm: 968981 944431 1445 291 0 960515 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 3875924 KiB
Current children cumulated memory: 3777724 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3606.65 s]
# the end of solver process 224144 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1482.07 s, system=2118.5 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3606.4 s]
/proc/loadavg: 1.07 1.08 1.28 2/237 226086
/proc/meminfo: memFree=122759196/131524600 swapFree=131056028/131071996
[pid=224144] ppid=224141 vsize=3560120 memory=3493128 CPUtime=3600.31 cores=4,6
/proc/224144/stat : 224144 (pb-oll-rs) R 224141 224144 217925 0 -1 4194304 1895069 0 0 0 148185 211846 0 0 20 0 1 0 25092003 3645562880 873282 134679101440 4194304 5384485 140723136441232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37896192 140723136443415 140723136443492 140723136443492 140723136450507 0
/proc/224144/statm: 890030 873282 1524 291 0 881564 0
Current children cumulated CPU time: 3600.31 s
Current children cumulated vsize: 3560120 KiB
Current children cumulated memory: 3493128 KiB
[startup+3606.6 s]
/proc/loadavg: 1.07 1.08 1.28 2/237 226086
/proc/meminfo: memFree=122759196/131524600 swapFree=131056028/131071996
[pid=224144] ppid=224141 vsize=2754616 memory=2687624 CPUtime=3600.5 cores=4,6
/proc/224144/stat : 224144 (pb-oll-rs) R 224141 224144 217925 0 -1 4194304 1895215 0 0 0 148204 211846 0 0 20 0 1 0 25092003 2820726784 671906 134679101440 4194304 5384485 140723136441232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37896192 140723136443415 140723136443492 140723136443492 140723136450507 0
/proc/224144/statm: 688654 671906 1524 291 0 680188 0
Current children cumulated CPU time: 3600.5 s
Current children cumulated vsize: 2754616 KiB
Current children cumulated memory: 2687624 KiB
Child status: 0
Real time (s): 3606.65
CPU time (s): 3600.57
CPU user time (s): 1482.07
CPU system time (s): 2118.5
CPU usage (%): 99.8313
Max. virtual memory (cumulated for all children) (KiB): 3875924
Max. memory (cumulated for all children) (KiB): 3783216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1482.07
system time used= 2118.5
maximum resident set size= 3843248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1895224
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22
involuntary context switches= 3817
# summary of solver processes directly reported to runsolver:
# pid: 224144
# total CPU time (s): 3600.57
# total CPU user time (s): 1482.07
# total CPU system time (s): 2118.5
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.55479 second user time and 15.4777 second system time
The end
Begin job on nodeC016 at 2024-07-25 07:33:55
IDJOB=4459140
IDBENCH=178517
IDSOLVER=3082
FILE ID=nodeC016/4459140-1721885634
RUNJOBID= nodeC016-1721875931-217936
SLURM_JOB_ID= 8089230
Free space on /tmp= 889964 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/normalized-comppebphp_opt_pyrheightequalsnholes_54.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459140-1721885634/watcher-4459140-1721885634 -o /tmp/evaluation-result-4459140-1721885634/solver-4459140-1721885634 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721875931-217936 --watchdog 3760 pb-oll-rs HOME/instance-4459140-1721885634.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8dda82f4961ecebecfcf9bee24c61458
RANDOM SEED=1111469201
nodeC016.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3679.547
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.34
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 : 3689.380
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.68
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 : 3605.336
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.439
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.68
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.812
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.34
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 : 3689.115
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.68
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 : 3627.290
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.753
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 117455204 kB
MemAvailable: 120572368 kB
Buffers: 295016 kB
Cached: 3503908 kB
SwapCached: 284 kB
Active: 2335916 kB
Inactive: 10820016 kB
Active(anon): 2416 kB
Inactive(anon): 9407032 kB
Active(file): 2333500 kB
Inactive(file): 1412984 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131056028 kB
Dirty: 114488 kB
Writeback: 0 kB
AnonPages: 9353428 kB
Mapped: 107516 kB
Shmem: 52400 kB
KReclaimable: 420656 kB
Slab: 541176 kB
SReclaimable: 420656 kB
SUnreclaim: 120520 kB
KernelStack: 4144 kB
PageTables: 28588 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 11672072 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 17184 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4122624 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 373460 kB
DirectMap2M: 42391552 kB
DirectMap1G: 93323264 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC016 at 2024-07-25 08:34:01