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.09/0.21 c [STEP] preprocessing with Papilo
0.20/0.32 c [STEP] solving with SCIP
299.42/300.39 c [STEP] preprocessing done, loading into solver
299.52/300.40 c [STEP] solving
299.52/300.40 c #variables 13158 #constraints 2422
299.52/300.41 c SMALL=int, LARGE=long long
299.52/300.41 d SCIPUB 916
299.52/300.41 c bounds - >= 0 @ 299.392
299.52/300.41 c stratification level: 1
300.42/301.35 c bounds - >= 22 @ 299.504
300.42/301.35 c bounds - >= 24 @ 299.507
300.42/301.35 c bounds - >= 26 @ 299.509
300.42/301.35 c bounds - >= 28 @ 299.511
300.42/301.35 c bounds - >= 30 @ 299.513
300.42/301.35 c bounds - >= 31 @ 299.516
300.42/301.35 c bounds - >= 33 @ 299.518
300.42/301.35 c bounds - >= 34 @ 299.52
300.42/301.35 c bounds - >= 36 @ 299.522
300.42/301.35 c bounds - >= 37 @ 299.524
300.42/301.35 c bounds - >= 39 @ 299.526
300.42/301.35 c bounds - >= 41 @ 299.529
300.42/301.35 c bounds - >= 43 @ 299.531
300.42/301.35 c bounds - >= 45 @ 299.533
300.42/301.35 c bounds - >= 47 @ 299.535
300.42/301.35 c bounds - >= 49 @ 299.537
300.42/301.35 c bounds - >= 51 @ 299.54
300.42/301.35 c bounds - >= 53 @ 299.542
300.42/301.35 c bounds - >= 55 @ 299.546
300.42/301.35 c bounds - >= 57 @ 299.549
300.42/301.35 c bounds - >= 59 @ 299.551
300.42/301.35 c bounds - >= 61 @ 299.554
300.42/301.35 c bounds - >= 63 @ 299.556
300.42/301.35 c bounds - >= 65 @ 299.558
300.42/301.35 c bounds - >= 66 @ 299.559
300.42/301.35 c bounds - >= 68 @ 299.563
300.42/301.35 c bounds - >= 70 @ 299.566
300.42/301.35 c bounds - >= 72 @ 299.568
300.42/301.35 c bounds - >= 74 @ 299.57
300.42/301.35 c bounds - >= 76 @ 299.572
300.42/301.35 c bounds - >= 78 @ 299.575
300.42/301.35 c bounds - >= 79 @ 299.577
300.42/301.35 c bounds - >= 80 @ 299.581
300.42/301.35 c bounds - >= 82 @ 299.584
300.42/301.35 c bounds - >= 84 @ 299.588
300.42/301.35 c bounds - >= 86 @ 299.59
300.42/301.35 c bounds - >= 88 @ 299.593
300.42/301.35 c bounds - >= 90 @ 299.596
300.42/301.35 c bounds - >= 91 @ 299.599
300.42/301.35 c bounds - >= 92 @ 299.601
300.42/301.35 c bounds - >= 94 @ 299.603
300.42/301.35 c bounds - >= 96 @ 299.607
300.42/301.35 c bounds - >= 97 @ 299.61
300.42/301.35 c bounds - >= 99 @ 299.612
300.42/301.35 c bounds - >= 101 @ 299.613
300.42/301.35 c bounds - >= 103 @ 299.616
300.42/301.35 c bounds - >= 105 @ 299.618
300.42/301.35 c bounds - >= 107 @ 299.623
300.42/301.35 c bounds - >= 109 @ 299.625
300.42/301.35 c bounds - >= 111 @ 299.628
300.42/301.35 c bounds - >= 113 @ 299.63
300.42/301.35 c bounds - >= 115 @ 299.632
300.42/301.35 c bounds - >= 117 @ 299.635
300.42/301.35 c bounds - >= 118 @ 299.638
300.42/301.35 c bounds - >= 120 @ 299.639
300.42/301.35 c bounds - >= 121 @ 299.641
300.42/301.35 c bounds - >= 123 @ 299.645
300.42/301.35 c bounds - >= 125 @ 299.647
300.42/301.35 c bounds - >= 127 @ 299.651
300.42/301.35 c bounds - >= 129 @ 299.653
300.42/301.35 c bounds - >= 131 @ 299.656
300.42/301.35 c bounds - >= 133 @ 299.657
300.42/301.35 c bounds - >= 134 @ 299.661
300.42/301.35 c bounds - >= 135 @ 299.662
300.42/301.35 c bounds - >= 136 @ 299.665
300.42/301.35 c bounds - >= 138 @ 299.667
300.42/301.35 c bounds - >= 140 @ 299.671
300.42/301.35 c bounds - >= 142 @ 299.673
300.42/301.35 c bounds - >= 143 @ 299.675
300.42/301.35 c bounds - >= 145 @ 299.676
300.42/301.35 c bounds - >= 146 @ 299.679
300.42/301.35 c bounds - >= 148 @ 299.68
300.42/301.35 c bounds - >= 150 @ 299.683
300.42/301.35 c bounds - >= 151 @ 299.685
300.42/301.35 c bounds - >= 153 @ 299.688
300.42/301.35 c bounds - >= 155 @ 299.689
300.42/301.35 c bounds - >= 157 @ 299.692
300.42/301.35 c bounds - >= 159 @ 299.694
300.42/301.35 c bounds - >= 161 @ 299.699
300.42/301.35 c bounds - >= 163 @ 299.703
300.42/301.35 c bounds - >= 165 @ 299.706
300.42/301.35 c bounds - >= 167 @ 299.709
300.42/301.35 c bounds - >= 169 @ 299.711
300.42/301.35 c bounds - >= 171 @ 299.713
300.42/301.35 c bounds - >= 172 @ 299.716
300.42/301.35 c bounds - >= 174 @ 299.719
300.42/301.35 c bounds - >= 176 @ 299.721
300.42/301.35 c bounds - >= 177 @ 299.724
300.42/301.35 c bounds - >= 178 @ 299.726
300.42/301.35 c bounds - >= 180 @ 299.728
300.42/301.35 c bounds - >= 182 @ 299.732
300.42/301.35 c bounds - >= 184 @ 299.735
300.42/301.35 c bounds - >= 186 @ 299.74
300.42/301.35 c bounds - >= 188 @ 299.742
300.42/301.35 c bounds - >= 189 @ 299.744
300.42/301.35 c bounds - >= 190 @ 299.747
300.42/301.35 c bounds - >= 192 @ 299.748
300.42/301.35 c bounds - >= 194 @ 299.75
300.42/301.35 c bounds - >= 196 @ 299.752
300.42/301.35 c bounds - >= 198 @ 299.754
300.42/301.35 c bounds - >= 199 @ 299.758
300.42/301.35 c bounds - >= 201 @ 299.76
300.42/301.35 c bounds - >= 202 @ 299.764
300.42/301.35 c bounds - >= 204 @ 299.768
300.42/301.35 c bounds - >= 205 @ 299.771
300.42/301.35 c bounds - >= 207 @ 299.774
300.42/301.35 c bounds - >= 209 @ 299.776
300.42/301.35 c bounds - >= 211 @ 299.777
300.42/301.35 c bounds - >= 213 @ 299.78
300.42/301.35 c bounds - >= 215 @ 299.783
300.42/301.35 c bounds - >= 216 @ 299.785
300.42/301.35 c bounds - >= 217 @ 299.788
300.42/301.35 c bounds - >= 219 @ 299.792
300.42/301.35 c bounds - >= 221 @ 299.793
300.42/301.35 c bounds - >= 223 @ 299.796
300.42/301.35 c bounds - >= 224 @ 299.799
300.42/301.35 c bounds - >= 226 @ 299.802
300.42/301.35 c bounds - >= 228 @ 299.805
300.42/301.35 c bounds - >= 230 @ 299.81
300.42/301.35 c bounds - >= 232 @ 299.813
300.42/301.35 c bounds - >= 234 @ 299.816
300.42/301.35 c bounds - >= 235 @ 299.819
300.42/301.35 c bounds - >= 237 @ 299.822
300.42/301.35 c bounds - >= 239 @ 299.827
300.42/301.35 c bounds - >= 241 @ 299.831
300.42/301.35 c bounds - >= 243 @ 299.833
300.42/301.35 c bounds - >= 244 @ 299.835
300.42/301.35 c bounds - >= 246 @ 299.839
300.42/301.35 c bounds - >= 248 @ 299.844
300.42/301.35 c bounds - >= 249 @ 299.848
300.42/301.35 c bounds - >= 251 @ 299.85
300.42/301.35 c bounds - >= 253 @ 299.853
300.42/301.35 c bounds - >= 254 @ 299.858
300.42/301.35 c bounds - >= 256 @ 299.862
300.42/301.35 c bounds - >= 257 @ 299.864
300.42/301.35 c bounds - >= 259 @ 299.867
300.42/301.35 c bounds - >= 261 @ 299.87
300.42/301.35 c bounds - >= 262 @ 299.874
300.42/301.35 c bounds - >= 264 @ 299.879
300.42/301.35 c bounds - >= 265 @ 299.882
300.42/301.35 c bounds - >= 266 @ 299.884
300.42/301.35 c bounds - >= 268 @ 299.886
300.42/301.35 c bounds - >= 269 @ 299.891
300.42/301.35 c bounds - >= 271 @ 299.893
300.42/301.35 c bounds - >= 272 @ 299.899
300.42/301.35 c bounds - >= 274 @ 299.902
300.42/301.35 c bounds - >= 276 @ 299.906
300.42/301.35 c bounds - >= 278 @ 299.907
300.42/301.35 c bounds - >= 279 @ 299.91
301.52/302.41 c bounds - >= 280 @ 299.913
301.52/302.41 c bounds - >= 282 @ 299.917
301.52/302.41 c bounds - >= 284 @ 299.922
301.52/302.41 c bounds - >= 285 @ 299.925
301.52/302.41 c bounds - >= 287 @ 299.93
301.52/302.41 c bounds - >= 288 @ 299.932
301.52/302.41 c bounds - >= 289 @ 299.936
301.52/302.41 c bounds - >= 291 @ 299.94
301.52/302.41 c bounds - >= 292 @ 299.945
301.52/302.41 c bounds - >= 293 @ 299.95
301.52/302.41 c bounds - >= 294 @ 299.952
301.52/302.41 c bounds - >= 295 @ 299.956
301.52/302.41 c bounds - >= 297 @ 299.959
301.52/302.41 c bounds - >= 299 @ 299.962
301.52/302.41 c bounds - >= 301 @ 299.966
301.52/302.41 c bounds - >= 302 @ 299.971
301.52/302.41 c bounds - >= 303 @ 299.972
301.52/302.41 c bounds - >= 305 @ 299.974
301.52/302.41 c bounds - >= 307 @ 299.977
301.52/302.41 c bounds - >= 309 @ 299.98
301.52/302.41 c bounds - >= 310 @ 299.982
301.52/302.41 c bounds - >= 311 @ 299.987
301.52/302.41 c bounds - >= 313 @ 299.99
301.52/302.41 c bounds - >= 315 @ 299.992
301.52/302.41 c bounds - >= 317 @ 299.996
301.52/302.41 c bounds - >= 319 @ 299.998
301.52/302.41 c bounds - >= 321 @ 300
301.52/302.41 c bounds - >= 323 @ 300.002
301.52/302.41 c bounds - >= 325 @ 300.004
301.52/302.41 c bounds - >= 326 @ 300.008
301.52/302.41 c bounds - >= 327 @ 300.011
301.52/302.41 c bounds - >= 329 @ 300.014
301.52/302.41 c bounds - >= 331 @ 300.017
301.52/302.41 c bounds - >= 333 @ 300.02
301.52/302.41 c bounds - >= 335 @ 300.025
301.52/302.41 c bounds - >= 337 @ 300.029
301.52/302.41 c bounds - >= 339 @ 300.033
301.52/302.41 c bounds - >= 341 @ 300.035
301.52/302.41 c bounds - >= 343 @ 300.039
301.52/302.41 c bounds - >= 345 @ 300.041
301.52/302.41 c bounds - >= 346 @ 300.042
301.52/302.41 c bounds - >= 348 @ 300.045
301.52/302.41 c bounds - >= 350 @ 300.049
301.52/302.41 c bounds - >= 351 @ 300.052
301.52/302.41 c bounds - >= 353 @ 300.056
301.52/302.41 c bounds - >= 355 @ 300.057
301.52/302.41 c bounds - >= 357 @ 300.06
301.52/302.41 c bounds - >= 359 @ 300.064
301.52/302.41 c bounds - >= 360 @ 300.068
301.52/302.41 c bounds - >= 362 @ 300.071
301.52/302.41 c bounds - >= 364 @ 300.074
301.52/302.41 c bounds - >= 366 @ 300.076
301.52/302.41 c bounds - >= 368 @ 300.077
301.52/302.41 c bounds - >= 370 @ 300.081
301.52/302.41 c bounds - >= 372 @ 300.083
301.52/302.41 c bounds - >= 374 @ 300.088
301.52/302.41 c bounds - >= 376 @ 300.091
301.52/302.41 c bounds - >= 378 @ 300.093
301.52/302.41 c bounds - >= 380 @ 300.097
301.52/302.41 c bounds - >= 382 @ 300.101
301.52/302.41 c bounds - >= 383 @ 300.103
301.52/302.41 c bounds - >= 385 @ 300.107
301.52/302.41 c bounds - >= 386 @ 300.11
301.52/302.41 c bounds - >= 388 @ 300.115
301.52/302.41 c bounds - >= 389 @ 300.117
301.52/302.41 c bounds - >= 390 @ 300.121
301.52/302.41 c bounds - >= 392 @ 300.123
301.52/302.41 c bounds - >= 394 @ 300.126
301.52/302.41 c bounds - >= 396 @ 300.129
301.52/302.41 c bounds - >= 397 @ 300.132
301.52/302.41 c bounds - >= 399 @ 300.135
301.52/302.41 c bounds - >= 401 @ 300.139
301.52/302.41 c bounds - >= 402 @ 300.143
301.52/302.41 c bounds - >= 404 @ 300.147
301.52/302.41 c bounds - >= 405 @ 300.151
301.52/302.41 c bounds - >= 406 @ 300.153
301.52/302.41 c bounds - >= 408 @ 300.157
301.52/302.41 c bounds - >= 410 @ 300.162
301.52/302.41 c bounds - >= 412 @ 300.165
301.52/302.41 c bounds - >= 414 @ 300.169
301.52/302.41 c bounds - >= 415 @ 300.17
301.52/302.41 c bounds - >= 416 @ 300.172
301.52/302.41 c bounds - >= 417 @ 300.174
301.52/302.41 c bounds - >= 418 @ 300.178
301.52/302.41 c bounds - >= 419 @ 300.18
301.52/302.41 c bounds - >= 420 @ 300.183
301.52/302.41 c bounds - >= 421 @ 300.188
301.52/302.41 c bounds - >= 422 @ 300.189
301.52/302.41 c bounds - >= 423 @ 300.191
301.52/302.41 c bounds - >= 424 @ 300.193
301.52/302.41 c bounds - >= 425 @ 300.196
301.52/302.41 c bounds - >= 426 @ 300.199
301.52/302.41 c bounds - >= 427 @ 300.202
301.52/302.41 c bounds - >= 428 @ 300.206
301.52/302.41 c bounds - >= 429 @ 300.209
301.52/302.41 c bounds - >= 430 @ 300.211
301.52/302.41 c bounds - >= 431 @ 300.214
301.52/302.41 c bounds - >= 432 @ 300.217
301.52/302.41 c bounds - >= 433 @ 300.22
301.52/302.41 c bounds - >= 434 @ 300.222
301.52/302.41 c bounds - >= 435 @ 300.224
301.52/302.41 c bounds - >= 436 @ 300.229
301.52/302.41 c bounds - >= 437 @ 300.232
301.52/302.41 c bounds - >= 438 @ 300.237
301.52/302.41 c bounds - >= 439 @ 300.241
301.52/302.41 c bounds - >= 440 @ 300.243
301.52/302.41 c bounds - >= 441 @ 300.246
301.52/302.41 c bounds - >= 442 @ 300.25
301.52/302.41 c bounds - >= 443 @ 300.252
301.52/302.41 c bounds - >= 444 @ 300.257
301.52/302.41 c bounds - >= 445 @ 300.259
301.52/302.41 c bounds - >= 446 @ 300.263
301.52/302.41 c bounds - >= 447 @ 300.268
301.52/302.41 c bounds - >= 448 @ 300.272
301.52/302.41 c bounds - >= 449 @ 300.276
301.52/302.41 c bounds - >= 450 @ 300.277
301.52/302.41 c bounds - >= 451 @ 300.28
301.52/302.41 c bounds - >= 452 @ 300.283
301.52/302.41 c bounds - >= 453 @ 300.287
301.52/302.41 c bounds - >= 454 @ 300.29
301.52/302.41 c bounds - >= 455 @ 300.293
301.52/302.41 c bounds - >= 456 @ 300.297
301.52/302.41 c bounds - >= 457 @ 300.299
301.52/302.41 c bounds - >= 458 @ 300.304
301.52/302.41 c bounds - >= 459 @ 300.307
301.52/302.41 c bounds - >= 460 @ 300.31
301.52/302.41 c bounds - >= 461 @ 300.314
301.52/302.41 c bounds - >= 462 @ 300.316
301.52/302.41 c bounds - >= 463 @ 300.318
301.52/302.41 c bounds - >= 464 @ 300.321
301.52/302.41 c bounds - >= 465 @ 300.324
301.52/302.41 c bounds - >= 466 @ 300.328
301.52/302.41 c bounds - >= 467 @ 300.332
301.52/302.41 c bounds - >= 468 @ 300.334
301.52/302.41 c bounds - >= 469 @ 300.337
301.52/302.41 c bounds - >= 470 @ 300.341
301.52/302.41 c bounds - >= 471 @ 300.344
301.52/302.41 c bounds - >= 472 @ 300.349
301.52/302.41 c bounds - >= 473 @ 300.351
301.52/302.41 c bounds - >= 474 @ 300.354
301.52/302.41 c bounds - >= 475 @ 300.355
301.52/302.41 c bounds - >= 476 @ 300.358
301.52/302.41 c bounds - >= 477 @ 300.362
301.52/302.41 c bounds - >= 478 @ 300.364
301.52/302.41 c bounds - >= 479 @ 300.369
301.52/302.41 c bounds - >= 480 @ 300.371
301.52/302.41 c bounds - >= 481 @ 300.376
321.86/322.81 c bounds - >= 482 @ 300.379
321.86/322.81 c bounds - >= 483 @ 300.383
321.86/322.81 c bounds - >= 484 @ 300.39
321.86/322.81 c bounds - >= 485 @ 300.392
321.86/322.81 c bounds - >= 486 @ 300.396
321.86/322.81 c bounds - >= 487 @ 300.398
321.86/322.81 c bounds - >= 488 @ 300.404
321.86/322.81 c bounds - >= 489 @ 300.408
321.86/322.81 c bounds - >= 490 @ 300.414
321.86/322.81 c bounds - >= 491 @ 300.416
321.86/322.81 c bounds - >= 492 @ 300.42
321.86/322.81 c bounds - >= 493 @ 300.425
321.86/322.81 c bounds - >= 494 @ 300.428
321.86/322.81 c bounds - >= 495 @ 300.432
321.86/322.81 c bounds - >= 496 @ 300.436
321.86/322.81 c bounds - >= 497 @ 300.439
321.86/322.81 c bounds - >= 498 @ 300.443
321.86/322.81 c bounds - >= 499 @ 300.444
321.86/322.81 c bounds - >= 500 @ 300.449
321.86/322.81 c bounds - >= 501 @ 300.452
321.86/322.81 c bounds - >= 502 @ 300.455
321.86/322.81 c bounds - >= 503 @ 300.459
321.86/322.81 c bounds - >= 504 @ 300.462
321.86/322.81 c bounds - >= 505 @ 300.465
321.86/322.81 c bounds - >= 506 @ 300.468
321.86/322.81 c bounds - >= 507 @ 300.471
321.86/322.81 c bounds - >= 508 @ 300.474
321.86/322.81 c bounds - >= 509 @ 300.478
321.86/322.81 c bounds - >= 510 @ 300.481
321.86/322.81 c bounds - >= 511 @ 300.484
321.86/322.81 c bounds - >= 512 @ 300.488
321.86/322.81 c bounds - >= 513 @ 300.49
321.86/322.81 c bounds - >= 514 @ 300.494
321.86/322.81 c bounds - >= 515 @ 300.497
321.86/322.81 c bounds - >= 516 @ 300.5
321.86/322.81 c bounds - >= 517 @ 300.504
321.86/322.81 c bounds - >= 518 @ 300.507
321.86/322.81 c bounds - >= 519 @ 300.51
321.86/322.81 c bounds - >= 520 @ 300.513
321.86/322.81 c bounds - >= 521 @ 300.517
321.86/322.81 c bounds - >= 522 @ 300.522
321.86/322.81 c bounds - >= 523 @ 300.527
321.86/322.81 c bounds - >= 524 @ 300.532
321.86/322.81 c bounds - >= 525 @ 300.536
321.86/322.81 c bounds - >= 526 @ 300.54
321.86/322.81 c bounds - >= 527 @ 300.542
321.86/322.81 c bounds - >= 528 @ 300.545
321.86/322.81 c bounds - >= 529 @ 300.547
321.86/322.81 c bounds - >= 530 @ 300.55
321.86/322.81 c bounds - >= 531 @ 300.554
321.86/322.81 c bounds - >= 532 @ 300.558
321.86/322.81 c bounds - >= 533 @ 300.561
321.86/322.81 c bounds - >= 534 @ 300.565
321.86/322.81 c bounds - >= 535 @ 300.567
321.86/322.81 c bounds - >= 536 @ 300.569
321.86/322.81 c bounds - >= 537 @ 300.572
321.86/322.81 c bounds - >= 538 @ 300.574
321.86/322.81 c bounds - >= 539 @ 300.579
321.86/322.81 c bounds - >= 540 @ 300.583
321.86/322.81 c bounds - >= 541 @ 300.585
321.86/322.81 c bounds - >= 542 @ 300.588
321.86/322.81 c bounds - >= 543 @ 300.59
321.86/322.81 c bounds - >= 544 @ 300.592
321.86/322.81 c bounds - >= 545 @ 300.595
321.86/322.81 c bounds - >= 546 @ 300.598
321.86/322.81 c bounds - >= 547 @ 300.601
321.86/322.81 c bounds - >= 548 @ 300.606
321.86/322.81 c bounds - >= 549 @ 300.608
321.86/322.81 c bounds - >= 550 @ 300.611
321.86/322.81 c bounds - >= 551 @ 300.613
321.86/322.81 c bounds - >= 552 @ 300.615
321.86/322.81 c bounds - >= 553 @ 300.617
321.86/322.81 c bounds - >= 554 @ 300.62
321.86/322.81 c bounds - >= 555 @ 300.623
321.86/322.81 c bounds - >= 556 @ 300.627
321.86/322.81 c bounds - >= 557 @ 300.63
321.86/322.81 c bounds - >= 558 @ 300.632
321.86/322.81 c bounds - >= 559 @ 300.634
321.86/322.81 c bounds - >= 560 @ 300.64
321.86/322.81 c bounds - >= 561 @ 300.645
321.86/322.81 c bounds - >= 562 @ 300.648
321.86/322.81 c bounds - >= 563 @ 300.651
321.86/322.81 c bounds - >= 564 @ 300.655
321.86/322.81 c bounds - >= 565 @ 300.658
321.86/322.81 c bounds - >= 566 @ 300.659
321.86/322.81 c bounds - >= 567 @ 300.662
321.86/322.81 c bounds - >= 568 @ 300.667
321.86/322.81 c bounds - >= 569 @ 300.671
321.86/322.81 c bounds - >= 570 @ 300.674
321.86/322.81 c bounds - >= 571 @ 300.677
321.86/322.81 c bounds - >= 572 @ 300.682
321.86/322.81 c bounds - >= 573 @ 300.687
321.86/322.81 c bounds - >= 574 @ 300.69
321.86/322.81 c bounds - >= 575 @ 300.695
321.86/322.81 c bounds - >= 576 @ 300.699
321.86/322.81 c bounds - >= 577 @ 300.703
321.86/322.81 c bounds - >= 578 @ 300.707
321.86/322.81 c bounds - >= 579 @ 300.712
321.86/322.81 c bounds - >= 580 @ 300.715
321.86/322.81 c bounds - >= 581 @ 300.718
321.86/322.81 c bounds - >= 582 @ 300.722
321.86/322.81 c bounds - >= 583 @ 300.725
321.86/322.81 c bounds - >= 584 @ 300.728
321.86/322.81 c bounds - >= 585 @ 300.731
321.86/322.81 c bounds - >= 586 @ 300.735
321.86/322.81 c bounds - >= 587 @ 300.739
321.86/322.81 c bounds - >= 588 @ 300.745
321.86/322.81 c bounds - >= 589 @ 300.75
321.86/322.81 c bounds - >= 590 @ 300.753
321.86/322.81 c bounds - >= 591 @ 300.758
321.86/322.81 c bounds - >= 592 @ 300.763
321.86/322.81 c bounds - >= 593 @ 300.765
321.86/322.81 c bounds - >= 594 @ 300.768
321.86/322.81 c bounds - >= 595 @ 300.772
321.86/322.81 c bounds - >= 596 @ 300.776
321.86/322.81 c bounds - >= 597 @ 300.781
321.86/322.81 c bounds - >= 598 @ 300.784
321.86/322.81 c bounds - >= 599 @ 300.786
321.86/322.81 c bounds - >= 600 @ 300.792
321.86/322.81 c bounds - >= 601 @ 300.795
321.86/322.81 c bounds - >= 602 @ 300.799
321.86/322.81 c bounds - >= 603 @ 300.803
321.86/322.81 c bounds - >= 604 @ 300.807
321.86/322.81 c bounds - >= 605 @ 300.809
321.86/322.81 c bounds - >= 606 @ 300.815
321.86/322.81 c bounds - >= 607 @ 300.82
321.86/322.81 c #Conflicts: 1000 | #Constraints: 3856
321.86/322.81 c #Conflicts: 2000 | #Constraints: 4856
321.86/322.81 c INPROCESSING
321.86/322.81 c GARBAGE COLLECT
321.86/322.81 c #Conflicts: 3000 | #Constraints: 4472
321.86/322.81 c #Conflicts: 4000 | #Constraints: 5472
321.86/322.81 c INPROCESSING
321.86/322.81 c GARBAGE COLLECT
321.86/322.81 c #Conflicts: 5000 | #Constraints: 4911
321.86/322.81 c #Conflicts: 6000 | #Constraints: 5911
321.86/322.81 c INPROCESSING
321.86/322.81 c GARBAGE COLLECT
321.86/322.81 c #Conflicts: 7000 | #Constraints: 4951
321.86/322.81 c #Conflicts: 8000 | #Constraints: 5951
321.86/322.81 c #Conflicts: 9000 | #Constraints: 6951
618.38/620.22 c INPROCESSING
618.38/620.22 c GARBAGE COLLECT
618.38/620.22 c #Conflicts: 10000 | #Constraints: 5689
618.38/620.22 c #Conflicts: 11000 | #Constraints: 6689
618.38/620.22 c #Conflicts: 12000 | #Constraints: 7689
618.38/620.22 c INPROCESSING
618.38/620.22 c GARBAGE COLLECT
618.38/620.22 c #Conflicts: 13000 | #Constraints: 6158
618.38/620.22 c #Conflicts: 14000 | #Constraints: 7158
618.38/620.22 c #Conflicts: 15000 | #Constraints: 8158
618.38/620.22 c INPROCESSING
618.38/620.22 c GARBAGE COLLECT
618.38/620.22 c #Conflicts: 16000 | #Constraints: 6406
618.38/620.22 c #Conflicts: 17000 | #Constraints: 7406
618.38/620.22 c #Conflicts: 18000 | #Constraints: 8406
618.38/620.22 c INPROCESSING
618.38/620.22 c GARBAGE COLLECT
618.38/620.22 c #Conflicts: 19000 | #Constraints: 6366
618.38/620.22 c #Conflicts: 20000 | #Constraints: 7366
618.38/620.22 c #Conflicts: 21000 | #Constraints: 8366
618.38/620.22 c INPROCESSING
618.38/620.22 c GARBAGE COLLECT
618.38/620.22 c #Conflicts: 22000 | #Constraints: 6145
618.38/620.22 c #Conflicts: 23000 | #Constraints: 7145
618.38/620.22 c #Conflicts: 24000 | #Constraints: 8145
618.38/620.22 c #Conflicts: 25000 | #Constraints: 9145
618.38/620.22 c INPROCESSING
618.38/620.22 c GARBAGE COLLECT
618.38/620.22 c #Conflicts: 26000 | #Constraints: 6731
618.38/620.22 c #Conflicts: 27000 | #Constraints: 7731
618.38/620.22 c #Conflicts: 28000 | #Constraints: 8731
618.38/620.22 c #Conflicts: 29000 | #Constraints: 9731
618.38/620.22 c INPROCESSING
618.38/620.22 c GARBAGE COLLECT
618.38/620.22 c #Conflicts: 30000 | #Constraints: 7115
618.38/620.22 c #Conflicts: 31000 | #Constraints: 8115
618.38/620.22 c #Conflicts: 32000 | #Constraints: 9115
618.38/620.22 c #Conflicts: 33000 | #Constraints: 10115
618.38/620.22 c INPROCESSING
618.38/620.22 c GARBAGE COLLECT
618.38/620.22 c #Conflicts: 34000 | #Constraints: 7314
618.38/620.22 c #Conflicts: 35000 | #Constraints: 8314
618.38/620.22 c #Conflicts: 36000 | #Constraints: 9314
618.38/620.22 c #Conflicts: 37000 | #Constraints: 10314
618.38/620.22 c INPROCESSING
618.38/620.22 c GARBAGE COLLECT
618.38/620.22 c #Conflicts: 38000 | #Constraints: 7308
618.38/620.22 c #Conflicts: 39000 | #Constraints: 8308
618.38/620.22 c #Conflicts: 40000 | #Constraints: 9308
618.38/620.22 c #Conflicts: 41000 | #Constraints: 10308
618.38/620.22 c INPROCESSING
618.38/620.22 c GARBAGE COLLECT
618.38/620.22 c #Conflicts: 42000 | #Constraints: 7119
618.38/620.22 c #Conflicts: 43000 | #Constraints: 8119
618.38/620.22 c #Conflicts: 44000 | #Constraints: 9119
618.38/620.22 c #Conflicts: 45000 | #Constraints: 10119
618.38/620.22 c #Conflicts: 46000 | #Constraints: 11119
618.38/620.22 c INPROCESSING
618.38/620.22 c GARBAGE COLLECT
618.38/620.22 c #Conflicts: 47000 | #Constraints: 7715
618.38/620.22 c #Conflicts: 48000 | #Constraints: 8715
618.38/620.22 c #Conflicts: 49000 | #Constraints: 9715
618.38/620.22 c #Conflicts: 50000 | #Constraints: 10715
618.38/620.22 c #Conflicts: 51000 | #Constraints: 11715
618.38/620.22 c INPROCESSING
618.38/620.22 c GARBAGE COLLECT
618.38/620.22 c #Conflicts: 52000 | #Constraints: 8129
618.38/620.22 c #Conflicts: 53000 | #Constraints: 9129
618.38/620.22 c #Conflicts: 54000 | #Constraints: 10129
618.38/620.22 c #Conflicts: 55000 | #Constraints: 11129
618.38/620.22 c #Conflicts: 56000 | #Constraints: 12129
618.38/620.22 c INPROCESSING
618.38/620.22 c GARBAGE COLLECT
618.38/620.22 c #Conflicts: 57000 | #Constraints: 8330
618.38/620.22 c #Conflicts: 58000 | #Constraints: 9330
618.38/620.22 c #Conflicts: 59000 | #Constraints: 10330
618.38/620.22 c #Conflicts: 60000 | #Constraints: 11330
618.38/620.22 c #Conflicts: 61000 | #Constraints: 12330
618.38/620.22 c INPROCESSING
618.38/620.22 c GARBAGE COLLECT
618.38/620.22 c #Conflicts: 62000 | #Constraints: 8338
618.38/620.22 c #Conflicts: 63000 | #Constraints: 9338
618.38/620.22 c #Conflicts: 64000 | #Constraints: 10338
618.38/620.22 c #Conflicts: 65000 | #Constraints: 11338
618.38/620.22 c #Conflicts: 66000 | #Constraints: 12338
618.38/620.22 c INPROCESSING
618.38/620.22 c GARBAGE COLLECT
618.38/620.22 c #Conflicts: 67000 | #Constraints: 8142
618.38/620.22 c #Conflicts: 68000 | #Constraints: 9142
618.38/620.22 c #Conflicts: 69000 | #Constraints: 10142
618.38/620.22 c #Conflicts: 70000 | #Constraints: 11142
618.38/620.22 c #Conflicts: 71000 | #Constraints: 12142
618.38/620.22 c #Conflicts: 72000 | #Constraints: 13142
618.38/620.22 c INPROCESSING
618.38/620.22 c GARBAGE COLLECT
618.38/620.22 c #Conflicts: 73000 | #Constraints: 8748
618.38/620.22 c #Conflicts: 74000 | #Constraints: 9748
618.38/620.22 c #Conflicts: 75000 | #Constraints: 10748
618.38/620.22 c #Conflicts: 76000 | #Constraints: 11748
618.38/620.22 c #Conflicts: 77000 | #Constraints: 12748
618.38/620.22 c #Conflicts: 78000 | #Constraints: 13748
999.09/1002.25 c INPROCESSING
999.09/1002.25 c GARBAGE COLLECT
999.09/1002.25 c #Conflicts: 79000 | #Constraints: 9162
999.09/1002.25 c #Conflicts: 80000 | #Constraints: 10162
999.09/1002.25 c #Conflicts: 81000 | #Constraints: 11162
999.09/1002.25 c #Conflicts: 82000 | #Constraints: 12162
999.09/1002.25 c #Conflicts: 83000 | #Constraints: 13162
999.09/1002.25 c #Conflicts: 84000 | #Constraints: 14162
999.09/1002.25 c INPROCESSING
999.09/1002.25 c GARBAGE COLLECT
999.09/1002.25 c #Conflicts: 85000 | #Constraints: 9371
999.09/1002.25 c #Conflicts: 86000 | #Constraints: 10371
999.09/1002.25 c #Conflicts: 87000 | #Constraints: 11371
999.09/1002.25 c #Conflicts: 88000 | #Constraints: 12371
999.09/1002.25 c #Conflicts: 89000 | #Constraints: 13371
999.09/1002.25 c #Conflicts: 90000 | #Constraints: 14371
999.09/1002.25 c INPROCESSING
999.09/1002.25 c GARBAGE COLLECT
999.09/1002.25 c #Conflicts: 91000 | #Constraints: 9374
999.09/1002.25 c #Conflicts: 92000 | #Constraints: 10374
999.09/1002.25 c #Conflicts: 93000 | #Constraints: 11374
999.09/1002.25 c #Conflicts: 94000 | #Constraints: 12374
999.09/1002.25 c #Conflicts: 95000 | #Constraints: 13374
999.09/1002.25 c #Conflicts: 96000 | #Constraints: 14374
999.09/1002.25 c INPROCESSING
999.09/1002.25 c GARBAGE COLLECT
999.09/1002.25 c #Conflicts: 97000 | #Constraints: 9181
999.09/1002.25 c #Conflicts: 98000 | #Constraints: 10181
999.09/1002.25 c #Conflicts: 99000 | #Constraints: 11181
999.09/1002.25 c #Conflicts: 100000 | #Constraints: 12181
999.09/1002.25 c #Conflicts: 101000 | #Constraints: 13181
999.09/1002.25 c #Conflicts: 102000 | #Constraints: 14181
999.09/1002.25 c #Conflicts: 103000 | #Constraints: 15181
999.09/1002.25 c INPROCESSING
999.09/1002.25 c GARBAGE COLLECT
999.09/1002.25 c #Conflicts: 104000 | #Constraints: 9777
999.09/1002.25 c #Conflicts: 105000 | #Constraints: 10777
999.09/1002.25 c #Conflicts: 106000 | #Constraints: 11777
999.09/1002.25 c #Conflicts: 107000 | #Constraints: 12777
999.09/1002.25 c #Conflicts: 108000 | #Constraints: 13777
999.09/1002.25 c #Conflicts: 109000 | #Constraints: 14777
999.09/1002.25 c #Conflicts: 110000 | #Constraints: 15777
999.09/1002.25 c INPROCESSING
999.09/1002.25 c GARBAGE COLLECT
999.09/1002.25 c #Conflicts: 111000 | #Constraints: 10190
999.09/1002.25 c #Conflicts: 112000 | #Constraints: 11190
999.09/1002.25 c #Conflicts: 113000 | #Constraints: 12190
999.09/1002.25 c #Conflicts: 114000 | #Constraints: 13190
999.09/1002.25 c #Conflicts: 115000 | #Constraints: 14190
999.09/1002.25 c #Conflicts: 116000 | #Constraints: 15190
999.09/1002.25 c #Conflicts: 117000 | #Constraints: 16190
999.09/1002.25 c INPROCESSING
999.09/1002.25 c GARBAGE COLLECT
999.09/1002.25 c #Conflicts: 118000 | #Constraints: 10359
999.09/1002.25 c #Conflicts: 119000 | #Constraints: 11359
999.09/1002.25 c #Conflicts: 120000 | #Constraints: 12359
999.09/1002.25 c #Conflicts: 121000 | #Constraints: 13359
999.09/1002.25 c #Conflicts: 122000 | #Constraints: 14359
999.09/1002.25 c #Conflicts: 123000 | #Constraints: 15359
999.09/1002.25 c #Conflicts: 124000 | #Constraints: 16359
999.09/1002.25 c INPROCESSING
999.09/1002.25 c GARBAGE COLLECT
999.09/1002.25 c #Conflicts: 125000 | #Constraints: 10371
999.09/1002.25 c #Conflicts: 126000 | #Constraints: 11371
999.09/1002.25 c #Conflicts: 127000 | #Constraints: 12371
999.09/1002.25 c #Conflicts: 128000 | #Constraints: 13371
999.09/1002.25 c #Conflicts: 129000 | #Constraints: 14371
999.09/1002.25 c #Conflicts: 130000 | #Constraints: 15371
999.09/1002.25 c #Conflicts: 131000 | #Constraints: 16371
999.09/1002.25 c INPROCESSING
999.09/1002.25 c GARBAGE COLLECT
999.09/1002.25 c #Conflicts: 132000 | #Constraints: 10177
999.09/1002.25 c #Conflicts: 133000 | #Constraints: 11177
999.09/1002.25 c #Conflicts: 134000 | #Constraints: 12177
999.09/1002.25 c #Conflicts: 135000 | #Constraints: 13177
999.09/1002.25 c #Conflicts: 136000 | #Constraints: 14177
999.09/1002.25 c #Conflicts: 137000 | #Constraints: 15177
999.09/1002.25 c #Conflicts: 138000 | #Constraints: 16177
999.09/1002.25 c #Conflicts: 139000 | #Constraints: 17177
999.09/1002.25 c INPROCESSING
999.09/1002.25 c GARBAGE COLLECT
999.09/1002.25 c #Conflicts: 140000 | #Constraints: 10798
999.09/1002.25 c #Conflicts: 141000 | #Constraints: 11798
999.09/1002.25 c #Conflicts: 142000 | #Constraints: 12798
999.09/1002.25 c #Conflicts: 143000 | #Constraints: 13798
999.09/1002.25 c #Conflicts: 144000 | #Constraints: 14798
999.09/1002.25 c #Conflicts: 145000 | #Constraints: 15798
999.09/1002.25 c #Conflicts: 146000 | #Constraints: 16798
999.09/1002.25 c #Conflicts: 147000 | #Constraints: 17798
999.09/1002.25 c INPROCESSING
999.09/1002.25 c GARBAGE COLLECT
999.09/1002.25 c #Conflicts: 148000 | #Constraints: 11209
999.09/1002.25 c #Conflicts: 149000 | #Constraints: 12209
999.09/1002.25 c #Conflicts: 150000 | #Constraints: 13209
1514.87/1519.75 c #Conflicts: 151000 | #Constraints: 14209
1514.87/1519.75 c #Conflicts: 152000 | #Constraints: 15209
1514.87/1519.75 c #Conflicts: 153000 | #Constraints: 16209
1514.87/1519.75 c #Conflicts: 154000 | #Constraints: 17209
1514.87/1519.75 c #Conflicts: 155000 | #Constraints: 18209
1514.87/1519.75 c INPROCESSING
1514.87/1519.75 c GARBAGE COLLECT
1514.87/1519.75 c #Conflicts: 156000 | #Constraints: 11409
1514.87/1519.75 c #Conflicts: 157000 | #Constraints: 12409
1514.87/1519.75 c #Conflicts: 158000 | #Constraints: 13409
1514.87/1519.75 c #Conflicts: 159000 | #Constraints: 14409
1514.87/1519.75 c #Conflicts: 160000 | #Constraints: 15409
1514.87/1519.75 c #Conflicts: 161000 | #Constraints: 16409
1514.87/1519.75 c #Conflicts: 162000 | #Constraints: 17409
1514.87/1519.75 c #Conflicts: 163000 | #Constraints: 18409
1514.87/1519.75 c INPROCESSING
1514.87/1519.75 c GARBAGE COLLECT
1514.87/1519.75 c #Conflicts: 164000 | #Constraints: 11404
1514.87/1519.75 c #Conflicts: 165000 | #Constraints: 12404
1514.87/1519.75 c #Conflicts: 166000 | #Constraints: 13404
1514.87/1519.75 c #Conflicts: 167000 | #Constraints: 14404
1514.87/1519.75 c #Conflicts: 168000 | #Constraints: 15404
1514.87/1519.75 c #Conflicts: 169000 | #Constraints: 16404
1514.87/1519.75 c #Conflicts: 170000 | #Constraints: 17404
1514.87/1519.75 c #Conflicts: 171000 | #Constraints: 18404
1514.87/1519.75 c INPROCESSING
1514.87/1519.75 c GARBAGE COLLECT
1514.87/1519.75 c #Conflicts: 172000 | #Constraints: 11207
1514.87/1519.75 c #Conflicts: 173000 | #Constraints: 12207
1514.87/1519.75 c #Conflicts: 174000 | #Constraints: 13207
1514.87/1519.75 c #Conflicts: 175000 | #Constraints: 14207
1514.87/1519.75 c #Conflicts: 176000 | #Constraints: 15207
1514.87/1519.75 c #Conflicts: 177000 | #Constraints: 16207
1514.87/1519.75 c #Conflicts: 178000 | #Constraints: 17207
1514.87/1519.75 c #Conflicts: 179000 | #Constraints: 18207
1514.87/1519.75 c #Conflicts: 180000 | #Constraints: 19207
1514.87/1519.75 c INPROCESSING
1514.87/1519.75 c GARBAGE COLLECT
1514.87/1519.75 c #Conflicts: 181000 | #Constraints: 11804
1514.87/1519.75 c #Conflicts: 182000 | #Constraints: 12804
1514.87/1519.75 c #Conflicts: 183000 | #Constraints: 13804
1514.87/1519.75 c #Conflicts: 184000 | #Constraints: 14804
1514.87/1519.75 c #Conflicts: 185000 | #Constraints: 15804
1514.87/1519.75 c #Conflicts: 186000 | #Constraints: 16804
1514.87/1519.75 c #Conflicts: 187000 | #Constraints: 17804
1514.87/1519.75 c #Conflicts: 188000 | #Constraints: 18804
1514.87/1519.75 c #Conflicts: 189000 | #Constraints: 19804
1514.87/1519.75 c INPROCESSING
1514.87/1519.75 c GARBAGE COLLECT
1514.87/1519.75 c #Conflicts: 190000 | #Constraints: 12208
1514.87/1519.75 c #Conflicts: 191000 | #Constraints: 13208
1514.87/1519.75 c #Conflicts: 192000 | #Constraints: 14208
1514.87/1519.75 c #Conflicts: 193000 | #Constraints: 15208
1514.87/1519.75 c #Conflicts: 194000 | #Constraints: 16208
1514.87/1519.75 c #Conflicts: 195000 | #Constraints: 17208
1514.87/1519.75 c #Conflicts: 196000 | #Constraints: 18208
1514.87/1519.75 c #Conflicts: 197000 | #Constraints: 19208
1514.87/1519.75 c #Conflicts: 198000 | #Constraints: 20208
1514.87/1519.75 c INPROCESSING
1514.87/1519.75 c GARBAGE COLLECT
1514.87/1519.75 c #Conflicts: 199000 | #Constraints: 12406
1514.87/1519.75 c #Conflicts: 200000 | #Constraints: 13406
1514.87/1519.75 c #Conflicts: 201000 | #Constraints: 14406
1514.87/1519.75 c #Conflicts: 202000 | #Constraints: 15406
1514.87/1519.75 c #Conflicts: 203000 | #Constraints: 16406
1514.87/1519.75 c #Conflicts: 204000 | #Constraints: 17406
1514.87/1519.75 c #Conflicts: 205000 | #Constraints: 18406
1514.87/1519.75 c #Conflicts: 206000 | #Constraints: 19406
1514.87/1519.75 c #Conflicts: 207000 | #Constraints: 20406
1514.87/1519.75 c INPROCESSING
1514.87/1519.75 c GARBAGE COLLECT
1514.87/1519.75 c #Conflicts: 208000 | #Constraints: 12416
1514.87/1519.75 c #Conflicts: 209000 | #Constraints: 13416
1514.87/1519.75 c #Conflicts: 210000 | #Constraints: 14416
1514.87/1519.75 c #Conflicts: 211000 | #Constraints: 15416
1514.87/1519.75 c #Conflicts: 212000 | #Constraints: 16416
1514.87/1519.75 c #Conflicts: 213000 | #Constraints: 17416
1514.87/1519.75 c #Conflicts: 214000 | #Constraints: 18416
1514.87/1519.75 c #Conflicts: 215000 | #Constraints: 19416
1514.87/1519.75 c #Conflicts: 216000 | #Constraints: 20416
1514.87/1519.75 c INPROCESSING
1514.87/1519.75 c GARBAGE COLLECT
1514.87/1519.75 c #Conflicts: 217000 | #Constraints: 12215
1514.87/1519.75 c #Conflicts: 218000 | #Constraints: 13215
1514.87/1519.75 c #Conflicts: 219000 | #Constraints: 14215
1514.87/1519.75 c #Conflicts: 220000 | #Constraints: 15215
1514.87/1519.75 c #Conflicts: 221000 | #Constraints: 16215
1514.87/1519.75 c #Conflicts: 222000 | #Constraints: 17215
1514.87/1519.75 c #Conflicts: 223000 | #Constraints: 18215
1514.87/1519.75 c #Conflicts: 224000 | #Constraints: 19215
2323.47/2330.82 c #Conflicts: 225000 | #Constraints: 20215
2323.47/2330.82 c #Conflicts: 226000 | #Constraints: 21215
2323.47/2330.82 c INPROCESSING
2323.47/2330.82 c GARBAGE COLLECT
2323.47/2330.82 c #Conflicts: 227000 | #Constraints: 12813
2323.47/2330.82 c #Conflicts: 228000 | #Constraints: 13813
2323.47/2330.82 c #Conflicts: 229000 | #Constraints: 14813
2323.47/2330.82 c #Conflicts: 230000 | #Constraints: 15813
2323.47/2330.82 c #Conflicts: 231000 | #Constraints: 16813
2323.47/2330.82 c #Conflicts: 232000 | #Constraints: 17813
2323.47/2330.82 c #Conflicts: 233000 | #Constraints: 18813
2323.47/2330.82 c #Conflicts: 234000 | #Constraints: 19813
2323.47/2330.82 c #Conflicts: 235000 | #Constraints: 20813
2323.47/2330.82 c #Conflicts: 236000 | #Constraints: 21813
2323.47/2330.82 c INPROCESSING
2323.47/2330.82 c GARBAGE COLLECT
2323.47/2330.82 c #Conflicts: 237000 | #Constraints: 13215
2323.47/2330.82 c #Conflicts: 238000 | #Constraints: 14215
2323.47/2330.82 c #Conflicts: 239000 | #Constraints: 15215
2323.47/2330.82 c #Conflicts: 240000 | #Constraints: 16215
2323.47/2330.82 c #Conflicts: 241000 | #Constraints: 17215
2323.47/2330.82 c #Conflicts: 242000 | #Constraints: 18215
2323.47/2330.82 c #Conflicts: 243000 | #Constraints: 19215
2323.47/2330.82 c #Conflicts: 244000 | #Constraints: 20215
2323.47/2330.82 c #Conflicts: 245000 | #Constraints: 21215
2323.47/2330.82 c #Conflicts: 246000 | #Constraints: 22215
2323.47/2330.82 c INPROCESSING
2323.47/2330.82 c GARBAGE COLLECT
2323.47/2330.82 c #Conflicts: 247000 | #Constraints: 13405
2323.47/2330.82 c #Conflicts: 248000 | #Constraints: 14405
2323.47/2330.82 c #Conflicts: 249000 | #Constraints: 15405
2323.47/2330.82 c #Conflicts: 250000 | #Constraints: 16405
2323.47/2330.82 c #Conflicts: 251000 | #Constraints: 17405
2323.47/2330.82 c #Conflicts: 252000 | #Constraints: 18405
2323.47/2330.82 c #Conflicts: 253000 | #Constraints: 19405
2323.47/2330.82 c #Conflicts: 254000 | #Constraints: 20405
2323.47/2330.82 c #Conflicts: 255000 | #Constraints: 21405
2323.47/2330.82 c #Conflicts: 256000 | #Constraints: 22405
2323.47/2330.82 c INPROCESSING
2323.47/2330.82 c GARBAGE COLLECT
2323.47/2330.82 c #Conflicts: 257000 | #Constraints: 13417
2323.47/2330.82 c #Conflicts: 258000 | #Constraints: 14417
2323.47/2330.82 c #Conflicts: 259000 | #Constraints: 15417
2323.47/2330.82 c #Conflicts: 260000 | #Constraints: 16417
2323.47/2330.82 c #Conflicts: 261000 | #Constraints: 17417
2323.47/2330.82 c #Conflicts: 262000 | #Constraints: 18417
2323.47/2330.82 c #Conflicts: 263000 | #Constraints: 19417
2323.47/2330.82 c #Conflicts: 264000 | #Constraints: 20417
2323.47/2330.82 c #Conflicts: 265000 | #Constraints: 21417
2323.47/2330.82 c #Conflicts: 266000 | #Constraints: 22417
2323.47/2330.82 c INPROCESSING
2323.47/2330.82 c GARBAGE COLLECT
2323.47/2330.82 c #Conflicts: 267000 | #Constraints: 13229
2323.47/2330.82 c #Conflicts: 268000 | #Constraints: 14229
2323.47/2330.82 c #Conflicts: 269000 | #Constraints: 15229
2323.47/2330.82 c #Conflicts: 270000 | #Constraints: 16229
2323.47/2330.82 c #Conflicts: 271000 | #Constraints: 17229
2323.47/2330.82 c #Conflicts: 272000 | #Constraints: 18229
2323.47/2330.82 c #Conflicts: 273000 | #Constraints: 19229
2323.47/2330.82 c #Conflicts: 274000 | #Constraints: 20229
2323.47/2330.82 c #Conflicts: 275000 | #Constraints: 21229
2323.47/2330.82 c #Conflicts: 276000 | #Constraints: 22229
2323.47/2330.82 c #Conflicts: 277000 | #Constraints: 23229
2323.47/2330.82 c INPROCESSING
2323.47/2330.82 c GARBAGE COLLECT
2323.47/2330.82 c #Conflicts: 278000 | #Constraints: 13832
2323.47/2330.82 c #Conflicts: 279000 | #Constraints: 14832
2323.47/2330.82 c #Conflicts: 280000 | #Constraints: 15832
2323.47/2330.82 c #Conflicts: 281000 | #Constraints: 16832
2323.47/2330.82 c #Conflicts: 282000 | #Constraints: 17832
2323.47/2330.82 c #Conflicts: 283000 | #Constraints: 18832
2323.47/2330.82 c #Conflicts: 284000 | #Constraints: 19832
2323.47/2330.82 c #Conflicts: 285000 | #Constraints: 20832
2323.47/2330.82 c #Conflicts: 286000 | #Constraints: 21832
2323.47/2330.82 c #Conflicts: 287000 | #Constraints: 22832
2323.47/2330.82 c #Conflicts: 288000 | #Constraints: 23832
2323.47/2330.82 c INPROCESSING
2323.47/2330.82 c GARBAGE COLLECT
2323.47/2330.82 c #Conflicts: 289000 | #Constraints: 14236
2323.47/2330.82 c #Conflicts: 290000 | #Constraints: 15236
2323.47/2330.82 c #Conflicts: 291000 | #Constraints: 16236
2323.47/2330.82 c #Conflicts: 292000 | #Constraints: 17236
2323.47/2330.82 c #Conflicts: 293000 | #Constraints: 18236
2323.47/2330.82 c #Conflicts: 294000 | #Constraints: 19236
2323.47/2330.82 c #Conflicts: 295000 | #Constraints: 20236
2323.47/2330.82 c #Conflicts: 296000 | #Constraints: 21236
2323.47/2330.82 c #Conflicts: 297000 | #Constraints: 22236
2323.47/2330.82 c #Conflicts: 298000 | #Constraints: 23236
3168.43/3178.37 c #Conflicts: 299000 | #Constraints: 24236
3168.43/3178.37 c INPROCESSING
3168.43/3178.37 c GARBAGE COLLECT
3168.43/3178.37 c #Conflicts: 300000 | #Constraints: 14434
3168.43/3178.37 c #Conflicts: 301000 | #Constraints: 15434
3168.43/3178.37 c #Conflicts: 302000 | #Constraints: 16434
3168.43/3178.37 c #Conflicts: 303000 | #Constraints: 17434
3168.43/3178.37 c #Conflicts: 304000 | #Constraints: 18434
3168.43/3178.37 c #Conflicts: 305000 | #Constraints: 19434
3168.43/3178.37 c #Conflicts: 306000 | #Constraints: 20434
3168.43/3178.37 c #Conflicts: 307000 | #Constraints: 21434
3168.43/3178.37 c #Conflicts: 308000 | #Constraints: 22434
3168.43/3178.37 c #Conflicts: 309000 | #Constraints: 23434
3168.43/3178.37 c #Conflicts: 310000 | #Constraints: 24434
3168.43/3178.37 c INPROCESSING
3168.43/3178.37 c GARBAGE COLLECT
3168.43/3178.37 c #Conflicts: 311000 | #Constraints: 14436
3168.43/3178.37 c #Conflicts: 312000 | #Constraints: 15436
3168.43/3178.37 c #Conflicts: 313000 | #Constraints: 16436
3168.43/3178.37 c #Conflicts: 314000 | #Constraints: 17436
3168.43/3178.37 c #Conflicts: 315000 | #Constraints: 18436
3168.43/3178.37 c #Conflicts: 316000 | #Constraints: 19436
3168.43/3178.37 c #Conflicts: 317000 | #Constraints: 20436
3168.43/3178.37 c #Conflicts: 318000 | #Constraints: 21436
3168.43/3178.37 c #Conflicts: 319000 | #Constraints: 22436
3168.43/3178.37 c #Conflicts: 320000 | #Constraints: 23436
3168.43/3178.37 c #Conflicts: 321000 | #Constraints: 24436
3168.43/3178.37 c INPROCESSING
3168.43/3178.37 c GARBAGE COLLECT
3168.43/3178.37 c #Conflicts: 322000 | #Constraints: 14241
3168.43/3178.37 c #Conflicts: 323000 | #Constraints: 15241
3168.43/3178.37 c #Conflicts: 324000 | #Constraints: 16241
3168.43/3178.37 c #Conflicts: 325000 | #Constraints: 17241
3168.43/3178.37 c #Conflicts: 326000 | #Constraints: 18241
3168.43/3178.37 c #Conflicts: 327000 | #Constraints: 19241
3168.43/3178.37 c #Conflicts: 328000 | #Constraints: 20241
3168.43/3178.37 c #Conflicts: 329000 | #Constraints: 21241
3168.43/3178.37 c #Conflicts: 330000 | #Constraints: 22241
3168.43/3178.37 c #Conflicts: 331000 | #Constraints: 23241
3168.43/3178.37 c #Conflicts: 332000 | #Constraints: 24241
3168.43/3178.37 c #Conflicts: 333000 | #Constraints: 25241
3168.43/3178.37 c INPROCESSING
3168.43/3178.37 c GARBAGE COLLECT
3168.43/3178.37 c #Conflicts: 334000 | #Constraints: 14832
3168.43/3178.37 c #Conflicts: 335000 | #Constraints: 15832
3168.43/3178.37 c #Conflicts: 336000 | #Constraints: 16832
3168.43/3178.37 c #Conflicts: 337000 | #Constraints: 17832
3168.43/3178.37 c #Conflicts: 338000 | #Constraints: 18832
3168.43/3178.37 c #Conflicts: 339000 | #Constraints: 19832
3168.43/3178.37 c #Conflicts: 340000 | #Constraints: 20832
3168.43/3178.37 c #Conflicts: 341000 | #Constraints: 21832
3168.43/3178.37 c #Conflicts: 342000 | #Constraints: 22832
3168.43/3178.37 c #Conflicts: 343000 | #Constraints: 23832
3168.43/3178.37 c #Conflicts: 344000 | #Constraints: 24832
3168.43/3178.37 c #Conflicts: 345000 | #Constraints: 25832
3168.43/3178.37 c INPROCESSING
3168.43/3178.37 c GARBAGE COLLECT
3168.43/3178.37 c #Conflicts: 346000 | #Constraints: 15243
3168.43/3178.37 c #Conflicts: 347000 | #Constraints: 16243
3168.43/3178.37 c #Conflicts: 348000 | #Constraints: 17243
3168.43/3178.37 c #Conflicts: 349000 | #Constraints: 18243
3168.43/3178.37 c #Conflicts: 350000 | #Constraints: 19243
3168.43/3178.37 c #Conflicts: 351000 | #Constraints: 20243
3168.43/3178.37 c #Conflicts: 352000 | #Constraints: 21243
3168.43/3178.37 c #Conflicts: 353000 | #Constraints: 22243
3168.43/3178.37 c #Conflicts: 354000 | #Constraints: 23243
3168.43/3178.37 c #Conflicts: 355000 | #Constraints: 24243
3168.43/3178.37 c #Conflicts: 356000 | #Constraints: 25243
3168.43/3178.37 c #Conflicts: 357000 | #Constraints: 26243
3168.43/3178.37 c INPROCESSING
3168.43/3178.37 c GARBAGE COLLECT
3168.43/3178.37 c #Conflicts: 358000 | #Constraints: 15444
3168.43/3178.37 c #Conflicts: 359000 | #Constraints: 16444
3168.43/3178.37 c #Conflicts: 360000 | #Constraints: 17444
3168.43/3178.37 c #Conflicts: 361000 | #Constraints: 18444
3168.43/3178.37 c #Conflicts: 362000 | #Constraints: 19444
3168.43/3178.37 c #Conflicts: 363000 | #Constraints: 20444
3168.43/3178.37 c #Conflicts: 364000 | #Constraints: 21444
3168.43/3178.37 c #Conflicts: 365000 | #Constraints: 22444
3168.43/3178.37 c #Conflicts: 366000 | #Constraints: 23444
3168.43/3178.37 c #Conflicts: 367000 | #Constraints: 24444
3168.43/3178.37 c #Conflicts: 368000 | #Constraints: 25444
3168.43/3178.37 c #Conflicts: 369000 | #Constraints: 26444
3168.43/3178.37 c INPROCESSING
3168.43/3178.37 c GARBAGE COLLECT
3168.43/3178.37 c #Conflicts: 370000 | #Constraints: 15447
3168.43/3178.37 c #Conflicts: 371000 | #Constraints: 16447
3168.43/3178.37 c #Conflicts: 372000 | #Constraints: 17447
3600.09/3611.60 c #Conflicts: 373000 | #Constraints: 18447
3600.09/3611.60 c #Conflicts: 374000 | #Constraints: 19447
3600.09/3611.60 c #Conflicts: 375000 | #Constraints: 20447
3600.09/3611.60 c #Conflicts: 376000 | #Constraints: 21447
3600.09/3611.60 c #Conflicts: 377000 | #Constraints: 22447
3600.09/3611.60 c #Conflicts: 378000 | #Constraints: 23447
3600.09/3611.60 c #Conflicts: 379000 | #Constraints: 24447
3600.09/3611.60 c #Conflicts: 380000 | #Constraints: 25447
3600.09/3611.60 c #Conflicts: 381000 | #Constraints: 26447
3600.09/3611.60 c INPROCESSING
3600.09/3611.60 c GARBAGE COLLECT
3600.09/3611.60 c #Conflicts: 382000 | #Constraints: 15237
3600.09/3611.60 c #Conflicts: 383000 | #Constraints: 16237
3600.09/3611.60 c #Conflicts: 384000 | #Constraints: 17237
3600.09/3611.60 c #Conflicts: 385000 | #Constraints: 18237
3600.09/3611.60 c #Conflicts: 386000 | #Constraints: 19237
3600.09/3611.60 c #Conflicts: 387000 | #Constraints: 20237
3600.09/3611.60 c #Conflicts: 388000 | #Constraints: 21237
3600.09/3611.60 c #Conflicts: 389000 | #Constraints: 22237
3600.09/3611.60 c #Conflicts: 390000 | #Constraints: 23237
3600.09/3611.60 c #Conflicts: 391000 | #Constraints: 24237
3600.09/3611.60 c #Conflicts: 392000 | #Constraints: 25237
3600.09/3611.60 c #Conflicts: 393000 | #Constraints: 26237
3600.09/3611.60 c #Conflicts: 394000 | #Constraints: 27237
3600.09/3611.60 c INPROCESSING
3600.09/3611.60 c GARBAGE COLLECT
3600.09/3611.60 c #Conflicts: 395000 | #Constraints: 15853
3600.09/3611.60 c #Conflicts: 396000 | #Constraints: 16853
3600.09/3611.60 c #Conflicts: 397000 | #Constraints: 17853
3600.09/3611.60 c #Conflicts: 398000 | #Constraints: 18853
3600.09/3611.60 c #Conflicts: 399000 | #Constraints: 19853
3600.09/3611.60 c #Conflicts: 400000 | #Constraints: 20853
3600.09/3611.60 c #Conflicts: 401000 | #Constraints: 21853
3600.09/3611.60 c #Conflicts: 402000 | #Constraints: 22853
3600.09/3611.60 c #Conflicts: 403000 | #Constraints: 23853
3600.09/3611.60 c #Conflicts: 404000 | #Constraints: 24853
3600.09/3611.60 c Program interrupted by user.
3600.09/3611.60 c cpu time 3579.91 s
3600.09/3611.60 c deterministic time 242377605773 2.42e+11
3600.09/3611.60 c optimization time 166.843 s
3600.09/3611.60 c total solve time 3113.68 s
3600.09/3611.60 c core-guided solve time 3113.68 s
3600.09/3611.60 c propagation time 2081.26 s
3600.09/3611.60 c conflict analysis time 624.069 s
3600.09/3611.60 c propagations 175059808
3600.09/3611.60 c resolve steps 887874
3600.09/3611.60 c decisions 23336506
3600.09/3611.60 c conflicts 404797
3600.09/3611.60 c restarts 987
3600.09/3611.60 c inprocessing phases 54
3600.09/3611.60 c input clauses 2432
3600.09/3611.60 c input cardinalities 1
3600.09/3611.60 c input general constraints 423
3600.09/3611.60 c input average constraint length 1979.63
3600.09/3611.60 c input average constraint degree 61.53
3600.09/3611.60 c learned clauses 50167
3600.09/3611.60 c learned cardinalities 98
3600.09/3611.60 c learned general constraints 354532
3600.09/3611.60 c learned average constraint length 6332.53
3600.09/3611.60 c learned average constraint degree 329658.13
3600.09/3611.60 c watched constraints 15316
3600.09/3611.60 c counting constraints 339639
3600.09/3611.60 c gcd simplifications 429
3600.09/3611.60 c detected cardinalities 0
3600.09/3611.60 c weakened non-implied lits 247385088
3600.09/3611.60 c weakened non-implying lits 827
3600.09/3611.60 c original variables 13215
3600.09/3611.60 c clausal propagations 3948030
3600.09/3611.60 c cardinality propagations 7045
3600.09/3611.60 c watched propagations 1982389
3600.09/3611.60 c counting propagations 167153615
3600.09/3611.60 c watch lookups 35508348302
3600.09/3611.60 c watch backjump lookups 35475189151
3600.09/3611.60 c watch checks 23930481281
3600.09/3611.60 c propagation checks 142306591127
3600.09/3611.60 c constraint additions 4759809391
3600.09/3611.60 c trail pops 198790206
3600.09/3611.60 c formula constraints 2422
3600.09/3611.60 c learned constraints 404797
3600.09/3611.60 c bound constraints 423
3600.09/3611.60 c core-guided constraints 11
3600.09/3611.60 c encountered formula constraints 619561
3600.09/3611.60 c encountered learned constraints 673092
3600.09/3611.60 c encountered bound constraints 5
3600.09/3611.60 c encountered core-guided constraints 13
3600.09/3611.60 c LP total time 0 s
3600.09/3611.60 c LP solve time 0 s
3600.09/3611.60 c LP constraints added 0
3600.09/3611.60 c LP constraints removed 0
3600.09/3611.60 c LP pivots internal 0
3600.09/3611.60 c LP pivots root 0
3600.09/3611.60 c LP calls 0
3600.09/3611.60 c LP optimalities 0
3600.09/3611.60 c LP no pivot count 0
3600.09/3611.60 c LP infeasibilities 0
3600.09/3611.60 c LP valid Farkas constraints 0
3600.09/3611.60 c LP learned Farkas constraints 0
3600.09/3611.60 c LP basis resets 0
3600.09/3611.60 c LP cycling count 0
3600.09/3611.60 c LP singular count 0
3600.09/3611.60 c LP no primal count 0
3600.09/3611.60 c LP no farkas count 0
3600.09/3611.60 c LP other issue count 0
3600.09/3611.60 c LP Gomory cuts 0
3600.09/3611.60 c LP learned cuts 0
3600.09/3611.60 c LP deleted cuts 0
3600.09/3611.60 c LP encountered Gomory constraints 0
3600.09/3611.60 c LP encountered Farkas constraints 0
3600.09/3611.60 c LP encountered learned Farkas constraints 0
3600.09/3611.60 c CG auxiliary variables introduced 11
3600.09/3611.60 c CG solutions found 0
3600.09/3611.60 c CG cores constructed 422
3600.09/3611.60 c CG core cardinality constraints returned 0
3600.09/3611.60 c CG unit cores 0
3600.09/3611.60 c CG single cores 422
3600.09/3611.60 c CG blocks removed during cardinality reduction 0
3600.09/3611.60 c CG first core best 0
3600.09/3611.60 c CG decision core best 0
3600.09/3611.60 c CG core reduction tie 0
3600.09/3611.60 c CG core degree average 1.00
3600.09/3611.60 c CG core slack average 20.45
3600.09/3611.60 c CG exhausted 0
3600.09/3611.60 c CG exhaust time 0 s
3600.09/3611.60 c CG trimmed 52
3600.09/3611.60 c CG trim time 0.006087 s
3600.09/3611.60 c CG minimized 0
3600.09/3611.60 c CG minimize time 0 s
3600.09/3611.60 c CG am1 prop time 0.015292 s
3600.09/3611.60 c CG # am1s reformulated 11
3600.09/3611.60 c CG lower bound derived from am1s 20
3600.09/3611.60 c CG # clausal cores 422
3600.09/3611.60 c CG # cardinality cores 0
3600.09/3611.60 c CG # pb cores 0
3600.09/3611.60 c CG # pb reforms 0
3600.09/3611.60 c CG # cores discarded because of pb reform 0
3600.09/3611.60 d LOWERBOUND 607
3600.09/3611.60 d NCORES 422
3600.09/3611.60 d NPBCORES 0
3600.09/3611.60 d NPBREFORM 0
3600.09/3611.60 d NTRIMMED 52
3600.09/3611.60 d NEXHAUSTED 0
3600.09/3611.60 d NAM1S 11
3600.09/3611.60 d AM1LB 20
3600.09/3611.60 c [Papilo Statistics]
3600.09/3611.60 c prepro time 0.106427s
3600.09/3611.60 c # tsx applied 67
3600.09/3611.60 c # tsx conflicts 0
3600.09/3611.60 c # bound changes 55
3600.09/3611.60 c # side changes 0
3600.09/3611.60 c # coef changes 0
3600.09/3611.60 c # rounds 6
3600.09/3611.60 c # deted vars 58
3600.09/3611.60 c # deted constrs 165
3600.09/3611.60 c # consecutive rounds of only bound changes 0
3600.09/3611.62 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (60460 MiB free)
memory of node 1: 64507 MiB (62214 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528856-1752254727/watcher-4528856-1752254727 -o /tmp/evaluation-result-4528856-1752254727/solver-4528856-1752254727 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1752254228-117004 --watchdog 3760 mixed-bag HOME/instance-4528856-1752254727.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=117171, runsolver pid=117168
Current StackSize limit: 8192 KiB
[startup+0.10007 s]*
/proc/loadavg: 4.06 3.88 3.87 5/251 117172
/proc/meminfo: memFree=125620200/131382112 swapFree=33010160/33010684
[pid=117171] ppid=117168 vsize=84348 memory=13700 CPUtime=0.09 cores=0,2
/proc/117171/stat : 117171 (mixed-bag) R 117168 117171 116989 0 -1 4194304 2480 0 0 0 8 1 0 0 20 0 1 0 141152527 86372352 3425 18446744073709551615 4235264 15840557 140732528947984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28131328 140732528949658 140732528949735 140732528949735 140732528955339 0
/proc/117171/statm: 21087 3425 2080 2834 0 3839 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 84348 KiB
Current children cumulated memory: 13700 KiB
[startup+0.213108 s]*
/proc/loadavg: 4.06 3.88 3.87 5/251 117172
/proc/meminfo: memFree=125612388/131382112 swapFree=33010160/33010684
[pid=117171] ppid=117168 vsize=107712 memory=28128 CPUtime=0.2 cores=0,2
/proc/117171/stat : 117171 (mixed-bag) R 117168 117171 116989 0 -1 4194304 6024 0 0 0 18 2 0 0 20 0 1 0 141152527 110297088 7032 18446744073709551615 4235264 15840557 140732528947984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28131328 140732528949658 140732528949735 140732528949735 140732528955339 0
/proc/117171/statm: 26928 7032 2176 2834 0 9133 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 107712 KiB
Current children cumulated memory: 28128 KiB
[startup+0.313014 s]*
/proc/loadavg: 4.06 3.88 3.87 5/251 117172
/proc/meminfo: memFree=125609364/131382112 swapFree=33010160/33010684
[pid=117171] ppid=117168 vsize=107712 memory=28768 CPUtime=0.3 cores=0,2
/proc/117171/stat : 117171 (mixed-bag) R 117168 117171 116989 0 -1 4194304 6038 0 0 0 28 2 0 0 20 0 1 0 141152527 110297088 7128 18446744073709551615 4235264 15840557 140732528947984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28131328 140732528949658 140732528949735 140732528949735 140732528955339 0
/proc/117171/statm: 26928 7160 2304 2834 0 9133 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 107712 KiB
Current children cumulated memory: 28768 KiB
[startup+0.700278 s]
/proc/loadavg: 4.06 3.88 3.87 5/251 117172
/proc/meminfo: memFree=125556948/131382112 swapFree=33010160/33010684
[pid=117171] ppid=117168 vsize=156320 memory=81052 CPUtime=0.68 cores=0,2
/proc/117171/stat : 117171 (mixed-bag) R 117168 117171 116989 0 -1 4194304 19943 0 0 0 61 7 0 0 20 0 1 0 141152527 160071680 20263 18446744073709551615 4235264 15840557 140732528947984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28131328 140732528949658 140732528949735 140732528949735 140732528955339 0
/proc/117171/statm: 39080 20263 3936 2834 0 21285 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 156320 KiB
Current children cumulated memory: 81052 KiB
[startup+1.50025 s]
/proc/loadavg: 4.06 3.88 3.87 5/251 117172
/proc/meminfo: memFree=125548920/131382112 swapFree=33010160/33010684
[pid=117171] ppid=117168 vsize=169900 memory=93852 CPUtime=1.47 cores=0,2
/proc/117171/stat : 117171 (mixed-bag) R 117168 117171 116989 0 -1 4194304 23121 0 0 0 140 7 0 0 20 0 1 0 141152527 173977600 23463 18446744073709551615 4235264 15840557 140732528947984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28131328 140732528949658 140732528949735 140732528949735 140732528955339 0
/proc/117171/statm: 42475 23463 4000 2834 0 24680 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 169900 KiB
Current children cumulated memory: 93852 KiB
[startup+3.11283 s]
/proc/loadavg: 4.06 3.89 3.87 5/251 117172
/proc/meminfo: memFree=125500948/131382112 swapFree=33010160/33010684
[pid=117171] ppid=117168 vsize=249264 memory=145308 CPUtime=3.08 cores=0,2
/proc/117171/stat : 117171 (mixed-bag) R 117168 117171 116989 0 -1 4194304 35811 0 0 0 299 9 0 0 20 0 1 0 141152527 255246336 36327 18446744073709551615 4235264 15840557 140732528947984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28131328 140732528949658 140732528949735 140732528949735 140732528955339 0
/proc/117171/statm: 62316 36327 4224 2834 0 44521 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 249264 KiB
Current children cumulated memory: 145308 KiB
[startup+6.30024 s]
/proc/loadavg: 4.06 3.89 3.87 5/251 117172
/proc/meminfo: memFree=125499692/131382112 swapFree=33010160/33010684
[pid=117171] ppid=117168 vsize=250992 memory=146588 CPUtime=6.26 cores=0,2
/proc/117171/stat : 117171 (mixed-bag) R 117168 117171 116989 0 -1 4194304 36136 0 0 0 616 10 0 0 20 0 1 0 141152527 257015808 36647 18446744073709551615 4235264 15840557 140732528947984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28131328 140732528949658 140732528949735 140732528949735 140732528955339 0
/proc/117171/statm: 62748 36647 4224 2834 0 44953 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 250992 KiB
Current children cumulated memory: 146588 KiB
[startup+12.7003 s]
/proc/loadavg: 4.13 3.91 3.88 5/251 117172
/proc/meminfo: memFree=125483324/131382112 swapFree=33010160/33010684
[pid=117171] ppid=117168 vsize=251408 memory=147356 CPUtime=12.65 cores=0,2
/proc/117171/stat : 117171 (mixed-bag) R 117168 117171 116989 0 -1 4194304 36313 0 0 0 1255 10 0 0 20 0 1 0 141152527 257441792 36839 18446744073709551615 4235264 15840557 140732528947984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28131328 140732528949658 140732528949735 140732528949735 140732528955339 0
/proc/117171/statm: 62852 36839 4224 2834 0 45057 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 251408 KiB
Current children cumulated memory: 147356 KiB
[startup+25.5003 s]
/proc/loadavg: 4.10 3.91 3.88 5/251 117172
/proc/meminfo: memFree=125449744/131382112 swapFree=33010160/33010684
[pid=117171] ppid=117168 vsize=272612 memory=166428 CPUtime=25.4 cores=0,2
/proc/117171/stat : 117171 (mixed-bag) R 117168 117171 116989 0 -1 4194304 41095 0 0 0 2530 10 0 0 20 0 1 0 141152527 279154688 41607 18446744073709551615 4235264 15840557 140732528947984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28131328 140732528949658 140732528949735 140732528949735 140732528955339 0
/proc/117171/statm: 68153 41607 4224 2834 0 50358 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 272612 KiB
Current children cumulated memory: 166428 KiB
[startup+51.113 s]
/proc/loadavg: 4.07 3.92 3.89 5/251 117173
/proc/meminfo: memFree=125372788/131382112 swapFree=33010160/33010684
[pid=117171] ppid=117168 vsize=323248 memory=214812 CPUtime=50.94 cores=0,2
/proc/117171/stat : 117171 (mixed-bag) R 117168 117171 116989 0 -1 4194304 53198 0 0 0 5081 13 0 0 20 0 1 0 141152527 331005952 53703 18446744073709551615 4235264 15840557 140732528947984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28131328 140732528949658 140732528949735 140732528949735 140732528955339 0
/proc/117171/statm: 80812 53703 4224 2834 0 63017 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 323248 KiB
Current children cumulated memory: 214812 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 3.96 3.91 5/250 117178
/proc/meminfo: memFree=125308756/131382112 swapFree=33010160/33010684
[pid=117171] ppid=117168 vsize=325136 memory=216860 CPUtime=101.98 cores=0,2
/proc/117171/stat : 117171 (mixed-bag) R 117168 117171 116989 0 -1 4194304 53718 0 0 0 10185 13 0 0 20 0 1 0 141152527 332939264 54215 18446744073709551615 4235264 15840557 140732528947984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28131328 140732528949658 140732528949735 140732528949735 140732528955339 0
/proc/117171/statm: 81284 54215 4224 2834 0 63489 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 325136 KiB
Current children cumulated memory: 216860 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 3.97 3.91 5/252 117186
/proc/meminfo: memFree=125289640/131382112 swapFree=33010160/33010684
[pid=117171] ppid=117168 vsize=325376 memory=217116 CPUtime=161.81 cores=0,2
/proc/117171/stat : 117171 (mixed-bag) R 117168 117171 116989 0 -1 4194304 53765 0 0 0 16168 13 0 0 20 0 1 0 141152527 333185024 54279 18446744073709551615 4235264 15840557 140732528947984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28131328 140732528949658 140732528949735 140732528949735 140732528955339 0
/proc/117171/statm: 81344 54279 4224 2834 0 63549 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 325376 KiB
Current children cumulated memory: 217116 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.00 3.92 5/252 117188
/proc/meminfo: memFree=125242388/131382112 swapFree=33010160/33010684
[pid=117171] ppid=117168 vsize=312736 memory=207608 CPUtime=221.65 cores=0,2
/proc/117171/stat : 117171 (mixed-bag) R 117168 117171 116989 0 -1 4194304 54364 0 0 0 22151 14 0 0 20 0 1 0 141152527 320241664 51902 18446744073709551615 4235264 15840557 140732528947984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28131328 140732528949658 140732528949735 140732528949735 140732528955339 0
/proc/117171/statm: 78184 51902 4224 2834 0 60389 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 312736 KiB
Current children cumulated memory: 207608 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.02 3.94 5/252 117190
/proc/meminfo: memFree=125226164/131382112 swapFree=33010160/33010684
[pid=117171] ppid=117168 vsize=312736 memory=207864 CPUtime=281.47 cores=0,2
/proc/117171/stat : 117171 (mixed-bag) R 117168 117171 116989 0 -1 4194304 54431 0 0 0 28133 14 0 0 20 0 1 0 141152527 320241664 51966 18446744073709551615 4235264 15840557 140732528947984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28131328 140732528949658 140732528949735 140732528949735 140732528955339 0
/proc/117171/statm: 78184 51966 4224 2834 0 60389 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 312736 KiB
Current children cumulated memory: 207864 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.03 3.95 5/252 117192
/proc/meminfo: memFree=124634372/131382112 swapFree=33010160/33010684
[pid=117171] ppid=117168 vsize=922884 memory=754176 CPUtime=341.31 cores=0,2
/proc/117171/stat : 117171 (mixed-bag) R 117168 117171 116989 0 -1 4194304 122455 0 0 0 33872 259 0 0 20 0 1 0 141152527 945033216 188544 18446744073709551615 4235264 15840557 140732528947984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28131328 140732528949658 140732528949735 140732528949735 140732528955339 0
/proc/117171/statm: 230721 188544 4416 2834 0 212926 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 922884 KiB
Current children cumulated memory: 754176 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.04 3.96 5/252 117194
/proc/meminfo: memFree=124309944/131382112 swapFree=33010160/33010684
[pid=117171] ppid=117168 vsize=1278200 memory=1047416 CPUtime=401.13 cores=0,2
/proc/117171/stat : 117171 (mixed-bag) R 117168 117171 116989 0 -1 4194304 162635 0 0 0 39781 332 0 0 20 0 1 0 141152527 1308876800 261854 18446744073709551615 4235264 15840557 140732528947984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28131328 140732528949658 140732528949735 140732528949735 140732528955339 0
/proc/117171/statm: 319550 261854 4416 2834 0 301755 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 1278200 KiB
Current children cumulated memory: 1047416 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.05 3.97 5/249 117196
/proc/meminfo: memFree=123957252/131382112 swapFree=33010160/33010684
[pid=117171] ppid=117168 vsize=1676976 memory=1379156 CPUtime=460.95 cores=0,2
/proc/117171/stat : 117171 (mixed-bag) R 117168 117171 116989 0 -1 4194304 225137 0 0 0 45695 400 0 0 20 0 1 0 141152527 1717223424 344789 18446744073709551615 4235264 15840557 140732528947984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28131328 140732528949658 140732528949735 140732528949735 140732528955339 0
/proc/117171/statm: 419244 344789 4416 2834 0 401449 0
Current children cumulated CPU time: 460.95 s
################
# More data... #
################
Current children cumulated memory: 3525584 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.11 4.10 5/250 117320
/proc/meminfo: memFree=121661048/131382112 swapFree=33010160/33010684
[pid=117171] ppid=117168 vsize=3912128 memory=3525584 CPUtime=2853.4 cores=0,2
/proc/117171/stat : 117171 (mixed-bag) R 117168 117171 116989 0 -1 4194304 476551 0 0 0 283629 1711 0 0 20 0 1 0 141152527 4006019072 881396 18446744073709551615 4235264 15840557 140732528947984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28131328 140732528949658 140732528949735 140732528949735 140732528955339 0
/proc/117171/statm: 978032 881396 4416 2834 0 960237 0
Current children cumulated CPU time: 2853.4 s
Current children cumulated vsize: 3912128 KiB
Current children cumulated memory: 3525584 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/250 117322
/proc/meminfo: memFree=121647852/131382112 swapFree=33010160/33010684
[pid=117171] ppid=117168 vsize=3913664 memory=3526480 CPUtime=2913.23 cores=0,2
/proc/117171/stat : 117171 (mixed-bag) R 117168 117171 116989 0 -1 4194304 476820 0 0 0 289589 1734 0 0 20 0 1 0 141152527 4007591936 881620 18446744073709551615 4235264 15840557 140732528947984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28131328 140732528949658 140732528949735 140732528949735 140732528955339 0
/proc/117171/statm: 978416 881620 4416 2834 0 960621 0
Current children cumulated CPU time: 2913.23 s
Current children cumulated vsize: 3913664 KiB
Current children cumulated memory: 3526480 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/251 117325
/proc/meminfo: memFree=121643388/131382112 swapFree=33010160/33010684
[pid=117171] ppid=117168 vsize=3913664 memory=3526480 CPUtime=2973.05 cores=0,2
/proc/117171/stat : 117171 (mixed-bag) R 117168 117171 116989 0 -1 4194304 476821 0 0 0 295550 1755 0 0 20 0 1 0 141152527 4007591936 881620 18446744073709551615 4235264 15840557 140732528947984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28131328 140732528949658 140732528949735 140732528949735 140732528955339 0
/proc/117171/statm: 978416 881620 4416 2834 0 960621 0
Current children cumulated CPU time: 2973.05 s
Current children cumulated vsize: 3913664 KiB
Current children cumulated memory: 3526480 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/251 117327
/proc/meminfo: memFree=121638972/131382112 swapFree=33010160/33010684
[pid=117171] ppid=117168 vsize=3915712 memory=3527760 CPUtime=3032.88 cores=0,2
/proc/117171/stat : 117171 (mixed-bag) R 117168 117171 116989 0 -1 4194304 478284 0 0 0 301505 1783 0 0 20 0 1 0 141152527 4009689088 881940 18446744073709551615 4235264 15840557 140732528947984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28131328 140732528949658 140732528949735 140732528949735 140732528955339 0
/proc/117171/statm: 978928 881940 4416 2834 0 961133 0
Current children cumulated CPU time: 3032.88 s
Current children cumulated vsize: 3915712 KiB
Current children cumulated memory: 3527760 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/251 117330
/proc/meminfo: memFree=121642048/131382112 swapFree=33010160/33010684
[pid=117171] ppid=117168 vsize=3915712 memory=3527760 CPUtime=3092.71 cores=0,2
/proc/117171/stat : 117171 (mixed-bag) R 117168 117171 116989 0 -1 4194304 478307 0 0 0 307455 1816 0 0 20 0 1 0 141152527 4009689088 881940 18446744073709551615 4235264 15840557 140732528947984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28131328 140732528949658 140732528949735 140732528949735 140732528955339 0
/proc/117171/statm: 978928 881940 4416 2834 0 961133 0
Current children cumulated CPU time: 3092.71 s
Current children cumulated vsize: 3915712 KiB
Current children cumulated memory: 3527760 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/251 117516
/proc/meminfo: memFree=122389884/131382112 swapFree=33010160/33010684
[pid=117171] ppid=117168 vsize=3933376 memory=3537872 CPUtime=3152.48 cores=0,2
/proc/117171/stat : 117171 (mixed-bag) R 117168 117171 116989 0 -1 4194304 480981 0 0 0 313389 1859 0 0 20 0 1 0 141152527 4027777024 884468 18446744073709551615 4235264 15840557 140732528947984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28131328 140732528949658 140732528949735 140732528949735 140732528955339 0
/proc/117171/statm: 983344 884468 4416 2834 0 965549 0
Current children cumulated CPU time: 3152.48 s
Current children cumulated vsize: 3933376 KiB
Current children cumulated memory: 3537872 KiB
[startup+3222.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/251 117518
/proc/meminfo: memFree=122317324/131382112 swapFree=33010160/33010684
[pid=117171] ppid=117168 vsize=3933376 memory=3537872 CPUtime=3212.25 cores=0,2
/proc/117171/stat : 117171 (mixed-bag) R 117168 117171 116989 0 -1 4194304 481365 0 0 0 319356 1869 0 0 20 0 1 0 141152527 4027777024 884468 18446744073709551615 4235264 15840557 140732528947984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28131328 140732528949658 140732528949735 140732528949735 140732528955339 0
/proc/117171/statm: 983344 884468 4416 2834 0 965549 0
Current children cumulated CPU time: 3212.25 s
Current children cumulated vsize: 3933376 KiB
Current children cumulated memory: 3537872 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/251 117520
/proc/meminfo: memFree=122193092/131382112 swapFree=33010160/33010684
[pid=117171] ppid=117168 vsize=3933376 memory=3537872 CPUtime=3272.01 cores=0,2
/proc/117171/stat : 117171 (mixed-bag) R 117168 117171 116989 0 -1 4194304 482184 0 0 0 325304 1897 0 0 20 0 1 0 141152527 4027777024 884468 18446744073709551615 4235264 15840557 140732528947984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28131328 140732528949658 140732528949735 140732528949735 140732528955339 0
/proc/117171/statm: 983344 884468 4416 2834 0 965549 0
Current children cumulated CPU time: 3272.01 s
Current children cumulated vsize: 3933376 KiB
Current children cumulated memory: 3537872 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/251 117523
/proc/meminfo: memFree=122149264/131382112 swapFree=33010160/33010684
[pid=117171] ppid=117168 vsize=3933376 memory=3537872 CPUtime=3331.77 cores=0,2
/proc/117171/stat : 117171 (mixed-bag) R 117168 117171 116989 0 -1 4194304 482193 0 0 0 331258 1919 0 0 20 0 1 0 141152527 4027777024 884468 18446744073709551615 4235264 15840557 140732528947984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28131328 140732528949658 140732528949735 140732528949735 140732528955339 0
/proc/117171/statm: 983344 884468 4416 2834 0 965549 0
Current children cumulated CPU time: 3331.77 s
Current children cumulated vsize: 3933376 KiB
Current children cumulated memory: 3537872 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/252 117526
/proc/meminfo: memFree=122049176/131382112 swapFree=33010160/33010684
[pid=117171] ppid=117168 vsize=3933376 memory=3537872 CPUtime=3391.53 cores=0,2
/proc/117171/stat : 117171 (mixed-bag) R 117168 117171 116989 0 -1 4194304 482193 0 0 0 337204 1949 0 0 20 0 1 0 141152527 4027777024 884468 18446744073709551615 4235264 15840557 140732528947984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28131328 140732528949658 140732528949735 140732528949735 140732528955339 0
/proc/117171/statm: 983344 884468 4416 2834 0 965549 0
Current children cumulated CPU time: 3391.53 s
Current children cumulated vsize: 3933376 KiB
Current children cumulated memory: 3537872 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/251 117528
/proc/meminfo: memFree=122014872/131382112 swapFree=33010160/33010684
[pid=117171] ppid=117168 vsize=3933888 memory=3538384 CPUtime=3451.32 cores=0,2
/proc/117171/stat : 117171 (mixed-bag) R 117168 117171 116989 0 -1 4194304 482487 0 0 0 343168 1964 0 0 20 0 1 0 141152527 4028301312 884596 18446744073709551615 4235264 15840557 140732528947984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28131328 140732528949658 140732528949735 140732528949735 140732528955339 0
/proc/117171/statm: 983472 884596 4416 2834 0 965677 0
Current children cumulated CPU time: 3451.32 s
Current children cumulated vsize: 3933888 KiB
Current children cumulated memory: 3538384 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/251 117531
/proc/meminfo: memFree=122010568/131382112 swapFree=33010160/33010684
[pid=117171] ppid=117168 vsize=3933888 memory=3538384 CPUtime=3511.11 cores=0,2
/proc/117171/stat : 117171 (mixed-bag) R 117168 117171 116989 0 -1 4194304 482487 0 0 0 349122 1989 0 0 20 0 1 0 141152527 4028301312 884596 18446744073709551615 4235264 15840557 140732528947984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28131328 140732528949658 140732528949735 140732528949735 140732528955339 0
/proc/117171/statm: 983472 884596 4416 2834 0 965677 0
Current children cumulated CPU time: 3511.11 s
Current children cumulated vsize: 3933888 KiB
Current children cumulated memory: 3538384 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/251 117533
/proc/meminfo: memFree=122013940/131382112 swapFree=33010160/33010684
[pid=117171] ppid=117168 vsize=3933888 memory=3538384 CPUtime=3570.89 cores=0,2
/proc/117171/stat : 117171 (mixed-bag) R 117168 117171 116989 0 -1 4194304 482487 0 0 0 355075 2014 0 0 20 0 1 0 141152527 4028301312 884596 18446744073709551615 4235264 15840557 140732528947984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28131328 140732528949658 140732528949735 140732528949735 140732528955339 0
/proc/117171/statm: 983472 884596 4416 2834 0 965677 0
Current children cumulated CPU time: 3570.89 s
Current children cumulated vsize: 3933888 KiB
Current children cumulated memory: 3538384 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.6 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 117535
/proc/meminfo: memFree=122009108/131382112 swapFree=33010160/33010684
[pid=117171] ppid=117168 vsize=3933888 memory=3538384 CPUtime=3600.09 cores=0,2
/proc/117171/stat : 117171 (mixed-bag) R 117168 117171 116989 0 -1 4194304 482487 0 0 0 357990 2019 0 0 20 0 1 0 141152527 4028301312 884596 18446744073709551615 4235264 15840557 140732528947984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 28131328 140732528949658 140732528949735 140732528949735 140732528955339 0
/proc/117171/statm: 983472 884596 4416 2834 0 965677 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 3933888 KiB
Current children cumulated memory: 3538384 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.64 s]
# the end of solver process 117171 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3579.92 s, system=20.2169 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.64
CPU time (s): 3600.14
CPU user time (s): 3579.92
CPU system time (s): 20.2169
CPU usage (%): 99.6815
Max. virtual memory (cumulated for all children) (KiB): 3933888
Max. memory (cumulated for all children) (KiB): 3538384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.92
system time used= 20.2169
maximum resident set size= 3539024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 482515
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= 564
involuntary context switches= 8082
# summary of solver processes directly reported to runsolver:
# pid: 117171
# total CPU time (s): 3600.14
# total CPU user time (s): 3579.92
# total CPU system time (s): 20.2169
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6601 second user time and 34.1293 second system time
The end
Begin job on nodeC009 at 2025-07-11 19:25:27
IDJOB=4528856
IDBENCH=146778
IDSOLVER=3386
FILE ID=nodeC009/4528856-1752254727
RUNJOBID= nodeC009-1752254228-117004
SLURM_JOB_ID= 9682591
Free space on /tmp= 431180 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core2586-950.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528856-1752254727/watcher-4528856-1752254727 -o /tmp/evaluation-result-4528856-1752254727/solver-4528856-1752254727 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1752254228-117004 --watchdog 3760 mixed-bag HOME/instance-4528856-1752254727.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5a39ac8f1a01f5c3e570fe1132d30af4
RANDOM SEED=762245398
nodeC009 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2494.253
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.531
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.855
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.155
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.328
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.484
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.349
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.739
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 125620120 kB
MemAvailable: 128591084 kB
Buffers: 2144 kB
Cached: 3701924 kB
SwapCached: 24 kB
Active: 2031480 kB
Inactive: 3019028 kB
Active(anon): 1360196 kB
Inactive(anon): 4180 kB
Active(file): 671284 kB
Inactive(file): 3014848 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16140 kB
Writeback: 0 kB
AnonPages: 1348736 kB
Mapped: 141596 kB
Shmem: 17936 kB
KReclaimable: 248536 kB
Slab: 338636 kB
SReclaimable: 248536 kB
SUnreclaim: 90100 kB
KernelStack: 3968 kB
PageTables: 6368 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 2107616 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149416 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 700416 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: 172872 kB
DirectMap2M: 9166848 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431156 MiB
End job on nodeC009 at 2025-07-11 20:25:39