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.00/0.08 c [STEP] preprocessing with Papilo
0.08/0.12 c [STEP] solving with SCIP
299.26/300.19 c [STEP] preprocessing done, loading into solver
299.35/300.20 c [STEP] solving
299.35/300.20 c #variables 13158 #constraints 2422
299.35/300.20 c SMALL=int, LARGE=long long
299.35/300.21 d SCIPUB 916
299.35/300.21 c bounds - >= 0 @ 299.264
299.35/300.21 c stratification level: 1
300.25/301.14 c bounds - >= 22 @ 299.373
300.25/301.14 c bounds - >= 24 @ 299.375
300.25/301.14 c bounds - >= 26 @ 299.378
300.25/301.14 c bounds - >= 28 @ 299.381
300.25/301.14 c bounds - >= 30 @ 299.382
300.25/301.14 c bounds - >= 31 @ 299.384
300.25/301.14 c bounds - >= 33 @ 299.386
300.25/301.14 c bounds - >= 34 @ 299.389
300.25/301.14 c bounds - >= 36 @ 299.391
300.25/301.14 c bounds - >= 37 @ 299.393
300.25/301.14 c bounds - >= 39 @ 299.395
300.25/301.14 c bounds - >= 41 @ 299.398
300.25/301.14 c bounds - >= 43 @ 299.4
300.25/301.14 c bounds - >= 45 @ 299.402
300.25/301.14 c bounds - >= 47 @ 299.403
300.25/301.14 c bounds - >= 49 @ 299.404
300.25/301.14 c bounds - >= 51 @ 299.405
300.25/301.14 c bounds - >= 53 @ 299.408
300.25/301.14 c bounds - >= 55 @ 299.411
300.25/301.14 c bounds - >= 57 @ 299.414
300.25/301.14 c bounds - >= 59 @ 299.416
300.25/301.14 c bounds - >= 61 @ 299.419
300.25/301.14 c bounds - >= 63 @ 299.421
300.25/301.14 c bounds - >= 65 @ 299.424
300.25/301.14 c bounds - >= 66 @ 299.426
300.25/301.14 c bounds - >= 68 @ 299.429
300.25/301.14 c bounds - >= 70 @ 299.432
300.25/301.14 c bounds - >= 72 @ 299.436
300.25/301.14 c bounds - >= 74 @ 299.437
300.25/301.14 c bounds - >= 76 @ 299.439
300.25/301.14 c bounds - >= 78 @ 299.442
300.25/301.14 c bounds - >= 79 @ 299.444
300.25/301.14 c bounds - >= 80 @ 299.449
300.25/301.14 c bounds - >= 82 @ 299.452
300.25/301.14 c bounds - >= 84 @ 299.453
300.25/301.14 c bounds - >= 86 @ 299.456
300.25/301.14 c bounds - >= 88 @ 299.459
300.25/301.14 c bounds - >= 90 @ 299.461
300.25/301.14 c bounds - >= 91 @ 299.463
300.25/301.14 c bounds - >= 92 @ 299.466
300.25/301.14 c bounds - >= 94 @ 299.47
300.25/301.14 c bounds - >= 96 @ 299.472
300.25/301.14 c bounds - >= 97 @ 299.475
300.25/301.14 c bounds - >= 99 @ 299.477
300.25/301.14 c bounds - >= 101 @ 299.48
300.25/301.14 c bounds - >= 103 @ 299.483
300.25/301.14 c bounds - >= 105 @ 299.487
300.25/301.14 c bounds - >= 107 @ 299.487
300.25/301.14 c bounds - >= 109 @ 299.487
300.25/301.14 c bounds - >= 111 @ 299.492
300.25/301.14 c bounds - >= 113 @ 299.494
300.25/301.14 c bounds - >= 115 @ 299.496
300.25/301.14 c bounds - >= 117 @ 299.499
300.25/301.14 c bounds - >= 118 @ 299.501
300.25/301.14 c bounds - >= 120 @ 299.504
300.25/301.14 c bounds - >= 121 @ 299.509
300.25/301.14 c bounds - >= 123 @ 299.512
300.25/301.14 c bounds - >= 125 @ 299.514
300.25/301.14 c bounds - >= 127 @ 299.516
300.25/301.14 c bounds - >= 129 @ 299.518
300.25/301.14 c bounds - >= 131 @ 299.521
300.25/301.14 c bounds - >= 133 @ 299.524
300.25/301.14 c bounds - >= 134 @ 299.528
300.25/301.14 c bounds - >= 135 @ 299.531
300.25/301.14 c bounds - >= 136 @ 299.532
300.25/301.14 c bounds - >= 138 @ 299.533
300.25/301.14 c bounds - >= 140 @ 299.535
300.25/301.14 c bounds - >= 142 @ 299.538
300.25/301.14 c bounds - >= 143 @ 299.541
300.25/301.14 c bounds - >= 145 @ 299.544
300.25/301.14 c bounds - >= 146 @ 299.546
300.25/301.14 c bounds - >= 148 @ 299.548
300.25/301.14 c bounds - >= 150 @ 299.552
300.25/301.14 c bounds - >= 151 @ 299.555
300.25/301.14 c bounds - >= 153 @ 299.557
300.25/301.14 c bounds - >= 155 @ 299.56
300.25/301.14 c bounds - >= 157 @ 299.563
300.25/301.14 c bounds - >= 159 @ 299.566
300.25/301.14 c bounds - >= 161 @ 299.569
300.25/301.14 c bounds - >= 163 @ 299.571
300.25/301.14 c bounds - >= 165 @ 299.575
300.25/301.14 c bounds - >= 167 @ 299.578
300.25/301.14 c bounds - >= 169 @ 299.581
300.25/301.14 c bounds - >= 171 @ 299.583
300.25/301.14 c bounds - >= 172 @ 299.585
300.25/301.14 c bounds - >= 174 @ 299.588
300.25/301.14 c bounds - >= 176 @ 299.592
300.25/301.14 c bounds - >= 177 @ 299.593
300.25/301.14 c bounds - >= 178 @ 299.596
300.25/301.14 c bounds - >= 180 @ 299.599
300.25/301.14 c bounds - >= 182 @ 299.603
300.25/301.14 c bounds - >= 184 @ 299.606
300.25/301.14 c bounds - >= 186 @ 299.609
300.25/301.14 c bounds - >= 188 @ 299.612
300.25/301.14 c bounds - >= 189 @ 299.615
300.25/301.14 c bounds - >= 190 @ 299.618
300.25/301.14 c bounds - >= 192 @ 299.621
300.25/301.14 c bounds - >= 194 @ 299.623
300.25/301.14 c bounds - >= 196 @ 299.624
300.25/301.14 c bounds - >= 198 @ 299.628
300.25/301.14 c bounds - >= 199 @ 299.632
300.25/301.14 c bounds - >= 201 @ 299.636
300.25/301.14 c bounds - >= 202 @ 299.64
300.25/301.14 c bounds - >= 204 @ 299.642
300.25/301.14 c bounds - >= 205 @ 299.644
300.25/301.14 c bounds - >= 207 @ 299.646
300.25/301.14 c bounds - >= 209 @ 299.648
300.25/301.14 c bounds - >= 211 @ 299.65
300.25/301.14 c bounds - >= 213 @ 299.651
300.25/301.14 c bounds - >= 215 @ 299.654
300.25/301.14 c bounds - >= 216 @ 299.657
300.25/301.14 c bounds - >= 217 @ 299.661
300.25/301.14 c bounds - >= 219 @ 299.664
300.25/301.14 c bounds - >= 221 @ 299.667
300.25/301.14 c bounds - >= 223 @ 299.67
300.25/301.14 c bounds - >= 224 @ 299.672
300.25/301.14 c bounds - >= 226 @ 299.676
300.25/301.14 c bounds - >= 228 @ 299.678
300.25/301.14 c bounds - >= 230 @ 299.682
300.25/301.14 c bounds - >= 232 @ 299.685
300.25/301.14 c bounds - >= 234 @ 299.688
300.25/301.14 c bounds - >= 235 @ 299.693
300.25/301.14 c bounds - >= 237 @ 299.697
300.25/301.14 c bounds - >= 239 @ 299.699
300.25/301.14 c bounds - >= 241 @ 299.704
300.25/301.14 c bounds - >= 243 @ 299.707
300.25/301.14 c bounds - >= 244 @ 299.711
300.25/301.14 c bounds - >= 246 @ 299.712
300.25/301.14 c bounds - >= 248 @ 299.717
300.25/301.14 c bounds - >= 249 @ 299.719
300.25/301.14 c bounds - >= 251 @ 299.724
300.25/301.14 c bounds - >= 253 @ 299.726
300.25/301.14 c bounds - >= 254 @ 299.729
300.25/301.14 c bounds - >= 256 @ 299.733
300.25/301.14 c bounds - >= 257 @ 299.735
300.25/301.14 c bounds - >= 259 @ 299.739
300.25/301.14 c bounds - >= 261 @ 299.742
300.25/301.14 c bounds - >= 262 @ 299.748
300.25/301.14 c bounds - >= 264 @ 299.751
300.25/301.14 c bounds - >= 265 @ 299.753
300.25/301.14 c bounds - >= 266 @ 299.756
300.25/301.14 c bounds - >= 268 @ 299.759
300.25/301.14 c bounds - >= 269 @ 299.762
300.25/301.14 c bounds - >= 271 @ 299.764
300.25/301.14 c bounds - >= 272 @ 299.768
300.25/301.14 c bounds - >= 274 @ 299.771
300.25/301.14 c bounds - >= 276 @ 299.774
300.25/301.14 c bounds - >= 278 @ 299.777
300.25/301.14 c bounds - >= 279 @ 299.78
301.34/302.20 c bounds - >= 280 @ 299.783
301.34/302.20 c bounds - >= 282 @ 299.784
301.34/302.20 c bounds - >= 284 @ 299.788
301.34/302.20 c bounds - >= 285 @ 299.79
301.34/302.20 c bounds - >= 287 @ 299.793
301.34/302.20 c bounds - >= 288 @ 299.794
301.34/302.20 c bounds - >= 289 @ 299.796
301.34/302.20 c bounds - >= 291 @ 299.801
301.34/302.20 c bounds - >= 292 @ 299.803
301.34/302.20 c bounds - >= 293 @ 299.807
301.34/302.20 c bounds - >= 294 @ 299.81
301.34/302.20 c bounds - >= 295 @ 299.813
301.34/302.20 c bounds - >= 297 @ 299.816
301.34/302.20 c bounds - >= 299 @ 299.818
301.34/302.20 c bounds - >= 301 @ 299.82
301.34/302.20 c bounds - >= 302 @ 299.825
301.34/302.20 c bounds - >= 303 @ 299.827
301.34/302.20 c bounds - >= 305 @ 299.831
301.34/302.20 c bounds - >= 307 @ 299.835
301.34/302.20 c bounds - >= 309 @ 299.839
301.34/302.20 c bounds - >= 310 @ 299.841
301.34/302.20 c bounds - >= 311 @ 299.843
301.34/302.20 c bounds - >= 313 @ 299.847
301.34/302.20 c bounds - >= 315 @ 299.85
301.34/302.20 c bounds - >= 317 @ 299.852
301.34/302.20 c bounds - >= 319 @ 299.855
301.34/302.20 c bounds - >= 321 @ 299.859
301.34/302.20 c bounds - >= 323 @ 299.862
301.34/302.20 c bounds - >= 325 @ 299.865
301.34/302.20 c bounds - >= 326 @ 299.868
301.34/302.20 c bounds - >= 327 @ 299.87
301.34/302.20 c bounds - >= 329 @ 299.873
301.34/302.20 c bounds - >= 331 @ 299.874
301.34/302.20 c bounds - >= 333 @ 299.875
301.34/302.20 c bounds - >= 335 @ 299.878
301.34/302.20 c bounds - >= 337 @ 299.882
301.34/302.20 c bounds - >= 339 @ 299.886
301.34/302.20 c bounds - >= 341 @ 299.89
301.34/302.20 c bounds - >= 343 @ 299.891
301.34/302.20 c bounds - >= 345 @ 299.893
301.34/302.20 c bounds - >= 346 @ 299.895
301.34/302.20 c bounds - >= 348 @ 299.897
301.34/302.20 c bounds - >= 350 @ 299.898
301.34/302.20 c bounds - >= 351 @ 299.902
301.34/302.20 c bounds - >= 353 @ 299.906
301.34/302.20 c bounds - >= 355 @ 299.909
301.34/302.20 c bounds - >= 357 @ 299.911
301.34/302.20 c bounds - >= 359 @ 299.913
301.34/302.20 c bounds - >= 360 @ 299.916
301.34/302.20 c bounds - >= 362 @ 299.919
301.34/302.20 c bounds - >= 364 @ 299.922
301.34/302.20 c bounds - >= 366 @ 299.927
301.34/302.20 c bounds - >= 368 @ 299.929
301.34/302.20 c bounds - >= 370 @ 299.932
301.34/302.20 c bounds - >= 372 @ 299.935
301.34/302.20 c bounds - >= 374 @ 299.939
301.34/302.20 c bounds - >= 376 @ 299.941
301.34/302.20 c bounds - >= 378 @ 299.945
301.34/302.20 c bounds - >= 380 @ 299.948
301.34/302.20 c bounds - >= 382 @ 299.95
301.34/302.20 c bounds - >= 383 @ 299.955
301.34/302.20 c bounds - >= 385 @ 299.961
301.34/302.20 c bounds - >= 386 @ 299.962
301.34/302.20 c bounds - >= 388 @ 299.966
301.34/302.20 c bounds - >= 389 @ 299.967
301.34/302.20 c bounds - >= 390 @ 299.969
301.34/302.20 c bounds - >= 392 @ 299.973
301.34/302.20 c bounds - >= 394 @ 299.977
301.34/302.20 c bounds - >= 396 @ 299.981
301.34/302.20 c bounds - >= 397 @ 299.984
301.34/302.20 c bounds - >= 399 @ 299.989
301.34/302.20 c bounds - >= 401 @ 299.994
301.34/302.20 c bounds - >= 402 @ 299.997
301.34/302.20 c bounds - >= 404 @ 300
301.34/302.20 c bounds - >= 405 @ 300.004
301.34/302.20 c bounds - >= 406 @ 300.009
301.34/302.20 c bounds - >= 408 @ 300.014
301.34/302.20 c bounds - >= 410 @ 300.018
301.34/302.20 c bounds - >= 412 @ 300.021
301.34/302.20 c bounds - >= 414 @ 300.024
301.34/302.20 c bounds - >= 415 @ 300.028
301.34/302.20 c bounds - >= 416 @ 300.03
301.34/302.20 c bounds - >= 417 @ 300.034
301.34/302.20 c bounds - >= 418 @ 300.037
301.34/302.20 c bounds - >= 419 @ 300.039
301.34/302.20 c bounds - >= 420 @ 300.041
301.34/302.20 c bounds - >= 421 @ 300.043
301.34/302.20 c bounds - >= 422 @ 300.046
301.34/302.20 c bounds - >= 423 @ 300.05
301.34/302.20 c bounds - >= 424 @ 300.054
301.34/302.20 c bounds - >= 425 @ 300.057
301.34/302.20 c bounds - >= 426 @ 300.06
301.34/302.20 c bounds - >= 427 @ 300.064
301.34/302.20 c bounds - >= 428 @ 300.069
301.34/302.20 c bounds - >= 429 @ 300.072
301.34/302.20 c bounds - >= 430 @ 300.074
301.34/302.20 c bounds - >= 431 @ 300.077
301.34/302.20 c bounds - >= 432 @ 300.079
301.34/302.20 c bounds - >= 433 @ 300.081
301.34/302.20 c bounds - >= 434 @ 300.083
301.34/302.20 c bounds - >= 435 @ 300.085
301.34/302.20 c bounds - >= 436 @ 300.09
301.34/302.20 c bounds - >= 437 @ 300.095
301.34/302.20 c bounds - >= 438 @ 300.096
301.34/302.20 c bounds - >= 439 @ 300.101
301.34/302.20 c bounds - >= 440 @ 300.102
301.34/302.20 c bounds - >= 441 @ 300.107
301.34/302.20 c bounds - >= 442 @ 300.108
301.34/302.20 c bounds - >= 443 @ 300.11
301.34/302.20 c bounds - >= 444 @ 300.112
301.34/302.20 c bounds - >= 445 @ 300.116
301.34/302.20 c bounds - >= 446 @ 300.118
301.34/302.20 c bounds - >= 447 @ 300.122
301.34/302.20 c bounds - >= 448 @ 300.124
301.34/302.20 c bounds - >= 449 @ 300.128
301.34/302.20 c bounds - >= 450 @ 300.131
301.34/302.20 c bounds - >= 451 @ 300.134
301.34/302.20 c bounds - >= 452 @ 300.14
301.34/302.20 c bounds - >= 453 @ 300.142
301.34/302.20 c bounds - >= 454 @ 300.147
301.34/302.20 c bounds - >= 455 @ 300.153
301.34/302.20 c bounds - >= 456 @ 300.155
301.34/302.20 c bounds - >= 457 @ 300.159
301.34/302.20 c bounds - >= 458 @ 300.163
301.34/302.20 c bounds - >= 459 @ 300.165
301.34/302.20 c bounds - >= 460 @ 300.169
301.34/302.20 c bounds - >= 461 @ 300.172
301.34/302.20 c bounds - >= 462 @ 300.175
301.34/302.20 c bounds - >= 463 @ 300.178
301.34/302.20 c bounds - >= 464 @ 300.18
301.34/302.20 c bounds - >= 465 @ 300.182
301.34/302.20 c bounds - >= 466 @ 300.186
301.34/302.20 c bounds - >= 467 @ 300.188
301.34/302.20 c bounds - >= 468 @ 300.192
301.34/302.20 c bounds - >= 469 @ 300.195
301.34/302.20 c bounds - >= 470 @ 300.197
301.34/302.20 c bounds - >= 471 @ 300.2
301.34/302.20 c bounds - >= 472 @ 300.202
301.34/302.20 c bounds - >= 473 @ 300.203
301.34/302.20 c bounds - >= 474 @ 300.204
301.34/302.20 c bounds - >= 475 @ 300.208
301.34/302.20 c bounds - >= 476 @ 300.212
301.34/302.20 c bounds - >= 477 @ 300.214
301.34/302.20 c bounds - >= 478 @ 300.218
301.34/302.20 c bounds - >= 479 @ 300.22
301.34/302.20 c bounds - >= 480 @ 300.224
301.34/302.20 c bounds - >= 481 @ 300.225
321.20/322.17 c bounds - >= 482 @ 300.229
321.20/322.17 c bounds - >= 483 @ 300.232
321.20/322.17 c bounds - >= 484 @ 300.236
321.20/322.17 c bounds - >= 485 @ 300.237
321.20/322.17 c bounds - >= 486 @ 300.24
321.20/322.17 c bounds - >= 487 @ 300.242
321.20/322.17 c bounds - >= 488 @ 300.244
321.20/322.17 c bounds - >= 489 @ 300.249
321.20/322.17 c bounds - >= 490 @ 300.253
321.20/322.17 c bounds - >= 491 @ 300.258
321.20/322.17 c bounds - >= 492 @ 300.259
321.20/322.17 c bounds - >= 493 @ 300.264
321.20/322.17 c bounds - >= 494 @ 300.267
321.20/322.17 c bounds - >= 495 @ 300.272
321.20/322.17 c bounds - >= 496 @ 300.277
321.20/322.17 c bounds - >= 497 @ 300.28
321.20/322.17 c bounds - >= 498 @ 300.283
321.20/322.17 c bounds - >= 499 @ 300.286
321.20/322.17 c bounds - >= 500 @ 300.29
321.20/322.17 c bounds - >= 501 @ 300.294
321.20/322.17 c bounds - >= 502 @ 300.295
321.20/322.17 c bounds - >= 503 @ 300.299
321.20/322.17 c bounds - >= 504 @ 300.303
321.20/322.17 c bounds - >= 505 @ 300.307
321.20/322.17 c bounds - >= 506 @ 300.312
321.20/322.17 c bounds - >= 507 @ 300.318
321.20/322.17 c bounds - >= 508 @ 300.321
321.20/322.17 c bounds - >= 509 @ 300.324
321.20/322.17 c bounds - >= 510 @ 300.327
321.20/322.17 c bounds - >= 511 @ 300.329
321.20/322.17 c bounds - >= 512 @ 300.333
321.20/322.17 c bounds - >= 513 @ 300.338
321.20/322.17 c bounds - >= 514 @ 300.345
321.20/322.17 c bounds - >= 515 @ 300.348
321.20/322.17 c bounds - >= 516 @ 300.352
321.20/322.17 c bounds - >= 517 @ 300.355
321.20/322.17 c bounds - >= 518 @ 300.361
321.20/322.17 c bounds - >= 519 @ 300.365
321.20/322.17 c bounds - >= 520 @ 300.371
321.20/322.17 c bounds - >= 521 @ 300.373
321.20/322.17 c bounds - >= 522 @ 300.377
321.20/322.17 c bounds - >= 523 @ 300.381
321.20/322.17 c bounds - >= 524 @ 300.384
321.20/322.17 c bounds - >= 525 @ 300.386
321.20/322.17 c bounds - >= 526 @ 300.39
321.20/322.17 c bounds - >= 527 @ 300.394
321.20/322.17 c bounds - >= 528 @ 300.397
321.20/322.17 c bounds - >= 529 @ 300.4
321.20/322.17 c bounds - >= 530 @ 300.403
321.20/322.17 c bounds - >= 531 @ 300.406
321.20/322.17 c bounds - >= 532 @ 300.409
321.20/322.17 c bounds - >= 533 @ 300.415
321.20/322.17 c bounds - >= 534 @ 300.421
321.20/322.17 c bounds - >= 535 @ 300.425
321.20/322.17 c bounds - >= 536 @ 300.428
321.20/322.17 c bounds - >= 537 @ 300.431
321.20/322.17 c bounds - >= 538 @ 300.433
321.20/322.17 c bounds - >= 539 @ 300.437
321.20/322.17 c bounds - >= 540 @ 300.441
321.20/322.17 c bounds - >= 541 @ 300.446
321.20/322.17 c bounds - >= 542 @ 300.448
321.20/322.17 c bounds - >= 543 @ 300.452
321.20/322.17 c bounds - >= 544 @ 300.456
321.20/322.17 c bounds - >= 545 @ 300.459
321.20/322.17 c bounds - >= 546 @ 300.461
321.20/322.17 c bounds - >= 547 @ 300.466
321.20/322.17 c bounds - >= 548 @ 300.471
321.20/322.17 c bounds - >= 549 @ 300.474
321.20/322.17 c bounds - >= 550 @ 300.478
321.20/322.17 c bounds - >= 551 @ 300.483
321.20/322.17 c bounds - >= 552 @ 300.488
321.20/322.17 c bounds - >= 553 @ 300.494
321.20/322.17 c bounds - >= 554 @ 300.498
321.20/322.17 c bounds - >= 555 @ 300.5
321.20/322.17 c bounds - >= 556 @ 300.503
321.20/322.17 c bounds - >= 557 @ 300.505
321.20/322.17 c bounds - >= 558 @ 300.509
321.20/322.17 c bounds - >= 559 @ 300.514
321.20/322.17 c bounds - >= 560 @ 300.517
321.20/322.17 c bounds - >= 561 @ 300.521
321.20/322.17 c bounds - >= 562 @ 300.524
321.20/322.17 c bounds - >= 563 @ 300.526
321.20/322.17 c bounds - >= 564 @ 300.529
321.20/322.17 c bounds - >= 565 @ 300.532
321.20/322.17 c bounds - >= 566 @ 300.537
321.20/322.17 c bounds - >= 567 @ 300.54
321.20/322.17 c bounds - >= 568 @ 300.542
321.20/322.17 c bounds - >= 569 @ 300.547
321.20/322.17 c bounds - >= 570 @ 300.549
321.20/322.17 c bounds - >= 571 @ 300.553
321.20/322.17 c bounds - >= 572 @ 300.556
321.20/322.17 c bounds - >= 573 @ 300.558
321.20/322.17 c bounds - >= 574 @ 300.561
321.20/322.17 c bounds - >= 575 @ 300.566
321.20/322.17 c bounds - >= 576 @ 300.57
321.20/322.17 c bounds - >= 577 @ 300.574
321.20/322.17 c bounds - >= 578 @ 300.578
321.20/322.17 c bounds - >= 579 @ 300.581
321.20/322.17 c bounds - >= 580 @ 300.585
321.20/322.17 c bounds - >= 581 @ 300.587
321.20/322.17 c bounds - >= 582 @ 300.588
321.20/322.17 c bounds - >= 583 @ 300.592
321.20/322.17 c bounds - >= 584 @ 300.593
321.20/322.17 c bounds - >= 585 @ 300.595
321.20/322.17 c bounds - >= 586 @ 300.6
321.20/322.17 c bounds - >= 587 @ 300.604
321.20/322.17 c bounds - >= 588 @ 300.606
321.20/322.17 c bounds - >= 589 @ 300.611
321.20/322.17 c bounds - >= 590 @ 300.614
321.20/322.17 c bounds - >= 591 @ 300.621
321.20/322.17 c bounds - >= 592 @ 300.624
321.20/322.17 c bounds - >= 593 @ 300.63
321.20/322.17 c bounds - >= 594 @ 300.634
321.20/322.17 c bounds - >= 595 @ 300.637
321.20/322.17 c bounds - >= 596 @ 300.641
321.20/322.17 c bounds - >= 597 @ 300.643
321.20/322.17 c bounds - >= 598 @ 300.647
321.20/322.17 c bounds - >= 599 @ 300.648
321.20/322.17 c bounds - >= 600 @ 300.652
321.20/322.17 c bounds - >= 601 @ 300.655
321.20/322.17 c bounds - >= 602 @ 300.66
321.20/322.17 c bounds - >= 603 @ 300.663
321.20/322.17 c bounds - >= 604 @ 300.669
321.20/322.17 c bounds - >= 605 @ 300.673
321.20/322.17 c bounds - >= 606 @ 300.677
321.20/322.17 c bounds - >= 607 @ 300.682
321.20/322.17 c #Conflicts: 1000 | #Constraints: 3856
321.20/322.17 c #Conflicts: 2000 | #Constraints: 4856
321.20/322.17 c INPROCESSING
321.20/322.17 c GARBAGE COLLECT
321.20/322.17 c #Conflicts: 3000 | #Constraints: 4472
321.20/322.17 c #Conflicts: 4000 | #Constraints: 5472
321.20/322.17 c INPROCESSING
321.20/322.17 c GARBAGE COLLECT
321.20/322.17 c #Conflicts: 5000 | #Constraints: 4911
321.20/322.17 c #Conflicts: 6000 | #Constraints: 5911
321.20/322.17 c INPROCESSING
321.20/322.17 c GARBAGE COLLECT
321.20/322.17 c #Conflicts: 7000 | #Constraints: 4951
321.20/322.17 c #Conflicts: 8000 | #Constraints: 5951
321.20/322.17 c #Conflicts: 9000 | #Constraints: 6951
610.15/612.03 c INPROCESSING
610.15/612.03 c GARBAGE COLLECT
610.15/612.03 c #Conflicts: 10000 | #Constraints: 5689
610.15/612.03 c #Conflicts: 11000 | #Constraints: 6689
610.15/612.03 c #Conflicts: 12000 | #Constraints: 7689
610.15/612.03 c INPROCESSING
610.15/612.03 c GARBAGE COLLECT
610.15/612.03 c #Conflicts: 13000 | #Constraints: 6158
610.15/612.03 c #Conflicts: 14000 | #Constraints: 7158
610.15/612.03 c #Conflicts: 15000 | #Constraints: 8158
610.15/612.03 c INPROCESSING
610.15/612.03 c GARBAGE COLLECT
610.15/612.03 c #Conflicts: 16000 | #Constraints: 6406
610.15/612.03 c #Conflicts: 17000 | #Constraints: 7406
610.15/612.03 c #Conflicts: 18000 | #Constraints: 8406
610.15/612.03 c INPROCESSING
610.15/612.03 c GARBAGE COLLECT
610.15/612.03 c #Conflicts: 19000 | #Constraints: 6366
610.15/612.03 c #Conflicts: 20000 | #Constraints: 7366
610.15/612.03 c #Conflicts: 21000 | #Constraints: 8366
610.15/612.03 c INPROCESSING
610.15/612.03 c GARBAGE COLLECT
610.15/612.03 c #Conflicts: 22000 | #Constraints: 6145
610.15/612.03 c #Conflicts: 23000 | #Constraints: 7145
610.15/612.03 c #Conflicts: 24000 | #Constraints: 8145
610.15/612.03 c #Conflicts: 25000 | #Constraints: 9145
610.15/612.03 c INPROCESSING
610.15/612.03 c GARBAGE COLLECT
610.15/612.03 c #Conflicts: 26000 | #Constraints: 6731
610.15/612.03 c #Conflicts: 27000 | #Constraints: 7731
610.15/612.03 c #Conflicts: 28000 | #Constraints: 8731
610.15/612.03 c #Conflicts: 29000 | #Constraints: 9731
610.15/612.03 c INPROCESSING
610.15/612.03 c GARBAGE COLLECT
610.15/612.03 c #Conflicts: 30000 | #Constraints: 7115
610.15/612.03 c #Conflicts: 31000 | #Constraints: 8115
610.15/612.03 c #Conflicts: 32000 | #Constraints: 9115
610.15/612.03 c #Conflicts: 33000 | #Constraints: 10115
610.15/612.03 c INPROCESSING
610.15/612.03 c GARBAGE COLLECT
610.15/612.03 c #Conflicts: 34000 | #Constraints: 7314
610.15/612.03 c #Conflicts: 35000 | #Constraints: 8314
610.15/612.03 c #Conflicts: 36000 | #Constraints: 9314
610.15/612.03 c #Conflicts: 37000 | #Constraints: 10314
610.15/612.03 c INPROCESSING
610.15/612.03 c GARBAGE COLLECT
610.15/612.03 c #Conflicts: 38000 | #Constraints: 7308
610.15/612.03 c #Conflicts: 39000 | #Constraints: 8308
610.15/612.03 c #Conflicts: 40000 | #Constraints: 9308
610.15/612.03 c #Conflicts: 41000 | #Constraints: 10308
610.15/612.03 c INPROCESSING
610.15/612.03 c GARBAGE COLLECT
610.15/612.03 c #Conflicts: 42000 | #Constraints: 7119
610.15/612.03 c #Conflicts: 43000 | #Constraints: 8119
610.15/612.03 c #Conflicts: 44000 | #Constraints: 9119
610.15/612.03 c #Conflicts: 45000 | #Constraints: 10119
610.15/612.03 c #Conflicts: 46000 | #Constraints: 11119
610.15/612.03 c INPROCESSING
610.15/612.03 c GARBAGE COLLECT
610.15/612.03 c #Conflicts: 47000 | #Constraints: 7715
610.15/612.03 c #Conflicts: 48000 | #Constraints: 8715
610.15/612.03 c #Conflicts: 49000 | #Constraints: 9715
610.15/612.03 c #Conflicts: 50000 | #Constraints: 10715
610.15/612.03 c #Conflicts: 51000 | #Constraints: 11715
610.15/612.03 c INPROCESSING
610.15/612.03 c GARBAGE COLLECT
610.15/612.03 c #Conflicts: 52000 | #Constraints: 8129
610.15/612.03 c #Conflicts: 53000 | #Constraints: 9129
610.15/612.03 c #Conflicts: 54000 | #Constraints: 10129
610.15/612.03 c #Conflicts: 55000 | #Constraints: 11129
610.15/612.03 c #Conflicts: 56000 | #Constraints: 12129
610.15/612.03 c INPROCESSING
610.15/612.03 c GARBAGE COLLECT
610.15/612.03 c #Conflicts: 57000 | #Constraints: 8330
610.15/612.03 c #Conflicts: 58000 | #Constraints: 9330
610.15/612.03 c #Conflicts: 59000 | #Constraints: 10330
610.15/612.03 c #Conflicts: 60000 | #Constraints: 11330
610.15/612.03 c #Conflicts: 61000 | #Constraints: 12330
610.15/612.03 c INPROCESSING
610.15/612.03 c GARBAGE COLLECT
610.15/612.03 c #Conflicts: 62000 | #Constraints: 8338
610.15/612.03 c #Conflicts: 63000 | #Constraints: 9338
610.15/612.03 c #Conflicts: 64000 | #Constraints: 10338
610.15/612.03 c #Conflicts: 65000 | #Constraints: 11338
610.15/612.03 c #Conflicts: 66000 | #Constraints: 12338
610.15/612.03 c INPROCESSING
610.15/612.03 c GARBAGE COLLECT
610.15/612.03 c #Conflicts: 67000 | #Constraints: 8142
610.15/612.03 c #Conflicts: 68000 | #Constraints: 9142
610.15/612.03 c #Conflicts: 69000 | #Constraints: 10142
610.15/612.03 c #Conflicts: 70000 | #Constraints: 11142
610.15/612.03 c #Conflicts: 71000 | #Constraints: 12142
610.15/612.03 c #Conflicts: 72000 | #Constraints: 13142
610.15/612.03 c INPROCESSING
610.15/612.03 c GARBAGE COLLECT
610.15/612.03 c #Conflicts: 73000 | #Constraints: 8748
610.15/612.03 c #Conflicts: 74000 | #Constraints: 9748
610.15/612.03 c #Conflicts: 75000 | #Constraints: 10748
610.15/612.03 c #Conflicts: 76000 | #Constraints: 11748
610.15/612.03 c #Conflicts: 77000 | #Constraints: 12748
610.15/612.03 c #Conflicts: 78000 | #Constraints: 13748
964.80/967.78 c INPROCESSING
964.80/967.78 c GARBAGE COLLECT
964.80/967.78 c #Conflicts: 79000 | #Constraints: 9162
964.80/967.78 c #Conflicts: 80000 | #Constraints: 10162
964.80/967.78 c #Conflicts: 81000 | #Constraints: 11162
964.80/967.78 c #Conflicts: 82000 | #Constraints: 12162
964.80/967.78 c #Conflicts: 83000 | #Constraints: 13162
964.80/967.78 c #Conflicts: 84000 | #Constraints: 14162
964.80/967.78 c INPROCESSING
964.80/967.78 c GARBAGE COLLECT
964.80/967.78 c #Conflicts: 85000 | #Constraints: 9371
964.80/967.78 c #Conflicts: 86000 | #Constraints: 10371
964.80/967.78 c #Conflicts: 87000 | #Constraints: 11371
964.80/967.78 c #Conflicts: 88000 | #Constraints: 12371
964.80/967.78 c #Conflicts: 89000 | #Constraints: 13371
964.80/967.78 c #Conflicts: 90000 | #Constraints: 14371
964.80/967.78 c INPROCESSING
964.80/967.78 c GARBAGE COLLECT
964.80/967.78 c #Conflicts: 91000 | #Constraints: 9374
964.80/967.78 c #Conflicts: 92000 | #Constraints: 10374
964.80/967.78 c #Conflicts: 93000 | #Constraints: 11374
964.80/967.78 c #Conflicts: 94000 | #Constraints: 12374
964.80/967.78 c #Conflicts: 95000 | #Constraints: 13374
964.80/967.78 c #Conflicts: 96000 | #Constraints: 14374
964.80/967.78 c INPROCESSING
964.80/967.78 c GARBAGE COLLECT
964.80/967.78 c #Conflicts: 97000 | #Constraints: 9181
964.80/967.78 c #Conflicts: 98000 | #Constraints: 10181
964.80/967.78 c #Conflicts: 99000 | #Constraints: 11181
964.80/967.78 c #Conflicts: 100000 | #Constraints: 12181
964.80/967.78 c #Conflicts: 101000 | #Constraints: 13181
964.80/967.78 c #Conflicts: 102000 | #Constraints: 14181
964.80/967.78 c #Conflicts: 103000 | #Constraints: 15181
964.80/967.78 c INPROCESSING
964.80/967.78 c GARBAGE COLLECT
964.80/967.78 c #Conflicts: 104000 | #Constraints: 9777
964.80/967.78 c #Conflicts: 105000 | #Constraints: 10777
964.80/967.78 c #Conflicts: 106000 | #Constraints: 11777
964.80/967.78 c #Conflicts: 107000 | #Constraints: 12777
964.80/967.78 c #Conflicts: 108000 | #Constraints: 13777
964.80/967.78 c #Conflicts: 109000 | #Constraints: 14777
964.80/967.78 c #Conflicts: 110000 | #Constraints: 15777
964.80/967.78 c INPROCESSING
964.80/967.78 c GARBAGE COLLECT
964.80/967.78 c #Conflicts: 111000 | #Constraints: 10190
964.80/967.78 c #Conflicts: 112000 | #Constraints: 11190
964.80/967.78 c #Conflicts: 113000 | #Constraints: 12190
964.80/967.78 c #Conflicts: 114000 | #Constraints: 13190
964.80/967.78 c #Conflicts: 115000 | #Constraints: 14190
964.80/967.78 c #Conflicts: 116000 | #Constraints: 15190
964.80/967.78 c #Conflicts: 117000 | #Constraints: 16190
964.80/967.78 c INPROCESSING
964.80/967.78 c GARBAGE COLLECT
964.80/967.78 c #Conflicts: 118000 | #Constraints: 10359
964.80/967.78 c #Conflicts: 119000 | #Constraints: 11359
964.80/967.78 c #Conflicts: 120000 | #Constraints: 12359
964.80/967.78 c #Conflicts: 121000 | #Constraints: 13359
964.80/967.78 c #Conflicts: 122000 | #Constraints: 14359
964.80/967.78 c #Conflicts: 123000 | #Constraints: 15359
964.80/967.78 c #Conflicts: 124000 | #Constraints: 16359
964.80/967.78 c INPROCESSING
964.80/967.78 c GARBAGE COLLECT
964.80/967.78 c #Conflicts: 125000 | #Constraints: 10371
964.80/967.78 c #Conflicts: 126000 | #Constraints: 11371
964.80/967.78 c #Conflicts: 127000 | #Constraints: 12371
964.80/967.78 c #Conflicts: 128000 | #Constraints: 13371
964.80/967.78 c #Conflicts: 129000 | #Constraints: 14371
964.80/967.78 c #Conflicts: 130000 | #Constraints: 15371
964.80/967.78 c #Conflicts: 131000 | #Constraints: 16371
964.80/967.78 c INPROCESSING
964.80/967.78 c GARBAGE COLLECT
964.80/967.78 c #Conflicts: 132000 | #Constraints: 10177
964.80/967.78 c #Conflicts: 133000 | #Constraints: 11177
964.80/967.78 c #Conflicts: 134000 | #Constraints: 12177
964.80/967.78 c #Conflicts: 135000 | #Constraints: 13177
964.80/967.78 c #Conflicts: 136000 | #Constraints: 14177
964.80/967.78 c #Conflicts: 137000 | #Constraints: 15177
964.80/967.78 c #Conflicts: 138000 | #Constraints: 16177
964.80/967.78 c #Conflicts: 139000 | #Constraints: 17177
964.80/967.78 c INPROCESSING
964.80/967.78 c GARBAGE COLLECT
964.80/967.78 c #Conflicts: 140000 | #Constraints: 10798
964.80/967.78 c #Conflicts: 141000 | #Constraints: 11798
964.80/967.78 c #Conflicts: 142000 | #Constraints: 12798
964.80/967.78 c #Conflicts: 143000 | #Constraints: 13798
964.80/967.78 c #Conflicts: 144000 | #Constraints: 14798
964.80/967.78 c #Conflicts: 145000 | #Constraints: 15798
964.80/967.78 c #Conflicts: 146000 | #Constraints: 16798
964.80/967.78 c #Conflicts: 147000 | #Constraints: 17798
964.80/967.78 c INPROCESSING
964.80/967.78 c GARBAGE COLLECT
964.80/967.78 c #Conflicts: 148000 | #Constraints: 11209
964.80/967.78 c #Conflicts: 149000 | #Constraints: 12209
964.80/967.78 c #Conflicts: 150000 | #Constraints: 13209
1439.92/1444.23 c #Conflicts: 151000 | #Constraints: 14209
1439.92/1444.23 c #Conflicts: 152000 | #Constraints: 15209
1439.92/1444.23 c #Conflicts: 153000 | #Constraints: 16209
1439.92/1444.23 c #Conflicts: 154000 | #Constraints: 17209
1439.92/1444.23 c #Conflicts: 155000 | #Constraints: 18209
1439.92/1444.23 c INPROCESSING
1439.92/1444.23 c GARBAGE COLLECT
1439.92/1444.23 c #Conflicts: 156000 | #Constraints: 11409
1439.92/1444.23 c #Conflicts: 157000 | #Constraints: 12409
1439.92/1444.23 c #Conflicts: 158000 | #Constraints: 13409
1439.92/1444.23 c #Conflicts: 159000 | #Constraints: 14409
1439.92/1444.23 c #Conflicts: 160000 | #Constraints: 15409
1439.92/1444.23 c #Conflicts: 161000 | #Constraints: 16409
1439.92/1444.23 c #Conflicts: 162000 | #Constraints: 17409
1439.92/1444.23 c #Conflicts: 163000 | #Constraints: 18409
1439.92/1444.23 c INPROCESSING
1439.92/1444.23 c GARBAGE COLLECT
1439.92/1444.23 c #Conflicts: 164000 | #Constraints: 11404
1439.92/1444.23 c #Conflicts: 165000 | #Constraints: 12404
1439.92/1444.23 c #Conflicts: 166000 | #Constraints: 13404
1439.92/1444.23 c #Conflicts: 167000 | #Constraints: 14404
1439.92/1444.23 c #Conflicts: 168000 | #Constraints: 15404
1439.92/1444.23 c #Conflicts: 169000 | #Constraints: 16404
1439.92/1444.23 c #Conflicts: 170000 | #Constraints: 17404
1439.92/1444.23 c #Conflicts: 171000 | #Constraints: 18404
1439.92/1444.23 c INPROCESSING
1439.92/1444.23 c GARBAGE COLLECT
1439.92/1444.23 c #Conflicts: 172000 | #Constraints: 11207
1439.92/1444.23 c #Conflicts: 173000 | #Constraints: 12207
1439.92/1444.23 c #Conflicts: 174000 | #Constraints: 13207
1439.92/1444.23 c #Conflicts: 175000 | #Constraints: 14207
1439.92/1444.23 c #Conflicts: 176000 | #Constraints: 15207
1439.92/1444.23 c #Conflicts: 177000 | #Constraints: 16207
1439.92/1444.23 c #Conflicts: 178000 | #Constraints: 17207
1439.92/1444.23 c #Conflicts: 179000 | #Constraints: 18207
1439.92/1444.23 c #Conflicts: 180000 | #Constraints: 19207
1439.92/1444.23 c INPROCESSING
1439.92/1444.23 c GARBAGE COLLECT
1439.92/1444.23 c #Conflicts: 181000 | #Constraints: 11804
1439.92/1444.23 c #Conflicts: 182000 | #Constraints: 12804
1439.92/1444.23 c #Conflicts: 183000 | #Constraints: 13804
1439.92/1444.23 c #Conflicts: 184000 | #Constraints: 14804
1439.92/1444.23 c #Conflicts: 185000 | #Constraints: 15804
1439.92/1444.23 c #Conflicts: 186000 | #Constraints: 16804
1439.92/1444.23 c #Conflicts: 187000 | #Constraints: 17804
1439.92/1444.23 c #Conflicts: 188000 | #Constraints: 18804
1439.92/1444.23 c #Conflicts: 189000 | #Constraints: 19804
1439.92/1444.23 c INPROCESSING
1439.92/1444.23 c GARBAGE COLLECT
1439.92/1444.23 c #Conflicts: 190000 | #Constraints: 12208
1439.92/1444.23 c #Conflicts: 191000 | #Constraints: 13208
1439.92/1444.23 c #Conflicts: 192000 | #Constraints: 14208
1439.92/1444.23 c #Conflicts: 193000 | #Constraints: 15208
1439.92/1444.23 c #Conflicts: 194000 | #Constraints: 16208
1439.92/1444.23 c #Conflicts: 195000 | #Constraints: 17208
1439.92/1444.23 c #Conflicts: 196000 | #Constraints: 18208
1439.92/1444.23 c #Conflicts: 197000 | #Constraints: 19208
1439.92/1444.23 c #Conflicts: 198000 | #Constraints: 20208
1439.92/1444.23 c INPROCESSING
1439.92/1444.23 c GARBAGE COLLECT
1439.92/1444.23 c #Conflicts: 199000 | #Constraints: 12406
1439.92/1444.23 c #Conflicts: 200000 | #Constraints: 13406
1439.92/1444.23 c #Conflicts: 201000 | #Constraints: 14406
1439.92/1444.23 c #Conflicts: 202000 | #Constraints: 15406
1439.92/1444.23 c #Conflicts: 203000 | #Constraints: 16406
1439.92/1444.23 c #Conflicts: 204000 | #Constraints: 17406
1439.92/1444.23 c #Conflicts: 205000 | #Constraints: 18406
1439.92/1444.23 c #Conflicts: 206000 | #Constraints: 19406
1439.92/1444.23 c #Conflicts: 207000 | #Constraints: 20406
1439.92/1444.23 c INPROCESSING
1439.92/1444.23 c GARBAGE COLLECT
1439.92/1444.23 c #Conflicts: 208000 | #Constraints: 12416
1439.92/1444.23 c #Conflicts: 209000 | #Constraints: 13416
1439.92/1444.23 c #Conflicts: 210000 | #Constraints: 14416
1439.92/1444.23 c #Conflicts: 211000 | #Constraints: 15416
1439.92/1444.23 c #Conflicts: 212000 | #Constraints: 16416
1439.92/1444.23 c #Conflicts: 213000 | #Constraints: 17416
1439.92/1444.23 c #Conflicts: 214000 | #Constraints: 18416
1439.92/1444.23 c #Conflicts: 215000 | #Constraints: 19416
1439.92/1444.23 c #Conflicts: 216000 | #Constraints: 20416
1439.92/1444.23 c INPROCESSING
1439.92/1444.23 c GARBAGE COLLECT
1439.92/1444.23 c #Conflicts: 217000 | #Constraints: 12215
1439.92/1444.23 c #Conflicts: 218000 | #Constraints: 13215
1439.92/1444.23 c #Conflicts: 219000 | #Constraints: 14215
1439.92/1444.23 c #Conflicts: 220000 | #Constraints: 15215
1439.92/1444.23 c #Conflicts: 221000 | #Constraints: 16215
1439.92/1444.23 c #Conflicts: 222000 | #Constraints: 17215
1439.92/1444.23 c #Conflicts: 223000 | #Constraints: 18215
2218.83/2225.44 c #Conflicts: 224000 | #Constraints: 19215
2218.83/2225.44 c #Conflicts: 225000 | #Constraints: 20215
2218.83/2225.44 c #Conflicts: 226000 | #Constraints: 21215
2218.83/2225.44 c INPROCESSING
2218.83/2225.44 c GARBAGE COLLECT
2218.83/2225.44 c #Conflicts: 227000 | #Constraints: 12813
2218.83/2225.44 c #Conflicts: 228000 | #Constraints: 13813
2218.83/2225.44 c #Conflicts: 229000 | #Constraints: 14813
2218.83/2225.44 c #Conflicts: 230000 | #Constraints: 15813
2218.83/2225.44 c #Conflicts: 231000 | #Constraints: 16813
2218.83/2225.44 c #Conflicts: 232000 | #Constraints: 17813
2218.83/2225.44 c #Conflicts: 233000 | #Constraints: 18813
2218.83/2225.44 c #Conflicts: 234000 | #Constraints: 19813
2218.83/2225.44 c #Conflicts: 235000 | #Constraints: 20813
2218.83/2225.44 c #Conflicts: 236000 | #Constraints: 21813
2218.83/2225.44 c INPROCESSING
2218.83/2225.44 c GARBAGE COLLECT
2218.83/2225.44 c #Conflicts: 237000 | #Constraints: 13215
2218.83/2225.44 c #Conflicts: 238000 | #Constraints: 14215
2218.83/2225.44 c #Conflicts: 239000 | #Constraints: 15215
2218.83/2225.44 c #Conflicts: 240000 | #Constraints: 16215
2218.83/2225.44 c #Conflicts: 241000 | #Constraints: 17215
2218.83/2225.44 c #Conflicts: 242000 | #Constraints: 18215
2218.83/2225.44 c #Conflicts: 243000 | #Constraints: 19215
2218.83/2225.44 c #Conflicts: 244000 | #Constraints: 20215
2218.83/2225.44 c #Conflicts: 245000 | #Constraints: 21215
2218.83/2225.44 c #Conflicts: 246000 | #Constraints: 22215
2218.83/2225.44 c INPROCESSING
2218.83/2225.44 c GARBAGE COLLECT
2218.83/2225.44 c #Conflicts: 247000 | #Constraints: 13405
2218.83/2225.44 c #Conflicts: 248000 | #Constraints: 14405
2218.83/2225.44 c #Conflicts: 249000 | #Constraints: 15405
2218.83/2225.44 c #Conflicts: 250000 | #Constraints: 16405
2218.83/2225.44 c #Conflicts: 251000 | #Constraints: 17405
2218.83/2225.44 c #Conflicts: 252000 | #Constraints: 18405
2218.83/2225.44 c #Conflicts: 253000 | #Constraints: 19405
2218.83/2225.44 c #Conflicts: 254000 | #Constraints: 20405
2218.83/2225.44 c #Conflicts: 255000 | #Constraints: 21405
2218.83/2225.44 c #Conflicts: 256000 | #Constraints: 22405
2218.83/2225.44 c INPROCESSING
2218.83/2225.44 c GARBAGE COLLECT
2218.83/2225.44 c #Conflicts: 257000 | #Constraints: 13417
2218.83/2225.44 c #Conflicts: 258000 | #Constraints: 14417
2218.83/2225.44 c #Conflicts: 259000 | #Constraints: 15417
2218.83/2225.44 c #Conflicts: 260000 | #Constraints: 16417
2218.83/2225.44 c #Conflicts: 261000 | #Constraints: 17417
2218.83/2225.44 c #Conflicts: 262000 | #Constraints: 18417
2218.83/2225.44 c #Conflicts: 263000 | #Constraints: 19417
2218.83/2225.44 c #Conflicts: 264000 | #Constraints: 20417
2218.83/2225.44 c #Conflicts: 265000 | #Constraints: 21417
2218.83/2225.44 c #Conflicts: 266000 | #Constraints: 22417
2218.83/2225.44 c INPROCESSING
2218.83/2225.44 c GARBAGE COLLECT
2218.83/2225.44 c #Conflicts: 267000 | #Constraints: 13229
2218.83/2225.44 c #Conflicts: 268000 | #Constraints: 14229
2218.83/2225.44 c #Conflicts: 269000 | #Constraints: 15229
2218.83/2225.44 c #Conflicts: 270000 | #Constraints: 16229
2218.83/2225.44 c #Conflicts: 271000 | #Constraints: 17229
2218.83/2225.44 c #Conflicts: 272000 | #Constraints: 18229
2218.83/2225.44 c #Conflicts: 273000 | #Constraints: 19229
2218.83/2225.44 c #Conflicts: 274000 | #Constraints: 20229
2218.83/2225.44 c #Conflicts: 275000 | #Constraints: 21229
2218.83/2225.44 c #Conflicts: 276000 | #Constraints: 22229
2218.83/2225.44 c #Conflicts: 277000 | #Constraints: 23229
2218.83/2225.44 c INPROCESSING
2218.83/2225.44 c GARBAGE COLLECT
2218.83/2225.44 c #Conflicts: 278000 | #Constraints: 13832
2218.83/2225.44 c #Conflicts: 279000 | #Constraints: 14832
2218.83/2225.44 c #Conflicts: 280000 | #Constraints: 15832
2218.83/2225.44 c #Conflicts: 281000 | #Constraints: 16832
2218.83/2225.44 c #Conflicts: 282000 | #Constraints: 17832
2218.83/2225.44 c #Conflicts: 283000 | #Constraints: 18832
2218.83/2225.44 c #Conflicts: 284000 | #Constraints: 19832
2218.83/2225.44 c #Conflicts: 285000 | #Constraints: 20832
2218.83/2225.44 c #Conflicts: 286000 | #Constraints: 21832
2218.83/2225.44 c #Conflicts: 287000 | #Constraints: 22832
2218.83/2225.44 c #Conflicts: 288000 | #Constraints: 23832
2218.83/2225.44 c INPROCESSING
2218.83/2225.44 c GARBAGE COLLECT
2218.83/2225.44 c #Conflicts: 289000 | #Constraints: 14236
2218.83/2225.44 c #Conflicts: 290000 | #Constraints: 15236
2218.83/2225.44 c #Conflicts: 291000 | #Constraints: 16236
2218.83/2225.44 c #Conflicts: 292000 | #Constraints: 17236
2218.83/2225.44 c #Conflicts: 293000 | #Constraints: 18236
2218.83/2225.44 c #Conflicts: 294000 | #Constraints: 19236
2218.83/2225.44 c #Conflicts: 295000 | #Constraints: 20236
2218.83/2225.44 c #Conflicts: 296000 | #Constraints: 21236
2218.83/2225.44 c #Conflicts: 297000 | #Constraints: 22236
2218.83/2225.44 c #Conflicts: 298000 | #Constraints: 23236
3039.18/3048.24 c #Conflicts: 299000 | #Constraints: 24236
3039.18/3048.24 c INPROCESSING
3039.18/3048.24 c GARBAGE COLLECT
3039.18/3048.24 c #Conflicts: 300000 | #Constraints: 14434
3039.18/3048.24 c #Conflicts: 301000 | #Constraints: 15434
3039.18/3048.24 c #Conflicts: 302000 | #Constraints: 16434
3039.18/3048.24 c #Conflicts: 303000 | #Constraints: 17434
3039.18/3048.24 c #Conflicts: 304000 | #Constraints: 18434
3039.18/3048.24 c #Conflicts: 305000 | #Constraints: 19434
3039.18/3048.24 c #Conflicts: 306000 | #Constraints: 20434
3039.18/3048.24 c #Conflicts: 307000 | #Constraints: 21434
3039.18/3048.24 c #Conflicts: 308000 | #Constraints: 22434
3039.18/3048.24 c #Conflicts: 309000 | #Constraints: 23434
3039.18/3048.24 c #Conflicts: 310000 | #Constraints: 24434
3039.18/3048.24 c INPROCESSING
3039.18/3048.24 c GARBAGE COLLECT
3039.18/3048.24 c #Conflicts: 311000 | #Constraints: 14436
3039.18/3048.24 c #Conflicts: 312000 | #Constraints: 15436
3039.18/3048.24 c #Conflicts: 313000 | #Constraints: 16436
3039.18/3048.24 c #Conflicts: 314000 | #Constraints: 17436
3039.18/3048.24 c #Conflicts: 315000 | #Constraints: 18436
3039.18/3048.24 c #Conflicts: 316000 | #Constraints: 19436
3039.18/3048.24 c #Conflicts: 317000 | #Constraints: 20436
3039.18/3048.24 c #Conflicts: 318000 | #Constraints: 21436
3039.18/3048.24 c #Conflicts: 319000 | #Constraints: 22436
3039.18/3048.24 c #Conflicts: 320000 | #Constraints: 23436
3039.18/3048.24 c #Conflicts: 321000 | #Constraints: 24436
3039.18/3048.24 c INPROCESSING
3039.18/3048.24 c GARBAGE COLLECT
3039.18/3048.24 c #Conflicts: 322000 | #Constraints: 14241
3039.18/3048.24 c #Conflicts: 323000 | #Constraints: 15241
3039.18/3048.24 c #Conflicts: 324000 | #Constraints: 16241
3039.18/3048.24 c #Conflicts: 325000 | #Constraints: 17241
3039.18/3048.24 c #Conflicts: 326000 | #Constraints: 18241
3039.18/3048.24 c #Conflicts: 327000 | #Constraints: 19241
3039.18/3048.24 c #Conflicts: 328000 | #Constraints: 20241
3039.18/3048.24 c #Conflicts: 329000 | #Constraints: 21241
3039.18/3048.24 c #Conflicts: 330000 | #Constraints: 22241
3039.18/3048.24 c #Conflicts: 331000 | #Constraints: 23241
3039.18/3048.24 c #Conflicts: 332000 | #Constraints: 24241
3039.18/3048.24 c #Conflicts: 333000 | #Constraints: 25241
3039.18/3048.24 c INPROCESSING
3039.18/3048.24 c GARBAGE COLLECT
3039.18/3048.24 c #Conflicts: 334000 | #Constraints: 14832
3039.18/3048.24 c #Conflicts: 335000 | #Constraints: 15832
3039.18/3048.24 c #Conflicts: 336000 | #Constraints: 16832
3039.18/3048.24 c #Conflicts: 337000 | #Constraints: 17832
3039.18/3048.24 c #Conflicts: 338000 | #Constraints: 18832
3039.18/3048.24 c #Conflicts: 339000 | #Constraints: 19832
3039.18/3048.24 c #Conflicts: 340000 | #Constraints: 20832
3039.18/3048.24 c #Conflicts: 341000 | #Constraints: 21832
3039.18/3048.24 c #Conflicts: 342000 | #Constraints: 22832
3039.18/3048.24 c #Conflicts: 343000 | #Constraints: 23832
3039.18/3048.24 c #Conflicts: 344000 | #Constraints: 24832
3039.18/3048.24 c #Conflicts: 345000 | #Constraints: 25832
3039.18/3048.24 c INPROCESSING
3039.18/3048.24 c GARBAGE COLLECT
3039.18/3048.24 c #Conflicts: 346000 | #Constraints: 15243
3039.18/3048.24 c #Conflicts: 347000 | #Constraints: 16243
3039.18/3048.24 c #Conflicts: 348000 | #Constraints: 17243
3039.18/3048.24 c #Conflicts: 349000 | #Constraints: 18243
3039.18/3048.24 c #Conflicts: 350000 | #Constraints: 19243
3039.18/3048.24 c #Conflicts: 351000 | #Constraints: 20243
3039.18/3048.24 c #Conflicts: 352000 | #Constraints: 21243
3039.18/3048.24 c #Conflicts: 353000 | #Constraints: 22243
3039.18/3048.24 c #Conflicts: 354000 | #Constraints: 23243
3039.18/3048.24 c #Conflicts: 355000 | #Constraints: 24243
3039.18/3048.24 c #Conflicts: 356000 | #Constraints: 25243
3039.18/3048.24 c #Conflicts: 357000 | #Constraints: 26243
3039.18/3048.24 c INPROCESSING
3039.18/3048.24 c GARBAGE COLLECT
3039.18/3048.24 c #Conflicts: 358000 | #Constraints: 15444
3039.18/3048.24 c #Conflicts: 359000 | #Constraints: 16444
3039.18/3048.24 c #Conflicts: 360000 | #Constraints: 17444
3039.18/3048.24 c #Conflicts: 361000 | #Constraints: 18444
3039.18/3048.24 c #Conflicts: 362000 | #Constraints: 19444
3039.18/3048.24 c #Conflicts: 363000 | #Constraints: 20444
3039.18/3048.24 c #Conflicts: 364000 | #Constraints: 21444
3039.18/3048.24 c #Conflicts: 365000 | #Constraints: 22444
3039.18/3048.24 c #Conflicts: 366000 | #Constraints: 23444
3039.18/3048.24 c #Conflicts: 367000 | #Constraints: 24444
3039.18/3048.24 c #Conflicts: 368000 | #Constraints: 25444
3039.18/3048.24 c #Conflicts: 369000 | #Constraints: 26444
3039.18/3048.24 c INPROCESSING
3039.18/3048.24 c GARBAGE COLLECT
3039.18/3048.24 c #Conflicts: 370000 | #Constraints: 15447
3039.18/3048.24 c #Conflicts: 371000 | #Constraints: 16447
3039.18/3048.24 c #Conflicts: 372000 | #Constraints: 17447
3600.04/3610.80 c #Conflicts: 373000 | #Constraints: 18447
3600.04/3610.80 c #Conflicts: 374000 | #Constraints: 19447
3600.04/3610.80 c #Conflicts: 375000 | #Constraints: 20447
3600.04/3610.80 c #Conflicts: 376000 | #Constraints: 21447
3600.04/3610.80 c #Conflicts: 377000 | #Constraints: 22447
3600.04/3610.80 c #Conflicts: 378000 | #Constraints: 23447
3600.04/3610.80 c #Conflicts: 379000 | #Constraints: 24447
3600.04/3610.80 c #Conflicts: 380000 | #Constraints: 25447
3600.04/3610.80 c #Conflicts: 381000 | #Constraints: 26447
3600.04/3610.80 c INPROCESSING
3600.04/3610.80 c GARBAGE COLLECT
3600.04/3610.80 c #Conflicts: 382000 | #Constraints: 15237
3600.04/3610.80 c #Conflicts: 383000 | #Constraints: 16237
3600.04/3610.80 c #Conflicts: 384000 | #Constraints: 17237
3600.04/3610.80 c #Conflicts: 385000 | #Constraints: 18237
3600.04/3610.80 c #Conflicts: 386000 | #Constraints: 19237
3600.04/3610.80 c #Conflicts: 387000 | #Constraints: 20237
3600.04/3610.80 c #Conflicts: 388000 | #Constraints: 21237
3600.04/3610.80 c #Conflicts: 389000 | #Constraints: 22237
3600.04/3610.80 c #Conflicts: 390000 | #Constraints: 23237
3600.04/3610.80 c #Conflicts: 391000 | #Constraints: 24237
3600.04/3610.80 c #Conflicts: 392000 | #Constraints: 25237
3600.04/3610.80 c #Conflicts: 393000 | #Constraints: 26237
3600.04/3610.80 c #Conflicts: 394000 | #Constraints: 27237
3600.04/3610.80 c INPROCESSING
3600.04/3610.80 c GARBAGE COLLECT
3600.04/3610.80 c #Conflicts: 395000 | #Constraints: 15853
3600.04/3610.80 c #Conflicts: 396000 | #Constraints: 16853
3600.04/3610.80 c #Conflicts: 397000 | #Constraints: 17853
3600.04/3610.80 c #Conflicts: 398000 | #Constraints: 18853
3600.04/3610.80 c #Conflicts: 399000 | #Constraints: 19853
3600.04/3610.80 c #Conflicts: 400000 | #Constraints: 20853
3600.04/3610.80 c #Conflicts: 401000 | #Constraints: 21853
3600.04/3610.80 c #Conflicts: 402000 | #Constraints: 22853
3600.04/3610.80 c #Conflicts: 403000 | #Constraints: 23853
3600.04/3610.80 c #Conflicts: 404000 | #Constraints: 24853
3600.04/3610.80 c #Conflicts: 405000 | #Constraints: 25853
3600.04/3610.80 c #Conflicts: 406000 | #Constraints: 26853
3600.04/3610.80 c #Conflicts: 407000 | #Constraints: 27853
3600.04/3610.80 c INPROCESSING
3600.04/3610.80 c GARBAGE COLLECT
3600.04/3610.80 c #Conflicts: 408000 | #Constraints: 16241
3600.04/3610.80 c #Conflicts: 409000 | #Constraints: 17241
3600.04/3610.80 c #Conflicts: 410000 | #Constraints: 18241
3600.04/3610.80 c #Conflicts: 411000 | #Constraints: 19241
3600.04/3610.80 c #Conflicts: 412000 | #Constraints: 20241
3600.04/3610.80 c Program interrupted by user.
3600.04/3610.80 c cpu time 3578.91 s
3600.04/3610.80 c deterministic time 252761412411 2.53e+11
3600.04/3610.80 c optimization time 89.4857 s
3600.04/3610.80 c total solve time 3190.16 s
3600.04/3610.80 c core-guided solve time 3190.16 s
3600.04/3610.80 c propagation time 2083.64 s
3600.04/3610.80 c conflict analysis time 615.081 s
3600.04/3610.80 c propagations 180079192
3600.04/3610.80 c resolve steps 912239
3600.04/3610.80 c decisions 23953724
3600.04/3610.80 c conflicts 412193
3600.04/3610.80 c restarts 1017
3600.04/3610.80 c inprocessing phases 55
3600.04/3610.80 c input clauses 2432
3600.04/3610.80 c input cardinalities 1
3600.04/3610.80 c input general constraints 423
3600.04/3610.80 c input average constraint length 1979.63
3600.04/3610.80 c input average constraint degree 61.53
3600.04/3610.80 c learned clauses 50733
3600.04/3610.80 c learned cardinalities 98
3600.04/3610.80 c learned general constraints 361363
3600.04/3610.80 c learned average constraint length 6346.31
3600.04/3610.80 c learned average constraint degree 576520.11
3600.04/3610.80 c watched constraints 15669
3600.04/3610.80 c counting constraints 346117
3600.04/3610.80 c gcd simplifications 431
3600.04/3610.80 c detected cardinalities 0
3600.04/3610.80 c weakened non-implied lits 249959466
3600.04/3610.80 c weakened non-implying lits 884
3600.04/3610.80 c original variables 13215
3600.04/3610.80 c clausal propagations 4149693
3600.04/3610.80 c cardinality propagations 7045
3600.04/3610.80 c watched propagations 2035993
3600.04/3610.80 c counting propagations 171909479
3600.04/3610.80 c watch lookups 37356264008
3600.04/3610.80 c watch backjump lookups 37321852738
3600.04/3610.80 c watch checks 24676061356
3600.04/3610.80 c propagation checks 148121959493
3600.04/3610.80 c constraint additions 4876804962
3600.04/3610.80 c trail pops 204436937
3600.04/3610.80 c formula constraints 2422
3600.04/3610.80 c learned constraints 412194
3600.04/3610.80 c bound constraints 423
3600.04/3610.80 c core-guided constraints 11
3600.04/3610.80 c encountered formula constraints 636442
3600.04/3610.80 c encountered learned constraints 687972
3600.04/3610.80 c encountered bound constraints 5
3600.04/3610.80 c encountered core-guided constraints 13
3600.04/3610.80 c LP total time 0 s
3600.04/3610.80 c LP solve time 0 s
3600.04/3610.80 c LP constraints added 0
3600.04/3610.80 c LP constraints removed 0
3600.04/3610.80 c LP pivots internal 0
3600.04/3610.80 c LP pivots root 0
3600.04/3610.80 c LP calls 0
3600.04/3610.80 c LP optimalities 0
3600.04/3610.80 c LP no pivot count 0
3600.04/3610.80 c LP infeasibilities 0
3600.04/3610.80 c LP valid Farkas constraints 0
3600.04/3610.80 c LP learned Farkas constraints 0
3600.04/3610.80 c LP basis resets 0
3600.04/3610.80 c LP cycling count 0
3600.04/3610.80 c LP singular count 0
3600.04/3610.80 c LP no primal count 0
3600.04/3610.80 c LP no farkas count 0
3600.04/3610.80 c LP other issue count 0
3600.04/3610.80 c LP Gomory cuts 0
3600.04/3610.80 c LP learned cuts 0
3600.04/3610.80 c LP deleted cuts 0
3600.04/3610.80 c LP encountered Gomory constraints 0
3600.04/3610.80 c LP encountered Farkas constraints 0
3600.04/3610.80 c LP encountered learned Farkas constraints 0
3600.04/3610.80 c CG auxiliary variables introduced 11
3600.04/3610.80 c CG solutions found 0
3600.04/3610.80 c CG cores constructed 422
3600.04/3610.80 c CG core cardinality constraints returned 0
3600.04/3610.80 c CG unit cores 0
3600.04/3610.80 c CG single cores 422
3600.04/3610.80 c CG blocks removed during cardinality reduction 0
3600.04/3610.80 c CG first core best 0
3600.04/3610.80 c CG decision core best 0
3600.04/3610.80 c CG core reduction tie 0
3600.04/3610.80 c CG core degree average 1.00
3600.04/3610.80 c CG core slack average 20.45
3600.04/3610.80 c CG exhausted 0
3600.04/3610.80 c CG exhaust time 0 s
3600.04/3610.80 c CG trimmed 52
3600.04/3610.80 c CG trim time 0.005924 s
3600.04/3610.80 c CG minimized 0
3600.04/3610.80 c CG minimize time 0 s
3600.04/3610.80 c CG am1 prop time 0.015769 s
3600.04/3610.80 c CG # am1s reformulated 11
3600.04/3610.80 c CG lower bound derived from am1s 20
3600.04/3610.80 c CG # clausal cores 422
3600.04/3610.80 c CG # cardinality cores 0
3600.04/3610.80 c CG # pb cores 0
3600.04/3610.80 c CG # pb reforms 0
3600.04/3610.80 c CG # cores discarded because of pb reform 0
3600.04/3610.80 d LOWERBOUND 607
3600.04/3610.80 d NCORES 422
3600.04/3610.80 d NPBCORES 0
3600.04/3610.80 d NPBREFORM 0
3600.04/3610.80 d NTRIMMED 52
3600.04/3610.80 d NEXHAUSTED 0
3600.04/3610.80 d NAM1S 11
3600.04/3610.80 d AM1LB 20
3600.04/3610.80 c [Papilo Statistics]
3600.04/3610.80 c prepro time 0.0411529s
3600.04/3610.80 c # tsx applied 67
3600.04/3610.80 c # tsx conflicts 0
3600.04/3610.80 c # bound changes 55
3600.04/3610.80 c # side changes 0
3600.04/3610.80 c # coef changes 0
3600.04/3610.80 c # rounds 6
3600.04/3610.80 c # deted vars 58
3600.04/3610.80 c # deted constrs 165
3600.04/3610.80 c # consecutive rounds of only bound changes 0
3600.04/3610.87 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61787 MiB free)
memory of node 1: 64465 MiB (61727 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485265-1751286576/watcher-4485265-1751286576 -o /tmp/evaluation-result-4485265-1751286576/solver-4485265-1751286576 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751279693-40746 --watchdog 3760 mixed-bag HOME/instance-4485265-1751286576.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=41511, runsolver pid=41508
[startup+0.100065 s]*
/proc/loadavg: 4.10 4.12 4.09 5/264 41512
/proc/meminfo: memFree=126463196/131250000 swapFree=33010684/33010684
[pid=41511] ppid=41508 vsize=109888 memory=28736 CPUtime=0.08 cores=0,2
/proc/41511/stat : 41511 (mixed-bag) R 41508 41511 40736 0 -1 4194304 6072 0 0 0 7 1 0 0 20 0 1 0 44336274 112525312 7184 18446744073709551615 4235264 15874749 140723015695264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42405888 140723015702940 140723015703017 140723015703017 140723015708619 0
/proc/41511/statm: 27472 7184 2304 2842 0 9166 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 109888 KiB
Current children cumulated memory: 28736 KiB
[startup+0.205573 s]*
/proc/loadavg: 4.10 4.12 4.09 5/264 41512
/proc/meminfo: memFree=126423128/131250000 swapFree=33010684/33010684
[pid=41511] ppid=41508 vsize=156152 memory=78272 CPUtime=0.19 cores=0,2
/proc/41511/stat : 41511 (mixed-bag) R 41508 41511 40736 0 -1 4194304 16859 0 0 0 15 4 0 0 20 0 1 0 44336274 159899648 19568 18446744073709551615 4235264 15874749 140723015695264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42405888 140723015702940 140723015703017 140723015703017 140723015708619 0
/proc/41511/statm: 39038 19568 4032 2842 0 20732 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 156152 KiB
Current children cumulated memory: 78272 KiB
[startup+0.305481 s]*
/proc/loadavg: 4.10 4.12 4.09 5/264 41512
/proc/meminfo: memFree=126415064/131250000 swapFree=33010684/33010684
[pid=41511] ppid=41508 vsize=165272 memory=88024 CPUtime=0.29 cores=0,2
/proc/41511/stat : 41511 (mixed-bag) R 41508 41511 40736 0 -1 4194304 19985 0 0 0 25 4 0 0 20 0 1 0 44336274 169238528 22006 18446744073709551615 4235264 15874749 140723015695264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42405888 140723015702940 140723015703017 140723015703017 140723015708619 0
/proc/41511/statm: 41318 22006 4032 2842 0 23012 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 165272 KiB
Current children cumulated memory: 88024 KiB
[startup+0.70019 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 41512
/proc/meminfo: memFree=126415064/131250000 swapFree=33010684/33010684
[pid=41511] ppid=41508 vsize=165264 memory=88344 CPUtime=0.67 cores=0,2
/proc/41511/stat : 41511 (mixed-bag) R 41508 41511 40736 0 -1 4194304 21697 0 0 0 63 4 0 0 20 0 1 0 44336274 169230336 22086 18446744073709551615 4235264 15874749 140723015695264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42405888 140723015702940 140723015703017 140723015703017 140723015708619 0
/proc/41511/statm: 41316 22086 4064 2842 0 23010 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 165264 KiB
Current children cumulated memory: 88344 KiB
[startup+1.50018 s]
/proc/loadavg: 4.09 4.12 4.09 5/264 41512
/proc/meminfo: memFree=126359120/131250000 swapFree=33010684/33010684
[pid=41511] ppid=41508 vsize=251176 memory=144536 CPUtime=1.48 cores=0,2
/proc/41511/stat : 41511 (mixed-bag) R 41508 41511 40736 0 -1 4194304 35580 0 0 0 141 7 0 0 20 0 1 0 44336274 257204224 36134 18446744073709551615 4235264 15874749 140723015695264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42405888 140723015702940 140723015703017 140723015703017 140723015708619 0
/proc/41511/statm: 62794 36134 4256 2842 0 44488 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 251176 KiB
Current children cumulated memory: 144536 KiB
[startup+3.10538 s]
/proc/loadavg: 4.09 4.12 4.09 5/264 41512
/proc/meminfo: memFree=126359164/131250000 swapFree=33010684/33010684
[pid=41511] ppid=41508 vsize=252324 memory=145304 CPUtime=3.08 cores=0,2
/proc/41511/stat : 41511 (mixed-bag) R 41508 41511 40736 0 -1 4194304 35764 0 0 0 301 7 0 0 20 0 1 0 44336274 258379776 36326 18446744073709551615 4235264 15874749 140723015695264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42405888 140723015702940 140723015703017 140723015703017 140723015708619 0
/proc/41511/statm: 63081 36326 4256 2842 0 44775 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 252324 KiB
Current children cumulated memory: 145304 KiB
[startup+6.30018 s]
/proc/loadavg: 4.16 4.13 4.09 5/264 41512
/proc/meminfo: memFree=126359172/131250000 swapFree=33010684/33010684
[pid=41511] ppid=41508 vsize=253324 memory=146072 CPUtime=6.26 cores=0,2
/proc/41511/stat : 41511 (mixed-bag) R 41508 41511 40736 0 -1 4194304 35976 0 0 0 619 7 0 0 20 0 1 0 44336274 259403776 36518 18446744073709551615 4235264 15874749 140723015695264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42405888 140723015702940 140723015703017 140723015703017 140723015708619 0
/proc/41511/statm: 63331 36518 4256 2842 0 45025 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 253324 KiB
Current children cumulated memory: 146072 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.13 4.09 5/264 41512
/proc/meminfo: memFree=126359204/131250000 swapFree=33010684/33010684
[pid=41511] ppid=41508 vsize=259684 memory=151320 CPUtime=12.64 cores=0,2
/proc/41511/stat : 41511 (mixed-bag) R 41508 41511 40736 0 -1 4194304 37298 0 0 0 1257 7 0 0 20 0 1 0 44336274 265916416 37830 18446744073709551615 4235264 15874749 140723015695264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42405888 140723015702940 140723015703017 140723015703017 140723015708619 0
/proc/41511/statm: 64921 37830 4256 2842 0 46615 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 259684 KiB
Current children cumulated memory: 151320 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.13 4.09 5/264 41512
/proc/meminfo: memFree=126330916/131250000 swapFree=33010684/33010684
[pid=41511] ppid=41508 vsize=275244 memory=165656 CPUtime=25.4 cores=0,2
/proc/41511/stat : 41511 (mixed-bag) R 41508 41511 40736 0 -1 4194304 40858 0 0 0 2533 7 0 0 20 0 1 0 44336274 281849856 41414 18446744073709551615 4235264 15874749 140723015695264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42405888 140723015702940 140723015703017 140723015703017 140723015708619 0
/proc/41511/statm: 68811 41414 4256 2842 0 50505 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 275244 KiB
Current children cumulated memory: 165656 KiB
[startup+51.1054 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 41512
/proc/meminfo: memFree=126282540/131250000 swapFree=33010684/33010684
[pid=41511] ppid=41508 vsize=326076 memory=214168 CPUtime=50.94 cores=0,2
/proc/41511/stat : 41511 (mixed-bag) R 41508 41511 40736 0 -1 4194304 53007 0 0 0 5085 9 0 0 20 0 1 0 44336274 333901824 53542 18446744073709551615 4235264 15874749 140723015695264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42405888 140723015702940 140723015703017 140723015703017 140723015708619 0
/proc/41511/statm: 81519 53542 4256 2842 0 63213 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 326076 KiB
Current children cumulated memory: 214168 KiB
[startup+102.3 s]
/proc/loadavg: 4.48 4.21 4.12 5/264 41515
/proc/meminfo: memFree=126278864/131250000 swapFree=33010684/33010684
[pid=41511] ppid=41508 vsize=327428 memory=215448 CPUtime=101.99 cores=0,2
/proc/41511/stat : 41511 (mixed-bag) R 41508 41511 40736 0 -1 4194304 53332 0 0 0 10190 9 0 0 20 0 1 0 44336274 335286272 53862 18446744073709551615 4235264 15874749 140723015695264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42405888 140723015702940 140723015703017 140723015703017 140723015708619 0
/proc/41511/statm: 81857 53862 4256 2842 0 63551 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 327428 KiB
Current children cumulated memory: 215448 KiB
[startup+162.3 s]
/proc/loadavg: 4.21 4.18 4.11 5/265 41524
/proc/meminfo: memFree=126278028/131250000 swapFree=33010684/33010684
[pid=41511] ppid=41508 vsize=327592 memory=215704 CPUtime=161.83 cores=0,2
/proc/41511/stat : 41511 (mixed-bag) R 41508 41511 40736 0 -1 4194304 53378 0 0 0 16173 10 0 0 20 0 1 0 44336274 335454208 53926 18446744073709551615 4235264 15874749 140723015695264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42405888 140723015702940 140723015703017 140723015703017 140723015708619 0
/proc/41511/statm: 81898 53926 4256 2842 0 63592 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 327592 KiB
Current children cumulated memory: 215704 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.18 4.11 5/264 41526
/proc/meminfo: memFree=126278592/131250000 swapFree=33010684/33010684
[pid=41511] ppid=41508 vsize=327592 memory=215704 CPUtime=221.66 cores=0,2
/proc/41511/stat : 41511 (mixed-bag) R 41508 41511 40736 0 -1 4194304 53381 0 0 0 22156 10 0 0 20 0 1 0 44336274 335454208 53926 18446744073709551615 4235264 15874749 140723015695264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42405888 140723015702940 140723015703017 140723015703017 140723015708619 0
/proc/41511/statm: 81898 53926 4256 2842 0 63592 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 327592 KiB
Current children cumulated memory: 215704 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/265 41529
/proc/meminfo: memFree=126268228/131250000 swapFree=33010684/33010684
[pid=41511] ppid=41508 vsize=327592 memory=215704 CPUtime=281.5 cores=0,2
/proc/41511/stat : 41511 (mixed-bag) R 41508 41511 40736 0 -1 4194304 53387 0 0 0 28140 10 0 0 20 0 1 0 44336274 335454208 53926 18446744073709551615 4235264 15874749 140723015695264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42405888 140723015702940 140723015703017 140723015703017 140723015708619 0
/proc/41511/statm: 81898 53926 4256 2842 0 63592 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 327592 KiB
Current children cumulated memory: 215704 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.14 4.10 4/261 41611
/proc/meminfo: memFree=127381648/131250000 swapFree=33010684/33010684
[pid=41511] ppid=41508 vsize=924220 memory=753492 CPUtime=341.34 cores=0,2
/proc/41511/stat : 41511 (mixed-bag) R 41508 41511 40736 0 -1 4194304 122249 0 0 0 33876 258 0 0 20 0 1 0 44336274 946401280 188373 18446744073709551615 4235264 15874749 140723015695264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42405888 140723015702940 140723015703017 140723015703017 140723015708619 0
/proc/41511/statm: 231055 188373 4416 2842 0 212749 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 924220 KiB
Current children cumulated memory: 753492 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/265 41623
/proc/meminfo: memFree=126466576/131250000 swapFree=33010684/33010684
[pid=41511] ppid=41508 vsize=1280320 memory=1045744 CPUtime=401.13 cores=0,2
/proc/41511/stat : 41511 (mixed-bag) R 41508 41511 40736 0 -1 4194304 162197 0 0 0 39775 338 0 0 20 0 1 0 44336274 1311047680 261436 18446744073709551615 4235264 15874749 140723015695264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42405888 140723015702940 140723015703017 140723015703017 140723015708619 0
/proc/41511/statm: 320080 261436 4416 2842 0 301774 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 1280320 KiB
Current children cumulated memory: 1045744 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/264 41625
/proc/meminfo: memFree=126035004/131250000 swapFree=33010684/33010684
[pid=41511] ppid=41508 vsize=1680428 memory=1378744 CPUtime=460.93 cores=0,2
/proc/41511/stat : 41511 (mixed-bag) R 41508 41511 40736 0 -1 4194304 225021 0 0 0 45683 410 0 0 20 0 1 0 44336274 1720758272 344686 18446744073709551615 4235264 15874749 140723015695264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42405888 140723015702940 140723015703017 140723015703017 140723015708619 0
/proc/41511/statm: 420107 344686 4416 2842 0 401801 0
################
# More data... #
################
Current children cumulated memory: 3173316 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 41798
/proc/meminfo: memFree=116421412/131250000 swapFree=33010684/33010684
[pid=41511] ppid=41508 vsize=3920636 memory=3173316 CPUtime=2853.84 cores=0,2
/proc/41511/stat : 41511 (mixed-bag) R 41508 41511 40736 0 -1 4194304 499066 0 0 0 283604 1780 0 0 20 0 1 0 44336274 4014731264 793329 18446744073709551615 4235264 15874749 140723015695264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42405888 140723015702940 140723015703017 140723015703017 140723015708619 0
/proc/41511/statm: 980159 793329 4416 2842 0 961853 0
Current children cumulated CPU time: 2853.84 s
Current children cumulated vsize: 3920636 KiB
Current children cumulated memory: 3173316 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 41800
/proc/meminfo: memFree=116250148/131250000 swapFree=33010684/33010684
[pid=41511] ppid=41508 vsize=3924476 memory=3177284 CPUtime=2913.66 cores=0,2
/proc/41511/stat : 41511 (mixed-bag) R 41508 41511 40736 0 -1 4194304 500131 0 0 0 289555 1811 0 0 20 0 1 0 44336274 4018663424 794321 18446744073709551615 4235264 15874749 140723015695264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42405888 140723015702940 140723015703017 140723015703017 140723015708619 0
/proc/41511/statm: 981119 794321 4416 2842 0 962813 0
Current children cumulated CPU time: 2913.66 s
Current children cumulated vsize: 3924476 KiB
Current children cumulated memory: 3177284 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 41802
/proc/meminfo: memFree=115952484/131250000 swapFree=33010684/33010684
[pid=41511] ppid=41508 vsize=3924476 memory=3177284 CPUtime=2973.47 cores=0,2
/proc/41511/stat : 41511 (mixed-bag) R 41508 41511 40736 0 -1 4194304 500131 0 0 0 295502 1845 0 0 20 0 1 0 44336274 4018663424 794321 18446744073709551615 4235264 15874749 140723015695264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42405888 140723015702940 140723015703017 140723015703017 140723015708619 0
/proc/41511/statm: 981119 794321 4416 2842 0 962813 0
Current children cumulated CPU time: 2973.47 s
Current children cumulated vsize: 3924476 KiB
Current children cumulated memory: 3177284 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 41804
/proc/meminfo: memFree=115907992/131250000 swapFree=33010684/33010684
[pid=41511] ppid=41508 vsize=3941884 memory=3194052 CPUtime=3033.3 cores=0,2
/proc/41511/stat : 41511 (mixed-bag) R 41508 41511 40736 0 -1 4194304 504318 0 0 0 301445 1885 0 0 20 0 1 0 44336274 4036489216 798513 18446744073709551615 4235264 15874749 140723015695264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42405888 140723015702940 140723015703017 140723015703017 140723015708619 0
/proc/41511/statm: 985471 798513 4416 2842 0 967165 0
Current children cumulated CPU time: 3033.3 s
Current children cumulated vsize: 3941884 KiB
Current children cumulated memory: 3194052 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 41807
/proc/meminfo: memFree=115882880/131250000 swapFree=33010684/33010684
[pid=41511] ppid=41508 vsize=3941884 memory=3194052 CPUtime=3093.11 cores=0,2
/proc/41511/stat : 41511 (mixed-bag) R 41508 41511 40736 0 -1 4194304 504355 0 0 0 307415 1896 0 0 20 0 1 0 44336274 4036489216 798513 18446744073709551615 4235264 15874749 140723015695264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42405888 140723015702940 140723015703017 140723015703017 140723015708619 0
/proc/41511/statm: 985471 798513 4416 2842 0 967165 0
Current children cumulated CPU time: 3093.11 s
Current children cumulated vsize: 3941884 KiB
Current children cumulated memory: 3194052 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 41816
/proc/meminfo: memFree=115573212/131250000 swapFree=33010684/33010684
[pid=41511] ppid=41508 vsize=3941884 memory=3194052 CPUtime=3152.93 cores=0,2
/proc/41511/stat : 41511 (mixed-bag) R 41508 41511 40736 0 -1 4194304 504441 0 0 0 313365 1928 0 0 20 0 1 0 44336274 4036489216 798513 18446744073709551615 4235264 15874749 140723015695264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42405888 140723015702940 140723015703017 140723015703017 140723015708619 0
/proc/41511/statm: 985471 798513 4416 2842 0 967165 0
Current children cumulated CPU time: 3152.93 s
Current children cumulated vsize: 3941884 KiB
Current children cumulated memory: 3194052 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 41818
/proc/meminfo: memFree=115554080/131250000 swapFree=33010684/33010684
[pid=41511] ppid=41508 vsize=3941884 memory=3194052 CPUtime=3212.74 cores=0,2
/proc/41511/stat : 41511 (mixed-bag) R 41508 41511 40736 0 -1 4194304 504441 0 0 0 319323 1951 0 0 20 0 1 0 44336274 4036489216 798513 18446744073709551615 4235264 15874749 140723015695264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42405888 140723015702940 140723015703017 140723015703017 140723015708619 0
/proc/41511/statm: 985471 798513 4416 2842 0 967165 0
Current children cumulated CPU time: 3212.74 s
Current children cumulated vsize: 3941884 KiB
Current children cumulated memory: 3194052 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 41820
/proc/meminfo: memFree=115428808/131250000 swapFree=33010684/33010684
[pid=41511] ppid=41508 vsize=3941884 memory=3194052 CPUtime=3272.55 cores=0,2
/proc/41511/stat : 41511 (mixed-bag) R 41508 41511 40736 0 -1 4194304 504522 0 0 0 325271 1984 0 0 20 0 1 0 44336274 4036489216 798513 18446744073709551615 4235264 15874749 140723015695264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42405888 140723015702940 140723015703017 140723015703017 140723015708619 0
/proc/41511/statm: 985471 798513 4416 2842 0 967165 0
Current children cumulated CPU time: 3272.55 s
Current children cumulated vsize: 3941884 KiB
Current children cumulated memory: 3194052 KiB
[startup+3342.3 s]
/proc/loadavg: 4.45 4.18 4.12 5/265 41823
/proc/meminfo: memFree=115393764/131250000 swapFree=33010684/33010684
[pid=41511] ppid=41508 vsize=3942908 memory=3196228 CPUtime=3332.37 cores=0,2
/proc/41511/stat : 41511 (mixed-bag) R 41508 41511 40736 0 -1 4194304 505104 0 0 0 331236 2001 0 0 20 0 1 0 44336274 4037537792 799057 18446744073709551615 4235264 15874749 140723015695264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42405888 140723015702940 140723015703017 140723015703017 140723015708619 0
/proc/41511/statm: 985727 799057 4416 2842 0 967421 0
Current children cumulated CPU time: 3332.37 s
Current children cumulated vsize: 3942908 KiB
Current children cumulated memory: 3196228 KiB
[startup+3402.3 s]
/proc/loadavg: 4.29 4.18 4.12 5/264 41825
/proc/meminfo: memFree=115355288/131250000 swapFree=33010684/33010684
[pid=41511] ppid=41508 vsize=3942908 memory=3196228 CPUtime=3392.18 cores=0,2
/proc/41511/stat : 41511 (mixed-bag) R 41508 41511 40736 0 -1 4194304 505104 0 0 0 337187 2031 0 0 20 0 1 0 44336274 4037537792 799057 18446744073709551615 4235264 15874749 140723015695264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42405888 140723015702940 140723015703017 140723015703017 140723015708619 0
/proc/41511/statm: 985727 799057 4416 2842 0 967421 0
Current children cumulated CPU time: 3392.18 s
Current children cumulated vsize: 3942908 KiB
Current children cumulated memory: 3196228 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/264 41827
/proc/meminfo: memFree=115217812/131250000 swapFree=33010684/33010684
[pid=41511] ppid=41508 vsize=3942908 memory=3196228 CPUtime=3451.99 cores=0,2
/proc/41511/stat : 41511 (mixed-bag) R 41508 41511 40736 0 -1 4194304 505217 0 0 0 343146 2053 0 0 20 0 1 0 44336274 4037537792 799057 18446744073709551615 4235264 15874749 140723015695264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42405888 140723015702940 140723015703017 140723015703017 140723015708619 0
/proc/41511/statm: 985727 799057 4416 2842 0 967421 0
Current children cumulated CPU time: 3451.99 s
Current children cumulated vsize: 3942908 KiB
Current children cumulated memory: 3196228 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/263 41829
/proc/meminfo: memFree=115141456/131250000 swapFree=33010684/33010684
[pid=41511] ppid=41508 vsize=3950844 memory=3252528 CPUtime=3511.81 cores=0,2
/proc/41511/stat : 41511 (mixed-bag) R 41508 41511 40736 0 -1 4194304 509111 0 0 0 349107 2074 0 0 20 0 1 0 44336274 4045664256 813132 18446744073709551615 4235264 15874749 140723015695264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42405888 140723015702940 140723015703017 140723015703017 140723015708619 0
/proc/41511/statm: 987711 813132 4416 2842 0 969405 0
Current children cumulated CPU time: 3511.81 s
Current children cumulated vsize: 3950844 KiB
Current children cumulated memory: 3252528 KiB
[startup+3582.3 s]
/proc/loadavg: 4.28 4.19 4.12 5/264 41832
/proc/meminfo: memFree=115101260/131250000 swapFree=33010684/33010684
[pid=41511] ppid=41508 vsize=3950844 memory=3252528 CPUtime=3571.63 cores=0,2
/proc/41511/stat : 41511 (mixed-bag) R 41508 41511 40736 0 -1 4194304 509111 0 0 0 355059 2104 0 0 20 0 1 0 44336274 4045664256 813132 18446744073709551615 4235264 15874749 140723015695264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42405888 140723015702940 140723015703017 140723015703017 140723015708619 0
/proc/41511/statm: 987711 813132 4416 2842 0 969405 0
Current children cumulated CPU time: 3571.63 s
Current children cumulated vsize: 3950844 KiB
Current children cumulated memory: 3252528 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 4.18 4.17 4.12 5/264 41832
/proc/meminfo: memFree=115095444/131250000 swapFree=33010684/33010684
[pid=41511] ppid=41508 vsize=3950844 memory=3252528 CPUtime=3600.04 cores=0,2
/proc/41511/stat : 41511 (mixed-bag) R 41508 41511 40736 0 -1 4194304 509150 0 0 0 357890 2114 0 0 20 0 1 0 44336274 4045664256 813132 18446744073709551615 4235264 15874749 140723015695264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42405888 140723015702940 140723015703017 140723015703017 140723015708619 0
/proc/41511/statm: 987711 813132 4416 2842 0 969405 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 3950844 KiB
Current children cumulated memory: 3252528 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.89 s]
# the end of solver process 41511 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3578.91 s, system=21.2292 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.89
CPU time (s): 3600.14
CPU user time (s): 3578.91
CPU system time (s): 21.2292
CPU usage (%): 99.7023
Max. virtual memory (cumulated for all children) (KiB): 3950844
Max. memory (cumulated for all children) (KiB): 3252528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.91
system time used= 21.2292
maximum resident set size= 3253040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509177
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= 222
involuntary context switches= 8003
# summary of solver processes directly reported to runsolver:
# pid: 41511
# total CPU time (s): 3600.14
# total CPU user time (s): 3578.91
# total CPU system time (s): 21.2292
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.81807 second user time and 16.8021 second system time
The end
Begin job on nodeC026 at 2025-06-30 14:29:36
IDJOB=4485265
IDBENCH=146778
IDSOLVER=3340
FILE ID=nodeC026/4485265-1751286576
RUNJOBID= nodeC026-1751279693-40746
SLURM_JOB_ID= 9594219
Free space on /tmp= 433008 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-core2586-950.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485265-1751286576/watcher-4485265-1751286576 -o /tmp/evaluation-result-4485265-1751286576/solver-4485265-1751286576 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751279693-40746 --watchdog 3760 mixed-bag HOME/instance-4485265-1751286576.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5a39ac8f1a01f5c3e570fe1132d30af4
RANDOM SEED=1701732048
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.674
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 : 3599.817
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.676
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 : 3592.571
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 : 3599.541
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 : 3599.787
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 : 3600.526
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 : 3653.305
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: 126479324 kB
MemAvailable: 127552988 kB
Buffers: 3280 kB
Cached: 1870472 kB
SwapCached: 0 kB
Active: 2520488 kB
Inactive: 1612648 kB
Active(anon): 2277464 kB
Inactive(anon): 0 kB
Active(file): 243024 kB
Inactive(file): 1612648 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16532 kB
Writeback: 4 kB
AnonPages: 2258708 kB
Mapped: 139188 kB
Shmem: 18080 kB
KReclaimable: 114464 kB
Slab: 201800 kB
SReclaimable: 114464 kB
SUnreclaim: 87336 kB
KernelStack: 4272 kB
PageTables: 7688 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 3107652 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2181120 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= 432992 MiB
End job on nodeC026 at 2025-06-30 15:29:47