Trace number 4528857

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
mixed-bag-2024 2025-07-10? (TO) 3600.23 3610.45

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-core4284-1064.opb
MD5SUM9634c234ec2c2f6b5ee1ba365a629db0
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1073
Best CPU time to get the best result obtained on this benchmark72001.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21705
Total number of constraints4285
Number of constraints which are clauses4284
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint15760
Number of terms in the objective function 21705
Biggest coefficient in the objective function 2
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 37465
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 9256
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 37465
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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.18	c [STEP] preprocessing with Papilo
0.19/0.24	c [STEP] solving with SCIP
299.49/300.33	c [STEP] preprocessing done, loading into solver
299.49/300.37	c [STEP] solving
299.49/300.37	c #variables 21690 #constraints 4123
299.49/300.37	c SMALL=int, LARGE=long long
299.49/300.38	d SCIPUB 1078
299.49/300.38	c bounds - >= 0 @ 299.406
299.49/300.38	c stratification level: 1
300.99/301.80	c bounds - >= 15 @ 299.742
300.99/301.80	c bounds - >= 16 @ 299.745
300.99/301.80	c bounds - >= 18 @ 299.748
300.99/301.80	c bounds - >= 20 @ 299.751
300.99/301.80	c bounds - >= 22 @ 299.753
300.99/301.80	c bounds - >= 23 @ 299.757
300.99/301.80	c bounds - >= 25 @ 299.76
300.99/301.80	c bounds - >= 27 @ 299.763
300.99/301.80	c bounds - >= 29 @ 299.767
300.99/301.80	c bounds - >= 31 @ 299.769
300.99/301.80	c bounds - >= 33 @ 299.772
300.99/301.80	c bounds - >= 35 @ 299.775
300.99/301.80	c bounds - >= 37 @ 299.778
300.99/301.80	c bounds - >= 39 @ 299.781
300.99/301.80	c bounds - >= 41 @ 299.784
300.99/301.80	c bounds - >= 43 @ 299.786
300.99/301.80	c bounds - >= 45 @ 299.79
300.99/301.80	c bounds - >= 47 @ 299.793
300.99/301.80	c bounds - >= 48 @ 299.795
300.99/301.80	c bounds - >= 50 @ 299.797
300.99/301.80	c bounds - >= 52 @ 299.799
300.99/301.80	c bounds - >= 53 @ 299.803
300.99/301.80	c bounds - >= 54 @ 299.807
300.99/301.80	c bounds - >= 55 @ 299.81
300.99/301.80	c bounds - >= 57 @ 299.813
300.99/301.80	c bounds - >= 59 @ 299.817
300.99/301.80	c bounds - >= 61 @ 299.82
300.99/301.80	c bounds - >= 62 @ 299.823
300.99/301.80	c bounds - >= 64 @ 299.825
300.99/301.80	c bounds - >= 66 @ 299.829
300.99/301.80	c bounds - >= 68 @ 299.832
300.99/301.80	c bounds - >= 70 @ 299.836
300.99/301.80	c bounds - >= 72 @ 299.839
300.99/301.80	c bounds - >= 74 @ 299.843
300.99/301.80	c bounds - >= 76 @ 299.846
300.99/301.80	c bounds - >= 78 @ 299.849
300.99/301.80	c bounds - >= 79 @ 299.852
300.99/301.80	c bounds - >= 81 @ 299.854
300.99/301.80	c bounds - >= 83 @ 299.857
300.99/301.80	c bounds - >= 85 @ 299.86
300.99/301.80	c bounds - >= 86 @ 299.863
300.99/301.80	c bounds - >= 88 @ 299.865
300.99/301.80	c bounds - >= 89 @ 299.868
300.99/301.80	c bounds - >= 91 @ 299.872
300.99/301.80	c bounds - >= 93 @ 299.875
300.99/301.80	c bounds - >= 95 @ 299.877
300.99/301.80	c bounds - >= 96 @ 299.88
300.99/301.80	c bounds - >= 97 @ 299.883
300.99/301.80	c bounds - >= 99 @ 299.886
300.99/301.80	c bounds - >= 101 @ 299.889
300.99/301.80	c bounds - >= 103 @ 299.893
300.99/301.80	c bounds - >= 105 @ 299.898
300.99/301.80	c bounds - >= 107 @ 299.901
300.99/301.80	c bounds - >= 109 @ 299.905
300.99/301.80	c bounds - >= 111 @ 299.909
300.99/301.80	c bounds - >= 112 @ 299.914
300.99/301.80	c bounds - >= 113 @ 299.916
300.99/301.80	c bounds - >= 114 @ 299.919
300.99/301.80	c bounds - >= 115 @ 299.922
300.99/301.80	c bounds - >= 117 @ 299.925
300.99/301.80	c bounds - >= 119 @ 299.927
300.99/301.80	c bounds - >= 120 @ 299.931
300.99/301.80	c bounds - >= 122 @ 299.934
300.99/301.80	c bounds - >= 124 @ 299.936
300.99/301.80	c bounds - >= 126 @ 299.939
300.99/301.80	c bounds - >= 128 @ 299.944
300.99/301.80	c bounds - >= 130 @ 299.948
300.99/301.80	c bounds - >= 131 @ 299.951
300.99/301.80	c bounds - >= 133 @ 299.953
300.99/301.80	c bounds - >= 135 @ 299.956
300.99/301.80	c bounds - >= 136 @ 299.961
300.99/301.80	c bounds - >= 138 @ 299.964
300.99/301.80	c bounds - >= 140 @ 299.967
300.99/301.80	c bounds - >= 141 @ 299.973
300.99/301.80	c bounds - >= 142 @ 299.977
300.99/301.80	c bounds - >= 143 @ 299.981
300.99/301.80	c bounds - >= 145 @ 299.984
300.99/301.80	c bounds - >= 147 @ 299.991
300.99/301.80	c bounds - >= 149 @ 299.995
300.99/301.80	c bounds - >= 151 @ 299.999
300.99/301.80	c bounds - >= 152 @ 300.002
300.99/301.80	c bounds - >= 153 @ 300.009
300.99/301.80	c bounds - >= 155 @ 300.014
300.99/301.80	c bounds - >= 157 @ 300.019
300.99/301.80	c bounds - >= 159 @ 300.022
300.99/301.80	c bounds - >= 161 @ 300.025
300.99/301.80	c bounds - >= 163 @ 300.03
300.99/301.80	c bounds - >= 164 @ 300.033
300.99/301.80	c bounds - >= 166 @ 300.036
300.99/301.80	c bounds - >= 167 @ 300.038
300.99/301.80	c bounds - >= 168 @ 300.042
300.99/301.80	c bounds - >= 170 @ 300.046
300.99/301.80	c bounds - >= 172 @ 300.049
300.99/301.80	c bounds - >= 173 @ 300.056
300.99/301.80	c bounds - >= 175 @ 300.061
300.99/301.80	c bounds - >= 177 @ 300.067
300.99/301.80	c bounds - >= 179 @ 300.069
300.99/301.80	c bounds - >= 181 @ 300.074
300.99/301.80	c bounds - >= 183 @ 300.078
300.99/301.80	c bounds - >= 185 @ 300.083
300.99/301.80	c bounds - >= 187 @ 300.089
300.99/301.80	c bounds - >= 188 @ 300.095
300.99/301.80	c bounds - >= 190 @ 300.099
300.99/301.80	c bounds - >= 192 @ 300.103
300.99/301.80	c bounds - >= 194 @ 300.108
300.99/301.80	c bounds - >= 196 @ 300.115
300.99/301.80	c bounds - >= 198 @ 300.119
300.99/301.80	c bounds - >= 200 @ 300.123
300.99/301.80	c bounds - >= 201 @ 300.129
300.99/301.80	c bounds - >= 203 @ 300.134
300.99/301.80	c bounds - >= 205 @ 300.138
300.99/301.80	c bounds - >= 207 @ 300.144
300.99/301.80	c bounds - >= 209 @ 300.149
300.99/301.80	c bounds - >= 210 @ 300.154
300.99/301.80	c bounds - >= 212 @ 300.158
300.99/301.80	c bounds - >= 213 @ 300.163
300.99/301.80	c bounds - >= 215 @ 300.168
300.99/301.80	c bounds - >= 216 @ 300.172
300.99/301.80	c bounds - >= 218 @ 300.175
300.99/301.80	c bounds - >= 219 @ 300.181
300.99/301.80	c bounds - >= 220 @ 300.186
300.99/301.80	c bounds - >= 222 @ 300.192
300.99/301.80	c bounds - >= 224 @ 300.197
300.99/301.80	c bounds - >= 226 @ 300.202
300.99/301.80	c bounds - >= 228 @ 300.206
300.99/301.80	c bounds - >= 230 @ 300.209
300.99/301.80	c bounds - >= 232 @ 300.214
300.99/301.80	c bounds - >= 234 @ 300.22
300.99/301.80	c bounds - >= 236 @ 300.223
300.99/301.80	c bounds - >= 238 @ 300.227
300.99/301.80	c bounds - >= 240 @ 300.232
300.99/301.80	c bounds - >= 242 @ 300.236
300.99/301.80	c bounds - >= 244 @ 300.241
300.99/301.80	c bounds - >= 246 @ 300.244
300.99/301.80	c bounds - >= 247 @ 300.249
300.99/301.80	c bounds - >= 248 @ 300.255
300.99/301.80	c bounds - >= 249 @ 300.26
300.99/301.80	c bounds - >= 251 @ 300.264
300.99/301.80	c bounds - >= 253 @ 300.268
300.99/301.80	c bounds - >= 255 @ 300.271
300.99/301.80	c bounds - >= 257 @ 300.276
300.99/301.80	c bounds - >= 259 @ 300.28
300.99/301.80	c bounds - >= 261 @ 300.284
300.99/301.80	c bounds - >= 263 @ 300.289
300.99/301.80	c bounds - >= 264 @ 300.296
300.99/301.80	c bounds - >= 266 @ 300.301
300.99/301.80	c bounds - >= 268 @ 300.308
300.99/301.80	c bounds - >= 270 @ 300.312
300.99/301.80	c bounds - >= 272 @ 300.316
302.49/303.33	c bounds - >= 274 @ 300.321
302.49/303.33	c bounds - >= 275 @ 300.326
302.49/303.33	c bounds - >= 277 @ 300.331
302.49/303.33	c bounds - >= 278 @ 300.335
302.49/303.33	c bounds - >= 279 @ 300.339
302.49/303.33	c bounds - >= 281 @ 300.342
302.49/303.33	c bounds - >= 282 @ 300.344
302.49/303.33	c bounds - >= 284 @ 300.347
302.49/303.33	c bounds - >= 285 @ 300.353
302.49/303.33	c bounds - >= 286 @ 300.358
302.49/303.33	c bounds - >= 287 @ 300.362
302.49/303.33	c bounds - >= 289 @ 300.365
302.49/303.33	c bounds - >= 291 @ 300.368
302.49/303.33	c bounds - >= 293 @ 300.371
302.49/303.33	c bounds - >= 295 @ 300.374
302.49/303.33	c bounds - >= 297 @ 300.379
302.49/303.33	c bounds - >= 299 @ 300.387
302.49/303.33	c bounds - >= 301 @ 300.392
302.49/303.33	c bounds - >= 303 @ 300.399
302.49/303.33	c bounds - >= 305 @ 300.405
302.49/303.33	c bounds - >= 307 @ 300.409
302.49/303.33	c bounds - >= 309 @ 300.417
302.49/303.33	c bounds - >= 310 @ 300.42
302.49/303.33	c bounds - >= 312 @ 300.426
302.49/303.33	c bounds - >= 314 @ 300.432
302.49/303.33	c bounds - >= 316 @ 300.436
302.49/303.33	c bounds - >= 318 @ 300.441
302.49/303.33	c bounds - >= 320 @ 300.445
302.49/303.33	c bounds - >= 322 @ 300.449
302.49/303.33	c bounds - >= 324 @ 300.454
302.49/303.33	c bounds - >= 326 @ 300.46
302.49/303.33	c bounds - >= 328 @ 300.462
302.49/303.33	c bounds - >= 330 @ 300.468
302.49/303.33	c bounds - >= 332 @ 300.474
302.49/303.33	c bounds - >= 333 @ 300.479
302.49/303.33	c bounds - >= 335 @ 300.483
302.49/303.33	c bounds - >= 337 @ 300.485
302.49/303.33	c bounds - >= 339 @ 300.489
302.49/303.33	c bounds - >= 340 @ 300.495
302.49/303.33	c bounds - >= 342 @ 300.5
302.49/303.33	c bounds - >= 344 @ 300.503
302.49/303.33	c bounds - >= 346 @ 300.506
302.49/303.33	c bounds - >= 348 @ 300.51
302.49/303.33	c bounds - >= 350 @ 300.514
302.49/303.33	c bounds - >= 352 @ 300.518
302.49/303.33	c bounds - >= 353 @ 300.522
302.49/303.33	c bounds - >= 355 @ 300.526
302.49/303.33	c bounds - >= 357 @ 300.532
302.49/303.33	c bounds - >= 359 @ 300.535
302.49/303.33	c bounds - >= 360 @ 300.539
302.49/303.33	c bounds - >= 362 @ 300.543
302.49/303.33	c bounds - >= 364 @ 300.548
302.49/303.33	c bounds - >= 366 @ 300.552
302.49/303.33	c bounds - >= 368 @ 300.558
302.49/303.33	c bounds - >= 370 @ 300.563
302.49/303.33	c bounds - >= 371 @ 300.569
302.49/303.33	c bounds - >= 373 @ 300.575
302.49/303.33	c bounds - >= 375 @ 300.581
302.49/303.33	c bounds - >= 376 @ 300.585
302.49/303.33	c bounds - >= 378 @ 300.589
302.49/303.33	c bounds - >= 379 @ 300.595
302.49/303.33	c bounds - >= 381 @ 300.599
302.49/303.33	c bounds - >= 383 @ 300.605
302.49/303.33	c bounds - >= 385 @ 300.61
302.49/303.33	c bounds - >= 387 @ 300.614
302.49/303.33	c bounds - >= 389 @ 300.617
302.49/303.33	c bounds - >= 391 @ 300.623
302.49/303.33	c bounds - >= 393 @ 300.628
302.49/303.33	c bounds - >= 395 @ 300.634
302.49/303.33	c bounds - >= 396 @ 300.639
302.49/303.33	c bounds - >= 397 @ 300.644
302.49/303.33	c bounds - >= 398 @ 300.65
302.49/303.33	c bounds - >= 400 @ 300.656
302.49/303.33	c bounds - >= 402 @ 300.661
302.49/303.33	c bounds - >= 404 @ 300.666
302.49/303.33	c bounds - >= 405 @ 300.67
302.49/303.33	c bounds - >= 407 @ 300.676
302.49/303.33	c bounds - >= 409 @ 300.679
302.49/303.33	c bounds - >= 410 @ 300.683
302.49/303.33	c bounds - >= 411 @ 300.69
302.49/303.33	c bounds - >= 413 @ 300.696
302.49/303.33	c bounds - >= 415 @ 300.7
302.49/303.33	c bounds - >= 416 @ 300.704
302.49/303.33	c bounds - >= 417 @ 300.706
302.49/303.33	c bounds - >= 419 @ 300.71
302.49/303.33	c bounds - >= 420 @ 300.718
302.49/303.33	c bounds - >= 422 @ 300.722
302.49/303.33	c bounds - >= 424 @ 300.729
302.49/303.33	c bounds - >= 426 @ 300.733
302.49/303.33	c bounds - >= 428 @ 300.739
302.49/303.33	c bounds - >= 430 @ 300.743
302.49/303.33	c bounds - >= 431 @ 300.748
302.49/303.33	c bounds - >= 433 @ 300.754
302.49/303.33	c bounds - >= 435 @ 300.759
302.49/303.33	c bounds - >= 437 @ 300.764
302.49/303.33	c bounds - >= 439 @ 300.767
302.49/303.33	c bounds - >= 440 @ 300.771
302.49/303.33	c bounds - >= 442 @ 300.775
302.49/303.33	c bounds - >= 443 @ 300.778
302.49/303.33	c bounds - >= 445 @ 300.782
302.49/303.33	c bounds - >= 447 @ 300.789
302.49/303.33	c bounds - >= 449 @ 300.795
302.49/303.33	c bounds - >= 451 @ 300.801
302.49/303.33	c bounds - >= 453 @ 300.806
302.49/303.33	c bounds - >= 454 @ 300.809
302.49/303.33	c bounds - >= 456 @ 300.812
302.49/303.33	c bounds - >= 458 @ 300.815
302.49/303.33	c bounds - >= 460 @ 300.819
302.49/303.33	c bounds - >= 462 @ 300.827
302.49/303.33	c bounds - >= 463 @ 300.83
302.49/303.33	c bounds - >= 465 @ 300.835
302.49/303.33	c bounds - >= 466 @ 300.841
302.49/303.33	c bounds - >= 467 @ 300.846
302.49/303.33	c bounds - >= 469 @ 300.85
302.49/303.33	c bounds - >= 470 @ 300.856
302.49/303.33	c bounds - >= 472 @ 300.86
302.49/303.33	c bounds - >= 473 @ 300.866
302.49/303.33	c bounds - >= 474 @ 300.871
302.49/303.33	c bounds - >= 475 @ 300.875
302.49/303.33	c bounds - >= 476 @ 300.879
302.49/303.33	c bounds - >= 477 @ 300.886
302.49/303.33	c bounds - >= 478 @ 300.89
302.49/303.33	c bounds - >= 479 @ 300.894
302.49/303.33	c bounds - >= 480 @ 300.899
302.49/303.33	c bounds - >= 481 @ 300.902
302.49/303.33	c bounds - >= 482 @ 300.907
302.49/303.33	c bounds - >= 483 @ 300.912
302.49/303.33	c bounds - >= 484 @ 300.918
302.49/303.33	c bounds - >= 485 @ 300.921
302.49/303.33	c bounds - >= 486 @ 300.926
302.49/303.33	c bounds - >= 487 @ 300.929
302.49/303.33	c bounds - >= 488 @ 300.931
302.49/303.33	c bounds - >= 489 @ 300.936
302.49/303.33	c bounds - >= 490 @ 300.942
302.49/303.33	c bounds - >= 491 @ 300.947
302.49/303.33	c bounds - >= 492 @ 300.951
302.49/303.33	c bounds - >= 493 @ 300.954
302.49/303.33	c bounds - >= 494 @ 300.957
302.49/303.33	c bounds - >= 495 @ 300.961
302.49/303.33	c bounds - >= 496 @ 300.965
302.49/303.33	c bounds - >= 497 @ 300.968
302.49/303.33	c bounds - >= 498 @ 300.972
302.49/303.33	c bounds - >= 499 @ 300.976
302.49/303.33	c bounds - >= 500 @ 300.982
302.49/303.33	c bounds - >= 501 @ 300.985
302.49/303.33	c bounds - >= 502 @ 300.991
302.49/303.33	c bounds - >= 503 @ 300.995
304.29/305.14	c bounds - >= 504 @ 300.999
304.29/305.14	c bounds - >= 505 @ 301.005
304.29/305.14	c bounds - >= 506 @ 301.009
304.29/305.14	c bounds - >= 507 @ 301.013
304.29/305.14	c bounds - >= 508 @ 301.019
304.29/305.14	c bounds - >= 509 @ 301.025
304.29/305.14	c bounds - >= 510 @ 301.03
304.29/305.14	c bounds - >= 511 @ 301.032
304.29/305.14	c bounds - >= 512 @ 301.036
304.29/305.14	c bounds - >= 513 @ 301.041
304.29/305.14	c bounds - >= 514 @ 301.045
304.29/305.14	c bounds - >= 515 @ 301.05
304.29/305.14	c bounds - >= 516 @ 301.053
304.29/305.14	c bounds - >= 517 @ 301.058
304.29/305.14	c bounds - >= 518 @ 301.064
304.29/305.14	c bounds - >= 519 @ 301.069
304.29/305.14	c bounds - >= 520 @ 301.072
304.29/305.14	c bounds - >= 521 @ 301.077
304.29/305.14	c bounds - >= 522 @ 301.081
304.29/305.14	c bounds - >= 523 @ 301.084
304.29/305.14	c bounds - >= 524 @ 301.089
304.29/305.14	c bounds - >= 525 @ 301.091
304.29/305.14	c bounds - >= 526 @ 301.096
304.29/305.14	c bounds - >= 527 @ 301.1
304.29/305.14	c bounds - >= 528 @ 301.104
304.29/305.14	c bounds - >= 529 @ 301.108
304.29/305.14	c bounds - >= 530 @ 301.112
304.29/305.14	c bounds - >= 531 @ 301.118
304.29/305.14	c bounds - >= 532 @ 301.122
304.29/305.14	c bounds - >= 533 @ 301.126
304.29/305.14	c bounds - >= 534 @ 301.13
304.29/305.14	c bounds - >= 535 @ 301.135
304.29/305.14	c bounds - >= 536 @ 301.143
304.29/305.14	c bounds - >= 537 @ 301.148
304.29/305.14	c bounds - >= 538 @ 301.154
304.29/305.14	c bounds - >= 539 @ 301.159
304.29/305.14	c bounds - >= 540 @ 301.162
304.29/305.14	c bounds - >= 541 @ 301.166
304.29/305.14	c bounds - >= 542 @ 301.172
304.29/305.14	c bounds - >= 543 @ 301.176
304.29/305.14	c bounds - >= 544 @ 301.18
304.29/305.14	c bounds - >= 545 @ 301.185
304.29/305.14	c bounds - >= 546 @ 301.192
304.29/305.14	c bounds - >= 547 @ 301.197
304.29/305.14	c bounds - >= 548 @ 301.202
304.29/305.14	c bounds - >= 549 @ 301.207
304.29/305.14	c bounds - >= 550 @ 301.213
304.29/305.14	c bounds - >= 551 @ 301.217
304.29/305.14	c bounds - >= 552 @ 301.222
304.29/305.14	c bounds - >= 553 @ 301.228
304.29/305.14	c bounds - >= 554 @ 301.234
304.29/305.14	c bounds - >= 555 @ 301.24
304.29/305.14	c bounds - >= 556 @ 301.244
304.29/305.14	c bounds - >= 557 @ 301.249
304.29/305.14	c bounds - >= 558 @ 301.256
304.29/305.14	c bounds - >= 559 @ 301.261
304.29/305.14	c bounds - >= 560 @ 301.268
304.29/305.14	c bounds - >= 561 @ 301.274
304.29/305.14	c bounds - >= 562 @ 301.279
304.29/305.14	c bounds - >= 563 @ 301.284
304.29/305.14	c bounds - >= 564 @ 301.289
304.29/305.14	c bounds - >= 565 @ 301.293
304.29/305.14	c bounds - >= 566 @ 301.298
304.29/305.14	c bounds - >= 567 @ 301.303
304.29/305.14	c bounds - >= 568 @ 301.307
304.29/305.14	c bounds - >= 569 @ 301.311
304.29/305.14	c bounds - >= 570 @ 301.318
304.29/305.14	c bounds - >= 571 @ 301.32
304.29/305.14	c bounds - >= 572 @ 301.326
304.29/305.14	c bounds - >= 573 @ 301.332
304.29/305.14	c bounds - >= 574 @ 301.338
304.29/305.14	c bounds - >= 575 @ 301.342
304.29/305.14	c bounds - >= 576 @ 301.348
304.29/305.14	c bounds - >= 577 @ 301.354
304.29/305.14	c bounds - >= 578 @ 301.36
304.29/305.14	c bounds - >= 579 @ 301.364
304.29/305.14	c bounds - >= 580 @ 301.368
304.29/305.14	c bounds - >= 581 @ 301.375
304.29/305.14	c bounds - >= 582 @ 301.379
304.29/305.14	c bounds - >= 583 @ 301.383
304.29/305.14	c bounds - >= 584 @ 301.388
304.29/305.14	c bounds - >= 585 @ 301.396
304.29/305.14	c bounds - >= 586 @ 301.4
304.29/305.14	c bounds - >= 587 @ 301.406
304.29/305.14	c bounds - >= 588 @ 301.411
304.29/305.14	c bounds - >= 589 @ 301.418
304.29/305.14	c bounds - >= 590 @ 301.422
304.29/305.14	c bounds - >= 591 @ 301.428
304.29/305.14	c bounds - >= 592 @ 301.432
304.29/305.14	c bounds - >= 593 @ 301.439
304.29/305.14	c bounds - >= 594 @ 301.446
304.29/305.14	c bounds - >= 595 @ 301.45
304.29/305.14	c bounds - >= 596 @ 301.456
304.29/305.14	c bounds - >= 597 @ 301.461
304.29/305.14	c bounds - >= 598 @ 301.467
304.29/305.14	c bounds - >= 599 @ 301.472
304.29/305.14	c bounds - >= 600 @ 301.475
304.29/305.14	c bounds - >= 601 @ 301.481
304.29/305.14	c bounds - >= 602 @ 301.484
304.29/305.14	c bounds - >= 603 @ 301.491
304.29/305.14	c bounds - >= 604 @ 301.495
304.29/305.14	c bounds - >= 605 @ 301.498
304.29/305.14	c bounds - >= 606 @ 301.504
304.29/305.14	c bounds - >= 607 @ 301.507
304.29/305.14	c bounds - >= 608 @ 301.517
304.29/305.14	c bounds - >= 609 @ 301.523
304.29/305.14	c bounds - >= 610 @ 301.527
304.29/305.14	c bounds - >= 611 @ 301.532
304.29/305.14	c bounds - >= 612 @ 301.536
304.29/305.14	c bounds - >= 613 @ 301.54
304.29/305.14	c bounds - >= 614 @ 301.548
304.29/305.14	c bounds - >= 615 @ 301.555
304.29/305.14	c bounds - >= 616 @ 301.56
304.29/305.14	c bounds - >= 617 @ 301.565
304.29/305.14	c bounds - >= 618 @ 301.571
304.29/305.14	c bounds - >= 619 @ 301.576
304.29/305.14	c bounds - >= 620 @ 301.582
304.29/305.14	c bounds - >= 621 @ 301.59
304.29/305.14	c bounds - >= 622 @ 301.596
304.29/305.14	c bounds - >= 623 @ 301.602
304.29/305.14	c bounds - >= 624 @ 301.605
304.29/305.14	c bounds - >= 625 @ 301.61
304.29/305.14	c bounds - >= 626 @ 301.616
304.29/305.14	c bounds - >= 627 @ 301.622
304.29/305.14	c bounds - >= 628 @ 301.63
304.29/305.14	c bounds - >= 629 @ 301.634
304.29/305.14	c bounds - >= 630 @ 301.641
304.29/305.14	c bounds - >= 631 @ 301.649
304.29/305.14	c bounds - >= 632 @ 301.656
304.29/305.14	c bounds - >= 633 @ 301.66
304.29/305.14	c bounds - >= 634 @ 301.666
304.29/305.14	c bounds - >= 635 @ 301.672
304.29/305.14	c bounds - >= 636 @ 301.677
304.29/305.14	c bounds - >= 637 @ 301.681
304.29/305.14	c bounds - >= 638 @ 301.686
304.29/305.14	c bounds - >= 639 @ 301.693
304.29/305.14	c bounds - >= 640 @ 301.698
304.29/305.14	c bounds - >= 641 @ 301.703
304.29/305.14	c bounds - >= 642 @ 301.71
304.29/305.14	c bounds - >= 643 @ 301.714
304.29/305.14	c bounds - >= 644 @ 301.719
304.29/305.14	c bounds - >= 645 @ 301.722
304.29/305.14	c bounds - >= 646 @ 301.728
304.29/305.14	c bounds - >= 647 @ 301.732
304.29/305.14	c bounds - >= 648 @ 301.738
304.29/305.14	c bounds - >= 649 @ 301.741
304.29/305.14	c bounds - >= 650 @ 301.746
431.74/432.98	c bounds - >= 651 @ 301.752
431.74/432.98	c bounds - >= 652 @ 301.755
431.74/432.98	c bounds - >= 653 @ 301.76
431.74/432.98	c bounds - >= 654 @ 301.766
431.74/432.98	c bounds - >= 655 @ 301.774
431.74/432.98	c bounds - >= 656 @ 301.778
431.74/432.98	c bounds - >= 657 @ 301.785
431.74/432.98	c bounds - >= 658 @ 301.79
431.74/432.98	c bounds - >= 659 @ 301.792
431.74/432.98	c bounds - >= 660 @ 301.798
431.74/432.98	c bounds - >= 661 @ 301.807
431.74/432.98	c bounds - >= 662 @ 301.811
431.74/432.98	c bounds - >= 663 @ 301.818
431.74/432.98	c bounds - >= 664 @ 301.822
431.74/432.98	c bounds - >= 665 @ 301.83
431.74/432.98	c bounds - >= 666 @ 301.834
431.74/432.98	c bounds - >= 667 @ 301.839
431.74/432.98	c bounds - >= 668 @ 301.845
431.74/432.98	c bounds - >= 669 @ 301.851
431.74/432.98	c bounds - >= 670 @ 301.859
431.74/432.98	c bounds - >= 671 @ 301.867
431.74/432.98	c bounds - >= 672 @ 301.872
431.74/432.98	c bounds - >= 673 @ 301.876
431.74/432.98	c bounds - >= 674 @ 301.88
431.74/432.98	c bounds - >= 675 @ 301.888
431.74/432.98	c bounds - >= 676 @ 301.896
431.74/432.98	c bounds - >= 677 @ 301.9
431.74/432.98	c bounds - >= 678 @ 301.908
431.74/432.98	c bounds - >= 679 @ 301.913
431.74/432.98	c bounds - >= 680 @ 301.918
431.74/432.98	c bounds - >= 681 @ 301.924
431.74/432.98	c bounds - >= 682 @ 301.93
431.74/432.98	c bounds - >= 683 @ 301.934
431.74/432.98	c bounds - >= 684 @ 301.939
431.74/432.98	c bounds - >= 685 @ 301.945
431.74/432.98	c bounds - >= 686 @ 301.954
431.74/432.98	c bounds - >= 687 @ 301.959
431.74/432.98	c bounds - >= 688 @ 301.965
431.74/432.98	c bounds - >= 689 @ 301.968
431.74/432.98	c bounds - >= 690 @ 301.974
431.74/432.98	c bounds - >= 691 @ 301.982
431.74/432.98	c bounds - >= 692 @ 301.99
431.74/432.98	c bounds - >= 693 @ 301.996
431.74/432.98	c bounds - >= 694 @ 302.004
431.74/432.98	c bounds - >= 695 @ 302.009
431.74/432.98	c bounds - >= 696 @ 302.013
431.74/432.98	c bounds - >= 697 @ 302.019
431.74/432.98	c bounds - >= 698 @ 302.022
431.74/432.98	c bounds - >= 699 @ 302.027
431.74/432.98	c bounds - >= 700 @ 302.034
431.74/432.98	c bounds - >= 701 @ 302.04
431.74/432.98	c bounds - >= 702 @ 302.044
431.74/432.98	c bounds - >= 703 @ 302.048
431.74/432.98	c bounds - >= 704 @ 302.051
431.74/432.98	c bounds - >= 705 @ 302.057
431.74/432.98	c bounds - >= 706 @ 302.067
431.74/432.98	c bounds - >= 707 @ 302.075
431.74/432.98	c bounds - >= 708 @ 302.079
431.74/432.98	c bounds - >= 709 @ 302.085
431.74/432.98	c bounds - >= 710 @ 302.091
431.74/432.98	c bounds - >= 711 @ 302.097
431.74/432.98	c bounds - >= 712 @ 302.101
431.74/432.98	c bounds - >= 713 @ 302.108
431.74/432.98	c bounds - >= 714 @ 302.113
431.74/432.98	c bounds - >= 715 @ 302.121
431.74/432.98	c bounds - >= 716 @ 302.124
431.74/432.98	c bounds - >= 717 @ 302.129
431.74/432.98	c bounds - >= 718 @ 302.136
431.74/432.98	c bounds - >= 719 @ 302.142
431.74/432.98	c bounds - >= 720 @ 302.15
431.74/432.98	c bounds - >= 721 @ 302.157
431.74/432.98	c bounds - >= 722 @ 302.164
431.74/432.98	c bounds - >= 723 @ 302.169
431.74/432.98	c bounds - >= 724 @ 302.176
431.74/432.98	c bounds - >= 725 @ 302.18
431.74/432.98	c bounds - >= 726 @ 302.188
431.74/432.98	c bounds - >= 727 @ 302.195
431.74/432.98	c bounds - >= 728 @ 302.202
431.74/432.98	c bounds - >= 729 @ 302.208
431.74/432.98	c bounds - >= 730 @ 302.217
431.74/432.98	c bounds - >= 731 @ 302.223
431.74/432.98	c bounds - >= 732 @ 302.229
431.74/432.98	c bounds - >= 733 @ 302.233
431.74/432.98	c bounds - >= 734 @ 302.237
431.74/432.98	c bounds - >= 735 @ 302.244
431.74/432.98	c bounds - >= 736 @ 302.248
431.74/432.98	c bounds - >= 737 @ 302.254
431.74/432.98	c bounds - >= 738 @ 302.259
431.74/432.98	c bounds - >= 739 @ 302.262
431.74/432.98	c bounds - >= 740 @ 302.267
431.74/432.98	c bounds - >= 741 @ 302.274
431.74/432.98	c bounds - >= 742 @ 302.281
431.74/432.98	c bounds - >= 743 @ 302.287
431.74/432.98	c bounds - >= 744 @ 302.293
431.74/432.98	c bounds - >= 745 @ 302.3
431.74/432.98	c bounds - >= 746 @ 302.306
431.74/432.98	c #Conflicts:       1000 | #Constraints:       5671
431.74/432.98	c #Conflicts:       2000 | #Constraints:       6671
431.74/432.98	c INPROCESSING
431.74/432.98	c GARBAGE COLLECT
431.74/432.98	c #Conflicts:       3000 | #Constraints:       6208
431.74/432.98	c #Conflicts:       4000 | #Constraints:       7208
431.74/432.98	c INPROCESSING
431.74/432.98	c GARBAGE COLLECT
431.74/432.98	c #Conflicts:       5000 | #Constraints:       6647
431.74/432.98	c #Conflicts:       6000 | #Constraints:       7647
431.74/432.98	c INPROCESSING
431.74/432.98	c GARBAGE COLLECT
431.74/432.98	c #Conflicts:       7000 | #Constraints:       6644
431.74/432.98	c #Conflicts:       8000 | #Constraints:       7644
431.74/432.98	c #Conflicts:       9000 | #Constraints:       8644
431.74/432.98	c INPROCESSING
431.74/432.98	c GARBAGE COLLECT
431.74/432.98	c #Conflicts:      10000 | #Constraints:       7338
431.74/432.98	c #Conflicts:      11000 | #Constraints:       8338
431.74/432.98	c #Conflicts:      12000 | #Constraints:       9338
431.74/432.98	c INPROCESSING
431.74/432.98	c GARBAGE COLLECT
431.74/432.98	c #Conflicts:      13000 | #Constraints:       7797
431.74/432.98	c #Conflicts:      14000 | #Constraints:       8797
431.74/432.98	c #Conflicts:      15000 | #Constraints:       9797
431.74/432.98	c INPROCESSING
431.74/432.98	c GARBAGE COLLECT
431.74/432.98	c #Conflicts:      16000 | #Constraints:       8034
431.74/432.98	c #Conflicts:      17000 | #Constraints:       9034
431.74/432.98	c #Conflicts:      18000 | #Constraints:      10034
431.74/432.98	c INPROCESSING
431.74/432.98	c GARBAGE COLLECT
431.74/432.98	c #Conflicts:      19000 | #Constraints:       8055
431.74/432.98	c #Conflicts:      20000 | #Constraints:       9055
431.74/432.98	c #Conflicts:      21000 | #Constraints:      10055
431.74/432.98	c INPROCESSING
431.74/432.98	c GARBAGE COLLECT
431.74/432.98	c #Conflicts:      22000 | #Constraints:       7865
1183.71/1187.02	c #Conflicts:      23000 | #Constraints:       8865
1183.71/1187.02	c #Conflicts:      24000 | #Constraints:       9865
1183.71/1187.02	c #Conflicts:      25000 | #Constraints:      10865
1183.71/1187.02	c INPROCESSING
1183.71/1187.02	c GARBAGE COLLECT
1183.71/1187.02	c #Conflicts:      26000 | #Constraints:       8471
1183.71/1187.02	c #Conflicts:      27000 | #Constraints:       9471
1183.71/1187.02	c #Conflicts:      28000 | #Constraints:      10471
1183.71/1187.02	c #Conflicts:      29000 | #Constraints:      11471
1183.71/1187.02	c INPROCESSING
1183.71/1187.02	c GARBAGE COLLECT
1183.71/1187.02	c #Conflicts:      30000 | #Constraints:       8875
1183.71/1187.02	c #Conflicts:      31000 | #Constraints:       9875
1183.71/1187.02	c #Conflicts:      32000 | #Constraints:      10875
1183.71/1187.02	c #Conflicts:      33000 | #Constraints:      11875
1183.71/1187.02	c INPROCESSING
1183.71/1187.02	c GARBAGE COLLECT
1183.71/1187.02	c #Conflicts:      34000 | #Constraints:       9056
1183.71/1187.02	c #Conflicts:      35000 | #Constraints:      10056
1183.71/1187.02	c #Conflicts:      36000 | #Constraints:      11056
1183.71/1187.02	c #Conflicts:      37000 | #Constraints:      12056
1183.71/1187.02	c INPROCESSING
1183.71/1187.02	c GARBAGE COLLECT
1183.71/1187.02	c #Conflicts:      38000 | #Constraints:       9053
1183.71/1187.02	c #Conflicts:      39000 | #Constraints:      10053
1183.71/1187.02	c #Conflicts:      40000 | #Constraints:      11053
1183.71/1187.02	c #Conflicts:      41000 | #Constraints:      12053
1183.71/1187.02	c INPROCESSING
1183.71/1187.02	c GARBAGE COLLECT
1183.71/1187.02	c #Conflicts:      42000 | #Constraints:       8852
1183.71/1187.02	c #Conflicts:      43000 | #Constraints:       9852
1183.71/1187.02	c #Conflicts:      44000 | #Constraints:      10852
1183.71/1187.02	c #Conflicts:      45000 | #Constraints:      11852
1183.71/1187.02	c #Conflicts:      46000 | #Constraints:      12852
1183.71/1187.02	c INPROCESSING
1183.71/1187.02	c GARBAGE COLLECT
1183.71/1187.02	c #Conflicts:      47000 | #Constraints:       9459
1183.71/1187.02	c #Conflicts:      48000 | #Constraints:      10459
1183.71/1187.02	c #Conflicts:      49000 | #Constraints:      11459
1183.71/1187.02	c #Conflicts:      50000 | #Constraints:      12459
1183.71/1187.02	c #Conflicts:      51000 | #Constraints:      13459
1183.71/1187.02	c INPROCESSING
1183.71/1187.02	c GARBAGE COLLECT
1183.71/1187.02	c #Conflicts:      52000 | #Constraints:       9857
1183.71/1187.02	c #Conflicts:      53000 | #Constraints:      10857
1183.71/1187.02	c #Conflicts:      54000 | #Constraints:      11857
1183.71/1187.02	c #Conflicts:      55000 | #Constraints:      12857
1183.71/1187.02	c #Conflicts:      56000 | #Constraints:      13857
1183.71/1187.02	c INPROCESSING
1183.71/1187.02	c GARBAGE COLLECT
1183.71/1187.02	c #Conflicts:      57000 | #Constraints:      10062
1183.71/1187.02	c #Conflicts:      58000 | #Constraints:      11062
1183.71/1187.02	c #Conflicts:      59000 | #Constraints:      12062
1183.71/1187.02	c #Conflicts:      60000 | #Constraints:      13062
1183.71/1187.02	c #Conflicts:      61000 | #Constraints:      14062
1183.71/1187.02	c INPROCESSING
1183.71/1187.02	c GARBAGE COLLECT
1183.71/1187.02	c #Conflicts:      62000 | #Constraints:      10059
1183.71/1187.02	c #Conflicts:      63000 | #Constraints:      11059
1183.71/1187.02	c #Conflicts:      64000 | #Constraints:      12059
1183.71/1187.02	c #Conflicts:      65000 | #Constraints:      13059
1183.71/1187.02	c #Conflicts:      66000 | #Constraints:      14059
1183.71/1187.02	c INPROCESSING
1183.71/1187.02	c GARBAGE COLLECT
1183.71/1187.02	c #Conflicts:      67000 | #Constraints:       9876
1183.71/1187.02	c #Conflicts:      68000 | #Constraints:      10876
1183.71/1187.02	c #Conflicts:      69000 | #Constraints:      11876
1183.71/1187.02	c #Conflicts:      70000 | #Constraints:      12876
1183.71/1187.02	c #Conflicts:      71000 | #Constraints:      13876
1183.71/1187.02	c #Conflicts:      72000 | #Constraints:      14876
1183.71/1187.02	c INPROCESSING
1183.71/1187.02	c GARBAGE COLLECT
1183.71/1187.02	c #Conflicts:      73000 | #Constraints:      10480
1183.71/1187.02	c #Conflicts:      74000 | #Constraints:      11480
1183.71/1187.02	c #Conflicts:      75000 | #Constraints:      12480
1183.71/1187.02	c #Conflicts:      76000 | #Constraints:      13480
1183.71/1187.02	c #Conflicts:      77000 | #Constraints:      14480
1183.71/1187.02	c #Conflicts:      78000 | #Constraints:      15480
1183.71/1187.02	c INPROCESSING
1183.71/1187.02	c GARBAGE COLLECT
1183.71/1187.02	c #Conflicts:      79000 | #Constraints:      10877
1183.71/1187.02	c #Conflicts:      80000 | #Constraints:      11877
1183.71/1187.02	c #Conflicts:      81000 | #Constraints:      12877
1183.71/1187.02	c #Conflicts:      82000 | #Constraints:      13877
1183.71/1187.02	c #Conflicts:      83000 | #Constraints:      14877
1183.71/1187.02	c #Conflicts:      84000 | #Constraints:      15877
1183.71/1187.02	c INPROCESSING
1183.71/1187.02	c GARBAGE COLLECT
1183.71/1187.02	c #Conflicts:      85000 | #Constraints:      11081
1183.71/1187.02	c #Conflicts:      86000 | #Constraints:      12081
1183.71/1187.02	c #Conflicts:      87000 | #Constraints:      13081
1183.71/1187.02	c #Conflicts:      88000 | #Constraints:      14081
1183.71/1187.02	c #Conflicts:      89000 | #Constraints:      15081
1183.71/1187.02	c #Conflicts:      90000 | #Constraints:      16081
1183.71/1187.02	c INPROCESSING
1183.71/1187.02	c GARBAGE COLLECT
1183.71/1187.02	c #Conflicts:      91000 | #Constraints:      11101
1183.71/1187.02	c #Conflicts:      92000 | #Constraints:      12101
2423.35/2430.22	c #Conflicts:      93000 | #Constraints:      13101
2423.35/2430.22	c #Conflicts:      94000 | #Constraints:      14101
2423.35/2430.22	c #Conflicts:      95000 | #Constraints:      15101
2423.35/2430.22	c #Conflicts:      96000 | #Constraints:      16101
2423.35/2430.22	c INPROCESSING
2423.35/2430.22	c GARBAGE COLLECT
2423.35/2430.22	c #Conflicts:      97000 | #Constraints:      10918
2423.35/2430.22	c #Conflicts:      98000 | #Constraints:      11918
2423.35/2430.22	c #Conflicts:      99000 | #Constraints:      12918
2423.35/2430.22	c #Conflicts:     100000 | #Constraints:      13918
2423.35/2430.22	c #Conflicts:     101000 | #Constraints:      14918
2423.35/2430.22	c #Conflicts:     102000 | #Constraints:      15918
2423.35/2430.22	c #Conflicts:     103000 | #Constraints:      16918
2423.35/2430.22	c INPROCESSING
2423.35/2430.22	c GARBAGE COLLECT
2423.35/2430.22	c #Conflicts:     104000 | #Constraints:      11515
2423.35/2430.22	c #Conflicts:     105000 | #Constraints:      12515
2423.35/2430.22	c #Conflicts:     106000 | #Constraints:      13515
2423.35/2430.22	c #Conflicts:     107000 | #Constraints:      14515
2423.35/2430.22	c #Conflicts:     108000 | #Constraints:      15515
2423.35/2430.22	c #Conflicts:     109000 | #Constraints:      16515
2423.35/2430.22	c #Conflicts:     110000 | #Constraints:      17515
2423.35/2430.22	c INPROCESSING
2423.35/2430.22	c GARBAGE COLLECT
2423.35/2430.22	c #Conflicts:     111000 | #Constraints:      11924
2423.35/2430.22	c #Conflicts:     112000 | #Constraints:      12924
2423.35/2430.22	c #Conflicts:     113000 | #Constraints:      13924
2423.35/2430.22	c #Conflicts:     114000 | #Constraints:      14924
2423.35/2430.22	c #Conflicts:     115000 | #Constraints:      15924
2423.35/2430.22	c #Conflicts:     116000 | #Constraints:      16924
2423.35/2430.22	c #Conflicts:     117000 | #Constraints:      17924
2423.35/2430.22	c INPROCESSING
2423.35/2430.22	c GARBAGE COLLECT
2423.35/2430.22	c #Conflicts:     118000 | #Constraints:      12132
2423.35/2430.22	c #Conflicts:     119000 | #Constraints:      13132
2423.35/2430.22	c #Conflicts:     120000 | #Constraints:      14132
2423.35/2430.22	c #Conflicts:     121000 | #Constraints:      15132
2423.35/2430.22	c #Conflicts:     122000 | #Constraints:      16132
2423.35/2430.22	c #Conflicts:     123000 | #Constraints:      17132
2423.35/2430.22	c #Conflicts:     124000 | #Constraints:      18132
2423.35/2430.22	c INPROCESSING
2423.35/2430.22	c GARBAGE COLLECT
2423.35/2430.22	c #Conflicts:     125000 | #Constraints:      12111
2423.35/2430.22	c #Conflicts:     126000 | #Constraints:      13111
2423.35/2430.22	c #Conflicts:     127000 | #Constraints:      14111
2423.35/2430.22	c #Conflicts:     128000 | #Constraints:      15111
2423.35/2430.22	c #Conflicts:     129000 | #Constraints:      16111
2423.35/2430.22	c #Conflicts:     130000 | #Constraints:      17111
2423.35/2430.22	c #Conflicts:     131000 | #Constraints:      18111
2423.35/2430.22	c INPROCESSING
2423.35/2430.22	c GARBAGE COLLECT
2423.35/2430.22	c #Conflicts:     132000 | #Constraints:      11905
2423.35/2430.22	c #Conflicts:     133000 | #Constraints:      12905
2423.35/2430.22	c #Conflicts:     134000 | #Constraints:      13905
2423.35/2430.22	c #Conflicts:     135000 | #Constraints:      14905
2423.35/2430.22	c #Conflicts:     136000 | #Constraints:      15905
2423.35/2430.22	c #Conflicts:     137000 | #Constraints:      16905
2423.35/2430.22	c #Conflicts:     138000 | #Constraints:      17905
2423.35/2430.22	c #Conflicts:     139000 | #Constraints:      18905
2423.35/2430.22	c INPROCESSING
2423.35/2430.22	c GARBAGE COLLECT
2423.35/2430.22	c #Conflicts:     140000 | #Constraints:      12510
2423.35/2430.22	c #Conflicts:     141000 | #Constraints:      13510
2423.35/2430.22	c #Conflicts:     142000 | #Constraints:      14510
2423.35/2430.22	c #Conflicts:     143000 | #Constraints:      15510
2423.35/2430.22	c #Conflicts:     144000 | #Constraints:      16510
2423.35/2430.22	c #Conflicts:     145000 | #Constraints:      17510
2423.35/2430.22	c #Conflicts:     146000 | #Constraints:      18510
2423.35/2430.22	c #Conflicts:     147000 | #Constraints:      19510
2423.35/2430.22	c INPROCESSING
2423.35/2430.22	c GARBAGE COLLECT
2423.35/2430.22	c #Conflicts:     148000 | #Constraints:      12920
2423.35/2430.22	c #Conflicts:     149000 | #Constraints:      13920
2423.35/2430.22	c #Conflicts:     150000 | #Constraints:      14920
2423.35/2430.22	c #Conflicts:     151000 | #Constraints:      15920
2423.35/2430.22	c #Conflicts:     152000 | #Constraints:      16920
2423.35/2430.22	c #Conflicts:     153000 | #Constraints:      17920
2423.35/2430.22	c #Conflicts:     154000 | #Constraints:      18920
2423.35/2430.22	c #Conflicts:     155000 | #Constraints:      19920
2423.35/2430.22	c INPROCESSING
2423.35/2430.22	c GARBAGE COLLECT
2423.35/2430.22	c #Conflicts:     156000 | #Constraints:      13117
2423.35/2430.22	c #Conflicts:     157000 | #Constraints:      14117
2423.35/2430.22	c #Conflicts:     158000 | #Constraints:      15117
2423.35/2430.22	c #Conflicts:     159000 | #Constraints:      16117
2423.35/2430.22	c #Conflicts:     160000 | #Constraints:      17117
2423.35/2430.22	c #Conflicts:     161000 | #Constraints:      18117
2423.35/2430.22	c #Conflicts:     162000 | #Constraints:      19117
2423.35/2430.22	c #Conflicts:     163000 | #Constraints:      20117
2423.35/2430.22	c INPROCESSING
2423.35/2430.22	c GARBAGE COLLECT
2423.35/2430.22	c #Conflicts:     164000 | #Constraints:      13107
2423.35/2430.22	c #Conflicts:     165000 | #Constraints:      14107
3600.06/3610.30	c #Conflicts:     166000 | #Constraints:      15107
3600.06/3610.30	c #Conflicts:     167000 | #Constraints:      16107
3600.06/3610.30	c #Conflicts:     168000 | #Constraints:      17107
3600.06/3610.30	c #Conflicts:     169000 | #Constraints:      18107
3600.06/3610.30	c #Conflicts:     170000 | #Constraints:      19107
3600.06/3610.30	c #Conflicts:     171000 | #Constraints:      20107
3600.06/3610.30	c INPROCESSING
3600.06/3610.30	c GARBAGE COLLECT
3600.06/3610.30	c #Conflicts:     172000 | #Constraints:      12904
3600.06/3610.30	c #Conflicts:     173000 | #Constraints:      13904
3600.06/3610.30	c #Conflicts:     174000 | #Constraints:      14904
3600.06/3610.30	c #Conflicts:     175000 | #Constraints:      15904
3600.06/3610.30	c #Conflicts:     176000 | #Constraints:      16904
3600.06/3610.30	c #Conflicts:     177000 | #Constraints:      17904
3600.06/3610.30	c #Conflicts:     178000 | #Constraints:      18904
3600.06/3610.30	c #Conflicts:     179000 | #Constraints:      19904
3600.06/3610.30	c #Conflicts:     180000 | #Constraints:      20904
3600.06/3610.30	c INPROCESSING
3600.06/3610.30	c GARBAGE COLLECT
3600.06/3610.30	c #Conflicts:     181000 | #Constraints:      13496
3600.06/3610.30	c #Conflicts:     182000 | #Constraints:      14496
3600.06/3610.30	c #Conflicts:     183000 | #Constraints:      15496
3600.06/3610.30	c #Conflicts:     184000 | #Constraints:      16496
3600.06/3610.30	c #Conflicts:     185000 | #Constraints:      17496
3600.06/3610.30	c #Conflicts:     186000 | #Constraints:      18496
3600.06/3610.30	c #Conflicts:     187000 | #Constraints:      19496
3600.06/3610.30	c #Conflicts:     188000 | #Constraints:      20496
3600.06/3610.30	c #Conflicts:     189000 | #Constraints:      21496
3600.06/3610.30	c INPROCESSING
3600.06/3610.30	c GARBAGE COLLECT
3600.06/3610.30	c #Conflicts:     190000 | #Constraints:      13906
3600.06/3610.30	c #Conflicts:     191000 | #Constraints:      14906
3600.06/3610.30	c #Conflicts:     192000 | #Constraints:      15906
3600.06/3610.30	c #Conflicts:     193000 | #Constraints:      16906
3600.06/3610.30	c #Conflicts:     194000 | #Constraints:      17906
3600.06/3610.30	c #Conflicts:     195000 | #Constraints:      18906
3600.06/3610.30	c #Conflicts:     196000 | #Constraints:      19906
3600.06/3610.30	c #Conflicts:     197000 | #Constraints:      20906
3600.06/3610.30	c #Conflicts:     198000 | #Constraints:      21906
3600.06/3610.30	c INPROCESSING
3600.06/3610.30	c GARBAGE COLLECT
3600.06/3610.30	c #Conflicts:     199000 | #Constraints:      14114
3600.06/3610.30	c #Conflicts:     200000 | #Constraints:      15114
3600.06/3610.30	c #Conflicts:     201000 | #Constraints:      16114
3600.06/3610.30	c #Conflicts:     202000 | #Constraints:      17114
3600.06/3610.30	c #Conflicts:     203000 | #Constraints:      18114
3600.06/3610.30	c #Conflicts:     204000 | #Constraints:      19114
3600.06/3610.30	c #Conflicts:     205000 | #Constraints:      20114
3600.06/3610.30	c #Conflicts:     206000 | #Constraints:      21114
3600.06/3610.30	c #Conflicts:     207000 | #Constraints:      22114
3600.06/3610.30	c INPROCESSING
3600.06/3610.30	c GARBAGE COLLECT
3600.06/3610.30	c #Conflicts:     208000 | #Constraints:      14094
3600.06/3610.30	c #Conflicts:     209000 | #Constraints:      15094
3600.06/3610.30	c #Conflicts:     210000 | #Constraints:      16094
3600.06/3610.30	c #Conflicts:     211000 | #Constraints:      17094
3600.06/3610.30	c #Conflicts:     212000 | #Constraints:      18094
3600.06/3610.30	c #Conflicts:     213000 | #Constraints:      19094
3600.06/3610.30	c #Conflicts:     214000 | #Constraints:      20094
3600.06/3610.30	c #Conflicts:     215000 | #Constraints:      21094
3600.06/3610.30	c #Conflicts:     216000 | #Constraints:      22094
3600.06/3610.30	c INPROCESSING
3600.06/3610.30	c GARBAGE COLLECT
3600.06/3610.30	c #Conflicts:     217000 | #Constraints:      13893
3600.06/3610.30	c #Conflicts:     218000 | #Constraints:      14893
3600.06/3610.30	c #Conflicts:     219000 | #Constraints:      15893
3600.06/3610.30	c Program interrupted by user.
3600.06/3610.30	c cpu time 3575.21 s
3600.06/3610.30	c deterministic time 397055140703 3.97e+11
3600.06/3610.30	c optimization time 63.6828 s
3600.06/3610.30	c total solve time 3212.12 s
3600.06/3610.30	c core-guided solve time 3212.12 s
3600.06/3610.30	c propagation time 2132.33 s
3600.06/3610.30	c conflict analysis time 641.079 s
3600.06/3610.30	c propagations 337484057
3600.06/3610.30	c resolve steps 486693
3600.06/3610.30	c decisions 33551630
3600.06/3610.30	c conflicts 219950
3600.06/3610.30	c restarts 510
3600.06/3610.30	c inprocessing phases 38
3600.06/3610.30	c input clauses 4131
3600.06/3610.30	c input cardinalities 1
3600.06/3610.30	c input general constraints 540
3600.06/3610.30	c input average constraint length 2553.52
3600.06/3610.30	c input average constraint degree 59.64
3600.06/3610.30	c learned clauses 16930
3600.06/3610.30	c learned cardinalities 221
3600.06/3610.30	c learned general constraints 202799
3600.06/3610.30	c learned average constraint length 12262.88
3600.06/3610.30	c learned average constraint degree 175726.12
3600.06/3610.30	c watched constraints 11580
3600.06/3610.30	c counting constraints 191759
3600.06/3610.30	c gcd simplifications 42
3600.06/3610.30	c detected cardinalities 0
3600.06/3610.30	c weakened non-implied lits 129385698
3600.06/3610.30	c weakened non-implying lits 124
3600.06/3610.30	c original variables 21705
3600.06/3610.30	c clausal propagations 4105881
3600.06/3610.30	c cardinality propagations 9453
3600.06/3610.30	c watched propagations 4245796
3600.06/3610.30	c counting propagations 327628848
3600.06/3610.30	c watch lookups 25129317145
3600.06/3610.30	c watch backjump lookups 25093516024
3600.06/3610.30	c watch checks 30670189431
3600.06/3610.30	c propagation checks 310283554949
3600.06/3610.30	c constraint additions 5136288100
3600.06/3610.30	c trail pops 371239366
3600.06/3610.30	c formula constraints 4123
3600.06/3610.30	c learned constraints 219950
3600.06/3610.30	c bound constraints 540
3600.06/3610.30	c core-guided constraints 9
3600.06/3610.30	c encountered formula constraints 331429
3600.06/3610.30	c encountered learned constraints 375207
3600.06/3610.30	c encountered bound constraints 7
3600.06/3610.30	c encountered core-guided constraints 0
3600.06/3610.30	c LP total time 0 s
3600.06/3610.30	c LP solve time 0 s
3600.06/3610.30	c LP constraints added 0
3600.06/3610.30	c LP constraints removed 0
3600.06/3610.30	c LP pivots internal 0
3600.06/3610.30	c LP pivots root 0
3600.06/3610.30	c LP calls 0
3600.06/3610.30	c LP optimalities 0
3600.06/3610.30	c LP no pivot count 0
3600.06/3610.30	c LP infeasibilities 0
3600.06/3610.30	c LP valid Farkas constraints 0
3600.06/3610.30	c LP learned Farkas constraints 0
3600.06/3610.30	c LP basis resets 0
3600.06/3610.30	c LP cycling count 0
3600.06/3610.30	c LP singular count 0
3600.06/3610.30	c LP no primal count 0
3600.06/3610.30	c LP no farkas count 0
3600.06/3610.30	c LP other issue count 0
3600.06/3610.30	c LP Gomory cuts 0
3600.06/3610.30	c LP learned cuts 0
3600.06/3610.30	c LP deleted cuts 0
3600.06/3610.30	c LP encountered Gomory constraints 0
3600.06/3610.30	c LP encountered Farkas constraints 0
3600.06/3610.30	c LP encountered learned Farkas constraints 0
3600.06/3610.30	c CG auxiliary variables introduced 9
3600.06/3610.30	c CG solutions found 0
3600.06/3610.30	c CG cores constructed 539
3600.06/3610.30	c CG core cardinality constraints returned 0
3600.06/3610.30	c CG unit cores 0
3600.06/3610.30	c CG single cores 539
3600.06/3610.30	c CG blocks removed during cardinality reduction 0
3600.06/3610.30	c CG first core best 0
3600.06/3610.30	c CG decision core best 0
3600.06/3610.30	c CG core reduction tie 0
3600.06/3610.30	c CG core degree average 1.00
3600.06/3610.30	c CG core slack average 26.37
3600.06/3610.30	c CG exhausted 0
3600.06/3610.30	c CG exhaust time 0 s
3600.06/3610.30	c CG trimmed 50
3600.06/3610.30	c CG trim time 0.010457 s
3600.06/3610.30	c CG minimized 0
3600.06/3610.30	c CG minimize time 0 s
3600.06/3610.30	c CG am1 prop time 0.028149 s
3600.06/3610.30	c CG # am1s reformulated 9
3600.06/3610.30	c CG lower bound derived from am1s 13
3600.06/3610.30	c CG # clausal cores 539
3600.06/3610.30	c CG # cardinality cores 0
3600.06/3610.30	c CG # pb cores 0
3600.06/3610.30	c CG # pb reforms 0
3600.06/3610.30	c CG # cores discarded because of pb reform 0
3600.06/3610.30	d LOWERBOUND 746
3600.06/3610.30	d NCORES 539
3600.06/3610.30	d NPBCORES 0
3600.06/3610.30	d NPBREFORM 0
3600.06/3610.30	d NTRIMMED 50
3600.06/3610.30	d NEXHAUSTED 0
3600.06/3610.30	d NAM1S 9
3600.06/3610.30	d AM1LB 13
3600.06/3610.30	c [Papilo Statistics]
3600.06/3610.30	c prepro time 0.0555832s
3600.06/3610.30	c # tsx applied 88
3600.06/3610.30	c # tsx conflicts 0
3600.06/3610.30	c # bound changes 15
3600.06/3610.30	c # side changes 0
3600.06/3610.30	c # coef changes 0
3600.06/3610.30	c # rounds 3
3600.06/3610.30	c # deted vars 16
3600.06/3610.30	c # deted constrs 162
3600.06/3610.30	c # consecutive rounds of only bound changes 0
3600.17/3610.42	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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 (62156 MiB free)
  memory of node 1: 64507 MiB (63551 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528857-1752256148/watcher-4528857-1752256148 -o /tmp/evaluation-result-4528857-1752256148/solver-4528857-1752256148 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1752256148-121310 --watchdog 3760 mixed-bag HOME/instance-4528857-1752256148.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=121362, runsolver pid=121359
Current StackSize limit: 8192 KiB


[startup+0.100067 s]*
/proc/loadavg: 3.39 3.96 4.04 5/266 121367
/proc/meminfo: memFree=128657992/131250000 swapFree=33010416/33010684
[pid=121362] ppid=121359 vsize=92372 memory=19480 CPUtime=0.09 cores=1,3
/proc/121362/stat : 121362 (mixed-bag) R 121359 121362 121298 0 -1 4194304 4329 0 0 0 8 1 0 0 20 0 1 0 141292674 94588928 4870 18446744073709551615 4235264 15840557 140730287819584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34332672 140730287827354 140730287827431 140730287827431 140730287833035 0
/proc/121362/statm: 23093 4870 2176 2834 0 5845 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 92372 KiB
Current children cumulated memory: 19480 KiB

[startup+0.205772 s]*
/proc/loadavg: 3.39 3.96 4.04 6/266 121367
/proc/meminfo: memFree=128577676/131250000 swapFree=33010416/33010684
[pid=121362] ppid=121359 vsize=129244 memory=50328 CPUtime=0.19 cores=1,3
/proc/121362/stat : 121362 (mixed-bag) R 121359 121362 121298 0 -1 4194304 10406 0 0 0 17 2 0 0 20 0 1 0 141292674 132345856 12582 18446744073709551615 4235264 15840557 140730287819584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34332672 140730287827354 140730287827431 140730287827431 140730287833035 0
/proc/121362/statm: 32311 12582 2336 2834 0 14516 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 129244 KiB
Current children cumulated memory: 50328 KiB

[startup+0.305816 s]*
/proc/loadavg: 3.39 3.96 4.04 5/266 121367
/proc/meminfo: memFree=128489412/131250000 swapFree=33010416/33010684
[pid=121362] ppid=121359 vsize=180676 memory=108092 CPUtime=0.29 cores=1,3
/proc/121362/stat : 121362 (mixed-bag) R 121359 121362 121298 0 -1 4194304 24362 0 0 0 25 4 0 0 20 0 1 0 141292674 185012224 27023 18446744073709551615 4235264 15840557 140730287819584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34332672 140730287827354 140730287827431 140730287827431 140730287833035 0
/proc/121362/statm: 45169 27023 3968 2834 0 27374 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 180676 KiB
Current children cumulated memory: 108092 KiB

[startup+0.700178 s]
/proc/loadavg: 3.39 3.96 4.04 5/266 121367
/proc/meminfo: memFree=128421120/131250000 swapFree=33010416/33010684
[pid=121362] ppid=121359 vsize=215480 memory=139164 CPUtime=0.68 cores=1,3
/proc/121362/stat : 121362 (mixed-bag) R 121359 121362 121298 0 -1 4194304 34545 0 0 0 62 6 0 0 20 0 1 0 141292674 220651520 34791 18446744073709551615 4235264 15840557 140730287819584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34332672 140730287827354 140730287827431 140730287827431 140730287833035 0
/proc/121362/statm: 53870 34791 4032 2834 0 36075 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 215480 KiB
Current children cumulated memory: 139164 KiB

[startup+1.50018 s]
/proc/loadavg: 3.43 3.96 4.04 5/266 121367
/proc/meminfo: memFree=128361396/131250000 swapFree=33010416/33010684
[pid=121362] ppid=121359 vsize=232376 memory=155088 CPUtime=1.48 cores=1,3
/proc/121362/stat : 121362 (mixed-bag) R 121359 121362 121298 0 -1 4194304 43936 0 0 0 140 8 0 0 20 0 1 0 141292674 237953024 38772 18446744073709551615 4235264 15840557 140730287819584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34332672 140730287827354 140730287827431 140730287827431 140730287833035 0
/proc/121362/statm: 58094 38772 4064 2834 0 40299 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 232376 KiB
Current children cumulated memory: 155088 KiB

[startup+3.10551 s]
/proc/loadavg: 3.43 3.96 4.04 5/266 121367
/proc/meminfo: memFree=128117108/131250000 swapFree=33010416/33010684
[pid=121362] ppid=121359 vsize=399572 memory=273532 CPUtime=3.08 cores=1,3
/proc/121362/stat : 121362 (mixed-bag) R 121359 121362 121298 0 -1 4194304 72904 0 0 0 296 12 0 0 20 0 1 0 141292674 409161728 68383 18446744073709551615 4235264 15840557 140730287819584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34332672 140730287827354 140730287827431 140730287827431 140730287833035 0
/proc/121362/statm: 99893 68383 4288 2834 0 82098 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 399572 KiB
Current children cumulated memory: 273532 KiB

[startup+6.30013 s]
/proc/loadavg: 3.48 3.96 4.04 5/266 121367
/proc/meminfo: memFree=128065348/131250000 swapFree=33010416/33010684
[pid=121362] ppid=121359 vsize=400760 memory=274300 CPUtime=6.26 cores=1,3
/proc/121362/stat : 121362 (mixed-bag) R 121359 121362 121298 0 -1 4194304 73090 0 0 0 614 12 0 0 20 0 1 0 141292674 410378240 68575 18446744073709551615 4235264 15840557 140730287819584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34332672 140730287827354 140730287827431 140730287827431 140730287833035 0
/proc/121362/statm: 100190 68575 4288 2834 0 82395 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 400760 KiB
Current children cumulated memory: 274300 KiB

[startup+12.7001 s]
/proc/loadavg: 3.60 3.98 4.04 5/266 121367
/proc/meminfo: memFree=127996996/131250000 swapFree=33010416/33010684
[pid=121362] ppid=121359 vsize=400760 memory=274428 CPUtime=12.64 cores=1,3
/proc/121362/stat : 121362 (mixed-bag) R 121359 121362 121298 0 -1 4194304 73118 0 0 0 1252 12 0 0 20 0 1 0 141292674 410378240 68607 18446744073709551615 4235264 15840557 140730287819584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34332672 140730287827354 140730287827431 140730287827431 140730287833035 0
/proc/121362/statm: 100190 68607 4288 2834 0 82395 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 400760 KiB
Current children cumulated memory: 274428 KiB

[startup+25.5002 s]
/proc/loadavg: 3.74 4.00 4.05 5/266 121368
/proc/meminfo: memFree=127840432/131250000 swapFree=33010416/33010684
[pid=121362] ppid=121359 vsize=403384 memory=276092 CPUtime=25.41 cores=1,3
/proc/121362/stat : 121362 (mixed-bag) R 121359 121362 121298 0 -1 4194304 73551 0 0 0 2529 12 0 0 20 0 1 0 141292674 413065216 69023 18446744073709551615 4235264 15840557 140730287819584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34332672 140730287827354 140730287827431 140730287827431 140730287833035 0
/proc/121362/statm: 100846 69023 4288 2834 0 83051 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 403384 KiB
Current children cumulated memory: 276092 KiB

[startup+51.1056 s]
/proc/loadavg: 3.85 4.00 4.05 5/266 121369
/proc/meminfo: memFree=127712928/131250000 swapFree=33010416/33010684
[pid=121362] ppid=121359 vsize=426088 memory=296316 CPUtime=50.95 cores=1,3
/proc/121362/stat : 121362 (mixed-bag) R 121359 121362 121298 0 -1 4194304 78615 0 0 0 5082 13 0 0 20 0 1 0 141292674 436314112 74079 18446744073709551615 4235264 15840557 140730287819584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34332672 140730287827354 140730287827431 140730287827431 140730287833035 0
/proc/121362/statm: 106522 74079 4288 2834 0 88727 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 426088 KiB
Current children cumulated memory: 296316 KiB

[startup+102.3 s]
/proc/loadavg: 3.98 4.01 4.05 5/265 121371
/proc/meminfo: memFree=127557288/131250000 swapFree=33010416/33010684
[pid=121362] ppid=121359 vsize=499592 memory=365436 CPUtime=102 cores=1,3
/proc/121362/stat : 121362 (mixed-bag) R 121359 121362 121298 0 -1 4194304 95938 0 0 0 10184 16 0 0 20 0 1 0 141292674 511582208 91359 18446744073709551615 4235264 15840557 140730287819584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34332672 140730287827354 140730287827431 140730287827431 140730287833035 0
/proc/121362/statm: 124898 91359 4288 2834 0 107103 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 499592 KiB
Current children cumulated memory: 365436 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.04 4.05 5/265 121373
/proc/meminfo: memFree=127426308/131250000 swapFree=33010416/33010684
[pid=121362] ppid=121359 vsize=509004 memory=374524 CPUtime=161.85 cores=1,3
/proc/121362/stat : 121362 (mixed-bag) R 121359 121362 121298 0 -1 4194304 98215 0 0 0 16169 16 0 0 20 0 1 0 141292674 521220096 93631 18446744073709551615 4235264 15840557 140730287819584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34332672 140730287827354 140730287827431 140730287827431 140730287833035 0
/proc/121362/statm: 127251 93631 4288 2834 0 109456 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 509004 KiB
Current children cumulated memory: 374524 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.04 4.05 5/266 121376
/proc/meminfo: memFree=127277544/131250000 swapFree=33010416/33010684
[pid=121362] ppid=121359 vsize=509160 memory=374652 CPUtime=221.7 cores=1,3
/proc/121362/stat : 121362 (mixed-bag) R 121359 121362 121298 0 -1 4194304 98241 0 0 0 22153 17 0 0 20 0 1 0 141292674 521379840 93663 18446744073709551615 4235264 15840557 140730287819584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34332672 140730287827354 140730287827431 140730287827431 140730287833035 0
/proc/121362/statm: 127290 93663 4288 2834 0 109495 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 509160 KiB
Current children cumulated memory: 374652 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.07 4.06 5/266 121378
/proc/meminfo: memFree=127256628/131250000 swapFree=33010416/33010684
[pid=121362] ppid=121359 vsize=509160 memory=378492 CPUtime=281.54 cores=1,3
/proc/121362/stat : 121362 (mixed-bag) R 121359 121362 121298 0 -1 4194304 99502 0 0 0 28137 17 0 0 20 0 1 0 141292674 521379840 94623 18446744073709551615 4235264 15840557 140730287819584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34332672 140730287827354 140730287827431 140730287827431 140730287833035 0
/proc/121362/statm: 127290 94623 4320 2834 0 109495 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 509160 KiB
Current children cumulated memory: 378492 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.07 4.06 5/265 121380
/proc/meminfo: memFree=126201312/131250000 swapFree=33010416/33010684
[pid=121362] ppid=121359 vsize=1185932 memory=963220 CPUtime=341.39 cores=1,3
/proc/121362/stat : 121362 (mixed-bag) R 121359 121362 121298 0 -1 4194304 149106 0 0 0 33719 420 0 0 20 0 1 0 141292674 1214394368 240805 18446744073709551615 4235264 15840557 140730287819584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34332672 140730287827354 140730287827431 140730287827431 140730287833035 0
/proc/121362/statm: 296483 240805 4480 2834 0 278688 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 1185932 KiB
Current children cumulated memory: 963220 KiB

[startup+402.3 s]
/proc/loadavg: 4.04 4.05 4.05 5/265 121390
/proc/meminfo: memFree=125384660/131250000 swapFree=33010416/33010684
[pid=121362] ppid=121359 vsize=1632724 memory=1407548 CPUtime=401.23 cores=1,3
/proc/121362/stat : 121362 (mixed-bag) R 121359 121362 121298 0 -1 4194304 231064 0 0 0 39575 548 0 0 20 0 1 0 141292674 1671909376 351887 18446744073709551615 4235264 15840557 140730287819584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34332672 140730287827354 140730287827431 140730287827431 140730287833035 0
/proc/121362/statm: 408181 351887 4480 2834 0 390386 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 1632724 KiB
Current children cumulated memory: 1407548 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.07 4.06 5/265 121392
/proc/meminfo: memFree=125028268/131250000 swapFree=33010416/33010684
[pid=121362] ppid=121359 vsize=2011680 memory=1621196 CPUtime=461.06 cores=1,3
/proc/121362/stat : 121362 (mixed-bag) R 121359 121362 121298 0 -1 4194304 252886 0 0 0 45441 665 0 0 20 0 1 0 141292674 2059960320 405299 18446744073709551615 4235264 15840557 140730287819584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34332672 140730287827354 140730287827431 140730287827431 140730287833035 0
/proc/121362/statm: 502920 405299 4480 2834 0 485125 0
Current children cumulated CPU time: 461.06 s

################
# More data... #
################

Current children cumulated memory: 4314580 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 121529
/proc/meminfo: memFree=118980140/131250000 swapFree=33010416/33010684
[pid=121362] ppid=121359 vsize=5488568 memory=4315988 CPUtime=2914.05 cores=1,3
/proc/121362/stat : 121362 (mixed-bag) R 121359 121362 121298 0 -1 4194304 657857 0 0 0 289106 2299 0 0 20 0 1 0 141292674 5620293632 1078997 18446744073709551615 4235264 15840557 140730287819584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34332672 140730287827354 140730287827431 140730287827431 140730287833035 0
/proc/121362/statm: 1372142 1078997 4480 2834 0 1354347 0
Current children cumulated CPU time: 2914.05 s
Current children cumulated vsize: 5488568 KiB
Current children cumulated memory: 4315988 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 121531
/proc/meminfo: memFree=118931232/131250000 swapFree=33010416/33010684
[pid=121362] ppid=121359 vsize=5522616 memory=4361648 CPUtime=2973.88 cores=1,3
/proc/121362/stat : 121362 (mixed-bag) R 121359 121362 121298 0 -1 4194304 665811 0 0 0 295073 2315 0 0 20 0 1 0 141292674 5655158784 1090412 18446744073709551615 4235264 15840557 140730287819584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34332672 140730287827354 140730287827431 140730287827431 140730287833035 0
/proc/121362/statm: 1380654 1090412 4480 2834 0 1362859 0
Current children cumulated CPU time: 2973.88 s
Current children cumulated vsize: 5522616 KiB
Current children cumulated memory: 4361648 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 121534
/proc/meminfo: memFree=118932224/131250000 swapFree=33010416/33010684
[pid=121362] ppid=121359 vsize=5522616 memory=4361648 CPUtime=3033.72 cores=1,3
/proc/121362/stat : 121362 (mixed-bag) R 121359 121362 121298 0 -1 4194304 665811 0 0 0 301043 2329 0 0 20 0 1 0 141292674 5655158784 1090412 18446744073709551615 4235264 15840557 140730287819584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34332672 140730287827354 140730287827431 140730287827431 140730287833035 0
/proc/121362/statm: 1380654 1090412 4480 2834 0 1362859 0
Current children cumulated CPU time: 3033.72 s
Current children cumulated vsize: 5522616 KiB
Current children cumulated memory: 4361648 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 121537
/proc/meminfo: memFree=118891652/131250000 swapFree=33010416/33010684
[pid=121362] ppid=121359 vsize=5522616 memory=4361776 CPUtime=3093.55 cores=1,3
/proc/121362/stat : 121362 (mixed-bag) R 121359 121362 121298 0 -1 4194304 665846 0 0 0 307015 2340 0 0 20 0 1 0 141292674 5655158784 1090444 18446744073709551615 4235264 15840557 140730287819584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34332672 140730287827354 140730287827431 140730287827431 140730287833035 0
/proc/121362/statm: 1380654 1090444 4480 2834 0 1362859 0
Current children cumulated CPU time: 3093.55 s
Current children cumulated vsize: 5522616 KiB
Current children cumulated memory: 4361776 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 121539
/proc/meminfo: memFree=118867192/131250000 swapFree=33010416/33010684
[pid=121362] ppid=121359 vsize=5522616 memory=4363952 CPUtime=3153.38 cores=1,3
/proc/121362/stat : 121362 (mixed-bag) R 121359 121362 121298 0 -1 4194304 666549 0 0 0 312991 2347 0 0 20 0 1 0 141292674 5655158784 1090988 18446744073709551615 4235264 15840557 140730287819584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34332672 140730287827354 140730287827431 140730287827431 140730287833035 0
/proc/121362/statm: 1380654 1090988 4480 2834 0 1362859 0
Current children cumulated CPU time: 3153.38 s
Current children cumulated vsize: 5522616 KiB
Current children cumulated memory: 4363952 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 121542
/proc/meminfo: memFree=118644476/131250000 swapFree=33010416/33010684
[pid=121362] ppid=121359 vsize=5740228 memory=4563796 CPUtime=3213.19 cores=1,3
/proc/121362/stat : 121362 (mixed-bag) R 121359 121362 121298 0 -1 4194304 702258 0 0 0 318957 2362 0 0 20 0 1 0 141292674 5877993472 1140949 18446744073709551615 4235264 15840557 140730287819584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34332672 140730287827354 140730287827431 140730287827431 140730287833035 0
/proc/121362/statm: 1435057 1140949 4480 2834 0 1417262 0
Current children cumulated CPU time: 3213.19 s
Current children cumulated vsize: 5740228 KiB
Current children cumulated memory: 4563796 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 121544
/proc/meminfo: memFree=118433692/131250000 swapFree=33010416/33010684
[pid=121362] ppid=121359 vsize=5922768 memory=4740356 CPUtime=3273.03 cores=1,3
/proc/121362/stat : 121362 (mixed-bag) R 121359 121362 121298 0 -1 4194304 733094 0 0 0 324922 2381 0 0 20 0 1 0 141292674 6064914432 1185089 18446744073709551615 4235264 15840557 140730287819584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34332672 140730287827354 140730287827431 140730287827431 140730287833035 0
/proc/121362/statm: 1480692 1185089 4480 2834 0 1462897 0
Current children cumulated CPU time: 3273.03 s
Current children cumulated vsize: 5922768 KiB
Current children cumulated memory: 4740356 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 121547
/proc/meminfo: memFree=118381348/131250000 swapFree=33010416/33010684
[pid=121362] ppid=121359 vsize=5922768 memory=4740356 CPUtime=3332.86 cores=1,3
/proc/121362/stat : 121362 (mixed-bag) R 121359 121362 121298 0 -1 4194304 733098 0 0 0 330885 2401 0 0 20 0 1 0 141292674 6064914432 1185089 18446744073709551615 4235264 15840557 140730287819584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34332672 140730287827354 140730287827431 140730287827431 140730287833035 0
/proc/121362/statm: 1480692 1185089 4480 2834 0 1462897 0
Current children cumulated CPU time: 3332.86 s
Current children cumulated vsize: 5922768 KiB
Current children cumulated memory: 4740356 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 121556
/proc/meminfo: memFree=118269236/131250000 swapFree=33010416/33010684
[pid=121362] ppid=121359 vsize=5966804 memory=4771844 CPUtime=3392.69 cores=1,3
/proc/121362/stat : 121362 (mixed-bag) R 121359 121362 121298 0 -1 4194304 741172 0 0 0 336849 2420 0 0 20 0 1 0 141292674 6110007296 1192961 18446744073709551615 4235264 15840557 140730287819584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34332672 140730287827354 140730287827431 140730287827431 140730287833035 0
/proc/121362/statm: 1491701 1192961 4480 2834 0 1473906 0
Current children cumulated CPU time: 3392.69 s
Current children cumulated vsize: 5966804 KiB
Current children cumulated memory: 4771844 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.13 4.10 5/265 121558
/proc/meminfo: memFree=118242476/131250000 swapFree=33010416/33010684
[pid=121362] ppid=121359 vsize=5966804 memory=4772484 CPUtime=3452.52 cores=1,3
/proc/121362/stat : 121362 (mixed-bag) R 121359 121362 121298 0 -1 4194304 741335 0 0 0 342815 2437 0 0 20 0 1 0 141292674 6110007296 1193121 18446744073709551615 4235264 15840557 140730287819584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34332672 140730287827354 140730287827431 140730287827431 140730287833035 0
/proc/121362/statm: 1491701 1193121 4480 2834 0 1473906 0
Current children cumulated CPU time: 3452.52 s
Current children cumulated vsize: 5966804 KiB
Current children cumulated memory: 4772484 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 121560
/proc/meminfo: memFree=118222076/131250000 swapFree=33010416/33010684
[pid=121362] ppid=121359 vsize=5971668 memory=4779652 CPUtime=3512.33 cores=1,3
/proc/121362/stat : 121362 (mixed-bag) R 121359 121362 121298 0 -1 4194304 743251 0 0 0 348771 2462 0 0 20 0 1 0 141292674 6114988032 1194913 18446744073709551615 4235264 15840557 140730287819584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34332672 140730287827354 140730287827431 140730287827431 140730287833035 0
/proc/121362/statm: 1492917 1194913 4480 2834 0 1475122 0
Current children cumulated CPU time: 3512.33 s
Current children cumulated vsize: 5971668 KiB
Current children cumulated memory: 4779652 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 121563
/proc/meminfo: memFree=118004264/131250000 swapFree=33010416/33010684
[pid=121362] ppid=121359 vsize=6150112 memory=4925492 CPUtime=3572.15 cores=1,3
/proc/121362/stat : 121362 (mixed-bag) R 121359 121362 121298 0 -1 4194304 773639 0 0 0 354735 2480 0 0 20 0 1 0 141292674 6297714688 1231373 18446744073709551615 4235264 15840557 140730287819584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34332672 140730287827354 140730287827431 140730287827431 140730287833035 0
/proc/121362/statm: 1537528 1231373 4480 2834 0 1519733 0
Current children cumulated CPU time: 3572.15 s
Current children cumulated vsize: 6150112 KiB
Current children cumulated memory: 4925492 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 4.13 4.12 4.09 4/261 121572
/proc/meminfo: memFree=119265940/131250000 swapFree=33010416/33010684
[pid=121362] ppid=121359 vsize=6150112 memory=4925492 CPUtime=3600.06 cores=1,3
/proc/121362/stat : 121362 (mixed-bag) R 121359 121362 121298 0 -1 4194304 773639 0 0 0 357520 2486 0 0 20 0 1 0 141292674 6297714688 1231373 18446744073709551615 4235264 15840557 140730287819584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34332672 140730287827354 140730287827431 140730287827431 140730287833035 0
/proc/121362/statm: 1537528 1231373 4480 2834 0 1519733 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 6150112 KiB
Current children cumulated memory: 4925492 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3610.45 s]
# the end of solver process 121362 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3575.22 s, system=25.0085 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3610.4 s]
/proc/loadavg: 4.13 4.12 4.09 4/261 121572
/proc/meminfo: memFree=119265940/131250000 swapFree=33010416/33010684
[pid=121362] ppid=121359 vsize=4520804 memory=2858512 CPUtime=3600.17 cores=1,3
/proc/121362/stat : 121362 (mixed-bag) R 121359 121362 121298 0 -1 4194304 773649 0 0 0 357521 2496 0 0 20 0 1 0 141292674 4629303296 714628 18446744073709551615 4235264 15840557 140730287819584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34332672 140730287827354 140730287827431 140730287827431 140730287833035 0
/proc/121362/statm: 1130201 714628 4608 2834 0 1112406 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 4520804 KiB
Current children cumulated memory: 2858512 KiB

Child status: 0

Real time (s): 3610.45
CPU time (s): 3600.23
CPU user time (s): 3575.22
CPU system time (s): 25.0085
CPU usage (%): 99.7168
Max. virtual memory (cumulated for all children) (KiB): 6150112
Max. memory (cumulated for all children) (KiB): 4925492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.22
system time used= 25.0085
maximum resident set size= 4926004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 773668
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= 260
involuntary context switches= 7217


# summary of solver processes directly reported to runsolver:
#   pid: 121362
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3575.22
#   total CPU system time (s): 25.0085

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.13026 second user time and 16.6376 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-07-11 19:49:08
IDJOB=4528857
IDBENCH=146800
IDSOLVER=3386
FILE ID=nodeC018/4528857-1752256148
RUNJOBID= nodeC018-1752256148-121310
SLURM_JOB_ID= 9682594
Free space on /tmp= 432568 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-core4284-1064.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528857-1752256148/watcher-4528857-1752256148 -o /tmp/evaluation-result-4528857-1752256148/solver-4528857-1752256148 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1752256148-121310 --watchdog 3760  mixed-bag HOME/instance-4528857-1752256148.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 9634c234ec2c2f6b5ee1ba365a629db0
RANDOM SEED=823707792

nodeC018 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.071
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.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.085
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.66
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		: 3652.576
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.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.867
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.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.363
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.66
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.820
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.66
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.741
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.66
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		: 3603.151
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.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128733024 kB
MemAvailable:   129700752 kB
Buffers:            2128 kB
Cached:          1729020 kB
SwapCached:           32 kB
Active:           597956 kB
Inactive:        1200188 kB
Active(anon):      84752 kB
Inactive(anon):      288 kB
Active(file):     513204 kB
Inactive(file):  1199900 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             68696 kB
Writeback:             0 kB
AnonPages:         70332 kB
Mapped:           105680 kB
Shmem:             18044 kB
KReclaimable:     187328 kB
Slab:             280672 kB
SReclaimable:     187328 kB
SUnreclaim:        93344 kB
KernelStack:        3972 kB
PageTables:         2712 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     335344 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432508 MiB
End job on nodeC018 at 2025-07-11 20:49:19