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.16 c [STEP] preprocessing with Papilo
0.19/0.23 c [STEP] solving with SCIP
299.50/300.39 c [STEP] preprocessing done, loading into solver
299.60/300.43 c [STEP] solving
299.60/300.43 c #variables 24546 #constraints 4552
299.60/300.43 c SMALL=int, LARGE=long long
299.60/300.43 d SCIPUB 1482
299.60/300.43 c bounds - >= 0 @ 299.444
299.60/300.43 c stratification level: 1
301.00/301.89 c bounds - >= 40 @ 299.866
301.00/301.89 c bounds - >= 42 @ 299.87
301.00/301.89 c bounds - >= 44 @ 299.873
301.00/301.89 c bounds - >= 46 @ 299.876
301.00/301.89 c bounds - >= 47 @ 299.879
301.00/301.89 c bounds - >= 49 @ 299.883
301.00/301.89 c bounds - >= 51 @ 299.885
301.00/301.89 c bounds - >= 53 @ 299.888
301.00/301.89 c bounds - >= 54 @ 299.892
301.00/301.89 c bounds - >= 55 @ 299.894
301.00/301.89 c bounds - >= 56 @ 299.898
301.00/301.89 c bounds - >= 58 @ 299.903
301.00/301.89 c bounds - >= 60 @ 299.906
301.00/301.89 c bounds - >= 61 @ 299.91
301.00/301.89 c bounds - >= 63 @ 299.915
301.00/301.89 c bounds - >= 64 @ 299.917
301.00/301.89 c bounds - >= 65 @ 299.921
301.00/301.89 c bounds - >= 67 @ 299.925
301.00/301.89 c bounds - >= 68 @ 299.929
301.00/301.89 c bounds - >= 69 @ 299.934
301.00/301.89 c bounds - >= 71 @ 299.936
301.00/301.89 c bounds - >= 73 @ 299.939
301.00/301.89 c bounds - >= 75 @ 299.943
301.00/301.89 c bounds - >= 77 @ 299.947
301.00/301.89 c bounds - >= 79 @ 299.951
301.00/301.89 c bounds - >= 80 @ 299.954
301.00/301.89 c bounds - >= 82 @ 299.957
301.00/301.89 c bounds - >= 83 @ 299.96
301.00/301.89 c bounds - >= 85 @ 299.964
301.00/301.89 c bounds - >= 87 @ 299.967
301.00/301.89 c bounds - >= 89 @ 299.971
301.00/301.89 c bounds - >= 90 @ 299.974
301.00/301.89 c bounds - >= 92 @ 299.978
301.00/301.89 c bounds - >= 94 @ 299.981
301.00/301.89 c bounds - >= 96 @ 299.983
301.00/301.89 c bounds - >= 98 @ 299.986
301.00/301.89 c bounds - >= 99 @ 299.991
301.00/301.89 c bounds - >= 101 @ 299.994
301.00/301.89 c bounds - >= 102 @ 299.998
301.00/301.89 c bounds - >= 104 @ 300.002
301.00/301.89 c bounds - >= 106 @ 300.007
301.00/301.89 c bounds - >= 108 @ 300.012
301.00/301.89 c bounds - >= 109 @ 300.016
301.00/301.89 c bounds - >= 110 @ 300.021
301.00/301.89 c bounds - >= 112 @ 300.024
301.00/301.89 c bounds - >= 114 @ 300.029
301.00/301.89 c bounds - >= 116 @ 300.032
301.00/301.89 c bounds - >= 118 @ 300.036
301.00/301.89 c bounds - >= 120 @ 300.04
301.00/301.89 c bounds - >= 121 @ 300.044
301.00/301.89 c bounds - >= 123 @ 300.048
301.00/301.89 c bounds - >= 124 @ 300.052
301.00/301.89 c bounds - >= 126 @ 300.058
301.00/301.89 c bounds - >= 128 @ 300.063
301.00/301.89 c bounds - >= 130 @ 300.068
301.00/301.89 c bounds - >= 131 @ 300.072
301.00/301.89 c bounds - >= 133 @ 300.074
301.00/301.89 c bounds - >= 135 @ 300.078
301.00/301.89 c bounds - >= 137 @ 300.081
301.00/301.89 c bounds - >= 139 @ 300.085
301.00/301.89 c bounds - >= 141 @ 300.09
301.00/301.89 c bounds - >= 143 @ 300.094
301.00/301.89 c bounds - >= 144 @ 300.099
301.00/301.89 c bounds - >= 145 @ 300.102
301.00/301.89 c bounds - >= 146 @ 300.105
301.00/301.89 c bounds - >= 148 @ 300.108
301.00/301.89 c bounds - >= 150 @ 300.112
301.00/301.89 c bounds - >= 152 @ 300.115
301.00/301.89 c bounds - >= 154 @ 300.118
301.00/301.89 c bounds - >= 156 @ 300.121
301.00/301.89 c bounds - >= 157 @ 300.126
301.00/301.89 c bounds - >= 158 @ 300.13
301.00/301.89 c bounds - >= 160 @ 300.135
301.00/301.89 c bounds - >= 162 @ 300.14
301.00/301.89 c bounds - >= 163 @ 300.144
301.00/301.89 c bounds - >= 164 @ 300.149
301.00/301.89 c bounds - >= 166 @ 300.153
301.00/301.89 c bounds - >= 168 @ 300.157
301.00/301.89 c bounds - >= 170 @ 300.161
301.00/301.89 c bounds - >= 171 @ 300.166
301.00/301.89 c bounds - >= 173 @ 300.171
301.00/301.89 c bounds - >= 175 @ 300.176
301.00/301.89 c bounds - >= 177 @ 300.181
301.00/301.89 c bounds - >= 179 @ 300.184
301.00/301.89 c bounds - >= 181 @ 300.187
301.00/301.89 c bounds - >= 183 @ 300.191
301.00/301.89 c bounds - >= 185 @ 300.196
301.00/301.89 c bounds - >= 187 @ 300.201
301.00/301.89 c bounds - >= 188 @ 300.205
301.00/301.89 c bounds - >= 190 @ 300.21
301.00/301.89 c bounds - >= 192 @ 300.215
301.00/301.89 c bounds - >= 193 @ 300.22
301.00/301.89 c bounds - >= 195 @ 300.224
301.00/301.89 c bounds - >= 197 @ 300.228
301.00/301.89 c bounds - >= 199 @ 300.232
301.00/301.89 c bounds - >= 201 @ 300.238
301.00/301.89 c bounds - >= 202 @ 300.243
301.00/301.89 c bounds - >= 204 @ 300.248
301.00/301.89 c bounds - >= 205 @ 300.251
301.00/301.89 c bounds - >= 206 @ 300.257
301.00/301.89 c bounds - >= 207 @ 300.261
301.00/301.89 c bounds - >= 209 @ 300.265
301.00/301.89 c bounds - >= 211 @ 300.268
301.00/301.89 c bounds - >= 212 @ 300.275
301.00/301.89 c bounds - >= 214 @ 300.278
301.00/301.89 c bounds - >= 216 @ 300.282
301.00/301.89 c bounds - >= 218 @ 300.286
301.00/301.89 c bounds - >= 219 @ 300.292
301.00/301.89 c bounds - >= 221 @ 300.297
301.00/301.89 c bounds - >= 223 @ 300.303
301.00/301.89 c bounds - >= 224 @ 300.308
301.00/301.89 c bounds - >= 225 @ 300.311
301.00/301.89 c bounds - >= 226 @ 300.315
301.00/301.89 c bounds - >= 227 @ 300.322
301.00/301.89 c bounds - >= 229 @ 300.326
301.00/301.89 c bounds - >= 230 @ 300.329
301.00/301.89 c bounds - >= 232 @ 300.333
301.00/301.89 c bounds - >= 233 @ 300.337
301.00/301.89 c bounds - >= 235 @ 300.341
301.00/301.89 c bounds - >= 237 @ 300.347
301.00/301.89 c bounds - >= 239 @ 300.352
301.00/301.89 c bounds - >= 241 @ 300.355
301.00/301.89 c bounds - >= 242 @ 300.359
301.00/301.89 c bounds - >= 244 @ 300.365
301.00/301.89 c bounds - >= 246 @ 300.371
301.00/301.89 c bounds - >= 248 @ 300.375
301.00/301.89 c bounds - >= 249 @ 300.379
301.00/301.89 c bounds - >= 250 @ 300.383
301.00/301.89 c bounds - >= 251 @ 300.386
301.00/301.89 c bounds - >= 253 @ 300.389
301.00/301.89 c bounds - >= 254 @ 300.394
301.00/301.89 c bounds - >= 255 @ 300.399
301.00/301.89 c bounds - >= 257 @ 300.403
301.00/301.89 c bounds - >= 259 @ 300.406
301.00/301.89 c bounds - >= 260 @ 300.413
301.00/301.89 c bounds - >= 261 @ 300.418
301.00/301.89 c bounds - >= 262 @ 300.422
301.00/301.89 c bounds - >= 264 @ 300.427
301.00/301.89 c bounds - >= 266 @ 300.434
301.00/301.89 c bounds - >= 268 @ 300.44
301.00/301.89 c bounds - >= 270 @ 300.443
301.00/301.89 c bounds - >= 272 @ 300.449
301.00/301.89 c bounds - >= 273 @ 300.454
301.00/301.89 c bounds - >= 275 @ 300.459
301.00/301.89 c bounds - >= 277 @ 300.463
301.00/301.89 c bounds - >= 278 @ 300.468
301.00/301.89 c bounds - >= 280 @ 300.471
301.00/301.89 c bounds - >= 281 @ 300.475
302.50/303.30 c bounds - >= 283 @ 300.479
302.50/303.30 c bounds - >= 284 @ 300.485
302.50/303.30 c bounds - >= 286 @ 300.489
302.50/303.30 c bounds - >= 288 @ 300.496
302.50/303.30 c bounds - >= 290 @ 300.502
302.50/303.30 c bounds - >= 291 @ 300.507
302.50/303.30 c bounds - >= 293 @ 300.512
302.50/303.30 c bounds - >= 295 @ 300.515
302.50/303.30 c bounds - >= 296 @ 300.518
302.50/303.30 c bounds - >= 297 @ 300.521
302.50/303.30 c bounds - >= 299 @ 300.528
302.50/303.30 c bounds - >= 301 @ 300.531
302.50/303.30 c bounds - >= 302 @ 300.537
302.50/303.30 c bounds - >= 304 @ 300.541
302.50/303.30 c bounds - >= 306 @ 300.545
302.50/303.30 c bounds - >= 308 @ 300.55
302.50/303.30 c bounds - >= 310 @ 300.555
302.50/303.30 c bounds - >= 312 @ 300.56
302.50/303.30 c bounds - >= 314 @ 300.564
302.50/303.30 c bounds - >= 316 @ 300.568
302.50/303.30 c bounds - >= 318 @ 300.574
302.50/303.30 c bounds - >= 320 @ 300.579
302.50/303.30 c bounds - >= 322 @ 300.584
302.50/303.30 c bounds - >= 323 @ 300.588
302.50/303.30 c bounds - >= 325 @ 300.593
302.50/303.30 c bounds - >= 327 @ 300.596
302.50/303.30 c bounds - >= 329 @ 300.602
302.50/303.30 c bounds - >= 331 @ 300.607
302.50/303.30 c bounds - >= 333 @ 300.611
302.50/303.30 c bounds - >= 334 @ 300.616
302.50/303.30 c bounds - >= 335 @ 300.62
302.50/303.30 c bounds - >= 337 @ 300.624
302.50/303.30 c bounds - >= 339 @ 300.628
302.50/303.30 c bounds - >= 341 @ 300.633
302.50/303.30 c bounds - >= 342 @ 300.637
302.50/303.30 c bounds - >= 344 @ 300.641
302.50/303.30 c bounds - >= 346 @ 300.644
302.50/303.30 c bounds - >= 348 @ 300.648
302.50/303.30 c bounds - >= 350 @ 300.652
302.50/303.30 c bounds - >= 351 @ 300.656
302.50/303.30 c bounds - >= 353 @ 300.66
302.50/303.30 c bounds - >= 355 @ 300.665
302.50/303.30 c bounds - >= 356 @ 300.669
302.50/303.30 c bounds - >= 358 @ 300.674
302.50/303.30 c bounds - >= 360 @ 300.679
302.50/303.30 c bounds - >= 362 @ 300.684
302.50/303.30 c bounds - >= 363 @ 300.69
302.50/303.30 c bounds - >= 365 @ 300.695
302.50/303.30 c bounds - >= 367 @ 300.698
302.50/303.30 c bounds - >= 368 @ 300.702
302.50/303.30 c bounds - >= 370 @ 300.708
302.50/303.30 c bounds - >= 372 @ 300.713
302.50/303.30 c bounds - >= 373 @ 300.716
302.50/303.30 c bounds - >= 374 @ 300.721
302.50/303.30 c bounds - >= 376 @ 300.725
302.50/303.30 c bounds - >= 377 @ 300.732
302.50/303.30 c bounds - >= 379 @ 300.738
302.50/303.30 c bounds - >= 381 @ 300.741
302.50/303.30 c bounds - >= 383 @ 300.746
302.50/303.30 c bounds - >= 385 @ 300.75
302.50/303.30 c bounds - >= 387 @ 300.755
302.50/303.30 c bounds - >= 389 @ 300.759
302.50/303.30 c bounds - >= 390 @ 300.762
302.50/303.30 c bounds - >= 392 @ 300.766
302.50/303.30 c bounds - >= 394 @ 300.77
302.50/303.30 c bounds - >= 395 @ 300.776
302.50/303.30 c bounds - >= 397 @ 300.781
302.50/303.30 c bounds - >= 398 @ 300.784
302.50/303.30 c bounds - >= 399 @ 300.791
302.50/303.30 c bounds - >= 400 @ 300.798
302.50/303.30 c bounds - >= 402 @ 300.803
302.50/303.30 c bounds - >= 403 @ 300.807
302.50/303.30 c bounds - >= 404 @ 300.812
302.50/303.30 c bounds - >= 406 @ 300.818
302.50/303.30 c bounds - >= 407 @ 300.821
302.50/303.30 c bounds - >= 409 @ 300.825
302.50/303.30 c bounds - >= 411 @ 300.831
302.50/303.30 c bounds - >= 413 @ 300.838
302.50/303.30 c bounds - >= 415 @ 300.843
302.50/303.30 c bounds - >= 416 @ 300.85
302.50/303.30 c bounds - >= 417 @ 300.856
302.50/303.30 c bounds - >= 419 @ 300.861
302.50/303.30 c bounds - >= 421 @ 300.865
302.50/303.30 c bounds - >= 422 @ 300.871
302.50/303.30 c bounds - >= 423 @ 300.875
302.50/303.30 c bounds - >= 425 @ 300.88
302.50/303.30 c bounds - >= 427 @ 300.888
302.50/303.30 c bounds - >= 429 @ 300.891
302.50/303.30 c bounds - >= 431 @ 300.896
302.50/303.30 c bounds - >= 433 @ 300.901
302.50/303.30 c bounds - >= 435 @ 300.906
302.50/303.30 c bounds - >= 436 @ 300.913
302.50/303.30 c bounds - >= 438 @ 300.918
302.50/303.30 c bounds - >= 440 @ 300.922
302.50/303.30 c bounds - >= 442 @ 300.928
302.50/303.30 c bounds - >= 444 @ 300.932
302.50/303.30 c bounds - >= 445 @ 300.938
302.50/303.30 c bounds - >= 447 @ 300.943
302.50/303.30 c bounds - >= 449 @ 300.948
302.50/303.30 c bounds - >= 451 @ 300.951
302.50/303.30 c bounds - >= 452 @ 300.957
302.50/303.30 c bounds - >= 453 @ 300.96
302.50/303.30 c bounds - >= 455 @ 300.969
302.50/303.30 c bounds - >= 457 @ 300.975
302.50/303.30 c bounds - >= 459 @ 300.98
302.50/303.30 c bounds - >= 461 @ 300.983
302.50/303.30 c bounds - >= 462 @ 300.989
302.50/303.30 c bounds - >= 464 @ 300.993
302.50/303.30 c bounds - >= 466 @ 300.999
302.50/303.30 c bounds - >= 467 @ 301.003
302.50/303.30 c bounds - >= 469 @ 301.006
302.50/303.30 c bounds - >= 470 @ 301.009
302.50/303.30 c bounds - >= 472 @ 301.016
302.50/303.30 c bounds - >= 474 @ 301.022
302.50/303.30 c bounds - >= 476 @ 301.028
302.50/303.30 c bounds - >= 478 @ 301.032
302.50/303.30 c bounds - >= 480 @ 301.038
302.50/303.30 c bounds - >= 481 @ 301.042
302.50/303.30 c bounds - >= 483 @ 301.046
302.50/303.30 c bounds - >= 484 @ 301.05
302.50/303.30 c bounds - >= 486 @ 301.058
302.50/303.30 c bounds - >= 487 @ 301.067
302.50/303.30 c bounds - >= 489 @ 301.071
302.50/303.30 c bounds - >= 491 @ 301.074
302.50/303.30 c bounds - >= 493 @ 301.08
302.50/303.30 c bounds - >= 495 @ 301.086
302.50/303.30 c bounds - >= 497 @ 301.091
302.50/303.30 c bounds - >= 499 @ 301.095
302.50/303.30 c bounds - >= 500 @ 301.104
302.50/303.30 c bounds - >= 502 @ 301.111
302.50/303.30 c bounds - >= 504 @ 301.114
302.50/303.30 c bounds - >= 505 @ 301.12
302.50/303.30 c bounds - >= 507 @ 301.126
302.50/303.30 c bounds - >= 508 @ 301.133
302.50/303.30 c bounds - >= 510 @ 301.138
302.50/303.30 c bounds - >= 511 @ 301.143
302.50/303.30 c bounds - >= 513 @ 301.15
302.50/303.30 c bounds - >= 515 @ 301.153
302.50/303.30 c bounds - >= 516 @ 301.159
302.50/303.30 c bounds - >= 518 @ 301.167
302.50/303.30 c bounds - >= 520 @ 301.173
302.50/303.30 c bounds - >= 521 @ 301.179
302.50/303.30 c bounds - >= 522 @ 301.184
302.50/303.30 c bounds - >= 523 @ 301.188
302.50/303.30 c bounds - >= 525 @ 301.193
302.50/303.30 c bounds - >= 527 @ 301.196
302.50/303.30 c bounds - >= 529 @ 301.201
304.09/304.99 c bounds - >= 531 @ 301.208
304.09/304.99 c bounds - >= 533 @ 301.212
304.09/304.99 c bounds - >= 535 @ 301.216
304.09/304.99 c bounds - >= 536 @ 301.22
304.09/304.99 c bounds - >= 538 @ 301.225
304.09/304.99 c bounds - >= 540 @ 301.232
304.09/304.99 c bounds - >= 542 @ 301.237
304.09/304.99 c bounds - >= 544 @ 301.242
304.09/304.99 c bounds - >= 546 @ 301.247
304.09/304.99 c bounds - >= 548 @ 301.25
304.09/304.99 c bounds - >= 549 @ 301.257
304.09/304.99 c bounds - >= 551 @ 301.262
304.09/304.99 c bounds - >= 552 @ 301.267
304.09/304.99 c bounds - >= 554 @ 301.272
304.09/304.99 c bounds - >= 556 @ 301.276
304.09/304.99 c bounds - >= 558 @ 301.281
304.09/304.99 c bounds - >= 560 @ 301.287
304.09/304.99 c bounds - >= 562 @ 301.294
304.09/304.99 c bounds - >= 564 @ 301.301
304.09/304.99 c bounds - >= 566 @ 301.306
304.09/304.99 c bounds - >= 568 @ 301.31
304.09/304.99 c bounds - >= 570 @ 301.314
304.09/304.99 c bounds - >= 572 @ 301.32
304.09/304.99 c bounds - >= 574 @ 301.324
304.09/304.99 c bounds - >= 575 @ 301.33
304.09/304.99 c bounds - >= 577 @ 301.335
304.09/304.99 c bounds - >= 579 @ 301.339
304.09/304.99 c bounds - >= 581 @ 301.345
304.09/304.99 c bounds - >= 583 @ 301.348
304.09/304.99 c bounds - >= 585 @ 301.355
304.09/304.99 c bounds - >= 587 @ 301.361
304.09/304.99 c bounds - >= 588 @ 301.368
304.09/304.99 c bounds - >= 590 @ 301.372
304.09/304.99 c bounds - >= 592 @ 301.378
304.09/304.99 c bounds - >= 594 @ 301.384
304.09/304.99 c bounds - >= 596 @ 301.388
304.09/304.99 c bounds - >= 598 @ 301.395
304.09/304.99 c bounds - >= 600 @ 301.4
304.09/304.99 c bounds - >= 602 @ 301.405
304.09/304.99 c bounds - >= 603 @ 301.408
304.09/304.99 c bounds - >= 605 @ 301.414
304.09/304.99 c bounds - >= 607 @ 301.42
304.09/304.99 c bounds - >= 609 @ 301.427
304.09/304.99 c bounds - >= 611 @ 301.431
304.09/304.99 c bounds - >= 613 @ 301.436
304.09/304.99 c bounds - >= 615 @ 301.44
304.09/304.99 c bounds - >= 616 @ 301.443
304.09/304.99 c bounds - >= 617 @ 301.447
304.09/304.99 c bounds - >= 619 @ 301.454
304.09/304.99 c bounds - >= 620 @ 301.461
304.09/304.99 c bounds - >= 622 @ 301.466
304.09/304.99 c bounds - >= 623 @ 301.473
304.09/304.99 c bounds - >= 624 @ 301.48
304.09/304.99 c bounds - >= 626 @ 301.484
304.09/304.99 c bounds - >= 628 @ 301.49
304.09/304.99 c bounds - >= 629 @ 301.495
304.09/304.99 c bounds - >= 631 @ 301.5
304.09/304.99 c bounds - >= 633 @ 301.506
304.09/304.99 c bounds - >= 634 @ 301.514
304.09/304.99 c bounds - >= 635 @ 301.521
304.09/304.99 c bounds - >= 636 @ 301.527
304.09/304.99 c bounds - >= 637 @ 301.532
304.09/304.99 c bounds - >= 638 @ 301.538
304.09/304.99 c bounds - >= 640 @ 301.543
304.09/304.99 c bounds - >= 641 @ 301.548
304.09/304.99 c bounds - >= 642 @ 301.554
304.09/304.99 c bounds - >= 643 @ 301.561
304.09/304.99 c bounds - >= 644 @ 301.564
304.09/304.99 c bounds - >= 645 @ 301.568
304.09/304.99 c bounds - >= 646 @ 301.575
304.09/304.99 c bounds - >= 647 @ 301.582
304.09/304.99 c bounds - >= 648 @ 301.585
304.09/304.99 c bounds - >= 649 @ 301.591
304.09/304.99 c bounds - >= 650 @ 301.597
304.09/304.99 c bounds - >= 652 @ 301.604
304.09/304.99 c bounds - >= 653 @ 301.607
304.09/304.99 c bounds - >= 654 @ 301.612
304.09/304.99 c bounds - >= 655 @ 301.617
304.09/304.99 c bounds - >= 656 @ 301.623
304.09/304.99 c bounds - >= 658 @ 301.629
304.09/304.99 c bounds - >= 659 @ 301.632
304.09/304.99 c bounds - >= 660 @ 301.635
304.09/304.99 c bounds - >= 662 @ 301.641
304.09/304.99 c bounds - >= 663 @ 301.645
304.09/304.99 c bounds - >= 665 @ 301.651
304.09/304.99 c bounds - >= 666 @ 301.659
304.09/304.99 c bounds - >= 667 @ 301.662
304.09/304.99 c bounds - >= 668 @ 301.665
304.09/304.99 c bounds - >= 669 @ 301.671
304.09/304.99 c bounds - >= 670 @ 301.677
304.09/304.99 c bounds - >= 671 @ 301.681
304.09/304.99 c bounds - >= 672 @ 301.686
304.09/304.99 c bounds - >= 673 @ 301.692
304.09/304.99 c bounds - >= 674 @ 301.696
304.09/304.99 c bounds - >= 675 @ 301.7
304.09/304.99 c bounds - >= 676 @ 301.704
304.09/304.99 c bounds - >= 677 @ 301.711
304.09/304.99 c bounds - >= 678 @ 301.718
304.09/304.99 c bounds - >= 679 @ 301.723
304.09/304.99 c bounds - >= 680 @ 301.731
304.09/304.99 c bounds - >= 681 @ 301.737
304.09/304.99 c bounds - >= 682 @ 301.742
304.09/304.99 c bounds - >= 683 @ 301.746
304.09/304.99 c bounds - >= 684 @ 301.751
304.09/304.99 c bounds - >= 685 @ 301.755
304.09/304.99 c bounds - >= 686 @ 301.761
304.09/304.99 c bounds - >= 687 @ 301.766
304.09/304.99 c bounds - >= 688 @ 301.77
304.09/304.99 c bounds - >= 689 @ 301.775
304.09/304.99 c bounds - >= 690 @ 301.781
304.09/304.99 c bounds - >= 691 @ 301.786
304.09/304.99 c bounds - >= 692 @ 301.791
304.09/304.99 c bounds - >= 693 @ 301.797
304.09/304.99 c bounds - >= 694 @ 301.804
304.09/304.99 c bounds - >= 695 @ 301.81
304.09/304.99 c bounds - >= 696 @ 301.815
304.09/304.99 c bounds - >= 697 @ 301.819
304.09/304.99 c bounds - >= 698 @ 301.824
304.09/304.99 c bounds - >= 699 @ 301.829
304.09/304.99 c bounds - >= 700 @ 301.833
304.09/304.99 c bounds - >= 701 @ 301.839
304.09/304.99 c bounds - >= 702 @ 301.843
304.09/304.99 c bounds - >= 703 @ 301.849
304.09/304.99 c bounds - >= 704 @ 301.854
304.09/304.99 c bounds - >= 705 @ 301.861
304.09/304.99 c bounds - >= 706 @ 301.866
304.09/304.99 c bounds - >= 707 @ 301.871
304.09/304.99 c bounds - >= 708 @ 301.875
304.09/304.99 c bounds - >= 709 @ 301.879
304.09/304.99 c bounds - >= 710 @ 301.886
304.09/304.99 c bounds - >= 711 @ 301.892
304.09/304.99 c bounds - >= 712 @ 301.898
304.09/304.99 c bounds - >= 713 @ 301.905
304.09/304.99 c bounds - >= 714 @ 301.911
304.09/304.99 c bounds - >= 715 @ 301.917
304.09/304.99 c bounds - >= 716 @ 301.923
304.09/304.99 c bounds - >= 717 @ 301.929
304.09/304.99 c bounds - >= 718 @ 301.933
304.09/304.99 c bounds - >= 719 @ 301.938
304.09/304.99 c bounds - >= 720 @ 301.943
304.09/304.99 c bounds - >= 721 @ 301.947
304.09/304.99 c bounds - >= 722 @ 301.952
304.09/304.99 c bounds - >= 723 @ 301.958
304.09/304.99 c bounds - >= 724 @ 301.963
304.09/304.99 c bounds - >= 725 @ 301.97
304.09/304.99 c bounds - >= 726 @ 301.975
304.09/304.99 c bounds - >= 727 @ 301.982
306.29/307.10 c bounds - >= 728 @ 301.991
306.29/307.10 c bounds - >= 729 @ 301.998
306.29/307.10 c bounds - >= 730 @ 302.002
306.29/307.10 c bounds - >= 731 @ 302.007
306.29/307.10 c bounds - >= 732 @ 302.012
306.29/307.10 c bounds - >= 733 @ 302.019
306.29/307.10 c bounds - >= 734 @ 302.024
306.29/307.10 c bounds - >= 735 @ 302.03
306.29/307.10 c bounds - >= 736 @ 302.036
306.29/307.10 c bounds - >= 737 @ 302.042
306.29/307.10 c bounds - >= 738 @ 302.047
306.29/307.10 c bounds - >= 739 @ 302.053
306.29/307.10 c bounds - >= 740 @ 302.061
306.29/307.10 c bounds - >= 741 @ 302.07
306.29/307.10 c bounds - >= 742 @ 302.073
306.29/307.10 c bounds - >= 743 @ 302.079
306.29/307.10 c bounds - >= 744 @ 302.083
306.29/307.10 c bounds - >= 745 @ 302.088
306.29/307.10 c bounds - >= 746 @ 302.094
306.29/307.10 c bounds - >= 747 @ 302.1
306.29/307.10 c bounds - >= 748 @ 302.105
306.29/307.10 c bounds - >= 749 @ 302.111
306.29/307.10 c bounds - >= 750 @ 302.118
306.29/307.10 c bounds - >= 751 @ 302.126
306.29/307.10 c bounds - >= 752 @ 302.13
306.29/307.10 c bounds - >= 753 @ 302.134
306.29/307.10 c bounds - >= 754 @ 302.139
306.29/307.10 c bounds - >= 755 @ 302.146
306.29/307.10 c bounds - >= 756 @ 302.151
306.29/307.10 c bounds - >= 757 @ 302.158
306.29/307.10 c bounds - >= 758 @ 302.165
306.29/307.10 c bounds - >= 759 @ 302.174
306.29/307.10 c bounds - >= 760 @ 302.182
306.29/307.10 c bounds - >= 761 @ 302.188
306.29/307.10 c bounds - >= 762 @ 302.195
306.29/307.10 c bounds - >= 763 @ 302.202
306.29/307.10 c bounds - >= 764 @ 302.21
306.29/307.10 c bounds - >= 765 @ 302.216
306.29/307.10 c bounds - >= 766 @ 302.221
306.29/307.10 c bounds - >= 767 @ 302.227
306.29/307.10 c bounds - >= 768 @ 302.234
306.29/307.10 c bounds - >= 769 @ 302.24
306.29/307.10 c bounds - >= 770 @ 302.248
306.29/307.10 c bounds - >= 771 @ 302.256
306.29/307.10 c bounds - >= 772 @ 302.263
306.29/307.10 c bounds - >= 773 @ 302.267
306.29/307.10 c bounds - >= 774 @ 302.271
306.29/307.10 c bounds - >= 775 @ 302.275
306.29/307.10 c bounds - >= 776 @ 302.282
306.29/307.10 c bounds - >= 777 @ 302.287
306.29/307.10 c bounds - >= 778 @ 302.29
306.29/307.10 c bounds - >= 779 @ 302.296
306.29/307.10 c bounds - >= 780 @ 302.303
306.29/307.10 c bounds - >= 781 @ 302.31
306.29/307.10 c bounds - >= 782 @ 302.317
306.29/307.10 c bounds - >= 783 @ 302.323
306.29/307.10 c bounds - >= 784 @ 302.327
306.29/307.10 c bounds - >= 785 @ 302.334
306.29/307.10 c bounds - >= 786 @ 302.339
306.29/307.10 c bounds - >= 787 @ 302.344
306.29/307.10 c bounds - >= 788 @ 302.352
306.29/307.10 c bounds - >= 789 @ 302.358
306.29/307.10 c bounds - >= 790 @ 302.364
306.29/307.10 c bounds - >= 791 @ 302.369
306.29/307.10 c bounds - >= 792 @ 302.377
306.29/307.10 c bounds - >= 793 @ 302.384
306.29/307.10 c bounds - >= 794 @ 302.389
306.29/307.10 c bounds - >= 795 @ 302.395
306.29/307.10 c bounds - >= 796 @ 302.402
306.29/307.10 c bounds - >= 797 @ 302.406
306.29/307.10 c bounds - >= 798 @ 302.411
306.29/307.10 c bounds - >= 799 @ 302.42
306.29/307.10 c bounds - >= 800 @ 302.427
306.29/307.10 c bounds - >= 801 @ 302.432
306.29/307.10 c bounds - >= 802 @ 302.438
306.29/307.10 c bounds - >= 803 @ 302.444
306.29/307.10 c bounds - >= 804 @ 302.45
306.29/307.10 c bounds - >= 805 @ 302.459
306.29/307.10 c bounds - >= 806 @ 302.465
306.29/307.10 c bounds - >= 807 @ 302.476
306.29/307.10 c bounds - >= 808 @ 302.483
306.29/307.10 c bounds - >= 809 @ 302.488
306.29/307.10 c bounds - >= 810 @ 302.492
306.29/307.10 c bounds - >= 811 @ 302.499
306.29/307.10 c bounds - >= 812 @ 302.509
306.29/307.10 c bounds - >= 813 @ 302.516
306.29/307.10 c bounds - >= 814 @ 302.521
306.29/307.10 c bounds - >= 815 @ 302.53
306.29/307.10 c bounds - >= 816 @ 302.537
306.29/307.10 c bounds - >= 817 @ 302.543
306.29/307.10 c bounds - >= 818 @ 302.547
306.29/307.10 c bounds - >= 819 @ 302.554
306.29/307.10 c bounds - >= 820 @ 302.561
306.29/307.10 c bounds - >= 821 @ 302.569
306.29/307.10 c bounds - >= 822 @ 302.575
306.29/307.10 c bounds - >= 823 @ 302.582
306.29/307.10 c bounds - >= 824 @ 302.586
306.29/307.10 c bounds - >= 825 @ 302.592
306.29/307.10 c bounds - >= 826 @ 302.602
306.29/307.10 c bounds - >= 827 @ 302.606
306.29/307.10 c bounds - >= 828 @ 302.615
306.29/307.10 c bounds - >= 829 @ 302.623
306.29/307.10 c bounds - >= 830 @ 302.627
306.29/307.10 c bounds - >= 831 @ 302.633
306.29/307.10 c bounds - >= 832 @ 302.639
306.29/307.10 c bounds - >= 833 @ 302.645
306.29/307.10 c bounds - >= 834 @ 302.649
306.29/307.10 c bounds - >= 835 @ 302.656
306.29/307.10 c bounds - >= 836 @ 302.662
306.29/307.10 c bounds - >= 837 @ 302.668
306.29/307.10 c bounds - >= 838 @ 302.674
306.29/307.10 c bounds - >= 839 @ 302.682
306.29/307.10 c bounds - >= 840 @ 302.69
306.29/307.10 c bounds - >= 841 @ 302.696
306.29/307.10 c bounds - >= 842 @ 302.701
306.29/307.10 c bounds - >= 843 @ 302.706
306.29/307.10 c bounds - >= 844 @ 302.712
306.29/307.10 c bounds - >= 845 @ 302.718
306.29/307.10 c bounds - >= 846 @ 302.724
306.29/307.10 c bounds - >= 847 @ 302.729
306.29/307.10 c bounds - >= 848 @ 302.735
306.29/307.10 c bounds - >= 849 @ 302.741
306.29/307.10 c bounds - >= 850 @ 302.749
306.29/307.10 c bounds - >= 851 @ 302.757
306.29/307.10 c bounds - >= 852 @ 302.765
306.29/307.10 c bounds - >= 853 @ 302.772
306.29/307.10 c bounds - >= 854 @ 302.78
306.29/307.10 c bounds - >= 855 @ 302.784
306.29/307.10 c bounds - >= 856 @ 302.793
306.29/307.10 c bounds - >= 857 @ 302.798
306.29/307.10 c bounds - >= 858 @ 302.808
306.29/307.10 c bounds - >= 859 @ 302.816
306.29/307.10 c bounds - >= 860 @ 302.822
306.29/307.10 c bounds - >= 861 @ 302.826
306.29/307.10 c bounds - >= 862 @ 302.832
306.29/307.10 c bounds - >= 863 @ 302.837
306.29/307.10 c bounds - >= 864 @ 302.843
306.29/307.10 c bounds - >= 865 @ 302.853
306.29/307.10 c bounds - >= 866 @ 302.861
306.29/307.10 c bounds - >= 867 @ 302.867
306.29/307.10 c bounds - >= 868 @ 302.873
306.29/307.10 c bounds - >= 869 @ 302.878
306.29/307.10 c bounds - >= 870 @ 302.883
306.29/307.10 c bounds - >= 871 @ 302.89
306.29/307.10 c bounds - >= 872 @ 302.898
306.29/307.10 c bounds - >= 873 @ 302.903
306.29/307.10 c bounds - >= 874 @ 302.908
308.48/309.39 c bounds - >= 875 @ 302.912
308.48/309.39 c bounds - >= 876 @ 302.917
308.48/309.39 c bounds - >= 877 @ 302.924
308.48/309.39 c bounds - >= 878 @ 302.93
308.48/309.39 c bounds - >= 879 @ 302.938
308.48/309.39 c bounds - >= 880 @ 302.946
308.48/309.39 c bounds - >= 881 @ 302.954
308.48/309.39 c bounds - >= 882 @ 302.958
308.48/309.39 c bounds - >= 883 @ 302.967
308.48/309.39 c bounds - >= 884 @ 302.974
308.48/309.39 c bounds - >= 885 @ 302.98
308.48/309.39 c bounds - >= 886 @ 302.987
308.48/309.39 c bounds - >= 887 @ 302.994
308.48/309.39 c bounds - >= 888 @ 303.002
308.48/309.39 c bounds - >= 889 @ 303.008
308.48/309.39 c bounds - >= 890 @ 303.013
308.48/309.39 c bounds - >= 891 @ 303.019
308.48/309.39 c bounds - >= 892 @ 303.024
308.48/309.39 c bounds - >= 893 @ 303.029
308.48/309.39 c bounds - >= 894 @ 303.033
308.48/309.39 c bounds - >= 895 @ 303.04
308.48/309.39 c bounds - >= 896 @ 303.045
308.48/309.39 c bounds - >= 897 @ 303.051
308.48/309.39 c bounds - >= 898 @ 303.056
308.48/309.39 c bounds - >= 899 @ 303.063
308.48/309.39 c bounds - >= 900 @ 303.074
308.48/309.39 c bounds - >= 901 @ 303.084
308.48/309.39 c bounds - >= 902 @ 303.092
308.48/309.39 c bounds - >= 903 @ 303.096
308.48/309.39 c bounds - >= 904 @ 303.102
308.48/309.39 c bounds - >= 905 @ 303.108
308.48/309.39 c bounds - >= 906 @ 303.115
308.48/309.39 c bounds - >= 907 @ 303.12
308.48/309.39 c bounds - >= 908 @ 303.13
308.48/309.39 c bounds - >= 909 @ 303.139
308.48/309.39 c bounds - >= 910 @ 303.145
308.48/309.39 c bounds - >= 911 @ 303.153
308.48/309.39 c bounds - >= 912 @ 303.158
308.48/309.39 c bounds - >= 913 @ 303.163
308.48/309.39 c bounds - >= 914 @ 303.173
308.48/309.39 c bounds - >= 915 @ 303.178
308.48/309.39 c bounds - >= 916 @ 303.186
308.48/309.39 c bounds - >= 917 @ 303.194
308.48/309.39 c bounds - >= 918 @ 303.199
308.48/309.39 c bounds - >= 919 @ 303.205
308.48/309.39 c bounds - >= 920 @ 303.212
308.48/309.39 c bounds - >= 921 @ 303.218
308.48/309.39 c bounds - >= 922 @ 303.227
308.48/309.39 c bounds - >= 923 @ 303.235
308.48/309.39 c bounds - >= 924 @ 303.243
308.48/309.39 c bounds - >= 925 @ 303.25
308.48/309.39 c bounds - >= 926 @ 303.255
308.48/309.39 c bounds - >= 927 @ 303.261
308.48/309.39 c bounds - >= 928 @ 303.272
308.48/309.39 c bounds - >= 929 @ 303.279
308.48/309.39 c bounds - >= 930 @ 303.285
308.48/309.39 c bounds - >= 931 @ 303.289
308.48/309.39 c bounds - >= 932 @ 303.298
308.48/309.39 c bounds - >= 933 @ 303.305
308.48/309.39 c bounds - >= 934 @ 303.315
308.48/309.39 c bounds - >= 935 @ 303.318
308.48/309.39 c bounds - >= 936 @ 303.325
308.48/309.39 c bounds - >= 937 @ 303.331
308.48/309.39 c bounds - >= 938 @ 303.338
308.48/309.39 c bounds - >= 939 @ 303.343
308.48/309.39 c bounds - >= 940 @ 303.351
308.48/309.39 c bounds - >= 941 @ 303.357
308.48/309.39 c bounds - >= 942 @ 303.363
308.48/309.39 c bounds - >= 943 @ 303.371
308.48/309.39 c bounds - >= 944 @ 303.381
308.48/309.39 c bounds - >= 945 @ 303.389
308.48/309.39 c bounds - >= 946 @ 303.398
308.48/309.39 c bounds - >= 947 @ 303.403
308.48/309.39 c bounds - >= 948 @ 303.412
308.48/309.39 c bounds - >= 949 @ 303.419
308.48/309.39 c bounds - >= 950 @ 303.428
308.48/309.39 c bounds - >= 951 @ 303.434
308.48/309.39 c bounds - >= 952 @ 303.441
308.48/309.39 c bounds - >= 953 @ 303.45
308.48/309.39 c bounds - >= 954 @ 303.456
308.48/309.39 c bounds - >= 955 @ 303.462
308.48/309.39 c bounds - >= 956 @ 303.466
308.48/309.39 c bounds - >= 957 @ 303.474
308.48/309.39 c bounds - >= 958 @ 303.479
308.48/309.39 c bounds - >= 959 @ 303.485
308.48/309.39 c bounds - >= 960 @ 303.492
308.48/309.39 c bounds - >= 961 @ 303.497
308.48/309.39 c bounds - >= 962 @ 303.504
308.48/309.39 c bounds - >= 963 @ 303.509
308.48/309.39 c bounds - >= 964 @ 303.518
308.48/309.39 c bounds - >= 965 @ 303.524
308.48/309.39 c bounds - >= 966 @ 303.531
308.48/309.39 c bounds - >= 967 @ 303.536
308.48/309.39 c bounds - >= 968 @ 303.543
308.48/309.39 c bounds - >= 969 @ 303.55
308.48/309.39 c bounds - >= 970 @ 303.562
308.48/309.39 c bounds - >= 971 @ 303.571
308.48/309.39 c bounds - >= 972 @ 303.577
308.48/309.39 c bounds - >= 973 @ 303.583
308.48/309.39 c bounds - >= 974 @ 303.589
308.48/309.39 c bounds - >= 975 @ 303.593
308.48/309.39 c bounds - >= 976 @ 303.6
308.48/309.39 c bounds - >= 977 @ 303.604
308.48/309.39 c bounds - >= 978 @ 303.611
308.48/309.39 c bounds - >= 979 @ 303.62
308.48/309.39 c bounds - >= 980 @ 303.628
308.48/309.39 c bounds - >= 981 @ 303.638
308.48/309.39 c bounds - >= 982 @ 303.645
308.48/309.39 c bounds - >= 983 @ 303.65
308.48/309.39 c bounds - >= 984 @ 303.657
308.48/309.39 c bounds - >= 985 @ 303.667
308.48/309.39 c bounds - >= 986 @ 303.672
308.48/309.39 c bounds - >= 987 @ 303.68
308.48/309.39 c bounds - >= 988 @ 303.687
308.48/309.39 c bounds - >= 989 @ 303.693
308.48/309.39 c bounds - >= 990 @ 303.702
308.48/309.39 c bounds - >= 991 @ 303.708
308.48/309.39 c bounds - >= 992 @ 303.715
308.48/309.39 c bounds - >= 993 @ 303.722
308.48/309.39 c bounds - >= 994 @ 303.729
308.48/309.39 c bounds - >= 995 @ 303.737
308.48/309.39 c bounds - >= 996 @ 303.745
308.48/309.39 c bounds - >= 997 @ 303.749
308.48/309.39 c bounds - >= 998 @ 303.755
308.48/309.39 c bounds - >= 999 @ 303.762
308.48/309.39 c bounds - >= 1000 @ 303.768
308.48/309.39 c bounds - >= 1001 @ 303.775
308.48/309.39 c bounds - >= 1002 @ 303.782
308.48/309.39 c bounds - >= 1003 @ 303.788
308.48/309.39 c bounds - >= 1004 @ 303.799
308.48/309.39 c bounds - >= 1005 @ 303.804
308.48/309.39 c bounds - >= 1006 @ 303.81
308.48/309.39 c bounds - >= 1007 @ 303.815
308.48/309.39 c bounds - >= 1008 @ 303.82
308.48/309.39 c bounds - >= 1009 @ 303.829
308.48/309.39 c bounds - >= 1010 @ 303.838
308.48/309.39 c bounds - >= 1011 @ 303.847
308.48/309.39 c bounds - >= 1012 @ 303.855
308.48/309.39 c bounds - >= 1013 @ 303.864
308.48/309.39 c bounds - >= 1014 @ 303.87
308.48/309.39 c bounds - >= 1015 @ 303.877
308.48/309.39 c bounds - >= 1016 @ 303.885
308.48/309.39 c bounds - >= 1017 @ 303.89
308.48/309.39 c bounds - >= 1018 @ 303.897
308.48/309.39 c bounds - >= 1019 @ 303.904
308.48/309.39 c bounds - >= 1020 @ 303.91
842.38/844.82 c bounds - >= 1021 @ 303.916
842.38/844.82 c bounds - >= 1022 @ 303.919
842.38/844.82 c bounds - >= 1023 @ 303.924
842.38/844.82 c bounds - >= 1024 @ 303.931
842.38/844.82 c bounds - >= 1025 @ 303.936
842.38/844.82 c bounds - >= 1026 @ 303.943
842.38/844.82 c bounds - >= 1027 @ 303.949
842.38/844.82 c bounds - >= 1028 @ 303.953
842.38/844.82 c bounds - >= 1029 @ 303.957
842.38/844.82 c bounds - >= 1030 @ 303.962
842.38/844.82 c bounds - >= 1031 @ 303.967
842.38/844.82 c bounds - >= 1032 @ 303.974
842.38/844.82 c #Conflicts: 1000 | #Constraints: 6325
842.38/844.82 c #Conflicts: 2000 | #Constraints: 7325
842.38/844.82 c INPROCESSING
842.38/844.82 c GARBAGE COLLECT
842.38/844.82 c #Conflicts: 3000 | #Constraints: 6638
842.38/844.82 c #Conflicts: 4000 | #Constraints: 7638
842.38/844.82 c INPROCESSING
842.38/844.82 c GARBAGE COLLECT
842.38/844.82 c #Conflicts: 5000 | #Constraints: 7068
842.38/844.82 c #Conflicts: 6000 | #Constraints: 8068
842.38/844.82 c INPROCESSING
842.38/844.82 c GARBAGE COLLECT
842.38/844.82 c #Conflicts: 7000 | #Constraints: 7087
842.38/844.82 c #Conflicts: 8000 | #Constraints: 8087
842.38/844.82 c #Conflicts: 9000 | #Constraints: 9087
842.38/844.82 c INPROCESSING
842.38/844.82 c GARBAGE COLLECT
842.38/844.82 c #Conflicts: 10000 | #Constraints: 7810
842.38/844.82 c #Conflicts: 11000 | #Constraints: 8810
842.38/844.82 c #Conflicts: 12000 | #Constraints: 9810
842.38/844.82 c INPROCESSING
842.38/844.82 c GARBAGE COLLECT
842.38/844.82 c #Conflicts: 13000 | #Constraints: 8272
842.38/844.82 c #Conflicts: 14000 | #Constraints: 9272
842.38/844.82 c #Conflicts: 15000 | #Constraints: 10272
842.38/844.82 c INPROCESSING
842.38/844.82 c GARBAGE COLLECT
842.38/844.82 c #Conflicts: 16000 | #Constraints: 8505
842.38/844.82 c #Conflicts: 17000 | #Constraints: 9505
842.38/844.82 c #Conflicts: 18000 | #Constraints: 10505
842.38/844.82 c INPROCESSING
842.38/844.82 c GARBAGE COLLECT
842.38/844.82 c #Conflicts: 19000 | #Constraints: 8530
842.38/844.82 c #Conflicts: 20000 | #Constraints: 9530
842.38/844.82 c #Conflicts: 21000 | #Constraints: 10530
842.38/844.82 c INPROCESSING
842.38/844.82 c GARBAGE COLLECT
842.38/844.82 c #Conflicts: 22000 | #Constraints: 8342
842.38/844.82 c #Conflicts: 23000 | #Constraints: 9342
842.38/844.82 c #Conflicts: 24000 | #Constraints: 10342
842.38/844.82 c #Conflicts: 25000 | #Constraints: 11342
842.38/844.82 c INPROCESSING
842.38/844.82 c GARBAGE COLLECT
842.38/844.82 c #Conflicts: 26000 | #Constraints: 8950
842.38/844.82 c #Conflicts: 27000 | #Constraints: 9950
842.38/844.82 c #Conflicts: 28000 | #Constraints: 10950
842.38/844.82 c #Conflicts: 29000 | #Constraints: 11950
842.38/844.82 c INPROCESSING
842.38/844.82 c GARBAGE COLLECT
842.38/844.82 c #Conflicts: 30000 | #Constraints: 9353
842.38/844.82 c #Conflicts: 31000 | #Constraints: 10353
842.38/844.82 c #Conflicts: 32000 | #Constraints: 11353
842.38/844.82 c #Conflicts: 33000 | #Constraints: 12353
842.38/844.82 c INPROCESSING
842.38/844.82 c GARBAGE COLLECT
842.38/844.82 c #Conflicts: 34000 | #Constraints: 9578
842.38/844.82 c #Conflicts: 35000 | #Constraints: 10578
842.38/844.82 c #Conflicts: 36000 | #Constraints: 11578
842.38/844.82 c #Conflicts: 37000 | #Constraints: 12578
842.38/844.82 c INPROCESSING
842.38/844.82 c GARBAGE COLLECT
842.38/844.82 c #Conflicts: 38000 | #Constraints: 9574
842.38/844.82 c #Conflicts: 39000 | #Constraints: 10574
842.38/844.82 c #Conflicts: 40000 | #Constraints: 11574
842.38/844.82 c #Conflicts: 41000 | #Constraints: 12574
842.38/844.82 c INPROCESSING
842.38/844.82 c GARBAGE COLLECT
842.38/844.82 c #Conflicts: 42000 | #Constraints: 9379
842.38/844.82 c #Conflicts: 43000 | #Constraints: 10379
842.38/844.82 c #Conflicts: 44000 | #Constraints: 11379
842.38/844.82 c #Conflicts: 45000 | #Constraints: 12379
842.38/844.82 c #Conflicts: 46000 | #Constraints: 13379
842.38/844.82 c INPROCESSING
842.38/844.82 c GARBAGE COLLECT
842.38/844.82 c #Conflicts: 47000 | #Constraints: 9974
842.38/844.82 c #Conflicts: 48000 | #Constraints: 10974
842.38/844.82 c #Conflicts: 49000 | #Constraints: 11974
842.38/844.82 c #Conflicts: 50000 | #Constraints: 12974
842.38/844.82 c #Conflicts: 51000 | #Constraints: 13974
842.38/844.82 c INPROCESSING
842.38/844.82 c GARBAGE COLLECT
842.38/844.82 c #Conflicts: 52000 | #Constraints: 10392
842.38/844.82 c #Conflicts: 53000 | #Constraints: 11392
842.38/844.82 c #Conflicts: 54000 | #Constraints: 12392
842.38/844.82 c #Conflicts: 55000 | #Constraints: 13392
842.38/844.82 c #Conflicts: 56000 | #Constraints: 14392
842.38/844.82 c INPROCESSING
842.38/844.82 c GARBAGE COLLECT
842.38/844.82 c #Conflicts: 57000 | #Constraints: 10593
842.38/844.82 c #Conflicts: 58000 | #Constraints: 11593
842.38/844.82 c #Conflicts: 59000 | #Constraints: 12593
842.38/844.82 c #Conflicts: 60000 | #Constraints: 13593
842.38/844.82 c #Conflicts: 61000 | #Constraints: 14593
842.38/844.82 c INPROCESSING
842.38/844.82 c GARBAGE COLLECT
842.38/844.82 c #Conflicts: 62000 | #Constraints: 10599
1594.32/1598.93 c #Conflicts: 63000 | #Constraints: 11599
1594.32/1598.93 c #Conflicts: 64000 | #Constraints: 12599
1594.32/1598.93 c #Conflicts: 65000 | #Constraints: 13599
1594.32/1598.93 c #Conflicts: 66000 | #Constraints: 14599
1594.32/1598.93 c INPROCESSING
1594.32/1598.93 c GARBAGE COLLECT
1594.32/1598.93 c #Conflicts: 67000 | #Constraints: 10394
1594.32/1598.93 c #Conflicts: 68000 | #Constraints: 11394
1594.32/1598.93 c #Conflicts: 69000 | #Constraints: 12394
1594.32/1598.93 c #Conflicts: 70000 | #Constraints: 13394
1594.32/1598.93 c #Conflicts: 71000 | #Constraints: 14394
1594.32/1598.93 c #Conflicts: 72000 | #Constraints: 15394
1594.32/1598.93 c INPROCESSING
1594.32/1598.93 c GARBAGE COLLECT
1594.32/1598.93 c #Conflicts: 73000 | #Constraints: 11011
1594.32/1598.93 c #Conflicts: 74000 | #Constraints: 12011
1594.32/1598.93 c #Conflicts: 75000 | #Constraints: 13011
1594.32/1598.93 c #Conflicts: 76000 | #Constraints: 14011
1594.32/1598.93 c #Conflicts: 77000 | #Constraints: 15011
1594.32/1598.93 c #Conflicts: 78000 | #Constraints: 16011
1594.32/1598.93 c INPROCESSING
1594.32/1598.93 c GARBAGE COLLECT
1594.32/1598.93 c #Conflicts: 79000 | #Constraints: 11413
1594.32/1598.93 c #Conflicts: 80000 | #Constraints: 12413
1594.32/1598.93 c #Conflicts: 81000 | #Constraints: 13413
1594.32/1598.93 c #Conflicts: 82000 | #Constraints: 14413
1594.32/1598.93 c #Conflicts: 83000 | #Constraints: 15413
1594.32/1598.93 c #Conflicts: 84000 | #Constraints: 16413
1594.32/1598.93 c INPROCESSING
1594.32/1598.93 c GARBAGE COLLECT
1594.32/1598.93 c #Conflicts: 85000 | #Constraints: 11546
1594.32/1598.93 c #Conflicts: 86000 | #Constraints: 12546
1594.32/1598.93 c #Conflicts: 87000 | #Constraints: 13546
1594.32/1598.93 c #Conflicts: 88000 | #Constraints: 14546
1594.32/1598.93 c #Conflicts: 89000 | #Constraints: 15546
1594.32/1598.93 c #Conflicts: 90000 | #Constraints: 16546
1594.32/1598.93 c INPROCESSING
1594.32/1598.93 c GARBAGE COLLECT
1594.32/1598.93 c #Conflicts: 91000 | #Constraints: 11527
1594.32/1598.93 c #Conflicts: 92000 | #Constraints: 12527
1594.32/1598.93 c #Conflicts: 93000 | #Constraints: 13527
1594.32/1598.93 c #Conflicts: 94000 | #Constraints: 14527
1594.32/1598.93 c #Conflicts: 95000 | #Constraints: 15527
1594.32/1598.93 c #Conflicts: 96000 | #Constraints: 16527
1594.32/1598.93 c INPROCESSING
1594.32/1598.93 c GARBAGE COLLECT
1594.32/1598.93 c #Conflicts: 97000 | #Constraints: 11327
1594.32/1598.93 c #Conflicts: 98000 | #Constraints: 12327
1594.32/1598.93 c #Conflicts: 99000 | #Constraints: 13327
1594.32/1598.93 c #Conflicts: 100000 | #Constraints: 14327
1594.32/1598.93 c #Conflicts: 101000 | #Constraints: 15327
1594.32/1598.93 c #Conflicts: 102000 | #Constraints: 16327
1594.32/1598.93 c #Conflicts: 103000 | #Constraints: 17327
1594.32/1598.93 c INPROCESSING
1594.32/1598.93 c GARBAGE COLLECT
1594.32/1598.93 c #Conflicts: 104000 | #Constraints: 11918
1594.32/1598.93 c #Conflicts: 105000 | #Constraints: 12918
1594.32/1598.93 c #Conflicts: 106000 | #Constraints: 13918
1594.32/1598.93 c #Conflicts: 107000 | #Constraints: 14918
1594.32/1598.93 c #Conflicts: 108000 | #Constraints: 15918
1594.32/1598.93 c #Conflicts: 109000 | #Constraints: 16918
1594.32/1598.93 c #Conflicts: 110000 | #Constraints: 17918
1594.32/1598.93 c INPROCESSING
1594.32/1598.93 c GARBAGE COLLECT
1594.32/1598.93 c #Conflicts: 111000 | #Constraints: 12322
1594.32/1598.93 c #Conflicts: 112000 | #Constraints: 13322
1594.32/1598.93 c #Conflicts: 113000 | #Constraints: 14322
1594.32/1598.93 c #Conflicts: 114000 | #Constraints: 15322
1594.32/1598.93 c #Conflicts: 115000 | #Constraints: 16322
1594.32/1598.93 c #Conflicts: 116000 | #Constraints: 17322
1594.32/1598.93 c #Conflicts: 117000 | #Constraints: 18322
1594.32/1598.93 c INPROCESSING
1594.32/1598.93 c GARBAGE COLLECT
1594.32/1598.93 c #Conflicts: 118000 | #Constraints: 12524
1594.32/1598.93 c #Conflicts: 119000 | #Constraints: 13524
1594.32/1598.93 c #Conflicts: 120000 | #Constraints: 14524
1594.32/1598.93 c #Conflicts: 121000 | #Constraints: 15524
1594.32/1598.93 c #Conflicts: 122000 | #Constraints: 16524
1594.32/1598.93 c #Conflicts: 123000 | #Constraints: 17524
1594.32/1598.93 c #Conflicts: 124000 | #Constraints: 18524
1594.32/1598.93 c INPROCESSING
1594.32/1598.93 c GARBAGE COLLECT
1594.32/1598.93 c #Conflicts: 125000 | #Constraints: 12521
1594.32/1598.93 c #Conflicts: 126000 | #Constraints: 13521
1594.32/1598.93 c #Conflicts: 127000 | #Constraints: 14521
1594.32/1598.93 c #Conflicts: 128000 | #Constraints: 15521
1594.32/1598.93 c #Conflicts: 129000 | #Constraints: 16521
1594.32/1598.93 c #Conflicts: 130000 | #Constraints: 17521
1594.32/1598.93 c #Conflicts: 131000 | #Constraints: 18521
1594.32/1598.93 c INPROCESSING
1594.32/1598.93 c GARBAGE COLLECT
1594.32/1598.93 c #Conflicts: 132000 | #Constraints: 12331
1594.32/1598.93 c #Conflicts: 133000 | #Constraints: 13331
2772.22/2780.36 c #Conflicts: 134000 | #Constraints: 14331
2772.22/2780.36 c #Conflicts: 135000 | #Constraints: 15331
2772.22/2780.36 c #Conflicts: 136000 | #Constraints: 16331
2772.22/2780.36 c #Conflicts: 137000 | #Constraints: 17331
2772.22/2780.36 c #Conflicts: 138000 | #Constraints: 18331
2772.22/2780.36 c #Conflicts: 139000 | #Constraints: 19331
2772.22/2780.36 c INPROCESSING
2772.22/2780.36 c GARBAGE COLLECT
2772.22/2780.36 c #Conflicts: 140000 | #Constraints: 12929
2772.22/2780.36 c #Conflicts: 141000 | #Constraints: 13929
2772.22/2780.36 c #Conflicts: 142000 | #Constraints: 14929
2772.22/2780.36 c #Conflicts: 143000 | #Constraints: 15929
2772.22/2780.36 c #Conflicts: 144000 | #Constraints: 16929
2772.22/2780.36 c #Conflicts: 145000 | #Constraints: 17929
2772.22/2780.36 c #Conflicts: 146000 | #Constraints: 18929
2772.22/2780.36 c #Conflicts: 147000 | #Constraints: 19929
2772.22/2780.36 c INPROCESSING
2772.22/2780.36 c GARBAGE COLLECT
2772.22/2780.36 c #Conflicts: 148000 | #Constraints: 13331
2772.22/2780.36 c #Conflicts: 149000 | #Constraints: 14331
2772.22/2780.36 c #Conflicts: 150000 | #Constraints: 15331
2772.22/2780.36 c #Conflicts: 151000 | #Constraints: 16331
2772.22/2780.36 c #Conflicts: 152000 | #Constraints: 17331
2772.22/2780.36 c #Conflicts: 153000 | #Constraints: 18331
2772.22/2780.36 c #Conflicts: 154000 | #Constraints: 19331
2772.22/2780.36 c #Conflicts: 155000 | #Constraints: 20331
2772.22/2780.36 c INPROCESSING
2772.22/2780.36 c GARBAGE COLLECT
2772.22/2780.36 c #Conflicts: 156000 | #Constraints: 13531
2772.22/2780.36 c #Conflicts: 157000 | #Constraints: 14531
2772.22/2780.36 c #Conflicts: 158000 | #Constraints: 15531
2772.22/2780.36 c #Conflicts: 159000 | #Constraints: 16531
2772.22/2780.36 c #Conflicts: 160000 | #Constraints: 17531
2772.22/2780.36 c #Conflicts: 161000 | #Constraints: 18531
2772.22/2780.36 c #Conflicts: 162000 | #Constraints: 19531
2772.22/2780.36 c #Conflicts: 163000 | #Constraints: 20531
2772.22/2780.36 c INPROCESSING
2772.22/2780.36 c GARBAGE COLLECT
2772.22/2780.36 c #Conflicts: 164000 | #Constraints: 13532
2772.22/2780.36 c #Conflicts: 165000 | #Constraints: 14532
2772.22/2780.36 c #Conflicts: 166000 | #Constraints: 15532
2772.22/2780.36 c #Conflicts: 167000 | #Constraints: 16532
2772.22/2780.36 c #Conflicts: 168000 | #Constraints: 17532
2772.22/2780.36 c #Conflicts: 169000 | #Constraints: 18532
2772.22/2780.36 c #Conflicts: 170000 | #Constraints: 19532
2772.22/2780.36 c #Conflicts: 171000 | #Constraints: 20532
2772.22/2780.36 c INPROCESSING
2772.22/2780.36 c GARBAGE COLLECT
2772.22/2780.36 c #Conflicts: 172000 | #Constraints: 13336
2772.22/2780.36 c #Conflicts: 173000 | #Constraints: 14336
2772.22/2780.36 c #Conflicts: 174000 | #Constraints: 15336
2772.22/2780.36 c #Conflicts: 175000 | #Constraints: 16336
2772.22/2780.36 c #Conflicts: 176000 | #Constraints: 17336
2772.22/2780.36 c #Conflicts: 177000 | #Constraints: 18336
2772.22/2780.36 c #Conflicts: 178000 | #Constraints: 19336
2772.22/2780.36 c #Conflicts: 179000 | #Constraints: 20336
2772.22/2780.36 c #Conflicts: 180000 | #Constraints: 21336
2772.22/2780.36 c INPROCESSING
2772.22/2780.36 c GARBAGE COLLECT
2772.22/2780.36 c #Conflicts: 181000 | #Constraints: 13935
2772.22/2780.36 c #Conflicts: 182000 | #Constraints: 14935
2772.22/2780.36 c #Conflicts: 183000 | #Constraints: 15935
2772.22/2780.36 c #Conflicts: 184000 | #Constraints: 16935
2772.22/2780.36 c #Conflicts: 185000 | #Constraints: 17935
2772.22/2780.36 c #Conflicts: 186000 | #Constraints: 18935
2772.22/2780.36 c #Conflicts: 187000 | #Constraints: 19935
2772.22/2780.36 c #Conflicts: 188000 | #Constraints: 20935
2772.22/2780.36 c #Conflicts: 189000 | #Constraints: 21935
2772.22/2780.36 c INPROCESSING
2772.22/2780.36 c GARBAGE COLLECT
2772.22/2780.36 c #Conflicts: 190000 | #Constraints: 14347
2772.22/2780.36 c #Conflicts: 191000 | #Constraints: 15347
2772.22/2780.36 c #Conflicts: 192000 | #Constraints: 16347
2772.22/2780.36 c #Conflicts: 193000 | #Constraints: 17347
2772.22/2780.36 c #Conflicts: 194000 | #Constraints: 18347
2772.22/2780.36 c #Conflicts: 195000 | #Constraints: 19347
2772.22/2780.36 c #Conflicts: 196000 | #Constraints: 20347
2772.22/2780.36 c #Conflicts: 197000 | #Constraints: 21347
2772.22/2780.36 c #Conflicts: 198000 | #Constraints: 22347
2772.22/2780.36 c INPROCESSING
2772.22/2780.36 c GARBAGE COLLECT
2772.22/2780.36 c #Conflicts: 199000 | #Constraints: 14549
2772.22/2780.36 c #Conflicts: 200000 | #Constraints: 15549
2772.22/2780.36 c #Conflicts: 201000 | #Constraints: 16549
2772.22/2780.36 c #Conflicts: 202000 | #Constraints: 17549
2772.22/2780.36 c #Conflicts: 203000 | #Constraints: 18549
2772.22/2780.36 c #Conflicts: 204000 | #Constraints: 19549
2772.22/2780.36 c #Conflicts: 205000 | #Constraints: 20549
2772.22/2780.36 c #Conflicts: 206000 | #Constraints: 21549
2772.22/2780.36 c #Conflicts: 207000 | #Constraints: 22549
3600.00/3610.80 c INPROCESSING
3600.00/3610.80 c GARBAGE COLLECT
3600.00/3610.80 c #Conflicts: 208000 | #Constraints: 14549
3600.00/3610.80 c #Conflicts: 209000 | #Constraints: 15549
3600.00/3610.80 c #Conflicts: 210000 | #Constraints: 16549
3600.00/3610.80 c #Conflicts: 211000 | #Constraints: 17549
3600.00/3610.80 c #Conflicts: 212000 | #Constraints: 18549
3600.00/3610.80 c #Conflicts: 213000 | #Constraints: 19549
3600.00/3610.80 c #Conflicts: 214000 | #Constraints: 20549
3600.00/3610.80 c #Conflicts: 215000 | #Constraints: 21549
3600.00/3610.80 c #Conflicts: 216000 | #Constraints: 22549
3600.00/3610.80 c INPROCESSING
3600.00/3610.80 c GARBAGE COLLECT
3600.00/3610.80 c #Conflicts: 217000 | #Constraints: 14355
3600.00/3610.80 c #Conflicts: 218000 | #Constraints: 15355
3600.00/3610.80 c #Conflicts: 219000 | #Constraints: 16355
3600.00/3610.80 c #Conflicts: 220000 | #Constraints: 17355
3600.00/3610.80 c #Conflicts: 221000 | #Constraints: 18355
3600.00/3610.80 c #Conflicts: 222000 | #Constraints: 19355
3600.00/3610.80 c #Conflicts: 223000 | #Constraints: 20355
3600.00/3610.80 c #Conflicts: 224000 | #Constraints: 21355
3600.00/3610.80 c #Conflicts: 225000 | #Constraints: 22355
3600.00/3610.80 c #Conflicts: 226000 | #Constraints: 23355
3600.00/3610.80 c INPROCESSING
3600.00/3610.80 c GARBAGE COLLECT
3600.00/3610.80 c #Conflicts: 227000 | #Constraints: 14947
3600.00/3610.80 c #Conflicts: 228000 | #Constraints: 15947
3600.00/3610.80 c #Conflicts: 229000 | #Constraints: 16947
3600.00/3610.80 c #Conflicts: 230000 | #Constraints: 17947
3600.00/3610.80 c #Conflicts: 231000 | #Constraints: 18947
3600.00/3610.80 c #Conflicts: 232000 | #Constraints: 19947
3600.00/3610.80 c #Conflicts: 233000 | #Constraints: 20947
3600.00/3610.80 c #Conflicts: 234000 | #Constraints: 21947
3600.00/3610.80 c #Conflicts: 235000 | #Constraints: 22947
3600.00/3610.80 c #Conflicts: 236000 | #Constraints: 23947
3600.00/3610.80 c INPROCESSING
3600.00/3610.80 c GARBAGE COLLECT
3600.00/3610.80 c #Conflicts: 237000 | #Constraints: 15351
3600.00/3610.80 c #Conflicts: 238000 | #Constraints: 16351
3600.00/3610.80 c #Conflicts: 239000 | #Constraints: 17351
3600.00/3610.80 c #Conflicts: 240000 | #Constraints: 18351
3600.00/3610.80 c #Conflicts: 241000 | #Constraints: 19351
3600.00/3610.80 c #Conflicts: 242000 | #Constraints: 20351
3600.00/3610.80 c #Conflicts: 243000 | #Constraints: 21351
3600.00/3610.80 c #Conflicts: 244000 | #Constraints: 22351
3600.00/3610.80 c #Conflicts: 245000 | #Constraints: 23351
3600.00/3610.80 c #Conflicts: 246000 | #Constraints: 24351
3600.00/3610.80 c INPROCESSING
3600.00/3610.80 c GARBAGE COLLECT
3600.00/3610.80 c #Conflicts: 247000 | #Constraints: 15560
3600.00/3610.80 c #Conflicts: 248000 | #Constraints: 16560
3600.00/3610.80 c #Conflicts: 249000 | #Constraints: 17560
3600.00/3610.80 c Program interrupted by user.
3600.00/3610.80 c cpu time 3575.3 s
3600.00/3610.80 c deterministic time 270116704946 2.70e+11
3600.00/3610.80 c optimization time 53.4598 s
3600.00/3610.80 c total solve time 3222.4 s
3600.00/3610.80 c core-guided solve time 3222.4 s
3600.00/3610.80 c propagation time 2120.69 s
3600.00/3610.80 c conflict analysis time 562.1 s
3600.00/3610.80 c propagations 83911453
3600.00/3610.80 c resolve steps 413994
3600.00/3610.80 c decisions 35104378
3600.00/3610.80 c conflicts 249521
3600.00/3610.80 c restarts 574
3600.00/3610.80 c inprocessing phases 41
3600.00/3610.80 c input clauses 4575
3600.00/3610.80 c input cardinalities 1
3600.00/3610.80 c input general constraints 748
3600.00/3610.80 c input average constraint length 3483.58
3600.00/3610.80 c input average constraint degree 94.05
3600.00/3610.80 c learned clauses 4363
3600.00/3610.80 c learned cardinalities 88
3600.00/3610.80 c learned general constraints 245072
3600.00/3610.80 c learned average constraint length 13506.81
3600.00/3610.80 c learned average constraint degree 25754.72
3600.00/3610.80 c watched constraints 5449
3600.00/3610.80 c counting constraints 240371
3600.00/3610.80 c gcd simplifications 146
3600.00/3610.80 c detected cardinalities 0
3600.00/3610.80 c weakened non-implied lits 36351585
3600.00/3610.80 c weakened non-implying lits 37
3600.00/3610.80 c original variables 24645
3600.00/3610.80 c clausal propagations 2165386
3600.00/3610.80 c cardinality propagations 1832
3600.00/3610.80 c watched propagations 873184
3600.00/3610.80 c counting propagations 80547368
3600.00/3610.80 c watch lookups 29487375291
3600.00/3610.80 c watch backjump lookups 29474019610
3600.00/3610.80 c watch checks 9175168186
3600.00/3610.80 c propagation checks 197213214227
3600.00/3610.80 c constraint additions 4528666885
3600.00/3610.80 c trail pops 119244915
3600.00/3610.80 c formula constraints 4552
3600.00/3610.80 c learned constraints 249523
3600.00/3610.80 c bound constraints 748
3600.00/3610.80 c core-guided constraints 24
3600.00/3610.80 c encountered formula constraints 335014
3600.00/3610.80 c encountered learned constraints 328461
3600.00/3610.80 c encountered bound constraints 3
3600.00/3610.80 c encountered core-guided constraints 37
3600.00/3610.80 c LP total time 0 s
3600.00/3610.80 c LP solve time 0 s
3600.00/3610.80 c LP constraints added 0
3600.00/3610.80 c LP constraints removed 0
3600.00/3610.80 c LP pivots internal 0
3600.00/3610.80 c LP pivots root 0
3600.00/3610.80 c LP calls 0
3600.00/3610.80 c LP optimalities 0
3600.00/3610.80 c LP no pivot count 0
3600.00/3610.80 c LP infeasibilities 0
3600.00/3610.80 c LP valid Farkas constraints 0
3600.00/3610.80 c LP learned Farkas constraints 0
3600.00/3610.80 c LP basis resets 0
3600.00/3610.80 c LP cycling count 0
3600.00/3610.80 c LP singular count 0
3600.00/3610.80 c LP no primal count 0
3600.00/3610.80 c LP no farkas count 0
3600.00/3610.80 c LP other issue count 0
3600.00/3610.80 c LP Gomory cuts 0
3600.00/3610.80 c LP learned cuts 0
3600.00/3610.80 c LP deleted cuts 0
3600.00/3610.80 c LP encountered Gomory constraints 0
3600.00/3610.80 c LP encountered Farkas constraints 0
3600.00/3610.80 c LP encountered learned Farkas constraints 0
3600.00/3610.80 c CG auxiliary variables introduced 24
3600.00/3610.80 c CG solutions found 0
3600.00/3610.80 c CG cores constructed 747
3600.00/3610.80 c CG core cardinality constraints returned 0
3600.00/3610.80 c CG unit cores 0
3600.00/3610.80 c CG single cores 747
3600.00/3610.80 c CG blocks removed during cardinality reduction 0
3600.00/3610.80 c CG first core best 0
3600.00/3610.80 c CG decision core best 0
3600.00/3610.80 c CG core reduction tie 0
3600.00/3610.80 c CG core degree average 1.00
3600.00/3610.80 c CG core slack average 20.60
3600.00/3610.80 c CG exhausted 0
3600.00/3610.80 c CG exhaust time 0 s
3600.00/3610.80 c CG trimmed 100
3600.00/3610.80 c CG trim time 0.014057 s
3600.00/3610.80 c CG minimized 0
3600.00/3610.80 c CG minimize time 0 s
3600.00/3610.80 c CG am1 prop time 0.029244 s
3600.00/3610.80 c CG # am1s reformulated 24
3600.00/3610.80 c CG lower bound derived from am1s 39
3600.00/3610.80 c CG # clausal cores 747
3600.00/3610.80 c CG # cardinality cores 0
3600.00/3610.80 c CG # pb cores 0
3600.00/3610.80 c CG # pb reforms 0
3600.00/3610.80 c CG # cores discarded because of pb reform 0
3600.00/3610.80 d LOWERBOUND 1032
3600.00/3610.80 d NCORES 747
3600.00/3610.80 d NPBCORES 0
3600.00/3610.80 d NPBREFORM 0
3600.00/3610.80 d NTRIMMED 100
3600.00/3610.80 d NEXHAUSTED 0
3600.00/3610.80 d NAM1S 24
3600.00/3610.80 d AM1LB 39
3600.00/3610.80 c [Papilo Statistics]
3600.00/3610.80 c prepro time 0.0755692s
3600.00/3610.80 c # tsx applied 109
3600.00/3610.80 c # tsx conflicts 0
3600.00/3610.80 c # bound changes 87
3600.00/3610.80 c # side changes 0
3600.00/3610.80 c # coef changes 0
3600.00/3610.80 c # rounds 5
3600.00/3610.80 c # deted vars 100
3600.00/3610.80 c # deted constrs 321
3600.00/3610.80 c # consecutive rounds of only bound changes 0
3600.00/3610.85 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 (61079 MiB free)
memory of node 1: 64465 MiB (63316 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485403-1751286918/watcher-4485403-1751286918 -o /tmp/evaluation-result-4485403-1751286918/solver-4485403-1751286918 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751279693-40748 --watchdog 3760 mixed-bag HOME/instance-4485403-1751286918.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=41616, runsolver pid=41612
[startup+0.100063 s]*
/proc/loadavg: 4.10 4.14 4.10 5/265 41621
/proc/meminfo: memFree=127363920/131250000 swapFree=33010684/33010684
[pid=41616] ppid=41612 vsize=95144 memory=20424 CPUtime=0.08 cores=1,3
/proc/41616/stat : 41616 (mixed-bag) R 41612 41616 40736 0 -1 4194304 4639 0 0 0 7 1 0 0 20 0 1 0 44370476 97427456 5106 18446744073709551615 4235264 15874749 140728560602080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 32325632 140728560609692 140728560609769 140728560609769 140728560615371 0
/proc/41616/statm: 23786 5106 2176 2842 0 6019 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 95144 KiB
Current children cumulated memory: 20424 KiB
[startup+0.205778 s]*
/proc/loadavg: 4.10 4.14 4.10 5/265 41621
/proc/meminfo: memFree=127302128/131250000 swapFree=33010684/33010684
[pid=41616] ppid=41612 vsize=129808 memory=49092 CPUtime=0.19 cores=1,3
/proc/41616/stat : 41616 (mixed-bag) R 41612 41616 40736 0 -1 4194304 9646 0 0 0 16 3 0 0 20 0 1 0 44370476 132923392 12273 18446744073709551615 4235264 15874749 140728560602080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 32325632 140728560609692 140728560609769 140728560609769 140728560615371 0
/proc/41616/statm: 32452 12273 2336 2842 0 14146 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 129808 KiB
Current children cumulated memory: 49092 KiB
[startup+0.305725 s]*
/proc/loadavg: 4.10 4.14 4.10 5/265 41621
/proc/meminfo: memFree=127233836/131250000 swapFree=33010684/33010684
[pid=41616] ppid=41612 vsize=184396 memory=109892 CPUtime=0.29 cores=1,3
/proc/41616/stat : 41616 (mixed-bag) R 41612 41616 40736 0 -1 4194304 23289 0 0 0 24 5 0 0 20 0 1 0 44370476 188821504 27473 18446744073709551615 4235264 15874749 140728560602080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 32325632 140728560609692 140728560609769 140728560609769 140728560615371 0
/proc/41616/statm: 46099 27473 4000 2842 0 27793 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 184396 KiB
Current children cumulated memory: 109892 KiB
[startup+0.700175 s]
/proc/loadavg: 4.10 4.14 4.10 5/265 41621
/proc/meminfo: memFree=127185324/131250000 swapFree=33010684/33010684
[pid=41616] ppid=41612 vsize=232432 memory=153900 CPUtime=0.68 cores=1,3
/proc/41616/stat : 41616 (mixed-bag) R 41612 41616 40736 0 -1 4194304 34164 0 0 0 61 7 0 0 20 0 1 0 44370476 238010368 38475 18446744073709551615 4235264 15874749 140728560602080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 32325632 140728560609692 140728560609769 140728560609769 140728560615371 0
/proc/41616/statm: 58108 38475 4064 2842 0 39802 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 232432 KiB
Current children cumulated memory: 153900 KiB
[startup+1.50018 s]
/proc/loadavg: 4.10 4.14 4.10 5/265 41621
/proc/meminfo: memFree=127073056/131250000 swapFree=33010684/33010684
[pid=41616] ppid=41612 vsize=249764 memory=170916 CPUtime=1.48 cores=1,3
/proc/41616/stat : 41616 (mixed-bag) R 41612 41616 40736 0 -1 4194304 40664 0 0 0 140 8 0 0 20 0 1 0 44370476 255758336 42729 18446744073709551615 4235264 15874749 140728560602080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 32325632 140728560609692 140728560609769 140728560609769 140728560615371 0
/proc/41616/statm: 62441 42729 4096 2842 0 44135 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 249764 KiB
Current children cumulated memory: 170916 KiB
[startup+3.10545 s]
/proc/loadavg: 4.10 4.14 4.10 5/265 41621
/proc/meminfo: memFree=126864088/131250000 swapFree=33010684/33010684
[pid=41616] ppid=41612 vsize=405192 memory=277540 CPUtime=3.08 cores=1,3
/proc/41616/stat : 41616 (mixed-bag) R 41612 41616 40736 0 -1 4194304 67239 0 0 0 296 12 0 0 20 0 1 0 44370476 414916608 69385 18446744073709551615 4235264 15874749 140728560602080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 32325632 140728560609692 140728560609769 140728560609769 140728560615371 0
/proc/41616/statm: 101298 69385 4288 2842 0 82992 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 405192 KiB
Current children cumulated memory: 277540 KiB
[startup+6.30016 s]
/proc/loadavg: 4.09 4.14 4.10 5/265 41621
/proc/meminfo: memFree=126771860/131250000 swapFree=33010684/33010684
[pid=41616] ppid=41612 vsize=408076 memory=279588 CPUtime=6.26 cores=1,3
/proc/41616/stat : 41616 (mixed-bag) R 41612 41616 40736 0 -1 4194304 67760 0 0 0 614 12 0 0 20 0 1 0 44370476 417869824 69897 18446744073709551615 4235264 15874749 140728560602080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 32325632 140728560609692 140728560609769 140728560609769 140728560615371 0
/proc/41616/statm: 102019 69897 4288 2842 0 83713 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 408076 KiB
Current children cumulated memory: 279588 KiB
[startup+12.7001 s]
/proc/loadavg: 4.16 4.15 4.11 5/265 41621
/proc/meminfo: memFree=126772380/131250000 swapFree=33010684/33010684
[pid=41616] ppid=41612 vsize=408076 memory=279844 CPUtime=12.65 cores=1,3
/proc/41616/stat : 41616 (mixed-bag) R 41612 41616 40736 0 -1 4194304 67835 0 0 0 1253 12 0 0 20 0 1 0 44370476 417869824 69961 18446744073709551615 4235264 15874749 140728560602080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 32325632 140728560609692 140728560609769 140728560609769 140728560615371 0
/proc/41616/statm: 102019 69961 4288 2842 0 83713 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 408076 KiB
Current children cumulated memory: 279844 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.15 4.10 5/265 41622
/proc/meminfo: memFree=126675620/131250000 swapFree=33010684/33010684
[pid=41616] ppid=41612 vsize=410308 memory=282040 CPUtime=25.41 cores=1,3
/proc/41616/stat : 41616 (mixed-bag) R 41612 41616 40736 0 -1 4194304 67863 0 0 0 2529 12 0 0 20 0 1 0 44370476 420155392 70510 18446744073709551615 4235264 15874749 140728560602080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 32325632 140728560609692 140728560609769 140728560609769 140728560615371 0
/proc/41616/statm: 102577 70510 4288 2842 0 84271 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 410308 KiB
Current children cumulated memory: 282040 KiB
[startup+51.1055 s]
/proc/loadavg: 4.16 4.15 4.10 5/265 41622
/proc/meminfo: memFree=126498720/131250000 swapFree=33010684/33010684
[pid=41616] ppid=41612 vsize=440248 memory=309048 CPUtime=50.96 cores=1,3
/proc/41616/stat : 41616 (mixed-bag) R 41612 41616 40736 0 -1 4194304 74599 0 0 0 5083 13 0 0 20 0 1 0 44370476 450813952 77262 18446744073709551615 4235264 15874749 140728560602080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 32325632 140728560609692 140728560609769 140728560609769 140728560615371 0
/proc/41616/statm: 110062 77262 4320 2842 0 91756 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 440248 KiB
Current children cumulated memory: 309048 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/265 41624
/proc/meminfo: memFree=126373908/131250000 swapFree=33010684/33010684
[pid=41616] ppid=41612 vsize=478192 memory=345272 CPUtime=102.03 cores=1,3
/proc/41616/stat : 41616 (mixed-bag) R 41612 41616 40736 0 -1 4194304 83674 0 0 0 10188 15 0 0 20 0 1 0 44370476 489668608 86318 18446744073709551615 4235264 15874749 140728560602080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 32325632 140728560609692 140728560609769 140728560609769 140728560615371 0
/proc/41616/statm: 119548 86318 4320 2842 0 101242 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 478192 KiB
Current children cumulated memory: 345272 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/264 41626
/proc/meminfo: memFree=125890936/131250000 swapFree=33010684/33010684
[pid=41616] ppid=41612 vsize=563896 memory=426552 CPUtime=161.88 cores=1,3
/proc/41616/stat : 41616 (mixed-bag) R 41612 41616 40736 0 -1 4194304 104015 0 0 0 16169 19 0 0 20 0 1 0 44370476 577429504 106638 18446744073709551615 4235264 15874749 140728560602080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 32325632 140728560609692 140728560609769 140728560609769 140728560615371 0
/proc/41616/statm: 140974 106638 4320 2842 0 122668 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 563896 KiB
Current children cumulated memory: 426552 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/263 41673
/proc/meminfo: memFree=126149948/131250000 swapFree=33010684/33010684
[pid=41616] ppid=41612 vsize=564892 memory=426680 CPUtime=221.73 cores=1,3
/proc/41616/stat : 41616 (mixed-bag) R 41612 41616 40736 0 -1 4194304 104075 0 0 0 22154 19 0 0 20 0 1 0 44370476 578449408 106670 18446744073709551615 4235264 15874749 140728560602080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 32325632 140728560609692 140728560609769 140728560609769 140728560615371 0
/proc/41616/statm: 141223 106670 4320 2842 0 122917 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 564892 KiB
Current children cumulated memory: 426680 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/264 41676
/proc/meminfo: memFree=125878196/131250000 swapFree=33010684/33010684
[pid=41616] ppid=41612 vsize=566276 memory=427832 CPUtime=281.55 cores=1,3
/proc/41616/stat : 41616 (mixed-bag) R 41612 41616 40736 0 -1 4194304 104353 0 0 0 28136 19 0 0 20 0 1 0 44370476 579866624 106958 18446744073709551615 4235264 15874749 140728560602080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 32325632 140728560609692 140728560609769 140728560609769 140728560615371 0
/proc/41616/statm: 141569 106958 4320 2842 0 123263 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 566276 KiB
Current children cumulated memory: 427832 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/263 41678
/proc/meminfo: memFree=125113636/131250000 swapFree=33010684/33010684
[pid=41616] ppid=41612 vsize=1177200 memory=909612 CPUtime=341.38 cores=1,3
/proc/41616/stat : 41616 (mixed-bag) R 41612 41616 40736 0 -1 4194304 147911 0 0 0 33595 543 0 0 20 0 1 0 44370476 1205452800 227403 18446744073709551615 4235264 15874749 140728560602080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 32325632 140728560609692 140728560609769 140728560609769 140728560615371 0
/proc/41616/statm: 294300 227403 4480 2842 0 275994 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 1177200 KiB
Current children cumulated memory: 909612 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 41687
/proc/meminfo: memFree=124409812/131250000 swapFree=33010684/33010684
[pid=41616] ppid=41612 vsize=1625636 memory=1434340 CPUtime=401.19 cores=1,3
/proc/41616/stat : 41616 (mixed-bag) R 41612 41616 40736 0 -1 4194304 232604 0 0 0 39494 625 0 0 20 0 1 0 44370476 1664651264 358585 18446744073709551615 4235264 15874749 140728560602080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 32325632 140728560609692 140728560609769 140728560609769 140728560615371 0
/proc/41616/statm: 406409 358585 4480 2842 0 388103 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 1625636 KiB
Current children cumulated memory: 1434340 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 41689
/proc/meminfo: memFree=123861508/131250000 swapFree=33010684/33010684
[pid=41616] ppid=41612 vsize=1975280 memory=1565336 CPUtime=461 cores=1,3
/proc/41616/stat : 41616 (mixed-bag) R 41612 41616 40736 0 -1 4194304 243884 0 0 0 45413 687 0 0 20 0 1 0 44370476 2022686720 391334 18446744073709551615 4235264 15874749 140728560602080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 32325632 140728560609692 140728560609769 140728560609769 140728560615371 0
/proc/41616/statm: 493820 391334 4480 2842 0 475514 0
Current children cumulated CPU time: 461 s
################
# More data... #
################
Current children cumulated memory: 5305616 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 41818
/proc/meminfo: memFree=115560044/131250000 swapFree=33010684/33010684
[pid=41616] ppid=41612 vsize=6480076 memory=5305616 CPUtime=2853.95 cores=1,3
/proc/41616/stat : 41616 (mixed-bag) R 41612 41616 40736 0 -1 4194304 775927 0 0 0 283215 2180 0 0 20 0 1 0 44370476 6635597824 1326404 18446744073709551615 4235264 15874749 140728560602080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 32325632 140728560609692 140728560609769 140728560609769 140728560615371 0
/proc/41616/statm: 1620019 1326404 4480 2842 0 1601713 0
Current children cumulated CPU time: 2853.95 s
Current children cumulated vsize: 6480076 KiB
Current children cumulated memory: 5305616 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 41820
/proc/meminfo: memFree=115546648/131250000 swapFree=33010684/33010684
[pid=41616] ppid=41612 vsize=6486732 memory=5309072 CPUtime=2913.76 cores=1,3
/proc/41616/stat : 41616 (mixed-bag) R 41612 41616 40736 0 -1 4194304 776972 0 0 0 289185 2191 0 0 20 0 1 0 44370476 6642413568 1327268 18446744073709551615 4235264 15874749 140728560602080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 32325632 140728560609692 140728560609769 140728560609769 140728560615371 0
/proc/41616/statm: 1621683 1327268 4480 2842 0 1603377 0
Current children cumulated CPU time: 2913.76 s
Current children cumulated vsize: 6486732 KiB
Current children cumulated memory: 5309072 KiB
[startup+2982.3 s]
/proc/loadavg: 4.23 4.12 4.10 5/265 41823
/proc/meminfo: memFree=115404720/131250000 swapFree=33010684/33010684
[pid=41616] ppid=41612 vsize=6557392 memory=5424868 CPUtime=2973.56 cores=1,3
/proc/41616/stat : 41616 (mixed-bag) R 41612 41616 40736 0 -1 4194304 792712 0 0 0 295148 2208 0 0 20 0 1 0 44370476 6714769408 1356217 18446744073709551615 4235264 15874749 140728560602080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 32325632 140728560609692 140728560609769 140728560609769 140728560615371 0
/proc/41616/statm: 1639348 1356217 4480 2842 0 1621042 0
Current children cumulated CPU time: 2973.56 s
Current children cumulated vsize: 6557392 KiB
Current children cumulated memory: 5424868 KiB
[startup+3042.3 s]
/proc/loadavg: 4.29 4.17 4.12 5/265 41825
/proc/meminfo: memFree=115367208/131250000 swapFree=33010684/33010684
[pid=41616] ppid=41612 vsize=6557392 memory=5424868 CPUtime=3033.37 cores=1,3
/proc/41616/stat : 41616 (mixed-bag) R 41612 41616 40736 0 -1 4194304 792832 0 0 0 301113 2224 0 0 20 0 1 0 44370476 6714769408 1356217 18446744073709551615 4235264 15874749 140728560602080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 32325632 140728560609692 140728560609769 140728560609769 140728560615371 0
/proc/41616/statm: 1639348 1356217 4480 2842 0 1621042 0
Current children cumulated CPU time: 3033.37 s
Current children cumulated vsize: 6557392 KiB
Current children cumulated memory: 5424868 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/264 41827
/proc/meminfo: memFree=115237260/131250000 swapFree=33010684/33010684
[pid=41616] ppid=41612 vsize=6590420 memory=5515276 CPUtime=3093.17 cores=1,3
/proc/41616/stat : 41616 (mixed-bag) R 41612 41616 40736 0 -1 4194304 803120 0 0 0 307075 2242 0 0 20 0 1 0 44370476 6748590080 1378819 18446744073709551615 4235264 15874749 140728560602080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 32325632 140728560609692 140728560609769 140728560609769 140728560615371 0
/proc/41616/statm: 1647605 1378819 4480 2842 0 1629299 0
Current children cumulated CPU time: 3093.17 s
Current children cumulated vsize: 6590420 KiB
Current children cumulated memory: 5515276 KiB
[startup+3162.3 s]
/proc/loadavg: 4.23 4.17 4.12 5/263 41829
/proc/meminfo: memFree=115195412/131250000 swapFree=33010684/33010684
[pid=41616] ppid=41612 vsize=6591444 memory=5524424 CPUtime=3152.98 cores=1,3
/proc/41616/stat : 41616 (mixed-bag) R 41612 41616 40736 0 -1 4194304 803881 0 0 0 313039 2259 0 0 20 0 1 0 44370476 6749638656 1381106 18446744073709551615 4235264 15874749 140728560602080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 32325632 140728560609692 140728560609769 140728560609769 140728560615371 0
/proc/41616/statm: 1647861 1381106 4480 2842 0 1629555 0
Current children cumulated CPU time: 3152.98 s
Current children cumulated vsize: 6591444 KiB
Current children cumulated memory: 5524424 KiB
[startup+3222.3 s]
/proc/loadavg: 4.27 4.19 4.12 5/264 41832
/proc/meminfo: memFree=115113636/131250000 swapFree=33010684/33010684
[pid=41616] ppid=41612 vsize=6591444 memory=5524424 CPUtime=3212.78 cores=1,3
/proc/41616/stat : 41616 (mixed-bag) R 41612 41616 40736 0 -1 4194304 804533 0 0 0 318987 2291 0 0 20 0 1 0 44370476 6749638656 1381106 18446744073709551615 4235264 15874749 140728560602080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 32325632 140728560609692 140728560609769 140728560609769 140728560615371 0
/proc/41616/statm: 1647861 1381106 4480 2842 0 1629555 0
Current children cumulated CPU time: 3212.78 s
Current children cumulated vsize: 6591444 KiB
Current children cumulated memory: 5524424 KiB
[startup+3282.3 s]
/proc/loadavg: 3.99 4.13 4.11 4/258 41864
/proc/meminfo: memFree=118359856/131250000 swapFree=33010684/33010684
[pid=41616] ppid=41612 vsize=6591956 memory=5524680 CPUtime=3272.58 cores=1,3
/proc/41616/stat : 41616 (mixed-bag) R 41612 41616 40736 0 -1 4194304 804744 0 0 0 324937 2321 0 0 20 0 1 0 44370476 6750162944 1381170 18446744073709551615 4235264 15874749 140728560602080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 32325632 140728560609692 140728560609769 140728560609769 140728560615371 0
/proc/41616/statm: 1647989 1381170 4480 2842 0 1629683 0
Current children cumulated CPU time: 3272.58 s
Current children cumulated vsize: 6591956 KiB
Current children cumulated memory: 5524680 KiB
[startup+3342.3 s]
/proc/loadavg: 3.42 3.94 4.04 4/258 41867
/proc/meminfo: memFree=118209356/131250000 swapFree=33010684/33010684
[pid=41616] ppid=41612 vsize=6601684 memory=5598460 CPUtime=3332.38 cores=1,3
/proc/41616/stat : 41616 (mixed-bag) R 41612 41616 40736 0 -1 4194304 811554 0 0 0 330890 2348 0 0 20 0 1 0 44370476 6760124416 1399615 18446744073709551615 4235264 15874749 140728560602080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 32325632 140728560609692 140728560609769 140728560609769 140728560615371 0
/proc/41616/statm: 1650421 1399615 4480 2842 0 1632115 0
Current children cumulated CPU time: 3332.38 s
Current children cumulated vsize: 6601684 KiB
Current children cumulated memory: 5598460 KiB
[startup+3402.3 s]
/proc/loadavg: 3.25 3.80 3.98 4/258 41868
/proc/meminfo: memFree=118201032/131250000 swapFree=33010684/33010684
[pid=41616] ppid=41612 vsize=6601684 memory=5598460 CPUtime=3392.18 cores=1,3
/proc/41616/stat : 41616 (mixed-bag) R 41612 41616 40736 0 -1 4194304 811554 0 0 0 336842 2376 0 0 20 0 1 0 44370476 6760124416 1399615 18446744073709551615 4235264 15874749 140728560602080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 32325632 140728560609692 140728560609769 140728560609769 140728560615371 0
/proc/41616/statm: 1650421 1399615 4480 2842 0 1632115 0
Current children cumulated CPU time: 3392.18 s
Current children cumulated vsize: 6601684 KiB
Current children cumulated memory: 5598460 KiB
[startup+3462.3 s]
/proc/loadavg: 3.20 3.68 3.93 4/259 41877
/proc/meminfo: memFree=118128448/131250000 swapFree=33010684/33010684
[pid=41616] ppid=41612 vsize=6601684 memory=5598460 CPUtime=3451.98 cores=1,3
/proc/41616/stat : 41616 (mixed-bag) R 41612 41616 40736 0 -1 4194304 811926 0 0 0 342796 2402 0 0 20 0 1 0 44370476 6760124416 1399615 18446744073709551615 4235264 15874749 140728560602080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 32325632 140728560609692 140728560609769 140728560609769 140728560615371 0
/proc/41616/statm: 1650421 1399615 4480 2842 0 1632115 0
Current children cumulated CPU time: 3451.98 s
Current children cumulated vsize: 6601684 KiB
Current children cumulated memory: 5598460 KiB
[startup+3522.3 s]
/proc/loadavg: 3.07 3.55 3.87 4/259 41879
/proc/meminfo: memFree=118108520/131250000 swapFree=33010684/33010684
[pid=41616] ppid=41612 vsize=6601684 memory=5598588 CPUtime=3511.78 cores=1,3
/proc/41616/stat : 41616 (mixed-bag) R 41612 41616 40736 0 -1 4194304 812495 0 0 0 348743 2435 0 0 20 0 1 0 44370476 6760124416 1399647 18446744073709551615 4235264 15874749 140728560602080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 32325632 140728560609692 140728560609769 140728560609769 140728560615371 0
/proc/41616/statm: 1650421 1399647 4480 2842 0 1632115 0
Current children cumulated CPU time: 3511.78 s
Current children cumulated vsize: 6601684 KiB
Current children cumulated memory: 5598588 KiB
[startup+3582.3 s]
/proc/loadavg: 3.14 3.48 3.82 4/258 41881
/proc/meminfo: memFree=117999048/131250000 swapFree=33010684/33010684
[pid=41616] ppid=41612 vsize=6608084 memory=5654032 CPUtime=3571.58 cores=1,3
/proc/41616/stat : 41616 (mixed-bag) R 41612 41616 40736 0 -1 4194304 818430 0 0 0 354699 2459 0 0 20 0 1 0 44370476 6766678016 1413508 18446744073709551615 4235264 15874749 140728560602080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 32325632 140728560609692 140728560609769 140728560609769 140728560615371 0
/proc/41616/statm: 1652021 1413508 4480 2842 0 1633715 0
Current children cumulated CPU time: 3571.58 s
Current children cumulated vsize: 6608084 KiB
Current children cumulated memory: 5654032 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 3.08 3.43 3.79 4/258 41882
/proc/meminfo: memFree=117978496/131250000 swapFree=33010684/33010684
[pid=41616] ppid=41612 vsize=6608084 memory=5654032 CPUtime=3600 cores=1,3
/proc/41616/stat : 41616 (mixed-bag) R 41612 41616 40736 0 -1 4194304 818845 0 0 0 357530 2470 0 0 20 0 1 0 44370476 6766678016 1413508 18446744073709551615 4235264 15874749 140728560602080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 32325632 140728560609692 140728560609769 140728560609769 140728560615371 0
/proc/41616/statm: 1652021 1413508 4480 2842 0 1633715 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 6608084 KiB
Current children cumulated memory: 5654032 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.87 s]
# the end of solver process 41616 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3575.31 s, system=24.7611 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.87
CPU time (s): 3600.07
CPU user time (s): 3575.31
CPU system time (s): 24.7611
CPU usage (%): 99.7009
Max. virtual memory (cumulated for all children) (KiB): 6608084
Max. memory (cumulated for all children) (KiB): 5654032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.31
system time used= 24.7611
maximum resident set size= 5654544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 818874
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= 612
involuntary context switches= 2350
# summary of solver processes directly reported to runsolver:
# pid: 41616
# total CPU time (s): 3600.07
# total CPU user time (s): 3575.31
# total CPU system time (s): 24.7611
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.76244 second user time and 16.108 second system time
The end
Begin job on nodeC026 at 2025-06-30 14:35:18
IDJOB=4485403
IDBENCH=146794
IDSOLVER=3340
FILE ID=nodeC026/4485403-1751286918
RUNJOBID= nodeC026-1751279693-40748
SLURM_JOB_ID= 9594219
Free space on /tmp= 433024 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
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-4485403-1751286918/watcher-4485403-1751286918 -o /tmp/evaluation-result-4485403-1751286918/solver-4485403-1751286918 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751279693-40748 --watchdog 3760 mixed-bag HOME/instance-4485403-1751286918.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 24a342ae8fc5469ab48a1ad2f6e90ddf
RANDOM SEED=764572076
nodeC026 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.815
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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 : 3598.923
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.782
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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 : 3599.801
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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.012
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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 : 3848.919
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.861
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.809
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127381696 kB
MemAvailable: 128455784 kB
Buffers: 3280 kB
Cached: 1870892 kB
SwapCached: 0 kB
Active: 1616984 kB
Inactive: 1613068 kB
Active(anon): 1373960 kB
Inactive(anon): 0 kB
Active(file): 243024 kB
Inactive(file): 1613068 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 34548 kB
Writeback: 0 kB
AnonPages: 1358300 kB
Mapped: 128484 kB
Shmem: 18080 kB
KReclaimable: 114472 kB
Slab: 201656 kB
SReclaimable: 114472 kB
SUnreclaim: 87184 kB
KernelStack: 4256 kB
PageTables: 5868 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1813712 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 638976 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: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC026 at 2025-06-30 15:35:29