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.13 c [STEP] preprocessing with Papilo
0.09/0.16 c [STEP] solving with SCIP
299.42/300.24 c [STEP] preprocessing done, loading into solver
299.42/300.27 c [STEP] solving
299.42/300.27 c #variables 15279 #constraints 2462
299.42/300.27 c SMALL=int, LARGE=long long
299.42/300.27 d SCIPUB 573
299.42/300.27 c bounds - >= 0 @ 299.375
299.42/300.27 c stratification level: 1
300.61/301.44 c bounds - >= 4 @ 299.525
300.61/301.44 c bounds - >= 5 @ 299.527
300.61/301.44 c bounds - >= 7 @ 299.529
300.61/301.44 c bounds - >= 9 @ 299.532
300.61/301.44 c bounds - >= 11 @ 299.535
300.61/301.44 c bounds - >= 13 @ 299.536
300.61/301.44 c bounds - >= 15 @ 299.538
300.61/301.44 c bounds - >= 17 @ 299.54
300.61/301.44 c bounds - >= 19 @ 299.543
300.61/301.44 c bounds - >= 21 @ 299.545
300.61/301.44 c bounds - >= 23 @ 299.547
300.61/301.44 c bounds - >= 24 @ 299.55
300.61/301.44 c bounds - >= 25 @ 299.553
300.61/301.44 c bounds - >= 27 @ 299.555
300.61/301.44 c bounds - >= 29 @ 299.558
300.61/301.44 c bounds - >= 31 @ 299.56
300.61/301.44 c bounds - >= 33 @ 299.562
300.61/301.44 c bounds - >= 35 @ 299.564
300.61/301.44 c bounds - >= 37 @ 299.565
300.61/301.44 c bounds - >= 38 @ 299.569
300.61/301.44 c bounds - >= 40 @ 299.572
300.61/301.44 c bounds - >= 42 @ 299.576
300.61/301.44 c bounds - >= 43 @ 299.578
300.61/301.44 c bounds - >= 44 @ 299.58
300.61/301.44 c bounds - >= 45 @ 299.582
300.61/301.44 c bounds - >= 46 @ 299.584
300.61/301.44 c bounds - >= 48 @ 299.586
300.61/301.44 c bounds - >= 50 @ 299.59
300.61/301.44 c bounds - >= 52 @ 299.593
300.61/301.44 c bounds - >= 53 @ 299.595
300.61/301.44 c bounds - >= 54 @ 299.598
300.61/301.44 c bounds - >= 56 @ 299.6
300.61/301.44 c bounds - >= 58 @ 299.604
300.61/301.44 c bounds - >= 60 @ 299.609
300.61/301.44 c bounds - >= 62 @ 299.611
300.61/301.44 c bounds - >= 64 @ 299.613
300.61/301.44 c bounds - >= 66 @ 299.614
300.61/301.44 c bounds - >= 67 @ 299.617
300.61/301.44 c bounds - >= 69 @ 299.618
300.61/301.44 c bounds - >= 70 @ 299.621
300.61/301.44 c bounds - >= 72 @ 299.624
300.61/301.44 c bounds - >= 74 @ 299.626
300.61/301.44 c bounds - >= 75 @ 299.63
300.61/301.44 c bounds - >= 76 @ 299.634
300.61/301.44 c bounds - >= 78 @ 299.636
300.61/301.44 c bounds - >= 80 @ 299.64
300.61/301.44 c bounds - >= 82 @ 299.642
300.61/301.44 c bounds - >= 84 @ 299.643
300.61/301.44 c bounds - >= 85 @ 299.647
300.61/301.44 c bounds - >= 87 @ 299.65
300.61/301.44 c bounds - >= 89 @ 299.653
300.61/301.44 c bounds - >= 90 @ 299.656
300.61/301.44 c bounds - >= 92 @ 299.658
300.61/301.44 c bounds - >= 93 @ 299.66
300.61/301.44 c bounds - >= 95 @ 299.664
300.61/301.44 c bounds - >= 97 @ 299.669
300.61/301.44 c bounds - >= 98 @ 299.671
300.61/301.44 c bounds - >= 100 @ 299.672
300.61/301.44 c bounds - >= 102 @ 299.674
300.61/301.44 c bounds - >= 104 @ 299.677
300.61/301.44 c bounds - >= 106 @ 299.68
300.61/301.44 c bounds - >= 108 @ 299.684
300.61/301.44 c bounds - >= 110 @ 299.688
300.61/301.44 c bounds - >= 111 @ 299.69
300.61/301.44 c bounds - >= 112 @ 299.693
300.61/301.44 c bounds - >= 114 @ 299.694
300.61/301.44 c bounds - >= 116 @ 299.697
300.61/301.44 c bounds - >= 118 @ 299.702
300.61/301.44 c bounds - >= 120 @ 299.704
300.61/301.44 c bounds - >= 122 @ 299.707
300.61/301.44 c bounds - >= 124 @ 299.713
300.61/301.44 c bounds - >= 126 @ 299.714
300.61/301.44 c bounds - >= 128 @ 299.718
300.61/301.44 c bounds - >= 130 @ 299.722
300.61/301.44 c bounds - >= 132 @ 299.725
300.61/301.44 c bounds - >= 134 @ 299.73
300.61/301.44 c bounds - >= 136 @ 299.732
300.61/301.44 c bounds - >= 138 @ 299.736
300.61/301.44 c bounds - >= 139 @ 299.737
300.61/301.44 c bounds - >= 141 @ 299.743
300.61/301.44 c bounds - >= 143 @ 299.745
300.61/301.44 c bounds - >= 145 @ 299.747
300.61/301.44 c bounds - >= 147 @ 299.75
300.61/301.44 c bounds - >= 148 @ 299.753
300.61/301.44 c bounds - >= 150 @ 299.757
300.61/301.44 c bounds - >= 152 @ 299.758
300.61/301.44 c bounds - >= 154 @ 299.761
300.61/301.44 c bounds - >= 156 @ 299.768
300.61/301.44 c bounds - >= 158 @ 299.771
300.61/301.44 c bounds - >= 159 @ 299.774
300.61/301.44 c bounds - >= 161 @ 299.779
300.61/301.44 c bounds - >= 163 @ 299.781
300.61/301.44 c bounds - >= 164 @ 299.785
300.61/301.44 c bounds - >= 166 @ 299.788
300.61/301.44 c bounds - >= 168 @ 299.791
300.61/301.44 c bounds - >= 170 @ 299.794
300.61/301.44 c bounds - >= 172 @ 299.796
300.61/301.44 c bounds - >= 173 @ 299.802
300.61/301.44 c bounds - >= 175 @ 299.806
300.61/301.44 c bounds - >= 177 @ 299.81
300.61/301.44 c bounds - >= 178 @ 299.813
300.61/301.44 c bounds - >= 180 @ 299.82
300.61/301.44 c bounds - >= 182 @ 299.825
300.61/301.44 c bounds - >= 184 @ 299.829
300.61/301.44 c bounds - >= 186 @ 299.832
300.61/301.44 c bounds - >= 187 @ 299.835
300.61/301.44 c bounds - >= 188 @ 299.838
300.61/301.44 c bounds - >= 189 @ 299.84
300.61/301.44 c bounds - >= 190 @ 299.843
300.61/301.44 c bounds - >= 192 @ 299.846
300.61/301.44 c bounds - >= 194 @ 299.852
300.61/301.44 c bounds - >= 196 @ 299.854
300.61/301.44 c bounds - >= 198 @ 299.859
300.61/301.44 c bounds - >= 200 @ 299.864
300.61/301.44 c bounds - >= 202 @ 299.869
300.61/301.44 c bounds - >= 203 @ 299.873
300.61/301.44 c bounds - >= 205 @ 299.877
300.61/301.44 c bounds - >= 206 @ 299.881
300.61/301.44 c bounds - >= 208 @ 299.885
300.61/301.44 c bounds - >= 210 @ 299.889
300.61/301.44 c bounds - >= 212 @ 299.894
300.61/301.44 c bounds - >= 214 @ 299.896
300.61/301.44 c bounds - >= 216 @ 299.901
300.61/301.44 c bounds - >= 218 @ 299.904
300.61/301.44 c bounds - >= 220 @ 299.908
300.61/301.44 c bounds - >= 221 @ 299.914
300.61/301.44 c bounds - >= 222 @ 299.919
300.61/301.44 c bounds - >= 223 @ 299.923
300.61/301.44 c bounds - >= 225 @ 299.927
300.61/301.44 c bounds - >= 227 @ 299.933
300.61/301.44 c bounds - >= 229 @ 299.935
300.61/301.44 c bounds - >= 231 @ 299.938
300.61/301.44 c bounds - >= 232 @ 299.944
300.61/301.44 c bounds - >= 234 @ 299.949
300.61/301.44 c bounds - >= 236 @ 299.952
300.61/301.44 c bounds - >= 238 @ 299.956
300.61/301.44 c bounds - >= 240 @ 299.959
300.61/301.44 c bounds - >= 242 @ 299.964
300.61/301.44 c bounds - >= 244 @ 299.968
300.61/301.44 c bounds - >= 246 @ 299.973
300.61/301.44 c bounds - >= 248 @ 299.979
300.61/301.44 c bounds - >= 250 @ 299.982
300.61/301.44 c bounds - >= 252 @ 299.985
300.61/301.44 c bounds - >= 254 @ 299.99
300.61/301.44 c bounds - >= 256 @ 299.996
300.61/301.44 c bounds - >= 258 @ 300
300.61/301.44 c bounds - >= 260 @ 300.006
300.61/301.44 c bounds - >= 261 @ 300.008
300.61/301.44 c bounds - >= 263 @ 300.012
300.61/301.44 c bounds - >= 265 @ 300.015
301.91/302.74 c bounds - >= 266 @ 300.017
301.91/302.74 c bounds - >= 268 @ 300.023
301.91/302.74 c bounds - >= 269 @ 300.026
301.91/302.74 c bounds - >= 270 @ 300.03
301.91/302.74 c bounds - >= 272 @ 300.035
301.91/302.74 c bounds - >= 274 @ 300.039
301.91/302.74 c bounds - >= 275 @ 300.043
301.91/302.74 c bounds - >= 277 @ 300.045
301.91/302.74 c bounds - >= 279 @ 300.048
301.91/302.74 c bounds - >= 281 @ 300.05
301.91/302.74 c bounds - >= 283 @ 300.052
301.91/302.74 c bounds - >= 285 @ 300.056
301.91/302.74 c bounds - >= 287 @ 300.06
301.91/302.74 c bounds - >= 289 @ 300.063
301.91/302.74 c bounds - >= 291 @ 300.065
301.91/302.74 c bounds - >= 293 @ 300.067
301.91/302.74 c bounds - >= 294 @ 300.071
301.91/302.74 c bounds - >= 296 @ 300.074
301.91/302.74 c bounds - >= 297 @ 300.076
301.91/302.74 c bounds - >= 299 @ 300.079
301.91/302.74 c bounds - >= 300 @ 300.084
301.91/302.74 c bounds - >= 302 @ 300.087
301.91/302.74 c bounds - >= 303 @ 300.091
301.91/302.74 c bounds - >= 304 @ 300.095
301.91/302.74 c bounds - >= 306 @ 300.098
301.91/302.74 c bounds - >= 308 @ 300.102
301.91/302.74 c bounds - >= 310 @ 300.106
301.91/302.74 c bounds - >= 312 @ 300.108
301.91/302.74 c bounds - >= 314 @ 300.111
301.91/302.74 c bounds - >= 316 @ 300.115
301.91/302.74 c bounds - >= 317 @ 300.118
301.91/302.74 c bounds - >= 319 @ 300.12
301.91/302.74 c bounds - >= 321 @ 300.124
301.91/302.74 c bounds - >= 323 @ 300.128
301.91/302.74 c bounds - >= 324 @ 300.129
301.91/302.74 c bounds - >= 326 @ 300.131
301.91/302.74 c bounds - >= 328 @ 300.134
301.91/302.74 c bounds - >= 330 @ 300.138
301.91/302.74 c bounds - >= 332 @ 300.14
301.91/302.74 c bounds - >= 333 @ 300.144
301.91/302.74 c bounds - >= 335 @ 300.145
301.91/302.74 c bounds - >= 337 @ 300.151
301.91/302.74 c bounds - >= 338 @ 300.154
301.91/302.74 c bounds - >= 339 @ 300.159
301.91/302.74 c bounds - >= 340 @ 300.161
301.91/302.74 c bounds - >= 342 @ 300.165
301.91/302.74 c bounds - >= 344 @ 300.169
301.91/302.74 c bounds - >= 346 @ 300.175
301.91/302.74 c bounds - >= 347 @ 300.176
301.91/302.74 c bounds - >= 349 @ 300.18
301.91/302.74 c bounds - >= 351 @ 300.184
301.91/302.74 c bounds - >= 352 @ 300.187
301.91/302.74 c bounds - >= 353 @ 300.19
301.91/302.74 c bounds - >= 354 @ 300.194
301.91/302.74 c bounds - >= 355 @ 300.197
301.91/302.74 c bounds - >= 356 @ 300.201
301.91/302.74 c bounds - >= 357 @ 300.202
301.91/302.74 c bounds - >= 358 @ 300.207
301.91/302.74 c bounds - >= 359 @ 300.209
301.91/302.74 c bounds - >= 360 @ 300.212
301.91/302.74 c bounds - >= 361 @ 300.214
301.91/302.74 c bounds - >= 362 @ 300.22
301.91/302.74 c bounds - >= 363 @ 300.225
301.91/302.74 c bounds - >= 364 @ 300.23
301.91/302.74 c bounds - >= 365 @ 300.235
301.91/302.74 c bounds - >= 366 @ 300.239
301.91/302.74 c bounds - >= 367 @ 300.243
301.91/302.74 c bounds - >= 368 @ 300.25
301.91/302.74 c bounds - >= 369 @ 300.252
301.91/302.74 c bounds - >= 370 @ 300.255
301.91/302.74 c bounds - >= 371 @ 300.26
301.91/302.74 c bounds - >= 372 @ 300.267
301.91/302.74 c bounds - >= 373 @ 300.269
301.91/302.74 c bounds - >= 374 @ 300.273
301.91/302.74 c bounds - >= 375 @ 300.275
301.91/302.74 c bounds - >= 376 @ 300.28
301.91/302.74 c bounds - >= 377 @ 300.285
301.91/302.74 c bounds - >= 378 @ 300.287
301.91/302.74 c bounds - >= 379 @ 300.291
301.91/302.74 c bounds - >= 380 @ 300.294
301.91/302.74 c bounds - >= 381 @ 300.297
301.91/302.74 c bounds - >= 382 @ 300.301
301.91/302.74 c bounds - >= 383 @ 300.302
301.91/302.74 c bounds - >= 384 @ 300.306
301.91/302.74 c bounds - >= 385 @ 300.309
301.91/302.74 c bounds - >= 386 @ 300.312
301.91/302.74 c bounds - >= 387 @ 300.315
301.91/302.74 c bounds - >= 388 @ 300.318
301.91/302.74 c bounds - >= 389 @ 300.322
301.91/302.74 c bounds - >= 390 @ 300.325
301.91/302.74 c bounds - >= 391 @ 300.331
301.91/302.74 c bounds - >= 392 @ 300.336
301.91/302.74 c bounds - >= 393 @ 300.34
301.91/302.74 c bounds - >= 394 @ 300.343
301.91/302.74 c bounds - >= 395 @ 300.346
301.91/302.74 c bounds - >= 396 @ 300.35
301.91/302.74 c bounds - >= 397 @ 300.355
301.91/302.74 c bounds - >= 398 @ 300.359
301.91/302.74 c bounds - >= 399 @ 300.36
301.91/302.74 c bounds - >= 400 @ 300.363
301.91/302.74 c bounds - >= 401 @ 300.366
301.91/302.74 c bounds - >= 402 @ 300.369
301.91/302.74 c bounds - >= 403 @ 300.373
301.91/302.74 c bounds - >= 404 @ 300.378
301.91/302.74 c bounds - >= 405 @ 300.379
301.91/302.74 c bounds - >= 406 @ 300.383
301.91/302.74 c bounds - >= 407 @ 300.387
301.91/302.74 c bounds - >= 408 @ 300.389
301.91/302.74 c bounds - >= 409 @ 300.393
301.91/302.74 c bounds - >= 410 @ 300.397
301.91/302.74 c bounds - >= 411 @ 300.399
301.91/302.74 c bounds - >= 412 @ 300.403
301.91/302.74 c bounds - >= 413 @ 300.405
301.91/302.74 c bounds - >= 414 @ 300.411
301.91/302.74 c bounds - >= 415 @ 300.416
301.91/302.74 c bounds - >= 416 @ 300.421
301.91/302.74 c bounds - >= 417 @ 300.425
301.91/302.74 c bounds - >= 418 @ 300.429
301.91/302.74 c bounds - >= 419 @ 300.433
301.91/302.74 c bounds - >= 420 @ 300.438
301.91/302.74 c bounds - >= 421 @ 300.442
301.91/302.74 c bounds - >= 422 @ 300.447
301.91/302.74 c bounds - >= 423 @ 300.452
301.91/302.74 c bounds - >= 424 @ 300.457
301.91/302.74 c bounds - >= 425 @ 300.461
301.91/302.74 c bounds - >= 426 @ 300.463
301.91/302.74 c bounds - >= 427 @ 300.468
301.91/302.74 c bounds - >= 428 @ 300.471
301.91/302.74 c bounds - >= 429 @ 300.476
301.91/302.74 c bounds - >= 430 @ 300.479
301.91/302.74 c bounds - >= 431 @ 300.481
301.91/302.74 c bounds - >= 432 @ 300.486
301.91/302.74 c bounds - >= 433 @ 300.491
301.91/302.74 c bounds - >= 434 @ 300.496
301.91/302.74 c bounds - >= 435 @ 300.498
301.91/302.74 c bounds - >= 436 @ 300.503
301.91/302.74 c bounds - >= 437 @ 300.505
301.91/302.74 c bounds - >= 438 @ 300.508
301.91/302.74 c bounds - >= 439 @ 300.51
301.91/302.74 c bounds - >= 440 @ 300.514
301.91/302.74 c bounds - >= 441 @ 300.519
301.91/302.74 c bounds - >= 442 @ 300.524
301.91/302.74 c bounds - >= 443 @ 300.527
301.91/302.74 c bounds - >= 444 @ 300.53
301.91/302.74 c bounds - >= 445 @ 300.537
301.91/302.74 c bounds - >= 446 @ 300.543
301.91/302.74 c bounds - >= 447 @ 300.548
534.14/535.50 c bounds - >= 448 @ 300.553
534.14/535.50 c bounds - >= 449 @ 300.557
534.14/535.50 c bounds - >= 450 @ 300.561
534.14/535.50 c bounds - >= 451 @ 300.565
534.14/535.50 c bounds - >= 452 @ 300.568
534.14/535.50 c bounds - >= 453 @ 300.571
534.14/535.50 c bounds - >= 454 @ 300.574
534.14/535.50 c bounds - >= 455 @ 300.578
534.14/535.50 c bounds - >= 456 @ 300.58
534.14/535.50 c bounds - >= 457 @ 300.585
534.14/535.50 c bounds - >= 458 @ 300.589
534.14/535.50 c bounds - >= 459 @ 300.595
534.14/535.50 c bounds - >= 460 @ 300.6
534.14/535.50 c bounds - >= 461 @ 300.604
534.14/535.50 c bounds - >= 462 @ 300.608
534.14/535.50 c bounds - >= 463 @ 300.613
534.14/535.50 c bounds - >= 464 @ 300.618
534.14/535.50 c bounds - >= 465 @ 300.619
534.14/535.50 c bounds - >= 466 @ 300.621
534.14/535.50 c bounds - >= 467 @ 300.624
534.14/535.50 c bounds - >= 468 @ 300.63
534.14/535.50 c bounds - >= 469 @ 300.632
534.14/535.50 c bounds - >= 470 @ 300.635
534.14/535.50 c bounds - >= 471 @ 300.639
534.14/535.50 c bounds - >= 472 @ 300.643
534.14/535.50 c bounds - >= 473 @ 300.646
534.14/535.50 c bounds - >= 474 @ 300.651
534.14/535.50 c bounds - >= 475 @ 300.653
534.14/535.50 c bounds - >= 476 @ 300.656
534.14/535.50 c bounds - >= 477 @ 300.66
534.14/535.50 c bounds - >= 478 @ 300.664
534.14/535.50 c bounds - >= 479 @ 300.667
534.14/535.50 c bounds - >= 480 @ 300.67
534.14/535.50 c bounds - >= 481 @ 300.675
534.14/535.50 c bounds - >= 482 @ 300.679
534.14/535.50 c bounds - >= 483 @ 300.681
534.14/535.50 c bounds - >= 484 @ 300.686
534.14/535.50 c bounds - >= 485 @ 300.69
534.14/535.50 c bounds - >= 486 @ 300.695
534.14/535.50 c bounds - >= 487 @ 300.699
534.14/535.50 c bounds - >= 488 @ 300.703
534.14/535.50 c bounds - >= 489 @ 300.709
534.14/535.50 c bounds - >= 490 @ 300.712
534.14/535.50 c bounds - >= 491 @ 300.718
534.14/535.50 c bounds - >= 492 @ 300.721
534.14/535.50 c bounds - >= 493 @ 300.725
534.14/535.50 c bounds - >= 494 @ 300.731
534.14/535.50 c bounds - >= 495 @ 300.736
534.14/535.50 c #Conflicts: 1000 | #Constraints: 3808
534.14/535.50 c #Conflicts: 2000 | #Constraints: 4808
534.14/535.50 c INPROCESSING
534.14/535.50 c GARBAGE COLLECT
534.14/535.50 c #Conflicts: 3000 | #Constraints: 4582
534.14/535.50 c #Conflicts: 4000 | #Constraints: 5582
534.14/535.50 c INPROCESSING
534.14/535.50 c GARBAGE COLLECT
534.14/535.50 c #Conflicts: 5000 | #Constraints: 5050
534.14/535.50 c #Conflicts: 6000 | #Constraints: 6050
534.14/535.50 c INPROCESSING
534.14/535.50 c GARBAGE COLLECT
534.14/535.50 c #Conflicts: 7000 | #Constraints: 5050
534.14/535.50 c #Conflicts: 8000 | #Constraints: 6050
534.14/535.50 c #Conflicts: 9000 | #Constraints: 7050
534.14/535.50 c INPROCESSING
534.14/535.50 c GARBAGE COLLECT
534.14/535.50 c #Conflicts: 10000 | #Constraints: 5751
534.14/535.50 c #Conflicts: 11000 | #Constraints: 6751
534.14/535.50 c #Conflicts: 12000 | #Constraints: 7751
534.14/535.50 c INPROCESSING
534.14/535.50 c GARBAGE COLLECT
534.14/535.50 c bounds - >= 496 @ 342.494
534.14/535.50 c #Conflicts: 13000 | #Constraints: 6210
534.14/535.50 c #Conflicts: 14000 | #Constraints: 7210
534.14/535.50 c #Conflicts: 15000 | #Constraints: 8210
534.14/535.50 c INPROCESSING
534.14/535.50 c GARBAGE COLLECT
534.14/535.50 c #Conflicts: 16000 | #Constraints: 6379
534.14/535.50 c #Conflicts: 17000 | #Constraints: 7379
534.14/535.50 c #Conflicts: 18000 | #Constraints: 8379
534.14/535.50 c INPROCESSING
534.14/535.50 c GARBAGE COLLECT
534.14/535.50 c #Conflicts: 19000 | #Constraints: 6367
534.14/535.50 c #Conflicts: 20000 | #Constraints: 7367
534.14/535.50 c #Conflicts: 21000 | #Constraints: 8367
534.14/535.50 c INPROCESSING
534.14/535.50 c GARBAGE COLLECT
534.14/535.50 c #Conflicts: 22000 | #Constraints: 6163
534.14/535.50 c #Conflicts: 23000 | #Constraints: 7163
534.14/535.50 c #Conflicts: 24000 | #Constraints: 8163
534.14/535.50 c #Conflicts: 25000 | #Constraints: 9163
534.14/535.50 c INPROCESSING
534.14/535.50 c GARBAGE COLLECT
534.14/535.50 c #Conflicts: 26000 | #Constraints: 6780
534.14/535.50 c #Conflicts: 27000 | #Constraints: 7780
534.14/535.50 c #Conflicts: 28000 | #Constraints: 8780
534.14/535.50 c #Conflicts: 29000 | #Constraints: 9780
534.14/535.50 c INPROCESSING
534.14/535.50 c GARBAGE COLLECT
534.14/535.50 c #Conflicts: 30000 | #Constraints: 7172
534.14/535.50 c #Conflicts: 31000 | #Constraints: 8172
534.14/535.50 c #Conflicts: 32000 | #Constraints: 9172
534.14/535.50 c #Conflicts: 33000 | #Constraints: 10172
534.14/535.50 c INPROCESSING
534.14/535.50 c GARBAGE COLLECT
534.14/535.50 c #Conflicts: 34000 | #Constraints: 7366
534.14/535.50 c #Conflicts: 35000 | #Constraints: 8366
534.14/535.50 c #Conflicts: 36000 | #Constraints: 9366
534.14/535.50 c #Conflicts: 37000 | #Constraints: 10366
534.14/535.50 c INPROCESSING
534.14/535.50 c GARBAGE COLLECT
534.14/535.50 c #Conflicts: 38000 | #Constraints: 7374
534.14/535.50 c #Conflicts: 39000 | #Constraints: 8374
534.14/535.50 c #Conflicts: 40000 | #Constraints: 9374
534.14/535.50 c #Conflicts: 41000 | #Constraints: 10374
534.14/535.50 c INPROCESSING
534.14/535.50 c GARBAGE COLLECT
534.14/535.50 c #Conflicts: 42000 | #Constraints: 7170
534.14/535.50 c #Conflicts: 43000 | #Constraints: 8170
534.14/535.50 c #Conflicts: 44000 | #Constraints: 9170
964.11/966.51 c #Conflicts: 45000 | #Constraints: 10170
964.11/966.51 c #Conflicts: 46000 | #Constraints: 11170
964.11/966.51 c INPROCESSING
964.11/966.51 c GARBAGE COLLECT
964.11/966.51 c #Conflicts: 47000 | #Constraints: 7739
964.11/966.51 c #Conflicts: 48000 | #Constraints: 8739
964.11/966.51 c #Conflicts: 49000 | #Constraints: 9739
964.11/966.51 c #Conflicts: 50000 | #Constraints: 10739
964.11/966.51 c #Conflicts: 51000 | #Constraints: 11739
964.11/966.51 c INPROCESSING
964.11/966.51 c GARBAGE COLLECT
964.11/966.51 c #Conflicts: 52000 | #Constraints: 8132
964.11/966.51 c #Conflicts: 53000 | #Constraints: 9132
964.11/966.51 c #Conflicts: 54000 | #Constraints: 10132
964.11/966.51 c #Conflicts: 55000 | #Constraints: 11132
964.11/966.51 c #Conflicts: 56000 | #Constraints: 12132
964.11/966.51 c INPROCESSING
964.11/966.51 c GARBAGE COLLECT
964.11/966.51 c #Conflicts: 57000 | #Constraints: 8337
964.11/966.51 c #Conflicts: 58000 | #Constraints: 9337
964.11/966.51 c #Conflicts: 59000 | #Constraints: 10337
964.11/966.51 c #Conflicts: 60000 | #Constraints: 11337
964.11/966.51 c #Conflicts: 61000 | #Constraints: 12337
964.11/966.51 c INPROCESSING
964.11/966.51 c GARBAGE COLLECT
964.11/966.51 c #Conflicts: 62000 | #Constraints: 8343
964.11/966.51 c #Conflicts: 63000 | #Constraints: 9343
964.11/966.51 c #Conflicts: 64000 | #Constraints: 10343
964.11/966.51 c #Conflicts: 65000 | #Constraints: 11343
964.11/966.51 c #Conflicts: 66000 | #Constraints: 12343
964.11/966.51 c INPROCESSING
964.11/966.51 c GARBAGE COLLECT
964.11/966.51 c #Conflicts: 67000 | #Constraints: 8147
964.11/966.51 c #Conflicts: 68000 | #Constraints: 9147
964.11/966.51 c #Conflicts: 69000 | #Constraints: 10147
964.11/966.51 c #Conflicts: 70000 | #Constraints: 11147
964.11/966.51 c #Conflicts: 71000 | #Constraints: 12147
964.11/966.51 c #Conflicts: 72000 | #Constraints: 13147
964.11/966.51 c INPROCESSING
964.11/966.51 c GARBAGE COLLECT
964.11/966.51 c #Conflicts: 73000 | #Constraints: 8745
964.11/966.51 c #Conflicts: 74000 | #Constraints: 9745
964.11/966.51 c #Conflicts: 75000 | #Constraints: 10745
964.11/966.51 c #Conflicts: 76000 | #Constraints: 11745
964.11/966.51 c #Conflicts: 77000 | #Constraints: 12745
964.11/966.51 c #Conflicts: 78000 | #Constraints: 13745
964.11/966.51 c INPROCESSING
964.11/966.51 c GARBAGE COLLECT
964.11/966.51 c #Conflicts: 79000 | #Constraints: 9150
964.11/966.51 c #Conflicts: 80000 | #Constraints: 10150
964.11/966.51 c #Conflicts: 81000 | #Constraints: 11150
964.11/966.51 c #Conflicts: 82000 | #Constraints: 12150
964.11/966.51 c #Conflicts: 83000 | #Constraints: 13150
964.11/966.51 c #Conflicts: 84000 | #Constraints: 14150
964.11/966.51 c INPROCESSING
964.11/966.51 c GARBAGE COLLECT
964.11/966.51 c #Conflicts: 85000 | #Constraints: 9354
964.11/966.51 c #Conflicts: 86000 | #Constraints: 10354
964.11/966.51 c #Conflicts: 87000 | #Constraints: 11354
964.11/966.51 c #Conflicts: 88000 | #Constraints: 12354
964.11/966.51 c #Conflicts: 89000 | #Constraints: 13354
964.11/966.51 c #Conflicts: 90000 | #Constraints: 14354
964.11/966.51 c INPROCESSING
964.11/966.51 c GARBAGE COLLECT
964.11/966.51 c #Conflicts: 91000 | #Constraints: 9364
964.11/966.51 c #Conflicts: 92000 | #Constraints: 10364
964.11/966.51 c #Conflicts: 93000 | #Constraints: 11364
964.11/966.51 c #Conflicts: 94000 | #Constraints: 12364
964.11/966.51 c #Conflicts: 95000 | #Constraints: 13364
964.11/966.51 c #Conflicts: 96000 | #Constraints: 14364
964.11/966.51 c INPROCESSING
964.11/966.51 c GARBAGE COLLECT
964.11/966.51 c #Conflicts: 97000 | #Constraints: 9170
964.11/966.51 c #Conflicts: 98000 | #Constraints: 10170
964.11/966.51 c #Conflicts: 99000 | #Constraints: 11170
964.11/966.51 c #Conflicts: 100000 | #Constraints: 12170
964.11/966.51 c #Conflicts: 101000 | #Constraints: 13170
964.11/966.51 c #Conflicts: 102000 | #Constraints: 14170
964.11/966.51 c #Conflicts: 103000 | #Constraints: 15170
964.11/966.51 c INPROCESSING
964.11/966.51 c GARBAGE COLLECT
964.11/966.51 c #Conflicts: 104000 | #Constraints: 9757
964.11/966.51 c #Conflicts: 105000 | #Constraints: 10757
964.11/966.51 c #Conflicts: 106000 | #Constraints: 11757
964.11/966.51 c #Conflicts: 107000 | #Constraints: 12757
964.11/966.51 c #Conflicts: 108000 | #Constraints: 13757
964.11/966.51 c #Conflicts: 109000 | #Constraints: 14757
964.11/966.51 c #Conflicts: 110000 | #Constraints: 15757
964.11/966.51 c INPROCESSING
964.11/966.51 c GARBAGE COLLECT
964.11/966.51 c #Conflicts: 111000 | #Constraints: 10154
964.11/966.51 c #Conflicts: 112000 | #Constraints: 11154
964.11/966.51 c #Conflicts: 113000 | #Constraints: 12154
964.11/966.51 c #Conflicts: 114000 | #Constraints: 13154
964.11/966.51 c #Conflicts: 115000 | #Constraints: 14154
1504.26/1508.06 c #Conflicts: 116000 | #Constraints: 15154
1504.26/1508.06 c #Conflicts: 117000 | #Constraints: 16154
1504.26/1508.06 c INPROCESSING
1504.26/1508.06 c GARBAGE COLLECT
1504.26/1508.06 c #Conflicts: 118000 | #Constraints: 10352
1504.26/1508.06 c #Conflicts: 119000 | #Constraints: 11352
1504.26/1508.06 c #Conflicts: 120000 | #Constraints: 12352
1504.26/1508.06 c #Conflicts: 121000 | #Constraints: 13352
1504.26/1508.06 c #Conflicts: 122000 | #Constraints: 14352
1504.26/1508.06 c #Conflicts: 123000 | #Constraints: 15352
1504.26/1508.06 c #Conflicts: 124000 | #Constraints: 16352
1504.26/1508.06 c INPROCESSING
1504.26/1508.06 c GARBAGE COLLECT
1504.26/1508.06 c #Conflicts: 125000 | #Constraints: 10351
1504.26/1508.06 c #Conflicts: 126000 | #Constraints: 11351
1504.26/1508.06 c #Conflicts: 127000 | #Constraints: 12351
1504.26/1508.06 c #Conflicts: 128000 | #Constraints: 13351
1504.26/1508.06 c #Conflicts: 129000 | #Constraints: 14351
1504.26/1508.06 c #Conflicts: 130000 | #Constraints: 15351
1504.26/1508.06 c #Conflicts: 131000 | #Constraints: 16351
1504.26/1508.06 c INPROCESSING
1504.26/1508.06 c GARBAGE COLLECT
1504.26/1508.06 c #Conflicts: 132000 | #Constraints: 10152
1504.26/1508.06 c #Conflicts: 133000 | #Constraints: 11152
1504.26/1508.06 c #Conflicts: 134000 | #Constraints: 12152
1504.26/1508.06 c #Conflicts: 135000 | #Constraints: 13152
1504.26/1508.06 c #Conflicts: 136000 | #Constraints: 14152
1504.26/1508.06 c #Conflicts: 137000 | #Constraints: 15152
1504.26/1508.06 c #Conflicts: 138000 | #Constraints: 16152
1504.26/1508.06 c #Conflicts: 139000 | #Constraints: 17152
1504.26/1508.06 c INPROCESSING
1504.26/1508.06 c GARBAGE COLLECT
1504.26/1508.06 c #Conflicts: 140000 | #Constraints: 10744
1504.26/1508.06 c #Conflicts: 141000 | #Constraints: 11744
1504.26/1508.06 c #Conflicts: 142000 | #Constraints: 12744
1504.26/1508.06 c #Conflicts: 143000 | #Constraints: 13744
1504.26/1508.06 c #Conflicts: 144000 | #Constraints: 14744
1504.26/1508.06 c #Conflicts: 145000 | #Constraints: 15744
1504.26/1508.06 c #Conflicts: 146000 | #Constraints: 16744
1504.26/1508.06 c #Conflicts: 147000 | #Constraints: 17744
1504.26/1508.06 c INPROCESSING
1504.26/1508.06 c GARBAGE COLLECT
1504.26/1508.06 c #Conflicts: 148000 | #Constraints: 11132
1504.26/1508.06 c #Conflicts: 149000 | #Constraints: 12132
1504.26/1508.06 c #Conflicts: 150000 | #Constraints: 13132
1504.26/1508.06 c #Conflicts: 151000 | #Constraints: 14132
1504.26/1508.06 c #Conflicts: 152000 | #Constraints: 15132
1504.26/1508.06 c #Conflicts: 153000 | #Constraints: 16132
1504.26/1508.06 c #Conflicts: 154000 | #Constraints: 17132
1504.26/1508.06 c #Conflicts: 155000 | #Constraints: 18132
1504.26/1508.06 c INPROCESSING
1504.26/1508.06 c GARBAGE COLLECT
1504.26/1508.06 c #Conflicts: 156000 | #Constraints: 11318
1504.26/1508.06 c #Conflicts: 157000 | #Constraints: 12318
1504.26/1508.06 c #Conflicts: 158000 | #Constraints: 13318
1504.26/1508.06 c #Conflicts: 159000 | #Constraints: 14318
1504.26/1508.06 c #Conflicts: 160000 | #Constraints: 15318
1504.26/1508.06 c #Conflicts: 161000 | #Constraints: 16318
1504.26/1508.06 c #Conflicts: 162000 | #Constraints: 17318
1504.26/1508.06 c #Conflicts: 163000 | #Constraints: 18318
1504.26/1508.06 c INPROCESSING
1504.26/1508.06 c GARBAGE COLLECT
1504.26/1508.06 c #Conflicts: 164000 | #Constraints: 11320
1504.26/1508.06 c #Conflicts: 165000 | #Constraints: 12320
1504.26/1508.06 c #Conflicts: 166000 | #Constraints: 13320
1504.26/1508.06 c #Conflicts: 167000 | #Constraints: 14320
1504.26/1508.06 c #Conflicts: 168000 | #Constraints: 15320
1504.26/1508.06 c #Conflicts: 169000 | #Constraints: 16320
1504.26/1508.06 c #Conflicts: 170000 | #Constraints: 17320
1504.26/1508.06 c #Conflicts: 171000 | #Constraints: 18320
1504.26/1508.06 c INPROCESSING
1504.26/1508.06 c GARBAGE COLLECT
1504.26/1508.06 c #Conflicts: 172000 | #Constraints: 11130
1504.26/1508.06 c #Conflicts: 173000 | #Constraints: 12130
1504.26/1508.06 c #Conflicts: 174000 | #Constraints: 13130
1504.26/1508.06 c #Conflicts: 175000 | #Constraints: 14130
1504.26/1508.06 c #Conflicts: 176000 | #Constraints: 15130
1504.26/1508.06 c #Conflicts: 177000 | #Constraints: 16130
1504.26/1508.06 c #Conflicts: 178000 | #Constraints: 17130
1504.26/1508.06 c #Conflicts: 179000 | #Constraints: 18130
1504.26/1508.06 c #Conflicts: 180000 | #Constraints: 19130
1504.26/1508.06 c INPROCESSING
1504.26/1508.06 c GARBAGE COLLECT
1504.26/1508.06 c #Conflicts: 181000 | #Constraints: 11743
1504.26/1508.06 c #Conflicts: 182000 | #Constraints: 12743
1504.26/1508.06 c #Conflicts: 183000 | #Constraints: 13743
1504.26/1508.06 c #Conflicts: 184000 | #Constraints: 14743
1504.26/1508.06 c #Conflicts: 185000 | #Constraints: 15743
1504.26/1508.06 c #Conflicts: 186000 | #Constraints: 16743
1504.26/1508.06 c #Conflicts: 187000 | #Constraints: 17743
1504.26/1508.06 c #Conflicts: 188000 | #Constraints: 18743
1504.26/1508.06 c #Conflicts: 189000 | #Constraints: 19743
2070.84/2076.02 c INPROCESSING
2070.84/2076.02 c GARBAGE COLLECT
2070.84/2076.02 c #Conflicts: 190000 | #Constraints: 12169
2070.84/2076.02 c #Conflicts: 191000 | #Constraints: 13169
2070.84/2076.02 c #Conflicts: 192000 | #Constraints: 14169
2070.84/2076.02 c #Conflicts: 193000 | #Constraints: 15169
2070.84/2076.02 c #Conflicts: 194000 | #Constraints: 16169
2070.84/2076.02 c #Conflicts: 195000 | #Constraints: 17169
2070.84/2076.02 c #Conflicts: 196000 | #Constraints: 18169
2070.84/2076.02 c #Conflicts: 197000 | #Constraints: 19169
2070.84/2076.02 c #Conflicts: 198000 | #Constraints: 20169
2070.84/2076.02 c INPROCESSING
2070.84/2076.02 c GARBAGE COLLECT
2070.84/2076.02 c #Conflicts: 199000 | #Constraints: 12379
2070.84/2076.02 c #Conflicts: 200000 | #Constraints: 13379
2070.84/2076.02 c #Conflicts: 201000 | #Constraints: 14379
2070.84/2076.02 c #Conflicts: 202000 | #Constraints: 15379
2070.84/2076.02 c #Conflicts: 203000 | #Constraints: 16379
2070.84/2076.02 c #Conflicts: 204000 | #Constraints: 17379
2070.84/2076.02 c #Conflicts: 205000 | #Constraints: 18379
2070.84/2076.02 c #Conflicts: 206000 | #Constraints: 19379
2070.84/2076.02 c #Conflicts: 207000 | #Constraints: 20379
2070.84/2076.02 c INPROCESSING
2070.84/2076.02 c GARBAGE COLLECT
2070.84/2076.02 c #Conflicts: 208000 | #Constraints: 12377
2070.84/2076.02 c #Conflicts: 209000 | #Constraints: 13377
2070.84/2076.02 c #Conflicts: 210000 | #Constraints: 14377
2070.84/2076.02 c #Conflicts: 211000 | #Constraints: 15377
2070.84/2076.02 c #Conflicts: 212000 | #Constraints: 16377
2070.84/2076.02 c #Conflicts: 213000 | #Constraints: 17377
2070.84/2076.02 c #Conflicts: 214000 | #Constraints: 18377
2070.84/2076.02 c #Conflicts: 215000 | #Constraints: 19377
2070.84/2076.02 c #Conflicts: 216000 | #Constraints: 20377
2070.84/2076.02 c INPROCESSING
2070.84/2076.02 c GARBAGE COLLECT
2070.84/2076.02 c #Conflicts: 217000 | #Constraints: 12174
2070.84/2076.02 c #Conflicts: 218000 | #Constraints: 13174
2070.84/2076.02 c #Conflicts: 219000 | #Constraints: 14174
2070.84/2076.02 c #Conflicts: 220000 | #Constraints: 15174
2070.84/2076.02 c #Conflicts: 221000 | #Constraints: 16174
2070.84/2076.02 c #Conflicts: 222000 | #Constraints: 17174
2070.84/2076.02 c #Conflicts: 223000 | #Constraints: 18174
2070.84/2076.02 c #Conflicts: 224000 | #Constraints: 19174
2070.84/2076.02 c #Conflicts: 225000 | #Constraints: 20174
2070.84/2076.02 c #Conflicts: 226000 | #Constraints: 21174
2070.84/2076.02 c INPROCESSING
2070.84/2076.02 c GARBAGE COLLECT
2070.84/2076.02 c #Conflicts: 227000 | #Constraints: 12765
2070.84/2076.02 c #Conflicts: 228000 | #Constraints: 13765
2070.84/2076.02 c #Conflicts: 229000 | #Constraints: 14765
2070.84/2076.02 c #Conflicts: 230000 | #Constraints: 15765
2070.84/2076.02 c #Conflicts: 231000 | #Constraints: 16765
2070.84/2076.02 c #Conflicts: 232000 | #Constraints: 17765
2070.84/2076.02 c #Conflicts: 233000 | #Constraints: 18765
2070.84/2076.02 c #Conflicts: 234000 | #Constraints: 19765
2070.84/2076.02 c #Conflicts: 235000 | #Constraints: 20765
2070.84/2076.02 c #Conflicts: 236000 | #Constraints: 21765
2070.84/2076.02 c INPROCESSING
2070.84/2076.02 c GARBAGE COLLECT
2070.84/2076.02 c #Conflicts: 237000 | #Constraints: 13159
2070.84/2076.02 c #Conflicts: 238000 | #Constraints: 14159
2070.84/2076.02 c #Conflicts: 239000 | #Constraints: 15159
2070.84/2076.02 c #Conflicts: 240000 | #Constraints: 16159
2070.84/2076.02 c #Conflicts: 241000 | #Constraints: 17159
2070.84/2076.02 c #Conflicts: 242000 | #Constraints: 18159
2070.84/2076.02 c #Conflicts: 243000 | #Constraints: 19159
2070.84/2076.02 c #Conflicts: 244000 | #Constraints: 20159
2070.84/2076.02 c #Conflicts: 245000 | #Constraints: 21159
2070.84/2076.02 c #Conflicts: 246000 | #Constraints: 22159
2070.84/2076.02 c INPROCESSING
2070.84/2076.02 c GARBAGE COLLECT
2070.84/2076.02 c #Conflicts: 247000 | #Constraints: 13348
2070.84/2076.02 c #Conflicts: 248000 | #Constraints: 14348
2070.84/2076.02 c #Conflicts: 249000 | #Constraints: 15348
2070.84/2076.02 c #Conflicts: 250000 | #Constraints: 16348
2070.84/2076.02 c #Conflicts: 251000 | #Constraints: 17348
2070.84/2076.02 c #Conflicts: 252000 | #Constraints: 18348
2070.84/2076.02 c #Conflicts: 253000 | #Constraints: 19348
2070.84/2076.02 c #Conflicts: 254000 | #Constraints: 20348
2070.84/2076.02 c #Conflicts: 255000 | #Constraints: 21348
2070.84/2076.02 c #Conflicts: 256000 | #Constraints: 22348
2070.84/2076.02 c INPROCESSING
2070.84/2076.02 c GARBAGE COLLECT
2070.84/2076.02 c #Conflicts: 257000 | #Constraints: 13341
2070.84/2076.02 c #Conflicts: 258000 | #Constraints: 14341
2070.84/2076.02 c #Conflicts: 259000 | #Constraints: 15341
2070.84/2076.02 c #Conflicts: 260000 | #Constraints: 16341
2070.84/2076.02 c #Conflicts: 261000 | #Constraints: 17341
2070.84/2076.02 c #Conflicts: 262000 | #Constraints: 18341
2565.30/2571.70 c #Conflicts: 263000 | #Constraints: 19341
2565.30/2571.70 c #Conflicts: 264000 | #Constraints: 20341
2565.30/2571.70 c #Conflicts: 265000 | #Constraints: 21341
2565.30/2571.70 c #Conflicts: 266000 | #Constraints: 22341
2565.30/2571.70 c INPROCESSING
2565.30/2571.70 c GARBAGE COLLECT
2565.30/2571.70 c #Conflicts: 267000 | #Constraints: 13144
2565.30/2571.70 c #Conflicts: 268000 | #Constraints: 14144
2565.30/2571.70 c #Conflicts: 269000 | #Constraints: 15144
2565.30/2571.70 c #Conflicts: 270000 | #Constraints: 16144
2565.30/2571.70 c #Conflicts: 271000 | #Constraints: 17144
2565.30/2571.70 c #Conflicts: 272000 | #Constraints: 18144
2565.30/2571.70 c #Conflicts: 273000 | #Constraints: 19144
2565.30/2571.70 c #Conflicts: 274000 | #Constraints: 20144
2565.30/2571.70 c #Conflicts: 275000 | #Constraints: 21144
2565.30/2571.70 c #Conflicts: 276000 | #Constraints: 22144
2565.30/2571.70 c #Conflicts: 277000 | #Constraints: 23144
2565.30/2571.70 c INPROCESSING
2565.30/2571.70 c GARBAGE COLLECT
2565.30/2571.70 c #Conflicts: 278000 | #Constraints: 13736
2565.30/2571.70 c #Conflicts: 279000 | #Constraints: 14736
2565.30/2571.70 c #Conflicts: 280000 | #Constraints: 15736
2565.30/2571.70 c #Conflicts: 281000 | #Constraints: 16736
2565.30/2571.70 c #Conflicts: 282000 | #Constraints: 17736
2565.30/2571.70 c #Conflicts: 283000 | #Constraints: 18736
2565.30/2571.70 c #Conflicts: 284000 | #Constraints: 19736
2565.30/2571.70 c #Conflicts: 285000 | #Constraints: 20736
2565.30/2571.70 c #Conflicts: 286000 | #Constraints: 21736
2565.30/2571.70 c #Conflicts: 287000 | #Constraints: 22736
2565.30/2571.70 c #Conflicts: 288000 | #Constraints: 23736
2565.30/2571.70 c INPROCESSING
2565.30/2571.70 c GARBAGE COLLECT
2565.30/2571.70 c #Conflicts: 289000 | #Constraints: 14118
2565.30/2571.70 c #Conflicts: 290000 | #Constraints: 15118
2565.30/2571.70 c #Conflicts: 291000 | #Constraints: 16118
2565.30/2571.70 c #Conflicts: 292000 | #Constraints: 17118
2565.30/2571.70 c #Conflicts: 293000 | #Constraints: 18118
2565.30/2571.70 c #Conflicts: 294000 | #Constraints: 19118
2565.30/2571.70 c #Conflicts: 295000 | #Constraints: 20118
2565.30/2571.70 c #Conflicts: 296000 | #Constraints: 21118
2565.30/2571.70 c #Conflicts: 297000 | #Constraints: 22118
2565.30/2571.70 c #Conflicts: 298000 | #Constraints: 23118
2565.30/2571.70 c #Conflicts: 299000 | #Constraints: 24118
2565.30/2571.70 c INPROCESSING
2565.30/2571.70 c GARBAGE COLLECT
2565.30/2571.70 c #Conflicts: 300000 | #Constraints: 14310
2565.30/2571.70 c #Conflicts: 301000 | #Constraints: 15310
2565.30/2571.70 c #Conflicts: 302000 | #Constraints: 16310
2565.30/2571.70 c #Conflicts: 303000 | #Constraints: 17310
2565.30/2571.70 c #Conflicts: 304000 | #Constraints: 18310
2565.30/2571.70 c #Conflicts: 305000 | #Constraints: 19310
2565.30/2571.70 c #Conflicts: 306000 | #Constraints: 20310
2565.30/2571.70 c #Conflicts: 307000 | #Constraints: 21310
2565.30/2571.70 c #Conflicts: 308000 | #Constraints: 22310
2565.30/2571.70 c #Conflicts: 309000 | #Constraints: 23310
2565.30/2571.70 c #Conflicts: 310000 | #Constraints: 24310
2565.30/2571.70 c INPROCESSING
2565.30/2571.70 c GARBAGE COLLECT
2565.30/2571.70 c #Conflicts: 311000 | #Constraints: 14312
2565.30/2571.70 c #Conflicts: 312000 | #Constraints: 15312
2565.30/2571.70 c #Conflicts: 313000 | #Constraints: 16312
2565.30/2571.70 c #Conflicts: 314000 | #Constraints: 17312
2565.30/2571.70 c #Conflicts: 315000 | #Constraints: 18312
2565.30/2571.70 c #Conflicts: 316000 | #Constraints: 19312
2565.30/2571.70 c #Conflicts: 317000 | #Constraints: 20312
2565.30/2571.70 c #Conflicts: 318000 | #Constraints: 21312
2565.30/2571.70 c #Conflicts: 319000 | #Constraints: 22312
2565.30/2571.70 c #Conflicts: 320000 | #Constraints: 23312
2565.30/2571.70 c #Conflicts: 321000 | #Constraints: 24312
2565.30/2571.70 c INPROCESSING
2565.30/2571.70 c GARBAGE COLLECT
2565.30/2571.70 c #Conflicts: 322000 | #Constraints: 14121
2565.30/2571.70 c #Conflicts: 323000 | #Constraints: 15121
2565.30/2571.70 c #Conflicts: 324000 | #Constraints: 16121
2565.30/2571.70 c #Conflicts: 325000 | #Constraints: 17121
2565.30/2571.70 c #Conflicts: 326000 | #Constraints: 18121
2565.30/2571.70 c #Conflicts: 327000 | #Constraints: 19121
2565.30/2571.70 c #Conflicts: 328000 | #Constraints: 20121
2565.30/2571.70 c #Conflicts: 329000 | #Constraints: 21121
2565.30/2571.70 c #Conflicts: 330000 | #Constraints: 22121
2565.30/2571.70 c #Conflicts: 331000 | #Constraints: 23121
2565.30/2571.70 c #Conflicts: 332000 | #Constraints: 24121
2565.30/2571.70 c #Conflicts: 333000 | #Constraints: 25121
2565.30/2571.70 c INPROCESSING
2565.30/2571.70 c GARBAGE COLLECT
2565.30/2571.70 c #Conflicts: 334000 | #Constraints: 14724
2565.30/2571.70 c #Conflicts: 335000 | #Constraints: 15724
2565.30/2571.70 c #Conflicts: 336000 | #Constraints: 16724
2565.30/2571.70 c #Conflicts: 337000 | #Constraints: 17724
3158.73/3166.65 c #Conflicts: 338000 | #Constraints: 18724
3158.73/3166.65 c #Conflicts: 339000 | #Constraints: 19724
3158.73/3166.65 c #Conflicts: 340000 | #Constraints: 20724
3158.73/3166.65 c #Conflicts: 341000 | #Constraints: 21724
3158.73/3166.65 c #Conflicts: 342000 | #Constraints: 22724
3158.73/3166.65 c #Conflicts: 343000 | #Constraints: 23724
3158.73/3166.65 c #Conflicts: 344000 | #Constraints: 24724
3158.73/3166.65 c #Conflicts: 345000 | #Constraints: 25724
3158.73/3166.65 c INPROCESSING
3158.73/3166.65 c GARBAGE COLLECT
3158.73/3166.65 c #Conflicts: 346000 | #Constraints: 15141
3158.73/3166.65 c #Conflicts: 347000 | #Constraints: 16141
3158.73/3166.65 c #Conflicts: 348000 | #Constraints: 17141
3158.73/3166.65 c #Conflicts: 349000 | #Constraints: 18141
3158.73/3166.65 c #Conflicts: 350000 | #Constraints: 19141
3158.73/3166.65 c #Conflicts: 351000 | #Constraints: 20141
3158.73/3166.65 c #Conflicts: 352000 | #Constraints: 21141
3158.73/3166.65 c #Conflicts: 353000 | #Constraints: 22141
3158.73/3166.65 c #Conflicts: 354000 | #Constraints: 23141
3158.73/3166.65 c #Conflicts: 355000 | #Constraints: 24141
3158.73/3166.65 c #Conflicts: 356000 | #Constraints: 25141
3158.73/3166.65 c #Conflicts: 357000 | #Constraints: 26141
3158.73/3166.65 c INPROCESSING
3158.73/3166.65 c GARBAGE COLLECT
3158.73/3166.65 c #Conflicts: 358000 | #Constraints: 15341
3158.73/3166.65 c #Conflicts: 359000 | #Constraints: 16341
3158.73/3166.65 c #Conflicts: 360000 | #Constraints: 17341
3158.73/3166.65 c #Conflicts: 361000 | #Constraints: 18341
3158.73/3166.65 c #Conflicts: 362000 | #Constraints: 19341
3158.73/3166.65 c #Conflicts: 363000 | #Constraints: 20341
3158.73/3166.65 c #Conflicts: 364000 | #Constraints: 21341
3158.73/3166.65 c #Conflicts: 365000 | #Constraints: 22341
3158.73/3166.65 c #Conflicts: 366000 | #Constraints: 23341
3158.73/3166.65 c #Conflicts: 367000 | #Constraints: 24341
3158.73/3166.65 c #Conflicts: 368000 | #Constraints: 25341
3158.73/3166.65 c #Conflicts: 369000 | #Constraints: 26341
3158.73/3166.65 c INPROCESSING
3158.73/3166.65 c GARBAGE COLLECT
3158.73/3166.65 c #Conflicts: 370000 | #Constraints: 15344
3158.73/3166.65 c #Conflicts: 371000 | #Constraints: 16344
3158.73/3166.65 c #Conflicts: 372000 | #Constraints: 17344
3158.73/3166.65 c #Conflicts: 373000 | #Constraints: 18344
3158.73/3166.65 c #Conflicts: 374000 | #Constraints: 19344
3158.73/3166.65 c #Conflicts: 375000 | #Constraints: 20344
3158.73/3166.65 c #Conflicts: 376000 | #Constraints: 21344
3158.73/3166.65 c #Conflicts: 377000 | #Constraints: 22344
3158.73/3166.65 c #Conflicts: 378000 | #Constraints: 23344
3158.73/3166.65 c #Conflicts: 379000 | #Constraints: 24344
3158.73/3166.65 c #Conflicts: 380000 | #Constraints: 25344
3158.73/3166.65 c #Conflicts: 381000 | #Constraints: 26344
3158.73/3166.65 c INPROCESSING
3158.73/3166.65 c GARBAGE COLLECT
3158.73/3166.65 c #Conflicts: 382000 | #Constraints: 15127
3158.73/3166.65 c #Conflicts: 383000 | #Constraints: 16127
3158.73/3166.65 c #Conflicts: 384000 | #Constraints: 17127
3158.73/3166.65 c #Conflicts: 385000 | #Constraints: 18127
3158.73/3166.65 c #Conflicts: 386000 | #Constraints: 19127
3158.73/3166.65 c #Conflicts: 387000 | #Constraints: 20127
3158.73/3166.65 c #Conflicts: 388000 | #Constraints: 21127
3158.73/3166.65 c #Conflicts: 389000 | #Constraints: 22127
3158.73/3166.65 c #Conflicts: 390000 | #Constraints: 23127
3158.73/3166.65 c #Conflicts: 391000 | #Constraints: 24127
3158.73/3166.65 c #Conflicts: 392000 | #Constraints: 25127
3158.73/3166.65 c #Conflicts: 393000 | #Constraints: 26127
3158.73/3166.65 c #Conflicts: 394000 | #Constraints: 27127
3158.73/3166.65 c INPROCESSING
3158.73/3166.65 c GARBAGE COLLECT
3158.73/3166.65 c #Conflicts: 395000 | #Constraints: 15743
3158.73/3166.65 c #Conflicts: 396000 | #Constraints: 16743
3158.73/3166.65 c #Conflicts: 397000 | #Constraints: 17743
3158.73/3166.65 c #Conflicts: 398000 | #Constraints: 18743
3158.73/3166.65 c #Conflicts: 399000 | #Constraints: 19743
3158.73/3166.65 c #Conflicts: 400000 | #Constraints: 20743
3158.73/3166.65 c #Conflicts: 401000 | #Constraints: 21743
3158.73/3166.65 c #Conflicts: 402000 | #Constraints: 22743
3158.73/3166.65 c #Conflicts: 403000 | #Constraints: 23743
3158.73/3166.65 c #Conflicts: 404000 | #Constraints: 24743
3158.73/3166.65 c #Conflicts: 405000 | #Constraints: 25743
3158.73/3166.65 c #Conflicts: 406000 | #Constraints: 26743
3158.73/3166.65 c #Conflicts: 407000 | #Constraints: 27743
3158.73/3166.65 c INPROCESSING
3158.73/3166.65 c GARBAGE COLLECT
3158.73/3166.65 c #Conflicts: 408000 | #Constraints: 16146
3158.73/3166.65 c #Conflicts: 409000 | #Constraints: 17146
3158.73/3166.65 c #Conflicts: 410000 | #Constraints: 18146
3158.73/3166.65 c #Conflicts: 411000 | #Constraints: 19146
3158.73/3166.65 c #Conflicts: 412000 | #Constraints: 20146
3600.01/3609.00 c #Conflicts: 413000 | #Constraints: 21146
3600.01/3609.00 c #Conflicts: 414000 | #Constraints: 22146
3600.01/3609.00 c #Conflicts: 415000 | #Constraints: 23146
3600.01/3609.00 c #Conflicts: 416000 | #Constraints: 24146
3600.01/3609.00 c #Conflicts: 417000 | #Constraints: 25146
3600.01/3609.00 c #Conflicts: 418000 | #Constraints: 26146
3600.01/3609.00 c #Conflicts: 419000 | #Constraints: 27146
3600.01/3609.00 c #Conflicts: 420000 | #Constraints: 28146
3600.01/3609.00 c INPROCESSING
3600.01/3609.00 c GARBAGE COLLECT
3600.01/3609.00 c #Conflicts: 421000 | #Constraints: 16345
3600.01/3609.00 c #Conflicts: 422000 | #Constraints: 17345
3600.01/3609.00 c #Conflicts: 423000 | #Constraints: 18345
3600.01/3609.00 c #Conflicts: 424000 | #Constraints: 19345
3600.01/3609.00 c #Conflicts: 425000 | #Constraints: 20345
3600.01/3609.00 c #Conflicts: 426000 | #Constraints: 21345
3600.01/3609.00 c #Conflicts: 427000 | #Constraints: 22345
3600.01/3609.00 c #Conflicts: 428000 | #Constraints: 23345
3600.01/3609.00 c #Conflicts: 429000 | #Constraints: 24345
3600.01/3609.00 c #Conflicts: 430000 | #Constraints: 25345
3600.01/3609.00 c #Conflicts: 431000 | #Constraints: 26345
3600.01/3609.00 c #Conflicts: 432000 | #Constraints: 27345
3600.01/3609.00 c #Conflicts: 433000 | #Constraints: 28345
3600.01/3609.00 c INPROCESSING
3600.01/3609.00 c GARBAGE COLLECT
3600.01/3609.00 c #Conflicts: 434000 | #Constraints: 16345
3600.01/3609.00 c #Conflicts: 435000 | #Constraints: 17345
3600.01/3609.00 c #Conflicts: 436000 | #Constraints: 18345
3600.01/3609.00 c #Conflicts: 437000 | #Constraints: 19345
3600.01/3609.00 c #Conflicts: 438000 | #Constraints: 20345
3600.01/3609.00 c #Conflicts: 439000 | #Constraints: 21345
3600.01/3609.00 c #Conflicts: 440000 | #Constraints: 22345
3600.01/3609.00 c #Conflicts: 441000 | #Constraints: 23345
3600.01/3609.00 c #Conflicts: 442000 | #Constraints: 24345
3600.01/3609.00 c #Conflicts: 443000 | #Constraints: 25345
3600.01/3609.00 c #Conflicts: 444000 | #Constraints: 26345
3600.01/3609.00 c #Conflicts: 445000 | #Constraints: 27345
3600.01/3609.00 c #Conflicts: 446000 | #Constraints: 28345
3600.01/3609.00 c INPROCESSING
3600.01/3609.00 c GARBAGE COLLECT
3600.01/3609.00 c #Conflicts: 447000 | #Constraints: 16136
3600.01/3609.00 c #Conflicts: 448000 | #Constraints: 17136
3600.01/3609.00 c #Conflicts: 449000 | #Constraints: 18136
3600.01/3609.00 c Program interrupted by user.
3600.01/3609.00 c cpu time 3575.96 s
3600.01/3609.00 c deterministic time 464395846210 4.64e+11
3600.01/3609.00 c optimization time 13.0665 s
3600.01/3609.00 c total solve time 3263.52 s
3600.01/3609.00 c core-guided solve time 3263.52 s
3600.01/3609.00 c propagation time 1947.49 s
3600.01/3609.00 c conflict analysis time 926.406 s
3600.01/3609.00 c propagations 387610297
3600.01/3609.00 c resolve steps 1089638
3600.01/3609.00 c decisions 31299424
3600.01/3609.00 c conflicts 449143
3600.01/3609.00 c restarts 1021
3600.01/3609.00 c inprocessing phases 58
3600.01/3609.00 c input clauses 2462
3600.01/3609.00 c input cardinalities 1
3600.01/3609.00 c input general constraints 347
3600.01/3609.00 c input average constraint length 1943.17
3600.01/3609.00 c input average constraint degree 47.21
3600.01/3609.00 c learned clauses 94027
3600.01/3609.00 c learned cardinalities 19477
3600.01/3609.00 c learned general constraints 335638
3600.01/3609.00 c learned average constraint length 8209.07
3600.01/3609.00 c learned average constraint degree 648214.92
3600.01/3609.00 c watched constraints 10634
3600.01/3609.00 c counting constraints 325351
3600.01/3609.00 c gcd simplifications 931
3600.01/3609.00 c detected cardinalities 238
3600.01/3609.00 c weakened non-implied lits 1164448036
3600.01/3609.00 c weakened non-implying lits 2189
3600.01/3609.00 c original variables 15284
3600.01/3609.00 c clausal propagations 1710311
3600.01/3609.00 c cardinality propagations 2927371
3600.01/3609.00 c watched propagations 397441
3600.01/3609.00 c counting propagations 359338484
3600.01/3609.00 c watch lookups 11035783160
3600.01/3609.00 c watch backjump lookups 10378997373
3600.01/3609.00 c watch checks 5383658503
3600.01/3609.00 c propagation checks 427615393075
3600.01/3609.00 c constraint additions 9143758704
3600.01/3609.00 c trail pops 419345673
3600.01/3609.00 c formula constraints 2462
3600.01/3609.00 c learned constraints 449142
3600.01/3609.00 c bound constraints 347
3600.01/3609.00 c core-guided constraints 1
3600.01/3609.00 c encountered formula constraints 631260
3600.01/3609.00 c encountered learned constraints 907476
3600.01/3609.00 c encountered bound constraints 45
3600.01/3609.00 c encountered core-guided constraints 0
3600.01/3609.00 c LP total time 0 s
3600.01/3609.00 c LP solve time 0 s
3600.01/3609.00 c LP constraints added 0
3600.01/3609.00 c LP constraints removed 0
3600.01/3609.00 c LP pivots internal 0
3600.01/3609.00 c LP pivots root 0
3600.01/3609.00 c LP calls 0
3600.01/3609.00 c LP optimalities 0
3600.01/3609.00 c LP no pivot count 0
3600.01/3609.00 c LP infeasibilities 0
3600.01/3609.00 c LP valid Farkas constraints 0
3600.01/3609.00 c LP learned Farkas constraints 0
3600.01/3609.00 c LP basis resets 0
3600.01/3609.00 c LP cycling count 0
3600.01/3609.00 c LP singular count 0
3600.01/3609.00 c LP no primal count 0
3600.01/3609.00 c LP no farkas count 0
3600.01/3609.00 c LP other issue count 0
3600.01/3609.00 c LP Gomory cuts 0
3600.01/3609.00 c LP learned cuts 0
3600.01/3609.00 c LP deleted cuts 0
3600.01/3609.00 c LP encountered Gomory constraints 0
3600.01/3609.00 c LP encountered Farkas constraints 0
3600.01/3609.00 c LP encountered learned Farkas constraints 0
3600.01/3609.00 c CG auxiliary variables introduced 1
3600.01/3609.00 c CG solutions found 0
3600.01/3609.00 c CG cores constructed 346
3600.01/3609.00 c CG core cardinality constraints returned 0
3600.01/3609.00 c CG unit cores 0
3600.01/3609.00 c CG single cores 346
3600.01/3609.00 c CG blocks removed during cardinality reduction 0
3600.01/3609.00 c CG first core best 0
3600.01/3609.00 c CG decision core best 0
3600.01/3609.00 c CG core reduction tie 0
3600.01/3609.00 c CG core degree average 1.00
3600.01/3609.00 c CG core slack average 43.27
3600.01/3609.00 c CG exhausted 0
3600.01/3609.00 c CG exhaust time 0 s
3600.01/3609.00 c CG trimmed 45
3600.01/3609.00 c CG trim time 0.154724 s
3600.01/3609.00 c CG minimized 0
3600.01/3609.00 c CG minimize time 0 s
3600.01/3609.00 c CG am1 prop time 0.01952 s
3600.01/3609.00 c CG # am1s reformulated 1
3600.01/3609.00 c CG lower bound derived from am1s 2
3600.01/3609.00 c CG # clausal cores 346
3600.01/3609.00 c CG # cardinality cores 0
3600.01/3609.00 c CG # pb cores 0
3600.01/3609.00 c CG # pb reforms 0
3600.01/3609.00 c CG # cores discarded because of pb reform 0
3600.01/3609.00 d LOWERBOUND 496
3600.01/3609.00 d NCORES 346
3600.01/3609.00 d NPBCORES 0
3600.01/3609.00 d NPBREFORM 0
3600.01/3609.00 d NTRIMMED 45
3600.01/3609.00 d NEXHAUSTED 0
3600.01/3609.00 d NAM1S 1
3600.01/3609.00 d AM1LB 2
3600.01/3609.00 c [Papilo Statistics]
3600.01/3609.00 c prepro time 0.0273159s
3600.01/3609.00 c # tsx applied 39
3600.01/3609.00 c # tsx conflicts 0
3600.01/3609.00 c # bound changes 5
3600.01/3609.00 c # side changes 0
3600.01/3609.00 c # coef changes 0
3600.01/3609.00 c # rounds 2
3600.01/3609.00 c # deted vars 6
3600.01/3609.00 c # deted constrs 75
3600.01/3609.00 c # consecutive rounds of only bound changes 0
3600.12/3609.10 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: 63665 MiB (61728 MiB free)
memory of node 1: 64507 MiB (62291 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485587-1751287225/watcher-4485587-1751287225 -o /tmp/evaluation-result-4485587-1751287225/solver-4485587-1751287225 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751279693-38724 --watchdog 3760 mixed-bag HOME/instance-4485587-1751287225.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=40161, runsolver pid=40158
[startup+0.100064 s]*
/proc/loadavg: 4.11 4.10 4.09 5/266 40162
/proc/meminfo: memFree=126989212/131249996 swapFree=33010684/33010684
[pid=40161] ppid=40158 vsize=95508 memory=19240 CPUtime=0.09 cores=4,6
/proc/40161/stat : 40161 (mixed-bag) R 40158 40161 38713 0 -1 4194304 3973 0 0 0 9 0 0 0 20 0 1 0 44400312 97800192 4810 18446744073709551615 4235264 15874749 140731322374576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 29126656 140731322378652 140731322378729 140731322378729 140731322384331 0
/proc/40161/statm: 23877 4810 2112 2842 0 6110 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 95508 KiB
Current children cumulated memory: 19240 KiB
[startup+0.20564 s]*
/proc/loadavg: 4.11 4.10 4.09 5/266 40162
/proc/meminfo: memFree=126941584/131249996 swapFree=33010684/33010684
[pid=40161] ppid=40158 vsize=158592 memory=83116 CPUtime=0.19 cores=4,6
/proc/40161/stat : 40161 (mixed-bag) R 40158 40161 38713 0 -1 4194304 17206 0 0 0 17 2 0 0 20 0 1 0 44400312 162398208 20779 18446744073709551615 4235264 15874749 140731322374576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 29126656 140731322378652 140731322378729 140731322378729 140731322384331 0
/proc/40161/statm: 39685 20779 3936 2842 0 21379 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 158592 KiB
Current children cumulated memory: 83116 KiB
[startup+0.305512 s]*
/proc/loadavg: 4.11 4.10 4.09 5/266 40162
/proc/meminfo: memFree=126909328/131249996 swapFree=33010684/33010684
[pid=40161] ppid=40158 vsize=195472 memory=116440 CPUtime=0.29 cores=4,6
/proc/40161/stat : 40161 (mixed-bag) R 40158 40161 38713 0 -1 4194304 24455 0 0 0 25 4 0 0 20 0 1 0 44400312 200163328 29110 18446744073709551615 4235264 15874749 140731322374576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 29126656 140731322378652 140731322378729 140731322378729 140731322384331 0
/proc/40161/statm: 48868 29110 4000 2842 0 30562 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 195472 KiB
Current children cumulated memory: 116440 KiB
[startup+0.700171 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 40162
/proc/meminfo: memFree=126901264/131249996 swapFree=33010684/33010684
[pid=40161] ppid=40158 vsize=188924 memory=109992 CPUtime=0.68 cores=4,6
/proc/40161/stat : 40161 (mixed-bag) R 40158 40161 38713 0 -1 4194304 26425 0 0 0 64 4 0 0 20 0 1 0 44400312 193458176 27498 18446744073709551615 4235264 15874749 140731322374576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 29126656 140731322378652 140731322378729 140731322378729 140731322384331 0
/proc/40161/statm: 47231 27498 4032 2842 0 28925 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 188924 KiB
Current children cumulated memory: 109992 KiB
[startup+1.50017 s]
/proc/loadavg: 4.10 4.10 4.09 5/266 40162
/proc/meminfo: memFree=126897484/131249996 swapFree=33010684/33010684
[pid=40161] ppid=40158 vsize=321220 memory=205416 CPUtime=1.48 cores=4,6
/proc/40161/stat : 40161 (mixed-bag) R 40158 40161 38713 0 -1 4194304 52607 0 0 0 140 8 0 0 20 0 1 0 44400312 328929280 51354 18446744073709551615 4235264 15874749 140731322374576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 29126656 140731322378652 140731322378729 140731322378729 140731322384331 0
/proc/40161/statm: 80305 51354 4256 2842 0 61999 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 321220 KiB
Current children cumulated memory: 205416 KiB
[startup+3.10538 s]
/proc/loadavg: 4.10 4.10 4.09 5/266 40162
/proc/meminfo: memFree=126817348/131249996 swapFree=33010684/33010684
[pid=40161] ppid=40158 vsize=321540 memory=205800 CPUtime=3.08 cores=4,6
/proc/40161/stat : 40161 (mixed-bag) R 40158 40161 38713 0 -1 4194304 52698 0 0 0 300 8 0 0 20 0 1 0 44400312 329256960 51450 18446744073709551615 4235264 15874749 140731322374576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 29126656 140731322378652 140731322378729 140731322378729 140731322384331 0
/proc/40161/statm: 80385 51450 4256 2842 0 62079 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 321540 KiB
Current children cumulated memory: 205800 KiB
[startup+6.30016 s]
/proc/loadavg: 4.09 4.09 4.09 5/266 40162
/proc/meminfo: memFree=126809440/131249996 swapFree=33010684/33010684
[pid=40161] ppid=40158 vsize=322020 memory=206184 CPUtime=6.27 cores=4,6
/proc/40161/stat : 40161 (mixed-bag) R 40158 40161 38713 0 -1 4194304 52790 0 0 0 619 8 0 0 20 0 1 0 44400312 329748480 51546 18446744073709551615 4235264 15874749 140731322374576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 29126656 140731322378652 140731322378729 140731322378729 140731322384331 0
/proc/40161/statm: 80505 51546 4256 2842 0 62199 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 322020 KiB
Current children cumulated memory: 206184 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.09 4.09 5/266 40162
/proc/meminfo: memFree=126793816/131249996 swapFree=33010684/33010684
[pid=40161] ppid=40158 vsize=349028 memory=230120 CPUtime=12.64 cores=4,6
/proc/40161/stat : 40161 (mixed-bag) R 40158 40161 38713 0 -1 4194304 58839 0 0 0 1256 8 0 0 20 0 1 0 44400312 357404672 57530 18446744073709551615 4235264 15874749 140731322374576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 29126656 140731322378652 140731322378729 140731322378729 140731322384331 0
/proc/40161/statm: 87257 57530 4256 2842 0 68951 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 349028 KiB
Current children cumulated memory: 230120 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.10 4.09 5/266 40162
/proc/meminfo: memFree=126765272/131249996 swapFree=33010684/33010684
[pid=40161] ppid=40158 vsize=352304 memory=232552 CPUtime=25.41 cores=4,6
/proc/40161/stat : 40161 (mixed-bag) R 40158 40161 38713 0 -1 4194304 59458 0 0 0 2533 8 0 0 20 0 1 0 44400312 360759296 58138 18446744073709551615 4235264 15874749 140731322374576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 29126656 140731322378652 140731322378729 140731322378729 140731322384331 0
/proc/40161/statm: 88076 58138 4256 2842 0 69770 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 352304 KiB
Current children cumulated memory: 232552 KiB
[startup+51.1054 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 40163
/proc/meminfo: memFree=126621600/131249996 swapFree=33010684/33010684
[pid=40161] ppid=40158 vsize=408888 memory=289000 CPUtime=50.95 cores=4,6
/proc/40161/stat : 40161 (mixed-bag) R 40158 40161 38713 0 -1 4194304 73579 0 0 0 5085 10 0 0 20 0 1 0 44400312 418701312 72250 18446744073709551615 4235264 15874749 140731322374576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 29126656 140731322378652 140731322378729 140731322378729 140731322384331 0
/proc/40161/statm: 102222 72250 4256 2842 0 83916 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 408888 KiB
Current children cumulated memory: 289000 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/265 40164
/proc/meminfo: memFree=126580696/131249996 swapFree=33010684/33010684
[pid=40161] ppid=40158 vsize=401408 memory=283572 CPUtime=102.02 cores=4,6
/proc/40161/stat : 40161 (mixed-bag) R 40158 40161 38713 0 -1 4194304 75763 0 0 0 10191 11 0 0 20 0 1 0 44400312 411041792 70893 18446744073709551615 4235264 15874749 140731322374576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 29126656 140731322378652 140731322378729 140731322378729 140731322384331 0
/proc/40161/statm: 100352 70893 4256 2842 0 82046 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 401408 KiB
Current children cumulated memory: 283572 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 40166
/proc/meminfo: memFree=126534468/131249996 swapFree=33010684/33010684
[pid=40161] ppid=40158 vsize=401408 memory=283572 CPUtime=161.87 cores=4,6
/proc/40161/stat : 40161 (mixed-bag) R 40158 40161 38713 0 -1 4194304 75767 0 0 0 16176 11 0 0 20 0 1 0 44400312 411041792 70893 18446744073709551615 4235264 15874749 140731322374576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 29126656 140731322378652 140731322378729 140731322378729 140731322384331 0
/proc/40161/statm: 100352 70893 4256 2842 0 82046 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 401408 KiB
Current children cumulated memory: 283572 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/265 40169
/proc/meminfo: memFree=126424732/131249996 swapFree=33010684/33010684
[pid=40161] ppid=40158 vsize=401408 memory=283572 CPUtime=221.72 cores=4,6
/proc/40161/stat : 40161 (mixed-bag) R 40158 40161 38713 0 -1 4194304 75781 0 0 0 22161 11 0 0 20 0 1 0 44400312 411041792 70893 18446744073709551615 4235264 15874749 140731322374576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 29126656 140731322378652 140731322378729 140731322378729 140731322384331 0
/proc/40161/statm: 100352 70893 4256 2842 0 82046 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 401408 KiB
Current children cumulated memory: 283572 KiB
[startup+282.3 s]
/proc/loadavg: 4.45 4.19 4.12 5/264 40171
/proc/meminfo: memFree=125827260/131249996 swapFree=33010684/33010684
[pid=40161] ppid=40158 vsize=425760 memory=306612 CPUtime=281.56 cores=4,6
/proc/40161/stat : 40161 (mixed-bag) R 40158 40161 38713 0 -1 4194304 81549 0 0 0 28144 12 0 0 20 0 1 0 44400312 435978240 76653 18446744073709551615 4235264 15874749 140731322374576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 29126656 140731322378652 140731322378729 140731322378729 140731322384331 0
/proc/40161/statm: 106440 76653 4256 2842 0 88134 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 425760 KiB
Current children cumulated memory: 306612 KiB
[startup+342.3 s]
/proc/loadavg: 4.22 4.17 4.11 5/264 40173
/proc/meminfo: memFree=124910924/131249996 swapFree=33010684/33010684
[pid=40161] ppid=40158 vsize=793096 memory=596556 CPUtime=341.41 cores=4,6
/proc/40161/stat : 40161 (mixed-bag) R 40158 40161 38713 0 -1 4194304 100657 0 0 0 33901 240 0 0 20 0 1 0 44400312 812130304 149139 18446744073709551615 4235264 15874749 140731322374576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 29126656 140731322378652 140731322378729 140731322378729 140731322384331 0
/proc/40161/statm: 198322 149139 4448 2842 0 180016 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 793096 KiB
Current children cumulated memory: 596556 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/264 40175
/proc/meminfo: memFree=123995260/131249996 swapFree=33010684/33010684
[pid=40161] ppid=40158 vsize=1531188 memory=1300852 CPUtime=401.27 cores=4,6
/proc/40161/stat : 40161 (mixed-bag) R 40158 40161 38713 0 -1 4194304 217972 0 0 0 39738 389 0 0 20 0 1 0 44400312 1567936512 325213 18446744073709551615 4235264 15874749 140731322374576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 29126656 140731322378652 140731322378729 140731322378729 140731322384331 0
/proc/40161/statm: 382797 325213 4448 2842 0 364491 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 1531188 KiB
Current children cumulated memory: 1300852 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/263 40177
/proc/meminfo: memFree=123749900/131249996 swapFree=33010684/33010684
[pid=40161] ppid=40158 vsize=1636848 memory=1462008 CPUtime=461.13 cores=4,6
/proc/40161/stat : 40161 (mixed-bag) R 40158 40161 38713 0 -1 4194304 243951 0 0 0 45652 461 0 0 20 0 1 0 44400312 1676132352 365502 18446744073709551615 4235264 15874749 140731322374576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 29126656 140731322378652 140731322378729 140731322378729 140731322384331 0
/proc/40161/statm: 409212 365502 4448 2842 0 390906 0
################
# More data... #
################
Current children cumulated memory: 4423920 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/264 40304
/proc/meminfo: memFree=116791484/131249996 swapFree=33010684/33010684
[pid=40161] ppid=40158 vsize=5935968 memory=4423920 CPUtime=2915.03 cores=4,6
/proc/40161/stat : 40161 (mixed-bag) R 40158 40161 38713 0 -1 4194304 723779 0 0 0 289330 2173 0 0 20 0 1 0 44400312 6078431232 1105980 18446744073709551615 4235264 15874749 140731322374576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 29126656 140731322378652 140731322378729 140731322378729 140731322384331 0
/proc/40161/statm: 1483992 1105980 4448 2842 0 1465686 0
Current children cumulated CPU time: 2915.03 s
Current children cumulated vsize: 5935968 KiB
Current children cumulated memory: 4423920 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/263 40308
/proc/meminfo: memFree=116784388/131249996 swapFree=33010684/33010684
[pid=40161] ppid=40158 vsize=5935968 memory=4427888 CPUtime=2974.88 cores=4,6
/proc/40161/stat : 40161 (mixed-bag) R 40158 40161 38713 0 -1 4194304 724780 0 0 0 295259 2229 0 0 20 0 1 0 44400312 6078431232 1106972 18446744073709551615 4235264 15874749 140731322374576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 29126656 140731322378652 140731322378729 140731322378729 140731322384331 0
/proc/40161/statm: 1483992 1106972 4448 2842 0 1465686 0
Current children cumulated CPU time: 2974.88 s
Current children cumulated vsize: 5935968 KiB
Current children cumulated memory: 4427888 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 40315
/proc/meminfo: memFree=116617596/131249996 swapFree=33010684/33010684
[pid=40161] ppid=40158 vsize=6068328 memory=4541168 CPUtime=3034.73 cores=4,6
/proc/40161/stat : 40161 (mixed-bag) R 40158 40161 38713 0 -1 4194304 753145 0 0 0 301217 2256 0 0 20 0 1 0 44400312 6213967872 1135292 18446744073709551615 4235264 15874749 140731322374576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 29126656 140731322378652 140731322378729 140731322378729 140731322384331 0
/proc/40161/statm: 1517082 1135292 4448 2842 0 1498776 0
Current children cumulated CPU time: 3034.73 s
Current children cumulated vsize: 6068328 KiB
Current children cumulated memory: 4541168 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/264 40317
/proc/meminfo: memFree=116319380/131249996 swapFree=33010684/33010684
[pid=40161] ppid=40158 vsize=6068328 memory=4542832 CPUtime=3094.59 cores=4,6
/proc/40161/stat : 40161 (mixed-bag) R 40158 40161 38713 0 -1 4194304 753565 0 0 0 307167 2292 0 0 20 0 1 0 44400312 6213967872 1135708 18446744073709551615 4235264 15874749 140731322374576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 29126656 140731322378652 140731322378729 140731322378729 140731322384331 0
/proc/40161/statm: 1517082 1135708 4448 2842 0 1498776 0
Current children cumulated CPU time: 3094.59 s
Current children cumulated vsize: 6068328 KiB
Current children cumulated memory: 4542832 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.14 4.09 5/264 40319
/proc/meminfo: memFree=116011184/131249996 swapFree=33010684/33010684
[pid=40161] ppid=40158 vsize=6105708 memory=4604460 CPUtime=3154.44 cores=4,6
/proc/40161/stat : 40161 (mixed-bag) R 40158 40161 38713 0 -1 4194304 763391 0 0 0 313114 2330 0 0 20 0 1 0 44400312 6252244992 1151115 18446744073709551615 4235264 15874749 140731322374576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 29126656 140731322378652 140731322378729 140731322378729 140731322384331 0
/proc/40161/statm: 1526427 1151115 4448 2842 0 1508121 0
Current children cumulated CPU time: 3154.44 s
Current children cumulated vsize: 6105708 KiB
Current children cumulated memory: 4604460 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 40321
/proc/meminfo: memFree=115978316/131249996 swapFree=33010684/33010684
[pid=40161] ppid=40158 vsize=6105708 memory=4604588 CPUtime=3214.29 cores=4,6
/proc/40161/stat : 40161 (mixed-bag) R 40158 40161 38713 0 -1 4194304 763443 0 0 0 319088 2341 0 0 20 0 1 0 44400312 6252244992 1151147 18446744073709551615 4235264 15874749 140731322374576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 29126656 140731322378652 140731322378729 140731322378729 140731322384331 0
/proc/40161/statm: 1526427 1151147 4448 2842 0 1508121 0
Current children cumulated CPU time: 3214.29 s
Current children cumulated vsize: 6105708 KiB
Current children cumulated memory: 4604588 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.13 4.09 5/264 40323
/proc/meminfo: memFree=115722360/131249996 swapFree=33010684/33010684
[pid=40161] ppid=40158 vsize=6165360 memory=4709184 CPUtime=3274.14 cores=4,6
/proc/40161/stat : 40161 (mixed-bag) R 40158 40161 38713 0 -1 4194304 774315 0 0 0 325061 2353 0 0 20 0 1 0 44400312 6313328640 1177296 18446744073709551615 4235264 15874749 140731322374576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 29126656 140731322378652 140731322378729 140731322378729 140731322384331 0
/proc/40161/statm: 1541340 1177296 4448 2842 0 1523034 0
Current children cumulated CPU time: 3274.14 s
Current children cumulated vsize: 6165360 KiB
Current children cumulated memory: 4709184 KiB
[startup+3342.3 s]
/proc/loadavg: 3.33 3.94 4.03 3/251 40386
/proc/meminfo: memFree=119243728/131249996 swapFree=33010684/33010684
[pid=40161] ppid=40158 vsize=6165360 memory=4709184 CPUtime=3333.98 cores=4,6
/proc/40161/stat : 40161 (mixed-bag) R 40158 40161 38713 0 -1 4194304 774323 0 0 0 331036 2362 0 0 20 0 1 0 44400312 6313328640 1177296 18446744073709551615 4235264 15874749 140731322374576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 29126656 140731322378652 140731322378729 140731322378729 140731322384331 0
/proc/40161/statm: 1541340 1177296 4448 2842 0 1523034 0
Current children cumulated CPU time: 3333.98 s
Current children cumulated vsize: 6165360 KiB
Current children cumulated memory: 4709184 KiB
[startup+3402.3 s]
/proc/loadavg: 2.54 3.60 3.91 3/250 40388
/proc/meminfo: memFree=119185752/131249996 swapFree=33010684/33010684
[pid=40161] ppid=40158 vsize=6165360 memory=4709824 CPUtime=3393.82 cores=4,6
/proc/40161/stat : 40161 (mixed-bag) R 40158 40161 38713 0 -1 4194304 774330 0 0 0 337018 2364 0 0 20 0 1 0 44400312 6313328640 1177456 18446744073709551615 4235264 15874749 140731322374576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 29126656 140731322378652 140731322378729 140731322378729 140731322384331 0
/proc/40161/statm: 1541340 1177456 4448 2842 0 1523034 0
Current children cumulated CPU time: 3393.82 s
Current children cumulated vsize: 6165360 KiB
Current children cumulated memory: 4709824 KiB
[startup+3462.3 s]
/proc/loadavg: 2.31 3.34 3.80 3/250 40390
/proc/meminfo: memFree=119119084/131249996 swapFree=33010684/33010684
[pid=40161] ppid=40158 vsize=6165616 memory=4710464 CPUtime=3453.67 cores=4,6
/proc/40161/stat : 40161 (mixed-bag) R 40158 40161 38713 0 -1 4194304 774477 0 0 0 342999 2368 0 0 20 0 1 0 44400312 6313590784 1177616 18446744073709551615 4235264 15874749 140731322374576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 29126656 140731322378652 140731322378729 140731322378729 140731322384331 0
/proc/40161/statm: 1541404 1177616 4448 2842 0 1523098 0
Current children cumulated CPU time: 3453.67 s
Current children cumulated vsize: 6165616 KiB
Current children cumulated memory: 4710464 KiB
[startup+3522.3 s]
/proc/loadavg: 2.18 3.11 3.69 3/251 40393
/proc/meminfo: memFree=118979700/131249996 swapFree=33010684/33010684
[pid=40161] ppid=40158 vsize=6166896 memory=4711744 CPUtime=3513.53 cores=4,6
/proc/40161/stat : 40161 (mixed-bag) R 40158 40161 38713 0 -1 4194304 774815 0 0 0 348974 2379 0 0 20 0 1 0 44400312 6314901504 1177936 18446744073709551615 4235264 15874749 140731322374576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 29126656 140731322378652 140731322378729 140731322378729 140731322384331 0
/proc/40161/statm: 1541724 1177936 4448 2842 0 1523418 0
Current children cumulated CPU time: 3513.53 s
Current children cumulated vsize: 6166896 KiB
Current children cumulated memory: 4711744 KiB
[startup+3582.3 s]
/proc/loadavg: 1.66 2.81 3.55 2/246 40429
/proc/meminfo: memFree=124206236/131249996 swapFree=33010684/33010684
[pid=40161] ppid=40158 vsize=6174576 memory=4716864 CPUtime=3573.37 cores=4,6
/proc/40161/stat : 40161 (mixed-bag) R 40158 40161 38713 0 -1 4194304 776103 0 0 0 354941 2396 0 0 20 0 1 0 44400312 6322765824 1179216 18446744073709551615 4235264 15874749 140731322374576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 29126656 140731322378652 140731322378729 140731322378729 140731322384331 0
/proc/40161/statm: 1543644 1179216 4448 2842 0 1525338 0
Current children cumulated CPU time: 3573.37 s
Current children cumulated vsize: 6174576 KiB
Current children cumulated memory: 4716864 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 1.49 2.68 3.48 2/246 40430
/proc/meminfo: memFree=124163844/131249996 swapFree=33010684/33010684
[pid=40161] ppid=40158 vsize=6195056 memory=4761892 CPUtime=3600.01 cores=4,6
/proc/40161/stat : 40161 (mixed-bag) R 40158 40161 38713 0 -1 4194304 780262 0 0 0 357595 2406 0 0 20 0 1 0 44400312 6343737344 1190473 18446744073709551615 4235264 15874749 140731322374576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 29126656 140731322378652 140731322378729 140731322378729 140731322384331 0
/proc/40161/statm: 1548764 1190473 4448 2842 0 1530458 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 6195056 KiB
Current children cumulated memory: 4761892 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.15 s]
# the end of solver process 40161 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3575.97 s, system=24.205 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.11 s]
/proc/loadavg: 1.49 2.68 3.48 2/246 40430
/proc/meminfo: memFree=124163844/131249996 swapFree=33010684/33010684
[pid=40161] ppid=40158 vsize=4461700 memory=2738320 CPUtime=3600.12 cores=4,6
/proc/40161/stat : 40161 (mixed-bag) R 40158 40161 38713 0 -1 4194304 780273 0 0 0 357596 2416 0 0 20 0 1 0 44400312 4568780800 685523 18446744073709551615 4235264 15874749 140731322374576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 29126656 140731322378652 140731322378729 140731322378729 140731322384331 0
/proc/40161/statm: 1115425 685053 4576 2842 0 1097119 0
Current children cumulated CPU time: 3600.12 s
Current children cumulated vsize: 4461700 KiB
Current children cumulated memory: 2738320 KiB
Child status: 0
Real time (s): 3609.15
CPU time (s): 3600.17
CPU user time (s): 3575.97
CPU system time (s): 24.205
CPU usage (%): 99.7512
Max. virtual memory (cumulated for all children) (KiB): 6195056
Max. memory (cumulated for all children) (KiB): 4761892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.97
system time used= 24.205
maximum resident set size= 4762404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 780291
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= 192
involuntary context switches= 2730
# summary of solver processes directly reported to runsolver:
# pid: 40161
# total CPU time (s): 3600.17
# total CPU user time (s): 3575.97
# total CPU system time (s): 24.205
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.63491 second user time and 15.6932 second system time
The end
Begin job on nodeC022 at 2025-06-30 14:40:25
IDJOB=4485587
IDBENCH=146803
IDSOLVER=3340
FILE ID=nodeC022/4485587-1751287225
RUNJOBID= nodeC022-1751279693-38724
SLURM_JOB_ID= 9594218
Free space on /tmp= 433004 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-core2536-691.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485587-1751287225/watcher-4485587-1751287225 -o /tmp/evaluation-result-4485587-1751287225/solver-4485587-1751287225 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751279693-38724 --watchdog 3760 mixed-bag HOME/instance-4485587-1751287225.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 03ae34be4b84b00f7c0b95d73cb9483d
RANDOM SEED=1768927125
nodeC022 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.719
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.44
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.625
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.44
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 : 3602.735
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.44
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 : 3700.000
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.44
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.853
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.44
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.713
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.44
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 : 3599.733
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.44
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 : 3700.000
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 126996772 kB
MemAvailable: 127818164 kB
Buffers: 3280 kB
Cached: 1624516 kB
SwapCached: 0 kB
Active: 2267952 kB
Inactive: 1374912 kB
Active(anon): 2033128 kB
Inactive(anon): 0 kB
Active(file): 234824 kB
Inactive(file): 1374912 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 17232 kB
Writeback: 4 kB
AnonPages: 2018188 kB
Mapped: 129896 kB
Shmem: 18060 kB
KReclaimable: 101392 kB
Slab: 188056 kB
SReclaimable: 101392 kB
SUnreclaim: 86664 kB
KernelStack: 4304 kB
PageTables: 7508 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2666076 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 360448 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433048 MiB
End job on nodeC022 at 2025-06-30 15:40:35