Trace number 4454228

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-07-19OPT1120 31.1849 31.2667

DiagnosticValue
AM1LB0
LOWERBOUND654
NAM1S0
NCORES3
NEXHAUSTED16
NPBCORES0
NPBREFORM2
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb
MD5SUM90387c500b0d1bb6d5365cb6c47f1935
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 benchmark1120
Best CPU time to get the best result obtained on this benchmark0.357517
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables89
Total number of constraints28
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)15
Number of constraints which are nor clauses,nor cardinality constraints11
Minimum length of a constraint2
Maximum length of a constraint47
Number of terms in the objective function 85
Biggest coefficient in the objective function 517
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 15494
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1656
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 15494
Number of bits of the biggest sum of numbers14
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
0.00/0.00	c [STEP] solving
0.00/0.00	c #variables 89 #constraints 28
0.00/0.00	c SMALL=int, LARGE=long long
0.00/0.00	c bounds - >= 0 @ 0.000377
0.00/0.00	c stratification level: 500
0.00/0.00	c bounds 3163 >= 0 @ 0.003597
0.00/0.00	c stratification level: 346
0.00/0.00	c bounds 2905 >= 0 @ 0.003724
0.00/0.00	c stratification level: 318
0.00/0.00	c bounds 2633 >= 0 @ 0.003849
0.00/0.00	c stratification level: 278
0.00/0.00	c bounds 2519 >= 0 @ 0.003936
0.00/0.00	c stratification level: 258
0.00/0.00	c bounds 2474 >= 0 @ 0.004045
0.00/0.00	c stratification level: 253
0.00/0.00	c bounds 2291 >= 0 @ 0.004203
0.00/0.00	c stratification level: 250
0.00/0.00	c bounds 2181 >= 0 @ 0.004303
0.00/0.00	c stratification level: 248
0.00/0.00	c bounds 2161 >= 0 @ 0.004386
0.00/0.00	c stratification level: 228
0.00/0.00	c bounds 2092 >= 0 @ 0.004462
0.00/0.00	c stratification level: 188
0.00/0.00	c bounds 2063 >= 0 @ 0.004639
0.00/0.00	c stratification level: 186
0.00/0.00	c bounds 1790 >= 0 @ 0.004859
0.00/0.00	c stratification level: 183
0.00/0.00	c bounds 1714 >= 0 @ 0.006045
0.00/0.00	c stratification level: 179
0.00/0.01	c bounds 1545 >= 0 @ 0.008139
0.00/0.01	c stratification level: 171
0.00/0.01	c bounds 1304 >= 0 @ 0.009728
0.00/0.01	c stratification level: 170
0.00/0.01	c bounds 1194 >= 0 @ 0.010396
0.00/0.01	c stratification level: 164
0.00/0.05	c bounds 1194 >= 164 @ 0.011945
0.00/0.05	c #Conflicts:       1000 | #Constraints:       1043
0.00/0.05	c finalizing WCE round: reformulating cores
0.29/0.37	c bounds 1183 >= 164 @ 0.077223
0.29/0.37	c bounds 1183 >= 164 @ 0.07906
0.29/0.37	c bounds 1183 >= 164 @ 0.094502
0.29/0.37	c bounds 1183 >= 164 @ 0.099314
0.29/0.37	c #Conflicts:       2000 | #Constraints:       2059
0.29/0.37	c INPROCESSING
0.29/0.37	c GARBAGE COLLECT
0.29/0.37	c bounds 1183 >= 164 @ 0.110743
0.29/0.37	c bounds 1183 >= 164 @ 0.112324
0.29/0.37	c bounds 1183 >= 164 @ 0.123103
0.29/0.37	c bounds 1183 >= 164 @ 0.130206
0.29/0.37	c bounds 1183 >= 164 @ 0.132459
0.29/0.37	c bounds 1183 >= 164 @ 0.139758
0.29/0.37	c bounds 1183 >= 164 @ 0.141426
0.29/0.37	c bounds 1183 >= 164 @ 0.147215
0.29/0.37	c bounds 1183 >= 164 @ 0.15809
0.29/0.37	c bounds 1183 >= 164 @ 0.162882
0.29/0.37	c bounds 1183 >= 164 @ 0.165027
0.29/0.37	c bounds 1183 >= 164 @ 0.167482
0.29/0.37	c #Conflicts:       3000 | #Constraints:       2069
0.29/0.37	c bounds 1183 >= 335 @ 0.236226
0.29/0.37	c #Conflicts:       4000 | #Constraints:       3069
0.29/0.37	c INPROCESSING
0.29/0.37	c GARBAGE COLLECT
0.29/0.37	c #Conflicts:       5000 | #Constraints:       2389
0.29/0.37	c bounds 1169 >= 335 @ 0.350846
0.29/0.37	c stratification level: 163
0.29/0.38	c bounds 1148 >= 335 @ 0.356671
0.29/0.38	c stratification level: 161
0.39/0.46	c bounds 1136 >= 335 @ 0.431524
0.39/0.46	c stratification level: 160
5.67/5.79	c #Conflicts:       6000 | #Constraints:       3392
5.67/5.79	c INPROCESSING
5.67/5.79	c GARBAGE COLLECT
5.67/5.79	c #Conflicts:       7000 | #Constraints:       2425
5.67/5.79	c #Conflicts:       8000 | #Constraints:       3425
5.67/5.79	c #Conflicts:       9000 | #Constraints:       4425
5.67/5.79	c INPROCESSING
5.67/5.79	c GARBAGE COLLECT
5.67/5.79	c #Conflicts:      10000 | #Constraints:       3144
5.67/5.79	c #Conflicts:      11000 | #Constraints:       4144
5.67/5.79	c #Conflicts:      12000 | #Constraints:       5144
5.67/5.79	c INPROCESSING
5.67/5.79	c GARBAGE COLLECT
5.67/5.79	c #Conflicts:      13000 | #Constraints:       3603
5.67/5.79	c #Conflicts:      14000 | #Constraints:       4603
5.67/5.79	c #Conflicts:      15000 | #Constraints:       5603
5.67/5.79	c INPROCESSING
5.67/5.79	c GARBAGE COLLECT
5.67/5.79	c #Conflicts:      16000 | #Constraints:       3832
5.67/5.79	c #Conflicts:      17000 | #Constraints:       4832
5.67/5.79	c #Conflicts:      18000 | #Constraints:       5832
5.67/5.79	c INPROCESSING
5.67/5.79	c GARBAGE COLLECT
5.67/5.79	c #Conflicts:      19000 | #Constraints:       3851
5.67/5.79	c #Conflicts:      20000 | #Constraints:       4851
5.67/5.79	c #Conflicts:      21000 | #Constraints:       5851
5.67/5.79	c INPROCESSING
5.67/5.79	c GARBAGE COLLECT
5.67/5.79	c #Conflicts:      22000 | #Constraints:       3657
5.67/5.79	c #Conflicts:      23000 | #Constraints:       4657
5.67/5.79	c #Conflicts:      24000 | #Constraints:       5657
5.67/5.79	c #Conflicts:      25000 | #Constraints:       6657
5.67/5.79	c INPROCESSING
5.67/5.79	c GARBAGE COLLECT
5.67/5.79	c #Conflicts:      26000 | #Constraints:       4262
5.67/5.79	c #Conflicts:      27000 | #Constraints:       5262
5.67/5.79	c #Conflicts:      28000 | #Constraints:       6262
5.67/5.79	c #Conflicts:      29000 | #Constraints:       7262
5.67/5.79	c INPROCESSING
5.67/5.79	c GARBAGE COLLECT
5.67/5.79	c #Conflicts:      30000 | #Constraints:       4664
5.67/5.79	c #Conflicts:      31000 | #Constraints:       5664
5.67/5.79	c #Conflicts:      32000 | #Constraints:       6664
5.67/5.79	c #Conflicts:      33000 | #Constraints:       7664
5.67/5.79	c INPROCESSING
5.67/5.79	c GARBAGE COLLECT
5.67/5.79	c #Conflicts:      34000 | #Constraints:       4868
5.67/5.79	c #Conflicts:      35000 | #Constraints:       5868
5.67/5.79	c #Conflicts:      36000 | #Constraints:       6868
5.67/5.79	c #Conflicts:      37000 | #Constraints:       7868
5.67/5.79	c INPROCESSING
5.67/5.79	c GARBAGE COLLECT
5.67/5.79	c #Conflicts:      38000 | #Constraints:       4871
5.67/5.79	c #Conflicts:      39000 | #Constraints:       5871
5.67/5.79	c #Conflicts:      40000 | #Constraints:       6871
5.67/5.79	c bounds 1136 >= 495 @ 4.61357
5.67/5.79	c #Conflicts:      41000 | #Constraints:       7872
5.67/5.79	c INPROCESSING
5.67/5.79	c GARBAGE COLLECT
5.67/5.79	c #Conflicts:      42000 | #Constraints:       4669
5.67/5.79	c #Conflicts:      43000 | #Constraints:       5669
5.67/5.79	c #Conflicts:      44000 | #Constraints:       6669
5.67/5.79	c #Conflicts:      45000 | #Constraints:       7669
5.67/5.79	c #Conflicts:      46000 | #Constraints:       8669
5.67/5.79	c INPROCESSING
5.67/5.79	c GARBAGE COLLECT
5.67/5.79	c #Conflicts:      47000 | #Constraints:       5266
5.67/5.79	c finalizing WCE round: reformulating cores
8.46/8.51	c #Conflicts:      48000 | #Constraints:       6269
8.46/8.51	c bounds 1128 >= 495 @ 5.71342
8.46/8.51	c #Conflicts:      49000 | #Constraints:       7269
8.46/8.51	c #Conflicts:      50000 | #Constraints:       8269
8.46/8.51	c #Conflicts:      51000 | #Constraints:       9269
8.46/8.51	c INPROCESSING
8.46/8.51	c GARBAGE COLLECT
8.46/8.51	c #Conflicts:      52000 | #Constraints:       5672
8.46/8.51	c #Conflicts:      53000 | #Constraints:       6672
8.46/8.51	c #Conflicts:      54000 | #Constraints:       7672
8.46/8.51	c #Conflicts:      55000 | #Constraints:       8672
8.46/8.51	c #Conflicts:      56000 | #Constraints:       9672
8.46/8.51	c INPROCESSING
8.46/8.51	c GARBAGE COLLECT
8.46/8.51	c #Conflicts:      57000 | #Constraints:       5868
8.46/8.51	c #Conflicts:      58000 | #Constraints:       6868
8.46/8.51	c #Conflicts:      59000 | #Constraints:       7868
8.46/8.51	c #Conflicts:      60000 | #Constraints:       8868
8.46/8.51	c #Conflicts:      61000 | #Constraints:       9868
8.46/8.51	c INPROCESSING
8.46/8.51	c GARBAGE COLLECT
8.46/8.51	c #Conflicts:      62000 | #Constraints:       5872
8.46/8.51	c #Conflicts:      63000 | #Constraints:       6872
8.46/8.51	c #Conflicts:      64000 | #Constraints:       7872
8.46/8.51	c bounds 1120 >= 495 @ 8.28093
8.46/8.51	c stratification level: 159
22.43/22.52	c #Conflicts:      65000 | #Constraints:       8873
22.43/22.52	c #Conflicts:      66000 | #Constraints:       9873
22.43/22.52	c INPROCESSING
22.43/22.52	c GARBAGE COLLECT
22.43/22.52	c #Conflicts:      67000 | #Constraints:       5669
22.43/22.52	c #Conflicts:      68000 | #Constraints:       6669
22.43/22.52	c #Conflicts:      69000 | #Constraints:       7669
22.43/22.52	c #Conflicts:      70000 | #Constraints:       8669
22.43/22.52	c #Conflicts:      71000 | #Constraints:       9669
22.43/22.52	c #Conflicts:      72000 | #Constraints:      10669
22.43/22.52	c INPROCESSING
22.43/22.52	c GARBAGE COLLECT
22.43/22.52	c #Conflicts:      73000 | #Constraints:       6271
22.43/22.52	c #Conflicts:      74000 | #Constraints:       7271
22.43/22.52	c #Conflicts:      75000 | #Constraints:       8271
22.43/22.52	c #Conflicts:      76000 | #Constraints:       9271
22.43/22.52	c #Conflicts:      77000 | #Constraints:      10271
22.43/22.52	c #Conflicts:      78000 | #Constraints:      11271
22.43/22.52	c INPROCESSING
22.43/22.52	c GARBAGE COLLECT
22.43/22.52	c #Conflicts:      79000 | #Constraints:       6668
22.43/22.52	c #Conflicts:      80000 | #Constraints:       7668
22.43/22.52	c #Conflicts:      81000 | #Constraints:       8668
22.43/22.52	c #Conflicts:      82000 | #Constraints:       9668
22.43/22.52	c #Conflicts:      83000 | #Constraints:      10668
22.43/22.52	c #Conflicts:      84000 | #Constraints:      11668
22.43/22.52	c INPROCESSING
22.43/22.52	c GARBAGE COLLECT
22.43/22.52	c #Conflicts:      85000 | #Constraints:       6873
22.43/22.52	c #Conflicts:      86000 | #Constraints:       7873
22.43/22.52	c #Conflicts:      87000 | #Constraints:       8873
22.43/22.52	c #Conflicts:      88000 | #Constraints:       9873
22.43/22.52	c #Conflicts:      89000 | #Constraints:      10873
22.43/22.52	c #Conflicts:      90000 | #Constraints:      11873
22.43/22.52	c INPROCESSING
22.43/22.52	c GARBAGE COLLECT
22.43/22.52	c #Conflicts:      91000 | #Constraints:       6873
22.43/22.52	c #Conflicts:      92000 | #Constraints:       7873
22.43/22.52	c #Conflicts:      93000 | #Constraints:       8873
22.43/22.52	c #Conflicts:      94000 | #Constraints:       9873
22.43/22.52	c #Conflicts:      95000 | #Constraints:      10873
22.43/22.52	c #Conflicts:      96000 | #Constraints:      11873
22.43/22.52	c INPROCESSING
22.43/22.52	c GARBAGE COLLECT
22.43/22.52	c #Conflicts:      97000 | #Constraints:       6674
22.43/22.52	c #Conflicts:      98000 | #Constraints:       7674
22.43/22.52	c #Conflicts:      99000 | #Constraints:       8674
22.43/22.52	c #Conflicts:     100000 | #Constraints:       9674
22.43/22.52	c #Conflicts:     101000 | #Constraints:      10674
22.43/22.52	c #Conflicts:     102000 | #Constraints:      11674
22.43/22.52	c #Conflicts:     103000 | #Constraints:      12674
22.43/22.52	c INPROCESSING
22.43/22.52	c GARBAGE COLLECT
22.43/22.52	c #Conflicts:     104000 | #Constraints:       7275
22.43/22.52	c #Conflicts:     105000 | #Constraints:       8275
22.43/22.52	c #Conflicts:     106000 | #Constraints:       9275
22.43/22.52	c #Conflicts:     107000 | #Constraints:      10275
22.43/22.52	c #Conflicts:     108000 | #Constraints:      11275
22.43/22.52	c #Conflicts:     109000 | #Constraints:      12275
22.43/22.52	c #Conflicts:     110000 | #Constraints:      13275
22.43/22.52	c INPROCESSING
22.43/22.52	c GARBAGE COLLECT
22.43/22.52	c #Conflicts:     111000 | #Constraints:       7675
22.43/22.52	c #Conflicts:     112000 | #Constraints:       8675
22.43/22.52	c #Conflicts:     113000 | #Constraints:       9675
22.43/22.52	c #Conflicts:     114000 | #Constraints:      10675
22.43/22.52	c #Conflicts:     115000 | #Constraints:      11675
22.43/22.52	c #Conflicts:     116000 | #Constraints:      12675
22.43/22.52	c #Conflicts:     117000 | #Constraints:      13675
22.43/22.52	c INPROCESSING
22.43/22.52	c GARBAGE COLLECT
22.43/22.52	c #Conflicts:     118000 | #Constraints:       7874
22.43/22.52	c #Conflicts:     119000 | #Constraints:       8874
22.43/22.52	c #Conflicts:     120000 | #Constraints:       9874
22.43/22.52	c #Conflicts:     121000 | #Constraints:      10874
22.43/22.52	c #Conflicts:     122000 | #Constraints:      11874
22.43/22.52	c #Conflicts:     123000 | #Constraints:      12874
22.43/22.52	c #Conflicts:     124000 | #Constraints:      13874
22.43/22.52	c INPROCESSING
22.43/22.52	c GARBAGE COLLECT
22.43/22.52	c #Conflicts:     125000 | #Constraints:       7876
22.43/22.52	c #Conflicts:     126000 | #Constraints:       8876
22.43/22.52	c #Conflicts:     127000 | #Constraints:       9876
22.43/22.52	c #Conflicts:     128000 | #Constraints:      10876
22.43/22.52	c #Conflicts:     129000 | #Constraints:      11876
22.43/22.52	c #Conflicts:     130000 | #Constraints:      12876
22.43/22.52	c #Conflicts:     131000 | #Constraints:      13876
22.43/22.52	c INPROCESSING
22.43/22.52	c GARBAGE COLLECT
22.43/22.52	c #Conflicts:     132000 | #Constraints:       7674
22.43/22.52	c #Conflicts:     133000 | #Constraints:       8674
22.43/22.52	c #Conflicts:     134000 | #Constraints:       9674
22.43/22.52	c #Conflicts:     135000 | #Constraints:      10674
22.43/22.52	c #Conflicts:     136000 | #Constraints:      11674
31.11/31.26	c #Conflicts:     137000 | #Constraints:      12674
31.11/31.26	c #Conflicts:     138000 | #Constraints:      13674
31.11/31.26	c #Conflicts:     139000 | #Constraints:      14674
31.11/31.26	c INPROCESSING
31.11/31.26	c GARBAGE COLLECT
31.11/31.26	c #Conflicts:     140000 | #Constraints:       8273
31.11/31.26	c #Conflicts:     141000 | #Constraints:       9273
31.11/31.26	c #Conflicts:     142000 | #Constraints:      10273
31.11/31.26	c #Conflicts:     143000 | #Constraints:      11273
31.11/31.26	c #Conflicts:     144000 | #Constraints:      12273
31.11/31.26	c #Conflicts:     145000 | #Constraints:      13273
31.11/31.26	c #Conflicts:     146000 | #Constraints:      14273
31.11/31.26	c #Conflicts:     147000 | #Constraints:      15273
31.11/31.26	c INPROCESSING
31.11/31.26	c GARBAGE COLLECT
31.11/31.26	c #Conflicts:     148000 | #Constraints:       8672
31.11/31.26	c #Conflicts:     149000 | #Constraints:       9672
31.11/31.26	c bounds 1120 >= 654 @ 25.1237
31.11/31.26	c #Conflicts:     150000 | #Constraints:      10673
31.11/31.26	c #Conflicts:     151000 | #Constraints:      11673
31.11/31.26	c #Conflicts:     152000 | #Constraints:      12673
31.11/31.26	c #Conflicts:     153000 | #Constraints:      13673
31.11/31.26	c #Conflicts:     154000 | #Constraints:      14673
31.11/31.26	c #Conflicts:     155000 | #Constraints:      15673
31.11/31.26	c INPROCESSING
31.11/31.26	c GARBAGE COLLECT
31.11/31.26	c #Conflicts:     156000 | #Constraints:       8873
31.11/31.26	c #Conflicts:     157000 | #Constraints:       9873
31.11/31.26	c #Conflicts:     158000 | #Constraints:      10873
31.11/31.26	c #Conflicts:     159000 | #Constraints:      11873
31.11/31.26	c #Conflicts:     160000 | #Constraints:      12873
31.11/31.26	c #Conflicts:     161000 | #Constraints:      13873
31.11/31.26	c #Conflicts:     162000 | #Constraints:      14873
31.11/31.26	c #Conflicts:     163000 | #Constraints:      15873
31.11/31.26	c INPROCESSING
31.11/31.26	c GARBAGE COLLECT
31.11/31.26	c #Conflicts:     164000 | #Constraints:       8874
31.11/31.26	c #Conflicts:     165000 | #Constraints:       9874
31.11/31.26	c #Conflicts:     166000 | #Constraints:      10874
31.11/31.26	c #Conflicts:     167000 | #Constraints:      11874
31.11/31.26	c #Conflicts:     168000 | #Constraints:      12874
31.11/31.26	c #Conflicts:     169000 | #Constraints:      13874
31.11/31.26	c #Conflicts:     170000 | #Constraints:      14874
31.11/31.26	c #Conflicts:     171000 | #Constraints:      15874
31.11/31.26	c #Conflicts:     172000 | #Constraints:      16874
31.11/31.26	c #Conflicts:     173000 | #Constraints:      17874
31.11/31.26	c bounds 1120 >= 654 @ 30.6057
31.11/31.26	d SOLVEDBY oll
31.11/31.26	c cpu time 30.6057 s
31.11/31.26	c deterministic time 3800314880 3.80e+09
31.11/31.26	c optimization time 0.292194 s
31.11/31.26	c total solve time 30.3132 s
31.11/31.26	c core-guided solve time 30.3132 s
31.11/31.26	c propagation time 20.6536 s
31.11/31.26	c conflict analysis time 9.02434 s
31.11/31.26	c propagations 5272322
31.11/31.26	c resolve steps 1016520
31.11/31.26	c decisions 317463
31.11/31.26	c conflicts 173741
31.11/31.26	c restarts 475
31.11/31.26	c inprocessing phases 32
31.11/31.26	c input clauses 20
31.11/31.26	c input cardinalities 15
31.11/31.26	c input general constraints 69
31.11/31.26	c input average constraint length 37.01
31.11/31.26	c input average constraint degree 4613.07
31.11/31.26	c learned clauses 65181
31.11/31.26	c learned cardinalities 655
31.11/31.26	c learned general constraints 107902
31.11/31.26	c learned average constraint length 32.79
31.11/31.26	c learned average constraint degree 8935.79
31.11/31.26	c watched constraints 51079
31.11/31.26	c counting constraints 56892
31.11/31.26	c gcd simplifications 44987
31.11/31.26	c detected cardinalities 187
31.11/31.26	c weakened non-implied lits 4942292
31.11/31.26	c weakened non-implying lits 70748
31.11/31.26	c original variables 89
31.11/31.26	c clausal propagations 129858
31.11/31.26	c cardinality propagations 563127
31.11/31.26	c watched propagations 491609
31.11/31.26	c counting propagations 3905127
31.11/31.26	c watch lookups 1359957091
31.11/31.26	c watch backjump lookups 1300967631
31.11/31.26	c watch checks 546800336
31.11/31.26	c propagation checks 534742676
31.11/31.26	c constraint additions 46493865
31.11/31.26	c trail pops 5763495
31.11/31.26	c formula constraints 28
31.11/31.26	c learned constraints 173738
31.11/31.26	c bound constraints 24
31.11/31.26	c core-guided constraints 52
31.11/31.26	c encountered formula constraints 356443
31.11/31.26	c encountered learned constraints 826149
31.11/31.26	c encountered bound constraints 4956
31.11/31.26	c encountered core-guided constraints 2713
31.11/31.26	c LP total time 0 s
31.11/31.26	c LP solve time 0 s
31.11/31.26	c LP constraints added 0
31.11/31.26	c LP constraints removed 0
31.11/31.26	c LP pivots internal 0
31.11/31.26	c LP pivots root 0
31.11/31.26	c LP calls 0
31.11/31.26	c LP optimalities 0
31.11/31.26	c LP no pivot count 0
31.11/31.26	c LP infeasibilities 0
31.11/31.26	c LP valid Farkas constraints 0
31.11/31.26	c LP learned Farkas constraints 0
31.11/31.26	c LP basis resets 0
31.11/31.26	c LP cycling count 0
31.11/31.26	c LP singular count 0
31.11/31.26	c LP no primal count 0
31.11/31.26	c LP no farkas count 0
31.11/31.26	c LP other issue count 0
31.11/31.26	c LP Gomory cuts 0
31.11/31.26	c LP learned cuts 0
31.11/31.26	c LP deleted cuts 0
31.11/31.26	c LP encountered Gomory constraints 0
31.11/31.26	c LP encountered Farkas constraints 0
31.11/31.26	c LP encountered learned Farkas constraints 0
31.11/31.26	c CG auxiliary variables introduced 18
31.11/31.26	c CG solutions found 21
31.11/31.26	c CG cores constructed 3
31.11/31.26	c CG core cardinality constraints returned 0
31.11/31.26	c CG unit cores 0
31.11/31.26	c CG single cores 3
31.11/31.26	c CG blocks removed during cardinality reduction 0
31.11/31.26	c CG first core best 0
31.11/31.26	c CG decision core best 0
31.11/31.26	c CG core reduction tie 0
31.11/31.26	c CG core degree average 1.00
31.11/31.26	c CG core slack average 18.00
31.11/31.26	c CG exhausted 16
31.11/31.26	c CG exhaust time 0.290631 s
31.11/31.26	c CG trimmed 0
31.11/31.26	c CG trim time 0.000174 s
31.11/31.26	c CG minimized 0
31.11/31.26	c CG minimize time 0 s
31.11/31.26	c CG am1 prop time 0.00019 s
31.11/31.26	c CG # am1s reformulated 0
31.11/31.26	c CG lower bound derived from am1s 0
31.11/31.26	c CG # clausal cores 3
31.11/31.26	c CG # cardinality cores 0
31.11/31.26	c CG # pb cores 0
31.11/31.26	c CG # pb reforms 2
31.11/31.26	c CG # cores discarded because of pb reform 0
31.11/31.26	d LOWERBOUND 654
31.11/31.26	d NCORES 3
31.11/31.26	d NPBCORES 0
31.11/31.26	d NPBREFORM 2
31.11/31.26	d NTRIMMED 0
31.11/31.26	d NEXHAUSTED 16
31.11/31.26	d NAM1S 0
31.11/31.26	d AM1LB 0
31.11/31.26	o 1120
31.11/31.26	s OPTIMUM FOUND
31.11/31.26	v x1 x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89

Verifier Data 

OK	1120

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: 63931 MiB (60869 MiB free)
  memory of node 1: 64510 MiB (62973 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454228-1721449657/watcher-4454228-1721449657 -o /tmp/evaluation-result-4454228-1721449657/solver-4454228-1721449657 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721446059-1059496 --watchdog 3760 pb-oll-rs HOME/instance-4454228-1721449657.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1061703, runsolver pid=1061700

[startup+0.100135 s]*
/proc/loadavg: 4.06 4.08 4.09 5/256 1061704
/proc/meminfo: memFree=126812352/131524600 swapFree=131071996/131071996
[pid=1061703] ppid=1061700 vsize=39312 memory=6988 CPUtime=0.09 cores=5,7
/proc/1061703/stat : 1061703 (pb-oll-rs) R 1061700 1061703 1059483 0 -1 4194304 531 0 0 0 9 0 0 0 20 0 1 0 197129895 40255488 1747 134679101440 4194304 5384485 140725402434064 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5674704 5678696 33222656 140725402436629 140725402436706 140725402436706 140725402443723 0
/proc/1061703/statm: 9828 1747 1409 291 0 1362 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39312 KiB
Current children cumulated memory: 6988 KiB

[startup+0.204178 s]*
/proc/loadavg: 4.06 4.08 4.09 5/256 1061704
/proc/meminfo: memFree=126811204/131524600 swapFree=131071996/131071996
[pid=1061703] ppid=1061700 vsize=39444 memory=7252 CPUtime=0.19 cores=5,7
/proc/1061703/stat : 1061703 (pb-oll-rs) R 1061700 1061703 1059483 0 -1 4194304 620 0 0 0 18 1 0 0 20 0 1 0 197129895 40390656 1813 134679101440 4194304 5384485 140725402434064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 33222656 140725402436629 140725402436706 140725402436706 140725402443723 0
/proc/1061703/statm: 9861 1813 1409 291 0 1395 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 39444 KiB
Current children cumulated memory: 7252 KiB

[startup+0.304168 s]*
/proc/loadavg: 4.05 4.08 4.09 5/256 1061704
/proc/meminfo: memFree=126807392/131524600 swapFree=131071996/131071996
[pid=1061703] ppid=1061700 vsize=39716 memory=10060 CPUtime=0.29 cores=5,7
/proc/1061703/stat : 1061703 (pb-oll-rs) R 1061700 1061703 1059483 0 -1 4194304 719 0 0 0 28 1 0 0 20 0 1 0 197129895 40669184 2515 134679101440 4194304 5384485 140725402434064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 33222656 140725402436629 140725402436706 140725402436706 140725402443723 0
/proc/1061703/statm: 9929 2515 1472 291 0 1463 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 39716 KiB
Current children cumulated memory: 10060 KiB

[startup+0.70016 s]
/proc/loadavg: 4.05 4.08 4.09 5/253 1061708
/proc/meminfo: memFree=126992892/131524600 swapFree=131071996/131071996
[pid=1061703] ppid=1061700 vsize=40144 memory=10324 CPUtime=0.68 cores=5,7
/proc/1061703/stat : 1061703 (pb-oll-rs) R 1061700 1061703 1059483 0 -1 4194304 826 0 0 0 66 2 0 0 20 0 1 0 197129895 41107456 2581 134679101440 4194304 5384485 140725402434064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 33222656 140725402436629 140725402436706 140725402436706 140725402443723 0
/proc/1061703/statm: 10036 2581 1472 291 0 1570 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40144 KiB
Current children cumulated memory: 10324 KiB

[startup+1.50015 s]
/proc/loadavg: 4.05 4.08 4.09 5/256 1061750
/proc/meminfo: memFree=126984924/131524600 swapFree=131071996/131071996
[pid=1061703] ppid=1061700 vsize=40740 memory=10852 CPUtime=1.48 cores=5,7
/proc/1061703/stat : 1061703 (pb-oll-rs) R 1061700 1061703 1059483 0 -1 4194304 941 0 0 0 144 4 0 0 20 0 1 0 197129895 41717760 2713 134679101440 4194304 5384485 140725402434064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 33222656 140725402436629 140725402436706 140725402436706 140725402443723 0
/proc/1061703/statm: 10185 2713 1472 291 0 1719 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40740 KiB
Current children cumulated memory: 10852 KiB

[startup+3.10433 s]
/proc/loadavg: 4.05 4.08 4.09 5/256 1061751
/proc/meminfo: memFree=126973308/131524600 swapFree=131071996/131071996
[pid=1061703] ppid=1061700 vsize=40884 memory=11248 CPUtime=3.09 cores=5,7
/proc/1061703/stat : 1061703 (pb-oll-rs) R 1061700 1061703 1059483 0 -1 4194304 998 0 0 0 300 9 0 0 20 0 1 0 197129895 41865216 2812 134679101440 4194304 5384485 140725402434064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 33222656 140725402436629 140725402436706 140725402436706 140725402443723 0
/proc/1061703/statm: 10221 2812 1472 291 0 1755 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 40884 KiB
Current children cumulated memory: 11248 KiB

[startup+6.30017 s]
/proc/loadavg: 4.05 4.08 4.09 5/256 1061751
/proc/meminfo: memFree=126964196/131524600 swapFree=131071996/131071996
[pid=1061703] ppid=1061700 vsize=41740 memory=11944 CPUtime=6.27 cores=5,7
/proc/1061703/stat : 1061703 (pb-oll-rs) R 1061700 1061703 1059483 0 -1 4194304 1182 0 0 0 611 16 0 0 20 0 1 0 197129895 42741760 2986 134679101440 4194304 5384485 140725402434064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 33222656 140725402436629 140725402436706 140725402436706 140725402443723 0
/proc/1061703/statm: 10435 2986 1472 291 0 1969 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 41740 KiB
Current children cumulated memory: 11944 KiB

[startup+12.7002 s]
/proc/loadavg: 4.04 4.08 4.09 5/256 1061753
/proc/meminfo: memFree=126923580/131524600 swapFree=131071996/131071996
[pid=1061703] ppid=1061700 vsize=42540 memory=12852 CPUtime=12.66 cores=5,7
/proc/1061703/stat : 1061703 (pb-oll-rs) R 1061700 1061703 1059483 0 -1 4194304 1416 0 0 0 1236 30 0 0 20 0 1 0 197129895 43560960 3213 134679101440 4194304 5384485 140725402434064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 33222656 140725402436629 140725402436706 140725402436706 140725402443723 0
/proc/1061703/statm: 10635 3213 1472 291 0 2169 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 42540 KiB
Current children cumulated memory: 12852 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.09 4.09 5/257 1061923
/proc/meminfo: memFree=126887724/131524600 swapFree=131071996/131071996
[pid=1061703] ppid=1061700 vsize=43744 memory=14696 CPUtime=25.42 cores=5,7
/proc/1061703/stat : 1061703 (pb-oll-rs) R 1061700 1061703 1059483 0 -1 4194304 1902 0 0 0 2493 49 0 0 20 0 1 0 197129895 44793856 3674 134679101440 4194304 5384485 140725402434064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 33222656 140725402436629 140725402436706 140725402436706 140725402443723 0
/proc/1061703/statm: 10936 3674 1472 291 0 2470 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 43744 KiB
Current children cumulated memory: 14696 KiB

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

# cumulated CPU time of all completed processes:  user=30.6073 s, system=0.577598 s

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

[startup+25.6002 s]
/proc/loadavg: 4.12 4.09 4.09 5/257 1061923
/proc/meminfo: memFree=126887724/131524600 swapFree=131071996/131071996
[pid=1061703] ppid=1061700 vsize=43744 memory=14696 CPUtime=25.52 cores=5,7
/proc/1061703/stat : 1061703 (pb-oll-rs) R 1061700 1061703 1059483 0 -1 4194304 1902 0 0 0 2503 49 0 0 20 0 1 0 197129895 44793856 3674 134679101440 4194304 5384485 140725402434064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 33222656 140725402436629 140725402436706 140725402436706 140725402443723 0
/proc/1061703/statm: 10936 3674 1472 291 0 2470 0
Current children cumulated CPU time: 25.52 s
Current children cumulated vsize: 43744 KiB
Current children cumulated memory: 14696 KiB

[startup+28.8001 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 1061923
/proc/meminfo: memFree=126878752/131524600 swapFree=131071996/131071996
[pid=1061703] ppid=1061700 vsize=43744 memory=14860 CPUtime=28.72 cores=5,7
/proc/1061703/stat : 1061703 (pb-oll-rs) R 1061700 1061703 1059483 0 -1 4194304 1949 0 0 0 2818 54 0 0 20 0 1 0 197129895 44793856 3715 134679101440 4194304 5384485 140725402434064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 33222656 140725402436629 140725402436706 140725402436706 140725402443723 0
/proc/1061703/statm: 10936 3715 1472 291 0 2470 0
Current children cumulated CPU time: 28.72 s
Current children cumulated vsize: 43744 KiB
Current children cumulated memory: 14860 KiB

[startup+30.4002 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 1061923
/proc/meminfo: memFree=126877716/131524600 swapFree=131071996/131071996
[pid=1061703] ppid=1061700 vsize=43744 memory=14860 CPUtime=30.31 cores=5,7
/proc/1061703/stat : 1061703 (pb-oll-rs) R 1061700 1061703 1059483 0 -1 4194304 1950 0 0 0 2975 56 0 0 20 0 1 0 197129895 44793856 3715 134679101440 4194304 5384485 140725402434064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 33222656 140725402436629 140725402436706 140725402436706 140725402443723 0
/proc/1061703/statm: 10936 3715 1472 291 0 2470 0
Current children cumulated CPU time: 30.31 s
Current children cumulated vsize: 43744 KiB
Current children cumulated memory: 14860 KiB

[startup+30.8002 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 1061923
/proc/meminfo: memFree=126877716/131524600 swapFree=131071996/131071996
[pid=1061703] ppid=1061700 vsize=43744 memory=14860 CPUtime=30.71 cores=5,7
/proc/1061703/stat : 1061703 (pb-oll-rs) R 1061700 1061703 1059483 0 -1 4194304 1999 0 0 0 3014 57 0 0 20 0 1 0 197129895 44793856 3715 134679101440 4194304 5384485 140725402434064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 33222656 140725402436629 140725402436706 140725402436706 140725402443723 0
/proc/1061703/statm: 10936 3715 1472 291 0 2470 0
Current children cumulated CPU time: 30.71 s
Current children cumulated vsize: 43744 KiB
Current children cumulated memory: 14860 KiB

[startup+31.2002 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 1061923
/proc/meminfo: memFree=126877408/131524600 swapFree=131071996/131071996
[pid=1061703] ppid=1061700 vsize=44128 memory=15384 CPUtime=31.11 cores=5,7
/proc/1061703/stat : 1061703 (pb-oll-rs) R 1061700 1061703 1059483 0 -1 4194304 2137 0 0 0 3054 57 0 0 20 0 1 0 197129895 45187072 3846 134679101440 4194304 5384485 140725402434064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 33222656 140725402436629 140725402436706 140725402436706 140725402443723 0
/proc/1061703/statm: 11032 3846 1472 291 0 2566 0
Current children cumulated CPU time: 31.11 s
Current children cumulated vsize: 44128 KiB
Current children cumulated memory: 15384 KiB

Child status: 0

Real time (s): 31.2667
CPU time (s): 31.1849
CPU user time (s): 30.6073
CPU system time (s): 0.577598
CPU usage (%): 99.7386
Max. virtual memory (cumulated for all children) (KiB): 44128
Max. memory (cumulated for all children) (KiB): 15384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.6073
system time used= 0.577598
maximum resident set size= 15640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2158
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= 7
involuntary context switches= 44


# summary of solver processes directly reported to runsolver:
#   pid: 1061703
#   total CPU time (s): 31.1849
#   total CPU user time (s): 30.6073
#   total CPU system time (s): 0.577598

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.081447 second user time and 0.118853 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2024-07-20 06:27:50
IDJOB=4454228
IDBENCH=146908
IDSOLVER=3082
FILE ID=nodeC022/4454228-1721449657
RUNJOBID= nodeC022-1721446059-1059496
SLURM_JOB_ID= 7545669
Free space on /tmp= 890076 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454228-1721449657/watcher-4454228-1721449657 -o /tmp/evaluation-result-4454228-1721449657/solver-4454228-1721449657 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721446059-1059496 --watchdog 3760  pb-oll-rs HOME/instance-4454228-1721449657.opb

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

MD5SUM BENCH= 90387c500b0d1bb6d5365cb6c47f1935
RANDOM SEED=1970518703

nodeC022.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3657.889
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
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		: 3500.763
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.96
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		: 3600.054
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
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		: 3643.503
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.96
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		: 3657.870
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
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		: 3640.168
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.058
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
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		: 3642.641
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126816128 kB
MemAvailable:   129466096 kB
Buffers:          538872 kB
Cached:          2935856 kB
SwapCached:            0 kB
Active:          1241780 kB
Inactive:        2809480 kB
Active(anon):       1524 kB
Inactive(anon):   620916 kB
Active(file):    1240256 kB
Inactive(file):  2188564 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              7288 kB
Writeback:             0 kB
AnonPages:        575944 kB
Mapped:           111780 kB
Shmem:             45912 kB
KReclaimable:     121588 kB
Slab:             238436 kB
SReclaimable:     121588 kB
SUnreclaim:       116848 kB
KernelStack:        4176 kB
PageTables:        10468 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     934592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            71520 kB
HardwareCorrupted:     0 kB
AnonHugePages:    266240 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      260820 kB
DirectMap2M:    28872704 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC022 at 2024-07-20 06:28:21