Trace number 4522127

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
mixed-bag-2024 2025-05-06? (TO) 3600.13 3610.93

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2017/normalized-sp98ar.opb
MD5SUMb3caef0af1778b7e481a62fab9deebc2
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 benchmark800773
Best CPU time to get the best result obtained on this benchmark158.85
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15085
Total number of constraints1430
Number of constraints which are clauses181
Number of constraints which are cardinality constraints (but not clauses)837
Number of constraints which are nor clauses,nor cardinality constraints412
Minimum length of a constraint2
Maximum length of a constraint4222
Number of terms in the objective function 15085
Biggest coefficient in the objective function 121977
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 499999945
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 121977
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 499999945
Number of bits of the biggest sum of numbers29
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c RoundingSat 2
0.00/0.01	c branch 
0.00/0.01	c commit 
0.00/0.01	c with Papilo
0.00/0.01	c with SCIP
0.00/0.01	c [STEP] parsing instance
0.19/0.28	c [STEP] preprocessing with Papilo
0.27/0.38	c [STEP] solving with SCIP
299.57/300.57	c [STEP] preprocessing done, loading into solver
299.67/300.63	c [STEP] solving
299.67/300.63	c #variables 15082 #constraints 1403
299.67/300.63	c SMALL=int, LARGE=long long
299.67/300.63	d SCIPUB 810463
299.67/300.63	c bounds - >= 0 @ 299.523
299.67/300.63	c stratification level: 121436
1079.18/1082.18	c #Conflicts:       1000 | #Constraints:       2403
1079.18/1082.18	c #Conflicts:       2000 | #Constraints:       3403
1079.18/1082.18	c INPROCESSING
1079.18/1082.18	c GARBAGE COLLECT
1079.18/1082.18	c #Conflicts:       3000 | #Constraints:       3412
1079.18/1082.18	c #Conflicts:       4000 | #Constraints:       4412
1079.18/1082.18	c INPROCESSING
1079.18/1082.18	c GARBAGE COLLECT
1079.18/1082.18	c #Conflicts:       5000 | #Constraints:       3818
1079.18/1082.18	c #Conflicts:       6000 | #Constraints:       4818
1079.18/1082.18	c INPROCESSING
1079.18/1082.18	c GARBAGE COLLECT
1079.18/1082.18	c #Conflicts:       7000 | #Constraints:       3820
1079.18/1082.18	c #Conflicts:       8000 | #Constraints:       4820
1079.18/1082.18	c #Conflicts:       9000 | #Constraints:       5820
1079.18/1082.18	c INPROCESSING
1079.18/1082.18	c GARBAGE COLLECT
1079.18/1082.18	c #Conflicts:      10000 | #Constraints:       4525
1079.18/1082.18	c #Conflicts:      11000 | #Constraints:       5525
1079.18/1082.18	c #Conflicts:      12000 | #Constraints:       6525
1079.18/1082.18	c INPROCESSING
1079.18/1082.18	c GARBAGE COLLECT
1079.18/1082.18	c #Conflicts:      13000 | #Constraints:       4979
1079.18/1082.18	c #Conflicts:      14000 | #Constraints:       5979
1079.18/1082.18	c #Conflicts:      15000 | #Constraints:       6979
1079.18/1082.18	c INPROCESSING
1079.18/1082.18	c GARBAGE COLLECT
1079.18/1082.18	c #Conflicts:      16000 | #Constraints:       5205
1079.18/1082.18	c #Conflicts:      17000 | #Constraints:       6205
1079.18/1082.18	c #Conflicts:      18000 | #Constraints:       7205
1079.18/1082.18	c INPROCESSING
1079.18/1082.18	c GARBAGE COLLECT
1079.18/1082.18	c #Conflicts:      19000 | #Constraints:       5225
1079.18/1082.18	c #Conflicts:      20000 | #Constraints:       6225
1079.18/1082.18	c #Conflicts:      21000 | #Constraints:       7225
1079.18/1082.18	c INPROCESSING
1079.18/1082.18	c GARBAGE COLLECT
1079.18/1082.18	c #Conflicts:      22000 | #Constraints:       5031
1079.18/1082.18	c #Conflicts:      23000 | #Constraints:       6031
1079.18/1082.18	c #Conflicts:      24000 | #Constraints:       7031
1079.18/1082.18	c #Conflicts:      25000 | #Constraints:       8031
1079.18/1082.18	c INPROCESSING
1079.18/1082.18	c GARBAGE COLLECT
1079.18/1082.18	c #Conflicts:      26000 | #Constraints:       5630
1079.18/1082.18	c #Conflicts:      27000 | #Constraints:       6630
1079.18/1082.18	c #Conflicts:      28000 | #Constraints:       7630
1079.18/1082.18	c #Conflicts:      29000 | #Constraints:       8630
1079.18/1082.18	c INPROCESSING
1079.18/1082.18	c GARBAGE COLLECT
1079.18/1082.18	c #Conflicts:      30000 | #Constraints:       6034
1079.18/1082.18	c #Conflicts:      31000 | #Constraints:       7034
1079.18/1082.18	c #Conflicts:      32000 | #Constraints:       8034
1079.18/1082.18	c #Conflicts:      33000 | #Constraints:       9034
1079.18/1082.18	c INPROCESSING
1079.18/1082.18	c GARBAGE COLLECT
1079.18/1082.18	c #Conflicts:      34000 | #Constraints:       6234
1079.18/1082.18	c #Conflicts:      35000 | #Constraints:       7234
1079.18/1082.18	c #Conflicts:      36000 | #Constraints:       8234
1079.18/1082.18	c #Conflicts:      37000 | #Constraints:       9234
1079.18/1082.18	c INPROCESSING
1079.18/1082.18	c GARBAGE COLLECT
1079.18/1082.18	c #Conflicts:      38000 | #Constraints:       6231
1079.18/1082.18	c #Conflicts:      39000 | #Constraints:       7231
1079.18/1082.18	c #Conflicts:      40000 | #Constraints:       8231
1079.18/1082.18	c #Conflicts:      41000 | #Constraints:       9231
1079.18/1082.18	c INPROCESSING
1079.18/1082.18	c GARBAGE COLLECT
1079.18/1082.18	c #Conflicts:      42000 | #Constraints:       6043
1079.18/1082.18	c #Conflicts:      43000 | #Constraints:       7043
1079.18/1082.18	c #Conflicts:      44000 | #Constraints:       8043
1079.18/1082.18	c #Conflicts:      45000 | #Constraints:       9043
1079.18/1082.18	c #Conflicts:      46000 | #Constraints:      10043
1079.18/1082.18	c INPROCESSING
1079.18/1082.18	c GARBAGE COLLECT
1079.18/1082.18	c #Conflicts:      47000 | #Constraints:       6633
1079.18/1082.18	c #Conflicts:      48000 | #Constraints:       7633
1079.18/1082.18	c #Conflicts:      49000 | #Constraints:       8633
1079.18/1082.18	c #Conflicts:      50000 | #Constraints:       9633
1079.18/1082.18	c #Conflicts:      51000 | #Constraints:      10633
1079.18/1082.18	c INPROCESSING
1079.18/1082.18	c GARBAGE COLLECT
1079.18/1082.18	c #Conflicts:      52000 | #Constraints:       7038
1079.18/1082.18	c #Conflicts:      53000 | #Constraints:       8038
1079.18/1082.18	c #Conflicts:      54000 | #Constraints:       9038
1079.18/1082.18	c #Conflicts:      55000 | #Constraints:      10038
1079.18/1082.18	c #Conflicts:      56000 | #Constraints:      11038
1079.18/1082.18	c INPROCESSING
1079.18/1082.18	c GARBAGE COLLECT
1079.18/1082.18	c #Conflicts:      57000 | #Constraints:       7237
1079.18/1082.18	c #Conflicts:      58000 | #Constraints:       8237
1079.18/1082.18	c #Conflicts:      59000 | #Constraints:       9237
1079.18/1082.18	c #Conflicts:      60000 | #Constraints:      10237
1079.18/1082.18	c #Conflicts:      61000 | #Constraints:      11237
1079.18/1082.18	c INPROCESSING
1079.18/1082.18	c GARBAGE COLLECT
1079.18/1082.18	c #Conflicts:      62000 | #Constraints:       7234
1079.18/1082.18	c #Conflicts:      63000 | #Constraints:       8234
1079.18/1082.18	c #Conflicts:      64000 | #Constraints:       9234
1079.18/1082.18	c #Conflicts:      65000 | #Constraints:      10234
1079.18/1082.18	c #Conflicts:      66000 | #Constraints:      11234
1079.18/1082.18	c INPROCESSING
1079.18/1082.18	c GARBAGE COLLECT
1079.18/1082.18	c #Conflicts:      67000 | #Constraints:       7033
1079.18/1082.18	c #Conflicts:      68000 | #Constraints:       8033
2198.98/2205.38	c #Conflicts:      69000 | #Constraints:       9033
2198.98/2205.38	c #Conflicts:      70000 | #Constraints:      10033
2198.98/2205.38	c #Conflicts:      71000 | #Constraints:      11033
2198.98/2205.38	c #Conflicts:      72000 | #Constraints:      12033
2198.98/2205.38	c INPROCESSING
2198.98/2205.38	c GARBAGE COLLECT
2198.98/2205.38	c #Conflicts:      73000 | #Constraints:       7631
2198.98/2205.38	c #Conflicts:      74000 | #Constraints:       8631
2198.98/2205.38	c #Conflicts:      75000 | #Constraints:       9631
2198.98/2205.38	c #Conflicts:      76000 | #Constraints:      10631
2198.98/2205.38	c #Conflicts:      77000 | #Constraints:      11631
2198.98/2205.38	c #Conflicts:      78000 | #Constraints:      12631
2198.98/2205.38	c INPROCESSING
2198.98/2205.38	c GARBAGE COLLECT
2198.98/2205.38	c #Conflicts:      79000 | #Constraints:       8035
2198.98/2205.38	c #Conflicts:      80000 | #Constraints:       9035
2198.98/2205.38	c #Conflicts:      81000 | #Constraints:      10035
2198.98/2205.38	c #Conflicts:      82000 | #Constraints:      11035
2198.98/2205.38	c #Conflicts:      83000 | #Constraints:      12035
2198.98/2205.38	c #Conflicts:      84000 | #Constraints:      13035
2198.98/2205.38	c INPROCESSING
2198.98/2205.38	c GARBAGE COLLECT
2198.98/2205.38	c #Conflicts:      85000 | #Constraints:       8240
2198.98/2205.38	c #Conflicts:      86000 | #Constraints:       9240
2198.98/2205.38	c #Conflicts:      87000 | #Constraints:      10240
2198.98/2205.38	c #Conflicts:      88000 | #Constraints:      11240
2198.98/2205.38	c #Conflicts:      89000 | #Constraints:      12240
2198.98/2205.38	c #Conflicts:      90000 | #Constraints:      13240
2198.98/2205.38	c INPROCESSING
2198.98/2205.38	c GARBAGE COLLECT
2198.98/2205.38	c #Conflicts:      91000 | #Constraints:       8250
2198.98/2205.38	c #Conflicts:      92000 | #Constraints:       9250
2198.98/2205.38	c #Conflicts:      93000 | #Constraints:      10250
2198.98/2205.38	c #Conflicts:      94000 | #Constraints:      11250
2198.98/2205.38	c #Conflicts:      95000 | #Constraints:      12250
2198.98/2205.38	c #Conflicts:      96000 | #Constraints:      13250
2198.98/2205.38	c INPROCESSING
2198.98/2205.38	c GARBAGE COLLECT
2198.98/2205.38	c #Conflicts:      97000 | #Constraints:       8054
2198.98/2205.38	c #Conflicts:      98000 | #Constraints:       9054
2198.98/2205.38	c #Conflicts:      99000 | #Constraints:      10054
2198.98/2205.38	c #Conflicts:     100000 | #Constraints:      11054
2198.98/2205.38	c #Conflicts:     101000 | #Constraints:      12054
2198.98/2205.38	c #Conflicts:     102000 | #Constraints:      13054
2198.98/2205.38	c #Conflicts:     103000 | #Constraints:      14054
2198.98/2205.38	c INPROCESSING
2198.98/2205.38	c GARBAGE COLLECT
2198.98/2205.38	c #Conflicts:     104000 | #Constraints:       8642
2198.98/2205.38	c #Conflicts:     105000 | #Constraints:       9642
2198.98/2205.38	c #Conflicts:     106000 | #Constraints:      10642
2198.98/2205.38	c #Conflicts:     107000 | #Constraints:      11642
2198.98/2205.38	c #Conflicts:     108000 | #Constraints:      12642
2198.98/2205.38	c #Conflicts:     109000 | #Constraints:      13642
2198.98/2205.38	c #Conflicts:     110000 | #Constraints:      14642
2198.98/2205.38	c INPROCESSING
2198.98/2205.38	c GARBAGE COLLECT
2198.98/2205.38	c #Conflicts:     111000 | #Constraints:       9041
2198.98/2205.38	c #Conflicts:     112000 | #Constraints:      10041
2198.98/2205.38	c #Conflicts:     113000 | #Constraints:      11041
2198.98/2205.38	c #Conflicts:     114000 | #Constraints:      12041
2198.98/2205.38	c #Conflicts:     115000 | #Constraints:      13041
2198.98/2205.38	c #Conflicts:     116000 | #Constraints:      14041
2198.98/2205.38	c #Conflicts:     117000 | #Constraints:      15041
2198.98/2205.38	c INPROCESSING
2198.98/2205.38	c GARBAGE COLLECT
2198.98/2205.38	c #Conflicts:     118000 | #Constraints:       9237
2198.98/2205.38	c #Conflicts:     119000 | #Constraints:      10237
2198.98/2205.38	c #Conflicts:     120000 | #Constraints:      11237
2198.98/2205.38	c #Conflicts:     121000 | #Constraints:      12237
2198.98/2205.38	c #Conflicts:     122000 | #Constraints:      13237
2198.98/2205.38	c #Conflicts:     123000 | #Constraints:      14237
2198.98/2205.38	c #Conflicts:     124000 | #Constraints:      15237
2198.98/2205.38	c INPROCESSING
2198.98/2205.38	c GARBAGE COLLECT
2198.98/2205.38	c #Conflicts:     125000 | #Constraints:       9236
2198.98/2205.38	c #Conflicts:     126000 | #Constraints:      10236
2198.98/2205.38	c #Conflicts:     127000 | #Constraints:      11236
2198.98/2205.38	c #Conflicts:     128000 | #Constraints:      12236
2198.98/2205.38	c #Conflicts:     129000 | #Constraints:      13236
2198.98/2205.38	c #Conflicts:     130000 | #Constraints:      14236
2198.98/2205.38	c #Conflicts:     131000 | #Constraints:      15236
2198.98/2205.38	c INPROCESSING
2198.98/2205.38	c GARBAGE COLLECT
2198.98/2205.38	c #Conflicts:     132000 | #Constraints:       9035
2198.98/2205.38	c #Conflicts:     133000 | #Constraints:      10035
2198.98/2205.38	c #Conflicts:     134000 | #Constraints:      11035
2198.98/2205.38	c #Conflicts:     135000 | #Constraints:      12035
2198.98/2205.38	c #Conflicts:     136000 | #Constraints:      13035
2198.98/2205.38	c #Conflicts:     137000 | #Constraints:      14035
2198.98/2205.38	c #Conflicts:     138000 | #Constraints:      15035
2198.98/2205.38	c #Conflicts:     139000 | #Constraints:      16035
2198.98/2205.38	c INPROCESSING
2198.98/2205.38	c GARBAGE COLLECT
2198.98/2205.38	c #Conflicts:     140000 | #Constraints:       9638
3538.28/3548.99	c #Conflicts:     141000 | #Constraints:      10638
3538.28/3548.99	c #Conflicts:     142000 | #Constraints:      11638
3538.28/3548.99	c #Conflicts:     143000 | #Constraints:      12638
3538.28/3548.99	c #Conflicts:     144000 | #Constraints:      13638
3538.28/3548.99	c #Conflicts:     145000 | #Constraints:      14638
3538.28/3548.99	c #Conflicts:     146000 | #Constraints:      15638
3538.28/3548.99	c #Conflicts:     147000 | #Constraints:      16638
3538.28/3548.99	c INPROCESSING
3538.28/3548.99	c GARBAGE COLLECT
3538.28/3548.99	c #Conflicts:     148000 | #Constraints:      10053
3538.28/3548.99	c #Conflicts:     149000 | #Constraints:      11053
3538.28/3548.99	c #Conflicts:     150000 | #Constraints:      12053
3538.28/3548.99	c #Conflicts:     151000 | #Constraints:      13053
3538.28/3548.99	c #Conflicts:     152000 | #Constraints:      14053
3538.28/3548.99	c #Conflicts:     153000 | #Constraints:      15053
3538.28/3548.99	c #Conflicts:     154000 | #Constraints:      16053
3538.28/3548.99	c #Conflicts:     155000 | #Constraints:      17053
3538.28/3548.99	c INPROCESSING
3538.28/3548.99	c GARBAGE COLLECT
3538.28/3548.99	c #Conflicts:     156000 | #Constraints:      10245
3538.28/3548.99	c #Conflicts:     157000 | #Constraints:      11245
3538.28/3548.99	c #Conflicts:     158000 | #Constraints:      12245
3538.28/3548.99	c #Conflicts:     159000 | #Constraints:      13245
3538.28/3548.99	c #Conflicts:     160000 | #Constraints:      14245
3538.28/3548.99	c #Conflicts:     161000 | #Constraints:      15245
3538.28/3548.99	c #Conflicts:     162000 | #Constraints:      16245
3538.28/3548.99	c #Conflicts:     163000 | #Constraints:      17245
3538.28/3548.99	c INPROCESSING
3538.28/3548.99	c GARBAGE COLLECT
3538.28/3548.99	c #Conflicts:     164000 | #Constraints:      10241
3538.28/3548.99	c #Conflicts:     165000 | #Constraints:      11241
3538.28/3548.99	c #Conflicts:     166000 | #Constraints:      12241
3538.28/3548.99	c #Conflicts:     167000 | #Constraints:      13241
3538.28/3548.99	c #Conflicts:     168000 | #Constraints:      14241
3538.28/3548.99	c #Conflicts:     169000 | #Constraints:      15241
3538.28/3548.99	c #Conflicts:     170000 | #Constraints:      16241
3538.28/3548.99	c #Conflicts:     171000 | #Constraints:      17241
3538.28/3548.99	c INPROCESSING
3538.28/3548.99	c GARBAGE COLLECT
3538.28/3548.99	c #Conflicts:     172000 | #Constraints:      10040
3538.28/3548.99	c #Conflicts:     173000 | #Constraints:      11040
3538.28/3548.99	c #Conflicts:     174000 | #Constraints:      12040
3538.28/3548.99	c #Conflicts:     175000 | #Constraints:      13040
3538.28/3548.99	c #Conflicts:     176000 | #Constraints:      14040
3538.28/3548.99	c #Conflicts:     177000 | #Constraints:      15040
3538.28/3548.99	c #Conflicts:     178000 | #Constraints:      16040
3538.28/3548.99	c #Conflicts:     179000 | #Constraints:      17040
3538.28/3548.99	c #Conflicts:     180000 | #Constraints:      18040
3538.28/3548.99	c INPROCESSING
3538.28/3548.99	c GARBAGE COLLECT
3538.28/3548.99	c #Conflicts:     181000 | #Constraints:      10640
3538.28/3548.99	c #Conflicts:     182000 | #Constraints:      11640
3538.28/3548.99	c #Conflicts:     183000 | #Constraints:      12640
3538.28/3548.99	c #Conflicts:     184000 | #Constraints:      13640
3538.28/3548.99	c #Conflicts:     185000 | #Constraints:      14640
3538.28/3548.99	c #Conflicts:     186000 | #Constraints:      15640
3538.28/3548.99	c #Conflicts:     187000 | #Constraints:      16640
3538.28/3548.99	c #Conflicts:     188000 | #Constraints:      17640
3538.28/3548.99	c #Conflicts:     189000 | #Constraints:      18640
3538.28/3548.99	c INPROCESSING
3538.28/3548.99	c GARBAGE COLLECT
3538.28/3548.99	c #Conflicts:     190000 | #Constraints:      11046
3538.28/3548.99	c #Conflicts:     191000 | #Constraints:      12046
3538.28/3548.99	c #Conflicts:     192000 | #Constraints:      13046
3538.28/3548.99	c #Conflicts:     193000 | #Constraints:      14046
3538.28/3548.99	c #Conflicts:     194000 | #Constraints:      15046
3538.28/3548.99	c #Conflicts:     195000 | #Constraints:      16046
3538.28/3548.99	c #Conflicts:     196000 | #Constraints:      17046
3538.28/3548.99	c #Conflicts:     197000 | #Constraints:      18046
3538.28/3548.99	c #Conflicts:     198000 | #Constraints:      19046
3538.28/3548.99	c INPROCESSING
3538.28/3548.99	c GARBAGE COLLECT
3538.28/3548.99	c #Conflicts:     199000 | #Constraints:      11249
3538.28/3548.99	c #Conflicts:     200000 | #Constraints:      12249
3538.28/3548.99	c #Conflicts:     201000 | #Constraints:      13249
3538.28/3548.99	c #Conflicts:     202000 | #Constraints:      14249
3538.28/3548.99	c #Conflicts:     203000 | #Constraints:      15249
3538.28/3548.99	c #Conflicts:     204000 | #Constraints:      16249
3538.28/3548.99	c #Conflicts:     205000 | #Constraints:      17249
3538.28/3548.99	c #Conflicts:     206000 | #Constraints:      18249
3538.28/3548.99	c #Conflicts:     207000 | #Constraints:      19249
3538.28/3548.99	c INPROCESSING
3538.28/3548.99	c GARBAGE COLLECT
3538.28/3548.99	c #Conflicts:     208000 | #Constraints:      11250
3538.28/3548.99	c #Conflicts:     209000 | #Constraints:      12250
3538.28/3548.99	c #Conflicts:     210000 | #Constraints:      13250
3538.28/3548.99	c #Conflicts:     211000 | #Constraints:      14250
3538.28/3548.99	c #Conflicts:     212000 | #Constraints:      15250
3538.28/3548.99	c #Conflicts:     213000 | #Constraints:      16250
3600.00/3610.80	c #Conflicts:     214000 | #Constraints:      17250
3600.00/3610.80	c #Conflicts:     215000 | #Constraints:      18250
3600.00/3610.80	c Program interrupted by user.
3600.00/3610.80	c cpu time 3571.95 s
3600.00/3610.80	c deterministic time 486085414022 4.86e+11
3600.00/3610.80	c optimization time 156.83 s
3600.00/3610.80	c total solve time 3115.6 s
3600.00/3610.80	c core-guided solve time 3115.6 s
3600.00/3610.80	c propagation time 2170.84 s
3600.00/3610.80	c conflict analysis time 860.964 s
3600.00/3610.80	c propagations 552338693
3600.00/3610.80	c resolve steps 531016
3600.00/3610.80	c decisions 36120805
3600.00/3610.80	c conflicts 215892
3600.00/3610.80	c restarts 510
3600.00/3610.80	c inprocessing phases 37
3600.00/3610.80	c input clauses 157
3600.00/3610.80	c input cardinalities 837
3600.00/3610.80	c input general constraints 410
3600.00/3610.80	c input average constraint length 309.28
3600.00/3610.80	c input average constraint degree 355495.04
3600.00/3610.80	c learned clauses 81
3600.00/3610.80	c learned cardinalities 3
3600.00/3610.80	c learned general constraints 215807
3600.00/3610.80	c learned average constraint length 11893.85
3600.00/3610.80	c learned average constraint degree 500487479.33
3600.00/3610.80	c watched constraints 1859
3600.00/3610.80	c counting constraints 214358
3600.00/3610.80	c gcd simplifications 608
3600.00/3610.80	c detected cardinalities 2
3600.00/3610.80	c weakened non-implied lits 539658905
3600.00/3610.80	c weakened non-implying lits 81159
3600.00/3610.80	c original variables 15085
3600.00/3610.80	c clausal propagations 117524
3600.00/3610.80	c cardinality propagations 861359
3600.00/3610.80	c watched propagations 615132
3600.00/3610.80	c counting propagations 544867895
3600.00/3610.80	c watch lookups 16976887133
3600.00/3610.80	c watch backjump lookups 16981049498
3600.00/3610.80	c watch checks 7841809832
3600.00/3610.80	c propagation checks 435814962203
3600.00/3610.80	c constraint additions 7293584600
3600.00/3610.80	c trail pops 588661257
3600.00/3610.80	c formula constraints 1403
3600.00/3610.80	c learned constraints 215891
3600.00/3610.80	c bound constraints 1
3600.00/3610.80	c core-guided constraints 0
3600.00/3610.80	c encountered formula constraints 220298
3600.00/3610.80	c encountered learned constraints 526411
3600.00/3610.80	c encountered bound constraints 199
3600.00/3610.80	c encountered core-guided constraints 0
3600.00/3610.80	c LP total time 0 s
3600.00/3610.80	c LP solve time 0 s
3600.00/3610.80	c LP constraints added 0
3600.00/3610.80	c LP constraints removed 0
3600.00/3610.80	c LP pivots internal 0
3600.00/3610.80	c LP pivots root 0
3600.00/3610.80	c LP calls 0
3600.00/3610.80	c LP optimalities 0
3600.00/3610.80	c LP no pivot count 0
3600.00/3610.80	c LP infeasibilities 0
3600.00/3610.80	c LP valid Farkas constraints 0
3600.00/3610.80	c LP learned Farkas constraints 0
3600.00/3610.80	c LP basis resets 0
3600.00/3610.80	c LP cycling count 0
3600.00/3610.80	c LP singular count 0
3600.00/3610.80	c LP no primal count 0
3600.00/3610.80	c LP no farkas count 0
3600.00/3610.80	c LP other issue count 0
3600.00/3610.80	c LP Gomory cuts 0
3600.00/3610.80	c LP learned cuts 0
3600.00/3610.80	c LP deleted cuts 0
3600.00/3610.80	c LP encountered Gomory constraints 0
3600.00/3610.80	c LP encountered Farkas constraints 0
3600.00/3610.80	c LP encountered learned Farkas constraints 0
3600.00/3610.80	c CG auxiliary variables introduced 0
3600.00/3610.80	c CG solutions found 0
3600.00/3610.80	c CG cores constructed 0
3600.00/3610.80	c CG core cardinality constraints returned 0
3600.00/3610.80	c CG unit cores 0
3600.00/3610.80	c CG single cores 0
3600.00/3610.80	c CG blocks removed during cardinality reduction 0
3600.00/3610.80	c CG first core best 0
3600.00/3610.80	c CG decision core best 0
3600.00/3610.80	c CG core reduction tie 0
3600.00/3610.80	c CG core degree average 0.00
3600.00/3610.80	c CG core slack average 0.00
3600.00/3610.80	c CG exhausted 0
3600.00/3610.80	c CG exhaust time 0 s
3600.00/3610.80	c CG trimmed 0
3600.00/3610.80	c CG trim time 0 s
3600.00/3610.80	c CG minimized 0
3600.00/3610.80	c CG minimize time 0 s
3600.00/3610.80	c CG am1 prop time 5.4e-05 s
3600.00/3610.80	c CG # am1s reformulated 0
3600.00/3610.80	c CG lower bound derived from am1s 0
3600.00/3610.80	c CG # clausal cores 0
3600.00/3610.80	c CG # cardinality cores 0
3600.00/3610.80	c CG # pb cores 0
3600.00/3610.80	c CG # pb reforms 0
3600.00/3610.80	c CG # cores discarded because of pb reform 0
3600.00/3610.80	d LOWERBOUND 0
3600.00/3610.80	d NCORES 0
3600.00/3610.80	d NPBCORES 0
3600.00/3610.80	d NPBREFORM 0
3600.00/3610.80	d NTRIMMED 0
3600.00/3610.80	d NEXHAUSTED 0
3600.00/3610.80	d NAM1S 0
3600.00/3610.80	d AM1LB 0
3600.00/3610.80	c [Papilo Statistics]
3600.00/3610.80	c prepro time 0.0980892s
3600.00/3610.80	c # tsx applied 32
3600.00/3610.80	c # tsx conflicts 0
3600.00/3610.80	c # bound changes 4
3600.00/3610.80	c # side changes 1
3600.00/3610.80	c # coef changes 0
3600.00/3610.80	c # rounds 3
3600.00/3610.80	c # deted vars 4
3600.00/3610.80	c # deted constrs 28
3600.00/3610.80	c # consecutive rounds of only bound changes 0
3600.00/3610.89	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (46658 MiB free)
  memory of node 1: 64507 MiB (60833 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=90850, runsolver pid=90847

[startup+0.10006 s]*
/proc/loadavg: 4.13 3.98 4.01 5/263 90851
/proc/meminfo: memFree=110062532/131250000 swapFree=33010416/33010684
[pid=90850] ppid=90847 vsize=93596 memory=19876 CPUtime=0.08 cores=5,7
/proc/90850/stat : 90850 (mixed-bag) R 90847 90850 90091 0 -1 4194304 3571 0 0 0 8 0 0 0 20 0 1 0 73521028 95842304 4969 18446744073709551615 4235264 15874749 140728157244576 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18096864 18107984 29642752 140728157251996 140728157252073 140728157252073 140728157257675 0
/proc/90850/statm: 23399 4969 2176 2842 0 5632 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 93596 KiB
Current children cumulated memory: 19876 KiB

[startup+0.205493 s]*
/proc/loadavg: 4.13 3.98 4.01 5/263 90851
/proc/meminfo: memFree=110054340/131250000 swapFree=33010416/33010684
[pid=90850] ppid=90847 vsize=101788 memory=26044 CPUtime=0.19 cores=5,7
/proc/90850/stat : 90850 (mixed-bag) R 90847 90850 90091 0 -1 4194304 4096 0 0 0 18 1 0 0 20 0 1 0 73521028 104230912 6511 18446744073709551615 4235264 15874749 140728157244576 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18096864 18107984 29642752 140728157251996 140728157252073 140728157252073 140728157257675 0
/proc/90850/statm: 25447 6511 2176 2842 0 7680 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 101788 KiB
Current children cumulated memory: 26044 KiB

[startup+0.305417 s]*
/proc/loadavg: 4.13 3.98 4.01 5/263 90851
/proc/meminfo: memFree=110005696/131250000 swapFree=33010416/33010684
[pid=90850] ppid=90847 vsize=158748 memory=76988 CPUtime=0.27 cores=5,7
/proc/90850/stat : 90850 (mixed-bag) R 90847 90850 90091 0 -1 4194304 8061 0 0 0 25 2 0 0 20 0 1 0 73521028 162557952 19247 18446744073709551615 4235264 15874749 140728157244576 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18096864 18107984 29642752 140728157251996 140728157252073 140728157252073 140728157257675 0
/proc/90850/statm: 39687 19247 2304 2842 0 21381 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 158748 KiB
Current children cumulated memory: 76988 KiB

[startup+0.700179 s]
/proc/loadavg: 4.13 3.98 4.01 5/263 90851
/proc/meminfo: memFree=109986292/131250000 swapFree=33010416/33010684
[pid=90850] ppid=90847 vsize=259348 memory=178584 CPUtime=0.66 cores=5,7
/proc/90850/stat : 90850 (mixed-bag) R 90847 90850 90091 0 -1 4194304 27194 0 0 0 60 6 0 0 20 0 1 0 73521028 265572352 44646 18446744073709551615 4235264 15874749 140728157244576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 29642752 140728157251996 140728157252073 140728157252073 140728157257675 0
/proc/90850/statm: 64837 44646 4096 2842 0 46531 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 259348 KiB
Current children cumulated memory: 178584 KiB

[startup+1.50018 s]
/proc/loadavg: 4.13 3.98 4.01 6/263 90851
/proc/meminfo: memFree=109938148/131250000 swapFree=33010416/33010684
[pid=90850] ppid=90847 vsize=294844 memory=209048 CPUtime=1.45 cores=5,7
/proc/90850/stat : 90850 (mixed-bag) R 90847 90850 90091 0 -1 4194304 40053 0 0 0 137 8 0 0 20 0 1 0 73521028 301920256 52262 18446744073709551615 4235264 15874749 140728157244576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 29642752 140728157251996 140728157252073 140728157252073 140728157257675 0
/proc/90850/statm: 73711 52262 4128 2842 0 55405 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 294844 KiB
Current children cumulated memory: 209048 KiB

[startup+3.10538 s]
/proc/loadavg: 4.20 4.00 4.01 6/263 90851
/proc/meminfo: memFree=109837916/131250000 swapFree=33010416/33010684
[pid=90850] ppid=90847 vsize=426296 memory=317744 CPUtime=3.06 cores=5,7
/proc/90850/stat : 90850 (mixed-bag) R 90847 90850 90091 0 -1 4194304 60764 0 0 0 294 12 0 0 20 0 1 0 73521028 436527104 79436 18446744073709551615 4235264 15874749 140728157244576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 29642752 140728157251996 140728157252073 140728157252073 140728157257675 0
/proc/90850/statm: 106574 79436 4320 2842 0 88268 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 426296 KiB
Current children cumulated memory: 317744 KiB

[startup+6.30012 s]
/proc/loadavg: 4.20 4.00 4.01 6/263 90851
/proc/meminfo: memFree=109850760/131250000 swapFree=33010416/33010684
[pid=90850] ppid=90847 vsize=427376 memory=318768 CPUtime=6.25 cores=5,7
/proc/90850/stat : 90850 (mixed-bag) R 90847 90850 90091 0 -1 4194304 61044 0 0 0 613 12 0 0 20 0 1 0 73521028 437633024 79692 18446744073709551615 4235264 15874749 140728157244576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 29642752 140728157251996 140728157252073 140728157252073 140728157257675 0
/proc/90850/statm: 106844 79692 4320 2842 0 88538 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 427376 KiB
Current children cumulated memory: 318768 KiB

[startup+12.7001 s]
/proc/loadavg: 4.17 4.00 4.01 6/263 90851
/proc/meminfo: memFree=109790768/131250000 swapFree=33010416/33010684
[pid=90850] ppid=90847 vsize=492932 memory=383384 CPUtime=12.63 cores=5,7
/proc/90850/stat : 90850 (mixed-bag) R 90847 90850 90091 0 -1 4194304 66522 0 0 0 1249 14 0 0 20 0 1 0 73521028 504762368 95846 18446744073709551615 4235264 15874749 140728157244576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 29642752 140728157251996 140728157252073 140728157252073 140728157257675 0
/proc/90850/statm: 123233 95846 4320 2842 0 104927 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 492932 KiB
Current children cumulated memory: 383384 KiB

[startup+25.5001 s]
/proc/loadavg: 4.14 4.00 4.01 6/263 90851
/proc/meminfo: memFree=109780272/131250000 swapFree=33010416/33010684
[pid=90850] ppid=90847 vsize=503504 memory=395080 CPUtime=25.41 cores=5,7
/proc/90850/stat : 90850 (mixed-bag) R 90847 90850 90091 0 -1 4194304 67412 0 0 0 2527 14 0 0 20 0 1 0 73521028 515588096 98770 18446744073709551615 4235264 15874749 140728157244576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 29642752 140728157251996 140728157252073 140728157252073 140728157257675 0
/proc/90850/statm: 125876 98770 4320 2842 0 107570 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 503504 KiB
Current children cumulated memory: 395080 KiB

[startup+51.1057 s]
/proc/loadavg: 4.17 4.02 4.01 6/263 90851
/proc/meminfo: memFree=109335504/131250000 swapFree=33010416/33010684
[pid=90850] ppid=90847 vsize=559112 memory=450120 CPUtime=50.95 cores=5,7
/proc/90850/stat : 90850 (mixed-bag) R 90847 90850 90091 0 -1 4194304 81179 0 0 0 5079 16 0 0 20 0 1 0 73521028 572530688 112530 18446744073709551615 4235264 15874749 140728157244576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 29642752 140728157251996 140728157252073 140728157252073 140728157257675 0
/proc/90850/statm: 139778 112530 4320 2842 0 121472 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 559112 KiB
Current children cumulated memory: 450120 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.03 4.01 6/263 90853
/proc/meminfo: memFree=109330456/131250000 swapFree=33010416/33010684
[pid=90850] ppid=90847 vsize=559112 memory=450504 CPUtime=101.99 cores=5,7
/proc/90850/stat : 90850 (mixed-bag) R 90847 90850 90091 0 -1 4194304 81261 0 0 0 10183 16 0 0 20 0 1 0 73521028 572530688 112626 18446744073709551615 4235264 15874749 140728157244576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 29642752 140728157251996 140728157252073 140728157252073 140728157257675 0
/proc/90850/statm: 139778 112626 4320 2842 0 121472 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 559112 KiB
Current children cumulated memory: 450504 KiB

[startup+162.3 s]
/proc/loadavg: 4.05 4.02 4.01 6/264 90857
/proc/meminfo: memFree=108971736/131250000 swapFree=33010416/33010684
[pid=90850] ppid=90847 vsize=578500 memory=467656 CPUtime=161.81 cores=5,7
/proc/90850/stat : 90850 (mixed-bag) R 90847 90850 90091 0 -1 4194304 85586 0 0 0 16165 16 0 0 20 0 1 0 73521028 592384000 116914 18446744073709551615 4235264 15874749 140728157244576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 29642752 140728157251996 140728157252073 140728157252073 140728157257675 0
/proc/90850/statm: 144625 116914 4320 2842 0 126319 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 578500 KiB
Current children cumulated memory: 467656 KiB

[startup+222.3 s]
/proc/loadavg: 4.38 4.12 4.04 6/264 90859
/proc/meminfo: memFree=108743468/131250000 swapFree=33010416/33010684
[pid=90850] ppid=90847 vsize=632004 memory=520936 CPUtime=221.62 cores=5,7
/proc/90850/stat : 90850 (mixed-bag) R 90847 90850 90091 0 -1 4194304 98504 0 0 0 22143 19 0 0 20 0 1 0 73521028 647172096 130234 18446744073709551615 4235264 15874749 140728157244576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 29642752 140728157251996 140728157252073 140728157252073 140728157257675 0
/proc/90850/statm: 158001 130234 4320 2842 0 139695 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 632004 KiB
Current children cumulated memory: 520936 KiB

[startup+282.3 s]
/proc/loadavg: 4.19 4.11 4.04 6/265 90864
/proc/meminfo: memFree=108952148/131250000 swapFree=33010416/33010684
[pid=90850] ppid=90847 vsize=632004 memory=524520 CPUtime=281.42 cores=5,7
/proc/90850/stat : 90850 (mixed-bag) R 90847 90850 90091 0 -1 4194304 99457 0 0 0 28123 19 0 0 20 0 1 0 73521028 647172096 131130 18446744073709551615 4235264 15874749 140728157244576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 29642752 140728157251996 140728157252073 140728157252073 140728157257675 0
/proc/90850/statm: 158001 131130 4320 2842 0 139695 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 632004 KiB
Current children cumulated memory: 524520 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.11 4.04 6/265 90866
/proc/meminfo: memFree=108584880/131250000 swapFree=33010416/33010684
[pid=90850] ppid=90847 vsize=978196 memory=876824 CPUtime=341.27 cores=5,7
/proc/90850/stat : 90850 (mixed-bag) R 90847 90850 90091 0 -1 4194304 121982 0 0 0 33993 134 0 0 20 0 1 0 73521028 1001672704 219206 18446744073709551615 4235264 15874749 140728157244576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 29642752 140728157251996 140728157252073 140728157252073 140728157257675 0
/proc/90850/statm: 244549 219206 4512 2842 0 226243 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 978196 KiB
Current children cumulated memory: 876824 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.10 4.04 6/265 90868
/proc/meminfo: memFree=108332340/131250000 swapFree=33010416/33010684
[pid=90850] ppid=90847 vsize=1324952 memory=1121016 CPUtime=401.12 cores=5,7
/proc/90850/stat : 90850 (mixed-bag) R 90847 90850 90091 0 -1 4194304 148809 0 0 0 39878 234 0 0 20 0 1 0 73521028 1356750848 280254 18446744073709551615 4235264 15874749 140728157244576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 29642752 140728157251996 140728157252073 140728157252073 140728157257675 0
/proc/90850/statm: 331238 280254 4512 2842 0 312932 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 1324952 KiB
Current children cumulated memory: 1121016 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.09 4.04 6/264 90875
/proc/meminfo: memFree=108046792/131250000 swapFree=33010416/33010684
[pid=90850] ppid=90847 vsize=1643236 memory=1407788 CPUtime=460.97 cores=5,7
/proc/90850/stat : 90850 (mixed-bag) R 90847 90850 90091 0 -1 4194304 204707 0 0 0 45767 330 0 0 20 0 1 0 73521028 1682673664 351947 18446744073709551615 4235264 15874749 140728157244576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 29642752 140728157251996 140728157252073 140728157252073 140728157257675 0
/proc/90850/statm: 410809 351947 4512 2842 0 392503 0

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

/proc/90850/statm: 937610 842911 4512 2842 0 919304 0
Current children cumulated CPU time: 2853.88 s
Current children cumulated vsize: 3750440 KiB
Current children cumulated memory: 3371644 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/264 91072
/proc/meminfo: memFree=109179972/131250000 swapFree=33010416/33010684
[pid=90850] ppid=90847 vsize=3777964 memory=3431324 CPUtime=2913.69 cores=5,7
/proc/90850/stat : 90850 (mixed-bag) R 90847 90850 90091 0 -1 4194304 486365 0 0 0 288981 2388 0 0 20 0 1 0 73521028 3868635136 857831 18446744073709551615 4235264 15874749 140728157244576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 29642752 140728157251996 140728157252073 140728157252073 140728157257675 0
/proc/90850/statm: 944491 857831 4512 2842 0 926185 0
Current children cumulated CPU time: 2913.69 s
Current children cumulated vsize: 3777964 KiB
Current children cumulated memory: 3431324 KiB

[startup+2982.3 s]
/proc/loadavg: 4.06 4.09 4.09 6/264 91074
/proc/meminfo: memFree=109168756/131250000 swapFree=33010416/33010684
[pid=90850] ppid=90847 vsize=3777964 memory=3431324 CPUtime=2973.5 cores=5,7
/proc/90850/stat : 90850 (mixed-bag) R 90847 90850 90091 0 -1 4194304 486365 0 0 0 294916 2434 0 0 20 0 1 0 73521028 3868635136 857831 18446744073709551615 4235264 15874749 140728157244576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 29642752 140728157251996 140728157252073 140728157252073 140728157257675 0
/proc/90850/statm: 944491 857831 4512 2842 0 926185 0
Current children cumulated CPU time: 2973.5 s
Current children cumulated vsize: 3777964 KiB
Current children cumulated memory: 3431324 KiB

[startup+3042.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/264 91076
/proc/meminfo: memFree=109157864/131250000 swapFree=33010416/33010684
[pid=90850] ppid=90847 vsize=3786688 memory=3452656 CPUtime=3033.32 cores=5,7
/proc/90850/stat : 90850 (mixed-bag) R 90847 90850 90091 0 -1 4194304 489397 0 0 0 300870 2462 0 0 20 0 1 0 73521028 3877568512 863164 18446744073709551615 4235264 15874749 140728157244576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 29642752 140728157251996 140728157252073 140728157252073 140728157257675 0
/proc/90850/statm: 946672 863164 4512 2842 0 928366 0
Current children cumulated CPU time: 3033.32 s
Current children cumulated vsize: 3786688 KiB
Current children cumulated memory: 3452656 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.10 4.09 6/264 91079
/proc/meminfo: memFree=109102908/131250000 swapFree=33010416/33010684
[pid=90850] ppid=90847 vsize=3812012 memory=3499244 CPUtime=3093.13 cores=5,7
/proc/90850/stat : 90850 (mixed-bag) R 90847 90850 90091 0 -1 4194304 494900 0 0 0 306807 2506 0 0 20 0 1 0 73521028 3903500288 874811 18446744073709551615 4235264 15874749 140728157244576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 29642752 140728157251996 140728157252073 140728157252073 140728157257675 0
/proc/90850/statm: 953003 874811 4512 2842 0 934697 0
Current children cumulated CPU time: 3093.13 s
Current children cumulated vsize: 3812012 KiB
Current children cumulated memory: 3499244 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.09 4.09 6/263 91081
/proc/meminfo: memFree=109104864/131250000 swapFree=33010416/33010684
[pid=90850] ppid=90847 vsize=3812012 memory=3499372 CPUtime=3152.93 cores=5,7
/proc/90850/stat : 90850 (mixed-bag) R 90847 90850 90091 0 -1 4194304 494939 0 0 0 312755 2538 0 0 20 0 1 0 73521028 3903500288 874843 18446744073709551615 4235264 15874749 140728157244576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 29642752 140728157251996 140728157252073 140728157252073 140728157257675 0
/proc/90850/statm: 953003 874843 4512 2842 0 934697 0
Current children cumulated CPU time: 3152.93 s
Current children cumulated vsize: 3812012 KiB
Current children cumulated memory: 3499372 KiB

[startup+3222.3 s]
/proc/loadavg: 4.04 4.07 4.08 6/263 91083
/proc/meminfo: memFree=109027280/131250000 swapFree=33010416/33010684
[pid=90850] ppid=90847 vsize=4734248 memory=3551496 CPUtime=3212.74 cores=5,7
/proc/90850/stat : 90850 (mixed-bag) R 90847 90850 90091 0 -1 4194304 500060 0 0 0 318701 2573 0 0 20 0 1 0 73521028 4847869952 887874 18446744073709551615 4235264 15874749 140728157244576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 29642752 140728157251996 140728157252073 140728157252073 140728157257675 0
/proc/90850/statm: 1183562 887874 4512 2842 0 1165256 0
Current children cumulated CPU time: 3212.74 s
Current children cumulated vsize: 4734248 KiB
Current children cumulated memory: 3551496 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.09 6/264 91088
/proc/meminfo: memFree=108876868/131250000 swapFree=33010416/33010684
[pid=90850] ppid=90847 vsize=4802092 memory=3687756 CPUtime=3272.53 cores=5,7
/proc/90850/stat : 90850 (mixed-bag) R 90847 90850 90091 0 -1 4194304 516246 0 0 0 324638 2615 0 0 20 0 1 0 73521028 4917342208 921939 18446744073709551615 4235264 15874749 140728157244576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 29642752 140728157251996 140728157252073 140728157252073 140728157257675 0
/proc/90850/statm: 1200523 921939 4512 2842 0 1182217 0
Current children cumulated CPU time: 3272.53 s
Current children cumulated vsize: 4802092 KiB
Current children cumulated memory: 3687756 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 91134
/proc/meminfo: memFree=121771360/131250000 swapFree=33010416/33010684
[pid=90850] ppid=90847 vsize=4802092 memory=3687756 CPUtime=3332.34 cores=5,7
/proc/90850/stat : 90850 (mixed-bag) R 90847 90850 90091 0 -1 4194304 516246 0 0 0 330602 2632 0 0 20 0 1 0 73521028 4917342208 921939 18446744073709551615 4235264 15874749 140728157244576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 29642752 140728157251996 140728157252073 140728157252073 140728157257675 0
/proc/90850/statm: 1200523 921939 4512 2842 0 1182217 0
Current children cumulated CPU time: 3332.34 s
Current children cumulated vsize: 4802092 KiB
Current children cumulated memory: 3687756 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 91137
/proc/meminfo: memFree=120827668/131250000 swapFree=33010416/33010684
[pid=90850] ppid=90847 vsize=4802092 memory=3687884 CPUtime=3392.15 cores=5,7
/proc/90850/stat : 90850 (mixed-bag) R 90847 90850 90091 0 -1 4194304 516490 0 0 0 336559 2656 0 0 20 0 1 0 73521028 4917342208 921971 18446744073709551615 4235264 15874749 140728157244576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 29642752 140728157251996 140728157252073 140728157252073 140728157257675 0
/proc/90850/statm: 1200523 921971 4512 2842 0 1182217 0
Current children cumulated CPU time: 3392.15 s
Current children cumulated vsize: 4802092 KiB
Current children cumulated memory: 3687884 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 91140
/proc/meminfo: memFree=120724436/131250000 swapFree=33010416/33010684
[pid=90850] ppid=90847 vsize=4920392 memory=3776160 CPUtime=3451.95 cores=5,7
/proc/90850/stat : 90850 (mixed-bag) R 90847 90850 90091 0 -1 4194304 535607 0 0 0 342510 2685 0 0 20 0 1 0 73521028 5038481408 944040 18446744073709551615 4235264 15874749 140728157244576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 29642752 140728157251996 140728157252073 140728157252073 140728157257675 0
/proc/90850/statm: 1230098 944040 4512 2842 0 1211792 0
Current children cumulated CPU time: 3451.95 s
Current children cumulated vsize: 4920392 KiB
Current children cumulated memory: 3776160 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 91146
/proc/meminfo: memFree=120709948/131250000 swapFree=33010416/33010684
[pid=90850] ppid=90847 vsize=4920392 memory=3776160 CPUtime=3511.77 cores=5,7
/proc/90850/stat : 90850 (mixed-bag) R 90847 90850 90091 0 -1 4194304 535705 0 0 0 348455 2722 0 0 20 0 1 0 73521028 5038481408 944040 18446744073709551615 4235264 15874749 140728157244576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 29642752 140728157251996 140728157252073 140728157252073 140728157257675 0
/proc/90850/statm: 1230098 944040 4512 2842 0 1211792 0
Current children cumulated CPU time: 3511.77 s
Current children cumulated vsize: 4920392 KiB
Current children cumulated memory: 3776160 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 91148
/proc/meminfo: memFree=120688212/131250000 swapFree=33010416/33010684
[pid=90850] ppid=90847 vsize=4920392 memory=3776288 CPUtime=3571.58 cores=5,7
/proc/90850/stat : 90850 (mixed-bag) R 90847 90850 90091 0 -1 4194304 535860 0 0 0 354374 2784 0 0 20 0 1 0 73521028 5038481408 944072 18446744073709551615 4235264 15874749 140728157244576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 29642752 140728157251996 140728157252073 140728157252073 140728157257675 0
/proc/90850/statm: 1230098 944072 4512 2842 0 1211792 0
Current children cumulated CPU time: 3571.58 s
Current children cumulated vsize: 4920392 KiB
Current children cumulated memory: 3776288 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 91193
/proc/meminfo: memFree=120951308/131250000 swapFree=33010416/33010684
[pid=90850] ppid=90847 vsize=4921160 memory=3777056 CPUtime=3600 cores=5,7
/proc/90850/stat : 90850 (mixed-bag) R 90847 90850 90091 0 -1 4194304 536110 0 0 0 357195 2805 0 0 20 0 1 0 73521028 5039267840 944264 18446744073709551615 4235264 15874749 140728157244576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 29642752 140728157251996 140728157252073 140728157252073 140728157257675 0
/proc/90850/statm: 1230290 944264 4512 2842 0 1211984 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 4921160 KiB
Current children cumulated memory: 3777056 KiB

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

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

# cumulated CPU time of all completed processes:  user=3571.96 s, system=28.1698 s

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

[startup+3610.9 s]*
/proc/loadavg: 4.08 4.08 4.09 5/264 91193
/proc/meminfo: memFree=122692616/131250000 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3610.93
CPU time (s): 3600.13
CPU user time (s): 3571.96
CPU system time (s): 28.1698
CPU usage (%): 99.701
Max. virtual memory (cumulated for all children) (KiB): 4921160
Max. memory (cumulated for all children) (KiB): 3777056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.96
system time used= 28.1698
maximum resident set size= 3777440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 536138
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= 129
involuntary context switches= 2736


# summary of solver processes directly reported to runsolver:
#   pid: 90850
#   total CPU time (s): 3600.13
#   total CPU user time (s): 3571.96
#   total CPU system time (s): 28.1698

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.08292 second user time and 16.0834 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-07-03 23:33:52
IDJOB=4522127
IDBENCH=178608
IDSOLVER=3340
FILE ID=nodeC018/4522127-1751578432
RUNJOBID= nodeC018-1751578094-90104
SLURM_JOB_ID= 9598808
Free space on /tmp= 432740 MiB

SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2017/normalized-sp98ar.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522127-1751578432/watcher-4522127-1751578432 -o /tmp/evaluation-result-4522127-1751578432/solver-4522127-1751578432 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751578094-90104 --watchdog 3760  mixed-bag HOME/instance-4522127-1751578432.opb

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

MD5SUM BENCH= b3caef0af1778b7e481a62fab9deebc2
RANDOM SEED=1991198760

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        110071364 kB
MemAvailable:   110502956 kB
Buffers:            2128 kB
Cached:          1195752 kB
SwapCached:           32 kB
Active:         19582928 kB
Inactive:         720884 kB
Active(anon):   19123688 kB
Inactive(anon):      288 kB
Active(file):     459240 kB
Inactive(file):   720596 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             35800 kB
Writeback:            40 kB
AnonPages:      19108712 kB
Mapped:           136288 kB
Shmem:             18044 kB
KReclaimable:     181592 kB
Slab:             271984 kB
SReclaimable:     181592 kB
SUnreclaim:        90392 kB
KernelStack:        4240 kB
PageTables:        40928 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   21567888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5818368 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432780 MiB
End job on nodeC018 at 2025-07-04 00:34:03