Trace number 4522730

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
pb-oll-rs-2024 2025-05-06? (MO) 2560.36 2568.95

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/SMTI_PBO/SMTI_50000_3_0.85_4.opb
MD5SUM80bbccedb85ca0271e993b8d74e189a8
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6142
Best CPU time to get the best result obtained on this benchmark58.51
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables250000
Total number of constraints250001
Number of constraints which are clauses150000
Number of constraints which are cardinality constraints (but not clauses)100000
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint100000
Number of terms in the objective function 100000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100000
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100000
Number of bits of the biggest sum of numbers17
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.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c [STEP] parsing instance
1.17/1.28	c [STEP] solving
1.17/1.28	c #variables 250000 #constraints 345849
1.17/1.28	c SMALL=int, LARGE=long long
1.17/1.29	c bounds - >= 2491 @ 1.00087
1.17/1.29	c stratification level: 0
36.68/36.88	c bounds - >= 5451 @ 30.0893
36.68/36.88	c bounds - >= 5452 @ 30.2011
36.68/36.88	c bounds - >= 5453 @ 30.2142
36.68/36.88	c bounds - >= 5454 @ 30.2265
36.68/36.88	c bounds - >= 5455 @ 30.2401
36.68/36.88	c bounds - >= 5456 @ 30.2548
36.68/36.88	c bounds - >= 5457 @ 30.2684
36.68/36.88	c bounds - >= 5458 @ 30.2831
36.68/36.88	c bounds - >= 5459 @ 30.2995
36.68/36.88	c bounds - >= 5460 @ 30.3163
36.68/36.88	c bounds - >= 5461 @ 30.3289
36.68/36.88	c bounds - >= 5462 @ 30.3435
36.68/36.88	c bounds - >= 5463 @ 30.3609
36.68/36.88	c bounds - >= 5464 @ 30.3763
36.68/36.88	c bounds - >= 5465 @ 30.3914
36.68/36.88	c bounds - >= 5466 @ 30.4061
36.68/36.88	c bounds - >= 5467 @ 30.4193
36.68/36.88	c bounds - >= 5468 @ 30.4363
36.68/36.88	c bounds - >= 5469 @ 30.4508
36.68/36.88	c bounds - >= 5470 @ 30.4699
36.68/36.88	c bounds - >= 5471 @ 30.4852
36.68/36.88	c bounds - >= 5472 @ 30.5015
36.68/36.88	c bounds - >= 5473 @ 30.52
36.68/36.88	c bounds - >= 5474 @ 30.5354
36.68/36.88	c bounds - >= 5475 @ 30.5508
36.68/36.88	c bounds - >= 5476 @ 30.572
36.68/36.88	c bounds - >= 5477 @ 30.5863
36.68/36.88	c bounds - >= 5478 @ 30.6046
36.68/36.88	c bounds - >= 5479 @ 30.6232
36.68/36.88	c bounds - >= 5480 @ 30.6397
36.68/36.88	c bounds - >= 5481 @ 30.6553
36.68/36.88	c bounds - >= 5482 @ 30.6732
36.68/36.88	c bounds - >= 5483 @ 30.6907
36.68/36.88	c bounds - >= 5484 @ 30.7091
36.68/36.88	c bounds - >= 5485 @ 30.7321
36.68/36.88	c bounds - >= 5486 @ 30.7529
36.68/36.88	c bounds - >= 5487 @ 30.7751
36.68/36.88	c bounds - >= 5488 @ 30.7916
36.68/36.88	c bounds - >= 5489 @ 30.8168
36.68/36.88	c bounds - >= 5490 @ 30.8378
36.68/36.88	c bounds - >= 5491 @ 30.8591
36.68/36.88	c bounds - >= 5492 @ 30.879
36.68/36.88	c bounds - >= 5493 @ 30.8996
36.68/36.88	c bounds - >= 5494 @ 30.921
36.68/36.88	c bounds - >= 5495 @ 30.9423
36.68/36.88	c bounds - >= 5496 @ 30.9616
36.68/36.88	c bounds - >= 5497 @ 30.9856
36.68/36.88	c bounds - >= 5498 @ 31.0106
36.68/36.88	c bounds - >= 5499 @ 31.0317
36.68/36.88	c bounds - >= 5500 @ 31.0556
36.68/36.88	c bounds - >= 5501 @ 31.0732
36.68/36.88	c bounds - >= 5502 @ 31.0957
36.68/36.88	c bounds - >= 5503 @ 31.1183
36.68/36.88	c bounds - >= 5504 @ 31.1438
36.68/36.88	c bounds - >= 5505 @ 31.171
36.68/36.88	c bounds - >= 5506 @ 31.1943
36.68/36.88	c bounds - >= 5507 @ 31.2175
36.68/36.88	c bounds - >= 5508 @ 31.2379
36.68/36.88	c bounds - >= 5509 @ 31.26
36.68/36.88	c bounds - >= 5510 @ 31.2823
36.68/36.88	c bounds - >= 5511 @ 31.3085
36.68/36.88	c bounds - >= 5512 @ 31.3338
36.68/36.88	c bounds - >= 5513 @ 31.3586
36.68/36.88	c bounds - >= 5514 @ 31.381
36.68/36.88	c bounds - >= 5515 @ 31.4042
36.68/36.88	c bounds - >= 5516 @ 31.4232
36.68/36.88	c bounds - >= 5517 @ 31.4515
36.68/36.88	c bounds - >= 5518 @ 31.4775
36.68/36.88	c bounds - >= 5519 @ 31.5038
36.68/36.88	c bounds - >= 5520 @ 31.5295
36.68/36.88	c bounds - >= 5521 @ 31.555
36.68/36.88	c bounds - >= 5522 @ 31.5803
36.68/36.88	c bounds - >= 5523 @ 31.6033
36.68/36.88	c bounds - >= 5524 @ 31.6265
36.68/36.88	c bounds - >= 5525 @ 31.6566
36.68/36.88	c bounds - >= 5526 @ 31.6838
36.68/36.88	c bounds - >= 5527 @ 31.7081
36.68/36.88	c bounds - >= 5528 @ 31.7391
36.68/36.88	c bounds - >= 5529 @ 31.763
36.68/36.88	c bounds - >= 5530 @ 31.7854
36.68/36.88	c bounds - >= 5531 @ 31.8131
36.68/36.88	c bounds - >= 5532 @ 31.8375
36.68/36.88	c bounds - >= 5533 @ 31.8605
36.68/36.88	c bounds - >= 5534 @ 31.8859
36.68/36.88	c bounds - >= 5535 @ 31.9104
36.68/36.88	c bounds - >= 5536 @ 31.9384
36.68/36.88	c bounds - >= 5537 @ 31.9657
36.68/36.88	c bounds - >= 5538 @ 31.99
36.68/36.88	c bounds - >= 5539 @ 32.0215
36.68/36.88	c bounds - >= 5540 @ 32.0489
36.68/36.88	c bounds - >= 5541 @ 32.0769
36.68/36.88	c bounds - >= 5542 @ 32.1022
36.68/36.88	c bounds - >= 5543 @ 32.126
36.68/36.88	c bounds - >= 5544 @ 32.1514
36.68/36.88	c bounds - >= 5545 @ 32.1773
36.68/36.88	c bounds - >= 5546 @ 32.2072
36.68/36.88	c bounds - >= 5547 @ 32.2339
36.68/36.88	c bounds - >= 5548 @ 32.2637
36.68/36.88	c bounds - >= 5549 @ 32.293
36.68/36.88	c bounds - >= 5550 @ 32.3255
36.68/36.88	c bounds - >= 5551 @ 32.3577
36.68/36.88	c bounds - >= 5552 @ 32.3888
36.68/36.88	c bounds - >= 5553 @ 32.4174
36.68/36.88	c bounds - >= 5554 @ 32.4437
36.68/36.88	c bounds - >= 5555 @ 32.4762
36.68/36.88	c bounds - >= 5556 @ 32.5084
36.68/36.88	c bounds - >= 5557 @ 32.5403
36.68/36.88	c bounds - >= 5558 @ 32.571
36.68/36.88	c bounds - >= 5559 @ 32.6009
36.68/36.88	c bounds - >= 5560 @ 32.6267
36.68/36.88	c bounds - >= 5561 @ 32.6533
36.68/36.88	c bounds - >= 5562 @ 32.6856
36.68/36.88	c bounds - >= 5563 @ 32.7095
36.68/36.88	c bounds - >= 5564 @ 32.7391
36.68/36.88	c bounds - >= 5565 @ 32.7637
36.68/36.88	c bounds - >= 5566 @ 32.7935
36.68/36.88	c bounds - >= 5567 @ 32.8229
36.68/36.88	c bounds - >= 5568 @ 32.8529
36.68/36.88	c bounds - >= 5569 @ 32.8817
36.68/36.88	c bounds - >= 5570 @ 32.9129
36.68/36.88	c bounds - >= 5571 @ 32.9459
36.68/36.88	c bounds - >= 5572 @ 32.9759
36.68/36.88	c bounds - >= 5573 @ 33.0049
36.68/36.88	c bounds - >= 5574 @ 33.033
36.68/36.88	c bounds - >= 5575 @ 33.0614
36.68/36.88	c bounds - >= 5576 @ 33.0906
36.68/36.88	c bounds - >= 5577 @ 33.119
36.68/36.88	c bounds - >= 5578 @ 33.1547
36.68/36.88	c bounds - >= 5579 @ 33.1827
36.68/36.88	c bounds - >= 5580 @ 33.2156
36.68/36.88	c bounds - >= 5581 @ 33.2417
36.68/36.88	c bounds - >= 5582 @ 33.2715
36.68/36.88	c bounds - >= 5583 @ 33.3016
36.68/36.88	c bounds - >= 5584 @ 33.3332
36.68/36.88	c bounds - >= 5585 @ 33.3606
36.68/36.88	c bounds - >= 5586 @ 33.3963
36.68/36.88	c bounds - >= 5587 @ 33.4287
36.68/36.88	c bounds - >= 5588 @ 33.4614
36.68/36.88	c bounds - >= 5589 @ 33.4974
36.68/36.88	c bounds - >= 5590 @ 33.5306
36.68/36.88	c bounds - >= 5591 @ 33.5625
36.68/36.88	c bounds - >= 5592 @ 33.5941
117.96/118.35	c bounds - >= 5593 @ 33.6294
117.96/118.35	c bounds - >= 5594 @ 33.6675
117.96/118.35	c bounds - >= 5595 @ 33.7078
117.96/118.35	c bounds - >= 5596 @ 33.7407
117.96/118.35	c bounds - >= 5597 @ 33.778
117.96/118.35	c bounds - >= 5598 @ 33.8012
117.96/118.35	c bounds - >= 5599 @ 33.835
117.96/118.35	c bounds - >= 5600 @ 33.8685
117.96/118.35	c bounds - >= 5601 @ 33.904
117.96/118.35	c bounds - >= 5602 @ 33.9419
117.96/118.35	c bounds - >= 5603 @ 33.9761
117.96/118.35	c bounds - >= 5604 @ 34.0117
117.96/118.35	c bounds - >= 5605 @ 34.0471
117.96/118.35	c bounds - >= 5606 @ 34.0861
117.96/118.35	c bounds - >= 5607 @ 34.1235
117.96/118.35	c bounds - >= 5608 @ 34.1598
117.96/118.35	c bounds - >= 5609 @ 34.1985
117.96/118.35	c bounds - >= 5610 @ 34.2378
117.96/118.35	c bounds - >= 5611 @ 34.2713
117.96/118.35	c bounds - >= 5612 @ 34.3069
117.96/118.35	c bounds - >= 5613 @ 34.345
117.96/118.35	c bounds - >= 5614 @ 34.3843
117.96/118.35	c bounds - >= 5615 @ 34.4199
117.96/118.35	c bounds - >= 5616 @ 34.4642
117.96/118.35	c bounds - >= 5617 @ 34.5063
117.96/118.35	c #Conflicts:       1000 | #Constraints:     347561
117.96/118.35	c finalizing WCE round: reformulating cores
198.65/199.29	c bounds 6182 >= 5617 @ 143.113
198.65/199.29	c bounds 6182 >= 5617 @ 143.292
198.65/199.29	c bounds 6182 >= 5617 @ 143.465
198.65/199.29	c bounds 6182 >= 5617 @ 143.548
198.65/199.29	c bounds 6182 >= 5617 @ 143.632
198.65/199.29	c bounds 6182 >= 5617 @ 144.094
198.65/199.29	c bounds 6182 >= 5617 @ 144.169
198.65/199.29	c bounds 6182 >= 5617 @ 146.225
198.65/199.29	c bounds 6182 >= 5617 @ 146.325
198.65/199.29	c bounds 6182 >= 5617 @ 146.387
198.65/199.29	c bounds 6182 >= 5617 @ 146.462
198.65/199.29	c bounds 6182 >= 5617 @ 148.767
198.65/199.29	c bounds 6182 >= 5617 @ 148.982
198.65/199.29	c bounds 6182 >= 5617 @ 149.326
198.65/199.29	c bounds 6182 >= 5617 @ 149.417
198.65/199.29	c bounds 6182 >= 5617 @ 149.488
198.65/199.29	c bounds 6182 >= 5617 @ 149.571
198.65/199.29	c bounds 6182 >= 5617 @ 150.082
198.65/199.29	c bounds 6182 >= 5617 @ 150.242
198.65/199.29	c bounds 6182 >= 5617 @ 150.31
198.65/199.29	c bounds 6182 >= 5617 @ 150.375
198.65/199.29	c bounds 6182 >= 5617 @ 150.442
198.65/199.29	c bounds 6182 >= 5617 @ 150.512
198.65/199.29	c bounds 6182 >= 5617 @ 150.583
198.65/199.29	c bounds 6182 >= 5617 @ 150.657
198.65/199.29	c bounds 6182 >= 5617 @ 150.725
198.65/199.29	c bounds 6182 >= 5617 @ 150.788
198.65/199.29	c bounds 6182 >= 5617 @ 151.336
198.65/199.29	c bounds 6182 >= 5617 @ 151.404
198.65/199.29	c bounds 6182 >= 5617 @ 151.475
198.65/199.29	c bounds 6182 >= 5617 @ 151.54
198.65/199.29	c bounds 6182 >= 5617 @ 151.615
198.65/199.29	c bounds 6182 >= 5617 @ 151.684
198.65/199.29	c bounds 6182 >= 5617 @ 151.757
198.65/199.29	c bounds 6182 >= 5617 @ 151.827
198.65/199.29	c bounds 6182 >= 5617 @ 151.903
198.65/199.29	c bounds 6182 >= 5617 @ 151.977
198.65/199.29	c bounds 6182 >= 5617 @ 152.047
198.65/199.29	c bounds 6182 >= 5617 @ 152.117
198.65/199.29	c bounds 6182 >= 5617 @ 152.191
198.65/199.29	c bounds 6182 >= 5617 @ 152.272
198.65/199.29	c bounds 6182 >= 5617 @ 152.342
198.65/199.29	c bounds 6182 >= 5617 @ 152.415
198.65/199.29	c bounds 6182 >= 5617 @ 152.482
198.65/199.29	c bounds 6182 >= 5617 @ 152.555
198.65/199.29	c bounds 6182 >= 5617 @ 153.036
198.65/199.29	c bounds 6182 >= 5617 @ 153.361
198.65/199.29	c bounds 6182 >= 5617 @ 153.432
198.65/199.29	c bounds 6182 >= 5617 @ 153.592
198.65/199.29	c bounds 6182 >= 5617 @ 153.662
198.65/199.29	c bounds 6182 >= 5617 @ 153.81
198.65/199.29	c bounds 6182 >= 5617 @ 153.888
198.65/199.29	c bounds 6182 >= 5617 @ 154.001
198.65/199.29	c bounds 6182 >= 5617 @ 154.078
198.65/199.29	c bounds 6182 >= 5617 @ 154.156
198.65/199.29	c bounds 6182 >= 5617 @ 154.23
198.65/199.29	c bounds 6182 >= 5617 @ 154.306
198.65/199.29	c bounds 6182 >= 5617 @ 154.592
198.65/199.29	c bounds 6182 >= 5617 @ 154.674
198.65/199.29	c bounds 6182 >= 5617 @ 154.757
198.65/199.29	c bounds 6182 >= 5617 @ 154.836
198.65/199.29	c bounds 6182 >= 5617 @ 154.912
198.65/199.29	c bounds 6182 >= 5617 @ 154.987
198.65/199.29	c bounds 6182 >= 5617 @ 155.062
198.65/199.29	c bounds 6182 >= 5617 @ 155.137
198.65/199.29	c bounds 6182 >= 5617 @ 155.21
198.65/199.29	c bounds 6182 >= 5617 @ 155.281
198.65/199.29	c bounds 6182 >= 5617 @ 155.352
198.65/199.29	c bounds 6182 >= 5617 @ 155.429
198.65/199.29	c bounds 6182 >= 5617 @ 155.509
198.65/199.29	c bounds 6182 >= 5617 @ 155.583
198.65/199.29	c bounds 6182 >= 5617 @ 155.654
198.65/199.29	c bounds 6182 >= 5617 @ 155.724
198.65/199.29	c bounds 6182 >= 5617 @ 155.8
198.65/199.29	c bounds 6182 >= 5617 @ 155.876
198.65/199.29	c bounds 6182 >= 5617 @ 155.949
198.65/199.29	c bounds 6182 >= 5617 @ 156.025
198.65/199.29	c bounds 6182 >= 5617 @ 156.1
198.65/199.29	c bounds 6182 >= 5617 @ 156.255
198.65/199.29	c bounds 6182 >= 5617 @ 156.333
198.65/199.29	c bounds 6182 >= 5617 @ 156.408
198.65/199.29	c bounds 6182 >= 5617 @ 156.486
198.65/199.29	c bounds 6182 >= 5617 @ 156.565
198.65/199.29	c bounds 6182 >= 5617 @ 156.649
198.65/199.29	c bounds 6182 >= 5617 @ 156.724
198.65/199.29	c bounds 6182 >= 5617 @ 156.806
198.65/199.29	c bounds 6182 >= 5617 @ 156.891
198.65/199.29	c bounds 6182 >= 5617 @ 156.97
198.65/199.29	c bounds 6182 >= 5617 @ 157.055
198.65/199.29	c bounds 6182 >= 5617 @ 157.138
198.65/199.29	c bounds 6182 >= 5617 @ 157.226
198.65/199.29	c bounds 6182 >= 5617 @ 157.3
198.65/199.29	c bounds 6182 >= 5617 @ 157.38
198.65/199.29	c bounds 6182 >= 5617 @ 157.457
198.65/199.29	c bounds 6182 >= 5617 @ 157.537
198.65/199.29	c bounds 6182 >= 5617 @ 157.617
198.65/199.29	c bounds 6182 >= 5617 @ 157.702
198.65/199.29	c bounds 6182 >= 5617 @ 157.786
198.65/199.29	c bounds 6182 >= 5617 @ 157.872
198.65/199.29	c bounds 6182 >= 5617 @ 157.957
198.65/199.29	c bounds 6182 >= 5617 @ 158.031
198.65/199.29	c bounds 6182 >= 5617 @ 158.115
198.65/199.29	c bounds 6182 >= 5617 @ 158.201
198.65/199.29	c bounds 6182 >= 5617 @ 158.285
198.65/199.29	c bounds 6182 >= 5617 @ 158.364
198.65/199.29	c bounds 6182 >= 5617 @ 158.516
198.65/199.29	c bounds 6182 >= 5617 @ 158.596
198.65/199.29	c bounds 6182 >= 5617 @ 158.757
198.65/199.29	c bounds 6182 >= 5617 @ 158.834
198.65/199.29	c bounds 6182 >= 5617 @ 158.916
198.65/199.29	c bounds 6182 >= 5617 @ 159.003
198.65/199.29	c bounds 6182 >= 5617 @ 159.081
198.65/199.29	c bounds 6182 >= 5617 @ 159.162
198.65/199.29	c bounds 6182 >= 5617 @ 159.245
198.65/199.29	c bounds 6182 >= 5617 @ 159.329
198.65/199.29	c bounds 6182 >= 5617 @ 159.41
198.65/199.29	c bounds 6182 >= 5617 @ 159.496
198.65/199.29	c bounds 6182 >= 5617 @ 159.58
198.65/199.29	c bounds 6182 >= 5617 @ 159.666
198.65/199.29	c bounds 6182 >= 5617 @ 159.747
198.65/199.29	c bounds 6182 >= 5617 @ 159.831
198.65/199.29	c bounds 6182 >= 5617 @ 159.912
198.65/199.29	c bounds 6182 >= 5617 @ 159.997
198.65/199.29	c bounds 6182 >= 5617 @ 160.081
198.65/199.29	c bounds 6182 >= 5617 @ 160.166
198.65/199.29	c bounds 6182 >= 5617 @ 160.256
198.65/199.29	c bounds 6182 >= 5617 @ 160.345
198.65/199.29	c bounds 6182 >= 5617 @ 160.423
198.65/199.29	c bounds 6182 >= 5617 @ 160.51
216.41/217.01	c bounds 6182 >= 5617 @ 160.597
216.41/217.01	c bounds 6182 >= 5617 @ 160.674
216.41/217.01	c bounds 6182 >= 5617 @ 160.755
216.41/217.01	c bounds 6182 >= 5617 @ 160.84
216.41/217.01	c bounds 6182 >= 5617 @ 160.928
216.41/217.01	c bounds 6182 >= 5617 @ 161.013
216.41/217.01	c bounds 6182 >= 5617 @ 161.101
216.41/217.01	c bounds 6182 >= 5617 @ 161.186
216.41/217.01	c bounds 6182 >= 5617 @ 161.274
216.41/217.01	c bounds 6182 >= 5617 @ 161.363
216.41/217.01	c bounds 6182 >= 5617 @ 161.45
216.41/217.01	c bounds 6182 >= 5617 @ 161.527
216.41/217.01	c bounds 6182 >= 5617 @ 161.613
216.41/217.01	c bounds 6182 >= 5617 @ 161.703
216.41/217.01	c bounds 6182 >= 5617 @ 161.789
216.41/217.01	c bounds 6182 >= 5617 @ 161.875
216.41/217.01	c bounds 6182 >= 5617 @ 161.961
216.41/217.01	c bounds 6182 >= 5617 @ 162.046
216.41/217.01	c bounds 6182 >= 5617 @ 162.134
216.41/217.01	c bounds 6182 >= 5617 @ 162.219
216.41/217.01	c bounds 6182 >= 5617 @ 162.306
216.41/217.01	c bounds 6182 >= 5617 @ 162.396
216.41/217.01	c bounds 6182 >= 5617 @ 162.483
216.41/217.01	c bounds 6182 >= 5617 @ 162.565
216.41/217.01	c bounds 6182 >= 5617 @ 162.651
216.41/217.01	c bounds 6182 >= 5617 @ 162.739
216.41/217.01	c bounds 6182 >= 5617 @ 162.835
216.41/217.01	c bounds 6182 >= 5617 @ 162.924
216.41/217.01	c bounds 6182 >= 5617 @ 163.012
216.41/217.01	c bounds 6182 >= 5617 @ 163.102
216.41/217.01	c bounds 6182 >= 5617 @ 163.191
216.41/217.01	c bounds 6182 >= 5617 @ 163.275
216.41/217.01	c bounds 6182 >= 5617 @ 163.366
216.41/217.01	c bounds 6182 >= 5617 @ 163.452
216.41/217.01	c bounds 6182 >= 5617 @ 163.531
216.41/217.01	c bounds 6182 >= 5617 @ 163.626
216.41/217.01	c bounds 6182 >= 5617 @ 163.711
216.41/217.01	c bounds 6182 >= 5617 @ 163.804
216.41/217.01	c bounds 6182 >= 5617 @ 163.894
216.41/217.01	c bounds 6182 >= 5617 @ 163.984
216.41/217.01	c bounds 6182 >= 5617 @ 164.069
216.41/217.01	c bounds 6182 >= 5617 @ 164.154
216.41/217.01	c bounds 6182 >= 5617 @ 164.241
216.41/217.01	c bounds 6182 >= 5617 @ 164.33
216.41/217.01	c bounds 6182 >= 5617 @ 164.416
216.41/217.01	c bounds 6182 >= 5617 @ 164.508
216.41/217.01	c bounds 6182 >= 5617 @ 164.591
216.41/217.01	c bounds 6182 >= 5617 @ 164.676
216.41/217.01	c bounds 6182 >= 5617 @ 164.76
216.41/217.01	c bounds 6182 >= 5617 @ 164.851
216.41/217.01	c bounds 6182 >= 5617 @ 164.94
216.41/217.01	c bounds 6182 >= 5617 @ 165.031
216.41/217.01	c bounds 6182 >= 5617 @ 165.117
216.41/217.01	c bounds 6182 >= 5617 @ 165.21
216.41/217.01	c bounds 6182 >= 5617 @ 165.298
216.41/217.01	c bounds 6182 >= 5617 @ 165.391
216.41/217.01	c bounds 6182 >= 5617 @ 165.482
216.41/217.01	c bounds 6182 >= 5617 @ 165.57
216.41/217.01	c bounds 6182 >= 5617 @ 165.668
216.41/217.01	c bounds 6182 >= 5617 @ 165.759
216.41/217.01	c bounds 6182 >= 5617 @ 165.854
216.41/217.01	c bounds 6182 >= 5617 @ 165.95
216.41/217.01	c bounds 6182 >= 5617 @ 166.044
216.41/217.01	c bounds 6182 >= 5617 @ 166.14
216.41/217.01	c bounds 6182 >= 5617 @ 166.224
216.41/217.01	c bounds 6182 >= 5617 @ 166.315
216.41/217.01	c bounds 6182 >= 5617 @ 166.411
216.41/217.01	c bounds 6182 >= 5617 @ 166.503
216.41/217.01	c bounds 6182 >= 5617 @ 166.601
216.41/217.01	c bounds 6182 >= 5617 @ 166.702
216.41/217.01	c bounds 6182 >= 5617 @ 166.797
216.41/217.01	c bounds 6182 >= 5617 @ 166.887
216.41/217.01	c bounds 6182 >= 5617 @ 166.982
216.41/217.01	c bounds 6182 >= 5617 @ 167.08
216.41/217.01	c bounds 6182 >= 5617 @ 167.171
216.41/217.01	c bounds 6182 >= 5617 @ 167.264
216.41/217.01	c bounds 6182 >= 5617 @ 167.356
216.41/217.01	c bounds 6182 >= 5617 @ 167.451
216.41/217.01	c bounds 6182 >= 5617 @ 167.541
216.41/217.01	c bounds 6182 >= 5617 @ 167.639
216.41/217.01	c bounds 6182 >= 5617 @ 167.738
216.41/217.01	c bounds 6182 >= 5617 @ 167.83
216.41/217.01	c bounds 6182 >= 5617 @ 167.92
216.41/217.01	c bounds 6182 >= 5617 @ 168.017
216.41/217.01	c bounds 6182 >= 5617 @ 168.116
216.41/217.01	c bounds 6182 >= 5617 @ 168.215
216.41/217.01	c bounds 6182 >= 5617 @ 169.332
216.41/217.01	c bounds 6182 >= 5617 @ 169.618
216.41/217.01	c bounds 6182 >= 5617 @ 169.808
216.41/217.01	c bounds 6182 >= 5617 @ 169.952
216.41/217.01	c bounds 6182 >= 5617 @ 170.052
216.41/217.01	c bounds 6182 >= 5617 @ 170.151
216.41/217.01	c bounds 6182 >= 5617 @ 170.252
216.41/217.01	c bounds 6182 >= 5617 @ 170.349
216.41/217.01	c bounds 6182 >= 5617 @ 170.452
216.41/217.01	c bounds 6182 >= 5617 @ 170.545
216.41/217.01	c bounds 6182 >= 5617 @ 170.647
216.41/217.01	c bounds 6182 >= 5617 @ 170.741
216.41/217.01	c bounds 6182 >= 5617 @ 170.842
216.41/217.01	c bounds 6182 >= 5617 @ 170.938
216.41/217.01	c bounds 6182 >= 5617 @ 171.036
216.41/217.01	c bounds 6182 >= 5617 @ 171.133
216.41/217.01	c bounds 6182 >= 5617 @ 171.232
216.41/217.01	c bounds 6182 >= 5617 @ 171.331
216.41/217.01	c bounds 6182 >= 5617 @ 171.433
216.41/217.01	c bounds 6182 >= 5617 @ 171.529
216.41/217.01	c bounds 6182 >= 5617 @ 171.624
216.41/217.01	c bounds 6182 >= 5617 @ 171.72
216.41/217.01	c bounds 6182 >= 5617 @ 171.817
216.41/217.01	c bounds 6182 >= 5617 @ 171.917
216.41/217.01	c bounds 6182 >= 5617 @ 172.018
216.41/217.01	c bounds 6182 >= 5617 @ 172.12
216.41/217.01	c bounds 6182 >= 5617 @ 172.222
216.41/217.01	c bounds 6182 >= 5617 @ 172.323
216.41/217.01	c bounds 6182 >= 5617 @ 172.423
216.41/217.01	c bounds 6182 >= 5617 @ 172.523
216.41/217.01	c bounds 6182 >= 5617 @ 172.621
216.41/217.01	c bounds 6182 >= 5617 @ 172.724
216.41/217.01	c bounds 6182 >= 5617 @ 172.83
216.41/217.01	c bounds 6182 >= 5617 @ 172.934
216.41/217.01	c bounds 6182 >= 5617 @ 173.033
216.41/217.01	c bounds 6182 >= 5617 @ 173.131
216.41/217.01	c bounds 6182 >= 5617 @ 173.236
216.41/217.01	c bounds 6182 >= 5617 @ 173.341
216.41/217.01	c bounds 6182 >= 5617 @ 173.445
216.41/217.01	c bounds 6182 >= 5617 @ 173.552
216.41/217.01	c bounds 6182 >= 5617 @ 173.709
216.41/217.01	c bounds 6182 >= 5617 @ 173.807
241.44/242.16	c bounds 6182 >= 5617 @ 173.911
241.44/242.16	c bounds 6182 >= 5617 @ 174.01
241.44/242.16	c bounds 6182 >= 5617 @ 174.116
241.44/242.16	c bounds 6182 >= 5617 @ 174.22
241.44/242.16	c bounds 6182 >= 5617 @ 174.323
241.44/242.16	c bounds 6182 >= 5617 @ 174.425
241.44/242.16	c bounds 6182 >= 5617 @ 174.532
241.44/242.16	c bounds 6182 >= 5617 @ 174.638
241.44/242.16	c bounds 6182 >= 5617 @ 174.749
241.44/242.16	c bounds 6182 >= 5617 @ 174.859
241.44/242.16	c bounds 6182 >= 5617 @ 174.961
241.44/242.16	c bounds 6182 >= 5617 @ 175.067
241.44/242.16	c bounds 6182 >= 5617 @ 175.173
241.44/242.16	c bounds 6182 >= 5617 @ 175.28
241.44/242.16	c bounds 6182 >= 5617 @ 175.389
241.44/242.16	c bounds 6182 >= 5617 @ 175.499
241.44/242.16	c bounds 6182 >= 5617 @ 175.598
241.44/242.16	c bounds 6182 >= 5617 @ 175.707
241.44/242.16	c bounds 6182 >= 5617 @ 175.821
241.44/242.16	c bounds 6182 >= 5617 @ 175.928
241.44/242.16	c bounds 6182 >= 5617 @ 176.041
241.44/242.16	c bounds 6182 >= 5617 @ 176.148
241.44/242.16	c bounds 6182 >= 5617 @ 176.257
241.44/242.16	c bounds 6182 >= 5617 @ 176.364
241.44/242.16	c bounds 6182 >= 5617 @ 176.466
241.44/242.16	c bounds 6182 >= 5617 @ 176.575
241.44/242.16	c bounds 6182 >= 5617 @ 176.68
241.44/242.16	c bounds 6182 >= 5617 @ 176.802
241.44/242.16	c bounds 6182 >= 5617 @ 176.901
241.44/242.16	c bounds 6182 >= 5617 @ 177.012
241.44/242.16	c bounds 6182 >= 5617 @ 177.121
241.44/242.16	c bounds 6182 >= 5617 @ 178.047
241.44/242.16	c bounds 6182 >= 5617 @ 178.315
241.44/242.16	c bounds 6182 >= 5617 @ 178.48
241.44/242.16	c bounds 6182 >= 5617 @ 178.592
241.44/242.16	c bounds 6182 >= 5617 @ 178.701
241.44/242.16	c bounds 6182 >= 5617 @ 178.814
241.44/242.16	c bounds 6182 >= 5617 @ 178.925
241.44/242.16	c bounds 6182 >= 5617 @ 179.043
241.44/242.16	c bounds 6182 >= 5617 @ 179.158
241.44/242.16	c bounds 6182 >= 5617 @ 179.265
241.44/242.16	c bounds 6182 >= 5617 @ 179.375
241.44/242.16	c bounds 6182 >= 5617 @ 179.485
241.44/242.16	c bounds 6182 >= 5617 @ 179.596
241.44/242.16	c bounds 6182 >= 5617 @ 179.712
241.44/242.16	c bounds 6182 >= 5617 @ 179.819
241.44/242.16	c bounds 6182 >= 5617 @ 179.929
241.44/242.16	c bounds 6182 >= 5617 @ 180.048
241.44/242.16	c bounds 6182 >= 5617 @ 180.16
241.44/242.16	c #Conflicts:       2000 | #Constraints:     349672
241.44/242.16	c INPROCESSING
241.44/242.16	c GARBAGE COLLECT
241.44/242.16	c bounds 6182 >= 5617 @ 181.315
241.44/242.16	c bounds 6182 >= 5617 @ 181.394
241.44/242.16	c bounds 6182 >= 5617 @ 181.468
241.44/242.16	c bounds 6182 >= 5617 @ 181.547
241.44/242.16	c bounds 6182 >= 5617 @ 181.63
241.44/242.16	c bounds 6182 >= 5617 @ 181.709
241.44/242.16	c bounds 6182 >= 5617 @ 181.79
241.44/242.16	c bounds 6182 >= 5617 @ 181.863
241.44/242.16	c bounds 6182 >= 5617 @ 181.936
241.44/242.16	c bounds 6182 >= 5617 @ 182.012
241.44/242.16	c bounds 6182 >= 5617 @ 182.09
241.44/242.16	c bounds 6182 >= 5617 @ 182.169
241.44/242.16	c bounds 6182 >= 5617 @ 182.248
241.44/242.16	c bounds 6182 >= 5617 @ 182.328
241.44/242.16	c bounds 6182 >= 5617 @ 182.413
241.44/242.16	c bounds 6182 >= 5617 @ 182.496
241.44/242.16	c bounds 6182 >= 5617 @ 182.582
241.44/242.16	c bounds 6182 >= 5617 @ 182.659
241.44/242.16	c bounds 6182 >= 5617 @ 182.742
241.44/242.16	c bounds 6182 >= 5617 @ 182.824
241.44/242.16	c bounds 6182 >= 5617 @ 182.905
241.44/242.16	c bounds 6182 >= 5617 @ 182.982
241.44/242.16	c bounds 6182 >= 5617 @ 183.061
241.44/242.16	c bounds 6182 >= 5617 @ 183.144
241.44/242.16	c bounds 6182 >= 5617 @ 183.222
241.44/242.16	c bounds 6182 >= 5617 @ 183.303
241.44/242.16	c bounds 6182 >= 5617 @ 183.382
241.44/242.16	c bounds 6182 >= 5617 @ 183.46
241.44/242.16	c bounds 6182 >= 5617 @ 183.539
241.44/242.16	c bounds 6182 >= 5617 @ 183.622
241.44/242.16	c bounds 6182 >= 5617 @ 183.701
241.44/242.16	c bounds 6182 >= 5617 @ 183.788
241.44/242.16	c bounds 6182 >= 5617 @ 183.872
241.44/242.16	c bounds 6182 >= 5617 @ 183.961
241.44/242.16	c bounds 6182 >= 5617 @ 184.04
241.44/242.16	c bounds 6182 >= 5617 @ 184.124
241.44/242.16	c bounds 6182 >= 5617 @ 184.21
241.44/242.16	c bounds 6182 >= 5617 @ 184.398
241.44/242.16	c bounds 6182 >= 5617 @ 184.522
241.44/242.16	c bounds 6182 >= 5617 @ 185.094
241.44/242.16	c bounds 6182 >= 5617 @ 187.337
241.44/242.16	c bounds 6182 >= 5617 @ 188.731
241.44/242.16	c bounds 6182 >= 5617 @ 189.053
241.44/242.16	c bounds 6182 >= 5617 @ 189.183
241.44/242.16	c bounds 6182 >= 5617 @ 189.286
241.44/242.16	c bounds 6182 >= 5617 @ 189.414
241.44/242.16	c bounds 6182 >= 5617 @ 189.513
241.44/242.16	c bounds 6182 >= 5617 @ 189.615
241.44/242.16	c bounds 6182 >= 5617 @ 189.713
241.44/242.16	c bounds 6182 >= 5617 @ 189.807
241.44/242.16	c bounds 6182 >= 5617 @ 189.91
241.44/242.16	c bounds 6182 >= 5617 @ 190.008
241.44/242.16	c bounds 6182 >= 5617 @ 190.108
241.44/242.16	c bounds 6182 >= 5617 @ 190.216
241.44/242.16	c bounds 6182 >= 5617 @ 190.32
241.44/242.16	c bounds 6182 >= 5617 @ 190.417
241.44/242.16	c bounds 6182 >= 5617 @ 190.52
241.44/242.16	c bounds 6182 >= 5617 @ 190.622
241.44/242.16	c bounds 6182 >= 5617 @ 190.728
241.44/242.16	c bounds 6182 >= 5617 @ 190.822
241.44/242.16	c bounds 6182 >= 5617 @ 190.925
241.44/242.16	c bounds 6182 >= 5617 @ 191.025
241.44/242.16	c bounds 6182 >= 5617 @ 191.127
241.44/242.16	c bounds 6182 >= 5617 @ 191.235
241.44/242.16	c bounds 6182 >= 5617 @ 191.336
241.44/242.16	c bounds 6182 >= 5617 @ 191.445
241.44/242.16	c bounds 6182 >= 5617 @ 191.545
241.44/242.16	c bounds 6182 >= 5617 @ 191.647
241.44/242.16	c bounds 6182 >= 5617 @ 191.743
241.44/242.16	c bounds 6182 >= 5617 @ 191.844
241.44/242.16	c bounds 6182 >= 5617 @ 191.95
241.44/242.16	c bounds 6182 >= 5617 @ 192.056
241.44/242.16	c bounds 6182 >= 5617 @ 192.16
241.44/242.16	c bounds 6182 >= 5617 @ 192.267
241.44/242.16	c bounds 6182 >= 5617 @ 192.369
241.44/242.16	c bounds 6182 >= 5617 @ 192.478
241.44/242.16	c bounds 6182 >= 5617 @ 192.635
796.16/798.47	c bounds 6182 >= 5617 @ 192.936
796.16/798.47	c bounds 6182 >= 5617 @ 193.087
796.16/798.47	c bounds 6182 >= 5617 @ 193.257
796.16/798.47	c bounds 6182 >= 5617 @ 193.767
796.16/798.47	c bounds 6182 >= 5617 @ 193.922
796.16/798.47	c bounds 6182 >= 5617 @ 194.623
796.16/798.47	c bounds 6182 >= 5617 @ 194.956
796.16/798.47	c bounds 6182 >= 5617 @ 195.501
796.16/798.47	c bounds 6182 >= 5617 @ 195.689
796.16/798.47	c bounds 6182 >= 5617 @ 195.83
796.16/798.47	c bounds 6182 >= 5617 @ 195.95
796.16/798.47	c bounds 6182 >= 5617 @ 196.136
796.16/798.47	c bounds 6182 >= 5617 @ 196.277
796.16/798.47	c bounds 6182 >= 5617 @ 196.414
796.16/798.47	c bounds 6182 >= 5617 @ 196.542
796.16/798.47	c bounds 6182 >= 5617 @ 196.669
796.16/798.47	c bounds 6182 >= 5617 @ 196.796
796.16/798.47	c bounds 6182 >= 5617 @ 196.922
796.16/798.47	c bounds 6182 >= 5617 @ 197.119
796.16/798.47	c bounds 6182 >= 5617 @ 197.255
796.16/798.47	c bounds 6182 >= 5617 @ 197.385
796.16/798.47	c bounds 6182 >= 5617 @ 197.567
796.16/798.47	c bounds 6182 >= 5617 @ 197.699
796.16/798.47	c bounds 6182 >= 5617 @ 197.818
796.16/798.47	c bounds 6182 >= 5617 @ 198.026
796.16/798.47	c bounds 6182 >= 5617 @ 198.41
796.16/798.47	c bounds 6182 >= 5617 @ 199.01
796.16/798.47	c bounds 6182 >= 5617 @ 199.38
796.16/798.47	c bounds 6182 >= 5617 @ 202.491
796.16/798.47	c bounds 6182 >= 5617 @ 203.251
796.16/798.47	c bounds 6182 >= 5617 @ 204.19
796.16/798.47	c bounds 6182 >= 5617 @ 204.692
796.16/798.47	c bounds 6182 >= 5617 @ 205.352
796.16/798.47	c bounds 6182 >= 5617 @ 206.048
796.16/798.47	c bounds 6182 >= 5617 @ 206.757
796.16/798.47	c bounds 6182 >= 5617 @ 207.315
796.16/798.47	c bounds 6182 >= 5617 @ 208.484
796.16/798.47	c bounds 6182 >= 5617 @ 209.692
796.16/798.47	c bounds 6182 >= 5617 @ 210.67
796.16/798.47	c bounds 6182 >= 5617 @ 211.494
796.16/798.47	c bounds 6182 >= 5617 @ 213.298
796.16/798.47	c bounds 6182 >= 5617 @ 215.325
796.16/798.47	c bounds 6182 >= 5617 @ 216.768
796.16/798.47	c bounds 6182 >= 5617 @ 218.903
796.16/798.47	c #Conflicts:       3000 | #Constraints:     342783
796.16/798.47	c bounds 6182 >= 5617 @ 220.779
796.16/798.47	c bounds 6182 >= 5617 @ 223.304
796.16/798.47	c bounds 6182 >= 5617 @ 227.062
796.16/798.47	c bounds 6182 >= 5617 @ 229.827
796.16/798.47	c bounds 6182 >= 5617 @ 232.407
796.16/798.47	c bounds 6182 >= 5617 @ 235.112
796.16/798.47	c bounds 6182 >= 5617 @ 237.507
796.16/798.47	c bounds 6182 >= 5617 @ 241.98
796.16/798.47	c bounds 6182 >= 5617 @ 244.9
796.16/798.47	c #Conflicts:       4000 | #Constraints:     343810
796.16/798.47	c bounds 6182 >= 5617 @ 253.657
796.16/798.47	c INPROCESSING
796.16/798.47	c GARBAGE COLLECT
796.16/798.47	c bounds 6182 >= 5617 @ 262.372
796.16/798.47	c bounds 6182 >= 5617 @ 265.595
796.16/798.47	c bounds 6182 >= 5617 @ 271.075
796.16/798.47	c bounds 6182 >= 5617 @ 276.154
796.16/798.47	c bounds 6182 >= 5617 @ 278.859
796.16/798.47	c #Conflicts:       5000 | #Constraints:     343322
796.16/798.47	c bounds 6182 >= 5617 @ 284.887
796.16/798.47	c bounds 6182 >= 5617 @ 287.881
796.16/798.47	c bounds 6182 >= 5617 @ 293.176
796.16/798.47	c bounds 6182 >= 5617 @ 301.816
796.16/798.47	c bounds 6182 >= 5617 @ 305.54
796.16/798.47	c bounds 6182 >= 5617 @ 311.556
796.16/798.47	c #Conflicts:       6000 | #Constraints:     344340
796.16/798.47	c bounds 6182 >= 5617 @ 317.026
796.16/798.47	c bounds 6182 >= 5617 @ 324.547
796.16/798.47	c bounds 6182 >= 5617 @ 329.548
796.16/798.47	c bounds 6182 >= 5617 @ 335.159
796.16/798.47	c bounds 6182 >= 5617 @ 340.865
796.16/798.47	c bounds 6182 >= 5617 @ 344.903
796.16/798.47	c bounds 6182 >= 5617 @ 348.898
796.16/798.47	c #Conflicts:       7000 | #Constraints:     345361
796.16/798.47	c bounds 6182 >= 5617 @ 352.616
796.16/798.47	c bounds 6182 >= 5617 @ 356.772
796.16/798.47	c bounds 6182 >= 5617 @ 364.093
796.16/798.47	c bounds 6182 >= 5617 @ 369.678
796.16/798.47	c bounds 6182 >= 5617 @ 375.908
796.16/798.47	c bounds 6182 >= 5617 @ 381.209
796.16/798.47	c #Conflicts:       8000 | #Constraints:     346379
796.16/798.47	c bounds 6182 >= 5617 @ 388.843
796.16/798.47	c bounds 6182 >= 5617 @ 396.891
796.16/798.47	c bounds 6182 >= 5617 @ 402.851
796.16/798.47	c bounds 6182 >= 5617 @ 409.185
796.16/798.47	c bounds 6182 >= 5617 @ 422.791
796.16/798.47	c #Conflicts:       9000 | #Constraints:     347394
796.16/798.47	c bounds 6182 >= 5617 @ 428.056
796.16/798.47	c bounds 6182 >= 5617 @ 436.678
796.16/798.47	c INPROCESSING
796.16/798.47	c bounds 6182 >= 5617 @ 447.602
796.16/798.47	c bounds 6182 >= 5617 @ 456.624
796.16/798.47	c bounds 6182 >= 5617 @ 464.719
796.16/798.47	c bounds 6182 >= 5617 @ 470.838
796.16/798.47	c #Conflicts:      10000 | #Constraints:     348181
796.16/798.47	c bounds 6182 >= 5617 @ 476.366
796.16/798.47	c bounds 6182 >= 5617 @ 483.619
796.16/798.47	c bounds 6182 >= 5617 @ 507.767
796.16/798.47	c #Conflicts:      11000 | #Constraints:     349190
796.16/798.47	c bounds 6182 >= 6092 @ 546.935
796.16/798.47	c bounds 6182 >= 6093 @ 547.033
796.16/798.47	c bounds 6182 >= 6094 @ 547.067
796.16/798.47	c bounds 6182 >= 6095 @ 547.111
796.16/798.47	c bounds 6182 >= 6096 @ 547.15
796.16/798.47	c bounds 6182 >= 6097 @ 547.192
796.16/798.47	c bounds 6182 >= 6098 @ 547.232
796.16/798.47	c bounds 6182 >= 6099 @ 547.272
796.16/798.47	c bounds 6182 >= 6100 @ 547.317
796.16/798.47	c bounds 6182 >= 6101 @ 547.365
796.16/798.47	c bounds 6182 >= 6102 @ 552.873
796.16/798.47	c #Conflicts:      12000 | #Constraints:     350236
796.16/798.47	c bounds 6182 >= 6103 @ 598.695
796.16/798.47	c #Conflicts:      13000 | #Constraints:     351239
796.16/798.47	c bounds 6182 >= 6104 @ 647.5
796.16/798.47	c #Conflicts:      14000 | #Constraints:     352242
796.16/798.47	c bounds 6182 >= 6105 @ 695.099
796.16/798.47	c #Conflicts:      15000 | #Constraints: terminate called after throwing an instance of 'std::bad_alloc'
2558.89/2566.12	  what():  std::bad_alloc

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: 63708 MiB (61188 MiB free)
  memory of node 1: 64465 MiB (62113 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522730-1751593784/watcher-4522730-1751593784 -o /tmp/evaluation-result-4522730-1751593784/solver-4522730-1751593784 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751590160-82258 --watchdog 3760 pb-oll-rs HOME/instance-4522730-1751593784.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
Starting watchdog thread
solver pid=82783, runsolver pid=82780
Current StackSize limit: 8192 KiB


[startup+0.100067 s]*
/proc/loadavg: 4.02 4.09 4.08 5/263 82784
/proc/meminfo: memFree=126205324/131250000 swapFree=33010672/33010684
[pid=82783] ppid=82780 vsize=71696 memory=56288 CPUtime=0.08 cores=4,6
/proc/82783/stat : 82783 (pb-oll-rs) R 82780 82783 82247 0 -1 4194304 11274 0 0 0 6 2 0 0 20 0 1 0 75057055 73416704 14072 18446744073709551615 4218880 5211445 140735209264352 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5494472 5498400 22298624 140735209265564 140735209265641 140735209265641 140735209271243 0
/proc/82783/statm: 17924 14072 1120 243 0 14173 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 71696 KiB
Current children cumulated memory: 56288 KiB

[startup+0.205515 s]*
/proc/loadavg: 4.02 4.09 4.08 5/263 82784
/proc/meminfo: memFree=126203560/131250000 swapFree=33010672/33010684
[pid=82783] ppid=82780 vsize=75788 memory=62944 CPUtime=0.18 cores=4,6
/proc/82783/stat : 82783 (pb-oll-rs) R 82780 82783 82247 0 -1 4194304 13005 0 0 0 12 6 0 0 20 0 1 0 75057055 77606912 15736 18446744073709551615 4218880 5211445 140735209264352 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5494472 5498400 22298624 140735209265564 140735209265641 140735209265641 140735209271243 0
/proc/82783/statm: 18947 15736 1120 243 0 15196 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 75788 KiB
Current children cumulated memory: 62944 KiB

[startup+0.305432 s]*
/proc/loadavg: 4.02 4.09 4.08 5/263 82784
/proc/meminfo: memFree=126197284/131250000 swapFree=33010672/33010684
[pid=82783] ppid=82780 vsize=82468 memory=70524 CPUtime=0.28 cores=4,6
/proc/82783/stat : 82783 (pb-oll-rs) R 82780 82783 82247 0 -1 4194304 14574 0 0 0 20 8 0 0 20 0 1 0 75057055 84447232 17631 18446744073709551615 4218880 5211445 140735209264352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22298624 140735209265564 140735209265641 140735209265641 140735209271243 0
/proc/82783/statm: 20617 17631 1120 243 0 16866 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 82468 KiB
Current children cumulated memory: 70524 KiB

[startup+0.700167 s]
/proc/loadavg: 4.02 4.09 4.08 5/263 82784
/proc/meminfo: memFree=126191424/131250000 swapFree=33010672/33010684
[pid=82783] ppid=82780 vsize=97896 memory=80176 CPUtime=0.66 cores=4,6
/proc/82783/stat : 82783 (pb-oll-rs) R 82780 82783 82247 0 -1 4194304 16737 0 0 0 50 16 0 0 20 0 1 0 75057055 100245504 20044 18446744073709551615 4218880 5211445 140735209264352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22298624 140735209265564 140735209265641 140735209265641 140735209271243 0
/proc/82783/statm: 24474 20044 1120 243 0 20723 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 97896 KiB
Current children cumulated memory: 80176 KiB

[startup+1.50014 s]
/proc/loadavg: 4.02 4.09 4.08 5/263 82784
/proc/meminfo: memFree=126185376/131250000 swapFree=33010672/33010684
[pid=82783] ppid=82780 vsize=134548 memory=110796 CPUtime=1.46 cores=4,6
/proc/82783/stat : 82783 (pb-oll-rs) R 82780 82783 82247 0 -1 4194304 22012 0 0 0 121 25 0 0 20 0 1 0 75057055 137777152 27699 18446744073709551615 4218880 5211445 140735209264352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22298624 140735209265564 140735209265641 140735209265641 140735209271243 0
/proc/82783/statm: 33637 27699 1248 243 0 29886 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 134548 KiB
Current children cumulated memory: 110796 KiB

[startup+3.10525 s]
/proc/loadavg: 4.02 4.09 4.08 5/263 82784
/proc/meminfo: memFree=126133100/131250000 swapFree=33010672/33010684
[pid=82783] ppid=82780 vsize=134548 memory=110796 CPUtime=3.07 cores=4,6
/proc/82783/stat : 82783 (pb-oll-rs) R 82780 82783 82247 0 -1 4194304 22016 0 0 0 281 26 0 0 20 0 1 0 75057055 137777152 27699 18446744073709551615 4218880 5211445 140735209264352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22298624 140735209265564 140735209265641 140735209265641 140735209271243 0
/proc/82783/statm: 33637 27699 1248 243 0 29886 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 134548 KiB
Current children cumulated memory: 110796 KiB

[startup+6.30014 s]
/proc/loadavg: 4.02 4.09 4.08 5/263 82784
/proc/meminfo: memFree=126092916/131250000 swapFree=33010672/33010684
[pid=82783] ppid=82780 vsize=134548 memory=110796 CPUtime=6.25 cores=4,6
/proc/82783/stat : 82783 (pb-oll-rs) R 82780 82783 82247 0 -1 4194304 22024 0 0 0 598 27 0 0 20 0 1 0 75057055 137777152 27699 18446744073709551615 4218880 5211445 140735209264352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22298624 140735209265564 140735209265641 140735209265641 140735209271243 0
/proc/82783/statm: 33637 27699 1248 243 0 29886 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 134548 KiB
Current children cumulated memory: 110796 KiB

[startup+12.7002 s]
/proc/loadavg: 4.02 4.09 4.08 5/263 82784
/proc/meminfo: memFree=126036096/131250000 swapFree=33010672/33010684
[pid=82783] ppid=82780 vsize=134548 memory=110796 CPUtime=12.64 cores=4,6
/proc/82783/stat : 82783 (pb-oll-rs) R 82780 82783 82247 0 -1 4194304 22028 0 0 0 1234 30 0 0 20 0 1 0 75057055 137777152 27699 18446744073709551615 4218880 5211445 140735209264352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22298624 140735209265564 140735209265641 140735209265641 140735209271243 0
/proc/82783/statm: 33637 27699 1248 243 0 29886 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 134548 KiB
Current children cumulated memory: 110796 KiB

[startup+25.5001 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 82784
/proc/meminfo: memFree=125936180/131250000 swapFree=33010672/33010684
[pid=82783] ppid=82780 vsize=134548 memory=110796 CPUtime=25.41 cores=4,6
/proc/82783/stat : 82783 (pb-oll-rs) R 82780 82783 82247 0 -1 4194304 22034 0 0 0 2502 39 0 0 20 0 1 0 75057055 137777152 27699 18446744073709551615 4218880 5211445 140735209264352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22298624 140735209265564 140735209265641 140735209265641 140735209271243 0
/proc/82783/statm: 33637 27699 1248 243 0 29886 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 134548 KiB
Current children cumulated memory: 110796 KiB

[startup+51.1053 s]
/proc/loadavg: 4.05 4.09 4.09 5/263 82784
/proc/meminfo: memFree=125670232/131250000 swapFree=33010672/33010684
[pid=82783] ppid=82780 vsize=315228 memory=271000 CPUtime=50.95 cores=4,6
/proc/82783/stat : 82783 (pb-oll-rs) R 82780 82783 82247 0 -1 4194304 39612 0 0 0 4168 927 0 0 20 0 1 0 75057055 322793472 67750 18446744073709551615 4218880 5211445 140735209264352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22298624 140735209265564 140735209265641 140735209265641 140735209271243 0
/proc/82783/statm: 78807 67750 1312 243 0 75056 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 315228 KiB
Current children cumulated memory: 271000 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/263 82787
/proc/meminfo: memFree=124512856/131250000 swapFree=33010672/33010684
[pid=82783] ppid=82780 vsize=914000 memory=834232 CPUtime=102.01 cores=4,6
/proc/82783/stat : 82783 (pb-oll-rs) R 82780 82783 82247 0 -1 4194304 136990 0 0 0 8555 1646 0 0 20 0 1 0 75057055 935936000 208558 18446744073709551615 4218880 5211445 140735209264352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22298624 140735209265564 140735209265641 140735209265641 140735209271243 0
/proc/82783/statm: 228500 208558 1312 243 0 224749 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 914000 KiB
Current children cumulated memory: 834232 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 82789
/proc/meminfo: memFree=124226060/131250000 swapFree=33010672/33010684
[pid=82783] ppid=82780 vsize=1154612 memory=914788 CPUtime=161.85 cores=4,6
/proc/82783/stat : 82783 (pb-oll-rs) R 82780 82783 82247 0 -1 4194304 139265 0 0 0 13227 2958 0 0 20 0 1 0 75057055 1182322688 228697 18446744073709551615 4218880 5211445 140735209264352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22298624 140735209265564 140735209265641 140735209265641 140735209271243 0
/proc/82783/statm: 288653 228697 1312 243 0 284902 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 1154612 KiB
Current children cumulated memory: 914788 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 82791
/proc/meminfo: memFree=123294188/131250000 swapFree=33010672/33010684
[pid=82783] ppid=82780 vsize=1917004 memory=1585992 CPUtime=221.69 cores=4,6
/proc/82783/stat : 82783 (pb-oll-rs) R 82780 82783 82247 0 -1 4194304 243191 0 0 0 17806 4363 0 0 20 0 1 0 75057055 1963012096 396498 18446744073709551615 4218880 5211445 140735209264352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22298624 140735209265564 140735209265641 140735209265641 140735209271243 0
/proc/82783/statm: 479251 396498 1312 243 0 475500 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 1917004 KiB
Current children cumulated memory: 1585992 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 82799
/proc/meminfo: memFree=122841940/131250000 swapFree=33010672/33010684
[pid=82783] ppid=82780 vsize=2356960 memory=1972940 CPUtime=281.53 cores=4,6
/proc/82783/stat : 82783 (pb-oll-rs) R 82780 82783 82247 0 -1 4194304 337535 0 0 0 22586 5567 0 0 20 0 1 0 75057055 2413527040 493235 18446744073709551615 4218880 5211445 140735209264352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22298624 140735209265564 140735209265641 140735209265641 140735209271243 0
/proc/82783/statm: 589240 493235 1312 243 0 585489 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 2356960 KiB
Current children cumulated memory: 1972940 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 82801
/proc/meminfo: memFree=121812956/131250000 swapFree=33010672/33010684
[pid=82783] ppid=82780 vsize=3783160 memory=2934616 CPUtime=341.36 cores=4,6
/proc/82783/stat : 82783 (pb-oll-rs) R 82780 82783 82247 0 -1 4194304 502836 0 0 0 27934 6202 0 0 20 0 1 0 75057055 3873955840 733654 18446744073709551615 4218880 5211445 140735209264352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22298624 140735209265564 140735209265641 140735209265641 140735209271243 0
/proc/82783/statm: 945790 733654 1312 243 0 942039 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 3783160 KiB
Current children cumulated memory: 2934616 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 82803
/proc/meminfo: memFree=120963936/131250000 swapFree=33010672/33010684
[pid=82783] ppid=82780 vsize=3787400 memory=3737756 CPUtime=401.2 cores=4,6
/proc/82783/stat : 82783 (pb-oll-rs) R 82780 82783 82247 0 -1 4194304 569722 0 0 0 33456 6664 0 0 20 0 1 0 75057055 3878297600 934439 18446744073709551615 4218880 5211445 140735209264352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22298624 140735209265564 140735209265641 140735209265641 140735209271243 0
/proc/82783/statm: 946850 934439 1312 243 0 943099 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 3787400 KiB
Current children cumulated memory: 3737756 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 82805
/proc/meminfo: memFree=119178104/131250000 swapFree=33010672/33010684
[pid=82783] ppid=82780 vsize=6379304 memory=5443476 CPUtime=461.03 cores=4,6
/proc/82783/stat : 82783 (pb-oll-rs) R 82780 82783 82247 0 -1 4194304 869306 0 0 0 38708 7395 0 0 20 0 1 0 75057055 6532407296 1360869 18446744073709551615 4218880 5211445 140735209264352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22298624 140735209265564 140735209265641 140735209265641 140735209271243 0
/proc/82783/statm: 1594826 1360869 1312 243 0 1591075 0
Current children cumulated CPU time: 461.03 s

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

[startup+2082.3 s]
/proc/loadavg: 4.50 4.23 4.14 5/265 82896
/proc/meminfo: memFree=96474456/131250000 swapFree=33010672/33010684
[pid=82783] ppid=82780 vsize=30474528 memory=23333536 CPUtime=2076.49 cores=4,6
/proc/82783/stat : 82783 (pb-oll-rs) R 82780 82783 82247 0 -1 4194304 3297016 0 0 0 196978 10671 0 0 20 0 1 0 75057055 31205916672 5833384 18446744073709551615 4218880 5211445 140735209264352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22298624 140735209265564 140735209265641 140735209265641 140735209271243 0
/proc/82783/statm: 7618632 5833384 1312 243 0 7614881 0
Current children cumulated CPU time: 2076.49 s
Current children cumulated vsize: 30474528 KiB
Current children cumulated memory: 23333536 KiB

[startup+2142.3 s]
/proc/loadavg: 4.21 4.20 4.13 5/265 82898
/proc/meminfo: memFree=95875948/131250000 swapFree=33010672/33010684
[pid=82783] ppid=82780 vsize=30477560 memory=23768276 CPUtime=2136.31 cores=4,6
/proc/82783/stat : 82783 (pb-oll-rs) R 82780 82783 82247 0 -1 4194304 3340960 0 0 0 202885 10746 0 0 20 0 1 0 75057055 31209021440 5942069 18446744073709551615 4218880 5211445 140735209264352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22298624 140735209265564 140735209265641 140735209265641 140735209271243 0
/proc/82783/statm: 7619390 5942069 1312 243 0 7615639 0
Current children cumulated CPU time: 2136.31 s
Current children cumulated vsize: 30477560 KiB
Current children cumulated memory: 23768276 KiB

[startup+2202.3 s]
/proc/loadavg: 4.12 4.17 4.13 5/265 82900
/proc/meminfo: memFree=95466660/131250000 swapFree=33010672/33010684
[pid=82783] ppid=82780 vsize=30477560 memory=24001752 CPUtime=2196.14 cores=4,6
/proc/82783/stat : 82783 (pb-oll-rs) R 82780 82783 82247 0 -1 4194304 3365421 0 0 0 208829 10785 0 0 20 0 1 0 75057055 31209021440 6000438 18446744073709551615 4218880 5211445 140735209264352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22298624 140735209265564 140735209265641 140735209265641 140735209271243 0
/proc/82783/statm: 7619390 6000438 1312 243 0 7615639 0
Current children cumulated CPU time: 2196.14 s
Current children cumulated vsize: 30477560 KiB
Current children cumulated memory: 24001752 KiB

[startup+2262.3 s]
/proc/loadavg: 4.44 4.25 4.16 5/264 82901
/proc/meminfo: memFree=95026856/131250000 swapFree=33010672/33010684
[pid=82783] ppid=82780 vsize=30477560 memory=24270612 CPUtime=2255.96 cores=4,6
/proc/82783/stat : 82783 (pb-oll-rs) R 82780 82783 82247 0 -1 4194304 3394336 0 0 0 214768 10828 0 0 20 0 1 0 75057055 31209021440 6067653 18446744073709551615 4218880 5211445 140735209264352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22298624 140735209265564 140735209265641 140735209265641 140735209271243 0
/proc/82783/statm: 7619390 6067653 1312 243 0 7615639 0
Current children cumulated CPU time: 2255.96 s
Current children cumulated vsize: 30477560 KiB
Current children cumulated memory: 24270612 KiB

[startup+2322.3 s]
/proc/loadavg: 4.22 4.22 4.15 5/264 82948
/proc/meminfo: memFree=94878968/131250000 swapFree=33010672/33010684
[pid=82783] ppid=82780 vsize=30477560 memory=24620320 CPUtime=2315.79 cores=4,6
/proc/82783/stat : 82783 (pb-oll-rs) R 82780 82783 82247 0 -1 4194304 3429025 0 0 0 220721 10858 0 0 20 0 1 0 75057055 31209021440 6155080 18446744073709551615 4218880 5211445 140735209264352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22298624 140735209265564 140735209265641 140735209265641 140735209271243 0
/proc/82783/statm: 7619390 6155080 1312 243 0 7615639 0
Current children cumulated CPU time: 2315.79 s
Current children cumulated vsize: 30477560 KiB
Current children cumulated memory: 24620320 KiB

[startup+2382.3 s]
/proc/loadavg: 4.16 4.19 4.15 5/263 82953
/proc/meminfo: memFree=94286072/131250000 swapFree=33010672/33010684
[pid=82783] ppid=82780 vsize=30479864 memory=24924680 CPUtime=2375.61 cores=4,6
/proc/82783/stat : 82783 (pb-oll-rs) R 82780 82783 82247 0 -1 4194304 3461017 0 0 0 226630 10931 0 0 20 0 1 0 75057055 31211380736 6231170 18446744073709551615 4218880 5211445 140735209264352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22298624 140735209265564 140735209265641 140735209265641 140735209271243 0
/proc/82783/statm: 7619966 6231170 1312 243 0 7616215 0
Current children cumulated CPU time: 2375.61 s
Current children cumulated vsize: 30479864 KiB
Current children cumulated memory: 24924680 KiB

[startup+2442.3 s]
/proc/loadavg: 4.12 4.17 4.14 5/263 82999
/proc/meminfo: memFree=93519592/131250000 swapFree=33010672/33010684
[pid=82783] ppid=82780 vsize=30479864 memory=25177904 CPUtime=2435.45 cores=4,6
/proc/82783/stat : 82783 (pb-oll-rs) R 82780 82783 82247 0 -1 4194304 3489360 0 0 0 232590 10955 0 0 20 0 1 0 75057055 31211380736 6294476 18446744073709551615 4218880 5211445 140735209264352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22298624 140735209265564 140735209265641 140735209265641 140735209271243 0
/proc/82783/statm: 7619966 6294476 1312 243 0 7616215 0
Current children cumulated CPU time: 2435.45 s
Current children cumulated vsize: 30479864 KiB
Current children cumulated memory: 25177904 KiB

[startup+2502.3 s]
/proc/loadavg: 4.09 4.15 4.13 5/264 83004
/proc/meminfo: memFree=92322872/131250000 swapFree=33010672/33010684
[pid=82783] ppid=82780 vsize=30479864 memory=25477536 CPUtime=2495.28 cores=4,6
/proc/82783/stat : 82783 (pb-oll-rs) R 82780 82783 82247 0 -1 4194304 3520567 0 0 0 238549 10979 0 0 20 0 1 0 75057055 31211380736 6369384 18446744073709551615 4218880 5211445 140735209264352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22298624 140735209265564 140735209265641 140735209265641 140735209271243 0
/proc/82783/statm: 7619966 6369384 1312 243 0 7616215 0
Current children cumulated CPU time: 2495.28 s
Current children cumulated vsize: 30479864 KiB
Current children cumulated memory: 25477536 KiB

[startup+2562.3 s]
/proc/loadavg: 4.15 4.15 4.13 5/264 83006
/proc/meminfo: memFree=91394932/131250000 swapFree=33010672/33010684
[pid=82783] ppid=82780 vsize=30481144 memory=25747788 CPUtime=2555.1 cores=4,6
/proc/82783/stat : 82783 (pb-oll-rs) R 82780 82783 82247 0 -1 4194304 3534858 0 0 0 244474 11036 0 0 20 0 1 0 75057055 31212691456 6436947 18446744073709551615 4218880 5211445 140735209264352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22298624 140735209265564 140735209265641 140735209265641 140735209271243 0
/proc/82783/statm: 7620286 6436947 1312 243 0 7616535 0
Current children cumulated CPU time: 2555.1 s
Current children cumulated vsize: 30481144 KiB
Current children cumulated memory: 25747788 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+2566.2 s]
/proc/loadavg: 4.14 4.15 4.13 5/264 83006
/proc/meminfo: memFree=90860964/131250000 swapFree=33010672/33010684
[pid=82783] ppid=82780 vsize=31794908 memory=26423264 CPUtime=2558.94 cores=4,6
/proc/82783/stat : 82783 (pb-oll-rs) D 82780 82783 82247 0 -1 4195840 3702778 0 0 0 244832 11062 0 0 20 0 1 0 75057055 32557985792 6605816 18446744073709551615 4218880 5211445 140735209264352 140735209260144 140498774309484 0 0 0 8404994 1 0 0 17 4 0 0 0 0 0 5494472 5498400 22298624 140735209265564 140735209265641 140735209265641 140735209271243 6
/proc/82783/statm: 7948727 6605816 1376 243 0 7944976 0
Current children cumulated CPU time: 2558.94 s
Current children cumulated vsize: 31794908 KiB
Current children cumulated memory: 26423264 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+2568.95 s]
# the end of solver process 82783 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=2448.32 s, system=112.039 s

Solver just ended.
Dumping a history of the last processes samples

[startup+2566.4 s]
/proc/loadavg: 4.14 4.15 4.13 5/264 83006
/proc/meminfo: memFree=90860964/131250000 swapFree=33010672/33010684
[pid=82783] ppid=82780 vsize=31794908 memory=26423264 CPUtime=2559.14 cores=4,6
/proc/82783/stat : 82783 (pb-oll-rs) D 82780 82783 82247 0 -1 4195840 3702778 0 0 0 244832 11082 0 0 20 0 1 0 75057055 32557985792 6605816 18446744073709551615 4218880 5211445 140735209264352 140735209260144 140498774309484 0 0 0 8404994 1 0 0 17 4 0 0 0 0 0 5494472 5498400 22298624 140735209265564 140735209265641 140735209265641 140735209271243 6
/proc/82783/statm: 7948727 6605816 1376 243 0 7944976 0
Current children cumulated CPU time: 2559.14 s
Current children cumulated vsize: 31794908 KiB
Current children cumulated memory: 26423264 KiB

[startup+2567.2 s]
/proc/loadavg: 4.14 4.15 4.13 5/266 83009
/proc/meminfo: memFree=89598892/131250000 swapFree=33010672/33010684
[pid=82783] ppid=82780 vsize=31794908 memory=26423264 CPUtime=2559.61 cores=4,6
/proc/82783/stat : 82783 (pb-oll-rs) S 82780 82783 82247 0 -1 4195840 3702778 0 0 0 244832 11129 0 0 20 0 1 0 75057055 32557985792 6605816 18446744073709551615 4218880 5211445 140735209264352 140735209260144 140498774309484 0 0 0 8404994 1 0 0 17 4 0 0 0 0 0 5494472 5498400 22298624 140735209265564 140735209265641 140735209265641 140735209271243 6
/proc/82783/statm: 7948727 6605816 1376 243 0 7944976 0
Current children cumulated CPU time: 2559.61 s
Current children cumulated vsize: 31794908 KiB
Current children cumulated memory: 26423264 KiB

[startup+2568 s]*
/proc/loadavg: 4.14 4.15 4.13 5/266 83009
/proc/meminfo: memFree=89547924/131250000 swapFree=33010672/33010684
[pid=82783] ppid=82780 vsize=31794908 memory=26423264 CPUtime=2559.61 cores=4,6
/proc/82783/stat : 82783 (pb-oll-rs) S 82780 82783 82247 0 -1 4195840 3702778 0 0 0 244832 11129 0 0 20 0 1 0 75057055 32557985792 6605816 18446744073709551615 4218880 5211445 140735209264352 140735209260144 140498774309484 0 0 0 8404994 1 0 0 17 4 0 0 0 0 0 5494472 5498400 22298624 140735209265564 140735209265641 140735209265641 140735209271243 6
/proc/82783/statm: 7948727 6605816 1376 243 0 7944976 0
Current children cumulated CPU time: 2559.61 s
Current children cumulated vsize: 31794908 KiB
Current children cumulated memory: 26423264 KiB

[startup+2568.2 s]
/proc/loadavg: 4.14 4.15 4.13 5/266 83009
/proc/meminfo: memFree=89547924/131250000 swapFree=33010672/33010684
[pid=82783] ppid=82780 vsize=31794908 memory=26423264 CPUtime=2559.61 cores=4,6
/proc/82783/stat : 82783 (pb-oll-rs) S 82780 82783 82247 0 -1 4195840 3702778 0 0 0 244832 11129 0 0 20 0 1 0 75057055 32557985792 6605816 18446744073709551615 4218880 5211445 140735209264352 140735209260144 140498774309484 0 0 0 8404994 1 0 0 17 4 0 0 0 0 0 5494472 5498400 22298624 140735209265564 140735209265641 140735209265641 140735209271243 6
/proc/82783/statm: 7948727 6605816 1376 243 0 7944976 0
Current children cumulated CPU time: 2559.61 s
Current children cumulated vsize: 31794908 KiB
Current children cumulated memory: 26423264 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 2568.95
CPU time (s): 2560.36
CPU user time (s): 2448.32
CPU system time (s): 112.039
CPU usage (%): 99.6657
Max. virtual memory (cumulated for all children) (KiB): 31794908
Max. memory (cumulated for all children) (KiB): 26423264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2448.32
system time used= 112.039
maximum resident set size= 26423264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3702778
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= 271
involuntary context switches= 3641


# summary of solver processes directly reported to runsolver:
#   pid: 82783
#   total CPU time (s): 2560.36
#   total CPU user time (s): 2448.32
#   total CPU system time (s): 112.039

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.83047 second user time and 11.2565 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2025-07-04 03:49:44
IDJOB=4522730
IDBENCH=179278
IDSOLVER=3345
FILE ID=nodeC026/4522730-1751593784
RUNJOBID= nodeC026-1751590160-82258
SLURM_JOB_ID= 9598846
Free space on /tmp= 430244 MiB

SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/SMTI/SMTI_PBO/SMTI_50000_3_0.85_4.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522730-1751593784/watcher-4522730-1751593784 -o /tmp/evaluation-result-4522730-1751593784/solver-4522730-1751593784 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751590160-82258 --watchdog 3760  pb-oll-rs HOME/instance-4522730-1751593784.opb

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

MD5SUM BENCH= 80bbccedb85ca0271e993b8d74e189a8
RANDOM SEED=1189066349

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.685
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.879
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.588
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3589.512
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.007
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.803
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3703.406
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3629.479
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        126261524 kB
MemAvailable:   128892824 kB
Buffers:            2128 kB
Cached:          3258928 kB
SwapCached:            4 kB
Active:          1452668 kB
Inactive:        2589084 kB
Active(anon):     788812 kB
Inactive(anon):     9688 kB
Active(file):     663856 kB
Inactive(file):  2579396 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             17540 kB
Writeback:           284 kB
AnonPages:        783248 kB
Mapped:           108412 kB
Shmem:             18076 kB
KReclaimable:     448848 kB
Slab:             548988 kB
SReclaimable:     448848 kB
SUnreclaim:       100140 kB
KernelStack:        4256 kB
PageTables:         4644 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    1220192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150488 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:    253952 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      187092 kB
DirectMap2M:     9021440 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 428048 MiB
End job on nodeC026 at 2025-07-04 04:32:33