0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.08/0.15 c [STEP] preprocessing with Papilo
0.19/0.23 c [STEP] solving with SCIP
299.46/300.38 c [STEP] preprocessing done, loading into solver
299.57/300.42 c [STEP] solving
299.57/300.42 c #variables 24546 #constraints 4552
299.57/300.42 c SMALL=int, LARGE=long long
299.57/300.42 d SCIPUB 1475
299.57/300.42 c bounds - >= 0 @ 299.439
299.57/300.42 c stratification level: 1
300.96/301.89 c bounds - >= 40 @ 299.867
300.96/301.89 c bounds - >= 42 @ 299.871
300.96/301.89 c bounds - >= 44 @ 299.874
300.96/301.89 c bounds - >= 46 @ 299.878
300.96/301.89 c bounds - >= 47 @ 299.881
300.96/301.89 c bounds - >= 49 @ 299.885
300.96/301.89 c bounds - >= 51 @ 299.889
300.96/301.89 c bounds - >= 53 @ 299.892
300.96/301.89 c bounds - >= 54 @ 299.895
300.96/301.89 c bounds - >= 55 @ 299.899
300.96/301.89 c bounds - >= 56 @ 299.902
300.96/301.89 c bounds - >= 58 @ 299.905
300.96/301.89 c bounds - >= 60 @ 299.908
300.96/301.89 c bounds - >= 61 @ 299.911
300.96/301.89 c bounds - >= 63 @ 299.914
300.96/301.89 c bounds - >= 64 @ 299.918
300.96/301.89 c bounds - >= 65 @ 299.921
300.96/301.89 c bounds - >= 67 @ 299.924
300.96/301.89 c bounds - >= 68 @ 299.927
300.96/301.89 c bounds - >= 69 @ 299.93
300.96/301.89 c bounds - >= 71 @ 299.933
300.96/301.89 c bounds - >= 73 @ 299.936
300.96/301.89 c bounds - >= 75 @ 299.94
300.96/301.89 c bounds - >= 77 @ 299.944
300.96/301.89 c bounds - >= 79 @ 299.947
300.96/301.89 c bounds - >= 80 @ 299.951
300.96/301.89 c bounds - >= 82 @ 299.955
300.96/301.89 c bounds - >= 83 @ 299.958
300.96/301.89 c bounds - >= 85 @ 299.96
300.96/301.89 c bounds - >= 87 @ 299.963
300.96/301.89 c bounds - >= 89 @ 299.966
300.96/301.89 c bounds - >= 90 @ 299.97
300.96/301.89 c bounds - >= 92 @ 299.972
300.96/301.89 c bounds - >= 94 @ 299.977
300.96/301.89 c bounds - >= 96 @ 299.981
300.96/301.89 c bounds - >= 98 @ 299.984
300.96/301.89 c bounds - >= 99 @ 299.988
300.96/301.89 c bounds - >= 101 @ 299.992
300.96/301.89 c bounds - >= 102 @ 299.995
300.96/301.89 c bounds - >= 104 @ 299.999
300.96/301.89 c bounds - >= 106 @ 300.003
300.96/301.89 c bounds - >= 108 @ 300.006
300.96/301.89 c bounds - >= 109 @ 300.011
300.96/301.89 c bounds - >= 110 @ 300.016
300.96/301.89 c bounds - >= 112 @ 300.021
300.96/301.89 c bounds - >= 114 @ 300.025
300.96/301.89 c bounds - >= 116 @ 300.029
300.96/301.89 c bounds - >= 118 @ 300.032
300.96/301.89 c bounds - >= 120 @ 300.036
300.96/301.89 c bounds - >= 121 @ 300.039
300.96/301.89 c bounds - >= 123 @ 300.042
300.96/301.89 c bounds - >= 124 @ 300.046
300.96/301.89 c bounds - >= 126 @ 300.051
300.96/301.89 c bounds - >= 128 @ 300.056
300.96/301.89 c bounds - >= 130 @ 300.06
300.96/301.89 c bounds - >= 131 @ 300.065
300.96/301.89 c bounds - >= 133 @ 300.071
300.96/301.89 c bounds - >= 135 @ 300.075
300.96/301.89 c bounds - >= 137 @ 300.079
300.96/301.89 c bounds - >= 139 @ 300.084
300.96/301.89 c bounds - >= 141 @ 300.086
300.96/301.89 c bounds - >= 143 @ 300.09
300.96/301.89 c bounds - >= 144 @ 300.094
300.96/301.89 c bounds - >= 145 @ 300.098
300.96/301.89 c bounds - >= 146 @ 300.1
300.96/301.89 c bounds - >= 148 @ 300.104
300.96/301.89 c bounds - >= 150 @ 300.106
300.96/301.89 c bounds - >= 152 @ 300.111
300.96/301.89 c bounds - >= 154 @ 300.114
300.96/301.89 c bounds - >= 156 @ 300.119
300.96/301.89 c bounds - >= 157 @ 300.121
300.96/301.89 c bounds - >= 158 @ 300.125
300.96/301.89 c bounds - >= 160 @ 300.13
300.96/301.89 c bounds - >= 162 @ 300.135
300.96/301.89 c bounds - >= 163 @ 300.141
300.96/301.89 c bounds - >= 164 @ 300.146
300.96/301.89 c bounds - >= 166 @ 300.15
300.96/301.89 c bounds - >= 168 @ 300.154
300.96/301.89 c bounds - >= 170 @ 300.157
300.96/301.89 c bounds - >= 171 @ 300.16
300.96/301.89 c bounds - >= 173 @ 300.165
300.96/301.89 c bounds - >= 175 @ 300.17
300.96/301.89 c bounds - >= 177 @ 300.176
300.96/301.89 c bounds - >= 179 @ 300.18
300.96/301.89 c bounds - >= 181 @ 300.184
300.96/301.89 c bounds - >= 183 @ 300.187
300.96/301.89 c bounds - >= 185 @ 300.192
300.96/301.89 c bounds - >= 187 @ 300.195
300.96/301.89 c bounds - >= 188 @ 300.2
300.96/301.89 c bounds - >= 190 @ 300.205
300.96/301.89 c bounds - >= 192 @ 300.207
300.96/301.89 c bounds - >= 193 @ 300.213
300.96/301.89 c bounds - >= 195 @ 300.218
300.96/301.89 c bounds - >= 197 @ 300.222
300.96/301.89 c bounds - >= 199 @ 300.229
300.96/301.89 c bounds - >= 201 @ 300.235
300.96/301.89 c bounds - >= 202 @ 300.241
300.96/301.89 c bounds - >= 204 @ 300.244
300.96/301.89 c bounds - >= 205 @ 300.248
300.96/301.89 c bounds - >= 206 @ 300.25
300.96/301.89 c bounds - >= 207 @ 300.255
300.96/301.89 c bounds - >= 209 @ 300.258
300.96/301.89 c bounds - >= 211 @ 300.263
300.96/301.89 c bounds - >= 212 @ 300.266
300.96/301.89 c bounds - >= 214 @ 300.271
300.96/301.89 c bounds - >= 216 @ 300.274
300.96/301.89 c bounds - >= 218 @ 300.281
300.96/301.89 c bounds - >= 219 @ 300.285
300.96/301.89 c bounds - >= 221 @ 300.289
300.96/301.89 c bounds - >= 223 @ 300.293
300.96/301.89 c bounds - >= 224 @ 300.297
300.96/301.89 c bounds - >= 225 @ 300.3
300.96/301.89 c bounds - >= 226 @ 300.306
300.96/301.89 c bounds - >= 227 @ 300.311
300.96/301.89 c bounds - >= 229 @ 300.315
300.96/301.89 c bounds - >= 230 @ 300.319
300.96/301.89 c bounds - >= 232 @ 300.323
300.96/301.89 c bounds - >= 233 @ 300.328
300.96/301.89 c bounds - >= 235 @ 300.334
300.96/301.89 c bounds - >= 237 @ 300.337
300.96/301.89 c bounds - >= 239 @ 300.341
300.96/301.89 c bounds - >= 241 @ 300.345
300.96/301.89 c bounds - >= 242 @ 300.35
300.96/301.89 c bounds - >= 244 @ 300.353
300.96/301.89 c bounds - >= 246 @ 300.356
300.96/301.89 c bounds - >= 248 @ 300.361
300.96/301.89 c bounds - >= 249 @ 300.368
300.96/301.89 c bounds - >= 250 @ 300.376
300.96/301.89 c bounds - >= 251 @ 300.381
300.96/301.89 c bounds - >= 253 @ 300.387
300.96/301.89 c bounds - >= 254 @ 300.392
300.96/301.89 c bounds - >= 255 @ 300.395
300.96/301.89 c bounds - >= 257 @ 300.399
300.96/301.89 c bounds - >= 259 @ 300.404
300.96/301.89 c bounds - >= 260 @ 300.408
300.96/301.89 c bounds - >= 261 @ 300.412
300.96/301.89 c bounds - >= 262 @ 300.416
300.96/301.89 c bounds - >= 264 @ 300.42
300.96/301.89 c bounds - >= 266 @ 300.422
300.96/301.89 c bounds - >= 268 @ 300.425
300.96/301.89 c bounds - >= 270 @ 300.431
300.96/301.89 c bounds - >= 272 @ 300.435
300.96/301.89 c bounds - >= 273 @ 300.44
300.96/301.89 c bounds - >= 275 @ 300.444
300.96/301.89 c bounds - >= 277 @ 300.45
300.96/301.89 c bounds - >= 278 @ 300.454
300.96/301.89 c bounds - >= 280 @ 300.458
300.96/301.89 c bounds - >= 281 @ 300.464
300.96/301.89 c bounds - >= 283 @ 300.472
302.46/303.30 c bounds - >= 284 @ 300.477
302.46/303.30 c bounds - >= 286 @ 300.481
302.46/303.30 c bounds - >= 288 @ 300.487
302.46/303.30 c bounds - >= 290 @ 300.492
302.46/303.30 c bounds - >= 291 @ 300.496
302.46/303.30 c bounds - >= 293 @ 300.501
302.46/303.30 c bounds - >= 295 @ 300.506
302.46/303.30 c bounds - >= 296 @ 300.512
302.46/303.30 c bounds - >= 297 @ 300.52
302.46/303.30 c bounds - >= 299 @ 300.525
302.46/303.30 c bounds - >= 301 @ 300.529
302.46/303.30 c bounds - >= 302 @ 300.532
302.46/303.30 c bounds - >= 304 @ 300.538
302.46/303.30 c bounds - >= 306 @ 300.545
302.46/303.30 c bounds - >= 308 @ 300.549
302.46/303.30 c bounds - >= 310 @ 300.553
302.46/303.30 c bounds - >= 312 @ 300.559
302.46/303.30 c bounds - >= 314 @ 300.564
302.46/303.30 c bounds - >= 316 @ 300.57
302.46/303.30 c bounds - >= 318 @ 300.576
302.46/303.30 c bounds - >= 320 @ 300.58
302.46/303.30 c bounds - >= 322 @ 300.584
302.46/303.30 c bounds - >= 323 @ 300.588
302.46/303.30 c bounds - >= 325 @ 300.593
302.46/303.30 c bounds - >= 327 @ 300.597
302.46/303.30 c bounds - >= 329 @ 300.603
302.46/303.30 c bounds - >= 331 @ 300.607
302.46/303.30 c bounds - >= 333 @ 300.611
302.46/303.30 c bounds - >= 334 @ 300.615
302.46/303.30 c bounds - >= 335 @ 300.619
302.46/303.30 c bounds - >= 337 @ 300.623
302.46/303.30 c bounds - >= 339 @ 300.627
302.46/303.30 c bounds - >= 341 @ 300.631
302.46/303.30 c bounds - >= 342 @ 300.635
302.46/303.30 c bounds - >= 344 @ 300.638
302.46/303.30 c bounds - >= 346 @ 300.642
302.46/303.30 c bounds - >= 348 @ 300.646
302.46/303.30 c bounds - >= 350 @ 300.65
302.46/303.30 c bounds - >= 351 @ 300.653
302.46/303.30 c bounds - >= 353 @ 300.657
302.46/303.30 c bounds - >= 355 @ 300.664
302.46/303.30 c bounds - >= 356 @ 300.668
302.46/303.30 c bounds - >= 358 @ 300.674
302.46/303.30 c bounds - >= 360 @ 300.678
302.46/303.30 c bounds - >= 362 @ 300.683
302.46/303.30 c bounds - >= 363 @ 300.688
302.46/303.30 c bounds - >= 365 @ 300.692
302.46/303.30 c bounds - >= 367 @ 300.698
302.46/303.30 c bounds - >= 368 @ 300.703
302.46/303.30 c bounds - >= 370 @ 300.707
302.46/303.30 c bounds - >= 372 @ 300.711
302.46/303.30 c bounds - >= 373 @ 300.715
302.46/303.30 c bounds - >= 374 @ 300.721
302.46/303.30 c bounds - >= 376 @ 300.724
302.46/303.30 c bounds - >= 377 @ 300.73
302.46/303.30 c bounds - >= 379 @ 300.735
302.46/303.30 c bounds - >= 381 @ 300.74
302.46/303.30 c bounds - >= 383 @ 300.744
302.46/303.30 c bounds - >= 385 @ 300.749
302.46/303.30 c bounds - >= 387 @ 300.754
302.46/303.30 c bounds - >= 389 @ 300.759
302.46/303.30 c bounds - >= 390 @ 300.764
302.46/303.30 c bounds - >= 392 @ 300.768
302.46/303.30 c bounds - >= 394 @ 300.772
302.46/303.30 c bounds - >= 395 @ 300.777
302.46/303.30 c bounds - >= 397 @ 300.782
302.46/303.30 c bounds - >= 398 @ 300.786
302.46/303.30 c bounds - >= 399 @ 300.792
302.46/303.30 c bounds - >= 400 @ 300.798
302.46/303.30 c bounds - >= 402 @ 300.805
302.46/303.30 c bounds - >= 403 @ 300.809
302.46/303.30 c bounds - >= 404 @ 300.813
302.46/303.30 c bounds - >= 406 @ 300.82
302.46/303.30 c bounds - >= 407 @ 300.828
302.46/303.30 c bounds - >= 409 @ 300.831
302.46/303.30 c bounds - >= 411 @ 300.837
302.46/303.30 c bounds - >= 413 @ 300.841
302.46/303.30 c bounds - >= 415 @ 300.846
302.46/303.30 c bounds - >= 416 @ 300.852
302.46/303.30 c bounds - >= 417 @ 300.858
302.46/303.30 c bounds - >= 419 @ 300.863
302.46/303.30 c bounds - >= 421 @ 300.87
302.46/303.30 c bounds - >= 422 @ 300.877
302.46/303.30 c bounds - >= 423 @ 300.881
302.46/303.30 c bounds - >= 425 @ 300.886
302.46/303.30 c bounds - >= 427 @ 300.892
302.46/303.30 c bounds - >= 429 @ 300.897
302.46/303.30 c bounds - >= 431 @ 300.905
302.46/303.30 c bounds - >= 433 @ 300.908
302.46/303.30 c bounds - >= 435 @ 300.913
302.46/303.30 c bounds - >= 436 @ 300.918
302.46/303.30 c bounds - >= 438 @ 300.923
302.46/303.30 c bounds - >= 440 @ 300.927
302.46/303.30 c bounds - >= 442 @ 300.93
302.46/303.30 c bounds - >= 444 @ 300.935
302.46/303.30 c bounds - >= 445 @ 300.941
302.46/303.30 c bounds - >= 447 @ 300.944
302.46/303.30 c bounds - >= 449 @ 300.95
302.46/303.30 c bounds - >= 451 @ 300.954
302.46/303.30 c bounds - >= 452 @ 300.957
302.46/303.30 c bounds - >= 453 @ 300.963
302.46/303.30 c bounds - >= 455 @ 300.966
302.46/303.30 c bounds - >= 457 @ 300.969
302.46/303.30 c bounds - >= 459 @ 300.974
302.46/303.30 c bounds - >= 461 @ 300.978
302.46/303.30 c bounds - >= 462 @ 300.983
302.46/303.30 c bounds - >= 464 @ 300.988
302.46/303.30 c bounds - >= 466 @ 300.993
302.46/303.30 c bounds - >= 467 @ 300.997
302.46/303.30 c bounds - >= 469 @ 301.003
302.46/303.30 c bounds - >= 470 @ 301.007
302.46/303.30 c bounds - >= 472 @ 301.012
302.46/303.30 c bounds - >= 474 @ 301.016
302.46/303.30 c bounds - >= 476 @ 301.022
302.46/303.30 c bounds - >= 478 @ 301.03
302.46/303.30 c bounds - >= 480 @ 301.037
302.46/303.30 c bounds - >= 481 @ 301.041
302.46/303.30 c bounds - >= 483 @ 301.049
302.46/303.30 c bounds - >= 484 @ 301.054
302.46/303.30 c bounds - >= 486 @ 301.059
302.46/303.30 c bounds - >= 487 @ 301.066
302.46/303.30 c bounds - >= 489 @ 301.069
302.46/303.30 c bounds - >= 491 @ 301.072
302.46/303.30 c bounds - >= 493 @ 301.077
302.46/303.30 c bounds - >= 495 @ 301.084
302.46/303.30 c bounds - >= 497 @ 301.091
302.46/303.30 c bounds - >= 499 @ 301.095
302.46/303.30 c bounds - >= 500 @ 301.105
302.46/303.30 c bounds - >= 502 @ 301.111
302.46/303.30 c bounds - >= 504 @ 301.115
302.46/303.30 c bounds - >= 505 @ 301.121
302.46/303.30 c bounds - >= 507 @ 301.126
302.46/303.30 c bounds - >= 508 @ 301.129
302.46/303.30 c bounds - >= 510 @ 301.136
302.46/303.30 c bounds - >= 511 @ 301.144
302.46/303.30 c bounds - >= 513 @ 301.149
302.46/303.30 c bounds - >= 515 @ 301.155
302.46/303.30 c bounds - >= 516 @ 301.159
302.46/303.30 c bounds - >= 518 @ 301.163
302.46/303.30 c bounds - >= 520 @ 301.172
302.46/303.30 c bounds - >= 521 @ 301.177
302.46/303.30 c bounds - >= 522 @ 301.184
302.46/303.30 c bounds - >= 523 @ 301.188
302.46/303.30 c bounds - >= 525 @ 301.194
302.46/303.30 c bounds - >= 527 @ 301.198
302.46/303.30 c bounds - >= 529 @ 301.203
302.46/303.30 c bounds - >= 531 @ 301.209
304.06/304.98 c bounds - >= 533 @ 301.212
304.06/304.98 c bounds - >= 535 @ 301.217
304.06/304.98 c bounds - >= 536 @ 301.22
304.06/304.98 c bounds - >= 538 @ 301.225
304.06/304.98 c bounds - >= 540 @ 301.228
304.06/304.98 c bounds - >= 542 @ 301.233
304.06/304.98 c bounds - >= 544 @ 301.237
304.06/304.98 c bounds - >= 546 @ 301.242
304.06/304.98 c bounds - >= 548 @ 301.246
304.06/304.98 c bounds - >= 549 @ 301.251
304.06/304.98 c bounds - >= 551 @ 301.254
304.06/304.98 c bounds - >= 552 @ 301.261
304.06/304.98 c bounds - >= 554 @ 301.269
304.06/304.98 c bounds - >= 556 @ 301.273
304.06/304.98 c bounds - >= 558 @ 301.278
304.06/304.98 c bounds - >= 560 @ 301.284
304.06/304.98 c bounds - >= 562 @ 301.29
304.06/304.98 c bounds - >= 564 @ 301.296
304.06/304.98 c bounds - >= 566 @ 301.303
304.06/304.98 c bounds - >= 568 @ 301.31
304.06/304.98 c bounds - >= 570 @ 301.315
304.06/304.98 c bounds - >= 572 @ 301.321
304.06/304.98 c bounds - >= 574 @ 301.326
304.06/304.98 c bounds - >= 575 @ 301.33
304.06/304.98 c bounds - >= 577 @ 301.334
304.06/304.98 c bounds - >= 579 @ 301.339
304.06/304.98 c bounds - >= 581 @ 301.344
304.06/304.98 c bounds - >= 583 @ 301.35
304.06/304.98 c bounds - >= 585 @ 301.354
304.06/304.98 c bounds - >= 587 @ 301.359
304.06/304.98 c bounds - >= 588 @ 301.363
304.06/304.98 c bounds - >= 590 @ 301.368
304.06/304.98 c bounds - >= 592 @ 301.372
304.06/304.98 c bounds - >= 594 @ 301.379
304.06/304.98 c bounds - >= 596 @ 301.386
304.06/304.98 c bounds - >= 598 @ 301.39
304.06/304.98 c bounds - >= 600 @ 301.397
304.06/304.98 c bounds - >= 602 @ 301.402
304.06/304.98 c bounds - >= 603 @ 301.407
304.06/304.98 c bounds - >= 605 @ 301.414
304.06/304.98 c bounds - >= 607 @ 301.42
304.06/304.98 c bounds - >= 609 @ 301.424
304.06/304.98 c bounds - >= 611 @ 301.43
304.06/304.98 c bounds - >= 613 @ 301.435
304.06/304.98 c bounds - >= 615 @ 301.441
304.06/304.98 c bounds - >= 616 @ 301.447
304.06/304.98 c bounds - >= 617 @ 301.453
304.06/304.98 c bounds - >= 619 @ 301.459
304.06/304.98 c bounds - >= 620 @ 301.464
304.06/304.98 c bounds - >= 622 @ 301.468
304.06/304.98 c bounds - >= 623 @ 301.473
304.06/304.98 c bounds - >= 624 @ 301.481
304.06/304.98 c bounds - >= 626 @ 301.488
304.06/304.98 c bounds - >= 628 @ 301.496
304.06/304.98 c bounds - >= 629 @ 301.501
304.06/304.98 c bounds - >= 631 @ 301.508
304.06/304.98 c bounds - >= 633 @ 301.513
304.06/304.98 c bounds - >= 634 @ 301.52
304.06/304.98 c bounds - >= 635 @ 301.525
304.06/304.98 c bounds - >= 636 @ 301.533
304.06/304.98 c bounds - >= 637 @ 301.539
304.06/304.98 c bounds - >= 638 @ 301.546
304.06/304.98 c bounds - >= 640 @ 301.552
304.06/304.98 c bounds - >= 641 @ 301.556
304.06/304.98 c bounds - >= 642 @ 301.562
304.06/304.98 c bounds - >= 643 @ 301.569
304.06/304.98 c bounds - >= 644 @ 301.575
304.06/304.98 c bounds - >= 645 @ 301.583
304.06/304.98 c bounds - >= 646 @ 301.588
304.06/304.98 c bounds - >= 647 @ 301.593
304.06/304.98 c bounds - >= 648 @ 301.598
304.06/304.98 c bounds - >= 649 @ 301.603
304.06/304.98 c bounds - >= 650 @ 301.609
304.06/304.98 c bounds - >= 652 @ 301.613
304.06/304.98 c bounds - >= 653 @ 301.616
304.06/304.98 c bounds - >= 654 @ 301.621
304.06/304.98 c bounds - >= 655 @ 301.627
304.06/304.98 c bounds - >= 656 @ 301.633
304.06/304.98 c bounds - >= 658 @ 301.637
304.06/304.98 c bounds - >= 659 @ 301.642
304.06/304.98 c bounds - >= 660 @ 301.645
304.06/304.98 c bounds - >= 662 @ 301.651
304.06/304.98 c bounds - >= 663 @ 301.657
304.06/304.98 c bounds - >= 665 @ 301.662
304.06/304.98 c bounds - >= 666 @ 301.666
304.06/304.98 c bounds - >= 667 @ 301.671
304.06/304.98 c bounds - >= 668 @ 301.676
304.06/304.98 c bounds - >= 669 @ 301.68
304.06/304.98 c bounds - >= 670 @ 301.687
304.06/304.98 c bounds - >= 671 @ 301.694
304.06/304.98 c bounds - >= 672 @ 301.701
304.06/304.98 c bounds - >= 673 @ 301.705
304.06/304.98 c bounds - >= 674 @ 301.711
304.06/304.98 c bounds - >= 675 @ 301.716
304.06/304.98 c bounds - >= 676 @ 301.723
304.06/304.98 c bounds - >= 677 @ 301.726
304.06/304.98 c bounds - >= 678 @ 301.729
304.06/304.98 c bounds - >= 679 @ 301.734
304.06/304.98 c bounds - >= 680 @ 301.74
304.06/304.98 c bounds - >= 681 @ 301.744
304.06/304.98 c bounds - >= 682 @ 301.748
304.06/304.98 c bounds - >= 683 @ 301.753
304.06/304.98 c bounds - >= 684 @ 301.757
304.06/304.98 c bounds - >= 685 @ 301.76
304.06/304.98 c bounds - >= 686 @ 301.765
304.06/304.98 c bounds - >= 687 @ 301.771
304.06/304.98 c bounds - >= 688 @ 301.777
304.06/304.98 c bounds - >= 689 @ 301.784
304.06/304.98 c bounds - >= 690 @ 301.791
304.06/304.98 c bounds - >= 691 @ 301.795
304.06/304.98 c bounds - >= 692 @ 301.801
304.06/304.98 c bounds - >= 693 @ 301.805
304.06/304.98 c bounds - >= 694 @ 301.812
304.06/304.98 c bounds - >= 695 @ 301.818
304.06/304.98 c bounds - >= 696 @ 301.824
304.06/304.98 c bounds - >= 697 @ 301.829
304.06/304.98 c bounds - >= 698 @ 301.832
304.06/304.98 c bounds - >= 699 @ 301.836
304.06/304.98 c bounds - >= 700 @ 301.84
304.06/304.98 c bounds - >= 701 @ 301.844
304.06/304.98 c bounds - >= 702 @ 301.854
304.06/304.98 c bounds - >= 703 @ 301.861
304.06/304.98 c bounds - >= 704 @ 301.868
304.06/304.98 c bounds - >= 705 @ 301.875
304.06/304.98 c bounds - >= 706 @ 301.88
304.06/304.98 c bounds - >= 707 @ 301.886
304.06/304.98 c bounds - >= 708 @ 301.891
304.06/304.98 c bounds - >= 709 @ 301.897
304.06/304.98 c bounds - >= 710 @ 301.904
304.06/304.98 c bounds - >= 711 @ 301.911
304.06/304.98 c bounds - >= 712 @ 301.915
304.06/304.98 c bounds - >= 713 @ 301.919
304.06/304.98 c bounds - >= 714 @ 301.926
304.06/304.98 c bounds - >= 715 @ 301.932
304.06/304.98 c bounds - >= 716 @ 301.937
304.06/304.98 c bounds - >= 717 @ 301.944
304.06/304.98 c bounds - >= 718 @ 301.948
304.06/304.98 c bounds - >= 719 @ 301.956
304.06/304.98 c bounds - >= 720 @ 301.963
304.06/304.98 c bounds - >= 721 @ 301.966
304.06/304.98 c bounds - >= 722 @ 301.969
304.06/304.98 c bounds - >= 723 @ 301.977
304.06/304.98 c bounds - >= 724 @ 301.981
304.06/304.98 c bounds - >= 725 @ 301.986
304.06/304.98 c bounds - >= 726 @ 301.992
304.06/304.98 c bounds - >= 727 @ 301.995
306.16/307.09 c bounds - >= 728 @ 302.005
306.16/307.09 c bounds - >= 729 @ 302.009
306.16/307.09 c bounds - >= 730 @ 302.016
306.16/307.09 c bounds - >= 731 @ 302.021
306.16/307.09 c bounds - >= 732 @ 302.025
306.16/307.09 c bounds - >= 733 @ 302.03
306.16/307.09 c bounds - >= 734 @ 302.035
306.16/307.09 c bounds - >= 735 @ 302.041
306.16/307.09 c bounds - >= 736 @ 302.048
306.16/307.09 c bounds - >= 737 @ 302.053
306.16/307.09 c bounds - >= 738 @ 302.057
306.16/307.09 c bounds - >= 739 @ 302.062
306.16/307.09 c bounds - >= 740 @ 302.068
306.16/307.09 c bounds - >= 741 @ 302.075
306.16/307.09 c bounds - >= 742 @ 302.082
306.16/307.09 c bounds - >= 743 @ 302.088
306.16/307.09 c bounds - >= 744 @ 302.093
306.16/307.09 c bounds - >= 745 @ 302.099
306.16/307.09 c bounds - >= 746 @ 302.102
306.16/307.09 c bounds - >= 747 @ 302.109
306.16/307.09 c bounds - >= 748 @ 302.113
306.16/307.09 c bounds - >= 749 @ 302.122
306.16/307.09 c bounds - >= 750 @ 302.127
306.16/307.09 c bounds - >= 751 @ 302.135
306.16/307.09 c bounds - >= 752 @ 302.143
306.16/307.09 c bounds - >= 753 @ 302.148
306.16/307.09 c bounds - >= 754 @ 302.152
306.16/307.09 c bounds - >= 755 @ 302.16
306.16/307.09 c bounds - >= 756 @ 302.166
306.16/307.09 c bounds - >= 757 @ 302.172
306.16/307.09 c bounds - >= 758 @ 302.18
306.16/307.09 c bounds - >= 759 @ 302.186
306.16/307.09 c bounds - >= 760 @ 302.19
306.16/307.09 c bounds - >= 761 @ 302.196
306.16/307.09 c bounds - >= 762 @ 302.203
306.16/307.09 c bounds - >= 763 @ 302.21
306.16/307.09 c bounds - >= 764 @ 302.216
306.16/307.09 c bounds - >= 765 @ 302.223
306.16/307.09 c bounds - >= 766 @ 302.228
306.16/307.09 c bounds - >= 767 @ 302.234
306.16/307.09 c bounds - >= 768 @ 302.241
306.16/307.09 c bounds - >= 769 @ 302.247
306.16/307.09 c bounds - >= 770 @ 302.251
306.16/307.09 c bounds - >= 771 @ 302.256
306.16/307.09 c bounds - >= 772 @ 302.26
306.16/307.09 c bounds - >= 773 @ 302.267
306.16/307.09 c bounds - >= 774 @ 302.274
306.16/307.09 c bounds - >= 775 @ 302.28
306.16/307.09 c bounds - >= 776 @ 302.287
306.16/307.09 c bounds - >= 777 @ 302.294
306.16/307.09 c bounds - >= 778 @ 302.3
306.16/307.09 c bounds - >= 779 @ 302.305
306.16/307.09 c bounds - >= 780 @ 302.311
306.16/307.09 c bounds - >= 781 @ 302.316
306.16/307.09 c bounds - >= 782 @ 302.321
306.16/307.09 c bounds - >= 783 @ 302.327
306.16/307.09 c bounds - >= 784 @ 302.333
306.16/307.09 c bounds - >= 785 @ 302.34
306.16/307.09 c bounds - >= 786 @ 302.35
306.16/307.09 c bounds - >= 787 @ 302.354
306.16/307.09 c bounds - >= 788 @ 302.358
306.16/307.09 c bounds - >= 789 @ 302.365
306.16/307.09 c bounds - >= 790 @ 302.371
306.16/307.09 c bounds - >= 791 @ 302.379
306.16/307.09 c bounds - >= 792 @ 302.385
306.16/307.09 c bounds - >= 793 @ 302.392
306.16/307.09 c bounds - >= 794 @ 302.397
306.16/307.09 c bounds - >= 795 @ 302.405
306.16/307.09 c bounds - >= 796 @ 302.414
306.16/307.09 c bounds - >= 797 @ 302.422
306.16/307.09 c bounds - >= 798 @ 302.426
306.16/307.09 c bounds - >= 799 @ 302.432
306.16/307.09 c bounds - >= 800 @ 302.438
306.16/307.09 c bounds - >= 801 @ 302.447
306.16/307.09 c bounds - >= 802 @ 302.453
306.16/307.09 c bounds - >= 803 @ 302.46
306.16/307.09 c bounds - >= 804 @ 302.465
306.16/307.09 c bounds - >= 805 @ 302.475
306.16/307.09 c bounds - >= 806 @ 302.484
306.16/307.09 c bounds - >= 807 @ 302.489
306.16/307.09 c bounds - >= 808 @ 302.495
306.16/307.09 c bounds - >= 809 @ 302.504
306.16/307.09 c bounds - >= 810 @ 302.508
306.16/307.09 c bounds - >= 811 @ 302.513
306.16/307.09 c bounds - >= 812 @ 302.521
306.16/307.09 c bounds - >= 813 @ 302.531
306.16/307.09 c bounds - >= 814 @ 302.539
306.16/307.09 c bounds - >= 815 @ 302.544
306.16/307.09 c bounds - >= 816 @ 302.548
306.16/307.09 c bounds - >= 817 @ 302.554
306.16/307.09 c bounds - >= 818 @ 302.559
306.16/307.09 c bounds - >= 819 @ 302.57
306.16/307.09 c bounds - >= 820 @ 302.577
306.16/307.09 c bounds - >= 821 @ 302.584
306.16/307.09 c bounds - >= 822 @ 302.59
306.16/307.09 c bounds - >= 823 @ 302.595
306.16/307.09 c bounds - >= 824 @ 302.603
306.16/307.09 c bounds - >= 825 @ 302.611
306.16/307.09 c bounds - >= 826 @ 302.617
306.16/307.09 c bounds - >= 827 @ 302.622
306.16/307.09 c bounds - >= 828 @ 302.628
306.16/307.09 c bounds - >= 829 @ 302.637
306.16/307.09 c bounds - >= 830 @ 302.643
306.16/307.09 c bounds - >= 831 @ 302.649
306.16/307.09 c bounds - >= 832 @ 302.655
306.16/307.09 c bounds - >= 833 @ 302.661
306.16/307.09 c bounds - >= 834 @ 302.667
306.16/307.09 c bounds - >= 835 @ 302.674
306.16/307.09 c bounds - >= 836 @ 302.679
306.16/307.09 c bounds - >= 837 @ 302.687
306.16/307.09 c bounds - >= 838 @ 302.692
306.16/307.09 c bounds - >= 839 @ 302.696
306.16/307.09 c bounds - >= 840 @ 302.703
306.16/307.09 c bounds - >= 841 @ 302.711
306.16/307.09 c bounds - >= 842 @ 302.719
306.16/307.09 c bounds - >= 843 @ 302.727
306.16/307.09 c bounds - >= 844 @ 302.734
306.16/307.09 c bounds - >= 845 @ 302.742
306.16/307.09 c bounds - >= 846 @ 302.746
306.16/307.09 c bounds - >= 847 @ 302.755
306.16/307.09 c bounds - >= 848 @ 302.761
306.16/307.09 c bounds - >= 849 @ 302.767
306.16/307.09 c bounds - >= 850 @ 302.775
306.16/307.09 c bounds - >= 851 @ 302.782
306.16/307.09 c bounds - >= 852 @ 302.789
306.16/307.09 c bounds - >= 853 @ 302.794
306.16/307.09 c bounds - >= 854 @ 302.801
306.16/307.09 c bounds - >= 855 @ 302.81
306.16/307.09 c bounds - >= 856 @ 302.816
306.16/307.09 c bounds - >= 857 @ 302.822
306.16/307.09 c bounds - >= 858 @ 302.829
306.16/307.09 c bounds - >= 859 @ 302.836
306.16/307.09 c bounds - >= 860 @ 302.843
306.16/307.09 c bounds - >= 861 @ 302.847
306.16/307.09 c bounds - >= 862 @ 302.856
306.16/307.09 c bounds - >= 863 @ 302.865
306.16/307.09 c bounds - >= 864 @ 302.868
306.16/307.09 c bounds - >= 865 @ 302.874
306.16/307.09 c bounds - >= 866 @ 302.882
306.16/307.09 c bounds - >= 867 @ 302.887
306.16/307.09 c bounds - >= 868 @ 302.893
306.16/307.09 c bounds - >= 869 @ 302.9
306.16/307.09 c bounds - >= 870 @ 302.905
306.16/307.09 c bounds - >= 871 @ 302.91
306.16/307.09 c bounds - >= 872 @ 302.916
306.16/307.09 c bounds - >= 873 @ 302.921
306.16/307.09 c bounds - >= 874 @ 302.929
308.55/309.40 c bounds - >= 875 @ 302.934
308.55/309.40 c bounds - >= 876 @ 302.942
308.55/309.40 c bounds - >= 877 @ 302.949
308.55/309.40 c bounds - >= 878 @ 302.959
308.55/309.40 c bounds - >= 879 @ 302.964
308.55/309.40 c bounds - >= 880 @ 302.971
308.55/309.40 c bounds - >= 881 @ 302.979
308.55/309.40 c bounds - >= 882 @ 302.984
308.55/309.40 c bounds - >= 883 @ 302.991
308.55/309.40 c bounds - >= 884 @ 302.998
308.55/309.40 c bounds - >= 885 @ 303.003
308.55/309.40 c bounds - >= 886 @ 303.009
308.55/309.40 c bounds - >= 887 @ 303.015
308.55/309.40 c bounds - >= 888 @ 303.022
308.55/309.40 c bounds - >= 889 @ 303.03
308.55/309.40 c bounds - >= 890 @ 303.035
308.55/309.40 c bounds - >= 891 @ 303.04
308.55/309.40 c bounds - >= 892 @ 303.047
308.55/309.40 c bounds - >= 893 @ 303.056
308.55/309.40 c bounds - >= 894 @ 303.063
308.55/309.40 c bounds - >= 895 @ 303.071
308.55/309.40 c bounds - >= 896 @ 303.077
308.55/309.40 c bounds - >= 897 @ 303.085
308.55/309.40 c bounds - >= 898 @ 303.091
308.55/309.40 c bounds - >= 899 @ 303.096
308.55/309.40 c bounds - >= 900 @ 303.102
308.55/309.40 c bounds - >= 901 @ 303.109
308.55/309.40 c bounds - >= 902 @ 303.115
308.55/309.40 c bounds - >= 903 @ 303.123
308.55/309.40 c bounds - >= 904 @ 303.131
308.55/309.40 c bounds - >= 905 @ 303.139
308.55/309.40 c bounds - >= 906 @ 303.145
308.55/309.40 c bounds - >= 907 @ 303.154
308.55/309.40 c bounds - >= 908 @ 303.16
308.55/309.40 c bounds - >= 909 @ 303.166
308.55/309.40 c bounds - >= 910 @ 303.172
308.55/309.40 c bounds - >= 911 @ 303.18
308.55/309.40 c bounds - >= 912 @ 303.185
308.55/309.40 c bounds - >= 913 @ 303.192
308.55/309.40 c bounds - >= 914 @ 303.201
308.55/309.40 c bounds - >= 915 @ 303.206
308.55/309.40 c bounds - >= 916 @ 303.213
308.55/309.40 c bounds - >= 917 @ 303.218
308.55/309.40 c bounds - >= 918 @ 303.226
308.55/309.40 c bounds - >= 919 @ 303.232
308.55/309.40 c bounds - >= 920 @ 303.24
308.55/309.40 c bounds - >= 921 @ 303.247
308.55/309.40 c bounds - >= 922 @ 303.253
308.55/309.40 c bounds - >= 923 @ 303.26
308.55/309.40 c bounds - >= 924 @ 303.264
308.55/309.40 c bounds - >= 925 @ 303.273
308.55/309.40 c bounds - >= 926 @ 303.281
308.55/309.40 c bounds - >= 927 @ 303.29
308.55/309.40 c bounds - >= 928 @ 303.294
308.55/309.40 c bounds - >= 929 @ 303.302
308.55/309.40 c bounds - >= 930 @ 303.308
308.55/309.40 c bounds - >= 931 @ 303.315
308.55/309.40 c bounds - >= 932 @ 303.319
308.55/309.40 c bounds - >= 933 @ 303.327
308.55/309.40 c bounds - >= 934 @ 303.335
308.55/309.40 c bounds - >= 935 @ 303.341
308.55/309.40 c bounds - >= 936 @ 303.347
308.55/309.40 c bounds - >= 937 @ 303.353
308.55/309.40 c bounds - >= 938 @ 303.357
308.55/309.40 c bounds - >= 939 @ 303.363
308.55/309.40 c bounds - >= 940 @ 303.369
308.55/309.40 c bounds - >= 941 @ 303.375
308.55/309.40 c bounds - >= 942 @ 303.381
308.55/309.40 c bounds - >= 943 @ 303.389
308.55/309.40 c bounds - >= 944 @ 303.395
308.55/309.40 c bounds - >= 945 @ 303.4
308.55/309.40 c bounds - >= 946 @ 303.406
308.55/309.40 c bounds - >= 947 @ 303.412
308.55/309.40 c bounds - >= 948 @ 303.417
308.55/309.40 c bounds - >= 949 @ 303.421
308.55/309.40 c bounds - >= 950 @ 303.43
308.55/309.40 c bounds - >= 951 @ 303.44
308.55/309.40 c bounds - >= 952 @ 303.45
308.55/309.40 c bounds - >= 953 @ 303.456
308.55/309.40 c bounds - >= 954 @ 303.46
308.55/309.40 c bounds - >= 955 @ 303.465
308.55/309.40 c bounds - >= 956 @ 303.47
308.55/309.40 c bounds - >= 957 @ 303.477
308.55/309.40 c bounds - >= 958 @ 303.483
308.55/309.40 c bounds - >= 959 @ 303.49
308.55/309.40 c bounds - >= 960 @ 303.499
308.55/309.40 c bounds - >= 961 @ 303.507
308.55/309.40 c bounds - >= 962 @ 303.515
308.55/309.40 c bounds - >= 963 @ 303.521
308.55/309.40 c bounds - >= 964 @ 303.526
308.55/309.40 c bounds - >= 965 @ 303.533
308.55/309.40 c bounds - >= 966 @ 303.54
308.55/309.40 c bounds - >= 967 @ 303.544
308.55/309.40 c bounds - >= 968 @ 303.553
308.55/309.40 c bounds - >= 969 @ 303.561
308.55/309.40 c bounds - >= 970 @ 303.568
308.55/309.40 c bounds - >= 971 @ 303.572
308.55/309.40 c bounds - >= 972 @ 303.578
308.55/309.40 c bounds - >= 973 @ 303.587
308.55/309.40 c bounds - >= 974 @ 303.596
308.55/309.40 c bounds - >= 975 @ 303.605
308.55/309.40 c bounds - >= 976 @ 303.612
308.55/309.40 c bounds - >= 977 @ 303.619
308.55/309.40 c bounds - >= 978 @ 303.623
308.55/309.40 c bounds - >= 979 @ 303.631
308.55/309.40 c bounds - >= 980 @ 303.641
308.55/309.40 c bounds - >= 981 @ 303.648
308.55/309.40 c bounds - >= 982 @ 303.655
308.55/309.40 c bounds - >= 983 @ 303.663
308.55/309.40 c bounds - >= 984 @ 303.671
308.55/309.40 c bounds - >= 985 @ 303.677
308.55/309.40 c bounds - >= 986 @ 303.682
308.55/309.40 c bounds - >= 987 @ 303.689
308.55/309.40 c bounds - >= 988 @ 303.695
308.55/309.40 c bounds - >= 989 @ 303.7
308.55/309.40 c bounds - >= 990 @ 303.707
308.55/309.40 c bounds - >= 991 @ 303.716
308.55/309.40 c bounds - >= 992 @ 303.725
308.55/309.40 c bounds - >= 993 @ 303.735
308.55/309.40 c bounds - >= 994 @ 303.741
308.55/309.40 c bounds - >= 995 @ 303.751
308.55/309.40 c bounds - >= 996 @ 303.759
308.55/309.40 c bounds - >= 997 @ 303.766
308.55/309.40 c bounds - >= 998 @ 303.771
308.55/309.40 c bounds - >= 999 @ 303.78
308.55/309.40 c bounds - >= 1000 @ 303.79
308.55/309.40 c bounds - >= 1001 @ 303.798
308.55/309.40 c bounds - >= 1002 @ 303.804
308.55/309.40 c bounds - >= 1003 @ 303.81
308.55/309.40 c bounds - >= 1004 @ 303.817
308.55/309.40 c bounds - >= 1005 @ 303.825
308.55/309.40 c bounds - >= 1006 @ 303.836
308.55/309.40 c bounds - >= 1007 @ 303.844
308.55/309.40 c bounds - >= 1008 @ 303.85
308.55/309.40 c bounds - >= 1009 @ 303.857
308.55/309.40 c bounds - >= 1010 @ 303.864
308.55/309.40 c bounds - >= 1011 @ 303.872
308.55/309.40 c bounds - >= 1012 @ 303.881
308.55/309.40 c bounds - >= 1013 @ 303.885
308.55/309.40 c bounds - >= 1014 @ 303.892
308.55/309.40 c bounds - >= 1015 @ 303.898
308.55/309.40 c bounds - >= 1016 @ 303.904
308.55/309.40 c bounds - >= 1017 @ 303.91
308.55/309.40 c bounds - >= 1018 @ 303.917
308.55/309.40 c bounds - >= 1019 @ 303.923
308.55/309.40 c bounds - >= 1020 @ 303.928
308.55/309.40 c bounds - >= 1021 @ 303.935
773.68/775.95 c bounds - >= 1022 @ 303.943
773.68/775.95 c bounds - >= 1023 @ 303.952
773.68/775.95 c bounds - >= 1024 @ 303.958
773.68/775.95 c bounds - >= 1025 @ 303.963
773.68/775.95 c bounds - >= 1026 @ 303.97
773.68/775.95 c bounds - >= 1027 @ 303.977
773.68/775.95 c bounds - >= 1028 @ 303.98
773.68/775.95 c bounds - >= 1029 @ 303.989
773.68/775.95 c bounds - >= 1030 @ 303.993
773.68/775.95 c bounds - >= 1031 @ 304
773.68/775.95 c bounds - >= 1032 @ 304.006
773.68/775.95 c #Conflicts: 1000 | #Constraints: 6325
773.68/775.95 c #Conflicts: 2000 | #Constraints: 7325
773.68/775.95 c INPROCESSING
773.68/775.95 c GARBAGE COLLECT
773.68/775.95 c #Conflicts: 3000 | #Constraints: 6706
773.68/775.95 c #Conflicts: 4000 | #Constraints: 7706
773.68/775.95 c INPROCESSING
773.68/775.95 c GARBAGE COLLECT
773.68/775.95 c #Conflicts: 5000 | #Constraints: 7093
773.68/775.95 c #Conflicts: 6000 | #Constraints: 8093
773.68/775.95 c INPROCESSING
773.68/775.95 c GARBAGE COLLECT
773.68/775.95 c #Conflicts: 7000 | #Constraints: 7107
773.68/775.95 c #Conflicts: 8000 | #Constraints: 8107
773.68/775.95 c #Conflicts: 9000 | #Constraints: 9107
773.68/775.95 c INPROCESSING
773.68/775.95 c GARBAGE COLLECT
773.68/775.95 c #Conflicts: 10000 | #Constraints: 7803
773.68/775.95 c #Conflicts: 11000 | #Constraints: 8803
773.68/775.95 c #Conflicts: 12000 | #Constraints: 9803
773.68/775.95 c INPROCESSING
773.68/775.95 c GARBAGE COLLECT
773.68/775.95 c #Conflicts: 13000 | #Constraints: 8263
773.68/775.95 c #Conflicts: 14000 | #Constraints: 9263
773.68/775.95 c #Conflicts: 15000 | #Constraints: 10263
773.68/775.95 c INPROCESSING
773.68/775.95 c GARBAGE COLLECT
773.68/775.95 c #Conflicts: 16000 | #Constraints: 8489
773.68/775.95 c #Conflicts: 17000 | #Constraints: 9489
773.68/775.95 c #Conflicts: 18000 | #Constraints: 10489
773.68/775.95 c INPROCESSING
773.68/775.95 c GARBAGE COLLECT
773.68/775.95 c #Conflicts: 19000 | #Constraints: 8521
773.68/775.95 c #Conflicts: 20000 | #Constraints: 9521
773.68/775.95 c #Conflicts: 21000 | #Constraints: 10521
773.68/775.95 c INPROCESSING
773.68/775.95 c GARBAGE COLLECT
773.68/775.95 c #Conflicts: 22000 | #Constraints: 8319
773.68/775.95 c #Conflicts: 23000 | #Constraints: 9319
773.68/775.95 c #Conflicts: 24000 | #Constraints: 10319
773.68/775.95 c #Conflicts: 25000 | #Constraints: 11319
773.68/775.95 c INPROCESSING
773.68/775.95 c GARBAGE COLLECT
773.68/775.95 c #Conflicts: 26000 | #Constraints: 8923
773.68/775.95 c #Conflicts: 27000 | #Constraints: 9923
773.68/775.95 c #Conflicts: 28000 | #Constraints: 10923
773.68/775.95 c #Conflicts: 29000 | #Constraints: 11923
773.68/775.95 c INPROCESSING
773.68/775.95 c GARBAGE COLLECT
773.68/775.95 c #Conflicts: 30000 | #Constraints: 9323
773.68/775.95 c #Conflicts: 31000 | #Constraints: 10323
773.68/775.95 c #Conflicts: 32000 | #Constraints: 11323
773.68/775.95 c #Conflicts: 33000 | #Constraints: 12323
773.68/775.95 c INPROCESSING
773.68/775.95 c GARBAGE COLLECT
773.68/775.95 c #Conflicts: 34000 | #Constraints: 9527
773.68/775.95 c #Conflicts: 35000 | #Constraints: 10527
773.68/775.95 c #Conflicts: 36000 | #Constraints: 11527
773.68/775.95 c #Conflicts: 37000 | #Constraints: 12527
773.68/775.95 c INPROCESSING
773.68/775.95 c GARBAGE COLLECT
773.68/775.95 c #Conflicts: 38000 | #Constraints: 9531
773.68/775.95 c #Conflicts: 39000 | #Constraints: 10531
773.68/775.95 c #Conflicts: 40000 | #Constraints: 11531
773.68/775.95 c #Conflicts: 41000 | #Constraints: 12531
773.68/775.95 c INPROCESSING
773.68/775.95 c GARBAGE COLLECT
773.68/775.95 c #Conflicts: 42000 | #Constraints: 9339
773.68/775.95 c #Conflicts: 43000 | #Constraints: 10339
773.68/775.95 c #Conflicts: 44000 | #Constraints: 11339
773.68/775.95 c #Conflicts: 45000 | #Constraints: 12339
773.68/775.95 c #Conflicts: 46000 | #Constraints: 13339
773.68/775.95 c INPROCESSING
773.68/775.95 c GARBAGE COLLECT
773.68/775.95 c #Conflicts: 47000 | #Constraints: 9935
773.68/775.95 c #Conflicts: 48000 | #Constraints: 10935
773.68/775.95 c #Conflicts: 49000 | #Constraints: 11935
773.68/775.95 c #Conflicts: 50000 | #Constraints: 12935
773.68/775.95 c #Conflicts: 51000 | #Constraints: 13935
773.68/775.95 c INPROCESSING
773.68/775.95 c GARBAGE COLLECT
773.68/775.95 c #Conflicts: 52000 | #Constraints: 10338
773.68/775.95 c #Conflicts: 53000 | #Constraints: 11338
773.68/775.95 c #Conflicts: 54000 | #Constraints: 12338
773.68/775.95 c #Conflicts: 55000 | #Constraints: 13338
773.68/775.95 c #Conflicts: 56000 | #Constraints: 14338
773.68/775.95 c INPROCESSING
773.68/775.95 c GARBAGE COLLECT
773.68/775.95 c #Conflicts: 57000 | #Constraints: 10544
773.68/775.95 c #Conflicts: 58000 | #Constraints: 11544
773.68/775.95 c #Conflicts: 59000 | #Constraints: 12544
773.68/775.95 c #Conflicts: 60000 | #Constraints: 13544
773.68/775.95 c #Conflicts: 61000 | #Constraints: 14544
773.68/775.95 c INPROCESSING
773.68/775.95 c GARBAGE COLLECT
773.68/775.95 c #Conflicts: 62000 | #Constraints: 10552
1425.68/1429.99 c #Conflicts: 63000 | #Constraints: 11552
1425.68/1429.99 c #Conflicts: 64000 | #Constraints: 12552
1425.68/1429.99 c #Conflicts: 65000 | #Constraints: 13552
1425.68/1429.99 c #Conflicts: 66000 | #Constraints: 14552
1425.68/1429.99 c INPROCESSING
1425.68/1429.99 c GARBAGE COLLECT
1425.68/1429.99 c #Conflicts: 67000 | #Constraints: 10376
1425.68/1429.99 c #Conflicts: 68000 | #Constraints: 11376
1425.68/1429.99 c #Conflicts: 69000 | #Constraints: 12376
1425.68/1429.99 c #Conflicts: 70000 | #Constraints: 13376
1425.68/1429.99 c #Conflicts: 71000 | #Constraints: 14376
1425.68/1429.99 c #Conflicts: 72000 | #Constraints: 15376
1425.68/1429.99 c INPROCESSING
1425.68/1429.99 c GARBAGE COLLECT
1425.68/1429.99 c #Conflicts: 73000 | #Constraints: 10999
1425.68/1429.99 c #Conflicts: 74000 | #Constraints: 11999
1425.68/1429.99 c #Conflicts: 75000 | #Constraints: 12999
1425.68/1429.99 c #Conflicts: 76000 | #Constraints: 13999
1425.68/1429.99 c #Conflicts: 77000 | #Constraints: 14999
1425.68/1429.99 c #Conflicts: 78000 | #Constraints: 15999
1425.68/1429.99 c INPROCESSING
1425.68/1429.99 c GARBAGE COLLECT
1425.68/1429.99 c #Conflicts: 79000 | #Constraints: 11428
1425.68/1429.99 c #Conflicts: 80000 | #Constraints: 12428
1425.68/1429.99 c #Conflicts: 81000 | #Constraints: 13428
1425.68/1429.99 c #Conflicts: 82000 | #Constraints: 14428
1425.68/1429.99 c #Conflicts: 83000 | #Constraints: 15428
1425.68/1429.99 c #Conflicts: 84000 | #Constraints: 16428
1425.68/1429.99 c INPROCESSING
1425.68/1429.99 c GARBAGE COLLECT
1425.68/1429.99 c #Conflicts: 85000 | #Constraints: 11657
1425.68/1429.99 c #Conflicts: 86000 | #Constraints: 12657
1425.68/1429.99 c #Conflicts: 87000 | #Constraints: 13657
1425.68/1429.99 c #Conflicts: 88000 | #Constraints: 14657
1425.68/1429.99 c #Conflicts: 89000 | #Constraints: 15657
1425.68/1429.99 c #Conflicts: 90000 | #Constraints: 16657
1425.68/1429.99 c INPROCESSING
1425.68/1429.99 c GARBAGE COLLECT
1425.68/1429.99 c #Conflicts: 91000 | #Constraints: 11666
1425.68/1429.99 c #Conflicts: 92000 | #Constraints: 12666
1425.68/1429.99 c #Conflicts: 93000 | #Constraints: 13666
1425.68/1429.99 c #Conflicts: 94000 | #Constraints: 14666
1425.68/1429.99 c #Conflicts: 95000 | #Constraints: 15666
1425.68/1429.99 c #Conflicts: 96000 | #Constraints: 16666
1425.68/1429.99 c INPROCESSING
1425.68/1429.99 c GARBAGE COLLECT
1425.68/1429.99 c #Conflicts: 97000 | #Constraints: 11482
1425.68/1429.99 c #Conflicts: 98000 | #Constraints: 12482
1425.68/1429.99 c #Conflicts: 99000 | #Constraints: 13482
1425.68/1429.99 c #Conflicts: 100000 | #Constraints: 14482
1425.68/1429.99 c #Conflicts: 101000 | #Constraints: 15482
1425.68/1429.99 c #Conflicts: 102000 | #Constraints: 16482
1425.68/1429.99 c #Conflicts: 103000 | #Constraints: 17482
1425.68/1429.99 c INPROCESSING
1425.68/1429.99 c GARBAGE COLLECT
1425.68/1429.99 c #Conflicts: 104000 | #Constraints: 12067
1425.68/1429.99 c #Conflicts: 105000 | #Constraints: 13067
1425.68/1429.99 c #Conflicts: 106000 | #Constraints: 14067
1425.68/1429.99 c #Conflicts: 107000 | #Constraints: 15067
1425.68/1429.99 c #Conflicts: 108000 | #Constraints: 16067
1425.68/1429.99 c #Conflicts: 109000 | #Constraints: 17067
1425.68/1429.99 c #Conflicts: 110000 | #Constraints: 18067
1425.68/1429.99 c INPROCESSING
1425.68/1429.99 c GARBAGE COLLECT
1425.68/1429.99 c #Conflicts: 111000 | #Constraints: 12382
1425.68/1429.99 c #Conflicts: 112000 | #Constraints: 13382
1425.68/1429.99 c #Conflicts: 113000 | #Constraints: 14382
1425.68/1429.99 c #Conflicts: 114000 | #Constraints: 15382
1425.68/1429.99 c #Conflicts: 115000 | #Constraints: 16382
1425.68/1429.99 c #Conflicts: 116000 | #Constraints: 17382
1425.68/1429.99 c #Conflicts: 117000 | #Constraints: 18382
1425.68/1429.99 c INPROCESSING
1425.68/1429.99 c GARBAGE COLLECT
1425.68/1429.99 c #Conflicts: 118000 | #Constraints: 12535
1425.68/1429.99 c #Conflicts: 119000 | #Constraints: 13535
1425.68/1429.99 c #Conflicts: 120000 | #Constraints: 14535
1425.68/1429.99 c #Conflicts: 121000 | #Constraints: 15535
1425.68/1429.99 c #Conflicts: 122000 | #Constraints: 16535
1425.68/1429.99 c #Conflicts: 123000 | #Constraints: 17535
1425.68/1429.99 c #Conflicts: 124000 | #Constraints: 18535
1425.68/1429.99 c INPROCESSING
1425.68/1429.99 c GARBAGE COLLECT
1425.68/1429.99 c #Conflicts: 125000 | #Constraints: 12510
1425.68/1429.99 c #Conflicts: 126000 | #Constraints: 13510
1425.68/1429.99 c #Conflicts: 127000 | #Constraints: 14510
1425.68/1429.99 c #Conflicts: 128000 | #Constraints: 15510
1425.68/1429.99 c #Conflicts: 129000 | #Constraints: 16510
1425.68/1429.99 c #Conflicts: 130000 | #Constraints: 17510
1425.68/1429.99 c #Conflicts: 131000 | #Constraints: 18510
1425.68/1429.99 c INPROCESSING
1425.68/1429.99 c GARBAGE COLLECT
1425.68/1429.99 c #Conflicts: 132000 | #Constraints: 12310
1425.68/1429.99 c #Conflicts: 133000 | #Constraints: 13310
1425.68/1429.99 c #Conflicts: 134000 | #Constraints: 14310
2125.36/2131.76 c #Conflicts: 135000 | #Constraints: 15310
2125.36/2131.76 c #Conflicts: 136000 | #Constraints: 16310
2125.36/2131.76 c #Conflicts: 137000 | #Constraints: 17310
2125.36/2131.76 c #Conflicts: 138000 | #Constraints: 18310
2125.36/2131.76 c #Conflicts: 139000 | #Constraints: 19310
2125.36/2131.76 c INPROCESSING
2125.36/2131.76 c GARBAGE COLLECT
2125.36/2131.76 c #Conflicts: 140000 | #Constraints: 12915
2125.36/2131.76 c #Conflicts: 141000 | #Constraints: 13915
2125.36/2131.76 c #Conflicts: 142000 | #Constraints: 14915
2125.36/2131.76 c #Conflicts: 143000 | #Constraints: 15915
2125.36/2131.76 c #Conflicts: 144000 | #Constraints: 16915
2125.36/2131.76 c #Conflicts: 145000 | #Constraints: 17915
2125.36/2131.76 c #Conflicts: 146000 | #Constraints: 18915
2125.36/2131.76 c #Conflicts: 147000 | #Constraints: 19915
2125.36/2131.76 c INPROCESSING
2125.36/2131.76 c GARBAGE COLLECT
2125.36/2131.76 c #Conflicts: 148000 | #Constraints: 13305
2125.36/2131.76 c #Conflicts: 149000 | #Constraints: 14305
2125.36/2131.76 c #Conflicts: 150000 | #Constraints: 15305
2125.36/2131.76 c #Conflicts: 151000 | #Constraints: 16305
2125.36/2131.76 c #Conflicts: 152000 | #Constraints: 17305
2125.36/2131.76 c #Conflicts: 153000 | #Constraints: 18305
2125.36/2131.76 c #Conflicts: 154000 | #Constraints: 19305
2125.36/2131.76 c #Conflicts: 155000 | #Constraints: 20305
2125.36/2131.76 c INPROCESSING
2125.36/2131.76 c GARBAGE COLLECT
2125.36/2131.76 c #Conflicts: 156000 | #Constraints: 13511
2125.36/2131.76 c #Conflicts: 157000 | #Constraints: 14511
2125.36/2131.76 c #Conflicts: 158000 | #Constraints: 15511
2125.36/2131.76 c #Conflicts: 159000 | #Constraints: 16511
2125.36/2131.76 c #Conflicts: 160000 | #Constraints: 17511
2125.36/2131.76 c #Conflicts: 161000 | #Constraints: 18511
2125.36/2131.76 c #Conflicts: 162000 | #Constraints: 19511
2125.36/2131.76 c #Conflicts: 163000 | #Constraints: 20511
2125.36/2131.76 c INPROCESSING
2125.36/2131.76 c GARBAGE COLLECT
2125.36/2131.76 c #Conflicts: 164000 | #Constraints: 13514
2125.36/2131.76 c #Conflicts: 165000 | #Constraints: 14514
2125.36/2131.76 c #Conflicts: 166000 | #Constraints: 15514
2125.36/2131.76 c #Conflicts: 167000 | #Constraints: 16514
2125.36/2131.76 c #Conflicts: 168000 | #Constraints: 17514
2125.36/2131.76 c #Conflicts: 169000 | #Constraints: 18514
2125.36/2131.76 c #Conflicts: 170000 | #Constraints: 19514
2125.36/2131.76 c #Conflicts: 171000 | #Constraints: 20514
2125.36/2131.76 c INPROCESSING
2125.36/2131.76 c GARBAGE COLLECT
2125.36/2131.76 c #Conflicts: 172000 | #Constraints: 13314
2125.36/2131.76 c #Conflicts: 173000 | #Constraints: 14314
2125.36/2131.76 c #Conflicts: 174000 | #Constraints: 15314
2125.36/2131.76 c #Conflicts: 175000 | #Constraints: 16314
2125.36/2131.76 c #Conflicts: 176000 | #Constraints: 17314
2125.36/2131.76 c #Conflicts: 177000 | #Constraints: 18314
2125.36/2131.76 c #Conflicts: 178000 | #Constraints: 19314
2125.36/2131.76 c #Conflicts: 179000 | #Constraints: 20314
2125.36/2131.76 c #Conflicts: 180000 | #Constraints: 21314
2125.36/2131.76 c INPROCESSING
2125.36/2131.76 c GARBAGE COLLECT
2125.36/2131.76 c #Conflicts: 181000 | #Constraints: 13907
2125.36/2131.76 c #Conflicts: 182000 | #Constraints: 14907
2125.36/2131.76 c #Conflicts: 183000 | #Constraints: 15907
2125.36/2131.76 c #Conflicts: 184000 | #Constraints: 16907
2125.36/2131.76 c #Conflicts: 185000 | #Constraints: 17907
2125.36/2131.76 c #Conflicts: 186000 | #Constraints: 18907
2125.36/2131.76 c #Conflicts: 187000 | #Constraints: 19907
2125.36/2131.76 c #Conflicts: 188000 | #Constraints: 20907
2125.36/2131.76 c #Conflicts: 189000 | #Constraints: 21907
2125.36/2131.76 c INPROCESSING
2125.36/2131.76 c GARBAGE COLLECT
2125.36/2131.76 c #Conflicts: 190000 | #Constraints: 14316
2125.36/2131.76 c #Conflicts: 191000 | #Constraints: 15316
2125.36/2131.76 c #Conflicts: 192000 | #Constraints: 16316
2125.36/2131.76 c #Conflicts: 193000 | #Constraints: 17316
2125.36/2131.76 c #Conflicts: 194000 | #Constraints: 18316
2125.36/2131.76 c #Conflicts: 195000 | #Constraints: 19316
2125.36/2131.76 c #Conflicts: 196000 | #Constraints: 20316
2125.36/2131.76 c #Conflicts: 197000 | #Constraints: 21316
2125.36/2131.76 c #Conflicts: 198000 | #Constraints: 22316
2125.36/2131.76 c INPROCESSING
2125.36/2131.76 c GARBAGE COLLECT
2125.36/2131.76 c #Conflicts: 199000 | #Constraints: 14524
2125.36/2131.76 c #Conflicts: 200000 | #Constraints: 15524
2125.36/2131.76 c #Conflicts: 201000 | #Constraints: 16524
2125.36/2131.76 c #Conflicts: 202000 | #Constraints: 17524
2125.36/2131.76 c #Conflicts: 203000 | #Constraints: 18524
2125.36/2131.76 c #Conflicts: 204000 | #Constraints: 19524
2125.36/2131.76 c #Conflicts: 205000 | #Constraints: 20524
2125.36/2131.76 c #Conflicts: 206000 | #Constraints: 21524
2125.36/2131.76 c #Conflicts: 207000 | #Constraints: 22524
2868.43/2877.04 c INPROCESSING
2868.43/2877.04 c GARBAGE COLLECT
2868.43/2877.04 c #Conflicts: 208000 | #Constraints: 14526
2868.43/2877.04 c #Conflicts: 209000 | #Constraints: 15526
2868.43/2877.04 c #Conflicts: 210000 | #Constraints: 16526
2868.43/2877.04 c #Conflicts: 211000 | #Constraints: 17526
2868.43/2877.04 c #Conflicts: 212000 | #Constraints: 18526
2868.43/2877.04 c #Conflicts: 213000 | #Constraints: 19526
2868.43/2877.04 c #Conflicts: 214000 | #Constraints: 20526
2868.43/2877.04 c #Conflicts: 215000 | #Constraints: 21526
2868.43/2877.04 c #Conflicts: 216000 | #Constraints: 22526
2868.43/2877.04 c INPROCESSING
2868.43/2877.04 c GARBAGE COLLECT
2868.43/2877.04 c #Conflicts: 217000 | #Constraints: 14323
2868.43/2877.04 c #Conflicts: 218000 | #Constraints: 15323
2868.43/2877.04 c #Conflicts: 219000 | #Constraints: 16323
2868.43/2877.04 c #Conflicts: 220000 | #Constraints: 17323
2868.43/2877.04 c #Conflicts: 221000 | #Constraints: 18323
2868.43/2877.04 c #Conflicts: 222000 | #Constraints: 19323
2868.43/2877.04 c #Conflicts: 223000 | #Constraints: 20323
2868.43/2877.04 c #Conflicts: 224000 | #Constraints: 21323
2868.43/2877.04 c #Conflicts: 225000 | #Constraints: 22323
2868.43/2877.04 c #Conflicts: 226000 | #Constraints: 23323
2868.43/2877.04 c INPROCESSING
2868.43/2877.04 c GARBAGE COLLECT
2868.43/2877.04 c #Conflicts: 227000 | #Constraints: 14938
2868.43/2877.04 c #Conflicts: 228000 | #Constraints: 15938
2868.43/2877.04 c #Conflicts: 229000 | #Constraints: 16938
2868.43/2877.04 c #Conflicts: 230000 | #Constraints: 17938
2868.43/2877.04 c #Conflicts: 231000 | #Constraints: 18938
2868.43/2877.04 c #Conflicts: 232000 | #Constraints: 19938
2868.43/2877.04 c #Conflicts: 233000 | #Constraints: 20938
2868.43/2877.04 c #Conflicts: 234000 | #Constraints: 21938
2868.43/2877.04 c #Conflicts: 235000 | #Constraints: 22938
2868.43/2877.04 c #Conflicts: 236000 | #Constraints: 23938
2868.43/2877.04 c INPROCESSING
2868.43/2877.04 c GARBAGE COLLECT
2868.43/2877.04 c #Conflicts: 237000 | #Constraints: 15323
2868.43/2877.04 c #Conflicts: 238000 | #Constraints: 16323
2868.43/2877.04 c #Conflicts: 239000 | #Constraints: 17323
2868.43/2877.04 c #Conflicts: 240000 | #Constraints: 18323
2868.43/2877.04 c #Conflicts: 241000 | #Constraints: 19323
2868.43/2877.04 c #Conflicts: 242000 | #Constraints: 20323
2868.43/2877.04 c #Conflicts: 243000 | #Constraints: 21323
2868.43/2877.04 c #Conflicts: 244000 | #Constraints: 22323
2868.43/2877.04 c #Conflicts: 245000 | #Constraints: 23323
2868.43/2877.04 c #Conflicts: 246000 | #Constraints: 24323
2868.43/2877.04 c INPROCESSING
2868.43/2877.04 c GARBAGE COLLECT
2868.43/2877.04 c #Conflicts: 247000 | #Constraints: 15525
2868.43/2877.04 c #Conflicts: 248000 | #Constraints: 16525
2868.43/2877.04 c #Conflicts: 249000 | #Constraints: 17525
2868.43/2877.04 c #Conflicts: 250000 | #Constraints: 18525
2868.43/2877.04 c #Conflicts: 251000 | #Constraints: 19525
2868.43/2877.04 c #Conflicts: 252000 | #Constraints: 20525
2868.43/2877.04 c #Conflicts: 253000 | #Constraints: 21525
2868.43/2877.04 c #Conflicts: 254000 | #Constraints: 22525
2868.43/2877.04 c #Conflicts: 255000 | #Constraints: 23525
2868.43/2877.04 c #Conflicts: 256000 | #Constraints: 24525
2868.43/2877.04 c INPROCESSING
2868.43/2877.04 c GARBAGE COLLECT
2868.43/2877.04 c #Conflicts: 257000 | #Constraints: 15525
2868.43/2877.04 c #Conflicts: 258000 | #Constraints: 16525
2868.43/2877.04 c #Conflicts: 259000 | #Constraints: 17525
2868.43/2877.04 c #Conflicts: 260000 | #Constraints: 18525
2868.43/2877.04 c #Conflicts: 261000 | #Constraints: 19525
2868.43/2877.04 c #Conflicts: 262000 | #Constraints: 20525
2868.43/2877.04 c #Conflicts: 263000 | #Constraints: 21525
2868.43/2877.04 c #Conflicts: 264000 | #Constraints: 22525
2868.43/2877.04 c #Conflicts: 265000 | #Constraints: 23525
2868.43/2877.04 c #Conflicts: 266000 | #Constraints: 24525
2868.43/2877.04 c INPROCESSING
2868.43/2877.04 c GARBAGE COLLECT
2868.43/2877.04 c #Conflicts: 267000 | #Constraints: 15323
2868.43/2877.04 c #Conflicts: 268000 | #Constraints: 16323
2868.43/2877.04 c #Conflicts: 269000 | #Constraints: 17323
2868.43/2877.04 c #Conflicts: 270000 | #Constraints: 18323
2868.43/2877.04 c #Conflicts: 271000 | #Constraints: 19323
2868.43/2877.04 c #Conflicts: 272000 | #Constraints: 20323
2868.43/2877.04 c #Conflicts: 273000 | #Constraints: 21323
2868.43/2877.04 c #Conflicts: 274000 | #Constraints: 22323
2868.43/2877.04 c #Conflicts: 275000 | #Constraints: 23323
2868.43/2877.04 c #Conflicts: 276000 | #Constraints: 24323
2868.43/2877.04 c #Conflicts: 277000 | #Constraints: 25323
2868.43/2877.04 c INPROCESSING
2868.43/2877.04 c GARBAGE COLLECT
2868.43/2877.04 c #Conflicts: 278000 | #Constraints: 15928
2868.43/2877.04 c #Conflicts: 279000 | #Constraints: 16928
2868.43/2877.04 c #Conflicts: 280000 | #Constraints: 17928
2868.43/2877.04 c #Conflicts: 281000 | #Constraints: 18928
3600.05/3610.80 c #Conflicts: 282000 | #Constraints: 19928
3600.05/3610.80 c #Conflicts: 283000 | #Constraints: 20928
3600.05/3610.80 c #Conflicts: 284000 | #Constraints: 21928
3600.05/3610.80 c #Conflicts: 285000 | #Constraints: 22928
3600.05/3610.80 c #Conflicts: 286000 | #Constraints: 23928
3600.05/3610.80 c #Conflicts: 287000 | #Constraints: 24928
3600.05/3610.80 c #Conflicts: 288000 | #Constraints: 25928
3600.05/3610.80 c INPROCESSING
3600.05/3610.80 c GARBAGE COLLECT
3600.05/3610.80 c #Conflicts: 289000 | #Constraints: 16322
3600.05/3610.80 c #Conflicts: 290000 | #Constraints: 17322
3600.05/3610.80 c #Conflicts: 291000 | #Constraints: 18322
3600.05/3610.80 c #Conflicts: 292000 | #Constraints: 19322
3600.05/3610.80 c #Conflicts: 293000 | #Constraints: 20322
3600.05/3610.80 c #Conflicts: 294000 | #Constraints: 21322
3600.05/3610.80 c #Conflicts: 295000 | #Constraints: 22322
3600.05/3610.80 c #Conflicts: 296000 | #Constraints: 23322
3600.05/3610.80 c #Conflicts: 297000 | #Constraints: 24322
3600.05/3610.80 c #Conflicts: 298000 | #Constraints: 25322
3600.05/3610.80 c #Conflicts: 299000 | #Constraints: 26322
3600.05/3610.80 c INPROCESSING
3600.05/3610.80 c GARBAGE COLLECT
3600.05/3610.80 c #Conflicts: 300000 | #Constraints: 16520
3600.05/3610.80 c #Conflicts: 301000 | #Constraints: 17520
3600.05/3610.80 c #Conflicts: 302000 | #Constraints: 18520
3600.05/3610.80 c #Conflicts: 303000 | #Constraints: 19520
3600.05/3610.80 c #Conflicts: 304000 | #Constraints: 20520
3600.05/3610.80 c #Conflicts: 305000 | #Constraints: 21520
3600.05/3610.80 c #Conflicts: 306000 | #Constraints: 22520
3600.05/3610.80 c #Conflicts: 307000 | #Constraints: 23520
3600.05/3610.80 c #Conflicts: 308000 | #Constraints: 24520
3600.05/3610.80 c #Conflicts: 309000 | #Constraints: 25520
3600.05/3610.80 c #Conflicts: 310000 | #Constraints: 26520
3600.05/3610.80 c INPROCESSING
3600.05/3610.80 c GARBAGE COLLECT
3600.05/3610.80 c #Conflicts: 311000 | #Constraints: 16532
3600.05/3610.80 c #Conflicts: 312000 | #Constraints: 17532
3600.05/3610.80 c #Conflicts: 313000 | #Constraints: 18532
3600.05/3610.80 c #Conflicts: 314000 | #Constraints: 19532
3600.05/3610.80 c #Conflicts: 315000 | #Constraints: 20532
3600.05/3610.80 c #Conflicts: 316000 | #Constraints: 21532
3600.05/3610.80 c #Conflicts: 317000 | #Constraints: 22532
3600.05/3610.80 c #Conflicts: 318000 | #Constraints: 23532
3600.05/3610.80 c #Conflicts: 319000 | #Constraints: 24532
3600.05/3610.80 c #Conflicts: 320000 | #Constraints: 25532
3600.05/3610.80 c #Conflicts: 321000 | #Constraints: 26532
3600.05/3610.80 c INPROCESSING
3600.05/3610.80 c GARBAGE COLLECT
3600.05/3610.80 c #Conflicts: 322000 | #Constraints: 16338
3600.05/3610.80 c #Conflicts: 323000 | #Constraints: 17338
3600.05/3610.80 c #Conflicts: 324000 | #Constraints: 18338
3600.05/3610.80 c #Conflicts: 325000 | #Constraints: 19338
3600.05/3610.80 c #Conflicts: 326000 | #Constraints: 20338
3600.05/3610.80 c #Conflicts: 327000 | #Constraints: 21338
3600.05/3610.80 c #Conflicts: 328000 | #Constraints: 22338
3600.05/3610.80 c #Conflicts: 329000 | #Constraints: 23338
3600.05/3610.80 c #Conflicts: 330000 | #Constraints: 24338
3600.05/3610.80 c #Conflicts: 331000 | #Constraints: 25338
3600.05/3610.80 c #Conflicts: 332000 | #Constraints: 26338
3600.05/3610.80 c #Conflicts: 333000 | #Constraints: 27338
3600.05/3610.80 c INPROCESSING
3600.05/3610.80 c GARBAGE COLLECT
3600.05/3610.80 c #Conflicts: 334000 | #Constraints: 16937
3600.05/3610.80 c #Conflicts: 335000 | #Constraints: 17937
3600.05/3610.80 c #Conflicts: 336000 | #Constraints: 18937
3600.05/3610.80 c #Conflicts: 337000 | #Constraints: 19937
3600.05/3610.80 c #Conflicts: 338000 | #Constraints: 20937
3600.05/3610.80 c #Conflicts: 339000 | #Constraints: 21937
3600.05/3610.80 c #Conflicts: 340000 | #Constraints: 22937
3600.05/3610.80 c #Conflicts: 341000 | #Constraints: 23937
3600.05/3610.80 c #Conflicts: 342000 | #Constraints: 24937
3600.05/3610.80 c #Conflicts: 343000 | #Constraints: 25937
3600.05/3610.80 c #Conflicts: 344000 | #Constraints: 26937
3600.05/3610.80 c #Conflicts: 345000 | #Constraints: 27937
3600.05/3610.80 c INPROCESSING
3600.05/3610.80 c GARBAGE COLLECT
3600.05/3610.80 c #Conflicts: 346000 | #Constraints: 17336
3600.05/3610.80 c Program interrupted by user.
3600.05/3610.80 c cpu time 3574.59 s
3600.05/3610.80 c deterministic time 155489450227 1.55e+11
3600.05/3610.80 c optimization time 17.5985 s
3600.05/3610.80 c total solve time 3257.56 s
3600.05/3610.80 c core-guided solve time 3257.56 s
3600.05/3610.80 c propagation time 1861.23 s
3600.05/3610.80 c conflict analysis time 638.076 s
3600.05/3610.80 c propagations 61794393
3600.05/3610.80 c resolve steps 544956
3600.05/3610.80 c decisions 35914370
3600.05/3610.80 c conflicts 346235
3600.05/3610.80 c restarts 825
3600.05/3610.80 c inprocessing phases 50
3600.05/3610.80 c input clauses 4575
3600.05/3610.80 c input cardinalities 1
3600.05/3610.80 c input general constraints 748
3600.05/3610.80 c input average constraint length 3483.58
3600.05/3610.80 c input average constraint degree 94.06
3600.05/3610.80 c learned clauses 9934
3600.05/3610.80 c learned cardinalities 122
3600.05/3610.80 c learned general constraints 336180
3600.05/3610.80 c learned average constraint length 13202.76
3600.05/3610.80 c learned average constraint degree 235147.85
3600.05/3610.80 c watched constraints 4784
3600.05/3610.80 c counting constraints 332144
3600.05/3610.80 c gcd simplifications 158
3600.05/3610.80 c detected cardinalities 0
3600.05/3610.80 c weakened non-implied lits 101203645
3600.05/3610.80 c weakened non-implying lits 60
3600.05/3610.80 c original variables 24645
3600.05/3610.80 c clausal propagations 1547964
3600.05/3610.80 c cardinality propagations 4849
3600.05/3610.80 c watched propagations 38210
3600.05/3610.80 c counting propagations 59642500
3600.05/3610.80 c watch lookups 30622537367
3600.05/3610.80 c watch backjump lookups 30604157993
3600.05/3610.80 c watch checks 3797948892
3600.05/3610.80 c propagation checks 84460041192
3600.05/3610.80 c constraint additions 5809021463
3600.05/3610.80 c trail pops 98034556
3600.05/3610.80 c formula constraints 4552
3600.05/3610.80 c learned constraints 346236
3600.05/3610.80 c bound constraints 748
3600.05/3610.80 c core-guided constraints 24
3600.05/3610.80 c encountered formula constraints 459128
3600.05/3610.80 c encountered learned constraints 432060
3600.05/3610.80 c encountered bound constraints 3
3600.05/3610.80 c encountered core-guided constraints 0
3600.05/3610.80 c LP total time 0 s
3600.05/3610.80 c LP solve time 0 s
3600.05/3610.80 c LP constraints added 0
3600.05/3610.80 c LP constraints removed 0
3600.05/3610.80 c LP pivots internal 0
3600.05/3610.80 c LP pivots root 0
3600.05/3610.80 c LP calls 0
3600.05/3610.80 c LP optimalities 0
3600.05/3610.80 c LP no pivot count 0
3600.05/3610.80 c LP infeasibilities 0
3600.05/3610.80 c LP valid Farkas constraints 0
3600.05/3610.80 c LP learned Farkas constraints 0
3600.05/3610.80 c LP basis resets 0
3600.05/3610.80 c LP cycling count 0
3600.05/3610.80 c LP singular count 0
3600.05/3610.80 c LP no primal count 0
3600.05/3610.80 c LP no farkas count 0
3600.05/3610.80 c LP other issue count 0
3600.05/3610.80 c LP Gomory cuts 0
3600.05/3610.80 c LP learned cuts 0
3600.05/3610.80 c LP deleted cuts 0
3600.05/3610.80 c LP encountered Gomory constraints 0
3600.05/3610.80 c LP encountered Farkas constraints 0
3600.05/3610.80 c LP encountered learned Farkas constraints 0
3600.05/3610.80 c CG auxiliary variables introduced 24
3600.05/3610.80 c CG solutions found 0
3600.05/3610.80 c CG cores constructed 747
3600.05/3610.80 c CG core cardinality constraints returned 0
3600.05/3610.80 c CG unit cores 0
3600.05/3610.80 c CG single cores 747
3600.05/3610.80 c CG blocks removed during cardinality reduction 0
3600.05/3610.80 c CG first core best 0
3600.05/3610.80 c CG decision core best 0
3600.05/3610.80 c CG core reduction tie 0
3600.05/3610.80 c CG core degree average 1.00
3600.05/3610.80 c CG core slack average 20.60
3600.05/3610.80 c CG exhausted 0
3600.05/3610.80 c CG exhaust time 0 s
3600.05/3610.80 c CG trimmed 100
3600.05/3610.80 c CG trim time 0.012383 s
3600.05/3610.80 c CG minimized 0
3600.05/3610.80 c CG minimize time 0 s
3600.05/3610.80 c CG am1 prop time 0.030258 s
3600.05/3610.80 c CG # am1s reformulated 24
3600.05/3610.80 c CG lower bound derived from am1s 39
3600.05/3610.80 c CG # clausal cores 747
3600.05/3610.80 c CG # cardinality cores 0
3600.05/3610.80 c CG # pb cores 0
3600.05/3610.80 c CG # pb reforms 0
3600.05/3610.80 c CG # cores discarded because of pb reform 0
3600.05/3610.80 d LOWERBOUND 1032
3600.05/3610.80 d NCORES 747
3600.05/3610.80 d NPBCORES 0
3600.05/3610.80 d NPBREFORM 0
3600.05/3610.80 d NTRIMMED 100
3600.05/3610.80 d NEXHAUSTED 0
3600.05/3610.80 d NAM1S 24
3600.05/3610.80 d AM1LB 39
3600.05/3610.80 c [Papilo Statistics]
3600.05/3610.80 c prepro time 0.0751053s
3600.05/3610.80 c # tsx applied 109
3600.05/3610.80 c # tsx conflicts 0
3600.05/3610.80 c # bound changes 87
3600.05/3610.80 c # side changes 0
3600.05/3610.80 c # coef changes 0
3600.05/3610.80 c # rounds 5
3600.05/3610.80 c # deted vars 100
3600.05/3610.80 c # deted constrs 321
3600.05/3610.80 c # consecutive rounds of only bound changes 0
3600.05/3610.87 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (59397 MiB free)
memory of node 1: 64465 MiB (58817 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528858-1752255008/watcher-4528858-1752255008 -o /tmp/evaluation-result-4528858-1752255008/solver-4528858-1752255008 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1752255008-118199 --watchdog 3760 mixed-bag HOME/instance-4528858-1752255008.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Current StackSize limit: 8192 KiB
solver pid=118248, runsolver pid=118239
[startup+0.100063 s]*
/proc/loadavg: 0.75 1.56 2.44 5/266 118259
/proc/meminfo: memFree=120970296/131250000 swapFree=33009904/33010684
[pid=118248] ppid=118239 vsize=92980 memory=20012 CPUtime=0.08 cores=0,2
/proc/118248/stat : 118248 (mixed-bag) R 118239 118248 118184 0 -1 4194304 4569 0 0 0 8 0 0 0 20 0 1 0 141180274 95211520 5003 18446744073709551615 4235264 15840557 140737168028368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28971008 140737168034202 140737168034279 140737168034279 140737168039883 0
/proc/118248/statm: 23245 5003 2144 2834 0 5997 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 92980 KiB
Current children cumulated memory: 20012 KiB
[startup+0.205553 s]*
/proc/loadavg: 0.75 1.56 2.44 5/266 118259
/proc/meminfo: memFree=120915548/131250000 swapFree=33009904/33010684
[pid=118248] ppid=118239 vsize=127684 memory=48628 CPUtime=0.19 cores=0,2
/proc/118248/stat : 118248 (mixed-bag) R 118239 118248 118184 0 -1 4194304 10094 0 0 0 18 1 0 0 20 0 1 0 141180274 130748416 12157 18446744073709551615 4235264 15840557 140737168028368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28971008 140737168034202 140737168034279 140737168034279 140737168039883 0
/proc/118248/statm: 31921 12157 2272 2834 0 14126 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 127684 KiB
Current children cumulated memory: 48628 KiB
[startup+0.305519 s]*
/proc/loadavg: 0.75 1.56 2.44 5/266 118259
/proc/meminfo: memFree=120771460/131250000 swapFree=33009904/33010684
[pid=118248] ppid=118239 vsize=183172 memory=110452 CPUtime=0.29 cores=0,2
/proc/118248/stat : 118248 (mixed-bag) R 118239 118248 118184 0 -1 4194304 23983 0 0 0 27 2 0 0 20 0 1 0 141180274 187568128 27613 18446744073709551615 4235264 15840557 140737168028368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28971008 140737168034202 140737168034279 140737168034279 140737168039883 0
/proc/118248/statm: 45793 27613 3936 2834 0 27998 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 183172 KiB
Current children cumulated memory: 110452 KiB
[startup+0.700172 s]
/proc/loadavg: 0.75 1.56 2.44 5/266 118259
/proc/meminfo: memFree=120718852/131250000 swapFree=33009904/33010684
[pid=118248] ppid=118239 vsize=216324 memory=139492 CPUtime=0.68 cores=0,2
/proc/118248/stat : 118248 (mixed-bag) R 118239 118248 118184 0 -1 4194304 33583 0 0 0 64 4 0 0 20 0 1 0 141180274 221515776 34873 18446744073709551615 4235264 15840557 140737168028368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28971008 140737168034202 140737168034279 140737168034279 140737168039883 0
/proc/118248/statm: 54081 34873 3968 2834 0 36286 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 216324 KiB
Current children cumulated memory: 139492 KiB
[startup+1.50017 s]
/proc/loadavg: 0.75 1.56 2.44 5/266 118259
/proc/meminfo: memFree=120602804/131250000 swapFree=33009904/33010684
[pid=118248] ppid=118239 vsize=247624 memory=169372 CPUtime=1.47 cores=0,2
/proc/118248/stat : 118248 (mixed-bag) R 118239 118248 118184 0 -1 4194304 43828 0 0 0 142 5 0 0 20 0 1 0 141180274 253566976 42343 18446744073709551615 4235264 15840557 140737168028368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28971008 140737168034202 140737168034279 140737168034279 140737168039883 0
/proc/118248/statm: 61906 42343 4032 2834 0 44111 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 247624 KiB
Current children cumulated memory: 169372 KiB
[startup+3.10459 s]
/proc/loadavg: 0.75 1.56 2.44 5/266 118259
/proc/meminfo: memFree=120272872/131250000 swapFree=33009904/33010684
[pid=118248] ppid=118239 vsize=403308 memory=276252 CPUtime=3.07 cores=0,2
/proc/118248/stat : 118248 (mixed-bag) R 118239 118248 118184 0 -1 4194304 70465 0 0 0 298 9 0 0 20 0 1 0 141180274 412987392 69063 18446744073709551615 4235264 15840557 140737168028368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28971008 140737168034202 140737168034279 140737168034279 140737168039883 0
/proc/118248/statm: 100827 69063 4224 2834 0 83032 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 403308 KiB
Current children cumulated memory: 276252 KiB
[startup+6.30015 s]
/proc/loadavg: 1.09 1.62 2.46 5/266 118259
/proc/meminfo: memFree=119855008/131250000 swapFree=33009904/33010684
[pid=118248] ppid=118239 vsize=405008 memory=277660 CPUtime=6.26 cores=0,2
/proc/118248/stat : 118248 (mixed-bag) R 118239 118248 118184 0 -1 4194304 70840 0 0 0 617 9 0 0 20 0 1 0 141180274 414728192 69415 18446744073709551615 4235264 15840557 140737168028368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28971008 140737168034202 140737168034279 140737168034279 140737168039883 0
/proc/118248/statm: 101252 69415 4224 2834 0 83457 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 405008 KiB
Current children cumulated memory: 277660 KiB
[startup+12.7001 s]
/proc/loadavg: 1.40 1.68 2.47 5/266 118259
/proc/meminfo: memFree=119760004/131250000 swapFree=33009904/33010684
[pid=118248] ppid=118239 vsize=405008 memory=277916 CPUtime=12.64 cores=0,2
/proc/118248/stat : 118248 (mixed-bag) R 118239 118248 118184 0 -1 4194304 70896 0 0 0 1255 9 0 0 20 0 1 0 141180274 414728192 69479 18446744073709551615 4235264 15840557 140737168028368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28971008 140737168034202 140737168034279 140737168034279 140737168039883 0
/proc/118248/statm: 101252 69479 4224 2834 0 83457 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 405008 KiB
Current children cumulated memory: 277916 KiB
[startup+25.5002 s]
/proc/loadavg: 2.06 1.81 2.50 5/266 118259
/proc/meminfo: memFree=119646824/131250000 swapFree=33009904/33010684
[pid=118248] ppid=118239 vsize=407240 memory=280196 CPUtime=25.42 cores=0,2
/proc/118248/stat : 118248 (mixed-bag) R 118239 118248 118184 0 -1 4194304 70954 0 0 0 2532 10 0 0 20 0 1 0 141180274 417013760 70049 18446744073709551615 4235264 15840557 140737168028368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28971008 140737168034202 140737168034279 140737168034279 140737168039883 0
/proc/118248/statm: 101810 70049 4224 2834 0 84015 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 407240 KiB
Current children cumulated memory: 280196 KiB
[startup+51.1053 s]
/proc/loadavg: 2.72 1.98 2.54 5/266 118260
/proc/meminfo: memFree=119529184/131250000 swapFree=33009904/33010684
[pid=118248] ppid=118239 vsize=437928 memory=307972 CPUtime=50.95 cores=0,2
/proc/118248/stat : 118248 (mixed-bag) R 118239 118248 118184 0 -1 4194304 77864 0 0 0 5084 11 0 0 20 0 1 0 141180274 448438272 76993 18446744073709551615 4235264 15840557 140737168028368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28971008 140737168034202 140737168034279 140737168034279 140737168039883 0
/proc/118248/statm: 109482 76993 4256 2834 0 91687 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 437928 KiB
Current children cumulated memory: 307972 KiB
[startup+102.3 s]
/proc/loadavg: 3.49 2.31 2.63 5/266 118261
/proc/meminfo: memFree=119188960/131250000 swapFree=33009904/33010684
[pid=118248] ppid=118239 vsize=476204 memory=344196 CPUtime=102 cores=0,2
/proc/118248/stat : 118248 (mixed-bag) R 118239 118248 118184 0 -1 4194304 86920 0 0 0 10188 12 0 0 20 0 1 0 141180274 487632896 86049 18446744073709551615 4235264 15840557 140737168028368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28971008 140737168034202 140737168034279 140737168034279 140737168039883 0
/proc/118248/statm: 119051 86049 4256 2834 0 101256 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 476204 KiB
Current children cumulated memory: 344196 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.65 2.72 5/266 118263
/proc/meminfo: memFree=118941084/131250000 swapFree=33009904/33010684
[pid=118248] ppid=118239 vsize=561772 memory=425476 CPUtime=161.84 cores=0,2
/proc/118248/stat : 118248 (mixed-bag) R 118239 118248 118184 0 -1 4194304 107314 0 0 0 16169 15 0 0 20 0 1 0 141180274 575254528 106369 18446744073709551615 4235264 15840557 140737168028368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28971008 140737168034202 140737168034279 140737168034279 140737168039883 0
/proc/118248/statm: 140443 106369 4256 2834 0 122648 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 561772 KiB
Current children cumulated memory: 425476 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.92 2.81 5/266 118265
/proc/meminfo: memFree=118656788/131250000 swapFree=33009904/33010684
[pid=118248] ppid=118239 vsize=563760 memory=425988 CPUtime=221.67 cores=0,2
/proc/118248/stat : 118248 (mixed-bag) R 118239 118248 118184 0 -1 4194304 107439 0 0 0 22152 15 0 0 20 0 1 0 141180274 577290240 106497 18446744073709551615 4235264 15840557 140737168028368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28971008 140737168034202 140737168034279 140737168034279 140737168039883 0
/proc/118248/statm: 140940 106497 4256 2834 0 123145 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 563760 KiB
Current children cumulated memory: 425988 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 3.15 2.90 5/264 118267
/proc/meminfo: memFree=118504276/131250000 swapFree=33009904/33010684
[pid=118248] ppid=118239 vsize=564252 memory=426756 CPUtime=281.51 cores=0,2
/proc/118248/stat : 118248 (mixed-bag) R 118239 118248 118184 0 -1 4194304 107614 0 0 0 28136 15 0 0 20 0 1 0 141180274 577794048 106689 18446744073709551615 4235264 15840557 140737168028368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28971008 140737168034202 140737168034279 140737168034279 140737168039883 0
/proc/118248/statm: 141063 106689 4256 2834 0 123268 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 564252 KiB
Current children cumulated memory: 426756 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.32 2.98 5/263 118270
/proc/meminfo: memFree=117935692/131250000 swapFree=33009904/33010684
[pid=118248] ppid=118239 vsize=1197228 memory=968280 CPUtime=341.36 cores=0,2
/proc/118248/stat : 118248 (mixed-bag) R 118239 118248 118184 0 -1 4194304 156075 0 0 0 33600 536 0 0 20 0 1 0 141180274 1225961472 242070 18446744073709551615 4235264 15840557 140737168028368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28971008 140737168034202 140737168034279 140737168034279 140737168039883 0
/proc/118248/statm: 299307 242070 4416 2834 0 281512 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 1197228 KiB
Current children cumulated memory: 968280 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.46 3.05 5/263 118272
/proc/meminfo: memFree=117204800/131250000 swapFree=33009904/33010684
[pid=118248] ppid=118239 vsize=1627780 memory=1450888 CPUtime=401.18 cores=0,2
/proc/118248/stat : 118248 (mixed-bag) R 118239 118248 118184 0 -1 4194304 237848 0 0 0 39496 622 0 0 20 0 1 0 141180274 1666846720 362722 18446744073709551615 4235264 15840557 140737168028368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28971008 140737168034202 140737168034279 140737168034279 140737168039883 0
/proc/118248/statm: 406945 362722 4416 2834 0 389150 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 1627780 KiB
Current children cumulated memory: 1450888 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 3.59 3.12 5/263 118274
/proc/meminfo: memFree=116853184/131250000 swapFree=33009904/33010684
[pid=118248] ppid=118239 vsize=1995712 memory=1581500 CPUtime=461.01 cores=0,2
/proc/118248/stat : 118248 (mixed-bag) R 118239 118248 118184 0 -1 4194304 252106 0 0 0 45427 674 0 0 20 0 1 0 141180274 2043609088 395375 18446744073709551615 4235264 15840557 140737168028368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28971008 140737168034202 140737168034279 140737168034279 140737168039883 0
/proc/118248/statm: 498928 395375 4416 2834 0 481133 0
Current children cumulated CPU time: 461.01 s
################
# More data... #
################
Current children cumulated memory: 5679032 KiB
[startup+2862.3 s]
/proc/loadavg: 4.08 4.11 4.08 5/263 118402
/proc/meminfo: memFree=108588228/131250000 swapFree=33009904/33010684
[pid=118248] ppid=118239 vsize=6660080 memory=5737540 CPUtime=2853.76 cores=0,2
/proc/118248/stat : 118248 (mixed-bag) R 118239 118248 118184 0 -1 4194304 831185 0 0 0 283227 2149 0 0 20 0 1 0 141180274 6819921920 1434385 18446744073709551615 4235264 15840557 140737168028368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28971008 140737168034202 140737168034279 140737168034279 140737168039883 0
/proc/118248/statm: 1665020 1434385 4416 2834 0 1647225 0
Current children cumulated CPU time: 2853.76 s
Current children cumulated vsize: 6660080 KiB
Current children cumulated memory: 5737540 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 118404
/proc/meminfo: memFree=108511916/131250000 swapFree=33009904/33010684
[pid=118248] ppid=118239 vsize=6660080 memory=5737540 CPUtime=2913.6 cores=0,2
/proc/118248/stat : 118248 (mixed-bag) R 118239 118248 118184 0 -1 4194304 832153 0 0 0 289175 2185 0 0 20 0 1 0 141180274 6819921920 1434385 18446744073709551615 4235264 15840557 140737168028368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28971008 140737168034202 140737168034279 140737168034279 140737168039883 0
/proc/118248/statm: 1665020 1434385 4416 2834 0 1647225 0
Current children cumulated CPU time: 2913.6 s
Current children cumulated vsize: 6660080 KiB
Current children cumulated memory: 5737540 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 118406
/proc/meminfo: memFree=108364976/131250000 swapFree=33009904/33010684
[pid=118248] ppid=118239 vsize=6685936 memory=5854180 CPUtime=2973.41 cores=0,2
/proc/118248/stat : 118248 (mixed-bag) R 118239 118248 118184 0 -1 4194304 843565 0 0 0 295118 2223 0 0 20 0 1 0 141180274 6846398464 1463545 18446744073709551615 4235264 15840557 140737168028368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28971008 140737168034202 140737168034279 140737168034279 140737168039883 0
/proc/118248/statm: 1671484 1463545 4416 2834 0 1653689 0
Current children cumulated CPU time: 2973.41 s
Current children cumulated vsize: 6685936 KiB
Current children cumulated memory: 5854180 KiB
[startup+3042.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/264 118415
/proc/meminfo: memFree=108345024/131250000 swapFree=33009904/33010684
[pid=118248] ppid=118239 vsize=6685936 memory=5854308 CPUtime=3033.24 cores=0,2
/proc/118248/stat : 118248 (mixed-bag) R 118239 118248 118184 0 -1 4194304 844535 0 0 0 301073 2251 0 0 20 0 1 0 141180274 6846398464 1463577 18446744073709551615 4235264 15840557 140737168028368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28971008 140737168034202 140737168034279 140737168034279 140737168039883 0
/proc/118248/statm: 1671484 1463577 4416 2834 0 1653689 0
Current children cumulated CPU time: 3033.24 s
Current children cumulated vsize: 6685936 KiB
Current children cumulated memory: 5854308 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 118418
/proc/meminfo: memFree=108316108/131250000 swapFree=33009904/33010684
[pid=118248] ppid=118239 vsize=6685936 memory=5862508 CPUtime=3093.05 cores=0,2
/proc/118248/stat : 118248 (mixed-bag) R 118239 118248 118184 0 -1 4194304 845222 0 0 0 307025 2280 0 0 20 0 1 0 141180274 6846398464 1465627 18446744073709551615 4235264 15840557 140737168028368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28971008 140737168034202 140737168034279 140737168034279 140737168039883 0
/proc/118248/statm: 1671484 1465627 4416 2834 0 1653689 0
Current children cumulated CPU time: 3093.05 s
Current children cumulated vsize: 6685936 KiB
Current children cumulated memory: 5862508 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/265 118420
/proc/meminfo: memFree=108281256/131250000 swapFree=33009904/33010684
[pid=118248] ppid=118239 vsize=6685936 memory=5862508 CPUtime=3152.88 cores=0,2
/proc/118248/stat : 118248 (mixed-bag) R 118239 118248 118184 0 -1 4194304 846119 0 0 0 312972 2316 0 0 20 0 1 0 141180274 6846398464 1465627 18446744073709551615 4235264 15840557 140737168028368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28971008 140737168034202 140737168034279 140737168034279 140737168039883 0
/proc/118248/statm: 1671484 1465627 4416 2834 0 1653689 0
Current children cumulated CPU time: 3152.88 s
Current children cumulated vsize: 6685936 KiB
Current children cumulated memory: 5862508 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 118422
/proc/meminfo: memFree=108228480/131250000 swapFree=33009904/33010684
[pid=118248] ppid=118239 vsize=6685936 memory=5867260 CPUtime=3212.69 cores=0,2
/proc/118248/stat : 118248 (mixed-bag) R 118239 118248 118184 0 -1 4194304 846525 0 0 0 318911 2358 0 0 20 0 1 0 141180274 6846398464 1466815 18446744073709551615 4235264 15840557 140737168028368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28971008 140737168034202 140737168034279 140737168034279 140737168039883 0
/proc/118248/statm: 1671484 1466815 4416 2834 0 1653689 0
Current children cumulated CPU time: 3212.69 s
Current children cumulated vsize: 6685936 KiB
Current children cumulated memory: 5867260 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 118424
/proc/meminfo: memFree=108064828/131250000 swapFree=33009904/33010684
[pid=118248] ppid=118239 vsize=8231164 memory=6011484 CPUtime=3272.53 cores=0,2
/proc/118248/stat : 118248 (mixed-bag) R 118239 118248 118184 0 -1 4194304 864671 0 0 0 324870 2383 0 0 20 0 1 0 141180274 8428711936 1502871 18446744073709551615 4235264 15840557 140737168028368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28971008 140737168034202 140737168034279 140737168034279 140737168039883 0
/proc/118248/statm: 2057791 1502871 4416 2834 0 2039996 0
Current children cumulated CPU time: 3272.53 s
Current children cumulated vsize: 8231164 KiB
Current children cumulated memory: 6011484 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 118427
/proc/meminfo: memFree=107983944/131250000 swapFree=33009904/33010684
[pid=118248] ppid=118239 vsize=8313856 memory=6075708 CPUtime=3332.35 cores=0,2
/proc/118248/stat : 118248 (mixed-bag) R 118239 118248 118184 0 -1 4194304 877838 0 0 0 330833 2402 0 0 20 0 1 0 141180274 8513388544 1518927 18446744073709551615 4235264 15840557 140737168028368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28971008 140737168034202 140737168034279 140737168034279 140737168039883 0
/proc/118248/statm: 2078464 1518927 4416 2834 0 2060669 0
Current children cumulated CPU time: 3332.35 s
Current children cumulated vsize: 8313856 KiB
Current children cumulated memory: 6075708 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 118429
/proc/meminfo: memFree=107947844/131250000 swapFree=33009904/33010684
[pid=118248] ppid=118239 vsize=8313856 memory=6075708 CPUtime=3392.18 cores=0,2
/proc/118248/stat : 118248 (mixed-bag) R 118239 118248 118184 0 -1 4194304 878750 0 0 0 336799 2419 0 0 20 0 1 0 141180274 8513388544 1518927 18446744073709551615 4235264 15840557 140737168028368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28971008 140737168034202 140737168034279 140737168034279 140737168039883 0
/proc/118248/statm: 2078464 1518927 4416 2834 0 2060669 0
Current children cumulated CPU time: 3392.18 s
Current children cumulated vsize: 8313856 KiB
Current children cumulated memory: 6075708 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 118431
/proc/meminfo: memFree=107784824/131250000 swapFree=33009904/33010684
[pid=118248] ppid=118239 vsize=8341508 memory=6211648 CPUtime=3451.99 cores=0,2
/proc/118248/stat : 118248 (mixed-bag) R 118239 118248 118184 0 -1 4194304 893616 0 0 0 342739 2460 0 0 20 0 1 0 141180274 8541704192 1552912 18446744073709551615 4235264 15840557 140737168028368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28971008 140737168034202 140737168034279 140737168034279 140737168039883 0
/proc/118248/statm: 2085377 1552912 4416 2834 0 2067582 0
Current children cumulated CPU time: 3451.99 s
Current children cumulated vsize: 8341508 KiB
Current children cumulated memory: 6211648 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/263 118433
/proc/meminfo: memFree=107734056/131250000 swapFree=33009904/33010684
[pid=118248] ppid=118239 vsize=8341508 memory=6211648 CPUtime=3511.81 cores=0,2
/proc/118248/stat : 118248 (mixed-bag) R 118239 118248 118184 0 -1 4194304 894255 0 0 0 348688 2493 0 0 20 0 1 0 141180274 8541704192 1552912 18446744073709551615 4235264 15840557 140737168028368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28971008 140737168034202 140737168034279 140737168034279 140737168039883 0
/proc/118248/statm: 2085377 1552912 4416 2834 0 2067582 0
Current children cumulated CPU time: 3511.81 s
Current children cumulated vsize: 8341508 KiB
Current children cumulated memory: 6211648 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 118435
/proc/meminfo: memFree=107703192/131250000 swapFree=33009904/33010684
[pid=118248] ppid=118239 vsize=8343556 memory=6225664 CPUtime=3571.63 cores=0,2
/proc/118248/stat : 118248 (mixed-bag) R 118239 118248 118184 0 -1 4194304 896895 0 0 0 354639 2524 0 0 20 0 1 0 141180274 8543801344 1556416 18446744073709551615 4235264 15840557 140737168028368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28971008 140737168034202 140737168034279 140737168034279 140737168039883 0
/proc/118248/statm: 2085889 1556416 4416 2834 0 2068094 0
Current children cumulated CPU time: 3571.63 s
Current children cumulated vsize: 8343556 KiB
Current children cumulated memory: 6225664 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 118444
/proc/meminfo: memFree=107642232/131250000 swapFree=33009904/33010684
[pid=118248] ppid=118239 vsize=8346372 memory=6298604 CPUtime=3600.05 cores=0,2
/proc/118248/stat : 118248 (mixed-bag) R 118239 118248 118184 0 -1 4194304 903380 0 0 0 357459 2546 0 0 20 0 1 0 141180274 8546684928 1574651 18446744073709551615 4235264 15840557 140737168028368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28971008 140737168034202 140737168034279 140737168034279 140737168039883 0
/proc/118248/statm: 2086593 1574651 4416 2834 0 2068798 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 8346372 KiB
Current children cumulated memory: 6298604 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.89 s]
# the end of solver process 118248 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3574.6 s, system=25.5391 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.89
CPU time (s): 3600.14
CPU user time (s): 3574.6
CPU system time (s): 25.5391
CPU usage (%): 99.7024
Max. virtual memory (cumulated for all children) (KiB): 8346372
Max. memory (cumulated for all children) (KiB): 6298604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.6
system time used= 25.5391
maximum resident set size= 6299116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 903407
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 734
involuntary context switches= 8125
# summary of solver processes directly reported to runsolver:
# pid: 118248
# total CPU time (s): 3600.14
# total CPU user time (s): 3574.6
# total CPU system time (s): 25.5391
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.66511 second user time and 15.5777 second system time
The end
Begin job on nodeC033 at 2025-07-11 19:30:09
IDJOB=4528858
IDBENCH=146794
IDSOLVER=3386
FILE ID=nodeC033/4528858-1752255008
RUNJOBID= nodeC033-1752255008-118199
SLURM_JOB_ID= 9682592
Free space on /tmp= 429760 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core4872-1529.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528858-1752255008/watcher-4528858-1752255008 -o /tmp/evaluation-result-4528858-1752255008/solver-4528858-1752255008 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1752255008-118199 --watchdog 3760 mixed-bag HOME/instance-4528858-1752255008.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 24a342ae8fc5469ab48a1ad2f6e90ddf
RANDOM SEED=1778446000
nodeC033 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.055
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.580
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3512.647
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.067
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.192
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3561.106
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.114
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.067
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 121052340 kB
MemAvailable: 129672736 kB
Buffers: 2128 kB
Cached: 9341692 kB
SwapCached: 68 kB
Active: 788532 kB
Inactive: 8619848 kB
Active(anon): 77200 kB
Inactive(anon): 5388 kB
Active(file): 711332 kB
Inactive(file): 8614460 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 75168 kB
Writeback: 0 kB
AnonPages: 67640 kB
Mapped: 105900 kB
Shmem: 18028 kB
KReclaimable: 267684 kB
Slab: 362768 kB
SReclaimable: 267684 kB
SUnreclaim: 95084 kB
KernelStack: 4024 kB
PageTables: 2736 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 341296 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150424 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 429692 MiB
End job on nodeC033 at 2025-07-11 20:30:20