0.00/0.03 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.03 c │ pbsuma -- a PB interface for satsuma │
0.00/0.03 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.03 c │ (c) 2025 Markus Anders │
0.00/0.03 c └────────────────────────────────────────────────────────────────┘
0.00/0.03 c parse 'HOME/instance-4485598-1751308987.opb'
0.00/0.09 c read 1.66MB (60.09ms)
0.00/0.09 c [cnf: #variables 15284 #clauses 2495 #duplicates 43 #arr 176261]
0.00/0.09 c
0.00/0.09 c make graph and approximate orbits
0.07/0.16 c [group: #orbits ~= 170] (69.47ms)
0.07/0.16 c
0.07/0.16 c detect special group actions
0.07/0.16 c probe for Johnson action (limit=64)
0.07/0.16 c probe for row-column symmetry (limit=64, splits=16.78M)
0.07/0.16 c probe for row symmetry (limit=64, splits=16.78M)
0.07/0.16 c (6.18ms)
0.07/0.16 c
0.07/0.16 c detect symmetries on remainder
0.07/0.16 c [graph: #vertices 75925 #edges 468814]
0.07/0.17 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.07/0.20 c [group: #symmetries 1.02*10^3 #generators 10] (38.76ms)
0.07/0.20 c
0.07/0.20 c optimize generators (opt_passes=64, conjugate_limit=256)
0.07/0.20 c ran it=0, +gens=1
0.19/0.23 c con best_support=4, best_gens=3, +gens=0
0.19/0.23 c (29.69ms)
0.19/0.23 c
0.19/0.23 c finalize break order and special generators
0.19/0.23 c
0.19/0.23 c add generic predicates (break_depth=20)
0.19/0.23 c added predicates for 11 generators (0.17ms)
0.19/0.23 c
0.19/0.23 c generation finished
0.19/0.23 c [sbp: #constraints 455 #add_vars 148]
0.19/0.24 c
0.19/0.24 c write result to 'HOME/instance-4485598-1751308987.opb.pre'
0.19/0.25 c wrote 1.67MB (11.14ms)
0.19/0.25 c ------------------------------------------------------------------
0.19/0.25 c 69.47ms 31.47% approx_orbits
0.19/0.25 c 60.08ms 27.21% parse
0.19/0.25 c 38.76ms 17.55% detect_generic
0.19/0.25 c 29.69ms 13.45% optimize_gens
0.19/0.25 c 11.14ms 5.05% output
0.19/0.25 c 6.18ms 2.80% detect_special
0.19/0.25 c 3.83ms 1.74% other
0.19/0.25 c 1.45ms 0.66% finalize_order
0.19/0.25 c 0.17ms 0.07% break_generic
0.19/0.25 c ───────────────────────────────────────────────
0.19/0.25 c 220.77ms 100% total
0.19/0.25 c ------------------------------------------------------------------
0.19/0.27 c RoundingSat 2
0.19/0.27 c branch pb25
0.19/0.27 c commit 63f22ad
0.36/0.46 c #variables 15432 #constraints 2933
0.36/0.46 c objective is ce32
3.94/4.02 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3.94/4.02 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3.94/4.02 c bounds 1048 >= 0 @ 3.71182
4.32/4.45 c bounds 1046 >= 0 @ 4.10811
4.32/4.45 c bounds 1046 >= 8 @ 4.11081
4.32/4.45 c bounds 1046 >= 9 @ 4.1134
4.32/4.46 c bounds 1046 >= 11 @ 4.11695
4.32/4.46 c bounds 1046 >= 13 @ 4.11854
4.32/4.46 c bounds 1046 >= 15 @ 4.12111
4.32/4.47 c bounds 1046 >= 17 @ 4.12271
4.32/4.47 c bounds 1046 >= 19 @ 4.12534
4.32/4.48 c bounds 1046 >= 21 @ 4.12797
4.32/4.48 c bounds 1046 >= 23 @ 4.13012
4.32/4.48 c bounds 1046 >= 25 @ 4.13302
4.32/4.49 c bounds 1046 >= 27 @ 4.13623
4.32/4.49 c bounds 1046 >= 28 @ 4.13743
4.42/4.50 c bounds 1046 >= 29 @ 4.13975
4.42/4.50 c bounds 1046 >= 31 @ 4.14199
4.42/4.50 c bounds 1046 >= 33 @ 4.14412
4.42/4.51 c bounds 1046 >= 35 @ 4.14634
4.42/4.51 c bounds 1046 >= 37 @ 4.14955
4.42/4.52 c bounds 1046 >= 39 @ 4.15176
4.42/4.52 c bounds 1046 >= 41 @ 4.15398
4.42/4.53 c bounds 1046 >= 42 @ 4.1554
4.42/4.53 c bounds 1046 >= 44 @ 4.1578
4.42/4.53 c bounds 1046 >= 46 @ 4.16026
4.42/4.54 c bounds 1046 >= 47 @ 4.16271
4.42/4.54 c bounds 1046 >= 48 @ 4.16427
4.42/4.55 c bounds 1046 >= 49 @ 4.16675
4.42/4.55 c bounds 1046 >= 50 @ 4.17142
4.42/4.56 c bounds 1046 >= 52 @ 4.17326
4.42/4.56 c bounds 1046 >= 54 @ 4.17698
4.42/4.57 c bounds 1046 >= 56 @ 4.17973
4.42/4.57 c bounds 1046 >= 57 @ 4.18258
4.42/4.58 c bounds 1046 >= 58 @ 4.18544
4.42/4.58 c bounds 1046 >= 60 @ 4.18787
4.42/4.59 c bounds 1046 >= 62 @ 4.19114
4.42/4.59 c bounds 1046 >= 64 @ 4.19346
4.52/4.60 c bounds 1046 >= 66 @ 4.19576
4.52/4.60 c bounds 1046 >= 68 @ 4.19901
4.52/4.61 c bounds 1046 >= 70 @ 4.20237
4.52/4.61 c bounds 1046 >= 71 @ 4.20591
4.52/4.64 c bounds 1045 >= 71 @ 4.22074
4.52/4.64 c bounds 1045 >= 73 @ 4.22354
4.52/4.65 c bounds 1045 >= 74 @ 4.22804
4.52/4.65 c bounds 1045 >= 76 @ 4.22969
4.52/4.66 c bounds 1045 >= 78 @ 4.23337
4.52/4.66 c bounds 1045 >= 79 @ 4.23604
4.52/4.67 c bounds 1045 >= 80 @ 4.24073
4.52/4.67 c bounds 1045 >= 82 @ 4.2444
4.52/4.68 c bounds 1045 >= 84 @ 4.24906
4.62/4.70 c bounds 1044 >= 84 @ 4.2605
4.62/4.71 c bounds 1044 >= 86 @ 4.26295
4.62/4.71 c bounds 1044 >= 88 @ 4.26464
4.62/4.72 c bounds 1044 >= 89 @ 4.26674
4.62/4.73 c bounds 1044 >= 91 @ 4.2694
4.62/4.73 c bounds 1044 >= 93 @ 4.27109
4.62/4.74 c bounds 1044 >= 94 @ 4.27582
4.62/4.74 c bounds 1044 >= 96 @ 4.27951
4.62/4.75 c bounds 1044 >= 97 @ 4.28135
4.62/4.77 c bounds 1043 >= 97 @ 4.29015
4.62/4.78 c bounds 1043 >= 99 @ 4.29327
4.62/4.78 c bounds 1043 >= 101 @ 4.29616
4.62/4.79 c bounds 1043 >= 102 @ 4.30016
4.62/4.79 c bounds 1043 >= 104 @ 4.30218
4.72/4.80 c bounds 1043 >= 106 @ 4.30522
4.72/4.81 c bounds 1043 >= 108 @ 4.30726
4.72/4.81 c bounds 1043 >= 110 @ 4.30928
4.72/4.84 c bounds 1042 >= 110 @ 4.32655
4.72/4.85 c bounds 1042 >= 112 @ 4.33026
4.72/4.85 c bounds 1042 >= 114 @ 4.33356
4.72/4.86 c bounds 1042 >= 115 @ 4.33789
4.72/4.87 c bounds 1042 >= 116 @ 4.34023
4.72/4.87 c bounds 1042 >= 118 @ 4.34271
4.72/4.88 c bounds 1042 >= 120 @ 4.34509
4.72/4.89 c bounds 1042 >= 122 @ 4.34865
4.72/4.89 c bounds 1042 >= 124 @ 4.35126
4.82/4.93 c bounds 1041 >= 124 @ 4.37629
4.82/4.94 c bounds 1041 >= 126 @ 4.38275
4.82/4.94 c bounds 1041 >= 128 @ 4.38551
4.82/4.95 c bounds 1041 >= 130 @ 4.38819
4.82/4.96 c bounds 1041 >= 132 @ 4.3914
4.82/4.97 c bounds 1041 >= 134 @ 4.3962
4.82/4.97 c bounds 1041 >= 136 @ 4.39919
4.82/4.98 c bounds 1041 >= 138 @ 4.40218
4.82/4.99 c bounds 1041 >= 140 @ 4.40531
4.82/4.99 c bounds 1041 >= 142 @ 4.41075
4.82/5.00 c bounds 1041 >= 143 @ 4.41314
4.82/5.01 c bounds 1041 >= 145 @ 4.41765
4.94/5.02 c bounds 1041 >= 147 @ 4.42213
4.94/5.02 c bounds 1041 >= 149 @ 4.42459
4.94/5.03 c bounds 1041 >= 151 @ 4.42802
4.94/5.04 c bounds 1041 >= 152 @ 4.43351
4.94/5.05 c bounds 1041 >= 154 @ 4.4381
4.94/5.05 c bounds 1041 >= 156 @ 4.43979
4.94/5.10 c bounds 1039 >= 156 @ 4.47891
5.03/5.11 c bounds 1039 >= 158 @ 4.48213
5.03/5.12 c bounds 1039 >= 160 @ 4.48586
5.03/5.13 c bounds 1039 >= 162 @ 4.48863
5.03/5.14 c bounds 1039 >= 163 @ 4.49233
5.03/5.14 c bounds 1039 >= 165 @ 4.49603
5.03/5.15 c bounds 1039 >= 167 @ 4.49883
5.03/5.16 c bounds 1039 >= 168 @ 4.50448
5.03/5.17 c bounds 1039 >= 170 @ 4.50837
5.03/5.17 c bounds 1039 >= 172 @ 4.51117
5.03/5.18 c bounds 1039 >= 174 @ 4.51311
5.03/5.19 c bounds 1039 >= 176 @ 4.51795
5.12/5.20 c bounds 1039 >= 178 @ 4.5219
5.12/5.21 c bounds 1039 >= 179 @ 4.52415
5.12/5.21 c bounds 1039 >= 181 @ 4.527
5.12/5.22 c bounds 1039 >= 183 @ 4.53091
5.12/5.23 c bounds 1039 >= 184 @ 4.53279
5.12/5.24 c bounds 1039 >= 186 @ 4.53873
5.12/5.25 c bounds 1039 >= 188 @ 4.54568
5.12/5.25 c bounds 1039 >= 190 @ 4.54977
5.12/5.26 c bounds 1039 >= 191 @ 4.55177
5.12/5.27 c bounds 1039 >= 192 @ 4.55389
5.12/5.28 c bounds 1039 >= 193 @ 4.55809
5.12/5.29 c bounds 1039 >= 194 @ 4.56235
5.22/5.36 c bounds 1037 >= 194 @ 4.61945
5.22/5.37 c bounds 1037 >= 196 @ 4.62334
5.22/5.37 c bounds 1037 >= 198 @ 4.62556
5.22/5.38 c bounds 1037 >= 200 @ 4.62975
5.22/5.39 c bounds 1037 >= 202 @ 4.63312
5.32/5.40 c bounds 1037 >= 204 @ 4.63545
5.32/5.41 c bounds 1037 >= 206 @ 4.63975
5.32/5.42 c bounds 1037 >= 207 @ 4.64106
5.32/5.42 c bounds 1037 >= 209 @ 4.64377
5.32/5.43 c bounds 1037 >= 210 @ 4.64618
5.32/5.44 c bounds 1037 >= 212 @ 4.65081
5.32/5.45 c bounds 1037 >= 214 @ 4.65224
5.32/5.46 c bounds 1037 >= 216 @ 4.65579
5.32/5.47 c bounds 1037 >= 218 @ 4.65829
5.32/5.48 c bounds 1037 >= 220 @ 4.66189
5.32/5.48 c bounds 1037 >= 222 @ 4.66745
5.32/5.49 c bounds 1037 >= 224 @ 4.66922
5.42/5.50 c bounds 1037 >= 225 @ 4.67301
5.42/5.51 c bounds 1037 >= 226 @ 4.67869
5.42/5.52 c bounds 1037 >= 227 @ 4.68238
5.42/5.53 c bounds 1037 >= 229 @ 4.68605
5.42/5.54 c bounds 1037 >= 231 @ 4.68963
5.42/5.55 c bounds 1037 >= 233 @ 4.69328
5.42/5.55 c bounds 1037 >= 235 @ 4.69893
5.42/5.56 c bounds 1037 >= 236 @ 4.70259
5.42/5.57 c bounds 1037 >= 238 @ 4.70528
5.42/5.58 c bounds 1037 >= 240 @ 4.71043
5.42/5.59 c bounds 1037 >= 242 @ 4.71226
5.52/5.60 c bounds 1037 >= 244 @ 4.71709
5.52/5.61 c bounds 1037 >= 246 @ 4.7219
5.52/5.62 c bounds 1037 >= 248 @ 4.72586
5.52/5.62 c bounds 1037 >= 250 @ 4.7289
5.52/5.63 c bounds 1037 >= 252 @ 4.73382
5.52/5.64 c bounds 1037 >= 254 @ 4.73872
5.52/5.65 c bounds 1037 >= 256 @ 4.7416
5.52/5.69 c bounds 1036 >= 256 @ 4.76809
5.62/5.70 c bounds 1036 >= 258 @ 4.77226
5.62/5.71 c bounds 1036 >= 260 @ 4.77629
5.62/5.71 c bounds 1036 >= 262 @ 4.77903
5.62/5.72 c bounds 1036 >= 264 @ 4.78184
5.62/5.73 c bounds 1036 >= 265 @ 4.78651
5.62/5.74 c bounds 1036 >= 267 @ 4.7904
5.62/5.75 c bounds 1036 >= 269 @ 4.79412
5.62/5.76 c bounds 1036 >= 270 @ 4.79597
5.62/5.77 c bounds 1036 >= 272 @ 4.80287
5.62/5.78 c bounds 1036 >= 273 @ 4.80679
5.62/5.79 c bounds 1036 >= 274 @ 4.80969
5.62/5.79 c bounds 1036 >= 276 @ 4.8144
5.71/5.80 c bounds 1036 >= 278 @ 4.81739
5.71/5.81 c bounds 1036 >= 279 @ 4.8213
5.71/5.82 c bounds 1036 >= 281 @ 4.82512
5.82/5.98 c bounds 1035 >= 281 @ 4.9734
5.82/5.99 c bounds 1035 >= 283 @ 4.97707
5.82/6.00 c bounds 1035 >= 285 @ 4.98184
5.93/6.01 c bounds 1035 >= 287 @ 4.9846
5.93/6.02 c bounds 1035 >= 289 @ 4.99038
5.93/6.03 c bounds 1035 >= 291 @ 4.99544
5.93/6.04 c bounds 1035 >= 293 @ 4.99956
5.93/6.05 c bounds 1035 >= 295 @ 5.00418
5.93/6.06 c bounds 1035 >= 297 @ 5.00785
5.93/6.07 c bounds 1035 >= 298 @ 5.01051
5.93/6.07 c bounds 1035 >= 300 @ 5.01619
5.93/6.08 c bounds 1035 >= 301 @ 5.02179
5.93/6.09 c bounds 1035 >= 303 @ 5.02738
5.93/6.10 c bounds 1035 >= 304 @ 5.03297
5.93/6.11 c bounds 1035 >= 306 @ 5.03753
6.03/6.12 c bounds 1035 >= 307 @ 5.04208
6.03/6.13 c bounds 1035 >= 308 @ 5.04801
6.03/6.13 c bounds 1035 >= 310 @ 5.05082
6.03/6.14 c bounds 1035 >= 312 @ 5.05254
6.03/6.15 c bounds 1035 >= 314 @ 5.05605
6.03/6.16 c bounds 1035 >= 316 @ 5.06157
6.03/6.17 c bounds 1035 >= 318 @ 5.0663
6.03/6.18 c bounds 1035 >= 320 @ 5.07191
6.03/6.19 c bounds 1035 >= 321 @ 5.07403
6.03/6.20 c bounds 1035 >= 323 @ 5.07867
6.12/6.20 c bounds 1035 >= 325 @ 5.08232
6.12/6.21 c bounds 1035 >= 327 @ 5.08603
6.12/6.22 c bounds 1035 >= 328 @ 5.08901
6.12/6.23 c bounds 1035 >= 330 @ 5.09191
6.12/6.24 c bounds 1035 >= 332 @ 5.09781
6.12/6.25 c bounds 1035 >= 334 @ 5.10032
6.12/6.26 c bounds 1035 >= 336 @ 5.10674
6.12/6.27 c bounds 1035 >= 337 @ 5.10927
6.12/6.27 c bounds 1035 >= 339 @ 5.11271
6.12/6.28 c bounds 1035 >= 341 @ 5.11522
6.12/6.29 c bounds 1035 >= 343 @ 5.11966
6.22/6.30 c bounds 1035 >= 344 @ 5.12317
6.22/6.31 c bounds 1035 >= 345 @ 5.12957
6.22/6.32 c bounds 1035 >= 346 @ 5.13309
6.22/6.32 c bounds 1035 >= 348 @ 5.13696
6.22/6.33 c bounds 1035 >= 350 @ 5.14218
6.22/6.34 c bounds 1035 >= 352 @ 5.14627
6.22/6.35 c bounds 1035 >= 353 @ 5.15007
6.22/6.36 c bounds 1035 >= 355 @ 5.15699
6.22/6.37 c bounds 1035 >= 357 @ 5.16079
6.22/6.38 c bounds 1035 >= 358 @ 5.16394
6.22/6.39 c bounds 1035 >= 359 @ 5.16654
6.32/6.40 c bounds 1035 >= 361 @ 5.16926
6.32/6.40 c bounds 1035 >= 363 @ 5.17202
6.32/6.41 c bounds 1035 >= 364 @ 5.17664
6.32/6.42 c bounds 1035 >= 365 @ 5.17922
6.32/6.43 c bounds 1035 >= 366 @ 5.18592
6.32/6.44 c bounds 1035 >= 367 @ 5.18991
6.32/6.45 c bounds 1035 >= 368 @ 5.19557
6.32/6.46 c bounds 1035 >= 369 @ 5.19829
6.32/6.47 c bounds 1035 >= 370 @ 5.201
6.32/6.47 c bounds 1035 >= 371 @ 5.20277
6.32/6.48 c bounds 1035 >= 372 @ 5.20581
6.32/6.49 c bounds 1035 >= 373 @ 5.21072
6.42/6.50 c bounds 1035 >= 374 @ 5.21535
6.42/6.51 c bounds 1035 >= 375 @ 5.21802
6.42/6.52 c bounds 1035 >= 376 @ 5.22068
6.42/6.53 c bounds 1035 >= 377 @ 5.22649
6.42/6.54 c bounds 1035 >= 378 @ 5.23336
6.42/6.55 c bounds 1035 >= 379 @ 5.23606
6.42/6.55 c bounds 1035 >= 380 @ 5.23891
6.42/6.56 c bounds 1035 >= 381 @ 5.24249
6.42/6.57 c bounds 1035 >= 382 @ 5.24706
6.42/6.58 c bounds 1035 >= 383 @ 5.2508
6.42/6.59 c bounds 1035 >= 384 @ 5.2535
6.51/6.60 c bounds 1035 >= 385 @ 5.25626
6.51/6.61 c bounds 1035 >= 386 @ 5.26191
6.51/6.61 c bounds 1035 >= 387 @ 5.26581
6.51/6.62 c bounds 1035 >= 388 @ 5.26964
6.51/6.63 c bounds 1035 >= 389 @ 5.2718
6.51/6.64 c bounds 1035 >= 390 @ 5.27759
6.51/6.65 c bounds 1035 >= 391 @ 5.28234
6.51/6.66 c bounds 1035 >= 392 @ 5.28705
6.51/6.67 c bounds 1035 >= 393 @ 5.28891
6.51/6.68 c bounds 1035 >= 394 @ 5.29173
6.51/6.69 c bounds 1035 >= 395 @ 5.29652
6.51/6.69 c bounds 1035 >= 396 @ 5.30135
6.62/6.70 c bounds 1035 >= 397 @ 5.30513
6.62/6.71 c bounds 1035 >= 398 @ 5.30788
6.62/6.72 c bounds 1035 >= 399 @ 5.31269
6.62/6.73 c bounds 1035 >= 400 @ 5.31946
6.62/6.74 c bounds 1035 >= 401 @ 5.3242
6.62/6.75 c bounds 1035 >= 402 @ 5.32893
6.62/6.76 c bounds 1035 >= 403 @ 5.33269
6.62/6.76 c bounds 1035 >= 404 @ 5.33659
6.62/6.77 c bounds 1035 >= 405 @ 5.34224
6.62/6.78 c bounds 1035 >= 406 @ 5.3466
6.62/6.79 c bounds 1035 >= 407 @ 5.35138
6.71/6.80 c bounds 1035 >= 408 @ 5.35506
6.71/6.81 c bounds 1035 >= 409 @ 5.3587
6.71/6.82 c bounds 1035 >= 410 @ 5.36234
6.71/6.83 c bounds 1035 >= 411 @ 5.36712
6.71/6.84 c bounds 1035 >= 412 @ 5.37286
6.71/6.84 c bounds 1035 >= 413 @ 5.37764
6.71/6.85 c bounds 1035 >= 414 @ 5.38146
6.71/6.86 c bounds 1035 >= 415 @ 5.38525
6.82/6.95 c bounds 1034 >= 415 @ 5.45012
6.82/6.96 c bounds 1034 >= 416 @ 5.45482
6.82/6.97 c bounds 1034 >= 417 @ 5.45763
6.82/6.98 c bounds 1034 >= 418 @ 5.46349
6.82/6.98 c bounds 1034 >= 419 @ 5.4684
6.82/6.99 c bounds 1034 >= 420 @ 5.47139
6.82/7.00 c bounds 1034 >= 421 @ 5.47722
6.93/7.01 c bounds 1034 >= 422 @ 5.48112
6.93/7.02 c bounds 1034 >= 423 @ 5.48705
6.93/7.03 c bounds 1034 >= 424 @ 5.49108
6.93/7.04 c bounds 1034 >= 425 @ 5.49407
6.93/7.05 c bounds 1034 >= 426 @ 5.49533
6.93/7.06 c bounds 1034 >= 427 @ 5.50044
6.93/7.06 c bounds 1034 >= 428 @ 5.50432
6.93/7.07 c bounds 1034 >= 429 @ 5.50633
6.93/7.08 c bounds 1034 >= 430 @ 5.5104
6.93/7.09 c bounds 1034 >= 431 @ 5.51441
6.93/7.10 c bounds 1034 >= 432 @ 5.51737
7.03/7.11 c bounds 1034 >= 433 @ 5.52243
7.03/7.12 c bounds 1034 >= 434 @ 5.5264
7.03/7.13 c bounds 1034 >= 435 @ 5.52862
7.03/7.14 c bounds 1034 >= 436 @ 5.53363
7.03/7.15 c bounds 1034 >= 437 @ 5.53769
7.03/7.16 c bounds 1034 >= 438 @ 5.54285
7.03/7.16 c bounds 1034 >= 439 @ 5.54509
7.03/7.17 c bounds 1034 >= 440 @ 5.54907
7.03/7.18 c bounds 1034 >= 441 @ 5.55211
7.03/7.19 c bounds 1034 >= 442 @ 5.55732
7.12/7.20 c bounds 1034 >= 443 @ 5.56007
7.12/7.21 c bounds 1034 >= 444 @ 5.56324
7.12/7.22 c bounds 1034 >= 445 @ 5.57056
7.12/7.23 c bounds 1034 >= 446 @ 5.57419
7.12/7.24 c bounds 1034 >= 447 @ 5.57963
7.12/7.25 c bounds 1034 >= 448 @ 5.58304
7.12/7.26 c bounds 1034 >= 449 @ 5.5852
7.12/7.27 c bounds 1034 >= 450 @ 5.59049
7.12/7.28 c bounds 1034 >= 451 @ 5.59779
7.12/7.29 c bounds 1034 >= 452 @ 5.60114
7.12/7.30 c bounds 1034 >= 453 @ 5.6045
7.21/7.30 c bounds 1034 >= 454 @ 5.60787
7.21/7.31 c bounds 1034 >= 455 @ 5.61222
7.21/7.32 c bounds 1034 >= 456 @ 5.61584
7.21/7.33 c bounds 1034 >= 457 @ 5.62122
7.21/7.34 c bounds 1034 >= 458 @ 5.62581
7.21/7.35 c bounds 1034 >= 459 @ 5.62916
7.21/7.36 c bounds 1034 >= 460 @ 5.63377
7.21/7.37 c bounds 1034 >= 461 @ 5.63617
7.31/7.45 c bounds 1033 >= 461 @ 5.69706
7.31/7.46 c bounds 1033 >= 462 @ 5.70358
7.31/7.47 c bounds 1033 >= 463 @ 5.70816
7.31/7.48 c bounds 1033 >= 464 @ 5.71181
7.31/7.49 c bounds 1033 >= 465 @ 5.71576
7.42/7.50 c bounds 1033 >= 466 @ 5.71833
7.42/7.51 c bounds 1033 >= 467 @ 5.72278
7.42/7.52 c bounds 1033 >= 468 @ 5.72831
7.42/7.53 c bounds 1033 >= 469 @ 5.73197
7.42/7.54 c bounds 1033 >= 470 @ 5.73862
7.42/7.55 c bounds 1033 >= 471 @ 5.74254
7.42/7.56 c bounds 1033 >= 472 @ 5.7462
7.42/7.57 c bounds 1033 >= 473 @ 5.74906
7.42/7.58 c bounds 1033 >= 474 @ 5.75374
7.42/7.59 c bounds 1033 >= 475 @ 5.76045
7.51/7.60 c bounds 1033 >= 476 @ 5.76523
7.51/7.61 c bounds 1033 >= 477 @ 5.76806
7.51/7.62 c bounds 1033 >= 478 @ 5.77086
7.51/7.63 c bounds 1033 >= 479 @ 5.77778
7.51/7.64 c bounds 1033 >= 480 @ 5.78267
7.51/7.65 c bounds 1033 >= 481 @ 5.78454
7.51/7.66 c bounds 1033 >= 482 @ 5.78976
7.51/7.67 c bounds 1033 >= 483 @ 5.79277
7.51/7.68 c bounds 1033 >= 484 @ 5.79672
7.51/7.69 c bounds 1033 >= 485 @ 5.79865
7.62/7.70 c bounds 1033 >= 486 @ 5.80453
7.62/7.71 c bounds 1033 >= 487 @ 5.81237
7.62/7.72 c bounds 1033 >= 488 @ 5.81938
7.62/7.73 c bounds 1033 >= 489 @ 5.82433
7.62/7.74 c bounds 1033 >= 490 @ 5.82899
7.62/7.75 c bounds 1033 >= 491 @ 5.83586
7.71/7.80 c bounds 1032 >= 491 @ 5.87985
7.71/7.81 c bounds 1032 >= 492 @ 5.88256
7.71/7.82 c bounds 1032 >= 493 @ 5.88857
7.71/7.83 c bounds 1032 >= 494 @ 5.89256
7.71/7.84 c bounds 1032 >= 495 @ 5.8975
7.71/7.85 c bounds 1032 >= 496 @ 5.90137
7.71/7.86 c bounds 1032 >= 497 @ 5.90529
7.71/7.87 c bounds 1032 >= 498 @ 5.91104
7.71/7.88 c bounds 1032 >= 499 @ 5.91606
7.71/7.89 c bounds 1032 >= 500 @ 5.92403
7.82/7.90 c bounds 1032 >= 501 @ 5.93089
7.82/7.91 c bounds 1032 >= 502 @ 5.93681
7.82/7.92 c bounds 1032 >= 503 @ 5.94275
7.82/7.93 c bounds 1032 >= 504 @ 5.94878
7.82/7.94 c bounds 1032 >= 505 @ 5.95112
7.82/7.95 c bounds 1032 >= 506 @ 5.95545
7.82/7.96 c bounds 1032 >= 507 @ 5.95963
7.82/7.97 c bounds 1032 >= 508 @ 5.96361
7.82/7.98 c bounds 1032 >= 509 @ 5.96857
7.82/7.99 c bounds 1032 >= 510 @ 5.97161
7.82/8.00 c bounds 1032 >= 511 @ 5.97558
7.93/8.01 c bounds 1032 >= 512 @ 5.98164
7.93/8.06 c bounds 1030 >= 512 @ 6.01425
7.93/8.07 c bounds 1030 >= 513 @ 6.01923
7.93/8.08 c bounds 1030 >= 514 @ 6.02426
7.93/8.09 c bounds 1030 >= 515 @ 6.02886
7.93/8.10 c bounds 1030 >= 516 @ 6.03381
8.02/8.11 c bounds 1030 >= 517 @ 6.03687
8.02/8.12 c bounds 1030 >= 518 @ 6.03897
8.02/8.13 c bounds 1030 >= 519 @ 6.04389
8.02/8.14 c bounds 1030 >= 520 @ 6.04788
8.02/8.15 c bounds 1030 >= 521 @ 6.05094
8.02/8.16 c bounds 1030 >= 522 @ 6.05783
8.02/8.17 c bounds 1030 >= 523 @ 6.06285
8.02/8.18 c bounds 1030 >= 524 @ 6.06979
8.02/8.19 c bounds 1030 >= 525 @ 6.0758
8.12/8.20 c bounds 1030 >= 526 @ 6.07989
8.12/8.21 c bounds 1030 >= 527 @ 6.08387
8.12/8.28 c bounds 1029 >= 527 @ 6.14383
8.12/8.29 c bounds 1029 >= 528 @ 6.14988
8.21/8.30 c bounds 1029 >= 529 @ 6.15439
8.21/8.31 c bounds 1029 >= 530 @ 6.15866
8.21/8.33 c bounds 1029 >= 531 @ 6.16343
8.21/8.34 c bounds 1029 >= 532 @ 6.1688
8.21/8.35 c bounds 1029 >= 533 @ 6.17476
8.21/8.36 c bounds 1029 >= 534 @ 6.17965
8.21/8.37 c bounds 1029 >= 535 @ 6.18607
8.21/8.38 c bounds 1029 >= 536 @ 6.19148
8.21/8.39 c bounds 1029 >= 537 @ 6.19826
8.31/8.40 c bounds 1029 >= 538 @ 6.20389
8.31/8.41 c bounds 1029 >= 539 @ 6.2085
8.31/8.43 c bounds 1029 >= 540 @ 6.21626
8.52/8.67 c bounds 1028 >= 540 @ 6.43472
8.52/8.68 c bounds 1028 >= 541 @ 6.44073
8.52/8.69 c bounds 1028 >= 542 @ 6.4471
8.61/8.70 c bounds 1028 >= 543 @ 6.45241
8.61/8.71 c bounds 1028 >= 544 @ 6.45629
8.61/8.73 c bounds 1028 >= 545 @ 6.46612
8.61/8.74 c bounds 1028 >= 546 @ 6.47042
8.61/8.76 c bounds 1028 >= 547 @ 6.48533
8.61/8.78 c bounds 1028 >= 548 @ 6.49038
8.61/8.79 c bounds 1028 >= 549 @ 6.50004
8.71/8.80 c bounds 1028 >= 550 @ 6.50792
8.71/8.83 c bounds 1028 >= 551 @ 6.52574
8.71/8.84 c bounds 1028 >= 552 @ 6.53131
8.71/8.86 c bounds 1028 >= 553 @ 6.53622
8.71/8.87 c bounds 1028 >= 554 @ 6.54239
8.71/8.88 c bounds 1028 >= 555 @ 6.54636
8.71/8.89 c bounds 1028 >= 556 @ 6.55157
8.82/8.90 c bounds 1028 >= 557 @ 6.55866
8.82/8.91 c bounds 1028 >= 558 @ 6.56387
8.82/8.92 c bounds 1028 >= 559 @ 6.56723
8.82/8.93 c bounds 1028 >= 560 @ 6.57079
8.82/8.95 c bounds 1028 >= 561 @ 6.58504
8.82/8.96 c bounds 1028 >= 562 @ 6.59128
8.82/8.98 c bounds 1028 >= 563 @ 6.59658
8.82/8.99 c bounds 1028 >= 564 @ 6.60183
8.82/9.00 c bounds 1028 >= 565 @ 6.60971
8.92/9.01 c bounds 1028 >= 566 @ 6.6154
8.92/9.04 c #Conflicts: 1000 | #Constraints: 5584
8.92/9.04 c bounds 1028 >= 567 @ 6.63189
8.92/9.07 c bounds 1028 >= 568 @ 6.64884
8.92/9.09 c bounds 1028 >= 569 @ 6.66056
9.03/9.11 c bounds 1027 >= 569 @ 6.66978
9.11/9.26 c bounds 1027 >= 570 @ 6.79489
9.11/9.29 c bounds 1026 >= 570 @ 6.81002
9.21/9.32 c bounds 1024 >= 570 @ 6.83156
9.21/9.35 c bounds 1023 >= 570 @ 6.84888
9.21/9.39 c bounds 1022 >= 570 @ 6.87458
9.31/9.45 c bounds 1021 >= 570 @ 6.90779
9.31/9.49 c bounds 1020 >= 570 @ 6.93481
9.41/9.52 c bounds 1019 >= 570 @ 6.95669
9.41/9.56 c bounds 1018 >= 570 @ 6.99007
9.51/9.61 c bounds 1016 >= 570 @ 7.02153
9.51/9.64 c bounds 1016 >= 571 @ 7.05143
9.61/9.73 c bounds 1015 >= 571 @ 7.11744
13.21/13.31 c #Conflicts: 2000 | #Constraints: 6775
13.21/13.31 c INPROCESSING
13.21/13.31 c GARBAGE COLLECT
13.21/13.31 c bounds 1013 >= 571 @ 10.6215
13.21/13.36 c bounds 1012 >= 571 @ 10.6646
13.40/13.52 c bounds 1012 >= 572 @ 10.8025
13.40/13.58 c bounds 1010 >= 572 @ 10.8555
13.50/13.61 c bounds 1009 >= 572 @ 10.8795
13.50/13.66 c bounds 1007 >= 572 @ 10.9198
13.60/13.70 c bounds 1006 >= 572 @ 10.9571
13.60/13.75 c bounds 1004 >= 572 @ 10.995
13.70/13.83 c bounds 1003 >= 572 @ 11.0619
14.01/14.11 c bounds 1001 >= 572 @ 11.3236
14.80/14.94 c #Conflicts: 3000 | #Constraints: 6254
14.80/14.94 c #Conflicts: 4000 | #Constraints: 7254
14.80/14.94 c INPROCESSING
14.80/14.94 c GARBAGE COLLECT
14.80/14.94 c bounds 1000 >= 572 @ 12.0943
14.91/15.09 c bounds 999 >= 572 @ 12.2291
15.09/15.25 c bounds 997 >= 572 @ 12.365
15.19/15.37 c bounds 995 >= 572 @ 12.4714
15.49/15.63 c bounds 994 >= 572 @ 12.7126
15.59/15.78 c bounds 993 >= 572 @ 12.8456
15.69/15.83 c bounds 992 >= 572 @ 12.891
15.79/15.99 c bounds 991 >= 572 @ 13.0302
16.00/16.18 c bounds 989 >= 572 @ 13.2027
16.09/16.29 c bounds 987 >= 572 @ 13.3013
16.59/16.75 c #Conflicts: 5000 | #Constraints: 6598
16.59/16.75 c bounds 987 >= 573 @ 13.7193
16.80/16.91 c bounds 986 >= 573 @ 13.8686
16.91/17.03 c bounds 985 >= 573 @ 13.9801
17.00/17.18 c bounds 984 >= 573 @ 14.0939
17.09/17.28 c bounds 983 >= 573 @ 14.1745
17.19/17.34 c bounds 982 >= 573 @ 14.2276
17.29/17.44 c bounds 981 >= 573 @ 14.3102
17.39/17.53 c bounds 980 >= 573 @ 14.3842
17.90/18.01 c bounds 979 >= 573 @ 14.84
21.89/22.07 c #Conflicts: 6000 | #Constraints: 7666
21.89/22.07 c INPROCESSING
21.89/22.07 c GARBAGE COLLECT
21.89/22.07 c bounds 978 >= 573 @ 18.8128
22.28/22.47 c bounds 977 >= 573 @ 19.2027
22.48/22.64 c bounds 976 >= 573 @ 19.3681
22.98/23.14 c #Conflicts: 7000 | #Constraints: 6610
22.98/23.14 c bounds 975 >= 573 @ 19.852
30.26/30.41 c #Conflicts: 8000 | #Constraints: 7611
30.26/30.41 c #Conflicts: 9000 | #Constraints: 8611
30.26/30.41 c INPROCESSING
30.26/30.41 c GARBAGE COLLECT
30.26/30.41 c bounds 974 >= 573 @ 26.9858
30.56/30.71 c bounds 972 >= 573 @ 27.2601
31.05/31.23 c bounds 971 >= 573 @ 27.7664
31.36/31.53 c bounds 970 >= 573 @ 28.0462
31.75/31.98 c bounds 969 >= 573 @ 28.476
32.15/32.37 c #Conflicts: 10000 | #Constraints: 7303
32.15/32.37 c bounds 968 >= 573 @ 28.8453
32.65/32.88 c bounds 967 >= 573 @ 29.333
32.65/32.89 c bounds 967 >= 574 @ 29.3364
32.75/32.90 c bounds 967 >= 575 @ 29.3399
32.75/32.91 c bounds 967 >= 576 @ 29.3449
32.75/32.92 c bounds 967 >= 577 @ 29.3522
32.75/32.93 c bounds 967 >= 578 @ 29.3568
32.75/32.94 c bounds 967 >= 579 @ 29.3616
32.75/32.95 c bounds 967 >= 580 @ 29.3674
32.75/32.96 c bounds 967 >= 581 @ 29.3704
32.75/32.97 c bounds 967 >= 582 @ 29.3756
32.75/32.98 c bounds 967 >= 583 @ 29.3806
32.86/33.01 c bounds 967 >= 584 @ 29.3942
32.86/33.03 c bounds 967 >= 585 @ 29.4106
32.86/33.09 c bounds 967 >= 586 @ 29.4575
33.25/33.43 c #Conflicts: 11000 | #Constraints: 8484
33.25/33.43 c #Conflicts: 12000 | #Constraints: 9484
33.25/33.43 c INPROCESSING
33.25/33.43 c GARBAGE COLLECT
33.25/33.43 c bounds 965 >= 586 @ 29.7353
33.25/33.46 c bounds 964 >= 586 @ 29.7546
33.35/33.51 c bounds 963 >= 586 @ 29.7934
33.35/33.56 c bounds 962 >= 586 @ 29.8388
33.45/33.63 c bounds 961 >= 586 @ 29.8919
33.45/33.68 c bounds 960 >= 586 @ 29.9332
33.55/33.74 c bounds 959 >= 586 @ 29.9855
33.65/33.80 c bounds 957 >= 586 @ 30.0282
33.65/33.88 c bounds 956 >= 586 @ 30.1039
33.75/33.98 c bounds 955 >= 586 @ 30.1903
33.86/34.05 c bounds 954 >= 586 @ 30.2524
33.96/34.13 c bounds 953 >= 586 @ 30.3206
33.96/34.14 c bounds 953 >= 587 @ 30.3282
33.96/34.16 c bounds 953 >= 588 @ 30.3369
34.05/34.26 c bounds 952 >= 588 @ 30.4201
34.05/34.27 c bounds 952 >= 589 @ 30.4268
34.05/34.29 c bounds 952 >= 590 @ 30.4379
34.25/34.40 c bounds 952 >= 591 @ 30.5084
34.74/34.96 c #Conflicts: 13000 | #Constraints: 7933
34.74/34.96 c bounds 951 >= 591 @ 31.0517
34.85/35.07 c bounds 951 >= 592 @ 31.1399
35.35/35.58 c #Conflicts: 14000 | #Constraints: 8958
35.35/35.58 c #Conflicts: 15000 | #Constraints: 9958
35.35/35.58 c INPROCESSING
35.35/35.58 c GARBAGE COLLECT
35.35/35.58 c bounds 950 >= 592 @ 31.6107
35.74/35.92 c bounds 949 >= 592 @ 31.9371
38.14/38.36 c bounds 947 >= 592 @ 34.3361
38.33/38.58 c #Conflicts: 16000 | #Constraints: 8103
38.33/38.58 c bounds 947 >= 593 @ 34.545
40.33/40.55 c #Conflicts: 17000 | #Constraints: 9130
40.33/40.55 c #Conflicts: 18000 | #Constraints: 10130
40.33/40.55 c INPROCESSING
40.33/40.55 c GARBAGE COLLECT
40.33/40.55 c #Conflicts: 19000 | #Constraints: 8134
40.33/40.55 c #Conflicts: 20000 | #Constraints: 9134
40.33/40.55 c bounds 947 >= 594 @ 36.4525
40.63/40.82 c bounds 945 >= 594 @ 36.7171
42.32/42.53 c bounds 944 >= 594 @ 38.3165
42.32/42.54 c bounds 944 >= 595 @ 38.323
42.32/42.55 c bounds 944 >= 596 @ 38.3321
42.32/42.57 c bounds 944 >= 597 @ 38.3365
42.32/42.58 c bounds 944 >= 598 @ 38.3482
42.42/42.61 c bounds 944 >= 599 @ 38.3637
49.51/49.71 c #Conflicts: 21000 | #Constraints: 10269
49.51/49.71 c INPROCESSING
49.51/49.71 c GARBAGE COLLECT
49.51/49.71 c #Conflicts: 22000 | #Constraints: 8036
49.51/49.71 c bounds 943 >= 599 @ 45.3261
49.51/49.73 c bounds 943 >= 600 @ 45.3358
49.51/49.74 c bounds 943 >= 601 @ 45.3409
49.61/49.82 c bounds 943 >= 602 @ 45.4024
62.47/62.80 c #Conflicts: 23000 | #Constraints: 9070
62.47/62.80 c #Conflicts: 24000 | #Constraints: 10070
62.47/62.80 c #Conflicts: 25000 | #Constraints: 11070
62.47/62.80 c INPROCESSING
62.47/62.80 c GARBAGE COLLECT
62.47/62.80 c #Conflicts: 26000 | #Constraints: 8663
62.47/62.80 c #Conflicts: 27000 | #Constraints: 9663
62.47/62.80 c bounds 943 >= 603 @ 58.138
62.98/63.21 c #Conflicts: 28000 | #Constraints: 10711
62.98/63.21 c bounds 942 >= 603 @ 58.5157
63.07/63.39 c bounds 941 >= 603 @ 58.6798
63.27/63.52 c bounds 940 >= 603 @ 58.8059
63.37/63.68 c bounds 939 >= 603 @ 58.9578
63.57/63.86 c bounds 938 >= 603 @ 59.1215
63.78/64.05 c bounds 937 >= 603 @ 59.3033
63.88/64.18 c bounds 936 >= 603 @ 59.4214
64.07/64.35 c bounds 935 >= 603 @ 59.5822
64.57/64.85 c bounds 934 >= 603 @ 60.0574
65.57/65.82 c #Conflicts: 29000 | #Constraints: 11720
65.57/65.82 c INPROCESSING
65.57/65.82 c GARBAGE COLLECT
65.57/65.82 c bounds 933 >= 603 @ 60.9905
68.56/68.87 c #Conflicts: 30000 | #Constraints: 9079
68.56/68.87 c #Conflicts: 31000 | #Constraints: 10079
68.56/68.87 c #Conflicts: 32000 | #Constraints: 11079
68.56/68.87 c #Conflicts: 33000 | #Constraints: 12079
68.56/68.87 c INPROCESSING
68.56/68.87 c GARBAGE COLLECT
68.56/68.87 c bounds 932 >= 603 @ 63.9054
69.15/69.42 c bounds 931 >= 603 @ 64.4417
69.65/69.93 c bounds 930 >= 603 @ 64.935
70.15/70.41 c bounds 929 >= 603 @ 65.3946
70.45/70.71 c bounds 928 >= 603 @ 65.6848
71.05/71.36 c bounds 926 >= 603 @ 66.3106
71.65/71.92 c #Conflicts: 34000 | #Constraints: 9285
71.65/71.92 c bounds 925 >= 603 @ 66.8018
71.94/72.27 c bounds 924 >= 603 @ 67.1249
72.25/72.59 c bounds 923 >= 603 @ 67.4225
72.65/72.98 c bounds 922 >= 603 @ 67.7871
73.14/73.43 c bounds 920 >= 603 @ 68.2169
73.65/73.98 c bounds 919 >= 603 @ 68.7428
75.85/76.16 c #Conflicts: 35000 | #Constraints: 10291
75.85/76.16 c #Conflicts: 36000 | #Constraints: 11291
75.85/76.16 c #Conflicts: 37000 | #Constraints: 12291
75.85/76.16 c INPROCESSING
75.85/76.16 c GARBAGE COLLECT
75.85/76.16 c bounds 918 >= 603 @ 70.8667
76.75/77.07 c bounds 916 >= 603 @ 71.745
78.13/78.42 c #Conflicts: 38000 | #Constraints: 9285
78.13/78.42 c bounds 915 >= 603 @ 73.075
85.61/86.00 c #Conflicts: 39000 | #Constraints: 10286
85.61/86.00 c #Conflicts: 40000 | #Constraints: 11286
85.61/86.00 c #Conflicts: 41000 | #Constraints: 12286
85.61/86.00 c bounds 915 >= 604 @ 80.5478
87.91/88.20 c INPROCESSING
87.91/88.20 c GARBAGE COLLECT
87.91/88.20 c #Conflicts: 42000 | #Constraints: 9104
87.91/88.20 c bounds 913 >= 604 @ 82.7071
100.48/100.81 c #Conflicts: 43000 | #Constraints: 10105
100.48/100.81 c #Conflicts: 44000 | #Constraints: 11105
100.48/100.81 c #Conflicts: 45000 | #Constraints: 12105
100.48/100.81 c bounds 912 >= 604 @ 94.9708
129.10/129.59 c #Conflicts: 46000 | #Constraints: 13106
129.10/129.59 c INPROCESSING
129.10/129.59 c GARBAGE COLLECT
129.10/129.59 c #Conflicts: 47000 | #Constraints: 9694
129.10/129.59 c #Conflicts: 48000 | #Constraints: 10694
129.10/129.59 c #Conflicts: 49000 | #Constraints: 11694
129.10/129.59 c #Conflicts: 50000 | #Constraints: 12694
129.10/129.59 c #Conflicts: 51000 | #Constraints: 13694
129.10/129.59 c INPROCESSING
129.10/129.59 c GARBAGE COLLECT
129.10/129.59 c #Conflicts: 52000 | #Constraints: 10099
129.10/129.59 c #Conflicts: 53000 | #Constraints: 11099
129.10/129.59 c #Conflicts: 54000 | #Constraints: 12099
129.10/129.59 c #Conflicts: 55000 | #Constraints: 13099
129.10/129.59 c #Conflicts: 56000 | #Constraints: 14099
129.10/129.59 c INPROCESSING
129.10/129.59 c GARBAGE COLLECT
129.10/129.59 c #Conflicts: 57000 | #Constraints: 10317
129.10/129.59 c #Conflicts: 58000 | #Constraints: 11317
129.10/129.59 c #Conflicts: 59000 | #Constraints: 12317
129.10/129.59 c #Conflicts: 60000 | #Constraints: 13317
129.10/129.59 c #Conflicts: 61000 | #Constraints: 14317
129.10/129.59 c INPROCESSING
129.10/129.59 c GARBAGE COLLECT
129.10/129.59 c rational objective 688.476
138.28/138.77 c #Conflicts: 62000 | #Constraints: 10324
138.28/138.77 c #Conflicts: 63000 | #Constraints: 11324
138.28/138.77 c #Conflicts: 64000 | #Constraints: 12324
138.28/138.77 c #Conflicts: 65000 | #Constraints: 13324
138.28/138.77 c #Conflicts: 66000 | #Constraints: 14324
138.28/138.77 c INPROCESSING
138.28/138.77 c GARBAGE COLLECT
138.28/138.77 c #Conflicts: 67000 | #Constraints: 10133
138.28/138.77 c bounds 910 >= 604 @ 132.2
142.87/143.38 c #Conflicts: 68000 | #Constraints: 11134
142.87/143.38 c #Conflicts: 69000 | #Constraints: 12134
142.87/143.38 c #Conflicts: 70000 | #Constraints: 13134
142.87/143.38 c #Conflicts: 71000 | #Constraints: 14134
142.87/143.38 c #Conflicts: 72000 | #Constraints: 15134
142.87/143.38 c INPROCESSING
142.87/143.38 c GARBAGE COLLECT
142.87/143.38 c bounds 908 >= 604 @ 136.696
143.16/143.64 c bounds 907 >= 604 @ 136.943
143.47/143.92 c bounds 906 >= 604 @ 137.198
144.07/144.59 c bounds 904 >= 604 @ 137.834
144.96/145.48 c bounds 903 >= 604 @ 138.697
145.46/145.95 c #Conflicts: 73000 | #Constraints: 10716
145.46/145.95 c bounds 902 >= 604 @ 139.158
148.45/148.92 c bounds 901 >= 604 @ 142.107
148.45/148.95 c bounds 901 >= 605 @ 142.125
148.45/148.96 c bounds 901 >= 606 @ 142.127
166.31/166.85 c #Conflicts: 74000 | #Constraints: 11739
166.31/166.85 c #Conflicts: 75000 | #Constraints: 12739
166.31/166.85 c #Conflicts: 76000 | #Constraints: 13739
166.31/166.85 c #Conflicts: 77000 | #Constraints: 14739
166.31/166.85 c #Conflicts: 78000 | #Constraints: 15739
166.31/166.85 c INPROCESSING
166.31/166.85 c GARBAGE COLLECT
166.31/166.85 c rational objective 688.492
168.71/169.22 c bounds 900 >= 606 @ 162.091
170.61/171.19 c bounds 899 >= 606 @ 164.024
172.39/172.96 c #Conflicts: 79000 | #Constraints: 11137
172.39/172.96 c #Conflicts: 80000 | #Constraints: 12137
172.39/172.96 c #Conflicts: 81000 | #Constraints: 13137
172.39/172.96 c bounds 899 >= 607 @ 165.768
173.00/173.55 c bounds 897 >= 607 @ 166.338
173.69/174.22 c bounds 896 >= 607 @ 166.988
174.28/174.86 c bounds 895 >= 607 @ 167.619
179.38/180.00 c #Conflicts: 82000 | #Constraints: 14194
179.38/180.00 c #Conflicts: 83000 | #Constraints: 15194
179.38/180.00 c bounds 894 >= 607 @ 172.694
195.14/195.79 c #Conflicts: 84000 | #Constraints: 16204
195.14/195.79 c INPROCESSING
195.14/195.79 c GARBAGE COLLECT
195.14/195.79 c #Conflicts: 85000 | #Constraints: 11381
195.14/195.79 c #Conflicts: 86000 | #Constraints: 12381
195.14/195.79 c #Conflicts: 87000 | #Constraints: 13381
195.14/195.79 c #Conflicts: 88000 | #Constraints: 14381
195.14/195.79 c #Conflicts: 89000 | #Constraints: 15381
195.14/195.79 c #Conflicts: 90000 | #Constraints: 16381
195.14/195.79 c INPROCESSING
195.14/195.79 c GARBAGE COLLECT
195.14/195.79 c #Conflicts: 91000 | #Constraints: 11375
195.14/195.79 c bounds 893 >= 607 @ 188.281
202.82/203.42 c #Conflicts: 92000 | #Constraints: 12376
202.82/203.42 c #Conflicts: 93000 | #Constraints: 13376
202.82/203.42 c #Conflicts: 94000 | #Constraints: 14376
202.82/203.42 c #Conflicts: 95000 | #Constraints: 15376
202.82/203.42 c #Conflicts: 96000 | #Constraints: 16376
202.82/203.42 c INPROCESSING
202.82/203.42 c GARBAGE COLLECT
202.82/203.42 c #Conflicts: 97000 | #Constraints: 11186
202.82/203.42 c bounds 892 >= 607 @ 195.81
218.07/218.74 c #Conflicts: 98000 | #Constraints: 12221
218.07/218.74 c #Conflicts: 99000 | #Constraints: 13221
218.07/218.74 c #Conflicts: 100000 | #Constraints: 14221
218.07/218.74 c #Conflicts: 101000 | #Constraints: 15221
218.07/218.74 c #Conflicts: 102000 | #Constraints: 16221
218.07/218.74 c #Conflicts: 103000 | #Constraints: 17221
218.07/218.74 c INPROCESSING
218.07/218.74 c GARBAGE COLLECT
218.07/218.74 c bounds 891 >= 607 @ 210.934
218.57/219.22 c bounds 890 >= 607 @ 211.411
219.57/220.29 c bounds 888 >= 607 @ 212.438
220.17/220.84 c #Conflicts: 104000 | #Constraints: 11800
220.17/220.84 c bounds 887 >= 607 @ 212.967
220.97/221.63 c bounds 886 >= 607 @ 213.71
226.85/227.56 c #Conflicts: 105000 | #Constraints: 12802
226.85/227.56 c bounds 885 >= 607 @ 219.532
232.45/233.19 c #Conflicts: 106000 | #Constraints: 13803
232.45/233.19 c #Conflicts: 107000 | #Constraints: 14803
232.45/233.19 c #Conflicts: 108000 | #Constraints: 15803
232.45/233.19 c #Conflicts: 109000 | #Constraints: 16803
232.45/233.19 c #Conflicts: 110000 | #Constraints: 17803
232.45/233.19 c INPROCESSING
232.45/233.19 c GARBAGE COLLECT
232.45/233.19 c bounds 884 >= 607 @ 225.034
233.64/234.30 c bounds 883 >= 607 @ 226.096
254.68/255.41 c #Conflicts: 111000 | #Constraints: 12186
254.68/255.41 c #Conflicts: 112000 | #Constraints: 13186
254.68/255.41 c #Conflicts: 113000 | #Constraints: 14186
254.68/255.41 c #Conflicts: 114000 | #Constraints: 15186
254.68/255.41 c #Conflicts: 115000 | #Constraints: 16186
254.68/255.41 c #Conflicts: 116000 | #Constraints: 17186
254.68/255.41 c #Conflicts: 117000 | #Constraints: 18186
254.68/255.41 c INPROCESSING
254.68/255.41 c GARBAGE COLLECT
254.68/255.41 c rational objective 688.492
256.58/257.37 c bounds 882 >= 607 @ 248.802
263.56/264.39 c #Conflicts: 118000 | #Constraints: 12398
263.56/264.39 c #Conflicts: 119000 | #Constraints: 13398
263.56/264.39 c bounds 881 >= 607 @ 255.744
271.44/272.22 c #Conflicts: 120000 | #Constraints: 14399
271.44/272.22 c #Conflicts: 121000 | #Constraints: 15399
271.44/272.22 c #Conflicts: 122000 | #Constraints: 16399
271.44/272.22 c #Conflicts: 123000 | #Constraints: 17399
271.44/272.22 c #Conflicts: 124000 | #Constraints: 18399
271.44/272.22 c INPROCESSING
271.44/272.22 c GARBAGE COLLECT
271.44/272.22 c #Conflicts: 125000 | #Constraints: 12402
271.44/272.22 c bounds 880 >= 607 @ 263.345
298.38/299.25 c #Conflicts: 126000 | #Constraints: 13403
298.38/299.25 c #Conflicts: 127000 | #Constraints: 14403
298.38/299.25 c #Conflicts: 128000 | #Constraints: 15403
298.38/299.25 c #Conflicts: 129000 | #Constraints: 16403
298.38/299.25 c #Conflicts: 130000 | #Constraints: 17403
298.38/299.25 c #Conflicts: 131000 | #Constraints: 18403
298.38/299.25 c INPROCESSING
298.38/299.25 c GARBAGE COLLECT
298.38/299.25 c rational objective 688.492
300.67/301.54 c bounds 879 >= 607 @ 292.271
301.17/302.08 c bounds 878 >= 607 @ 292.784
301.57/302.40 c #Conflicts: 132000 | #Constraints: 12199
301.57/302.40 c bounds 877 >= 607 @ 293.092
305.75/306.67 c #Conflicts: 133000 | #Constraints: 13200
305.75/306.67 c bounds 876 >= 607 @ 297.264
312.34/313.27 c #Conflicts: 134000 | #Constraints: 14201
312.34/313.27 c bounds 875 >= 607 @ 303.705
319.41/320.39 c #Conflicts: 135000 | #Constraints: 15202
319.41/320.39 c #Conflicts: 136000 | #Constraints: 16202
319.41/320.39 c #Conflicts: 137000 | #Constraints: 17202
319.41/320.39 c #Conflicts: 138000 | #Constraints: 18202
319.41/320.39 c #Conflicts: 139000 | #Constraints: 19202
319.41/320.39 c INPROCESSING
319.41/320.39 c GARBAGE COLLECT
319.41/320.39 c bounds 874 >= 607 @ 310.723
350.54/351.50 c #Conflicts: 140000 | #Constraints: 12810
350.54/351.50 c #Conflicts: 141000 | #Constraints: 13810
350.54/351.50 c #Conflicts: 142000 | #Constraints: 14810
350.54/351.50 c #Conflicts: 143000 | #Constraints: 15810
350.54/351.50 c #Conflicts: 144000 | #Constraints: 16810
350.54/351.50 c #Conflicts: 145000 | #Constraints: 17810
350.54/351.50 c #Conflicts: 146000 | #Constraints: 18810
350.54/351.50 c #Conflicts: 147000 | #Constraints: 19810
350.54/351.50 c INPROCESSING
350.54/351.50 c GARBAGE COLLECT
350.54/351.50 c bounds 873 >= 607 @ 341.461
351.63/352.67 c bounds 872 >= 607 @ 342.603
353.04/354.04 c bounds 871 >= 607 @ 343.935
354.23/355.28 c #Conflicts: 148000 | #Constraints: 13218
354.23/355.28 c bounds 870 >= 607 @ 345.136
356.62/357.69 c bounds 869 >= 607 @ 347.449
357.42/358.44 c #Conflicts: 149000 | #Constraints: 14220
357.42/358.44 c bounds 868 >= 607 @ 348.182
357.72/358.71 c bounds 867 >= 607 @ 348.452
358.03/359.09 c bounds 866 >= 607 @ 348.81
358.82/359.84 c bounds 865 >= 607 @ 349.532
360.52/361.58 c bounds 864 >= 607 @ 351.246
375.28/376.36 c #Conflicts: 150000 | #Constraints: 15225
375.28/376.36 c #Conflicts: 151000 | #Constraints: 16225
375.28/376.36 c #Conflicts: 152000 | #Constraints: 17225
375.28/376.36 c #Conflicts: 153000 | #Constraints: 18225
375.28/376.36 c #Conflicts: 154000 | #Constraints: 19225
375.28/376.36 c #Conflicts: 155000 | #Constraints: 20225
375.28/376.36 c INPROCESSING
375.28/376.36 c GARBAGE COLLECT
375.28/376.36 c #Conflicts: 156000 | #Constraints: 13421
375.28/376.36 c #Conflicts: 157000 | #Constraints: 14421
375.28/376.36 c bounds 863 >= 607 @ 365.685
407.01/408.13 c #Conflicts: 158000 | #Constraints: 15422
407.01/408.13 c #Conflicts: 159000 | #Constraints: 16422
407.01/408.13 c #Conflicts: 160000 | #Constraints: 17422
407.01/408.13 c #Conflicts: 161000 | #Constraints: 18422
407.01/408.13 c #Conflicts: 162000 | #Constraints: 19422
407.01/408.13 c #Conflicts: 163000 | #Constraints: 20422
407.01/408.13 c INPROCESSING
407.01/408.13 c GARBAGE COLLECT
407.01/408.13 c #Conflicts: 164000 | #Constraints: 13413
407.01/408.13 c #Conflicts: 165000 | #Constraints: 14413
407.01/408.13 c #Conflicts: 166000 | #Constraints: 15413
407.01/408.13 c #Conflicts: 167000 | #Constraints: 16413
407.01/408.13 c bounds 862 >= 607 @ 396.866
421.55/422.70 c #Conflicts: 168000 | #Constraints: 17414
421.55/422.70 c #Conflicts: 169000 | #Constraints: 18414
421.55/422.70 c #Conflicts: 170000 | #Constraints: 19414
421.55/422.70 c #Conflicts: 171000 | #Constraints: 20414
421.55/422.70 c INPROCESSING
421.55/422.70 c GARBAGE COLLECT
421.55/422.70 c #Conflicts: 172000 | #Constraints: 13221
421.55/422.70 c #Conflicts: 173000 | #Constraints: 14221
421.55/422.70 c #Conflicts: 174000 | #Constraints: 15221
421.55/422.70 c #Conflicts: 175000 | #Constraints: 16221
421.55/422.70 c #Conflicts: 176000 | #Constraints: 17221
421.55/422.70 c #Conflicts: 177000 | #Constraints: 18221
421.55/422.70 c #Conflicts: 178000 | #Constraints: 19221
421.55/422.70 c #Conflicts: 179000 | #Constraints: 20221
421.55/422.70 c bounds 862 >= 608 @ 411.092
439.71/440.98 c #Conflicts: 180000 | #Constraints: 21368
439.71/440.98 c INPROCESSING
439.71/440.98 c GARBAGE COLLECT
439.71/440.98 c rational objective 688.492
581.45/583.01 c #Conflicts: 181000 | #Constraints: 13919
581.45/583.01 c #Conflicts: 182000 | #Constraints: 14919
581.45/583.01 c #Conflicts: 183000 | #Constraints: 15919
581.45/583.01 c #Conflicts: 184000 | #Constraints: 16919
581.45/583.01 c #Conflicts: 185000 | #Constraints: 17919
581.45/583.01 c #Conflicts: 186000 | #Constraints: 18919
581.45/583.01 c #Conflicts: 187000 | #Constraints: 19919
581.45/583.01 c #Conflicts: 188000 | #Constraints: 20919
581.45/583.01 c #Conflicts: 189000 | #Constraints: 21919
581.45/583.01 c INPROCESSING
581.45/583.01 c GARBAGE COLLECT
581.45/583.01 c #Conflicts: 190000 | #Constraints: 14318
581.45/583.01 c #Conflicts: 191000 | #Constraints: 15318
581.45/583.01 c #Conflicts: 192000 | #Constraints: 16318
581.45/583.01 c #Conflicts: 193000 | #Constraints: 17318
581.45/583.01 c #Conflicts: 194000 | #Constraints: 18318
581.45/583.01 c #Conflicts: 195000 | #Constraints: 19318
581.45/583.01 c #Conflicts: 196000 | #Constraints: 20318
581.45/583.01 c #Conflicts: 197000 | #Constraints: 21318
581.45/583.01 c #Conflicts: 198000 | #Constraints: 22318
581.45/583.01 c INPROCESSING
581.45/583.01 c GARBAGE COLLECT
581.45/583.01 c #Conflicts: 199000 | #Constraints: 14503
581.45/583.01 c #Conflicts: 200000 | #Constraints: 15503
581.45/583.01 c #Conflicts: 201000 | #Constraints: 16503
581.45/583.01 c #Conflicts: 202000 | #Constraints: 17503
581.45/583.01 c #Conflicts: 203000 | #Constraints: 18503
581.45/583.01 c #Conflicts: 204000 | #Constraints: 19503
581.45/583.01 c #Conflicts: 205000 | #Constraints: 20503
581.45/583.01 c #Conflicts: 206000 | #Constraints: 21504
581.45/583.01 c #Conflicts: 207000 | #Constraints: 22504
581.45/583.01 c INPROCESSING
581.45/583.01 c GARBAGE COLLECT
581.45/583.01 c #Conflicts: 208000 | #Constraints: 14505
581.45/583.01 c #Conflicts: 209000 | #Constraints: 15513
581.45/583.01 c #Conflicts: 210000 | #Constraints: 16513
581.45/583.01 c #Conflicts: 211000 | #Constraints: 17513
581.45/583.01 c #Conflicts: 212000 | #Constraints: 18513
581.45/583.01 c #Conflicts: 213000 | #Constraints: 19514
581.45/583.01 c #Conflicts: 214000 | #Constraints: 20515
581.45/583.01 c #Conflicts: 215000 | #Constraints: 21515
581.45/583.01 c #Conflicts: 216000 | #Constraints: 22518
581.45/583.01 c INPROCESSING
581.45/583.01 c GARBAGE COLLECT
581.45/583.01 c #Conflicts: 217000 | #Constraints: 14249
581.45/583.01 c #Conflicts: 218000 | #Constraints: 15249
581.45/583.01 c #Conflicts: 219000 | #Constraints: 16249
581.45/583.01 c #Conflicts: 220000 | #Constraints: 17249
581.45/583.01 c #Conflicts: 221000 | #Constraints: 18249
581.45/583.01 c #Conflicts: 222000 | #Constraints: 19249
581.45/583.01 c #Conflicts: 223000 | #Constraints: 20249
581.45/583.01 c #Conflicts: 224000 | #Constraints: 21249
581.45/583.01 c #Conflicts: 225000 | #Constraints: 22249
581.45/583.01 c #Conflicts: 226000 | #Constraints: 23249
581.45/583.01 c INPROCESSING
581.45/583.01 c GARBAGE COLLECT
581.45/583.01 c rational objective 688.492
681.98/683.89 c #Conflicts: 227000 | #Constraints: 14888
681.98/683.89 c #Conflicts: 228000 | #Constraints: 15888
681.98/683.89 c #Conflicts: 229000 | #Constraints: 16888
681.98/683.89 c #Conflicts: 230000 | #Constraints: 17888
681.98/683.89 c #Conflicts: 231000 | #Constraints: 18888
681.98/683.89 c #Conflicts: 232000 | #Constraints: 19888
681.98/683.89 c #Conflicts: 233000 | #Constraints: 20888
681.98/683.89 c #Conflicts: 234000 | #Constraints: 21888
681.98/683.89 c #Conflicts: 235000 | #Constraints: 22888
681.98/683.89 c #Conflicts: 236000 | #Constraints: 23888
681.98/683.89 c INPROCESSING
681.98/683.89 c GARBAGE COLLECT
681.98/683.89 c #Conflicts: 237000 | #Constraints: 15314
681.98/683.89 c #Conflicts: 238000 | #Constraints: 16314
681.98/683.89 c #Conflicts: 239000 | #Constraints: 17314
681.98/683.89 c #Conflicts: 240000 | #Constraints: 18314
681.98/683.89 c #Conflicts: 241000 | #Constraints: 19314
681.98/683.89 c #Conflicts: 242000 | #Constraints: 20314
681.98/683.89 c #Conflicts: 243000 | #Constraints: 21314
681.98/683.89 c #Conflicts: 244000 | #Constraints: 22314
681.98/683.89 c #Conflicts: 245000 | #Constraints: 23314
681.98/683.89 c #Conflicts: 246000 | #Constraints: 24314
681.98/683.89 c INPROCESSING
681.98/683.89 c GARBAGE COLLECT
681.98/683.89 c #Conflicts: 247000 | #Constraints: 15521
681.98/683.89 c #Conflicts: 248000 | #Constraints: 16521
681.98/683.89 c #Conflicts: 249000 | #Constraints: 17521
681.98/683.89 c #Conflicts: 250000 | #Constraints: 18521
681.98/683.89 c #Conflicts: 251000 | #Constraints: 19521
681.98/683.89 c #Conflicts: 252000 | #Constraints: 20521
681.98/683.89 c #Conflicts: 253000 | #Constraints: 21521
681.98/683.89 c #Conflicts: 254000 | #Constraints: 22521
681.98/683.89 c #Conflicts: 255000 | #Constraints: 23521
681.98/683.89 c #Conflicts: 256000 | #Constraints: 24522
681.98/683.89 c INPROCESSING
681.98/683.89 c GARBAGE COLLECT
681.98/683.89 c rational objective 688.492
728.54/730.50 c #Conflicts: 257000 | #Constraints: 15513
728.54/730.50 c #Conflicts: 258000 | #Constraints: 16513
728.54/730.50 c #Conflicts: 259000 | #Constraints: 17513
728.54/730.50 c #Conflicts: 260000 | #Constraints: 18513
728.54/730.50 c #Conflicts: 261000 | #Constraints: 19513
728.54/730.50 c #Conflicts: 262000 | #Constraints: 20513
728.54/730.50 c #Conflicts: 263000 | #Constraints: 21513
728.54/730.50 c #Conflicts: 264000 | #Constraints: 22513
728.54/730.50 c #Conflicts: 265000 | #Constraints: 23513
728.54/730.50 c #Conflicts: 266000 | #Constraints: 24513
728.54/730.50 c INPROCESSING
728.54/730.50 c GARBAGE COLLECT
728.54/730.50 c #Conflicts: 267000 | #Constraints: 15323
728.54/730.50 c #Conflicts: 268000 | #Constraints: 16323
728.54/730.50 c #Conflicts: 269000 | #Constraints: 17323
728.54/730.50 c #Conflicts: 270000 | #Constraints: 18323
728.54/730.50 c #Conflicts: 271000 | #Constraints: 19323
728.54/730.50 c #Conflicts: 272000 | #Constraints: 20323
728.54/730.50 c #Conflicts: 273000 | #Constraints: 21323
728.54/730.50 c #Conflicts: 274000 | #Constraints: 22323
728.54/730.50 c #Conflicts: 275000 | #Constraints: 23323
728.54/730.50 c #Conflicts: 276000 | #Constraints: 24323
728.54/730.50 c #Conflicts: 277000 | #Constraints: 25323
728.54/730.50 c INPROCESSING
728.54/730.50 c GARBAGE COLLECT
728.54/730.50 c #Conflicts: 278000 | #Constraints: 15921
728.54/730.50 c bounds 861 >= 608 @ 715.818
734.05/736.10 c #Conflicts: 279000 | #Constraints: 16922
734.05/736.10 c bounds 860 >= 608 @ 721.295
740.81/742.88 c #Conflicts: 280000 | #Constraints: 17923
740.81/742.88 c #Conflicts: 281000 | #Constraints: 18923
740.81/742.88 c bounds 859 >= 608 @ 727.949
825.60/827.84 c #Conflicts: 282000 | #Constraints: 19924
825.60/827.84 c #Conflicts: 283000 | #Constraints: 20924
825.60/827.84 c #Conflicts: 284000 | #Constraints: 21924
825.60/827.84 c #Conflicts: 285000 | #Constraints: 22924
825.60/827.84 c #Conflicts: 286000 | #Constraints: 23924
825.60/827.84 c #Conflicts: 287000 | #Constraints: 24924
825.60/827.84 c #Conflicts: 288000 | #Constraints: 25924
825.60/827.84 c INPROCESSING
825.60/827.84 c GARBAGE COLLECT
825.60/827.84 c rational objective 688.492
843.95/846.29 c #Conflicts: 289000 | #Constraints: 16237
843.95/846.29 c #Conflicts: 290000 | #Constraints: 17237
843.95/846.29 c #Conflicts: 291000 | #Constraints: 18237
843.95/846.29 c #Conflicts: 292000 | #Constraints: 19237
843.95/846.29 c #Conflicts: 293000 | #Constraints: 20237
843.95/846.29 c #Conflicts: 294000 | #Constraints: 21237
843.95/846.29 c #Conflicts: 295000 | #Constraints: 22237
843.95/846.29 c #Conflicts: 296000 | #Constraints: 23237
843.95/846.29 c #Conflicts: 297000 | #Constraints: 24237
843.95/846.29 c #Conflicts: 298000 | #Constraints: 25237
843.95/846.29 c bounds 859 >= 609 @ 829.508
943.60/946.12 c #Conflicts: 299000 | #Constraints: 26315
943.60/946.12 c INPROCESSING
943.60/946.12 c GARBAGE COLLECT
943.60/946.12 c #Conflicts: 300000 | #Constraints: 16544
943.60/946.12 c #Conflicts: 301000 | #Constraints: 17544
943.60/946.12 c #Conflicts: 302000 | #Constraints: 18544
943.60/946.12 c #Conflicts: 303000 | #Constraints: 19544
943.60/946.12 c #Conflicts: 304000 | #Constraints: 20544
943.60/946.12 c #Conflicts: 305000 | #Constraints: 21544
943.60/946.12 c #Conflicts: 306000 | #Constraints: 22544
943.60/946.12 c #Conflicts: 307000 | #Constraints: 23544
943.60/946.12 c #Conflicts: 308000 | #Constraints: 24544
943.60/946.12 c #Conflicts: 309000 | #Constraints: 25544
943.60/946.12 c #Conflicts: 310000 | #Constraints: 26544
943.60/946.12 c INPROCESSING
943.60/946.12 c GARBAGE COLLECT
943.60/946.12 c #Conflicts: 311000 | #Constraints: 16557
943.60/946.12 c #Conflicts: 312000 | #Constraints: 17557
943.60/946.12 c #Conflicts: 313000 | #Constraints: 18557
943.60/946.12 c #Conflicts: 314000 | #Constraints: 19557
943.60/946.12 c #Conflicts: 315000 | #Constraints: 20557
943.60/946.12 c #Conflicts: 316000 | #Constraints: 21557
943.60/946.12 c #Conflicts: 317000 | #Constraints: 22557
943.60/946.12 c #Conflicts: 318000 | #Constraints: 23557
943.60/946.12 c #Conflicts: 319000 | #Constraints: 24557
943.60/946.12 c #Conflicts: 320000 | #Constraints: 25557
943.60/946.12 c #Conflicts: 321000 | #Constraints: 26557
943.60/946.12 c INPROCESSING
943.60/946.12 c GARBAGE COLLECT
943.60/946.12 c #Conflicts: 322000 | #Constraints: 16365
943.60/946.12 c #Conflicts: 323000 | #Constraints: 17365
943.60/946.12 c #Conflicts: 324000 | #Constraints: 18365
943.60/946.12 c #Conflicts: 325000 | #Constraints: 19365
943.60/946.12 c #Conflicts: 326000 | #Constraints: 20365
943.60/946.12 c #Conflicts: 327000 | #Constraints: 21365
943.60/946.12 c #Conflicts: 328000 | #Constraints: 22365
943.60/946.12 c #Conflicts: 329000 | #Constraints: 23365
943.60/946.12 c #Conflicts: 330000 | #Constraints: 24365
943.60/946.12 c #Conflicts: 331000 | #Constraints: 25365
943.60/946.12 c #Conflicts: 332000 | #Constraints: 26365
943.60/946.12 c #Conflicts: 333000 | #Constraints: 27366
943.60/946.12 c INPROCESSING
943.60/946.12 c GARBAGE COLLECT
943.60/946.12 c #Conflicts: 334000 | #Constraints: 16975
943.60/946.12 c #Conflicts: 335000 | #Constraints: 17975
943.60/946.12 c #Conflicts: 336000 | #Constraints: 18975
943.60/946.12 c #Conflicts: 337000 | #Constraints: 19975
943.60/946.12 c #Conflicts: 338000 | #Constraints: 20975
943.60/946.12 c #Conflicts: 339000 | #Constraints: 21975
943.60/946.12 c #Conflicts: 340000 | #Constraints: 22975
943.60/946.12 c #Conflicts: 341000 | #Constraints: 23975
943.60/946.12 c #Conflicts: 342000 | #Constraints: 24975
943.60/946.12 c #Conflicts: 343000 | #Constraints: 25975
943.60/946.12 c #Conflicts: 344000 | #Constraints: 26975
943.60/946.12 c #Conflicts: 345000 | #Constraints: 27975
943.60/946.12 c INPROCESSING
943.60/946.12 c GARBAGE COLLECT
943.60/946.12 c #Conflicts: 346000 | #Constraints: 17376
943.60/946.12 c #Conflicts: 347000 | #Constraints: 18376
943.60/946.12 c bounds 858 >= 609 @ 928.091
961.93/964.55 c #Conflicts: 348000 | #Constraints: 19377
961.93/964.55 c #Conflicts: 349000 | #Constraints: 20377
961.93/964.55 c #Conflicts: 350000 | #Constraints: 21377
961.93/964.55 c #Conflicts: 351000 | #Constraints: 22377
961.93/964.55 c #Conflicts: 352000 | #Constraints: 23377
961.93/964.55 c #Conflicts: 353000 | #Constraints: 24377
961.93/964.55 c #Conflicts: 354000 | #Constraints: 25377
961.93/964.55 c #Conflicts: 355000 | #Constraints: 26377
961.93/964.55 c #Conflicts: 356000 | #Constraints: 27377
961.93/964.55 c #Conflicts: 357000 | #Constraints: 28377
961.93/964.55 c INPROCESSING
961.93/964.55 c GARBAGE COLLECT
961.93/964.55 c bounds 856 >= 609 @ 946.305
963.34/965.98 c bounds 855 >= 609 @ 947.695
964.03/966.64 c bounds 854 >= 609 @ 948.327
965.93/968.58 c #Conflicts: 358000 | #Constraints: 17560
965.93/968.58 c bounds 853 >= 609 @ 950.225
967.13/969.75 c bounds 852 >= 609 @ 951.352
978.89/981.57 c #Conflicts: 359000 | #Constraints: 18562
978.89/981.57 c #Conflicts: 360000 | #Constraints: 19562
978.89/981.57 c bounds 851 >= 609 @ 963.014
1023.48/1026.28 c #Conflicts: 361000 | #Constraints: 20563
1023.48/1026.28 c #Conflicts: 362000 | #Constraints: 21563
1023.48/1026.28 c #Conflicts: 363000 | #Constraints: 22563
1023.48/1026.28 c #Conflicts: 364000 | #Constraints: 23563
1023.48/1026.28 c #Conflicts: 365000 | #Constraints: 24563
1023.48/1026.28 c #Conflicts: 366000 | #Constraints: 25563
1023.48/1026.28 c #Conflicts: 367000 | #Constraints: 26563
1023.48/1026.28 c #Conflicts: 368000 | #Constraints: 27564
1023.48/1026.28 c #Conflicts: 369000 | #Constraints: 28564
1023.48/1026.28 c INPROCESSING
1023.48/1026.28 c GARBAGE COLLECT
1023.48/1026.28 c #Conflicts: 370000 | #Constraints: 17547
1023.48/1026.28 c #Conflicts: 371000 | #Constraints: 18547
1023.48/1026.28 c #Conflicts: 372000 | #Constraints: 19547
1023.48/1026.28 c bounds 850 >= 609 @ 1007.15
1046.81/1049.65 c #Conflicts: 373000 | #Constraints: 20548
1046.81/1049.65 c #Conflicts: 374000 | #Constraints: 21548
1046.81/1049.65 c #Conflicts: 375000 | #Constraints: 22548
1046.81/1049.65 c #Conflicts: 376000 | #Constraints: 23548
1046.81/1049.65 c #Conflicts: 377000 | #Constraints: 24548
1046.81/1049.65 c #Conflicts: 378000 | #Constraints: 25548
1046.81/1049.65 c bounds 849 >= 609 @ 1030.33
1046.81/1049.68 c #Conflicts: 379000 | #Constraints: 26549
1046.81/1049.68 c bounds 849 >= 610 @ 1030.36
1068.17/1071.10 c #Conflicts: 380000 | #Constraints: 27564
1068.17/1071.10 c #Conflicts: 381000 | #Constraints: 28564
1068.17/1071.10 c INPROCESSING
1068.17/1071.10 c GARBAGE COLLECT
1068.17/1071.10 c rational objective 688.492
1122.21/1125.21 c #Conflicts: 382000 | #Constraints: 17351
1122.21/1125.21 c #Conflicts: 383000 | #Constraints: 18351
1122.21/1125.21 c #Conflicts: 384000 | #Constraints: 19351
1122.21/1125.21 c #Conflicts: 385000 | #Constraints: 20351
1122.21/1125.21 c #Conflicts: 386000 | #Constraints: 21351
1122.21/1125.21 c #Conflicts: 387000 | #Constraints: 22351
1122.21/1125.21 c #Conflicts: 388000 | #Constraints: 23351
1122.21/1125.21 c #Conflicts: 389000 | #Constraints: 24351
1122.21/1125.21 c #Conflicts: 390000 | #Constraints: 25351
1122.21/1125.21 c #Conflicts: 391000 | #Constraints: 26351
1122.21/1125.21 c #Conflicts: 392000 | #Constraints: 27351
1122.21/1125.21 c #Conflicts: 393000 | #Constraints: 28351
1122.21/1125.21 c #Conflicts: 394000 | #Constraints: 29351
1122.21/1125.21 c INPROCESSING
1122.21/1125.21 c GARBAGE COLLECT
1122.21/1125.21 c #Conflicts: 395000 | #Constraints: 17972
1122.21/1125.21 c #Conflicts: 396000 | #Constraints: 18972
1122.21/1125.21 c #Conflicts: 397000 | #Constraints: 19972
1122.21/1125.21 c #Conflicts: 398000 | #Constraints: 20972
1122.21/1125.21 c #Conflicts: 399000 | #Constraints: 21972
1122.21/1125.21 c #Conflicts: 400000 | #Constraints: 22972
1122.21/1125.21 c #Conflicts: 401000 | #Constraints: 23972
1122.21/1125.21 c #Conflicts: 402000 | #Constraints: 24972
1122.21/1125.21 c #Conflicts: 403000 | #Constraints: 25972
1122.21/1125.21 c #Conflicts: 404000 | #Constraints: 26972
1122.21/1125.21 c #Conflicts: 405000 | #Constraints: 27972
1122.21/1125.21 c #Conflicts: 406000 | #Constraints: 28972
1122.21/1125.21 c #Conflicts: 407000 | #Constraints: 29972
1122.21/1125.21 c INPROCESSING
1122.21/1125.21 c GARBAGE COLLECT
1122.21/1125.21 c bounds 848 >= 610 @ 1104.97
1122.71/1125.76 c bounds 847 >= 610 @ 1105.49
1123.21/1126.29 c bounds 846 >= 610 @ 1106.01
1126.79/1129.89 c #Conflicts: 408000 | #Constraints: 18384
1126.79/1129.89 c bounds 845 >= 610 @ 1109.58
1128.69/1131.73 c bounds 844 >= 610 @ 1111.4
1130.19/1133.25 c #Conflicts: 409000 | #Constraints: 19386
1130.19/1133.25 c bounds 843 >= 610 @ 1112.89
1133.68/1136.72 c #Conflicts: 410000 | #Constraints: 20387
1133.68/1136.72 c bounds 842 >= 610 @ 1116.3
1184.35/1187.55 c #Conflicts: 411000 | #Constraints: 21388
1184.35/1187.55 c #Conflicts: 412000 | #Constraints: 22388
1184.35/1187.55 c #Conflicts: 413000 | #Constraints: 23388
1184.35/1187.55 c #Conflicts: 414000 | #Constraints: 24388
1184.35/1187.55 c #Conflicts: 415000 | #Constraints: 25388
1184.35/1187.55 c #Conflicts: 416000 | #Constraints: 26388
1184.35/1187.55 c #Conflicts: 417000 | #Constraints: 27388
1184.35/1187.55 c #Conflicts: 418000 | #Constraints: 28388
1184.35/1187.55 c #Conflicts: 419000 | #Constraints: 29388
1184.35/1187.55 c #Conflicts: 420000 | #Constraints: 30389
1184.35/1187.55 c INPROCESSING
1184.35/1187.55 c GARBAGE COLLECT
1184.35/1187.55 c rational objective 688.492
1194.72/1197.91 c #Conflicts: 421000 | #Constraints: 18567
1194.72/1197.91 c #Conflicts: 422000 | #Constraints: 19567
1194.72/1197.91 c bounds 841 >= 610 @ 1176.83
1198.41/1201.68 c #Conflicts: 423000 | #Constraints: 20568
1198.41/1201.68 c bounds 840 >= 610 @ 1180.54
1289.17/1292.61 c #Conflicts: 424000 | #Constraints: 21569
1289.17/1292.61 c #Conflicts: 425000 | #Constraints: 22569
1289.17/1292.61 c #Conflicts: 426000 | #Constraints: 23569
1289.17/1292.61 c #Conflicts: 427000 | #Constraints: 24569
1289.17/1292.61 c #Conflicts: 428000 | #Constraints: 25569
1289.17/1292.61 c #Conflicts: 429000 | #Constraints: 26569
1289.17/1292.61 c #Conflicts: 430000 | #Constraints: 27569
1289.17/1292.61 c #Conflicts: 431000 | #Constraints: 28569
1289.17/1292.61 c #Conflicts: 432000 | #Constraints: 29569
1289.17/1292.61 c #Conflicts: 433000 | #Constraints: 30569
1289.17/1292.61 c INPROCESSING
1289.17/1292.61 c GARBAGE COLLECT
1289.17/1292.61 c #Conflicts: 434000 | #Constraints: 18513
1289.17/1292.61 c #Conflicts: 435000 | #Constraints: 19513
1289.17/1292.61 c #Conflicts: 436000 | #Constraints: 20513
1289.17/1292.61 c #Conflicts: 437000 | #Constraints: 21513
1289.17/1292.61 c #Conflicts: 438000 | #Constraints: 22513
1289.17/1292.61 c #Conflicts: 439000 | #Constraints: 23513
1289.17/1292.61 c #Conflicts: 440000 | #Constraints: 24513
1289.17/1292.61 c #Conflicts: 441000 | #Constraints: 25513
1289.17/1292.61 c #Conflicts: 442000 | #Constraints: 26513
1289.17/1292.61 c #Conflicts: 443000 | #Constraints: 27513
1289.17/1292.61 c #Conflicts: 444000 | #Constraints: 28513
1289.17/1292.61 c #Conflicts: 445000 | #Constraints: 29513
1289.17/1292.61 c #Conflicts: 446000 | #Constraints: 30513
1289.17/1292.61 c INPROCESSING
1289.17/1292.61 c GARBAGE COLLECT
1289.17/1292.61 c #Conflicts: 447000 | #Constraints: 18349
1289.17/1292.61 c #Conflicts: 448000 | #Constraints: 19349
1289.17/1292.61 c bounds 840 >= 611 @ 1270.96
1395.50/1399.21 c #Conflicts: 449000 | #Constraints: 20448
1395.50/1399.21 c #Conflicts: 450000 | #Constraints: 21448
1395.50/1399.21 c #Conflicts: 451000 | #Constraints: 22448
1395.50/1399.21 c #Conflicts: 452000 | #Constraints: 23448
1395.50/1399.21 c #Conflicts: 453000 | #Constraints: 24448
1395.50/1399.21 c #Conflicts: 454000 | #Constraints: 25448
1395.50/1399.21 c #Conflicts: 455000 | #Constraints: 26448
1395.50/1399.21 c #Conflicts: 456000 | #Constraints: 27448
1395.50/1399.21 c #Conflicts: 457000 | #Constraints: 28448
1395.50/1399.21 c #Conflicts: 458000 | #Constraints: 29448
1395.50/1399.21 c #Conflicts: 459000 | #Constraints: 30448
1395.50/1399.21 c #Conflicts: 460000 | #Constraints: 31448
1395.50/1399.21 c INPROCESSING
1395.50/1399.21 c GARBAGE COLLECT
1395.50/1399.21 c #Conflicts: 461000 | #Constraints: 19042
1395.50/1399.21 c #Conflicts: 462000 | #Constraints: 20043
1395.50/1399.21 c #Conflicts: 463000 | #Constraints: 21043
1395.50/1399.21 c #Conflicts: 464000 | #Constraints: 22043
1395.50/1399.21 c #Conflicts: 465000 | #Constraints: 23043
1395.50/1399.21 c #Conflicts: 466000 | #Constraints: 24043
1395.50/1399.21 c #Conflicts: 467000 | #Constraints: 25043
1395.50/1399.21 c #Conflicts: 468000 | #Constraints: 26043
1395.50/1399.21 c #Conflicts: 469000 | #Constraints: 27043
1395.50/1399.21 c #Conflicts: 470000 | #Constraints: 28043
1395.50/1399.21 c #Conflicts: 471000 | #Constraints: 29043
1395.50/1399.21 c #Conflicts: 472000 | #Constraints: 30043
1395.50/1399.21 c #Conflicts: 473000 | #Constraints: 31043
1395.50/1399.21 c #Conflicts: 474000 | #Constraints: 32043
1395.50/1399.21 c INPROCESSING
1395.50/1399.21 c GARBAGE COLLECT
1395.50/1399.21 c rational objective 688.492
1451.75/1455.60 c #Conflicts: 475000 | #Constraints: 19447
1451.75/1455.60 c #Conflicts: 476000 | #Constraints: 20447
1451.75/1455.60 c #Conflicts: 477000 | #Constraints: 21447
1451.75/1455.60 c #Conflicts: 478000 | #Constraints: 22447
1451.75/1455.60 c #Conflicts: 479000 | #Constraints: 23447
1451.75/1455.60 c #Conflicts: 480000 | #Constraints: 24447
1451.75/1455.60 c #Conflicts: 481000 | #Constraints: 25447
1451.75/1455.60 c #Conflicts: 482000 | #Constraints: 26447
1451.75/1455.60 c #Conflicts: 483000 | #Constraints: 27447
1451.75/1455.60 c #Conflicts: 484000 | #Constraints: 28447
1451.75/1455.60 c #Conflicts: 485000 | #Constraints: 29447
1451.75/1455.60 c #Conflicts: 486000 | #Constraints: 30447
1451.75/1455.60 c #Conflicts: 487000 | #Constraints: 31447
1451.75/1455.60 c #Conflicts: 488000 | #Constraints: 32447
1451.75/1455.60 c INPROCESSING
1451.75/1455.60 c GARBAGE COLLECT
1451.75/1455.60 c #Conflicts: 489000 | #Constraints: 19641
1451.75/1455.60 c #Conflicts: 490000 | #Constraints: 20641
1451.75/1455.60 c #Conflicts: 491000 | #Constraints: 21641
1451.75/1455.60 c #Conflicts: 492000 | #Constraints: 22641
1451.75/1455.60 c #Conflicts: 493000 | #Constraints: 23641
1451.75/1455.60 c #Conflicts: 494000 | #Constraints: 24641
1451.75/1455.60 c #Conflicts: 495000 | #Constraints: 25641
1451.75/1455.60 c #Conflicts: 496000 | #Constraints: 26641
1451.75/1455.60 c #Conflicts: 497000 | #Constraints: 27641
1451.75/1455.60 c #Conflicts: 498000 | #Constraints: 28641
1451.75/1455.60 c #Conflicts: 499000 | #Constraints: 29641
1451.75/1455.60 c #Conflicts: 500000 | #Constraints: 30641
1451.75/1455.60 c #Conflicts: 501000 | #Constraints: 31641
1451.75/1455.60 c #Conflicts: 502000 | #Constraints: 32641
1451.75/1455.60 c INPROCESSING
1451.75/1455.60 c GARBAGE COLLECT
1451.75/1455.60 c rational objective 688.492
1483.26/1487.21 c #Conflicts: 503000 | #Constraints: 19650
1483.26/1487.21 c #Conflicts: 504000 | #Constraints: 20650
1483.26/1487.21 c #Conflicts: 505000 | #Constraints: 21650
1483.26/1487.21 c #Conflicts: 506000 | #Constraints: 22650
1483.26/1487.21 c #Conflicts: 507000 | #Constraints: 23650
1483.26/1487.21 c #Conflicts: 508000 | #Constraints: 24650
1483.26/1487.21 c #Conflicts: 509000 | #Constraints: 25650
1483.26/1487.21 c #Conflicts: 510000 | #Constraints: 26650
1483.26/1487.21 c #Conflicts: 511000 | #Constraints: 27650
1483.26/1487.21 c #Conflicts: 512000 | #Constraints: 28650
1483.26/1487.21 c #Conflicts: 513000 | #Constraints: 29650
1483.26/1487.21 c #Conflicts: 514000 | #Constraints: 30650
1483.26/1487.21 c #Conflicts: 515000 | #Constraints: 31650
1483.26/1487.21 c #Conflicts: 516000 | #Constraints: 32650
1483.26/1487.21 c INPROCESSING
1483.26/1487.21 c GARBAGE COLLECT
1483.26/1487.21 c rational objective 688.492
1488.55/1492.50 c #Conflicts: 517000 | #Constraints: 19447
1488.55/1492.50 c bounds 839 >= 611 @ 1469.22
1505.30/1509.36 c #Conflicts: 518000 | #Constraints: 20448
1505.30/1509.36 c #Conflicts: 519000 | #Constraints: 21448
1505.30/1509.36 c #Conflicts: 520000 | #Constraints: 22448
1505.30/1509.36 c bounds 838 >= 611 @ 1485.7
1606.85/1611.11 c #Conflicts: 521000 | #Constraints: 23449
1606.85/1611.11 c #Conflicts: 522000 | #Constraints: 24449
1606.85/1611.11 c #Conflicts: 523000 | #Constraints: 25449
1606.85/1611.11 c #Conflicts: 524000 | #Constraints: 26449
1606.85/1611.11 c #Conflicts: 525000 | #Constraints: 27449
1606.85/1611.11 c #Conflicts: 526000 | #Constraints: 28449
1606.85/1611.11 c #Conflicts: 527000 | #Constraints: 29449
1606.85/1611.11 c #Conflicts: 528000 | #Constraints: 30449
1606.85/1611.11 c #Conflicts: 529000 | #Constraints: 31449
1606.85/1611.11 c #Conflicts: 530000 | #Constraints: 32449
1606.85/1611.11 c #Conflicts: 531000 | #Constraints: 33449
1606.85/1611.11 c INPROCESSING
1606.85/1611.11 c GARBAGE COLLECT
1606.85/1611.11 c #Conflicts: 532000 | #Constraints: 20028
1606.85/1611.11 c bounds 837 >= 611 @ 1586.39
1609.84/1614.12 c #Conflicts: 533000 | #Constraints: 21029
1609.84/1614.12 c bounds 836 >= 611 @ 1589.32
1614.42/1618.71 c #Conflicts: 534000 | #Constraints: 22030
1614.42/1618.71 c bounds 835 >= 611 @ 1593.8
1717.64/1722.22 c #Conflicts: 535000 | #Constraints: 23031
1717.64/1722.22 c #Conflicts: 536000 | #Constraints: 24031
1717.64/1722.22 c #Conflicts: 537000 | #Constraints: 25032
1717.64/1722.22 c #Conflicts: 538000 | #Constraints: 26032
1717.64/1722.22 c #Conflicts: 539000 | #Constraints: 27032
1717.64/1722.22 c #Conflicts: 540000 | #Constraints: 28032
1717.64/1722.22 c #Conflicts: 541000 | #Constraints: 29032
1717.64/1722.22 c #Conflicts: 542000 | #Constraints: 30032
1717.64/1722.22 c #Conflicts: 543000 | #Constraints: 31032
1717.64/1722.22 c #Conflicts: 544000 | #Constraints: 32032
1717.64/1722.22 c #Conflicts: 545000 | #Constraints: 33032
1717.64/1722.22 c #Conflicts: 546000 | #Constraints: 34032
1717.64/1722.22 c INPROCESSING
1717.64/1722.22 c GARBAGE COLLECT
1717.64/1722.22 c bounds 834 >= 611 @ 1696.22
1720.84/1725.42 c #Conflicts: 547000 | #Constraints: 20399
1720.84/1725.42 c bounds 833 >= 611 @ 1699.37
1722.03/1726.67 c bounds 832 >= 611 @ 1700.6
1768.62/1773.36 c #Conflicts: 548000 | #Constraints: 21401
1768.62/1773.36 c #Conflicts: 549000 | #Constraints: 22401
1768.62/1773.36 c #Conflicts: 550000 | #Constraints: 23401
1768.62/1773.36 c #Conflicts: 551000 | #Constraints: 24401
1768.62/1773.36 c #Conflicts: 552000 | #Constraints: 25401
1768.62/1773.36 c #Conflicts: 553000 | #Constraints: 26401
1768.62/1773.36 c #Conflicts: 554000 | #Constraints: 27401
1768.62/1773.36 c #Conflicts: 555000 | #Constraints: 28401
1768.62/1773.36 c #Conflicts: 556000 | #Constraints: 29401
1768.62/1773.36 c #Conflicts: 557000 | #Constraints: 30401
1768.62/1773.36 c #Conflicts: 558000 | #Constraints: 31401
1768.62/1773.36 c bounds 831 >= 611 @ 1746.36
1878.01/1883.08 c #Conflicts: 559000 | #Constraints: 32402
1878.01/1883.08 c #Conflicts: 560000 | #Constraints: 33402
1878.01/1883.08 c #Conflicts: 561000 | #Constraints: 34402
1878.01/1883.08 c INPROCESSING
1878.01/1883.08 c GARBAGE COLLECT
1878.01/1883.08 c #Conflicts: 562000 | #Constraints: 20572
1878.01/1883.08 c #Conflicts: 563000 | #Constraints: 21572
1878.01/1883.08 c #Conflicts: 564000 | #Constraints: 22572
1878.01/1883.08 c #Conflicts: 565000 | #Constraints: 23572
1878.01/1883.08 c #Conflicts: 566000 | #Constraints: 24572
1878.01/1883.08 c #Conflicts: 567000 | #Constraints: 25572
1878.01/1883.08 c #Conflicts: 568000 | #Constraints: 26572
1878.01/1883.08 c #Conflicts: 569000 | #Constraints: 27572
1878.01/1883.08 c #Conflicts: 570000 | #Constraints: 28572
1878.01/1883.08 c #Conflicts: 571000 | #Constraints: 29572
1878.01/1883.08 c #Conflicts: 572000 | #Constraints: 30572
1878.01/1883.08 c #Conflicts: 573000 | #Constraints: 31572
1878.01/1883.08 c #Conflicts: 574000 | #Constraints: 32572
1878.01/1883.08 c #Conflicts: 575000 | #Constraints: 33572
1878.01/1883.08 c #Conflicts: 576000 | #Constraints: 34572
1878.01/1883.08 c INPROCESSING
1878.01/1883.08 c GARBAGE COLLECT
1878.01/1883.08 c #Conflicts: 577000 | #Constraints: 20600
1878.01/1883.08 c #Conflicts: 578000 | #Constraints: 21600
1878.01/1883.08 c #Conflicts: 579000 | #Constraints: 22600
1878.01/1883.08 c #Conflicts: 580000 | #Constraints: 23600
1878.01/1883.08 c #Conflicts: 581000 | #Constraints: 24600
1878.01/1883.08 c #Conflicts: 582000 | #Constraints: 25600
1878.01/1883.08 c #Conflicts: 583000 | #Constraints: 26600
1878.01/1883.08 c #Conflicts: 584000 | #Constraints: 27600
1878.01/1883.08 c #Conflicts: 585000 | #Constraints: 28600
1878.01/1883.08 c #Conflicts: 586000 | #Constraints: 29600
1878.01/1883.08 c #Conflicts: 587000 | #Constraints: 30600
1878.01/1883.08 c #Conflicts: 588000 | #Constraints: 31600
1878.01/1883.08 c #Conflicts: 589000 | #Constraints: 32600
1878.01/1883.08 c #Conflicts: 590000 | #Constraints: 33600
1878.01/1883.08 c #Conflicts: 591000 | #Constraints: 34600
1878.01/1883.08 c INPROCESSING
1878.01/1883.08 c GARBAGE COLLECT
1878.01/1883.08 c #Conflicts: 592000 | #Constraints: 20399
1878.01/1883.08 c #Conflicts: 593000 | #Constraints: 21399
1878.01/1883.08 c #Conflicts: 594000 | #Constraints: 22399
1878.01/1883.08 c #Conflicts: 595000 | #Constraints: 23399
1878.01/1883.08 c #Conflicts: 596000 | #Constraints: 24399
1878.01/1883.08 c #Conflicts: 597000 | #Constraints: 25399
1878.01/1883.08 c #Conflicts: 598000 | #Constraints: 26399
1878.01/1883.08 c #Conflicts: 599000 | #Constraints: 27399
1878.01/1883.08 c #Conflicts: 600000 | #Constraints: 28399
1878.01/1883.08 c #Conflicts: 601000 | #Constraints: 29399
1878.01/1883.08 c #Conflicts: 602000 | #Constraints: 30399
1878.01/1883.08 c #Conflicts: 603000 | #Constraints: 31399
1878.01/1883.08 c #Conflicts: 604000 | #Constraints: 32399
1878.01/1883.08 c #Conflicts: 605000 | #Constraints: 33399
1878.01/1883.08 c #Conflicts: 606000 | #Constraints: 34399
1878.01/1883.08 c #Conflicts: 607000 | #Constraints: 35399
1878.01/1883.08 c INPROCESSING
1878.01/1883.08 c GARBAGE COLLECT
1878.01/1883.08 c bounds 830 >= 611 @ 1854.97
1947.41/1952.62 c #Conflicts: 608000 | #Constraints: 21000
1947.41/1952.62 c #Conflicts: 609000 | #Constraints: 22000
1947.41/1952.62 c #Conflicts: 610000 | #Constraints: 23000
1947.41/1952.62 c #Conflicts: 611000 | #Constraints: 24000
1947.41/1952.62 c #Conflicts: 612000 | #Constraints: 25000
1947.41/1952.62 c #Conflicts: 613000 | #Constraints: 26000
1947.41/1952.62 c #Conflicts: 614000 | #Constraints: 27000
1947.41/1952.62 c #Conflicts: 615000 | #Constraints: 28000
1947.41/1952.62 c #Conflicts: 616000 | #Constraints: 29000
1947.41/1952.62 c #Conflicts: 617000 | #Constraints: 30000
1947.41/1952.62 c bounds 829 >= 611 @ 1923.85
2001.86/2007.24 c #Conflicts: 618000 | #Constraints: 31001
2001.86/2007.24 c #Conflicts: 619000 | #Constraints: 32001
2001.86/2007.24 c #Conflicts: 620000 | #Constraints: 33001
2001.86/2007.24 c #Conflicts: 621000 | #Constraints: 34001
2001.86/2007.24 c #Conflicts: 622000 | #Constraints: 35001
2001.86/2007.24 c #Conflicts: 623000 | #Constraints: 36001
2001.86/2007.24 c INPROCESSING
2001.86/2007.24 c GARBAGE COLLECT
2001.86/2007.24 c rational objective 688.492
2211.26/2217.21 c #Conflicts: 624000 | #Constraints: 21395
2211.26/2217.21 c #Conflicts: 625000 | #Constraints: 22395
2211.26/2217.21 c #Conflicts: 626000 | #Constraints: 23395
2211.26/2217.21 c #Conflicts: 627000 | #Constraints: 24395
2211.26/2217.21 c #Conflicts: 628000 | #Constraints: 25395
2211.26/2217.21 c #Conflicts: 629000 | #Constraints: 26395
2211.26/2217.21 c #Conflicts: 630000 | #Constraints: 27395
2211.26/2217.21 c #Conflicts: 631000 | #Constraints: 28395
2211.26/2217.21 c #Conflicts: 632000 | #Constraints: 29395
2211.26/2217.21 c #Conflicts: 633000 | #Constraints: 30395
2211.26/2217.21 c #Conflicts: 634000 | #Constraints: 31395
2211.26/2217.21 c #Conflicts: 635000 | #Constraints: 32395
2211.26/2217.21 c #Conflicts: 636000 | #Constraints: 33395
2211.26/2217.21 c #Conflicts: 637000 | #Constraints: 34395
2211.26/2217.21 c #Conflicts: 638000 | #Constraints: 35395
2211.26/2217.21 c #Conflicts: 639000 | #Constraints: 36395
2211.26/2217.21 c INPROCESSING
2211.26/2217.21 c GARBAGE COLLECT
2211.26/2217.21 c #Conflicts: 640000 | #Constraints: 21598
2211.26/2217.21 c #Conflicts: 641000 | #Constraints: 22598
2211.26/2217.21 c #Conflicts: 642000 | #Constraints: 23598
2211.26/2217.21 c #Conflicts: 643000 | #Constraints: 24598
2211.26/2217.21 c #Conflicts: 644000 | #Constraints: 25598
2211.26/2217.21 c #Conflicts: 645000 | #Constraints: 26598
2211.26/2217.21 c #Conflicts: 646000 | #Constraints: 27598
2211.26/2217.21 c #Conflicts: 647000 | #Constraints: 28598
2211.26/2217.21 c #Conflicts: 648000 | #Constraints: 29598
2211.26/2217.21 c #Conflicts: 649000 | #Constraints: 30598
2211.26/2217.21 c #Conflicts: 650000 | #Constraints: 31598
2211.26/2217.21 c #Conflicts: 651000 | #Constraints: 32598
2211.26/2217.21 c #Conflicts: 652000 | #Constraints: 33598
2211.26/2217.21 c #Conflicts: 653000 | #Constraints: 34598
2211.26/2217.21 c #Conflicts: 654000 | #Constraints: 35598
2211.26/2217.21 c #Conflicts: 655000 | #Constraints: 36598
2211.26/2217.21 c INPROCESSING
2211.26/2217.21 c GARBAGE COLLECT
2211.26/2217.21 c #Conflicts: 656000 | #Constraints: 21597
2211.26/2217.21 c #Conflicts: 657000 | #Constraints: 22597
2211.26/2217.21 c #Conflicts: 658000 | #Constraints: 23597
2211.26/2217.21 c #Conflicts: 659000 | #Constraints: 24597
2211.26/2217.21 c #Conflicts: 660000 | #Constraints: 25597
2211.26/2217.21 c #Conflicts: 661000 | #Constraints: 26597
2211.26/2217.21 c #Conflicts: 662000 | #Constraints: 27597
2211.26/2217.21 c #Conflicts: 663000 | #Constraints: 28597
2211.26/2217.21 c #Conflicts: 664000 | #Constraints: 29597
2211.26/2217.21 c #Conflicts: 665000 | #Constraints: 30597
2211.26/2217.21 c #Conflicts: 666000 | #Constraints: 31597
2211.26/2217.21 c #Conflicts: 667000 | #Constraints: 32597
2211.26/2217.21 c #Conflicts: 668000 | #Constraints: 33597
2211.26/2217.21 c #Conflicts: 669000 | #Constraints: 34597
2211.26/2217.21 c #Conflicts: 670000 | #Constraints: 35597
2211.26/2217.21 c #Conflicts: 671000 | #Constraints: 36597
2211.26/2217.21 c INPROCESSING
2211.26/2217.21 c GARBAGE COLLECT
2211.26/2217.21 c #Conflicts: 672000 | #Constraints: 21388
2211.26/2217.21 c #Conflicts: 673000 | #Constraints: 22388
2211.26/2217.21 c #Conflicts: 674000 | #Constraints: 23388
2211.26/2217.21 c #Conflicts: 675000 | #Constraints: 24388
2211.26/2217.21 c #Conflicts: 676000 | #Constraints: 25388
2211.26/2217.21 c #Conflicts: 677000 | #Constraints: 26388
2211.26/2217.21 c #Conflicts: 678000 | #Constraints: 27388
2211.26/2217.21 c #Conflicts: 679000 | #Constraints: 28388
2211.26/2217.21 c #Conflicts: 680000 | #Constraints: 29388
2211.26/2217.21 c #Conflicts: 681000 | #Constraints: 30388
2211.26/2217.21 c #Conflicts: 682000 | #Constraints: 31388
2211.26/2217.21 c #Conflicts: 683000 | #Constraints: 32389
2211.26/2217.21 c #Conflicts: 684000 | #Constraints: 33389
2211.26/2217.21 c #Conflicts: 685000 | #Constraints: 34389
2211.26/2217.21 c #Conflicts: 686000 | #Constraints: 35389
2211.26/2217.21 c #Conflicts: 687000 | #Constraints: 36389
2211.26/2217.21 c #Conflicts: 688000 | #Constraints: 37389
2211.26/2217.21 c INPROCESSING
2211.26/2217.21 c GARBAGE COLLECT
2211.26/2217.21 c #Conflicts: 689000 | #Constraints: 21992
2211.26/2217.21 c #Conflicts: 690000 | #Constraints: 22992
2211.26/2217.21 c #Conflicts: 691000 | #Constraints: 23992
2211.26/2217.21 c #Conflicts: 692000 | #Constraints: 24992
2211.26/2217.21 c #Conflicts: 693000 | #Constraints: 25992
2211.26/2217.21 c #Conflicts: 694000 | #Constraints: 26992
2211.26/2217.21 c #Conflicts: 695000 | #Constraints: 27992
2211.26/2217.21 c #Conflicts: 696000 | #Constraints: 28992
2211.26/2217.21 c #Conflicts: 697000 | #Constraints: 29992
2211.26/2217.21 c #Conflicts: 698000 | #Constraints: 30992
2211.26/2217.21 c #Conflicts: 699000 | #Constraints: 31992
2211.26/2217.21 c #Conflicts: 700000 | #Constraints: 32992
2234.69/2240.79 c #Conflicts: 701000 | #Constraints: 33992
2234.69/2240.79 c #Conflicts: 702000 | #Constraints: 34992
2234.69/2240.79 c #Conflicts: 703000 | #Constraints: 35992
2234.69/2240.79 c #Conflicts: 704000 | #Constraints: 36992
2234.69/2240.79 c #Conflicts: 705000 | #Constraints: 37992
2234.69/2240.79 c INPROCESSING
2234.69/2240.79 c GARBAGE COLLECT
2234.69/2240.79 c #Conflicts: 706000 | #Constraints: 22394
2234.69/2240.79 c bounds 828 >= 611 @ 2209.02
2659.19/2666.31 c #Conflicts: 707000 | #Constraints: 23395
2659.19/2666.31 c #Conflicts: 708000 | #Constraints: 24395
2659.19/2666.31 c #Conflicts: 709000 | #Constraints: 25395
2659.19/2666.31 c #Conflicts: 710000 | #Constraints: 26395
2659.19/2666.31 c #Conflicts: 711000 | #Constraints: 27395
2659.19/2666.31 c #Conflicts: 712000 | #Constraints: 28395
2659.19/2666.31 c #Conflicts: 713000 | #Constraints: 29395
2659.19/2666.31 c #Conflicts: 714000 | #Constraints: 30395
2659.19/2666.31 c #Conflicts: 715000 | #Constraints: 31395
2659.19/2666.31 c #Conflicts: 716000 | #Constraints: 32395
2659.19/2666.31 c #Conflicts: 717000 | #Constraints: 33395
2659.19/2666.31 c #Conflicts: 718000 | #Constraints: 34395
2659.19/2666.31 c #Conflicts: 719000 | #Constraints: 35395
2659.19/2666.31 c #Conflicts: 720000 | #Constraints: 36395
2659.19/2666.31 c #Conflicts: 721000 | #Constraints: 37395
2659.19/2666.31 c #Conflicts: 722000 | #Constraints: 38395
2659.19/2666.31 c INPROCESSING
2659.19/2666.31 c GARBAGE COLLECT
2659.19/2666.31 c #Conflicts: 723000 | #Constraints: 22523
2659.19/2666.31 c #Conflicts: 724000 | #Constraints: 23523
2659.19/2666.31 c #Conflicts: 725000 | #Constraints: 24523
2659.19/2666.31 c #Conflicts: 726000 | #Constraints: 25523
2659.19/2666.31 c #Conflicts: 727000 | #Constraints: 26524
2659.19/2666.31 c #Conflicts: 728000 | #Constraints: 27524
2659.19/2666.31 c #Conflicts: 729000 | #Constraints: 28524
2659.19/2666.31 c #Conflicts: 730000 | #Constraints: 29524
2659.19/2666.31 c #Conflicts: 731000 | #Constraints: 30524
2659.19/2666.31 c #Conflicts: 732000 | #Constraints: 31524
2659.19/2666.31 c #Conflicts: 733000 | #Constraints: 32524
2659.19/2666.31 c #Conflicts: 734000 | #Constraints: 33524
2659.19/2666.31 c #Conflicts: 735000 | #Constraints: 34524
2659.19/2666.31 c #Conflicts: 736000 | #Constraints: 35524
2659.19/2666.31 c #Conflicts: 737000 | #Constraints: 36524
2659.19/2666.31 c #Conflicts: 738000 | #Constraints: 37524
2659.19/2666.31 c #Conflicts: 739000 | #Constraints: 38524
2659.19/2666.31 c INPROCESSING
2659.19/2666.31 c GARBAGE COLLECT
2659.19/2666.31 c #Conflicts: 740000 | #Constraints: 22581
2659.19/2666.31 c #Conflicts: 741000 | #Constraints: 23581
2659.19/2666.31 c #Conflicts: 742000 | #Constraints: 24581
2659.19/2666.31 c #Conflicts: 743000 | #Constraints: 25581
2659.19/2666.31 c #Conflicts: 744000 | #Constraints: 26581
2659.19/2666.31 c #Conflicts: 745000 | #Constraints: 27581
2659.19/2666.31 c #Conflicts: 746000 | #Constraints: 28582
2659.19/2666.31 c #Conflicts: 747000 | #Constraints: 29582
2659.19/2666.31 c #Conflicts: 748000 | #Constraints: 30582
2659.19/2666.31 c #Conflicts: 749000 | #Constraints: 31582
2659.19/2666.31 c #Conflicts: 750000 | #Constraints: 32582
2659.19/2666.31 c #Conflicts: 751000 | #Constraints: 33582
2659.19/2666.31 c #Conflicts: 752000 | #Constraints: 34582
2659.19/2666.31 c #Conflicts: 753000 | #Constraints: 35582
2659.19/2666.31 c #Conflicts: 754000 | #Constraints: 36582
2659.19/2666.31 c #Conflicts: 755000 | #Constraints: 37582
2659.19/2666.31 c #Conflicts: 756000 | #Constraints: 38582
2659.19/2666.31 c INPROCESSING
2659.19/2666.31 c GARBAGE COLLECT
2659.19/2666.31 c #Conflicts: 757000 | #Constraints: 22398
2659.19/2666.31 c #Conflicts: 758000 | #Constraints: 23398
2659.19/2666.31 c #Conflicts: 759000 | #Constraints: 24398
2659.19/2666.31 c #Conflicts: 760000 | #Constraints: 25398
2659.19/2666.31 c #Conflicts: 761000 | #Constraints: 26398
2659.19/2666.31 c #Conflicts: 762000 | #Constraints: 27398
2659.19/2666.31 c #Conflicts: 763000 | #Constraints: 28398
2659.19/2666.31 c #Conflicts: 764000 | #Constraints: 29398
2659.19/2666.31 c #Conflicts: 765000 | #Constraints: 30398
2659.19/2666.31 c #Conflicts: 766000 | #Constraints: 31398
2659.19/2666.31 c #Conflicts: 767000 | #Constraints: 32398
2659.19/2666.31 c #Conflicts: 768000 | #Constraints: 33398
2659.19/2666.31 c #Conflicts: 769000 | #Constraints: 34398
2659.19/2666.31 c #Conflicts: 770000 | #Constraints: 35398
2659.19/2666.31 c #Conflicts: 771000 | #Constraints: 36398
2659.19/2666.31 c #Conflicts: 772000 | #Constraints: 37398
2659.19/2666.31 c #Conflicts: 773000 | #Constraints: 38398
2659.19/2666.31 c #Conflicts: 774000 | #Constraints: 39398
2659.19/2666.31 c INPROCESSING
2659.19/2666.31 c GARBAGE COLLECT
2659.19/2666.31 c #Conflicts: 775000 | #Constraints: 23017
2659.19/2666.31 c bounds 827 >= 611 @ 2630.08
2661.28/2668.42 c bounds 826 >= 611 @ 2632.14
2669.06/2676.22 c #Conflicts: 776000 | #Constraints: 24019
2669.06/2676.22 c #Conflicts: 777000 | #Constraints: 25019
2669.06/2676.22 c bounds 825 >= 611 @ 2639.81
2699.18/2706.48 c #Conflicts: 778000 | #Constraints: 26020
2699.18/2706.48 c #Conflicts: 779000 | #Constraints: 27020
2699.18/2706.48 c #Conflicts: 780000 | #Constraints: 28020
2699.18/2706.48 c #Conflicts: 781000 | #Constraints: 29020
2699.18/2706.48 c #Conflicts: 782000 | #Constraints: 30020
2699.18/2706.48 c #Conflicts: 783000 | #Constraints: 31020
2699.18/2706.48 c #Conflicts: 784000 | #Constraints: 32020
2699.18/2706.48 c #Conflicts: 785000 | #Constraints: 33020
2699.18/2706.48 c #Conflicts: 786000 | #Constraints: 34020
2699.18/2706.48 c #Conflicts: 787000 | #Constraints: 35020
2699.18/2706.48 c #Conflicts: 788000 | #Constraints: 36020
2699.18/2706.48 c #Conflicts: 789000 | #Constraints: 37020
2699.18/2706.48 c #Conflicts: 790000 | #Constraints: 38020
2699.18/2706.48 c #Conflicts: 791000 | #Constraints: 39020
2699.18/2706.48 c #Conflicts: 792000 | #Constraints: 40020
2699.18/2706.48 c INPROCESSING
2699.18/2706.48 c GARBAGE COLLECT
2699.18/2706.48 c bounds 824 >= 611 @ 2669.75
2699.98/2707.28 c #Conflicts: 793000 | #Constraints: 23382
2699.98/2707.28 c bounds 823 >= 611 @ 2670.52
2706.56/2713.84 c #Conflicts: 794000 | #Constraints: 24383
2706.56/2713.84 c bounds 822 >= 611 @ 2677
2715.54/2722.82 c #Conflicts: 795000 | #Constraints: 25384
2715.54/2722.82 c #Conflicts: 796000 | #Constraints: 26384
2715.54/2722.82 c #Conflicts: 797000 | #Constraints: 27384
2715.54/2722.82 c bounds 820 >= 611 @ 2685.83
2716.43/2723.70 c bounds 818 >= 611 @ 2686.69
2720.52/2727.82 c #Conflicts: 798000 | #Constraints: 28386
2720.52/2727.82 c bounds 816 >= 611 @ 2690.71
2842.01/2849.66 c #Conflicts: 799000 | #Constraints: 29387
2842.01/2849.66 c #Conflicts: 800000 | #Constraints: 30387
2842.01/2849.66 c #Conflicts: 801000 | #Constraints: 31387
2842.01/2849.66 c #Conflicts: 802000 | #Constraints: 32387
2842.01/2849.66 c #Conflicts: 803000 | #Constraints: 33387
2842.01/2849.66 c #Conflicts: 804000 | #Constraints: 34387
2842.01/2849.66 c #Conflicts: 805000 | #Constraints: 35387
2842.01/2849.66 c #Conflicts: 806000 | #Constraints: 36387
2842.01/2849.66 c #Conflicts: 807000 | #Constraints: 37388
2842.01/2849.66 c #Conflicts: 808000 | #Constraints: 38388
2842.01/2849.66 c #Conflicts: 809000 | #Constraints: 39388
2842.01/2849.66 c #Conflicts: 810000 | #Constraints: 40388
2842.01/2849.66 c INPROCESSING
2842.01/2849.66 c GARBAGE COLLECT
2842.01/2849.66 c #Conflicts: 811000 | #Constraints: 23568
2842.01/2849.66 c #Conflicts: 812000 | #Constraints: 24568
2842.01/2849.66 c #Conflicts: 813000 | #Constraints: 25568
2842.01/2849.66 c #Conflicts: 814000 | #Constraints: 26568
2842.01/2849.66 c #Conflicts: 815000 | #Constraints: 27568
2842.01/2849.66 c #Conflicts: 816000 | #Constraints: 28568
2842.01/2849.66 c bounds 815 >= 611 @ 2811.3
3096.91/3105.25 c #Conflicts: 817000 | #Constraints: 29569
3096.91/3105.25 c #Conflicts: 818000 | #Constraints: 30569
3096.91/3105.25 c #Conflicts: 819000 | #Constraints: 31569
3096.91/3105.25 c #Conflicts: 820000 | #Constraints: 32569
3096.91/3105.25 c #Conflicts: 821000 | #Constraints: 33569
3096.91/3105.25 c #Conflicts: 822000 | #Constraints: 34569
3096.91/3105.25 c #Conflicts: 823000 | #Constraints: 35569
3096.91/3105.25 c #Conflicts: 824000 | #Constraints: 36569
3096.91/3105.25 c #Conflicts: 825000 | #Constraints: 37569
3096.91/3105.25 c #Conflicts: 826000 | #Constraints: 38569
3096.91/3105.25 c #Conflicts: 827000 | #Constraints: 39569
3096.91/3105.25 c #Conflicts: 828000 | #Constraints: 40569
3096.91/3105.25 c INPROCESSING
3096.91/3105.25 c GARBAGE COLLECT
3096.91/3105.25 c #Conflicts: 829000 | #Constraints: 23507
3096.91/3105.25 c #Conflicts: 830000 | #Constraints: 24507
3096.91/3105.25 c #Conflicts: 831000 | #Constraints: 25507
3096.91/3105.25 c #Conflicts: 832000 | #Constraints: 26507
3096.91/3105.25 c #Conflicts: 833000 | #Constraints: 27507
3096.91/3105.25 c #Conflicts: 834000 | #Constraints: 28507
3096.91/3105.25 c #Conflicts: 835000 | #Constraints: 29507
3096.91/3105.25 c #Conflicts: 836000 | #Constraints: 30507
3096.91/3105.26 c #Conflicts: 837000 | #Constraints: 31507
3096.91/3105.26 c #Conflicts: 838000 | #Constraints: 32507
3096.91/3105.26 c #Conflicts: 839000 | #Constraints: 33507
3096.91/3105.26 c #Conflicts: 840000 | #Constraints: 34507
3096.91/3105.26 c #Conflicts: 841000 | #Constraints: 35507
3096.91/3105.26 c #Conflicts: 842000 | #Constraints: 36507
3096.91/3105.26 c #Conflicts: 843000 | #Constraints: 37507
3096.91/3105.26 c #Conflicts: 844000 | #Constraints: 38507
3096.91/3105.26 c #Conflicts: 845000 | #Constraints: 39507
3096.91/3105.26 c #Conflicts: 846000 | #Constraints: 40507
3096.91/3105.26 c INPROCESSING
3096.91/3105.26 c GARBAGE COLLECT
3096.91/3105.26 c #Conflicts: 847000 | #Constraints: 23349
3096.91/3105.26 c #Conflicts: 848000 | #Constraints: 24349
3096.91/3105.26 c #Conflicts: 849000 | #Constraints: 25349
3096.91/3105.26 c #Conflicts: 850000 | #Constraints: 26349
3096.91/3105.26 c #Conflicts: 851000 | #Constraints: 27349
3096.91/3105.26 c #Conflicts: 852000 | #Constraints: 28349
3096.91/3105.26 c #Conflicts: 853000 | #Constraints: 29349
3096.91/3105.26 c #Conflicts: 854000 | #Constraints: 30349
3096.91/3105.26 c #Conflicts: 855000 | #Constraints: 31349
3096.91/3105.26 c #Conflicts: 856000 | #Constraints: 32349
3096.91/3105.26 c #Conflicts: 857000 | #Constraints: 33349
3096.91/3105.26 c #Conflicts: 858000 | #Constraints: 34349
3096.91/3105.26 c #Conflicts: 859000 | #Constraints: 35349
3096.91/3105.26 c #Conflicts: 860000 | #Constraints: 36349
3096.91/3105.26 c #Conflicts: 861000 | #Constraints: 37349
3096.91/3105.26 c #Conflicts: 862000 | #Constraints: 38349
3096.91/3105.26 c #Conflicts: 863000 | #Constraints: 39349
3096.91/3105.26 c #Conflicts: 864000 | #Constraints: 40349
3096.91/3105.26 c #Conflicts: 865000 | #Constraints: 41349
3096.91/3105.26 c INPROCESSING
3096.91/3105.26 c GARBAGE COLLECT
3096.91/3105.26 c #Conflicts: 866000 | #Constraints: 24000
3096.91/3105.26 c #Conflicts: 867000 | #Constraints: 25000
3096.91/3105.26 c #Conflicts: 868000 | #Constraints: 26000
3096.91/3105.26 c #Conflicts: 869000 | #Constraints: 27000
3096.91/3105.26 c #Conflicts: 870000 | #Constraints: 28000
3096.91/3105.26 c #Conflicts: 871000 | #Constraints: 29000
3096.91/3105.26 c #Conflicts: 872000 | #Constraints: 30000
3096.91/3105.26 c #Conflicts: 873000 | #Constraints: 31000
3096.91/3105.26 c #Conflicts: 874000 | #Constraints: 32000
3096.91/3105.26 c #Conflicts: 875000 | #Constraints: 33000
3096.91/3105.26 c #Conflicts: 876000 | #Constraints: 34000
3096.91/3105.26 c #Conflicts: 877000 | #Constraints: 35000
3096.91/3105.26 c #Conflicts: 878000 | #Constraints: 36000
3096.91/3105.26 c #Conflicts: 879000 | #Constraints: 37000
3096.91/3105.26 c #Conflicts: 880000 | #Constraints: 38000
3096.91/3105.26 c #Conflicts: 881000 | #Constraints: 39000
3096.91/3105.26 c #Conflicts: 882000 | #Constraints: 40000
3096.91/3105.26 c #Conflicts: 883000 | #Constraints: 41000
3096.91/3105.26 c #Conflicts: 884000 | #Constraints: 42000
3096.91/3105.26 c INPROCESSING
3096.91/3105.26 c GARBAGE COLLECT
3096.91/3105.26 c #Conflicts: 885000 | #Constraints: 24421
3096.91/3105.26 c #Conflicts: 886000 | #Constraints: 25421
3096.91/3105.26 c #Conflicts: 887000 | #Constraints: 26421
3096.91/3105.26 c #Conflicts: 888000 | #Constraints: 27421
3096.91/3105.26 c #Conflicts: 889000 | #Constraints: 28421
3096.91/3105.26 c #Conflicts: 890000 | #Constraints: 29421
3096.91/3105.26 c #Conflicts: 891000 | #Constraints: 30421
3096.91/3105.26 c #Conflicts: 892000 | #Constraints: 31421
3096.91/3105.26 c #Conflicts: 893000 | #Constraints: 32421
3246.51/3255.20 c #Conflicts: 894000 | #Constraints: 33421
3246.51/3255.20 c #Conflicts: 895000 | #Constraints: 34421
3246.51/3255.20 c #Conflicts: 896000 | #Constraints: 35421
3246.51/3255.20 c #Conflicts: 897000 | #Constraints: 36421
3246.51/3255.20 c #Conflicts: 898000 | #Constraints: 37421
3246.51/3255.20 c #Conflicts: 899000 | #Constraints: 38421
3246.51/3255.20 c #Conflicts: 900000 | #Constraints: 39421
3246.51/3255.20 c #Conflicts: 901000 | #Constraints: 40421
3246.51/3255.20 c #Conflicts: 902000 | #Constraints: 41421
3246.51/3255.20 c #Conflicts: 903000 | #Constraints: 42421
3246.51/3255.20 c INPROCESSING
3246.51/3255.20 c GARBAGE COLLECT
3246.51/3255.20 c #Conflicts: 904000 | #Constraints: 24631
3246.51/3255.20 c #Conflicts: 905000 | #Constraints: 25631
3246.51/3255.20 c #Conflicts: 906000 | #Constraints: 26631
3246.51/3255.20 c #Conflicts: 907000 | #Constraints: 27631
3246.51/3255.20 c #Conflicts: 908000 | #Constraints: 28631
3246.51/3255.20 c #Conflicts: 909000 | #Constraints: 29631
3246.51/3255.20 c #Conflicts: 910000 | #Constraints: 30631
3246.51/3255.20 c #Conflicts: 911000 | #Constraints: 31631
3246.51/3255.20 c #Conflicts: 912000 | #Constraints: 32631
3246.51/3255.20 c #Conflicts: 913000 | #Constraints: 33631
3246.51/3255.20 c #Conflicts: 914000 | #Constraints: 34631
3246.51/3255.20 c #Conflicts: 915000 | #Constraints: 35631
3246.51/3255.20 c #Conflicts: 916000 | #Constraints: 36631
3246.51/3255.20 c #Conflicts: 917000 | #Constraints: 37631
3246.51/3255.20 c #Conflicts: 918000 | #Constraints: 38631
3246.51/3255.20 c #Conflicts: 919000 | #Constraints: 39631
3246.51/3255.20 c #Conflicts: 920000 | #Constraints: 40631
3246.51/3255.20 c #Conflicts: 921000 | #Constraints: 41631
3246.51/3255.20 c #Conflicts: 922000 | #Constraints: 42631
3246.51/3255.20 c INPROCESSING
3246.51/3255.20 c GARBAGE COLLECT
3246.51/3255.20 c #Conflicts: 923000 | #Constraints: 24634
3246.51/3255.20 c #Conflicts: 924000 | #Constraints: 25634
3246.51/3255.20 c #Conflicts: 925000 | #Constraints: 26634
3246.51/3255.20 c #Conflicts: 926000 | #Constraints: 27634
3246.51/3255.20 c #Conflicts: 927000 | #Constraints: 28634
3246.51/3255.20 c #Conflicts: 928000 | #Constraints: 29634
3246.51/3255.20 c #Conflicts: 929000 | #Constraints: 30634
3246.51/3255.20 c #Conflicts: 930000 | #Constraints: 31634
3246.51/3255.20 c #Conflicts: 931000 | #Constraints: 32634
3246.51/3255.20 c #Conflicts: 932000 | #Constraints: 33634
3246.51/3255.20 c #Conflicts: 933000 | #Constraints: 34634
3246.51/3255.20 c #Conflicts: 934000 | #Constraints: 35634
3246.51/3255.20 c #Conflicts: 935000 | #Constraints: 36634
3246.51/3255.20 c #Conflicts: 936000 | #Constraints: 37634
3246.51/3255.20 c #Conflicts: 937000 | #Constraints: 38634
3246.51/3255.20 c #Conflicts: 938000 | #Constraints: 39634
3246.51/3255.20 c #Conflicts: 939000 | #Constraints: 40634
3246.51/3255.20 c #Conflicts: 940000 | #Constraints: 41634
3246.51/3255.20 c #Conflicts: 941000 | #Constraints: 42634
3246.51/3255.20 c INPROCESSING
3246.51/3255.20 c GARBAGE COLLECT
3246.51/3255.20 c #Conflicts: 942000 | #Constraints: 24444
3246.51/3255.20 c bounds 814 >= 611 @ 3213.2
3351.06/3360.03 c #Conflicts: 943000 | #Constraints: 25445
3351.06/3360.03 c #Conflicts: 944000 | #Constraints: 26446
3351.06/3360.03 c #Conflicts: 945000 | #Constraints: 27446
3351.06/3360.03 c #Conflicts: 946000 | #Constraints: 28446
3351.06/3360.03 c #Conflicts: 947000 | #Constraints: 29446
3351.06/3360.03 c #Conflicts: 948000 | #Constraints: 30446
3351.06/3360.03 c #Conflicts: 949000 | #Constraints: 31446
3351.06/3360.03 c #Conflicts: 950000 | #Constraints: 32446
3351.06/3360.03 c #Conflicts: 951000 | #Constraints: 33446
3351.06/3360.03 c #Conflicts: 952000 | #Constraints: 34446
3351.06/3360.03 c #Conflicts: 953000 | #Constraints: 35446
3351.06/3360.03 c #Conflicts: 954000 | #Constraints: 36446
3351.06/3360.03 c #Conflicts: 955000 | #Constraints: 37446
3351.06/3360.03 c #Conflicts: 956000 | #Constraints: 38446
3351.06/3360.03 c #Conflicts: 957000 | #Constraints: 39446
3351.06/3360.03 c #Conflicts: 958000 | #Constraints: 40446
3351.06/3360.03 c #Conflicts: 959000 | #Constraints: 41446
3351.06/3360.03 c #Conflicts: 960000 | #Constraints: 42446
3351.06/3360.03 c #Conflicts: 961000 | #Constraints: 43446
3351.06/3360.03 c INPROCESSING
3351.06/3360.03 c GARBAGE COLLECT
3351.06/3360.03 c #Conflicts: 962000 | #Constraints: 25036
3351.06/3360.03 c #Conflicts: 963000 | #Constraints: 26036
3351.06/3360.03 c #Conflicts: 964000 | #Constraints: 27036
3351.06/3360.03 c #Conflicts: 965000 | #Constraints: 28036
3351.06/3360.03 c #Conflicts: 966000 | #Constraints: 29036
3351.06/3360.03 c bounds 813 >= 611 @ 3317.27
3452.97/3462.29 c #Conflicts: 967000 | #Constraints: 30037
3452.97/3462.29 c #Conflicts: 968000 | #Constraints: 31037
3452.97/3462.29 c #Conflicts: 969000 | #Constraints: 32037
3452.97/3462.29 c #Conflicts: 970000 | #Constraints: 33037
3452.97/3462.29 c #Conflicts: 971000 | #Constraints: 34037
3452.97/3462.29 c #Conflicts: 972000 | #Constraints: 35037
3452.97/3462.29 c #Conflicts: 973000 | #Constraints: 36037
3452.97/3462.29 c #Conflicts: 974000 | #Constraints: 37037
3452.97/3462.29 c #Conflicts: 975000 | #Constraints: 38037
3452.97/3462.29 c #Conflicts: 976000 | #Constraints: 39037
3452.97/3462.29 c #Conflicts: 977000 | #Constraints: 40037
3452.97/3462.29 c #Conflicts: 978000 | #Constraints: 41037
3452.97/3462.29 c #Conflicts: 979000 | #Constraints: 42037
3452.97/3462.29 c #Conflicts: 980000 | #Constraints: 43037
3452.97/3462.29 c #Conflicts: 981000 | #Constraints: 44037
3452.97/3462.29 c INPROCESSING
3452.97/3462.29 c GARBAGE COLLECT
3452.97/3462.29 c rational objective 688.522
3462.06/3471.36 c #Conflicts: 982000 | #Constraints: 25432
3462.06/3471.36 c bounds 811 >= 611 @ 3427.68
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: 63837 MiB (63258 MiB free)
memory of node 1: 64465 MiB (63822 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485598-1751308987/watcher-4485598-1751308987 -o /tmp/evaluation-result-4485598-1751308987/solver-4485598-1751308987 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751305374-39323 --watchdog 3760 run-opt-ls.sh HOME/instance-4485598-1751308987.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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=39702, runsolver pid=39696
Current StackSize limit: 8192 KiB
[startup+0.100071 s]*
/proc/loadavg: 4.10 4.09 4.09 6/247 39712
/proc/meminfo: memFree=130119980/131382120 swapFree=33010160/33010684
[pid=39702] ppid=39696 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/39702/stat : 39702 (run-opt-ls.sh) S 39696 39702 39312 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 46577810 4292608 768 18446744073709551615 94803378507776 94803379402309 140728349113424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94803379641360 94803379689104 94803402833920 140728349120871 140728349120997 140728349120997 140728349126599 0
/proc/39702/statm: 1048 768 704 219 0 110 0
[pid=39705] ppid=39702 vsize=25612 memory=15600 CPUtime=0.07 cores=4,6
/proc/39705/stat : 39705 (pbsuma) R 39702 39702 39312 0 -1 4194304 3731 0 0 0 6 1 0 0 20 0 1 0 46577811 26226688 3900 18446744073709551615 4210688 4653049 140733952062368 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 23371776 140733952063843 140733952064050 140733952064050 140733952069615 0
/proc/39705/statm: 6403 3900 1024 108 0 3811 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 29804 KiB
Current children cumulated memory: 18672 KiB
[startup+0.213827 s]*
/proc/loadavg: 4.17 4.11 4.09 5/247 39715
/proc/meminfo: memFree=130112040/131382120 swapFree=33010160/33010684
[pid=39702] ppid=39696 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/39702/stat : 39702 (run-opt-ls.sh) S 39696 39702 39312 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 46577810 4292608 768 18446744073709551615 94803378507776 94803379402309 140728349113424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94803379641360 94803379689104 94803402833920 140728349120871 140728349120997 140728349120997 140728349126599 0
/proc/39702/statm: 1048 768 704 219 0 110 0
[pid=39705] ppid=39702 vsize=34968 memory=23844 CPUtime=0.19 cores=4,6
/proc/39705/stat : 39705 (pbsuma) R 39702 39702 39312 0 -1 4194304 10487 0 0 0 15 4 0 0 20 0 1 0 46577811 35807232 5961 18446744073709551615 4210688 4653049 140733952062368 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 23371776 140733952063843 140733952064050 140733952064050 140733952069615 0
/proc/39705/statm: 8742 5961 1024 108 0 6150 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 39160 KiB
Current children cumulated memory: 26916 KiB
[startup+0.313773 s]*
/proc/loadavg: 4.17 4.11 4.09 5/245 39719
/proc/meminfo: memFree=130119336/131382120 swapFree=33010160/33010684
[pid=39702] ppid=39696 vsize=4192 memory=3072 CPUtime=0.21 cores=4,6
/proc/39702/stat : 39702 (run-opt-ls.sh) S 39696 39702 39312 0 -1 4194304 237 10640 0 0 0 0 17 4 20 0 1 0 46577810 4292608 768 18446744073709551615 94803378507776 94803379402309 140728349113424 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94803379641360 94803379689104 94803402833920 140728349120871 140728349120997 140728349120997 140728349126599 0
/proc/39702/statm: 1048 768 704 219 0 110 0
[pid=39718] ppid=39702 vsize=60260 memory=13368 CPUtime=0.05 cores=4,6
/proc/39718/stat : 39718 (roundingsat) R 39702 39702 39312 0 -1 4194304 2095 0 0 0 4 1 0 0 20 0 1 0 46577836 61706240 3342 18446744073709551615 4227072 8923433 140722335321600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140722335328582 140722335328808 140722335328808 140722335334378 0
/proc/39718/statm: 15065 3342 1984 1147 0 2492 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 64452 KiB
Current children cumulated memory: 16440 KiB
[startup+0.700403 s]
/proc/loadavg: 4.17 4.11 4.09 6/249 39738
/proc/meminfo: memFree=130150576/131382120 swapFree=33010160/33010684
[pid=39702] ppid=39696 vsize=4192 memory=3072 CPUtime=0.21 cores=4,6
/proc/39702/stat : 39702 (run-opt-ls.sh) S 39696 39702 39312 0 -1 4194304 237 10640 0 0 0 0 17 4 20 0 1 0 46577810 4292608 768 18446744073709551615 94803378507776 94803379402309 140728349113424 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94803379641360 94803379689104 94803402833920 140728349120871 140728349120997 140728349120997 140728349126599 0
/proc/39702/statm: 1048 768 704 219 0 110 0
[pid=39718] ppid=39702 vsize=73012 memory=27376 CPUtime=0.42 cores=4,6
/proc/39718/stat : 39718 (roundingsat) R 39702 39702 39312 0 -1 4194304 5792 0 0 0 39 3 0 0 20 0 1 0 46577836 74764288 6844 18446744073709551615 4227072 8923433 140722335321600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140722335328582 140722335328808 140722335328808 140722335334378 0
/proc/39718/statm: 18253 6844 2304 1147 0 5680 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 77204 KiB
Current children cumulated memory: 30448 KiB
[startup+1.50034 s]
/proc/loadavg: 4.17 4.11 4.09 5/249 39745
/proc/meminfo: memFree=130137776/131382120 swapFree=33010160/33010684
[pid=39702] ppid=39696 vsize=4192 memory=3072 CPUtime=0.21 cores=4,6
/proc/39702/stat : 39702 (run-opt-ls.sh) S 39696 39702 39312 0 -1 4194304 237 10640 0 0 0 0 17 4 20 0 1 0 46577810 4292608 768 18446744073709551615 94803378507776 94803379402309 140728349113424 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94803379641360 94803379689104 94803402833920 140728349120871 140728349120997 140728349120997 140728349126599 0
/proc/39702/statm: 1048 768 704 219 0 110 0
[pid=39718] ppid=39702 vsize=73012 memory=27376 CPUtime=1.22 cores=4,6
/proc/39718/stat : 39718 (roundingsat) R 39702 39702 39312 0 -1 4194304 5792 0 0 0 119 3 0 0 20 0 1 0 46577836 74764288 6844 18446744073709551615 4227072 8923433 140722335321600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140722335328582 140722335328808 140722335328808 140722335334378 0
/proc/39718/statm: 18253 6844 2304 1147 0 5680 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 77204 KiB
Current children cumulated memory: 30448 KiB
[startup+3.11288 s]
/proc/loadavg: 4.17 4.11 4.09 4/250 39772
/proc/meminfo: memFree=129999712/131382120 swapFree=33010160/33010684
[pid=39702] ppid=39696 vsize=4192 memory=3072 CPUtime=0.21 cores=4,6
/proc/39702/stat : 39702 (run-opt-ls.sh) S 39696 39702 39312 0 -1 4194304 237 10640 0 0 0 0 17 4 20 0 1 0 46577810 4292608 768 18446744073709551615 94803378507776 94803379402309 140728349113424 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94803379641360 94803379689104 94803402833920 140728349120871 140728349120997 140728349120997 140728349126599 0
/proc/39702/statm: 1048 768 704 219 0 110 0
[pid=39718] ppid=39702 vsize=73012 memory=27376 CPUtime=2.83 cores=4,6
/proc/39718/stat : 39718 (roundingsat) R 39702 39702 39312 0 -1 4194304 5792 0 0 0 280 3 0 0 20 0 1 0 46577836 74764288 6844 18446744073709551615 4227072 8923433 140722335321600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140722335328582 140722335328808 140722335328808 140722335334378 0
/proc/39718/statm: 18253 6844 2304 1147 0 5680 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 77204 KiB
Current children cumulated memory: 30448 KiB
[startup+6.30037 s]
/proc/loadavg: 4.15 4.11 4.09 5/255 39804
/proc/meminfo: memFree=129708556/131382120 swapFree=33010160/33010684
[pid=39702] ppid=39696 vsize=4192 memory=3072 CPUtime=0.21 cores=4,6
/proc/39702/stat : 39702 (run-opt-ls.sh) S 39696 39702 39312 0 -1 4194304 237 10640 0 0 0 0 17 4 20 0 1 0 46577810 4292608 768 18446744073709551615 94803378507776 94803379402309 140728349113424 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94803379641360 94803379689104 94803402833920 140728349120871 140728349120997 140728349120997 140728349126599 0
/proc/39702/statm: 1048 768 704 219 0 110 0
[pid=39718] ppid=39702 vsize=165716 memory=107156 CPUtime=6.01 cores=4,6
/proc/39718/stat : 39718 (roundingsat) R 39702 39702 39312 0 -1 4194304 22526 0 0 0 512 89 0 0 20 0 1 0 46577836 169693184 26789 18446744073709551615 4227072 8923433 140722335321600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140722335328582 140722335328808 140722335328808 140722335334378 0
/proc/39718/statm: 41429 26789 2368 1147 0 28856 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 169908 KiB
Current children cumulated memory: 110228 KiB
[startup+12.7004 s]
/proc/loadavg: 4.30 4.14 4.10 5/255 39804
/proc/meminfo: memFree=129361308/131382120 swapFree=33010160/33010684
[pid=39702] ppid=39696 vsize=4192 memory=3072 CPUtime=0.21 cores=4,6
/proc/39702/stat : 39702 (run-opt-ls.sh) S 39696 39702 39312 0 -1 4194304 237 10640 0 0 0 0 17 4 20 0 1 0 46577810 4292608 768 18446744073709551615 94803378507776 94803379402309 140728349113424 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94803379641360 94803379689104 94803402833920 140728349120871 140728349120997 140728349120997 140728349126599 0
/proc/39702/statm: 1048 768 704 219 0 110 0
[pid=39718] ppid=39702 vsize=344404 memory=253232 CPUtime=12.39 cores=4,6
/proc/39718/stat : 39718 (roundingsat) R 39702 39702 39312 0 -1 4194304 47643 0 0 0 1003 236 0 0 20 0 1 0 46577836 352669696 63308 18446744073709551615 4227072 8923433 140722335321600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140722335328582 140722335328808 140722335328808 140722335334378 0
/proc/39718/statm: 86101 63308 2400 1147 0 73528 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 348596 KiB
Current children cumulated memory: 256304 KiB
[startup+25.5004 s]
/proc/loadavg: 4.26 4.13 4.10 5/255 39805
/proc/meminfo: memFree=129165960/131382120 swapFree=33010160/33010684
[pid=39702] ppid=39696 vsize=4192 memory=3072 CPUtime=0.21 cores=4,6
/proc/39702/stat : 39702 (run-opt-ls.sh) S 39696 39702 39312 0 -1 4194304 237 10640 0 0 0 0 17 4 20 0 1 0 46577810 4292608 768 18446744073709551615 94803378507776 94803379402309 140728349113424 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94803379641360 94803379689104 94803402833920 140728349120871 140728349120997 140728349120997 140728349126599 0
/proc/39702/statm: 1048 768 704 219 0 110 0
[pid=39718] ppid=39702 vsize=470812 memory=378928 CPUtime=25.16 cores=4,6
/proc/39718/stat : 39718 (roundingsat) R 39702 39702 39312 0 -1 4194304 79088 0 0 0 2214 302 0 0 20 0 1 0 46577836 482111488 94732 18446744073709551615 4227072 8923433 140722335321600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140722335328582 140722335328808 140722335328808 140722335334378 0
/proc/39718/statm: 117703 94732 2400 1147 0 105130 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 475004 KiB
Current children cumulated memory: 382000 KiB
[startup+51.1131 s]
/proc/loadavg: 4.15 4.12 4.10 5/255 39805
/proc/meminfo: memFree=128958536/131382120 swapFree=33010160/33010684
[pid=39702] ppid=39696 vsize=4192 memory=3072 CPUtime=0.21 cores=4,6
/proc/39702/stat : 39702 (run-opt-ls.sh) S 39696 39702 39312 0 -1 4194304 237 10640 0 0 0 0 17 4 20 0 1 0 46577810 4292608 768 18446744073709551615 94803378507776 94803379402309 140728349113424 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94803379641360 94803379689104 94803402833920 140728349120871 140728349120997 140728349120997 140728349126599 0
/proc/39702/statm: 1048 768 704 219 0 110 0
[pid=39718] ppid=39702 vsize=494832 memory=410608 CPUtime=50.71 cores=4,6
/proc/39718/stat : 39718 (roundingsat) R 39702 39702 39312 0 -1 4194304 83940 0 0 0 4662 409 0 0 20 0 1 0 46577836 506707968 102652 18446744073709551615 4227072 8923433 140722335321600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140722335328582 140722335328808 140722335328808 140722335334378 0
/proc/39718/statm: 123708 102652 2400 1147 0 111135 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 499024 KiB
Current children cumulated memory: 413680 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/255 39807
/proc/meminfo: memFree=127930272/131382120 swapFree=33010160/33010684
[pid=39702] ppid=39696 vsize=4192 memory=3072 CPUtime=0.21 cores=4,6
/proc/39702/stat : 39702 (run-opt-ls.sh) S 39696 39702 39312 0 -1 4194304 237 10640 0 0 0 0 17 4 20 0 1 0 46577810 4292608 768 18446744073709551615 94803378507776 94803379402309 140728349113424 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94803379641360 94803379689104 94803402833920 140728349120871 140728349120997 140728349120997 140728349126599 0
/proc/39702/statm: 1048 768 704 219 0 110 0
[pid=39718] ppid=39702 vsize=1359212 memory=1104564 CPUtime=101.76 cores=4,6
/proc/39718/stat : 39718 (roundingsat) R 39702 39702 39312 0 -1 4194304 222167 0 0 0 9638 538 0 0 20 0 1 0 46577836 1391833088 276141 18446744073709551615 4227072 8923433 140722335321600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140722335328582 140722335328808 140722335328808 140722335334378 0
/proc/39718/statm: 339803 276141 2400 1147 0 327230 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1363404 KiB
Current children cumulated memory: 1107636 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/255 39809
/proc/meminfo: memFree=127170728/131382120 swapFree=33010160/33010684
[pid=39702] ppid=39696 vsize=4192 memory=3072 CPUtime=0.21 cores=4,6
/proc/39702/stat : 39702 (run-opt-ls.sh) S 39696 39702 39312 0 -1 4194304 237 10640 0 0 0 0 17 4 20 0 1 0 46577810 4292608 768 18446744073709551615 94803378507776 94803379402309 140728349113424 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94803379641360 94803379689104 94803402833920 140728349120871 140728349120997 140728349120997 140728349126599 0
/proc/39702/statm: 1048 768 704 219 0 110 0
[pid=39718] ppid=39702 vsize=1385148 memory=1130376 CPUtime=161.61 cores=4,6
/proc/39718/stat : 39718 (roundingsat) R 39702 39702 39312 0 -1 4194304 228073 0 0 0 15523 638 0 0 20 0 1 0 46577836 1418391552 282594 18446744073709551615 4227072 8923433 140722335321600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140722335328582 140722335328808 140722335328808 140722335334378 0
/proc/39718/statm: 346287 282594 2432 1147 0 333714 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 1389340 KiB
Current children cumulated memory: 1133448 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/255 39811
/proc/meminfo: memFree=127110400/131382120 swapFree=33010160/33010684
[pid=39702] ppid=39696 vsize=4192 memory=3072 CPUtime=0.21 cores=4,6
/proc/39702/stat : 39702 (run-opt-ls.sh) S 39696 39702 39312 0 -1 4194304 237 10640 0 0 0 0 17 4 20 0 1 0 46577810 4292608 768 18446744073709551615 94803378507776 94803379402309 140728349113424 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94803379641360 94803379689104 94803402833920 140728349120871 140728349120997 140728349120997 140728349126599 0
/proc/39702/statm: 1048 768 704 219 0 110 0
[pid=39718] ppid=39702 vsize=1415848 memory=1151972 CPUtime=221.45 cores=4,6
/proc/39718/stat : 39718 (roundingsat) R 39702 39702 39312 0 -1 4194304 238225 0 0 0 21435 710 0 0 20 0 1 0 46577836 1449828352 287993 18446744073709551615 4227072 8923433 140722335321600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140722335328582 140722335328808 140722335328808 140722335334378 0
/proc/39718/statm: 353962 287993 2432 1147 0 341389 0
Current children cumulated CPU time: 221.66 s
################
# More data... #
################
/proc/meminfo: memFree=116189308/131382120 swapFree=33010160/33010684
[pid=39702] ppid=39696 vsize=4192 memory=3072 CPUtime=0.21 cores=4,6
/proc/39702/stat : 39702 (run-opt-ls.sh) S 39696 39702 39312 0 -1 4194304 237 10640 0 0 0 0 17 4 20 0 1 0 46577810 4292608 768 18446744073709551615 94803378507776 94803379402309 140728349113424 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94803379641360 94803379689104 94803402833920 140728349120871 140728349120997 140728349120997 140728349126599 0
/proc/39702/statm: 1048 768 704 219 0 110 0
[pid=39718] ppid=39702 vsize=9311812 memory=7666872 CPUtime=3273.34 cores=4,6
/proc/39718/stat : 39718 (roundingsat) R 39702 39702 39312 0 -1 4194304 1617138 0 0 0 324001 3333 0 0 20 0 1 0 46577836 9535295488 1916718 18446744073709551615 4227072 8923433 140722335321600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140722335328582 140722335328808 140722335328808 140722335334378 0
/proc/39718/statm: 2327953 1916718 2560 1147 0 2315380 0
Current children cumulated CPU time: 3273.55 s
Current children cumulated vsize: 9316004 KiB
Current children cumulated memory: 7669944 KiB
[startup+3342.3 s]
/proc/loadavg: 4.25 4.15 4.15 5/253 39963
/proc/meminfo: memFree=116136100/131382120 swapFree=33010160/33010684
[pid=39702] ppid=39696 vsize=4192 memory=3072 CPUtime=0.21 cores=4,6
/proc/39702/stat : 39702 (run-opt-ls.sh) S 39696 39702 39312 0 -1 4194304 237 10640 0 0 0 0 17 4 20 0 1 0 46577810 4292608 768 18446744073709551615 94803378507776 94803379402309 140728349113424 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94803379641360 94803379689104 94803402833920 140728349120871 140728349120997 140728349120997 140728349126599 0
/proc/39702/statm: 1048 768 704 219 0 110 0
[pid=39718] ppid=39702 vsize=9311812 memory=7707448 CPUtime=3333.17 cores=4,6
/proc/39718/stat : 39718 (roundingsat) R 39702 39702 39312 0 -1 4194304 1617907 0 0 0 329962 3355 0 0 20 0 1 0 46577836 9535295488 1926862 18446744073709551615 4227072 8923433 140722335321600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140722335328582 140722335328808 140722335328808 140722335334378 0
/proc/39718/statm: 2327953 1926862 2560 1147 0 2315380 0
Current children cumulated CPU time: 3333.38 s
Current children cumulated vsize: 9316004 KiB
Current children cumulated memory: 7710520 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.12 4.14 5/253 39964
/proc/meminfo: memFree=116086584/131382120 swapFree=33010160/33010684
[pid=39702] ppid=39696 vsize=4192 memory=3072 CPUtime=0.21 cores=4,6
/proc/39702/stat : 39702 (run-opt-ls.sh) S 39696 39702 39312 0 -1 4194304 237 10640 0 0 0 0 17 4 20 0 1 0 46577810 4292608 768 18446744073709551615 94803378507776 94803379402309 140728349113424 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94803379641360 94803379689104 94803402833920 140728349120871 140728349120997 140728349120997 140728349126599 0
/proc/39702/statm: 1048 768 704 219 0 110 0
[pid=39718] ppid=39702 vsize=9311812 memory=7747768 CPUtime=3393.02 cores=4,6
/proc/39718/stat : 39718 (roundingsat) R 39702 39702 39312 0 -1 4194304 1618816 0 0 0 335921 3381 0 0 20 0 1 0 46577836 9535295488 1936942 18446744073709551615 4227072 8923433 140722335321600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140722335328582 140722335328808 140722335328808 140722335334378 0
/proc/39718/statm: 2327953 1936942 2560 1147 0 2315380 0
Current children cumulated CPU time: 3393.23 s
Current children cumulated vsize: 9316004 KiB
Current children cumulated memory: 7750840 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.14 5/253 39966
/proc/meminfo: memFree=116034964/131382120 swapFree=33010160/33010684
[pid=39702] ppid=39696 vsize=4192 memory=3072 CPUtime=0.21 cores=4,6
/proc/39702/stat : 39702 (run-opt-ls.sh) S 39696 39702 39312 0 -1 4194304 237 10640 0 0 0 0 17 4 20 0 1 0 46577810 4292608 768 18446744073709551615 94803378507776 94803379402309 140728349113424 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94803379641360 94803379689104 94803402833920 140728349120871 140728349120997 140728349120997 140728349126599 0
/proc/39702/statm: 1048 768 704 219 0 110 0
[pid=39718] ppid=39702 vsize=9311812 memory=7788472 CPUtime=3452.87 cores=4,6
/proc/39718/stat : 39718 (roundingsat) R 39702 39702 39312 0 -1 4194304 1619493 0 0 0 341867 3420 0 0 20 0 1 0 46577836 9535295488 1947118 18446744073709551615 4227072 8923433 140722335321600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140722335328582 140722335328808 140722335328808 140722335334378 0
/proc/39718/statm: 2327953 1947118 2560 1147 0 2315380 0
Current children cumulated CPU time: 3453.08 s
Current children cumulated vsize: 9316004 KiB
Current children cumulated memory: 7791544 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.13 4.14 5/254 39969
/proc/meminfo: memFree=116000620/131382120 swapFree=33010160/33010684
[pid=39702] ppid=39696 vsize=4192 memory=3072 CPUtime=0.21 cores=4,6
/proc/39702/stat : 39702 (run-opt-ls.sh) S 39696 39702 39312 0 -1 4194304 237 10640 0 0 0 0 17 4 20 0 1 0 46577810 4292608 768 18446744073709551615 94803378507776 94803379402309 140728349113424 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94803379641360 94803379689104 94803402833920 140728349120871 140728349120997 140728349120997 140728349126599 0
/proc/39702/statm: 1048 768 704 219 0 110 0
[pid=39718] ppid=39702 vsize=9311812 memory=7829176 CPUtime=3512.71 cores=4,6
/proc/39718/stat : 39718 (roundingsat) R 39702 39702 39312 0 -1 4194304 1621359 0 0 0 347811 3460 0 0 20 0 1 0 46577836 9535295488 1957294 18446744073709551615 4227072 8923433 140722335321600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140722335328582 140722335328808 140722335328808 140722335334378 0
/proc/39718/statm: 2327953 1957294 2560 1147 0 2315380 0
Current children cumulated CPU time: 3512.92 s
Current children cumulated vsize: 9316004 KiB
Current children cumulated memory: 7832248 KiB
[startup+3582.3 s]
/proc/loadavg: 4.39 4.19 4.16 5/254 39973
/proc/meminfo: memFree=115796640/131382120 swapFree=33010160/33010684
[pid=39702] ppid=39696 vsize=4192 memory=3072 CPUtime=0.21 cores=4,6
/proc/39702/stat : 39702 (run-opt-ls.sh) S 39696 39702 39312 0 -1 4194304 237 10640 0 0 0 0 17 4 20 0 1 0 46577810 4292608 768 18446744073709551615 94803378507776 94803379402309 140728349113424 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94803379641360 94803379689104 94803402833920 140728349120871 140728349120997 140728349120997 140728349126599 0
/proc/39702/statm: 1048 768 704 219 0 110 0
[pid=39718] ppid=39702 vsize=9469292 memory=8015208 CPUtime=3572.54 cores=4,6
/proc/39718/stat : 39718 (roundingsat) R 39702 39702 39312 0 -1 4194304 1653642 0 0 0 353735 3519 0 0 20 0 1 0 46577836 9696555008 2003802 18446744073709551615 4227072 8923433 140722335321600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140722335328582 140722335328808 140722335328808 140722335334378 0
/proc/39718/statm: 2367323 2003802 2560 1147 0 2354750 0
Current children cumulated CPU time: 3572.75 s
Current children cumulated vsize: 9473484 KiB
Current children cumulated memory: 8018280 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.60 4.25 4.18 5/254 39974
/proc/meminfo: memFree=115804492/131382120 swapFree=33010160/33010684
[pid=39702] ppid=39696 vsize=4192 memory=3072 CPUtime=0.21 cores=4,6
/proc/39702/stat : 39702 (run-opt-ls.sh) S 39696 39702 39312 0 -1 4194304 237 10640 0 0 0 0 17 4 20 0 1 0 46577810 4292608 768 18446744073709551615 94803378507776 94803379402309 140728349113424 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94803379641360 94803379689104 94803402833920 140728349120871 140728349120997 140728349120997 140728349126599 0
/proc/39702/statm: 1048 768 704 219 0 110 0
[pid=39718] ppid=39702 vsize=9471732 memory=8037908 CPUtime=3599.88 cores=4,6
/proc/39718/stat : 39718 (roundingsat) R 39702 39702 39312 0 -1 4194304 1654623 0 0 0 356447 3541 0 0 20 0 1 0 46577836 9699053568 2009477 18446744073709551615 4227072 8923433 140722335321600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140722335328582 140722335328808 140722335328808 140722335334378 0
/proc/39718/statm: 2367933 2009477 2560 1147 0 2355360 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 9475924 KiB
Current children cumulated memory: 8040980 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.71 s]
# the end of solver process 39702 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.179922 s, system=0.050846 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3611.92 s]
# the end of solver process 39718 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3566.64 s, system=35.6913 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+3610.4 s]
/proc/loadavg: 4.60 4.25 4.18 5/253 39979
/proc/meminfo: memFree=115804500/131382120 swapFree=33010160/33010684
[pid=39718] ppid=39696 vsize=9471732 memory=8037908 CPUtime=3600.58 cores=4,6
/proc/39718/stat : 39718 (roundingsat) R 39696 39702 39312 0 -1 4194304 1654623 0 0 0 356517 3541 0 0 20 0 1 0 46577836 9699053568 2009477 18446744073709551615 4227072 8923433 140722335321600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140722335328582 140722335328808 140722335328808 140722335334378 0
/proc/39718/statm: 2367933 2009477 2560 1147 0 2355360 0
Current cumulated CPU time of completed processes: 0.230768 s
Current children cumulated CPU time: 3600.58 s
Current children cumulated vsize: 9471732 KiB
Current children cumulated memory: 8037908 KiB
[startup+3611.2 s]
/proc/loadavg: 4.55 4.25 4.18 4/248 39987
/proc/meminfo: memFree=116537124/131382120 swapFree=33010160/33010684
[pid=39718] ppid=39696 vsize=9471732 memory=8037908 CPUtime=3601.37 cores=4,6
/proc/39718/stat : 39718 (roundingsat) R 39696 39702 39312 0 -1 4194304 1654623 0 0 0 356596 3541 0 0 20 0 1 0 46577836 9699053568 2009477 18446744073709551615 4227072 8923433 140722335321600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140722335328582 140722335328808 140722335328808 140722335334378 0
/proc/39718/statm: 2367933 2009477 2560 1147 0 2355360 0
Current cumulated CPU time of completed processes: 0.230768 s
Current children cumulated CPU time: 3601.37 s
Current children cumulated vsize: 9471732 KiB
Current children cumulated memory: 8037908 KiB
[startup+3611.6 s]
/proc/loadavg: 4.55 4.25 4.18 4/248 39987
/proc/meminfo: memFree=116537124/131382120 swapFree=33010160/33010684
[pid=39718] ppid=39696 vsize=9471732 memory=8037908 CPUtime=3601.78 cores=4,6
/proc/39718/stat : 39718 (roundingsat) R 39696 39702 39312 0 -1 4194304 1654623 0 0 0 356636 3542 0 0 20 0 1 0 46577836 9699053568 2009477 18446744073709551615 4227072 8923433 140722335321600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140722335328582 140722335328808 140722335328808 140722335334378 0
/proc/39718/statm: 2367933 2009477 2560 1147 0 2355360 0
Current cumulated CPU time of completed processes: 0.230768 s
Current children cumulated CPU time: 3601.78 s
Current children cumulated vsize: 9471732 KiB
Current children cumulated memory: 8037908 KiB
[startup+3611.7 s]
/proc/loadavg: 4.55 4.25 4.18 4/248 39987
/proc/meminfo: memFree=116537124/131382120 swapFree=33010160/33010684
[pid=39718] ppid=39696 vsize=9471732 memory=8037908 CPUtime=3601.88 cores=4,6
/proc/39718/stat : 39718 (roundingsat) R 39696 39702 39312 0 -1 4194304 1654623 0 0 0 356646 3542 0 0 20 0 1 0 46577836 9699053568 2009477 18446744073709551615 4227072 8923433 140722335321600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140722335328582 140722335328808 140722335328808 140722335334378 0
/proc/39718/statm: 2367933 2009477 2560 1147 0 2355360 0
Current cumulated CPU time of completed processes: 0.230768 s
Current children cumulated CPU time: 3601.88 s
Current children cumulated vsize: 9471732 KiB
Current children cumulated memory: 8037908 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.92
CPU time (s): 3602.33
CPU user time (s): 3566.64
CPU system time (s): 35.6913
CPU usage (%): 99.7346
Max. virtual memory (cumulated for all children) (KiB): 9475924
Max. memory (cumulated for all children) (KiB): 8040980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3566.64
system time used= 35.6913
maximum resident set size= 8037908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1665500
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 425
involuntary context switches= 2267
# summary of solver processes directly reported to runsolver:
# pid: 39702,39718
# total CPU time (s): 3602.33
# total CPU user time (s): 3566.64
# total CPU system time (s): 35.6913
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.659 second user time and 37.1055 second system time
The end
Begin job on nodeC008 at 2025-06-30 20:43:07
IDJOB=4485598
IDBENCH=146803
IDSOLVER=3355
FILE ID=nodeC008/4485598-1751308987
RUNJOBID= nodeC008-1751305374-39323
SLURM_JOB_ID= 9594303
Free space on /tmp= 433012 MiB
SOLVER NAME= roundingsat-ls+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core2536-691.opb
COMMAND LINE= run-opt-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485598-1751308987/watcher-4485598-1751308987 -o /tmp/evaluation-result-4485598-1751308987/solver-4485598-1751308987 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751305374-39323 --watchdog 3760 run-opt-ls.sh HOME/instance-4485598-1751308987.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 03ae34be4b84b00f7c0b95d73cb9483d
RANDOM SEED=462394830
nodeC008 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3492.141
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
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 : 0xb00001f
cpu MHz : 1197.215
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
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 : 0xb00001f
cpu MHz : 1197.207
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
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 : 0xb00001f
cpu MHz : 1197.092
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
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 : 0xb00001f
cpu MHz : 1496.510
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
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 : 0xb00001f
cpu MHz : 1995.296
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
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 : 0xb00001f
cpu MHz : 1197.405
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
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 : 0xb00001f
cpu MHz : 1197.578
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 130131572 kB
MemAvailable: 129882484 kB
Buffers: 2144 kB
Cached: 561328 kB
SwapCached: 16 kB
Active: 333024 kB
Inactive: 345164 kB
Active(anon): 95960 kB
Inactive(anon): 36720 kB
Active(file): 237064 kB
Inactive(file): 308444 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 19572 kB
Writeback: 0 kB
AnonPages: 117820 kB
Mapped: 103392 kB
Shmem: 17920 kB
KReclaimable: 90064 kB
Slab: 171736 kB
SReclaimable: 90064 kB
SUnreclaim: 81672 kB
KernelStack: 3968 kB
PageTables: 3128 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 406264 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149352 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 26624 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432988 MiB
End job on nodeC008 at 2025-06-30 21:43:19